# bitwright proof ledger v2. Generated; do not edit.
eqsat.assoc::add_assoc b1a1c5d5d4368602a3948288dda7cedb identity exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
eqsat.assoc::and_assoc a6dac3eab3d5100b8f6269e4c38ef69a identity exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
eqsat.assoc::mul_assoc 3366a1ba953d01f2c401c85a2eca8637 identity exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
eqsat.assoc::or_assoc 4602fbaa2dae70cb946194227c660bd5 identity exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
eqsat.assoc::xor_assoc 471dabdf17c97cb339c33ddc1f9cec85 identity exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
eqsat.cancel::add_neg 76a74581c9f069fcf4f14ec2ddc12c3e rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
eqsat.cancel::add_sub b1de5e386444f167d8d2a098fb690746 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
eqsat.cancel::add_zero 599e702c63b41fd4843f4695ce13d079 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
eqsat.cancel::mul_one cd1523eb8c4a794a92d1015e33f916cf rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
eqsat.cancel::mul_zero c131c8d0b6114e8b090d93b4a879cde1 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
eqsat.cancel::neg_neg 77eca4e946541931d90c23744ff8f380 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
eqsat.cancel::not_not ba770bc34ed529669796af4dfa5a1b25 rule exhaustive(inst=6,maxw=6,cases=126,fired=126) sampled(inst=22,cases=1408,fired=1408)
eqsat.cancel::sub_add c8b7d2785f4cc81cfc321cc7a676da67 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
eqsat.cancel::xor_xor 650f4ca05a0cbd0c0f4aef79184fd4f0 rule exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
eqsat.distrib::mul_add 3b2056d820d92e33a725c2409239d8d0 identity exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
eqsat.distrib_and::and_or 4542e6bb72f3117d1bc14319e6736588 identity exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
eqsat.distrib_and::and_xor 8b4256054208d835a6837c6d68fb8fe4 identity exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
eqsat.distrib_or::or_and 0d6510f8752f0f86ebf151e334b983bc identity exhaustive(inst=5,maxw=5,cases=37448,fired=37448) sampled(inst=22,cases=1408,fired=1408)
eqsat.negation::de_morgan_and 18512a9fb8ef7a8bb9eaef7daeaed141 identity exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
eqsat.negation::de_morgan_or b45963f09f1360fda9be22d308f88e7f identity exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
eqsat.negation::neg_add d42ca439cd3decf64875ebfb4f25845f identity exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
eqsat.negation::neg_mul 6455a62df271f72f1c2ab86addfd1b23 identity exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)
eqsat.negation::not_xor 79e6ff1c47f4b41560407e7cddb9550b identity exhaustive(inst=6,maxw=6,cases=5460,fired=5460) sampled(inst=22,cases=1408,fired=1408)