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