[INFO] cloning repository https://github.com/jamesThompson2805/Fourth-Year-Project
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jamesThompson2805/Fourth-Year-Project" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FjamesThompson2805%2FFourth-Year-Project", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FjamesThompson2805%2FFourth-Year-Project'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b3047b60a7e7910c795845a8e3e5969a09924460
[INFO] testing jamesThompson2805/Fourth-Year-Project against master#2fd6efc32704647e64d3d646d21c4c68eae100e4 for pr-149852-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FjamesThompson2805%2FFourth-Year-Project" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/jamesThompson2805/Fourth-Year-Project
[INFO] finished tweaking git repo https://github.com/jamesThompson2805/Fourth-Year-Project
[INFO] tweaked toml for git repo https://github.com/jamesThompson2805/Fourth-Year-Project written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/jamesThompson2805/Fourth-Year-Project on toolchain 2fd6efc32704647e64d3d646d21c4c68eae100e4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/jamesThompson2805/Fourth-Year-Project already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] fef88d2d58e94a171c73a5071af6ae3c7e089377d1a820dafede58f099fee54a
[INFO] running `Command { std: "docker" "start" "-a" "fef88d2d58e94a171c73a5071af6ae3c7e089377d1a820dafede58f099fee54a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fef88d2d58e94a171c73a5071af6ae3c7e089377d1a820dafede58f099fee54a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fef88d2d58e94a171c73a5071af6ae3c7e089377d1a820dafede58f099fee54a", kill_on_drop: false }`
[INFO] [stdout] fef88d2d58e94a171c73a5071af6ae3c7e089377d1a820dafede58f099fee54a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c8c8869745c1fcd5518c557cf7a7d93cb10c9710b6e8b4d8800bbda597595a31
[INFO] running `Command { std: "docker" "start" "-a" "c8c8869745c1fcd5518c557cf7a7d93cb10c9710b6e8b4d8800bbda597595a31", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.178
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling unicode-ident v1.0.19
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling bytemuck v1.24.0
[INFO] [stderr]    Compiling matrixmultiply v0.3.10
[INFO] [stderr]    Compiling safe_arch v0.7.4
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling approx v0.5.1
[INFO] [stderr]    Compiling rawpointer v0.2.1
[INFO] [stderr]    Compiling wide v0.7.33
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling nom v8.0.0
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling simba v0.9.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling nalgebra-macros v0.3.0
[INFO] [stderr]    Compiling nalgebra v0.34.1
[INFO] [stderr]    Compiling code v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 39.61s
[INFO] running `Command { std: "docker" "inspect" "c8c8869745c1fcd5518c557cf7a7d93cb10c9710b6e8b4d8800bbda597595a31", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c8c8869745c1fcd5518c557cf7a7d93cb10c9710b6e8b4d8800bbda597595a31", kill_on_drop: false }`
[INFO] [stdout] c8c8869745c1fcd5518c557cf7a7d93cb10c9710b6e8b4d8800bbda597595a31
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 455d0063b28a07ae3348959365ee2f620838e3c074a711b979315a91f44561f2
[INFO] running `Command { std: "docker" "start" "-a" "455d0063b28a07ae3348959365ee2f620838e3c074a711b979315a91f44561f2", kill_on_drop: false }`
[INFO] [stderr]    Compiling code v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/projections.rs:403:13
[INFO] [stdout]     |
[INFO] [stdout] 403 |         let mut res_slp = slp_parser_rational(&res_str).unwrap();
[INFO] [stdout]     |             ----^^^^^^^
[INFO] [stdout]     |             |
[INFO] [stdout]     |             help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.91s
[INFO] running `Command { std: "docker" "inspect" "455d0063b28a07ae3348959365ee2f620838e3c074a711b979315a91f44561f2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "455d0063b28a07ae3348959365ee2f620838e3c074a711b979315a91f44561f2", kill_on_drop: false }`
[INFO] [stdout] 455d0063b28a07ae3348959365ee2f620838e3c074a711b979315a91f44561f2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 45669ababba30e8a79c9db08e5a6c9d446d25d6b11c8eb1804cab4d4d3da4f52
[INFO] running `Command { std: "docker" "start" "-a" "45669ababba30e8a79c9db08e5a6c9d446d25d6b11c8eb1804cab4d4d3da4f52", kill_on_drop: false }`
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/projections.rs:403:13
[INFO] [stderr]     |
[INFO] [stderr] 403 |         let mut res_slp = slp_parser_rational(&res_str).unwrap();
[INFO] [stderr]     |             ----^^^^^^^
[INFO] [stderr]     |             |
[INFO] [stderr]     |             help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `code` (bin "code" test) generated 1 warning (run `cargo fix --bin "code" -p code --tests` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.08s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/code-233e11b48ae6e1d0)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test projections::tests::find_partitions_11_le_4 ... ok
[INFO] [stdout] test projections::tests::find_partitions_11_4 ... ok
[INFO] [stdout] test projections::tests::find_all_6_3_partitions_with_dist_casimir ... ok
[INFO] [stdout] test projections::tests::find_casimir_2_2 ... ok
[INFO] [stdout] test projections::tests::find_casimir_eigenval_3_3 ... ok
[INFO] [stdout] test transformations2::tests::apply_x_i_test ... ok
[INFO] [stdout] test parsing::tests::test_parsing_rationals ... ok
[INFO] [stdout] test projections::tests::test_projection_example_4_14_1 ... ok
[INFO] [stderr] error: test failed, to rerun pass `--bin code`
[INFO] [stdout] test projections::tests::test_projection_to_example_5_4 ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- projections::tests::test_projection_to_example_5_4 stdout ----
[INFO] [stdout] [src/projections.rs:208:13] lambda.len() = 3
[INFO] [stdout] Casimir found: [[(0, 0), (0, 0)], [(0, 1), (1, 0)], [(0, 2), (2, 0)], [(1, 0), (0, 1)], [(1, 1), (1, 1)], [(1, 2), (2, 1)], [(2, 0), (0, 2)], [(2, 1), (1, 2)], [(2, 2), (2, 2)]], index: 2
[INFO] [stdout] [src/projections.rs:234:107] *el_index as u32 = 2
[INFO] [stdout] [src/projections.rs:234:131] &mu = [
[INFO] [stdout]     4,
[INFO] [stdout]     2,
[INFO] [stdout]     0,
[INFO] [stdout] ]
[INFO] [stdout] [src/projections.rs:58:5] &a = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         6,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         3,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         -1,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:59:19] a.pow(casimir_num) = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         36,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -9,
[INFO] [stdout]         9,
[INFO] [stdout]         0,
[INFO] [stdout]         -5,
[INFO] [stdout]         -3,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:62:5] a_pow_p * e = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         22,
[INFO] [stdout]         6,
[INFO] [stdout]         0,
[INFO] [stdout]         22,
[INFO] [stdout]         6,
[INFO] [stdout]         0,
[INFO] [stdout]         22,
[INFO] [stdout]         6,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:234:75] i64_to_c(casimir_eigenval(dbg!(*el_index as u32), dbg!(&mu), k)) = Ratio {
[INFO] [stdout]     numer: 28,
[INFO] [stdout]     denom: 1,
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:58:5] &a = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         8,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         1,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         -1,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:59:19] a.pow(casimir_num) = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         64,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -9,
[INFO] [stdout]         1,
[INFO] [stdout]         0,
[INFO] [stdout]         -7,
[INFO] [stdout]         -1,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:62:5] a_pow_p * e = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         48,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         48,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         48,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:58:5] &a = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         6,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         3,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         -1,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:59:19] a.pow(casimir_num) = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         36,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -9,
[INFO] [stdout]         9,
[INFO] [stdout]         0,
[INFO] [stdout]         -5,
[INFO] [stdout]         -3,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:62:5] a_pow_p * e = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         22,
[INFO] [stdout]         6,
[INFO] [stdout]         0,
[INFO] [stdout]         22,
[INFO] [stdout]         6,
[INFO] [stdout]         0,
[INFO] [stdout]         22,
[INFO] [stdout]         6,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] Casimir found: [[(0, 0), (0, 0)], [(0, 1), (1, 0)], [(0, 2), (2, 0)], [(1, 0), (0, 1)], [(1, 1), (1, 1)], [(1, 2), (2, 1)], [(2, 0), (0, 2)], [(2, 1), (1, 2)], [(2, 2), (2, 2)]], index: 2
[INFO] [stdout] [src/projections.rs:234:107] *el_index as u32 = 2
[INFO] [stdout] [src/projections.rs:234:131] &mu = [
[INFO] [stdout]     2,
[INFO] [stdout]     2,
[INFO] [stdout]     2,
[INFO] [stdout] ]
[INFO] [stdout] [src/projections.rs:58:5] &a = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         4,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         3,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         -1,
[INFO] [stdout]         2,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:59:19] a.pow(casimir_num) = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         16,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -7,
[INFO] [stdout]         9,
[INFO] [stdout]         0,
[INFO] [stdout]         -5,
[INFO] [stdout]         -5,
[INFO] [stdout]         4,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:62:5] a_pow_p * e = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:234:75] i64_to_c(casimir_eigenval(dbg!(*el_index as u32), dbg!(&mu), k)) = Ratio {
[INFO] [stdout]     numer: 12,
[INFO] [stdout]     denom: 1,
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:58:5] &a = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         8,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         1,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         -1,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:59:19] a.pow(casimir_num) = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         64,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -9,
[INFO] [stdout]         1,
[INFO] [stdout]         0,
[INFO] [stdout]         -7,
[INFO] [stdout]         -1,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:62:5] a_pow_p * e = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         48,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         48,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         48,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:58:5] &a = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         4,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         3,
[INFO] [stdout]         0,
[INFO] [stdout]         -1,
[INFO] [stdout]         -1,
[INFO] [stdout]         2,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:59:19] a.pow(casimir_num) = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         16,
[INFO] [stdout]         0,
[INFO] [stdout]         0,
[INFO] [stdout]         -7,
[INFO] [stdout]         9,
[INFO] [stdout]         0,
[INFO] [stdout]         -5,
[INFO] [stdout]         -5,
[INFO] [stdout]         4,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] [src/projections.rs:62:5] a_pow_p * e = VecStorage {
[INFO] [stdout]     data: [
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]         4,
[INFO] [stdout]     ],
[INFO] [stdout]     nrows: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout]     ncols: Dyn(
[INFO] [stdout]         3,
[INFO] [stdout]     ),
[INFO] [stdout] }
[INFO] [stdout] L0   : 0 + 0           : 
[INFO] [stdout] L1   : L0 + L0         : 
[INFO] [stdout] L2   : 0 + 0           : 
[INFO] [stdout] L3   : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L4   : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L5   : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L6   : 2 * L5          : (2)C<2,0,0>^1
[INFO] [stdout] L7   : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L8   : 2 * L6          : (4)C<2,0,0>^1
[INFO] [stdout] L9   : 2 * L7          : (2)C<2,0,0>^1
[INFO] [stdout] L10  : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L11  : 2 * L10         : (2)C<2,0,0>^1
[INFO] [stdout] L12  : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L13  : L3 * L1         : 
[INFO] [stdout] L14  : L0 * L2         : 
[INFO] [stdout] L15  : L14 + L13       : 
[INFO] [stdout] L16  : L3 * L2         : 
[INFO] [stdout] L17  : L2 * L0         : 
[INFO] [stdout] L18  : L1 * L4         : 
[INFO] [stdout] L19  : L18 + L17       : 
[INFO] [stdout] L20  : L2 * L4         : 
[INFO] [stdout] L21  : L19 + L15       : 
[INFO] [stdout] L22  : L20 + L16       : 
[INFO] [stdout] L23  : L3 * L0         : 
[INFO] [stdout] L24  : L0 * L4         : 
[INFO] [stdout] L25  : L24 + L23       : 
[INFO] [stdout] L26  : L3 * L4         : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L27  : L26 * L8        : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L28  : L25 * L9        : 
[INFO] [stdout] L29  : L28 + L27       : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L30  : L22 * L11       : 
[INFO] [stdout] L31  : L21 * L12       : 
[INFO] [stdout] L32  : L31 + L30       : 
[INFO] [stdout] L33  : L32 + L29       : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L34  : 0 + 0           : 
[INFO] [stdout] L35  : L34 + L34       : 
[INFO] [stdout] L36  : 0 + 0           : 
[INFO] [stdout] L37  : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L38  : C<1,1,0>        : (1)C<1,1,0>^1
[INFO] [stdout] L39  : 1 * L38         : (1)C<1,1,0>^1
[INFO] [stdout] L40  : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L41  : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L42  : 2 * L41         : (2)C<2,0,0>^1
[INFO] [stdout] L43  : C<1,1,0>        : (1)C<1,1,0>^1
[INFO] [stdout] L44  : 1 * L42         : (2)C<2,0,0>^1
[INFO] [stdout] L45  : 1 * L43         : (1)C<1,1,0>^1
[INFO] [stdout] L46  : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L47  : L37 * L35       : 
[INFO] [stdout] L48  : L34 * L36       : 
[INFO] [stdout] L49  : L48 + L47       : 
[INFO] [stdout] L50  : L37 * L36       : 
[INFO] [stdout] L51  : L36 * L39       : 
[INFO] [stdout] L52  : L35 * L40       : 
[INFO] [stdout] L53  : L52 + L51       : 
[INFO] [stdout] L54  : L36 * L40       : 
[INFO] [stdout] L55  : L53 + L49       : 
[INFO] [stdout] L56  : L54 + L50       : 
[INFO] [stdout] L57  : L37 * L39       : (1)C<0,0,2>^1.C<1,1,0>^1
[INFO] [stdout] L58  : L34 * L40       : 
[INFO] [stdout] L59  : L58 + L57       : (1)C<0,0,2>^1.C<1,1,0>^1
[INFO] [stdout] L60  : L37 * L40       : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L61  : L60 * L44       : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L62  : L59 * L45       : (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L63  : L62 + L61       : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L64  : L56 * L34       : 
[INFO] [stdout] L65  : L55 * L46       : 
[INFO] [stdout] L66  : L65 + L64       : 
[INFO] [stdout] L67  : L66 + L63       : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L68  : L33 + L67       : (6)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L69  : 0 + 0           : 
[INFO] [stdout] L70  : L69 + L69       : 
[INFO] [stdout] L71  : 0 + 0           : 
[INFO] [stdout] L72  : C<1,0,1>        : (1)C<1,0,1>^1
[INFO] [stdout] L73  : 1 * L72         : (1)C<1,0,1>^1
[INFO] [stdout] L74  : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L75  : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L76  : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L77  : 2 * L76         : (2)C<2,0,0>^1
[INFO] [stdout] L78  : C<1,0,1>        : (1)C<1,0,1>^1
[INFO] [stdout] L79  : 1 * L77         : (2)C<2,0,0>^1
[INFO] [stdout] L80  : 1 * L78         : (1)C<1,0,1>^1
[INFO] [stdout] L81  : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L82  : L74 * L70       : 
[INFO] [stdout] L83  : L73 * L71       : 
[INFO] [stdout] L84  : L83 + L82       : 
[INFO] [stdout] L85  : L74 * L71       : 
[INFO] [stdout] L86  : L71 * L69       : 
[INFO] [stdout] L87  : L70 * L75       : 
[INFO] [stdout] L88  : L87 + L86       : 
[INFO] [stdout] L89  : L71 * L75       : 
[INFO] [stdout] L90  : L88 + L84       : 
[INFO] [stdout] L91  : L89 + L85       : 
[INFO] [stdout] L92  : L74 * L69       : 
[INFO] [stdout] L93  : L73 * L75       : (1)C<0,2,0>^1.C<1,0,1>^1
[INFO] [stdout] L94  : L93 + L92       : (1)C<0,2,0>^1.C<1,0,1>^1
[INFO] [stdout] L95  : L74 * L75       : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L96  : L95 * L79       : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L97  : L94 * L80       : (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L98  : L97 + L96       : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L99  : L91 * L69       : 
[INFO] [stdout] L100 : L90 * L81       : 
[INFO] [stdout] L101 : L100 + L99      : 
[INFO] [stdout] L102 : L101 + L98      : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L103 : L68 + L102      : (8)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L104 : 0 + 0           : 
[INFO] [stdout] L105 : L104 + L104     : 
[INFO] [stdout] L106 : 0 + 0           : 
[INFO] [stdout] L107 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L108 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L109 : 2 * L108        : (2)C<0,2,0>^1
[INFO] [stdout] L110 : C<1,1,0>        : (1)C<1,1,0>^1
[INFO] [stdout] L111 : 1 * L109        : (2)C<0,2,0>^1
[INFO] [stdout] L112 : 1 * L110        : (1)C<1,1,0>^1
[INFO] [stdout] L113 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L114 : C<1,1,0>        : (1)C<1,1,0>^1
[INFO] [stdout] L115 : 1 * L114        : (1)C<1,1,0>^1
[INFO] [stdout] L116 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L117 : L107 * L111     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L118 : L104 * L112     : 
[INFO] [stdout] L119 : L118 + L117     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L120 : L107 * L112     : (1)C<0,0,2>^1.C<1,1,0>^1
[INFO] [stdout] L121 : L106 * L104     : 
[INFO] [stdout] L122 : L105 * L113     : 
[INFO] [stdout] L123 : L122 + L121     : 
[INFO] [stdout] L124 : L106 * L113     : 
[INFO] [stdout] L125 : L123 + L119     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L126 : L124 + L120     : (1)C<0,0,2>^1.C<1,1,0>^1
[INFO] [stdout] L127 : L107 * L104     : 
[INFO] [stdout] L128 : L104 * L113     : 
[INFO] [stdout] L129 : L128 + L127     : 
[INFO] [stdout] L130 : L107 * L113     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L131 : L130 * L105     : 
[INFO] [stdout] L132 : L129 * L106     : 
[INFO] [stdout] L133 : L132 + L131     : 
[INFO] [stdout] L134 : L126 * L115     : (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L135 : L125 * L116     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L136 : L135 + L134     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L137 : L136 + L133     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L138 : L103 + L137     : (10)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L139 : 0 + 0           : 
[INFO] [stdout] L140 : L139 + L139     : 
[INFO] [stdout] L141 : 0 + 0           : 
[INFO] [stdout] L142 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L143 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L144 : 2 * L143        : (2)C<0,2,0>^1
[INFO] [stdout] L145 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L146 : 2 * L144        : (4)C<0,2,0>^1
[INFO] [stdout] L147 : 2 * L145        : (2)C<0,2,0>^1
[INFO] [stdout] L148 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L149 : 2 * L148        : (2)C<0,2,0>^1
[INFO] [stdout] L150 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L151 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L152 : L142 * L146     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L153 : L139 * L147     : 
[INFO] [stdout] L154 : L153 + L152     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L155 : L142 * L147     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L156 : L141 * L149     : 
[INFO] [stdout] L157 : L140 * L150     : 
[INFO] [stdout] L158 : L157 + L156     : 
[INFO] [stdout] L159 : L141 * L150     : 
[INFO] [stdout] L160 : L158 + L154     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L161 : L159 + L155     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L162 : L142 * L149     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L163 : L139 * L150     : 
[INFO] [stdout] L164 : L163 + L162     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L165 : L142 * L150     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L166 : L165 * L140     : 
[INFO] [stdout] L167 : L164 * L141     : 
[INFO] [stdout] L168 : L167 + L166     : 
[INFO] [stdout] L169 : L161 * L139     : 
[INFO] [stdout] L170 : L160 * L151     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L171 : L170 + L169     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L172 : L171 + L168     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L173 : L138 + L172     : (14)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L174 : 0 + 0           : 
[INFO] [stdout] L175 : L174 + L174     : 
[INFO] [stdout] L176 : 0 + 0           : 
[INFO] [stdout] L177 : C<0,1,1>        : (1)C<0,1,1>^1
[INFO] [stdout] L178 : 1 * L177        : (1)C<0,1,1>^1
[INFO] [stdout] L179 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L180 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L181 : 2 * L180        : (2)C<0,2,0>^1
[INFO] [stdout] L182 : C<0,1,1>        : (1)C<0,1,1>^1
[INFO] [stdout] L183 : 1 * L181        : (2)C<0,2,0>^1
[INFO] [stdout] L184 : 1 * L182        : (1)C<0,1,1>^1
[INFO] [stdout] L185 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L186 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L187 : L179 * L183     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L188 : L178 * L184     : (1)C<0,1,1>^2
[INFO] [stdout] L189 : L188 + L187     : (2)C<0,0,2>^1.C<0,2,0>^1 + (1)C<0,1,1>^2
[INFO] [stdout] L190 : L179 * L184     : (1)C<0,0,2>^1.C<0,1,1>^1
[INFO] [stdout] L191 : L176 * L174     : 
[INFO] [stdout] L192 : L175 * L185     : 
[INFO] [stdout] L193 : L192 + L191     : 
[INFO] [stdout] L194 : L176 * L185     : 
[INFO] [stdout] L195 : L193 + L189     : (2)C<0,0,2>^1.C<0,2,0>^1 + (1)C<0,1,1>^2
[INFO] [stdout] L196 : L194 + L190     : (1)C<0,0,2>^1.C<0,1,1>^1
[INFO] [stdout] L197 : L179 * L174     : 
[INFO] [stdout] L198 : L178 * L185     : (1)C<0,1,1>^1.C<0,2,0>^1
[INFO] [stdout] L199 : L198 + L197     : (1)C<0,1,1>^1.C<0,2,0>^1
[INFO] [stdout] L200 : L179 * L185     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L201 : L200 * L175     : 
[INFO] [stdout] L202 : L199 * L176     : 
[INFO] [stdout] L203 : L202 + L201     : 
[INFO] [stdout] L204 : L196 * L174     : 
[INFO] [stdout] L205 : L195 * L186     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L206 : L205 + L204     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L207 : L206 + L203     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L208 : L173 + L207     : (16)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (1)C<0,1,1>^2.C<2,0,0>^1 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L209 : 0 + 0           : 
[INFO] [stdout] L210 : L209 + L209     : 
[INFO] [stdout] L211 : 0 + 0           : 
[INFO] [stdout] L212 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L213 : 2 * L212        : (2)C<0,0,2>^1
[INFO] [stdout] L214 : C<1,0,1>        : (1)C<1,0,1>^1
[INFO] [stdout] L215 : 1 * L213        : (2)C<0,0,2>^1
[INFO] [stdout] L216 : 1 * L214        : (1)C<1,0,1>^1
[INFO] [stdout] L217 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L218 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L219 : C<1,0,1>        : (1)C<1,0,1>^1
[INFO] [stdout] L220 : 1 * L219        : (1)C<1,0,1>^1
[INFO] [stdout] L221 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L222 : L217 * L210     : 
[INFO] [stdout] L223 : L209 * L211     : 
[INFO] [stdout] L224 : L223 + L222     : 
[INFO] [stdout] L225 : L217 * L211     : 
[INFO] [stdout] L226 : L216 * L209     : 
[INFO] [stdout] L227 : L215 * L218     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L228 : L227 + L226     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L229 : L216 * L218     : (1)C<0,2,0>^1.C<1,0,1>^1
[INFO] [stdout] L230 : L228 + L224     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L231 : L229 + L225     : (1)C<0,2,0>^1.C<1,0,1>^1
[INFO] [stdout] L232 : L217 * L209     : 
[INFO] [stdout] L233 : L209 * L218     : 
[INFO] [stdout] L234 : L233 + L232     : 
[INFO] [stdout] L235 : L217 * L218     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L236 : L235 * L210     : 
[INFO] [stdout] L237 : L234 * L211     : 
[INFO] [stdout] L238 : L237 + L236     : 
[INFO] [stdout] L239 : L231 * L220     : (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L240 : L230 * L221     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L241 : L240 + L239     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L242 : L241 + L238     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L243 : L208 + L242     : (18)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (1)C<0,1,1>^2.C<2,0,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L244 : 0 + 0           : 
[INFO] [stdout] L245 : L244 + L244     : 
[INFO] [stdout] L246 : 0 + 0           : 
[INFO] [stdout] L247 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L248 : 2 * L247        : (2)C<0,0,2>^1
[INFO] [stdout] L249 : C<0,1,1>        : (1)C<0,1,1>^1
[INFO] [stdout] L250 : 1 * L248        : (2)C<0,0,2>^1
[INFO] [stdout] L251 : 1 * L249        : (1)C<0,1,1>^1
[INFO] [stdout] L252 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L253 : C<0,1,1>        : (1)C<0,1,1>^1
[INFO] [stdout] L254 : 1 * L253        : (1)C<0,1,1>^1
[INFO] [stdout] L255 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L256 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L257 : L252 * L245     : 
[INFO] [stdout] L258 : L244 * L246     : 
[INFO] [stdout] L259 : L258 + L257     : 
[INFO] [stdout] L260 : L252 * L246     : 
[INFO] [stdout] L261 : L251 * L254     : (1)C<0,1,1>^2
[INFO] [stdout] L262 : L250 * L255     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L263 : L262 + L261     : (2)C<0,0,2>^1.C<0,2,0>^1 + (1)C<0,1,1>^2
[INFO] [stdout] L264 : L251 * L255     : (1)C<0,1,1>^1.C<0,2,0>^1
[INFO] [stdout] L265 : L263 + L259     : (2)C<0,0,2>^1.C<0,2,0>^1 + (1)C<0,1,1>^2
[INFO] [stdout] L266 : L264 + L260     : (1)C<0,1,1>^1.C<0,2,0>^1
[INFO] [stdout] L267 : L252 * L254     : (1)C<0,0,2>^1.C<0,1,1>^1
[INFO] [stdout] L268 : L244 * L255     : 
[INFO] [stdout] L269 : L268 + L267     : (1)C<0,0,2>^1.C<0,1,1>^1
[INFO] [stdout] L270 : L252 * L255     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L271 : L270 * L245     : 
[INFO] [stdout] L272 : L269 * L246     : 
[INFO] [stdout] L273 : L272 + L271     : 
[INFO] [stdout] L274 : L266 * L244     : 
[INFO] [stdout] L275 : L265 * L256     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L276 : L275 + L274     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L277 : L276 + L273     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L278 : L243 + L277     : (20)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (2)C<0,1,1>^2.C<2,0,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L279 : 0 + 0           : 
[INFO] [stdout] L280 : L279 + L279     : 
[INFO] [stdout] L281 : 0 + 0           : 
[INFO] [stdout] L282 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L283 : 2 * L282        : (2)C<0,0,2>^1
[INFO] [stdout] L284 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L285 : 2 * L283        : (4)C<0,0,2>^1
[INFO] [stdout] L286 : 2 * L284        : (2)C<0,0,2>^1
[INFO] [stdout] L287 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L288 : 2 * L287        : (2)C<0,0,2>^1
[INFO] [stdout] L289 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L290 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L291 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L292 : L289 * L280     : 
[INFO] [stdout] L293 : L288 * L281     : 
[INFO] [stdout] L294 : L293 + L292     : 
[INFO] [stdout] L295 : L289 * L281     : 
[INFO] [stdout] L296 : L286 * L279     : 
[INFO] [stdout] L297 : L285 * L290     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L298 : L297 + L296     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L299 : L286 * L290     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L300 : L298 + L294     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L301 : L299 + L295     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L302 : L289 * L279     : 
[INFO] [stdout] L303 : L288 * L290     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L304 : L303 + L302     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L305 : L289 * L290     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L306 : L305 * L280     : 
[INFO] [stdout] L307 : L304 * L281     : 
[INFO] [stdout] L308 : L307 + L306     : 
[INFO] [stdout] L309 : L301 * L279     : 
[INFO] [stdout] L310 : L300 * L291     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L311 : L310 + L309     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L312 : L311 + L308     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L313 : L278 + L312     : (24)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (2)C<0,1,1>^2.C<2,0,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L314 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L315 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L316 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L317 : L314 * L315     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L318 : L317 * L316     : (1)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L319 : L318 * -28      : (-28)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L320 : L313 + L319     : (-4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (2)C<0,1,1>^2.C<2,0,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L321 : L320 * 1/20     : (-1/5)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1/10)C<0,0,2>^1.C<1,1,0>^2 + (1/10)C<0,1,1>^2.C<2,0,0>^1 + (1/10)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L322 : 0 + 0           : 
[INFO] [stdout] L323 : L322 + L322     : 
[INFO] [stdout] L324 : 0 + 0           : 
[INFO] [stdout] L325 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L326 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L327 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L328 : 2 * L327        : (2)C<2,0,0>^1
[INFO] [stdout] L329 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L330 : 2 * L328        : (4)C<2,0,0>^1
[INFO] [stdout] L331 : 2 * L329        : (2)C<2,0,0>^1
[INFO] [stdout] L332 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L333 : 2 * L332        : (2)C<2,0,0>^1
[INFO] [stdout] L334 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L335 : L325 * L323     : 
[INFO] [stdout] L336 : L322 * L324     : 
[INFO] [stdout] L337 : L336 + L335     : 
[INFO] [stdout] L338 : L325 * L324     : 
[INFO] [stdout] L339 : L324 * L322     : 
[INFO] [stdout] L340 : L323 * L326     : 
[INFO] [stdout] L341 : L340 + L339     : 
[INFO] [stdout] L342 : L324 * L326     : 
[INFO] [stdout] L343 : L341 + L337     : 
[INFO] [stdout] L344 : L342 + L338     : 
[INFO] [stdout] L345 : L325 * L322     : 
[INFO] [stdout] L346 : L322 * L326     : 
[INFO] [stdout] L347 : L346 + L345     : 
[INFO] [stdout] L348 : L325 * L326     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L349 : L348 * L330     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L350 : L347 * L331     : 
[INFO] [stdout] L351 : L350 + L349     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L352 : L344 * L333     : 
[INFO] [stdout] L353 : L343 * L334     : 
[INFO] [stdout] L354 : L353 + L352     : 
[INFO] [stdout] L355 : L354 + L351     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L356 : 0 + 0           : 
[INFO] [stdout] L357 : L356 + L356     : 
[INFO] [stdout] L358 : 0 + 0           : 
[INFO] [stdout] L359 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L360 : C<1,1,0>        : (1)C<1,1,0>^1
[INFO] [stdout] L361 : 1 * L360        : (1)C<1,1,0>^1
[INFO] [stdout] L362 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L363 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L364 : 2 * L363        : (2)C<2,0,0>^1
[INFO] [stdout] L365 : C<1,1,0>        : (1)C<1,1,0>^1
[INFO] [stdout] L366 : 1 * L364        : (2)C<2,0,0>^1
[INFO] [stdout] L367 : 1 * L365        : (1)C<1,1,0>^1
[INFO] [stdout] L368 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L369 : L359 * L357     : 
[INFO] [stdout] L370 : L356 * L358     : 
[INFO] [stdout] L371 : L370 + L369     : 
[INFO] [stdout] L372 : L359 * L358     : 
[INFO] [stdout] L373 : L358 * L361     : 
[INFO] [stdout] L374 : L357 * L362     : 
[INFO] [stdout] L375 : L374 + L373     : 
[INFO] [stdout] L376 : L358 * L362     : 
[INFO] [stdout] L377 : L375 + L371     : 
[INFO] [stdout] L378 : L376 + L372     : 
[INFO] [stdout] L379 : L359 * L361     : (1)C<0,0,2>^1.C<1,1,0>^1
[INFO] [stdout] L380 : L356 * L362     : 
[INFO] [stdout] L381 : L380 + L379     : (1)C<0,0,2>^1.C<1,1,0>^1
[INFO] [stdout] L382 : L359 * L362     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L383 : L382 * L366     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L384 : L381 * L367     : (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L385 : L384 + L383     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L386 : L378 * L356     : 
[INFO] [stdout] L387 : L377 * L368     : 
[INFO] [stdout] L388 : L387 + L386     : 
[INFO] [stdout] L389 : L388 + L385     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L390 : L355 + L389     : (6)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L391 : 0 + 0           : 
[INFO] [stdout] L392 : L391 + L391     : 
[INFO] [stdout] L393 : 0 + 0           : 
[INFO] [stdout] L394 : C<1,0,1>        : (1)C<1,0,1>^1
[INFO] [stdout] L395 : 1 * L394        : (1)C<1,0,1>^1
[INFO] [stdout] L396 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L397 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L398 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L399 : 2 * L398        : (2)C<2,0,0>^1
[INFO] [stdout] L400 : C<1,0,1>        : (1)C<1,0,1>^1
[INFO] [stdout] L401 : 1 * L399        : (2)C<2,0,0>^1
[INFO] [stdout] L402 : 1 * L400        : (1)C<1,0,1>^1
[INFO] [stdout] L403 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L404 : L396 * L392     : 
[INFO] [stdout] L405 : L395 * L393     : 
[INFO] [stdout] L406 : L405 + L404     : 
[INFO] [stdout] L407 : L396 * L393     : 
[INFO] [stdout] L408 : L393 * L391     : 
[INFO] [stdout] L409 : L392 * L397     : 
[INFO] [stdout] L410 : L409 + L408     : 
[INFO] [stdout] L411 : L393 * L397     : 
[INFO] [stdout] L412 : L410 + L406     : 
[INFO] [stdout] L413 : L411 + L407     : 
[INFO] [stdout] L414 : L396 * L391     : 
[INFO] [stdout] L415 : L395 * L397     : (1)C<0,2,0>^1.C<1,0,1>^1
[INFO] [stdout] L416 : L415 + L414     : (1)C<0,2,0>^1.C<1,0,1>^1
[INFO] [stdout] L417 : L396 * L397     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L418 : L417 * L401     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L419 : L416 * L402     : (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L420 : L419 + L418     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L421 : L413 * L391     : 
[INFO] [stdout] L422 : L412 * L403     : 
[INFO] [stdout] L423 : L422 + L421     : 
[INFO] [stdout] L424 : L423 + L420     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L425 : L390 + L424     : (8)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L426 : 0 + 0           : 
[INFO] [stdout] L427 : L426 + L426     : 
[INFO] [stdout] L428 : 0 + 0           : 
[INFO] [stdout] L429 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L430 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L431 : 2 * L430        : (2)C<0,2,0>^1
[INFO] [stdout] L432 : C<1,1,0>        : (1)C<1,1,0>^1
[INFO] [stdout] L433 : 1 * L431        : (2)C<0,2,0>^1
[INFO] [stdout] L434 : 1 * L432        : (1)C<1,1,0>^1
[INFO] [stdout] L435 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L436 : C<1,1,0>        : (1)C<1,1,0>^1
[INFO] [stdout] L437 : 1 * L436        : (1)C<1,1,0>^1
[INFO] [stdout] L438 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L439 : L429 * L433     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L440 : L426 * L434     : 
[INFO] [stdout] L441 : L440 + L439     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L442 : L429 * L434     : (1)C<0,0,2>^1.C<1,1,0>^1
[INFO] [stdout] L443 : L428 * L426     : 
[INFO] [stdout] L444 : L427 * L435     : 
[INFO] [stdout] L445 : L444 + L443     : 
[INFO] [stdout] L446 : L428 * L435     : 
[INFO] [stdout] L447 : L445 + L441     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L448 : L446 + L442     : (1)C<0,0,2>^1.C<1,1,0>^1
[INFO] [stdout] L449 : L429 * L426     : 
[INFO] [stdout] L450 : L426 * L435     : 
[INFO] [stdout] L451 : L450 + L449     : 
[INFO] [stdout] L452 : L429 * L435     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L453 : L452 * L427     : 
[INFO] [stdout] L454 : L451 * L428     : 
[INFO] [stdout] L455 : L454 + L453     : 
[INFO] [stdout] L456 : L448 * L437     : (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L457 : L447 * L438     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L458 : L457 + L456     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L459 : L458 + L455     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,0,2>^1.C<1,1,0>^2
[INFO] [stdout] L460 : L425 + L459     : (10)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L461 : 0 + 0           : 
[INFO] [stdout] L462 : L461 + L461     : 
[INFO] [stdout] L463 : 0 + 0           : 
[INFO] [stdout] L464 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L465 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L466 : 2 * L465        : (2)C<0,2,0>^1
[INFO] [stdout] L467 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L468 : 2 * L466        : (4)C<0,2,0>^1
[INFO] [stdout] L469 : 2 * L467        : (2)C<0,2,0>^1
[INFO] [stdout] L470 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L471 : 2 * L470        : (2)C<0,2,0>^1
[INFO] [stdout] L472 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L473 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L474 : L464 * L468     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L475 : L461 * L469     : 
[INFO] [stdout] L476 : L475 + L474     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L477 : L464 * L469     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L478 : L463 * L471     : 
[INFO] [stdout] L479 : L462 * L472     : 
[INFO] [stdout] L480 : L479 + L478     : 
[INFO] [stdout] L481 : L463 * L472     : 
[INFO] [stdout] L482 : L480 + L476     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L483 : L481 + L477     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L484 : L464 * L471     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L485 : L461 * L472     : 
[INFO] [stdout] L486 : L485 + L484     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L487 : L464 * L472     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L488 : L487 * L462     : 
[INFO] [stdout] L489 : L486 * L463     : 
[INFO] [stdout] L490 : L489 + L488     : 
[INFO] [stdout] L491 : L483 * L461     : 
[INFO] [stdout] L492 : L482 * L473     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L493 : L492 + L491     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L494 : L493 + L490     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L495 : L460 + L494     : (14)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L496 : 0 + 0           : 
[INFO] [stdout] L497 : L496 + L496     : 
[INFO] [stdout] L498 : 0 + 0           : 
[INFO] [stdout] L499 : C<0,1,1>        : (1)C<0,1,1>^1
[INFO] [stdout] L500 : 1 * L499        : (1)C<0,1,1>^1
[INFO] [stdout] L501 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L502 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L503 : 2 * L502        : (2)C<0,2,0>^1
[INFO] [stdout] L504 : C<0,1,1>        : (1)C<0,1,1>^1
[INFO] [stdout] L505 : 1 * L503        : (2)C<0,2,0>^1
[INFO] [stdout] L506 : 1 * L504        : (1)C<0,1,1>^1
[INFO] [stdout] L507 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L508 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L509 : L501 * L505     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L510 : L500 * L506     : (1)C<0,1,1>^2
[INFO] [stdout] L511 : L510 + L509     : (2)C<0,0,2>^1.C<0,2,0>^1 + (1)C<0,1,1>^2
[INFO] [stdout] L512 : L501 * L506     : (1)C<0,0,2>^1.C<0,1,1>^1
[INFO] [stdout] L513 : L498 * L496     : 
[INFO] [stdout] L514 : L497 * L507     : 
[INFO] [stdout] L515 : L514 + L513     : 
[INFO] [stdout] L516 : L498 * L507     : 
[INFO] [stdout] L517 : L515 + L511     : (2)C<0,0,2>^1.C<0,2,0>^1 + (1)C<0,1,1>^2
[INFO] [stdout] L518 : L516 + L512     : (1)C<0,0,2>^1.C<0,1,1>^1
[INFO] [stdout] L519 : L501 * L496     : 
[INFO] [stdout] L520 : L500 * L507     : (1)C<0,1,1>^1.C<0,2,0>^1
[INFO] [stdout] L521 : L520 + L519     : (1)C<0,1,1>^1.C<0,2,0>^1
[INFO] [stdout] L522 : L501 * L507     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L523 : L522 * L497     : 
[INFO] [stdout] L524 : L521 * L498     : 
[INFO] [stdout] L525 : L524 + L523     : 
[INFO] [stdout] L526 : L518 * L496     : 
[INFO] [stdout] L527 : L517 * L508     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L528 : L527 + L526     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L529 : L528 + L525     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L530 : L495 + L529     : (16)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (1)C<0,1,1>^2.C<2,0,0>^1 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L531 : 0 + 0           : 
[INFO] [stdout] L532 : L531 + L531     : 
[INFO] [stdout] L533 : 0 + 0           : 
[INFO] [stdout] L534 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L535 : 2 * L534        : (2)C<0,0,2>^1
[INFO] [stdout] L536 : C<1,0,1>        : (1)C<1,0,1>^1
[INFO] [stdout] L537 : 1 * L535        : (2)C<0,0,2>^1
[INFO] [stdout] L538 : 1 * L536        : (1)C<1,0,1>^1
[INFO] [stdout] L539 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L540 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L541 : C<1,0,1>        : (1)C<1,0,1>^1
[INFO] [stdout] L542 : 1 * L541        : (1)C<1,0,1>^1
[INFO] [stdout] L543 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L544 : L539 * L532     : 
[INFO] [stdout] L545 : L531 * L533     : 
[INFO] [stdout] L546 : L545 + L544     : 
[INFO] [stdout] L547 : L539 * L533     : 
[INFO] [stdout] L548 : L538 * L531     : 
[INFO] [stdout] L549 : L537 * L540     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L550 : L549 + L548     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L551 : L538 * L540     : (1)C<0,2,0>^1.C<1,0,1>^1
[INFO] [stdout] L552 : L550 + L546     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L553 : L551 + L547     : (1)C<0,2,0>^1.C<1,0,1>^1
[INFO] [stdout] L554 : L539 * L531     : 
[INFO] [stdout] L555 : L531 * L540     : 
[INFO] [stdout] L556 : L555 + L554     : 
[INFO] [stdout] L557 : L539 * L540     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L558 : L557 * L532     : 
[INFO] [stdout] L559 : L556 * L533     : 
[INFO] [stdout] L560 : L559 + L558     : 
[INFO] [stdout] L561 : L553 * L542     : (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L562 : L552 * L543     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L563 : L562 + L561     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L564 : L563 + L560     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L565 : L530 + L564     : (18)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (1)C<0,1,1>^2.C<2,0,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L566 : 0 + 0           : 
[INFO] [stdout] L567 : L566 + L566     : 
[INFO] [stdout] L568 : 0 + 0           : 
[INFO] [stdout] L569 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L570 : 2 * L569        : (2)C<0,0,2>^1
[INFO] [stdout] L571 : C<0,1,1>        : (1)C<0,1,1>^1
[INFO] [stdout] L572 : 1 * L570        : (2)C<0,0,2>^1
[INFO] [stdout] L573 : 1 * L571        : (1)C<0,1,1>^1
[INFO] [stdout] L574 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L575 : C<0,1,1>        : (1)C<0,1,1>^1
[INFO] [stdout] L576 : 1 * L575        : (1)C<0,1,1>^1
[INFO] [stdout] L577 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L578 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L579 : L574 * L567     : 
[INFO] [stdout] L580 : L566 * L568     : 
[INFO] [stdout] L581 : L580 + L579     : 
[INFO] [stdout] L582 : L574 * L568     : 
[INFO] [stdout] L583 : L573 * L576     : (1)C<0,1,1>^2
[INFO] [stdout] L584 : L572 * L577     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L585 : L584 + L583     : (2)C<0,0,2>^1.C<0,2,0>^1 + (1)C<0,1,1>^2
[INFO] [stdout] L586 : L573 * L577     : (1)C<0,1,1>^1.C<0,2,0>^1
[INFO] [stdout] L587 : L585 + L581     : (2)C<0,0,2>^1.C<0,2,0>^1 + (1)C<0,1,1>^2
[INFO] [stdout] L588 : L586 + L582     : (1)C<0,1,1>^1.C<0,2,0>^1
[INFO] [stdout] L589 : L574 * L576     : (1)C<0,0,2>^1.C<0,1,1>^1
[INFO] [stdout] L590 : L566 * L577     : 
[INFO] [stdout] L591 : L590 + L589     : (1)C<0,0,2>^1.C<0,1,1>^1
[INFO] [stdout] L592 : L574 * L577     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L593 : L592 * L567     : 
[INFO] [stdout] L594 : L591 * L568     : 
[INFO] [stdout] L595 : L594 + L593     : 
[INFO] [stdout] L596 : L588 * L566     : 
[INFO] [stdout] L597 : L587 * L578     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L598 : L597 + L596     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L599 : L598 + L595     : (2)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L600 : L565 + L599     : (20)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (2)C<0,1,1>^2.C<2,0,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L601 : 0 + 0           : 
[INFO] [stdout] L602 : L601 + L601     : 
[INFO] [stdout] L603 : 0 + 0           : 
[INFO] [stdout] L604 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L605 : 2 * L604        : (2)C<0,0,2>^1
[INFO] [stdout] L606 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L607 : 2 * L605        : (4)C<0,0,2>^1
[INFO] [stdout] L608 : 2 * L606        : (2)C<0,0,2>^1
[INFO] [stdout] L609 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L610 : 2 * L609        : (2)C<0,0,2>^1
[INFO] [stdout] L611 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L612 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L613 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L614 : L611 * L602     : 
[INFO] [stdout] L615 : L610 * L603     : 
[INFO] [stdout] L616 : L615 + L614     : 
[INFO] [stdout] L617 : L611 * L603     : 
[INFO] [stdout] L618 : L608 * L601     : 
[INFO] [stdout] L619 : L607 * L612     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L620 : L619 + L618     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L621 : L608 * L612     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L622 : L620 + L616     : (4)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L623 : L621 + L617     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L624 : L611 * L601     : 
[INFO] [stdout] L625 : L610 * L612     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L626 : L625 + L624     : (2)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L627 : L611 * L612     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L628 : L627 * L602     : 
[INFO] [stdout] L629 : L626 * L603     : 
[INFO] [stdout] L630 : L629 + L628     : 
[INFO] [stdout] L631 : L623 * L601     : 
[INFO] [stdout] L632 : L622 * L613     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L633 : L632 + L631     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L634 : L633 + L630     : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L635 : L600 + L634     : (24)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (2)C<0,1,1>^2.C<2,0,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L636 : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L637 : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L638 : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L639 : L636 * L637     : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L640 : L639 * L638     : (1)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L641 : L640 * -12      : (-12)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L642 : L635 + L641     : (12)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (2)C<0,0,2>^1.C<1,1,0>^2 + (2)C<0,1,1>^2.C<2,0,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L643 : L642 * 1/36     : (1/3)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (1/18)C<0,0,2>^1.C<1,1,0>^2 + (1/18)C<0,1,1>^2.C<2,0,0>^1 + (1/18)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L644 : L321 * L643     : (1/45)C<0,0,2>^1.C<0,1,1>^2.C<0,2,0>^1.C<2,0,0>^2 + (1/90)C<0,0,2>^1.C<0,1,1>^2.C<1,1,0>^2.C<2,0,0>^1 + (1/90)C<0,0,2>^1.C<0,2,0>^1.C<1,0,1>^2.C<1,1,0>^2 + (1/45)C<0,0,2>^1.C<0,2,0>^2.C<1,0,1>^2.C<2,0,0>^1 + (1/45)C<0,0,2>^2.C<0,2,0>^1.C<1,1,0>^2.C<2,0,0>^1 + (-1/15)C<0,0,2>^2.C<0,2,0>^2.C<2,0,0>^2 + (1/180)C<0,0,2>^2.C<1,1,0>^4 + (1/90)C<0,1,1>^2.C<0,2,0>^1.C<1,0,1>^2.C<2,0,0>^1 + (1/180)C<0,1,1>^4.C<2,0,0>^2 + (1/180)C<0,2,0>^2.C<1,0,1>^4
[INFO] [stdout] L645 : L644 * 60       : (4/3)C<0,0,2>^1.C<0,1,1>^2.C<0,2,0>^1.C<2,0,0>^2 + (2/3)C<0,0,2>^1.C<0,1,1>^2.C<1,1,0>^2.C<2,0,0>^1 + (2/3)C<0,0,2>^1.C<0,2,0>^1.C<1,0,1>^2.C<1,1,0>^2 + (4/3)C<0,0,2>^1.C<0,2,0>^2.C<1,0,1>^2.C<2,0,0>^1 + (4/3)C<0,0,2>^2.C<0,2,0>^1.C<1,1,0>^2.C<2,0,0>^1 + (-4)C<0,0,2>^2.C<0,2,0>^2.C<2,0,0>^2 + (1/3)C<0,0,2>^2.C<1,1,0>^4 + (2/3)C<0,1,1>^2.C<0,2,0>^1.C<1,0,1>^2.C<2,0,0>^1 + (1/3)C<0,1,1>^4.C<2,0,0>^2 + (1/3)C<0,2,0>^2.C<1,0,1>^4
[INFO] [stdout] L0   : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L1   : C<1,0,1>        : (1)C<1,0,1>^1
[INFO] [stdout] L2   : L1 * L1         : (1)C<1,0,1>^2
[INFO] [stdout] L3   : L0 * L2         : (1)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L4   : 2 * L3          : (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L5   : C<0,1,1>        : (1)C<0,1,1>^1
[INFO] [stdout] L6   : C<1,0,1>        : (1)C<1,0,1>^1
[INFO] [stdout] L7   : C<1,1,0>        : (1)C<1,1,0>^1
[INFO] [stdout] L8   : L5 * L6         : (1)C<0,1,1>^1.C<1,0,1>^1
[INFO] [stdout] L9   : L8 * L7         : (1)C<0,1,1>^1.C<1,0,1>^1.C<1,1,0>^1
[INFO] [stdout] L10  : 4 * L9          : (4)C<0,1,1>^1.C<1,0,1>^1.C<1,1,0>^1
[INFO] [stdout] L11  : C<0,1,1>        : (1)C<0,1,1>^1
[INFO] [stdout] L12  : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L13  : L11 * L11       : (1)C<0,1,1>^2
[INFO] [stdout] L14  : L13 * L12       : (1)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L15  : 2 * L14         : (2)C<0,1,1>^2.C<2,0,0>^1
[INFO] [stdout] L16  : C<0,0,2>        : (1)C<0,0,2>^1
[INFO] [stdout] L17  : C<0,2,0>        : (1)C<0,2,0>^1
[INFO] [stdout] L18  : C<2,0,0>        : (1)C<2,0,0>^1
[INFO] [stdout] L19  : L16 * L17       : (1)C<0,0,2>^1.C<0,2,0>^1
[INFO] [stdout] L20  : L19 * L18       : (1)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L21  : 4 * L20         : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1
[INFO] [stdout] L22  : L4 + L10        : (4)C<0,1,1>^1.C<1,0,1>^1.C<1,1,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L23  : L22 + L15       : (4)C<0,1,1>^1.C<1,0,1>^1.C<1,1,0>^1 + (2)C<0,1,1>^2.C<2,0,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] L24  : L23 + L21       : (4)C<0,0,2>^1.C<0,2,0>^1.C<2,0,0>^1 + (4)C<0,1,1>^1.C<1,0,1>^1.C<1,1,0>^1 + (2)C<0,1,1>^2.C<2,0,0>^1 + (2)C<0,2,0>^1.C<1,0,1>^2
[INFO] [stdout] 
[INFO] [stdout] thread 'projections::tests::test_projection_to_example_5_4' (24) panicked at src/projections.rs:412:9:
[INFO] [stdout] assertion failed: are_rational_slp_similar(&res_slp, &proj_slp).1
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x6127087862b2 - std[716c9a7a72e5c14e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x6127087862b2 - std[716c9a7a72e5c14e]::backtrace_rs::backtrace::trace_unsynchronized::<std[716c9a7a72e5c14e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x6127087862b2 - std[716c9a7a72e5c14e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x6127087862b2 - <<std[716c9a7a72e5c14e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[c5ed12ab89cc536a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x61270879cc0a - <core[c5ed12ab89cc536a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x61270879cc0a - core[c5ed12ab89cc536a]::fmt::write
[INFO] [stdout]    6:     0x61270878b106 - std[716c9a7a72e5c14e]::io::default_write_fmt::<alloc[9c68fdf4f4f29218]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x61270878b106 - <alloc[9c68fdf4f4f29218]::vec::Vec<u8> as std[716c9a7a72e5c14e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x61270876477f - <std[716c9a7a72e5c14e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x61270876477f - std[716c9a7a72e5c14e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x61270877e599 - std[716c9a7a72e5c14e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x6127086a8d2e - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn for<'a, 'b> core[c5ed12ab89cc536a]::ops::function::Fn<(&'a std[716c9a7a72e5c14e]::panic::PanicHookInfo<'b>,), Output = ()> + core[c5ed12ab89cc536a]::marker::Sync + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::Fn<(&std[716c9a7a72e5c14e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x6127086a8d2e - test[64760d2bdea328cc]::test_main_with_exit_callback::<test[64760d2bdea328cc]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x61270877e752 - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn for<'a, 'b> core[c5ed12ab89cc536a]::ops::function::Fn<(&'a std[716c9a7a72e5c14e]::panic::PanicHookInfo<'b>,), Output = ()> + core[c5ed12ab89cc536a]::marker::Sync + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::Fn<(&std[716c9a7a72e5c14e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x61270877e752 - std[716c9a7a72e5c14e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x61270876486a - std[716c9a7a72e5c14e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x61270875c209 - std[716c9a7a72e5c14e]::sys::backtrace::__rust_end_short_backtrace::<std[716c9a7a72e5c14e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x61270876568d - __rustc[4f0b026143eab78e]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x61270879d31c - core[c5ed12ab89cc536a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x61270879d2e2 - core[c5ed12ab89cc536a]::panicking::panic
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panicking.rs:150:5
[INFO] [stdout]   20:     0x61270866081e - code[faee56aee231d38c]::projections::tests::test_projection_to_example_5_4
[INFO] [stdout]                                at /opt/rustwide/workdir/src/projections.rs:412:9
[INFO] [stdout]   21:     0x61270865d2f7 - code[faee56aee231d38c]::projections::tests::test_projection_to_example_5_4::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/projections.rs:389:40
[INFO] [stdout]   22:     0x61270863e6f6 - <code[faee56aee231d38c]::projections::tests::test_projection_to_example_5_4::{closure#0} as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x61270869d0db - <fn() -> core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x61270869d0db - test[64760d2bdea328cc]::__rust_begin_short_backtrace::<core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>, fn() -> core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:663:18
[INFO] [stdout]   25:     0x6127086a993a - test[64760d2bdea328cc]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:686:74
[INFO] [stdout]   26:     0x6127086a993a - <core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   27:     0x6127086a993a - std[716c9a7a72e5c14e]::panicking::catch_unwind::do_call::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>, core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:581:40
[INFO] [stdout]   28:     0x6127086a993a - std[716c9a7a72e5c14e]::panicking::catch_unwind::<core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>, core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:544:19
[INFO] [stdout]   29:     0x6127086a993a - std[716c9a7a72e5c14e]::panic::catch_unwind::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>, core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panic.rs:359:14
[INFO] [stdout]   30:     0x6127086a993a - test[64760d2bdea328cc]::run_test_in_process
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:686:27
[INFO] [stdout]   31:     0x6127086a993a - test[64760d2bdea328cc]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:607:43
[INFO] [stdout]   32:     0x6127086a3e04 - test[64760d2bdea328cc]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:637:41
[INFO] [stdout]   33:     0x6127086a3e04 - std[716c9a7a72e5c14e]::sys::backtrace::__rust_begin_short_backtrace::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   34:     0x6127086ac432 - std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   35:     0x6127086ac432 - <core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   36:     0x6127086ac432 - std[716c9a7a72e5c14e]::panicking::catch_unwind::do_call::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:581:40
[INFO] [stdout]   37:     0x6127086ac432 - std[716c9a7a72e5c14e]::panicking::catch_unwind::<(), core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:544:19
[INFO] [stdout]   38:     0x6127086ac432 - std[716c9a7a72e5c14e]::panic::catch_unwind::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panic.rs:359:14
[INFO] [stdout]   39:     0x6127086ac432 - std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   40:     0x6127086ac432 - <std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1} as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x612708785b5f - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn core[c5ed12ab89cc536a]::ops::function::FnOnce<(), Output = ()> + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   42:     0x612708785b5f - <std[716c9a7a72e5c14e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   43:     0x714e9c521aa4 - <unknown>
[INFO] [stdout]   44:     0x714e9c5aea64 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     projections::tests::test_projection_to_example_5_4
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 8 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "45669ababba30e8a79c9db08e5a6c9d446d25d6b11c8eb1804cab4d4d3da4f52", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "45669ababba30e8a79c9db08e5a6c9d446d25d6b11c8eb1804cab4d4d3da4f52", kill_on_drop: false }`
[INFO] [stdout] 45669ababba30e8a79c9db08e5a6c9d446d25d6b11c8eb1804cab4d4d3da4f52
