0.00/0.02 c has big domains
0.00/0.02 c big-domain mode
0.00/0.03 c Seed is 1630590321
0.00/0.03 c Constructing HOME/instance-2080801-1247718593.xml
1.56/1.65 c deduced all_different(V65,V184,V331,V703,V844,V973,V1354,V0)
1.56/1.65 c deduced all_different(V203,V225,V675,V1051,V1)
1.56/1.65 c deduced all_different(V29,V72,V105,V253,V623,V685,V1185,V2)
1.56/1.65 c deduced all_different(V40,V153,V154,V528,V788,V3)
1.56/1.65 c deduced all_different(V63,V79,V164,V1079,V1144,V1265,V4)
1.56/1.65 c deduced all_different(V89,V249,V815,V944,V1509,V5)
1.56/1.65 c deduced all_different(V51,V88,V145,V399,V1040,V6)
1.56/1.65 c deduced all_different(V169,V287,V439,V1396,V7)
1.56/1.65 c deduced all_different(V44,V55,V93,V1028,V8)
1.56/1.65 c deduced all_different(V101,V220,V222,V629,V1249,V1448,V9)
1.56/1.65 c deduced all_different(V19,V85,V374,V632,V818,V1097,V10)
1.56/1.65 c deduced all_different(V24,V34,V191,V194,V497,V11)
1.56/1.65 c deduced all_different(V52,V168,V314,V767,V1090,V12)
1.56/1.65 c deduced all_different(V57,V59,V412,V576,V818,V13)
1.56/1.65 c deduced all_different(V73,V322,V772,V828,V14)
1.56/1.65 c deduced all_different(V36,V142,V337,V476,V538,V15)
1.56/1.65 c deduced all_different(V114,V167,V299,V666,V834,V16)
1.56/1.65 c deduced all_different(V66,V313,V738,V1509,V17)
1.56/1.65 c deduced all_different(V291,V369,V470,V1182,V18)
1.56/1.65 c deduced all_different(V213,V326,V648,V838,V925,V20)
1.56/1.65 c deduced all_different(V32,V219,V714,V935,V1005,V21)
1.56/1.65 c deduced all_different(V52,V168,V273,V1090,V1316,V22)
1.56/1.65 c deduced all_different(V172,V506,V885,V1334,V23)
1.56/1.65 c deduced all_different(V32,V156,V880,V1005,V25)
1.56/1.65 c deduced all_different(V61,V73,V97,V828,V1141,V1236,V26)
1.56/1.65 c deduced all_different(V134,V249,V800,V824,V1509,V27)
1.56/1.65 c deduced all_different(V118,V323,V418,V457,V633,V28)
1.56/1.65 c deduced all_different(V125,V175,V333,V390,V1478,V30)
1.56/1.65 c deduced all_different(V33,V350,V458,V634,V1169,V31)
1.56/1.65 c deduced all_different(V11,V191,V194,V615,V35)
1.56/1.65 c deduced all_different(V38,V119,V766,V940,V1174,V37)
1.56/1.65 c deduced all_different(V170,V223,V328,V603,V1000,V39)
1.56/1.65 c deduced all_different(V68,V108,V158,V208,V41)
1.56/1.65 c deduced all_different(V21,V577,V802,V1005,V1510,V42)
1.56/1.65 c deduced all_different(V119,V651,V940,V1021,V43)
1.56/1.65 c deduced all_different(V71,V373,V390,V1123,V1478,V45)
1.56/1.65 c deduced all_different(V206,V298,V434,V910,V46)
1.56/1.65 c deduced all_different(V11,V24,V194,V445,V584,V47)
1.56/1.65 c deduced all_different(V428,V473,V562,V1117,V1181,V48)
1.56/1.65 c deduced all_different(V98,V354,V367,V434,V525,V49)
1.56/1.65 c deduced all_different(V91,V543,V621,V1034,V50)
1.56/1.65 c deduced all_different(V130,V297,V392,V823,V842,V53)
1.56/1.65 c deduced all_different(V82,V165,V277,V295,V687,V54)
1.56/1.65 c deduced all_different(V135,V418,V557,V909,V1286,V56)
1.56/1.65 c deduced all_different(V95,V463,V710,V833,V1067,V1357,V1463,V58)
1.56/1.65 c deduced all_different(V31,V103,V1169,V60)
1.56/1.65 c deduced all_different(V33,V110,V305,V479,V867,V1031,V1169,V62)
1.56/1.65 c deduced all_different(V210,V248,V845,V64)
1.56/1.65 c deduced all_different(V202,V471,V925,V67)
1.56/1.65 c deduced all_different(V247,V674,V1051,V69)
1.56/1.65 c deduced all_different(V148,V205,V409,V70)
1.56/1.65 c deduced all_different(V142,V337,V465,V476,V538,V1091,V74)
1.56/1.65 c deduced all_different(V12,V168,V501,V1090,V1316,V75)
1.56/1.65 c deduced all_different(V123,V207,V627,V1184,V1470,V76)
1.56/1.65 c deduced all_different(V95,V606,V720,V1067,V1159,V77)
1.56/1.65 c deduced all_different(V112,V172,V233,V506,V885,V78)
1.56/1.65 c deduced all_different(V44,V55,V93,V109,V80)
1.56/1.65 c deduced all_different(V29,V105,V253,V462,V685,V758,V1185,V81)
1.56/1.65 c deduced all_different(V124,V230,V261,V482,V713,V83)
1.56/1.65 c deduced all_different(V184,V286,V703,V746,V844,V973,V84)
1.56/1.65 c deduced all_different(V8,V93,V380,V793,V86)
1.56/1.65 c deduced all_different(V160,V269,V328,V511,V1085,V1501,V87)
1.56/1.65 c deduced all_different(V120,V223,V328,V363,V90)
1.56/1.65 c deduced all_different(V254,V431,V453,V1067,V92)
1.56/1.65 c deduced all_different(V25,V42,V1005,V1167,V94)
1.56/1.65 c deduced all_different(V60,V62,V479,V676,V1169,V96)
1.56/1.65 c deduced all_different(V101,V220,V222,V629,V1448,V99)
1.56/1.65 c deduced all_different(V190,V516,V559,V863,V1033,V100)
1.56/1.65 c deduced all_different(V40,V154,V288,V727,V788,V1434,V102)
1.56/1.65 c deduced all_different(V518,V670,V889,V1079,V104)
1.56/1.65 c deduced all_different(V22,V168,V501,V1090,V1316,V106)
1.56/1.65 c deduced all_different(V37,V296,V940,V972,V107)
1.56/1.65 c deduced all_different(V152,V385,V885,V111)
1.56/1.65 c deduced all_different(V249,V313,V815,V944,V1509,V113)
1.56/1.65 c deduced all_different(V41,V68,V236,V512,V1461,V115)
1.56/1.65 c deduced all_different(V190,V609,V1033,V1516,V116)
1.56/1.65 c deduced all_different(V134,V249,V1138,V1509,V117)
1.56/1.65 c deduced all_different(V231,V276,V378,V514,V846,V1114,V121)
1.56/1.65 c deduced all_different(V155,V279,V304,V454,V1478,V122)
1.56/1.65 c deduced all_different(V101,V220,V222,V472,V1075,V126)
1.56/1.65 c deduced all_different(V50,V285,V543,V1492,V127)
1.56/1.65 c deduced all_different(V21,V444,V624,V994,V1005,V1022,V128)
1.56/1.65 c deduced all_different(V4,V63,V1079,V1104,V1231,V129)
1.56/1.65 c deduced all_different(V49,V307,V354,V367,V434,V131)
1.56/1.65 c deduced all_different(V43,V618,V940,V132)
1.56/1.65 c deduced all_different(V381,V425,V553,V580,V684,V1326,V133)
1.56/1.65 c deduced all_different(V169,V228,V334,V943,V1396,V136)
1.56/1.65 c deduced all_different(V95,V463,V606,V833,V1067,V1463,V137)
1.56/1.65 c deduced all_different(V260,V278,V339,V498,V733,V138)
1.56/1.65 c deduced all_different(V73,V322,V828,V945,V139)
1.56/1.65 c deduced all_different(V16,V299,V540,V653,V666,V1153,V140)
1.56/1.65 c deduced all_different(V120,V223,V328,V363,V1263,V1321,V141)
1.56/1.65 c deduced all_different(V114,V271,V666,V782,V801,V1445,V143)
1.56/1.65 c deduced all_different(V54,V244,V277,V595,V762,V1254,V144)
1.56/1.65 c deduced all_different(V161,V369,V817,V1272,V146)
1.56/1.65 c deduced all_different(V312,V394,V514,V592,V846,V147)
1.56/1.65 c deduced all_different(V153,V154,V528,V718,V1050,V1165,V149)
1.56/1.65 c deduced all_different(V216,V331,V348,V844,V150)
1.56/1.65 c deduced all_different(V73,V192,V322,V772,V828,V151)
1.56/1.65 c deduced all_different(V278,V339,V383,V671,V157)
1.56/1.65 c deduced all_different(V58,V196,V1067,V1159,V1357,V159)
1.56/1.65 c deduced all_different(V33,V110,V305,V479,V1169,V162)
1.56/1.65 c deduced all_different(V13,V85,V667,V818,V914,V1097,V163)
1.56/1.65 c deduced all_different(V91,V211,V217,V421,V543,V673,V166)
1.56/1.65 c deduced all_different(V130,V340,V575,V823,V171)
1.56/1.65 c deduced all_different(V112,V172,V233,V506,V885,V1334,V173)
1.56/1.65 c deduced all_different(V24,V34,V181,V194,V255,V1475,V174)
1.56/1.65 c deduced all_different(V10,V19,V818,V929,V1011,V176)
1.56/1.65 c deduced all_different(V12,V52,V314,V853,V1090,V177)
1.56/1.65 c deduced all_different(V4,V79,V441,V1079,V1231,V178)
1.56/1.65 c deduced all_different(V209,V473,V483,V494,V840,V179)
1.56/1.65 c deduced all_different(V242,V310,V675,V1051,V180)
1.56/1.65 c deduced all_different(V78,V172,V233,V459,V885,V182)
1.56/1.65 c deduced all_different(V231,V276,V402,V514,V873,V900,V183)
1.56/1.65 c deduced all_different(V140,V299,V540,V653,V666,V1153,V185)
1.56/1.65 c deduced all_different(V187,V431,V523,V1067,V186)
1.56/1.65 c deduced all_different(V381,V550,V684,V1327,V1355,V188)
1.56/1.65 c deduced all_different(V82,V277,V368,V396,V1053,V1240,V189)
1.56/1.65 c deduced all_different(V6,V51,V319,V375,V730,V1040,V1119,V193)
1.56/1.65 c deduced all_different(V190,V443,V609,V897,V1033,V195)
1.56/1.65 c deduced all_different(V15,V476,V538,V669,V197)
1.56/1.65 c deduced all_different(V99,V222,V426,V639,V1282,V1301,V198)
1.56/1.65 c deduced all_different(V51,V88,V399,V730,V1040,V199)
1.56/1.65 c deduced all_different(V41,V108,V158,V200)
1.56/1.65 c deduced all_different(V123,V488,V683,V1157,V1470,V201)
1.56/1.65 c deduced all_different(V31,V612,V877,V1169,V204)
1.56/1.65 c deduced all_different(V41,V158,V200,V1315,V212)
1.56/1.65 c deduced all_different(V65,V703,V844,V1295,V214)
1.56/1.65 c deduced all_different(V63,V79,V1079,V1144,V1154,V215)
1.56/1.65 c deduced all_different(V30,V175,V390,V645,V1412,V1478,V218)
1.56/1.65 c deduced all_different(V100,V272,V1033,V1332,V221)
1.56/1.65 c deduced all_different(V14,V322,V386,V828,V224)
1.56/1.65 c deduced all_different(V136,V228,V235,V334,V1396,V226)
1.56/1.65 c deduced all_different(V12,V52,V767,V1090,V227)
1.56/1.65 c deduced all_different(V7,V235,V250,V287,V1396,V229)
1.56/1.65 c deduced all_different(V81,V462,V685,V758,V1185,V1502,V232)
1.56/1.65 c deduced all_different(V33,V162,V305,V521,V1169,V234)
1.56/1.65 c deduced all_different(V64,V329,V409,V237)
1.56/1.65 c deduced all_different(V166,V211,V217,V543,V673,V1006,V238)
1.56/1.65 c deduced all_different(V116,V272,V590,V672,V744,V1033,V239)
1.56/1.65 c deduced all_different(V106,V314,V642,V971,V1090,V240)
1.56/1.65 c deduced all_different(V6,V88,V1040,V241)
1.56/1.65 c deduced all_different(V261,V280,V482,V510,V573,V821,V243)
1.56/1.65 c deduced all_different(V46,V298,V434,V245)
1.56/1.65 c deduced all_different(V11,V34,V194,V437,V445,V246)
1.56/1.65 c deduced all_different(V213,V464,V925,V950,V1402,V251)
1.56/1.65 c deduced all_different(V154,V484,V489,V963,V252)
1.56/1.65 c deduced all_different(V121,V378,V448,V486,V514,V1114,V256)
1.56/1.65 c deduced all_different(V41,V68,V208,V825,V257)
1.56/1.65 c deduced all_different(V61,V398,V530,V828,V995,V1335,V258)
1.56/1.65 c deduced all_different(V67,V467,V471,V925,V259)
1.56/1.65 c deduced all_different(V129,V178,V215,V754,V1079,V1129,V262)
1.56/1.66 c deduced all_different(V9,V222,V571,V585,V701,V263)
1.56/1.66 c deduced all_different(V25,V32,V802,V1005,V264)
1.56/1.66 c deduced all_different(V105,V462,V594,V685,V1323,V265)
1.56/1.66 c deduced all_different(V31,V290,V676,V1169,V266)
1.56/1.66 c deduced all_different(V88,V199,V241,V721,V1040,V1303,V267)
1.56/1.66 c deduced all_different(V70,V148,V409,V886,V268)
1.56/1.66 c deduced all_different(V155,V218,V517,V611,V1478,V270)
1.56/1.66 c deduced all_different(V94,V128,V156,V1005,V274)
1.56/1.66 c deduced all_different(V10,V85,V818,V929,V1063,V275)
1.56/1.66 c deduced all_different(V17,V89,V415,V1509,V281)
1.56/1.66 c deduced all_different(V12,V75,V501,V1090,V1316,V282)
1.56/1.66 c deduced all_different(V11,V47,V194,V499,V584,V729,V283)
1.56/1.66 c deduced all_different(V33,V62,V305,V479,V856,V1068,V1169,V284)
1.56/1.66 c deduced all_different(V30,V373,V517,V537,V1412,V1478,V289)
1.56/1.66 c deduced all_different(V180,V310,V371,V1051,V292)
1.56/1.66 c deduced all_different(V56,V418,V457,V503,V293)
1.56/1.66 c deduced all_different(V148,V210,V268,V409,V294)
1.56/1.66 c deduced all_different(V53,V297,V392,V823,V842,V864,V300)
1.56/1.66 c deduced all_different(V44,V80,V93,V109,V301)
1.56/1.66 c deduced all_different(V61,V398,V530,V828,V1064,V302)
1.56/1.66 c deduced all_different(V54,V82,V165,V277,V552,V1254,V303)
1.56/1.66 c deduced all_different(V291,V369,V589,V643,V306)
1.56/1.66 c deduced all_different(V123,V504,V896,V1470,V308)
1.56/1.66 c deduced all_different(V41,V115,V372,V1223,V1315,V309)
1.56/1.66 c deduced all_different(V118,V323,V418,V481,V549,V311)
1.56/1.66 c deduced all_different(V83,V261,V482,V558,V573,V713,V315)
1.56/1.66 c deduced all_different(V418,V432,V457,V649,V959,V1207,V316)
1.56/1.66 c deduced all_different(V16,V140,V653,V666,V1153,V317)
1.56/1.66 c deduced all_different(V6,V51,V319,V375,V1040,V318)
1.56/1.66 c deduced all_different(V337,V465,V476,V538,V795,V320)
1.56/1.66 c deduced all_different(V12,V52,V168,V1090,V1316,V321)
1.56/1.66 c deduced all_different(V54,V144,V277,V595,V1254,V324)
1.56/1.66 c deduced all_different(V111,V405,V560,V885,V325)
1.56/1.66 c deduced all_different(V55,V93,V379,V380,V983,V327)
1.56/1.66 c deduced all_different(V114,V167,V666,V735,V330)
1.56/1.66 c deduced all_different(V136,V169,V287,V446,V449,V1396,V332)
1.56/1.66 c deduced all_different(V130,V297,V822,V823,V1209,V1468,V335)
1.56/1.66 c deduced all_different(V91,V211,V217,V543,V1192,V336)
1.56/1.66 c deduced all_different(V112,V173,V885,V338)
1.56/1.66 c deduced all_different(V11,V34,V191,V194,V497,V615,V341)
1.56/1.66 c deduced all_different(V144,V277,V324,V595,V1254,V342)
1.56/1.66 c deduced all_different(V172,V459,V839,V885,V343)
1.56/1.66 c deduced all_different(V201,V488,V660,V1470,V344)
1.56/1.66 c deduced all_different(V166,V217,V238,V543,V1274,V345)
1.56/1.66 c deduced all_different(V0,V331,V567,V844,V920,V346)
1.56/1.66 c deduced all_different(V23,V385,V885,V1210,V347)
1.56/1.66 c deduced all_different(V4,V79,V889,V1079,V1231,V349)
1.56/1.66 c deduced all_different(V210,V248,V1195,V351)
1.56/1.66 c deduced all_different(V214,V844,V890,V920,V1035,V352)
1.56/1.66 c deduced all_different(V52,V168,V321,V1090,V1316,V353)
1.56/1.66 c deduced all_different(V207,V504,V679,V1470,V355)
1.56/1.66 c deduced all_different(V64,V248,V845,V356)
1.56/1.66 c deduced all_different(V100,V221,V419,V461,V863,V1033,V357)
1.56/1.66 c deduced all_different(V46,V298,V434,V1148,V358)
1.56/1.66 c deduced all_different(V36,V142,V465,V476,V538,V669,V795,V1091,V359)
1.56/1.66 c deduced all_different(V473,V483,V712,V747,V360)
1.56/1.66 c deduced all_different(V49,V98,V434,V998,V1059,V361)
1.56/1.66 c deduced all_different(V10,V176,V275,V818,V362)
1.56/1.66 c deduced all_different(V124,V230,V261,V659,V1132,V364)
1.56/1.66 c deduced all_different(V3,V154,V382,V892,V365)
1.56/1.66 c deduced all_different(V12,V177,V971,V1090,V366)
1.56/1.66 c deduced all_different(V195,V419,V485,V535,V1033,V370)
1.56/1.66 c deduced all_different(V195,V272,V590,V897,V1033,V1255,V376)
1.56/1.66 c deduced all_different(V6,V51,V193,V375,V1040,V377)
1.56/1.66 c deduced all_different(V4,V79,V441,V1079,V1144,V1265,V384)
1.56/1.66 c deduced all_different(V119,V442,V940,V1021,V1113,V1441,V387)
1.56/1.66 c deduced all_different(V137,V159,V961,V1067,V1101,V388)
1.56/1.66 c deduced all_different(V101,V220,V222,V541,V389)
1.56/1.66 c deduced all_different(V25,V32,V935,V1005,V391)
1.56/1.66 c deduced all_different(V9,V222,V571,V585,V1410,V393)
1.56/1.66 c deduced all_different(V207,V504,V605,V1470,V395)
1.56/1.66 c deduced all_different(V50,V127,V543,V1034,V1180,V397)
1.56/1.66 c deduced all_different(V26,V61,V73,V828,V1141,V400)
1.56/1.66 c deduced all_different(V308,V504,V851,V896,V1470,V401)
1.56/1.66 c deduced all_different(V0,V65,V184,V703,V844,V403)
1.56/1.66 c deduced all_different(V82,V165,V277,V295,V786,V404)
1.56/1.66 c deduced all_different(V260,V278,V440,V884,V406)
1.56/1.66 c deduced all_different(V136,V169,V332,V1396,V407)
1.56/1.66 c deduced all_different(V141,V223,V328,V363,V520,V408)
1.56/1.66 c deduced all_different(V64,V210,V409,V410)
1.56/1.66 c deduced all_different(V38,V940,V1174,V411)
1.56/1.66 c deduced all_different(V99,V101,V222,V639,V989,V1407,V413)
1.56/1.66 c deduced all_different(V53,V297,V536,V680,V823,V1468,V414)
1.56/1.66 c deduced all_different(V71,V175,V333,V1478,V416)
1.56/1.66 c deduced all_different(V16,V167,V299,V666,V1161,V417)
1.56/1.66 c deduced all_different(V0,V184,V703,V844,V420)
1.56/1.66 c deduced all_different(V256,V378,V514,V592,V422)
1.56/1.66 c deduced all_different(V157,V278,V383,V496,V423)
1.56/1.66 c deduced all_different(V127,V166,V211,V421,V543,V1273,V424)
1.56/1.66 c deduced all_different(V121,V312,V378,V514,V630,V427)
1.56/1.66 c deduced all_different(V77,V187,V490,V1067,V429)
1.56/1.66 c deduced all_different(V19,V59,V85,V667,V818,V430)
1.56/1.66 c deduced all_different(V202,V471,V925,V433)
1.56/1.66 c deduced all_different(V138,V278,V339,V498,V435)
1.56/1.66 c deduced all_different(V7,V235,V250,V1396,V1460,V436)
1.56/1.66 c deduced all_different(V166,V211,V543,V1274,V438)
1.56/1.66 c deduced all_different(V231,V276,V514,V846,V1114,V447)
1.56/1.66 c deduced all_different(V138,V260,V278,V440,V450)
1.56/1.66 c deduced all_different(V113,V415,V614,V1015,V1509,V451)
1.56/1.66 c deduced all_different(V1,V203,V1051,V1131,V452)
1.56/1.66 c deduced all_different(V82,V165,V277,V295,V786,V455)
1.56/1.66 c deduced all_different(V306,V369,V460,V661,V1047,V456)
1.56/1.66 c deduced all_different(V27,V134,V1029,V1199,V1509,V466)
1.56/1.66 c deduced all_different(V44,V93,V301,V468)
1.56/1.66 c deduced all_different(V6,V145,V399,V985,V1040,V469)
1.56/1.66 c deduced all_different(V179,V473,V507,V562,V1177,V474)
1.56/1.66 c deduced all_different(V88,V399,V527,V730,V1040,V1119,V475)
1.56/1.66 c deduced all_different(V12,V75,V501,V1090,V1316,V477)
1.56/1.66 c deduced all_different(V64,V237,V329,V478)
1.56/1.66 c deduced all_different(V54,V82,V277,V303,V762,V1254,V480)
1.56/1.66 c deduced all_different(V16,V167,V572,V666,V735,V1161,V487)
1.56/1.66 c deduced all_different(V7,V250,V436,V1046,V1396,V1460,V491)
1.56/1.66 c deduced all_different(V161,V291,V369,V860,V1297,V492)
1.56/1.66 c deduced all_different(V69,V371,V1051,V1096,V1125,V493)
1.56/1.66 c deduced all_different(V278,V339,V383,V671,V908,V495)
1.56/1.66 c deduced all_different(V180,V242,V675,V1051,V500)
1.56/1.66 c deduced all_different(V70,V148,V268,V886,V1217,V502)
1.56/1.66 c deduced all_different(V242,V247,V509,V1051,V505)
1.56/1.66 c deduced all_different(V49,V131,V307,V367,V434,V556,V508)
1.56/1.66 c deduced all_different(V243,V261,V482,V510,V573,V1038,V513)
1.56/1.66 c deduced all_different(V8,V55,V93,V379,V380,V515)
1.56/1.66 c deduced all_different(V16,V299,V417,V653,V666,V519)
1.56/1.66 c deduced all_different(V131,V298,V307,V434,V910,V522)
1.56/1.66 c deduced all_different(V99,V198,V222,V585,V701,V1301,V524)
1.56/1.66 c deduced all_different(V149,V154,V365,V1187,V1370,V526)
1.56/1.66 c deduced all_different(V0,V331,V567,V844,V529)
1.56/1.66 c deduced all_different(V16,V317,V666,V1153,V531)
1.56/1.66 c deduced all_different(V12,V52,V314,V749,V1090,V532)
1.56/1.66 c deduced all_different(V78,V182,V459,V885,V533)
1.56/1.66 c deduced all_different(V278,V339,V495,V654,V534)
1.56/1.66 c deduced all_different(V34,V174,V194,V255,V497,V539)
1.56/1.66 c deduced all_different(V23,V385,V885,V1334,V542)
1.56/1.66 c deduced all_different(V48,V473,V494,V689,V717,V1268,V544)
1.56/1.66 c deduced all_different(V20,V467,V838,V925,V951,V545)
1.56/1.66 c deduced all_different(V25,V264,V802,V1005,V546)
1.56/1.66 c deduced all_different(V124,V230,V261,V713,V547)
1.56/1.66 c deduced all_different(V6,V51,V88,V319,V399,V1040,V1119,V548)
1.56/1.66 c deduced all_different(V30,V289,V373,V517,V1412,V1478,V551)
1.56/1.66 c deduced all_different(V41,V200,V309,V372,V939,V554)
1.56/1.66 c deduced all_different(V45,V71,V611,V1478,V555)
1.56/1.66 c deduced all_different(V76,V207,V605,V1070,V1184,V1470,V561)
1.56/1.66 c deduced all_different(V23,V385,V885,V563)
1.56/1.66 c deduced all_different(V53,V297,V300,V823,V842,V1504,V564)
1.56/1.66 c deduced all_different(V29,V253,V623,V685,V883,V565)
1.56/1.66 c deduced all_different(V133,V381,V425,V580,V684,V1326,V566)
1.56/1.66 c deduced all_different(V15,V476,V669,V898,V932,V568)
1.56/1.66 c deduced all_different(V112,V233,V325,V506,V885,V569)
1.56/1.66 c deduced all_different(V58,V490,V726,V893,V1067,V570)
1.56/1.66 c deduced all_different(V124,V230,V261,V482,V659,V713,V574)
1.56/1.66 c deduced all_different(V138,V278,V383,V827,V578)
1.56/1.66 c deduced all_different(V179,V473,V474,V837,V579)
1.56/1.66 c deduced all_different(V28,V118,V418,V457,V633,V581)
1.56/1.66 c deduced all_different(V63,V129,V215,V670,V1079,V1144,V582)
1.56/1.66 c deduced all_different(V8,V44,V93,V723,V760,V1413,V583)
1.56/1.66 c deduced all_different(V58,V196,V1067,V586)
1.56/1.66 c deduced all_different(V10,V19,V85,V632,V818,V587)
1.56/1.66 c deduced all_different(V83,V124,V261,V558,V948,V1147,V588)
1.56/1.66 c deduced all_different(V100,V221,V419,V461,V1033,V591)
1.56/1.66 c deduced all_different(V10,V19,V818,V926,V929,V593)
1.56/1.66 c deduced all_different(V46,V245,V434,V1351,V596)
1.56/1.66 c deduced all_different(V11,V24,V47,V194,V584,V1017,V597)
1.56/1.66 c deduced all_different(V100,V485,V591,V1033,V598)
1.56/1.66 c deduced all_different(V21,V42,V880,V981,V1005,V1092,V1376,V599)
1.56/1.66 c deduced all_different(V121,V231,V448,V514,V846,V600)
1.56/1.66 c deduced all_different(V132,V651,V940,V1330,V601)
1.56/1.66 c deduced all_different(V47,V194,V246,V255,V445,V499,V1259,V602)
1.56/1.66 c deduced all_different(V54,V244,V277,V295,V753,V1486,V604)
1.56/1.66 c deduced all_different(V46,V354,V358,V434,V525,V607)
1.56/1.66 c deduced all_different(V14,V224,V322,V530,V828,V608)
1.56/1.66 c deduced all_different(V55,V93,V379,V380,V515,V610)
1.56/1.66 c deduced all_different(V262,V888,V1079,V613)
1.56/1.66 c deduced all_different(V50,V127,V543,V1034,V616)
1.56/1.66 c deduced all_different(V70,V148,V205,V1217,V617)
1.56/1.66 c deduced all_different(V53,V130,V297,V575,V823,V1491,V619)
1.56/1.66 c deduced all_different(V51,V88,V399,V548,V1040,V1119,V620)
1.56/1.66 c deduced all_different(V114,V167,V572,V666,V735,V622)
1.56/1.66 c deduced all_different(V34,V191,V194,V615,V1203,V625)
1.56/1.66 c deduced all_different(V11,V24,V194,V437,V584,V626)
1.56/1.66 c deduced all_different(V63,V164,V670,V1079,V628)
1.56/1.66 c deduced all_different(V77,V95,V710,V1067,V631)
1.56/1.66 c deduced all_different(V90,V223,V328,V777,V635)
1.56/1.66 c deduced all_different(V230,V261,V364,V659,V1132,V636)
1.56/1.66 c deduced all_different(V28,V118,V323,V418,V481,V1229,V1286,V637)
1.56/1.66 c deduced all_different(V308,V355,V851,V896,V1470,V638)
1.56/1.66 c deduced all_different(V152,V172,V173,V182,V885,V640)
1.56/1.66 c deduced all_different(V63,V79,V1079,V1231,V641)
1.56/1.66 c deduced all_different(V223,V328,V408,V520,V644)
1.56/1.66 c deduced all_different(V164,V582,V954,V1079,V1129,V646)
1.56/1.66 c deduced all_different(V36,V359,V465,V476,V669,V795,V1091,V647)
1.56/1.66 c deduced all_different(V369,V456,V460,V686,V1047,V1179,V650)
1.56/1.66 c deduced all_different(V81,V105,V685,V758,V1185,V1307,V652)
1.56/1.66 c deduced all_different(V41,V68,V108,V208,V922,V655)
1.56/1.66 c deduced all_different(V5,V89,V614,V1509,V656)
1.56/1.66 c deduced all_different(V1,V310,V1051,V657)
1.56/1.66 c deduced all_different(V51,V145,V399,V1040,V658)
1.56/1.66 c deduced all_different(V22,V106,V501,V642,V1090,V662)
1.56/1.66 c deduced all_different(V47,V194,V246,V255,V445,V602,V1259,V663)
1.56/1.66 c deduced all_different(V261,V280,V482,V510,V573,V821,V664)
1.56/1.66 c deduced all_different(V24,V174,V194,V497,V916,V1017,V665)
1.56/1.66 c deduced all_different(V100,V221,V461,V535,V863,V1033,V668)
1.56/1.66 c deduced all_different(V29,V72,V623,V685,V883,V1185,V677)
1.56/1.66 c deduced all_different(V60,V103,V1169,V678)
1.56/1.66 c deduced all_different(V2,V29,V72,V253,V685,V1185,V681)
1.56/1.66 c deduced all_different(V60,V62,V96,V1169,V682)
1.56/1.66 c deduced all_different(V111,V405,V885,V1115,V1514,V688)
1.56/1.66 c deduced all_different(V21,V32,V880,V981,V1005,V690)
1.56/1.66 c deduced all_different(V54,V82,V277,V480,V1053,V691)
1.56/1.66 c deduced all_different(V41,V108,V158,V692)
1.56/1.66 c deduced all_different(V15,V142,V337,V476,V538,V1235,V693)
1.56/1.66 c deduced all_different(V130,V171,V340,V823,V694)
1.56/1.66 c deduced all_different(V4,V129,V1079,V1144,V1456,V695)
1.56/1.66 c deduced all_different(V195,V370,V485,V535,V1033,V696)
1.56/1.66 c deduced all_different(V15,V36,V142,V337,V476,V697)
1.56/1.66 c deduced all_different(V16,V114,V299,V666,V1153,V698)
1.56/1.66 c deduced all_different(V267,V375,V527,V721,V1040,V1269,V700)
1.56/1.66 c deduced all_different(V90,V328,V363,V777,V1082,V702)
1.56/1.66 c deduced all_different(V10,V275,V362,V818,V1004,V1443,V704)
1.56/1.66 c deduced all_different(V49,V131,V354,V434,V705)
1.56/1.66 c deduced all_different(V67,V202,V545,V719,V925,V706)
1.56/1.66 c deduced all_different(V291,V369,V589,V707)
1.56/1.66 c deduced all_different(V157,V278,V383,V440,V1208,V708)
1.56/1.66 c deduced all_different(V64,V248,V886,V1324,V709)
1.56/1.66 c deduced all_different(V18,V291,V369,V1182,V1239,V711)
1.56/1.66 c deduced all_different(V3,V154,V288,V716,V788,V715)
1.56/1.66 c deduced all_different(V70,V148,V409,V722)
1.56/1.66 c deduced all_different(V79,V178,V441,V641,V1079,V1231,V724)
1.56/1.66 c deduced all_different(V74,V142,V465,V476,V538,V1091,V725)
1.56/1.66 c deduced all_different(V28,V323,V418,V481,V549,V1066,V728)
1.56/1.66 c deduced all_different(V0,V184,V331,V844,V973,V731)
1.56/1.66 c deduced all_different(V64,V210,V410,V732)
1.56/1.66 c deduced all_different(V18,V369,V711,V1182,V734)
1.56/1.66 c deduced all_different(V202,V433,V719,V925,V736)
1.56/1.66 c deduced all_different(V118,V135,V418,V1227,V1286,V737)
1.56/1.66 c deduced all_different(V74,V142,V476,V725,V739)
1.56/1.66 c deduced all_different(V8,V86,V93,V996,V1413,V740)
1.56/1.66 c deduced all_different(V70,V148,V722,V1217,V741)
1.56/1.66 c deduced all_different(V145,V375,V399,V527,V1040,V742)
1.56/1.66 c deduced all_different(V136,V228,V334,V808,V1396,V743)
1.56/1.66 c deduced all_different(V127,V397,V421,V543,V745)
1.56/1.66 c deduced all_different(V32,V156,V219,V1005,V1022,V748)
1.56/1.66 c deduced all_different(V7,V287,V439,V1046,V1396,V750)
1.56/1.66 c deduced all_different(V116,V272,V1033,V751)
1.56/1.66 c deduced all_different(V127,V166,V424,V543,V1273,V752)
1.56/1.66 c deduced all_different(V211,V238,V336,V543,V1274,V755)
1.56/1.66 c deduced all_different(V69,V247,V1051,V1146,V756)
1.56/1.66 c deduced all_different(V48,V428,V473,V855,V1117,V1247,V757)
1.56/1.66 c deduced all_different(V179,V209,V473,V483,V562,V931,V759)
1.56/1.66 c deduced all_different(V147,V402,V514,V873,V1145,V1281,V761)
1.56/1.66 c deduced all_different(V145,V469,V742,V985,V1040,V1303,V1305,V1438,V763)
1.56/1.66 c deduced all_different(V41,V68,V108,V655,V922,V764)
1.56/1.66 c deduced all_different(V121,V256,V378,V514,V592,V765)
1.56/1.66 c deduced all_different(V30,V390,V454,V551,V645,V1478,V768)
1.56/1.66 c deduced all_different(V102,V154,V288,V716,V769)
1.56/1.66 c deduced all_different(V15,V337,V476,V697,V770)
1.56/1.66 c deduced all_different(V123,V207,V1070,V1184,V1470,V771)
1.56/1.66 c deduced all_different(V2,V72,V681,V685,V1185,V773)
1.56/1.66 c deduced all_different(V157,V278,V383,V423,V1208,V774)
1.56/1.66 c deduced all_different(V140,V185,V540,V653,V666,V775)
1.56/1.66 c deduced all_different(V30,V218,V517,V537,V645,V1008,V1412,V1478,V776)
1.56/1.66 c deduced all_different(V2,V29,V623,V685,V778)
1.56/1.66 c deduced all_different(V124,V261,V280,V574,V1023,V779)
1.56/1.66 c deduced all_different(V133,V425,V580,V684,V891,V1327,V1355,V780)
1.56/1.66 c deduced all_different(V46,V245,V434,V1351,V781)
1.56/1.66 c deduced all_different(V82,V165,V277,V552,V786,V1053,V783)
1.56/1.66 c deduced all_different(V26,V73,V97,V322,V828,V784)
1.56/1.66 c deduced all_different(V83,V261,V280,V558,V573,V785)
1.56/1.66 c deduced all_different(V32,V219,V391,V1005,V787)
1.56/1.66 c deduced all_different(V550,V566,V684,V1327,V789)
1.56/1.66 c deduced all_different(V39,V170,V328,V777,V1000,V1194,V790)
1.56/1.66 c deduced all_different(V20,V326,V471,V925,V1400,V791)
1.56/1.66 c deduced all_different(V48,V473,V494,V507,V717,V1181,V1268,V792)
1.56/1.66 c deduced all_different(V54,V277,V295,V604,V794)
1.56/1.66 c deduced all_different(V49,V131,V354,V367,V434,V796)
1.56/1.66 c deduced all_different(V145,V375,V527,V721,V1040,V797)
1.56/1.66 c deduced all_different(V123,V488,V683,V771,V1470,V798)
1.56/1.66 c deduced all_different(V3,V154,V365,V528,V799)
1.56/1.66 c deduced all_different(V168,V273,V314,V969,V1090,V803)
1.56/1.66 c deduced all_different(V133,V381,V425,V566,V684,V1326,V804)
1.56/1.66 c deduced all_different(V130,V335,V694,V823,V805)
1.56/1.66 c deduced all_different(V272,V559,V1033,V1332,V806)
1.56/1.66 c deduced all_different(V37,V38,V296,V940,V1174,V807)
1.56/1.66 c deduced all_different(V251,V433,V471,V925,V951,V809)
1.56/1.66 c deduced all_different(V50,V543,V616,V970,V810)
1.56/1.66 c deduced all_different(V78,V112,V172,V506,V885,V1226,V811)
1.56/1.66 c deduced all_different(V52,V168,V321,V1090,V812)
1.56/1.66 c deduced all_different(V114,V143,V666,V735,V782,V801,V1445,V813)
1.56/1.66 c deduced all_different(V30,V289,V517,V537,V1008,V1478,V814)
1.56/1.66 c deduced all_different(V99,V222,V393,V413,V524,V816)
1.56/1.66 c deduced all_different(V107,V296,V930,V940,V1158,V819)
1.56/1.66 c deduced all_different(V1,V225,V1051,V1076,V820)
1.56/1.66 c deduced all_different(V74,V197,V476,V1026,V1455,V826)
1.56/1.66 c deduced all_different(V7,V169,V1396,V829)
1.56/1.66 c deduced all_different(V49,V358,V361,V434,V830)
1.56/1.66 c deduced all_different(V161,V291,V369,V860,V1309,V831)
1.56/1.66 c deduced all_different(V311,V418,V481,V549,V557,V649,V1066,V832)
1.56/1.66 c deduced all_different(V133,V425,V566,V684,V1326,V835)
1.56/1.66 c deduced all_different(V360,V473,V712,V717,V747,V836)
1.56/1.66 c deduced all_different(V243,V261,V482,V510,V513,V841)
1.56/1.66 c deduced all_different(V1,V203,V675,V1051,V843)
1.56/1.66 c deduced all_different(V87,V160,V328,V511,V902,V848)
1.56/1.66 c deduced all_different(V76,V627,V1041,V1470,V849)
1.56/1.67 c deduced all_different(V189,V277,V324,V396,V1414,V1486,V850)
1.56/1.67 c deduced all_different(V20,V326,V648,V791,V925,V950,V852)
1.56/1.67 c deduced all_different(V86,V93,V301,V1338,V854)
1.56/1.67 c deduced all_different(V69,V247,V1051,V857)
1.56/1.67 c deduced all_different(V27,V281,V415,V800,V1509,V858)
1.56/1.67 c deduced all_different(V6,V319,V375,V399,V1040,V1119,V1451,V859)
1.56/1.67 c deduced all_different(V28,V418,V549,V728,V1066,V861)
1.56/1.67 c deduced all_different(V80,V86,V93,V109,V793,V862)
1.56/1.67 c deduced all_different(V70,V205,V617,V1217,V865)
1.56/1.67 c deduced all_different(V53,V414,V536,V823,V872,V866)
1.56/1.67 c deduced all_different(V48,V473,V494,V544,V757,V868)
1.56/1.67 c deduced all_different(V300,V694,V823,V872,V1001,V1381,V869)
1.56/1.67 c deduced all_different(V41,V108,V200,V1019,V1446,V870)
1.56/1.67 c deduced all_different(V38,V296,V930,V940,V1174,V871)
1.56/1.67 c deduced all_different(V126,V220,V222,V472,V1075,V1343,V874)
1.56/1.67 c deduced all_different(V111,V152,V885,V875)
1.56/1.67 c deduced all_different(V69,V310,V675,V1051,V1146,V876)
1.56/1.67 c deduced all_different(V2,V29,V253,V685,V882,V878)
1.56/1.67 c deduced all_different(V48,V473,V507,V689,V879)
1.56/1.67 c deduced all_different(V209,V473,V483,V562,V928,V931,V881)
1.56/1.67 c deduced all_different(V135,V418,V557,V909,V1286,V887)
1.56/1.67 c deduced all_different(V187,V429,V586,V1067,V894)
1.56/1.67 c deduced all_different(V28,V118,V418,V457,V581,V895)
1.56/1.67 c deduced all_different(V0,V65,V331,V844,V1354,V899)
1.56/1.67 c deduced all_different(V64,V237,V478,V732,V901)
1.56/1.67 c deduced all_different(V46,V245,V434,V1351,V903)
1.56/1.67 c deduced all_different(V188,V381,V684,V804,V904)
1.56/1.67 c deduced all_different(V360,V473,V483,V757,V1247,V905)
1.56/1.67 c deduced all_different(V148,V205,V709,V1217,V906)
1.56/1.67 c deduced all_different(V133,V425,V553,V684,V1326,V907)
1.56/1.67 c deduced all_different(V94,V128,V274,V714,V1005,V911)
1.56/1.67 c deduced all_different(V36,V142,V359,V465,V476,V538,V669,V1091,V912)
1.56/1.67 c deduced all_different(V61,V398,V530,V828,V1064,V913)
1.56/1.67 c deduced all_different(V114,V143,V271,V666,V782,V1002,V1445,V915)
1.56/1.67 c deduced all_different(V70,V148,V741,V886,V1217,V917)
1.56/1.67 c deduced all_different(V61,V73,V828,V1335,V918)
1.56/1.67 c deduced all_different(V73,V97,V192,V772,V828,V919)
1.56/1.67 c deduced all_different(V125,V155,V1008,V1478,V921)
1.56/1.67 c deduced all_different(V20,V326,V838,V852,V925,V923)
1.56/1.67 c deduced all_different(V133,V381,V566,V580,V684,V924)
1.56/1.67 c deduced all_different(V14,V386,V828,V1236,V927)
1.56/1.67 c deduced all_different(V38,V766,V940,V1174,V933)
1.56/1.67 c deduced all_different(V39,V170,V223,V328,V1000,V934)
1.56/1.67 c deduced all_different(V221,V272,V376,V1033,V1279,V1332,V936)
1.56/1.67 c deduced all_different(V76,V123,V207,V679,V1470,V937)
1.56/1.67 c deduced all_different(V135,V418,V737,V1286,V938)
1.56/1.67 c deduced all_different(V41,V115,V236,V1366,V941)
1.56/1.67 c deduced all_different(V140,V299,V540,V653,V666,V1153,V942)
1.56/1.67 c deduced all_different(V206,V298,V434,V1215,V946)
1.56/1.67 c deduced all_different(V87,V160,V328,V511,V902,V947)
1.56/1.67 c deduced all_different(V228,V235,V250,V1396,V949)
1.56/1.67 c deduced all_different(V45,V155,V279,V1478,V952)
1.56/1.67 c deduced all_different(V84,V216,V331,V346,V567,V844,V920,V953)
1.56/1.67 c deduced all_different(V3,V40,V154,V484,V1178,V955)
1.56/1.67 c deduced all_different(V33,V62,V479,V676,V1169,V956)
1.56/1.67 c deduced all_different(V174,V194,V341,V615,V1126,V957)
1.56/1.67 c deduced all_different(V202,V706,V852,V923,V925,V958)
1.56/1.67 c deduced all_different(V229,V250,V287,V446,V1396,V1418,V960)
1.56/1.67 c deduced all_different(V91,V211,V217,V421,V543,V673,V962)
1.56/1.67 c deduced all_different(V37,V296,V940,V1174,V964)
1.56/1.67 c deduced all_different(V2,V105,V253,V462,V685,V1185,V965)
1.56/1.67 c deduced all_different(V50,V285,V543,V621,V966)
1.56/1.67 c deduced all_different(V14,V224,V322,V608,V828,V967)
1.56/1.67 c deduced all_different(V67,V259,V471,V925,V968)
1.56/1.67 c deduced all_different(V300,V340,V392,V823,V842,V1504,V974)
1.56/1.67 c deduced all_different(V124,V230,V261,V713,V975)
1.56/1.67 c deduced all_different(V12,V52,V168,V501,V1090,V1316,V976)
1.56/1.67 c deduced all_different(V168,V353,V1090,V1122,V1346,V977)
1.56/1.67 c deduced all_different(V91,V166,V421,V543,V673,V1034,V1273,V978)
1.56/1.67 c deduced all_different(V13,V57,V667,V818,V1097,V979)
1.56/1.67 c deduced all_different(V120,V141,V328,V1134,V1310,V980)
1.56/1.67 c deduced all_different(V8,V55,V93,V379,V793,V982)
1.56/1.67 c deduced all_different(V114,V143,V666,V735,V782,V813,V984)
1.56/1.67 c deduced all_different(V130,V575,V823,V1056,V1205,V986)
1.56/1.67 c deduced all_different(V7,V169,V287,V1396,V987)
1.56/1.67 c deduced all_different(V83,V261,V482,V573,V713,V988)
1.56/1.67 c deduced all_different(V74,V142,V359,V465,V476,V912,V990)
1.56/1.67 c deduced all_different(V2,V29,V105,V253,V623,V685,V1185,V991)
1.56/1.67 c deduced all_different(V52,V168,V273,V314,V1090,V992)
1.56/1.67 c deduced all_different(V7,V235,V250,V1058,V1396,V993)
1.56/1.67 c deduced all_different(V90,V223,V328,V777,V1000,V997)
1.56/1.67 c deduced all_different(V1,V657,V1051,V999)
1.56/1.67 c deduced all_different(V133,V553,V580,V684,V1326,V1003)
1.56/1.67 c deduced all_different(V58,V95,V833,V1067,V1007)
1.56/1.67 c deduced all_different(V5,V134,V1015,V1285,V1509,V1009)
1.56/1.67 c deduced all_different(V188,V553,V580,V684,V1319,V1326,V1010)
1.56/1.67 c deduced all_different(V130,V297,V392,V823,V842,V1012)
1.56/1.67 c deduced all_different(V71,V333,V373,V390,V1478,V1013)
1.56/1.67 c deduced all_different(V72,V623,V685,V1185,V1307,V1502,V1014)
1.56/1.67 c deduced all_different(V46,V354,V434,V525,V607,V1016)
1.56/1.67 c deduced all_different(V136,V169,V228,V334,V1396,V1018)
1.56/1.67 c deduced all_different(V41,V68,V115,V512,V1315,V1020)
1.56/1.67 c deduced all_different(V40,V154,V528,V727,V1165,V1024)
1.56/1.67 c deduced all_different(V33,V234,V521,V1169,V1025)
1.56/1.67 c deduced all_different(V225,V247,V756,V1051,V1027)
1.56/1.67 c deduced all_different(V30,V125,V390,V1099,V1478,V1030)
1.56/1.67 c deduced all_different(V41,V108,V200,V655,V922,V1032)
1.56/1.67 c deduced all_different(V59,V176,V412,V430,V818,V929,V1183,V1036)
1.56/1.67 c deduced all_different(V260,V278,V406,V440,V1037)
1.56/1.67 c deduced all_different(V67,V202,V719,V925,V1039)
1.56/1.67 c deduced all_different(V179,V473,V474,V562,V1042)
1.56/1.67 c deduced all_different(V133,V553,V684,V907,V1326,V1043)
1.56/1.67 c deduced all_different(V66,V656,V800,V1480,V1509,V1044)
1.56/1.67 c deduced all_different(V146,V161,V369,V1175,V1272,V1045)
1.56/1.67 c deduced all_different(V43,V940,V1142,V1174,V1048)
1.56/1.67 c deduced all_different(V206,V367,V434,V946,V1059,V1444,V1049)
1.56/1.67 c deduced all_different(V180,V292,V310,V675,V1051,V1052)
1.56/1.67 c deduced all_different(V7,V235,V987,V1396,V1054)
1.56/1.67 c deduced all_different(V231,V378,V514,V846,V1114,V1055)
1.56/1.67 c deduced all_different(V41,V68,V208,V372,V922,V1057)
1.56/1.67 c deduced all_different(V91,V336,V543,V1274,V1492,V1060)
1.56/1.67 c deduced all_different(V53,V300,V392,V823,V864,V1061)
1.56/1.67 c deduced all_different(V2,V29,V72,V105,V623,V685,V1062)
1.56/1.67 c deduced all_different(V121,V276,V378,V514,V630,V765,V1065)
1.56/1.67 c deduced all_different(V3,V154,V288,V727,V788,V1434,V1069)
1.56/1.67 c deduced all_different(V124,V261,V547,V588,V1071)
1.56/1.67 c deduced all_different(V67,V202,V706,V719,V925,V1072)
1.56/1.67 c deduced all_different(V91,V211,V543,V621,V1273,V1073)
1.56/1.67 c deduced all_different(V67,V467,V471,V925,V1074)
1.56/1.67 c deduced all_different(V11,V35,V191,V194,V1077)
1.56/1.67 c deduced all_different(V126,V198,V222,V524,V1078)
1.56/1.67 c deduced all_different(V123,V488,V504,V1470,V1080)
1.56/1.67 c deduced all_different(V11,V35,V194,V437,V445,V1081)
1.56/1.67 c deduced all_different(V56,V418,V503,V549,V1227,V1083)
1.56/1.67 c deduced all_different(V31,V204,V612,V1169,V1084)
1.56/1.67 c deduced all_different(V80,V93,V109,V982,V1465,V1086)
1.56/1.67 c deduced all_different(V41,V115,V236,V1320,V1087)
1.56/1.67 c deduced all_different(V308,V344,V355,V1245,V1470,V1088)
1.56/1.67 c deduced all_different(V94,V156,V274,V1005,V1089)
1.56/1.67 c deduced all_different(V12,V75,V282,V853,V1090,V1093)
1.56/1.67 c deduced all_different(V0,V65,V403,V844,V899,V1094)
1.56/1.67 c deduced all_different(V5,V313,V824,V1015,V1509,V1095)
1.56/1.67 c deduced all_different(V40,V153,V154,V528,V1165,V1098)
1.56/1.67 c deduced all_different(V13,V57,V412,V576,V818,V1100)
1.56/1.67 c deduced all_different(V107,V132,V940,V1102)
1.56/1.67 c deduced all_different(V16,V114,V540,V666,V1103)
1.56/1.67 c deduced all_different(V10,V374,V632,V818,V1097,V1105)
1.56/1.67 c deduced all_different(V20,V545,V838,V925,V1518,V1106)
1.56/1.67 c deduced all_different(V36,V337,V476,V538,V1455,V1107)
1.56/1.67 c deduced all_different(V93,V109,V301,V1465,V1108)
1.56/1.67 c deduced all_different(V6,V88,V145,V399,V1040,V1109)
1.56/1.67 c deduced all_different(V4,V63,V164,V1079,V1144,V1110)
1.56/1.67 c deduced all_different(V32,V219,V264,V1005,V1111)
1.56/1.67 c deduced all_different(V14,V322,V386,V828,V1390,V1112)
1.56/1.67 c deduced all_different(V144,V277,V324,V368,V595,V1116)
1.56/1.67 c deduced all_different(V291,V369,V492,V860,V1160,V1118)
1.56/1.67 c deduced all_different(V169,V287,V332,V987,V1396,V1120)
1.56/1.67 c deduced all_different(V51,V88,V145,V1040,V1300,V1305,V1121)
1.56/1.67 c deduced all_different(V83,V124,V261,V280,V558,V1147,V1124)
1.56/1.67 c deduced all_different(V53,V300,V564,V823,V872,V1468,V1127)
1.56/1.67 c deduced all_different(V52,V227,V767,V1090,V1128)
1.56/1.67 c deduced all_different(V137,V159,V388,V1067,V1130)
1.56/1.67 c deduced all_different(V26,V61,V97,V530,V828,V1064,V1133)
1.56/1.67 c deduced all_different(V0,V65,V184,V844,V1329,V1135)
1.56/1.67 c deduced all_different(V9,V222,V263,V1190,V1448,V1136)
1.56/1.67 c deduced all_different(V381,V425,V553,V684,V1327,V1137)
1.56/1.67 c deduced all_different(V9,V101,V220,V222,V1249,V1448,V1139)
1.56/1.67 c deduced all_different(V41,V108,V200,V922,V1140)
1.56/1.67 c deduced all_different(V10,V374,V818,V926,V929,V1143)
1.56/1.67 c deduced all_different(V77,V187,V490,V1067,V1149)
1.56/1.67 c deduced all_different(V188,V381,V553,V580,V684,V1150)
1.56/1.67 c deduced all_different(V41,V68,V108,V208,V1446,V1151)
1.56/1.67 c deduced all_different(V553,V580,V684,V789,V1010,V1152)
1.56/1.67 c deduced all_different(V82,V189,V277,V404,V1053,V1414,V1155)
1.56/1.67 c deduced all_different(V123,V207,V627,V1184,V1470,V1156)
1.56/1.67 c deduced all_different(V86,V93,V109,V301,V1465,V1162)
1.56/1.67 c deduced all_different(V28,V118,V418,V895,V1163)
1.56/1.67 c deduced all_different(V20,V467,V838,V852,V925,V1518,V1164)
1.56/1.67 c deduced all_different(V70,V237,V409,V886,V1212,V1166)
1.56/1.67 c deduced all_different(V209,V473,V494,V792,V840,V1168)
1.56/1.67 c deduced all_different(V20,V467,V545,V838,V925,V1170)
1.56/1.67 c deduced all_different(V256,V448,V486,V514,V1233,V1284,V1171)
1.56/1.67 c deduced all_different(V54,V165,V277,V295,V1172)
1.56/1.67 c deduced all_different(V24,V34,V174,V194,V1475,V1173)
1.56/1.67 c deduced all_different(V31,V33,V350,V676,V1169,V1176)
1.56/1.67 c deduced all_different(V138,V278,V339,V383,V1186)
1.56/1.67 c deduced all_different(V55,V93,V380,V983,V1188)
1.56/1.67 c deduced all_different(V44,V55,V93,V983,V1413,V1189)
1.56/1.67 c deduced all_different(V54,V82,V277,V303,V552,V762,V1191)
1.56/1.67 c deduced all_different(V425,V566,V580,V684,V891,V1327,V1193)
1.56/1.67 c deduced all_different(V127,V285,V421,V543,V962,V1196)
1.56/1.67 c deduced all_different(V41,V68,V208,V922,V1057,V1426,V1197)
1.56/1.67 c deduced all_different(V77,V606,V1067,V1159,V1198)
1.56/1.67 c deduced all_different(V184,V286,V420,V844,V1329,V1200)
1.56/1.67 c deduced all_different(V306,V369,V456,V1047,V1201)
1.56/1.67 c deduced all_different(V41,V200,V372,V554,V922,V1057,V1202)
1.56/1.67 c deduced all_different(V147,V394,V514,V846,V1281,V1204)
1.56/1.67 c deduced all_different(V76,V660,V679,V1470,V1206)
1.56/1.67 c deduced all_different(V74,V337,V476,V538,V1455,V1211)
1.56/1.67 c deduced all_different(V153,V154,V718,V892,V1165,V1213)
1.56/1.67 c deduced all_different(V138,V260,V278,V498,V733,V1214)
1.56/1.67 c deduced all_different(V2,V105,V462,V685,V1062,V1323,V1216)
1.56/1.67 c deduced all_different(V225,V500,V1051,V1076,V1513,V1218)
1.56/1.67 c deduced all_different(V50,V397,V543,V970,V1034,V1219)
1.56/1.67 c deduced all_different(V57,V362,V576,V632,V818,V1220)
1.56/1.67 c deduced all_different(V59,V85,V430,V576,V818,V1221)
1.56/1.67 c deduced all_different(V7,V235,V436,V1396,V1460,V1222)
1.56/1.67 c deduced all_different(V70,V205,V617,V1212,V1224)
1.56/1.67 c deduced all_different(V13,V667,V818,V914,V1183,V1225)
1.56/1.67 c deduced all_different(V78,V506,V811,V885,V1226,V1483,V1228)
1.56/1.67 c deduced all_different(V153,V154,V489,V1098,V1165,V1230)
1.56/1.67 c deduced all_different(V21,V128,V624,V994,V1005,V1232)
1.56/1.67 c deduced all_different(V21,V219,V714,V1005,V1376,V1234)
1.56/1.67 c deduced all_different(V133,V381,V425,V580,V684,V1326,V1237)
1.56/1.67 c deduced all_different(V1,V225,V675,V1051,V1238)
1.56/1.67 c deduced all_different(V70,V148,V502,V886,V1241)
1.56/1.67 c deduced all_different(V121,V378,V514,V592,V765,V1242)
1.56/1.67 c deduced all_different(V261,V280,V364,V558,V1243)
1.56/1.67 c deduced all_different(V69,V247,V756,V1051,V1244)
1.56/1.67 c deduced all_different(V28,V118,V323,V418,V549,V1246)
1.56/1.67 c deduced all_different(V550,V684,V789,V1327,V1355,V1248)
1.56/1.67 c deduced all_different(V157,V278,V339,V671,V1250)
1.56/1.67 c deduced all_different(V75,V168,V273,V1090,V1251)
1.56/1.67 c deduced all_different(V146,V369,V734,V1045,V1309,V1252)
1.56/1.67 c deduced all_different(V81,V105,V253,V462,V685,V1253)
1.56/1.67 c deduced all_different(V123,V488,V627,V1080,V1470,V1256)
1.56/1.67 c deduced all_different(V157,V278,V423,V496,V1257)
1.56/1.67 c deduced all_different(V26,V61,V73,V398,V828,V1236,V1258)
1.56/1.67 c deduced all_different(V18,V369,V470,V1182,V1260)
1.56/1.67 c deduced all_different(V30,V125,V1008,V1099,V1123,V1478,V1261)
1.56/1.67 c deduced all_different(V83,V261,V315,V482,V1262)
1.56/1.67 c deduced all_different(V46,V245,V434,V1351,V1264)
1.56/1.67 c deduced all_different(V88,V145,V527,V721,V1040,V1303,V1266)
1.56/1.67 c deduced all_different(V291,V369,V470,V589,V1267)
1.56/1.67 c deduced all_different(V82,V165,V277,V1270)
1.56/1.67 c deduced all_different(V207,V355,V679,V1430,V1470,V1271)
1.56/1.67 c deduced all_different(V73,V139,V828,V918,V1452,V1275)
1.56/1.67 c deduced all_different(V169,V332,V407,V829,V1396,V1276)
1.56/1.67 c deduced all_different(V23,V172,V839,V885,V1277)
1.56/1.67 c deduced all_different(V138,V278,V339,V1278)
1.56/1.67 c deduced all_different(V260,V278,V339,V498,V908,V1280)
1.56/1.67 c deduced all_different(V37,V119,V940,V1283)
1.56/1.67 c deduced all_different(V225,V371,V756,V1051,V1287)
1.56/1.67 c deduced all_different(V243,V261,V510,V513,V841,V1288)
1.56/1.67 c deduced all_different(V83,V230,V261,V713,V948,V1289)
1.56/1.67 c deduced all_different(V82,V189,V277,V396,V1414,V1290)
1.56/1.67 c deduced all_different(V77,V254,V453,V1067,V1291)
1.56/1.67 c deduced all_different(V56,V135,V418,V557,V909,V1292)
1.56/1.67 c deduced all_different(V20,V467,V925,V1170,V1293)
1.56/1.67 c deduced all_different(V31,V33,V350,V458,V1169,V1294)
1.56/1.67 c deduced all_different(V31,V33,V458,V634,V1169,V1296)
1.56/1.67 c deduced all_different(V1,V225,V1051,V1298)
1.56/1.67 c deduced all_different(V132,V601,V940,V1462,V1299)
1.56/1.67 c deduced all_different(V65,V184,V331,V844,V973,V1354,V1302)
1.56/1.67 c deduced all_different(V124,V261,V280,V558,V1124,V1304)
1.56/1.67 c deduced all_different(V62,V96,V290,V676,V956,V1169,V1306)
1.56/1.67 c deduced all_different(V23,V172,V885,V1210,V1308)
1.56/1.67 c deduced all_different(V2,V105,V623,V685,V991,V1185,V1216,V1311)
1.56/1.67 c deduced all_different(V15,V36,V476,V1498,V1312)
1.56/1.67 c deduced all_different(V169,V287,V332,V449,V1396,V1313)
1.56/1.67 c deduced all_different(V5,V249,V313,V1509,V1314)
1.56/1.67 c deduced all_different(V138,V278,V339,V383,V1317)
1.56/1.67 c deduced all_different(V66,V656,V1509,V1318)
1.56/1.67 c deduced all_different(V231,V402,V448,V514,V1322)
1.56/1.67 c deduced all_different(V74,V359,V476,V1325)
1.56/1.67 c deduced all_different(V11,V194,V283,V497,V499,V626,V1077,V1328)
1.56/1.67 c deduced all_different(V15,V36,V142,V476,V1498,V1331)
1.56/1.67 c deduced all_different(V39,V170,V223,V328,V777,V1333)
1.56/1.67 c deduced all_different(V31,V33,V521,V877,V1031,V1169,V1336)
1.56/1.67 c deduced all_different(V2,V29,V105,V623,V685,V991,V1185,V1337)
1.56/1.67 c deduced all_different(V213,V251,V464,V925,V958,V1402,V1339)
1.56/1.67 c deduced all_different(V378,V394,V427,V514,V1065,V1340)
1.56/1.67 c deduced all_different(V21,V42,V1005,V1022,V1341)
1.56/1.67 c deduced all_different(V65,V184,V703,V844,V1342)
1.56/1.67 c deduced all_different(V27,V281,V800,V1509,V1344)
1.56/1.67 c deduced all_different(V124,V261,V364,V558,V659,V1345)
1.56/1.67 c deduced all_different(V35,V194,V246,V499,V1347)
1.56/1.67 c deduced all_different(V16,V140,V317,V666,V735,V1161,V1348)
1.56/1.67 c deduced all_different(V99,V198,V222,V701,V1282,V1301,V1349)
1.56/1.67 c deduced all_different(V23,V347,V405,V885,V1350)
1.56/1.67 c deduced all_different(V99,V198,V222,V524,V585,V1301,V1352)
1.56/1.67 c deduced all_different(V297,V335,V414,V823,V1468,V1353)
1.56/1.67 c deduced all_different(V104,V518,V670,V1079,V1356)
1.56/1.67 c deduced all_different(V140,V299,V666,V1358)
1.56/1.67 c deduced all_different(V37,V38,V940,V1174,V1359)
1.56/1.67 c deduced all_different(V133,V550,V566,V684,V1327,V1360)
1.56/1.67 c deduced all_different(V98,V361,V434,V1361)
1.56/1.67 c deduced all_different(V48,V473,V494,V507,V757,V1117,V1362)
1.56/1.67 c deduced all_different(V209,V473,V483,V494,V1363)
1.56/1.67 c deduced all_different(V2,V105,V462,V685,V1216,V1364)
1.56/1.67 c deduced all_different(V6,V145,V375,V1040,V1365)
1.56/1.67 c deduced all_different(V133,V381,V553,V684,V1326,V1367)
1.56/1.67 c deduced all_different(V25,V94,V156,V994,V1005,V1368)
1.56/1.67 c deduced all_different(V100,V190,V516,V1033,V1369)
1.56/1.67 c deduced all_different(V166,V211,V421,V543,V673,V1006,V1371)
1.56/1.67 c deduced all_different(V135,V418,V887,V938,V1372)
1.56/1.67 c deduced all_different(V148,V294,V906,V1447,V1373)
1.56/1.67 c deduced all_different(V3,V40,V153,V154,V788,V1374)
1.56/1.67 c deduced all_different(V22,V52,V227,V1090,V1375)
1.56/1.67 c deduced all_different(V100,V190,V559,V1033,V1332,V1377)
1.56/1.67 c deduced all_different(V8,V44,V93,V583,V723,V1028,V1378)
1.56/1.67 c deduced all_different(V31,V33,V350,V634,V1169,V1379)
1.56/1.67 c deduced all_different(V65,V184,V703,V844,V1354,V1380)
1.56/1.67 c deduced all_different(V65,V214,V703,V844,V1354,V1382)
1.56/1.67 c deduced all_different(V203,V225,V371,V1051,V1383)
1.56/1.67 c deduced all_different(V30,V373,V390,V1478,V1384)
1.56/1.67 c deduced all_different(V188,V381,V550,V684,V1385)
1.56/1.67 c deduced all_different(V42,V264,V599,V1005,V1386)
1.56/1.67 c deduced all_different(V18,V291,V369,V1297,V1387)
1.56/1.67 c deduced all_different(V214,V286,V703,V844,V1295,V1388)
1.56/1.67 c deduced all_different(V100,V190,V516,V559,V1033,V1332,V1389)
1.56/1.67 c deduced all_different(V40,V102,V154,V288,V1391)
1.56/1.67 c deduced all_different(V190,V195,V443,V609,V1033,V1392)
1.56/1.67 c deduced all_different(V202,V706,V719,V925,V1393)
1.56/1.67 c deduced all_different(V20,V791,V852,V925,V1164,V1394)
1.56/1.67 c deduced all_different(V293,V418,V633,V649,V861,V1395)
1.56/1.67 c deduced all_different(V425,V684,V780,V891,V1193,V1327,V1397)
1.56/1.67 c deduced all_different(V36,V465,V476,V538,V669,V1398)
1.56/1.67 c deduced all_different(V4,V63,V129,V1079,V1104,V1456,V1399)
1.56/1.67 c deduced all_different(V171,V414,V680,V823,V1401)
1.56/1.67 c deduced all_different(V114,V143,V666,V1103,V1403)
1.56/1.67 c deduced all_different(V0,V65,V184,V703,V844,V1354,V1404)
1.56/1.67 c deduced all_different(V5,V134,V249,V824,V1509,V1405)
1.56/1.67 c deduced all_different(V30,V125,V333,V537,V1478,V1406)
1.56/1.67 c deduced all_different(V169,V228,V334,V943,V987,V1396,V1408)
1.56/1.67 c deduced all_different(V2,V29,V253,V685,V991,V1409)
1.56/1.67 c deduced all_different(V9,V220,V222,V1139,V1411)
1.56/1.68 c deduced all_different(V17,V313,V738,V1509,V1415)
1.56/1.68 c deduced all_different(V171,V414,V575,V680,V823,V1416)
1.56/1.68 c deduced all_different(V381,V550,V684,V1515,V1417)
1.56/1.68 c deduced all_different(V26,V61,V398,V530,V828,V1258,V1419)
1.56/1.68 c deduced all_different(V82,V189,V277,V404,V1053,V1414,V1420)
1.56/1.68 c deduced all_different(V63,V129,V582,V670,V1079,V1144,V1421)
1.56/1.68 c deduced all_different(V18,V291,V369,V1239,V1422)
1.56/1.68 c deduced all_different(V133,V550,V684,V1467,V1423)
1.56/1.68 c deduced all_different(V121,V231,V276,V514,V1114,V1424)
1.56/1.68 c deduced all_different(V17,V89,V614,V1509,V1425)
1.56/1.68 c deduced all_different(V87,V160,V328,V777,V902,V1427)
1.56/1.68 c deduced all_different(V76,V123,V627,V1184,V1470,V1428)
1.56/1.68 c deduced all_different(V157,V278,V339,V383,V1482,V1429)
1.56/1.68 c deduced all_different(V38,V119,V766,V940,V1158,V1431)
1.56/1.68 c deduced all_different(V22,V106,V168,V1090,V1316,V1432)
1.56/1.68 c deduced all_different(V39,V269,V328,V603,V1000,V1433)
1.56/1.68 c deduced all_different(V26,V322,V784,V828,V1390,V1435)
1.56/1.68 c deduced all_different(V31,V204,V676,V1169,V1436)
1.56/1.68 c deduced all_different(V149,V153,V154,V528,V788,V1187,V1437)
1.56/1.68 c deduced all_different(V10,V176,V275,V818,V1011,V1439)
1.56/1.68 c deduced all_different(V126,V198,V222,V426,V1282,V1440)
1.56/1.68 c deduced all_different(V72,V253,V685,V883,V1185,V1442)
1.56/1.68 c deduced all_different(V2,V462,V681,V685,V1062,V1323,V1449)
1.56/1.68 c deduced all_different(V133,V684,V780,V1360,V1450)
1.56/1.68 c deduced all_different(V86,V93,V109,V583,V862,V1162,V1453)
1.56/1.68 c deduced all_different(V114,V330,V666,V1454)
1.56/1.68 c deduced all_different(V63,V129,V582,V1079,V1421,V1457)
1.56/1.68 c deduced all_different(V197,V359,V465,V476,V538,V1458)
1.56/1.68 c deduced all_different(V369,V456,V470,V492,V661,V1160,V1297,V1459)
1.56/1.68 c deduced all_different(V78,V182,V405,V885,V1464)
1.56/1.68 c deduced all_different(V87,V269,V328,V511,V1085,V1466)
1.56/1.68 c deduced all_different(V8,V44,V55,V93,V1469)
1.56/1.68 c deduced all_different(V157,V278,V435,V1257,V1471)
1.56/1.68 c deduced all_different(V77,V187,V429,V606,V1067,V1463,V1472)
1.56/1.68 c deduced all_different(V260,V278,V339,V671,V1473)
1.56/1.68 c deduced all_different(V79,V164,V1079,V1144,V1474)
1.56/1.68 c deduced all_different(V210,V268,V294,V732,V1476)
1.56/1.68 c deduced all_different(V41,V108,V870,V1019,V1446,V1477)
1.56/1.68 c deduced all_different(V89,V281,V858,V1509,V1479)
1.56/1.68 c deduced all_different(V136,V228,V235,V334,V1396,V1481)
1.56/1.68 c deduced all_different(V98,V434,V525,V1484)
1.56/1.68 c deduced all_different(V8,V93,V583,V1378,V1485)
1.56/1.68 c deduced all_different(V122,V155,V279,V304,V1478,V1487)
1.56/1.68 c deduced all_different(V98,V298,V434,V556,V910,V1488)
1.56/1.68 c deduced all_different(V147,V312,V402,V514,V1145,V1281,V1489)
1.56/1.68 c deduced all_different(V105,V265,V594,V685,V1307,V1490)
1.56/1.68 c deduced all_different(V46,V206,V354,V367,V434,V1351,V1493)
1.56/1.68 c deduced all_different(V10,V19,V85,V587,V818,V1494)
1.56/1.68 c deduced all_different(V38,V119,V940,V1158,V1174,V1512,V1495)
1.56/1.68 c deduced all_different(V91,V211,V336,V543,V1192,V1496)
1.56/1.68 c deduced all_different(V38,V807,V940,V1462,V1497)
1.56/1.68 c deduced all_different(V3,V153,V154,V718,V1499)
1.56/1.68 c deduced all_different(V65,V184,V403,V844,V1302,V1500)
1.56/1.68 c deduced all_different(V121,V256,V378,V486,V514,V1503)
1.56/1.68 c deduced all_different(V138,V260,V278,V339,V1505)
1.56/1.68 c deduced all_different(V8,V86,V93,V380,V1506)
1.65/1.71 c deduced all_different(V138,V278,V435,V498,V1507)
1.65/1.71 c deduced all_different(V201,V561,V1470,V1508)
1.65/1.71 c deduced all_different(V8,V44,V93,V723,V1028,V1378,V1511)
1.65/1.71 c deduced all_different(V140,V317,V666,V915,V1517)
1.65/1.71 c deduced all_different(V15,V142,V476,V669,V1519)
1.65/1.71 c deduced all_different(V74,V142,V476,V739,V1520)
1.65/1.71 c with 74249 constraints
1.65/1.71 c Solving