\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.000000 0 0.225694 0.000000 0.011881 0.000000 \\ connectedbase 0.000000 53 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 53 BLOCK 1 FLOab VUBaab VUBcab VUBdab VUBeab VUBfab VUBgab VUBhab BLOCK 2 FLOad VUBaad VUBbad VUBcad VUBead VUBfad VUBgad VUBhad BLOCK 3 FLOae VUBaae VUBbae VUBcae VUBdae VUBfae VUBgae VUBhae BLOCK 4 FLOaf FLObe FLOef FLOhf CONac CONaf CONbe CONda CONef CONfd CONfh CONhf VUBaaf VUBbaf VUBcaf VUBdaf VUBeaf VUBgaf VUBhaf VUBabe VUBbbe VUBcbe VUBdbe VUBfbe VUBgbe VUBhbe VUBaef VUBbef VUBcef VUBdef VUBeef VUBgef VUBhef VUBahf VUBbhf VUBchf VUBdhf VUBehf VUBghf VUBhhf BLOCK 5 FLOah VUBaah VUBbah VUBcah VUBdah VUBeah VUBfah VUBgah BLOCK 6 FLOba VUBbba VUBcba VUBdba VUBeba VUBfba VUBgba VUBhba BLOCK 7 FLObf VUBabf VUBbbf VUBcbf VUBdbf VUBebf VUBgbf VUBhbf BLOCK 8 FLObg VUBabg VUBbbg VUBcbg VUBdbg VUBebg VUBfbg VUBhbg BLOCK 9 FLObh VUBabh VUBbbh VUBcbh VUBdbh VUBebh VUBfbh VUBgbh BLOCK 10 FLOca VUBbca VUBcca VUBdca VUBeca VUBfca VUBgca VUBhca BLOCK 11 FLOcb VUBacb VUBccb VUBdcb VUBecb VUBfcb VUBgcb VUBhcb BLOCK 12 FLOcd VUBacd VUBbcd VUBccd VUBecd VUBfcd VUBgcd VUBhcd BLOCK 13 FLOce VUBace VUBbce VUBcce VUBdce VUBfce VUBgce VUBhce BLOCK 14 FLOcf VUBacf VUBbcf VUBccf VUBdcf VUBecf VUBgcf VUBhcf BLOCK 15 FLOcg VUBacg VUBbcg VUBccg VUBdcg VUBecg VUBfcg VUBhcg BLOCK 16 FLOch VUBach VUBbch VUBcch VUBdch VUBech VUBfch VUBgch BLOCK 17 FLOdb VUBadb VUBcdb VUBddb VUBedb VUBfdb VUBgdb VUBhdb BLOCK 18 FLOdc VUBadc VUBbdc VUBddc VUBedc VUBfdc VUBgdc VUBhdc BLOCK 19 FLOde VUBade VUBbde VUBcde VUBdde VUBfde VUBgde VUBhde BLOCK 20 FLOdf VUBadf VUBbdf VUBcdf VUBddf VUBedf VUBgdf VUBhdf BLOCK 21 FLOdg VUBadg VUBbdg VUBcdg VUBddg VUBedg VUBfdg VUBhdg BLOCK 22 FLOdh VUBadh VUBbdh VUBcdh VUBddh VUBedh VUBfdh VUBgdh BLOCK 23 FLOea VUBbea VUBcea VUBdea VUBeea VUBfea VUBgea VUBhea BLOCK 24 FLOeb VUBaeb VUBceb VUBdeb VUBeeb VUBfeb VUBgeb VUBheb BLOCK 25 FLOec VUBaec VUBbec VUBdec VUBeec VUBfec VUBgec VUBhec BLOCK 26 FLOed VUBaed VUBbed VUBced VUBeed VUBfed VUBged VUBhed BLOCK 27 FLOeg VUBaeg VUBbeg VUBceg VUBdeg VUBeeg VUBfeg VUBheg BLOCK 28 FLOeh VUBaeh VUBbeh VUBceh VUBdeh VUBeeh VUBfeh VUBgeh BLOCK 29 FLOfa VUBbfa VUBcfa VUBdfa VUBefa VUBffa VUBgfa VUBhfa BLOCK 30 FLOfb VUBafb VUBcfb VUBdfb VUBefb VUBffb VUBgfb VUBhfb BLOCK 31 FLOfc VUBafc VUBbfc VUBdfc VUBefc VUBffc VUBgfc VUBhfc BLOCK 32 FLOfe VUBafe VUBbfe VUBcfe VUBdfe VUBffe VUBgfe VUBhfe BLOCK 33 FLOfg VUBafg VUBbfg VUBcfg VUBdfg VUBefg VUBffg VUBhfg BLOCK 34 FLOga VUBbga VUBcga VUBdga VUBega VUBfga VUBgga VUBhga BLOCK 35 FLOgb VUBagb VUBcgb VUBdgb VUBegb VUBfgb VUBggb VUBhgb BLOCK 36 FLOgc VUBagc VUBbgc VUBdgc VUBegc VUBfgc VUBggc VUBhgc BLOCK 37 FLOgd VUBagd VUBbgd VUBcgd VUBegd VUBfgd VUBggd VUBhgd BLOCK 38 FLOge VUBage VUBbge VUBcge VUBdge VUBfge VUBgge VUBhge BLOCK 39 FLOgf VUBagf VUBbgf VUBcgf VUBdgf VUBegf VUBggf VUBhgf BLOCK 40 FLOgh VUBagh VUBbgh VUBcgh VUBdgh VUBegh VUBfgh VUBggh BLOCK 41 FLOha VUBbha VUBcha VUBdha VUBeha VUBfha VUBgha VUBhha BLOCK 42 FLOhb VUBahb VUBchb VUBdhb VUBehb VUBfhb VUBghb VUBhhb BLOCK 43 FLOhc VUBahc VUBbhc VUBdhc VUBehc VUBfhc VUBghc VUBhhc BLOCK 44 FLOhd VUBahd VUBbhd VUBchd VUBehd VUBfhd VUBghd VUBhhd BLOCK 45 FLOhe VUBahe VUBbhe VUBche VUBdhe VUBfhe VUBghe VUBhhe BLOCK 46 FLOhg VUBahg VUBbhg VUBchg VUBdhg VUBehg VUBfhg VUBhhg BLOCK 47 VUBaac VUBbac VUBdac VUBeac VUBgac VUBhac BLOCK 48 VUBaag VUBbag VUBcag VUBdag VUBeag VUBfag VUBhag BLOCK 49 VUBbbc VUBdbc VUBebc VUBfbc VUBgbc VUBhbc BLOCK 50 VUBbbd VUBcbd VUBebd VUBfbd VUBgbd VUBhbd BLOCK 51 VUBbda VUBcda VUBdda VUBeda VUBfda VUBgda VUBhda BLOCK 52 VUBafd VUBbfd VUBcfd VUBefd VUBffd VUBgfd VUBhfd BLOCK 53 VUBafh VUBbfh VUBcfh VUBdfh VUBefh VUBffh VUBgfh MASTERCONSS OUTa OUTb OUTc OUTd OUTe OUTf OUTg OUTh INa INb INc INd INe INf INg INh FLOac FLOag FLObc FLObd FLOda FLOfd FLOfh CONab CONad CONae CONag CONah CONba CONbc CONbd CONbf CONbg CONbh CONca CONcb CONcd CONce CONcf CONcg CONch CONdb CONdc CONde CONdf CONdg CONdh CONea CONeb CONec CONed CONeg CONeh CONfa CONfb CONfc CONfe CONfg CONga CONgb CONgc CONgd CONge CONgf CONgh CONha CONhb CONhc CONhd CONhe CONhg BALab BALac BALad BALae BALaf BALag BALah BALba BALbc BALbd BALbe BALbf BALbg BALbh BALca BALcb BALcd BALce BALcf BALcg BALch BALda BALdb BALdc BALde BALdf BALdg BALdh BALea BALeb BALec BALed BALef BALeg BALeh BALfa BALfb BALfc BALfd BALfe BALfg BALfh BALga BALgb BALgc BALgd BALge BALgf BALgh BALha BALhb BALhc BALhd BALhe BALhf BALhg VUBfac VUBabc VUBabd