0.00/0.02 c
0.00/0.02 c This is cosoco 2.00 --
0.00/0.02 c
0.00/0.02 c command line: cosoco -model -nbcores=8 HOME/instance-4410011-1569832867.xml
0.00/0.02 c intension eq(dist(x[0],x[1]),238) -> extension (support ? 1) - 42tuples
0.00/0.02 c intension eq(dist(x[2],x[3]),238) -> extension (support ? 1) - 44tuples
0.00/0.02 c intension eq(dist(x[4],x[5]),238) -> extension (support ? 1) - 22tuples
0.00/0.02 c intension eq(dist(x[6],x[7]),238) -> extension (support ? 1) - 6tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension eq(dist(x[10],x[11]),238) -> extension (support ? 1) - 44tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension eq(dist(x[14],x[15]),238) -> extension (support ? 1) - 42tuples
0.00/0.03 c intension eq(dist(x[16],x[17]),238) -> extension (support ? 1) - 22tuples
0.00/0.03 c intension eq(dist(x[18],x[19]),238) -> extension (support ? 1) - 44tuples
0.00/0.03 c intension eq(dist(x[20],x[21]),238) -> extension (support ? 1) - 36tuples
0.00/0.03 c intension eq(dist(x[22],x[23]),238) -> extension (support ? 1) - 6tuples
0.00/0.03 c intension eq(dist(x[24],x[25]),238) -> extension (support ? 1) - 44tuples
0.00/0.03 c intension eq(dist(x[26],x[27]),238) -> extension (support ? 1) - 36tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension eq(dist(x[30],x[31]),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[40],x[41]),238) -> extension (support ? 1) - 42tuples
0.00/0.04 c intension eq(dist(x[42],x[43]),238) -> extension (support ? 1) - 36tuples
0.00/0.04 c intension eq(dist(x[44],x[45]),238) -> extension (support ? 1) - 44tuples
0.00/0.04 c intension eq(dist(x[46],x[47]),238) -> extension (support ? 1) - 36tuples
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[52],x[53]),238) -> extension (support ? 1) - 42tuples
0.00/0.04 c intension eq(dist(x[54],x[55]),238) -> extension (support ? 1) - 44tuples
0.00/0.04 c intension eq(dist(x[56],x[57]),238) -> extension (support ? 1) - 42tuples
0.00/0.04 c intension eq(dist(x[58],x[59]),238) -> extension (support ? 1) - 36tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension eq(dist(x[62],x[63]),238) -> extension (support ? 1) - 42tuples
0.00/0.05 c intension eq(dist(x[64],x[65]),238) -> extension (support ? 1) - 44tuples
0.00/0.05 c intension eq(dist(x[66],x[67]),238) -> extension (support ? 1) - 36tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension eq(dist(x[70],x[71]),238) -> extension (support ? 1) - 42tuples
0.00/0.05 c intension eq(dist(x[72],x[73]),238) -> extension (support ? 1) - 6tuples
0.00/0.05 c intension eq(dist(x[74],x[75]),238) -> extension (support ? 1) - 42tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension eq(dist(x[78],x[79]),238) -> extension (support ? 1) - 44tuples
0.00/0.05 c intension eq(dist(x[80],x[81]),238) -> extension (support ? 1) - 36tuples
0.00/0.05 c intension eq(dist(x[82],x[83]),238) -> extension (support ? 1) - 22tuples
0.00/0.05 c intension eq(dist(x[84],x[85]),238) -> extension (support ? 1) - 44tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension eq(dist(x[94],x[95]),238) -> extension (support ? 1) - 36tuples
0.00/0.06 c intension eq(dist(x[96],x[97]),238) -> extension (support ? 1) - 6tuples
0.00/0.06 c intension eq(dist(x[98],x[99]),238) -> extension (support ? 1) - 42tuples
0.00/0.06 c intension eq(dist(x[100],x[101]),238) -> extension (support ? 1) - 44tuples
0.00/0.06 c intension eq(dist(x[102],x[103]),238) -> extension (support ? 1) - 36tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension eq(dist(x[106],x[107]),238) -> extension (support ? 1) - 24tuples
0.00/0.06 c intension eq(dist(x[108],x[109]),238) -> extension (support ? 1) - 44tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension eq(dist(x[116],x[117]),238) -> extension (support ? 1) - 36tuples
0.00/0.06 c intension eq(dist(x[118],x[119]),238) -> extension (support ? 1) - 44tuples
0.00/0.06 c intension eq(dist(x[120],x[121]),238) -> extension (support ? 1) - 6tuples
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension eq(dist(x[124],x[125]),238) -> extension (support ? 1) - 42tuples
0.00/0.07 c intension eq(dist(x[126],x[127]),238) -> extension (support ? 1) - 36tuples
0.00/0.07 c intension -> extension : same as previous
0.00/0.07 c intension eq(dist(x[130],x[131]),238) -> extension (support ? 1) - 44tuples
0.00/0.07 c intension eq(dist(x[132],x[133]),238) -> extension (support ? 1) - 36tuples
0.00/0.07 c intension eq(dist(x[134],x[135]),238) -> extension (support ? 1) - 6tuples
0.00/0.07 c intension eq(dist(x[136],x[137]),238) -> extension (support ? 1) - 42tuples
0.00/0.07 c intension eq(dist(x[138],x[139]),238) -> extension (support ? 1) - 44tuples
0.00/0.07 c intension eq(dist(x[140],x[141]),238) -> extension (support ? 1) - 42tuples
0.00/0.07 c intension eq(dist(x[142],x[143]),238) -> extension (support ? 1) - 44tuples
0.00/0.07 c intension eq(dist(x[144],x[145]),238) -> extension (support ? 1) - 42tuples
0.00/0.08 c intension eq(dist(x[146],x[147]),238) -> extension (support ? 1) - 44tuples
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension eq(dist(x[150],x[151]),238) -> extension (support ? 1) - 42tuples
0.00/0.08 c intension eq(dist(x[152],x[153]),238) -> extension (support ? 1) - 44tuples
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension eq(dist(x[156],x[157]),238) -> extension (support ? 1) - 42tuples
0.00/0.08 c intension eq(dist(x[158],x[159]),238) -> extension (support ? 1) - 36tuples
0.00/0.08 c intension eq(dist(x[160],x[161]),238) -> extension (support ? 1) - 22tuples
0.00/0.08 c intension eq(dist(x[162],x[163]),238) -> extension (support ? 1) - 42tuples
0.00/0.08 c intension eq(dist(x[164],x[165]),238) -> extension (support ? 1) - 44tuples
0.00/0.08 c intension eq(dist(x[166],x[167]),238) -> extension (support ? 1) - 36tuples
0.00/0.09 c intension eq(dist(x[168],x[169]),238) -> extension (support ? 1) - 42tuples
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension eq(dist(x[172],x[173]),238) -> extension (support ? 1) - 44tuples
0.00/0.09 c intension eq(dist(x[174],x[175]),238) -> extension (support ? 1) - 42tuples
0.00/0.09 c intension eq(dist(x[176],x[177]),238) -> extension (support ? 1) - 24tuples
0.00/0.09 c intension eq(dist(x[178],x[179]),238) -> extension (support ? 1) - 42tuples
0.00/0.09 c intension eq(dist(x[180],x[181]),238) -> extension (support ? 1) - 44tuples
0.00/0.09 c intension eq(dist(x[182],x[183]),238) -> extension (support ? 1) - 42tuples
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension eq(dist(x[186],x[187]),238) -> extension (support ? 1) - 44tuples
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension eq(dist(x[192],x[193]),238) -> extension (support ? 1) - 6tuples
0.00/0.10 c intension eq(dist(x[194],x[195]),238) -> extension (support ? 1) - 36tuples
0.00/0.10 c intension eq(dist(x[196],x[197]),238) -> extension (support ? 1) - 44tuples
0.09/0.12 c intension -> extension : same as previous
0.09/0.12 c intension eq(if(le(200,dist(x[1],x[40])),0,1000),za1[0]) -> extension (support ? 1) - 1764tuples
0.09/0.13 c intension eq(if(le(393,dist(x[2],x[30])),0,1000),za1[1]) -> extension (support ? 1) - 1936tuples
0.09/0.13 c intension eq(if(le(71,dist(x[3],x[7])),0,1000),za1[2]) -> extension (support ? 1) - 264tuples
0.09/0.14 c intension eq(if(le(373,dist(x[30],x[3])),0,1000),za1[3]) -> extension (support ? 1) - 1936tuples
0.09/0.14 c intension eq(if(le(206,dist(x[3],x[68])),0,1000),za1[4]) -> extension (support ? 1) - 1584tuples
0.09/0.15 c intension eq(if(le(188,dist(x[25],x[6])),0,1000),za1[5]) -> extension (support ? 1) - 264tuples
0.09/0.15 c intension eq(if(le(193,dist(x[21],x[8])),0,1000),za1[6]) -> extension (support ? 1) - 216tuples
0.09/0.15 c intension eq(if(le(41,dist(x[85],x[9])),0,1000),za1[7]) -> extension (support ? 1) - 264tuples
0.09/0.15 c intension eq(if(le(189,dist(x[10],x[25])),0,1000),za1[8]) -> extension (support ? 1) - 1936tuples
0.09/0.16 c intension eq(if(le(138,dist(x[10],x[174])),0,1000),za1[9]) -> extension (support ? 1) - 1848tuples
0.09/0.17 c intension eq(if(le(152,dist(x[11],x[74])),0,1000),za1[10]) -> extension (support ? 1) - 1848tuples
0.09/0.18 c intension eq(if(le(158,dist(x[13],x[55])),0,1000),za1[11]) -> extension (support ? 1) - 1936tuples
0.09/0.18 c intension eq(if(le(186,dist(x[14],x[32])),0,1000),za1[12]) -> extension (support ? 1) - 1848tuples
0.09/0.19 c intension eq(if(le(297,dist(x[14],x[45])),0,1000),za1[13]) -> extension (support ? 1) - 1848tuples
0.09/0.20 c intension eq(if(le(132,dist(x[112],x[14])),0,1000),za1[14]) -> extension (support ? 1) - 1848tuples
0.09/0.20 c intension eq(if(le(202,dist(x[16],x[48])),0,1000),za1[15]) -> extension (support ? 1) - 792tuples
0.09/0.20 c intension eq(if(le(81,dist(x[17],x[81])),0,1000),za1[16]) -> extension (support ? 1) - 792tuples
0.09/0.21 c intension eq(if(le(54,dist(x[18],x[66])),0,1000),za1[17]) -> extension (support ? 1) - 1584tuples
0.21/0.22 c intension eq(if(le(263,dist(x[101],x[18])),0,1000),za1[18]) -> extension (support ? 1) - 1936tuples
0.21/0.22 c intension eq(if(le(261,dist(x[19],x[42])),0,1000),za1[19]) -> extension (support ? 1) - 1584tuples
0.21/0.23 c intension eq(if(le(68,dist(x[20],x[62])),0,1000),za1[20]) -> extension (support ? 1) - 1512tuples
0.21/0.23 c intension eq(if(le(162,dist(x[120],x[21])),0,1000),za1[21]) -> extension (support ? 1) - 216tuples
0.21/0.23 c intension eq(if(le(113,dist(x[22],x[24])),0,1000),za1[22]) -> extension (support ? 1) - 264tuples
0.21/0.24 c intension eq(if(le(239,dist(x[22],x[27])),0,1000),za1[23]) -> extension (support ? 1) - 216tuples
0.21/0.24 c intension eq(if(le(171,dist(x[175],x[22])),0,1000),za1[24]) -> extension (support ? 1) - 252tuples
0.21/0.24 c intension eq(if(le(134,dist(x[120],x[23])),0,1000),za1[25]) -> extension (support ? 1) - 36tuples
0.21/0.24 c intension eq(if(le(59,dist(x[175],x[23])),0,1000),za1[26]) -> extension (support ? 1) - 252tuples
0.21/0.24 c intension eq(if(le(55,dist(x[25],x[27])),0,1000),za1[27]) -> extension (support ? 1) - 1584tuples
0.21/0.25 c intension eq(if(le(19,dist(x[121],x[25])),0,1000),za1[28]) -> extension (support ? 1) - 264tuples
0.21/0.25 c intension eq(if(le(11,dist(x[127],x[25])),0,1000),za1[29]) -> extension (support ? 1) - 1584tuples
0.21/0.26 c intension eq(if(le(10,dist(x[175],x[25])),0,1000),za1[30]) -> extension (support ? 1) - 1848tuples
0.21/0.26 c intension eq(if(le(12,dist(x[26],x[74])),0,1000),za1[31]) -> extension (support ? 1) - 1512tuples
0.21/0.27 c intension eq(if(le(119,dist(x[121],x[26])),0,1000),za1[32]) -> extension (support ? 1) - 216tuples
0.21/0.27 c intension eq(if(le(112,dist(x[147],x[26])),0,1000),za1[33]) -> extension (support ? 1) - 1584tuples
0.21/0.28 c intension eq(if(le(191,dist(x[126],x[27])),0,1000),za1[34]) -> extension (support ? 1) - 1296tuples
0.21/0.28 c intension eq(if(le(228,dist(x[147],x[27])),0,1000),za1[35]) -> extension (support ? 1) - 1584tuples
0.21/0.29 c intension eq(if(le(293,dist(x[28],x[82])),0,1000),za1[36]) -> extension (support ? 1) - 792tuples
0.21/0.29 c intension eq(if(le(217,dist(x[28],x[83])),0,1000),za1[37]) -> extension (support ? 1) - 792tuples
0.21/0.30 c intension eq(if(le(207,dist(x[31],x[60])),0,1000),za1[38]) -> extension (support ? 1) - 1584tuples
0.21/0.30 c intension eq(if(le(39,dist(x[32],x[90])),0,1000),za1[39]) -> extension (support ? 1) - 1936tuples
0.21/0.31 c intension eq(if(le(253,dist(x[153],x[32])),0,1000),za1[40]) -> extension (support ? 1) - 1936tuples
0.30/0.32 c intension eq(if(le(71,dist(x[153],x[33])),0,1000),za1[41]) -> extension (support ? 1) - 1936tuples
0.30/0.32 c intension eq(if(le(241,dist(x[195],x[34])),0,1000),za1[42]) -> extension (support ? 1) - 1584tuples
0.30/0.33 c intension eq(if(le(221,dist(x[35],x[82])),0,1000),za1[43]) -> extension (support ? 1) - 968tuples
0.30/0.33 c intension eq(if(le(182,dist(x[113],x[36])),0,1000),za1[44]) -> extension (support ? 1) - 1936tuples
0.30/0.34 c intension eq(if(le(191,dist(x[106],x[39])),0,1000),za1[45]) -> extension (support ? 1) - 1056tuples
0.30/0.34 c intension eq(if(le(295,dist(x[41],x[78])),0,1000),za1[46]) -> extension (support ? 1) - 1848tuples
0.30/0.35 c intension eq(if(le(188,dist(x[42],x[66])),0,1000),za1[47]) -> extension (support ? 1) - 1296tuples
0.30/0.36 c intension eq(if(le(286,dist(x[42],x[91])),0,1000),za1[48]) -> extension (support ? 1) - 1584tuples
0.30/0.36 c intension eq(if(le(190,dist(x[43],x[66])),0,1000),za1[49]) -> extension (support ? 1) - 1296tuples
0.30/0.37 c intension eq(if(le(284,dist(x[43],x[90])),0,1000),za1[50]) -> extension (support ? 1) - 1584tuples
0.30/0.37 c intension eq(if(le(46,dist(x[43],x[91])),0,1000),za1[51]) -> extension (support ? 1) - 1584tuples
0.30/0.38 c intension eq(if(le(140,dist(x[43],x[92])),0,1000),za1[52]) -> extension (support ? 1) - 1584tuples
0.30/0.39 c intension eq(if(le(38,dist(x[159],x[43])),0,1000),za1[53]) -> extension (support ? 1) - 1296tuples
0.30/0.39 c intension eq(if(le(230,dist(x[47],x[89])),0,1000),za1[54]) -> extension (support ? 1) - 1584tuples
0.30/0.40 c intension eq(if(le(51,dist(x[157],x[47])),0,1000),za1[55]) -> extension (support ? 1) - 1512tuples
0.30/0.40 c intension eq(if(le(175,dist(x[53],x[64])),0,1000),za1[56]) -> extension (support ? 1) - 1848tuples
0.30/0.41 c intension eq(if(le(155,dist(x[179],x[53])),0,1000),za1[57]) -> extension (support ? 1) - 1764tuples
0.40/0.42 c intension eq(if(le(225,dist(x[54],x[87])),0,1000),za1[58]) -> extension (support ? 1) - 1936tuples
0.40/0.42 c intension eq(if(le(239,dist(x[135],x[54])),0,1000),za1[59]) -> extension (support ? 1) - 264tuples
0.40/0.43 c intension eq(if(le(279,dist(x[166],x[54])),0,1000),za1[60]) -> extension (support ? 1) - 1584tuples
0.40/0.43 c intension eq(if(le(352,dist(x[183],x[54])),0,1000),za1[61]) -> extension (support ? 1) - 1848tuples
0.40/0.44 c intension eq(if(le(225,dist(x[55],x[58])),0,1000),za1[62]) -> extension (support ? 1) - 1584tuples
0.40/0.45 c intension eq(if(le(127,dist(x[55],x[59])),0,1000),za1[63]) -> extension (support ? 1) - 1584tuples
0.40/0.45 c intension eq(if(le(201,dist(x[55],x[87])),0,1000),za1[64]) -> extension (support ? 1) - 1936tuples
0.40/0.46 c intension eq(if(le(186,dist(x[151],x[55])),0,1000),za1[65]) -> extension (support ? 1) - 1848tuples
0.40/0.47 c intension eq(if(le(237,dist(x[128],x[56])),0,1000),za1[66]) -> extension (support ? 1) - 1512tuples
0.40/0.47 c intension eq(if(le(209,dist(x[167],x[56])),0,1000),za1[67]) -> extension (support ? 1) - 1512tuples
0.40/0.48 c intension eq(if(le(295,dist(x[128],x[57])),0,1000),za1[68]) -> extension (support ? 1) - 1512tuples
0.40/0.48 c intension eq(if(le(195,dist(x[142],x[57])),0,1000),za1[69]) -> extension (support ? 1) - 1848tuples
0.40/0.49 c intension eq(if(le(124,dist(x[151],x[57])),0,1000),za1[70]) -> extension (support ? 1) - 1764tuples
0.40/0.49 c intension eq(if(le(114,dist(x[134],x[58])),0,1000),za1[71]) -> extension (support ? 1) - 216tuples
0.40/0.50 c intension eq(if(le(180,dist(x[151],x[58])),0,1000),za1[72]) -> extension (support ? 1) - 1512tuples
0.40/0.50 c intension eq(if(le(532,dist(x[160],x[58])),0,1000),za1[73]) -> extension (support ? 1) - 792tuples
0.40/0.51 c intension eq(if(le(241,dist(x[59],x[86])),0,1000),za1[74]) -> extension (support ? 1) - 1584tuples
0.51/0.51 c intension eq(if(le(67,dist(x[59],x[87])),0,1000),za1[75]) -> extension (support ? 1) - 1584tuples
0.51/0.52 c intension eq(if(le(27,dist(x[145],x[59])),0,1000),za1[76]) -> extension (support ? 1) - 1512tuples
0.51/0.52 c intension eq(if(le(53,dist(x[151],x[59])),0,1000),za1[77]) -> extension (support ? 1) - 1512tuples
0.51/0.53 c intension eq(if(le(42,dist(x[167],x[59])),0,1000),za1[78]) -> extension (support ? 1) - 1296tuples
0.51/0.54 c intension eq(if(le(230,dist(x[191],x[59])),0,1000),za1[79]) -> extension (support ? 1) - 1584tuples
0.51/0.54 c intension eq(if(le(379,dist(x[64],x[88])),0,1000),za1[80]) -> extension (support ? 1) - 1936tuples
0.51/0.55 c intension eq(if(le(211,dist(x[100],x[66])),0,1000),za1[81]) -> extension (support ? 1) - 1584tuples
0.51/0.55 c intension eq(if(le(298,dist(x[158],x[66])),0,1000),za1[82]) -> extension (support ? 1) - 1296tuples
0.51/0.56 c intension eq(if(le(171,dist(x[159],x[67])),0,1000),za1[83]) -> extension (support ? 1) - 1296tuples
0.51/0.57 c intension eq(if(le(81,dist(x[110],x[70])),0,1000),za1[84]) -> extension (support ? 1) - 1848tuples
0.51/0.57 c intension eq(if(le(39,dist(x[152],x[70])),0,1000),za1[85]) -> extension (support ? 1) - 1848tuples
0.51/0.58 c intension eq(if(le(81,dist(x[72],x[78])),0,1000),za1[86]) -> extension (support ? 1) - 264tuples
0.51/0.58 c intension eq(if(le(287,dist(x[120],x[74])),0,1000),za1[87]) -> extension (support ? 1) - 252tuples
0.51/0.58 c intension eq(if(le(210,dist(x[126],x[75])),0,1000),za1[88]) -> extension (support ? 1) - 1512tuples
0.51/0.59 c intension eq(if(le(28,dist(x[127],x[75])),0,1000),za1[89]) -> extension (support ? 1) - 1512tuples
0.51/0.59 c intension eq(if(le(145,dist(x[146],x[75])),0,1000),za1[90]) -> extension (support ? 1) - 1848tuples
0.51/0.60 c intension eq(if(le(182,dist(x[174],x[75])),0,1000),za1[91]) -> extension (support ? 1) - 1764tuples
0.59/0.61 c intension eq(if(le(94,dist(x[180],x[76])),0,1000),za1[92]) -> extension (support ? 1) - 1848tuples
0.59/0.61 c intension eq(if(le(42,dist(x[184],x[76])),0,1000),za1[93]) -> extension (support ? 1) - 1764tuples
0.59/0.62 c intension eq(if(le(290,dist(x[114],x[77])),0,1000),za1[94]) -> extension (support ? 1) - 1848tuples
0.59/0.63 c intension eq(if(le(199,dist(x[115],x[77])),0,1000),za1[95]) -> extension (support ? 1) - 1848tuples
0.59/0.64 c intension eq(if(le(137,dist(x[196],x[78])),0,1000),za1[96]) -> extension (support ? 1) - 1936tuples
0.59/0.64 c intension eq(if(le(138,dist(x[198],x[78])),0,1000),za1[97]) -> extension (support ? 1) - 1936tuples
0.59/0.65 c intension eq(if(le(140,dist(x[197],x[79])),0,1000),za1[98]) -> extension (support ? 1) - 1936tuples
0.59/0.66 c intension eq(if(le(285,dist(x[184],x[83])),0,1000),za1[99]) -> extension (support ? 1) - 924tuples
0.59/0.66 c intension eq(if(le(238,dist(x[157],x[84])),0,1000),za1[100]) -> extension (support ? 1) - 1848tuples
0.59/0.67 c intension eq(if(le(9,dist(x[186],x[84])),0,1000),za1[101]) -> extension (support ? 1) - 1936tuples
0.59/0.67 c intension eq(if(le(173,dist(x[151],x[85])),0,1000),za1[102]) -> extension (support ? 1) - 1848tuples
0.59/0.68 c intension eq(if(le(243,dist(x[134],x[86])),0,1000),za1[103]) -> extension (support ? 1) - 264tuples
0.59/0.68 c intension eq(if(le(445,dist(x[190],x[86])),0,1000),za1[104]) -> extension (support ? 1) - 1936tuples
0.59/0.69 c intension eq(if(le(497,dist(x[191],x[86])),0,1000),za1[105]) -> extension (support ? 1) - 1936tuples
0.59/0.69 c intension eq(if(le(175,dist(x[134],x[87])),0,1000),za1[106]) -> extension (support ? 1) - 264tuples
0.69/0.70 c intension eq(if(le(72,dist(x[135],x[87])),0,1000),za1[107]) -> extension (support ? 1) - 264tuples
0.69/0.70 c intension eq(if(le(11,dist(x[151],x[87])),0,1000),za1[108]) -> extension (support ? 1) - 1848tuples
0.69/0.71 c intension eq(if(le(166,dist(x[158],x[87])),0,1000),za1[109]) -> extension (support ? 1) - 1584tuples
0.69/0.71 c intension eq(if(le(528,dist(x[190],x[87])),0,1000),za1[110]) -> extension (support ? 1) - 1936tuples
0.69/0.72 c intension eq(if(le(436,dist(x[179],x[88])),0,1000),za1[111]) -> extension (support ? 1) - 1848tuples
0.69/0.73 c intension eq(if(le(154,dist(x[100],x[90])),0,1000),za1[112]) -> extension (support ? 1) - 1936tuples
0.69/0.73 c intension eq(if(le(180,dist(x[105],x[90])),0,1000),za1[113]) -> extension (support ? 1) - 1584tuples
0.69/0.74 c intension eq(if(le(294,dist(x[104],x[91])),0,1000),za1[114]) -> extension (support ? 1) - 1584tuples
0.69/0.75 c intension eq(if(le(263,dist(x[133],x[94])),0,1000),za1[115]) -> extension (support ? 1) - 1296tuples
0.69/0.75 c intension eq(if(le(55,dist(x[160],x[94])),0,1000),za1[116]) -> extension (support ? 1) - 792tuples
0.69/0.75 c intension eq(if(le(294,dist(x[161],x[94])),0,1000),za1[117]) -> extension (support ? 1) - 792tuples
0.69/0.76 c intension eq(if(le(53,dist(x[161],x[95])),0,1000),za1[118]) -> extension (support ? 1) - 792tuples
0.69/0.76 c intension eq(if(le(144,dist(x[184],x[95])),0,1000),za1[119]) -> extension (support ? 1) - 1512tuples
0.69/0.77 c intension eq(if(le(245,dist(x[148],x[96])),0,1000),za1[120]) -> extension (support ? 1) - 264tuples
0.69/0.77 c intension eq(if(le(199,dist(x[158],x[96])),0,1000),za1[121]) -> extension (support ? 1) - 216tuples
0.69/0.77 c intension eq(if(le(268,dist(x[100],x[97])),0,1000),za1[122]) -> extension (support ? 1) - 264tuples
0.69/0.77 c intension eq(if(le(255,dist(x[104],x[97])),0,1000),za1[123]) -> extension (support ? 1) - 216tuples
0.69/0.77 c intension eq(if(le(6,dist(x[159],x[97])),0,1000),za1[124]) -> extension (support ? 1) - 216tuples
0.69/0.78 c intension eq(if(le(284,dist(x[155],x[98])),0,1000),za1[125]) -> extension (support ? 1) - 1848tuples
0.69/0.78 c intension eq(if(le(174,dist(x[101],x[105])),0,1000),za1[126]) -> extension (support ? 1) - 1584tuples
0.69/0.79 c intension eq(if(le(297,dist(x[103],x[110])),0,1000),za1[127]) -> extension (support ? 1) - 1584tuples
0.69/0.79 c intension eq(if(le(195,dist(x[103],x[142])),0,1000),za1[128]) -> extension (support ? 1) - 1584tuples
0.79/0.80 c intension eq(if(le(39,dist(x[103],x[143])),0,1000),za1[129]) -> extension (support ? 1) - 1584tuples
0.79/0.81 c intension eq(if(le(211,dist(x[105],x[149])),0,1000),za1[130]) -> extension (support ? 1) - 1584tuples
0.79/0.81 c intension eq(if(le(103,dist(x[105],x[158])),0,1000),za1[131]) -> extension (support ? 1) - 1296tuples
0.79/0.82 c intension eq(if(le(245,dist(x[106],x[145])),0,1000),za1[132]) -> extension (support ? 1) - 1008tuples
0.79/0.82 c intension eq(if(le(306,dist(x[108],x[143])),0,1000),za1[133]) -> extension (support ? 1) - 1936tuples
0.79/0.83 c intension eq(if(le(200,dist(x[108],x[183])),0,1000),za1[134]) -> extension (support ? 1) - 1848tuples
0.79/0.84 c intension eq(if(le(188,dist(x[109],x[131])),0,1000),za1[135]) -> extension (support ? 1) - 1936tuples
0.79/0.84 c intension eq(if(le(146,dist(x[114],x[193])),0,1000),za1[136]) -> extension (support ? 1) - 264tuples
0.79/0.84 c intension eq(if(le(226,dist(x[116],x[179])),0,1000),za1[137]) -> extension (support ? 1) - 1512tuples
0.79/0.85 c intension eq(if(le(194,dist(x[118],x[186])),0,1000),za1[138]) -> extension (support ? 1) - 1936tuples
0.79/0.86 c intension eq(if(le(110,dist(x[118],x[189])),0,1000),za1[139]) -> extension (support ? 1) - 1936tuples
0.79/0.86 c intension eq(if(le(109,dist(x[120],x[124])),0,1000),za1[140]) -> extension (support ? 1) - 252tuples
0.79/0.86 c intension eq(if(le(180,dist(x[120],x[174])),0,1000),za1[141]) -> extension (support ? 1) - 252tuples
0.79/0.87 c intension eq(if(le(369,dist(x[122],x[137])),0,1000),za1[142]) -> extension (support ? 1) - 252tuples
0.79/0.87 c intension eq(if(le(12,dist(x[124],x[194])),0,1000),za1[143]) -> extension (support ? 1) - 1512tuples
0.79/0.88 c intension eq(if(le(425,dist(x[126],x[147])),0,1000),za1[144]) -> extension (support ? 1) - 1584tuples
0.79/0.88 c intension eq(if(le(224,dist(x[127],x[146])),0,1000),za1[145]) -> extension (support ? 1) - 1584tuples
0.79/0.89 c intension eq(if(le(222,dist(x[128],x[130])),0,1000),za1[146]) -> extension (support ? 1) - 1584tuples
0.79/0.89 c intension eq(if(le(136,dist(x[128],x[131])),0,1000),za1[147]) -> extension (support ? 1) - 1584tuples
0.89/0.90 c intension eq(if(le(205,dist(x[128],x[143])),0,1000),za1[148]) -> extension (support ? 1) - 1584tuples
0.89/0.91 c intension eq(if(le(262,dist(x[129],x[142])),0,1000),za1[149]) -> extension (support ? 1) - 1584tuples
0.89/0.91 c intension eq(if(le(103,dist(x[129],x[145])),0,1000),za1[150]) -> extension (support ? 1) - 1512tuples
0.89/0.92 c intension eq(if(le(162,dist(x[131],x[164])),0,1000),za1[151]) -> extension (support ? 1) - 1936tuples
0.89/0.92 c intension eq(if(le(39,dist(x[132],x[162])),0,1000),za1[152]) -> extension (support ? 1) - 1512tuples
0.89/0.93 c intension eq(if(le(191,dist(x[132],x[163])),0,1000),za1[153]) -> extension (support ? 1) - 1512tuples
0.89/0.94 c intension eq(if(le(37,dist(x[132],x[168])),0,1000),za1[154]) -> extension (support ? 1) - 1512tuples
0.89/0.94 c intension eq(if(le(251,dist(x[132],x[185])),0,1000),za1[155]) -> extension (support ? 1) - 1512tuples
0.89/0.95 c intension eq(if(le(23,dist(x[133],x[161])),0,1000),za1[156]) -> extension (support ? 1) - 792tuples
0.89/0.95 c intension eq(if(le(275,dist(x[133],x[168])),0,1000),za1[157]) -> extension (support ? 1) - 1512tuples
0.89/0.96 c intension eq(if(le(214,dist(x[133],x[181])),0,1000),za1[158]) -> extension (support ? 1) - 1584tuples
0.89/0.96 c intension eq(if(le(106,dist(x[134],x[150])),0,1000),za1[159]) -> extension (support ? 1) - 252tuples
0.89/0.96 c intension eq(if(le(295,dist(x[134],x[157])),0,1000),za1[160]) -> extension (support ? 1) - 252tuples
0.89/0.96 c intension eq(if(le(224,dist(x[134],x[190])),0,1000),za1[161]) -> extension (support ? 1) - 264tuples
0.89/0.97 c intension eq(if(le(57,dist(x[135],x[151])),0,1000),za1[162]) -> extension (support ? 1) - 252tuples
0.89/0.97 c intension eq(if(le(296,dist(x[135],x[164])),0,1000),za1[163]) -> extension (support ? 1) - 264tuples
0.89/0.97 c intension eq(if(le(199,dist(x[135],x[166])),0,1000),za1[164]) -> extension (support ? 1) - 216tuples
0.89/0.97 c intension eq(if(le(23,dist(x[139],x[157])),0,1000),za1[165]) -> extension (support ? 1) - 1848tuples
0.89/0.98 c intension eq(if(le(37,dist(x[139],x[173])),0,1000),za1[166]) -> extension (support ? 1) - 1936tuples
0.89/0.99 c intension eq(if(le(194,dist(x[141],x[170])),0,1000),za1[167]) -> extension (support ? 1) - 1764tuples
0.89/0.99 c intension eq(if(le(111,dist(x[146],x[160])),0,1000),za1[168]) -> extension (support ? 1) - 968tuples
0.89/1.00 c intension eq(if(le(280,dist(x[146],x[161])),0,1000),za1[169]) -> extension (support ? 1) - 968tuples
0.89/1.00 c intension eq(if(le(167,dist(x[149],x[158])),0,1000),za1[170]) -> extension (support ? 1) - 1584tuples
1.00/1.01 c intension eq(if(le(237,dist(x[150],x[165])),0,1000),za1[171]) -> extension (support ? 1) - 1848tuples
1.00/1.01 c intension eq(if(le(65,dist(x[150],x[182])),0,1000),za1[172]) -> extension (support ? 1) - 1764tuples
1.00/1.02 c intension eq(if(le(66,dist(x[151],x[183])),0,1000),za1[173]) -> extension (support ? 1) - 1764tuples
1.00/1.03 c intension eq(if(le(257,dist(x[151],x[190])),0,1000),za1[174]) -> extension (support ? 1) - 1848tuples
1.00/1.03 c intension eq(if(le(223,dist(x[153],x[174])),0,1000),za1[175]) -> extension (support ? 1) - 1848tuples
1.00/1.04 c intension eq(if(le(284,dist(x[157],x[191])),0,1000),za1[176]) -> extension (support ? 1) - 1848tuples
1.00/1.05 c intension eq(if(le(136,dist(x[158],x[168])),0,1000),za1[177]) -> extension (support ? 1) - 1512tuples
1.00/1.05 c intension eq(if(le(249,dist(x[160],x[185])),0,1000),za1[178]) -> extension (support ? 1) - 924tuples
1.00/1.06 c intension eq(if(le(111,dist(x[161],x[193])),0,1000),za1[179]) -> extension (support ? 1) - 132tuples
1.00/1.06 c intension eq(if(le(109,dist(x[164],x[190])),0,1000),za1[180]) -> extension (support ? 1) - 1936tuples
1.00/1.07 c intension eq(if(le(99,dist(x[165],x[183])),0,1000),za1[181]) -> extension (support ? 1) - 1848tuples
1.00/1.07 c intension eq(if(le(23,dist(x[166],x[182])),0,1000),za1[182]) -> extension (support ? 1) - 1512tuples
1.00/1.08 c intension eq(if(le(120,dist(x[166],x[191])),0,1000),za1[183]) -> extension (support ? 1) - 1584tuples
1.00/1.08 c intension eq(if(le(263,dist(x[167],x[182])),0,1000),za1[184]) -> extension (support ? 1) - 1512tuples
1.00/1.09 c intension eq(if(le(24,dist(x[167],x[183])),0,1000),za1[185]) -> extension (support ? 1) - 1512tuples
1.00/1.10 c intension eq(if(le(238,dist(x[167],x[190])),0,1000),za1[186]) -> extension (support ? 1) - 1584tuples
1.00/1.10 c intension eq(if(le(271,dist(x[168],x[185])),0,1000),za1[187]) -> extension (support ? 1) - 1764tuples
1.10/1.11 c intension eq(if(le(179,dist(x[168],x[192])),0,1000),za1[188]) -> extension (support ? 1) - 252tuples
1.10/1.11 c intension eq(if(le(277,dist(x[169],x[190])),0,1000),za1[189]) -> extension (support ? 1) - 1848tuples
1.10/1.12 c intension eq(if(le(309,dist(x[177],x[188])),0,1000),za1[190]) -> extension (support ? 1) - 1056tuples
1.10/1.12 c intension eq(if(le(84,dist(x[180],x[182])),0,1000),za1[191]) -> extension (support ? 1) - 1848tuples
1.10/1.13 c intension eq(if(le(52,dist(x[180],x[184])),0,1000),za1[192]) -> extension (support ? 1) - 1848tuples
1.10/1.14 c intension eq(if(le(290,dist(x[180],x[185])),0,1000),za1[193]) -> extension (support ? 1) - 1848tuples
1.10/1.14 c intension eq(if(le(200,dist(x[181],x[187])),0,1000),za1[194]) -> extension (support ? 1) - 1936tuples
1.10/1.15 c intension eq(if(le(138,dist(x[182],x[190])),0,1000),za1[195]) -> extension (support ? 1) - 1848tuples
1.10/1.16 c intension eq(if(le(158,dist(x[0],x[40])),0,100),za2[0]) -> extension (support ? 1) - 1764tuples
1.10/1.16 c intension eq(if(le(69,dist(x[0],x[112])),0,100),za2[1]) -> extension (support ? 1) - 1848tuples
1.10/1.17 c intension eq(if(le(196,dist(x[0],x[199])),0,100),za2[2]) -> extension (support ? 1) - 1848tuples
1.10/1.18 c intension eq(if(le(134,dist(x[1],x[36])),0,100),za2[3]) -> extension (support ? 1) - 1848tuples
1.10/1.18 c intension eq(if(le(192,dist(x[1],x[42])),0,100),za2[4]) -> extension (support ? 1) - 1512tuples
1.10/1.19 c intension eq(if(le(144,dist(x[1],x[43])),0,100),za2[5]) -> extension (support ? 1) - 1512tuples
1.19/1.20 c intension eq(if(le(52,dist(x[1],x[45])),0,100),za2[6]) -> extension (support ? 1) - 1848tuples
1.19/1.20 c intension eq(if(le(52,dist(x[1],x[72])),0,100),za2[7]) -> extension (support ? 1) - 252tuples
1.19/1.20 c intension eq(if(le(181,dist(x[2],x[8])),0,100),za2[8]) -> extension (support ? 1) - 264tuples
1.19/1.20 c intension eq(if(le(110,dist(x[2],x[9])),0,100),za2[9]) -> extension (support ? 1) - 264tuples
1.19/1.21 c intension eq(if(le(134,dist(x[2],x[35])),0,100),za2[10]) -> extension (support ? 1) - 1936tuples
1.19/1.21 c intension eq(if(le(27,dist(x[2],x[68])),0,100),za2[11]) -> extension (support ? 1) - 1584tuples
1.19/1.22 c intension eq(if(le(195,dist(x[12],x[3])),0,100),za2[12]) -> extension (support ? 1) - 1936tuples
1.19/1.23 c intension eq(if(le(168,dist(x[34],x[3])),0,100),za2[13]) -> extension (support ? 1) - 1936tuples
1.19/1.23 c intension eq(if(le(277,dist(x[4],x[7])),0,100),za2[14]) -> extension (support ? 1) - 132tuples
1.19/1.24 c intension eq(if(le(142,dist(x[24],x[4])),0,100),za2[15]) -> extension (support ? 1) - 968tuples
1.19/1.24 c intension eq(if(le(182,dist(x[25],x[4])),0,100),za2[16]) -> extension (support ? 1) - 968tuples
1.19/1.24 c intension eq(if(le(69,dist(x[5],x[6])),0,100),za2[17]) -> extension (support ? 1) - 132tuples
1.19/1.24 c intension eq(if(le(163,dist(x[5],x[7])),0,100),za2[18]) -> extension (support ? 1) - 132tuples
1.19/1.25 c intension eq(if(le(116,dist(x[119],x[5])),0,100),za2[19]) -> extension (support ? 1) - 968tuples
1.19/1.25 c intension eq(if(le(234,dist(x[27],x[8])),0,100),za2[20]) -> extension (support ? 1) - 216tuples
1.19/1.25 c intension eq(if(le(243,dist(x[62],x[9])),0,100),za2[21]) -> extension (support ? 1) - 252tuples
1.19/1.25 c intension eq(if(le(289,dist(x[186],x[9])),0,100),za2[22]) -> extension (support ? 1) - 264tuples
1.19/1.26 c intension eq(if(le(121,dist(x[10],x[24])),0,100),za2[23]) -> extension (support ? 1) - 1936tuples
1.19/1.26 c intension eq(if(le(80,dist(x[10],x[74])),0,100),za2[24]) -> extension (support ? 1) - 1848tuples
1.19/1.27 c intension eq(if(le(143,dist(x[11],x[22])),0,100),za2[25]) -> extension (support ? 1) - 264tuples
1.19/1.27 c intension eq(if(le(69,dist(x[11],x[27])),0,100),za2[26]) -> extension (support ? 1) - 1584tuples
1.19/1.28 c intension eq(if(le(82,dist(x[11],x[75])),0,100),za2[27]) -> extension (support ? 1) - 1848tuples
1.19/1.28 c intension eq(if(le(145,dist(x[11],x[121])),0,100),za2[28]) -> extension (support ? 1) - 264tuples
1.19/1.29 c intension eq(if(le(134,dist(x[12],x[61])),0,100),za2[29]) -> extension (support ? 1) - 1584tuples
1.19/1.29 c intension eq(if(le(12,dist(x[13],x[69])),0,100),za2[30]) -> extension (support ? 1) - 1584tuples
1.29/1.30 c intension eq(if(le(93,dist(x[14],x[37])),0,100),za2[31]) -> extension (support ? 1) - 1848tuples
1.29/1.30 c intension eq(if(le(173,dist(x[14],x[73])),0,100),za2[32]) -> extension (support ? 1) - 252tuples
1.29/1.31 c intension eq(if(le(257,dist(x[15],x[78])),0,100),za2[33]) -> extension (support ? 1) - 1848tuples
1.29/1.31 c intension eq(if(le(232,dist(x[15],x[198])),0,100),za2[34]) -> extension (support ? 1) - 1848tuples
1.29/1.32 c intension eq(if(le(155,dist(x[15],x[199])),0,100),za2[35]) -> extension (support ? 1) - 1848tuples
1.29/1.33 c intension eq(if(le(158,dist(x[16],x[21])),0,100),za2[36]) -> extension (support ? 1) - 792tuples
1.29/1.33 c intension eq(if(le(84,dist(x[16],x[80])),0,100),za2[37]) -> extension (support ? 1) - 792tuples
1.29/1.33 c intension eq(if(le(346,dist(x[16],x[93])),0,100),za2[38]) -> extension (support ? 1) - 968tuples
1.29/1.34 c intension eq(if(le(140,dist(x[17],x[32])),0,100),za2[39]) -> extension (support ? 1) - 968tuples
1.29/1.34 c intension eq(if(le(269,dist(x[18],x[42])),0,100),za2[40]) -> extension (support ? 1) - 1584tuples
1.29/1.35 c intension eq(if(le(120,dist(x[18],x[91])),0,100),za2[41]) -> extension (support ? 1) - 1936tuples
1.29/1.35 c intension eq(if(le(224,dist(x[18],x[96])),0,100),za2[42]) -> extension (support ? 1) - 264tuples
1.29/1.36 c intension eq(if(le(83,dist(x[104],x[18])),0,100),za2[43]) -> extension (support ? 1) - 1584tuples
1.29/1.36 c intension eq(if(le(277,dist(x[105],x[18])),0,100),za2[44]) -> extension (support ? 1) - 1584tuples
1.29/1.37 c intension eq(if(le(365,dist(x[149],x[18])),0,100),za2[45]) -> extension (support ? 1) - 1936tuples
1.29/1.38 c intension eq(if(le(107,dist(x[19],x[48])),0,100),za2[46]) -> extension (support ? 1) - 1584tuples
1.29/1.38 c intension eq(if(le(181,dist(x[19],x[66])),0,100),za2[47]) -> extension (support ? 1) - 1584tuples
1.29/1.39 c intension eq(if(le(96,dist(x[19],x[90])),0,100),za2[48]) -> extension (support ? 1) - 1936tuples
1.29/1.39 c intension eq(if(le(150,dist(x[104],x[19])),0,100),za2[49]) -> extension (support ? 1) - 1584tuples
1.39/1.40 c intension eq(if(le(385,dist(x[148],x[19])),0,100),za2[50]) -> extension (support ? 1) - 1936tuples
1.39/1.41 c intension eq(if(le(197,dist(x[158],x[19])),0,100),za2[51]) -> extension (support ? 1) - 1584tuples
1.39/1.41 c intension eq(if(le(223,dist(x[20],x[54])),0,100),za2[52]) -> extension (support ? 1) - 1584tuples
1.39/1.42 c intension eq(if(le(254,dist(x[186],x[21])),0,100),za2[53]) -> extension (support ? 1) - 1584tuples
1.39/1.42 c intension eq(if(le(463,dist(x[22],x[74])),0,100),za2[54]) -> extension (support ? 1) - 252tuples
1.39/1.43 c intension eq(if(le(116,dist(x[126],x[22])),0,100),za2[55]) -> extension (support ? 1) - 216tuples
1.39/1.43 c intension eq(if(le(103,dist(x[144],x[22])),0,100),za2[56]) -> extension (support ? 1) - 252tuples
1.39/1.43 c intension eq(if(le(222,dist(x[146],x[22])),0,100),za2[57]) -> extension (support ? 1) - 264tuples
1.39/1.43 c intension eq(if(le(10,dist(x[147],x[22])),0,100),za2[58]) -> extension (support ? 1) - 264tuples
1.39/1.43 c intension eq(if(le(185,dist(x[23],x[24])),0,100),za2[59]) -> extension (support ? 1) - 264tuples
1.39/1.43 c intension eq(if(le(50,dist(x[23],x[25])),0,100),za2[60]) -> extension (support ? 1) - 264tuples
1.39/1.44 c intension eq(if(le(240,dist(x[23],x[26])),0,100),za2[61]) -> extension (support ? 1) - 216tuples
1.39/1.44 c intension eq(if(le(6,dist(x[23],x[27])),0,100),za2[62]) -> extension (support ? 1) - 216tuples
1.39/1.44 c intension eq(if(le(68,dist(x[121],x[23])),0,100),za2[63]) -> extension (support ? 1) - 36tuples
1.39/1.44 c intension eq(if(le(197,dist(x[126],x[23])),0,100),za2[64]) -> extension (support ? 1) - 216tuples
1.39/1.44 c intension eq(if(le(36,dist(x[127],x[23])),0,100),za2[65]) -> extension (support ? 1) - 216tuples
1.39/1.44 c intension eq(if(le(261,dist(x[146],x[23])),0,100),za2[66]) -> extension (support ? 1) - 264tuples
1.39/1.44 c intension eq(if(le(223,dist(x[147],x[23])),0,100),za2[67]) -> extension (support ? 1) - 264tuples
1.39/1.45 c intension eq(if(le(52,dist(x[24],x[26])),0,100),za2[68]) -> extension (support ? 1) - 1584tuples
1.39/1.45 c intension eq(if(le(39,dist(x[24],x[74])),0,100),za2[69]) -> extension (support ? 1) - 1848tuples
1.39/1.46 c intension eq(if(le(192,dist(x[24],x[75])),0,100),za2[70]) -> extension (support ? 1) - 1848tuples
1.39/1.47 c intension eq(if(le(203,dist(x[120],x[24])),0,100),za2[71]) -> extension (support ? 1) - 264tuples
1.39/1.47 c intension eq(if(le(210,dist(x[145],x[24])),0,100),za2[72]) -> extension (support ? 1) - 1848tuples
1.39/1.48 c intension eq(if(le(11,dist(x[174],x[24])),0,100),za2[73]) -> extension (support ? 1) - 1848tuples
1.39/1.48 c intension eq(if(le(290,dist(x[25],x[26])),0,100),za2[74]) -> extension (support ? 1) - 1584tuples
1.39/1.49 c intension eq(if(le(256,dist(x[120],x[25])),0,100),za2[75]) -> extension (support ? 1) - 264tuples
1.39/1.49 c intension eq(if(le(252,dist(x[126],x[25])),0,100),za2[76]) -> extension (support ? 1) - 1584tuples
1.49/1.50 c intension eq(if(le(221,dist(x[174],x[25])),0,100),za2[77]) -> extension (support ? 1) - 1848tuples
1.49/1.50 c intension eq(if(le(110,dist(x[120],x[26])),0,100),za2[78]) -> extension (support ? 1) - 216tuples
1.49/1.50 c intension eq(if(le(41,dist(x[126],x[26])),0,100),za2[79]) -> extension (support ? 1) - 1296tuples
1.49/1.51 c intension eq(if(le(9,dist(x[27],x[75])),0,100),za2[80]) -> extension (support ? 1) - 1512tuples
1.49/1.51 c intension eq(if(le(195,dist(x[120],x[27])),0,100),za2[81]) -> extension (support ? 1) - 216tuples
1.49/1.52 c intension eq(if(le(156,dist(x[28],x[80])),0,100),za2[82]) -> extension (support ? 1) - 1296tuples
1.49/1.52 c intension eq(if(le(10,dist(x[136],x[28])),0,100),za2[83]) -> extension (support ? 1) - 1512tuples
1.49/1.53 c intension eq(if(le(201,dist(x[31],x[77])),0,100),za2[84]) -> extension (support ? 1) - 1848tuples
1.49/1.54 c intension eq(if(le(277,dist(x[32],x[91])),0,100),za2[85]) -> extension (support ? 1) - 1936tuples
1.49/1.54 c intension eq(if(le(144,dist(x[140],x[32])),0,100),za2[86]) -> extension (support ? 1) - 1848tuples
1.49/1.55 c intension eq(if(le(235,dist(x[171],x[32])),0,100),za2[87]) -> extension (support ? 1) - 1848tuples
1.49/1.56 c intension eq(if(le(299,dist(x[140],x[33])),0,100),za2[88]) -> extension (support ? 1) - 1848tuples
1.49/1.56 c intension eq(if(le(137,dist(x[36],x[56])),0,100),za2[89]) -> extension (support ? 1) - 1848tuples
1.49/1.57 c intension eq(if(le(93,dist(x[37],x[41])),0,100),za2[90]) -> extension (support ? 1) - 1848tuples
1.49/1.58 c intension eq(if(le(263,dist(x[38],x[61])),0,100),za2[91]) -> extension (support ? 1) - 1584tuples
1.49/1.58 c intension eq(if(le(207,dist(x[102],x[39])),0,100),za2[92]) -> extension (support ? 1) - 1584tuples
1.49/1.59 c intension eq(if(le(338,dist(x[41],x[44])),0,100),za2[93]) -> extension (support ? 1) - 1848tuples
1.49/1.59 c intension eq(if(le(19,dist(x[41],x[73])),0,100),za2[94]) -> extension (support ? 1) - 252tuples
1.59/1.60 c intension eq(if(le(126,dist(x[149],x[42])),0,100),za2[95]) -> extension (support ? 1) - 1584tuples
1.59/1.60 c intension eq(if(le(68,dist(x[101],x[43])),0,100),za2[96]) -> extension (support ? 1) - 1584tuples
1.59/1.61 c intension eq(if(le(129,dist(x[104],x[43])),0,100),za2[97]) -> extension (support ? 1) - 1296tuples
1.59/1.61 c intension eq(if(le(182,dist(x[148],x[43])),0,100),za2[98]) -> extension (support ? 1) - 1584tuples
1.59/1.62 c intension eq(if(le(12,dist(x[44],x[84])),0,100),za2[99]) -> extension (support ? 1) - 1936tuples
1.59/1.63 c intension eq(if(le(107,dist(x[45],x[72])),0,100),za2[100]) -> extension (support ? 1) - 264tuples
1.59/1.63 c intension eq(if(le(128,dist(x[46],x[50])),0,100),za2[101]) -> extension (support ? 1) - 1296tuples
1.59/1.63 c intension eq(if(le(66,dist(x[47],x[99])),0,100),za2[102]) -> extension (support ? 1) - 1512tuples
1.59/1.64 c intension eq(if(le(195,dist(x[122],x[48])),0,100),za2[103]) -> extension (support ? 1) - 216tuples
1.59/1.64 c intension eq(if(le(107,dist(x[125],x[48])),0,100),za2[104]) -> extension (support ? 1) - 1512tuples
1.59/1.65 c intension eq(if(le(153,dist(x[133],x[48])),0,100),za2[105]) -> extension (support ? 1) - 1296tuples
1.59/1.65 c intension eq(if(le(290,dist(x[114],x[49])),0,100),za2[106]) -> extension (support ? 1) - 1584tuples
1.59/1.66 c intension eq(if(le(183,dist(x[115],x[49])),0,100),za2[107]) -> extension (support ? 1) - 1584tuples
1.59/1.66 c intension eq(if(le(79,dist(x[154],x[50])),0,100),za2[108]) -> extension (support ? 1) - 1584tuples
1.59/1.67 c intension eq(if(le(268,dist(x[51],x[65])),0,100),za2[109]) -> extension (support ? 1) - 1584tuples
1.59/1.68 c intension eq(if(le(41,dist(x[53],x[89])),0,100),za2[110]) -> extension (support ? 1) - 1848tuples
1.59/1.68 c intension eq(if(le(55,dist(x[53],x[96])),0,100),za2[111]) -> extension (support ? 1) - 252tuples
1.59/1.69 c intension eq(if(le(153,dist(x[116],x[53])),0,100),za2[112]) -> extension (support ? 1) - 1512tuples
1.59/1.69 c intension eq(if(le(139,dist(x[54],x[86])),0,100),za2[113]) -> extension (support ? 1) - 1936tuples
1.68/1.70 c intension eq(if(le(272,dist(x[144],x[54])),0,100),za2[114]) -> extension (support ? 1) - 1848tuples
1.68/1.71 c intension eq(if(le(167,dist(x[150],x[54])),0,100),za2[115]) -> extension (support ? 1) - 1848tuples
1.68/1.71 c intension eq(if(le(139,dist(x[191],x[54])),0,100),za2[116]) -> extension (support ? 1) - 1936tuples
1.68/1.72 c intension eq(if(le(219,dist(x[164],x[55])),0,100),za2[117]) -> extension (support ? 1) - 1936tuples
1.68/1.73 c intension eq(if(le(235,dist(x[166],x[55])),0,100),za2[118]) -> extension (support ? 1) - 1584tuples
1.68/1.73 c intension eq(if(le(217,dist(x[190],x[55])),0,100),za2[119]) -> extension (support ? 1) - 1936tuples
1.68/1.74 c intension eq(if(le(97,dist(x[191],x[55])),0,100),za2[120]) -> extension (support ? 1) - 1936tuples
1.68/1.75 c intension eq(if(le(269,dist(x[109],x[56])),0,100),za2[121]) -> extension (support ? 1) - 1848tuples
1.68/1.75 c intension eq(if(le(124,dist(x[156],x[56])),0,100),za2[122]) -> extension (support ? 1) - 1764tuples
1.68/1.76 c intension eq(if(le(216,dist(x[162],x[57])),0,100),za2[123]) -> extension (support ? 1) - 1764tuples
1.68/1.77 c intension eq(if(le(164,dist(x[58],x[87])),0,100),za2[124]) -> extension (support ? 1) - 1584tuples
1.68/1.77 c intension eq(if(le(51,dist(x[150],x[58])),0,100),za2[125]) -> extension (support ? 1) - 1512tuples
1.68/1.78 c intension eq(if(le(105,dist(x[161],x[58])),0,100),za2[126]) -> extension (support ? 1) - 792tuples
1.68/1.78 c intension eq(if(le(37,dist(x[166],x[58])),0,100),za2[127]) -> extension (support ? 1) - 1296tuples
1.68/1.79 c intension eq(if(le(172,dist(x[191],x[58])),0,100),za2[128]) -> extension (support ? 1) - 1584tuples
1.68/1.79 c intension eq(if(le(239,dist(x[134],x[59])),0,100),za2[129]) -> extension (support ? 1) - 216tuples
1.68/1.80 c intension eq(if(le(116,dist(x[165],x[59])),0,100),za2[130]) -> extension (support ? 1) - 1584tuples
1.79/1.80 c intension eq(if(le(191,dist(x[166],x[59])),0,100),za2[131]) -> extension (support ? 1) - 1296tuples
1.79/1.81 c intension eq(if(le(101,dist(x[62],x[84])),0,100),za2[132]) -> extension (support ? 1) - 1848tuples
1.79/1.81 c intension eq(if(le(79,dist(x[183],x[65])),0,100),za2[133]) -> extension (support ? 1) - 1848tuples
1.79/1.82 c intension eq(if(le(219,dist(x[66],x[91])),0,100),za2[134]) -> extension (support ? 1) - 1584tuples
1.79/1.82 c intension eq(if(le(165,dist(x[66],x[96])),0,100),za2[135]) -> extension (support ? 1) - 216tuples
1.79/1.83 c intension eq(if(le(207,dist(x[66],x[98])),0,100),za2[136]) -> extension (support ? 1) - 1512tuples
1.79/1.83 c intension eq(if(le(25,dist(x[104],x[66])),0,100),za2[137]) -> extension (support ? 1) - 1296tuples
1.79/1.84 c intension eq(if(le(478,dist(x[149],x[66])),0,100),za2[138]) -> extension (support ? 1) - 1584tuples
1.79/1.84 c intension eq(if(le(145,dist(x[159],x[66])),0,100),za2[139]) -> extension (support ? 1) - 1296tuples
1.79/1.85 c intension eq(if(le(149,dist(x[67],x[90])),0,100),za2[140]) -> extension (support ? 1) - 1584tuples
1.79/1.85 c intension eq(if(le(69,dist(x[67],x[96])),0,100),za2[141]) -> extension (support ? 1) - 216tuples
1.79/1.85 c intension eq(if(le(166,dist(x[67],x[97])),0,100),za2[142]) -> extension (support ? 1) - 216tuples
1.79/1.86 c intension eq(if(le(437,dist(x[100],x[67])),0,100),za2[143]) -> extension (support ? 1) - 1584tuples
1.79/1.86 c intension eq(if(le(199,dist(x[101],x[67])),0,100),za2[144]) -> extension (support ? 1) - 1584tuples
1.79/1.87 c intension eq(if(le(115,dist(x[148],x[67])),0,100),za2[145]) -> extension (support ? 1) - 1584tuples
1.79/1.88 c intension eq(if(le(121,dist(x[158],x[67])),0,100),za2[146]) -> extension (support ? 1) - 1296tuples
1.79/1.88 c intension eq(if(le(128,dist(x[106],x[70])),0,100),za2[147]) -> extension (support ? 1) - 1008tuples
1.79/1.89 c intension eq(if(le(167,dist(x[157],x[70])),0,100),za2[148]) -> extension (support ? 1) - 1764tuples
1.79/1.89 c intension eq(if(le(23,dist(x[126],x[74])),0,100),za2[149]) -> extension (support ? 1) - 1512tuples
1.89/1.90 c intension eq(if(le(264,dist(x[127],x[74])),0,100),za2[150]) -> extension (support ? 1) - 1512tuples
1.89/1.90 c intension eq(if(le(110,dist(x[146],x[74])),0,100),za2[151]) -> extension (support ? 1) - 1848tuples
1.89/1.91 c intension eq(if(le(213,dist(x[147],x[74])),0,100),za2[152]) -> extension (support ? 1) - 1848tuples
1.89/1.92 c intension eq(if(le(106,dist(x[76],x[94])),0,100),za2[153]) -> extension (support ? 1) - 1512tuples
1.89/1.92 c intension eq(if(le(137,dist(x[76],x[95])),0,100),za2[154]) -> extension (support ? 1) - 1512tuples
1.89/1.93 c intension eq(if(le(248,dist(x[114],x[76])),0,100),za2[155]) -> extension (support ? 1) - 1848tuples
1.89/1.94 c intension eq(if(le(120,dist(x[133],x[76])),0,100),za2[156]) -> extension (support ? 1) - 1512tuples
1.89/1.94 c intension eq(if(le(142,dist(x[169],x[76])),0,100),za2[157]) -> extension (support ? 1) - 1764tuples
1.89/1.95 c intension eq(if(le(189,dist(x[192],x[76])),0,100),za2[158]) -> extension (support ? 1) - 252tuples
1.89/1.95 c intension eq(if(le(213,dist(x[193],x[76])),0,100),za2[159]) -> extension (support ? 1) - 252tuples
1.89/1.95 c intension eq(if(le(117,dist(x[132],x[77])),0,100),za2[160]) -> extension (support ? 1) - 1512tuples
1.89/1.96 c intension eq(if(le(180,dist(x[168],x[77])),0,100),za2[161]) -> extension (support ? 1) - 1764tuples
1.89/1.96 c intension eq(if(le(159,dist(x[169],x[77])),0,100),za2[162]) -> extension (support ? 1) - 1764tuples
1.89/1.97 c intension eq(if(le(94,dist(x[181],x[77])),0,100),za2[163]) -> extension (support ? 1) - 1848tuples
1.89/1.98 c intension eq(if(le(11,dist(x[183],x[77])),0,100),za2[164]) -> extension (support ? 1) - 1764tuples
1.89/1.98 c intension eq(if(le(97,dist(x[199],x[78])),0,100),za2[165]) -> extension (support ? 1) - 1936tuples
1.89/1.99 c intension eq(if(le(214,dist(x[135],x[80])),0,100),za2[166]) -> extension (support ? 1) - 216tuples
1.89/1.99 c intension eq(if(le(205,dist(x[195],x[80])),0,100),za2[167]) -> extension (support ? 1) - 1296tuples
1.89/2.00 c intension eq(if(le(536,dist(x[118],x[84])),0,100),za2[168]) -> extension (support ? 1) - 1936tuples
2.00/2.01 c intension eq(if(le(127,dist(x[156],x[84])),0,100),za2[169]) -> extension (support ? 1) - 1848tuples
2.00/2.02 c intension eq(if(le(188,dist(x[189],x[84])),0,100),za2[170]) -> extension (support ? 1) - 1936tuples
2.00/2.02 c intension eq(if(le(117,dist(x[150],x[85])),0,100),za2[171]) -> extension (support ? 1) - 1848tuples
2.00/2.03 c intension eq(if(le(13,dist(x[150],x[86])),0,100),za2[172]) -> extension (support ? 1) - 1848tuples
2.00/2.04 c intension eq(if(le(113,dist(x[164],x[86])),0,100),za2[173]) -> extension (support ? 1) - 1936tuples
2.00/2.04 c intension eq(if(le(224,dist(x[150],x[87])),0,100),za2[174]) -> extension (support ? 1) - 1848tuples
2.00/2.05 c intension eq(if(le(183,dist(x[165],x[87])),0,100),za2[175]) -> extension (support ? 1) - 1936tuples
2.00/2.06 c intension eq(if(le(152,dist(x[182],x[87])),0,100),za2[176]) -> extension (support ? 1) - 1848tuples
2.00/2.06 c intension eq(if(le(81,dist(x[183],x[87])),0,100),za2[177]) -> extension (support ? 1) - 1848tuples
2.00/2.07 c intension eq(if(le(470,dist(x[191],x[87])),0,100),za2[178]) -> extension (support ? 1) - 1936tuples
2.00/2.08 c intension eq(if(le(121,dist(x[117],x[89])),0,100),za2[179]) -> extension (support ? 1) - 1584tuples
2.00/2.08 c intension eq(if(le(81,dist(x[90],x[96])),0,100),za2[180]) -> extension (support ? 1) - 264tuples
2.00/2.08 c intension eq(if(le(263,dist(x[90],x[97])),0,100),za2[181]) -> extension (support ? 1) - 264tuples
2.00/2.09 c intension eq(if(le(229,dist(x[158],x[90])),0,100),za2[182]) -> extension (support ? 1) - 1584tuples
2.00/2.09 c intension eq(if(le(154,dist(x[91],x[96])),0,100),za2[183]) -> extension (support ? 1) - 264tuples
2.00/2.10 c intension eq(if(le(141,dist(x[100],x[91])),0,100),za2[184]) -> extension (support ? 1) - 1936tuples
2.00/2.10 c intension eq(if(le(115,dist(x[101],x[91])),0,100),za2[185]) -> extension (support ? 1) - 1936tuples
2.10/2.11 c intension eq(if(le(53,dist(x[105],x[91])),0,100),za2[186]) -> extension (support ? 1) - 1584tuples
2.10/2.12 c intension eq(if(le(240,dist(x[148],x[91])),0,100),za2[187]) -> extension (support ? 1) - 1936tuples
2.10/2.12 c intension eq(if(le(295,dist(x[158],x[91])),0,100),za2[188]) -> extension (support ? 1) - 1584tuples
2.10/2.13 c intension eq(if(le(86,dist(x[159],x[91])),0,100),za2[189]) -> extension (support ? 1) - 1584tuples
2.10/2.14 c intension eq(if(le(10,dist(x[136],x[92])),0,100),za2[190]) -> extension (support ? 1) - 1848tuples
2.10/2.14 c intension eq(if(le(54,dist(x[114],x[94])),0,100),za2[191]) -> extension (support ? 1) - 1584tuples
2.10/2.15 c intension eq(if(le(196,dist(x[184],x[94])),0,100),za2[192]) -> extension (support ? 1) - 1512tuples
2.10/2.15 c intension eq(if(le(208,dist(x[132],x[95])),0,100),za2[193]) -> extension (support ? 1) - 1296tuples
2.10/2.16 c intension eq(if(le(25,dist(x[133],x[95])),0,100),za2[194]) -> extension (support ? 1) - 1296tuples
2.10/2.16 c intension eq(if(le(188,dist(x[185],x[95])),0,100),za2[195]) -> extension (support ? 1) - 1512tuples
2.10/2.17 c intension eq(if(le(68,dist(x[192],x[95])),0,100),za2[196]) -> extension (support ? 1) - 216tuples
2.10/2.17 c intension eq(if(le(271,dist(x[100],x[96])),0,100),za2[197]) -> extension (support ? 1) - 264tuples
2.10/2.17 c intension eq(if(le(96,dist(x[105],x[96])),0,100),za2[198]) -> extension (support ? 1) - 216tuples
2.10/2.17 c intension eq(if(le(230,dist(x[149],x[96])),0,100),za2[199]) -> extension (support ? 1) - 264tuples
2.10/2.17 c intension eq(if(le(135,dist(x[105],x[97])),0,100),za2[200]) -> extension (support ? 1) - 216tuples
2.10/2.18 c intension eq(if(le(268,dist(x[117],x[98])),0,100),za2[201]) -> extension (support ? 1) - 1512tuples
2.10/2.18 c intension eq(if(le(171,dist(x[192],x[99])),0,100),za2[202]) -> extension (support ? 1) - 252tuples
2.10/2.18 c intension eq(if(le(61,dist(x[193],x[99])),0,100),za2[203]) -> extension (support ? 1) - 252tuples
2.10/2.19 c intension eq(if(le(192,dist(x[100],x[149])),0,100),za2[204]) -> extension (support ? 1) - 1936tuples
2.10/2.19 c intension eq(if(le(25,dist(x[100],x[158])),0,100),za2[205]) -> extension (support ? 1) - 1584tuples
2.19/2.20 c intension eq(if(le(409,dist(x[101],x[104])),0,100),za2[206]) -> extension (support ? 1) - 1584tuples
2.19/2.21 c intension eq(if(le(39,dist(x[101],x[149])),0,100),za2[207]) -> extension (support ? 1) - 1936tuples
2.19/2.21 c intension eq(if(le(207,dist(x[101],x[158])),0,100),za2[208]) -> extension (support ? 1) - 1584tuples
2.19/2.22 c intension eq(if(le(125,dist(x[102],x[144])),0,100),za2[209]) -> extension (support ? 1) - 1512tuples
2.19/2.22 c intension eq(if(le(219,dist(x[103],x[106])),0,100),za2[210]) -> extension (support ? 1) - 864tuples
2.19/2.23 c intension eq(if(le(536,dist(x[104],x[148])),0,100),za2[211]) -> extension (support ? 1) - 1584tuples
2.19/2.23 c intension eq(if(le(146,dist(x[104],x[149])),0,100),za2[212]) -> extension (support ? 1) - 1584tuples
2.19/2.24 c intension eq(if(le(250,dist(x[104],x[158])),0,100),za2[213]) -> extension (support ? 1) - 1296tuples
2.19/2.24 c intension eq(if(le(279,dist(x[106],x[111])),0,100),za2[214]) -> extension (support ? 1) - 1056tuples
2.19/2.25 c intension eq(if(le(238,dist(x[106],x[144])),0,100),za2[215]) -> extension (support ? 1) - 1008tuples
2.19/2.25 c intension eq(if(le(203,dist(x[108],x[182])),0,100),za2[216]) -> extension (support ? 1) - 1848tuples
2.19/2.26 c intension eq(if(le(126,dist(x[110],x[152])),0,100),za2[217]) -> extension (support ? 1) - 1936tuples
2.19/2.27 c intension eq(if(le(55,dist(x[111],x[141])),0,100),za2[218]) -> extension (support ? 1) - 1848tuples
2.19/2.28 c intension eq(if(le(42,dist(x[114],x[162])),0,100),za2[219]) -> extension (support ? 1) - 1848tuples
2.19/2.28 c intension eq(if(le(278,dist(x[114],x[169])),0,100),za2[220]) -> extension (support ? 1) - 1848tuples
2.19/2.29 c intension eq(if(le(535,dist(x[114],x[180])),0,100),za2[221]) -> extension (support ? 1) - 1936tuples
2.29/2.30 c intension eq(if(le(395,dist(x[114],x[181])),0,100),za2[222]) -> extension (support ? 1) - 1936tuples
2.29/2.31 c intension eq(if(le(533,dist(x[114],x[184])),0,100),za2[223]) -> extension (support ? 1) - 1848tuples
2.29/2.31 c intension eq(if(le(42,dist(x[115],x[169])),0,100),za2[224]) -> extension (support ? 1) - 1848tuples
2.29/2.32 c intension eq(if(le(492,dist(x[115],x[180])),0,100),za2[225]) -> extension (support ? 1) - 1936tuples
2.29/2.33 c intension eq(if(le(400,dist(x[115],x[181])),0,100),za2[226]) -> extension (support ? 1) - 1936tuples
2.29/2.33 c intension eq(if(le(120,dist(x[115],x[184])),0,100),za2[227]) -> extension (support ? 1) - 1848tuples
2.29/2.34 c intension eq(if(le(242,dist(x[115],x[185])),0,100),za2[228]) -> extension (support ? 1) - 1848tuples
2.29/2.35 c intension eq(if(le(221,dist(x[115],x[193])),0,100),za2[229]) -> extension (support ? 1) - 264tuples
2.29/2.35 c intension eq(if(le(207,dist(x[118],x[176])),0,100),za2[230]) -> extension (support ? 1) - 1056tuples
2.29/2.35 c intension eq(if(le(149,dist(x[121],x[147])),0,100),za2[231]) -> extension (support ? 1) - 264tuples
2.29/2.35 c intension eq(if(le(244,dist(x[121],x[174])),0,100),za2[232]) -> extension (support ? 1) - 252tuples
2.29/2.35 c intension eq(if(le(6,dist(x[121],x[175])),0,100),za2[233]) -> extension (support ? 1) - 252tuples
2.29/2.36 c intension eq(if(le(200,dist(x[123],x[132])),0,100),za2[234]) -> extension (support ? 1) - 216tuples
2.29/2.36 c intension eq(if(le(66,dist(x[123],x[133])),0,100),za2[235]) -> extension (support ? 1) - 216tuples
2.29/2.36 c intension eq(if(le(482,dist(x[125],x[136])),0,100),za2[236]) -> extension (support ? 1) - 1764tuples
2.29/2.37 c intension eq(if(le(164,dist(x[126],x[133])),0,100),za2[237]) -> extension (support ? 1) - 1296tuples
2.29/2.37 c intension eq(if(le(119,dist(x[126],x[146])),0,100),za2[238]) -> extension (support ? 1) - 1584tuples
2.29/2.38 c intension eq(if(le(261,dist(x[126],x[175])),0,100),za2[239]) -> extension (support ? 1) - 1512tuples
2.29/2.38 c intension eq(if(le(207,dist(x[127],x[174])),0,100),za2[240]) -> extension (support ? 1) - 1512tuples
2.29/2.39 c intension eq(if(le(125,dist(x[128],x[156])),0,100),za2[241]) -> extension (support ? 1) - 1512tuples
2.39/2.40 c intension eq(if(le(87,dist(x[129],x[131])),0,100),za2[242]) -> extension (support ? 1) - 1584tuples
2.39/2.40 c intension eq(if(le(74,dist(x[131],x[165])),0,100),za2[243]) -> extension (support ? 1) - 1936tuples
2.39/2.41 c intension eq(if(le(26,dist(x[132],x[160])),0,100),za2[244]) -> extension (support ? 1) - 792tuples
2.39/2.41 c intension eq(if(le(263,dist(x[132],x[161])),0,100),za2[245]) -> extension (support ? 1) - 792tuples
2.39/2.42 c intension eq(if(le(191,dist(x[132],x[169])),0,100),za2[246]) -> extension (support ? 1) - 1512tuples
2.39/2.42 c intension eq(if(le(118,dist(x[132],x[180])),0,100),za2[247]) -> extension (support ? 1) - 1584tuples
2.39/2.43 c intension eq(if(le(453,dist(x[132],x[181])),0,100),za2[248]) -> extension (support ? 1) - 1584tuples
2.39/2.43 c intension eq(if(le(209,dist(x[133],x[160])),0,100),za2[249]) -> extension (support ? 1) - 792tuples
2.39/2.44 c intension eq(if(le(40,dist(x[133],x[169])),0,100),za2[250]) -> extension (support ? 1) - 1512tuples
2.39/2.44 c intension eq(if(le(452,dist(x[133],x[180])),0,100),za2[251]) -> extension (support ? 1) - 1584tuples
2.39/2.45 c intension eq(if(le(270,dist(x[133],x[184])),0,100),za2[252]) -> extension (support ? 1) - 1512tuples
2.39/2.45 c intension eq(if(le(112,dist(x[134],x[164])),0,100),za2[253]) -> extension (support ? 1) - 264tuples
2.39/2.46 c intension eq(if(le(196,dist(x[134],x[166])),0,100),za2[254]) -> extension (support ? 1) - 216tuples
2.39/2.46 c intension eq(if(le(110,dist(x[134],x[182])),0,100),za2[255]) -> extension (support ? 1) - 252tuples
2.39/2.46 c intension eq(if(le(225,dist(x[134],x[183])),0,100),za2[256]) -> extension (support ? 1) - 252tuples
2.39/2.46 c intension eq(if(le(3,dist(x[135],x[183])),0,100),za2[257]) -> extension (support ? 1) - 252tuples
2.39/2.46 c intension eq(if(le(178,dist(x[135],x[190])),0,100),za2[258]) -> extension (support ? 1) - 264tuples
2.39/2.46 c intension eq(if(le(224,dist(x[135],x[191])),0,100),za2[259]) -> extension (support ? 1) - 264tuples
2.39/2.47 c intension eq(if(le(65,dist(x[140],x[152])),0,100),za2[260]) -> extension (support ? 1) - 1848tuples
2.39/2.47 c intension eq(if(le(39,dist(x[141],x[171])),0,100),za2[261]) -> extension (support ? 1) - 1764tuples
2.39/2.48 c intension eq(if(le(23,dist(x[142],x[162])),0,100),za2[262]) -> extension (support ? 1) - 1848tuples
2.39/2.49 c intension eq(if(le(96,dist(x[144],x[188])),0,100),za2[263]) -> extension (support ? 1) - 1848tuples
2.39/2.49 c intension eq(if(le(153,dist(x[150],x[164])),0,100),za2[264]) -> extension (support ? 1) - 1848tuples
2.49/2.50 c intension eq(if(le(98,dist(x[150],x[166])),0,100),za2[265]) -> extension (support ? 1) - 1512tuples
2.49/2.51 c intension eq(if(le(193,dist(x[150],x[183])),0,100),za2[266]) -> extension (support ? 1) - 1764tuples
2.49/2.51 c intension eq(if(le(270,dist(x[150],x[191])),0,100),za2[267]) -> extension (support ? 1) - 1848tuples
2.49/2.52 c intension eq(if(le(183,dist(x[150],x[197])),0,100),za2[268]) -> extension (support ? 1) - 1848tuples
2.49/2.53 c intension eq(if(le(172,dist(x[151],x[165])),0,100),za2[269]) -> extension (support ? 1) - 1848tuples
2.49/2.53 c intension eq(if(le(140,dist(x[151],x[166])),0,100),za2[270]) -> extension (support ? 1) - 1512tuples
2.49/2.54 c intension eq(if(le(97,dist(x[151],x[167])),0,100),za2[271]) -> extension (support ? 1) - 1512tuples
2.49/2.55 c intension eq(if(le(247,dist(x[151],x[172])),0,100),za2[272]) -> extension (support ? 1) - 1848tuples
2.49/2.55 c intension eq(if(le(168,dist(x[151],x[182])),0,100),za2[273]) -> extension (support ? 1) - 1764tuples
2.49/2.56 c intension eq(if(le(286,dist(x[151],x[191])),0,100),za2[274]) -> extension (support ? 1) - 1848tuples
2.49/2.57 c intension eq(if(le(11,dist(x[153],x[175])),0,100),za2[275]) -> extension (support ? 1) - 1848tuples
2.49/2.57 c intension eq(if(le(204,dist(x[155],x[180])),0,100),za2[276]) -> extension (support ? 1) - 1936tuples
2.49/2.58 c intension eq(if(le(183,dist(x[155],x[181])),0,100),za2[277]) -> extension (support ? 1) - 1936tuples
2.49/2.59 c intension eq(if(le(199,dist(x[157],x[190])),0,100),za2[278]) -> extension (support ? 1) - 1848tuples
2.49/2.60 c intension eq(if(le(273,dist(x[158],x[169])),0,100),za2[279]) -> extension (support ? 1) - 1512tuples
2.59/2.60 c intension eq(if(le(203,dist(x[160],x[181])),0,100),za2[280]) -> extension (support ? 1) - 968tuples
2.59/2.60 c intension eq(if(le(112,dist(x[160],x[192])),0,100),za2[281]) -> extension (support ? 1) - 132tuples
2.59/2.60 c intension eq(if(le(111,dist(x[160],x[193])),0,100),za2[282]) -> extension (support ? 1) - 132tuples
2.59/2.61 c intension eq(if(le(136,dist(x[161],x[168])),0,100),za2[283]) -> extension (support ? 1) - 924tuples
2.59/2.61 c intension eq(if(le(70,dist(x[161],x[169])),0,100),za2[284]) -> extension (support ? 1) - 924tuples
2.59/2.61 c intension eq(if(le(283,dist(x[161],x[180])),0,100),za2[285]) -> extension (support ? 1) - 968tuples
2.59/2.62 c intension eq(if(le(128,dist(x[161],x[185])),0,100),za2[286]) -> extension (support ? 1) - 924tuples
2.59/2.62 c intension eq(if(le(277,dist(x[163],x[182])),0,100),za2[287]) -> extension (support ? 1) - 1764tuples
2.59/2.63 c intension eq(if(le(179,dist(x[164],x[167])),0,100),za2[288]) -> extension (support ? 1) - 1584tuples
2.59/2.64 c intension eq(if(le(241,dist(x[165],x[166])),0,100),za2[289]) -> extension (support ? 1) - 1584tuples
2.59/2.64 c intension eq(if(le(208,dist(x[166],x[183])),0,100),za2[290]) -> extension (support ? 1) - 1512tuples
2.59/2.65 c intension eq(if(le(173,dist(x[168],x[181])),0,100),za2[291]) -> extension (support ? 1) - 1848tuples
2.59/2.65 c intension eq(if(le(185,dist(x[168],x[193])),0,100),za2[292]) -> extension (support ? 1) - 252tuples
2.59/2.66 c intension eq(if(le(42,dist(x[169],x[191])),0,100),za2[293]) -> extension (support ? 1) - 1848tuples
2.59/2.66 c intension eq(if(le(182,dist(x[169],x[193])),0,100),za2[294]) -> extension (support ? 1) - 252tuples
2.59/2.67 c intension eq(if(le(194,dist(x[171],x[174])),0,100),za2[295]) -> extension (support ? 1) - 1764tuples
2.59/2.67 c intension eq(if(le(282,dist(x[175],x[194])),0,100),za2[296]) -> extension (support ? 1) - 1512tuples
2.59/2.68 c intension eq(if(le(104,dist(x[179],x[187])),0,100),za2[297]) -> extension (support ? 1) - 1848tuples
2.59/2.68 c intension eq(if(le(177,dist(x[181],x[184])),0,100),za2[298]) -> extension (support ? 1) - 1848tuples
2.59/2.69 c intension eq(if(le(71,dist(x[181],x[193])),0,100),za2[299]) -> extension (support ? 1) - 264tuples
2.59/2.69 c intension eq(if(le(214,dist(x[183],x[191])),0,100),za2[300]) -> extension (support ? 1) - 1848tuples
2.69/2.70 c intension eq(if(le(255,dist(x[185],x[192])),0,100),za2[301]) -> extension (support ? 1) - 252tuples
2.69/2.70 c intension eq(if(le(421,dist(x[185],x[194])),0,100),za2[302]) -> extension (support ? 1) - 1512tuples
2.69/2.71 c intension eq(if(le(203,dist(x[189],x[194])),0,100),za2[303]) -> extension (support ? 1) - 1584tuples
2.69/2.71 c intension eq(if(le(181,dist(x[191],x[194])),0,100),za2[304]) -> extension (support ? 1) - 1584tuples
2.69/2.72 c intension eq(if(le(293,dist(x[195],x[196])),0,100),za2[305]) -> extension (support ? 1) - 1584tuples
2.69/2.73 c intension eq(if(le(278,dist(x[0],x[37])),0,10),za3[0]) -> extension (support ? 1) - 1848tuples
2.69/2.73 c intension eq(if(le(291,dist(x[0],x[45])),0,10),za3[1]) -> extension (support ? 1) - 1848tuples
2.69/2.74 c intension eq(if(le(191,dist(x[0],x[197])),0,10),za3[2]) -> extension (support ? 1) - 1848tuples
2.69/2.74 c intension eq(if(le(177,dist(x[1],x[73])),0,10),za3[3]) -> extension (support ? 1) - 252tuples
2.69/2.75 c intension eq(if(le(42,dist(x[13],x[3])),0,10),za3[4]) -> extension (support ? 1) - 1936tuples
2.69/2.75 c intension eq(if(le(28,dist(x[3],x[69])),0,10),za3[5]) -> extension (support ? 1) - 1584tuples
2.69/2.76 c intension eq(if(le(56,dist(x[31],x[5])),0,10),za3[6]) -> extension (support ? 1) - 968tuples
2.69/2.76 c intension eq(if(le(162,dist(x[24],x[6])),0,10),za3[7]) -> extension (support ? 1) - 264tuples
2.69/2.76 c intension eq(if(le(286,dist(x[68],x[7])),0,10),za3[8]) -> extension (support ? 1) - 216tuples
2.69/2.77 c intension eq(if(le(195,dist(x[85],x[8])),0,10),za3[9]) -> extension (support ? 1) - 264tuples
2.69/2.77 c intension eq(if(le(39,dist(x[113],x[9])),0,10),za3[10]) -> extension (support ? 1) - 264tuples
2.69/2.77 c intension eq(if(le(164,dist(x[10],x[22])),0,10),za3[11]) -> extension (support ? 1) - 264tuples
2.69/2.77 c intension eq(if(le(69,dist(x[10],x[26])),0,10),za3[12]) -> extension (support ? 1) - 1584tuples
2.69/2.78 c intension eq(if(le(235,dist(x[10],x[27])),0,10),za3[13]) -> extension (support ? 1) - 1584tuples
2.69/2.79 c intension eq(if(le(192,dist(x[10],x[75])),0,10),za3[14]) -> extension (support ? 1) - 1848tuples
2.69/2.79 c intension eq(if(le(107,dist(x[10],x[126])),0,10),za3[15]) -> extension (support ? 1) - 1584tuples
2.79/2.80 c intension eq(if(le(165,dist(x[10],x[127])),0,10),za3[16]) -> extension (support ? 1) - 1584tuples
2.79/2.80 c intension eq(if(le(367,dist(x[10],x[146])),0,10),za3[17]) -> extension (support ? 1) - 1936tuples
2.79/2.81 c intension eq(if(le(336,dist(x[10],x[147])),0,10),za3[18]) -> extension (support ? 1) - 1936tuples
2.79/2.82 c intension eq(if(le(113,dist(x[11],x[120])),0,10),za3[19]) -> extension (support ? 1) - 264tuples
2.79/2.82 c intension eq(if(le(146,dist(x[11],x[123])),0,10),za3[20]) -> extension (support ? 1) - 264tuples
2.79/2.82 c intension eq(if(le(112,dist(x[11],x[127])),0,10),za3[21]) -> extension (support ? 1) - 1584tuples
2.79/2.83 c intension eq(if(le(475,dist(x[11],x[146])),0,10),za3[22]) -> extension (support ? 1) - 1936tuples
2.79/2.84 c intension eq(if(le(407,dist(x[11],x[147])),0,10),za3[23]) -> extension (support ? 1) - 1936tuples
2.79/2.84 c intension eq(if(le(136,dist(x[11],x[175])),0,10),za3[24]) -> extension (support ? 1) - 1848tuples
2.79/2.85 c intension eq(if(le(287,dist(x[12],x[15])),0,10),za3[25]) -> extension (support ? 1) - 1848tuples
2.79/2.86 c intension eq(if(le(178,dist(x[13],x[54])),0,10),za3[26]) -> extension (support ? 1) - 1936tuples
2.79/2.86 c intension eq(if(le(146,dist(x[13],x[83])),0,10),za3[27]) -> extension (support ? 1) - 968tuples
2.79/2.87 c intension eq(if(le(253,dist(x[14],x[79])),0,10),za3[28]) -> extension (support ? 1) - 1848tuples
2.79/2.87 c intension eq(if(le(135,dist(x[15],x[37])),0,10),za3[29]) -> extension (support ? 1) - 1848tuples
2.79/2.88 c intension eq(if(le(42,dist(x[124],x[16])),0,10),za3[30]) -> extension (support ? 1) - 924tuples
2.79/2.88 c intension eq(if(le(292,dist(x[16],x[195])),0,10),za3[31]) -> extension (support ? 1) - 792tuples
2.79/2.89 c intension eq(if(le(37,dist(x[125],x[17])),0,10),za3[32]) -> extension (support ? 1) - 924tuples
2.79/2.89 c intension eq(if(le(231,dist(x[136],x[17])),0,10),za3[33]) -> extension (support ? 1) - 924tuples
2.79/2.90 c intension eq(if(le(270,dist(x[18],x[43])),0,10),za3[34]) -> extension (support ? 1) - 1584tuples
2.89/2.90 c intension eq(if(le(135,dist(x[18],x[90])),0,10),za3[35]) -> extension (support ? 1) - 1936tuples
2.89/2.91 c intension eq(if(le(264,dist(x[18],x[97])),0,10),za3[36]) -> extension (support ? 1) - 264tuples
2.89/2.91 c intension eq(if(le(353,dist(x[148],x[18])),0,10),za3[37]) -> extension (support ? 1) - 1936tuples
2.89/2.92 c intension eq(if(le(128,dist(x[158],x[18])),0,10),za3[38]) -> extension (support ? 1) - 1584tuples
2.89/2.92 c intension eq(if(le(276,dist(x[189],x[18])),0,10),za3[39]) -> extension (support ? 1) - 1936tuples
2.89/2.93 c intension eq(if(le(184,dist(x[19],x[43])),0,10),za3[40]) -> extension (support ? 1) - 1584tuples
2.89/2.93 c intension eq(if(le(13,dist(x[19],x[96])),0,10),za3[41]) -> extension (support ? 1) - 264tuples
2.89/2.94 c intension eq(if(le(222,dist(x[19],x[97])),0,10),za3[42]) -> extension (support ? 1) - 264tuples
2.89/2.94 c intension eq(if(le(375,dist(x[149],x[19])),0,10),za3[43]) -> extension (support ? 1) - 1936tuples
2.89/2.95 c intension eq(if(le(229,dist(x[159],x[19])),0,10),za3[44]) -> extension (support ? 1) - 1584tuples
2.89/2.95 c intension eq(if(le(222,dist(x[20],x[55])),0,10),za3[45]) -> extension (support ? 1) - 1584tuples
2.89/2.96 c intension eq(if(le(224,dist(x[20],x[84])),0,10),za3[46]) -> extension (support ? 1) - 1584tuples
2.89/2.97 c intension eq(if(le(264,dist(x[145],x[20])),0,10),za3[47]) -> extension (support ? 1) - 1512tuples
2.89/2.97 c intension eq(if(le(72,dist(x[121],x[21])),0,10),za3[48]) -> extension (support ? 1) - 216tuples
2.89/2.97 c intension eq(if(le(206,dist(x[144],x[21])),0,10),za3[49]) -> extension (support ? 1) - 1512tuples
2.89/2.98 c intension eq(if(le(188,dist(x[22],x[25])),0,10),za3[50]) -> extension (support ? 1) - 264tuples
2.89/2.98 c intension eq(if(le(113,dist(x[22],x[26])),0,10),za3[51]) -> extension (support ? 1) - 216tuples
2.89/2.98 c intension eq(if(le(68,dist(x[120],x[22])),0,10),za3[52]) -> extension (support ? 1) - 36tuples
2.89/2.98 c intension eq(if(le(212,dist(x[145],x[22])),0,10),za3[53]) -> extension (support ? 1) - 252tuples
2.89/2.98 c intension eq(if(le(103,dist(x[174],x[22])),0,10),za3[54]) -> extension (support ? 1) - 252tuples
2.89/2.98 c intension eq(if(le(174,dist(x[174],x[23])),0,10),za3[55]) -> extension (support ? 1) - 252tuples
2.89/2.99 c intension eq(if(le(179,dist(x[24],x[27])),0,10),za3[56]) -> extension (support ? 1) - 1584tuples
2.89/2.99 c intension eq(if(le(258,dist(x[121],x[24])),0,10),za3[57]) -> extension (support ? 1) - 264tuples
2.89/3.00 c intension eq(if(le(26,dist(x[144],x[24])),0,10),za3[58]) -> extension (support ? 1) - 1848tuples
2.89/3.00 c intension eq(if(le(282,dist(x[146],x[24])),0,10),za3[59]) -> extension (support ? 1) - 1936tuples
2.99/3.01 c intension eq(if(le(221,dist(x[25],x[56])),0,10),za3[60]) -> extension (support ? 1) - 1848tuples
2.99/3.02 c intension eq(if(le(40,dist(x[25],x[75])),0,10),za3[61]) -> extension (support ? 1) - 1848tuples
2.99/3.02 c intension eq(if(le(259,dist(x[146],x[25])),0,10),za3[62]) -> extension (support ? 1) - 1936tuples
2.99/3.03 c intension eq(if(le(172,dist(x[147],x[25])),0,10),za3[63]) -> extension (support ? 1) - 1936tuples
2.99/3.04 c intension eq(if(le(190,dist(x[146],x[26])),0,10),za3[64]) -> extension (support ? 1) - 1584tuples
2.99/3.04 c intension eq(if(le(66,dist(x[174],x[26])),0,10),za3[65]) -> extension (support ? 1) - 1512tuples
2.99/3.05 c intension eq(if(le(207,dist(x[175],x[26])),0,10),za3[66]) -> extension (support ? 1) - 1512tuples
2.99/3.05 c intension eq(if(le(76,dist(x[121],x[27])),0,10),za3[67]) -> extension (support ? 1) - 216tuples
2.99/3.06 c intension eq(if(le(166,dist(x[174],x[27])),0,10),za3[68]) -> extension (support ? 1) - 1512tuples
2.99/3.06 c intension eq(if(le(69,dist(x[175],x[27])),0,10),za3[69]) -> extension (support ? 1) - 1512tuples
2.99/3.07 c intension eq(if(le(200,dist(x[124],x[28])),0,10),za3[70]) -> extension (support ? 1) - 1512tuples
2.99/3.07 c intension eq(if(le(194,dist(x[29],x[90])),0,10),za3[71]) -> extension (support ? 1) - 1584tuples
2.99/3.08 c intension eq(if(le(132,dist(x[29],x[91])),0,10),za3[72]) -> extension (support ? 1) - 1584tuples
2.99/3.08 c intension eq(if(le(211,dist(x[195],x[29])),0,10),za3[73]) -> extension (support ? 1) - 1296tuples
2.99/3.09 c intension eq(if(le(230,dist(x[32],x[71])),0,10),za3[74]) -> extension (support ? 1) - 1848tuples
2.99/3.10 c intension eq(if(le(289,dist(x[33],x[50])),0,10),za3[75]) -> extension (support ? 1) - 1584tuples
2.99/3.10 c intension eq(if(le(68,dist(x[33],x[51])),0,10),za3[76]) -> extension (support ? 1) - 1584tuples
3.09/3.11 c intension eq(if(le(116,dist(x[102],x[33])),0,10),za3[77]) -> extension (support ? 1) - 1584tuples
3.09/3.12 c intension eq(if(le(123,dist(x[194],x[34])),0,10),za3[78]) -> extension (support ? 1) - 1584tuples
3.09/3.12 c intension eq(if(le(127,dist(x[36],x[79])),0,10),za3[79]) -> extension (support ? 1) - 1936tuples
3.09/3.13 c intension eq(if(le(376,dist(x[196],x[37])),0,10),za3[80]) -> extension (support ? 1) - 1936tuples
3.09/3.14 c intension eq(if(le(27,dist(x[38],x[60])),0,10),za3[81]) -> extension (support ? 1) - 1584tuples
3.09/3.14 c intension eq(if(le(142,dist(x[171],x[38])),0,10),za3[82]) -> extension (support ? 1) - 1848tuples
3.09/3.15 c intension eq(if(le(440,dist(x[170],x[39])),0,10),za3[83]) -> extension (support ? 1) - 1848tuples
3.09/3.16 c intension eq(if(le(220,dist(x[112],x[40])),0,10),za3[84]) -> extension (support ? 1) - 1848tuples
3.09/3.16 c intension eq(if(le(210,dist(x[42],x[67])),0,10),za3[85]) -> extension (support ? 1) - 1296tuples
3.09/3.17 c intension eq(if(le(209,dist(x[42],x[96])),0,10),za3[86]) -> extension (support ? 1) - 216tuples
3.09/3.17 c intension eq(if(le(198,dist(x[42],x[97])),0,10),za3[87]) -> extension (support ? 1) - 216tuples
3.09/3.17 c intension eq(if(le(277,dist(x[102],x[42])),0,10),za3[88]) -> extension (support ? 1) - 1296tuples
3.09/3.18 c intension eq(if(le(221,dist(x[103],x[42])),0,10),za3[89]) -> extension (support ? 1) - 1296tuples
3.09/3.18 c intension eq(if(le(110,dist(x[148],x[42])),0,10),za3[90]) -> extension (support ? 1) - 1584tuples
3.09/3.19 c intension eq(if(le(108,dist(x[43],x[93])),0,10),za3[91]) -> extension (support ? 1) - 1584tuples
3.09/3.19 c intension eq(if(le(33,dist(x[43],x[97])),0,10),za3[92]) -> extension (support ? 1) - 216tuples
3.19/3.20 c intension eq(if(le(39,dist(x[44],x[78])),0,10),za3[93]) -> extension (support ? 1) - 1936tuples
3.19/3.20 c intension eq(if(le(252,dist(x[44],x[85])),0,10),za3[94]) -> extension (support ? 1) - 1936tuples
3.19/3.21 c intension eq(if(le(281,dist(x[100],x[45])),0,10),za3[95]) -> extension (support ? 1) - 1936tuples
3.19/3.22 c intension eq(if(le(159,dist(x[101],x[45])),0,10),za3[96]) -> extension (support ? 1) - 1936tuples
3.19/3.22 c intension eq(if(le(165,dist(x[46],x[65])),0,10),za3[97]) -> extension (support ? 1) - 1584tuples
3.19/3.23 c intension eq(if(le(239,dist(x[46],x[99])),0,10),za3[98]) -> extension (support ? 1) - 1512tuples
3.19/3.24 c intension eq(if(le(25,dist(x[178],x[46])),0,10),za3[99]) -> extension (support ? 1) - 1512tuples
3.19/3.24 c intension eq(if(le(168,dist(x[47],x[64])),0,10),za3[100]) -> extension (support ? 1) - 1584tuples
3.19/3.25 c intension eq(if(le(112,dist(x[48],x[92])),0,10),za3[101]) -> extension (support ? 1) - 1584tuples
3.19/3.25 c intension eq(if(le(130,dist(x[195],x[49])),0,10),za3[102]) -> extension (support ? 1) - 1296tuples
3.19/3.26 c intension eq(if(le(252,dist(x[50],x[53])),0,10),za3[103]) -> extension (support ? 1) - 1512tuples
3.19/3.26 c intension eq(if(le(175,dist(x[50],x[64])),0,10),za3[104]) -> extension (support ? 1) - 1584tuples
3.19/3.27 c intension eq(if(le(194,dist(x[192],x[50])),0,10),za3[105]) -> extension (support ? 1) - 216tuples
3.19/3.27 c intension eq(if(le(171,dist(x[179],x[51])),0,10),za3[106]) -> extension (support ? 1) - 1512tuples
3.19/3.28 c intension eq(if(le(107,dist(x[52],x[65])),0,10),za3[107]) -> extension (support ? 1) - 1848tuples
3.19/3.29 c intension eq(if(le(229,dist(x[156],x[52])),0,10),za3[108]) -> extension (support ? 1) - 1764tuples
3.19/3.29 c intension eq(if(le(180,dist(x[53],x[97])),0,10),za3[109]) -> extension (support ? 1) - 252tuples
3.19/3.29 c intension eq(if(le(79,dist(x[117],x[53])),0,10),za3[110]) -> extension (support ? 1) - 1512tuples
3.29/3.30 c intension eq(if(le(153,dist(x[54],x[58])),0,10),za3[111]) -> extension (support ? 1) - 1584tuples
3.29/3.30 c intension eq(if(le(251,dist(x[54],x[59])),0,10),za3[112]) -> extension (support ? 1) - 1584tuples
3.29/3.31 c intension eq(if(le(125,dist(x[134],x[54])),0,10),za3[113]) -> extension (support ? 1) - 264tuples
3.29/3.31 c intension eq(if(le(125,dist(x[145],x[54])),0,10),za3[114]) -> extension (support ? 1) - 1848tuples
3.29/3.32 c intension eq(if(le(12,dist(x[164],x[54])),0,10),za3[115]) -> extension (support ? 1) - 1936tuples
3.29/3.33 c intension eq(if(le(252,dist(x[165],x[54])),0,10),za3[116]) -> extension (support ? 1) - 1936tuples
3.29/3.33 c intension eq(if(le(133,dist(x[146],x[55])),0,10),za3[117]) -> extension (support ? 1) - 1936tuples
3.29/3.34 c intension eq(if(le(88,dist(x[167],x[55])),0,10),za3[118]) -> extension (support ? 1) - 1584tuples
3.29/3.35 c intension eq(if(le(215,dist(x[182],x[55])),0,10),za3[119]) -> extension (support ? 1) - 1848tuples
3.29/3.35 c intension eq(if(le(117,dist(x[183],x[55])),0,10),za3[120]) -> extension (support ? 1) - 1848tuples
3.29/3.36 c intension eq(if(le(24,dist(x[166],x[56])),0,10),za3[121]) -> extension (support ? 1) - 1512tuples
3.29/3.37 c intension eq(if(le(274,dist(x[138],x[57])),0,10),za3[122]) -> extension (support ? 1) - 1848tuples
3.29/3.37 c intension eq(if(le(69,dist(x[58],x[86])),0,10),za3[123]) -> extension (support ? 1) - 1584tuples
3.29/3.38 c intension eq(if(le(116,dist(x[165],x[58])),0,10),za3[124]) -> extension (support ? 1) - 1584tuples
3.29/3.38 c intension eq(if(le(11,dist(x[182],x[58])),0,10),za3[125]) -> extension (support ? 1) - 1512tuples
3.29/3.39 c intension eq(if(le(272,dist(x[190],x[58])),0,10),za3[126]) -> extension (support ? 1) - 1584tuples
3.29/3.39 c intension eq(if(le(6,dist(x[135],x[59])),0,10),za3[127]) -> extension (support ? 1) - 216tuples
3.39/3.40 c intension eq(if(le(290,dist(x[150],x[59])),0,10),za3[128]) -> extension (support ? 1) - 1512tuples
3.39/3.40 c intension eq(if(le(280,dist(x[164],x[59])),0,10),za3[129]) -> extension (support ? 1) - 1584tuples
3.39/3.41 c intension eq(if(le(219,dist(x[182],x[59])),0,10),za3[130]) -> extension (support ? 1) - 1512tuples
3.39/3.42 c intension eq(if(le(12,dist(x[183],x[59])),0,10),za3[131]) -> extension (support ? 1) - 1512tuples
3.39/3.42 c intension eq(if(le(271,dist(x[60],x[75])),0,10),za3[132]) -> extension (support ? 1) - 1512tuples
3.39/3.43 c intension eq(if(le(283,dist(x[62],x[85])),0,10),za3[133]) -> extension (support ? 1) - 1848tuples
3.39/3.43 c intension eq(if(le(232,dist(x[179],x[64])),0,10),za3[134]) -> extension (support ? 1) - 1848tuples
3.39/3.44 c intension eq(if(le(152,dist(x[182],x[65])),0,10),za3[135]) -> extension (support ? 1) - 1848tuples
3.39/3.45 c intension eq(if(le(177,dist(x[101],x[66])),0,10),za3[136]) -> extension (support ? 1) - 1584tuples
3.39/3.45 c intension eq(if(le(263,dist(x[105],x[66])),0,10),za3[137]) -> extension (support ? 1) - 1296tuples
3.39/3.46 c intension eq(if(le(81,dist(x[67],x[91])),0,10),za3[138]) -> extension (support ? 1) - 1584tuples
3.39/3.46 c intension eq(if(le(209,dist(x[104],x[67])),0,10),za3[139]) -> extension (support ? 1) - 1296tuples
3.39/3.47 c intension eq(if(le(210,dist(x[141],x[70])),0,10),za3[140]) -> extension (support ? 1) - 1764tuples
3.39/3.48 c intension eq(if(le(66,dist(x[156],x[70])),0,10),za3[141]) -> extension (support ? 1) - 1764tuples
3.39/3.48 c intension eq(if(le(266,dist(x[140],x[71])),0,10),za3[142]) -> extension (support ? 1) - 1764tuples
3.39/3.49 c intension eq(if(le(221,dist(x[170],x[71])),0,10),za3[143]) -> extension (support ? 1) - 1764tuples
3.49/3.50 c intension eq(if(le(114,dist(x[187],x[71])),0,10),za3[144]) -> extension (support ? 1) - 1848tuples
3.49/3.50 c intension eq(if(le(295,dist(x[73],x[94])),0,10),za3[145]) -> extension (support ? 1) - 216tuples
3.49/3.50 c intension eq(if(le(300,dist(x[121],x[74])),0,10),za3[146]) -> extension (support ? 1) - 252tuples
3.49/3.51 c intension eq(if(le(275,dist(x[162],x[74])),0,10),za3[147]) -> extension (support ? 1) - 1764tuples
3.49/3.51 c intension eq(if(le(260,dist(x[163],x[74])),0,10),za3[148]) -> extension (support ? 1) - 1764tuples
3.49/3.52 c intension eq(if(le(298,dist(x[120],x[75])),0,10),za3[149]) -> extension (support ? 1) - 252tuples
3.49/3.52 c intension eq(if(le(204,dist(x[115],x[76])),0,10),za3[150]) -> extension (support ? 1) - 1848tuples
3.49/3.53 c intension eq(if(le(26,dist(x[118],x[76])),0,10),za3[151]) -> extension (support ? 1) - 1848tuples
3.49/3.54 c intension eq(if(le(262,dist(x[119],x[76])),0,10),za3[152]) -> extension (support ? 1) - 1848tuples
3.49/3.54 c intension eq(if(le(242,dist(x[160],x[76])),0,10),za3[153]) -> extension (support ? 1) - 924tuples
3.49/3.55 c intension eq(if(le(238,dist(x[161],x[76])),0,10),za3[154]) -> extension (support ? 1) - 924tuples
3.49/3.55 c intension eq(if(le(292,dist(x[168],x[76])),0,10),za3[155]) -> extension (support ? 1) - 1764tuples
3.49/3.56 c intension eq(if(le(384,dist(x[77],x[94])),0,10),za3[156]) -> extension (support ? 1) - 1512tuples
3.49/3.56 c intension eq(if(le(144,dist(x[77],x[95])),0,10),za3[157]) -> extension (support ? 1) - 1512tuples
3.49/3.57 c intension eq(if(le(139,dist(x[160],x[77])),0,10),za3[158]) -> extension (support ? 1) - 924tuples
3.49/3.57 c intension eq(if(le(86,dist(x[161],x[77])),0,10),za3[159]) -> extension (support ? 1) - 924tuples
3.49/3.58 c intension eq(if(le(38,dist(x[185],x[77])),0,10),za3[160]) -> extension (support ? 1) - 1764tuples
3.49/3.58 c intension eq(if(le(216,dist(x[192],x[77])),0,10),za3[161]) -> extension (support ? 1) - 252tuples
3.49/3.58 c intension eq(if(le(21,dist(x[193],x[77])),0,10),za3[162]) -> extension (support ? 1) - 252tuples
3.49/3.58 c intension eq(if(le(137,dist(x[134],x[80])),0,10),za3[163]) -> extension (support ? 1) - 216tuples
3.49/3.59 c intension eq(if(le(130,dist(x[185],x[83])),0,10),za3[164]) -> extension (support ? 1) - 924tuples
3.49/3.59 c intension eq(if(le(298,dist(x[119],x[84])),0,10),za3[165]) -> extension (support ? 1) - 1936tuples
3.59/3.60 c intension eq(if(le(325,dist(x[144],x[85])),0,10),za3[166]) -> extension (support ? 1) - 1848tuples
3.59/3.61 c intension eq(if(le(14,dist(x[187],x[85])),0,10),za3[167]) -> extension (support ? 1) - 1936tuples
3.59/3.61 c intension eq(if(le(111,dist(x[166],x[86])),0,10),za3[168]) -> extension (support ? 1) - 1584tuples
3.59/3.62 c intension eq(if(le(241,dist(x[183],x[86])),0,10),za3[169]) -> extension (support ? 1) - 1848tuples
3.59/3.63 c intension eq(if(le(421,dist(x[164],x[87])),0,10),za3[170]) -> extension (support ? 1) - 1936tuples
3.59/3.63 c intension eq(if(le(125,dist(x[166],x[87])),0,10),za3[171]) -> extension (support ? 1) - 1584tuples
3.59/3.64 c intension eq(if(le(110,dist(x[116],x[89])),0,10),za3[172]) -> extension (support ? 1) - 1584tuples
3.59/3.65 c intension eq(if(le(182,dist(x[101],x[90])),0,10),za3[173]) -> extension (support ? 1) - 1936tuples
3.59/3.65 c intension eq(if(le(51,dist(x[104],x[90])),0,10),za3[174]) -> extension (support ? 1) - 1584tuples
3.59/3.66 c intension eq(if(le(268,dist(x[159],x[90])),0,10),za3[175]) -> extension (support ? 1) - 1584tuples
3.59/3.66 c intension eq(if(le(81,dist(x[91],x[97])),0,10),za3[176]) -> extension (support ? 1) - 264tuples
3.59/3.66 c intension eq(if(le(183,dist(x[122],x[93])),0,10),za3[177]) -> extension (support ? 1) - 264tuples
3.59/3.67 c intension eq(if(le(180,dist(x[115],x[94])),0,10),za3[178]) -> extension (support ? 1) - 1584tuples
3.59/3.67 c intension eq(if(le(14,dist(x[168],x[94])),0,10),za3[179]) -> extension (support ? 1) - 1512tuples
3.59/3.68 c intension eq(if(le(285,dist(x[180],x[94])),0,10),za3[180]) -> extension (support ? 1) - 1584tuples
3.59/3.68 c intension eq(if(le(146,dist(x[181],x[94])),0,10),za3[181]) -> extension (support ? 1) - 1584tuples
3.59/3.69 c intension eq(if(le(248,dist(x[185],x[94])),0,10),za3[182]) -> extension (support ? 1) - 1512tuples
3.69/3.70 c intension eq(if(le(294,dist(x[114],x[95])),0,10),za3[183]) -> extension (support ? 1) - 1584tuples
3.69/3.70 c intension eq(if(le(181,dist(x[160],x[95])),0,10),za3[184]) -> extension (support ? 1) - 792tuples
3.69/3.71 c intension eq(if(le(149,dist(x[180],x[95])),0,10),za3[185]) -> extension (support ? 1) - 1584tuples
3.69/3.71 c intension eq(if(le(192,dist(x[186],x[95])),0,10),za3[186]) -> extension (support ? 1) - 1584tuples
3.69/3.72 c intension eq(if(le(41,dist(x[187],x[95])),0,10),za3[187]) -> extension (support ? 1) - 1584tuples
3.69/3.72 c intension eq(if(le(167,dist(x[193],x[95])),0,10),za3[188]) -> extension (support ? 1) - 216tuples
3.69/3.72 c intension eq(if(le(269,dist(x[101],x[96])),0,10),za3[189]) -> extension (support ? 1) - 264tuples
3.69/3.73 c intension eq(if(le(135,dist(x[104],x[96])),0,10),za3[190]) -> extension (support ? 1) - 216tuples
3.69/3.73 c intension eq(if(le(184,dist(x[148],x[97])),0,10),za3[191]) -> extension (support ? 1) - 264tuples
3.69/3.73 c intension eq(if(le(76,dist(x[149],x[97])),0,10),za3[192]) -> extension (support ? 1) - 264tuples
3.69/3.73 c intension eq(if(le(261,dist(x[154],x[98])),0,10),za3[193]) -> extension (support ? 1) - 1848tuples
3.69/3.74 c intension eq(if(le(195,dist(x[179],x[98])),0,10),za3[194]) -> extension (support ? 1) - 1764tuples
3.69/3.75 c intension eq(if(le(285,dist(x[154],x[99])),0,10),za3[195]) -> extension (support ? 1) - 1848tuples
3.69/3.75 c intension eq(if(le(185,dist(x[100],x[104])),0,10),za3[196]) -> extension (support ? 1) - 1584tuples
3.69/3.76 c intension eq(if(le(215,dist(x[100],x[105])),0,10),za3[197]) -> extension (support ? 1) - 1584tuples
3.69/3.77 c intension eq(if(le(41,dist(x[100],x[148])),0,10),za3[198]) -> extension (support ? 1) - 1936tuples
3.69/3.77 c intension eq(if(le(215,dist(x[101],x[169])),0,10),za3[199]) -> extension (support ? 1) - 1848tuples
3.69/3.78 c intension eq(if(le(284,dist(x[102],x[145])),0,10),za3[200]) -> extension (support ? 1) - 1512tuples
3.69/3.78 c intension eq(if(le(535,dist(x[102],x[152])),0,10),za3[201]) -> extension (support ? 1) - 1584tuples
3.69/3.79 c intension eq(if(le(207,dist(x[102],x[171])),0,10),za3[202]) -> extension (support ? 1) - 1512tuples
3.79/3.80 c intension eq(if(le(109,dist(x[104],x[159])),0,10),za3[203]) -> extension (support ? 1) - 1296tuples
3.79/3.80 c intension eq(if(le(208,dist(x[105],x[148])),0,10),za3[204]) -> extension (support ? 1) - 1584tuples
3.79/3.81 c intension eq(if(le(209,dist(x[106],x[171])),0,10),za3[205]) -> extension (support ? 1) - 1008tuples
3.79/3.81 c intension eq(if(le(163,dist(x[109],x[142])),0,10),za3[206]) -> extension (support ? 1) - 1936tuples
3.79/3.82 c intension eq(if(le(56,dist(x[110],x[140])),0,10),za3[207]) -> extension (support ? 1) - 1848tuples
3.79/3.83 c intension eq(if(le(97,dist(x[110],x[170])),0,10),za3[208]) -> extension (support ? 1) - 1848tuples
3.79/3.83 c intension eq(if(le(128,dist(x[114],x[133])),0,10),za3[209]) -> extension (support ? 1) - 1584tuples
3.79/3.84 c intension eq(if(le(345,dist(x[114],x[161])),0,10),za3[210]) -> extension (support ? 1) - 968tuples
3.79/3.84 c intension eq(if(le(39,dist(x[114],x[168])),0,10),za3[211]) -> extension (support ? 1) - 1848tuples
3.79/3.85 c intension eq(if(le(232,dist(x[114],x[185])),0,10),za3[212]) -> extension (support ? 1) - 1848tuples
3.79/3.86 c intension eq(if(le(159,dist(x[115],x[144])),0,10),za3[213]) -> extension (support ? 1) - 1848tuples
3.79/3.86 c intension eq(if(le(198,dist(x[115],x[145])),0,10),za3[214]) -> extension (support ? 1) - 1848tuples
3.79/3.87 c intension eq(if(le(123,dist(x[120],x[125])),0,10),za3[215]) -> extension (support ? 1) - 252tuples
3.79/3.87 c intension eq(if(le(253,dist(x[120],x[126])),0,10),za3[216]) -> extension (support ? 1) - 216tuples
3.79/3.87 c intension eq(if(le(269,dist(x[120],x[127])),0,10),za3[217]) -> extension (support ? 1) - 216tuples
3.79/3.87 c intension eq(if(le(80,dist(x[120],x[147])),0,10),za3[218]) -> extension (support ? 1) - 264tuples
3.79/3.87 c intension eq(if(le(29,dist(x[121],x[127])),0,10),za3[219]) -> extension (support ? 1) - 216tuples
3.79/3.88 c intension eq(if(le(290,dist(x[121],x[146])),0,10),za3[220]) -> extension (support ? 1) - 264tuples
3.79/3.88 c intension eq(if(le(160,dist(x[122],x[136])),0,10),za3[221]) -> extension (support ? 1) - 252tuples
3.79/3.88 c intension eq(if(le(28,dist(x[126],x[174])),0,10),za3[222]) -> extension (support ? 1) - 1512tuples
3.79/3.89 c intension eq(if(le(285,dist(x[129],x[144])),0,10),za3[223]) -> extension (support ? 1) - 1512tuples
3.79/3.89 c intension eq(if(le(51,dist(x[129],x[163])),0,10),za3[224]) -> extension (support ? 1) - 1512tuples
3.89/3.90 c intension eq(if(le(95,dist(x[133],x[192])),0,10),za3[225]) -> extension (support ? 1) - 216tuples
3.89/3.90 c intension eq(if(le(138,dist(x[133],x[193])),0,10),za3[226]) -> extension (support ? 1) - 216tuples
3.89/3.90 c intension eq(if(le(296,dist(x[134],x[151])),0,10),za3[227]) -> extension (support ? 1) - 252tuples
3.89/3.90 c intension eq(if(le(275,dist(x[134],x[156])),0,10),za3[228]) -> extension (support ? 1) - 252tuples
3.89/3.90 c intension eq(if(le(9,dist(x[134],x[191])),0,10),za3[229]) -> extension (support ? 1) - 264tuples
3.89/3.91 c intension eq(if(le(112,dist(x[135],x[165])),0,10),za3[230]) -> extension (support ? 1) - 264tuples
3.89/3.91 c intension eq(if(le(31,dist(x[135],x[167])),0,10),za3[231]) -> extension (support ? 1) - 216tuples
3.89/3.91 c intension eq(if(le(227,dist(x[135],x[182])),0,10),za3[232]) -> extension (support ? 1) - 252tuples
3.89/3.91 c intension eq(if(le(523,dist(x[137],x[196])),0,10),za3[233]) -> extension (support ? 1) - 1848tuples
3.89/3.92 c intension eq(if(le(284,dist(x[137],x[197])),0,10),za3[234]) -> extension (support ? 1) - 1848tuples
3.89/3.93 c intension eq(if(le(298,dist(x[142],x[159])),0,10),za3[235]) -> extension (support ? 1) - 1584tuples
3.89/3.93 c intension eq(if(le(106,dist(x[144],x[187])),0,10),za3[236]) -> extension (support ? 1) - 1848tuples
3.89/3.94 c intension eq(if(le(342,dist(x[145],x[186])),0,10),za3[237]) -> extension (support ? 1) - 1848tuples
3.89/3.95 c intension eq(if(le(98,dist(x[145],x[189])),0,10),za3[238]) -> extension (support ? 1) - 1848tuples
3.89/3.95 c intension eq(if(le(234,dist(x[146],x[174])),0,10),za3[239]) -> extension (support ? 1) - 1848tuples
3.89/3.96 c intension eq(if(le(155,dist(x[147],x[175])),0,10),za3[240]) -> extension (support ? 1) - 1848tuples
3.89/3.97 c intension eq(if(le(249,dist(x[150],x[167])),0,10),za3[241]) -> extension (support ? 1) - 1512tuples
3.89/3.97 c intension eq(if(le(138,dist(x[150],x[196])),0,10),za3[242]) -> extension (support ? 1) - 1848tuples
3.89/3.98 c intension eq(if(le(14,dist(x[151],x[173])),0,10),za3[243]) -> extension (support ? 1) - 1848tuples
3.89/3.99 c intension eq(if(le(85,dist(x[155],x[179])),0,10),za3[244]) -> extension (support ? 1) - 1848tuples
3.89/3.99 c intension eq(if(le(252,dist(x[157],x[172])),0,10),za3[245]) -> extension (support ? 1) - 1848tuples
3.89/4.00 c intension eq(if(le(150,dist(x[159],x[162])),0,10),za3[246]) -> extension (support ? 1) - 1512tuples
3.89/4.00 c intension eq(if(le(130,dist(x[160],x[166])),0,10),za3[247]) -> extension (support ? 1) - 792tuples
4.00/4.01 c intension eq(if(le(202,dist(x[160],x[167])),0,10),za3[248]) -> extension (support ? 1) - 792tuples
4.00/4.01 c intension eq(if(le(70,dist(x[160],x[168])),0,10),za3[249]) -> extension (support ? 1) - 924tuples
4.00/4.01 c intension eq(if(le(168,dist(x[160],x[169])),0,10),za3[250]) -> extension (support ? 1) - 924tuples
4.00/4.02 c intension eq(if(le(171,dist(x[163],x[183])),0,10),za3[251]) -> extension (support ? 1) - 1764tuples
4.00/4.03 c intension eq(if(le(119,dist(x[164],x[166])),0,10),za3[252]) -> extension (support ? 1) - 1584tuples
4.00/4.03 c intension eq(if(le(128,dist(x[164],x[183])),0,10),za3[253]) -> extension (support ? 1) - 1848tuples
4.00/4.04 c intension eq(if(le(125,dist(x[164],x[191])),0,10),za3[254]) -> extension (support ? 1) - 1936tuples
4.00/4.05 c intension eq(if(le(71,dist(x[165],x[167])),0,10),za3[255]) -> extension (support ? 1) - 1584tuples
4.00/4.05 c intension eq(if(le(198,dist(x[165],x[190])),0,10),za3[256]) -> extension (support ? 1) - 1936tuples
4.00/4.06 c intension eq(if(le(183,dist(x[167],x[191])),0,10),za3[257]) -> extension (support ? 1) - 1584tuples
4.00/4.07 c intension eq(if(le(189,dist(x[168],x[184])),0,10),za3[258]) -> extension (support ? 1) - 1764tuples
4.00/4.08 c intension eq(if(le(189,dist(x[169],x[180])),0,10),za3[259]) -> extension (support ? 1) - 1848tuples
4.00/4.08 c intension eq(if(le(439,dist(x[169],x[184])),0,10),za3[260]) -> extension (support ? 1) - 1764tuples
4.00/4.09 c intension eq(if(le(56,dist(x[169],x[192])),0,10),za3[261]) -> extension (support ? 1) - 252tuples
4.00/4.09 c intension eq(if(le(37,dist(x[171],x[175])),0,10),za3[262]) -> extension (support ? 1) - 1764tuples
4.00/4.10 c intension eq(if(le(139,dist(x[173],x[178])),0,10),za3[263]) -> extension (support ? 1) - 1848tuples
4.10/4.10 c intension eq(if(le(98,dist(x[173],x[179])),0,10),za3[264]) -> extension (support ? 1) - 1848tuples
4.10/4.11 c intension eq(if(le(339,dist(x[179],x[186])),0,10),za3[265]) -> extension (support ? 1) - 1848tuples
4.10/4.12 c intension eq(if(le(247,dist(x[180],x[192])),0,10),za3[266]) -> extension (support ? 1) - 264tuples
4.10/4.12 c intension eq(if(le(56,dist(x[181],x[185])),0,10),za3[267]) -> extension (support ? 1) - 1848tuples
4.10/4.12 c intension eq(if(le(265,dist(x[181],x[192])),0,10),za3[268]) -> extension (support ? 1) - 264tuples
4.10/4.13 c intension eq(if(le(300,dist(x[184],x[192])),0,10),za3[269]) -> extension (support ? 1) - 252tuples
4.10/4.13 c intension eq(if(le(15,dist(x[185],x[193])),0,10),za3[270]) -> extension (support ? 1) - 252tuples
4.10/4.13 c intension eq(if(le(185,dist(x[185],x[195])),0,10),za3[271]) -> extension (support ? 1) - 1512tuples
4.10/4.14 c intension eq(if(le(239,dist(x[189],x[195])),0,10),za3[272]) -> extension (support ? 1) - 1584tuples
4.10/4.14 c intension eq(if(le(219,dist(x[193],x[197])),0,10),za3[273]) -> extension (support ? 1) - 264tuples
4.10/4.15 c intension eq(if(le(41,dist(x[0],x[198])),0,1),za4[0]) -> extension (support ? 1) - 1848tuples
4.10/4.15 c intension eq(if(le(186,dist(x[2],x[5])),0,1),za4[1]) -> extension (support ? 1) - 968tuples
4.10/4.15 c intension eq(if(le(171,dist(x[2],x[6])),0,1),za4[2]) -> extension (support ? 1) - 264tuples
4.10/4.16 c intension eq(if(le(66,dist(x[35],x[3])),0,1),za4[3]) -> extension (support ? 1) - 1936tuples
4.10/4.16 c intension eq(if(le(131,dist(x[3],x[60])),0,1),za4[4]) -> extension (support ? 1) - 1584tuples
4.10/4.17 c intension eq(if(le(28,dist(x[5],x[61])),0,1),za4[5]) -> extension (support ? 1) - 792tuples
4.10/4.17 c intension eq(if(le(195,dist(x[118],x[5])),0,1),za4[6]) -> extension (support ? 1) - 968tuples
4.10/4.18 c intension eq(if(le(164,dist(x[34],x[6])),0,1),za4[7]) -> extension (support ? 1) - 264tuples
4.10/4.18 c intension eq(if(le(276,dist(x[68],x[6])),0,1),za4[8]) -> extension (support ? 1) - 216tuples
4.10/4.18 c intension eq(if(le(286,dist(x[69],x[6])),0,1),za4[9]) -> extension (support ? 1) - 216tuples
4.10/4.18 c intension eq(if(le(6,dist(x[35],x[7])),0,1),za4[10]) -> extension (support ? 1) - 264tuples
4.10/4.18 c intension eq(if(le(46,dist(x[69],x[7])),0,1),za4[11]) -> extension (support ? 1) - 216tuples
4.10/4.18 c intension eq(if(le(276,dist(x[26],x[8])),0,1),za4[12]) -> extension (support ? 1) - 216tuples
4.10/4.19 c intension eq(if(le(80,dist(x[177],x[8])),0,1),za4[13]) -> extension (support ? 1) - 144tuples
4.10/4.19 c intension eq(if(le(279,dist(x[112],x[9])),0,1),za4[14]) -> extension (support ? 1) - 264tuples
4.10/4.19 c intension eq(if(le(392,dist(x[176],x[9])),0,1),za4[15]) -> extension (support ? 1) - 144tuples
4.10/4.19 c intension eq(if(le(194,dist(x[10],x[23])),0,1),za4[16]) -> extension (support ? 1) - 264tuples
4.10/4.19 c intension eq(if(le(208,dist(x[10],x[120])),0,1),za4[17]) -> extension (support ? 1) - 264tuples
4.10/4.19 c intension eq(if(le(144,dist(x[10],x[121])),0,1),za4[18]) -> extension (support ? 1) - 264tuples
4.19/4.20 c intension eq(if(le(179,dist(x[10],x[175])),0,1),za4[19]) -> extension (support ? 1) - 1848tuples
4.19/4.20 c intension eq(if(le(74,dist(x[11],x[23])),0,1),za4[20]) -> extension (support ? 1) - 264tuples
4.19/4.21 c intension eq(if(le(109,dist(x[11],x[24])),0,1),za4[21]) -> extension (support ? 1) - 1936tuples
4.19/4.21 c intension eq(if(le(125,dist(x[11],x[25])),0,1),za4[22]) -> extension (support ? 1) - 1936tuples
4.19/4.22 c intension eq(if(le(167,dist(x[11],x[26])),0,1),za4[23]) -> extension (support ? 1) - 1584tuples
4.19/4.22 c intension eq(if(le(111,dist(x[11],x[122])),0,1),za4[24]) -> extension (support ? 1) - 264tuples
4.19/4.23 c intension eq(if(le(126,dist(x[11],x[126])),0,1),za4[25]) -> extension (support ? 1) - 1584tuples
4.19/4.23 c intension eq(if(le(98,dist(x[11],x[174])),0,1),za4[26]) -> extension (support ? 1) - 1848tuples
4.19/4.24 c intension eq(if(le(93,dist(x[12],x[14])),0,1),za4[27]) -> extension (support ? 1) - 1848tuples
4.19/4.25 c intension eq(if(le(163,dist(x[12],x[30])),0,1),za4[28]) -> extension (support ? 1) - 1936tuples
4.19/4.25 c intension eq(if(le(252,dist(x[13],x[68])),0,1),za4[29]) -> extension (support ? 1) - 1584tuples
4.19/4.26 c intension eq(if(le(298,dist(x[14],x[33])),0,1),za4[30]) -> extension (support ? 1) - 1848tuples
4.19/4.27 c intension eq(if(le(277,dist(x[15],x[40])),0,1),za4[31]) -> extension (support ? 1) - 1764tuples
4.19/4.27 c intension eq(if(le(37,dist(x[15],x[41])),0,1),za4[32]) -> extension (support ? 1) - 1764tuples
4.19/4.28 c intension eq(if(le(534,dist(x[16],x[20])),0,1),za4[33]) -> extension (support ? 1) - 792tuples
4.19/4.28 c intension eq(if(le(152,dist(x[122],x[16])),0,1),za4[34]) -> extension (support ? 1) - 132tuples
4.19/4.28 c intension eq(if(le(56,dist(x[16],x[194])),0,1),za4[35]) -> extension (support ? 1) - 792tuples
4.19/4.29 c intension eq(if(le(98,dist(x[17],x[33])),0,1),za4[36]) -> extension (support ? 1) - 968tuples
4.19/4.29 c intension eq(if(le(290,dist(x[18],x[67])),0,1),za4[37]) -> extension (support ? 1) - 1584tuples
4.28/4.30 c intension eq(if(le(264,dist(x[100],x[18])),0,1),za4[38]) -> extension (support ? 1) - 1936tuples
4.28/4.31 c intension eq(if(le(261,dist(x[159],x[18])),0,1),za4[39]) -> extension (support ? 1) - 1584tuples
4.28/4.31 c intension eq(if(le(152,dist(x[188],x[18])),0,1),za4[40]) -> extension (support ? 1) - 1936tuples
4.28/4.32 c intension eq(if(le(183,dist(x[19],x[49])),0,1),za4[41]) -> extension (support ? 1) - 1584tuples
4.28/4.33 c intension eq(if(le(56,dist(x[19],x[67])),0,1),za4[42]) -> extension (support ? 1) - 1584tuples
4.28/4.33 c intension eq(if(le(139,dist(x[19],x[91])),0,1),za4[43]) -> extension (support ? 1) - 1936tuples
4.28/4.34 c intension eq(if(le(493,dist(x[100],x[19])),0,1),za4[44]) -> extension (support ? 1) - 1936tuples
4.28/4.35 c intension eq(if(le(254,dist(x[101],x[19])),0,1),za4[45]) -> extension (support ? 1) - 1936tuples
4.28/4.35 c intension eq(if(le(82,dist(x[105],x[19])),0,1),za4[46]) -> extension (support ? 1) - 1584tuples
4.28/4.36 c intension eq(if(le(292,dist(x[119],x[20])),0,1),za4[47]) -> extension (support ? 1) - 1584tuples
4.28/4.36 c intension eq(if(le(168,dist(x[189],x[20])),0,1),za4[48]) -> extension (support ? 1) - 1584tuples
4.28/4.37 c intension eq(if(le(25,dist(x[145],x[21])),0,1),za4[49]) -> extension (support ? 1) - 1512tuples
4.28/4.38 c intension eq(if(le(128,dist(x[187],x[21])),0,1),za4[50]) -> extension (support ? 1) - 1584tuples
4.28/4.38 c intension eq(if(le(230,dist(x[22],x[75])),0,1),za4[51]) -> extension (support ? 1) - 252tuples
4.28/4.38 c intension eq(if(le(167,dist(x[121],x[22])),0,1),za4[52]) -> extension (support ? 1) - 36tuples
4.28/4.38 c intension eq(if(le(198,dist(x[127],x[22])),0,1),za4[53]) -> extension (support ? 1) - 216tuples
4.28/4.38 c intension eq(if(le(229,dist(x[23],x[74])),0,1),za4[54]) -> extension (support ? 1) - 252tuples
4.28/4.39 c intension eq(if(le(4,dist(x[23],x[75])),0,1),za4[55]) -> extension (support ? 1) - 252tuples
4.28/4.39 c intension eq(if(le(12,dist(x[126],x[24])),0,1),za4[56]) -> extension (support ? 1) - 1584tuples
4.39/4.40 c intension eq(if(le(222,dist(x[127],x[24])),0,1),za4[57]) -> extension (support ? 1) - 1584tuples
4.39/4.40 c intension eq(if(le(269,dist(x[147],x[24])),0,1),za4[58]) -> extension (support ? 1) - 1936tuples
4.39/4.41 c intension eq(if(le(247,dist(x[175],x[24])),0,1),za4[59]) -> extension (support ? 1) - 1848tuples
4.39/4.42 c intension eq(if(le(14,dist(x[25],x[57])),0,1),za4[60]) -> extension (support ? 1) - 1848tuples
4.39/4.42 c intension eq(if(le(277,dist(x[25],x[74])),0,1),za4[61]) -> extension (support ? 1) - 1848tuples
4.39/4.43 c intension eq(if(le(252,dist(x[26],x[75])),0,1),za4[62]) -> extension (support ? 1) - 1512tuples
4.39/4.44 c intension eq(if(le(276,dist(x[127],x[26])),0,1),za4[63]) -> extension (support ? 1) - 1296tuples
4.39/4.44 c intension eq(if(le(221,dist(x[27],x[74])),0,1),za4[64]) -> extension (support ? 1) - 1512tuples
4.39/4.45 c intension eq(if(le(41,dist(x[127],x[27])),0,1),za4[65]) -> extension (support ? 1) - 1296tuples
4.39/4.45 c intension eq(if(le(105,dist(x[146],x[27])),0,1),za4[66]) -> extension (support ? 1) - 1584tuples
4.39/4.46 c intension eq(if(le(14,dist(x[137],x[29])),0,1),za4[67]) -> extension (support ? 1) - 1512tuples
4.39/4.46 c intension eq(if(le(23,dist(x[30],x[60])),0,1),za4[68]) -> extension (support ? 1) - 1584tuples
4.39/4.47 c intension eq(if(le(105,dist(x[31],x[76])),0,1),za4[69]) -> extension (support ? 1) - 1848tuples
4.39/4.48 c intension eq(if(le(211,dist(x[141],x[32])),0,1),za4[70]) -> extension (support ? 1) - 1848tuples
4.39/4.48 c intension eq(if(le(56,dist(x[107],x[33])),0,1),za4[71]) -> extension (support ? 1) - 1056tuples
4.39/4.49 c intension eq(if(le(200,dist(x[35],x[61])),0,1),za4[72]) -> extension (support ? 1) - 1584tuples
4.39/4.49 c intension eq(if(le(95,dist(x[36],x[40])),0,1),za4[73]) -> extension (support ? 1) - 1848tuples
4.49/4.50 c intension eq(if(le(249,dist(x[36],x[57])),0,1),za4[74]) -> extension (support ? 1) - 1848tuples
4.49/4.51 c intension eq(if(le(140,dist(x[37],x[40])),0,1),za4[75]) -> extension (support ? 1) - 1848tuples
4.49/4.52 c intension eq(if(le(187,dist(x[113],x[37])),0,1),za4[76]) -> extension (support ? 1) - 1936tuples
4.49/4.52 c intension eq(if(le(261,dist(x[103],x[38])),0,1),za4[77]) -> extension (support ? 1) - 1584tuples
4.49/4.53 c intension eq(if(le(37,dist(x[106],x[38])),0,1),za4[78]) -> extension (support ? 1) - 1056tuples
4.49/4.53 c intension eq(if(le(277,dist(x[107],x[38])),0,1),za4[79]) -> extension (support ? 1) - 1056tuples
4.49/4.54 c intension eq(if(le(485,dist(x[111],x[39])),0,1),za4[80]) -> extension (support ? 1) - 1936tuples
4.49/4.54 c intension eq(if(le(130,dist(x[42],x[90])),0,1),za4[81]) -> extension (support ? 1) - 1584tuples
4.49/4.55 c intension eq(if(le(69,dist(x[100],x[42])),0,1),za4[82]) -> extension (support ? 1) - 1584tuples
4.49/4.56 c intension eq(if(le(164,dist(x[101],x[42])),0,1),za4[83]) -> extension (support ? 1) - 1584tuples
4.49/4.56 c intension eq(if(le(533,dist(x[104],x[42])),0,1),za4[84]) -> extension (support ? 1) - 1296tuples
4.49/4.57 c intension eq(if(le(290,dist(x[105],x[42])),0,1),za4[85]) -> extension (support ? 1) - 1296tuples
4.49/4.57 c intension eq(if(le(42,dist(x[158],x[42])),0,1),za4[86]) -> extension (support ? 1) - 1296tuples
4.49/4.58 c intension eq(if(le(195,dist(x[159],x[42])),0,1),za4[87]) -> extension (support ? 1) - 1296tuples
4.49/4.58 c intension eq(if(le(132,dist(x[43],x[67])),0,1),za4[88]) -> extension (support ? 1) - 1296tuples
4.49/4.59 c intension eq(if(le(202,dist(x[43],x[96])),0,1),za4[89]) -> extension (support ? 1) - 216tuples
4.49/4.59 c intension eq(if(le(305,dist(x[100],x[43])),0,1),za4[90]) -> extension (support ? 1) - 1584tuples
4.49/4.59 c intension eq(if(le(102,dist(x[105],x[43])),0,1),za4[91]) -> extension (support ? 1) - 1296tuples
4.58/4.60 c intension eq(if(le(112,dist(x[149],x[43])),0,1),za4[92]) -> extension (support ? 1) - 1584tuples
4.58/4.61 c intension eq(if(le(280,dist(x[158],x[43])),0,1),za4[93]) -> extension (support ? 1) - 1296tuples
4.58/4.61 c intension eq(if(le(216,dist(x[46],x[88])),0,1),za4[94]) -> extension (support ? 1) - 1584tuples
4.58/4.62 c intension eq(if(le(218,dist(x[47],x[50])),0,1),za4[95]) -> extension (support ? 1) - 1296tuples
4.58/4.62 c intension eq(if(le(289,dist(x[156],x[47])),0,1),za4[96]) -> extension (support ? 1) - 1512tuples
4.58/4.63 c intension eq(if(le(532,dist(x[132],x[48])),0,1),za4[97]) -> extension (support ? 1) - 1296tuples
4.58/4.63 c intension eq(if(le(369,dist(x[195],x[48])),0,1),za4[98]) -> extension (support ? 1) - 1296tuples
4.58/4.64 c intension eq(if(le(292,dist(x[194],x[49])),0,1),za4[99]) -> extension (support ? 1) - 1296tuples
4.58/4.64 c intension eq(if(le(272,dist(x[193],x[50])),0,1),za4[100]) -> extension (support ? 1) - 216tuples
4.58/4.64 c intension eq(if(le(136,dist(x[116],x[51])),0,1),za4[101]) -> extension (support ? 1) - 1296tuples
4.58/4.65 c intension eq(if(le(353,dist(x[52],x[99])),0,1),za4[102]) -> extension (support ? 1) - 1764tuples
4.58/4.66 c intension eq(if(le(154,dist(x[157],x[52])),0,1),za4[103]) -> extension (support ? 1) - 1764tuples
4.58/4.66 c intension eq(if(le(283,dist(x[179],x[52])),0,1),za4[104]) -> extension (support ? 1) - 1764tuples
4.58/4.67 c intension eq(if(le(298,dist(x[53],x[98])),0,1),za4[105]) -> extension (support ? 1) - 1764tuples
4.58/4.68 c intension eq(if(le(424,dist(x[151],x[54])),0,1),za4[106]) -> extension (support ? 1) - 1848tuples
4.58/4.68 c intension eq(if(le(180,dist(x[167],x[54])),0,1),za4[107]) -> extension (support ? 1) - 1584tuples
4.58/4.69 c intension eq(if(le(276,dist(x[182],x[54])),0,1),za4[108]) -> extension (support ? 1) - 1848tuples
4.69/4.70 c intension eq(if(le(95,dist(x[190],x[54])),0,1),za4[109]) -> extension (support ? 1) - 1936tuples
4.69/4.70 c intension eq(if(le(440,dist(x[55],x[86])),0,1),za4[110]) -> extension (support ? 1) - 1936tuples
4.69/4.71 c intension eq(if(le(108,dist(x[134],x[55])),0,1),za4[111]) -> extension (support ? 1) - 264tuples
4.69/4.71 c intension eq(if(le(121,dist(x[135],x[55])),0,1),za4[112]) -> extension (support ? 1) - 264tuples
4.69/4.71 c intension eq(if(le(96,dist(x[147],x[55])),0,1),za4[113]) -> extension (support ? 1) - 1936tuples
4.69/4.72 c intension eq(if(le(222,dist(x[150],x[55])),0,1),za4[114]) -> extension (support ? 1) - 1848tuples
4.69/4.73 c intension eq(if(le(12,dist(x[165],x[55])),0,1),za4[115]) -> extension (support ? 1) - 1936tuples
4.69/4.74 c intension eq(if(le(253,dist(x[142],x[56])),0,1),za4[116]) -> extension (support ? 1) - 1848tuples
4.69/4.74 c intension eq(if(le(140,dist(x[172],x[56])),0,1),za4[117]) -> extension (support ? 1) - 1848tuples
4.69/4.75 c intension eq(if(le(60,dist(x[129],x[57])),0,1),za4[118]) -> extension (support ? 1) - 1512tuples
4.69/4.75 c intension eq(if(le(145,dist(x[150],x[57])),0,1),za4[119]) -> extension (support ? 1) - 1764tuples
4.69/4.76 c intension eq(if(le(242,dist(x[135],x[58])),0,1),za4[120]) -> extension (support ? 1) - 216tuples
4.69/4.76 c intension eq(if(le(231,dist(x[164],x[58])),0,1),za4[121]) -> extension (support ? 1) - 1584tuples
4.69/4.77 c intension eq(if(le(276,dist(x[167],x[58])),0,1),za4[122]) -> extension (support ? 1) - 1296tuples
4.69/4.77 c intension eq(if(le(250,dist(x[183],x[58])),0,1),za4[123]) -> extension (support ? 1) - 1512tuples
4.69/4.78 c intension eq(if(le(208,dist(x[144],x[59])),0,1),za4[124]) -> extension (support ? 1) - 1512tuples
4.69/4.79 c intension eq(if(le(185,dist(x[190],x[59])),0,1),za4[125]) -> extension (support ? 1) - 1584tuples
4.69/4.79 c intension eq(if(le(210,dist(x[60],x[74])),0,1),za4[126]) -> extension (support ? 1) - 1512tuples
4.79/4.80 c intension eq(if(le(136,dist(x[62],x[64])),0,1),za4[127]) -> extension (support ? 1) - 1848tuples
4.79/4.80 c intension eq(if(le(94,dist(x[62],x[65])),0,1),za4[128]) -> extension (support ? 1) - 1848tuples
4.79/4.81 c intension eq(if(le(13,dist(x[118],x[62])),0,1),za4[129]) -> extension (support ? 1) - 1848tuples
4.79/4.82 c intension eq(if(le(256,dist(x[64],x[66])),0,1),za4[130]) -> extension (support ? 1) - 1584tuples
4.79/4.82 c intension eq(if(le(223,dist(x[64],x[67])),0,1),za4[131]) -> extension (support ? 1) - 1584tuples
4.79/4.83 c intension eq(if(le(79,dist(x[66],x[90])),0,1),za4[132]) -> extension (support ? 1) - 1584tuples
4.79/4.83 c intension eq(if(le(402,dist(x[66],x[97])),0,1),za4[133]) -> extension (support ? 1) - 216tuples
4.79/4.84 c intension eq(if(le(278,dist(x[66],x[99])),0,1),za4[134]) -> extension (support ? 1) - 1512tuples
4.79/4.84 c intension eq(if(le(293,dist(x[148],x[66])),0,1),za4[135]) -> extension (support ? 1) - 1584tuples
4.79/4.85 c intension eq(if(le(25,dist(x[105],x[67])),0,1),za4[136]) -> extension (support ? 1) - 1296tuples
4.79/4.85 c intension eq(if(le(240,dist(x[149],x[67])),0,1),za4[137]) -> extension (support ? 1) - 1584tuples
4.79/4.86 c intension eq(if(le(536,dist(x[68],x[82])),0,1),za4[138]) -> extension (support ? 1) - 792tuples
4.79/4.86 c intension eq(if(le(13,dist(x[170],x[70])),0,1),za4[139]) -> extension (support ? 1) - 1764tuples
4.79/4.87 c intension eq(if(le(296,dist(x[110],x[71])),0,1),za4[140]) -> extension (support ? 1) - 1848tuples
4.79/4.88 c intension eq(if(le(237,dist(x[186],x[71])),0,1),za4[141]) -> extension (support ? 1) - 1848tuples
4.79/4.88 c intension eq(if(le(167,dist(x[73],x[95])),0,1),za4[142]) -> extension (support ? 1) - 216tuples
4.79/4.89 c intension eq(if(le(54,dist(x[174],x[74])),0,1),za4[143]) -> extension (support ? 1) - 1764tuples
4.79/4.89 c intension eq(if(le(292,dist(x[175],x[74])),0,1),za4[144]) -> extension (support ? 1) - 1764tuples
4.89/4.90 c intension eq(if(le(57,dist(x[121],x[75])),0,1),za4[145]) -> extension (support ? 1) - 252tuples
4.89/4.90 c intension eq(if(le(216,dist(x[147],x[75])),0,1),za4[146]) -> extension (support ? 1) - 1848tuples
4.89/4.91 c intension eq(if(le(52,dist(x[175],x[75])),0,1),za4[147]) -> extension (support ? 1) - 1764tuples
4.89/4.91 c intension eq(if(le(107,dist(x[132],x[76])),0,1),za4[148]) -> extension (support ? 1) - 1512tuples
4.89/4.92 c intension eq(if(le(135,dist(x[181],x[76])),0,1),za4[149]) -> extension (support ? 1) - 1848tuples
4.89/4.93 c intension eq(if(le(194,dist(x[185],x[76])),0,1),za4[150]) -> extension (support ? 1) - 1764tuples
4.89/4.93 c intension eq(if(le(114,dist(x[133],x[77])),0,1),za4[151]) -> extension (support ? 1) - 1512tuples
4.89/4.94 c intension eq(if(le(299,dist(x[180],x[77])),0,1),za4[152]) -> extension (support ? 1) - 1848tuples
4.89/4.95 c intension eq(if(le(247,dist(x[182],x[77])),0,1),za4[153]) -> extension (support ? 1) - 1764tuples
4.89/4.95 c intension eq(if(le(279,dist(x[184],x[77])),0,1),za4[154]) -> extension (support ? 1) - 1764tuples
4.89/4.96 c intension eq(if(le(278,dist(x[196],x[79])),0,1),za4[155]) -> extension (support ? 1) - 1936tuples
4.89/4.97 c intension eq(if(le(207,dist(x[81],x[92])),0,1),za4[156]) -> extension (support ? 1) - 1584tuples
4.89/4.97 c intension eq(if(le(173,dist(x[135],x[86])),0,1),za4[157]) -> extension (support ? 1) - 264tuples
4.89/4.97 c intension eq(if(le(249,dist(x[151],x[86])),0,1),za4[158]) -> extension (support ? 1) - 1848tuples
4.89/4.98 c intension eq(if(le(264,dist(x[165],x[86])),0,1),za4[159]) -> extension (support ? 1) - 1936tuples
4.89/4.99 c intension eq(if(le(184,dist(x[167],x[86])),0,1),za4[160]) -> extension (support ? 1) - 1584tuples
4.89/4.99 c intension eq(if(le(82,dist(x[182],x[86])),0,1),za4[161]) -> extension (support ? 1) - 1848tuples
4.89/5.00 c intension eq(if(le(70,dist(x[159],x[87])),0,1),za4[162]) -> extension (support ? 1) - 1584tuples
5.00/5.01 c intension eq(if(le(107,dist(x[167],x[87])),0,1),za4[163]) -> extension (support ? 1) - 1584tuples
5.00/5.01 c intension eq(if(le(223,dist(x[88],x[99])),0,1),za4[164]) -> extension (support ? 1) - 1848tuples
5.00/5.02 c intension eq(if(le(200,dist(x[148],x[90])),0,1),za4[165]) -> extension (support ? 1) - 1936tuples
5.00/5.03 c intension eq(if(le(212,dist(x[149],x[90])),0,1),za4[166]) -> extension (support ? 1) - 1936tuples
5.00/5.03 c intension eq(if(le(159,dist(x[149],x[91])),0,1),za4[167]) -> extension (support ? 1) - 1936tuples
5.00/5.04 c intension eq(if(le(272,dist(x[195],x[92])),0,1),za4[168]) -> extension (support ? 1) - 1584tuples
5.00/5.05 c intension eq(if(le(51,dist(x[108],x[94])),0,1),za4[169]) -> extension (support ? 1) - 1584tuples
5.00/5.05 c intension eq(if(le(178,dist(x[109],x[94])),0,1),za4[170]) -> extension (support ? 1) - 1584tuples
5.00/5.06 c intension eq(if(le(27,dist(x[132],x[94])),0,1),za4[171]) -> extension (support ? 1) - 1296tuples
5.00/5.06 c intension eq(if(le(221,dist(x[169],x[94])),0,1),za4[172]) -> extension (support ? 1) - 1512tuples
5.00/5.07 c intension eq(if(le(166,dist(x[192],x[94])),0,1),za4[173]) -> extension (support ? 1) - 216tuples
5.00/5.07 c intension eq(if(le(288,dist(x[193],x[94])),0,1),za4[174]) -> extension (support ? 1) - 216tuples
5.00/5.07 c intension eq(if(le(51,dist(x[115],x[95])),0,1),za4[175]) -> extension (support ? 1) - 1584tuples
5.00/5.08 c intension eq(if(le(249,dist(x[168],x[95])),0,1),za4[176]) -> extension (support ? 1) - 1512tuples
5.00/5.08 c intension eq(if(le(14,dist(x[169],x[95])),0,1),za4[177]) -> extension (support ? 1) - 1512tuples
5.00/5.09 c intension eq(if(le(242,dist(x[181],x[95])),0,1),za4[178]) -> extension (support ? 1) - 1584tuples
5.00/5.09 c intension eq(if(le(240,dist(x[159],x[96])),0,1),za4[179]) -> extension (support ? 1) - 216tuples
5.00/5.10 c intension eq(if(le(33,dist(x[101],x[97])),0,1),za4[180]) -> extension (support ? 1) - 264tuples
5.00/5.10 c intension eq(if(le(241,dist(x[158],x[97])),0,1),za4[181]) -> extension (support ? 1) - 216tuples
5.00/5.10 c intension eq(if(le(40,dist(x[178],x[98])),0,1),za4[182]) -> extension (support ? 1) - 1764tuples
5.09/5.11 c intension eq(if(le(264,dist(x[100],x[159])),0,1),za4[183]) -> extension (support ? 1) - 1584tuples
5.09/5.11 c intension eq(if(le(277,dist(x[101],x[148])),0,1),za4[184]) -> extension (support ? 1) - 1936tuples
5.09/5.12 c intension eq(if(le(28,dist(x[101],x[159])),0,1),za4[185]) -> extension (support ? 1) - 1584tuples
5.09/5.13 c intension eq(if(le(451,dist(x[101],x[168])),0,1),za4[186]) -> extension (support ? 1) - 1848tuples
5.09/5.13 c intension eq(if(le(146,dist(x[105],x[159])),0,1),za4[187]) -> extension (support ? 1) - 1296tuples
5.09/5.14 c intension eq(if(le(249,dist(x[107],x[110])),0,1),za4[188]) -> extension (support ? 1) - 1056tuples
5.09/5.14 c intension eq(if(le(253,dist(x[107],x[111])),0,1),za4[189]) -> extension (support ? 1) - 1056tuples
5.09/5.15 c intension eq(if(le(202,dist(x[107],x[141])),0,1),za4[190]) -> extension (support ? 1) - 1008tuples
5.09/5.15 c intension eq(if(le(83,dist(x[114],x[132])),0,1),za4[191]) -> extension (support ? 1) - 1584tuples
5.09/5.16 c intension eq(if(le(110,dist(x[114],x[160])),0,1),za4[192]) -> extension (support ? 1) - 968tuples
5.09/5.16 c intension eq(if(le(280,dist(x[114],x[163])),0,1),za4[193]) -> extension (support ? 1) - 1848tuples
5.09/5.17 c intension eq(if(le(223,dist(x[114],x[192])),0,1),za4[194]) -> extension (support ? 1) - 264tuples
5.09/5.17 c intension eq(if(le(152,dist(x[115],x[132])),0,1),za4[195]) -> extension (support ? 1) - 1584tuples
5.09/5.18 c intension eq(if(le(79,dist(x[115],x[133])),0,1),za4[196]) -> extension (support ? 1) - 1584tuples
5.09/5.18 c intension eq(if(le(126,dist(x[115],x[160])),0,1),za4[197]) -> extension (support ? 1) - 968tuples
5.09/5.19 c intension eq(if(le(112,dist(x[115],x[161])),0,1),za4[198]) -> extension (support ? 1) - 968tuples
5.09/5.19 c intension eq(if(le(194,dist(x[115],x[168])),0,1),za4[199]) -> extension (support ? 1) - 1848tuples
5.09/5.20 c intension eq(if(le(11,dist(x[115],x[192])),0,1),za4[200]) -> extension (support ? 1) - 264tuples
5.19/5.20 c intension eq(if(le(220,dist(x[116],x[155])),0,1),za4[201]) -> extension (support ? 1) - 1584tuples
5.19/5.21 c intension eq(if(le(265,dist(x[119],x[144])),0,1),za4[202]) -> extension (support ? 1) - 1848tuples
5.19/5.21 c intension eq(if(le(151,dist(x[120],x[146])),0,1),za4[203]) -> extension (support ? 1) - 264tuples
5.19/5.21 c intension eq(if(le(239,dist(x[120],x[175])),0,1),za4[204]) -> extension (support ? 1) - 252tuples
5.19/5.21 c intension eq(if(le(268,dist(x[121],x[126])),0,1),za4[205]) -> extension (support ? 1) - 216tuples
5.19/5.21 c intension eq(if(le(137,dist(x[122],x[195])),0,1),za4[206]) -> extension (support ? 1) - 216tuples
5.19/5.22 c intension eq(if(le(141,dist(x[123],x[136])),0,1),za4[207]) -> extension (support ? 1) - 252tuples
5.19/5.22 c intension eq(if(le(208,dist(x[123],x[194])),0,1),za4[208]) -> extension (support ? 1) - 216tuples
5.19/5.22 c intension eq(if(le(235,dist(x[126],x[132])),0,1),za4[209]) -> extension (support ? 1) - 1296tuples
5.19/5.23 c intension eq(if(le(183,dist(x[127],x[147])),0,1),za4[210]) -> extension (support ? 1) - 1584tuples
5.19/5.23 c intension eq(if(le(27,dist(x[127],x[175])),0,1),za4[211]) -> extension (support ? 1) - 1512tuples
5.19/5.24 c intension eq(if(le(156,dist(x[129],x[139])),0,1),za4[212]) -> extension (support ? 1) - 1584tuples
5.19/5.24 c intension eq(if(le(27,dist(x[129],x[143])),0,1),za4[213]) -> extension (support ? 1) - 1584tuples
5.19/5.25 c intension eq(if(le(164,dist(x[130],x[139])),0,1),za4[214]) -> extension (support ? 1) - 1936tuples
5.19/5.26 c intension eq(if(le(240,dist(x[132],x[184])),0,1),za4[215]) -> extension (support ? 1) - 1512tuples
5.19/5.26 c intension eq(if(le(137,dist(x[132],x[192])),0,1),za4[216]) -> extension (support ? 1) - 216tuples
5.19/5.26 c intension eq(if(le(223,dist(x[132],x[193])),0,1),za4[217]) -> extension (support ? 1) - 216tuples
5.19/5.27 c intension eq(if(le(155,dist(x[133],x[185])),0,1),za4[218]) -> extension (support ? 1) - 1512tuples
5.19/5.27 c intension eq(if(le(123,dist(x[134],x[165])),0,1),za4[219]) -> extension (support ? 1) - 264tuples
5.19/5.27 c intension eq(if(le(200,dist(x[134],x[167])),0,1),za4[220]) -> extension (support ? 1) - 216tuples
5.19/5.27 c intension eq(if(le(295,dist(x[135],x[150])),0,1),za4[221]) -> extension (support ? 1) - 252tuples
5.19/5.28 c intension eq(if(le(216,dist(x[139],x[142])),0,1),za4[222]) -> extension (support ? 1) - 1936tuples
5.19/5.28 c intension eq(if(le(270,dist(x[142],x[158])),0,1),za4[223]) -> extension (support ? 1) - 1584tuples
5.19/5.29 c intension eq(if(le(287,dist(x[143],x[172])),0,1),za4[224]) -> extension (support ? 1) - 1936tuples
5.29/5.30 c intension eq(if(le(395,dist(x[146],x[175])),0,1),za4[225]) -> extension (support ? 1) - 1848tuples
5.29/5.30 c intension eq(if(le(177,dist(x[147],x[174])),0,1),za4[226]) -> extension (support ? 1) - 1848tuples
5.29/5.31 c intension eq(if(le(66,dist(x[148],x[158])),0,1),za4[227]) -> extension (support ? 1) - 1584tuples
5.29/5.32 c intension eq(if(le(283,dist(x[148],x[159])),0,1),za4[228]) -> extension (support ? 1) - 1584tuples
5.29/5.32 c intension eq(if(le(70,dist(x[149],x[159])),0,1),za4[229]) -> extension (support ? 1) - 1584tuples
5.29/5.33 c intension eq(if(le(150,dist(x[150],x[190])),0,1),za4[230]) -> extension (support ? 1) - 1848tuples
5.29/5.34 c intension eq(if(le(114,dist(x[151],x[164])),0,1),za4[231]) -> extension (support ? 1) - 1848tuples
5.29/5.34 c intension eq(if(le(187,dist(x[159],x[163])),0,1),za4[232]) -> extension (support ? 1) - 1512tuples
5.29/5.35 c intension eq(if(le(270,dist(x[160],x[180])),0,1),za4[233]) -> extension (support ? 1) - 968tuples
5.29/5.35 c intension eq(if(le(532,dist(x[160],x[184])),0,1),za4[234]) -> extension (support ? 1) - 924tuples
5.29/5.36 c intension eq(if(le(219,dist(x[161],x[172])),0,1),za4[235]) -> extension (support ? 1) - 968tuples
5.29/5.36 c intension eq(if(le(184,dist(x[161],x[173])),0,1),za4[236]) -> extension (support ? 1) - 968tuples
5.29/5.36 c intension eq(if(le(185,dist(x[161],x[181])),0,1),za4[237]) -> extension (support ? 1) - 968tuples
5.29/5.37 c intension eq(if(le(199,dist(x[161],x[184])),0,1),za4[238]) -> extension (support ? 1) - 924tuples
5.29/5.37 c intension eq(if(le(126,dist(x[161],x[192])),0,1),za4[239]) -> extension (support ? 1) - 132tuples
5.29/5.37 c intension eq(if(le(254,dist(x[163],x[173])),0,1),za4[240]) -> extension (support ? 1) - 1848tuples
5.29/5.38 c intension eq(if(le(131,dist(x[164],x[182])),0,1),za4[241]) -> extension (support ? 1) - 1848tuples
5.29/5.39 c intension eq(if(le(157,dist(x[165],x[182])),0,1),za4[242]) -> extension (support ? 1) - 1848tuples
5.29/5.39 c intension eq(if(le(107,dist(x[165],x[191])),0,1),za4[243]) -> extension (support ? 1) - 1936tuples
5.39/5.40 c intension eq(if(le(227,dist(x[166],x[190])),0,1),za4[244]) -> extension (support ? 1) - 1584tuples
5.39/5.41 c intension eq(if(le(249,dist(x[168],x[180])),0,1),za4[245]) -> extension (support ? 1) - 1848tuples
5.39/5.41 c intension eq(if(le(256,dist(x[169],x[181])),0,1),za4[246]) -> extension (support ? 1) - 1848tuples
5.39/5.42 c intension eq(if(le(201,dist(x[169],x[185])),0,1),za4[247]) -> extension (support ? 1) - 1764tuples
5.39/5.43 c intension eq(if(le(102,dist(x[175],x[195])),0,1),za4[248]) -> extension (support ? 1) - 1512tuples
5.39/5.43 c intension eq(if(le(283,dist(x[180],x[183])),0,1),za4[249]) -> extension (support ? 1) - 1848tuples
5.39/5.44 c intension eq(if(le(206,dist(x[180],x[193])),0,1),za4[250]) -> extension (support ? 1) - 264tuples
5.39/5.44 c intension eq(if(le(192,dist(x[181],x[186])),0,1),za4[251]) -> extension (support ? 1) - 1936tuples
5.39/5.45 c intension eq(if(le(183,dist(x[182],x[191])),0,1),za4[252]) -> extension (support ? 1) - 1848tuples
5.39/5.46 c intension eq(if(le(202,dist(x[183],x[190])),0,1),za4[253]) -> extension (support ? 1) - 1848tuples
5.39/5.46 c intension eq(if(le(253,dist(x[184],x[193])),0,1),za4[254]) -> extension (support ? 1) - 252tuples
5.39/5.46 c intension eq(if(le(52,dist(x[191],x[195])),0,1),za4[255]) -> extension (support ? 1) - 1584tuples
5.39/5.47 c intension eq(if(le(203,dist(x[193],x[196])),0,1),za4[256]) -> extension (support ? 1) - 264tuples
5.39/5.47 c intension eq(if(le(55,dist(x[195],x[197])),0,1),za4[257]) -> extension (support ? 1) - 1584tuples
8.85/6.09 c enable optimization
8.85/6.09 c ========================================[ Problem Statistics ]===========================================
8.85/6.09 c |
8.85/6.09 c | Parse time : 5.35 s
8.85/6.09 c |
8.85/6.09 c | Variables: 1234
8.85/6.09 c | Domain Sizes: 2..44
8.85/6.09 c |
8.85/6.09 c | Constraints: 1135
8.85/6.09 c | Arity: 2..1034 -- Binary: 100 -- Ternary: 1034
8.85/6.09 c |
8.85/6.09 c | Types:
8.85/6.09 c | Extension: 1134 (nb tuples: 6..1936) -- (shared: 232)
8.85/6.09 c | Sum: 1
8.85/6.09 c |
8.85/6.09 c | Objective: Minimize Sum
8.85/6.09
8.85/6.09 c =========================================================================================================
8.85/6.09 c Parallel mode: Portfolio
8.85/6.09 c [pFactory][Group N°0] created (threads:8).
8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
8.85/6.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
8.85/6.09 c [pFactory][Group N°0] concurrent mode: enabled.
8.85/6.09 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
8.85/6.09 c [pFactory][Group N°0] task 7 launched on thread 1.
8.85/6.09 c [pFactory][Group N°0] task 6 launched on thread 2.
8.85/6.09 c [pFactory][Group N°0] task 5 launched on thread 0.
8.85/6.09 c [pFactory][Group N°0] task 4 launched on thread 6.
8.85/6.09 c [pFactory][Group N°0] task 3 launched on thread 4.
8.85/6.09 c [pFactory][Group N°0] task 2 launched on thread 7.
8.85/6.09 c [pFactory][Group N°0] task 1 launched on thread 5.
8.85/6.09 c [pFactory][Group N°0] task 0 launched on thread 3.
8.85/6.09 o 1523
13.58/6.66 o 1423
18.36/7.24 o 422
125.17/20.63 o 413
127.56/20.97 o 412
135.55/21.90 o 411
154.70/24.36 o 410
178.65/27.34 o 409
189.04/28.64 o 408
208.25/31.02 o 398
225.73/33.29 o 397
251.29/36.45 o 393
261.68/37.74 o 392
268.06/38.54 o 391
281.60/40.29 o 390
286.39/40.83 o 389
299.96/42.57 o 327
390.90/53.99 o 324
471.55/64.01 o 323
479.54/65.03 o 322
501.04/67.74 o 233
526.49/70.92 o 221
527.35/71.08 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 7.
527.35/71.08 c [pFactory][Group N°0] Thread N°0 is joined.
527.35/71.08 c [pFactory][Group N°0] Thread N°1 is joined.
527.35/71.08 c [pFactory][Group N°0] Thread N°2 is joined.
527.35/71.08 c [pFactory][Group N°0] Thread N°3 is joined.
527.35/71.08 c [pFactory][Group N°0] Thread N°4 is joined.
527.35/71.08 c [pFactory][Group N°0] Thread N°5 is joined.
527.35/71.08 c [pFactory][Group N°0] Thread N°6 is joined.
527.35/71.08 c [pFactory][Group N°0] Thread N°7 is joined.
527.35/71.08 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°1)
527.35/71.08 s OPTIMUM FOUND
527.35/71.08 c call to solver : 7
527.35/71.08 c
527.35/71.08 c restarts : 2151
527.35/71.08 c conflicts : 7044 (13 /sec)
527.35/71.08 c decisions : 129343 (246 /sec)
527.35/71.08 c propagations : 4274890 (8131 /sec)
527.35/71.08 c root propagations : 108623
527.35/71.08 c filter calls : 2660903 (5061 /sec)
527.35/71.08 c useless filter calls : 2246062 (84 %)
527.35/71.08 c Memory used : 1284.35 MB
527.35/71.08 c Best bound time (wc) : 70.9192 s
527.35/71.08 c CPU time : 525.769 s
527.35/71.08 c real time : 71.0792 s
527.35/71.08
527.35/71.08
527.35/71.08 v <instantiation type='solution' cost='221'>
527.35/71.08 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>
527.35/71.08 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 282 44 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 792 554 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 156 394 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>
527.35/71.08 v </instantiation>
527.35/71.08