Dec 01 19:35:02.705 INFO documenting anthropomorphic/project_euler_24 against try#f86f76f89ea2b1ccbfb3741962ec2029d878a389 for pr-55318-1 Dec 01 19:35:02.705 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318-1/worker-6/try#f86f76f89ea2b1ccbfb3741962ec2029d878a389:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55318-1/try#f86f76f89ea2b1ccbfb3741962ec2029d878a389:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +f86f76f89ea2b1ccbfb3741962ec2029d878a389-alt doc --frozen --no-deps --document-private-items" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Dec 01 19:35:02.987 INFO [stdout] 91a47d3049da3ae03e641acfa7f867d2214dfb8b8536acf1b58be4982bd42384 Dec 01 19:35:02.987 INFO running `"docker" "start" "-a" "91a47d3049da3ae03e641acfa7f867d2214dfb8b8536acf1b58be4982bd42384"` Dec 01 19:35:03.497 INFO [stderr] usermod: no changes Dec 01 19:35:03.525 INFO [stderr] Documenting project_euler_24 v0.1.0 (/source) Dec 01 19:35:04.928 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:04.928 INFO [stderr] --> src/main.rs:12:1 Dec 01 19:35:04.928 INFO [stderr] | Dec 01 19:35:04.928 INFO [stderr] 12 | / /// Dec 01 19:35:04.928 INFO [stderr] 13 | | /// Given a sequence S, this function finds the sequence P(S), which is Dec 01 19:35:04.928 INFO [stderr] 14 | | /// the pth lexicographic permutation of S. Dec 01 19:35:04.928 INFO [stderr] 15 | | /// Dec 01 19:35:04.928 INFO [stderr] ... | Dec 01 19:35:04.928 INFO [stderr] 20 | | /// Note: "S - e" means "the sequence S, minus the element e". Dec 01 19:35:04.928 INFO [stderr] 21 | | /// Dec 01 19:35:04.928 INFO [stderr] | |___^ Dec 01 19:35:04.928 INFO [stderr] | Dec 01 19:35:04.928 INFO [stderr] = note: #[warn(intra_doc_link_resolution_failure)] on by default Dec 01 19:35:04.928 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:04.928 INFO [stderr] Dec 01 19:35:04.928 INFO [stderr] Once the first element e[0] of P(S) is found, the next element, e[1] Dec 01 19:35:04.928 INFO [stderr] ^ Dec 01 19:35:04.928 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:04.928 INFO [stderr] Dec 01 19:35:04.928 INFO [stderr] warning: `[1]` cannot be resolved, ignoring it... Dec 01 19:35:04.928 INFO [stderr] --> src/main.rs:12:1 Dec 01 19:35:04.928 INFO [stderr] | Dec 01 19:35:04.928 INFO [stderr] 12 | / /// Dec 01 19:35:04.928 INFO [stderr] 13 | | /// Given a sequence S, this function finds the sequence P(S), which is Dec 01 19:35:04.928 INFO [stderr] 14 | | /// the pth lexicographic permutation of S. Dec 01 19:35:04.928 INFO [stderr] 15 | | /// Dec 01 19:35:04.928 INFO [stderr] ... | Dec 01 19:35:04.928 INFO [stderr] 20 | | /// Note: "S - e" means "the sequence S, minus the element e". Dec 01 19:35:04.928 INFO [stderr] 21 | | /// Dec 01 19:35:04.928 INFO [stderr] | |___^ Dec 01 19:35:04.928 INFO [stderr] | Dec 01 19:35:04.928 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:04.928 INFO [stderr] Dec 01 19:35:04.928 INFO [stderr] Once the first element e[0] of P(S) is found, the next element, e[1] Dec 01 19:35:04.928 INFO [stderr] ^ Dec 01 19:35:04.928 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:04.928 INFO [stderr] Dec 01 19:35:04.928 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:04.928 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:04.928 INFO [stderr] | Dec 01 19:35:04.928 INFO [stderr] 41 | / /// Dec 01 19:35:04.928 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:04.928 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:04.928 INFO [stderr] 44 | | /// Dec 01 19:35:04.928 INFO [stderr] ... | Dec 01 19:35:04.928 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Dec 01 19:35:04.928 INFO [stderr] 65 | | /// Dec 01 19:35:04.928 INFO [stderr] | |___^ Dec 01 19:35:04.928 INFO [stderr] | Dec 01 19:35:04.928 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:04.928 INFO [stderr] Dec 01 19:35:04.928 INFO [stderr] Given a sequence S, this function finds the first element e[0] Dec 01 19:35:04.928 INFO [stderr] ^ Dec 01 19:35:04.928 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:04.928 INFO [stderr] Dec 01 19:35:04.928 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:04.928 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:04.928 INFO [stderr] | Dec 01 19:35:04.928 INFO [stderr] 41 | / /// Dec 01 19:35:04.928 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:04.928 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:04.928 INFO [stderr] 44 | | /// Dec 01 19:35:04.928 INFO [stderr] ... | Dec 01 19:35:04.929 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Dec 01 19:35:04.929 INFO [stderr] 65 | | /// Dec 01 19:35:04.929 INFO [stderr] | |___^ Dec 01 19:35:04.929 INFO [stderr] | Dec 01 19:35:04.929 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:04.929 INFO [stderr] Dec 01 19:35:04.929 INFO [stderr] e[0] is given by p mod n! / (n - 1)!, where p is the permutation, Dec 01 19:35:04.929 INFO [stderr] ^ Dec 01 19:35:04.929 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:04.929 INFO [stderr] Dec 01 19:35:04.929 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:04.929 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:04.929 INFO [stderr] | Dec 01 19:35:04.929 INFO [stderr] 41 | / /// Dec 01 19:35:04.929 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:04.929 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:04.929 INFO [stderr] 44 | | /// Dec 01 19:35:04.929 INFO [stderr] ... | Dec 01 19:35:04.929 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Dec 01 19:35:04.929 INFO [stderr] 65 | | /// Dec 01 19:35:04.929 INFO [stderr] | |___^ Dec 01 19:35:04.929 INFO [stderr] | Dec 01 19:35:04.929 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:04.929 INFO [stderr] Dec 01 19:35:04.929 INFO [stderr] and so is the sequence S. As p increases from 0 to n, the first element e[0] Dec 01 19:35:04.929 INFO [stderr] ^ Dec 01 19:35:04.929 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:04.929 INFO [stderr] Dec 01 19:35:04.929 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:04.929 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:04.929 INFO [stderr] | Dec 01 19:35:04.929 INFO [stderr] 41 | / /// Dec 01 19:35:04.929 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:04.929 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:04.929 INFO [stderr] 44 | | /// Dec 01 19:35:04.929 INFO [stderr] ... | Dec 01 19:35:04.929 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Dec 01 19:35:04.929 INFO [stderr] 65 | | /// Dec 01 19:35:04.929 INFO [stderr] | |___^ Dec 01 19:35:04.929 INFO [stderr] | Dec 01 19:35:04.929 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:04.929 INFO [stderr] Dec 01 19:35:04.929 INFO [stderr] starts at S[0] (the first element of S), and repeats (n-1)! times before Dec 01 19:35:04.929 INFO [stderr] ^ Dec 01 19:35:04.929 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:04.929 INFO [stderr] Dec 01 19:35:04.929 INFO [stderr] warning: `[1]` cannot be resolved, ignoring it... Dec 01 19:35:04.929 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:04.929 INFO [stderr] | Dec 01 19:35:04.929 INFO [stderr] 41 | / /// Dec 01 19:35:04.929 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:04.929 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:04.929 INFO [stderr] 44 | | /// Dec 01 19:35:04.929 INFO [stderr] ... | Dec 01 19:35:04.929 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Dec 01 19:35:04.929 INFO [stderr] 65 | | /// Dec 01 19:35:04.929 INFO [stderr] | |___^ Dec 01 19:35:04.929 INFO [stderr] | Dec 01 19:35:04.929 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:04.929 INFO [stderr] Dec 01 19:35:04.929 INFO [stderr] becoming S[1], and repeating (n-1)! again, and so on. In this way, we can Dec 01 19:35:04.929 INFO [stderr] ^ Dec 01 19:35:04.929 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:04.929 INFO [stderr] Dec 01 19:35:04.929 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:04.929 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:04.933 INFO [stderr] | Dec 01 19:35:04.933 INFO [stderr] 41 | / /// Dec 01 19:35:04.933 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:04.933 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:04.933 INFO [stderr] 44 | | /// Dec 01 19:35:04.933 INFO [stderr] ... | Dec 01 19:35:04.933 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Dec 01 19:35:04.933 INFO [stderr] 65 | | /// Dec 01 19:35:04.933 INFO [stderr] | |___^ Dec 01 19:35:04.933 INFO [stderr] | Dec 01 19:35:04.933 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:04.933 INFO [stderr] Dec 01 19:35:04.933 INFO [stderr] identify groupings where e[0] is the same value for certain ranges of p. Dec 01 19:35:04.933 INFO [stderr] ^ Dec 01 19:35:04.933 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:04.933 INFO [stderr] Dec 01 19:35:04.933 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:04.933 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:04.933 INFO [stderr] | Dec 01 19:35:04.933 INFO [stderr] 41 | / /// Dec 01 19:35:04.933 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:04.933 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:04.933 INFO [stderr] 44 | | /// Dec 01 19:35:04.933 INFO [stderr] ... | Dec 01 19:35:04.933 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Dec 01 19:35:04.933 INFO [stderr] 65 | | /// Dec 01 19:35:04.933 INFO [stderr] | |___^ Dec 01 19:35:04.933 INFO [stderr] | Dec 01 19:35:04.933 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:04.933 INFO [stderr] Dec 01 19:35:04.933 INFO [stderr] e[0] can be found by taking p / (n - 1)!. Dec 01 19:35:04.933 INFO [stderr] ^ Dec 01 19:35:04.933 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:04.934 INFO [stderr] Dec 01 19:35:04.934 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:04.934 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:04.934 INFO [stderr] | Dec 01 19:35:04.934 INFO [stderr] 41 | / /// Dec 01 19:35:04.934 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:04.934 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:04.934 INFO [stderr] 44 | | /// Dec 01 19:35:04.934 INFO [stderr] ... | Dec 01 19:35:04.934 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Dec 01 19:35:04.934 INFO [stderr] 65 | | /// Dec 01 19:35:04.934 INFO [stderr] | |___^ Dec 01 19:35:04.934 INFO [stderr] | Dec 01 19:35:04.934 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:04.934 INFO [stderr] Dec 01 19:35:04.934 INFO [stderr] So our actual formula for the first element of S, e[0] is p mod n! / (n-1)!. Dec 01 19:35:04.934 INFO [stderr] ^ Dec 01 19:35:04.934 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:04.934 INFO [stderr] Dec 01 19:35:05.001 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.49s Dec 01 19:35:05.003 INFO [stderr] su: No module specific data is present Dec 01 19:35:05.645 INFO running `"docker" "inspect" "91a47d3049da3ae03e641acfa7f867d2214dfb8b8536acf1b58be4982bd42384"` Dec 01 19:35:05.747 INFO running `"docker" "rm" "-f" "91a47d3049da3ae03e641acfa7f867d2214dfb8b8536acf1b58be4982bd42384"` Dec 01 19:35:05.872 INFO [stdout] 91a47d3049da3ae03e641acfa7f867d2214dfb8b8536acf1b58be4982bd42384