fun(x1,{(0,1,5)},fun(x2,{(1,0,1)},fun(x3,{(1,1,1)},fun(x4,{(1,1,1)},fun(x5,{(0,1,1)},fun(x6,{(1,0,1)},fun(x7,{(1,-17,1)},fun(x8,{(0,1,0)},for(x9,{(8,8)},fun(x10,{(1,6,1)},for(x11,{(1,1)},for(x12,{(7,7)},fun(x13,{(0,x11,8)},fun(x14,{(1,1,x12)},fun(x15,{(1,0,1)},for(x16,{(1,1)},for(x17,{(0,0)},for(x18,{(3,3)},fun(x19,{(1,0,1)},fun(x20,{(0,1,9)},fun(x21,{(7,1,1)},fun(x22,{(x14,0,1)},fun(x23,{(-33,1,0)},for(x24,{(1,1)},for(x25,{(0,0)},fun(x26,{(1,x3,-2)},for(x27,{(1,1)},for(x28,{(-9,-9)},for(x29,{(13,13)},fun(x30,{(1,1,1)},fun(x31,{(1,1,8)},for(x32,{(0,0)},for(x33,{(0,0)},for(x34,{(0,0)},fun(x35,{(17,-19,-19),(1,x18,10)},fun(x36,{(1,0,17)},for(x37,{(0,0)},fun(x38,{(1,24,1)},conc(fun(x39,{(1,x16,5)},for(x40,{(x12,7)},for(x41,{(1,1)},fun(x42,{(-4,1,3)},for(x43,{(6,6)},fun(x44,{(2,18,1)},for(x45,{(0,0)},fun(x46,{(1,1,10)},fun(x47,{(1,4,1)},fun(x48,{(1,1,1)},for(x49,{(0,0)},fun(x50,{(1,1,1)},fun(x51,{(-3,17,2)},for(x52,{(x19,0)},fun(x53,{(1,0,1)},for(x54,{(0,0)},for(x55,{(0,0)},for(x56,{(10,10)},conc(fun(x57,{(7,-5,4)},fun(x58,{(0,-17,7)},for(x59,{(2,2)},fun(x60,{(1,10,x20)},fun(x61,{(-10,-15,3)},for(x62,{(-9,-9)},for(x63,{(1,1)},fun(x64,{(19,1,2)},fun(x65,{(4,14,-24)},for(x66,{(1,1)},fun(x67,{(1,1,x2),(4,3,1)},for(x68,{(0,0)},for(x69,{(10,10)},fun(x70,{(0,-5,7)},fun(x71,{(8,-2,1)},fun(x72,{(1,x42,10)},for(x73,{(0,0)},fun(x74,{(x48,20,x45)},fun(x75,{(1,1,6)},fun(x76,{(0,1,-15)},fun(x77,{(15,x28,-13)},fun(x78,{(2,x30,7)},fun(x79,{(1,6,13)},conc(fun(x80,{(11,19,x58)},conc(fun(x81,{(-11,-12,33)},for(x82,{(1,1)},fun(x83,{(12,17,-15),(3,x60,16)},for(x84,{(x31,1)},fun(x85,{(-6,-12,1)},conc(for(x86,{(4,4)},fun(x87,{(13,8,17)},for(x88,{(18,18)},fun(x89,{(x85,1,-8)},fun(x90,{(0,-7,6)},fun(x91,{(0,-26,4)},fun(x92,{(20,-28,-2)},conc(for(x93,{(0,0)},fun(x94,{(-15,13,4),(5,-8,4)},conc(fun(x95,{(-7,0,-4)},fun(x96,{(-7,1,6)},fun(x97,{(-18,13,-19)},fun(x98,{(x88,1,-12)},fun(x99,{(15,2,-3)},conc(fun(x100,{(-10,1,0)},for(x101,{(0,0)},for(x102,{(0,0)},fun(x103,{(-9,1,-15)},fun(x104,{(-4,-4,1)},conc(fun(x105,{(x54,1,x35)},fun(x106,{(4,-13,29)},conc(p((-7,x50),(x27)),for(x107,{(-6,-6)},fun(x108,{(-2,x92,1)},fun(x109,{(x23,-7,1)},for(x110,{(-3,-3)},fun(x111,{(x41,0,-5)},fun(x112,{(-14,x7,-15)},for(x113,{(x73,0)},fun(x114,{(x84,-9,1)},fun(x115,{(x104,-12,x37)},conc(fun(x116,{(0,1,5)},fun(x117,{(x72,x49,x111)},fun(x118,{(-7,1,16)},for(x119,{(x98,18)},fun(x120,{(x77,x24,11),(8,3,1)},fun(x121,{(-10,x81,15)},conc(fun(x122,{(1,17,x97)},fun(x123,{(26,5,x117)},for(x124,{(3,3)},conc(p((5,x4),(0)),for(x125,{(0,0)},conc(fun(x126,{(-3,16,13)},for(x127,{(x125,x15)},conc(for(x128,{(8,8)},fun(x129,{(14,1,x25)},fun(x130,{(-13,-42,x22)},conc(for(x131,{(1,1)},fun(x132,{(-11,-1,11)},fun(x133,{(-18,x64,24)},conc(for(x134,{(x76,x116)},fun(x135,{(0,19,x121)},fun(x136,{(x96,x132,-8)},fun(x137,{(x123,-40,8)},fun(x138,{(1,x75,-13)},conc(conc(fun(x139,{(x29,x130,x1)},for(x140,{(x118,-7)},fun(x141,{(x51,x139,6)},fun(x142,{(-18,-12,x106)},fun(x143,{(12,x36,12)},conc(fun(x144,{(x135,-25,x93)},conc(fun(x145,{(15,x127,x136)},conc(fun(x146,{(x138,x108,x32),(2,-29,x53)},conc(conc(conc(conc(fun(x147,{(x141,-4,16)},fun(x148,{(1,x26,29)},fun(x149,{(10,10,x33)},for(x150,{(1,1)},for(x151,{(x90,0)},fun(x152,{(x119,-21,15)},for(x153,{(1,1)},fun(x154,{(x65,x137,-5),(1,-7,1)},fun(x155,{(39,x142,3)},fun(x156,{(12,x140,38)},fun(x157,{(10,22,x74)},fun(x158,{(42,x122,12),(x115,x59,-14),(26,x55,x8)},conc(p((-3,11),(29)),for(x159,{(4,4)},fun(x160,{(43,1,2)},conc(fun(x161,{(11,x154,x147),(3,x62,-13)},conc(fun(x162,{(x157,-5,-6)},fun(x163,{(x153,x159,1)},for(x164,{(x156,x162)},fun(x165,{(-26,x99,-36)},fun(x166,{(13,-7,x121)},fun(x167,{(-27,x160,-5)},conc(fun(x168,{(x148,1,x161)},conc(conc(p((2,x163),(1)),conc(conc(for(x169,{(2,6),(44,48),(11,14)},for(x170,{(x168,x167)},p((x170,x169),(1)))),fun(x171,{(x48,x124,1)},for(x172,{(1,21)},conc(for(x173,{(x171,10)},p((x173,x172),(x75))),p((10,6),(x34)))))),p((10,4),(0)))),p((6,x21),(0)))),p((7,x40),(0))))))))),p((4,8),(0)))),p((10,5),(0)))))))))))))))))),p((x47,7),(0))),p((-22,x60),(x67))),p((4,x109),(x102))),p((6,11),(0)))),p((x128,11),(0)))),p((6,1),(0)))),p((6,8),(0)))))))),p((7,x43),(x6))),p((7,11),(x17)))))))),p((9,5),(0)))))),p((9,x10),(0)))))),p((6,3),(0))))),p((6,10),(0)))))))),p((0,7),(1))))))))),p((10,x82),(x95))))))))))))))),p((6,5),(0)))))))),p((6,2),(0)))))))),for(x174,{(0,x5)},conc(p((6,4),(0)),fun(x175,{(-5,0,-12)},p((x78,3),(x63)))))))),p((7,5),(0)))))))))),p((6,9),(0)))))))),p((6,6),(0)))),p((1,x56),(1)))))))))))))))))))))))))),p((9,11),(0))))))))))))))))))))),p((9,7),(0)))))))))))))))))))))))))))))))))))))))))
fun(x1,{(1,1,1)},fun(x2,{(1,1,1)},fun(x3,{(0,1,1)},fun(x4,{(1,0,1)},fun(x5,{(1,-17,1)},fun(x6,{(0,1,0)},for(x7,{(8,8)},fun(x8,{(1,6,1)},for(x9,{(1,1)},for(x10,{(7,7)},fun(x11,{(0,x9,8)},fun(x12,{(1,1,x10)},fun(x13,{(1,0,1)},for(x14,{(1,1)},for(x15,{(0,0)},for(x16,{(3,3)},fun(x17,{(1,0,1)},fun(x18,{(0,1,9)},fun(x19,{(7,1,1)},fun(x20,{(x12,0,1)},fun(x21,{(-33,1,0)},for(x22,{(1,1)},for(x23,{(0,0)},fun(x24,{(1,x1,-2)},for(x25,{(1,1)},for(x26,{(-9,-9)},for(x27,{(13,13)},fun(x28,{(1,1,1)},fun(x29,{(1,1,8)},for(x30,{(0,0)},for(x31,{(0,0)},for(x32,{(0,0)},fun(x33,{(17,-19,-19),(1,x16,10)},fun(x34,{(1,0,17)},for(x35,{(0,0)},fun(x36,{(1,24,1)},conc(fun(x37,{(1,x14,5)},for(x38,{(x10,7)},for(x39,{(1,1)},fun(x40,{(-4,1,3)},for(x41,{(6,6)},fun(x42,{(2,18,1)},for(x43,{(0,0)},fun(x44,{(1,1,10)},fun(x45,{(1,4,1)},fun(x46,{(1,1,1)},for(x47,{(0,0)},fun(x48,{(1,1,1)},fun(x49,{(-3,17,2)},for(x50,{(x17,0)},fun(x51,{(1,0,1)},for(x52,{(0,0)},for(x53,{(0,0)},for(x54,{(10,10)},conc(fun(x55,{(7,-5,4)},fun(x56,{(0,-17,7)},for(x57,{(2,2)},fun(x58,{(1,10,x18)},fun(x59,{(-10,-15,3)},for(x60,{(-9,-9)},for(x61,{(1,1)},fun(x62,{(19,1,2)},fun(x63,{(4,14,-24)},for(x64,{(1,1)},fun(x65,{(1,1,-7)},for(x66,{(0,0)},for(x67,{(10,10)},fun(x68,{(0,-5,7)},fun(x69,{(8,-2,1)},fun(x70,{(1,x40,10)},for(x71,{(0,0)},fun(x72,{(x46,20,x43)},fun(x73,{(1,1,6)},fun(x74,{(0,1,-15)},fun(x75,{(1,x26,-13)},fun(x76,{(2,x28,7)},fun(x77,{(1,6,13)},conc(for(x78,{(0,0)},fun(x79,{(11,19,x56)},conc(fun(x80,{(-11,-12,33)},for(x81,{(1,1)},fun(x82,{(12,17,-15),(3,x58,16)},for(x83,{(x29,1)},fun(x84,{(-6,-12,1)},conc(for(x85,{(4,4)},fun(x86,{(13,8,17)},for(x87,{(18,18)},fun(x88,{(x84,1,-8)},fun(x89,{(0,-7,25)},fun(x90,{(0,-26,4)},fun(x91,{(20,-28,-2)},conc(for(x92,{(0,0)},fun(x93,{(-15,13,4),(5,-8,4)},for(x94,{(1,1)},conc(fun(x95,{(-7,0,-4)},fun(x96,{(-7,1,6)},fun(x97,{(-18,13,-19)},fun(x98,{(x87,1,-12)},fun(x99,{(15,2,-3)},conc(fun(x100,{(-10,1,0)},for(x101,{(0,0)},for(x102,{(0,0)},fun(x103,{(-9,1,-15)},fun(x104,{(-6,-6,0)},fun(x105,{(-4,-4,1)},conc(conc(p((0,11),(1)),fun(x106,{(x52,1,x33)},fun(x107,{(4,-13,29)},conc(p((-7,x48),(x25)),for(x108,{(-6,-6)},fun(x109,{(-19,x91,1)},fun(x110,{(x21,-7,1)},for(x111,{(-3,-3)},fun(x112,{(x39,0,-5)},fun(x113,{(-14,x5,-15)},for(x114,{(x71,0)},fun(x115,{(x83,-9,1)},fun(x116,{(x105,-12,x35)},conc(fun(x117,{(0,1,5)},fun(x118,{(x70,x47,x112)},fun(x119,{(7,1,-15)},fun(x120,{(-7,1,16)},for(x121,{(x98,18)},fun(x122,{(x75,x22,11),(8,3,1)},fun(x123,{(-10,x80,15)},conc(fun(x124,{(1,11,x97)},fun(x125,{(26,5,x118)},fun(x126,{(x7,x44,2)},for(x127,{(3,3)},conc(p((5,x2),(0)),for(x128,{(0,0)},conc(fun(x129,{(-3,16,13)},for(x130,{(x128,x13)},fun(x131,{(x129,0,13)},conc(for(x132,{(8,8)},fun(x133,{(14,1,x23)},fun(x134,{(-13,-42,x20)},fun(x135,{(11,x85,3)},conc(for(x136,{(1,1)},fun(x137,{(-11,-1,1)},fun(x138,{(-18,x62,24)},conc(for(x139,{(x74,x117)},fun(x140,{(0,19,x123)},fun(x141,{(x96,x137,-8)},fun(x142,{(x78,-21,-12)},fun(x143,{(x125,-40,8)},fun(x144,{(1,x73,-13)},fun(x145,{(-15,-11,1)},fun(x146,{(x68,1,x66)},conc(for(x147,{(1,1)},conc(fun(x148,{(x27,x134,-17)},for(x149,{(x120,-7)},fun(x150,{(x49,x148,6)},fun(x151,{(-18,-12,x107)},fun(x152,{(12,x34,12)},conc(fun(x153,{(x140,-25,x92)},conc(fun(x154,{(15,x130,x141)},conc(for(x155,{(1,1)},fun(x156,{(x144,x109,x30),(2,-29,x51)},conc(conc(conc(conc(fun(x157,{(x150,-4,16)},fun(x158,{(1,x24,29)},fun(x159,{(10,10,x31)},for(x160,{(1,1)},for(x161,{(x89,0)},fun(x162,{(x121,-21,15)},for(x163,{(1,1)},fun(x164,{(x63,x143,-5),(1,4,1)},conc(p((6,8),(1)),fun(x165,{(39,x151,3)},fun(x166,{(12,x149,38)},fun(x167,{(10,22,x72)},fun(x168,{(42,x124,12),(x116,x57,-14),(26,x53,x6)},conc(p((-3,11),(29)),for(x169,{(4,4)},fun(x170,{(43,1,2)},conc(fun(x171,{(11,x164,x157),(3,x60,-13)},conc(fun(x172,{(x167,-5,-6)},fun(x173,{(x163,x169,1)},for(x174,{(x166,x172)},fun(x175,{(-26,x99,-36)},fun(x176,{(13,-7,x123)},fun(x177,{(x159,x172,x174)},fun(x178,{(-27,x170,-5)},conc(fun(x179,{(x158,1,x171)},conc(conc(conc(conc(for(x180,{(2,6),(44,48),(11,14)},for(x181,{(x179,x178)},p((x181,x180),(1)))),fun(x182,{(x46,x127,1)},for(x183,{(1,21)},conc(for(x184,{(x182,10)},p((x184,x183),(x73))),p((10,6),(x32)))))),p((10,4),(0))),p((2,x173),(1))),p((6,x19),(0)))),p((7,x38),(0)))))))))),p((4,8),(0)))),p((10,5),(0))))))))))))))))))),p((x45,7),(0))),p((-22,x58),(x65))),p((4,x110),(x102))),p((6,11),(0))))),p((x132,11),(0)))),p((6,1),(0)))),p((6,8),(0)))))))),p((7,x41),(x4)))),p((7,11),(x15))))))))))),p((9,5),(0)))))),p((9,x8),(0))))))),p((6,3),(0)))))),p((6,10),(0))))))))),p((0,7),(1)))))))))),p((10,x81),(x95)))))))))))))))),p((6,5),(0))))))))),p((6,2),(0)))))))),for(x185,{(0,x3)},conc(p((6,4),(0)),fun(x186,{(1,-29,1)},fun(x187,{(-5,0,-12)},fun(x188,{(-26,-31,10)},p((x76,3),(x61))))))))))),p((7,5),(0)))))))))),p((6,9),(0)))))))),p((6,6),(0))))),p((1,x54),(1)))))))))))))))))))))))))),p((9,11),(0))))))))))))))))))))),p((9,7),(0)))))))))))))))))))))))))))))))))))))))
