[INFO] cloning repository https://github.com/FukudaTaiga/solver_with_symbolic
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/FukudaTaiga/solver_with_symbolic" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFukudaTaiga%2Fsolver_with_symbolic", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFukudaTaiga%2Fsolver_with_symbolic'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3af30b3416792f710f58f1d4bc2fe867db96bfc8
[INFO] testing FukudaTaiga/solver_with_symbolic against beta-2022-02-22 for beta-1.60-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFukudaTaiga%2Fsolver_with_symbolic" "/workspace/builds/worker-2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/FukudaTaiga/solver_with_symbolic on toolchain beta-2022-02-22
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-02-22" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/FukudaTaiga/solver_with_symbolic
[INFO] finished tweaking git repo https://github.com/FukudaTaiga/solver_with_symbolic
[INFO] tweaked toml for git repo https://github.com/FukudaTaiga/solver_with_symbolic written to /workspace/builds/worker-2/source/Cargo.toml
[INFO] crate git repo https://github.com/FukudaTaiga/solver_with_symbolic already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-02-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pomelo v0.1.5
[INFO] [stderr]   Downloaded permutation_iterator v0.1.2
[INFO] [stderr]   Downloaded smt2parser v0.6.1
[INFO] [stderr]   Downloaded fst v0.4.7
[INFO] [stderr]   Downloaded pomelo-impl v0.1.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 889ead357a689e215e85ab52a1919e74b3d2f4dd6a824d9e0803479c7f145f75
[INFO] running `Command { std: "docker" "start" "-a" "889ead357a689e215e85ab52a1919e74b3d2f4dd6a824d9e0803479c7f145f75", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "889ead357a689e215e85ab52a1919e74b3d2f4dd6a824d9e0803479c7f145f75", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "889ead357a689e215e85ab52a1919e74b3d2f4dd6a824d9e0803479c7f145f75", kill_on_drop: false }`
[INFO] [stdout] 889ead357a689e215e85ab52a1919e74b3d2f4dd6a824d9e0803479c7f145f75
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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=warn" "-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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cbecc9abfce53e223fe1349d0880465bd6f61d0c3712284cffb3afa69e93bbcf
[INFO] running `Command { std: "docker" "start" "-a" "cbecc9abfce53e223fe1349d0880465bd6f61d0c3712284cffb3afa69e93bbcf", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling proc-macro2 v1.0.29
[INFO] [stderr]    Compiling syn v1.0.77
[INFO] [stderr]    Compiling libc v0.2.103
[INFO] [stderr]    Compiling serde_derive v1.0.130
[INFO] [stderr]    Compiling serde v1.0.130
[INFO] [stderr]    Compiling arrayvec v0.4.12
[INFO] [stderr]    Compiling unicode-width v0.1.9
[INFO] [stderr]    Compiling fst v0.4.7
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling num-bigint v0.3.3
[INFO] [stderr]    Compiling num-rational v0.3.2
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling itertools v0.10.1
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling blake2-rfc v0.2.18
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling getrandom v0.2.3
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling rand_core v0.6.3
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling rand v0.8.4
[INFO] [stderr]    Compiling permutation_iterator v0.1.2
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling structopt-derive v0.4.16
[INFO] [stderr]    Compiling strum_macros v0.21.1
[INFO] [stderr]    Compiling thiserror-impl v1.0.29
[INFO] [stderr]    Compiling pomelo-impl v0.1.5
[INFO] [stderr]    Compiling structopt v0.3.23
[INFO] [stderr]    Compiling strum v0.21.0
[INFO] [stderr]    Compiling thiserror v1.0.29
[INFO] [stderr]    Compiling pomelo v0.1.5
[INFO] [stderr]    Compiling num-complex v0.3.1
[INFO] [stderr]    Compiling num v0.3.1
[INFO] [stderr]    Compiling smt2parser v0.6.1
[INFO] [stderr]    Compiling solver_with_symbolic v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `crate::transducer::sst_factory::SstBuilder`
[INFO] [stdout]    --> src/smt2.rs:406:9
[INFO] [stdout]     |
[INFO] [stdout] 406 |     use crate::transducer::sst_factory::SstBuilder;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `OutputComp`, `VariableImpl`
[INFO] [stdout]    --> src/smt2.rs:407:35
[INFO] [stdout]     |
[INFO] [stdout] 407 |     use crate::transducer::term::{OutputComp, VariableImpl};
[INFO] [stdout]     |                                   ^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `boolean_algebra::Predicate`
[INFO] [stdout]  --> src/lib.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use boolean_algebra::Predicate;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Domain`
[INFO] [stdout]   --> src/lib.rs:12:22
[INFO] [stdout]    |
[INFO] [stdout] 12 | use util::{CharWrap, Domain};
[INFO] [stdout]    |                      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]    --> src/boolean_algebra/mod.rs:417:22
[INFO] [stdout]     |
[INFO] [stdout] 417 |       Predicate::Not(p) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 5 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 23.89s
[INFO] running `Command { std: "docker" "inspect" "cbecc9abfce53e223fe1349d0880465bd6f61d0c3712284cffb3afa69e93bbcf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cbecc9abfce53e223fe1349d0880465bd6f61d0c3712284cffb3afa69e93bbcf", kill_on_drop: false }`
[INFO] [stdout] cbecc9abfce53e223fe1349d0880465bd6f61d0c3712284cffb3afa69e93bbcf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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=warn" "-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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1ea4215a74d5fb8eba68d20637586061be7236c60c12ee590ae1df361c068b56
[INFO] running `Command { std: "docker" "start" "-a" "1ea4215a74d5fb8eba68d20637586061be7236c60c12ee590ae1df361c068b56", kill_on_drop: false }`
[INFO] [stdout] warning: unused import: `crate::transducer::sst_factory::SstBuilder`
[INFO] [stdout]    --> src/smt2.rs:406:9
[INFO] [stdout]     |
[INFO] [stdout] 406 |     use crate::transducer::sst_factory::SstBuilder;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling solver_with_symbolic v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `OutputComp`, `VariableImpl`
[INFO] [stdout]    --> src/smt2.rs:407:35
[INFO] [stdout]     |
[INFO] [stdout] 407 |     use crate::transducer::term::{OutputComp, VariableImpl};
[INFO] [stdout]     |                                   ^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `boolean_algebra::Predicate`
[INFO] [stdout]  --> src/lib.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use boolean_algebra::Predicate;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Domain`
[INFO] [stdout]   --> src/lib.rs:12:22
[INFO] [stdout]    |
[INFO] [stdout] 12 | use util::{CharWrap, Domain};
[INFO] [stdout]    |                      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]    --> src/boolean_algebra/mod.rs:417:22
[INFO] [stdout]     |
[INFO] [stdout] 417 |       Predicate::Not(p) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 5 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::transducer::sst_factory::SstBuilder`
[INFO] [stdout]    --> src/smt2.rs:406:9
[INFO] [stdout]     |
[INFO] [stdout] 406 |     use crate::transducer::sst_factory::SstBuilder;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `OutputComp`, `VariableImpl`
[INFO] [stdout]    --> src/smt2.rs:407:35
[INFO] [stdout]     |
[INFO] [stdout] 407 |     use crate::transducer::term::{OutputComp, VariableImpl};
[INFO] [stdout]     |                                   ^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `boolean_algebra::Predicate`
[INFO] [stdout]  --> src/lib.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use boolean_algebra::Predicate;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Domain`
[INFO] [stdout]   --> src/lib.rs:12:22
[INFO] [stdout]    |
[INFO] [stdout] 12 | use util::{CharWrap, Domain};
[INFO] [stdout]    |                      ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]    --> src/boolean_algebra/mod.rs:417:22
[INFO] [stdout]     |
[INFO] [stdout] 417 |       Predicate::Not(p) => {
[INFO] [stdout]     |                      ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 5 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 7.04s
[INFO] running `Command { std: "docker" "inspect" "1ea4215a74d5fb8eba68d20637586061be7236c60c12ee590ae1df361c068b56", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1ea4215a74d5fb8eba68d20637586061be7236c60c12ee590ae1df361c068b56", kill_on_drop: false }`
[INFO] [stdout] 1ea4215a74d5fb8eba68d20637586061be7236c60c12ee590ae1df361c068b56
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/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=warn" "-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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 1fe3311c9bd17a6db5988063d1789e4dd560e6f0a993b0dfe091c2e13e4948af
[INFO] running `Command { std: "docker" "start" "-a" "1fe3311c9bd17a6db5988063d1789e4dd560e6f0a993b0dfe091c2e13e4948af", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `crate::transducer::sst_factory::SstBuilder`
[INFO] [stderr]    --> src/smt2.rs:406:9
[INFO] [stderr]     |
[INFO] [stderr] 406 |     use crate::transducer::sst_factory::SstBuilder;
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `OutputComp`, `VariableImpl`
[INFO] [stderr]    --> src/smt2.rs:407:35
[INFO] [stderr]     |
[INFO] [stderr] 407 |     use crate::transducer::term::{OutputComp, VariableImpl};
[INFO] [stderr]     |                                   ^^^^^^^^^^  ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `boolean_algebra::Predicate`
[INFO] [stderr]  --> src/lib.rs:8:5
[INFO] [stderr]   |
[INFO] [stderr] 8 | use boolean_algebra::Predicate;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `Domain`
[INFO] [stderr]   --> src/lib.rs:12:22
[INFO] [stderr]    |
[INFO] [stderr] 12 | use util::{CharWrap, Domain};
[INFO] [stderr]    |                      ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `p`
[INFO] [stderr]    --> src/boolean_algebra/mod.rs:417:22
[INFO] [stderr]     |
[INFO] [stderr] 417 |       Predicate::Not(p) => {
[INFO] [stderr]     |                      ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `solver_with_symbolic` (lib) generated 5 warnings
[INFO] [stderr] warning: `solver_with_symbolic` (lib test) generated 5 warnings (5 duplicates)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/solver_with_symbolic-be7b402e15fcc892)
[INFO] [stdout] 
[INFO] [stdout] running 63 tests
[INFO] [stdout] test boolean_algebra::tests::char ... ok
[INFO] [stdout] test boolean_algebra::tests::range ... ok
[INFO] [stdout] test boolean_algebra::tests::in_set ... ok
[INFO] [stdout] test boolean_algebra::tests::with_lambda ... ok
[INFO] [stdout] test regular::regex::tests::atomics ... ok
[INFO] [stdout] test regular::regex::tests::concat ... ok
[INFO] [stdout] test regular::regex::tests::inter ... ok
[INFO] [stdout] test regular::regex::tests::not ... ok
[INFO] [stdout] test regular::regex::tests::or ... ok
[INFO] [stdout] test regular::regex::tests::star ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::create_sfa_and_minimize ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::chain ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_cnst_2 ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_cnst_1 ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_id_1 ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_cnst_3 ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_id_2 ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_replace_one ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_replace_one_all ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::reachables ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_rev_1 ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_palindrome ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_replace_concat ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_replace_star_all ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_id_3 ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_replace_concat_all ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_rev_2 ... ok
[INFO] [stdout] test regular::tests::reg_sfa_all ... ok
[INFO] [stdout] test regular::tests::reg_sfa_epsilon ... ok
[INFO] [stdout] test regular::tests::epsilon_has_no_effect_with_concat ... ok
[INFO] [stdout] test state::tests::new_state_is_new ... ok
[INFO] [stdout] test regular::tests::reg_sfa_not ... ok
[INFO] [stdout] test tests::smt2_2_sst_simple ... ignored
[INFO] [stdout] test regular::symbolic_automata::tests::pre_image_replace_star ... ok
[INFO] [stdout] test state::tests::state_distingish_from_another ... ok
[INFO] [stdout] test regular::tests::reg_sfa_star ... ok
[INFO] [stdout] test regular::tests::reg_sfa_inter_simple ... ok
[INFO] [stdout] test regular::tests::reg_sfa_or ... ok
[INFO] [stdout] test regular::tests::reg_sfa_concat ... ok
[INFO] [stdout] test transducer::sst_factory::tests::a_to_many ... ok
[INFO] [stdout] test transducer::sst_factory::tests::abc_to_xyz ... ok
[INFO] [stdout] test transducer::sst_factory::tests::abc_to_xyz_all ... ok
[INFO] [stdout] test transducer::sst_factory::tests::constant ... ok
[INFO] [stdout] test transducer::sst_factory::tests::identity ... ok
[INFO] [stdout] test transducer::sst_factory::tests::a_to_many_all ... ok
[INFO] [stdout] test transducer::sst_factory::tests::abcxyz_to_1 ... ok
[INFO] [stdout] test transducer::sst_factory::tests::abcxyz_to_1_all ... ok
[INFO] [stdout] test transducer::term::tests::new_var_is_new ... ok
[INFO] [stdout] test transducer::term::tests::var_distingish_from_another ... ok
[INFO] [stdout] test transducer::sst_factory::tests::reverse ... ok
[INFO] [stdout] test transducer::sst_factory::tests::abcxyz_to_eps ... ok
[INFO] [stdout] test transducer::sst_factory::tests::abcxyz_to_eps_all ... ok
[INFO] [stdout] test regular::tests::reg_sfa_inter ... ok
[INFO] [stdout] test regular::symbolic_automata::tests::reverse_of_reverse_is_identity ... ok
[INFO] [stdout] test transducer::tests::generate_simple ... ok
[INFO] [stdout] test smt2::tests::parse_correctly ... ok
[INFO] [stdout] test transducer::tests::merge ... ok
[INFO] [stdout] test transducer::tests::generate ... ok
[INFO] [stdout] test transducer::sst_factory::tests::reject_empty_substr_reg - should panic ... ok
[INFO] [stdout] test transducer::sst_factory::tests::reject_epsilon_substr_reg - should panic ... ok
[INFO] [stdout] test transducer::sst_factory::tests::reject_epsilon_substr_all_reg - should panic ... ok
[INFO] [stdout] test transducer::sst_factory::tests::reject_empty_substr_all_reg - should panic ... ok
[INFO] [stdout] test tests::smt2_2_sst_complex ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::smt2_2_sst_complex stdout ----
[INFO] [stdout] Smt2 { sl_constraints: [StraightLineConstraint(1, Transduction([Var(0), Reverse(0)])), StraightLineConstraint(2, Transduction([Var(1), ReplaceAll(0, Or([Concat([Element(Char('a')), Element(Char('b')), Element(Char('c'))]), Concat([Element(Char('k')), Element(Char('k')), Element(Char('k'))])]), Str("xyz")), Var(1)]))], reg_constraints: [RegularConstraint(1, Concat([Element(Char('a')), Element(Char('b')), Star(Concat([Element(Char('a')), Element(Char('b'))]))])), RegularConstraint(2, Star(Concat([Element(Char('a')), Element(Char('a'))])))], vars: ["x0", "x1", "x2"], int_vars: [], option: SMTOption { check_sat: true, get_model: false, logic: QF_STR } }
[INFO] [stdout] sfa: SymFa { states: {S(910), S(912), S(981), S(914), S(923), S(989), S(987), S(983), S(918), S(916)}, initial_state: S(910), final_states: {S(989)}, transition: {(S(914), Eq(Char('a'))): [S(916)], (S(918), Eq(Char('a'))): [S(916)], (S(918), Eq(Separator)): [S(987)], (S(983), Eq(Separator)): [S(989)], (S(923), Eq(Char('a'))): [S(912)], (S(981), Eq(Char('a'))): [S(983)], (S(912), Eq(Char('b'))): [S(914)], (S(910), Eq(Separator)): [S(923)], (S(987), Eq(Char('a'))): [S(981)], (S(983), Eq(Char('a'))): [S(981)], (S(910), Bool(true)): [S(910)], (S(987), Eq(Separator)): [S(989)], (S(914), Eq(Separator)): [S(987)], (S(916), Eq(Char('b'))): [S(918)]} }
[INFO] [stdout] sl_cons: StraightLineConstraint(2, Transduction([Var(1), ReplaceAll(0, Or([Concat([Element(Char('a')), Element(Char('b')), Element(Char('c'))]), Concat([Element(Char('k')), Element(Char('k')), Element(Char('k'))])]), Str("xyz")), Var(1)]))
[INFO] [stdout] generated sst: SymSst { states: {S(1011), S(993), S(1018), S(1014), S(1016), S(1015), S(1012), S(1013), S(1010)}, variables: {X(192), X(194), X(195), X(193), X(191)}, initial_state: S(1011), output_function: {S(1018): [X(191), Separator, X(192), X(193), X(192), Separator]}, transition: {(S(1010), Not(InSet([Char('a'), Char('k'), Separator]))): [(S(1011), {X(195): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z')), Id], X(194): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z')), Id], X(191): [X(191), Id]})], (S(1011), Eq(Char('a'))): [(S(1015), {X(191): [X(191), Id], X(195): [X(195), Id]})], (S(1015), Eq(Char('k'))): [(S(1016), {X(191): [X(191), Id], X(195): [X(195), Id], X(194): [X(195)]})], (S(1011), Not(InSet([Char('a'), Char('k'), Separator]))): [(S(1011), {X(195): [X(195), Id], X(194): [X(195), Id], X(191): [X(191), Id]}), (S(1011), {X(195): [X(195), Id], X(194): [X(195), Id], X(191): [X(191), Id]})], (S(1012), Eq(Char('k'))): [(S(1016), {X(191): [X(191), Id], X(195): [X(195), Id], X(194): [X(195)]})], (S(1014), Eq(Char('k'))): [(S(1016), {X(194): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z'))], X(191): [X(191), Id], X(195): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z')), Id]})], (S(1012), Eq(Char('c'))): [(S(1010), {X(191): [X(191), Id], X(195): [X(195), Id]})], (S(1012), Eq(Separator)): [(S(993), {X(193): [X(195)], X(191): [X(191), Constant(Separator)]})], (S(1013), Eq(Char('k'))): [(S(1014), {X(191): [X(191), Id], X(195): [X(195), Id]})], (S(1015), Eq(Char('a'))): [(S(1015), {X(194): [X(195)], X(195): [X(195), Id], X(191): [X(191), Id]})], (S(1015), Not(InSet([Char('a'), Char('k'), Char('b'), Separator]))): [(S(1011), {X(191): [X(191), Id], X(194): [X(195), Id], X(195): [X(195), Id]})], (S(1012), Not(InSet([Char('a'), Char('k'), Char('c'), Separator]))): [(S(1011), {X(194): [X(195), Id], X(191): [X(191), Id], X(195): [X(195), Id]})], (S(1013), Not(InSet([Char('a'), Char('k'), Separator]))): [(S(1011), {X(195): [X(195), Id], X(191): [X(191), Id], X(194): [X(195), Id]})], (S(1012), Eq(Char('a'))): [(S(1015), {X(194): [X(195)], X(195): [X(195), Id], X(191): [X(191), Id]})], (S(1016), Not(InSet([Char('a'), Char('k'), Separator]))): [(S(1011), {X(194): [X(195), Id], X(191): [X(191), Id], X(195): [X(195), Id]})], (S(993), Not(Eq(Separator))): [(S(993), {X(192): [X(192), Id], X(191): [X(191), Id]})], (S(993), Eq(Separator)): [(S(1018), {X(192): [X(192)]})], (S(1016), Eq(Separator)): [(S(993), {X(193): [X(195)], X(191): [X(191), Constant(Separator)]})], (S(1015), Eq(Separator)): [(S(993), {X(193): [X(195)], X(191): [X(191), Constant(Separator)]})], (S(1015), Eq(Char('b'))): [(S(1012), {X(195): [X(195), Id], X(191): [X(191), Id]})], (S(1010), Eq(Char('k'))): [(S(1016), {X(195): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z')), Id], X(194): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z'))], X(191): [X(191), Id]})], (S(1010), Eq(Char('a'))): [(S(1015), {X(191): [X(191), Id], X(194): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z'))], X(195): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z')), Id]})], (S(1010), Eq(Separator)): [(S(993), {X(193): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z'))], X(191): [X(191), Constant(Separator)]})], (S(1016), Eq(Char('a'))): [(S(1015), {X(195): [X(195), Id], X(191): [X(191), Id], X(194): [X(195)]})], (S(1011), Eq(Separator)): [(S(993), {X(193): [X(195)], X(191): [X(191), Constant(Separator)]})], (S(1011), Eq(Char('k'))): [(S(1016), {X(191): [X(191), Id], X(195): [X(195), Id]})], (S(1014), Eq(Separator)): [(S(993), {X(193): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z'))], X(191): [X(191), Constant(Separator)]})], (S(1014), Eq(Char('a'))): [(S(1015), {X(195): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z')), Id], X(194): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z'))], X(191): [X(191), Id]})], (S(1013), Eq(Separator)): [(S(993), {X(191): [X(191), Constant(Separator)], X(193): [X(195)]})], (S(1013), Eq(Char('a'))): [(S(1015), {X(194): [X(195)], X(195): [X(195), Id], X(191): [X(191), Id]})], (S(1016), Eq(Char('k'))): [(S(1013), {X(191): [X(191), Id], X(195): [X(195), Id]})], (S(1014), Not(InSet([Char('a'), Char('k'), Separator]))): [(S(1011), {X(191): [X(191), Id], X(194): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z')), Id], X(195): [X(194), Constant(Char('x')), Constant(Char('y')), Constant(Char('z')), Id]})]} }
[INFO] [stdout] preimage
[INFO] [stdout] start searching
[INFO] [stdout] states: {(S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(918)]), ((S(918), X(192)), [S(987)]), ((S(918), X(193)), [S(918)])]): S(1166), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910), S(987)]), ((S(910), X(193)), [S(910)])]): S(1142), (S(1011), [((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(981)]), ((S(923), X(195)), [S(987)])]): S(1246), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(914), X(192)), [S(987)]), ((S(923), X(193)), [S(914)])]): S(1185), (S(1018), [((S(910), X(191)), [S(910)]), ((S(918), X(193)), [S(987)]), ((S(923), X(192)), [S(918)]), ((S(987), X(192)), [S(987)])]): S(1060), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(914), X(192)), [S(983)]), ((S(923), X(193)), [S(914)])]): S(1184), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(918)]), ((S(918), X(192)), [S(983)])]): S(1146), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(192)), [S(983)]), ((S(918), X(193)), [S(916)]), ((S(923), X(192)), [S(918)])]): S(1056), (S(1018), [((S(910), X(191)), [S(914)]), ((S(981), X(193)), [S(983)]), ((S(983), X(192)), [S(983)]), ((S(987), X(192)), [S(981)])]): S(1049), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(193)), [S(918)]), ((S(918), X(192)), [S(983)])]): S(1132), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(918)]), ((S(918), X(193)), [S(983)]), ((S(983), X(192)), [S(983)])]): S(1162), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(192)), [S(987)]), ((S(918), X(193)), [S(916)]), ((S(923), X(192)), [S(918)])]): S(1055), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(918)]), ((S(916), X(192)), [S(987)]), ((S(918), X(193)), [S(916)])]): S(1163), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(987)]), ((S(987), X(192)), [S(983)])]): S(1149), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(916)]), ((S(916), X(193)), [S(918)]), ((S(918), X(192)), [S(987)])]): S(1158), (S(1018), [((S(910), X(191)), [S(910)]), ((S(918), X(192)), [S(987)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(918)])]): S(1086), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(987)]), ((S(981), X(192)), [S(983)]), ((S(987), X(193)), [S(981)])]): S(1110), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(987)]), ((S(987), X(192)), [S(983)]), ((S(987), X(193)), [S(987)])]): S(1171), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(983)]), ((S(983), X(192)), [S(983)])]): S(1143), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(192)), [S(987)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(912)])]): S(1087), (S(1018), [((S(910), X(191)), [S(910)]), ((S(918), X(192)), [S(987)]), ((S(918), X(193)), [S(918)]), ((S(923), X(192)), [S(918)])]): S(1058), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(193)), [S(916)]), ((S(916), X(192)), [S(983)])]): S(1135), (S(993), [((S(987), X(193)), [S(987)]), ((S(987), X(192)), [S(987)]), ((S(910), X(191)), [S(918)])]): S(1208), (S(993), [((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(983)]), ((S(923), X(193)), [S(987)])]): S(1220), (S(1012), [((S(987), X(192)), [S(981)]), ((S(910), X(191)), [S(910)]), ((S(923), X(195)), [S(987)])]): S(1231), (S(1013), [((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(983)]), ((S(923), X(195)), [S(987)])]): S(1241), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(914)]), ((S(914), X(193)), [S(918)]), ((S(918), X(192)), [S(983)])]): S(1120), (S(1018), [((S(910), X(191)), [S(918)]), ((S(981), X(192)), [S(983)]), ((S(983), X(193)), [S(981)]), ((S(987), X(192)), [S(983)])]): S(1195), (S(1018), [((S(910), X(191)), [S(910)]), ((S(918), X(192)), [S(983)]), ((S(918), X(193)), [S(918)]), ((S(923), X(192)), [S(918)])]): S(1057), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(916)]), ((S(916), X(193)), [S(987)]), ((S(987), X(192)), [S(987)])]): S(1154), (S(993), [((S(987), X(193)), [S(981)]), ((S(910), X(191)), [S(918)]), ((S(987), X(192)), [S(987)])]): S(1207), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(923), X(192)), [S(987)]), ((S(923), X(193)), [S(923)])]): S(1183), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(192)), [S(983)]), ((S(914), X(193)), [S(914)]), ((S(923), X(192)), [S(914)])]): S(1098), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(914)]), ((S(914), X(192)), [S(987)])]): S(1137), (S(993), [((S(987), X(192)), [S(981)]), ((S(923), X(193)), [S(987)]), ((S(910), X(191)), [S(910)])]): S(1226), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(193)), [S(914)]), ((S(914), X(192)), [S(987)])]): S(1130), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(193)), [S(987)]), ((S(923), X(192)), [S(912)]), ((S(987), X(192)), [S(987)])]): S(1065), (S(993), [((S(987), X(193)), [S(981)]), ((S(910), X(191)), [S(918)]), ((S(981), X(192)), [S(983)])]): S(1206), (S(1018), [((S(910), X(191)), [S(910)]), ((S(918), X(193)), [S(987)]), ((S(923), X(192)), [S(918)]), ((S(987), X(192)), [S(983)])]): S(1061), (S(1018), [((S(910), X(191)), [S(910)]), ((S(918), X(193)), [S(981)]), ((S(923), X(192)), [S(918)]), ((S(981), X(192)), [S(983)])]): S(1059), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(981)]), ((S(981), X(193)), [S(983)]), ((S(983), X(192)), [S(983)])]): S(1123), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(918), X(192)), [S(983)]), ((S(923), X(193)), [S(918)])]): S(1175), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(192)), [S(983)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(916)])]): S(1091), (S(1011), [((S(910), X(191)), [S(910)]), ((S(923), X(195)), [S(987)]), ((S(987), X(192)), [S(983)])]): S(1216), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(193)), [S(987)]), ((S(923), X(192)), [S(914)]), ((S(987), X(192)), [S(983)])]): S(1105), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(923)]), ((S(923), X(192)), [S(983)])]): S(1150), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(983)]), ((S(983), X(192)), [S(983)]), ((S(983), X(193)), [S(983)])]): S(1152), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(916)]), ((S(916), X(193)), [S(987)]), ((S(987), X(192)), [S(983)])]): S(1155), (S(1013), [((S(987), X(192)), [S(983)]), ((S(910), X(191)), [S(910)]), ((S(923), X(195)), [S(987)])]): S(1230), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(193)), [S(987)]), ((S(923), X(192)), [S(916)]), ((S(987), X(192)), [S(987)])]): S(1076), (S(993), [((S(923), X(193)), [S(987)]), ((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(983)])]): S(1233), (S(1018), [((S(910), X(191)), [S(918)]), ((S(987), X(192)), [S(987)]), ((S(987), X(193)), [S(987)])]): S(1188), (S(1013), [((S(910), X(191)), [S(910)]), ((S(923), X(195)), [S(987)]), ((S(987), X(192)), [S(981)])]): S(1224), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(193)), [S(918)]), ((S(918), X(192)), [S(983)]), ((S(923), X(192)), [S(912)])]): S(1070), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(192)), [S(983)]), ((S(916), X(193)), [S(916)]), ((S(923), X(192)), [S(916)])]): S(1082), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(193)), [S(983)]), ((S(923), X(192)), [S(914)]), ((S(983), X(192)), [S(983)])]): S(1100), (S(993), [((S(987), X(192)), [S(983)]), ((S(910), X(191)), [S(918)]), ((S(983), X(193)), [S(983)])]): S(1199), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(987)]), ((S(981), X(192)), [S(983)]), ((S(987), X(193)), [S(981)])]): S(1172), (S(1018), [((S(910), X(191)), [S(918)]), ((S(983), X(192)), [S(983)]), ((S(983), X(193)), [S(983)]), ((S(987), X(192)), [S(983)])]): S(1194), (S(993), [((S(910), X(191)), [S(918)]), ((S(983), X(192)), [S(983)]), ((S(983), X(193)), [S(983)])]): S(1198), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(916)]), ((S(916), X(192)), [S(987)])]): S(1144), (S(1018), [((S(910), X(191)), [S(914)]), ((S(983), X(192)), [S(983)]), ((S(987), X(192)), [S(987)]), ((S(987), X(193)), [S(983)])]): S(1047), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(987)]), ((S(987), X(192)), [S(983)])]): S(1097), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(193)), [S(987)]), ((S(987), X(192)), [S(987)])]): S(1127), (S(1018), [((S(910), X(191)), [S(918)]), ((S(981), X(193)), [S(983)]), ((S(983), X(192)), [S(983)]), ((S(987), X(192)), [S(981)])]): S(1193), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(923), X(192)), [S(983)]), ((S(923), X(193)), [S(923)])]): S(1182), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(912), X(192)), [S(987)]), ((S(923), X(193)), [S(912)])]): S(1177), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(923)]), ((S(923), X(192)), [S(987)])]): S(1151), (S(1016), [((S(987), X(192)), [S(983)]), ((S(923), X(195)), [S(987)]), ((S(910), X(191)), [S(910)])]): S(1239), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(193)), [S(914)]), ((S(914), X(192)), [S(983)]), ((S(923), X(192)), [S(912)])]): S(1067), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(923), S(987)]), ((S(923), X(193)), [S(923)])]): S(1093), (S(993), [((S(983), X(193)), [S(981)]), ((S(981), X(192)), [S(983)]), ((S(910), X(191)), [S(918)])]): S(1196), (S(993), [((S(987), X(193)), [S(987)]), ((S(987), X(192)), [S(983)]), ((S(910), X(191)), [S(918)])]): S(1209), (S(1018), [((S(910), X(191)), [S(918)]), ((S(983), X(192)), [S(983)]), ((S(987), X(192)), [S(987)]), ((S(987), X(193)), [S(983)])]): S(1191), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(193)), [S(916)]), ((S(916), X(192)), [S(987)])]): S(1134), (S(1012), [((S(923), X(195)), [S(987)]), ((S(987), X(192)), [S(983)]), ((S(910), X(191)), [S(910)])]): S(1212), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(923), X(193)), [S(983)]), ((S(983), X(192)), [S(983)])]): S(1179), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(192)), [S(983)]), ((S(912), X(193)), [S(912)]), ((S(923), X(192)), [S(912)])]): S(1064), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(916), X(192)), [S(983)]), ((S(923), X(193)), [S(916)])]): S(1181), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(193)), [S(918)]), ((S(918), X(192)), [S(983)]), ((S(923), X(192)), [S(914)])]): S(1106), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(192)), [S(987)]), ((S(912), X(193)), [S(912)])]): S(1125), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(914)]), ((S(914), X(192)), [S(983)]), ((S(914), X(193)), [S(914)])]): S(1112), (S(1018), [((S(910), X(191)), [S(914)]), ((S(987), X(192)), [S(987), S(983)]), ((S(987), X(193)), [S(987)])]): S(1045), (S(1018), [((S(910), X(191)), [S(914)]), ((S(987), X(192)), [S(987)]), ((S(987), X(193)), [S(987)])]): S(1044), (S(1018), [((S(910), X(191)), [S(914)]), ((S(981), X(192)), [S(983)]), ((S(987), X(192)), [S(987)]), ((S(987), X(193)), [S(981)])]): S(1046), (S(1018), [((S(910), X(191)), [S(914)]), ((S(981), X(192)), [S(983)]), ((S(983), X(193)), [S(981)]), ((S(987), X(192)), [S(983)])]): S(1051), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(193)), [S(981)]), ((S(923), X(192)), [S(914)]), ((S(981), X(192)), [S(983)])]): S(1101), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(192)), [S(987)]), ((S(916), X(193)), [S(916)]), ((S(923), X(192)), [S(916)])]): S(1081), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(987)]), ((S(987), X(192)), [S(987)]), ((S(987), X(193)), [S(987)])]): S(1170), (S(993), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(923), X(193)), [S(987)])]): S(1210), (S(1016), [((S(987), X(192)), [S(981)]), ((S(923), X(195)), [S(987)]), ((S(910), X(191)), [S(910)])]): S(1221), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(983)]), ((S(981), X(192)), [S(983)]), ((S(983), X(193)), [S(981)])]): S(1153), (S(1015), [((S(987), X(192)), [S(981)]), ((S(923), X(195)), [S(987)]), ((S(910), X(191)), [S(910)])]): S(1235), (S(993), [((S(987), X(192)), [S(987)]), ((S(910), X(191)), [S(910)]), ((S(923), X(193)), [S(987)])]): S(1243), (S(993), [((S(987), X(192)), [S(983)]), ((S(910), X(191)), [S(910)]), ((S(923), X(193)), [S(987)])]): S(1244), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(914)]), ((S(914), X(192)), [S(987)]), ((S(914), X(193)), [S(914)])]): S(1113), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(918)]), ((S(918), X(192)), [S(987)])]): S(1147), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(987)]), ((S(987), X(192)), [S(987)])]): S(1148), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(193)), [S(983)]), ((S(923), X(192)), [S(916)]), ((S(983), X(192)), [S(983)])]): S(1078), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(918)]), ((S(918), X(192)), [S(983)]), ((S(918), X(193)), [S(918)])]): S(1165), (S(1016), [((S(987), X(192)), [S(981)]), ((S(910), X(191)), [S(910)]), ((S(923), X(195)), [S(987)])]): S(1234), (S(1018), [((S(910), X(191)), [S(918)]), ((S(981), X(192)), [S(983)]), ((S(981), X(193)), [S(981)]), ((S(987), X(192)), [S(981)])]): S(1192), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(987)]), ((S(987), X(192)), [S(987)])]): S(1096), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(981)]), ((S(981), X(192)), [S(983)]), ((S(981), X(193)), [S(981)])]): S(1122), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(193)), [S(987)]), ((S(987), X(192)), [S(983)])]): S(1128), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(914)]), ((S(914), X(192)), [S(983)])]): S(1136), (S(1018), [((S(910), X(191)), [S(910)]), ((S(918), X(193)), [S(983)]), ((S(923), X(192)), [S(918)]), ((S(983), X(192)), [S(983)])]): S(1054), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(987)]), ((S(987), X(192)), [S(987)]), ((S(987), X(193)), [S(987)])]): S(1108), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(916)]), ((S(916), X(193)), [S(981)]), ((S(981), X(192)), [S(983)])]): S(1161), (S(993), [((S(983), X(193)), [S(981)]), ((S(987), X(192)), [S(983)]), ((S(910), X(191)), [S(918)])]): S(1197), (S(993), [((S(923), X(193)), [S(987)]), ((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(981)])]): S(1213), (S(1011), [((S(987), X(192)), [S(983)]), ((S(923), X(195)), [S(987)]), ((S(910), X(191)), [S(910)])]): S(1240), (S(993), [((S(987), X(192)), [S(983)]), ((S(923), X(193)), [S(987)]), ((S(910), X(191)), [S(910)])]): S(1211), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(981)]), ((S(981), X(192)), [S(983)])]): S(1138), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(916)]), ((S(916), X(193)), [S(983)]), ((S(983), X(192)), [S(983)])]): S(1156), (S(993), [((S(910), X(191)), [S(918)]), ((S(981), X(193)), [S(983)]), ((S(987), X(192)), [S(981)])]): S(1201), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(193)), [S(916)]), ((S(916), X(192)), [S(983)]), ((S(923), X(192)), [S(912)])]): S(1073), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(193)), [S(981)]), ((S(923), X(192)), [S(912)]), ((S(981), X(192)), [S(983)])]): S(1062), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(192)), [S(987)]), ((S(914), X(193)), [S(914)]), ((S(923), X(192)), [S(914)])]): S(1099), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(918)]), ((S(918), X(193)), [S(987)]), ((S(987), X(192)), [S(983)])]): S(1169), (S(1012), [((S(987), X(192)), [S(981)]), ((S(923), X(195)), [S(987)]), ((S(910), X(191)), [S(910)])]): S(1242), (S(1018), [((S(910), X(191)), [S(914)]), ((S(981), X(192)), [S(983)]), ((S(981), X(193)), [S(981)]), ((S(987), X(192)), [S(981)])]): S(1048), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(916)]), ((S(916), X(192)), [S(983)])]): S(1145), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(923), S(983)]), ((S(923), X(193)), [S(923)])]): S(1092), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(193)), [S(916)]), ((S(916), X(192)), [S(987)]), ((S(923), X(192)), [S(914)])]): S(1102), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(916)]), ((S(916), X(192)), [S(983)]), ((S(916), X(193)), [S(916)])]): S(1160), (S(1015), [((S(923), X(195)), [S(987)]), ((S(987), X(192)), [S(983)]), ((S(910), X(191)), [S(910)])]): S(1228), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(193)), [S(987)]), ((S(923), X(192)), [S(916)]), ((S(987), X(192)), [S(983)])]): S(1077), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(193)), [S(981)]), ((S(923), X(192)), [S(916)]), ((S(981), X(192)), [S(983)])]): S(1083), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(916)]), ((S(916), X(192)), [S(987)]), ((S(916), X(193)), [S(916)])]): S(1159), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(916), X(192)), [S(987)]), ((S(923), X(193)), [S(916)])]): S(1180), (S(993), [((S(987), X(192)), [S(981)]), ((S(981), X(193)), [S(981)]), ((S(910), X(191)), [S(918)])]): S(1203), (S(1011), [((S(910), X(191)), [S(910)]), ((S(923), X(195)), [S(987)]), ((S(987), X(192)), [S(981)])]): S(1223), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(192)), [S(987)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(914)])]): S(1095), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(914)]), ((S(914), X(193)), [S(916)]), ((S(916), X(192)), [S(987)])]): S(1116), (S(1011), [((S(923), X(195)), [S(987)]), ((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(981)])]): S(1236), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(981)]), ((S(981), X(192)), [S(983)]), ((S(981), X(193)), [S(981)])]): S(1052), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(923), X(193)), [S(981)]), ((S(981), X(192)), [S(983)])]): S(1174), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(193)), [S(987)]), ((S(923), X(192)), [S(912)]), ((S(987), X(192)), [S(983)])]): S(1066), (S(1018), [((S(910), X(191)), [S(914)]), ((S(983), X(192)), [S(983)]), ((S(983), X(193)), [S(983)]), ((S(987), X(192)), [S(983)])]): S(1050), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(192)), [S(987)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(916)])]): S(1090), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(192)), [S(987)]), ((S(912), X(193)), [S(912)]), ((S(923), X(192)), [S(912)])]): S(1063), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(193)), [S(918)]), ((S(918), X(192)), [S(987)]), ((S(923), X(192)), [S(916)])]): S(1080), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(914)]), ((S(914), X(193)), [S(918)]), ((S(918), X(192)), [S(987)])]): S(1121), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(192)), [S(983)]), ((S(912), X(193)), [S(912)])]): S(1126), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(193)), [S(916)]), ((S(916), X(192)), [S(987)]), ((S(923), X(192)), [S(912)])]): S(1072), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(914)]), ((S(914), X(193)), [S(987)]), ((S(987), X(192)), [S(987)])]): S(1118), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(912)]), ((S(912), X(192)), [S(987)])]): S(1139), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(193)), [S(983)]), ((S(983), X(192)), [S(983)])]): S(1131), (S(993), [((S(910), X(191)), [S(918)]), ((S(987), X(192)), [S(987)]), ((S(987), X(193)), [S(983)])]): S(1205), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(193)), [S(983)]), ((S(923), X(192)), [S(912)]), ((S(983), X(192)), [S(983)])]): S(1069), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(193)), [S(914)]), ((S(914), X(192)), [S(983)])]): S(1129), (S(993), [((S(981), X(193)), [S(981)]), ((S(910), X(191)), [S(918)]), ((S(981), X(192)), [S(983)])]): S(1202), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(193)), [S(914)]), ((S(914), X(192)), [S(987)]), ((S(923), X(192)), [S(912)])]): S(1068), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(983)]), ((S(983), X(192)), [S(983)]), ((S(983), X(193)), [S(983)])]): S(1074), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(914)]), ((S(914), X(193)), [S(981)]), ((S(981), X(192)), [S(983)])]): S(1115), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(981)]), ((S(981), X(193)), [S(983)]), ((S(983), X(192)), [S(983)])]): S(1053), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(192)), [S(983)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(912)])]): S(1088), (S(993), [((S(981), X(193)), [S(983)]), ((S(910), X(191)), [S(918)]), ((S(983), X(192)), [S(983)])]): S(1200), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(193)), [S(987)]), ((S(923), X(192)), [S(914)]), ((S(987), X(192)), [S(987)])]): S(1104), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(193)), [S(918)]), ((S(918), X(192)), [S(987)]), ((S(923), X(192)), [S(914)])]): S(1107), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910)]), ((S(910), X(193)), [S(912)]), ((S(912), X(192)), [S(983)])]): S(1140), (S(1018), [((S(910), X(191)), [S(918)]), ((S(981), X(192)), [S(983)]), ((S(987), X(192)), [S(987)]), ((S(987), X(193)), [S(981)])]): S(1190), (S(993), [((S(910), X(191)), [S(918)]), ((S(983), X(192)), [S(983)]), ((S(987), X(193)), [S(983)])]): S(1204), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(910), S(983)]), ((S(910), X(193)), [S(910)])]): S(1141), (S(993), [((S(923), X(193)), [S(987)]), ((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(987)])]): S(1232), (S(1011), [((S(987), X(192)), [S(983)]), ((S(910), X(191)), [S(910)]), ((S(923), X(195)), [S(987)])]): S(1229), (S(1018), [((S(910), X(191)), [S(910)]), ((S(918), X(192)), [S(983)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(918)])]): S(1085), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(193)), [S(918)]), ((S(918), X(192)), [S(987)])]): S(1133), (S(1018), [((S(910), X(191)), [S(910)]), ((S(916), X(193)), [S(918)]), ((S(918), X(192)), [S(983)]), ((S(923), X(192)), [S(916)])]): S(1079), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(193)), [S(916)]), ((S(916), X(192)), [S(983)]), ((S(923), X(192)), [S(914)])]): S(1103), (S(1018), [((S(910), X(191)), [S(910)]), ((S(912), X(193)), [S(918)]), ((S(918), X(192)), [S(987)]), ((S(923), X(192)), [S(912)])]): S(1071), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(981)]), ((S(981), X(192)), [S(983)])]): S(1084), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(987)]), ((S(983), X(192)), [S(983)]), ((S(987), X(193)), [S(983)])]): S(1111), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(916)]), ((S(916), X(193)), [S(918)]), ((S(918), X(192)), [S(983)])]): S(1157), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(983)]), ((S(981), X(192)), [S(983)]), ((S(983), X(193)), [S(981)])]): S(1075), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(918)]), ((S(918), X(193)), [S(981)]), ((S(981), X(192)), [S(983)])]): S(1167), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(914)]), ((S(914), X(193)), [S(916)]), ((S(916), X(192)), [S(983)])]): S(1117), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(987)]), ((S(983), X(192)), [S(983)]), ((S(987), X(193)), [S(983)])]): S(1173), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(918), X(192)), [S(987)]), ((S(923), X(193)), [S(918)])]): S(1176), (S(1018), [((S(910), X(191)), [S(910)]), ((S(914), X(192)), [S(983)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(914)])]): S(1094), (S(993), [((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(987)]), ((S(923), X(193)), [S(987)])]): S(1219), (S(1016), [((S(923), X(195)), [S(987)]), ((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(983)])]): S(1227), (S(1013), [((S(987), X(192)), [S(981)]), ((S(923), X(195)), [S(987)]), ((S(910), X(191)), [S(910)])]): S(1237), (S(1016), [((S(923), X(195)), [S(987)]), ((S(987), X(192)), [S(981)]), ((S(910), X(191)), [S(910)])]): S(1245), (S(1012), [((S(923), X(195)), [S(987)]), ((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(983)])]): S(1225), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(914)]), ((S(914), X(193)), [S(983)]), ((S(983), X(192)), [S(983)])]): S(1114), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(912)]), ((S(912), X(193)), [S(981)]), ((S(981), X(192)), [S(983)])]): S(1124), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(923)]), ((S(923), X(193)), [S(983)]), ((S(983), X(192)), [S(983)])]): S(1089), (S(1018), [((S(910), X(191)), [S(910)]), ((S(923), X(192)), [S(987)]), ((S(987), X(192)), [S(983)]), ((S(987), X(193)), [S(987)])]): S(1109), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(923), X(193)), [S(987)]), ((S(987), X(192)), [S(987)])]): S(1186), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(918)]), ((S(918), X(193)), [S(987)]), ((S(987), X(192)), [S(987)])]): S(1168), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(923), X(193)), [S(987)]), ((S(987), X(192)), [S(983)])]): S(1187), (S(1018), [((S(910), X(191)), [S(918)]), ((S(987), X(192)), [S(987), S(983)]), ((S(987), X(193)), [S(987)])]): S(1189), (S(1016), [((S(923), X(195)), [S(987)]), ((S(987), X(192)), [S(983)]), ((S(910), X(191)), [S(910)])]): S(1214), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(923)]), ((S(912), X(192)), [S(983)]), ((S(923), X(193)), [S(912)])]): S(1178), (S(1012), [((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(981)]), ((S(923), X(195)), [S(987)])]): S(1218), (S(1015), [((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(981)]), ((S(923), X(195)), [S(987)])]): S(1222), (S(1015), [((S(910), X(191)), [S(910)]), ((S(987), X(192)), [S(983)]), ((S(923), X(195)), [S(987)])]): S(1215), (S(993), [((S(923), X(193)), [S(987)]), ((S(987), X(192)), [S(981)]), ((S(910), X(191)), [S(910)])]): S(1238), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(914)]), ((S(914), X(193)), [S(987)]), ((S(987), X(192)), [S(983)])]): S(1119), (S(1013), [((S(910), X(191)), [S(910)]), ((S(923), X(195)), [S(987)]), ((S(987), X(192)), [S(983)])]): S(1217), (S(1018), [((S(910), X(191)), [S(910)]), ((S(910), X(192)), [S(918)]), ((S(916), X(192)), [S(983)]), ((S(918), X(193)), [S(916)])]): S(1164)}
[INFO] [stdout] thread 'tests::smt2_2_sst_complex' panicked at 'psedo stack overflow', src/regular/symbolic_automata.rs:425:11
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55aa8fc219cc - std::backtrace_rs::backtrace::libunwind::trace::h02555d7ca8aa068a
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stdout]    1:     0x55aa8fc219cc - std::backtrace_rs::backtrace::trace_unsynchronized::h8555a46024147da8
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55aa8fc219cc - std::sys_common::backtrace::_print_fmt::h4c7f50b4f105da1e
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/sys_common/backtrace.rs:66:5
[INFO] [stdout]    3:     0x55aa8fc219cc - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::ha305a40dbc030444
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/sys_common/backtrace.rs:45:22
[INFO] [stdout]    4:     0x55aa8fc4724c - core::fmt::write::hadd15acf4d6ce273
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/core/src/fmt/mod.rs:1190:17
[INFO] [stdout]    5:     0x55aa8fc1d2c8 - std::io::Write::write_fmt::h271050faa79d27d2
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/io/mod.rs:1657:15
[INFO] [stdout]    6:     0x55aa8fc23c97 - std::sys_common::backtrace::_print::h0dd5c0810675bd8c
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/sys_common/backtrace.rs:48:5
[INFO] [stdout]    7:     0x55aa8fc23c97 - std::sys_common::backtrace::print::h20a2155fa0a22ca6
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/sys_common/backtrace.rs:35:9
[INFO] [stdout]    8:     0x55aa8fc23c97 - std::panicking::default_hook::{{closure}}::habb3b6f3ccdfe00a
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panicking.rs:295:22
[INFO] [stdout]    9:     0x55aa8fc239cb - std::panicking::default_hook::h1c5cf4d5063a38e4
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panicking.rs:311:9
[INFO] [stdout]   10:     0x55aa8fc243ea - std::panicking::rust_panic_with_hook::hb5de7a3072d2cf59
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panicking.rs:698:17
[INFO] [stdout]   11:     0x55aa8fbd06c8 - std::panicking::begin_panic::{{closure}}::h8b2d25da085c9ead
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panicking.rs:617:9
[INFO] [stdout]   12:     0x55aa8fbcf6d9 - std::sys_common::backtrace::__rust_end_short_backtrace::hd454916240476c48
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/sys_common/backtrace.rs:138:18
[INFO] [stdout]   13:     0x55aa8fbd0643 - std::panicking::begin_panic::h6afc06a6cf282682
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panicking.rs:616:12
[INFO] [stdout]   14:     0x55aa8faf267f - solver_with_symbolic::regular::symbolic_automata::SymFa<D,B,S>::pre_image::hf72cc8ec4355f518
[INFO] [stdout]                                at /opt/rustwide/workdir/src/regular/symbolic_automata.rs:425:11
[INFO] [stdout]   15:     0x55aa8fb38112 - solver_with_symbolic::run::hf51791d07cbf0c4c
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib.rs:35:11
[INFO] [stdout]   16:     0x55aa8fb494e8 - solver_with_symbolic::tests::smt2_2_sst_complex::h7d6f3215e25620ce
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib.rs:152:16
[INFO] [stdout]   17:     0x55aa8fb4949a - solver_with_symbolic::tests::smt2_2_sst_complex::{{closure}}::h14f8776036f86910
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib.rs:134:3
[INFO] [stdout]   18:     0x55aa8fa297ae - core::ops::function::FnOnce::call_once::he1e031ac37c2c70c
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   19:     0x55aa8fb9e283 - core::ops::function::FnOnce::call_once::h43953c8a8f54893f
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   20:     0x55aa8fb9e283 - test::__rust_begin_short_backtrace::h163f55298a15df9b
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/test/src/lib.rs:575:5
[INFO] [stdout]   21:     0x55aa8fb9cfb1 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hc911782b3cbc7ed5
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/alloc/src/boxed.rs:1854:9
[INFO] [stdout]   22:     0x55aa8fb9cfb1 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hc5bb369afbf9cd4e
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   23:     0x55aa8fb9cfb1 - std::panicking::try::do_call::he60df4e3e832faff
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panicking.rs:492:40
[INFO] [stdout]   24:     0x55aa8fb9cfb1 - std::panicking::try::h2633cee89a0767f3
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panicking.rs:456:19
[INFO] [stdout]   25:     0x55aa8fb9cfb1 - std::panic::catch_unwind::h6e10f7b94ce38b1e
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panic.rs:137:14
[INFO] [stdout]   26:     0x55aa8fb9cfb1 - test::run_test_in_process::h085ef39049c3b50b
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/test/src/lib.rs:598:18
[INFO] [stdout]   27:     0x55aa8fb9cfb1 - test::run_test::run_test_inner::{{closure}}::h4e58ce9f68eb43e4
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/test/src/lib.rs:492:39
[INFO] [stdout]   28:     0x55aa8fba6891 - test::run_test::run_test_inner::{{closure}}::h6d18db28c5e396ee
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/test/src/lib.rs:519:37
[INFO] [stdout]   29:     0x55aa8fba6891 - std::sys_common::backtrace::__rust_begin_short_backtrace::h32292cb2cd8be620
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/sys_common/backtrace.rs:122:18
[INFO] [stdout]   30:     0x55aa8fb72fef - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h71ee66b20f7b0482
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/thread/mod.rs:498:17
[INFO] [stdout]   31:     0x55aa8fb72fef - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb6046e1d1a75a4a4
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   32:     0x55aa8fb72fef - std::panicking::try::do_call::h5422165a88309c77
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panicking.rs:492:40
[INFO] [stdout]   33:     0x55aa8fb72fef - std::panicking::try::h840a12b54e2c9f5d
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panicking.rs:456:19
[INFO] [stdout]   34:     0x55aa8fb72fef - std::panic::catch_unwind::h85910e437c8da180
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/panic.rs:137:14
[INFO] [stdout]   35:     0x55aa8fb72fef - std::thread::Builder::spawn_unchecked_::{{closure}}::ha3af3a297bfd51d6
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/thread/mod.rs:497:30
[INFO] [stdout]   36:     0x55aa8fb72fef - core::ops::function::FnOnce::call_once{{vtable.shim}}::hff8788f58e0e06a9
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   37:     0x55aa8fc2a083 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h82a18723295373b7
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/alloc/src/boxed.rs:1854:9
[INFO] [stdout]   38:     0x55aa8fc2a083 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h4b9b8634f7a2a5a4
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/alloc/src/boxed.rs:1854:9
[INFO] [stdout]   39:     0x55aa8fc2a083 - std::sys::unix::thread::Thread::new::thread_start::h3dc341aa024c6852
[INFO] [stdout]                                at /rustc/0a4f984a87c7ba6c74ec3e78442fec955a419e32/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   40:     0x7f0bbb3c3609 - start_thread
[INFO] [stdout]   41:     0x7f0bbb64e293 - clone
[INFO] [stdout]   42:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::smt2_2_sst_complex
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 61 passed; 1 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.14s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass '--lib'
[INFO] running `Command { std: "docker" "inspect" "1fe3311c9bd17a6db5988063d1789e4dd560e6f0a993b0dfe091c2e13e4948af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1fe3311c9bd17a6db5988063d1789e4dd560e6f0a993b0dfe091c2e13e4948af", kill_on_drop: false }`
[INFO] [stdout] 1fe3311c9bd17a6db5988063d1789e4dd560e6f0a993b0dfe091c2e13e4948af