;;;
;;; Quickcheck paths for Jacy (2007-07-07), generated on 1500 items on Thu Jul 26 14:49:10 2007
;;; PET(tom cheap v0.99.13) [100000] +PA(15) +SM(MEM[tanaka-006-015.mem] 1433750/7204) RI[key] -HA(129) +FI +QCU[-1()] +QCS[-1()] -OS[0] +SM +SH {ns 32} (Nov 28 2006/19:36:09) <$utterance-root>
;;;

;; 294 total failing paths:
;;
;; #0 SYNSEM.LKEYS.KEYREL.PRED
;; #1 <empty path>
;; #2 SYNSEM.LOCAL.CAT.VAL.COMPS
;; #3 SYNSEM.LKEYS.KEYREL.ARG2
;; #4 STEMTYPE
;; #5 J-NEEDS-AFFIX
;; #6 INFLECTED
;; #7 SYNSEM.LOCAL.CAT.VAL.SPR
;; #8 SYNSEM.LOCAL.CAT.HEAD
;; #9 SYNSEM.LOCAL.CAT.HEAD.ADJ
;; #10 SYNSEM.LOCAL.CONT.HOOK.INDEX
;; #11 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT
;; #12 SYNSEM.LOCAL.CAT.VAL
;; #13 SYNSEM.LOCAL.CONT
;; #14 SYNSEM.LOCAL.CAT.VAL.SUBJ
;; #15 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD
;; #16 SYNSEM.LOCAL.CAT.HEAD.POS
;; #17 SYNSEM.LOCAL.CAT.HEAD.VN
;; #18 SYNSEM.LOCAL.CAT.HEAD.COP
;; #19 SYNSEM.LOCAL.CAT.VAL.COMPS.REST
;; #20 SYNSEM.LOCAL.CAT.VAL.UNSAT
;; #21 SYNSEM.MODIFIED.PERIPH
;; #22 SYNSEM.LOCAL.CAT.HEAD.LIGHT
;; #23 SYNSEM.LKEYS.KEYREL
;; #24 SYNSEM.LOCAL.ARG-S
;; #25 SYNSEM.LOCAL.BAR
;; #26 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE
;; #27 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT
;; #28 SYNSEM.LOCAL.CAT.HEAD.MODUS
;; #29 SYNSEM.LOCAL.CAT.HEAD.KEYS
;; #30 SYNSEM.LOCAL.CAT.HEAD.MAIN-PRD
;; #31 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD
;; #32 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL
;; #33 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE
;; #34 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT
;; #35 SYNSEM.LOCAL.CAT.HEAD.H-TENSE
;; #36 SYNSEM.LOCAL.ARG-S.REST
;; #37 C-CONT.HOOK.XARG
;; #38 SYNSEM
;; #39 SYNSEM.LOCAL.ARG-S.REST.FIRST
;; #40 SYNSEM.LOCAL.ARG-S.FIRST
;; #41 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST
;; #42 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST
;; #43 SYNSEM.LOCAL.CAT.HEAD.SMOD
;; #44 SYNSEM.LOCAL.CONT.HOOK.XARG
;; #45 SYNSEM.LOCAL.CAT.HEAD.EMPTY
;; #46 SYNSEM.LOCAL.CAT.HEAD.MOD
;; #47 SYNSEM.LOCAL.CAT.HEAD.MARK
;; #48 SYNSEM.LOCAL.CAT.HEAD.C-MOD
;; #49 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL
;; #50 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL
;; #51 SYNSEM.LOCAL.CAT.HEAD.AUX
;; #52 SYNSEM.LKEYS.KEYREL.ARG1
;; #53 SYNSEM.LKEYS.KEYREL.ARG0
;; #54 SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD
;; #55 SYNSEM.LOCAL.CAT.HEAD.J-SPEC
;; #56 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD
;; #57 SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD
;; #58 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL
;; #59 SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY
;; #60 SYNSEM.LOCAL.CONT.MSG
;; #61 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS
;; #62 SYNSEM.LOCAL.CAT.HEAD.FIN
;; #63 SYNSEM.LOCAL.ARG-S.FIRST.OPT
;; #64 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD
;; #65 LMORPH-BIND-TYPE
;; #66 RMORPH-BIND-TYPE
;; #67 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE
;; #68 C-CONT.HOOK.INDEX.E.TENSE
;; #69 SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON
;; #70 DTR.SYNSEM.LOCAL.CAT.HEAD.FIN
;; #71 DTR.SYNSEM.LOCAL.CAT.HEAD.MARK
;; #72 DTR.SYNSEM.LOCAL.CAT.HEAD.MOD
;; #73 DTR.SYNSEM.LOCAL.CAT.HEAD
;; #74 DTR.SYNSEM.NON-LOCAL.ROBUST
;; #75 SYNSEM.NON-LOCAL.ROBUST
;; #76 SYNSEM.LOCAL.CAT.HEAD.COP-ARG
;; #77 DTR.SYNSEM.LOCAL.CAT.HEAD.MARK.FIRST.LOCAL.CAT.HEAD.H-TENSE
;; #78 DTR.SYNSEM.LOCAL.CAT.HEAD.MARK.FIRST.LOCAL.CAT.HEAD.MODUS
;; #79 SYNSEM.LOCAL.CAT.HEAD.MARK.FIRST.LOCAL.CAT.HEAD.H-TENSE
;; #80 SYNSEM.LOCAL.CAT.HEAD.MARK.FIRST.LOCAL.CAT.HEAD.MODUS
;; #81 DTR.SYNSEM.LOCAL.CAT.HEAD.MODUS
;; #82 DTR
;; #83 DTR.J-NEEDS-AFFIX
;; #84 C-CONT.HOOK.INDEX.E.MOOD
;; #85 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD
;; #86 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.BAR
;; #87 DTR.SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON
;; #88 DTR.SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD
;; #89 DTR.SYNSEM.LOCAL.CAT.HEAD.J-SPEC
;; #90 DTR.SYNSEM.LOCAL.CAT.HEAD.SMOD
;; #91 DTR.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD
;; #92 DTR.STEMTYPE
;; #93 SYNSEM.LEX
;; #94 SYNSEM.LOCAL.NUCL
;; #95 SYNSEM.LOCAL.CAT.HEAD.CASE
;; #96 SYNSEM.NON-LOCAL.AFFIX
;; #97 SYNSEM.NON-LOCAL.AFFIX.LIST
;; #98 SYNSEM.NON-LOCAL.AFFIX.LAST
;; #99 C-CONT.HOOK.INDEX
;; #100 SYNSEM.NON-LOCAL.QUE.LAST
;; #101 SYNSEM.NON-LOCAL.QUE.LIST
;; #102 STEM.REST
;; #103 NEEDS-AFFIX
;; #104 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX
;; #105 SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CONT.HOOK.INDEX
;; #106 SYNSEM.NON-LOCAL.UNDERSPEC_ARG
;; #107 DTR.SYNSEM.LKEYS.KEYREL
;; #108 DTR.SYNSEM.LOCAL.ARG-S
;; #109 DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD
;; #110 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD
;; #111 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG
;; #112 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.XARG
;; #113 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.ASPECT
;; #114 C-CONT.HOOK.INDEX.E.ASPECT
;; #115 SYNSEM.LKEYS.KEYREL.ARG0.E.ASPECT
;; #116 SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE
;; #117 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE
;; #118 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX
;; #119 C-CONT.HOOK.INDEX.PNG.PN
;; #120 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #121 DTR.DTR.SYNSEM.NON-LOCAL.ROBUST
;; #122 DTR.DTR.SYNSEM.LOCAL.CAT.HEAD.MODUS
;; #123 C-CONT.HOOK.XARG.PNG.PN
;; #124 SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN
;; #125 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST
;; #126 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PTYPE
;; #127 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.PTYPE
;; #128 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL
;; #129 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.CASE
;; #130 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.PTYPE
;; #131 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.CASE
;; #132 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.PTYPE
;; #133 SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT.HEAD.PTYPE
;; #134 SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT.HEAD.CASE
;; #135 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MAIN-PRD
;; #136 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FIN
;; #137 SYNSEM.LOCAL.CAT.HEAD.QUANTIFIABLE
;; #138 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS
;; #139 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ
;; #140 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG
;; #141 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST
;; #142 SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON
;; #143 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.EMPTY
;; #144 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL
;; #145 SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.MODIFIED.PERIPH
;; #146 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.COP
;; #147 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE
;; #148 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER.E.TENSE
;; #149 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.HONORED
;; #150 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.E.TENSE
;; #151 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.HONORED
;; #152 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX
;; #153 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL
;; #154 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS.FIRST
;; #155 SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE.PNG.PN
;; #156 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST
;; #157 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.FIRST.HONORED
;; #158 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VN
;; #159 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST
;; #160 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER
;; #161 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.POLARITY
;; #162 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER
;; #163 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.POLARITY
;; #164 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.FIRST.POLARITY
;; #165 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.FIRST.BEARER
;; #166 DTR.RMORPH-BIND-TYPE
;; #167 SYNSEM.NON-LOCAL.QUE
;; #168 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG
;; #169 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS
;; #170 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT
;; #171 DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT
;; #172 IDIOM
;; #173 DTR.IDIOM
;; #174 SYNSEM.LOCAL.CTXT.C-INDICES.ADDRESSEE
;; #175 DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.CASE
;; #176 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST
;; #177 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.BAR
;; #178 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL
;; #179 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT
;; #180 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT
;; #181 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX
;; #182 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT
;; #183 DTR.DTR.SYNSEM.LOCAL.CAT.HEAD.MARK
;; #184 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD
;; #185 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX
;; #186 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY
;; #187 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MODUS
;; #188 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1
;; #189 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.UNSAT
;; #190 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S
;; #191 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.PASS
;; #192 C-CONT.HOOK.INDEX.E.PASS
;; #193 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.LIGHT
;; #194 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.FIRST.LOCAL.CAT
;; #195 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT
;; #196 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.UNSAT
;; #197 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.REST.FIRST
;; #198 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.PASS
;; #199 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON
;; #200 SYNSEM.LOCAL.CTXT
;; #201 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.E.PASS
;; #202 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.H-TENSE
;; #203 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX
;; #204 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CONT.HOOK.INDEX
;; #205 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX
;; #206 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST
;; #207 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD
;; #208 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.VN
;; #209 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX
;; #210 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL
;; #211 SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT.HEAD
;; #212 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER.E.MOOD
;; #213 DTR.DTR.IDIOM
;; #214 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MOD
;; #215 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.C-MOD
;; #216 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MAIN-PRD
;; #217 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.C-MOD
;; #218 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT
;; #219 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT
;; #220 SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT
;; #221 DTR.SYNSEM.LOCAL.ARG-S.REST
;; #222 C-CONT.HOOK.INDEX.PNG.GEN
;; #223 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.GEN
;; #224 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT
;; #225 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON
;; #226 DTR.C-CONT.HOOK.XARG
;; #227 DTR.SYNSEM.LOCAL.CTXT
;; #228 DTR.SYNSEM.LOCAL.CONT.HOOK.XARG
;; #229 DTR.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON
;; #230 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.NUCL
;; #231 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL
;; #232 SYNSEM.LOCAL.CTXT.EMPATHY.EMPER
;; #233 SYNSEM.LOCAL.CTXT.C-INDICES.SPEAKER
;; #234 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.HONORER
;; #235 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FORMAL.AHON
;; #236 SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE.PNG.GEN
;; #237 STEM
;; #238 C-CONT.HOOK.XARG.PNG.GEN
;; #239 SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.GEN
;; #240 SYNSEM.LOCAL.CAT.HEAD.PTYPE
;; #241 C-CONT.HOOK.XARG.E.TENSE
;; #242 SYNSEM.LOCAL.CONT.HOOK.XARG.E.TENSE
;; #243 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.HONORER
;; #244 SYNSEM.LOCAL.ARG-S.FIRST.FIRST
;; #245 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN
;; #246 SYNSEM.LOCAL.CTXT.EMPATHY.EMPER.PNG.GEN
;; #247 SYNSEM.LOCAL.CTXT.C-INDICES.SPEAKER.PNG.GEN
;; #248 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.HONORER.PNG.GEN
;; #249 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG.PNG.GEN
;; #250 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEN
;; #251 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEN
;; #252 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST
;; #253 C-CONT.HOOK.XARG.E.ASPECT
;; #254 SYNSEM.LOCAL.CONT.HOOK.XARG.E.ASPECT
;; #255 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #256 C-CONT.HOOK.XARG.E.MOOD
;; #257 SYNSEM.LOCAL.CONT.HOOK.XARG.E.MOOD
;; #258 DTR.DTR
;; #259 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.NUCL
;; #260 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.ADJ
;; #261 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON
;; #262 SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON
;; #263 DTR.SYNSEM.LKEYS.KEYREL.ARG1
;; #264 DTR.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.CASE
;; #265 DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX
;; #266 DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON
;; #267 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #268 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN
;; #269 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.J-SPEC
;; #270 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD
;; #271 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.E.ASPECT
;; #272 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.SMOD
;; #273 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE
;; #274 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD
;; #275 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS
;; #276 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.FIRST.HONORER
;; #277 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.J-POSTHEAD
;; #278 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX
;; #279 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #280 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS.FIRST.OPT
;; #281 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT
;; #282 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #283 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.E.MOOD
;; #284 SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.REST
;; #285 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS.REST
;; #286 SYNSEM.LKEYS.KEYREL.ARG0.E.TENSE
;; #287 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.H-TENSE
;; #288 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.H-TENSE
;; #289 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR
;; #290 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LEX
;; #291 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0
;; #292 C-CONT.HOOK.XARG.E.PASS
;; #293 SYNSEM.LOCAL.CONT.HOOK.XARG.E.PASS

;;
;; quickcheck paths (unification)
;;

; traditional paths (max 10000)

:begin :instance.

