37275:-2;-2;-3;-1;-6;1;-5;-7;-9;-6;9;4:0::5 37276:1;0;-1;1;-4;-6;4;-7;-7;-1;4;5:0::5 37277:-9;1;-2;-6;-4;-2;9;4;-4;2;2;8:0::5 37278:5;9;-7;9;-1;1;5;-2;-4;-9;-8;3:0::5 37279:-2;-4;3;-1;1;3;-1;3;-6;0;-2;5:0::5 37280:5;-5;-4;-2;-9;-8;1;-2;-7;1;3;6:0::5 37281:4;-1;3;-4;6;5;8;7;-1;-9;0;5:0::5 37282:0;-3;9;9;-5;-4;1;4;8;9;-7;7:0::5 37283:9;9;9;1;3;-5;6;1;-5;-4;-6;7:0:causa sui:5 37302:0;-1;5;4;-7;5;-6;5;4;-8;-2;4:0:causa sui:5 37305:1;-8;-9;4;2;-8;6;-6;8;-9;-3;5:0:causa sui:5:UtilityContainer:50 37306:7;7;-9;-1;-6;-4;-9;2;-9;-5;2;8:0:causa sui:5 37307:-9;7;-7;4;-8;8;-2;7;9;-2;-5;3:0:causa sui:5 37308:-4;1;9;-5;-1;7;-8;-4;-8;-6;-5;7:0:causa sui:5 37309:4;1;-9;-6;4;-5;5;-3;1;-5;4;4:0:causa sui:5 37310:-5;8;3;-9;-2;0;3;-2;-7;-1;-3;4:0:causa sui:5 37311:-5;3;3;-2;-8;-9;5;3;-9;-5;-2;8:0:causa sui:5 37312:4;7;-2;-5;3;5;-9;3;-5;-2;6;4:0:causa sui:5 37313:-3;3;2;1;-5;-5;-5;-4;-5;-8;7;7:0:causa sui:5 37314:-1;8;-4;6;-6;-6;8;2;7;9;-9;5:0:causa sui:5 37315:1;6;8;8;-4;2;1;5;4;-3;2;7:0:causa sui:5 37316:-5;-3;-6;8;-8;-2;7;-7;-2;5;7;6:0:causa sui:5 37324:8;5;0;-7;1;-9;6;-1;-2;-3;5;7:0:causa sui:5:TernaryEvaluation:50 37325:-5;7;3;6;2;-9;-4;-6;-8;3;-4;4:0:causa sui:5 37326:7;-8;-6;0;0;-8;7;6;-8;9;7;6:0:causa sui:5 37327:-7;-3;-1;-1;3;3;6;-7;-5;4;-2;8:0:causa sui:5 37339:7;1;6;-7;-2;-9;4;4;7;2;-2;8:0:causa sui:5:TernaryEvaluation:0 37377:-1;8;-8;0;7;1;-5;-7;-8;-7;1;3:0:causa sui:5:TernaryEvaluation:0 37397:-6;3;9;-1;-8;-3;9;-8;0;0;-6;8:0:causa sui:5 37412:-5;-8;-6;-3;6;8;-1;9;-7;-6;-3;8:0:causa sui:5 37450:9;4;-8;2;-7;3;7;-3;-3;3;1;8:0:causa sui:5 37454:0;-4;-7;6;-5;5;-2;2;-9;1;3;4:0:causa sui:5 37530:-5;5;2;-2;-2;-5;-6;4;4;-4;4;4:0:causa sui:5 37567:3;-7;4;1;3;8;-2;-9;-8;0;9;4:0:causa sui:5 37568:9;0;1;2;-4;1;-1;-8;8;-9;2;4:0:causa sui:5 37569:-8;7;3;-7;-6;8;-7;0;3;8;0;8:0:causa sui:5 37576:6;-6;2;8;-6;9;-3;3;-4;5;-9;6:0:causa sui:5 37596:0;-5;3;-9;1;-5;-4;-3;-3;-3;-6;6:0:causa sui:5 37608:-4;-6;-3;-3;2;7;-5;1;2;4;-4;4:0:causa sui:5 37650:8;6;4;4;-9;-2;-7;-1;-5;9;-2;3:0:causa sui:5:TernaryEvaluation:100 40276::0::0 40277::0::0 40278::0::0 40475::0::0 40476::0::0 42082::0::0 42224::0::0 42225::0::0 42226::0::0 42227::0::0 42228::0::0 42229::0::0 42358::0::0 42359::0::0 42360::0::0 42667::0::0 42668::0::0 42669::0::0 42670::0::0 42671::0::0 42732::0::0 42733::0::0 42734::0::0 42735::0::0 42736::0::0 42737::0::0 42738::0::0 42739::0::0 43043::0::0 43044::0::0 43045::0::0 43046::0::0 43047::0::0 43048::0::0 43049::0::0 43050::0::0 43051::0::0 43052::0::0 43053::0::0 43054::0::0 43055::0::0 43056::0::0 43057::0::0 43058::0::0 43059::0::0 43060::0::0 43061::0::0 43062::0::0 43063::0::0 43064::0::0 43065::0::0 43066::0::0 43067::0::0 43068::0::0 43169::0::0 43170::0::0 43171::0::0 43172::0::0 43173::0::0 43174::0::0 43175::0::0 43176::0::0 43177::0::0 43178::0::0 43179::0::0 43180::0::0 43181::0::0 43182::0::0 43183::0::0 43184::0::0 43185::0::0 43186::0::0 43187::0::0 43188::0::0 43189::0::0 43190::0::0 43191::0::0 43192::0::0 43193::0::0 43258::0::0 43259::0::0 43260::0::0 43261::0::0 43262::0::0 43263::0::0 43264::0::0 43265::0::0 43266::0::0 43372::0::0 43373::0::0 43374::0::0 43375::0::0 43376::0::0 43377::0::0 43378::0::0 43379::0::0 43380::0::0 43381::0::0 43382::0::0 43383::0::0 43384::0::0 43385::0::0 43386::0::0 43387::0::0 43388::0::0 43389::0::0 43390::0::0 43391::0::0 43392::0::0 43393::0::0 43394::0::0 43395::0::0 43396::0::0 43397::0::0 43398::0::0 43399::0::0 43400::0::0 43401::0::0 43402::0::0 43403::0::0 43404::0::0 43405::0::0 43406::0::0 43407::0::0 43408::0::0 43409::0::0 43410::0::0 43411::0::0 43412::0::0 43413::0::0 43414::0::0 43435::0::0 43468::0::0 43469::0::0 43470::0::0 43471::0::0 43472::0::0 43556::0::0 43557::0::0 43558::0::0 43559::0::0 43560::0::0 43561::0::0 43562::0::0 43563::0::0 43564::0::0 43565::0::0 43566::0::0 43567::0::0 43568::0::0 43569::0::0 43570::0::0 43571::0::0 43572::0::0 43573::0::0 43574::0::0 43575::0::0 43576::0::0 43577::0::0 43578::0::0 43579::0::0 43580::0::0 43581::0::0 43582::0::0 43583::0::0 43584::0::0 43585::0::0 43586::0::0 43587::0::0 43588::0::0 43589::0::0 43590::0::0 43591::0::0 43592::0::0 43593::0::0 43594::0::0 43595::0::0 43596::0::0 43597::0::0 43598::0::0 43599::0::0 43600::0::0 43601::0::0 43602::0::0 43603::0::0 43604::0::0 43605::0::0 43606::0::0 43607::0::0 43608::0::0 43609::0::0 43610::0::0 43611::0::0 43612::0::0 43613::0::0 43614::0::0 43615::0::0 43616::0::0 43617::0::0 43618::0::0 43619::0::0 43620::0::0 43621::0::0 43622::0::0 43623::0::0 43624::0::0 43625::0::0 43626::0::0 43627::0::0 43628::0::0 43629::0::0 43630::0::0 43631::0::0 43632::0::0 43633::0::0 43634::0::0 43635::0::0 43636::0::0 43637::0::0 43638::0::0 43639::0::0 43640::0::0 43641::0::0 43642::0::0 43643::0::0 43644::0::0 43645::0::0 43646::0::0 43647::0::0 43648::0::0 43649::0::0 43650::0::0 43651::0::0 43652::0::0 43653::0::0 43654::0::0 43655::0::0 43656::0::0 43657::0::0 43658::0::0 43659::0::0 43660::0::0 43661::0::0 43662::0::0 43663::0::0 43664::0::0 43665::0::0 43666::0::0 43667::0::0 43668::0::0 43669::0::0 43670::0::0 43671::0::0 43672::0::0 43673::0::0 43674::0::0 43675::0::0 43676::0::0 43677::0::0 43678::0::0 43679::0::0 43680::0::0 43681::0::0 43682::0::0 43683::0::0 43684::0::0 43685::0::0 43686::0::0 43687::0::0 43688::0::0 43689::0::0 43690::0::0 43691::0::0 43692::0::0 43693::0::0 43694::0::0 43695::0::0 43696::0::0 43697::0::0 43698::0::0 43699::0::0 43700::0::0 43701::0::0 43702::0::0 43703::0::0 43704::0::0 43705::0::0 43706::0::0 43707::0::0 43708::0::0 43709::0::0 43710::0::0 43711::0::0 43712::0::0 43713::0::0 43714::0::0 43715::0::0 43716::0::0 43717::0::0 43718::0::0 43719::0::0 43720::0::0 43721::0::0 43722::0::0 43723::0::0 43724::0::0 43725::0::0 43726::0::0 43727::0::0 43728::0::0 43729::0::0 43730::0::0 43731::0::0 43732::0::0 43733::0::0 43734::0::0 43735::0::0 43736::0::0 43737::0::0 43738::0::0 43739::0::0 43740::0::0 43741::0::0 43742::0::0 43743::0::0 43744::0::0 43745::0::0 43746::0::0 43747::0::0 43748::0::0 43749::0::0 43750::0::0 43751::0::0 43752::0::0 43753::0::0 43754::0::0 43755::0::0 43756::0::0 43757::0::0 43758::0::0 43759::0::0 43760::0::0 43761::0::0 43762::0::0 43763::0::0 43764::0::0 43765::0::0 43766::0::0 43767::0::0 43768::0::0 43769::0::0 43770::0::0 43771::0::0 43772::0::0 43773::0::0 43774::0::0 43775::0::0 43776::0::0 43777::0::0 43778::0::0 43779::0::0 43780::0::0 43781::0::0 43782::0::0 43783::0::0 43784::0::0 43785::0::0 43786::0::0 43787::0::0 43788::0::0 43789::0::0 43790::0::0 43791::0::0 43792::0::0 43793::0::0 43794::0::0 43795::0::0 43796::0::0 43797::0::0 43798::0::0 43799::0::0 43800::0::0 43801::0::0 43802::0::0 43803::0::0 43804::0::0 43805::0::0 43806::0::0 43807::0::0 43808::0::0 43809::0::0 43810::0::0 43811::0::0 43812::0::0 43813::0::0 43814::0::0 43815::0::0 43816::0::0 43817::0::0 43818::0::0 43819::0::0 43820::0::0 43821::0::0 43822::0::0 43823::0::0 43824::0::0 43825::0::0 43826::0::0 43827::0::0 43828::0::0 43829::0::0 43830::0::0 43831::0::0 43832::0::0 43833::0::0 43834::0::0 43835::0::0 43836::0::0 43837::0::0 43838::0::0 43839::0::0 43840::0::0 43841::0::0 43842::0::0 43843::0::0 43844::0::0 43845::0::0 43846::0::0 43847::0::0 43848::0::0 43849::0::0 43850::0::0 43851::0::0 43852::0::0 43853::0::0 43854::0::0 43855::0::0 43856::0::0 43857::0::0 43858::0::0 43859::0::0 43860::0::0 43861::0::0 43862::0::0 43863::0::0 43864::0::0 43865::0::0 43866::0::0 43867::0::0 43868::0::0 43869::0::0 43870::0::0 43871::0::0 43872::0::0 43873::0::0 43874::0::0 43875::0::0 43876::0::0 43877::0::0 43878::0::0 43879::0::0 43880::0::0 43881::0::0 43882::0::0 43883::0::0 43884::0::0