benchmark formulas k_poly_p.txt begin 1: ((box(box(box(box(((p1 & p2) & p3) & p4))))) v ((dia(((dia(((dia(false v (dia(p1 <-> p2)))) v (box p3)) v (dia(dia(p2 <-> p3))))) v (box p4)) v (dia(dia(dia(p3 <-> p1)))))) v (box p5))) v (box(box(box(box((((~p2) & (~p4)) & (~p6)) & (~p8)))))) 2: ((box(box(box(box(box(box(box(box(((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8))))))))) v ((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 <-> p1)))))))))) v (box p9))) v (box(box(box(box(box(box(box(box((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)))))))))) 3: ((box(box(box(box(box(box(box(box(box(box(((((((((p1 & p2) & p3) & p4) & p5) & p6) & p7) & p8) & p9) & p10))))))))))) v ((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 <-> p1)))))))))))) v (box p11))) v (box(box(box(box(box(box(box(box(box(box((((((((((~p2) & (~p4)) & (~p6)) & (~p8)) & (~p10)) & (~p12)) & (~p14)) & (~p16)) & (~p18)) & (~p20)))))))))))) 4: ((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))))))))))))))) v ((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 <-> p1)))))))))))))))) v (box p15))) v (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)))))))))))))))) 5: ((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))))))))))))))))) v ((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 <-> p1)))))))))))))))))) v (box p17))) v (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)))))))))))))))))) 6: ((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))))))))))))))))))))) v ((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 <-> p1)))))))))))))))))))))) v (box p21))) v (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)))))))))))))))))))))) 7: ((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))))))))))))))))))))))) v ((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 <-> p1)))))))))))))))))))))))) v (box p23))) v (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)))))))))))))))))))))))) 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(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))))))))))))))))))))))))))) v ((dia(((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 <-> p1)))))))))))))))))))))))))))) v (box p27))) 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((((((((((((((((((((((((((~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)))))))))))))))))))))))))))) 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(((((((((((((((((((((((((((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))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))) v (box p29))) 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((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))) 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(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))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))) v (box p33))) 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((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))) 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(((((((((((((((((((((((((((((((((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))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))) v (box p35))) 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((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))) 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(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))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))))))) v (box p39))) 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((((((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))))))) 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(((((((((((((((((((((((((((((((((((((((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))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))))))))) v (box p41))) 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((((((((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))))))))) 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(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))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))))))))))))) v (box p45))) 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((((((((((((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))))))))))))) 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(((((((((((((((((((((((((((((((((((((((((((((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))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))))))))))))))) v (box p47))) 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((((((((((((((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))))))))))))))) 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(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))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p51))) 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((((((((((((((((((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))))))))))))))))))) 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(((((((((((((((((((((((((((((((((((((((((((((((((((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))))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p53))) 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((((((((((((((((((((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))))))))))))))))))))) 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(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))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p57))) 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((((((((((((((((((((((((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 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(((((((((((((((((((((((((((((((((((((((((((((((((((((((((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))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p59))) 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((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 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(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))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p63))) 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((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) 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(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((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))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v ((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((dia(((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 <-> p1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) v (box p65))) 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((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~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)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) end