Dec 01 19:35:03.125 INFO documenting anthropomorphic/project_euler_24 against master#147e60c5f89cfa2d3ffc247413956a37582c98e7 for pr-55318-1 Dec 01 19:35:03.125 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318-1/worker-5/master#147e60c5f89cfa2d3ffc247413956a37582c98e7:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-55318-1/master#147e60c5f89cfa2d3ffc247413956a37582c98e7:/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 +147e60c5f89cfa2d3ffc247413956a37582c98e7-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:03.318 INFO [stdout] 4590d44637b21d35df529f87a791034d692bb3a0cd2698e62f5c5955d0e2d964 Dec 01 19:35:03.321 INFO running `"docker" "start" "-a" "4590d44637b21d35df529f87a791034d692bb3a0cd2698e62f5c5955d0e2d964"` Dec 01 19:35:03.743 INFO [stderr] usermod: no changes Dec 01 19:35:03.763 INFO [stderr] Documenting project_euler_24 v0.1.0 (/source) Dec 01 19:35:05.317 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:05.317 INFO [stderr] --> src/main.rs:12:1 Dec 01 19:35:05.317 INFO [stderr] | Dec 01 19:35:05.317 INFO [stderr] 12 | / /// Dec 01 19:35:05.317 INFO [stderr] 13 | | /// Given a sequence S, this function finds the sequence P(S), which is Dec 01 19:35:05.317 INFO [stderr] 14 | | /// the pth lexicographic permutation of S. Dec 01 19:35:05.317 INFO [stderr] 15 | | /// Dec 01 19:35:05.317 INFO [stderr] ... | Dec 01 19:35:05.317 INFO [stderr] 20 | | /// Note: "S - e" means "the sequence S, minus the element e". Dec 01 19:35:05.317 INFO [stderr] 21 | | /// Dec 01 19:35:05.317 INFO [stderr] | |___^ Dec 01 19:35:05.317 INFO [stderr] | Dec 01 19:35:05.317 INFO [stderr] = note: #[warn(intra_doc_link_resolution_failure)] on by default Dec 01 19:35:05.317 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:05.317 INFO [stderr] Dec 01 19:35:05.317 INFO [stderr] Once the first element e[0] of P(S) is found, the next element, e[1] Dec 01 19:35:05.317 INFO [stderr] ^ Dec 01 19:35:05.317 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:05.317 INFO [stderr] Dec 01 19:35:05.317 INFO [stderr] warning: `[1]` cannot be resolved, ignoring it... Dec 01 19:35:05.317 INFO [stderr] --> src/main.rs:12:1 Dec 01 19:35:05.317 INFO [stderr] | Dec 01 19:35:05.317 INFO [stderr] 12 | / /// Dec 01 19:35:05.317 INFO [stderr] 13 | | /// Given a sequence S, this function finds the sequence P(S), which is Dec 01 19:35:05.317 INFO [stderr] 14 | | /// the pth lexicographic permutation of S. Dec 01 19:35:05.317 INFO [stderr] 15 | | /// Dec 01 19:35:05.317 INFO [stderr] ... | Dec 01 19:35:05.317 INFO [stderr] 20 | | /// Note: "S - e" means "the sequence S, minus the element e". Dec 01 19:35:05.317 INFO [stderr] 21 | | /// Dec 01 19:35:05.317 INFO [stderr] | |___^ Dec 01 19:35:05.317 INFO [stderr] | Dec 01 19:35:05.317 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:05.317 INFO [stderr] Dec 01 19:35:05.317 INFO [stderr] Once the first element e[0] of P(S) is found, the next element, e[1] Dec 01 19:35:05.317 INFO [stderr] ^ Dec 01 19:35:05.317 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:05.317 INFO [stderr] Dec 01 19:35:05.317 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:05.317 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:05.317 INFO [stderr] | Dec 01 19:35:05.317 INFO [stderr] 41 | / /// Dec 01 19:35:05.317 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:05.317 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:05.317 INFO [stderr] 44 | | /// Dec 01 19:35:05.317 INFO [stderr] ... | Dec 01 19:35:05.317 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:05.317 INFO [stderr] 65 | | /// Dec 01 19:35:05.317 INFO [stderr] | |___^ Dec 01 19:35:05.317 INFO [stderr] | Dec 01 19:35:05.317 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:05.317 INFO [stderr] Dec 01 19:35:05.317 INFO [stderr] Given a sequence S, this function finds the first element e[0] Dec 01 19:35:05.317 INFO [stderr] ^ Dec 01 19:35:05.317 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:05.317 INFO [stderr] Dec 01 19:35:05.317 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:05.317 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:05.317 INFO [stderr] | Dec 01 19:35:05.317 INFO [stderr] 41 | / /// Dec 01 19:35:05.317 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:05.317 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:05.318 INFO [stderr] 44 | | /// Dec 01 19:35:05.318 INFO [stderr] ... | Dec 01 19:35:05.318 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:05.318 INFO [stderr] 65 | | /// Dec 01 19:35:05.318 INFO [stderr] | |___^ Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.318 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:05.318 INFO [stderr] Dec 01 19:35:05.318 INFO [stderr] e[0] is given by p mod n! / (n - 1)!, where p is the permutation, Dec 01 19:35:05.318 INFO [stderr] ^ Dec 01 19:35:05.318 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:05.318 INFO [stderr] Dec 01 19:35:05.318 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:05.318 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.318 INFO [stderr] 41 | / /// Dec 01 19:35:05.318 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:05.318 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:05.318 INFO [stderr] 44 | | /// Dec 01 19:35:05.318 INFO [stderr] ... | Dec 01 19:35:05.318 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:05.318 INFO [stderr] 65 | | /// Dec 01 19:35:05.318 INFO [stderr] | |___^ Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.318 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:05.318 INFO [stderr] Dec 01 19:35:05.318 INFO [stderr] and so is the sequence S. As p increases from 0 to n, the first element e[0] Dec 01 19:35:05.318 INFO [stderr] ^ Dec 01 19:35:05.318 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:05.318 INFO [stderr] Dec 01 19:35:05.318 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:05.318 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.318 INFO [stderr] 41 | / /// Dec 01 19:35:05.318 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:05.318 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:05.318 INFO [stderr] 44 | | /// Dec 01 19:35:05.318 INFO [stderr] ... | Dec 01 19:35:05.318 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:05.318 INFO [stderr] 65 | | /// Dec 01 19:35:05.318 INFO [stderr] | |___^ Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.318 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:05.318 INFO [stderr] Dec 01 19:35:05.318 INFO [stderr] starts at S[0] (the first element of S), and repeats (n-1)! times before Dec 01 19:35:05.318 INFO [stderr] ^ Dec 01 19:35:05.318 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:05.318 INFO [stderr] Dec 01 19:35:05.318 INFO [stderr] warning: `[1]` cannot be resolved, ignoring it... Dec 01 19:35:05.318 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.318 INFO [stderr] 41 | / /// Dec 01 19:35:05.318 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:05.318 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:05.318 INFO [stderr] 44 | | /// Dec 01 19:35:05.318 INFO [stderr] ... | Dec 01 19:35:05.318 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:05.318 INFO [stderr] 65 | | /// Dec 01 19:35:05.318 INFO [stderr] | |___^ Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.318 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:05.318 INFO [stderr] Dec 01 19:35:05.318 INFO [stderr] becoming S[1], and repeating (n-1)! again, and so on. In this way, we can Dec 01 19:35:05.318 INFO [stderr] ^ Dec 01 19:35:05.318 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:05.318 INFO [stderr] Dec 01 19:35:05.318 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:05.318 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.318 INFO [stderr] 41 | / /// Dec 01 19:35:05.318 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:05.318 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:05.318 INFO [stderr] 44 | | /// Dec 01 19:35:05.318 INFO [stderr] ... | Dec 01 19:35:05.318 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:05.318 INFO [stderr] 65 | | /// Dec 01 19:35:05.318 INFO [stderr] | |___^ Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.318 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:05.318 INFO [stderr] Dec 01 19:35:05.318 INFO [stderr] identify groupings where e[0] is the same value for certain ranges of p. Dec 01 19:35:05.318 INFO [stderr] ^ Dec 01 19:35:05.318 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:05.318 INFO [stderr] Dec 01 19:35:05.318 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:05.318 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.318 INFO [stderr] 41 | / /// Dec 01 19:35:05.318 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:05.318 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:05.318 INFO [stderr] 44 | | /// Dec 01 19:35:05.318 INFO [stderr] ... | Dec 01 19:35:05.318 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:05.318 INFO [stderr] 65 | | /// Dec 01 19:35:05.318 INFO [stderr] | |___^ Dec 01 19:35:05.318 INFO [stderr] | Dec 01 19:35:05.319 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:05.319 INFO [stderr] Dec 01 19:35:05.319 INFO [stderr] e[0] can be found by taking p / (n - 1)!. Dec 01 19:35:05.319 INFO [stderr] ^ Dec 01 19:35:05.319 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:05.319 INFO [stderr] Dec 01 19:35:05.319 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Dec 01 19:35:05.319 INFO [stderr] --> src/main.rs:41:1 Dec 01 19:35:05.319 INFO [stderr] | Dec 01 19:35:05.319 INFO [stderr] 41 | / /// Dec 01 19:35:05.319 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Dec 01 19:35:05.319 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Dec 01 19:35:05.319 INFO [stderr] 44 | | /// Dec 01 19:35:05.319 INFO [stderr] ... | Dec 01 19:35:05.319 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:05.319 INFO [stderr] 65 | | /// Dec 01 19:35:05.319 INFO [stderr] | |___^ Dec 01 19:35:05.319 INFO [stderr] | Dec 01 19:35:05.319 INFO [stderr] = note: the link appears in this line: Dec 01 19:35:05.319 INFO [stderr] Dec 01 19:35:05.319 INFO [stderr] So our actual formula for the first element of S, e[0] is p mod n! / (n-1)!. Dec 01 19:35:05.319 INFO [stderr] ^ Dec 01 19:35:05.319 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Dec 01 19:35:05.319 INFO [stderr] Dec 01 19:35:05.382 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.62s Dec 01 19:35:05.385 INFO [stderr] su: No module specific data is present Dec 01 19:35:05.770 INFO running `"docker" "inspect" "4590d44637b21d35df529f87a791034d692bb3a0cd2698e62f5c5955d0e2d964"` Dec 01 19:35:05.886 INFO running `"docker" "rm" "-f" "4590d44637b21d35df529f87a791034d692bb3a0cd2698e62f5c5955d0e2d964"` Dec 01 19:35:05.973 INFO [stdout] 4590d44637b21d35df529f87a791034d692bb3a0cd2698e62f5c5955d0e2d964