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