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