0.00/0.03 c small-domain mode
0.00/0.03 c Seed is 1815362638
0.00/0.03 c Constructing HOME/instance-2084783-1247724944.xml
0.58/0.64 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V38,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V112,V114,V115,V0)
0.58/0.64 c deduced all_different(V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V51,V52,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V129,V131,V132,V133,V136,V172,V16)
0.58/0.64 c deduced all_different(V0,V1,V46,V72,V73,V74,V75,V76,V77,V78,V79,V101,V500,V505,V507,V517,V35)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V320,V36)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V490,V37)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V40,V42,V43,V53,V64,V66,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V771,V788,V789,V41)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V725,V742,V744,V44)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V40,V42,V53,V54,V55,V62,V63,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V392,V396,V399,V400,V401,V403,V404,V424,V427,V430,V45)
0.58/0.64 c deduced all_different(V0,V1,V37,V39,V72,V73,V74,V75,V76,V77,V78,V79,V101,V107,V497,V520,V524,V47)
0.58/0.64 c deduced all_different(V0,V1,V37,V39,V72,V73,V74,V75,V76,V77,V78,V79,V89,V101,V107,V493,V48)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V40,V53,V70,V71,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V538,V540,V541,V542,V543,V544,V545,V546,V568,V571,V572,V573,V574,V575,V576,V623,V49)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V59,V60,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V822,V824,V825,V826,V828,V848,V851,V852,V863,V50)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V57,V58,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V250,V252,V253,V254,V255,V256,V257,V308,V311,V312,V313,V317,V56)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V40,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V333,V352,V355,V381,V61)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V725,V750,V755,V760,V65)
0.58/0.64 c deduced all_different(V0,V1,V2,V39,V40,V53,V68,V69,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V625,V626,V669,V671,V672,V673,V674,V675,V699,V702,V703,V704,V715,V67)
0.58/0.64 c deduced all_different(V0,V1,V2,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V97,V95)
0.58/0.64 c deduced all_different(V0,V1,V2,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V97,V98)
0.58/0.64 c deduced all_different(V0,V1,V2,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V97,V101,V99)
0.58/0.64 c deduced all_different(V0,V1,V2,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V97,V101,V104,V102)
0.58/0.64 c deduced all_different(V0,V1,V2,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V97,V101,V104,V105)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V38,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V112,V116)
0.58/0.64 c deduced all_different(V0,V1,V2,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V97,V101,V104,V107,V108,V118)
0.58/0.64 c deduced all_different(V0,V1,V2,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V97,V101,V104,V107,V108,V118,V120)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V112,V116,V140,V141,V138)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V112,V116,V138,V158,V161,V142)
0.58/0.64 c deduced all_different(V0,V1,V2,V32,V51,V52,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V129,V131,V132,V133,V136,V144)
0.58/0.64 c deduced all_different(V0,V1,V2,V32,V51,V52,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V129,V131,V132,V133,V151)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V112,V116,V138,V142,V158,V162)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V112,V116,V138,V142,V158,V164)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V112,V116,V138,V142,V158,V167,V169,V165)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V112,V116,V138,V142,V158,V167,V173)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V112,V116,V138,V142,V158,V174)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V38,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V179)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V38,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V182,V181)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V38,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V181,V184)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V38,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V185)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V38,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V189,V186)
0.58/0.64 c deduced all_different(V0,V1,V2,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V187)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V38,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V190)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V38,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V195)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V198,V196)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V199)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V201,V200)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V206,V203)
0.58/0.64 c deduced all_different(V0,V1,V2,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V204)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V207)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V211,V209)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V213)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V216,V214)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V218)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V221,V219)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V223)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V226,V224)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V228)
0.58/0.64 c deduced all_different(V0,V1,V2,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V229)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V231)
0.58/0.64 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V233,V232)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V238,V235)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V235,V239)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V240)
0.58/0.65 c deduced all_different(V0,V1,V2,V36,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V244)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V56,V57,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V250,V252,V253,V254,V255,V256,V257,V261,V284,V260)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V265,V263)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V265,V267,V266)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V265,V267,V270,V269)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V265,V267,V270,V273,V271)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V265,V267,V270,V271,V275)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V265,V270,V271,V276)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V265,V270,V271,V279,V277)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V270,V271,V277,V281)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V270,V271,V277,V286,V282)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V270,V271,V277,V287)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V271,V277,V289)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V56,V57,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V250,V252,V253,V254,V255,V256,V257,V260,V261,V291)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V56,V57,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V250,V252,V253,V254,V255,V256,V257,V296)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V56,V57,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V250,V252,V253,V254,V255,V256,V257,V260,V261,V303,V301)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V56,V57,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V250,V252,V253,V254,V255,V256,V257,V260,V261,V304)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V56,V57,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V250,V252,V253,V254,V255,V256,V257,V260,V304,V305)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V56,V57,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V250,V252,V253,V254,V255,V256,V257,V260,V306)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V326,V322)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V324)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V328,V327)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V330)
0.58/0.65 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V39,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V333,V336,V338,V335)
0.58/0.65 c deduced all_different(V0,V1,V2,V10,V11,V39,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V333,V335,V336,V338,V337)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V341,V339)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V343)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V333,V344)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V333,V344,V346)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V350,V357,V359,V361,V348)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V348,V350,V357,V363)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V348,V350,V357,V365,V364)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V348,V350,V357,V368,V367)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V348,V350,V367,V370)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V348,V350,V367,V371)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V348,V350,V373,V372)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V348,V350,V372,V375)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V348,V350,V372,V376)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V348,V350,V377)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V191,V192,V348,V350,V378)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V384)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V53,V54,V55,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V392,V386)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V53,V54,V55,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V386,V388)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V45,V53,V54,V55,V62,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V392,V396,V399,V400,V401,V403,V404,V408,V406)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V45,V53,V54,V55,V62,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V392,V396,V399,V400,V401,V413)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V45,V53,V54,V55,V62,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V392,V396,V399,V400,V401,V403,V404,V406,V419,V417)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V45,V53,V54,V55,V62,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V392,V396,V399,V400,V401,V403,V404,V406,V420)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V45,V53,V54,V55,V62,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V392,V396,V399,V400,V401,V403,V404,V420,V421)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V45,V53,V54,V55,V62,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V392,V396,V399,V400,V401,V403,V404,V422)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V429)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V45,V53,V54,V55,V62,V63,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V392,V396,V399,V400,V401,V403,V404,V424,V427,V431)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V45,V53,V54,V55,V62,V63,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V392,V396,V399,V400,V401,V403,V404,V424,V427,V434)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V436)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V441,V444,V440)
0.58/0.65 c deduced all_different(V0,V1,V2,V10,V11,V12,V13,V14,V15,V39,V40,V42,V53,V54,V55,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V442)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V53,V54,V55,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V442,V443)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V440,V445)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V447)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V450)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V452,V451)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V453)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V454)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V457)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V462,V459)
0.58/0.65 c deduced all_different(V0,V1,V2,V11,V12,V39,V40,V42,V53,V54,V55,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V333,V383,V442,V460)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V465,V464)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V466)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V471)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V473,V472)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V192,V475)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V477,V476)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V480,V478)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V53,V54,V55,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V479)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V481)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V53,V54,V55,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V484)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V42,V53,V54,V55,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V485)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V486)
0.58/0.65 c deduced all_different(V0,V1,V37,V39,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V491)
0.58/0.65 c deduced all_different(V0,V1,V37,V39,V72,V73,V74,V75,V76,V77,V78,V79,V89,V101,V107,V491,V493,V495)
0.58/0.65 c deduced all_different(V0,V1,V37,V39,V72,V73,V74,V75,V76,V77,V78,V79,V101,V107,V499)
0.58/0.65 c deduced all_different(V0,V1,V39,V72,V73,V74,V75,V76,V77,V78,V79,V101,V107,V500,V503)
0.58/0.65 c deduced all_different(V0,V1,V46,V72,V73,V74,V75,V76,V77,V78,V79,V101,V500,V505,V506)
0.58/0.65 c deduced all_different(V0,V1,V46,V72,V73,V74,V75,V76,V77,V78,V79,V101,V500,V505,V507,V509)
0.58/0.65 c deduced all_different(V0,V1,V46,V72,V73,V74,V75,V76,V77,V78,V79,V101,V500,V505,V512)
0.58/0.65 c deduced all_different(V0,V1,V37,V39,V48,V72,V73,V74,V75,V76,V77,V78,V79,V89,V101,V107,V533,V529)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V49,V53,V70,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V538,V540,V541,V542,V543,V544,V545,V546,V549,V551,V548)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V49,V53,V70,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V538,V540,V541,V542,V543,V544,V545,V546,V556)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V578,V582,V583,V584,V559)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V49,V53,V70,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V538,V540,V541,V542,V543,V544,V545,V546,V548,V549,V563,V561)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V49,V53,V70,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V538,V540,V541,V542,V543,V544,V545,V546,V548,V549,V564)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V49,V53,V70,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V538,V540,V541,V542,V543,V544,V545,V546,V548,V564,V565)
0.58/0.65 c deduced all_different(V0,V1,V2,V39,V40,V49,V53,V70,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V538,V540,V541,V542,V543,V544,V545,V546,V548,V566)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V582,V587,V588,V586)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V582,V586,V587,V590)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V582,V587,V591)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V587,V592)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V587,V594,V595,V593)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V587,V593,V598,V597)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V593,V597,V600)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V593,V601)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V602)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V604,V605,V607,V603)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V603,V604,V609)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V603,V604,V610)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V603,V612,V611)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V578,V603,V614)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V603,V614,V616,V615)
0.58/0.65 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V603,V614,V618)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V603,V619)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V559,V620)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V625,V626,V629,V627)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V625,V626,V630)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V625,V626,V630,V632)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V625,V626,V632,V635,V634)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V639,V650,V651,V637)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V625,V634,V641,V643,V640)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V625,V634,V640,V644)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V625,V634,V644,V645)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V625,V634,V646)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V625,V647)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V625,V656,V648)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V637,V639,V653)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V637,V639,V654)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V637,V655)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V637,V658,V659,V657)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V637,V657,V661)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V657,V662)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V663)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V664)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V67,V68,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V625,V626,V669,V671,V672,V673,V674,V675,V681,V683,V678)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V706,V707,V708,V679)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V67,V68,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V625,V626,V669,V671,V672,V673,V674,V675,V688)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V67,V68,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V625,V626,V669,V671,V672,V673,V674,V675,V678,V681,V694,V692)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V67,V68,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V625,V626,V669,V671,V672,V673,V674,V675,V678,V681,V695)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V67,V68,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V625,V626,V669,V671,V672,V673,V674,V675,V678,V695,V696)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V53,V67,V68,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V625,V626,V669,V671,V672,V673,V674,V675,V678,V697)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V679,V706,V710)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V679,V706,V711)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V679,V712)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V42,V53,V54,V55,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V721,V720)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V42,V53,V55,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V725,V727)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V729,V728)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V731,V730)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V733,V732)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V734)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V42,V44,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V725,V738)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V44,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V725,V745)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V725,V745,V746)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V725,V749,V747)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V725,V750,V753)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V757)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V44,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V764)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V43,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V771,V774,V776,V765)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V765,V767)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V765,V770)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V43,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V723,V765,V771,V777)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V43,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V765,V771,V777,V778)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V43,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V765,V771,V781,V783,V779)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V43,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V765,V771,V779,V784)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V43,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V771,V779,V784,V785)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V43,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V717,V771,V779,V786)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V42,V43,V53,V64,V66,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V771,V789,V793)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V43,V53,V64,V66,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V771,V789,V800,V795)
0.58/0.66 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V797)
0.58/0.66 c deduced all_different(V0,V1,V2,V39,V40,V41,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V802)
0.58/0.67 c deduced all_different(V0,V1,V2,V39,V40,V41,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V803)
0.58/0.67 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V806)
0.58/0.67 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V111,V807)
0.58/0.67 c deduced all_different(V0,V1,V2,V39,V40,V41,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V808)
0.58/0.67 c deduced all_different(V0,V1,V2,V39,V40,V41,V53,V64,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V107,V108,V208,V237,V333,V383,V809)
0.58/0.67 c deduced all_different(V0,V1,V2,V39,V50,V53,V54,V55,V59,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V822,V824,V825,V826,V828,V831,V829)
0.58/0.67 c deduced all_different(V0,V1,V2,V39,V50,V53,V54,V55,V59,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V822,V824,V825,V826,V836)
0.58/0.67 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V854,V855,V840)
0.58/0.67 c deduced all_different(V0,V1,V2,V39,V50,V53,V54,V55,V59,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V822,V824,V825,V826,V828,V829,V843,V841)
0.58/0.67 c deduced all_different(V0,V1,V2,V39,V50,V53,V54,V55,V59,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V822,V824,V825,V826,V828,V829,V844)
0.58/0.67 c deduced all_different(V0,V1,V2,V39,V50,V53,V54,V55,V59,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V822,V824,V825,V826,V828,V844,V845)
0.58/0.67 c deduced all_different(V0,V1,V2,V39,V50,V53,V54,V55,V59,V72,V73,V74,V75,V76,V77,V78,V79,V89,V94,V101,V104,V107,V108,V208,V237,V241,V822,V824,V825,V826,V828,V846)
0.58/0.67 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V840,V856)
0.58/0.67 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V840,V858,V857)
0.58/0.67 c deduced all_different(V0,V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V80,V81,V82,V83,V84,V85,V86,V87,V88,V90,V111,V191,V192,V840,V860)
0.58/0.67 c with 18949 constraints
0.58/0.67 c Solving 0 backtracks
0.58/0.69 s UNSATISFIABLE
0.58/0.69 d ASSIGNMENTS 0