0.00/0.02	c
0.00/0.02	c This is cosoco 2.00 --  
0.00/0.02	c
0.00/0.02	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389593-1568318571.xml 
0.00/0.02	c intension  and(ne(dist(q[0],q[1]),1),ne(q[0],q[1])) -> extension (support ? 0) - 148tuples
0.00/0.02	c intension  and(ne(dist(q[0],q[2]),2),ne(q[0],q[2])) -> extension (support ? 0) - 146tuples
0.00/0.02	c intension  and(ne(dist(q[0],q[3]),3),ne(q[0],q[3])) -> extension (support ? 0) - 144tuples
0.00/0.03	c intension  and(ne(dist(q[0],q[4]),4),ne(q[0],q[4])) -> extension (support ? 0) - 142tuples
0.00/0.03	c intension  and(ne(dist(q[0],q[5]),5),ne(q[0],q[5])) -> extension (support ? 0) - 140tuples
0.00/0.03	c intension  and(ne(dist(q[0],q[6]),6),ne(q[0],q[6])) -> extension (support ? 0) - 138tuples
0.00/0.03	c intension  and(ne(dist(q[0],q[7]),7),ne(q[0],q[7])) -> extension (support ? 0) - 136tuples
0.00/0.03	c intension  and(ne(dist(q[0],q[8]),8),ne(q[0],q[8])) -> extension (support ? 0) - 134tuples
0.00/0.04	c intension  and(ne(dist(q[0],q[9]),9),ne(q[0],q[9])) -> extension (support ? 0) - 132tuples
0.00/0.04	c intension  and(ne(dist(q[0],q[10]),10),ne(q[0],q[10])) -> extension (support ? 0) - 130tuples
0.00/0.04	c intension  and(ne(dist(q[0],q[11]),11),ne(q[0],q[11])) -> extension (support ? 0) - 128tuples
0.00/0.04	c intension  and(ne(dist(q[0],q[12]),12),ne(q[0],q[12])) -> extension (support ? 0) - 126tuples
0.00/0.05	c intension  and(ne(dist(q[0],q[13]),13),ne(q[0],q[13])) -> extension (support ? 0) - 124tuples
0.00/0.05	c intension  and(ne(dist(q[0],q[14]),14),ne(q[0],q[14])) -> extension (support ? 0) - 122tuples
0.00/0.05	c intension  and(ne(dist(q[0],q[15]),15),ne(q[0],q[15])) -> extension (support ? 0) - 120tuples
0.00/0.05	c intension  and(ne(dist(q[0],q[16]),16),ne(q[0],q[16])) -> extension (support ? 0) - 118tuples
0.00/0.06	c intension  and(ne(dist(q[0],q[17]),17),ne(q[0],q[17])) -> extension (support ? 0) - 116tuples
0.00/0.06	c intension  and(ne(dist(q[0],q[18]),18),ne(q[0],q[18])) -> extension (support ? 0) - 114tuples
0.00/0.06	c intension  and(ne(dist(q[0],q[19]),19),ne(q[0],q[19])) -> extension (support ? 0) - 112tuples
0.00/0.06	c intension  and(ne(dist(q[0],q[20]),20),ne(q[0],q[20])) -> extension (support ? 0) - 110tuples
0.00/0.06	c intension  and(ne(dist(q[0],q[21]),21),ne(q[0],q[21])) -> extension (support ? 0) - 108tuples
0.00/0.07	c intension  and(ne(dist(q[0],q[22]),22),ne(q[0],q[22])) -> extension (support ? 0) - 106tuples
0.00/0.07	c intension  and(ne(dist(q[0],q[23]),23),ne(q[0],q[23])) -> extension (support ? 0) - 104tuples
0.00/0.07	c intension  and(ne(dist(q[0],q[24]),24),ne(q[0],q[24])) -> extension (support ? 0) - 102tuples
0.00/0.07	c intension  and(ne(dist(q[0],q[25]),25),ne(q[0],q[25])) -> extension (support ? 0) - 100tuples
0.00/0.08	c intension  and(ne(dist(q[0],q[26]),26),ne(q[0],q[26])) -> extension (support ? 0) - 98tuples
0.00/0.08	c intension  and(ne(dist(q[0],q[27]),27),ne(q[0],q[27])) -> extension (support ? 0) - 96tuples
0.00/0.08	c intension  and(ne(dist(q[0],q[28]),28),ne(q[0],q[28])) -> extension (support ? 0) - 94tuples
0.00/0.08	c intension  and(ne(dist(q[0],q[29]),29),ne(q[0],q[29])) -> extension (support ? 0) - 92tuples
0.00/0.09	c intension  and(ne(dist(q[0],q[30]),30),ne(q[0],q[30])) -> extension (support ? 0) - 90tuples
0.00/0.09	c intension  and(ne(dist(q[0],q[31]),31),ne(q[0],q[31])) -> extension (support ? 0) - 88tuples
0.00/0.09	c intension  and(ne(dist(q[0],q[32]),32),ne(q[0],q[32])) -> extension (support ? 0) - 86tuples
0.00/0.09	c intension  and(ne(dist(q[0],q[33]),33),ne(q[0],q[33])) -> extension (support ? 0) - 84tuples
0.00/0.09	c intension  and(ne(dist(q[0],q[34]),34),ne(q[0],q[34])) -> extension (support ? 0) - 82tuples
0.00/0.10	c intension  and(ne(dist(q[0],q[35]),35),ne(q[0],q[35])) -> extension (support ? 0) - 80tuples
0.00/0.10	c intension  and(ne(dist(q[0],q[36]),36),ne(q[0],q[36])) -> extension (support ? 0) - 78tuples
0.10/0.11	c intension  and(ne(dist(q[0],q[37]),37),ne(q[0],q[37])) -> extension (support ? 0) - 76tuples
0.10/0.11	c intension  and(ne(dist(q[0],q[38]),38),ne(q[0],q[38])) -> extension (support ? 0) - 74tuples
0.10/0.11	c intension  and(ne(dist(q[0],q[39]),39),ne(q[0],q[39])) -> extension (support ? 0) - 72tuples
0.10/0.11	c intension  and(ne(dist(q[0],q[40]),40),ne(q[0],q[40])) -> extension (support ? 0) - 70tuples
0.10/0.12	c intension  and(ne(dist(q[0],q[41]),41),ne(q[0],q[41])) -> extension (support ? 0) - 68tuples
0.10/0.12	c intension  and(ne(dist(q[0],q[42]),42),ne(q[0],q[42])) -> extension (support ? 0) - 66tuples
0.10/0.12	c intension  and(ne(dist(q[0],q[43]),43),ne(q[0],q[43])) -> extension (support ? 0) - 64tuples
0.10/0.12	c intension  and(ne(dist(q[0],q[44]),44),ne(q[0],q[44])) -> extension (support ? 0) - 62tuples
0.10/0.12	c intension  and(ne(dist(q[0],q[45]),45),ne(q[0],q[45])) -> extension (support ? 0) - 60tuples
0.10/0.13	c intension  and(ne(dist(q[0],q[46]),46),ne(q[0],q[46])) -> extension (support ? 0) - 58tuples
0.10/0.13	c intension  and(ne(dist(q[0],q[47]),47),ne(q[0],q[47])) -> extension (support ? 0) - 56tuples
0.10/0.13	c intension  and(ne(dist(q[0],q[48]),48),ne(q[0],q[48])) -> extension (support ? 0) - 54tuples
0.10/0.13	c intension  and(ne(dist(q[0],q[49]),49),ne(q[0],q[49])) -> extension (support ? 0) - 52tuples
0.10/0.14	c intension  and(ne(dist(q[1],q[2]),1),ne(q[1],q[2])) -> extension (support ? 0) - 148tuples
0.10/0.14	c intension  and(ne(dist(q[1],q[3]),2),ne(q[1],q[3])) -> extension (support ? 0) - 146tuples
0.10/0.14	c intension  and(ne(dist(q[1],q[4]),3),ne(q[1],q[4])) -> extension (support ? 0) - 144tuples
0.10/0.14	c intension  and(ne(dist(q[1],q[5]),4),ne(q[1],q[5])) -> extension (support ? 0) - 142tuples
0.10/0.14	c intension  and(ne(dist(q[1],q[6]),5),ne(q[1],q[6])) -> extension (support ? 0) - 140tuples
0.10/0.15	c intension  and(ne(dist(q[1],q[7]),6),ne(q[1],q[7])) -> extension (support ? 0) - 138tuples
0.10/0.15	c intension  and(ne(dist(q[1],q[8]),7),ne(q[1],q[8])) -> extension (support ? 0) - 136tuples
0.10/0.15	c intension  and(ne(dist(q[1],q[9]),8),ne(q[1],q[9])) -> extension (support ? 0) - 134tuples
0.10/0.15	c intension  and(ne(dist(q[10],q[1]),9),ne(q[10],q[1])) -> extension (support ? 0) - 132tuples
0.10/0.16	c intension  and(ne(dist(q[11],q[1]),10),ne(q[11],q[1])) -> extension (support ? 0) - 130tuples
0.10/0.16	c intension  and(ne(dist(q[12],q[1]),11),ne(q[12],q[1])) -> extension (support ? 0) - 128tuples
0.10/0.16	c intension  and(ne(dist(q[13],q[1]),12),ne(q[13],q[1])) -> extension (support ? 0) - 126tuples
0.10/0.16	c intension  and(ne(dist(q[14],q[1]),13),ne(q[14],q[1])) -> extension (support ? 0) - 124tuples
0.10/0.17	c intension  and(ne(dist(q[15],q[1]),14),ne(q[15],q[1])) -> extension (support ? 0) - 122tuples
0.10/0.17	c intension  and(ne(dist(q[16],q[1]),15),ne(q[16],q[1])) -> extension (support ? 0) - 120tuples
0.10/0.17	c intension  and(ne(dist(q[17],q[1]),16),ne(q[17],q[1])) -> extension (support ? 0) - 118tuples
0.10/0.17	c intension  and(ne(dist(q[18],q[1]),17),ne(q[18],q[1])) -> extension (support ? 0) - 116tuples
0.10/0.18	c intension  and(ne(dist(q[19],q[1]),18),ne(q[19],q[1])) -> extension (support ? 0) - 114tuples
0.10/0.18	c intension  and(ne(dist(q[1],q[20]),19),ne(q[1],q[20])) -> extension (support ? 0) - 112tuples
0.10/0.18	c intension  and(ne(dist(q[1],q[21]),20),ne(q[1],q[21])) -> extension (support ? 0) - 110tuples
0.10/0.18	c intension  and(ne(dist(q[1],q[22]),21),ne(q[1],q[22])) -> extension (support ? 0) - 108tuples
0.10/0.19	c intension  and(ne(dist(q[1],q[23]),22),ne(q[1],q[23])) -> extension (support ? 0) - 106tuples
0.10/0.19	c intension  and(ne(dist(q[1],q[24]),23),ne(q[1],q[24])) -> extension (support ? 0) - 104tuples
0.10/0.19	c intension  and(ne(dist(q[1],q[25]),24),ne(q[1],q[25])) -> extension (support ? 0) - 102tuples
0.10/0.19	c intension  and(ne(dist(q[1],q[26]),25),ne(q[1],q[26])) -> extension (support ? 0) - 100tuples
0.10/0.20	c intension  and(ne(dist(q[1],q[27]),26),ne(q[1],q[27])) -> extension (support ? 0) - 98tuples
0.10/0.20	c intension  and(ne(dist(q[1],q[28]),27),ne(q[1],q[28])) -> extension (support ? 0) - 96tuples
0.10/0.20	c intension  and(ne(dist(q[1],q[29]),28),ne(q[1],q[29])) -> extension (support ? 0) - 94tuples
0.10/0.20	c intension  and(ne(dist(q[1],q[30]),29),ne(q[1],q[30])) -> extension (support ? 0) - 92tuples
0.10/0.20	c intension  and(ne(dist(q[1],q[31]),30),ne(q[1],q[31])) -> extension (support ? 0) - 90tuples
0.10/0.21	c intension  and(ne(dist(q[1],q[32]),31),ne(q[1],q[32])) -> extension (support ? 0) - 88tuples
0.10/0.21	c intension  and(ne(dist(q[1],q[33]),32),ne(q[1],q[33])) -> extension (support ? 0) - 86tuples
0.10/0.21	c intension  and(ne(dist(q[1],q[34]),33),ne(q[1],q[34])) -> extension (support ? 0) - 84tuples
0.20/0.21	c intension  and(ne(dist(q[1],q[35]),34),ne(q[1],q[35])) -> extension (support ? 0) - 82tuples
0.20/0.22	c intension  and(ne(dist(q[1],q[36]),35),ne(q[1],q[36])) -> extension (support ? 0) - 80tuples
0.20/0.22	c intension  and(ne(dist(q[1],q[37]),36),ne(q[1],q[37])) -> extension (support ? 0) - 78tuples
0.20/0.22	c intension  and(ne(dist(q[1],q[38]),37),ne(q[1],q[38])) -> extension (support ? 0) - 76tuples
0.20/0.22	c intension  and(ne(dist(q[1],q[39]),38),ne(q[1],q[39])) -> extension (support ? 0) - 74tuples
0.20/0.23	c intension  and(ne(dist(q[1],q[40]),39),ne(q[1],q[40])) -> extension (support ? 0) - 72tuples
0.20/0.23	c intension  and(ne(dist(q[1],q[41]),40),ne(q[1],q[41])) -> extension (support ? 0) - 70tuples
0.20/0.23	c intension  and(ne(dist(q[1],q[42]),41),ne(q[1],q[42])) -> extension (support ? 0) - 68tuples
0.20/0.23	c intension  and(ne(dist(q[1],q[43]),42),ne(q[1],q[43])) -> extension (support ? 0) - 66tuples
0.20/0.24	c intension  and(ne(dist(q[1],q[44]),43),ne(q[1],q[44])) -> extension (support ? 0) - 64tuples
0.20/0.24	c intension  and(ne(dist(q[1],q[45]),44),ne(q[1],q[45])) -> extension (support ? 0) - 62tuples
0.20/0.24	c intension  and(ne(dist(q[1],q[46]),45),ne(q[1],q[46])) -> extension (support ? 0) - 60tuples
0.20/0.24	c intension  and(ne(dist(q[1],q[47]),46),ne(q[1],q[47])) -> extension (support ? 0) - 58tuples
0.20/0.24	c intension  and(ne(dist(q[1],q[48]),47),ne(q[1],q[48])) -> extension (support ? 0) - 56tuples
0.20/0.25	c intension  and(ne(dist(q[1],q[49]),48),ne(q[1],q[49])) -> extension (support ? 0) - 54tuples
0.20/0.25	c intension  and(ne(dist(q[2],q[3]),1),ne(q[2],q[3])) -> extension (support ? 0) - 148tuples
0.20/0.25	c intension  and(ne(dist(q[2],q[4]),2),ne(q[2],q[4])) -> extension (support ? 0) - 146tuples
0.20/0.25	c intension  and(ne(dist(q[2],q[5]),3),ne(q[2],q[5])) -> extension (support ? 0) - 144tuples
0.20/0.26	c intension  and(ne(dist(q[2],q[6]),4),ne(q[2],q[6])) -> extension (support ? 0) - 142tuples
0.20/0.26	c intension  and(ne(dist(q[2],q[7]),5),ne(q[2],q[7])) -> extension (support ? 0) - 140tuples
0.20/0.26	c intension  and(ne(dist(q[2],q[8]),6),ne(q[2],q[8])) -> extension (support ? 0) - 138tuples
0.20/0.26	c intension  and(ne(dist(q[2],q[9]),7),ne(q[2],q[9])) -> extension (support ? 0) - 136tuples
0.20/0.26	c intension  and(ne(dist(q[10],q[2]),8),ne(q[10],q[2])) -> extension (support ? 0) - 134tuples
0.20/0.27	c intension  and(ne(dist(q[11],q[2]),9),ne(q[11],q[2])) -> extension (support ? 0) - 132tuples
0.20/0.27	c intension  and(ne(dist(q[12],q[2]),10),ne(q[12],q[2])) -> extension (support ? 0) - 130tuples
0.20/0.27	c intension  and(ne(dist(q[13],q[2]),11),ne(q[13],q[2])) -> extension (support ? 0) - 128tuples
0.20/0.28	c intension  and(ne(dist(q[14],q[2]),12),ne(q[14],q[2])) -> extension (support ? 0) - 126tuples
0.20/0.28	c intension  and(ne(dist(q[15],q[2]),13),ne(q[15],q[2])) -> extension (support ? 0) - 124tuples
0.20/0.28	c intension  and(ne(dist(q[16],q[2]),14),ne(q[16],q[2])) -> extension (support ? 0) - 122tuples
0.20/0.28	c intension  and(ne(dist(q[17],q[2]),15),ne(q[17],q[2])) -> extension (support ? 0) - 120tuples
0.20/0.29	c intension  and(ne(dist(q[18],q[2]),16),ne(q[18],q[2])) -> extension (support ? 0) - 118tuples
0.20/0.29	c intension  and(ne(dist(q[19],q[2]),17),ne(q[19],q[2])) -> extension (support ? 0) - 116tuples
0.20/0.29	c intension  and(ne(dist(q[20],q[2]),18),ne(q[20],q[2])) -> extension (support ? 0) - 114tuples
0.20/0.29	c intension  and(ne(dist(q[21],q[2]),19),ne(q[21],q[2])) -> extension (support ? 0) - 112tuples
0.20/0.30	c intension  and(ne(dist(q[22],q[2]),20),ne(q[22],q[2])) -> extension (support ? 0) - 110tuples
0.20/0.30	c intension  and(ne(dist(q[23],q[2]),21),ne(q[23],q[2])) -> extension (support ? 0) - 108tuples
0.20/0.30	c intension  and(ne(dist(q[24],q[2]),22),ne(q[24],q[2])) -> extension (support ? 0) - 106tuples
0.20/0.30	c intension  and(ne(dist(q[25],q[2]),23),ne(q[25],q[2])) -> extension (support ? 0) - 104tuples
0.20/0.31	c intension  and(ne(dist(q[26],q[2]),24),ne(q[26],q[2])) -> extension (support ? 0) - 102tuples
0.20/0.31	c intension  and(ne(dist(q[27],q[2]),25),ne(q[27],q[2])) -> extension (support ? 0) - 100tuples
0.20/0.31	c intension  and(ne(dist(q[28],q[2]),26),ne(q[28],q[2])) -> extension (support ? 0) - 98tuples
0.30/0.31	c intension  and(ne(dist(q[29],q[2]),27),ne(q[29],q[2])) -> extension (support ? 0) - 96tuples
0.30/0.32	c intension  and(ne(dist(q[2],q[30]),28),ne(q[2],q[30])) -> extension (support ? 0) - 94tuples
0.30/0.32	c intension  and(ne(dist(q[2],q[31]),29),ne(q[2],q[31])) -> extension (support ? 0) - 92tuples
0.30/0.32	c intension  and(ne(dist(q[2],q[32]),30),ne(q[2],q[32])) -> extension (support ? 0) - 90tuples
0.30/0.32	c intension  and(ne(dist(q[2],q[33]),31),ne(q[2],q[33])) -> extension (support ? 0) - 88tuples
0.30/0.33	c intension  and(ne(dist(q[2],q[34]),32),ne(q[2],q[34])) -> extension (support ? 0) - 86tuples
0.30/0.33	c intension  and(ne(dist(q[2],q[35]),33),ne(q[2],q[35])) -> extension (support ? 0) - 84tuples
0.30/0.33	c intension  and(ne(dist(q[2],q[36]),34),ne(q[2],q[36])) -> extension (support ? 0) - 82tuples
0.30/0.33	c intension  and(ne(dist(q[2],q[37]),35),ne(q[2],q[37])) -> extension (support ? 0) - 80tuples
0.30/0.33	c intension  and(ne(dist(q[2],q[38]),36),ne(q[2],q[38])) -> extension (support ? 0) - 78tuples
0.30/0.34	c intension  and(ne(dist(q[2],q[39]),37),ne(q[2],q[39])) -> extension (support ? 0) - 76tuples
0.30/0.34	c intension  and(ne(dist(q[2],q[40]),38),ne(q[2],q[40])) -> extension (support ? 0) - 74tuples
0.30/0.34	c intension  and(ne(dist(q[2],q[41]),39),ne(q[2],q[41])) -> extension (support ? 0) - 72tuples
0.30/0.34	c intension  and(ne(dist(q[2],q[42]),40),ne(q[2],q[42])) -> extension (support ? 0) - 70tuples
0.30/0.35	c intension  and(ne(dist(q[2],q[43]),41),ne(q[2],q[43])) -> extension (support ? 0) - 68tuples
0.30/0.35	c intension  and(ne(dist(q[2],q[44]),42),ne(q[2],q[44])) -> extension (support ? 0) - 66tuples
0.30/0.35	c intension  and(ne(dist(q[2],q[45]),43),ne(q[2],q[45])) -> extension (support ? 0) - 64tuples
0.30/0.35	c intension  and(ne(dist(q[2],q[46]),44),ne(q[2],q[46])) -> extension (support ? 0) - 62tuples
0.30/0.36	c intension  and(ne(dist(q[2],q[47]),45),ne(q[2],q[47])) -> extension (support ? 0) - 60tuples
0.30/0.36	c intension  and(ne(dist(q[2],q[48]),46),ne(q[2],q[48])) -> extension (support ? 0) - 58tuples
0.30/0.36	c intension  and(ne(dist(q[2],q[49]),47),ne(q[2],q[49])) -> extension (support ? 0) - 56tuples
0.30/0.36	c intension  and(ne(dist(q[3],q[4]),1),ne(q[3],q[4])) -> extension (support ? 0) - 148tuples
0.30/0.36	c intension  and(ne(dist(q[3],q[5]),2),ne(q[3],q[5])) -> extension (support ? 0) - 146tuples
0.30/0.37	c intension  and(ne(dist(q[3],q[6]),3),ne(q[3],q[6])) -> extension (support ? 0) - 144tuples
0.30/0.37	c intension  and(ne(dist(q[3],q[7]),4),ne(q[3],q[7])) -> extension (support ? 0) - 142tuples
0.30/0.37	c intension  and(ne(dist(q[3],q[8]),5),ne(q[3],q[8])) -> extension (support ? 0) - 140tuples
0.30/0.37	c intension  and(ne(dist(q[3],q[9]),6),ne(q[3],q[9])) -> extension (support ? 0) - 138tuples
0.30/0.38	c intension  and(ne(dist(q[10],q[3]),7),ne(q[10],q[3])) -> extension (support ? 0) - 136tuples
0.30/0.38	c intension  and(ne(dist(q[11],q[3]),8),ne(q[11],q[3])) -> extension (support ? 0) - 134tuples
0.30/0.38	c intension  and(ne(dist(q[12],q[3]),9),ne(q[12],q[3])) -> extension (support ? 0) - 132tuples
0.30/0.38	c intension  and(ne(dist(q[13],q[3]),10),ne(q[13],q[3])) -> extension (support ? 0) - 130tuples
0.30/0.39	c intension  and(ne(dist(q[14],q[3]),11),ne(q[14],q[3])) -> extension (support ? 0) - 128tuples
0.30/0.39	c intension  and(ne(dist(q[15],q[3]),12),ne(q[15],q[3])) -> extension (support ? 0) - 126tuples
0.30/0.39	c intension  and(ne(dist(q[16],q[3]),13),ne(q[16],q[3])) -> extension (support ? 0) - 124tuples
0.30/0.39	c intension  and(ne(dist(q[17],q[3]),14),ne(q[17],q[3])) -> extension (support ? 0) - 122tuples
0.30/0.40	c intension  and(ne(dist(q[18],q[3]),15),ne(q[18],q[3])) -> extension (support ? 0) - 120tuples
0.30/0.40	c intension  and(ne(dist(q[19],q[3]),16),ne(q[19],q[3])) -> extension (support ? 0) - 118tuples
0.30/0.40	c intension  and(ne(dist(q[20],q[3]),17),ne(q[20],q[3])) -> extension (support ? 0) - 116tuples
0.30/0.40	c intension  and(ne(dist(q[21],q[3]),18),ne(q[21],q[3])) -> extension (support ? 0) - 114tuples
0.30/0.41	c intension  and(ne(dist(q[22],q[3]),19),ne(q[22],q[3])) -> extension (support ? 0) - 112tuples
0.30/0.41	c intension  and(ne(dist(q[23],q[3]),20),ne(q[23],q[3])) -> extension (support ? 0) - 110tuples
0.30/0.41	c intension  and(ne(dist(q[24],q[3]),21),ne(q[24],q[3])) -> extension (support ? 0) - 108tuples
0.40/0.41	c intension  and(ne(dist(q[25],q[3]),22),ne(q[25],q[3])) -> extension (support ? 0) - 106tuples
0.40/0.42	c intension  and(ne(dist(q[26],q[3]),23),ne(q[26],q[3])) -> extension (support ? 0) - 104tuples
0.40/0.42	c intension  and(ne(dist(q[27],q[3]),24),ne(q[27],q[3])) -> extension (support ? 0) - 102tuples
0.40/0.42	c intension  and(ne(dist(q[28],q[3]),25),ne(q[28],q[3])) -> extension (support ? 0) - 100tuples
0.40/0.43	c intension  and(ne(dist(q[29],q[3]),26),ne(q[29],q[3])) -> extension (support ? 0) - 98tuples
0.40/0.43	c intension  and(ne(dist(q[30],q[3]),27),ne(q[30],q[3])) -> extension (support ? 0) - 96tuples
0.40/0.43	c intension  and(ne(dist(q[31],q[3]),28),ne(q[31],q[3])) -> extension (support ? 0) - 94tuples
0.40/0.43	c intension  and(ne(dist(q[32],q[3]),29),ne(q[32],q[3])) -> extension (support ? 0) - 92tuples
0.40/0.44	c intension  and(ne(dist(q[33],q[3]),30),ne(q[33],q[3])) -> extension (support ? 0) - 90tuples
0.40/0.44	c intension  and(ne(dist(q[34],q[3]),31),ne(q[34],q[3])) -> extension (support ? 0) - 88tuples
0.40/0.44	c intension  and(ne(dist(q[35],q[3]),32),ne(q[35],q[3])) -> extension (support ? 0) - 86tuples
0.40/0.44	c intension  and(ne(dist(q[36],q[3]),33),ne(q[36],q[3])) -> extension (support ? 0) - 84tuples
0.40/0.45	c intension  and(ne(dist(q[37],q[3]),34),ne(q[37],q[3])) -> extension (support ? 0) - 82tuples
0.40/0.45	c intension  and(ne(dist(q[38],q[3]),35),ne(q[38],q[3])) -> extension (support ? 0) - 80tuples
0.40/0.45	c intension  and(ne(dist(q[39],q[3]),36),ne(q[39],q[3])) -> extension (support ? 0) - 78tuples
0.40/0.45	c intension  and(ne(dist(q[3],q[40]),37),ne(q[3],q[40])) -> extension (support ? 0) - 76tuples
0.40/0.46	c intension  and(ne(dist(q[3],q[41]),38),ne(q[3],q[41])) -> extension (support ? 0) - 74tuples
0.40/0.46	c intension  and(ne(dist(q[3],q[42]),39),ne(q[3],q[42])) -> extension (support ? 0) - 72tuples
0.40/0.46	c intension  and(ne(dist(q[3],q[43]),40),ne(q[3],q[43])) -> extension (support ? 0) - 70tuples
0.40/0.46	c intension  and(ne(dist(q[3],q[44]),41),ne(q[3],q[44])) -> extension (support ? 0) - 68tuples
0.40/0.47	c intension  and(ne(dist(q[3],q[45]),42),ne(q[3],q[45])) -> extension (support ? 0) - 66tuples
0.40/0.47	c intension  and(ne(dist(q[3],q[46]),43),ne(q[3],q[46])) -> extension (support ? 0) - 64tuples
0.40/0.47	c intension  and(ne(dist(q[3],q[47]),44),ne(q[3],q[47])) -> extension (support ? 0) - 62tuples
0.40/0.47	c intension  and(ne(dist(q[3],q[48]),45),ne(q[3],q[48])) -> extension (support ? 0) - 60tuples
0.40/0.47	c intension  and(ne(dist(q[3],q[49]),46),ne(q[3],q[49])) -> extension (support ? 0) - 58tuples
0.40/0.48	c intension  and(ne(dist(q[4],q[5]),1),ne(q[4],q[5])) -> extension (support ? 0) - 148tuples
0.40/0.48	c intension  and(ne(dist(q[4],q[6]),2),ne(q[4],q[6])) -> extension (support ? 0) - 146tuples
0.40/0.48	c intension  and(ne(dist(q[4],q[7]),3),ne(q[4],q[7])) -> extension (support ? 0) - 144tuples
0.40/0.48	c intension  and(ne(dist(q[4],q[8]),4),ne(q[4],q[8])) -> extension (support ? 0) - 142tuples
0.40/0.49	c intension  and(ne(dist(q[4],q[9]),5),ne(q[4],q[9])) -> extension (support ? 0) - 140tuples
0.40/0.49	c intension  and(ne(dist(q[10],q[4]),6),ne(q[10],q[4])) -> extension (support ? 0) - 138tuples
0.40/0.49	c intension  and(ne(dist(q[11],q[4]),7),ne(q[11],q[4])) -> extension (support ? 0) - 136tuples
0.40/0.49	c intension  and(ne(dist(q[12],q[4]),8),ne(q[12],q[4])) -> extension (support ? 0) - 134tuples
0.40/0.50	c intension  and(ne(dist(q[13],q[4]),9),ne(q[13],q[4])) -> extension (support ? 0) - 132tuples
0.40/0.50	c intension  and(ne(dist(q[14],q[4]),10),ne(q[14],q[4])) -> extension (support ? 0) - 130tuples
0.40/0.50	c intension  and(ne(dist(q[15],q[4]),11),ne(q[15],q[4])) -> extension (support ? 0) - 128tuples
0.40/0.50	c intension  and(ne(dist(q[16],q[4]),12),ne(q[16],q[4])) -> extension (support ? 0) - 126tuples
0.40/0.51	c intension  and(ne(dist(q[17],q[4]),13),ne(q[17],q[4])) -> extension (support ? 0) - 124tuples
0.40/0.51	c intension  and(ne(dist(q[18],q[4]),14),ne(q[18],q[4])) -> extension (support ? 0) - 122tuples
0.40/0.51	c intension  and(ne(dist(q[19],q[4]),15),ne(q[19],q[4])) -> extension (support ? 0) - 120tuples
0.50/0.51	c intension  and(ne(dist(q[20],q[4]),16),ne(q[20],q[4])) -> extension (support ? 0) - 118tuples
0.50/0.52	c intension  and(ne(dist(q[21],q[4]),17),ne(q[21],q[4])) -> extension (support ? 0) - 116tuples
0.50/0.52	c intension  and(ne(dist(q[22],q[4]),18),ne(q[22],q[4])) -> extension (support ? 0) - 114tuples
0.50/0.52	c intension  and(ne(dist(q[23],q[4]),19),ne(q[23],q[4])) -> extension (support ? 0) - 112tuples
0.50/0.52	c intension  and(ne(dist(q[24],q[4]),20),ne(q[24],q[4])) -> extension (support ? 0) - 110tuples
0.50/0.53	c intension  and(ne(dist(q[25],q[4]),21),ne(q[25],q[4])) -> extension (support ? 0) - 108tuples
0.50/0.53	c intension  and(ne(dist(q[26],q[4]),22),ne(q[26],q[4])) -> extension (support ? 0) - 106tuples
0.50/0.53	c intension  and(ne(dist(q[27],q[4]),23),ne(q[27],q[4])) -> extension (support ? 0) - 104tuples
0.50/0.53	c intension  and(ne(dist(q[28],q[4]),24),ne(q[28],q[4])) -> extension (support ? 0) - 102tuples
0.50/0.54	c intension  and(ne(dist(q[29],q[4]),25),ne(q[29],q[4])) -> extension (support ? 0) - 100tuples
0.50/0.54	c intension  and(ne(dist(q[30],q[4]),26),ne(q[30],q[4])) -> extension (support ? 0) - 98tuples
0.50/0.54	c intension  and(ne(dist(q[31],q[4]),27),ne(q[31],q[4])) -> extension (support ? 0) - 96tuples
0.50/0.54	c intension  and(ne(dist(q[32],q[4]),28),ne(q[32],q[4])) -> extension (support ? 0) - 94tuples
0.50/0.55	c intension  and(ne(dist(q[33],q[4]),29),ne(q[33],q[4])) -> extension (support ? 0) - 92tuples
0.50/0.55	c intension  and(ne(dist(q[34],q[4]),30),ne(q[34],q[4])) -> extension (support ? 0) - 90tuples
0.50/0.55	c intension  and(ne(dist(q[35],q[4]),31),ne(q[35],q[4])) -> extension (support ? 0) - 88tuples
0.50/0.56	c intension  and(ne(dist(q[36],q[4]),32),ne(q[36],q[4])) -> extension (support ? 0) - 86tuples
0.50/0.56	c intension  and(ne(dist(q[37],q[4]),33),ne(q[37],q[4])) -> extension (support ? 0) - 84tuples
0.50/0.56	c intension  and(ne(dist(q[38],q[4]),34),ne(q[38],q[4])) -> extension (support ? 0) - 82tuples
0.50/0.56	c intension  and(ne(dist(q[39],q[4]),35),ne(q[39],q[4])) -> extension (support ? 0) - 80tuples
0.50/0.57	c intension  and(ne(dist(q[40],q[4]),36),ne(q[40],q[4])) -> extension (support ? 0) - 78tuples
0.50/0.57	c intension  and(ne(dist(q[41],q[4]),37),ne(q[41],q[4])) -> extension (support ? 0) - 76tuples
0.50/0.57	c intension  and(ne(dist(q[42],q[4]),38),ne(q[42],q[4])) -> extension (support ? 0) - 74tuples
0.50/0.57	c intension  and(ne(dist(q[43],q[4]),39),ne(q[43],q[4])) -> extension (support ? 0) - 72tuples
0.50/0.58	c intension  and(ne(dist(q[44],q[4]),40),ne(q[44],q[4])) -> extension (support ? 0) - 70tuples
0.50/0.58	c intension  and(ne(dist(q[45],q[4]),41),ne(q[45],q[4])) -> extension (support ? 0) - 68tuples
0.50/0.58	c intension  and(ne(dist(q[46],q[4]),42),ne(q[46],q[4])) -> extension (support ? 0) - 66tuples
0.50/0.58	c intension  and(ne(dist(q[47],q[4]),43),ne(q[47],q[4])) -> extension (support ? 0) - 64tuples
0.50/0.59	c intension  and(ne(dist(q[48],q[4]),44),ne(q[48],q[4])) -> extension (support ? 0) - 62tuples
0.50/0.59	c intension  and(ne(dist(q[49],q[4]),45),ne(q[49],q[4])) -> extension (support ? 0) - 60tuples
0.50/0.59	c intension  and(ne(dist(q[5],q[6]),1),ne(q[5],q[6])) -> extension (support ? 0) - 148tuples
0.50/0.59	c intension  and(ne(dist(q[5],q[7]),2),ne(q[5],q[7])) -> extension (support ? 0) - 146tuples
0.50/0.60	c intension  and(ne(dist(q[5],q[8]),3),ne(q[5],q[8])) -> extension (support ? 0) - 144tuples
0.50/0.60	c intension  and(ne(dist(q[5],q[9]),4),ne(q[5],q[9])) -> extension (support ? 0) - 142tuples
0.50/0.60	c intension  and(ne(dist(q[10],q[5]),5),ne(q[10],q[5])) -> extension (support ? 0) - 140tuples
0.50/0.60	c intension  and(ne(dist(q[11],q[5]),6),ne(q[11],q[5])) -> extension (support ? 0) - 138tuples
0.59/0.61	c intension  and(ne(dist(q[12],q[5]),7),ne(q[12],q[5])) -> extension (support ? 0) - 136tuples
0.59/0.61	c intension  and(ne(dist(q[13],q[5]),8),ne(q[13],q[5])) -> extension (support ? 0) - 134tuples
0.59/0.61	c intension  and(ne(dist(q[14],q[5]),9),ne(q[14],q[5])) -> extension (support ? 0) - 132tuples
0.59/0.61	c intension  and(ne(dist(q[15],q[5]),10),ne(q[15],q[5])) -> extension (support ? 0) - 130tuples
0.59/0.62	c intension  and(ne(dist(q[16],q[5]),11),ne(q[16],q[5])) -> extension (support ? 0) - 128tuples
0.59/0.62	c intension  and(ne(dist(q[17],q[5]),12),ne(q[17],q[5])) -> extension (support ? 0) - 126tuples
0.59/0.62	c intension  and(ne(dist(q[18],q[5]),13),ne(q[18],q[5])) -> extension (support ? 0) - 124tuples
0.59/0.62	c intension  and(ne(dist(q[19],q[5]),14),ne(q[19],q[5])) -> extension (support ? 0) - 122tuples
0.59/0.63	c intension  and(ne(dist(q[20],q[5]),15),ne(q[20],q[5])) -> extension (support ? 0) - 120tuples
0.59/0.63	c intension  and(ne(dist(q[21],q[5]),16),ne(q[21],q[5])) -> extension (support ? 0) - 118tuples
0.59/0.63	c intension  and(ne(dist(q[22],q[5]),17),ne(q[22],q[5])) -> extension (support ? 0) - 116tuples
0.59/0.63	c intension  and(ne(dist(q[23],q[5]),18),ne(q[23],q[5])) -> extension (support ? 0) - 114tuples
0.59/0.64	c intension  and(ne(dist(q[24],q[5]),19),ne(q[24],q[5])) -> extension (support ? 0) - 112tuples
0.59/0.64	c intension  and(ne(dist(q[25],q[5]),20),ne(q[25],q[5])) -> extension (support ? 0) - 110tuples
0.59/0.64	c intension  and(ne(dist(q[26],q[5]),21),ne(q[26],q[5])) -> extension (support ? 0) - 108tuples
0.59/0.64	c intension  and(ne(dist(q[27],q[5]),22),ne(q[27],q[5])) -> extension (support ? 0) - 106tuples
0.59/0.65	c intension  and(ne(dist(q[28],q[5]),23),ne(q[28],q[5])) -> extension (support ? 0) - 104tuples
0.59/0.65	c intension  and(ne(dist(q[29],q[5]),24),ne(q[29],q[5])) -> extension (support ? 0) - 102tuples
0.59/0.65	c intension  and(ne(dist(q[30],q[5]),25),ne(q[30],q[5])) -> extension (support ? 0) - 100tuples
0.59/0.65	c intension  and(ne(dist(q[31],q[5]),26),ne(q[31],q[5])) -> extension (support ? 0) - 98tuples
0.59/0.66	c intension  and(ne(dist(q[32],q[5]),27),ne(q[32],q[5])) -> extension (support ? 0) - 96tuples
0.59/0.66	c intension  and(ne(dist(q[33],q[5]),28),ne(q[33],q[5])) -> extension (support ? 0) - 94tuples
0.59/0.66	c intension  and(ne(dist(q[34],q[5]),29),ne(q[34],q[5])) -> extension (support ? 0) - 92tuples
0.59/0.66	c intension  and(ne(dist(q[35],q[5]),30),ne(q[35],q[5])) -> extension (support ? 0) - 90tuples
0.59/0.67	c intension  and(ne(dist(q[36],q[5]),31),ne(q[36],q[5])) -> extension (support ? 0) - 88tuples
0.59/0.67	c intension  and(ne(dist(q[37],q[5]),32),ne(q[37],q[5])) -> extension (support ? 0) - 86tuples
0.59/0.67	c intension  and(ne(dist(q[38],q[5]),33),ne(q[38],q[5])) -> extension (support ? 0) - 84tuples
0.59/0.67	c intension  and(ne(dist(q[39],q[5]),34),ne(q[39],q[5])) -> extension (support ? 0) - 82tuples
0.59/0.68	c intension  and(ne(dist(q[40],q[5]),35),ne(q[40],q[5])) -> extension (support ? 0) - 80tuples
0.59/0.68	c intension  and(ne(dist(q[41],q[5]),36),ne(q[41],q[5])) -> extension (support ? 0) - 78tuples
0.59/0.68	c intension  and(ne(dist(q[42],q[5]),37),ne(q[42],q[5])) -> extension (support ? 0) - 76tuples
0.59/0.68	c intension  and(ne(dist(q[43],q[5]),38),ne(q[43],q[5])) -> extension (support ? 0) - 74tuples
0.59/0.69	c intension  and(ne(dist(q[44],q[5]),39),ne(q[44],q[5])) -> extension (support ? 0) - 72tuples
0.59/0.69	c intension  and(ne(dist(q[45],q[5]),40),ne(q[45],q[5])) -> extension (support ? 0) - 70tuples
0.59/0.69	c intension  and(ne(dist(q[46],q[5]),41),ne(q[46],q[5])) -> extension (support ? 0) - 68tuples
0.59/0.69	c intension  and(ne(dist(q[47],q[5]),42),ne(q[47],q[5])) -> extension (support ? 0) - 66tuples
0.68/0.70	c intension  and(ne(dist(q[48],q[5]),43),ne(q[48],q[5])) -> extension (support ? 0) - 64tuples
0.68/0.70	c intension  and(ne(dist(q[49],q[5]),44),ne(q[49],q[5])) -> extension (support ? 0) - 62tuples
0.68/0.70	c intension  and(ne(dist(q[6],q[7]),1),ne(q[6],q[7])) -> extension (support ? 0) - 148tuples
0.68/0.70	c intension  and(ne(dist(q[6],q[8]),2),ne(q[6],q[8])) -> extension (support ? 0) - 146tuples
0.68/0.71	c intension  and(ne(dist(q[6],q[9]),3),ne(q[6],q[9])) -> extension (support ? 0) - 144tuples
0.68/0.71	c intension  and(ne(dist(q[10],q[6]),4),ne(q[10],q[6])) -> extension (support ? 0) - 142tuples
0.68/0.71	c intension  and(ne(dist(q[11],q[6]),5),ne(q[11],q[6])) -> extension (support ? 0) - 140tuples
0.68/0.71	c intension  and(ne(dist(q[12],q[6]),6),ne(q[12],q[6])) -> extension (support ? 0) - 138tuples
0.68/0.72	c intension  and(ne(dist(q[13],q[6]),7),ne(q[13],q[6])) -> extension (support ? 0) - 136tuples
0.68/0.72	c intension  and(ne(dist(q[14],q[6]),8),ne(q[14],q[6])) -> extension (support ? 0) - 134tuples
0.68/0.72	c intension  and(ne(dist(q[15],q[6]),9),ne(q[15],q[6])) -> extension (support ? 0) - 132tuples
0.68/0.72	c intension  and(ne(dist(q[16],q[6]),10),ne(q[16],q[6])) -> extension (support ? 0) - 130tuples
0.68/0.73	c intension  and(ne(dist(q[17],q[6]),11),ne(q[17],q[6])) -> extension (support ? 0) - 128tuples
0.68/0.73	c intension  and(ne(dist(q[18],q[6]),12),ne(q[18],q[6])) -> extension (support ? 0) - 126tuples
0.68/0.73	c intension  and(ne(dist(q[19],q[6]),13),ne(q[19],q[6])) -> extension (support ? 0) - 124tuples
0.68/0.73	c intension  and(ne(dist(q[20],q[6]),14),ne(q[20],q[6])) -> extension (support ? 0) - 122tuples
0.68/0.74	c intension  and(ne(dist(q[21],q[6]),15),ne(q[21],q[6])) -> extension (support ? 0) - 120tuples
0.68/0.74	c intension  and(ne(dist(q[22],q[6]),16),ne(q[22],q[6])) -> extension (support ? 0) - 118tuples
0.68/0.74	c intension  and(ne(dist(q[23],q[6]),17),ne(q[23],q[6])) -> extension (support ? 0) - 116tuples
0.68/0.74	c intension  and(ne(dist(q[24],q[6]),18),ne(q[24],q[6])) -> extension (support ? 0) - 114tuples
0.68/0.75	c intension  and(ne(dist(q[25],q[6]),19),ne(q[25],q[6])) -> extension (support ? 0) - 112tuples
0.68/0.75	c intension  and(ne(dist(q[26],q[6]),20),ne(q[26],q[6])) -> extension (support ? 0) - 110tuples
0.68/0.75	c intension  and(ne(dist(q[27],q[6]),21),ne(q[27],q[6])) -> extension (support ? 0) - 108tuples
0.68/0.75	c intension  and(ne(dist(q[28],q[6]),22),ne(q[28],q[6])) -> extension (support ? 0) - 106tuples
0.68/0.76	c intension  and(ne(dist(q[29],q[6]),23),ne(q[29],q[6])) -> extension (support ? 0) - 104tuples
0.68/0.76	c intension  and(ne(dist(q[30],q[6]),24),ne(q[30],q[6])) -> extension (support ? 0) - 102tuples
0.68/0.76	c intension  and(ne(dist(q[31],q[6]),25),ne(q[31],q[6])) -> extension (support ? 0) - 100tuples
0.68/0.76	c intension  and(ne(dist(q[32],q[6]),26),ne(q[32],q[6])) -> extension (support ? 0) - 98tuples
0.68/0.77	c intension  and(ne(dist(q[33],q[6]),27),ne(q[33],q[6])) -> extension (support ? 0) - 96tuples
0.68/0.77	c intension  and(ne(dist(q[34],q[6]),28),ne(q[34],q[6])) -> extension (support ? 0) - 94tuples
0.68/0.77	c intension  and(ne(dist(q[35],q[6]),29),ne(q[35],q[6])) -> extension (support ? 0) - 92tuples
0.68/0.77	c intension  and(ne(dist(q[36],q[6]),30),ne(q[36],q[6])) -> extension (support ? 0) - 90tuples
0.68/0.78	c intension  and(ne(dist(q[37],q[6]),31),ne(q[37],q[6])) -> extension (support ? 0) - 88tuples
0.68/0.78	c intension  and(ne(dist(q[38],q[6]),32),ne(q[38],q[6])) -> extension (support ? 0) - 86tuples
0.68/0.78	c intension  and(ne(dist(q[39],q[6]),33),ne(q[39],q[6])) -> extension (support ? 0) - 84tuples
0.68/0.79	c intension  and(ne(dist(q[40],q[6]),34),ne(q[40],q[6])) -> extension (support ? 0) - 82tuples
0.68/0.79	c intension  and(ne(dist(q[41],q[6]),35),ne(q[41],q[6])) -> extension (support ? 0) - 80tuples
0.68/0.79	c intension  and(ne(dist(q[42],q[6]),36),ne(q[42],q[6])) -> extension (support ? 0) - 78tuples
0.68/0.79	c intension  and(ne(dist(q[43],q[6]),37),ne(q[43],q[6])) -> extension (support ? 0) - 76tuples
0.68/0.80	c intension  and(ne(dist(q[44],q[6]),38),ne(q[44],q[6])) -> extension (support ? 0) - 74tuples
0.79/0.80	c intension  and(ne(dist(q[45],q[6]),39),ne(q[45],q[6])) -> extension (support ? 0) - 72tuples
0.79/0.80	c intension  and(ne(dist(q[46],q[6]),40),ne(q[46],q[6])) -> extension (support ? 0) - 70tuples
0.79/0.80	c intension  and(ne(dist(q[47],q[6]),41),ne(q[47],q[6])) -> extension (support ? 0) - 68tuples
0.79/0.81	c intension  and(ne(dist(q[48],q[6]),42),ne(q[48],q[6])) -> extension (support ? 0) - 66tuples
0.79/0.81	c intension  and(ne(dist(q[49],q[6]),43),ne(q[49],q[6])) -> extension (support ? 0) - 64tuples
0.79/0.81	c intension  and(ne(dist(q[7],q[8]),1),ne(q[7],q[8])) -> extension (support ? 0) - 148tuples
0.79/0.81	c intension  and(ne(dist(q[7],q[9]),2),ne(q[7],q[9])) -> extension (support ? 0) - 146tuples
0.79/0.82	c intension  and(ne(dist(q[10],q[7]),3),ne(q[10],q[7])) -> extension (support ? 0) - 144tuples
0.79/0.82	c intension  and(ne(dist(q[11],q[7]),4),ne(q[11],q[7])) -> extension (support ? 0) - 142tuples
0.79/0.82	c intension  and(ne(dist(q[12],q[7]),5),ne(q[12],q[7])) -> extension (support ? 0) - 140tuples
0.79/0.82	c intension  and(ne(dist(q[13],q[7]),6),ne(q[13],q[7])) -> extension (support ? 0) - 138tuples
0.79/0.83	c intension  and(ne(dist(q[14],q[7]),7),ne(q[14],q[7])) -> extension (support ? 0) - 136tuples
0.79/0.83	c intension  and(ne(dist(q[15],q[7]),8),ne(q[15],q[7])) -> extension (support ? 0) - 134tuples
0.79/0.83	c intension  and(ne(dist(q[16],q[7]),9),ne(q[16],q[7])) -> extension (support ? 0) - 132tuples
0.79/0.83	c intension  and(ne(dist(q[17],q[7]),10),ne(q[17],q[7])) -> extension (support ? 0) - 130tuples
0.79/0.84	c intension  and(ne(dist(q[18],q[7]),11),ne(q[18],q[7])) -> extension (support ? 0) - 128tuples
0.79/0.84	c intension  and(ne(dist(q[19],q[7]),12),ne(q[19],q[7])) -> extension (support ? 0) - 126tuples
0.79/0.84	c intension  and(ne(dist(q[20],q[7]),13),ne(q[20],q[7])) -> extension (support ? 0) - 124tuples
0.79/0.84	c intension  and(ne(dist(q[21],q[7]),14),ne(q[21],q[7])) -> extension (support ? 0) - 122tuples
0.79/0.85	c intension  and(ne(dist(q[22],q[7]),15),ne(q[22],q[7])) -> extension (support ? 0) - 120tuples
0.79/0.85	c intension  and(ne(dist(q[23],q[7]),16),ne(q[23],q[7])) -> extension (support ? 0) - 118tuples
0.79/0.85	c intension  and(ne(dist(q[24],q[7]),17),ne(q[24],q[7])) -> extension (support ? 0) - 116tuples
0.79/0.85	c intension  and(ne(dist(q[25],q[7]),18),ne(q[25],q[7])) -> extension (support ? 0) - 114tuples
0.79/0.86	c intension  and(ne(dist(q[26],q[7]),19),ne(q[26],q[7])) -> extension (support ? 0) - 112tuples
0.79/0.86	c intension  and(ne(dist(q[27],q[7]),20),ne(q[27],q[7])) -> extension (support ? 0) - 110tuples
0.79/0.86	c intension  and(ne(dist(q[28],q[7]),21),ne(q[28],q[7])) -> extension (support ? 0) - 108tuples
0.79/0.86	c intension  and(ne(dist(q[29],q[7]),22),ne(q[29],q[7])) -> extension (support ? 0) - 106tuples
0.79/0.87	c intension  and(ne(dist(q[30],q[7]),23),ne(q[30],q[7])) -> extension (support ? 0) - 104tuples
0.79/0.87	c intension  and(ne(dist(q[31],q[7]),24),ne(q[31],q[7])) -> extension (support ? 0) - 102tuples
0.79/0.87	c intension  and(ne(dist(q[32],q[7]),25),ne(q[32],q[7])) -> extension (support ? 0) - 100tuples
0.79/0.87	c intension  and(ne(dist(q[33],q[7]),26),ne(q[33],q[7])) -> extension (support ? 0) - 98tuples
0.79/0.88	c intension  and(ne(dist(q[34],q[7]),27),ne(q[34],q[7])) -> extension (support ? 0) - 96tuples
0.79/0.88	c intension  and(ne(dist(q[35],q[7]),28),ne(q[35],q[7])) -> extension (support ? 0) - 94tuples
0.79/0.88	c intension  and(ne(dist(q[36],q[7]),29),ne(q[36],q[7])) -> extension (support ? 0) - 92tuples
0.79/0.88	c intension  and(ne(dist(q[37],q[7]),30),ne(q[37],q[7])) -> extension (support ? 0) - 90tuples
0.79/0.89	c intension  and(ne(dist(q[38],q[7]),31),ne(q[38],q[7])) -> extension (support ? 0) - 88tuples
0.79/0.89	c intension  and(ne(dist(q[39],q[7]),32),ne(q[39],q[7])) -> extension (support ? 0) - 86tuples
0.79/0.89	c intension  and(ne(dist(q[40],q[7]),33),ne(q[40],q[7])) -> extension (support ? 0) - 84tuples
0.79/0.89	c intension  and(ne(dist(q[41],q[7]),34),ne(q[41],q[7])) -> extension (support ? 0) - 82tuples
0.89/0.90	c intension  and(ne(dist(q[42],q[7]),35),ne(q[42],q[7])) -> extension (support ? 0) - 80tuples
0.89/0.90	c intension  and(ne(dist(q[43],q[7]),36),ne(q[43],q[7])) -> extension (support ? 0) - 78tuples
0.89/0.90	c intension  and(ne(dist(q[44],q[7]),37),ne(q[44],q[7])) -> extension (support ? 0) - 76tuples
0.89/0.90	c intension  and(ne(dist(q[45],q[7]),38),ne(q[45],q[7])) -> extension (support ? 0) - 74tuples
0.89/0.91	c intension  and(ne(dist(q[46],q[7]),39),ne(q[46],q[7])) -> extension (support ? 0) - 72tuples
0.89/0.91	c intension  and(ne(dist(q[47],q[7]),40),ne(q[47],q[7])) -> extension (support ? 0) - 70tuples
0.89/0.91	c intension  and(ne(dist(q[48],q[7]),41),ne(q[48],q[7])) -> extension (support ? 0) - 68tuples
0.89/0.91	c intension  and(ne(dist(q[49],q[7]),42),ne(q[49],q[7])) -> extension (support ? 0) - 66tuples
0.89/0.92	c intension  and(ne(dist(q[8],q[9]),1),ne(q[8],q[9])) -> extension (support ? 0) - 148tuples
0.89/0.92	c intension  and(ne(dist(q[10],q[8]),2),ne(q[10],q[8])) -> extension (support ? 0) - 146tuples
0.89/0.92	c intension  and(ne(dist(q[11],q[8]),3),ne(q[11],q[8])) -> extension (support ? 0) - 144tuples
0.89/0.92	c intension  and(ne(dist(q[12],q[8]),4),ne(q[12],q[8])) -> extension (support ? 0) - 142tuples
0.89/0.93	c intension  and(ne(dist(q[13],q[8]),5),ne(q[13],q[8])) -> extension (support ? 0) - 140tuples
0.89/0.93	c intension  and(ne(dist(q[14],q[8]),6),ne(q[14],q[8])) -> extension (support ? 0) - 138tuples
0.89/0.93	c intension  and(ne(dist(q[15],q[8]),7),ne(q[15],q[8])) -> extension (support ? 0) - 136tuples
0.89/0.93	c intension  and(ne(dist(q[16],q[8]),8),ne(q[16],q[8])) -> extension (support ? 0) - 134tuples
0.89/0.94	c intension  and(ne(dist(q[17],q[8]),9),ne(q[17],q[8])) -> extension (support ? 0) - 132tuples
0.89/0.94	c intension  and(ne(dist(q[18],q[8]),10),ne(q[18],q[8])) -> extension (support ? 0) - 130tuples
0.89/0.94	c intension  and(ne(dist(q[19],q[8]),11),ne(q[19],q[8])) -> extension (support ? 0) - 128tuples
0.89/0.95	c intension  and(ne(dist(q[20],q[8]),12),ne(q[20],q[8])) -> extension (support ? 0) - 126tuples
0.89/0.95	c intension  and(ne(dist(q[21],q[8]),13),ne(q[21],q[8])) -> extension (support ? 0) - 124tuples
0.89/0.95	c intension  and(ne(dist(q[22],q[8]),14),ne(q[22],q[8])) -> extension (support ? 0) - 122tuples
0.89/0.95	c intension  and(ne(dist(q[23],q[8]),15),ne(q[23],q[8])) -> extension (support ? 0) - 120tuples
0.89/0.96	c intension  and(ne(dist(q[24],q[8]),16),ne(q[24],q[8])) -> extension (support ? 0) - 118tuples
0.89/0.96	c intension  and(ne(dist(q[25],q[8]),17),ne(q[25],q[8])) -> extension (support ? 0) - 116tuples
0.89/0.96	c intension  and(ne(dist(q[26],q[8]),18),ne(q[26],q[8])) -> extension (support ? 0) - 114tuples
0.89/0.96	c intension  and(ne(dist(q[27],q[8]),19),ne(q[27],q[8])) -> extension (support ? 0) - 112tuples
0.89/0.97	c intension  and(ne(dist(q[28],q[8]),20),ne(q[28],q[8])) -> extension (support ? 0) - 110tuples
0.89/0.97	c intension  and(ne(dist(q[29],q[8]),21),ne(q[29],q[8])) -> extension (support ? 0) - 108tuples
0.89/0.97	c intension  and(ne(dist(q[30],q[8]),22),ne(q[30],q[8])) -> extension (support ? 0) - 106tuples
0.89/0.97	c intension  and(ne(dist(q[31],q[8]),23),ne(q[31],q[8])) -> extension (support ? 0) - 104tuples
0.89/0.98	c intension  and(ne(dist(q[32],q[8]),24),ne(q[32],q[8])) -> extension (support ? 0) - 102tuples
0.89/0.98	c intension  and(ne(dist(q[33],q[8]),25),ne(q[33],q[8])) -> extension (support ? 0) - 100tuples
0.89/0.98	c intension  and(ne(dist(q[34],q[8]),26),ne(q[34],q[8])) -> extension (support ? 0) - 98tuples
0.89/0.98	c intension  and(ne(dist(q[35],q[8]),27),ne(q[35],q[8])) -> extension (support ? 0) - 96tuples
0.89/0.99	c intension  and(ne(dist(q[36],q[8]),28),ne(q[36],q[8])) -> extension (support ? 0) - 94tuples
0.89/0.99	c intension  and(ne(dist(q[37],q[8]),29),ne(q[37],q[8])) -> extension (support ? 0) - 92tuples
0.89/0.99	c intension  and(ne(dist(q[38],q[8]),30),ne(q[38],q[8])) -> extension (support ? 0) - 90tuples
0.89/0.99	c intension  and(ne(dist(q[39],q[8]),31),ne(q[39],q[8])) -> extension (support ? 0) - 88tuples
0.89/1.00	c intension  and(ne(dist(q[40],q[8]),32),ne(q[40],q[8])) -> extension (support ? 0) - 86tuples
0.89/1.00	c intension  and(ne(dist(q[41],q[8]),33),ne(q[41],q[8])) -> extension (support ? 0) - 84tuples
0.89/1.00	c intension  and(ne(dist(q[42],q[8]),34),ne(q[42],q[8])) -> extension (support ? 0) - 82tuples
0.89/1.00	c intension  and(ne(dist(q[43],q[8]),35),ne(q[43],q[8])) -> extension (support ? 0) - 80tuples
1.00/1.01	c intension  and(ne(dist(q[44],q[8]),36),ne(q[44],q[8])) -> extension (support ? 0) - 78tuples
1.00/1.01	c intension  and(ne(dist(q[45],q[8]),37),ne(q[45],q[8])) -> extension (support ? 0) - 76tuples
1.00/1.01	c intension  and(ne(dist(q[46],q[8]),38),ne(q[46],q[8])) -> extension (support ? 0) - 74tuples
1.00/1.01	c intension  and(ne(dist(q[47],q[8]),39),ne(q[47],q[8])) -> extension (support ? 0) - 72tuples
1.00/1.02	c intension  and(ne(dist(q[48],q[8]),40),ne(q[48],q[8])) -> extension (support ? 0) - 70tuples
1.00/1.02	c intension  and(ne(dist(q[49],q[8]),41),ne(q[49],q[8])) -> extension (support ? 0) - 68tuples
1.00/1.02	c intension  and(ne(dist(q[10],q[9]),1),ne(q[10],q[9])) -> extension (support ? 0) - 148tuples
1.00/1.03	c intension  and(ne(dist(q[11],q[9]),2),ne(q[11],q[9])) -> extension (support ? 0) - 146tuples
1.00/1.03	c intension  and(ne(dist(q[12],q[9]),3),ne(q[12],q[9])) -> extension (support ? 0) - 144tuples
1.00/1.03	c intension  and(ne(dist(q[13],q[9]),4),ne(q[13],q[9])) -> extension (support ? 0) - 142tuples
1.00/1.03	c intension  and(ne(dist(q[14],q[9]),5),ne(q[14],q[9])) -> extension (support ? 0) - 140tuples
1.00/1.04	c intension  and(ne(dist(q[15],q[9]),6),ne(q[15],q[9])) -> extension (support ? 0) - 138tuples
1.00/1.04	c intension  and(ne(dist(q[16],q[9]),7),ne(q[16],q[9])) -> extension (support ? 0) - 136tuples
1.00/1.04	c intension  and(ne(dist(q[17],q[9]),8),ne(q[17],q[9])) -> extension (support ? 0) - 134tuples
1.00/1.04	c intension  and(ne(dist(q[18],q[9]),9),ne(q[18],q[9])) -> extension (support ? 0) - 132tuples
1.00/1.05	c intension  and(ne(dist(q[19],q[9]),10),ne(q[19],q[9])) -> extension (support ? 0) - 130tuples
1.00/1.05	c intension  and(ne(dist(q[20],q[9]),11),ne(q[20],q[9])) -> extension (support ? 0) - 128tuples
1.00/1.05	c intension  and(ne(dist(q[21],q[9]),12),ne(q[21],q[9])) -> extension (support ? 0) - 126tuples
1.00/1.05	c intension  and(ne(dist(q[22],q[9]),13),ne(q[22],q[9])) -> extension (support ? 0) - 124tuples
1.00/1.06	c intension  and(ne(dist(q[23],q[9]),14),ne(q[23],q[9])) -> extension (support ? 0) - 122tuples
1.00/1.06	c intension  and(ne(dist(q[24],q[9]),15),ne(q[24],q[9])) -> extension (support ? 0) - 120tuples
1.00/1.06	c intension  and(ne(dist(q[25],q[9]),16),ne(q[25],q[9])) -> extension (support ? 0) - 118tuples
1.00/1.06	c intension  and(ne(dist(q[26],q[9]),17),ne(q[26],q[9])) -> extension (support ? 0) - 116tuples
1.00/1.07	c intension  and(ne(dist(q[27],q[9]),18),ne(q[27],q[9])) -> extension (support ? 0) - 114tuples
1.00/1.07	c intension  and(ne(dist(q[28],q[9]),19),ne(q[28],q[9])) -> extension (support ? 0) - 112tuples
1.00/1.07	c intension  and(ne(dist(q[29],q[9]),20),ne(q[29],q[9])) -> extension (support ? 0) - 110tuples
1.00/1.07	c intension  and(ne(dist(q[30],q[9]),21),ne(q[30],q[9])) -> extension (support ? 0) - 108tuples
1.00/1.08	c intension  and(ne(dist(q[31],q[9]),22),ne(q[31],q[9])) -> extension (support ? 0) - 106tuples
1.00/1.08	c intension  and(ne(dist(q[32],q[9]),23),ne(q[32],q[9])) -> extension (support ? 0) - 104tuples
1.00/1.08	c intension  and(ne(dist(q[33],q[9]),24),ne(q[33],q[9])) -> extension (support ? 0) - 102tuples
1.00/1.08	c intension  and(ne(dist(q[34],q[9]),25),ne(q[34],q[9])) -> extension (support ? 0) - 100tuples
1.00/1.09	c intension  and(ne(dist(q[35],q[9]),26),ne(q[35],q[9])) -> extension (support ? 0) - 98tuples
1.00/1.09	c intension  and(ne(dist(q[36],q[9]),27),ne(q[36],q[9])) -> extension (support ? 0) - 96tuples
1.00/1.09	c intension  and(ne(dist(q[37],q[9]),28),ne(q[37],q[9])) -> extension (support ? 0) - 94tuples
1.00/1.09	c intension  and(ne(dist(q[38],q[9]),29),ne(q[38],q[9])) -> extension (support ? 0) - 92tuples
1.00/1.10	c intension  and(ne(dist(q[39],q[9]),30),ne(q[39],q[9])) -> extension (support ? 0) - 90tuples
1.00/1.10	c intension  and(ne(dist(q[40],q[9]),31),ne(q[40],q[9])) -> extension (support ? 0) - 88tuples
1.00/1.10	c intension  and(ne(dist(q[41],q[9]),32),ne(q[41],q[9])) -> extension (support ? 0) - 86tuples
1.00/1.10	c intension  and(ne(dist(q[42],q[9]),33),ne(q[42],q[9])) -> extension (support ? 0) - 84tuples
1.10/1.11	c intension  and(ne(dist(q[43],q[9]),34),ne(q[43],q[9])) -> extension (support ? 0) - 82tuples
1.10/1.11	c intension  and(ne(dist(q[44],q[9]),35),ne(q[44],q[9])) -> extension (support ? 0) - 80tuples
1.10/1.11	c intension  and(ne(dist(q[45],q[9]),36),ne(q[45],q[9])) -> extension (support ? 0) - 78tuples
1.10/1.11	c intension  and(ne(dist(q[46],q[9]),37),ne(q[46],q[9])) -> extension (support ? 0) - 76tuples
1.10/1.12	c intension  and(ne(dist(q[47],q[9]),38),ne(q[47],q[9])) -> extension (support ? 0) - 74tuples
1.10/1.12	c intension  and(ne(dist(q[48],q[9]),39),ne(q[48],q[9])) -> extension (support ? 0) - 72tuples
1.10/1.12	c intension  and(ne(dist(q[49],q[9]),40),ne(q[49],q[9])) -> extension (support ? 0) - 70tuples
1.10/1.12	c intension  and(ne(dist(q[10],q[11]),1),ne(q[10],q[11])) -> extension (support ? 0) - 148tuples
1.10/1.13	c intension  and(ne(dist(q[10],q[12]),2),ne(q[10],q[12])) -> extension (support ? 0) - 146tuples
1.10/1.13	c intension  and(ne(dist(q[10],q[13]),3),ne(q[10],q[13])) -> extension (support ? 0) - 144tuples
1.10/1.13	c intension  and(ne(dist(q[10],q[14]),4),ne(q[10],q[14])) -> extension (support ? 0) - 142tuples
1.10/1.13	c intension  and(ne(dist(q[10],q[15]),5),ne(q[10],q[15])) -> extension (support ? 0) - 140tuples
1.10/1.14	c intension  and(ne(dist(q[10],q[16]),6),ne(q[10],q[16])) -> extension (support ? 0) - 138tuples
1.10/1.14	c intension  and(ne(dist(q[10],q[17]),7),ne(q[10],q[17])) -> extension (support ? 0) - 136tuples
1.10/1.14	c intension  and(ne(dist(q[10],q[18]),8),ne(q[10],q[18])) -> extension (support ? 0) - 134tuples
1.10/1.14	c intension  and(ne(dist(q[10],q[19]),9),ne(q[10],q[19])) -> extension (support ? 0) - 132tuples
1.10/1.14	c intension  and(ne(dist(q[10],q[20]),10),ne(q[10],q[20])) -> extension (support ? 0) - 130tuples
1.10/1.15	c intension  and(ne(dist(q[10],q[21]),11),ne(q[10],q[21])) -> extension (support ? 0) - 128tuples
1.10/1.15	c intension  and(ne(dist(q[10],q[22]),12),ne(q[10],q[22])) -> extension (support ? 0) - 126tuples
1.10/1.15	c intension  and(ne(dist(q[10],q[23]),13),ne(q[10],q[23])) -> extension (support ? 0) - 124tuples
1.10/1.15	c intension  and(ne(dist(q[10],q[24]),14),ne(q[10],q[24])) -> extension (support ? 0) - 122tuples
1.10/1.16	c intension  and(ne(dist(q[10],q[25]),15),ne(q[10],q[25])) -> extension (support ? 0) - 120tuples
1.10/1.16	c intension  and(ne(dist(q[10],q[26]),16),ne(q[10],q[26])) -> extension (support ? 0) - 118tuples
1.10/1.16	c intension  and(ne(dist(q[10],q[27]),17),ne(q[10],q[27])) -> extension (support ? 0) - 116tuples
1.10/1.16	c intension  and(ne(dist(q[10],q[28]),18),ne(q[10],q[28])) -> extension (support ? 0) - 114tuples
1.10/1.17	c intension  and(ne(dist(q[10],q[29]),19),ne(q[10],q[29])) -> extension (support ? 0) - 112tuples
1.10/1.17	c intension  and(ne(dist(q[10],q[30]),20),ne(q[10],q[30])) -> extension (support ? 0) - 110tuples
1.10/1.17	c intension  and(ne(dist(q[10],q[31]),21),ne(q[10],q[31])) -> extension (support ? 0) - 108tuples
1.10/1.17	c intension  and(ne(dist(q[10],q[32]),22),ne(q[10],q[32])) -> extension (support ? 0) - 106tuples
1.10/1.17	c intension  and(ne(dist(q[10],q[33]),23),ne(q[10],q[33])) -> extension (support ? 0) - 104tuples
1.10/1.18	c intension  and(ne(dist(q[10],q[34]),24),ne(q[10],q[34])) -> extension (support ? 0) - 102tuples
1.10/1.18	c intension  and(ne(dist(q[10],q[35]),25),ne(q[10],q[35])) -> extension (support ? 0) - 100tuples
1.10/1.18	c intension  and(ne(dist(q[10],q[36]),26),ne(q[10],q[36])) -> extension (support ? 0) - 98tuples
1.10/1.18	c intension  and(ne(dist(q[10],q[37]),27),ne(q[10],q[37])) -> extension (support ? 0) - 96tuples
1.10/1.19	c intension  and(ne(dist(q[10],q[38]),28),ne(q[10],q[38])) -> extension (support ? 0) - 94tuples
1.10/1.19	c intension  and(ne(dist(q[10],q[39]),29),ne(q[10],q[39])) -> extension (support ? 0) - 92tuples
1.10/1.19	c intension  and(ne(dist(q[10],q[40]),30),ne(q[10],q[40])) -> extension (support ? 0) - 90tuples
1.10/1.19	c intension  and(ne(dist(q[10],q[41]),31),ne(q[10],q[41])) -> extension (support ? 0) - 88tuples
1.10/1.19	c intension  and(ne(dist(q[10],q[42]),32),ne(q[10],q[42])) -> extension (support ? 0) - 86tuples
1.19/1.20	c intension  and(ne(dist(q[10],q[43]),33),ne(q[10],q[43])) -> extension (support ? 0) - 84tuples
1.19/1.20	c intension  and(ne(dist(q[10],q[44]),34),ne(q[10],q[44])) -> extension (support ? 0) - 82tuples
1.19/1.20	c intension  and(ne(dist(q[10],q[45]),35),ne(q[10],q[45])) -> extension (support ? 0) - 80tuples
1.19/1.20	c intension  and(ne(dist(q[10],q[46]),36),ne(q[10],q[46])) -> extension (support ? 0) - 78tuples
1.19/1.21	c intension  and(ne(dist(q[10],q[47]),37),ne(q[10],q[47])) -> extension (support ? 0) - 76tuples
1.19/1.21	c intension  and(ne(dist(q[10],q[48]),38),ne(q[10],q[48])) -> extension (support ? 0) - 74tuples
1.19/1.21	c intension  and(ne(dist(q[10],q[49]),39),ne(q[10],q[49])) -> extension (support ? 0) - 72tuples
1.19/1.21	c intension  and(ne(dist(q[11],q[12]),1),ne(q[11],q[12])) -> extension (support ? 0) - 148tuples
1.19/1.22	c intension  and(ne(dist(q[11],q[13]),2),ne(q[11],q[13])) -> extension (support ? 0) - 146tuples
1.19/1.22	c intension  and(ne(dist(q[11],q[14]),3),ne(q[11],q[14])) -> extension (support ? 0) - 144tuples
1.19/1.22	c intension  and(ne(dist(q[11],q[15]),4),ne(q[11],q[15])) -> extension (support ? 0) - 142tuples
1.19/1.22	c intension  and(ne(dist(q[11],q[16]),5),ne(q[11],q[16])) -> extension (support ? 0) - 140tuples
1.19/1.22	c intension  and(ne(dist(q[11],q[17]),6),ne(q[11],q[17])) -> extension (support ? 0) - 138tuples
1.19/1.23	c intension  and(ne(dist(q[11],q[18]),7),ne(q[11],q[18])) -> extension (support ? 0) - 136tuples
1.19/1.23	c intension  and(ne(dist(q[11],q[19]),8),ne(q[11],q[19])) -> extension (support ? 0) - 134tuples
1.19/1.23	c intension  and(ne(dist(q[11],q[20]),9),ne(q[11],q[20])) -> extension (support ? 0) - 132tuples
1.19/1.23	c intension  and(ne(dist(q[11],q[21]),10),ne(q[11],q[21])) -> extension (support ? 0) - 130tuples
1.19/1.24	c intension  and(ne(dist(q[11],q[22]),11),ne(q[11],q[22])) -> extension (support ? 0) - 128tuples
1.19/1.24	c intension  and(ne(dist(q[11],q[23]),12),ne(q[11],q[23])) -> extension (support ? 0) - 126tuples
1.19/1.24	c intension  and(ne(dist(q[11],q[24]),13),ne(q[11],q[24])) -> extension (support ? 0) - 124tuples
1.19/1.24	c intension  and(ne(dist(q[11],q[25]),14),ne(q[11],q[25])) -> extension (support ? 0) - 122tuples
1.19/1.24	c intension  and(ne(dist(q[11],q[26]),15),ne(q[11],q[26])) -> extension (support ? 0) - 120tuples
1.19/1.25	c intension  and(ne(dist(q[11],q[27]),16),ne(q[11],q[27])) -> extension (support ? 0) - 118tuples
1.19/1.25	c intension  and(ne(dist(q[11],q[28]),17),ne(q[11],q[28])) -> extension (support ? 0) - 116tuples
1.19/1.25	c intension  and(ne(dist(q[11],q[29]),18),ne(q[11],q[29])) -> extension (support ? 0) - 114tuples
1.19/1.25	c intension  and(ne(dist(q[11],q[30]),19),ne(q[11],q[30])) -> extension (support ? 0) - 112tuples
1.19/1.26	c intension  and(ne(dist(q[11],q[31]),20),ne(q[11],q[31])) -> extension (support ? 0) - 110tuples
1.19/1.26	c intension  and(ne(dist(q[11],q[32]),21),ne(q[11],q[32])) -> extension (support ? 0) - 108tuples
1.19/1.26	c intension  and(ne(dist(q[11],q[33]),22),ne(q[11],q[33])) -> extension (support ? 0) - 106tuples
1.19/1.26	c intension  and(ne(dist(q[11],q[34]),23),ne(q[11],q[34])) -> extension (support ? 0) - 104tuples
1.19/1.26	c intension  and(ne(dist(q[11],q[35]),24),ne(q[11],q[35])) -> extension (support ? 0) - 102tuples
1.19/1.27	c intension  and(ne(dist(q[11],q[36]),25),ne(q[11],q[36])) -> extension (support ? 0) - 100tuples
1.19/1.27	c intension  and(ne(dist(q[11],q[37]),26),ne(q[11],q[37])) -> extension (support ? 0) - 98tuples
1.19/1.27	c intension  and(ne(dist(q[11],q[38]),27),ne(q[11],q[38])) -> extension (support ? 0) - 96tuples
1.19/1.27	c intension  and(ne(dist(q[11],q[39]),28),ne(q[11],q[39])) -> extension (support ? 0) - 94tuples
1.19/1.28	c intension  and(ne(dist(q[11],q[40]),29),ne(q[11],q[40])) -> extension (support ? 0) - 92tuples
1.19/1.28	c intension  and(ne(dist(q[11],q[41]),30),ne(q[11],q[41])) -> extension (support ? 0) - 90tuples
1.19/1.28	c intension  and(ne(dist(q[11],q[42]),31),ne(q[11],q[42])) -> extension (support ? 0) - 88tuples
1.19/1.28	c intension  and(ne(dist(q[11],q[43]),32),ne(q[11],q[43])) -> extension (support ? 0) - 86tuples
1.19/1.29	c intension  and(ne(dist(q[11],q[44]),33),ne(q[11],q[44])) -> extension (support ? 0) - 84tuples
1.19/1.29	c intension  and(ne(dist(q[11],q[45]),34),ne(q[11],q[45])) -> extension (support ? 0) - 82tuples
1.19/1.29	c intension  and(ne(dist(q[11],q[46]),35),ne(q[11],q[46])) -> extension (support ? 0) - 80tuples
1.19/1.29	c intension  and(ne(dist(q[11],q[47]),36),ne(q[11],q[47])) -> extension (support ? 0) - 78tuples
1.19/1.29	c intension  and(ne(dist(q[11],q[48]),37),ne(q[11],q[48])) -> extension (support ? 0) - 76tuples
1.29/1.30	c intension  and(ne(dist(q[11],q[49]),38),ne(q[11],q[49])) -> extension (support ? 0) - 74tuples
1.29/1.30	c intension  and(ne(dist(q[12],q[13]),1),ne(q[12],q[13])) -> extension (support ? 0) - 148tuples
1.29/1.30	c intension  and(ne(dist(q[12],q[14]),2),ne(q[12],q[14])) -> extension (support ? 0) - 146tuples
1.29/1.30	c intension  and(ne(dist(q[12],q[15]),3),ne(q[12],q[15])) -> extension (support ? 0) - 144tuples
1.29/1.31	c intension  and(ne(dist(q[12],q[16]),4),ne(q[12],q[16])) -> extension (support ? 0) - 142tuples
1.29/1.31	c intension  and(ne(dist(q[12],q[17]),5),ne(q[12],q[17])) -> extension (support ? 0) - 140tuples
1.29/1.31	c intension  and(ne(dist(q[12],q[18]),6),ne(q[12],q[18])) -> extension (support ? 0) - 138tuples
1.29/1.31	c intension  and(ne(dist(q[12],q[19]),7),ne(q[12],q[19])) -> extension (support ? 0) - 136tuples
1.29/1.31	c intension  and(ne(dist(q[12],q[20]),8),ne(q[12],q[20])) -> extension (support ? 0) - 134tuples
1.29/1.32	c intension  and(ne(dist(q[12],q[21]),9),ne(q[12],q[21])) -> extension (support ? 0) - 132tuples
1.29/1.32	c intension  and(ne(dist(q[12],q[22]),10),ne(q[12],q[22])) -> extension (support ? 0) - 130tuples
1.29/1.32	c intension  and(ne(dist(q[12],q[23]),11),ne(q[12],q[23])) -> extension (support ? 0) - 128tuples
1.29/1.32	c intension  and(ne(dist(q[12],q[24]),12),ne(q[12],q[24])) -> extension (support ? 0) - 126tuples
1.29/1.33	c intension  and(ne(dist(q[12],q[25]),13),ne(q[12],q[25])) -> extension (support ? 0) - 124tuples
1.29/1.33	c intension  and(ne(dist(q[12],q[26]),14),ne(q[12],q[26])) -> extension (support ? 0) - 122tuples
1.29/1.33	c intension  and(ne(dist(q[12],q[27]),15),ne(q[12],q[27])) -> extension (support ? 0) - 120tuples
1.29/1.33	c intension  and(ne(dist(q[12],q[28]),16),ne(q[12],q[28])) -> extension (support ? 0) - 118tuples
1.29/1.34	c intension  and(ne(dist(q[12],q[29]),17),ne(q[12],q[29])) -> extension (support ? 0) - 116tuples
1.29/1.34	c intension  and(ne(dist(q[12],q[30]),18),ne(q[12],q[30])) -> extension (support ? 0) - 114tuples
1.29/1.34	c intension  and(ne(dist(q[12],q[31]),19),ne(q[12],q[31])) -> extension (support ? 0) - 112tuples
1.29/1.34	c intension  and(ne(dist(q[12],q[32]),20),ne(q[12],q[32])) -> extension (support ? 0) - 110tuples
1.29/1.34	c intension  and(ne(dist(q[12],q[33]),21),ne(q[12],q[33])) -> extension (support ? 0) - 108tuples
1.29/1.35	c intension  and(ne(dist(q[12],q[34]),22),ne(q[12],q[34])) -> extension (support ? 0) - 106tuples
1.29/1.35	c intension  and(ne(dist(q[12],q[35]),23),ne(q[12],q[35])) -> extension (support ? 0) - 104tuples
1.29/1.35	c intension  and(ne(dist(q[12],q[36]),24),ne(q[12],q[36])) -> extension (support ? 0) - 102tuples
1.29/1.35	c intension  and(ne(dist(q[12],q[37]),25),ne(q[12],q[37])) -> extension (support ? 0) - 100tuples
1.29/1.36	c intension  and(ne(dist(q[12],q[38]),26),ne(q[12],q[38])) -> extension (support ? 0) - 98tuples
1.29/1.36	c intension  and(ne(dist(q[12],q[39]),27),ne(q[12],q[39])) -> extension (support ? 0) - 96tuples
1.29/1.36	c intension  and(ne(dist(q[12],q[40]),28),ne(q[12],q[40])) -> extension (support ? 0) - 94tuples
1.29/1.36	c intension  and(ne(dist(q[12],q[41]),29),ne(q[12],q[41])) -> extension (support ? 0) - 92tuples
1.29/1.36	c intension  and(ne(dist(q[12],q[42]),30),ne(q[12],q[42])) -> extension (support ? 0) - 90tuples
1.29/1.37	c intension  and(ne(dist(q[12],q[43]),31),ne(q[12],q[43])) -> extension (support ? 0) - 88tuples
1.29/1.37	c intension  and(ne(dist(q[12],q[44]),32),ne(q[12],q[44])) -> extension (support ? 0) - 86tuples
1.29/1.37	c intension  and(ne(dist(q[12],q[45]),33),ne(q[12],q[45])) -> extension (support ? 0) - 84tuples
1.29/1.37	c intension  and(ne(dist(q[12],q[46]),34),ne(q[12],q[46])) -> extension (support ? 0) - 82tuples
1.29/1.38	c intension  and(ne(dist(q[12],q[47]),35),ne(q[12],q[47])) -> extension (support ? 0) - 80tuples
1.29/1.38	c intension  and(ne(dist(q[12],q[48]),36),ne(q[12],q[48])) -> extension (support ? 0) - 78tuples
1.29/1.38	c intension  and(ne(dist(q[12],q[49]),37),ne(q[12],q[49])) -> extension (support ? 0) - 76tuples
1.29/1.38	c intension  and(ne(dist(q[13],q[14]),1),ne(q[13],q[14])) -> extension (support ? 0) - 148tuples
1.29/1.39	c intension  and(ne(dist(q[13],q[15]),2),ne(q[13],q[15])) -> extension (support ? 0) - 146tuples
1.29/1.39	c intension  and(ne(dist(q[13],q[16]),3),ne(q[13],q[16])) -> extension (support ? 0) - 144tuples
1.29/1.39	c intension  and(ne(dist(q[13],q[17]),4),ne(q[13],q[17])) -> extension (support ? 0) - 142tuples
1.29/1.39	c intension  and(ne(dist(q[13],q[18]),5),ne(q[13],q[18])) -> extension (support ? 0) - 140tuples
1.29/1.39	c intension  and(ne(dist(q[13],q[19]),6),ne(q[13],q[19])) -> extension (support ? 0) - 138tuples
1.39/1.40	c intension  and(ne(dist(q[13],q[20]),7),ne(q[13],q[20])) -> extension (support ? 0) - 136tuples
1.39/1.40	c intension  and(ne(dist(q[13],q[21]),8),ne(q[13],q[21])) -> extension (support ? 0) - 134tuples
1.39/1.40	c intension  and(ne(dist(q[13],q[22]),9),ne(q[13],q[22])) -> extension (support ? 0) - 132tuples
1.39/1.40	c intension  and(ne(dist(q[13],q[23]),10),ne(q[13],q[23])) -> extension (support ? 0) - 130tuples
1.39/1.41	c intension  and(ne(dist(q[13],q[24]),11),ne(q[13],q[24])) -> extension (support ? 0) - 128tuples
1.39/1.41	c intension  and(ne(dist(q[13],q[25]),12),ne(q[13],q[25])) -> extension (support ? 0) - 126tuples
1.39/1.41	c intension  and(ne(dist(q[13],q[26]),13),ne(q[13],q[26])) -> extension (support ? 0) - 124tuples
1.39/1.41	c intension  and(ne(dist(q[13],q[27]),14),ne(q[13],q[27])) -> extension (support ? 0) - 122tuples
1.39/1.41	c intension  and(ne(dist(q[13],q[28]),15),ne(q[13],q[28])) -> extension (support ? 0) - 120tuples
1.39/1.42	c intension  and(ne(dist(q[13],q[29]),16),ne(q[13],q[29])) -> extension (support ? 0) - 118tuples
1.39/1.42	c intension  and(ne(dist(q[13],q[30]),17),ne(q[13],q[30])) -> extension (support ? 0) - 116tuples
1.39/1.42	c intension  and(ne(dist(q[13],q[31]),18),ne(q[13],q[31])) -> extension (support ? 0) - 114tuples
1.39/1.42	c intension  and(ne(dist(q[13],q[32]),19),ne(q[13],q[32])) -> extension (support ? 0) - 112tuples
1.39/1.43	c intension  and(ne(dist(q[13],q[33]),20),ne(q[13],q[33])) -> extension (support ? 0) - 110tuples
1.39/1.43	c intension  and(ne(dist(q[13],q[34]),21),ne(q[13],q[34])) -> extension (support ? 0) - 108tuples
1.39/1.43	c intension  and(ne(dist(q[13],q[35]),22),ne(q[13],q[35])) -> extension (support ? 0) - 106tuples
1.39/1.43	c intension  and(ne(dist(q[13],q[36]),23),ne(q[13],q[36])) -> extension (support ? 0) - 104tuples
1.39/1.43	c intension  and(ne(dist(q[13],q[37]),24),ne(q[13],q[37])) -> extension (support ? 0) - 102tuples
1.39/1.44	c intension  and(ne(dist(q[13],q[38]),25),ne(q[13],q[38])) -> extension (support ? 0) - 100tuples
1.39/1.44	c intension  and(ne(dist(q[13],q[39]),26),ne(q[13],q[39])) -> extension (support ? 0) - 98tuples
1.39/1.44	c intension  and(ne(dist(q[13],q[40]),27),ne(q[13],q[40])) -> extension (support ? 0) - 96tuples
1.39/1.44	c intension  and(ne(dist(q[13],q[41]),28),ne(q[13],q[41])) -> extension (support ? 0) - 94tuples
1.39/1.45	c intension  and(ne(dist(q[13],q[42]),29),ne(q[13],q[42])) -> extension (support ? 0) - 92tuples
1.39/1.45	c intension  and(ne(dist(q[13],q[43]),30),ne(q[13],q[43])) -> extension (support ? 0) - 90tuples
1.39/1.45	c intension  and(ne(dist(q[13],q[44]),31),ne(q[13],q[44])) -> extension (support ? 0) - 88tuples
1.39/1.45	c intension  and(ne(dist(q[13],q[45]),32),ne(q[13],q[45])) -> extension (support ? 0) - 86tuples
1.39/1.46	c intension  and(ne(dist(q[13],q[46]),33),ne(q[13],q[46])) -> extension (support ? 0) - 84tuples
1.39/1.46	c intension  and(ne(dist(q[13],q[47]),34),ne(q[13],q[47])) -> extension (support ? 0) - 82tuples
1.39/1.46	c intension  and(ne(dist(q[13],q[48]),35),ne(q[13],q[48])) -> extension (support ? 0) - 80tuples
1.39/1.46	c intension  and(ne(dist(q[13],q[49]),36),ne(q[13],q[49])) -> extension (support ? 0) - 78tuples
1.39/1.46	c intension  and(ne(dist(q[14],q[15]),1),ne(q[14],q[15])) -> extension (support ? 0) - 148tuples
1.39/1.47	c intension  and(ne(dist(q[14],q[16]),2),ne(q[14],q[16])) -> extension (support ? 0) - 146tuples
1.39/1.47	c intension  and(ne(dist(q[14],q[17]),3),ne(q[14],q[17])) -> extension (support ? 0) - 144tuples
1.39/1.47	c intension  and(ne(dist(q[14],q[18]),4),ne(q[14],q[18])) -> extension (support ? 0) - 142tuples
1.39/1.47	c intension  and(ne(dist(q[14],q[19]),5),ne(q[14],q[19])) -> extension (support ? 0) - 140tuples
1.39/1.48	c intension  and(ne(dist(q[14],q[20]),6),ne(q[14],q[20])) -> extension (support ? 0) - 138tuples
1.39/1.48	c intension  and(ne(dist(q[14],q[21]),7),ne(q[14],q[21])) -> extension (support ? 0) - 136tuples
1.39/1.48	c intension  and(ne(dist(q[14],q[22]),8),ne(q[14],q[22])) -> extension (support ? 0) - 134tuples
1.39/1.48	c intension  and(ne(dist(q[14],q[23]),9),ne(q[14],q[23])) -> extension (support ? 0) - 132tuples
1.39/1.48	c intension  and(ne(dist(q[14],q[24]),10),ne(q[14],q[24])) -> extension (support ? 0) - 130tuples
1.39/1.49	c intension  and(ne(dist(q[14],q[25]),11),ne(q[14],q[25])) -> extension (support ? 0) - 128tuples
1.39/1.49	c intension  and(ne(dist(q[14],q[26]),12),ne(q[14],q[26])) -> extension (support ? 0) - 126tuples
1.39/1.49	c intension  and(ne(dist(q[14],q[27]),13),ne(q[14],q[27])) -> extension (support ? 0) - 124tuples
1.39/1.49	c intension  and(ne(dist(q[14],q[28]),14),ne(q[14],q[28])) -> extension (support ? 0) - 122tuples
1.49/1.50	c intension  and(ne(dist(q[14],q[29]),15),ne(q[14],q[29])) -> extension (support ? 0) - 120tuples
1.49/1.50	c intension  and(ne(dist(q[14],q[30]),16),ne(q[14],q[30])) -> extension (support ? 0) - 118tuples
1.49/1.50	c intension  and(ne(dist(q[14],q[31]),17),ne(q[14],q[31])) -> extension (support ? 0) - 116tuples
1.49/1.50	c intension  and(ne(dist(q[14],q[32]),18),ne(q[14],q[32])) -> extension (support ? 0) - 114tuples
1.49/1.51	c intension  and(ne(dist(q[14],q[33]),19),ne(q[14],q[33])) -> extension (support ? 0) - 112tuples
1.49/1.51	c intension  and(ne(dist(q[14],q[34]),20),ne(q[14],q[34])) -> extension (support ? 0) - 110tuples
1.49/1.51	c intension  and(ne(dist(q[14],q[35]),21),ne(q[14],q[35])) -> extension (support ? 0) - 108tuples
1.49/1.51	c intension  and(ne(dist(q[14],q[36]),22),ne(q[14],q[36])) -> extension (support ? 0) - 106tuples
1.49/1.51	c intension  and(ne(dist(q[14],q[37]),23),ne(q[14],q[37])) -> extension (support ? 0) - 104tuples
1.49/1.52	c intension  and(ne(dist(q[14],q[38]),24),ne(q[14],q[38])) -> extension (support ? 0) - 102tuples
1.49/1.52	c intension  and(ne(dist(q[14],q[39]),25),ne(q[14],q[39])) -> extension (support ? 0) - 100tuples
1.49/1.52	c intension  and(ne(dist(q[14],q[40]),26),ne(q[14],q[40])) -> extension (support ? 0) - 98tuples
1.49/1.52	c intension  and(ne(dist(q[14],q[41]),27),ne(q[14],q[41])) -> extension (support ? 0) - 96tuples
1.49/1.53	c intension  and(ne(dist(q[14],q[42]),28),ne(q[14],q[42])) -> extension (support ? 0) - 94tuples
1.49/1.53	c intension  and(ne(dist(q[14],q[43]),29),ne(q[14],q[43])) -> extension (support ? 0) - 92tuples
1.49/1.53	c intension  and(ne(dist(q[14],q[44]),30),ne(q[14],q[44])) -> extension (support ? 0) - 90tuples
1.49/1.53	c intension  and(ne(dist(q[14],q[45]),31),ne(q[14],q[45])) -> extension (support ? 0) - 88tuples
1.49/1.53	c intension  and(ne(dist(q[14],q[46]),32),ne(q[14],q[46])) -> extension (support ? 0) - 86tuples
1.49/1.54	c intension  and(ne(dist(q[14],q[47]),33),ne(q[14],q[47])) -> extension (support ? 0) - 84tuples
1.49/1.54	c intension  and(ne(dist(q[14],q[48]),34),ne(q[14],q[48])) -> extension (support ? 0) - 82tuples
1.49/1.54	c intension  and(ne(dist(q[14],q[49]),35),ne(q[14],q[49])) -> extension (support ? 0) - 80tuples
1.49/1.54	c intension  and(ne(dist(q[15],q[16]),1),ne(q[15],q[16])) -> extension (support ? 0) - 148tuples
1.49/1.55	c intension  and(ne(dist(q[15],q[17]),2),ne(q[15],q[17])) -> extension (support ? 0) - 146tuples
1.49/1.55	c intension  and(ne(dist(q[15],q[18]),3),ne(q[15],q[18])) -> extension (support ? 0) - 144tuples
1.49/1.55	c intension  and(ne(dist(q[15],q[19]),4),ne(q[15],q[19])) -> extension (support ? 0) - 142tuples
1.49/1.55	c intension  and(ne(dist(q[15],q[20]),5),ne(q[15],q[20])) -> extension (support ? 0) - 140tuples
1.49/1.56	c intension  and(ne(dist(q[15],q[21]),6),ne(q[15],q[21])) -> extension (support ? 0) - 138tuples
1.49/1.56	c intension  and(ne(dist(q[15],q[22]),7),ne(q[15],q[22])) -> extension (support ? 0) - 136tuples
1.49/1.56	c intension  and(ne(dist(q[15],q[23]),8),ne(q[15],q[23])) -> extension (support ? 0) - 134tuples
1.49/1.56	c intension  and(ne(dist(q[15],q[24]),9),ne(q[15],q[24])) -> extension (support ? 0) - 132tuples
1.49/1.56	c intension  and(ne(dist(q[15],q[25]),10),ne(q[15],q[25])) -> extension (support ? 0) - 130tuples
1.49/1.57	c intension  and(ne(dist(q[15],q[26]),11),ne(q[15],q[26])) -> extension (support ? 0) - 128tuples
1.49/1.57	c intension  and(ne(dist(q[15],q[27]),12),ne(q[15],q[27])) -> extension (support ? 0) - 126tuples
1.49/1.57	c intension  and(ne(dist(q[15],q[28]),13),ne(q[15],q[28])) -> extension (support ? 0) - 124tuples
1.49/1.57	c intension  and(ne(dist(q[15],q[29]),14),ne(q[15],q[29])) -> extension (support ? 0) - 122tuples
1.49/1.58	c intension  and(ne(dist(q[15],q[30]),15),ne(q[15],q[30])) -> extension (support ? 0) - 120tuples
1.49/1.58	c intension  and(ne(dist(q[15],q[31]),16),ne(q[15],q[31])) -> extension (support ? 0) - 118tuples
1.49/1.58	c intension  and(ne(dist(q[15],q[32]),17),ne(q[15],q[32])) -> extension (support ? 0) - 116tuples
1.49/1.58	c intension  and(ne(dist(q[15],q[33]),18),ne(q[15],q[33])) -> extension (support ? 0) - 114tuples
1.49/1.58	c intension  and(ne(dist(q[15],q[34]),19),ne(q[15],q[34])) -> extension (support ? 0) - 112tuples
1.49/1.59	c intension  and(ne(dist(q[15],q[35]),20),ne(q[15],q[35])) -> extension (support ? 0) - 110tuples
1.49/1.59	c intension  and(ne(dist(q[15],q[36]),21),ne(q[15],q[36])) -> extension (support ? 0) - 108tuples
1.49/1.59	c intension  and(ne(dist(q[15],q[37]),22),ne(q[15],q[37])) -> extension (support ? 0) - 106tuples
1.49/1.59	c intension  and(ne(dist(q[15],q[38]),23),ne(q[15],q[38])) -> extension (support ? 0) - 104tuples
1.59/1.60	c intension  and(ne(dist(q[15],q[39]),24),ne(q[15],q[39])) -> extension (support ? 0) - 102tuples
1.59/1.60	c intension  and(ne(dist(q[15],q[40]),25),ne(q[15],q[40])) -> extension (support ? 0) - 100tuples
1.59/1.60	c intension  and(ne(dist(q[15],q[41]),26),ne(q[15],q[41])) -> extension (support ? 0) - 98tuples
1.59/1.60	c intension  and(ne(dist(q[15],q[42]),27),ne(q[15],q[42])) -> extension (support ? 0) - 96tuples
1.59/1.60	c intension  and(ne(dist(q[15],q[43]),28),ne(q[15],q[43])) -> extension (support ? 0) - 94tuples
1.59/1.61	c intension  and(ne(dist(q[15],q[44]),29),ne(q[15],q[44])) -> extension (support ? 0) - 92tuples
1.59/1.61	c intension  and(ne(dist(q[15],q[45]),30),ne(q[15],q[45])) -> extension (support ? 0) - 90tuples
1.59/1.61	c intension  and(ne(dist(q[15],q[46]),31),ne(q[15],q[46])) -> extension (support ? 0) - 88tuples
1.59/1.61	c intension  and(ne(dist(q[15],q[47]),32),ne(q[15],q[47])) -> extension (support ? 0) - 86tuples
1.59/1.62	c intension  and(ne(dist(q[15],q[48]),33),ne(q[15],q[48])) -> extension (support ? 0) - 84tuples
1.59/1.62	c intension  and(ne(dist(q[15],q[49]),34),ne(q[15],q[49])) -> extension (support ? 0) - 82tuples
1.59/1.62	c intension  and(ne(dist(q[16],q[17]),1),ne(q[16],q[17])) -> extension (support ? 0) - 148tuples
1.59/1.62	c intension  and(ne(dist(q[16],q[18]),2),ne(q[16],q[18])) -> extension (support ? 0) - 146tuples
1.59/1.63	c intension  and(ne(dist(q[16],q[19]),3),ne(q[16],q[19])) -> extension (support ? 0) - 144tuples
1.59/1.63	c intension  and(ne(dist(q[16],q[20]),4),ne(q[16],q[20])) -> extension (support ? 0) - 142tuples
1.59/1.63	c intension  and(ne(dist(q[16],q[21]),5),ne(q[16],q[21])) -> extension (support ? 0) - 140tuples
1.59/1.63	c intension  and(ne(dist(q[16],q[22]),6),ne(q[16],q[22])) -> extension (support ? 0) - 138tuples
1.59/1.63	c intension  and(ne(dist(q[16],q[23]),7),ne(q[16],q[23])) -> extension (support ? 0) - 136tuples
1.59/1.64	c intension  and(ne(dist(q[16],q[24]),8),ne(q[16],q[24])) -> extension (support ? 0) - 134tuples
1.59/1.64	c intension  and(ne(dist(q[16],q[25]),9),ne(q[16],q[25])) -> extension (support ? 0) - 132tuples
1.59/1.64	c intension  and(ne(dist(q[16],q[26]),10),ne(q[16],q[26])) -> extension (support ? 0) - 130tuples
1.59/1.64	c intension  and(ne(dist(q[16],q[27]),11),ne(q[16],q[27])) -> extension (support ? 0) - 128tuples
1.59/1.65	c intension  and(ne(dist(q[16],q[28]),12),ne(q[16],q[28])) -> extension (support ? 0) - 126tuples
1.59/1.65	c intension  and(ne(dist(q[16],q[29]),13),ne(q[16],q[29])) -> extension (support ? 0) - 124tuples
1.59/1.65	c intension  and(ne(dist(q[16],q[30]),14),ne(q[16],q[30])) -> extension (support ? 0) - 122tuples
1.59/1.65	c intension  and(ne(dist(q[16],q[31]),15),ne(q[16],q[31])) -> extension (support ? 0) - 120tuples
1.59/1.65	c intension  and(ne(dist(q[16],q[32]),16),ne(q[16],q[32])) -> extension (support ? 0) - 118tuples
1.59/1.66	c intension  and(ne(dist(q[16],q[33]),17),ne(q[16],q[33])) -> extension (support ? 0) - 116tuples
1.59/1.66	c intension  and(ne(dist(q[16],q[34]),18),ne(q[16],q[34])) -> extension (support ? 0) - 114tuples
1.59/1.66	c intension  and(ne(dist(q[16],q[35]),19),ne(q[16],q[35])) -> extension (support ? 0) - 112tuples
1.59/1.66	c intension  and(ne(dist(q[16],q[36]),20),ne(q[16],q[36])) -> extension (support ? 0) - 110tuples
1.59/1.67	c intension  and(ne(dist(q[16],q[37]),21),ne(q[16],q[37])) -> extension (support ? 0) - 108tuples
1.59/1.67	c intension  and(ne(dist(q[16],q[38]),22),ne(q[16],q[38])) -> extension (support ? 0) - 106tuples
1.59/1.67	c intension  and(ne(dist(q[16],q[39]),23),ne(q[16],q[39])) -> extension (support ? 0) - 104tuples
1.59/1.67	c intension  and(ne(dist(q[16],q[40]),24),ne(q[16],q[40])) -> extension (support ? 0) - 102tuples
1.59/1.68	c intension  and(ne(dist(q[16],q[41]),25),ne(q[16],q[41])) -> extension (support ? 0) - 100tuples
1.59/1.68	c intension  and(ne(dist(q[16],q[42]),26),ne(q[16],q[42])) -> extension (support ? 0) - 98tuples
1.59/1.68	c intension  and(ne(dist(q[16],q[43]),27),ne(q[16],q[43])) -> extension (support ? 0) - 96tuples
1.59/1.68	c intension  and(ne(dist(q[16],q[44]),28),ne(q[16],q[44])) -> extension (support ? 0) - 94tuples
1.59/1.68	c intension  and(ne(dist(q[16],q[45]),29),ne(q[16],q[45])) -> extension (support ? 0) - 92tuples
1.59/1.69	c intension  and(ne(dist(q[16],q[46]),30),ne(q[16],q[46])) -> extension (support ? 0) - 90tuples
1.59/1.69	c intension  and(ne(dist(q[16],q[47]),31),ne(q[16],q[47])) -> extension (support ? 0) - 88tuples
1.59/1.69	c intension  and(ne(dist(q[16],q[48]),32),ne(q[16],q[48])) -> extension (support ? 0) - 86tuples
1.59/1.69	c intension  and(ne(dist(q[16],q[49]),33),ne(q[16],q[49])) -> extension (support ? 0) - 84tuples
1.59/1.70	c intension  and(ne(dist(q[17],q[18]),1),ne(q[17],q[18])) -> extension (support ? 0) - 148tuples
1.68/1.70	c intension  and(ne(dist(q[17],q[19]),2),ne(q[17],q[19])) -> extension (support ? 0) - 146tuples
1.68/1.70	c intension  and(ne(dist(q[17],q[20]),3),ne(q[17],q[20])) -> extension (support ? 0) - 144tuples
1.68/1.70	c intension  and(ne(dist(q[17],q[21]),4),ne(q[17],q[21])) -> extension (support ? 0) - 142tuples
1.68/1.70	c intension  and(ne(dist(q[17],q[22]),5),ne(q[17],q[22])) -> extension (support ? 0) - 140tuples
1.68/1.71	c intension  and(ne(dist(q[17],q[23]),6),ne(q[17],q[23])) -> extension (support ? 0) - 138tuples
1.68/1.71	c intension  and(ne(dist(q[17],q[24]),7),ne(q[17],q[24])) -> extension (support ? 0) - 136tuples
1.68/1.71	c intension  and(ne(dist(q[17],q[25]),8),ne(q[17],q[25])) -> extension (support ? 0) - 134tuples
1.68/1.71	c intension  and(ne(dist(q[17],q[26]),9),ne(q[17],q[26])) -> extension (support ? 0) - 132tuples
1.68/1.72	c intension  and(ne(dist(q[17],q[27]),10),ne(q[17],q[27])) -> extension (support ? 0) - 130tuples
1.68/1.72	c intension  and(ne(dist(q[17],q[28]),11),ne(q[17],q[28])) -> extension (support ? 0) - 128tuples
1.68/1.72	c intension  and(ne(dist(q[17],q[29]),12),ne(q[17],q[29])) -> extension (support ? 0) - 126tuples
1.68/1.72	c intension  and(ne(dist(q[17],q[30]),13),ne(q[17],q[30])) -> extension (support ? 0) - 124tuples
1.68/1.73	c intension  and(ne(dist(q[17],q[31]),14),ne(q[17],q[31])) -> extension (support ? 0) - 122tuples
1.68/1.73	c intension  and(ne(dist(q[17],q[32]),15),ne(q[17],q[32])) -> extension (support ? 0) - 120tuples
1.68/1.73	c intension  and(ne(dist(q[17],q[33]),16),ne(q[17],q[33])) -> extension (support ? 0) - 118tuples
1.68/1.73	c intension  and(ne(dist(q[17],q[34]),17),ne(q[17],q[34])) -> extension (support ? 0) - 116tuples
1.68/1.73	c intension  and(ne(dist(q[17],q[35]),18),ne(q[17],q[35])) -> extension (support ? 0) - 114tuples
1.68/1.74	c intension  and(ne(dist(q[17],q[36]),19),ne(q[17],q[36])) -> extension (support ? 0) - 112tuples
1.68/1.74	c intension  and(ne(dist(q[17],q[37]),20),ne(q[17],q[37])) -> extension (support ? 0) - 110tuples
1.68/1.74	c intension  and(ne(dist(q[17],q[38]),21),ne(q[17],q[38])) -> extension (support ? 0) - 108tuples
1.68/1.74	c intension  and(ne(dist(q[17],q[39]),22),ne(q[17],q[39])) -> extension (support ? 0) - 106tuples
1.68/1.75	c intension  and(ne(dist(q[17],q[40]),23),ne(q[17],q[40])) -> extension (support ? 0) - 104tuples
1.68/1.75	c intension  and(ne(dist(q[17],q[41]),24),ne(q[17],q[41])) -> extension (support ? 0) - 102tuples
1.68/1.75	c intension  and(ne(dist(q[17],q[42]),25),ne(q[17],q[42])) -> extension (support ? 0) - 100tuples
1.68/1.75	c intension  and(ne(dist(q[17],q[43]),26),ne(q[17],q[43])) -> extension (support ? 0) - 98tuples
1.68/1.75	c intension  and(ne(dist(q[17],q[44]),27),ne(q[17],q[44])) -> extension (support ? 0) - 96tuples
1.68/1.76	c intension  and(ne(dist(q[17],q[45]),28),ne(q[17],q[45])) -> extension (support ? 0) - 94tuples
1.68/1.76	c intension  and(ne(dist(q[17],q[46]),29),ne(q[17],q[46])) -> extension (support ? 0) - 92tuples
1.68/1.76	c intension  and(ne(dist(q[17],q[47]),30),ne(q[17],q[47])) -> extension (support ? 0) - 90tuples
1.68/1.76	c intension  and(ne(dist(q[17],q[48]),31),ne(q[17],q[48])) -> extension (support ? 0) - 88tuples
1.68/1.77	c intension  and(ne(dist(q[17],q[49]),32),ne(q[17],q[49])) -> extension (support ? 0) - 86tuples
1.68/1.77	c intension  and(ne(dist(q[18],q[19]),1),ne(q[18],q[19])) -> extension (support ? 0) - 148tuples
1.68/1.77	c intension  and(ne(dist(q[18],q[20]),2),ne(q[18],q[20])) -> extension (support ? 0) - 146tuples
1.68/1.77	c intension  and(ne(dist(q[18],q[21]),3),ne(q[18],q[21])) -> extension (support ? 0) - 144tuples
1.68/1.77	c intension  and(ne(dist(q[18],q[22]),4),ne(q[18],q[22])) -> extension (support ? 0) - 142tuples
1.68/1.78	c intension  and(ne(dist(q[18],q[23]),5),ne(q[18],q[23])) -> extension (support ? 0) - 140tuples
1.68/1.78	c intension  and(ne(dist(q[18],q[24]),6),ne(q[18],q[24])) -> extension (support ? 0) - 138tuples
1.68/1.78	c intension  and(ne(dist(q[18],q[25]),7),ne(q[18],q[25])) -> extension (support ? 0) - 136tuples
1.68/1.78	c intension  and(ne(dist(q[18],q[26]),8),ne(q[18],q[26])) -> extension (support ? 0) - 134tuples
1.68/1.79	c intension  and(ne(dist(q[18],q[27]),9),ne(q[18],q[27])) -> extension (support ? 0) - 132tuples
1.68/1.79	c intension  and(ne(dist(q[18],q[28]),10),ne(q[18],q[28])) -> extension (support ? 0) - 130tuples
1.68/1.79	c intension  and(ne(dist(q[18],q[29]),11),ne(q[18],q[29])) -> extension (support ? 0) - 128tuples
1.68/1.79	c intension  and(ne(dist(q[18],q[30]),12),ne(q[18],q[30])) -> extension (support ? 0) - 126tuples
1.68/1.80	c intension  and(ne(dist(q[18],q[31]),13),ne(q[18],q[31])) -> extension (support ? 0) - 124tuples
1.78/1.80	c intension  and(ne(dist(q[18],q[32]),14),ne(q[18],q[32])) -> extension (support ? 0) - 122tuples
1.78/1.80	c intension  and(ne(dist(q[18],q[33]),15),ne(q[18],q[33])) -> extension (support ? 0) - 120tuples
1.78/1.80	c intension  and(ne(dist(q[18],q[34]),16),ne(q[18],q[34])) -> extension (support ? 0) - 118tuples
1.78/1.80	c intension  and(ne(dist(q[18],q[35]),17),ne(q[18],q[35])) -> extension (support ? 0) - 116tuples
1.78/1.81	c intension  and(ne(dist(q[18],q[36]),18),ne(q[18],q[36])) -> extension (support ? 0) - 114tuples
1.78/1.81	c intension  and(ne(dist(q[18],q[37]),19),ne(q[18],q[37])) -> extension (support ? 0) - 112tuples
1.78/1.81	c intension  and(ne(dist(q[18],q[38]),20),ne(q[18],q[38])) -> extension (support ? 0) - 110tuples
1.78/1.81	c intension  and(ne(dist(q[18],q[39]),21),ne(q[18],q[39])) -> extension (support ? 0) - 108tuples
1.78/1.82	c intension  and(ne(dist(q[18],q[40]),22),ne(q[18],q[40])) -> extension (support ? 0) - 106tuples
1.78/1.82	c intension  and(ne(dist(q[18],q[41]),23),ne(q[18],q[41])) -> extension (support ? 0) - 104tuples
1.78/1.82	c intension  and(ne(dist(q[18],q[42]),24),ne(q[18],q[42])) -> extension (support ? 0) - 102tuples
1.78/1.82	c intension  and(ne(dist(q[18],q[43]),25),ne(q[18],q[43])) -> extension (support ? 0) - 100tuples
1.78/1.82	c intension  and(ne(dist(q[18],q[44]),26),ne(q[18],q[44])) -> extension (support ? 0) - 98tuples
1.78/1.83	c intension  and(ne(dist(q[18],q[45]),27),ne(q[18],q[45])) -> extension (support ? 0) - 96tuples
1.78/1.83	c intension  and(ne(dist(q[18],q[46]),28),ne(q[18],q[46])) -> extension (support ? 0) - 94tuples
1.78/1.83	c intension  and(ne(dist(q[18],q[47]),29),ne(q[18],q[47])) -> extension (support ? 0) - 92tuples
1.78/1.83	c intension  and(ne(dist(q[18],q[48]),30),ne(q[18],q[48])) -> extension (support ? 0) - 90tuples
1.78/1.84	c intension  and(ne(dist(q[18],q[49]),31),ne(q[18],q[49])) -> extension (support ? 0) - 88tuples
1.78/1.84	c intension  and(ne(dist(q[19],q[20]),1),ne(q[19],q[20])) -> extension (support ? 0) - 148tuples
1.78/1.84	c intension  and(ne(dist(q[19],q[21]),2),ne(q[19],q[21])) -> extension (support ? 0) - 146tuples
1.78/1.84	c intension  and(ne(dist(q[19],q[22]),3),ne(q[19],q[22])) -> extension (support ? 0) - 144tuples
1.78/1.85	c intension  and(ne(dist(q[19],q[23]),4),ne(q[19],q[23])) -> extension (support ? 0) - 142tuples
1.78/1.85	c intension  and(ne(dist(q[19],q[24]),5),ne(q[19],q[24])) -> extension (support ? 0) - 140tuples
1.78/1.85	c intension  and(ne(dist(q[19],q[25]),6),ne(q[19],q[25])) -> extension (support ? 0) - 138tuples
1.78/1.85	c intension  and(ne(dist(q[19],q[26]),7),ne(q[19],q[26])) -> extension (support ? 0) - 136tuples
1.78/1.85	c intension  and(ne(dist(q[19],q[27]),8),ne(q[19],q[27])) -> extension (support ? 0) - 134tuples
1.78/1.86	c intension  and(ne(dist(q[19],q[28]),9),ne(q[19],q[28])) -> extension (support ? 0) - 132tuples
1.78/1.86	c intension  and(ne(dist(q[19],q[29]),10),ne(q[19],q[29])) -> extension (support ? 0) - 130tuples
1.78/1.86	c intension  and(ne(dist(q[19],q[30]),11),ne(q[19],q[30])) -> extension (support ? 0) - 128tuples
1.78/1.86	c intension  and(ne(dist(q[19],q[31]),12),ne(q[19],q[31])) -> extension (support ? 0) - 126tuples
1.78/1.87	c intension  and(ne(dist(q[19],q[32]),13),ne(q[19],q[32])) -> extension (support ? 0) - 124tuples
1.78/1.87	c intension  and(ne(dist(q[19],q[33]),14),ne(q[19],q[33])) -> extension (support ? 0) - 122tuples
1.78/1.87	c intension  and(ne(dist(q[19],q[34]),15),ne(q[19],q[34])) -> extension (support ? 0) - 120tuples
1.78/1.87	c intension  and(ne(dist(q[19],q[35]),16),ne(q[19],q[35])) -> extension (support ? 0) - 118tuples
1.78/1.87	c intension  and(ne(dist(q[19],q[36]),17),ne(q[19],q[36])) -> extension (support ? 0) - 116tuples
1.78/1.88	c intension  and(ne(dist(q[19],q[37]),18),ne(q[19],q[37])) -> extension (support ? 0) - 114tuples
1.78/1.88	c intension  and(ne(dist(q[19],q[38]),19),ne(q[19],q[38])) -> extension (support ? 0) - 112tuples
1.78/1.88	c intension  and(ne(dist(q[19],q[39]),20),ne(q[19],q[39])) -> extension (support ? 0) - 110tuples
1.78/1.88	c intension  and(ne(dist(q[19],q[40]),21),ne(q[19],q[40])) -> extension (support ? 0) - 108tuples
1.78/1.89	c intension  and(ne(dist(q[19],q[41]),22),ne(q[19],q[41])) -> extension (support ? 0) - 106tuples
1.78/1.89	c intension  and(ne(dist(q[19],q[42]),23),ne(q[19],q[42])) -> extension (support ? 0) - 104tuples
1.78/1.89	c intension  and(ne(dist(q[19],q[43]),24),ne(q[19],q[43])) -> extension (support ? 0) - 102tuples
1.78/1.89	c intension  and(ne(dist(q[19],q[44]),25),ne(q[19],q[44])) -> extension (support ? 0) - 100tuples
1.78/1.89	c intension  and(ne(dist(q[19],q[45]),26),ne(q[19],q[45])) -> extension (support ? 0) - 98tuples
1.88/1.90	c intension  and(ne(dist(q[19],q[46]),27),ne(q[19],q[46])) -> extension (support ? 0) - 96tuples
1.88/1.90	c intension  and(ne(dist(q[19],q[47]),28),ne(q[19],q[47])) -> extension (support ? 0) - 94tuples
1.88/1.90	c intension  and(ne(dist(q[19],q[48]),29),ne(q[19],q[48])) -> extension (support ? 0) - 92tuples
1.88/1.90	c intension  and(ne(dist(q[19],q[49]),30),ne(q[19],q[49])) -> extension (support ? 0) - 90tuples
1.88/1.91	c intension  and(ne(dist(q[20],q[21]),1),ne(q[20],q[21])) -> extension (support ? 0) - 148tuples
1.88/1.91	c intension  and(ne(dist(q[20],q[22]),2),ne(q[20],q[22])) -> extension (support ? 0) - 146tuples
1.88/1.91	c intension  and(ne(dist(q[20],q[23]),3),ne(q[20],q[23])) -> extension (support ? 0) - 144tuples
1.88/1.91	c intension  and(ne(dist(q[20],q[24]),4),ne(q[20],q[24])) -> extension (support ? 0) - 142tuples
1.88/1.92	c intension  and(ne(dist(q[20],q[25]),5),ne(q[20],q[25])) -> extension (support ? 0) - 140tuples
1.88/1.92	c intension  and(ne(dist(q[20],q[26]),6),ne(q[20],q[26])) -> extension (support ? 0) - 138tuples
1.88/1.92	c intension  and(ne(dist(q[20],q[27]),7),ne(q[20],q[27])) -> extension (support ? 0) - 136tuples
1.88/1.92	c intension  and(ne(dist(q[20],q[28]),8),ne(q[20],q[28])) -> extension (support ? 0) - 134tuples
1.88/1.92	c intension  and(ne(dist(q[20],q[29]),9),ne(q[20],q[29])) -> extension (support ? 0) - 132tuples
1.88/1.93	c intension  and(ne(dist(q[20],q[30]),10),ne(q[20],q[30])) -> extension (support ? 0) - 130tuples
1.88/1.93	c intension  and(ne(dist(q[20],q[31]),11),ne(q[20],q[31])) -> extension (support ? 0) - 128tuples
1.88/1.93	c intension  and(ne(dist(q[20],q[32]),12),ne(q[20],q[32])) -> extension (support ? 0) - 126tuples
1.88/1.93	c intension  and(ne(dist(q[20],q[33]),13),ne(q[20],q[33])) -> extension (support ? 0) - 124tuples
1.88/1.94	c intension  and(ne(dist(q[20],q[34]),14),ne(q[20],q[34])) -> extension (support ? 0) - 122tuples
1.88/1.94	c intension  and(ne(dist(q[20],q[35]),15),ne(q[20],q[35])) -> extension (support ? 0) - 120tuples
1.88/1.94	c intension  and(ne(dist(q[20],q[36]),16),ne(q[20],q[36])) -> extension (support ? 0) - 118tuples
1.88/1.94	c intension  and(ne(dist(q[20],q[37]),17),ne(q[20],q[37])) -> extension (support ? 0) - 116tuples
1.88/1.94	c intension  and(ne(dist(q[20],q[38]),18),ne(q[20],q[38])) -> extension (support ? 0) - 114tuples
1.88/1.95	c intension  and(ne(dist(q[20],q[39]),19),ne(q[20],q[39])) -> extension (support ? 0) - 112tuples
1.88/1.95	c intension  and(ne(dist(q[20],q[40]),20),ne(q[20],q[40])) -> extension (support ? 0) - 110tuples
1.88/1.95	c intension  and(ne(dist(q[20],q[41]),21),ne(q[20],q[41])) -> extension (support ? 0) - 108tuples
1.88/1.95	c intension  and(ne(dist(q[20],q[42]),22),ne(q[20],q[42])) -> extension (support ? 0) - 106tuples
1.88/1.96	c intension  and(ne(dist(q[20],q[43]),23),ne(q[20],q[43])) -> extension (support ? 0) - 104tuples
1.88/1.96	c intension  and(ne(dist(q[20],q[44]),24),ne(q[20],q[44])) -> extension (support ? 0) - 102tuples
1.88/1.96	c intension  and(ne(dist(q[20],q[45]),25),ne(q[20],q[45])) -> extension (support ? 0) - 100tuples
1.88/1.96	c intension  and(ne(dist(q[20],q[46]),26),ne(q[20],q[46])) -> extension (support ? 0) - 98tuples
1.88/1.97	c intension  and(ne(dist(q[20],q[47]),27),ne(q[20],q[47])) -> extension (support ? 0) - 96tuples
1.88/1.97	c intension  and(ne(dist(q[20],q[48]),28),ne(q[20],q[48])) -> extension (support ? 0) - 94tuples
1.88/1.97	c intension  and(ne(dist(q[20],q[49]),29),ne(q[20],q[49])) -> extension (support ? 0) - 92tuples
1.88/1.97	c intension  and(ne(dist(q[21],q[22]),1),ne(q[21],q[22])) -> extension (support ? 0) - 148tuples
1.88/1.97	c intension  and(ne(dist(q[21],q[23]),2),ne(q[21],q[23])) -> extension (support ? 0) - 146tuples
1.88/1.98	c intension  and(ne(dist(q[21],q[24]),3),ne(q[21],q[24])) -> extension (support ? 0) - 144tuples
1.88/1.98	c intension  and(ne(dist(q[21],q[25]),4),ne(q[21],q[25])) -> extension (support ? 0) - 142tuples
1.88/1.98	c intension  and(ne(dist(q[21],q[26]),5),ne(q[21],q[26])) -> extension (support ? 0) - 140tuples
1.88/1.98	c intension  and(ne(dist(q[21],q[27]),6),ne(q[21],q[27])) -> extension (support ? 0) - 138tuples
1.88/1.99	c intension  and(ne(dist(q[21],q[28]),7),ne(q[21],q[28])) -> extension (support ? 0) - 136tuples
1.88/1.99	c intension  and(ne(dist(q[21],q[29]),8),ne(q[21],q[29])) -> extension (support ? 0) - 134tuples
1.88/1.99	c intension  and(ne(dist(q[21],q[30]),9),ne(q[21],q[30])) -> extension (support ? 0) - 132tuples
1.88/1.99	c intension  and(ne(dist(q[21],q[31]),10),ne(q[21],q[31])) -> extension (support ? 0) - 130tuples
1.88/1.99	c intension  and(ne(dist(q[21],q[32]),11),ne(q[21],q[32])) -> extension (support ? 0) - 128tuples
1.88/2.00	c intension  and(ne(dist(q[21],q[33]),12),ne(q[21],q[33])) -> extension (support ? 0) - 126tuples
1.88/2.00	c intension  and(ne(dist(q[21],q[34]),13),ne(q[21],q[34])) -> extension (support ? 0) - 124tuples
1.88/2.00	c intension  and(ne(dist(q[21],q[35]),14),ne(q[21],q[35])) -> extension (support ? 0) - 122tuples
1.88/2.00	c intension  and(ne(dist(q[21],q[36]),15),ne(q[21],q[36])) -> extension (support ? 0) - 120tuples
1.99/2.01	c intension  and(ne(dist(q[21],q[37]),16),ne(q[21],q[37])) -> extension (support ? 0) - 118tuples
1.99/2.01	c intension  and(ne(dist(q[21],q[38]),17),ne(q[21],q[38])) -> extension (support ? 0) - 116tuples
1.99/2.01	c intension  and(ne(dist(q[21],q[39]),18),ne(q[21],q[39])) -> extension (support ? 0) - 114tuples
1.99/2.01	c intension  and(ne(dist(q[21],q[40]),19),ne(q[21],q[40])) -> extension (support ? 0) - 112tuples
1.99/2.02	c intension  and(ne(dist(q[21],q[41]),20),ne(q[21],q[41])) -> extension (support ? 0) - 110tuples
1.99/2.02	c intension  and(ne(dist(q[21],q[42]),21),ne(q[21],q[42])) -> extension (support ? 0) - 108tuples
1.99/2.02	c intension  and(ne(dist(q[21],q[43]),22),ne(q[21],q[43])) -> extension (support ? 0) - 106tuples
1.99/2.02	c intension  and(ne(dist(q[21],q[44]),23),ne(q[21],q[44])) -> extension (support ? 0) - 104tuples
1.99/2.02	c intension  and(ne(dist(q[21],q[45]),24),ne(q[21],q[45])) -> extension (support ? 0) - 102tuples
1.99/2.03	c intension  and(ne(dist(q[21],q[46]),25),ne(q[21],q[46])) -> extension (support ? 0) - 100tuples
1.99/2.03	c intension  and(ne(dist(q[21],q[47]),26),ne(q[21],q[47])) -> extension (support ? 0) - 98tuples
1.99/2.03	c intension  and(ne(dist(q[21],q[48]),27),ne(q[21],q[48])) -> extension (support ? 0) - 96tuples
1.99/2.03	c intension  and(ne(dist(q[21],q[49]),28),ne(q[21],q[49])) -> extension (support ? 0) - 94tuples
1.99/2.04	c intension  and(ne(dist(q[22],q[23]),1),ne(q[22],q[23])) -> extension (support ? 0) - 148tuples
1.99/2.04	c intension  and(ne(dist(q[22],q[24]),2),ne(q[22],q[24])) -> extension (support ? 0) - 146tuples
1.99/2.04	c intension  and(ne(dist(q[22],q[25]),3),ne(q[22],q[25])) -> extension (support ? 0) - 144tuples
1.99/2.04	c intension  and(ne(dist(q[22],q[26]),4),ne(q[22],q[26])) -> extension (support ? 0) - 142tuples
1.99/2.04	c intension  and(ne(dist(q[22],q[27]),5),ne(q[22],q[27])) -> extension (support ? 0) - 140tuples
1.99/2.05	c intension  and(ne(dist(q[22],q[28]),6),ne(q[22],q[28])) -> extension (support ? 0) - 138tuples
1.99/2.05	c intension  and(ne(dist(q[22],q[29]),7),ne(q[22],q[29])) -> extension (support ? 0) - 136tuples
1.99/2.05	c intension  and(ne(dist(q[22],q[30]),8),ne(q[22],q[30])) -> extension (support ? 0) - 134tuples
1.99/2.05	c intension  and(ne(dist(q[22],q[31]),9),ne(q[22],q[31])) -> extension (support ? 0) - 132tuples
1.99/2.06	c intension  and(ne(dist(q[22],q[32]),10),ne(q[22],q[32])) -> extension (support ? 0) - 130tuples
1.99/2.06	c intension  and(ne(dist(q[22],q[33]),11),ne(q[22],q[33])) -> extension (support ? 0) - 128tuples
1.99/2.06	c intension  and(ne(dist(q[22],q[34]),12),ne(q[22],q[34])) -> extension (support ? 0) - 126tuples
1.99/2.06	c intension  and(ne(dist(q[22],q[35]),13),ne(q[22],q[35])) -> extension (support ? 0) - 124tuples
1.99/2.07	c intension  and(ne(dist(q[22],q[36]),14),ne(q[22],q[36])) -> extension (support ? 0) - 122tuples
1.99/2.07	c intension  and(ne(dist(q[22],q[37]),15),ne(q[22],q[37])) -> extension (support ? 0) - 120tuples
1.99/2.07	c intension  and(ne(dist(q[22],q[38]),16),ne(q[22],q[38])) -> extension (support ? 0) - 118tuples
1.99/2.07	c intension  and(ne(dist(q[22],q[39]),17),ne(q[22],q[39])) -> extension (support ? 0) - 116tuples
1.99/2.07	c intension  and(ne(dist(q[22],q[40]),18),ne(q[22],q[40])) -> extension (support ? 0) - 114tuples
1.99/2.08	c intension  and(ne(dist(q[22],q[41]),19),ne(q[22],q[41])) -> extension (support ? 0) - 112tuples
1.99/2.08	c intension  and(ne(dist(q[22],q[42]),20),ne(q[22],q[42])) -> extension (support ? 0) - 110tuples
1.99/2.08	c intension  and(ne(dist(q[22],q[43]),21),ne(q[22],q[43])) -> extension (support ? 0) - 108tuples
1.99/2.08	c intension  and(ne(dist(q[22],q[44]),22),ne(q[22],q[44])) -> extension (support ? 0) - 106tuples
1.99/2.09	c intension  and(ne(dist(q[22],q[45]),23),ne(q[22],q[45])) -> extension (support ? 0) - 104tuples
1.99/2.09	c intension  and(ne(dist(q[22],q[46]),24),ne(q[22],q[46])) -> extension (support ? 0) - 102tuples
1.99/2.09	c intension  and(ne(dist(q[22],q[47]),25),ne(q[22],q[47])) -> extension (support ? 0) - 100tuples
1.99/2.09	c intension  and(ne(dist(q[22],q[48]),26),ne(q[22],q[48])) -> extension (support ? 0) - 98tuples
1.99/2.09	c intension  and(ne(dist(q[22],q[49]),27),ne(q[22],q[49])) -> extension (support ? 0) - 96tuples
1.99/2.10	c intension  and(ne(dist(q[23],q[24]),1),ne(q[23],q[24])) -> extension (support ? 0) - 148tuples
1.99/2.10	c intension  and(ne(dist(q[23],q[25]),2),ne(q[23],q[25])) -> extension (support ? 0) - 146tuples
1.99/2.10	c intension  and(ne(dist(q[23],q[26]),3),ne(q[23],q[26])) -> extension (support ? 0) - 144tuples
1.99/2.10	c intension  and(ne(dist(q[23],q[27]),4),ne(q[23],q[27])) -> extension (support ? 0) - 142tuples
2.10/2.11	c intension  and(ne(dist(q[23],q[28]),5),ne(q[23],q[28])) -> extension (support ? 0) - 140tuples
2.10/2.11	c intension  and(ne(dist(q[23],q[29]),6),ne(q[23],q[29])) -> extension (support ? 0) - 138tuples
2.10/2.11	c intension  and(ne(dist(q[23],q[30]),7),ne(q[23],q[30])) -> extension (support ? 0) - 136tuples
2.10/2.11	c intension  and(ne(dist(q[23],q[31]),8),ne(q[23],q[31])) -> extension (support ? 0) - 134tuples
2.10/2.11	c intension  and(ne(dist(q[23],q[32]),9),ne(q[23],q[32])) -> extension (support ? 0) - 132tuples
2.10/2.12	c intension  and(ne(dist(q[23],q[33]),10),ne(q[23],q[33])) -> extension (support ? 0) - 130tuples
2.10/2.12	c intension  and(ne(dist(q[23],q[34]),11),ne(q[23],q[34])) -> extension (support ? 0) - 128tuples
2.10/2.12	c intension  and(ne(dist(q[23],q[35]),12),ne(q[23],q[35])) -> extension (support ? 0) - 126tuples
2.10/2.12	c intension  and(ne(dist(q[23],q[36]),13),ne(q[23],q[36])) -> extension (support ? 0) - 124tuples
2.10/2.13	c intension  and(ne(dist(q[23],q[37]),14),ne(q[23],q[37])) -> extension (support ? 0) - 122tuples
2.10/2.13	c intension  and(ne(dist(q[23],q[38]),15),ne(q[23],q[38])) -> extension (support ? 0) - 120tuples
2.10/2.13	c intension  and(ne(dist(q[23],q[39]),16),ne(q[23],q[39])) -> extension (support ? 0) - 118tuples
2.10/2.13	c intension  and(ne(dist(q[23],q[40]),17),ne(q[23],q[40])) -> extension (support ? 0) - 116tuples
2.10/2.14	c intension  and(ne(dist(q[23],q[41]),18),ne(q[23],q[41])) -> extension (support ? 0) - 114tuples
2.10/2.14	c intension  and(ne(dist(q[23],q[42]),19),ne(q[23],q[42])) -> extension (support ? 0) - 112tuples
2.10/2.14	c intension  and(ne(dist(q[23],q[43]),20),ne(q[23],q[43])) -> extension (support ? 0) - 110tuples
2.10/2.14	c intension  and(ne(dist(q[23],q[44]),21),ne(q[23],q[44])) -> extension (support ? 0) - 108tuples
2.10/2.14	c intension  and(ne(dist(q[23],q[45]),22),ne(q[23],q[45])) -> extension (support ? 0) - 106tuples
2.10/2.15	c intension  and(ne(dist(q[23],q[46]),23),ne(q[23],q[46])) -> extension (support ? 0) - 104tuples
2.10/2.15	c intension  and(ne(dist(q[23],q[47]),24),ne(q[23],q[47])) -> extension (support ? 0) - 102tuples
2.10/2.15	c intension  and(ne(dist(q[23],q[48]),25),ne(q[23],q[48])) -> extension (support ? 0) - 100tuples
2.10/2.15	c intension  and(ne(dist(q[23],q[49]),26),ne(q[23],q[49])) -> extension (support ? 0) - 98tuples
2.10/2.16	c intension  and(ne(dist(q[24],q[25]),1),ne(q[24],q[25])) -> extension (support ? 0) - 148tuples
2.10/2.16	c intension  and(ne(dist(q[24],q[26]),2),ne(q[24],q[26])) -> extension (support ? 0) - 146tuples
2.10/2.16	c intension  and(ne(dist(q[24],q[27]),3),ne(q[24],q[27])) -> extension (support ? 0) - 144tuples
2.10/2.16	c intension  and(ne(dist(q[24],q[28]),4),ne(q[24],q[28])) -> extension (support ? 0) - 142tuples
2.10/2.16	c intension  and(ne(dist(q[24],q[29]),5),ne(q[24],q[29])) -> extension (support ? 0) - 140tuples
2.10/2.17	c intension  and(ne(dist(q[24],q[30]),6),ne(q[24],q[30])) -> extension (support ? 0) - 138tuples
2.10/2.17	c intension  and(ne(dist(q[24],q[31]),7),ne(q[24],q[31])) -> extension (support ? 0) - 136tuples
2.10/2.17	c intension  and(ne(dist(q[24],q[32]),8),ne(q[24],q[32])) -> extension (support ? 0) - 134tuples
2.10/2.17	c intension  and(ne(dist(q[24],q[33]),9),ne(q[24],q[33])) -> extension (support ? 0) - 132tuples
2.10/2.18	c intension  and(ne(dist(q[24],q[34]),10),ne(q[24],q[34])) -> extension (support ? 0) - 130tuples
2.10/2.18	c intension  and(ne(dist(q[24],q[35]),11),ne(q[24],q[35])) -> extension (support ? 0) - 128tuples
2.10/2.18	c intension  and(ne(dist(q[24],q[36]),12),ne(q[24],q[36])) -> extension (support ? 0) - 126tuples
2.10/2.18	c intension  and(ne(dist(q[24],q[37]),13),ne(q[24],q[37])) -> extension (support ? 0) - 124tuples
2.10/2.19	c intension  and(ne(dist(q[24],q[38]),14),ne(q[24],q[38])) -> extension (support ? 0) - 122tuples
2.10/2.19	c intension  and(ne(dist(q[24],q[39]),15),ne(q[24],q[39])) -> extension (support ? 0) - 120tuples
2.10/2.19	c intension  and(ne(dist(q[24],q[40]),16),ne(q[24],q[40])) -> extension (support ? 0) - 118tuples
2.10/2.19	c intension  and(ne(dist(q[24],q[41]),17),ne(q[24],q[41])) -> extension (support ? 0) - 116tuples
2.10/2.19	c intension  and(ne(dist(q[24],q[42]),18),ne(q[24],q[42])) -> extension (support ? 0) - 114tuples
2.19/2.20	c intension  and(ne(dist(q[24],q[43]),19),ne(q[24],q[43])) -> extension (support ? 0) - 112tuples
2.19/2.20	c intension  and(ne(dist(q[24],q[44]),20),ne(q[24],q[44])) -> extension (support ? 0) - 110tuples
2.19/2.20	c intension  and(ne(dist(q[24],q[45]),21),ne(q[24],q[45])) -> extension (support ? 0) - 108tuples
2.19/2.20	c intension  and(ne(dist(q[24],q[46]),22),ne(q[24],q[46])) -> extension (support ? 0) - 106tuples
2.19/2.21	c intension  and(ne(dist(q[24],q[47]),23),ne(q[24],q[47])) -> extension (support ? 0) - 104tuples
2.19/2.21	c intension  and(ne(dist(q[24],q[48]),24),ne(q[24],q[48])) -> extension (support ? 0) - 102tuples
2.19/2.21	c intension  and(ne(dist(q[24],q[49]),25),ne(q[24],q[49])) -> extension (support ? 0) - 100tuples
2.19/2.21	c intension  and(ne(dist(q[25],q[26]),1),ne(q[25],q[26])) -> extension (support ? 0) - 148tuples
2.19/2.21	c intension  and(ne(dist(q[25],q[27]),2),ne(q[25],q[27])) -> extension (support ? 0) - 146tuples
2.19/2.22	c intension  and(ne(dist(q[25],q[28]),3),ne(q[25],q[28])) -> extension (support ? 0) - 144tuples
2.19/2.22	c intension  and(ne(dist(q[25],q[29]),4),ne(q[25],q[29])) -> extension (support ? 0) - 142tuples
2.19/2.22	c intension  and(ne(dist(q[25],q[30]),5),ne(q[25],q[30])) -> extension (support ? 0) - 140tuples
2.19/2.22	c intension  and(ne(dist(q[25],q[31]),6),ne(q[25],q[31])) -> extension (support ? 0) - 138tuples
2.19/2.23	c intension  and(ne(dist(q[25],q[32]),7),ne(q[25],q[32])) -> extension (support ? 0) - 136tuples
2.19/2.23	c intension  and(ne(dist(q[25],q[33]),8),ne(q[25],q[33])) -> extension (support ? 0) - 134tuples
2.19/2.23	c intension  and(ne(dist(q[25],q[34]),9),ne(q[25],q[34])) -> extension (support ? 0) - 132tuples
2.19/2.23	c intension  and(ne(dist(q[25],q[35]),10),ne(q[25],q[35])) -> extension (support ? 0) - 130tuples
2.19/2.23	c intension  and(ne(dist(q[25],q[36]),11),ne(q[25],q[36])) -> extension (support ? 0) - 128tuples
2.19/2.24	c intension  and(ne(dist(q[25],q[37]),12),ne(q[25],q[37])) -> extension (support ? 0) - 126tuples
2.19/2.24	c intension  and(ne(dist(q[25],q[38]),13),ne(q[25],q[38])) -> extension (support ? 0) - 124tuples
2.19/2.24	c intension  and(ne(dist(q[25],q[39]),14),ne(q[25],q[39])) -> extension (support ? 0) - 122tuples
2.19/2.24	c intension  and(ne(dist(q[25],q[40]),15),ne(q[25],q[40])) -> extension (support ? 0) - 120tuples
2.19/2.25	c intension  and(ne(dist(q[25],q[41]),16),ne(q[25],q[41])) -> extension (support ? 0) - 118tuples
2.19/2.25	c intension  and(ne(dist(q[25],q[42]),17),ne(q[25],q[42])) -> extension (support ? 0) - 116tuples
2.19/2.25	c intension  and(ne(dist(q[25],q[43]),18),ne(q[25],q[43])) -> extension (support ? 0) - 114tuples
2.19/2.25	c intension  and(ne(dist(q[25],q[44]),19),ne(q[25],q[44])) -> extension (support ? 0) - 112tuples
2.19/2.26	c intension  and(ne(dist(q[25],q[45]),20),ne(q[25],q[45])) -> extension (support ? 0) - 110tuples
2.19/2.26	c intension  and(ne(dist(q[25],q[46]),21),ne(q[25],q[46])) -> extension (support ? 0) - 108tuples
2.19/2.26	c intension  and(ne(dist(q[25],q[47]),22),ne(q[25],q[47])) -> extension (support ? 0) - 106tuples
2.19/2.26	c intension  and(ne(dist(q[25],q[48]),23),ne(q[25],q[48])) -> extension (support ? 0) - 104tuples
2.19/2.26	c intension  and(ne(dist(q[25],q[49]),24),ne(q[25],q[49])) -> extension (support ? 0) - 102tuples
2.19/2.27	c intension  and(ne(dist(q[26],q[27]),1),ne(q[26],q[27])) -> extension (support ? 0) - 148tuples
2.19/2.27	c intension  and(ne(dist(q[26],q[28]),2),ne(q[26],q[28])) -> extension (support ? 0) - 146tuples
2.19/2.27	c intension  and(ne(dist(q[26],q[29]),3),ne(q[26],q[29])) -> extension (support ? 0) - 144tuples
2.19/2.27	c intension  and(ne(dist(q[26],q[30]),4),ne(q[26],q[30])) -> extension (support ? 0) - 142tuples
2.19/2.28	c intension  and(ne(dist(q[26],q[31]),5),ne(q[26],q[31])) -> extension (support ? 0) - 140tuples
2.19/2.28	c intension  and(ne(dist(q[26],q[32]),6),ne(q[26],q[32])) -> extension (support ? 0) - 138tuples
2.19/2.28	c intension  and(ne(dist(q[26],q[33]),7),ne(q[26],q[33])) -> extension (support ? 0) - 136tuples
2.19/2.28	c intension  and(ne(dist(q[26],q[34]),8),ne(q[26],q[34])) -> extension (support ? 0) - 134tuples
2.19/2.28	c intension  and(ne(dist(q[26],q[35]),9),ne(q[26],q[35])) -> extension (support ? 0) - 132tuples
2.19/2.29	c intension  and(ne(dist(q[26],q[36]),10),ne(q[26],q[36])) -> extension (support ? 0) - 130tuples
2.19/2.29	c intension  and(ne(dist(q[26],q[37]),11),ne(q[26],q[37])) -> extension (support ? 0) - 128tuples
2.19/2.29	c intension  and(ne(dist(q[26],q[38]),12),ne(q[26],q[38])) -> extension (support ? 0) - 126tuples
2.19/2.29	c intension  and(ne(dist(q[26],q[39]),13),ne(q[26],q[39])) -> extension (support ? 0) - 124tuples
2.29/2.30	c intension  and(ne(dist(q[26],q[40]),14),ne(q[26],q[40])) -> extension (support ? 0) - 122tuples
2.29/2.30	c intension  and(ne(dist(q[26],q[41]),15),ne(q[26],q[41])) -> extension (support ? 0) - 120tuples
2.29/2.30	c intension  and(ne(dist(q[26],q[42]),16),ne(q[26],q[42])) -> extension (support ? 0) - 118tuples
2.29/2.30	c intension  and(ne(dist(q[26],q[43]),17),ne(q[26],q[43])) -> extension (support ? 0) - 116tuples
2.29/2.30	c intension  and(ne(dist(q[26],q[44]),18),ne(q[26],q[44])) -> extension (support ? 0) - 114tuples
2.29/2.31	c intension  and(ne(dist(q[26],q[45]),19),ne(q[26],q[45])) -> extension (support ? 0) - 112tuples
2.29/2.31	c intension  and(ne(dist(q[26],q[46]),20),ne(q[26],q[46])) -> extension (support ? 0) - 110tuples
2.29/2.31	c intension  and(ne(dist(q[26],q[47]),21),ne(q[26],q[47])) -> extension (support ? 0) - 108tuples
2.29/2.31	c intension  and(ne(dist(q[26],q[48]),22),ne(q[26],q[48])) -> extension (support ? 0) - 106tuples
2.29/2.32	c intension  and(ne(dist(q[26],q[49]),23),ne(q[26],q[49])) -> extension (support ? 0) - 104tuples
2.29/2.32	c intension  and(ne(dist(q[27],q[28]),1),ne(q[27],q[28])) -> extension (support ? 0) - 148tuples
2.29/2.32	c intension  and(ne(dist(q[27],q[29]),2),ne(q[27],q[29])) -> extension (support ? 0) - 146tuples
2.29/2.32	c intension  and(ne(dist(q[27],q[30]),3),ne(q[27],q[30])) -> extension (support ? 0) - 144tuples
2.29/2.33	c intension  and(ne(dist(q[27],q[31]),4),ne(q[27],q[31])) -> extension (support ? 0) - 142tuples
2.29/2.33	c intension  and(ne(dist(q[27],q[32]),5),ne(q[27],q[32])) -> extension (support ? 0) - 140tuples
2.29/2.33	c intension  and(ne(dist(q[27],q[33]),6),ne(q[27],q[33])) -> extension (support ? 0) - 138tuples
2.29/2.33	c intension  and(ne(dist(q[27],q[34]),7),ne(q[27],q[34])) -> extension (support ? 0) - 136tuples
2.29/2.33	c intension  and(ne(dist(q[27],q[35]),8),ne(q[27],q[35])) -> extension (support ? 0) - 134tuples
2.29/2.34	c intension  and(ne(dist(q[27],q[36]),9),ne(q[27],q[36])) -> extension (support ? 0) - 132tuples
2.29/2.34	c intension  and(ne(dist(q[27],q[37]),10),ne(q[27],q[37])) -> extension (support ? 0) - 130tuples
2.29/2.34	c intension  and(ne(dist(q[27],q[38]),11),ne(q[27],q[38])) -> extension (support ? 0) - 128tuples
2.29/2.34	c intension  and(ne(dist(q[27],q[39]),12),ne(q[27],q[39])) -> extension (support ? 0) - 126tuples
2.29/2.35	c intension  and(ne(dist(q[27],q[40]),13),ne(q[27],q[40])) -> extension (support ? 0) - 124tuples
2.29/2.35	c intension  and(ne(dist(q[27],q[41]),14),ne(q[27],q[41])) -> extension (support ? 0) - 122tuples
2.29/2.35	c intension  and(ne(dist(q[27],q[42]),15),ne(q[27],q[42])) -> extension (support ? 0) - 120tuples
2.29/2.35	c intension  and(ne(dist(q[27],q[43]),16),ne(q[27],q[43])) -> extension (support ? 0) - 118tuples
2.29/2.35	c intension  and(ne(dist(q[27],q[44]),17),ne(q[27],q[44])) -> extension (support ? 0) - 116tuples
2.29/2.36	c intension  and(ne(dist(q[27],q[45]),18),ne(q[27],q[45])) -> extension (support ? 0) - 114tuples
2.29/2.36	c intension  and(ne(dist(q[27],q[46]),19),ne(q[27],q[46])) -> extension (support ? 0) - 112tuples
2.29/2.36	c intension  and(ne(dist(q[27],q[47]),20),ne(q[27],q[47])) -> extension (support ? 0) - 110tuples
2.29/2.36	c intension  and(ne(dist(q[27],q[48]),21),ne(q[27],q[48])) -> extension (support ? 0) - 108tuples
2.29/2.37	c intension  and(ne(dist(q[27],q[49]),22),ne(q[27],q[49])) -> extension (support ? 0) - 106tuples
2.29/2.37	c intension  and(ne(dist(q[28],q[29]),1),ne(q[28],q[29])) -> extension (support ? 0) - 148tuples
2.29/2.37	c intension  and(ne(dist(q[28],q[30]),2),ne(q[28],q[30])) -> extension (support ? 0) - 146tuples
2.29/2.37	c intension  and(ne(dist(q[28],q[31]),3),ne(q[28],q[31])) -> extension (support ? 0) - 144tuples
2.29/2.38	c intension  and(ne(dist(q[28],q[32]),4),ne(q[28],q[32])) -> extension (support ? 0) - 142tuples
2.29/2.38	c intension  and(ne(dist(q[28],q[33]),5),ne(q[28],q[33])) -> extension (support ? 0) - 140tuples
2.29/2.38	c intension  and(ne(dist(q[28],q[34]),6),ne(q[28],q[34])) -> extension (support ? 0) - 138tuples
2.29/2.38	c intension  and(ne(dist(q[28],q[35]),7),ne(q[28],q[35])) -> extension (support ? 0) - 136tuples
2.29/2.38	c intension  and(ne(dist(q[28],q[36]),8),ne(q[28],q[36])) -> extension (support ? 0) - 134tuples
2.29/2.39	c intension  and(ne(dist(q[28],q[37]),9),ne(q[28],q[37])) -> extension (support ? 0) - 132tuples
2.29/2.39	c intension  and(ne(dist(q[28],q[38]),10),ne(q[28],q[38])) -> extension (support ? 0) - 130tuples
2.29/2.39	c intension  and(ne(dist(q[28],q[39]),11),ne(q[28],q[39])) -> extension (support ? 0) - 128tuples
2.29/2.39	c intension  and(ne(dist(q[28],q[40]),12),ne(q[28],q[40])) -> extension (support ? 0) - 126tuples
2.29/2.40	c intension  and(ne(dist(q[28],q[41]),13),ne(q[28],q[41])) -> extension (support ? 0) - 124tuples
2.39/2.40	c intension  and(ne(dist(q[28],q[42]),14),ne(q[28],q[42])) -> extension (support ? 0) - 122tuples
2.39/2.40	c intension  and(ne(dist(q[28],q[43]),15),ne(q[28],q[43])) -> extension (support ? 0) - 120tuples
2.39/2.40	c intension  and(ne(dist(q[28],q[44]),16),ne(q[28],q[44])) -> extension (support ? 0) - 118tuples
2.39/2.40	c intension  and(ne(dist(q[28],q[45]),17),ne(q[28],q[45])) -> extension (support ? 0) - 116tuples
2.39/2.41	c intension  and(ne(dist(q[28],q[46]),18),ne(q[28],q[46])) -> extension (support ? 0) - 114tuples
2.39/2.41	c intension  and(ne(dist(q[28],q[47]),19),ne(q[28],q[47])) -> extension (support ? 0) - 112tuples
2.39/2.41	c intension  and(ne(dist(q[28],q[48]),20),ne(q[28],q[48])) -> extension (support ? 0) - 110tuples
2.39/2.41	c intension  and(ne(dist(q[28],q[49]),21),ne(q[28],q[49])) -> extension (support ? 0) - 108tuples
2.39/2.42	c intension  and(ne(dist(q[29],q[30]),1),ne(q[29],q[30])) -> extension (support ? 0) - 148tuples
2.39/2.42	c intension  and(ne(dist(q[29],q[31]),2),ne(q[29],q[31])) -> extension (support ? 0) - 146tuples
2.39/2.42	c intension  and(ne(dist(q[29],q[32]),3),ne(q[29],q[32])) -> extension (support ? 0) - 144tuples
2.39/2.42	c intension  and(ne(dist(q[29],q[33]),4),ne(q[29],q[33])) -> extension (support ? 0) - 142tuples
2.39/2.42	c intension  and(ne(dist(q[29],q[34]),5),ne(q[29],q[34])) -> extension (support ? 0) - 140tuples
2.39/2.43	c intension  and(ne(dist(q[29],q[35]),6),ne(q[29],q[35])) -> extension (support ? 0) - 138tuples
2.39/2.43	c intension  and(ne(dist(q[29],q[36]),7),ne(q[29],q[36])) -> extension (support ? 0) - 136tuples
2.39/2.43	c intension  and(ne(dist(q[29],q[37]),8),ne(q[29],q[37])) -> extension (support ? 0) - 134tuples
2.39/2.43	c intension  and(ne(dist(q[29],q[38]),9),ne(q[29],q[38])) -> extension (support ? 0) - 132tuples
2.39/2.44	c intension  and(ne(dist(q[29],q[39]),10),ne(q[29],q[39])) -> extension (support ? 0) - 130tuples
2.39/2.44	c intension  and(ne(dist(q[29],q[40]),11),ne(q[29],q[40])) -> extension (support ? 0) - 128tuples
2.39/2.44	c intension  and(ne(dist(q[29],q[41]),12),ne(q[29],q[41])) -> extension (support ? 0) - 126tuples
2.39/2.44	c intension  and(ne(dist(q[29],q[42]),13),ne(q[29],q[42])) -> extension (support ? 0) - 124tuples
2.39/2.45	c intension  and(ne(dist(q[29],q[43]),14),ne(q[29],q[43])) -> extension (support ? 0) - 122tuples
2.39/2.45	c intension  and(ne(dist(q[29],q[44]),15),ne(q[29],q[44])) -> extension (support ? 0) - 120tuples
2.39/2.45	c intension  and(ne(dist(q[29],q[45]),16),ne(q[29],q[45])) -> extension (support ? 0) - 118tuples
2.39/2.45	c intension  and(ne(dist(q[29],q[46]),17),ne(q[29],q[46])) -> extension (support ? 0) - 116tuples
2.39/2.45	c intension  and(ne(dist(q[29],q[47]),18),ne(q[29],q[47])) -> extension (support ? 0) - 114tuples
2.39/2.46	c intension  and(ne(dist(q[29],q[48]),19),ne(q[29],q[48])) -> extension (support ? 0) - 112tuples
2.39/2.46	c intension  and(ne(dist(q[29],q[49]),20),ne(q[29],q[49])) -> extension (support ? 0) - 110tuples
2.39/2.46	c intension  and(ne(dist(q[30],q[31]),1),ne(q[30],q[31])) -> extension (support ? 0) - 148tuples
2.39/2.46	c intension  and(ne(dist(q[30],q[32]),2),ne(q[30],q[32])) -> extension (support ? 0) - 146tuples
2.39/2.47	c intension  and(ne(dist(q[30],q[33]),3),ne(q[30],q[33])) -> extension (support ? 0) - 144tuples
2.39/2.47	c intension  and(ne(dist(q[30],q[34]),4),ne(q[30],q[34])) -> extension (support ? 0) - 142tuples
2.39/2.47	c intension  and(ne(dist(q[30],q[35]),5),ne(q[30],q[35])) -> extension (support ? 0) - 140tuples
2.39/2.47	c intension  and(ne(dist(q[30],q[36]),6),ne(q[30],q[36])) -> extension (support ? 0) - 138tuples
2.39/2.47	c intension  and(ne(dist(q[30],q[37]),7),ne(q[30],q[37])) -> extension (support ? 0) - 136tuples
2.39/2.48	c intension  and(ne(dist(q[30],q[38]),8),ne(q[30],q[38])) -> extension (support ? 0) - 134tuples
2.39/2.48	c intension  and(ne(dist(q[30],q[39]),9),ne(q[30],q[39])) -> extension (support ? 0) - 132tuples
2.39/2.48	c intension  and(ne(dist(q[30],q[40]),10),ne(q[30],q[40])) -> extension (support ? 0) - 130tuples
2.39/2.48	c intension  and(ne(dist(q[30],q[41]),11),ne(q[30],q[41])) -> extension (support ? 0) - 128tuples
2.39/2.49	c intension  and(ne(dist(q[30],q[42]),12),ne(q[30],q[42])) -> extension (support ? 0) - 126tuples
2.39/2.49	c intension  and(ne(dist(q[30],q[43]),13),ne(q[30],q[43])) -> extension (support ? 0) - 124tuples
2.39/2.49	c intension  and(ne(dist(q[30],q[44]),14),ne(q[30],q[44])) -> extension (support ? 0) - 122tuples
2.39/2.49	c intension  and(ne(dist(q[30],q[45]),15),ne(q[30],q[45])) -> extension (support ? 0) - 120tuples
2.39/2.50	c intension  and(ne(dist(q[30],q[46]),16),ne(q[30],q[46])) -> extension (support ? 0) - 118tuples
2.49/2.50	c intension  and(ne(dist(q[30],q[47]),17),ne(q[30],q[47])) -> extension (support ? 0) - 116tuples
2.49/2.50	c intension  and(ne(dist(q[30],q[48]),18),ne(q[30],q[48])) -> extension (support ? 0) - 114tuples
2.49/2.50	c intension  and(ne(dist(q[30],q[49]),19),ne(q[30],q[49])) -> extension (support ? 0) - 112tuples
2.49/2.50	c intension  and(ne(dist(q[31],q[32]),1),ne(q[31],q[32])) -> extension (support ? 0) - 148tuples
2.49/2.51	c intension  and(ne(dist(q[31],q[33]),2),ne(q[31],q[33])) -> extension (support ? 0) - 146tuples
2.49/2.51	c intension  and(ne(dist(q[31],q[34]),3),ne(q[31],q[34])) -> extension (support ? 0) - 144tuples
2.49/2.51	c intension  and(ne(dist(q[31],q[35]),4),ne(q[31],q[35])) -> extension (support ? 0) - 142tuples
2.49/2.51	c intension  and(ne(dist(q[31],q[36]),5),ne(q[31],q[36])) -> extension (support ? 0) - 140tuples
2.49/2.52	c intension  and(ne(dist(q[31],q[37]),6),ne(q[31],q[37])) -> extension (support ? 0) - 138tuples
2.49/2.52	c intension  and(ne(dist(q[31],q[38]),7),ne(q[31],q[38])) -> extension (support ? 0) - 136tuples
2.49/2.52	c intension  and(ne(dist(q[31],q[39]),8),ne(q[31],q[39])) -> extension (support ? 0) - 134tuples
2.49/2.52	c intension  and(ne(dist(q[31],q[40]),9),ne(q[31],q[40])) -> extension (support ? 0) - 132tuples
2.49/2.52	c intension  and(ne(dist(q[31],q[41]),10),ne(q[31],q[41])) -> extension (support ? 0) - 130tuples
2.49/2.53	c intension  and(ne(dist(q[31],q[42]),11),ne(q[31],q[42])) -> extension (support ? 0) - 128tuples
2.49/2.53	c intension  and(ne(dist(q[31],q[43]),12),ne(q[31],q[43])) -> extension (support ? 0) - 126tuples
2.49/2.53	c intension  and(ne(dist(q[31],q[44]),13),ne(q[31],q[44])) -> extension (support ? 0) - 124tuples
2.49/2.53	c intension  and(ne(dist(q[31],q[45]),14),ne(q[31],q[45])) -> extension (support ? 0) - 122tuples
2.49/2.54	c intension  and(ne(dist(q[31],q[46]),15),ne(q[31],q[46])) -> extension (support ? 0) - 120tuples
2.49/2.54	c intension  and(ne(dist(q[31],q[47]),16),ne(q[31],q[47])) -> extension (support ? 0) - 118tuples
2.49/2.54	c intension  and(ne(dist(q[31],q[48]),17),ne(q[31],q[48])) -> extension (support ? 0) - 116tuples
2.49/2.54	c intension  and(ne(dist(q[31],q[49]),18),ne(q[31],q[49])) -> extension (support ? 0) - 114tuples
2.49/2.54	c intension  and(ne(dist(q[32],q[33]),1),ne(q[32],q[33])) -> extension (support ? 0) - 148tuples
2.49/2.55	c intension  and(ne(dist(q[32],q[34]),2),ne(q[32],q[34])) -> extension (support ? 0) - 146tuples
2.49/2.55	c intension  and(ne(dist(q[32],q[35]),3),ne(q[32],q[35])) -> extension (support ? 0) - 144tuples
2.49/2.55	c intension  and(ne(dist(q[32],q[36]),4),ne(q[32],q[36])) -> extension (support ? 0) - 142tuples
2.49/2.55	c intension  and(ne(dist(q[32],q[37]),5),ne(q[32],q[37])) -> extension (support ? 0) - 140tuples
2.49/2.56	c intension  and(ne(dist(q[32],q[38]),6),ne(q[32],q[38])) -> extension (support ? 0) - 138tuples
2.49/2.56	c intension  and(ne(dist(q[32],q[39]),7),ne(q[32],q[39])) -> extension (support ? 0) - 136tuples
2.49/2.56	c intension  and(ne(dist(q[32],q[40]),8),ne(q[32],q[40])) -> extension (support ? 0) - 134tuples
2.49/2.56	c intension  and(ne(dist(q[32],q[41]),9),ne(q[32],q[41])) -> extension (support ? 0) - 132tuples
2.49/2.57	c intension  and(ne(dist(q[32],q[42]),10),ne(q[32],q[42])) -> extension (support ? 0) - 130tuples
2.49/2.57	c intension  and(ne(dist(q[32],q[43]),11),ne(q[32],q[43])) -> extension (support ? 0) - 128tuples
2.49/2.57	c intension  and(ne(dist(q[32],q[44]),12),ne(q[32],q[44])) -> extension (support ? 0) - 126tuples
2.49/2.57	c intension  and(ne(dist(q[32],q[45]),13),ne(q[32],q[45])) -> extension (support ? 0) - 124tuples
2.49/2.57	c intension  and(ne(dist(q[32],q[46]),14),ne(q[32],q[46])) -> extension (support ? 0) - 122tuples
2.49/2.58	c intension  and(ne(dist(q[32],q[47]),15),ne(q[32],q[47])) -> extension (support ? 0) - 120tuples
2.49/2.58	c intension  and(ne(dist(q[32],q[48]),16),ne(q[32],q[48])) -> extension (support ? 0) - 118tuples
2.49/2.58	c intension  and(ne(dist(q[32],q[49]),17),ne(q[32],q[49])) -> extension (support ? 0) - 116tuples
2.49/2.58	c intension  and(ne(dist(q[33],q[34]),1),ne(q[33],q[34])) -> extension (support ? 0) - 148tuples
2.49/2.59	c intension  and(ne(dist(q[33],q[35]),2),ne(q[33],q[35])) -> extension (support ? 0) - 146tuples
2.49/2.59	c intension  and(ne(dist(q[33],q[36]),3),ne(q[33],q[36])) -> extension (support ? 0) - 144tuples
2.49/2.59	c intension  and(ne(dist(q[33],q[37]),4),ne(q[33],q[37])) -> extension (support ? 0) - 142tuples
2.49/2.59	c intension  and(ne(dist(q[33],q[38]),5),ne(q[33],q[38])) -> extension (support ? 0) - 140tuples
2.49/2.59	c intension  and(ne(dist(q[33],q[39]),6),ne(q[33],q[39])) -> extension (support ? 0) - 138tuples
2.59/2.60	c intension  and(ne(dist(q[33],q[40]),7),ne(q[33],q[40])) -> extension (support ? 0) - 136tuples
2.59/2.60	c intension  and(ne(dist(q[33],q[41]),8),ne(q[33],q[41])) -> extension (support ? 0) - 134tuples
2.59/2.60	c intension  and(ne(dist(q[33],q[42]),9),ne(q[33],q[42])) -> extension (support ? 0) - 132tuples
2.59/2.60	c intension  and(ne(dist(q[33],q[43]),10),ne(q[33],q[43])) -> extension (support ? 0) - 130tuples
2.59/2.61	c intension  and(ne(dist(q[33],q[44]),11),ne(q[33],q[44])) -> extension (support ? 0) - 128tuples
2.59/2.61	c intension  and(ne(dist(q[33],q[45]),12),ne(q[33],q[45])) -> extension (support ? 0) - 126tuples
2.59/2.61	c intension  and(ne(dist(q[33],q[46]),13),ne(q[33],q[46])) -> extension (support ? 0) - 124tuples
2.59/2.61	c intension  and(ne(dist(q[33],q[47]),14),ne(q[33],q[47])) -> extension (support ? 0) - 122tuples
2.59/2.61	c intension  and(ne(dist(q[33],q[48]),15),ne(q[33],q[48])) -> extension (support ? 0) - 120tuples
2.59/2.62	c intension  and(ne(dist(q[33],q[49]),16),ne(q[33],q[49])) -> extension (support ? 0) - 118tuples
2.59/2.62	c intension  and(ne(dist(q[34],q[35]),1),ne(q[34],q[35])) -> extension (support ? 0) - 148tuples
2.59/2.62	c intension  and(ne(dist(q[34],q[36]),2),ne(q[34],q[36])) -> extension (support ? 0) - 146tuples
2.59/2.62	c intension  and(ne(dist(q[34],q[37]),3),ne(q[34],q[37])) -> extension (support ? 0) - 144tuples
2.59/2.63	c intension  and(ne(dist(q[34],q[38]),4),ne(q[34],q[38])) -> extension (support ? 0) - 142tuples
2.59/2.63	c intension  and(ne(dist(q[34],q[39]),5),ne(q[34],q[39])) -> extension (support ? 0) - 140tuples
2.59/2.63	c intension  and(ne(dist(q[34],q[40]),6),ne(q[34],q[40])) -> extension (support ? 0) - 138tuples
2.59/2.63	c intension  and(ne(dist(q[34],q[41]),7),ne(q[34],q[41])) -> extension (support ? 0) - 136tuples
2.59/2.64	c intension  and(ne(dist(q[34],q[42]),8),ne(q[34],q[42])) -> extension (support ? 0) - 134tuples
2.59/2.64	c intension  and(ne(dist(q[34],q[43]),9),ne(q[34],q[43])) -> extension (support ? 0) - 132tuples
2.59/2.64	c intension  and(ne(dist(q[34],q[44]),10),ne(q[34],q[44])) -> extension (support ? 0) - 130tuples
2.59/2.64	c intension  and(ne(dist(q[34],q[45]),11),ne(q[34],q[45])) -> extension (support ? 0) - 128tuples
2.59/2.64	c intension  and(ne(dist(q[34],q[46]),12),ne(q[34],q[46])) -> extension (support ? 0) - 126tuples
2.59/2.65	c intension  and(ne(dist(q[34],q[47]),13),ne(q[34],q[47])) -> extension (support ? 0) - 124tuples
2.59/2.65	c intension  and(ne(dist(q[34],q[48]),14),ne(q[34],q[48])) -> extension (support ? 0) - 122tuples
2.59/2.65	c intension  and(ne(dist(q[34],q[49]),15),ne(q[34],q[49])) -> extension (support ? 0) - 120tuples
2.59/2.65	c intension  and(ne(dist(q[35],q[36]),1),ne(q[35],q[36])) -> extension (support ? 0) - 148tuples
2.59/2.66	c intension  and(ne(dist(q[35],q[37]),2),ne(q[35],q[37])) -> extension (support ? 0) - 146tuples
2.59/2.66	c intension  and(ne(dist(q[35],q[38]),3),ne(q[35],q[38])) -> extension (support ? 0) - 144tuples
2.59/2.66	c intension  and(ne(dist(q[35],q[39]),4),ne(q[35],q[39])) -> extension (support ? 0) - 142tuples
2.59/2.66	c intension  and(ne(dist(q[35],q[40]),5),ne(q[35],q[40])) -> extension (support ? 0) - 140tuples
2.59/2.66	c intension  and(ne(dist(q[35],q[41]),6),ne(q[35],q[41])) -> extension (support ? 0) - 138tuples
2.59/2.67	c intension  and(ne(dist(q[35],q[42]),7),ne(q[35],q[42])) -> extension (support ? 0) - 136tuples
2.59/2.67	c intension  and(ne(dist(q[35],q[43]),8),ne(q[35],q[43])) -> extension (support ? 0) - 134tuples
2.59/2.67	c intension  and(ne(dist(q[35],q[44]),9),ne(q[35],q[44])) -> extension (support ? 0) - 132tuples
2.59/2.67	c intension  and(ne(dist(q[35],q[45]),10),ne(q[35],q[45])) -> extension (support ? 0) - 130tuples
2.59/2.68	c intension  and(ne(dist(q[35],q[46]),11),ne(q[35],q[46])) -> extension (support ? 0) - 128tuples
2.59/2.68	c intension  and(ne(dist(q[35],q[47]),12),ne(q[35],q[47])) -> extension (support ? 0) - 126tuples
2.59/2.68	c intension  and(ne(dist(q[35],q[48]),13),ne(q[35],q[48])) -> extension (support ? 0) - 124tuples
2.59/2.68	c intension  and(ne(dist(q[35],q[49]),14),ne(q[35],q[49])) -> extension (support ? 0) - 122tuples
2.59/2.69	c intension  and(ne(dist(q[36],q[37]),1),ne(q[36],q[37])) -> extension (support ? 0) - 148tuples
2.59/2.69	c intension  and(ne(dist(q[36],q[38]),2),ne(q[36],q[38])) -> extension (support ? 0) - 146tuples
2.59/2.69	c intension  and(ne(dist(q[36],q[39]),3),ne(q[36],q[39])) -> extension (support ? 0) - 144tuples
2.59/2.69	c intension  and(ne(dist(q[36],q[40]),4),ne(q[36],q[40])) -> extension (support ? 0) - 142tuples
2.59/2.69	c intension  and(ne(dist(q[36],q[41]),5),ne(q[36],q[41])) -> extension (support ? 0) - 140tuples
2.68/2.70	c intension  and(ne(dist(q[36],q[42]),6),ne(q[36],q[42])) -> extension (support ? 0) - 138tuples
2.68/2.70	c intension  and(ne(dist(q[36],q[43]),7),ne(q[36],q[43])) -> extension (support ? 0) - 136tuples
2.68/2.70	c intension  and(ne(dist(q[36],q[44]),8),ne(q[36],q[44])) -> extension (support ? 0) - 134tuples
2.68/2.70	c intension  and(ne(dist(q[36],q[45]),9),ne(q[36],q[45])) -> extension (support ? 0) - 132tuples
2.68/2.71	c intension  and(ne(dist(q[36],q[46]),10),ne(q[36],q[46])) -> extension (support ? 0) - 130tuples
2.68/2.71	c intension  and(ne(dist(q[36],q[47]),11),ne(q[36],q[47])) -> extension (support ? 0) - 128tuples
2.68/2.71	c intension  and(ne(dist(q[36],q[48]),12),ne(q[36],q[48])) -> extension (support ? 0) - 126tuples
2.68/2.71	c intension  and(ne(dist(q[36],q[49]),13),ne(q[36],q[49])) -> extension (support ? 0) - 124tuples
2.68/2.71	c intension  and(ne(dist(q[37],q[38]),1),ne(q[37],q[38])) -> extension (support ? 0) - 148tuples
2.68/2.72	c intension  and(ne(dist(q[37],q[39]),2),ne(q[37],q[39])) -> extension (support ? 0) - 146tuples
2.68/2.72	c intension  and(ne(dist(q[37],q[40]),3),ne(q[37],q[40])) -> extension (support ? 0) - 144tuples
2.68/2.72	c intension  and(ne(dist(q[37],q[41]),4),ne(q[37],q[41])) -> extension (support ? 0) - 142tuples
2.68/2.72	c intension  and(ne(dist(q[37],q[42]),5),ne(q[37],q[42])) -> extension (support ? 0) - 140tuples
2.68/2.73	c intension  and(ne(dist(q[37],q[43]),6),ne(q[37],q[43])) -> extension (support ? 0) - 138tuples
2.68/2.73	c intension  and(ne(dist(q[37],q[44]),7),ne(q[37],q[44])) -> extension (support ? 0) - 136tuples
2.68/2.73	c intension  and(ne(dist(q[37],q[45]),8),ne(q[37],q[45])) -> extension (support ? 0) - 134tuples
2.68/2.73	c intension  and(ne(dist(q[37],q[46]),9),ne(q[37],q[46])) -> extension (support ? 0) - 132tuples
2.68/2.73	c intension  and(ne(dist(q[37],q[47]),10),ne(q[37],q[47])) -> extension (support ? 0) - 130tuples
2.68/2.74	c intension  and(ne(dist(q[37],q[48]),11),ne(q[37],q[48])) -> extension (support ? 0) - 128tuples
2.68/2.74	c intension  and(ne(dist(q[37],q[49]),12),ne(q[37],q[49])) -> extension (support ? 0) - 126tuples
2.68/2.74	c intension  and(ne(dist(q[38],q[39]),1),ne(q[38],q[39])) -> extension (support ? 0) - 148tuples
2.68/2.74	c intension  and(ne(dist(q[38],q[40]),2),ne(q[38],q[40])) -> extension (support ? 0) - 146tuples
2.68/2.75	c intension  and(ne(dist(q[38],q[41]),3),ne(q[38],q[41])) -> extension (support ? 0) - 144tuples
2.68/2.75	c intension  and(ne(dist(q[38],q[42]),4),ne(q[38],q[42])) -> extension (support ? 0) - 142tuples
2.68/2.75	c intension  and(ne(dist(q[38],q[43]),5),ne(q[38],q[43])) -> extension (support ? 0) - 140tuples
2.68/2.75	c intension  and(ne(dist(q[38],q[44]),6),ne(q[38],q[44])) -> extension (support ? 0) - 138tuples
2.68/2.76	c intension  and(ne(dist(q[38],q[45]),7),ne(q[38],q[45])) -> extension (support ? 0) - 136tuples
2.68/2.76	c intension  and(ne(dist(q[38],q[46]),8),ne(q[38],q[46])) -> extension (support ? 0) - 134tuples
2.68/2.76	c intension  and(ne(dist(q[38],q[47]),9),ne(q[38],q[47])) -> extension (support ? 0) - 132tuples
2.68/2.76	c intension  and(ne(dist(q[38],q[48]),10),ne(q[38],q[48])) -> extension (support ? 0) - 130tuples
2.68/2.76	c intension  and(ne(dist(q[38],q[49]),11),ne(q[38],q[49])) -> extension (support ? 0) - 128tuples
2.68/2.77	c intension  and(ne(dist(q[39],q[40]),1),ne(q[39],q[40])) -> extension (support ? 0) - 148tuples
2.68/2.77	c intension  and(ne(dist(q[39],q[41]),2),ne(q[39],q[41])) -> extension (support ? 0) - 146tuples
2.68/2.77	c intension  and(ne(dist(q[39],q[42]),3),ne(q[39],q[42])) -> extension (support ? 0) - 144tuples
2.68/2.77	c intension  and(ne(dist(q[39],q[43]),4),ne(q[39],q[43])) -> extension (support ? 0) - 142tuples
2.68/2.78	c intension  and(ne(dist(q[39],q[44]),5),ne(q[39],q[44])) -> extension (support ? 0) - 140tuples
2.68/2.78	c intension  and(ne(dist(q[39],q[45]),6),ne(q[39],q[45])) -> extension (support ? 0) - 138tuples
2.68/2.78	c intension  and(ne(dist(q[39],q[46]),7),ne(q[39],q[46])) -> extension (support ? 0) - 136tuples
2.68/2.78	c intension  and(ne(dist(q[39],q[47]),8),ne(q[39],q[47])) -> extension (support ? 0) - 134tuples
2.68/2.78	c intension  and(ne(dist(q[39],q[48]),9),ne(q[39],q[48])) -> extension (support ? 0) - 132tuples
2.68/2.79	c intension  and(ne(dist(q[39],q[49]),10),ne(q[39],q[49])) -> extension (support ? 0) - 130tuples
2.68/2.79	c intension  and(ne(dist(q[40],q[41]),1),ne(q[40],q[41])) -> extension (support ? 0) - 148tuples
2.68/2.79	c intension  and(ne(dist(q[40],q[42]),2),ne(q[40],q[42])) -> extension (support ? 0) - 146tuples
2.68/2.79	c intension  and(ne(dist(q[40],q[43]),3),ne(q[40],q[43])) -> extension (support ? 0) - 144tuples
2.78/2.80	c intension  and(ne(dist(q[40],q[44]),4),ne(q[40],q[44])) -> extension (support ? 0) - 142tuples
2.78/2.80	c intension  and(ne(dist(q[40],q[45]),5),ne(q[40],q[45])) -> extension (support ? 0) - 140tuples
2.78/2.80	c intension  and(ne(dist(q[40],q[46]),6),ne(q[40],q[46])) -> extension (support ? 0) - 138tuples
2.78/2.80	c intension  and(ne(dist(q[40],q[47]),7),ne(q[40],q[47])) -> extension (support ? 0) - 136tuples
2.78/2.81	c intension  and(ne(dist(q[40],q[48]),8),ne(q[40],q[48])) -> extension (support ? 0) - 134tuples
2.78/2.81	c intension  and(ne(dist(q[40],q[49]),9),ne(q[40],q[49])) -> extension (support ? 0) - 132tuples
2.78/2.81	c intension  and(ne(dist(q[41],q[42]),1),ne(q[41],q[42])) -> extension (support ? 0) - 148tuples
2.78/2.81	c intension  and(ne(dist(q[41],q[43]),2),ne(q[41],q[43])) -> extension (support ? 0) - 146tuples
2.78/2.81	c intension  and(ne(dist(q[41],q[44]),3),ne(q[41],q[44])) -> extension (support ? 0) - 144tuples
2.78/2.82	c intension  and(ne(dist(q[41],q[45]),4),ne(q[41],q[45])) -> extension (support ? 0) - 142tuples
2.78/2.82	c intension  and(ne(dist(q[41],q[46]),5),ne(q[41],q[46])) -> extension (support ? 0) - 140tuples
2.78/2.82	c intension  and(ne(dist(q[41],q[47]),6),ne(q[41],q[47])) -> extension (support ? 0) - 138tuples
2.78/2.82	c intension  and(ne(dist(q[41],q[48]),7),ne(q[41],q[48])) -> extension (support ? 0) - 136tuples
2.78/2.83	c intension  and(ne(dist(q[41],q[49]),8),ne(q[41],q[49])) -> extension (support ? 0) - 134tuples
2.78/2.83	c intension  and(ne(dist(q[42],q[43]),1),ne(q[42],q[43])) -> extension (support ? 0) - 148tuples
2.78/2.83	c intension  and(ne(dist(q[42],q[44]),2),ne(q[42],q[44])) -> extension (support ? 0) - 146tuples
2.78/2.83	c intension  and(ne(dist(q[42],q[45]),3),ne(q[42],q[45])) -> extension (support ? 0) - 144tuples
2.78/2.83	c intension  and(ne(dist(q[42],q[46]),4),ne(q[42],q[46])) -> extension (support ? 0) - 142tuples
2.78/2.84	c intension  and(ne(dist(q[42],q[47]),5),ne(q[42],q[47])) -> extension (support ? 0) - 140tuples
2.78/2.84	c intension  and(ne(dist(q[42],q[48]),6),ne(q[42],q[48])) -> extension (support ? 0) - 138tuples
2.78/2.84	c intension  and(ne(dist(q[42],q[49]),7),ne(q[42],q[49])) -> extension (support ? 0) - 136tuples
2.78/2.84	c intension  and(ne(dist(q[43],q[44]),1),ne(q[43],q[44])) -> extension (support ? 0) - 148tuples
2.78/2.85	c intension  and(ne(dist(q[43],q[45]),2),ne(q[43],q[45])) -> extension (support ? 0) - 146tuples
2.78/2.85	c intension  and(ne(dist(q[43],q[46]),3),ne(q[43],q[46])) -> extension (support ? 0) - 144tuples
2.78/2.85	c intension  and(ne(dist(q[43],q[47]),4),ne(q[43],q[47])) -> extension (support ? 0) - 142tuples
2.78/2.85	c intension  and(ne(dist(q[43],q[48]),5),ne(q[43],q[48])) -> extension (support ? 0) - 140tuples
2.78/2.86	c intension  and(ne(dist(q[43],q[49]),6),ne(q[43],q[49])) -> extension (support ? 0) - 138tuples
2.78/2.86	c intension  and(ne(dist(q[44],q[45]),1),ne(q[44],q[45])) -> extension (support ? 0) - 148tuples
2.78/2.86	c intension  and(ne(dist(q[44],q[46]),2),ne(q[44],q[46])) -> extension (support ? 0) - 146tuples
2.78/2.86	c intension  and(ne(dist(q[44],q[47]),3),ne(q[44],q[47])) -> extension (support ? 0) - 144tuples
2.78/2.86	c intension  and(ne(dist(q[44],q[48]),4),ne(q[44],q[48])) -> extension (support ? 0) - 142tuples
2.78/2.87	c intension  and(ne(dist(q[44],q[49]),5),ne(q[44],q[49])) -> extension (support ? 0) - 140tuples
2.78/2.87	c intension  and(ne(dist(q[45],q[46]),1),ne(q[45],q[46])) -> extension (support ? 0) - 148tuples
2.78/2.87	c intension  and(ne(dist(q[45],q[47]),2),ne(q[45],q[47])) -> extension (support ? 0) - 146tuples
2.78/2.87	c intension  and(ne(dist(q[45],q[48]),3),ne(q[45],q[48])) -> extension (support ? 0) - 144tuples
2.78/2.88	c intension  and(ne(dist(q[45],q[49]),4),ne(q[45],q[49])) -> extension (support ? 0) - 142tuples
2.78/2.88	c intension  and(ne(dist(q[46],q[47]),1),ne(q[46],q[47])) -> extension (support ? 0) - 148tuples
2.78/2.88	c intension  and(ne(dist(q[46],q[48]),2),ne(q[46],q[48])) -> extension (support ? 0) - 146tuples
2.78/2.88	c intension  and(ne(dist(q[46],q[49]),3),ne(q[46],q[49])) -> extension (support ? 0) - 144tuples
2.78/2.88	c intension  and(ne(dist(q[47],q[48]),1),ne(q[47],q[48])) -> extension (support ? 0) - 148tuples
2.78/2.89	c intension  and(ne(dist(q[47],q[49]),2),ne(q[47],q[49])) -> extension (support ? 0) - 146tuples
2.78/2.89	c intension  and(ne(dist(q[48],q[49]),1),ne(q[48],q[49])) -> extension (support ? 0) - 148tuples
3.00/3.07	c root propagations     : 0           
3.00/3.07	c restarts enabled, print stats at every restarts
3.00/3.07	c
3.00/3.07	c
3.00/3.07	c ========================================[ Problem Statistics ]===========================================
3.00/3.07	c |                                                                                                       
3.00/3.07	c |  Parse time        :         3.03 s 
3.00/3.07	c |
3.00/3.07	c |               Variables: 55
3.00/3.07	c |            Domain Sizes: 50..2500
3.00/3.07	c |
3.00/3.07	c |             Constraints: 1485
3.00/3.07	c |                   Arity: 2..2  -- Binary: 1485
3.00/3.07	c | 
3.00/3.07	c |                   Types: 
3.00/3.07	c |                          (X != Y): 5
3.00/3.07	c |                          Extension: 1225  (nb tuples: 52..148) -- (shared: 0)
3.00/3.07	c |                          Intension: 255
3.00/3.07	c |                          
3.00/3.07	c =========================================================================================================
3.00/3.07	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
20.38/20.46	c 101            260            169784         10645          0              0              36   43   38   
26.68/26.71	c 211            450            244256         754328         0              0              42   53   51   
27.68/27.70	c 332            624            274753         1276688        5              0              3   3   2      
29.48/29.54	c 465            802            309417         2183470        5              0              1   3   2      
30.68/30.72	c 611            1010           345776         2802743        5              0              3   3   2      
31.88/32.00	c 771            1237           385490         3478260        5              0              2   3   2      
33.48/33.50	c 947            1493           431310         4249989        5              0              2   3   2      
35.78/35.82	c 1140           1757           481659         5400961        5              0              1   3   2      
38.28/38.33	c 1352           2055           538301         6640963        5              0              1   3   2      
40.18/40.27	c 1585           2388           597462         7632712        5              0              2   3   2      
43.09/43.13	c 1841           2746           664712         9066250        5              0              1   3   2      
46.68/46.71	c 2122           3102           733223         10844383       5              0              1   3   2      
49.88/49.94	c 2431           3525           812169         12425072       5              0              1   3   2      
52.58/52.68	c 2770           4013           898866         13820106       5              0              2   3   2      
55.58/55.60	c 3142           4539           991038         15323351       5              0              2   3   2      
59.47/59.52	c 3551           5100           1092645        17289932       5              0              1   3   2      
64.57/64.60	c 4000           5729           1212989        19763370       5              0              1   3   2      
69.47/69.56	c 4493           6380           1331457        22242967       5              0              1   3   2      
75.38/75.48	c 5035           7089           1463594        25175696       5              0              1   3   2      
80.08/80.17	c 5631           7946           1616244        27512758       5              0              2   3   2      
85.27/85.39	c 6286           8889           1783576        30103640       5              0              2   3   2      
90.87/90.99	c 7006           9911           1964158        32885379       5              0              2   3   2      
98.08/98.18	c 7798           10997          2160679        36453905       5              0              1   3   2      
104.67/104.72	c 8669           12230          2377747        39697560       5              0              2   3   2      
112.56/112.65	c 9627           13602          2624676        43591597       5              0              1   3   2      
122.07/122.14	c 10680          15042          2885150        48284789       5              0              1   3   2      
130.86/130.94	c 11838          16686          3177032        52596000       5              0              1   3   2      
140.96/141.04	c 13111          18531          3511304        57481493       5              0              1   3   2      
153.65/153.71	c 14511          20498          3880530        63580088       5              0              1   3   2      
167.55/167.66	c 16051          22828          4327573        69944384       5              0              1   3   2      
181.45/181.53	c 17745          25311          4785880        76314254       5              0              1   3   2      
202.25/202.32	c 19608          28024          5345252        85269390       5              0              1   3   2      
224.95/225.06	c 21657          31226          6018248        94073305       5              0              1   3   2      
250.14/250.24	c 23910          34802          6773669        103333315      5              0              1   3   2      
279.74/279.83	c 26388          38896          7657562        113811180      5              0              1   3   2      
306.95/307.06	c 29113          43002          8476910        123994358      5              0              1   3   2      
335.84/335.92	c 32110          47517          9375937        134573277      5              0              1   3   2      
342.34/342.41	s UNSATISFIABLE
342.34/342.41	c restarts              : 37          
342.34/342.41	c conflicts             : 33911        (99 /sec)
342.34/342.41	c decisions             : 49318        (144 /sec)
342.34/342.41	c propagations          : 138374025   (404271 /sec)
342.34/342.41	c root propagations     : 0           
342.34/342.41	c filter calls          : 9554413        (27914 /sec)
342.34/342.41	c useless filter calls  : 9316648        (97 %)
342.34/342.41	c Memory used           : 83.99 MB
342.34/342.41	c CPU time              : 342.28 s
342.34/342.41	c real time             : 342.413 s
342.34/342.41