;;;
;;; Quickcheck paths for SRG (Sep-07), generated on 92 items on Fri Sep 21 11:42:34 2007
;;; PET(tom cheap v0.99.14svn) [0] -PA(0) -SM() RI[key] -HA(912) +FI -QCU[0()] -QCS[0()] -OS[0] +SM +SH {ns 32} (Sep 18 2007/15:44:30) <$root>
;;;

;; 235 total failing paths:
;;
;; #0 SYNSEM.LKEYS.KEYREL.ARG2.SORT
;; #1 SYNSEM.LKEYS.KEYREL.ARG1.SORT
;; #2 INFLECTED
;; #3 SYNSEM.LOCAL.CAT.VAL.CLTS
;; #4 SYNSEM.LOCAL.AGR.PNG.PN
;; #5 SYNSEM.LOCAL.CAT.HEAD.VFORM
;; #6 SYNSEM.LOCAL.CAT.HEAD.TAM.TENSE
;; #7 SYNSEM.LOCAL.CAT.HEAD
;; #8 SYNSEM.LOCAL.CAT.HEAD.TAM.MOOD
;; #9 SYNSEM.LOCAL.CAT.HEAD.VOICE
;; #10 <empty path>
;; #11 ARGS.FIRST.INFLECTED
;; #12 ARGS.REST
;; #13 SYNSEM.LIGHT
;; #14 SYNSEM
;; #15 DTR.SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEN
;; #16 DTR.SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #17 SYNSEM.LOCAL.CAT.HEAD.PRD
;; #18 SYNSEM.LOCAL.CAT.HEAD.TAM.ASPECT
;; #19 SYNSEM.LOCAL.CAT.HEAD.PUNCTUATION
;; #20 DTR.SYNSEM.LOCAL.CAT.HEAD.PUNCTUATION
;; #21 SYNSEM.LOCAL.CAT.VAL.SUBJ
;; #22 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT
;; #23 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST
;; #24 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH
;; #25 SYNSEM.LOCAL.AGR.PNG.GEN
;; #26 SYNSEM.LOCAL.CONT.HOOK.INDEX
;; #27 SYNSEM.LKEYS.KEYREL
;; #28 SYNSEM.LKEYS.KEYREL.ARG0
;; #29 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0
;; #30 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST
;; #31 SYNSEM.LOCAL.CAT.VAL.SPR
;; #32 SYNSEM.LOCAL.AGR.DIVISIBLE
;; #33 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.PNG.GEN
;; #34 SYNSEM.NON-LOCAL.QUE
;; #35 DTR.SYNSEM.NON-LOCAL
;; #36 SYNSEM.NON-LOCAL
;; #37 DTR.SYNSEM.LOCAL.AGR
;; #38 SYNSEM.LOCAL.AGR
;; #39 SYNSEM.NON-LOCAL.REL
;; #40 SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.PRED
;; #41 SYNSEM.LOCAL.CAT.HEAD.KEYS.ALTKEY
;; #42 DTR.SYNSEM
;; #43 DTR.SYNSEM.LKEYS.KEYREL.PRED
;; #44 SYNSEM.LKEYS.KEYREL.PRED
;; #45 SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY
;; #46 SYNSEM.LOCAL.CAT.VAL.CLTS.REST.REST
;; #47 SYNSEM.LOCAL.CAT.VAL.CLTS.REST
;; #48 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL
;; #49 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY
;; #50 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX
;; #51 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD
;; #52 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE
;; #53 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT
;; #54 ALTS.PASS
;; #55 SYNSEM.LKEYS.KEYREL.ARG2
;; #56 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.MSG
;; #57 SYNSEM.LKEYS.KEYREL.ARG1
;; #58 SYNSEM.LKEYS.KEYREL.ARG3
;; #59 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL
;; #60 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD
;; #61 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX
;; #62 ALTS.CAUS
;; #63 SYNSEM.LOCAL.CAT.VAL.COMPS
;; #64 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ
;; #65 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.COMPS
;; #66 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SPR
;; #67 SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST
;; #68 SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST.LOCAL.CONT.HOOK.INDEX
;; #69 SYNSEM.LOCAL.CAT.HEAD.INV
;; #70 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH
;; #71 SYNSEM.LOCAL.CONT.HOOK.XARG
;; #72 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.CASE
;; #73 SYNSEM.LOCAL.CAT.VAL.COMPS.REST
;; #74 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT
;; #75 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL
;; #76 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.KEYS.KEY
;; #77 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.MSG
;; #78 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX
;; #79 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD
;; #80 ARG-ST.REST.FIRST.LOCAL.CAT.HEAD.CASE
;; #81 C-CONT.HOOK.XARG
;; #82 SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST.LOCAL.CAT.HEAD.CASE
;; #83 ARG-ST.REST.FIRST.LOCAL.CONT.HOOK.INDEX.SORT
;; #84 SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST.LOCAL.CONT.HOOK.INDEX.SORT
;; #85 DTR.SYNSEM.LOCAL.AGR.PNG.PN
;; #86 DTR.SYNSEM.LOCAL.CAT.VAL.COMPS.REST
;; #87 ALTS.PERM
;; #88 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.FIRST.PRED
;; #89 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.PRED
;; #90 SYNSEM.LOCAL.CAT.HEAD.MOD
;; #91 SYNSEM.LOCAL.CAT.MC
;; #92 SYNSEM.LOCAL.CAT.VAL.SPEC
;; #93 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT
;; #94 SYNSEM.LOCAL.CONT.HOOK.INDEX.SORT
;; #95 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY
;; #96 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST
;; #97 SYNSEM.LOCAL.CONT.MSG
;; #98 SYNSEM.LOCAL.CAT.POSTHEAD
;; #99 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR
;; #100 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD
;; #101 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ
;; #102 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL
;; #103 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY
;; #104 SYNSEM.LOCAL.CAT.HEAD.PRD.COPULA
;; #105 SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST
;; #106 SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0
;; #107 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2
;; #108 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE
;; #109 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.VFORM
;; #110 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VFORM
;; #111 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1
;; #112 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE
;; #113 SYNSEM.LKEYS.--COMPKEY
;; #114 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.VAL.SUBJ
;; #115 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG3
;; #116 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.VAL.SUBJ
;; #117 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.VFORM
;; #118 DTR.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST
;; #119 DTR.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL
;; #120 SYNSEM.LOCAL.COORD-STRAT
;; #121 SYNSEM.LOCAL.COORD
;; #122 SYNSEM.LOCAL.STR.HEADING
;; #123 CONJ-DTR.SYNSEM.LOCAL.COORD-STRAT
;; #124 NONCONJ-DTR.SYNSEM.LOCAL.CAT.VAL.COMPS
;; #125 NONCONJ-DTR.SYNSEM.LOCAL.CAT.VAL.SUBJ
;; #126 NONCONJ-DTR.SYNSEM.LOCAL.CAT.VAL.SPR
;; #127 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY
;; #128 SYNSEM.NON-LOCAL.SLASH
;; #129 SYNSEM.LOCAL.CONT.MSG.PRED
;; #130 SYNSEM.LOCAL.CAT.HEAD.CASE
;; #131 SYNSEM.MODIFIED
;; #132 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.KEYS.KEY
;; #133 SYNSEM.NON-LOCAL.SLASH.LIST
;; #134 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.RELS.LIST.REST
;; #135 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD
;; #136 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.SORT
;; #137 SYNSEM.LOCAL.CAT.PSTN
;; #138 SYNSEM.NON-LOCAL.REL.LIST
;; #139 SYNSEM.PUNCT.LPUNCT
;; #140 SYNSEM.LOCAL.CONT.HOOK.INDEX.DIVISIBLE
;; #141 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD
;; #142 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.SPR
;; #143 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY
;; #144 SYNSEM.LOCAL.AGR.SORT
;; #145 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD
;; #146 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.SORT
;; #147 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY
;; #148 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD
;; #149 SYNSEM.LOCAL.CONT.HOOK.XARG.SORT
;; #150 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #151 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.NON-LOCAL.SLASH.LIST
;; #152 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.NON-LOCAL.SLASH
;; #153 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS
;; #154 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST
;; #155 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.CASE
;; #156 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.MC
;; #157 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.MSG
;; #158 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX
;; #159 SYNSEM.NON-LOCAL.SLASH.LAST
;; #160 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PRD
;; #161 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.KEYS.ALTKEY
;; #162 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.RELS.LIST.FIRST.PRED
;; #163 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG
;; #164 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.STR.HEADED
;; #165 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY
;; #166 SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.PNG.GEN
;; #167 SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.SORT
;; #168 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG3.SORT
;; #169 SYNSEM.LKEYS.KEYREL.ARG3.SORT
;; #170 SYNSEM.LKEYS.--OCOMPKEY
;; #171 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX.SORT
;; #172 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LIST
;; #173 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.SORT
;; #174 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX
;; #175 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.SORT
;; #176 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LAST
;; #177 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.PRED
;; #178 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.DIVISIBLE
;; #179 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.PNG.GEN
;; #180 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.PNG.PN
;; #181 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.SORT
;; #182 SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.DIVISIBLE
;; #183 SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.PNG.PN
;; #184 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST
;; #185 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.MOD
;; #186 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.DIVISIBLE
;; #187 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.SORT
;; #188 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.DIVISIBLE
;; #189 SYNSEM.LOCAL.COORD-REL.PRED
;; #190 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE
;; #191 SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN
;; #192 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.SUBJ
;; #193 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.MSG
;; #194 SYNSEM.LOCAL.CAT.HEAD.AUX
;; #195 SYNSEM.LKEYS.ALTKEYREL.PRED
;; #196 SYNSEM.NON-LOCAL.QUE.LIST
;; #197 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.TAM.TENSE
;; #198 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.AUX
;; #199 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.MSG.PRED
;; #200 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.NON-LOCAL.REL
;; #201 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.PNG.PN
;; #202 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1.PNG.PN
;; #203 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD
;; #204 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY
;; #205 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR
;; #206 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY
;; #207 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST
;; #208 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.PUNCT.RPUNCT
;; #209 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0
;; #210 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.COMPS
;; #211 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.PNG.GEN
;; #212 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.PNG.PN
;; #213 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST
;; #214 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.PRED
;; #215 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.PNG.GEN
;; #216 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.PNG.PN
;; #217 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.SORT
;; #218 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.MSG.PRED
;; #219 SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.DIVISIBLE
;; #220 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.PNG.PN
;; #221 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1.SORT
;; #222 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC
;; #223 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD
;; #224 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.E.TENSE
;; #225 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPEC
;; #226 SYNSEM.LOCAL.CAT.HEAD.KEYS.ALT2KEY
;; #227 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CONT.HOOK.INDEX
;; #228 SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG1.PNG.PN
;; #229 SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.PRONTYPE
;; #230 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ
;; #231 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX
;; #232 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEN
;; #233 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #234 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD

;;
;; quickcheck paths (unification)
;;

; traditional paths (max 10000)

:begin :instance.

