[INFO] cloning repository https://github.com/enadeau/comb-spec-searcher-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/enadeau/comb-spec-searcher-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fenadeau%2Fcomb-spec-searcher-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fenadeau%2Fcomb-spec-searcher-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 27585711cba0e5d82cfa3f0253f87c63536b4a3f
[INFO] checking enadeau/comb-spec-searcher-rs against 1.95.0 for pr-155915
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fenadeau%2Fcomb-spec-searcher-rs" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/enadeau/comb-spec-searcher-rs
[INFO] finished tweaking git repo https://github.com/enadeau/comb-spec-searcher-rs
[INFO] tweaked toml for git repo https://github.com/enadeau/comb-spec-searcher-rs written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/enadeau/comb-spec-searcher-rs on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/enadeau/comb-spec-searcher-rs 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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pathfinding v4.2.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c862943160a1014d7ff4c1fd73dd386e7e03851026c86051d979bd46e794b217
[INFO] running `Command { std: "docker" "start" "-a" "c862943160a1014d7ff4c1fd73dd386e7e03851026c86051d979bd46e794b217", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c862943160a1014d7ff4c1fd73dd386e7e03851026c86051d979bd46e794b217", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c862943160a1014d7ff4c1fd73dd386e7e03851026c86051d979bd46e794b217", kill_on_drop: false }`
[INFO] [stdout] c862943160a1014d7ff4c1fd73dd386e7e03851026c86051d979bd46e794b217
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f3d4205a10e60f5f69fafeb13a779dc184a2abdb8d48fe5f47e936d30a4ad8c4
[INFO] running `Command { std: "docker" "start" "-a" "f3d4205a10e60f5f69fafeb13a779dc184a2abdb8d48fe5f47e936d30a4ad8c4", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.51
[INFO] [stderr]    Compiling quote v1.0.23
[INFO] [stderr]    Compiling unicode-ident v1.0.6
[INFO] [stderr]    Compiling libc v0.2.139
[INFO] [stderr]    Compiling serde_derive v1.0.152
[INFO] [stderr]    Compiling serde v1.0.152
[INFO] [stderr]    Compiling thiserror v1.0.38
[INFO] [stderr]    Compiling serde_json v1.0.93
[INFO] [stderr]     Checking fixedbitset v0.4.2
[INFO] [stderr]     Checking itoa v1.0.5
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling indexmap v1.9.2
[INFO] [stderr]     Checking ryu v1.0.12
[INFO] [stderr]     Checking getrandom v0.2.8
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking integer-sqrt v0.1.5
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling thiserror-impl v1.0.38
[INFO] [stderr]     Checking pathfinding v4.2.1
[INFO] [stderr]     Checking comb_spec_searcher v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 53 |         todo!("This implementation is not correct");
[INFO] [stdout]    |         ------------------------------------------- any code following this expression is unreachable
[INFO] [stdout] 54 |         self.rule_using_class.remove(&class);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `class`
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:52:48
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn remove_class_information(&mut self, class: u32) {
[INFO] [stdout]    |                                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_class`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:276:17
[INFO] [stdout]     |
[INFO] [stdout] 276 |             let mut shifts = self.shifts.get_mut(r_idx).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] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |             let mut shifts = self.shifts.get_mut(r_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let mut current_shift = shifts.get_mut(class_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:322:17
[INFO] [stdout]     |
[INFO] [stdout] 322 |             let mut shifts = self.shifts.get_mut(rule_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:23
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                       ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ends`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:37
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                                     ^^^^ help: if this is intentional, prefix it with an underscore: `_ends`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rule`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:55
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                                                       ^^^^ help: if this is intentional, prefix it with an underscore: `_rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `root`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 25 |         root: usize,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_root`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `classdb`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         classdb: &classdb::ClassDB<S::ClassType>,
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_classdb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable statement
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:54:9
[INFO] [stdout]    |
[INFO] [stdout] 53 |         todo!("This implementation is not correct");
[INFO] [stdout]    |         ------------------------------------------- any code following this expression is unreachable
[INFO] [stdout] 54 |         self.rule_using_class.remove(&class);
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unreachable statement
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unreachable_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `reverse` and `table_method` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub struct ForestRuleDB {
[INFO] [stdout]    |            ------------ fields in this struct
[INFO] [stdout] 14 |     reverse: bool,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 15 |     table_method: TableMethod,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MINIMIZE_ORDER` is never used
[INFO] [stdout]  --> src/searcher/ruledb/forest/extractor.rs:6:7
[INFO] [stdout]   |
[INFO] [stdout] 6 | const MINIMIZE_ORDER: [RuleBucket; 4] = [
[INFO] [stdout]   |       ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `MinimizationRoundResult` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:13:6
[INFO] [stdout]    |
[INFO] [stdout] 13 | enum MinimizationRoundResult {
[INFO] [stdout]    |      ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `minimzation_bucket_round` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:22:4
[INFO] [stdout]    |
[INFO] [stdout] 22 | fn minimzation_bucket_round(
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `minimize_bucket` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:52:4
[INFO] [stdout]    |
[INFO] [stdout] 52 | fn minimize_bucket(mut tb: TableMethod, bucket: &RuleBucket, root_class: u32) -> TableMethod {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `minimize` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:65:4
[INFO] [stdout]    |
[INFO] [stdout] 65 | fn minimize(tb: TableMethod, root_class: u32) -> TableMethod {
[INFO] [stdout]    |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extract_specification` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/extractor.rs:73:8
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub fn extract_specification(root_class: u32, tb: TableMethod) -> Vec<ForestRuleKey> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Int` and `Infinity` are never constructed
[INFO] [stdout]  --> src/searcher/ruledb/forest/function.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | pub enum IntOrInf {
[INFO] [stdout]   |          -------- variants in this enum
[INFO] [stdout] 3 |     Int(u8),
[INFO] [stdout]   |     ^^^
[INFO] [stdout] 4 |     Infinity,
[INFO] [stdout]   |     ^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `IntOrInf` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `is_finite` and `is_infinite` are never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/function.rs:8:12
[INFO] [stdout]    |
[INFO] [stdout]  7 | impl IntOrInf {
[INFO] [stdout]    | ------------- methods in this implementation
[INFO] [stdout]  8 |     pub fn is_finite(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 15 |     pub fn is_infinite(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `values`, `preimage_count`, and `infinity_count` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest/function.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 23 | pub struct Function {
[INFO] [stdout]    |            -------- fields in this struct
[INFO] [stdout] 24 |     values: Vec<IntOrInf>,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 25 |     preimage_count: Vec<u32>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 26 |     infinity_count: u32,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:30:12
[INFO] [stdout]     |
[INFO] [stdout]  29 | impl Function {
[INFO] [stdout]     | ------------- associated items in this implementation
[INFO] [stdout]  30 |     pub fn new() -> Function {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  39 |     pub fn get_value(&self, input: u32) -> &IntOrInf {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  44 |     pub fn increase_value(&mut self, input: u32) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  69 |     pub fn set_infinite(&mut self, input: u32) {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  89 |     pub fn len(&self) -> u32 {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  99 |     pub fn preimage(&self, value: IntOrInf) -> FunctionPreImageIterator {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 112 |     pub fn preimage_gap(&self, gap_size: u32) -> u32 {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 |     fn increase_value_vector(&mut self, last_input: u32) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `FunctionPreImageIterator` is never constructed
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:136:12
[INFO] [stdout]     |
[INFO] [stdout] 136 | pub struct FunctionPreImageIterator<'a> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:143:8
[INFO] [stdout]     |
[INFO] [stdout] 142 | impl<'a> FunctionPreImageIterator<'a> {
[INFO] [stdout]     | ------------------------------------- associated function in this implementation
[INFO] [stdout] 143 |     fn new(function: &Function, value: IntOrInf) -> FunctionPreImageIterator {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Undefined`, `Verification`, `Equiv`, `Normal`, and `Reverse` are never constructed
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:8:5
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub enum RuleBucket {
[INFO] [stdout]    |          ---------- variants in this enum
[INFO] [stdout]  8 |     Undefined,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout]  9 |     Verification,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 10 |     Equiv,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout] 11 |     Normal,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] 12 |     Reverse,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `RuleBucket` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `rule_using_class` and `rule_pumping_class` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:16:5
[INFO] [stdout]    |
[INFO] [stdout] 15 | struct RuleClassConnector {
[INFO] [stdout]    |        ------------------ fields in this struct
[INFO] [stdout] 16 |     rule_using_class: HashMap<u32, Vec<(usize, usize)>>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 17 |     rule_pumping_class: HashMap<u32, Vec<usize>>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `add_rule_pumping_class`, `add_rule_using_class`, `get_rules_pumping_class`, `get_rules_using_class`, and `remove_class_information` are never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:21:12
[INFO] [stdout]    |
[INFO] [stdout] 20 | impl RuleClassConnector {
[INFO] [stdout]    | ----------------------- associated items in this implementation
[INFO] [stdout] 21 |     pub fn new() -> RuleClassConnector {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 28 |     pub fn add_rule_pumping_class(&mut self, class: u32, rule_idx: usize) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 |     pub fn add_rule_using_class(&mut self, class: u32, rule_idx: usize, child_idx: usize) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 38 |     pub fn get_rules_pumping_class(&self, class: u32) -> impl Iterator<Item = &usize> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 45 |     pub fn get_rules_using_class(&self, class: u32) -> impl Iterator<Item = &(usize, usize)> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 52 |     pub fn remove_class_information(&mut self, class: u32) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `key`, `get_bucket`, `get_parent`, and `iter_children` are never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:68:12
[INFO] [stdout]    |
[INFO] [stdout] 67 | impl ForestRuleKey {
[INFO] [stdout]    | ------------------ associated items in this implementation
[INFO] [stdout] 68 |     pub fn new(
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 82 |     pub fn key(&self) -> (&u32, &Vec<u32>) {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 86 |     pub fn get_bucket(&self) -> &RuleBucket {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 90 |     pub fn get_parent(&self) -> &u32 {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 94 |     pub fn iter_children(&self) -> Iter<u32> {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple fields are never read
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:100:5
[INFO] [stdout]     |
[INFO] [stdout]  99 | pub struct TableMethod {
[INFO] [stdout]     |            ----------- fields in this struct
[INFO] [stdout] 100 |     rules: Vec<ForestRuleKey>,
[INFO] [stdout]     |     ^^^^^
[INFO] [stdout] 101 |     shifts: Vec<Vec<Option<i8>>>,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 102 |     function: Function,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 103 |     gap_size: u32,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 104 |     // Both for rule using and rule pumping class
[INFO] [stdout] 105 |     rule_class_connector: RuleClassConnector,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 106 |     processing_queue: VecDeque<usize>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 107 |     current_gap: (u32, u32),
[INFO] [stdout]     |     ^^^^^^^^^^^
[INFO] [stdout] 108 |     rule_holding_extra_terms: HashSet<usize>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:112:12
[INFO] [stdout]     |
[INFO] [stdout] 111 | impl TableMethod {
[INFO] [stdout]     | ---------------- associated items in this implementation
[INFO] [stdout] 112 |     pub fn new() -> TableMethod {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 126 |     pub fn add_rule_key(&mut self, rule_key: ForestRuleKey) -> &ForestRuleKey {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 156 |     pub fn is_pumping(&self, class: u32) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 160 |     pub fn stable_subset(&self) -> impl Iterator<Item = u32> + '_ {
[INFO] [stdout]     |            ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 166 |     pub fn pumping_subuniverse(&self) -> impl Iterator<Item = &ForestRuleKey> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 175 |     pub fn into_pumping_subuniverse(self) -> impl Iterator<Item = ForestRuleKey> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 187 |     pub fn into_rules(self) -> impl Iterator<Item = ForestRuleKey> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 193 |     fn compute_shift(&self, rule_key: &ForestRuleKey) -> Vec<Option<i8>> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 220 |     fn correct_gap(&mut self) {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 232 |     fn process_queue(&mut self) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 250 |     fn can_give_terms(shifts: &Vec<Option<i8>>) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 258 |     fn increase_value(&mut self, class: u32, rule_idx: usize) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 299 |     fn set_infinite(&mut self, class: u32) {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/searcher/queue.rs:97:17
[INFO] [stdout]    |
[INFO] [stdout] 97 |     pub fn next(&mut self, last_wp_created_rule: Option<bool>) -> Option<WorkPacket<F>> {
[INFO] [stdout]    |                 ^^^^^^^^^ the lifetime is elided here                    ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 97 |     pub fn next(&mut self, last_wp_created_rule: Option<bool>) -> Option<WorkPacket<'_, F>> {
[INFO] [stdout]    |                                                                                     +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/searcher/ruledb/forest/function.rs:99:21
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub fn preimage(&self, value: IntOrInf) -> FunctionPreImageIterator {
[INFO] [stdout]    |                     ^^^^^                      ^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub fn preimage(&self, value: IntOrInf) -> FunctionPreImageIterator<'_> {
[INFO] [stdout]    |                                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:143:22
[INFO] [stdout]     |
[INFO] [stdout] 143 |     fn new(function: &Function, value: IntOrInf) -> FunctionPreImageIterator {
[INFO] [stdout]     |                      ^^^^^^^^^                      ^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 143 |     fn new(function: &Function, value: IntOrInf) -> FunctionPreImageIterator<'_> {
[INFO] [stdout]     |                                                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:94:26
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter_children(&self) -> Iter<u32> {
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter_children(&self) -> Iter<'_, u32> {
[INFO] [stdout]    |                                         +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `comb_class`
[INFO] [stdout]    --> src/searcher/queue.rs:166:29
[INFO] [stdout]     |
[INFO] [stdout] 166 |         fn decompose(&self, comb_class: &MockClass) -> Vec<MockClass> {
[INFO] [stdout]     |                             ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_comb_class`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `class`
[INFO] [stdout]    --> src/searcher/queue.rs:179:25
[INFO] [stdout]     |
[INFO] [stdout] 179 |         fn apply(&self, class: &MockClass) -> Vec<Rule<MockStrategy>> {
[INFO] [stdout]     |                         ^^^^^ help: if this is intentional, prefix it with an underscore: `_class`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:173:13
[INFO] [stdout]     |
[INFO] [stdout] 173 |         let mut f = Function::new();
[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] [stdout] warning: unused variable: `f`
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:173:13
[INFO] [stdout]     |
[INFO] [stdout] 173 |         let mut f = Function::new();
[INFO] [stdout]     |             ^^^^^ help: if this is intentional, prefix it with an underscore: `_f`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `class`
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:52:48
[INFO] [stdout]    |
[INFO] [stdout] 52 |     pub fn remove_class_information(&mut self, class: u32) {
[INFO] [stdout]    |                                                ^^^^^ help: if this is intentional, prefix it with an underscore: `_class`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:276:17
[INFO] [stdout]     |
[INFO] [stdout] 276 |             let mut shifts = self.shifts.get_mut(r_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:286:17
[INFO] [stdout]     |
[INFO] [stdout] 286 |             let mut shifts = self.shifts.get_mut(r_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:287:17
[INFO] [stdout]     |
[INFO] [stdout] 287 |             let mut current_shift = shifts.get_mut(class_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^^^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/searcher/ruledb/forest/table_method.rs:322:17
[INFO] [stdout]     |
[INFO] [stdout] 322 |             let mut shifts = self.shifts.get_mut(rule_idx).unwrap();
[INFO] [stdout]     |                 ----^^^^^^
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `start`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:23
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                       ^^^^^ help: if this is intentional, prefix it with an underscore: `_start`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ends`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:37
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                                     ^^^^ help: if this is intentional, prefix it with an underscore: `_ends`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rule`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:19:55
[INFO] [stdout]    |
[INFO] [stdout] 19 |     fn add(&mut self, start: usize, ends: Vec<usize>, rule: Rule<S>) {
[INFO] [stdout]    |                                                       ^^^^ help: if this is intentional, prefix it with an underscore: `_rule`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `root`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:25:9
[INFO] [stdout]    |
[INFO] [stdout] 25 |         root: usize,
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_root`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `classdb`
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:26:9
[INFO] [stdout]    |
[INFO] [stdout] 26 |         classdb: &classdb::ClassDB<S::ClassType>,
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_classdb`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `reverse` and `table_method` are never read
[INFO] [stdout]   --> src/searcher/ruledb/forest.rs:14:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | pub struct ForestRuleDB {
[INFO] [stdout]    |            ------------ fields in this struct
[INFO] [stdout] 14 |     reverse: bool,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 15 |     table_method: TableMethod,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `increase_value_vector` is never used
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:128:8
[INFO] [stdout]     |
[INFO] [stdout]  29 | impl Function {
[INFO] [stdout]     | ------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 128 |     fn increase_value_vector(&mut self, last_input: u32) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `remove_class_information` is never used
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:52:12
[INFO] [stdout]    |
[INFO] [stdout] 20 | impl RuleClassConnector {
[INFO] [stdout]    | ----------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 52 |     pub fn remove_class_information(&mut self, class: u32) {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/searcher/queue.rs:97:17
[INFO] [stdout]    |
[INFO] [stdout] 97 |     pub fn next(&mut self, last_wp_created_rule: Option<bool>) -> Option<WorkPacket<F>> {
[INFO] [stdout]    |                 ^^^^^^^^^ the lifetime is elided here                    ^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 97 |     pub fn next(&mut self, last_wp_created_rule: Option<bool>) -> Option<WorkPacket<'_, F>> {
[INFO] [stdout]    |                                                                                     +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/searcher/ruledb/forest/function.rs:99:21
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub fn preimage(&self, value: IntOrInf) -> FunctionPreImageIterator {
[INFO] [stdout]    |                     ^^^^^                      ^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                     |
[INFO] [stdout]    |                     the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 99 |     pub fn preimage(&self, value: IntOrInf) -> FunctionPreImageIterator<'_> {
[INFO] [stdout]    |                                                                        ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/searcher/ruledb/forest/function.rs:143:22
[INFO] [stdout]     |
[INFO] [stdout] 143 |     fn new(function: &Function, value: IntOrInf) -> FunctionPreImageIterator {
[INFO] [stdout]     |                      ^^^^^^^^^                      ^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                      |
[INFO] [stdout]     |                      the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 143 |     fn new(function: &Function, value: IntOrInf) -> FunctionPreImageIterator<'_> {
[INFO] [stdout]     |                                                                             ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/searcher/ruledb/forest/table_method.rs:94:26
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter_children(&self) -> Iter<u32> {
[INFO] [stdout]    |                          ^^^^^     ^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                          |
[INFO] [stdout]    |                          the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter_children(&self) -> Iter<'_, u32> {
[INFO] [stdout]    |                                         +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.57s
[INFO] running `Command { std: "docker" "inspect" "f3d4205a10e60f5f69fafeb13a779dc184a2abdb8d48fe5f47e936d30a4ad8c4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f3d4205a10e60f5f69fafeb13a779dc184a2abdb8d48fe5f47e936d30a4ad8c4", kill_on_drop: false }`
[INFO] [stdout] f3d4205a10e60f5f69fafeb13a779dc184a2abdb8d48fe5f47e936d30a4ad8c4
