benchmark formulas k_poly_n.txt
begin
1: ((box(box(box(box(box((((p1 & p2) & p3) & p4) & p5)))))) v ((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p1))))))) v (box p6))) v (box(box(box(box(box(((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)))))))
2: ((box(box(box(box(box(box(box((((((p1 & p2) & p3) & p4) & p5) & p6) & p7)))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p1))))))))) v (box p8))) v (box(box(box(box(box(box(box(((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)))))))))
3: ((box(box(box(box(box(box(box(box(box(box(box((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11)))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p1))))))))))))) v (box p12))) v (box(box(box(box(box(box(box(box(box(box(box(((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)))))))))))))
4: ((box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13)))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p1))))))))))))))) v (box p14))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)))))))))))))))
5: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17)))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p1))))))))))))))))))) v (box p18))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)))))))))))))))))))
6: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19)))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p1))))))))))))))))))))) v (box p20))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)))))))))))))))))))))
7: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23)))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p1))))))))))))))))))))))))) v (box p24))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)))))))))))))))))))))))))
8: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25)))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p1))))))))))))))))))))))))))) v (box p26))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)))))))))))))))))))))))))))
9: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29)))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p1))))))))))))))))))))))))))))))) v (box p30))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)))))))))))))))))))))))))))))))
10: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31)))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p1))))))))))))))))))))))))))))))))) v (box p32))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)))))))))))))))))))))))))))))))))
11: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35)))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p1))))))))))))))))))))))))))))))))))))) v (box p36))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)))))))))))))))))))))))))))))))))))))
12: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35) & p36) & p37)))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p35))))))))))))))))))))))))))))))))))))) v (box p36)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p35 <-> p36)))))))))))))))))))))))))))))))))))))) v (box p37)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p36 <-> p1))))))))))))))))))))))))))))))))))))))) v (box p38))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)) & (~p72)) & (~p74)))))))))))))))))))))))))))))))))))))))
13: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35) & p36) & p37) & p38) & p39) & p40) & p41)))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p35))))))))))))))))))))))))))))))))))))) v (box p36)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p35 <-> p36)))))))))))))))))))))))))))))))))))))) v (box p37)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p36 <-> p37))))))))))))))))))))))))))))))))))))))) v (box p38)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p37 <-> p38)))))))))))))))))))))))))))))))))))))))) v (box p39)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p38 <-> p39))))))))))))))))))))))))))))))))))))))))) v (box p40)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p39 <-> p40)))))))))))))))))))))))))))))))))))))))))) v (box p41)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p40 <-> p1))))))))))))))))))))))))))))))))))))))))))) v (box p42))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)) & (~p72)) & (~p74)) & (~p76)) & (~p78)) & (~p80)) & (~p82)))))))))))))))))))))))))))))))))))))))))))
14: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35) & p36) & p37) & p38) & p39) & p40) & p41) & p42) & p43)))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p35))))))))))))))))))))))))))))))))))))) v (box p36)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p35 <-> p36)))))))))))))))))))))))))))))))))))))) v (box p37)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p36 <-> p37))))))))))))))))))))))))))))))))))))))) v (box p38)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p37 <-> p38)))))))))))))))))))))))))))))))))))))))) v (box p39)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p38 <-> p39))))))))))))))))))))))))))))))))))))))))) v (box p40)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p39 <-> p40)))))))))))))))))))))))))))))))))))))))))) v (box p41)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p40 <-> p41))))))))))))))))))))))))))))))))))))))))))) v (box p42)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p41 <-> p42)))))))))))))))))))))))))))))))))))))))))))) v (box p43)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p42 <-> p1))))))))))))))))))))))))))))))))))))))))))))) v (box p44))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)) & (~p72)) & (~p74)) & (~p76)) & (~p78)) & (~p80)) & (~p82)) & (~p84)) & (~p86)))))))))))))))))))))))))))))))))))))))))))))
15: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35) & p36) & p37) & p38) & p39) & p40) & p41) & p42) & p43) & p44) & p45) & p46) & p47)))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p35))))))))))))))))))))))))))))))))))))) v (box p36)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p35 <-> p36)))))))))))))))))))))))))))))))))))))) v (box p37)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p36 <-> p37))))))))))))))))))))))))))))))))))))))) v (box p38)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p37 <-> p38)))))))))))))))))))))))))))))))))))))))) v (box p39)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p38 <-> p39))))))))))))))))))))))))))))))))))))))))) v (box p40)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p39 <-> p40)))))))))))))))))))))))))))))))))))))))))) v (box p41)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p40 <-> p41))))))))))))))))))))))))))))))))))))))))))) v (box p42)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p41 <-> p42)))))))))))))))))))))))))))))))))))))))))))) v (box p43)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p42 <-> p43))))))))))))))))))))))))))))))))))))))))))))) v (box p44)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p43 <-> p44)))))))))))))))))))))))))))))))))))))))))))))) v (box p45)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p44 <-> p45))))))))))))))))))))))))))))))))))))))))))))))) v (box p46)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p45 <-> p46)))))))))))))))))))))))))))))))))))))))))))))))) v (box p47)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p46 <-> p1))))))))))))))))))))))))))))))))))))))))))))))))) v (box p48))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)) & (~p72)) & (~p74)) & (~p76)) & (~p78)) & (~p80)) & (~p82)) & (~p84)) & (~p86)) & (~p88)) & (~p90)) & (~p92)) & (~p94)))))))))))))))))))))))))))))))))))))))))))))))))
16: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35) & p36) & p37) & p38) & p39) & p40) & p41) & p42) & p43) & p44) & p45) & p46) & p47) & p48) & p49)))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p35))))))))))))))))))))))))))))))))))))) v (box p36)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p35 <-> p36)))))))))))))))))))))))))))))))))))))) v (box p37)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p36 <-> p37))))))))))))))))))))))))))))))))))))))) v (box p38)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p37 <-> p38)))))))))))))))))))))))))))))))))))))))) v (box p39)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p38 <-> p39))))))))))))))))))))))))))))))))))))))))) v (box p40)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p39 <-> p40)))))))))))))))))))))))))))))))))))))))))) v (box p41)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p40 <-> p41))))))))))))))))))))))))))))))))))))))))))) v (box p42)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p41 <-> p42)))))))))))))))))))))))))))))))))))))))))))) v (box p43)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p42 <-> p43))))))))))))))))))))))))))))))))))))))))))))) v (box p44)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p43 <-> p44)))))))))))))))))))))))))))))))))))))))))))))) v (box p45)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p44 <-> p45))))))))))))))))))))))))))))))))))))))))))))))) v (box p46)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p45 <-> p46)))))))))))))))))))))))))))))))))))))))))))))))) v (box p47)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p46 <-> p47))))))))))))))))))))))))))))))))))))))))))))))))) v (box p48)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p47 <-> p48)))))))))))))))))))))))))))))))))))))))))))))))))) v (box p49)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p48 <-> p1))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p50))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)) & (~p72)) & (~p74)) & (~p76)) & (~p78)) & (~p80)) & (~p82)) & (~p84)) & (~p86)) & (~p88)) & (~p90)) & (~p92)) & (~p94)) & (~p96)) & (~p98)))))))))))))))))))))))))))))))))))))))))))))))))))
17: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35) & p36) & p37) & p38) & p39) & p40) & p41) & p42) & p43) & p44) & p45) & p46) & p47) & p48) & p49) & p50) & p51) & p52) & p53)))))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p35))))))))))))))))))))))))))))))))))))) v (box p36)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p35 <-> p36)))))))))))))))))))))))))))))))))))))) v (box p37)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p36 <-> p37))))))))))))))))))))))))))))))))))))))) v (box p38)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p37 <-> p38)))))))))))))))))))))))))))))))))))))))) v (box p39)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p38 <-> p39))))))))))))))))))))))))))))))))))))))))) v (box p40)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p39 <-> p40)))))))))))))))))))))))))))))))))))))))))) v (box p41)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p40 <-> p41))))))))))))))))))))))))))))))))))))))))))) v (box p42)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p41 <-> p42)))))))))))))))))))))))))))))))))))))))))))) v (box p43)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p42 <-> p43))))))))))))))))))))))))))))))))))))))))))))) v (box p44)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p43 <-> p44)))))))))))))))))))))))))))))))))))))))))))))) v (box p45)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p44 <-> p45))))))))))))))))))))))))))))))))))))))))))))))) v (box p46)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p45 <-> p46)))))))))))))))))))))))))))))))))))))))))))))))) v (box p47)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p46 <-> p47))))))))))))))))))))))))))))))))))))))))))))))))) v (box p48)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p47 <-> p48)))))))))))))))))))))))))))))))))))))))))))))))))) v (box p49)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p48 <-> p49))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p50)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p49 <-> p50)))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p51)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p50 <-> p51))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p52)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p51 <-> p52)))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p53)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p52 <-> p1))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p54))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)) & (~p72)) & (~p74)) & (~p76)) & (~p78)) & (~p80)) & (~p82)) & (~p84)) & (~p86)) & (~p88)) & (~p90)) & (~p92)) & (~p94)) & (~p96)) & (~p98)) & (~p100)) & (~p102)) & (~p104)) & (~p106)))))))))))))))))))))))))))))))))))))))))))))))))))))))
18: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35) & p36) & p37) & p38) & p39) & p40) & p41) & p42) & p43) & p44) & p45) & p46) & p47) & p48) & p49) & p50) & p51) & p52) & p53) & p54) & p55)))))))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p35))))))))))))))))))))))))))))))))))))) v (box p36)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p35 <-> p36)))))))))))))))))))))))))))))))))))))) v (box p37)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p36 <-> p37))))))))))))))))))))))))))))))))))))))) v (box p38)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p37 <-> p38)))))))))))))))))))))))))))))))))))))))) v (box p39)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p38 <-> p39))))))))))))))))))))))))))))))))))))))))) v (box p40)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p39 <-> p40)))))))))))))))))))))))))))))))))))))))))) v (box p41)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p40 <-> p41))))))))))))))))))))))))))))))))))))))))))) v (box p42)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p41 <-> p42)))))))))))))))))))))))))))))))))))))))))))) v (box p43)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p42 <-> p43))))))))))))))))))))))))))))))))))))))))))))) v (box p44)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p43 <-> p44)))))))))))))))))))))))))))))))))))))))))))))) v (box p45)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p44 <-> p45))))))))))))))))))))))))))))))))))))))))))))))) v (box p46)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p45 <-> p46)))))))))))))))))))))))))))))))))))))))))))))))) v (box p47)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p46 <-> p47))))))))))))))))))))))))))))))))))))))))))))))))) v (box p48)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p47 <-> p48)))))))))))))))))))))))))))))))))))))))))))))))))) v (box p49)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p48 <-> p49))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p50)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p49 <-> p50)))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p51)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p50 <-> p51))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p52)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p51 <-> p52)))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p53)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p52 <-> p53))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p54)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p53 <-> p54)))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p55)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p54 <-> p1))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p56))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)) & (~p72)) & (~p74)) & (~p76)) & (~p78)) & (~p80)) & (~p82)) & (~p84)) & (~p86)) & (~p88)) & (~p90)) & (~p92)) & (~p94)) & (~p96)) & (~p98)) & (~p100)) & (~p102)) & (~p104)) & (~p106)) & (~p108)) & (~p110)))))))))))))))))))))))))))))))))))))))))))))))))))))))))
19: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35) & p36) & p37) & p38) & p39) & p40) & p41) & p42) & p43) & p44) & p45) & p46) & p47) & p48) & p49) & p50) & p51) & p52) & p53) & p54) & p55) & p56) & p57) & p58) & p59)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p35))))))))))))))))))))))))))))))))))))) v (box p36)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p35 <-> p36)))))))))))))))))))))))))))))))))))))) v (box p37)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p36 <-> p37))))))))))))))))))))))))))))))))))))))) v (box p38)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p37 <-> p38)))))))))))))))))))))))))))))))))))))))) v (box p39)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p38 <-> p39))))))))))))))))))))))))))))))))))))))))) v (box p40)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p39 <-> p40)))))))))))))))))))))))))))))))))))))))))) v (box p41)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p40 <-> p41))))))))))))))))))))))))))))))))))))))))))) v (box p42)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p41 <-> p42)))))))))))))))))))))))))))))))))))))))))))) v (box p43)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p42 <-> p43))))))))))))))))))))))))))))))))))))))))))))) v (box p44)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p43 <-> p44)))))))))))))))))))))))))))))))))))))))))))))) v (box p45)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p44 <-> p45))))))))))))))))))))))))))))))))))))))))))))))) v (box p46)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p45 <-> p46)))))))))))))))))))))))))))))))))))))))))))))))) v (box p47)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p46 <-> p47))))))))))))))))))))))))))))))))))))))))))))))))) v (box p48)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p47 <-> p48)))))))))))))))))))))))))))))))))))))))))))))))))) v (box p49)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p48 <-> p49))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p50)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p49 <-> p50)))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p51)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p50 <-> p51))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p52)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p51 <-> p52)))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p53)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p52 <-> p53))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p54)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p53 <-> p54)))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p55)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p54 <-> p55))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p56)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p55 <-> p56)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p57)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p56 <-> p57))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p58)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p57 <-> p58)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p59)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p58 <-> p1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p60))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)) & (~p72)) & (~p74)) & (~p76)) & (~p78)) & (~p80)) & (~p82)) & (~p84)) & (~p86)) & (~p88)) & (~p90)) & (~p92)) & (~p94)) & (~p96)) & (~p98)) & (~p100)) & (~p102)) & (~p104)) & (~p106)) & (~p108)) & (~p110)) & (~p112)) & (~p114)) & (~p116)) & (~p118)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
20: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35) & p36) & p37) & p38) & p39) & p40) & p41) & p42) & p43) & p44) & p45) & p46) & p47) & p48) & p49) & p50) & p51) & p52) & p53) & p54) & p55) & p56) & p57) & p58) & p59) & p60) & p61)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p35))))))))))))))))))))))))))))))))))))) v (box p36)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p35 <-> p36)))))))))))))))))))))))))))))))))))))) v (box p37)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p36 <-> p37))))))))))))))))))))))))))))))))))))))) v (box p38)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p37 <-> p38)))))))))))))))))))))))))))))))))))))))) v (box p39)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p38 <-> p39))))))))))))))))))))))))))))))))))))))))) v (box p40)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p39 <-> p40)))))))))))))))))))))))))))))))))))))))))) v (box p41)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p40 <-> p41))))))))))))))))))))))))))))))))))))))))))) v (box p42)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p41 <-> p42)))))))))))))))))))))))))))))))))))))))))))) v (box p43)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p42 <-> p43))))))))))))))))))))))))))))))))))))))))))))) v (box p44)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p43 <-> p44)))))))))))))))))))))))))))))))))))))))))))))) v (box p45)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p44 <-> p45))))))))))))))))))))))))))))))))))))))))))))))) v (box p46)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p45 <-> p46)))))))))))))))))))))))))))))))))))))))))))))))) v (box p47)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p46 <-> p47))))))))))))))))))))))))))))))))))))))))))))))))) v (box p48)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p47 <-> p48)))))))))))))))))))))))))))))))))))))))))))))))))) v (box p49)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p48 <-> p49))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p50)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p49 <-> p50)))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p51)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p50 <-> p51))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p52)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p51 <-> p52)))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p53)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p52 <-> p53))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p54)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p53 <-> p54)))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p55)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p54 <-> p55))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p56)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p55 <-> p56)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p57)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p56 <-> p57))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p58)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p57 <-> p58)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p59)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p58 <-> p59))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p60)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p59 <-> p60)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p61)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p60 <-> p1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p62))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)) & (~p72)) & (~p74)) & (~p76)) & (~p78)) & (~p80)) & (~p82)) & (~p84)) & (~p86)) & (~p88)) & (~p90)) & (~p92)) & (~p94)) & (~p96)) & (~p98)) & (~p100)) & (~p102)) & (~p104)) & (~p106)) & (~p108)) & (~p110)) & (~p112)) & (~p114)) & (~p116)) & (~p118)) & (~p120)) & (~p122)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
21: ((box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10) & p11) & p12) & p13) & p14) & p15) & p16) & p17) & p18) & p19) & p20) & p21) & p22) & p23) & p24) & p25) & p26) & p27) & p28) & p29) & p30) & p31) & p32) & p33) & p34) & p35) & p36) & p37) & p38) & p39) & p40) & p41) & p42) & p43) & p44) & p45) & p46) & p47) & p48) & p49) & p50) & p51) & p52) & p53) & p54) & p55) & p56) & p57) & p58) & p59) & p60) & p61) & p62) & p63) & p64) & p65)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p4)))))) v (box p5)) v (dia(dia(dia(dia(p4 <-> p5))))))) v (box p6)) v (dia(dia(dia(dia(dia(p5 <-> p6)))))))) v (box p7)) v (dia(dia(dia(dia(dia(dia(p6 <-> p7))))))))) v (box p8)) v (dia(dia(dia(dia(dia(dia(dia(p7 <-> p8)))))))))) v (box p9)) v (dia(dia(dia(dia(dia(dia(dia(dia(p8 <-> p9))))))))))) v (box p10)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(p9 <-> p10)))))))))))) v (box p11)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p10 <-> p11))))))))))))) v (box p12)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p11 <-> p12)))))))))))))) v (box p13)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p12 <-> p13))))))))))))))) v (box p14)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p13 <-> p14)))))))))))))))) v (box p15)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p14 <-> p15))))))))))))))))) v (box p16)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p15 <-> p16)))))))))))))))))) v (box p17)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p16 <-> p17))))))))))))))))))) v (box p18)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p17 <-> p18)))))))))))))))))))) v (box p19)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p18 <-> p19))))))))))))))))))))) v (box p20)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p19 <-> p20)))))))))))))))))))))) v (box p21)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p20 <-> p21))))))))))))))))))))))) v (box p22)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p21 <-> p22)))))))))))))))))))))))) v (box p23)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p22 <-> p23))))))))))))))))))))))))) v (box p24)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p23 <-> p24)))))))))))))))))))))))))) v (box p25)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p24 <-> p25))))))))))))))))))))))))))) v (box p26)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p25 <-> p26)))))))))))))))))))))))))))) v (box p27)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p26 <-> p27))))))))))))))))))))))))))))) v (box p28)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p27 <-> p28)))))))))))))))))))))))))))))) v (box p29)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p28 <-> p29))))))))))))))))))))))))))))))) v (box p30)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p29 <-> p30)))))))))))))))))))))))))))))))) v (box p31)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p30 <-> p31))))))))))))))))))))))))))))))))) v (box p32)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p31 <-> p32)))))))))))))))))))))))))))))))))) v (box p33)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p32 <-> p33))))))))))))))))))))))))))))))))))) v (box p34)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p33 <-> p34)))))))))))))))))))))))))))))))))))) v (box p35)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p34 <-> p35))))))))))))))))))))))))))))))))))))) v (box p36)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p35 <-> p36)))))))))))))))))))))))))))))))))))))) v (box p37)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p36 <-> p37))))))))))))))))))))))))))))))))))))))) v (box p38)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p37 <-> p38)))))))))))))))))))))))))))))))))))))))) v (box p39)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p38 <-> p39))))))))))))))))))))))))))))))))))))))))) v (box p40)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p39 <-> p40)))))))))))))))))))))))))))))))))))))))))) v (box p41)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p40 <-> p41))))))))))))))))))))))))))))))))))))))))))) v (box p42)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p41 <-> p42)))))))))))))))))))))))))))))))))))))))))))) v (box p43)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p42 <-> p43))))))))))))))))))))))))))))))))))))))))))))) v (box p44)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p43 <-> p44)))))))))))))))))))))))))))))))))))))))))))))) v (box p45)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p44 <-> p45))))))))))))))))))))))))))))))))))))))))))))))) v (box p46)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p45 <-> p46)))))))))))))))))))))))))))))))))))))))))))))))) v (box p47)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p46 <-> p47))))))))))))))))))))))))))))))))))))))))))))))))) v (box p48)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p47 <-> p48)))))))))))))))))))))))))))))))))))))))))))))))))) v (box p49)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p48 <-> p49))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p50)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p49 <-> p50)))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p51)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p50 <-> p51))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p52)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p51 <-> p52)))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p53)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p52 <-> p53))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p54)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p53 <-> p54)))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p55)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p54 <-> p55))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p56)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p55 <-> p56)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p57)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p56 <-> p57))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p58)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p57 <-> p58)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p59)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p58 <-> p59))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p60)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p59 <-> p60)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p61)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p60 <-> p61))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p62)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p61 <-> p62)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p63)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p62 <-> p63))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p64)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p63 <-> p64)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p65)) v (dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(dia(p64 <-> p1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p66))) v (box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(box(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)) & (~p22)) & (~p24)) & (~p26)) & (~p28)) & (~p30)) & (~p32)) & (~p34)) & (~p36)) & (~p38)) & (~p40)) & (~p42)) & (~p44)) & (~p46)) & (~p48)) & (~p50)) & (~p52)) & (~p54)) & (~p56)) & (~p58)) & (~p60)) & (~p62)) & (~p64)) & (~p66)) & (~p68)) & (~p70)) & (~p72)) & (~p74)) & (~p76)) & (~p78)) & (~p80)) & (~p82)) & (~p84)) & (~p86)) & (~p88)) & (~p90)) & (~p92)) & (~p94)) & (~p96)) & (~p98)) & (~p100)) & (~p102)) & (~p104)) & (~p106)) & (~p108)) & (~p110)) & (~p112)) & (~p114)) & (~p116)) & (~p118)) & (~p120)) & (~p122)) & (~p124)) & (~p126)) & (~p128)) & (~p130)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
end