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