;;; ;;; Quickcheck paths for LinGO (Jul-06), generated on 1348 items on Sun Jul 9 06:16:08 2006 ;;; PET(tom cheap v0.99.11) [0] -PA(0) +SM(MEM[jh.mem] 24135/4286) RI[key] -HA(206) +FI +QCU[120()] +QCS[-1()] -OS[0] +SM +SH {ns 32} (Mar 22 2006/15:08:15) <$root_strict, $root_frag, $root_informal> ;;; ;; 300 total failing paths: ;; ;; #0 SYNSEM.PUNCT.RPUNCT ;; #1 INFLECTD ;; #2 SYNSEM ;; #3 ;; #4 SYNSEM.PUNCT.LPUNCT ;; #5 SYNSEM.PUNCT.RPUNCT.MSGPRED ;; #6 SYNSEM.PUNCT.PNCTPR ;; #7 SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CAT.HEAD ;; #8 SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #9 SYNSEM.LKEYS.KEYREL ;; #10 SYNSEM.LKEYS.KEYREL.ARG0 ;; #11 SYNSEM.LOCAL ;; #12 SYNSEM.LOCAL.ARG-S.REST ;; #13 SYNSEM.LOCAL.CAT.HEAD ;; #14 SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY ;; #15 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST ;; #16 SYNSEM.LOCAL.CAT.HEAD.MOD ;; #17 SYNSEM.LOCAL.CAT.VAL.SUBJ ;; #18 SYNSEM.LOCAL.CAT.HEAD.VFORM ;; #20 SYNSEM.LOCAL.CAT.HEAD.PRD ;; #21 SYNSEM.--SIND ;; #22 SYNSEM.LOCAL.ARG-S ;; #23 SYNSEM.LOCAL.CAT.VAL.COMPS ;; #24 SYNSEM.LOCAL.CAT.HC-LEX ;; #25 SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.OPT ;; #26 SYNSEM.LOCAL.CONT.HOOK.XARG ;; #27 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #28 SYNSEM.LOCAL.CAT.VAL.COMPS.REST ;; #29 SYNSEM.LOCAL.ARG-S.REST.REST ;; #30 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD ;; #31 SYNSEM.LOCAL.ARG-S.FIRST.--SIND ;; #32 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX ;; #33 SYNSEM.LOCAL.ARG-S.REST.FIRST.--SIND ;; #34 SYNSEM.LOCAL.CAT.HEAD.AUX ;; #35 SYNSEM.LOCAL.CAT.VAL.SPR ;; #36 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST ;; #37 SYNSEM.LEX ;; #38 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST ;; #39 SYNSEM.LOCAL.CONJ ;; #40 SYNSEM.NONLOC.REL ;; #41 SYNSEM.MODIFD ;; #42 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH ;; #43 C-CONT.HOOK.XARG ;; #44 SYNSEM.LOCAL.CAT.VAL.KCMP.LOCAL.CAT.HEAD ;; #45 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND ;; #46 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD ;; #47 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD ;; #48 C-CONT.HOOK.LTOP ;; #49 C-CONT.HOOK.INDEX.PNG.GEN ;; #50 C-CONT.HOOK.INDEX.DIV ;; #51 SYNSEM.LKEYS.KEYREL.ARG0.PNG.PN ;; #52 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.AGR.PNG.PN ;; #53 SYNSEM.LKEYS.KEYREL.ARG0.DIV ;; #54 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.PNG.PN ;; #55 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.DIV ;; #56 C-CONT.HOOK.INDEX ;; #57 SYNSEM.LOCAL.AGR.PNG.PN ;; #58 SYNSEM.--SIND.PNG.PN ;; #59 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST ;; #60 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT ;; #61 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD ;; #62 SYNSEM.LOCAL.ARG-S.FIRST.OPT ;; #63 SYNSEM.LOCAL.CONT.MSG ;; #64 SYNSEM.LOCAL.CAT.MC ;; #65 SYNSEM.--SIND.DIV ;; #66 SYNSEM.LOCAL.CAT.HEAD.POSS ;; #67 SYNSEM.LOCAL.CAT.VAL.SPEC ;; #68 SYNSEM.LOCAL.AGR.DIV ;; #69 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST ;; #70 SYNSEM.LOCAL.CAT.POSTHD ;; #71 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE ;; #72 SYNSEM.LOCAL.CAT.HEAD.TAM.TENSE ;; #73 SYNSEM.LOCAL.CAT.HEAD.TAM.ASPECT.PROGR ;; #74 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT ;; #75 SYNSEM.LOCAL.CAT.HEAD.INV ;; #76 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #77 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD ;; #78 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #79 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.PRED ;; #80 SYNSEM.LKEYS.KEYREL.PRED ;; #81 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX ;; #82 SYNSEM.NONLOC.SLASH ;; #83 SYNSEM.NONLOC.QUE ;; #84 SYNSEM.--SIND.SORT ;; #85 SYNSEM.LKEYS.--OCOMPKEY ;; #86 SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CAT ;; #87 SYNSEM.LKEYS.--COMPKEY ;; #88 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH ;; #89 SYNSEM.MODIFD.LPERIPH ;; #90 SYNSEM.LOCAL.CAT.HEAD.KEYS.ALTKEY ;; #91 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #92 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD ;; #93 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL ;; #94 SYNSEM.--SIND.E.TENSE ;; #95 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG ;; #96 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.OPT ;; #97 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT ;; #98 SYNSEM.LKEYS.KEYREL.ARG1 ;; #99 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST ;; #100 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT ;; #101 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE ;; #102 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT ;; #103 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC ;; #104 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX ;; #105 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.--SIND ;; #106 SYNSEM.LOCAL.CONT.MSG.PRED ;; #107 SYNSEM.NONLOC.SLASH.LIST ;; #108 SYNSEM.MODIFD.RPERIPH ;; #109 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.PUNCT.RPUNCT ;; #110 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD ;; #111 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #112 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH.LIST ;; #113 SYNSEM.LOCAL.CAT.HEAD.CASE ;; #114 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0 ;; #115 SYNSEM.LOCAL.CAT.HEAD.KEYS.ALT2KEY ;; #116 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT ;; #117 SYNSEM.LOCAL.CONJ.CREL.ARG0 ;; #118 SYNSEM.LOCAL.CONJ.CREL.R-INDEX ;; #119 SYNSEM.LOCAL.CAT ;; #120 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR ;; #121 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ ;; #122 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.MODIFD ;; #123 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY ;; #124 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD ;; #125 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.CASE ;; #126 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX ;; #127 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY ;; #128 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH.LIST ;; #129 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH.LAST ;; #130 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR ;; #131 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT ;; #132 SYNSEM.LOCAL.CONT.HOOK.INDEX.SORT ;; #133 SYNSEM.--SIND.PRONTYPE ;; #134 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE ;; #135 ALTS.VPELLIP ;; #138 SYNSEM.NONLOC.QUE.LIST.FIRST ;; #139 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.AUX ;; #140 SYNSEM.NONLOC.SLASH.LIST.FIRST.AGR.PNG.PN ;; #141 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH.LAST ;; #142 ALTS.ADVADD ;; #143 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.SORT ;; #144 SYNSEM.LOCAL.CAT.HEAD.TAM ;; #145 SYNSEM.--SIND.E.ASPECT.PROGR ;; #146 SYNSEM.--SIND.E.MOOD ;; #147 SYNSEM.NONLOC.QUE.LAST ;; #148 SYNSEM.LOCAL.CONT.HOOK.XARG.SORT ;; #149 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.AGR.PNG.PN ;; #150 SYNSEM.LOCAL.CONT.HOOK.LTOP ;; #151 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PNG.GEN ;; #152 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PNG.PN ;; #153 SYNSEM.NONLOC.SLASH.LAST ;; #154 SYNSEM.PHON.ONSET ;; #155 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.PHON.ONSET ;; #156 ALTS.SQPNCT ;; #157 SYNSEM.LOCAL.ARG-S.REST.FIRST ;; #158 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.VAL.COMPS ;; #159 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD ;; #160 SYNSEM.LOCAL.CONT.HOOK.INDEX.PRONTYPE ;; #161 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN ;; #162 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CONT.HOOK.INDEX.DIV ;; #163 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST ;; #164 SYNSEM.LOCAL.CONT.HOOK.INDEX.DIV ;; #165 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.SORT ;; #166 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.PNG.PN ;; #167 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALT2KEY ;; #168 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND.SORT ;; #169 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR.PNG.PN ;; #170 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR.PNG.PN ;; #171 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD ;; #172 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #173 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY ;; #174 SYNSEM.LOCAL.CONJ.CREL.R-INDEX.E ;; #175 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.E.TENSE ;; #176 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #177 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.TAM.TENSE ;; #178 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.PHON.ONSET ;; #179 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST.CARG ;; #180 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.REST.FIRST.CARG ;; #181 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.INV ;; #182 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC ;; #183 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST ;; #184 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.POSTHD ;; #185 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.PRD ;; #186 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD ;; #187 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR ;; #188 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPEC ;; #189 SYNSEM.NONLOC.QUE.LIST ;; #190 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.FIRST.PRED ;; #191 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.PRED ;; #192 SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN ;; #193 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND ;; #194 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.MSG ;; #195 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.FIRST.CARG ;; #196 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.VFORM ;; #197 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PNG.PN ;; #198 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE ;; #199 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.PRD ;; #200 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT ;; #202 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.MSG ;; #203 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD ;; #204 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX ;; #205 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.TAM.TENSE ;; #206 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.MODIFD.LPERIPH ;; #207 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.MODIFD.RPERIPH ;; #208 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LEX ;; #209 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY ;; #210 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.FIRST ;; #211 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.FIRST.ARG0 ;; #212 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST ;; #213 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST.PRED ;; #214 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST.ARG0 ;; #215 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.LTOP ;; #216 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT ;; #217 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.--SIND ;; #218 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.--SIND.E.TENSE ;; #219 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.--SIND.E.TENSE ;; #220 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE ;; #221 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.PRD ;; #222 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PRD ;; #223 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VFORM ;; #224 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT ;; #225 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE ;; #226 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.REST ;; #227 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.TENSE ;; #228 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.MSG ;; #229 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.VFORM ;; #230 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.--SIND.E.TENSE ;; #231 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.PRD ;; #232 SYNSEM.NONLOC.REL.LIST ;; #233 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN ;; #234 SYNSEM.LKEYS.ALT2KEYREL.PRED ;; #235 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.E.ASPECT.PROGR ;; #236 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.SORT ;; #237 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.DIV ;; #238 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.SORT ;; #239 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.LTOP.SORT ;; #240 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.LTOP.SORT ;; #241 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.PNG.PN ;; #242 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.MODIFD ;; #243 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.FIRST.PRED ;; #244 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.FIRST ;; #245 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.FIRST.ARG0 ;; #246 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST ;; #247 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST.PRED ;; #248 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST ;; #249 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.PRED ;; #250 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.DIV ;; #251 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.SORT ;; #252 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD ;; #253 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #254 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.PRD ;; #255 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN ;; #256 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY ;; #257 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.VAL.SPR ;; #258 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG2.PNG.PN ;; #259 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG2.DIV ;; #260 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST ;; #261 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.PRED ;; #262 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0 ;; #263 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.FIRST ;; #264 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.FIRST.PRED ;; #265 SYNSEM.LOCAL.CONT.HOOK.XARG.DIV ;; #266 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.REST.FIRST ;; #267 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.REST.FIRST.PRED ;; #268 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.REST.FIRST.ARG0 ;; #269 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST ;; #270 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.ARG0.E.TENSE ;; #271 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.ARG1 ;; #272 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST.ARG0.E.TENSE ;; #273 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.FIRST.ARG0 ;; #274 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND.PNG.PN ;; #275 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.MOD ;; #276 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.MSG ;; #277 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PRONTYPE ;; #278 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ ;; #279 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.PUNCT.LPUNCT ;; #280 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.REST.FIRST.CARG ;; #281 SYNSEM.LOCAL.CAT.HEAD.CARDINAL ;; #282 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.KEYS.KEY ;; #283 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.MODIFD ;; #284 SYNSEM.NONLOC.SLASH.LIST.FIRST ;; #285 SYNSEM.LOCAL.CTXT.ACTIVATED ;; #286 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.FIRST.CARG ;; #287 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.PNG.PN ;; #288 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.DIV ;; #289 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.FIRST.ARG0.PNG.PN ;; #290 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.SORT ;; #291 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG1 ;; #292 SYNSEM.LKEYS.KEYREL.ARG0.E.TENSE ;; #293 SYNSEM.LOCAL.CONT.MSG.TPC ;; #294 SYNSEM.PUNCT.PAIRED ;; #295 SYNSEM.LOCAL.AGR.PNG.GEN ;; #296 SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.GEN ;; #297 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.MC ;; #298 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SUBJ.FIRST ;; #299 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.QUE ;; ;; quickcheck paths (unification) ;; ; traditional paths (max 10000) :begin :instance. ;qc_unif_trad := *top* & qc_paths_set := *top* & [ ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH.LIST "0" #| 18269.66 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD "1" #| 14791.70 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "2" #| 14500.91 |#, ARGS.SYNSEM.PUNCT.LPUNCT "3" #| 14388.55 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND "4" #| 13138.34 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM "5" #| 12138.38 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "6" #| 10327.83 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "7" #| 10100.67 |#, ARGS.SYNSEM.MODIFD.LPERIPH "8" #| 7670.75 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "10" #| 7124.49 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "11" #| 6401.29 |#, ARGS.SYNSEM.--SIND.SORT "12" #| 6342.47 |#, ARGS.SYNSEM.LOCAL.AGR.DIV "13" #| 5878.28 |#, ARGS.SYNSEM.LOCAL.CONJ "14" #| 5623.58 |#, ARGS.SYNSEM.LOCAL.CONT.MSG.PRED "15" #| 3775.49 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.CASE "16" #| 3496.96 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH "17" #| 3030.63 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "18" #| 2853.80 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH.LIST "19" #| 2566.30 |#, ARGS "20" #| 2395.24 |#, ARGS.SYNSEM.PUNCT.RPUNCT "21" #| 1952.37 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "22" #| 1914.70 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "23" #| 1789.69 |#, ARGS.SYNSEM "24" #| 1755.05 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "25" #| 1722.11 |#, ARGS.SYNSEM.--SIND.DIV "26" #| 1682.94 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "27" #| 1553.99 |#, ARGS.SYNSEM.LOCAL.CONT.MSG "28" #| 1507.75 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALT2KEY "29" #| 1400.70 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX "30" #| 1268.53 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH "31" #| 1205.50 |#, ARGS.SYNSEM.LEX "32" #| 1156.67 |#, ARGS.ALTS.VPELLIP "33" #| 1121.80 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT "34" #| 1117.01 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.--SIND "35" #| 1050.93 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "36" #| 1022.00 |#, ARGS.SYNSEM.--SIND.E.TENSE "38" #| 986.27 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.--SIND "39" #| 954.62 |#, ARGS.SYNSEM.--SIND "40" #| 830.01 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "41" #| 825.67 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "42" #| 810.81 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.LTOP "43" #| 730.00 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SORT "44" #| 722.75 |#, ARGS.ALTS.SQPNCT "45" #| 711.00 |#, ARGS.SYNSEM.NONLOC.SLASH "46" #| 694.24 |#, ARGS.SYNSEM.LOCAL.CAT "47" #| 667.37 |#, ARGS.SYNSEM.LOCAL.CAT.MC "48" #| 621.00 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.SORT "49" #| 621.00 |#, ARGS.INFLECTD "50" #| 620.69 |#, ARGS.SYNSEM.LOCAL.CAT.POSTHD "51" #| 616.89 |#, ARGS.SYNSEM.LKEYS.ALT2KEYREL.PRED "52" #| 546.00 |#, ARGS.SYNSEM.MODIFD.RPERIPH "53" #| 544.56 |#, ARGS.SYNSEM.LOCAL.ARG-S "54" #| 506.89 |#, ARGS.SYNSEM.MODIFD "55" #| 500.29 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.SORT "56" #| 491.54 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST "57" #| 489.18 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "58" #| 458.23 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR.PNG.PN "59" #| 452.17 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "60" #| 425.19 |#, ARGS.SYNSEM.NONLOC.QUE.LIST.FIRST "61" #| 409.11 |#, ARGS.SYNSEM.LOCAL.CONJ.CREL.R-INDEX "62" #| 393.11 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST "63" #| 359.70 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "64" #| 342.68 |#, ARGS.SYNSEM.NONLOC.QUE "65" #| 337.46 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.PRD "66" #| 329.56 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR "67" #| 328.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG "68" #| 326.38 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG0.PNG.PN "69" #| 321.58 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.SORT "70" #| 309.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.PNG.PN "71" #| 302.13 |#, ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST "72" #| 295.96 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST "73" #| 263.67 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALTKEY "74" #| 261.09 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "75" #| 256.48 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "76" #| 252.75 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST "77" #| 251.38 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "78" #| 244.44 |#, ARGS.SYNSEM.LOCAL.CONJ.CREL.R-INDEX.E "79" #| 241.39 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.MSG "80" #| 229.61 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "81" #| 224.64 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "82" #| 213.92 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "83" #| 204.66 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "84" #| 202.79 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD "85" #| 201.56 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH.LAST "86" #| 197.92 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.DIV "87" #| 190.61 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND.SORT "88" #| 171.65 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH.LAST "89" #| 160.26 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.PUNCT.RPUNCT "90" #| 151.41 |#, ARGS.SYNSEM.NONLOC.QUE.LAST "91" #| 150.89 |#, ARGS.SYNSEM.--SIND.E.MOOD "92" #| 150.00 |#, ARGS.SYNSEM.--SIND.PRONTYPE "93" #| 144.26 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC "94" #| 133.98 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "95" #| 124.18 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "96" #| 122.81 |#, ARGS.SYNSEM.NONLOC.REL "97" #| 121.76 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PNG.PN "98" #| 121.08 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.AGR.PNG.PN "99" #| 120.18 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT "100" #| 115.31 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST "101" #| 113.12 |#, ARGS.SYNSEM.--SIND.E.ASPECT.PROGR "102" #| 106.42 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.VFORM "103" #| 100.59 |#, ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.PRED "104" #| 97.91 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.PHON.ONSET "105" #| 95.54 |#, ARGS.SYNSEM.--SIND.PNG.PN "106" #| 93.45 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC "107" #| 92.16 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.INV "108" #| 90.22 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALT2KEY "109" #| 87.08 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.INV "110" #| 84.39 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "111" #| 84.18 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.E.TENSE "112" #| 80.09 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.TENSE "113" #| 76.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT "114" #| 74.32 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.--SIND "115" #| 71.44 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.TAM.TENSE "116" #| 70.20 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD "117" #| 69.32 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST.CARG "118" #| 69.16 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.VAL.COMPS "119" #| 65.77 |#, ARGS.SYNSEM.LOCAL.CTXT.ACTIVATED "120" #| 63.00 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST "121" #| 61.23 |#, ARGS.SYNSEM.NONLOC.SLASH.LAST "122" #| 58.00 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.PRED "123" #| 52.67 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.PRD "124" #| 51.33 |#, ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0 "125" #| 50.55 |#, ARGS.SYNSEM.LKEYS.KEYREL "126" #| 49.04 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST "127" #| 45.00 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.PRED "128" #| 43.69 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "129" #| 43.12 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.TENSE "130" #| 42.53 |#, ARGS.SYNSEM.LOCAL "131" #| 40.91 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST.PRED "132" #| 40.65 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR.PNG.PN "133" #| 36.90 |#, ARGS.SYNSEM.LOCAL.AGR.PNG.GEN "134" #| 36.17 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "135" #| 35.86 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST "136" #| 35.77 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "137" #| 34.90 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.AUX "138" #| 34.19 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.FIRST.PRED "139" #| 34.01 |#, ARGS.SYNSEM.PUNCT.RPUNCT.MSGPRED "140" #| 32.26 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST "141" #| 32.11 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN "142" #| 29.65 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SUBJ.FIRST "143" #| 27.24 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.LTOP.SORT "144" #| 26.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "145" #| 25.63 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.PRED "146" #| 25.01 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.FIRST.PRED "147" #| 24.04 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.LTOP "148" #| 23.84 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.FIRST "149" #| 23.70 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "150" #| 23.34 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LEX "151" #| 22.79 |#, ARGS.SYNSEM.LOCAL.AGR.PNG.PN "152" #| 22.36 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.POSS "153" #| 22.17 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CONT.HOOK.INDEX.DIV "154" #| 21.45 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.PHON.ONSET "155" #| 21.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "156" #| 20.36 |#, ARGS.SYNSEM.LKEYS.KEYREL.PRED "157" #| 20.26 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST "158" #| 20.20 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.DIV "159" #| 19.86 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.SORT "160" #| 18.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.LTOP.SORT "161" #| 18.00 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "162" #| 17.14 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT "163" #| 17.11 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.MSG "164" #| 16.77 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PNG.PN "165" #| 15.87 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.PRD "166" #| 14.61 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.TAM.TENSE "167" #| 14.51 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.E.ASPECT.PROGR "168" #| 14.50 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PNG.GEN "169" #| 12.66 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "170" #| 12.50 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.MC "171" #| 12.17 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.MSG "172" #| 11.90 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "173" #| 11.88 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "174" #| 11.77 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST "175" #| 11.51 |#, ARGS.SYNSEM.PUNCT.PNCTPR "176" #| 10.36 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.VAL.SPR "177" #| 10.32 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.PNG.PN "178" #| 10.26 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST.PRED "179" #| 10.22 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST "180" #| 10.10 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VFORM "181" #| 9.41 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.FIRST.CARG "182" #| 9.27 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PRONTYPE "183" #| 8.45 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.ASPECT.PROGR "184" #| 8.38 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.ARG0.E.TENSE "185" #| 8.33 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.ARG1 "186" #| 8.25 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.PNG.PN "187" #| 8.00 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST "188" #| 7.86 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST "189" #| 7.86 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.FIRST.PRED "190" #| 7.77 |#, ARGS.SYNSEM.LOCAL.CONJ.CREL.ARG0 "191" #| 7.69 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.DIV "192" #| 7.66 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.MODIFD.LPERIPH "193" #| 7.41 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST.ARG0.E.TENSE "194" #| 7.06 |#, ARGS.SYNSEM.PHON.ONSET "195" #| 7.00 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.GEN "196" #| 6.89 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "197" #| 6.63 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.DIV "198" #| 6.48 |#, ARGS.SYNSEM.LOCAL.CONT.MSG.TPC "199" #| 6.00 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.CARDINAL "200" #| 6.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.PRD "202" #| 5.91 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.PNG.PN "203" #| 5.87 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.MODIFD "204" #| 5.82 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "205" #| 5.81 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.FIRST.ARG0.PNG.PN "206" #| 5.76 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD "207" #| 5.67 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.SORT "208" #| 5.67 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ "209" #| 5.40 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT "210" #| 5.25 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD "211" #| 5.23 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.REST "212" #| 5.23 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND "213" #| 5.11 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "214" #| 4.84 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.FIRST.ARG0 "215" #| 4.72 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.DIV "216" #| 4.70 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.--SIND "217" #| 4.30 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.FIRST "218" #| 4.27 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.DIV "219" #| 4.23 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND.PNG.PN "220" #| 4.17 |#, ARGS.SYNSEM.LOCAL.CAT.HC-LEX "221" #| 4.08 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.AGR.PNG.PN "223" #| 4.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "224" #| 4.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.QUE "225" #| 3.57 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST.ARG0 "226" #| 3.50 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "227" #| 3.37 |#, ARGS.SYNSEM.NONLOC.REL.LIST "228" #| 3.19 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.--SIND.E.TENSE "229" #| 2.99 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.--SIND.E.TENSE "230" #| 2.99 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.VFORM "231" #| 2.75 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG0.DIV "232" #| 2.75 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "233" #| 2.71 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.REST "234" #| 2.62 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0 "235" #| 2.51 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD "236" #| 2.50 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.MODIFD.RPERIPH "237" #| 2.44 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT "238" #| 2.38 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ "239" #| 2.34 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.FIRST.ARG0 "240" #| 2.28 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "241" #| 2.25 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CAT "242" #| 2.24 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.FIRST "243" #| 2.23 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "244" #| 2.22 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "245" #| 2.22 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG2.DIV "246" #| 2.18 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG2.PNG.PN "247" #| 2.17 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.REST.FIRST.CARG "248" #| 2.10 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.SORT "249" #| 2.05 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "250" #| 2.01 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "251" #| 2.00 |#, ARGS.ALTS.ADVADD "252" #| 2.00 |#, ARGS.SYNSEM.NONLOC.QUE.LIST "253" #| 2.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.MSG "254" #| 1.92 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PRONTYPE "255" #| 1.86 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.PRD "256" #| 1.82 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "257" #| 1.79 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.REST.FIRST.ARG0 "258" #| 1.79 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.AGR.PNG.PN "259" #| 1.77 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.REST.FIRST.PRED "260" #| 1.76 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.REST.FIRST "261" #| 1.74 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "262" #| 1.70 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PRD "263" #| 1.67 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.PRD "264" #| 1.67 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST "265" #| 1.66 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN "266" #| 1.63 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.MOD "267" #| 1.56 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.FIRST.ARG0 "268" #| 1.53 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.REST.FIRST.CARG "269" #| 1.46 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.OPT "270" #| 1.40 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.POSTHD "271" #| 1.39 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC "272" #| 1.32 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX "273" #| 1.29 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.SORT "274" #| 1.28 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.MODIFD "275" #| 1.20 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.--SIND.E.TENSE "276" #| 1.18 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG1 "277" #| 1.07 |#, ARGS.SYNSEM.PUNCT.PAIRED "278" #| 1.00 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPEC "279" #| 1.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.MODIFD "280" #| 1.00 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG0.E.TENSE "281" #| 1.00 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "282" #| 1.00 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT "283" #| 0.99 |#, ARGS.SYNSEM.LKEYS.--COMPKEY "284" #| 0.95 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.OPT "285" #| 0.92 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "286" #| 0.83 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.KCMP.LOCAL.CAT.HEAD "287" #| 0.76 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CAT.HEAD "288" #| 0.67 |#, ARGS.SYNSEM.LKEYS.--OCOMPKEY "289" #| 0.58 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.OPT "290" #| 0.58 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.PUNCT.LPUNCT "291" #| 0.48 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.REST.REST.FIRST.CARG "292" #| 0.34 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "293" #| 0.32 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX "294" #| 0.19 |# ]. :end :instance. ;; set based paths (threshold 99.0%) ; 3085 failing sets, total count 224409: ; ; #0 (14025, 6.2%) [4] ; #1 (13480, 12.3%) [110] ; #2 (11649, 17.4%) [144] ; #3 (9966, 21.9%) [45] ; #4 (9054, 25.9%) [113] ; #5 (8575, 29.7%) [46] ; #6 (7631, 33.1%) [112] ; #7 (7497, 36.5%) [89] ; #8 (7410, 39.8%) [136] ; #9 (6186, 42.5%) [13] ; #10 (6029, 45.2%) [112 125] ; #11 (5995, 47.9%) [84] ; #12 (5922, 50.5%) [45 112 125] ; #13 (5857, 53.2%) [68] ; #14 (5663, 55.7%) [91 94] ; #15 (5319, 58.0%) [92] ; #16 (4109, 59.9%) [112 126] ; #17 (3729, 61.5%) [106] ; #18 (2330, 62.6%) [39] ; #19 (2132, 63.5%) [3] ; #20 (2076, 64.5%) [128] ; #21 (2010, 65.3%) [42] ; #22 (1902, 66.2%) [110 111] ; #23 (1806, 67.0%) [91 92] ; #24 (1641, 67.7%) [65] ; #25 (1576, 68.4%) [84 113] ; #26 (1451, 69.1%) [13 39] ; #27 (1379, 69.7%) [42 112] ; #28 (1248, 70.2%) [0] ; #29 (1064, 70.7%) [115] ; #30 (953, 71.1%) [137] ; #31 (933, 71.6%) [31] ; #32 (933, 72.0%) [33] ; #33 (932, 72.4%) [131] ; #34 (910, 72.8%) [46 128] ; #35 (856, 73.2%) [42 112 125] ; #36 (805, 73.5%) [13 16] ; #37 (802, 73.9%) [13 17] ; #38 (782, 74.2%) [13 63] ; #39 (760, 74.6%) [91 92 94] ; #40 (759, 74.9%) [23] ; #41 (756, 75.3%) [46 88] ; #42 (749, 75.6%) [13 21] ; #43 (735, 75.9%) [2] ; #44 (730, 76.2%) [150] ; #45 (720, 76.6%) [2 3] ; #46 (711, 76.9%) [156] ; #47 (692, 77.2%) [46 81] ; #48 (678, 77.5%) [132] ; #49 (675, 77.8%) [13 23] ; #50 (671, 78.1%) [134] ; #51 (665, 78.4%) [119] ; #52 (643, 78.7%) [45 112] ; #53 (622, 79.0%) [88] ; #54 (600, 79.2%) [13 21 39] ; #55 (546, 79.5%) [234] ; #56 (535, 79.7%) [131 165] ; #57 (526, 79.9%) [144 174] ; #58 (491, 80.2%) [108] ; #59 (477, 80.4%) [135] ; #60 (470, 80.6%) [31 135] ; #61 (458, 80.8%) [13 14] ; #62 (443, 81.0%) [148] ; #63 (440, 81.2%) [16] ; #64 (407, 81.4%) [138] ; #65 (398, 81.5%) [170] ; #66 (388, 81.7%) [2 13 39] ; #67 (373, 81.9%) [3 23 39] ; #68 (372, 82.0%) [92 123] ; #69 (366, 82.2%) [35] ; #70 (346, 82.4%) [92 115] ; #71 (336, 82.5%) [99] ; #72 (329, 82.7%) [51 54 55] ; #73 (328, 82.8%) [130] ; #74 (324, 82.9%) [95] ; #75 (313, 83.1%) [13 37] ; #76 (311, 83.2%) [14] ; #77 (309, 83.4%) [143] ; #78 (304, 83.5%) [112 141] ; #79 (302, 83.6%) [41] ; #80 (302, 83.8%) [13 35] ; #81 (279, 83.9%) [51] ; #82 (276, 84.0%) [171 172] ; #83 (272, 84.1%) [136 144 174] ; #84 (268, 84.3%) [13 14 35 63] ; #85 (268, 84.4%) [46 88 128] ; #86 (257, 84.5%) [63] ; #87 (257, 84.6%) [13 82] ; #88 (256, 84.7%) [13 14 35] ; #89 (233, 84.8%) [18] ; #90 (232, 84.9%) [0 13] ; #91 (229, 85.0%) [194] ; #92 (225, 85.1%) [13 17 21] ; #93 (220, 85.2%) [118] ; #94 (217, 85.3%) [83] ; #95 (217, 85.4%) [0 2] ; #96 (216, 85.5%) [135 157] ; #97 (213, 85.6%) [2 4] ; #98 (212, 85.7%) [13 38] ; #99 (210, 85.8%) [91 92 94 123] ; #100 (206, 85.9%) [88 99] ; #101 (198, 86.0%) [30] ; #102 (197, 86.1%) [2 39] ; #103 (195, 86.2%) [70] ; #104 (190, 86.2%) [37] ; #105 (185, 86.3%) [127] ; #106 (184, 86.4%) [126] ; #107 (182, 86.5%) [118 136] ; #108 (182, 86.6%) [3 13] ; #109 (177, 86.6%) [2 13 21 39] ; #110 (175, 86.7%) [3 39] ; #111 (175, 86.8%) [13 39 63] ; #112 (166, 86.9%) [13 26] ; #113 (162, 86.9%) [123] ; #114 (162, 87.0%) [110 111 148] ; #115 (161, 87.1%) [13 37 39] ; #116 (158, 87.2%) [13 70] ; #117 (157, 87.2%) [13 17 82] ; #118 (150, 87.3%) [146] ; #119 (150, 87.4%) [125] ; #120 (149, 87.4%) [147] ; #121 (149, 87.5%) [109] ; #122 (147, 87.6%) [21] ; #123 (144, 87.6%) [13 41] ; #124 (141, 87.7%) [13 16 63 64] ; #125 (140, 87.7%) [46 129] ; #126 (139, 87.8%) [4 89] ; #127 (139, 87.9%) [133] ; #128 (139, 87.9%) [61] ; #129 (136, 88.0%) [13 17 21 39] ; #130 (132, 88.1%) [13 16 39] ; #131 (127, 88.1%) [1 3] ; #132 (127, 88.2%) [64] ; #133 (127, 88.2%) [21 39] ; #134 (126, 88.3%) [168] ; #135 (125, 88.3%) [65 115] ; #136 (124, 88.4%) [13 21 63] ; #137 (122, 88.4%) [1] ; #138 (121, 88.5%) [13 21 35] ; #139 (121, 88.6%) [82] ; #140 (119, 88.6%) [13 16 23] ; #141 (115, 88.7%) [1 3 13] ; #142 (115, 88.7%) [173 176 183 196 199 200 235] ; #143 (115, 88.8%) [140] ; #144 (112, 88.8%) [13 21 39 63] ; #145 (108, 88.9%) [152] ; #146 (107, 88.9%) [13 17 63] ; #147 (107, 89.0%) [13 64 82 107] ; #148 (106, 89.0%) [13 14 17 63] ; #149 (106, 89.0%) [3 23] ; #150 (103, 89.1%) [13 16 63] ; #151 (101, 89.1%) [145] ; #152 (101, 89.2%) [54] ; #153 (99, 89.2%) [13 16 21] ; #154 (99, 89.3%) [181 182] ; #155 (97, 89.3%) [35 39] ; #156 (96, 89.4%) [13 20] ; #157 (96, 89.4%) [100 204] ; #158 (96, 89.4%) [13 64] ; #159 (95, 89.5%) [14 35] ; #160 (94, 89.5%) [13 82 107] ; #161 (91, 89.6%) [13 16 17] ; #162 (91, 89.6%) [129] ; #163 (90, 89.6%) [91] ; #164 (89, 89.7%) [91 134] ; #165 (89, 89.7%) [17] ; #166 (88, 89.8%) [13 17 23] ; #167 (88, 89.8%) [88 99 105] ; #168 (87, 89.8%) [58] ; #169 (86, 89.9%) [38] ; #170 (84, 89.9%) [13 21 35 39] ; #171 (84, 90.0%) [13 14 90] ; #172 (84, 90.0%) [13 35 63] ; #173 (81, 90.0%) [13 14 16 35] ; #174 (81, 90.1%) [15] ; #175 (80, 90.1%) [18 39] ; #176 (79, 90.1%) [13 21 118] ; #177 (79, 90.2%) [67] ; #178 (78, 90.2%) [13 17 39] ; #179 (78, 90.2%) [13 15] ; #180 (78, 90.3%) [31 135 157] ; #181 (78, 90.3%) [23 39] ; #182 (78, 90.3%) [2 13 17 39] ; #183 (77, 90.4%) [13 23 63] ; #184 (77, 90.4%) [61 115] ; #185 (77, 90.5%) [54 55] ; #186 (76, 90.5%) [227] ; #187 (75, 90.5%) [13 21 37 39] ; #188 (74, 90.6%) [3 13 23] ; #189 (73, 90.6%) [3 37] ; #190 (73, 90.6%) [0 13 23] ; #191 (72, 90.6%) [178 179 191] ; #192 (72, 90.7%) [165] ; #193 (72, 90.7%) [2 13 17 21 39] ; #194 (71, 90.7%) [93] ; #195 (70, 90.8%) [40] ; #196 (68, 90.8%) [39 63] ; #197 (68, 90.8%) [13 83] ; #198 (68, 90.9%) [13 37 70] ; #199 (67, 90.9%) [1 2 3] ; #200 (67, 90.9%) [3 22] ; #201 (66, 91.0%) [2 13] ; #202 (66, 91.0%) [3 21 23 39] ; #203 (66, 91.0%) [82 107] ; #204 (65, 91.0%) [181 182 183] ; #205 (64, 91.1%) [13 14 16] ; #206 (64, 91.1%) [39 70] ; #207 (63, 91.1%) [285] ; #208 (62, 91.2%) [33 135 157] ; #209 (60, 91.2%) [13 16 64] ; #210 (60, 91.2%) [1 3 13 38] ; #211 (60, 91.2%) [13 15 63] ; #212 (60, 91.3%) [2 3 13 14 15 16 22] ; #213 (60, 91.3%) [134 167] ; #214 (60, 91.3%) [13 39 82] ; #215 (59, 91.3%) [1 2 3 13 17] ; #216 (59, 91.4%) [13 14 17] ; #217 (59, 91.4%) [20 70] ; #218 (59, 91.4%) [0 1] ; #219 (58, 91.4%) [153] ; #220 (58, 91.5%) [37 39] ; #221 (58, 91.5%) [18 38] ; #222 (58, 91.5%) [13 63 64] ; #223 (58, 91.6%) [13 35 39] ; #224 (57, 91.6%) [13 21 37] ; #225 (57, 91.6%) [16 23] ; #226 (57, 91.6%) [17 18] ; #227 (57, 91.7%) [14 23] ; #228 (56, 91.7%) [0 1 2] ; #229 (56, 91.7%) [0 23] ; #230 (56, 91.7%) [3 13 16 22 23 35] ; #231 (55, 91.8%) [13 14 63] ; #232 (55, 91.8%) [36] ; #233 (54, 91.8%) [159] ; #234 (54, 91.8%) [113 137] ; #235 (54, 91.8%) [89 108] ; #236 (54, 91.9%) [45 112 141] ; #237 (53, 91.9%) [1 3 13 17] ; #238 (53, 91.9%) [107] ; #239 (53, 91.9%) [16 63] ; #240 (53, 92.0%) [2 13 21 23 39] ; #241 (52, 92.0%) [13 23 36] ; #242 (52, 92.0%) [115 127] ; #243 (52, 92.0%) [92 94] ; #244 (52, 92.1%) [1 23] ; #245 (52, 92.1%) [1 13 17] ; #246 (51, 92.1%) [38 64] ; #247 (51, 92.1%) [2 13 37] ; #248 (51, 92.2%) [13 37 39 70] ; #249 (50, 92.2%) [23 36] ; #250 (49, 92.2%) [3 13 39] ; #251 (48, 92.2%) [1 2 3 13] ; #252 (48, 92.2%) [178] ; #253 (48, 92.3%) [131 170] ; #254 (48, 92.3%) [2 37] ; #255 (47, 92.3%) [158] ; #256 (47, 92.3%) [70 93] ; #257 (47, 92.3%) [63 64] ; #258 (47, 92.4%) [37 70] ; #259 (46, 92.4%) [1 3 13 39] ; #260 (46, 92.4%) [175 183 196] ; #261 (46, 92.4%) [177] ; #262 (46, 92.4%) [171 172 177] ; #263 (46, 92.5%) [3 13 17] ; #264 (46, 92.5%) [21 118] ; #265 (45, 92.5%) [13 17 64] ; #266 (45, 92.5%) [163] ; #267 (45, 92.5%) [2 13 23 39] ; #268 (45, 92.6%) [13 82 83] ; #269 (44, 92.6%) [13 23 39] ; #270 (44, 92.6%) [13 16 21 39] ; #271 (44, 92.6%) [172 208 243 246 247 249 260 261 263 264 290] ; #272 (44, 92.6%) [175 176] ; #273 (44, 92.7%) [172 208 243 246 247 249 261 263 264 286 289] ; #274 (44, 92.7%) [172 208 243 246 247 249 261 263 264 287] ; #275 (44, 92.7%) [172 173 176 208 243 246 247 249] ; #276 (44, 92.7%) [148 171 172] ; #277 (44, 92.7%) [112 126 141] ; #278 (44, 92.8%) [1 3 39] ; #279 (43, 92.8%) [61 127] ; #280 (43, 92.8%) [13 93] ; #281 (42, 92.8%) [2 13 14 16 35 39] ; #282 (42, 92.8%) [1 3 13 16 22 23 35] ; #283 (42, 92.9%) [178 179 191 212 213 269 270 271 272] ; #284 (42, 92.9%) [176] ; #285 (42, 92.9%) [167] ; #286 (42, 92.9%) [3 13 14 17 35 59 79] ; #287 (41, 92.9%) [4 13] ; #288 (41, 93.0%) [18 38 39] ; #289 (41, 93.0%) [18 23] ; #290 (40, 93.0%) [13 14 15 16] ; #291 (40, 93.0%) [175] ; #292 (40, 93.0%) [91 92 134 168] ; #293 (40, 93.0%) [91 92 168] ; #294 (40, 93.1%) [90] ; #295 (40, 93.1%) [2 23 39] ; #296 (40, 93.1%) [14 35 90] ; #297 (39, 93.1%) [13 14 17 35] ; #298 (39, 93.1%) [38 39] ; #299 (38, 93.1%) [13 16 35] ; #300 (38, 93.2%) [131 284] ; #301 (38, 93.2%) [126 131] ; #302 (38, 93.2%) [3 13 14 23] ; #303 (38, 93.2%) [2 37 41] ; #304 (37, 93.2%) [13 23 82] ; #305 (37, 93.2%) [0 2 3] ; #306 (37, 93.3%) [2 23] ; #307 (36, 93.3%) [2 13 16 39] ; #308 (36, 93.3%) [173 176 237 241] ; #309 (36, 93.3%) [172 208 243 246 247 249 261 263 264 273 286 287 288] ; #310 (36, 93.3%) [169] ; #311 (36, 93.3%) [110 148] ; #312 (36, 93.4%) [3 13 22] ; #313 (36, 93.4%) [3 13 14 17 21 22 23 35] ; #314 (35, 93.4%) [13 20 39] ; #315 (35, 93.4%) [295] ; #316 (35, 93.4%) [82 83] ; #317 (35, 93.4%) [0 13 17] ; #318 (34, 93.5%) [183 196 197 198] ; #319 (34, 93.5%) [94] ; #320 (34, 93.5%) [3 13 23 64] ; #321 (34, 93.5%) [69] ; #322 (34, 93.5%) [45 151 152] ; #323 (34, 93.5%) [13 36] ; #324 (33, 93.5%) [2 13 14 15 16 21 23 39] ; #325 (33, 93.6%) [13 14 64] ; #326 (33, 93.6%) [13 14 23] ; #327 (33, 93.6%) [16 39] ; #328 (33, 93.6%) [2 13 20 39] ; #329 (33, 93.6%) [13 39 70] ; #330 (32, 93.6%) [276 297 298] ; #331 (32, 93.6%) [172 178 206 209 247 249 257] ; #332 (32, 93.7%) [158 159] ; #333 (32, 93.7%) [110 215] ; #334 (32, 93.7%) [100 131 204] ; #335 (32, 93.7%) [100 148 204] ; #336 (32, 93.7%) [35 37] ; #337 (32, 93.7%) [26] ; #338 (32, 93.7%) [2 13 37 39] ; #339 (31, 93.8%) [4 13 23] ; #340 (31, 93.8%) [45 137] ; #341 (31, 93.8%) [2 18 39] ; #342 (31, 93.8%) [14 39] ; #343 (31, 93.8%) [13 90] ; #344 (30, 93.8%) [13 15 39 63] ; #345 (30, 93.8%) [2 3 22 23 37] ; #346 (30, 93.9%) [13 14 37] ; #347 (30, 93.9%) [13 14 16 21] ; #348 (30, 93.9%) [3 22 39] ; #349 (30, 93.9%) [3 22 23 41] ; #350 (30, 93.9%) [171 172 175] ; #351 (30, 93.9%) [105] ; #352 (30, 93.9%) [3 13 17 21 23] ; #353 (30, 93.9%) [23 82] ; #354 (30, 94.0%) [1 2 3 18 22 23 37] ; #355 (30, 94.0%) [16 37] ; #356 (30, 94.0%) [14 90] ; #357 (30, 94.0%) [13 82 83 107] ; #358 (29, 94.0%) [2 13 14 35] ; #359 (29, 94.0%) [13 17 82 107] ; #360 (29, 94.0%) [13 16 26] ; #361 (29, 94.1%) [3 14 35] ; #362 (29, 94.1%) [35 37 39] ; #363 (29, 94.1%) [2 13 23] ; #364 (28, 94.1%) [1 3 13 14 35 59] ; #365 (28, 94.1%) [2 3 22 37 41] ; #366 (28, 94.1%) [1 3 13 14 17 22 35 59] ; #367 (28, 94.1%) [2 3 13 23] ; #368 (28, 94.1%) [3 22 37 39] ; #369 (28, 94.2%) [173 176] ; #370 (28, 94.2%) [139] ; #371 (28, 94.2%) [115 132] ; #372 (28, 94.2%) [3 13 16 22 35] ; #373 (28, 94.2%) [20] ; #374 (28, 94.2%) [14 35 39] ; #375 (28, 94.2%) [0 13 17 21] ; #376 (27, 94.2%) [13 14 21 26] ; #377 (27, 94.3%) [13 14 15 16 21 23] ; #378 (27, 94.3%) [1 13] ; #379 (27, 94.3%) [18 20] ; #380 (26, 94.3%) [2 13 16 21 39] ; #381 (26, 94.3%) [13 17 20] ; #382 (26, 94.3%) [13 14 63 90] ; #383 (26, 94.3%) [240] ; #384 (26, 94.3%) [171 172 176 183 196 199 235] ; #385 (26, 94.3%) [171 172 173 176 183 196 199 235] ; #386 (26, 94.4%) [3 13 22 37 39] ; #387 (26, 94.4%) [70 115] ; #388 (26, 94.4%) [3 13 14 16 21 22] ; #389 (26, 94.4%) [20 39 70] ; #390 (25, 94.4%) [13 17 23 82] ; #391 (25, 94.4%) [3 22 41] ; #392 (25, 94.4%) [2 3 13 14 17 22 23 35 36] ; #393 (25, 94.4%) [108 132] ; #394 (25, 94.4%) [91 134 168] ; #395 (25, 94.5%) [17 39] ; #396 (25, 94.5%) [1 11 13] ; #397 (25, 94.5%) [13 38 64] ; #398 (24, 94.5%) [0 1 2 3 13 17] ; #399 (24, 94.5%) [2 13 14 16 21 39 60] ; #400 (24, 94.5%) [13 14 35 90] ; #401 (24, 94.5%) [13 14 21 60 76] ; #402 (24, 94.5%) [171 172 173 176] ; #403 (24, 94.5%) [91 134 148 265] ; #404 (24, 94.6%) [3 13 23 39] ; #405 (24, 94.6%) [88 128] ; #406 (24, 94.6%) [3 13 14 15 16 21 22 23] ; #407 (24, 94.6%) [2 13 39 70] ; #408 (24, 94.6%) [2 13 21 37 39] ; #409 (24, 94.6%) [1 3 22 23 41] ; #410 (24, 94.6%) [13 40] ; #411 (24, 94.6%) [13 35 37] ; #412 (23, 94.6%) [13 17 63 82] ; #413 (23, 94.7%) [13 16 21 23] ; #414 (23, 94.7%) [186] ; #415 (23, 94.7%) [175 196] ; #416 (23, 94.7%) [3 14] ; #417 (23, 94.7%) [63 70] ; #418 (23, 94.7%) [3 4] ; #419 (23, 94.7%) [0 13 21] ; #420 (22, 94.7%) [13 21 23] ; #421 (22, 94.7%) [13 18] ; #422 (22, 94.7%) [13 17 21 23] ; #423 (22, 94.8%) [0 13 14] ; #424 (22, 94.8%) [131 165 170] ; #425 (22, 94.8%) [1 2 3 38 116] ; #426 (22, 94.8%) [3 13 22 41] ; #427 (22, 94.8%) [3 13 21 37 39 59 79] ; #428 (22, 94.8%) [1 18] ; #429 (22, 94.8%) [45 112 125 141] ; #430 (22, 94.8%) [1 13 23] ; #431 (22, 94.8%) [13 107] ; #432 (22, 94.8%) [1 3 22] ; #433 (22, 94.9%) [13 37 82] ; #434 (21, 94.9%) [13 14 21] ; #435 (21, 94.9%) [13 14 15 21 23] ; #436 (21, 94.9%) [3 21 22 39] ; #437 (21, 94.9%) [155] ; #438 (21, 94.9%) [66 162] ; #439 (21, 94.9%) [64 82] ; #440 (21, 94.9%) [3 13 14 17 21 22 35] ; #441 (21, 94.9%) [1 2 3 18] ; #442 (21, 94.9%) [17 18 39] ; #443 (21, 94.9%) [1 3 18] ; #444 (20, 95.0%) [2 13 16 21 23 39] ; #445 (20, 95.0%) [13 20 93] ; #446 (20, 95.0%) [1 3 13 21 39 59] ; #447 (20, 95.0%) [1 2 3 13 14 17 22 23 35 36] ; #448 (20, 95.0%) [1 3 13 14 17 21 22 23 35] ; #449 (20, 95.0%) [2 3 18 22 37] ; #450 (20, 95.0%) [13 14 21 23] ; #451 (20, 95.0%) [13 14 16 21 60] ; #452 (20, 95.0%) [2 3 13 22 23 37 41] ; #453 (20, 95.0%) [276 298] ; #454 (20, 95.0%) [178 179 190 191 210 211 212 213 269 270 271 272] ; #455 (20, 95.1%) [176 183 196 199 200] ; #456 (20, 95.1%) [161] ; #457 (20, 95.1%) [0 37] ; #458 (20, 95.1%) [110 148 215] ; #459 (20, 95.1%) [91 167] ; #460 (20, 95.1%) [91 134 167] ; #461 (20, 95.1%) [3 13 21 23] ; #462 (20, 95.1%) [3 13 22 23 35 39] ; #463 (20, 95.1%) [46 202] ; #464 (20, 95.1%) [1 2 3 22 37] ; #465 (20, 95.1%) [2 23 37 39] ; #466 (20, 95.1%) [1 11 13 17] ; #467 (20, 95.2%) [15 39] ; #468 (20, 95.2%) [13 72] ; #469 (19, 95.2%) [13 17 83] ; #470 (19, 95.2%) [2 13 14] ; #471 (19, 95.2%) [0 3 23 39] ; #472 (19, 95.2%) [3 22 37] ; #473 (19, 95.2%) [3 21 39] ; #474 (19, 95.2%) [75] ; #475 (19, 95.2%) [3 13 14 16 21 22 23] ; #476 (18, 95.2%) [2 13 15 37] ; #477 (18, 95.2%) [13 21 26] ; #478 (18, 95.3%) [13 16 35 39] ; #479 (18, 95.3%) [13 15 39] ; #480 (18, 95.3%) [2 9 10 13 14 15 16 17 21] ; #481 (18, 95.3%) [13 14 39] ; #482 (18, 95.3%) [2 3 18 22 23 37] ; #483 (18, 95.3%) [2 3 13 37] ; #484 (18, 95.3%) [13 14 16 35 39] ; #485 (18, 95.3%) [238] ; #486 (18, 95.3%) [176 196 199 200 235] ; #487 (18, 95.3%) [176 183 196 199 200 235] ; #488 (18, 95.3%) [176 186 199 236 237] ; #489 (18, 95.3%) [173 176 196 199 200 235] ; #490 (18, 95.3%) [173 175 176 183 196] ; #491 (18, 95.4%) [173] ; #492 (18, 95.4%) [239] ; #493 (18, 95.4%) [112 125 141] ; #494 (18, 95.4%) [91 192] ; #495 (18, 95.4%) [91 148 265] ; #496 (18, 95.4%) [91 134 192] ; #497 (18, 95.4%) [3 13 22 37] ; #498 (18, 95.4%) [76] ; #499 (18, 95.4%) [3 13 14 15 16 21 22 23 39] ; #500 (18, 95.4%) [18 63] ; #501 (18, 95.4%) [1 2 3 17 18] ; #502 (18, 95.4%) [16 37 39] ; #503 (18, 95.5%) [1 3 22 39] ; #504 (18, 95.5%) [14 15] ; #505 (18, 95.5%) [13 92] ; #506 (18, 95.5%) [13 70 93] ; #507 (17, 95.5%) [2 13 14 35 37] ; #508 (17, 95.5%) [13 20 70] ; #509 (17, 95.5%) [1 3 13 22] ; #510 (17, 95.5%) [13 14 15 17 21 23] ; #511 (17, 95.5%) [173 181 182] ; #512 (17, 95.5%) [132 160] ; #513 (17, 95.5%) [110 144] ; #514 (17, 95.5%) [3 13 64] ; #515 (17, 95.5%) [1 2 3 22 23 37 41] ; #516 (17, 95.6%) [23 35] ; #517 (17, 95.6%) [2 21] ; #518 (16, 95.6%) [13 23 82 107] ; #519 (16, 95.6%) [13 21 117] ; #520 (16, 95.6%) [13 21 23 39] ; #521 (16, 95.6%) [1 3 13 22 23 35 39] ; #522 (16, 95.6%) [13 17 26] ; #523 (16, 95.6%) [13 16 38 64] ; #524 (16, 95.6%) [13 14 38 63] ; #525 (16, 95.6%) [13 14 37 90] ; #526 (16, 95.6%) [2 3 22 23 37 41] ; #527 (16, 95.6%) [13 14 35 64] ; #528 (16, 95.6%) [13 14 16 60 76] ; #529 (16, 95.6%) [2 3 13 22 37 41] ; #530 (16, 95.7%) [179 191] ; #531 (16, 95.7%) [178 179 191 208 209 242 243] ; #532 (16, 95.7%) [3 21 23 118] ; #533 (16, 95.7%) [172 178 206 209 247 257 258 259 260 261 262 263 264] ; #534 (16, 95.7%) [173 175 176] ; #535 (16, 95.7%) [2 3 13 14 15 16 17 21 22 37] ; #536 (16, 95.7%) [3 13 38 63 64] ; #537 (16, 95.7%) [70 92 93] ; #538 (16, 95.7%) [3 13 17 21 37 39 59 79] ; #539 (16, 95.7%) [3 13 17 21] ; #540 (16, 95.7%) [3 13 16 17 59 79] ; #541 (16, 95.7%) [1 13 21 37 39] ; #542 (16, 95.7%) [1 13 17 70] ; #543 (16, 95.7%) [21 23 39] ; #544 (16, 95.8%) [20 23 36] ; #545 (16, 95.8%) [1 13 14 35] ; #546 (16, 95.8%) [18 38 64] ; #547 (16, 95.8%) [16 82 107] ; #548 (16, 95.8%) [13 115] ; #549 (16, 95.8%) [13 76] ; #550 (16, 95.8%) [1 3 18 39] ; #551 (16, 95.8%) [1 2 3 13 22 23 37 41] ; #552 (16, 95.8%) [13 38 82 107] ; #553 (16, 95.8%) [13 38 64 83] ; #554 (16, 95.8%) [13 38 64 107] ; #555 (16, 95.8%) [13 38 63 64 107] ; #556 (15, 95.8%) [13 17 64 82] ; #557 (15, 95.8%) [13 16 64 82 107] ; #558 (15, 95.8%) [13 14 21 60] ; #559 (15, 95.9%) [13 14 17 23 36] ; #560 (15, 95.9%) [2 3 13 14 59 60 76 79 114] ; #561 (15, 95.9%) [2 3 13 14 17 22 35 36] ; #562 (15, 95.9%) [2 3 13 14 16 35 59 114] ; #563 (15, 95.9%) [92 134 168] ; #564 (15, 95.9%) [91 168] ; #565 (15, 95.9%) [3 13 21] ; #566 (15, 95.9%) [3 13 16 21 22 23 35 37 39] ; #567 (15, 95.9%) [36 70 82 107] ; #568 (15, 95.9%) [1 11 18 19 20] ; #569 (15, 95.9%) [16 21] ; #570 (15, 95.9%) [14 37] ; #571 (15, 95.9%) [13 38 64 82 107] ; #572 (15, 95.9%) [13 38 63] ; #573 (14, 95.9%) [13 17 35 64] ; #574 (14, 96.0%) [0 13 14 23 35] ; #575 (14, 96.0%) [2 9 10 13 14 21] ; #576 (14, 96.0%) [13 16 21 39 63] ; #577 (14, 96.0%) [13 16 21 63] ; #578 (14, 96.0%) [13 16 17 23] ; #579 (14, 96.0%) [1 3 13 14 22 35 59 63 64] ; #580 (14, 96.0%) [2 3 23] ; #581 (14, 96.0%) [1 3 13 14 16 22 23 35] ; #582 (14, 96.0%) [5] ; #583 (14, 96.0%) [3 35] ; #584 (14, 96.0%) [176 181 182 183] ; #585 (14, 96.0%) [3 21 23] ; #586 (14, 96.0%) [171 172 175 176] ; #587 (14, 96.0%) [171 172 176] ; #588 (14, 96.0%) [3 18 23 64] ; #589 (14, 96.0%) [171 172 173] ; #590 (14, 96.1%) [3 18 23] ; #591 (14, 96.1%) [3 18 22 37 39] ; #592 (14, 96.1%) [139 181 182] ; #593 (14, 96.1%) [3 14 23] ; #594 (14, 96.1%) [92 168] ; #595 (14, 96.1%) [92 134] ; #596 (14, 96.1%) [70 72] ; #597 (14, 96.1%) [3 13 16 22 35 38] ; #598 (14, 96.1%) [3 13 16 22 63 64] ; #599 (14, 96.1%) [37 70 93] ; #600 (14, 96.1%) [1 13 21 37] ; #601 (14, 96.1%) [3 13 14 16 22 23 35] ; #602 (14, 96.1%) [23 60] ; #603 (14, 96.1%) [1 13 14 17] ; #604 (14, 96.1%) [14 17 35] ; #605 (14, 96.1%) [1 2 3 13 59] ; #606 (14, 96.2%) [13 63 70] ; #607 (13, 96.2%) [0 13 16] ; #608 (13, 96.2%) [2 13 14 16 35 37] ; #609 (13, 96.2%) [13 16 37] ; #610 (13, 96.2%) [13 14 17 35 63] ; #611 (13, 96.2%) [4 13 23 39] ; #612 (13, 96.2%) [185] ; #613 (13, 96.2%) [112 204] ; #614 (13, 96.2%) [1 23 36] ; #615 (13, 96.2%) [60 76] ; #616 (13, 96.2%) [39 46] ; #617 (13, 96.2%) [37 107] ; #618 (13, 96.2%) [3 13 14 16 17 22 35 59] ; #619 (13, 96.2%) [1 11 18] ; #620 (13, 96.2%) [2 14 35 37] ; #621 (13, 96.2%) [13 106] ; #622 (12, 96.2%) [2 13 16 35 37] ; #623 (12, 96.3%) [13 23 106] ; #624 (12, 96.3%) [2 13 15 17] ; #625 (12, 96.3%) [13 21 39 76] ; #626 (12, 96.3%) [13 21 38] ; #627 (12, 96.3%) [13 21 37 63 118] ; #628 (12, 96.3%) [1 2 3 13 14 35 59 114] ; #629 (12, 96.3%) [2 13 14 17] ; #630 (12, 96.3%) [13 18 23] ; #631 (12, 96.3%) [1 3 13 20 39] ; #632 (12, 96.3%) [1 3 13 16 21 22 23 35 37 39] ; #633 (12, 96.3%) [13 16 21 35] ; #634 (12, 96.3%) [13 16 21 35 39] ; #635 (12, 96.3%) [13 15 21] ; #636 (12, 96.3%) [13 14 36] ; #637 (12, 96.3%) [1 3 13 14 15 16 21 22 23] ; #638 (12, 96.3%) [13 14 35 63 90] ; #639 (12, 96.3%) [13 14 21 35 90] ; #640 (12, 96.3%) [0 108] ; #641 (12, 96.3%) [13 14 17 23] ; #642 (12, 96.4%) [4 13 35] ; #643 (12, 96.4%) [4 13 39] ; #644 (12, 96.4%) [2 3 13 15 17 37 59 79] ; #645 (12, 96.4%) [178 191 206 207 208 243 244 245 246 247 248 249] ; #646 (12, 96.4%) [3 21 118] ; #647 (12, 96.4%) [173 175 176 183 196 197 198] ; #648 (12, 96.4%) [172 178 242 243 246 247 249 261 263 264 286 289] ; #649 (12, 96.4%) [172 178 242 243 246 247 249 261 263 264 287] ; #650 (12, 96.4%) [0 2 3 13 14 17 21 22 23 37] ; #651 (12, 96.4%) [172 178 242 243 246 247 249 260 261 263 264 290] ; #652 (12, 96.4%) [172 173 176 178 242 243 246 247 249] ; #653 (12, 96.4%) [172 173 175 176 208 243 246 247 249 260 261 262 291] ; #654 (12, 96.4%) [3 18 22 37] ; #655 (12, 96.4%) [140 165] ; #656 (12, 96.4%) [2 3 13 14 23] ; #657 (12, 96.4%) [92 137] ; #658 (12, 96.4%) [91 134 192 265] ; #659 (12, 96.4%) [91 148 192] ; #660 (12, 96.5%) [91 134 148 296] ; #661 (12, 96.5%) [91 134 148 192] ; #662 (12, 96.5%) [3 13 22 35 39] ; #663 (12, 96.5%) [3 13 21 35 39 59 79] ; #664 (12, 96.5%) [3 13 21 23 39] ; #665 (12, 96.5%) [3 13 17 23] ; #666 (12, 96.5%) [60] ; #667 (12, 96.5%) [3 13 17 20 23] ; #668 (12, 96.5%) [45 46] ; #669 (12, 96.5%) [39 83] ; #670 (12, 96.5%) [37 82 107] ; #671 (12, 96.5%) [37 39 70] ; #672 (12, 96.5%) [37 41] ; #673 (12, 96.5%) [3 13 14 15 16 21 22] ; #674 (12, 96.5%) [23 26] ; #675 (12, 96.5%) [0 1 2 3 13 14 17 21 22 23 37] ; #676 (12, 96.5%) [20 39] ; #677 (12, 96.5%) [2 23 39 60] ; #678 (12, 96.5%) [1 13 14 17 23 36] ; #679 (12, 96.6%) [2 20 39 70] ; #680 (12, 96.6%) [18 20 23] ; #681 (12, 96.6%) [1 2 3 17 18 22 23 35 36 37] ; #682 (12, 96.6%) [2 13 21 23 37 39] ; #683 (12, 96.6%) [13 63 107] ; #684 (12, 96.6%) [13 64 82] ; #685 (12, 96.6%) [2 13 20 23 39] ; #686 (11, 96.6%) [2 13 16 37] ; #687 (11, 96.6%) [13 17 23 64] ; #688 (11, 96.6%) [2 3 17 22 23 35 36 37] ; #689 (11, 96.6%) [2 3 17 18 22 35 36 37] ; #690 (11, 96.6%) [4 132] ; #691 (11, 96.6%) [84 133] ; #692 (11, 96.6%) [3 13 21 39] ; #693 (11, 96.6%) [70 92] ; #694 (11, 96.6%) [61 149] ; #695 (11, 96.6%) [54 68] ; #696 (11, 96.6%) [1 13 23 36] ; #697 (11, 96.6%) [3 13 14 22 36] ; #698 (11, 96.6%) [23 76] ; #699 (11, 96.7%) [23 41] ; #700 (11, 96.7%) [21 35 39] ; #701 (11, 96.7%) [2 14] ; #702 (11, 96.7%) [14 89] ; #703 (11, 96.7%) [13 70 92 93] ; #704 (11, 96.7%) [13 35 64] ; #705 (10, 96.7%) [1 3 13 59] ; #706 (10, 96.7%) [13 23 39 63] ; #707 (10, 96.7%) [13 23 36 37] ; #708 (10, 96.7%) [13 21 76] ; #709 (10, 96.7%) [13 21 39 61] ; #710 (10, 96.7%) [2 13 14 39] ; #711 (10, 96.7%) [13 20 23] ; #712 (10, 96.7%) [1 3 13 21 22 35 39 59] ; #713 (10, 96.7%) [1 3 13 21] ; #714 (10, 96.7%) [1 2 3 13 14 16 22 35 59 114] ; #715 (10, 96.7%) [178 179 190 266 267 268] ; #716 (10, 96.7%) [13 16 26 41] ; #717 (10, 96.7%) [2 9 10 13 14 16 17 21 23] ; #718 (10, 96.7%) [13 15 21 23] ; #719 (10, 96.7%) [2 3 22 59 114] ; #720 (10, 96.7%) [2 3 59 114] ; #721 (10, 96.8%) [2 3 37] ; #722 (10, 96.8%) [0 13 14 17 23] ; #723 (10, 96.8%) [13 14 41] ; #724 (10, 96.8%) [13 14 17 21 23] ; #725 (10, 96.8%) [6] ; #726 (10, 96.8%) [2 3 13 17 37 59 79] ; #727 (10, 96.8%) [2 3 13 15 21 22 23 37] ; #728 (10, 96.8%) [178 179 191 212 213 214] ; #729 (10, 96.8%) [172 178 206 209 247 257 258 259 261 263 264 273] ; #730 (10, 96.8%) [3 18 39] ; #731 (10, 96.8%) [2 3 13 14 17 22 23 35 37] ; #732 (10, 96.8%) [3 18] ; #733 (10, 96.8%) [110 111 299] ; #734 (10, 96.8%) [2 3 13 14 15 16 17 21 22 23 37] ; #735 (10, 96.8%) [0 2 3 13 14 17 22 23 35 37] ; #736 (10, 96.8%) [92 148] ; #737 (10, 96.8%) [1 39] ; #738 (10, 96.8%) [3 13 22 23 37 39] ; #739 (10, 96.8%) [3 13 22 23 35] ; #740 (10, 96.8%) [67 84] ; #741 (10, 96.8%) [66] ; #742 (10, 96.8%) [0 18] ; #743 (10, 96.9%) [64 75] ; #744 (10, 96.9%) [63 64 82] ; #745 (10, 96.9%) [3 13 17 22 23 35 37] ; #746 (10, 96.9%) [46 203] ; #747 (10, 96.9%) [0 16] ; #748 (10, 96.9%) [35 90] ; #749 (10, 96.9%) [3 13 14 16 22 23 37] ; #750 (10, 96.9%) [33 145] ; #751 (10, 96.9%) [31 145] ; #752 (10, 96.9%) [172 178 242 243 246 247 249 261 263 264 273 286 287 288] ; #753 (10, 96.9%) [3 4 22] ; #754 (10, 96.9%) [1 2 3 22 23 37] ; #755 (10, 96.9%) [2 37 89] ; #756 (10, 96.9%) [1 13 14 21] ; #757 (10, 96.9%) [18 39 63] ; #758 (10, 96.9%) [0 13 35] ; #759 (10, 96.9%) [1 3 22 37 39] ; #760 (10, 96.9%) [13 92 93] ; #761 (10, 96.9%) [1 3 21 22 39] ; #762 (10, 96.9%) [13 63 82] ; #763 (10, 96.9%) [13 63 64 82] ; #764 (10, 96.9%) [13 35 40] ; #765 (9, 96.9%) [2 13 16 23 39] ; #766 (9, 97.0%) [13 21 37 118] ; #767 (9, 97.0%) [2 13 14 37] ; #768 (9, 97.0%) [13 21 37 39 63] ; #769 (9, 97.0%) [2 13 14 22 59 60 61] ; #770 (9, 97.0%) [13 17 36] ; #771 (9, 97.0%) [2 9 13 14 60 61 80] ; #772 (9, 97.0%) [13 16 37 39] ; #773 (9, 97.0%) [2 9 10 13 14 16 17 21] ; #774 (9, 97.0%) [1 2] ; #775 (9, 97.0%) [13 14 17 36] ; #776 (9, 97.0%) [13 14 16 21 26 67] ; #777 (9, 97.0%) [4 23] ; #778 (9, 97.0%) [0 2 3 13 14 37 59 79 114] ; #779 (9, 97.0%) [1 2 13 23 39] ; #780 (9, 97.0%) [1 2 13 37] ; #781 (9, 97.0%) [0 2 3 13 14 17 21 22 37] ; #782 (9, 97.0%) [3 22 23 37] ; #783 (9, 97.0%) [3 21] ; #784 (9, 97.0%) [2 3 13 14 16 17 22 23] ; #785 (9, 97.0%) [92 93] ; #786 (9, 97.0%) [74] ; #787 (9, 97.0%) [3 13 16 21 22 35 37 39] ; #788 (9, 97.0%) [1 13 17 37] ; #789 (9, 97.0%) [2 89] ; #790 (9, 97.0%) [21 39 46] ; #791 (9, 97.1%) [18 106] ; #792 (9, 97.1%) [18 71] ; #793 (9, 97.1%) [18 63 64 72] ; #794 (9, 97.1%) [1 13 14] ; #795 (9, 97.1%) [2 17 37] ; #796 (9, 97.1%) [2 13 37 41] ; #797 (9, 97.1%) [1 3 22 37] ; #798 (9, 97.1%) [14 23 35] ; #799 (9, 97.1%) [0 13 20] ; #800 (9, 97.1%) [13 89] ; #801 (9, 97.1%) [13 74] ; #802 (9, 97.1%) [1 3 17] ; #803 (9, 97.1%) [1 3 18 22 23 37] ; #804 (9, 97.1%) [13 38 64 82] ; #805 (9, 97.1%) [13 37 39 82] ; #806 (9, 97.1%) [2 13 17] ; #807 (9, 97.1%) [13 36 82 107] ; #808 (8, 97.1%) [2 13 16] ; #809 (8, 97.1%) [13 23 41] ; #810 (8, 97.1%) [1 3 13 39 70] ; #811 (8, 97.1%) [13 21 63 118] ; #812 (8, 97.1%) [1 2 3 13 15 17 22 37 59] ; #813 (8, 97.1%) [13 21 35 117] ; #814 (8, 97.1%) [1 3 13 22 37 39] ; #815 (8, 97.1%) [171 172 176 177] ; #816 (8, 97.1%) [13 21 26 37] ; #817 (8, 97.2%) [13 21 26 63 64] ; #818 (8, 97.2%) [1 2 3 13 15 21 22 23 37] ; #819 (8, 97.2%) [1 3 13 22 23 37 39] ; #820 (8, 97.2%) [2 13 14 35 39] ; #821 (8, 97.2%) [13 21 23 39 63] ; #822 (8, 97.2%) [13 21 23 35 63] ; #823 (8, 97.2%) [1 3 13 22 23 35] ; #824 (8, 97.2%) [13 20 70 93] ; #825 (8, 97.2%) [0 13 14 90] ; #826 (8, 97.2%) [1 3 13 21 35 39 59] ; #827 (8, 97.2%) [2 13 14 17 37] ; #828 (8, 97.2%) [13 17 63 64] ; #829 (8, 97.2%) [13 17 63 64 82] ; #830 (8, 97.2%) [1 3 13 21 22 37 39 59 61] ; #831 (8, 97.2%) [2 13 14 15 16 21 39] ; #832 (8, 97.2%) [1 2 3 13 14 17 22 23 35 37] ; #833 (8, 97.2%) [0 13 14 35 90] ; #834 (8, 97.2%) [13 17 21 63 64] ; #835 (8, 97.2%) [13 17 23 36] ; #836 (8, 97.2%) [13 17 20 23 36] ; #837 (8, 97.2%) [1 3 13 17 22 23 35 37] ; #838 (8, 97.2%) [13 17 20 23] ; #839 (8, 97.2%) [1 3 13 17 21 22 37 39 59] ; #840 (8, 97.2%) [2 9 13 14 15 16 17 21 22] ; #841 (8, 97.2%) [13 16 23 26] ; #842 (8, 97.2%) [2 9 10 13 14 16 17 21 23 35 41] ; #843 (8, 97.2%) [1 2 3 13 14 15 16 17 21 22 23 37] ; #844 (8, 97.2%) [2 3 22 37] ; #845 (8, 97.3%) [1 3 13 14 16 22 23 37] ; #846 (8, 97.3%) [13 14 39 63] ; #847 (8, 97.3%) [13 14 35 37] ; #848 (8, 97.3%) [13 14 21 90] ; #849 (8, 97.3%) [1 3 4] ; #850 (8, 97.3%) [2 3 17 18 22 23 35 36 37] ; #851 (8, 97.3%) [2 3 14 23] ; #852 (8, 97.3%) [13 14 16 37] ; #853 (8, 97.3%) [2 3 13 23 82] ; #854 (8, 97.3%) [13 14 16 21 35 39] ; #855 (8, 97.3%) [13 14 16 21 26 37] ; #856 (8, 97.3%) [0 82 83] ; #857 (8, 97.3%) [250 251 252 253 254] ; #858 (8, 97.3%) [250 253 255 256] ; #859 (8, 97.3%) [223] ; #860 (8, 97.3%) [196 199 200 201] ; #861 (8, 97.3%) [179 190] ; #862 (8, 97.3%) [176 177] ; #863 (8, 97.3%) [173 176 183 196 197 198] ; #864 (8, 97.3%) [0 35] ; #865 (8, 97.3%) [166] ; #866 (8, 97.3%) [152 250 253 256] ; #867 (8, 97.3%) [97 105] ; #868 (8, 97.3%) [3 13 59 79] ; #869 (8, 97.3%) [3 13 35 37] ; #870 (8, 97.3%) [178 179 191 212 213 214 269 270 271] ; #871 (8, 97.3%) [172 173 176 178 191 209 243 244 245 246 247 248 249 257] ; #872 (8, 97.3%) [0 20 70] ; #873 (8, 97.4%) [81] ; #874 (8, 97.4%) [77 78 205 216 217 226] ; #875 (8, 97.4%) [3 13 21 37 59 79] ; #876 (8, 97.4%) [3 13 21 37] ; #877 (8, 97.4%) [3 13 17 21 37] ; #878 (8, 97.4%) [1 2 9 10 13 14] ; #879 (8, 97.4%) [0 2 37] ; #880 (8, 97.4%) [46 224 225] ; #881 (8, 97.4%) [3 13 16 59 79] ; #882 (8, 97.4%) [41 82] ; #883 (8, 97.4%) [38 64 75] ; #884 (8, 97.4%) [3 13 14 60 61] ; #885 (8, 97.4%) [0 1 2 3 13 14 17 22 23 35 37] ; #886 (8, 97.4%) [36 82] ; #887 (8, 97.4%) [36 41] ; #888 (8, 97.4%) [35 89] ; #889 (8, 97.4%) [1 2 3 22 37 41] ; #890 (8, 97.4%) [23 90] ; #891 (8, 97.4%) [23 83] ; #892 (8, 97.4%) [23 63] ; #893 (8, 97.4%) [23 60 76 90] ; #894 (8, 97.4%) [1 2 3 18 38 116] ; #895 (8, 97.4%) [23 38] ; #896 (8, 97.4%) [21 82] ; #897 (8, 97.4%) [1 2 3 18 116] ; #898 (8, 97.4%) [2 37 39] ; #899 (8, 97.4%) [18 20 26 63 64] ; #900 (8, 97.4%) [17 82] ; #901 (8, 97.5%) [2 18] ; #902 (8, 97.5%) [16 64] ; #903 (8, 97.5%) [14 39 90] ; #904 (8, 97.5%) [14 35 37 90] ; #905 (8, 97.5%) [13 67] ; #906 (8, 97.5%) [13 39 82 83] ; #907 (8, 97.5%) [13 39 76] ; #908 (8, 97.5%) [13 37 64] ; #909 (8, 97.5%) [13 35 37 39] ; #910 (7, 97.5%) [13 23 37] ; #911 (7, 97.5%) [13 20 39 70] ; #912 (7, 97.5%) [13 20 21] ; #913 (7, 97.5%) [0 13 14 35] ; #914 (7, 97.5%) [2 12] ; #915 (7, 97.5%) [13 17 23 63 82] ; #916 (7, 97.5%) [2 9 13 14 80] ; #917 (7, 97.5%) [2 9 13 14 15 16 17 21 22 26] ; #918 (7, 97.5%) [13 16 63 64 70] ; #919 (7, 97.5%) [1 3 13 14 59] ; #920 (7, 97.5%) [13 15 37] ; #921 (7, 97.5%) [2 3 22 37 38] ; #922 (7, 97.5%) [1 3 4 22] ; #923 (7, 97.5%) [0 93] ; #924 (7, 97.5%) [5 13 38 64] ; #925 (7, 97.5%) [5 13 38 64 82] ; #926 (7, 97.5%) [4 13 35 39] ; #927 (7, 97.5%) [4 13 17] ; #928 (7, 97.5%) [3 35 39] ; #929 (7, 97.5%) [3 22 39 59] ; #930 (7, 97.5%) [176 181 182] ; #931 (7, 97.5%) [173 183 196] ; #932 (7, 97.6%) [154] ; #933 (7, 97.6%) [3 15] ; #934 (7, 97.6%) [3 13 26 59 79] ; #935 (7, 97.6%) [3 13 22 26 90] ; #936 (7, 97.6%) [70 91 92] ; #937 (7, 97.6%) [68 162] ; #938 (7, 97.6%) [64 82 106] ; #939 (7, 97.6%) [64 75 82] ; #940 (7, 97.6%) [64 75 82 106] ; #941 (7, 97.6%) [181 182 276] ; #942 (7, 97.6%) [39 108] ; #943 (7, 97.6%) [37 89] ; #944 (7, 97.6%) [1 2 3 38] ; #945 (7, 97.6%) [36 82 107] ; #946 (7, 97.6%) [3 13 14 21 22 35 59] ; #947 (7, 97.6%) [3 13 14 17 21 22 23 26 35] ; #948 (7, 97.6%) [0 14] ; #949 (7, 97.6%) [18 82] ; #950 (7, 97.6%) [2 35 37] ; #951 (7, 97.6%) [1 13 14 21 23] ; #952 (7, 97.6%) [18 38 82] ; #953 (7, 97.6%) [18 38 42 64] ; #954 (7, 97.6%) [18 38 63] ; #955 (7, 97.6%) [1 11 18 20] ; #956 (7, 97.6%) [2 14 37 41] ; #957 (7, 97.6%) [16 26] ; #958 (7, 97.6%) [16 21 82] ; #959 (7, 97.6%) [2 13 63] ; #960 (7, 97.6%) [2 13 37 63] ; #961 (7, 97.6%) [2 13 35 37] ; #962 (7, 97.6%) [14 15 67] ; #963 (7, 97.6%) [14 15 90] ; #964 (7, 97.7%) [0 13 16 23] ; #965 (7, 97.7%) [1 3 17 18] ; #966 (6, 97.7%) [2 13 16 37 41] ; #967 (6, 97.7%) [13 26 67] ; #968 (6, 97.7%) [13 26 37] ; #969 (6, 97.7%) [1 2 3 13 17 22 37 59] ; #970 (6, 97.7%) [2 13 16 23] ; #971 (6, 97.7%) [0 13 16 21] ; #972 (6, 97.7%) [2 13 16 21 23 35 39 63] ; #973 (6, 97.7%) [2 13 15 17 37] ; #974 (6, 97.7%) [2 13 14 59] ; #975 (6, 97.7%) [0 2 3 23] ; #976 (6, 97.7%) [1 3 13 22 37] ; #977 (6, 97.7%) [13 21 23 37 39] ; #978 (6, 97.7%) [13 20 26 63 64] ; #979 (6, 97.7%) [2 13 14 21 35 90] ; #980 (6, 97.7%) [0 13 14 35 67] ; #981 (6, 97.7%) [1 2 3 13 14 20 22 35 59 114] ; #982 (6, 97.7%) [178 179 191 269 270 271] ; #983 (6, 97.7%) [13 17 41] ; #984 (6, 97.7%) [13 17 26 36] ; #985 (6, 97.7%) [2 12 18] ; #986 (6, 97.7%) [1 3 13 20] ; #987 (6, 97.7%) [13 16 67] ; #988 (6, 97.7%) [13 16 21 37 39] ; #989 (6, 97.7%) [0 2 3 13 14 17 22 35 37] ; #990 (6, 97.7%) [13 15 17] ; #991 (6, 97.7%) [13 14 80] ; #992 (6, 97.7%) [13 14 60 76 90] ; #993 (6, 97.7%) [2 3 22 23 37 41 82] ; #994 (6, 97.7%) [13 14 35 39] ; #995 (6, 97.7%) [13 14 26 36] ; #996 (6, 97.7%) [13 14 23 80] ; #997 (6, 97.7%) [13 14 20 21 23] ; #998 (6, 97.7%) [1 2 59 60 61] ; #999 (6, 97.7%) [1 2 59] ; #1000 (6, 97.7%) [2 3 13 37 59 79] ; #1001 (6, 97.8%) [1 2 39] ; #1002 (6, 97.8%) [13 14 17 21 23 26] ; #1003 (6, 97.8%) [1 2 37 41] ; #1004 (6, 97.8%) [13 14 16 21 35 90] ; #1005 (6, 97.8%) [13 14 16 21 35] ; #1006 (6, 97.8%) [13 14 16 21 26] ; #1007 (6, 97.8%) [2 3 13 22 37] ; #1008 (6, 97.8%) [13 14 15 17 21 90] ; #1009 (6, 97.8%) [13 14 15 21 90] ; #1010 (6, 97.8%) [13 14 15 16 21] ; #1011 (6, 97.8%) [0 13 14 15 16 21 23] ; #1012 (6, 97.8%) [10 13 14 23] ; #1013 (6, 97.8%) [5 18 38 64] ; #1014 (6, 97.8%) [2 3 13 17 22 37 59] ; #1015 (6, 97.8%) [4 13 21 39] ; #1016 (6, 97.8%) [91 148 296] ; #1017 (6, 97.8%) [2 3 13 16 35 37] ; #1018 (6, 97.8%) [0 40] ; #1019 (6, 97.8%) [3 59 67] ; #1020 (6, 97.8%) [3 39 59] ; #1021 (6, 97.8%) [293] ; #1022 (6, 97.8%) [281] ; #1023 (6, 97.8%) [175 179 191] ; #1024 (6, 97.8%) [205] ; #1025 (6, 97.8%) [183 196 199 201] ; #1026 (6, 97.8%) [2 3 13 15 17 37] ; #1027 (6, 97.8%) [178 179 180] ; #1028 (6, 97.8%) [0 3 21 23 39] ; #1029 (6, 97.8%) [176 186 278] ; #1030 (6, 97.8%) [3 22 23 37 39] ; #1031 (6, 97.8%) [173 176 230] ; #1032 (6, 97.8%) [173 176 183 196] ; #1033 (6, 97.8%) [173 176 178 179 191] ; #1034 (6, 97.8%) [91 192 265] ; #1035 (6, 97.8%) [172 197 208 243 244 246 247 249 257 261 263 264 286 289] ; #1036 (6, 97.8%) [172 197 208 243 244 246 247 249 257 260 261 263 264 290] ; #1037 (6, 97.8%) [172 173 176 197 208 243 244 246 247 249 257] ; #1038 (6, 97.9%) [172 173 175 176 208 243 246 247 249] ; #1039 (6, 97.9%) [2 3 13 14 17 22 35 37] ; #1040 (6, 97.9%) [3 18 22 23 37] ; #1041 (6, 97.9%) [164] ; #1042 (6, 97.9%) [3 18 20 23 64] ; #1043 (6, 97.9%) [176 183 196 199] ; #1044 (6, 97.9%) [134 168] ; #1045 (6, 97.9%) [2 3 13 14 16 21 26 35 37 59] ; #1046 (6, 97.9%) [3 17 18 20 23] ; #1047 (6, 97.9%) [1 2 12] ; #1048 (6, 97.9%) [176 196 199 200] ; #1049 (6, 97.9%) [3 13 76] ; #1050 (6, 97.9%) [93 121] ; #1051 (6, 97.9%) [92 232] ; #1052 (6, 97.9%) [3 13 35 37 39] ; #1053 (6, 97.9%) [1 37 41] ; #1054 (6, 97.9%) [3 13 22 37 39 59] ; #1055 (6, 97.9%) [82 106] ; #1056 (6, 97.9%) [3 13 22 35] ; #1057 (6, 97.9%) [1 2 9 10 13 14 21] ; #1058 (6, 97.9%) [73] ; #1059 (6, 97.9%) [1 2 9 10 13 14 16 17 21 23 35 41] ; #1060 (6, 97.9%) [3 13 21 35] ; #1061 (6, 97.9%) [0 1 2 3 59 114] ; #1062 (6, 97.9%) [1 21 39] ; #1063 (6, 97.9%) [1 2 9 10 13 14 15 16 17 21 47] ; #1064 (6, 97.9%) [3 13 17 59 79] ; #1065 (6, 97.9%) [3 13 17 22 35 37] ; #1066 (6, 97.9%) [46 205] ; #1067 (6, 97.9%) [3 13 17 20] ; #1068 (6, 97.9%) [0 2 3 13 14 16 35 37 59 79] ; #1069 (6, 97.9%) [46 81 97] ; #1070 (6, 97.9%) [3 13 16 22 90] ; #1071 (6, 97.9%) [2 3 13 14 37] ; #1072 (6, 97.9%) [1 14] ; #1073 (6, 97.9%) [39 63 64] ; #1074 (6, 97.9%) [3 13 14 37 59 79] ; #1075 (6, 97.9%) [3 13 14 35 79] ; #1076 (6, 98.0%) [3 13 14 35 67 79] ; #1077 (6, 98.0%) [3 13 14 35] ; #1078 (6, 98.0%) [0 1 2 3 22 37 59 114] ; #1079 (6, 98.0%) [36 37 70 82 107] ; #1080 (6, 98.0%) [3 13 14 16 22 37] ; #1081 (6, 98.0%) [1 2 3 22 41] ; #1082 (6, 98.0%) [27] ; #1083 (6, 98.0%) [3 13 14 15 16 21 22 39] ; #1084 (6, 98.0%) [3 13 14 15 67] ; #1085 (6, 98.0%) [23 82 83] ; #1086 (6, 98.0%) [23 75] ; #1087 (6, 98.0%) [3 11 13 17] ; #1088 (6, 98.0%) [23 40] ; #1089 (6, 98.0%) [23 38 75] ; #1090 (6, 98.0%) [23 37] ; #1091 (6, 98.0%) [2 41] ; #1092 (6, 98.0%) [2 39 60] ; #1093 (6, 98.0%) [21 37 39] ; #1094 (6, 98.0%) [1 13 14 37] ; #1095 (6, 98.0%) [21 23] ; #1096 (6, 98.0%) [1 13 14 21 67] ; #1097 (6, 98.0%) [18 72] ; #1098 (6, 98.0%) [0 13 37] ; #1099 (6, 98.0%) [18 63 64 82] ; #1100 (6, 98.0%) [18 64] ; #1101 (6, 98.0%) [18 63 64] ; #1102 (6, 98.0%) [0 2 13 17] ; #1103 (6, 98.0%) [2 23 35 39] ; #1104 (6, 98.0%) [18 26 63 64] ; #1105 (6, 98.0%) [1 13 14 16 21 60 67] ; #1106 (6, 98.0%) [18 23 38] ; #1107 (6, 98.0%) [18 23 36 41] ; #1108 (6, 98.0%) [17 40] ; #1109 (6, 98.0%) [17 23] ; #1110 (6, 98.0%) [17 18 64 82] ; #1111 (6, 98.0%) [1 11] ; #1112 (6, 98.0%) [17 18 23] ; #1113 (6, 98.1%) [16 21 39] ; #1114 (6, 98.1%) [16 21 23] ; #1115 (6, 98.1%) [2 14 23 39] ; #1116 (6, 98.1%) [1 3 38] ; #1117 (6, 98.1%) [14 67 90] ; #1118 (6, 98.1%) [1 3 35 59 67] ; #1119 (6, 98.1%) [1 3 35 39 59] ; #1120 (6, 98.1%) [14 35 67 90] ; #1121 (6, 98.1%) [0 1 13 23] ; #1122 (6, 98.1%) [14 35 39 90] ; #1123 (6, 98.1%) [2 13 35] ; #1124 (6, 98.1%) [1 3 22 35 59 67] ; #1125 (6, 98.1%) [2 13 23 39 70] ; #1126 (6, 98.1%) [1 3 22 35 37 39 59] ; #1127 (6, 98.1%) [2 3 13 15 21 22 37] ; #1128 (6, 98.1%) [172 197 208 243 244 246 247 249 257 261 263 264 287] ; #1129 (6, 98.1%) [1 3 18 22 23 37 39] ; #1130 (6, 98.1%) [2 13 21] ; #1131 (6, 98.1%) [13 63 64 72] ; #1132 (6, 98.1%) [1 3 18 22 37 39] ; #1133 (6, 98.1%) [2 13 20 39 70] ; #1134 (6, 98.1%) [1 3 18 22 23] ; #1135 (6, 98.1%) [13 39 83] ; #1136 (6, 98.1%) [2 13 20 21 39] ; #1137 (6, 98.1%) [178 179] ; #1138 (6, 98.1%) [2 13 18] ; #1139 (6, 98.1%) [2 13 17 82] ; #1140 (6, 98.1%) [13 37 107] ; #1141 (6, 98.1%) [0 3 13 17 21 23] ; #1142 (6, 98.1%) [13 37 39 76] ; #1143 (6, 98.1%) [13 37 41 82 107] ; #1144 (6, 98.1%) [13 36 37] ; #1145 (6, 98.1%) [0 1 2 3] ; #1146 (5, 98.1%) [13 23 70] ; #1147 (5, 98.1%) [13 23 63 82] ; #1148 (5, 98.1%) [13 23 64] ; #1149 (5, 98.1%) [13 23 63 64 72 93] ; #1150 (5, 98.1%) [0 13 16 21 23] ; #1151 (5, 98.1%) [0 2 13 14 15 17 21 23 37] ; #1152 (5, 98.2%) [13 21 61] ; #1153 (5, 98.2%) [3 18 64] ; #1154 (5, 98.2%) [13 21 35 37] ; #1155 (5, 98.2%) [13 21 23 63] ; #1156 (5, 98.2%) [13 21 23 35] ; #1157 (5, 98.2%) [13 20 64 70 93] ; #1158 (5, 98.2%) [13 20 64 93] ; #1159 (5, 98.2%) [2 13 14 23 35 37] ; #1160 (5, 98.2%) [2 13 14 21 23] ; #1161 (5, 98.2%) [2 13 14 15 21 23] ; #1162 (5, 98.2%) [1 3 13 21 22 35] ; #1163 (5, 98.2%) [13 17 36 70] ; #1164 (5, 98.2%) [2 12 13 14 17] ; #1165 (5, 98.2%) [13 17 21 63] ; #1166 (5, 98.2%) [2 9 13 14 15 16 17 21] ; #1167 (5, 98.2%) [13 16 39 63] ; #1168 (5, 98.2%) [13 16 21 118] ; #1169 (5, 98.2%) [13 16 21 26] ; #1170 (5, 98.2%) [13 16 21 23 35 63] ; #1171 (5, 98.2%) [0 13 14 21 23] ; #1172 (5, 98.2%) [0 13 14 21] ; #1173 (5, 98.2%) [2 9 10 12 13 14 16 21] ; #1174 (5, 98.2%) [13 15 23] ; #1175 (5, 98.2%) [13 14 76] ; #1176 (5, 98.2%) [2 3 22 37 41 82] ; #1177 (5, 98.2%) [13 14 60 90] ; #1178 (5, 98.2%) [2 3 22 37 63 64 75] ; #1179 (5, 98.2%) [13 14 60 76] ; #1180 (5, 98.2%) [1 3 13 14 16 21 22 23] ; #1181 (5, 98.2%) [13 14 37 64] ; #1182 (5, 98.2%) [13 14 26] ; #1183 (5, 98.2%) [13 14 21 23 41] ; #1184 (5, 98.2%) [75 82] ; #1185 (5, 98.2%) [2 3 14 22 59 114] ; #1186 (5, 98.2%) [13 14 17 23 41] ; #1187 (5, 98.2%) [4 13 28] ; #1188 (5, 98.2%) [4 13 15 17 21 23] ; #1189 (5, 98.2%) [2 3 13 16 22] ; #1190 (5, 98.2%) [175 178 179 190 191 210 211 212 213 214] ; #1191 (5, 98.2%) [172 175 178 206 207 208 209] ; #1192 (5, 98.2%) [2 3 13 14 35 37 79] ; #1193 (5, 98.2%) [2 3 13 14 16 22 59 60 76] ; #1194 (5, 98.2%) [125 165] ; #1195 (5, 98.2%) [2 3 13 14 16 17 22 23 35 37] ; #1196 (5, 98.3%) [0 2 3 13 14 17 22 23 35 36] ; #1197 (5, 98.3%) [2 3 13 14 16 17 21 22 23 35 37] ; #1198 (5, 98.3%) [172 197 208 243 244 246 247 249 257 261 263 264 273 286 287 288] ; #1199 (5, 98.3%) [2 3 4] ; #1200 (5, 98.3%) [173 176 181 182 183 196 235 276] ; #1201 (5, 98.3%) [2 3 13 14 17 22 23 35 36 37] ; #1202 (5, 98.3%) [3 13 22 23 37] ; #1203 (5, 98.3%) [173 176 181 182 183 196 235] ; #1204 (5, 98.3%) [64 107] ; #1205 (5, 98.3%) [63 82] ; #1206 (5, 98.3%) [176 186] ; #1207 (5, 98.3%) [61 76] ; #1208 (5, 98.3%) [0 37 89] ; #1209 (5, 98.3%) [3 13 16 22] ; #1210 (5, 98.3%) [39 82] ; #1211 (5, 98.3%) [3 13 16 21 22 23 35 37] ; #1212 (5, 98.3%) [38 64 83] ; #1213 (5, 98.3%) [38 75] ; #1214 (5, 98.3%) [3 14 76] ; #1215 (5, 98.3%) [36 70] ; #1216 (5, 98.3%) [204] ; #1217 (5, 98.3%) [3 13 14 15 16 17 21 22 23] ; #1218 (5, 98.3%) [23 70] ; #1219 (5, 98.3%) [3 22 37 82] ; #1220 (5, 98.3%) [23 45] ; #1221 (5, 98.3%) [1 13 17 20] ; #1222 (5, 98.3%) [21 37] ; #1223 (5, 98.3%) [2 23 37] ; #1224 (5, 98.3%) [1 13 14 17 21 23] ; #1225 (5, 98.3%) [17 41] ; #1226 (5, 98.3%) [2 14 39] ; #1227 (5, 98.3%) [183 196 199 200 201] ; #1228 (5, 98.3%) [14 68] ; #1229 (5, 98.3%) [14 60 76 89] ; #1230 (5, 98.3%) [0 13 21 23] ; #1231 (5, 98.3%) [14 41] ; #1232 (5, 98.3%) [2 13 26 37] ; #1233 (5, 98.3%) [14 17 21 23] ; #1234 (5, 98.3%) [65 113 115] ; #1235 (5, 98.3%) [13 95] ; #1236 (5, 98.3%) [0 13 20 23] ; #1237 (5, 98.3%) [2 13 21 35 37] ; #1238 (5, 98.3%) [2 13 21 23] ; #1239 (5, 98.3%) [13 63 70 93] ; #1240 (5, 98.3%) [175 179 191 195] ; #1241 (5, 98.4%) [13 36 63] ; #1242 (5, 98.4%) [13 28] ; #1243 (4, 98.4%) [13 26 82] ; #1244 (4, 98.4%) [1 2 3 13 16 22 35 37] ; #1245 (4, 98.4%) [2 13 16 26 37] ; #1246 (4, 98.4%) [1 3 13 70] ; #1247 (4, 98.4%) [3 22 23] ; #1248 (4, 98.4%) [13 23 39 82] ; #1249 (4, 98.4%) [3 18 22] ; #1250 (4, 98.4%) [2 13 14 76 90] ; #1251 (4, 98.4%) [13 23 35] ; #1252 (4, 98.4%) [13 21 82] ; #1253 (4, 98.4%) [1 3 13 38 70] ; #1254 (4, 98.4%) [13 21 63 117] ; #1255 (4, 98.4%) [2 13 14 39 60] ; #1256 (4, 98.4%) [13 21 39 82] ; #1257 (4, 98.4%) [1 3 13 22 59] ; #1258 (4, 98.4%) [1 2 3 13 15 22 59 63 64] ; #1259 (4, 98.4%) [2 13 14 35 90] ; #1260 (4, 98.4%) [2 13 14 35 66] ; #1261 (4, 98.4%) [2 13 14 35 39 90] ; #1262 (4, 98.4%) [13 21 23 37] ; #1263 (4, 98.4%) [1 3 13 22 23 37] ; #1264 (4, 98.4%) [1 3 13 22 23] ; #1265 (4, 98.4%) [1 2 3 13 15 17 22 37] ; #1266 (4, 98.4%) [1 3 13 21 59] ; #1267 (4, 98.4%) [2 13 14 21 60 76] ; #1268 (4, 98.4%) [2 13 14 21 35 37 90] ; #1269 (4, 98.4%) [1 3 13 21 35] ; #1270 (4, 98.4%) [1 2 3 13 14 21 35 59] ; #1271 (4, 98.4%) [1 3 13 21 22 39 59] ; #1272 (4, 98.4%) [1 3 13 21 22 39 59 61] ; #1273 (4, 98.4%) [1 3 13 21 22 37 61] ; #1274 (4, 98.4%) [13 17 70] ; #1275 (4, 98.4%) [13 17 64 94] ; #1276 (4, 98.4%) [1 3 13 21 22 37 59] ; #1277 (4, 98.4%) [1 3 13 21 22 37 39 59] ; #1278 (4, 98.4%) [13 17 57] ; #1279 (4, 98.4%) [2 13 14 15 16 21 39 90] ; #1280 (4, 98.4%) [13 17 36 41] ; #1281 (4, 98.4%) [1 2 3 13 14 17 22 23 35 36 37] ; #1282 (4, 98.4%) [13 17 21 82] ; #1283 (4, 98.4%) [1 2 3 13 14 17 21 22 23 37] ; #1284 (4, 98.4%) [2 13 18 23 37] ; #1285 (4, 98.4%) [13 17 21 37 39] ; #1286 (4, 98.4%) [2 3 13 14 20 22 35 59 92 93 121] ; #1287 (4, 98.4%) [1 2 3 13 14 17 21 22 23 35 37] ; #1288 (4, 98.4%) [13 17 20 23 26 36] ; #1289 (4, 98.4%) [3 18 23 39] ; #1290 (4, 98.4%) [1 3 13 17 22 59] ; #1291 (4, 98.4%) [1 2 3 13 14 16 17 21 22 23 35 37] ; #1292 (4, 98.4%) [2 9 13 14 16 17 21] ; #1293 (4, 98.4%) [1 3 13 17 21 22 37] ; #1294 (4, 98.4%) [13 16 64 70] ; #1295 (4, 98.4%) [13 16 41] ; #1296 (4, 98.4%) [1 2 3 13 14 16 21 22 35 37 59] ; #1297 (4, 98.5%) [1 2 3 13 14 16 17 22 23 35 37] ; #1298 (4, 98.5%) [1 3 13 16 21 22 23 35 37] ; #1299 (4, 98.5%) [2 9 10 13 14 16 17 21 35 41] ; #1300 (4, 98.5%) [1 2 3 13 14 15 16 17 21 22 37] ; #1301 (4, 98.5%) [1 2 3 13 14 15 16 17 21 22 28 37 46] ; #1302 (4, 98.5%) [13 16 17 21 82] ; #1303 (4, 98.5%) [2 3 13 14 17 21 22 23 35 37] ; #1304 (4, 98.5%) [2 9 10 13 14] ; #1305 (4, 98.5%) [1 3 13 14 22 37 59] ; #1306 (4, 98.5%) [13 15 17 64] ; #1307 (4, 98.5%) [13 15 17 63] ; #1308 (4, 98.5%) [0 1 2 3 13 14 35] ; #1309 (4, 98.5%) [0 13 14 17 90] ; #1310 (4, 98.5%) [13 14 91] ; #1311 (4, 98.5%) [2 3 22 37 75] ; #1312 (4, 98.5%) [13 14 60] ; #1313 (4, 98.5%) [13 14 39 63 90] ; #1314 (4, 98.5%) [13 14 39 90] ; #1315 (4, 98.5%) [13 14 37 89] ; #1316 (4, 98.5%) [77 205 216 217 226] ; #1317 (4, 98.5%) [13 14 35 41] ; #1318 (4, 98.5%) [13 14 35 41 90] ; #1319 (4, 98.5%) [3 13 17 22 37 39 59] ; #1320 (4, 98.5%) [1 3 13 14 15 16 17 21 22 23] ; #1321 (4, 98.5%) [1 3 11 13 20] ; #1322 (4, 98.5%) [0 2 3 13 14 23] ; #1323 (4, 98.5%) [13 14 21 35] ; #1324 (4, 98.5%) [13 14 21 35 37 90] ; #1325 (4, 98.5%) [2 3 14 74] ; #1326 (4, 98.5%) [13 14 17 64] ; #1327 (4, 98.5%) [2 3 13 59 70 79 92 93 114 121] ; #1328 (4, 98.5%) [13 14 17 63 90] ; #1329 (4, 98.5%) [110 111 186] ; #1330 (4, 98.5%) [13 14 17 21 26] ; #1331 (4, 98.5%) [0 13 14 16 21 60] ; #1332 (4, 98.5%) [1 2 37] ; #1333 (4, 98.5%) [13 14 16 60 76 89] ; #1334 (4, 98.5%) [13 14 16 21 39] ; #1335 (4, 98.5%) [2 3 13 22 93] ; #1336 (4, 98.5%) [13 14 16 21 35 39 90] ; #1337 (4, 98.5%) [13 14 15 16 21 90] ; #1338 (4, 98.5%) [13 14 15] ; #1339 (4, 98.5%) [1 2 23 37 39] ; #1340 (4, 98.5%) [5 13 63 82] ; #1341 (4, 98.5%) [0 1 2 3 13 14 16 22 35 37] ; #1342 (4, 98.5%) [5 13 63] ; #1343 (4, 98.5%) [4 39] ; #1344 (4, 98.5%) [4 35 64] ; #1345 (4, 98.5%) [4 13 64] ; #1346 (4, 98.5%) [0 70] ; #1347 (4, 98.5%) [4 13 21] ; #1348 (4, 98.5%) [4 13 21 35 39] ; #1349 (4, 98.5%) [4 13 17 21 39] ; #1350 (4, 98.5%) [3 75] ; #1351 (4, 98.5%) [3 76] ; #1352 (4, 98.5%) [3 64] ; #1353 (4, 98.6%) [0 35 37] ; #1354 (4, 98.6%) [3 39 46] ; #1355 (4, 98.6%) [2 3 13 16 22 26 37 90] ; #1356 (4, 98.6%) [231] ; #1357 (4, 98.6%) [216 218 221] ; #1358 (4, 98.6%) [220] ; #1359 (4, 98.6%) [158 231] ; #1360 (4, 98.6%) [177 183 196 197 198] ; #1361 (4, 98.6%) [37 70 92 93] ; #1362 (4, 98.6%) [173 176 178] ; #1363 (4, 98.6%) [173 175 183 196] ; #1364 (4, 98.6%) [171 172 173 177] ; #1365 (4, 98.6%) [3 18 22 23] ; #1366 (4, 98.6%) [172 173 176 209 243 244 246 247 249 257 279] ; #1367 (4, 98.6%) [178 206 207 208] ; #1368 (4, 98.6%) [2 3 13 14 17 21 22 23 37] ; #1369 (4, 98.6%) [138 147] ; #1370 (4, 98.6%) [3 13 22 23] ; #1371 (4, 98.6%) [171 172 173 175 176] ; #1372 (4, 98.6%) [3 18 22 23 37 39] ; #1373 (4, 98.6%) [3 15 22 59 67] ; #1374 (4, 98.6%) [123 134] ; #1375 (4, 98.6%) [2 3 13 14 35 37] ; #1376 (4, 98.6%) [115 161] ; #1377 (4, 98.6%) [0 23 35 90] ; #1378 (4, 98.6%) [1 2 11] ; #1379 (4, 98.6%) [97 219 222] ; #1380 (4, 98.6%) [0 3 13 17 20 23 64] ; #1381 (4, 98.6%) [2 3 9 10 13 14 16 17 21 22 23] ; #1382 (4, 98.6%) [0 3 13 17] ; #1383 (4, 98.6%) [3 35 59] ; #1384 (4, 98.6%) [84 119] ; #1385 (4, 98.6%) [82 93] ; #1386 (4, 98.6%) [1 2 9 11 13 14 15 16 17] ; #1387 (4, 98.6%) [82 83 107] ; #1388 (4, 98.6%) [3 13 22 23 41] ; #1389 (4, 98.6%) [74 80] ; #1390 (4, 98.6%) [72] ; #1391 (4, 98.6%) [1 2 9 10 13 14 15 16 17 21 46] ; #1392 (4, 98.6%) [64 106] ; #1393 (4, 98.6%) [3 13 20 23 39] ; #1394 (4, 98.6%) [46 216 217] ; #1395 (4, 98.6%) [63 107] ; #1396 (4, 98.6%) [57] ; #1397 (4, 98.6%) [1 13 17 21 37 39] ; #1398 (4, 98.6%) [1 2 9 10 13 14 15 16 17] ; #1399 (4, 98.6%) [46 229] ; #1400 (4, 98.6%) [46 202 223] ; #1401 (4, 98.6%) [46 97 105] ; #1402 (4, 98.6%) [46 97 105 202] ; #1403 (4, 98.6%) [46 88 129] ; #1404 (4, 98.6%) [46 77 228] ; #1405 (4, 98.6%) [0 14 35] ; #1406 (4, 98.6%) [40 82] ; #1407 (4, 98.6%) [3 13 16 22 23] ; #1408 (4, 98.6%) [40 70 93] ; #1409 (4, 98.7%) [39 106] ; #1410 (4, 98.7%) [0 13 70] ; #1411 (4, 98.7%) [3 13 16 21 22 23] ; #1412 (4, 98.7%) [38 82] ; #1413 (4, 98.7%) [3 13 14 60 61 79] ; #1414 (4, 98.7%) [0 14 23] ; #1415 (4, 98.7%) [3 13 14 39 60 61] ; #1416 (4, 98.7%) [37 82] ; #1417 (4, 98.7%) [3 17 18 23] ; #1418 (4, 98.7%) [77 205 228 229] ; #1419 (4, 98.7%) [1 2 3 22 37 61] ; #1420 (4, 98.7%) [35 68 90] ; #1421 (4, 98.7%) [3 13 14 16 21 22 59 60] ; #1422 (4, 98.7%) [3 13 14 16 21 22 59] ; #1423 (4, 98.7%) [186 187] ; #1424 (4, 98.7%) [27 46 97 105] ; #1425 (4, 98.7%) [0 13 82 83] ; #1426 (4, 98.7%) [1 13 17 23 36] ; #1427 (4, 98.7%) [23 63 64 75] ; #1428 (4, 98.7%) [23 60 76] ; #1429 (4, 98.7%) [23 36 41] ; #1430 (4, 98.7%) [2 39 54] ; #1431 (4, 98.7%) [21 39 63] ; #1432 (4, 98.7%) [0 13 63] ; #1433 (4, 98.7%) [0 1 2 3 13 14 17 22 23 35 36] ; #1434 (4, 98.7%) [2 37 76] ; #1435 (4, 98.7%) [18 82 106] ; #1436 (4, 98.7%) [18 64 82 106] ; #1437 (4, 98.7%) [18 38 82 106] ; #1438 (4, 98.7%) [2 23 37 39 63] ; #1439 (4, 98.7%) [18 38 42] ; #1440 (4, 98.7%) [1 2 3 17 22 23 35 36 37] ; #1441 (4, 98.7%) [1 11 51 54] ; #1442 (4, 98.7%) [81 97 105] ; #1443 (4, 98.7%) [17 83] ; #1444 (4, 98.7%) [2 18 20 37] ; #1445 (4, 98.7%) [17 63] ; #1446 (4, 98.7%) [17 36 75] ; #1447 (4, 98.7%) [1 11 13 20] ; #1448 (4, 98.7%) [17 21 37 39] ; #1449 (4, 98.7%) [1 11 13 17 57] ; #1450 (4, 98.7%) [17 18 82] ; #1451 (4, 98.7%) [1 3 59] ; #1452 (4, 98.7%) [77 78 205 216 217] ; #1453 (4, 98.7%) [1 9 13 14 35] ; #1454 (4, 98.7%) [16 23 37] ; #1455 (4, 98.7%) [36 37] ; #1456 (4, 98.7%) [16 17 37] ; #1457 (4, 98.7%) [15 67] ; #1458 (4, 98.7%) [15 90] ; #1459 (4, 98.7%) [1 3 39 70] ; #1460 (4, 98.7%) [14 76 89] ; #1461 (4, 98.7%) [14 74] ; #1462 (4, 98.7%) [1 3 35 59] ; #1463 (4, 98.7%) [1 3 35] ; #1464 (4, 98.7%) [14 37 89 90] ; #1465 (4, 98.8%) [14 37 90] ; #1466 (4, 98.8%) [1 3 22 59] ; #1467 (4, 98.8%) [14 35 68 90] ; #1468 (4, 98.8%) [1 2 3 13 35] ; #1469 (4, 98.8%) [14 23 76] ; #1470 (4, 98.8%) [14 23 68] ; #1471 (4, 98.8%) [14 23 37 89 90] ; #1472 (4, 98.8%) [14 23 35 37 90] ; #1473 (4, 98.8%) [14 21] ; #1474 (4, 98.8%) [0 1 2 3 13 17 70] ; #1475 (4, 98.8%) [13 63 90] ; #1476 (4, 98.8%) [1 2 3 13 22 37] ; #1477 (4, 98.8%) [2 13 23 37 39] ; #1478 (4, 98.8%) [1 2 9 11 13 14] ; #1479 (4, 98.8%) [1 3 22 35 37] ; #1480 (4, 98.8%) [2 13 21 39 63] ; #1481 (4, 98.8%) [13 90 107] ; #1482 (4, 98.8%) [2 13 21 35] ; #1483 (4, 98.8%) [13 70 92] ; #1484 (4, 98.8%) [1 3 21 39] ; #1485 (4, 98.8%) [2 13 20 93] ; #1486 (4, 98.8%) [13 63 89] ; #1487 (4, 98.8%) [13 37 67] ; #1488 (4, 98.8%) [173 177] ; #1489 (4, 98.8%) [13 36 70 82 107] ; #1490 (3, 98.8%) [37 70 82] ; #1491 (3, 98.8%) [13 23 93] ; #1492 (3, 98.8%) [2 3 13 14 16 17 21 22 35 37] ; #1493 (3, 98.8%) [70 82 93] ; #1494 (3, 98.8%) [1 3 14 22 35 59 67] ; #1495 (3, 98.8%) [13 23 70 91] ; #1496 (3, 98.8%) [2 13 16 21 35] ; #1497 (3, 98.8%) [2 13 16 21 23 39 63] ; #1498 (3, 98.8%) [0 2 3 13 26 37 59 79 114] ; #1499 (3, 98.8%) [1 3 13 57] ; #1500 (3, 98.8%) [2 13 16 17 22] ; #1501 (3, 98.8%) [2 13 14 90] ; #1502 (3, 98.8%) [13 21 89] ; #1503 (3, 98.8%) [13 21 64] ; #1504 (3, 98.8%) [13 21 63 64] ; #1505 (3, 98.8%) [0 13 14 37 64] ; #1506 (3, 98.8%) [2 13 14 37 41] ; #1507 (3, 98.8%) [13 21 37 63] ; #1508 (3, 98.8%) [13 21 37 39 70] ; #1509 (3, 98.8%) [1 3 13 22 41] ; #1510 (3, 98.8%) [2 13 14 35 67] ; #1511 (3, 98.8%) [139 176 181 182] ; #1512 (3, 98.8%) [2 13 14 35 59 79] ; #1513 (3, 98.8%) [2 13 14 35 37 90] ; #1514 (3, 98.8%) [2 13 14 35 37 66] ; #1515 (3, 98.8%) [13 20 63] ; #1516 (3, 98.8%) [13 20 40] ; #1517 (3, 98.8%) [13 20 21 39] ; #1518 (3, 98.8%) [13 18 82] ; #1519 (3, 98.8%) [13 18 82 106] ; #1520 (3, 98.8%) [2 18 38 39] ; #1521 (3, 98.8%) [2 13 14 17 23 37] ; #1522 (3, 98.8%) [91 296] ; #1523 (3, 98.8%) [13 18 38] ; #1524 (3, 98.8%) [13 18 38 63] ; #1525 (3, 98.8%) [13 17 107] ; #1526 (3, 98.8%) [13 17 94] ; #1527 (3, 98.8%) [2 13 14 16 21 22 59] ; #1528 (3, 98.8%) [1 38] ; #1529 (3, 98.8%) [1 3 13 21 22] ; #1530 (3, 98.8%) [13 17 23 83] ; #1531 (3, 98.8%) [2 12 20 34] ; #1532 (3, 98.9%) [2 9 13 14 17 22 60 61 80] ; #1533 (3, 98.9%) [13 17 18 82 106] ; #1534 (3, 98.9%) [13 17 18 41] ; #1535 (3, 98.9%) [13 16 115] ; #1536 (3, 98.9%) [13 16 21 82] ; #1537 (3, 98.9%) [2 9 10 13 14 16 60] ; #1538 (3, 98.9%) [1 3 13 16 22 23] ; #1539 (3, 98.9%) [0 13 14 21 26] ; #1540 (3, 98.9%) [2 3 11 13 14 22 59 61 69 114] ; #1541 (3, 98.9%) [13 16 21 64 82 107] ; #1542 (3, 98.9%) [14 76] ; #1543 (3, 98.9%) [1 3 13 16 21 22 23] ; #1544 (3, 98.9%) [13 16 17 21 23 82] ; #1545 (3, 98.9%) [13 16 17 21] ; #1546 (3, 98.9%) [2 9 10 13 14 15 16 17 21 22 26] ; #1547 (3, 98.9%) [63 64 72] ; #1548 (3, 98.9%) [1 3 13 14 22 59 63 64] ; #1549 (3, 98.9%) [13 14 76 90] ; #1550 (3, 98.9%) [13 14 68] ; #1551 (3, 98.9%) [1 2 3 9 13 14 22 60 61] ; #1552 (3, 98.9%) [13 14 67 90] ; #1553 (3, 98.9%) [2 3 22 37 75 91] ; #1554 (3, 98.9%) [1 3 13 14 20 21 60 67] ; #1555 (3, 98.9%) [1 3 13 14 17 22 59] ; #1556 (3, 98.9%) [13 14 41 90] ; #1557 (3, 98.9%) [37 39 70 82] ; #1558 (3, 98.9%) [14 65] ; #1559 (3, 98.9%) [21 35] ; #1560 (3, 98.9%) [0 2 3 13 14 21 22 37 59 89] ; #1561 (3, 98.9%) [13 14 35 67 90] ; #1562 (3, 98.9%) [13 14 35 66 90] ; #1563 (3, 98.9%) [2 3 13 16 17 37] ; #1564 (3, 98.9%) [2 3 22 23 35 36 37] ; #1565 (3, 98.9%) [0 13 14 17 21 23] ; #1566 (3, 98.9%) [2 3 22 23 26 37] ; #1567 (3, 98.9%) [1 2 3 9 10 13 14 16 17 21 22 23] ; #1568 (3, 98.9%) [13 14 21 60 89] ; #1569 (3, 98.9%) [0 13 14 16 35] ; #1570 (3, 98.9%) [173 183 196 197 198 277] ; #1571 (3, 98.9%) [18 23 36] ; #1572 (3, 98.9%) [13 14 17 35 90] ; #1573 (3, 98.9%) [17 21 39] ; #1574 (3, 98.9%) [3 22 23 36 37] ; #1575 (3, 98.9%) [1 2 13 14 35 37] ; #1576 (3, 98.9%) [13 37 82 107] ; #1577 (3, 98.9%) [0 3] ; #1578 (3, 98.9%) [1 2 35 59] ; #1579 (3, 98.9%) [13 14 15 17] ; #1580 (3, 98.9%) [1 2 30] ; #1581 (3, 98.9%) [12] ; #1582 (3, 98.9%) [2 3 13 20 22 35 37] ; #1583 (3, 98.9%) [2 3 13 17 37 67] ; #1584 (3, 98.9%) [1 2 23 37] ; #1585 (3, 98.9%) [5 13 82] ; #1586 (3, 98.9%) [2 3 13 17 37 59 79 114] ; #1587 (3, 98.9%) [5 13] ; #1588 (3, 98.9%) [2 3 13 17 37 59 70 79] ; #1589 (3, 98.9%) [4 35 39] ; #1590 (3, 98.9%) [1 2 18] ; #1591 (3, 98.9%) [1 13 17 21 37] ; #1592 (3, 98.9%) [2 37 89 115] ; #1593 (3, 98.9%) [2 3 13 17 22 37] ; #1594 (3, 98.9%) [13 36 82] ; #1595 (3, 98.9%) [2 3 13 16 59 79 114] ; #1596 (3, 98.9%) [13 91] ; #1597 (3, 98.9%) [1 2 13 39] ; #1598 (3, 98.9%) [2 3 13 16 26 37] ; #1599 (3, 98.9%) [1 2 13 37 41 82 107] ; #1600 (3, 98.9%) [276] ; #1601 (3, 98.9%) [2 3 13 14 59 79 114] ; #1602 (3, 98.9%) [3 13 16 21 22 35 37 39 59] ; #1603 (3, 98.9%) [0 2 3 13 14 17 22 35 36] ; #1604 (3, 98.9%) [184 185] ; #1605 (3, 98.9%) [2 3 13 14 37 60 61 79] ; #1606 (3, 98.9%) [2 3 13 14 37 59 60 61] ; #1607 (3, 99.0%) [1 14 35] ; #1608 (3, 99.0%) [2 3 13 14 37 59 79 114] ; #1609 (3, 99.0%) [0 3 13 17 21] ; #1610 (3, 99.0%) [3 13 57] ; #1611 (3, 99.0%) [23 82 107] ; #1612 (3, 99.0%) [1 2 13 16 21 23 39] ; #1613 (3, 99.0%) [172 173 191 208 209 212 213 214 242 243 246 247 269 270 271] ; #1614 (3, 99.0%) [0 23 90] ; #1615 (3, 99.0%) [2 3 13 14 17 22 35 36 37] ; #1616 (3, 99.0%) [36 75] ; #1617 (3, 99.0%) [17 18 75] ; #1618 (3, 99.0%) [2 3 13 14 37 79] ; #1619 (3, 99.0%) [1 2 9 13 14 15 16 17 21] ; #1620 (3, 99.0%) [2 3 13 14 16 35 37 59 79] ; #1621 (3, 99.0%) [2 3 13 16 21 35 37] ; #1622 (3, 99.0%) [3 17 22 23 35 36 40] ; #1623 (3, 99.0%) [2 3 13 14 16 35 37 59 114] ; #1624 (3, 99.0%) [3 17 18 75] ; #1625 (3, 99.0%) [134 167 168] ; #1626 (3, 99.0%) [1 2 13 14 15 16 21 23 39] ; #1627 (3, 99.0%) [0 1 2 37] ; #1628 (3, 99.0%) [172 173 176 209 243 244 246 247 249 257 279 280] ; #1629 (3, 99.0%) [0 20 23 36] ; #1630 (3, 99.0%) [126 165] ; #1631 (3, 99.0%) [3 17 20] ; #1632 (3, 99.0%) [2 3 13 14 16 17 22 35 37] ; #1633 (3, 99.0%) [2 3 13 16 21 35 37 59 79] ; #1634 (3, 99.0%) [1 35 37] ; #1635 (3, 99.0%) [23 70 93] ; #1636 (3, 99.0%) [2 3 13 14 17 21 22 35 37] ; #1637 (3, 99.0%) [1 2 9 21] ; #1638 (3, 99.0%) [3 13 37] ; #1639 (3, 99.0%) [3 13 35 37 39 79] ; #1640 (3, 99.0%) [1 2 9 10 13 14 15 16 17 21 44] ; #1641 (3, 99.0%) [3 13 16 37 39 59 79] ; #1642 (3, 99.0%) [23 63 70] ; #1643 (3, 99.0%) [2 3 13 14 16 17 22] ; searching for minimal number of paths to cover 1644 sets Sun Jul 9 06:16:08 2006 ; found solution with 145 paths on Sun Jul 9 06:16:08 2006 ; estimated size of remaining search space 1152 ; minimal solution (145 paths) found on Sun Jul 9 06:16:08 2006 ; 0 [2607] 1 [2674] 2 [6051] 3 [8429] 4 [14616] 5 [48] 6 [10] 12 [35] 13 [28020] 14 [5015] 15 [937] 16 [4131] 17 [4265] 18 [1292] 20 [680] 21 [5529] 23 [5826] 26 [498] 27 [10] 30 [201] 31 [1491] 33 [1005] 35 [3822] 36 [596] 37 [3512] 38 [922] 39 [10110] 40 [136] 41 [925] 42 [4256] 45 [16689] 46 [11469] 51 [612] 54 [526] 57 [18] 58 [87] 60 [300] 61 [365] 63 [3342] 64 [1441] 65 [1774] 66 [41] 67 [215] 68 [5895] 69 [37] 70 [1160] 72 [67] 73 [6] 74 [30] 75 [106] 76 [237] 81 [710] 82 [1667] 83 [498] 84 [7596] 88 [1968] 89 [7790] 90 [577] 91 [8939] 92 [9114] 93 [337] 94 [6726] 95 [329] 97 [34] 99 [630] 105 [142] 106 [3809] 107 [633] 108 [589] 109 [149] 110 [15663] 112 [27024] 113 [10689] 115 [1749] 118 [589] 119 [669] 123 [748] 125 [13002] 126 [4378] 127 [280] 128 [3278] 129 [235] 130 [328] 131 [1645] 132 [759] 133 [150] 134 [1025] 135 [1303] 136 [7864] 137 [1050] 138 [411] 139 [45] 140 [127] 143 [309] 144 [12464] 145 [121] 146 [150] 147 [153] 148 [831] 150 [730] 152 [150] 153 [58] 154 [7] 155 [21] 156 [711] 158 [83] 159 [86] 161 [24] 163 [45] 164 [6] 165 [649] 166 [8] 167 [145] 168 [284] 169 [36] 170 [468] 172 [928] 173 [506] 175 [290] 176 [709] 177 [120] 178 [404] 179 [242] 181 [236] 185 [16] 186 [60] 194 [229] 196 [447] 204 [178] 205 [32] 216 [24] 220 [4] 223 [12] 227 [76] 231 [8] 234 [546] 238 [18] 239 [18] 240 [26] 250 [24] 276 [67] 281 [6] 285 [63] 293 [6] 295 [35] :begin :instance. ;qc_unif_set := *top* & qc_paths_traditional := *top* & [ ARGS.SYNSEM.LOCAL.CAT.HEAD "0" #| 28020 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH.LIST "1" #| 27024 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND "2" #| 16689 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "3" #| 15663 |#, ARGS.SYNSEM.PUNCT.LPUNCT "4" #| 14616 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.CASE "5" #| 13002 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM "6" #| 12464 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "7" #| 11469 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "8" #| 10689 |#, ARGS.SYNSEM.LOCAL.CONJ "9" #| 10110 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "10" #| 9114 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "11" #| 8939 |#, ARGS "12" #| 8429 |#, ARGS.SYNSEM.MODIFD.LPERIPH "14" #| 7790 |#, ARGS.SYNSEM.--SIND.SORT "15" #| 7596 |#, ARGS.SYNSEM.--SIND.E.TENSE "16" #| 6726 |#, ARGS.SYNSEM "17" #| 6051 |#, ARGS.SYNSEM.LOCAL.AGR.DIV "18" #| 5895 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "19" #| 5826 |#, ARGS.SYNSEM.--SIND "20" #| 5529 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "21" #| 5015 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX "22" #| 4378 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "23" #| 4265 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH "24" #| 4256 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "25" #| 4131 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "26" #| 3822 |#, ARGS.SYNSEM.LOCAL.CONT.MSG.PRED "27" #| 3809 |#, ARGS.SYNSEM.LEX "28" #| 3512 |#, ARGS.SYNSEM.LOCAL.CONT.MSG "29" #| 3342 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH.LIST "30" #| 3278 |#, ARGS.INFLECTD "31" #| 2674 |#, ARGS.SYNSEM.PUNCT.RPUNCT "32" #| 2607 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH "33" #| 1968 |#, ARGS.SYNSEM.--SIND.DIV "34" #| 1774 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALT2KEY "35" #| 1749 |#, ARGS.SYNSEM.NONLOC.SLASH "36" #| 1667 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT "37" #| 1645 |#, ARGS.SYNSEM.LOCAL.ARG-S.FIRST.--SIND "38" #| 1491 |#, ARGS.SYNSEM.LOCAL.CAT.MC "39" #| 1441 |#, ARGS.ALTS.VPELLIP "40" #| 1303 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "41" #| 1292 |#, ARGS.SYNSEM.LOCAL.CAT.POSTHD "42" #| 1160 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "44" #| 1025 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.--SIND "45" #| 1005 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST "46" #| 937 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "47" #| 928 |#, ARGS.SYNSEM.MODIFD "48" #| 925 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST "49" #| 922 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.SORT "50" #| 831 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SORT "51" #| 759 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "52" #| 748 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.LTOP "53" #| 730 |#, ARGS.ALTS.SQPNCT "54" #| 711 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "55" #| 710 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "56" #| 709 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.PRD "57" #| 680 |#, ARGS.SYNSEM.LOCAL.CAT "58" #| 669 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.SORT "59" #| 649 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST "60" #| 633 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "61" #| 630 |#, ARGS.SYNSEM.LKEYS.KEYREL.ARG0.PNG.PN "62" #| 612 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST "63" #| 596 |#, ARGS.SYNSEM.LOCAL.CONJ.CREL.R-INDEX "64" #| 589 |#, ARGS.SYNSEM.MODIFD.RPERIPH "65" #| 589 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALTKEY "66" #| 577 |#, ARGS.SYNSEM.LKEYS.ALT2KEYREL.PRED "67" #| 546 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.PNG.PN "68" #| 526 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "69" #| 506 |#, ARGS.SYNSEM.NONLOC.QUE "70" #| 498 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "71" #| 498 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR.PNG.PN "72" #| 468 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.VFORM "73" #| 447 |#, ARGS.SYNSEM.NONLOC.QUE.LIST.FIRST "74" #| 411 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.PHON.ONSET "75" #| 404 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "76" #| 365 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "77" #| 337 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG "78" #| 329 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR "79" #| 328 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.SORT "80" #| 309 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT "81" #| 300 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.E.TENSE "82" #| 290 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND.SORT "83" #| 284 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "84" #| 280 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST.CARG "85" #| 242 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "86" #| 237 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.INV "87" #| 236 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH.LAST "88" #| 235 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.MSG "89" #| 229 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC "90" #| 215 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD "91" #| 201 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "92" #| 178 |#, ARGS.SYNSEM.NONLOC.QUE.LAST "93" #| 153 |#, ARGS.SYNSEM.--SIND.E.MOOD "94" #| 150 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PNG.PN "95" #| 150 |#, ARGS.SYNSEM.--SIND.PRONTYPE "96" #| 150 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.PUNCT.RPUNCT "97" #| 149 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALT2KEY "98" #| 145 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.--SIND "99" #| 142 |#, ARGS.SYNSEM.NONLOC.REL "100" #| 136 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.AGR.PNG.PN "101" #| 127 |#, ARGS.SYNSEM.--SIND.E.ASPECT.PROGR "102" #| 121 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.TAM.TENSE "103" #| 120 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.INV "104" #| 106 |#, ARGS.SYNSEM.--SIND.PNG.PN "105" #| 87 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD "106" #| 86 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.VAL.COMPS "107" #| 83 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.TENSE "108" #| 76 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.TENSE "109" #| 67 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.MSG "110" #| 67 |#, ARGS.SYNSEM.LOCAL.CTXT.ACTIVATED "111" #| 63 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "112" #| 60 |#, ARGS.SYNSEM.NONLOC.SLASH.LAST "113" #| 58 |#, ARGS.SYNSEM.PUNCT.RPUNCT.MSGPRED "114" #| 48 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.AUX "115" #| 45 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST "116" #| 45 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.POSS "117" #| 41 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST "118" #| 37 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR.PNG.PN "119" #| 36 |#, ARGS.SYNSEM.LOCAL.AGR.PNG.GEN "120" #| 35 |#, ARGS.SYNSEM.LOCAL.ARG-S.REST "121" #| 35 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT "122" #| 34 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.TAM.TENSE "123" #| 32 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "124" #| 30 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.LTOP.SORT "125" #| 26 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG.DIV "126" #| 24 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT "127" #| 24 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "128" #| 24 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.PHON.ONSET "129" #| 21 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.SORT "130" #| 18 |#, ARGS.SYNSEM.LOCAL.AGR.PNG.PN "131" #| 18 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.LTOP.SORT "132" #| 18 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.PRD "133" #| 16 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VFORM "134" #| 12 |#, ARGS.SYNSEM.PUNCT.PNCTPR "135" #| 10 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "136" #| 10 |#, ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.PNG.PN "137" #| 8 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.PRD "138" #| 8 |#, ARGS.SYNSEM.PHON.ONSET "139" #| 7 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.CARDINAL "140" #| 6 |#, ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.DIV "141" #| 6 |#, ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.ASPECT.PROGR "142" #| 6 |#, ARGS.SYNSEM.LOCAL.CONT.MSG.TPC "143" #| 6 |#, ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "144" #| 4 |# ]. :end :instance.