qc_unif_trad_pack := *top* &
[ ARGS.SYNSEM.LOCAL.CAT.HEAD.FIN "0" #| 12676.77 |#,
  ARGS.LMORPH-BIND-TYPE "1" #| 5086.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.ADJ "2" #| 5053.39 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD "3" #| 3918.07 |#,
  ARGS.INFLECTED "4" #| 3248.01 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.COP "5" #| 3023.57 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.MODIFIED.PERIPH "6" #| 2684.00 |#,
  ARGS.SYNSEM.LOCAL.NUCL "7" #| 2332.25 |#,
  ARGS.J-NEEDS-AFFIX "8" #| 1659.22 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MAIN-PRD "9" #| 1074.44 |#,
  ARGS.SYNSEM.LEX "10" #| 1074.26 |#,
  ARGS "11" #| 824.81 |#,
  ARGS.SYNSEM.LOCAL.BAR "12" #| 758.78 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.C-MOD "13" #| 683.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.POS "14" #| 598.53 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.UNSAT "15" #| 546.98 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MODUS "16" #| 492.57 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "17" #| 455.23 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MOD "18" #| 449.39 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE.PNG.PN "19" #| 389.16 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL "20" #| 347.76 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "21" #| 342.01 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "22" #| 324.55 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.ADJ "23" #| 322.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "24" #| 290.19 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.C-MOD "25" #| 253.31 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FIN "26" #| 248.09 |#,
  ARGS.STEMTYPE "27" #| 245.29 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.UNSAT "28" #| 216.63 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "29" #| 204.54 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MARK "30" #| 199.96 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD "31" #| 194.90 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MODUS "32" #| 178.37 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VN "33" #| 178.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.EMPTY "34" #| 171.05 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE "35" #| 147.00 |#,
  ARGS.RMORPH-BIND-TYPE "36" #| 130.27 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC "37" #| 130.23 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "38" #| 123.87 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "39" #| 121.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.BAR "40" #| 119.76 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ "41" #| 116.97 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.SMOD "42" #| 104.36 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS "43" #| 93.63 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.BAR "44" #| 92.59 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "45" #| 92.21 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON "46" #| 81.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.LIGHT "47" #| 74.92 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MAIN-PRD "48" #| 70.86 |#,
  ARGS.SYNSEM.LOCAL.ARG-S "49" #| 59.18 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS.REST "50" #| 55.75 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.C-MOD "51" #| 55.34 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.UNSAT "52" #| 49.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FORMAL.AHON "53" #| 43.35 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VN "54" #| 42.41 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "55" #| 31.59 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.H-TENSE "56" #| 29.26 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "57" #| 27.19 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.LIGHT "58" #| 23.57 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "59" #| 20.92 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD "60" #| 20.50 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "61" #| 20.48 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "62" #| 20.41 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.COP "63" #| 19.58 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG2 "64" #| 19.01 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "65" #| 18.07 |#,
  ARGS.SYNSEM.LKEYS.KEYREL "66" #| 15.98 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "67" #| 15.93 |#,
  ARGS.SYNSEM.LOCAL.CONT "68" #| 15.47 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST "69" #| 15.29 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "70" #| 14.62 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "71" #| 13.26 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON "72" #| 12.25 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "73" #| 11.08 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "74" #| 10.62 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.EMPTY "75" #| 10.23 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1 "76" #| 10.00 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "77" #| 9.49 |#,
  ARGS.SYNSEM.MODIFIED.PERIPH "78" #| 9.20 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.VN "79" #| 9.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS "80" #| 8.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MAIN-PRD "81" #| 7.59 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "82" #| 6.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "83" #| 5.38 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "84" #| 5.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "85" #| 4.85 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT "86" #| 4.48 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "87" #| 4.31 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON "88" #| 4.24 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "89" #| 3.08 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG "90" #| 3.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.COP-ARG "91" #| 2.40 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST "92" #| 2.19 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.SMOD "93" #| 2.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LEX "94" #| 2.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL "95" #| 1.83 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "96" #| 1.24 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.J-POSTHEAD "97" #| 1.20 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0 "98" #| 1.00 |#,
  ARGS.SYNSEM.NON-LOCAL.AFFIX.LAST "99" #| 1.00 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.PRED "100" #| 1.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MARK.FIRST.LOCAL.CAT.HEAD.H-TENSE "101" #| 0.99 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST "102" #| 0.97 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD "103" #| 0.51 |#,
  ARGS.SYNSEM.NON-LOCAL.AFFIX.LIST "104" #| 0.51 |#,
  ARGS.SYNSEM.NON-LOCAL.AFFIX "105" #| 0.49 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.J-SPEC "106" #| 0.49 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD "107" #| 0.39 |#,
  ARGS.SYNSEM.LOCAL.CONT.MSG "108" #| 0.26 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS "109" #| 0.22 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.OPT "110" #| 0.16 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "111" #| 0.14 |# ].

:end :instance.

;; set based paths (threshold 99.0%)

; 1064 failing sets, total count 53050:
;
;  #0 (12645, 23.8%) [62]
;  #1 (4979, 33.2%) [9]
;  #2 (4782, 42.2%) [65]
;  #3 (2997, 47.9%) [146]
;  #4 (2684, 52.9%) [145]
;  #5 (2258, 57.2%) [94]
;  #6 (1960, 60.9%) [8]
;  #7 (1548, 63.8%) [6]
;  #8 (1455, 66.6%) [5]
;  #9 (1057, 68.5%) [135]
;  #10 (783, 70.0%) [1 6]
;  #11 (683, 71.3%) [1]
;  #12 (481, 72.2%) [215]
;  #13 (463, 73.1%) [1 6 93]
;  #14 (421, 73.9%) [25]
;  #15 (383, 74.6%) [155]
;  #16 (376, 75.3%) [187]
;  #17 (354, 76.0%) [1 6 20]
;  #18 (321, 76.6%) [260]
;  #19 (319, 77.2%) [1 93]
;  #20 (290, 77.7%) [1 8]
;  #21 (268, 78.2%) [214]
;  #22 (222, 78.7%) [8 16]
;  #23 (219, 79.1%) [1 6 20 93]
;  #24 (202, 79.5%) [4]
;  #25 (199, 79.8%) [214 215]
;  #26 (198, 80.2%) [136]
;  #27 (194, 80.6%) [33]
;  #28 (182, 80.9%) [2]
;  #29 (178, 81.2%) [158]
;  #30 (177, 81.6%) [217]
;  #31 (163, 81.9%) [143]
;  #32 (162, 82.2%) [8 25]
;  #33 (152, 82.5%) [1 6 8]
;  #34 (149, 82.8%) [93]
;  #35 (148, 83.0%) [187 217]
;  #36 (147, 83.3%) [116]
;  #37 (140, 83.6%) [117 177]
;  #38 (136, 83.8%) [46]
;  #39 (126, 84.1%) [214 215 216]
;  #40 (121, 84.3%) [184]
;  #41 (119, 84.5%) [1 5 6]
;  #42 (108, 84.7%) [1 6 8 93]
;  #43 (102, 84.9%) [6 8]
;  #44 (99, 85.1%) [1 8 16 93 94]
;  #45 (96, 85.3%) [7]
;  #46 (92, 85.5%) [1 5 6 93]
;  #47 (90, 85.6%) [8 16 46]
;  #48 (87, 85.8%) [86 215]
;  #49 (84, 86.0%) [65 139 196]
;  #50 (84, 86.1%) [2 8]
;  #51 (81, 86.3%) [8 93]
;  #52 (81, 86.4%) [142]
;  #53 (80, 86.6%) [65 138 196]
;  #54 (78, 86.7%) [136 187]
;  #55 (76, 86.9%) [65 138 139 196]
;  #56 (73, 87.0%) [1 6 8 20]
;  #57 (72, 87.1%) [193]
;  #58 (69, 87.3%) [6 47]
;  #59 (67, 87.4%) [65 117]
;  #60 (66, 87.5%) [66]
;  #61 (66, 87.6%) [8 16 93]
;  #62 (65, 87.8%) [8 25 93]
;  #63 (64, 87.9%) [7 8]
;  #64 (61, 88.0%) [25 93]
;  #65 (61, 88.1%) [1 5]
;  #66 (59, 88.2%) [5 12]
;  #67 (58, 88.3%) [5 8]
;  #68 (58, 88.4%) [5 6 7]
;  #69 (58, 88.6%) [177]
;  #70 (56, 88.7%) [138 196]
;  #71 (56, 88.8%) [138 139 196]
;  #72 (56, 88.9%) [28]
;  #73 (56, 89.0%) [8 12 16 93]
;  #74 (56, 89.1%) [139 196]
;  #75 (55, 89.2%) [1 8 12 16 93 94]
;  #76 (55, 89.3%) [8 46]
;  #77 (55, 89.4%) [1 8 93]
;  #78 (54, 89.5%) [8 43]
;  #79 (52, 89.6%) [65 285]
;  #80 (51, 89.7%) [8 12]
;  #81 (49, 89.8%) [14]
;  #82 (49, 89.9%) [189]
;  #83 (48, 90.0%) [8 20]
;  #84 (48, 90.1%) [1 5 6 8 93 94]
;  #85 (47, 90.1%) [6 8 12 16]
;  #86 (47, 90.2%) [5 6]
;  #87 (46, 90.3%) [86]
;  #88 (44, 90.4%) [65 196]
;  #89 (44, 90.5%) [47]
;  #90 (44, 90.6%) [8 16 43]
;  #91 (44, 90.6%) [6 28]
;  #92 (40, 90.7%) [65 139 196 285]
;  #93 (40, 90.8%) [12]
;  #94 (40, 90.9%) [146 235]
;  #95 (39, 90.9%) [14 25]
;  #96 (39, 91.0%) [2 14 25]
;  #97 (39, 91.1%) [1 47 93]
;  #98 (37, 91.2%) [20 66]
;  #99 (37, 91.2%) [2 8 14]
;  #100 (35, 91.3%) [10]
;  #101 (35, 91.4%) [2 25]
;  #102 (35, 91.4%) [8 16 25]
;  #103 (35, 91.5%) [8 14]
;  #104 (35, 91.6%) [1 6 8 10 16]
;  #105 (34, 91.6%) [8 55]
;  #106 (34, 91.7%) [2 7 8]
;  #107 (33, 91.8%) [8 47]
;  #108 (33, 91.8%) [8 43 93]
;  #109 (33, 91.9%) [8 16 55]
;  #110 (32, 91.9%) [86 214 216]
;  #111 (30, 92.0%) [46 54]
;  #112 (30, 92.1%) [5 8 12 16]
;  #113 (30, 92.1%) [1 6 66]
;  #114 (30, 92.2%) [1 6 8 20 93]
;  #115 (29, 92.2%) [86 214]
;  #116 (28, 92.3%) [196]
;  #117 (27, 92.3%) [54]
;  #118 (27, 92.4%) [5 47]
;  #119 (27, 92.4%) [12 25]
;  #120 (26, 92.5%) [8 10]
;  #121 (25, 92.5%) [25 54]
;  #122 (25, 92.6%) [20]
;  #123 (24, 92.6%) [5 66]
;  #124 (24, 92.7%) [8 12 16]
;  #125 (24, 92.7%) [1 5 6 7 24 93]
;  #126 (24, 92.7%) [285]
;  #127 (24, 92.8%) [235]
;  #128 (23, 92.8%) [8 16 47]
;  #129 (22, 92.9%) [4 6]
;  #130 (22, 92.9%) [8 16 54]
;  #131 (22, 93.0%) [1 20 93]
;  #132 (22, 93.0%) [8 9]
;  #133 (22, 93.0%) [1 8 93 94]
;  #134 (22, 93.1%) [1 8 16 43 93 94]
;  #135 (20, 93.1%) [55]
;  #136 (20, 93.2%) [5 6 7 8]
;  #137 (20, 93.2%) [8 54]
;  #138 (20, 93.2%) [2 8 14 16]
;  #139 (20, 93.3%) [2 5 6 7 12 14]
;  #140 (20, 93.3%) [8 12 16 54 55]
;  #141 (20, 93.3%) [7 12 54]
;  #142 (20, 93.4%) [1 6 8 12 93]
;  #143 (20, 93.4%) [1 8 16 93]
;  #144 (20, 93.5%) [139 196 285]
;  #145 (19, 93.5%) [8 17]
;  #146 (18, 93.5%) [6 8 12]
;  #147 (18, 93.6%) [48]
;  #148 (18, 93.6%) [1 6 20 28]
;  #149 (16, 93.6%) [138 252]
;  #150 (16, 93.7%) [139]
;  #151 (16, 93.7%) [138 139 196 252]
;  #152 (16, 93.7%) [65 139]
;  #153 (16, 93.8%) [1 8 12 16 93]
;  #154 (16, 93.8%) [2 8 25]
;  #155 (16, 93.8%) [1 5 6 8 16]
;  #156 (16, 93.8%) [8 12 93]
;  #157 (16, 93.9%) [7 8 14]
;  #158 (16, 93.9%) [182 273]
;  #159 (16, 93.9%) [1 5 6 7 8 24 93 94]
;  #160 (15, 94.0%) [4 8 9]
;  #161 (15, 94.0%) [1 5 6 8 17]
;  #162 (15, 94.0%) [1 6 8 17]
;  #163 (15, 94.0%) [8 10 12 16]
;  #164 (14, 94.1%) [135 143]
;  #165 (14, 94.1%) [135 187]
;  #166 (14, 94.1%) [6 7]
;  #167 (14, 94.2%) [1 2 8]
;  #168 (14, 94.2%) [1 5 6 67]
;  #169 (14, 94.2%) [8 46 54]
;  #170 (14, 94.2%) [2 14]
;  #171 (14, 94.3%) [8 15]
;  #172 (14, 94.3%) [1 93 94]
;  #173 (14, 94.3%) [1 6 8 16 20 93]
;  #174 (14, 94.3%) [214 216]
;  #175 (13, 94.4%) [1 8 16 20 93]
;  #176 (13, 94.4%) [6 7 8]
;  #177 (13, 94.4%) [5 8 16]
;  #178 (13, 94.4%) [8 48]
;  #179 (13, 94.5%) [1 5 6 28]
;  #180 (13, 94.5%) [1 6 28]
;  #181 (13, 94.5%) [1 28]
;  #182 (13, 94.5%) [1 6 8 14 20]
;  #183 (13, 94.6%) [1 6 8 10 20]
;  #184 (12, 94.6%) [65 199]
;  #185 (12, 94.6%) [86 214 215 216]
;  #186 (12, 94.6%) [26]
;  #187 (12, 94.6%) [1 2]
;  #188 (12, 94.7%) [15]
;  #189 (12, 94.7%) [8 25 54 55]
;  #190 (12, 94.7%) [1 5 6 20 93]
;  #191 (12, 94.7%) [8 25 43]
;  #192 (12, 94.8%) [8 22]
;  #193 (12, 94.8%) [8 16 48]
;  #194 (12, 94.8%) [2 8 14 16 25]
;  #195 (12, 94.8%) [1 6 8 93 94]
;  #196 (12, 94.9%) [2 6]
;  #197 (12, 94.9%) [8 12 23]
;  #198 (12, 94.9%) [8 12 16 25]
;  #199 (12, 94.9%) [1 5 6 8 9]
;  #200 (12, 94.9%) [1 25]
;  #201 (12, 95.0%) [1 6 8 16 20]
;  #202 (12, 95.0%) [7 54]
;  #203 (12, 95.0%) [1 6 8 12 24]
;  #204 (12, 95.0%) [1 5 6 8]
;  #205 (12, 95.1%) [1 6 8 10 12 13 14 15 16 23 52]
;  #206 (12, 95.1%) [6 8 14]
;  #207 (11, 95.1%) [62 155]
;  #208 (11, 95.1%) [25 46 54]
;  #209 (11, 95.1%) [4 8]
;  #210 (11, 95.2%) [2 8 14 25]
;  #211 (11, 95.2%) [8 16 43 47 55 93]
;  #212 (11, 95.2%) [8 16 43 55]
;  #213 (11, 95.2%) [8 9 12]
;  #214 (11, 95.2%) [1 8 46 55 93]
;  #215 (11, 95.3%) [1 8 16 43 93]
;  #216 (10, 95.3%) [135 136]
;  #217 (10, 95.3%) [1 8 14 20]
;  #218 (10, 95.3%) [1 8 12 16 46 55]
;  #219 (10, 95.3%) [22]
;  #220 (10, 95.4%) [8 94]
;  #221 (10, 95.4%) [8 16 57]
;  #222 (10, 95.4%) [8 16 54 55]
;  #223 (10, 95.4%) [8 16 25 93]
;  #224 (10, 95.4%) [8 10 12 16 55 56]
;  #225 (10, 95.5%) [1 14]
;  #226 (10, 95.5%) [1 8 43 46 55 93 94]
;  #227 (10, 95.5%) [1 6 8 10]
;  #228 (10, 95.5%) [188]
;  #229 (10, 95.5%) [6 8 17]
;  #230 (9, 95.5%) [136 146]
;  #231 (9, 95.6%) [5 6 12 14]
;  #232 (9, 95.6%) [5 6 8 16]
;  #233 (9, 95.6%) [5 6 8]
;  #234 (9, 95.6%) [14 46]
;  #235 (9, 95.6%) [8 55 56]
;  #236 (9, 95.6%) [8 59]
;  #237 (9, 95.7%) [1 5 6 10 93]
;  #238 (9, 95.7%) [2 8 16]
;  #239 (9, 95.7%) [8 16 46 48]
;  #240 (9, 95.7%) [1 5 6 8 13 16]
;  #241 (9, 95.7%) [1 6 8 13 16]
;  #242 (9, 95.7%) [7 12]
;  #243 (9, 95.8%) [7 8 16]
;  #244 (9, 95.8%) [1 8 24]
;  #245 (9, 95.8%) [1 8 20]
;  #246 (9, 95.8%) [208]
;  #247 (8, 95.8%) [65 193]
;  #248 (8, 95.8%) [65 139 196 274 275]
;  #249 (8, 95.9%) [5 55]
;  #250 (8, 95.9%) [5 46]
;  #251 (8, 95.9%) [5 28]
;  #252 (8, 95.9%) [1 2 7 8 24]
;  #253 (8, 95.9%) [5 12 25]
;  #254 (8, 95.9%) [25 28]
;  #255 (8, 96.0%) [1 4 7 8 9 12]
;  #256 (8, 96.0%) [1 8 10 16 93]
;  #257 (8, 96.0%) [65 196 274 275]
;  #258 (8, 96.0%) [1 5 6 66]
;  #259 (8, 96.0%) [1 8 9]
;  #260 (8, 96.0%) [196 274 275]
;  #261 (8, 96.0%) [1 7 24 33]
;  #262 (8, 96.1%) [2 27]
;  #263 (8, 96.1%) [2 20]
;  #264 (8, 96.1%) [1 2 3 6 8 20 36]
;  #265 (8, 96.1%) [8 20 25]
;  #266 (8, 96.1%) [8 16 46 47 55]
;  #267 (8, 96.1%) [8 16 43 47 55]
;  #268 (8, 96.1%) [2 7 8 12]
;  #269 (8, 96.2%) [2 7 8 12 14 16]
;  #270 (8, 96.2%) [8 14 25]
;  #271 (8, 96.2%) [1 2 3 4]
;  #272 (8, 96.2%) [1 6 8 24]
;  #273 (8, 96.2%) [2 5 6 7 10 12 14]
;  #274 (8, 96.2%) [2 5 6 7 8 12 14]
;  #275 (8, 96.3%) [1 5 6 8 13 14 16]
;  #276 (8, 96.3%) [1 20]
;  #277 (8, 96.3%) [7 8 12 54]
;  #278 (8, 96.3%) [1 6 8 10 15 16]
;  #279 (8, 96.3%) [7 8 12 14 16]
;  #280 (8, 96.3%) [1 8 25]
;  #281 (8, 96.3%) [1 2 3]
;  #282 (8, 96.4%) [1 6 7 8 24]
;  #283 (8, 96.4%) [1 6 7 20 24 93]
;  #284 (8, 96.4%) [6 8 16 46]
;  #285 (8, 96.4%) [139 196 274 275]
;  #286 (7, 96.4%) [5 57]
;  #287 (7, 96.4%) [34]
;  #288 (7, 96.4%) [25 48 54]
;  #289 (7, 96.5%) [5 6 25]
;  #290 (7, 96.5%) [20 93]
;  #291 (7, 96.5%) [14 25 93]
;  #292 (7, 96.5%) [1 8 10 12]
;  #293 (7, 96.5%) [1 4 6 8 10 16]
;  #294 (7, 96.5%) [8 57]
;  #295 (7, 96.5%) [2 19]
;  #296 (7, 96.5%) [8 23]
;  #297 (7, 96.6%) [8 18]
;  #298 (7, 96.6%) [8 16 46 54]
;  #299 (7, 96.6%) [2 8 9 12]
;  #300 (7, 96.6%) [1 6 14 20]
;  #301 (7, 96.6%) [1 24 93]
;  #302 (7, 96.6%) [6 93]
;  #303 (7, 96.6%) [6 8 16]
;  #304 (6, 96.7%) [1 2 6 20]
;  #305 (6, 96.7%) [6 8 9 12]
;  #306 (6, 96.7%) [5 8 47]
;  #307 (6, 96.7%) [5 8 16 55]
;  #308 (6, 96.7%) [24 25 93]
;  #309 (6, 96.7%) [5 6 10 12 14]
;  #310 (6, 96.7%) [20 25]
;  #311 (6, 96.7%) [12 48 54]
;  #312 (6, 96.7%) [12 14 25]
;  #313 (6, 96.8%) [8 53]
;  #314 (6, 96.8%) [1 7 8 12]
;  #315 (6, 96.8%) [8 28]
;  #316 (6, 96.8%) [1 7 8]
;  #317 (6, 96.8%) [2 14 93]
;  #318 (6, 96.8%) [8 24 25 93]
;  #319 (6, 96.8%) [1 6 47]
;  #320 (6, 96.8%) [8 24]
;  #321 (6, 96.8%) [2 8 20]
;  #322 (6, 96.9%) [8 16 56]
;  #323 (6, 96.9%) [8 16 58]
;  #324 (6, 96.9%) [8 16 55 56]
;  #325 (6, 96.9%) [1 6 20 47]
;  #326 (6, 96.9%) [8 16 46 47]
;  #327 (6, 96.9%) [8 16 25 47]
;  #328 (6, 96.9%) [8 16 25 45 93]
;  #329 (6, 96.9%) [8 16 20]
;  #330 (6, 96.9%) [8 15 16]
;  #331 (6, 97.0%) [8 14 20]
;  #332 (6, 97.0%) [8 12 48 54]
;  #333 (6, 97.0%) [8 12 16 54]
;  #334 (6, 97.0%) [8 12 16 46]
;  #335 (6, 97.0%) [1 46]
;  #336 (6, 97.0%) [20 25 93]
;  #337 (6, 97.0%) [1 6 8 16]
;  #338 (6, 97.0%) [8 9 66]
;  #339 (6, 97.0%) [1 2 8 14]
;  #340 (6, 97.1%) [7 8 14 44 46]
;  #341 (6, 97.1%) [1 6 8 9]
;  #342 (6, 97.1%) [1 8 16 67 93]
;  #343 (6, 97.1%) [185]
;  #344 (5, 97.1%) [6 8 10 16]
;  #345 (5, 97.1%) [69]
;  #346 (5, 97.1%) [1 4 8 9]
;  #347 (5, 97.1%) [1 8 14 20 93]
;  #348 (5, 97.1%) [54 56]
;  #349 (5, 97.1%) [33 34]
;  #350 (5, 97.2%) [5 9 12]
;  #351 (5, 97.2%) [5 8 12 16 25]
;  #352 (5, 97.2%) [25 46]
;  #353 (5, 97.2%) [25 35 62]
;  #354 (5, 97.2%) [25 35]
;  #355 (5, 97.2%) [24 93]
;  #356 (5, 97.2%) [1 8 10 12 16 93]
;  #357 (5, 97.2%) [14 33 34]
;  #358 (5, 97.2%) [14 20]
;  #359 (5, 97.2%) [4 18]
;  #360 (5, 97.3%) [1 5 6 35]
;  #361 (5, 97.3%) [10 54 86]
;  #362 (5, 97.3%) [8 54 55]
;  #363 (5, 97.3%) [2 14 19 25]
;  #364 (5, 97.3%) [2 12 14 25]
;  #365 (5, 97.3%) [2 12]
;  #366 (5, 97.3%) [1 2 14]
;  #367 (5, 97.3%) [8 16 25 54]
;  #368 (5, 97.3%) [6 8 10 54]
;  #369 (5, 97.3%) [8 14 53]
;  #370 (5, 97.3%) [8 13 14 16 17 46 47]
;  #371 (5, 97.4%) [8 12 16 55 56]
;  #372 (5, 97.4%) [8 12 16 46 48 54 55]
;  #373 (5, 97.4%) [2 5 6]
;  #374 (5, 97.4%) [1 2 7 8]
;  #375 (5, 97.4%) [8 10 12]
;  #376 (5, 97.4%) [1 20 24 93]
;  #377 (5, 97.4%) [12 54]
;  #378 (5, 97.4%) [1 6 8 10 54]
;  #379 (5, 97.4%) [1 6 8 10 16 46 54]
;  #380 (5, 97.4%) [6 46 62]
;  #381 (5, 97.5%) [1 6 8 9 20]
;  #382 (5, 97.5%) [186]
;  #383 (4, 97.5%) [139 196 252 274]
;  #384 (4, 97.5%) [1 6 7 8 10 12 14 20]
;  #385 (4, 97.5%) [1 6 7 8 9 14 20 24]
;  #386 (4, 97.5%) [65 138 139 196 252]
;  #387 (4, 97.5%) [6 8 12 93]
;  #388 (4, 97.5%) [65 252]
;  #389 (4, 97.5%) [1 2 6 7 20 24 93]
;  #390 (4, 97.5%) [6 8 9]
;  #391 (4, 97.5%) [65 153 252 274]
;  #392 (4, 97.5%) [6 7 8 10 12 13 14 16 44]
;  #393 (4, 97.5%) [6 7 8 10 11]
;  #394 (4, 97.6%) [65 139 196 252]
;  #395 (4, 97.6%) [65 138 252]
;  #396 (4, 97.6%) [6 8 15]
;  #397 (4, 97.6%) [21]
;  #398 (4, 97.6%) [56]
;  #399 (4, 97.6%) [5 28 66]
;  #400 (4, 97.6%) [35]
;  #401 (4, 97.6%) [31]
;  #402 (4, 97.6%) [1 2 7 14 24]
;  #403 (4, 97.6%) [30]
;  #404 (4, 97.6%) [28 62]
;  #405 (4, 97.6%) [1 8 14]
;  #406 (4, 97.6%) [1 5 12 24]
;  #407 (4, 97.6%) [27]
;  #408 (4, 97.7%) [1 8 12 93]
;  #409 (4, 97.7%) [25 69]
;  #410 (4, 97.7%) [1 2 3 6 20 36]
;  #411 (4, 97.7%) [24 25]
;  #412 (4, 97.7%) [58]
;  #413 (4, 97.7%) [5 6 8 25]
;  #414 (4, 97.7%) [1 2 5 7 24]
;  #415 (4, 97.7%) [5 6 8 12 14]
;  #416 (4, 97.7%) [5 6 8 15 22]
;  #417 (4, 97.7%) [5 6 7 14]
;  #418 (4, 97.7%) [14 93]
;  #419 (4, 97.7%) [65 139 196 252 274]
;  #420 (4, 97.7%) [5 6 7 8 16]
;  #421 (4, 97.8%) [8 12 16 43 54]
;  #422 (4, 97.8%) [14 20 25 93]
;  #423 (4, 97.8%) [8 12 16 25 54]
;  #424 (4, 97.8%) [1 2 7 8 14 24]
;  #425 (4, 97.8%) [12 25 93]
;  #426 (4, 97.8%) [1 4 6 7 8 10 11 12 13 14 15 16 23 64]
;  #427 (4, 97.8%) [10 46]
;  #428 (4, 97.8%) [2 54 56 58]
;  #429 (4, 97.8%) [2 54]
;  #430 (4, 97.8%) [252]
;  #431 (4, 97.8%) [8 66]
;  #432 (4, 97.8%) [1 3 6 20 40]
;  #433 (4, 97.8%) [1 7 8 14 16 20 24 93]
;  #434 (4, 97.9%) [2 20 27]
;  #435 (4, 97.9%) [1 5 6 24 93]
;  #436 (4, 97.9%) [2 19 27]
;  #437 (4, 97.9%) [8 25 65]
;  #438 (4, 97.9%) [8 25 55]
;  #439 (4, 97.9%) [8 25 46]
;  #440 (4, 97.9%) [1 3 6 8 20]
;  #441 (4, 97.9%) [8 25 43 54 55]
;  #442 (4, 97.9%) [8 20 25 93]
;  #443 (4, 97.9%) [2 8 25 93]
;  #444 (4, 97.9%) [2 8 19]
;  #445 (4, 97.9%) [8 16 58 59]
;  #446 (4, 97.9%) [1 5 6 8 93]
;  #447 (4, 98.0%) [1 6 21 24]
;  #448 (4, 98.0%) [1 2 20]
;  #449 (4, 98.0%) [8 16 46 48 55]
;  #450 (4, 98.0%) [2 7 8 59]
;  #451 (4, 98.0%) [1 5 6 8 22 24]
;  #452 (4, 98.0%) [2 7 8 14 16 25]
;  #453 (4, 98.0%) [2 7 8 12 19]
;  #454 (4, 98.0%) [8 16 25 43 54]
;  #455 (4, 98.0%) [8 16 25 43 54 55]
;  #456 (4, 98.0%) [1 2 7 8 12]
;  #457 (4, 98.0%) [2 7 8 10 11 12 13 14 15 16]
;  #458 (4, 98.0%) [8 16 20 25 93]
;  #459 (4, 98.0%) [1 6 10 93]
;  #460 (4, 98.0%) [2 7 8 9 12]
;  #461 (4, 98.1%) [2 6 19]
;  #462 (4, 98.1%) [2 6 8 28]
;  #463 (4, 98.1%) [1 5 6 8 16 67]
;  #464 (4, 98.1%) [8 14 44]
;  #465 (4, 98.1%) [2 6 8]
;  #466 (4, 98.1%) [8 14 23 53]
;  #467 (4, 98.1%) [2 6 7 8 9]
;  #468 (4, 98.1%) [8 14 16 44]
;  #469 (4, 98.1%) [2 5 6 14]
;  #470 (4, 98.1%) [1 6 7 8 16 20 24 93]
;  #471 (4, 98.1%) [2 5 6 7 14 19]
;  #472 (4, 98.1%) [1 6 8 20 28]
;  #473 (4, 98.1%) [2 5 6 7]
;  #474 (4, 98.2%) [1 2 8 14 16 93]
;  #475 (4, 98.2%) [8 12 16 44 55]
;  #476 (4, 98.2%) [1 6 8 18 23]
;  #477 (4, 98.2%) [8 12 16 25 93]
;  #478 (4, 98.2%) [5 6 12 14 25]
;  #479 (4, 98.2%) [8 12 16 25 45 93]
;  #480 (4, 98.2%) [1 34]
;  #481 (4, 98.2%) [8 9 48]
;  #482 (4, 98.2%) [1 2 6 20 36]
;  #483 (4, 98.2%) [1 2 4 7 8 9 12]
;  #484 (4, 98.2%) [7 14]
;  #485 (4, 98.2%) [1 12 24 93 94]
;  #486 (4, 98.2%) [7 12 46 54]
;  #487 (4, 98.3%) [7 8 54]
;  #488 (4, 98.3%) [1 6 8 12 14 16 20 24]
;  #489 (4, 98.3%) [1 5 6 7 14 20 24 93]
;  #490 (4, 98.3%) [1 5 6 7 10 12 14 24 93]
;  #491 (4, 98.3%) [7 8 14 16 25]
;  #492 (4, 98.3%) [7 8 12]
;  #493 (4, 98.3%) [7 8 10]
;  #494 (4, 98.3%) [1 5 6 7 8 12 13 14 16 23 24]
;  #495 (4, 98.3%) [1 8 24 93]
;  #496 (4, 98.3%) [1 8 20 93]
;  #497 (4, 98.3%) [6 15 21]
;  #498 (4, 98.3%) [6 8 93]
;  #499 (4, 98.3%) [1 5 6 7 8 9 12]
;  #500 (4, 98.4%) [6 8 46 62]
;  #501 (4, 98.4%) [6 8 21]
;  #502 (4, 98.4%) [1 6 7 8 20 24 93]
;  #503 (4, 98.4%) [6 8 15 21]
;  #504 (4, 98.4%) [6 8 20]
;  #505 (4, 98.4%) [153 252 274]
;  #506 (4, 98.4%) [146 260 277]
;  #507 (4, 98.4%) [139 196 252]
;  #508 (3, 98.4%) [1 6 7 8 10 12 13 14 16 52]
;  #509 (3, 98.4%) [1 8 14 16 20 93]
;  #510 (3, 98.4%) [111]
;  #511 (3, 98.4%) [5 8 57]
;  #512 (3, 98.4%) [1 8 14 16 20 25 36]
;  #513 (3, 98.4%) [1 4 6 8 13 16]
;  #514 (3, 98.4%) [18]
;  #515 (3, 98.4%) [1 8 10 14 20]
;  #516 (3, 98.5%) [1 2 7 8 12 16 46 55]
;  #517 (3, 98.5%) [17]
;  #518 (3, 98.5%) [4 6 47]
;  #519 (3, 98.5%) [30 62]
;  #520 (3, 98.5%) [1 6 8 18 20]
;  #521 (3, 98.5%) [10 46 54]
;  #522 (3, 98.5%) [10 12 14]
;  #523 (3, 98.5%) [1 5 47]
;  #524 (3, 98.5%) [8 54 55 69]
;  #525 (3, 98.5%) [2 25 93]
;  #526 (3, 98.5%) [8 46 95]
;  #527 (3, 98.5%) [8 46 55]
;  #528 (3, 98.5%) [1 8 16]
;  #529 (3, 98.5%) [8 45]
;  #530 (3, 98.5%) [8 44]
;  #531 (3, 98.5%) [2 19 25 93]
;  #532 (3, 98.5%) [8 26]
;  #533 (3, 98.6%) [2 19 25]
;  #534 (3, 98.6%) [1 6 69 93]
;  #535 (3, 98.6%) [8 25 45 93]
;  #536 (3, 98.6%) [8 20 66]
;  #537 (3, 98.6%) [8 18 48]
;  #538 (3, 98.6%) [1 6 35]
;  #539 (3, 98.6%) [2 8 14 27]
;  #540 (3, 98.6%) [1 6 20 47 93]
;  #541 (3, 98.6%) [8 16 35 46 48]
;  #542 (3, 98.6%) [8 16 35 46]
;  #543 (3, 98.6%) [8 16 25 46 54]
;  #544 (3, 98.6%) [8 14 52 53]
;  #545 (3, 98.6%) [1 2 8 20]
;  #546 (3, 98.6%) [2 5 6 8 16]
;  #547 (3, 98.6%) [2 5 6 8]
;  #548 (3, 98.6%) [1 7]
;  #549 (3, 98.6%) [1 2 8 14 16 20]
;  #550 (3, 98.6%) [8 10 54]
;  #551 (3, 98.7%) [1 20 47 93]
;  #552 (3, 98.7%) [28 62 66]
;  #553 (3, 98.7%) [1 14 25]
;  #554 (3, 98.7%) [1 14 20]
;  #555 (3, 98.7%) [7 21]
;  #556 (3, 98.7%) [1 6 8 12]
;  #557 (3, 98.7%) [1 8 55]
;  #558 (3, 98.7%) [1 8 25 46 55]
;  #559 (3, 98.7%) [6 62]
;  #560 (3, 98.7%) [6 20]
;  #561 (3, 98.7%) [1 8 12 24]
;  #562 (3, 98.7%) [6 7 8 10]
;  #563 (2, 98.7%) [6 8 19]
;  #564 (2, 98.7%) [25 43]
;  #565 (2, 98.7%) [1 8 16 46 93]
;  #566 (2, 98.7%) [5 7 8 47]
;  #567 (2, 98.7%) [6 8 17 47]
;  #568 (2, 98.7%) [8 13 16 44 54 55 56]
;  #569 (2, 98.7%) [1 5 8 16]
;  #570 (2, 98.7%) [6 7 8 13 14 16]
;  #571 (2, 98.7%) [1 5 6 22]
;  #572 (2, 98.8%) [8 14 24]
;  #573 (2, 98.8%) [1 6 8 67]
;  #574 (2, 98.8%) [8 14 16 25 44]
;  #575 (2, 98.8%) [2 25 27]
;  #576 (2, 98.8%) [5 62]
;  #577 (2, 98.8%) [5 12 25 28]
;  #578 (2, 98.8%) [8 46 93]
;  #579 (2, 98.8%) [2 46]
;  #580 (2, 98.8%) [44]
;  #581 (2, 98.8%) [28 35 62]
;  #582 (2, 98.8%) [1 5 6 8 16 46 54]
;  #583 (2, 98.8%) [5 8 55]
;  #584 (2, 98.8%) [1 4 7 8 12]
;  #585 (2, 98.8%) [25 65]
;  #586 (2, 98.8%) [5 6 8 9 12 14]
;  #587 (2, 98.8%) [1 6 8 20 46 54]
;  #588 (2, 98.8%) [1 5 8]
;  #589 (2, 98.8%) [25 28 62]
;  #590 (2, 98.8%) [25 28 43]
;  #591 (2, 98.8%) [5 7]
;  #592 (2, 98.8%) [25 28 35]
;  #593 (2, 98.8%) [5 6 67]
;  #594 (2, 98.8%) [1 7 8 14]
;  #595 (2, 98.8%) [1 5 6 69 93]
;  #596 (2, 98.8%) [19 27]
;  #597 (2, 98.8%) [19]
;  #598 (2, 98.9%) [1 6 14 20 93]
;  #599 (2, 98.9%) [1 6 8 18]
;  #600 (2, 98.9%) [10 25 54]
;  #601 (2, 98.9%) [14 54 56 58]
;  #602 (2, 98.9%) [14 54]
;  #603 (2, 98.9%) [12 14 93]
;  #604 (2, 98.9%) [2 54 56]
;  #605 (2, 98.9%) [8 27]
;  #606 (2, 98.9%) [4 28]
;  #607 (2, 98.9%) [12 25 30]
;  #608 (2, 98.9%) [12 14 25 54 58]
;  #609 (2, 98.9%) [4 6 8 14]
;  #610 (2, 98.9%) [4 6 8]
;  #611 (2, 98.9%) [8 17 65]
;  #612 (2, 98.9%) [1 5 6 28 62 67]
;  #613 (2, 98.9%) [10 25]
;  #614 (2, 98.9%) [9 12 25]
;  #615 (2, 98.9%) [2 46 54]
;  #616 (2, 98.9%) [1 7 8 16 46]
;  #617 (2, 98.9%) [1 5 6 28 46 54 62 67]
;  #618 (2, 98.9%) [8 48 54]
;  #619 (2, 98.9%) [1 4]
;  #620 (2, 98.9%) [2 25 26 27]
;  #621 (2, 98.9%) [2 20 25 93]
;  #622 (2, 98.9%) [2 19 25 27]
;  #623 (2, 98.9%) [2 10 12 14]
;  #624 (2, 98.9%) [1 2 46]
;  #625 (2, 99.0%) [8 25 54]
;  #626 (2, 99.0%) [2 14 28]
;  #627 (2, 99.0%) [8 25 46 54 55]
;  #628 (2, 99.0%) [2 14 25 27]
;  #629 (2, 99.0%) [2 12 14 93]
;  #630 (2, 99.0%) [2 8 59]
;  #631 (2, 99.0%) [2 8 27]
;  #632 (2, 99.0%) [2 8 27 31]
;  #633 (2, 99.0%) [8 17 47]
;  #634 (2, 99.0%) [2 8 26 27]
;  #635 (2, 99.0%) [1 5 6 9]
;  #636 (2, 99.0%) [8 16 59]
;  #637 (2, 99.0%) [25 66]
; searching for minimal number of paths to cover 638 sets Thu Jul 26 14:49:10 2007
; found solution with 71 paths on Thu Jul 26 14:49:10 2007
; estimated size of remaining search space 2
; minimal solution (71 paths) found on Thu Jul 26 14:49:10 2007
;  1 [5212] 2 [870] 4 [307] 5 [2548] 6 [5372] 7 [699] 8 [6528] 9 [5129] 10 [304] 12 [939] 14 [673] 15 [76] 17 [73] 18 [27] 19 [46] 20 [1157] 21 [23] 22 [32] 25 [1299] 26 [19] 27 [41] 28 [216] 30 [9] 31 [6] 33 [212] 34 [21] 35 [32] 44 [31] 46 [529] 47 [315] 48 [92] 54 [382] 55 [293] 56 [55] 58 [22] 62 [12693] 65 [5309] 66 [187] 69 [17] 86 [211] 93 [2574] 94 [2570] 111 [3] 116 [147] 135 [1095] 136 [295] 139 [416] 142 [81] 143 [177] 145 [2684] 146 [3050] 155 [394] 158 [178] 177 [198] 182 [16] 184 [121] 185 [6] 186 [5] 187 [616] 188 [10] 189 [49] 193 [80] 196 [608] 208 [9] 214 [680] 215 [905] 217 [325] 235 [64] 252 [72] 260 [325] 285 [136] 

:begin :instance.

qc_unif_set_pack := *top* &
[ ARGS.SYNSEM.LOCAL.CAT.HEAD.FIN "0" #| 12693 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD "1" #| 6528 |#,
  ARGS.INFLECTED "2" #| 5372 |#,
  ARGS.LMORPH-BIND-TYPE "3" #| 5309 |#,
  ARGS "4" #| 5212 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.ADJ "5" #| 5129 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.COP "6" #| 3050 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.MODIFIED.PERIPH "7" #| 2684 |#,
  ARGS.SYNSEM.LEX "8" #| 2574 |#,
  ARGS.SYNSEM.LOCAL.NUCL "9" #| 2570 |#,
  ARGS.J-NEEDS-AFFIX "10" #| 2548 |#,
  ARGS.SYNSEM.LOCAL.BAR "11" #| 1299 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.UNSAT "12" #| 1157 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MAIN-PRD "13" #| 1095 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL "14" #| 939 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.C-MOD "15" #| 905 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "16" #| 870 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "17" #| 699 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MOD "18" #| 680 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "19" #| 673 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MODUS "20" #| 616 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.UNSAT "21" #| 608 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "22" #| 529 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ "23" #| 416 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE.PNG.PN "24" #| 394 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD "25" #| 382 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.C-MOD "26" #| 325 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.ADJ "27" #| 325 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MARK "28" #| 315 |#,
  ARGS.STEMTYPE "29" #| 307 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "30" #| 304 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FIN "31" #| 295 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC "32" #| 293 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MODUS "33" #| 216 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "34" #| 212 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.BAR "35" #| 211 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.BAR "36" #| 198 |#,
  ARGS.RMORPH-BIND-TYPE "37" #| 187 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VN "38" #| 178 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.EMPTY "39" #| 177 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE "40" #| 147 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS.REST "41" #| 136 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "42" #| 121 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.C-MOD "43" #| 92 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON "44" #| 81 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.LIGHT "45" #| 80 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "46" #| 76 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VN "47" #| 73 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST "48" #| 72 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.FORMAL.AHON "49" #| 64 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "50" #| 55 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.UNSAT "51" #| 49 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "52" #| 46 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "53" #| 41 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.LIGHT "54" #| 32 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.H-TENSE "55" #| 32 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "56" #| 31 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.COP "57" #| 27 |#,
  ARGS.SYNSEM.MODIFIED.PERIPH "58" #| 23 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "59" #| 22 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "60" #| 21 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "61" #| 19 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON "62" #| 17 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "63" #| 16 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1 "64" #| 10 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MAIN-PRD "65" #| 9 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.VN "66" #| 9 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "67" #| 6 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "68" #| 6 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "69" #| 5 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG "70" #| 3 |# ].

:end :instance.

;;
;; quickcheck paths (subsumption)
;;

; traditional paths (max 10000)

:begin :instance.

qc_subs_trad_pack := *top* &
[ ARGS.C-CONT.HOOK.XARG "0" #| 213504.64 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "1" #| 201962.35 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE "2" #| 155528.90 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL "3" #| 116576.90 |#,
  ARGS.C-CONT.HOOK.INDEX.E.TENSE "4" #| 65333.67 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "5" #| 63205.78 |#,
  ARGS.SYNSEM.LOCAL.ARG-S "6" #| 54677.60 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD "7" #| 54045.13 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MODUS "8" #| 47014.44 |#,
  ARGS.SYNSEM.NON-LOCAL.UNDERSPEC_ARG "9" #| 37944.64 |#,
  ARGS.C-CONT.HOOK.INDEX.E.ASPECT "10" #| 37892.62 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MAIN-PRD "11" #| 36414.27 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.ASPECT "12" #| 36240.79 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST "13" #| 32764.45 |#,
  ARGS.RMORPH-BIND-TYPE "14" #| 31988.84 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST "15" #| 30655.92 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.UNSAT "16" #| 29660.36 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.H-TENSE "17" #| 26530.96 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC "18" #| 25727.94 |#,
  ARGS.SYNSEM.LOCAL.CONT "19" #| 20722.86 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.EMPTY "20" #| 19738.72 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.PASS "21" #| 19177.96 |#,
  ARGS.C-CONT.HOOK.INDEX.E.PASS "22" #| 19177.96 |#,
  ARGS.SYNSEM.MODIFIED.PERIPH "23" #| 15761.52 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "24" #| 15202.16 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "25" #| 15155.15 |#,
  ARGS.LMORPH-BIND-TYPE "26" #| 13052.86 |#,
  ARGS.SYNSEM.NON-LOCAL.ROBUST "27" #| 12663.54 |#,
  ARGS.C-CONT.HOOK.INDEX.E.MOOD "28" #| 11640.85 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD "29" #| 11505.77 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "30" #| 11218.57 |#,
  ARGS.C-CONT.HOOK.INDEX "31" #| 11218.57 |#,
  ARGS.SYNSEM.LOCAL.CTXT.C-INDICES.ADDRESSEE "32" #| 9765.15 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "33" #| 7704.38 |#,
  ARGS.DTR.SYNSEM.LOCAL.ARG-S "34" #| 7395.33 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON "35" #| 7207.14 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.LIGHT "36" #| 5944.29 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST "37" #| 5919.62 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX "38" #| 5391.15 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "39" #| 5346.25 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG "40" #| 5139.91 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S "41" #| 4828.48 |#,
  ARGS.SYNSEM.LOCAL.NUCL "42" #| 4729.35 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL "43" #| 4313.12 |#,
  ARGS.SYNSEM.LKEYS.KEYREL "44" #| 4112.53 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.COP "45" #| 3789.41 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.C-MOD "46" #| 3666.40 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MARK "47" #| 3534.72 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL "48" #| 3406.01 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST "49" #| 3403.90 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "50" #| 3385.74 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.FIN "51" #| 3325.95 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD "52" #| 3320.94 |#,
  ARGS.DTR.SYNSEM.LKEYS.KEYREL "53" #| 3312.23 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "54" #| 3271.88 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "55" #| 3067.40 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "56" #| 2899.61 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX "57" #| 2835.57 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.COP-ARG "58" #| 2731.88 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "59" #| 2636.70 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST "60" #| 2592.10 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "61" #| 2528.05 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.ADJ "62" #| 2516.10 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE.PNG.PN "63" #| 2477.78 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPER "64" #| 2440.97 |#,
  ARGS.SYNSEM.LOCAL.CTXT.C-INDICES.SPEAKER "65" #| 2440.97 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "66" #| 2334.85 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN "67" #| 2334.25 |#,
  ARGS.C-CONT.HOOK.XARG.PNG.PN "68" #| 2334.25 |#,
  ARGS.SYNSEM.NON-LOCAL.AFFIX.LIST "69" #| 2306.92 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.LIGHT "70" #| 2304.05 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ "71" #| 2289.07 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL "72" #| 2202.23 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.HONORED "73" #| 2199.39 |#,
  ARGS.SYNSEM.NON-LOCAL.QUE.LAST "74" #| 2168.71 |#,
  ARGS.SYNSEM.NON-LOCAL.QUE.LIST "75" #| 2166.28 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.PTYPE "76" #| 2143.23 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.FIRST.LOCAL.CAT "77" #| 2033.68 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "78" #| 2011.24 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.MODUS "79" #| 1955.10 |#,
  ARGS.SYNSEM.LOCAL.BAR "80" #| 1900.60 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.REST.FIRST "81" #| 1856.33 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST "82" #| 1730.60 |#,
  ARGS.DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "83" #| 1507.40 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX "84" #| 1491.90 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS "85" #| 1466.18 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "86" #| 1390.62 |#,
  ARGS.C-CONT.HOOK.INDEX.PNG.PN "87" #| 1390.62 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT "88" #| 1308.91 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "89" #| 1193.84 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PTYPE "90" #| 1086.36 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.CASE "91" #| 1082.32 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL "92" #| 1067.91 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX "93" #| 1045.59 |#,
  ARGS.SYNSEM.LOCAL.CTXT "94" #| 1033.33 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CONT.HOOK.INDEX "95" #| 960.88 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG "96" #| 797.52 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "97" #| 787.56 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER.E.TENSE "98" #| 771.59 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "99" #| 715.53 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT.HEAD.CASE "100" #| 703.15 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "101" #| 679.06 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.POLARITY "102" #| 673.71 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT "103" #| 654.79 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.QUANTIFIABLE "104" #| 584.65 |#,
  ARGS.DTR "105" #| 556.68 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CONT.HOOK.INDEX "106" #| 555.26 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.E.PASS "107" #| 516.68 |#,
  ARGS.J-NEEDS-AFFIX "108" #| 511.86 |#,
  ARGS.STEM.REST "109" #| 464.05 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON "110" #| 454.74 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.PTYPE "111" #| 442.67 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.OPT "112" #| 431.32 |#,
  ARGS.DTR.DTR.SYNSEM.LOCAL.CAT.HEAD.MODUS "113" #| 430.33 |#,
  ARGS.DTR.SYNSEM.NON-LOCAL.ROBUST "114" #| 425.70 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "115" #| 419.93 |#,
  ARGS.C-CONT.HOOK.XARG.E.ASPECT "116" #| 414.04 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.E.ASPECT "117" #| 414.04 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT.HEAD.PTYPE "118" #| 388.85 |#,
  ARGS.C-CONT.HOOK.XARG.PNG.GEN "119" #| 352.12 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.GEN "120" #| 352.12 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE.PNG.GEN "121" #| 334.42 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST "122" #| 320.90 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL "123" #| 311.40 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST "124" #| 298.29 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS "125" #| 279.90 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.HONORER "126" #| 270.28 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT.HEAD "127" #| 266.75 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS "128" #| 258.65 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON "129" #| 249.73 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS.FIRST "130" #| 242.36 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT "131" #| 232.36 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST "132" #| 228.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS "133" #| 222.18 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VN "134" #| 210.83 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG "135" #| 210.41 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER.E.MOOD "136" #| 200.62 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD "137" #| 198.26 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT "138" #| 195.66 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.CASE "139" #| 169.58 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.PTYPE "140" #| 157.03 |#,
  ARGS.DTR.DTR.SYNSEM.NON-LOCAL.ROBUST "141" #| 152.67 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "142" #| 140.88 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT "143" #| 133.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "144" #| 130.50 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.XARG "145" #| 125.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.E.PASS "146" #| 122.27 |#,
  ARGS.DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.CASE "147" #| 118.66 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.H-TENSE "148" #| 115.46 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.MARK "149" #| 110.57 |#,
  ARGS "150" #| 98.00 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT "151" #| 97.57 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "152" #| 90.93 |#,
  ARGS.IDIOM "153" #| 90.39 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.SMOD "154" #| 84.46 |#,
  ARGS.C-CONT.HOOK.XARG.E.TENSE "155" #| 81.64 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.E.TENSE "156" #| 81.64 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX "157" #| 80.05 |#,
  ARGS.DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT "158" #| 76.83 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD "159" #| 70.83 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON "160" #| 70.76 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.UNSAT "161" #| 67.99 |#,
  ARGS.STEM "162" #| 65.70 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.HONORED "163" #| 58.77 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX "164" #| 52.67 |#,
  ARGS.DTR.SYNSEM.LOCAL.ARG-S.REST "165" #| 52.58 |#,
  ARGS.DTR.STEMTYPE "166" #| 51.25 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "167" #| 48.77 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL "168" #| 45.94 |#,
  ARGS.SYNSEM.NON-LOCAL.QUE "169" #| 43.42 |#,
  ARGS.DTR.RMORPH-BIND-TYPE "170" #| 39.67 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL "171" #| 38.21 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT "172" #| 37.17 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.E.MOOD "173" #| 35.05 |#,
  ARGS.C-CONT.HOOK.XARG.E.MOOD "174" #| 35.05 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0.E.ASPECT "175" #| 31.12 |#,
  ARGS.DTR.DTR.SYNSEM.LOCAL.CAT.HEAD.MARK "176" #| 28.67 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.GEN "177" #| 26.56 |#,
  ARGS.C-CONT.HOOK.INDEX.PNG.GEN "178" #| 26.56 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON "179" #| 24.57 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "180" #| 24.28 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.HONORER "181" #| 23.13 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.E.ASPECT "182" #| 22.78 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "183" #| 22.18 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.E.TENSE "184" #| 15.87 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.FIRST "185" #| 15.47 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.NUCL "186" #| 15.12 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.BAR "187" #| 14.87 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "188" #| 14.29 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN "189" #| 13.32 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON "190" #| 12.54 |#,
  ARGS.SYNSEM "191" #| 12.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "192" #| 11.42 |#,
  ARGS.NEEDS-AFFIX "193" #| 10.90 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL "194" #| 10.31 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.BEARER "195" #| 9.73 |#,
  ARGS.DTR.IDIOM "196" #| 8.33 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL "197" #| 7.37 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "198" #| 7.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT "199" #| 6.10 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEN "200" #| 6.05 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0.E.TENSE "201" #| 6.00 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.POLARITY "202" #| 5.45 |#,
  ARGS.DTR.DTR.IDIOM "203" #| 4.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.NUCL "204" #| 3.54 |#,
  ARGS.SYNSEM.LOCAL.CTXT.C-INDICES.SPEAKER.PNG.GEN "205" #| 2.88 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPER.PNG.GEN "206" #| 2.88 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER.E.MOOD "207" #| 2.17 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON "208" #| 2.14 |#,
  ARGS.DTR.SYNSEM.LOCAL.CTXT "209" #| 2.14 |#,
  ARGS.DTR.J-NEEDS-AFFIX "210" #| 2.00 |#,
  ARGS.DTR.C-CONT.HOOK.XARG "211" #| 1.86 |#,
  ARGS.DTR.SYNSEM.LOCAL.CONT.HOOK.XARG "212" #| 1.86 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.FIRST.HONORER.PNG.GEN "213" #| 1.80 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PTYPE "214" #| 1.63 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.FIRST.BEARER "215" #| 1.45 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST "216" #| 1.40 |#,
  ARGS.DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.FORMAL.SHON "217" #| 1.39 |#,
  ARGS.DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT.HOOK.INDEX "218" #| 1.39 |#,
  ARGS.DTR.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD.CASE "219" #| 1.39 |#,
  ARGS.DTR.SYNSEM.LKEYS.KEYREL.ARG1 "220" #| 1.39 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.E.PASS "221" #| 1.25 |#,
  ARGS.C-CONT.HOOK.XARG.E.PASS "222" #| 1.25 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MARK.FIRST.LOCAL.CAT.HEAD.H-TENSE "223" #| 1.00 |#,
  ARGS.SYNSEM.NON-LOCAL.AFFIX "224" #| 1.00 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.MARK.FIRST.LOCAL.CAT.HEAD.MODUS "225" #| 1.00 |#,
  ARGS.DTR.DTR "226" #| 1.00 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.MARK.FIRST.LOCAL.CAT.HEAD.H-TENSE "227" #| 1.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MARK.FIRST.LOCAL.CAT.HEAD.MODUS "228" #| 1.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT "229" #| 0.93 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.COMPS.FIRST.OPT "230" #| 0.93 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG.PNG.GEN "231" #| 0.92 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEN "232" #| 0.92 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN "233" #| 0.92 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "234" #| 0.92 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.FIRST.HONORED "235" #| 0.90 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "236" #| 0.76 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.FIN "237" #| 0.67 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "238" #| 0.67 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.MOD "239" #| 0.67 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.FIRST.HONORER "240" #| 0.57 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC.FIRST.LOCAL.CAT.HEAD "241" #| 0.53 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.FORMAL.AHON "242" #| 0.53 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.REST "243" #| 0.50 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.SMOD "244" #| 0.33 |#,
  ARGS.DTR.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD "245" #| 0.33 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.J-POSTHEAD "246" #| 0.33 |#,
  ARGS.DTR.SYNSEM.LOCAL.CAT.HEAD.J-SPEC "247" #| 0.33 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.H-TENSE "248" #| 0.21 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.H-TENSE "249" #| 0.21 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.FIRST.BEARER "250" #| 0.20 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST.FIRST.POLARITY "251" #| 0.20 |# ].

:end :instance.

;; set based paths (threshold 90.0%)

; 10625 failing sets, total count 1709176:
;
;  #0 (138547, 8.1%) [37 44]
;  #1 (84030, 13.0%) [116]
;  #2 (82691, 17.9%) [12 37 44]
;  #3 (36878, 20.0%) [37 44 116]
;  #4 (32947, 21.9%) [12]
;  #5 (30846, 23.8%) [12 37 44 116]
;  #6 (26418, 25.3%) [24]
;  #7 (23801, 26.7%) [113 114]
;  #8 (20372, 27.9%) [67 68]
;  #9 (19602, 29.0%) [106]
;  #10 (18106, 30.1%) [28 35 55 67 68]
;  #11 (17134, 31.1%) [28 35 37 44 55 67 68]
;  #12 (14908, 32.0%) [8 67 68]
;  #13 (13127, 32.7%) [37 44 113 114]
;  #14 (12355, 33.5%) [12 37 44 67 68]
;  #15 (12163, 34.2%) [36]
;  #16 (11466, 34.8%) [106 116]
;  #17 (10858, 35.5%) [12 116]
;  #18 (10077, 36.1%) [8 24 67 68]
;  #19 (9488, 36.6%) [28]
;  #20 (9367, 37.2%) [113 114 116]
;  #21 (8843, 37.7%) [8]
;  #22 (8644, 38.2%) [156]
;  #23 (8136, 38.7%) [24 28]
;  #24 (7886, 39.1%) [37 44 113 114 116]
;  #25 (7842, 39.6%) [12 37 44 113 114]
;  #26 (7364, 40.0%) [10 99]
;  #27 (6890, 40.4%) [20 30 37 44]
;  #28 (6820, 40.8%) [20 28 30 35 37 44 55 67 68]
;  #29 (6804, 41.2%) [20 30]
;  #30 (6450, 41.6%) [20 28 30 35 55 67 68]
;  #31 (6330, 42.0%) [12 13 24 37]
;  #32 (6191, 42.3%) [116 191 192]
;  #33 (6113, 42.7%) [66]
;  #34 (6015, 43.0%) [13 20 30 37]
;  #35 (5913, 43.4%) [12 113 114]
;  #36 (5877, 43.7%) [30]
;  #37 (5695, 44.1%) [37 44 66]
;  #38 (5537, 44.4%) [8 24]
;  #39 (5531, 44.7%) [8 37 44]
;  #40 (5515, 45.0%) [37 44 156]
;  #41 (5401, 45.3%) [30 37 44]
;  #42 (5335, 45.7%) [12 67 68]
;  #43 (5233, 46.0%) [10 21 99]
;  #44 (5114, 46.3%) [12 30]
;  #45 (5065, 46.6%) [107 108]
;  #46 (5002, 46.8%) [8 12 37 44]
;  #47 (4846, 47.1%) [37 44 191 192]
;  #48 (4645, 47.4%) [37 44 106]
;  #49 (4610, 47.7%) [21]
;  #50 (4595, 47.9%) [45 66]
;  #51 (4544, 48.2%) [20]
;  #52 (4519, 48.5%) [28 55]
;  #53 (4513, 48.7%) [37 44 67 68]
;  #54 (4445, 49.0%) [37 44 45]
;  #55 (4428, 49.3%) [10 37 44 99]
;  #56 (4408, 49.5%) [24 65 66]
;  #57 (4345, 49.8%) [23 24]
;  #58 (4230, 50.0%) [12 37 44 156]
;  #59 (4067, 50.3%) [191 192]
;  #60 (4017, 50.5%) [22 28 113 114]
;  #61 (4017, 50.7%) [36 65 66]
;  #62 (3999, 51.0%) [75]
;  #63 (3908, 51.2%) [12 13 37 104]
;  #64 (3897, 51.4%) [84 85]
;  #65 (3851, 51.6%) [45]
;  #66 (3798, 51.9%) [22 28 37 44 113 114]
;  #67 (3768, 52.1%) [12 37 44 113 114 116]
;  #68 (3728, 52.3%) [108]
;  #69 (3694, 52.5%) [37 44 45 66]
;  #70 (3651, 52.7%) [64]
;  #71 (3582, 52.9%) [67 68 116]
;  #72 (3514, 53.1%) [12 37 44 67 68 116]
;  #73 (3415, 53.3%) [8 12]
;  #74 (3269, 53.5%) [2]
;  #75 (3230, 53.7%) [20 30 35 37 44 67 68 147]
;  #76 (3218, 53.9%) [28 30 35 37 44 55 67 68]
;  #77 (3182, 54.1%) [8 12 13 24 37]
;  #78 (3132, 54.3%) [65 66 67 68]
;  #79 (3088, 54.5%) [20 30 35 67 68 147]
;  #80 (3009, 54.6%) [110]
;  #81 (2872, 54.8%) [55]
;  #82 (2851, 55.0%) [37 44 116 191 192]
;  #83 (2817, 55.1%) [156 174]
;  #84 (2809, 55.3%) [12 13 36]
;  #85 (2796, 55.5%) [20 30 35 37 44 67 68]
;  #86 (2744, 55.6%) [36 37 44]
;  #87 (2736, 55.8%) [12 13 36 37]
;  #88 (2680, 55.9%) [36 65 66 67 68]
;  #89 (2612, 56.1%) [12 113 114 116]
;  #90 (2574, 56.2%) [14]
;  #91 (2569, 56.4%) [65 66]
;  #92 (2566, 56.5%) [20 30 35 67 68]
;  #93 (2528, 56.7%) [14 20]
;  #94 (2426, 56.8%) [8 36 67 68]
;  #95 (2425, 57.0%) [13 20]
;  #96 (2422, 57.1%) [37 44 149]
;  #97 (2405, 57.3%) [12 37 44 116 191 192]
;  #98 (2394, 57.4%) [8 13 14 20]
;  #99 (2386, 57.5%) [8 13 20 37]
;  #100 (2312, 57.7%) [13 20 30 35 37 68]
;  #101 (2311, 57.8%) [37 44 106 116]
;  #102 (2310, 57.9%) [20 37 44]
;  #103 (2224, 58.1%) [24 28 35 46 47 48 54 62 67 68 76]
;  #104 (2202, 58.2%) [8 24 37 44]
;  #105 (2200, 58.3%) [8 12 13 24]
;  #106 (2186, 58.5%) [8 116]
;  #107 (2173, 58.6%) [12 37 44 191 192]
;  #108 (2167, 58.7%) [28 35 55 67 68 116]
;  #109 (2147, 58.8%) [28 35 37 44 55 67 68 116]
;  #110 (2125, 59.0%) [30 35 66]
;  #111 (2116, 59.1%) [28 36]
;  #112 (2105, 59.2%) [28 30 35 55 67 68]
;  #113 (2081, 59.3%) [37 44 55]
;  #114 (2040, 59.5%) [35 55 67 68]
;  #115 (2020, 59.6%) [125]
;  #116 (2016, 59.7%) [8 36 37 44]
;  #117 (2009, 59.8%) [174]
;  #118 (1944, 59.9%) [8 36]
;  #119 (1924, 60.0%) [21 37 44]
;  #120 (1914, 60.1%) [2 138 139]
;  #121 (1905, 60.3%) [12 84 85]
;  #122 (1892, 60.4%) [12 156]
;  #123 (1878, 60.5%) [37 44 84 85]
;  #124 (1857, 60.6%) [8 37 44 94]
;  #125 (1844, 60.7%) [28 81 107 108]
;  #126 (1840, 60.8%) [28 81 108]
;  #127 (1840, 60.9%) [28 35 46 47 54 55 62 67 68 76]
;  #128 (1837, 61.0%) [13 20 30]
;  #129 (1777, 61.1%) [8 66 67 68]
;  #130 (1763, 61.2%) [24 113 114]
;  #131 (1741, 61.3%) [37 44 105]
;  #132 (1736, 61.4%) [12 30 35 67 68]
;  #133 (1712, 61.5%) [8 37 44 191 192]
;  #134 (1697, 61.6%) [28 35 36 46 47 48 54 62 67 68 76]
;  #135 (1647, 61.7%) [28 30 35 40 41 46 47 54 55 62 66 67 68 76]
;  #136 (1627, 61.8%) [106 113 114]
;  #137 (1626, 61.9%) [84 85 116]
;  #138 (1619, 62.0%) [37 44 156 174]
;  #139 (1615, 62.1%) [30 35 40 41 66]
;  #140 (1608, 62.2%) [20 28 55]
;  #141 (1606, 62.3%) [12 13 37]
;  #142 (1574, 62.4%) [24 35 46 47 48 54 62 67 68 76]
;  #143 (1567, 62.5%) [116 156]
;  #144 (1564, 62.6%) [28 37 44]
;  #145 (1551, 62.7%) [30 35 37 44 67 68 147]
;  #146 (1544, 62.7%) [97 100 101]
;  #147 (1515, 62.8%) [125 174]
;  #148 (1505, 62.9%) [20 28 30]
;  #149 (1502, 63.0%) [37 44 67 68 116]
;  #150 (1482, 63.1%) [20 28 30 37 44]
;  #151 (1475, 63.2%) [12 37 44 84 85]
;  #152 (1419, 63.3%) [30 35 37 44 67 68]
;  #153 (1413, 63.4%) [10 21 37 44 99]
;  #154 (1410, 63.4%) [12 30 37 44]
;  #155 (1407, 63.5%) [8 24 116 152 190 191 192]
;  #156 (1400, 63.6%) [8 12 37 44 116]
;  #157 (1397, 63.7%) [8 116 152 190 191 192]
;  #158 (1380, 63.8%) [24 28 35 46 47 54 55 62 67 68 76]
;  #159 (1378, 63.8%) [12 13 24 37 114]
;  #160 (1378, 63.9%) [24 37 44]
;  #161 (1364, 64.0%) [12 13 24]
;  #162 (1361, 64.1%) [2 7 14]
;  #163 (1359, 64.2%) [10 37 44 99 106]
;  #164 (1359, 64.2%) [8 37 44 116]
;  #165 (1355, 64.3%) [13 37 45]
;  #166 (1348, 64.4%) [8 94]
;  #167 (1334, 64.5%) [2 37 44]
;  #168 (1334, 64.6%) [37 44 55 116]
;  #169 (1319, 64.6%) [55 116]
;  #170 (1316, 64.7%) [109]
;  #171 (1310, 64.8%) [36 113 114]
;  #172 (1307, 64.9%) [8 66]
;  #173 (1299, 64.9%) [28 35 46 47 48 54 62 66 67 68 76]
;  #174 (1296, 65.0%) [28 37 44 45]
;  #175 (1291, 65.1%) [28 81 122]
;  #176 (1279, 65.2%) [14 20 28 55]
;  #177 (1269, 65.2%) [10 21 99 106]
;  #178 (1269, 65.3%) [45 116]
;  #179 (1256, 65.4%) [36 64]
;  #180 (1254, 65.5%) [65]
;  #181 (1253, 65.5%) [35 36 46 47 48 54 62 67 68 76]
;  #182 (1253, 65.6%) [197 206]
;  #183 (1241, 65.7%) [36 50]
;  #184 (1234, 65.8%) [37 44 67 68 156]
;  #185 (1220, 65.8%) [8 12 13 36]
;  #186 (1218, 65.9%) [28 45]
;  #187 (1214, 66.0%) [8 14 36]
;  #188 (1213, 66.0%) [37 44 116 156]
;  #189 (1207, 66.1%) [13 21 23 24]
;  #190 (1203, 66.2%) [113 114 116 191 192]
;  #191 (1193, 66.2%) [155]
;  #192 (1178, 66.3%) [12 13 36 40 114]
;  #193 (1178, 66.4%) [66 75]
;  #194 (1176, 66.5%) [12 67 68 116]
;  #195 (1162, 66.5%) [37 44 113 114 191 192]
;  #196 (1155, 66.6%) [8 24 65 66 67 68]
;  #197 (1154, 66.7%) [8 37 44 66]
;  #198 (1150, 66.7%) [13 20 24 30 35 37 68]
;  #199 (1150, 66.8%) [12 24 30 35 67 68]
;  #200 (1138, 66.9%) [132]
;  #201 (1137, 66.9%) [185]
;  #202 (1134, 67.0%) [36 37 44 113 114]
;  #203 (1126, 67.1%) [14 28 30 35 55 67 68]
;  #204 (1117, 67.1%) [10 99 106]
;  #205 (1117, 67.2%) [106 113 114 116]
;  #206 (1108, 67.3%) [28 35 46 47 48 54 62 67 68 75 76]
;  #207 (1105, 67.3%) [66 67 68]
;  #208 (1104, 67.4%) [65 66 75]
;  #209 (1100, 67.4%) [14 36 40 113 114]
;  #210 (1085, 67.5%) [10 37 44 99 116]
;  #211 (1081, 67.6%) [21 24 113 114]
;  #212 (1080, 67.6%) [123 124]
;  #213 (1049, 67.7%) [12 24 30]
;  #214 (1047, 67.8%) [12 18 24 30]
;  #215 (1038, 67.8%) [12 13 30 36]
;  #216 (1018, 67.9%) [28 35 55 67 68 110]
;  #217 (1016, 67.9%) [14 20 28 30 35 55 67 68]
;  #218 (1015, 68.0%) [30 36 37 44]
;  #219 (1007, 68.1%) [20 37 44 116]
;  #220 (1004, 68.1%) [142]
;  #221 (998, 68.2%) [37 44 142 156]
;  #222 (994, 68.2%) [12 37 44 156 174]
;  #223 (991, 68.3%) [67 68 75]
;  #224 (990, 68.3%) [8 37 44 116 191 192]
;  #225 (990, 68.4%) [116 140]
;  #226 (985, 68.5%) [37 44 45 116]
;  #227 (981, 68.5%) [28 30 35 40 41 66]
;  #228 (948, 68.6%) [13 20 24 30 37]
;  #229 (946, 68.6%) [8 24 140 152 190 191 192]
;  #230 (945, 68.7%) [8 140 152 190 191 192]
;  #231 (942, 68.7%) [36 37 40 44 113 114]
;  #232 (939, 68.8%) [37 44 67 68 94]
;  #233 (937, 68.9%) [35 37 44 55 67 68]
;  #234 (937, 68.9%) [65 116 152 153 190 191 192 193]
;  #235 (935, 69.0%) [12 37 44 67 68 156]
;  #236 (932, 69.0%) [28 37 44 45 116]
;  #237 (928, 69.1%) [8 82]
;  #238 (922, 69.1%) [67 68 106]
;  #239 (920, 69.2%) [35 46 47 54 55 62 67 68 76]
;  #240 (920, 69.2%) [28 36 64]
;  #241 (920, 69.3%) [28 36 50]
;  #242 (920, 69.3%) [8 13 14 20 68]
;  #243 (920, 69.4%) [8 13 37 128]
;  #244 (920, 69.4%) [8 13 20 37 68]
;  #245 (913, 69.5%) [14 30]
;  #246 (908, 69.6%) [116 232 233]
;  #247 (900, 69.6%) [12 13 37 64 104]
;  #248 (898, 69.7%) [37 44 125 174]
;  #249 (894, 69.7%) [106 125]
;  #250 (893, 69.8%) [30 66]
;  #251 (872, 69.8%) [36 65 66 75]
;  #252 (867, 69.9%) [142 156]
;  #253 (865, 69.9%) [12 84 85 116]
;  #254 (856, 70.0%) [22 28 37 44 142 156]
;  #255 (853, 70.0%) [12 37 44 142 156]
;  #256 (849, 70.1%) [13 20 37 114]
;  #257 (843, 70.1%) [37 44 67 68 84 85]
;  #258 (836, 70.2%) [37 44 104]
;  #259 (834, 70.2%) [35 46 47 48 54 62 67 68 76]
;  #260 (834, 70.3%) [24 30 37 44]
;  #261 (831, 70.3%) [8 36 64]
;  #262 (831, 70.4%) [37 44 84 85 116]
;  #263 (828, 70.4%) [14 20 30]
;  #264 (827, 70.5%) [24 65 66 67 68]
;  #265 (827, 70.5%) [64 65 66]
;  #266 (825, 70.6%) [37 44 156 191 192]
;  #267 (824, 70.6%) [28 35 36 46 47 48 54 62 66 67 68 76]
;  #268 (821, 70.6%) [12 13 24 30]
;  #269 (816, 70.7%) [8 36 50]
;  #270 (814, 70.7%) [10 99 116]
;  #271 (811, 70.8%) [2 7 14 37 44]
;  #272 (811, 70.8%) [14 37 44]
;  #273 (811, 70.9%) [12 37 44 116 156]
;  #274 (809, 70.9%) [37 44 113 114 156]
;  #275 (804, 71.0%) [30 35 67 68]
;  #276 (803, 71.0%) [30 35 67 68 147]
;  #277 (796, 71.1%) [20 28 30 35 67 68]
;  #278 (796, 71.1%) [8 37 44 67 68]
;  #279 (794, 71.2%) [22 28 37 44 113 114 116]
;  #280 (794, 71.2%) [20 28 30 35 37 44 67 68]
;  #281 (788, 71.3%) [37 44 152 190 191 192]
;  #282 (786, 71.3%) [12 13 24 37 59]
;  #283 (786, 71.4%) [24 50 59]
;  #284 (786, 71.4%) [13 21 23]
;  #285 (783, 71.4%) [37 44 66 116]
;  #286 (779, 71.5%) [67 68 94]
;  #287 (772, 71.5%) [28 35 37 44 55 67 68 156 174]
;  #288 (767, 71.6%) [8 119 120]
;  #289 (766, 71.6%) [14 28 35 55 67 68]
;  #290 (764, 71.7%) [113 114 156]
;  #291 (764, 71.7%) [13 14 20 114]
;  #292 (761, 71.8%) [35 65 67 68]
;  #293 (761, 71.8%) [28 46 47 54 55 62 67 68 76]
;  #294 (761, 71.8%) [12 37 44 149]
;  #295 (757, 71.9%) [28 37 44 45 191 192]
;  #296 (751, 71.9%) [30 35 40 41 46 47 54 55 62 66 67 68 76]
;  #297 (743, 72.0%) [37 44 174]
;  #298 (736, 72.0%) [2 13 20 37 114]
;  #299 (735, 72.1%) [8 37 44 66 67 68]
;  #300 (730, 72.1%) [28 35 36 46 47 48 54 62 67 68 75 76]
;  #301 (729, 72.1%) [20 30 75]
;  #302 (717, 72.2%) [94]
;  #303 (715, 72.2%) [28 35 55 67 68 156 174]
;  #304 (715, 72.3%) [10 37 44 94 99]
;  #305 (714, 72.3%) [8 64 67 68]
;  #306 (713, 72.4%) [36 75]
;  #307 (705, 72.4%) [28 35 46 47 48 54 62 66 67 68]
;  #308 (704, 72.4%) [8 65 153 193 194 206]
;  #309 (704, 72.5%) [12 191 192]
;  #310 (702, 72.5%) [2 8 37 44 191 192]
;  #311 (701, 72.6%) [20 37 44 156]
;  #312 (701, 72.6%) [37 44 142]
;  #313 (699, 72.6%) [8 65 153 193 194 195]
;  #314 (696, 72.7%) [8 64]
;  #315 (696, 72.7%) [119 120]
;  #316 (696, 72.8%) [12 37 44 174]
;  #317 (694, 72.8%) [8 116 191 192]
;  #318 (691, 72.8%) [8 36 64 67 68]
;  #319 (691, 72.9%) [36 64 65 66]
;  #320 (690, 72.9%) [8 12 13 24 68]
;  #321 (690, 73.0%) [24 35 46 47 54 55 62 67 68 76]
;  #322 (690, 73.0%) [8 128]
;  #323 (690, 73.1%) [8 36 50 67 68]
;  #324 (690, 73.1%) [8 24 37 44 67 68]
;  #325 (690, 73.1%) [36 50 65 66]
;  #326 (689, 73.2%) [37 44 65 152 153 190 191 192 193]
;  #327 (688, 73.2%) [12 18 24 59]
;  #328 (688, 73.3%) [18 20 24 37 44 59]
;  #329 (687, 73.3%) [37 44 118 156]
;  #330 (682, 73.3%) [67 68 156]
;  #331 (678, 73.4%) [113 114 191 192]
;  #332 (676, 73.4%) [12 37 44 45]
;  #333 (672, 73.5%) [12 30 84 85]
;  #334 (670, 73.5%) [12 37 44 67 68 116 156]
;  #335 (661, 73.5%) [25 37 44 45]
;  #336 (659, 73.6%) [28 37 44 116]
;  #337 (656, 73.6%) [22 28 113 114 116]
;  #338 (648, 73.6%) [9 37 44 142 156]
;  #339 (647, 73.7%) [45 106]
;  #340 (644, 73.7%) [25 35 43 46 47 48 54 55 62 67 68]
;  #341 (644, 73.8%) [18 20 24 30 37 44]
;  #342 (644, 73.8%) [14 30 59]
;  #343 (642, 73.8%) [12 37 44 84 85 116]
;  #344 (638, 73.9%) [20 75]
;  #345 (638, 73.9%) [37 44 140 152 190 191 192]
;  #346 (634, 73.9%) [28 30 35 66]
;  #347 (633, 74.0%) [12 45]
;  #348 (633, 74.0%) [8 13 20]
;  #349 (632, 74.1%) [128]
;  #350 (628, 74.1%) [12 13 36 37 114 144]
;  #351 (628, 74.1%) [2 113 114 144]
;  #352 (628, 74.2%) [2 36 113 114 144]
;  #353 (628, 74.2%) [2 36 113 114]
;  #354 (628, 74.2%) [36 113 114 144]
;  #355 (627, 74.3%) [12 13 37 40]
;  #356 (623, 74.3%) [35 67 68]
;  #357 (621, 74.3%) [28 30 46 47 48 54 62 66 67 68 76]
;  #358 (621, 74.4%) [45 84 85 161]
;  #359 (621, 74.4%) [37 44 50]
;  #360 (615, 74.5%) [13 18 23 24 59]
;  #361 (612, 74.5%) [37 44 116 149]
;  #362 (608, 74.5%) [12 13 24 114]
;  #363 (608, 74.6%) [28 35 37 44 46 47 48 54 62 66 67 68]
;  #364 (608, 74.6%) [24 37 44 113 114]
;  #365 (608, 74.6%) [2 24 113 114]
;  #366 (607, 74.7%) [119 120 123 124]
;  #367 (605, 74.7%) [24 75]
;  #368 (603, 74.7%) [45 106 116]
;  #369 (602, 74.8%) [20 28]
;  #370 (602, 74.8%) [37 44 66 106 116]
;  #371 (599, 74.8%) [14 20 50]
;  #372 (598, 74.9%) [12 13]
;  #373 (594, 74.9%) [21 106]
;  #374 (593, 75.0%) [20 30 37 44 75]
;  #375 (592, 75.0%) [35 37 44 55 67 68 191 192]
;  #376 (590, 75.0%) [67 68 84 85]
;  #377 (588, 75.1%) [8 13 14 20 50]
;  #378 (576, 75.1%) [13 35 37 45 68]
;  #379 (576, 75.1%) [13 20 30 35 68]
;  #380 (563, 75.2%) [14 30 35 67 68 147]
;  #381 (560, 75.2%) [37 44 97 100 101]
;  #382 (559, 75.2%) [28 35 55 67 68 106]
;  #383 (554, 75.3%) [8 36 65 66 67 68]
;  #384 (550, 75.3%) [2 36 37 44 113 114]
;  #385 (548, 75.3%) [30 35 66 75]
;  #386 (546, 75.3%) [28 81]
;  #387 (541, 75.4%) [8 12 13 36 37]
;  #388 (540, 75.4%) [116 152 190 191 192]
;  #389 (538, 75.4%) [116 156 232 233]
;  #390 (537, 75.5%) [8 37 44 94 106]
;  #391 (533, 75.5%) [8 33 132]
;  #392 (532, 75.5%) [12 37 44 125 174]
;  #393 (531, 75.6%) [10 21 99 106 116]
;  #394 (529, 75.6%) [42]
;  #395 (527, 75.6%) [37 44 45 66 116]
;  #396 (522, 75.7%) [9 12 22 35 37 44 51 84 85 147]
;  #397 (519, 75.7%) [28 35 46 47 48 54 62 67 68 76]
;  #398 (519, 75.7%) [10 21 37 44 99 106]
;  #399 (516, 75.8%) [2 21 24 113 114]
;  #400 (516, 75.8%) [9 12 22 35 37 44 51 55 84 85]
;  #401 (515, 75.8%) [9 12 22 28 35 37 44 51 55 84 85]
;  #402 (514, 75.8%) [67 68 116 156]
;  #403 (511, 75.9%) [10 12 37 44 99]
;  #404 (511, 75.9%) [9 12 22 28 35 37 44 51 84 85]
;  #405 (509, 75.9%) [45 67 68 84 85]
;  #406 (508, 76.0%) [9 12 22 35 51 55 84 85]
;  #407 (508, 76.0%) [9 12 22 35 51 84 85 147]
;  #408 (508, 76.0%) [9 12 22 28 35 51 55 84 85]
;  #409 (508, 76.1%) [9 12 22 28 35 51 84 85]
;  #410 (506, 76.1%) [12 37 44 113 114 191 192]
;  #411 (504, 76.1%) [8 25 37 44 67 68]
;  #412 (503, 76.1%) [31 203 204]
;  #413 (503, 76.2%) [28 37 44 191 192]
;  #414 (501, 76.2%) [10 12 99]
;  #415 (501, 76.2%) [156 191 192]
;  #416 (500, 76.3%) [12 13 37 112]
;  #417 (500, 76.3%) [67 68 106 116]
;  #418 (499, 76.3%) [111]
;  #419 (497, 76.3%) [37 44 67 68 116 156]
;  #420 (495, 76.4%) [28 35 37 44 55 67 68 125 174]
;  #421 (492, 76.4%) [10 37 44 99 106 116]
;  #422 (492, 76.4%) [97 100 101 116]
;  #423 (490, 76.5%) [45 84 85]
;  #424 (489, 76.5%) [67 68 156 174]
;  #425 (487, 76.5%) [28 35 45 55 67 68 84 85]
;  #426 (486, 76.5%) [8 191 192]
;  #427 (485, 76.6%) [12 116 191 192]
;  #428 (481, 76.6%) [24 65 140 152 153 190 191 192 193]
;  #429 (480, 76.6%) [35 37 44 55 67 68 116]
;  #430 (480, 76.7%) [123 124 155]
;  #431 (480, 76.7%) [66 106]
;  #432 (479, 76.7%) [24 116 140]
;  #433 (479, 76.7%) [14 20 28]
;  #434 (478, 76.8%) [28 81 109]
;  #435 (478, 76.8%) [28 64]
;  #436 (478, 76.8%) [28 35 46 47 48 54 62 64 67 68 76]
;  #437 (478, 76.9%) [2 8 140 152 190 191 192]
;  #438 (478, 76.9%) [12 37 44 84 85 156]
;  #439 (477, 76.9%) [2 8 24 140 152 190 191 192]
;  #440 (475, 76.9%) [28 35 55 67 68 125 174]
;  #441 (475, 77.0%) [10 21 99 116]
;  #442 (474, 77.0%) [24 65 116 152 153 190 191 192 193]
;  #443 (474, 77.0%) [100 101]
;  #444 (473, 77.0%) [2 8 116 152 190 191 192]
;  #445 (473, 77.1%) [2 8 24 116 152 190 191 192]
;  #446 (472, 77.1%) [2 28 37 44 45]
;  #447 (471, 77.1%) [8 104 118 140 152 190 191 192]
;  #448 (471, 77.2%) [14 20 30 35 67 68 147]
;  #449 (470, 77.2%) [13 37 45 128]
;  #450 (467, 77.2%) [37 44 185]
;  #451 (466, 77.2%) [8 37 44 152 190 191 192]
;  #452 (464, 77.3%) [8 12 13 37 64 104]
;  #453 (464, 77.3%) [8 24 65 153 193 194 195]
;  #454 (462, 77.3%) [37 44 116 152 190 191 192]
;  #455 (461, 77.3%) [10 21 99 123 124]
;  #456 (461, 77.4%) [28 35 36 46 47 48 54 62 64 67 68 76]
;  #457 (461, 77.4%) [12 116 156]
;  #458 (460, 77.4%) [35 67 68 128]
;  #459 (460, 77.5%) [8 12 13 36 40 68]
;  #460 (460, 77.5%) [30 35 40 41 66 67 68]
;  #461 (460, 77.5%) [30 35 40 41 67 68]
;  #462 (460, 77.5%) [30 35 37 40 44 67 68]
;  #463 (460, 77.6%) [12 13 30 36 40 48 55]
;  #464 (460, 77.6%) [28 35 36 46 47 50 54 55 62 67 68 76]
;  #465 (460, 77.6%) [28 35 36 46 47 54 55 62 64 67 68 76]
;  #466 (460, 77.6%) [28 35 36 46 47 54 55 62 67 68 76]
;  #467 (460, 77.7%) [28 35 36 46 47 48 50 54 62 67 68 76]
;  #468 (460, 77.7%) [8 36 37 44 67 68]
;  #469 (460, 77.7%) [13 35 37 45 68 128]
;  #470 (460, 77.8%) [8 14 36 67 68]
;  #471 (460, 77.8%) [8 13 37]
;  #472 (460, 77.8%) [8 13 14 68 128]
;  #473 (460, 77.8%) [8 13 14 128]
;  #474 (460, 77.9%) [36 48 50 55]
;  #475 (460, 77.9%) [36 48 55]
;  #476 (460, 77.9%) [36 48 55 64]
;  #477 (460, 77.9%) [36 37 44 48 55]
;  #478 (459, 78.0%) [14 30 35 67 68]
;  #479 (458, 78.0%) [9 12 22 35 37 44 45 51 67 68 147]
;  #480 (458, 78.0%) [9 12 22 35 37 44 45 51 55 67 68]
;  #481 (457, 78.0%) [28 35 55]
;  #482 (456, 78.1%) [22 28 37 44 116 142 156]
;  #483 (455, 78.1%) [8 12 21 37 44]
;  #484 (455, 78.1%) [106 156]
;  #485 (454, 78.2%) [12 37 44 97 100 101]
;  #486 (453, 78.2%) [9 37 44 118 142 156]
;  #487 (452, 78.2%) [9 12 22 28 35 37 44 45 51 67 68]
;  #488 (452, 78.2%) [9 12 22 28 35 37 44 45 51 55 67 68]
;  #489 (451, 78.3%) [37 44 113 114 116 191 192]
;  #490 (451, 78.3%) [37 44 66 106]
;  #491 (449, 78.3%) [28 35 55 67 68 132]
;  #492 (449, 78.3%) [18 21 37 44 84 85 142]
;  #493 (445, 78.4%) [22 28 142 156]
;  #494 (445, 78.4%) [12 84 85 156]
;  #495 (444, 78.4%) [8 37 44 156]
;  #496 (443, 78.4%) [12 113 114 156]
;  #497 (440, 78.5%) [8 156]
;  #498 (440, 78.5%) [12 37 44 113 114 156]
;  #499 (437, 78.5%) [28 37 44 45 116 191 192]
;  #500 (436, 78.5%) [28 37 44 152 190 191 192]
;  #501 (436, 78.6%) [37 44 116 232 233]
;  #502 (433, 78.6%) [9 12 22 35 45 51 67 68 147]
;  #503 (433, 78.6%) [8 118 191 192]
;  #504 (433, 78.6%) [18 84 85]
;  #505 (432, 78.7%) [21 116]
;  #506 (432, 78.7%) [2 14 37 44 59 140 142 153 156 169 190 191 192 198 199 202]
;  #507 (431, 78.7%) [140 194 195 203 205]
;  #508 (431, 78.7%) [74 75 121]
;  #509 (427, 78.8%) [9 12 22 35 45 51 55 67 68]
;  #510 (425, 78.8%) [8 25 66]
;  #511 (424, 78.8%) [9 12 22 28 35 45 51 55 67 68]
;  #512 (423, 78.8%) [8 67 68 148]
;  #513 (422, 78.9%) [8 94 106]
;  #514 (422, 78.9%) [66 106 116]
;  #515 (421, 78.9%) [2 37 44 116]
;  #516 (420, 78.9%) [10 94 99]
;  #517 (419, 79.0%) [8 12 13 36 37 104]
;  #518 (419, 79.0%) [2 37 44 156 191 192]
;  #519 (419, 79.0%) [12 113 114 191 192]
;  #520 (418, 79.0%) [8 12 13 36 64]
;  #521 (418, 79.1%) [2 7 37 44]
;  #522 (418, 79.1%) [9 12 22 28 35 45 51 67 68]
;  #523 (418, 79.1%) [2 37 40 44 138 139 140]
;  #524 (418, 79.1%) [2 37 40 44 140 141]
;  #525 (418, 79.2%) [66 116]
;  #526 (418, 79.2%) [37 40 44 140 141]
;  #527 (417, 79.2%) [8 116 140 152 190 191 192]
;  #528 (417, 79.2%) [45 113 114]
;  #529 (414, 79.3%) [8 12 13 36 37 64 104]
;  #530 (414, 79.3%) [10 99 106 116]
;  #531 (414, 79.3%) [14 20 30 35 67 68]
;  #532 (414, 79.3%) [13 18 23 59]
;  #533 (412, 79.4%) [24 140 194 195 203 205]
;  #534 (411, 79.4%) [10 99 123 124]
;  #535 (410, 79.4%) [35 55 67 68 117]
;  #536 (410, 79.4%) [18 21 84 85 142]
;  #537 (410, 79.5%) [12 37 44 67 68 116 191 192]
;  #538 (409, 79.5%) [8 36 37 44 64 104]
;  #539 (408, 79.5%) [28 30 37 44]
;  #540 (408, 79.5%) [8 36 37 44 50 104]
;  #541 (407, 79.6%) [21 116 232 233]
;  #542 (405, 79.6%) [66 74 75]
;  #543 (403, 79.6%) [8 25 37 44 66]
;  #544 (399, 79.6%) [35 37 44 67 68 191 192]
;  #545 (399, 79.6%) [2 8 65 153 193 194 195 203]
;  #546 (397, 79.7%) [37 42 44 191 192]
;  #547 (396, 79.7%) [24 28 35 46 47 48 54 62 66 67 68 76]
;  #548 (396, 79.7%) [84 85 156]
;  #549 (395, 79.7%) [37 44 111]
;  #550 (394, 79.8%) [21 123 124]
;  #551 (393, 79.8%) [24 37 44 59]
;  #552 (393, 79.8%) [23 24 37 44 59]
;  #553 (393, 79.8%) [37 44 110 118]
;  #554 (391, 79.9%) [12 21 37 44]
;  #555 (390, 79.9%) [12 13 37 63 104]
;  #556 (389, 79.9%) [22 28 37 44 118 142 156 225]
;  #557 (388, 79.9%) [2 8 65 153 193 194 195]
;  #558 (385, 79.9%) [23 24 113 114]
;  #559 (385, 80.0%) [12 37 44 67 68 156 174]
;  #560 (382, 80.0%) [28 30 35 41 55 67 68]
;  #561 (382, 80.0%) [24 65 66 75]
;  #562 (382, 80.0%) [37 44 118]
;  #563 (381, 80.1%) [8 110]
;  #564 (380, 80.1%) [24 66 75]
;  #565 (380, 80.1%) [18 84 85 142]
;  #566 (379, 80.1%) [116 174]
;  #567 (378, 80.1%) [30 40 41]
;  #568 (378, 80.2%) [30 40 41 66]
;  #569 (377, 80.2%) [26 67 68 126]
;  #570 (377, 80.2%) [8 94 110]
;  #571 (376, 80.2%) [37 44 48 55]
;  #572 (375, 80.3%) [65 140 152 153 190 191 192 193]
;  #573 (374, 80.3%) [24 28 35 46 47 48 54 62 67 68 75 76]
;  #574 (374, 80.3%) [84 85 106 116]
;  #575 (374, 80.3%) [8 12 37 44 125 174]
;  #576 (373, 80.3%) [140 194 205 206]
;  #577 (373, 80.4%) [37 44 155]
;  #578 (371, 80.4%) [30 37 40 44]
;  #579 (369, 80.4%) [2 116]
;  #580 (368, 80.4%) [37 44 45 106]
;  #581 (367, 80.5%) [31]
;  #582 (367, 80.5%) [24 67 68 102]
;  #583 (366, 80.5%) [9 12 22 35 37 44 45 51 55 67 68 116]
;  #584 (366, 80.5%) [9 12 22 35 37 44 45 51 67 68 116 147]
;  #585 (364, 80.5%) [9 12 22 28 35 37 44 45 51 67 68 116]
;  #586 (364, 80.6%) [9 12 22 28 35 37 44 45 51 55 67 68 116]
;  #587 (363, 80.6%) [36 139]
;  #588 (362, 80.6%) [8 12 13 36 40]
;  #589 (362, 80.6%) [37 42 44]
;  #590 (360, 80.6%) [140 152 190 191 192]
;  #591 (359, 80.7%) [8 12 37 44 67 68 116]
;  #592 (358, 80.7%) [18 35]
;  #593 (356, 80.7%) [8 12 37 44 156]
;  #594 (354, 80.7%) [8 21 67 68 117]
;  #595 (354, 80.7%) [12 37 44 67 68 148 149]
;  #596 (354, 80.8%) [37 44 45 66 106 116]
;  #597 (352, 80.8%) [37 44 45 106 116]
;  #598 (350, 80.8%) [30 41]
;  #599 (349, 80.8%) [21 156]
;  #600 (349, 80.9%) [50]
;  #601 (347, 80.9%) [14 20 28 50 55]
;  #602 (346, 80.9%) [2 7 14 84 85]
;  #603 (346, 80.9%) [8 37 44 84 85]
;  #604 (346, 80.9%) [8 24 75 116 152 190 191 192]
;  #605 (346, 81.0%) [8 24 66 75 116 152 190 191 192]
;  #606 (345, 81.0%) [33 65 66 132 133 134]
;  #607 (345, 81.0%) [12 13 24 30 35 68]
;  #608 (345, 81.0%) [26 65 66 126 127 129 130 131]
;  #609 (345, 81.0%) [24 30 35 37 44 67 68]
;  #610 (345, 81.1%) [8 126 127]
;  #611 (345, 81.1%) [67 68 126]
;  #612 (345, 81.1%) [65 66 133 134]
;  #613 (345, 81.1%) [65 66 126 127]
;  #614 (345, 81.1%) [12 37 44 45 116]
;  #615 (344, 81.2%) [64 65 66 67 68]
;  #616 (342, 81.2%) [2 140 194 195 203 205]
;  #617 (342, 81.2%) [14 37 44 156 191 192]
;  #618 (341, 81.2%) [8 21 37 44 84 85]
;  #619 (340, 81.2%) [37 44 67 68 106]
;  #620 (339, 81.3%) [12 37 44 113 114 116 191 192]
;  #621 (336, 81.3%) [28 35 37 44 55 67 68 191 192]
;  #622 (336, 81.3%) [7 14]
;  #623 (336, 81.3%) [65 153 193 194 195]
;  #624 (336, 81.3%) [37 44 65 153 193 194 195]
;  #625 (335, 81.4%) [37 44 84 85 156]
;  #626 (334, 81.4%) [61 168]
;  #627 (330, 81.4%) [8 42]
;  #628 (330, 81.4%) [8 37 44 67 68 116]
;  #629 (329, 81.4%) [51]
;  #630 (326, 81.4%) [21 36]
;  #631 (326, 81.5%) [37 44 100 101]
;  #632 (325, 81.5%) [12 37 44 67 68 84 85]
;  #633 (324, 81.5%) [8 75 116 152 190 191 192]
;  #634 (324, 81.5%) [8 66 75 116 152 190 191 192]
;  #635 (324, 81.5%) [37 44 197 206]
;  #636 (324, 81.6%) [12 30 37 44 84 85]
;  #637 (323, 81.6%) [18 37 44 84 85 142]
;  #638 (323, 81.6%) [8 37 42 44]
;  #639 (323, 81.6%) [46 47 54 55 62 67 68 76]
;  #640 (322, 81.6%) [13 68 102]
;  #641 (321, 81.7%) [116 156 174]
;  #642 (319, 81.7%) [9 12 22 35 37 44 51 84 85 116 147]
;  #643 (319, 81.7%) [9 12 22 35 37 44 51 55 84 85 116]
;  #644 (319, 81.7%) [9 12 22 28 35 37 44 51 84 85 116]
;  #645 (319, 81.7%) [9 12 22 28 35 37 44 51 55 84 85 116]
;  #646 (319, 81.7%) [45 125]
;  #647 (318, 81.8%) [2 14 23 152 153 190 191 192]
;  #648 (317, 81.8%) [35 67 68 116 191 192]
;  #649 (317, 81.8%) [2 8 118 140 152 190 191 192]
;  #650 (317, 81.8%) [2 8 37 44 152 190 191 192]
;  #651 (316, 81.8%) [35 37 44 55 67 68 152 190 191 192]
;  #652 (316, 81.9%) [30 46 47 48 54 62 66 67 68 76]
;  #653 (316, 81.9%) [37 44 67 68 84 85 116]
;  #654 (315, 81.9%) [2 37 44 191 192]
;  #655 (315, 81.9%) [12 156 174]
;  #656 (314, 81.9%) [12 13 37 114 144]
;  #657 (314, 82.0%) [12 13 37 40 114]
;  #658 (314, 82.0%) [12 13 36 37 40 114]
;  #659 (314, 82.0%) [23 40 113 114]
;  #660 (314, 82.0%) [142 156 174]
;  #661 (314, 82.0%) [2 36 37 40 44 113 114]
;  #662 (314, 82.0%) [40 113 114]
;  #663 (314, 82.1%) [8 12 37 44 116 232 233]
;  #664 (313, 82.1%) [14 50]
;  #665 (313, 82.1%) [14 20 37 44 156]
;  #666 (313, 82.1%) [12 37 44 97 100 101 116]
;  #667 (312, 82.1%) [8 25 37 44]
;  #668 (310, 82.2%) [8 37 42 44 191 192]
;  #669 (309, 82.2%) [20 37 44 116 156]
;  #670 (308, 82.2%) [28 59 116]
;  #671 (308, 82.2%) [12 84 85 116 156]
;  #672 (306, 82.2%) [12 37 44 84 85 116 156]
;  #673 (305, 82.2%) [30 75]
;  #674 (305, 82.3%) [9 37 44 142 156 191 192]
;  #675 (305, 82.3%) [253 254]
;  #676 (304, 82.3%) [28 35 37 44 50 55 67 68]
;  #677 (304, 82.3%) [8 102 119 120]
;  #678 (302, 82.3%) [56]
;  #679 (301, 82.4%) [30 37 44 84 85]
;  #680 (301, 82.4%) [139]
;  #681 (301, 82.4%) [13 18 20 24 30 37]
;  #682 (300, 82.4%) [8 156 174]
;  #683 (300, 82.4%) [123 124 155 236 238 239]
;  #684 (299, 82.4%) [12 37 44 45 156]
;  #685 (298, 82.5%) [21 106 116]
;  #686 (298, 82.5%) [66 67 68 75]
;  #687 (297, 82.5%) [8 12 37 44 156 174]
;  #688 (296, 82.5%) [14 156]
;  #689 (295, 82.5%) [37 44 191 192 201]
;  #690 (294, 82.5%) [22 28 37 44 142 156 185]
;  #691 (294, 82.6%) [116 185]
;  #692 (294, 82.6%) [14 20 191 192]
;  #693 (294, 82.6%) [14 20 37 44 156 191 192]
;  #694 (294, 82.6%) [37 44 45 66 106]
;  #695 (293, 82.6%) [28 37 44 59 116]
;  #696 (293, 82.6%) [106 119 120 123 124]
;  #697 (293, 82.7%) [12 97 100 101]
;  #698 (293, 82.7%) [12 45 116]
;  #699 (291, 82.7%) [67 68 97 100 101]
;  #700 (290, 82.7%) [8 10 99]
;  #701 (290, 82.7%) [21 37 44 106]
;  #702 (290, 82.7%) [21 36 113 114]
;  #703 (290, 82.8%) [37 44 113 114 174]
;  #704 (289, 82.8%) [28 35 45 46 47 48 54 62 67 68]
;  #705 (288, 82.8%) [28 37 44 55 59 116]
;  #706 (288, 82.8%) [14 191 192]
;  #707 (287, 82.8%) [8 125 174]
;  #708 (287, 82.8%) [2 65 140 152 153 190 191 192 193]
;  #709 (287, 82.9%) [20 37 44 191 192]
;  #710 (287, 82.9%) [20 37 44 156 191 192]
;  #711 (287, 82.9%) [8 26 126]
;  #712 (287, 82.9%) [42 116 191 192]
;  #713 (287, 82.9%) [8 12 116]
;  #714 (286, 82.9%) [37 44 106 113 114]
;  #715 (283, 83.0%) [30 37 44 75]
;  #716 (280, 83.0%) [28 35 37 44 55 67 68 156]
;  #717 (279, 83.0%) [8 152 190 191 192]
;  #718 (279, 83.0%) [8 24 152 190 191 192]
;  #719 (278, 83.0%) [8 37 44 106]
;  #720 (277, 83.0%) [8 24 116 140 152 190 191 192]
;  #721 (276, 83.1%) [8 12 21 37 44 116 232 233]
;  #722 (276, 83.1%) [23]
;  #723 (276, 83.1%) [65 153 193 194 206]
;  #724 (276, 83.1%) [37 44 65 153 193 194 206]
;  #725 (275, 83.1%) [25 45]
;  #726 (275, 83.1%) [12 67 68 84 85]
;  #727 (274, 83.2%) [28 30]
;  #728 (274, 83.2%) [8 24 65 140 153 193 203 205]
;  #729 (273, 83.2%) [48 55]
;  #730 (273, 83.2%) [12 45 156]
;  #731 (272, 83.2%) [113 114 253 254]
;  #732 (270, 83.2%) [21 37 44 116 232 233]
;  #733 (270, 83.3%) [12 37 44 116 142 156]
;  #734 (269, 83.3%) [37 44 97 100 101 116]
;  #735 (268, 83.3%) [9 142 156]
;  #736 (267, 83.3%) [37 44 94]
;  #737 (266, 83.3%) [10 37 44 94 99 106]
;  #738 (266, 83.3%) [2 14 37 44]
;  #739 (266, 83.3%) [37 44 67 68 118 156]
;  #740 (265, 83.4%) [14 67 68 156]
;  #741 (264, 83.4%) [35 37 44 55 67 68 140 152 190 191 192]
;  #742 (264, 83.4%) [113 114 174]
;  #743 (263, 83.4%) [35 46 47 48 54 62 64 67 68 76]
;  #744 (263, 83.4%) [116 123 124 238 239]
;  #745 (263, 83.4%) [13 28]
;  #746 (263, 83.5%) [45 66 106]
;  #747 (262, 83.5%) [18 37 44 84 85]
;  #748 (262, 83.5%) [14 28 55]
;  #749 (261, 83.5%) [18]
;  #750 (261, 83.5%) [14 20 28 30 35 50 55 67 68]
;  #751 (261, 83.5%) [45 84 85 116]
;  #752 (260, 83.5%) [2 8 21 67 68 117 138 139]
;  #753 (260, 83.6%) [8 25 67 68]
;  #754 (260, 83.6%) [12 113 114 174]
;  #755 (260, 83.6%) [12 37 44 113 114 174]
;  #756 (259, 83.6%) [28 30 35 37 44 67 68]
;  #757 (259, 83.6%) [8 116 118 191 192]
;  #758 (258, 83.6%) [67 68 148]
;  #759 (257, 83.7%) [22 28 35 37 44 45 67 68 191 192]
;  #760 (257, 83.7%) [2 8 37 44 116 191 192]
;  #761 (255, 83.7%) [22]
;  #762 (255, 83.7%) [12 37 44 116 149]
;  #763 (254, 83.7%) [110 118 191 192]
;  #764 (253, 83.7%) [28 35 37 44 45 46 47 48 54 62 67 68]
;  #765 (253, 83.7%) [67 68 116 191 192]
;  #766 (252, 83.8%) [28 35 55 67 68 156]
;  #767 (252, 83.8%) [2 37 44 67 68 191 192]
;  #768 (252, 83.8%) [97]
;  #769 (252, 83.8%) [8 25 66 67 68]
;  #770 (252, 83.8%) [36 200]
;  #771 (250, 83.8%) [67 68 191 192]
;  #772 (250, 83.8%) [37 44 67 68 191 192]
;  #773 (249, 83.9%) [28 35 37 44 45 55 67 68 116]
;  #774 (249, 83.9%) [25 28 35 37 44 45 46 47 48 54 62 66 67 68]
;  #775 (246, 83.9%) [9 116 142 156]
;  #776 (246, 83.9%) [2 138]
;  #777 (245, 83.9%) [28 55 59 116]
;  #778 (245, 83.9%) [20 28 30 35 37 44 50 55 67 68]
;  #779 (245, 83.9%) [2 24 206]
;  #780 (244, 84.0%) [8 66 67 68 148]
;  #781 (244, 84.0%) [20 28 30 35 55 67 68 75]
;  #782 (243, 84.0%) [9 37 44 116 142 156]
;  #783 (243, 84.0%) [22 28 37 44 113 114 116 191 192]
;  #784 (242, 84.0%) [22 28 45]
;  #785 (242, 84.0%) [8 24 75 140 152 190 191 192]
;  #786 (242, 84.0%) [8 24 66 75 140 152 190 191 192]
;  #787 (242, 84.1%) [42 116]
;  #788 (242, 84.1%) [37 44 67 68 84 85 156]
;  #789 (241, 84.1%) [8 31 37 44 191 192]
;  #790 (241, 84.1%) [65 104 118 140 152 153 190 191 192 193]
;  #791 (241, 84.1%) [2 24 116 140]
;  #792 (240, 84.1%) [21 65 66]
;  #793 (240, 84.1%) [37 44 113 114 156 174]
;  #794 (239, 84.2%) [24 206]
;  #795 (239, 84.2%) [8 67 68 106]
;  #796 (239, 84.2%) [106 113 114 125]
;  #797 (239, 84.2%) [8 31 37 44 152 179 180 190 191 192 207]
;  #798 (239, 84.2%) [8 31 64 116 152 170 180 190 191 192]
;  #799 (239, 84.2%) [8 25 37 44 66 67 68]
;  #800 (239, 84.2%) [2 24 204 206]
;  #801 (239, 84.3%) [2 24 197]
;  #802 (238, 84.3%) [31 197 206 207]
;  #803 (238, 84.3%) [28 35 37 44 55 67 68 106]
;  #804 (238, 84.3%) [152]
;  #805 (238, 84.3%) [8 24 65 153 193 194 195 203]
;  #806 (238, 84.3%) [8 24 42 65 153 193 194 206]
;  #807 (238, 84.3%) [37 44 104 118 140]
;  #808 (238, 84.4%) [8 12 119 120]
;  #809 (237, 84.4%) [31 64 197 206]
;  #810 (237, 84.4%) [24 197]
;  #811 (237, 84.4%) [24 42 65 116 152 153 190 191 192 193]
;  #812 (237, 84.4%) [21 36 65 66 113 114]
;  #813 (237, 84.4%) [8 37 44 67 68 148]
;  #814 (237, 84.4%) [2 24 197 203]
;  #815 (236, 84.5%) [8 75 140 152 190 191 192]
;  #816 (236, 84.5%) [8 66 75 140 152 190 191 192]
;  #817 (236, 84.5%) [37 44 116 185]
;  #818 (236, 84.5%) [2 13 14 20 114]
;  #819 (235, 84.5%) [8 12 21 37 44 84 85]
;  #820 (235, 84.5%) [2 8 152 190 191 192]
;  #821 (235, 84.5%) [24 197 203]
;  #822 (235, 84.5%) [2 8 116 191 192]
;  #823 (235, 84.6%) [8 37 44 66 67 68 148]
;  #824 (234, 84.6%) [24 204 206]
;  #825 (234, 84.6%) [8 116 152 170 180 190 191 192]
;  #826 (234, 84.6%) [8 37 44 152 179 180 190 191 192]
;  #827 (234, 84.6%) [20 28 30 35 37 44 55 67 68 75]
;  #828 (234, 84.6%) [116 119 120 123 124]
;  #829 (234, 84.6%) [2 28 37 44 140 152 190 191 192]
;  #830 (233, 84.7%) [8 33 67 68 132]
;  #831 (233, 84.7%) [65 75]
;  #832 (232, 84.7%) [28 37 42 44 45 191 192]
;  #833 (232, 84.7%) [2 20 37 44 156 191 192]
;  #834 (232, 84.7%) [2 20 37 44 191 192]
;  #835 (232, 84.7%) [8 64 65 66 67 68]
;  #836 (232, 84.7%) [45 156]
;  #837 (232, 84.8%) [8 24 65 153 193 194 206]
;  #838 (232, 84.8%) [8 24 42 65 153 193 194 195]
;  #839 (232, 84.8%) [2 14 20 37 44 156 191 192]
;  #840 (232, 84.8%) [2 14 20 191 192]
;  #841 (231, 84.8%) [30 35 36 37 44 67 68]
;  #842 (231, 84.8%) [12 13 30 35 36 68]
;  #843 (231, 84.8%) [8 66 67 68 106]
;  #844 (231, 84.8%) [8 37 44 66 67 68 106]
;  #845 (230, 84.9%) [36 37 44 48 50 55 104]
;  #846 (230, 84.9%) [8 12 13 37 104 127]
;  #847 (230, 84.9%) [8 12 13 37 104 127 129 130 131]
;  #848 (230, 84.9%) [35 36 46 47 54 55 62 67 68 76]
;  #849 (230, 84.9%) [35 36 46 47 50 54 55 62 67 68 76]
;  #850 (230, 84.9%) [35 36 46 47 54 55 62 64 67 68 76]
;  #851 (230, 84.9%) [35 36 46 47 48 50 54 62 67 68 76]
;  #852 (230, 85.0%) [35 36 46 47 48 54 62 64 67 68 76]
;  #853 (230, 85.0%) [30 36 37 40 44 48 55]
;  #854 (230, 85.0%) [30 36 37 44 48 55]
;  #855 (230, 85.0%) [30 36 37 40 44 48 50 55]
;  #856 (230, 85.0%) [12 13 36 48 55]
;  #857 (230, 85.0%) [12 13 36 48 55 64]
;  #858 (230, 85.0%) [12 13 36 37 48 55 64 104]
;  #859 (230, 85.1%) [12 13 36 37 48 55 104]
;  #860 (230, 85.1%) [28 35 46 47 48 54 62 67 68 76 126 127]
;  #861 (230, 85.1%) [28 35 46 47 48 54 62 67 68 76 133 134]
;  #862 (230, 85.1%) [28 33 35 46 47 48 54 62 67 68 76 132 133 134]
;  #863 (230, 85.1%) [26 28 35 46 47 48 54 62 67 68 76 126 127 129 130 131]
;  #864 (230, 85.1%) [8 133 134]
;  #865 (230, 85.1%) [8 110 128]
;  #866 (230, 85.1%) [2 37 44 138 139 140]
;  #867 (230, 85.2%) [8 37 44 128]
;  #868 (230, 85.2%) [8 37 44 105 133 134]
;  #869 (230, 85.2%) [8 37 44 67 68 128]
;  #870 (230, 85.2%) [110 128]
;  #871 (230, 85.2%) [8 36 37 40 44 50 67 68]
;  #872 (230, 85.2%) [8 36 37 40 44 67 68]
;  #873 (230, 85.2%) [8 33 132 133 134]
;  #874 (230, 85.3%) [8 26 126 127 129 130 131]
;  #875 (230, 85.3%) [14 36 48 55]
;  #876 (230, 85.3%) [14 30 36 48 55]
;  #877 (230, 85.3%) [13 14 45 48 55]
;  #878 (230, 85.3%) [45 66 116]
;  #879 (230, 85.3%) [8 13 37 68 128]
;  #880 (230, 85.3%) [8 13 20 37 50 68]
;  #881 (230, 85.3%) [8 13 14 20 50 68]
;  #882 (230, 85.4%) [8 13 14 68]
;  #883 (230, 85.4%) [8 13 14]
;  #884 (230, 85.4%) [36 64 65 66 67 68]
;  #885 (230, 85.4%) [36 50 65 66 67 68]
;  #886 (230, 85.4%) [36 37 44 48 55 64 104]
;  #887 (229, 85.4%) [28 35 45 55 67 68 116]
;  #888 (228, 85.4%) [22 28 116 142 156]
;  #889 (228, 85.5%) [22 28 37 44 116 118 142 156 225]
;  #890 (228, 85.5%) [2 14 152 153 190 191 192]
;  #891 (228, 85.5%) [2 37 44 138 140 141]
;  #892 (228, 85.5%) [2 37 44 140 141]
;  #893 (228, 85.5%) [2 14 37 44 152 153 190 191 192]
;  #894 (228, 85.5%) [21 23 24 113 114]
;  #895 (228, 85.5%) [37 44 140 141]
;  #896 (228, 85.5%) [37 44 106 113 114 116]
;  #897 (227, 85.6%) [12 18 84 85]
;  #898 (227, 85.6%) [21 36 65 66]
;  #899 (227, 85.6%) [2 14 23 37 44 140 153 169 190 191 192 198 199 200]
;  #900 (227, 85.6%) [37 44 116 142 156]
;  #901 (226, 85.6%) [28 30 46 47 48 54 62 66 67 68 75 76]
;  #902 (225, 85.6%) [20 30 37 44 116]
;  #903 (225, 85.6%) [18 59 116]
;  #904 (225, 85.7%) [2 8]
;  #905 (224, 85.7%) [30 116 156 232 233]
;  #906 (224, 85.7%) [37 44 116 156 232 233]
;  #907 (223, 85.7%) [22 28 37 44 45 116]
;  #908 (223, 85.7%) [106 155]
;  #909 (222, 85.7%) [28 55 75]
;  #910 (222, 85.7%) [125 149 174]
;  #911 (221, 85.7%) [10 37 44 99 137]
;  #912 (221, 85.8%) [21 36 75 113 114]
;  #913 (219, 85.8%) [8 123 124 155 236 238 239]
;  #914 (219, 85.8%) [21 37 44 156]
;  #915 (219, 85.8%) [106 116 119 120 123 124]
;  #916 (219, 85.8%) [14 20 30 37 44]
;  #917 (219, 85.8%) [12 37 44 155]
;  #918 (218, 85.8%) [45 66 132]
;  #919 (218, 85.8%) [12 174]
;  #920 (217, 85.9%) [45 66 110]
;  #921 (216, 85.9%) [35 55 67 68 116 152 190 191 192]
;  #922 (215, 85.9%) [106 116 191 192]
;  #923 (215, 85.9%) [84 85 106]
;  #924 (215, 85.9%) [66 185]
;  #925 (215, 85.9%) [45 66 185]
;  #926 (215, 85.9%) [37 44 66 185]
;  #927 (215, 85.9%) [37 44 45 185]
;  #928 (215, 86.0%) [37 44 45 66 185]
;  #929 (214, 86.0%) [24 67 68]
;  #930 (214, 86.0%) [8 12 67 68]
;  #931 (214, 86.0%) [36 37 44 200]
;  #932 (213, 86.0%) [12 37 44 116 156 232 233]
;  #933 (212, 86.0%) [28 35 37 44 55 67 68 152 190 191 192]
;  #934 (212, 86.0%) [8 37 44 126 191 192]
;  #935 (210, 86.0%) [9 35 37 44 55 67 68 118 142 156]
;  #936 (210, 86.1%) [12 37 44 67 68 191 192]
;  #937 (210, 86.1%) [37 44 67 68 94 106]
;  #938 (210, 86.1%) [8 12 37 44 84 85]
;  #939 (209, 86.1%) [30 37 44 116]
;  #940 (209, 86.1%) [106 116 118]
;  #941 (208, 86.1%) [2 28 45]
;  #942 (207, 86.1%) [8 37 44 84 85 156]
;  #943 (206, 86.1%) [12 13 36 37 200]
;  #944 (206, 86.2%) [2 37 44 152 190 191 192]
;  #945 (206, 86.2%) [97 100 101 156]
;  #946 (204, 86.2%) [8 12 21]
;  #947 (204, 86.2%) [10 37 44 99 278]
;  #948 (204, 86.2%) [118 140 152 190 191 192]
;  #949 (204, 86.2%) [113 114 156 174]
;  #950 (203, 86.2%) [12 21]
;  #951 (203, 86.2%) [2 65 118 140 152 153 190 191 192 193]
;  #952 (203, 86.3%) [18 37 44 84 85 116 142 232 233]
;  #953 (203, 86.3%) [75 197 206]
;  #954 (203, 86.3%) [66 75 197 206]
;  #955 (202, 86.3%) [28 37 44 140 152 190 191 192]
;  #956 (202, 86.3%) [20 116]
;  #957 (202, 86.3%) [2 28 37 44 152 190 191 192]
;  #958 (201, 86.3%) [25 28 35 45 46 47 48 54 62 66 67 68]
;  #959 (201, 86.3%) [14 20 37 44]
;  #960 (201, 86.3%) [37 44 45 156]
;  #961 (200, 86.4%) [10 20 37 44 99]
;  #962 (200, 86.4%) [22 28 142]
;  #963 (199, 86.4%) [138 139]
;  #964 (199, 86.4%) [110 116]
;  #965 (199, 86.4%) [94 116]
;  #966 (199, 86.4%) [75 84 85]
;  #967 (199, 86.4%) [2 28]
;  #968 (198, 86.4%) [9 20 30 37 44 142 156]
;  #969 (198, 86.5%) [131 170 176]
;  #970 (198, 86.5%) [8 21 37 44]
;  #971 (198, 86.5%) [12 22 28 45 142]
;  #972 (197, 86.5%) [12 21 84 85]
;  #973 (197, 86.5%) [14 20 156]
;  #974 (196, 86.5%) [106 123 124]
;  #975 (196, 86.5%) [8 21]
;  #976 (196, 86.5%) [37 44 45 116 156]
;  #977 (196, 86.5%) [37 44 45 66 191 192]
;  #978 (195, 86.6%) [21 28 35 46 47 48 54 62 67 68 75 117]
;  #979 (195, 86.6%) [21 28 35 46 47 48 54 62 66 67 68 117]
;  #980 (195, 86.6%) [170]
;  #981 (195, 86.6%) [116 123 124]
;  #982 (195, 86.6%) [37 44 140 194 195 203 205]
;  #983 (195, 86.6%) [37 44 84 85 116 156]
;  #984 (195, 86.6%) [12 37 44 45 116 156]
;  #985 (194, 86.6%) [10 21 37 44 99 106 116]
;  #986 (194, 86.6%) [10 12 99 116]
;  #987 (194, 86.7%) [97 156]
;  #988 (193, 86.7%) [22 28 37 44 113 114 191 192]
;  #989 (193, 86.7%) [18 84 85 116 142 232 233]
;  #990 (193, 86.7%) [8 37 44 67 68 84 85]
;  #991 (193, 86.7%) [37 44 66 156 174]
;  #992 (193, 86.7%) [37 44 45 156 174]
;  #993 (192, 86.7%) [37 44 65 140 152 153 190 191 192 193]
;  #994 (192, 86.7%) [12 30 37 44 116 156 232 233]
;  #995 (191, 86.7%) [30 35 41 67 68 147]
;  #996 (191, 86.8%) [7 14 84 85]
;  #997 (191, 86.8%) [24 28 66]
;  #998 (191, 86.8%) [75 116 140]
;  #999 (191, 86.8%) [66 75 116 140]
;  #1000 (191, 86.8%) [8 25 37 44 67 68 106]
;  #1001 (191, 86.8%) [45 84 85 106 116 161]
;  #1002 (190, 86.8%) [35 37 44 55 67 68 117]
;  #1003 (190, 86.8%) [10 21 37 44 99 116]
;  #1004 (190, 86.8%) [8 21 37 44 156]
;  #1005 (188, 86.9%) [35 55 67 68 116 191 192]
;  #1006 (188, 86.9%) [31 37 44]
;  #1007 (188, 86.9%) [45 84 85 106 161]
;  #1008 (187, 86.9%) [28 31 37 44 45]
;  #1009 (187, 86.9%) [8 24 67 68 113 114]
;  #1010 (187, 86.9%) [37 44 116 174]
;  #1011 (186, 86.9%) [35 37 44 67 68 116 191 192]
;  #1012 (186, 86.9%) [37 44 67 68 94 116]
;  #1013 (185, 86.9%) [37 44 67 68 84 85 116 156]
;  #1014 (184, 87.0%) [28 30 35 37 44 50 55 67 68]
;  #1015 (184, 87.0%) [18 59]
;  #1016 (184, 87.0%) [14 28 30 35 50 55 67 68]
;  #1017 (184, 87.0%) [14 20 28 30]
;  #1018 (183, 87.0%) [12 18 37 44 59]
;  #1019 (182, 87.0%) [110 156]
;  #1020 (182, 87.0%) [37 44 125]
;  #1021 (182, 87.0%) [12 37 44 67 68 116 148 149]
;  #1022 (182, 87.0%) [37 44 51]
;  #1023 (182, 87.1%) [37 42 44 116]
;  #1024 (181, 87.1%) [28 35 37 44 45 55 67 68]
;  #1025 (181, 87.1%) [65 75 116 152 153 190 191 192 193]
;  #1026 (181, 87.1%) [65 66 75 116 152 153 190 191 192 193]
;  #1027 (180, 87.1%) [35 37 44 55 67 68 116 152 190 191 192]
;  #1028 (180, 87.1%) [2 140 152 190 191 192]
;  #1029 (180, 87.1%) [2 116 152 190 191 192]
;  #1030 (180, 87.1%) [8 106]
;  #1031 (180, 87.1%) [14 40]
;  #1032 (180, 87.1%) [2 28 138 139]
;  #1033 (180, 87.2%) [8 13 20 37 50]
;  #1034 (180, 87.2%) [36 51]
;  #1035 (179, 87.2%) [10 99 156]
;  #1036 (179, 87.2%) [8 67 68 84 85]
;  #1037 (179, 87.2%) [8 37 44 156 174]
;  #1038 (178, 87.2%) [8 66 106]
;  #1039 (178, 87.2%) [21 24 75 113 114]
;  #1040 (178, 87.2%) [8 37 44 66 106]
;  #1041 (178, 87.2%) [113 114 132]
;  #1042 (178, 87.3%) [8 36 37 40 44]
;  #1043 (178, 87.3%) [8 36 37 40 44 50]
;  #1044 (178, 87.3%) [14 20 30 191 192]
;  #1045 (178, 87.3%) [12 37 44 67 68 116 156 174]
;  #1046 (178, 87.3%) [37 44 66 191 192]
;  #1047 (177, 87.3%) [12 125 174]
;  #1048 (177, 87.3%) [37 44 45 66 156 174]
;  #1049 (176, 87.3%) [2 7 37 44 116 191 192]
;  #1050 (176, 87.3%) [22 37 44 156]
;  #1051 (176, 87.3%) [21 36 66 67 68 113 114]
;  #1052 (176, 87.4%) [116 142 156]
;  #1053 (176, 87.4%) [45 66 106 116]
;  #1054 (175, 87.4%) [8 65 75 153 193 194 206]
;  #1055 (175, 87.4%) [8 65 66 75 153 193 194 206]
;  #1056 (175, 87.4%) [20 37 44 118 156]
;  #1057 (175, 87.4%) [66 156 174]
;  #1058 (174, 87.4%) [8 37 44 94 116]
;  #1059 (174, 87.4%) [14 106 116]
;  #1060 (174, 87.4%) [67 68 94 106]
;  #1061 (174, 87.4%) [37 44 140]
;  #1062 (174, 87.5%) [37 44 118 140]
;  #1063 (174, 87.5%) [37 44 116 140]
;  #1064 (173, 87.5%) [25 28 37 44 45]
;  #1065 (173, 87.5%) [37 44 118 156 225]
;  #1066 (172, 87.5%) [119 120 123 124 137]
;  #1067 (171, 87.5%) [9 110 142 156]
;  #1068 (171, 87.5%) [84 85 174]
;  #1069 (170, 87.5%) [28 37 44 191 192 201]
;  #1070 (170, 87.5%) [10 45 99 161]
;  #1071 (170, 87.5%) [45 116 156]
;  #1072 (169, 87.6%) [8 67 68 123 124 155 236 238 239]
;  #1073 (169, 87.6%) [37 44 118 185]
;  #1074 (168, 87.6%) [20 28 55 75]
;  #1075 (168, 87.6%) [59]
;  #1076 (168, 87.6%) [8 25]
;  #1077 (168, 87.6%) [36 67 68]
;  #1078 (168, 87.6%) [12 22 28 45 113 114]
;  #1079 (167, 87.6%) [8 21 24 67 68 113 114]
;  #1080 (166, 87.6%) [21 37 44 119 120]
;  #1081 (166, 87.6%) [12 67 68 148]
;  #1082 (165, 87.7%) [2 7 30]
;  #1083 (165, 87.7%) [94 253 254]
;  #1084 (165, 87.7%) [67 68 123 124 155 236 238 239]
;  #1085 (165, 87.7%) [12 37 44 142]
;  #1086 (164, 87.7%) [5 8 21 66 67 68 140 152 190 191 192]
;  #1087 (164, 87.7%) [5 8 21 24 66 67 68 140 152 190 191 192]
;  #1088 (164, 87.7%) [8 65 75 153 193 194 195]
;  #1089 (164, 87.7%) [8 65 66 75 153 193 194 195]
;  #1090 (164, 87.7%) [12 37 44 116 232 233]
;  #1091 (163, 87.7%) [37 44 67 68 156 185]
;  #1092 (162, 87.8%) [2 7]
;  #1093 (162, 87.8%) [28 35 45 55 67 68]
;  #1094 (162, 87.8%) [14 20 30 50]
;  #1095 (162, 87.8%) [45 84 85 116 161]
;  #1096 (161, 87.8%) [12 18 21 84 85 142]
;  #1097 (161, 87.8%) [21 36 67 68 75 113 114]
;  #1098 (161, 87.8%) [21 36 65 66 75 113 114]
;  #1099 (161, 87.8%) [20 30 37 44 191 192]
;  #1100 (161, 87.8%) [2 28 37 44]
;  #1101 (161, 87.8%) [37 44 140 194 205 206]
;  #1102 (161, 87.8%) [36 65 66 67 68 113 114]
;  #1103 (160, 87.9%) [28 37 44 116 191 192]
;  #1104 (160, 87.9%) [28 37 42 44 45]
;  #1105 (160, 87.9%) [2 8 37 44]
;  #1106 (160, 87.9%) [2 14 23 140 153]
;  #1107 (160, 87.9%) [74 75 107 108]
;  #1108 (160, 87.9%) [2 14 23 138 139 152 190 191 192 193 196]
;  #1109 (160, 87.9%) [12 67 68 116 191 192]
;  #1110 (160, 87.9%) [8 12 116 232 233]
;  #1111 (160, 87.9%) [36 65 66 67 68 139]
;  #1112 (159, 87.9%) [30 35 41 67 68]
;  #1113 (159, 88.0%) [2 36]
;  #1114 (159, 88.0%) [107]
;  #1115 (158, 88.0%) [9 22 28 37 44 51]
;  #1116 (158, 88.0%) [24 28 75]
;  #1117 (158, 88.0%) [18 21 37 44 84 85 116 142 232 233]
;  #1118 (158, 88.0%) [14 20 59]
;  #1119 (158, 88.0%) [37 44 152 190 191 192 201]
;  #1120 (158, 88.0%) [37 44 97]
;  #1121 (158, 88.0%) [2 7 14 45]
;  #1122 (157, 88.0%) [30 116]
;  #1123 (157, 88.0%) [26 142 156]
;  #1124 (157, 88.1%) [22 28 142 156 185]
;  #1125 (157, 88.1%) [116 118]
;  #1126 (157, 88.1%) [37 44 52 118 140]
;  #1127 (157, 88.1%) [12 22 28 37 44 45 142]
;  #1128 (156, 88.1%) [8 12 21 84 85]
;  #1129 (156, 88.1%) [28 118 140 152 190 191 192]
;  #1130 (156, 88.1%) [28 37 44 65 152 153 190 191 192 193]
;  #1131 (156, 88.1%) [2 21 28 35 46 47 48 54 62 66 67 68 117 138 139]
;  #1132 (156, 88.1%) [2 21 28 35 46 47 48 54 62 67 68 75 117 138 139]
;  #1133 (156, 88.1%) [2 75 138 139]
;  #1134 (156, 88.1%) [2 37 44 67 68 156]
;  #1135 (156, 88.2%) [20 37 44 59]
;  #1136 (156, 88.2%) [116 125]
;  #1137 (156, 88.2%) [2 14 23 37 44 153]
;  #1138 (156, 88.2%) [2 28 37 44 116 152 190 191 192]
;  #1139 (156, 88.2%) [37 44 97 100 101 156]
;  #1140 (156, 88.2%) [37 44 97 156]
;  #1141 (156, 88.2%) [36 37 44 139]
;  #1142 (156, 88.2%) [36 37 44 181 182]
;  #1143 (155, 88.2%) [20 30 37 44 50]
;  #1144 (155, 88.2%) [45 161]
;  #1145 (155, 88.2%) [37 44 106 156]
;  #1146 (155, 88.3%) [12 37 44 51]
;  #1147 (155, 88.3%) [8 12 37 44 149]
;  #1148 (155, 88.3%) [12 22 28 37 44 45 113 114]
;  #1149 (154, 88.3%) [37 44 116 118]
;  #1150 (153, 88.3%) [28 35 46 47 48 54 62 67 68]
;  #1151 (153, 88.3%) [14 30 37 44]
;  #1152 (153, 88.3%) [12 37 44 67 68 84 85 156]
;  #1153 (152, 88.3%) [35 37 44 67 68]
;  #1154 (152, 88.3%) [28 35 55 67 68 106 116]
;  #1155 (152, 88.3%) [28 35 50 55 67 68]
;  #1156 (152, 88.3%) [22 28 37 44 116 142 156 185]
;  #1157 (152, 88.4%) [106 185]
;  #1158 (152, 88.4%) [14 28 35 50 55 67 68]
;  #1159 (152, 88.4%) [45 66 156 174]
;  #1160 (152, 88.4%) [12 22 28 45 116 142]
;  #1161 (151, 88.4%) [9 30 37 44 142 156]
;  #1162 (151, 88.4%) [22 28 106 113 114]
;  #1163 (151, 88.4%) [2 14 37 44 156 191 192]
;  #1164 (151, 88.4%) [149 174]
;  #1165 (151, 88.4%) [12 37 44 116 156 174]
;  #1166 (151, 88.4%) [8 12 37 44 116 156 174]
;  #1167 (150, 88.4%) [8 67 68 75]
;  #1168 (150, 88.4%) [106 110]
;  #1169 (150, 88.5%) [66 116 191 192]
;  #1170 (150, 88.5%) [12 45 116 156]
;  #1171 (149, 88.5%) [28 37 42 44 45 116 191 192]
;  #1172 (149, 88.5%) [22 28 37 44 45]
;  #1173 (149, 88.5%) [94 106]
;  #1174 (149, 88.5%) [8 25 37 44 67 68 148]
;  #1175 (149, 88.5%) [37 44 67 68 156 174]
;  #1176 (148, 88.5%) [28 59 94 116]
;  #1177 (148, 88.5%) [28 37 44 59 94 116]
;  #1178 (148, 88.5%) [28 35 37 44 55 67 68 106 116]
;  #1179 (148, 88.5%) [8 37 44 67 68 106]
;  #1180 (148, 88.6%) [47 71]
;  #1181 (147, 88.6%) [30 156]
;  #1182 (147, 88.6%) [37 44 65 116 152 153 190 191 192 193]
;  #1183 (147, 88.6%) [8 13 68]
;  #1184 (146, 88.6%) [8 37 44 84 85 116 232 233]
;  #1185 (146, 88.6%) [67 68 84 85 116]
;  #1186 (146, 88.6%) [12 113 114 156 174]
;  #1187 (146, 88.6%) [12 37 44 113 114 156 174]
;  #1188 (146, 88.6%) [12 22 28 37 44 45 116 142]
;  #1189 (145, 88.6%) [28 35 55 116]
;  #1190 (145, 88.6%) [2 8 191 192]
;  #1191 (145, 88.6%) [2 20 30 37 44 191 192]
;  #1192 (145, 88.7%) [2 14 20 30 191 192]
;  #1193 (144, 88.7%) [35 55 67 68 140 152 190 191 192]
;  #1194 (144, 88.7%) [33]
;  #1195 (144, 88.7%) [30 37 44 191 192]
;  #1196 (144, 88.7%) [2 156 191 192]
;  #1197 (144, 88.7%) [2 14 37 44 59 142 152 153 156 169 199 202]
;  #1198 (144, 88.7%) [2 14 37 44 59 65 138 139 140 142 156 169 190 191 192 193 196 198 199 202]
;  #1199 (144, 88.7%) [42 113 114]
;  #1200 (144, 88.7%) [12 113 114 116 191 192]
;  #1201 (144, 88.7%) [8 12 37 44 84 85 212]
;  #1202 (143, 88.7%) [22 28 113 114 116 191 192]
;  #1203 (143, 88.7%) [8 65 67 68]
;  #1204 (143, 88.8%) [2 7 14 116]
;  #1205 (143, 88.8%) [18 21 84 85 116 142 232 233]
;  #1206 (143, 88.8%) [14 30 50]
;  #1207 (143, 88.8%) [12 67 68 156]
;  #1208 (143, 88.8%) [8 12 156]
;  #1209 (142, 88.8%) [30 37 44 50]
;  #1210 (142, 88.8%) [155 236]
;  #1211 (141, 88.8%) [8 12 21 116 232 233]
;  #1212 (141, 88.8%) [9 22 28 51]
;  #1213 (141, 88.8%) [2 14 37 44 153]
;  #1214 (141, 88.8%) [2 14 37 44 116 153]
;  #1215 (141, 88.8%) [159]
;  #1216 (141, 88.9%) [8 24 42 116 140 152 190 191 192]
;  #1217 (140, 88.9%) [24 42 140 194 205 206]
;  #1218 (140, 88.9%) [2 8 66 75 118 140 152 190 191 192]
;  #1219 (140, 88.9%) [67 68 94 116]
;  #1220 (140, 88.9%) [2 7 45]
;  #1221 (140, 88.9%) [37 44 84 85 174]
;  #1222 (139, 88.9%) [8 12 37 44 67 68]
;  #1223 (139, 88.9%) [28 37 42 44 191 192]
;  #1224 (139, 88.9%) [9 142 156 191 192]
;  #1225 (139, 88.9%) [8 65 104 118 140 153 193 203 205]
;  #1226 (139, 88.9%) [8 37 44 104 118 140 152 190 191 192]
;  #1227 (139, 88.9%) [131]
;  #1228 (139, 89.0%) [17]
;  #1229 (139, 89.0%) [84 85 116 156]
;  #1230 (139, 89.0%) [45 67 68 84 85 116]
;  #1231 (138, 89.0%) [24 42 140 194 195 203 205]
;  #1232 (138, 89.0%) [8 65 140 153 185 193 203 205]
;  #1233 (138, 89.0%) [94 156]
;  #1234 (138, 89.0%) [2 14 23 66 75 152 153 190 191 192]
;  #1235 (138, 89.0%) [50 113 114]
;  #1236 (138, 89.0%) [12 51]
;  #1237 (137, 89.0%) [24 140 194 205 206]
;  #1238 (137, 89.0%) [2 8 37 44 66 75 152 190 191 192]
;  #1239 (137, 89.0%) [8 65 140 153 193 203 205]
;  #1240 (137, 89.1%) [104 118 140 194 205 206]
;  #1241 (137, 89.1%) [67 68 125]
;  #1242 (137, 89.1%) [37 44 137]
;  #1243 (136, 89.1%) [8 116 156 174]
;  #1244 (136, 89.1%) [21 24]
;  #1245 (136, 89.1%) [134]
;  #1246 (136, 89.1%) [110 118]
;  #1247 (136, 89.1%) [104 118 140 194 195 203 205]
;  #1248 (136, 89.1%) [12 97 100 101 116]
;  #1249 (135, 89.1%) [12 18 84 85 142]
;  #1250 (135, 89.1%) [137]
;  #1251 (135, 89.1%) [37 44 75]
;  #1252 (134, 89.1%) [35 55 67 68 116]
;  #1253 (134, 89.2%) [21 24 65 66 113 114]
;  #1254 (134, 89.2%) [2 14 23 37 44 66 75 140 153 169 190 191 192 198 199 200]
;  #1255 (134, 89.2%) [12 37 44 67 68 84 85 116 156]
;  #1256 (133, 89.2%) [2 8 65 66 75 153 193 194 195 203]
;  #1257 (133, 89.2%) [22 28 45 116 142]
;  #1258 (133, 89.2%) [2 113 114]
;  #1259 (133, 89.2%) [8 67 68 110]
;  #1260 (133, 89.2%) [37 44 110 113 114 116 118]
;  #1261 (132, 89.2%) [2 7 37 44 113 114]
;  #1262 (132, 89.2%) [22 28 45 116 142 156]
;  #1263 (132, 89.2%) [22 28 37 44 45 116 142 156]
;  #1264 (132, 89.2%) [2 14 67 68 156]
;  #1265 (132, 89.2%) [41]
;  #1266 (132, 89.3%) [37 44 140 152 190 191 192 201]
;  #1267 (131, 89.3%) [22 28 113 114 191 192]
;  #1268 (131, 89.3%) [20 30 37 44 149]
;  #1269 (131, 89.3%) [116 232 233 234]
;  #1270 (131, 89.3%) [116 125 232 233 234]
;  #1271 (131, 89.3%) [14 20 28 30 35 67 68]
;  #1272 (131, 89.3%) [37 44 65 66 75 152 153 190 191 192 193]
;  #1273 (131, 89.3%) [36 67 68 75]
;  #1274 (130, 89.3%) [2 21 113 114 144]
;  #1275 (130, 89.3%) [2 21 36 113 114 144]
;  #1276 (130, 89.3%) [2 21 36 113 114]
;  #1277 (130, 89.3%) [21 35 46 47 48 54 62 67 68 76]
;  #1278 (130, 89.3%) [2 37 44 67 68 116 156]
;  #1279 (130, 89.4%) [2 8 21 67 68 117]
;  #1280 (130, 89.4%) [12 37 44 67 68 125 174]
;  #1281 (130, 89.4%) [37 44 67 68 118 156 225]
;  #1282 (130, 89.4%) [37 44 65 140 153 193 203 205]
;  #1283 (130, 89.4%) [8 12 84 85]
;  #1284 (129, 89.4%) [10 21 99 106 123 124]
;  #1285 (129, 89.4%) [24 65 75 140 152 153 190 191 192 193]
;  #1286 (129, 89.4%) [24 65 66 75 140 152 153 190 191 192 193]
;  #1287 (129, 89.4%) [22 28 37 44 118 142 156 185 225]
;  #1288 (129, 89.4%) [21 36 113 114 144]
;  #1289 (129, 89.4%) [8 12 125 174]
;  #1290 (128, 89.4%) [35 37 44 55 67 68 116 191 192]
;  #1291 (128, 89.4%) [31 66 75 203 204]
;  #1292 (128, 89.5%) [28 35 45 55 67 68 84 85 116]
;  #1293 (128, 89.5%) [24 75 116 140]
;  #1294 (128, 89.5%) [24 66 75 116 140]
;  #1295 (128, 89.5%) [2 8 75 140 152 190 191 192]
;  #1296 (128, 89.5%) [2 8 66 75 140 152 190 191 192]
;  #1297 (128, 89.5%) [8 73]
;  #1298 (128, 89.5%) [8 37 44 125 174]
;  #1299 (127, 89.5%) [2 118 140 194 195 205]
;  #1300 (127, 89.5%) [14 116]
;  #1301 (126, 89.5%) [10 99 116 232 233]
;  #1302 (126, 89.5%) [22 28 113 114 156]
;  #1303 (126, 89.5%) [2 37 44 140 152 190 191 192]
;  #1304 (126, 89.5%) [2 8 24 75 140 152 190 191 192]
;  #1305 (126, 89.5%) [2 8 24 66 75 140 152 190 191 192]
;  #1306 (126, 89.6%) [18 37 44 84 85 142 156]
;  #1307 (126, 89.6%) [94 106 116]
;  #1308 (126, 89.6%) [67 68 116 156 174]
;  #1309 (126, 89.6%) [8 21 156]
;  #1310 (126, 89.6%) [8 21 37 44 84 85 156]
;  #1311 (126, 89.6%) [37 44 94 116]
;  #1312 (126, 89.6%) [2 7 14 37 44 84 85 116]
;  #1313 (125, 89.6%) [2 118 140 194 195 203 205]
;  #1314 (125, 89.6%) [2 8 65 66 75 153 193 194 195]
;  #1315 (125, 89.6%) [18 21 84 85 118 142 225]
;  #1316 (125, 89.6%) [106 191 192]
;  #1317 (124, 89.6%) [2 8 118 191 192]
;  #1318 (124, 89.6%) [2 67 68 116 156]
;  #1319 (124, 89.7%) [2 67 68 191 192]
;  #1320 (124, 89.7%) [2 14 67 68 191 192]
;  #1321 (124, 89.7%) [125 142]
;  #1322 (124, 89.7%) [14 67 68 191 192]
;  #1323 (124, 89.7%) [63 131]
;  #1324 (124, 89.7%) [12 37 44 67 68 97 100 101]
;  #1325 (124, 89.7%) [37 44 59]
;  #1326 (123, 89.7%) [28 30 35 67 68]
;  #1327 (123, 89.7%) [5 21 35 66 67 68]
;  #1328 (123, 89.7%) [5 21 35 66 67 68 116 140]
;  #1329 (123, 89.7%) [22 28 35 37 44 45 67 68 116 191 192]
;  #1330 (123, 89.7%) [113 114 155]
;  #1331 (123, 89.7%) [8 31 37 44 116 191 192]
;  #1332 (123, 89.7%) [45 191 192]
;  #1333 (123, 89.8%) [12 37 44 116 174]
;  #1334 (123, 89.8%) [36 66 67 68]
;  #1335 (122, 89.8%) [10 99 167]
;  #1336 (122, 89.8%) [2 8 75 116 152 190 191 192]
;  #1337 (122, 89.8%) [2 8 66 75 116 152 190 191 192]
;  #1338 (122, 89.8%) [8 67 68 185]
;  #1339 (122, 89.8%) [20 37 44 75 156]
;  #1340 (122, 89.8%) [8 37 44 106 116]
;  #1341 (122, 89.8%) [20 30 35 67 68 75 147]
;  #1342 (122, 89.8%) [14 20 30 35 50 67 68 147]
;  #1343 (122, 89.8%) [45 106 125]
;  #1344 (122, 89.8%) [12 84 85 116 232 233]
;  #1345 (121, 89.8%) [24 65 75 116 152 153 190 191 192 193]
;  #1346 (121, 89.8%) [24 65 66 75 116 152 153 190 191 192 193]
;  #1347 (121, 89.9%) [22 28 37 44 45 116 142]
;  #1348 (121, 89.9%) [21 37 44 116]
;  #1349 (121, 89.9%) [18 84 85 149 212]
;  #1350 (121, 89.9%) [8 31 116 191 192]
;  #1351 (121, 89.9%) [84 85 97 100 101]
;  #1352 (121, 89.9%) [37 44 128]
;  #1353 (120, 89.9%) [2 21 67 68 113 114 144 176]
;  #1354 (120, 89.9%) [2 21 65 66 113 114 144 176]
;  #1355 (120, 89.9%) [30 37 44 149]
;  #1356 (120, 89.9%) [28 30 35 55 67 68 75]
;  #1357 (120, 89.9%) [28 30 35 37 44 55 67 68 75]
;  #1358 (120, 89.9%) [22 61 168]
;  #1359 (120, 89.9%) [2 41 191 192]
;  #1360 (120, 89.9%) [2 37 41 44 156 191 192]
;  #1361 (120, 90.0%) [116 140 152 190 191 192]
;  #1362 (120, 90.0%) [107 175]
;  #1363 (120, 90.0%) [14 59]
;  #1364 (120, 90.0%) [65 66 67 68 139]
;  #1365 (120, 90.0%) [8 25 37 44 67 68 185]
;  #1366 (120, 90.0%) [37 44 116 156 174]
;  #1367 (120, 90.0%) [12 37 44 156 191 192]
;  #1368 (120, 90.0%) [12 37 44 67 68 156 191 192]
; searching for minimal number of paths to cover 1369 sets Thu Jul 26 14:49:10 2007
; found solution with 66 paths on Thu Jul 26 14:49:10 2007
; estimated size of remaining search space 40960
; minimal solution (66 paths) found on Thu Jul 26 14:49:16 2007
;  2 [37864] 8 [162683] 10 [32017] 12 [322938] 14 [39135] 17 [139] 18 [9457] 20 [99429] 21 [34750] 22 [27478] 23 [10256] 24 [122711] 28 [174662] 30 [126396] 31 [2811] 33 [1715] 36 [83868] 37 [691197] 41 [8124] 42 [4912] 45 [52425] 47 [31501] 50 [14290] 51 [11637] 55 [116660] 56 [302] 59 [8875] 61 [454] 64 [17914] 65 [42403] 66 [87226] 68 [282510] 75 [27336] 84 [37239] 94 [10727] 97 [5719] 100 [5759] 106 [65159] 107 [7348] 108 [12637] 109 [1794] 110 [7213] 111 [894] 113 [115737] 116 [314528] 119 [3696] 123 [5987] 125 [9686] 128 [5823] 131 [1496] 132 [3554] 134 [1976] 137 [665] 139 [5073] 140 [21662] 142 [17119] 152 [28211] 155 [3606] 156 [74593] 159 [141] 170 [866] 174 [23407] 185 [4805] 191 [81542] 206 [6439] 253 [742] 

:begin :instance.

qc_subs_set_pack := *top* &
[ ARGS.C-CONT.HOOK.XARG "0" #| 691197 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL "1" #| 322938 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE "2" #| 314528 |#,
  ARGS.C-CONT.HOOK.INDEX.E.TENSE "3" #| 282510 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MODUS "4" #| 174662 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD "5" #| 162683 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MAIN-PRD "6" #| 126396 |#,
  ARGS.SYNSEM.LOCAL.ARG-S "7" #| 122711 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.J-SPEC "8" #| 116660 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.ASPECT "9" #| 115737 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.UNSAT "10" #| 99429 |#,
  ARGS.RMORPH-BIND-TYPE "11" #| 87226 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST "12" #| 83868 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.PASS "13" #| 81542 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST "14" #| 74593 |#,
  ARGS.SYNSEM.NON-LOCAL.UNDERSPEC_ARG "15" #| 65159 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.EMPTY "16" #| 52425 |#,
  ARGS.LMORPH-BIND-TYPE "17" #| 42403 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "18" #| 39135 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "19" #| 37864 |#,
  ARGS.C-CONT.HOOK.INDEX.E.MOOD "20" #| 37239 |#,
  ARGS.SYNSEM.MODIFIED.PERIPH "21" #| 34750 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "22" #| 32017 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MARK "23" #| 31501 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX "24" #| 28211 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.LIGHT "25" #| 27478 |#,
  ARGS.SYNSEM.NON-LOCAL.ROBUST "26" #| 27336 |#,
  ARGS.SYNSEM.LOCAL.CTXT.C-INDICES.ADDRESSEE "27" #| 23407 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG "28" #| 21662 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "29" #| 17914 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.FORMAL.SHON "30" #| 17119 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL "31" #| 14290 |#,
  ARGS.DTR.SYNSEM.LOCAL.ARG-S "32" #| 12637 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "33" #| 11637 |#,
  ARGS.SYNSEM.LOCAL.NUCL "34" #| 10727 |#,
  ARGS.SYNSEM.LKEYS.KEYREL "35" #| 10256 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST "36" #| 9686 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.COP "37" #| 9457 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "38" #| 8875 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST "39" #| 8124 |#,
  ARGS.DTR.SYNSEM.LKEYS.KEYREL "40" #| 7348 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "41" #| 7213 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.ARG-S.REST.FIRST "42" #| 6439 |#,
  ARGS.C-CONT.HOOK.XARG.PNG.PN "43" #| 5987 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL "44" #| 5823 |#,
  ARGS.SYNSEM.NON-LOCAL.QUE.LAST "45" #| 5759 |#,
  ARGS.SYNSEM.NON-LOCAL.AFFIX.LIST "46" #| 5719 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.VAL.SUBJ "47" #| 5073 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "48" #| 4912 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "49" #| 4805 |#,
  ARGS.C-CONT.HOOK.INDEX.PNG.PN "50" #| 3696 |#,
  ARGS.SYNSEM.LOCAL.CTXT.EMPATHY.EMPEE.PNG.PN "51" #| 3606 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.PTYPE "52" #| 3554 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "53" #| 2811 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.FIRST.LOCAL.CAT.HEAD.CASE "54" #| 1976 |#,
  ARGS.DTR.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "55" #| 1794 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "56" #| 1715 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD.CASE "57" #| 1496 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG "58" #| 894 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CONT "59" #| 866 |#,
  ARGS.C-CONT.HOOK.XARG.E.ASPECT "60" #| 742 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.QUANTIFIABLE "61" #| 665 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS "62" #| 454 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "63" #| 302 |#,
  ARGS.SYNSEM.LOCAL.CTXT.BACKGROUND.LIST.REST.REST "64" #| 141 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VN "65" #| 139 |# ].

:end :instance.