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