conc(p((23,10),(1)),conc(p((14,3),(1)),conc(conc(conc(p((13,24),(1)),conc(p((25,17),(1)),conc(conc(conc(p((20,2),(1)),conc(conc(conc(conc(p((26,27),(1)),conc(conc(conc(conc(p((22,5),(1)),conc(conc(p((13,3),(1)),conc(p((27,27),(1)),conc(conc(p((24,27),(1)),conc(p((5,16),(1)),conc(conc(conc(conc(p((20,1),(1)),conc(conc(p((22,2),(1)),p((4,15),(1))),conc(p((6,17),(1)),conc(conc(p((11,5),(1)),conc(p((6,10),(1)),conc(p((21,4),(0)),conc(conc(conc(conc(p((19,27),(1)),conc(conc(conc(p((19,2),(1)),conc(conc(conc(p((2,14),(1)),p((22,14),(1))),conc(conc(conc(p((10,6),(1)),p((21,12),(0))),p((12,5),(1))),conc(p((3,18),(1)),conc(p((25,2),(1)),conc(conc(p((3,14),(1)),conc(conc(p((9,7),(1)),p((8,19),(1))),conc(conc(p((27,10),(1)),conc(conc(p((21,11),(0)),conc(conc(p((25,1),(1)),conc(conc(p((8,9),(1)),conc(conc(p((11,6),(1)),conc(conc(conc(conc(conc(conc(conc(p((26,26),(1)),conc(p((24,1),(1)),conc(p((20,26),(1)),conc(conc(conc(p((18,27),(1)),conc(conc(p((23,18),(1)),conc(conc(conc(p((22,18),(1)),p((25,20),(1))),p((27,5),(1))),conc(p((23,22),(1)),conc(conc(p((25,21),(1)),p((25,9),(1))),conc(conc(p((28,2),(1)),fun(x1,{(-14,18,-11),(-7,-1,-16),(9,1,8)},conc(conc(conc(conc(p((14,2),(1)),p((5,17),(1))),p((26,10),(1))),for(x2,{(x1,27)},p((29,x2),(x1)))),conc(conc(p((25,15),(x1)),p((21,13),(0))),conc(conc(conc(conc(conc(conc(conc(p((26,2),(x1)),p((7,28),(0))),conc(p((7,10),(1)),conc(conc(p((12,23),(1)),conc(conc(p((5,12),(1)),conc(p((25,19),(1)),conc(conc(p((25,22),(1)),conc(conc(conc(conc(conc(conc(p((3,19),(1)),p((21,3),(0))),p((23,5),(1))),p((25,27),(x1))),p((25,10),(1))),conc(conc(for(x3,{(x1,21),(54,54),(86,86),(26,27),(22,22)},conc(p((23,14),(1)),p((21,x3),(1)))),p((17,1),(1))),p((26,5),(1)))),p((12,24),(1)))),p((33,58),(48))))),p((x1,29),(0)))),p((18,2),(1))))),p((28,1),(1))),p((14,26),(1))),p((24,26),(x1))),p((7,9),(1))),conc(conc(conc(p((18,x1),(1)),p((6,18),(1))),conc(conc(p((11,22),(1)),conc(conc(p((22,22),(1)),p((18,26),(1))),conc(conc(p((24,10),(1)),conc(conc(conc(conc(conc(p((26,1),(1)),conc(conc(p((4,19),(1)),conc(conc(p((9,21),(1)),p((13,4),(x1))),p((20,27),(1)))),p((19,1),(1)))),p((9,8),(1))),p((22,10),(1))),p((24,2),(x1))),p((28,27),(x1)))),for(x4,{(15,16)},for(x5,{(x1,27),(84,84)},p((x4,x5),(1))))))),p((22,26),(1)))),p((28,10),(x1)))))))),p((23,27),(1))))))),p((10,22),(1)))),p((28,5),(1))),p((8,8),(1)))))),p((25,16),(1))),p((25,18),(1))),p((4,18),(1))),p((4,12),(1))),p((13,25),(1))),p((23,1),(1)))),p((5,11),(1)))),p((19,26),(1)))),p((17,2),(1)))),p((3,13),(1)))),p((10,26),(0))))),p((22,1),(1))))))),p((12,4),(1)))),p((24,18),(1))),p((4,13),(1)))),p((3,15),(1))),p((17,26),(1))),conc(conc(p((22,27),(1)),p((10,7),(1))),p((25,14),(1))))))),p((24,5),(1)))))),p((6,11),(1))),p((4,16),(1))),p((5,18),(1))))),p((17,27),(1))))),p((10,21),(1)))),p((9,20),(1))),p((5,19),(1))),conc(p((27,1),(1)),p((24,22),(1))))),for(x6,{(6,7)},p((x6,19),(1)))),p((8,20),(1))),p((14,25),(1)))),p((28,26),(1))),p((24,14),(1))))),p((25,5),(1))),p((7,18),(1)))))
conc(conc(p((25,26),(1)),conc(p((27,2),(1)),conc(conc(conc(conc(p((28,1),(1)),conc(conc(p((25,5),(1)),conc(conc(p((21,13),(0)),conc(p((23,26),(1)),conc(conc(p((20,2),(1)),conc(conc(conc(conc(p((26,27),(1)),conc(conc(conc(p((22,5),(1)),conc(conc(p((13,3),(1)),conc(p((27,27),(1)),conc(conc(p((24,27),(1)),conc(conc(p((5,16),(1)),p((27,26),(1))),conc(conc(conc(conc(p((20,1),(1)),conc(conc(p((22,2),(1)),p((4,15),(1))),conc(p((6,17),(1)),conc(conc(p((11,5),(1)),conc(p((6,10),(1)),conc(p((21,4),(0)),conc(conc(conc(conc(p((19,27),(1)),conc(conc(conc(p((19,2),(1)),conc(conc(conc(p((2,14),(1)),p((22,14),(1))),conc(conc(p((7,18),(1)),conc(conc(p((10,6),(1)),p((21,12),(0))),p((12,5),(1)))),conc(p((3,18),(1)),conc(p((25,2),(1)),conc(conc(p((3,14),(1)),conc(conc(p((13,24),(1)),p((8,19),(1))),conc(conc(p((27,10),(1)),conc(conc(p((21,11),(0)),conc(conc(p((25,1),(1)),conc(conc(p((8,9),(1)),conc(conc(p((11,6),(1)),conc(conc(conc(conc(conc(conc(conc(p((26,26),(1)),conc(p((24,1),(1)),conc(p((20,26),(1)),conc(conc(conc(conc(p((9,7),(1)),p((18,27),(1))),conc(conc(p((23,18),(1)),conc(conc(p((27,5),(1)),conc(p((22,18),(1)),p((25,20),(1)))),conc(p((23,22),(1)),conc(conc(p((25,21),(1)),p((25,9),(1))),conc(p((23,27),(1)),conc(p((28,2),(1)),fun(x1,{(-14,18,-11),(-7,-1,-16),(9,1,8)},conc(conc(conc(conc(p((14,2),(1)),p((5,17),(x1))),p((26,10),(1))),for(x2,{(x1,27)},p((29,x2),(x1)))),conc(p((25,15),(x1)),conc(conc(conc(conc(conc(conc(p((26,2),(x1)),p((x1,28),(0))),conc(p((7,10),(1)),conc(conc(p((12,23),(1)),conc(conc(p((5,12),(1)),conc(conc(p((25,19),(1)),p((24,14),(1))),conc(conc(p((25,22),(1)),conc(conc(conc(conc(conc(conc(p((3,19),(1)),p((21,3),(0))),p((23,5),(x1))),p((25,27),(x1))),p((25,10),(1))),conc(conc(p((17,1),(1)),for(x3,{(x1,21),(54,54),(86,86),(26,27),(22,22)},conc(p((23,14),(1)),p((21,x3),(1))))),p((26,5),(1)))),p((12,24),(x1)))),p((33,58),(48))))),p((39,29),(13)))),p((18,2),(1))))),p((14,26),(1))),p((24,26),(1))),p((7,9),(1))),conc(conc(conc(p((18,x1),(1)),p((6,18),(1))),conc(conc(p((23,10),(1)),conc(p((11,22),(1)),conc(conc(p((22,22),(1)),p((18,26),(1))),conc(conc(conc(conc(conc(p((14,3),(1)),conc(conc(conc(p((26,1),(1)),conc(conc(p((4,19),(1)),conc(conc(p((9,21),(1)),p((13,4),(x1))),p((20,27),(1)))),p((19,1),(1)))),p((9,8),(1))),p((22,10),(1)))),p((24,2),(x1))),p((28,27),(x1))),p((24,10),(1))),for(x4,{(15,16)},for(x5,{(x1,27),(84,84)},p((x4,x5),(1)))))))),p((22,26),(1)))),p((28,10),(1))))))))))))),p((10,22),(1)))),p((28,5),(1))),p((8,8),(1)))))),p((25,16),(1))),p((25,18),(1))),p((4,18),(1))),p((4,12),(1))),p((13,25),(1))),p((23,1),(1)))),p((5,11),(1)))),p((19,26),(1)))),p((17,2),(1)))),p((3,13),(1)))),p((10,26),(0))))),p((22,1),(1))))))),p((12,4),(1)))),p((24,18),(1))),p((4,13),(1)))),p((3,15),(1))),p((17,26),(1))),conc(p((10,7),(1)),p((25,14),(1))))))),p((24,5),(1)))))),p((6,11),(1))),p((4,16),(1))),p((5,18),(1))))),p((17,27),(1))))),p((10,21),(1)))),p((9,20),(1))),conc(p((27,1),(1)),p((24,22),(1))))),p((6,19),(1))),p((8,20),(1))),p((14,25),(1)))),p((28,26),(1))))),p((11,23),(1)))),p((7,19),(1)))),p((22,27),(1))),p((23,2),(1))),p((5,19),(1))))),p((25,17),(1)))
