0.00/0.02 c has big domains
0.00/0.02 c big-domain mode
0.00/0.03 c Seed is 1184599018
0.00/0.03 c Constructing HOME/instance-2080779-1247718519.xml
2.46/2.57 c deduced all_different(V65,V386,V510,V775,V1040,V1141,V0)
2.46/2.57 c deduced all_different(V167,V323,V355,V1017,V1678,V1963,V1)
2.46/2.57 c deduced all_different(V120,V160,V747,V982,V1076,V1509,V2)
2.46/2.57 c deduced all_different(V116,V388,V504,V829,V857,V1960,V3)
2.46/2.57 c deduced all_different(V6,V135,V184,V738,V1075,V4)
2.46/2.57 c deduced all_different(V105,V185,V368,V589,V990,V5)
2.46/2.57 c deduced all_different(V26,V273,V1260,V1395,V1528,V1957,V7)
2.46/2.57 c deduced all_different(V18,V133,V731,V1172,V1377,V1853,V8)
2.46/2.57 c deduced all_different(V13,V50,V484,V844,V1068,V1578,V9)
2.46/2.57 c deduced all_different(V88,V143,V422,V625,V1370,V10)
2.46/2.57 c deduced all_different(V277,V289,V308,V671,V1692,V11)
2.46/2.57 c deduced all_different(V55,V61,V289,V785,V1772,V12)
2.46/2.57 c deduced all_different(V28,V70,V78,V297,V551,V1279,V14)
2.46/2.57 c deduced all_different(V80,V149,V267,V529,V702,V1781,V15)
2.46/2.57 c deduced all_different(V57,V252,V528,V1459,V2003,V16)
2.46/2.57 c deduced all_different(V105,V208,V239,V1427,V1648,V1656,V17)
2.46/2.57 c deduced all_different(V86,V142,V535,V1112,V1483,V19)
2.46/2.57 c deduced all_different(V32,V36,V272,V384,V20)
2.46/2.57 c deduced all_different(V139,V657,V665,V1044,V1122,V1424,V21)
2.46/2.57 c deduced all_different(V117,V281,V416,V781,V997,V1895,V2114,V22)
2.46/2.57 c deduced all_different(V24,V126,V130,V279,V423,V23)
2.46/2.57 c deduced all_different(V57,V181,V252,V320,V2003,V25)
2.46/2.57 c deduced all_different(V96,V186,V324,V581,V1153,V27)
2.46/2.57 c deduced all_different(V115,V199,V202,V547,V874,V1832,V29)
2.46/2.57 c deduced all_different(V108,V146,V1049,V1718,V1957,V1993,V2112,V30)
2.46/2.57 c deduced all_different(V81,V180,V1337,V1669,V1755,V31)
2.46/2.57 c deduced all_different(V115,V199,V547,V893,V1774,V33)
2.46/2.57 c deduced all_different(V223,V251,V341,V480,V1052,V1231,V34)
2.46/2.57 c deduced all_different(V139,V657,V665,V1085,V1284,V35)
2.46/2.57 c deduced all_different(V151,V264,V301,V1429,V37)
2.46/2.57 c deduced all_different(V82,V225,V304,V549,V1962,V1979,V38)
2.46/2.57 c deduced all_different(V79,V199,V547,V1291,V1805,V39)
2.46/2.57 c deduced all_different(V323,V355,V819,V1678,V1963,V40)
2.46/2.57 c deduced all_different(V135,V141,V680,V738,V1075,V41)
2.46/2.57 c deduced all_different(V159,V568,V703,V1153,V1415,V2036,V42)
2.46/2.57 c deduced all_different(V74,V92,V145,V343,V1423,V1657,V43)
2.46/2.57 c deduced all_different(V67,V262,V290,V423,V759,V1030,V44)
2.46/2.57 c deduced all_different(V114,V284,V413,V705,V45)
2.46/2.57 c deduced all_different(V366,V379,V582,V1372,V1600,V46)
2.46/2.57 c deduced all_different(V118,V340,V506,V650,V1072,V1150,V47)
2.46/2.57 c deduced all_different(V222,V353,V444,V500,V1226,V1285,V48)
2.46/2.57 c deduced all_different(V55,V61,V289,V645,V1904,V49)
2.46/2.57 c deduced all_different(V32,V36,V272,V384,V51)
2.46/2.57 c deduced all_different(V132,V246,V376,V672,V2084,V52)
2.46/2.57 c deduced all_different(V80,V123,V149,V267,V1781,V53)
2.46/2.57 c deduced all_different(V66,V83,V101,V327,V585,V1301,V54)
2.46/2.57 c deduced all_different(V88,V143,V1370,V1728,V2086,V56)
2.46/2.57 c deduced all_different(V347,V376,V709,V2084,V58)
2.46/2.57 c deduced all_different(V62,V602,V612,V620,V965,V1674,V59)
2.46/2.57 c deduced all_different(V127,V245,V1157,V1362,V1429,V1602,V60)
2.46/2.57 c deduced all_different(V61,V277,V289,V513,V635,V1300,V63)
2.46/2.57 c deduced all_different(V20,V32,V384,V441,V64)
2.46/2.57 c deduced all_different(V271,V365,V590,V1232,V1382,V68)
2.46/2.57 c deduced all_different(V103,V255,V430,V1029,V1250,V69)
2.46/2.57 c deduced all_different(V28,V70,V78,V406,V901,V1738,V1941,V71)
2.46/2.57 c deduced all_different(V128,V144,V165,V409,V72)
2.46/2.57 c deduced all_different(V9,V50,V244,V844,V1578,V73)
2.46/2.57 c deduced all_different(V59,V291,V714,V793,V1674,V75)
2.46/2.57 c deduced all_different(V140,V342,V434,V781,V1935,V1986,V76)
2.46/2.57 c deduced all_different(V265,V533,V751,V888,V1331,V1455,V77)
2.46/2.57 c deduced all_different(V95,V313,V590,V994,V1265,V84)
2.46/2.57 c deduced all_different(V31,V180,V286,V322,V1755,V85)
2.46/2.57 c deduced all_different(V164,V204,V840,V1015,V1153,V87)
2.46/2.57 c deduced all_different(V203,V245,V264,V979,V1429,V1970,V89)
2.46/2.57 c deduced all_different(V449,V675,V735,V1679,V1862,V90)
2.46/2.57 c deduced all_different(V12,V289,V371,V421,V729,V1797,V91)
2.46/2.57 c deduced all_different(V316,V413,V450,V705,V767,V93)
2.46/2.57 c deduced all_different(V128,V165,V760,V841,V1769,V94)
2.46/2.57 c deduced all_different(V188,V260,V684,V757,V1806,V97)
2.46/2.57 c deduced all_different(V158,V372,V639,V664,V1404,V98)
2.46/2.57 c deduced all_different(V176,V248,V508,V666,V1418,V1962,V99)
2.46/2.57 c deduced all_different(V70,V71,V78,V406,V1099,V1246,V1941,V100)
2.46/2.57 c deduced all_different(V7,V273,V498,V1001,V1528,V1957,V1993,V102)
2.46/2.58 c deduced all_different(V147,V457,V1008,V1355,V1644,V1713,V1766,V104)
2.46/2.58 c deduced all_different(V19,V182,V1421,V1483,V106)
2.46/2.58 c deduced all_different(V120,V160,V171,V753,V864,V1076,V1142,V107)
2.46/2.58 c deduced all_different(V499,V506,V650,V1414,V1706,V1989,V109)
2.46/2.58 c deduced all_different(V50,V73,V484,V844,V1578,V110)
2.46/2.58 c deduced all_different(V59,V291,V612,V1674,V111)
2.46/2.58 c deduced all_different(V4,V184,V375,V738,V1075,V112)
2.46/2.58 c deduced all_different(V38,V225,V248,V549,V717,V1574,V1962,V113)
2.46/2.58 c deduced all_different(V155,V379,V582,V604,V813,V119)
2.46/2.58 c deduced all_different(V190,V562,V711,V1539,V1659,V121)
2.46/2.58 c deduced all_different(V192,V561,V577,V667,V860,V122)
2.46/2.58 c deduced all_different(V157,V288,V292,V694,V1482,V124)
2.46/2.58 c deduced all_different(V75,V291,V714,V1674,V125)
2.46/2.58 c deduced all_different(V60,V245,V979,V1429,V1658,V1736,V129)
2.46/2.58 c deduced all_different(V346,V448,V1147,V1251,V1950,V1988,V131)
2.46/2.58 c deduced all_different(V74,V145,V343,V1270,V1423,V134)
2.46/2.58 c deduced all_different(V16,V252,V411,V831,V2003,V136)
2.46/2.58 c deduced all_different(V152,V538,V662,V1136,V1287,V1679,V137)
2.46/2.58 c deduced all_different(V86,V170,V535,V1112,V1483,V1870,V138)
2.46/2.58 c deduced all_different(V9,V13,V280,V296,V1578,V148)
2.46/2.58 c deduced all_different(V23,V262,V423,V1030,V1125,V150)
2.46/2.58 c deduced all_different(V123,V149,V267,V708,V1781,V153)
2.46/2.58 c deduced all_different(V240,V282,V598,V958,V969,V154)
2.46/2.58 c deduced all_different(V111,V291,V769,V1190,V1674,V156)
2.46/2.58 c deduced all_different(V36,V51,V474,V1575,V161)
2.46/2.58 c deduced all_different(V373,V387,V555,V961,V1950,V2076,V162)
2.46/2.58 c deduced all_different(V62,V294,V618,V710,V1674,V163)
2.46/2.58 c deduced all_different(V20,V272,V384,V1493,V166)
2.46/2.58 c deduced all_different(V8,V18,V649,V731,V168)
2.46/2.58 c deduced all_different(V119,V179,V485,V546,V582,V604,V169)
2.46/2.58 c deduced all_different(V133,V570,V731,V995,V1315,V172)
2.46/2.58 c deduced all_different(V30,V146,V670,V1078,V1957,V173)
2.46/2.58 c deduced all_different(V158,V372,V378,V664,V772,V174)
2.46/2.58 c deduced all_different(V104,V220,V823,V1644,V1785,V1936,V175)
2.46/2.58 c deduced all_different(V214,V436,V595,V646,V1110,V1231,V177)
2.46/2.58 c deduced all_different(V20,V333,V1575,V178)
2.46/2.58 c deduced all_different(V9,V244,V696,V920,V1578,V183)
2.46/2.58 c deduced all_different(V13,V296,V484,V1068,V1578,V187)
2.46/2.58 c deduced all_different(V73,V148,V280,V1129,V1410,V1578,V189)
2.46/2.58 c deduced all_different(V44,V262,V423,V429,V759,V1059,V1364,V191)
2.46/2.58 c deduced all_different(V114,V523,V630,V705,V1302,V193)
2.46/2.58 c deduced all_different(V197,V243,V402,V732,V1298,V1455,V194)
2.46/2.58 c deduced all_different(V65,V591,V952,V1040,V1141,V195)
2.46/2.58 c deduced all_different(V31,V637,V1322,V1755,V196)
2.46/2.58 c deduced all_different(V42,V186,V568,V1153,V1415,V1952,V198)
2.46/2.58 c deduced all_different(V105,V185,V368,V833,V1111,V200)
2.46/2.58 c deduced all_different(V86,V138,V633,V1112,V1483,V1870,V201)
2.46/2.58 c deduced all_different(V89,V264,V894,V1429,V1743,V205)
2.46/2.58 c deduced all_different(V124,V254,V364,V532,V694,V206)
2.46/2.58 c deduced all_different(V153,V348,V357,V596,V1781,V207)
2.46/2.58 c deduced all_different(V54,V83,V101,V585,V1790,V2095,V209)
2.46/2.58 c deduced all_different(V107,V120,V160,V753,V1076,V1142,V210)
2.46/2.58 c deduced all_different(V249,V275,V372,V482,V493,V1278,V211)
2.46/2.58 c deduced all_different(V92,V947,V1225,V1423,V2067,V212)
2.46/2.58 c deduced all_different(V137,V231,V349,V1351,V1679,V213)
2.46/2.58 c deduced all_different(V72,V144,V165,V439,V215)
2.46/2.58 c deduced all_different(V188,V260,V684,V757,V1806,V216)
2.46/2.58 c deduced all_different(V226,V383,V806,V832,V1659,V217)
2.46/2.58 c deduced all_different(V8,V133,V731,V1400,V218)
2.46/2.58 c deduced all_different(V103,V255,V295,V430,V768,V1390,V219)
2.46/2.58 c deduced all_different(V69,V255,V430,V1029,V1250,V221)
2.46/2.58 c deduced all_different(V54,V66,V101,V311,V1100,V224)
2.46/2.58 c deduced all_different(V394,V500,V542,V1285,V1701,V227)
2.46/2.58 c deduced all_different(V75,V291,V764,V793,V1674,V228)
2.46/2.58 c deduced all_different(V234,V420,V489,V577,V229)
2.46/2.58 c deduced all_different(V97,V261,V967,V1319,V1806,V2031,V230)
2.46/2.58 c deduced all_different(V97,V260,V967,V1173,V1319,V1806,V2031,V232)
2.46/2.58 c deduced all_different(V122,V488,V521,V577,V915,V233)
2.46/2.58 c deduced all_different(V388,V504,V829,V1559,V1771,V1960,V235)
2.46/2.58 c deduced all_different(V10,V143,V625,V931,V1244,V236)
2.46/2.58 c deduced all_different(V219,V255,V295,V430,V768,V1390,V237)
2.46/2.58 c deduced all_different(V65,V309,V591,V952,V1040,V238)
2.46/2.58 c deduced all_different(V106,V138,V170,V1112,V1483,V241)
2.46/2.58 c deduced all_different(V2,V460,V944,V1076,V1087,V1142,V242)
2.46/2.58 c deduced all_different(V24,V126,V279,V423,V2012,V247)
2.46/2.58 c deduced all_different(V282,V598,V792,V962,V1907,V250)
2.46/2.58 c deduced all_different(V136,V408,V1003,V2003,V253)
2.46/2.58 c deduced all_different(V407,V500,V1140,V1285,V1701,V256)
2.46/2.58 c deduced all_different(V192,V420,V577,V910,V953,V1206,V257)
2.46/2.58 c deduced all_different(V94,V165,V361,V502,V258)
2.46/2.58 c deduced all_different(V140,V342,V434,V781,V259)
2.46/2.58 c deduced all_different(V18,V325,V483,V731,V1315,V1879,V2033,V263)
2.46/2.58 c deduced all_different(V48,V444,V500,V1285,V1318,V1341,V266)
2.46/2.58 c deduced all_different(V310,V381,V1644,V1684,V1924,V268)
2.46/2.58 c deduced all_different(V213,V231,V449,V735,V1679,V1862,V269)
2.46/2.58 c deduced all_different(V167,V355,V453,V1577,V1963,V270)
2.46/2.58 c deduced all_different(V240,V282,V598,V958,V969,V274)
2.46/2.58 c deduced all_different(V81,V370,V459,V749,V1755,V276)
2.46/2.58 c deduced all_different(V5,V105,V239,V905,V1648,V1917,V278)
2.46/2.58 c deduced all_different(V404,V469,V574,V657,V283)
2.46/2.58 c deduced all_different(V44,V423,V429,V1059,V1149,V285)
2.46/2.58 c deduced all_different(V34,V223,V480,V1052,V1231,V287)
2.46/2.58 c deduced all_different(V38,V113,V225,V717,V743,V1962,V293)
2.46/2.58 c deduced all_different(V24,V67,V262,V423,V298)
2.46/2.58 c deduced all_different(V62,V294,V618,V620,V1674,V1770,V299)
2.46/2.58 c deduced all_different(V124,V157,V292,V674,V694,V300)
2.46/2.58 c deduced all_different(V13,V50,V1346,V1578,V302)
2.46/2.58 c deduced all_different(V16,V136,V1042,V1908,V2003,V303)
2.46/2.58 c deduced all_different(V282,V335,V598,V792,V1363,V305)
2.46/2.58 c deduced all_different(V54,V83,V101,V1301,V1745,V306)
2.46/2.58 c deduced all_different(V188,V216,V757,V1806,V307)
2.46/2.58 c deduced all_different(V188,V261,V689,V1806,V1975,V312)
2.46/2.58 c deduced all_different(V1,V323,V1017,V1290,V1963,V314)
2.46/2.58 c deduced all_different(V490,V582,V828,V1214,V315)
2.46/2.58 c deduced all_different(V124,V157,V288,V694,V720,V1482,V317)
2.46/2.58 c deduced all_different(V103,V219,V295,V430,V768,V1390,V318)
2.46/2.58 c deduced all_different(V66,V101,V311,V1100,V1645,V319)
2.46/2.58 c deduced all_different(V98,V372,V530,V567,V1081,V1241,V321)
2.46/2.58 c deduced all_different(V233,V420,V489,V561,V577,V2053,V326)
2.46/2.58 c deduced all_different(V43,V343,V1270,V1423,V1519,V328)
2.46/2.58 c deduced all_different(V15,V267,V491,V529,V1781,V1856,V329)
2.46/2.58 c deduced all_different(V52,V132,V376,V2040,V2084,V330)
2.46/2.58 c deduced all_different(V27,V96,V345,V1153,V1447,V331)
2.46/2.58 c deduced all_different(V61,V289,V308,V513,V332)
2.46/2.58 c deduced all_different(V62,V163,V602,V965,V1053,V1674,V334)
2.46/2.58 c deduced all_different(V105,V200,V239,V278,V494,V1568,V336)
2.46/2.58 c deduced all_different(V4,V375,V738,V1075,V337)
2.46/2.58 c deduced all_different(V51,V272,V333,V1575,V338)
2.46/2.58 c deduced all_different(V137,V662,V1148,V1156,V1287,V1679,V339)
2.46/2.58 c deduced all_different(V190,V383,V616,V1539,V1659,V344)
2.46/2.58 c deduced all_different(V14,V70,V78,V551,V938,V1196,V350)
2.46/2.58 c deduced all_different(V159,V568,V703,V1153,V1415,V2036,V351)
2.46/2.58 c deduced all_different(V234,V577,V697,V1086,V1352,V352)
2.46/2.58 c deduced all_different(V15,V367,V491,V642,V1781,V354)
2.46/2.58 c deduced all_different(V313,V590,V994,V1219,V1486,V356)
2.46/2.58 c deduced all_different(V134,V902,V1067,V1413,V1423,V1878,V358)
2.46/2.58 c deduced all_different(V35,V404,V574,V657,V1210,V1631,V359)
2.46/2.58 c deduced all_different(V177,V580,V595,V646,V991,V1231,V360)
2.46/2.58 c deduced all_different(V51,V333,V1768,V362)
2.46/2.58 c deduced all_different(V74,V145,V947,V1423,V1657,V2067,V363)
2.46/2.58 c deduced all_different(V54,V101,V209,V704,V1790,V369)
2.46/2.58 c deduced all_different(V52,V246,V405,V870,V1216,V1688,V2084,V374)
2.46/2.58 c deduced all_different(V68,V590,V682,V943,V1382,V377)
2.46/2.58 c deduced all_different(V132,V347,V376,V1426,V2084,V380)
2.46/2.58 c deduced all_different(V47,V650,V856,V1212,V1223,V382)
2.46/2.58 c deduced all_different(V107,V171,V685,V753,V1076,V1492,V385)
2.46/2.58 c deduced all_different(V74,V343,V926,V1225,V1423,V1657,V2067,V389)
2.46/2.58 c deduced all_different(V47,V650,V861,V1150,V1603,V1783,V390)
2.46/2.58 c deduced all_different(V19,V86,V535,V1152,V1483,V391)
2.46/2.58 c deduced all_different(V77,V1331,V1358,V1455,V392)
2.46/2.58 c deduced all_different(V4,V112,V184,V1075,V393)
2.46/2.58 c deduced all_different(V0,V655,V686,V1040,V395)
2.46/2.58 c deduced all_different(V18,V168,V325,V649,V731,V396)
2.46/2.58 c deduced all_different(V75,V291,V1190,V1674,V397)
2.46/2.58 c deduced all_different(V45,V114,V413,V705,V1536,V398)
2.46/2.58 c deduced all_different(V180,V286,V322,V766,V1013,V1380,V1755,V399)
2.46/2.58 c deduced all_different(V38,V113,V225,V717,V1574,V1731,V1962,V400)
2.46/2.58 c deduced all_different(V60,V129,V467,V1429,V1658,V1736,V401)
2.46/2.58 c deduced all_different(V388,V526,V651,V1508,V1960,V403)
2.46/2.58 c deduced all_different(V87,V568,V1015,V1153,V410)
2.46/2.58 c deduced all_different(V2,V747,V752,V982,V1076,V1452,V1814,V412)
2.46/2.58 c deduced all_different(V52,V132,V246,V672,V2084,V414)
2.46/2.58 c deduced all_different(V62,V294,V618,V620,V764,V1674,V415)
2.46/2.58 c deduced all_different(V27,V96,V186,V1153,V417)
2.46/2.58 c deduced all_different(V123,V153,V750,V1599,V1781,V2099,V418)
2.46/2.58 c deduced all_different(V387,V555,V644,V1950,V2060,V419)
2.46/2.58 c deduced all_different(V18,V133,V325,V731,V995,V424)
2.46/2.58 c deduced all_different(V379,V485,V546,V582,V604,V425)
2.46/2.58 c deduced all_different(V72,V165,V439,V919,V426)
2.46/2.58 c deduced all_different(V89,V203,V245,V979,V1429,V1970,V427)
2.46/2.58 c deduced all_different(V80,V123,V267,V1296,V1781,V428)
2.46/2.58 c deduced all_different(V9,V73,V280,V844,V1578,V431)
2.46/2.58 c deduced all_different(V80,V149,V515,V750,V1781,V432)
2.46/2.58 c deduced all_different(V64,V474,V899,V433)
2.46/2.58 c deduced all_different(V72,V144,V165,V409,V439,V435)
2.46/2.58 c deduced all_different(V114,V284,V450,V705,V787,V1998,V437)
2.46/2.58 c deduced all_different(V45,V316,V630,V658,V705,V438)
2.46/2.58 c deduced all_different(V132,V330,V376,V709,V1660,V2084,V440)
2.46/2.58 c deduced all_different(V32,V36,V272,V384,V1307,V442)
2.46/2.58 c deduced all_different(V243,V402,V732,V1455,V1672,V443)
2.46/2.58 c deduced all_different(V309,V464,V820,V1040,V1409,V1497,V445)
2.46/2.58 c deduced all_different(V30,V108,V505,V1151,V1957,V446)
2.46/2.58 c deduced all_different(V34,V223,V251,V436,V1110,V1231,V447)
2.46/2.58 c deduced all_different(V3,V116,V504,V857,V1039,V1960,V451)
2.46/2.58 c deduced all_different(V24,V67,V126,V279,V423,V452)
2.46/2.58 c deduced all_different(V65,V238,V591,V952,V1040,V1458,V1566,V454)
2.46/2.58 c deduced all_different(V270,V453,V583,V805,V1963,V455)
2.46/2.58 c deduced all_different(V206,V254,V364,V532,V694,V456)
2.46/2.58 c deduced all_different(V70,V100,V350,V715,V1664,V458)
2.46/2.58 c deduced all_different(V163,V294,V618,V1674,V461)
2.46/2.58 c deduced all_different(V94,V165,V215,V760,V841,V1258,V462)
2.46/2.58 c deduced all_different(V233,V234,V489,V577,V463)
2.46/2.58 c deduced all_different(V74,V134,V343,V926,V1261,V1423,V465)
2.46/2.58 c deduced all_different(V88,V143,V701,V906,V1864,V466)
2.46/2.58 c deduced all_different(V84,V313,V590,V1095,V468)
2.46/2.58 c deduced all_different(V23,V24,V126,V423,V470)
2.46/2.58 c deduced all_different(V167,V323,V819,V1017,V1678,V1963,V471)
2.46/2.58 c deduced all_different(V86,V142,V535,V1152,V1483,V472)
2.46/2.58 c deduced all_different(V167,V323,V355,V836,V1963,V473)
2.46/2.58 c deduced all_different(V221,V430,V1250,V1254,V1606,V475)
2.46/2.58 c deduced all_different(V97,V230,V684,V1806,V2031,V476)
2.46/2.58 c deduced all_different(V154,V598,V872,V889,V969,V1257,V477)
2.46/2.58 c deduced all_different(V43,V343,V1270,V1423,V1823,V478)
2.46/2.58 c deduced all_different(V158,V372,V482,V493,V1951,V2058,V479)
2.46/2.58 c deduced all_different(V175,V220,V823,V1411,V1644,V481)
2.46/2.58 c deduced all_different(V0,V655,V686,V1040,V1141,V486)
2.46/2.58 c deduced all_different(V54,V101,V209,V311,V704,V1790,V487)
2.46/2.58 c deduced all_different(V14,V28,V70,V297,V551,V780,V492)
2.46/2.58 c deduced all_different(V21,V404,V657,V665,V1349,V1631,V495)
2.46/2.58 c deduced all_different(V112,V375,V680,V738,V1075,V496)
2.46/2.58 c deduced all_different(V97,V188,V684,V1806,V2097,V497)
2.46/2.58 c deduced all_different(V11,V289,V308,V671,V1692,V501)
2.46/2.58 c deduced all_different(V68,V590,V682,V1382,V503)
2.46/2.58 c deduced all_different(V147,V457,V1023,V1644,V1766,V2004,V507)
2.46/2.58 c deduced all_different(V46,V546,V582,V1166,V509)
2.46/2.58 c deduced all_different(V54,V83,V101,V1301,V1645,V511)
2.46/2.58 c deduced all_different(V222,V444,V1061,V1183,V1285,V1681,V512)
2.46/2.58 c deduced all_different(V43,V74,V92,V926,V1423,V1878,V514)
2.46/2.58 c deduced all_different(V2,V120,V685,V982,V1076,V1452,V1983,V516)
2.46/2.58 c deduced all_different(V34,V223,V251,V480,V1052,V1231,V517)
2.46/2.58 c deduced all_different(V54,V101,V311,V487,V511,V1100,V1745,V518)
2.46/2.58 c deduced all_different(V52,V246,V405,V1688,V2084,V519)
2.46/2.58 c deduced all_different(V2,V120,V685,V1076,V1138,V1983,V520)
2.46/2.58 c deduced all_different(V1,V323,V1017,V1290,V1744,V1963,V522)
2.46/2.58 c deduced all_different(V46,V366,V582,V1184,V524)
2.46/2.59 c deduced all_different(V346,V448,V1950,V525)
2.46/2.59 c deduced all_different(V38,V248,V549,V951,V1962,V527)
2.46/2.59 c deduced all_different(V7,V273,V1001,V1528,V1957,V531)
2.46/2.59 c deduced all_different(V22,V117,V781,V783,V1242,V534)
2.46/2.59 c deduced all_different(V283,V469,V657,V804,V941,V2043,V536)
2.46/2.59 c deduced all_different(V18,V263,V731,V995,V1985,V537)
2.46/2.59 c deduced all_different(V346,V373,V883,V1147,V1950,V1988,V539)
2.46/2.59 c deduced all_different(V52,V246,V672,V1620,V2084,V540)
2.46/2.59 c deduced all_different(V283,V404,V574,V657,V1210,V1703,V541)
2.46/2.59 c deduced all_different(V18,V168,V731,V995,V543)
2.46/2.59 c deduced all_different(V16,V57,V1459,V1867,V2003,V544)
2.46/2.59 c deduced all_different(V131,V448,V1950,V1988,V545)
2.46/2.59 c deduced all_different(V144,V165,V258,V361,V409,V548)
2.46/2.59 c deduced all_different(V230,V307,V975,V1293,V1806,V2031,V550)
2.46/2.59 c deduced all_different(V48,V222,V353,V444,V1285,V552)
2.46/2.59 c deduced all_different(V176,V225,V248,V508,V1418,V1962,V553)
2.46/2.59 c deduced all_different(V180,V322,V399,V766,V1380,V1755,V554)
2.46/2.59 c deduced all_different(V346,V539,V883,V1147,V1950,V556)
2.46/2.59 c deduced all_different(V230,V307,V975,V1293,V1806,V2031,V557)
2.46/2.59 c deduced all_different(V3,V829,V1035,V1484,V1960,V558)
2.46/2.59 c deduced all_different(V104,V175,V310,V823,V1355,V1644,V559)
2.46/2.59 c deduced all_different(V325,V483,V731,V1315,V1377,V1853,V560)
2.46/2.59 c deduced all_different(V86,V138,V170,V633,V1112,V1483,V563)
2.46/2.59 c deduced all_different(V5,V105,V208,V833,V1810,V1917,V564)
2.46/2.59 c deduced all_different(V197,V533,V718,V773,V1455,V565)
2.46/2.59 c deduced all_different(V73,V148,V189,V1129,V1410,V1578,V566)
2.46/2.59 c deduced all_different(V121,V562,V970,V1659,V569)
2.46/2.59 c deduced all_different(V27,V186,V581,V1153,V571)
2.46/2.59 c deduced all_different(V29,V115,V199,V202,V874,V1613,V572)
2.46/2.59 c deduced all_different(V124,V157,V288,V694,V837,V573)
2.46/2.59 c deduced all_different(V31,V85,V286,V637,V1755,V1812,V575)
2.46/2.59 c deduced all_different(V38,V82,V601,V1962,V576)
2.46/2.59 c deduced all_different(V155,V582,V745,V828,V1166,V1214,V578)
2.46/2.59 c deduced all_different(V131,V448,V1950,V579)
2.46/2.59 c deduced all_different(V20,V32,V441,V584)
2.46/2.59 c deduced all_different(V111,V156,V620,V653,V921,V1674,V586)
2.46/2.59 c deduced all_different(V143,V422,V903,V1088,V1191,V587)
2.46/2.59 c deduced all_different(V41,V141,V636,V1075,V1317,V588)
2.46/2.59 c deduced all_different(V83,V101,V209,V585,V955,V1790,V592)
2.46/2.59 c deduced all_different(V37,V264,V979,V1195,V1362,V1429,V1749,V593)
2.46/2.59 c deduced all_different(V193,V630,V705,V767,V594)
2.46/2.59 c deduced all_different(V19,V391,V535,V1483,V1870,V597)
2.46/2.59 c deduced all_different(V84,V95,V590,V712,V1095,V599)
2.46/2.59 c deduced all_different(V69,V430,V1047,V1089,V1146,V2027,V600)
2.46/2.59 c deduced all_different(V8,V168,V218,V731,V603)
2.46/2.59 c deduced all_different(V250,V598,V969,V1257,V1416,V1959,V605)
2.46/2.59 c deduced all_different(V12,V289,V421,V635,V1692,V606)
2.46/2.59 c deduced all_different(V66,V83,V101,V327,V585,V1301,V607)
2.46/2.59 c deduced all_different(V121,V621,V711,V1356,V1659,V1685,V608)
2.46/2.59 c deduced all_different(V214,V436,V447,V1231,V1237,V2037,V609)
2.46/2.59 c deduced all_different(V44,V290,V423,V759,V1030,V610)
2.46/2.59 c deduced all_different(V194,V392,V402,V1083,V1455,V611)
2.46/2.59 c deduced all_different(V76,V434,V781,V1259,V1986,V613)
2.46/2.59 c deduced all_different(V104,V1008,V1098,V1420,V1644,V614)
2.46/2.59 c deduced all_different(V124,V157,V300,V674,V694,V615)
2.46/2.59 c deduced all_different(V131,V627,V1950,V2013,V2076,V617)
2.46/2.59 c deduced all_different(V66,V83,V101,V955,V1198,V1385,V619)
2.46/2.59 c deduced all_different(V143,V422,V701,V903,V1088,V622)
2.46/2.59 c deduced all_different(V6,V184,V738,V1075,V1333,V1680,V623)
2.46/2.59 c deduced all_different(V34,V223,V287,V595,V1231,V624)
2.46/2.59 c deduced all_different(V162,V373,V387,V579,V1792,V1950,V626)
2.46/2.59 c deduced all_different(V65,V454,V952,V1040,V1141,V628)
2.46/2.59 c deduced all_different(V70,V78,V100,V715,V629)
2.46/2.59 c deduced all_different(V77,V533,V718,V751,V1455,V1512,V631)
2.46/2.59 c deduced all_different(V117,V281,V416,V613,V781,V632)
2.46/2.59 c deduced all_different(V16,V303,V544,V2003,V634)
2.46/2.59 c deduced all_different(V125,V299,V586,V965,V1432,V1674,V638)
2.46/2.59 c deduced all_different(V34,V223,V251,V447,V1231,V640)
2.46/2.59 c deduced all_different(V292,V694,V706,V1402,V1438,V641)
2.46/2.59 c deduced all_different(V19,V535,V1112,V1483,V1786,V1870,V643)
2.46/2.59 c deduced all_different(V121,V569,V970,V1659,V647)
2.46/2.59 c deduced all_different(V48,V394,V542,V1220,V1285,V1699,V648)
2.46/2.59 c deduced all_different(V124,V206,V532,V694,V837,V973,V652)
2.46/2.59 c deduced all_different(V22,V117,V716,V781,V1286,V2114,V654)
2.46/2.59 c deduced all_different(V37,V871,V1429,V1743,V656)
2.46/2.59 c deduced all_different(V14,V28,V70,V297,V901,V659)
2.46/2.59 c deduced all_different(V346,V525,V626,V1950,V660)
2.46/2.59 c deduced all_different(V20,V32,V272,V384,V661)
2.46/2.59 c deduced all_different(V132,V330,V709,V2084,V663)
2.46/2.59 c deduced all_different(V36,V51,V272,V384,V668)
2.46/2.59 c deduced all_different(V21,V139,V657,V1349,V669)
2.46/2.59 c deduced all_different(V76,V140,V654,V716,V781,V673)
2.46/2.59 c deduced all_different(V112,V623,V1065,V1075,V1999,V676)
2.46/2.59 c deduced all_different(V49,V61,V289,V421,V1904,V2046,V677)
2.46/2.59 c deduced all_different(V250,V598,V969,V1757,V1959,V678)
2.46/2.59 c deduced all_different(V6,V680,V738,V1075,V1548,V679)
2.46/2.59 c deduced all_different(V98,V372,V567,V1278,V1404,V1748,V681)
2.46/2.59 c deduced all_different(V4,V112,V184,V738,V1075,V683)
2.46/2.59 c deduced all_different(V19,V106,V799,V1112,V1483,V687)
2.46/2.59 c deduced all_different(V25,V136,V252,V1463,V1733,V2003,V688)
2.46/2.59 c deduced all_different(V66,V101,V224,V1108,V1379,V690)
2.46/2.59 c deduced all_different(V16,V57,V528,V1459,V1867,V2003,V691)
2.46/2.59 c deduced all_different(V157,V288,V573,V694,V837,V1283,V692)
2.46/2.59 c deduced all_different(V86,V170,V535,V1483,V693)
2.46/2.59 c deduced all_different(V18,V325,V396,V424,V731,V1377,V695)
2.46/2.59 c deduced all_different(V21,V404,V657,V1044,V1122,V1489,V698)
2.46/2.59 c deduced all_different(V34,V251,V436,V447,V1231,V699)
2.46/2.59 c deduced all_different(V85,V180,V286,V1755,V700)
2.46/2.59 c deduced all_different(V366,V578,V582,V828,V707)
2.46/2.59 c deduced all_different(V31,V81,V1755,V2054,V713)
2.46/2.59 c deduced all_different(V116,V504,V829,V1960,V719)
2.46/2.59 c deduced all_different(V240,V598,V792,V958,V721)
2.46/2.59 c deduced all_different(V195,V952,V1040,V1466,V722)
2.46/2.59 c deduced all_different(V122,V521,V577,V667,V915,V723)
2.46/2.59 c deduced all_different(V275,V321,V372,V479,V530,V724)
2.46/2.59 c deduced all_different(V43,V74,V514,V1423,V1758,V725)
2.46/2.59 c deduced all_different(V17,V105,V208,V737,V833,V726)
2.46/2.59 c deduced all_different(V96,V331,V1153,V1689,V1753,V2106,V727)
2.46/2.59 c deduced all_different(V76,V716,V781,V891,V1259,V728)
2.46/2.59 c deduced all_different(V68,V271,V590,V943,V1232,V730)
2.46/2.59 c deduced all_different(V4,V184,V375,V738,V1075,V733)
2.46/2.59 c deduced all_different(V24,V67,V423,V452,V1573,V734)
2.46/2.59 c deduced all_different(V34,V223,V251,V447,V1231,V736)
2.46/2.59 c deduced all_different(V94,V165,V462,V760,V919,V739)
2.46/2.59 c deduced all_different(V50,V110,V484,V850,V1578,V740)
2.46/2.59 c deduced all_different(V8,V570,V731,V1172,V1723,V741)
2.46/2.59 c deduced all_different(V149,V153,V267,V529,V1781,V742)
2.46/2.59 c deduced all_different(V235,V388,V802,V1484,V1960,V744)
2.46/2.59 c deduced all_different(V190,V383,V621,V845,V1234,V1659,V1928,V746)
2.46/2.59 c deduced all_different(V33,V115,V199,V572,V748)
2.46/2.59 c deduced all_different(V131,V579,V1101,V1950,V754)
2.46/2.59 c deduced all_different(V20,V166,V384,V1493,V755)
2.46/2.59 c deduced all_different(V127,V151,V264,V1429,V1475,V1743,V756)
2.46/2.59 c deduced all_different(V270,V355,V453,V1678,V1963,V758)
2.46/2.59 c deduced all_different(V10,V143,V236,V701,V903,V1589,V761)
2.46/2.59 c deduced all_different(V284,V316,V705,V787,V812,V1590,V762)
2.46/2.59 c deduced all_different(V27,V186,V581,V1153,V763)
2.46/2.59 c deduced all_different(V35,V404,V657,V665,V1284,V1631,V765)
2.46/2.59 c deduced all_different(V143,V625,V931,V1244,V1405,V770)
2.46/2.59 c deduced all_different(V341,V609,V808,V1231,V1334,V771)
2.46/2.59 c deduced all_different(V105,V200,V239,V278,V774)
2.46/2.59 c deduced all_different(V85,V276,V637,V1755,V776)
2.46/2.59 c deduced all_different(V131,V448,V1251,V1950,V777)
2.46/2.59 c deduced all_different(V117,V281,V416,V781,V997,V778)
2.46/2.59 c deduced all_different(V12,V55,V289,V830,V1314,V1772,V779)
2.46/2.59 c deduced all_different(V344,V383,V800,V1038,V1539,V1659,V1685,V782)
2.46/2.59 c deduced all_different(V7,V803,V1049,V1957,V1982,V784)
2.46/2.59 c deduced all_different(V197,V243,V732,V1455,V1598,V786)
2.46/2.59 c deduced all_different(V28,V70,V406,V492,V780,V1488,V1747,V788)
2.46/2.59 c deduced all_different(V6,V184,V738,V1075,V1333,V1680,V789)
2.46/2.59 c deduced all_different(V233,V234,V489,V577,V1154,V1507,V790)
2.46/2.59 c deduced all_different(V132,V246,V376,V1426,V2084,V791)
2.46/2.59 c deduced all_different(V11,V277,V289,V308,V794)
2.46/2.59 c deduced all_different(V154,V282,V598,V969,V1416,V795)
2.46/2.59 c deduced all_different(V105,V200,V278,V1568,V796)
2.46/2.59 c deduced all_different(V240,V598,V721,V958,V1007,V1751,V797)
2.46/2.59 c deduced all_different(V10,V88,V143,V873,V903,V2086,V798)
2.46/2.59 c deduced all_different(V196,V459,V700,V1755,V1934,V801)
2.46/2.59 c deduced all_different(V15,V149,V367,V491,V1781,V807)
2.46/2.59 c deduced all_different(V59,V111,V291,V1674,V809)
2.46/2.59 c deduced all_different(V104,V147,V1008,V1355,V1644,V1713,V810)
2.46/2.59 c deduced all_different(V1,V167,V355,V1557,V1577,V1963,V811)
2.46/2.59 c deduced all_different(V52,V376,V672,V870,V2084,V814)
2.46/2.59 c deduced all_different(V36,V272,V1575,V1711,V815)
2.46/2.59 c deduced all_different(V137,V152,V1221,V1287,V1679,V816)
2.46/2.59 c deduced all_different(V9,V13,V280,V844,V1578,V817)
2.46/2.59 c deduced all_different(V404,V469,V657,V698,V1044,V1122,V1490,V2002,V818)
2.46/2.59 c deduced all_different(V25,V136,V303,V2003,V2034,V821)
2.46/2.59 c deduced all_different(V194,V197,V718,V732,V1298,V1455,V822)
2.46/2.59 c deduced all_different(V84,V95,V590,V599,V1240,V824)
2.46/2.59 c deduced all_different(V14,V28,V70,V551,V780,V1167,V1279,V825)
2.46/2.59 c deduced all_different(V15,V80,V1271,V1781,V826)
2.46/2.59 c deduced all_different(V152,V538,V1287,V1679,V1831,V827)
2.46/2.59 c deduced all_different(V105,V185,V737,V833,V834)
2.46/2.59 c deduced all_different(V40,V811,V989,V1342,V1963,V835)
2.46/2.59 c deduced all_different(V68,V365,V590,V1382,V838)
2.46/2.59 c deduced all_different(V190,V383,V616,V1539,V1659,V839)
2.46/2.59 c deduced all_different(V214,V624,V1231,V1288,V1367,V842)
2.46/2.59 c deduced all_different(V69,V103,V430,V1201,V1250,V843)
2.46/2.59 c deduced all_different(V152,V662,V675,V1563,V1679,V846)
2.46/2.59 c deduced all_different(V84,V95,V590,V599,V1265,V847)
2.46/2.59 c deduced all_different(V31,V85,V180,V322,V1755,V848)
2.46/2.59 c deduced all_different(V24,V126,V247,V423,V849)
2.46/2.59 c deduced all_different(V7,V26,V1260,V1957,V1982,V851)
2.46/2.59 c deduced all_different(V34,V447,V699,V736,V1019,V1231,V852)
2.46/2.59 c deduced all_different(V97,V232,V261,V1173,V1798,V1806,V853)
2.46/2.59 c deduced all_different(V82,V225,V304,V508,V1418,V1962,V1979,V854)
2.46/2.59 c deduced all_different(V157,V300,V674,V694,V1283,V855)
2.46/2.59 c deduced all_different(V48,V222,V444,V1061,V1226,V1285,V858)
2.46/2.59 c deduced all_different(V164,V331,V345,V1153,V2106,V859)
2.46/2.59 c deduced all_different(V34,V341,V808,V991,V1231,V862)
2.46/2.59 c deduced all_different(V149,V367,V529,V1781,V863)
2.46/2.59 c deduced all_different(V192,V234,V577,V667,V860,V865)
2.46/2.59 c deduced all_different(V103,V430,V1089,V1436,V1530,V866)
2.46/2.59 c deduced all_different(V3,V116,V451,V504,V1960,V2081,V867)
2.46/2.59 c deduced all_different(V118,V650,V1150,V1615,V1846,V868)
2.46/2.59 c deduced all_different(V175,V310,V507,V1644,V869)
2.46/2.59 c deduced all_different(V419,V525,V545,V660,V1950,V875)
2.46/2.59 c deduced all_different(V7,V784,V1049,V1957,V1982,V876)
2.46/2.59 c deduced all_different(V72,V165,V215,V1258,V1638,V877)
2.46/2.59 c deduced all_different(V121,V562,V711,V1202,V1659,V878)
2.46/2.59 c deduced all_different(V95,V271,V590,V824,V943,V879)
2.46/2.59 c deduced all_different(V219,V255,V295,V430,V1390,V880)
2.46/2.59 c deduced all_different(V295,V318,V430,V945,V2016,V2098,V881)
2.46/2.59 c deduced all_different(V39,V199,V572,V935,V882)
2.46/2.59 c deduced all_different(V90,V449,V735,V1679,V1694,V884)
2.46/2.59 c deduced all_different(V26,V108,V273,V1260,V1395,V1528,V1957,V885)
2.46/2.59 c deduced all_different(V48,V266,V552,V1285,V1318,V886)
2.46/2.59 c deduced all_different(V30,V146,V670,V1151,V1718,V1957,V887)
2.46/2.59 c deduced all_different(V86,V138,V563,V633,V1112,V1483,V890)
2.46/2.59 c deduced all_different(V188,V216,V260,V1806,V2097,V892)
2.46/2.59 c deduced all_different(V9,V280,V431,V1569,V1578,V895)
2.46/2.59 c deduced all_different(V227,V542,V971,V1158,V1285,V1681,V1699,V896)
2.46/2.59 c deduced all_different(V46,V524,V582,V1184,V1214,V1439,V897)
2.46/2.59 c deduced all_different(V48,V222,V353,V552,V1285,V898)
2.46/2.59 c deduced all_different(V59,V75,V653,V793,V1674,V900)
2.46/2.59 c deduced all_different(V157,V300,V317,V694,V1496,V904)
2.46/2.59 c deduced all_different(V39,V199,V547,V893,V1291,V1805,V907)
2.46/2.59 c deduced all_different(V145,V363,V1423,V1878,V2022,V908)
2.46/2.59 c deduced all_different(V206,V364,V456,V532,V694,V909)
2.46/2.59 c deduced all_different(V25,V181,V252,V320,V2003,V911)
2.46/2.59 c deduced all_different(V7,V26,V803,V1957,V912)
2.46/2.59 c deduced all_different(V122,V577,V860,V1028,V913)
2.46/2.59 c deduced all_different(V1,V314,V811,V1290,V1963,V914)
2.46/2.59 c deduced all_different(V30,V273,V1049,V1078,V1718,V1957,V1993,V916)
2.46/2.59 c deduced all_different(V14,V70,V78,V551,V1167,V1196,V917)
2.46/2.59 c deduced all_different(V50,V844,V1578,V1848,V918)
2.46/2.59 c deduced all_different(V14,V28,V70,V78,V297,V901,V1279,V922)
2.46/2.59 c deduced all_different(V113,V176,V225,V293,V743,V1962,V923)
2.46/2.59 c deduced all_different(V9,V50,V244,V696,V844,V1578,V924)
2.46/2.59 c deduced all_different(V14,V28,V70,V297,V492,V1320,V925)
2.46/2.59 c deduced all_different(V155,V582,V813,V1495,V927)
2.46/2.59 c deduced all_different(V16,V303,V544,V1459,V1867,V2003,V928)
2.46/2.59 c deduced all_different(V214,V447,V736,V1178,V1231,V929)
2.46/2.59 c deduced all_different(V56,V143,V761,V1417,V930)
2.46/2.59 c deduced all_different(V7,V102,V498,V1001,V1528,V1957,V1993,V932)
2.46/2.59 c deduced all_different(V81,V276,V459,V749,V1755,V933)
2.46/2.59 c deduced all_different(V126,V130,V423,V429,V934)
2.46/2.59 c deduced all_different(V21,V657,V665,V941,V1122,V1349,V1424,V936)
2.46/2.59 c deduced all_different(V194,V197,V533,V1331,V1455,V937)
2.46/2.59 c deduced all_different(V94,V128,V165,V760,V1769,V939)
2.46/2.59 c deduced all_different(V28,V70,V71,V780,V1488,V940)
2.46/2.59 c deduced all_different(V154,V477,V598,V889,V969,V1257,V942)
2.46/2.59 c deduced all_different(V45,V114,V398,V705,V1180,V946)
2.46/2.59 c deduced all_different(V3,V116,V388,V504,V829,V1960,V948)
2.46/2.59 c deduced all_different(V24,V247,V279,V423,V949)
2.46/2.59 c deduced all_different(V19,V86,V142,V1112,V1483,V950)
2.46/2.59 c deduced all_different(V190,V344,V616,V711,V1659,V954)
2.46/2.59 c deduced all_different(V60,V401,V593,V979,V1230,V1429,V956)
2.46/2.59 c deduced all_different(V188,V216,V757,V1806,V957)
2.46/2.59 c deduced all_different(V240,V274,V598,V969,V959)
2.46/2.59 c deduced all_different(V139,V657,V665,V1349,V960)
2.46/2.59 c deduced all_different(V192,V234,V577,V963)
2.46/2.59 c deduced all_different(V3,V526,V651,V1517,V1960,V1992,V964)
2.46/2.59 c deduced all_different(V26,V108,V803,V1260,V1528,V1957,V966)
2.46/2.59 c deduced all_different(V22,V117,V416,V781,V997,V1895,V1986,V968)
2.46/2.59 c deduced all_different(V190,V344,V616,V954,V1659,V972)
2.46/2.59 c deduced all_different(V271,V468,V590,V730,V1303,V974)
2.46/2.59 c deduced all_different(V59,V62,V602,V620,V965,V1674,V976)
2.46/2.59 c deduced all_different(V57,V252,V1733,V1923,V2003,V977)
2.46/2.59 c deduced all_different(V266,V407,V500,V1285,V1341,V978)
2.46/2.59 c deduced all_different(V117,V281,V613,V632,V781,V980)
2.46/2.59 c deduced all_different(V131,V346,V1251,V1875,V1950,V981)
2.46/2.59 c deduced all_different(V4,V135,V393,V1075,V983)
2.46/2.59 c deduced all_different(V190,V562,V711,V1659,V984)
2.46/2.59 c deduced all_different(V3,V451,V504,V857,V1039,V1960,V985)
2.46/2.59 c deduced all_different(V44,V191,V423,V1134,V986)
2.46/2.59 c deduced all_different(V85,V180,V700,V1755,V987)
2.46/2.59 c deduced all_different(V174,V372,V378,V664,V1209,V988)
2.46/2.59 c deduced all_different(V206,V364,V532,V694,V992)
2.46/2.59 c deduced all_different(V223,V251,V341,V1052,V1110,V1231,V993)
2.46/2.59 c deduced all_different(V17,V105,V208,V833,V1810,V996)
2.46/2.59 c deduced all_different(V101,V224,V311,V487,V607,V1100,V998)
2.46/2.59 c deduced all_different(V130,V191,V423,V429,V999)
2.46/2.59 c deduced all_different(V20,V32,V1493,V1000)
2.46/2.59 c deduced all_different(V90,V449,V884,V1526,V1679,V1002)
2.46/2.59 c deduced all_different(V70,V71,V406,V780,V1312,V1004)
2.46/2.59 c deduced all_different(V40,V323,V355,V1678,V1963,V1005)
2.46/2.59 c deduced all_different(V147,V381,V1126,V1361,V1644,V1785,V1006)
2.46/2.59 c deduced all_different(V74,V389,V1016,V1373,V1423,V1009)
2.46/2.59 c deduced all_different(V11,V289,V371,V671,V1294,V1010)
2.46/2.59 c deduced all_different(V13,V50,V1346,V1578,V1011)
2.46/2.59 c deduced all_different(V144,V165,V361,V439,V502,V1012)
2.46/2.59 c deduced all_different(V131,V545,V1950,V1014)
2.46/2.59 c deduced all_different(V22,V117,V416,V781,V1895,V2114,V1018)
2.46/2.59 c deduced all_different(V69,V103,V430,V1250,V1020)
2.46/2.59 c deduced all_different(V260,V684,V1485,V1727,V1806,V1021)
2.46/2.59 c deduced all_different(V20,V64,V1852,V1022)
2.46/2.59 c deduced all_different(V31,V81,V637,V1755,V1024)
2.46/2.59 c deduced all_different(V188,V684,V689,V1727,V1806,V1025)
2.46/2.59 c deduced all_different(V32,V51,V1000,V1493,V1026)
2.46/2.59 c deduced all_different(V98,V158,V372,V639,V1027)
2.46/2.59 c deduced all_different(V214,V609,V808,V1231,V1288,V2037,V1031)
2.46/2.59 c deduced all_different(V68,V365,V590,V1486,V1612,V1032)
2.46/2.59 c deduced all_different(V13,V187,V1410,V1578,V1825,V1033)
2.46/2.59 c deduced all_different(V42,V159,V703,V1153,V1415,V1034)
2.46/2.59 c deduced all_different(V172,V543,V603,V731,V1543,V1036)
2.46/2.59 c deduced all_different(V3,V116,V388,V526,V1960,V1037)
2.46/2.59 c deduced all_different(V45,V114,V413,V705,V1041)
2.46/2.59 c deduced all_different(V35,V495,V657,V665,V2002,V1043)
2.56/2.60 c deduced all_different(V89,V205,V979,V1429,V1045)
2.56/2.60 c deduced all_different(V110,V183,V740,V850,V1578,V1046)
2.56/2.60 c deduced all_different(V93,V316,V413,V705,V1121,V1663,V1048)
2.56/2.60 c deduced all_different(V53,V267,V529,V1697,V1781,V1050)
2.56/2.60 c deduced all_different(V177,V287,V480,V1231,V2037,V1051)
2.56/2.60 c deduced all_different(V131,V545,V627,V1950,V1054)
2.56/2.60 c deduced all_different(V119,V155,V582,V813,V1227,V1055)
2.56/2.60 c deduced all_different(V40,V355,V811,V1780,V1963,V1056)
2.56/2.60 c deduced all_different(V98,V321,V372,V2074,V1057)
2.56/2.60 c deduced all_different(V99,V176,V248,V508,V1418,V1962,V1058)
2.56/2.60 c deduced all_different(V124,V206,V254,V364,V694,V1060)
2.56/2.60 c deduced all_different(V3,V116,V388,V829,V857,V1960,V1062)
2.56/2.60 c deduced all_different(V284,V316,V450,V658,V705,V787,V812,V1063)
2.56/2.60 c deduced all_different(V88,V143,V903,V906,V1583,V1064)
2.56/2.60 c deduced all_different(V445,V464,V820,V1040,V1141,V1066)
2.56/2.60 c deduced all_different(V195,V1040,V1117,V1502,V1069)
2.56/2.60 c deduced all_different(V77,V265,V751,V1331,V1358,V1455,V1070)
2.56/2.60 c deduced all_different(V69,V255,V430,V1029,V1250,V1071)
2.56/2.60 c deduced all_different(V72,V128,V165,V1269,V1073)
2.56/2.60 c deduced all_different(V147,V1006,V1126,V1355,V1361,V1644,V1074)
2.56/2.60 c deduced all_different(V23,V290,V423,V1030,V1125,V1275,V1077)
2.56/2.60 c deduced all_different(V217,V562,V711,V1659,V1079)
2.56/2.60 c deduced all_different(V66,V83,V101,V327,V1470,V1080)
2.56/2.60 c deduced all_different(V133,V172,V570,V731,V1661,V2001,V1082)
2.56/2.60 c deduced all_different(V107,V120,V160,V864,V1076,V1842,V1084)
2.56/2.60 c deduced all_different(V72,V144,V165,V215,V1269,V1794,V1090)
2.56/2.60 c deduced all_different(V67,V126,V262,V423,V1229,V1573,V1091)
2.56/2.60 c deduced all_different(V305,V598,V1257,V1363,V1092)
2.56/2.60 c deduced all_different(V344,V569,V800,V1038,V1659,V1093)
2.56/2.60 c deduced all_different(V180,V322,V399,V1380,V1755,V1094)
2.56/2.60 c deduced all_different(V216,V230,V957,V967,V1419,V1806,V1096)
2.56/2.60 c deduced all_different(V154,V282,V598,V1757,V1907,V1097)
2.56/2.60 c deduced all_different(V119,V155,V379,V582,V813,V1649,V1102)
2.56/2.60 c deduced all_different(V89,V245,V894,V1429,V1103)
2.56/2.60 c deduced all_different(V249,V372,V482,V493,V1278,V1104)
2.56/2.60 c deduced all_different(V116,V451,V867,V1549,V1960,V1105)
2.56/2.60 c deduced all_different(V52,V374,V405,V1216,V2084,V1106)
2.56/2.60 c deduced all_different(V69,V430,V1029,V1047,V1201,V1107)
2.56/2.60 c deduced all_different(V148,V189,V280,V296,V850,V1578,V1109)
2.56/2.60 c deduced all_different(V222,V353,V444,V500,V1285,V1113)
2.56/2.60 c deduced all_different(V54,V66,V101,V224,V585,V1108,V2095,V1114)
2.56/2.60 c deduced all_different(V87,V164,V204,V1153,V1263,V1115)
2.56/2.60 c deduced all_different(V398,V658,V705,V1048,V1116)
2.56/2.60 c deduced all_different(V19,V106,V799,V1483,V1118)
2.56/2.60 c deduced all_different(V27,V204,V331,V1153,V1119)
2.56/2.60 c deduced all_different(V240,V598,V792,V958,V1120)
2.56/2.60 c deduced all_different(V42,V198,V345,V1153,V1123)
2.56/2.60 c deduced all_different(V31,V81,V1669,V1755,V2054,V1124)
2.56/2.60 c deduced all_different(V192,V257,V577,V910,V1690,V1779,V1127)
2.56/2.60 c deduced all_different(V25,V252,V688,V1463,V1733,V2003,V1128)
2.56/2.60 c deduced all_different(V268,V381,V810,V1098,V1644,V1684,V1924,V1130)
2.56/2.60 c deduced all_different(V61,V289,V308,V332,V645,V1131)
2.56/2.60 c deduced all_different(V287,V480,V929,V1231,V2037,V1132)
2.56/2.60 c deduced all_different(V20,V166,V272,V1022,V1133)
2.56/2.60 c deduced all_different(V121,V190,V711,V845,V1659,V1135)
2.56/2.60 c deduced all_different(V190,V383,V616,V1539,V1659,V1137)
2.56/2.60 c deduced all_different(V240,V274,V598,V1807,V1139)
2.56/2.60 c deduced all_different(V158,V249,V372,V772,V1143)
2.56/2.60 c deduced all_different(V1,V522,V914,V1614,V1678,V1963,V1144)
2.56/2.60 c deduced all_different(V193,V316,V705,V767,V1145)
2.56/2.60 c deduced all_different(V318,V430,V768,V1029,V1155)
2.56/2.60 c deduced all_different(V38,V113,V248,V549,V717,V1962,V1159)
2.56/2.60 c deduced all_different(V128,V165,V409,V1266,V1160)
2.56/2.60 c deduced all_different(V109,V499,V650,V1698,V1824,V1161)
2.56/2.60 c deduced all_different(V211,V321,V372,V378,V1057,V1441,V1162)
2.56/2.60 c deduced all_different(V18,V133,V325,V731,V1315,V1163)
2.56/2.60 c deduced all_different(V33,V199,V547,V1179,V1774,V1945,V1164)
2.56/2.60 c deduced all_different(V180,V286,V322,V766,V1380,V1755,V1165)
2.56/2.60 c deduced all_different(V105,V185,V368,V589,V990,V1168)
2.56/2.60 c deduced all_different(V88,V143,V422,V701,V1272,V1169)
2.56/2.60 c deduced all_different(V93,V413,V450,V705,V767,V1170)
2.56/2.60 c deduced all_different(V26,V273,V885,V1528,V1718,V1957,V1171)
2.56/2.60 c deduced all_different(V47,V118,V340,V506,V650,V1072,V1174)
2.56/2.60 c deduced all_different(V116,V719,V829,V1105,V1960,V1175)
2.56/2.60 c deduced all_different(V106,V138,V241,V1442,V1483,V1176)
2.56/2.60 c deduced all_different(V31,V85,V286,V322,V1755,V1177)
2.56/2.60 c deduced all_different(V65,V195,V591,V1040,V1607,V1181)
2.56/2.60 c deduced all_different(V47,V390,V650,V1276,V1587,V1182)
2.56/2.60 c deduced all_different(V52,V132,V330,V1292,V1389,V2040,V2084,V1185)
2.56/2.60 c deduced all_different(V179,V490,V582,V1274,V1186)
2.56/2.60 c deduced all_different(V105,V185,V589,V990,V1168,V1760,V1187)
2.56/2.60 c deduced all_different(V229,V420,V561,V577,V1188)
2.56/2.60 c deduced all_different(V49,V61,V289,V421,V645,V1189)
2.56/2.60 c deduced all_different(V88,V143,V422,V903,V1272,V1851,V1192)
2.56/2.60 c deduced all_different(V33,V115,V199,V572,V1193)
2.56/2.60 c deduced all_different(V15,V329,V491,V807,V1781,V1194)
2.56/2.60 c deduced all_different(V35,V139,V657,V665,V1424,V1197)
2.56/2.60 c deduced all_different(V396,V695,V731,V1163,V2001,V1199)
2.56/2.60 c deduced all_different(V408,V691,V1700,V2003,V1200)
2.56/2.60 c deduced all_different(V10,V143,V236,V701,V761,V1589,V1203)
2.56/2.60 c deduced all_different(V9,V13,V484,V1410,V1578,V1204)
2.56/2.60 c deduced all_different(V346,V373,V539,V883,V1950,V1205)
2.56/2.60 c deduced all_different(V60,V127,V1157,V1362,V1429,V1602,V1207)
2.56/2.60 c deduced all_different(V72,V165,V409,V435,V1431,V1208)
2.56/2.60 c deduced all_different(V31,V713,V848,V1755,V1211)
2.56/2.60 c deduced all_different(V132,V246,V791,V1256,V2084,V1213)
2.56/2.60 c deduced all_different(V58,V347,V376,V1984,V2084,V1215)
2.56/2.60 c deduced all_different(V22,V342,V416,V781,V968,V1406,V1217)
2.56/2.60 c deduced all_different(V93,V316,V630,V705,V1048,V1218)
2.56/2.60 c deduced all_different(V19,V106,V687,V1112,V1483,V1870,V1222)
2.56/2.60 c deduced all_different(V58,V374,V709,V1106,V2057,V2084,V1224)
2.56/2.60 c deduced all_different(V17,V105,V726,V990,V2087,V1228)
2.56/2.60 c deduced all_different(V81,V276,V459,V933,V1755,V1233)
2.56/2.60 c deduced all_different(V353,V500,V542,V1113,V1285,V1297,V1318,V1235)
2.56/2.60 c deduced all_different(V133,V172,V731,V995,V1879,V1236)
2.56/2.60 c deduced all_different(V47,V118,V340,V650,V856,V1223,V1709,V1238)
2.56/2.60 c deduced all_different(V86,V142,V472,V1152,V1483,V1239)
2.56/2.60 c deduced all_different(V147,V1006,V1023,V1644,V1766,V1785,V2004,V1243)
2.56/2.60 c deduced all_different(V62,V163,V294,V710,V1674,V1245)
2.56/2.60 c deduced all_different(V174,V372,V378,V664,V988,V1247)
2.56/2.60 c deduced all_different(V57,V181,V252,V1459,V2003,V1248)
2.56/2.60 c deduced all_different(V157,V292,V300,V674,V694,V1438,V1249)
2.56/2.60 c deduced all_different(V14,V28,V70,V78,V297,V1252)
2.56/2.60 c deduced all_different(V104,V220,V823,V1644,V1253)
2.56/2.60 c deduced all_different(V15,V267,V596,V1781,V1255)
2.56/2.60 c deduced all_different(V59,V75,V714,V793,V1053,V1674,V1262)
2.56/2.60 c deduced all_different(V22,V281,V781,V997,V1406,V2114,V1264)
2.56/2.60 c deduced all_different(V158,V372,V482,V1951,V1267)
2.56/2.60 c deduced all_different(V158,V372,V493,V664,V1268)
2.56/2.60 c deduced all_different(V260,V892,V1021,V1419,V1806,V1273)
2.56/2.60 c deduced all_different(V1,V314,V323,V1290,V1963,V1277)
2.56/2.60 c deduced all_different(V193,V316,V630,V705,V767,V1280)
2.56/2.60 c deduced all_different(V45,V114,V398,V705,V946,V1281)
2.56/2.60 c deduced all_different(V7,V102,V498,V803,V1528,V1957,V1282)
2.56/2.60 c deduced all_different(V254,V300,V317,V694,V1060,V1438,V1289)
2.56/2.60 c deduced all_different(V0,V386,V510,V1040,V1141,V1295)
2.56/2.60 c deduced all_different(V106,V241,V687,V1421,V1483,V1299)
2.56/2.60 c deduced all_different(V155,V379,V490,V582,V745,V828,V1304)
2.56/2.60 c deduced all_different(V117,V281,V416,V778,V781,V1305)
2.56/2.60 c deduced all_different(V33,V199,V547,V1854,V1955,V1306)
2.56/2.60 c deduced all_different(V132,V246,V376,V672,V2084,V1308)
2.56/2.60 c deduced all_different(V65,V238,V309,V591,V1040,V1181,V1309)
2.56/2.60 c deduced all_different(V2,V160,V747,V1076,V1474,V1983,V1310)
2.56/2.60 c deduced all_different(V104,V147,V810,V1126,V1644,V1311)
2.56/2.60 c deduced all_different(V168,V218,V543,V603,V731,V1313)
2.56/2.60 c deduced all_different(V15,V149,V491,V642,V1781,V1316)
2.56/2.60 c deduced all_different(V69,V221,V430,V1020,V1254,V1436,V1606,V1321)
2.56/2.60 c deduced all_different(V105,V208,V239,V368,V905,V1168,V1323)
2.56/2.60 c deduced all_different(V160,V171,V864,V1076,V1621,V1324)
2.56/2.60 c deduced all_different(V216,V260,V967,V1173,V1806,V2031,V1325)
2.56/2.60 c deduced all_different(V43,V92,V514,V902,V1423,V1878,V1326)
2.56/2.60 c deduced all_different(V167,V355,V473,V811,V836,V1963,V1327)
2.56/2.60 c deduced all_different(V5,V105,V239,V368,V1427,V1328)
2.56/2.60 c deduced all_different(V12,V289,V501,V671,V785,V1692,V1329)
2.56/2.60 c deduced all_different(V84,V365,V590,V1032,V1612,V1330)
2.56/2.60 c deduced all_different(V104,V823,V1644,V1791,V1936,V1332)
2.56/2.60 c deduced all_different(V254,V292,V300,V694,V1830,V1335)
2.56/2.60 c deduced all_different(V90,V449,V1002,V1526,V1679,V1336)
2.56/2.60 c deduced all_different(V221,V237,V430,V945,V1390,V1338)
2.56/2.60 c deduced all_different(V1,V355,V1017,V1577,V1963,V1339)
2.56/2.60 c deduced all_different(V99,V176,V508,V1872,V1962,V1340)
2.56/2.60 c deduced all_different(V139,V657,V804,V960,V1926,V1343)
2.56/2.60 c deduced all_different(V8,V18,V168,V731,V1377,V1344)
2.56/2.60 c deduced all_different(V20,V36,V441,V1345)
2.56/2.60 c deduced all_different(V33,V115,V199,V572,V1641,V1347)
2.56/2.60 c deduced all_different(V69,V103,V430,V843,V1201,V1348)
2.56/2.60 c deduced all_different(V52,V330,V540,V2084,V1350)
2.56/2.60 c deduced all_different(V84,V313,V468,V590,V1353)
2.56/2.60 c deduced all_different(V37,V151,V979,V1429,V1793,V1354)
2.56/2.60 c deduced all_different(V132,V330,V376,V440,V1660,V2084,V1357)
2.56/2.60 c deduced all_different(V121,V190,V562,V1539,V1659,V1928,V1359)
2.56/2.60 c deduced all_different(V254,V364,V532,V694,V720,V1360)
2.56/2.60 c deduced all_different(V195,V486,V1040,V1141,V1365)
2.56/2.60 c deduced all_different(V23,V130,V423,V1366)
2.56/2.60 c deduced all_different(V225,V293,V717,V1418,V1739,V1962,V1368)
2.56/2.60 c deduced all_different(V46,V379,V582,V1214,V1369)
2.56/2.60 c deduced all_different(V282,V335,V598,V889,V1416,V1732,V1751,V1371)
2.56/2.60 c deduced all_different(V186,V198,V763,V840,V1153,V1447,V1374)
2.56/2.60 c deduced all_different(V139,V657,V669,V1375)
2.56/2.60 c deduced all_different(V43,V343,V926,V1270,V1423,V1376)
2.56/2.60 c deduced all_different(V136,V181,V252,V320,V2003,V1378)
2.56/2.60 c deduced all_different(V174,V275,V372,V664,V1381)
2.56/2.60 c deduced all_different(V107,V120,V864,V1076,V1142,V1773,V1842,V1383)
2.56/2.60 c deduced all_different(V177,V214,V436,V646,V1110,V1231,V1384)
2.56/2.60 c deduced all_different(V373,V539,V754,V883,V1950,V1988,V1386)
2.56/2.60 c deduced all_different(V268,V481,V1006,V1644,V1791,V1387)
2.56/2.60 c deduced all_different(V29,V199,V202,V547,V874,V1832,V1388)
2.56/2.60 c deduced all_different(V9,V50,V73,V244,V1578,V1890,V1391)
2.56/2.60 c deduced all_different(V211,V275,V372,V479,V493,V1392)
2.56/2.60 c deduced all_different(V68,V271,V365,V590,V1232,V1393)
2.56/2.60 c deduced all_different(V58,V376,V405,V1106,V2040,V2084,V1394)
2.56/2.60 c deduced all_different(V19,V182,V1483,V1752,V1396)
2.56/2.60 c deduced all_different(V22,V281,V781,V1895,V2114,V1397)
2.56/2.60 c deduced all_different(V54,V101,V209,V311,V487,V1790,V1398)
2.56/2.60 c deduced all_different(V122,V192,V561,V577,V1206,V1833,V1399)
2.56/2.60 c deduced all_different(V47,V506,V650,V1072,V1174,V1587,V1401)
2.56/2.60 c deduced all_different(V48,V266,V444,V1285,V1318,V1341,V1403)
2.56/2.60 c deduced all_different(V168,V218,V731,V995,V1407)
2.56/2.60 c deduced all_different(V26,V273,V885,V1260,V1528,V1957,V1408)
2.56/2.60 c deduced all_different(V134,V145,V1423,V1604,V1412)
2.56/2.60 c deduced all_different(V122,V488,V561,V577,V1422)
2.56/2.60 c deduced all_different(V251,V341,V808,V993,V1052,V1231,V1425)
2.56/2.60 c deduced all_different(V279,V290,V423,V759,V1030,V1125,V1428)
2.56/2.60 c deduced all_different(V386,V686,V820,V1040,V1141,V1430)
2.56/2.60 c deduced all_different(V31,V286,V1024,V1755,V1812,V1433)
2.56/2.60 c deduced all_different(V0,V395,V686,V820,V1040,V1434)
2.56/2.60 c deduced all_different(V48,V552,V898,V1285,V1318,V1796,V1435)
2.56/2.60 c deduced all_different(V161,V474,V755,V1493,V2000,V1437)
2.56/2.60 c deduced all_different(V90,V662,V675,V735,V1679,V1862,V1440)
2.56/2.60 c deduced all_different(V131,V545,V1054,V1950,V1443)
2.56/2.60 c deduced all_different(V43,V328,V514,V725,V1423,V1519,V1444)
2.56/2.60 c deduced all_different(V59,V612,V965,V1674,V1445)
2.56/2.60 c deduced all_different(V0,V395,V1040,V1295,V1446)
2.56/2.60 c deduced all_different(V68,V365,V590,V1393,V1486,V1612,V1448)
2.56/2.60 c deduced all_different(V55,V289,V645,V779,V1449)
2.56/2.60 c deduced all_different(V116,V526,V1037,V1517,V1960,V1450)
2.56/2.60 c deduced all_different(V2,V120,V516,V1076,V1814,V1451)
2.56/2.60 c deduced all_different(V101,V306,V369,V955,V1301,V1745,V1453)
2.56/2.60 c deduced all_different(V250,V282,V598,V792,V1732,V1907,V1454)
2.56/2.60 c deduced all_different(V216,V230,V307,V1293,V1806,V2031,V1456)
2.56/2.60 c deduced all_different(V116,V504,V857,V1039,V1960,V1457)
2.56/2.60 c deduced all_different(V119,V379,V546,V582,V1460)
2.56/2.60 c deduced all_different(V31,V85,V637,V848,V1755,V1812,V2071,V1461)
2.56/2.61 c deduced all_different(V392,V402,V443,V1455,V1898,V1462)
2.56/2.61 c deduced all_different(V40,V323,V819,V1963,V1464)
2.56/2.61 c deduced all_different(V3,V504,V857,V985,V1039,V1960,V1465)
2.56/2.61 c deduced all_different(V16,V303,V544,V1459,V1867,V2003,V1467)
2.56/2.61 c deduced all_different(V89,V427,V467,V1429,V1602,V1736,V1743,V1468)
2.56/2.61 c deduced all_different(V22,V342,V781,V783,V968,V1986,V1469)
2.56/2.61 c deduced all_different(V1,V167,V1017,V1577,V1963,V1471)
2.56/2.61 c deduced all_different(V199,V547,V874,V907,V1533,V1472)
2.56/2.61 c deduced all_different(V107,V120,V171,V753,V1076,V1983,V1473)
2.56/2.61 c deduced all_different(V172,V570,V731,V995,V1476)
2.56/2.61 c deduced all_different(V65,V386,V591,V1040,V1141,V1477)
2.56/2.61 c deduced all_different(V42,V198,V703,V763,V840,V1153,V1478)
2.56/2.61 c deduced all_different(V217,V226,V383,V806,V1659,V1479)
2.56/2.61 c deduced all_different(V157,V300,V674,V694,V1249,V1438,V1480)
2.56/2.61 c deduced all_different(V155,V578,V582,V828,V1166,V1495,V1481)
2.56/2.61 c deduced all_different(V29,V199,V572,V874,V1613,V1487)
2.56/2.61 c deduced all_different(V89,V203,V245,V1429,V1658,V1491)
2.56/2.61 c deduced all_different(V68,V271,V590,V730,V1232,V2021,V1494)
2.56/2.61 c deduced all_different(V27,V204,V417,V1153,V1498)
2.56/2.61 c deduced all_different(V154,V477,V598,V872,V969,V1257,V1499)
2.56/2.61 c deduced all_different(V38,V82,V225,V549,V1574,V1962,V1979,V1500)
2.56/2.61 c deduced all_different(V94,V128,V165,V760,V1652,V1501)
2.56/2.61 c deduced all_different(V101,V224,V369,V704,V1114,V1198,V1503)
2.56/2.61 c deduced all_different(V98,V372,V681,V1504)
2.56/2.61 c deduced all_different(V42,V568,V703,V1153,V2036,V1505)
2.56/2.61 c deduced all_different(V39,V79,V199,V1805,V1506)
2.56/2.61 c deduced all_different(V170,V472,V535,V1483,V1510)
2.56/2.61 c deduced all_different(V199,V202,V874,V1164,V1843,V1511)
2.56/2.61 c deduced all_different(V4,V6,V636,V1075,V1695,V1513)
2.56/2.61 c deduced all_different(V340,V650,V856,V1514)
2.56/2.61 c deduced all_different(V45,V284,V658,V705,V812,V1705,V1515)
2.56/2.61 c deduced all_different(V120,V171,V685,V753,V1076,V1516)
2.56/2.61 c deduced all_different(V194,V243,V732,V1298,V1455,V1518)
2.56/2.61 c deduced all_different(V12,V55,V61,V289,V1520)
2.56/2.61 c deduced all_different(V53,V123,V149,V642,V1781,V1521)
2.56/2.61 c deduced all_different(V107,V171,V753,V864,V1076,V1142,V1522)
2.56/2.61 c deduced all_different(V23,V126,V423,V470,V1594,V1523)
2.56/2.61 c deduced all_different(V88,V143,V422,V625,V1524)
2.56/2.61 c deduced all_different(V29,V199,V202,V1291,V1805,V1525)
2.56/2.61 c deduced all_different(V64,V441,V668,V1715,V1527)
2.56/2.61 c deduced all_different(V373,V539,V617,V883,V1950,V1529)
2.56/2.61 c deduced all_different(V269,V538,V662,V1546,V1679,V1531)
2.56/2.61 c deduced all_different(V194,V392,V402,V1083,V1455,V1532)
2.56/2.61 c deduced all_different(V143,V236,V625,V1244,V1272,V1534)
2.56/2.61 c deduced all_different(V133,V172,V731,V1236,V1661,V1535)
2.56/2.61 c deduced all_different(V76,V140,V654,V673,V781,V1537)
2.56/2.61 c deduced all_different(V97,V232,V260,V1173,V1806,V2031,V1538)
2.56/2.61 c deduced all_different(V48,V266,V500,V1285,V1341,V1858,V1540)
2.56/2.61 c deduced all_different(V8,V18,V649,V731,V1853,V1541)
2.56/2.61 c deduced all_different(V118,V506,V650,V1072,V1150,V1542)
2.56/2.61 c deduced all_different(V6,V184,V789,V1075,V1317,V1333,V1544)
2.56/2.61 c deduced all_different(V59,V291,V612,V1674,V1545)
2.56/2.61 c deduced all_different(V132,V330,V376,V1984,V2084,V1547)
2.56/2.61 c deduced all_different(V84,V95,V590,V599,V712,V1550)
2.56/2.61 c deduced all_different(V404,V469,V657,V698,V818,V1044,V1122,V2002,V1551)
2.56/2.61 c deduced all_different(V373,V387,V555,V644,V961,V1950,V2076,V1552)
2.56/2.61 c deduced all_different(V124,V157,V317,V694,V837,V1553)
2.56/2.61 c deduced all_different(V38,V82,V304,V1962,V1972,V1554)
2.56/2.61 c deduced all_different(V10,V143,V422,V903,V2086,V1555)
2.56/2.61 c deduced all_different(V105,V208,V726,V833,V1111,V1323,V1556)
2.56/2.61 c deduced all_different(V66,V83,V101,V585,V955,V1301,V1558)
2.56/2.61 c deduced all_different(V109,V499,V650,V1238,V1414,V1560)
2.56/2.61 c deduced all_different(V122,V233,V488,V577,V915,V1561)
2.56/2.61 c deduced all_different(V3,V451,V867,V1549,V1960,V1562)
2.56/2.61 c deduced all_different(V147,V381,V1006,V1361,V1644,V1684,V1785,V1564)
2.56/2.61 c deduced all_different(V190,V562,V711,V1659,V1565)
2.56/2.61 c deduced all_different(V50,V73,V110,V484,V1346,V1578,V1567)
2.56/2.61 c deduced all_different(V5,V105,V208,V239,V368,V1648,V1570)
2.56/2.61 c deduced all_different(V72,V165,V409,V1090,V1571)
2.56/2.61 c deduced all_different(V10,V143,V625,V1976,V2024,V1572)
2.56/2.61 c deduced all_different(V112,V141,V636,V1075,V1317,V1576)
2.56/2.61 c deduced all_different(V353,V542,V1113,V1235,V1285,V1297,V1318,V1579)
2.56/2.61 c deduced all_different(V44,V67,V290,V423,V1077,V1580)
2.56/2.61 c deduced all_different(V179,V485,V509,V546,V582,V1581)
2.56/2.61 c deduced all_different(V181,V252,V320,V1378,V2003,V1582)
2.56/2.61 c deduced all_different(V86,V142,V563,V1483,V2103,V1584)
2.56/2.61 c deduced all_different(V9,V50,V73,V484,V844,V1578,V1585)
2.56/2.61 c deduced all_different(V94,V165,V215,V1258,V1501,V1652,V1586)
2.56/2.61 c deduced all_different(V177,V360,V595,V646,V991,V1231,V1588)
2.56/2.61 c deduced all_different(V48,V266,V500,V1285,V1540,V1591)
2.56/2.61 c deduced all_different(V226,V562,V711,V878,V984,V1659,V1592)
2.56/2.61 c deduced all_different(V32,V51,V64,V384,V1593)
2.56/2.61 c deduced all_different(V77,V1331,V1358,V1455,V1595)
2.56/2.61 c deduced all_different(V98,V372,V567,V1027,V1081,V1241,V1748,V1596)
2.56/2.61 c deduced all_different(V84,V95,V590,V712,V994,V1597)
2.56/2.61 c deduced all_different(V75,V125,V618,V900,V1432,V1674,V1601)
2.56/2.61 c deduced all_different(V222,V353,V444,V1226,V1285,V1605)
2.56/2.61 c deduced all_different(V171,V864,V1076,V1324,V1621,V1608)
2.56/2.61 c deduced all_different(V0,V386,V510,V1040,V1295,V1497,V1609)
2.56/2.61 c deduced all_different(V3,V388,V651,V829,V1062,V1960,V1610)
2.56/2.61 c deduced all_different(V246,V405,V519,V1215,V1688,V2084,V1611)
2.56/2.61 c deduced all_different(V127,V203,V245,V264,V756,V1429,V1616)
2.56/2.61 c deduced all_different(V112,V375,V680,V1075,V1617)
2.56/2.61 c deduced all_different(V118,V650,V1150,V1615,V1717,V1846,V1618)
2.56/2.61 c deduced all_different(V28,V70,V78,V297,V922,V1279,V1619)
2.56/2.61 c deduced all_different(V25,V57,V181,V252,V2003,V1622)
2.56/2.61 c deduced all_different(V94,V165,V215,V462,V841,V1623)
2.56/2.61 c deduced all_different(V221,V430,V475,V1250,V1338,V1624)
2.56/2.61 c deduced all_different(V7,V26,V273,V1260,V1395,V1957,V1625)
2.56/2.61 c deduced all_different(V388,V403,V651,V1508,V1960,V1626)
2.56/2.61 c deduced all_different(V81,V276,V370,V749,V1755,V1627)
2.56/2.61 c deduced all_different(V43,V74,V92,V1423,V1657,V1628)
2.56/2.61 c deduced all_different(V48,V222,V353,V444,V1226,V1285,V1629)
2.56/2.61 c deduced all_different(V473,V522,V583,V914,V1471,V1963,V1630)
2.56/2.61 c deduced all_different(V30,V146,V1049,V1078,V1718,V1957,V1993,V1632)
2.56/2.61 c deduced all_different(V219,V237,V318,V430,V768,V1390,V1633)
2.56/2.61 c deduced all_different(V174,V372,V664,V1209,V2074,V1634)
2.56/2.61 c deduced all_different(V4,V112,V1075,V1655,V1635)
2.56/2.61 c deduced all_different(V14,V70,V350,V659,V1312,V1636)
2.56/2.61 c deduced all_different(V40,V819,V1464,V1963,V1637)
2.56/2.61 c deduced all_different(V243,V402,V732,V1455,V1598,V1672,V1639)
2.56/2.61 c deduced all_different(V5,V105,V239,V905,V1648,V1640)
2.56/2.61 c deduced all_different(V93,V413,V705,V1048,V1121,V1663,V1642)
2.56/2.61 c deduced all_different(V167,V355,V473,V811,V836,V1963,V1643)
2.56/2.61 c deduced all_different(V38,V248,V601,V951,V1962,V1646)
2.56/2.61 c deduced all_different(V152,V538,V827,V1336,V1679,V1925,V1647)
2.56/2.61 c deduced all_different(V40,V323,V819,V1963,V1650)
2.56/2.61 c deduced all_different(V52,V246,V374,V1256,V2084,V1651)
2.56/2.61 c deduced all_different(V203,V756,V871,V1429,V1793,V1653)
2.56/2.61 c deduced all_different(V274,V282,V598,V889,V1732,V1654)
2.56/2.61 c deduced all_different(V193,V316,V630,V705,V1048,V1662)
2.56/2.61 c deduced all_different(V23,V126,V130,V279,V423,V1665)
2.56/2.61 c deduced all_different(V344,V569,V782,V1659,V2006,V1666)
2.56/2.61 c deduced all_different(V47,V382,V650,V861,V1587,V2005,V1667)
2.56/2.61 c deduced all_different(V11,V289,V308,V1692,V1668)
2.56/2.61 c deduced all_different(V28,V70,V297,V780,V901,V1906,V1670)
2.56/2.61 c deduced all_different(V31,V322,V766,V1024,V1755,V1671)
2.56/2.61 c deduced all_different(V86,V138,V563,V633,V1112,V1483,V1673)
2.56/2.61 c deduced all_different(V165,V215,V439,V1258,V1586,V1652,V1675)
2.56/2.61 c deduced all_different(V54,V66,V83,V101,V327,V585,V1676)
2.56/2.61 c deduced all_different(V14,V28,V70,V551,V1167,V1279,V1677)
2.56/2.61 c deduced all_different(V0,V395,V655,V1040,V1767,V1682)
2.56/2.61 c deduced all_different(V109,V650,V1150,V1161,V1667,V1698,V1683)
2.56/2.61 c deduced all_different(V109,V650,V856,V1150,V1989,V1686)
2.56/2.61 c deduced all_different(V197,V243,V402,V1455,V1911,V1938,V1687)
2.56/2.61 c deduced all_different(V68,V271,V365,V590,V1393,V1691)
2.56/2.61 c deduced all_different(V37,V245,V979,V1362,V1429,V1749,V1693)
2.56/2.61 c deduced all_different(V103,V318,V430,V768,V1020,V1696)
2.56/2.61 c deduced all_different(V11,V277,V289,V635,V794,V1702)
2.56/2.61 c deduced all_different(V157,V288,V292,V694,V1704)
2.56/2.61 c deduced all_different(V54,V66,V83,V101,V585,V1301,V1707)
2.56/2.61 c deduced all_different(V76,V140,V434,V781,V1935,V1986,V1708)
2.56/2.61 c deduced all_different(V46,V379,V546,V582,V1214,V1710)
2.56/2.61 c deduced all_different(V121,V569,V970,V1659,V1712)
2.56/2.61 c deduced all_different(V38,V113,V549,V1159,V1962,V1714)
2.56/2.61 c deduced all_different(V164,V204,V331,V840,V1153,V1478,V1716)
2.56/2.61 c deduced all_different(V216,V230,V307,V967,V1419,V1806,V1978,V1719)
2.56/2.61 c deduced all_different(V116,V504,V867,V1960,V1720)
2.56/2.61 c deduced all_different(V38,V82,V1914,V1962,V1721)
2.56/2.61 c deduced all_different(V108,V146,V498,V1151,V1957,V2112,V1722)
2.56/2.61 c deduced all_different(V79,V199,V547,V1306,V2088,V1724)
2.56/2.61 c deduced all_different(V10,V143,V625,V1405,V1725)
2.56/2.61 c deduced all_different(V28,V70,V71,V940,V1488,V1726)
2.56/2.61 c deduced all_different(V54,V83,V101,V209,V1729)
2.56/2.61 c deduced all_different(V4,V135,V184,V393,V1075,V1730)
2.56/2.61 c deduced all_different(V243,V402,V443,V732,V1455,V1734)
2.56/2.61 c deduced all_different(V99,V176,V1340,V1802,V1872,V1962,V1735)
2.56/2.61 c deduced all_different(V49,V61,V289,V501,V1189,V1737)
2.56/2.61 c deduced all_different(V240,V282,V598,V792,V1740)
2.56/2.61 c deduced all_different(V136,V181,V252,V1378,V2003,V1741)
2.56/2.61 c deduced all_different(V98,V158,V372,V1027,V1748,V1742)
2.56/2.61 c deduced all_different(V68,V590,V682,V943,V1746)
2.56/2.61 c deduced all_different(V21,V657,V665,V1044,V1490,V1750)
2.56/2.61 c deduced all_different(V45,V114,V413,V705,V1754)
2.56/2.61 c deduced all_different(V86,V138,V201,V1483,V1857,V1756)
2.56/2.61 c deduced all_different(V234,V489,V577,V667,V1759)
2.56/2.61 c deduced all_different(V159,V331,V568,V1153,V1952,V2036,V1761)
2.56/2.61 c deduced all_different(V6,V623,V738,V1075,V1680,V1762)
2.56/2.61 c deduced all_different(V21,V495,V657,V804,V1631,V1763)
2.56/2.61 c deduced all_different(V19,V106,V1118,V1152,V1483,V1764)
2.56/2.61 c deduced all_different(V125,V156,V291,V1545,V1674,V1765)
2.56/2.61 c deduced all_different(V119,V179,V485,V582,V604,V1775)
2.56/2.61 c deduced all_different(V120,V160,V171,V753,V1076,V1142,V1776)
2.56/2.61 c deduced all_different(V20,V64,V441,V474,V1777)
2.56/2.61 c deduced all_different(V25,V57,V252,V320,V528,V2003,V1778)
2.56/2.61 c deduced all_different(V113,V176,V248,V508,V1962,V1782)
2.56/2.61 c deduced all_different(V90,V449,V884,V1679,V1694,V1784)
2.56/2.61 c deduced all_different(V270,V355,V453,V1339,V1678,V1963,V1787)
2.56/2.61 c deduced all_different(V157,V300,V317,V694,V904,V1788)
2.56/2.61 c deduced all_different(V260,V684,V757,V1806,V1931,V1789)
2.56/2.61 c deduced all_different(V110,V183,V740,V850,V1578,V1795)
2.56/2.61 c deduced all_different(V115,V199,V547,V874,V907,V1799)
2.56/2.61 c deduced all_different(V64,V384,V1715,V1800)
2.56/2.61 c deduced all_different(V15,V267,V642,V1781,V1801)
2.56/2.61 c deduced all_different(V10,V88,V143,V422,V1370,V1728,V1803)
2.56/2.61 c deduced all_different(V95,V377,V590,V682,V1095,V1804)
2.56/2.61 c deduced all_different(V45,V284,V316,V705,V812,V1705,V1808)
2.56/2.61 c deduced all_different(V162,V373,V545,V1950,V1809)
2.56/2.61 c deduced all_different(V94,V128,V165,V841,V1769,V2082,V1811)
2.56/2.61 c deduced all_different(V274,V282,V335,V598,V1807,V1813)
2.56/2.61 c deduced all_different(V105,V185,V368,V905,V1964,V1815)
2.56/2.61 c deduced all_different(V147,V381,V1126,V1361,V1644,V1785,V1816)
2.56/2.61 c deduced all_different(V127,V203,V245,V756,V1429,V1616,V1817)
2.56/2.61 c deduced all_different(V77,V533,V718,V751,V1455,V1512,V1818)
2.56/2.61 c deduced all_different(V27,V204,V331,V763,V1153,V1819)
2.56/2.61 c deduced all_different(V194,V392,V402,V1455,V1820)
2.56/2.61 c deduced all_different(V47,V118,V650,V856,V1821)
2.56/2.61 c deduced all_different(V229,V420,V489,V577,V2064,V1822)
2.56/2.61 c deduced all_different(V274,V335,V598,V889,V942,V1732,V1826)
2.56/2.61 c deduced all_different(V87,V410,V1115,V1153,V1827)
2.56/2.61 c deduced all_different(V118,V340,V650,V856,V1828)
2.56/2.61 c deduced all_different(V222,V407,V500,V1285,V1341,V1829)
2.56/2.61 c deduced all_different(V93,V413,V705,V767,V1170,V1834)
2.56/2.61 c deduced all_different(V0,V510,V775,V820,V1040,V1835)
2.56/2.61 c deduced all_different(V221,V430,V880,V1029,V1047,V1836)
2.56/2.61 c deduced all_different(V255,V430,V768,V1071,V1390,V1837)
2.56/2.61 c deduced all_different(V5,V105,V208,V368,V833,V1427,V1838)
2.56/2.61 c deduced all_different(V53,V267,V357,V1781,V1839)
2.56/2.61 c deduced all_different(V37,V593,V979,V1429,V1749,V1840)
2.56/2.61 c deduced all_different(V4,V135,V184,V393,V1075,V1841)
2.56/2.61 c deduced all_different(V83,V101,V306,V592,V955,V1676,V1844)
2.56/2.61 c deduced all_different(V38,V400,V1574,V1646,V1962,V1979,V1845)
2.56/2.61 c deduced all_different(V188,V216,V307,V1806,V2031,V2097,V1847)
2.56/2.61 c deduced all_different(V124,V254,V292,V364,V532,V694,V1849)
2.56/2.61 c deduced all_different(V72,V165,V409,V502,V1431,V1850)
2.56/2.61 c deduced all_different(V194,V392,V937,V1455,V1532,V1938,V1996,V1855)
2.56/2.61 c deduced all_different(V194,V197,V533,V937,V1455,V1859)
2.56/2.61 c deduced all_different(V62,V294,V299,V620,V1674,V1770,V1900,V1860)
2.56/2.61 c deduced all_different(V17,V105,V239,V278,V1861)
2.56/2.61 c deduced all_different(V11,V277,V289,V371,V671,V1294,V1873,V1863)
2.56/2.61 c deduced all_different(V72,V165,V215,V1090,V1269,V1865)
2.56/2.61 c deduced all_different(V16,V252,V528,V1459,V2003,V1866)
2.56/2.61 c deduced all_different(V46,V509,V582,V1868)
2.56/2.61 c deduced all_different(V90,V449,V675,V1148,V1679,V1862,V1869)
2.56/2.61 c deduced all_different(V74,V92,V514,V1225,V1423,V2092,V1871)
2.56/2.61 c deduced all_different(V26,V108,V273,V885,V1260,V1957,V1874)
2.56/2.61 c deduced all_different(V90,V675,V735,V1440,V1679,V1876)
2.56/2.61 c deduced all_different(V211,V249,V372,V1241,V1877)
2.56/2.61 c deduced all_different(V6,V135,V680,V1075,V1317,V1880)
2.56/2.61 c deduced all_different(V174,V275,V372,V1881)
2.56/2.61 c deduced all_different(V104,V175,V823,V1644,V1785,V1882)
2.56/2.61 c deduced all_different(V160,V171,V753,V864,V1076,V1142,V1883)
2.56/2.61 c deduced all_different(V7,V102,V273,V498,V1001,V1886,V1957,V1884)
2.56/2.61 c deduced all_different(V213,V231,V269,V449,V735,V1679,V1885)
2.56/2.61 c deduced all_different(V3,V116,V388,V526,V1549,V1960,V1887)
2.56/2.61 c deduced all_different(V92,V145,V1016,V1423,V1905,V1888)
2.56/2.61 c deduced all_different(V2,V120,V160,V1076,V1142,V1773,V1889)
2.56/2.61 c deduced all_different(V388,V403,V526,V651,V1960,V1891)
2.56/2.61 c deduced all_different(V11,V277,V289,V671,V1300,V1892)
2.56/2.61 c deduced all_different(V103,V430,V768,V1348,V1390,V1696,V1893)
2.56/2.61 c deduced all_different(V97,V260,V757,V1173,V1319,V1806,V1894)
2.56/2.61 c deduced all_different(V94,V165,V215,V462,V1896)
2.56/2.61 c deduced all_different(V238,V454,V775,V1040,V1409,V1897)
2.56/2.61 c deduced all_different(V93,V705,V767,V1170,V1515,V1899)
2.56/2.61 c deduced all_different(V21,V139,V657,V669,V1901)
2.56/2.61 c deduced all_different(V53,V80,V123,V1781,V1902)
2.56/2.61 c deduced all_different(V140,V259,V434,V781,V1708,V1903)
2.56/2.61 c deduced all_different(V112,V375,V1075,V1909)
2.56/2.61 c deduced all_different(V66,V101,V224,V607,V1100,V1910)
2.56/2.61 c deduced all_different(V69,V430,V843,V1436,V1606,V1912)
2.56/2.61 c deduced all_different(V32,V36,V384,V441,V1913)
2.56/2.61 c deduced all_different(V90,V675,V735,V1679,V1862,V1915)
2.56/2.61 c deduced all_different(V35,V139,V657,V665,V1085,V1916)
2.56/2.61 c deduced all_different(V142,V241,V1421,V1442,V1483,V1918)
2.56/2.61 c deduced all_different(V9,V13,V148,V296,V1578,V1919)
2.56/2.61 c deduced all_different(V131,V448,V1950,V1920)
2.56/2.61 c deduced all_different(V403,V526,V651,V964,V1960,V1921)
2.56/2.61 c deduced all_different(V80,V123,V428,V1781,V1922)
2.56/2.61 c deduced all_different(V67,V262,V290,V423,V759,V1665,V1927)
2.56/2.61 c deduced all_different(V33,V115,V199,V547,V1832,V1929)
2.56/2.61 c deduced all_different(V97,V188,V261,V1806,V2031,V1930)
2.56/2.61 c deduced all_different(V33,V199,V1164,V1945,V1932)
2.56/2.61 c deduced all_different(V85,V276,V322,V637,V1755,V1933)
2.56/2.61 c deduced all_different(V124,V157,V292,V300,V694,V1937)
2.56/2.61 c deduced all_different(V106,V138,V170,V1483,V1939)
2.56/2.61 c deduced all_different(V22,V281,V781,V997,V1940)
2.56/2.62 c deduced all_different(V33,V115,V199,V748,V1942)
2.56/2.62 c deduced all_different(V94,V128,V165,V1073,V2082,V1943)
2.56/2.62 c deduced all_different(V132,V330,V440,V709,V2084,V1944)
2.56/2.62 c deduced all_different(V250,V282,V598,V792,V969,V1946)
2.56/2.62 c deduced all_different(V456,V532,V692,V694,V837,V1438,V1947)
2.56/2.62 c deduced all_different(V136,V303,V408,V1042,V2003,V1948)
2.56/2.62 c deduced all_different(V76,V140,V342,V654,V781,V1935,V1949)
2.56/2.62 c deduced all_different(V123,V149,V153,V1521,V1781,V1953)
2.56/2.62 c deduced all_different(V32,V384,V441,V661,V1954)
2.56/2.62 c deduced all_different(V77,V265,V751,V888,V1455,V1956)
2.56/2.62 c deduced all_different(V166,V338,V1022,V1913,V2000,V1958)
2.56/2.62 c deduced all_different(V175,V220,V481,V1006,V1411,V1644,V1713,V1961)
2.56/2.62 c deduced all_different(V7,V26,V1395,V1528,V1957,V1965)
2.56/2.62 c deduced all_different(V38,V113,V576,V717,V1731,V1962,V1966)
2.56/2.62 c deduced all_different(V284,V437,V705,V1180,V1967)
2.56/2.62 c deduced all_different(V24,V126,V423,V429,V2012,V1968)
2.56/2.62 c deduced all_different(V5,V105,V185,V368,V905,V1964,V1969)
2.56/2.62 c deduced all_different(V19,V142,V182,V1483,V1971)
2.56/2.62 c deduced all_different(V179,V546,V582,V745,V1973)
2.56/2.62 c deduced all_different(V133,V218,V424,V731,V1661,V1974)
2.56/2.62 c deduced all_different(V128,V165,V409,V760,V939,V1977)
2.56/2.62 c deduced all_different(V29,V199,V202,V547,V1291,V1980)
2.56/2.62 c deduced all_different(V35,V139,V657,V665,V1284,V1981)
2.56/2.62 c deduced all_different(V27,V581,V703,V1153,V1689,V1987)
2.56/2.62 c deduced all_different(V84,V95,V590,V847,V943,V994,V1746,V1990)
2.56/2.62 c deduced all_different(V101,V209,V311,V319,V1470,V1991)
2.56/2.62 c deduced all_different(V61,V277,V289,V635,V1300,V1994)
2.56/2.62 c deduced all_different(V22,V342,V434,V781,V1264,V1995)
2.56/2.62 c deduced all_different(V137,V152,V538,V1136,V1221,V1287,V1679,V1997)
2.56/2.62 c deduced all_different(V16,V252,V411,V831,V2003,V2007)
2.56/2.62 c deduced all_different(V6,V184,V738,V789,V1075,V1680,V2008)
2.56/2.62 c deduced all_different(V1,V314,V811,V1290,V1963,V2009)
2.56/2.62 c deduced all_different(V131,V448,V545,V1950,V2010)
2.56/2.62 c deduced all_different(V34,V251,V341,V1052,V1231,V2011)
2.56/2.62 c deduced all_different(V388,V504,V829,V857,V1960,V2014)
2.56/2.62 c deduced all_different(V28,V70,V71,V406,V901,V2015)
2.56/2.62 c deduced all_different(V64,V441,V668,V1575,V2017)
2.56/2.62 c deduced all_different(V104,V147,V457,V1023,V1644,V2018)
2.56/2.62 c deduced all_different(V31,V81,V1124,V1755,V2054,V2019)
2.56/2.62 c deduced all_different(V18,V168,V325,V731,V995,V2020)
2.56/2.62 c deduced all_different(V7,V102,V803,V1528,V1957,V2112,V2023)
2.56/2.62 c deduced all_different(V124,V292,V300,V694,V2025)
2.56/2.62 c deduced all_different(V50,V244,V696,V844,V924,V1578,V2026)
2.56/2.62 c deduced all_different(V192,V257,V420,V577,V953,V1206,V2028)
2.56/2.62 c deduced all_different(V62,V294,V415,V620,V764,V1674,V2029)
2.56/2.62 c deduced all_different(V47,V650,V856,V1150,V1709,V2030)
2.56/2.62 c deduced all_different(V90,V662,V1148,V1156,V1440,V1679,V1862,V2032)
2.56/2.62 c deduced all_different(V6,V679,V680,V1075,V2035)
2.56/2.62 c deduced all_different(V69,V103,V430,V843,V1250,V1390,V2038)
2.56/2.62 c deduced all_different(V41,V135,V141,V738,V1075,V2039)
2.56/2.62 c deduced all_different(V206,V532,V694,V706,V1553,V2041)
2.56/2.62 c deduced all_different(V76,V140,V654,V781,V1537,V1986,V2042)
2.56/2.62 c deduced all_different(V123,V149,V267,V642,V1781,V2044)
2.56/2.62 c deduced all_different(V4,V112,V636,V1075,V2045)
2.56/2.62 c deduced all_different(V70,V71,V78,V901,V1738,V2047)
2.56/2.62 c deduced all_different(V190,V344,V383,V621,V1234,V1539,V1659,V2048)
2.56/2.62 c deduced all_different(V105,V185,V200,V1111,V1964,V2049)
2.56/2.62 c deduced all_different(V468,V590,V730,V879,V1303,V2050)
2.56/2.62 c deduced all_different(V120,V160,V753,V864,V1076,V1142,V2051)
2.56/2.62 c deduced all_different(V270,V453,V583,V1963,V2052)
2.56/2.62 c deduced all_different(V10,V88,V143,V873,V903,V2055)
2.56/2.62 c deduced all_different(V137,V213,V349,V1679,V2056)
2.56/2.62 c deduced all_different(V386,V510,V775,V1040,V2059)
2.56/2.62 c deduced all_different(V19,V142,V535,V1112,V1483,V2061)
2.56/2.62 c deduced all_different(V4,V135,V184,V683,V1075,V1730,V2062)
2.56/2.62 c deduced all_different(V95,V271,V590,V599,V712,V2063)
2.56/2.62 c deduced all_different(V140,V673,V781,V968,V2065)
2.56/2.62 c deduced all_different(V105,V185,V200,V368,V1568,V1964,V2066)
2.56/2.62 c deduced all_different(V48,V222,V353,V1285,V1629,V2068)
2.56/2.62 c deduced all_different(V16,V252,V528,V2003,V2069)
2.56/2.62 c deduced all_different(V162,V387,V448,V961,V1950,V2070)
2.56/2.62 c deduced all_different(V79,V199,V874,V1179,V1347,V1832,V2072)
2.56/2.62 c deduced all_different(V20,V166,V384,V755,V2073)
2.56/2.62 c deduced all_different(V92,V343,V926,V1423,V1657,V2067,V2075)
2.56/2.62 c deduced all_different(V213,V231,V349,V1440,V1679,V1862,V2077)
2.56/2.62 c deduced all_different(V56,V143,V761,V930,V2078)
2.56/2.62 c deduced all_different(V233,V234,V577,V790,V1399,V1507,V2079)
2.56/2.62 c deduced all_different(V119,V366,V524,V582,V2080)
2.56/2.62 c deduced all_different(V76,V140,V434,V781,V1708,V1986,V2083)
2.56/2.62 c deduced all_different(V147,V457,V1126,V1644,V2018,V2085)
2.56/2.62 c deduced all_different(V13,V50,V302,V1578,V2089)
2.56/2.62 c deduced all_different(V402,V443,V631,V1455,V1898,V2090)
2.56/2.62 c deduced all_different(V127,V264,V871,V1429,V2091)
2.56/2.62 c deduced all_different(V25,V57,V181,V691,V2003,V2093)
2.56/2.62 c deduced all_different(V121,V569,V647,V1659,V2094)
2.56/2.62 c deduced all_different(V83,V101,V209,V2096)
2.56/2.62 c deduced all_different(V274,V282,V598,V958,V969,V1813,V2100)
2.56/2.62 c deduced all_different(V47,V118,V506,V650,V1698,V2101)
2.56/2.62 c deduced all_different(V235,V388,V829,V1484,V1771,V1960,V2102)
2.56/2.62 c deduced all_different(V58,V347,V519,V2084,V2104)
2.65/2.70 c deduced all_different(V90,V449,V675,V1148,V1679,V1869,V2105)
2.65/2.70 c deduced all_different(V154,V477,V598,V872,V969,V2107)
2.65/2.70 c deduced all_different(V29,V115,V199,V202,V547,V874,V2108)
2.65/2.70 c deduced all_different(V107,V412,V944,V1076,V1087,V1473,V1814,V2109)
2.65/2.70 c deduced all_different(V131,V346,V981,V1251,V1950,V2110)
2.65/2.70 c deduced all_different(V177,V214,V436,V595,V646,V1231,V2111)
2.65/2.70 c deduced all_different(V359,V536,V657,V698,V1981,V2113)
2.65/2.70 c deduced all_different(V38,V82,V225,V1500,V1962,V2115)
2.65/2.70 c with 121719 constraints
2.65/2.70 c Solving