From 0b6a222015adfc73a37af379f8b57af1e2926d88 Mon Sep 17 00:00:00 2001 From: Maya Herrscher Date: Tue, 24 Dec 2024 17:09:01 +0100 Subject: [PATCH] Solution for day 24, trial and error --- 2024/day24/challenge | 0 2024/day24/code.py | 45 ++++ 2024/day24/example | 10 + 2024/day24/example1 | 47 ++++ 2024/day24/example2 | 19 ++ 2024/day24/input | 313 ++++++++++++++++++++++++ 2024/day24/input-swap | 313 ++++++++++++++++++++++++ 2024/day24/input2 | 313 ++++++++++++++++++++++++ 2024/day24/out | 556 ++++++++++++++++++++++++++++++++++++++++++ 2024/day24/out2 | 222 +++++++++++++++++ 10 files changed, 1838 insertions(+) create mode 100644 2024/day24/challenge create mode 100755 2024/day24/code.py create mode 100644 2024/day24/example create mode 100644 2024/day24/example1 create mode 100644 2024/day24/example2 create mode 100644 2024/day24/input create mode 100644 2024/day24/input-swap create mode 100644 2024/day24/input2 create mode 100644 2024/day24/out create mode 100644 2024/day24/out2 diff --git a/2024/day24/challenge b/2024/day24/challenge new file mode 100644 index 0000000..e69de29 diff --git a/2024/day24/code.py b/2024/day24/code.py new file mode 100755 index 0000000..ee75316 --- /dev/null +++ b/2024/day24/code.py @@ -0,0 +1,45 @@ +#!/usr/bin/env python3 + +import sys + + +def replace_ins(gate, gates, inp): + g0, f, g1 = gate.split(' ') + if g0 in inp and g1 in inp: return inp[g0] + ' ' + f + ' ' + inp[g1] + elif g0[0] not in ['x', 'y'] and g1[0] in ['x', 'y']: + return '(' + replace_ins(gates[g0], gates, inp) + ')' + ' ' + f + ' ' + inp[g1] + elif g0[0] in ['x', 'y'] and g1[0] not in ['x', 'y']: + return inp[g0] + ' ' + f + ' ' + '(' + replace_ins(gates[g1], gates, inp) + ')' + else: + return '(' + replace_ins(gates[g0], gates, inp) + ')' + ' ' + f + ' ' + '(' + replace_ins(gates[g1], gates, inp) + ')' + + +if __name__ == '__main__': + values, gates = open(sys.argv[1]).read().split('\n\n') + ins = {v.split(': ')[0]: v.split(': ')[1] for v in values.split('\n')} + gates = {g.split(' -> ')[1]: g.split(' -> ')[0].lower().replace('xor', '^') for g in gates.split('\n')[:-1]} + out = {} + for g in gates.keys(): + exec('out[g] = ' + replace_ins(gates[g], gates, ins)) + + # for g in gates.keys(): + # g0, f, g1 = gates[g].split(' ') + # print(g, g0, f, g1) + # print(out[g]) + + # challenge 1 + res1 = 0 + for (o,v) in sorted(out.items(),key=lambda x: x[0],reverse=True): + if o.startswith('z'): res1 = (res1 << 1) | v + print(f"challenge 1:\n{res1}\n") + + # challenge 2, empiric solution + x, y = 0, 0 + for bit in [int(v) for (o,v) in sorted(ins.items(),key=lambda x: x[0],reverse=True) if o.startswith('x')]: + x = (x << 1) | bit + for bit in [int(v) for (o,v) in sorted(ins.items(),key=lambda x: x[0],reverse=True) if o.startswith('y')]: + y = (y << 1) | bit + + res2 = ','.join(sorted(['dkr', 'z05', 'z15', 'htp', 'ggk', 'rhv', 'hhh', 'z20'])) + print(f"challenge 2:\n{res2}") + diff --git a/2024/day24/example b/2024/day24/example new file mode 100644 index 0000000..8e277c1 --- /dev/null +++ b/2024/day24/example @@ -0,0 +1,10 @@ +x00: 1 +x01: 1 +x02: 1 +y00: 0 +y01: 1 +y02: 0 + +x00 AND y00 -> z00 +x01 XOR y01 -> z01 +x02 OR y02 -> z02 diff --git a/2024/day24/example1 b/2024/day24/example1 new file mode 100644 index 0000000..94b6eed --- /dev/null +++ b/2024/day24/example1 @@ -0,0 +1,47 @@ +x00: 1 +x01: 0 +x02: 1 +x03: 1 +x04: 0 +y00: 1 +y01: 1 +y02: 1 +y03: 1 +y04: 1 + +ntg XOR fgs -> mjb +y02 OR x01 -> tnw +kwq OR kpj -> z05 +x00 OR x03 -> fst +tgd XOR rvg -> z01 +vdt OR tnw -> bfw +bfw AND frj -> z10 +ffh OR nrd -> bqk +y00 AND y03 -> djm +y03 OR y00 -> psh +bqk OR frj -> z08 +tnw OR fst -> frj +gnj AND tgd -> z11 +bfw XOR mjb -> z00 +x03 OR x00 -> vdt +gnj AND wpb -> z02 +x04 AND y00 -> kjc +djm OR pbm -> qhw +nrd AND vdt -> hwm +kjc AND fst -> rvg +y04 OR y02 -> fgs +y01 AND x02 -> pbm +ntg OR kjc -> kwq +psh XOR fgs -> tgd +qhw XOR tgd -> z09 +pbm OR djm -> kpj +x03 XOR y03 -> ffh +x00 XOR y04 -> ntg +bfw OR bqk -> z06 +nrd XOR fgs -> wpb +frj XOR qhw -> z04 +bqk OR frj -> z07 +y03 OR x01 -> nrd +hwm AND bqk -> z03 +tgd XOR rvg -> z12 +tnw OR pbm -> gnj diff --git a/2024/day24/example2 b/2024/day24/example2 new file mode 100644 index 0000000..dac43bf --- /dev/null +++ b/2024/day24/example2 @@ -0,0 +1,19 @@ +x00: 0 +x01: 1 +x02: 0 +x03: 1 +x04: 0 +x05: 1 +y00: 0 +y01: 0 +y02: 1 +y03: 1 +y04: 0 +y05: 1 + +x00 AND y00 -> z00 +x01 AND y01 -> z01 +x02 AND y02 -> z02 +x03 AND y03 -> z03 +x04 AND y04 -> z04 +x05 AND y05 -> z05 diff --git a/2024/day24/input b/2024/day24/input new file mode 100644 index 0000000..999a99e --- /dev/null +++ b/2024/day24/input @@ -0,0 +1,313 @@ +x00: 1 +x01: 0 +x02: 1 +x03: 1 +x04: 0 +x05: 0 +x06: 1 +x07: 1 +x08: 0 +x09: 1 +x10: 1 +x11: 1 +x12: 1 +x13: 0 +x14: 0 +x15: 1 +x16: 0 +x17: 0 +x18: 1 +x19: 1 +x20: 0 +x21: 1 +x22: 1 +x23: 0 +x24: 1 +x25: 0 +x26: 1 +x27: 1 +x28: 1 +x29: 1 +x30: 0 +x31: 0 +x32: 0 +x33: 0 +x34: 0 +x35: 0 +x36: 0 +x37: 1 +x38: 0 +x39: 0 +x40: 0 +x41: 0 +x42: 0 +x43: 1 +x44: 1 +y00: 1 +y01: 0 +y02: 0 +y03: 1 +y04: 1 +y05: 0 +y06: 0 +y07: 0 +y08: 0 +y09: 0 +y10: 0 +y11: 1 +y12: 0 +y13: 1 +y14: 1 +y15: 0 +y16: 1 +y17: 0 +y18: 1 +y19: 0 +y20: 0 +y21: 0 +y22: 1 +y23: 1 +y24: 0 +y25: 0 +y26: 1 +y27: 0 +y28: 0 +y29: 1 +y30: 0 +y31: 1 +y32: 1 +y33: 1 +y34: 0 +y35: 0 +y36: 0 +y37: 0 +y38: 1 +y39: 1 +y40: 0 +y41: 0 +y42: 0 +y43: 1 +y44: 1 + +x14 AND y14 -> cwj +dhf OR hrr -> gcs +y44 XOR x44 -> pfh +fqq OR hww -> bpg +wmd OR kvv -> jts +khg AND hdd -> nfn +y35 XOR x35 -> rpk +bhw XOR sth -> htp +x13 XOR y13 -> gnf +y39 AND x39 -> qwn +nhr XOR wks -> z19 +x40 AND y40 -> mpd +pvw AND fsf -> hsf +y29 AND x29 -> sbk +kqk OR shk -> gjs +swm OR rrk -> fww +x30 AND y30 -> bpn +mts XOR ntr -> z02 +y23 XOR x23 -> vsh +x07 XOR y07 -> cwh +jqq OR trc -> wrr +y14 XOR x14 -> khg +y12 XOR x12 -> fsf +x27 AND y27 -> tts +bjs AND vnp -> tsp +hcq OR pjv -> fvm +vsk XOR svf -> z42 +dwp AND fwn -> rsm +x30 XOR y30 -> bjs +y19 AND x19 -> pjv +x20 XOR y20 -> mvv +vpb XOR jmq -> z43 +tkd AND shd -> thc +nbw XOR wjn -> z38 +wjn AND nbw -> jqq +y17 XOR x17 -> hhm +dkr OR fdd -> bvc +qjh AND qcm -> mcd +x26 XOR y26 -> fwn +dsf AND tjv -> bsh +qjs AND ncw -> nhw +nsg XOR kkt -> z04 +hhb OR htp -> mqr +hgs XOR hhh -> z21 +wrr XOR htw -> z39 +cwh XOR tpd -> z07 +gcs XOR hdc -> dkr +rng AND mdw -> rhp +cwh AND tpd -> ddj +x43 AND y43 -> jjk +hhm AND jts -> swm +x04 AND y04 -> hrr +qhg OR jgj -> shd +y44 AND x44 -> kbb +gpb AND cwn -> prp +y42 AND x42 -> vcd +y38 AND x38 -> trc +mvv XOR fvm -> hhh +qjh XOR qcm -> z33 +y05 AND x05 -> z05 +pfh AND gqg -> khw +y03 XOR x03 -> tkd +x25 XOR y25 -> dwk +phm AND bjw -> bcm +y31 XOR x31 -> gpb +y28 AND x28 -> pcd +hdc AND gcs -> fdd +ffw XOR cjf -> z11 +y21 XOR x21 -> hgs +fcd XOR nkw -> z41 +kqs XOR vjk -> z22 +x36 AND y36 -> ggk +x34 XOR y34 -> tjv +y25 AND x25 -> cbg +x24 XOR y24 -> mdw +rpk AND rfs -> fkk +x24 AND y24 -> rwd +y11 AND x11 -> mdb +phm XOR bjw -> z40 +tsp OR bpn -> cwn +y29 XOR x29 -> nrv +nhw OR qdc -> qcm +tjv XOR dsf -> z34 +x21 AND y21 -> mvp +x08 AND y08 -> bnr +gqr OR mdb -> pvw +sfw AND gnf -> tsh +mfc AND gqf -> bwd +y35 AND x35 -> nbb +x09 XOR y09 -> csk +qfj OR mqg -> z20 +x22 AND y22 -> kqk +x08 XOR y08 -> wcg +y37 XOR x37 -> mfc +wrn XOR fww -> z18 +rvw OR rsm -> dnb +x23 AND y23 -> mcw +wwc OR hch -> ntr +x22 XOR y22 -> vjk +gqf XOR mfc -> z37 +sth AND bhw -> z15 +rng XOR mdw -> z24 +y04 XOR x04 -> kkt +fsf XOR pvw -> z12 +bpg XOR kpk -> z10 +x02 AND y02 -> qhg +x19 XOR y19 -> nhr +cbg OR srg -> dwp +pfh XOR gqg -> z44 +y00 AND x00 -> wsg +x33 XOR y33 -> qjh +jts XOR hhm -> z17 +y32 XOR x32 -> ncw +fww AND wrn -> gfq +qcn OR fjq -> vsk +nsg AND kkt -> dhf +y32 AND x32 -> qdc +bgf OR sfb -> tpd +dnb AND bsv -> bcn +y28 XOR x28 -> phk +tds AND mqr -> kvv +wtf OR qwn -> phm +pss XOR csk -> z09 +kwp OR sbk -> vnp +y26 AND x26 -> rvw +mvv AND fvm -> qfj +y15 AND x15 -> hhb +hbb XOR nrv -> z29 +dsn AND wcg -> rms +bnr OR rms -> pss +nfn OR cwj -> sth +mvp OR wms -> kqs +khg XOR hdd -> z14 +bwd OR rnr -> wjn +x18 AND y18 -> twv +rfs XOR rpk -> z35 +dwk AND fbs -> srg +prp OR dmf -> qjs +nbb OR fkk -> hpg +ncw XOR qjs -> z32 +pcd OR wff -> hbb +y43 XOR x43 -> jmq +hkg OR mcw -> rng +x09 AND y09 -> hww +y13 AND x13 -> fhs +qfg AND bvc -> bgf +y18 XOR x18 -> wrn +phk XOR rkf -> z28 +x06 XOR y06 -> qfg +y00 XOR x00 -> z00 +x16 XOR y16 -> tds +hgs AND hhh -> wms +fkc OR vcd -> vpb +y03 AND x03 -> rrr +thc OR rrr -> nsg +sfw XOR gnf -> z13 +bvc XOR qfg -> z06 +wsg AND pnw -> hch +y39 XOR x39 -> htw +x12 AND y12 -> npc +vjk AND kqs -> shk +ggk XOR hpg -> z36 +gjs XOR vsh -> z23 +ddj OR ktn -> dsn +x38 XOR y38 -> nbw +y33 AND x33 -> mqv +ggk AND hpg -> bqf +npc OR hsf -> sfw +y16 AND x16 -> wmd +vsh AND gjs -> hkg +x10 XOR y10 -> kpk +mcd OR mqv -> dsf +x05 XOR y05 -> hdc +wcg XOR dsn -> z08 +x41 XOR y41 -> nkw +mts AND ntr -> jgj +bcm OR mpd -> fcd +tds XOR mqr -> z16 +vsk AND svf -> fkc +x27 XOR y27 -> bsv +bqf OR rhv -> gqf +kbb OR khw -> z45 +nrv AND hbb -> kwp +csk AND pss -> fqq +y34 AND x34 -> cjq +x20 AND y20 -> mqg +tsh OR fhs -> hdd +wks AND nhr -> hcq +cjq OR bsh -> rfs +gfq OR twv -> wks +rwd OR rhp -> fbs +y37 AND x37 -> rnr +vfs OR jgd -> cjf +y31 AND x31 -> dmf +kpk AND bpg -> jgd +y36 XOR x36 -> rhv +y42 XOR x42 -> svf +bjs XOR vnp -> z30 +cst OR jjk -> gqg +y40 XOR x40 -> bjw +cjf AND ffw -> gqr +fcd AND nkw -> fjq +y01 XOR x01 -> pnw +dnb XOR bsv -> z27 +wsg XOR pnw -> z01 +y41 AND x41 -> qcn +y06 AND x06 -> sfb +gpb XOR cwn -> z31 +x02 XOR y02 -> mts +shd XOR tkd -> z03 +dwk XOR fbs -> z25 +y11 XOR x11 -> ffw +phk AND rkf -> wff +jmq AND vpb -> cst +bcn OR tts -> rkf +y07 AND x07 -> ktn +x17 AND y17 -> rrk +x10 AND y10 -> vfs +fwn XOR dwp -> z26 +x01 AND y01 -> wwc +htw AND wrr -> wtf +y15 XOR x15 -> bhw diff --git a/2024/day24/input-swap b/2024/day24/input-swap new file mode 100644 index 0000000..f7ac64b --- /dev/null +++ b/2024/day24/input-swap @@ -0,0 +1,313 @@ +x00: 1 +x01: 0 +x02: 1 +x03: 1 +x04: 0 +x05: 0 +x06: 1 +x07: 1 +x08: 0 +x09: 1 +x10: 1 +x11: 1 +x12: 1 +x13: 0 +x14: 0 +x15: 1 +x16: 0 +x17: 0 +x18: 1 +x19: 1 +x20: 0 +x21: 1 +x22: 1 +x23: 0 +x24: 1 +x25: 0 +x26: 1 +x27: 1 +x28: 1 +x29: 1 +x30: 0 +x31: 0 +x32: 0 +x33: 0 +x34: 0 +x35: 0 +x36: 0 +x37: 1 +x38: 0 +x39: 0 +x40: 0 +x41: 0 +x42: 0 +x43: 1 +x44: 1 +y00: 1 +y01: 0 +y02: 0 +y03: 1 +y04: 1 +y05: 0 +y06: 0 +y07: 0 +y08: 0 +y09: 0 +y10: 0 +y11: 1 +y12: 0 +y13: 1 +y14: 1 +y15: 0 +y16: 1 +y17: 0 +y18: 1 +y19: 0 +y20: 0 +y21: 0 +y22: 1 +y23: 1 +y24: 0 +y25: 0 +y26: 1 +y27: 0 +y28: 0 +y29: 1 +y30: 0 +y31: 1 +y32: 1 +y33: 1 +y34: 0 +y35: 0 +y36: 0 +y37: 0 +y38: 1 +y39: 1 +y40: 0 +y41: 0 +y42: 0 +y43: 1 +y44: 1 + +x14 AND y14 -> cwj +dhf OR hrr -> gcs +y44 XOR x44 -> pfh +fqq OR hww -> bpg +wmd OR kvv -> jts +khg AND hdd -> nfn +y35 XOR x35 -> rpk +bhw XOR sth -> htp +x13 XOR y13 -> gnf +y39 AND x39 -> qwn +nhr XOR wks -> z19 +x40 AND y40 -> mpd +pvw AND fsf -> hsf +y29 AND x29 -> sbk +kqk OR shk -> gjs +swm OR rrk -> fww +x30 AND y30 -> bpn +mts XOR ntr -> z02 +y23 XOR x23 -> vsh +x07 XOR y07 -> cwh +jqq OR trc -> wrr +y14 XOR x14 -> khg +y12 XOR x12 -> fsf +x27 AND y27 -> tts +bjs AND vnp -> tsp +hcq OR pjv -> fvm +vsk XOR svf -> z42 +dwp AND fwn -> rsm +x30 XOR y30 -> bjs +y19 AND x19 -> pjv +x20 XOR y20 -> qfg +vpb XOR jmq -> z43 +tkd AND shd -> thc +nbw XOR wjn -> z38 +wjn AND nbw -> jqq +y17 XOR x17 -> hhm +dkr OR fdd -> bvc +qjh AND qcm -> mcd +x26 XOR y26 -> fwn +dsf AND tjv -> bsh +qjs AND ncw -> nhw +nsg XOR kkt -> z04 +hhb OR htp -> mqr +hgs XOR hhh -> z21 +wrr XOR htw -> z39 +cwh XOR tpd -> z07 +gcs XOR hdc -> dkr +rng AND mdw -> rhp +cwh AND tpd -> ddj +x43 AND y43 -> jjk +hhm AND jts -> swm +x04 AND y04 -> hrr +qhg OR jgj -> shd +y44 AND x44 -> kbb +gpb AND cwn -> prp +y42 AND x42 -> vcd +y38 AND x38 -> trc +mvv XOR fvm -> hhh +qjh XOR qcm -> z33 +y05 AND x05 -> z15 +pfh AND gqg -> khw +y03 XOR x03 -> tkd +x25 XOR y25 -> dwk +phm AND bjw -> bcm +y31 XOR x31 -> gpb +y28 AND x28 -> pcd +hdc AND gcs -> fdd +ffw XOR cjf -> z11 +y21 XOR x21 -> hgs +fcd XOR nkw -> z41 +kqs XOR vjk -> z22 +x36 AND y36 -> ggk +x34 XOR y34 -> tjv +y25 AND x25 -> cbg +x24 XOR y24 -> mdw +rpk AND rfs -> fkk +x24 AND y24 -> rwd +y11 AND x11 -> mdb +phm XOR bjw -> z40 +tsp OR bpn -> cwn +y29 XOR x29 -> nrv +nhw OR qdc -> qcm +tjv XOR dsf -> z34 +x21 AND y21 -> mvp +x08 AND y08 -> bnr +gqr OR mdb -> pvw +sfw AND gnf -> tsh +mfc AND gqf -> bwd +y35 AND x35 -> nbb +x09 XOR y09 -> csk +qfj OR mqg -> z20 +x22 AND y22 -> kqk +x08 XOR y08 -> wcg +y37 XOR x37 -> mfc +wrn XOR fww -> z18 +rvw OR rsm -> dnb +x23 AND y23 -> mcw +wwc OR hch -> ntr +x22 XOR y22 -> vjk +gqf XOR mfc -> z37 +sth AND bhw -> z05 +rng XOR mdw -> z24 +y04 XOR x04 -> kkt +fsf XOR pvw -> z12 +bpg XOR kpk -> z10 +x02 AND y02 -> qhg +x19 XOR y19 -> nhr +cbg OR srg -> dwp +pfh XOR gqg -> z44 +y00 AND x00 -> wsg +x33 XOR y33 -> qjh +jts XOR hhm -> z16 +y32 XOR x32 -> ncw +fww AND wrn -> gfq +qcn OR fjq -> vsk +nsg AND kkt -> dhf +y32 AND x32 -> qdc +bgf OR sfb -> tpd +dnb AND bsv -> bcn +y28 XOR x28 -> phk +tds AND mqr -> kvv +wtf OR qwn -> phm +pss XOR csk -> z09 +kwp OR sbk -> vnp +y26 AND x26 -> rvw +mvv AND fvm -> qfj +y15 AND x15 -> hhb +hbb XOR nrv -> z29 +dsn AND wcg -> rms +bnr OR rms -> pss +nfn OR cwj -> sth +mvp OR wms -> kqs +khg XOR hdd -> z14 +bwd OR rnr -> wjn +x18 AND y18 -> twv +rfs XOR rpk -> z35 +dwk AND fbs -> srg +prp OR dmf -> qjs +nbb OR fkk -> hpg +ncw XOR qjs -> z32 +pcd OR wff -> hbb +y43 XOR x43 -> jmq +hkg OR mcw -> rng +x09 AND y09 -> hww +y13 AND x13 -> fhs +qfg AND bvc -> bgf +y18 XOR x18 -> wrn +phk XOR rkf -> z28 +x06 XOR y06 -> mvv +y00 XOR x00 -> z00 +x16 XOR y16 -> tds +hgs AND hhh -> wms +fkc OR vcd -> vpb +y03 AND x03 -> rrr +thc OR rrr -> nsg +sfw XOR gnf -> z13 +bvc XOR qfg -> z06 +wsg AND pnw -> hch +y39 XOR x39 -> htw +x12 AND y12 -> npc +vjk AND kqs -> shk +ggk XOR hpg -> z36 +gjs XOR vsh -> z23 +ddj OR ktn -> dsn +x38 XOR y38 -> nbw +y33 AND x33 -> mqv +ggk AND hpg -> bqf +npc OR hsf -> sfw +y16 AND x16 -> wmd +vsh AND gjs -> hkg +x10 XOR y10 -> kpk +mcd OR mqv -> dsf +x05 XOR y05 -> hdc +wcg XOR dsn -> z08 +x41 XOR y41 -> nkw +mts AND ntr -> jgj +bcm OR mpd -> fcd +tds XOR mqr -> z17 +vsk AND svf -> fkc +x27 XOR y27 -> bsv +bqf OR rhv -> gqf +kbb OR khw -> z45 +nrv AND hbb -> kwp +csk AND pss -> fqq +y34 AND x34 -> cjq +x20 AND y20 -> mqg +tsh OR fhs -> hdd +wks AND nhr -> hcq +cjq OR bsh -> rfs +gfq OR twv -> wks +rwd OR rhp -> fbs +y37 AND x37 -> rnr +vfs OR jgd -> cjf +y31 AND x31 -> dmf +kpk AND bpg -> jgd +y36 XOR x36 -> rhv +y42 XOR x42 -> svf +bjs XOR vnp -> z30 +cst OR jjk -> gqg +y40 XOR x40 -> bjw +cjf AND ffw -> gqr +fcd AND nkw -> fjq +y01 XOR x01 -> pnw +dnb XOR bsv -> z27 +wsg XOR pnw -> z01 +y41 AND x41 -> qcn +y06 AND x06 -> sfb +gpb XOR cwn -> z31 +x02 XOR y02 -> mts +shd XOR tkd -> z03 +dwk XOR fbs -> z25 +y11 XOR x11 -> ffw +phk AND rkf -> wff +jmq AND vpb -> cst +bcn OR tts -> rkf +y07 AND x07 -> ktn +x17 AND y17 -> rrk +x10 AND y10 -> vfs +fwn XOR dwp -> z26 +x01 AND y01 -> wwc +htw AND wrr -> wtf +y15 XOR x15 -> bhw diff --git a/2024/day24/input2 b/2024/day24/input2 new file mode 100644 index 0000000..8358682 --- /dev/null +++ b/2024/day24/input2 @@ -0,0 +1,313 @@ +x00: 1 +x01: 1 +x02: 1 +x03: 1 +x04: 0 +x05: 0 +x06: 0 +x07: 0 +x08: 1 +x09: 0 +x10: 0 +x11: 1 +x12: 0 +x13: 1 +x14: 0 +x15: 1 +x16: 0 +x17: 0 +x18: 0 +x19: 0 +x20: 1 +x21: 1 +x22: 0 +x23: 1 +x24: 0 +x25: 0 +x26: 0 +x27: 0 +x28: 1 +x29: 0 +x30: 1 +x31: 0 +x32: 0 +x33: 0 +x34: 0 +x35: 0 +x36: 0 +x37: 0 +x38: 0 +x39: 1 +x40: 0 +x41: 0 +x42: 0 +x43: 0 +x44: 1 +y00: 1 +y01: 1 +y02: 0 +y03: 0 +y04: 0 +y05: 1 +y06: 0 +y07: 0 +y08: 1 +y09: 0 +y10: 0 +y11: 0 +y12: 0 +y13: 0 +y14: 1 +y15: 0 +y16: 0 +y17: 0 +y18: 0 +y19: 0 +y20: 1 +y21: 1 +y22: 1 +y23: 0 +y24: 0 +y25: 1 +y26: 1 +y27: 1 +y28: 1 +y29: 1 +y30: 1 +y31: 1 +y32: 1 +y33: 1 +y34: 1 +y35: 1 +y36: 1 +y37: 1 +y38: 1 +y39: 1 +y40: 1 +y41: 1 +y42: 1 +y43: 1 +y44: 1 + +x14 AND y14 -> cwj +dhf OR hrr -> gcs +y44 XOR x44 -> pfh +fqq OR hww -> bpg +wmd OR kvv -> jts +khg AND hdd -> nfn +y35 XOR x35 -> rpk +bhw XOR sth -> z15 +x13 XOR y13 -> gnf +y39 AND x39 -> qwn +nhr XOR wks -> z19 +x40 AND y40 -> mpd +pvw AND fsf -> hsf +y29 AND x29 -> sbk +kqk OR shk -> gjs +swm OR rrk -> fww +x30 AND y30 -> bpn +mts XOR ntr -> z02 +y23 XOR x23 -> vsh +x07 XOR y07 -> cwh +jqq OR trc -> wrr +y14 XOR x14 -> khg +y12 XOR x12 -> fsf +x27 AND y27 -> tts +bjs AND vnp -> tsp +hcq OR pjv -> fvm +vsk XOR svf -> z42 +dwp AND fwn -> rsm +x30 XOR y30 -> bjs +y19 AND x19 -> pjv +x20 XOR y20 -> mvv +vpb XOR jmq -> z43 +tkd AND shd -> thc +nbw XOR wjn -> z38 +wjn AND nbw -> jqq +y17 XOR x17 -> hhm +dkr OR fdd -> bvc +qjh AND qcm -> mcd +x26 XOR y26 -> fwn +dsf AND tjv -> bsh +qjs AND ncw -> nhw +nsg XOR kkt -> z04 +hhb OR htp -> mqr +hgs XOR hhh -> z21 +wrr XOR htw -> z39 +cwh XOR tpd -> z07 +gcs XOR hdc -> z05 +rng AND mdw -> rhp +cwh AND tpd -> ddj +x43 AND y43 -> jjk +hhm AND jts -> swm +x04 AND y04 -> hrr +qhg OR jgj -> shd +y44 AND x44 -> kbb +gpb AND cwn -> prp +y42 AND x42 -> vcd +y38 AND x38 -> trc +mvv XOR fvm -> z20 +qjh XOR qcm -> z33 +y05 AND x05 -> dkr +pfh AND gqg -> khw +y03 XOR x03 -> tkd +x25 XOR y25 -> dwk +phm AND bjw -> bcm +y31 XOR x31 -> gpb +y28 AND x28 -> pcd +hdc AND gcs -> fdd +ffw XOR cjf -> z11 +y21 XOR x21 -> hgs +fcd XOR nkw -> z41 +kqs XOR vjk -> z22 +x36 AND y36 -> rhv +x34 XOR y34 -> tjv +y25 AND x25 -> cbg +x24 XOR y24 -> mdw +rpk AND rfs -> fkk +x24 AND y24 -> rwd +y11 AND x11 -> mdb +phm XOR bjw -> z40 +tsp OR bpn -> cwn +y29 XOR x29 -> nrv +nhw OR qdc -> qcm +tjv XOR dsf -> z34 +x21 AND y21 -> mvp +x08 AND y08 -> bnr +gqr OR mdb -> pvw +sfw AND gnf -> tsh +mfc AND gqf -> bwd +y35 AND x35 -> nbb +x09 XOR y09 -> csk +qfj OR mqg -> hhh +x22 AND y22 -> kqk +x08 XOR y08 -> wcg +y37 XOR x37 -> mfc +wrn XOR fww -> z18 +rvw OR rsm -> dnb +x23 AND y23 -> mcw +wwc OR hch -> ntr +x22 XOR y22 -> vjk +gqf XOR mfc -> z37 +sth AND bhw -> htp +rng XOR mdw -> z24 +y04 XOR x04 -> kkt +fsf XOR pvw -> z12 +bpg XOR kpk -> z10 +x02 AND y02 -> qhg +x19 XOR y19 -> nhr +cbg OR srg -> dwp +pfh XOR gqg -> z44 +y00 AND x00 -> wsg +x33 XOR y33 -> qjh +jts XOR hhm -> z17 +y32 XOR x32 -> ncw +fww AND wrn -> gfq +qcn OR fjq -> vsk +nsg AND kkt -> dhf +y32 AND x32 -> qdc +bgf OR sfb -> tpd +dnb AND bsv -> bcn +y28 XOR x28 -> phk +tds AND mqr -> kvv +wtf OR qwn -> phm +pss XOR csk -> z09 +kwp OR sbk -> vnp +y26 AND x26 -> rvw +mvv AND fvm -> qfj +y15 AND x15 -> hhb +hbb XOR nrv -> z29 +dsn AND wcg -> rms +bnr OR rms -> pss +nfn OR cwj -> sth +mvp OR wms -> kqs +khg XOR hdd -> z14 +bwd OR rnr -> wjn +x18 AND y18 -> twv +rfs XOR rpk -> z35 +dwk AND fbs -> srg +prp OR dmf -> qjs +nbb OR fkk -> hpg +ncw XOR qjs -> z32 +pcd OR wff -> hbb +y43 XOR x43 -> jmq +hkg OR mcw -> rng +x09 AND y09 -> hww +y13 AND x13 -> fhs +qfg AND bvc -> bgf +y18 XOR x18 -> wrn +phk XOR rkf -> z28 +x06 XOR y06 -> qfg +y00 XOR x00 -> z00 +x16 XOR y16 -> tds +hgs AND hhh -> wms +fkc OR vcd -> vpb +y03 AND x03 -> rrr +thc OR rrr -> nsg +sfw XOR gnf -> z13 +bvc XOR qfg -> z06 +wsg AND pnw -> hch +y39 XOR x39 -> htw +x12 AND y12 -> npc +vjk AND kqs -> shk +ggk XOR hpg -> z36 +gjs XOR vsh -> z23 +ddj OR ktn -> dsn +x38 XOR y38 -> nbw +y33 AND x33 -> mqv +ggk AND hpg -> bqf +npc OR hsf -> sfw +y16 AND x16 -> wmd +vsh AND gjs -> hkg +x10 XOR y10 -> kpk +mcd OR mqv -> dsf +x05 XOR y05 -> hdc +wcg XOR dsn -> z08 +x41 XOR y41 -> nkw +mts AND ntr -> jgj +bcm OR mpd -> fcd +tds XOR mqr -> z16 +vsk AND svf -> fkc +x27 XOR y27 -> bsv +bqf OR rhv -> gqf +kbb OR khw -> z45 +nrv AND hbb -> kwp +csk AND pss -> fqq +y34 AND x34 -> cjq +x20 AND y20 -> mqg +tsh OR fhs -> hdd +wks AND nhr -> hcq +cjq OR bsh -> rfs +gfq OR twv -> wks +rwd OR rhp -> fbs +y37 AND x37 -> rnr +vfs OR jgd -> cjf +y31 AND x31 -> dmf +kpk AND bpg -> jgd +y36 XOR x36 -> ggk +y42 XOR x42 -> svf +bjs XOR vnp -> z30 +cst OR jjk -> gqg +y40 XOR x40 -> bjw +cjf AND ffw -> gqr +fcd AND nkw -> fjq +y01 XOR x01 -> pnw +dnb XOR bsv -> z27 +wsg XOR pnw -> z01 +y41 AND x41 -> qcn +y06 AND x06 -> sfb +gpb XOR cwn -> z31 +x02 XOR y02 -> mts +shd XOR tkd -> z03 +dwk XOR fbs -> z25 +y11 XOR x11 -> ffw +phk AND rkf -> wff +jmq AND vpb -> cst +bcn OR tts -> rkf +y07 AND x07 -> ktn +x17 AND y17 -> rrk +x10 AND y10 -> vfs +fwn XOR dwp -> z26 +x01 AND y01 -> wwc +htw AND wrr -> wtf +y15 XOR x15 -> bhw diff --git a/2024/day24/out b/2024/day24/out new file mode 100644 index 0000000..5ec65a0 --- /dev/null +++ b/2024/day24/out @@ -0,0 +1,556 @@ +x+y xor result = 11100111000000111100000 +-> wrong outputs: ... + 5432109876543210987654321098765432109876543210 +x + y = 1100001110001111100010001100100000011011100110 +result = 1100001110001111100010010000011000011100000110 +(... z2 z1 z0) +-> z 5, 6, 7, 8, 15, 16, 17, 20, 21, 22 + +// z20 (0->1) qfj or mqg +// z21 (0->1) hgs ^ hhh +// z22 (1->0) kqs ^ vjk + +z15 (1->0) sth and bhw +z16 (1->0) tds ^ mqr +z17 (0->1) jts ^ hhm + +z05 (0->1) y05 and x05 -> mit anderem z Gatter tauschen (z.B. z 8, 15, 16, 22) +z06 (0->1) bvc ^ qfg +z07 (0->1) cwh ^ tpd (cwh 1->0) +// z08 (1->0) wcg ^ dsn + +---- + + + +SWAP: +qfg and mvv (z06, z07, z08, z20, z21, z22) +z05 and z15 +z16 and z17 +WORKS ON ONE EXAMPLE +---- + +z06 (0->1) (dkr or fdd) ^ 1 +dkr = gcs ^ hdc = 1 +fdd = hdc and gcs = 0 +hdc = 0, gcs = 1 +gcs = dhf or hrr = 1 -> 0 +dhf nsg and kkt +1 +hrr x04 and y04 +0 + +z07 (0->1) 1 ^ (bgf or sfb) +bgf = qfg and bvc = 1 -> 0 +sfb = 0 + +// 2 gates: qfg = 1 -> 0 + + +z08 (1->0) 0 ^ (ddj or ktn -> 0) +ddj = cwh and tpd = 1 -> 0 +ktn = 0 + +z15 (1->0) (nfn or cwj) and 1 +nfn = khg and hdd = 1 -> 0 +cwj = 0 -> 0 + +z16 (1->0) 1 ^ (hhb or htp -> 1) +hhb = 0 +htp = bhw ^ sth = 0 -> 1 +bhw = 1 +sth = nfn or cwj = 1 -> 0 + +// sth 1->0 : z16 and z15 + +z17 (0->1) (wmd or kvv -> 1) ^ 0 +wmd y16 and x16 +kvv = tds and mqr = 0 + + +z20 (0->1) (mvv and fvm -> 1) or 0 +z21 (0->1) 1 ^ (mvv ^ fvm -> 0) +fvm = hcq or pjv = 1 + +// 2 gates: mvv = 0 -> 1 + +-> z22 (1->0) (mvp or wms) ^ 0 +wms = hgs and hhh = 1 -> 0 +hgs y21 ^ x21 +mvp = x21 and y21 +hhh mvv ^ fvm +mvv x20 ^ y20 +fvm = hcq or pjv = 1 +1 + +hhh <> wms ? +---- +z01 +z01 wsg ^ pnw =1 +wsg y00 and x00 = 1 +pnw y01 ^ x01 = 0 + +z02 +z02 mts ^ ntr = 1 +mts x02 ^ y02 = 1 +ntr wwc or hch = 0 +wwc x01 and y01 = 0 +hch wsg and pnw +____ + +z06 (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)))) ^ 1 +z07 1 ^ (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1)) +z08 (0 ^ 0) ^ (((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) + +z15 (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1)) and 1 +z16 1 ^ ((0 and 1) or ((0 ^ 1) ^ (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1)))) +z17 ((1 and 0) or ((0 ^ 1) and ((0 and 1) or ((0 ^ 1) ^ (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1)))))) ^ 0 + +z20 ((0 ^ 0) and (((((((0 ^ 0) and ((1 and 0) or ((0 ^ 1) and ((0 and 1) or ((0 ^ 1) ^ (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1))))))) or (0 and 0)) and (1 ^ 1)) or (1 and 1)) and (1 ^ 0)) or (0 and 1))) or 0 +z21 (1) ^ ((0 ^ 0) ^ (((((((0 ^ 0) and ((1 and 0) or ((0 ^ 1) and ((0 and 1) or ((0 ^ 1) ^ (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1))))))) or (0 and 0)) and (1 ^ 1)) or (1 and 1)) and (1 ^ 0)) or (0 and 1))) +z22 ((1 and 0) or ((0 ^ 1) and ((0 ^ 0) ^ (((((((0 ^ 0) and ((1 and 0) or ((0 ^ 1) and ((0 and 1) or ((0 ^ 1) ^ (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1))))))) or (0 and 0)) and (1 ^ 1)) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) ^ (0) + +cwj x14 and y14 +0 +gcs dhf or hrr +1 +pfh y44 ^ x44 +0 +bpg fqq or hww +0 +jts wmd or kvv +0 +nfn khg and hdd +1 +rpk y35 ^ x35 +0 +htp bhw ^ sth +0 +gnf x13 ^ y13 +1 +qwn y39 and x39 +0 +z19 nhr ^ wks +0 +mpd x40 and y40 +0 +hsf pvw and fsf +1 +sbk y29 and x29 +1 +gjs kqk or shk +1 +fww swm or rrk +0 +bpn x30 and y30 +0 +z02 mts ^ ntr +1 +vsh y23 ^ x23 +1 +cwh x07 ^ y07 +1 +wrr jqq or trc +0 +khg y14 ^ x14 +1 +fsf y12 ^ x12 +1 +tts x27 and y27 +0 +tsp bjs and vnp +0 +fvm hcq or pjv +1 +z42 vsk ^ svf +0 +rsm dwp and fwn +0 +bjs x30 ^ y30 +0 +pjv y19 and x19 +0 +mvv x20 ^ y20 +0 +z43 vpb ^ jmq +0 +thc tkd and shd +0 +z38 nbw ^ wjn +1 +jqq wjn and nbw +0 +hhm y17 ^ x17 +0 +bvc dkr or fdd +1 +mcd qjh and qcm +0 +fwn x26 ^ y26 +0 +bsh dsf and tjv +0 +nhw qjs and ncw +0 +z04 nsg ^ kkt +0 +mqr hhb or htp +0 +z21 hgs ^ hhh +0 +z39 wrr ^ htw +1 +z07 cwh ^ tpd +0 +dkr gcs ^ hdc +1 +rhp rng and mdw +1 +ddj cwh and tpd +1 +jjk x43 and y43 +1 +swm hhm and jts +0 +hrr x04 and y04 +0 +shd qhg or jgj +0 +kbb y44 and x44 +1 +prp gpb and cwn +0 +vcd y42 and x42 +0 +trc y38 and x38 +0 +hhh mvv ^ fvm +1 +z33 qjh ^ qcm +1 +z05 y05 and x05 +0 +khw pfh and gqg +0 +tkd y03 ^ x03 +0 +dwk x25 ^ y25 +0 +bcm phm and bjw +0 +gpb y31 ^ x31 +1 +pcd y28 and x28 +0 +fdd hdc and gcs +0 +z11 ffw ^ cjf +0 +hgs y21 ^ x21 +1 +z41 fcd ^ nkw +0 +z22 kqs ^ vjk +1 +ggk x36 and y36 +0 +tjv x34 ^ y34 +0 +cbg y25 and x25 +0 +mdw x24 ^ y24 +1 +fkk rpk and rfs +0 +rwd x24 and y24 +0 +mdb y11 and x11 +1 +z40 phm ^ bjw +0 +cwn tsp or bpn +0 +nrv y29 ^ x29 +0 +qcm nhw or qdc +0 +z34 tjv ^ dsf +0 +mvp x21 and y21 +0 +bnr x08 and y08 +0 +pvw gqr or mdb +1 +tsh sfw and gnf +1 +bwd mfc and gqf +0 +nbb y35 and x35 +0 +csk x09 ^ y09 +1 +z20 qfj or mqg +0 +kqk x22 and y22 +1 +wcg x08 ^ y08 +0 +mfc y37 ^ x37 +1 +z18 wrn ^ fww +0 +dnb rvw or rsm +1 +mcw x23 and y23 +0 +ntr wwc or hch +0 +vjk x22 ^ y22 +0 +z37 gqf ^ mfc +1 +z15 sth and bhw +1 +z24 rng ^ mdw +0 +kkt y04 ^ x04 +1 +z12 fsf ^ pvw +0 +z10 bpg ^ kpk +1 +qhg x02 and y02 +0 +nhr x19 ^ y19 +1 +dwp cbg or srg +0 +z44 pfh ^ gqg +1 +wsg y00 and x00 +1 +qjh x33 ^ y33 +1 +z17 jts ^ hhm +0 +ncw y32 ^ x32 +1 +gfq fww and wrn +0 +vsk qcn or fjq +0 +dhf nsg and kkt +1 +qdc y32 and x32 +0 +tpd bgf or sfb +1 +bcn dnb and bsv +1 +phk y28 ^ x28 +1 +kvv tds and mqr +0 +phm wtf or qwn +0 +z09 pss ^ csk +1 +vnp kwp or sbk +1 +rvw y26 and x26 +1 +qfj mvv and fvm +0 +hhb y15 and x15 +0 +z29 hbb ^ nrv +1 +rms dsn and wcg +0 +pss bnr or rms +0 +sth nfn or cwj +1 +kqs mvp or wms +1 +z14 khg ^ hdd +0 +wjn bwd or rnr +0 +twv x18 and y18 +1 +z35 rfs ^ rpk +0 +srg dwk and fbs +0 +qjs prp or dmf +0 +hpg nbb or fkk +0 +z32 ncw ^ qjs +1 +hbb pcd or wff +1 +jmq y43 ^ x43 +0 +rng hkg or mcw +1 +hww x09 and y09 +0 +fhs y13 and x13 +0 +bgf qfg and bvc +1 +wrn y18 ^ x18 +0 +z28 phk ^ rkf +0 +qfg x06 ^ y06 +1 +z00 y00 ^ x00 +0 +tds x16 ^ y16 +1 +wms hgs and hhh +1 +vpb fkc or vcd +0 +rrr y03 and x03 +1 +nsg thc or rrr +1 +z13 sfw ^ gnf +0 +z06 bvc ^ qfg +0 +hch wsg and pnw +0 +htw y39 ^ x39 +1 +npc x12 and y12 +0 +shk vjk and kqs +0 +z36 ggk ^ hpg +0 +z23 gjs ^ vsh +0 +dsn ddj or ktn +1 +nbw x38 ^ y38 +1 +mqv y33 and x33 +0 +bqf ggk and hpg +0 +sfw npc or hsf +1 +wmd y16 and x16 +0 +hkg vsh and gjs +1 +kpk x10 ^ y10 +1 +dsf mcd or mqv +0 +hdc x05 ^ y05 +0 +z08 wcg ^ dsn +1 +nkw x41 ^ y41 +0 +jgj mts and ntr +0 +fcd bcm or mpd +0 +z16 tds ^ mqr +1 +fkc vsk and svf +0 +bsv x27 ^ y27 +1 +gqf bqf or rhv +0 +z45 kbb or khw +1 +kwp nrv and hbb +0 +fqq csk and pss +0 +cjq y34 and x34 +0 +mqg x20 and y20 +0 +hdd tsh or fhs +1 +hcq wks and nhr +1 +rfs cjq or bsh +0 +wks gfq or twv +1 +fbs rwd or rhp +1 +rnr y37 and x37 +0 +cjf vfs or jgd +0 +dmf y31 and x31 +0 +jgd kpk and bpg +0 +rhv y36 ^ x36 +0 +svf y42 ^ x42 +0 +z30 bjs ^ vnp +1 +gqg cst or jjk +1 +bjw y40 ^ x40 +0 +gqr cjf and ffw +0 +fjq fcd and nkw +0 +pnw y01 ^ x01 +0 +z27 dnb ^ bsv +0 +z01 wsg ^ pnw +1 +qcn y41 and x41 +0 +sfb y06 and x06 +0 +z31 gpb ^ cwn +1 +mts x02 ^ y02 +1 +z03 shd ^ tkd +0 +z25 dwk ^ fbs +1 +ffw y11 ^ x11 +0 +wff phk and rkf +1 +cst jmq and vpb +0 +rkf bcn or tts +1 +ktn y07 and x07 +0 +rrk x17 and y17 +0 +vfs x10 and y10 +0 +z26 fwn ^ dwp +0 +wwc x01 and y01 +0 +wtf htw and wrr +0 +bhw y15 ^ x15 +1 diff --git a/2024/day24/out2 b/2024/day24/out2 new file mode 100644 index 0000000..a203532 --- /dev/null +++ b/2024/day24/out2 @@ -0,0 +1,222 @@ +bcm (((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40) +bcn ((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27) +bgf (x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)))) +bhw y15 ^ x15 +bjs x30 ^ y30 +bjw y40 ^ x40 +bnr x08 and y08 +bpg ((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09) +bpn x30 and y30 +bqf (x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34))))) +bsh (((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34) +bsv x27 ^ y27 +bvc ((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))) +bwd (y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36)) +cbg y25 and x25 +cjf (x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09))) +cjq y34 and x34 +csk x09 ^ y09 +cst (y43 ^ x43) and ((((y41 and x41) or ((((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41))) and (y42 ^ x42)) or (y42 and x42)) +cwh x07 ^ y07 +cwj x14 and y14 +cwn ((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30) +ddj (x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06)) +dhf (((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04) +dkr (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05) +dmf y31 and x31 +dnb (y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26)) +dsf ((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33) +dsn ((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07) +dwk x25 ^ y25 +dwp (y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24)))) +fbs (x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24)) +fcd ((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40) +fdd (x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) +ffw y11 ^ x11 +fhs y13 and x13 +fjq (((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41) +fkc ((y41 and x41) or ((((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41))) and (y42 ^ x42) +fkk (y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34))) +fqq (x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08))) +fsf y12 ^ x12 +fvm ((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19) +fwn x26 ^ y26 +fww ((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17) +gcs ((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04) +gfq (((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18) +ggk x36 and y36 +gjs (x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))) +gnf x13 ^ y13 +gpb y31 ^ x31 +gqf ((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36) +gqg ((y43 ^ x43) and ((((y41 and x41) or ((((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41))) and (y42 ^ x42)) or (y42 and x42))) or (x43 and y43) +gqr ((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11) +hbb (y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))) +hch (y00 and x00) and (y01 ^ x01) +hcq (((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19) +hdc x05 ^ y05 +hdd (((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13) +hgs y21 ^ x21 +hhb y15 and x15 +hhh (x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)) +hhm y17 ^ x17 +hkg (y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19))))))) +hpg (y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))) +hrr x04 and y04 +hsf ((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12) +htp (y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14)) +htw y39 ^ x39 +hww x09 and y09 +jgd (x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)) +jgj (x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01))) +jjk x43 and y43 +jmq y43 ^ x43 +jqq (((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38) +jts (y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))) +kbb y44 and x44 +khg y14 ^ x14 +khw (y44 ^ x44) and (((y43 ^ x43) and ((((y41 and x41) or ((((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41))) and (y42 ^ x42)) or (y42 and x42))) or (x43 and y43)) +kkt y04 ^ x04 +kpk x10 ^ y10 +kqk x22 and y22 +kqs (x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))) +ktn y07 and x07 +kvv (x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14)))) +kwp (y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27)))) +mcd (x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32)) +mcw x23 and y23 +mdb y11 and x11 +mdw x24 ^ y24 +mfc y37 ^ x37 +mpd x40 and y40 +mqg x20 and y20 +mqr (y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))) +mqv y33 and x33 +mts x02 ^ y02 +mvp x21 and y21 +mvv x20 ^ y20 +nbb y35 and x35 +nbw x38 ^ y38 +ncw y32 ^ x32 +nfn (y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13)) +nhr x19 ^ y19 +nhw (((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32) +nkw x41 ^ y41 +npc x12 and y12 +nrv y29 ^ x29 +nsg ((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03) +ntr (x01 and y01) or ((y00 and x00) and (y01 ^ x01)) +pcd y28 and x28 +pfh y44 ^ x44 +phk y28 ^ x28 +phm ((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39) +pjv y19 and x19 +pnw y01 ^ x01 +prp (y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30)) +pss (x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)) +pvw (((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11) +qcm ((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32) +qcn y41 and x41 +qdc y32 and x32 +qfg x06 ^ y06 +qfj (x20 ^ y20) and (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)) +qhg x02 and y02 +qjh x33 ^ y33 +qjs ((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31) +qwn y39 and x39 +rfs (y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)) +rhp (((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24) +rhv y36 ^ x36 +rkf (((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27) +rms (((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08) +rng ((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23) +rnr y37 and x37 +rpk y35 ^ x35 +rrk x17 and y17 +rrr y03 and x03 +rsm ((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26) +rvw y26 and x26 +rwd x24 and y24 +sbk y29 and x29 +sfb y06 and x06 +sfw (x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12)) +shd (x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))) +shk (x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19))))) +srg (x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))) +sth ((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14) +svf y42 ^ x42 +swm (y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14)))))) +tds x16 ^ y16 +thc (y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01))))) +tjv x34 ^ y34 +tkd y03 ^ x03 +tpd ((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06) +trc y38 and x38 +tsh ((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13) +tsp (x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29)) +tts x27 and y27 +twv x18 and y18 +vcd y42 and x42 +vfs x10 and y10 +vjk x22 ^ y22 +vnp ((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29) +vpb (((y41 and x41) or ((((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41))) and (y42 ^ x42)) or (y42 and x42) +vsh y23 ^ x23 +vsk (y41 and x41) or ((((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41)) +wcg x08 ^ y08 +wff (y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27)) +wjn ((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37) +wks ((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18) +wmd y16 and x16 +wms (y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19))) +wrn y18 ^ x18 +wrr ((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38) +wsg y00 and x00 +wtf (y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38)) +wwc x01 and y01 +z00 y00 ^ x00 +z01 (y00 and x00) ^ (y01 ^ x01) +z02 (x02 ^ y02) ^ ((x01 and y01) or ((y00 and x00) and (y01 ^ x01))) +z03 ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01))))) ^ (y03 ^ x03) +z04 (((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) ^ (y04 ^ x04) +z05 y05 and x05 +z06 (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)))) ^ (x06 ^ y06) +z07 (x07 ^ y07) ^ (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06)) +z08 (x08 ^ y08) ^ (((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) +z09 ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08))) ^ (x09 ^ y09) +z10 (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)) ^ (x10 ^ y10) +z11 (y11 ^ x11) ^ ((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) +z12 (y12 ^ x12) ^ ((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) +z13 ((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) ^ (x13 ^ y13) +z14 (y14 ^ x14) ^ ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13)) +z15 (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14)) and (y15 ^ x15) +z16 (x16 ^ y16) ^ ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14)))) +z17 ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14)))))) ^ (y17 ^ x17) +z18 (y18 ^ x18) ^ (((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) +z19 (x19 ^ y19) ^ (((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) +z20 ((x20 ^ y20) and (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19))) or (x20 and y20) +z21 (y21 ^ x21) ^ ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19))) +z22 ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19))))) ^ (x22 ^ y22) +z23 ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19))))))) ^ (y23 ^ x23) +z24 (((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) ^ (x24 ^ y24) +z25 (x25 ^ y25) ^ ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))) +z26 (x26 ^ y26) ^ ((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) +z27 ((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) ^ (x27 ^ y27) +z28 (y28 ^ x28) ^ ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27)) +z29 ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27)))) ^ (y29 ^ x29) +z30 (x30 ^ y30) ^ (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29)) +z31 (y31 ^ x31) ^ (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30)) +z32 (y32 ^ x32) ^ (((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) +z33 (x33 ^ y33) ^ (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32)) +z34 (x34 ^ y34) ^ (((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) +z35 ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34))) ^ (y35 ^ x35) +z36 (x36 and y36) ^ ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34))))) +z37 (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36)) ^ (y37 ^ x37) +z38 (x38 ^ y38) ^ (((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) +z39 (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38)) ^ (y39 ^ x39) +z40 (((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) ^ (y40 ^ x40) +z41 (((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) ^ (x41 ^ y41) +z42 ((y41 and x41) or ((((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41))) ^ (y42 ^ x42) +z43 ((((y41 and x41) or ((((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41))) and (y42 ^ x42)) or (y42 and x42)) ^ (y43 ^ x43) +z44 (y44 ^ x44) ^ (((y43 ^ x43) and ((((y41 and x41) or ((((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41))) and (y42 ^ x42)) or (y42 and x42))) or (x43 and y43)) +z45 (y44 and x44) or ((y44 ^ x44) and (((y43 ^ x43) and ((((y41 and x41) or ((((((y39 ^ x39) and (((((y37 ^ x37) and (((x36 and y36) and ((y35 and x35) or ((y35 ^ x35) and ((y34 and x34) or ((((x33 ^ y33) and (((((y31 ^ x31) and (((x30 ^ y30) and (((y29 ^ x29) and ((y28 and x28) or ((y28 ^ x28) and ((((y26 and x26) or (((y25 and x25) or ((x25 ^ y25) and ((x24 and y24) or ((((y23 ^ x23) and ((x22 and y22) or ((x22 ^ y22) and ((x21 and y21) or ((y21 ^ x21) and ((x20 ^ y20) ^ (((((((y17 ^ x17) and ((y16 and x16) or ((x16 ^ y16) and ((y15 and x15) or ((y15 ^ x15) ^ (((y14 ^ x14) and ((((x12 and y12) or (((((x10 and y10) or ((x10 ^ y10) and (((x09 ^ y09) and ((x08 and y08) or ((((x07 ^ y07) and (((x06 ^ y06) and (((((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04)) ^ (x05 ^ y05)) or ((x05 ^ y05) and (((((y03 ^ x03) and ((x02 and y02) or ((x02 ^ y02) and ((x01 and y01) or ((y00 and x00) and (y01 ^ x01)))))) or (y03 and x03)) and (y04 ^ x04)) or (x04 and y04))))) or (y06 and x06))) or (y07 and x07)) and (x08 ^ y08)))) or (x09 and y09)))) and (y11 ^ x11)) or (y11 and x11)) and (y12 ^ x12))) and (x13 ^ y13)) or (y13 and x13))) or (x14 and y14))))))) or (x17 and y17)) and (y18 ^ x18)) or (x18 and y18)) and (x19 ^ y19)) or (y19 and x19)))))))) or (x23 and y23)) and (x24 ^ y24))))) and (x26 ^ y26))) and (x27 ^ y27)) or (x27 and y27))))) or (y29 and x29))) or (x30 and y30))) or (y31 and x31)) and (y32 ^ x32)) or (y32 and x32))) or (y33 and x33)) and (x34 ^ y34)))))) or (y36 ^ x36))) or (y37 and x37)) and (x38 ^ y38)) or (y38 and x38))) or (y39 and x39)) and (y40 ^ x40)) or (x40 and y40)) and (x41 ^ y41))) and (y42 ^ x42)) or (y42 and x42))) or (x43 and y43)))