0.00/0.03 c has big domains
0.00/0.03 c big-domain mode
0.00/0.03 c Seed is 1315119010
0.00/0.03 c Constructing HOME/instance-2080811-1247718680.xml
3.88/3.94 c deduced all_different(V93,V684,V750,V843,V0)
3.88/3.94 c deduced all_different(V45,V108,V472,V559,V664,V1)
3.88/3.94 c deduced all_different(V324,V388,V959,V2611,V2)
3.88/3.94 c deduced all_different(V33,V86,V137,V317,V1866,V3)
3.88/3.94 c deduced all_different(V36,V178,V622,V1210,V2089,V4)
3.88/3.94 c deduced all_different(V40,V57,V759,V985,V2619,V5)
3.88/3.94 c deduced all_different(V175,V572,V1539,V1664,V1718,V2535,V6)
3.88/3.94 c deduced all_different(V9,V21,V221,V1241,V1264,V1448,V2358,V7)
3.88/3.94 c deduced all_different(V126,V258,V429,V643,V2766,V8)
3.88/3.94 c deduced all_different(V81,V111,V240,V741,V997,V1648,V2281,V10)
3.88/3.94 c deduced all_different(V423,V424,V513,V1367,V1409,V1801,V11)
3.88/3.94 c deduced all_different(V219,V237,V478,V1420,V2583,V2613,V12)
3.88/3.94 c deduced all_different(V234,V258,V624,V1571,V2766,V2795,V13)
3.88/3.94 c deduced all_different(V369,V416,V1346,V1390,V1879,V14)
3.88/3.94 c deduced all_different(V133,V996,V1171,V1856,V15)
3.88/3.94 c deduced all_different(V81,V149,V240,V997,V1648,V1781,V16)
3.88/3.94 c deduced all_different(V162,V324,V388,V1087,V1675,V2611,V17)
3.88/3.94 c deduced all_different(V157,V193,V662,V743,V1509,V1676,V18)
3.88/3.94 c deduced all_different(V205,V352,V1275,V1710,V2037,V2162,V19)
3.88/3.94 c deduced all_different(V275,V703,V1135,V1350,V1567,V1850,V20)
3.88/3.94 c deduced all_different(V115,V314,V411,V891,V1957,V22)
3.88/3.94 c deduced all_different(V92,V255,V581,V1450,V2320,V2699,V23)
3.88/3.94 c deduced all_different(V128,V469,V712,V1383,V1561,V24)
3.88/3.94 c deduced all_different(V45,V553,V559,V836,V25)
3.88/3.94 c deduced all_different(V30,V349,V929,V2128,V2676,V26)
3.88/3.94 c deduced all_different(V9,V32,V419,V530,V675,V773,V27)
3.88/3.94 c deduced all_different(V47,V508,V701,V874,V1332,V1991,V28)
3.88/3.94 c deduced all_different(V100,V196,V525,V786,V912,V1462,V29)
3.88/3.94 c deduced all_different(V100,V525,V772,V786,V912,V1811,V31)
3.88/3.94 c deduced all_different(V116,V366,V921,V1212,V2047,V34)
3.88/3.94 c deduced all_different(V87,V160,V543,V998,V1412,V35)
3.88/3.94 c deduced all_different(V74,V343,V408,V458,V2139,V2437,V37)
3.88/3.94 c deduced all_different(V106,V179,V462,V736,V1658,V1957,V38)
3.88/3.94 c deduced all_different(V107,V222,V572,V735,V2535,V39)
3.88/3.94 c deduced all_different(V83,V95,V380,V981,V1600,V1699,V41)
3.88/3.94 c deduced all_different(V172,V206,V374,V704,V2569,V42)
3.88/3.94 c deduced all_different(V64,V118,V183,V1230,V1887,V2422,V43)
3.88/3.94 c deduced all_different(V129,V195,V198,V309,V450,V742,V44)
3.88/3.94 c deduced all_different(V162,V324,V388,V454,V969,V2611,V46)
3.88/3.94 c deduced all_different(V121,V122,V497,V1455,V1577,V2476,V48)
3.88/3.94 c deduced all_different(V36,V178,V332,V1015,V1048,V1694,V2622,V49)
3.88/3.94 c deduced all_different(V3,V86,V317,V1469,V1866,V50)
3.88/3.94 c deduced all_different(V80,V141,V434,V1297,V51)
3.88/3.94 c deduced all_different(V59,V60,V75,V253,V353,V676,V52)
3.88/3.94 c deduced all_different(V79,V142,V173,V247,V516,V2306,V53)
3.88/3.94 c deduced all_different(V7,V9,V32,V1264,V2358,V54)
3.88/3.94 c deduced all_different(V84,V284,V300,V556,V1866,V2382,V55)
3.88/3.94 c deduced all_different(V83,V380,V534,V950,V1600,V1644,V56)
3.88/3.94 c deduced all_different(V225,V384,V535,V544,V58)
3.88/3.94 c deduced all_different(V185,V204,V279,V1169,V1844,V2672,V61)
3.88/3.94 c deduced all_different(V50,V300,V1061,V1866,V2608,V62)
3.88/3.94 c deduced all_different(V91,V127,V430,V731,V2438,V2600,V63)
3.88/3.94 c deduced all_different(V28,V66,V508,V1033,V1991,V65)
3.88/3.94 c deduced all_different(V117,V229,V438,V634,V1326,V2737,V67)
3.88/3.94 c deduced all_different(V47,V158,V341,V1332,V1991,V68)
3.88/3.94 c deduced all_different(V7,V9,V130,V906,V69)
3.88/3.94 c deduced all_different(V218,V446,V1249,V1851,V2288,V2374,V70)
3.88/3.94 c deduced all_different(V73,V104,V250,V370,V2637,V71)
3.88/3.94 c deduced all_different(V292,V320,V392,V801,V2021,V2615,V72)
3.88/3.94 c deduced all_different(V172,V206,V273,V1165,V76)
3.88/3.94 c deduced all_different(V113,V230,V346,V2053,V2728,V77)
3.88/3.94 c deduced all_different(V293,V342,V647,V1460,V2001,V78)
3.88/3.94 c deduced all_different(V232,V390,V652,V996,V1856,V2612,V82)
3.88/3.94 c deduced all_different(V135,V156,V174,V256,V966,V1162,V85)
3.88/3.94 c deduced all_different(V16,V103,V846,V971,V1648,V88)
3.88/3.94 c deduced all_different(V370,V402,V447,V455,V519,V886,V1286,V89)
3.88/3.94 c deduced all_different(V466,V863,V1403,V1850,V2117,V2135,V90)
3.88/3.94 c deduced all_different(V97,V146,V327,V1189,V1731,V1771,V94)
3.88/3.94 c deduced all_different(V9,V27,V69,V130,V2074,V2138,V96)
3.88/3.94 c deduced all_different(V516,V566,V627,V814,V98)
3.88/3.94 c deduced all_different(V125,V307,V367,V2356,V2415,V99)
3.88/3.94 c deduced all_different(V1,V120,V542,V559,V1369,V2792,V101)
3.88/3.94 c deduced all_different(V246,V649,V981,V1600,V2667,V102)
3.88/3.94 c deduced all_different(V0,V405,V684,V913,V1325,V105)
3.88/3.94 c deduced all_different(V531,V724,V749,V1441,V2316,V2391,V109)
3.88/3.94 c deduced all_different(V53,V173,V282,V516,V2145,V2306,V110)
3.88/3.94 c deduced all_different(V116,V227,V1096,V1323,V2047,V112)
3.88/3.94 c deduced all_different(V81,V147,V1019,V1545,V1648,V114)
3.88/3.94 c deduced all_different(V184,V290,V674,V1579,V2021,V2032,V2615,V119)
3.88/3.94 c deduced all_different(V129,V309,V450,V485,V742,V1119,V2154,V123)
3.88/3.94 c deduced all_different(V132,V165,V479,V2322,V2374,V2520,V124)
3.88/3.94 c deduced all_different(V711,V734,V887,V1814,V1889,V2116,V2330,V2772,V131)
3.88/3.94 c deduced all_different(V208,V303,V326,V560,V1380,V2123,V134)
3.88/3.94 c deduced all_different(V209,V238,V482,V595,V620,V1315,V1825,V136)
3.88/3.94 c deduced all_different(V194,V665,V749,V1951,V2118,V138)
3.88/3.94 c deduced all_different(V318,V494,V1240,V1442,V2162,V139)
3.88/3.94 c deduced all_different(V3,V86,V137,V317,V1352,V1866,V140)
3.88/3.94 c deduced all_different(V28,V65,V508,V874,V1033,V1991,V143)
3.88/3.94 c deduced all_different(V373,V470,V1094,V1297,V2599,V144)
3.88/3.94 c deduced all_different(V10,V240,V741,V997,V1222,V1524,V1648,V2367,V145)
3.88/3.94 c deduced all_different(V126,V258,V269,V429,V954,V1238,V2766,V148)
3.88/3.94 c deduced all_different(V207,V487,V607,V1407,V2085,V2796,V150)
3.88/3.94 c deduced all_different(V193,V849,V935,V1161,V1509,V151)
3.88/3.94 c deduced all_different(V29,V196,V525,V912,V1022,V1462,V152)
3.88/3.94 c deduced all_different(V43,V64,V183,V187,V217,V2789,V153)
3.88/3.94 c deduced all_different(V74,V155,V343,V458,V1089,V154)
3.88/3.94 c deduced all_different(V167,V330,V504,V1023,V1346,V159)
3.88/3.94 c deduced all_different(V210,V770,V1136,V1504,V2047,V161)
3.88/3.94 c deduced all_different(V51,V141,V434,V821,V1297,V163)
3.88/3.94 c deduced all_different(V133,V232,V894,V1171,V1856,V164)
3.88/3.94 c deduced all_different(V371,V424,V1166,V1367,V1684,V166)
3.88/3.94 c deduced all_different(V64,V187,V541,V911,V2718,V168)
3.88/3.94 c deduced all_different(V184,V292,V392,V404,V899,V2032,V2615,V169)
3.88/3.94 c deduced all_different(V141,V373,V434,V943,V1297,V170)
3.88/3.94 c deduced all_different(V77,V230,V346,V2121,V2728,V171)
3.88/3.94 c deduced all_different(V185,V251,V896,V2019,V2672,V176)
3.88/3.94 c deduced all_different(V63,V91,V430,V731,V177)
3.88/3.94 c deduced all_different(V249,V256,V403,V889,V1689,V2010,V180)
3.88/3.94 c deduced all_different(V316,V337,V355,V1327,V1534,V2076,V181)
3.88/3.94 c deduced all_different(V71,V270,V370,V532,V182)
3.88/3.94 c deduced all_different(V97,V201,V267,V1105,V1771,V186)
3.88/3.94 c deduced all_different(V77,V230,V346,V509,V2728,V188)
3.88/3.94 c deduced all_different(V163,V298,V434,V1297,V1496,V2056,V189)
3.88/3.94 c deduced all_different(V1,V101,V559,V692,V2584,V190)
3.88/3.94 c deduced all_different(V196,V525,V527,V912,V1022,V2388,V191)
3.88/3.94 c deduced all_different(V203,V579,V1509,V1821,V192)
3.88/3.94 c deduced all_different(V113,V230,V1347,V1874,V2371,V2728,V197)
3.88/3.94 c deduced all_different(V94,V146,V327,V1731,V1771,V199)
3.88/3.94 c deduced all_different(V26,V349,V999,V1909,V2128,V2383,V2676,V200)
3.88/3.94 c deduced all_different(V233,V237,V383,V1420,V1968,V202)
3.88/3.94 c deduced all_different(V223,V405,V750,V1520,V211)
3.88/3.94 c deduced all_different(V44,V309,V450,V895,V1832,V2632,V212)
3.88/3.94 c deduced all_different(V146,V199,V327,V495,V1771,V213)
3.88/3.94 c deduced all_different(V52,V75,V253,V1454,V2661,V214)
3.88/3.94 c deduced all_different(V7,V9,V54,V418,V1300,V1657,V1969,V215)
3.88/3.94 c deduced all_different(V121,V122,V377,V974,V1455,V2702,V216)
3.88/3.94 c deduced all_different(V242,V422,V543,V832,V897,V1661,V220)
3.88/3.94 c deduced all_different(V150,V474,V2174,V2796,V224)
3.88/3.94 c deduced all_different(V44,V195,V450,V926,V226)
3.88/3.94 c deduced all_different(V233,V237,V383,V1420,V228)
3.88/3.94 c deduced all_different(V303,V326,V872,V1903,V2020,V2123,V231)
3.88/3.94 c deduced all_different(V207,V487,V653,V1296,V1739,V2303,V2796,V235)
3.88/3.94 c deduced all_different(V119,V290,V1485,V2615,V236)
3.88/3.94 c deduced all_different(V136,V209,V482,V595,V620,V808,V1315,V1825,V239)
3.88/3.94 c deduced all_different(V34,V210,V921,V1212,V2047,V241)
3.88/3.94 c deduced all_different(V302,V338,V531,V749,V1178,V1512,V243)
3.88/3.94 c deduced all_different(V77,V188,V346,V2025,V2728,V244)
3.88/3.94 c deduced all_different(V321,V441,V645,V1885,V2577,V245)
3.88/3.94 c deduced all_different(V112,V517,V1082,V1132,V2047,V248)
3.88/3.94 c deduced all_different(V6,V572,V1062,V2535,V2558,V252)
3.88/3.94 c deduced all_different(V74,V155,V343,V605,V1809,V254)
3.88/3.95 c deduced all_different(V128,V469,V949,V1383,V1561,V257)
3.88/3.95 c deduced all_different(V129,V450,V485,V926,V1106,V259)
3.88/3.95 c deduced all_different(V94,V199,V847,V871,V1771,V1815,V260)
3.88/3.95 c deduced all_different(V179,V335,V612,V1378,V1957,V2007,V2698,V261)
3.88/3.95 c deduced all_different(V8,V258,V643,V1571,V2766,V262)
3.88/3.95 c deduced all_different(V91,V127,V430,V731,V2438,V2600,V263)
3.88/3.95 c deduced all_different(V202,V383,V569,V1420,V264)
3.88/3.95 c deduced all_different(V209,V238,V482,V777,V1315,V265)
3.88/3.95 c deduced all_different(V30,V398,V520,V1417,V2128,V2375,V266)
3.88/3.95 c deduced all_different(V209,V265,V777,V1315,V1587,V268)
3.88/3.95 c deduced all_different(V401,V887,V1889,V2116,V271)
3.88/3.95 c deduced all_different(V8,V234,V1145,V1307,V2562,V2766,V272)
3.88/3.95 c deduced all_different(V435,V829,V1066,V2187,V2737,V274)
3.88/3.95 c deduced all_different(V172,V273,V704,V1422,V1773,V2023,V276)
3.88/3.95 c deduced all_different(V469,V570,V1383,V1905,V2004,V277)
3.88/3.95 c deduced all_different(V5,V40,V578,V2109,V2619,V278)
3.88/3.95 c deduced all_different(V85,V135,V256,V889,V2124,V280)
3.88/3.95 c deduced all_different(V233,V488,V900,V1058,V1420,V2448,V281)
3.88/3.95 c deduced all_different(V35,V160,V543,V917,V1536,V283)
3.88/3.95 c deduced all_different(V105,V405,V913,V1325,V2355,V285)
3.88/3.95 c deduced all_different(V124,V165,V446,V2322,V2374,V2690,V286)
3.88/3.95 c deduced all_different(V20,V703,V1065,V1850,V287)
3.88/3.95 c deduced all_different(V156,V256,V600,V618,V1134,V288)
3.88/3.95 c deduced all_different(V316,V337,V355,V1327,V1534,V2076,V289)
3.88/3.95 c deduced all_different(V219,V237,V1420,V2583,V2613,V291)
3.88/3.95 c deduced all_different(V307,V311,V367,V677,V875,V2415,V294)
3.88/3.95 c deduced all_different(V18,V157,V662,V765,V1509,V295)
3.88/3.95 c deduced all_different(V81,V111,V147,V1648,V296)
3.88/3.95 c deduced all_different(V116,V227,V2006,V2015,V2047,V297)
3.88/3.95 c deduced all_different(V107,V222,V572,V735,V2535,V299)
3.88/3.95 c deduced all_different(V321,V426,V774,V1183,V1858,V1885,V301)
3.88/3.95 c deduced all_different(V179,V335,V462,V644,V1957,V2007,V304)
3.88/3.95 c deduced all_different(V78,V340,V548,V647,V1460,V2001,V305)
3.88/3.95 c deduced all_different(V112,V210,V241,V1136,V2047,V2309,V306)
3.88/3.95 c deduced all_different(V246,V981,V1160,V1600,V2341,V308)
3.88/3.95 c deduced all_different(V693,V697,V754,V1367,V2314,V310)
3.88/3.95 c deduced all_different(V76,V172,V273,V1123,V2569,V312)
3.88/3.95 c deduced all_different(V52,V59,V75,V676,V1454,V1816,V313)
3.88/3.95 c deduced all_different(V225,V384,V544,V2345,V2788,V315)
3.88/3.95 c deduced all_different(V92,V581,V702,V2699,V319)
3.88/3.95 c deduced all_different(V216,V361,V902,V1455,V322)
3.88/3.95 c deduced all_different(V36,V49,V332,V1015,V1048,V1694,V323)
3.88/3.95 c deduced all_different(V76,V172,V206,V449,V512,V1109,V2775,V325)
3.88/3.95 c deduced all_different(V24,V570,V904,V1290,V1383,V1680,V2580,V328)
3.88/3.95 c deduced all_different(V99,V307,V492,V1384,V2188,V2415,V329)
3.88/3.95 c deduced all_different(V47,V158,V341,V745,V1190,V1991,V331)
3.88/3.95 c deduced all_different(V167,V330,V504,V1346,V333)
3.88/3.95 c deduced all_different(V74,V458,V461,V916,V2500,V334)
3.88/3.95 c deduced all_different(V172,V273,V1123,V1272,V2039,V2297,V336)
3.88/3.95 c deduced all_different(V185,V204,V376,V2672,V2725,V339)
3.88/3.95 c deduced all_different(V257,V904,V1383,V1566,V1596,V344)
3.88/3.95 c deduced all_different(V23,V92,V1284,V1514,V2699,V345)
3.88/3.95 c deduced all_different(V328,V344,V515,V1012,V1383,V1596,V347)
3.88/3.95 c deduced all_different(V316,V337,V355,V1327,V1534,V2076,V348)
3.88/3.95 c deduced all_different(V29,V100,V525,V621,V912,V2148,V350)
3.88/3.95 c deduced all_different(V94,V199,V1618,V1771,V2043,V351)
3.88/3.95 c deduced all_different(V35,V160,V543,V917,V1536,V354)
3.88/3.95 c deduced all_different(V22,V462,V1658,V1957,V356)
3.88/3.95 c deduced all_different(V66,V68,V341,V1033,V1208,V1991,V357)
3.88/3.95 c deduced all_different(V74,V154,V343,V605,V358)
3.88/3.95 c deduced all_different(V337,V767,V1327,V1481,V359)
3.88/3.95 c deduced all_different(V112,V241,V306,V517,V1082,V2047,V360)
3.88/3.95 c deduced all_different(V116,V432,V603,V2047,V2059,V2309,V362)
3.88/3.95 c deduced all_different(V441,V645,V762,V1183,V1429,V1885,V2671,V363)
3.88/3.95 c deduced all_different(V101,V120,V553,V559,V836,V364)
3.88/3.95 c deduced all_different(V122,V448,V493,V1440,V1455,V365)
3.88/3.95 c deduced all_different(V15,V652,V864,V1107,V1856,V2243,V368)
3.88/3.95 c deduced all_different(V197,V433,V1671,V1960,V2728,V372)
3.88/3.95 c deduced all_different(V176,V251,V896,V1193,V1487,V2019,V2672,V375)
3.88/3.95 c deduced all_different(V74,V154,V458,V934,V378)
3.88/3.95 c deduced all_different(V181,V464,V989,V1327,V1782,V1804,V379)
3.88/3.95 c deduced all_different(V53,V79,V173,V516,V1835,V381)
3.88/3.95 c deduced all_different(V23,V255,V2093,V2699,V2749,V382)
3.88/3.95 c deduced all_different(V207,V487,V607,V1097,V2085,V2796,V385)
3.88/3.95 c deduced all_different(V138,V724,V749,V2393,V386)
3.88/3.95 c deduced all_different(V193,V662,V849,V1509,V387)
3.88/3.95 c deduced all_different(V17,V162,V324,V1087,V2611,V389)
3.88/3.95 c deduced all_different(V78,V340,V491,V705,V903,V1460,V1533,V391)
3.88/3.95 c deduced all_different(V52,V75,V214,V1044,V2661,V393)
3.88/3.95 c deduced all_different(V134,V208,V303,V2123,V394)
3.88/3.95 c deduced all_different(V181,V355,V428,V506,V1327,V1802,V395)
3.88/3.95 c deduced all_different(V65,V158,V341,V745,V1033,V1991,V396)
3.88/3.95 c deduced all_different(V97,V186,V267,V417,V1105,V1771,V397)
3.88/3.95 c deduced all_different(V97,V201,V267,V1105,V1687,V1771,V399)
3.88/3.95 c deduced all_different(V35,V87,V543,V642,V1250,V400)
3.88/3.95 c deduced all_different(V72,V392,V801,V1277,V1755,V2615,V406)
3.88/3.95 c deduced all_different(V346,V372,V433,V1085,V2728,V407)
3.88/3.95 c deduced all_different(V104,V250,V370,V753,V1445,V2637,V409)
3.88/3.95 c deduced all_different(V28,V65,V874,V1991,V410)
3.88/3.95 c deduced all_different(V61,V251,V896,V1844,V2439,V2672,V412)
3.88/3.95 c deduced all_different(V59,V75,V253,V353,V1252,V1377,V413)
3.88/3.95 c deduced all_different(V89,V370,V447,V519,V886,V414)
3.88/3.95 c deduced all_different(V36,V178,V332,V802,V1015,V1694,V2433,V415)
3.88/3.95 c deduced all_different(V124,V132,V479,V584,V2374,V2520,V420)
3.88/3.95 c deduced all_different(V29,V525,V621,V824,V2388,V421)
3.88/3.95 c deduced all_different(V113,V230,V346,V723,V2053,V2728,V425)
3.88/3.95 c deduced all_different(V42,V172,V374,V714,V1263,V2467,V427)
3.88/3.95 c deduced all_different(V146,V199,V495,V1105,V1731,V1771,V431)
3.88/3.95 c deduced all_different(V66,V689,V838,V1221,V1991,V436)
3.88/3.95 c deduced all_different(V330,V504,V1023,V1346,V2217,V437)
3.88/3.95 c deduced all_different(V176,V185,V952,V2019,V2672,V439)
3.88/3.95 c deduced all_different(V162,V324,V389,V454,V959,V2611,V440)
3.88/3.95 c deduced all_different(V37,V74,V408,V461,V2665,V442)
3.88/3.95 c deduced all_different(V159,V416,V833,V1009,V1346,V443)
3.88/3.95 c deduced all_different(V99,V125,V367,V599,V2356,V2415,V444)
3.88/3.95 c deduced all_different(V394,V657,V661,V2123,V2446,V445)
3.88/3.95 c deduced all_different(V124,V286,V446,V1249,V2374,V2483,V451)
3.88/3.95 c deduced all_different(V64,V118,V932,V1650,V1819,V1984,V2127,V452)
3.88/3.95 c deduced all_different(V164,V842,V1759,V1856,V2221,V453)
3.88/3.95 c deduced all_different(V169,V184,V404,V1522,V2615,V456)
3.88/3.95 c deduced all_different(V368,V652,V864,V1666,V1856,V2243,V457)
3.88/3.95 c deduced all_different(V91,V430,V731,V1805,V459)
3.88/3.95 c deduced all_different(V39,V594,V799,V2535,V460)
3.88/3.95 c deduced all_different(V12,V237,V488,V1420,V463)
3.88/3.95 c deduced all_different(V13,V262,V608,V1215,V1238,V2766,V465)
3.88/3.95 c deduced all_different(V70,V1038,V1249,V2374,V467)
3.88/3.95 c deduced all_different(V193,V931,V935,V1069,V1509,V1981,V468)
3.88/3.95 c deduced all_different(V301,V523,V739,V1183,V1494,V1885,V471)
3.88/3.95 c deduced all_different(V174,V249,V256,V600,V1239,V473)
3.88/3.95 c deduced all_different(V64,V153,V183,V217,V2215,V2789,V475)
3.88/3.95 c deduced all_different(V104,V250,V370,V753,V1445,V2637,V2770,V476)
3.88/3.95 c deduced all_different(V58,V225,V544,V1034,V2211,V2794,V477)
3.88/3.95 c deduced all_different(V33,V84,V137,V616,V1866,V480)
3.88/3.95 c deduced all_different(V337,V428,V464,V1327,V2186,V481)
3.88/3.95 c deduced all_different(V205,V352,V1283,V2062,V2162,V483)
3.88/3.95 c deduced all_different(V285,V722,V1084,V484)
3.88/3.95 c deduced all_different(V43,V64,V217,V1230,V2199,V486)
3.88/3.95 c deduced all_different(V43,V64,V187,V2477,V489)
3.88/3.95 c deduced all_different(V63,V177,V430,V2151,V2237,V490)
3.88/3.95 c deduced all_different(V303,V394,V872,V1341,V2123,V496)
3.88/3.95 c deduced all_different(V132,V1387,V1851,V2255,V2374,V498)
3.88/3.95 c deduced all_different(V71,V370,V503,V532,V1156,V1737,V499)
3.88/3.95 c deduced all_different(V340,V491,V705,V1460,V2567,V500)
3.88/3.95 c deduced all_different(V61,V185,V565,V896,V1645,V2672,V501)
3.88/3.95 c deduced all_different(V12,V233,V237,V900,V1420,V502)
3.88/3.95 c deduced all_different(V321,V441,V645,V1885,V2577,V505)
3.88/3.95 c deduced all_different(V255,V581,V702,V707,V1748,V2699,V507)
3.88/3.95 c deduced all_different(V430,V459,V731,V1320,V1637,V1805,V510)
3.88/3.95 c deduced all_different(V67,V229,V634,V1326,V2737,V511)
3.88/3.95 c deduced all_different(V9,V27,V69,V130,V1365,V514)
3.88/3.95 c deduced all_different(V51,V163,V298,V1297,V1870,V518)
3.88/3.95 c deduced all_different(V67,V229,V1705,V2557,V2737,V521)
3.88/3.95 c deduced all_different(V53,V110,V282,V516,V1517,V522)
3.88/3.95 c deduced all_different(V77,V244,V346,V2025,V2728,V524)
3.88/3.95 c deduced all_different(V181,V337,V355,V1327,V1534,V1802,V526)
3.88/3.95 c deduced all_different(V129,V259,V450,V926,V1356,V1615,V528)
3.88/3.95 c deduced all_different(V10,V111,V1029,V1648,V529)
3.88/3.95 c deduced all_different(V237,V383,V478,V623,V1420,V533)
3.88/3.95 c deduced all_different(V330,V333,V504,V1346,V2217,V536)
3.88/3.95 c deduced all_different(V173,V516,V566,V814,V2277,V537)
3.88/3.95 c deduced all_different(V5,V40,V578,V985,V2619,V538)
3.88/3.95 c deduced all_different(V60,V75,V253,V676,V2465,V539)
3.88/3.95 c deduced all_different(V71,V104,V370,V532,V1737,V540)
3.88/3.95 c deduced all_different(V97,V267,V1344,V1687,V1771,V2204,V545)
3.88/3.95 c deduced all_different(V3,V50,V1469,V1857,V1866,V546)
3.88/3.95 c deduced all_different(V18,V662,V743,V1374,V1509,V1888,V547)
3.88/3.95 c deduced all_different(V245,V441,V1302,V1494,V1885,V2577,V549)
3.88/3.95 c deduced all_different(V133,V232,V390,V1856,V550)
3.88/3.95 c deduced all_different(V139,V318,V1298,V1442,V2062,V2162,V551)
3.88/3.95 c deduced all_different(V44,V129,V198,V450,V908,V552)
3.88/3.95 c deduced all_different(V207,V385,V607,V1097,V2085,V2796,V554)
3.88/3.95 c deduced all_different(V63,V430,V490,V834,V1036,V2151,V555)
3.88/3.95 c deduced all_different(V1,V559,V601,V664,V557)
3.88/3.95 c deduced all_different(V207,V235,V1296,V1739,V2796,V558)
3.88/3.95 c deduced all_different(V68,V143,V689,V920,V1991,V561)
3.88/3.95 c deduced all_different(V7,V9,V69,V221,V2358,V562)
3.88/3.95 c deduced all_different(V64,V168,V187,V1021,V1613,V563)
3.88/3.95 c deduced all_different(V388,V892,V1961,V2611,V564)
3.88/3.95 c deduced all_different(V16,V149,V846,V1363,V1648,V567)
3.88/3.95 c deduced all_different(V324,V388,V969,V2368,V2611,V568)
3.88/3.95 c deduced all_different(V205,V483,V551,V1799,V2062,V2162,V571)
3.88/3.95 c deduced all_different(V18,V765,V1509,V1910,V2435,V573)
3.88/3.95 c deduced all_different(V20,V703,V1135,V1567,V1850,V574)
3.88/3.95 c deduced all_different(V225,V477,V544,V1034,V1930,V2211,V2345,V2788,V575)
3.88/3.95 c deduced all_different(V401,V711,V887,V2116,V2389,V576)
3.88/3.95 c deduced all_different(V1,V108,V472,V559,V692,V1369,V1451,V577)
3.88/3.95 c deduced all_different(V11,V423,V513,V1367,V1622,V580)
3.88/3.95 c deduced all_different(V5,V40,V759,V1847,V2619,V2628,V582)
3.88/3.95 c deduced all_different(V160,V283,V422,V543,V764,V1536,V1621,V583)
3.88/3.95 c deduced all_different(V129,V195,V198,V450,V742,V1119,V2154,V585)
3.88/3.95 c deduced all_different(V192,V203,V1509,V1540,V586)
3.88/3.95 c deduced all_different(V225,V544,V613,V751,V1338,V587)
3.88/3.95 c deduced all_different(V202,V233,V237,V502,V1420,V588)
3.88/3.95 c deduced all_different(V13,V258,V608,V907,V1238,V2766,V589)
3.88/3.95 c deduced all_different(V3,V33,V86,V137,V1866,V590)
3.88/3.95 c deduced all_different(V0,V405,V683,V1150,V1232,V591)
3.88/3.95 c deduced all_different(V189,V821,V1297,V1335,V592)
3.88/3.95 c deduced all_different(V8,V234,V882,V1571,V2766,V593)
3.88/3.95 c deduced all_different(V4,V36,V944,V1694,V2744,V596)
3.88/3.95 c deduced all_different(V400,V543,V583,V764,V852,V1988,V597)
3.88/3.95 c deduced all_different(V87,V543,V642,V809,V2236,V598)
3.88/3.95 c deduced all_different(V74,V358,V442,V461,V1186,V602)
3.88/3.95 c deduced all_different(V72,V320,V392,V801,V2021,V2404,V2615,V604)
3.88/3.95 c deduced all_different(V52,V59,V75,V1044,V1728,V1816,V606)
3.88/3.95 c deduced all_different(V24,V128,V712,V1383,V1933,V609)
3.88/3.95 c deduced all_different(V321,V426,V869,V1513,V1885,V2577,V610)
3.88/3.95 c deduced all_different(V219,V237,V478,V1420,V611)
3.88/3.95 c deduced all_different(V117,V229,V438,V634,V2737,V614)
3.88/3.95 c deduced all_different(V24,V328,V904,V1383,V1449,V1596,V1680,V615)
3.88/3.95 c deduced all_different(V52,V75,V214,V1044,V1728,V1816,V617)
3.88/3.95 c deduced all_different(V257,V469,V949,V1383,V2294,V619)
3.88/3.95 c deduced all_different(V159,V167,V504,V1020,V1317,V1346,V625)
3.88/3.95 c deduced all_different(V453,V457,V1353,V1759,V1856,V626)
3.88/3.95 c deduced all_different(V55,V317,V1866,V2484,V628)
3.88/3.95 c deduced all_different(V89,V370,V402,V447,V455,V1286,V1706,V2499,V629)
3.88/3.95 c deduced all_different(V80,V141,V1297,V2347,V630)
3.88/3.95 c deduced all_different(V5,V57,V759,V985,V2097,V2619,V631)
3.88/3.95 c deduced all_different(V58,V225,V384,V1318,V632)
3.88/3.95 c deduced all_different(V289,V316,V355,V1327,V1534,V2076,V633)
3.88/3.95 c deduced all_different(V127,V430,V806,V1915,V2240,V635)
3.88/3.95 c deduced all_different(V12,V463,V798,V1420,V1585,V636)
3.88/3.95 c deduced all_different(V271,V639,V807,V1889,V1974,V2116,V2679,V637)
3.88/3.96 c deduced all_different(V61,V204,V279,V1169,V2620,V2672,V638)
3.88/3.96 c deduced all_different(V14,V369,V1346,V1390,V1879,V1977,V640)
3.88/3.96 c deduced all_different(V17,V324,V389,V1087,V2611,V641)
3.88/3.96 c deduced all_different(V41,V83,V950,V981,V1600,V2057,V2667,V646)
3.88/3.96 c deduced all_different(V113,V1717,V2371,V2728,V648)
3.88/3.96 c deduced all_different(V51,V141,V821,V1297,V650)
3.88/3.96 c deduced all_different(V45,V472,V559,V664,V836,V651)
3.88/3.96 c deduced all_different(V71,V73,V370,V532,V654)
3.88/3.96 c deduced all_different(V135,V156,V174,V256,V966,V2069,V655)
3.88/3.96 c deduced all_different(V8,V126,V643,V1571,V1679,V2766,V656)
3.88/3.96 c deduced all_different(V34,V366,V673,V1212,V1580,V2047,V658)
3.88/3.96 c deduced all_different(V181,V337,V428,V1327,V2585,V659)
3.88/3.96 c deduced all_different(V8,V234,V258,V429,V1590,V2766,V660)
3.88/3.96 c deduced all_different(V202,V264,V463,V569,V1149,V1420,V663)
3.88/3.96 c deduced all_different(V87,V160,V543,V942,V998,V1197,V666)
3.88/3.96 c deduced all_different(V23,V345,V2699,V667)
3.88/3.96 c deduced all_different(V58,V225,V535,V1034,V1908,V668)
3.88/3.96 c deduced all_different(V66,V68,V689,V1208,V1991,V669)
3.88/3.96 c deduced all_different(V105,V223,V722,V1198,V670)
3.88/3.96 c deduced all_different(V26,V200,V1309,V1588,V2128,V671)
3.88/3.96 c deduced all_different(V441,V471,V1429,V1885,V672)
3.88/3.96 c deduced all_different(V33,V84,V317,V1866,V2760,V678)
3.88/3.96 c deduced all_different(V36,V49,V332,V1553,V2407,V679)
3.88/3.96 c deduced all_different(V39,V107,V222,V1608,V2535,V680)
3.88/3.96 c deduced all_different(V316,V348,V355,V506,V733,V1327,V2076,V681)
3.88/3.96 c deduced all_different(V257,V949,V1290,V1383,V1561,V682)
3.88/3.96 c deduced all_different(V9,V96,V418,V1245,V1448,V2358,V685)
3.88/3.96 c deduced all_different(V78,V293,V342,V903,V960,V1460,V2742,V686)
3.88/3.96 c deduced all_different(V124,V132,V165,V2374,V2639,V687)
3.88/3.96 c deduced all_different(V9,V27,V32,V419,V675,V773,V688)
3.88/3.96 c deduced all_different(V25,V120,V553,V559,V1074,V690)
3.88/3.96 c deduced all_different(V38,V314,V1007,V1495,V1898,V1957,V2698,V691)
3.88/3.96 c deduced all_different(V303,V394,V2123,V2272,V2655,V694)
3.88/3.96 c deduced all_different(V9,V32,V54,V675,V688,V1300,V695)
3.88/3.96 c deduced all_different(V245,V1116,V1494,V1885,V2447,V696)
3.88/3.96 c deduced all_different(V293,V342,V647,V1460,V2554,V698)
3.88/3.96 c deduced all_different(V9,V21,V221,V675,V699)
3.88/3.96 c deduced all_different(V72,V320,V604,V1133,V2101,V2615,V700)
3.88/3.96 c deduced all_different(V42,V172,V206,V374,V706)
3.88/3.96 c deduced all_different(V342,V391,V647,V1460,V2077,V2742,V708)
3.88/3.96 c deduced all_different(V44,V195,V309,V450,V709)
3.88/3.96 c deduced all_different(V430,V490,V1035,V1247,V1915,V2600,V710)
3.88/3.96 c deduced all_different(V227,V241,V1047,V1997,V2047,V713)
3.88/3.96 c deduced all_different(V340,V391,V548,V647,V705,V1460,V715)
3.88/3.96 c deduced all_different(V40,V57,V759,V1653,V1869,V2619,V716)
3.88/3.96 c deduced all_different(V79,V142,V173,V516,V923,V717)
3.88/3.96 c deduced all_different(V33,V86,V590,V909,V1866,V2474,V2760,V718)
3.88/3.96 c deduced all_different(V110,V173,V381,V516,V566,V717,V1625,V719)
3.88/3.96 c deduced all_different(V13,V262,V882,V1215,V1571,V2766,V720)
3.88/3.96 c deduced all_different(V424,V513,V1366,V1367,V1409,V1896,V721)
3.88/3.96 c deduced all_different(V40,V57,V813,V1869,V2158,V2434,V2619,V725)
3.88/3.96 c deduced all_different(V38,V106,V462,V1391,V1658,V1957,V726)
3.88/3.96 c deduced all_different(V35,V354,V543,V642,V1620,V1621,V727)
3.88/3.96 c deduced all_different(V165,V218,V446,V1614,V2374,V728)
3.88/3.96 c deduced all_different(V188,V230,V509,V1890,V2728,V729)
3.88/3.96 c deduced all_different(V162,V389,V968,V988,V1727,V2611,V730)
3.88/3.96 c deduced all_different(V9,V54,V130,V675,V732)
3.88/3.96 c deduced all_different(V55,V284,V556,V1866,V737)
3.88/3.96 c deduced all_different(V3,V546,V1469,V1857,V1866,V2429,V738)
3.88/3.96 c deduced all_different(V368,V842,V1112,V1666,V1856,V740)
3.88/3.96 c deduced all_different(V77,V1195,V1329,V1717,V2371,V2728,V744)
3.88/3.96 c deduced all_different(V23,V345,V1284,V1514,V2699,V746)
3.88/3.96 c deduced all_different(V302,V338,V531,V749,V1178,V747)
3.88/3.96 c deduced all_different(V150,V474,V2085,V2174,V2796,V748)
3.88/3.96 c deduced all_different(V28,V65,V508,V1991,V752)
3.88/3.96 c deduced all_different(V60,V75,V253,V539,V1576,V2465,V2674,V755)
3.88/3.96 c deduced all_different(V2,V388,V959,V2040,V2611,V756)
3.88/3.96 c deduced all_different(V6,V175,V817,V1049,V1539,V2321,V2535,V757)
3.88/3.96 c deduced all_different(V52,V75,V214,V606,V1044,V1728,V1816,V2661,V758)
3.88/3.96 c deduced all_different(V466,V1063,V1199,V1340,V1850,V2264,V760)
3.88/3.96 c deduced all_different(V22,V115,V776,V1102,V1829,V1957,V761)
3.88/3.96 c deduced all_different(V167,V330,V504,V1346,V763)
3.88/3.96 c deduced all_different(V124,V165,V1589,V1876,V2374,V766)
3.88/3.96 c deduced all_different(V483,V551,V571,V1799,V2062,V2162,V768)
3.88/3.96 c deduced all_different(V47,V68,V341,V1628,V1991,V769)
3.88/3.96 c deduced all_different(V293,V647,V1460,V1533,V1886,V2119,V2398,V771)
3.88/3.96 c deduced all_different(V89,V370,V447,V540,V629,V1286,V775)
3.88/3.96 c deduced all_different(V209,V238,V482,V595,V620,V1315,V778)
3.88/3.96 c deduced all_different(V121,V216,V1310,V1455,V779)
3.88/3.96 c deduced all_different(V176,V185,V279,V952,V1645,V2019,V2672,V780)
3.88/3.96 c deduced all_different(V303,V560,V1380,V2123,V781)
3.88/3.96 c deduced all_different(V45,V559,V664,V836,V782)
3.88/3.96 c deduced all_different(V139,V928,V1240,V1256,V2162,V2318,V783)
3.88/3.96 c deduced all_different(V231,V303,V872,V2020,V2123,V2655,V784)
3.88/3.96 c deduced all_different(V225,V477,V544,V1034,V1930,V2788,V785)
3.88/3.96 c deduced all_different(V177,V263,V430,V2237,V787)
3.88/3.96 c deduced all_different(V371,V424,V1166,V1367,V1430,V788)
3.88/3.96 c deduced all_different(V361,V902,V1188,V1455,V1824,V789)
3.88/3.96 c deduced all_different(V117,V1117,V1141,V1678,V2065,V2737,V790)
3.88/3.96 c deduced all_different(V236,V406,V801,V1003,V1980,V2615,V791)
3.88/3.96 c deduced all_different(V15,V652,V1609,V1793,V1856,V792)
3.88/3.96 c deduced all_different(V176,V279,V780,V952,V2672,V793)
3.88/3.96 c deduced all_different(V104,V250,V370,V409,V2499,V794)
3.88/3.96 c deduced all_different(V109,V724,V749,V1649,V1938,V795)
3.88/3.96 c deduced all_different(V200,V349,V999,V2128,V2383,V796)
3.88/3.96 c deduced all_different(V52,V60,V75,V353,V1728,V797)
3.88/3.96 c deduced all_different(V238,V265,V482,V1281,V1315,V1724,V800)
3.88/3.96 c deduced all_different(V6,V252,V856,V2373,V2535,V803)
3.88/3.96 c deduced all_different(V125,V307,V825,V1574,V2415,V804)
3.88/3.96 c deduced all_different(V229,V438,V634,V1754,V2485,V2737,V805)
3.88/3.96 c deduced all_different(V26,V30,V1667,V1713,V2128,V810)
3.88/3.96 c deduced all_different(V333,V504,V536,V1346,V1977,V2732,V811)
3.88/3.96 c deduced all_different(V41,V95,V981,V1200,V1600,V2319,V812)
3.88/3.96 c deduced all_different(V150,V474,V1492,V2796,V815)
3.88/3.96 c deduced all_different(V14,V416,V833,V1023,V1346,V1475,V816)
3.88/3.96 c deduced all_different(V53,V110,V516,V522,V1122,V818)
3.88/3.96 c deduced all_different(V275,V703,V1499,V1567,V1850,V2560,V819)
3.88/3.96 c deduced all_different(V207,V487,V653,V1492,V1501,V2796,V820)
3.88/3.96 c deduced all_different(V9,V21,V530,V675,V1300,V822)
3.88/3.96 c deduced all_different(V363,V739,V762,V1183,V1885,V823)
3.88/3.96 c deduced all_different(V92,V319,V581,V1395,V1783,V1912,V2699,V826)
3.88/3.96 c deduced all_different(V209,V238,V595,V1315,V1557,V1662,V827)
3.88/3.96 c deduced all_different(V204,V1169,V1789,V2620,V2672,V828)
3.88/3.96 c deduced all_different(V107,V175,V222,V1049,V1539,V2535,V830)
3.88/3.96 c deduced all_different(V53,V142,V247,V282,V516,V831)
3.88/3.96 c deduced all_different(V160,V354,V543,V764,V1197,V835)
3.88/3.96 c deduced all_different(V12,V219,V237,V1420,V1968,V2583,V2613,V837)
3.88/3.96 c deduced all_different(V238,V265,V777,V1281,V1315,V839)
3.88/3.96 c deduced all_different(V19,V352,V1275,V1554,V1715,V2162,V840)
3.88/3.96 c deduced all_different(V293,V342,V686,V903,V960,V1460,V841)
3.88/3.96 c deduced all_different(V135,V156,V256,V618,V1162,V844)
3.88/3.96 c deduced all_different(V2,V941,V988,V2008,V2611,V845)
3.88/3.96 c deduced all_different(V0,V93,V750,V1150,V2036,V848)
3.88/3.96 c deduced all_different(V94,V146,V199,V871,V1771,V850)
3.88/3.96 c deduced all_different(V85,V249,V256,V889,V1237,V851)
3.88/3.96 c deduced all_different(V293,V548,V698,V1460,V2554,V853)
3.88/3.96 c deduced all_different(V123,V450,V485,V709,V1119,V2154,V854)
3.88/3.96 c deduced all_different(V80,V434,V1274,V1297,V1790,V2416,V855)
3.88/3.96 c deduced all_different(V82,V842,V864,V1112,V1856,V857)
3.88/3.96 c deduced all_different(V135,V249,V256,V844,V889,V1689,V858)
3.88/3.96 c deduced all_different(V185,V339,V376,V1572,V2672,V2707,V859)
3.88/3.96 c deduced all_different(V7,V9,V32,V1300,V2358,V860)
3.88/3.96 c deduced all_different(V138,V194,V749,V1397,V2250,V861)
3.88/3.96 c deduced all_different(V19,V840,V1002,V1275,V1715,V2162,V862)
3.88/3.96 c deduced all_different(V229,V438,V614,V1672,V2737,V865)
3.88/3.96 c deduced all_different(V128,V712,V949,V1383,V866)
3.88/3.96 c deduced all_different(V42,V172,V374,V704,V919,V2569,V867)
3.88/3.96 c deduced all_different(V74,V154,V343,V358,V2344,V2486,V868)
3.88/3.96 c deduced all_different(V57,V813,V963,V1337,V1720,V2619,V870)
3.88/3.96 c deduced all_different(V81,V149,V240,V997,V1648,V873)
3.88/3.96 c deduced all_different(V119,V674,V1579,V2615,V876)
3.88/3.96 c deduced all_different(V2,V324,V941,V959,V1962,V2611,V877)
3.88/3.96 c deduced all_different(V83,V246,V981,V1600,V2057,V2667,V878)
3.88/3.96 c deduced all_different(V211,V223,V405,V2251,V879)
3.88/3.96 c deduced all_different(V9,V32,V54,V688,V695,V880)
3.88/3.96 c deduced all_different(V56,V649,V981,V1200,V1600,V881)
3.88/3.96 c deduced all_different(V9,V21,V221,V699,V1028,V883)
3.88/3.96 c deduced all_different(V99,V307,V367,V677,V2415,V884)
3.88/3.96 c deduced all_different(V125,V311,V367,V2361,V2415,V885)
3.88/3.96 c deduced all_different(V80,V434,V1297,V1790,V2623,V888)
3.88/3.96 c deduced all_different(V91,V263,V430,V922,V890)
3.88/3.96 c deduced all_different(V316,V348,V355,V733,V1327,V1508,V893)
3.88/3.96 c deduced all_different(V1,V101,V559,V692,V1369,V898)
3.88/3.96 c deduced all_different(V166,V693,V962,V1166,V1367,V901)
3.88/3.96 c deduced all_different(V139,V551,V1442,V1516,V2162,V905)
3.88/3.96 c deduced all_different(V11,V423,V580,V1367,V1537,V910)
3.88/3.96 c deduced all_different(V326,V560,V661,V1617,V2123,V2337,V914)
3.88/3.96 c deduced all_different(V19,V965,V1710,V2037,V2064,V2162,V915)
3.88/3.96 c deduced all_different(V30,V266,V398,V1417,V2128,V2375,V918)
3.88/3.96 c deduced all_different(V0,V93,V684,V843,V1491,V924)
3.88/3.96 c deduced all_different(V30,V266,V520,V1417,V1611,V2128,V925)
3.88/3.96 c deduced all_different(V44,V129,V195,V450,V1379,V927)
3.88/3.96 c deduced all_different(V216,V361,V902,V1455,V1761,V1824,V930)
3.88/3.96 c deduced all_different(V64,V168,V563,V1613,V2372,V933)
3.88/3.96 c deduced all_different(V304,V314,V1155,V1957,V1990,V2144,V936)
3.88/3.96 c deduced all_different(V271,V734,V972,V1148,V2116,V937)
3.88/3.96 c deduced all_different(V48,V497,V1267,V1455,V1796,V938)
3.88/3.96 c deduced all_different(V195,V226,V450,V926,V1707,V2745,V939)
3.88/3.96 c deduced all_different(V79,V142,V173,V247,V516,V2277,V940)
3.88/3.96 c deduced all_different(V13,V465,V593,V1307,V2766,V945)
3.88/3.96 c deduced all_different(V14,V1317,V1346,V1977,V2229,V2369,V946)
3.88/3.96 c deduced all_different(V11,V513,V986,V1367,V1622,V947)
3.88/3.96 c deduced all_different(V36,V49,V679,V944,V1553,V2407,V948)
3.88/3.96 c deduced all_different(V389,V641,V730,V1727,V2611,V951)
3.88/3.96 c deduced all_different(V0,V405,V591,V1150,V1232,V953)
3.88/3.97 c deduced all_different(V180,V256,V280,V600,V2218,V2442,V955)
3.88/3.97 c deduced all_different(V160,V543,V583,V917,V956)
3.88/3.97 c deduced all_different(V61,V185,V952,V1371,V2672,V957)
3.88/3.97 c deduced all_different(V47,V68,V158,V984,V1332,V1991,V958)
3.88/3.97 c deduced all_different(V4,V36,V596,V2313,V2706,V961)
3.88/3.97 c deduced all_different(V225,V535,V668,V751,V2636,V964)
3.88/3.97 c deduced all_different(V257,V619,V1383,V1566,V2691,V967)
3.88/3.97 c deduced all_different(V44,V195,V309,V450,V742,V1379,V1832,V2632,V970)
3.88/3.97 c deduced all_different(V1,V108,V542,V559,V973)
3.88/3.97 c deduced all_different(V42,V172,V704,V867,V919,V2031,V975)
3.88/3.97 c deduced all_different(V78,V293,V342,V686,V1259,V1460,V2742,V976)
3.88/3.97 c deduced all_different(V307,V329,V492,V2188,V2415,V977)
3.88/3.97 c deduced all_different(V131,V711,V807,V2116,V2643,V978)
3.88/3.97 c deduced all_different(V42,V172,V206,V704,V1942,V979)
3.88/3.97 c deduced all_different(V76,V172,V206,V512,V1165,V980)
3.88/3.97 c deduced all_different(V36,V49,V323,V1313,V2313,V982)
3.88/3.97 c deduced all_different(V74,V254,V868,V934,V1355,V2486,V983)
3.88/3.97 c deduced all_different(V51,V141,V821,V1297,V987)
3.88/3.97 c deduced all_different(V11,V513,V947,V1367,V990)
3.88/3.97 c deduced all_different(V87,V400,V543,V1055,V1250,V1536,V991)
3.88/3.97 c deduced all_different(V301,V321,V426,V1183,V1885,V992)
3.88/3.97 c deduced all_different(V17,V162,V388,V756,V2611,V993)
3.88/3.97 c deduced all_different(V24,V469,V570,V1383,V2294,V2521,V994)
3.88/3.97 c deduced all_different(V58,V225,V477,V1034,V1433,V1714,V995)
3.88/3.97 c deduced all_different(V55,V284,V317,V1866,V1000)
3.88/3.97 c deduced all_different(V328,V347,V570,V904,V1383,V1001)
3.88/3.97 c deduced all_different(V3,V33,V590,V1175,V1866,V1004)
3.88/3.97 c deduced all_different(V75,V214,V253,V539,V1308,V2674,V1005)
3.88/3.97 c deduced all_different(V108,V364,V472,V559,V577,V2179,V1006)
3.88/3.97 c deduced all_different(V275,V1174,V1204,V1850,V1008)
3.88/3.97 c deduced all_different(V19,V840,V1275,V1554,V1715,V2079,V2162,V1010)
3.88/3.97 c deduced all_different(V150,V487,V1492,V1501,V2796,V1011)
3.88/3.97 c deduced all_different(V349,V918,V1493,V1713,V1909,V2128,V1013)
3.88/3.97 c deduced all_different(V136,V209,V482,V1315,V1662,V1014)
3.88/3.97 c deduced all_different(V74,V334,V983,V1089,V1218,V2344,V1016)
3.88/3.97 c deduced all_different(V318,V483,V928,V1256,V2079,V2162,V1017)
3.88/3.97 c deduced all_different(V368,V652,V864,V1107,V1666,V1856,V1018)
3.88/3.97 c deduced all_different(V53,V110,V282,V516,V2145,V2306,V1024)
3.88/3.97 c deduced all_different(V99,V329,V444,V2188,V2356,V2415,V1025)
3.88/3.97 c deduced all_different(V307,V367,V884,V977,V2081,V2415,V1026)
3.88/3.97 c deduced all_different(V150,V224,V2198,V2796,V1027)
3.88/3.97 c deduced all_different(V380,V534,V1160,V1592,V1600,V1644,V1030)
3.88/3.97 c deduced all_different(V177,V430,V490,V1805,V2276,V1031)
3.88/3.97 c deduced all_different(V47,V331,V689,V701,V838,V1991,V1032)
3.88/3.97 c deduced all_different(V34,V116,V366,V1212,V2047,V1037)
3.88/3.97 c deduced all_different(V401,V711,V887,V2116,V2384,V2389,V1039)
3.88/3.97 c deduced all_different(V245,V321,V1116,V1206,V1885,V1040)
3.88/3.97 c deduced all_different(V0,V105,V843,V1900,V1041)
3.88/3.97 c deduced all_different(V29,V100,V525,V772,V912,V1462,V1042)
3.88/3.97 c deduced all_different(V53,V79,V247,V516,V2683,V1043)
3.88/3.97 c deduced all_different(V349,V796,V1578,V2128,V2383,V1045)
3.88/3.97 c deduced all_different(V72,V404,V801,V1755,V2021,V2615,V1046)
3.88/3.97 c deduced all_different(V228,V383,V478,V623,V798,V1420,V1050)
3.88/3.97 c deduced all_different(V141,V163,V434,V1297,V1496,V1051)
3.88/3.97 c deduced all_different(V82,V232,V390,V652,V1856,V2612,V1052)
3.88/3.97 c deduced all_different(V209,V620,V808,V1315,V1557,V1587,V1825,V1053)
3.88/3.97 c deduced all_different(V41,V646,V649,V812,V1592,V1600,V1054)
3.88/3.97 c deduced all_different(V81,V111,V741,V1648,V2281,V1056)
3.88/3.97 c deduced all_different(V67,V438,V1326,V2737,V1057)
3.88/3.97 c deduced all_different(V275,V1135,V1350,V1567,V1605,V1850,V1059)
3.88/3.97 c deduced all_different(V136,V209,V595,V620,V1315,V1557,V1831,V1060)
3.88/3.97 c deduced all_different(V15,V133,V1103,V1171,V1480,V1856,V1064)
3.88/3.97 c deduced all_different(V202,V233,V383,V1420,V1968,V1067)
3.88/3.97 c deduced all_different(V236,V290,V406,V1980,V2615,V1068)
3.88/3.97 c deduced all_different(V94,V260,V1515,V1771,V1070)
3.88/3.97 c deduced all_different(V28,V65,V752,V1208,V1991,V1071)
3.88/3.97 c deduced all_different(V97,V186,V397,V1344,V1771,V2498,V1072)
3.88/3.97 c deduced all_different(V120,V559,V664,V690,V2280,V1073)
3.88/3.97 c deduced all_different(V56,V534,V812,V1143,V1600,V1635,V1644,V1075)
3.88/3.97 c deduced all_different(V41,V95,V981,V1200,V1600,V2426,V2629,V1076)
3.88/3.97 c deduced all_different(V131,V711,V734,V1889,V2116,V1077)
3.88/3.97 c deduced all_different(V401,V711,V1039,V2116,V2167,V2384,V2419,V1078)
3.88/3.97 c deduced all_different(V12,V219,V488,V1420,V1079)
3.88/3.97 c deduced all_different(V208,V303,V326,V560,V1380,V2123,V1080)
3.88/3.97 c deduced all_different(V218,V446,V584,V728,V1851,V2374,V1081)
3.88/3.97 c deduced all_different(V30,V349,V918,V1713,V2128,V1083)
3.88/3.97 c deduced all_different(V231,V326,V657,V872,V2123,V2272,V1086)
3.88/3.97 c deduced all_different(V72,V292,V801,V2021,V2170,V2615,V1088)
3.88/3.97 c deduced all_different(V88,V103,V1461,V1648,V2736,V1090)
3.88/3.97 c deduced all_different(V319,V581,V826,V1912,V2699,V1091)
3.88/3.97 c deduced all_different(V58,V225,V535,V544,V1092)
3.88/3.97 c deduced all_different(V13,V234,V593,V624,V882,V1571,V2766,V1093)
3.88/3.97 c deduced all_different(V42,V172,V206,V374,V1095)
3.88/3.97 c deduced all_different(V301,V426,V523,V869,V1494,V1885,V1098)
3.88/3.97 c deduced all_different(V2,V892,V1961,V2008,V2611,V1099)
3.88/3.97 c deduced all_different(V53,V110,V381,V516,V1024,V1560,V1100)
3.88/3.97 c deduced all_different(V76,V172,V312,V706,V980,V1147,V1101)
3.88/3.97 c deduced all_different(V321,V426,V441,V1513,V1885,V2577,V1104)
3.88/3.97 c deduced all_different(V0,V405,V683,V684,V1150,V1325,V1108)
3.88/3.97 c deduced all_different(V181,V395,V428,V464,V1327,V1110)
3.88/3.97 c deduced all_different(V225,V575,V632,V995,V1351,V1111)
3.88/3.97 c deduced all_different(V207,V235,V1407,V1739,V2381,V2796,V1113)
3.88/3.97 c deduced all_different(V578,V631,V985,V1474,V2619,V1114)
3.88/3.97 c deduced all_different(V538,V716,V1358,V2257,V2619,V2670,V1115)
3.88/3.97 c deduced all_different(V41,V95,V812,V1600,V2319,V1118)
3.88/3.97 c deduced all_different(V51,V298,V650,V1297,V1120)
3.88/3.97 c deduced all_different(V308,V950,V1541,V1600,V1121)
3.88/3.97 c deduced all_different(V64,V153,V183,V187,V1984,V1124)
3.88/3.97 c deduced all_different(V132,V165,V479,V1614,V2374,V1125)
3.88/3.97 c deduced all_different(V211,V843,V1041,V1520,V1126)
3.88/3.97 c deduced all_different(V289,V355,V1295,V1327,V2790,V1127)
3.88/3.97 c deduced all_different(V109,V531,V749,V1304,V1441,V2316,V2391,V1128)
3.88/3.97 c deduced all_different(V7,V9,V54,V418,V1300,V1657,V1969,V1129)
3.88/3.97 c deduced all_different(V159,V167,V330,V1009,V1023,V1346,V1130)
3.88/3.97 c deduced all_different(V11,V423,V513,V1367,V1409,V1801,V1131)
3.88/3.97 c deduced all_different(V87,V400,V543,V1055,V1250,V1916,V1137)
3.88/3.97 c deduced all_different(V82,V232,V390,V1856,V1138)
3.88/3.97 c deduced all_different(V520,V925,V1013,V1667,V1909,V2128,V1139)
3.88/3.97 c deduced all_different(V150,V207,V1407,V2381,V2796,V1140)
3.88/3.97 c deduced all_different(V13,V465,V945,V1525,V2357,V2766,V1142)
3.88/3.97 c deduced all_different(V245,V321,V645,V1885,V2577,V1144)
3.88/3.97 c deduced all_different(V4,V36,V622,V1313,V1841,V2663,V2741,V1146)
3.88/3.97 c deduced all_different(V64,V118,V541,V1819,V2422,V2477,V2718,V1151)
3.88/3.97 c deduced all_different(V120,V542,V559,V1303,V1584,V1152)
3.88/3.97 c deduced all_different(V90,V466,V1135,V1174,V1340,V1850,V1153)
3.88/3.97 c deduced all_different(V41,V95,V1118,V1600,V2426,V1154)
3.88/3.97 c deduced all_different(V0,V105,V913,V1041,V1325,V1157)
3.88/3.97 c deduced all_different(V101,V364,V559,V651,V692,V836,V2584,V1158)
3.88/3.97 c deduced all_different(V44,V198,V309,V450,V485,V1330,V1159)
3.88/3.97 c deduced all_different(V31,V525,V786,V824,V2587,V1163)
3.88/3.97 c deduced all_different(V4,V36,V178,V1210,V2291,V1164)
3.88/3.97 c deduced all_different(V352,V783,V928,V1710,V2062,V2162,V1167)
3.88/3.97 c deduced all_different(V64,V153,V183,V475,V1168)
3.88/3.97 c deduced all_different(V202,V264,V488,V1079,V1420,V1170)
3.88/3.97 c deduced all_different(V209,V238,V482,V595,V1315,V1172)
3.88/3.97 c deduced all_different(V74,V334,V458,V461,V1218,V2500,V1173)
3.88/3.97 c deduced all_different(V1,V45,V472,V559,V664,V1176)
3.88/3.97 c deduced all_different(V119,V184,V290,V700,V2615,V1177)
3.88/3.97 c deduced all_different(V264,V281,V463,V1420,V1683,V1179)
3.88/3.97 c deduced all_different(V227,V297,V658,V673,V1580,V2047,V1180)
3.88/3.97 c deduced all_different(V5,V57,V985,V2619,V1181)
3.88/3.97 c deduced all_different(V156,V174,V256,V403,V1255,V1425,V1182)
3.88/3.97 c deduced all_different(V42,V172,V427,V2481,V1184)
3.88/3.97 c deduced all_different(V2,V959,V968,V1757,V2611,V1185)
3.88/3.97 c deduced all_different(V81,V114,V1019,V1545,V1648,V1187)
3.88/3.97 c deduced all_different(V67,V117,V438,V1326,V2737,V1191)
3.88/3.97 c deduced all_different(V42,V172,V206,V704,V1942,V1192)
3.88/3.97 c deduced all_different(V311,V367,V885,V2415,V1194)
3.88/3.97 c deduced all_different(V26,V929,V1909,V2128,V2383,V2676,V1196)
3.88/3.97 c deduced all_different(V106,V462,V736,V1957,V1201)
3.88/3.97 c deduced all_different(V169,V392,V404,V2282,V2615,V1202)
3.88/3.97 c deduced all_different(V61,V204,V638,V1169,V2672,V1203)
3.88/3.97 c deduced all_different(V43,V64,V183,V187,V217,V1205)
3.88/3.97 c deduced all_different(V81,V147,V240,V1648,V1781,V1207)
3.88/3.97 c deduced all_different(V171,V346,V723,V2121,V2378,V2728,V1209)
3.88/3.97 c deduced all_different(V0,V93,V684,V750,V1211)
3.88/3.97 c deduced all_different(V136,V482,V595,V620,V1315,V1778,V1213)
3.88/3.97 c deduced all_different(V5,V278,V1599,V1720,V2097,V2619,V1214)
3.88/3.97 c deduced all_different(V34,V210,V241,V1132,V1212,V2047,V2568,V1216)
3.88/3.97 c deduced all_different(V233,V237,V291,V383,V1420,V2583,V1217)
3.88/3.97 c deduced all_different(V80,V434,V1274,V1297,V1790,V2416,V1219)
3.88/3.97 c deduced all_different(V160,V354,V543,V1055,V1220)
3.88/3.97 c deduced all_different(V14,V640,V1023,V1346,V1390,V1977,V1223)
3.88/3.97 c deduced all_different(V219,V291,V1067,V1420,V1224)
3.88/3.97 c deduced all_different(V112,V241,V306,V517,V2047,V2309,V1225)
3.88/3.97 c deduced all_different(V202,V233,V502,V588,V1420,V1226)
3.88/3.97 c deduced all_different(V440,V564,V968,V988,V2611,V1227)
3.88/3.97 c deduced all_different(V220,V242,V422,V543,V897,V1661,V1228)
3.88/3.97 c deduced all_different(V39,V460,V1983,V2535,V1229)
3.88/3.97 c deduced all_different(V22,V115,V411,V736,V776,V891,V1957,V1231)
3.88/3.97 c deduced all_different(V104,V370,V409,V414,V519,V1937,V2637,V1233)
3.88/3.97 c deduced all_different(V78,V340,V491,V705,V903,V1460,V1533,V1234)
3.88/3.97 c deduced all_different(V17,V641,V993,V1675,V2611,V1235)
3.88/3.97 c deduced all_different(V224,V1097,V1640,V2796,V1236)
3.88/3.97 c deduced all_different(V6,V572,V1062,V1664,V2535,V1242)
3.88/3.97 c deduced all_different(V46,V324,V389,V454,V1833,V2368,V2611,V1243)
3.88/3.97 c deduced all_different(V29,V100,V350,V525,V2388,V2523,V1244)
3.88/3.97 c deduced all_different(V134,V208,V394,V1467,V2123,V1246)
3.88/3.97 c deduced all_different(V71,V73,V250,V370,V2637,V1248)
3.88/3.97 c deduced all_different(V29,V100,V196,V525,V786,V1251)
3.88/3.97 c deduced all_different(V222,V252,V735,V2535,V1253)
3.88/3.97 c deduced all_different(V81,V149,V240,V997,V1648,V2281,V1254)
3.88/3.98 c deduced all_different(V48,V938,V1267,V1455,V1548,V1257)
3.88/3.98 c deduced all_different(V46,V162,V324,V877,V1833,V2611,V1258)
3.88/3.98 c deduced all_different(V307,V311,V1373,V2415,V2685,V1260)
3.88/3.98 c deduced all_different(V132,V479,V1614,V2374,V1261)
3.88/3.98 c deduced all_different(V167,V330,V333,V1346,V2441,V2677,V1262)
3.88/3.98 c deduced all_different(V64,V118,V1151,V1700,V1875,V2372,V1265)
3.88/3.98 c deduced all_different(V123,V309,V450,V742,V1330,V2180,V1266)
3.88/3.98 c deduced all_different(V73,V104,V370,V532,V2202,V1268)
3.88/3.98 c deduced all_different(V1,V108,V542,V559,V1369,V1269)
3.88/3.98 c deduced all_different(V79,V516,V814,V1043,V1270)
3.88/3.98 c deduced all_different(V37,V74,V408,V458,V461,V1271)
3.88/3.98 c deduced all_different(V114,V147,V1019,V1461,V1648,V1273)
3.88/3.98 c deduced all_different(V3,V86,V137,V140,V1352,V1866,V1276)
3.88/3.98 c deduced all_different(V24,V328,V570,V1383,V1566,V1278)
3.88/3.98 c deduced all_different(V58,V225,V384,V2508,V2757,V1279)
3.88/3.98 c deduced all_different(V93,V684,V750,V1150,V2036,V1280)
3.88/3.98 c deduced all_different(V59,V75,V313,V1454,V1728,V1282)
3.88/3.98 c deduced all_different(V51,V163,V518,V1297,V1790,V2238,V1285)
3.88/3.98 c deduced all_different(V109,V531,V749,V1304,V1938,V2009,V1287)
3.88/3.98 c deduced all_different(V191,V196,V525,V527,V2523,V1288)
3.88/3.98 c deduced all_different(V74,V154,V155,V458,V1289)
3.88/3.98 c deduced all_different(V33,V84,V137,V480,V1866,V2424,V1291)
3.88/3.98 c deduced all_different(V20,V275,V863,V1204,V1350,V1567,V1850,V1292)
3.88/3.98 c deduced all_different(V121,V122,V493,V974,V1446,V1455,V1293)
3.88/3.98 c deduced all_different(V129,V195,V198,V450,V585,V742,V1294)
3.88/3.98 c deduced all_different(V82,V842,V857,V1112,V1856,V1299)
3.88/3.98 c deduced all_different(V64,V168,V911,V2479,V2769,V1301)
3.88/3.98 c deduced all_different(V127,V263,V430,V2600,V1305)
3.88/3.98 c deduced all_different(V294,V677,V875,V1692,V1827,V2415,V1306)
3.88/3.98 c deduced all_different(V85,V156,V174,V256,V403,V1425,V2124,V1311)
3.88/3.98 c deduced all_different(V16,V81,V240,V1648,V1781,V1312)
3.88/3.98 c deduced all_different(V112,V116,V921,V1096,V1333,V2047,V1314)
3.88/3.98 c deduced all_different(V156,V174,V256,V600,V966,V1316)
3.88/3.98 c deduced all_different(V76,V172,V206,V325,V512,V2775,V1319)
3.88/3.98 c deduced all_different(V72,V392,V404,V1331,V2021,V2615,V1321)
3.88/3.98 c deduced all_different(V31,V152,V525,V2095,V2774,V1322)
3.88/3.98 c deduced all_different(V134,V1415,V2000,V2123,V1324)
3.88/3.98 c deduced all_different(V77,V346,V509,V2053,V2728,V1328)
3.88/3.98 c deduced all_different(V7,V9,V32,V773,V1334)
3.88/3.98 c deduced all_different(V53,V110,V516,V818,V1024,V2145,V2306,V1336)
3.88/3.98 c deduced all_different(V184,V604,V674,V1755,V2532,V2615,V1339)
3.88/3.98 c deduced all_different(V231,V326,V1086,V1779,V1903,V2123,V1342)
3.88/3.98 c deduced all_different(V61,V185,V251,V896,V1844,V2672,V1343)
3.88/3.98 c deduced all_different(V78,V305,V342,V686,V976,V1460,V2001,V1345)
3.88/3.98 c deduced all_different(V229,V634,V1754,V2187,V2259,V2295,V2737,V1348)
3.88/3.98 c deduced all_different(V156,V256,V288,V1134,V2124,V1349)
3.88/3.98 c deduced all_different(V80,V141,V1297,V1623,V2347,V1354)
3.88/3.98 c deduced all_different(V150,V474,V2085,V2796,V1357)
3.88/3.98 c deduced all_different(V119,V290,V674,V1485,V2615,V1359)
3.88/3.98 c deduced all_different(V255,V382,V1529,V1748,V2093,V2699,V1360)
3.88/3.98 c deduced all_different(V18,V157,V935,V1374,V1509,V1361)
3.88/3.98 c deduced all_different(V53,V110,V173,V381,V516,V2189,V1362)
3.88/3.98 c deduced all_different(V37,V74,V461,V916,V2050,V1364)
3.88/3.98 c deduced all_different(V136,V238,V595,V1315,V1778,V1368)
3.88/3.98 c deduced all_different(V29,V100,V350,V525,V772,V1462,V1370)
3.88/3.98 c deduced all_different(V97,V186,V267,V1344,V1771,V1372)
3.88/3.98 c deduced all_different(V159,V167,V330,V1009,V1346,V2265,V1375)
3.88/3.98 c deduced all_different(V139,V318,V1240,V1442,V2162,V1376)
3.88/3.98 c deduced all_different(V307,V367,V825,V1827,V2415,V2793,V1381)
3.88/3.98 c deduced all_different(V445,V657,V694,V2123,V2272,V1382)
3.88/3.98 c deduced all_different(V79,V516,V717,V2159,V2798,V1385)
3.88/3.98 c deduced all_different(V11,V423,V424,V1367,V1801,V1386)
3.88/3.98 c deduced all_different(V67,V229,V1672,V1754,V2701,V2737,V1388)
3.88/3.98 c deduced all_different(V225,V315,V632,V1318,V2094,V2630,V1389)
3.88/3.98 c deduced all_different(V6,V572,V1062,V2535,V1392)
3.88/3.98 c deduced all_different(V172,V273,V312,V704,V1393)
3.88/3.98 c deduced all_different(V29,V196,V525,V786,V912,V2148,V1394)
3.88/3.98 c deduced all_different(V63,V91,V177,V430,V2207,V1396)
3.88/3.98 c deduced all_different(V58,V225,V544,V1034,V2211,V2757,V1398)
3.88/3.98 c deduced all_different(V371,V424,V788,V1367,V1386,V1607,V1399)
3.88/3.98 c deduced all_different(V201,V260,V495,V871,V1771,V1400)
3.88/3.98 c deduced all_different(V134,V208,V303,V326,V2123,V1401)
3.88/3.98 c deduced all_different(V101,V190,V559,V2471,V1402)
3.88/3.98 c deduced all_different(V107,V175,V1718,V2535,V1404)
3.88/3.98 c deduced all_different(V59,V60,V75,V253,V1711,V1405)
3.88/3.98 c deduced all_different(V85,V135,V156,V256,V2124,V1406)
3.88/3.98 c deduced all_different(V271,V401,V978,V2116,V2196,V1408)
3.88/3.98 c deduced all_different(V22,V115,V314,V891,V1957,V1410)
3.88/3.98 c deduced all_different(V202,V233,V237,V502,V1420,V1411)
3.88/3.98 c deduced all_different(V63,V91,V430,V1396,V2207,V2600,V1413)
3.88/3.98 c deduced all_different(V401,V576,V1408,V2116,V2370,V1414)
3.88/3.98 c deduced all_different(V34,V210,V921,V1212,V1580,V2047,V1416)
3.88/3.98 c deduced all_different(V8,V126,V258,V429,V2766,V1418)
3.88/3.98 c deduced all_different(V423,V424,V513,V1367,V1409,V1801,V1419)
3.88/3.98 c deduced all_different(V78,V340,V491,V903,V1460,V1421)
3.88/3.98 c deduced all_different(V123,V450,V742,V854,V895,V2443,V1423)
3.88/3.98 c deduced all_different(V194,V302,V749,V861,V1397,V1512,V2340,V1424)
3.88/3.98 c deduced all_different(V160,V283,V543,V583,V917,V1536,V1426)
3.88/3.98 c deduced all_different(V91,V127,V263,V430,V2240,V2438,V2600,V1427)
3.88/3.98 c deduced all_different(V257,V344,V949,V1383,V1596,V1428)
3.88/3.98 c deduced all_different(V52,V75,V253,V1454,V1784,V1431)
3.88/3.98 c deduced all_different(V349,V999,V1083,V2128,V2383,V1432)
3.88/3.98 c deduced all_different(V103,V296,V1524,V1648,V2352,V1434)
3.88/3.98 c deduced all_different(V198,V450,V485,V585,V1159,V1435)
3.88/3.98 c deduced all_different(V7,V9,V69,V221,V1264,V1436)
3.88/3.98 c deduced all_different(V48,V121,V1440,V1455,V2702,V1437)
3.88/3.98 c deduced all_different(V126,V429,V643,V1238,V2766,V1438)
3.88/3.98 c deduced all_different(V42,V172,V374,V427,V2467,V1439)
3.88/3.98 c deduced all_different(V109,V749,V795,V1304,V2009,V1443)
3.88/3.98 c deduced all_different(V157,V579,V743,V1447,V1509,V1899,V1444)
3.88/3.98 c deduced all_different(V70,V446,V479,V2374,V1452)
3.88/3.98 c deduced all_different(V19,V1240,V1275,V1710,V2064,V2162,V1453)
3.88/3.98 c deduced all_different(V78,V491,V903,V1234,V1460,V1533,V1456)
3.88/3.98 c deduced all_different(V278,V725,V813,V2109,V2619,V1457)
3.88/3.98 c deduced all_different(V4,V36,V178,V1313,V1595,V1841,V2313,V1458)
3.88/3.98 c deduced all_different(V48,V121,V122,V1455,V1878,V1459)
3.88/3.98 c deduced all_different(V73,V104,V250,V370,V2637,V1463)
3.88/3.98 c deduced all_different(V53,V173,V516,V1122,V1464)
3.88/3.98 c deduced all_different(V207,V235,V558,V2796,V1465)
3.88/3.98 c deduced all_different(V136,V209,V482,V595,V808,V1315,V1662,V1466)
3.88/3.98 c deduced all_different(V93,V843,V924,V2315,V1468)
3.88/3.98 c deduced all_different(V20,V275,V1204,V1850,V1470)
3.88/3.98 c deduced all_different(V90,V466,V1153,V1850,V2390,V1471)
3.88/3.98 c deduced all_different(V15,V133,V1064,V1103,V1480,V1856,V1472)
3.88/3.98 c deduced all_different(V48,V121,V122,V1455,V1878,V1473)
3.88/3.98 c deduced all_different(V78,V293,V976,V1460,V2742,V1476)
3.88/3.98 c deduced all_different(V230,V346,V509,V723,V1890,V2053,V2728,V1477)
3.88/3.98 c deduced all_different(V88,V114,V1019,V1545,V1648,V1478)
3.88/3.98 c deduced all_different(V59,V75,V413,V1252,V1282,V1479)
3.88/3.98 c deduced all_different(V85,V156,V256,V966,V1162,V1917,V1482)
3.88/3.98 c deduced all_different(V4,V36,V1015,V1146,V1313,V2741,V1483)
3.88/3.98 c deduced all_different(V152,V196,V525,V1022,V1462,V2727,V1484)
3.88/3.98 c deduced all_different(V95,V246,V881,V1600,V1996,V1486)
3.88/3.98 c deduced all_different(V20,V703,V1135,V1340,V1850,V1488)
3.88/3.98 c deduced all_different(V345,V702,V2421,V2505,V2699,V1489)
3.88/3.98 c deduced all_different(V218,V446,V451,V1249,V2288,V2374,V1490)
3.88/3.98 c deduced all_different(V103,V1029,V1648,V1781,V1497)
3.88/3.98 c deduced all_different(V131,V807,V1814,V1889,V2116,V2213,V1498)
3.88/3.98 c deduced all_different(V1,V101,V120,V559,V1369,V1451,V1500)
3.88/3.98 c deduced all_different(V128,V866,V1383,V1449,V1566,V1690,V1502)
3.88/3.98 c deduced all_different(V9,V21,V675,V699,V906,V1300,V1503)
3.88/3.98 c deduced all_different(V71,V104,V250,V370,V1737,V1505)
3.88/3.98 c deduced all_different(V79,V142,V173,V516,V923,V2306,V1506)
3.88/3.98 c deduced all_different(V117,V435,V829,V1754,V2737,V1507)
3.88/3.98 c deduced all_different(V318,V1240,V1376,V2066,V2162,V1510)
3.88/3.98 c deduced all_different(V245,V441,V549,V1302,V1885,V1511)
3.88/3.98 c deduced all_different(V36,V49,V178,V1015,V1313,V1518)
3.88/3.98 c deduced all_different(V310,V693,V697,V1367,V2578,V1519)
3.88/3.98 c deduced all_different(V349,V796,V1083,V1713,V2128,V1521)
3.88/3.98 c deduced all_different(V31,V100,V525,V912,V2148,V1523)
3.88/3.98 c deduced all_different(V225,V535,V668,V751,V2636,V1526)
3.88/3.98 c deduced all_different(V210,V306,V2015,V2047,V1527)
3.88/3.98 c deduced all_different(V151,V849,V935,V1161,V1509,V1528)
3.88/3.98 c deduced all_different(V148,V258,V262,V269,V954,V1238,V2766,V1530)
3.88/3.98 c deduced all_different(V278,V578,V2097,V2619,V1531)
3.88/3.98 c deduced all_different(V110,V381,V516,V522,V1122,V1532)
3.88/3.98 c deduced all_different(V205,V352,V494,V1275,V1283,V2162,V1535)
3.88/3.98 c deduced all_different(V261,V335,V1378,V1391,V1957,V1538)
3.88/3.98 c deduced all_different(V202,V237,V488,V1420,V1542)
3.88/3.98 c deduced all_different(V430,V459,V731,V1637,V2438,V1543)
3.88/3.98 c deduced all_different(V255,V507,V702,V707,V1748,V2699,V1544)
3.88/3.98 c deduced all_different(V4,V36,V622,V1146,V1694,V1546)
3.88/3.98 c deduced all_different(V7,V9,V215,V906,V1300,V1547)
3.88/3.98 c deduced all_different(V255,V702,V707,V1544,V2699,V1549)
3.88/3.98 c deduced all_different(V251,V376,V1674,V2672,V1550)
3.88/3.98 c deduced all_different(V310,V697,V1367,V1684,V2314,V2578,V1551)
3.88/3.98 c deduced all_different(V36,V332,V1048,V1458,V1694,V1552)
3.88/3.98 c deduced all_different(V171,V346,V2231,V2728,V1555)
3.88/3.98 c deduced all_different(V47,V158,V331,V745,V1991,V2278,V1556)
3.88/3.98 c deduced all_different(V5,V40,V57,V759,V1720,V2619,V1558)
3.88/3.98 c deduced all_different(V109,V724,V749,V1649,V2316,V2393,V1559)
3.88/3.98 c deduced all_different(V146,V199,V213,V495,V1771,V1986,V1562)
3.88/3.98 c deduced all_different(V3,V50,V546,V1866,V1563)
3.88/3.98 c deduced all_different(V31,V525,V772,V1370,V1760,V1564)
3.88/3.98 c deduced all_different(V125,V367,V825,V2361,V2415,V1565)
3.88/3.98 c deduced all_different(V251,V896,V1487,V2019,V2672,V1568)
3.88/3.98 c deduced all_different(V51,V141,V821,V1297,V1569)
3.88/3.98 c deduced all_different(V48,V1257,V1455,V1548,V1859,V2051,V2058,V1570)
3.88/3.98 c deduced all_different(V157,V193,V935,V1069,V1509,V1540,V1573)
3.88/3.98 c deduced all_different(V424,V513,V788,V1367,V1419,V2377,V1575)
3.88/3.98 c deduced all_different(V131,V711,V734,V1814,V1889,V2116,V2330,V2772,V1581)
3.88/3.98 c deduced all_different(V17,V324,V941,V1087,V1675,V2611,V1582)
3.88/3.98 c deduced all_different(V59,V60,V75,V1711,V1728,V2044,V1583)
3.88/3.98 c deduced all_different(V22,V179,V736,V1658,V1957,V1586)
3.88/3.98 c deduced all_different(V204,V279,V1745,V1844,V2672,V1591)
3.88/3.98 c deduced all_different(V289,V316,V355,V1327,V1534,V1804,V1593)
3.88/3.98 c deduced all_different(V87,V543,V598,V809,V2440,V1594)
3.88/3.98 c deduced all_different(V162,V324,V388,V454,V969,V2611,V1597)
3.88/3.98 c deduced all_different(V136,V238,V482,V595,V1315,V1662,V1598)
3.88/3.98 c deduced all_different(V42,V172,V374,V706,V714,V867,V1601)
3.88/3.98 c deduced all_different(V44,V129,V198,V309,V450,V1602)
3.88/3.98 c deduced all_different(V274,V435,V2515,V2737,V1603)
3.88/3.98 c deduced all_different(V20,V703,V1340,V1850,V1604)
3.88/3.98 c deduced all_different(V67,V117,V438,V634,V1754,V2737,V1606)
3.88/3.98 c deduced all_different(V225,V384,V613,V2496,V2757,V1610)
3.88/3.98 c deduced all_different(V34,V210,V241,V1132,V1216,V2047,V1612)
3.88/3.98 c deduced all_different(V97,V146,V327,V1344,V1771,V1616)
3.88/3.98 c deduced all_different(V117,V229,V438,V1326,V2485,V2737,V1619)
3.88/3.98 c deduced all_different(V167,V625,V1020,V1317,V1346,V2441,V1624)
3.88/3.98 c deduced all_different(V209,V239,V482,V595,V620,V1315,V1825,V1626)
3.88/3.98 c deduced all_different(V1,V108,V559,V577,V1369,V1451,V1627)
3.88/3.98 c deduced all_different(V249,V256,V288,V618,V851,V1629)
3.88/3.98 c deduced all_different(V172,V276,V704,V1422,V2023,V1630)
3.88/3.98 c deduced all_different(V63,V430,V490,V555,V2151,V2237,V1631)
3.88/3.98 c deduced all_different(V159,V369,V416,V504,V1346,V1632)
3.88/3.98 c deduced all_different(V50,V317,V1866,V1953,V1633)
3.88/3.98 c deduced all_different(V138,V665,V749,V1287,V1951,V1634)
3.88/3.98 c deduced all_different(V109,V749,V795,V1128,V1696,V1636)
3.88/3.98 c deduced all_different(V43,V64,V183,V187,V1021,V1205,V1638)
3.88/3.98 c deduced all_different(V169,V392,V406,V899,V2404,V2615,V1639)
3.88/3.98 c deduced all_different(V89,V370,V414,V629,V1445,V1706,V2499,V1641)
3.88/3.98 c deduced all_different(V40,V538,V716,V813,V2619,V1642)
3.88/3.98 c deduced all_different(V176,V279,V952,V1645,V2672,V1643)
3.88/3.98 c deduced all_different(V20,V574,V703,V1135,V1850,V1646)
3.88/3.98 c deduced all_different(V209,V265,V268,V777,V1315,V2656,V1647)
3.88/3.98 c deduced all_different(V90,V863,V1065,V1499,V1850,V2135,V1651)
3.88/3.98 c deduced all_different(V188,V244,V729,V1329,V1347,V2231,V2728,V1652)
3.88/3.98 c deduced all_different(V138,V194,V749,V1636,V1654)
3.88/3.99 c deduced all_different(V307,V367,V677,V875,V2415,V1655)
3.88/3.99 c deduced all_different(V28,V47,V701,V1332,V1991,V1656)
3.88/3.99 c deduced all_different(V239,V777,V808,V1315,V2067,V1659)
3.88/3.99 c deduced all_different(V371,V424,V788,V1166,V1367,V1684,V2377,V1660)
3.88/3.99 c deduced all_different(V5,V40,V538,V1558,V2619,V1663)
3.88/3.99 c deduced all_different(V23,V92,V255,V2421,V2699,V1665)
3.88/3.99 c deduced all_different(V290,V320,V456,V2021,V2420,V2615,V1668)
3.88/3.99 c deduced all_different(V113,V346,V425,V723,V2053,V2728,V1669)
3.88/3.99 c deduced all_different(V77,V188,V230,V1195,V2728,V1670)
3.88/3.99 c deduced all_different(V305,V340,V841,V903,V1460,V1533,V2365,V1673)
3.88/3.99 c deduced all_different(V26,V30,V929,V2128,V1677)
3.88/3.99 c deduced all_different(V52,V59,V60,V75,V2465,V1681)
3.88/3.99 c deduced all_different(V301,V321,V645,V869,V1116,V1885,V1682)
3.88/3.99 c deduced all_different(V51,V80,V1274,V1297,V1790,V2406,V1685)
3.88/3.99 c deduced all_different(V34,V366,V658,V921,V1580,V2047,V1686)
3.88/3.99 c deduced all_different(V39,V222,V572,V735,V2535,V1688)
3.88/3.99 c deduced all_different(V56,V83,V534,V950,V1600,V1644,V2598,V1691)
3.88/3.99 c deduced all_different(V74,V154,V343,V605,V1693)
3.88/3.99 c deduced all_different(V90,V1135,V1153,V1174,V1646,V1850,V1695)
3.88/3.99 c deduced all_different(V9,V21,V221,V699,V2358,V1697)
3.88/3.99 c deduced all_different(V11,V513,V580,V697,V1367,V1801,V1698)
3.88/3.99 c deduced all_different(V7,V9,V130,V860,V1657,V1701)
3.88/3.99 c deduced all_different(V9,V69,V96,V688,V1028,V2138,V1702)
3.88/3.99 c deduced all_different(V466,V760,V1403,V1850,V2135,V2516,V1703)
3.88/3.99 c deduced all_different(V301,V321,V426,V774,V1858,V1885,V1704)
3.88/3.99 c deduced all_different(V159,V167,V625,V1346,V1708)
3.88/3.99 c deduced all_different(V105,V223,V722,V1709)
3.88/3.99 c deduced all_different(V551,V571,V905,V1516,V2162,V1712)
3.88/3.99 c deduced all_different(V100,V196,V525,V786,V2519,V2647,V1716)
3.88/3.99 c deduced all_different(V164,V368,V857,V1856,V2243,V1719)
3.88/3.99 c deduced all_different(V85,V256,V403,V889,V2442,V1721)
3.88/3.99 c deduced all_different(V133,V164,V894,V1480,V1856,V1722)
3.88/3.99 c deduced all_different(V41,V83,V95,V1143,V1600,V1635,V2319,V1723)
3.88/3.99 c deduced all_different(V128,V469,V712,V1383,V1561,V1725)
3.88/3.99 c deduced all_different(V181,V316,V355,V1327,V1508,V2329,V1726)
3.88/3.99 c deduced all_different(V23,V255,V1450,V2699,V1729)
3.88/3.99 c deduced all_different(V63,V91,V430,V731,V2438,V1730)
3.88/3.99 c deduced all_different(V109,V531,V749,V1128,V2316,V2391,V2393,V1732)
3.88/3.99 c deduced all_different(V18,V573,V849,V1509,V1733)
3.88/3.99 c deduced all_different(V239,V482,V595,V800,V1315,V2624,V1734)
3.88/3.99 c deduced all_different(V19,V352,V1275,V1710,V2162,V1735)
3.88/3.99 c deduced all_different(V57,V631,V716,V1653,V1767,V2619,V2670,V1736)
3.88/3.99 c deduced all_different(V38,V106,V179,V462,V736,V1957,V1738)
3.88/3.99 c deduced all_different(V133,V894,V1171,V1299,V1856,V1740)
3.88/3.99 c deduced all_different(V141,V163,V821,V1297,V1496,V1741)
3.88/3.99 c deduced all_different(V45,V108,V559,V664,V1742)
3.88/3.99 c deduced all_different(V29,V152,V525,V772,V912,V1462,V1743)
3.88/3.99 c deduced all_different(V77,V113,V230,V2247,V2728,V1744)
3.88/3.99 c deduced all_different(V18,V157,V193,V743,V1509,V1676,V1746)
3.88/3.99 c deduced all_different(V48,V122,V1188,V1455,V1459,V2702,V1747)
3.88/3.99 c deduced all_different(V13,V234,V593,V882,V1571,V2766,V1749)
3.88/3.99 c deduced all_different(V67,V117,V229,V1326,V2737,V1750)
3.88/3.99 c deduced all_different(V107,V222,V299,V572,V2535,V1751)
3.88/3.99 c deduced all_different(V186,V199,V260,V417,V1771,V1815,V1752)
3.88/3.99 c deduced all_different(V305,V686,V903,V1460,V1533,V1753)
3.88/3.99 c deduced all_different(V10,V103,V1222,V1524,V1648,V2367,V1756)
3.88/3.99 c deduced all_different(V119,V290,V674,V1485,V2615,V1758)
3.88/3.99 c deduced all_different(V271,V639,V807,V2116,V2196,V1762)
3.88/3.99 c deduced all_different(V91,V127,V430,V731,V2680,V1763)
3.88/3.99 c deduced all_different(V15,V368,V1856,V1867,V2243,V1764)
3.88/3.99 c deduced all_different(V94,V97,V146,V327,V1771,V1765)
3.88/3.99 c deduced all_different(V41,V534,V812,V1200,V1600,V1635,V1766)
3.88/3.99 c deduced all_different(V128,V609,V712,V1383,V1725,V1768)
3.88/3.99 c deduced all_different(V28,V65,V66,V1033,V1991,V1769)
3.88/3.99 c deduced all_different(V59,V75,V313,V1282,V1728,V1786,V1770)
3.88/3.99 c deduced all_different(V8,V262,V1145,V1307,V2766,V1772)
3.88/3.99 c deduced all_different(V207,V607,V1097,V1839,V2796,V1774)
3.88/3.99 c deduced all_different(V278,V578,V813,V2109,V2619,V1775)
3.88/3.99 c deduced all_different(V72,V392,V604,V801,V2615,V1776)
3.88/3.99 c deduced all_different(V193,V387,V849,V1509,V1821,V1777)
3.88/3.99 c deduced all_different(V245,V441,V645,V1885,V2671,V1780)
3.88/3.99 c deduced all_different(V125,V307,V367,V2415,V2685,V2793,V1785)
3.88/3.99 c deduced all_different(V74,V155,V343,V605,V1809,V1787)
3.88/3.99 c deduced all_different(V97,V201,V327,V1731,V1771,V1788)
3.88/3.99 c deduced all_different(V574,V1135,V1153,V1850,V2390,V1791)
3.88/3.99 c deduced all_different(V159,V369,V416,V504,V1346,V1792)
3.88/3.99 c deduced all_different(V6,V175,V572,V1664,V2535,V1794)
3.88/3.99 c deduced all_different(V78,V293,V548,V647,V1460,V2554,V1795)
3.88/3.99 c deduced all_different(V78,V305,V342,V976,V1259,V1460,V1797)
3.88/3.99 c deduced all_different(V94,V260,V1515,V1771,V1798)
3.88/3.99 c deduced all_different(V99,V125,V307,V2188,V2415,V1800)
3.88/3.99 c deduced all_different(V46,V162,V324,V454,V1087,V1833,V2611,V1803)
3.88/3.99 c deduced all_different(V123,V309,V450,V709,V1806)
3.88/3.99 c deduced all_different(V175,V735,V1718,V2321,V2535,V1807)
3.88/3.99 c deduced all_different(V135,V156,V256,V618,V844,V1808)
3.88/3.99 c deduced all_different(V77,V171,V230,V1717,V1874,V2728,V1810)
3.88/3.99 c deduced all_different(V81,V114,V147,V1545,V1648,V1812)
3.88/3.99 c deduced all_different(V136,V239,V777,V1315,V1557,V1813)
3.88/3.99 c deduced all_different(V57,V631,V963,V1653,V2619,V2711,V1817)
3.88/3.99 c deduced all_different(V229,V511,V614,V634,V2557,V2737,V1818)
3.88/3.99 c deduced all_different(V207,V235,V1407,V1739,V2381,V2796,V1820)
3.88/3.99 c deduced all_different(V40,V57,V759,V1869,V2619,V2711,V1822)
3.88/3.99 c deduced all_different(V39,V107,V572,V1062,V2535,V1823)
3.88/3.99 c deduced all_different(V11,V424,V1367,V1386,V1801,V1826)
3.88/3.99 c deduced all_different(V75,V353,V676,V1308,V1828)
3.88/3.99 c deduced all_different(V70,V218,V1387,V1851,V2103,V2374,V1830)
3.88/3.99 c deduced all_different(V73,V250,V370,V1248,V2637,V1834)
3.88/3.99 c deduced all_different(V139,V551,V1442,V1516,V2162,V1836)
3.88/3.99 c deduced all_different(V41,V95,V380,V1600,V1635,V1837)
3.88/3.99 c deduced all_different(V231,V326,V661,V1467,V2000,V2123,V1838)
3.88/3.99 c deduced all_different(V112,V227,V1323,V1686,V2047,V1840)
3.88/3.99 c deduced all_different(V51,V80,V1274,V1297,V1790,V1842)
3.88/3.99 c deduced all_different(V123,V226,V450,V926,V2110,V1843)
3.88/3.99 c deduced all_different(V38,V106,V356,V891,V1957,V2011,V1845)
3.88/3.99 c deduced all_different(V225,V477,V544,V575,V1930,V2345,V2788,V1846)
3.88/3.99 c deduced all_different(V79,V516,V627,V1835,V2159,V1848)
3.88/3.99 c deduced all_different(V135,V174,V249,V256,V2124,V1849)
3.88/3.99 c deduced all_different(V70,V479,V1614,V2374,V1852)
3.88/3.99 c deduced all_different(V245,V645,V1144,V1511,V1885,V1853)
3.88/3.99 c deduced all_different(V124,V132,V584,V2374,V2639,V1854)
3.88/3.99 c deduced all_different(V63,V430,V490,V1035,V1915,V2600,V1855)
3.88/3.99 c deduced all_different(V91,V177,V263,V430,V731,V1860)
3.88/3.99 c deduced all_different(V232,V368,V894,V1764,V1856,V2243,V1861)
3.88/3.99 c deduced all_different(V2,V324,V941,V1962,V2611,V1862)
3.88/3.99 c deduced all_different(V220,V242,V543,V666,V1228,V1935,V1863)
3.88/3.99 c deduced all_different(V128,V257,V469,V1383,V1561,V1864)
3.88/3.99 c deduced all_different(V156,V256,V618,V844,V1162,V1917,V1865)
3.88/3.99 c deduced all_different(V123,V226,V450,V926,V1106,V2110,V1868)
3.88/3.99 c deduced all_different(V6,V175,V757,V1049,V1664,V2535,V1871)
3.88/3.99 c deduced all_different(V36,V49,V178,V1015,V1985,V1872)
3.88/3.99 c deduced all_different(V20,V703,V1135,V1350,V1850,V1873)
3.88/3.99 c deduced all_different(V85,V256,V280,V889,V2010,V2614,V1877)
3.88/3.99 c deduced all_different(V22,V179,V411,V1957,V2144,V1880)
3.88/3.99 c deduced all_different(V74,V254,V343,V868,V1355,V2139,V1881)
3.88/3.99 c deduced all_different(V326,V560,V872,V2123,V1882)
3.88/3.99 c deduced all_different(V53,V79,V247,V516,V2306,V1883)
3.88/3.99 c deduced all_different(V36,V178,V332,V802,V1694,V2407,V1884)
3.88/3.99 c deduced all_different(V430,V459,V510,V731,V1805,V1891)
3.88/3.99 c deduced all_different(V93,V843,V1232,V1468,V2315,V1892)
3.88/3.99 c deduced all_different(V85,V174,V256,V966,V1162,V1893)
3.88/3.99 c deduced all_different(V219,V237,V488,V611,V1420,V1894)
3.88/3.99 c deduced all_different(V119,V236,V1485,V2282,V2615,V1895)
3.88/3.99 c deduced all_different(V330,V437,V1009,V1023,V1346,V1897)
3.88/3.99 c deduced all_different(V48,V497,V1267,V1455,V1577,V1901)
3.88/3.99 c deduced all_different(V80,V434,V1219,V1297,V1790,V1902)
3.88/3.99 c deduced all_different(V129,V450,V528,V927,V1330,V1615,V1904)
3.88/3.99 c deduced all_different(V4,V36,V944,V1164,V2291,V2662,V1906)
3.88/3.99 c deduced all_different(V19,V205,V352,V1275,V2037,V2162,V1907)
3.88/3.99 c deduced all_different(V82,V996,V1609,V1856,V2543,V1911)
3.88/3.99 c deduced all_different(V72,V320,V604,V1133,V2101,V2615,V1913)
3.88/3.99 c deduced all_different(V18,V157,V662,V743,V1509,V1676,V1914)
3.88/3.99 c deduced all_different(V355,V395,V428,V506,V1327,V1918)
3.88/3.99 c deduced all_different(V13,V262,V720,V1571,V2766,V1919)
3.88/3.99 c deduced all_different(V57,V725,V813,V1869,V2619,V1920)
3.88/3.99 c deduced all_different(V52,V59,V75,V253,V353,V2300,V1921)
3.88/3.99 c deduced all_different(V423,V424,V1367,V1419,V1801,V1922)
3.88/3.99 c deduced all_different(V8,V126,V258,V643,V2766,V1923)
3.88/3.99 c deduced all_different(V328,V344,V515,V1012,V1383,V1596,V1924)
3.88/3.99 c deduced all_different(V17,V641,V756,V993,V2611,V1925)
3.88/3.99 c deduced all_different(V38,V179,V1007,V1738,V1957,V2007,V1926)
3.88/3.99 c deduced all_different(V119,V184,V290,V2032,V2615,V1927)
3.88/3.99 c deduced all_different(V126,V148,V258,V429,V624,V1238,V2766,V1928)
3.88/3.99 c deduced all_different(V59,V75,V253,V413,V1252,V1377,V1929)
3.88/3.99 c deduced all_different(V35,V87,V543,V809,V1250,V1536,V1931)
3.88/3.99 c deduced all_different(V74,V155,V254,V1089,V1932)
3.88/3.99 c deduced all_different(V401,V887,V1889,V2116,V2213,V2384,V1934)
3.88/3.99 c deduced all_different(V207,V385,V607,V1097,V2085,V2796,V1936)
3.88/3.99 c deduced all_different(V125,V311,V885,V1574,V2361,V2415,V1939)
3.88/3.99 c deduced all_different(V11,V423,V580,V1367,V1537,V1940)
3.88/3.99 c deduced all_different(V78,V705,V903,V1460,V2169,V2678,V1941)
3.88/3.99 c deduced all_different(V0,V405,V750,V1108,V1150,V1943)
3.88/3.99 c deduced all_different(V19,V840,V1002,V1554,V2162,V1944)
3.88/3.99 c deduced all_different(V47,V331,V341,V689,V701,V1991,V1945)
3.88/3.99 c deduced all_different(V125,V307,V804,V1800,V1998,V2415,V1946)
3.88/3.99 c deduced all_different(V92,V255,V1395,V1783,V2699,V1947)
3.88/3.99 c deduced all_different(V238,V265,V777,V1315,V1557,V2656,V1948)
3.88/3.99 c deduced all_different(V172,V273,V336,V1123,V2297,V1949)
3.88/3.99 c deduced all_different(V0,V750,V843,V2315,V1950)
3.88/3.99 c deduced all_different(V1,V45,V559,V664,V1952)
3.88/3.99 c deduced all_different(V151,V295,V1509,V1899,V2252,V1954)
3.88/3.99 c deduced all_different(V2,V877,V959,V1757,V2611,V1955)
3.88/3.99 c deduced all_different(V77,V113,V1329,V1717,V1874,V2231,V2371,V2728,V1956)
3.88/3.99 c deduced all_different(V43,V64,V153,V183,V2372,V1958)
3.88/3.99 c deduced all_different(V305,V841,V1259,V1460,V1797,V1959)
3.88/3.99 c deduced all_different(V136,V238,V595,V620,V1315,V1557,V1778,V1963)
3.88/3.99 c deduced all_different(V104,V370,V409,V414,V519,V532,V1964)
3.88/3.99 c deduced all_different(V22,V115,V1102,V1829,V1957,V1965)
3.88/3.99 c deduced all_different(V142,V173,V282,V516,V1506,V2145,V2306,V1966)
3.88/3.99 c deduced all_different(V172,V206,V325,V512,V704,V1967)
3.88/3.99 c deduced all_different(V56,V83,V950,V981,V1600,V1970)
3.88/3.99 c deduced all_different(V200,V349,V999,V2128,V2383,V2676,V1971)
3.88/3.99 c deduced all_different(V74,V154,V155,V442,V2486,V1972)
3.88/3.99 c deduced all_different(V181,V355,V395,V506,V1327,V1802,V2329,V1973)
3.88/3.99 c deduced all_different(V12,V219,V1420,V2028,V2583,V1975)
3.88/3.99 c deduced all_different(V61,V185,V204,V2672,V1976)
3.88/3.99 c deduced all_different(V40,V578,V716,V1358,V2619,V2670,V1978)
3.88/3.99 c deduced all_different(V123,V129,V309,V450,V485,V1119,V1979)
3.88/3.99 c deduced all_different(V23,V345,V1284,V1514,V2699,V1982)
3.88/3.99 c deduced all_different(V159,V504,V625,V833,V1020,V1346,V1987)
3.88/3.99 c deduced all_different(V348,V355,V395,V893,V1327,V1989)
3.88/3.99 c deduced all_different(V185,V251,V1572,V2242,V2672,V1992)
3.88/3.99 c deduced all_different(V110,V173,V282,V516,V717,V923,V1993)
3.88/3.99 c deduced all_different(V93,V684,V1211,V2225,V2262,V1994)
3.88/3.99 c deduced all_different(V121,V122,V216,V974,V1455,V2702,V1995)
3.88/3.99 c deduced all_different(V146,V199,V431,V1105,V1731,V1771,V1999)
3.88/3.99 c deduced all_different(V19,V205,V1715,V2079,V2162,V2002)
3.88/3.99 c deduced all_different(V28,V66,V701,V1033,V1991,V2003)
3.88/3.99 c deduced all_different(V117,V229,V438,V634,V2737,V2777,V2005)
3.88/3.99 c deduced all_different(V18,V295,V662,V849,V1509,V2012)
3.88/3.99 c deduced all_different(V92,V255,V702,V2451,V2699,V2013)
3.88/3.99 c deduced all_different(V47,V341,V689,V1945,V1991,V2014)
3.88/3.99 c deduced all_different(V52,V59,V60,V75,V1377,V1711,V2016)
3.88/3.99 c deduced all_different(V74,V154,V155,V343,V2344,V2017)
3.88/3.99 c deduced all_different(V38,V106,V179,V462,V1658,V1957,V2018)
3.88/3.99 c deduced all_different(V274,V435,V1388,V2737,V2022)
3.88/3.99 c deduced all_different(V305,V342,V647,V1460,V2077,V2554,V2024)
3.88/3.99 c deduced all_different(V23,V581,V746,V1284,V2320,V2699,V2748,V2026)
3.88/4.00 c deduced all_different(V229,V511,V614,V634,V2557,V2737,V2027)
3.88/4.00 c deduced all_different(V10,V145,V529,V1029,V1648,V2029)
3.88/4.00 c deduced all_different(V194,V665,V749,V795,V1304,V1951,V2030)
3.88/4.00 c deduced all_different(V85,V156,V174,V256,V1239,V2033)
3.88/4.00 c deduced all_different(V47,V508,V701,V838,V1332,V1991,V2034)
3.88/4.00 c deduced all_different(V53,V142,V173,V282,V516,V2035)
3.88/4.00 c deduced all_different(V232,V864,V1171,V1793,V1856,V2038)
3.88/4.00 c deduced all_different(V94,V260,V1515,V1771,V1815,V2258,V2041)
3.88/4.00 c deduced all_different(V20,V863,V1065,V1850,V2516,V2042)
3.88/4.00 c deduced all_different(V131,V711,V978,V2116,V2643,V2045)
3.88/4.00 c deduced all_different(V136,V209,V620,V808,V1315,V1557,V2046)
3.88/4.00 c deduced all_different(V6,V175,V817,V1049,V1539,V2535,V2048)
3.88/4.00 c deduced all_different(V156,V174,V256,V403,V966,V1255,V2049)
3.88/4.00 c deduced all_different(V301,V426,V739,V869,V1494,V1885,V2577,V2052)
3.88/4.00 c deduced all_different(V94,V97,V1771,V2498,V2571,V2054)
3.88/4.00 c deduced all_different(V2,V324,V877,V941,V959,V2611,V2055)
3.88/4.00 c deduced all_different(V4,V36,V178,V1015,V1985,V2741,V2060)
3.97/4.00 c deduced all_different(V33,V480,V909,V1866,V2474,V2061)
3.97/4.00 c deduced all_different(V271,V639,V734,V1148,V1974,V2116,V2063)
3.97/4.00 c deduced all_different(V576,V639,V734,V1974,V2116,V2068)
3.97/4.00 c deduced all_different(V122,V365,V448,V1455,V2241,V2070)
3.97/4.00 c deduced all_different(V121,V361,V497,V1455,V2476,V2071)
3.97/4.00 c deduced all_different(V2,V968,V988,V2008,V2611,V2072)
3.97/4.00 c deduced all_different(V151,V193,V1161,V1509,V2073)
3.97/4.00 c deduced all_different(V135,V174,V249,V256,V2069,V2075)
3.97/4.00 c deduced all_different(V40,V278,V813,V2109,V2619,V2078)
3.97/4.00 c deduced all_different(V200,V398,V1493,V2128,V2530,V2080)
3.97/4.00 c deduced all_different(V25,V45,V553,V559,V2245,V2692,V2082)
3.97/4.00 c deduced all_different(V94,V146,V850,V871,V1771,V2083)
3.97/4.00 c deduced all_different(V38,V356,V462,V1391,V1658,V1957,V2753,V2084)
3.97/4.00 c deduced all_different(V58,V225,V477,V544,V2211,V2794,V2086)
3.97/4.00 c deduced all_different(V46,V388,V756,V969,V2368,V2611,V2087)
3.97/4.00 c deduced all_different(V10,V81,V149,V1648,V1781,V2088)
3.97/4.00 c deduced all_different(V81,V111,V296,V997,V1648,V2090)
3.97/4.00 c deduced all_different(V231,V303,V326,V2123,V2130,V2091)
3.97/4.00 c deduced all_different(V466,V1174,V1340,V1850,V2206,V2092)
3.97/4.00 c deduced all_different(V159,V416,V443,V833,V1346,V2096)
3.97/4.00 c deduced all_different(V310,V693,V990,V1367,V2098)
3.97/4.00 c deduced all_different(V91,V263,V430,V890,V2207,V2099)
3.97/4.00 c deduced all_different(V50,V556,V616,V909,V1866,V2382,V2100)
3.97/4.00 c deduced all_different(V257,V344,V949,V1383,V2102)
3.97/4.00 c deduced all_different(V202,V237,V588,V1420,V1542,V1968,V2716,V2104)
3.97/4.00 c deduced all_different(V207,V487,V607,V1407,V2381,V2723,V2796,V2105)
3.97/4.00 c deduced all_different(V222,V572,V735,V1688,V2535,V2106)
3.97/4.00 c deduced all_different(V202,V233,V502,V1226,V1420,V2107)
3.97/4.00 c deduced all_different(V156,V174,V256,V966,V1162,V1316,V2108)
3.97/4.00 c deduced all_different(V160,V242,V422,V543,V764,V2111)
3.97/4.00 c deduced all_different(V16,V81,V846,V971,V1648,V2112)
3.97/4.00 c deduced all_different(V146,V199,V213,V1105,V1771,V2338,V2113)
3.97/4.00 c deduced all_different(V39,V222,V572,V735,V2535,V2114)
3.97/4.00 c deduced all_different(V99,V307,V329,V1384,V2188,V2415,V2115)
3.97/4.00 c deduced all_different(V112,V116,V1082,V1333,V2047,V2120)
3.97/4.00 c deduced all_different(V47,V68,V341,V689,V1332,V1991,V2122)
3.97/4.00 c deduced all_different(V0,V405,V591,V953,V1150,V1325,V2125)
3.97/4.00 c deduced all_different(V223,V591,V848,V1232,V2126)
3.97/4.00 c deduced all_different(V151,V295,V1509,V2129)
3.97/4.00 c deduced all_different(V44,V195,V198,V450,V1832,V2131)
3.97/4.00 c deduced all_different(V15,V368,V1103,V1107,V1353,V1856,V2132)
3.97/4.00 c deduced all_different(V150,V207,V607,V1407,V2723,V2796,V2133)
3.97/4.00 c deduced all_different(V371,V424,V1166,V1367,V1430,V2348,V2134)
3.97/4.00 c deduced all_different(V124,V446,V451,V2374,V2483,V2136)
3.97/4.00 c deduced all_different(V141,V170,V373,V943,V1297,V2137)
3.97/4.00 c deduced all_different(V52,V75,V253,V353,V1252,V1377,V2140)
3.97/4.00 c deduced all_different(V85,V135,V256,V889,V1162,V2141)
3.97/4.00 c deduced all_different(V93,V223,V1084,V1211,V2142)
3.97/4.00 c deduced all_different(V120,V364,V553,V559,V690,V1074,V1176,V2143)
3.97/4.00 c deduced all_different(V131,V734,V1889,V2116,V2307,V2679,V2146)
3.97/4.00 c deduced all_different(V200,V1417,V1611,V2128,V2147)
3.97/4.00 c deduced all_different(V271,V401,V887,V2116,V2149)
3.97/4.00 c deduced all_different(V70,V1038,V1452,V1830,V2103,V2374,V2445,V2150)
3.97/4.00 c deduced all_different(V444,V492,V677,V885,V2415,V2152)
3.97/4.00 c deduced all_different(V316,V337,V355,V1327,V2329,V2153)
3.97/4.00 c deduced all_different(V99,V329,V444,V2188,V2356,V2415,V2155)
3.97/4.00 c deduced all_different(V200,V398,V671,V1971,V2128,V2156)
3.97/4.00 c deduced all_different(V105,V223,V670,V843,V2157)
3.97/4.00 c deduced all_different(V51,V80,V1274,V1297,V2406,V2160)
3.97/4.00 c deduced all_different(V127,V430,V635,V1915,V2246,V2161)
3.97/4.00 c deduced all_different(V83,V246,V878,V1600,V2163)
3.97/4.00 c deduced all_different(V23,V92,V1450,V1514,V2320,V2699,V2164)
3.97/4.00 c deduced all_different(V70,V446,V1387,V1851,V2288,V2374,V2165)
3.97/4.00 c deduced all_different(V74,V154,V343,V358,V1089,V2166)
3.97/4.00 c deduced all_different(V11,V424,V697,V1367,V1386,V1684,V2168)
3.97/4.00 c deduced all_different(V172,V206,V512,V704,V980,V1967,V2171)
3.97/4.00 c deduced all_different(V181,V355,V428,V506,V1327,V1802,V2172)
3.97/4.00 c deduced all_different(V151,V573,V1161,V1509,V2173)
3.97/4.00 c deduced all_different(V123,V129,V309,V450,V742,V1330,V1379,V2175)
3.97/4.00 c deduced all_different(V117,V435,V1141,V1619,V1678,V2065,V2737,V2176)
3.97/4.00 c deduced all_different(V89,V370,V414,V447,V519,V2177)
3.97/4.00 c deduced all_different(V41,V95,V380,V1600,V1635,V2178)
3.97/4.00 c deduced all_different(V59,V75,V353,V1308,V1728,V1770,V1786,V2300,V2181)
3.97/4.00 c deduced all_different(V63,V430,V731,V1320,V2754,V2182)
3.97/4.00 c deduced all_different(V123,V226,V450,V926,V1106,V1868,V2183)
3.97/4.00 c deduced all_different(V71,V182,V370,V447,V532,V2184)
3.97/4.00 c deduced all_different(V245,V321,V441,V1885,V2185)
3.97/4.00 c deduced all_different(V136,V238,V482,V620,V1315,V1825,V2190)
3.97/4.00 c deduced all_different(V9,V21,V221,V883,V1264,V1448,V2191)
3.97/4.00 c deduced all_different(V41,V83,V95,V1600,V1635,V1723,V2192)
3.97/4.00 c deduced all_different(V64,V187,V217,V541,V2325,V2652,V2669,V2734,V2193)
3.97/4.00 c deduced all_different(V29,V152,V196,V525,V912,V1022,V2194)
3.97/4.00 c deduced all_different(V36,V49,V323,V1210,V2195)
3.97/4.00 c deduced all_different(V99,V125,V444,V492,V2415,V2197)
3.97/4.00 c deduced all_different(V28,V508,V752,V1332,V1991,V2200)
3.97/4.00 c deduced all_different(V67,V117,V229,V634,V1326,V2701,V2737,V2201)
3.97/4.00 c deduced all_different(V8,V126,V656,V1418,V1679,V2766,V2203)
3.97/4.00 c deduced all_different(V35,V283,V543,V852,V998,V1621,V2205)
3.97/4.00 c deduced all_different(V131,V887,V1814,V1889,V2116,V2208)
3.97/4.00 c deduced all_different(V194,V665,V749,V1304,V1938,V2209)
3.97/4.00 c deduced all_different(V48,V122,V497,V1267,V1455,V1577,V2210)
3.97/4.00 c deduced all_different(V20,V287,V1340,V1850,V2212)
3.97/4.00 c deduced all_different(V56,V83,V1600,V1635,V1644,V2214)
3.97/4.00 c deduced all_different(V16,V149,V240,V997,V1648,V2367,V2216)
3.97/4.00 c deduced all_different(V136,V239,V482,V1315,V2067,V2219)
3.97/4.00 c deduced all_different(V45,V472,V553,V559,V1074,V1176,V2220)
3.97/4.00 c deduced all_different(V200,V349,V1309,V1713,V2128,V2222)
3.97/4.00 c deduced all_different(V0,V93,V924,V1491,V2225,V2315,V2223)
3.97/4.00 c deduced all_different(V71,V73,V250,V370,V2637,V2224)
3.97/4.00 c deduced all_different(V33,V590,V718,V1004,V1866,V2226)
3.97/4.00 c deduced all_different(V134,V303,V326,V1380,V2123,V2227)
3.97/4.00 c deduced all_different(V299,V817,V2114,V2305,V2535,V2228)
3.97/4.00 c deduced all_different(V52,V60,V75,V353,V1377,V2230)
3.97/4.00 c deduced all_different(V133,V1353,V1856,V2221,V2232)
3.97/4.00 c deduced all_different(V150,V474,V748,V2756,V2796,V2233)
3.97/4.00 c deduced all_different(V132,V479,V584,V1125,V2374,V2781,V2234)
3.97/4.00 c deduced all_different(V35,V160,V543,V1621,V2235)
3.97/4.00 c deduced all_different(V99,V125,V367,V599,V2356,V2415,V2239)
3.97/4.00 c deduced all_different(V1,V120,V559,V1074,V1500,V2244)
3.97/4.00 c deduced all_different(V26,V30,V929,V2128,V2248)
3.97/4.00 c deduced all_different(V65,V68,V143,V1656,V1991,V2249)
3.97/4.00 c deduced all_different(V92,V255,V707,V2093,V2320,V2421,V2699,V2253)
3.97/4.00 c deduced all_different(V231,V394,V872,V1086,V2123,V2254)
3.97/4.00 c deduced all_different(V19,V205,V1256,V1799,V1907,V2037,V2162,V2256)
3.97/4.00 c deduced all_different(V89,V370,V402,V447,V519,V886,V2260)
3.97/4.00 c deduced all_different(V3,V86,V137,V1352,V1866,V2261)
3.97/4.00 c deduced all_different(V24,V128,V469,V712,V1383,V2294,V2263)
3.97/4.00 c deduced all_different(V194,V749,V795,V861,V1512,V2030,V2266)
3.97/4.00 c deduced all_different(V134,V303,V394,V872,V2123,V2272,V2267)
3.97/4.00 c deduced all_different(V181,V379,V464,V1327,V1782,V2268)
3.97/4.00 c deduced all_different(V209,V238,V265,V1315,V1557,V2656,V2269)
3.97/4.00 c deduced all_different(V20,V275,V703,V1350,V1567,V1850,V2270)
3.97/4.00 c deduced all_different(V1,V101,V542,V559,V1369,V2271)
3.97/4.00 c deduced all_different(V39,V222,V572,V1242,V1688,V1794,V2488,V2535,V2273)
3.97/4.00 c deduced all_different(V24,V328,V615,V904,V1383,V1449,V1596,V2274)
3.97/4.00 c deduced all_different(V26,V30,V349,V1713,V2128,V2275)
3.97/4.00 c deduced all_different(V74,V154,V343,V458,V1089,V2279)
3.97/4.00 c deduced all_different(V271,V734,V1408,V2116,V2603,V2283)
3.97/4.00 c deduced all_different(V146,V201,V327,V1731,V1771,V2284)
3.97/4.00 c deduced all_different(V107,V299,V572,V735,V2535,V2285)
3.97/4.00 c deduced all_different(V134,V208,V326,V560,V2123,V2286)
3.97/4.00 c deduced all_different(V394,V657,V661,V1467,V2000,V2123,V2287)
3.97/4.00 c deduced all_different(V39,V107,V799,V1664,V2305,V2535,V2289)
3.97/4.00 c deduced all_different(V152,V525,V772,V912,V1022,V1462,V2290)
3.97/4.00 c deduced all_different(V31,V100,V525,V1523,V2148,V2774,V2292)
3.97/4.00 c deduced all_different(V48,V122,V1455,V1473,V1878,V2210,V2293)
3.97/4.00 c deduced all_different(V64,V153,V183,V187,V1124,V2296)
3.97/4.00 c deduced all_different(V92,V255,V1395,V2253,V2320,V2699,V2298)
3.97/4.00 c deduced all_different(V65,V68,V143,V508,V1033,V1991,V2299)
3.97/4.00 c deduced all_different(V110,V381,V516,V566,V719,V1625,V2301)
3.97/4.00 c deduced all_different(V225,V315,V477,V2386,V2302)
3.97/4.00 c deduced all_different(V58,V225,V477,V1433,V2304)
3.97/4.00 c deduced all_different(V60,V75,V353,V1728,V2230,V2308)
3.97/4.00 c deduced all_different(V74,V254,V343,V605,V1693,V2310)
3.97/4.00 c deduced all_different(V134,V303,V394,V872,V2123,V2267,V2311)
3.97/4.00 c deduced all_different(V440,V454,V756,V959,V2611,V2312)
3.97/4.00 c deduced all_different(V349,V1083,V1309,V1521,V1713,V2128,V2317)
3.97/4.00 c deduced all_different(V113,V197,V230,V1347,V2371,V2728,V2323)
3.97/4.00 c deduced all_different(V28,V66,V508,V1332,V1991,V2324)
3.97/4.00 c deduced all_different(V60,V75,V539,V676,V2326)
3.97/4.00 c deduced all_different(V44,V129,V198,V450,V485,V742,V2327)
3.97/4.00 c deduced all_different(V507,V702,V707,V2456,V2699,V2328)
3.97/4.00 c deduced all_different(V124,V286,V1589,V2103,V2374,V2331)
3.97/4.00 c deduced all_different(V278,V813,V1337,V1457,V1847,V2619,V2332)
3.97/4.00 c deduced all_different(V20,V1063,V1292,V1567,V1850,V2333)
3.97/4.00 c deduced all_different(V98,V516,V566,V627,V2353,V2334)
3.97/4.00 c deduced all_different(V337,V348,V526,V1327,V1534,V2335)
3.97/4.00 c deduced all_different(V305,V340,V548,V647,V1460,V2336)
3.97/4.00 c deduced all_different(V401,V887,V1934,V2116,V2384,V2389,V2339)
3.97/4.00 c deduced all_different(V82,V390,V1052,V1112,V1856,V2342)
3.97/4.00 c deduced all_different(V31,V100,V525,V912,V1523,V2343)
3.97/4.00 c deduced all_different(V329,V977,V1946,V2155,V2415,V2346)
3.97/4.00 c deduced all_different(V350,V525,V621,V912,V2148,V2349)
3.97/4.00 c deduced all_different(V36,V178,V332,V415,V1015,V2350)
3.97/4.00 c deduced all_different(V225,V315,V477,V995,V2086,V2211,V2351)
3.97/4.00 c deduced all_different(V60,V75,V253,V353,V676,V2354)
3.97/4.00 c deduced all_different(V229,V511,V614,V1705,V2737,V2359)
3.97/4.00 c deduced all_different(V50,V62,V546,V1857,V1866,V2360)
3.97/4.00 c deduced all_different(V134,V872,V1246,V2123,V2362)
3.97/4.00 c deduced all_different(V511,V634,V1326,V2027,V2737,V2363)
3.97/4.00 c deduced all_different(V204,V279,V638,V1169,V2620,V2672,V2364)
3.97/4.00 c deduced all_different(V4,V36,V178,V1164,V1595,V2366)
3.97/4.00 c deduced all_different(V37,V74,V408,V461,V1271,V2376)
3.97/4.00 c deduced all_different(V70,V218,V446,V1387,V2288,V2374,V2379)
3.97/4.00 c deduced all_different(V339,V376,V859,V1550,V2672,V2380)
3.97/4.00 c deduced all_different(V71,V73,V250,V370,V2385)
3.97/4.00 c deduced all_different(V171,V197,V1960,V2461,V2728,V2387)
3.97/4.00 c deduced all_different(V321,V441,V1104,V1885,V2185,V2392)
3.97/4.00 c deduced all_different(V50,V86,V317,V1866,V2444,V2394)
3.97/4.00 c deduced all_different(V200,V349,V1493,V1713,V2128,V2395)
3.97/4.00 c deduced all_different(V42,V172,V979,V1263,V1601,V2023,V2396)
3.97/4.00 c deduced all_different(V9,V21,V906,V1028,V1241,V2397)
3.97/4.00 c deduced all_different(V39,V107,V222,V572,V2535,V2399)
3.97/4.00 c deduced all_different(V3,V33,V137,V317,V1866,V2400)
3.97/4.00 c deduced all_different(V13,V234,V258,V624,V2427,V2766,V2795,V2401)
3.97/4.00 c deduced all_different(V16,V88,V103,V1648,V2402)
3.97/4.00 c deduced all_different(V14,V816,V833,V1346,V2403)
3.97/4.00 c deduced all_different(V51,V80,V1274,V1297,V1685,V2406,V2405)
3.97/4.00 c deduced all_different(V70,V218,V446,V1614,V2374,V2379,V2408)
3.97/4.00 c deduced all_different(V172,V273,V276,V1123,V1272,V2409)
3.97/4.01 c deduced all_different(V126,V258,V269,V429,V954,V1238,V2401,V2766,V2410)
3.97/4.01 c deduced all_different(V91,V127,V263,V430,V2438,V2411)
3.97/4.01 c deduced all_different(V352,V483,V1710,V2162,V2412)
3.97/4.01 c deduced all_different(V469,V515,V619,V1012,V1383,V2521,V2413)
3.97/4.01 c deduced all_different(V131,V711,V807,V887,V2116,V2414)
3.97/4.01 c deduced all_different(V9,V32,V54,V688,V883,V2417)
3.97/4.01 c deduced all_different(V116,V297,V2047,V2418)
3.97/4.01 c deduced all_different(V101,V120,V364,V553,V559,V1451,V1500,V2423)
3.97/4.01 c deduced all_different(V8,V126,V258,V1590,V1923,V2427,V2766,V2425)
3.97/4.01 c deduced all_different(V17,V388,V993,V2611,V2428)
3.97/4.01 c deduced all_different(V99,V125,V2188,V2415,V2430)
3.97/4.01 c deduced all_different(V26,V349,V999,V2128,V2383,V2676,V2431)
3.97/4.01 c deduced all_different(V12,V233,V383,V1420,V1585,V1683,V2432)
3.97/4.01 c deduced all_different(V15,V368,V842,V864,V1856,V2436)
3.97/4.01 c deduced all_different(V245,V321,V1040,V1885,V2577,V2449)
3.97/4.01 c deduced all_different(V468,V931,V935,V1374,V1509,V2252,V2450)
3.97/4.01 c deduced all_different(V342,V647,V698,V1460,V2554,V2452)
3.97/4.01 c deduced all_different(V23,V255,V581,V2699,V2453)
3.97/4.01 c deduced all_different(V128,V1012,V1383,V1502,V2263,V2454)
3.97/4.01 c deduced all_different(V34,V210,V241,V921,V2047,V2309,V2455)
3.97/4.01 c deduced all_different(V36,V49,V178,V332,V1048,V2622,V2457)
3.97/4.01 c deduced all_different(V14,V369,V416,V1346,V1879,V2458)
3.97/4.01 c deduced all_different(V307,V311,V367,V677,V884,V2415,V2459)
3.97/4.01 c deduced all_different(V14,V416,V816,V1023,V1346,V2460)
3.97/4.01 c deduced all_different(V36,V178,V622,V1048,V1694,V2462)
3.97/4.01 c deduced all_different(V245,V321,V1144,V1885,V2577,V2463)
3.97/4.01 c deduced all_different(V293,V342,V698,V1460,V2554,V2464)
3.97/4.01 c deduced all_different(V159,V369,V1317,V1346,V1632,V2441,V2466)
3.97/4.01 c deduced all_different(V250,V270,V370,V476,V1445,V1737,V2468)
3.97/4.01 c deduced all_different(V182,V270,V370,V476,V1641,V2469)
3.97/4.01 c deduced all_different(V22,V115,V776,V891,V1957,V2470)
3.97/4.01 c deduced all_different(V117,V229,V614,V2201,V2737,V2472)
3.97/4.01 c deduced all_different(V330,V333,V536,V1346,V1375,V2217,V2473)
3.97/4.01 c deduced all_different(V255,V382,V1529,V1748,V2699,V2475)
3.97/4.01 c deduced all_different(V209,V268,V1060,V1315,V2046,V2478)
3.97/4.01 c deduced all_different(V98,V516,V566,V2145,V2353,V2480)
3.97/4.01 c deduced all_different(V301,V321,V426,V869,V1704,V1885,V2482)
3.97/4.01 c deduced all_different(V138,V338,V724,V749,V861,V1397,V2487)
3.97/4.01 c deduced all_different(V37,V74,V408,V1271,V1809,V2489)
3.97/4.01 c deduced all_different(V80,V373,V470,V1297,V2490)
3.97/4.01 c deduced all_different(V52,V60,V75,V676,V2491)
3.97/4.01 c deduced all_different(V156,V256,V403,V966,V1255,V1425,V2492)
3.97/4.01 c deduced all_different(V7,V9,V215,V221,V1448,V2493)
3.97/4.01 c deduced all_different(V92,V319,V581,V1395,V1912,V2699,V2494)
3.97/4.01 c deduced all_different(V23,V92,V345,V1514,V2699,V2495)
3.97/4.01 c deduced all_different(V68,V143,V158,V1033,V1656,V1991,V2497)
3.97/4.01 c deduced all_different(V5,V57,V631,V2097,V2619,V2501)
3.97/4.01 c deduced all_different(V209,V238,V482,V777,V1315,V2502)
3.97/4.01 c deduced all_different(V109,V531,V724,V749,V1938,V2009,V2503)
3.97/4.01 c deduced all_different(V293,V647,V1460,V1533,V2119,V2398,V2504)
3.97/4.01 c deduced all_different(V205,V483,V571,V1799,V2062,V2162,V2506)
3.97/4.01 c deduced all_different(V37,V74,V408,V1355,V1809,V2507)
3.97/4.01 c deduced all_different(V36,V323,V982,V1313,V1483,V2663,V2509)
3.97/4.01 c deduced all_different(V245,V321,V1116,V1206,V1885,V2510)
3.97/4.01 c deduced all_different(V134,V326,V1380,V2123,V2227,V2511)
3.97/4.01 c deduced all_different(V191,V525,V527,V1244,V2654,V2512)
3.97/4.01 c deduced all_different(V34,V921,V1416,V1686,V2047,V2059,V2513)
3.97/4.01 c deduced all_different(V165,V218,V687,V728,V2374,V2514)
3.97/4.01 c deduced all_different(V43,V64,V489,V1887,V2517)
3.97/4.01 c deduced all_different(V181,V428,V464,V1327,V2585,V2518)
3.97/4.01 c deduced all_different(V103,V296,V1029,V1090,V1461,V1648,V2352,V2522)
3.97/4.01 c deduced all_different(V92,V255,V581,V702,V2699,V2524)
3.97/4.01 c deduced all_different(V107,V175,V222,V572,V735,V2535,V2525)
3.97/4.01 c deduced all_different(V150,V487,V815,V1640,V2796,V2526)
3.97/4.01 c deduced all_different(V89,V370,V455,V540,V629,V1286,V2527)
3.97/4.01 c deduced all_different(V171,V1329,V1347,V1555,V2728,V2528)
3.97/4.01 c deduced all_different(V349,V796,V1521,V1713,V2128,V2431,V2651,V2529)
3.97/4.01 c deduced all_different(V117,V229,V438,V614,V2737,V2531)
3.97/4.01 c deduced all_different(V141,V163,V373,V434,V1297,V2533)
3.97/4.01 c deduced all_different(V107,V594,V680,V1539,V1664,V2399,V2535,V2534)
3.97/4.01 c deduced all_different(V637,V807,V887,V2116,V2384,V2389,V2643,V2536)
3.97/4.01 c deduced all_different(V82,V652,V864,V1112,V1856,V2221,V2537)
3.97/4.01 c deduced all_different(V132,V687,V2255,V2374,V2379,V2408,V2538)
3.97/4.01 c deduced all_different(V159,V330,V816,V1130,V1346,V2539)
3.97/4.01 c deduced all_different(V30,V266,V398,V1417,V2128,V2779,V2540)
3.97/4.01 c deduced all_different(V77,V171,V346,V2025,V2728,V2541)
3.97/4.01 c deduced all_different(V303,V394,V2123,V2272,V2655,V2542)
3.97/4.01 c deduced all_different(V235,V653,V1011,V2174,V2591,V2796,V2544)
3.97/4.01 c deduced all_different(V423,V424,V513,V1367,V1409,V2545)
3.97/4.01 c deduced all_different(V36,V178,V332,V1015,V1048,V2060,V2433,V2546)
3.97/4.01 c deduced all_different(V308,V534,V1143,V1486,V1600,V2598,V2547)
3.97/4.01 c deduced all_different(V47,V68,V689,V1991,V2122,V2548)
3.97/4.01 c deduced all_different(V77,V171,V230,V1717,V2728,V2549)
3.97/4.01 c deduced all_different(V24,V615,V904,V1383,V1449,V1596,V2550)
3.97/4.01 c deduced all_different(V150,V748,V1011,V1640,V2174,V2796,V2551)
3.97/4.01 c deduced all_different(V18,V157,V743,V765,V1509,V1676,V2552)
3.97/4.01 c deduced all_different(V109,V724,V749,V1649,V2316,V2553)
3.97/4.01 c deduced all_different(V123,V226,V450,V926,V1106,V2110,V2555)
3.97/4.01 c deduced all_different(V29,V100,V525,V621,V912,V1811,V2148,V2801,V2556)
3.97/4.01 c deduced all_different(V185,V279,V952,V1844,V2672,V2806,V2559)
3.97/4.01 c deduced all_different(V18,V765,V935,V1509,V1821,V2561)
3.97/4.01 c deduced all_different(V83,V246,V981,V1600,V2057,V2563)
3.97/4.01 c deduced all_different(V257,V344,V1383,V1428,V2564)
3.97/4.01 c deduced all_different(V105,V285,V405,V1520,V2565)
3.97/4.01 c deduced all_different(V71,V270,V370,V1737,V2566)
3.97/4.01 c deduced all_different(V391,V548,V1259,V1460,V2570)
3.97/4.01 c deduced all_different(V70,V218,V446,V2288,V2374,V2408,V2572)
3.97/4.01 c deduced all_different(V90,V466,V863,V1403,V1850,V2117,V2573)
3.97/4.01 c deduced all_different(V109,V531,V749,V1128,V1304,V1938,V2574)
3.97/4.01 c deduced all_different(V60,V75,V797,V1405,V2575)
3.97/4.01 c deduced all_different(V28,V65,V143,V1033,V1769,V1991,V2576)
3.97/4.01 c deduced all_different(V245,V441,V1302,V1780,V1885,V2579)
3.97/4.01 c deduced all_different(V245,V645,V1116,V1494,V1885,V2581)
3.97/4.01 c deduced all_different(V146,V199,V871,V1771,V2113,V2338,V2582)
3.97/4.01 c deduced all_different(V136,V209,V239,V777,V1315,V2586)
3.97/4.01 c deduced all_different(V55,V300,V556,V678,V1866,V2588)
3.97/4.01 c deduced all_different(V166,V424,V1166,V1367,V2589)
3.97/4.01 c deduced all_different(V14,V416,V1009,V1023,V1346,V1390,V1475,V2590)
3.97/4.01 c deduced all_different(V23,V92,V345,V2421,V2699,V2592)
3.97/4.01 c deduced all_different(V98,V516,V627,V1336,V2353,V2593)
3.97/4.01 c deduced all_different(V35,V87,V400,V543,V1250,V1412,V1536,V2594)
3.97/4.01 c deduced all_different(V37,V74,V442,V916,V2665,V2595)
3.97/4.01 c deduced all_different(V220,V422,V543,V583,V642,V852,V2596)
3.97/4.01 c deduced all_different(V271,V637,V639,V1889,V2116,V2146,V2643,V2679,V2597)
3.97/4.01 c deduced all_different(V64,V452,V1124,V1650,V1984,V2601)
3.97/4.01 c deduced all_different(V151,V295,V849,V1509,V2602)
3.97/4.01 c deduced all_different(V42,V172,V704,V867,V975,V2031,V2604)
3.97/4.01 c deduced all_different(V51,V80,V1297,V1790,V1842,V2605)
3.97/4.01 c deduced all_different(V386,V531,V724,V749,V1441,V2606)
3.97/4.01 c deduced all_different(V151,V573,V1509,V1910,V2607)
3.97/4.01 c deduced all_different(V72,V320,V801,V2021,V2615,V2609)
3.97/4.01 c deduced all_different(V159,V369,V416,V1346,V2610)
3.97/4.01 c deduced all_different(V225,V477,V544,V785,V1034,V2788,V2616)
3.97/4.01 c deduced all_different(V58,V225,V668,V1034,V1279,V2636,V2617)
3.97/4.01 c deduced all_different(V245,V441,V645,V1885,V2671,V2618)
3.97/4.01 c deduced all_different(V203,V387,V1374,V1447,V1509,V2621)
3.97/4.01 c deduced all_different(V243,V302,V338,V749,V1512,V2625)
3.97/4.01 c deduced all_different(V245,V549,V739,V1144,V1494,V1885,V2577,V2626)
3.97/4.01 c deduced all_different(V204,V279,V638,V1487,V2672,V2725,V2627)
3.97/4.01 c deduced all_different(V8,V272,V643,V1679,V2766,V2631)
3.97/4.01 c deduced all_different(V61,V185,V251,V896,V2672,V2633)
3.97/4.01 c deduced all_different(V316,V348,V506,V733,V1327,V2076,V2634)
3.97/4.01 c deduced all_different(V109,V749,V795,V1304,V2739,V2635)
3.97/4.01 c deduced all_different(V73,V370,V402,V654,V1445,V2224,V2638)
3.97/4.01 c deduced all_different(V90,V466,V1063,V1135,V1850,V2640)
3.97/4.01 c deduced all_different(V33,V480,V590,V909,V1866,V2641)
3.97/4.01 c deduced all_different(V131,V734,V887,V1814,V2116,V2642)
3.97/4.01 c deduced all_different(V377,V448,V493,V1437,V1440,V1455,V2702,V2644)
3.97/4.01 c deduced all_different(V216,V322,V1455,V1577,V2645)
3.97/4.01 c deduced all_different(V293,V686,V698,V976,V1460,V2646)
3.97/4.01 c deduced all_different(V24,V328,V570,V1290,V1383,V1680,V2648)
3.97/4.01 c deduced all_different(V2,V756,V1757,V2611,V2649)
3.97/4.01 c deduced all_different(V7,V9,V32,V1241,V1264,V2358,V2650)
3.97/4.01 c deduced all_different(V29,V100,V196,V525,V912,V1462,V2653)
3.97/4.01 c deduced all_different(V125,V492,V1692,V2415,V2657)
3.97/4.01 c deduced all_different(V37,V74,V442,V461,V2050,V2665,V2658)
3.97/4.01 c deduced all_different(V286,V1249,V2374,V2659)
3.97/4.01 c deduced all_different(V265,V839,V1281,V1315,V2624,V2660)
3.97/4.01 c deduced all_different(V263,V430,V806,V922,V1036,V2151,V2664)
3.97/4.01 c deduced all_different(V125,V311,V885,V2415,V2666)
3.97/4.01 c deduced all_different(V134,V394,V2123,V2272,V2668)
3.97/4.01 c deduced all_different(V150,V224,V1640,V2796,V2673)
3.97/4.01 c deduced all_different(V176,V251,V896,V1193,V2672,V2675)
3.97/4.01 c deduced all_different(V401,V887,V1039,V2116,V2149,V2681)
3.97/4.01 c deduced all_different(V224,V1027,V1113,V1739,V2796,V2682)
3.97/4.01 c deduced all_different(V117,V614,V634,V2701,V2737,V2684)
3.97/4.01 c deduced all_different(V58,V225,V384,V535,V2686)
3.97/4.01 c deduced all_different(V128,V609,V949,V1383,V1566,V2580,V2687)
3.97/4.01 c deduced all_different(V51,V141,V650,V1297,V2238,V2688)
3.97/4.01 c deduced all_different(V90,V1135,V1646,V1850,V2689)
3.97/4.01 c deduced all_different(V181,V316,V506,V1327,V1804,V2693)
3.97/4.01 c deduced all_different(V321,V441,V1104,V1858,V1885,V2577,V2694)
3.97/4.01 c deduced all_different(V113,V648,V2323,V2371,V2728,V2695)
3.97/4.01 c deduced all_different(V233,V237,V383,V1420,V1968,V2583,V2696)
3.97/4.01 c deduced all_different(V28,V65,V66,V1033,V1208,V1991,V2697)
3.97/4.01 c deduced all_different(V386,V724,V749,V1424,V1938,V2393,V2700)
3.97/4.01 c deduced all_different(V40,V578,V759,V1358,V2619,V2703)
3.97/4.01 c deduced all_different(V92,V255,V581,V1783,V2456,V2699,V2704)
3.97/4.01 c deduced all_different(V48,V121,V497,V1455,V2476,V2705)
3.97/4.01 c deduced all_different(V150,V607,V748,V2233,V2723,V2796,V2708)
3.97/4.01 c deduced all_different(V207,V235,V653,V2381,V2796,V2709)
3.97/4.01 c deduced all_different(V74,V155,V254,V343,V605,V2710)
3.97/4.01 c deduced all_different(V337,V359,V767,V1327,V2186,V2712)
3.97/4.01 c deduced all_different(V37,V74,V408,V461,V1355,V2713)
3.97/4.01 c deduced all_different(V39,V460,V799,V1794,V1983,V2535,V2714)
3.97/4.01 c deduced all_different(V22,V179,V411,V1957,V2715)
3.97/4.01 c deduced all_different(V64,V118,V452,V932,V1700,V2477,V2717)
3.97/4.01 c deduced all_different(V67,V117,V1191,V2737,V2719)
3.97/4.01 c deduced all_different(V28,V47,V689,V701,V1332,V1991,V2720)
3.97/4.01 c deduced all_different(V134,V208,V560,V1380,V2123,V2721)
3.97/4.01 c deduced all_different(V90,V863,V1350,V1403,V1850,V2722)
3.97/4.01 c deduced all_different(V238,V482,V1315,V1662,V1724,V2724)
3.97/4.01 c deduced all_different(V150,V224,V474,V2756,V2796,V2726)
3.97/4.01 c deduced all_different(V10,V81,V240,V1019,V1648,V2729)
3.97/4.01 c deduced all_different(V261,V726,V1391,V1957,V2007,V2730)
3.97/4.01 c deduced all_different(V316,V355,V506,V681,V733,V1327,V2076,V2731)
3.97/4.01 c deduced all_different(V136,V209,V482,V620,V1315,V1825,V2733)
3.97/4.01 c deduced all_different(V181,V316,V464,V1327,V1508,V2735)
3.97/4.01 c deduced all_different(V242,V400,V543,V832,V1412,V2738)
3.97/4.01 c deduced all_different(V109,V724,V749,V1649,V1938,V2393,V2740)
3.97/4.01 c deduced all_different(V234,V272,V1307,V2766,V2743)
3.97/4.01 c deduced all_different(V63,V127,V430,V731,V2151,V2746)
3.97/4.01 c deduced all_different(V483,V768,V1002,V1283,V1799,V2162,V2747)
3.97/4.01 c deduced all_different(V11,V424,V1367,V1386,V1801,V2750)
3.97/4.01 c deduced all_different(V48,V497,V1455,V1901,V2476,V2751)
3.97/4.01 c deduced all_different(V31,V100,V525,V1251,V2343,V2774,V2752)
3.97/4.01 c deduced all_different(V58,V225,V477,V1714,V2086,V2755)
3.97/4.01 c deduced all_different(V83,V95,V981,V1600,V1699,V2758)
3.97/4.01 c deduced all_different(V18,V157,V662,V1509,V1676,V2759)
3.97/4.01 c deduced all_different(V1,V45,V559,V1952,V2761)
3.97/4.01 c deduced all_different(V30,V349,V929,V1083,V2128,V2676,V2762)
3.97/4.01 c deduced all_different(V8,V126,V429,V643,V2766,V2763)
3.97/4.01 c deduced all_different(V88,V145,V1019,V1648,V2764)
3.97/4.01 c deduced all_different(V22,V115,V411,V736,V891,V1957,V2765)
3.97/4.01 c deduced all_different(V80,V373,V1274,V1297,V1790,V2406,V2767)
3.97/4.01 c deduced all_different(V181,V316,V337,V355,V1327,V1534,V2329,V2768)
3.97/4.01 c deduced all_different(V99,V329,V444,V492,V2197,V2415,V2771)
3.97/4.01 c deduced all_different(V188,V230,V346,V1890,V1960,V2728,V2773)
4.06/4.17 c deduced all_different(V136,V209,V239,V595,V808,V1315,V2776)
4.06/4.17 c deduced all_different(V228,V233,V488,V1420,V2778)
4.06/4.17 c deduced all_different(V233,V281,V488,V900,V1058,V1420,V2780)
4.06/4.17 c deduced all_different(V0,V93,V684,V924,V1211,V2225,V2782)
4.06/4.17 c deduced all_different(V255,V581,V707,V1450,V2320,V2456,V2699,V2783)
4.06/4.17 c deduced all_different(V29,V100,V196,V525,V2653,V2784)
4.06/4.17 c deduced all_different(V109,V531,V724,V749,V2009,V2785)
4.06/4.17 c deduced all_different(V161,V210,V770,V1136,V2047,V2786)
4.06/4.17 c deduced all_different(V225,V613,V751,V785,V964,V1338,V2787)
4.06/4.17 c deduced all_different(V316,V348,V506,V1327,V1593,V1804,V2791)
4.06/4.17 c deduced all_different(V40,V57,V716,V759,V2619,V2797)
4.06/4.17 c deduced all_different(V58,V225,V384,V1279,V2799)
4.06/4.17 c deduced all_different(V30,V1083,V1417,V1611,V2128,V2800)
4.06/4.17 c deduced all_different(V166,V423,V962,V1367,V1409,V1940,V2802)
4.06/4.17 c deduced all_different(V134,V560,V1380,V2000,V2123,V2803)
4.06/4.17 c deduced all_different(V207,V385,V487,V1097,V2796,V2804)
4.06/4.17 c deduced all_different(V48,V1188,V1455,V1473,V1747,V2702,V2805)
4.06/4.17 c deduced all_different(V26,V349,V929,V999,V1909,V2128,V2383,V2807)
4.06/4.17 c deduced all_different(V37,V74,V343,V408,V1355,V2808)
4.06/4.17 c with 185841 constraints
4.06/4.17 c Solving