qc_unif_trad := *top* &
[ ARGS.INFLECTED "0" #| 224962.37 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD "1" #| 169799.32 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS "2" #| 122299.19 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "3" #| 121776.95 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "4" #| 65173.97 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "5" #| 57125.02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "6" #| 46132.20 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.TENSE "7" #| 42194.08 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.MOOD "8" #| 38508.41 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "9" #| 33825.71 |#,
  ARGS.SYNSEM.LIGHT "10" #| 24378.68 |#,
  ARGS.SYNSEM.LOCAL.COORD "11" #| 14013.29 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "12" #| 13333.19 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "13" #| 11277.24 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PRD "14" #| 9467.97 |#,
  ARGS.SYNSEM.LOCAL.COORD-STRAT "15" #| 8856.71 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "16" #| 7962.96 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "17" #| 7929.29 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "18" #| 6810.55 |#,
  ARGS.SYNSEM "19" #| 6784.59 |#,
  ARGS "20" #| 6752.33 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "21" #| 6529.47 |#,
  ARGS.SYNSEM.LOCAL.CONT.MSG "22" #| 6336.61 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH "23" #| 5711.74 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.PRED "24" #| 5305.12 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "25" #| 5268.03 |#,
  ARGS.SYNSEM.LKEYS.KEYREL "26" #| 5257.27 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST "27" #| 5240.07 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL "28" #| 5045.19 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST "29" #| 4494.45 |#,
  ARGS.ARGS.REST "30" #| 4358.71 |#,
  ARGS.SYNSEM.NON-LOCAL.REL "31" #| 3683.91 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.REST "32" #| 3574.84 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "33" #| 3354.22 |#,
  ARGS.SYNSEM.NON-LOCAL.QUE "34" #| 3169.31 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "35" #| 3095.90 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LAST "36" #| 2910.88 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VOICE "37" #| 2798.56 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "38" #| 2668.40 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "39" #| 2482.85 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.INV "40" #| 2200.79 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD "41" #| 2094.25 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "42" #| 2025.99 |#,
  ARGS.SYNSEM.LOCAL.AGR "43" #| 1936.89 |#,
  ARGS.ARGS.FIRST.INFLECTED "44" #| 1825.30 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS "45" #| 1606.41 |#,
  ARGS.SYNSEM.LOCAL.CAT.POSTHEAD "46" #| 1535.46 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.MSG "47" #| 1481.38 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "48" #| 1473.89 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG2 "49" #| 1347.80 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SORT "50" #| 1196.62 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "51" #| 1188.19 |#,
  ARGS.SYNSEM.LOCAL.CAT.MC "52" #| 1134.57 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0 "53" #| 1128.71 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT "54" #| 1076.52 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALTKEY "55" #| 1057.55 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.GEN "56" #| 1057.40 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC "57" #| 1007.83 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "58" #| 981.13 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "59" #| 943.03 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.NON-LOCAL.SLASH "60" #| 816.76 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.NON-LOCAL.SLASH.LIST "61" #| 790.59 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "62" #| 789.33 |#,
  ARGS.SYNSEM.LOCAL.STR.HEADING "63" #| 783.35 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.PRED "64" #| 751.85 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ "65" #| 611.80 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD "66" #| 579.50 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL "67" #| 576.06 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "68" #| 566.96 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "69" #| 516.34 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PRD "70" #| 487.50 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "71" #| 402.15 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.MSG "72" #| 380.79 |#,
  ARGS.ALTS.PERM "73" #| 379.42 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "74" #| 369.33 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.SPR "75" #| 362.81 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "76" #| 330.49 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX "77" #| 328.62 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "78" #| 316.78 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.PRED "79" #| 313.46 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST.LOCAL.CONT.HOOK.INDEX "80" #| 298.91 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "81" #| 296.24 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST "82" #| 294.19 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.RELS.LIST.REST "83" #| 288.05 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST "84" #| 261.98 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.AUX "85" #| 247.17 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD "86" #| 237.04 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.SORT "87" #| 232.57 |#,
  ARGS.SYNSEM.LOCAL.AGR.DIVISIBLE "88" #| 232.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.REST.REST "89" #| 224.00 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.KEYS.KEY "90" #| 217.70 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.FIRST.PRED "91" #| 211.89 |#,
  ARGS.SYNSEM.MODIFIED "92" #| 179.79 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.SORT "93" #| 179.20 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.SORT "94" #| 173.58 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "95" #| 165.95 |#,
  ARGS.ALTS.CAUS "96" #| 161.11 |#,
  ARGS.ALTS.PASS "97" #| 159.44 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "98" #| 156.96 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL "99" #| 156.28 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ "100" #| 151.82 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VFORM "101" #| 122.40 |#,
  ARGS.SYNSEM.LKEYS.--COMPKEY "102" #| 116.94 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.MC "103" #| 113.59 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PUNCTUATION "104" #| 104.14 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH "105" #| 102.54 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0 "106" #| 98.29 |#,
  ARGS.SYNSEM.NON-LOCAL.REL.LIST "107" #| 96.88 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.CASE "108" #| 95.14 |#,
  ARGS.SYNSEM.LKEYS.ALTKEYREL.PRED "109" #| 92.81 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.KEYS.ALTKEY "110" #| 90.59 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.DIVISIBLE "111" #| 86.79 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LIST "112" #| 84.19 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN "113" #| 82.33 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.SORT "114" #| 78.41 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.PRED "115" #| 72.98 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "116" #| 72.74 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG2.SORT "117" #| 68.57 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.PNG.PN "118" #| 61.40 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.VAL.SUBJ "119" #| 59.48 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX "120" #| 58.72 |#,
  ARGS.SYNSEM.LOCAL.AGR.SORT "121" #| 56.15 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PRD.COPULA "122" #| 54.23 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.ASPECT "123" #| 53.67 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.CASE "124" #| 53.60 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.PNG.GEN "125" #| 49.47 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.SORT "126" #| 47.79 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST "127" #| 47.35 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.MSG.PRED "128" #| 46.35 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.DIVISIBLE "129" #| 46.28 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD "130" #| 44.06 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "131" #| 41.46 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX "132" #| 38.99 |#,
  ARGS.SYNSEM.LOCAL.CONT.MSG.PRED "133" #| 37.52 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.MSG.PRED "134" #| 37.38 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.MSG "135" #| 35.89 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.SORT "136" #| 35.33 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG "137" #| 35.18 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2 "138" #| 32.81 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.SUBJ "139" #| 30.96 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH "140" #| 29.48 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.VFORM "141" #| 29.14 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.RELS.LIST.FIRST.PRED "142" #| 26.26 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG3 "143" #| 25.13 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST "144" #| 24.82 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD "145" #| 23.15 |#,
  ARGS.SYNSEM.NON-LOCAL.QUE.LIST "146" #| 22.99 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX "147" #| 21.35 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LAST "148" #| 21.00 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.PNG.PN "149" #| 19.21 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "150" #| 18.15 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "151" #| 17.28 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.TAM.TENSE "152" #| 17.19 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "153" #| 16.85 |#,
  ARGS.SYNSEM.LOCAL.CAT.PSTN "154" #| 16.85 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "155" #| 16.72 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT "156" #| 16.52 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX.SORT "157" #| 16.23 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPEC "158" #| 16.13 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1.PNG.PN "159" #| 16.10 |#,
  ARGS.SYNSEM.LOCAL.COORD-REL.PRED "160" #| 15.72 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.COMPS "161" #| 15.22 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ "162" #| 15.00 |#,
  ARGS.SYNSEM.PUNCT.LPUNCT "163" #| 14.00 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.PNG.GEN "164" #| 13.31 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD "165" #| 13.21 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.STR.HEADED "166" #| 12.57 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.DIVISIBLE "167" #| 12.14 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.E.TENSE "168" #| 11.97 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.NON-LOCAL.REL "169" #| 11.57 |#,
  ARGS.NONCONJ-DTR.SYNSEM.LOCAL.CAT.VAL.SUBJ "170" #| 11.56 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG3.SORT "171" #| 11.50 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "172" #| 10.72 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.DIVISIBLE "173" #| 10.48 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.MSG "174" #| 9.53 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.PNG.PN "175" #| 9.43 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.SORT "176" #| 8.78 |#,
  ARGS.SYNSEM.LKEYS.--OCOMPKEY "177" #| 8.56 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1 "178" #| 8.47 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.SORT "179" #| 7.79 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SPR "180" #| 7.60 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.PRED "181" #| 7.17 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST "182" #| 6.80 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST "183" #| 5.84 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "184" #| 5.76 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEN "185" #| 5.08 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.SORT "186" #| 5.02 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG1.SORT "187" #| 5.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.COMPS "188" #| 4.78 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.VFORM "189" #| 4.63 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC "190" #| 4.22 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.MOD "191" #| 4.10 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALT2KEY "192" #| 4.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.PUNCT.RPUNCT "193" #| 4.00 |#,
  ARGS.CONJ-DTR.SYNSEM.LOCAL.COORD-STRAT "194" #| 3.90 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "195" #| 3.78 |#,
  ARGS.NONCONJ-DTR.SYNSEM.LOCAL.CAT.VAL.COMPS "196" #| 3.25 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.PNG.PN "197" #| 3.02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CONT.HOOK.INDEX "198" #| 2.91 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.PNG.GEN "199" #| 2.91 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.PNG.PN "200" #| 2.70 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.DIVISIBLE "201" #| 2.46 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.PNG.GEN "202" #| 2.43 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG3.SORT "203" #| 2.40 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.PNG.GEN "204" #| 2.24 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "205" #| 2.19 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "206" #| 2.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST "207" #| 2.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.VAL.SUBJ "208" #| 1.90 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "209" #| 1.54 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0 "210" #| 1.45 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1.SORT "211" #| 1.28 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.DIVISIBLE "212" #| 1.23 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.PRONTYPE "213" #| 1.03 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG1.PNG.PN "214" #| 0.69 |#,
  ARGS.NONCONJ-DTR.SYNSEM.LOCAL.CAT.VAL.SPR "215" #| 0.33 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG3 "216" #| 0.26 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.PNG.PN "217" #| 0.18 |# ].

:end :instance.

;; set based paths (threshold 99.0%)

; 4208 failing sets, total count 1167277:
;
;  #0 (91675, 7.9%) [2 4]
;  #1 (82184, 14.9%) [2]
;  #2 (80952, 21.8%) [7]
;  #3 (60480, 27.0%) [2 4 6 8]
;  #4 (51984, 31.5%) [2 3 4]
;  #5 (38988, 34.8%) [2 3 5]
;  #6 (36859, 38.0%) [2 3]
;  #7 (34683, 40.9%) [2 7]
;  #8 (32490, 43.7%) [2 3 5 6]
;  #9 (30263, 46.3%) [2 10 13]
;  #10 (25959, 48.5%) [2 4 7]
;  #11 (25363, 50.7%) [90]
;  #12 (20790, 52.5%) [2 5 6]
;  #13 (19959, 54.2%) [2 5 17]
;  #14 (19675, 55.9%) [2 7 10]
;  #15 (19620, 57.6%) [2 4 8]
;  #16 (17999, 59.1%) [63]
;  #17 (17828, 60.6%) [2 10]
;  #18 (14985, 61.9%) [63 90]
;  #19 (12096, 63.0%) [2 6 8]
;  #20 (10944, 63.9%) [2 3 10 13 14]
;  #21 (10262, 64.8%) [3]
;  #22 (9946, 65.6%) [5]
;  #23 (9373, 66.4%) [2 5]
;  #24 (8679, 67.2%) [120 121]
;  #25 (8481, 67.9%) [7 90]
;  #26 (7230, 68.5%) [4]
;  #27 (7207, 69.1%) [21]
;  #28 (7020, 69.7%) [2 4 6]
;  #29 (6391, 70.3%) [31]
;  #30 (5600, 70.8%) [10 11 12 13]
;  #31 (5125, 71.2%) [7 21]
;  #32 (4693, 71.6%) [8]
;  #33 (4621, 72.0%) [2 10 13 14]
;  #34 (4006, 72.3%) [7 63]
;  #35 (3924, 72.7%) [2 8]
;  #36 (3020, 72.9%) [21 120 121]
;  #37 (3003, 73.2%) [47]
;  #38 (2850, 73.4%) [2 3 8 10 13 14]
;  #39 (2811, 73.7%) [7 120 121]
;  #40 (2730, 73.9%) [14 21 29 30 63]
;  #41 (2727, 74.1%) [21 63]
;  #42 (2673, 74.4%) [7 45]
;  #43 (2671, 74.6%) [7 121]
;  #44 (2666, 74.8%) [45]
;  #45 (2568, 75.1%) [7 21 63]
;  #46 (2346, 75.3%) [7 10 11 12]
;  #47 (2341, 75.5%) [63 120 121]
;  #48 (2321, 75.7%) [7 31]
;  #49 (2223, 75.8%) [2 3 5 10 13 14]
;  #50 (2167, 76.0%) [2 7 10 13]
;  #51 (2061, 76.2%) [7 14]
;  #52 (1938, 76.4%) [2 63]
;  #53 (1879, 76.5%) [90 128]
;  #54 (1820, 76.7%) [14 21 26 30 63]
;  #55 (1749, 76.8%) [7 97]
;  #56 (1692, 77.0%) [63 100 102]
;  #57 (1678, 77.1%) [10 11 12]
;  #58 (1670, 77.3%) [3 63]
;  #59 (1640, 77.4%) [7 120]
;  #60 (1634, 77.5%) [10]
;  #61 (1612, 77.7%) [2 3 10]
;  #62 (1579, 77.8%) [63 102]
;  #63 (1515, 78.0%) [7 90 97]
;  #64 (1502, 78.1%) [34]
;  #65 (1501, 78.2%) [89]
;  #66 (1484, 78.3%) [133]
;  #67 (1482, 78.5%) [2 3 10 13]
;  #68 (1462, 78.6%) [7 14 21 27]
;  #69 (1455, 78.7%) [90 128 133]
;  #70 (1424, 78.8%) [7 26]
;  #71 (1418, 79.0%) [7 89]
;  #72 (1407, 79.1%) [63 100]
;  #73 (1404, 79.2%) [2 6]
;  #74 (1398, 79.3%) [135]
;  #75 (1398, 79.4%) [121]
;  #76 (1393, 79.6%) [63 97 102]
;  #77 (1359, 79.7%) [2 7 10 13 14]
;  #78 (1331, 79.8%) [14]
;  #79 (1327, 79.9%) [7 45 63]
;  #80 (1295, 80.0%) [63 89]
;  #81 (1288, 80.1%) [7 39]
;  #82 (1272, 80.2%) [14 21 27 28 63 71]
;  #83 (1257, 80.3%) [69]
;  #84 (1250, 80.4%) [63 69]
;  #85 (1226, 80.6%) [63 97 100 102]
;  #86 (1176, 80.7%) [14 21 63 71]
;  #87 (1176, 80.8%) [14 21 27 28 63]
;  #88 (1164, 80.9%) [73 87]
;  #89 (1126, 80.9%) [90 159]
;  #90 (1111, 81.0%) [73]
;  #91 (1088, 81.1%) [2 9 10]
;  #92 (1080, 81.2%) [7 102]
;  #93 (1062, 81.3%) [7 100 102]
;  #94 (1060, 81.4%) [45 120 121]
;  #95 (1038, 81.5%) [7 73]
;  #96 (1005, 81.6%) [2 5 10]
;  #97 (1001, 81.7%) [26 90 97]
;  #98 (998, 81.8%) [7 90 159]
;  #99 (970, 81.8%) [21 26 63 89]
;  #100 (968, 81.9%) [2 4 25]
;  #101 (953, 82.0%) [39]
;  #102 (944, 82.1%) [34 89 128]
;  #103 (934, 82.2%) [7 31 45 63]
;  #104 (925, 82.2%) [14 21 27 73]
;  #105 (921, 82.3%) [7 21 48]
;  #106 (915, 82.4%) [39 90]
;  #107 (912, 82.5%) [2 5 10 13]
;  #108 (906, 82.6%) [128]
;  #109 (885, 82.6%) [63 90 97]
;  #110 (878, 82.7%) [2 4 7 10]
;  #111 (878, 82.8%) [7 14 63]
;  #112 (876, 82.9%) [14 90]
;  #113 (845, 82.9%) [45 63 120 121]
;  #114 (833, 83.0%) [14 63]
;  #115 (821, 83.1%) [7 31 45]
;  #116 (812, 83.1%) [31 63]
;  #117 (810, 83.2%) [5 9]
;  #118 (796, 83.3%) [2 7 21 63]
;  #119 (795, 83.3%) [7 14 21 27 28 63 71]
;  #120 (788, 83.4%) [7 34]
;  #121 (783, 83.5%) [90 133]
;  #122 (779, 83.6%) [30]
;  #123 (754, 83.6%) [3 9]
;  #124 (743, 83.7%) [7 63 128]
;  #125 (741, 83.7%) [2 3 5 10 13 14 17]
;  #126 (735, 83.8%) [7 14 21 63 71]
;  #127 (735, 83.9%) [7 14 21 27 28 63]
;  #128 (728, 83.9%) [14 21 30 73]
;  #129 (723, 84.0%) [45 63 90]
;  #130 (721, 84.1%) [120]
;  #131 (720, 84.1%) [102]
;  #132 (716, 84.2%) [93]
;  #133 (714, 84.2%) [7 14 21 27 73]
;  #134 (713, 84.3%) [7 63 90]
;  #135 (702, 84.4%) [2 4 10 13]
;  #136 (702, 84.4%) [2 25]
;  #137 (692, 84.5%) [14 21 30 51 53]
;  #138 (679, 84.5%) [7 31 90]
;  #139 (675, 84.6%) [7 90 133]
;  #140 (674, 84.7%) [7 97 128]
;  #141 (672, 84.7%) [21 133]
;  #142 (666, 84.8%) [63 89 90]
;  #143 (665, 84.8%) [100 102]
;  #144 (662, 84.9%) [2 7 63]
;  #145 (657, 84.9%) [14 21 27]
;  #146 (650, 85.0%) [31 120 121]
;  #147 (633, 85.0%) [7 14 21]
;  #148 (628, 85.1%) [128 159]
;  #149 (627, 85.2%) [2 7 21 26 63]
;  #150 (624, 85.2%) [2 7 25]
;  #151 (619, 85.3%) [45 63]
;  #152 (619, 85.3%) [14 21 30 51]
;  #153 (618, 85.4%) [21 26 89]
;  #154 (606, 85.4%) [90 128 159]
;  #155 (594, 85.5%) [2 7 21]
;  #156 (587, 85.5%) [50 56]
;  #157 (581, 85.6%) [48]
;  #158 (578, 85.6%) [3 7]
;  #159 (576, 85.7%) [2 4 7 25]
;  #160 (575, 85.7%) [31 45 94]
;  #161 (570, 85.8%) [2 4 10 13 14]
;  #162 (558, 85.8%) [63 97]
;  #163 (548, 85.9%) [39 63 90]
;  #164 (545, 85.9%) [41]
;  #165 (541, 86.0%) [53]
;  #166 (534, 86.0%) [97 102]
;  #167 (531, 86.0%) [97 100 102]
;  #168 (531, 86.1%) [7 14 21 63]
;  #169 (526, 86.1%) [7 100]
;  #170 (524, 86.2%) [7 21 97 128]
;  #171 (520, 86.2%) [14 59 60 61 63]
;  #172 (519, 86.3%) [13]
;  #173 (516, 86.3%) [7 21 38 48]
;  #174 (516, 86.4%) [2 21]
;  #175 (514, 86.4%) [7 133]
;  #176 (507, 86.4%) [2 7 21 51]
;  #177 (505, 86.5%) [7 14 31]
;  #178 (504, 86.5%) [2 7 10 13 26]
;  #179 (504, 86.6%) [14 21 30 48 49 52 53 148]
;  #180 (499, 86.6%) [17 45 63 90]
;  #181 (496, 86.7%) [7 26 120 121]
;  #182 (496, 86.7%) [7 91 97]
;  #183 (493, 86.7%) [7 26 31 38]
;  #184 (489, 86.8%) [7 14 21 27 51]
;  #185 (488, 86.8%) [7 26 90]
;  #186 (486, 86.9%) [45 94]
;  #187 (485, 86.9%) [21 26 31 63 89]
;  #188 (480, 87.0%) [2 10 13 63]
;  #189 (474, 87.0%) [63 87]
;  #190 (472, 87.0%) [7 145]
;  #191 (467, 87.1%) [5 133]
;  #192 (463, 87.1%) [100]
;  #193 (460, 87.2%) [2 4 9 47]
;  #194 (459, 87.2%) [14 21 30]
;  #195 (457, 87.2%) [45 92]
;  #196 (450, 87.3%) [14 21 73]
;  #197 (448, 87.3%) [7 10 11 12 13]
;  #198 (443, 87.3%) [7 31 39]
;  #199 (442, 87.4%) [2 7 10 26]
;  #200 (442, 87.4%) [2 7 21 54]
;  #201 (424, 87.5%) [2 7 17 21 51 90]
;  #202 (422, 87.5%) [7 99 100 102 147 151 152]
;  #203 (421, 87.5%) [5 22]
;  #204 (405, 87.6%) [2 10 13 14 21 63]
;  #205 (400, 87.6%) [7 14 21 27 48 52 73 113]
;  #206 (394, 87.6%) [45 90]
;  #207 (393, 87.7%) [7 45 92]
;  #208 (393, 87.7%) [26 63]
;  #209 (390, 87.7%) [56]
;  #210 (381, 87.8%) [2 21 63]
;  #211 (380, 87.8%) [14 21 30 49 51 53]
;  #212 (374, 87.8%) [7 21 91 97]
;  #213 (364, 87.9%) [2 7 10 13 63]
;  #214 (362, 87.9%) [7 49 51]
;  #215 (362, 87.9%) [7 29 30 89]
;  #216 (362, 88.0%) [7 21 45]
;  #217 (362, 88.0%) [143]
;  #218 (357, 88.0%) [128 133]
;  #219 (356, 88.0%) [7 51]
;  #220 (356, 88.1%) [2 4 9]
;  #221 (355, 88.1%) [7 13]
;  #222 (354, 88.1%) [7 39 145]
;  #223 (353, 88.2%) [7 27 51 55 56]
;  #224 (353, 88.2%) [2 7 27 51 56 57]
;  #225 (353, 88.2%) [14 21 27 51 55]
;  #226 (348, 88.3%) [2 7 17 21 63]
;  #227 (346, 88.3%) [14 21 27 51 53 55 73]
;  #228 (344, 88.3%) [7 45 63 92]
;  #229 (344, 88.3%) [45 143]
;  #230 (344, 88.4%) [31 45]
;  #231 (344, 88.4%) [14 21 38 48 50 51 53]
;  #232 (344, 88.4%) [14 21 49 51 53]
;  #233 (344, 88.5%) [14 21 38 48 50 51 53 64]
;  #234 (343, 88.5%) [9]
;  #235 (342, 88.5%) [6 7 21 26 45]
;  #236 (342, 88.6%) [2 3 5 9]
;  #237 (338, 88.6%) [7 45 71]
;  #238 (336, 88.6%) [2 7 10 34]
;  #239 (334, 88.6%) [2 10 13 14 63]
;  #240 (334, 88.7%) [2 7 27 63]
;  #241 (330, 88.7%) [26]
;  #242 (328, 88.7%) [7 10 13]
;  #243 (326, 88.8%) [7 99 100 102 147 153]
;  #244 (324, 88.8%) [21 135]
;  #245 (322, 88.8%) [47 68]
;  #246 (318, 88.8%) [5 9 17]
;  #247 (318, 88.9%) [2 27 63]
;  #248 (315, 88.9%) [7 31 38 97 120]
;  #249 (315, 88.9%) [7 26 31 38 97]
;  #250 (315, 88.9%) [7 26 30 31 38 45 97]
;  #251 (313, 89.0%) [7 48 49]
;  #252 (313, 89.0%) [7 27 28 63 90]
;  #253 (311, 89.0%) [97]
;  #254 (310, 89.1%) [2 7 21 49 51 90]
;  #255 (309, 89.1%) [21 26 31 89]
;  #256 (308, 89.1%) [7 45 149]
;  #257 (308, 89.1%) [2 7 21 29 30 54 63]
;  #258 (306, 89.2%) [7 90 97 159]
;  #259 (303, 89.2%) [7 90 128]
;  #260 (302, 89.2%) [7 31 45 94]
;  #261 (302, 89.2%) [26 89]
;  #262 (296, 89.3%) [14 21 30 48 49 52 53]
;  #263 (294, 89.3%) [2 7 14 63]
;  #264 (294, 89.3%) [2 7 14 21 26 63]
;  #265 (294, 89.3%) [7 14 31 63 94]
;  #266 (293, 89.4%) [7 21 90 128]
;  #267 (290, 89.4%) [14 21 30 63]
;  #268 (287, 89.4%) [7 26 45 63]
;  #269 (286, 89.4%) [3 73]
;  #270 (286, 89.5%) [26 45 63]
;  #271 (286, 89.5%) [14 21]
;  #272 (285, 89.5%) [3 8]
;  #273 (284, 89.5%) [27 63]
;  #274 (282, 89.6%) [3 7 31]
;  #275 (282, 89.6%) [3 7 31 39]
;  #276 (280, 89.6%) [4 26]
;  #277 (280, 89.6%) [2 4 26]
;  #278 (279, 89.7%) [2 7 17 21 54]
;  #279 (279, 89.7%) [3 7 63]
;  #280 (276, 89.7%) [7 10 121]
;  #281 (272, 89.7%) [14 21 30 51 53 160]
;  #282 (271, 89.7%) [7 21 26]
;  #283 (270, 89.8%) [7 21 26 120 121]
;  #284 (268, 89.8%) [63 99 100 102 147 151 152]
;  #285 (268, 89.8%) [63 97 99 100 102 147 151 152]
;  #286 (268, 89.8%) [7 99 100 102]
;  #287 (267, 89.9%) [7 21 97]
;  #288 (267, 89.9%) [3 31]
;  #289 (266, 89.9%) [7 26 97]
;  #290 (265, 89.9%) [90 98]
;  #291 (261, 90.0%) [63 90 128]
;  #292 (261, 90.0%) [7 21 38 97]
;  #293 (260, 90.0%) [63 98 100 147]
;  #294 (260, 90.0%) [63 98 100 102 147]
;  #295 (260, 90.0%) [21 30 63]
;  #296 (258, 90.1%) [14 21 49 51 53 73]
;  #297 (258, 90.1%) [14 21 38 48 50 51 64]
;  #298 (258, 90.1%) [14 21 38 48 50 51 64 73]
;  #299 (258, 90.1%) [14 21 38 48 50 51 73]
;  #300 (258, 90.2%) [14 21 38 48 50 51]
;  #301 (258, 90.2%) [14 21 38 48 50 51 53 64 73]
;  #302 (258, 90.2%) [14 21 38 48 50 51 53 73]
;  #303 (258, 90.2%) [14 21 27 48]
;  #304 (256, 90.2%) [7 13 14 63]
;  #305 (252, 90.3%) [7 48 49 148]
;  #306 (252, 90.3%) [14 21 30 48 73]
;  #307 (252, 90.3%) [14 21 27 48 73]
;  #308 (252, 90.3%) [14 21 27 48 49 53 55 73 148]
;  #309 (252, 90.3%) [7 14 21 27 48]
;  #310 (251, 90.4%) [90 97]
;  #311 (250, 90.4%) [31 133]
;  #312 (246, 90.4%) [94]
;  #313 (245, 90.4%) [3 31 63]
;  #314 (242, 90.5%) [7 30]
;  #315 (241, 90.5%) [63 102 153]
;  #316 (241, 90.5%) [7 10]
;  #317 (240, 90.5%) [14 21 30 49 51 53 136]
;  #318 (239, 90.5%) [7 45 71 92]
;  #319 (239, 90.6%) [63 99 100 102]
;  #320 (238, 90.6%) [7 31 38 39 45 97]
;  #321 (238, 90.6%) [122]
;  #322 (236, 90.6%) [34 40 128]
;  #323 (236, 90.6%) [21 91 97]
;  #324 (233, 90.7%) [6 7 21 26 45 63]
;  #325 (230, 90.7%) [2 8 10 47]
;  #326 (228, 90.7%) [5 135]
;  #327 (227, 90.7%) [99 100 101 102 158]
;  #328 (227, 90.7%) [63 97 102 153]
;  #329 (227, 90.8%) [17 45 90]
;  #330 (226, 90.8%) [154]
;  #331 (224, 90.8%) [46]
;  #332 (222, 90.8%) [31 45 90 97]
;  #333 (220, 90.8%) [2 8 10]
;  #334 (220, 90.9%) [7 91 128]
;  #335 (218, 90.9%) [7 31 63]
;  #336 (218, 90.9%) [63 99]
;  #337 (218, 90.9%) [7 98 100 102 147 157]
;  #338 (216, 90.9%) [7 30 31 63]
;  #339 (215, 90.9%) [2 7 27 49 55 73 95]
;  #340 (214, 91.0%) [5 135 141]
;  #341 (214, 91.0%) [7 30 63]
;  #342 (212, 91.0%) [7 21 26 45 63]
;  #343 (211, 91.0%) [99 100 102 147 151 152]
;  #344 (211, 91.0%) [97 99 100 102 147 151 152]
;  #345 (211, 91.1%) [7 30 89]
;  #346 (209, 91.1%) [2 48 49]
;  #347 (208, 91.1%) [63 90 98]
;  #348 (208, 91.1%) [135 141]
;  #349 (205, 91.1%) [14 62 63]
;  #350 (204, 91.1%) [63 102 151 152]
;  #351 (204, 91.2%) [63 99 100]
;  #352 (204, 91.2%) [14 21 27 51 73]
;  #353 (203, 91.2%) [7 30 45 93]
;  #354 (203, 91.2%) [7 93 103 120]
;  #355 (203, 91.2%) [7 93 103]
;  #356 (202, 91.2%) [7 14 21 27 28]
;  #357 (202, 91.3%) [7 98 100 147 175]
;  #358 (201, 91.3%) [5 63]
;  #359 (201, 91.3%) [7 31 39 45]
;  #360 (201, 91.3%) [7 30 40 105 106 120]
;  #361 (201, 91.3%) [30 40 105 167]
;  #362 (201, 91.3%) [7 21 128]
;  #363 (201, 91.4%) [7 63 97]
;  #364 (200, 91.4%) [7 48 50 51 64]
;  #365 (200, 91.4%) [31 45 63 90 97]
;  #366 (200, 91.4%) [7 21 89]
;  #367 (200, 91.4%) [14 21 27 48 49 73]
;  #368 (198, 91.5%) [7 34 89 128]
;  #369 (198, 91.5%) [14 21 27 51 55 56]
;  #370 (198, 91.5%) [7 99 100 102 147]
;  #371 (197, 91.5%) [134]
;  #372 (193, 91.5%) [7 21 26 45]
;  #373 (192, 91.5%) [7 34 40 90 128]
;  #374 (192, 91.6%) [7 34 40 128]
;  #375 (192, 91.6%) [7 31 90 133]
;  #376 (192, 91.6%) [48 50 51]
;  #377 (192, 91.6%) [2 10 13 21]
;  #378 (192, 91.6%) [7 10 120 121]
;  #379 (191, 91.6%) [7 27 48 90]
;  #380 (190, 91.7%) [2 7 10 39]
;  #381 (190, 91.7%) [14 21 27 49 51 53 55 73]
;  #382 (189, 91.7%) [2 7 73]
;  #383 (188, 91.7%) [2 10 11 12 13]
;  #384 (188, 91.7%) [14 27]
;  #385 (187, 91.7%) [63 128]
;  #386 (186, 91.7%) [63 97 102 151 152]
;  #387 (184, 91.8%) [2 5 9 47]
;  #388 (184, 91.8%) [21 27 63]
;  #389 (184, 91.8%) [7 102 159]
;  #390 (182, 91.8%) [7 63 133]
;  #391 (181, 91.8%) [5 21]
;  #392 (181, 91.8%) [7 26 31 45 63]
;  #393 (180, 91.9%) [7 21 120 121]
;  #394 (180, 91.9%) [7 14 21 73]
;  #395 (180, 91.9%) [7 98 100 102 147]
;  #396 (178, 91.9%) [32 120]
;  #397 (178, 91.9%) [21 121]
;  #398 (178, 91.9%) [7 98 100 102 147 175]
;  #399 (177, 91.9%) [31 45 63]
;  #400 (177, 92.0%) [2 4 10]
;  #401 (176, 92.0%) [7 39 45 93]
;  #402 (176, 92.0%) [31 128]
;  #403 (176, 92.0%) [7 21 91 128]
;  #404 (176, 92.0%) [7 17 21 63]
;  #405 (176, 92.0%) [14 21 27 63]
;  #406 (176, 92.1%) [2 30]
;  #407 (175, 92.1%) [34 89]
;  #408 (175, 92.1%) [7 14 31 39]
;  #409 (174, 92.1%) [63 98 99 102]
;  #410 (174, 92.1%) [63 98 99]
;  #411 (174, 92.1%) [21 63 133]
;  #412 (173, 92.1%) [7 48 50 51]
;  #413 (173, 92.2%) [14 21 30 51 53 73]
;  #414 (172, 92.2%) [2 7 21 38]
;  #415 (172, 92.2%) [2 7 17 21 49 51]
;  #416 (172, 92.2%) [2 7 17 21 48 50 51 64]
;  #417 (172, 92.2%) [2 7 17 21 48 50 51]
;  #418 (172, 92.2%) [2 7 27 38 48]
;  #419 (172, 92.2%) [14 21 51]
;  #420 (172, 92.3%) [14 21 38 48 51 64 73]
;  #421 (172, 92.3%) [14 21 38 48 51 73]
;  #422 (172, 92.3%) [14 21 38]
;  #423 (172, 92.3%) [14 21 38 48]
;  #424 (172, 92.3%) [7 14 21 38 48 50 51]
;  #425 (172, 92.3%) [7 14 21 38 48 50 51 64 73]
;  #426 (172, 92.3%) [7 14 21 38 48 50 51 73]
;  #427 (172, 92.4%) [7 14 21 38 48 50 51 64]
;  #428 (172, 92.4%) [7 14 21 27 38]
;  #429 (172, 92.4%) [2 7 21 50 54]
;  #430 (171, 92.4%) [63 99 100 102 152]
;  #431 (170, 92.4%) [0 14 21 27 73]
;  #432 (170, 92.4%) [142]
;  #433 (169, 92.5%) [4 7]
;  #434 (169, 92.5%) [2 48 50 51]
;  #435 (169, 92.5%) [7 10 13 14]
;  #436 (167, 92.5%) [7 31 63 90]
;  #437 (166, 92.5%) [63 97 98 100 102 147]
;  #438 (164, 92.5%) [14 48 50 51 73]
;  #439 (164, 92.5%) [14 21 30 51 73]
;  #440 (163, 92.6%) [99 100 102 147 153]
;  #441 (163, 92.6%) [97 99 100 102 147 153]
;  #442 (162, 92.6%) [63 102 151 152 153]
;  #443 (162, 92.6%) [7 31 120 121]
;  #444 (162, 92.6%) [63 99 100 101 102 158]
;  #445 (160, 92.6%) [7 122]
;  #446 (160, 92.6%) [7 99 100 102 147 151]
;  #447 (160, 92.6%) [150]
;  #448 (159, 92.7%) [63 99 100 102 147 153]
;  #449 (159, 92.7%) [63 97 99 100 102 147 153]
;  #450 (159, 92.7%) [63 88]
;  #451 (159, 92.7%) [2 5 9 17]
;  #452 (159, 92.7%) [2 7 27 55 73 95]
;  #453 (159, 92.7%) [14 21 27 28 30 63 71]
;  #454 (159, 92.7%) [7 14 21 27 28 71]
;  #455 (158, 92.8%) [63 99 100 147 153]
;  #456 (158, 92.8%) [63 97 99 100 147 153]
;  #457 (158, 92.8%) [39 91 97 128]
;  #458 (157, 92.8%) [14 30 63]
;  #459 (156, 92.8%) [31 45 63 94]
;  #460 (155, 92.8%) [7 14 45 49 51 89 90 95]
;  #461 (155, 92.8%) [7 14 30 49 51 53 93 95 103 145]
;  #462 (155, 92.9%) [14 21 30 49 51]
;  #463 (155, 92.9%) [14 21 27 49 51 55 56]
;  #464 (154, 92.9%) [7 45 90]
;  #465 (154, 92.9%) [63 99 100 102 147]
;  #466 (154, 92.9%) [63 97 99 100 102 147]
;  #467 (154, 92.9%) [41 63]
;  #468 (154, 92.9%) [7 14 92]
;  #469 (154, 92.9%) [7 102 151 152]
;  #470 (154, 93.0%) [7 99 100 102 152]
;  #471 (153, 93.0%) [30 40 105 106]
;  #472 (153, 93.0%) [22]
;  #473 (152, 93.0%) [14 92]
;  #474 (152, 93.0%) [2 7 10 30]
;  #475 (152, 93.0%) [7 13 63]
;  #476 (152, 93.0%) [7 13 120]
;  #477 (150, 93.0%) [63 100 102 147]
;  #478 (150, 93.1%) [7 26 90 97]
;  #479 (150, 93.1%) [7 14 21 27 51 73]
;  #480 (150, 93.1%) [7 102 153]
;  #481 (148, 93.1%) [7 31 45 63 94]
;  #482 (148, 93.1%) [63 97 102 151 152 153]
;  #483 (148, 93.1%) [2 7 17 21 90]
;  #484 (148, 93.1%) [7 26 121]
;  #485 (148, 93.1%) [14 21 30 48 49 73]
;  #486 (148, 93.2%) [14 21 27 48 73 113]
;  #487 (148, 93.2%) [14 21 27 48 49 53 55 73]
;  #488 (148, 93.2%) [7 14 21 27 48 113]
;  #489 (147, 93.2%) [48 49]
;  #490 (147, 93.2%) [2 7 14 21 29 63]
;  #491 (147, 93.2%) [14 71]
;  #492 (147, 93.2%) [7 14 63 90]
;  #493 (147, 93.3%) [7 14 31 63]
;  #494 (147, 93.3%) [7 14 31 63 89]
;  #495 (147, 93.3%) [14 30 63 89]
;  #496 (147, 93.3%) [14 21 27 28 30 63]
;  #497 (147, 93.3%) [7 14 21 71]
;  #498 (146, 93.3%) [63 93]
;  #499 (146, 93.3%) [10 121]
;  #500 (145, 93.3%) [7 10 122]
;  #501 (144, 93.4%) [31 150]
;  #502 (144, 93.4%) [7 98 100 102 147 153 175]
;  #503 (143, 93.4%) [14 48 50 51 59 60 61]
;  #504 (142, 93.4%) [7 195]
;  #505 (141, 93.4%) [7 63 90 97]
;  #506 (141, 93.4%) [45 69]
;  #507 (141, 93.4%) [7 26 31]
;  #508 (141, 93.4%) [26 63 128]
;  #509 (141, 93.4%) [3 7 30 31 63]
;  #510 (141, 93.5%) [14 30 54 63]
;  #511 (140, 93.5%) [7 63 91 97]
;  #512 (140, 93.5%) [2 7 27 49 55 73]
;  #513 (139, 93.5%) [14 48 50 51]
;  #514 (138, 93.5%) [7 39 100]
;  #515 (137, 93.5%) [3 70]
;  #516 (137, 93.5%) [7 21 26 45 63 97]
;  #517 (136, 93.5%) [7 51 160]
;  #518 (136, 93.6%) [2 7 21 48]
;  #519 (136, 93.6%) [7 21 133]
;  #520 (136, 93.6%) [7 14 30 63 93]
;  #521 (136, 93.6%) [7 14 30 45 54 63]
;  #522 (136, 93.6%) [7 14 30 45 63]
;  #523 (136, 93.6%) [14 21 30 51 160]
;  #524 (136, 93.6%) [14 21 27 51]
;  #525 (136, 93.6%) [14 21 27 51 53 55 73 160]
;  #526 (135, 93.6%) [63 100 147]
;  #527 (135, 93.7%) [2 7 27 28 63]
;  #528 (135, 93.7%) [7 63 120 121]
;  #529 (134, 93.7%) [99 100 102]
;  #530 (134, 93.7%) [97 99 100 102]
;  #531 (133, 93.7%) [99 100 147]
;  #532 (133, 93.7%) [5 22 63]
;  #533 (133, 93.7%) [17 31 45 90 97]
;  #534 (133, 93.7%) [7 120 122]
;  #535 (132, 93.8%) [63 194]
;  #536 (132, 93.8%) [2 7 17 21 48 49 90 148]
;  #537 (132, 93.8%) [7 21 26 40]
;  #538 (132, 93.8%) [2 7 26]
;  #539 (132, 93.8%) [159]
;  #540 (131, 93.8%) [63 120]
;  #541 (131, 93.8%) [14 30 63 140]
;  #542 (131, 93.8%) [7 14 30 45 63 89 92]
;  #543 (131, 93.8%) [2 7 10 13 14 63]
;  #544 (130, 93.9%) [7 128]
;  #545 (129, 93.9%) [7 99]
;  #546 (128, 93.9%) [5 21 39 91 97 128]
;  #547 (128, 93.9%) [7 30 40 89 105 106]
;  #548 (128, 93.9%) [38 45]
;  #549 (128, 93.9%) [3 69]
;  #550 (128, 93.9%) [2 7 21 51 90 160]
;  #551 (126, 93.9%) [91]
;  #552 (126, 93.9%) [7 27 48 55 56 148]
;  #553 (126, 94.0%) [14 59 60 61]
;  #554 (126, 94.0%) [2 7 27 48 56 57 148]
;  #555 (126, 94.0%) [14 21 30 48 51 148]
;  #556 (126, 94.0%) [14 21 30 48 49 148]
;  #557 (126, 94.0%) [14 21 30 48 49 53 73 148]
;  #558 (126, 94.0%) [14 21 30 48]
;  #559 (126, 94.0%) [14 21 27 48 51 55 148]
;  #560 (126, 94.0%) [14 21 27 48 49 55 56 148]
;  #561 (126, 94.0%) [7 14 21 27 48 51 148]
;  #562 (126, 94.0%) [2 7 21 48 51 148]
;  #563 (125, 94.1%) [6 7 26 45 97]
;  #564 (125, 94.1%) [63 99 100 147]
;  #565 (125, 94.1%) [34 128]
;  #566 (125, 94.1%) [8 135]
;  #567 (124, 94.1%) [99 100 147 153]
;  #568 (124, 94.1%) [97 99 100 147 153]
;  #569 (124, 94.1%) [7 99 100 147 153]
;  #570 (124, 94.1%) [7 10 13 63]
;  #571 (123, 94.1%) [31 34 89 128]
;  #572 (122, 94.2%) [100 128]
;  #573 (122, 94.2%) [7 102 151 152 153]
;  #574 (121, 94.2%) [63 99 100 102 147 151]
;  #575 (121, 94.2%) [63 97 99 100 102 147 151]
;  #576 (121, 94.2%) [14 59 60 61 73]
;  #577 (121, 94.2%) [14 48 50 51 53 59 60 61]
;  #578 (120, 94.2%) [7 49 51 146]
;  #579 (120, 94.2%) [2 7 21 48 49 90 148]
;  #580 (120, 94.2%) [63 99 102]
;  #581 (120, 94.2%) [22 63]
;  #582 (120, 94.3%) [7 21 40 90]
;  #583 (120, 94.3%) [7 14 40 63 105 120]
;  #584 (120, 94.3%) [14 21 29 48 49 52 53]
;  #585 (120, 94.3%) [14 21 27 49 51 53 55 73 146]
;  #586 (120, 94.3%) [7 102 198]
;  #587 (120, 94.3%) [7 10 120]
;  #588 (120, 94.3%) [7 99 100]
;  #589 (120, 94.3%) [7 97 133]
;  #590 (120, 94.3%) [2 7 21 49]
;  #591 (119, 94.3%) [62]
;  #592 (119, 94.4%) [2 26]
;  #593 (118, 94.4%) [6 7 21 26 45 97]
;  #594 (118, 94.4%) [34 89 90 128]
;  #595 (117, 94.4%) [63 133]
;  #596 (117, 94.4%) [7 26 31 45]
;  #597 (117, 94.4%) [2 3 7]
;  #598 (117, 94.4%) [7 10 63]
;  #599 (116, 94.4%) [7 26 45 97 133]
;  #600 (116, 94.4%) [7 21 26 63]
;  #601 (116, 94.4%) [7 98 100 147]
;  #602 (115, 94.5%) [99 100]
;  #603 (115, 94.5%) [5 22 133]
;  #604 (115, 94.5%) [63 97 99 100 102]
;  #605 (115, 94.5%) [7 21 27 63]
;  #606 (114, 94.5%) [98 100 102 147]
;  #607 (114, 94.5%) [2 10 13 30 63]
;  #608 (114, 94.5%) [2 3 5 10 13]
;  #609 (114, 94.5%) [13 14]
;  #610 (113, 94.5%) [63 97 99 100 147]
;  #611 (112, 94.5%) [7 21 63 91 97]
;  #612 (112, 94.6%) [17 31 45 63 90 97]
;  #613 (112, 94.6%) [2 7 27 28 73]
;  #614 (111, 94.6%) [63 98 100 102 147 157]
;  #615 (111, 94.6%) [63 97 98 100 102 147 157]
;  #616 (111, 94.6%) [2 10 13 30]
;  #617 (111, 94.6%) [41 63 128]
;  #618 (111, 94.6%) [2 7 27 28 48 50 56 57]
;  #619 (111, 94.6%) [7 14 21 26 63]
;  #620 (110, 94.6%) [2 10 11 12 13 63]
;  #621 (110, 94.6%) [7 14 21 27 63]
;  #622 (109, 94.7%) [98 100 102 147 157]
;  #623 (109, 94.7%) [97 98 100 102 147 157]
;  #624 (109, 94.7%) [31 94]
;  #625 (109, 94.7%) [7 21 26 71 97]
;  #626 (109, 94.7%) [7 14 30 45 51 95]
;  #627 (109, 94.7%) [2 7 27 28 49 55 73]
;  #628 (109, 94.7%) [7 128 133]
;  #629 (108, 94.7%) [31 41]
;  #630 (108, 94.7%) [26 63 89]
;  #631 (108, 94.7%) [3 7 63 133]
;  #632 (107, 94.7%) [2 7 27 55 73]
;  #633 (106, 94.8%) [14 48 53 59 60 61]
;  #634 (106, 94.8%) [2 19]
;  #635 (105, 94.8%) [62 73]
;  #636 (105, 94.8%) [102 159]
;  #637 (104, 94.8%) [94 150]
;  #638 (104, 94.8%) [63 97 99 102]
;  #639 (104, 94.8%) [7 97 121]
;  #640 (103, 94.8%) [7 14 45 51 89 90]
;  #641 (103, 94.8%) [7 14 30 51 53 93 103 145]
;  #642 (103, 94.8%) [7 14 26 29 30 31 45 63]
;  #643 (102, 94.8%) [63 120 121 189]
;  #644 (102, 94.9%) [63 98 99 100 158]
;  #645 (102, 94.9%) [63 98 99 100 102 158]
;  #646 (101, 94.9%) [63 98 100 102 147 153]
;  #647 (101, 94.9%) [63 97 98 100 102 147 153]
;  #648 (101, 94.9%) [10 13]
;  #649 (100, 94.9%) [26 90 97 159]
;  #650 (100, 94.9%) [14 21 30 51 53 136]
;  #651 (100, 94.9%) [7 99 100 102 152 159]
;  #652 (99, 94.9%) [99 100 102 147]
;  #653 (99, 94.9%) [2 7 21 48 50 51]
;  #654 (99, 94.9%) [97 99 100 102 147]
;  #655 (99, 94.9%) [7 39 130]
;  #656 (99, 95.0%) [88]
;  #657 (99, 95.0%) [63 159]
;  #658 (99, 95.0%) [63 97 159]
;  #659 (99, 95.0%) [7 27 48 50 55 56 90]
;  #660 (99, 95.0%) [8 128 133]
;  #661 (99, 95.0%) [7 91 97 128]
;  #662 (98, 95.0%) [7 45 71 128 133]
;  #663 (98, 95.0%) [31 120]
;  #664 (98, 95.0%) [21 120]
;  #665 (98, 95.0%) [131]
;  #666 (97, 95.0%) [8 21]
;  #667 (96, 95.0%) [39 41]
;  #668 (96, 95.1%) [7 21 97 133]
;  #669 (96, 95.1%) [13 26]
;  #670 (96, 95.1%) [7 13 63 120]
;  #671 (96, 95.1%) [7 13 14]
;  #672 (95, 95.1%) [2 7 21 48 49]
;  #673 (95, 95.1%) [7 21 69]
;  #674 (95, 95.1%) [14 73]
;  #675 (95, 95.1%) [7 14 45 51 89 90 95]
;  #676 (95, 95.1%) [7 14 30 51 53 93 95 103 145]
;  #677 (95, 95.1%) [7 14 30 45 51 53 54 73 95]
;  #678 (95, 95.1%) [7 14 30 45 49 51 95]
;  #679 (95, 95.1%) [7 14 30 45 49 51 53 54 73 95]
;  #680 (95, 95.2%) [14 21 30 49 51 53 73]
;  #681 (94, 95.2%) [63 102 198]
;  #682 (94, 95.2%) [63 97 102 198]
;  #683 (94, 95.2%) [32]
;  #684 (94, 95.2%) [26 45 63 128]
;  #685 (94, 95.2%) [7 21 26 45 133]
;  #686 (94, 95.2%) [2 4 44]
;  #687 (94, 95.2%) [2 44]
;  #688 (94, 95.2%) [7 10 12 121]
;  #689 (93, 95.2%) [7 41 45]
;  #690 (93, 95.2%) [7 17]
;  #691 (92, 95.2%) [97 102 159]
;  #692 (92, 95.2%) [97 99 100]
;  #693 (92, 95.3%) [2 10 47]
;  #694 (92, 95.3%) [5 22 91 97]
;  #695 (92, 95.3%) [2 4 7 10 13]
;  #696 (92, 95.3%) [5 21 133]
;  #697 (92, 95.3%) [14 21 30 48 50 51 53 64 156]
;  #698 (91, 95.3%) [7 26 45]
;  #699 (91, 95.3%) [31 121]
;  #700 (90, 95.3%) [97 98 100 102 147]
;  #701 (90, 95.3%) [2 10 13 14 21 26 63]
;  #702 (90, 95.3%) [2 3 63]
;  #703 (90, 95.3%) [7 99 100 102 153]
;  #704 (90, 95.3%) [2 22 61 63]
;  #705 (89, 95.4%) [98 100 102 147 175]
;  #706 (89, 95.4%) [97 98 100 102 147 175]
;  #707 (88, 95.4%) [5 91 97]
;  #708 (88, 95.4%) [7 30 120]
;  #709 (88, 95.4%) [14 48 53 59 60 61 136]
;  #710 (88, 95.4%) [7 14 63 120]
;  #711 (88, 95.4%) [7 14 90]
;  #712 (88, 95.4%) [7 98 100 102 147 153]
;  #713 (87, 95.4%) [7 39 128]
;  #714 (87, 95.4%) [2 10 34]
;  #715 (87, 95.4%) [63 98 99 100 147 151 152]
;  #716 (87, 95.4%) [63 98 99 100 102 147 151 152]
;  #717 (87, 95.4%) [39 90 133]
;  #718 (87, 95.4%) [14 48 59 60 61]
;  #719 (87, 95.5%) [7 14 31 120]
;  #720 (87, 95.5%) [2 7 27 51 56]
;  #721 (87, 95.5%) [7 14 21 29 63]
;  #722 (87, 95.5%) [7 94 130]
;  #723 (86, 95.5%) [2 7 21 38 48 50 51 64]
;  #724 (86, 95.5%) [2 7 21 38 48 50 51]
;  #725 (86, 95.5%) [7 27 51 56 90]
;  #726 (86, 95.5%) [4 7 21 26 45 63 97]
;  #727 (86, 95.5%) [2 7 49 73]
;  #728 (86, 95.5%) [7 14 45 49 51]
;  #729 (86, 95.5%) [7 14 45 49 51 53 54 73]
;  #730 (86, 95.5%) [7 14 41 44 45 49 51]
;  #731 (86, 95.5%) [7 14 41 49 51 53]
;  #732 (86, 95.6%) [7 14 26 48 50 51 53]
;  #733 (86, 95.6%) [14 21 49 51 56]
;  #734 (86, 95.6%) [7 14 26 48 50 51 53 64]
;  #735 (86, 95.6%) [14 21 38 110]
;  #736 (86, 95.6%) [14 21 49 51]
;  #737 (86, 95.6%) [14 21 38 64 110]
;  #738 (86, 95.6%) [7 14 26 45 48 50 51 64]
;  #739 (86, 95.6%) [14 21 38 48 51 64]
;  #740 (86, 95.6%) [14 21 38 48 51]
;  #741 (86, 95.6%) [7 14 26 45 48 50 51 53 54 64 73]
;  #742 (86, 95.6%) [7 14 26 45 48 50 51 53 54 73]
;  #743 (86, 95.6%) [7 14 26 45 48 50 51]
;  #744 (86, 95.6%) [7 14 26 44 45 48 50 51]
;  #745 (86, 95.6%) [7 14 26 44 45 48 50 51 64]
;  #746 (86, 95.7%) [7 14 21 51]
;  #747 (86, 95.7%) [7 14 21 38 110]
;  #748 (86, 95.7%) [7 14 21 38]
;  #749 (85, 95.7%) [2 10 63]
;  #750 (85, 95.7%) [0 14 21 27]
;  #751 (85, 95.7%) [21 63 91 97]
;  #752 (85, 95.7%) [0 7 14 21 27]
;  #753 (84, 95.7%) [91 135]
;  #754 (84, 95.7%) [90 97 159]
;  #755 (84, 95.7%) [2 7 10 11 12 13]
;  #756 (84, 95.7%) [63 97 99 100]
;  #757 (84, 95.7%) [63 90 133]
;  #758 (84, 95.7%) [2 9]
;  #759 (84, 95.7%) [26 45 63 90 97]
;  #760 (84, 95.8%) [21 91 97 135]
;  #761 (84, 95.8%) [21 27 28 63 71]
;  #762 (84, 95.8%) [7 100 102 147]
;  #763 (84, 95.8%) [7 99 102]
;  #764 (83, 95.8%) [99 100 102 158]
;  #765 (83, 95.8%) [3 48 50 51]
;  #766 (83, 95.8%) [3 22 63]
;  #767 (82, 95.8%) [7 14 130]
;  #768 (82, 95.8%) [10 121 122]
;  #769 (81, 95.8%) [7 14 26 29 30 31 63]
;  #770 (80, 95.8%) [97 99 100 102 147 151]
;  #771 (80, 95.8%) [68]
;  #772 (80, 95.8%) [7 39 45]
;  #773 (80, 95.8%) [99 100 102 147 151]
;  #774 (80, 95.9%) [21 135 161]
;  #775 (79, 95.9%) [14 48 50 51 59 60 61 73]
;  #776 (79, 95.9%) [14 48 49 59 60 61 73]
;  #777 (78, 95.9%) [7 51 146]
;  #778 (78, 95.9%) [7 26 38]
;  #779 (78, 95.9%) [3 63 133]
;  #780 (78, 95.9%) [7 14 30 45 51 53 54 73]
;  #781 (78, 95.9%) [7 14 30 45 51]
;  #782 (78, 95.9%) [2 7 27 28 57 63]
;  #783 (78, 95.9%) [7 10 120 122 123]
;  #784 (78, 95.9%) [7 99 100 102 147 151 152 153]
;  #785 (77, 95.9%) [99 100 102 152]
;  #786 (77, 95.9%) [97 102 151 152]
;  #787 (77, 95.9%) [97 99 100 102 152]
;  #788 (77, 95.9%) [30 63]
;  #789 (77, 96.0%) [2 5 9]
;  #790 (77, 96.0%) [2 7 34]
;  #791 (77, 96.0%) [102 151 152]
;  #792 (76, 96.0%) [63 98 100]
;  #793 (76, 96.0%) [63 98 100 102]
;  #794 (76, 96.0%) [21 30 48 49 52]
;  #795 (75, 96.0%) [97 102 153]
;  #796 (75, 96.0%) [91 133]
;  #797 (75, 96.0%) [27]
;  #798 (75, 96.0%) [102 153]
;  #799 (74, 96.0%) [6 26 41 97]
;  #800 (74, 96.0%) [97 99 100 147]
;  #801 (74, 96.0%) [7 27 48 50 55 56]
;  #802 (74, 96.0%) [30 134]
;  #803 (74, 96.0%) [21 26]
;  #804 (74, 96.1%) [7 14 45 49 89 90]
;  #805 (74, 96.1%) [7 14 30 53 93 103 145]
;  #806 (74, 96.1%) [2 73]
;  #807 (74, 96.1%) [7 14 30 45 49 53 54 73]
;  #808 (74, 96.1%) [7 14 30 45 49]
;  #809 (74, 96.1%) [2 7 27 48 50 56 57]
;  #810 (74, 96.1%) [2 49]
;  #811 (74, 96.1%) [14 21 30 48 50 51]
;  #812 (74, 96.1%) [14 21 30 48 49 53 73]
;  #813 (74, 96.1%) [14 21 30 48 49]
;  #814 (74, 96.1%) [14 21 27 48 113]
;  #815 (74, 96.1%) [14 21 27 48 50 51 55]
;  #816 (74, 96.1%) [14 21 27 48 50 55 56]
;  #817 (74, 96.1%) [14 21 27 48 49]
;  #818 (74, 96.1%) [7 14 21 27 48 50 51]
;  #819 (74, 96.1%) [7 99 100 147]
;  #820 (74, 96.2%) [7 63 121]
;  #821 (73, 96.2%) [7 31 39 63]
;  #822 (73, 96.2%) [13 121]
;  #823 (73, 96.2%) [2 21 26 63]
;  #824 (72, 96.2%) [99 100 158]
;  #825 (72, 96.2%) [98 100 102 147 153 175]
;  #826 (72, 96.2%) [7 44]
;  #827 (72, 96.2%) [7 40 90]
;  #828 (72, 96.2%) [97 98 100 102 147 153 175]
;  #829 (72, 96.2%) [7 40]
;  #830 (72, 96.2%) [7 39 138]
;  #831 (72, 96.2%) [63 132]
;  #832 (72, 96.2%) [39 41 128]
;  #833 (71, 96.2%) [6 7 26 45]
;  #834 (71, 96.2%) [7 27 63 90]
;  #835 (71, 96.2%) [3 48 49]
;  #836 (70, 96.3%) [5 63 133]
;  #837 (70, 96.3%) [31 39]
;  #838 (70, 96.3%) [30 89]
;  #839 (70, 96.3%) [7 21 45 63]
;  #840 (70, 96.3%) [7 21 27]
;  #841 (70, 96.3%) [14 30 59 60 61 63]
;  #842 (70, 96.3%) [7 63 120]
;  #843 (69, 96.3%) [17]
;  #844 (69, 96.3%) [10 13 14]
;  #845 (68, 96.3%) [7 45 150]
;  #846 (68, 96.3%) [63 98]
;  #847 (68, 96.3%) [7 27 51 55 56 160]
;  #848 (68, 96.3%) [45 63 69]
;  #849 (68, 96.3%) [41 63 133]
;  #850 (68, 96.3%) [7 26 31 38 45 71 97]
;  #851 (68, 96.3%) [7 14 39 92]
;  #852 (68, 96.3%) [2 7 27 51 56 57 160]
;  #853 (68, 96.4%) [14 21 30 51 53 73 160]
;  #854 (68, 96.4%) [14 21 30 48 50 51 53 64 107]
;  #855 (68, 96.4%) [14 21 27 51 55 56 160]
;  #856 (68, 96.4%) [14 21 27 51 55 160]
;  #857 (68, 96.4%) [7 14 21 27 51 160]
;  #858 (68, 96.4%) [7 100 102 159]
;  #859 (68, 96.4%) [7 100 102 147 153]
;  #860 (68, 96.4%) [2 7 21 51 160]
;  #861 (67, 96.4%) [99 100 101 102 158 159]
;  #862 (67, 96.4%) [7 45 94]
;  #863 (67, 96.4%) [63 121]
;  #864 (67, 96.4%) [63 99 100 102 151 152]
;  #865 (67, 96.4%) [63 97 99 100 102 151 152]
;  #866 (67, 96.4%) [48 61]
;  #867 (67, 96.4%) [3 22]
;  #868 (67, 96.4%) [2 31]
;  #869 (66, 96.4%) [98 100 147 175]
;  #870 (66, 96.4%) [97 135]
;  #871 (66, 96.5%) [39 45 90]
;  #872 (66, 96.5%) [3 7 39 138]
;  #873 (66, 96.5%) [3 7 39 45 138]
;  #874 (66, 96.5%) [7 14 92 144]
;  #875 (66, 96.5%) [7 14 45 48 49 89 90 148]
;  #876 (66, 96.5%) [7 14 30 48 49 53 93 103 145 148]
;  #877 (66, 96.5%) [7 14 30 45 48 49 148]
;  #878 (66, 96.5%) [7 14 30 45 48 49 53 54 73 148]
;  #879 (66, 96.5%) [7 100 102 147 151 152]
;  #880 (66, 96.5%) [7 99 100 102 151 152]
;  #881 (65, 96.5%) [5 22 63 133]
;  #882 (64, 96.5%) [5 135 155 161]
;  #883 (64, 96.5%) [7 39 98 100 147 175]
;  #884 (64, 96.5%) [7 39 45 138]
;  #885 (64, 96.5%) [3 7 31 63]
;  #886 (64, 96.5%) [3 7 31 39 63]
;  #887 (64, 96.5%) [7 14 45 51 89 90 95 160]
;  #888 (64, 96.5%) [14 48 49 52 53 59 60 61]
;  #889 (64, 96.6%) [7 14 30 51 53 93 95 103 145 160]
;  #890 (64, 96.6%) [7 14 30 45 51 95 160]
;  #891 (64, 96.6%) [7 14 30 45 51 53 54 73 95 160]
;  #892 (64, 96.6%) [7 10 121 122]
;  #893 (64, 96.6%) [7 10 13 14 63]
;  #894 (64, 96.6%) [135 142 174]
;  #895 (63, 96.6%) [63 98 102]
;  #896 (63, 96.6%) [21 39]
;  #897 (63, 96.6%) [2 17]
;  #898 (63, 96.6%) [103]
;  #899 (62, 96.6%) [120 134]
;  #900 (62, 96.6%) [87]
;  #901 (62, 96.6%) [7 34 128]
;  #902 (62, 96.6%) [31 89]
;  #903 (62, 96.6%) [7 21 63 89]
;  #904 (62, 96.6%) [7 21 40 63 90]
;  #905 (62, 96.6%) [14 92 144]
;  #906 (62, 96.6%) [7 14 26 29 30 31 45 48 49 54]
;  #907 (61, 96.7%) [98 100 147]
;  #908 (61, 96.7%) [97 102 151 152 153]
;  #909 (61, 96.7%) [7 26 45 63 97]
;  #910 (61, 96.7%) [14 48 49 53 59 60 61 73]
;  #911 (61, 96.7%) [102 151 152 153]
;  #912 (60, 96.7%) [97 102 198]
;  #913 (60, 96.7%) [5 91]
;  #914 (60, 96.7%) [2 7 10 11 12 13 63]
;  #915 (60, 96.7%) [5 21 135]
;  #916 (60, 96.7%) [2 7 21 26 48 49]
;  #917 (60, 96.7%) [5 17]
;  #918 (60, 96.7%) [2 9 10 18]
;  #919 (60, 96.7%) [7 21 91 97 128]
;  #920 (60, 96.7%) [14 48 50 51 53 73]
;  #921 (60, 96.7%) [7 14 45 48 49 89 90 95 148]
;  #922 (60, 96.7%) [7 14 30 48 49 53 93 95 103 145 148]
;  #923 (60, 96.7%) [7 14 30 45 49 51 94 95]
;  #924 (60, 96.7%) [7 14 30 45 49 51 53 54 73 94 95]
;  #925 (60, 96.7%) [7 14 30 45 48 49 53 54 73 95 148]
;  #926 (60, 96.7%) [7 14 30 45 48 49 95 148]
;  #927 (60, 96.8%) [14 21 30 49 51 53 73 146]
;  #928 (60, 96.8%) [14 21 29 48 49 73]
;  #929 (60, 96.8%) [14 21 28 48 49 53 73]
;  #930 (60, 96.8%) [7 14 21 28 48 113]
;  #931 (60, 96.8%) [7 14 21 28 48 52 73 113]
;  #932 (60, 96.8%) [102 198]
;  #933 (59, 96.8%) [7 14 26 29 30 31 45 54 63]
;  #934 (58, 96.8%) [7 45 128 133]
;  #935 (58, 96.8%) [7 38 97 133]
;  #936 (58, 96.8%) [31 45 63 90]
;  #937 (58, 96.8%) [26 71 97]
;  #938 (58, 96.8%) [7 21 26 40 63]
;  #939 (58, 96.8%) [167 182]
;  #940 (58, 96.8%) [135 161]
;  #941 (57, 96.8%) [7 53]
;  #942 (57, 96.8%) [7 31 94]
;  #943 (57, 96.8%) [63 97 99 100 102 152]
;  #944 (57, 96.8%) [7 28]
;  #945 (57, 96.8%) [7 27 28 63]
;  #946 (57, 96.8%) [2 3 5 9 104]
;  #947 (57, 96.9%) [3 9 18]
;  #948 (57, 96.9%) [14 48 50 55 56]
;  #949 (57, 96.9%) [14 17]
;  #950 (57, 96.9%) [120 122]
;  #951 (56, 96.9%) [2 7 10 13 14 21 63]
;  #952 (56, 96.9%) [99]
;  #953 (56, 96.9%) [2 7 21 48 49 50 56 90]
;  #954 (56, 96.9%) [63 99 102 151 152]
;  #955 (56, 96.9%) [7 31 45 133]
;  #956 (56, 96.9%) [2 10 30]
;  #957 (56, 96.9%) [63 97 100 102 147]
;  #958 (56, 96.9%) [63 97 99 102 151 152]
;  #959 (56, 96.9%) [59 60 61 63]
;  #960 (56, 96.9%) [50 160 194]
;  #961 (56, 96.9%) [50 53 59 60 61 160]
;  #962 (56, 96.9%) [31 41 63]
;  #963 (56, 96.9%) [2 10 11 12 13 21]
;  #964 (56, 96.9%) [7 21 38 97 133]
;  #965 (56, 96.9%) [7 21 38 63 97]
;  #966 (56, 96.9%) [14 21 30 51 53 73 136]
;  #967 (56, 97.0%) [14 21 27 57 63]
;  #968 (56, 97.0%) [7 14 26]
;  #969 (55, 97.0%) [100 147 157]
;  #970 (55, 97.0%) [100 102 147 157]
;  #971 (55, 97.0%) [29 30 89]
;  #972 (55, 97.0%) [2 3 7 63]
;  #973 (55, 97.0%) [14 48 50 51 55]
;  #974 (54, 97.0%) [63 99 100 102 158]
;  #975 (54, 97.0%) [21 29 30 63]
;  #976 (54, 97.0%) [7 21 26 128]
;  #977 (54, 97.0%) [2 34]
;  #978 (53, 97.0%) [7 21 26 31]
;  #979 (53, 97.0%) [3 7 90]
;  #980 (53, 97.0%) [2 54 63]
;  #981 (52, 97.0%) [100 147]
;  #982 (52, 97.0%) [7 63 90 133]
;  #983 (52, 97.0%) [7 45 71 128]
;  #984 (52, 97.0%) [2 10 39]
;  #985 (52, 97.0%) [7 27]
;  #986 (52, 97.0%) [3 48]
;  #987 (52, 97.0%) [2 4 25 44]
;  #988 (52, 97.0%) [14 21 29 30 48 49 52 73]
;  #989 (52, 97.1%) [10 120 121]
;  #990 (52, 97.1%) [7 14 21 26 31 45 63 89]
;  #991 (52, 97.1%) [2 25 44]
;  #992 (52, 97.1%) [7 98 100 102 147 153 157]
;  #993 (52, 97.1%) [7 63 132]
;  #994 (51, 97.1%) [7 39 90 128]
;  #995 (51, 97.1%) [2 10 21]
;  #996 (51, 97.1%) [39 143]
;  #997 (51, 97.1%) [195]
;  #998 (50, 97.1%) [99 100 102 152 159]
;  #999 (50, 97.1%) [97 99 100 102 152 159]
;  #1000 (50, 97.1%) [89 128]
;  #1001 (50, 97.1%) [48 88]
;  #1002 (50, 97.1%) [7 21 26 38 45 97]
;  #1003 (50, 97.1%) [3 13]
;  #1004 (50, 97.1%) [2 7 10 13 26 30]
;  #1005 (50, 97.1%) [14 21 27 51 53 55 73 146]
;  #1006 (50, 97.1%) [7 14 21 27 28 48 113]
;  #1007 (49, 97.1%) [7 31 63 90 97]
;  #1008 (49, 97.1%) [7 26 31 45 128]
;  #1009 (49, 97.1%) [7 21 90]
;  #1010 (49, 97.1%) [14 21 27 48 51]
;  #1011 (49, 97.1%) [8 133]
;  #1012 (49, 97.2%) [7 121 122]
;  #1013 (48, 97.2%) [99 102]
;  #1014 (48, 97.2%) [63 153]
;  #1015 (48, 97.2%) [63 99 100 158]
;  #1016 (48, 97.2%) [63 97 153]
;  #1017 (48, 97.2%) [7 30 89 177 181 184]
;  #1018 (48, 97.2%) [40]
;  #1019 (48, 97.2%) [7 26 44]
;  #1020 (48, 97.2%) [31 39 41 128]
;  #1021 (48, 97.2%) [7 21 45 97]
;  #1022 (48, 97.2%) [7 21 27 48 52 73 113]
;  #1023 (48, 97.2%) [14 48 53 55 73]
;  #1024 (48, 97.2%) [7 14 26 29 30 31 48 53]
;  #1025 (48, 97.2%) [7 14 21 26 31 45 48 49 89]
;  #1026 (48, 97.2%) [2 7 21 49 90]
;  #1027 (48, 97.2%) [7 63 131]
;  #1028 (47, 97.2%) [98 100 128 147 175]
;  #1029 (47, 97.2%) [7 39 90]
;  #1030 (47, 97.2%) [2 7 21 26 48 50 51]
;  #1031 (47, 97.2%) [45 56]
;  #1032 (47, 97.2%) [3 133 154]
;  #1033 (47, 97.2%) [26 45 97]
;  #1034 (47, 97.2%) [7 14 26 29 30 31 45 48 49 53 73]
;  #1035 (47, 97.2%) [2 7 10 13 14 31 63]
;  #1036 (47, 97.2%) [172]
;  #1037 (47, 97.3%) [133 154]
;  #1038 (46, 97.3%) [7 48 50 51 64 156]
;  #1039 (46, 97.3%) [63 100 157 158]
;  #1040 (46, 97.3%) [63 100 102 157 158]
;  #1041 (46, 97.3%) [2 10 13 30 31]
;  #1042 (46, 97.3%) [2 7 17 21 48 50 51 64 90 156]
;  #1043 (46, 97.3%) [14 48 113]
;  #1044 (46, 97.3%) [14 48 62 73 113]
;  #1045 (46, 97.3%) [14 48 52 73 113]
;  #1046 (46, 97.3%) [14 21 30 48 50 51 64 73 156]
;  #1047 (46, 97.3%) [14 21 30 48 50 51 64 156]
;  #1048 (46, 97.3%) [14 21 27 48 50 51 64 73 156]
;  #1049 (46, 97.3%) [14 21 27 48 50 51 64 156]
;  #1050 (46, 97.3%) [14 21 27 48 50 51 53 64 73 156]
;  #1051 (46, 97.3%) [7 14 21 27 48 50 51 64 156]
;  #1052 (46, 97.3%) [7 14 21 27 48 50 51 64 73 156]
;  #1053 (46, 97.3%) [10 21]
;  #1054 (45, 97.3%) [99 100 102 153]
;  #1055 (45, 97.3%) [98 99 100 147 151 152]
;  #1056 (45, 97.3%) [98 99 100 102 147 151 152]
;  #1057 (45, 97.3%) [97 99 100 102 153]
;  #1058 (45, 97.3%) [63 131]
;  #1059 (45, 97.3%) [50 194]
;  #1060 (45, 97.3%) [7 26 45 133]
;  #1061 (45, 97.3%) [38 45 128]
;  #1062 (45, 97.4%) [31 128 133]
;  #1063 (45, 97.4%) [7 26 31 38 45 133]
;  #1064 (45, 97.4%) [28]
;  #1065 (45, 97.4%) [26 29 30]
;  #1066 (45, 97.4%) [7 21 26 45 97]
;  #1067 (45, 97.4%) [3 7 14]
;  #1068 (45, 97.4%) [3 7 13]
;  #1069 (45, 97.4%) [14 48 49 73]
;  #1070 (45, 97.4%) [14 48]
;  #1071 (45, 97.4%) [14 31]
;  #1072 (45, 97.4%) [2 7 10 13 14 31]
;  #1073 (45, 97.4%) [166 167 182 183]
;  #1074 (44, 97.4%) [100 102 147]
;  #1075 (44, 97.4%) [98 100 102 147 153]
;  #1076 (44, 97.4%) [7 39 45 90]
;  #1077 (44, 97.4%) [14 63 69]
;  #1078 (44, 97.4%) [3 7 14 21 69]
;  #1079 (44, 97.4%) [3 7 14 21]
;  #1080 (44, 97.4%) [14 48 49 52 53]
;  #1081 (44, 97.4%) [97 98 100 102 147 153]
;  #1082 (44, 97.4%) [7 14 21 26]
;  #1083 (44, 97.4%) [7 10 12 120 121]
;  #1084 (43, 97.4%) [90 97 128 133]
;  #1085 (43, 97.4%) [39 138]
;  #1086 (43, 97.4%) [7 14 94]
;  #1087 (42, 97.4%) [97 100 102 147]
;  #1088 (42, 97.4%) [97 99 102]
;  #1089 (42, 97.5%) [63 100 147 153]
;  #1090 (42, 97.5%) [63 100 102 152]
;  #1091 (42, 97.5%) [63 100 102 147 153]
;  #1092 (42, 97.5%) [63 97 100 102 147 153]
;  #1093 (42, 97.5%) [194]
;  #1094 (42, 97.5%) [7 29 30 40 89 105 167]
;  #1095 (42, 97.5%) [7 27 63]
;  #1096 (42, 97.5%) [34 40 90 128]
;  #1097 (42, 97.5%) [26 97]
;  #1098 (42, 97.5%) [3 48 50 51 73]
;  #1099 (42, 97.5%) [7 21 90 133]
;  #1100 (42, 97.5%) [7 14 90 130]
;  #1101 (42, 97.5%) [10 13 121]
;  #1102 (42, 97.5%) [7 100 128 133]
;  #1103 (41, 97.5%) [5 22 135 141]
;  #1104 (41, 97.5%) [7 27 48 51]
;  #1105 (41, 97.5%) [7 26 45 97]
;  #1106 (41, 97.5%) [31 97]
;  #1107 (41, 97.5%) [21 26 63]
;  #1108 (41, 97.5%) [2 7 10 13 30]
;  #1109 (41, 97.5%) [14 21 27 110]
;  #1110 (41, 97.5%) [7 172]
;  #1111 (40, 97.5%) [5 135 155]
;  #1112 (40, 97.5%) [7 39 94]
;  #1113 (40, 97.5%) [59 60 61]
;  #1114 (40, 97.5%) [49]
;  #1115 (40, 97.5%) [45 121]
;  #1116 (40, 97.5%) [2 10 13 14 31]
;  #1117 (40, 97.6%) [2 10 13 14 22 61 63]
;  #1118 (40, 97.6%) [34 63 89 90 128 133]
;  #1119 (40, 97.6%) [34 40 63 128 133]
;  #1120 (40, 97.6%) [30 177 178 179 180 181 184]
;  #1121 (40, 97.6%) [26 34 40 63 128 133]
;  #1122 (40, 97.6%) [26 34 63 89 128 133]
;  #1123 (40, 97.6%) [21 30 48 50 52 53 56]
;  #1124 (40, 97.6%) [21 30 48 49 50 52 53 56]
;  #1125 (40, 97.6%) [7 21 27 48 50 52 56 73 113]
;  #1126 (40, 97.6%) [7 21 26 38 45 97 133]
;  #1127 (40, 97.6%) [2 48 50 56 57]
;  #1128 (40, 97.6%) [2 7 21 63 90]
;  #1129 (39, 97.6%) [99 100 102 147 151 152 153]
;  #1130 (39, 97.6%) [7 45 63 149]
;  #1131 (39, 97.6%) [97 99 100 102 147 151 152 153]
;  #1132 (39, 97.6%) [7 39 102]
;  #1133 (39, 97.6%) [63 100 147 157]
;  #1134 (39, 97.6%) [63 100 102 147 157]
;  #1135 (39, 97.6%) [63 100 102 147 151 152]
;  #1136 (39, 97.6%) [2 7 21 29]
;  #1137 (39, 97.6%) [63 97 100 102 147 151 152]
;  #1138 (39, 97.6%) [7 26 31 97]
;  #1139 (39, 97.6%) [2 10 13 14 21 30 63]
;  #1140 (39, 97.6%) [7 17 99]
;  #1141 (39, 97.6%) [2 54]
;  #1142 (39, 97.6%) [2 53]
;  #1143 (39, 97.6%) [7 89 128]
;  #1144 (38, 97.6%) [6 7 45 90 97]
;  #1145 (38, 97.6%) [31 128 150]
;  #1146 (38, 97.6%) [2 10 13 14 21]
;  #1147 (38, 97.7%) [26 34 89 128]
;  #1148 (38, 97.7%) [21 38 45]
;  #1149 (38, 97.7%) [21 30 48 49 53 73]
;  #1150 (38, 97.7%) [21 27 48 49 55 73]
;  #1151 (38, 97.7%) [7 21 27 48 113]
;  #1152 (38, 97.7%) [7 17 31 90]
;  #1153 (38, 97.7%) [7 17 31 63 90]
;  #1154 (38, 97.7%) [10 21 121]
;  #1155 (38, 97.7%) [7 90 121]
;  #1156 (38, 97.7%) [7 63 98]
;  #1157 (37, 97.7%) [91 97 128]
;  #1158 (37, 97.7%) [7 31 97]
;  #1159 (37, 97.7%) [7 14 40 63 105 120 167]
;  #1160 (37, 97.7%) [7 14 21 27 110]
;  #1161 (37, 97.7%) [10 122]
;  #1162 (37, 97.7%) [2 7 27]
;  #1163 (37, 97.7%) [7 131]
;  #1164 (36, 97.7%) [7 48 49 50 56]
;  #1165 (36, 97.7%) [63 100 157 159]
;  #1166 (36, 97.7%) [63 100 153 157]
;  #1167 (36, 97.7%) [63 100 102 153 157]
;  #1168 (36, 97.7%) [63 98 99 100 101 102 158]
;  #1169 (36, 97.7%) [63 98 99 100 101 158]
;  #1170 (36, 97.7%) [63 97 100 157 159]
;  #1171 (36, 97.7%) [63 97 100 153 157]
;  #1172 (36, 97.7%) [7 30 40 105 120 167 177 184 213 214]
;  #1173 (36, 97.7%) [61]
;  #1174 (36, 97.7%) [60 63]
;  #1175 (36, 97.7%) [7 21 40 90 141]
;  #1176 (36, 97.7%) [21 26 30 63]
;  #1177 (36, 97.7%) [14 48 49 50 52 53 56 59 60 61]
;  #1178 (36, 97.7%) [14 21 30 48 50 51 64 73 107]
;  #1179 (36, 97.8%) [14 21 30 48 50 51 64 107]
;  #1180 (36, 97.8%) [14 21 29 30 48 49 52]
;  #1181 (36, 97.8%) [14 21 27 48 50 51 53 64 73]
;  #1182 (36, 97.8%) [7 99 102 151 152]
;  #1183 (36, 97.8%) [7 90 128 133]
;  #1184 (35, 97.8%) [7 41 45 94]
;  #1185 (35, 97.8%) [63 98 151 152]
;  #1186 (35, 97.8%) [63 98 102 151 152]
;  #1187 (35, 97.8%) [30 32]
;  #1188 (35, 97.8%) [26 45 63 90]
;  #1189 (35, 97.8%) [21 132 135]
;  #1190 (35, 97.8%) [2 7 30]
;  #1191 (35, 97.8%) [14 48 50 51 53 59 60 61 73]
;  #1192 (35, 97.8%) [7 14 21 27 57 63]
;  #1193 (35, 97.8%) [2 27 51]
;  #1194 (34, 97.8%) [100 147 153]
;  #1195 (34, 97.8%) [100 102 159]
;  #1196 (34, 97.8%) [100 102 147 153]
;  #1197 (34, 97.8%) [99 100 153]
;  #1198 (34, 97.8%) [97 100 102 159]
;  #1199 (34, 97.8%) [97 100 102 147 153]
;  #1200 (34, 97.8%) [97 99 100 153]
;  #1201 (34, 97.8%) [90 98 128]
;  #1202 (34, 97.8%) [7 39 99]
;  #1203 (34, 97.8%) [63 99 100 153]
;  #1204 (34, 97.8%) [63 99 100 102 153]
;  #1205 (34, 97.8%) [63 97 99 100 153]
;  #1206 (34, 97.8%) [4 7 26]
;  #1207 (34, 97.8%) [7 26 38 45 97 133]
;  #1208 (34, 97.8%) [26 121]
;  #1209 (34, 97.8%) [7 21 63 97]
;  #1210 (34, 97.8%) [21 26 89 192]
;  #1211 (34, 97.8%) [7 21 26 71]
;  #1212 (34, 97.9%) [2 4 10 13 29 30]
;  #1213 (34, 97.9%) [2 7 27 28 57]
;  #1214 (34, 97.9%) [7 100 102 152]
;  #1215 (34, 97.9%) [7 99 100 153]
;  #1216 (34, 97.9%) [63 97 99 100 102 153]
;  #1217 (34, 97.9%) [167]
;  #1218 (34, 97.9%) [7 10 12 13]
;  #1219 (33, 97.9%) [100 102 147 151 152]
;  #1220 (33, 97.9%) [98 100 147 157]
;  #1221 (33, 97.9%) [97 100 102 147 151 152]
;  #1222 (33, 97.9%) [97 99 100 102 151 152]
;  #1223 (33, 97.9%) [97 98 100 147 157]
;  #1224 (33, 97.9%) [99 100 102 151 152]
;  #1225 (33, 97.9%) [2 10 13 21 30]
;  #1226 (33, 97.9%) [39 100 147]
;  #1227 (33, 97.9%) [39 63]
;  #1228 (33, 97.9%) [2 5 10 21]
;  #1229 (33, 97.9%) [7 45 71 90]
;  #1230 (33, 97.9%) [31 39 41]
;  #1231 (33, 97.9%) [7 21 26 45 128]
;  #1232 (33, 97.9%) [2 7 45]
;  #1233 (33, 97.9%) [14 48 59 60 61 113]
;  #1234 (33, 97.9%) [14 48 53 59 60 61 73]
;  #1235 (33, 97.9%) [10 13 14 63]
;  #1236 (33, 97.9%) [7 98 100 147 157]
;  #1237 (33, 97.9%) [223]
;  #1238 (32, 97.9%) [99 128]
;  #1239 (32, 97.9%) [5 142]
;  #1240 (32, 97.9%) [63 99 100 102 151]
;  #1241 (32, 97.9%) [7 31 38 63 97 120]
;  #1242 (32, 97.9%) [7 31 38 39 45 63 97]
;  #1243 (32, 97.9%) [2 10 13 73]
;  #1244 (32, 97.9%) [63 97 99 100 102 151]
;  #1245 (32, 97.9%) [48 146]
;  #1246 (32, 97.9%) [7 26 63 90 97]
;  #1247 (32, 97.9%) [3 72 75 76]
;  #1248 (32, 98.0%) [31 45 90]
;  #1249 (32, 98.0%) [7 26 31 38 63 97]
;  #1250 (32, 98.0%) [7 26 30 31 38 45 63 97]
;  #1251 (32, 98.0%) [7 40 63]
;  #1252 (32, 98.0%) [26 44]
;  #1253 (32, 98.0%) [14 21 30 48 49 50 52 53 56 107]
;  #1254 (32, 98.0%) [7 190]
;  #1255 (32, 98.0%) [7 129 190]
;  #1256 (32, 98.0%) [99 100 101 158]
;  #1257 (32, 98.0%) [122 131]
;  #1258 (31, 98.0%) [98 100 128 147]
;  #1259 (31, 98.0%) [7 39 98 100 147]
;  #1260 (31, 98.0%) [63 100 102 128 133 157 158]
;  #1261 (31, 98.0%) [5 22 61]
;  #1262 (31, 98.0%) [63 97 100 157 158]
;  #1263 (31, 98.0%) [7 14 26 29 30 31 53]
;  #1264 (31, 98.0%) [14 21 26 48 50 51]
;  #1265 (31, 98.0%) [14 21 26 48 49 53 73]
;  #1266 (31, 98.0%) [14 21 26 48 49]
;  #1267 (31, 98.0%) [14 21 26]
;  #1268 (31, 98.0%) [2 4 7 26]
;  #1269 (30, 98.0%) [7 45 97]
;  #1270 (30, 98.0%) [98 99 100 102 147]
;  #1271 (30, 98.0%) [7 31 38 120]
;  #1272 (30, 98.0%) [63 134]
;  #1273 (30, 98.0%) [7 34 89]
;  #1274 (30, 98.0%) [63 100 157 158 163]
;  #1275 (30, 98.0%) [5 91 97 135 155]
;  #1276 (30, 98.0%) [7 31 38 39 45]
;  #1277 (30, 98.0%) [5 21 155]
;  #1278 (30, 98.0%) [59 60 63 116 117]
;  #1279 (30, 98.0%) [2 10 13 26]
;  #1280 (30, 98.0%) [7 28 48 50 56 90]
;  #1281 (30, 98.0%) [4 26 30]
;  #1282 (30, 98.0%) [4 21 45]
;  #1283 (30, 98.0%) [7 26 63 120 121]
;  #1284 (30, 98.0%) [39 99 100 147]
;  #1285 (30, 98.0%) [7 26 31 38 45 71]
;  #1286 (30, 98.1%) [30 177 178 179 180 181]
;  #1287 (30, 98.1%) [7 26 30 31 38 45]
;  #1288 (30, 98.1%) [7 21 128 131]
;  #1289 (30, 98.1%) [7 21 63 131]
;  #1290 (30, 98.1%) [7 21 45 63 97]
;  #1291 (30, 98.1%) [21 30 48 50 56]
;  #1292 (30, 98.1%) [7 21 26 121]
;  #1293 (30, 98.1%) [2 7 10 26 30]
;  #1294 (30, 98.1%) [14 48 53 55 73 146]
;  #1295 (30, 98.1%) [14 48 49 53 55 73]
;  #1296 (30, 98.1%) [14 28 113]
;  #1297 (30, 98.1%) [98 99 100 147]
;  #1298 (30, 98.1%) [7 14 26 29 30 31 48 50 51 53]
;  #1299 (30, 98.1%) [14 21 28 48 113]
;  #1300 (30, 98.1%) [14 21 28 48 49 73]
;  #1301 (30, 98.1%) [14 21 28 48 50 56]
;  #1302 (30, 98.1%) [14 21 28 48 73 113]
;  #1303 (30, 98.1%) [14 21 28 48 50 51]
;  #1304 (30, 98.1%) [14 21 28 48 49]
;  #1305 (30, 98.1%) [7 14 26 29 30 31 45 48 50 51 53 73]
;  #1306 (30, 98.1%) [14 21 27 28 48 49 73]
;  #1307 (30, 98.1%) [7 14 21 28 48 50 51]
;  #1308 (30, 98.1%) [7 14 21 26 31 45 48 50 51 89]
;  #1309 (30, 98.1%) [120 121 189]
;  #1310 (29, 98.1%) [7 45 128]
;  #1311 (29, 98.1%) [2 7 21 30 50]
;  #1312 (29, 98.1%) [63 98 100 102 147 153 157]
;  #1313 (29, 98.1%) [63 98 99 100 151 152]
;  #1314 (29, 98.1%) [63 98 99 100 102 151 152]
;  #1315 (29, 98.1%) [63 97 98 100 102 147 153 157]
;  #1316 (29, 98.1%) [7 29 30 40 89 105 167 182]
;  #1317 (29, 98.1%) [7 38 97]
;  #1318 (29, 98.1%) [31 63 97]
;  #1319 (29, 98.1%) [31 34 89]
;  #1320 (29, 98.1%) [30 167 182]
;  #1321 (29, 98.1%) [30 89 136 186]
;  #1322 (29, 98.1%) [30 40 105]
;  #1323 (29, 98.1%) [21 142]
;  #1324 (29, 98.1%) [7 17 31 63 90 97]
;  #1325 (29, 98.2%) [7 17 26 45 90]
;  #1326 (29, 98.2%) [14 48 49 59 60 61]
;  #1327 (29, 98.2%) [2 7 27 28 48 51 57]
;  #1328 (28, 98.2%) [5 91 97 135]
;  #1329 (28, 98.2%) [73 194]
;  #1330 (28, 98.2%) [72 75 76]
;  #1331 (28, 98.2%) [7 34 90 128]
;  #1332 (28, 98.2%) [63 102 218]
;  #1333 (28, 98.2%) [2 10 41]
;  #1334 (28, 98.2%) [63 100 157 158 159]
;  #1335 (28, 98.2%) [5 22 135 155 161]
;  #1336 (28, 98.2%) [63 98 100 147 157]
;  #1337 (28, 98.2%) [63 98 99 100 147]
;  #1338 (28, 98.2%) [63 98 99 100 102 147]
;  #1339 (28, 98.2%) [63 97 102 218]
;  #1340 (28, 98.2%) [63 97 98 100 147 157]
;  #1341 (28, 98.2%) [50 73 194]
;  #1342 (28, 98.2%) [50 59 60 61 73]
;  #1343 (28, 98.2%) [50 62]
;  #1344 (28, 98.2%) [50 62 73]
;  #1345 (28, 98.2%) [50 53 73 160]
;  #1346 (28, 98.2%) [49 53 59 60 61]
;  #1347 (28, 98.2%) [48 49 146]
;  #1348 (28, 98.2%) [2 7 17 21 48 50 51 64 90]
;  #1349 (28, 98.2%) [7 26 29 30 45 63]
;  #1350 (28, 98.2%) [7 21 90 141]
;  #1351 (28, 98.2%) [21 63 135 161]
;  #1352 (28, 98.2%) [21 38 45 128]
;  #1353 (28, 98.2%) [160]
;  #1354 (28, 98.2%) [7 21 26 132]
;  #1355 (28, 98.2%) [14 48 59 60 61 73 113]
;  #1356 (28, 98.2%) [2 59 60 61]
;  #1357 (28, 98.2%) [2 50]
;  #1358 (28, 98.2%) [14 21 27 51 53 55 75 78 79 146 169]
;  #1359 (28, 98.2%) [14 21 27 48 51 55 64 73]
;  #1360 (28, 98.2%) [7 14 26 29 30 31 45 48 50 51]
;  #1361 (28, 98.2%) [7 14 21 27 72 75 169 170]
;  #1362 (28, 98.2%) [7 14 21 27 48 50 51 64]
;  #1363 (28, 98.2%) [7 14 21 27 48 50 51 55 64 73]
;  #1364 (28, 98.2%) [8 21 135]
;  #1365 (28, 98.2%) [7 10 90]
;  #1366 (28, 98.2%) [7 99 100 101 102 158]
;  #1367 (28, 98.3%) [7 98 100 102 147 157 159]
;  #1368 (27, 98.3%) [63 100 102 157 158 163]
;  #1369 (27, 98.3%) [63 98 100 147 153 157]
;  #1370 (27, 98.3%) [7 30 89 224]
;  #1371 (27, 98.3%) [63 97 98 100 147 153 157]
;  #1372 (27, 98.3%) [2 10 13 21 63]
;  #1373 (27, 98.3%) [48 50 51 73]
;  #1374 (27, 98.3%) [2 5 22 63]
;  #1375 (27, 98.3%) [48 49 59 60 61 75 76]
;  #1376 (27, 98.3%) [2 5 10 17 21]
;  #1377 (27, 98.3%) [7 26 31 38 45 63 71 97]
;  #1378 (27, 98.3%) [7 21 121]
;  #1379 (27, 98.3%) [26 45]
;  #1380 (27, 98.3%) [26 34 63 89 128]
;  #1381 (27, 98.3%) [2 7 90]
;  #1382 (27, 98.3%) [7 21 31 63 90 97]
;  #1383 (27, 98.3%) [2 28]
;  #1384 (27, 98.3%) [10 13 14 21 63]
;  #1385 (27, 98.3%) [8 135 141]
;  #1386 (27, 98.3%) [2 27 28]
;  #1387 (27, 98.3%) [2 27]
;  #1388 (26, 98.3%) [5 135 203 205 230 231]
;  #1389 (26, 98.3%) [97 98 100 102 147 153 157]
;  #1390 (26, 98.3%) [7 39 100 101]
;  #1391 (26, 98.3%) [7 34 40 90]
;  #1392 (26, 98.3%) [7 31 90 97]
;  #1393 (26, 98.3%) [34 63 89 128]
;  #1394 (26, 98.3%) [34 63 89]
;  #1395 (26, 98.3%) [32 45 92 144]
;  #1396 (26, 98.3%) [29 30 40 89 105]
;  #1397 (26, 98.3%) [5 135 142 174]
;  #1398 (26, 98.3%) [21 45]
;  #1399 (26, 98.3%) [14 40 105 106]
;  #1400 (26, 98.3%) [98 100 102 147 153 157]
;  #1401 (26, 98.3%) [2 48 50 51 60 61]
;  #1402 (26, 98.3%) [7 14 26 29 30 31 45 49]
;  #1403 (26, 98.3%) [2 48 49 50 56]
;  #1404 (26, 98.3%) [14 21 27 28 48 49 55 74 75 78 79]
;  #1405 (26, 98.3%) [7 14 21 27 55]
;  #1406 (26, 98.3%) [8 142 201]
;  #1407 (26, 98.3%) [7 14 21 26 31 45 49 89]
;  #1408 (25, 98.3%) [70]
;  #1409 (25, 98.3%) [44]
;  #1410 (25, 98.3%) [31 45 90 97 133]
;  #1411 (25, 98.4%) [7 48 50 56]
;  #1412 (25, 98.4%) [7 26 30 31 45]
;  #1413 (25, 98.4%) [21 135 142 174]
;  #1414 (25, 98.4%) [7 21 38 133]
;  #1415 (25, 98.4%) [3 13 21]
;  #1416 (25, 98.4%) [7 14 130 150]
;  #1417 (25, 98.4%) [7 14 30 45 51 94]
;  #1418 (25, 98.4%) [7 14 30 45 51 53 54 73 94]
;  #1419 (25, 98.4%) [14 21 30 51 53 73 146]
;  #1420 (25, 98.4%) [14 21 27 28 48 73 113]
;  #1421 (25, 98.4%) [10 63]
;  #1422 (24, 98.4%) [99 100 133]
;  #1423 (24, 98.4%) [99 100 133 147 153]
;  #1424 (24, 98.4%) [6 7 21 26 45 133]
;  #1425 (24, 98.4%) [7 48]
;  #1426 (24, 98.4%) [98 100 147 153 157]
;  #1427 (24, 98.4%) [7 45 93]
;  #1428 (24, 98.4%) [98]
;  #1429 (24, 98.4%) [97 133]
;  #1430 (24, 98.4%) [97 99 100 133]
;  #1431 (24, 98.4%) [97 98 100 147 153 157]
;  #1432 (24, 98.4%) [7 40 63 90]
;  #1433 (24, 98.4%) [5 63 135 155 161]
;  #1434 (24, 98.4%) [89 90]
;  #1435 (24, 98.4%) [72 75 76 171]
;  #1436 (24, 98.4%) [63 99 102 153]
;  #1437 (24, 98.4%) [63 99 102 151 152 153]
;  #1438 (24, 98.4%) [63 99 100 102 147 151 152 158]
;  #1439 (24, 98.4%) [2 4 7 10 13 14]
;  #1440 (24, 98.4%) [7 31 39 45 128]
;  #1441 (24, 98.4%) [41 134]
;  #1442 (24, 98.4%) [7 63 89]
;  #1443 (24, 98.4%) [63 97 99 102 151 152 153]
;  #1444 (24, 98.4%) [63 97 99 102 153]
;  #1445 (24, 98.4%) [7 30 40 89 167 177 184]
;  #1446 (24, 98.4%) [7 30 40 89 105 166 167 182 183]
;  #1447 (24, 98.4%) [2 10 13 21 63 71]
;  #1448 (24, 98.4%) [48 50 56 57]
;  #1449 (24, 98.4%) [48 50 55 56]
;  #1450 (24, 98.4%) [45 63 97]
;  #1451 (24, 98.4%) [39 90 128 133]
;  #1452 (24, 98.4%) [31 63 120]
;  #1453 (24, 98.4%) [31 63 94]
;  #1454 (24, 98.4%) [2 7 17 21]
;  #1455 (24, 98.4%) [162]
;  #1456 (24, 98.4%) [5 132 141]
;  #1457 (24, 98.4%) [7 26 29 30 93 103 145]
;  #1458 (24, 98.4%) [26 90 97 133]
;  #1459 (24, 98.5%) [21 30 53]
;  #1460 (24, 98.5%) [21 30 48 50 51 53]
;  #1461 (24, 98.5%) [21 27 57 63]
;  #1462 (24, 98.5%) [21 27 48 49 73]
;  #1463 (24, 98.5%) [21 27 48 50 51 53 55]
;  #1464 (24, 98.5%) [21 27 48 50 53 55 56]
;  #1465 (24, 98.5%) [7 21 27 48 50 51]
;  #1466 (24, 98.5%) [2 7 44]
;  #1467 (24, 98.5%) [7 17 31 90 97]
;  #1468 (24, 98.5%) [2 4 26 30]
;  #1469 (24, 98.5%) [97 99 100 133 147 153]
;  #1470 (24, 98.5%) [14 48 49 53 59 60 61 73 136]
;  #1471 (24, 98.5%) [14 48 49 52 59 60 61]
;  #1472 (24, 98.5%) [14 31 53 73]
;  #1473 (24, 98.5%) [14 31 53]
;  #1474 (24, 98.5%) [14 30 31]
;  #1475 (24, 98.5%) [14 27 63]
;  #1476 (24, 98.5%) [2 4 10 30]
;  #1477 (24, 98.5%) [14 21 30 48 50 51 53 156]
;  #1478 (24, 98.5%) [13 14 63]
;  #1479 (24, 98.5%) [13 14 26]
;  #1480 (24, 98.5%) [7 14 21 27 28 48 52 73 113]
;  #1481 (24, 98.5%) [7 10 120 121 122]
;  #1482 (24, 98.5%) [7 99 100 133]
;  #1483 (24, 98.5%) [7 99 100 133 147 153]
;  #1484 (24, 98.5%) [7 10 13 121]
;  #1485 (24, 98.5%) [7 98 100 147 153 157]
;  #1486 (24, 98.5%) [160 194]
;  #1487 (24, 98.5%) [132 135]
;  #1488 (23, 98.5%) [7 45 121]
;  #1489 (23, 98.5%) [63 97 100 157 158 159]
;  #1490 (23, 98.5%) [2 10 13 14 63 131]
;  #1491 (23, 98.5%) [21 122]
;  #1492 (23, 98.5%) [21 27 30 63]
;  #1493 (23, 98.5%) [14 48 62 113]
;  #1494 (23, 98.5%) [14 48 59 60 61 116]
;  #1495 (23, 98.5%) [2 7 21 48 50 51 64 156]
;  #1496 (23, 98.5%) [7 14 30 31 63]
;  #1497 (23, 98.5%) [7 14 30 31 45 63 89 92]
;  #1498 (23, 98.5%) [7 14 30 31 45 63]
;  #1499 (23, 98.5%) [7 14 30 31 45 54 63]
;  #1500 (23, 98.5%) [14 21 30 51 64 110]
;  #1501 (23, 98.5%) [7 14 26 30 31 40 45 48 50 51 64 89 90 105 156]
;  #1502 (23, 98.5%) [14 21 30 48 50 51 53 64 73 156]
;  #1503 (23, 98.5%) [7 14 26 29 30 31 48 50 51 53 64 156]
;  #1504 (23, 98.5%) [7 14 26 29 30 31 45 48 50 51 64 156]
;  #1505 (23, 98.5%) [7 14 26 29 30 31 45 48 50 51 53 64 73 156]
;  #1506 (23, 98.5%) [2 48]
;  #1507 (23, 98.5%) [14 21 27 30 48 50 51 64 73 156]
;  #1508 (23, 98.5%) [2 7 27 28 48 51]
;  #1509 (23, 98.6%) [13 122]
;  #1510 (23, 98.6%) [2 7 26 63]
;  #1511 (23, 98.6%) [7 10 21 63]
;  #1512 (22, 98.6%) [63 100 157]
;  #1513 (22, 98.6%) [63 100 102 157]
;  #1514 (22, 98.6%) [63 99 100 102 147 158]
;  #1515 (22, 98.6%) [63 98 99 100]
;  #1516 (22, 98.6%) [5 22 61 63]
;  #1517 (22, 98.6%) [55 75 77 78]
;  #1518 (22, 98.6%) [39 122]
;  #1519 (22, 98.6%) [7 26 38 45 63]
;  #1520 (22, 98.6%) [30 41]
;  #1521 (22, 98.6%) [27 48 50 56 57 73]
;  #1522 (22, 98.6%) [7 21 89 133]
;  #1523 (22, 98.6%) [22 69]
;  #1524 (22, 98.6%) [2 7 91]
;  #1525 (22, 98.6%) [21 132 141]
;  #1526 (22, 98.6%) [7 21 40 90 133]
;  #1527 (22, 98.6%) [7 21 38]
;  #1528 (22, 98.6%) [21 26 89 133]
;  #1529 (22, 98.6%) [17 191]
;  #1530 (22, 98.6%) [7 21 26 40 133]
;  #1531 (22, 98.6%) [14 48 53 59 60 61 73 146]
;  #1532 (22, 98.6%) [14 48 52 59 60 61 73 113]
;  #1533 (22, 98.6%) [7 14 94 130]
;  #1534 (22, 98.6%) [3 7 30 31 49]
;  #1535 (22, 98.6%) [14 48 49 53 55 59 60 61 73]
;  #1536 (22, 98.6%) [63 98 99 100 102]
;  #1537 (22, 98.6%) [7 30 89 202]
;  #1538 (22, 98.6%) [14 21 27 30 63]
;  #1539 (22, 98.6%) [2 27 73]
;  #1540 (22, 98.6%) [10 120]
;  #1541 (22, 98.6%) [10 12 121]
;  #1542 (22, 98.6%) [10 12 13]
;  #1543 (22, 98.6%) [7 34 40]
;  #1544 (21, 98.6%) [5 132 135]
;  #1545 (21, 98.6%) [91 128 129]
;  #1546 (21, 98.6%) [7 31 120]
;  #1547 (21, 98.6%) [63 97 100 157]
;  #1548 (21, 98.6%) [5 21 91 128 129]
;  #1549 (21, 98.6%) [61 63]
;  #1550 (21, 98.6%) [50 56 69]
;  #1551 (21, 98.6%) [48 60]
;  #1552 (21, 98.6%) [2 10 13 14 26]
;  #1553 (21, 98.6%) [3 62]
;  #1554 (21, 98.6%) [30 31 41]
;  #1555 (21, 98.6%) [2 7 28]
;  #1556 (21, 98.6%) [2 7 27 28 55 73]
;  #1557 (21, 98.6%) [8 135 203 205 230 231]
;  #1558 (21, 98.6%) [176]
;  #1559 (21, 98.6%) [135 203 205 230 231]
;  #1560 (20, 98.6%) [39 128]
;  #1561 (20, 98.6%) [69 128]
;  #1562 (20, 98.6%) [167 182 183]
;  #1563 (20, 98.7%) [5 22 91 97 135 155]
;  #1564 (20, 98.7%) [7 30 40 105 120 177 181 184 213 214 217]
;  #1565 (20, 98.7%) [2 7 17 21 50 56]
;  #1566 (20, 98.7%) [2 10 13 14 31 63]
;  #1567 (20, 98.7%) [6 7 45 63 90 97]
;  #1568 (20, 98.7%) [2 10 13 14 21 30]
;  #1569 (20, 98.7%) [30 40]
;  #1570 (20, 98.7%) [7 26 29 30 48 50 53 56 93 103 145]
;  #1571 (20, 98.7%) [7 26 29 30 31 45]
;  #1572 (20, 98.7%) [26 31 34 63 89 128 133]
;  #1573 (20, 98.7%) [21 91 97 128]
;  #1574 (20, 98.7%) [2 7 63 97]
;  #1575 (20, 98.7%) [21 30 48 51]
;  #1576 (20, 98.7%) [21 30 48 52]
;  #1577 (20, 98.7%) [21 30 48 50 56 73]
;  #1578 (20, 98.7%) [21 30 48 49 50 56 73]
;  #1579 (20, 98.7%) [21 27 48 50 56]
;  #1580 (20, 98.7%) [21 27 48 49 50 56 73]
;  #1581 (20, 98.7%) [21 27 48 49 50 53 56 73]
;  #1582 (20, 98.7%) [7 21 27 48 50 56]
;  #1583 (20, 98.7%) [21 26 89 196]
;  #1584 (20, 98.7%) [7 21 27 48 50 56 113]
;  #1585 (20, 98.7%) [7 21 27 28 63 71]
;  #1586 (20, 98.7%) [7 21 26 40 132]
;  #1587 (20, 98.7%) [21 27 48 50 53 56 73]
;  #1588 (20, 98.7%) [2 7 39]
;  #1589 (20, 98.7%) [14 27 59 60 61]
;  #1590 (20, 98.7%) [2 7 10 13 26 63]
;  #1591 (20, 98.7%) [2 48 49 52]
;  #1592 (20, 98.7%) [13 21]
;  #1593 (20, 98.7%) [2 7 27 28]
;  #1594 (20, 98.7%) [7 14 21 27 28 48 52 72 75 113 170]
;  #1595 (20, 98.7%) [7 14 21 26 71 91]
;  #1596 (20, 98.7%) [7 63 91 97 133]
;  #1597 (20, 98.7%) [7 14 17]
;  #1598 (20, 98.7%) [7 13 21]
;  #1599 (20, 98.7%) [121 122]
;  #1600 (20, 98.7%) [7 98 100 102 147 153 159 175]
;  #1601 (20, 98.7%) [7 10 12 13 21]
;  #1602 (20, 98.7%) [7 10 12]
;  #1603 (20, 98.7%) [128 196]
;  #1604 (19, 98.7%) [98 102]
;  #1605 (19, 98.7%) [7 41]
;  #1606 (19, 98.7%) [2 10 21 63]
;  #1607 (19, 98.7%) [59 60 61 73]
;  #1608 (19, 98.7%) [7 26 45 63 97 133]
;  #1609 (19, 98.7%) [26 31 34 89 128]
;  #1610 (19, 98.7%) [21 30 48 49 73]
;  #1611 (19, 98.7%) [21 30 48 49 53]
;  #1612 (19, 98.7%) [21 27 48 73 113]
;  #1613 (19, 98.7%) [21 27 48 113]
;  #1614 (19, 98.7%) [21 27 48 49 53]
;  #1615 (19, 98.7%) [21 27 30 48 73 113]
;  #1616 (19, 98.7%) [21 26 31]
;  #1617 (19, 98.7%) [21 26 31 63]
;  #1618 (19, 98.7%) [14 48 50 51 55 73]
;  #1619 (19, 98.7%) [7 14 39 92 144]
;  #1620 (19, 98.7%) [14 27 62 63]
;  #1621 (19, 98.7%) [2 59 60 61 116]
;  #1622 (19, 98.8%) [7 14 26 31 45 63 89 92]
;  #1623 (19, 98.8%) [2 7 27 28 49 73]
;  #1624 (19, 98.8%) [2 48 50 51 73]
;  #1625 (19, 98.8%) [2 7 21 30 63]
;  #1626 (18, 98.8%) [99 102 151 152]
;  #1627 (18, 98.8%) [97 104]
;  #1628 (18, 98.8%) [97 99 102 151 152]
;  #1629 (18, 98.8%) [2 7 21 48 49 50 56]
;  #1630 (18, 98.8%) [7 31 128 133]
;  #1631 (18, 98.8%) [7 31 121]
;  #1632 (18, 98.8%) [7 31 45 128]
;  #1633 (18, 98.8%) [7 30 120 177 181 184]
;  #1634 (18, 98.8%) [5 10 17 21 63 90]
;  #1635 (18, 98.8%) [7 30 31]
;  #1636 (18, 98.8%) [2 7 17 21 63 90]
;  #1637 (18, 98.8%) [7 29 30 89 202]
;  #1638 (18, 98.8%) [48 50 51 56 64]
;  #1639 (18, 98.8%) [48 49 50 56]
;  #1640 (18, 98.8%) [34 63 89 90 128]
;  #1641 (18, 98.8%) [34 40 63 128]
;  #1642 (18, 98.8%) [3 72 75 76 171]
;  #1643 (18, 98.8%) [7 26 38 45 97 128]
;  #1644 (18, 98.8%) [30 177 180 181 184]
;  #1645 (18, 98.8%) [3 48 146]
;  #1646 (18, 98.8%) [7 26 29 30 31 45 63]
;  #1647 (18, 98.8%) [26 34 40 63 128]
;  #1648 (18, 98.8%) [104]
;  #1649 (18, 98.8%) [7 21 34 128]
;  #1650 (18, 98.8%) [21 26 121]
;  #1651 (18, 98.8%) [17 97 191]
;  #1652 (18, 98.8%) [17 63 97 191]
;  #1653 (18, 98.8%) [17 63 191]
;  #1654 (18, 98.8%) [3 14 27 63]
;  #1655 (18, 98.8%) [3 14 48]
;  #1656 (18, 98.8%) [2 4 29 30]
;  #1657 (18, 98.8%) [7 21 26 38 45 97 128]
;  #1658 (18, 98.8%) [2 4 30]
;  #1659 (18, 98.8%) [7 21 26 31 71 97]
;  #1660 (18, 98.8%) [3 7 172]
;  #1661 (18, 98.8%) [2 7 31 63]
;  #1662 (18, 98.8%) [14 48 49 62]
;  #1663 (18, 98.8%) [14 48 49 50 56 59 60 61 73]
;  #1664 (18, 98.8%) [2 7 27 51]
;  #1665 (18, 98.8%) [14 21 30 48 51 64 110]
;  #1666 (18, 98.8%) [14 21 30 48 50 51 53 64 73]
;  #1667 (18, 98.8%) [14 21 29 30 48 49 53 73]
;  #1668 (18, 98.8%) [2 7 27 28 48 57]
;  #1669 (18, 98.8%) [14 21 27 48 50 51 55 64 73]
;  #1670 (18, 98.8%) [10 120 122 123]
;  #1671 (18, 98.8%) [2 27 51 73]
;  #1672 (18, 98.8%) [2 26 63]
;  #1673 (18, 98.8%) [7 99 151 152]
;  #1674 (18, 98.8%) [7 99 102 153]
;  #1675 (18, 98.8%) [7 99 102 151 152 153]
;  #1676 (18, 98.8%) [2 7 10 13 14 30]
;  #1677 (18, 98.8%) [7 10 12 13 63]
;  #1678 (18, 98.8%) [2 7 10 13 14 26]
;  #1679 (17, 98.8%) [100 128 133]
;  #1680 (17, 98.8%) [2 7 21 48 51]
;  #1681 (17, 98.8%) [97 100 102 152]
;  #1682 (17, 98.8%) [94 133 150]
;  #1683 (17, 98.8%) [63 198]
;  #1684 (17, 98.8%) [23]
;  #1685 (17, 98.8%) [63 99 100 102 147 151 152 153]
;  #1686 (17, 98.8%) [2 10 26]
;  #1687 (17, 98.9%) [63 98 100 147 153]
;  #1688 (17, 98.9%) [63 97 198]
;  #1689 (17, 98.9%) [2 10 13 31]
;  #1690 (17, 98.9%) [5 21 128]
;  #1691 (17, 98.9%) [7 27 48 50 55 56 73 90]
;  #1692 (17, 98.9%) [3 62 73]
;  #1693 (17, 98.9%) [7 26 31 38 45]
;  #1694 (17, 98.9%) [30 31 41 63]
;  #1695 (17, 98.9%) [24]
;  #1696 (17, 98.9%) [21 135 174]
;  #1697 (17, 98.9%) [2 7 10 63]
;  #1698 (17, 98.9%) [7 21 38 39 45]
;  #1699 (17, 98.9%) [21 26 31 89 192]
;  #1700 (17, 98.9%) [97 128 133]
;  #1701 (17, 98.9%) [14 48 59 60 61 73]
;  #1702 (17, 98.9%) [7 26 31 45 97]
;  #1703 (17, 98.9%) [14 30 53]
;  #1704 (17, 98.9%) [2 7 10 13 30 63]
;  #1705 (17, 98.9%) [100 102 152]
;  #1706 (17, 98.9%) [14 21 26 30 48 49 53 73]
;  #1707 (17, 98.9%) [7 14 21 26 71]
;  #1708 (17, 98.9%) [142 201]
;  #1709 (17, 98.9%) [63 97 99 100 102 147 151 152 153]
;  #1710 (16, 98.9%) [7 45 234]
;  #1711 (16, 98.9%) [5 21 135 203 205 230 231]
;  #1712 (16, 98.9%) [98 100]
;  #1713 (16, 98.9%) [90 121]
;  #1714 (16, 98.9%) [7 39 122]
;  #1715 (16, 98.9%) [63 154]
;  #1716 (16, 98.9%) [63 122]
;  #1717 (16, 98.9%) [63 104]
;  #1718 (16, 98.9%) [63 100 157 158 163 164]
;  #1719 (16, 98.9%) [63 100 102 157 158 163 164]
;  #1720 (16, 98.9%) [63 97 104]
;  #1721 (16, 98.9%) [63 99 100 147 158]
;  #1722 (16, 98.9%) [63 99 100 101 158]
;  #1723 (16, 98.9%) [5 22 61 135 155]
;  #1724 (16, 98.9%) [7 41 45 150]
;  #1725 (16, 98.9%) [5 21 135 141]
;  #1726 (16, 98.9%) [7 30 40 105 120 177 181 184 213 214 215 216 217 219]
;  #1727 (16, 98.9%) [7 30 40 89 105 106 224]
;  #1728 (16, 98.9%) [5 10 21]
;  #1729 (16, 98.9%) [7 27 90]
;  #1730 (16, 98.9%) [45 120]
;  #1731 (16, 98.9%) [7 26 63]
;  #1732 (16, 98.9%) [3 133]
;  #1733 (16, 98.9%) [39 41 63]
;  #1734 (16, 98.9%) [3 63 69]
;  #1735 (16, 98.9%) [30 41 63]
;  #1736 (16, 98.9%) [7 21 131]
;  #1737 (16, 98.9%) [26 31 45 63]
;  #1738 (16, 98.9%) [7 21 63 128 131]
;  #1739 (16, 98.9%) [7 21 63 91 97 133]
;  #1740 (16, 98.9%) [7 21 63 90]
;  #1741 (16, 98.9%) [21 63 142]
;  #1742 (16, 98.9%) [21 29 30 48 49 52]
;  #1743 (16, 98.9%) [17 63]
;  #1744 (16, 98.9%) [17 31 45 90]
;  #1745 (16, 98.9%) [2 4 34]
;  #1746 (16, 98.9%) [14 59 60 61 116]
;  #1747 (16, 98.9%) [7 21 26 38 45 63 97 133]
;  #1748 (16, 98.9%) [7 17 21 97]
;  #1749 (16, 98.9%) [14 48 49 50 55 56 73]
;  #1750 (16, 98.9%) [14 27 55 63]
;  #1751 (16, 98.9%) [2 7 10 13 26 30 63]
;  #1752 (16, 98.9%) [14 21 53]
;  #1753 (16, 98.9%) [2 4 10 13 26 30]
;  #1754 (16, 98.9%) [14 21 30 53]
;  #1755 (16, 98.9%) [14 21 30 48 49 50 56 73 107]
;  #1756 (16, 98.9%) [14 21 29 30 48 49 52 53]
;  #1757 (16, 98.9%) [2 7 10 13 14 131]
;  #1758 (16, 98.9%) [14 21 27 48 49 50 53 56 73]
;  #1759 (16, 99.0%) [14 21 27 28 63 144]
;  #1760 (16, 99.0%) [2 7 27 28 48 50 56 57 73]
;  #1761 (16, 99.0%) [7 14 21 27 48 50 56 113]
;  #1762 (16, 99.0%) [7 14 21 27 48 50 52 55 56 73 113]
;  #1763 (16, 99.0%) [10 21 120 121]
;  #1764 (16, 99.0%) [10 13 21]
;  #1765 (16, 99.0%) [2 4 7 34]
;  #1766 (16, 99.0%) [8 21 63]
;  #1767 (16, 99.0%) [2 4 7 39]
;  #1768 (16, 99.0%) [7 102 218]
;  #1769 (16, 99.0%) [7 10 21]
;  #1770 (16, 99.0%) [98 100 147 153]
;  #1771 (16, 99.0%) [7 98]
;  #1772 (16, 99.0%) [166 167]
;  #1773 (15, 99.0%) [2 14 21 26 63]
;  #1774 (15, 99.0%) [93 103 120]
;  #1775 (15, 99.0%) [7 31 45 89]
;  #1776 (15, 99.0%) [63 97 100 157 158 163]
;  #1777 (15, 99.0%) [132 135 142]
;  #1778 (15, 99.0%) [2 10 13 14 131]
;  #1779 (15, 99.0%) [2 5 10 13 14 63]
;  #1780 (15, 99.0%) [30 177]
;  #1781 (15, 99.0%) [166 167 177 182 183 184]
;  #1782 (15, 99.0%) [30 166 167 182 183]
;  #1783 (15, 99.0%) [26 45 63 97]
;  #1784 (15, 99.0%) [5 135 142 174 192 193]
;  #1785 (15, 99.0%) [26 30 40]
;  #1786 (15, 99.0%) [98 100 133 147 175]
;  #1787 (15, 99.0%) [21 132 135 142 174 193]
;  #1788 (15, 99.0%) [21 128]
;  #1789 (15, 99.0%) [7 21 31 63 90]
;  #1790 (15, 99.0%) [7 21 27 57 63]
;  #1791 (15, 99.0%) [17 31 45 90 97 133]
;  #1792 (15, 99.0%) [14 48 50 56 59 60 61]
;  #1793 (15, 99.0%) [7 17 21 31 63 90 97]
;  #1794 (15, 99.0%) [7 14 34]
;  #1795 (15, 99.0%) [2 3 48 50 51]
;  #1796 (15, 99.0%) [2 50 56]
; searching for minimal number of paths to cover 1797 sets Fri Sep 21 11:42:34 2007
; found solution with 76 paths on Fri Sep 21 11:42:34 2007
; estimated size of remaining search space 3
; minimal solution (76 paths) found on Fri Sep 21 11:42:34 2007
;  2 [679865] 3 [198027] 4 [270039] 5 [141887] 7 [301526] 8 [104886] 9 [5149] 10 [122489] 13 [72440] 14 [82527] 17 [25065] 21 [85202] 22 [1586] 23 [17] 24 [17] 26 [22431] 27 [22015] 28 [6662] 30 [22993] 31 [26680] 32 [333] 34 [5821] 39 [8335] 40 [2732] 41 [1844] 44 [751] 45 [29568] 46 [224] 47 [4291] 48 [22150] 49 [11189] 53 [10818] 56 [4404] 61 [2732] 62 [629] 63 [119557] 68 [402] 69 [3106] 70 [162] 73 [17691] 75 [253] 87 [1700] 88 [308] 89 [12528] 90 [75669] 91 [3148] 93 [2483] 94 [2982] 97 [25727] 98 [5986] 99 [11373] 100 [23867] 102 [25583] 103 [1145] 104 [125] 120 [26180] 121 [27044] 122 [1237] 128 [15025] 131 [406] 133 [10602] 134 [387] 135 [3660] 142 [450] 143 [757] 150 [572] 154 [336] 159 [5133] 160 [1732] 162 [24] 167 [625] 172 [106] 176 [21] 194 [355] 195 [193] 223 [33] 

:begin :instance.

qc_unif_set := *top* &
[ ARGS.INFLECTED "0" #| 679865 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD "1" #| 301526 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "2" #| 270039 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS "3" #| 198027 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "4" #| 141887 |#,
  ARGS "5" #| 122489 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "6" #| 119557 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.MOOD "7" #| 104886 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "8" #| 85202 |#,
  ARGS.SYNSEM "9" #| 82527 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "10" #| 75669 |#,
  ARGS.SYNSEM.LIGHT "11" #| 72440 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "12" #| 29568 |#,
  ARGS.SYNSEM.LOCAL.COORD "13" #| 27044 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "14" #| 26680 |#,
  ARGS.SYNSEM.LOCAL.COORD-STRAT "15" #| 26180 |#,
  ARGS.SYNSEM.LOCAL.CONT.MSG "16" #| 25727 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "17" #| 25583 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PRD "18" #| 25065 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "19" #| 23867 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST "20" #| 22993 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "21" #| 22431 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL "22" #| 22150 |#,
  ARGS.SYNSEM.LKEYS.KEYREL "23" #| 22015 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "24" #| 17691 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH "25" #| 15025 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.PRED "26" #| 12528 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "27" #| 11373 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "28" #| 11189 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "29" #| 10818 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST "30" #| 10602 |#,
  ARGS.SYNSEM.NON-LOCAL.REL "31" #| 8335 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "32" #| 6662 |#,
  ARGS.SYNSEM.LOCAL.CAT.POSTHEAD "33" #| 5986 |#,
  ARGS.SYNSEM.NON-LOCAL.QUE "34" #| 5821 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VOICE "35" #| 5149 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LAST "36" #| 5133 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.MSG "37" #| 4404 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.REST "38" #| 4291 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD "39" #| 3660 |#,
  ARGS.SYNSEM.LOCAL.CAT.MC "40" #| 3148 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.INV "41" #| 3106 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SORT "42" #| 2982 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.PRED "43" #| 2732 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "44" #| 2732 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT "45" #| 2483 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALTKEY "46" #| 1844 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PRD "47" #| 1732 |#,
  ARGS.ALTS.PERM "48" #| 1700 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "49" #| 1586 |#,
  ARGS.SYNSEM.LOCAL.STR.HEADING "50" #| 1237 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "51" #| 1145 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "52" #| 757 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.PRED "53" #| 751 |#,
  ARGS.ALTS.CAUS "54" #| 629 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.SORT "55" #| 625 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "56" #| 572 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.SPR "57" #| 450 |#,
  ARGS.SYNSEM.MODIFIED "58" #| 406 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST.LOCAL.CONT.HOOK.INDEX "59" #| 402 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.RELS.LIST.REST "60" #| 387 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "61" #| 355 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST "62" #| 336 |#,
  ARGS.SYNSEM.LOCAL.AGR.DIVISIBLE "63" #| 333 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.FIRST.PRED "64" #| 308 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL "65" #| 253 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.REST.REST "66" #| 224 |#,
  ARGS.SYNSEM.LKEYS.ALTKEYREL.PRED "67" #| 193 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH "68" #| 162 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PRD.COPULA "69" #| 125 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LIST "70" #| 106 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD "71" #| 33 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.RELS.LIST.FIRST.PRED "72" #| 24 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LAST "73" #| 21 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST "74" #| 17 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH "75" #| 17 |# ].

:end :instance.