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