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