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