;;; ;;; Quickcheck paths for Jacy (090705), generated on 100 items on Sun Aug 23 22:10:26 2009 ;;; PET(tom cheap v0.99.14svn) [50000] +PA(15) +SM(MEM[/home/bond/logon/dfki/jacy/tanaka-006-015.mem] 282757/8228) RI[unknown] -HA(120) +FI -QCU[0()] -QCS[0()] -OS[0] +SM +SH {ns 32} (Jul 29 2009/11:27:37) <$utterance-root> ;;; ;; 297 total failing paths: ;; ;; #0 ;; #1 INFLECTED ;; #2 C-CONT.HOOK.INDEX.E.MOOD ;; #3 DTR ;; #4 SYNSEM.NON-LOCAL ;; #5 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD ;; #6 SYNSEM.LOCAL.CAT.HEAD ;; #7 J-NEEDS-AFFIX ;; #8 SYNSEM.LOCAL.CAT.HEAD.MODUS ;; #9 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE ;; #10 SYNSEM.LOCAL.CAT.HEAD.MOD ;; #11 SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD ;; #12 SYNSEM.LOCAL.CAT.HEAD.FIN ;; #13 DTR.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD ;; #14 DTR.SYNSEM.LOCAL.CAT.HEAD.MOD ;; #15 DTR.SYNSEM.LOCAL.CAT.HEAD.MARK ;; #16 DTR.SYNSEM.LOCAL.CAT.HEAD.J-SPEC ;; #17 DTR.SYNSEM.LOCAL.CAT.HEAD.FIN ;; #18 DTR.SYNSEM.LOCAL.CAT.HEAD.SMOD ;; #19 DTR.SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD ;; #20 DTR.SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON ;; #21 SYNSEM.LOCAL.CAT.HEAD.C-MOD ;; #22 SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD ;; #23 SYNSEM.LOCAL.CAT.HEAD.SMOD ;; #24 SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON ;; #25 SYNSEM.LOCAL.CAT.HEAD.H-TENSE ;; #26 RMORPH-BIND-TYPE ;; #27 SYNSEM.LOCAL.CAT.HEAD.MARK ;; #28 SYNSEM.LOCAL.CONT.HOOK.INDEX ;; #29 SYNSEM.LOCAL.BAR ;; #30 SYNSEM.LOCAL.CAT.HEAD.J-SPEC ;; #31 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.BAR ;; #32 SYNSEM.LOCAL.CAT.VAL.UNSAT ;; #33 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD ;; #34 SYNSEM.LOCAL.CAT.HEAD.COP ;; #35 DTR.J-NEEDS-AFFIX ;; #36 DTR.SYNSEM.LOCAL.CAT.HEAD.MODUS ;; #37 DTR.STEMTYPE ;; #38 DTR.SYNSEM.NON-LOCAL ;; #39 SYNSEM.LOCAL ;; #40 DTR.SYNSEM.LOCAL.CAT.HEAD.H-TENSE ;; #41 DTR.SYNSEM.LOCAL.CAT.HEAD ;; #42 SYNSEM.LOCAL.CAT.HEAD.VN ;; #43 SYNSEM.LOCAL.CAT.HEAD.POS ;; #44 SYNSEM.LKEYS.KEYREL.ARG2 ;; #45 SYNSEM.LKEYS.KEYREL ;; #46 SYNSEM.NON-LOCAL.ROBUST ;; #47 C-CONT.HOOK.INDEX.E.TENSE ;; #48 SYNSEM.LOCAL.CAT.HEAD.ADJ ;; #49 SYNSEM.LOCAL.CAT.HEAD.LIGHT ;; #50 SYNSEM.LOCAL.CONT ;; #51 SYNSEM.LOCAL.CAT.HEAD.COP-ARG ;; #52 SYNSEM.LOCAL.CAT.VAL.SUBJ ;; #53 SYNSEM.LOCAL.CAT.VAL ;; #54 SYNSEM.LOCAL.CAT.VAL.SPR ;; #55 SYNSEM.LOCAL.CAT.VAL.COMPS ;; #56 SYNSEM.LOCAL.ARG-S ;; #57 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL ;; #58 SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY ;; #59 SYNSEM.LOCAL.CAT.HEAD.MAIN-PRD ;; #60 LMORPH-BIND-TYPE ;; #61 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD ;; #62 SYNSEM.LOCAL.CONT.HOOK.XARG ;; #63 SYNSEM.LKEYS.KEYREL.ARG0 ;; #64 STEMTYPE ;; #65 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD ;; #66 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT ;; #67 SYNSEM.LOCAL.ARG-S.FIRST.OPT ;; #68 SYNSEM.LKEYS.KEYREL.ARG1 ;; #69 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT ;; #70 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE ;; #71 SYNSEM.LOCAL.CAT.HEAD.KEYS ;; #72 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE ;; #73 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT ;; #74 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD ;; #75 SYNSEM.LOCAL.CAT.VAL.COMPS.REST ;; #76 SYNSEM.LEX ;; #77 SYNSEM.LOCAL.NUCL ;; #78 SYNSEM.NON-LOCAL.QUE.LIST ;; #79 SYNSEM.NON-LOCAL.QUE.LAST ;; #80 SYNSEM.LOCAL.CONT.HOOK.INDEX.SF ;; #81 SYNSEM.LOCAL.CAT.HEAD.EMPTY ;; #82 C-CONT.HOOK.INDEX ;; #83 SYNSEM ;; #84 SYNSEM.NON-LOCAL.AFFIX ;; #85 SYNSEM.NON-LOCAL.AFFIX.LIST ;; #86 SYNSEM.NON-LOCAL.AFFIX.LAST ;; #87 SYNSEM.LOCAL.CAT.HEAD.CASE ;; #88 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.COP-ARG ;; #89 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.COP-ARG ;; #90 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.J-SPEC ;; #91 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.POS ;; #92 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.POS ;; #93 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.BAR ;; #94 SYNSEM.LKEYS.KEYREL.ARG0.E.TENSE ;; #95 SYNSEM.LOCAL.ARG-S.REST ;; #96 C-CONT.HOOK.XARG ;; #97 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL ;; #98 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL ;; #99 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL ;; #100 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ ;; #101 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX ;; #102 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT ;; #103 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.POS ;; #104 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD ;; #105 SYNSEM.LOCAL.CAT.HEAD.PTYPE ;; #106 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.MOD ;; #107 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.CASE ;; #108 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.J-SPEC ;; #109 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #110 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD ;; #111 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MARK ;; #112 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VN ;; #113 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.H-TENSE ;; #114 DTR.SYNSEM.LKEYS.KEYREL ;; #115 DTR.DTR.SYNSEM.NON-LOCAL.ROBUST ;; #116 DTR.SYNSEM.NON-LOCAL.ROBUST ;; #117 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN ;; #118 C-CONT.HOOK.INDEX.PNG.PN ;; #119 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX ;; #120 SYNSEM.MODIFIED.PERIPH ;; #121 DTR.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX ;; #122 DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD ;; #123 DTR.RMORPH-BIND-TYPE ;; #124 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL ;; #125 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.MARK ;; #126 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.J-POSTHEAD ;; #127 SYNSEM.NON-LOCAL.UNDERSPEC_ARG ;; #128 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PTYPE ;; #129 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL ;; #130 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.EMPTY ;; #131 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.EMPTY ;; #132 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.POS ;; #133 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.J-POSTHEAD ;; #134 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.SMOD ;; #135 DTR.SYNSEM.LOCAL.ARG-S ;; #136 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD ;; #137 SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD.AUX ;; #138 DTR.DTR.SYNSEM.LOCAL.CAT.HEAD.MODUS ;; #139 C-CONT.HOOK.XARG.SF ;; #140 SYNSEM.LOCAL.CONT.HOOK.XARG.SF ;; #141 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.C-MOD ;; #142 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.SF ;; #143 C-CONT.HOOK.XARG.E.TENSE ;; #144 SYNSEM.LOCAL.CONT.HOOK.XARG.E.TENSE ;; #145 C-CONT.HOOK.INDEX.E.ASPECT ;; #146 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.ASPECT ;; #147 STEM ;; #148 DTR.C-CONT.HOOK.INDEX.E.TENSE ;; #149 DTR.STEM ;; #150 DTR.SYNSEM.LOCAL.CONT ;; #151 STEM.REST ;; #152 DTR.SYNSEM.LOCAL.CAT.VAL ;; #153 DTR.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE ;; #154 DTR.DTR.SYNSEM.LOCAL.CAT.HEAD.H-TENSE ;; #155 DTR.DTR.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE ;; #156 SYNSEM.LOCAL.CAT.HEAD.AUX ;; #157 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD ;; #158 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS ;; #159 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL ;; #160 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX ;; #161 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG ;; #162 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON ;; #163 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS ;; #164 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX ;; #165 SYNSEM.LOCAL.CTXT ;; #166 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SPR ;; #167 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S ;; #168 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.PASS ;; #169 C-CONT.HOOK.INDEX.E.PASS ;; #170 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.PASS ;; #171 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX ;; #172 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CONT.HOOK.INDEX ;; #173 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.FIRST.LOCAL.CAT ;; #174 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT ;; #175 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.UNSAT ;; #176 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ ;; #177 SYNSEM.LOCAL.ARG-S.REST.REST ;; #178 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST ;; #179 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.ADJ ;; #180 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.UNSAT ;; #181 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX ;; #182 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.BAR ;; #183 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.MODUS ;; #184 SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON ;; #185 SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE ;; #186 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST ;; #187 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.CASE ;; #188 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.H-TENSE ;; #189 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER.E.TENSE ;; #190 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.UNSAT ;; #191 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG ;; #192 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.VN ;; #193 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX ;; #194 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.SMOD ;; #195 C-CONT.HOOK.XARG.PNG.GEN ;; #196 SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.GEN ;; #197 SYNSEM.LOCAL.CAT.HEAD.QUANTIFIABLE ;; #198 SYNSEM.LOCAL.CAT.HEAD.C-MOD.FIRST.LOCAL.CAT.HEAD ;; #199 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.C-MOD ;; #200 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MOD ;; #201 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.NUCL ;; #202 C-CONT.HOOK.XARG.PNG.PN ;; #203 SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN ;; #204 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.VN ;; #205 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE ;; #206 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT ;; #207 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS ;; #208 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.C-MOD ;; #209 C-CONT.HOOK.INDEX.SF ;; #210 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.MODIFIED.PERIPH ;; #211 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MAIN-PRD ;; #212 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FIN ;; #213 SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD.LIGHT ;; #214 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MAIN-PRD ;; #215 SYNSEM.NON-LOCAL.QUE ;; #216 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT ;; #217 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.PTYPE ;; #218 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ ;; #219 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.BAR ;; #220 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MODUS ;; #221 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.MARK ;; #222 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.COP ;; #223 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MARK ;; #224 SYNSEM.LOCAL.ARG-S.FIRST ;; #225 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.ASPECT ;; #226 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #227 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.XARG ;; #228 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG ;; #229 C-CONT.HOOK.XARG.E.ASPECT ;; #230 SYNSEM.LOCAL.CONT.HOOK.XARG.E.ASPECT ;; #231 C-CONT.HOOK.XARG.PRONTYPE ;; #232 SYNSEM.LOCAL.CTXT.C-INDICES.ADDRESSEE ;; #233 SYNSEM.LOCAL.CONT.HOOK.XARG.PRONTYPE ;; #234 C-CONT.HOOK.INDEX.PRONTYPE ;; #235 SYNSEM.LOCAL.CONT.HOOK.INDEX.PRONTYPE ;; #236 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.HONORED ;; #237 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.POLARITY ;; #238 C-CONT.HOOK.INDEX.PNG.GEN ;; #239 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.GEN ;; #240 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.ADJ ;; #241 DTR.SYNSEM.LOCAL.ARG-S.REST ;; #242 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.SMOD ;; #243 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.MOD ;; #244 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN ;; #245 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN ;; #246 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN ;; #247 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN ;; #248 SYNSEM.LOCAL.CTXT.C-INDICES.SPEAKER ;; #249 SYNSEM.LOCAL.CTXT.EMPATHY.EMPER ;; #250 SYNSEM.LKEYS.KEYREL.ARG0.E.ASPECT ;; #251 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.COP-ARG ;; #252 DTR.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.CASE ;; #253 C-CONT.HOOK.XARG.E.MOOD ;; #254 SYNSEM.LOCAL.CONT.HOOK.XARG.E.MOOD ;; #255 SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CONT.HOOK.INDEX ;; #256 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FORMAL.AHON ;; #257 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.MOOD ;; #258 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE ;; #259 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.COP ;; #260 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.HONORER ;; #261 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE ;; #262 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX ;; #263 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PRONTYPE ;; #264 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN ;; #265 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.FIN ;; #266 SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE.PNG.PN ;; #267 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST ;; #268 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.PNG.GEN ;; #269 NEEDS-AFFIX ;; #270 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST ;; #271 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.MAIN-PRD ;; #272 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.NUCL ;; #273 SYNSEM.LOCAL.CAT.HEAD.C-MOD.FIRST.LOCAL.CAT.HEAD.FORMAL.AHON ;; #274 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT ;; #275 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON ;; #276 DTR.C-CONT.HOOK.XARG ;; #277 DTR.SYNSEM.LOCAL.CTXT ;; #278 DTR.SYNSEM.LOCAL.CONT.HOOK.XARG ;; #279 DTR.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON ;; #280 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX ;; #281 IDIOM ;; #282 DTR.IDIOM ;; #283 DTR.DTR.IDIOM ;; #284 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LEX ;; #285 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR ;; #286 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.VN ;; #287 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.EMPTY ;; #288 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.REST ;; #289 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LEX ;; #290 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER.E.ASPECT ;; #291 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER.E.MOOD ;; #292 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.SF ;; #293 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.E.ASPECT ;; #294 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.E.MOOD ;; #295 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.E.TENSE ;; #296 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.EMPTY ;; ;; quickcheck paths (unification) ;; ; traditional paths (max 10000) :begin :instance. qc_unif_trad_pack := *top* & [ ARGS.SYNSEM.LOCAL.CAT.HEAD "0" #| 2.9e+05 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "1" #| 2.3e+05 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "2" #| 1.6e+05 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD "3" #| 1.1e+05 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "4" #| 1e+05 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "5" #| 9.3e+04 |#, ARGS.SYNSEM.LOCAL.CAT.VAL "6" #| 8.7e+04 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "7" #| 6.8e+04 |#, ARGS.SYNSEM.LOCAL.BAR "8" #| 6e+04 |#, ARGS.J-NEEDS-AFFIX "9" #| 5.4e+04 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.POS "10" #| 4.6e+04 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC "11" #| 3.7e+04 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "12" #| 3.3e+04 |#, ARGS.INFLECTED "13" #| 3e+04 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.C-MOD "14" #| 2.6e+04 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "15" #| 1.9e+04 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "16" #| 1.8e+04 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MODUS "17" #| 1.7e+04 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "18" #| 1.4e+04 |#, ARGS.STEMTYPE "19" #| 1.3e+04 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "20" #| 1.2e+04 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.FIN "21" #| 1.2e+04 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.POS "22" #| 1.2e+04 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MARK "23" #| 1.2e+04 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "24" #| 6.5e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD "25" #| 6.2e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MAIN-PRD "26" #| 6.1e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.H-TENSE "27" #| 5.9e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD "28" #| 5.4e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.ADJ "29" #| 5.3e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "30" #| 5.1e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.VN "31" #| 5e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.J-SPEC "32" #| 4.4e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.SMOD "33" #| 4e+03 |#, ARGS.RMORPH-BIND-TYPE "34" #| 3.8e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.UNSAT "35" #| 3.8e+03 |#, ARGS.SYNSEM.LKEYS.KEYREL "36" #| 3.4e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL "37" #| 2.8e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.PTYPE "38" #| 2.8e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.LIGHT "39" #| 2.7e+03 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD "40" #| 2.6e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "41" #| 2.4e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MARK "42" #| 2.4e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.BAR "43" #| 2.3e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.COP-ARG "44" #| 2.3e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "45" #| 2.3e+03 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG2 "46" #| 2.2e+03 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "47" #| 2.1e+03 |#, ARGS.SYNSEM.LOCAL.CONT "48" #| 2.1e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.COP "49" #| 2e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "50" #| 1.8e+03 |#, ARGS "51" #| 1.8e+03 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SF "52" #| 1.7e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MAIN-PRD "53" #| 1.6e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.COP-ARG "54" #| 1.5e+03 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "55" #| 1.5e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.C-MOD "56" #| 1.3e+03 |#, ARGS.SYNSEM.LEX "57" #| 1.3e+03 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "58" #| 1.3e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.VN "59" #| 1.3e+03 |#, ARGS.SYNSEM.LOCAL.NUCL "60" #| 1.3e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.BAR "61" #| 1.2e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL "62" #| 1.1e+03 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "63" #| 1e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.EMPTY "64" #| 8.6e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD.LIGHT "65" #| 8.4e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "66" #| 7.8e+02 |#, ARGS.LMORPH-BIND-TYPE "67" #| 7.3e+02 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST "68" #| 6.6e+02 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "69" #| 6.4e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.SF "70" #| 6.3e+02 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.OPT "71" #| 5.8e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.C-MOD "72" #| 5.7e+02 |#, ARGS.SYNSEM.LOCAL.ARG-S "73" #| 5.6e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS "74" #| 5.2e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.MODIFIED.PERIPH "75" #| 4.9e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ "76" #| 4.9e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT "77" #| 4.9e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PTYPE "78" #| 4.9e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MAIN-PRD "79" #| 4.6e+02 |#, ARGS.SYNSEM.MODIFIED.PERIPH "80" #| 4.6e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.J-POSTHEAD "81" #| 3.9e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "82" #| 3.2e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.COP "83" #| 3.2e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MOD "84" #| 3.1e+02 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.POS "85" #| 3.1e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.NUCL "86" #| 3.1e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "87" #| 2.7e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON "88" #| 2.7e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.H-TENSE "89" #| 2.7e+02 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG0.E.TENSE "90" #| 2.6e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FORMAL.AHON "91" #| 2.5e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.UNSAT "92" #| 2.3e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.POS "93" #| 2.2e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "94" #| 2.2e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG "95" #| 1.8e+02 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.MOD "96" #| 1.8e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.POS "97" #| 1.7e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.COP "98" #| 1.5e+02 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.CASE "99" #| 1.5e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.EMPTY "100" #| 1.5e+02 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.J-SPEC "101" #| 1.3e+02 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.J-POSTHEAD "102" #| 1.3e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FIN "103" #| 1.3e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.UNSAT "104" #| 1.3e+02 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.ASPECT "105" #| 1.2e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MODUS "106" #| 1.1e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VN "107" #| 1.1e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS "108" #| 88 |#, ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE.PNG.PN "109" #| 85 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.COP-ARG "110" #| 83 |#, ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE "111" #| 81 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.SMOD "112" #| 72 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD.AUX "113" #| 69 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ "114" #| 66 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.EMPTY "115" #| 64 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.SMOD "116" #| 55 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.ADJ "117" #| 54 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "118" #| 54 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG "119" #| 53 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.ASPECT "120" #| 53 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "121" #| 51 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.REST "122" #| 42 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "123" #| 39 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.C-MOD "124" #| 39 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.C-MOD.FIRST.LOCAL.CAT.HEAD "125" #| 34 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX "126" #| 34 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.BAR "127" #| 33 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON "128" #| 31 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT "129" #| 31 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.XARG "130" #| 24 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.MARK "131" #| 24 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.BAR "132" #| 23 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX "133" #| 20 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.MODUS "134" #| 18 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX "135" #| 16 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.MARK "136" #| 12 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "137" #| 11 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "138" #| 11 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "139" #| 10 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.CASE "140" #| 10 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.H-TENSE "141" #| 9.8 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.COP-ARG "142" #| 9.6 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "143" #| 9.3 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD "144" #| 8.2 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SPR "145" #| 7.9 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.VN "146" #| 7.8 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.SMOD "147" #| 6.5 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.VN "148" #| 6.2 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LEX "149" #| 5.6 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MARK "150" #| 5.2 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CONT.HOOK.INDEX "151" #| 4.2 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT "152" #| 4.1 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.NUCL "153" #| 3.9 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "154" #| 3.8 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ "155" #| 3.7 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "156" #| 3.7 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.MAIN-PRD "157" #| 3.5 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST "158" #| 3.5 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.FIN "159" #| 3.1 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "160" #| 2.7 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "161" #| 2.3 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX "162" #| 2.1 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LEX "163" #| 1.3 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.ADJ "164" #| 1.3 |#, ARGS.SYNSEM.NON-LOCAL.AFFIX.LAST "165" #| 1 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.EMPTY "166" #| 0.83 |#, ARGS.SYNSEM.NON-LOCAL.AFFIX.LIST "167" #| 0.77 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "168" #| 0.59 |#, ARGS.SYNSEM.NON-LOCAL.AFFIX "169" #| 0.49 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.MOOD "170" #| 0.47 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.EMPTY "171" #| 0.22 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.MOD "172" #| 0.18 |# ]. :end :instance. ;; set based paths (threshold 1e+02%) ; 3871 failing sets, total count 2e+06: ; ; #0 (123211, 7%) [6] ; #1 (120648, 1e+01%) [55] ; #2 (85373, 2e+01%) [11 33] ; #3 (78724, 2e+01%) [10] ; #4 (49671, 3e+01%) [10 11] ; #5 (34930, 3e+01%) [54] ; #6 (29713, 3e+01%) [6 55] ; #7 (24823, 3e+01%) [11] ; #8 (22919, 3e+01%) [6 43] ; #9 (21061, 4e+01%) [7] ; #10 (19139, 4e+01%) [10 53 55] ; #11 (17990, 4e+01%) [11 33 52] ; #12 (15072, 4e+01%) [6 30] ; #13 (14380, 4e+01%) [6 54] ; #14 (13729, 4e+01%) [74] ; #15 (13314, 4e+01%) [6 10 55 87] ; #16 (12931, 4e+01%) [52] ; #17 (12653, 4e+01%) [10 11 53 55] ; #18 (12522, 4e+01%) [1 7] ; #19 (12093, 4e+01%) [6 53] ; #20 (11990, 4e+01%) [11 33 53 54] ; #21 (11808, 5e+01%) [11 33 53 55] ; #22 (11320, 5e+01%) [6 27 30 43] ; #23 (11198, 5e+01%) [11 33 57] ; #24 (10333, 5e+01%) [6 11 29 33 53 55] ; #25 (10328, 5e+01%) [11 33 53 55 57] ; #26 (10244, 5e+01%) [6 28] ; #27 (9908, 5e+01%) [29] ; #28 (9775, 5e+01%) [6 10 87] ; #29 (9626, 5e+01%) [6 10 43] ; #30 (9071, 5e+01%) [52 55] ; #31 (9015, 5e+01%) [6 10 29 53 55] ; #32 (8672, 5e+01%) [21] ; #33 (8622, 5e+01%) [6 10 30 43] ; #34 (8493, 5e+01%) [6 27] ; #35 (8007, 5e+01%) [29 54] ; #36 (7770, 5e+01%) [7 52] ; #37 (7451, 5e+01%) [74 103] ; #38 (7217, 5e+01%) [6 52 55] ; #39 (6822, 6e+01%) [64] ; #40 (6772, 6e+01%) [53] ; #41 (6655, 6e+01%) [6 52] ; #42 (6327, 6e+01%) [6 43 54] ; #43 (6212, 6e+01%) [10 55] ; #44 (6038, 6e+01%) [87] ; #45 (5979, 6e+01%) [11 29 33 54] ; #46 (5774, 6e+01%) [0 1 6] ; #47 (5403, 6e+01%) [1 6 7] ; #48 (5275, 6e+01%) [10 53 54] ; #49 (5189, 6e+01%) [6 10] ; #50 (5157, 6e+01%) [6 29] ; #51 (4951, 6e+01%) [6 10 11 29 53 55] ; #52 (4938, 6e+01%) [11 21] ; #53 (4696, 6e+01%) [55 87] ; #54 (4676, 6e+01%) [6 21 43] ; #55 (4643, 6e+01%) [6 29 43] ; #56 (4545, 6e+01%) [6 43 55] ; #57 (4526, 6e+01%) [74 103 108 111] ; #58 (4510, 6e+01%) [6 21] ; #59 (4495, 6e+01%) [12 59] ; #60 (4495, 6e+01%) [11 57] ; #61 (4367, 6e+01%) [1] ; #62 (4349, 6e+01%) [28] ; #63 (4190, 6e+01%) [6 29 54 55] ; #64 (4188, 6e+01%) [8 12] ; #65 (4093, 6e+01%) [6 22] ; #66 (4070, 6e+01%) [1 7 29 54] ; #67 (3881, 6e+01%) [6 49 54] ; #68 (3832, 6e+01%) [11 52] ; #69 (3805, 6e+01%) [74 103 104 108] ; #70 (3672, 6e+01%) [6 43 53] ; #71 (3667, 6e+01%) [6 21 30] ; #72 (3644, 6e+01%) [6 30 55] ; #73 (3634, 6e+01%) [11 33 53] ; #74 (3615, 7e+01%) [10 52] ; #75 (3615, 7e+01%) [10 11 55] ; #76 (3598, 7e+01%) [72 74 104] ; #77 (3591, 7e+01%) [8] ; #78 (3481, 7e+01%) [11 53 55] ; #79 (3403, 7e+01%) [1 7 55] ; #80 (3363, 7e+01%) [11 55] ; #81 (3340, 7e+01%) [11 12 25] ; #82 (3335, 7e+01%) [6 74] ; #83 (3286, 7e+01%) [6 29 32] ; #84 (3218, 7e+01%) [55 75] ; #85 (3179, 7e+01%) [6 52 55 58] ; #86 (2944, 7e+01%) [33] ; #87 (2903, 7e+01%) [6 30 43] ; #88 (2867, 7e+01%) [10 11 52] ; #89 (2840, 7e+01%) [6 11 29 33] ; #90 (2830, 7e+01%) [6 11 33 54] ; #91 (2814, 7e+01%) [21 53] ; #92 (2804, 7e+01%) [55 73 75] ; #93 (2776, 7e+01%) [10 11 29 54] ; #94 (2772, 7e+01%) [6 29 43 52 53 55] ; #95 (2768, 7e+01%) [11 53 54] ; #96 (2750, 7e+01%) [6 29 52] ; #97 (2750, 7e+01%) [6 10 29] ; #98 (2732, 7e+01%) [0 1 6 43 44 50 52 53 54 55 65] ; #99 (2712, 7e+01%) [6 105] ; #100 (2662, 7e+01%) [1 6 43] ; #101 (2645, 7e+01%) [6 11 33 53 54] ; #102 (2628, 7e+01%) [12] ; #103 (2583, 7e+01%) [8 52 55 58] ; #104 (2581, 7e+01%) [53 55] ; #105 (2580, 7e+01%) [6 11 29 53 55] ; #106 (2579, 7e+01%) [6 45 53] ; #107 (2557, 7e+01%) [11 53 55 57] ; #108 (2529, 7e+01%) [74 103 104] ; #109 (2490, 7e+01%) [6 11 30] ; #110 (2433, 7e+01%) [52 74 103 108 111] ; #111 (2370, 7e+01%) [6 52 58] ; #112 (2360, 7e+01%) [52 55 58] ; #113 (2343, 7e+01%) [0 6 10 74 87] ; #114 (2334, 7e+01%) [6 48 64] ; #115 (2317, 7e+01%) [10 11 53] ; #116 (2288, 7e+01%) [6 28 43] ; #117 (2286, 7e+01%) [57] ; #118 (2285, 7e+01%) [26] ; #119 (2285, 7e+01%) [6 11 21] ; #120 (2267, 7e+01%) [10 11 59] ; #121 (2228, 7e+01%) [12 25 48] ; #122 (2202, 7e+01%) [11 29 33] ; #123 (2152, 7e+01%) [6 53 105] ; #124 (2116, 7e+01%) [6 10 29 53 54] ; #125 (2086, 7e+01%) [54 55] ; #126 (2080, 7e+01%) [6 11 43] ; #127 (2031, 7e+01%) [52 58] ; #128 (2021, 7e+01%) [53 54] ; #129 (1969, 7e+01%) [58] ; #130 (1957, 7e+01%) [7 55] ; #131 (1932, 7e+01%) [1 7 53] ; #132 (1930, 7e+01%) [42 59] ; #133 (1914, 7e+01%) [6 28 53] ; #134 (1911, 7e+01%) [6 10 21 43] ; #135 (1879, 7e+01%) [10 53] ; #136 (1872, 7e+01%) [6 11 21 53] ; #137 (1871, 7e+01%) [72] ; #138 (1844, 7e+01%) [6 23] ; #139 (1766, 7e+01%) [52 74] ; #140 (1756, 8e+01%) [0 6 44 53 54 55 64 95] ; #141 (1733, 8e+01%) [6 11 23 30] ; #142 (1726, 8e+01%) [7 52 55] ; #143 (1719, 8e+01%) [6 55 58] ; #144 (1716, 8e+01%) [0 1 6 43 52 53 54 55 65] ; #145 (1702, 8e+01%) [99] ; #146 (1696, 8e+01%) [6 7] ; #147 (1693, 8e+01%) [6 80] ; #148 (1680, 8e+01%) [7 53] ; #149 (1680, 8e+01%) [1 7 74] ; #150 (1672, 8e+01%) [0 1 6 28 43 45 50 52 53 54 61 64 65 66] ; #151 (1665, 8e+01%) [6 28 30] ; #152 (1644, 8e+01%) [10 55 75] ; #153 (1641, 8e+01%) [6 29 43 52 53 55 73 74] ; #154 (1630, 8e+01%) [11 52 214] ; #155 (1620, 8e+01%) [0 6 10 28 30 43 53 54 55 62 65 67] ; #156 (1599, 8e+01%) [1 7 10 53 55] ; #157 (1578, 8e+01%) [11 33 52 55] ; #158 (1577, 8e+01%) [1 6 7 54] ; #159 (1544, 8e+01%) [6 21 27 30 43] ; #160 (1538, 8e+01%) [6 11 30 53] ; #161 (1503, 8e+01%) [0 74 87] ; #162 (1494, 8e+01%) [6 32] ; #163 (1492, 8e+01%) [6 29 74] ; #164 (1488, 8e+01%) [1 7 53 54] ; #165 (1488, 8e+01%) [6 11 23 30 43] ; #166 (1484, 8e+01%) [11 33 55] ; #167 (1454, 8e+01%) [6 10 30] ; #168 (1433, 8e+01%) [6 64] ; #169 (1432, 8e+01%) [6 52 63] ; #170 (1427, 8e+01%) [29 55] ; #171 (1418, 8e+01%) [6 23 27 30 43] ; #172 (1415, 8e+01%) [29 30] ; #173 (1414, 8e+01%) [0 1 6 11 33] ; #174 (1411, 8e+01%) [8 52 58] ; #175 (1409, 8e+01%) [10 11 53 54] ; #176 (1398, 8e+01%) [6 10 27 43] ; #177 (1374, 8e+01%) [1 7 54] ; #178 (1374, 8e+01%) [6 42] ; #179 (1365, 8e+01%) [6 29 53 55] ; #180 (1362, 8e+01%) [53 55 57] ; #181 (1343, 8e+01%) [1 6 11 30 33] ; #182 (1343, 8e+01%) [0 1 6 11 30 33] ; #183 (1338, 8e+01%) [33 57] ; #184 (1332, 8e+01%) [6 10 28 30 43] ; #185 (1330, 8e+01%) [0 6 53 54 64] ; #186 (1326, 8e+01%) [6 10 21 43 53] ; #187 (1324, 8e+01%) [12 25] ; #188 (1323, 8e+01%) [11 53] ; #189 (1315, 8e+01%) [6 10 53 87] ; #190 (1308, 8e+01%) [29 42] ; #191 (1306, 8e+01%) [6 11 33] ; #192 (1286, 8e+01%) [22] ; #193 (1286, 8e+01%) [6 10 11 30 43] ; #194 (1286, 8e+01%) [6 45] ; #195 (1278, 8e+01%) [11 29 54] ; #196 (1278, 8e+01%) [6 10 28 43] ; #197 (1272, 8e+01%) [8 12 25] ; #198 (1263, 8e+01%) [10 29 54] ; #199 (1259, 8e+01%) [6 11 29 33 57] ; #200 (1255, 8e+01%) [8 25] ; #201 (1251, 8e+01%) [6 10 11 54] ; #202 (1250, 8e+01%) [0 6 10 53 55] ; #203 (1231, 8e+01%) [6 11 30 43] ; #204 (1222, 8e+01%) [11 33 55 57] ; #205 (1221, 8e+01%) [11 31 33] ; #206 (1221, 8e+01%) [6 10 29 43] ; #207 (1192, 8e+01%) [6 11 29] ; #208 (1187, 8e+01%) [0] ; #209 (1176, 8e+01%) [1 54] ; #210 (1174, 8e+01%) [8 25 48] ; #211 (1173, 8e+01%) [6 11 21 43] ; #212 (1168, 8e+01%) [0 6 44 53 54 55 95] ; #213 (1165, 8e+01%) [0 1 6 10] ; #214 (1143, 8e+01%) [6 21 43 53] ; #215 (1137, 8e+01%) [6 28 54] ; #216 (1126, 8e+01%) [11 53 214] ; #217 (1122, 8e+01%) [11 33 55 73] ; #218 (1122, 8e+01%) [11 33 55 75] ; #219 (1118, 8e+01%) [6 29 54] ; #220 (1116, 8e+01%) [10 11 55 75] ; #221 (1107, 8e+01%) [7 54] ; #222 (1106, 8e+01%) [48] ; #223 (1089, 8e+01%) [6 58] ; #224 (1080, 8e+01%) [8 55] ; #225 (1077, 8e+01%) [5 8] ; #226 (1074, 8e+01%) [28 87] ; #227 (1070, 8e+01%) [0 6 10 29 30 51 54] ; #228 (1066, 8e+01%) [6 10 21] ; #229 (1065, 8e+01%) [0 1 6 7 43 52 53 74] ; #230 (1062, 8e+01%) [6 33 57] ; #231 (1061, 8e+01%) [6 11] ; #232 (1057, 8e+01%) [6 10 11 21 30 51] ; #233 (1054, 8e+01%) [11 29 31 54 55] ; #234 (1041, 8e+01%) [5] ; #235 (1039, 8e+01%) [6 30 50 55] ; #236 (1028, 8e+01%) [6 23 55] ; #237 (1027, 8e+01%) [6 54 55] ; #238 (1025, 8e+01%) [6 10 27 30 43] ; #239 (1016, 8e+01%) [0 1 6 7 43 52 53 55] ; #240 (996, 8e+01%) [1 7 74 103 108 111] ; #241 (995, 8e+01%) [52 74 103] ; #242 (993, 8e+01%) [29 213] ; #243 (991, 8e+01%) [1 7 53 55] ; #244 (987, 8e+01%) [6 10 54] ; #245 (986, 8e+01%) [6 10 30 51] ; #246 (985, 8e+01%) [0 64] ; #247 (985, 8e+01%) [0 1] ; #248 (974, 8e+01%) [11 33 59] ; #249 (970, 8e+01%) [74 101] ; #250 (956, 8e+01%) [11 33 52 57] ; #251 (954, 8e+01%) [0 1 6 7 27 29 54] ; #252 (947, 8e+01%) [6 29 55] ; #253 (928, 8e+01%) [6 10 28 87] ; #254 (928, 8e+01%) [0 6 53 54 55 64] ; #255 (918, 8e+01%) [6 10 22 43] ; #256 (912, 8e+01%) [1 6 7 53] ; #257 (907, 8e+01%) [42 48 59] ; #258 (907, 8e+01%) [6 57] ; #259 (904, 8e+01%) [6 61] ; #260 (902, 8e+01%) [6 10 11 21 30 43] ; #261 (893, 8e+01%) [74 104] ; #262 (890, 8e+01%) [6 21 53] ; #263 (887, 8e+01%) [8 54] ; #264 (884, 8e+01%) [28 53] ; #265 (881, 8e+01%) [7 8] ; #266 (874, 8e+01%) [0 8] ; #267 (857, 8e+01%) [11 21 53] ; #268 (856, 8e+01%) [33 53 54] ; #269 (856, 8e+01%) [10 52 55] ; #270 (856, 8e+01%) [0 1 6 7 43 50 52 53 61 64 65 90 91 92] ; #271 (855, 8e+01%) [33 53 54 57] ; #272 (849, 8e+01%) [6 29 30 43] ; #273 (846, 8e+01%) [74 99] ; #274 (841, 8e+01%) [0 6 10 74 87 103] ; #275 (836, 8e+01%) [0 1 6 28 64] ; #276 (824, 8e+01%) [0 6 53 54 55 64 95] ; #277 (817, 8e+01%) [0 1 6 28] ; #278 (814, 9e+01%) [10 55 73] ; #279 (806, 9e+01%) [49 54] ; #280 (801, 9e+01%) [6 45 52 63] ; #281 (798, 9e+01%) [1 6] ; #282 (790, 9e+01%) [6 26] ; #283 (790, 9e+01%) [1 6 7 10 53 55] ; #284 (785, 9e+01%) [6 10 30 55] ; #285 (784, 9e+01%) [6 62] ; #286 (782, 9e+01%) [6 27 43] ; #287 (776, 9e+01%) [0 6 64 93] ; #288 (765, 9e+01%) [7 29] ; #289 (764, 9e+01%) [74 101 103] ; #290 (762, 9e+01%) [11 214] ; #291 (760, 9e+01%) [6 28 30 43] ; #292 (754, 9e+01%) [0 6 10 43 51 53 55] ; #293 (753, 9e+01%) [7 27] ; #294 (746, 9e+01%) [0 6 10 43 53 55] ; #295 (746, 9e+01%) [0 6] ; #296 (745, 9e+01%) [6 29 30] ; #297 (739, 9e+01%) [0 6 10 29 30 54] ; #298 (731, 9e+01%) [1 6 7 53 54] ; #299 (718, 9e+01%) [10 54] ; #300 (717, 9e+01%) [6 28 54 66] ; #301 (707, 9e+01%) [6 53 55] ; #302 (704, 9e+01%) [6 28 55] ; #303 (704, 9e+01%) [10 29 54 55] ; #304 (702, 9e+01%) [11 33 210] ; #305 (702, 9e+01%) [0 6 53 54] ; #306 (698, 9e+01%) [6 10 11 43] ; #307 (692, 9e+01%) [0 6 7 45 68 93] ; #308 (689, 9e+01%) [6 10 51 87] ; #309 (672, 9e+01%) [0 1 6 43 44 52 53 54 55 65] ; #310 (672, 9e+01%) [6 94] ; #311 (664, 9e+01%) [6 30 53] ; #312 (656, 9e+01%) [6 21 55] ; #313 (655, 9e+01%) [0 1 6 11 64] ; #314 (652, 9e+01%) [0 1 6 43 44 50 52 53 54 55 65 91] ; #315 (650, 9e+01%) [33 55] ; #316 (649, 9e+01%) [6 52 54] ; #317 (646, 9e+01%) [74 141] ; #318 (644, 9e+01%) [77] ; #319 (644, 9e+01%) [6 42 52 55 58] ; #320 (640, 9e+01%) [0 1 6 43 44 50 52 53 54 55] ; #321 (637, 9e+01%) [72 101] ; #322 (637, 9e+01%) [8 12 53] ; #323 (636, 9e+01%) [74 103 141] ; #324 (634, 9e+01%) [11 29 33 57] ; #325 (634, 9e+01%) [10 11 52 55] ; #326 (633, 9e+01%) [9 29] ; #327 (629, 9e+01%) [6 29 33 53 54] ; #328 (629, 9e+01%) [55 58] ; #329 (622, 9e+01%) [29 32 54] ; #330 (621, 9e+01%) [6 27 43 55] ; #331 (620, 9e+01%) [0 1 6 43 45 50 52 53 54 56] ; #332 (619, 9e+01%) [10 59] ; #333 (618, 9e+01%) [6 30 80] ; #334 (617, 9e+01%) [5 12] ; #335 (615, 9e+01%) [74 101 103 104 108] ; #336 (610, 9e+01%) [1 6 54] ; #337 (610, 9e+01%) [54 60] ; #338 (607, 9e+01%) [11 33 54] ; #339 (607, 9e+01%) [6 44] ; #340 (605, 9e+01%) [74 103 111] ; #341 (604, 9e+01%) [6 43 62] ; #342 (600, 9e+01%) [0 1 6 10 30] ; #343 (600, 9e+01%) [1 6 10 30] ; #344 (600, 9e+01%) [6 22 51] ; #345 (599, 9e+01%) [42] ; #346 (592, 9e+01%) [6 54 55 58] ; #347 (588, 9e+01%) [27] ; #348 (585, 9e+01%) [8 55 58] ; #349 (584, 9e+01%) [6 30 51] ; #350 (580, 9e+01%) [74 88 103 104] ; #351 (576, 9e+01%) [6 10 11 21 30] ; #352 (570, 9e+01%) [74 142] ; #353 (570, 9e+01%) [72 128] ; #354 (570, 9e+01%) [32 52] ; #355 (570, 9e+01%) [0 6 10 29 54] ; #356 (563, 9e+01%) [74 108 141] ; #357 (563, 9e+01%) [7 26] ; #358 (561, 9e+01%) [6 53 54] ; #359 (554, 9e+01%) [52 55 75] ; #360 (552, 9e+01%) [6 48] ; #361 (549, 9e+01%) [29 52] ; #362 (547, 9e+01%) [0 6 21 28 74 87] ; #363 (546, 9e+01%) [52 72] ; #364 (546, 9e+01%) [6 53 80] ; #365 (544, 9e+01%) [0 6 7 64 93] ; #366 (540, 9e+01%) [0 1 6 43 52 53 54 55 65 89 106 107] ; #367 (530, 9e+01%) [7 11 33] ; #368 (529, 9e+01%) [7 55 75] ; #369 (529, 9e+01%) [6 42 49 54] ; #370 (526, 9e+01%) [11 29 54 57] ; #371 (525, 9e+01%) [6 11 54 57] ; #372 (524, 9e+01%) [0 6 93] ; #373 (521, 9e+01%) [8 11 30] ; #374 (519, 9e+01%) [11 29] ; #375 (518, 9e+01%) [8 48] ; #376 (517, 9e+01%) [11 33 192] ; #377 (516, 9e+01%) [11 33 57 192] ; #378 (514, 9e+01%) [0 6 49 53 61 64 93] ; #379 (510, 9e+01%) [30] ; #380 (507, 9e+01%) [6 156] ; #381 (504, 9e+01%) [88] ; #382 (504, 9e+01%) [11 29 33 54 57] ; #383 (502, 9e+01%) [52 74 103 111] ; #384 (493, 9e+01%) [59] ; #385 (489, 9e+01%) [1 6 7 53 55] ; #386 (481, 9e+01%) [0 1 6 64] ; #387 (479, 9e+01%) [7 8 55] ; #388 (477, 9e+01%) [29 32] ; #389 (476, 9e+01%) [6 43 62 81] ; #390 (472, 9e+01%) [6 11 53 54] ; #391 (472, 9e+01%) [6 10 52] ; #392 (472, 9e+01%) [6 30 33 43 58] ; #393 (466, 9e+01%) [6 21 28 43] ; #394 (464, 9e+01%) [6 10 27 30 43 58] ; #395 (464, 9e+01%) [0 1 76] ; #396 (458, 9e+01%) [80] ; #397 (458, 9e+01%) [6 52 54 58] ; #398 (457, 9e+01%) [0 6 21 29 30 54] ; #399 (455, 9e+01%) [6 42 52 58] ; #400 (451, 9e+01%) [7 52 55 75] ; #401 (446, 9e+01%) [74 103 108] ; #402 (444, 9e+01%) [0 1 6 43 44 50 52 53 54 55 106 107] ; #403 (443, 9e+01%) [6 10 11 53] ; #404 (441, 9e+01%) [53 87] ; #405 (441, 9e+01%) [52 74 103 104 108] ; #406 (441, 9e+01%) [6 59] ; #407 (439, 9e+01%) [0 8 64] ; #408 (436, 9e+01%) [5 6 80] ; #409 (434, 9e+01%) [6 42 54] ; #410 (432, 9e+01%) [0 6 10 74 87 103 104] ; #411 (428, 9e+01%) [22 29] ; #412 (426, 9e+01%) [6 10 51 55 87] ; #413 (420, 9e+01%) [0 6 74] ; #414 (418, 9e+01%) [1 6 28 43 64] ; #415 (418, 9e+01%) [1 6 11 28 64] ; #416 (418, 9e+01%) [0 1 6 11 28 64] ; #417 (417, 9e+01%) [6 10 43 51] ; #418 (416, 9e+01%) [6 27 54] ; #419 (415, 9e+01%) [74 108] ; #420 (414, 9e+01%) [6 28 29 54 55] ; #421 (412, 9e+01%) [6 27 30 42 43] ; #422 (410, 9e+01%) [11 29 33 52] ; #423 (408, 9e+01%) [0 1 6 43 45 52 53 54 55 63 65] ; #424 (405, 9e+01%) [0 6 21] ; #425 (405, 9e+01%) [44] ; #426 (402, 9e+01%) [0 1 6 7 43 52 53 55 73 74 103 108 111] ; #427 (398, 9e+01%) [0 1 6 7 43 52 53 55 73 74 75 103 108 111] ; #428 (397, 9e+01%) [54 58] ; #429 (396, 9e+01%) [25 29] ; #430 (394, 9e+01%) [6 21 30 52] ; #431 (394, 9e+01%) [0 1 6 11] ; #432 (392, 9e+01%) [6 29 52 54] ; #433 (390, 9e+01%) [74 100 101] ; #434 (388, 9e+01%) [6 10 25 43 58] ; #435 (388, 9e+01%) [6 45 52 55 63] ; #436 (386, 9e+01%) [6 7 27] ; #437 (385, 9e+01%) [55 81] ; #438 (382, 9e+01%) [6 43 81] ; #439 (379, 9e+01%) [6 21 30 43] ; #440 (379, 9e+01%) [6 43 57] ; #441 (378, 9e+01%) [6 29 42] ; #442 (377, 9e+01%) [1 6 7 43] ; #443 (375, 9e+01%) [6 21 105] ; #444 (375, 9e+01%) [6 11 29 57] ; #445 (372, 9e+01%) [6 28 29 30 43] ; #446 (372, 9e+01%) [0 1 6 43 45 52 53 54 55 65 77] ; #447 (372, 9e+01%) [6 72 74 88 104] ; #448 (371, 9e+01%) [6 21 22] ; #449 (369, 9e+01%) [6 10 11 29] ; #450 (369, 9e+01%) [6 45 52] ; #451 (368, 9e+01%) [72 74 88 104] ; #452 (368, 9e+01%) [6 11 33 52] ; #453 (368, 9e+01%) [0 6 53 54 55 68] ; #454 (368, 9e+01%) [0 6 53 54 55 64 68] ; #455 (367, 9e+01%) [6 22 28 29] ; #456 (367, 9e+01%) [7 72] ; #457 (363, 9e+01%) [6 43 53 62] ; #458 (362, 9e+01%) [52 72 74 104] ; #459 (362, 9e+01%) [7 26 30] ; #460 (360, 9e+01%) [6 10 30 52] ; #461 (360, 9e+01%) [0 6 53 54 55 95] ; #462 (358, 9e+01%) [1 6 11 30] ; #463 (358, 9e+01%) [6 10 28] ; #464 (358, 9e+01%) [0 1 6 11 30] ; #465 (353, 9e+01%) [6 43 61] ; #466 (353, 9e+01%) [1 64] ; #467 (352, 9e+01%) [11 31 33 52] ; #468 (350, 9e+01%) [6 48 49 54] ; #469 (349, 9e+01%) [1 29 54] ; #470 (348, 9e+01%) [6 77] ; #471 (344, 9e+01%) [6 29 30 55] ; #472 (344, 9e+01%) [6 10 28 30 51] ; #473 (344, 9e+01%) [0 6 55 93] ; #474 (343, 9e+01%) [74 99 103] ; #475 (343, 9e+01%) [34] ; #476 (342, 9e+01%) [0 6 9 10 29 30 51 54] ; #477 (341, 9e+01%) [8 72] ; #478 (340, 9e+01%) [0 1 6 52 53 54 56] ; #479 (338, 9e+01%) [8 64] ; #480 (334, 9e+01%) [6 43 52] ; #481 (333, 9e+01%) [74 88 103 108 110 126] ; #482 (332, 9e+01%) [0 1 6 28 43 50 52 53 65] ; #483 (332, 9e+01%) [0 6 45 64 68 93] ; #484 (332, 9e+01%) [7 72 74 104] ; #485 (332, 9e+01%) [1 7 72] ; #486 (330, 9e+01%) [5 25] ; #487 (329, 9e+01%) [6 28 30 52] ; #488 (329, 9e+01%) [6 22 58] ; #489 (327, 9e+01%) [29 72 74 104] ; #490 (327, 9e+01%) [6 34] ; #491 (326, 9e+01%) [0 6 10 87] ; #492 (326, 9e+01%) [22 62] ; #493 (325, 9e+01%) [211] ; #494 (325, 9e+01%) [12 53 59] ; #495 (324, 9e+01%) [6 11 28] ; #496 (322, 9e+01%) [6 74 103] ; #497 (320, 9e+01%) [6 11 33 54 57] ; #498 (320, 9e+01%) [0 1 6 7 34 52 53 54 55 89] ; #499 (319, 9e+01%) [6 52 58 72] ; #500 (318, 9e+01%) [6 30 43 81] ; #501 (317, 9e+01%) [74 100] ; #502 (317, 9e+01%) [0 6 10 51 74 87 101] ; #503 (317, 9e+01%) [6 50] ; #504 (316, 9e+01%) [10 11 53 59] ; #505 (315, 9e+01%) [0 76] ; #506 (313, 9e+01%) [6 21 87] ; #507 (311, 9e+01%) [29 55 75] ; #508 (311, 9e+01%) [11 52 57] ; #509 (311, 9e+01%) [6 11 21 30 43] ; #510 (310, 9e+01%) [11 210] ; #511 (310, 9e+01%) [0 6 28 43 53 54 55 62] ; #512 (309, 9e+01%) [10 11 55 73] ; #513 (308, 9e+01%) [6 30 50] ; #514 (307, 9e+01%) [6 10 30 43 53] ; #515 (307, 9e+01%) [7 74 103 108 111] ; #516 (307, 9e+01%) [7 52 74 103 108 111] ; #517 (306, 9e+01%) [1 8 54] ; #518 (305, 9e+01%) [28 54] ; #519 (304, 9e+01%) [6 28 29 30] ; #520 (302, 9e+01%) [6 30 43 62] ; #521 (301, 9e+01%) [6 49 54 156] ; #522 (300, 9e+01%) [0 6 10 29 43 53 55] ; #523 (300, 9e+01%) [6 10 11 21 30 43 53] ; #524 (296, 9e+01%) [6 28 29 54] ; #525 (295, 9e+01%) [11 59] ; #526 (294, 9e+01%) [52 58 72] ; #527 (293, 9e+01%) [6 11 54] ; #528 (293, 9e+01%) [0 6 74 142] ; #529 (292, 9e+01%) [6 30 43 62 81] ; #530 (289, 9e+01%) [6 11 30 43 53] ; #531 (287, 9e+01%) [61] ; #532 (286, 9e+01%) [6 10 11] ; #533 (285, 9e+01%) [6 9] ; #534 (284, 9e+01%) [213] ; #535 (284, 9e+01%) [5 6] ; #536 (283, 9e+01%) [6 11 28 53] ; #537 (282, 9e+01%) [11 52 55] ; #538 (282, 9e+01%) [6 42 55 58] ; #539 (281, 9e+01%) [6 21 23] ; #540 (280, 9e+01%) [6 11 23 43] ; #541 (279, 9e+01%) [29 32 52 55 56] ; #542 (279, 9e+01%) [8 58] ; #543 (277, 9e+01%) [33 55 75] ; #544 (276, 9e+01%) [52 74 104] ; #545 (276, 9e+01%) [12 25 34 48] ; #546 (276, 9e+01%) [11 12 25 34] ; #547 (275, 9e+01%) [6 10 21 30] ; #548 (273, 9e+01%) [33 52] ; #549 (273, 9e+01%) [6 10 30 54] ; #550 (272, 9e+01%) [11 48] ; #551 (272, 9e+01%) [0 6 34 44 53 54 55 64 95] ; #552 (271, 9e+01%) [6 10 30 51 52] ; #553 (271, 9e+01%) [6 9 45] ; #554 (271, 9e+01%) [6 9 68] ; #555 (269, 9e+01%) [29 72] ; #556 (269, 9e+01%) [6 43 52 53 54 55] ; #557 (268, 9e+01%) [10 11 29] ; #558 (268, 9e+01%) [6 52 55 80] ; #559 (268, 9e+01%) [6 43 52 53 54] ; #560 (267, 9e+01%) [11 192] ; #561 (265, 9e+01%) [11 57 192] ; #562 (265, 9e+01%) [6 30 33 58] ; #563 (264, 9e+01%) [0 8 12] ; #564 (263, 9e+01%) [52 74 108 141] ; #565 (263, 9e+01%) [6 30 43 53 62] ; #566 (260, 9e+01%) [5 29] ; #567 (259, 9e+01%) [6 23 30] ; #568 (258, 9e+01%) [0 1 6 7 43 52 53 54] ; #569 (257, 9e+01%) [6 29 43 52 53] ; #570 (257, 9e+01%) [10 54 55] ; #571 (254, 9e+01%) [6 21 30 54] ; #572 (254, 9e+01%) [1 7 74 100 101] ; #573 (253, 9e+01%) [1 6 23 43] ; #574 (252, 9e+01%) [6 22 55] ; #575 (252, 9e+01%) [0 1 6 7 43 52 53 55 56 65 67 90 208] ; #576 (252, 9e+01%) [11 31] ; #577 (251, 9e+01%) [6 11 29 31 53 55] ; #578 (251, 9e+01%) [11 31 53 55] ; #579 (251, 9e+01%) [11 31 53 55 57] ; #580 (250, 9e+01%) [74 103 110] ; #581 (250, 9e+01%) [11 55 75] ; #582 (250, 9e+01%) [9] ; #583 (249, 9e+01%) [0 6 29 54] ; #584 (248, 9e+01%) [0 6 48 53 54 64] ; #585 (248, 9e+01%) [6 34 52 55 58] ; #586 (247, 9e+01%) [7 52 72 74 104] ; #587 (246, 9e+01%) [1 6 28 43] ; #588 (246, 9e+01%) [0 6 30 74] ; #589 (244, 9e+01%) [0 1 6 7 64 93] ; #590 (242, 9e+01%) [6 22 23] ; #591 (242, 9e+01%) [6 54 60] ; #592 (241, 9e+01%) [6 23 74] ; #593 (241, 9e+01%) [6 11 29 33 192] ; #594 (241, 9e+01%) [6 7 43] ; #595 (241, 9e+01%) [0 1 32 76] ; #596 (240, 9e+01%) [11 55 73] ; #597 (240, 9e+01%) [11 29 54 55 120] ; #598 (239, 9e+01%) [1 6 7 43 64] ; #599 (239, 9e+01%) [29 76] ; #600 (239, 9e+01%) [6 7 43 53] ; #601 (239, 9e+01%) [6 45 52 55] ; #602 (239, 9e+01%) [0 6 28 43 53 54 55 62 65 134] ; #603 (239, 9e+01%) [6 30 43 52 55] ; #604 (238, 9e+01%) [29 32 42 52 55 56] ; #605 (237, 9e+01%) [1 6 11 30 64] ; #606 (237, 9e+01%) [6 21 28 30] ; #607 (237, 9e+01%) [28 55 87] ; #608 (237, 9e+01%) [0 6 10 51 74 87] ; #609 (237, 9e+01%) [11 33 53 54 210] ; #610 (237, 9e+01%) [0 1 6 11 30 64] ; #611 (236, 9e+01%) [0 1 6 43 52 53 54 56] ; #612 (236, 9e+01%) [0 34 53 54 55 64 65] ; #613 (236, 9e+01%) [0 1 6 43 44 50 52 53 54 55 65 106 107] ; #614 (236, 9e+01%) [0 6 53 61 64 156] ; #615 (236, 9e+01%) [8 29] ; #616 (236, 9e+01%) [0 1 6 28 43 45 50 52 53 54 56] ; #617 (236, 9e+01%) [6 33 53 54] ; #618 (236, 9e+01%) [6 30 52] ; #619 (235, 9e+01%) [11 124 192] ; #620 (234, 9e+01%) [74 88 99 103 108 110 126] ; #621 (233, 9e+01%) [6 29 57] ; #622 (233, 9e+01%) [11 57 124 192] ; #623 (232, 9e+01%) [0 1 6 42 44 53 54 55 95] ; #624 (231, 9e+01%) [0 6 21 29 54] ; #625 (231, 9e+01%) [6 21 55 87] ; #626 (230, 9e+01%) [222] ; #627 (230, 9e+01%) [6 7 42] ; #628 (228, 9e+01%) [0 1 6 7 43 52 53 55 56 65 67 106] ; #629 (228, 9e+01%) [0 1 6 43 44 50 52 53 54 55 65 90 91 106] ; #630 (226, 9e+01%) [7 11 33 52] ; #631 (226, 9e+01%) [0 1 6 7 43 52 53 62 74] ; #632 (224, 9e+01%) [5 8 12] ; #633 (224, 9e+01%) [6 30 43 55] ; #634 (223, 9e+01%) [7 8 72] ; #635 (222, 9e+01%) [6 72 104] ; #636 (221, 9e+01%) [74 180] ; #637 (218, 9e+01%) [7 52 69] ; #638 (216, 9e+01%) [0 1 6 7 43 53 54] ; #639 (216, 9e+01%) [0 6 55 64 93] ; #640 (216, 9e+01%) [6 43 58] ; #641 (215, 9e+01%) [12 25 30] ; #642 (215, 9e+01%) [8 52 58 72] ; #643 (215, 9e+01%) [0 6 9 10 29 30 54] ; #644 (214, 9e+01%) [6 10 53] ; #645 (213, 9e+01%) [1 6 10 11 30] ; #646 (213, 9e+01%) [5 8 25] ; #647 (212, 9e+01%) [0 1 6 43 44 50 52 53 54 55 107] ; #648 (212, 9e+01%) [6 11 22 43] ; #649 (212, 9e+01%) [0 1 6 7 43 52 53 54 55 65] ; #650 (211, 9e+01%) [0 1 7] ; #651 (211, 9e+01%) [11 33 207] ; #652 (211, 9e+01%) [6 42 77] ; #653 (209, 9e+01%) [256] ; #654 (208, 9e+01%) [0 1 6 43 52 53 54 55 65 91 106] ; #655 (208, 9e+01%) [11 33 57 207] ; #656 (208, 9e+01%) [6 34 55] ; #657 (207, 9e+01%) [8 74] ; #658 (207, 9e+01%) [6 30 43 53] ; #659 (206, 9e+01%) [0 6 10 87 256] ; #660 (205, 9e+01%) [6 10 11 55] ; #661 (205, 9e+01%) [7 52 72] ; #662 (204, 9e+01%) [74 103 126] ; #663 (204, 9e+01%) [0 1 6 43 50 52 53 54 56] ; #664 (204, 9e+01%) [0 1 6 43 45 52 53 54 55 63 65 89 106 107] ; #665 (204, 9e+01%) [6 11 29 33 53 55 191] ; #666 (204, 9e+01%) [11 33 53 55 191] ; #667 (204, 9e+01%) [11 33 53 55 57 191] ; #668 (204, 9e+01%) [6 55 68] ; #669 (202, 9e+01%) [6 29 43 52 53 55 72 73 74 88 104] ; #670 (201, 9e+01%) [74 99 103 110] ; #671 (201, 9e+01%) [33 199] ; #672 (201, 9e+01%) [33 57 199] ; #673 (200, 9e+01%) [6 22 28] ; #674 (199, 9e+01%) [0 1 6 7 43 52 53 55 56 65 67 90 91 221] ; #675 (199, 9e+01%) [10 29] ; #676 (199, 9e+01%) [6 55 105] ; #677 (198, 9e+01%) [76] ; #678 (198, 9e+01%) [29 52 55] ; #679 (197, 9e+01%) [6 68] ; #680 (197, 9e+01%) [6 42 58] ; #681 (196, 9e+01%) [6 8 54] ; #682 (195, 9e+01%) [6 29 43 52 53 55 73] ; #683 (195, 9e+01%) [11 21 29] ; #684 (194, 9e+01%) [6 21 55 105] ; #685 (194, 9e+01%) [6 52 55 63] ; #686 (193, 9e+01%) [6 10 29 30 43] ; #687 (192, 9e+01%) [6 23 43] ; #688 (191, 9e+01%) [6 11 57] ; #689 (190, 9e+01%) [52 74 141] ; #690 (189, 9e+01%) [52 72 128] ; #691 (189, 9e+01%) [6 11 29 31 33 53 55] ; #692 (189, 9e+01%) [11 33 55 57 75] ; #693 (189, 9e+01%) [11 31 33 53 55 57] ; #694 (189, 9e+01%) [11 31 33 53 55] ; #695 (188, 9e+01%) [0 1 6 7 43 45 50 52 53 54 56] ; #696 (188, 9e+01%) [7 74 103] ; #697 (188, 9e+01%) [0 6 7 93] ; #698 (187, 9e+01%) [74 101 103 141] ; #699 (186, 9e+01%) [6 29 72 74 88 104] ; #700 (186, 9e+01%) [0 1 6 77] ; #701 (186, 9e+01%) [6 25 30 33 58] ; #702 (185, 9e+01%) [6 29 43 52 53 54 55] ; #703 (185, 9e+01%) [6 23 53] ; #704 (185, 9e+01%) [1 6 10] ; #705 (184, 9e+01%) [6 10 29 30] ; #706 (184, 9e+01%) [0 6 45 68 93] ; #707 (184, 9e+01%) [7 52 74 103] ; #708 (183, 9e+01%) [6 23 30 43] ; #709 (183, 9e+01%) [6 10 21 29 43] ; #710 (183, 9e+01%) [6 33 57 199] ; #711 (180, 9e+01%) [0 1 6 7 93] ; #712 (180, 9e+01%) [6 10 21 43 51] ; #713 (180, 9e+01%) [6 30 33 43] ; #714 (179, 9e+01%) [11 12 25 29] ; #715 (179, 9e+01%) [6 30 43 52] ; #716 (177, 9e+01%) [6 10 53 54] ; #717 (175, 9e+01%) [29 30 76] ; #718 (174, 9e+01%) [11 29 31 33 54] ; #719 (173, 9e+01%) [6 11 30 80] ; #720 (173, 9e+01%) [6 10 28 30 51 52] ; #721 (172, 9e+01%) [6 29 43 52 53 54] ; #722 (172, 9e+01%) [120] ; #723 (172, 9e+01%) [0 1 6 28 45 50 52 53 54 56] ; #724 (172, 9e+01%) [0 6 28 54 62 74] ; #725 (171, 9e+01%) [25] ; #726 (171, 9e+01%) [0 6 10 28 30 43 53 54 55 62 65 67 102] ; #727 (170, 9e+01%) [6 29 43 52 53 55 73 74 103] ; #728 (170, 9e+01%) [6 28 43 54] ; #729 (170, 9e+01%) [11 33 124] ; #730 (170, 9e+01%) [6 43 52 53 55] ; #731 (169, 9e+01%) [0 74 87 88 103 104] ; #732 (169, 9e+01%) [7 32 52] ; #733 (169, 9e+01%) [6 53 156] ; #734 (167, 9e+01%) [0 1 6 10 28 30] ; #735 (167, 9e+01%) [1 6 10 28 30] ; #736 (167, 9e+01%) [10 64] ; #737 (167, 9e+01%) [6 9 30 52] ; #738 (167, 1e+02%) [0 6 43 53 88] ; #739 (165, 1e+02%) [0 6 21 211] ; #740 (165, 1e+02%) [0 6 10 43 53 54 55 65 133] ; #741 (165, 1e+02%) [6 11 22] ; #742 (165, 1e+02%) [0 6 10 43 53 54 55 65 91 133] ; #743 (164, 1e+02%) [0 1 6 28 43 45 50 52 53 54 55 65] ; #744 (164, 1e+02%) [6 7 23] ; #745 (163, 1e+02%) [6 29 74 103] ; #746 (163, 1e+02%) [6 11 33 57] ; #747 (162, 1e+02%) [74 99 101] ; #748 (162, 1e+02%) [8 53] ; #749 (162, 1e+02%) [7 27 54] ; #750 (162, 1e+02%) [1 7 74 103] ; #751 (161, 1e+02%) [6 10 30 43 52] ; #752 (161, 1e+02%) [6 10 28 43 51] ; #753 (160, 1e+02%) [0 1 6 10 11 23 30] ; #754 (160, 1e+02%) [0 1 6 10 11 23] ; #755 (159, 1e+02%) [74 99 103 104 108] ; #756 (158, 1e+02%) [32 52 62] ; #757 (156, 1e+02%) [101] ; #758 (156, 1e+02%) [30 62] ; #759 (156, 1e+02%) [7 74 103 141] ; #760 (156, 1e+02%) [7 52 74 103 141] ; #761 (156, 1e+02%) [5 26] ; #762 (155, 1e+02%) [6 76] ; #763 (155, 1e+02%) [6 72] ; #764 (154, 1e+02%) [52 74 101 103 104 108] ; #765 (154, 1e+02%) [11 55 57] ; #766 (153, 1e+02%) [88 99] ; #767 (153, 1e+02%) [6 21 30 43 53] ; #768 (153, 1e+02%) [11 201] ; #769 (153, 1e+02%) [11 57 201] ; #770 (153, 1e+02%) [6 10 43 53] ; #771 (153, 1e+02%) [6 30 53 105] ; #772 (152, 1e+02%) [113] ; #773 (152, 1e+02%) [53 80] ; #774 (152, 1e+02%) [6 10 28 30 54] ; #775 (151, 1e+02%) [6 29 30 43 55] ; #776 (151, 1e+02%) [1 6 28 43 48] ; #777 (151, 1e+02%) [52 74 103 104] ; #778 (151, 1e+02%) [6 11 29 33 57 207] ; #779 (150, 1e+02%) [6 28 30 43 55] ; #780 (150, 1e+02%) [52 69] ; #781 (150, 1e+02%) [11 54] ; #782 (149, 1e+02%) [6 28 48] ; #783 (148, 1e+02%) [0 1 6 7 45 64 68 93] ; #784 (148, 1e+02%) [11 31 54] ; #785 (148, 1e+02%) [0 6 45 48 53 54 55 64 68] ; #786 (148, 1e+02%) [0 6 45 48 53 54 64 68] ; #787 (147, 1e+02%) [1 7 74 100] ; #788 (146, 1e+02%) [42 53 59] ; #789 (146, 1e+02%) [6 34 54] ; #790 (145, 1e+02%) [6 27 34] ; #791 (144, 1e+02%) [0 6 142 211] ; #792 (142, 1e+02%) [6 21 43 55] ; #793 (142, 1e+02%) [6 11 43 53] ; #794 (141, 1e+02%) [0 1 6 10 11] ; #795 (140, 1e+02%) [6 28 30 55] ; #796 (140, 1e+02%) [74 101 108] ; #797 (139, 1e+02%) [6 29 33] ; #798 (139, 1e+02%) [74 103 108 109] ; #799 (139, 1e+02%) [11 207] ; #800 (139, 1e+02%) [11 57 207] ; #801 (139, 1e+02%) [11 30] ; #802 (139, 1e+02%) [0 6 28 53 54 55 62 65 67] ; #803 (138, 1e+02%) [6 28 43 53] ; #804 (138, 1e+02%) [74 88 100] ; #805 (138, 1e+02%) [0 6 10 74 87 212] ; #806 (138, 1e+02%) [6 11 30 53 80] ; #807 (138, 1e+02%) [10 11 28 29 54 55] ; #808 (138, 1e+02%) [7 74 103 104 108] ; #809 (138, 1e+02%) [7 52 74 103 104 108] ; #810 (137, 1e+02%) [0 6 21 74] ; #811 (137, 1e+02%) [52 54] ; #812 (136, 1e+02%) [6 22 29] ; #813 (136, 1e+02%) [6 11 29 33 53 55 190 191] ; #814 (136, 1e+02%) [11 33 53 55 190 191] ; #815 (136, 1e+02%) [11 33 53 55 57 190 191] ; #816 (136, 1e+02%) [10 48] ; #817 (136, 1e+02%) [0 6 10 28 30 43 53 54 55 62 65 67 226] ; #818 (135, 1e+02%) [74 103 109 126] ; #819 (135, 1e+02%) [6 21 28] ; #820 (135, 1e+02%) [0 6 10 43 53 54 65 74 91 95 133 228] ; #821 (135, 1e+02%) [0 6 10 43 53 54 55 65 91 133 227] ; #822 (135, 1e+02%) [7 8 74] ; #823 (134, 1e+02%) [0 1 7 76] ; #824 (134, 1e+02%) [1 6 49 54] ; #825 (134, 1e+02%) [1 6 7 55] ; #826 (134, 1e+02%) [0 6 54] ; #827 (133, 1e+02%) [6 27 29 43] ; #828 (133, 1e+02%) [0 6 28 54 62 74 103 109 126] ; #829 (132, 1e+02%) [6 22 28 29 43] ; #830 (132, 1e+02%) [11 31 57] ; #831 (131, 1e+02%) [1 6 28] ; #832 (131, 1e+02%) [6 22 28 43 50] ; #833 (131, 1e+02%) [33 131 132] ; #834 (131, 1e+02%) [33 57 131 132] ; #835 (131, 1e+02%) [10 11 54] ; #836 (131, 1e+02%) [6 33 57 131 132] ; #837 (130, 1e+02%) [6 28 30 53] ; #838 (130, 1e+02%) [6 11 29 53 55 124] ; #839 (130, 1e+02%) [11 53 55 124] ; #840 (130, 1e+02%) [11 53 55 57 124] ; #841 (130, 1e+02%) [6 10 21 30 58] ; #842 (129, 1e+02%) [74 212] ; #843 (129, 1e+02%) [11 33 52 55 57] ; #844 (129, 1e+02%) [8 12 25 30] ; #845 (129, 1e+02%) [8 12 25 48] ; #846 (129, 1e+02%) [1 34] ; #847 (128, 1e+02%) [0 1 6 76] ; #848 (128, 1e+02%) [28 120] ; #849 (128, 1e+02%) [11 124] ; #850 (128, 1e+02%) [6 10 11 21 43] ; #851 (128, 1e+02%) [7 74 141] ; #852 (128, 1e+02%) [7 74] ; #853 (128, 1e+02%) [7 52 74 141] ; #854 (128, 1e+02%) [6 74 128] ; #855 (128, 1e+02%) [0 6 30 43 74] ; #856 (128, 1e+02%) [6 50 58] ; #857 (128, 1e+02%) [6 30 52 77] ; #858 (127, 1e+02%) [33 53 54 201] ; #859 (127, 1e+02%) [10 11 48] ; #860 (127, 1e+02%) [1 7 99] ; #861 (127, 1e+02%) [0 6 28 43 53 54 55 62 65 67 226] ; #862 (126, 1e+02%) [6 29 33 53 54 201] ; #863 (126, 1e+02%) [1 6 32] ; #864 (126, 1e+02%) [33 53 54 57 201] ; #865 (126, 1e+02%) [6 11 53] ; #866 (126, 1e+02%) [0 1 6 7 43 52 53 55 73 74 108 141] ; #867 (126, 1e+02%) [1 7 74 108 141] ; #868 (125, 1e+02%) [6 28 48 53] ; #869 (125, 1e+02%) [29 54 66] ; #870 (125, 1e+02%) [10 52 54] ; #871 (125, 1e+02%) [6 52 72] ; #872 (125, 1e+02%) [6 43 54 55] ; #873 (124, 1e+02%) [6 7 146] ; #874 (124, 1e+02%) [6 7 55] ; #875 (124, 1e+02%) [0 6 28 53 55 62] ; #876 (124, 1e+02%) [6 30 43 52 55 76] ; #877 (123, 1e+02%) [10 11 29 54 55] ; #878 (123, 1e+02%) [8 11 30 53] ; #879 (123, 1e+02%) [6 120] ; #880 (122, 1e+02%) [74 99 103 126] ; #881 (122, 1e+02%) [33 52 55 75] ; #882 (122, 1e+02%) [11 33 191] ; #883 (122, 1e+02%) [0 1 9 64] ; #884 (121, 1e+02%) [6 29 43 52 53 55 72 73 104] ; #885 (121, 1e+02%) [1 6 61] ; #886 (121, 1e+02%) [81] ; #887 (121, 1e+02%) [52 74 103 141] ; #888 (121, 1e+02%) [42 53 54] ; #889 (121, 1e+02%) [11 33 57 191] ; #890 (120, 1e+02%) [7 52 74] ; #891 (120, 1e+02%) [6 7 54] ; #892 (119, 1e+02%) [74 101 103 108 126] ; #893 (119, 1e+02%) [6 10 43 52] ; #894 (119, 1e+02%) [6 32 62] ; #895 (118, 1e+02%) [6 7 64] ; #896 (118, 1e+02%) [6 72 74 104] ; #897 (117, 1e+02%) [8 48 53] ; #898 (116, 1e+02%) [6 21 28 87] ; #899 (116, 1e+02%) [11 29 52] ; #900 (116, 1e+02%) [6 52 53 55] ; #901 (116, 1e+02%) [6 43 52 53] ; #902 (116, 1e+02%) [1 7 55 75] ; #903 (115, 1e+02%) [6 10 30 52 55] ; #904 (115, 1e+02%) [7 52 55 56] ; #905 (114, 1e+02%) [6 21 54] ; #906 (114, 1e+02%) [8 34] ; #907 (114, 1e+02%) [8 34 48] ; #908 (114, 1e+02%) [0 1 6 7 43 52 53 55 73 74 104] ; #909 (114, 1e+02%) [6 74 103 104 108] ; #910 (114, 1e+02%) [1 7 74 104] ; #911 (113, 1e+02%) [6 28 29] ; #912 (113, 1e+02%) [52 58 74] ; #913 (113, 1e+02%) [8 12 59] ; #914 (113, 1e+02%) [0 6 9 21 29 30 54] ; #915 (112, 1e+02%) [74 88] ; #916 (112, 1e+02%) [6 11 29 33 53 55 201] ; #917 (112, 1e+02%) [11 33 53 55 201] ; #918 (112, 1e+02%) [11 33 53 55 57 201] ; #919 (112, 1e+02%) [0 1 6 28 43 45 50 52 53 61 65 90 92] ; #920 (112, 1e+02%) [0 1 6 28 43 45 50 52 53 61 65] ; #921 (112, 1e+02%) [6 7 52] ; #922 (112, 1e+02%) [1 10] ; #923 (111, 1e+02%) [6 29 72 104] ; #924 (111, 1e+02%) [6 11 29 33 53 55 124] ; #925 (111, 1e+02%) [11 33 53 55 124] ; #926 (111, 1e+02%) [11 33 53 55 57 124] ; #927 (111, 1e+02%) [0 1 8 64] ; #928 (111, 1e+02%) [0 6 28 43 53 54 55 62 65] ; #929 (110, 1e+02%) [6 22 50] ; #930 (110, 1e+02%) [10 29 32 54] ; #931 (108, 1e+02%) [1 7 28 54] ; #932 (108, 1e+02%) [6 11 29 192] ; #933 (108, 1e+02%) [12 25 29 48] ; #934 (108, 1e+02%) [0 6 222] ; #935 (108, 1e+02%) [0 6 142 222] ; #936 (108, 1e+02%) [8 52 74] ; #937 (108, 1e+02%) [0 6 9 29 54] ; #938 (108, 1e+02%) [6 48 54] ; #939 (107, 1e+02%) [6 28 54 55] ; #940 (106, 1e+02%) [6 11 29 53 55 201] ; #941 (106, 1e+02%) [11 53 55 201] ; #942 (106, 1e+02%) [11 53 55 57 201] ; #943 (105, 1e+02%) [6 11 23 29 30] ; #944 (105, 1e+02%) [6 10 11 21] ; #945 (105, 1e+02%) [6 30 105] ; #946 (104, 1e+02%) [6 11 29 33 52] ; #947 (104, 1e+02%) [6 74 103 104] ; #948 (103, 1e+02%) [74 99 103 108 109] ; #949 (103, 1e+02%) [6 11 29 124 192] ; #950 (102, 1e+02%) [1 6 43 53] ; #951 (102, 1e+02%) [12 25 34] ; #952 (101, 1e+02%) [74 101 103 108] ; #953 (101, 1e+02%) [7 74 103 104] ; #954 (101, 1e+02%) [6 52 53] ; #955 (100, 1e+02%) [0 87] ; #956 (100, 1e+02%) [12 29] ; #957 (100, 1e+02%) [11 59 214] ; #958 (100, 1e+02%) [0 1 6 28 43 45 50 52 53 54 61 65 66] ; #959 (99, 1e+02%) [6 29 137] ; #960 (99, 1e+02%) [1 7 8 55] ; #961 (99, 1e+02%) [11 259] ; #962 (99, 1e+02%) [11 57 259] ; #963 (99, 1e+02%) [11 29 57] ; #964 (99, 1e+02%) [6 7 42 52] ; #965 (99, 1e+02%) [6 42 52] ; #966 (98, 1e+02%) [11 29 55] ; #967 (98, 1e+02%) [0 6 76] ; #968 (98, 1e+02%) [0 6 43 76 77] ; #969 (97, 1e+02%) [6 29 43 51] ; #970 (97, 1e+02%) [6 27 30 43 53] ; #971 (97, 1e+02%) [6 27 30 42 43 53] ; #972 (97, 1e+02%) [6 23 27 30 43 53] ; #973 (97, 1e+02%) [6 21 27 30 43 53] ; #974 (97, 1e+02%) [0 6 60] ; #975 (97, 1e+02%) [10 11 52 55 75] ; #976 (96, 1e+02%) [0 1 6 28 43 52 53 54 55 65] ; #977 (95, 1e+02%) [6 10 23 28 51] ; #978 (95, 1e+02%) [8 12 25 53] ; #979 (94, 1e+02%) [0 1 6 9] ; #980 (94, 1e+02%) [0 6 43 74] ; #981 (94, 1e+02%) [0 6 9 10 43 51 53 55] ; #982 (93, 1e+02%) [1 6 10 11 21 30] ; #983 (93, 1e+02%) [0 1 6 10 11 23 77] ; #984 (93, 1e+02%) [0 6 10 87 113] ; #985 (93, 1e+02%) [0 1 6 10 11 23 30 77] ; #986 (93, 1e+02%) [30 55] ; #987 (93, 1e+02%) [6 11 33 53 54 210] ; #988 (93, 1e+02%) [11 57 124] ; #989 (92, 1e+02%) [6 28 30 43 53] ; #990 (92, 1e+02%) [0 1 6 7 43 45 48 50 53 54] ; #991 (92, 1e+02%) [29 32 52 55] ; #992 (92, 1e+02%) [12 53] ; #993 (92, 1e+02%) [11 53 54 210] ; #994 (92, 1e+02%) [6 10 43 58] ; #995 (92, 1e+02%) [8 52 55] ; #996 (91, 1e+02%) [1 6 42] ; #997 (91, 1e+02%) [6 22 28 43] ; #998 (91, 1e+02%) [6 7 50] ; #999 (91, 1e+02%) [7 11] ; #1000 (91, 1e+02%) [1 8] ; #1001 (90, 1e+02%) [52 72 101] ; #1002 (90, 1e+02%) [6 11 29 43] ; #1003 (90, 1e+02%) [0 10 64] ; #1004 (90, 1e+02%) [11 33 57 124] ; #1005 (90, 1e+02%) [8 25 53] ; #1006 (90, 1e+02%) [0 1 26] ; #1007 (90, 1e+02%) [0 1 8 24] ; #1008 (89, 1e+02%) [6 11 29 33 53 55 207] ; #1009 (89, 1e+02%) [11 33 53 55 207] ; #1010 (89, 1e+02%) [11 33 53 55 57 207] ; #1011 (89, 1e+02%) [6 10 11 21 29 30] ; #1012 (89, 1e+02%) [6 30 53 80] ; #1013 (88, 1e+02%) [29 74 103 104] ; #1014 (88, 1e+02%) [0 1 6 42 53 54] ; #1015 (88, 1e+02%) [6 10 27 30 54] ; #1016 (88, 1e+02%) [8 25 48 53] ; #1017 (88, 1e+02%) [7 28 54] ; #1018 (88, 1e+02%) [6 30 51 62] ; #1019 (87, 1e+02%) [6 21 53 105] ; #1020 (87, 1e+02%) [6 11 31 33 54] ; #1021 (87, 1e+02%) [11 12 25 53] ; #1022 (87, 1e+02%) [0 6 43 53] ; #1023 (87, 1e+02%) [6 52 74] ; #1024 (87, 1e+02%) [0 6 28 43 53 55 62] ; #1025 (86, 1e+02%) [199] ; #1026 (86, 1e+02%) [0 6 21 43 53] ; #1027 (86, 1e+02%) [57 199] ; #1028 (86, 1e+02%) [6 11 51] ; #1029 (86, 1e+02%) [29 33] ; #1030 (86, 1e+02%) [6 11 28 30] ; #1031 (86, 1e+02%) [11 33 201] ; #1032 (86, 1e+02%) [11 33 57 201] ; #1033 (86, 1e+02%) [7 52 74 103 104] ; #1034 (86, 1e+02%) [6 7 29] ; #1035 (85, 1e+02%) [1 6 10 12] ; #1036 (85, 1e+02%) [0 6 10 74 87 104] ; #1037 (85, 1e+02%) [0 142] ; #1038 (85, 1e+02%) [29 33 57] ; #1039 (85, 1e+02%) [0 6 10 74 87 103 104 108] ; #1040 (84, 1e+02%) [74 99 101 103 108 126] ; #1041 (84, 1e+02%) [6 22 28 54] ; #1042 (84, 1e+02%) [29 34 52] ; #1043 (84, 1e+02%) [0 8 27] ; #1044 (84, 1e+02%) [0 7] ; #1045 (84, 1e+02%) [6 10 30 43 58] ; #1046 (84, 1e+02%) [10 28 29 54 55] ; #1047 (84, 1e+02%) [6 58 74] ; #1048 (84, 1e+02%) [1 10 12 27] ; #1049 (84, 1e+02%) [1 10 27] ; #1050 (84, 1e+02%) [0 1 6 7] ; #1051 (84, 1e+02%) [1 7 55 73 75] ; #1052 (83, 1e+02%) [6 29 52 53 55] ; #1053 (83, 1e+02%) [6 21 28 55 87] ; #1054 (83, 1e+02%) [6 12] ; #1055 (83, 1e+02%) [8 29 55] ; #1056 (83, 1e+02%) [1 7 72 74 104] ; #1057 (82, 1e+02%) [128] ; #1058 (82, 1e+02%) [29 52 54 58] ; #1059 (82, 1e+02%) [29 32 42 52 55] ; #1060 (82, 1e+02%) [26 54] ; #1061 (82, 1e+02%) [6 11 29 53 55 192] ; #1062 (82, 1e+02%) [11 53 55 192] ; #1063 (82, 1e+02%) [11 53 55 57 192] ; #1064 (82, 1e+02%) [11 33 124 192] ; #1065 (82, 1e+02%) [11 33 57 124 192] ; #1066 (82, 1e+02%) [0 6 30 43 55] ; #1067 (82, 1e+02%) [5 8 12 25] ; #1068 (81, 1e+02%) [1 7 54 55] ; #1069 (81, 1e+02%) [29 54 58] ; #1070 (81, 1e+02%) [6 11 21 30] ; #1071 (81, 1e+02%) [11 29 33 52 57] ; #1072 (81, 1e+02%) [7 28 52 54] ; #1073 (81, 1e+02%) [0 6 30 113] ; #1074 (80, 1e+02%) [1 6 43 55] ; #1075 (80, 1e+02%) [6 29 30 76] ; #1076 (80, 1e+02%) [6 28 52] ; #1077 (80, 1e+02%) [74 88 104 108] ; #1078 (80, 1e+02%) [72 74 101 141] ; #1079 (80, 1e+02%) [62] ; #1080 (80, 1e+02%) [34 58] ; #1081 (80, 1e+02%) [11 29 33 57 124] ; #1082 (80, 1e+02%) [11 29 33 124] ; #1083 (80, 1e+02%) [6 10 28 54] ; #1084 (80, 1e+02%) [8 54 60] ; #1085 (80, 1e+02%) [8 52 58 74] ; #1086 (79, 1e+02%) [0 6 142] ; #1087 (79, 1e+02%) [0 1 6 28 43] ; #1088 (79, 1e+02%) [6 49 53 54] ; #1089 (78, 1e+02%) [124] ; #1090 (78, 1e+02%) [60] ; #1091 (78, 1e+02%) [53 55 75] ; #1092 (78, 1e+02%) [52 54 58] ; #1093 (78, 1e+02%) [1 6 7 28 54] ; #1094 (78, 1e+02%) [8 29 34 88] ; #1095 (78, 1e+02%) [5 8 26 29] ; #1096 (78, 1e+02%) [6 42 53 55] ; #1097 (77, 1e+02%) [6 29 43 52 53 55 72 73] ; #1098 (77, 1e+02%) [1 6 28 43 55] ; #1099 (77, 1e+02%) [42 55] ; #1100 (77, 1e+02%) [6 21 23 30 43] ; #1101 (77, 1e+02%) [29 32 55 56] ; #1102 (77, 1e+02%) [25 34 59] ; #1103 (77, 1e+02%) [25 30 34 59] ; #1104 (77, 1e+02%) [12 25 29] ; #1105 (77, 1e+02%) [6 11 24 30] ; #1106 (77, 1e+02%) [6 9 29 30] ; #1107 (76, 1e+02%) [1 7 8 34 74] ; #1108 (76, 1e+02%) [1 6 48] ; #1109 (76, 1e+02%) [29 52 58] ; #1110 (76, 1e+02%) [29 32 52] ; #1111 (76, 1e+02%) [25 34] ; #1112 (76, 1e+02%) [10 11 73] ; #1113 (75, 1e+02%) [0 1 8] ; #1114 (75, 1e+02%) [53 72] ; #1115 (75, 1e+02%) [33 52 69] ; #1116 (75, 1e+02%) [11 29 31 32 54] ; #1117 (75, 1e+02%) [8 12 26] ; #1118 (74, 1e+02%) [156] ; #1119 (74, 1e+02%) [6 21 28 30 54] ; #1120 (74, 1e+02%) [29 57] ; #1121 (74, 1e+02%) [6 10 23 28 43] ; #1122 (74, 1e+02%) [6 10 11 29 30 43] ; #1123 (74, 1e+02%) [7 48] ; #1124 (74, 1e+02%) [7 22 29] ; #1125 (74, 1e+02%) [7 11 21] ; #1126 (74, 1e+02%) [6 33 43 57] ; #1127 (74, 1e+02%) [6 30 50 54] ; #1128 (73, 1e+02%) [57 124] ; #1129 (73, 1e+02%) [54 74 101 103] ; #1130 (73, 1e+02%) [1 6 7 43 55] ; #1131 (73, 1e+02%) [6 11 29 30 43] ; #1132 (73, 1e+02%) [10 11 52 69] ; #1133 (73, 1e+02%) [6 30 43 52 55 73 75] ; #1134 (72, 1e+02%) [6 28 52 55] ; #1135 (72, 1e+02%) [74 128 141] ; #1136 (72, 1e+02%) [6 27 30 42 43 62 81] ; #1137 (72, 1e+02%) [0 1 6 7 76 77] ; #1138 (72, 1e+02%) [6 11 43 48] ; #1139 (72, 1e+02%) [6 11 33 52 57] ; #1140 (72, 1e+02%) [11 33 57 210] ; #1141 (72, 1e+02%) [11 33 52 55 57 75] ; #1142 (72, 1e+02%) [6 57 199] ; #1143 (72, 1e+02%) [6 30 55 105] ; #1144 (71, 1e+02%) [33 200] ; #1145 (71, 1e+02%) [33 57 200] ; #1146 (71, 1e+02%) [6 11 29 33 57 210] ; #1147 (71, 1e+02%) [6 11 23 29 30 43] ; #1148 (71, 1e+02%) [0 6 30 74 103 108 110 126] ; #1149 (71, 1e+02%) [6 52 58 74] ; #1150 (71, 1e+02%) [5 8 12 26] ; #1151 (71, 1e+02%) [6 30 52 55] ; #1152 (71, 1e+02%) [0 6 28 43 53 54 55 62 65 89 106 134 181] ; #1153 (70, 1e+02%) [48 64] ; #1154 (70, 1e+02%) [6 21 43 62 81] ; #1155 (70, 1e+02%) [6 21 30 55] ; #1156 (70, 1e+02%) [0 1 6 28 43 64] ; #1157 (70, 1e+02%) [8 52] ; #1158 (70, 1e+02%) [6 61 225] ; #1159 (70, 1e+02%) [6 43 48 54] ; #1160 (70, 1e+02%) [6 30 43 52 55 75] ; #1161 (70, 1e+02%) [6 30 43 52 55 73] ; #1162 (69, 1e+02%) [6 29 72] ; #1163 (69, 1e+02%) [112] ; #1164 (69, 1e+02%) [74 88 100 113] ; #1165 (69, 1e+02%) [6 11 28 30 53] ; #1166 (69, 1e+02%) [7 8 26] ; #1167 (68, 1e+02%) [220] ; #1168 (68, 1e+02%) [0 1 6 52 53 54 55 65] ; #1169 (68, 1e+02%) [6 10 34 64] ; #1170 (68, 1e+02%) [11 29 31 54 55 190] ; #1171 (68, 1e+02%) [10 29 52] ; #1172 (68, 1e+02%) [0 6 53 61 156] ; #1173 (67, 1e+02%) [6 29 32 54] ; #1174 (67, 1e+02%) [22 76] ; #1175 (67, 1e+02%) [6 11 29 30] ; #1176 (67, 1e+02%) [11 30 59] ; #1177 (67, 1e+02%) [6 10 28 30 51 54] ; #1178 (67, 1e+02%) [7 72 101] ; #1179 (66, 1e+02%) [6 29 43 52 53 55 72 73 74 104] ; #1180 (66, 1e+02%) [74 108 109 141] ; #1181 (66, 1e+02%) [74 103 104 130] ; #1182 (66, 1e+02%) [74 88 101 104 108] ; #1183 (66, 1e+02%) [54 74 101 108 141] ; #1184 (66, 1e+02%) [33 52 55] ; #1185 (66, 1e+02%) [29 74 103] ; #1186 (66, 1e+02%) [29 32 42 52] ; #1187 (66, 1e+02%) [6 74 228] ; #1188 (65, 1e+02%) [6 28 43 52] ; #1189 (64, 1e+02%) [6 29 74 128] ; #1190 (64, 1e+02%) [74 104 141] ; #1191 (64, 1e+02%) [1 6 10 34] ; #1192 (64, 1e+02%) [0 6 10 74 87 108 109 141] ; #1193 (64, 1e+02%) [0 1 6 43 52 53 54 55] ; #1194 (64, 1e+02%) [0 74 103 142] ; #1195 (64, 1e+02%) [29 54 55] ; #1196 (64, 1e+02%) [0 74] ; #1197 (64, 1e+02%) [0 1 6 43 45 50 52 53 54 55 107] ; #1198 (64, 1e+02%) [25 29 30] ; #1199 (64, 1e+02%) [21 29] ; #1200 (64, 1e+02%) [6 10 30 52 77] ; #1201 (64, 1e+02%) [0 6 55 93 158] ; #1202 (64, 1e+02%) [0 6 55 64 93 158] ; #1203 (64, 1e+02%) [6 30 62] ; #1204 (63, 1e+02%) [6 28 55 105] ; #1205 (63, 1e+02%) [74 103 108 130] ; #1206 (63, 1e+02%) [74 103 108 110 126] ; #1207 (63, 1e+02%) [6 27 30] ; #1208 (63, 1e+02%) [0 6 10 74 87 103 108 130] ; #1209 (63, 1e+02%) [29 52 72] ; #1210 (63, 1e+02%) [29 32 42 55 56] ; #1211 (63, 1e+02%) [0 10 11 64] ; #1212 (63, 1e+02%) [6 10 30 51 54] ; #1213 (63, 1e+02%) [6 10 28 30 43 52] ; #1214 (63, 1e+02%) [10 11 28 54 120] ; #1215 (63, 1e+02%) [6 57 124] ; #1216 (63, 1e+02%) [6 49 61 156] ; #1217 (62, 1e+02%) [52 55 56] ; #1218 (62, 1e+02%) [0 6 10 74 87 104 141] ; #1219 (62, 1e+02%) [6 11 29 33 53 55 190] ; #1220 (62, 1e+02%) [11 33 53 55 190] ; #1221 (62, 1e+02%) [11 33 53 55 57 190] ; #1222 (62, 1e+02%) [6 10 58] ; #1223 (62, 1e+02%) [6 43 51] ; #1224 (62, 1e+02%) [6 42 53] ; #1225 (62, 1e+02%) [0 6 28 43 53 54 55 62 182] ; #1226 (62, 1e+02%) [6 30 43 52 76] ; #1227 (61, 1e+02%) [0 6 27 30 43 52 53 55 73 74 103 104 108] ; #1228 (61, 1e+02%) [1 6 7 9 64] ; #1229 (61, 1e+02%) [25 30] ; #1230 (61, 1e+02%) [7 52 72 101] ; #1231 (61, 1e+02%) [7 29 54] ; #1232 (61, 1e+02%) [0 1 25 64] ; #1233 (61, 1e+02%) [0 1 12 64] ; #1234 (61, 1e+02%) [1 9 64] ; #1235 (60, 1e+02%) [6 29 43 52 53 55 73 74 103 104 108] ; #1236 (60, 1e+02%) [6 27 28 30 43] ; #1237 (60, 1e+02%) [6 25] ; #1238 (60, 1e+02%) [0 1 6 7 43 45 50 52 53 61 63 64 65 90 91 92] ; #1239 (60, 1e+02%) [8 58 74] ; #1240 (59, 1e+02%) [6 29 72 74 104] ; #1241 (59, 1e+02%) [200] ; #1242 (59, 1e+02%) [57 200] ; #1243 (59, 1e+02%) [6 21 29 30] ; #1244 (59, 1e+02%) [27 54] ; #1245 (59, 1e+02%) [6 11 29 53 55 207] ; #1246 (59, 1e+02%) [0 6 10 74 87 88] ; #1247 (59, 1e+02%) [11 53 55 207] ; #1248 (59, 1e+02%) [11 53 55 57 207] ; #1249 (59, 1e+02%) [7 48 53] ; #1250 (59, 1e+02%) [7 34 53] ; #1251 (59, 1e+02%) [6 7 29 30] ; #1252 (58, 1e+02%) [6 29 43 52 53 55 73 74 103 104] ; #1253 (58, 1e+02%) [52 55 73 75] ; #1254 (58, 1e+02%) [34 52 55 58] ; #1255 (58, 1e+02%) [22 25 29] ; #1256 (58, 1e+02%) [8 25 29] ; #1257 (58, 1e+02%) [74 103 109] ; #1258 (58, 1e+02%) [5 7 26] ; #1259 (57, 1e+02%) [6 29 74 103 104 108] ; #1260 (57, 1e+02%) [6 27 30 42 43 62] ; #1261 (57, 1e+02%) [0 1 6 7 42] ; #1262 (57, 1e+02%) [6 10 55] ; #1263 (57, 1e+02%) [6 10 27 43 53] ; #1264 (57, 1e+02%) [8 29 54] ; #1265 (57, 1e+02%) [8 29 52 55 58] ; #1266 (57, 1e+02%) [7 34 48 53] ; #1267 (57, 1e+02%) [6 33 57 200] ; #1268 (56, 1e+02%) [6 29 42 54] ; #1269 (56, 1e+02%) [29 56] ; #1270 (56, 1e+02%) [12 25 48 53] ; #1271 (56, 1e+02%) [6 11 25 30] ; #1272 (56, 1e+02%) [5 8 29] ; #1273 (56, 1e+02%) [6 43 52 53 73 74] ; #1274 (55, 1e+02%) [53 59] ; #1275 (55, 1e+02%) [0 6 10 74 87 129] ; #1276 (55, 1e+02%) [1 6 7 29 54] ; #1277 (55, 1e+02%) [29 72 101] ; #1278 (55, 1e+02%) [6 28 50] ; #1279 (55, 1e+02%) [6 11 21 43 53] ; #1280 (55, 1e+02%) [0 1 6 7 43 64] ; #1281 (55, 1e+02%) [6 10 28 52] ; #1282 (54, 1e+02%) [54 74 101 104] ; #1283 (54, 1e+02%) [52 57] ; #1284 (54, 1e+02%) [29 32 42 52 56] ; #1285 (54, 1e+02%) [11 33 192 201] ; #1286 (54, 1e+02%) [11 33 57 192 201] ; #1287 (54, 1e+02%) [11 33 52 57 69] ; #1288 (54, 1e+02%) [8 29 52 58] ; #1289 (54, 1e+02%) [0 6 44 53 55 64 95 156] ; #1290 (54, 1e+02%) [0 6 44 53 55 61 64 95 156] ; #1291 (54, 1e+02%) [6 43 198] ; #1292 (54, 1e+02%) [6 43 53 81] ; #1293 (53, 1e+02%) [1 7 34 74] ; #1294 (53, 1e+02%) [1 6 48 54] ; #1295 (53, 1e+02%) [74 129] ; #1296 (53, 1e+02%) [74 111] ; #1297 (53, 1e+02%) [0 1 6 10 11 30] ; #1298 (53, 1e+02%) [72 74 141] ; #1299 (53, 1e+02%) [1 6 7 28 54 55] ; #1300 (53, 1e+02%) [26 52 55 56] ; #1301 (53, 1e+02%) [11 12 25 34 53] ; #1302 (53, 1e+02%) [7 74 101 103 104 108] ; #1303 (53, 1e+02%) [7 52 74 101 103 104 108] ; #1304 (53, 1e+02%) [0 6 7 8 9 10 11 12] ; #1305 (52, 1e+02%) [6 29 74 103 104] ; #1306 (52, 1e+02%) [73] ; #1307 (52, 1e+02%) [6 23 43 53] ; #1308 (52, 1e+02%) [34 52] ; #1309 (52, 1e+02%) [29 42 56] ; #1310 (52, 1e+02%) [29 32 52 56] ; #1311 (52, 1e+02%) [25 48] ; #1312 (52, 1e+02%) [12 25 34 48 53] ; #1313 (52, 1e+02%) [6 11 22 43 62] ; #1314 (52, 1e+02%) [11 29 32 54] ; #1315 (52, 1e+02%) [11 28 29 54] ; #1316 (52, 1e+02%) [6 10 21 43 51 53] ; #1317 (52, 1e+02%) [6 43 61 92 125] ; #1318 (52, 1e+02%) [6 43 51 53] ; #1319 (51, 1e+02%) [6 29 32 42 52 55 56] ; #1320 (51, 1e+02%) [0 1 6 7 43 52 53 55 56 65 67 106 107] ; #1321 (51, 1e+02%) [6 27 29] ; #1322 (51, 1e+02%) [52 99] ; #1323 (51, 1e+02%) [6 11 29 53 55 124 192] ; #1324 (51, 1e+02%) [0 6 10 51 87 220] ; #1325 (51, 1e+02%) [11 53 55 57 124 192] ; #1326 (51, 1e+02%) [6 11 21 29] ; #1327 (51, 1e+02%) [11 53 55 124 192] ; #1328 (51, 1e+02%) [6 30 33 43 53 58] ; #1329 (50, 1e+02%) [1 7 8 74] ; #1330 (50, 1e+02%) [74 103 179] ; #1331 (50, 1e+02%) [29 74 103 108 111] ; #1332 (50, 1e+02%) [11 33 214] ; #1333 (50, 1e+02%) [0 6 49 53 61 93] ; #1334 (50, 1e+02%) [6 34 88] ; #1335 (50, 1e+02%) [6 33 43 58] ; #1336 (49, 1e+02%) [1 7 32 52] ; #1337 (49, 1e+02%) [74 88 103 104 108 111] ; #1338 (49, 1e+02%) [53 55 177] ; #1339 (48, 1e+02%) [52 74 128 141] ; #1340 (48, 1e+02%) [42 48 53 59] ; #1341 (48, 1e+02%) [33 73] ; #1342 (48, 1e+02%) [6 21 28 30 52] ; #1343 (48, 1e+02%) [0 8 10 30 64] ; #1344 (48, 1e+02%) [0 8 10 12 64] ; #1345 (48, 1e+02%) [11 31 52] ; #1346 (48, 1e+02%) [11 28 54] ; #1347 (48, 1e+02%) [10 30 64] ; #1348 (48, 1e+02%) [0 1 6 28 43 45 50 52 53 65 68 93] ; #1349 (48, 1e+02%) [9 29 30] ; #1350 (48, 1e+02%) [8 12 25 59] ; #1351 (48, 1e+02%) [0 6 43 52 53 55 56 65 67 91 106] ; #1352 (48, 1e+02%) [74 99 103 108] ; #1353 (48, 1e+02%) [6 7 28] ; #1354 (48, 1e+02%) [0 6 30 74 88 103 104] ; #1355 (48, 1e+02%) [5 12 59] ; #1356 (48, 1e+02%) [6 30 43 53 55] ; #1357 (48, 1e+02%) [1 7 74 99] ; #1358 (47, 1e+02%) [74 103 194] ; #1359 (47, 1e+02%) [1 6 9 11 30 33] ; #1360 (47, 1e+02%) [6 22 54] ; #1361 (47, 1e+02%) [45] ; #1362 (47, 1e+02%) [0 1 6 9 11 30 33] ; #1363 (47, 1e+02%) [1 6 7 9 43] ; #1364 (47, 1e+02%) [6 21 30 55 105] ; #1365 (47, 1e+02%) [6 21 30 52 55] ; #1366 (47, 1e+02%) [6 21 28 54] ; #1367 (47, 1e+02%) [53 55 73 74] ; #1368 (47, 1e+02%) [22 29 76] ; #1369 (47, 1e+02%) [11 33 54 57] ; #1370 (47, 1e+02%) [6 10 51 53 87] ; #1371 (46, 1e+02%) [99 211] ; #1372 (46, 1e+02%) [0 6 27 30 43 52 53 55 72 73 74 104] ; #1373 (46, 1e+02%) [6 27 29 43 50] ; #1374 (46, 1e+02%) [1 6 7 50] ; #1375 (46, 1e+02%) [6 22 28 29 54] ; #1376 (46, 1e+02%) [6 21 52] ; #1377 (46, 1e+02%) [29 54 57] ; #1378 (46, 1e+02%) [29 52 55 75] ; #1379 (46, 1e+02%) [0 11 33] ; #1380 (46, 1e+02%) [0 11 12 33] ; #1381 (46, 1e+02%) [0 10 11 12 22 64] ; #1382 (46, 1e+02%) [11 12 33] ; #1383 (46, 1e+02%) [10 11 12 21 22 64] ; #1384 (46, 1e+02%) [49] ; #1385 (46, 1e+02%) [6 7 22 29] ; #1386 (46, 1e+02%) [6 54 57] ; #1387 (46, 1e+02%) [6 48 53 55] ; #1388 (46, 1e+02%) [1 25] ; #1389 (46, 1e+02%) [1 24] ; #1390 (46, 1e+02%) [6 33] ; #1391 (45, 1e+02%) [29 52 55 58] ; #1392 (45, 1e+02%) [6 11 43 156] ; #1393 (45, 1e+02%) [6 11 29 33 59] ; #1394 (45, 1e+02%) [8 88] ; #1395 (45, 1e+02%) [6 57 200] ; #1396 (45, 1e+02%) [6 44 94] ; #1397 (45, 1e+02%) [1 10 12] ; #1398 (45, 1e+02%) [0 1 8 12 24] ; #1399 (44, 1e+02%) [6 29 52 53] ; #1400 (44, 1e+02%) [0 1 6 43 45 50 52 54 56] ; #1401 (44, 1e+02%) [0 74 87 88 103 104 108 111] ; #1402 (44, 1e+02%) [0 1 6 43 45 50 52 54 55 65] ; #1403 (44, 1e+02%) [6 11 29 214] ; #1404 (44, 1e+02%) [6 11 29 59 214] ; #1405 (44, 1e+02%) [6 10 28 51 55 87] ; #1406 (44, 1e+02%) [6 10 27 30] ; #1407 (44, 1e+02%) [0 6 48 52 53 54 55 64] ; #1408 (44, 1e+02%) [6 50 54] ; #1409 (44, 1e+02%) [0 6 28 53 54 55 62 65 67 226] ; #1410 (44, 1e+02%) [6 34 55 58] ; #1411 (44, 1e+02%) [1 7 74 103 104 108] ; #1412 (44, 1e+02%) [0 1 6 7 68] ; #1413 (43, 1e+02%) [0 6 27 30 43 52 53 55 73 74 103 141] ; #1414 (43, 1e+02%) [74 101 103 104] ; #1415 (43, 1e+02%) [74 88 99 103 104] ; #1416 (43, 1e+02%) [0 6 10 74 87 103 110] ; #1417 (43, 1e+02%) [26 32] ; #1418 (43, 1e+02%) [6 11 23] ; #1419 (43, 1e+02%) [6 10 52 55] ; #1420 (43, 1e+02%) [9 10] ; #1421 (43, 1e+02%) [0 6 28 43 53 54 55 62 65 91 106 134 181] ; #1422 (42, 1e+02%) [6 29 32 42 55 56] ; #1423 (42, 1e+02%) [74 101 108 141] ; #1424 (42, 1e+02%) [74 103 104 141] ; #1425 (42, 1e+02%) [74 101 141] ; #1426 (42, 1e+02%) [74 101 104] ; #1427 (42, 1e+02%) [74 81 101 103] ; #1428 (42, 1e+02%) [6 22 50 55] ; #1429 (42, 1e+02%) [34 55] ; #1430 (42, 1e+02%) [0 74 87 88 103 104 126] ; #1431 (42, 1e+02%) [22 55] ; #1432 (42, 1e+02%) [12 34 53] ; #1433 (42, 1e+02%) [0 24 64] ; #1434 (42, 1e+02%) [6 34 52 58 74] ; #1435 (42, 1e+02%) [6 30 76] ; #1436 (41, 1e+02%) [0 1 7 52 53 74] ; #1437 (41, 1e+02%) [68] ; #1438 (41, 1e+02%) [0 1 6 10 11 28 30] ; #1439 (41, 1e+02%) [1 6 10 11 21 28 30] ; #1440 (41, 1e+02%) [34 52 74] ; #1441 (41, 1e+02%) [6 11 52] ; #1442 (41, 1e+02%) [0 6 10 74 87 103 108] ; #1443 (41, 1e+02%) [6 11 29 33 124 192] ; #1444 (41, 1e+02%) [10 52 69] ; #1445 (41, 1e+02%) [6 8 59] ; #1446 (41, 1e+02%) [7 22 26] ; #1447 (41, 1e+02%) [6 43 53 198] ; #1448 (41, 1e+02%) [6 43 52 55] ; #1449 (40, 1e+02%) [0 6 28 30 43 53 55] ; #1450 (40, 1e+02%) [6 29 30 43 50 55] ; #1451 (40, 1e+02%) [74 103 108 126] ; #1452 (40, 1e+02%) [11 33 266] ; #1453 (40, 1e+02%) [11 33 190] ; #1454 (40, 1e+02%) [11 33 57 190] ; #1455 (40, 1e+02%) [0 6 10 43 53 54 55 65 90 91] ; #1456 (40, 1e+02%) [11 12 25 28] ; #1457 (40, 1e+02%) [10 11 28 29 32 54] ; #1458 (40, 1e+02%) [6 8 61] ; #1459 (40, 1e+02%) [6 43 53 76] ; #1460 (40, 1e+02%) [6 42 52 58 72] ; #1461 (39, 1e+02%) [74 113] ; #1462 (39, 1e+02%) [6 23 29] ; #1463 (39, 1e+02%) [0 6 10 87 112] ; #1464 (39, 1e+02%) [6 22 29 76] ; #1465 (39, 1e+02%) [42 72] ; #1466 (39, 1e+02%) [6 21 30 105] ; #1467 (39, 1e+02%) [74 103 104 111] ; #1468 (39, 1e+02%) [0 6 10 74 87 103 104 111] ; #1469 (39, 1e+02%) [6 11 29 33 124] ; #1470 (39, 1e+02%) [6 11 29 33 53 55 192] ; #1471 (39, 1e+02%) [11 33 53 55 192] ; #1472 (39, 1e+02%) [11 33 53 55 57 192] ; #1473 (39, 1e+02%) [0 1 6 29 54] ; #1474 (39, 1e+02%) [6 10 11 43 53] ; #1475 (39, 1e+02%) [7 8 53] ; #1476 (39, 1e+02%) [6 49 156] ; #1477 (39, 1e+02%) [0 1 6 7 43 50 64] ; #1478 (39, 1e+02%) [6 34 52 74] ; #1479 (39, 1e+02%) [6 30 52 53 55 73] ; #1480 (39, 1e+02%) [1 7 74 111] ; #1481 (39, 1e+02%) [6 30 43 52 53] ; #1482 (38, 1e+02%) [0 1 6 10 11 28 43 64] ; #1483 (38, 1e+02%) [6 22 50 54] ; #1484 (38, 1e+02%) [33 53 54 124] ; #1485 (38, 1e+02%) [6 11 22 43 53] ; #1486 (38, 1e+02%) [11 31 53] ; #1487 (38, 1e+02%) [6 10 30 58] ; #1488 (38, 1e+02%) [11 31 33 53 54] ; #1489 (38, 1e+02%) [6 10 27 30 43 53] ; #1490 (38, 1e+02%) [0 6 44 53 55 95 156] ; #1491 (38, 1e+02%) [0 6 44 53 55 61 95 156] ; #1492 (38, 1e+02%) [7 29 52] ; #1493 (38, 1e+02%) [0 6 28 43 53 54 55 62 182 183] ; #1494 (38, 1e+02%) [33 53 54 57 124] ; #1495 (37, 1e+02%) [74 88 103 110 126] ; #1496 (37, 1e+02%) [52 74 88 103 104] ; #1497 (37, 1e+02%) [6 22 26 29] ; #1498 (37, 1e+02%) [34 52 58 74] ; #1499 (37, 1e+02%) [6 21 34] ; #1500 (37, 1e+02%) [32] ; #1501 (37, 1e+02%) [30 64] ; #1502 (37, 1e+02%) [6 21 29] ; #1503 (37, 1e+02%) [6 21 22 28] ; #1504 (37, 1e+02%) [74 88 103 104 126] ; #1505 (37, 1e+02%) [0 27 64] ; #1506 (37, 1e+02%) [0 27 30 64] ; #1507 (37, 1e+02%) [0 6 10 43 53 54 65 74 91 95 133] ; #1508 (37, 1e+02%) [0 1 6 32 76] ; #1509 (37, 1e+02%) [6 10 11 21 43 53] ; #1510 (37, 1e+02%) [6 34 64] ; #1511 (37, 1e+02%) [6 30 58] ; #1512 (37, 1e+02%) [6 30 51 62 81] ; #1513 (37, 1e+02%) [0 1 8 12 64] ; #1514 (36, 1e+02%) [6 29 52 53 55 73 88] ; #1515 (36, 1e+02%) [0 1 7 9] ; #1516 (36, 1e+02%) [55 73] ; #1517 (36, 1e+02%) [6 22 53 54] ; #1518 (36, 1e+02%) [0 1 6 7 43 44 48 53 54 55] ; #1519 (36, 1e+02%) [34 55 73] ; #1520 (36, 1e+02%) [6 21 53 87] ; #1521 (36, 1e+02%) [11 52 55 57] ; #1522 (36, 1e+02%) [6 10 30 43 54] ; #1523 (36, 1e+02%) [11 28 31 54] ; #1524 (36, 1e+02%) [8 29 52] ; #1525 (36, 1e+02%) [0 1 6 7 43 52 53 74 100] ; #1526 (36, 1e+02%) [6 58 72] ; #1527 (36, 1e+02%) [113 212] ; #1528 (36, 1e+02%) [0 6 28 43 53 54 55 62 183] ; #1529 (35, 1e+02%) [58 72] ; #1530 (35, 1e+02%) [6 22 28 52 53 54 55] ; #1531 (35, 1e+02%) [42 52 55 56] ; #1532 (35, 1e+02%) [0 6 10 74 87 103 141] ; #1533 (35, 1e+02%) [6 11 29 33 57 191] ; #1534 (35, 1e+02%) [11 29 124] ; #1535 (35, 1e+02%) [7 74 88 103 104] ; #1536 (35, 1e+02%) [7 52 74 88 103 104] ; #1537 (35, 1e+02%) [0 6 43 52 53 55 56 65 67 106 107] ; #1538 (35, 1e+02%) [0 1 6 7 43 52 53 55 72 73 74 104] ; #1539 (34, 1e+02%) [6 29 43 48 53 55] ; #1540 (34, 1e+02%) [146 156] ; #1541 (34, 1e+02%) [74 109 126 141] ; #1542 (34, 1e+02%) [22 54] ; #1543 (34, 1e+02%) [29 74 103 104 108] ; #1544 (34, 1e+02%) [0 32 76] ; #1545 (34, 1e+02%) [11 33 57 59] ; #1546 (34, 1e+02%) [8 52 54 58] ; #1547 (34, 1e+02%) [6 7 27 54] ; #1548 (34, 1e+02%) [6 7 27 34] ; #1549 (34, 1e+02%) [6 53 54 156] ; #1550 (34, 1e+02%) [6 42 55] ; #1551 (34, 1e+02%) [11 29 57 124] ; #1552 (33, 1e+02%) [0 6 27 30 43 52 53 55 73 74 141] ; #1553 (33, 1e+02%) [0 1 7 26] ; #1554 (33, 1e+02%) [74 81 103 104 108] ; #1555 (33, 1e+02%) [0 6 10 74 87 109] ; #1556 (33, 1e+02%) [6 11 29 124] ; #1557 (33, 1e+02%) [74 88 101 103 104] ; #1558 (33, 1e+02%) [0 1 6 7 43 52 53 74 111] ; #1559 (33, 1e+02%) [6 54 72] ; #1560 (33, 1e+02%) [6 30 43 53 81] ; #1561 (33, 1e+02%) [6 30 43 54] ; #1562 (32, 1e+02%) [0 6 27 30 43 52 53 55 65 67 106 107] ; #1563 (32, 1e+02%) [0 6 27 30 43 52 53 55 65 67 90 208] ; #1564 (32, 1e+02%) [185] ; #1565 (32, 1e+02%) [74 104 128] ; #1566 (32, 1e+02%) [74 88 103 129] ; #1567 (32, 1e+02%) [26 146 156] ; #1568 (32, 1e+02%) [60 61] ; #1569 (32, 1e+02%) [0 6 10 74 87 104 128] ; #1570 (32, 1e+02%) [31 33 57] ; #1571 (32, 1e+02%) [31 33] ; #1572 (32, 1e+02%) [29 52 72 74 104] ; #1573 (32, 1e+02%) [6 11 34 43] ; #1574 (32, 1e+02%) [0 12] ; #1575 (32, 1e+02%) [0 1 6 28 45 52 53 54 61 65 66] ; #1576 (32, 1e+02%) [10 29 53 54] ; #1577 (32, 1e+02%) [0 1 6 28 45 50 52 55 61 65 66 68 95] ; #1578 (32, 1e+02%) [0 1 6 28 45 50 52 53 54 61 65 66] ; #1579 (32, 1e+02%) [6 10 23 51] ; #1580 (32, 1e+02%) [6 10 21 29] ; #1581 (32, 1e+02%) [8 28] ; #1582 (32, 1e+02%) [7 29 30] ; #1583 (32, 1e+02%) [6 7 42 52 55] ; #1584 (32, 1e+02%) [7 11 12] ; #1585 (32, 1e+02%) [6 7 29 55] ; #1586 (32, 1e+02%) [6 31 33 57] ; #1587 (31, 1e+02%) [74 228] ; #1588 (31, 1e+02%) [6 21 48] ; #1589 (31, 1e+02%) [29 52 74 103 108 111] ; #1590 (31, 1e+02%) [11 29 33 55 57 75] ; #1591 (31, 1e+02%) [8 58 72] ; #1592 (31, 1e+02%) [7 25] ; #1593 (31, 1e+02%) [6 61 92] ; #1594 (31, 1e+02%) [5 26 29] ; #1595 (31, 1e+02%) [6 21 43 81] ; #1596 (30, 1e+02%) [1 7 28] ; #1597 (30, 1e+02%) [61 93] ; #1598 (30, 1e+02%) [52 55 69] ; #1599 (30, 1e+02%) [34 74] ; #1600 (30, 1e+02%) [30 34 52 55 62] ; #1601 (30, 1e+02%) [0 74 103 108 126 142] ; #1602 (30, 1e+02%) [6 21 22 54] ; #1603 (30, 1e+02%) [0 6 10 74 87 103 108 109] ; #1604 (30, 1e+02%) [29 42 53 55 56] ; #1605 (30, 1e+02%) [26 29 30] ; #1606 (30, 1e+02%) [12 25 53] ; #1607 (30, 1e+02%) [11 48 53] ; #1608 (30, 1e+02%) [6 10 87 184] ; #1609 (30, 1e+02%) [6 10 30 43 51] ; #1610 (30, 1e+02%) [10 52 55 75] ; #1611 (30, 1e+02%) [8 34 53] ; #1612 (30, 1e+02%) [8 34 48 53] ; #1613 (30, 1e+02%) [7 52 55 69] ; #1614 (30, 1e+02%) [7 11 52] ; #1615 (30, 1e+02%) [6 7 42 52 55 56] ; #1616 (30, 1e+02%) [74 109] ; #1617 (30, 1e+02%) [29 74 141] ; #1618 (30, 1e+02%) [0 6 28 43 53 54 55 62 65 91 134 181 221] ; #1619 (30, 1e+02%) [6 30 54] ; #1620 (29, 1e+02%) [6 26 54] ; #1621 (29, 1e+02%) [11 190 218] ; #1622 (29, 1e+02%) [11 57 190 218] ; #1623 (29, 1e+02%) [6 10 11 21 29 30 51] ; #1624 (29, 1e+02%) [6 8 52 55] ; searching for minimal number of paths to cover 1625 sets Sun Aug 23 22:10:26 2009 ; found solution with 63 paths on Sun Aug 23 22:10:26 2009 ; estimated size of remaining search space 1 ; minimal solution (63 paths) found on Sun Aug 23 22:10:26 2009 ; 0 [84890] 1 [102230] 5 [5062] 6 [695220] 7 [104499] 8 [30553] 9 [3485] 10 [325624] 11 [405968] 12 [24906] 21 [56512] 22 [11451] 25 [15266] 26 [5008] 27 [32678] 28 [50679] 29 [145596] 30 [106633] 32 [8978] 33 [221027] 34 [4953] 42 [12258] 44 [10521] 45 [12440] 48 [12695] 49 [6792] 52 [157064] 53 [251004] 54 [195768] 55 [414058] 57 [51167] 58 [28615] 59 [14005] 60 [1139] 61 [5951] 62 [8312] 64 [30433] 68 [3225] 72 [14449] 73 [9848] 74 [88550] 76 [2889] 77 [2309] 80 [4571] 81 [2346] 87 [47987] 88 [4473] 99 [4472] 101 [6012] 112 [108] 113 [470] 120 [726] 124 [2724] 128 [1217] 156 [1786] 185 [32] 199 [829] 200 [362] 211 [680] 213 [1277] 220 [119] 222 [446] 256 [415] :begin :instance. qc_unif_set_pack := *top* & [ ARGS.SYNSEM.LOCAL.CAT.HEAD "0" #| 695220 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "1" #| 414058 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD "2" #| 405968 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "3" #| 325624 |#, ARGS.SYNSEM.LOCAL.CAT.VAL "4" #| 251004 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "5" #| 221027 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "6" #| 195768 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "7" #| 157064 |#, ARGS.SYNSEM.LOCAL.BAR "8" #| 145596 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC "9" #| 106633 |#, ARGS.J-NEEDS-AFFIX "10" #| 104499 |#, ARGS.INFLECTED "11" #| 102230 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "12" #| 88550 |#, ARGS "13" #| 84890 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.C-MOD "14" #| 56512 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "15" #| 51167 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "16" #| 50679 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "17" #| 47987 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MARK "18" #| 32678 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MODUS "19" #| 30553 |#, ARGS.STEMTYPE "20" #| 30433 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "21" #| 28615 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.FIN "22" #| 24906 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.H-TENSE "23" #| 15266 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "24" #| 14449 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MAIN-PRD "25" #| 14005 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.ADJ "26" #| 12695 |#, ARGS.SYNSEM.LKEYS.KEYREL "27" #| 12440 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.VN "28" #| 12258 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD "29" #| 11451 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG2 "30" #| 10521 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "31" #| 9848 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.UNSAT "32" #| 8978 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "33" #| 8312 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.LIGHT "34" #| 6792 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "35" #| 6012 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "36" #| 5951 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD "37" #| 5062 |#, ARGS.RMORPH-BIND-TYPE "38" #| 5008 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.COP "39" #| 4953 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SF "40" #| 4571 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.COP-ARG "41" #| 4473 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL "42" #| 4472 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "43" #| 3485 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "44" #| 3225 |#, ARGS.SYNSEM.LEX "45" #| 2889 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL "46" #| 2724 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.EMPTY "47" #| 2346 |#, ARGS.SYNSEM.LOCAL.NUCL "48" #| 2309 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "49" #| 1786 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD.LIGHT "50" #| 1277 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PTYPE "51" #| 1217 |#, ARGS.LMORPH-BIND-TYPE "52" #| 1139 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.C-MOD "53" #| 829 |#, ARGS.SYNSEM.MODIFIED.PERIPH "54" #| 726 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MAIN-PRD "55" #| 680 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.H-TENSE "56" #| 470 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.COP "57" #| 446 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FORMAL.AHON "58" #| 415 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MOD "59" #| 362 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MODUS "60" #| 119 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VN "61" #| 108 |#, ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE "62" #| 32 |# ]. :end :instance. ;; ;; quickcheck paths (subsumption) ;; ; traditional paths (max 10000) :begin :instance. qc_subs_trad_pack := *top* & [ ARGS.SYNSEM.LOCAL.CAT.VAL "0" #| 1.7e+04 |#, ARGS.C-CONT.HOOK.XARG "1" #| 1.3e+04 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "2" #| 1.3e+04 |#, ARGS.C-CONT.HOOK.INDEX "3" #| 8.6e+03 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "4" #| 8.6e+03 |#, ARGS.C-CONT.HOOK.INDEX.E.TENSE "5" #| 7.8e+03 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "6" #| 7.7e+03 |#, ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE "7" #| 7.4e+03 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST "8" #| 6.5e+03 |#, ARGS.SYNSEM.LOCAL.CTXT.C-INDICES.SPEAKER "9" #| 5e+03 |#, ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPER "10" #| 5e+03 |#, ARGS.SYNSEM.NON-LOCAL.UNDERSPEC_ARG "11" #| 4.6e+03 |#, ARGS.C-CONT.HOOK.INDEX.E.MOOD "12" #| 3.1e+03 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD "13" #| 3.1e+03 |#, ARGS.C-CONT.HOOK.INDEX.E.ASPECT "14" #| 3e+03 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.ASPECT "15" #| 3e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.EMPTY "16" #| 2.2e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD "17" #| 2.1e+03 |#, ARGS.SYNSEM.NON-LOCAL.ROBUST "18" #| 2.1e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MAIN-PRD "19" #| 2.1e+03 |#, ARGS.SYNSEM.MODIFIED.PERIPH "20" #| 2e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.UNSAT "21" #| 1.7e+03 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "22" #| 1.6e+03 |#, ARGS.C-CONT.HOOK.INDEX.PNG.PN "23" #| 1.6e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "24" #| 1.5e+03 |#, ARGS.SYNSEM.LOCAL.ARG-S "25" #| 1.4e+03 |#, ARGS.DTR.SYNSEM.LOCAL.ARG-S "26" #| 1.4e+03 |#, ARGS.RMORPH-BIND-TYPE "27" #| 1.3e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MODUS "28" #| 1.3e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "29" #| 1.2e+03 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "30" #| 1e+03 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.H-TENSE "31" #| 1e+03 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST "32" #| 8.5e+02 |#, ARGS.SYNSEM.LOCAL.NUCL "33" #| 8e+02 |#, ARGS.C-CONT.HOOK.XARG.SF "34" #| 7.8e+02 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.SF "35" #| 7.8e+02 |#, ARGS.SYNSEM.LOCAL.BAR "36" #| 7.3e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.COP "37" #| 7.3e+02 |#, ARGS.C-CONT.HOOK.INDEX.SF "38" #| 7.1e+02 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SF "39" #| 7.1e+02 |#, ARGS.C-CONT.HOOK.XARG.PNG.PN "40" #| 6.8e+02 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN "41" #| 6.8e+02 |#, ARGS.SYNSEM.LKEYS.KEYREL "42" #| 6e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC "43" #| 5.5e+02 |#, ARGS.DTR.SYNSEM.LKEYS.KEYREL "44" #| 5.4e+02 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.POLARITY "45" #| 5.2e+02 |#, ARGS.C-CONT.HOOK.XARG.E.TENSE "46" #| 5e+02 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.E.TENSE "47" #| 5e+02 |#, ARGS.SYNSEM.LOCAL.CTXT.C-INDICES.ADDRESSEE "48" #| 4.9e+02 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.MODUS "49" #| 4.7e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "50" #| 4.6e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON "51" #| 4.6e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON "52" #| 4.5e+02 |#, ARGS.LMORPH-BIND-TYPE "53" #| 4.2e+02 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.PASS "54" #| 3.2e+02 |#, ARGS.C-CONT.HOOK.INDEX.E.PASS "55" #| 3.2e+02 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PRONTYPE "56" #| 3.2e+02 |#, ARGS.C-CONT.HOOK.XARG.PRONTYPE "57" #| 3.2e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "58" #| 3.1e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.LIGHT "59" #| 3e+02 |#, ARGS.SYNSEM.LOCAL.CONT "60" #| 3e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.VN "61" #| 3e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.SMOD "62" #| 2.9e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS "63" #| 2.9e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS "64" #| 2.9e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.QUANTIFIABLE "65" #| 2.7e+02 |#, ARGS.C-CONT.HOOK.XARG.E.ASPECT "66" #| 2.7e+02 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.E.ASPECT "67" #| 2.7e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "68" #| 2.6e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "69" #| 2.5e+02 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.HONORER "70" #| 2.4e+02 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST "71" #| 2.4e+02 |#, ARGS.C-CONT.HOOK.XARG.E.MOOD "72" #| 2.3e+02 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.E.MOOD "73" #| 2.3e+02 |#, ARGS.SYNSEM.NON-LOCAL.QUE.LIST "74" #| 1.4e+02 |#, ARGS.SYNSEM.NON-LOCAL.QUE.LAST "75" #| 1.4e+02 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "76" #| 1.3e+02 |#, ARGS "77" #| 1.3e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.FIN "78" #| 1.3e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.PTYPE "79" #| 1.2e+02 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX "80" #| 1.1e+02 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "81" #| 1.1e+02 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.ADJ "82" #| 1e+02 |#, ARGS.DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "83" #| 1e+02 |#, ARGS.DTR.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX "84" #| 99 |#, ARGS.DTR.DTR.SYNSEM.LOCAL.CAT.HEAD.MODUS "85" #| 90 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "86" #| 86 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD "87" #| 84 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MARK "88" #| 77 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG "89" #| 74 |#, ARGS.C-CONT.HOOK.XARG.PNG.GEN "90" #| 69 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.GEN "91" #| 69 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.HONORED "92" #| 59 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "93" #| 58 |#, ARGS.IDIOM "94" #| 58 |#, ARGS.SYNSEM.NON-LOCAL "95" #| 57 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.REST "96" #| 55 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS "97" #| 52 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "98" #| 52 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.COP-ARG "99" #| 50 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG "100" #| 48 |#, ARGS.DTR "101" #| 43 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.C-MOD "102" #| 39 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.H-TENSE "103" #| 38 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PRONTYPE "104" #| 37 |#, ARGS.C-CONT.HOOK.INDEX.PRONTYPE "105" #| 37 |#, ARGS.DTR.SYNSEM.NON-LOCAL.ROBUST "106" #| 36 |#, ARGS.SYNSEM.LOCAL "107" #| 34 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX "108" #| 33 |#, ARGS.STEM.REST "109" #| 31 |#, ARGS.DTR.STEMTYPE "110" #| 29 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER.E.TENSE "111" #| 28 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "112" #| 27 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL "113" #| 25 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD "114" #| 24 |#, ARGS.STEM "115" #| 23 |#, ARGS.DTR.DTR.SYNSEM.NON-LOCAL.ROBUST "116" #| 22 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S "117" #| 21 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG "118" #| 21 |#, ARGS.DTR.SYNSEM.NON-LOCAL "119" #| 20 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "120" #| 18 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST "121" #| 14 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.OPT "122" #| 13 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX "123" #| 13 |#, ARGS.SYNSEM.LOCAL.CTXT "124" #| 13 |#, ARGS.J-NEEDS-AFFIX "125" #| 12 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST "126" #| 10 |#, ARGS.SYNSEM.NON-LOCAL.QUE "127" #| 9 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.GEN "128" #| 9 |#, ARGS.C-CONT.HOOK.INDEX.PNG.GEN "129" #| 9 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX "130" #| 8.9 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PTYPE "131" #| 8.6 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.CASE "132" #| 7.8 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON "133" #| 7.7 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON "134" #| 7.5 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "135" #| 7.3 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT "136" #| 7 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.FIRST.LOCAL.CAT "137" #| 7 |#, ARGS.DTR.RMORPH-BIND-TYPE "138" #| 5.7 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT "139" #| 5.2 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "140" #| 4.8 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CONT.HOOK.INDEX "141" #| 4.7 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "142" #| 4.5 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN "143" #| 4.5 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "144" #| 4 |#, ARGS.DTR.SYNSEM.LOCAL.ARG-S.REST "145" #| 3.9 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.NUCL "146" #| 3.9 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.PNG.GEN "147" #| 3.7 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.PASS "148" #| 3.2 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER.E.ASPECT "149" #| 3.1 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "150" #| 3 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "151" #| 3 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX "152" #| 2.9 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.PTYPE "153" #| 2.4 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SPR "154" #| 2.4 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG0.E.ASPECT "155" #| 2.3 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS "156" #| 2.2 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.UNSAT "157" #| 2.2 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ "158" #| 2.2 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.VN "159" #| 2 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT "160" #| 2 |#, ARGS.DTR.J-NEEDS-AFFIX "161" #| 2 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER.E.MOOD "162" #| 2 |#, ARGS.DTR.IDIOM "163" #| 1.8 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX "164" #| 1.7 |#, ARGS.SYNSEM.LEX "165" #| 1.6 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL "166" #| 1.6 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "167" #| 1.5 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL "168" #| 1.4 |#, ARGS.NEEDS-AFFIX "169" #| 1.1 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.H-TENSE "170" #| 1.1 |#, ARGS.SYNSEM.NON-LOCAL.AFFIX "171" #| 1 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "172" #| 0.92 |#, ARGS.DTR.C-CONT.HOOK.INDEX.E.TENSE "173" #| 0.82 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON "174" #| 0.69 |#, ARGS.SYNSEM "175" #| 0.67 |#, ARGS.DTR.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.CASE "176" #| 0.67 |#, ARGS.DTR.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "177" #| 0.58 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD "178" #| 0.53 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.SMOD "179" #| 0.49 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD "180" #| 0.49 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.MARK "181" #| 0.49 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.MOD "182" #| 0.49 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.FIN "183" #| 0.49 |#, ARGS.DTR.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD "184" #| 0.33 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.CASE "185" #| 0.33 |#, ARGS.DTR.DTR.IDIOM "186" #| 0.33 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.J-SPEC "187" #| 0.33 |#, ARGS.DTR.SYNSEM.LOCAL.CONT.HOOK.XARG "188" #| 0.29 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON "189" #| 0.29 |#, ARGS.DTR.SYNSEM.LOCAL.CTXT "190" #| 0.29 |#, ARGS.DTR.C-CONT.HOOK.XARG "191" #| 0.29 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PRONTYPE "192" #| 0.29 |#, ARGS.DTR.DTR.SYNSEM.LOCAL.CAT.HEAD.H-TENSE "193" #| 0.25 |#, ARGS.DTR.DTR.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "194" #| 0.25 |#, ARGS.DTR.STEM "195" #| 0.24 |#, ARGS.DTR.SYNSEM.LOCAL.CONT "196" #| 0.24 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.E.ASPECT "197" #| 0.17 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.SF "198" #| 0.17 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.E.TENSE "199" #| 0.17 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.E.MOOD "200" #| 0.17 |#, ARGS.DTR.SYNSEM.LOCAL.CAT.VAL "201" #| 0.11 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.C-MOD.FIRST.LOCAL.CAT.HEAD.FORMAL.AHON "202" #| 0.091 |# ]. :end :instance. ;; set based paths (threshold 9e+01%) ; 2875 failing sets, total count 2e+05: ; ; #0 (9095, 6%) [62 96] ; #1 (8200, 1e+01%) [53] ; #2 (6718, 1e+01%) [28 82] ; #3 (5743, 2e+01%) [185 248 249] ; #4 (4071, 2e+01%) [53 62 96] ; #5 (4031, 2e+01%) [9 47] ; #6 (2708, 2e+01%) [28 62 82 96] ; #7 (2584, 3e+01%) [178] ; #8 (2505, 3e+01%) [127] ; #9 (2094, 3e+01%) [28 53 62 82 96] ; #10 (1992, 3e+01%) [117 118] ; #11 (1960, 3e+01%) [28 53 82] ; #12 (1825, 3e+01%) [6 9 47] ; #13 (1641, 3e+01%) [9 47 53 62 96] ; #14 (1601, 3e+01%) [62 96 185 248 249] ; #15 (1296, 4e+01%) [53 185 248 249] ; #16 (1259, 4e+01%) [185] ; #17 (1137, 4e+01%) [54] ; #18 (1113, 4e+01%) [178 185 248 249] ; #19 (1074, 4e+01%) [120] ; #20 (1065, 4e+01%) [53 62 96 178] ; #21 (1063, 4e+01%) [46] ; #22 (1042, 4e+01%) [2 5 53 145 146] ; #23 (1017, 4e+01%) [32 59] ; #24 (996, 4e+01%) [9 47 62 96] ; #25 (946, 4e+01%) [53 178] ; #26 (926, 4e+01%) [53 62 80 96 178 209] ; #27 (888, 4e+01%) [53 117 118] ; #28 (883, 4e+01%) [28 82 127] ; #29 (838, 4e+01%) [114 135] ; #30 (810, 4e+01%) [56] ; #31 (792, 5e+01%) [6] ; #32 (754, 5e+01%) [2 5 9 26 32 46 47 145 146] ; #33 (754, 5e+01%) [2 5 9 26 32 47 145 146] ; #34 (741, 5e+01%) [53 62 96 185 248 249] ; #35 (719, 5e+01%) [2 5 9 47 53 145 146] ; #36 (701, 5e+01%) [135] ; #37 (656, 5e+01%) [28 77 82 139 140] ; #38 (647, 5e+01%) [2 5 9 26 46 47 145 146] ; #39 (647, 5e+01%) [2 5 9 26 47 145 146] ; #40 (626, 5e+01%) [28 82 139 140] ; #41 (622, 5e+01%) [53 80 178 209] ; #42 (619, 5e+01%) [28 62 77 82 96] ; #43 (591, 5e+01%) [45 56] ; #44 (589, 5e+01%) [2 5 9 47] ; #45 (575, 5e+01%) [28 53 82 178] ; #46 (575, 5e+01%) [145 146] ; #47 (566, 5e+01%) [28 53 62 82 96 185 248 249] ; #48 (551, 5e+01%) [136] ; #49 (548, 5e+01%) [62 96 185] ; #50 (516, 5e+01%) [9 47 53 62 96 185 248 249] ; #51 (515, 5e+01%) [2 5 9 47 53 62 96 145 146] ; #52 (508, 5e+01%) [2 5 9 47 145 146] ; #53 (502, 5e+01%) [28 53 62 81 82 96] ; #54 (502, 5e+01%) [62 96 178] ; #55 (498, 5e+01%) [32 46 59] ; #56 (490, 5e+01%) [9 47 185 248 249] ; #57 (489, 5e+01%) [8 9 23 25 30 32 42 47 59 71] ; #58 (489, 5e+01%) [9 25 32 47 59] ; #59 (478, 6e+01%) [8 9 23 25 30 42 47 71] ; #60 (469, 6e+01%) [28 53 62 82 96 178] ; #61 (469, 6e+01%) [54 62 96] ; #62 (466, 6e+01%) [28 62 82 96 185 248 249] ; #63 (465, 6e+01%) [9 47 145 146] ; #64 (454, 6e+01%) [81] ; #65 (454, 6e+01%) [101] ; #66 (446, 6e+01%) [28 53 82 185 248 249] ; #67 (418, 6e+01%) [28 82 185 248 249] ; #68 (412, 6e+01%) [185 248 249 260] ; #69 (412, 6e+01%) [53 178 185 248 249] ; #70 (405, 6e+01%) [117 118 163] ; #71 (402, 6e+01%) [8 36 114 135] ; #72 (402, 6e+01%) [53 62 96 178 185 248 249] ; #73 (400, 6e+01%) [8 36 135] ; #74 (398, 6e+01%) [28 77 82 139 140 143 144 229 230] ; #75 (396, 6e+01%) [9 47 143 144 145 146 229 230] ; #76 (391, 6e+01%) [28 82 120 127] ; #77 (390, 6e+01%) [2 5 9 47 81] ; #78 (387, 6e+01%) [9 25 47] ; #79 (380, 6e+01%) [186] ; #80 (379, 6e+01%) [9 25 47 53 59] ; #81 (378, 6e+01%) [28 82 163] ; #82 (378, 6e+01%) [62 96 127] ; #83 (370, 6e+01%) [28 53 81 82] ; #84 (364, 6e+01%) [24 59] ; #85 (363, 6e+01%) [53 59] ; #86 (358, 6e+01%) [9 47 53 145 146] ; #87 (358, 6e+01%) [62 80 96 178 209] ; #88 (357, 6e+01%) [9 47 53] ; #89 (349, 6e+01%) [120 127] ; #90 (345, 6e+01%) [62 96 120] ; #91 (344, 6e+01%) [28 62 82 96 178 185 248 249] ; #92 (340, 6e+01%) [2 5 9 47 62 96 145 146] ; #93 (340, 6e+01%) [139 140] ; #94 (331, 6e+01%) [62 96 178 185 248 249] ; #95 (328, 6e+01%) [28 62 82 96 127] ; #96 (322, 6e+01%) [59] ; #97 (316, 6e+01%) [28 62 81 82 96] ; #98 (312, 6e+01%) [9 47 53 80 145 146 178 209] ; #99 (311, 6e+01%) [2 5 53 145 146 185 248 249] ; #100 (305, 6e+01%) [28 81 82] ; #101 (304, 6e+01%) [62 96 117 118] ; #102 (296, 6e+01%) [53 62 80 96 178 185 209 248 249] ; #103 (295, 7e+01%) [232] ; #104 (294, 7e+01%) [28 77 82 139 140 143 144 253 254] ; #105 (291, 7e+01%) [2 5 145 146] ; #106 (290, 7e+01%) [28 62 82 96 185] ; #107 (288, 7e+01%) [34 53 62 96] ; #108 (287, 7e+01%) [62 81 96] ; #109 (280, 7e+01%) [2 5 53 62 96 145 146] ; #110 (280, 7e+01%) [2 5] ; #111 (274, 7e+01%) [28 53 62 82 96 178 185 248 249] ; #112 (274, 7e+01%) [9 47 81] ; #113 (271, 7e+01%) [8 36 138] ; #114 (270, 7e+01%) [45 50 56] ; #115 (268, 7e+01%) [9 47 53 62 96 145 146] ; #116 (263, 7e+01%) [34 53] ; #117 (257, 7e+01%) [2 5 26 32 145 146] ; #118 (257, 7e+01%) [2 5 26 32 46 145 146] ; #119 (250, 7e+01%) [2 5 81 237] ; #120 (250, 7e+01%) [9 25 47 53 56 59] ; #121 (247, 7e+01%) [62 96 120 127] ; #122 (244, 7e+01%) [8 23 30 42 71] ; #123 (240, 7e+01%) [2 5 9 47 143 144 253 254] ; #124 (240, 7e+01%) [2 5 9 47 81 143 144 253 254] ; #125 (238, 7e+01%) [62 96 101 160] ; #126 (237, 7e+01%) [28 62 82 96 178] ; #127 (235, 7e+01%) [8] ; #128 (232, 7e+01%) [28 82 178 231 233] ; #129 (225, 7e+01%) [8 36] ; #130 (222, 7e+01%) [34] ; #131 (218, 7e+01%) [62 96 168 169] ; #132 (218, 7e+01%) [2 5 9 47 81 145 146] ; #133 (215, 7e+01%) [2 5 53] ; #134 (215, 7e+01%) [62 96 197] ; #135 (208, 7e+01%) [202 203] ; #136 (208, 7e+01%) [62 96 178 184 185 248 249] ; #137 (206, 7e+01%) [101 121 122] ; #138 (205, 7e+01%) [65 119] ; #139 (204, 7e+01%) [28 53 82 178 185 248 249] ; #140 (203, 7e+01%) [9 47 127] ; #141 (198, 7e+01%) [28 82 185] ; #142 (197, 7e+01%) [2 5 9 47 53 145 146 185 248 249] ; #143 (196, 7e+01%) [2 5 53 62 80 96 178 209] ; #144 (194, 7e+01%) [9 29 47 53 62 96] ; #145 (192, 7e+01%) [54 62 96 178] ; #146 (189, 7e+01%) [101 136] ; #147 (188, 7e+01%) [53 80 178 185 209 248 249] ; #148 (187, 7e+01%) [2 5 9 47 53 62 96 145 146 185 248 249] ; #149 (184, 7e+01%) [28 62 77 82 96 185 248 249] ; #150 (184, 7e+01%) [9 26 47 60] ; #151 (183, 7e+01%) [28 62 82 96 120 127] ; #152 (182, 7e+01%) [49] ; #153 (180, 7e+01%) [26 81] ; #154 (179, 7e+01%) [267] ; #155 (177, 7e+01%) [28 82 202 203] ; #156 (176, 7e+01%) [54 185 248 249] ; #157 (175, 7e+01%) [28 82 178] ; #158 (174, 7e+01%) [9 25 29 30 47] ; #159 (174, 7e+01%) [9 25 26 29 30 47 81] ; #160 (174, 7e+01%) [2 5 62 96 145 146] ; #161 (172, 7e+01%) [9 47 62 96 185 248 249] ; #162 (172, 7e+01%) [60] ; #163 (171, 7e+01%) [28 29 53 62 82 96] ; #164 (169, 7e+01%) [28 82 120] ; #165 (168, 7e+01%) [54 62 96 185 248 249] ; #166 (167, 7e+01%) [2 5 53 62 80 96 145 146 178 209] ; #167 (166, 7e+01%) [120 202 203] ; #168 (164, 7e+01%) [28 53 82 185] ; #169 (164, 7e+01%) [2 5 26 46 145 146] ; #170 (164, 7e+01%) [2 5 26 145 146] ; #171 (164, 7e+01%) [9 47 62 96 101 160] ; #172 (163, 7e+01%) [2 5 9 47 62 81 96] ; #173 (162, 7e+01%) [32] ; #174 (162, 7e+01%) [28 53 81 82 185 248 249] ; #175 (162, 7e+01%) [178 231 233] ; #176 (160, 7e+01%) [2 5 9 47 186] ; #177 (160, 7e+01%) [45 50] ; #178 (159, 7e+01%) [6 9 47 101] ; #179 (154, 7e+01%) [2 5 9 47 62 80 96 178 209] ; #180 (153, 7e+01%) [6 26] ; #181 (151, 8e+01%) [2 5 9 47 81 237] ; #182 (150, 8e+01%) [127 186] ; #183 (150, 8e+01%) [127 197 202 203] ; #184 (150, 8e+01%) [120 127 202 203] ; #185 (146, 8e+01%) [197 202 203] ; #186 (145, 8e+01%) [53 195 196 202 203 231 233] ; #187 (144, 8e+01%) [28 77 82 139 140 143 144 229 230 253 254] ; #188 (144, 8e+01%) [28 53 62 81 82 96 185 248 249] ; #189 (144, 8e+01%) [195 196 202 203 231 233] ; #190 (144, 8e+01%) [2 5 9 47 143 144 145 146 229 230 253 254] ; #191 (144, 8e+01%) [8 9 10 11 12 25 27 30 47 51 53] ; #192 (144, 8e+01%) [9 29 47 53 62 96 185 248 249] ; #193 (144, 8e+01%) [2 5 9 47 81 143 144 145 146 229 230 253 254] ; #194 (143, 8e+01%) [2 5 9 25 30 47 147] ; #195 (142, 8e+01%) [24 53 59] ; #196 (139, 8e+01%) [28 77 82 127 139 140] ; #197 (137, 8e+01%) [2 5 9 47 127] ; #198 (136, 8e+01%) [9 25 30 47 81] ; #199 (132, 8e+01%) [8 9 10 11 12 25 27 30 47 51] ; #200 (131, 8e+01%) [6 77] ; #201 (130, 8e+01%) [2 5 62 96] ; #202 (129, 8e+01%) [2 5 81 145 146 237] ; #203 (128, 8e+01%) [28 82 139 140 185 248 249] ; #204 (128, 8e+01%) [0] ; #205 (128, 8e+01%) [8 53] ; #206 (128, 8e+01%) [139 140 178] ; #207 (127, 8e+01%) [28 62 82 96 120] ; #208 (127, 8e+01%) [28 29 53 62 82 96 178] ; #209 (126, 8e+01%) [28 29 53 62 82 96 185 248 249] ; #210 (125, 8e+01%) [237] ; #211 (123, 8e+01%) [34 62 96] ; #212 (122, 8e+01%) [127 145 146] ; #213 (120, 8e+01%) [28 29 53 62 82 96 178 185 248 249] ; #214 (120, 8e+01%) [9 47 143 144 145 146 185 229 230 248 249] ; #215 (120, 8e+01%) [8 9 23 25 30 42 47 62 71 96] ; #216 (120, 8e+01%) [9 47 53 80 145 146 178 185 209 248 249] ; #217 (118, 8e+01%) [28 77 82 139 140 185 248 249] ; #218 (118, 8e+01%) [53 62 96 117 118] ; #219 (116, 8e+01%) [78 79] ; #220 (116, 8e+01%) [34 62 96 160] ; #221 (115, 8e+01%) [62 96 178 184] ; #222 (115, 8e+01%) [2 5 9 47 53 62 80 96 178 209] ; #223 (114, 8e+01%) [2 5 9 29 47 53 62 80 96 178 209] ; #224 (114, 8e+01%) [2 5 9 47 81 145 146 237] ; #225 (114, 8e+01%) [53 62 96 185] ; #226 (112, 8e+01%) [2 5 9 47 62 80 96 178 185 209 248 249] ; #227 (112, 8e+01%) [9 47 202 203] ; #228 (110, 8e+01%) [32 59 101] ; #229 (110, 8e+01%) [28 77 82] ; #230 (107, 8e+01%) [62 96 168 169 185] ; #231 (106, 8e+01%) [8 9 23 25 30 42 47 71 136] ; #232 (106, 8e+01%) [143 144 229 230] ; #233 (105, 8e+01%) [9 47 77] ; #234 (104, 8e+01%) [2 5 81 127 237] ; #235 (104, 8e+01%) [2 5 9 47 62 96 145 146 185 248 249] ; #236 (104, 8e+01%) [62 96 160] ; #237 (104, 8e+01%) [34 53 56 58] ; #238 (103, 8e+01%) [2 5 53 62 96 145 146 185 248 249] ; #239 (103, 8e+01%) [9 47 237] ; #240 (103, 8e+01%) [9 47 53 62 96 178] ; #241 (102, 8e+01%) [9 47 178] ; #242 (100, 8e+01%) [28 77 82 139 140 143 144 185 229 230 248 249] ; #243 (100, 8e+01%) [8 36 101 121 122] ; #244 (99, 8e+01%) [34 45 50 56 58] ; #245 (99, 8e+01%) [46 49] ; #246 (98, 8e+01%) [3 4 39] ; #247 (97, 8e+01%) [127 185 248 249] ; #248 (96, 8e+01%) [2 5 6 9 47] ; #249 (96, 8e+01%) [143 144 253 254] ; #250 (96, 8e+01%) [139 140 185 248 249] ; #251 (96, 8e+01%) [62 96 127 197] ; #252 (96, 8e+01%) [54 62 96 178 185 248 249] ; #253 (96, 8e+01%) [53 56 59] ; #254 (96, 8e+01%) [52 58 59] ; #255 (95, 8e+01%) [2 5 9 26 32 47 101 145 146] ; #256 (95, 8e+01%) [2 5 9 26 32 46 47 101 145 146] ; #257 (93, 8e+01%) [24] ; #258 (93, 8e+01%) [53 145 146] ; #259 (92, 8e+01%) [9 47 62 96 145 146] ; #260 (92, 8e+01%) [6 28 82] ; #261 (91, 8e+01%) [217] ; #262 (91, 8e+01%) [9 47 81 237] ; #263 (91, 8e+01%) [46 136] ; #264 (90, 8e+01%) [127 178 184] ; #265 (90, 8e+01%) [34 101] ; #266 (90, 8e+01%) [34 53 56 59] ; #267 (88, 8e+01%) [28 82 185 202 203] ; #268 (88, 8e+01%) [2 5 9 26 47 136 145 146] ; #269 (88, 8e+01%) [2 5 26 136 145 146] ; #270 (88, 8e+01%) [2 5 26 46 136 145 146] ; #271 (88, 8e+01%) [2 5 9 26 46 47 136 145 146] ; #272 (88, 8e+01%) [9 47 143 144 145 146 178 229 230] ; #273 (86, 8e+01%) [9 26 46 47 60] ; #274 (85, 8e+01%) [29] ; #275 (85, 8e+01%) [28 77 82 139 140 178] ; #276 (84, 8e+01%) [28 77 82 139 140 143 144 178 229 230] ; #277 (84, 8e+01%) [9 23 25 30 42 47 71] ; #278 (84, 8e+01%) [45 56 145 146] ; #279 (83, 8e+01%) [9 47 53 62 96 145 146 185 248 249] ; #280 (82, 8e+01%) [178 185] ; #281 (81, 8e+01%) [26 145 146] ; #282 (80, 8e+01%) [2 5 8 52 55] ; #283 (80, 8e+01%) [28 77 82 139 140 143 144] ; #284 (80, 8e+01%) [9 10 11 12 21 23 25 26 27 29 30 47] ; #285 (80, 8e+01%) [2 5 8 46 52 55] ; #286 (80, 8e+01%) [9 47 143 144] ; #287 (80, 8e+01%) [2 5 8 32 52 55 59] ; #288 (80, 8e+01%) [2 5 9 26 32 47 52 55 145 146] ; #289 (80, 8e+01%) [2 5 8 32 46 52 55 59] ; #290 (80, 8e+01%) [9 47 53 185 248 249] ; #291 (80, 8e+01%) [2 5 9 26 32 46 47 52 55 145 146] ; #292 (79, 8e+01%) [28 77 82 127 139 140 178] ; #293 (79, 8e+01%) [145 146 185] ; #294 (79, 8e+01%) [6 117 118] ; #295 (78, 8e+01%) [29 53 62 96] ; #296 (78, 8e+01%) [28 82 178 202 203 231 233] ; #297 (78, 8e+01%) [28 82 178 185 202 203 231 233 248 249] ; #298 (78, 8e+01%) [28 77 82 143 144 253 254] ; #299 (78, 8e+01%) [9 47 53 145 146 185 248 249] ; #300 (76, 8e+01%) [28 77 82 127 139 140 143 144 229 230] ; #301 (74, 8e+01%) [28 82 178 185 248 249] ; #302 (74, 8e+01%) [2 5 9 47 143 144 185 248 249 253 254] ; #303 (74, 8e+01%) [127 185] ; #304 (74, 8e+01%) [2 5 9 47 81 143 144 185 248 249 253 254] ; #305 (73, 8e+01%) [62 96 127 168 169] ; #306 (72, 8e+01%) [28 82 185 202 203 248 249] ; #307 (72, 8e+01%) [28 82 178 185 231 233 248 249] ; #308 (72, 8e+01%) [2 5 9 47 62 96 178] ; #309 (72, 8e+01%) [9 10 11 12 25 27 30 47 51 53] ; #310 (72, 8e+01%) [2 5 6 9 47 62 96 178] ; #311 (72, 8e+01%) [62 80 96 178 185 209 248 249] ; #312 (72, 8e+01%) [6 62 96 178] ; #313 (72, 8e+01%) [6 28 62 82 96 178] ; #314 (70, 8e+01%) [184] ; #315 (69, 8e+01%) [2 5 9 47 62 96] ; #316 (69, 8e+01%) [9 47 145 146 185 248 249 260] ; #317 (68, 8e+01%) [127 185 186 248 249 260] ; #318 (68, 8e+01%) [2 5 9 47 53 62 96] ; #319 (68, 8e+01%) [53 185] ; #320 (67, 8e+01%) [127 178] ; #321 (67, 8e+01%) [53 78 79] ; #322 (66, 8e+01%) [34 45 50 58] ; #323 (66, 8e+01%) [28 77 82 139 140 143 144 185 248 249 253 254] ; #324 (66, 8e+01%) [28 53 59 62 82 96] ; #325 (66, 8e+01%) [9 10 11 12 25 27 30 47 51] ; #326 (66, 8e+01%) [28 34 53 62 82 96] ; #327 (66, 8e+01%) [9 47 127 143 144 145 146 229 230] ; #328 (66, 8e+01%) [2 5 9 47 53 62 96 178] ; #329 (66, 8e+01%) [46 115 116] ; #330 (65, 8e+01%) [29 53 62 96 178] ; #331 (65, 8e+01%) [70] ; #332 (65, 8e+01%) [2 5 9 47 81 185 248 249 260] ; #333 (64, 8e+01%) [32 46 59 101] ; #334 (64, 8e+01%) [2 5 62 96 145 146 185 248 249] ; #335 (64, 8e+01%) [2 5 53 185 248 249] ; #336 (64, 8e+01%) [139 140 178 185 248 249] ; #337 (64, 8e+01%) [9 47 62 96 127] ; #338 (64, 8e+01%) [46 101 136] ; #339 (64, 8e+01%) [34 53 185 248 249] ; #340 (63, 8e+01%) [62 81 96 185] ; #341 (63, 8e+01%) [6 53] ; #342 (62, 8e+01%) [24 54 59] ; #343 (62, 8e+01%) [2 5 9 47 145 146 186] ; #344 (62, 8e+01%) [9 47 53 81 145 146] ; #345 (62, 8e+01%) [2 5 9 47 81 145 146 186] ; #346 (62, 8e+01%) [52] ; #347 (61, 8e+01%) [2 5 9 47 81 186] ; #348 (61, 8e+01%) [58 185] ; #349 (60, 8e+01%) [2 5 53 62 80 96 145 146 178 185 209 248 249] ; #350 (60, 8e+01%) [202 203 247] ; #351 (60, 8e+01%) [8 9 23 25 30 32 42 47 59 71 101] ; #352 (60, 8e+01%) [81 185] ; #353 (60, 8e+01%) [48 58 184] ; #354 (60, 8e+01%) [47 50 151] ; #355 (59, 8e+01%) [2 5 70] ; #356 (59, 8e+01%) [28 62 77 82 96 127] ; #357 (59, 8e+01%) [2 5 9 26 47 101 145 146] ; #358 (59, 9e+01%) [2 5 9 26 46 47 101 145 146] ; #359 (59, 9e+01%) [9 47 120] ; #360 (59, 9e+01%) [6 77 136] ; #361 (59, 9e+01%) [6 62 96] ; #362 (59, 9e+01%) [48 184 185] ; #363 (58, 9e+01%) [28 62 82 96 163] ; #364 (58, 9e+01%) [28 29 53 82] ; #365 (58, 9e+01%) [9 47 101] ; #366 (58, 9e+01%) [62 96 185 186 248 249 260] ; #367 (58, 9e+01%) [62 96 117 118 163] ; #368 (58, 9e+01%) [9 25 32 47 59 101] ; #369 (57, 9e+01%) [62 96 127 168 169 185] ; #370 (56, 9e+01%) [2 5 9 47 62 81 96 237] ; #371 (56, 9e+01%) [24 53] ; #372 (56, 9e+01%) [191 207] ; #373 (55, 9e+01%) [28 82 127 185 248 249] ; #374 (55, 9e+01%) [120 178] ; #375 (55, 9e+01%) [81 237] ; #376 (55, 9e+01%) [54 59] ; #377 (54, 9e+01%) [29 53 62 96 178 185 248 249] ; #378 (54, 9e+01%) [2 5 9 47 62 96 185] ; #379 (54, 9e+01%) [28 81 82 185 248 249] ; #380 (54, 9e+01%) [28 53 82 178 202 203] ; #381 (54, 9e+01%) [28 29 53 82 178 202 203] ; #382 (54, 9e+01%) [2 5 9 47 53 81 145 146] ; #383 (54, 9e+01%) [6 185 248 249] ; #384 (54, 9e+01%) [6 62 96 185 248 249] ; #385 (53, 9e+01%) [2 5 53 62 96] ; #386 (53, 9e+01%) [26 46 145 146] ; #387 (53, 9e+01%) [178 232] ; #388 (52, 9e+01%) [2 5 9 29 47 53 62 96 178] ; #389 (52, 9e+01%) [28 62 81 82 96 185] ; #390 (52, 9e+01%) [2 5 6 9 47 62 96 178 185 248 249] ; #391 (52, 9e+01%) [2 5 53 62 80 96 178 185 209 248 249] ; #392 (52, 9e+01%) [25 40] ; #393 (52, 9e+01%) [228] ; #394 (52, 9e+01%) [127 267] ; #395 (52, 9e+01%) [2 5 9 47 143 144 145 146 185 229 230 248 249 253 254] ; #396 (52, 9e+01%) [9 29 47 53 62 96 178] ; #397 (52, 9e+01%) [2 5 9 47 81 143 144 145 146 185 229 230 248 249 253 254] ; #398 (52, 9e+01%) [6 28 62 82 96 178 185 248 249] ; #399 (52, 9e+01%) [2 5 9 47 80 145 146 178 209] ; #400 (51, 9e+01%) [28 82 127 202 203] ; #401 (51, 9e+01%) [28 62 82 96 197] ; #402 (51, 9e+01%) [28 29 53 82 178] ; #403 (51, 9e+01%) [232 236] ; #404 (51, 9e+01%) [9 26 47 145 146] ; #405 (50, 9e+01%) [28 77 82 127 139 140 143 144 178 229 230] ; #406 (50, 9e+01%) [2 5 62 81 96 237] ; #407 (50, 9e+01%) [9 25 46 47] ; #408 (50, 9e+01%) [2 5 9 47 81 127] ; #409 (49, 9e+01%) [2 5 9 47 81 145 146 185 248 249 260] ; #410 (49, 9e+01%) [53 60] ; #411 (49, 9e+01%) [46 81] ; #412 (48, 9e+01%) [9 23 25 30 42 47 62 71 96] ; #413 (48, 9e+01%) [2 5 62 96 145 146 178 185 248 249] ; #414 (48, 9e+01%) [28 53 82 186] ; #415 (48, 9e+01%) [28 29 53 82 186] ; #416 (48, 9e+01%) [9 47 189] ; #417 (48, 9e+01%) [178 185 202 203 231 233 248 249] ; #418 (48, 9e+01%) [178 185 231 233 248 249] ; #419 (48, 9e+01%) [62 96 136 160] ; #420 (47, 9e+01%) [29 185 248 249] ; #421 (47, 9e+01%) [9 47 145 146 186] ; #422 (47, 9e+01%) [28 53 62 82 96 120] ; #423 (47, 9e+01%) [9 47 178 185 248 249] ; #424 (47, 9e+01%) [281] ; #425 (47, 9e+01%) [178 184] ; #426 (47, 9e+01%) [62 96 127 178 184] ; #427 (47, 9e+01%) [9 25 47 49] ; #428 (46, 9e+01%) [2 5 81 127 145 146 186 237] ; #429 (46, 9e+01%) [28 77 82 139 140 143 144 178 185 229 230 248 249] ; #430 (46, 9e+01%) [9 47 127 145 146] ; #431 (46, 9e+01%) [143 144] ; #432 (46, 9e+01%) [2 5 9 47 127 145 146] ; #433 (46, 9e+01%) [52 55] ; #434 (46, 9e+01%) [46 185 248 249] ; #435 (46, 9e+01%) [46 101] ; #436 (45, 9e+01%) [28 82 120 127 202 203] ; #437 (45, 9e+01%) [136 160 168 169] ; #438 (45, 9e+01%) [127 136] ; #439 (45, 9e+01%) [62 81 96 185 248 249] ; #440 (45, 9e+01%) [53 117 118 185] ; #441 (45, 9e+01%) [46 62 96] ; #442 (44, 9e+01%) [29 53] ; #443 (44, 9e+01%) [28 53 82 178 185 202 203] ; #444 (44, 9e+01%) [28 53 62 82 96 232] ; #445 (44, 9e+01%) [28 53 62 82 96 185] ; #446 (44, 9e+01%) [28 29 53 82 178 185 202 203] ; #447 (44, 9e+01%) [2 5 9 47 62 81 96 185] ; #448 (44, 9e+01%) [245] ; #449 (44, 9e+01%) [9 47 143 144 145 146 178 185 229 230 248 249] ; #450 (44, 9e+01%) [2 5 9 47 127 145 146 186] ; #451 (44, 9e+01%) [9 26 46 47 145 146] ; #452 (44, 9e+01%) [6 41] ; #453 (43, 9e+01%) [2 5 9 47 81 127 186] ; #454 (42, 9e+01%) [2 5 9 29 47 53 62 96 178 185 248 249] ; #455 (42, 9e+01%) [24 28 53 62 82 96] ; #456 (42, 9e+01%) [12] ; #457 (42, 9e+01%) [2 5 9 47 53 62 96 178 185 248 249] ; #458 (42, 9e+01%) [9 47 53 62 96 178 185 248 249] ; #459 (42, 9e+01%) [2 5 9 25 47 145 146] ; #460 (42, 9e+01%) [9 29 47 53 62 96 178 185 248 249] ; #461 (41, 9e+01%) [32 62 96] ; #462 (41, 9e+01%) [28 34 48 49 82] ; #463 (41, 9e+01%) [127 178 185 248 249] ; #464 (41, 9e+01%) [62 96 145 146] ; #465 (40, 9e+01%) [32 52] ; #466 (40, 9e+01%) [28 77 82 139 140 143 144 178 229 230 253 254] ; #467 (40, 9e+01%) [28 62 77 82 96 178] ; #468 (40, 9e+01%) [2 5 9 26 47 52 55 145 146] ; #469 (40, 9e+01%) [2 5 26 52 55 145 146] ; #470 (40, 9e+01%) [2 5 26 46 52 55 145 146] ; #471 (40, 9e+01%) [2 5 9 26 46 47 52 55 145 146] ; #472 (40, 9e+01%) [127 191 207] ; #473 (40, 9e+01%) [2 5 9 47 143 144 145 146 178 229 230 253 254] ; #474 (40, 9e+01%) [127 145 146 186] ; #475 (40, 9e+01%) [81 202 203] ; #476 (40, 9e+01%) [8 9 23 25 30 42 47 71 120] ; #477 (40, 9e+01%) [62 96 127 178 184 185 248 249] ; #478 (40, 9e+01%) [2 5 9 47 81 143 144 145 146 178 229 230 253 254] ; #479 (40, 9e+01%) [6 28 62 82 96] ; #480 (40, 9e+01%) [9 25 30 47 62 81 96 168 169] ; #481 (39, 9e+01%) [127 178 184 185 248 249] ; #482 (39, 9e+01%) [2 5 9 47 53] ; #483 (38, 9e+01%) [2 5 81 127 145 146 237] ; #484 (38, 9e+01%) [8 23 25 30 42 71] ; #485 (38, 9e+01%) [197] ; #486 (38, 9e+01%) [52 62 96] ; #487 (37, 9e+01%) [29 62 96] ; #488 (37, 9e+01%) [24 28 53 62 81 82 96] ; #489 (37, 9e+01%) [62 96 145 146 168 169 185] ; #490 (37, 9e+01%) [53 62 81 96] ; #491 (36, 9e+01%) [28 82 178 231 232 233] ; #492 (36, 9e+01%) [28 77 82 127 139 140 143 144 253 254] ; #493 (36, 9e+01%) [28 53 82 178 231 233] ; #494 (36, 9e+01%) [28 29 53 82 178 231 233] ; #495 (36, 9e+01%) [2 5 6 9 47 62 70 96 160] ; #496 (36, 9e+01%) [9 47 202 203 247] ; #497 (36, 9e+01%) [9 47 145 146 185] ; #498 (36, 9e+01%) [185 186 248 249 260] ; #499 (36, 9e+01%) [9 47 81 145 146 237] ; #500 (36, 9e+01%) [81 185 248 249] ; #501 (36, 9e+01%) [2 5 9 47 127 143 144 253 254] ; #502 (36, 9e+01%) [62 96 160 178] ; #503 (36, 9e+01%) [53 178 234 235] ; #504 (36, 9e+01%) [9 26 32 47 145 146] ; #505 (36, 9e+01%) [52 55 62 96 168 169 178] ; #506 (36, 9e+01%) [6 28 82 185 248 249] ; #507 (36, 9e+01%) [2 5 9 47 81 127 143 144 253 254] ; #508 (36, 9e+01%) [2 5 6 9 47 185 248 249] ; #509 (35, 9e+01%) [2 5 127] ; #510 (35, 9e+01%) [9 47 185 248 249 260] ; #511 (35, 9e+01%) [2 5 9 47 145 146 185] ; #512 (35, 9e+01%) [2 5 9 47 145 146 168 169] ; #513 (35, 9e+01%) [9 47 62 96 178 185 248 249] ; #514 (35, 9e+01%) [62 96 185 248 249 260] ; #515 (35, 9e+01%) [53 59 62 78 79 96 185] ; #516 (35, 9e+01%) [6 53 117 118] ; #517 (34, 9e+01%) [28 77 82 127 139 140 178 185 248 249] ; #518 (34, 9e+01%) [28 77 82 127 139 140 143 144 178 253 254] ; #519 (34, 9e+01%) [28 62 77 82 96 127 178] ; #520 (34, 9e+01%) [24 178 184 197 231 232 233 234 235] ; #521 (34, 9e+01%) [24 54] ; #522 (34, 9e+01%) [24 28 62 82 96 178 184 185 248 249] ; #523 (34, 9e+01%) [178 184 185 202 203 231 233 248 249] ; #524 (34, 9e+01%) [2 5 9 47 127 143 144 178 253 254] ; #525 (34, 9e+01%) [62 96 185 197] ; #526 (34, 9e+01%) [6 77 127] ; #527 (34, 9e+01%) [2 5 9 47 81 127 143 144 178 184 253 254] ; #528 (33, 9e+01%) [2 5 9 26 47 101 136 145 146] ; #529 (33, 9e+01%) [2 5 26 101 136 145 146] ; #530 (33, 9e+01%) [2 5 26 46 101 136 145 146] ; #531 (33, 9e+01%) [2 5 9 26 46 47 101 136 145 146] ; #532 (33, 9e+01%) [2 5 9 47 185] ; #533 (33, 9e+01%) [117 118 202 203] ; #534 (33, 9e+01%) [9 25 34 47 53 56 59] ; #535 (33, 9e+01%) [6 9 29 47] ; #536 (32, 9e+01%) [32 62 96 178] ; #537 (32, 9e+01%) [2 5 9 47 62 96 178 185 248 249] ; #538 (32, 9e+01%) [28 53 59 62 78 79 81 82 96 185] ; #539 (32, 9e+01%) [288] ; #540 (32, 9e+01%) [127 185 248 249 260] ; #541 (32, 9e+01%) [127 184] ; #542 (32, 9e+01%) [62 96 127 145 146 168 169 185] ; #543 (32, 9e+01%) [9 25 32 47] ; #544 (32, 9e+01%) [34 53 195 196 202 203 231 233] ; #545 (31, 9e+01%) [32 52 55 59] ; #546 (31, 9e+01%) [2 5 9 47 62 96 145 146 185] ; searching for minimal number of paths to cover 547 sets Sun Aug 23 22:10:26 2009 ; found solution with 51 paths on Sun Aug 23 22:10:26 2009 ; estimated size of remaining search space 49152 ; minimal solution (51 paths) found on Sun Aug 23 22:10:31 2009 ; 0 [128] 2 [17379] 3 [98] 6 [4230] 8 [3932] 12 [536] 24 [898] 25 [4443] 28 [30036] 29 [2346] 32 [5691] 34 [1697] 45 [1270] 46 [4902] 47 [31562] 49 [369] 52 [989] 53 [42233] 54 [2389] 56 [2427] 59 [5361] 60 [491] 62 [45991] 65 [205] 70 [160] 78 [250] 81 [6850] 101 [2500] 117 [3957] 120 [3447] 127 [8686] 135 [2341] 136 [1682] 139 [3941] 143 [3808] 145 [15549] 178 [18571] 184 [943] 185 [26856] 186 [1353] 191 [96] 197 [764] 202 [2289] 217 [91] 228 [52] 232 [513] 237 [1348] 245 [44] 267 [231] 281 [47] 288 [32] :begin :instance. qc_subs_set_pack := *top* & [ ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "0" #| 45991 |#, ARGS.SYNSEM.LOCAL.CAT.VAL "1" #| 42233 |#, ARGS.C-CONT.HOOK.INDEX.E.TENSE "2" #| 31562 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "3" #| 30036 |#, ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE "4" #| 26856 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST "5" #| 18571 |#, ARGS.C-CONT.HOOK.INDEX.E.MOOD "6" #| 17379 |#, ARGS.C-CONT.HOOK.INDEX.E.ASPECT "7" #| 15549 |#, ARGS.SYNSEM.NON-LOCAL.UNDERSPEC_ARG "8" #| 8686 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.EMPTY "9" #| 6850 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.UNSAT "10" #| 5691 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MAIN-PRD "11" #| 5361 |#, ARGS.SYNSEM.NON-LOCAL.ROBUST "12" #| 4902 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.H-TENSE "13" #| 4443 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD "14" #| 4230 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "15" #| 3957 |#, ARGS.C-CONT.HOOK.XARG.SF "16" #| 3941 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MODUS "17" #| 3932 |#, ARGS.C-CONT.HOOK.XARG.E.TENSE "18" #| 3808 |#, ARGS.SYNSEM.MODIFIED.PERIPH "19" #| 3447 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "20" #| 2500 |#, ARGS.SYNSEM.LOCAL.ARG-S "21" #| 2427 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "22" #| 2389 |#, ARGS.SYNSEM.LOCAL.BAR "23" #| 2346 |#, ARGS.DTR.SYNSEM.LOCAL.ARG-S "24" #| 2341 |#, ARGS.C-CONT.HOOK.XARG.PNG.PN "25" #| 2289 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.COP "26" #| 1697 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "27" #| 1682 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST "28" #| 1353 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.POLARITY "29" #| 1348 |#, ARGS.SYNSEM.LKEYS.KEYREL "30" #| 1270 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "31" #| 989 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON "32" #| 943 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON "33" #| 898 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.QUANTIFIABLE "34" #| 764 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.FIN "35" #| 536 |#, ARGS.SYNSEM.LOCAL.CTXT.C-INDICES.ADDRESSEE "36" #| 513 |#, ARGS.LMORPH-BIND-TYPE "37" #| 491 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.LIGHT "38" #| 369 |#, ARGS.SYNSEM.NON-LOCAL.QUE.LIST "39" #| 250 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST "40" #| 231 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "41" #| 205 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "42" #| 160 |#, ARGS "43" #| 128 |#, ARGS.DTR "44" #| 98 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG "45" #| 96 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.PTYPE "46" #| 91 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG "47" #| 52 |#, ARGS.IDIOM "48" #| 47 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "49" #| 44 |#, ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.REST "50" #| 32 |# ]. :end :instance.