0.00/0.02 c has big domains
0.00/0.02 c big-domain mode
0.00/0.05 c Seed is 542932330
0.00/0.05 c Constructing HOME/instance-2080734-1247718371.xml
0.98/1.07 c deduced all_different(V71,V588,V684,V1050,V0)
0.98/1.07 c deduced all_different(V40,V51,V339,V1049,V1)
0.98/1.07 c deduced all_different(V46,V51,V314,V810,V2)
0.98/1.07 c deduced all_different(V42,V307,V377,V797,V3)
0.98/1.07 c deduced all_different(V9,V35,V198,V242,V4)
0.98/1.07 c deduced all_different(V17,V81,V99,V293,V305,V469,V5)
0.98/1.07 c deduced all_different(V150,V183,V239,V568,V830,V6)
0.98/1.07 c deduced all_different(V89,V304,V437,V495,V618,V758,V904,V7)
0.98/1.07 c deduced all_different(V36,V56,V423,V542,V8)
0.98/1.07 c deduced all_different(V54,V168,V193,V235,V774,V10)
0.98/1.07 c deduced all_different(V73,V200,V276,V319,V398,V11)
0.98/1.07 c deduced all_different(V86,V401,V648,V1008,V12)
0.98/1.07 c deduced all_different(V39,V174,V681,V744,V13)
0.98/1.07 c deduced all_different(V78,V147,V454,V1067,V14)
0.98/1.07 c deduced all_different(V26,V112,V165,V796,V15)
0.98/1.07 c deduced all_different(V24,V145,V150,V830,V16)
0.98/1.07 c deduced all_different(V221,V332,V433,V1042,V18)
0.98/1.07 c deduced all_different(V62,V81,V399,V446,V734,V19)
0.98/1.07 c deduced all_different(V210,V441,V601,V800,V1002,V20)
0.98/1.07 c deduced all_different(V120,V203,V855,V981,V21)
0.98/1.07 c deduced all_different(V66,V76,V247,V729,V22)
0.98/1.07 c deduced all_different(V173,V360,V423,V539,V542,V23)
0.98/1.07 c deduced all_different(V97,V131,V540,V1007,V1039,V25)
0.98/1.07 c deduced all_different(V49,V110,V599,V845,V27)
0.98/1.07 c deduced all_different(V17,V81,V99,V399,V518,V28)
0.98/1.07 c deduced all_different(V79,V118,V198,V215,V29)
0.98/1.07 c deduced all_different(V53,V203,V411,V926,V30)
0.98/1.07 c deduced all_different(V44,V124,V401,V31)
0.98/1.07 c deduced all_different(V49,V107,V110,V845,V32)
0.98/1.07 c deduced all_different(V229,V244,V521,V800,V33)
0.98/1.07 c deduced all_different(V142,V144,V346,V590,V633,V886,V34)
0.98/1.07 c deduced all_different(V307,V377,V494,V797,V37)
0.98/1.07 c deduced all_different(V190,V208,V415,V745,V1042,V38)
0.98/1.07 c deduced all_different(V91,V192,V395,V594,V882,V41)
0.98/1.07 c deduced all_different(V94,V225,V268,V338,V876,V43)
0.98/1.07 c deduced all_different(V17,V81,V99,V469,V45)
0.98/1.07 c deduced all_different(V60,V222,V398,V683,V809,V47)
0.98/1.07 c deduced all_different(V63,V252,V474,V816,V1120,V48)
0.98/1.07 c deduced all_different(V126,V212,V266,V1097,V50)
0.98/1.07 c deduced all_different(V57,V353,V643,V802,V52)
0.98/1.07 c deduced all_different(V140,V245,V413,V655,V1060,V55)
0.98/1.07 c deduced all_different(V42,V307,V377,V797,V851,V58)
0.98/1.07 c deduced all_different(V312,V387,V585,V690,V1073,V59)
0.98/1.07 c deduced all_different(V142,V184,V341,V873,V886,V61)
0.98/1.07 c deduced all_different(V69,V185,V349,V853,V64)
0.98/1.07 c deduced all_different(V121,V175,V303,V655,V65)
0.98/1.07 c deduced all_different(V69,V162,V228,V853,V67)
0.98/1.07 c deduced all_different(V47,V73,V186,V222,V398,V499,V68)
0.98/1.07 c deduced all_different(V187,V204,V216,V366,V790,V70)
0.98/1.07 c deduced all_different(V57,V241,V569,V802,V72)
0.98/1.07 c deduced all_different(V161,V163,V193,V367,V74)
0.98/1.07 c deduced all_different(V129,V479,V690,V1109,V1130,V75)
0.98/1.07 c deduced all_different(V127,V365,V454,V1065,V77)
0.98/1.07 c deduced all_different(V60,V398,V770,V992,V80)
0.98/1.07 c deduced all_different(V39,V253,V323,V450,V681,V82)
0.98/1.07 c deduced all_different(V89,V226,V437,V500,V618,V758,V83)
0.98/1.07 c deduced all_different(V87,V213,V383,V708,V902,V84)
0.98/1.07 c deduced all_different(V105,V432,V504,V537,V998,V85)
0.98/1.07 c deduced all_different(V136,V147,V280,V454,V88)
0.98/1.07 c deduced all_different(V63,V252,V467,V1120,V90)
0.98/1.07 c deduced all_different(V418,V437,V618,V650,V857,V92)
0.98/1.07 c deduced all_different(V64,V343,V853,V93)
0.98/1.07 c deduced all_different(V87,V115,V123,V197,V383,V902,V972,V95)
0.98/1.07 c deduced all_different(V87,V115,V123,V197,V676,V902,V96)
0.98/1.07 c deduced all_different(V12,V124,V401,V544,V907,V1008,V98)
0.98/1.07 c deduced all_different(V109,V263,V535,V536,V545,V100)
0.98/1.07 c deduced all_different(V285,V316,V1105,V1120,V101)
0.98/1.07 c deduced all_different(V41,V250,V395,V594,V882,V102)
0.98/1.07 c deduced all_different(V91,V192,V692,V882,V103)
0.98/1.07 c deduced all_different(V119,V331,V935,V1039,V104)
0.98/1.07 c deduced all_different(V209,V224,V266,V273,V106)
0.98/1.07 c deduced all_different(V240,V259,V385,V677,V1078,V108)
0.98/1.07 c deduced all_different(V32,V49,V107,V752,V845,V111)
0.98/1.07 c deduced all_different(V15,V112,V202,V755,V113)
0.98/1.07 c deduced all_different(V109,V361,V536,V545,V903,V916,V114)
0.98/1.07 c deduced all_different(V27,V110,V153,V845,V116)
0.98/1.07 c deduced all_different(V91,V488,V882,V942,V1142,V117)
0.98/1.07 c deduced all_different(V5,V81,V99,V675,V1003,V122)
0.98/1.07 c deduced all_different(V94,V225,V320,V523,V876,V125)
0.98/1.07 c deduced all_different(V43,V225,V281,V320,V876,V1075,V128)
0.98/1.07 c deduced all_different(V15,V26,V369,V705,V748,V847,V130)
0.98/1.07 c deduced all_different(V263,V335,V545,V1016,V132)
0.98/1.07 c deduced all_different(V90,V171,V957,V1120,V133)
0.98/1.07 c deduced all_different(V190,V208,V332,V1042,V134)
0.98/1.07 c deduced all_different(V10,V168,V193,V235,V732,V135)
0.98/1.07 c deduced all_different(V93,V343,V602,V720,V853,V137)
0.98/1.07 c deduced all_different(V40,V51,V355,V605,V652,V138)
0.98/1.07 c deduced all_different(V22,V66,V621,V623,V729,V139)
0.98/1.07 c deduced all_different(V21,V203,V382,V917,V981,V141)
0.98/1.07 c deduced all_different(V9,V35,V198,V279,V334,V143)
0.98/1.07 c deduced all_different(V53,V203,V615,V146)
0.98/1.07 c deduced all_different(V49,V110,V178,V845,V148)
0.98/1.07 c deduced all_different(V1,V51,V214,V381,V719,V922,V1089,V149)
0.98/1.07 c deduced all_different(V272,V292,V431,V681,V151)
0.98/1.07 c deduced all_different(V16,V24,V150,V392,V152)
0.98/1.07 c deduced all_different(V5,V81,V122,V549,V675,V1018,V154)
0.98/1.07 c deduced all_different(V243,V317,V385,V807,V155)
0.98/1.07 c deduced all_different(V161,V163,V193,V156)
0.98/1.07 c deduced all_different(V15,V130,V202,V755,V157)
0.98/1.07 c deduced all_different(V60,V200,V222,V398,V158)
0.98/1.07 c deduced all_different(V129,V663,V690,V698,V159)
0.98/1.07 c deduced all_different(V210,V229,V475,V725,V800,V160)
0.98/1.07 c deduced all_different(V57,V241,V393,V493,V802,V164)
0.98/1.07 c deduced all_different(V75,V387,V660,V690,V973,V1073,V166)
0.98/1.07 c deduced all_different(V48,V171,V285,V316,V1098,V1120,V167)
0.98/1.07 c deduced all_different(V52,V778,V802,V1052,V169)
0.98/1.07 c deduced all_different(V105,V211,V432,V504,V537,V998,V170)
0.98/1.07 c deduced all_different(V85,V195,V432,V504,V999,V1155,V172)
0.98/1.07 c deduced all_different(V89,V418,V618,V758,V176)
0.98/1.07 c deduced all_different(V95,V123,V197,V383,V902,V972,V177)
0.98/1.07 c deduced all_different(V22,V76,V247,V457,V653,V179)
0.98/1.07 c deduced all_different(V76,V179,V729,V180)
0.98/1.07 c deduced all_different(V102,V103,V869,V882,V181)
0.98/1.07 c deduced all_different(V125,V128,V320,V876,V182)
0.98/1.07 c deduced all_different(V90,V171,V285,V1120,V188)
0.98/1.07 c deduced all_different(V187,V204,V366,V481,V790,V189)
0.98/1.07 c deduced all_different(V243,V317,V385,V436,V987,V191)
0.98/1.07 c deduced all_different(V14,V78,V454,V194)
0.98/1.07 c deduced all_different(V87,V197,V213,V902,V196)
0.98/1.07 c deduced all_different(V25,V97,V451,V1039,V1081,V199)
0.98/1.07 c deduced all_different(V210,V430,V800,V201)
0.98/1.07 c deduced all_different(V84,V480,V513,V708,V902,V205)
0.98/1.07 c deduced all_different(V15,V112,V165,V202,V755,V206)
0.98/1.07 c deduced all_different(V119,V364,V540,V565,V1039,V207)
0.98/1.07 c deduced all_different(V48,V252,V474,V1120,V217)
0.98/1.07 c deduced all_different(V12,V401,V466,V218)
0.98/1.07 c deduced all_different(V25,V131,V540,V879,V937,V1039,V219)
0.98/1.07 c deduced all_different(V201,V286,V800,V220)
0.98/1.07 c deduced all_different(V13,V39,V292,V323,V681,V223)
0.98/1.07 c deduced all_different(V72,V169,V778,V802,V227)
0.98/1.07 c deduced all_different(V43,V225,V268,V580,V876,V230)
0.98/1.07 c deduced all_different(V3,V307,V377,V797,V231)
0.98/1.07 c deduced all_different(V6,V150,V239,V541,V232)
0.98/1.07 c deduced all_different(V135,V168,V193,V235,V799,V233)
0.98/1.07 c deduced all_different(V8,V36,V384,V423,V856,V234)
0.98/1.07 c deduced all_different(V140,V175,V303,V647,V655,V236)
0.98/1.07 c deduced all_different(V10,V54,V168,V193,V774,V237)
0.98/1.07 c deduced all_different(V55,V561,V655,V716,V238)
0.98/1.07 c deduced all_different(V71,V322,V684,V1050,V246)
0.98/1.07 c deduced all_different(V159,V312,V496,V690,V970,V248)
0.98/1.07 c deduced all_different(V133,V217,V453,V1120,V1133,V249)
0.98/1.07 c deduced all_different(V50,V266,V298,V657,V251)
0.98/1.07 c deduced all_different(V19,V81,V399,V446,V734,V254)
0.98/1.07 c deduced all_different(V6,V150,V239,V575,V255)
0.98/1.07 c deduced all_different(V125,V182,V461,V593,V876,V256)
0.98/1.07 c deduced all_different(V142,V144,V347,V794,V886,V257)
0.98/1.07 c deduced all_different(V55,V140,V655,V258)
0.98/1.07 c deduced all_different(V15,V26,V407,V260)
0.98/1.07 c deduced all_different(V55,V140,V655,V1012,V261)
0.98/1.07 c deduced all_different(V30,V203,V382,V759,V855,V1086,V262)
0.98/1.07 c deduced all_different(V19,V81,V446,V469,V863,V1029,V264)
0.98/1.07 c deduced all_different(V54,V168,V193,V235,V799,V265)
0.98/1.07 c deduced all_different(V47,V73,V222,V398,V499,V267)
0.98/1.07 c deduced all_different(V61,V184,V348,V886,V925,V269)
0.98/1.07 c deduced all_different(V156,V193,V608,V726,V270)
0.98/1.07 c deduced all_different(V4,V118,V198,V215,V271)
0.98/1.07 c deduced all_different(V34,V142,V346,V633,V886,V274)
0.98/1.07 c deduced all_different(V14,V78,V454,V1067,V275)
0.98/1.07 c deduced all_different(V57,V493,V802,V813,V1020,V277)
0.98/1.07 c deduced all_different(V201,V244,V430,V800,V278)
0.98/1.07 c deduced all_different(V240,V259,V385,V428,V1006,V1062,V282)
0.98/1.07 c deduced all_different(V2,V51,V314,V685,V283)
0.98/1.07 c deduced all_different(V23,V302,V423,V562,V284)
0.98/1.07 c deduced all_different(V69,V228,V853,V1051,V287)
0.98/1.07 c deduced all_different(V191,V385,V388,V619,V649,V803,V288)
0.98/1.07 c deduced all_different(V39,V82,V323,V484,V681,V945,V289)
0.98/1.07 c deduced all_different(V209,V224,V266,V273,V290)
0.98/1.07 c deduced all_different(V93,V162,V349,V641,V853,V1031,V291)
0.98/1.07 c deduced all_different(V22,V66,V76,V1071,V294)
0.98/1.07 c deduced all_different(V69,V162,V297,V853,V1087,V295)
0.98/1.07 c deduced all_different(V231,V307,V797,V851,V1024,V296)
0.98/1.07 c deduced all_different(V97,V199,V451,V935,V1039,V299)
0.98/1.07 c deduced all_different(V126,V212,V266,V1097,V300)
0.98/1.07 c deduced all_different(V243,V315,V385,V803,V987,V301)
0.98/1.07 c deduced all_different(V151,V292,V323,V450,V632,V681,V823,V306)
0.98/1.07 c deduced all_different(V41,V91,V250,V882,V942,V308)
0.98/1.07 c deduced all_different(V55,V261,V655,V1012,V309)
0.98/1.07 c deduced all_different(V18,V332,V1042,V310)
0.98/1.07 c deduced all_different(V103,V181,V554,V882,V311)
0.98/1.07 c deduced all_different(V96,V205,V510,V571,V902,V313)
0.98/1.07 c deduced all_different(V173,V384,V423,V539,V1022,V318)
0.98/1.07 c deduced all_different(V95,V123,V383,V480,V902,V321)
0.98/1.07 c deduced all_different(V6,V150,V232,V337,V324)
0.98/1.07 c deduced all_different(V14,V275,V454,V1037,V1101,V325)
0.98/1.07 c deduced all_different(V50,V209,V212,V266,V326)
0.98/1.07 c deduced all_different(V11,V200,V398,V825,V984,V327)
0.98/1.07 c deduced all_different(V59,V387,V528,V585,V660,V690,V328)
0.98/1.07 c deduced all_different(V102,V250,V395,V882,V887,V329)
0.98/1.07 c deduced all_different(V48,V63,V957,V1120,V330)
0.98/1.07 c deduced all_different(V54,V168,V193,V476,V608,V333)
0.98/1.07 c deduced all_different(V13,V39,V292,V610,V681,V744,V336)
0.98/1.07 c deduced all_different(V187,V216,V790,V340)
0.98/1.07 c deduced all_different(V137,V185,V349,V850,V853,V342)
0.98/1.07 c deduced all_different(V10,V135,V193,V237,V344)
0.98/1.07 c deduced all_different(V209,V212,V224,V266,V326,V345)
0.98/1.07 c deduced all_different(V43,V281,V580,V876,V1117,V1123,V350)
0.98/1.07 c deduced all_different(V246,V501,V659,V1050,V1053,V351)
0.98/1.07 c deduced all_different(V391,V401,V631,V907,V1008,V352)
0.98/1.07 c deduced all_different(V101,V330,V482,V1120,V354)
0.98/1.07 c deduced all_different(V137,V185,V343,V829,V853,V356)
0.98/1.07 c deduced all_different(V71,V440,V684,V1043,V1050,V357)
0.98/1.07 c deduced all_different(V9,V35,V198,V279,V358)
0.98/1.07 c deduced all_different(V70,V204,V216,V402,V790,V359)
0.98/1.07 c deduced all_different(V66,V139,V577,V621,V362)
0.98/1.07 c deduced all_different(V18,V221,V415,V1042,V363)
0.98/1.07 c deduced all_different(V3,V231,V377,V797,V1110,V368)
0.98/1.07 c deduced all_different(V16,V24,V150,V392,V1124,V370)
0.98/1.07 c deduced all_different(V79,V118,V143,V198,V215,V371)
0.98/1.07 c deduced all_different(V46,V51,V314,V372)
0.98/1.07 c deduced all_different(V88,V147,V454,V530,V637,V373)
0.98/1.07 c deduced all_different(V118,V198,V215,V271,V374)
0.98/1.07 c deduced all_different(V27,V116,V845,V375)
0.98/1.07 c deduced all_different(V32,V111,V845,V376)
0.98/1.07 c deduced all_different(V189,V204,V481,V790,V378)
0.98/1.07 c deduced all_different(V50,V126,V266,V456,V1097,V379)
0.98/1.07 c deduced all_different(V9,V198,V242,V1000,V380)
0.98/1.07 c deduced all_different(V76,V180,V729,V1119,V386)
0.98/1.07 c deduced all_different(V175,V236,V303,V647,V655,V389)
0.98/1.07 c deduced all_different(V25,V97,V451,V472,V1039,V390)
0.98/1.07 c deduced all_different(V172,V195,V504,V524,V741,V394)
0.98/1.07 c deduced all_different(V30,V203,V556,V625,V759,V852,V396)
0.98/1.07 c deduced all_different(V49,V107,V111,V752,V845,V397)
0.98/1.07 c deduced all_different(V61,V184,V269,V886,V925,V400)
0.98/1.07 c deduced all_different(V27,V110,V116,V532,V845,V403)
0.98/1.07 c deduced all_different(V78,V147,V454,V1059,V404)
0.98/1.07 c deduced all_different(V16,V24,V150,V152,V405)
0.98/1.07 c deduced all_different(V77,V365,V454,V578,V406)
0.98/1.07 c deduced all_different(V55,V140,V303,V655,V408)
0.98/1.07 c deduced all_different(V76,V294,V577,V409)
0.98/1.07 c deduced all_different(V32,V49,V107,V752,V845,V410)
0.98/1.07 c deduced all_different(V32,V107,V111,V153,V845,V412)
0.98/1.07 c deduced all_different(V83,V226,V437,V618,V758,V414)
0.98/1.07 c deduced all_different(V79,V118,V198,V371,V1055,V416)
0.98/1.07 c deduced all_different(V82,V289,V431,V681,V417)
0.98/1.07 c deduced all_different(V8,V234,V384,V423,V856,V419)
0.98/1.07 c deduced all_different(V2,V51,V214,V314,V685,V420)
0.98/1.08 c deduced all_different(V161,V163,V193,V333,V1100,V421)
0.98/1.08 c deduced all_different(V22,V66,V623,V422)
0.98/1.08 c deduced all_different(V15,V26,V112,V611,V424)
0.98/1.08 c deduced all_different(V70,V187,V366,V656,V790,V425)
0.98/1.08 c deduced all_different(V43,V94,V268,V338,V876,V426)
0.98/1.08 c deduced all_different(V52,V612,V802,V932,V1126,V427)
0.98/1.08 c deduced all_different(V8,V36,V423,V542,V843,V856,V429)
0.98/1.08 c deduced all_different(V39,V174,V567,V681,V756,V434)
0.98/1.08 c deduced all_different(V38,V221,V908,V1042,V435)
0.98/1.08 c deduced all_different(V41,V192,V869,V882,V438)
0.98/1.08 c deduced all_different(V6,V150,V232,V337,V439)
0.98/1.08 c deduced all_different(V115,V205,V480,V902,V442)
0.98/1.08 c deduced all_different(V34,V274,V346,V886,V443)
0.98/1.08 c deduced all_different(V216,V366,V693,V790,V804,V1017,V444)
0.98/1.08 c deduced all_different(V18,V332,V1042,V445)
0.98/1.08 c deduced all_different(V172,V394,V504,V741,V832,V447)
0.98/1.08 c deduced all_different(V44,V124,V401,V448)
0.98/1.08 c deduced all_different(V41,V91,V250,V594,V882,V449)
0.98/1.08 c deduced all_different(V27,V110,V512,V599,V845,V452)
0.98/1.08 c deduced all_different(V189,V425,V481,V790,V455)
0.98/1.08 c deduced all_different(V105,V432,V504,V722,V735,V458)
0.98/1.08 c deduced all_different(V54,V168,V193,V237,V459)
0.98/1.08 c deduced all_different(V12,V98,V401,V881,V1008,V460)
0.98/1.08 c deduced all_different(V42,V58,V709,V760,V797,V462)
0.98/1.08 c deduced all_different(V86,V391,V401,V648,V1008,V463)
0.98/1.08 c deduced all_different(V7,V304,V437,V618,V904,V464)
0.98/1.08 c deduced all_different(V155,V317,V385,V1062,V1078,V465)
0.98/1.08 c deduced all_different(V39,V174,V289,V681,V468)
0.98/1.08 c deduced all_different(V338,V461,V527,V876,V1035,V470)
0.98/1.08 c deduced all_different(V63,V90,V467,V1120,V471)
0.98/1.08 c deduced all_different(V5,V17,V81,V293,V305,V473)
0.98/1.08 c deduced all_different(V34,V142,V144,V633,V886,V477)
0.98/1.08 c deduced all_different(V3,V307,V624,V797,V478)
0.98/1.08 c deduced all_different(V100,V335,V536,V545,V582,V483)
0.98/1.08 c deduced all_different(V23,V284,V423,V856,V485)
0.98/1.08 c deduced all_different(V53,V203,V615,V724,V759,V486)
0.98/1.08 c deduced all_different(V18,V332,V489,V1042,V487)
0.98/1.08 c deduced all_different(V114,V536,V545,V584,V920,V490)
0.98/1.08 c deduced all_different(V22,V139,V179,V491)
0.98/1.08 c deduced all_different(V21,V203,V382,V679,V855,V492)
0.98/1.08 c deduced all_different(V15,V26,V112,V611,V796,V497)
0.98/1.08 c deduced all_different(V69,V185,V349,V853,V498)
0.98/1.08 c deduced all_different(V121,V175,V655,V502)
0.98/1.08 c deduced all_different(V39,V174,V289,V484,V681,V744,V503)
0.98/1.08 c deduced all_different(V51,V138,V214,V914,V505)
0.98/1.08 c deduced all_different(V21,V203,V917,V948,V506)
0.98/1.08 c deduced all_different(V27,V375,V599,V752,V845,V961,V507)
0.98/1.08 c deduced all_different(V52,V569,V802,V1052,V1126,V508)
0.98/1.08 c deduced all_different(V187,V189,V366,V425,V656,V790,V509)
0.98/1.08 c deduced all_different(V3,V368,V797,V966,V511)
0.98/1.08 c deduced all_different(V71,V246,V592,V684,V1050,V514)
0.98/1.08 c deduced all_different(V0,V659,V1050,V515)
0.98/1.08 c deduced all_different(V92,V418,V618,V857,V1107,V516)
0.98/1.08 c deduced all_different(V13,V174,V681,V744,V517)
0.98/1.08 c deduced all_different(V246,V592,V1050,V1053,V519)
0.98/1.08 c deduced all_different(V246,V322,V684,V1050,V520)
0.98/1.08 c deduced all_different(V121,V245,V413,V655,V1060,V522)
0.98/1.08 c deduced all_different(V41,V192,V395,V594,V882,V525)
0.98/1.08 c deduced all_different(V132,V263,V545,V584,V526)
0.98/1.08 c deduced all_different(V82,V253,V336,V431,V450,V681,V529)
0.98/1.08 c deduced all_different(V56,V302,V423,V1136,V531)
0.98/1.08 c deduced all_different(V54,V193,V237,V459,V533)
0.98/1.08 c deduced all_different(V228,V853,V1040,V534)
0.98/1.08 c deduced all_different(V357,V440,V684,V1043,V1050,V538)
0.98/1.08 c deduced all_different(V10,V54,V168,V193,V774,V543)
0.98/1.08 c deduced all_different(V105,V432,V504,V735,V741,V546)
0.98/1.08 c deduced all_different(V6,V150,V255,V324,V547)
0.98/1.08 c deduced all_different(V85,V432,V504,V788,V548)
0.98/1.08 c deduced all_different(V4,V35,V198,V242,V550)
0.98/1.08 c deduced all_different(V91,V192,V594,V882,V551)
0.98/1.08 c deduced all_different(V120,V203,V411,V552)
0.98/1.08 c deduced all_different(V85,V105,V504,V537,V553)
0.98/1.08 c deduced all_different(V16,V150,V370,V622,V830,V555)
0.98/1.08 c deduced all_different(V15,V112,V165,V202,V755,V557)
0.98/1.08 c deduced all_different(V109,V361,V545,V582,V916,V1016,V558)
0.98/1.08 c deduced all_different(V5,V81,V99,V293,V305,V1003,V559)
0.98/1.08 c deduced all_different(V59,V328,V586,V690,V973,V1019,V560)
0.98/1.08 c deduced all_different(V31,V124,V401,V606,V563)
0.98/1.08 c deduced all_different(V187,V189,V204,V687,V790,V564)
0.98/1.08 c deduced all_different(V34,V142,V274,V794,V886,V566)
0.98/1.08 c deduced all_different(V54,V168,V193,V237,V570)
0.98/1.08 c deduced all_different(V97,V199,V299,V935,V1039,V572)
0.98/1.08 c deduced all_different(V61,V274,V348,V886,V573)
0.98/1.08 c deduced all_different(V74,V161,V193,V367,V574)
0.98/1.08 c deduced all_different(V150,V152,V183,V576)
0.98/1.08 c deduced all_different(V5,V17,V81,V305,V469,V579)
0.98/1.08 c deduced all_different(V100,V109,V535,V545,V895,V903,V581)
0.98/1.08 c deduced all_different(V34,V144,V886,V936,V583)
0.98/1.08 c deduced all_different(V79,V198,V279,V703,V971,V587)
0.98/1.08 c deduced all_different(V95,V115,V123,V902,V589)
0.98/1.08 c deduced all_different(V38,V190,V221,V1042,V591)
0.98/1.08 c deduced all_different(V14,V78,V454,V595)
0.98/1.08 c deduced all_different(V184,V269,V583,V769,V886,V596)
0.98/1.08 c deduced all_different(V25,V131,V937,V1039,V597)
0.98/1.08 c deduced all_different(V78,V194,V365,V454,V598)
0.98/1.08 c deduced all_different(V94,V225,V268,V338,V876,V600)
0.98/1.08 c deduced all_different(V322,V659,V684,V1050,V603)
0.98/1.08 c deduced all_different(V103,V181,V308,V882,V604)
0.98/1.08 c deduced all_different(V2,V46,V51,V719,V810,V607)
0.98/1.08 c deduced all_different(V47,V73,V186,V276,V398,V609)
0.98/1.08 c deduced all_different(V114,V361,V536,V545,V903,V916,V613)
0.98/1.08 c deduced all_different(V106,V224,V266,V939,V1097,V614)
0.98/1.08 c deduced all_different(V4,V198,V686,V1145,V616)
0.98/1.08 c deduced all_different(V514,V684,V1050,V617)
0.98/1.08 c deduced all_different(V66,V139,V577,V621,V620)
0.98/1.08 c deduced all_different(V20,V244,V441,V521,V800,V626)
0.98/1.08 c deduced all_different(V7,V89,V304,V618,V776,V857,V627)
0.98/1.08 c deduced all_different(V88,V136,V280,V454,V1004,V628)
0.98/1.08 c deduced all_different(V48,V171,V252,V957,V1120,V629)
0.98/1.08 c deduced all_different(V85,V504,V537,V812,V1155,V630)
0.98/1.08 c deduced all_different(V187,V204,V402,V747,V790,V634)
0.98/1.08 c deduced all_different(V94,V225,V876,V1035,V635)
0.98/1.08 c deduced all_different(V36,V234,V423,V636)
0.98/1.08 c deduced all_different(V91,V250,V395,V594,V882,V638)
0.98/1.08 c deduced all_different(V18,V221,V415,V1042,V1088,V639)
0.98/1.08 c deduced all_different(V12,V98,V401,V648,V1008,V640)
0.98/1.08 c deduced all_different(V18,V433,V489,V1042,V642)
0.98/1.08 c deduced all_different(V31,V124,V401,V606,V644)
0.98/1.08 c deduced all_different(V25,V97,V131,V1007,V1039,V645)
0.98/1.08 c deduced all_different(V246,V501,V710,V1014,V1050,V646)
0.98/1.08 c deduced all_different(V84,V87,V480,V513,V708,V902,V651)
0.98/1.08 c deduced all_different(V172,V394,V504,V788,V912,V654)
0.98/1.08 c deduced all_different(V5,V17,V81,V99,V1127,V658)
0.98/1.08 c deduced all_different(V322,V440,V684,V1050,V661)
0.98/1.08 c deduced all_different(V14,V147,V280,V454,V1154,V662)
0.98/1.08 c deduced all_different(V100,V109,V545,V582,V916,V664)
0.98/1.08 c deduced all_different(V102,V395,V697,V882,V887,V665)
0.98/1.08 c deduced all_different(V85,V432,V504,V537,V812,V999,V666)
0.98/1.08 c deduced all_different(V49,V178,V410,V752,V845,V667)
0.98/1.08 c deduced all_different(V92,V437,V495,V618,V1107,V668)
0.98/1.08 c deduced all_different(V20,V210,V475,V800,V669)
0.98/1.08 c deduced all_different(V106,V209,V266,V326,V670)
0.98/1.08 c deduced all_different(V212,V224,V266,V326,V921,V671)
0.98/1.08 c deduced all_different(V15,V26,V130,V824,V1138,V672)
0.98/1.08 c deduced all_different(V106,V209,V266,V670,V673)
0.98/1.08 c deduced all_different(V231,V377,V760,V797,V841,V674)
0.98/1.08 c deduced all_different(V263,V526,V536,V545,V584,V678)
0.98/1.08 c deduced all_different(V74,V163,V193,V367,V680)
0.98/1.08 c deduced all_different(V20,V521,V626,V800,V901,V682)
0.98/1.08 c deduced all_different(V34,V144,V590,V633,V886,V936,V688)
0.98/1.08 c deduced all_different(V34,V144,V346,V886,V959,V689)
0.98/1.08 c deduced all_different(V33,V229,V244,V800,V691)
0.98/1.08 c deduced all_different(V170,V195,V504,V537,V1155,V694)
0.98/1.08 c deduced all_different(V132,V526,V545,V584,V940,V695)
0.98/1.08 c deduced all_different(V7,V437,V464,V618,V861,V696)
0.98/1.08 c deduced all_different(V31,V401,V460,V563,V699)
0.98/1.08 c deduced all_different(V7,V464,V500,V618,V904,V700)
0.98/1.08 c deduced all_different(V9,V198,V279,V334,V703,V701)
0.98/1.08 c deduced all_different(V94,V225,V876,V702)
0.98/1.08 c deduced all_different(V44,V98,V401,V466,V704)
0.98/1.08 c deduced all_different(V11,V200,V398,V984,V706)
0.98/1.08 c deduced all_different(V47,V186,V276,V398,V707)
0.98/1.08 c deduced all_different(V351,V659,V1050,V711)
0.98/1.08 c deduced all_different(V135,V193,V265,V712)
0.98/1.08 c deduced all_different(V25,V364,V540,V930,V937,V1039,V713)
0.98/1.08 c deduced all_different(V3,V42,V797,V966,V714)
0.98/1.08 c deduced all_different(V117,V181,V604,V882,V715)
0.98/1.08 c deduced all_different(V19,V81,V469,V863,V717)
0.98/1.08 c deduced all_different(V15,V113,V202,V407,V755,V718)
0.98/1.08 c deduced all_different(V11,V319,V398,V825,V721)
0.98/1.08 c deduced all_different(V0,V71,V588,V1050,V1091,V723)
0.98/1.08 c deduced all_different(V50,V126,V266,V947,V1096,V727)
0.98/1.08 c deduced all_different(V10,V135,V168,V193,V237,V728)
0.98/1.08 c deduced all_different(V20,V210,V800,V1002,V730)
0.98/1.08 c deduced all_different(V71,V246,V322,V710,V1050,V731)
0.98/1.08 c deduced all_different(V108,V259,V385,V619,V905,V733)
0.98/1.08 c deduced all_different(V67,V228,V853,V885,V969,V736)
0.98/1.08 c deduced all_different(V20,V244,V800,V737)
0.98/1.08 c deduced all_different(V7,V304,V495,V618,V758,V738)
0.98/1.08 c deduced all_different(V7,V89,V304,V495,V618,V857,V739)
0.98/1.08 c deduced all_different(V57,V277,V569,V802,V740)
0.98/1.08 c deduced all_different(V10,V163,V193,V774,V742)
0.98/1.08 c deduced all_different(V38,V221,V591,V1042,V743)
0.98/1.08 c deduced all_different(V58,V231,V307,V797,V746)
0.98/1.08 c deduced all_different(V75,V479,V690,V1019,V1109,V749)
0.98/1.08 c deduced all_different(V55,V245,V655,V750)
0.98/1.08 c deduced all_different(V121,V175,V303,V413,V655,V751)
0.98/1.08 c deduced all_different(V43,V225,V230,V876,V1075,V753)
0.98/1.08 c deduced all_different(V97,V390,V472,V572,V935,V1039,V754)
0.98/1.08 c deduced all_different(V25,V199,V645,V937,V1039,V1081,V757)
0.98/1.08 c deduced all_different(V55,V238,V655,V716,V761)
0.98/1.08 c deduced all_different(V47,V60,V398,V683,V992,V762)
0.98/1.08 c deduced all_different(V21,V141,V203,V763)
0.98/1.08 c deduced all_different(V160,V210,V229,V475,V800,V764)
0.98/1.08 c deduced all_different(V11,V327,V398,V805,V765)
0.98/1.08 c deduced all_different(V211,V504,V524,V537,V630,V766)
0.98/1.08 c deduced all_different(V63,V90,V1120,V767)
0.98/1.08 c deduced all_different(V51,V138,V283,V810,V1089,V768)
0.98/1.08 c deduced all_different(V173,V384,V423,V531,V771)
0.98/1.08 c deduced all_different(V36,V56,V423,V772)
0.98/1.08 c deduced all_different(V65,V175,V655,V750,V844,V773)
0.98/1.08 c deduced all_different(V105,V432,V504,V537,V782,V775)
0.98/1.08 c deduced all_different(V175,V236,V502,V655,V777)
0.98/1.08 c deduced all_different(V20,V244,V441,V800,V779)
0.98/1.08 c deduced all_different(V3,V42,V377,V797,V780)
0.98/1.08 c deduced all_different(V196,V513,V708,V902,V781)
0.98/1.08 c deduced all_different(V146,V203,V556,V783)
0.98/1.08 c deduced all_different(V43,V225,V230,V268,V876,V1075,V784)
0.98/1.08 c deduced all_different(V37,V307,V377,V624,V797,V785)
0.98/1.08 c deduced all_different(V68,V73,V222,V319,V398,V786)
0.98/1.08 c deduced all_different(V86,V401,V644,V881,V1135,V787)
0.98/1.08 c deduced all_different(V34,V274,V583,V886,V789)
0.98/1.08 c deduced all_different(V13,V174,V517,V681,V791)
0.98/1.08 c deduced all_different(V17,V81,V305,V399,V518,V549,V792)
0.98/1.08 c deduced all_different(V50,V209,V212,V266,V985,V793)
0.98/1.08 c deduced all_different(V204,V216,V359,V402,V790,V795)
0.98/1.08 c deduced all_different(V38,V190,V208,V415,V1042,V798)
0.98/1.08 c deduced all_different(V27,V49,V599,V845,V801)
0.98/1.08 c deduced all_different(V36,V384,V423,V542,V806)
0.98/1.08 c deduced all_different(V15,V157,V260,V424,V808)
0.98/1.08 c deduced all_different(V105,V432,V458,V504,V788,V811)
0.98/1.08 c deduced all_different(V37,V307,V478,V624,V797,V910,V814)
0.98/1.08 c deduced all_different(V27,V49,V110,V845,V815)
0.98/1.08 c deduced all_different(V11,V73,V200,V398,V817)
0.98/1.08 c deduced all_different(V114,V361,V545,V818)
0.98/1.08 c deduced all_different(V90,V133,V957,V1120,V819)
0.98/1.08 c deduced all_different(V145,V150,V183,V239,V568,V820)
0.98/1.08 c deduced all_different(V24,V145,V150,V1034,V821)
0.98/1.08 c deduced all_different(V184,V269,V347,V583,V886,V925,V822)
0.98/1.08 c deduced all_different(V106,V266,V273,V826)
0.98/1.08 c deduced all_different(V15,V26,V112,V165,V827)
0.98/1.08 c deduced all_different(V15,V130,V407,V828)
0.98/1.08 c deduced all_different(V32,V49,V111,V752,V845,V831)
0.98/1.08 c deduced all_different(V7,V304,V618,V627,V776,V857,V833)
0.98/1.08 c deduced all_different(V84,V513,V708,V902,V951,V1068,V834)
0.98/1.08 c deduced all_different(V53,V146,V203,V835)
0.98/1.08 c deduced all_different(V78,V147,V365,V454,V836)
0.98/1.08 c deduced all_different(V155,V385,V388,V619,V837)
0.98/1.08 c deduced all_different(V139,V179,V362,V577,V838)
0.98/1.08 c deduced all_different(V49,V110,V599,V845,V839)
0.98/1.08 c deduced all_different(V46,V51,V605,V922,V1010,V840)
0.98/1.08 c deduced all_different(V18,V221,V363,V433,V1042,V842)
0.98/1.08 c deduced all_different(V53,V203,V625,V835,V846)
0.98/1.08 c deduced all_different(V6,V150,V255,V911,V848)
0.98/1.08 c deduced all_different(V34,V142,V477,V633,V886,V849)
0.98/1.08 c deduced all_different(V66,V76,V577,V923,V854)
0.98/1.08 c deduced all_different(V191,V259,V385,V388,V649,V858)
0.98/1.08 c deduced all_different(V134,V332,V445,V1042,V859)
0.98/1.08 c deduced all_different(V4,V9,V198,V1145,V860)
0.98/1.08 c deduced all_different(V6,V150,V183,V239,V862)
0.98/1.08 c deduced all_different(V78,V147,V454,V836,V864)
0.98/1.08 c deduced all_different(V0,V71,V684,V1043,V1050,V865)
0.98/1.08 c deduced all_different(V102,V250,V449,V869,V882,V866)
0.98/1.08 c deduced all_different(V23,V173,V360,V423,V1022,V1095,V867)
0.98/1.08 c deduced all_different(V36,V56,V423,V542,V870)
0.98/1.08 c deduced all_different(V14,V147,V454,V530,V1037,V1154,V871)
0.98/1.08 c deduced all_different(V125,V128,V225,V281,V320,V876,V872)
0.98/1.08 c deduced all_different(V67,V69,V162,V297,V853,V874)
0.98/1.08 c deduced all_different(V189,V366,V481,V656,V790,V875)
0.98/1.08 c deduced all_different(V2,V46,V51,V607,V1023,V877)
0.98/1.08 c deduced all_different(V4,V9,V198,V1145,V878)
0.98/1.08 c deduced all_different(V159,V166,V387,V690,V1111,V880)
0.98/1.08 c deduced all_different(V108,V240,V259,V385,V905,V1078,V883)
0.98/1.08 c deduced all_different(V86,V401,V448,V648,V1094,V884)
0.98/1.08 c deduced all_different(V15,V26,V165,V672,V824,V888)
0.98/1.08 c deduced all_different(V52,V353,V802,V813,V889)
0.98/1.08 c deduced all_different(V65,V175,V655,V750,V890)
0.98/1.08 c deduced all_different(V52,V353,V643,V802,V1115,V891)
0.98/1.08 c deduced all_different(V52,V169,V802,V932,V1052,V892)
0.98/1.08 c deduced all_different(V132,V335,V545,V895,V940,V893)
0.98/1.08 c deduced all_different(V40,V51,V138,V877,V894)
0.98/1.08 c deduced all_different(V151,V292,V306,V336,V450,V681,V896)
0.98/1.08 c deduced all_different(V59,V328,V387,V528,V585,V690,V897)
0.98/1.08 c deduced all_different(V23,V173,V360,V423,V539,V1022,V898)
0.98/1.08 c deduced all_different(V20,V521,V626,V800,V901,V899)
0.98/1.08 c deduced all_different(V27,V49,V801,V845,V900)
0.98/1.08 c deduced all_different(V16,V150,V370,V622,V830,V906)
0.98/1.08 c deduced all_different(V97,V131,V540,V1007,V1039,V909)
0.98/1.08 c deduced all_different(V47,V276,V398,V609,V1092,V913)
0.98/1.08 c deduced all_different(V35,V143,V198,V279,V915)
0.98/1.08 c deduced all_different(V43,V94,V268,V426,V876,V918)
0.98/1.08 c deduced all_different(V42,V462,V797,V919)
0.98/1.08 c deduced all_different(V20,V521,V626,V800,V901,V924)
0.98/1.08 c deduced all_different(V75,V387,V690,V973,V927)
0.98/1.08 c deduced all_different(V167,V171,V285,V1098,V1120,V928)
0.98/1.08 c deduced all_different(V8,V56,V423,V1136,V929)
0.98/1.08 c deduced all_different(V1,V51,V214,V339,V381,V1089,V931)
0.98/1.08 c deduced all_different(V15,V26,V165,V407,V933)
0.98/1.08 c deduced all_different(V84,V205,V708,V902,V934)
0.98/1.08 c deduced all_different(V50,V266,V298,V727,V1096,V938)
0.98/1.08 c deduced all_different(V167,V316,V453,V1120,V941)
0.98/1.08 c deduced all_different(V89,V176,V618,V758,V943)
0.98/1.08 c deduced all_different(V22,V76,V247,V653,V944)
0.98/1.08 c deduced all_different(V17,V45,V81,V446,V469,V946)
0.98/1.08 c deduced all_different(V160,V475,V764,V800,V949)
0.98/1.08 c deduced all_different(V25,V97,V364,V540,V1039,V950)
0.98/1.08 c deduced all_different(V63,V252,V1063,V1120,V952)
0.98/1.08 c deduced all_different(V119,V199,V960,V1039,V953)
0.98/1.08 c deduced all_different(V155,V317,V385,V954)
0.98/1.08 c deduced all_different(V87,V95,V115,V123,V480,V651,V902,V955)
0.98/1.08 c deduced all_different(V120,V203,V411,V917,V956)
0.98/1.08 c deduced all_different(V59,V496,V585,V690,V962)
0.98/1.08 c deduced all_different(V57,V393,V569,V740,V802,V963)
0.98/1.08 c deduced all_different(V263,V335,V536,V545,V964)
0.98/1.08 c deduced all_different(V1,V40,V51,V355,V605,V965)
0.98/1.08 c deduced all_different(V70,V204,V359,V790,V1048,V967)
0.98/1.08 c deduced all_different(V16,V145,V150,V568,V968)
0.98/1.08 c deduced all_different(V160,V682,V691,V737,V800,V974)
0.98/1.08 c deduced all_different(V77,V454,V578,V595,V975)
0.98/1.08 c deduced all_different(V132,V483,V526,V545,V1016,V976)
0.98/1.08 c deduced all_different(V59,V312,V585,V690,V1019,V977)
0.98/1.08 c deduced all_different(V50,V212,V266,V793,V921,V985,V978)
0.98/1.08 c deduced all_different(V15,V113,V202,V407,V705,V824,V979)
0.98/1.08 c deduced all_different(V18,V310,V639,V1042,V980)
0.98/1.08 c deduced all_different(V96,V115,V123,V197,V676,V902,V982)
0.98/1.08 c deduced all_different(V12,V401,V460,V1045,V983)
0.98/1.08 c deduced all_different(V70,V402,V425,V790,V986)
0.98/1.08 c deduced all_different(V109,V114,V545,V584,V664,V920,V988)
0.98/1.08 c deduced all_different(V191,V288,V385,V388,V619,V989)
0.98/1.08 c deduced all_different(V27,V116,V801,V845,V900,V990)
0.98/1.08 c deduced all_different(V33,V229,V475,V691,V800,V991)
0.98/1.08 c deduced all_different(V55,V238,V561,V655,V1012,V993)
0.98/1.08 c deduced all_different(V27,V153,V599,V845,V961,V994)
0.98/1.08 c deduced all_different(V70,V187,V204,V366,V790,V995)
1.07/1.11 c deduced all_different(V134,V208,V310,V332,V1042,V996)
1.07/1.11 c deduced all_different(V22,V66,V621,V1071,V997)
1.07/1.11 c deduced all_different(V140,V175,V303,V655,V1137,V1001)
1.07/1.11 c deduced all_different(V41,V91,V308,V692,V882,V1005)
1.07/1.11 c deduced all_different(V187,V189,V204,V366,V790,V1009)
1.07/1.11 c deduced all_different(V142,V144,V346,V347,V886,V1011)
1.07/1.11 c deduced all_different(V76,V179,V180,V1013)
1.07/1.11 c deduced all_different(V49,V110,V845,V1015)
1.07/1.11 c deduced all_different(V36,V384,V423,V856,V898,V1021)
1.07/1.11 c deduced all_different(V100,V109,V263,V536,V545,V1025)
1.07/1.11 c deduced all_different(V38,V190,V208,V798,V1042,V1026)
1.07/1.11 c deduced all_different(V15,V112,V113,V827,V1027)
1.07/1.11 c deduced all_different(V7,V89,V495,V618,V739,V1028)
1.07/1.11 c deduced all_different(V70,V204,V402,V790,V1030)
1.07/1.11 c deduced all_different(V18,V310,V1042,V1032)
1.07/1.11 c deduced all_different(V33,V244,V521,V800,V1033)
1.07/1.11 c deduced all_different(V52,V353,V643,V802,V1036)
1.07/1.11 c deduced all_different(V69,V162,V295,V853,V1038)
1.07/1.11 c deduced all_different(V3,V42,V780,V797,V966,V1041)
1.07/1.11 c deduced all_different(V42,V714,V785,V797,V851,V1044)
1.07/1.11 c deduced all_different(V0,V515,V1050,V1046)
1.07/1.11 c deduced all_different(V108,V259,V385,V1047)
1.07/1.11 c deduced all_different(V150,V152,V255,V848,V1054)
1.07/1.11 c deduced all_different(V68,V73,V186,V398,V499,V1056)
1.07/1.11 c deduced all_different(V92,V437,V618,V668,V1107,V1057)
1.07/1.11 c deduced all_different(V155,V243,V385,V619,V649,V1058)
1.07/1.11 c deduced all_different(V53,V203,V411,V1061)
1.07/1.11 c deduced all_different(V3,V307,V478,V797,V1064)
1.07/1.11 c deduced all_different(V66,V76,V247,V729,V1066)
1.07/1.11 c deduced all_different(V164,V227,V353,V778,V802,V1069)
1.07/1.11 c deduced all_different(V25,V131,V879,V1007,V1039,V1070)
1.07/1.11 c deduced all_different(V95,V115,V383,V480,V902,V1072)
1.07/1.11 c deduced all_different(V22,V247,V653,V944,V1074)
1.07/1.11 c deduced all_different(V20,V210,V475,V800,V1076)
1.07/1.11 c deduced all_different(V65,V245,V655,V750,V844,V1077)
1.07/1.11 c deduced all_different(V52,V427,V643,V802,V1079)
1.07/1.11 c deduced all_different(V322,V520,V710,V1050,V1080)
1.07/1.11 c deduced all_different(V63,V252,V816,V1120,V1082)
1.07/1.11 c deduced all_different(V70,V187,V204,V790,V995,V1083)
1.07/1.11 c deduced all_different(V84,V213,V383,V902,V1084)
1.07/1.11 c deduced all_different(V198,V279,V334,V701,V703,V1085)
1.07/1.11 c deduced all_different(V13,V39,V336,V610,V681,V744,V1090)
1.07/1.11 c deduced all_different(V22,V179,V247,V457,V1093)
1.07/1.11 c deduced all_different(V75,V166,V690,V1073,V1109,V1099)
1.07/1.11 c deduced all_different(V43,V94,V268,V876,V918,V1102)
1.07/1.11 c deduced all_different(V50,V251,V266,V657,V921,V1103)
1.07/1.11 c deduced all_different(V4,V198,V215,V271,V1104)
1.07/1.11 c deduced all_different(V15,V112,V165,V557,V755,V1106)
1.07/1.11 c deduced all_different(V52,V612,V802,V891,V1108)
1.07/1.11 c deduced all_different(V18,V221,V415,V1042,V1088,V1112)
1.07/1.11 c deduced all_different(V71,V322,V440,V1050,V1113)
1.07/1.11 c deduced all_different(V36,V56,V423,V870,V1114)
1.07/1.11 c deduced all_different(V89,V304,V618,V627,V776,V1116)
1.07/1.11 c deduced all_different(V49,V148,V397,V845,V1118)
1.07/1.11 c deduced all_different(V91,V103,V308,V882,V1121)
1.07/1.11 c deduced all_different(V15,V26,V130,V705,V748,V847,V1122)
1.07/1.11 c deduced all_different(V7,V464,V500,V618,V1125)
1.07/1.11 c deduced all_different(V189,V366,V509,V790,V1128)
1.07/1.11 c deduced all_different(V37,V307,V478,V624,V797,V814,V1129)
1.07/1.11 c deduced all_different(V93,V291,V349,V736,V853,V885,V1131)
1.07/1.11 c deduced all_different(V29,V118,V198,V242,V380,V1132)
1.07/1.11 c deduced all_different(V114,V545,V613,V903,V1134)
1.07/1.11 c deduced all_different(V182,V320,V593,V876,V1139)
1.07/1.11 c deduced all_different(V139,V491,V621,V1071,V1140)
1.07/1.11 c deduced all_different(V57,V277,V493,V802,V1020,V1141)
1.07/1.11 c deduced all_different(V106,V224,V266,V273,V1143)
1.07/1.11 c deduced all_different(V12,V98,V124,V401,V1144)
1.07/1.11 c deduced all_different(V59,V328,V387,V528,V660,V690,V1146)
1.07/1.11 c deduced all_different(V12,V86,V401,V881,V1008,V1147)
1.07/1.11 c deduced all_different(V38,V190,V591,V1042,V1148)
1.07/1.11 c deduced all_different(V28,V81,V99,V518,V1149)
1.07/1.11 c deduced all_different(V13,V223,V681,V1150)
1.07/1.11 c deduced all_different(V41,V102,V488,V882,V1151)
1.07/1.11 c deduced all_different(V190,V332,V489,V1042,V1152)
1.07/1.11 c deduced all_different(V38,V190,V208,V798,V1042,V1153)
1.07/1.11 c with 49231 constraints
1.07/1.11 c Solving