Nov 28 01:49:24.885 INFO documenting anthropomorphic/project_euler_24 against try#f5a0bd723553ea4b7556bd7087b9f0919cafb483 for pr-55318 Nov 28 01:49:24.887 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55318/worker-5/try#f5a0bd723553ea4b7556bd7087b9f0919cafb483:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-55318/try#f5a0bd723553ea4b7556bd7087b9f0919cafb483:/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 +f5a0bd723553ea4b7556bd7087b9f0919cafb483-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"` Nov 28 01:49:25.128 INFO [stdout] 4d1226361910f169815d6f27d8d5fe82793ac5f4a22458f24581eaba22f717cc Nov 28 01:49:25.131 INFO running `"docker" "start" "-a" "4d1226361910f169815d6f27d8d5fe82793ac5f4a22458f24581eaba22f717cc"` Nov 28 01:49:25.649 INFO [stderr] usermod: no changes Nov 28 01:49:25.730 INFO [stderr] Documenting project_euler_24 v0.1.0 (/source) Nov 28 01:49:27.208 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Nov 28 01:49:27.208 INFO [stderr] --> src/main.rs:12:1 Nov 28 01:49:27.208 INFO [stderr] | Nov 28 01:49:27.208 INFO [stderr] 12 | / /// Nov 28 01:49:27.208 INFO [stderr] 13 | | /// Given a sequence S, this function finds the sequence P(S), which is Nov 28 01:49:27.208 INFO [stderr] 14 | | /// the pth lexicographic permutation of S. Nov 28 01:49:27.208 INFO [stderr] 15 | | /// Nov 28 01:49:27.208 INFO [stderr] ... | Nov 28 01:49:27.208 INFO [stderr] 20 | | /// Note: "S - e" means "the sequence S, minus the element e". Nov 28 01:49:27.208 INFO [stderr] 21 | | /// Nov 28 01:49:27.208 INFO [stderr] | |___^ Nov 28 01:49:27.208 INFO [stderr] | Nov 28 01:49:27.208 INFO [stderr] = note: #[warn(intra_doc_link_resolution_failure)] on by default Nov 28 01:49:27.208 INFO [stderr] = note: the link appears in this line: Nov 28 01:49:27.208 INFO [stderr] Nov 28 01:49:27.208 INFO [stderr] Once the first element e[0] of P(S) is found, the next element, e[1] Nov 28 01:49:27.208 INFO [stderr] ^ Nov 28 01:49:27.208 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 28 01:49:27.208 INFO [stderr] Nov 28 01:49:27.217 INFO [stderr] warning: `[1]` cannot be resolved, ignoring it... Nov 28 01:49:27.217 INFO [stderr] --> src/main.rs:12:1 Nov 28 01:49:27.217 INFO [stderr] | Nov 28 01:49:27.217 INFO [stderr] 12 | / /// Nov 28 01:49:27.217 INFO [stderr] 13 | | /// Given a sequence S, this function finds the sequence P(S), which is Nov 28 01:49:27.217 INFO [stderr] 14 | | /// the pth lexicographic permutation of S. Nov 28 01:49:27.217 INFO [stderr] 15 | | /// Nov 28 01:49:27.217 INFO [stderr] ... | Nov 28 01:49:27.217 INFO [stderr] 20 | | /// Note: "S - e" means "the sequence S, minus the element e". Nov 28 01:49:27.217 INFO [stderr] 21 | | /// Nov 28 01:49:27.217 INFO [stderr] | |___^ Nov 28 01:49:27.217 INFO [stderr] | Nov 28 01:49:27.217 INFO [stderr] = note: the link appears in this line: Nov 28 01:49:27.217 INFO [stderr] Nov 28 01:49:27.217 INFO [stderr] Once the first element e[0] of P(S) is found, the next element, e[1] Nov 28 01:49:27.217 INFO [stderr] ^ Nov 28 01:49:27.217 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 28 01:49:27.217 INFO [stderr] Nov 28 01:49:27.217 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Nov 28 01:49:27.217 INFO [stderr] --> src/main.rs:41:1 Nov 28 01:49:27.217 INFO [stderr] | Nov 28 01:49:27.217 INFO [stderr] 41 | / /// Nov 28 01:49:27.217 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Nov 28 01:49:27.217 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Nov 28 01:49:27.217 INFO [stderr] 44 | | /// Nov 28 01:49:27.217 INFO [stderr] ... | Nov 28 01:49:27.217 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Nov 28 01:49:27.217 INFO [stderr] 65 | | /// Nov 28 01:49:27.217 INFO [stderr] | |___^ Nov 28 01:49:27.217 INFO [stderr] | Nov 28 01:49:27.217 INFO [stderr] = note: the link appears in this line: Nov 28 01:49:27.217 INFO [stderr] Nov 28 01:49:27.217 INFO [stderr] Given a sequence S, this function finds the first element e[0] Nov 28 01:49:27.217 INFO [stderr] ^ Nov 28 01:49:27.217 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 28 01:49:27.217 INFO [stderr] Nov 28 01:49:27.217 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Nov 28 01:49:27.217 INFO [stderr] --> src/main.rs:41:1 Nov 28 01:49:27.217 INFO [stderr] | Nov 28 01:49:27.217 INFO [stderr] 41 | / /// Nov 28 01:49:27.217 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Nov 28 01:49:27.217 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Nov 28 01:49:27.217 INFO [stderr] 44 | | /// Nov 28 01:49:27.217 INFO [stderr] ... | Nov 28 01:49:27.217 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Nov 28 01:49:27.217 INFO [stderr] 65 | | /// Nov 28 01:49:27.217 INFO [stderr] | |___^ Nov 28 01:49:27.217 INFO [stderr] | Nov 28 01:49:27.217 INFO [stderr] = note: the link appears in this line: Nov 28 01:49:27.217 INFO [stderr] Nov 28 01:49:27.217 INFO [stderr] e[0] is given by p mod n! / (n - 1)!, where p is the permutation, Nov 28 01:49:27.217 INFO [stderr] ^ Nov 28 01:49:27.217 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 28 01:49:27.217 INFO [stderr] Nov 28 01:49:27.217 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Nov 28 01:49:27.217 INFO [stderr] --> src/main.rs:41:1 Nov 28 01:49:27.217 INFO [stderr] | Nov 28 01:49:27.217 INFO [stderr] 41 | / /// Nov 28 01:49:27.217 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Nov 28 01:49:27.217 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Nov 28 01:49:27.217 INFO [stderr] 44 | | /// Nov 28 01:49:27.217 INFO [stderr] ... | Nov 28 01:49:27.217 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Nov 28 01:49:27.217 INFO [stderr] 65 | | /// Nov 28 01:49:27.217 INFO [stderr] | |___^ Nov 28 01:49:27.217 INFO [stderr] | Nov 28 01:49:27.217 INFO [stderr] = note: the link appears in this line: Nov 28 01:49:27.217 INFO [stderr] Nov 28 01:49:27.217 INFO [stderr] and so is the sequence S. As p increases from 0 to n, the first element e[0] Nov 28 01:49:27.217 INFO [stderr] ^ Nov 28 01:49:27.217 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 28 01:49:27.217 INFO [stderr] Nov 28 01:49:27.217 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Nov 28 01:49:27.217 INFO [stderr] --> src/main.rs:41:1 Nov 28 01:49:27.217 INFO [stderr] | Nov 28 01:49:27.217 INFO [stderr] 41 | / /// Nov 28 01:49:27.217 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Nov 28 01:49:27.217 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Nov 28 01:49:27.217 INFO [stderr] 44 | | /// Nov 28 01:49:27.217 INFO [stderr] ... | Nov 28 01:49:27.218 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Nov 28 01:49:27.218 INFO [stderr] 65 | | /// Nov 28 01:49:27.218 INFO [stderr] | |___^ Nov 28 01:49:27.218 INFO [stderr] | Nov 28 01:49:27.218 INFO [stderr] = note: the link appears in this line: Nov 28 01:49:27.218 INFO [stderr] Nov 28 01:49:27.218 INFO [stderr] starts at S[0] (the first element of S), and repeats (n-1)! times before Nov 28 01:49:27.218 INFO [stderr] ^ Nov 28 01:49:27.218 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 28 01:49:27.218 INFO [stderr] Nov 28 01:49:27.218 INFO [stderr] warning: `[1]` cannot be resolved, ignoring it... Nov 28 01:49:27.218 INFO [stderr] --> src/main.rs:41:1 Nov 28 01:49:27.218 INFO [stderr] | Nov 28 01:49:27.218 INFO [stderr] 41 | / /// Nov 28 01:49:27.218 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Nov 28 01:49:27.218 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Nov 28 01:49:27.218 INFO [stderr] 44 | | /// Nov 28 01:49:27.218 INFO [stderr] ... | Nov 28 01:49:27.218 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Nov 28 01:49:27.218 INFO [stderr] 65 | | /// Nov 28 01:49:27.218 INFO [stderr] | |___^ Nov 28 01:49:27.218 INFO [stderr] | Nov 28 01:49:27.218 INFO [stderr] = note: the link appears in this line: Nov 28 01:49:27.218 INFO [stderr] Nov 28 01:49:27.218 INFO [stderr] becoming S[1], and repeating (n-1)! again, and so on. In this way, we can Nov 28 01:49:27.218 INFO [stderr] ^ Nov 28 01:49:27.218 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 28 01:49:27.218 INFO [stderr] Nov 28 01:49:27.218 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Nov 28 01:49:27.218 INFO [stderr] --> src/main.rs:41:1 Nov 28 01:49:27.218 INFO [stderr] | Nov 28 01:49:27.218 INFO [stderr] 41 | / /// Nov 28 01:49:27.218 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Nov 28 01:49:27.218 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Nov 28 01:49:27.218 INFO [stderr] 44 | | /// Nov 28 01:49:27.218 INFO [stderr] ... | Nov 28 01:49:27.218 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Nov 28 01:49:27.218 INFO [stderr] 65 | | /// Nov 28 01:49:27.218 INFO [stderr] | |___^ Nov 28 01:49:27.218 INFO [stderr] | Nov 28 01:49:27.218 INFO [stderr] = note: the link appears in this line: Nov 28 01:49:27.218 INFO [stderr] Nov 28 01:49:27.218 INFO [stderr] identify groupings where e[0] is the same value for certain ranges of p. Nov 28 01:49:27.218 INFO [stderr] ^ Nov 28 01:49:27.218 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 28 01:49:27.218 INFO [stderr] Nov 28 01:49:27.218 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Nov 28 01:49:27.218 INFO [stderr] --> src/main.rs:41:1 Nov 28 01:49:27.218 INFO [stderr] | Nov 28 01:49:27.218 INFO [stderr] 41 | / /// Nov 28 01:49:27.218 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Nov 28 01:49:27.218 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Nov 28 01:49:27.218 INFO [stderr] 44 | | /// Nov 28 01:49:27.218 INFO [stderr] ... | Nov 28 01:49:27.218 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Nov 28 01:49:27.218 INFO [stderr] 65 | | /// Nov 28 01:49:27.218 INFO [stderr] | |___^ Nov 28 01:49:27.218 INFO [stderr] | Nov 28 01:49:27.218 INFO [stderr] = note: the link appears in this line: Nov 28 01:49:27.218 INFO [stderr] Nov 28 01:49:27.218 INFO [stderr] e[0] can be found by taking p / (n - 1)!. Nov 28 01:49:27.218 INFO [stderr] ^ Nov 28 01:49:27.218 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 28 01:49:27.218 INFO [stderr] Nov 28 01:49:27.218 INFO [stderr] warning: `[0]` cannot be resolved, ignoring it... Nov 28 01:49:27.218 INFO [stderr] --> src/main.rs:41:1 Nov 28 01:49:27.218 INFO [stderr] | Nov 28 01:49:27.218 INFO [stderr] 41 | / /// Nov 28 01:49:27.218 INFO [stderr] 42 | | /// Given a sequence S, this function finds the first element e[0] Nov 28 01:49:27.218 INFO [stderr] 43 | | /// of the sequence P(S), which is the pth lexicographic permutation of S. Nov 28 01:49:27.218 INFO [stderr] 44 | | /// Nov 28 01:49:27.218 INFO [stderr] ... | Nov 28 01:49:27.218 INFO [stderr] 64 | | /// start at 0, not 1, so I have to adjust it to make the value come out as expected. Nov 28 01:49:27.218 INFO [stderr] 65 | | /// Nov 28 01:49:27.218 INFO [stderr] | |___^ Nov 28 01:49:27.218 INFO [stderr] | Nov 28 01:49:27.218 INFO [stderr] = note: the link appears in this line: Nov 28 01:49:27.218 INFO [stderr] Nov 28 01:49:27.218 INFO [stderr] So our actual formula for the first element of S, e[0] is p mod n! / (n-1)!. Nov 28 01:49:27.218 INFO [stderr] ^ Nov 28 01:49:27.218 INFO [stderr] = help: to escape `[` and `]` characters, just add '\' before them like `\[` or `\]` Nov 28 01:49:27.218 INFO [stderr] Nov 28 01:49:27.282 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.59s Nov 28 01:49:27.284 INFO [stderr] su: No module specific data is present Nov 28 01:49:27.577 INFO running `"docker" "inspect" "4d1226361910f169815d6f27d8d5fe82793ac5f4a22458f24581eaba22f717cc"` Nov 28 01:49:27.782 INFO running `"docker" "rm" "-f" "4d1226361910f169815d6f27d8d5fe82793ac5f4a22458f24581eaba22f717cc"` Nov 28 01:49:27.878 INFO [stdout] 4d1226361910f169815d6f27d8d5fe82793ac5f4a22458f24581eaba22f717cc