0.20/0.24 c
0.20/0.24 c This is cosoco 2.00 --
0.20/0.24 c
0.20/0.24 c command line: cosoco -model -nbcores=8 HOME/instance-4398582-1568611174.xml
0.20/0.24 c intension eq(dist(f[209],f[41]),40) -> extension (support ? 1) - 50tuples
0.20/0.25 c intension eq(dist(f[173],f[245]),40) -> extension (support ? 1) - 282tuples
0.20/0.25 c intension eq(dist(f[102],f[249]),40) -> extension (support ? 1) - 50tuples
0.20/0.25 c intension eq(dist(f[232],f[332]),40) -> extension (support ? 1) - 34tuples
0.20/0.26 c intension eq(dist(f[302],f[8]),40) -> extension (support ? 1) - 282tuples
0.20/0.26 c intension eq(dist(f[178],f[53]),40) -> extension (support ? 1) - 34tuples
0.20/0.27 c intension -> extension : same as previous
0.20/0.27 c intension eq(dist(f[145],f[61]),40) -> extension (support ? 1) - 282tuples
0.20/0.28 c intension -> extension : same as previous
0.20/0.28 c intension -> extension : same as previous
0.20/0.28 c intension eq(dist(f[147],f[76]),40) -> extension (support ? 1) - 34tuples
0.20/0.29 c intension eq(dist(f[55],f[62]),40) -> extension (support ? 1) - 282tuples
0.20/0.29 c intension eq(dist(f[128],f[75]),40) -> extension (support ? 1) - 22tuples
0.20/0.30 c intension eq(dist(f[142],f[221]),40) -> extension (support ? 1) - 282tuples
0.20/0.30 c intension -> extension : same as previous
0.20/0.30 c intension eq(dist(f[329],f[345]),40) -> extension (support ? 1) - 22tuples
0.20/0.31 c intension eq(dist(f[23],f[281]),40) -> extension (support ? 1) - 282tuples
0.20/0.31 c intension eq(dist(f[204],f[63]),40) -> extension (support ? 1) - 22tuples
0.31/0.32 c intension eq(dist(f[154],f[300]),40) -> extension (support ? 1) - 282tuples
0.31/0.32 c intension eq(dist(f[130],f[96]),40) -> extension (support ? 1) - 34tuples
0.31/0.33 c intension -> extension : same as previous
0.31/0.33 c intension eq(dist(f[238],f[271]),40) -> extension (support ? 1) - 22tuples
0.31/0.34 c intension eq(dist(f[250],f[306]),40) -> extension (support ? 1) - 282tuples
0.31/0.34 c intension -> extension : same as previous
0.31/0.34 c intension -> extension : same as previous
0.31/0.34 c intension -> extension : same as previous
0.31/0.34 c intension -> extension : same as previous
0.31/0.34 c intension -> extension : same as previous
0.31/0.34 c intension -> extension : same as previous
0.31/0.34 c intension -> extension : same as previous
0.31/0.34 c intension eq(dist(f[316],f[326]),40) -> extension (support ? 1) - 50tuples
0.31/0.34 c intension -> extension : same as previous
0.31/0.34 c intension eq(dist(f[79],f[83]),40) -> extension (support ? 1) - 22tuples
0.31/0.34 c intension eq(dist(f[119],f[322]),40) -> extension (support ? 1) - 78tuples
0.31/0.35 c intension -> extension : same as previous
0.31/0.35 c intension eq(dist(f[56],f[64]),40) -> extension (support ? 1) - 282tuples
0.31/0.36 c intension -> extension : same as previous
0.31/0.36 c intension eq(dist(f[157],f[71]),40) -> extension (support ? 1) - 78tuples
0.31/0.37 c intension eq(dist(f[195],f[248]),40) -> extension (support ? 1) - 282tuples
0.31/0.37 c intension eq(dist(f[276],f[278]),40) -> extension (support ? 1) - 146tuples
0.31/0.37 c intension eq(dist(f[223],f[304]),40) -> extension (support ? 1) - 34tuples
0.31/0.38 c intension eq(dist(f[110],f[176]),40) -> extension (support ? 1) - 146tuples
0.31/0.38 c intension eq(dist(f[117],f[11]),40) -> extension (support ? 1) - 78tuples
0.31/0.39 c intension eq(dist(f[15],f[277]),40) -> extension (support ? 1) - 282tuples
0.31/0.39 c intension -> extension : same as previous
0.31/0.39 c intension -> extension : same as previous
0.31/0.39 c intension eq(dist(f[205],f[251]),40) -> extension (support ? 1) - 146tuples
0.31/0.41 c intension eq(dist(f[206],f[339]),40) -> extension (support ? 1) - 282tuples
0.40/0.42 c intension -> extension : same as previous
0.40/0.42 c intension -> extension : same as previous
0.40/0.42 c intension -> extension : same as previous
0.40/0.42 c intension -> extension : same as previous
0.40/0.42 c intension -> extension : same as previous
0.40/0.42 c intension -> extension : same as previous
0.40/0.42 c intension -> extension : same as previous
0.40/0.42 c intension -> extension : same as previous
0.40/0.42 c intension eq(dist(f[172],f[57]),40) -> extension (support ? 1) - 186tuples
0.40/0.43 c intension eq(dist(f[144],f[153]),40) -> extension (support ? 1) - 282tuples
0.40/0.43 c intension eq(dist(f[210],f[315]),40) -> extension (support ? 1) - 186tuples
0.40/0.44 c intension eq(dist(f[337],f[34]),40) -> extension (support ? 1) - 282tuples
0.40/0.45 c intension eq(dist(f[116],f[311]),40) -> extension (support ? 1) - 34tuples
0.40/0.46 c intension eq(dist(f[114],f[30]),40) -> extension (support ? 1) - 282tuples
0.40/0.46 c intension eq(dist(f[139],f[349]),40) -> extension (support ? 1) - 78tuples
0.40/0.47 c intension eq(dist(f[54],f[86]),40) -> extension (support ? 1) - 282tuples
0.40/0.47 c intension -> extension : same as previous
0.40/0.47 c intension -> extension : same as previous
0.40/0.47 c intension eq(dist(f[26],f[6]),40) -> extension (support ? 1) - 34tuples
0.40/0.48 c intension eq(dist(f[101],f[50]),40) -> extension (support ? 1) - 282tuples
0.40/0.48 c intension -> extension : same as previous
0.40/0.48 c intension eq(dist(f[200],f[89]),40) -> extension (support ? 1) - 34tuples
0.40/0.49 c intension eq(dist(f[247],f[42]),40) -> extension (support ? 1) - 282tuples
0.40/0.50 c intension eq(dist(f[202],f[20]),40) -> extension (support ? 1) - 50tuples
0.40/0.51 c intension -> extension : same as previous
0.40/0.51 c intension eq(dist(f[196],f[330]),40) -> extension (support ? 1) - 282tuples
0.40/0.51 c intension -> extension : same as previous
0.40/0.51 c intension eq(dist(f[212],f[266]),40) -> extension (support ? 1) - 22tuples
0.51/0.52 c intension eq(dist(f[260],f[66]),40) -> extension (support ? 1) - 282tuples
0.51/0.53 c intension -> extension : same as previous
0.51/0.53 c intension eq(dist(f[149],f[193]),40) -> extension (support ? 1) - 186tuples
0.51/0.53 c intension eq(dist(f[161],f[48]),40) -> extension (support ? 1) - 22tuples
0.51/0.53 c intension eq(dist(f[201],f[4]),40) -> extension (support ? 1) - 146tuples
0.51/0.54 c intension eq(dist(f[106],f[270]),40) -> extension (support ? 1) - 282tuples
0.51/0.55 c intension eq(dist(f[113],f[175]),40) -> extension (support ? 1) - 50tuples
0.51/0.56 c intension eq(dist(f[189],f[88]),40) -> extension (support ? 1) - 282tuples
0.51/0.56 c intension eq(dist(f[284],f[297]),40) -> extension (support ? 1) - 34tuples
0.51/0.57 c intension eq(dist(f[177],f[299]),40) -> extension (support ? 1) - 282tuples
0.51/0.57 c intension -> extension : same as previous
0.51/0.57 c intension eq(dist(f[16],f[342]),40) -> extension (support ? 1) - 22tuples
0.51/0.58 c intension eq(dist(f[192],f[244]),40) -> extension (support ? 1) - 282tuples
0.51/0.58 c intension eq(dist(f[258],f[5]),40) -> extension (support ? 1) - 22tuples
0.51/0.58 c intension eq(dist(f[222],f[80]),40) -> extension (support ? 1) - 22tuples
0.51/0.59 c intension eq(dist(f[279],f[92]),40) -> extension (support ? 1) - 282tuples
0.51/0.59 c intension eq(dist(f[133],f[252]),40) -> extension (support ? 1) - 50tuples
0.51/0.59 c intension eq(dist(f[179],f[226]),40) -> extension (support ? 1) - 22tuples
0.60/0.61 c intension eq(dist(f[140],f[73]),40) -> extension (support ? 1) - 282tuples
0.60/0.61 c intension eq(dist(f[182],f[183]),40) -> extension (support ? 1) - 146tuples
0.60/0.62 c intension eq(dist(f[126],f[51]),40) -> extension (support ? 1) - 282tuples
0.60/0.62 c intension eq(dist(f[207],f[242]),40) -> extension (support ? 1) - 50tuples
0.60/0.63 c intension eq(dist(f[109],f[190]),40) -> extension (support ? 1) - 146tuples
0.60/0.64 c intension eq(dist(f[112],f[213]),40) -> extension (support ? 1) - 282tuples
0.60/0.64 c intension eq(dist(f[239],f[43]),40) -> extension (support ? 1) - 78tuples
0.60/0.65 c intension eq(dist(f[164],f[220]),40) -> extension (support ? 1) - 282tuples
0.60/0.65 c intension -> extension : same as previous
0.60/0.65 c intension eq(dist(f[187],f[312]),40) -> extension (support ? 1) - 50tuples
0.60/0.66 c intension eq(dist(f[305],f[334]),40) -> extension (support ? 1) - 282tuples
0.60/0.66 c intension -> extension : same as previous
0.60/0.66 c intension eq(dist(f[347],f[90]),40) -> extension (support ? 1) - 22tuples
0.60/0.67 c intension eq(dist(f[162],f[7]),40) -> extension (support ? 1) - 22tuples
0.60/0.67 c intension eq(dist(f[18],f[268]),40) -> extension (support ? 1) - 50tuples
0.60/0.68 c intension eq(dist(f[289],f[331]),40) -> extension (support ? 1) - 282tuples
0.60/0.68 c intension -> extension : same as previous
0.60/0.68 c intension eq(dist(f[124],f[340]),40) -> extension (support ? 1) - 146tuples
0.60/0.69 c intension eq(dist(f[14],f[78]),40) -> extension (support ? 1) - 282tuples
0.60/0.69 c intension -> extension : same as previous
0.60/0.69 c intension -> extension : same as previous
0.60/0.69 c intension eq(dist(f[108],f[10]),40) -> extension (support ? 1) - 22tuples
0.69/0.70 c intension eq(dist(f[115],f[269]),40) -> extension (support ? 1) - 282tuples
0.69/0.70 c intension eq(dist(f[160],f[2]),40) -> extension (support ? 1) - 50tuples
0.69/0.71 c intension eq(dist(f[150],f[74]),40) -> extension (support ? 1) - 146tuples
0.69/0.71 c intension eq(dist(f[287],f[310]),40) -> extension (support ? 1) - 34tuples
0.69/0.72 c intension eq(dist(f[146],f[99]),40) -> extension (support ? 1) - 282tuples
0.69/0.72 c intension -> extension : same as previous
0.69/0.72 c intension -> extension : same as previous
0.69/0.72 c intension -> extension : same as previous
0.69/0.72 c intension -> extension : same as previous
0.69/0.72 c intension -> extension : same as previous
0.69/0.72 c intension -> extension : same as previous
0.69/0.72 c intension eq(dist(f[231],f[77]),40) -> extension (support ? 1) - 34tuples
0.69/0.73 c intension -> extension : same as previous
0.69/0.73 c intension eq(dist(f[105],f[295]),40) -> extension (support ? 1) - 282tuples
0.69/0.74 c intension -> extension : same as previous
0.69/0.74 c intension eq(dist(f[168],f[317]),40) -> extension (support ? 1) - 186tuples
0.69/0.75 c intension eq(dist(f[136],f[148]),40) -> extension (support ? 1) - 282tuples
0.69/0.76 c intension -> extension : same as previous
0.69/0.76 c intension eq(dist(f[122],f[224]),40) -> extension (support ? 1) - 186tuples
0.69/0.76 c intension eq(dist(f[125],f[60]),40) -> extension (support ? 1) - 50tuples
0.69/0.76 c intension eq(dist(f[107],f[215]),40) -> extension (support ? 1) - 34tuples
0.69/0.76 c intension eq(dist(f[100],f[167]),40) -> extension (support ? 1) - 78tuples
0.69/0.77 c intension -> extension : same as previous
0.69/0.77 c intension eq(dist(f[282],f[98]),40) -> extension (support ? 1) - 282tuples
0.69/0.78 c intension -> extension : same as previous
0.69/0.78 c intension -> extension : same as previous
0.69/0.78 c intension -> extension : same as previous
0.69/0.78 c intension eq(dist(f[159],f[348]),40) -> extension (support ? 1) - 146tuples
0.69/0.79 c intension eq(dist(f[272],f[46]),40) -> extension (support ? 1) - 282tuples
0.69/0.79 c intension eq(dist(f[203],f[68]),40) -> extension (support ? 1) - 50tuples
0.79/0.80 c intension eq(dist(f[257],f[49]),40) -> extension (support ? 1) - 282tuples
0.79/0.81 c intension -> extension : same as previous
0.79/0.81 c intension -> extension : same as previous
0.79/0.81 c intension eq(dist(f[228],f[286]),40) -> extension (support ? 1) - 186tuples
0.79/0.81 c intension eq(dist(f[143],f[94]),40) -> extension (support ? 1) - 22tuples
0.79/0.82 c intension eq(dist(f[181],f[341]),40) -> extension (support ? 1) - 282tuples
0.79/0.82 c intension -> extension : same as previous
0.79/0.82 c intension eq(dist(f[138],f[31]),40) -> extension (support ? 1) - 34tuples
0.79/0.83 c intension eq(dist(f[152],f[38]),40) -> extension (support ? 1) - 282tuples
0.79/0.84 c intension -> extension : same as previous
0.79/0.84 c intension -> extension : same as previous
0.79/0.84 c intension eq(dist(f[298],f[319]),40) -> extension (support ? 1) - 186tuples
0.79/0.84 c intension eq(dist(f[135],f[262]),40) -> extension (support ? 1) - 22tuples
0.79/0.85 c intension eq(dist(f[12],f[70]),40) -> extension (support ? 1) - 282tuples
0.79/0.85 c intension eq(dist(f[185],f[259]),40) -> extension (support ? 1) - 50tuples
0.79/0.86 c intension eq(dist(f[132],f[69]),40) -> extension (support ? 1) - 282tuples
0.79/0.86 c intension -> extension : same as previous
0.79/0.86 c intension eq(dist(f[0],f[197]),40) -> extension (support ? 1) - 22tuples
0.79/0.86 c intension eq(dist(f[120],f[290]),40) -> extension (support ? 1) - 34tuples
0.79/0.87 c intension eq(dist(f[22],f[327]),40) -> extension (support ? 1) - 282tuples
0.79/0.88 c intension eq(dist(f[1],f[313]),40) -> extension (support ? 1) - 186tuples
0.79/0.89 c intension eq(dist(f[169],f[95]),40) -> extension (support ? 1) - 282tuples
0.79/0.89 c intension eq(dist(f[230],f[93]),40) -> extension (support ? 1) - 78tuples
0.89/0.90 c intension eq(dist(f[19],f[274]),40) -> extension (support ? 1) - 282tuples
0.89/0.90 c intension -> extension : same as previous
0.89/0.90 c intension eq(dist(f[236],f[320]),40) -> extension (support ? 1) - 186tuples
0.89/0.91 c intension eq(dist(f[118],f[263]),40) -> extension (support ? 1) - 282tuples
0.89/0.92 c intension -> extension : same as previous
0.89/0.92 c intension -> extension : same as previous
0.89/0.92 c intension ne(dist(f[0],f[272]),264) -> extension (support ? 0) - 40tuples
0.89/0.93 c intension ne(dist(f[306],f[85]),19) -> extension (support ? 0) - 0tuples
0.89/0.94 c intension ne(dist(f[332],f[333]),397) -> extension (support ? 0) - 0tuples
0.89/0.94 c intension ne(dist(f[230],f[310]),265) -> extension (support ? 0) - 0tuples
0.89/0.94 c intension ne(dist(f[136],f[312]),11) -> extension (support ? 0) - 0tuples
0.89/0.95 c intension ne(dist(f[334],f[45]),44) -> extension (support ? 0) - 280tuples
0.89/0.96 c intension ne(dist(f[156],f[274]),119) -> extension (support ? 0) - 0tuples
0.89/0.96 c intension ne(dist(f[125],f[214]),275) -> extension (support ? 0) - 0tuples
0.89/0.97 c intension ne(dist(f[340],f[57]),69) -> extension (support ? 0) - 0tuples
0.89/0.98 c intension ne(dist(f[208],f[309]),12) -> extension (support ? 0) - 296tuples
0.89/0.99 c intension ne(dist(f[106],f[145]),220) -> extension (support ? 0) - 192tuples
0.89/1.00 c intension ne(dist(f[104],f[131]),230) -> extension (support ? 0) - 0tuples
1.00/1.01 c intension ne(dist(f[19],f[88]),13) -> extension (support ? 0) - 0tuples
1.00/1.02 c intension ne(dist(f[142],f[184]),252) -> extension (support ? 0) - 176tuples
1.00/1.03 c intension ne(dist(f[256],f[338]),32) -> extension (support ? 0) - 286tuples
1.00/1.04 c intension ne(dist(f[130],f[346]),287) -> extension (support ? 0) - 0tuples
1.00/1.04 c intension ne(dist(f[61],f[7]),139) -> extension (support ? 0) - 0tuples
1.00/1.04 c intension ne(dist(f[197],f[310]),63) -> extension (support ? 0) - 0tuples
1.00/1.04 c intension ne(dist(f[232],f[287]),7) -> extension (support ? 0) - 0tuples
1.00/1.05 c intension ne(dist(f[248],f[305]),12) -> extension (support ? 0) - 296tuples
1.00/1.06 c intension ne(dist(f[189],f[55]),126) -> extension (support ? 0) - 0tuples
1.00/1.06 c intension ne(dist(f[169],f[223]),387) -> extension (support ? 0) - 0tuples
1.00/1.08 c intension ne(dist(f[142],f[307]),2) -> extension (support ? 0) - 0tuples
1.00/1.08 c intension ne(dist(f[209],f[97]),126) -> extension (support ? 0) - 0tuples
1.00/1.08 c intension ne(dist(f[10],f[301]),227) -> extension (support ? 0) - 0tuples
1.00/1.08 c intension ne(dist(f[223],f[277]),196) -> extension (support ? 0) - 27tuples
1.00/1.09 c intension ne(dist(f[241],f[29]),61) -> extension (support ? 0) - 0tuples
1.00/1.10 c intension ne(dist(f[240],f[346]),6) -> extension (support ? 0) - 0tuples
1.10/1.11 c intension ne(dist(f[101],f[250]),20) -> extension (support ? 0) - 292tuples
1.10/1.12 c intension ne(dist(f[136],f[188]),115) -> extension (support ? 0) - 0tuples
1.10/1.13 c intension ne(dist(f[137],f[192]),202) -> extension (support ? 0) - 0tuples
1.10/1.14 c intension ne(dist(f[103],f[106]),290) -> extension (support ? 0) - 0tuples
1.10/1.15 c intension ne(dist(f[35],f[9]),137) -> extension (support ? 0) - 0tuples
1.10/1.16 c intension ne(dist(f[20],f[306]),56) -> extension (support ? 0) - 70tuples
1.10/1.16 c intension ne(dist(f[228],f[41]),99) -> extension (support ? 0) - 0tuples
1.10/1.17 c intension ne(dist(f[104],f[331]),133) -> extension (support ? 0) - 0tuples
1.10/1.18 c intension ne(dist(f[27],f[343]),8) -> extension (support ? 0) - 298tuples
1.10/1.18 c intension ne(dist(f[328],f[337]),36) -> extension (support ? 0) - 70tuples
1.10/1.19 c intension ne(dist(f[323],f[9]),25) -> extension (support ? 0) - 0tuples
1.19/1.20 c intension ne(dist(f[235],f[288]),207) -> extension (support ? 0) - 0tuples
1.19/1.20 c intension ne(dist(f[147],f[160]),18) -> extension (support ? 0) - 0tuples
1.19/1.20 c intension ne(dist(f[149],f[213]),131) -> extension (support ? 0) - 0tuples
1.19/1.21 c intension ne(dist(f[209],f[70]),27) -> extension (support ? 0) - 0tuples
1.19/1.21 c intension ne(dist(f[113],f[160]),17) -> extension (support ? 0) - 0tuples
1.19/1.22 c intension ne(dist(f[148],f[163]),40) -> extension (support ? 0) - 282tuples
1.19/1.22 c intension ne(dist(f[195],f[297]),10) -> extension (support ? 0) - 0tuples
1.19/1.22 c intension ne(dist(f[51],f[80]),22) -> extension (support ? 0) - 0tuples
1.19/1.23 c intension ne(dist(f[122],f[328]),49) -> extension (support ? 0) - 0tuples
1.19/1.23 c intension ne(dist(f[156],f[312]),121) -> extension (support ? 0) - 0tuples
1.19/1.24 c intension ne(dist(f[181],f[227]),196) -> extension (support ? 0) - 204tuples
1.19/1.24 c intension ne(dist(f[100],f[282]),21) -> extension (support ? 0) - 0tuples
1.19/1.25 c intension ne(dist(f[228],f[296]),6) -> extension (support ? 0) - 0tuples
1.19/1.26 c intension ne(dist(f[171],f[260]),1) -> extension (support ? 0) - 0tuples
1.19/1.26 c intension ne(dist(f[121],f[340]),3) -> extension (support ? 0) - 0tuples
1.19/1.27 c intension ne(dist(f[154],f[306]),70) -> extension (support ? 0) - 0tuples
1.19/1.28 c intension ne(dist(f[216],f[259]),216) -> extension (support ? 0) - 35tuples
1.19/1.28 c intension ne(dist(f[205],f[313]),195) -> extension (support ? 0) - 0tuples
1.19/1.28 c intension ne(dist(f[102],f[92]),59) -> extension (support ? 0) - 0tuples
1.19/1.28 c intension ne(dist(f[16],f[17]),90) -> extension (support ? 0) - 0tuples
1.19/1.29 c intension ne(dist(f[193],f[6]),9) -> extension (support ? 0) - 0tuples
1.19/1.29 c intension ne(dist(f[219],f[332]),276) -> extension (support ? 0) - 27tuples
1.19/1.29 c intension ne(dist(f[235],f[265]),23) -> extension (support ? 0) - 0tuples
1.29/1.30 c intension ne(dist(f[164],f[211]),10) -> extension (support ? 0) - 0tuples
1.29/1.31 c intension ne(dist(f[199],f[91]),15) -> extension (support ? 0) - 0tuples
1.29/1.31 c intension ne(dist(f[15],f[238]),8) -> extension (support ? 0) - 42tuples
1.29/1.31 c intension ne(dist(f[265],f[268]),7) -> extension (support ? 0) - 0tuples
1.29/1.32 c intension ne(dist(f[199],f[285]),230) -> extension (support ? 0) - 0tuples
1.29/1.33 c intension ne(dist(f[105],f[30]),77) -> extension (support ? 0) - 0tuples
1.29/1.34 c intension ne(dist(f[291],f[81]),1) -> extension (support ? 0) - 0tuples
1.29/1.36 c intension ne(dist(f[114],f[274]),107) -> extension (support ? 0) - 0tuples
1.29/1.37 c intension ne(dist(f[198],f[87]),63) -> extension (support ? 0) - 0tuples
1.29/1.37 c intension ne(dist(f[200],f[93]),144) -> extension (support ? 0) - 9tuples
1.29/1.38 c intension ne(dist(f[189],f[44]),150) -> extension (support ? 0) - 0tuples
1.29/1.39 c intension ne(dist(f[191],f[237]),111) -> extension (support ? 0) - 0tuples
1.39/1.40 c intension ne(dist(f[243],f[81]),428) -> extension (support ? 0) - 88tuples
1.39/1.40 c intension ne(dist(f[133],f[41]),15) -> extension (support ? 0) - 0tuples
1.39/1.40 c intension ne(dist(f[259],f[302]),87) -> extension (support ? 0) - 0tuples
1.39/1.40 c intension ne(dist(f[16],f[212]),15) -> extension (support ? 0) - 0tuples
1.39/1.41 c intension ne(dist(f[112],f[45]),10) -> extension (support ? 0) - 0tuples
1.39/1.42 c intension ne(dist(f[260],f[84]),7) -> extension (support ? 0) - 0tuples
1.39/1.43 c intension ne(dist(f[164],f[185]),48) -> extension (support ? 0) - 70tuples
1.39/1.44 c intension ne(dist(f[188],f[46]),73) -> extension (support ? 0) - 0tuples
1.39/1.45 c intension ne(dist(f[134],f[337]),148) -> extension (support ? 0) - 228tuples
1.39/1.46 c intension ne(dist(f[121],f[280]),47) -> extension (support ? 0) - 0tuples
1.39/1.47 c intension ne(dist(f[343],f[4]),43) -> extension (support ? 0) - 0tuples
1.39/1.47 c intension ne(dist(f[10],f[330]),438) -> extension (support ? 0) - 0tuples
1.39/1.47 c intension ne(dist(f[114],f[143]),2) -> extension (support ? 0) - 0tuples
1.39/1.48 c intension ne(dist(f[305],f[44]),67) -> extension (support ? 0) - 0tuples
1.39/1.49 c intension ne(dist(f[136],f[343]),55) -> extension (support ? 0) - 0tuples
1.39/1.49 c intension ne(dist(f[230],f[305]),92) -> extension (support ? 0) - 98tuples
1.49/1.50 c intension ne(dist(f[126],f[16]),312) -> extension (support ? 0) - 21tuples
1.49/1.50 c intension ne(dist(f[158],f[20]),79) -> extension (support ? 0) - 0tuples
1.49/1.51 c intension ne(dist(f[302],f[337]),46) -> extension (support ? 0) - 0tuples
1.49/1.52 c intension ne(dist(f[49],f[54]),453) -> extension (support ? 0) - 0tuples
1.49/1.53 c intension ne(dist(f[62],f[84]),176) -> extension (support ? 0) - 214tuples
1.49/1.53 c intension ne(dist(f[29],f[86]),13) -> extension (support ? 0) - 0tuples
1.49/1.54 c intension ne(dist(f[12],f[3]),25) -> extension (support ? 0) - 0tuples
1.49/1.55 c intension ne(dist(f[81],f[85]),170) -> extension (support ? 0) - 0tuples
1.49/1.57 c intension ne(dist(f[327],f[78]),30) -> extension (support ? 0) - 0tuples
1.49/1.57 c intension ne(dist(f[16],f[306]),212) -> extension (support ? 0) - 21tuples
1.49/1.57 c intension ne(dist(f[135],f[145]),55) -> extension (support ? 0) - 0tuples
1.49/1.57 c intension ne(dist(f[252],f[286]),212) -> extension (support ? 0) - 35tuples
1.49/1.58 c intension ne(dist(f[198],f[294]),500) -> extension (support ? 0) - 52tuples
1.49/1.59 c intension ne(dist(f[306],f[87]),227) -> extension (support ? 0) - 0tuples
1.49/1.59 c intension ne(dist(f[315],f[326]),7) -> extension (support ? 0) - 0tuples
1.59/1.60 c intension ne(dist(f[192],f[269]),258) -> extension (support ? 0) - 0tuples
1.59/1.60 c intension ne(dist(f[234],f[53]),28) -> extension (support ? 0) - 54tuples
1.59/1.62 c intension ne(dist(f[181],f[275]),156) -> extension (support ? 0) - 224tuples
1.59/1.63 c intension ne(dist(f[140],f[51]),129) -> extension (support ? 0) - 0tuples
1.59/1.64 c intension ne(dist(f[325],f[8]),35) -> extension (support ? 0) - 0tuples
1.59/1.64 c intension ne(dist(f[316],f[47]),19) -> extension (support ? 0) - 0tuples
1.59/1.65 c intension ne(dist(f[229],f[295]),36) -> extension (support ? 0) - 284tuples
1.59/1.65 c intension ne(dist(f[130],f[178]),11) -> extension (support ? 0) - 0tuples
1.59/1.66 c intension ne(dist(f[139],f[198]),132) -> extension (support ? 0) - 98tuples
1.59/1.66 c intension ne(dist(f[143],f[24]),9) -> extension (support ? 0) - 0tuples
1.59/1.66 c intension ne(dist(f[230],f[52]),11) -> extension (support ? 0) - 0tuples
1.59/1.66 c intension ne(dist(f[28],f[333]),78) -> extension (support ? 0) - 0tuples
1.59/1.67 c intension ne(dist(f[336],f[75]),99) -> extension (support ? 0) - 0tuples
1.59/1.67 c intension ne(dist(f[110],f[182]),109) -> extension (support ? 0) - 0tuples
1.59/1.68 c intension ne(dist(f[164],f[73]),73) -> extension (support ? 0) - 0tuples
1.59/1.68 c intension ne(dist(f[163],f[328]),188) -> extension (support ? 0) - 39tuples
1.59/1.69 c intension ne(dist(f[106],f[243]),46) -> extension (support ? 0) - 0tuples
1.69/1.70 c intension ne(dist(f[272],f[304]),58) -> extension (support ? 0) - 0tuples
1.69/1.70 c intension ne(dist(f[160],f[345]),92) -> extension (support ? 0) - 9tuples
1.69/1.70 c intension ne(dist(f[115],f[215]),23) -> extension (support ? 0) - 0tuples
1.69/1.71 c intension ne(dist(f[136],f[324]),7) -> extension (support ? 0) - 0tuples
1.69/1.71 c intension ne(dist(f[174],f[7]),158) -> extension (support ? 0) - 0tuples
1.69/1.71 c intension ne(dist(f[166],f[286]),15) -> extension (support ? 0) - 0tuples
1.69/1.72 c intension ne(dist(f[296],f[72]),76) -> extension (support ? 0) - 98tuples
1.69/1.73 c intension ne(dist(f[112],f[49]),50) -> extension (support ? 0) - 0tuples
1.69/1.73 c intension ne(dist(f[310],f[95]),322) -> extension (support ? 0) - 0tuples
1.69/1.73 c intension ne(dist(f[198],f[6]),18) -> extension (support ? 0) - 0tuples
1.69/1.74 c intension ne(dist(f[250],f[32]),96) -> extension (support ? 0) - 254tuples
1.69/1.75 c intension ne(dist(f[122],f[70]),344) -> extension (support ? 0) - 82tuples
1.69/1.75 c intension ne(dist(f[209],f[320]),17) -> extension (support ? 0) - 0tuples
1.69/1.76 c intension ne(dist(f[111],f[227]),11) -> extension (support ? 0) - 0tuples
1.69/1.77 c intension ne(dist(f[165],f[346]),19) -> extension (support ? 0) - 0tuples
1.69/1.77 c intension ne(dist(f[16],f[229]),189) -> extension (support ? 0) - 0tuples
1.69/1.78 c intension ne(dist(f[63],f[81]),10) -> extension (support ? 0) - 0tuples
1.69/1.78 c intension ne(dist(f[162],f[1]),296) -> extension (support ? 0) - 21tuples
1.69/1.78 c intension ne(dist(f[290],f[93]),219) -> extension (support ? 0) - 0tuples
1.69/1.79 c intension ne(dist(f[174],f[320]),42) -> extension (support ? 0) - 0tuples
1.79/1.80 c intension ne(dist(f[114],f[303]),340) -> extension (support ? 0) - 132tuples
1.79/1.81 c intension ne(dist(f[101],f[307]),175) -> extension (support ? 0) - 0tuples
1.79/1.81 c intension ne(dist(f[111],f[168]),354) -> extension (support ? 0) - 0tuples
1.79/1.82 c intension ne(dist(f[186],f[221]),107) -> extension (support ? 0) - 0tuples
1.79/1.84 c intension ne(dist(f[154],f[225]),32) -> extension (support ? 0) - 286tuples
1.79/1.85 c intension ne(dist(f[115],f[49]),178) -> extension (support ? 0) - 0tuples
1.79/1.85 c intension ne(dist(f[124],f[287]),171) -> extension (support ? 0) - 0tuples
1.79/1.85 c intension ne(dist(f[204],f[38]),14) -> extension (support ? 0) - 0tuples
1.79/1.85 c intension ne(dist(f[187],f[196]),45) -> extension (support ? 0) - 0tuples
1.79/1.86 c intension ne(dist(f[283],f[303]),6) -> extension (support ? 0) - 0tuples
1.79/1.86 c intension ne(dist(f[230],f[320]),150) -> extension (support ? 0) - 0tuples
1.79/1.86 c intension ne(dist(f[199],f[278]),78) -> extension (support ? 0) - 0tuples
1.79/1.87 c intension ne(dist(f[177],f[340]),157) -> extension (support ? 0) - 0tuples
1.79/1.87 c intension ne(dist(f[130],f[332]),14) -> extension (support ? 0) - 0tuples
1.79/1.88 c intension ne(dist(f[186],f[52]),22) -> extension (support ? 0) - 0tuples
1.79/1.88 c intension ne(dist(f[178],f[41]),6) -> extension (support ? 0) - 0tuples
1.79/1.88 c intension ne(dist(f[242],f[342]),96) -> extension (support ? 0) - 18tuples
1.79/1.89 c intension ne(dist(f[305],f[85]),175) -> extension (support ? 0) - 0tuples
1.89/1.91 c intension ne(dist(f[171],f[274]),14) -> extension (support ? 0) - 0tuples
1.89/1.92 c intension ne(dist(f[192],f[219]),43) -> extension (support ? 0) - 0tuples
1.89/1.93 c intension ne(dist(f[300],f[337]),69) -> extension (support ? 0) - 0tuples
1.89/1.94 c intension ne(dist(f[181],f[240]),405) -> extension (support ? 0) - 0tuples
1.89/1.94 c intension ne(dist(f[202],f[212]),91) -> extension (support ? 0) - 0tuples
1.89/1.94 c intension ne(dist(f[207],f[240]),8) -> extension (support ? 0) - 70tuples
1.89/1.95 c intension ne(dist(f[232],f[274]),131) -> extension (support ? 0) - 0tuples
1.89/1.95 c intension ne(dist(f[36],f[41]),158) -> extension (support ? 0) - 0tuples
1.89/1.96 c intension ne(dist(f[182],f[219]),28) -> extension (support ? 0) - 166tuples
1.89/1.97 c intension ne(dist(f[115],f[334]),33) -> extension (support ? 0) - 0tuples
1.89/1.97 c intension ne(dist(f[304],f[71]),120) -> extension (support ? 0) - 3tuples
1.89/1.98 c intension ne(dist(f[299],f[306]),75) -> extension (support ? 0) - 0tuples
1.89/1.99 c intension ne(dist(f[288],f[50]),32) -> extension (support ? 0) - 286tuples
2.00/2.00 c intension ne(dist(f[206],f[255]),10) -> extension (support ? 0) - 0tuples
2.00/2.01 c intension ne(dist(f[187],f[238]),169) -> extension (support ? 0) - 0tuples
2.00/2.02 c intension ne(dist(f[218],f[219]),274) -> extension (support ? 0) - 0tuples
2.00/2.03 c intension ne(dist(f[158],f[306]),212) -> extension (support ? 0) - 196tuples
2.00/2.03 c intension ne(dist(f[116],f[282]),220) -> extension (support ? 0) - 27tuples
2.00/2.03 c intension ne(dist(f[240],f[5]),68) -> extension (support ? 0) - 42tuples
2.00/2.03 c intension ne(dist(f[26],f[93]),10) -> extension (support ? 0) - 0tuples
2.00/2.04 c intension ne(dist(f[144],f[158]),8) -> extension (support ? 0) - 298tuples
2.00/2.04 c intension ne(dist(f[110],f[157]),134) -> extension (support ? 0) - 0tuples
2.00/2.05 c intension ne(dist(f[315],f[7]),149) -> extension (support ? 0) - 0tuples
2.00/2.06 c intension ne(dist(f[211],f[229]),142) -> extension (support ? 0) - 0tuples
2.00/2.07 c intension ne(dist(f[213],f[289]),101) -> extension (support ? 0) - 0tuples
2.00/2.07 c intension ne(dist(f[169],f[265]),393) -> extension (support ? 0) - 0tuples
2.00/2.07 c intension ne(dist(f[267],f[83]),3) -> extension (support ? 0) - 0tuples
2.00/2.07 c intension ne(dist(f[259],f[76]),85) -> extension (support ? 0) - 0tuples
2.00/2.08 c intension ne(dist(f[158],f[98]),120) -> extension (support ? 0) - 242tuples
2.00/2.08 c intension ne(dist(f[108],f[48]),199) -> extension (support ? 0) - 0tuples
2.00/2.08 c intension ne(dist(f[177],f[328]),29) -> extension (support ? 0) - 0tuples
2.00/2.09 c intension ne(dist(f[164],f[90]),12) -> extension (support ? 0) - 42tuples
2.00/2.10 c intension ne(dist(f[131],f[69]),138) -> extension (support ? 0) - 0tuples
2.00/2.10 c intension ne(dist(f[10],f[304]),13) -> extension (support ? 0) - 0tuples
2.00/2.10 c intension ne(dist(f[251],f[330]),183) -> extension (support ? 0) - 0tuples
2.00/2.10 c intension ne(dist(f[142],f[83]),113) -> extension (support ? 0) - 0tuples
2.00/2.10 c intension ne(dist(f[329],f[53]),132) -> extension (support ? 0) - 3tuples
2.10/2.12 c intension ne(dist(f[237],f[73]),3) -> extension (support ? 0) - 0tuples
2.10/2.12 c intension ne(dist(f[159],f[176]),32) -> extension (support ? 0) - 150tuples
2.10/2.12 c intension ne(dist(f[194],f[94]),2) -> extension (support ? 0) - 0tuples
2.10/2.12 c intension ne(dist(f[233],f[242]),198) -> extension (support ? 0) - 0tuples
2.10/2.13 c intension ne(dist(f[318],f[66]),39) -> extension (support ? 0) - 0tuples
2.10/2.14 c intension ne(dist(f[227],f[294]),103) -> extension (support ? 0) - 0tuples
2.10/2.15 c intension ne(dist(f[153],f[38]),100) -> extension (support ? 0) - 252tuples
2.10/2.16 c intension ne(dist(f[109],f[93]),30) -> extension (support ? 0) - 0tuples
2.10/2.16 c intension ne(dist(f[232],f[93]),306) -> extension (support ? 0) - 0tuples
2.10/2.17 c intension ne(dist(f[101],f[338]),171) -> extension (support ? 0) - 0tuples
2.10/2.17 c intension ne(dist(f[133],f[25]),94) -> extension (support ? 0) - 0tuples
2.10/2.18 c intension ne(dist(f[152],f[288]),292) -> extension (support ? 0) - 156tuples
2.10/2.19 c intension ne(dist(f[185],f[61]),3) -> extension (support ? 0) - 0tuples
2.10/2.19 c intension ne(dist(f[139],f[302]),31) -> extension (support ? 0) - 0tuples
2.10/2.19 c intension ne(dist(f[155],f[215]),326) -> extension (support ? 0) - 0tuples
2.19/2.20 c intension ne(dist(f[291],f[40]),48) -> extension (support ? 0) - 278tuples
2.19/2.21 c intension ne(dist(f[152],f[160]),16) -> extension (support ? 0) - 70tuples
2.19/2.22 c intension ne(dist(f[22],f[27]),142) -> extension (support ? 0) - 0tuples
2.19/2.22 c intension ne(dist(f[339],f[76]),141) -> extension (support ? 0) - 0tuples
2.19/2.23 c intension ne(dist(f[137],f[273]),58) -> extension (support ? 0) - 0tuples
2.19/2.24 c intension ne(dist(f[165],f[92]),1) -> extension (support ? 0) - 0tuples
2.19/2.24 c intension ne(dist(f[214],f[284]),241) -> extension (support ? 0) - 0tuples
2.19/2.26 c intension ne(dist(f[38],f[55]),13) -> extension (support ? 0) - 0tuples
2.19/2.27 c intension ne(dist(f[56],f[97]),53) -> extension (support ? 0) - 0tuples
2.19/2.27 c intension ne(dist(f[146],f[242]),31) -> extension (support ? 0) - 0tuples
2.19/2.28 c intension ne(dist(f[27],f[56]),64) -> extension (support ? 0) - 270tuples
2.19/2.29 c intension ne(dist(f[270],f[44]),445) -> extension (support ? 0) - 0tuples
2.29/2.30 c intension ne(dist(f[229],f[263]),199) -> extension (support ? 0) - 0tuples
2.29/2.31 c intension ne(dist(f[177],f[9]),107) -> extension (support ? 0) - 0tuples
2.29/2.32 c intension ne(dist(f[199],f[259]),49) -> extension (support ? 0) - 0tuples
2.29/2.33 c intension ne(dist(f[261],f[327]),22) -> extension (support ? 0) - 0tuples
2.29/2.34 c intension ne(dist(f[112],f[195]),41) -> extension (support ? 0) - 0tuples
2.29/2.35 c intension ne(dist(f[288],f[88]),10) -> extension (support ? 0) - 0tuples
2.29/2.36 c intension ne(dist(f[131],f[91]),42) -> extension (support ? 0) - 0tuples
2.29/2.36 c intension ne(dist(f[212],f[49]),152) -> extension (support ? 0) - 42tuples
2.29/2.36 c intension ne(dist(f[300],f[332]),4) -> extension (support ? 0) - 54tuples
2.29/2.37 c intension ne(dist(f[263],f[318]),318) -> extension (support ? 0) - 0tuples
2.29/2.38 c intension ne(dist(f[194],f[315]),51) -> extension (support ? 0) - 0tuples
2.29/2.38 c intension ne(dist(f[185],f[229]),107) -> extension (support ? 0) - 0tuples
2.29/2.39 c intension ne(dist(f[188],f[67]),417) -> extension (support ? 0) - 0tuples
2.29/2.39 c intension ne(dist(f[151],f[342]),197) -> extension (support ? 0) - 0tuples
2.39/2.41 c intension ne(dist(f[323],f[339]),5) -> extension (support ? 0) - 0tuples
2.39/2.41 c intension ne(dist(f[63],f[64]),58) -> extension (support ? 0) - 0tuples
2.39/2.42 c intension ne(dist(f[216],f[339]),48) -> extension (support ? 0) - 278tuples
2.39/2.43 c intension ne(dist(f[134],f[73]),69) -> extension (support ? 0) - 0tuples
2.39/2.44 c intension ne(dist(f[194],f[263]),77) -> extension (support ? 0) - 0tuples
2.39/2.45 c intension ne(dist(f[308],f[57]),63) -> extension (support ? 0) - 0tuples
2.39/2.45 c intension ne(dist(f[325],f[5]),5) -> extension (support ? 0) - 0tuples
2.39/2.46 c intension ne(dist(f[165],f[50]),80) -> extension (support ? 0) - 262tuples
2.39/2.47 c intension ne(dist(f[159],f[210]),88) -> extension (support ? 0) - 88tuples
2.39/2.47 c intension ne(dist(f[133],f[216]),13) -> extension (support ? 0) - 0tuples
2.39/2.48 c intension ne(dist(f[132],f[338]),4) -> extension (support ? 0) - 300tuples
2.39/2.48 c intension ne(dist(f[261],f[83]),149) -> extension (support ? 0) - 0tuples
2.39/2.49 c intension ne(dist(f[152],f[306]),56) -> extension (support ? 0) - 274tuples
2.48/2.50 c intension ne(dist(f[260],f[42]),50) -> extension (support ? 0) - 0tuples
2.48/2.51 c intension ne(dist(f[137],f[326]),19) -> extension (support ? 0) - 0tuples
2.48/2.52 c intension ne(dist(f[336],f[47]),18) -> extension (support ? 0) - 0tuples
2.48/2.52 c intension ne(dist(f[183],f[191]),1) -> extension (support ? 0) - 0tuples
2.48/2.52 c intension ne(dist(f[313],f[80]),251) -> extension (support ? 0) - 0tuples
2.48/2.53 c intension ne(dist(f[21],f[341]),92) -> extension (support ? 0) - 256tuples
2.48/2.54 c intension ne(dist(f[252],f[302]),44) -> extension (support ? 0) - 70tuples
2.48/2.55 c intension ne(dist(f[184],f[97]),110) -> extension (support ? 0) - 0tuples
2.48/2.56 c intension ne(dist(f[152],f[255]),272) -> extension (support ? 0) - 166tuples
2.48/2.56 c intension ne(dist(f[174],f[83]),55) -> extension (support ? 0) - 0tuples
2.48/2.56 c intension ne(dist(f[328],f[49]),345) -> extension (support ? 0) - 0tuples
2.48/2.57 c intension ne(dist(f[229],f[269]),25) -> extension (support ? 0) - 0tuples
2.48/2.58 c intension ne(dist(f[126],f[221]),281) -> extension (support ? 0) - 0tuples
2.48/2.58 c intension ne(dist(f[161],f[263]),74) -> extension (support ? 0) - 0tuples
2.48/2.59 c intension ne(dist(f[302],f[348]),128) -> extension (support ? 0) - 142tuples
2.59/2.60 c intension ne(dist(f[64],f[87]),15) -> extension (support ? 0) - 0tuples
2.59/2.60 c intension ne(dist(f[182],f[298]),83) -> extension (support ? 0) - 0tuples
2.59/2.60 c intension ne(dist(f[209],f[347]),82) -> extension (support ? 0) - 0tuples
2.59/2.61 c intension ne(dist(f[165],f[279]),81) -> extension (support ? 0) - 0tuples
2.59/2.62 c intension ne(dist(f[39],f[74]),97) -> extension (support ? 0) - 0tuples
2.59/2.62 c intension ne(dist(f[154],f[179]),31) -> extension (support ? 0) - 0tuples
2.59/2.63 c intension ne(dist(f[23],f[278]),385) -> extension (support ? 0) - 0tuples
2.59/2.64 c intension ne(dist(f[306],f[98]),56) -> extension (support ? 0) - 274tuples
2.59/2.65 c intension ne(dist(f[323],f[35]),4) -> extension (support ? 0) - 300tuples
2.59/2.65 c intension ne(dist(f[196],f[77]),118) -> extension (support ? 0) - 0tuples
2.59/2.65 c intension ne(dist(f[141],f[87]),60) -> extension (support ? 0) - 70tuples
2.59/2.66 c intension ne(dist(f[210],f[58]),8) -> extension (support ? 0) - 205tuples
2.59/2.66 c intension ne(dist(f[119],f[144]),8) -> extension (support ? 0) - 98tuples
2.59/2.67 c intension ne(dist(f[15],f[79]),14) -> extension (support ? 0) - 0tuples
2.59/2.68 c intension ne(dist(f[156],f[247]),212) -> extension (support ? 0) - 196tuples
2.59/2.68 c intension ne(dist(f[123],f[60]),35) -> extension (support ? 0) - 0tuples
2.59/2.69 c intension ne(dist(f[276],f[336]),254) -> extension (support ? 0) - 0tuples
2.59/2.69 c intension ne(dist(f[108],f[161]),100) -> extension (support ? 0) - 0tuples
2.69/2.70 c intension ne(dist(f[244],f[45]),10) -> extension (support ? 0) - 0tuples
2.69/2.71 c intension ne(dist(f[140],f[164]),18) -> extension (support ? 0) - 0tuples
2.69/2.72 c intension ne(dist(f[121],f[172]),2) -> extension (support ? 0) - 0tuples
2.69/2.73 c intension ne(dist(f[195],f[237]),48) -> extension (support ? 0) - 278tuples
2.69/2.74 c intension ne(dist(f[314],f[86]),26) -> extension (support ? 0) - 0tuples
2.69/2.75 c intension ne(dist(f[280],f[85]),6) -> extension (support ? 0) - 0tuples
2.69/2.76 c intension ne(dist(f[293],f[305]),38) -> extension (support ? 0) - 0tuples
2.69/2.77 c intension ne(dist(f[148],f[260]),50) -> extension (support ? 0) - 0tuples
2.69/2.78 c intension ne(dist(f[101],f[177]),54) -> extension (support ? 0) - 0tuples
2.69/2.78 c intension ne(dist(f[141],f[279]),101) -> extension (support ? 0) - 0tuples
2.69/2.79 c intension ne(dist(f[211],f[318]),302) -> extension (support ? 0) - 0tuples
2.69/2.79 c intension ne(dist(f[274],f[89]),24) -> extension (support ? 0) - 54tuples
2.79/2.80 c intension ne(dist(f[195],f[90]),201) -> extension (support ? 0) - 0tuples
2.79/2.81 c intension ne(dist(f[292],f[9]),5) -> extension (support ? 0) - 0tuples
2.79/2.81 c intension ne(dist(f[279],f[37]),390) -> extension (support ? 0) - 0tuples
2.79/2.82 c intension ne(dist(f[198],f[64]),162) -> extension (support ? 0) - 0tuples
2.79/2.82 c intension ne(dist(f[18],f[284]),8) -> extension (support ? 0) - 38tuples
2.79/2.83 c intension ne(dist(f[306],f[59]),162) -> extension (support ? 0) - 0tuples
2.79/2.83 c intension ne(dist(f[186],f[41]),75) -> extension (support ? 0) - 0tuples
2.79/2.85 c intension ne(dist(f[216],f[250]),11) -> extension (support ? 0) - 0tuples
2.79/2.85 c intension ne(dist(f[215],f[226]),5) -> extension (support ? 0) - 0tuples
2.79/2.85 c intension ne(dist(f[208],f[217]),143) -> extension (support ? 0) - 0tuples
2.79/2.86 c intension ne(dist(f[150],f[330]),251) -> extension (support ? 0) - 0tuples
2.79/2.86 c intension ne(dist(f[130],f[46]),27) -> extension (support ? 0) - 0tuples
2.79/2.86 c intension ne(dist(f[39],f[80]),434) -> extension (support ? 0) - 0tuples
2.79/2.87 c intension ne(dist(f[298],f[321]),287) -> extension (support ? 0) - 0tuples
2.79/2.87 c intension ne(dist(f[150],f[210]),76) -> extension (support ? 0) - 88tuples
2.79/2.88 c intension ne(dist(f[136],f[66]),54) -> extension (support ? 0) - 0tuples
2.79/2.89 c intension ne(dist(f[168],f[273]),123) -> extension (support ? 0) - 0tuples
2.79/2.89 c intension ne(dist(f[111],f[312]),21) -> extension (support ? 0) - 0tuples
2.89/2.90 c intension ne(dist(f[101],f[292]),8) -> extension (support ? 0) - 298tuples
2.89/2.91 c intension ne(dist(f[121],f[157]),177) -> extension (support ? 0) - 0tuples
2.89/2.92 c intension ne(dist(f[194],f[40]),111) -> extension (support ? 0) - 0tuples
2.89/2.92 c intension ne(dist(f[11],f[303]),3) -> extension (support ? 0) - 0tuples
2.89/2.92 c intension ne(dist(f[26],f[313]),392) -> extension (support ? 0) - 27tuples
2.89/2.93 c intension ne(dist(f[49],f[87]),123) -> extension (support ? 0) - 0tuples
2.89/2.94 c intension ne(dist(f[45],f[87]),108) -> extension (support ? 0) - 248tuples
2.89/2.95 c intension ne(dist(f[111],f[2]),91) -> extension (support ? 0) - 0tuples
2.89/2.95 c intension ne(dist(f[124],f[184]),64) -> extension (support ? 0) - 158tuples
2.89/2.96 c intension ne(dist(f[132],f[322]),91) -> extension (support ? 0) - 0tuples
2.89/2.96 c intension ne(dist(f[28],f[47]),16) -> extension (support ? 0) - 54tuples
2.89/2.96 c intension ne(dist(f[2],f[60]),37) -> extension (support ? 0) - 0tuples
2.89/2.96 c intension ne(dist(f[303],f[6]),42) -> extension (support ? 0) - 0tuples
2.89/2.97 c intension ne(dist(f[170],f[267]),88) -> extension (support ? 0) - 258tuples
2.89/2.98 c intension ne(dist(f[114],f[328]),191) -> extension (support ? 0) - 0tuples
2.89/2.98 c intension ne(dist(f[128],f[242]),85) -> extension (support ? 0) - 0tuples
2.89/2.98 c intension ne(dist(f[196],f[75]),181) -> extension (support ? 0) - 0tuples
2.89/2.99 c intension ne(dist(f[191],f[319]),74) -> extension (support ? 0) - 0tuples
2.89/2.99 c intension ne(dist(f[196],f[296]),38) -> extension (support ? 0) - 0tuples
2.89/2.99 c intension ne(dist(f[223],f[347]),117) -> extension (support ? 0) - 0tuples
2.89/2.99 c intension ne(dist(f[175],f[95]),62) -> extension (support ? 0) - 0tuples
2.89/2.99 c intension ne(dist(f[120],f[258]),127) -> extension (support ? 0) - 0tuples
2.89/3.00 c intension ne(dist(f[240],f[4]),75) -> extension (support ? 0) - 0tuples
2.89/3.00 c intension ne(dist(f[171],f[266]),21) -> extension (support ? 0) - 0tuples
3.00/3.01 c intension ne(dist(f[294],f[55]),376) -> extension (support ? 0) - 114tuples
3.00/3.02 c intension ne(dist(f[181],f[89]),313) -> extension (support ? 0) - 0tuples
3.00/3.02 c intension ne(dist(f[266],f[349]),4) -> extension (support ? 0) - 42tuples
3.00/3.02 c intension ne(dist(f[280],f[65]),15) -> extension (support ? 0) - 0tuples
3.00/3.03 c intension ne(dist(f[152],f[335]),75) -> extension (support ? 0) - 0tuples
3.00/3.03 c intension ne(dist(f[230],f[297]),223) -> extension (support ? 0) - 0tuples
3.00/3.04 c intension ne(dist(f[174],f[273]),118) -> extension (support ? 0) - 0tuples
3.00/3.04 c intension ne(dist(f[21],f[349]),35) -> extension (support ? 0) - 0tuples
3.00/3.05 c intension ne(dist(f[102],f[39]),28) -> extension (support ? 0) - 70tuples
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.05 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.06 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.07 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.08 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.09 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.00/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.10 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.11 c AllEqual constraint using 1 generic x=y constraints
3.10/3.18 c intension eq(dist(f[0],f[90]),d[0]) -> extension (support ? 1) - 441tuples
3.10/3.19 c intension eq(dist(f[0],f[135]),d[2]) -> extension (support ? 1) - 441tuples
3.19/3.22 c intension eq(dist(f[0],f[187]),d[3]) -> extension (support ? 1) - 735tuples
3.19/3.23 c intension -> extension : same as previous
3.19/3.23 c intension eq(dist(f[0],f[347]),d[7]) -> extension (support ? 1) - 441tuples
3.19/3.27 c intension eq(dist(f[185],f[2]),d[18]) -> extension (support ? 1) - 1225tuples
3.29/3.30 c intension eq(dist(f[207],f[2]),d[20]) -> extension (support ? 1) - 1225tuples
3.29/3.33 c intension -> extension : same as previous
3.29/3.33 c intension eq(dist(f[2],f[329]),d[24]) -> extension (support ? 1) - 735tuples
3.29/3.36 c intension eq(dist(f[5],f[75]),d[47]) -> extension (support ? 1) - 441tuples
3.29/3.38 c intension eq(dist(f[120],f[5]),d[48]) -> extension (support ? 1) - 567tuples
3.29/3.38 c intension eq(dist(f[143],f[5]),d[49]) -> extension (support ? 1) - 441tuples
3.39/3.41 c intension eq(dist(f[311],f[5]),d[51]) -> extension (support ? 1) - 567tuples
3.39/3.42 c intension eq(dist(f[29],f[6]),d[53]) -> extension (support ? 1) - 729tuples
3.39/3.45 c intension -> extension : same as previous
3.39/3.45 c intension eq(dist(f[249],f[6]),d[56]) -> extension (support ? 1) - 945tuples
3.39/3.47 c intension eq(dist(f[271],f[6]),d[58]) -> extension (support ? 1) - 567tuples
3.39/3.49 c intension eq(dist(f[311],f[6]),d[61]) -> extension (support ? 1) - 729tuples
3.49/3.52 c intension eq(dist(f[326],f[6]),d[62]) -> extension (support ? 1) - 945tuples
3.49/3.53 c intension eq(dist(f[10],f[7]),d[64]) -> extension (support ? 1) - 441tuples
3.49/3.58 c intension eq(dist(f[13],f[7]),d[65]) -> extension (support ? 1) - 1029tuples
3.59/3.60 c intension eq(dist(f[48],f[7]),d[67]) -> extension (support ? 1) - 441tuples
3.59/3.61 c intension eq(dist(f[200],f[7]),d[72]) -> extension (support ? 1) - 567tuples
3.59/3.64 c intension eq(dist(f[10],f[89]),d[93]) -> extension (support ? 1) - 567tuples
3.59/3.69 c intension eq(dist(f[10],f[119]),d[94]) -> extension (support ? 1) - 1029tuples
3.69/3.70 c intension eq(dist(f[10],f[179]),d[96]) -> extension (support ? 1) - 441tuples
3.69/3.75 c intension eq(dist(f[10],f[239]),d[97]) -> extension (support ? 1) - 1029tuples
3.69/3.76 c intension eq(dist(f[10],f[342]),d[99]) -> extension (support ? 1) - 441tuples
3.69/3.79 c intension eq(dist(f[11],f[48]),d[103]) -> extension (support ? 1) - 1029tuples
3.79/3.87 c intension eq(dist(f[11],f[53]),d[105]) -> extension (support ? 1) - 1323tuples
3.89/3.92 c intension eq(dist(f[11],f[179]),d[109]) -> extension (support ? 1) - 1029tuples
3.89/3.98 c intension eq(dist(f[108],f[13]),d[124]) -> extension (support ? 1) - 1029tuples
5.10/5.12 c intension eq(dist(f[13],f[258]),d[129]) -> extension (support ? 1) - 1029tuples
5.10/5.12 c intension eq(dist(f[16],f[37]),d[149]) -> extension (support ? 1) - 735tuples
5.10/5.12 c intension -> extension : same as previous
5.10/5.12 c intension eq(dist(f[16],f[259]),d[154]) -> extension (support ? 1) - 735tuples
5.10/5.12 c intension eq(dist(f[16],f[311]),d[156]) -> extension (support ? 1) - 567tuples
5.10/5.12 c intension eq(dist(f[18],f[203]),d[166]) -> extension (support ? 1) - 1225tuples
5.10/5.12 c intension eq(dist(f[18],f[326]),d[169]) -> extension (support ? 1) - 1225tuples
5.10/5.12 c intension eq(dist(f[20],f[37]),d[178]) -> extension (support ? 1) - 1225tuples
5.10/5.12 c intension eq(dist(f[20],f[65]),d[179]) -> extension (support ? 1) - 945tuples
5.10/5.12 c intension eq(dist(f[141],f[20]),d[181]) -> extension (support ? 1) - 1225tuples
5.10/5.12 c intension eq(dist(f[20],f[242]),d[186]) -> extension (support ? 1) - 1225tuples
5.10/5.12 c intension eq(dist(f[119],f[26]),d[221]) -> extension (support ? 1) - 1323tuples
5.10/5.12 c intension eq(dist(f[128],f[26]),d[222]) -> extension (support ? 1) - 567tuples
5.10/5.12 c intension -> extension : same as previous
5.10/5.12 c intension eq(dist(f[258],f[26]),d[225]) -> extension (support ? 1) - 567tuples
5.10/5.12 c intension eq(dist(f[26],f[311]),d[226]) -> extension (support ? 1) - 729tuples
5.10/5.12 c intension eq(dist(f[120],f[28]),d[236]) -> extension (support ? 1) - 729tuples
5.10/5.12 c intension eq(dist(f[29],f[80]),d[241]) -> extension (support ? 1) - 567tuples
5.10/5.12 c intension eq(dist(f[29],f[89]),d[242]) -> extension (support ? 1) - 729tuples
5.10/5.12 c intension eq(dist(f[31],f[41]),d[248]) -> extension (support ? 1) - 945tuples
5.10/5.12 c intension eq(dist(f[31],f[76]),d[249]) -> extension (support ? 1) - 729tuples
5.10/5.12 c intension eq(dist(f[161],f[31]),d[252]) -> extension (support ? 1) - 567tuples
5.10/5.12 c intension eq(dist(f[231],f[31]),d[253]) -> extension (support ? 1) - 729tuples
5.10/5.12 c intension eq(dist(f[31],f[332]),d[255]) -> extension (support ? 1) - 729tuples
5.10/5.12 c intension eq(dist(f[252],f[37]),d[298]) -> extension (support ? 1) - 1225tuples
5.10/5.12 c intension eq(dist(f[41],f[75]),d[321]) -> extension (support ? 1) - 735tuples
5.10/5.12 c intension eq(dist(f[175],f[41]),d[323]) -> extension (support ? 1) - 1225tuples
5.10/5.12 c intension eq(dist(f[207],f[41]),d[325]) -> extension (support ? 1) - 1225tuples
5.10/5.12 c intension eq(dist(f[226],f[41]),d[326]) -> extension (support ? 1) - 735tuples
5.10/5.12 c intension eq(dist(f[226],f[48]),d[373]) -> extension (support ? 1) - 441tuples
5.10/5.12 c intension eq(dist(f[120],f[53]),d[405]) -> extension (support ? 1) - 729tuples
5.10/5.12 c intension eq(dist(f[262],f[53]),d[408]) -> extension (support ? 1) - 567tuples
5.10/5.12 c intension -> extension : same as previous
5.10/5.12 c intension eq(dist(f[297],f[53]),d[410]) -> extension (support ? 1) - 729tuples
5.10/5.12 c intension eq(dist(f[226],f[63]),d[468]) -> extension (support ? 1) - 441tuples
5.10/5.12 c intension eq(dist(f[326],f[63]),d[473]) -> extension (support ? 1) - 735tuples
5.10/5.12 c intension eq(dist(f[187],f[65]),d[484]) -> extension (support ? 1) - 945tuples
5.10/5.12 c intension eq(dist(f[258],f[65]),d[488]) -> extension (support ? 1) - 567tuples
5.10/5.12 c intension eq(dist(f[304],f[65]),d[489]) -> extension (support ? 1) - 729tuples
5.10/5.14 c intension eq(dist(f[160],f[75]),d[537]) -> extension (support ? 1) - 735tuples
5.10/5.14 c intension eq(dist(f[161],f[75]),d[538]) -> extension (support ? 1) - 441tuples
5.10/5.18 c intension eq(dist(f[217],f[75]),d[539]) -> extension (support ? 1) - 1029tuples
5.19/5.21 c intension eq(dist(f[249],f[75]),d[541]) -> extension (support ? 1) - 735tuples
5.19/5.23 c intension eq(dist(f[120],f[76]),d[544]) -> extension (support ? 1) - 729tuples
5.19/5.25 c intension eq(dist(f[161],f[76]),d[545]) -> extension (support ? 1) - 567tuples
5.19/5.28 c intension eq(dist(f[125],f[77]),d[547]) -> extension (support ? 1) - 945tuples
5.28/5.30 c intension eq(dist(f[212],f[77]),d[549]) -> extension (support ? 1) - 567tuples
5.28/5.32 c intension eq(dist(f[287],f[77]),d[553]) -> extension (support ? 1) - 729tuples
5.28/5.35 c intension eq(dist(f[119],f[79]),d[559]) -> extension (support ? 1) - 1029tuples
5.28/5.39 c intension eq(dist(f[166],f[79]),d[561]) -> extension (support ? 1) - 1029tuples
5.38/5.40 c intension eq(dist(f[271],f[79]),d[564]) -> extension (support ? 1) - 441tuples
5.38/5.41 c intension eq(dist(f[345],f[79]),d[566]) -> extension (support ? 1) - 441tuples
5.38/5.42 c intension eq(dist(f[108],f[80]),d[567]) -> extension (support ? 1) - 441tuples
5.38/5.44 c intension eq(dist(f[133],f[80]),d[568]) -> extension (support ? 1) - 735tuples
5.38/5.47 c intension eq(dist(f[223],f[83]),d[586]) -> extension (support ? 1) - 567tuples
5.49/5.50 c intension eq(dist(f[283],f[83]),d[588]) -> extension (support ? 1) - 735tuples
5.49/5.52 c intension eq(dist(f[287],f[83]),d[589]) -> extension (support ? 1) - 567tuples
5.49/5.56 c intension eq(dist(f[130],f[89]),d[626]) -> extension (support ? 1) - 729tuples
5.49/5.59 c intension eq(dist(f[329],f[89]),d[632]) -> extension (support ? 1) - 567tuples
5.59/5.62 c intension eq(dist(f[175],f[90]),d[635]) -> extension (support ? 1) - 735tuples
5.59/5.65 c intension eq(dist(f[283],f[90]),d[638]) -> extension (support ? 1) - 735tuples
5.59/5.69 c intension eq(dist(f[197],f[93]),d[656]) -> extension (support ? 1) - 1029tuples
5.69/5.73 c intension -> extension : same as previous
5.69/5.73 c intension eq(dist(f[187],f[94]),d[663]) -> extension (support ? 1) - 735tuples
5.69/5.75 c intension eq(dist(f[223],f[94]),d[664]) -> extension (support ? 1) - 567tuples
5.69/5.78 c intension eq(dist(f[249],f[94]),d[665]) -> extension (support ? 1) - 735tuples
5.79/5.83 c intension eq(dist(f[102],f[125]),d[701]) -> extension (support ? 1) - 1225tuples
5.79/5.87 c intension eq(dist(f[102],f[187]),d[703]) -> extension (support ? 1) - 1225tuples
5.89/5.90 c intension -> extension : same as previous
5.89/5.90 c intension eq(dist(f[102],f[258]),d[705]) -> extension (support ? 1) - 735tuples
5.89/5.92 c intension eq(dist(f[102],f[342]),d[709]) -> extension (support ? 1) - 735tuples
5.99/6.02 c intension eq(dist(f[107],f[119]),d[735]) -> extension (support ? 1) - 1323tuples
5.99/6.05 c intension eq(dist(f[107],f[185]),d[736]) -> extension (support ? 1) - 945tuples
5.99/6.06 c intension eq(dist(f[108],f[287]),d[740]) -> extension (support ? 1) - 567tuples
5.99/6.10 c intension eq(dist(f[116],f[297]),d[776]) -> extension (support ? 1) - 729tuples
6.09/6.12 c intension eq(dist(f[116],f[310]),d[778]) -> extension (support ? 1) - 729tuples
6.09/6.16 c intension eq(dist(f[117],f[212]),d[782]) -> extension (support ? 1) - 1029tuples
6.18/6.23 c intension eq(dist(f[119],f[120]),d[792]) -> extension (support ? 1) - 1323tuples
6.18/6.27 c intension eq(dist(f[119],f[271]),d[796]) -> extension (support ? 1) - 1029tuples
6.18/6.29 c intension eq(dist(f[120],f[223]),d[801]) -> extension (support ? 1) - 729tuples
6.29/6.34 c intension eq(dist(f[125],f[175]),d[834]) -> extension (support ? 1) - 1225tuples
6.29/6.36 c intension eq(dist(f[127],f[130]),d[845]) -> extension (support ? 1) - 729tuples
6.29/6.38 c intension eq(dist(f[127],f[215]),d[847]) -> extension (support ? 1) - 729tuples
6.38/6.41 c intension eq(dist(f[127],f[259]),d[848]) -> extension (support ? 1) - 945tuples
6.38/6.42 c intension eq(dist(f[128],f[162]),d[850]) -> extension (support ? 1) - 441tuples
6.38/6.44 c intension eq(dist(f[128],f[235]),d[851]) -> extension (support ? 1) - 567tuples
6.49/6.51 c intension eq(dist(f[135],f[167]),d[896]) -> extension (support ? 1) - 1029tuples
6.49/6.52 c intension eq(dist(f[135],f[197]),d[897]) -> extension (support ? 1) - 441tuples
6.49/6.54 c intension eq(dist(f[135],f[223]),d[898]) -> extension (support ? 1) - 567tuples
6.49/6.57 c intension eq(dist(f[135],f[230]),d[899]) -> extension (support ? 1) - 1029tuples
6.49/6.58 c intension eq(dist(f[135],f[266]),d[901]) -> extension (support ? 1) - 441tuples
6.58/6.60 c intension eq(dist(f[138],f[147]),d[912]) -> extension (support ? 1) - 729tuples
6.58/6.63 c intension eq(dist(f[138],f[242]),d[913]) -> extension (support ? 1) - 945tuples
6.58/6.65 c intension eq(dist(f[138],f[266]),d[914]) -> extension (support ? 1) - 567tuples
6.68/6.72 c intension eq(dist(f[139],f[223]),d[916]) -> extension (support ? 1) - 1323tuples
6.68/6.79 c intension eq(dist(f[139],f[297]),d[919]) -> extension (support ? 1) - 1323tuples
6.78/6.83 c intension eq(dist(f[141],f[185]),d[922]) -> extension (support ? 1) - 1225tuples
6.78/6.86 c intension eq(dist(f[143],f[185]),d[931]) -> extension (support ? 1) - 735tuples
6.78/6.88 c intension -> extension : same as previous
6.78/6.88 c intension eq(dist(f[143],f[265]),d[933]) -> extension (support ? 1) - 567tuples
6.78/6.89 c intension eq(dist(f[143],f[347]),d[934]) -> extension (support ? 1) - 441tuples
6.88/6.93 c intension eq(dist(f[147],f[312]),d[951]) -> extension (support ? 1) - 945tuples
6.88/7.00 c intension eq(dist(f[160],f[161]),d[1009]) -> extension (support ? 1) - 735tuples
6.99/7.03 c intension eq(dist(f[160],f[316]),d[1012]) -> extension (support ? 1) - 1225tuples
6.99/7.05 c intension eq(dist(f[161],f[204]),d[1014]) -> extension (support ? 1) - 441tuples
6.99/7.07 c intension eq(dist(f[161],f[290]),d[1016]) -> extension (support ? 1) - 567tuples
6.99/7.08 c intension eq(dist(f[161],f[345]),d[1018]) -> extension (support ? 1) - 441tuples
7.09/7.13 c intension eq(dist(f[162],f[166]),d[1019]) -> extension (support ? 1) - 1029tuples
7.09/7.14 c intension eq(dist(f[162],f[204]),d[1021]) -> extension (support ? 1) - 441tuples
7.09/7.16 c intension eq(dist(f[162],f[207]),d[1022]) -> extension (support ? 1) - 735tuples
7.09/7.17 c intension -> extension : same as previous
7.09/7.17 c intension eq(dist(f[162],f[222]),d[1024]) -> extension (support ? 1) - 441tuples
7.09/7.18 c intension eq(dist(f[162],f[238]),d[1025]) -> extension (support ? 1) - 441tuples
7.09/7.19 c intension eq(dist(f[162],f[287]),d[1026]) -> extension (support ? 1) - 567tuples
7.18/7.27 c intension eq(dist(f[167],f[200]),d[1039]) -> extension (support ? 1) - 1323tuples
7.29/7.31 c intension eq(dist(f[167],f[212]),d[1040]) -> extension (support ? 1) - 1029tuples
7.29/7.36 c intension eq(dist(f[175],f[271]),d[1067]) -> extension (support ? 1) - 735tuples
7.29/7.39 c intension eq(dist(f[175],f[332]),d[1069]) -> extension (support ? 1) - 945tuples
7.38/7.41 c intension eq(dist(f[179],f[238]),d[1079]) -> extension (support ? 1) - 441tuples
7.38/7.42 c intension eq(dist(f[179],f[311]),d[1080]) -> extension (support ? 1) - 567tuples
7.38/7.43 c intension eq(dist(f[179],f[342]),d[1081]) -> extension (support ? 1) - 441tuples
7.38/7.48 c intension eq(dist(f[185],f[231]),d[1110]) -> extension (support ? 1) - 945tuples
7.48/7.51 c intension eq(dist(f[187],f[203]),d[1115]) -> extension (support ? 1) - 1225tuples
7.48/7.54 c intension eq(dist(f[187],f[287]),d[1117]) -> extension (support ? 1) - 945tuples
7.48/7.59 c intension eq(dist(f[197],f[231]),d[1152]) -> extension (support ? 1) - 567tuples
7.59/7.62 c intension eq(dist(f[197],f[328]),d[1154]) -> extension (support ? 1) - 735tuples
7.59/7.65 c intension eq(dist(f[197],f[349]),d[1157]) -> extension (support ? 1) - 1029tuples
7.59/7.67 c intension eq(dist(f[200],f[215]),d[1160]) -> extension (support ? 1) - 729tuples
7.59/7.69 c intension eq(dist(f[200],f[262]),d[1161]) -> extension (support ? 1) - 567tuples
7.69/7.70 c intension eq(dist(f[200],f[332]),d[1163]) -> extension (support ? 1) - 729tuples
7.69/7.73 c intension eq(dist(f[202],f[204]),d[1168]) -> extension (support ? 1) - 735tuples
7.69/7.74 c intension eq(dist(f[204],f[222]),d[1175]) -> extension (support ? 1) - 441tuples
7.69/7.76 c intension eq(dist(f[204],f[271]),d[1176]) -> extension (support ? 1) - 441tuples
7.69/7.77 c intension eq(dist(f[204],f[284]),d[1178]) -> extension (support ? 1) - 567tuples
7.78/7.80 c intension eq(dist(f[207],f[268]),d[1185]) -> extension (support ? 1) - 1225tuples
7.78/7.84 c intension eq(dist(f[207],f[310]),d[1186]) -> extension (support ? 1) - 945tuples
7.78/7.86 c intension eq(dist(f[212],f[235]),d[1195]) -> extension (support ? 1) - 567tuples
7.78/7.88 c intension eq(dist(f[215],f[310]),d[1203]) -> extension (support ? 1) - 729tuples
7.88/7.91 c intension eq(dist(f[226],f[329]),d[1224]) -> extension (support ? 1) - 441tuples
7.88/7.93 c intension eq(dist(f[231],f[232]),d[1241]) -> extension (support ? 1) - 729tuples
7.88/7.96 c intension eq(dist(f[231],f[259]),d[1242]) -> extension (support ? 1) - 945tuples
7.88/7.98 c intension eq(dist(f[231],f[266]),d[1243]) -> extension (support ? 1) - 567tuples
7.88/8.00 c intension eq(dist(f[231],f[284]),d[1245]) -> extension (support ? 1) - 729tuples
7.99/8.01 c intension eq(dist(f[231],f[342]),d[1247]) -> extension (support ? 1) - 567tuples
7.99/8.03 c intension eq(dist(f[232],f[304]),d[1250]) -> extension (support ? 1) - 729tuples
7.99/8.06 c intension eq(dist(f[235],f[252]),d[1257]) -> extension (support ? 1) - 945tuples
7.99/8.09 c intension eq(dist(f[238],f[304]),d[1264]) -> extension (support ? 1) - 567tuples
8.10/8.12 c intension eq(dist(f[242],f[297]),d[1273]) -> extension (support ? 1) - 945tuples
8.10/8.17 c intension eq(dist(f[249],f[312]),d[1296]) -> extension (support ? 1) - 1225tuples
8.18/8.21 c intension eq(dist(f[252],f[326]),d[1309]) -> extension (support ? 1) - 1225tuples
8.18/8.25 c intension eq(dist(f[258],f[284]),d[1329]) -> extension (support ? 1) - 567tuples
8.18/8.25 c intension eq(dist(f[258],f[347]),d[1332]) -> extension (support ? 1) - 441tuples
8.18/8.28 c intension eq(dist(f[265],f[332]),d[1351]) -> extension (support ? 1) - 729tuples
8.18/8.29 c intension eq(dist(f[266],f[271]),d[1352]) -> extension (support ? 1) - 441tuples
8.28/8.33 c intension eq(dist(f[284],f[326]),d[1372]) -> extension (support ? 1) - 945tuples
8.28/8.35 c intension eq(dist(f[290],f[332]),d[1381]) -> extension (support ? 1) - 729tuples
8.38/8.43 c intension eq(dist(f[296],f[310]),d[1390]) -> extension (support ? 1) - 1323tuples
8.38/8.47 c intension eq(dist(f[310],f[316]),d[1407]) -> extension (support ? 1) - 945tuples
8.48/8.51 c intension eq(dist(f[328],f[345]),d[1423]) -> extension (support ? 1) - 735tuples
1660.49/252.02 c enable optimization
1660.49/252.02 c ========================================[ Problem Statistics ]===========================================
1660.49/252.02 c |
1660.49/252.02 c | Parse time : 48.84 s
1660.49/252.02 c |
1660.49/252.02 c | Variables: 4976
1660.49/252.02 c | Domain Sizes: 1..151
1660.49/252.02 c |
1660.49/252.02 c | Constraints: 3813
1660.49/252.02 c | Arity: 2..2851 -- Binary: 962 -- Ternary: 1425
1660.49/252.02 c |
1660.49/252.02 c | Types:
1660.49/252.02 c | (X != Y): 175
1660.49/252.02 c | (X = Y): 265
1660.49/252.02 c | Extension: 2138 (nb tuples: 0..7204) -- (shared: 552)
1660.49/252.02 c | Intension: 1234
1660.49/252.02 c | Sum: 1
1660.49/252.02 c |
1660.49/252.02 c | Objective: Minimize Sum
1660.49/252.02
1660.49/252.02 c =========================================================================================================
1660.49/252.02 c Parallel mode: Portfolio
1660.49/252.02 c [pFactory][Group N°0] created (threads:8).
1660.49/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1660.49/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1660.49/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1660.49/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1660.49/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1660.49/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1660.49/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1660.49/252.02 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1660.49/252.02 c [pFactory][Group N°0] concurrent mode: enabled.
1660.49/252.02 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1660.49/252.02 c [pFactory][Group N°0] task 7 launched on thread 1.
1660.49/252.02 c [pFactory][Group N°0] task 6 launched on thread 2.
1660.49/252.02 c [pFactory][Group N°0] task 5 launched on thread 0.
1660.49/252.02 c [pFactory][Group N°0] task 4 launched on thread 6.
1660.49/252.02 c [pFactory][Group N°0] task 3 launched on thread 7.
1660.49/252.02 c [pFactory][Group N°0] task 2 launched on thread 4.
1660.49/252.02 c [pFactory][Group N°0] task 1 launched on thread 5.
1660.49/252.02 c [pFactory][Group N°0] task 0 launched on thread 3.
1660.49/252.02
1660.49/252.02 c *** INTERRUPTED ***
1660.49/252.02 c call to solver : 0
1660.49/252.02 c
1660.49/252.02 c restarts : 1422
1660.49/252.02 c conflicts : 8600 (5 /sec)
1660.49/252.02 c decisions : 62220 (38 /sec)
1660.49/252.02 c propagations : 6325304 (3834 /sec)
1660.49/252.02 c root propagations : 12273
1660.49/252.02 c filter calls : 2148391 (1302 /sec)
1660.49/252.02 c useless filter calls : 1573201 (73 %)
1660.49/252.02 c Memory used : 4625.04 MB
1660.49/252.02 c Best bound time (wc) : -1.56861e+09 s
1660.49/252.02 c CPU time : 1649.82 s
1660.49/252.02 c real time : 252.017 s
1660.49/252.02
1660.49/252.02 c No Bound found!
1660.49/252.02
1660.49/252.02 s UNKNOWN