Solution for day 24, trial and error

5 months ago · 0b6a222015
10 changed files with 1838 additions and 0 deletions
--- a/2024/day24/challenge
+++ b/2024/day24/challenge
--- a/2024/day24/code.py
+++ 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}")
+
--- a/2024/day24/example
+++ 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
--- a/2024/day24/example1
+++ 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
--- a/2024/day24/example2
+++ 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
--- a/2024/day24/input
+++ 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
--- a/2024/day24/input-swap
+++ 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
--- a/2024/day24/input2
+++ 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
--- a/2024/day24/out
+++ 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
--- a/2024/day24/out2
+++ 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)))