0.00/0.03 c small-domain mode
0.00/0.05 c Seed is 2120809674
0.00/0.05 c Constructing HOME/instance-2084794-1247724949.xml
0.37/0.47 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V92,V93,V94,V0)
0.37/0.47 c deduced all_different(V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V45,V46,V47,V80,V89,V99,V103,V104,V105,V106,V126,V16)
0.37/0.47 c deduced all_different(V0,V1,V41,V361,V364,V367,V373,V34)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V173,V35)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V343,V36)
0.37/0.47 c deduced all_different(V0,V1,V2,V39,V47,V55,V57,V80,V89,V151,V559,V571,V572,V38)
0.37/0.47 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V520,V524,V525,V539,V540,V40)
0.37/0.47 c deduced all_different(V0,V1,V36,V347,V375,V377,V42)
0.37/0.47 c deduced all_different(V0,V1,V36,V345,V43)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V51,V52,V80,V89,V151,V590,V594,V606,V607,V44)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V49,V50,V80,V89,V151,V174,V211,V213,V215,V217,V220,V48)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V239,V241,V242,V53)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V273,V274,V289,V290,V54)
0.37/0.47 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V520,V524,V525,V545,V548,V552,V56)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V59,V60,V80,V89,V151,V486,V503,V505,V507,V509,V518,V58)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V404,V406,V408,V410,V412,V414,V416,V418,V61)
0.37/0.47 c deduced all_different(V0,V1,V2,V4,V5,V6,V7,V8,V9,V15,V62)
0.37/0.47 c deduced all_different(V0,V1,V2,V5,V6,V7,V8,V9,V15,V63)
0.37/0.47 c deduced all_different(V0,V1,V2,V6,V7,V8,V9,V15,V64)
0.37/0.47 c deduced all_different(V0,V1,V2,V7,V8,V9,V15,V65)
0.37/0.47 c deduced all_different(V0,V1,V2,V8,V9,V15,V66)
0.37/0.47 c deduced all_different(V0,V1,V2,V9,V15,V67)
0.37/0.47 c deduced all_different(V0,V1,V2,V15,V68)
0.37/0.47 c deduced all_different(V0,V1,V2,V69)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V70)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V71)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V72)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V73)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V82,V81)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V83)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V84)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V86,V85)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V87)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V88)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V92,V95)
0.37/0.47 c deduced all_different(V0,V1,V2,V47,V80,V89,V96)
0.37/0.47 c deduced all_different(V0,V1,V2,V80,V89,V96,V97)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V108,V109,V107)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V107,V118,V119,V110)
0.37/0.47 c deduced all_different(V0,V1,V2,V32,V45,V46,V47,V80,V89,V99,V103,V104,V105,V106,V111)
0.37/0.47 c deduced all_different(V0,V1,V2,V32,V45,V46,V47,V80,V89,V99,V103,V104,V105,V115)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V107,V110,V118,V120)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V107,V110,V118,V121)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V107,V110,V118,V123,V124,V122)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V107,V110,V118,V123,V127)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V92,V95,V107,V110,V118,V128)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V130)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V132,V131)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V131,V133)
0.37/0.47 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V134)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V137,V135)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V136)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V139,V138)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V37,V74,V75,V76,V77,V78,V79,V91,V139,V140)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V141)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V143,V142)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V144)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V146,V145)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V149,V147)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V148)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V150)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V153,V152)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V154)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V156,V155)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V157)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V159,V158)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V160)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V162,V161)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V163)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V164)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V165)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V167,V166)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V169,V168)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V168,V170)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V171)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V177)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V180,V179)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V182,V181)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V179,V183)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V182,V185,V184)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V182,V185,V187,V186)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V182,V185,V187,V189,V188)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V182,V185,V187,V188,V190)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V182,V187,V188,V191)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V182,V187,V188,V193,V192)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V187,V188,V192,V194)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V187,V188,V192,V197,V195)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V179,V196)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V179,V198)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V187,V188,V192,V199)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V188,V192,V200)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V179,V201)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V204)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V179,V207,V206)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V179,V208)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V208,V209)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V210)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V211,V212)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V211,V213,V214)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V48,V49,V80,V89,V151,V174,V178,V211,V213,V215,V216)
0.37/0.48 c deduced all_different(V0,V1,V2,V35,V47,V80,V89,V151,V221)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V224,V222)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V223)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V226,V225)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V227)
0.37/0.48 c deduced all_different(V0,V1,V2,V10,V11,V47,V80,V89,V151,V228)
0.37/0.48 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V47,V80,V89,V151,V229)
0.37/0.48 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V47,V80,V89,V151,V230)
0.37/0.48 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V47,V80,V89,V151,V231)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V233,V232)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V234)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V236,V235)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V238,V243,V244,V245,V237)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V237,V238,V243,V246)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V237,V238,V243,V248,V247)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V237,V238,V243,V250,V249)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V237,V238,V249,V251)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V237,V238,V249,V252)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V237,V238,V254,V253)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V237,V238,V253,V255)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V237,V238,V253,V256)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V237,V238,V257)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V139,V140,V237,V238,V258)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V53,V80,V89,V151,V239,V241,V260)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V261)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V262)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V263)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V263,V264)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V267)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V268)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V270)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V272,V273,V271)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V272,V273,V274,V275)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V273,V274,V277,V276)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V278)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V279)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V280)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V282,V281)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V283)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V273,V274,V276,V285,V284)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V273,V274,V276,V286)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V273,V274,V286,V287)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V266,V269,V273,V274,V288)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V54,V55,V80,V89,V151,V266,V269,V273,V274,V289,V294,V292)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V293)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V54,V55,V80,V89,V151,V266,V269,V273,V274,V289,V292,V295)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V54,V55,V80,V89,V151,V266,V269,V273,V274,V289,V292,V297)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V298)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V301,V304,V300)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V302)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V303)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V300,V305)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V306)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V307)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V309,V308)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V310)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V311)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V312)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V315,V313)
0.37/0.48 c deduced all_different(V0,V1,V2,V11,V12,V47,V55,V80,V89,V151,V314)
0.37/0.48 c deduced all_different(V0,V1,V2,V11,V12,V47,V55,V80,V89,V151,V317,V316)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V319,V318)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V320)
0.37/0.48 c deduced all_different(V0,V1,V2,V11,V12,V47,V55,V80,V89,V151,V322,V321)
0.37/0.48 c deduced all_different(V0,V1,V2,V10,V11,V12,V47,V55,V80,V89,V151,V323)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V324)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V325)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V327,V326)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V328)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V140,V329)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V331,V330)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V334,V332)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V333)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V335)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V336)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V337)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V338)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V339)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V340)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V341)
0.37/0.48 c deduced all_different(V0,V1,V36,V80,V344)
0.37/0.48 c deduced all_different(V0,V1,V36,V344,V345,V346)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V349,V350,V351,V348)
0.37/0.48 c deduced all_different(V0,V1,V353,V354,V355,V356,V357,V358,V359,V352)
0.37/0.48 c deduced all_different(V0,V1,V36,V360)
0.37/0.48 c deduced all_different(V0,V1,V361,V363,V362)
0.37/0.48 c deduced all_different(V0,V1,V41,V361,V364,V366)
0.37/0.48 c deduced all_different(V0,V1,V41,V361,V364,V367,V368)
0.37/0.48 c deduced all_different(V0,V1,V41,V361,V364,V370)
0.37/0.48 c deduced all_different(V0,V1,V36,V43,V381,V379)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V382)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V383)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V384)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V386,V385)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V386,V388,V387)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V390,V389)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V391)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V392)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V393)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V395,V394)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V396)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V419,V420,V421,V422,V398)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V389,V400,V399)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V389,V401)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V401,V402)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V403)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V404,V405)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V404,V406,V407)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V404,V406,V408,V409)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V404,V406,V408,V410,V411)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V404,V406,V408,V410,V412,V413)
0.37/0.48 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V387,V404,V406,V408,V410,V412,V414,V415)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V420,V424,V425,V423)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V420,V423,V424,V426)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V420,V424,V427)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V424,V428)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V424,V430,V431,V429)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V424,V429,V433,V432)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V429,V432,V434)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V429,V435)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V436)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V438,V439,V440,V437)
0.37/0.48 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V437,V438,V441)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V437,V438,V442)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V437,V444,V443)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V419,V437,V445)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V437,V445,V447,V446)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V437,V445,V448)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V437,V449)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V398,V450)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V61,V80,V89,V151,V404,V406,V408,V410,V412,V414,V416,V452)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V454,V453)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V456,V455)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V456,V457)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V457,V459,V460,V458)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V462,V472,V473,V461)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V458,V464,V465,V463)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V458,V463,V466)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V458,V466,V467)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V458,V468)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V469)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V471,V470)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V461,V462,V474)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V461,V462,V475)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V461,V476)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V470,V477)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V470,V478)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V461,V480,V481,V479)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V461,V479,V482)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V479,V483)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V484)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V80,V89,V151,V485)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V490,V489)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V511,V512,V513,V491)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V490,V492)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V490,V494,V493)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V497)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V490,V493,V499,V498)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V490,V493,V500)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V490,V500,V501)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V490,V502)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V490,V503,V504)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V490,V503,V505,V506)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V58,V59,V80,V89,V151,V486,V490,V503,V505,V507,V508)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V491,V511,V514)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V491,V511,V515)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V491,V516)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V519)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V520,V522,V523,V521)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V520,V524,V525,V526)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V529,V527)
0.37/0.49 c deduced all_different(V0,V1,V2,V47,V55,V80,V89,V151,V520,V524,V525,V528)
0.37/0.49 c deduced all_different(V0,V1,V2,V40,V47,V55,V80,V89,V151,V520,V524,V525,V530)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V532,V531)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V534,V533)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V535)
0.37/0.49 c deduced all_different(V0,V1,V2,V40,V47,V55,V80,V89,V151,V520,V524,V525,V537)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V40,V47,V55,V80,V89,V151,V520,V524,V525,V541)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V520,V524,V525,V541,V542)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V520,V524,V525,V544,V543)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V520,V524,V525,V545,V547,V546)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V550)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V520,V524,V553)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V40,V47,V55,V80,V89,V151,V520,V524,V555)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V151,V520,V524,V559,V561,V562,V556)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V520,V524,V556,V557)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V520,V524,V556,V558)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V151,V520,V524,V556,V559,V563)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V151,V520,V556,V559,V563,V564)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V151,V520,V556,V559,V566,V567,V565)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V151,V520,V556,V559,V565,V568)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V151,V520,V559,V565,V568,V569)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V80,V89,V151,V520,V559,V565,V570)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V57,V80,V89,V151,V559,V572,V575,V574)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V39,V47,V55,V57,V80,V89,V151,V559,V572,V579,V576)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V577)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V580)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V581)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V583)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V91,V584)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V585)
0.37/0.49 c deduced all_different(V0,V1,V2,V38,V47,V55,V80,V89,V151,V586)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V151,V590,V594,V593)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V151,V590,V594,V596,V595)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V151,V590,V599)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V613,V614,V600)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V151,V590,V594,V595,V602,V601)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V151,V590,V594,V595,V603)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V151,V590,V594,V603,V604)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V80,V89,V151,V590,V594,V605)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V52,V80,V89,V151,V590,V594,V606,V610,V609)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V52,V80,V89,V151,V590,V594,V606,V609,V612,V611)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V600,V615)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V600,V617,V616)
0.37/0.49 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V74,V75,V76,V77,V78,V79,V91,V139,V140,V600,V618)
0.37/0.49 c deduced all_different(V0,V1,V2,V44,V47,V51,V52,V80,V89,V151,V590,V594,V606,V609,V611,V620)
0.37/0.49 c with 14285 constraints
0.37/0.49 c Solving 0 backtracks
0.77/0.86 s SATISFIABLE
0.77/0.86 c V0=7, V1=2, V2=1, V3=21, V4=0, V5=17, V6=12, V7=15, V8=3, V9=9, V10=6, V11=5, V12=14, V13=25, V14=16, V15=4, V16=2, V17=11, V18=7, V19=5, V20=9, V21=18, V22=10, V23=1, V24=6, V25=13, V26=14, V27=4, V28=15, V29=16, V30=12, V31=17, V32=20, V33=24, V34=21, V35=21, V36=20, V37=10, V38=20, V39=24, V40=25, V41=3, V42=3, V43=0, V44=22, V45=23, V46=19, V47=8, V48=21, V49=24, V50=28, V51=20, V52=24, V53=20, V54=26, V55=23, V56=26, V57=26, V58=21, V59=20, V60=28, V61=28, V62=8, V63=0, V64=0, V65=0, V66=0, V67=0, V68=0, V69=0, V70=8, V71=8, V72=8, V73=8, V74=19, V75=20, V76=8, V77=11, V78=13, V79=23, V80=3, V81=0, V82=8, V83=0, V84=0, V85=8, V86=0, V87=0, V88=0, V89=0, V90=0, V91=18, V92=22, V93=26, V94=24, V95=28, V96=19, V97=8, V98=0, V99=22, V100=0, V101=0, V102=0, V103=28, V104=26, V105=21, V106=27, V107=24, V108=26, V109=10, V110=10, V111=24, V112=0, V113=0, V114=0, V115=24, V116=0, V117=0, V118=30, V119=26, V120=26, V121=26, V122=27, V123=26, V124=29, V125=0, V126=25, V127=27, V128=26, V129=0, V130=22, V131=22, V132=24, V133=24, V134=22, V135=22, V136=19, V137=24, V138=24, V139=22, V140=24, V141=10, V142=10, V143=26, V144=10, V145=26, V146=10, V147=26, V148=19, V149=10, V150=10, V151=19, V152=26, V153=10, V154=10, V155=26, V156=10, V157=10, V158=10, V159=26, V160=10, V161=26, V162=10, V163=10, V164=20, V165=10, V166=26, V167=10, V168=26, V169=10, V170=10, V171=10, V172=0, V173=20, V174=20, V175=0, V176=0, V177=23, V178=22, V179=23, V180=25, V181=10, V182=29, V183=25, V184=26, V185=10, V186=26, V187=28, V188=26, V189=27, V190=27, V191=10, V192=27, V193=10, V194=10, V195=10, V196=25, V197=29, V198=25, V199=10, V200=10, V201=25, V202=0, V203=0, V204=22, V205=0, V206=25, V207=26, V208=25, V209=23, V210=23, V211=23, V212=25, V213=25, V214=26, V215=26, V216=27, V217=27, V218=0, V219=0, V220=22, V221=20, V222=10, V223=20, V224=26, V225=10, V226=26, V227=10, V228=20, V229=20, V230=20, V231=20, V232=26, V233=10, V234=10, V235=20, V236=21, V237=10, V238=27, V239=23, V240=0, V241=21, V242=22, V243=23, V244=26, V245=28, V246=26, V247=28, V248=26, V249=28, V250=26, V251=23, V252=23, V253=26, V254=23, V255=23, V256=23, V257=23, V258=23, V259=0, V260=22, V261=20, V262=20, V263=21, V264=20, V265=0, V266=20, V267=21, V268=22, V269=21, V270=22, V271=22, V272=25, V273=24, V274=22, V275=26, V276=25, V277=26, V278=22, V279=22, V280=22, V281=24, V282=22, V283=22, V284=27, V285=26, V286=26, V287=25, V288=25, V289=25, V290=27, V291=0, V292=28, V293=10, V294=27, V295=27, V296=0, V297=27, V298=10, V299=0, V300=22, V301=23, V302=20, V303=20, V304=10, V305=10, V306=10, V307=10, V308=22, V309=10, V310=10, V311=10, V312=10, V313=10, V314=20, V315=22, V316=20, V317=21, V318=10, V319=22, V320=10, V321=20, V322=21, V323=20, V324=20, V325=10, V326=22, V327=10, V328=20, V329=10, V330=22, V331=10, V332=10, V333=20, V334=22, V335=10, V336=20, V337=20, V338=20, V339=20, V340=20, V341=20, V342=0, V343=21, V344=0, V345=3, V346=8, V347=0, V348=24, V349=26, V350=23, V351=22, V352=23, V353=21, V354=3, V355=22, V356=20, V357=0, V358=19, V359=8, V360=3, V361=0, V362=8, V363=3, V364=8, V365=0, V366=19, V367=19, V368=20, V369=0, V370=19, V371=0, V372=0, V373=20, V374=0, V375=19, V376=0, V377=8, V378=0, V379=3, V380=0, V381=8, V382=20, V383=20, V384=20, V385=20, V386=21, V387=20, V388=22, V389=21, V390=22, V391=20, V392=20, V393=20, V394=20, V395=21, V396=20, V397=0, V398=10, V399=23, V400=22, V401=22, V402=21, V403=21, V404=21, V405=22, V406=22, V407=23, V408=26, V409=23, V410=27, V411=23, V412=23, V413=24, V414=24, V415=25, V416=20, V417=0, V418=25, V419=22, V420=23, V421=24, V422=26, V423=24, V424=26, V425=27, V426=27, V427=24, V428=23, V429=23, V430=24, V431=27, V432=27, V433=24, V434=24, V435=24, V436=23, V437=23, V438=24, V439=27, V440=26, V441=26, V442=26, V443=26, V444=24, V445=24, V446=22, V447=26, V448=22, V449=22, V450=22, V451=0, V452=25, V453=20, V454=21, V455=21, V456=20, V457=21, V458=20, V459=22, V460=23, V461=10, V462=22, V463=21, V464=23, V465=22, V466=22, V467=21, V468=21, V469=20, V470=20, V471=21, V472=23, V473=24, V474=23, V475=23, V476=22, V477=21, V478=21, V479=22, V480=23, V481=24, V482=23, V483=10, V484=10, V485=20, V486=22, V487=0, V488=0, V489=24, V490=23, V491=10, V492=24, V493=24, V494=25, V495=0, V496=0, V497=23, V498=26, V499=25, V500=25, V501=24, V502=24, V503=24, V504=25, V505=25, V506=26, V507=26, V508=27, V509=27, V510=0, V511=23, V512=24, V513=22, V514=22, V515=22, V516=22, V517=0, V518=23, V519=20, V520=22, V521=21, V522=20, V523=24, V524=21, V525=24, V526=20, V527=22, V528=20, V529=10, V530=20, V531=22, V532=10, V533=10, V534=22, V535=10, V536=0, V537=20, V538=0, V539=27, V540=26, V541=26, V542=25, V543=25, V544=26, V545=25, V546=27, V547=26, V548=27, V549=0, V550=10, V551=0, V552=28, V553=24, V554=0, V555=24, V556=26, V557=24, V558=24, V559=25, V560=0, V561=28, V562=27, V563=27, V564=21, V565=21, V566=27, V567=28, V568=27, V569=26, V570=26, V571=22, V572=21, V573=0, V574=27, V575=22, V576=22, V577=10, V578=0, V579=27, V580=21, V581=21, V582=0, V583=10, V584=10, V585=21, V586=21, V587=0, V588=0, V589=0, V590=21, V591=0, V592=0, V593=24, V594=23, V595=24, V596=25, V597=0, V598=0, V599=23, V600=10, V601=26, V602=25, V603=25, V604=24, V605=24, V606=28, V607=25, V608=0, V609=26, V610=25, V611=25, V612=27, V613=27, V614=26, V615=26, V616=26, V617=27, V618=26, V619=0, V620=27,
0.77/0.87 v 7 2 1 21 0 17 12 15 3 9 6 5 14 25 16 4 2 11 7 5 9 18 10 1 6 13 14 4 15 16 12 17 20 24 21 21 20 10 20 24 25 3 3 0 22 23 19 8 21 24 28 20 24 20 26 23 26 26 21 20 28 28 8 0 0 0 0 0 0 0 8 8 8 8 19 20 8 11 13 23 3 0 8 0 0 8 0 0 0 0 0 18 22 26 24 28 19 8 0 22 0 0 0 28 26 21 27 24 26 10 10 24 0 0 0 24 0 0 30 26 26 26 27 26 29 0 25 27 26 0 22 22 24 24 22 22 19 24 24 22 24 10 10 26 10 26 10 26 19 10 10 19 26 10 10 26 10 10 10 26 10 26 10 10 20 10 26 10 26 10 10 10 0 20 20 0 0 23 22 23 25 10 29 25 26 10 26 28 26 27 27 10 27 10 10 10 25 29 25 10 10 25 0 0 22 0 25 26 25 23 23 23 25 25 26 26 27 27 0 0 22 20 10 20 26 10 26 10 20 20 20 20 26 10 10 20 21 10 27 23 0 21 22 23 26 28 26 28 26 28 26 23 23 26 23 23 23 23 23 0 22 20 20 21 20 0 20 21 22 21 22 22 25 24 22 26 25 26 22 22 22 24 22 22 27 26 26 25 25 25 27 0 28 10 27 27 0 27 10 0 22 23 20 20 10 10 10 10 22 10 10 10 10 10 20 22 20 21 10 22 10 20 21 20 20 10 22 10 20 10 22 10 10 20 22 10 20 20 20 20 20 20 0 21 0 3 8 0 24 26 23 22 23 21 3 22 20 0 19 8 3 0 8 3 8 0 19 19 20 0 19 0 0 20 0 19 0 8 0 3 0 8 20 20 20 20 21 20 22 21 22 20 20 20 20 21 20 0 10 23 22 22 21 21 21 22 22 23 26 23 27 23 23 24 24 25 20 0 25 22 23 24 26 24 26 27 27 24 23 23 24 27 27 24 24 24 23 23 24 27 26 26 26 26 24 24 22 26 22 22 22 0 25 20 21 21 20 21 20 22 23 10 22 21 23 22 22 21 21 20 20 21 23 24 23 23 22 21 21 22 23 24 23 10 10 20 22 0 0 24 23 10 24 24 25 0 0 23 26 25 25 24 24 24 25 25 26 26 27 27 0 23 24 22 22 22 22 0 23 20 22 21 20 24 21 24 20 22 20 10 20 22 10 10 22 10 0 20 0 27 26 26 25 25 26 25 27 26 27 0 10 0 28 24 0 24 26 24 24 25 0 28 27 27 21 21 27 28 27 26 26 22 21 0 27 22 22 10 0 27 21 21 0 10 10 21 21 0 0 0 21 0 0 24 23 24 25 0 0 23 10 26 25 25 24 24 28 25 0 26 25 25 27 27 26 26 26 27 26 0 27
0.77/0.87 d ASSIGNMENTS 0