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