test2-clean (683B)
1 x00: 1 2 x01: 0 3 x02: 1 4 x03: 1 5 x04: 0 6 y00: 1 7 y01: 1 8 y02: 1 9 y03: 1 10 y04: 1 11 12 ntg ^ fgs -> mjb 13 y02 | x01 -> tnw 14 kwq | kpj -> z05 15 x00 | x03 -> fst 16 tgd ^ rvg -> z01 17 vdt | tnw -> bfw 18 bfw & frj -> z10 19 ffh | nrd -> bqk 20 y00 & y03 -> djm 21 y03 | y00 -> psh 22 bqk | frj -> z08 23 tnw | fst -> frj 24 gnj & tgd -> z11 25 bfw ^ mjb -> z00 26 x03 | x00 -> vdt 27 gnj & wpb -> z02 28 x04 & y00 -> kjc 29 djm | pbm -> qhw 30 nrd & vdt -> hwm 31 kjc & fst -> rvg 32 y04 | y02 -> fgs 33 y01 & x02 -> pbm 34 ntg | kjc -> kwq 35 psh ^ fgs -> tgd 36 qhw ^ tgd -> z09 37 pbm | djm -> kpj 38 x03 ^ y03 -> ffh 39 x00 ^ y04 -> ntg 40 bfw | bqk -> z06 41 nrd ^ fgs -> wpb 42 frj ^ qhw -> z04 43 bqk | frj -> z07 44 y03 | x01 -> nrd 45 hwm & bqk -> z03 46 tgd ^ rvg -> z12 47 tnw | pbm -> gnj