0.00/0.01 c
0.00/0.01 c This is cosoco 2.00 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397171-1568595377.xml
0.00/0.01 c intension eq(dist(x[0],x[1]),238) -> extension (support ? 1) - 42tuples
0.00/0.01 c intension eq(dist(x[2],x[3]),238) -> extension (support ? 1) - 44tuples
0.00/0.01 c intension eq(dist(x[4],x[5]),238) -> extension (support ? 1) - 22tuples
0.00/0.01 c intension eq(dist(x[6],x[7]),238) -> extension (support ? 1) - 6tuples
0.00/0.01 c intension -> extension : same as previous
0.00/0.01 c intension eq(dist(x[10],x[11]),238) -> extension (support ? 1) - 44tuples
0.00/0.01 c intension -> extension : same as previous
0.00/0.01 c intension eq(dist(x[14],x[15]),238) -> extension (support ? 1) - 42tuples
0.00/0.01 c intension eq(dist(x[16],x[17]),238) -> extension (support ? 1) - 22tuples
0.00/0.01 c intension eq(dist(x[18],x[19]),238) -> extension (support ? 1) - 44tuples
0.00/0.01 c intension eq(dist(x[20],x[21]),238) -> extension (support ? 1) - 36tuples
0.00/0.02 c intension eq(dist(x[22],x[23]),238) -> extension (support ? 1) - 6tuples
0.00/0.02 c intension eq(dist(x[24],x[25]),238) -> extension (support ? 1) - 44tuples
0.00/0.02 c intension eq(dist(x[26],x[27]),238) -> extension (support ? 1) - 36tuples
0.00/0.02 c intension -> extension : same as previous
0.00/0.02 c intension eq(dist(x[30],x[31]),238) -> extension (support ? 1) - 44tuples
0.00/0.02 c intension -> extension : same as previous
0.00/0.02 c intension -> extension : same as previous
0.00/0.02 c intension -> extension : same as previous
0.00/0.02 c intension -> extension : same as previous
0.00/0.02 c intension eq(dist(x[40],x[41]),238) -> extension (support ? 1) - 42tuples
0.00/0.02 c intension eq(dist(x[42],x[43]),238) -> extension (support ? 1) - 36tuples
0.00/0.02 c intension eq(dist(x[44],x[45]),238) -> extension (support ? 1) - 44tuples
0.00/0.02 c intension eq(dist(x[46],x[47]),238) -> extension (support ? 1) - 36tuples
0.00/0.02 c intension -> extension : same as previous
0.00/0.02 c intension -> extension : same as previous
0.00/0.02 c intension eq(dist(x[52],x[53]),238) -> extension (support ? 1) - 42tuples
0.00/0.03 c intension eq(dist(x[54],x[55]),238) -> extension (support ? 1) - 44tuples
0.00/0.03 c intension eq(dist(x[56],x[57]),238) -> extension (support ? 1) - 42tuples
0.00/0.03 c intension eq(dist(x[58],x[59]),238) -> extension (support ? 1) - 36tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension eq(dist(x[62],x[63]),238) -> extension (support ? 1) - 42tuples
0.00/0.03 c intension eq(dist(x[64],x[65]),238) -> extension (support ? 1) - 44tuples
0.00/0.03 c intension eq(dist(x[66],x[67]),238) -> extension (support ? 1) - 36tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension eq(dist(x[70],x[71]),238) -> extension (support ? 1) - 42tuples
0.00/0.03 c intension eq(dist(x[72],x[73]),238) -> extension (support ? 1) - 6tuples
0.00/0.03 c intension eq(dist(x[74],x[75]),238) -> extension (support ? 1) - 42tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension eq(dist(x[78],x[79]),238) -> extension (support ? 1) - 44tuples
0.00/0.04 c intension eq(dist(x[80],x[81]),238) -> extension (support ? 1) - 36tuples
0.00/0.04 c intension eq(dist(x[82],x[83]),238) -> extension (support ? 1) - 22tuples
0.00/0.04 c intension eq(dist(x[84],x[85]),238) -> extension (support ? 1) - 44tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension eq(dist(x[94],x[95]),238) -> extension (support ? 1) - 36tuples
0.00/0.04 c intension eq(dist(x[96],x[97]),238) -> extension (support ? 1) - 6tuples
0.00/0.04 c intension eq(dist(x[98],x[99]),238) -> extension (support ? 1) - 42tuples
0.00/0.04 c intension eq(dist(x[100],x[101]),238) -> extension (support ? 1) - 44tuples
0.00/0.04 c intension eq(dist(x[102],x[103]),238) -> extension (support ? 1) - 36tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension eq(dist(x[106],x[107]),238) -> extension (support ? 1) - 24tuples
0.00/0.04 c intension eq(dist(x[108],x[109]),238) -> extension (support ? 1) - 44tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension eq(dist(x[116],x[117]),238) -> extension (support ? 1) - 36tuples
0.00/0.05 c intension eq(dist(x[118],x[119]),238) -> extension (support ? 1) - 44tuples
0.00/0.05 c intension eq(dist(x[120],x[121]),238) -> extension (support ? 1) - 6tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension eq(dist(x[124],x[125]),238) -> extension (support ? 1) - 42tuples
0.00/0.05 c intension eq(dist(x[126],x[127]),238) -> extension (support ? 1) - 36tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension eq(dist(x[130],x[131]),238) -> extension (support ? 1) - 44tuples
0.00/0.05 c intension eq(dist(x[132],x[133]),238) -> extension (support ? 1) - 36tuples
0.00/0.05 c intension eq(dist(x[134],x[135]),238) -> extension (support ? 1) - 6tuples
0.00/0.05 c intension eq(dist(x[136],x[137]),238) -> extension (support ? 1) - 42tuples
0.00/0.05 c intension eq(dist(x[138],x[139]),238) -> extension (support ? 1) - 44tuples
0.00/0.05 c intension eq(dist(x[140],x[141]),238) -> extension (support ? 1) - 42tuples
0.00/0.05 c intension eq(dist(x[142],x[143]),238) -> extension (support ? 1) - 44tuples
0.00/0.06 c intension eq(dist(x[144],x[145]),238) -> extension (support ? 1) - 42tuples
0.00/0.06 c intension eq(dist(x[146],x[147]),238) -> extension (support ? 1) - 44tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension eq(dist(x[150],x[151]),238) -> extension (support ? 1) - 42tuples
0.00/0.06 c intension eq(dist(x[152],x[153]),238) -> extension (support ? 1) - 44tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension eq(dist(x[156],x[157]),238) -> extension (support ? 1) - 42tuples
0.00/0.06 c intension eq(dist(x[158],x[159]),238) -> extension (support ? 1) - 36tuples
0.00/0.06 c intension eq(dist(x[160],x[161]),238) -> extension (support ? 1) - 22tuples
0.00/0.06 c intension eq(dist(x[162],x[163]),238) -> extension (support ? 1) - 42tuples
0.00/0.06 c intension eq(dist(x[164],x[165]),238) -> extension (support ? 1) - 44tuples
0.00/0.06 c intension eq(dist(x[166],x[167]),238) -> extension (support ? 1) - 36tuples
0.00/0.07 c intension eq(dist(x[168],x[169]),238) -> extension (support ? 1) - 42tuples
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension eq(dist(x[172],x[173]),238) -> extension (support ? 1) - 44tuples
0.00/0.07 c intension eq(dist(x[174],x[175]),238) -> extension (support ? 1) - 42tuples
0.00/0.07 c intension eq(dist(x[176],x[177]),238) -> extension (support ? 1) - 24tuples
0.00/0.07 c intension eq(dist(x[178],x[179]),238) -> extension (support ? 1) - 42tuples
0.00/0.07 c intension eq(dist(x[180],x[181]),238) -> extension (support ? 1) - 44tuples
0.00/0.07 c intension eq(dist(x[182],x[183]),238) -> extension (support ? 1) - 42tuples
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension eq(dist(x[186],x[187]),238) -> extension (support ? 1) - 44tuples
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension eq(dist(x[192],x[193]),238) -> extension (support ? 1) - 6tuples
0.00/0.07 c intension eq(dist(x[194],x[195]),238) -> extension (support ? 1) - 36tuples
0.00/0.08 c intension eq(dist(x[196],x[197]),238) -> extension (support ? 1) - 44tuples
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension eq(if(le(200,dist(x[1],x[40])),0,1000),za1[0]) -> extension (support ? 1) - 1764tuples
0.00/0.10 c intension eq(if(le(393,dist(x[2],x[30])),0,1000),za1[1]) -> extension (support ? 1) - 1936tuples
0.10/0.11 c intension eq(if(le(71,dist(x[3],x[7])),0,1000),za1[2]) -> extension (support ? 1) - 264tuples
0.10/0.11 c intension eq(if(le(373,dist(x[30],x[3])),0,1000),za1[3]) -> extension (support ? 1) - 1936tuples
0.10/0.11 c intension eq(if(le(206,dist(x[3],x[68])),0,1000),za1[4]) -> extension (support ? 1) - 1584tuples
0.10/0.12 c intension eq(if(le(188,dist(x[25],x[6])),0,1000),za1[5]) -> extension (support ? 1) - 264tuples
0.10/0.12 c intension eq(if(le(193,dist(x[21],x[8])),0,1000),za1[6]) -> extension (support ? 1) - 216tuples
0.10/0.12 c intension eq(if(le(41,dist(x[85],x[9])),0,1000),za1[7]) -> extension (support ? 1) - 264tuples
0.10/0.12 c intension eq(if(le(189,dist(x[10],x[25])),0,1000),za1[8]) -> extension (support ? 1) - 1936tuples
0.10/0.13 c intension eq(if(le(138,dist(x[10],x[174])),0,1000),za1[9]) -> extension (support ? 1) - 1848tuples
0.10/0.13 c intension eq(if(le(152,dist(x[11],x[74])),0,1000),za1[10]) -> extension (support ? 1) - 1848tuples
0.10/0.13 c intension eq(if(le(158,dist(x[13],x[55])),0,1000),za1[11]) -> extension (support ? 1) - 1936tuples
0.10/0.14 c intension eq(if(le(186,dist(x[14],x[32])),0,1000),za1[12]) -> extension (support ? 1) - 1848tuples
0.10/0.14 c intension eq(if(le(297,dist(x[14],x[45])),0,1000),za1[13]) -> extension (support ? 1) - 1848tuples
0.10/0.15 c intension eq(if(le(132,dist(x[112],x[14])),0,1000),za1[14]) -> extension (support ? 1) - 1848tuples
0.10/0.15 c intension eq(if(le(202,dist(x[16],x[48])),0,1000),za1[15]) -> extension (support ? 1) - 792tuples
0.10/0.15 c intension eq(if(le(81,dist(x[17],x[81])),0,1000),za1[16]) -> extension (support ? 1) - 792tuples
0.10/0.16 c intension eq(if(le(54,dist(x[18],x[66])),0,1000),za1[17]) -> extension (support ? 1) - 1584tuples
0.10/0.16 c intension eq(if(le(263,dist(x[101],x[18])),0,1000),za1[18]) -> extension (support ? 1) - 1936tuples
0.10/0.16 c intension eq(if(le(261,dist(x[19],x[42])),0,1000),za1[19]) -> extension (support ? 1) - 1584tuples
0.10/0.17 c intension eq(if(le(68,dist(x[20],x[62])),0,1000),za1[20]) -> extension (support ? 1) - 1512tuples
0.10/0.17 c intension eq(if(le(162,dist(x[120],x[21])),0,1000),za1[21]) -> extension (support ? 1) - 216tuples
0.10/0.17 c intension eq(if(le(113,dist(x[22],x[24])),0,1000),za1[22]) -> extension (support ? 1) - 264tuples
0.10/0.17 c intension eq(if(le(239,dist(x[22],x[27])),0,1000),za1[23]) -> extension (support ? 1) - 216tuples
0.10/0.17 c intension eq(if(le(171,dist(x[175],x[22])),0,1000),za1[24]) -> extension (support ? 1) - 252tuples
0.10/0.17 c intension eq(if(le(134,dist(x[120],x[23])),0,1000),za1[25]) -> extension (support ? 1) - 36tuples
0.10/0.17 c intension eq(if(le(59,dist(x[175],x[23])),0,1000),za1[26]) -> extension (support ? 1) - 252tuples
0.10/0.18 c intension eq(if(le(55,dist(x[25],x[27])),0,1000),za1[27]) -> extension (support ? 1) - 1584tuples
0.10/0.18 c intension eq(if(le(19,dist(x[121],x[25])),0,1000),za1[28]) -> extension (support ? 1) - 264tuples
0.10/0.18 c intension eq(if(le(11,dist(x[127],x[25])),0,1000),za1[29]) -> extension (support ? 1) - 1584tuples
0.10/0.19 c intension eq(if(le(10,dist(x[175],x[25])),0,1000),za1[30]) -> extension (support ? 1) - 1848tuples
0.10/0.19 c intension eq(if(le(12,dist(x[26],x[74])),0,1000),za1[31]) -> extension (support ? 1) - 1512tuples
0.10/0.19 c intension eq(if(le(119,dist(x[121],x[26])),0,1000),za1[32]) -> extension (support ? 1) - 216tuples
0.10/0.20 c intension eq(if(le(112,dist(x[147],x[26])),0,1000),za1[33]) -> extension (support ? 1) - 1584tuples
0.10/0.20 c intension eq(if(le(191,dist(x[126],x[27])),0,1000),za1[34]) -> extension (support ? 1) - 1296tuples
0.10/0.20 c intension eq(if(le(228,dist(x[147],x[27])),0,1000),za1[35]) -> extension (support ? 1) - 1584tuples
0.10/0.20 c intension eq(if(le(293,dist(x[28],x[82])),0,1000),za1[36]) -> extension (support ? 1) - 792tuples
0.10/0.21 c intension eq(if(le(217,dist(x[28],x[83])),0,1000),za1[37]) -> extension (support ? 1) - 792tuples
0.10/0.21 c intension eq(if(le(207,dist(x[31],x[60])),0,1000),za1[38]) -> extension (support ? 1) - 1584tuples
0.21/0.22 c intension eq(if(le(39,dist(x[32],x[90])),0,1000),za1[39]) -> extension (support ? 1) - 1936tuples
0.21/0.22 c intension eq(if(le(253,dist(x[153],x[32])),0,1000),za1[40]) -> extension (support ? 1) - 1936tuples
0.21/0.22 c intension eq(if(le(71,dist(x[153],x[33])),0,1000),za1[41]) -> extension (support ? 1) - 1936tuples
0.21/0.23 c intension eq(if(le(241,dist(x[195],x[34])),0,1000),za1[42]) -> extension (support ? 1) - 1584tuples
0.21/0.23 c intension eq(if(le(221,dist(x[35],x[82])),0,1000),za1[43]) -> extension (support ? 1) - 968tuples
0.21/0.23 c intension eq(if(le(182,dist(x[113],x[36])),0,1000),za1[44]) -> extension (support ? 1) - 1936tuples
0.21/0.24 c intension eq(if(le(191,dist(x[106],x[39])),0,1000),za1[45]) -> extension (support ? 1) - 1056tuples
0.21/0.24 c intension eq(if(le(295,dist(x[41],x[78])),0,1000),za1[46]) -> extension (support ? 1) - 1848tuples
0.21/0.24 c intension eq(if(le(188,dist(x[42],x[66])),0,1000),za1[47]) -> extension (support ? 1) - 1296tuples
0.21/0.25 c intension eq(if(le(286,dist(x[42],x[91])),0,1000),za1[48]) -> extension (support ? 1) - 1584tuples
0.21/0.25 c intension eq(if(le(190,dist(x[43],x[66])),0,1000),za1[49]) -> extension (support ? 1) - 1296tuples
0.21/0.26 c intension eq(if(le(284,dist(x[43],x[90])),0,1000),za1[50]) -> extension (support ? 1) - 1584tuples
0.21/0.26 c intension eq(if(le(46,dist(x[43],x[91])),0,1000),za1[51]) -> extension (support ? 1) - 1584tuples
0.21/0.26 c intension eq(if(le(140,dist(x[43],x[92])),0,1000),za1[52]) -> extension (support ? 1) - 1584tuples
0.21/0.27 c intension eq(if(le(38,dist(x[159],x[43])),0,1000),za1[53]) -> extension (support ? 1) - 1296tuples
0.21/0.27 c intension eq(if(le(230,dist(x[47],x[89])),0,1000),za1[54]) -> extension (support ? 1) - 1584tuples
0.21/0.27 c intension eq(if(le(51,dist(x[157],x[47])),0,1000),za1[55]) -> extension (support ? 1) - 1512tuples
0.21/0.28 c intension eq(if(le(175,dist(x[53],x[64])),0,1000),za1[56]) -> extension (support ? 1) - 1848tuples
0.21/0.28 c intension eq(if(le(155,dist(x[179],x[53])),0,1000),za1[57]) -> extension (support ? 1) - 1764tuples
0.21/0.29 c intension eq(if(le(225,dist(x[54],x[87])),0,1000),za1[58]) -> extension (support ? 1) - 1936tuples
0.21/0.29 c intension eq(if(le(239,dist(x[135],x[54])),0,1000),za1[59]) -> extension (support ? 1) - 264tuples
0.21/0.29 c intension eq(if(le(279,dist(x[166],x[54])),0,1000),za1[60]) -> extension (support ? 1) - 1584tuples
0.21/0.30 c intension eq(if(le(352,dist(x[183],x[54])),0,1000),za1[61]) -> extension (support ? 1) - 1848tuples
0.21/0.30 c intension eq(if(le(225,dist(x[55],x[58])),0,1000),za1[62]) -> extension (support ? 1) - 1584tuples
0.21/0.30 c intension eq(if(le(127,dist(x[55],x[59])),0,1000),za1[63]) -> extension (support ? 1) - 1584tuples
0.21/0.31 c intension eq(if(le(201,dist(x[55],x[87])),0,1000),za1[64]) -> extension (support ? 1) - 1936tuples
0.21/0.31 c intension eq(if(le(186,dist(x[151],x[55])),0,1000),za1[65]) -> extension (support ? 1) - 1848tuples
0.31/0.31 c intension eq(if(le(237,dist(x[128],x[56])),0,1000),za1[66]) -> extension (support ? 1) - 1512tuples
0.31/0.32 c intension eq(if(le(209,dist(x[167],x[56])),0,1000),za1[67]) -> extension (support ? 1) - 1512tuples
0.31/0.32 c intension eq(if(le(295,dist(x[128],x[57])),0,1000),za1[68]) -> extension (support ? 1) - 1512tuples
0.31/0.33 c intension eq(if(le(195,dist(x[142],x[57])),0,1000),za1[69]) -> extension (support ? 1) - 1848tuples
0.31/0.33 c intension eq(if(le(124,dist(x[151],x[57])),0,1000),za1[70]) -> extension (support ? 1) - 1764tuples
0.31/0.33 c intension eq(if(le(114,dist(x[134],x[58])),0,1000),za1[71]) -> extension (support ? 1) - 216tuples
0.31/0.34 c intension eq(if(le(180,dist(x[151],x[58])),0,1000),za1[72]) -> extension (support ? 1) - 1512tuples
0.31/0.34 c intension eq(if(le(532,dist(x[160],x[58])),0,1000),za1[73]) -> extension (support ? 1) - 792tuples
0.31/0.34 c intension eq(if(le(241,dist(x[59],x[86])),0,1000),za1[74]) -> extension (support ? 1) - 1584tuples
0.31/0.35 c intension eq(if(le(67,dist(x[59],x[87])),0,1000),za1[75]) -> extension (support ? 1) - 1584tuples
0.31/0.35 c intension eq(if(le(27,dist(x[145],x[59])),0,1000),za1[76]) -> extension (support ? 1) - 1512tuples
0.31/0.35 c intension eq(if(le(53,dist(x[151],x[59])),0,1000),za1[77]) -> extension (support ? 1) - 1512tuples
0.31/0.36 c intension eq(if(le(42,dist(x[167],x[59])),0,1000),za1[78]) -> extension (support ? 1) - 1296tuples
0.31/0.36 c intension eq(if(le(230,dist(x[191],x[59])),0,1000),za1[79]) -> extension (support ? 1) - 1584tuples
0.31/0.36 c intension eq(if(le(379,dist(x[64],x[88])),0,1000),za1[80]) -> extension (support ? 1) - 1936tuples
0.31/0.37 c intension eq(if(le(211,dist(x[100],x[66])),0,1000),za1[81]) -> extension (support ? 1) - 1584tuples
0.31/0.37 c intension eq(if(le(298,dist(x[158],x[66])),0,1000),za1[82]) -> extension (support ? 1) - 1296tuples
0.31/0.37 c intension eq(if(le(171,dist(x[159],x[67])),0,1000),za1[83]) -> extension (support ? 1) - 1296tuples
0.31/0.38 c intension eq(if(le(81,dist(x[110],x[70])),0,1000),za1[84]) -> extension (support ? 1) - 1848tuples
0.31/0.38 c intension eq(if(le(39,dist(x[152],x[70])),0,1000),za1[85]) -> extension (support ? 1) - 1848tuples
0.31/0.38 c intension eq(if(le(81,dist(x[72],x[78])),0,1000),za1[86]) -> extension (support ? 1) - 264tuples
0.31/0.38 c intension eq(if(le(287,dist(x[120],x[74])),0,1000),za1[87]) -> extension (support ? 1) - 252tuples
0.31/0.39 c intension eq(if(le(210,dist(x[126],x[75])),0,1000),za1[88]) -> extension (support ? 1) - 1512tuples
0.31/0.39 c intension eq(if(le(28,dist(x[127],x[75])),0,1000),za1[89]) -> extension (support ? 1) - 1512tuples
0.31/0.40 c intension eq(if(le(145,dist(x[146],x[75])),0,1000),za1[90]) -> extension (support ? 1) - 1848tuples
0.31/0.40 c intension eq(if(le(182,dist(x[174],x[75])),0,1000),za1[91]) -> extension (support ? 1) - 1764tuples
0.31/0.40 c intension eq(if(le(94,dist(x[180],x[76])),0,1000),za1[92]) -> extension (support ? 1) - 1848tuples
0.31/0.41 c intension eq(if(le(42,dist(x[184],x[76])),0,1000),za1[93]) -> extension (support ? 1) - 1764tuples
0.31/0.41 c intension eq(if(le(290,dist(x[114],x[77])),0,1000),za1[94]) -> extension (support ? 1) - 1848tuples
0.41/0.42 c intension eq(if(le(199,dist(x[115],x[77])),0,1000),za1[95]) -> extension (support ? 1) - 1848tuples
0.41/0.42 c intension eq(if(le(137,dist(x[196],x[78])),0,1000),za1[96]) -> extension (support ? 1) - 1936tuples
0.41/0.43 c intension eq(if(le(138,dist(x[198],x[78])),0,1000),za1[97]) -> extension (support ? 1) - 1936tuples
0.41/0.43 c intension eq(if(le(140,dist(x[197],x[79])),0,1000),za1[98]) -> extension (support ? 1) - 1936tuples
0.41/0.43 c intension eq(if(le(285,dist(x[184],x[83])),0,1000),za1[99]) -> extension (support ? 1) - 924tuples
0.41/0.44 c intension eq(if(le(238,dist(x[157],x[84])),0,1000),za1[100]) -> extension (support ? 1) - 1848tuples
0.41/0.44 c intension eq(if(le(9,dist(x[186],x[84])),0,1000),za1[101]) -> extension (support ? 1) - 1936tuples
0.41/0.44 c intension eq(if(le(173,dist(x[151],x[85])),0,1000),za1[102]) -> extension (support ? 1) - 1848tuples
0.41/0.45 c intension eq(if(le(243,dist(x[134],x[86])),0,1000),za1[103]) -> extension (support ? 1) - 264tuples
0.41/0.45 c intension eq(if(le(445,dist(x[190],x[86])),0,1000),za1[104]) -> extension (support ? 1) - 1936tuples
0.41/0.45 c intension eq(if(le(497,dist(x[191],x[86])),0,1000),za1[105]) -> extension (support ? 1) - 1936tuples
0.41/0.46 c intension eq(if(le(175,dist(x[134],x[87])),0,1000),za1[106]) -> extension (support ? 1) - 264tuples
0.41/0.46 c intension eq(if(le(72,dist(x[135],x[87])),0,1000),za1[107]) -> extension (support ? 1) - 264tuples
0.41/0.46 c intension eq(if(le(11,dist(x[151],x[87])),0,1000),za1[108]) -> extension (support ? 1) - 1848tuples
0.41/0.47 c intension eq(if(le(166,dist(x[158],x[87])),0,1000),za1[109]) -> extension (support ? 1) - 1584tuples
0.41/0.47 c intension eq(if(le(528,dist(x[190],x[87])),0,1000),za1[110]) -> extension (support ? 1) - 1936tuples
0.41/0.47 c intension eq(if(le(436,dist(x[179],x[88])),0,1000),za1[111]) -> extension (support ? 1) - 1848tuples
0.41/0.48 c intension eq(if(le(154,dist(x[100],x[90])),0,1000),za1[112]) -> extension (support ? 1) - 1936tuples
0.41/0.48 c intension eq(if(le(180,dist(x[105],x[90])),0,1000),za1[113]) -> extension (support ? 1) - 1584tuples
0.41/0.49 c intension eq(if(le(294,dist(x[104],x[91])),0,1000),za1[114]) -> extension (support ? 1) - 1584tuples
0.41/0.49 c intension eq(if(le(263,dist(x[133],x[94])),0,1000),za1[115]) -> extension (support ? 1) - 1296tuples
0.41/0.49 c intension eq(if(le(55,dist(x[160],x[94])),0,1000),za1[116]) -> extension (support ? 1) - 792tuples
0.41/0.49 c intension eq(if(le(294,dist(x[161],x[94])),0,1000),za1[117]) -> extension (support ? 1) - 792tuples
0.41/0.50 c intension eq(if(le(53,dist(x[161],x[95])),0,1000),za1[118]) -> extension (support ? 1) - 792tuples
0.41/0.50 c intension eq(if(le(144,dist(x[184],x[95])),0,1000),za1[119]) -> extension (support ? 1) - 1512tuples
0.41/0.50 c intension eq(if(le(245,dist(x[148],x[96])),0,1000),za1[120]) -> extension (support ? 1) - 264tuples
0.41/0.50 c intension eq(if(le(199,dist(x[158],x[96])),0,1000),za1[121]) -> extension (support ? 1) - 216tuples
0.41/0.50 c intension eq(if(le(268,dist(x[100],x[97])),0,1000),za1[122]) -> extension (support ? 1) - 264tuples
0.41/0.50 c intension eq(if(le(255,dist(x[104],x[97])),0,1000),za1[123]) -> extension (support ? 1) - 216tuples
0.41/0.51 c intension eq(if(le(6,dist(x[159],x[97])),0,1000),za1[124]) -> extension (support ? 1) - 216tuples
0.41/0.51 c intension eq(if(le(284,dist(x[155],x[98])),0,1000),za1[125]) -> extension (support ? 1) - 1848tuples
0.41/0.51 c intension eq(if(le(174,dist(x[101],x[105])),0,1000),za1[126]) -> extension (support ? 1) - 1584tuples
0.51/0.52 c intension eq(if(le(297,dist(x[103],x[110])),0,1000),za1[127]) -> extension (support ? 1) - 1584tuples
0.51/0.52 c intension eq(if(le(195,dist(x[103],x[142])),0,1000),za1[128]) -> extension (support ? 1) - 1584tuples
0.51/0.52 c intension eq(if(le(39,dist(x[103],x[143])),0,1000),za1[129]) -> extension (support ? 1) - 1584tuples
0.51/0.53 c intension eq(if(le(211,dist(x[105],x[149])),0,1000),za1[130]) -> extension (support ? 1) - 1584tuples
0.51/0.53 c intension eq(if(le(103,dist(x[105],x[158])),0,1000),za1[131]) -> extension (support ? 1) - 1296tuples
0.51/0.53 c intension eq(if(le(245,dist(x[106],x[145])),0,1000),za1[132]) -> extension (support ? 1) - 1008tuples
0.51/0.54 c intension eq(if(le(306,dist(x[108],x[143])),0,1000),za1[133]) -> extension (support ? 1) - 1936tuples
0.51/0.54 c intension eq(if(le(200,dist(x[108],x[183])),0,1000),za1[134]) -> extension (support ? 1) - 1848tuples
0.51/0.55 c intension eq(if(le(188,dist(x[109],x[131])),0,1000),za1[135]) -> extension (support ? 1) - 1936tuples
0.51/0.55 c intension eq(if(le(146,dist(x[114],x[193])),0,1000),za1[136]) -> extension (support ? 1) - 264tuples
0.51/0.55 c intension eq(if(le(226,dist(x[116],x[179])),0,1000),za1[137]) -> extension (support ? 1) - 1512tuples
0.51/0.56 c intension eq(if(le(194,dist(x[118],x[186])),0,1000),za1[138]) -> extension (support ? 1) - 1936tuples
0.51/0.56 c intension eq(if(le(110,dist(x[118],x[189])),0,1000),za1[139]) -> extension (support ? 1) - 1936tuples
0.51/0.56 c intension eq(if(le(109,dist(x[120],x[124])),0,1000),za1[140]) -> extension (support ? 1) - 252tuples
0.51/0.56 c intension eq(if(le(180,dist(x[120],x[174])),0,1000),za1[141]) -> extension (support ? 1) - 252tuples
0.51/0.56 c intension eq(if(le(369,dist(x[122],x[137])),0,1000),za1[142]) -> extension (support ? 1) - 252tuples
0.51/0.57 c intension eq(if(le(12,dist(x[124],x[194])),0,1000),za1[143]) -> extension (support ? 1) - 1512tuples
0.51/0.57 c intension eq(if(le(425,dist(x[126],x[147])),0,1000),za1[144]) -> extension (support ? 1) - 1584tuples
0.51/0.58 c intension eq(if(le(224,dist(x[127],x[146])),0,1000),za1[145]) -> extension (support ? 1) - 1584tuples
0.51/0.58 c intension eq(if(le(222,dist(x[128],x[130])),0,1000),za1[146]) -> extension (support ? 1) - 1584tuples
0.51/0.58 c intension eq(if(le(136,dist(x[128],x[131])),0,1000),za1[147]) -> extension (support ? 1) - 1584tuples
0.51/0.59 c intension eq(if(le(205,dist(x[128],x[143])),0,1000),za1[148]) -> extension (support ? 1) - 1584tuples
0.51/0.59 c intension eq(if(le(262,dist(x[129],x[142])),0,1000),za1[149]) -> extension (support ? 1) - 1584tuples
0.51/0.59 c intension eq(if(le(103,dist(x[129],x[145])),0,1000),za1[150]) -> extension (support ? 1) - 1512tuples
0.51/0.60 c intension eq(if(le(162,dist(x[131],x[164])),0,1000),za1[151]) -> extension (support ? 1) - 1936tuples
0.51/0.60 c intension eq(if(le(39,dist(x[132],x[162])),0,1000),za1[152]) -> extension (support ? 1) - 1512tuples
0.60/0.61 c intension eq(if(le(191,dist(x[132],x[163])),0,1000),za1[153]) -> extension (support ? 1) - 1512tuples
0.60/0.61 c intension eq(if(le(37,dist(x[132],x[168])),0,1000),za1[154]) -> extension (support ? 1) - 1512tuples
0.60/0.61 c intension eq(if(le(251,dist(x[132],x[185])),0,1000),za1[155]) -> extension (support ? 1) - 1512tuples
0.60/0.61 c intension eq(if(le(23,dist(x[133],x[161])),0,1000),za1[156]) -> extension (support ? 1) - 792tuples
0.60/0.62 c intension eq(if(le(275,dist(x[133],x[168])),0,1000),za1[157]) -> extension (support ? 1) - 1512tuples
0.60/0.62 c intension eq(if(le(214,dist(x[133],x[181])),0,1000),za1[158]) -> extension (support ? 1) - 1584tuples
0.60/0.62 c intension eq(if(le(106,dist(x[134],x[150])),0,1000),za1[159]) -> extension (support ? 1) - 252tuples
0.60/0.62 c intension eq(if(le(295,dist(x[134],x[157])),0,1000),za1[160]) -> extension (support ? 1) - 252tuples
0.60/0.63 c intension eq(if(le(224,dist(x[134],x[190])),0,1000),za1[161]) -> extension (support ? 1) - 264tuples
0.60/0.63 c intension eq(if(le(57,dist(x[135],x[151])),0,1000),za1[162]) -> extension (support ? 1) - 252tuples
0.60/0.63 c intension eq(if(le(296,dist(x[135],x[164])),0,1000),za1[163]) -> extension (support ? 1) - 264tuples
0.60/0.63 c intension eq(if(le(199,dist(x[135],x[166])),0,1000),za1[164]) -> extension (support ? 1) - 216tuples
0.60/0.63 c intension eq(if(le(23,dist(x[139],x[157])),0,1000),za1[165]) -> extension (support ? 1) - 1848tuples
0.60/0.64 c intension eq(if(le(37,dist(x[139],x[173])),0,1000),za1[166]) -> extension (support ? 1) - 1936tuples
0.60/0.64 c intension eq(if(le(194,dist(x[141],x[170])),0,1000),za1[167]) -> extension (support ? 1) - 1764tuples
0.60/0.64 c intension eq(if(le(111,dist(x[146],x[160])),0,1000),za1[168]) -> extension (support ? 1) - 968tuples
0.60/0.65 c intension eq(if(le(280,dist(x[146],x[161])),0,1000),za1[169]) -> extension (support ? 1) - 968tuples
0.60/0.65 c intension eq(if(le(167,dist(x[149],x[158])),0,1000),za1[170]) -> extension (support ? 1) - 1584tuples
0.60/0.65 c intension eq(if(le(237,dist(x[150],x[165])),0,1000),za1[171]) -> extension (support ? 1) - 1848tuples
0.60/0.66 c intension eq(if(le(65,dist(x[150],x[182])),0,1000),za1[172]) -> extension (support ? 1) - 1764tuples
0.60/0.66 c intension eq(if(le(66,dist(x[151],x[183])),0,1000),za1[173]) -> extension (support ? 1) - 1764tuples
0.60/0.67 c intension eq(if(le(257,dist(x[151],x[190])),0,1000),za1[174]) -> extension (support ? 1) - 1848tuples
0.60/0.67 c intension eq(if(le(223,dist(x[153],x[174])),0,1000),za1[175]) -> extension (support ? 1) - 1848tuples
0.60/0.68 c intension eq(if(le(284,dist(x[157],x[191])),0,1000),za1[176]) -> extension (support ? 1) - 1848tuples
0.60/0.68 c intension eq(if(le(136,dist(x[158],x[168])),0,1000),za1[177]) -> extension (support ? 1) - 1512tuples
0.60/0.68 c intension eq(if(le(249,dist(x[160],x[185])),0,1000),za1[178]) -> extension (support ? 1) - 924tuples
0.60/0.68 c intension eq(if(le(111,dist(x[161],x[193])),0,1000),za1[179]) -> extension (support ? 1) - 132tuples
0.60/0.69 c intension eq(if(le(109,dist(x[164],x[190])),0,1000),za1[180]) -> extension (support ? 1) - 1936tuples
0.60/0.69 c intension eq(if(le(99,dist(x[165],x[183])),0,1000),za1[181]) -> extension (support ? 1) - 1848tuples
0.60/0.69 c intension eq(if(le(23,dist(x[166],x[182])),0,1000),za1[182]) -> extension (support ? 1) - 1512tuples
0.69/0.70 c intension eq(if(le(120,dist(x[166],x[191])),0,1000),za1[183]) -> extension (support ? 1) - 1584tuples
0.69/0.70 c intension eq(if(le(263,dist(x[167],x[182])),0,1000),za1[184]) -> extension (support ? 1) - 1512tuples
0.69/0.71 c intension eq(if(le(24,dist(x[167],x[183])),0,1000),za1[185]) -> extension (support ? 1) - 1512tuples
0.69/0.71 c intension eq(if(le(238,dist(x[167],x[190])),0,1000),za1[186]) -> extension (support ? 1) - 1584tuples
0.69/0.71 c intension eq(if(le(271,dist(x[168],x[185])),0,1000),za1[187]) -> extension (support ? 1) - 1764tuples
0.69/0.72 c intension eq(if(le(179,dist(x[168],x[192])),0,1000),za1[188]) -> extension (support ? 1) - 252tuples
0.69/0.72 c intension eq(if(le(277,dist(x[169],x[190])),0,1000),za1[189]) -> extension (support ? 1) - 1848tuples
0.69/0.72 c intension eq(if(le(309,dist(x[177],x[188])),0,1000),za1[190]) -> extension (support ? 1) - 1056tuples
0.69/0.73 c intension eq(if(le(84,dist(x[180],x[182])),0,1000),za1[191]) -> extension (support ? 1) - 1848tuples
0.69/0.73 c intension eq(if(le(52,dist(x[180],x[184])),0,1000),za1[192]) -> extension (support ? 1) - 1848tuples
0.69/0.73 c intension eq(if(le(290,dist(x[180],x[185])),0,1000),za1[193]) -> extension (support ? 1) - 1848tuples
0.69/0.74 c intension eq(if(le(200,dist(x[181],x[187])),0,1000),za1[194]) -> extension (support ? 1) - 1936tuples
0.69/0.74 c intension eq(if(le(138,dist(x[182],x[190])),0,1000),za1[195]) -> extension (support ? 1) - 1848tuples
0.69/0.75 c intension eq(if(le(158,dist(x[0],x[40])),0,100),za2[0]) -> extension (support ? 1) - 1764tuples
0.69/0.75 c intension eq(if(le(69,dist(x[0],x[112])),0,100),za2[1]) -> extension (support ? 1) - 1848tuples
0.69/0.76 c intension eq(if(le(196,dist(x[0],x[199])),0,100),za2[2]) -> extension (support ? 1) - 1848tuples
0.69/0.76 c intension eq(if(le(134,dist(x[1],x[36])),0,100),za2[3]) -> extension (support ? 1) - 1848tuples
0.69/0.76 c intension eq(if(le(192,dist(x[1],x[42])),0,100),za2[4]) -> extension (support ? 1) - 1512tuples
0.69/0.77 c intension eq(if(le(144,dist(x[1],x[43])),0,100),za2[5]) -> extension (support ? 1) - 1512tuples
0.69/0.77 c intension eq(if(le(52,dist(x[1],x[45])),0,100),za2[6]) -> extension (support ? 1) - 1848tuples
0.69/0.77 c intension eq(if(le(52,dist(x[1],x[72])),0,100),za2[7]) -> extension (support ? 1) - 252tuples
0.69/0.77 c intension eq(if(le(181,dist(x[2],x[8])),0,100),za2[8]) -> extension (support ? 1) - 264tuples
0.69/0.78 c intension eq(if(le(110,dist(x[2],x[9])),0,100),za2[9]) -> extension (support ? 1) - 264tuples
0.69/0.78 c intension eq(if(le(134,dist(x[2],x[35])),0,100),za2[10]) -> extension (support ? 1) - 1936tuples
0.69/0.78 c intension eq(if(le(27,dist(x[2],x[68])),0,100),za2[11]) -> extension (support ? 1) - 1584tuples
0.69/0.79 c intension eq(if(le(195,dist(x[12],x[3])),0,100),za2[12]) -> extension (support ? 1) - 1936tuples
0.69/0.79 c intension eq(if(le(168,dist(x[34],x[3])),0,100),za2[13]) -> extension (support ? 1) - 1936tuples
0.69/0.79 c intension eq(if(le(277,dist(x[4],x[7])),0,100),za2[14]) -> extension (support ? 1) - 132tuples
0.69/0.80 c intension eq(if(le(142,dist(x[24],x[4])),0,100),za2[15]) -> extension (support ? 1) - 968tuples
0.79/0.80 c intension eq(if(le(182,dist(x[25],x[4])),0,100),za2[16]) -> extension (support ? 1) - 968tuples
0.79/0.80 c intension eq(if(le(69,dist(x[5],x[6])),0,100),za2[17]) -> extension (support ? 1) - 132tuples
0.79/0.80 c intension eq(if(le(163,dist(x[5],x[7])),0,100),za2[18]) -> extension (support ? 1) - 132tuples
0.79/0.80 c intension eq(if(le(116,dist(x[119],x[5])),0,100),za2[19]) -> extension (support ? 1) - 968tuples
0.79/0.80 c intension eq(if(le(234,dist(x[27],x[8])),0,100),za2[20]) -> extension (support ? 1) - 216tuples
0.79/0.80 c intension eq(if(le(243,dist(x[62],x[9])),0,100),za2[21]) -> extension (support ? 1) - 252tuples
0.79/0.81 c intension eq(if(le(289,dist(x[186],x[9])),0,100),za2[22]) -> extension (support ? 1) - 264tuples
0.79/0.81 c intension eq(if(le(121,dist(x[10],x[24])),0,100),za2[23]) -> extension (support ? 1) - 1936tuples
0.79/0.81 c intension eq(if(le(80,dist(x[10],x[74])),0,100),za2[24]) -> extension (support ? 1) - 1848tuples
0.79/0.82 c intension eq(if(le(143,dist(x[11],x[22])),0,100),za2[25]) -> extension (support ? 1) - 264tuples
0.79/0.82 c intension eq(if(le(69,dist(x[11],x[27])),0,100),za2[26]) -> extension (support ? 1) - 1584tuples
0.79/0.82 c intension eq(if(le(82,dist(x[11],x[75])),0,100),za2[27]) -> extension (support ? 1) - 1848tuples
0.79/0.83 c intension eq(if(le(145,dist(x[11],x[121])),0,100),za2[28]) -> extension (support ? 1) - 264tuples
0.79/0.83 c intension eq(if(le(134,dist(x[12],x[61])),0,100),za2[29]) -> extension (support ? 1) - 1584tuples
0.79/0.83 c intension eq(if(le(12,dist(x[13],x[69])),0,100),za2[30]) -> extension (support ? 1) - 1584tuples
0.79/0.84 c intension eq(if(le(93,dist(x[14],x[37])),0,100),za2[31]) -> extension (support ? 1) - 1848tuples
0.79/0.84 c intension eq(if(le(173,dist(x[14],x[73])),0,100),za2[32]) -> extension (support ? 1) - 252tuples
0.79/0.84 c intension eq(if(le(257,dist(x[15],x[78])),0,100),za2[33]) -> extension (support ? 1) - 1848tuples
0.79/0.85 c intension eq(if(le(232,dist(x[15],x[198])),0,100),za2[34]) -> extension (support ? 1) - 1848tuples
0.79/0.85 c intension eq(if(le(155,dist(x[15],x[199])),0,100),za2[35]) -> extension (support ? 1) - 1848tuples
0.79/0.85 c intension eq(if(le(158,dist(x[16],x[21])),0,100),za2[36]) -> extension (support ? 1) - 792tuples
0.79/0.86 c intension eq(if(le(84,dist(x[16],x[80])),0,100),za2[37]) -> extension (support ? 1) - 792tuples
0.79/0.86 c intension eq(if(le(346,dist(x[16],x[93])),0,100),za2[38]) -> extension (support ? 1) - 968tuples
0.79/0.86 c intension eq(if(le(140,dist(x[17],x[32])),0,100),za2[39]) -> extension (support ? 1) - 968tuples
0.79/0.86 c intension eq(if(le(269,dist(x[18],x[42])),0,100),za2[40]) -> extension (support ? 1) - 1584tuples
0.79/0.87 c intension eq(if(le(120,dist(x[18],x[91])),0,100),za2[41]) -> extension (support ? 1) - 1936tuples
0.79/0.87 c intension eq(if(le(224,dist(x[18],x[96])),0,100),za2[42]) -> extension (support ? 1) - 264tuples
0.79/0.87 c intension eq(if(le(83,dist(x[104],x[18])),0,100),za2[43]) -> extension (support ? 1) - 1584tuples
0.79/0.88 c intension eq(if(le(277,dist(x[105],x[18])),0,100),za2[44]) -> extension (support ? 1) - 1584tuples
0.79/0.88 c intension eq(if(le(365,dist(x[149],x[18])),0,100),za2[45]) -> extension (support ? 1) - 1936tuples
0.79/0.88 c intension eq(if(le(107,dist(x[19],x[48])),0,100),za2[46]) -> extension (support ? 1) - 1584tuples
0.79/0.89 c intension eq(if(le(181,dist(x[19],x[66])),0,100),za2[47]) -> extension (support ? 1) - 1584tuples
0.79/0.89 c intension eq(if(le(96,dist(x[19],x[90])),0,100),za2[48]) -> extension (support ? 1) - 1936tuples
0.89/0.90 c intension eq(if(le(150,dist(x[104],x[19])),0,100),za2[49]) -> extension (support ? 1) - 1584tuples
0.89/0.90 c intension eq(if(le(385,dist(x[148],x[19])),0,100),za2[50]) -> extension (support ? 1) - 1936tuples
0.89/0.90 c intension eq(if(le(197,dist(x[158],x[19])),0,100),za2[51]) -> extension (support ? 1) - 1584tuples
0.89/0.91 c intension eq(if(le(223,dist(x[20],x[54])),0,100),za2[52]) -> extension (support ? 1) - 1584tuples
0.89/0.91 c intension eq(if(le(254,dist(x[186],x[21])),0,100),za2[53]) -> extension (support ? 1) - 1584tuples
0.89/0.91 c intension eq(if(le(463,dist(x[22],x[74])),0,100),za2[54]) -> extension (support ? 1) - 252tuples
0.89/0.91 c intension eq(if(le(116,dist(x[126],x[22])),0,100),za2[55]) -> extension (support ? 1) - 216tuples
0.89/0.92 c intension eq(if(le(103,dist(x[144],x[22])),0,100),za2[56]) -> extension (support ? 1) - 252tuples
0.89/0.92 c intension eq(if(le(222,dist(x[146],x[22])),0,100),za2[57]) -> extension (support ? 1) - 264tuples
0.89/0.92 c intension eq(if(le(10,dist(x[147],x[22])),0,100),za2[58]) -> extension (support ? 1) - 264tuples
0.89/0.92 c intension eq(if(le(185,dist(x[23],x[24])),0,100),za2[59]) -> extension (support ? 1) - 264tuples
0.89/0.92 c intension eq(if(le(50,dist(x[23],x[25])),0,100),za2[60]) -> extension (support ? 1) - 264tuples
0.89/0.92 c intension eq(if(le(240,dist(x[23],x[26])),0,100),za2[61]) -> extension (support ? 1) - 216tuples
0.89/0.92 c intension eq(if(le(6,dist(x[23],x[27])),0,100),za2[62]) -> extension (support ? 1) - 216tuples
0.89/0.92 c intension eq(if(le(68,dist(x[121],x[23])),0,100),za2[63]) -> extension (support ? 1) - 36tuples
0.89/0.93 c intension eq(if(le(197,dist(x[126],x[23])),0,100),za2[64]) -> extension (support ? 1) - 216tuples
0.89/0.93 c intension eq(if(le(36,dist(x[127],x[23])),0,100),za2[65]) -> extension (support ? 1) - 216tuples
0.89/0.93 c intension eq(if(le(261,dist(x[146],x[23])),0,100),za2[66]) -> extension (support ? 1) - 264tuples
0.89/0.93 c intension eq(if(le(223,dist(x[147],x[23])),0,100),za2[67]) -> extension (support ? 1) - 264tuples
0.89/0.93 c intension eq(if(le(52,dist(x[24],x[26])),0,100),za2[68]) -> extension (support ? 1) - 1584tuples
0.89/0.94 c intension eq(if(le(39,dist(x[24],x[74])),0,100),za2[69]) -> extension (support ? 1) - 1848tuples
0.89/0.94 c intension eq(if(le(192,dist(x[24],x[75])),0,100),za2[70]) -> extension (support ? 1) - 1848tuples
0.89/0.94 c intension eq(if(le(203,dist(x[120],x[24])),0,100),za2[71]) -> extension (support ? 1) - 264tuples
0.89/0.95 c intension eq(if(le(210,dist(x[145],x[24])),0,100),za2[72]) -> extension (support ? 1) - 1848tuples
0.89/0.95 c intension eq(if(le(11,dist(x[174],x[24])),0,100),za2[73]) -> extension (support ? 1) - 1848tuples
0.89/0.95 c intension eq(if(le(290,dist(x[25],x[26])),0,100),za2[74]) -> extension (support ? 1) - 1584tuples
0.89/0.96 c intension eq(if(le(256,dist(x[120],x[25])),0,100),za2[75]) -> extension (support ? 1) - 264tuples
0.89/0.96 c intension eq(if(le(252,dist(x[126],x[25])),0,100),za2[76]) -> extension (support ? 1) - 1584tuples
0.89/0.96 c intension eq(if(le(221,dist(x[174],x[25])),0,100),za2[77]) -> extension (support ? 1) - 1848tuples
0.89/0.97 c intension eq(if(le(110,dist(x[120],x[26])),0,100),za2[78]) -> extension (support ? 1) - 216tuples
0.89/0.97 c intension eq(if(le(41,dist(x[126],x[26])),0,100),za2[79]) -> extension (support ? 1) - 1296tuples
0.89/0.97 c intension eq(if(le(9,dist(x[27],x[75])),0,100),za2[80]) -> extension (support ? 1) - 1512tuples
0.89/0.97 c intension eq(if(le(195,dist(x[120],x[27])),0,100),za2[81]) -> extension (support ? 1) - 216tuples
0.89/0.98 c intension eq(if(le(156,dist(x[28],x[80])),0,100),za2[82]) -> extension (support ? 1) - 1296tuples
0.89/0.98 c intension eq(if(le(10,dist(x[136],x[28])),0,100),za2[83]) -> extension (support ? 1) - 1512tuples
0.89/0.98 c intension eq(if(le(201,dist(x[31],x[77])),0,100),za2[84]) -> extension (support ? 1) - 1848tuples
0.89/0.99 c intension eq(if(le(277,dist(x[32],x[91])),0,100),za2[85]) -> extension (support ? 1) - 1936tuples
0.89/0.99 c intension eq(if(le(144,dist(x[140],x[32])),0,100),za2[86]) -> extension (support ? 1) - 1848tuples
0.89/1.00 c intension eq(if(le(235,dist(x[171],x[32])),0,100),za2[87]) -> extension (support ? 1) - 1848tuples
0.89/1.00 c intension eq(if(le(299,dist(x[140],x[33])),0,100),za2[88]) -> extension (support ? 1) - 1848tuples
1.00/1.01 c intension eq(if(le(137,dist(x[36],x[56])),0,100),za2[89]) -> extension (support ? 1) - 1848tuples
1.00/1.01 c intension eq(if(le(93,dist(x[37],x[41])),0,100),za2[90]) -> extension (support ? 1) - 1848tuples
1.00/1.01 c intension eq(if(le(263,dist(x[38],x[61])),0,100),za2[91]) -> extension (support ? 1) - 1584tuples
1.00/1.02 c intension eq(if(le(207,dist(x[102],x[39])),0,100),za2[92]) -> extension (support ? 1) - 1584tuples
1.00/1.02 c intension eq(if(le(338,dist(x[41],x[44])),0,100),za2[93]) -> extension (support ? 1) - 1848tuples
1.00/1.02 c intension eq(if(le(19,dist(x[41],x[73])),0,100),za2[94]) -> extension (support ? 1) - 252tuples
1.00/1.03 c intension eq(if(le(126,dist(x[149],x[42])),0,100),za2[95]) -> extension (support ? 1) - 1584tuples
1.00/1.03 c intension eq(if(le(68,dist(x[101],x[43])),0,100),za2[96]) -> extension (support ? 1) - 1584tuples
1.00/1.03 c intension eq(if(le(129,dist(x[104],x[43])),0,100),za2[97]) -> extension (support ? 1) - 1296tuples
1.00/1.04 c intension eq(if(le(182,dist(x[148],x[43])),0,100),za2[98]) -> extension (support ? 1) - 1584tuples
1.00/1.04 c intension eq(if(le(12,dist(x[44],x[84])),0,100),za2[99]) -> extension (support ? 1) - 1936tuples
1.00/1.04 c intension eq(if(le(107,dist(x[45],x[72])),0,100),za2[100]) -> extension (support ? 1) - 264tuples
1.00/1.05 c intension eq(if(le(128,dist(x[46],x[50])),0,100),za2[101]) -> extension (support ? 1) - 1296tuples
1.00/1.05 c intension eq(if(le(66,dist(x[47],x[99])),0,100),za2[102]) -> extension (support ? 1) - 1512tuples
1.00/1.05 c intension eq(if(le(195,dist(x[122],x[48])),0,100),za2[103]) -> extension (support ? 1) - 216tuples
1.00/1.05 c intension eq(if(le(107,dist(x[125],x[48])),0,100),za2[104]) -> extension (support ? 1) - 1512tuples
1.00/1.06 c intension eq(if(le(153,dist(x[133],x[48])),0,100),za2[105]) -> extension (support ? 1) - 1296tuples
1.00/1.06 c intension eq(if(le(290,dist(x[114],x[49])),0,100),za2[106]) -> extension (support ? 1) - 1584tuples
1.00/1.06 c intension eq(if(le(183,dist(x[115],x[49])),0,100),za2[107]) -> extension (support ? 1) - 1584tuples
1.00/1.07 c intension eq(if(le(79,dist(x[154],x[50])),0,100),za2[108]) -> extension (support ? 1) - 1584tuples
1.00/1.07 c intension eq(if(le(268,dist(x[51],x[65])),0,100),za2[109]) -> extension (support ? 1) - 1584tuples
1.00/1.08 c intension eq(if(le(41,dist(x[53],x[89])),0,100),za2[110]) -> extension (support ? 1) - 1848tuples
1.00/1.08 c intension eq(if(le(55,dist(x[53],x[96])),0,100),za2[111]) -> extension (support ? 1) - 252tuples
1.00/1.08 c intension eq(if(le(153,dist(x[116],x[53])),0,100),za2[112]) -> extension (support ? 1) - 1512tuples
1.00/1.09 c intension eq(if(le(139,dist(x[54],x[86])),0,100),za2[113]) -> extension (support ? 1) - 1936tuples
1.00/1.09 c intension eq(if(le(272,dist(x[144],x[54])),0,100),za2[114]) -> extension (support ? 1) - 1848tuples
1.00/1.09 c intension eq(if(le(167,dist(x[150],x[54])),0,100),za2[115]) -> extension (support ? 1) - 1848tuples
1.00/1.10 c intension eq(if(le(139,dist(x[191],x[54])),0,100),za2[116]) -> extension (support ? 1) - 1936tuples
1.00/1.10 c intension eq(if(le(219,dist(x[164],x[55])),0,100),za2[117]) -> extension (support ? 1) - 1936tuples
1.10/1.11 c intension eq(if(le(235,dist(x[166],x[55])),0,100),za2[118]) -> extension (support ? 1) - 1584tuples
1.10/1.11 c intension eq(if(le(217,dist(x[190],x[55])),0,100),za2[119]) -> extension (support ? 1) - 1936tuples
1.10/1.11 c intension eq(if(le(97,dist(x[191],x[55])),0,100),za2[120]) -> extension (support ? 1) - 1936tuples
1.10/1.12 c intension eq(if(le(269,dist(x[109],x[56])),0,100),za2[121]) -> extension (support ? 1) - 1848tuples
1.10/1.12 c intension eq(if(le(124,dist(x[156],x[56])),0,100),za2[122]) -> extension (support ? 1) - 1764tuples
1.10/1.13 c intension eq(if(le(216,dist(x[162],x[57])),0,100),za2[123]) -> extension (support ? 1) - 1764tuples
1.10/1.13 c intension eq(if(le(164,dist(x[58],x[87])),0,100),za2[124]) -> extension (support ? 1) - 1584tuples
1.10/1.13 c intension eq(if(le(51,dist(x[150],x[58])),0,100),za2[125]) -> extension (support ? 1) - 1512tuples
1.10/1.14 c intension eq(if(le(105,dist(x[161],x[58])),0,100),za2[126]) -> extension (support ? 1) - 792tuples
1.10/1.14 c intension eq(if(le(37,dist(x[166],x[58])),0,100),za2[127]) -> extension (support ? 1) - 1296tuples
1.10/1.14 c intension eq(if(le(172,dist(x[191],x[58])),0,100),za2[128]) -> extension (support ? 1) - 1584tuples
1.10/1.15 c intension eq(if(le(239,dist(x[134],x[59])),0,100),za2[129]) -> extension (support ? 1) - 216tuples
1.10/1.15 c intension eq(if(le(116,dist(x[165],x[59])),0,100),za2[130]) -> extension (support ? 1) - 1584tuples
1.10/1.15 c intension eq(if(le(191,dist(x[166],x[59])),0,100),za2[131]) -> extension (support ? 1) - 1296tuples
1.10/1.16 c intension eq(if(le(101,dist(x[62],x[84])),0,100),za2[132]) -> extension (support ? 1) - 1848tuples
1.10/1.16 c intension eq(if(le(79,dist(x[183],x[65])),0,100),za2[133]) -> extension (support ? 1) - 1848tuples
1.10/1.16 c intension eq(if(le(219,dist(x[66],x[91])),0,100),za2[134]) -> extension (support ? 1) - 1584tuples
1.10/1.17 c intension eq(if(le(165,dist(x[66],x[96])),0,100),za2[135]) -> extension (support ? 1) - 216tuples
1.10/1.17 c intension eq(if(le(207,dist(x[66],x[98])),0,100),za2[136]) -> extension (support ? 1) - 1512tuples
1.10/1.17 c intension eq(if(le(25,dist(x[104],x[66])),0,100),za2[137]) -> extension (support ? 1) - 1296tuples
1.10/1.18 c intension eq(if(le(478,dist(x[149],x[66])),0,100),za2[138]) -> extension (support ? 1) - 1584tuples
1.10/1.18 c intension eq(if(le(145,dist(x[159],x[66])),0,100),za2[139]) -> extension (support ? 1) - 1296tuples
1.10/1.18 c intension eq(if(le(149,dist(x[67],x[90])),0,100),za2[140]) -> extension (support ? 1) - 1584tuples
1.10/1.18 c intension eq(if(le(69,dist(x[67],x[96])),0,100),za2[141]) -> extension (support ? 1) - 216tuples
1.10/1.18 c intension eq(if(le(166,dist(x[67],x[97])),0,100),za2[142]) -> extension (support ? 1) - 216tuples
1.10/1.19 c intension eq(if(le(437,dist(x[100],x[67])),0,100),za2[143]) -> extension (support ? 1) - 1584tuples
1.10/1.19 c intension eq(if(le(199,dist(x[101],x[67])),0,100),za2[144]) -> extension (support ? 1) - 1584tuples
1.19/1.20 c intension eq(if(le(115,dist(x[148],x[67])),0,100),za2[145]) -> extension (support ? 1) - 1584tuples
1.19/1.20 c intension eq(if(le(121,dist(x[158],x[67])),0,100),za2[146]) -> extension (support ? 1) - 1296tuples
1.19/1.20 c intension eq(if(le(128,dist(x[106],x[70])),0,100),za2[147]) -> extension (support ? 1) - 1008tuples
1.19/1.21 c intension eq(if(le(167,dist(x[157],x[70])),0,100),za2[148]) -> extension (support ? 1) - 1764tuples
1.19/1.21 c intension eq(if(le(23,dist(x[126],x[74])),0,100),za2[149]) -> extension (support ? 1) - 1512tuples
1.19/1.21 c intension eq(if(le(264,dist(x[127],x[74])),0,100),za2[150]) -> extension (support ? 1) - 1512tuples
1.19/1.22 c intension eq(if(le(110,dist(x[146],x[74])),0,100),za2[151]) -> extension (support ? 1) - 1848tuples
1.19/1.22 c intension eq(if(le(213,dist(x[147],x[74])),0,100),za2[152]) -> extension (support ? 1) - 1848tuples
1.19/1.22 c intension eq(if(le(106,dist(x[76],x[94])),0,100),za2[153]) -> extension (support ? 1) - 1512tuples
1.19/1.23 c intension eq(if(le(137,dist(x[76],x[95])),0,100),za2[154]) -> extension (support ? 1) - 1512tuples
1.19/1.23 c intension eq(if(le(248,dist(x[114],x[76])),0,100),za2[155]) -> extension (support ? 1) - 1848tuples
1.19/1.24 c intension eq(if(le(120,dist(x[133],x[76])),0,100),za2[156]) -> extension (support ? 1) - 1512tuples
1.19/1.24 c intension eq(if(le(142,dist(x[169],x[76])),0,100),za2[157]) -> extension (support ? 1) - 1764tuples
1.19/1.24 c intension eq(if(le(189,dist(x[192],x[76])),0,100),za2[158]) -> extension (support ? 1) - 252tuples
1.19/1.24 c intension eq(if(le(213,dist(x[193],x[76])),0,100),za2[159]) -> extension (support ? 1) - 252tuples
1.19/1.25 c intension eq(if(le(117,dist(x[132],x[77])),0,100),za2[160]) -> extension (support ? 1) - 1512tuples
1.19/1.25 c intension eq(if(le(180,dist(x[168],x[77])),0,100),za2[161]) -> extension (support ? 1) - 1764tuples
1.19/1.25 c intension eq(if(le(159,dist(x[169],x[77])),0,100),za2[162]) -> extension (support ? 1) - 1764tuples
1.19/1.26 c intension eq(if(le(94,dist(x[181],x[77])),0,100),za2[163]) -> extension (support ? 1) - 1848tuples
1.19/1.26 c intension eq(if(le(11,dist(x[183],x[77])),0,100),za2[164]) -> extension (support ? 1) - 1764tuples
1.19/1.27 c intension eq(if(le(97,dist(x[199],x[78])),0,100),za2[165]) -> extension (support ? 1) - 1936tuples
1.19/1.27 c intension eq(if(le(214,dist(x[135],x[80])),0,100),za2[166]) -> extension (support ? 1) - 216tuples
1.19/1.27 c intension eq(if(le(205,dist(x[195],x[80])),0,100),za2[167]) -> extension (support ? 1) - 1296tuples
1.19/1.28 c intension eq(if(le(536,dist(x[118],x[84])),0,100),za2[168]) -> extension (support ? 1) - 1936tuples
1.19/1.28 c intension eq(if(le(127,dist(x[156],x[84])),0,100),za2[169]) -> extension (support ? 1) - 1848tuples
1.19/1.28 c intension eq(if(le(188,dist(x[189],x[84])),0,100),za2[170]) -> extension (support ? 1) - 1936tuples
1.19/1.29 c intension eq(if(le(117,dist(x[150],x[85])),0,100),za2[171]) -> extension (support ? 1) - 1848tuples
1.19/1.29 c intension eq(if(le(13,dist(x[150],x[86])),0,100),za2[172]) -> extension (support ? 1) - 1848tuples
1.29/1.30 c intension eq(if(le(113,dist(x[164],x[86])),0,100),za2[173]) -> extension (support ? 1) - 1936tuples
1.29/1.30 c intension eq(if(le(224,dist(x[150],x[87])),0,100),za2[174]) -> extension (support ? 1) - 1848tuples
1.29/1.31 c intension eq(if(le(183,dist(x[165],x[87])),0,100),za2[175]) -> extension (support ? 1) - 1936tuples
1.29/1.31 c intension eq(if(le(152,dist(x[182],x[87])),0,100),za2[176]) -> extension (support ? 1) - 1848tuples
1.29/1.31 c intension eq(if(le(81,dist(x[183],x[87])),0,100),za2[177]) -> extension (support ? 1) - 1848tuples
1.29/1.32 c intension eq(if(le(470,dist(x[191],x[87])),0,100),za2[178]) -> extension (support ? 1) - 1936tuples
1.29/1.32 c intension eq(if(le(121,dist(x[117],x[89])),0,100),za2[179]) -> extension (support ? 1) - 1584tuples
1.29/1.32 c intension eq(if(le(81,dist(x[90],x[96])),0,100),za2[180]) -> extension (support ? 1) - 264tuples
1.29/1.32 c intension eq(if(le(263,dist(x[90],x[97])),0,100),za2[181]) -> extension (support ? 1) - 264tuples
1.29/1.33 c intension eq(if(le(229,dist(x[158],x[90])),0,100),za2[182]) -> extension (support ? 1) - 1584tuples
1.29/1.33 c intension eq(if(le(154,dist(x[91],x[96])),0,100),za2[183]) -> extension (support ? 1) - 264tuples
1.29/1.33 c intension eq(if(le(141,dist(x[100],x[91])),0,100),za2[184]) -> extension (support ? 1) - 1936tuples
1.29/1.34 c intension eq(if(le(115,dist(x[101],x[91])),0,100),za2[185]) -> extension (support ? 1) - 1936tuples
1.29/1.34 c intension eq(if(le(53,dist(x[105],x[91])),0,100),za2[186]) -> extension (support ? 1) - 1584tuples
1.29/1.35 c intension eq(if(le(240,dist(x[148],x[91])),0,100),za2[187]) -> extension (support ? 1) - 1936tuples
1.29/1.35 c intension eq(if(le(295,dist(x[158],x[91])),0,100),za2[188]) -> extension (support ? 1) - 1584tuples
1.29/1.35 c intension eq(if(le(86,dist(x[159],x[91])),0,100),za2[189]) -> extension (support ? 1) - 1584tuples
1.29/1.36 c intension eq(if(le(10,dist(x[136],x[92])),0,100),za2[190]) -> extension (support ? 1) - 1848tuples
1.29/1.36 c intension eq(if(le(54,dist(x[114],x[94])),0,100),za2[191]) -> extension (support ? 1) - 1584tuples
1.29/1.36 c intension eq(if(le(196,dist(x[184],x[94])),0,100),za2[192]) -> extension (support ? 1) - 1512tuples
1.29/1.37 c intension eq(if(le(208,dist(x[132],x[95])),0,100),za2[193]) -> extension (support ? 1) - 1296tuples
1.29/1.37 c intension eq(if(le(25,dist(x[133],x[95])),0,100),za2[194]) -> extension (support ? 1) - 1296tuples
1.29/1.37 c intension eq(if(le(188,dist(x[185],x[95])),0,100),za2[195]) -> extension (support ? 1) - 1512tuples
1.29/1.38 c intension eq(if(le(68,dist(x[192],x[95])),0,100),za2[196]) -> extension (support ? 1) - 216tuples
1.29/1.38 c intension eq(if(le(271,dist(x[100],x[96])),0,100),za2[197]) -> extension (support ? 1) - 264tuples
1.29/1.38 c intension eq(if(le(96,dist(x[105],x[96])),0,100),za2[198]) -> extension (support ? 1) - 216tuples
1.29/1.38 c intension eq(if(le(230,dist(x[149],x[96])),0,100),za2[199]) -> extension (support ? 1) - 264tuples
1.29/1.38 c intension eq(if(le(135,dist(x[105],x[97])),0,100),za2[200]) -> extension (support ? 1) - 216tuples
1.29/1.38 c intension eq(if(le(268,dist(x[117],x[98])),0,100),za2[201]) -> extension (support ? 1) - 1512tuples
1.29/1.39 c intension eq(if(le(171,dist(x[192],x[99])),0,100),za2[202]) -> extension (support ? 1) - 252tuples
1.29/1.39 c intension eq(if(le(61,dist(x[193],x[99])),0,100),za2[203]) -> extension (support ? 1) - 252tuples
1.29/1.39 c intension eq(if(le(192,dist(x[100],x[149])),0,100),za2[204]) -> extension (support ? 1) - 1936tuples
1.29/1.40 c intension eq(if(le(25,dist(x[100],x[158])),0,100),za2[205]) -> extension (support ? 1) - 1584tuples
1.39/1.40 c intension eq(if(le(409,dist(x[101],x[104])),0,100),za2[206]) -> extension (support ? 1) - 1584tuples
1.39/1.40 c intension eq(if(le(39,dist(x[101],x[149])),0,100),za2[207]) -> extension (support ? 1) - 1936tuples
1.39/1.41 c intension eq(if(le(207,dist(x[101],x[158])),0,100),za2[208]) -> extension (support ? 1) - 1584tuples
1.39/1.41 c intension eq(if(le(125,dist(x[102],x[144])),0,100),za2[209]) -> extension (support ? 1) - 1512tuples
1.39/1.41 c intension eq(if(le(219,dist(x[103],x[106])),0,100),za2[210]) -> extension (support ? 1) - 864tuples
1.39/1.42 c intension eq(if(le(536,dist(x[104],x[148])),0,100),za2[211]) -> extension (support ? 1) - 1584tuples
1.39/1.42 c intension eq(if(le(146,dist(x[104],x[149])),0,100),za2[212]) -> extension (support ? 1) - 1584tuples
1.39/1.42 c intension eq(if(le(250,dist(x[104],x[158])),0,100),za2[213]) -> extension (support ? 1) - 1296tuples
1.39/1.43 c intension eq(if(le(279,dist(x[106],x[111])),0,100),za2[214]) -> extension (support ? 1) - 1056tuples
1.39/1.43 c intension eq(if(le(238,dist(x[106],x[144])),0,100),za2[215]) -> extension (support ? 1) - 1008tuples
1.39/1.43 c intension eq(if(le(203,dist(x[108],x[182])),0,100),za2[216]) -> extension (support ? 1) - 1848tuples
1.39/1.44 c intension eq(if(le(126,dist(x[110],x[152])),0,100),za2[217]) -> extension (support ? 1) - 1936tuples
1.39/1.44 c intension eq(if(le(55,dist(x[111],x[141])),0,100),za2[218]) -> extension (support ? 1) - 1848tuples
1.39/1.45 c intension eq(if(le(42,dist(x[114],x[162])),0,100),za2[219]) -> extension (support ? 1) - 1848tuples
1.39/1.45 c intension eq(if(le(278,dist(x[114],x[169])),0,100),za2[220]) -> extension (support ? 1) - 1848tuples
1.39/1.45 c intension eq(if(le(535,dist(x[114],x[180])),0,100),za2[221]) -> extension (support ? 1) - 1936tuples
1.39/1.46 c intension eq(if(le(395,dist(x[114],x[181])),0,100),za2[222]) -> extension (support ? 1) - 1936tuples
1.39/1.46 c intension eq(if(le(533,dist(x[114],x[184])),0,100),za2[223]) -> extension (support ? 1) - 1848tuples
1.39/1.47 c intension eq(if(le(42,dist(x[115],x[169])),0,100),za2[224]) -> extension (support ? 1) - 1848tuples
1.39/1.47 c intension eq(if(le(492,dist(x[115],x[180])),0,100),za2[225]) -> extension (support ? 1) - 1936tuples
1.39/1.48 c intension eq(if(le(400,dist(x[115],x[181])),0,100),za2[226]) -> extension (support ? 1) - 1936tuples
1.39/1.48 c intension eq(if(le(120,dist(x[115],x[184])),0,100),za2[227]) -> extension (support ? 1) - 1848tuples
1.39/1.48 c intension eq(if(le(242,dist(x[115],x[185])),0,100),za2[228]) -> extension (support ? 1) - 1848tuples
1.39/1.49 c intension eq(if(le(221,dist(x[115],x[193])),0,100),za2[229]) -> extension (support ? 1) - 264tuples
1.39/1.49 c intension eq(if(le(207,dist(x[118],x[176])),0,100),za2[230]) -> extension (support ? 1) - 1056tuples
1.39/1.49 c intension eq(if(le(149,dist(x[121],x[147])),0,100),za2[231]) -> extension (support ? 1) - 264tuples
1.39/1.49 c intension eq(if(le(244,dist(x[121],x[174])),0,100),za2[232]) -> extension (support ? 1) - 252tuples
1.39/1.49 c intension eq(if(le(6,dist(x[121],x[175])),0,100),za2[233]) -> extension (support ? 1) - 252tuples
1.39/1.49 c intension eq(if(le(200,dist(x[123],x[132])),0,100),za2[234]) -> extension (support ? 1) - 216tuples
1.39/1.49 c intension eq(if(le(66,dist(x[123],x[133])),0,100),za2[235]) -> extension (support ? 1) - 216tuples
1.49/1.50 c intension eq(if(le(482,dist(x[125],x[136])),0,100),za2[236]) -> extension (support ? 1) - 1764tuples
1.49/1.50 c intension eq(if(le(164,dist(x[126],x[133])),0,100),za2[237]) -> extension (support ? 1) - 1296tuples
1.49/1.51 c intension eq(if(le(119,dist(x[126],x[146])),0,100),za2[238]) -> extension (support ? 1) - 1584tuples
1.49/1.51 c intension eq(if(le(261,dist(x[126],x[175])),0,100),za2[239]) -> extension (support ? 1) - 1512tuples
1.49/1.51 c intension eq(if(le(207,dist(x[127],x[174])),0,100),za2[240]) -> extension (support ? 1) - 1512tuples
1.49/1.52 c intension eq(if(le(125,dist(x[128],x[156])),0,100),za2[241]) -> extension (support ? 1) - 1512tuples
1.49/1.52 c intension eq(if(le(87,dist(x[129],x[131])),0,100),za2[242]) -> extension (support ? 1) - 1584tuples
1.49/1.52 c intension eq(if(le(74,dist(x[131],x[165])),0,100),za2[243]) -> extension (support ? 1) - 1936tuples
1.49/1.53 c intension eq(if(le(26,dist(x[132],x[160])),0,100),za2[244]) -> extension (support ? 1) - 792tuples
1.49/1.53 c intension eq(if(le(263,dist(x[132],x[161])),0,100),za2[245]) -> extension (support ? 1) - 792tuples
1.49/1.53 c intension eq(if(le(191,dist(x[132],x[169])),0,100),za2[246]) -> extension (support ? 1) - 1512tuples
1.49/1.54 c intension eq(if(le(118,dist(x[132],x[180])),0,100),za2[247]) -> extension (support ? 1) - 1584tuples
1.49/1.54 c intension eq(if(le(453,dist(x[132],x[181])),0,100),za2[248]) -> extension (support ? 1) - 1584tuples
1.49/1.54 c intension eq(if(le(209,dist(x[133],x[160])),0,100),za2[249]) -> extension (support ? 1) - 792tuples
1.49/1.55 c intension eq(if(le(40,dist(x[133],x[169])),0,100),za2[250]) -> extension (support ? 1) - 1512tuples
1.49/1.55 c intension eq(if(le(452,dist(x[133],x[180])),0,100),za2[251]) -> extension (support ? 1) - 1584tuples
1.49/1.55 c intension eq(if(le(270,dist(x[133],x[184])),0,100),za2[252]) -> extension (support ? 1) - 1512tuples
1.49/1.55 c intension eq(if(le(112,dist(x[134],x[164])),0,100),za2[253]) -> extension (support ? 1) - 264tuples
1.49/1.56 c intension eq(if(le(196,dist(x[134],x[166])),0,100),za2[254]) -> extension (support ? 1) - 216tuples
1.49/1.56 c intension eq(if(le(110,dist(x[134],x[182])),0,100),za2[255]) -> extension (support ? 1) - 252tuples
1.49/1.56 c intension eq(if(le(225,dist(x[134],x[183])),0,100),za2[256]) -> extension (support ? 1) - 252tuples
1.49/1.56 c intension eq(if(le(3,dist(x[135],x[183])),0,100),za2[257]) -> extension (support ? 1) - 252tuples
1.49/1.56 c intension eq(if(le(178,dist(x[135],x[190])),0,100),za2[258]) -> extension (support ? 1) - 264tuples
1.49/1.56 c intension eq(if(le(224,dist(x[135],x[191])),0,100),za2[259]) -> extension (support ? 1) - 264tuples
1.49/1.57 c intension eq(if(le(65,dist(x[140],x[152])),0,100),za2[260]) -> extension (support ? 1) - 1848tuples
1.49/1.57 c intension eq(if(le(39,dist(x[141],x[171])),0,100),za2[261]) -> extension (support ? 1) - 1764tuples
1.49/1.57 c intension eq(if(le(23,dist(x[142],x[162])),0,100),za2[262]) -> extension (support ? 1) - 1848tuples
1.49/1.58 c intension eq(if(le(96,dist(x[144],x[188])),0,100),za2[263]) -> extension (support ? 1) - 1848tuples
1.49/1.58 c intension eq(if(le(153,dist(x[150],x[164])),0,100),za2[264]) -> extension (support ? 1) - 1848tuples
1.49/1.59 c intension eq(if(le(98,dist(x[150],x[166])),0,100),za2[265]) -> extension (support ? 1) - 1512tuples
1.49/1.59 c intension eq(if(le(193,dist(x[150],x[183])),0,100),za2[266]) -> extension (support ? 1) - 1764tuples
1.49/1.59 c intension eq(if(le(270,dist(x[150],x[191])),0,100),za2[267]) -> extension (support ? 1) - 1848tuples
1.59/1.60 c intension eq(if(le(183,dist(x[150],x[197])),0,100),za2[268]) -> extension (support ? 1) - 1848tuples
1.59/1.60 c intension eq(if(le(172,dist(x[151],x[165])),0,100),za2[269]) -> extension (support ? 1) - 1848tuples
1.59/1.61 c intension eq(if(le(140,dist(x[151],x[166])),0,100),za2[270]) -> extension (support ? 1) - 1512tuples
1.59/1.61 c intension eq(if(le(97,dist(x[151],x[167])),0,100),za2[271]) -> extension (support ? 1) - 1512tuples
1.59/1.61 c intension eq(if(le(247,dist(x[151],x[172])),0,100),za2[272]) -> extension (support ? 1) - 1848tuples
1.59/1.62 c intension eq(if(le(168,dist(x[151],x[182])),0,100),za2[273]) -> extension (support ? 1) - 1764tuples
1.59/1.62 c intension eq(if(le(286,dist(x[151],x[191])),0,100),za2[274]) -> extension (support ? 1) - 1848tuples
1.59/1.63 c intension eq(if(le(11,dist(x[153],x[175])),0,100),za2[275]) -> extension (support ? 1) - 1848tuples
1.59/1.63 c intension eq(if(le(204,dist(x[155],x[180])),0,100),za2[276]) -> extension (support ? 1) - 1936tuples
1.59/1.64 c intension eq(if(le(183,dist(x[155],x[181])),0,100),za2[277]) -> extension (support ? 1) - 1936tuples
1.59/1.64 c intension eq(if(le(199,dist(x[157],x[190])),0,100),za2[278]) -> extension (support ? 1) - 1848tuples
1.59/1.64 c intension eq(if(le(273,dist(x[158],x[169])),0,100),za2[279]) -> extension (support ? 1) - 1512tuples
1.59/1.65 c intension eq(if(le(203,dist(x[160],x[181])),0,100),za2[280]) -> extension (support ? 1) - 968tuples
1.59/1.65 c intension eq(if(le(112,dist(x[160],x[192])),0,100),za2[281]) -> extension (support ? 1) - 132tuples
1.59/1.65 c intension eq(if(le(111,dist(x[160],x[193])),0,100),za2[282]) -> extension (support ? 1) - 132tuples
1.59/1.65 c intension eq(if(le(136,dist(x[161],x[168])),0,100),za2[283]) -> extension (support ? 1) - 924tuples
1.59/1.65 c intension eq(if(le(70,dist(x[161],x[169])),0,100),za2[284]) -> extension (support ? 1) - 924tuples
1.59/1.66 c intension eq(if(le(283,dist(x[161],x[180])),0,100),za2[285]) -> extension (support ? 1) - 968tuples
1.59/1.66 c intension eq(if(le(128,dist(x[161],x[185])),0,100),za2[286]) -> extension (support ? 1) - 924tuples
1.59/1.66 c intension eq(if(le(277,dist(x[163],x[182])),0,100),za2[287]) -> extension (support ? 1) - 1764tuples
1.59/1.67 c intension eq(if(le(179,dist(x[164],x[167])),0,100),za2[288]) -> extension (support ? 1) - 1584tuples
1.59/1.67 c intension eq(if(le(241,dist(x[165],x[166])),0,100),za2[289]) -> extension (support ? 1) - 1584tuples
1.59/1.67 c intension eq(if(le(208,dist(x[166],x[183])),0,100),za2[290]) -> extension (support ? 1) - 1512tuples
1.59/1.68 c intension eq(if(le(173,dist(x[168],x[181])),0,100),za2[291]) -> extension (support ? 1) - 1848tuples
1.59/1.68 c intension eq(if(le(185,dist(x[168],x[193])),0,100),za2[292]) -> extension (support ? 1) - 252tuples
1.59/1.68 c intension eq(if(le(42,dist(x[169],x[191])),0,100),za2[293]) -> extension (support ? 1) - 1848tuples
1.59/1.68 c intension eq(if(le(182,dist(x[169],x[193])),0,100),za2[294]) -> extension (support ? 1) - 252tuples
1.59/1.69 c intension eq(if(le(194,dist(x[171],x[174])),0,100),za2[295]) -> extension (support ? 1) - 1764tuples
1.59/1.69 c intension eq(if(le(282,dist(x[175],x[194])),0,100),za2[296]) -> extension (support ? 1) - 1512tuples
1.70/1.70 c intension eq(if(le(104,dist(x[179],x[187])),0,100),za2[297]) -> extension (support ? 1) - 1848tuples
1.70/1.70 c intension eq(if(le(177,dist(x[181],x[184])),0,100),za2[298]) -> extension (support ? 1) - 1848tuples
1.70/1.70 c intension eq(if(le(71,dist(x[181],x[193])),0,100),za2[299]) -> extension (support ? 1) - 264tuples
1.70/1.71 c intension eq(if(le(214,dist(x[183],x[191])),0,100),za2[300]) -> extension (support ? 1) - 1848tuples
1.70/1.71 c intension eq(if(le(255,dist(x[185],x[192])),0,100),za2[301]) -> extension (support ? 1) - 252tuples
1.70/1.71 c intension eq(if(le(421,dist(x[185],x[194])),0,100),za2[302]) -> extension (support ? 1) - 1512tuples
1.70/1.71 c intension eq(if(le(203,dist(x[189],x[194])),0,100),za2[303]) -> extension (support ? 1) - 1584tuples
1.70/1.72 c intension eq(if(le(181,dist(x[191],x[194])),0,100),za2[304]) -> extension (support ? 1) - 1584tuples
1.70/1.72 c intension eq(if(le(293,dist(x[195],x[196])),0,100),za2[305]) -> extension (support ? 1) - 1584tuples
1.70/1.73 c intension eq(if(le(278,dist(x[0],x[37])),0,10),za3[0]) -> extension (support ? 1) - 1848tuples
1.70/1.73 c intension eq(if(le(291,dist(x[0],x[45])),0,10),za3[1]) -> extension (support ? 1) - 1848tuples
1.70/1.73 c intension eq(if(le(191,dist(x[0],x[197])),0,10),za3[2]) -> extension (support ? 1) - 1848tuples
1.70/1.74 c intension eq(if(le(177,dist(x[1],x[73])),0,10),za3[3]) -> extension (support ? 1) - 252tuples
1.70/1.74 c intension eq(if(le(42,dist(x[13],x[3])),0,10),za3[4]) -> extension (support ? 1) - 1936tuples
1.70/1.74 c intension eq(if(le(28,dist(x[3],x[69])),0,10),za3[5]) -> extension (support ? 1) - 1584tuples
1.70/1.75 c intension eq(if(le(56,dist(x[31],x[5])),0,10),za3[6]) -> extension (support ? 1) - 968tuples
1.70/1.75 c intension eq(if(le(162,dist(x[24],x[6])),0,10),za3[7]) -> extension (support ? 1) - 264tuples
1.70/1.75 c intension eq(if(le(286,dist(x[68],x[7])),0,10),za3[8]) -> extension (support ? 1) - 216tuples
1.70/1.75 c intension eq(if(le(195,dist(x[85],x[8])),0,10),za3[9]) -> extension (support ? 1) - 264tuples
1.70/1.75 c intension eq(if(le(39,dist(x[113],x[9])),0,10),za3[10]) -> extension (support ? 1) - 264tuples
1.70/1.75 c intension eq(if(le(164,dist(x[10],x[22])),0,10),za3[11]) -> extension (support ? 1) - 264tuples
1.70/1.76 c intension eq(if(le(69,dist(x[10],x[26])),0,10),za3[12]) -> extension (support ? 1) - 1584tuples
1.70/1.76 c intension eq(if(le(235,dist(x[10],x[27])),0,10),za3[13]) -> extension (support ? 1) - 1584tuples
1.70/1.76 c intension eq(if(le(192,dist(x[10],x[75])),0,10),za3[14]) -> extension (support ? 1) - 1848tuples
1.70/1.77 c intension eq(if(le(107,dist(x[10],x[126])),0,10),za3[15]) -> extension (support ? 1) - 1584tuples
1.70/1.77 c intension eq(if(le(165,dist(x[10],x[127])),0,10),za3[16]) -> extension (support ? 1) - 1584tuples
1.70/1.78 c intension eq(if(le(367,dist(x[10],x[146])),0,10),za3[17]) -> extension (support ? 1) - 1936tuples
1.70/1.78 c intension eq(if(le(336,dist(x[10],x[147])),0,10),za3[18]) -> extension (support ? 1) - 1936tuples
1.70/1.78 c intension eq(if(le(113,dist(x[11],x[120])),0,10),za3[19]) -> extension (support ? 1) - 264tuples
1.70/1.78 c intension eq(if(le(146,dist(x[11],x[123])),0,10),za3[20]) -> extension (support ? 1) - 264tuples
1.70/1.79 c intension eq(if(le(112,dist(x[11],x[127])),0,10),za3[21]) -> extension (support ? 1) - 1584tuples
1.70/1.79 c intension eq(if(le(475,dist(x[11],x[146])),0,10),za3[22]) -> extension (support ? 1) - 1936tuples
1.70/1.79 c intension eq(if(le(407,dist(x[11],x[147])),0,10),za3[23]) -> extension (support ? 1) - 1936tuples
1.79/1.80 c intension eq(if(le(136,dist(x[11],x[175])),0,10),za3[24]) -> extension (support ? 1) - 1848tuples
1.79/1.80 c intension eq(if(le(287,dist(x[12],x[15])),0,10),za3[25]) -> extension (support ? 1) - 1848tuples
1.79/1.81 c intension eq(if(le(178,dist(x[13],x[54])),0,10),za3[26]) -> extension (support ? 1) - 1936tuples
1.79/1.81 c intension eq(if(le(146,dist(x[13],x[83])),0,10),za3[27]) -> extension (support ? 1) - 968tuples
1.79/1.81 c intension eq(if(le(253,dist(x[14],x[79])),0,10),za3[28]) -> extension (support ? 1) - 1848tuples
1.79/1.82 c intension eq(if(le(135,dist(x[15],x[37])),0,10),za3[29]) -> extension (support ? 1) - 1848tuples
1.79/1.82 c intension eq(if(le(42,dist(x[124],x[16])),0,10),za3[30]) -> extension (support ? 1) - 924tuples
1.79/1.82 c intension eq(if(le(292,dist(x[16],x[195])),0,10),za3[31]) -> extension (support ? 1) - 792tuples
1.79/1.83 c intension eq(if(le(37,dist(x[125],x[17])),0,10),za3[32]) -> extension (support ? 1) - 924tuples
1.79/1.83 c intension eq(if(le(231,dist(x[136],x[17])),0,10),za3[33]) -> extension (support ? 1) - 924tuples
1.79/1.83 c intension eq(if(le(270,dist(x[18],x[43])),0,10),za3[34]) -> extension (support ? 1) - 1584tuples
1.79/1.84 c intension eq(if(le(135,dist(x[18],x[90])),0,10),za3[35]) -> extension (support ? 1) - 1936tuples
1.79/1.84 c intension eq(if(le(264,dist(x[18],x[97])),0,10),za3[36]) -> extension (support ? 1) - 264tuples
1.79/1.84 c intension eq(if(le(353,dist(x[148],x[18])),0,10),za3[37]) -> extension (support ? 1) - 1936tuples
1.79/1.85 c intension eq(if(le(128,dist(x[158],x[18])),0,10),za3[38]) -> extension (support ? 1) - 1584tuples
1.79/1.85 c intension eq(if(le(276,dist(x[189],x[18])),0,10),za3[39]) -> extension (support ? 1) - 1936tuples
1.79/1.85 c intension eq(if(le(184,dist(x[19],x[43])),0,10),za3[40]) -> extension (support ? 1) - 1584tuples
1.79/1.86 c intension eq(if(le(13,dist(x[19],x[96])),0,10),za3[41]) -> extension (support ? 1) - 264tuples
1.79/1.86 c intension eq(if(le(222,dist(x[19],x[97])),0,10),za3[42]) -> extension (support ? 1) - 264tuples
1.79/1.86 c intension eq(if(le(375,dist(x[149],x[19])),0,10),za3[43]) -> extension (support ? 1) - 1936tuples
1.79/1.86 c intension eq(if(le(229,dist(x[159],x[19])),0,10),za3[44]) -> extension (support ? 1) - 1584tuples
1.79/1.87 c intension eq(if(le(222,dist(x[20],x[55])),0,10),za3[45]) -> extension (support ? 1) - 1584tuples
1.79/1.87 c intension eq(if(le(224,dist(x[20],x[84])),0,10),za3[46]) -> extension (support ? 1) - 1584tuples
1.79/1.88 c intension eq(if(le(264,dist(x[145],x[20])),0,10),za3[47]) -> extension (support ? 1) - 1512tuples
1.79/1.88 c intension eq(if(le(72,dist(x[121],x[21])),0,10),za3[48]) -> extension (support ? 1) - 216tuples
1.79/1.88 c intension eq(if(le(206,dist(x[144],x[21])),0,10),za3[49]) -> extension (support ? 1) - 1512tuples
1.79/1.88 c intension eq(if(le(188,dist(x[22],x[25])),0,10),za3[50]) -> extension (support ? 1) - 264tuples
1.79/1.88 c intension eq(if(le(113,dist(x[22],x[26])),0,10),za3[51]) -> extension (support ? 1) - 216tuples
1.79/1.88 c intension eq(if(le(68,dist(x[120],x[22])),0,10),za3[52]) -> extension (support ? 1) - 36tuples
1.79/1.88 c intension eq(if(le(212,dist(x[145],x[22])),0,10),za3[53]) -> extension (support ? 1) - 252tuples
1.79/1.89 c intension eq(if(le(103,dist(x[174],x[22])),0,10),za3[54]) -> extension (support ? 1) - 252tuples
1.79/1.89 c intension eq(if(le(174,dist(x[174],x[23])),0,10),za3[55]) -> extension (support ? 1) - 252tuples
1.79/1.89 c intension eq(if(le(179,dist(x[24],x[27])),0,10),za3[56]) -> extension (support ? 1) - 1584tuples
1.79/1.89 c intension eq(if(le(258,dist(x[121],x[24])),0,10),za3[57]) -> extension (support ? 1) - 264tuples
1.89/1.90 c intension eq(if(le(26,dist(x[144],x[24])),0,10),za3[58]) -> extension (support ? 1) - 1848tuples
1.89/1.90 c intension eq(if(le(282,dist(x[146],x[24])),0,10),za3[59]) -> extension (support ? 1) - 1936tuples
1.89/1.91 c intension eq(if(le(221,dist(x[25],x[56])),0,10),za3[60]) -> extension (support ? 1) - 1848tuples
1.89/1.91 c intension eq(if(le(40,dist(x[25],x[75])),0,10),za3[61]) -> extension (support ? 1) - 1848tuples
1.89/1.91 c intension eq(if(le(259,dist(x[146],x[25])),0,10),za3[62]) -> extension (support ? 1) - 1936tuples
1.89/1.92 c intension eq(if(le(172,dist(x[147],x[25])),0,10),za3[63]) -> extension (support ? 1) - 1936tuples
1.89/1.92 c intension eq(if(le(190,dist(x[146],x[26])),0,10),za3[64]) -> extension (support ? 1) - 1584tuples
1.89/1.93 c intension eq(if(le(66,dist(x[174],x[26])),0,10),za3[65]) -> extension (support ? 1) - 1512tuples
1.89/1.93 c intension eq(if(le(207,dist(x[175],x[26])),0,10),za3[66]) -> extension (support ? 1) - 1512tuples
1.89/1.93 c intension eq(if(le(76,dist(x[121],x[27])),0,10),za3[67]) -> extension (support ? 1) - 216tuples
1.89/1.93 c intension eq(if(le(166,dist(x[174],x[27])),0,10),za3[68]) -> extension (support ? 1) - 1512tuples
1.89/1.94 c intension eq(if(le(69,dist(x[175],x[27])),0,10),za3[69]) -> extension (support ? 1) - 1512tuples
1.89/1.94 c intension eq(if(le(200,dist(x[124],x[28])),0,10),za3[70]) -> extension (support ? 1) - 1512tuples
1.89/1.94 c intension eq(if(le(194,dist(x[29],x[90])),0,10),za3[71]) -> extension (support ? 1) - 1584tuples
1.89/1.95 c intension eq(if(le(132,dist(x[29],x[91])),0,10),za3[72]) -> extension (support ? 1) - 1584tuples
1.89/1.95 c intension eq(if(le(211,dist(x[195],x[29])),0,10),za3[73]) -> extension (support ? 1) - 1296tuples
1.89/1.96 c intension eq(if(le(230,dist(x[32],x[71])),0,10),za3[74]) -> extension (support ? 1) - 1848tuples
1.89/1.96 c intension eq(if(le(289,dist(x[33],x[50])),0,10),za3[75]) -> extension (support ? 1) - 1584tuples
1.89/1.96 c intension eq(if(le(68,dist(x[33],x[51])),0,10),za3[76]) -> extension (support ? 1) - 1584tuples
1.89/1.97 c intension eq(if(le(116,dist(x[102],x[33])),0,10),za3[77]) -> extension (support ? 1) - 1584tuples
1.89/1.97 c intension eq(if(le(123,dist(x[194],x[34])),0,10),za3[78]) -> extension (support ? 1) - 1584tuples
1.89/1.97 c intension eq(if(le(127,dist(x[36],x[79])),0,10),za3[79]) -> extension (support ? 1) - 1936tuples
1.89/1.98 c intension eq(if(le(376,dist(x[196],x[37])),0,10),za3[80]) -> extension (support ? 1) - 1936tuples
1.89/1.98 c intension eq(if(le(27,dist(x[38],x[60])),0,10),za3[81]) -> extension (support ? 1) - 1584tuples
1.89/1.99 c intension eq(if(le(142,dist(x[171],x[38])),0,10),za3[82]) -> extension (support ? 1) - 1848tuples
1.89/1.99 c intension eq(if(le(440,dist(x[170],x[39])),0,10),za3[83]) -> extension (support ? 1) - 1848tuples
1.89/2.00 c intension eq(if(le(220,dist(x[112],x[40])),0,10),za3[84]) -> extension (support ? 1) - 1848tuples
1.89/2.00 c intension eq(if(le(210,dist(x[42],x[67])),0,10),za3[85]) -> extension (support ? 1) - 1296tuples
1.89/2.00 c intension eq(if(le(209,dist(x[42],x[96])),0,10),za3[86]) -> extension (support ? 1) - 216tuples
1.89/2.00 c intension eq(if(le(198,dist(x[42],x[97])),0,10),za3[87]) -> extension (support ? 1) - 216tuples
1.89/2.00 c intension eq(if(le(277,dist(x[102],x[42])),0,10),za3[88]) -> extension (support ? 1) - 1296tuples
2.00/2.01 c intension eq(if(le(221,dist(x[103],x[42])),0,10),za3[89]) -> extension (support ? 1) - 1296tuples
2.00/2.01 c intension eq(if(le(110,dist(x[148],x[42])),0,10),za3[90]) -> extension (support ? 1) - 1584tuples
2.00/2.02 c intension eq(if(le(108,dist(x[43],x[93])),0,10),za3[91]) -> extension (support ? 1) - 1584tuples
2.00/2.02 c intension eq(if(le(33,dist(x[43],x[97])),0,10),za3[92]) -> extension (support ? 1) - 216tuples
2.00/2.02 c intension eq(if(le(39,dist(x[44],x[78])),0,10),za3[93]) -> extension (support ? 1) - 1936tuples
2.00/2.03 c intension eq(if(le(252,dist(x[44],x[85])),0,10),za3[94]) -> extension (support ? 1) - 1936tuples
2.00/2.03 c intension eq(if(le(281,dist(x[100],x[45])),0,10),za3[95]) -> extension (support ? 1) - 1936tuples
2.00/2.03 c intension eq(if(le(159,dist(x[101],x[45])),0,10),za3[96]) -> extension (support ? 1) - 1936tuples
2.00/2.04 c intension eq(if(le(165,dist(x[46],x[65])),0,10),za3[97]) -> extension (support ? 1) - 1584tuples
2.00/2.04 c intension eq(if(le(239,dist(x[46],x[99])),0,10),za3[98]) -> extension (support ? 1) - 1512tuples
2.00/2.05 c intension eq(if(le(25,dist(x[178],x[46])),0,10),za3[99]) -> extension (support ? 1) - 1512tuples
2.00/2.05 c intension eq(if(le(168,dist(x[47],x[64])),0,10),za3[100]) -> extension (support ? 1) - 1584tuples
2.00/2.05 c intension eq(if(le(112,dist(x[48],x[92])),0,10),za3[101]) -> extension (support ? 1) - 1584tuples
2.00/2.06 c intension eq(if(le(130,dist(x[195],x[49])),0,10),za3[102]) -> extension (support ? 1) - 1296tuples
2.00/2.06 c intension eq(if(le(252,dist(x[50],x[53])),0,10),za3[103]) -> extension (support ? 1) - 1512tuples
2.00/2.06 c intension eq(if(le(175,dist(x[50],x[64])),0,10),za3[104]) -> extension (support ? 1) - 1584tuples
2.00/2.06 c intension eq(if(le(194,dist(x[192],x[50])),0,10),za3[105]) -> extension (support ? 1) - 216tuples
2.00/2.07 c intension eq(if(le(171,dist(x[179],x[51])),0,10),za3[106]) -> extension (support ? 1) - 1512tuples
2.00/2.07 c intension eq(if(le(107,dist(x[52],x[65])),0,10),za3[107]) -> extension (support ? 1) - 1848tuples
2.00/2.08 c intension eq(if(le(229,dist(x[156],x[52])),0,10),za3[108]) -> extension (support ? 1) - 1764tuples
2.00/2.08 c intension eq(if(le(180,dist(x[53],x[97])),0,10),za3[109]) -> extension (support ? 1) - 252tuples
2.00/2.08 c intension eq(if(le(79,dist(x[117],x[53])),0,10),za3[110]) -> extension (support ? 1) - 1512tuples
2.00/2.08 c intension eq(if(le(153,dist(x[54],x[58])),0,10),za3[111]) -> extension (support ? 1) - 1584tuples
2.00/2.09 c intension eq(if(le(251,dist(x[54],x[59])),0,10),za3[112]) -> extension (support ? 1) - 1584tuples
2.00/2.09 c intension eq(if(le(125,dist(x[134],x[54])),0,10),za3[113]) -> extension (support ? 1) - 264tuples
2.00/2.09 c intension eq(if(le(125,dist(x[145],x[54])),0,10),za3[114]) -> extension (support ? 1) - 1848tuples
2.00/2.10 c intension eq(if(le(12,dist(x[164],x[54])),0,10),za3[115]) -> extension (support ? 1) - 1936tuples
2.00/2.10 c intension eq(if(le(252,dist(x[165],x[54])),0,10),za3[116]) -> extension (support ? 1) - 1936tuples
2.10/2.11 c intension eq(if(le(133,dist(x[146],x[55])),0,10),za3[117]) -> extension (support ? 1) - 1936tuples
2.10/2.11 c intension eq(if(le(88,dist(x[167],x[55])),0,10),za3[118]) -> extension (support ? 1) - 1584tuples
2.10/2.11 c intension eq(if(le(215,dist(x[182],x[55])),0,10),za3[119]) -> extension (support ? 1) - 1848tuples
2.10/2.12 c intension eq(if(le(117,dist(x[183],x[55])),0,10),za3[120]) -> extension (support ? 1) - 1848tuples
2.10/2.12 c intension eq(if(le(24,dist(x[166],x[56])),0,10),za3[121]) -> extension (support ? 1) - 1512tuples
2.10/2.13 c intension eq(if(le(274,dist(x[138],x[57])),0,10),za3[122]) -> extension (support ? 1) - 1848tuples
2.10/2.13 c intension eq(if(le(69,dist(x[58],x[86])),0,10),za3[123]) -> extension (support ? 1) - 1584tuples
2.10/2.13 c intension eq(if(le(116,dist(x[165],x[58])),0,10),za3[124]) -> extension (support ? 1) - 1584tuples
2.10/2.14 c intension eq(if(le(11,dist(x[182],x[58])),0,10),za3[125]) -> extension (support ? 1) - 1512tuples
2.10/2.14 c intension eq(if(le(272,dist(x[190],x[58])),0,10),za3[126]) -> extension (support ? 1) - 1584tuples
2.10/2.14 c intension eq(if(le(6,dist(x[135],x[59])),0,10),za3[127]) -> extension (support ? 1) - 216tuples
2.10/2.15 c intension eq(if(le(290,dist(x[150],x[59])),0,10),za3[128]) -> extension (support ? 1) - 1512tuples
2.10/2.15 c intension eq(if(le(280,dist(x[164],x[59])),0,10),za3[129]) -> extension (support ? 1) - 1584tuples
2.10/2.15 c intension eq(if(le(219,dist(x[182],x[59])),0,10),za3[130]) -> extension (support ? 1) - 1512tuples
2.10/2.16 c intension eq(if(le(12,dist(x[183],x[59])),0,10),za3[131]) -> extension (support ? 1) - 1512tuples
2.10/2.16 c intension eq(if(le(271,dist(x[60],x[75])),0,10),za3[132]) -> extension (support ? 1) - 1512tuples
2.10/2.16 c intension eq(if(le(283,dist(x[62],x[85])),0,10),za3[133]) -> extension (support ? 1) - 1848tuples
2.10/2.17 c intension eq(if(le(232,dist(x[179],x[64])),0,10),za3[134]) -> extension (support ? 1) - 1848tuples
2.10/2.17 c intension eq(if(le(152,dist(x[182],x[65])),0,10),za3[135]) -> extension (support ? 1) - 1848tuples
2.10/2.18 c intension eq(if(le(177,dist(x[101],x[66])),0,10),za3[136]) -> extension (support ? 1) - 1584tuples
2.10/2.18 c intension eq(if(le(263,dist(x[105],x[66])),0,10),za3[137]) -> extension (support ? 1) - 1296tuples
2.10/2.18 c intension eq(if(le(81,dist(x[67],x[91])),0,10),za3[138]) -> extension (support ? 1) - 1584tuples
2.10/2.19 c intension eq(if(le(209,dist(x[104],x[67])),0,10),za3[139]) -> extension (support ? 1) - 1296tuples
2.10/2.19 c intension eq(if(le(210,dist(x[141],x[70])),0,10),za3[140]) -> extension (support ? 1) - 1764tuples
2.10/2.19 c intension eq(if(le(66,dist(x[156],x[70])),0,10),za3[141]) -> extension (support ? 1) - 1764tuples
2.19/2.20 c intension eq(if(le(266,dist(x[140],x[71])),0,10),za3[142]) -> extension (support ? 1) - 1764tuples
2.19/2.20 c intension eq(if(le(221,dist(x[170],x[71])),0,10),za3[143]) -> extension (support ? 1) - 1764tuples
2.19/2.21 c intension eq(if(le(114,dist(x[187],x[71])),0,10),za3[144]) -> extension (support ? 1) - 1848tuples
2.19/2.21 c intension eq(if(le(295,dist(x[73],x[94])),0,10),za3[145]) -> extension (support ? 1) - 216tuples
2.19/2.21 c intension eq(if(le(300,dist(x[121],x[74])),0,10),za3[146]) -> extension (support ? 1) - 252tuples
2.19/2.21 c intension eq(if(le(275,dist(x[162],x[74])),0,10),za3[147]) -> extension (support ? 1) - 1764tuples
2.19/2.22 c intension eq(if(le(260,dist(x[163],x[74])),0,10),za3[148]) -> extension (support ? 1) - 1764tuples
2.19/2.22 c intension eq(if(le(298,dist(x[120],x[75])),0,10),za3[149]) -> extension (support ? 1) - 252tuples
2.19/2.22 c intension eq(if(le(204,dist(x[115],x[76])),0,10),za3[150]) -> extension (support ? 1) - 1848tuples
2.19/2.23 c intension eq(if(le(26,dist(x[118],x[76])),0,10),za3[151]) -> extension (support ? 1) - 1848tuples
2.19/2.23 c intension eq(if(le(262,dist(x[119],x[76])),0,10),za3[152]) -> extension (support ? 1) - 1848tuples
2.19/2.23 c intension eq(if(le(242,dist(x[160],x[76])),0,10),za3[153]) -> extension (support ? 1) - 924tuples
2.19/2.24 c intension eq(if(le(238,dist(x[161],x[76])),0,10),za3[154]) -> extension (support ? 1) - 924tuples
2.19/2.24 c intension eq(if(le(292,dist(x[168],x[76])),0,10),za3[155]) -> extension (support ? 1) - 1764tuples
2.19/2.24 c intension eq(if(le(384,dist(x[77],x[94])),0,10),za3[156]) -> extension (support ? 1) - 1512tuples
2.19/2.25 c intension eq(if(le(144,dist(x[77],x[95])),0,10),za3[157]) -> extension (support ? 1) - 1512tuples
2.19/2.25 c intension eq(if(le(139,dist(x[160],x[77])),0,10),za3[158]) -> extension (support ? 1) - 924tuples
2.19/2.25 c intension eq(if(le(86,dist(x[161],x[77])),0,10),za3[159]) -> extension (support ? 1) - 924tuples
2.19/2.26 c intension eq(if(le(38,dist(x[185],x[77])),0,10),za3[160]) -> extension (support ? 1) - 1764tuples
2.19/2.26 c intension eq(if(le(216,dist(x[192],x[77])),0,10),za3[161]) -> extension (support ? 1) - 252tuples
2.19/2.26 c intension eq(if(le(21,dist(x[193],x[77])),0,10),za3[162]) -> extension (support ? 1) - 252tuples
2.19/2.26 c intension eq(if(le(137,dist(x[134],x[80])),0,10),za3[163]) -> extension (support ? 1) - 216tuples
2.19/2.26 c intension eq(if(le(130,dist(x[185],x[83])),0,10),za3[164]) -> extension (support ? 1) - 924tuples
2.19/2.27 c intension eq(if(le(298,dist(x[119],x[84])),0,10),za3[165]) -> extension (support ? 1) - 1936tuples
2.19/2.27 c intension eq(if(le(325,dist(x[144],x[85])),0,10),za3[166]) -> extension (support ? 1) - 1848tuples
2.19/2.28 c intension eq(if(le(14,dist(x[187],x[85])),0,10),za3[167]) -> extension (support ? 1) - 1936tuples
2.19/2.28 c intension eq(if(le(111,dist(x[166],x[86])),0,10),za3[168]) -> extension (support ? 1) - 1584tuples
2.19/2.28 c intension eq(if(le(241,dist(x[183],x[86])),0,10),za3[169]) -> extension (support ? 1) - 1848tuples
2.19/2.29 c intension eq(if(le(421,dist(x[164],x[87])),0,10),za3[170]) -> extension (support ? 1) - 1936tuples
2.19/2.29 c intension eq(if(le(125,dist(x[166],x[87])),0,10),za3[171]) -> extension (support ? 1) - 1584tuples
2.19/2.30 c intension eq(if(le(110,dist(x[116],x[89])),0,10),za3[172]) -> extension (support ? 1) - 1584tuples
2.29/2.30 c intension eq(if(le(182,dist(x[101],x[90])),0,10),za3[173]) -> extension (support ? 1) - 1936tuples
2.29/2.30 c intension eq(if(le(51,dist(x[104],x[90])),0,10),za3[174]) -> extension (support ? 1) - 1584tuples
2.29/2.31 c intension eq(if(le(268,dist(x[159],x[90])),0,10),za3[175]) -> extension (support ? 1) - 1584tuples
2.29/2.31 c intension eq(if(le(81,dist(x[91],x[97])),0,10),za3[176]) -> extension (support ? 1) - 264tuples
2.29/2.31 c intension eq(if(le(183,dist(x[122],x[93])),0,10),za3[177]) -> extension (support ? 1) - 264tuples
2.29/2.31 c intension eq(if(le(180,dist(x[115],x[94])),0,10),za3[178]) -> extension (support ? 1) - 1584tuples
2.29/2.32 c intension eq(if(le(14,dist(x[168],x[94])),0,10),za3[179]) -> extension (support ? 1) - 1512tuples
2.29/2.32 c intension eq(if(le(285,dist(x[180],x[94])),0,10),za3[180]) -> extension (support ? 1) - 1584tuples
2.29/2.32 c intension eq(if(le(146,dist(x[181],x[94])),0,10),za3[181]) -> extension (support ? 1) - 1584tuples
2.29/2.33 c intension eq(if(le(248,dist(x[185],x[94])),0,10),za3[182]) -> extension (support ? 1) - 1512tuples
2.29/2.33 c intension eq(if(le(294,dist(x[114],x[95])),0,10),za3[183]) -> extension (support ? 1) - 1584tuples
2.29/2.33 c intension eq(if(le(181,dist(x[160],x[95])),0,10),za3[184]) -> extension (support ? 1) - 792tuples
2.29/2.34 c intension eq(if(le(149,dist(x[180],x[95])),0,10),za3[185]) -> extension (support ? 1) - 1584tuples
2.29/2.34 c intension eq(if(le(192,dist(x[186],x[95])),0,10),za3[186]) -> extension (support ? 1) - 1584tuples
2.29/2.35 c intension eq(if(le(41,dist(x[187],x[95])),0,10),za3[187]) -> extension (support ? 1) - 1584tuples
2.29/2.35 c intension eq(if(le(167,dist(x[193],x[95])),0,10),za3[188]) -> extension (support ? 1) - 216tuples
2.29/2.35 c intension eq(if(le(269,dist(x[101],x[96])),0,10),za3[189]) -> extension (support ? 1) - 264tuples
2.29/2.35 c intension eq(if(le(135,dist(x[104],x[96])),0,10),za3[190]) -> extension (support ? 1) - 216tuples
2.29/2.35 c intension eq(if(le(184,dist(x[148],x[97])),0,10),za3[191]) -> extension (support ? 1) - 264tuples
2.29/2.35 c intension eq(if(le(76,dist(x[149],x[97])),0,10),za3[192]) -> extension (support ? 1) - 264tuples
2.29/2.36 c intension eq(if(le(261,dist(x[154],x[98])),0,10),za3[193]) -> extension (support ? 1) - 1848tuples
2.29/2.36 c intension eq(if(le(195,dist(x[179],x[98])),0,10),za3[194]) -> extension (support ? 1) - 1764tuples
2.29/2.36 c intension eq(if(le(285,dist(x[154],x[99])),0,10),za3[195]) -> extension (support ? 1) - 1848tuples
2.29/2.37 c intension eq(if(le(185,dist(x[100],x[104])),0,10),za3[196]) -> extension (support ? 1) - 1584tuples
2.29/2.37 c intension eq(if(le(215,dist(x[100],x[105])),0,10),za3[197]) -> extension (support ? 1) - 1584tuples
2.29/2.38 c intension eq(if(le(41,dist(x[100],x[148])),0,10),za3[198]) -> extension (support ? 1) - 1936tuples
2.29/2.38 c intension eq(if(le(215,dist(x[101],x[169])),0,10),za3[199]) -> extension (support ? 1) - 1848tuples
2.29/2.38 c intension eq(if(le(284,dist(x[102],x[145])),0,10),za3[200]) -> extension (support ? 1) - 1512tuples
2.29/2.39 c intension eq(if(le(535,dist(x[102],x[152])),0,10),za3[201]) -> extension (support ? 1) - 1584tuples
2.29/2.39 c intension eq(if(le(207,dist(x[102],x[171])),0,10),za3[202]) -> extension (support ? 1) - 1512tuples
2.29/2.39 c intension eq(if(le(109,dist(x[104],x[159])),0,10),za3[203]) -> extension (support ? 1) - 1296tuples
2.39/2.40 c intension eq(if(le(208,dist(x[105],x[148])),0,10),za3[204]) -> extension (support ? 1) - 1584tuples
2.39/2.40 c intension eq(if(le(209,dist(x[106],x[171])),0,10),za3[205]) -> extension (support ? 1) - 1008tuples
2.39/2.41 c intension eq(if(le(163,dist(x[109],x[142])),0,10),za3[206]) -> extension (support ? 1) - 1936tuples
2.39/2.41 c intension eq(if(le(56,dist(x[110],x[140])),0,10),za3[207]) -> extension (support ? 1) - 1848tuples
2.39/2.41 c intension eq(if(le(97,dist(x[110],x[170])),0,10),za3[208]) -> extension (support ? 1) - 1848tuples
2.39/2.42 c intension eq(if(le(128,dist(x[114],x[133])),0,10),za3[209]) -> extension (support ? 1) - 1584tuples
2.39/2.42 c intension eq(if(le(345,dist(x[114],x[161])),0,10),za3[210]) -> extension (support ? 1) - 968tuples
2.39/2.42 c intension eq(if(le(39,dist(x[114],x[168])),0,10),za3[211]) -> extension (support ? 1) - 1848tuples
2.39/2.43 c intension eq(if(le(232,dist(x[114],x[185])),0,10),za3[212]) -> extension (support ? 1) - 1848tuples
2.39/2.43 c intension eq(if(le(159,dist(x[115],x[144])),0,10),za3[213]) -> extension (support ? 1) - 1848tuples
2.39/2.44 c intension eq(if(le(198,dist(x[115],x[145])),0,10),za3[214]) -> extension (support ? 1) - 1848tuples
2.39/2.44 c intension eq(if(le(123,dist(x[120],x[125])),0,10),za3[215]) -> extension (support ? 1) - 252tuples
2.39/2.44 c intension eq(if(le(253,dist(x[120],x[126])),0,10),za3[216]) -> extension (support ? 1) - 216tuples
2.39/2.44 c intension eq(if(le(269,dist(x[120],x[127])),0,10),za3[217]) -> extension (support ? 1) - 216tuples
2.39/2.44 c intension eq(if(le(80,dist(x[120],x[147])),0,10),za3[218]) -> extension (support ? 1) - 264tuples
2.39/2.44 c intension eq(if(le(29,dist(x[121],x[127])),0,10),za3[219]) -> extension (support ? 1) - 216tuples
2.39/2.45 c intension eq(if(le(290,dist(x[121],x[146])),0,10),za3[220]) -> extension (support ? 1) - 264tuples
2.39/2.45 c intension eq(if(le(160,dist(x[122],x[136])),0,10),za3[221]) -> extension (support ? 1) - 252tuples
2.39/2.45 c intension eq(if(le(28,dist(x[126],x[174])),0,10),za3[222]) -> extension (support ? 1) - 1512tuples
2.39/2.45 c intension eq(if(le(285,dist(x[129],x[144])),0,10),za3[223]) -> extension (support ? 1) - 1512tuples
2.39/2.46 c intension eq(if(le(51,dist(x[129],x[163])),0,10),za3[224]) -> extension (support ? 1) - 1512tuples
2.39/2.46 c intension eq(if(le(95,dist(x[133],x[192])),0,10),za3[225]) -> extension (support ? 1) - 216tuples
2.39/2.46 c intension eq(if(le(138,dist(x[133],x[193])),0,10),za3[226]) -> extension (support ? 1) - 216tuples
2.39/2.46 c intension eq(if(le(296,dist(x[134],x[151])),0,10),za3[227]) -> extension (support ? 1) - 252tuples
2.39/2.46 c intension eq(if(le(275,dist(x[134],x[156])),0,10),za3[228]) -> extension (support ? 1) - 252tuples
2.39/2.46 c intension eq(if(le(9,dist(x[134],x[191])),0,10),za3[229]) -> extension (support ? 1) - 264tuples
2.39/2.46 c intension eq(if(le(112,dist(x[135],x[165])),0,10),za3[230]) -> extension (support ? 1) - 264tuples
2.39/2.47 c intension eq(if(le(31,dist(x[135],x[167])),0,10),za3[231]) -> extension (support ? 1) - 216tuples
2.39/2.47 c intension eq(if(le(227,dist(x[135],x[182])),0,10),za3[232]) -> extension (support ? 1) - 252tuples
2.39/2.47 c intension eq(if(le(523,dist(x[137],x[196])),0,10),za3[233]) -> extension (support ? 1) - 1848tuples
2.39/2.48 c intension eq(if(le(284,dist(x[137],x[197])),0,10),za3[234]) -> extension (support ? 1) - 1848tuples
2.39/2.48 c intension eq(if(le(298,dist(x[142],x[159])),0,10),za3[235]) -> extension (support ? 1) - 1584tuples
2.39/2.48 c intension eq(if(le(106,dist(x[144],x[187])),0,10),za3[236]) -> extension (support ? 1) - 1848tuples
2.39/2.49 c intension eq(if(le(342,dist(x[145],x[186])),0,10),za3[237]) -> extension (support ? 1) - 1848tuples
2.39/2.49 c intension eq(if(le(98,dist(x[145],x[189])),0,10),za3[238]) -> extension (support ? 1) - 1848tuples
2.49/2.50 c intension eq(if(le(234,dist(x[146],x[174])),0,10),za3[239]) -> extension (support ? 1) - 1848tuples
2.49/2.50 c intension eq(if(le(155,dist(x[147],x[175])),0,10),za3[240]) -> extension (support ? 1) - 1848tuples
2.49/2.50 c intension eq(if(le(249,dist(x[150],x[167])),0,10),za3[241]) -> extension (support ? 1) - 1512tuples
2.49/2.51 c intension eq(if(le(138,dist(x[150],x[196])),0,10),za3[242]) -> extension (support ? 1) - 1848tuples
2.49/2.51 c intension eq(if(le(14,dist(x[151],x[173])),0,10),za3[243]) -> extension (support ? 1) - 1848tuples
2.49/2.52 c intension eq(if(le(85,dist(x[155],x[179])),0,10),za3[244]) -> extension (support ? 1) - 1848tuples
2.49/2.52 c intension eq(if(le(252,dist(x[157],x[172])),0,10),za3[245]) -> extension (support ? 1) - 1848tuples
2.49/2.52 c intension eq(if(le(150,dist(x[159],x[162])),0,10),za3[246]) -> extension (support ? 1) - 1512tuples
2.49/2.53 c intension eq(if(le(130,dist(x[160],x[166])),0,10),za3[247]) -> extension (support ? 1) - 792tuples
2.49/2.53 c intension eq(if(le(202,dist(x[160],x[167])),0,10),za3[248]) -> extension (support ? 1) - 792tuples
2.49/2.53 c intension eq(if(le(70,dist(x[160],x[168])),0,10),za3[249]) -> extension (support ? 1) - 924tuples
2.49/2.53 c intension eq(if(le(168,dist(x[160],x[169])),0,10),za3[250]) -> extension (support ? 1) - 924tuples
2.49/2.54 c intension eq(if(le(171,dist(x[163],x[183])),0,10),za3[251]) -> extension (support ? 1) - 1764tuples
2.49/2.54 c intension eq(if(le(119,dist(x[164],x[166])),0,10),za3[252]) -> extension (support ? 1) - 1584tuples
2.49/2.55 c intension eq(if(le(128,dist(x[164],x[183])),0,10),za3[253]) -> extension (support ? 1) - 1848tuples
2.49/2.55 c intension eq(if(le(125,dist(x[164],x[191])),0,10),za3[254]) -> extension (support ? 1) - 1936tuples
2.49/2.55 c intension eq(if(le(71,dist(x[165],x[167])),0,10),za3[255]) -> extension (support ? 1) - 1584tuples
2.49/2.56 c intension eq(if(le(198,dist(x[165],x[190])),0,10),za3[256]) -> extension (support ? 1) - 1936tuples
2.49/2.56 c intension eq(if(le(183,dist(x[167],x[191])),0,10),za3[257]) -> extension (support ? 1) - 1584tuples
2.49/2.57 c intension eq(if(le(189,dist(x[168],x[184])),0,10),za3[258]) -> extension (support ? 1) - 1764tuples
2.49/2.57 c intension eq(if(le(189,dist(x[169],x[180])),0,10),za3[259]) -> extension (support ? 1) - 1848tuples
2.49/2.57 c intension eq(if(le(439,dist(x[169],x[184])),0,10),za3[260]) -> extension (support ? 1) - 1764tuples
2.49/2.58 c intension eq(if(le(56,dist(x[169],x[192])),0,10),za3[261]) -> extension (support ? 1) - 252tuples
2.49/2.58 c intension eq(if(le(37,dist(x[171],x[175])),0,10),za3[262]) -> extension (support ? 1) - 1764tuples
2.49/2.58 c intension eq(if(le(139,dist(x[173],x[178])),0,10),za3[263]) -> extension (support ? 1) - 1848tuples
2.49/2.59 c intension eq(if(le(98,dist(x[173],x[179])),0,10),za3[264]) -> extension (support ? 1) - 1848tuples
2.49/2.59 c intension eq(if(le(339,dist(x[179],x[186])),0,10),za3[265]) -> extension (support ? 1) - 1848tuples
2.49/2.59 c intension eq(if(le(247,dist(x[180],x[192])),0,10),za3[266]) -> extension (support ? 1) - 264tuples
2.59/2.60 c intension eq(if(le(56,dist(x[181],x[185])),0,10),za3[267]) -> extension (support ? 1) - 1848tuples
2.59/2.60 c intension eq(if(le(265,dist(x[181],x[192])),0,10),za3[268]) -> extension (support ? 1) - 264tuples
2.59/2.60 c intension eq(if(le(300,dist(x[184],x[192])),0,10),za3[269]) -> extension (support ? 1) - 252tuples
2.59/2.60 c intension eq(if(le(15,dist(x[185],x[193])),0,10),za3[270]) -> extension (support ? 1) - 252tuples
2.59/2.61 c intension eq(if(le(185,dist(x[185],x[195])),0,10),za3[271]) -> extension (support ? 1) - 1512tuples
2.59/2.61 c intension eq(if(le(239,dist(x[189],x[195])),0,10),za3[272]) -> extension (support ? 1) - 1584tuples
2.59/2.61 c intension eq(if(le(219,dist(x[193],x[197])),0,10),za3[273]) -> extension (support ? 1) - 264tuples
2.59/2.61 c intension eq(if(le(41,dist(x[0],x[198])),0,1),za4[0]) -> extension (support ? 1) - 1848tuples
2.59/2.62 c intension eq(if(le(186,dist(x[2],x[5])),0,1),za4[1]) -> extension (support ? 1) - 968tuples
2.59/2.62 c intension eq(if(le(171,dist(x[2],x[6])),0,1),za4[2]) -> extension (support ? 1) - 264tuples
2.59/2.62 c intension eq(if(le(66,dist(x[35],x[3])),0,1),za4[3]) -> extension (support ? 1) - 1936tuples
2.59/2.63 c intension eq(if(le(131,dist(x[3],x[60])),0,1),za4[4]) -> extension (support ? 1) - 1584tuples
2.59/2.63 c intension eq(if(le(28,dist(x[5],x[61])),0,1),za4[5]) -> extension (support ? 1) - 792tuples
2.59/2.63 c intension eq(if(le(195,dist(x[118],x[5])),0,1),za4[6]) -> extension (support ? 1) - 968tuples
2.59/2.63 c intension eq(if(le(164,dist(x[34],x[6])),0,1),za4[7]) -> extension (support ? 1) - 264tuples
2.59/2.63 c intension eq(if(le(276,dist(x[68],x[6])),0,1),za4[8]) -> extension (support ? 1) - 216tuples
2.59/2.64 c intension eq(if(le(286,dist(x[69],x[6])),0,1),za4[9]) -> extension (support ? 1) - 216tuples
2.59/2.64 c intension eq(if(le(6,dist(x[35],x[7])),0,1),za4[10]) -> extension (support ? 1) - 264tuples
2.59/2.64 c intension eq(if(le(46,dist(x[69],x[7])),0,1),za4[11]) -> extension (support ? 1) - 216tuples
2.59/2.64 c intension eq(if(le(276,dist(x[26],x[8])),0,1),za4[12]) -> extension (support ? 1) - 216tuples
2.59/2.64 c intension eq(if(le(80,dist(x[177],x[8])),0,1),za4[13]) -> extension (support ? 1) - 144tuples
2.59/2.64 c intension eq(if(le(279,dist(x[112],x[9])),0,1),za4[14]) -> extension (support ? 1) - 264tuples
2.59/2.64 c intension eq(if(le(392,dist(x[176],x[9])),0,1),za4[15]) -> extension (support ? 1) - 144tuples
2.59/2.64 c intension eq(if(le(194,dist(x[10],x[23])),0,1),za4[16]) -> extension (support ? 1) - 264tuples
2.59/2.64 c intension eq(if(le(208,dist(x[10],x[120])),0,1),za4[17]) -> extension (support ? 1) - 264tuples
2.59/2.65 c intension eq(if(le(144,dist(x[10],x[121])),0,1),za4[18]) -> extension (support ? 1) - 264tuples
2.59/2.65 c intension eq(if(le(179,dist(x[10],x[175])),0,1),za4[19]) -> extension (support ? 1) - 1848tuples
2.59/2.65 c intension eq(if(le(74,dist(x[11],x[23])),0,1),za4[20]) -> extension (support ? 1) - 264tuples
2.59/2.66 c intension eq(if(le(109,dist(x[11],x[24])),0,1),za4[21]) -> extension (support ? 1) - 1936tuples
2.59/2.66 c intension eq(if(le(125,dist(x[11],x[25])),0,1),za4[22]) -> extension (support ? 1) - 1936tuples
2.59/2.66 c intension eq(if(le(167,dist(x[11],x[26])),0,1),za4[23]) -> extension (support ? 1) - 1584tuples
2.59/2.67 c intension eq(if(le(111,dist(x[11],x[122])),0,1),za4[24]) -> extension (support ? 1) - 264tuples
2.59/2.67 c intension eq(if(le(126,dist(x[11],x[126])),0,1),za4[25]) -> extension (support ? 1) - 1584tuples
2.59/2.67 c intension eq(if(le(98,dist(x[11],x[174])),0,1),za4[26]) -> extension (support ? 1) - 1848tuples
2.59/2.68 c intension eq(if(le(93,dist(x[12],x[14])),0,1),za4[27]) -> extension (support ? 1) - 1848tuples
2.59/2.68 c intension eq(if(le(163,dist(x[12],x[30])),0,1),za4[28]) -> extension (support ? 1) - 1936tuples
2.59/2.69 c intension eq(if(le(252,dist(x[13],x[68])),0,1),za4[29]) -> extension (support ? 1) - 1584tuples
2.59/2.69 c intension eq(if(le(298,dist(x[14],x[33])),0,1),za4[30]) -> extension (support ? 1) - 1848tuples
2.59/2.69 c intension eq(if(le(277,dist(x[15],x[40])),0,1),za4[31]) -> extension (support ? 1) - 1764tuples
2.69/2.70 c intension eq(if(le(37,dist(x[15],x[41])),0,1),za4[32]) -> extension (support ? 1) - 1764tuples
2.69/2.70 c intension eq(if(le(534,dist(x[16],x[20])),0,1),za4[33]) -> extension (support ? 1) - 792tuples
2.69/2.70 c intension eq(if(le(152,dist(x[122],x[16])),0,1),za4[34]) -> extension (support ? 1) - 132tuples
2.69/2.70 c intension eq(if(le(56,dist(x[16],x[194])),0,1),za4[35]) -> extension (support ? 1) - 792tuples
2.69/2.71 c intension eq(if(le(98,dist(x[17],x[33])),0,1),za4[36]) -> extension (support ? 1) - 968tuples
2.69/2.71 c intension eq(if(le(290,dist(x[18],x[67])),0,1),za4[37]) -> extension (support ? 1) - 1584tuples
2.69/2.71 c intension eq(if(le(264,dist(x[100],x[18])),0,1),za4[38]) -> extension (support ? 1) - 1936tuples
2.69/2.72 c intension eq(if(le(261,dist(x[159],x[18])),0,1),za4[39]) -> extension (support ? 1) - 1584tuples
2.69/2.72 c intension eq(if(le(152,dist(x[188],x[18])),0,1),za4[40]) -> extension (support ? 1) - 1936tuples
2.69/2.73 c intension eq(if(le(183,dist(x[19],x[49])),0,1),za4[41]) -> extension (support ? 1) - 1584tuples
2.69/2.73 c intension eq(if(le(56,dist(x[19],x[67])),0,1),za4[42]) -> extension (support ? 1) - 1584tuples
2.69/2.73 c intension eq(if(le(139,dist(x[19],x[91])),0,1),za4[43]) -> extension (support ? 1) - 1936tuples
2.69/2.74 c intension eq(if(le(493,dist(x[100],x[19])),0,1),za4[44]) -> extension (support ? 1) - 1936tuples
2.69/2.74 c intension eq(if(le(254,dist(x[101],x[19])),0,1),za4[45]) -> extension (support ? 1) - 1936tuples
2.69/2.75 c intension eq(if(le(82,dist(x[105],x[19])),0,1),za4[46]) -> extension (support ? 1) - 1584tuples
2.69/2.75 c intension eq(if(le(292,dist(x[119],x[20])),0,1),za4[47]) -> extension (support ? 1) - 1584tuples
2.69/2.75 c intension eq(if(le(168,dist(x[189],x[20])),0,1),za4[48]) -> extension (support ? 1) - 1584tuples
2.69/2.76 c intension eq(if(le(25,dist(x[145],x[21])),0,1),za4[49]) -> extension (support ? 1) - 1512tuples
2.69/2.76 c intension eq(if(le(128,dist(x[187],x[21])),0,1),za4[50]) -> extension (support ? 1) - 1584tuples
2.69/2.76 c intension eq(if(le(230,dist(x[22],x[75])),0,1),za4[51]) -> extension (support ? 1) - 252tuples
2.69/2.76 c intension eq(if(le(167,dist(x[121],x[22])),0,1),za4[52]) -> extension (support ? 1) - 36tuples
2.69/2.76 c intension eq(if(le(198,dist(x[127],x[22])),0,1),za4[53]) -> extension (support ? 1) - 216tuples
2.69/2.77 c intension eq(if(le(229,dist(x[23],x[74])),0,1),za4[54]) -> extension (support ? 1) - 252tuples
2.69/2.77 c intension eq(if(le(4,dist(x[23],x[75])),0,1),za4[55]) -> extension (support ? 1) - 252tuples
2.69/2.77 c intension eq(if(le(12,dist(x[126],x[24])),0,1),za4[56]) -> extension (support ? 1) - 1584tuples
2.69/2.77 c intension eq(if(le(222,dist(x[127],x[24])),0,1),za4[57]) -> extension (support ? 1) - 1584tuples
2.69/2.78 c intension eq(if(le(269,dist(x[147],x[24])),0,1),za4[58]) -> extension (support ? 1) - 1936tuples
2.69/2.78 c intension eq(if(le(247,dist(x[175],x[24])),0,1),za4[59]) -> extension (support ? 1) - 1848tuples
2.69/2.79 c intension eq(if(le(14,dist(x[25],x[57])),0,1),za4[60]) -> extension (support ? 1) - 1848tuples
2.69/2.79 c intension eq(if(le(277,dist(x[25],x[74])),0,1),za4[61]) -> extension (support ? 1) - 1848tuples
2.69/2.79 c intension eq(if(le(252,dist(x[26],x[75])),0,1),za4[62]) -> extension (support ? 1) - 1512tuples
2.79/2.80 c intension eq(if(le(276,dist(x[127],x[26])),0,1),za4[63]) -> extension (support ? 1) - 1296tuples
2.79/2.80 c intension eq(if(le(221,dist(x[27],x[74])),0,1),za4[64]) -> extension (support ? 1) - 1512tuples
2.79/2.81 c intension eq(if(le(41,dist(x[127],x[27])),0,1),za4[65]) -> extension (support ? 1) - 1296tuples
2.79/2.81 c intension eq(if(le(105,dist(x[146],x[27])),0,1),za4[66]) -> extension (support ? 1) - 1584tuples
2.79/2.81 c intension eq(if(le(14,dist(x[137],x[29])),0,1),za4[67]) -> extension (support ? 1) - 1512tuples
2.79/2.82 c intension eq(if(le(23,dist(x[30],x[60])),0,1),za4[68]) -> extension (support ? 1) - 1584tuples
2.79/2.82 c intension eq(if(le(105,dist(x[31],x[76])),0,1),za4[69]) -> extension (support ? 1) - 1848tuples
2.79/2.82 c intension eq(if(le(211,dist(x[141],x[32])),0,1),za4[70]) -> extension (support ? 1) - 1848tuples
2.79/2.83 c intension eq(if(le(56,dist(x[107],x[33])),0,1),za4[71]) -> extension (support ? 1) - 1056tuples
2.79/2.83 c intension eq(if(le(200,dist(x[35],x[61])),0,1),za4[72]) -> extension (support ? 1) - 1584tuples
2.79/2.84 c intension eq(if(le(95,dist(x[36],x[40])),0,1),za4[73]) -> extension (support ? 1) - 1848tuples
2.79/2.84 c intension eq(if(le(249,dist(x[36],x[57])),0,1),za4[74]) -> extension (support ? 1) - 1848tuples
2.79/2.84 c intension eq(if(le(140,dist(x[37],x[40])),0,1),za4[75]) -> extension (support ? 1) - 1848tuples
2.79/2.85 c intension eq(if(le(187,dist(x[113],x[37])),0,1),za4[76]) -> extension (support ? 1) - 1936tuples
2.79/2.85 c intension eq(if(le(261,dist(x[103],x[38])),0,1),za4[77]) -> extension (support ? 1) - 1584tuples
2.79/2.85 c intension eq(if(le(37,dist(x[106],x[38])),0,1),za4[78]) -> extension (support ? 1) - 1056tuples
2.79/2.86 c intension eq(if(le(277,dist(x[107],x[38])),0,1),za4[79]) -> extension (support ? 1) - 1056tuples
2.79/2.86 c intension eq(if(le(485,dist(x[111],x[39])),0,1),za4[80]) -> extension (support ? 1) - 1936tuples
2.79/2.87 c intension eq(if(le(130,dist(x[42],x[90])),0,1),za4[81]) -> extension (support ? 1) - 1584tuples
2.79/2.87 c intension eq(if(le(69,dist(x[100],x[42])),0,1),za4[82]) -> extension (support ? 1) - 1584tuples
2.79/2.87 c intension eq(if(le(164,dist(x[101],x[42])),0,1),za4[83]) -> extension (support ? 1) - 1584tuples
2.79/2.88 c intension eq(if(le(533,dist(x[104],x[42])),0,1),za4[84]) -> extension (support ? 1) - 1296tuples
2.79/2.88 c intension eq(if(le(290,dist(x[105],x[42])),0,1),za4[85]) -> extension (support ? 1) - 1296tuples
2.79/2.88 c intension eq(if(le(42,dist(x[158],x[42])),0,1),za4[86]) -> extension (support ? 1) - 1296tuples
2.79/2.89 c intension eq(if(le(195,dist(x[159],x[42])),0,1),za4[87]) -> extension (support ? 1) - 1296tuples
2.79/2.89 c intension eq(if(le(132,dist(x[43],x[67])),0,1),za4[88]) -> extension (support ? 1) - 1296tuples
2.79/2.89 c intension eq(if(le(202,dist(x[43],x[96])),0,1),za4[89]) -> extension (support ? 1) - 216tuples
2.79/2.89 c intension eq(if(le(305,dist(x[100],x[43])),0,1),za4[90]) -> extension (support ? 1) - 1584tuples
2.88/2.90 c intension eq(if(le(102,dist(x[105],x[43])),0,1),za4[91]) -> extension (support ? 1) - 1296tuples
2.88/2.90 c intension eq(if(le(112,dist(x[149],x[43])),0,1),za4[92]) -> extension (support ? 1) - 1584tuples
2.88/2.90 c intension eq(if(le(280,dist(x[158],x[43])),0,1),za4[93]) -> extension (support ? 1) - 1296tuples
2.88/2.91 c intension eq(if(le(216,dist(x[46],x[88])),0,1),za4[94]) -> extension (support ? 1) - 1584tuples
2.88/2.91 c intension eq(if(le(218,dist(x[47],x[50])),0,1),za4[95]) -> extension (support ? 1) - 1296tuples
2.88/2.91 c intension eq(if(le(289,dist(x[156],x[47])),0,1),za4[96]) -> extension (support ? 1) - 1512tuples
2.88/2.92 c intension eq(if(le(532,dist(x[132],x[48])),0,1),za4[97]) -> extension (support ? 1) - 1296tuples
2.88/2.92 c intension eq(if(le(369,dist(x[195],x[48])),0,1),za4[98]) -> extension (support ? 1) - 1296tuples
2.88/2.92 c intension eq(if(le(292,dist(x[194],x[49])),0,1),za4[99]) -> extension (support ? 1) - 1296tuples
2.88/2.93 c intension eq(if(le(272,dist(x[193],x[50])),0,1),za4[100]) -> extension (support ? 1) - 216tuples
2.88/2.93 c intension eq(if(le(136,dist(x[116],x[51])),0,1),za4[101]) -> extension (support ? 1) - 1296tuples
2.88/2.93 c intension eq(if(le(353,dist(x[52],x[99])),0,1),za4[102]) -> extension (support ? 1) - 1764tuples
2.88/2.94 c intension eq(if(le(154,dist(x[157],x[52])),0,1),za4[103]) -> extension (support ? 1) - 1764tuples
2.88/2.94 c intension eq(if(le(283,dist(x[179],x[52])),0,1),za4[104]) -> extension (support ? 1) - 1764tuples
2.88/2.94 c intension eq(if(le(298,dist(x[53],x[98])),0,1),za4[105]) -> extension (support ? 1) - 1764tuples
2.88/2.95 c intension eq(if(le(424,dist(x[151],x[54])),0,1),za4[106]) -> extension (support ? 1) - 1848tuples
2.88/2.95 c intension eq(if(le(180,dist(x[167],x[54])),0,1),za4[107]) -> extension (support ? 1) - 1584tuples
2.88/2.96 c intension eq(if(le(276,dist(x[182],x[54])),0,1),za4[108]) -> extension (support ? 1) - 1848tuples
2.88/2.96 c intension eq(if(le(95,dist(x[190],x[54])),0,1),za4[109]) -> extension (support ? 1) - 1936tuples
2.88/2.97 c intension eq(if(le(440,dist(x[55],x[86])),0,1),za4[110]) -> extension (support ? 1) - 1936tuples
2.88/2.97 c intension eq(if(le(108,dist(x[134],x[55])),0,1),za4[111]) -> extension (support ? 1) - 264tuples
2.88/2.97 c intension eq(if(le(121,dist(x[135],x[55])),0,1),za4[112]) -> extension (support ? 1) - 264tuples
2.88/2.97 c intension eq(if(le(96,dist(x[147],x[55])),0,1),za4[113]) -> extension (support ? 1) - 1936tuples
2.88/2.98 c intension eq(if(le(222,dist(x[150],x[55])),0,1),za4[114]) -> extension (support ? 1) - 1848tuples
2.88/2.98 c intension eq(if(le(12,dist(x[165],x[55])),0,1),za4[115]) -> extension (support ? 1) - 1936tuples
2.88/2.98 c intension eq(if(le(253,dist(x[142],x[56])),0,1),za4[116]) -> extension (support ? 1) - 1848tuples
2.88/2.99 c intension eq(if(le(140,dist(x[172],x[56])),0,1),za4[117]) -> extension (support ? 1) - 1848tuples
2.88/2.99 c intension eq(if(le(60,dist(x[129],x[57])),0,1),za4[118]) -> extension (support ? 1) - 1512tuples
2.88/3.00 c intension eq(if(le(145,dist(x[150],x[57])),0,1),za4[119]) -> extension (support ? 1) - 1764tuples
2.88/3.00 c intension eq(if(le(242,dist(x[135],x[58])),0,1),za4[120]) -> extension (support ? 1) - 216tuples
2.88/3.00 c intension eq(if(le(231,dist(x[164],x[58])),0,1),za4[121]) -> extension (support ? 1) - 1584tuples
2.99/3.01 c intension eq(if(le(276,dist(x[167],x[58])),0,1),za4[122]) -> extension (support ? 1) - 1296tuples
2.99/3.01 c intension eq(if(le(250,dist(x[183],x[58])),0,1),za4[123]) -> extension (support ? 1) - 1512tuples
2.99/3.01 c intension eq(if(le(208,dist(x[144],x[59])),0,1),za4[124]) -> extension (support ? 1) - 1512tuples
2.99/3.02 c intension eq(if(le(185,dist(x[190],x[59])),0,1),za4[125]) -> extension (support ? 1) - 1584tuples
2.99/3.02 c intension eq(if(le(210,dist(x[60],x[74])),0,1),za4[126]) -> extension (support ? 1) - 1512tuples
2.99/3.02 c intension eq(if(le(136,dist(x[62],x[64])),0,1),za4[127]) -> extension (support ? 1) - 1848tuples
2.99/3.03 c intension eq(if(le(94,dist(x[62],x[65])),0,1),za4[128]) -> extension (support ? 1) - 1848tuples
2.99/3.03 c intension eq(if(le(13,dist(x[118],x[62])),0,1),za4[129]) -> extension (support ? 1) - 1848tuples
2.99/3.04 c intension eq(if(le(256,dist(x[64],x[66])),0,1),za4[130]) -> extension (support ? 1) - 1584tuples
2.99/3.04 c intension eq(if(le(223,dist(x[64],x[67])),0,1),za4[131]) -> extension (support ? 1) - 1584tuples
2.99/3.04 c intension eq(if(le(79,dist(x[66],x[90])),0,1),za4[132]) -> extension (support ? 1) - 1584tuples
2.99/3.05 c intension eq(if(le(402,dist(x[66],x[97])),0,1),za4[133]) -> extension (support ? 1) - 216tuples
2.99/3.05 c intension eq(if(le(278,dist(x[66],x[99])),0,1),za4[134]) -> extension (support ? 1) - 1512tuples
2.99/3.05 c intension eq(if(le(293,dist(x[148],x[66])),0,1),za4[135]) -> extension (support ? 1) - 1584tuples
2.99/3.06 c intension eq(if(le(25,dist(x[105],x[67])),0,1),za4[136]) -> extension (support ? 1) - 1296tuples
2.99/3.06 c intension eq(if(le(240,dist(x[149],x[67])),0,1),za4[137]) -> extension (support ? 1) - 1584tuples
2.99/3.06 c intension eq(if(le(536,dist(x[68],x[82])),0,1),za4[138]) -> extension (support ? 1) - 792tuples
2.99/3.07 c intension eq(if(le(13,dist(x[170],x[70])),0,1),za4[139]) -> extension (support ? 1) - 1764tuples
2.99/3.07 c intension eq(if(le(296,dist(x[110],x[71])),0,1),za4[140]) -> extension (support ? 1) - 1848tuples
2.99/3.07 c intension eq(if(le(237,dist(x[186],x[71])),0,1),za4[141]) -> extension (support ? 1) - 1848tuples
2.99/3.08 c intension eq(if(le(167,dist(x[73],x[95])),0,1),za4[142]) -> extension (support ? 1) - 216tuples
2.99/3.08 c intension eq(if(le(54,dist(x[174],x[74])),0,1),za4[143]) -> extension (support ? 1) - 1764tuples
2.99/3.08 c intension eq(if(le(292,dist(x[175],x[74])),0,1),za4[144]) -> extension (support ? 1) - 1764tuples
2.99/3.08 c intension eq(if(le(57,dist(x[121],x[75])),0,1),za4[145]) -> extension (support ? 1) - 252tuples
2.99/3.09 c intension eq(if(le(216,dist(x[147],x[75])),0,1),za4[146]) -> extension (support ? 1) - 1848tuples
2.99/3.09 c intension eq(if(le(52,dist(x[175],x[75])),0,1),za4[147]) -> extension (support ? 1) - 1764tuples
2.99/3.10 c intension eq(if(le(107,dist(x[132],x[76])),0,1),za4[148]) -> extension (support ? 1) - 1512tuples
2.99/3.10 c intension eq(if(le(135,dist(x[181],x[76])),0,1),za4[149]) -> extension (support ? 1) - 1848tuples
2.99/3.10 c intension eq(if(le(194,dist(x[185],x[76])),0,1),za4[150]) -> extension (support ? 1) - 1764tuples
3.09/3.11 c intension eq(if(le(114,dist(x[133],x[77])),0,1),za4[151]) -> extension (support ? 1) - 1512tuples
3.09/3.11 c intension eq(if(le(299,dist(x[180],x[77])),0,1),za4[152]) -> extension (support ? 1) - 1848tuples
3.09/3.12 c intension eq(if(le(247,dist(x[182],x[77])),0,1),za4[153]) -> extension (support ? 1) - 1764tuples
3.09/3.12 c intension eq(if(le(279,dist(x[184],x[77])),0,1),za4[154]) -> extension (support ? 1) - 1764tuples
3.09/3.13 c intension eq(if(le(278,dist(x[196],x[79])),0,1),za4[155]) -> extension (support ? 1) - 1936tuples
3.09/3.13 c intension eq(if(le(207,dist(x[81],x[92])),0,1),za4[156]) -> extension (support ? 1) - 1584tuples
3.09/3.13 c intension eq(if(le(173,dist(x[135],x[86])),0,1),za4[157]) -> extension (support ? 1) - 264tuples
3.09/3.13 c intension eq(if(le(249,dist(x[151],x[86])),0,1),za4[158]) -> extension (support ? 1) - 1848tuples
3.09/3.14 c intension eq(if(le(264,dist(x[165],x[86])),0,1),za4[159]) -> extension (support ? 1) - 1936tuples
3.09/3.14 c intension eq(if(le(184,dist(x[167],x[86])),0,1),za4[160]) -> extension (support ? 1) - 1584tuples
3.09/3.15 c intension eq(if(le(82,dist(x[182],x[86])),0,1),za4[161]) -> extension (support ? 1) - 1848tuples
3.09/3.15 c intension eq(if(le(70,dist(x[159],x[87])),0,1),za4[162]) -> extension (support ? 1) - 1584tuples
3.09/3.15 c intension eq(if(le(107,dist(x[167],x[87])),0,1),za4[163]) -> extension (support ? 1) - 1584tuples
3.09/3.16 c intension eq(if(le(223,dist(x[88],x[99])),0,1),za4[164]) -> extension (support ? 1) - 1848tuples
3.09/3.16 c intension eq(if(le(200,dist(x[148],x[90])),0,1),za4[165]) -> extension (support ? 1) - 1936tuples
3.09/3.17 c intension eq(if(le(212,dist(x[149],x[90])),0,1),za4[166]) -> extension (support ? 1) - 1936tuples
3.09/3.17 c intension eq(if(le(159,dist(x[149],x[91])),0,1),za4[167]) -> extension (support ? 1) - 1936tuples
3.09/3.17 c intension eq(if(le(272,dist(x[195],x[92])),0,1),za4[168]) -> extension (support ? 1) - 1584tuples
3.09/3.18 c intension eq(if(le(51,dist(x[108],x[94])),0,1),za4[169]) -> extension (support ? 1) - 1584tuples
3.09/3.18 c intension eq(if(le(178,dist(x[109],x[94])),0,1),za4[170]) -> extension (support ? 1) - 1584tuples
3.09/3.19 c intension eq(if(le(27,dist(x[132],x[94])),0,1),za4[171]) -> extension (support ? 1) - 1296tuples
3.09/3.19 c intension eq(if(le(221,dist(x[169],x[94])),0,1),za4[172]) -> extension (support ? 1) - 1512tuples
3.09/3.19 c intension eq(if(le(166,dist(x[192],x[94])),0,1),za4[173]) -> extension (support ? 1) - 216tuples
3.09/3.19 c intension eq(if(le(288,dist(x[193],x[94])),0,1),za4[174]) -> extension (support ? 1) - 216tuples
3.09/3.20 c intension eq(if(le(51,dist(x[115],x[95])),0,1),za4[175]) -> extension (support ? 1) - 1584tuples
3.18/3.20 c intension eq(if(le(249,dist(x[168],x[95])),0,1),za4[176]) -> extension (support ? 1) - 1512tuples
3.18/3.20 c intension eq(if(le(14,dist(x[169],x[95])),0,1),za4[177]) -> extension (support ? 1) - 1512tuples
3.18/3.21 c intension eq(if(le(242,dist(x[181],x[95])),0,1),za4[178]) -> extension (support ? 1) - 1584tuples
3.18/3.21 c intension eq(if(le(240,dist(x[159],x[96])),0,1),za4[179]) -> extension (support ? 1) - 216tuples
3.18/3.21 c intension eq(if(le(33,dist(x[101],x[97])),0,1),za4[180]) -> extension (support ? 1) - 264tuples
3.18/3.21 c intension eq(if(le(241,dist(x[158],x[97])),0,1),za4[181]) -> extension (support ? 1) - 216tuples
3.18/3.21 c intension eq(if(le(40,dist(x[178],x[98])),0,1),za4[182]) -> extension (support ? 1) - 1764tuples
3.18/3.22 c intension eq(if(le(264,dist(x[100],x[159])),0,1),za4[183]) -> extension (support ? 1) - 1584tuples
3.18/3.22 c intension eq(if(le(277,dist(x[101],x[148])),0,1),za4[184]) -> extension (support ? 1) - 1936tuples
3.18/3.23 c intension eq(if(le(28,dist(x[101],x[159])),0,1),za4[185]) -> extension (support ? 1) - 1584tuples
3.18/3.23 c intension eq(if(le(451,dist(x[101],x[168])),0,1),za4[186]) -> extension (support ? 1) - 1848tuples
3.18/3.23 c intension eq(if(le(146,dist(x[105],x[159])),0,1),za4[187]) -> extension (support ? 1) - 1296tuples
3.18/3.24 c intension eq(if(le(249,dist(x[107],x[110])),0,1),za4[188]) -> extension (support ? 1) - 1056tuples
3.18/3.24 c intension eq(if(le(253,dist(x[107],x[111])),0,1),za4[189]) -> extension (support ? 1) - 1056tuples
3.18/3.24 c intension eq(if(le(202,dist(x[107],x[141])),0,1),za4[190]) -> extension (support ? 1) - 1008tuples
3.18/3.25 c intension eq(if(le(83,dist(x[114],x[132])),0,1),za4[191]) -> extension (support ? 1) - 1584tuples
3.18/3.25 c intension eq(if(le(110,dist(x[114],x[160])),0,1),za4[192]) -> extension (support ? 1) - 968tuples
3.18/3.25 c intension eq(if(le(280,dist(x[114],x[163])),0,1),za4[193]) -> extension (support ? 1) - 1848tuples
3.18/3.25 c intension eq(if(le(223,dist(x[114],x[192])),0,1),za4[194]) -> extension (support ? 1) - 264tuples
3.18/3.26 c intension eq(if(le(152,dist(x[115],x[132])),0,1),za4[195]) -> extension (support ? 1) - 1584tuples
3.18/3.26 c intension eq(if(le(79,dist(x[115],x[133])),0,1),za4[196]) -> extension (support ? 1) - 1584tuples
3.18/3.26 c intension eq(if(le(126,dist(x[115],x[160])),0,1),za4[197]) -> extension (support ? 1) - 968tuples
3.18/3.27 c intension eq(if(le(112,dist(x[115],x[161])),0,1),za4[198]) -> extension (support ? 1) - 968tuples
3.18/3.27 c intension eq(if(le(194,dist(x[115],x[168])),0,1),za4[199]) -> extension (support ? 1) - 1848tuples
3.18/3.27 c intension eq(if(le(11,dist(x[115],x[192])),0,1),za4[200]) -> extension (support ? 1) - 264tuples
3.18/3.28 c intension eq(if(le(220,dist(x[116],x[155])),0,1),za4[201]) -> extension (support ? 1) - 1584tuples
3.18/3.28 c intension eq(if(le(265,dist(x[119],x[144])),0,1),za4[202]) -> extension (support ? 1) - 1848tuples
3.18/3.28 c intension eq(if(le(151,dist(x[120],x[146])),0,1),za4[203]) -> extension (support ? 1) - 264tuples
3.18/3.28 c intension eq(if(le(239,dist(x[120],x[175])),0,1),za4[204]) -> extension (support ? 1) - 252tuples
3.18/3.28 c intension eq(if(le(268,dist(x[121],x[126])),0,1),za4[205]) -> extension (support ? 1) - 216tuples
3.18/3.28 c intension eq(if(le(137,dist(x[122],x[195])),0,1),za4[206]) -> extension (support ? 1) - 216tuples
3.18/3.29 c intension eq(if(le(141,dist(x[123],x[136])),0,1),za4[207]) -> extension (support ? 1) - 252tuples
3.18/3.29 c intension eq(if(le(208,dist(x[123],x[194])),0,1),za4[208]) -> extension (support ? 1) - 216tuples
3.18/3.29 c intension eq(if(le(235,dist(x[126],x[132])),0,1),za4[209]) -> extension (support ? 1) - 1296tuples
3.18/3.29 c intension eq(if(le(183,dist(x[127],x[147])),0,1),za4[210]) -> extension (support ? 1) - 1584tuples
3.29/3.30 c intension eq(if(le(27,dist(x[127],x[175])),0,1),za4[211]) -> extension (support ? 1) - 1512tuples
3.29/3.30 c intension eq(if(le(156,dist(x[129],x[139])),0,1),za4[212]) -> extension (support ? 1) - 1584tuples
3.29/3.31 c intension eq(if(le(27,dist(x[129],x[143])),0,1),za4[213]) -> extension (support ? 1) - 1584tuples
3.29/3.31 c intension eq(if(le(164,dist(x[130],x[139])),0,1),za4[214]) -> extension (support ? 1) - 1936tuples
3.29/3.31 c intension eq(if(le(240,dist(x[132],x[184])),0,1),za4[215]) -> extension (support ? 1) - 1512tuples
3.29/3.31 c intension eq(if(le(137,dist(x[132],x[192])),0,1),za4[216]) -> extension (support ? 1) - 216tuples
3.29/3.32 c intension eq(if(le(223,dist(x[132],x[193])),0,1),za4[217]) -> extension (support ? 1) - 216tuples
3.29/3.32 c intension eq(if(le(155,dist(x[133],x[185])),0,1),za4[218]) -> extension (support ? 1) - 1512tuples
3.29/3.32 c intension eq(if(le(123,dist(x[134],x[165])),0,1),za4[219]) -> extension (support ? 1) - 264tuples
3.29/3.32 c intension eq(if(le(200,dist(x[134],x[167])),0,1),za4[220]) -> extension (support ? 1) - 216tuples
3.29/3.32 c intension eq(if(le(295,dist(x[135],x[150])),0,1),za4[221]) -> extension (support ? 1) - 252tuples
3.29/3.33 c intension eq(if(le(216,dist(x[139],x[142])),0,1),za4[222]) -> extension (support ? 1) - 1936tuples
3.29/3.33 c intension eq(if(le(270,dist(x[142],x[158])),0,1),za4[223]) -> extension (support ? 1) - 1584tuples
3.29/3.34 c intension eq(if(le(287,dist(x[143],x[172])),0,1),za4[224]) -> extension (support ? 1) - 1936tuples
3.29/3.34 c intension eq(if(le(395,dist(x[146],x[175])),0,1),za4[225]) -> extension (support ? 1) - 1848tuples
3.29/3.34 c intension eq(if(le(177,dist(x[147],x[174])),0,1),za4[226]) -> extension (support ? 1) - 1848tuples
3.29/3.35 c intension eq(if(le(66,dist(x[148],x[158])),0,1),za4[227]) -> extension (support ? 1) - 1584tuples
3.29/3.35 c intension eq(if(le(283,dist(x[148],x[159])),0,1),za4[228]) -> extension (support ? 1) - 1584tuples
3.29/3.35 c intension eq(if(le(70,dist(x[149],x[159])),0,1),za4[229]) -> extension (support ? 1) - 1584tuples
3.29/3.36 c intension eq(if(le(150,dist(x[150],x[190])),0,1),za4[230]) -> extension (support ? 1) - 1848tuples
3.29/3.36 c intension eq(if(le(114,dist(x[151],x[164])),0,1),za4[231]) -> extension (support ? 1) - 1848tuples
3.29/3.37 c intension eq(if(le(187,dist(x[159],x[163])),0,1),za4[232]) -> extension (support ? 1) - 1512tuples
3.29/3.37 c intension eq(if(le(270,dist(x[160],x[180])),0,1),za4[233]) -> extension (support ? 1) - 968tuples
3.29/3.37 c intension eq(if(le(532,dist(x[160],x[184])),0,1),za4[234]) -> extension (support ? 1) - 924tuples
3.29/3.37 c intension eq(if(le(219,dist(x[161],x[172])),0,1),za4[235]) -> extension (support ? 1) - 968tuples
3.29/3.38 c intension eq(if(le(184,dist(x[161],x[173])),0,1),za4[236]) -> extension (support ? 1) - 968tuples
3.29/3.38 c intension eq(if(le(185,dist(x[161],x[181])),0,1),za4[237]) -> extension (support ? 1) - 968tuples
3.29/3.38 c intension eq(if(le(199,dist(x[161],x[184])),0,1),za4[238]) -> extension (support ? 1) - 924tuples
3.29/3.38 c intension eq(if(le(126,dist(x[161],x[192])),0,1),za4[239]) -> extension (support ? 1) - 132tuples
3.29/3.39 c intension eq(if(le(254,dist(x[163],x[173])),0,1),za4[240]) -> extension (support ? 1) - 1848tuples
3.29/3.39 c intension eq(if(le(131,dist(x[164],x[182])),0,1),za4[241]) -> extension (support ? 1) - 1848tuples
3.39/3.40 c intension eq(if(le(157,dist(x[165],x[182])),0,1),za4[242]) -> extension (support ? 1) - 1848tuples
3.39/3.40 c intension eq(if(le(107,dist(x[165],x[191])),0,1),za4[243]) -> extension (support ? 1) - 1936tuples
3.39/3.40 c intension eq(if(le(227,dist(x[166],x[190])),0,1),za4[244]) -> extension (support ? 1) - 1584tuples
3.39/3.41 c intension eq(if(le(249,dist(x[168],x[180])),0,1),za4[245]) -> extension (support ? 1) - 1848tuples
3.39/3.41 c intension eq(if(le(256,dist(x[169],x[181])),0,1),za4[246]) -> extension (support ? 1) - 1848tuples
3.39/3.42 c intension eq(if(le(201,dist(x[169],x[185])),0,1),za4[247]) -> extension (support ? 1) - 1764tuples
3.39/3.42 c intension eq(if(le(102,dist(x[175],x[195])),0,1),za4[248]) -> extension (support ? 1) - 1512tuples
3.39/3.42 c intension eq(if(le(283,dist(x[180],x[183])),0,1),za4[249]) -> extension (support ? 1) - 1848tuples
3.39/3.43 c intension eq(if(le(206,dist(x[180],x[193])),0,1),za4[250]) -> extension (support ? 1) - 264tuples
3.39/3.43 c intension eq(if(le(192,dist(x[181],x[186])),0,1),za4[251]) -> extension (support ? 1) - 1936tuples
3.39/3.43 c intension eq(if(le(183,dist(x[182],x[191])),0,1),za4[252]) -> extension (support ? 1) - 1848tuples
3.39/3.44 c intension eq(if(le(202,dist(x[183],x[190])),0,1),za4[253]) -> extension (support ? 1) - 1848tuples
3.39/3.44 c intension eq(if(le(253,dist(x[184],x[193])),0,1),za4[254]) -> extension (support ? 1) - 252tuples
3.39/3.44 c intension eq(if(le(52,dist(x[191],x[195])),0,1),za4[255]) -> extension (support ? 1) - 1584tuples
3.39/3.45 c intension eq(if(le(203,dist(x[193],x[196])),0,1),za4[256]) -> extension (support ? 1) - 264tuples
3.39/3.45 c intension eq(if(le(55,dist(x[195],x[197])),0,1),za4[257]) -> extension (support ? 1) - 1584tuples
3.69/3.71 c enable optimization
3.69/3.71 c ========================================[ Problem Statistics ]===========================================
3.69/3.71 c |
3.69/3.71 c | Parse time : 3.43 s
3.69/3.71 c |
3.69/3.71 c | Variables: 1234
3.69/3.71 c | Domain Sizes: 2..44
3.69/3.71 c |
3.69/3.71 c | Constraints: 1135
3.69/3.71 c | Arity: 2..1034 -- Binary: 100 -- Ternary: 1034
3.69/3.71 c |
3.69/3.71 c | Types:
3.69/3.71 c | Extension: 1134 (nb tuples: 6..1936) -- (shared: 29)
3.69/3.71 c | Sum: 1
3.69/3.71 c |
3.69/3.71 c | Objective: Minimize Sum
3.69/3.71
3.69/3.71 c =========================================================================================================
3.69/3.71 o 533
3.69/3.71 c 1 calls to solver(id=0): best=533 lower=0 upper=532
4.00/4.02 o 443
4.29/4.31 o 343
4.29/4.31 c 3 calls to solver(id=0): best=343 lower=0 upper=342
4.89/5.00 o 334
5.19/5.24 o 333
5.19/5.24 c 5 calls to solver(id=0): best=333 lower=0 upper=332
5.79/5.80 o 233
6.10/6.19 o 223
6.10/6.19 c 7 calls to solver(id=0): best=223 lower=0 upper=222
9.29/9.39 o 222
9.59/9.62 o 221
9.59/9.62 c 9 calls to solver(id=0): best=221 lower=0 upper=220
10.58/10.67 s OPTIMUM FOUND
10.58/10.67 c call to solver : 10
10.58/10.67 c
10.58/10.67 c restarts : 7
10.58/10.67 c conflicts : 302 (29 /sec)
10.58/10.67 c decisions : 21156 (1999 /sec)
10.58/10.67 c propagations : 689275 (65136 /sec)
10.58/10.67 c root propagations : 10575
10.58/10.67 c filter calls : 363738 (34373 /sec)
10.58/10.67 c useless filter calls : 302612 (83 %)
10.58/10.67 c Memory used : 145.41 MB
10.58/10.67 c Best bound time (wc) : 9.62199 s
10.58/10.67 c CPU time : 10.5821 s
10.58/10.67 c real time : 10.6699 s
10.58/10.67
10.58/10.67
10.58/10.67 v <instantiation type='solution' cost='221'>
10.58/10.67 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] za1[0] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[10] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[11] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[12] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[13] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[14] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[15] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[16] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[17] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[18] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[19] za1[1] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[2] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[3] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[4] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[5] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[6] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[7] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[8] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[9] za2[0] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[10] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[11] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[12] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[13] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[14] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[15] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[16] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[17] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[18] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[19] za2[1] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[20] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[21] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[22] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[23] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[24] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[25] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[26] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[27] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[28] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[29] za2[2] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[3] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[4] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[5] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[6] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[7] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[8] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[9] za3[0] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[10] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[11] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[12] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[13] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[14] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[15] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[16] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[17] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[18] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[19] za3[1] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[20] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[21] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[22] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[23] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[24] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[25] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[26] za3[270] za3[271] za3[272] za3[273] za3[27] za3[28] za3[29] za3[2] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[3] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[4] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[5] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[6] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[7] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[8] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[9] za4[0] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[10] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[11] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[12] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[13] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[14] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[15] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[16] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[17] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[18] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[19] za4[1] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[20] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[21] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[22] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[23] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[24] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[25] za4[26] za4[27] za4[28] za4[29] za4[2] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[3] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[4] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[5] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[6] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[7] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[8] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[9] </list>
10.58/10.67 v <values>58 750 512 44 282 100 338 16 254 16 254 792 792 554 128 366 16 254 142 380 666 428 554 170 408 170 408 58 296 680 442 114 352 750 680 442 100 338 240 478 778 540 750 512 512 736 498 86 324 694 456 16 254 792 554 652 778 540 666 428 128 366 778 540 722 484 414 128 366 58 296 128 366 680 442 58 296 16 114 352 792 554 652 414 16 254 694 456 254 792 554 708 470 736 498 16 254 792 554 16 16 254 240 478 72 310 16 254 16 254 254 296 722 484 240 478 666 428 722 484 484 722 792 16 254 114 352 722 484 792 554 554 792 554 694 456 680 442 114 352 722 484 680 442 72 44 282 58 296 114 352 652 414 722 484 310 44 282 652 414 792 554 72 310 764 526 240 708 470 240 478 708 470 694 456 156 394 478 100 338 16 254 128 366 792 554 16 254 170 156 394 792 554 72 310 240 478 652 414 408 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
10.58/10.67 v </instantiation>
10.58/10.67