[INFO] fetching crate veripb 3.0.2... [INFO] checking veripb-3.0.2 against try#38c2997544af84fe301d600d6896397738163002 for pr-154205-1 [INFO] extracting crate veripb 3.0.2 into /workspace/builds/worker-2-tc2/source [INFO] started tweaking crates.io crate veripb 3.0.2 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate veripb 3.0.2 [INFO] tweaked toml for crates.io crate veripb 3.0.2 written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate veripb 3.0.2 on toolchain 38c2997544af84fe301d600d6896397738163002 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate veripb 3.0.2 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" "+38c2997544af84fe301d600d6896397738163002" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/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" "+38c2997544af84fe301d600d6896397738163002" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c2a1ab69ce19e399baec3a852d6fc37052deab0be10edb3dd8437b6299557ea7 [INFO] running `Command { std: "docker" "start" "-a" "c2a1ab69ce19e399baec3a852d6fc37052deab0be10edb3dd8437b6299557ea7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c2a1ab69ce19e399baec3a852d6fc37052deab0be10edb3dd8437b6299557ea7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c2a1ab69ce19e399baec3a852d6fc37052deab0be10edb3dd8437b6299557ea7", kill_on_drop: false }` [INFO] [stdout] c2a1ab69ce19e399baec3a852d6fc37052deab0be10edb3dd8437b6299557ea7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/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" "+38c2997544af84fe301d600d6896397738163002" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 073ce2f89ff975f31dfa4bbb8b10e7f421db5ff7ce65cd10e44273c583fe6e75 [INFO] running `Command { std: "docker" "start" "-a" "073ce2f89ff975f31dfa4bbb8b10e7f421db5ff7ce65cd10e44273c583fe6e75", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling unicode-ident v1.0.19 [INFO] [stderr] Compiling quote v1.0.41 [INFO] [stderr] Compiling libc v0.2.176 [INFO] [stderr] Compiling hashbrown v0.16.0 [INFO] [stderr] Compiling winnow v0.5.40 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Checking cfg-if v1.0.3 [INFO] [stderr] Compiling strsim v0.10.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling if_chain v1.0.3 [INFO] [stderr] Compiling libm v0.2.15 [INFO] [stderr] Compiling semver v1.0.27 [INFO] [stderr] Checking itertools v0.11.0 [INFO] [stderr] Compiling unicode-segmentation v1.12.0 [INFO] [stderr] Compiling malachite-nz v0.5.0 [INFO] [stderr] Checking ryu v1.0.20 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling paste v1.0.15 [INFO] [stderr] Compiling smartstring v1.0.1 [INFO] [stderr] Compiling find-msvc-tools v0.1.2 [INFO] [stderr] Compiling convert_case v0.8.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Checking anstyle-query v1.1.4 [INFO] [stderr] Compiling regex-syntax v0.8.6 [INFO] [stderr] Compiling rustc_version v0.4.1 [INFO] [stderr] Compiling cc v1.2.39 [INFO] [stderr] Checking anstream v0.6.20 [INFO] [stderr] Checking clap_lex v0.7.5 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling ordered-float v4.6.0 [INFO] [stderr] Compiling logos-codegen v0.15.1 [INFO] [stderr] Checking clap_builder v4.5.48 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking memmap2 v0.9.8 [INFO] [stderr] Checking bitflags v2.9.4 [INFO] [stderr] Checking linux-raw-sys v0.11.0 [INFO] [stderr] Checking fragile v2.0.1 [INFO] [stderr] Compiling indexmap v2.11.4 [INFO] [stderr] Checking by_address v1.2.1 [INFO] [stderr] Checking escape8259 v0.5.3 [INFO] [stderr] Checking glob v0.3.3 [INFO] [stderr] Compiling libmimalloc-sys v0.1.44 [INFO] [stderr] Compiling toml_edit v0.19.15 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking mimalloc v0.1.48 [INFO] [stderr] Checking tempfile v3.23.0 [INFO] [stderr] Checking malachite-base v0.5.0 [INFO] [stderr] Compiling proc-macro-crate v1.3.1 [INFO] [stderr] Compiling deluxe-core v0.5.0 [INFO] [stderr] Compiling derive_more-impl v1.0.0 [INFO] [stderr] Compiling thiserror-impl v2.0.17 [INFO] [stderr] Compiling clap_derive v4.5.47 [INFO] [stderr] Compiling git-version-macro v0.3.9 [INFO] [stderr] Compiling deluxe-macros v0.5.0 [INFO] [stderr] Checking git-version v0.3.9 [INFO] [stderr] Compiling logos-derive v0.15.1 [INFO] [stderr] Checking logos v0.15.1 [INFO] [stderr] Checking clap v4.5.48 [INFO] [stderr] Checking libtest-mimic v0.8.1 [INFO] [stderr] Checking derive_more v1.0.0 [INFO] [stderr] Checking thiserror v2.0.17 [INFO] [stderr] Compiling deluxe v0.5.0 [INFO] [stderr] Compiling parsel_derive v0.16.0 [INFO] [stderr] Compiling parsel v0.16.0 [INFO] [stderr] Compiling spire_enum_macros v0.7.1 [INFO] [stderr] Checking spire_enum v0.7.1 [INFO] [stderr] Checking malachite-bigint v0.5.0 [INFO] [stderr] Checking veripb-formula v0.1.2 [INFO] [stderr] Checking veripb-parser v0.1.2 [INFO] [stderr] Checking veripb-propagator v0.1.2 [INFO] [stderr] Checking veripb v3.0.2 (/opt/rustwide/workdir) [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/context.rs:137:16","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/database.rs:121:20","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/error.rs:17:12","p":3,"ph":4,"wa":0,"pa":0,"a":4,"pos":4,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/error.rs:35:16","p":1,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:43:16","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:143:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:169:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:170:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:328:20","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:362:32","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:417:32","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:421:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:436:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:457:20","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:493:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"/rustc/38c2997544af84fe301d600d6896397738163002/library/std/src/macros.rs:140:23","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:86:16","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:111:20","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:131:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:150:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:208:20","p":4,"ph":4,"wa":0,"pa":0,"a":4,"pos":3,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:236:20","p":5,"ph":5,"wa":0,"pa":0,"a":4,"pos":3,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:252:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:276:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:300:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:318:28","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:326:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:336:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:348:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:357:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:363:24","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":1,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:371:24","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:392:24","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:408:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:420:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:433:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:485:28","p":2,"ph":4,"wa":0,"pa":0,"a":4,"pos":4,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:509:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:530:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:536:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:562:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:594:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:646:28","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:679:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:688:20","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:752:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:800:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:842:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:911:24","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:935:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1103:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1112:28","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1141:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1156:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1214:28","p":4,"ph":4,"wa":0,"pa":0,"a":4,"pos":3,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1238:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1247:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1278:20","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1305:20","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1454:24","p":5,"ph":4,"wa":0,"pa":0,"a":4,"pos":2,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1476:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1489:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1503:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1516:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1541:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1554:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1561:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1596:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1638:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1659:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1671:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1705:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1741:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1753:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1770:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1786:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1800:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1825:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1841:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1862:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1876:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1901:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":1,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1917:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1938:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1952:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1977:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1996:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2014:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2030:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2047:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2064:20","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2080:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2093:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2116:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2126:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2158:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2200:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2247:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2281:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2316:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2342:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2374:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2397:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2416:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2440:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2457:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2548:36","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2591:28","p":5,"ph":4,"wa":0,"pa":0,"a":4,"pos":4,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2663:16","p":5,"ph":4,"wa":0,"pa":0,"a":4,"pos":3,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2770:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2785:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2797:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2814:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2829:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2844:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2853:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2891:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2917:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2962:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2999:24","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3018:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3031:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3059:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3071:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3095:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3130:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3179:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3212:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3236:20","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3251:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:135:26","p":1,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:139:16","p":1,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:143:39","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:144:49","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:145:55","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:148:16","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:160:16","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:172:16","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:182:45","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:183:56","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:184:48","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:185:38","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:186:42","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:187:38","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:188:45","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:189:42","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:190:48","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:191:49","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:192:37","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:193:37","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:194:39","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:195:38","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:196:36","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:197:38","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:198:36","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:26:51","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:27:51","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:93:12","p":5,"ph":5,"wa":0,"pa":0,"a":5,"pos":5,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":5,"a_opt":5,"sz_no_dedup":80,"sz_old":80,"sz_opt":80} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:260:44","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:264:50","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:272:28","p":4,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:290:28","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/context.rs:137:16","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:348:17","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/database.rs:121:20","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:26:23","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:35:42","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:36:47","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:75:12","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/error.rs:17:12","p":3,"ph":4,"wa":0,"pa":0,"a":4,"pos":4,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:410:51","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:411:60","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:412:58","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:414:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/error.rs:35:16","p":1,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:43:16","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:143:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:169:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:170:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:328:20","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:362:32","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:417:32","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:421:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:436:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:314:33","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:317:52","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:354:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:357:48","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:377:16","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:393:25","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:403:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:417:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:497:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:517:38","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:520:60","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/dom_strengthening.rs:87:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/dom_strengthening.rs:115:25","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:457:20","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/lexer.rs:493:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"/rustc/38c2997544af84fe301d600d6896397738163002/library/std/src/macros.rs:140:23","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:86:16","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:111:20","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:131:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:150:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:208:20","p":4,"ph":4,"wa":0,"pa":0,"a":4,"pos":3,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:236:20","p":5,"ph":5,"wa":0,"pa":0,"a":4,"pos":3,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:252:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:276:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:300:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:318:28","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:326:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:336:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:348:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:357:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:363:24","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":1,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:371:24","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:392:24","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:408:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:420:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:433:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:485:28","p":2,"ph":4,"wa":0,"pa":0,"a":4,"pos":4,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:509:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:530:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:536:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:562:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:594:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:646:28","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:679:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:688:20","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:752:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:800:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/equal_objective.rs:48:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:842:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/objective_update.rs:39:50","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/objective_update.rs:40:51","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:911:24","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:935:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1103:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1112:28","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1141:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1156:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1214:28","p":4,"ph":4,"wa":0,"pa":0,"a":4,"pos":3,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1238:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1247:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1278:20","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1305:20","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/objective_update.rs:184:21","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/objective_update.rs:190:21","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1454:24","p":5,"ph":4,"wa":0,"pa":0,"a":4,"pos":2,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/order_proof.rs:46:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1476:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/order_proof.rs:85:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1489:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"/rustc/38c2997544af84fe301d600d6896397738163002/library/core/src/macros/mod.rs:800:23","p":2,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:153:29","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1503:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1516:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1541:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1554:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1561:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1596:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1638:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1659:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1671:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1705:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1741:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1753:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:165:33","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:173:29","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:243:55","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:245:29","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:247:61","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1770:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:248:60","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1786:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/proof_by_contradiction.rs:35:33","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/proof_by_contradiction.rs:60:21","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1800:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/red_strengthening.rs:128:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1825:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1841:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1862:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1876:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1901:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":1,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1917:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1938:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1952:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1977:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:1996:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2014:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2030:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2047:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2064:20","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2080:24","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/red_strengthening.rs:144:33","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/red_strengthening.rs:190:21","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/red_strengthening.rs:200:25","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/red_strengthening.rs:214:25","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/rup.rs:63:17","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/rup.rs:64:17","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/rup.rs:74:28","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/rup.rs:84:28","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2093:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/scope.rs:17:44","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/scope.rs:18:47","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/solution_logging.rs:115:24","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2116:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2126:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2158:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2200:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/strengthening_to_core.rs:52:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/strengthening_to_core.rs:55:25","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/strengthening_to_core.rs:76:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules.rs:108:17","p":1,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2247:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2281:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2316:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2342:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2374:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/subproof_context.rs:214:17","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2397:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/subproof_context.rs:217:16","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/subproof_context.rs:239:21","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/subproof_context.rs:284:28","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/subproof_context.rs:321:33","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2416:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2440:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2457:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2548:36","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2591:28","p":5,"ph":4,"wa":0,"pa":0,"a":4,"pos":4,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2663:16","p":5,"ph":4,"wa":0,"pa":0,"a":4,"pos":3,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2770:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:88:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:89:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:96:20","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:157:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:207:29","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:232:16","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:241:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:54:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:60:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:74:8","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:80:8","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:98:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:113:43","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:144:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:156:17","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:161:17","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2785:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2797:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2814:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2829:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2844:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2853:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2891:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2917:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2962:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:2999:24","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3018:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3031:28","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3059:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3071:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3095:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3130:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3179:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3212:32","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3236:20","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/parser.rs:3251:24","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:135:26","p":1,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:139:16","p":1,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:143:39","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:144:49","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:145:55","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:148:16","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:160:16","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:172:16","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:182:45","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:183:56","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:184:48","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:185:38","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:186:42","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:187:38","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:188:45","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:189:42","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:190:48","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:191:49","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:192:37","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:193:37","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:194:39","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:195:38","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:196:36","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:197:38","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:19:12","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/parser/utils.rs:198:36","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:25:12","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:26:51","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:27:51","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:93:12","p":5,"ph":5,"wa":0,"pa":0,"a":5,"pos":5,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":5,"a_opt":5,"sz_no_dedup":80,"sz_old":80,"sz_opt":80} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:260:44","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:264:50","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:272:28","p":4,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:290:28","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/proofgoal.rs:348:17","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:38:12","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:41:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:26:23","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:35:42","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:45:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:52:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:65:8","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:78:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:90:12","p":4,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:97:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:104:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:120:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:124:8","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:133:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:136:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:168:12","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:177:8","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:181:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:184:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:193:8","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:218:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:36:47","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:75:12","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:410:51","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:411:60","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:412:58","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/conclusion.rs:414:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:314:33","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:317:52","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:354:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:357:48","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:223:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:243:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:253:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:257:12","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:273:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:276:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:279:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:298:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:301:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:384:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:388:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:395:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:403:12","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:424:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:441:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:473:12","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:476:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:377:16","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:393:25","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:403:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:417:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:497:24","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:517:38","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/deletion.rs:520:60","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/dom_strengthening.rs:87:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/dom_strengthening.rs:115:25","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/equal_objective.rs:48:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/objective_update.rs:39:50","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/objective_update.rs:40:51","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/objective_update.rs:184:21","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/objective_update.rs:190:21","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/order_proof.rs:46:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/order_proof.rs:85:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"/rustc/38c2997544af84fe301d600d6896397738163002/library/core/src/macros/mod.rs:800:23","p":2,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:153:29","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:165:33","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:173:29","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:243:55","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:245:29","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:247:61","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/output.rs:248:60","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/proof_by_contradiction.rs:35:33","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/proof_by_contradiction.rs:60:21","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/red_strengthening.rs:128:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/red_strengthening.rs:144:33","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/red_strengthening.rs:190:21","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/red_strengthening.rs:200:25","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/red_strengthening.rs:214:25","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/rup.rs:63:17","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/rup.rs:64:17","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/rup.rs:74:28","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/rup.rs:84:28","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/scope.rs:17:44","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/scope.rs:18:47","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/solution_logging.rs:115:24","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/strengthening_to_core.rs:52:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/strengthening_to_core.rs:55:25","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules/strengthening_to_core.rs:76:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/rules.rs:108:17","p":1,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/subproof_context.rs:214:17","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/subproof_context.rs:217:16","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/subproof_context.rs:239:21","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/subproof_context.rs:284:28","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/subproof_context.rs:321:33","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:88:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:89:28","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:96:20","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:157:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:207:29","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:232:16","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/verifier.rs:241:20","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:54:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:60:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:74:8","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:80:8","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:98:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:113:43","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:144:29","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:156:17","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/lib.rs:161:17","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:19:12","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:25:12","p":3,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:38:12","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:41:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:45:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:52:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:65:8","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:78:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:90:12","p":4,"ph":3,"wa":0,"pa":0,"a":3,"pos":3,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":3,"a_opt":3,"sz_no_dedup":48,"sz_old":48,"sz_opt":48} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:97:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:104:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:120:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:124:8","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:133:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:136:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:168:12","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:177:8","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:181:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:184:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:193:8","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:218:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:223:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:243:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:253:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:257:12","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:273:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:276:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:279:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:298:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:301:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:384:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:388:8","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:395:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:403:12","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":0,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:424:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:441:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:473:12","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/error.rs:476:12","p":2,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/bin/main.rs:15:8","p":3,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"veripb","loc":"src/bin/main.rs:15:8","p":3,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"integration","loc":"tests/integration.rs:25:16","p":3,"ph":2,"wa":0,"pa":0,"a":2,"pos":1,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"integration","loc":"tests/integration.rs:48:28","p":4,"ph":4,"wa":0,"pa":0,"a":4,"pos":2,"named":0,"cap":2,"ucap":2,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":4,"a_opt":4,"sz_no_dedup":64,"sz_old":64,"sz_opt":64} [INFO] [stderr] [FMTARGS] {"crate":"integration","loc":"tests/integration.rs:53:84","p":0,"ph":1,"wa":0,"pa":0,"a":1,"pos":0,"named":0,"cap":1,"ucap":1,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"integration","loc":"tests/integration.rs:60:32","p":2,"ph":2,"wa":0,"pa":0,"a":2,"pos":2,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":2,"a_opt":2,"sz_no_dedup":32,"sz_old":32,"sz_opt":32} [INFO] [stderr] [FMTARGS] {"crate":"integration","loc":"tests/integration.rs:103:12","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"integration","loc":"tests/integration.rs:151:20","p":1,"ph":1,"wa":0,"pa":0,"a":1,"pos":1,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":1,"a_opt":1,"sz_no_dedup":16,"sz_old":16,"sz_opt":16} [INFO] [stderr] [FMTARGS] {"crate":"integration","loc":"tests/integration.rs:172:26","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 40.19s [INFO] running `Command { std: "docker" "inspect" "073ce2f89ff975f31dfa4bbb8b10e7f421db5ff7ce65cd10e44273c583fe6e75", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "073ce2f89ff975f31dfa4bbb8b10e7f421db5ff7ce65cd10e44273c583fe6e75", kill_on_drop: false }` [INFO] [stdout] 073ce2f89ff975f31dfa4bbb8b10e7f421db5ff7ce65cd10e44273c583fe6e75