;;;
;;; Quickcheck paths for SRG (07-nov-08), generated on 100 items on Sun Nov  9 17:43:27 2008
;;; PET(tom cheap v0.99.14svn) [0] -PA(0) -SM() RI[key] -HA(629) +FI -QCU[0()] +QCS[-1()] -OS[0] +SM +SH {ns 32} (Sep 25 2008/16:08:06) <$root>
;;;

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

;;
;; quickcheck paths (unification)
;;

; traditional paths (max 10000)
:begin :instance.

qc_unif_trad := *top* &
[ ARGS.SYNSEM.LOCAL.CAT.HEAD "0" #| 4.5e+05 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "1" #| 3.2e+05 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "2" #| 2.6e+05 |#,
  ARGS.INFLECTED "3" #| 1.4e+05 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "4" #| 1.3e+05 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "5" #| 8.5e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS "6" #| 7.8e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.MC "7" #| 7.7e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "8" #| 5e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "9" #| 4.1e+04 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "10" #| 4.1e+04 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST "11" #| 4.1e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "12" #| 3.8e+04 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "13" #| 3.4e+04 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH "14" #| 3.3e+04 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.PRED "15" #| 3.2e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "16" #| 2.8e+04 |#,
  ARGS.SYNSEM.LOCAL.COORD "17" #| 2.8e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "18" #| 2.6e+04 |#,
  ARGS.SYNSEM.LOCAL.COORD-STRAT "19" #| 2e+04 |#,
  ARGS.SYNSEM.NON-LOCAL.REL "20" #| 1.9e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.INV "21" #| 1.8e+04 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST "22" #| 1.8e+04 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.PRED "23" #| 1.6e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "24" #| 1.5e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "25" #| 1.4e+04 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD "26" #| 1.4e+04 |#,
  ARGS.SYNSEM.LOCAL.AGR "27" #| 1.3e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.COMPS "28" #| 1.2e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.TENSE "29" #| 1.2e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALTKEY "30" #| 1.1e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.MOOD "31" #| 1.1e+04 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LAST "32" #| 9.9e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "33" #| 7.2e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.MC "34" #| 7e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "35" #| 6.9e+03 |#,
  ARGS.SYNSEM "36" #| 6.8e+03 |#,
  ARGS.SYNSEM.NON-LOCAL.QUE "37" #| 6.5e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL "38" #| 6.3e+03 |#,
  ARGS.SYNSEM.LKEYS.KEYREL "39" #| 5.8e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "40" #| 5.6e+03 |#,
  ARGS "41" #| 5.5e+03 |#,
  ARGS.SYNSEM.PUNCT.RPUNCT "42" #| 5.4e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.POSTHEAD "43" #| 5e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "44" #| 4.8e+03 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.KEYS.KEY "45" #| 4e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC "46" #| 3.9e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "47" #| 3.7e+03 |#,
  ARGS.SYNSEM.LIGHT "48" #| 3.6e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.NON-LOCAL.SLASH "49" #| 3.6e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SORT "50" #| 3.6e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST "51" #| 3.5e+03 |#,
  ARGS.SYNSEM.NON-LOCAL.REL.LIST "52" #| 2.9e+03 |#,
  ARGS.ARGS.REST "53" #| 2.6e+03 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.GEN "54" #| 2.6e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0 "55" #| 2.6e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PRD "56" #| 2.5e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "57" #| 2.3e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST "58" #| 2.2e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.NON-LOCAL.SLASH.LIST "59" #| 2e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "60" #| 1.9e+03 |#,
  ARGS.ALTS.VFALT "61" #| 1.9e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC "62" #| 1.8e+03 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.PRED "63" #| 1.7e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT "64" #| 1.6e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "65" #| 1.6e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.CLTCZD "66" #| 1.4e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ "67" #| 1.4e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0 "68" #| 1.4e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST "69" #| 1.3e+03 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "70" #| 1.3e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.PRED "71" #| 1.3e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.REST "72" #| 1.2e+03 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.KEYS.ALTKEY "73" #| 1.2e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2 "74" #| 1.2e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "75" #| 1.2e+03 |#,
  ARGS.SYNSEM.LOCAL.STR.HEADING "76" #| 1.1e+03 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD "77" #| 1.1e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.E.TENSE "78" #| 1.1e+03 |#,
  ARGS.SYNSEM.LOCAL.AGR.DIVISIBLE "79" #| 1.1e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.SORT "80" #| 1e+03 |#,
  ARGS.ARGS.FIRST.INFLECTED "81" #| 9.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LIST "82" #| 9.6e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1 "83" #| 9.2e+02 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG2 "84" #| 8.9e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH "85" #| 8.1e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL "86" #| 7.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.PNG.PN "87" #| 7.6e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "88" #| 7.2e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.SPR "89" #| 7.1e+02 |#,
  ARGS.ALTS.PERM "90" #| 7.1e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "91" #| 6.7e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1.PNG.PN "92" #| 6.7e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST "93" #| 6.6e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST "94" #| 6.4e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALT2KEY "95" #| 6.1e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "96" #| 6.1e+02 |#,
  ARGS.ALTS.CAUS "97" #| 5.9e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "98" #| 5.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LAST "99" #| 5.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN "100" #| 5.7e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX "101" #| 5.5e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.SORT "102" #| 5.4e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.PNG.PN "103" #| 5.4e+02 |#,
  ARGS.SYNSEM.MODIFIED "104" #| 5.2e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL "105" #| 5e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.SORT "106" #| 4.9e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "107" #| 4.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MOD "108" #| 4.7e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "109" #| 4.5e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG "110" #| 4.4e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VOICE "111" #| 4.4e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.E.MOOD "112" #| 4.2e+02 |#,
  ARGS.ALTS.PASS "113" #| 3.9e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX "114" #| 3.9e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST "115" #| 3.9e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.DIVISIBLE "116" #| 3.7e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST.LOCAL.CAT.HEAD.CASE "117" #| 3.6e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH "118" #| 3.5e+02 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "119" #| 3.4e+02 |#,
  ARGS.ALTS.SYMM "120" #| 3.4e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.MC "121" #| 3.2e+02 |#,
  ARGS.ALTS.IMPERS "122" #| 3.2e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.CASE "123" #| 3.2e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.SORT "124" #| 3.1e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD "125" #| 2.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.CASE "126" #| 2.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.DIVISIBLE "127" #| 2.7e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.SORT "128" #| 2.7e+02 |#,
  ARGS.SYNSEM.LOCAL.AGR.PRONTYPE "129" #| 2.5e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.PNG.GEN "130" #| 2.4e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX "131" #| 2.4e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LAST "132" #| 2.4e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST "133" #| 2.4e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD "134" #| 2e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.RELS.LIST.REST "135" #| 2e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN "136" #| 2e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "137" #| 1.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.PNG.GEN "138" #| 1.7e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.PRONTYPE "139" #| 1.7e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.KEYS.ALT2KEY "140" #| 1.7e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.PRD "141" #| 1.6e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "142" #| 1.6e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ "143" #| 1.6e+02 |#,
  ARGS.SYNSEM.LOCAL.AGR.SORT "144" #| 1.6e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "145" #| 1.5e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.PRONTYPE "146" #| 1.5e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PRONTYPE "147" #| 1.4e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "148" #| 1.4e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VFORM "149" #| 1.3e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX "150" #| 1.2e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.CLTCZD "151" #| 1.2e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.PNG.PN "152" #| 1.2e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ "153" #| 1.2e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC "154" #| 1.2e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG1 "155" #| 1.2e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "156" #| 1.1e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "157" #| 1.1e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.MC "158" #| 1.1e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PRONTYPE "159" #| 1e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PUNCTUATION "160" #| 1e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.SUBJ "161" #| 91 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.SORT "162" #| 89 |#,
  ARGS.SYNSEM.NON-LOCAL.QUE.LIST "163" #| 83 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.SORT "164" #| 80 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "165" #| 74 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.DIVISIBLE "166" #| 73 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG3 "167" #| 70 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0 "168" #| 67 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT "169" #| 58 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG2 "170" #| 53 |#,
  ARGS.SYNSEM.LKEYS.--COMPKEY "171" #| 52 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.VAL.SUBJ "172" #| 46 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.MOD "173" #| 46 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.OPT "174" #| 45 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.TAM.TENSE "175" #| 44 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG2.SORT "176" #| 43 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.DIVISIBLE "177" #| 36 |#,
  ARGS.SYNSEM.LKEYS.ALTKEYREL.PRED "178" #| 36 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.COMPS "179" #| 36 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.FIRST.LOCAL.CONT.HOOK.INDEX "180" #| 35 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG2.PRONTYPE "181" #| 33 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.SORT "182" #| 33 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "183" #| 31 |#,
  ARGS.SYNSEM.LOCAL.CAT.PSTN "184" #| 31 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "185" #| 31 |#,
  ARGS.SYNSEM.PUNCT.LPUNCT "186" #| 29 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.PUNCT.RPUNCT "187" #| 29 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.PRED "188" #| 27 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.TAM.TENSE "189" #| 26 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.AUX "190" #| 25 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.SORT "191" #| 24 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.PNG.PN "192" #| 22 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.DIVISIBLE "193" #| 22 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG2.SORT "194" #| 21 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX.SORT "195" #| 21 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.VFORM "196" #| 20 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.TENSE "197" #| 20 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.CLIT "198" #| 20 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.DIVISIBLE "199" #| 20 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.SORT "200" #| 19 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.PNG.PN "201" #| 18 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG "202" #| 16 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "203" #| 15 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.TAM.TENSE "204" #| 15 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "205" #| 15 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX.SF "206" #| 13 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.SORT "207" #| 13 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.PRD "208" #| 12 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG3.SORT "209" #| 12 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "210" #| 12 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.TAM.MOOD "211" #| 12 |#,
  ARGS.NONCONJ-DTR.SYNSEM.LOCAL.CAT.VAL.SUBJ "212" #| 12 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPEC "213" #| 11 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SPR "214" #| 9.5 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "215" #| 9.3 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PRD.COPULA "216" #| 8.9 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.SF "217" #| 8.8 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG3 "218" #| 8.3 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.VFORM "219" #| 8.1 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEN "220" #| 7.8 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.COMPS "221" #| 7.5 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.SORT "222" #| 7.4 |#,
  ARGS.SYNSEM.LOCAL.COORD-REL.PRED "223" #| 7 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.TAM.MOOD "224" #| 7 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.PNG.GEN "225" #| 6.9 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "226" #| 6.6 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.DIVISIBLE "227" #| 6.2 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0.PRONTYPE "228" #| 6.1 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.MOOD "229" #| 5.8 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.PNG.PN "230" #| 5.1 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.RELS.LIST.REST "231" #| 4.9 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0.SORT "232" #| 4.8 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.VAL.SUBJ "233" #| 4.5 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.PRONTYPE "234" #| 4.4 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.E.TENSE "235" #| 4.4 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.DIVISIBLE "236" #| 4.3 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.NON-LOCAL.REL "237" #| 4.3 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "238" #| 4.2 |#,
  ARGS.CONJ-DTR.SYNSEM.LOCAL.COORD-STRAT "239" #| 4.1 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.KEYS.KEY "240" #| 4.1 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.XARG "241" #| 4 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.E.MOOD "242" #| 3.8 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.PNG.GEN "243" #| 3.8 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.XARG.SORT "244" #| 3.7 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "245" #| 3.7 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN "246" #| 3.7 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL "247" #| 3.3 |#,
  ARGS.NONCONJ-DTR.SYNSEM.LOCAL.CAT.VAL.COMPS "248" #| 3.3 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CONT.HOOK.INDEX "249" #| 2.8 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "250" #| 2.7 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.PNG.PN "251" #| 2 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.CLIT "252" #| 2 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.VAL.SUBJ "253" #| 1.8 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD "254" #| 1.7 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST "255" #| 1.6 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.XARG.PNG.PN "256" #| 1.3 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG1.PNG.PN "257" #| 0.99 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.XARG.E.TENSE "258" #| 0.96 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.XARG.E.MOOD "259" #| 0.96 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "260" #| 0.58 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG1.PNG.PN "261" #| 0.56 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "262" #| 0.54 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG2.PNG.PN "263" #| 0.51 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.XARG.DIVISIBLE "264" #| 0.5 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CAT.HEAD.KEYS.ALT2KEY "265" #| 0.48 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.RELS.LIST.FIRST "266" #| 0.46 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "267" #| 0.42 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEN "268" #| 0.36 |#,
  ARGS.NONCONJ-DTR.SYNSEM.LOCAL.CAT.VAL.SPR "269" #| 0.33 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.INDEX.DIVISIBLE "270" #| 0.24 |# ].

:end :instance.

;; set based paths (threshold 1e+02%)

; 6581 failing sets, total count 2e+06:
;
;  #0 (166710, 7%) [4]
;  #1 (96108, 1e+01%) [53 82]
;  #2 (89190, 2e+01%) [82]
;  #3 (80405, 2e+01%) [53]
;  #4 (56233, 2e+01%) [4 53 82]
;  #5 (50458, 2e+01%) [3 4]
;  #6 (46950, 3e+01%) [4 82]
;  #7 (43701, 3e+01%) [0 53]
;  #8 (38599, 3e+01%) [3 4 19]
;  #9 (36921, 3e+01%) [13]
;  #10 (33774, 3e+01%) [4 13 24 42 53 83]
;  #11 (32292, 3e+01%) [3 4 5]
;  #12 (31217, 3e+01%) [3]
;  #13 (29796, 4e+01%) [13 53]
;  #14 (28994, 4e+01%) [0]
;  #15 (22798, 4e+01%) [110 111]
;  #16 (21390, 4e+01%) [4 42 53 82]
;  #17 (21389, 4e+01%) [4 53]
;  #18 (21311, 4e+01%) [3 5]
;  #19 (16360, 4e+01%) [3 19]
;  #20 (15584, 4e+01%) [33]
;  #21 (15008, 4e+01%) [9]
;  #22 (14235, 4e+01%) [4 13 24 42 83]
;  #23 (13606, 4e+01%) [42]
;  #24 (12620, 4e+01%) [4 95]
;  #25 (11985, 5e+01%) [53 82 83]
;  #26 (11597, 5e+01%) [75]
;  #27 (11108, 5e+01%) [53 82 124]
;  #28 (10938, 5e+01%) [82 117]
;  #29 (10836, 5e+01%) [3 17 19 20]
;  #30 (10822, 5e+01%) [4 38 42 53 82]
;  #31 (10435, 5e+01%) [82 117 124]
;  #32 (10425, 5e+01%) [124]
;  #33 (10384, 5e+01%) [4 53 82 83]
;  #34 (10377, 5e+01%) [4 42]
;  #35 (10160, 5e+01%) [24 82 83]
;  #36 (9795, 5e+01%) [53 95]
;  #37 (9575, 5e+01%) [13 110 111]
;  #38 (9246, 5e+01%) [4 42 53]
;  #39 (8992, 5e+01%) [4 38]
;  #40 (8864, 5e+01%) [4 13 17 24 42 53 83]
;  #41 (8805, 5e+01%) [53 83]
;  #42 (8742, 5e+01%) [9 53]
;  #43 (8569, 5e+01%) [64]
;  #44 (8454, 5e+01%) [53 83 95]
;  #45 (8454, 5e+01%) [4 33 37 42]
;  #46 (8178, 5e+01%) [4 13]
;  #47 (8130, 5e+01%) [3 17 19]
;  #48 (7760, 5e+01%) [4 24 42 83]
;  #49 (7710, 6e+01%) [126]
;  #50 (7686, 6e+01%) [4 82 83]
;  #51 (7085, 6e+01%) [82 136]
;  #52 (7055, 6e+01%) [82 117 136]
;  #53 (6729, 6e+01%) [4 8]
;  #54 (6708, 6e+01%) [4 38 92 93 119 155]
;  #55 (6700, 6e+01%) [4 92 93 95 119 155]
;  #56 (6668, 6e+01%) [19]
;  #57 (6576, 6e+01%) [82 83 117 124]
;  #58 (6463, 6e+01%) [95]
;  #59 (6404, 6e+01%) [4 42 82]
;  #60 (6370, 6e+01%) [83]
;  #61 (6299, 6e+01%) [83 95]
;  #62 (6215, 6e+01%) [4 38 42 82]
;  #63 (6145, 6e+01%) [4 83]
;  #64 (6012, 6e+01%) [4 36]
;  #65 (5697, 6e+01%) [4 8 82]
;  #66 (5691, 6e+01%) [36 53 82]
;  #67 (5509, 6e+01%) [0 33 53]
;  #68 (5281, 6e+01%) [4 83 117]
;  #69 (5259, 6e+01%) [4 53 83]
;  #70 (4972, 6e+01%) [0 75]
;  #71 (4926, 6e+01%) [13 53 124]
;  #72 (4872, 6e+01%) [0 4]
;  #73 (4848, 6e+01%) [13 124]
;  #74 (4682, 6e+01%) [4 92 93 95]
;  #75 (4654, 6e+01%) [4 13 83 117]
;  #76 (4653, 6e+01%) [0 13 53]
;  #77 (4562, 6e+01%) [4 38 92 93]
;  #78 (4495, 6e+01%) [4 13 53]
;  #79 (4425, 6e+01%) [9 53 124]
;  #80 (4422, 6e+01%) [4 33 42 53]
;  #81 (4401, 6e+01%) [3 4 39]
;  #82 (4380, 6e+01%) [33 53]
;  #83 (4296, 6e+01%) [3 9]
;  #84 (4277, 6e+01%) [4 33]
;  #85 (4244, 6e+01%) [32 38 133 134]
;  #86 (4142, 6e+01%) [0 4 53]
;  #87 (4097, 6e+01%) [47 59]
;  #88 (4043, 6e+01%) [47 59 83]
;  #89 (3906, 6e+01%) [32]
;  #90 (3878, 6e+01%) [4 82 136]
;  #91 (3864, 6e+01%) [8 82]
;  #92 (3852, 6e+01%) [4 13 20 53]
;  #93 (3708, 7e+01%) [4 13 24 42 53 83 124]
;  #94 (3615, 7e+01%) [4 110 111]
;  #95 (3556, 7e+01%) [53 110 111]
;  #96 (3497, 7e+01%) [4 111]
;  #97 (3472, 7e+01%) [13 53 81]
;  #98 (3447, 7e+01%) [4 33 53 82]
;  #99 (3410, 7e+01%) [4 36 82]
;  #100 (3352, 7e+01%) [9 124]
;  #101 (3350, 7e+01%) [92 93 95 119 155]
;  #102 (3350, 7e+01%) [83 92 93 95 119 155]
;  #103 (3338, 7e+01%) [82 83]
;  #104 (3304, 7e+01%) [92 93 119 155]
;  #105 (3304, 7e+01%) [83 92 93 119 155]
;  #106 (3304, 7e+01%) [4 42 92 93 119 155]
;  #107 (3228, 7e+01%) [53 75]
;  #108 (3227, 7e+01%) [4 24 42 53 83]
;  #109 (3204, 7e+01%) [4 92 93 119 155]
;  #110 (3170, 7e+01%) [4 5 6 12]
;  #111 (3121, 7e+01%) [82 124]
;  #112 (3064, 7e+01%) [4 33 37 42 53]
;  #113 (3041, 7e+01%) [0 9 17 53]
;  #114 (2995, 7e+01%) [13 126]
;  #115 (2958, 7e+01%) [4 37 42]
;  #116 (2958, 7e+01%) [3 19 20]
;  #117 (2920, 7e+01%) [9 126]
;  #118 (2914, 7e+01%) [4 24 42 83 117]
;  #119 (2908, 7e+01%) [4 24 33 132]
;  #120 (2902, 7e+01%) [5]
;  #121 (2895, 7e+01%) [32 38 133]
;  #122 (2865, 7e+01%) [49]
;  #123 (2861, 7e+01%) [36 82]
;  #124 (2826, 7e+01%) [36 128]
;  #125 (2754, 7e+01%) [35]
;  #126 (2706, 7e+01%) [4 8 38 82]
;  #127 (2701, 7e+01%) [9 13]
;  #128 (2678, 7e+01%) [4 13 42 53 83 110]
;  #129 (2664, 7e+01%) [3 53]
;  #130 (2636, 7e+01%) [4 24 37 42 83]
;  #131 (2596, 7e+01%) [4 24 42 83 124]
;  #132 (2572, 7e+01%) [82 83 117]
;  #133 (2562, 7e+01%) [8 13 31 32 53 83]
;  #134 (2550, 7e+01%) [3 17 20]
;  #135 (2546, 7e+01%) [4 33 82]
;  #136 (2537, 7e+01%) [3 4 5 7]
;  #137 (2529, 7e+01%) [4 110]
;  #138 (2520, 7e+01%) [0 4 33 53]
;  #139 (2513, 7e+01%) [4 13 42 132]
;  #140 (2382, 7e+01%) [33 42]
;  #141 (2341, 7e+01%) [92 93 95]
;  #142 (2341, 7e+01%) [83 92 93 95]
;  #143 (2322, 7e+01%) [4 8 53]
;  #144 (2317, 7e+01%) [3 5 9]
;  #145 (2317, 7e+01%) [117]
;  #146 (2310, 7e+01%) [4 38 42 82 117 124]
;  #147 (2290, 7e+01%) [81 132]
;  #148 (2286, 7e+01%) [4 92 93]
;  #149 (2277, 7e+01%) [92 93]
;  #150 (2277, 7e+01%) [42 53 82]
;  #151 (2277, 7e+01%) [36]
;  #152 (2268, 7e+01%) [53 155]
;  #153 (2262, 7e+01%) [83 92 93]
;  #154 (2262, 7e+01%) [4 42 92 93]
;  #155 (2250, 7e+01%) [53 95 155]
;  #156 (2249, 7e+01%) [9 13 53]
;  #157 (2219, 7e+01%) [4 13 17 24 42 83]
;  #158 (2204, 7e+01%) [42 82]
;  #159 (2199, 7e+01%) [0 13 53 82]
;  #160 (2195, 7e+01%) [4 32 38 110 133 134]
;  #161 (2194, 7e+01%) [81]
;  #162 (2178, 7e+01%) [0 13]
;  #163 (2141, 7e+01%) [0 33]
;  #164 (2128, 7e+01%) [4 82 117 124]
;  #165 (2110, 7e+01%) [3 4 5 7 8]
;  #166 (2090, 7e+01%) [13 81 132]
;  #167 (2085, 7e+01%) [4 49]
;  #168 (2023, 7e+01%) [13 53 57]
;  #169 (1998, 7e+01%) [3 17]
;  #170 (1995, 7e+01%) [4 13 24 42]
;  #171 (1994, 7e+01%) [4 13 24 42 83 124]
;  #172 (1941, 7e+01%) [4 13 24 42 83 132]
;  #173 (1920, 7e+01%) [4 13 20 53 110]
;  #174 (1905, 7e+01%) [4 24 42]
;  #175 (1898, 7e+01%) [0 15 53]
;  #176 (1856, 7e+01%) [0 4 33]
;  #177 (1845, 7e+01%) [8]
;  #178 (1844, 7e+01%) [20]
;  #179 (1806, 7e+01%) [53 92 93 95 119 155]
;  #180 (1806, 7e+01%) [53 83 92 93 95 119 155]
;  #181 (1804, 7e+01%) [45]
;  #182 (1781, 7e+01%) [53 92 93 119 155]
;  #183 (1781, 8e+01%) [53 83 92 93 119 155]
;  #184 (1772, 8e+01%) [33 42 53]
;  #185 (1764, 8e+01%) [4 13 19 24 42 53 83]
;  #186 (1746, 8e+01%) [4 81 210]
;  #187 (1734, 8e+01%) [35 81 117]
;  #188 (1728, 8e+01%) [4 82 83 117]
;  #189 (1708, 8e+01%) [8 13 24 32 53 83]
;  #190 (1700, 8e+01%) [53 92 93 95]
;  #191 (1700, 8e+01%) [53 83 92 93 95]
;  #192 (1662, 8e+01%) [4 33 42]
;  #193 (1660, 8e+01%) [4 13 42]
;  #194 (1646, 8e+01%) [4 13 24 42 53 83 132]
;  #195 (1646, 8e+01%) [53 92 93]
;  #196 (1637, 8e+01%) [111]
;  #197 (1636, 8e+01%) [53 83 92 93]
;  #198 (1629, 8e+01%) [32 81]
;  #199 (1627, 8e+01%) [4 33 53]
;  #200 (1623, 8e+01%) [4 24 82 83]
;  #201 (1616, 8e+01%) [3 8 13 31 32 53 80]
;  #202 (1610, 8e+01%) [5 6 12]
;  #203 (1602, 8e+01%) [32 38]
;  #204 (1596, 8e+01%) [8 13 31 32 53]
;  #205 (1596, 8e+01%) [4 82 124]
;  #206 (1590, 8e+01%) [24 53 83]
;  #207 (1571, 8e+01%) [4 33 53 83]
;  #208 (1560, 8e+01%) [3 4 22]
;  #209 (1551, 8e+01%) [4 53 82 124]
;  #210 (1549, 8e+01%) [4 124]
;  #211 (1547, 8e+01%) [3 4 13 53]
;  #212 (1546, 8e+01%) [4 92 93 95 119]
;  #213 (1535, 8e+01%) [4 8 13 53]
;  #214 (1532, 8e+01%) [0 53 75]
;  #215 (1530, 8e+01%) [4 53 82 136]
;  #216 (1530, 8e+01%) [4 35]
;  #217 (1528, 8e+01%) [3 19 22]
;  #218 (1514, 8e+01%) [4 92 93 95 119 156 157]
;  #219 (1512, 8e+01%) [4 92 93 95 119 155 156 157]
;  #220 (1497, 8e+01%) [4 38 92 93 119]
;  #221 (1457, 8e+01%) [4 33 42 53 83 110 132]
;  #222 (1457, 8e+01%) [4 33 36 42 53 83 132]
;  #223 (1457, 8e+01%) [4 24 33 42 53 83 132]
;  #224 (1457, 8e+01%) [4 24 33 53 83 132]
;  #225 (1457, 8e+01%) [4 24 32 33 42 53 83 132]
;  #226 (1454, 8e+01%) [4 37 42 53]
;  #227 (1448, 8e+01%) [3 4 19 22]
;  #228 (1446, 8e+01%) [15 75]
;  #229 (1445, 8e+01%) [4 81 210 211 214]
;  #230 (1436, 8e+01%) [4 13 42 53]
;  #231 (1428, 8e+01%) [0 9 17 53 110]
;  #232 (1419, 8e+01%) [53 93 95 148]
;  #233 (1408, 8e+01%) [4 92 93 95 156]
;  #234 (1399, 8e+01%) [4 33 83]
;  #235 (1395, 8e+01%) [37]
;  #236 (1394, 8e+01%) [42 53]
;  #237 (1393, 8e+01%) [64 78]
;  #238 (1391, 8e+01%) [4 53 82 83 124]
;  #239 (1390, 8e+01%) [4 33 37 42 110]
;  #240 (1386, 8e+01%) [8 13 31 32 53 80]
;  #241 (1382, 8e+01%) [13 53 81 132]
;  #242 (1372, 8e+01%) [82 83 124]
;  #243 (1364, 8e+01%) [4 24]
;  #244 (1358, 8e+01%) [4 13 24 53 83]
;  #245 (1354, 8e+01%) [53 93 148]
;  #246 (1350, 8e+01%) [4 53 117]
;  #247 (1320, 8e+01%) [0 4 36 128]
;  #248 (1300, 8e+01%) [4 147]
;  #249 (1297, 8e+01%) [3 9 10]
;  #250 (1296, 8e+01%) [0 4 36 42 128]
;  #251 (1277, 8e+01%) [3 4 13 24 53]
;  #252 (1276, 8e+01%) [4 13 81]
;  #253 (1272, 8e+01%) [8 38]
;  #254 (1263, 8e+01%) [117 124]
;  #255 (1237, 8e+01%) [33 42 53 82]
;  #256 (1230, 8e+01%) [4 42 82 117 124]
;  #257 (1217, 8e+01%) [4 32 110]
;  #258 (1212, 8e+01%) [3 8 13 31 32 53 83]
;  #259 (1210, 8e+01%) [3 5 7]
;  #260 (1196, 8e+01%) [10 42 82]
;  #261 (1179, 8e+01%) [4 8 13]
;  #262 (1179, 8e+01%) [4 13 83]
;  #263 (1178, 8e+01%) [4 24 33 42 83 132]
;  #264 (1176, 8e+01%) [4 33 42 83 110 132]
;  #265 (1176, 8e+01%) [4 33 36 42 83 132]
;  #266 (1176, 8e+01%) [4 24 33 83 132]
;  #267 (1174, 8e+01%) [4 24 32 33 42 83 132]
;  #268 (1150, 8e+01%) [13 20 53]
;  #269 (1142, 8e+01%) [33 42 82]
;  #270 (1140, 8e+01%) [4 37 42 153]
;  #271 (1124, 8e+01%) [4 64]
;  #272 (1122, 8e+01%) [3 22]
;  #273 (1121, 8e+01%) [3 5 7 8]
;  #274 (1119, 8e+01%) [4 33 42 53 86]
;  #275 (1110, 8e+01%) [3 4 8 53]
;  #276 (1105, 8e+01%) [0 45]
;  #277 (1090, 8e+01%) [3 4 5 19]
;  #278 (1088, 8e+01%) [4 33 36 37 42]
;  #279 (1083, 8e+01%) [4 24 33 42 53]
;  #280 (1076, 8e+01%) [13 20]
;  #281 (1072, 8e+01%) [4 24 37 42 83 124]
;  #282 (1066, 8e+01%) [4 93 95 148]
;  #283 (1050, 8e+01%) [3 9 17]
;  #284 (1034, 8e+01%) [33 124]
;  #285 (1034, 8e+01%) [4 24 42 53]
;  #286 (1019, 8e+01%) [4 5 7]
;  #287 (1016, 8e+01%) [4 13 24 42 83 117]
;  #288 (1016, 8e+01%) [86]
;  #289 (1002, 8e+01%) [0 4 33 36 53]
;  #290 (1002, 8e+01%) [0 4 33 36 42 53]
;  #291 (996, 8e+01%) [4 13 38]
;  #292 (994, 8e+01%) [110]
;  #293 (993, 8e+01%) [3 4 39 89]
;  #294 (985, 8e+01%) [9 53 57]
;  #295 (984, 8e+01%) [4 13 38 82]
;  #296 (980, 8e+01%) [42 86]
;  #297 (979, 8e+01%) [9 14 74]
;  #298 (972, 8e+01%) [123]
;  #299 (972, 8e+01%) [13 53 82]
;  #300 (966, 8e+01%) [0 13 82]
;  #301 (964, 8e+01%) [158]
;  #302 (964, 8e+01%) [24 42 53 82]
;  #303 (963, 8e+01%) [4 33 37 42 86]
;  #304 (944, 8e+01%) [8 13 32 64 80 83 91]
;  #305 (938, 8e+01%) [42 110 111]
;  #306 (933, 8e+01%) [3 4 13]
;  #307 (930, 8e+01%) [4 13 53 81]
;  #308 (930, 8e+01%) [4 13 38 53]
;  #309 (930, 8e+01%) [4 13 38 53 82]
;  #310 (930, 8e+01%) [42 84]
;  #311 (926, 8e+01%) [4 17 24 42 83]
;  #312 (923, 8e+01%) [3 4 53]
;  #313 (918, 8e+01%) [0 4 33 53 81]
;  #314 (914, 8e+01%) [8 13 32 64]
;  #315 (914, 8e+01%) [4 82 83 124]
;  #316 (913, 8e+01%) [153]
;  #317 (900, 8e+01%) [8 13 53 83]
;  #318 (889, 8e+01%) [0 58]
;  #319 (884, 8e+01%) [4 89 93 95 119 148 155]
;  #320 (883, 8e+01%) [4 24 110 111]
;  #321 (880, 8e+01%) [4 83 117 124]
;  #322 (880, 8e+01%) [4 24 42 83 117 132]
;  #323 (878, 8e+01%) [0 4 32 33 48]
;  #324 (873, 8e+01%) [9 17 53]
;  #325 (872, 8e+01%) [4 42 124]
;  #326 (872, 8e+01%) [13 42]
;  #327 (864, 8e+01%) [35 38 117]
;  #328 (864, 8e+01%) [0 13 36 53 82]
;  #329 (856, 8e+01%) [32 38 133 154]
;  #330 (854, 8e+01%) [4 13 75]
;  #331 (854, 8e+01%) [53 81]
;  #332 (853, 8e+01%) [4 13 53 83]
;  #333 (849, 8e+01%) [82 117 123 136]
;  #334 (848, 8e+01%) [4 82 83 117 124]
;  #335 (846, 8e+01%) [4 17 24 42 83 117]
;  #336 (840, 8e+01%) [8 13 32 46 49 80 83 91]
;  #337 (840, 8e+01%) [4 24 42 53 83 124]
;  #338 (838, 8e+01%) [0 15 16 53]
;  #339 (828, 8e+01%) [4 27 53 110]
;  #340 (827, 8e+01%) [4 8 13 24 53]
;  #341 (822, 8e+01%) [4 24 42 83 132]
;  #342 (817, 8e+01%) [4 8 33]
;  #343 (813, 8e+01%) [0 3 4 8 53]
;  #344 (812, 8e+01%) [20 53]
;  #345 (811, 8e+01%) [4 57]
;  #346 (809, 8e+01%) [24 42 53 83]
;  #347 (808, 8e+01%) [3 8 13 24 32 53 83]
;  #348 (808, 8e+01%) [43 44]
;  #349 (804, 8e+01%) [24 83 117 124]
;  #350 (802, 8e+01%) [4 33 42 53 110]
;  #351 (800, 8e+01%) [4 38 89 93 119 148 155]
;  #352 (799, 8e+01%) [85]
;  #353 (792, 8e+01%) [4 13 83 117 124]
;  #354 (788, 8e+01%) [53 126]
;  #355 (786, 8e+01%) [33 153]
;  #356 (786, 8e+01%) [33 42 86]
;  #357 (780, 8e+01%) [8 13 32 46 87]
;  #358 (777, 8e+01%) [35 117]
;  #359 (773, 8e+01%) [92 93 95 119]
;  #360 (773, 8e+01%) [83 92 93 95 119]
;  #361 (771, 8e+01%) [126 161]
;  #362 (768, 8e+01%) [4 42 53 82 124]
;  #363 (762, 8e+01%) [4 38 82]
;  #364 (758, 8e+01%) [4 42 83]
;  #365 (757, 8e+01%) [92 93 95 119 156 157]
;  #366 (757, 8e+01%) [83 92 93 95 119 156 157]
;  #367 (756, 8e+01%) [92 93 95 119 155 156 157]
;  #368 (756, 8e+01%) [83 92 93 95 119 155 156 157]
;  #369 (751, 8e+01%) [4 42 80]
;  #370 (750, 8e+01%) [4 45 46 47 54 59]
;  #371 (748, 8e+01%) [15]
;  #372 (747, 8e+01%) [4 13 24 80]
;  #373 (747, 8e+01%) [9 14 53 74]
;  #374 (739, 8e+01%) [92 93 119]
;  #375 (739, 8e+01%) [83 92 93 119]
;  #376 (739, 8e+01%) [4 42 92 93 119]
;  #377 (738, 8e+01%) [7]
;  #378 (738, 8e+01%) [53 81 82]
;  #379 (738, 8e+01%) [4 33 36]
;  #380 (736, 8e+01%) [4 93 148]
;  #381 (729, 8e+01%) [0 4 33 36 42]
;  #382 (729, 8e+01%) [0 4 33 36]
;  #383 (729, 8e+01%) [0 4 32 33 53]
;  #384 (728, 8e+01%) [8 13 27 64]
;  #385 (727, 8e+01%) [4 36 42]
;  #386 (725, 8e+01%) [93 95 148]
;  #387 (725, 8e+01%) [4 53 57]
;  #388 (724, 8e+01%) [3 4 10 13 46 82]
;  #389 (724, 8e+01%) [13 42 132]
;  #390 (720, 8e+01%) [4 92 93 119]
;  #391 (720, 9e+01%) [4 81 87]
;  #392 (717, 9e+01%) [3 39]
;  #393 (714, 9e+01%) [9 57]
;  #394 (710, 9e+01%) [4 13 20]
;  #395 (706, 9e+01%) [10 42 53 82]
;  #396 (705, 9e+01%) [33 110 111]
;  #397 (704, 9e+01%) [92 93 95 156]
;  #398 (704, 9e+01%) [83 92 93 95 156]
;  #399 (700, 9e+01%) [53 57]
;  #400 (698, 9e+01%) [53 92 93 95 156]
;  #401 (698, 9e+01%) [53 83 92 93 95 156]
;  #402 (695, 9e+01%) [33 110]
;  #403 (689, 9e+01%) [9 14]
;  #404 (684, 9e+01%) [8 13 27 28 32 53]
;  #405 (684, 9e+01%) [4 8 13 27]
;  #406 (684, 9e+01%) [36 82 117 124]
;  #407 (684, 9e+01%) [4 32 42]
;  #408 (678, 9e+01%) [3 20]
;  #409 (671, 9e+01%) [93 148]
;  #410 (668, 9e+01%) [4 10 13 53]
;  #411 (663, 9e+01%) [4 117]
;  #412 (659, 9e+01%) [3 13]
;  #413 (658, 9e+01%) [4 24 42 53 57 80 132]
;  #414 (655, 9e+01%) [3 13 53]
;  #415 (652, 9e+01%) [4 42 86]
;  #416 (646, 9e+01%) [33 42 82 83]
;  #417 (639, 9e+01%) [13 57]
;  #418 (635, 9e+01%) [33 86]
;  #419 (634, 9e+01%) [20 126]
;  #420 (631, 9e+01%) [3 4 13 50]
;  #421 (629, 9e+01%) [32 38 133 190 233]
;  #422 (629, 9e+01%) [4 33 42 86]
;  #423 (628, 9e+01%) [4 36 117 128]
;  #424 (628, 9e+01%) [4 36 42 117 128]
;  #425 (626, 9e+01%) [9 13 17]
;  #426 (625, 9e+01%) [82 117 123 136 143]
;  #427 (624, 9e+01%) [24 83]
;  #428 (624, 9e+01%) [4 33 36 42]
;  #429 (623, 9e+01%) [82 117 136 143]
;  #430 (620, 9e+01%) [3 4 13 46]
;  #431 (618, 9e+01%) [4 24 42 83 117 124]
;  #432 (614, 9e+01%) [4 32 33 53]
;  #433 (614, 9e+01%) [4 20]
;  #434 (613, 9e+01%) [53 124]
;  #435 (610, 9e+01%) [9 13 126]
;  #436 (608, 9e+01%) [3 4 8 33 53]
;  #437 (606, 9e+01%) [3 8 13 53 80]
;  #438 (605, 9e+01%) [3 4 8 27 32 64 79 87]
;  #439 (604, 9e+01%) [4 33 82 117 124]
;  #440 (601, 9e+01%) [57]
;  #441 (596, 9e+01%) [0 44]
;  #442 (594, 9e+01%) [38 81 133 154 210]
;  #443 (592, 9e+01%) [4 36 128]
;  #444 (590, 9e+01%) [3 4 5 35]
;  #445 (589, 9e+01%) [0 4 33 81]
;  #446 (588, 9e+01%) [26]
;  #447 (586, 9e+01%) [8 13 32 80 83 91]
;  #448 (585, 9e+01%) [4 24 33]
;  #449 (584, 9e+01%) [4 33 36 53]
;  #450 (582, 9e+01%) [37 42 53 82]
;  #451 (580, 9e+01%) [37 153]
;  #452 (576, 9e+01%) [3 5 7 8 53]
;  #453 (576, 9e+01%) [46 47 59]
;  #454 (576, 9e+01%) [46 47 59 83]
;  #455 (576, 9e+01%) [4 38 42 82 124]
;  #456 (576, 9e+01%) [4 38 42 53 82 124]
;  #457 (573, 9e+01%) [4 13 24 33]
;  #458 (573, 9e+01%) [36 83 117]
;  #459 (572, 9e+01%) [24 82 83 117 124]
;  #460 (570, 9e+01%) [5 7]
;  #461 (567, 9e+01%) [8 13 27 28 32 53 80]
;  #462 (564, 9e+01%) [4 42 160]
;  #463 (564, 9e+01%) [38 133 154]
;  #464 (564, 9e+01%) [13 126 161]
;  #465 (560, 9e+01%) [81 124 132]
;  #466 (558, 9e+01%) [33 42 53 82 83]
;  #467 (558, 9e+01%) [9 14 124]
;  #468 (556, 9e+01%) [4 37]
;  #469 (556, 9e+01%) [4 33 36 42 53]
;  #470 (555, 9e+01%) [4 36 118]
;  #471 (553, 9e+01%) [4 5 7 8]
;  #472 (552, 9e+01%) [4 13 42 83 110]
;  #473 (551, 9e+01%) [53 78]
;  #474 (548, 9e+01%) [17 24 37 83 117]
;  #475 (541, 9e+01%) [82 117 136 137 138 139 140 141 142]
;  #476 (540, 9e+01%) [4 24 42 53 83 117]
;  #477 (539, 9e+01%) [9 123]
;  #478 (538, 9e+01%) [4 13 53 81 124]
;  #479 (538, 9e+01%) [4 13 38 53 82 124]
;  #480 (538, 9e+01%) [4 13 38 53 124]
;  #481 (538, 9e+01%) [13 53 81 124 132]
;  #482 (536, 9e+01%) [4 42 53 160]
;  #483 (536, 9e+01%) [17 24 37 83 117 124]
;  #484 (534, 9e+01%) [20 124]
;  #485 (533, 9e+01%) [83 93 95 148]
;  #486 (532, 9e+01%) [4 36 42 128]
;  #487 (525, 9e+01%) [4 13 33 53 82]
;  #488 (525, 9e+01%) [8 13 45 46 47 54 59 64 132]
;  #489 (523, 9e+01%) [45 48]
;  #490 (522, 9e+01%) [4 13 24 110 111]
;  #491 (520, 9e+01%) [8 13 45 46 47 59 64 132]
;  #492 (520, 9e+01%) [4 53 82 117 124]
;  #493 (514, 9e+01%) [13 82]
;  #494 (510, 9e+01%) [4 33 53 81]
;  #495 (509, 9e+01%) [13 53 126]
;  #496 (503, 9e+01%) [4 33 81]
;  #497 (502, 9e+01%) [8 13 64]
;  #498 (502, 9e+01%) [9 126 159 161]
;  #499 (501, 9e+01%) [4 37 42 85]
;  #500 (501, 9e+01%) [9 17]
;  #501 (499, 9e+01%) [4 36 42 147]
;  #502 (498, 9e+01%) [53 83 93 95 148]
;  #503 (498, 9e+01%) [4 42 85 96 110]
;  #504 (498, 9e+01%) [4 37 85 96]
;  #505 (498, 9e+01%) [4 32 37 42 85]
;  #506 (497, 9e+01%) [8 13 27 32 50]
;  #507 (496, 9e+01%) [8 13 32 46 48 49 80 83 91]
;  #508 (495, 9e+01%) [4 36 147]
;  #509 (495, 9e+01%) [4 36 37 42 85]
;  #510 (494, 9e+01%) [4 8 84]
;  #511 (492, 9e+01%) [4 13 24 42 83 117 132]
;  #512 (492, 9e+01%) [4 42 84]
;  #513 (492, 9e+01%) [9 17 53 110]
;  #514 (491, 9e+01%) [4 117 124]
;  #515 (489, 9e+01%) [0 53 124]
;  #516 (489, 9e+01%) [4 24 42 57 80 132]
;  #517 (488, 9e+01%) [93]
;  #518 (488, 9e+01%) [59]
;  #519 (486, 9e+01%) [82 117 136 173]
;  #520 (485, 9e+01%) [4 33 37 42 53 110]
;  #521 (484, 9e+01%) [4 46]
;  #522 (484, 9e+01%) [13 123]
;  #523 (482, 9e+01%) [4 32 37 53]
;  #524 (482, 9e+01%) [10 33 42 82]
;  #525 (481, 9e+01%) [4 36 38 82]
;  #526 (480, 9e+01%) [36 82 124]
;  #527 (479, 9e+01%) [53 92 93 95 119 156 157]
;  #528 (479, 9e+01%) [53 83 92 93 95 119 156 157]
;  #529 (478, 9e+01%) [4 46 48]
;  #530 (478, 9e+01%) [0 4 46 48]
;  #531 (476, 9e+01%) [9 126 159]
;  #532 (475, 9e+01%) [4 35 37 81]
;  #533 (474, 9e+01%) [0 4 46]
;  #534 (472, 9e+01%) [4 42 83 110]
;  #535 (471, 9e+01%) [4 31 32 81]
;  #536 (471, 9e+01%) [8 84]
;  #537 (469, 9e+01%) [8 13 32 46 80 83 87 91]
;  #538 (464, 9e+01%) [42 53 110 111]
;  #539 (463, 9e+01%) [9 13 36 83 117]
;  #540 (462, 9e+01%) [4 53 124]
;  #541 (462, 9e+01%) [3 4 5 7 53]
;  #542 (460, 9e+01%) [8 13 46 48 49 83]
;  #543 (457, 9e+01%) [9 53 57 124]
;  #544 (457, 9e+01%) [4 13 117]
;  #545 (456, 9e+01%) [172]
;  #546 (456, 9e+01%) [4 37 42 110]
;  #547 (454, 9e+01%) [82 89]
;  #548 (454, 9e+01%) [53 92 93 95 119]
;  #549 (454, 9e+01%) [53 83 92 93 95 119]
;  #550 (453, 9e+01%) [4 13 24 33 42 53 81]
;  #551 (452, 9e+01%) [0 4 53 124]
;  #552 (450, 9e+01%) [117 136]
;  #553 (450, 9e+01%) [4 82 89]
;  #554 (448, 9e+01%) [4 8 13 27 32 64]
;  #555 (447, 9e+01%) [13 53 57 124]
;  #556 (446, 9e+01%) [53 92 93 95 119 155 156 157]
;  #557 (446, 9e+01%) [53 83 92 93 95 119 155 156 157]
;  #558 (444, 9e+01%) [0 45 48]
;  #559 (442, 9e+01%) [89 93 95 119 148 155]
;  #560 (442, 9e+01%) [83 89 93 95 119 148 155]
;  #561 (442, 9e+01%) [4 27 46 79]
;  #562 (441, 9e+01%) [0 45 46 47 64]
;  #563 (441, 9e+01%) [4 42 80 82]
;  #564 (440, 9e+01%) [4 89 93 95 119 148]
;  #565 (438, 9e+01%) [53 92 93 119]
;  #566 (438, 9e+01%) [53 83 92 93 119]
;  #567 (438, 9e+01%) [0 15]
;  #568 (435, 9e+01%) [3 5 7 53]
;  #569 (432, 9e+01%) [35 81 82 117]
;  #570 (431, 9e+01%) [8 13 32 46 64 87]
;  #571 (430, 9e+01%) [4 5 6 7 12]
;  #572 (428, 9e+01%) [123 126]
;  #573 (428, 9e+01%) [4 46 54]
;  #574 (428, 9e+01%) [0 44 45]
;  #575 (426, 9e+01%) [43 44 45]
;  #576 (425, 9e+01%) [36 117 128]
;  #577 (425, 9e+01%) [4 27 28 53 82]
;  #578 (420, 9e+01%) [8 13 45 46 47 49 54 59 132]
;  #579 (420, 9e+01%) [8 13 32 46 49 64 87]
;  #580 (420, 9e+01%) [4 42 82 124]
;  #581 (420, 9e+01%) [0 4 45 48]
;  #582 (420, 9e+01%) [9 53 126]
;  #583 (417, 9e+01%) [3 4 13 31 32 50 53]
;  #584 (416, 9e+01%) [8 13 45 46 47 49 59 132]
;  #585 (416, 9e+01%) [0 4 45 46 47 59]
;  #586 (414, 9e+01%) [4 38 53]
;  #587 (413, 9e+01%) [53 93]
;  #588 (411, 9e+01%) [38 133]
;  #589 (410, 9e+01%) [4 5]
;  #590 (406, 9e+01%) [57 144]
;  #591 (406, 9e+01%) [4 53 95]
;  #592 (405, 9e+01%) [24 82 83 136]
;  #593 (404, 9e+01%) [3 4 8 53 81]
;  #594 (404, 9e+01%) [3 4 8 13 24 32 53 80]
;  #595 (404, 9e+01%) [3 4 8 13 53]
;  #596 (402, 9e+01%) [4 37 42 83 110 117 124]
;  #597 (402, 9e+01%) [24 83 117]
;  #598 (402, 9e+01%) [4 32 33 48]
;  #599 (402, 9e+01%) [4 24 37 42 83 117 124 132]
;  #600 (400, 9e+01%) [17 24 37 83]
;  #601 (396, 9e+01%) [4 37 53 117]
;  #602 (394, 9e+01%) [8 13 27]
;  #603 (392, 9e+01%) [4 7 8 53]
;  #604 (392, 9e+01%) [35 81]
;  #605 (390, 9e+01%) [3 5 7 8 13 53]
;  #606 (388, 9e+01%) [4 24 42 132]
;  #607 (386, 9e+01%) [32 190 195 202]
;  #608 (385, 9e+01%) [0 5 7 8]
;  #609 (384, 9e+01%) [4 13 38 124]
;  #610 (384, 9e+01%) [4 13 38 82 124]
;  #611 (384, 9e+01%) [4 42 82 89]
;  #612 (384, 9e+01%) [4 32 38 110 133 235 236]
;  #613 (384, 9e+01%) [13 81 124 132]
;  #614 (384, 9e+01%) [3 11 19]
;  #615 (384, 9e+01%) [4 13 81 124]
;  #616 (376, 9e+01%) [4 24 42 83 117 136]
;  #617 (374, 9e+01%) [4 95 136]
;  #618 (372, 9e+01%) [4 49 122]
;  #619 (372, 9e+01%) [31 32 81]
;  #620 (370, 9e+01%) [89 93 119 148 155]
;  #621 (370, 9e+01%) [83 89 93 119 148 155]
;  #622 (370, 9e+01%) [4 42 89 93 119 148 155]
;  #623 (370, 9e+01%) [4 42 53 83 110]
;  #624 (370, 9e+01%) [0 14 53]
;  #625 (366, 9e+01%) [82 117 136 163 164 173]
;  #626 (361, 9e+01%) [9 126 161]
;  #627 (360, 9e+01%) [35 53 81 132]
;  #628 (359, 9e+01%) [0 4 48]
;  #629 (358, 9e+01%) [53 89 92 93 156]
;  #630 (357, 9e+01%) [135]
;  #631 (357, 9e+01%) [136]
;  #632 (356, 9e+01%) [42 135]
;  #633 (354, 9e+01%) [4 92 93 95 136 156]
;  #634 (353, 9e+01%) [4 37 42 86]
;  #635 (353, 9e+01%) [0 3]
;  #636 (352, 9e+01%) [4 13 110 111]
;  #637 (351, 9e+01%) [57 124]
;  #638 (350, 9e+01%) [13 57 124]
;  #639 (350, 9e+01%) [9 57 126 143]
;  #640 (350, 9e+01%) [9 10 11]
;  #641 (349, 9e+01%) [0 14]
;  #642 (348, 9e+01%) [0 45 65 66 67]
;  #643 (348, 9e+01%) [3 4 5 36]
;  #644 (345, 9e+01%) [0 45 46 47]
;  #645 (344, 9e+01%) [170]
;  #646 (344, 9e+01%) [75 117]
;  #647 (344, 9e+01%) [37 124]
;  #648 (340, 9e+01%) [0 63 65 69]
;  #649 (340, 9e+01%) [4 37 42 117]
;  #650 (337, 9e+01%) [33 117]
;  #651 (336, 9e+01%) [8 13 32 45 48 49 61 80 83 91]
;  #652 (336, 9e+01%) [4 53 117 124]
;  #653 (334, 9e+01%) [4 13 42 83 110 117]
;  #654 (334, 9e+01%) [4 13 24 83]
;  #655 (334, 9e+01%) [4 8 13 31 53]
;  #656 (334, 9e+01%) [26 110]
;  #657 (332, 9e+01%) [8 13 32 46 49 80 83 91 127]
;  #658 (332, 9e+01%) [10 33 42 53 82]
;  #659 (330, 9e+01%) [0 58 170]
;  #660 (330, 9e+01%) [93 95]
;  #661 (330, 9e+01%) [82 83 117 136]
;  #662 (330, 9e+01%) [3 4 8 64]
;  #663 (328, 9e+01%) [4 5 111]
;  #664 (327, 9e+01%) [4 42 86 117]
;  #665 (326, 9e+01%) [187 192 193]
;  #666 (326, 9e+01%) [9 57 124]
;  #667 (325, 9e+01%) [0 45 64]
;  #668 (324, 9e+01%) [4 13 24 33 42 81]
;  #669 (324, 9e+01%) [124 182]
;  #670 (324, 9e+01%) [9 14 74 124]
;  #671 (323, 9e+01%) [46 59]
;  #672 (323, 9e+01%) [46 59 83]
;  #673 (322, 9e+01%) [4 112]
;  #674 (321, 9e+01%) [4 8 118]
;  #675 (320, 9e+01%) [8 13 32 46 80 83 91]
;  #676 (320, 9e+01%) [5 7 8]
;  #677 (320, 9e+01%) [4 167]
;  #678 (320, 9e+01%) [4 24 42 53 83 132]
;  #679 (318, 9e+01%) [38 81]
;  #680 (318, 9e+01%) [4 31 32 38 81 133]
;  #681 (318, 9e+01%) [9 13 53 126]
;  #682 (315, 9e+01%) [3 5 20]
;  #683 (315, 9e+01%) [8 13 45 46 47 49 54 59 64 132]
;  #684 (314, 9e+01%) [8 13 45 132]
;  #685 (312, 9e+01%) [8 13 45 46 47 49 59 64 132]
;  #686 (311, 9e+01%) [112]
;  #687 (311, 9e+01%) [4 33 53 82 110]
;  #688 (310, 9e+01%) [4 89 93 119 148 155]
;  #689 (310, 9e+01%) [3 45 48 83]
;  #690 (305, 9e+01%) [4 24 83]
;  #691 (304, 9e+01%) [4 35 81 117]
;  #692 (304, 9e+01%) [4 33 82 110]
;  #693 (304, 9e+01%) [13 75 117]
;  #694 (303, 9e+01%) [0 3 4]
;  #695 (302, 9e+01%) [33 42 53 82 86]
;  #696 (300, 9e+01%) [4 8 33 53]
;  #697 (300, 9e+01%) [4 82 83 117 123 136]
;  #698 (298, 9e+01%) [4 33 110]
;  #699 (298, 9e+01%) [3 4 13 46 48 82]
;  #700 (298, 9e+01%) [10 33 42 82 83]
;  #701 (297, 9e+01%) [4 13 80 110]
;  #702 (296, 9e+01%) [4 35 38 117]
;  #703 (296, 9e+01%) [4 24 42 83 136]
;  #704 (295, 9e+01%) [57 126 143]
;  #705 (294, 9e+01%) [4 53 123]
;  #706 (294, 9e+01%) [4 33 86]
;  #707 (294, 9e+01%) [4 17 24 42]
;  #708 (293, 9e+01%) [4 8 32 46 49 85 96 147]
;  #709 (293, 9e+01%) [3 4 27 46 90]
;  #710 (293, 9e+01%) [0 8 13 32 46 87]
;  #711 (293, 9e+01%) [4 8 13 27 46 64 79]
;  #712 (293, 9e+01%) [4 8 13 27 32 46]
;  #713 (293, 9e+01%) [4 32]
;  #714 (292, 9e+01%) [4 8 38 53 110 133]
;  #715 (292, 9e+01%) [4 35 38 82 117]
;  #716 (291, 9e+01%) [8 53]
;  #717 (289, 9e+01%) [4 24 31 32 33 42 48]
;  #718 (288, 9e+01%) [188 194 195]
;  #719 (288, 9e+01%) [82 123 136]
;  #720 (288, 9e+01%) [53 82 89 117]
;  #721 (288, 9e+01%) [4 24 42 124]
;  #722 (286, 9e+01%) [4 13 38 82 143]
;  #723 (286, 9e+01%) [0 4 46 145]
;  #724 (284, 9e+01%) [4 13 33 110]
;  #725 (284, 9e+01%) [8 13 32 46 49 54 87]
;  #726 (284, 9e+01%) [13 81]
;  #727 (284, 9e+01%) [9 13 117]
;  #728 (283, 9e+01%) [81 190 195]
;  #729 (283, 9e+01%) [81 190 202]
;  #730 (283, 9e+01%) [42 83]
;  #731 (283, 9e+01%) [38 81 193]
;  #732 (282, 9e+01%) [3 32]
;  #733 (280, 9e+01%) [4 8 33 36]
;  #734 (280, 9e+01%) [53 123]
;  #735 (279, 9e+01%) [4 48]
;  #736 (278, 9e+01%) [38 81 154]
;  #737 (277, 9e+01%) [53 122]
;  #738 (276, 9e+01%) [4 38 266]
;  #739 (276, 9e+01%) [35 81 132]
;  #740 (276, 9e+01%) [13 24 42]
;  #741 (274, 9e+01%) [4 13 38 123]
;  #742 (274, 9e+01%) [10 83 93]
;  #743 (273, 9e+01%) [53 136 155]
;  #744 (273, 9e+01%) [53 124 155]
;  #745 (272, 9e+01%) [4 9 13 53]
;  #746 (272, 9e+01%) [8 13 32 45 48 64]
;  #747 (272, 9e+01%) [13 20 126]
;  #748 (272, 9e+01%) [13 24 42 166]
;  #749 (268, 9e+01%) [4 17 24 42 53 83]
;  #750 (265, 9e+01%) [4 13 24 33 42 53 81 124]
;  #751 (265, 9e+01%) [37 110]
;  #752 (265, 9e+01%) [4 19]
;  #753 (263, 9e+01%) [53 89 92 93]
;  #754 (261, 9e+01%) [81 189 190]
;  #755 (261, 9e+01%) [0 15 16]
;  #756 (260, 9e+01%) [4 53 82 83 117]
;  #757 (260, 9e+01%) [53 82 117 124]
;  #758 (260, 9e+01%) [36 53 82 117 124]
;  #759 (260, 9e+01%) [4 33 53 82 117 124]
;  #760 (260, 9e+01%) [13 20 53 124]
;  #761 (259, 9e+01%) [4 42 53 83]
;  #762 (258, 9e+01%) [82 83 117 123 136 143]
;  #763 (257, 9e+01%) [4 33 42 57 80]
;  #764 (256, 9e+01%) [4 13 42 83]
;  #765 (255, 9e+01%) [81 189 190 194 195]
;  #766 (255, 9e+01%) [4 53 122]
;  #767 (255, 9e+01%) [38 81 154 192 193]
;  #768 (255, 9e+01%) [4 36 80 82 118]
;  #769 (255, 9e+01%) [3 27 53]
;  #770 (253, 9e+01%) [3 5 7 32]
;  #771 (253, 9e+01%) [78]
;  #772 (252, 9e+01%) [3 4 5 7 8 53]
;  #773 (252, 9e+01%) [10 93]
;  #774 (252, 9e+01%) [9 14 53 74 124]
;  #775 (250, 9e+01%) [4 92 93 95 119 157]
;  #776 (249, 9e+01%) [8 13 32 45 46 47 49 54 59 80 83 87 91]
;  #777 (248, 9e+01%) [8 13 32 46 48 49 64 87]
;  #778 (248, 9e+01%) [4 31 32 38 81 133 187 192 193]
;  #779 (248, 9e+01%) [13 19 42]
;  #780 (246, 9e+01%) [53 136]
;  #781 (246, 9e+01%) [53 89 92 93 95 156]
;  #782 (246, 9e+01%) [4 42 124 160]
;  #783 (244, 9e+01%) [8 45 49 51 61 64 73 74 77 80 91]
;  #784 (244, 9e+01%) [0 9 17]
;  #785 (243, 9e+01%) [4 172]
;  #786 (243, 9e+01%) [53 89 92 95]
;  #787 (243, 9e+01%) [53 89 92]
;  #788 (242, 9e+01%) [4 92 95 156 157]
;  #789 (242, 9e+01%) [37 53 117]
;  #790 (241, 9e+01%) [53 93 95]
;  #791 (241, 9e+01%) [4 45 48]
;  #792 (240, 9e+01%) [4 13 42 53 83]
;  #793 (240, 9e+01%) [4 8 53 110]
;  #794 (240, 9e+01%) [8 13 32 46 49 64 80 83 91 127]
;  #795 (240, 9e+01%) [4 7]
;  #796 (240, 9e+01%) [0 4 45 46 47 54 59]
;  #797 (239, 9e+01%) [8 32 53]
;  #798 (239, 9e+01%) [89 93]
;  #799 (238, 9e+01%) [4 8 13 27 28]
;  #800 (236, 9e+01%) [182 212]
;  #801 (236, 9e+01%) [4 92]
;  #802 (236, 9e+01%) [4 53 82 83 117 136]
;  #803 (236, 9e+01%) [4 38 89 93 119 148]
;  #804 (236, 9e+01%) [0 9 53]
;  #805 (235, 9e+01%) [53 89 93 95 119 148 155]
;  #806 (235, 9e+01%) [53 83 89 93 95 119 148 155]
;  #807 (234, 9e+01%) [4 8 118 153]
;  #808 (234, 9e+01%) [44 45 60]
;  #809 (234, 9e+01%) [4 33 110 111]
;  #810 (234, 9e+01%) [13 36]
;  #811 (233, 9e+01%) [0 4 172]
;  #812 (232, 9e+01%) [82 89 117]
;  #813 (232, 9e+01%) [4 42 132]
;  #814 (231, 9e+01%) [4 82 83 117 123 136 143]
;  #815 (230, 9e+01%) [4 13 36 42 132]
;  #816 (230, 9e+01%) [8 13 64 83]
;  #817 (230, 9e+01%) [8 13 46 48 49 64]
;  #818 (230, 9e+01%) [89 93 95]
;  #819 (230, 9e+01%) [82 83 117 136 143]
;  #820 (230, 9e+01%) [3 4 10 13 46 48]
;  #821 (228, 9e+01%) [3 8 27 32 53]
;  #822 (228, 9e+01%) [8 25 27 39 53]
;  #823 (228, 9e+01%) [8 25 32 53 81]
;  #824 (228, 9e+01%) [3 5 6 7 12]
;  #825 (228, 9e+01%) [8 13 27 28 31 32 50 53]
;  #826 (228, 9e+01%) [4 95 266]
;  #827 (228, 9e+01%) [0 8 13 31 32 53]
;  #828 (228, 9e+01%) [4 8 13 27 28 31 32 53]
;  #829 (228, 9e+01%) [4 8 13 27 28 53]
;  #830 (228, 9e+01%) [4 8 13 24 27 28 32 53]
;  #831 (228, 9e+01%) [9 14 74 126]
;  #832 (228, 9e+01%) [3 4 5 7 24]
;  #833 (227, 9e+01%) [4 42 117]
;  #834 (227, 9e+01%) [3 4 13 45 64]
;  #835 (227, 9e+01%) [4 27 45 82 83]
;  #836 (226, 9e+01%) [4 53 110]
;  #837 (226, 9e+01%) [4 46 145]
;  #838 (224, 9e+01%) [8 32 50 53]
;  #839 (224, 9e+01%) [82 83 117 136 173]
;  #840 (224, 9e+01%) [24 83 124]
;  #841 (223, 9e+01%) [4 57 117 124]
;  #842 (222, 9e+01%) [53 89 92 93 119 156 157]
;  #843 (222, 9e+01%) [53 82 117]
;  #844 (222, 9e+01%) [13 49]
;  #845 (221, 9e+01%) [3 4 27 53]
;  #846 (220, 9e+01%) [89 93 95 119 148]
;  #847 (220, 9e+01%) [83 89 93 95 119 148]
;  #848 (220, 9e+01%) [4 42 53 80]
;  #849 (220, 9e+01%) [3 23]
;  #850 (219, 9e+01%) [3 5 53]
;  #851 (218, 9e+01%) [117 123 136 143]
;  #852 (218, 9e+01%) [24 42 80 82 83]
;  #853 (216, 9e+01%) [8 13 27 64 145]
;  #854 (216, 9e+01%) [4 81 210 211]
;  #855 (216, 9e+01%) [42 81]
;  #856 (216, 9e+01%) [4 36 38]
;  #857 (216, 9e+01%) [4 35 42 81 82 117]
;  #858 (216, 9e+01%) [26 33]
;  #859 (215, 9e+01%) [0 4 58]
;  #860 (215, 9e+01%) [24 42 53]
;  #861 (214, 9e+01%) [4 24 82 83 89]
;  #862 (214, 9e+01%) [4 24 53 82 83]
;  #863 (213, 9e+01%) [3 8 53]
;  #864 (213, 9e+01%) [8 32 53 146]
;  #865 (212, 9e+01%) [4 13 20 110]
;  #866 (212, 9e+01%) [13 82 117]
;  #867 (211, 9e+01%) [4 82 169]
;  #868 (211, 9e+01%) [27 53]
;  #869 (211, 9e+01%) [4 27 46 47 48 54 55 59 110 264]
;  #870 (210, 9e+01%) [8 13 45 46 47 54 59 64]
;  #871 (210, 9e+01%) [8 13 45 46 47 54 59 132]
;  #872 (210, 9e+01%) [8 13 32 46 49 64 80 83 87 91]
;  #873 (210, 9e+01%) [4 8 42 46 81 82]
;  #874 (210, 9e+01%) [4 8 39 42 46 82]
;  #875 (210, 9e+01%) [4 8 32 42 46]
;  #876 (210, 9e+01%) [4 8 32 42 46 49 50 64]
;  #877 (210, 9e+01%) [4 8 13 45 46 47 54 59 64 132]
;  #878 (210, 9e+01%) [3 4 10 13 45 46 47 54 59 83]
;  #879 (209, 9e+01%) [4 13 45 132]
;  #880 (209, 9e+01%) [8 13 50 132]
;  #881 (209, 9e+01%) [3 4 27 45 132]
;  #882 (209, 9e+01%) [4 8 13 27 132]
;  #883 (209, 9e+01%) [3 4 13 132]
;  #884 (209, 9e+01%) [3 4 13 47 50]
;  #885 (209, 9e+01%) [3 4 13 45 64 132]
;  #886 (209, 9e+01%) [24 33 42 53 82]
;  #887 (208, 9e+01%) [8 13 132]
;  #888 (208, 9e+01%) [8 13 45 46 47 59 64]
;  #889 (208, 9e+01%) [8 13 45 46 47 59 132]
;  #890 (208, 9e+01%) [8 13 32 45 48 49 61 80 83 91 152]
;  #891 (208, 9e+01%) [4 8 13 45 46 47 59 64 132]
;  #892 (208, 9e+01%) [4 45 46 47 59]
;  #893 (208, 9e+01%) [3 4 10 13 45 46 47 59 83]
;  #894 (208, 9e+01%) [3 4 8 27 28 31 32 64]
;  #895 (208, 9e+01%) [3 4 8]
;  #896 (206, 9e+01%) [4 13 24 53 83 132]
;  #897 (206, 9e+01%) [53 117]
;  #898 (205, 9e+01%) [4 18 33 82 83]
;  #899 (204, 9e+01%) [4 81]
;  #900 (204, 9e+01%) [9 13 53 117 124 169]
;  #901 (203, 9e+01%) [13 111]
;  #902 (202, 9e+01%) [4 33 37 42 53 86]
;  #903 (202, 9e+01%) [18 53]
;  #904 (202, 9e+01%) [3 4 8 53 82]
;  #905 (202, 9e+01%) [3 4 8 13 80]
;  #906 (202, 9e+01%) [3 4 8 13 31 32 53 80]
;  #907 (202, 9e+01%) [0 3 8 13 31 32 53 80]
;  #908 (201, 9e+01%) [0 172]
;  #909 (200, 9e+01%) [4 92 93 95 119 136 155 156]
;  #910 (200, 9e+01%) [35 53 117 124 167]
;  #911 (199, 9e+01%) [53 89 93 119 148 155]
;  #912 (199, 9e+01%) [53 83 89 93 119 148 155]
;  #913 (199, 9e+01%) [3 83]
;  #914 (199, 9e+01%) [9 13 53 57]
;  #915 (198, 9e+01%) [3 5 7 32 53]
;  #916 (198, 9e+01%) [0 8 13 31 32 53 80]
;  #917 (198, 9e+01%) [4 42 117 132]
;  #918 (198, 9e+01%) [9 57 123 126]
;  #919 (196, 9e+01%) [82 83 117 136 163 164 173]
;  #920 (196, 9e+01%) [42 80 82]
;  #921 (196, 9e+01%) [35 53 117]
;  #922 (195, 9e+01%) [0 4 36 82 128]
;  #923 (193, 9e+01%) [42 75]
;  #924 (193, 9e+01%) [4 8 13 27 28 53 80]
;  #925 (193, 9e+01%) [4 8 13 27 28 80]
;  #926 (193, 9e+01%) [4 8 13 27 28 31 32 53 80]
;  #927 (193, 9e+01%) [4 8 13 24 27 28 32 53 80]
;  #928 (192, 9e+01%) [4 9 13 53 110]
;  #929 (192, 9e+01%) [43 44 45 60]
;  #930 (192, 9e+01%) [4 5 110 111]
;  #931 (192, 9e+01%) [32 42]
;  #932 (192, 9e+01%) [4 31 32 38 81 133 193]
;  #933 (190, 9e+01%) [3 5 7 8 13 53 83]
;  #934 (190, 9e+01%) [53 82 89]
;  #935 (190, 9e+01%) [4 31 32 38 81 133 154 192 193]
;  #936 (189, 9e+01%) [4 8 32 42 53 81 84]
;  #937 (189, 9e+01%) [8 13 27 28 31 32 50 53 80]
;  #938 (189, 9e+01%) [4 8 27 39 42 53 84]
;  #939 (189, 9e+01%) [42 53 82 83]
;  #940 (189, 9e+01%) [3 4 8 27 32 53]
;  #941 (188, 9e+01%) [4 37 42 83 110]
;  #942 (188, 9e+01%) [9 17 110]
;  #943 (187, 9e+01%) [95 124]
;  #944 (187, 9e+01%) [83 95 136]
;  #945 (187, 9e+01%) [4 37 42 53 110]
;  #946 (186, 9e+01%) [4 13 33 82]
;  #947 (186, 9e+01%) [49 122]
;  #948 (185, 9e+01%) [4 13 45]
;  #949 (185, 9e+01%) [0 58 172]
;  #950 (185, 9e+01%) [4 8 32 53 85]
;  #951 (185, 9e+01%) [4 8 32 42 50 53]
;  #952 (185, 9e+01%) [4 8 32 42 53]
;  #953 (185, 9e+01%) [4 42 80 84]
;  #954 (184, 9e+01%) [35 38 117 124]
;  #955 (184, 9e+01%) [8 51 73 74 77 80 91]
;  #956 (183, 9e+01%) [4 39]
;  #957 (183, 9e+01%) [4 36 42 82]
;  #958 (183, 9e+01%) [0 4 48 58]
;  #959 (182, 9e+01%) [4 89]
;  #960 (182, 9e+01%) [4 53 82 169]
;  #961 (180, 9e+01%) [4 9 13]
;  #962 (180, 9e+01%) [4 9]
;  #963 (180, 9e+01%) [4 81 127]
;  #964 (180, 9e+01%) [53 89 92 93 95]
;  #965 (180, 9e+01%) [20 126 161]
;  #966 (180, 9e+01%) [14]
;  #967 (180, 9e+01%) [0 9 13 53 117 124 169]
;  #968 (180, 9e+01%) [4 24 83 117]
;  #969 (180, 9e+01%) [4 24 37 42 83 132]
;  #970 (180, 9e+01%) [4 17 24 42 83 124]
;  #971 (179, 9e+01%) [8 27]
;  #972 (178, 9e+01%) [0 124 158]
;  #973 (178, 9e+01%) [4 8 36 84]
;  #974 (178, 9e+01%) [4 93 95 119]
;  #975 (178, 9e+01%) [4 31 32 38 81 133 154]
;  #976 (177, 9e+01%) [92 93 95 124 156]
;  #977 (177, 9e+01%) [83 92 93 95 136 156]
;  #978 (177, 9e+01%) [13 57 123 126]
;  #979 (177, 9e+01%) [9 57 144]
;  #980 (176, 9e+01%) [53 95 124 168]
;  #981 (175, 9e+01%) [3 9 10 11]
;  #982 (174, 9e+01%) [4 93 95]
;  #983 (174, 9e+01%) [4 17 42 80 82]
;  #984 (172, 9e+01%) [4 13 24 42 53 83 117]
;  #985 (170, 9e+01%) [4 24 42 53 124]
;  #986 (170, 9e+01%) [4 17 24 42 83 117 124]
;  #987 (169, 9e+01%) [45 48 152]
;  #988 (169, 9e+01%) [0 4 48 172]
;  #989 (168, 9e+01%) [8 13 32 45 48 49 64 87]
;  #990 (168, 9e+01%) [8 13 27 45 48 64]
;  #991 (168, 9e+01%) [4 32 81 87]
;  #992 (168, 9e+01%) [3 4 10 13 82]
;  #993 (167, 9e+01%) [93 117 148]
;  #994 (167, 9e+01%) [4 53 110 111]
;  #995 (166, 9e+01%) [8 13 32 46 49 64 87 145]
;  #996 (166, 9e+01%) [4 82 83 117 136]
;  #997 (166, 9e+01%) [4 36 93 148]
;  #998 (166, 9e+01%) [13 117]
;  #999 (165, 9e+01%) [4 13 18 37 57 82 117]
;  #1000 (165, 9e+01%) [4 8 45 46 47 54 59]
;  #1001 (165, 9e+01%) [4 48 172]
;  #1002 (165, 9e+01%) [4 18 37 57 82 117]
;  #1003 (164, 9e+01%) [4 13 17 24 42 83 117]
;  #1004 (164, 9e+01%) [4 36 89 93]
;  #1005 (164, 9e+01%) [0 3 53]
;  #1006 (163, 9e+01%) [8 13]
;  #1007 (163, 9e+01%) [89 93 156]
;  #1008 (163, 9e+01%) [89 93 95 156]
;  #1009 (163, 9e+01%) [0 20 53]
;  #1010 (162, 9e+01%) [252]
;  #1011 (160, 9e+01%) [5 111]
;  #1012 (160, 9e+01%) [5 6]
;  #1013 (160, 9e+01%) [89 93 95 119]
;  #1014 (160, 9e+01%) [80 182]
;  #1015 (160, 9e+01%) [4 7 53]
;  #1016 (160, 9e+01%) [0 4 36 117 128]
;  #1017 (160, 9e+01%) [0 4 36 42 117 128]
;  #1018 (159, 9e+01%) [38 193]
;  #1019 (159, 9e+01%) [13 20 126 161]
;  #1020 (159, 9e+01%) [9 13 123]
;  #1021 (158, 9e+01%) [53 89 93 95 119]
;  #1022 (158, 9e+01%) [53 89 92 93 95 119 156 157]
;  #1023 (158, 9e+01%) [4 37 42 124]
;  #1024 (158, 9e+01%) [31 81 211]
;  #1025 (158, 9e+01%) [4 24 111]
;  #1026 (157, 9e+01%) [45 64]
;  #1027 (157, 9e+01%) [19 33]
;  #1028 (156, 9e+01%) [4 13 24 42 83 117 136]
;  #1029 (156, 9e+01%) [82 169]
;  #1030 (156, 9e+01%) [4 35 81]
;  #1031 (155, 9e+01%) [42 53 83]
;  #1032 (154, 9e+01%) [4 92 93 95 119 136 156]
;  #1033 (154, 9e+01%) [45 72]
;  #1034 (154, 9e+01%) [4 42 53 110]
;  #1035 (154, 9e+01%) [4 5 111 112]
;  #1036 (153, 9e+01%) [4 13 18 33 82]
;  #1037 (153, 9e+01%) [124 252]
;  #1038 (153, 9e+01%) [4 5 53]
;  #1039 (153, 9e+01%) [8 51 64 73 74 77 80 91]
;  #1040 (152, 9e+01%) [4 8 13 27 79]
;  #1041 (152, 9e+01%) [4 38 42 82 117 136 143]
;  #1042 (152, 9e+01%) [4 7 110]
;  #1043 (152, 9e+01%) [4 7 8]
;  #1044 (152, 9e+01%) [0 4 117]
;  #1045 (152, 9e+01%) [24 53 83 132]
;  #1046 (152, 9e+01%) [13 57 144]
;  #1047 (152, 9e+01%) [4 17 24 42 53 83 124]
;  #1048 (151, 9e+01%) [4 42 110]
;  #1049 (151, 9e+01%) [33 124 153]
;  #1050 (150, 9e+01%) [3 5 7 13]
;  #1051 (150, 9e+01%) [80 124 182]
;  #1052 (150, 9e+01%) [4 8 13 27 32]
;  #1053 (149, 9e+01%) [4 13 18 33 82 83]
;  #1054 (149, 9e+01%) [8 13 32 46 48 80 83 91]
;  #1055 (149, 9e+01%) [8 13 32 46 48 87]
;  #1056 (149, 9e+01%) [0 8 13 32 46 48 87]
;  #1057 (149, 9e+01%) [3 4 27 46 48 90]
;  #1058 (149, 9e+01%) [3 4 10 13 50]
;  #1059 (149, 9e+01%) [13 42 117 132]
;  #1060 (148, 9e+01%) [89 93 156 157]
;  #1061 (148, 9e+01%) [89 93 95 156 157]
;  #1062 (148, 9e+01%) [4 35 53 81]
;  #1063 (148, 9e+01%) [4 35 38 53]
;  #1064 (148, 9e+01%) [4 35 38 53 82]
;  #1065 (148, 9e+01%) [24 42 53 83 132]
;  #1066 (148, 9e+01%) [4 5 6 7]
;  #1067 (148, 9e+01%) [19 117]
;  #1068 (146, 9e+01%) [4 13 24 33 42 81 124]
;  #1069 (146, 9e+01%) [4 92 95]
;  #1070 (146, 9e+01%) [4 37 42 83 110 117]
;  #1071 (146, 9e+01%) [4 5 112]
;  #1072 (146, 9e+01%) [9 123 162]
;  #1073 (145, 9e+01%) [24 33 42 53]
;  #1074 (144, 9e+01%) [4 13 38 42 133 235]
;  #1075 (144, 9e+01%) [3 5 19]
;  #1076 (144, 9e+01%) [82 123]
;  #1077 (144, 9e+01%) [53 57 123 143]
;  #1078 (144, 9e+01%) [4 5 7 53]
;  #1079 (144, 9e+01%) [4 33 53 82 83]
;  #1080 (144, 9e+01%) [4 32 38 110 133 235]
;  #1081 (144, 9e+01%) [4 32 38 110 133 235 237]
;  #1082 (144, 9e+01%) [9 53 110]
;  #1083 (143, 9e+01%) [53 93 168 180]
;  #1084 (143, 9e+01%) [4 13 80 169]
;  #1085 (142, 9e+01%) [8 13 32 46 91]
;  #1086 (142, 9e+01%) [8 13 32 46 54 64 87]
;  #1087 (142, 9e+01%) [8 13 32 46 54 87]
;  #1088 (142, 9e+01%) [8 13 32 46 54 64 87 91]
;  #1089 (142, 9e+01%) [8 13 32 46 49 54 64 91]
;  #1090 (142, 9e+01%) [4 36 117]
;  #1091 (142, 9e+01%) [3 4 10 13 46 54 82]
;  #1092 (142, 9e+01%) [3 45 64]
;  #1093 (142, 9e+01%) [4 24 37 42 83 117 132]
;  #1094 (141, 9e+01%) [4 24 36 42]
;  #1095 (141, 9e+01%) [3 11]
;  #1096 (140, 9e+01%) [3 5 6 7 12 53]
;  #1097 (140, 9e+01%) [82 117 123 136 163 164 173]
;  #1098 (140, 9e+01%) [35 38 82 117]
;  #1099 (140, 9e+01%) [9 14 74 126 159]
;  #1100 (140, 9e+01%) [3 4 5 32]
;  #1101 (139, 9e+01%) [32 187 192 193]
;  #1102 (139, 9e+01%) [3 24]
;  #1103 (138, 9e+01%) [83 126]
;  #1104 (138, 9e+01%) [4 37 42 117 124]
;  #1105 (138, 9e+01%) [4 24 42 136]
;  #1106 (138, 9e+01%) [4 24 37 42 83 117]
;  #1107 (137, 9e+01%) [125]
;  #1108 (137, 9e+01%) [3 4 35]
;  #1109 (137, 9e+01%) [53 158]
;  #1110 (137, 9e+01%) [53 93 95 119]
;  #1111 (137, 9e+01%) [9 13 17 124]
;  #1112 (137, 9e+01%) [4 20 124]
;  #1113 (136, 9e+01%) [4 95 156 157]
;  #1114 (136, 9e+01%) [53 93 119]
;  #1115 (136, 9e+01%) [0 44 45 48]
;  #1116 (136, 9e+01%) [43 44 45 48]
;  #1117 (136, 9e+01%) [4 8 13 27 32 45 48 64]
;  #1118 (136, 9e+01%) [4 32 38 81 133 189 190 202 221]
;  #1119 (135, 9e+01%) [57 123 126]
;  #1120 (135, 9e+01%) [13 53 126 161]
;  #1121 (134, 9e+01%) [0 3 5 7 8 53]
;  #1122 (134, 9e+01%) [4 33 42 110]
;  #1123 (134, 9e+01%) [4 33 37 42 124]
;  #1124 (133, 9e+01%) [4 13 24 33 42 81 123]
;  #1125 (133, 9e+01%) [4 110 112]
;  #1126 (132, 9e+01%) [4 8 53 83]
;  #1127 (132, 9e+01%) [4 8 33 110]
;  #1128 (132, 9e+01%) [124 158]
;  #1129 (132, 9e+01%) [93 119]
;  #1130 (132, 9e+01%) [4 118]
;  #1131 (132, 9e+01%) [82 123 143]
;  #1132 (132, 9e+01%) [4 35 38 82]
;  #1133 (132, 9e+01%) [4 35 38]
;  #1134 (132, 9e+01%) [24 53]
;  #1135 (132, 9e+01%) [4 33 35 81 117]
;  #1136 (132, 1e+02%) [4 31 32 38 81 133 134]
;  #1137 (132, 1e+02%) [3 4 8 27 28 31 32 51 64 79 87]
;  #1138 (132, 1e+02%) [4 24 33 42 132]
;  #1139 (131, 1e+02%) [4 13 24]
;  #1140 (131, 1e+02%) [37 124 153]
;  #1141 (130, 1e+02%) [13 32 53 80 83 91]
;  #1142 (130, 1e+02%) [3 14 53 74]
;  #1143 (129, 1e+02%) [4 13 33 53 82 110]
;  #1144 (129, 1e+02%) [65 69]
;  #1145 (129, 1e+02%) [4 13 124]
;  #1146 (128, 1e+02%) [53 117 132]
;  #1147 (128, 1e+02%) [42 93 148]
;  #1148 (128, 1e+02%) [42 53 117]
;  #1149 (128, 1e+02%) [24 80 83]
;  #1150 (128, 1e+02%) [13 42 117 124 132]
;  #1151 (128, 1e+02%) [10 33 42 53 82 83]
;  #1152 (127, 1e+02%) [4 8 13 64]
;  #1153 (127, 1e+02%) [42 59]
;  #1154 (127, 1e+02%) [4 36 93 94]
;  #1155 (126, 1e+02%) [8 13 32 45 46 47 54 59 64 87]
;  #1156 (126, 1e+02%) [8 13 32 45 46 47 49 54 59 64]
;  #1157 (126, 1e+02%) [86 153]
;  #1158 (126, 1e+02%) [4 89 93 95 119]
;  #1159 (126, 1e+02%) [53 126 161]
;  #1160 (126, 1e+02%) [53 132]
;  #1161 (126, 1e+02%) [4 32 38 110 190 195]
;  #1162 (126, 1e+02%) [4 32 38 110 190 202]
;  #1163 (126, 1e+02%) [4 24 36 42 82]
;  #1164 (125, 1e+02%) [92 93 95 119 157]
;  #1165 (125, 1e+02%) [83 92 93 95 119 157]
;  #1166 (124, 1e+02%) [0 4 36]
;  #1167 (124, 1e+02%) [8 45 49 51 61 73 74 77 80 91]
;  #1168 (124, 1e+02%) [4 13 42 53 83 110 117]
;  #1169 (124, 1e+02%) [8 38 133 134]
;  #1170 (124, 1e+02%) [0 122]
;  #1171 (124, 1e+02%) [8 13 32 46 48 64 87]
;  #1172 (124, 1e+02%) [8 13 32 46 48 49 64 80 83 87 91]
;  #1173 (124, 1e+02%) [4 8 37 42 46 48 81 82]
;  #1174 (124, 1e+02%) [4 8 37 39 42 46 82 104]
;  #1175 (124, 1e+02%) [4 8 32 42 46 48 49 50 64]
;  #1176 (124, 1e+02%) [4 8 32 42 46 48]
;  #1177 (124, 1e+02%) [4 8 32 37 46 48 49 85 96 147]
;  #1178 (124, 1e+02%) [53 57 144]
;  #1179 (124, 1e+02%) [4 8 13 27 46 64 79 104]
;  #1180 (124, 1e+02%) [4 42 53 92 93 94 119 148 184]
;  #1181 (124, 1e+02%) [43]
;  #1182 (124, 1e+02%) [4 8 13 27 32 46 48]
;  #1183 (124, 1e+02%) [13 83]
;  #1184 (124, 1e+02%) [0 4 36 42]
;  #1185 (123, 1e+02%) [4 24 132]
;  #1186 (122, 1e+02%) [57 123 143]
;  #1187 (122, 1e+02%) [45 47 59]
;  #1188 (122, 1e+02%) [35 81 124]
;  #1189 (122, 1e+02%) [3 35]
;  #1190 (121, 1e+02%) [92 95 156 157]
;  #1191 (121, 1e+02%) [4 92 156 157]
;  #1192 (121, 1e+02%) [83 92 95 156 157]
;  #1193 (120, 1e+02%) [4 13 20 53 124]
;  #1194 (120, 1e+02%) [0 170]
;  #1195 (120, 1e+02%) [4 13 19 24 53 83]
;  #1196 (120, 1e+02%) [8 13 32 65 67 71 103]
;  #1197 (120, 1e+02%) [8 13 32 46 49 65 66 67 87 145 178]
;  #1198 (120, 1e+02%) [8 13 32 45 46 54 59 80 83 87 91]
;  #1199 (120, 1e+02%) [8 13 27 45 46 47 54 59 64 79]
;  #1200 (120, 1e+02%) [4 8 24 39 45 46 47 59 83]
;  #1201 (120, 1e+02%) [4 8 24 39 45 46 47 54 59 83]
;  #1202 (120, 1e+02%) [4 81 211]
;  #1203 (120, 1e+02%) [4 81 127 211]
;  #1204 (120, 1e+02%) [33 110 117]
;  #1205 (120, 1e+02%) [4 5 110]
;  #1206 (120, 1e+02%) [32 188 194 195]
;  #1207 (120, 1e+02%) [3 50]
;  #1208 (120, 1e+02%) [3 4 10 13 45 46 47 54 59 82]
;  #1209 (119, 1e+02%) [4 13 42 117 132]
;  #1210 (119, 1e+02%) [53 89 93 95 119 148]
;  #1211 (119, 1e+02%) [53 83 89 93 95 119 148]
;  #1212 (118, 1e+02%) [0 4 58 172]
;  #1213 (118, 1e+02%) [0 4 48 58 172]
;  #1214 (118, 1e+02%) [13 53 123]
;  #1215 (117, 1e+02%) [0 4 13 24 36 42 53 83 128]
;  #1216 (117, 1e+02%) [83 117]
;  #1217 (117, 1e+02%) [53 89 92 93 180]
;  #1218 (117, 1e+02%) [24]
;  #1219 (117, 1e+02%) [4 32 81]
;  #1220 (117, 1e+02%) [14 53]
;  #1221 (117, 1e+02%) [4 24 42 57 80 117 132]
;  #1222 (116, 1e+02%) [4 13 24 53 83 124]
;  #1223 (116, 1e+02%) [4 53 111]
;  #1224 (116, 1e+02%) [53 92 93 94 95 119 148 184]
;  #1225 (116, 1e+02%) [19 22]
;  #1226 (116, 1e+02%) [9 53 126 159 161]
;  #1227 (116, 1e+02%) [9 53 123]
;  #1228 (116, 1e+02%) [4 19 37 42]
;  #1229 (115, 1e+02%) [8 13 83]
;  #1230 (115, 1e+02%) [8 13 46 48 83]
;  #1231 (115, 1e+02%) [8 13 46 83]
;  #1232 (115, 1e+02%) [8 13 50]
;  #1233 (115, 1e+02%) [8 13 46 48 64]
;  #1234 (115, 1e+02%) [8 13 46 48 49 64 83]
;  #1235 (115, 1e+02%) [8 13 46]
;  #1236 (115, 1e+02%) [8 13 46 48]
;  #1237 (115, 1e+02%) [4 8 37 46 48 49]
;  #1238 (115, 1e+02%) [0 53 122]
;  #1239 (115, 1e+02%) [0 8 13 46 48]
;  #1240 (115, 1e+02%) [3 4 27 46 48]
;  #1241 (115, 1e+02%) [4 8 13 46 48]
;  #1242 (115, 1e+02%) [4 8 13 46 64 104]
;  #1243 (115, 1e+02%) [37 117]
;  #1244 (115, 1e+02%) [4 27 46 82]
;  #1245 (114, 1e+02%) [4 13 42 83 110 117 124]
;  #1246 (114, 1e+02%) [4 13 24 42 83 117 124 132]
;  #1247 (114, 1e+02%) [8 13 32 46 64 80 83 91]
;  #1248 (114, 1e+02%) [3 4 83]
;  #1249 (114, 1e+02%) [95 266]
;  #1250 (114, 1e+02%) [83 95 266]
;  #1251 (114, 1e+02%) [53 92 93 119 155 184]
;  #1252 (114, 1e+02%) [53 92 93 95 119 155 184]
;  #1253 (114, 1e+02%) [53 83 92 93 119 155 184]
;  #1254 (114, 1e+02%) [53 83 92 93 95 119 155 184]
;  #1255 (114, 1e+02%) [38 81 133 154 210 211 214]
;  #1256 (114, 1e+02%) [32 190 202 203]
;  #1257 (114, 1e+02%) [13 20 53 57]
;  #1258 (114, 1e+02%) [4 24 31 32 33 42 45 48 152]
;  #1259 (112, 1e+02%) [89 93 119]
;  #1260 (112, 1e+02%) [89 93 119 148]
;  #1261 (112, 1e+02%) [83 89 93 119 148]
;  #1262 (112, 1e+02%) [4 42 89 93 119 148]
;  #1263 (112, 1e+02%) [42 82 86]
;  #1264 (112, 1e+02%) [4 35 117]
;  #1265 (112, 1e+02%) [22]
;  #1266 (112, 1e+02%) [4 27 45 47 51 79 82 83]
;  #1267 (112, 1e+02%) [4 24 42 83 117 123 136 143]
;  #1268 (112, 1e+02%) [9 13 117 124 169]
;  #1269 (111, 1e+02%) [8 27 32 53]
;  #1270 (111, 1e+02%) [8 13 45 46 47 54 59]
;  #1271 (111, 1e+02%) [144]
;  #1272 (111, 1e+02%) [93 95 119]
;  #1273 (110, 1e+02%) [86 124]
;  #1274 (110, 1e+02%) [4 38 42 82 117 123 136 173]
;  #1275 (109, 1e+02%) [8 45]
;  #1276 (109, 1e+02%) [3 45 46 47 64]
;  #1277 (108, 1e+02%) [4 13 45 48]
;  #1278 (108, 1e+02%) [8 13 32 46 49 80 83 91 183]
;  #1279 (108, 1e+02%) [8 13 27 145]
;  #1280 (108, 1e+02%) [8 13 27 32 50 145]
;  #1281 (108, 1e+02%) [182]
;  #1282 (108, 1e+02%) [5 13]
;  #1283 (108, 1e+02%) [53 136 168]
;  #1284 (108, 1e+02%) [4 8 13 27 151]
;  #1285 (108, 1e+02%) [4 24 42 83 124 132]
;  #1286 (108, 1e+02%) [4 24 42 83 117 124 132]
;  #1287 (107, 1e+02%) [0 158]
;  #1288 (107, 1e+02%) [3 4 24]
;  #1289 (106, 1e+02%) [92 93 94 95 119 148 184]
;  #1290 (106, 1e+02%) [53 89 92 93 95 180]
;  #1291 (106, 1e+02%) [53 82 136]
;  #1292 (106, 1e+02%) [52 64]
;  #1293 (106, 1e+02%) [52]
;  #1294 (106, 1e+02%) [35 53 81 117]
;  #1295 (106, 1e+02%) [3 40]
;  #1296 (106, 1e+02%) [9 123 126]
;  #1297 (106, 1e+02%) [4 24 42 57 117 132]
;  #1298 (105, 1e+02%) [4 13 45 46 47 54 59 132]
;  #1299 (105, 1e+02%) [8 13 101 132]
;  #1300 (105, 1e+02%) [8 13 54 101 132]
;  #1301 (105, 1e+02%) [4 8 24 45 46 47 49 54 59]
;  #1302 (105, 1e+02%) [4 8 13 45 46 47 54 59 132]
;  #1303 (105, 1e+02%) [33 117 124]
;  #1304 (105, 1e+02%) [3 4 13 45 46 47 54 59 132]
;  #1305 (104, 1e+02%) [4 13 45 46 47 59 132]
;  #1306 (104, 1e+02%) [8 13 45 46 47 59]
;  #1307 (104, 1e+02%) [4 8 45 46 47 59]
;  #1308 (104, 1e+02%) [8 13 32 45 48 49 64 87 152]
;  #1309 (104, 1e+02%) [8 13 27 45 64]
;  #1310 (104, 1e+02%) [4 8 24 45 46 47 49 59]
;  #1311 (104, 1e+02%) [0 8 13 45 132]
;  #1312 (104, 1e+02%) [4 8 13 45 46 47 59 132]
;  #1313 (104, 1e+02%) [4 45 48 152]
;  #1314 (104, 1e+02%) [4 7 53 110]
;  #1315 (104, 1e+02%) [33 42 53 86]
;  #1316 (104, 1e+02%) [3 4 13 45 46 47 59 132]
;  #1317 (104, 1e+02%) [0 4 45 48 152]
;  #1318 (104, 1e+02%) [0 4 45]
;  #1319 (103, 1e+02%) [53 93 95 168 180]
;  #1320 (102, 1e+02%) [4 13 33 53 82 83]
;  #1321 (102, 1e+02%) [3 5 35]
;  #1322 (102, 1e+02%) [8 13 32 53 91]
;  #1323 (102, 1e+02%) [5 111 112]
;  #1324 (102, 1e+02%) [53 83 93 95]
;  #1325 (102, 1e+02%) [38 190 193 202]
;  #1326 (102, 1e+02%) [9 117]
;  #1327 (102, 1e+02%) [9 13 53 117]
;  #1328 (102, 1e+02%) [9 13 17 53 117]
;  #1329 (101, 1e+02%) [122]
;  #1330 (101, 1e+02%) [89]
;  #1331 (101, 1e+02%) [27 32 53]
;  #1332 (101, 1e+02%) [10 53 83 93]
;  #1333 (100, 1e+02%) [3 4 5 6 7 12]
;  #1334 (100, 1e+02%) [4 13 20 110 117]
;  #1335 (100, 1e+02%) [8 13 32 46 48 49 80 83 91 127]
;  #1336 (100, 1e+02%) [170 172]
;  #1337 (100, 1e+02%) [92 93 95 119 124 155 156]
;  #1338 (100, 1e+02%) [4 111 112]
;  #1339 (100, 1e+02%) [83 92 93 95 119 136 155 156]
;  #1340 (100, 1e+02%) [4 89 93 119 148]
;  #1341 (100, 1e+02%) [4 8 13 53 83]
;  #1342 (100, 1e+02%) [0 4 8 13 53]
;  #1343 (100, 1e+02%) [35 53 81 117 124 167]
;  #1344 (100, 1e+02%) [35 53 81 82 117 124 167]
;  #1345 (100, 1e+02%) [33 111]
;  #1346 (100, 1e+02%) [4 5 7 8 53]
;  #1347 (100, 1e+02%) [3 45 46 47]
;  #1348 (100, 1e+02%) [9 83]
;  #1349 (100, 1e+02%) [9 17 110 117]
;  #1350 (99, 1e+02%) [3 4 27 28 45 47 48 51 90]
;  #1351 (99, 1e+02%) [0 5]
;  #1352 (98, 1e+02%) [4 10 13 33 82]
;  #1353 (98, 1e+02%) [0 4 13 17 24 36 42 53 83 128]
;  #1354 (98, 1e+02%) [4 38 89 92 93 119 156 157]
;  #1355 (98, 1e+02%) [38 82]
;  #1356 (98, 1e+02%) [35 53 81 82 117]
;  #1357 (98, 1e+02%) [4 33 35 81]
;  #1358 (98, 1e+02%) [13 110]
;  #1359 (98, 1e+02%) [4 17 24 42 124]
;  #1360 (97, 1e+02%) [96]
;  #1361 (97, 1e+02%) [3 4 13 45 48]
;  #1362 (96, 1e+02%) [8 45 48 49 51 61 73 74 77 80 91]
;  #1363 (96, 1e+02%) [3 4 5 7 8 33]
;  #1364 (96, 1e+02%) [4 8 45 48]
;  #1365 (96, 1e+02%) [82 126 136]
;  #1366 (96, 1e+02%) [4 5 7 8 89]
;  #1367 (96, 1e+02%) [17 24 37 83 124]
;  #1368 (95, 1e+02%) [0 45 48 152]
;  #1369 (95, 1e+02%) [45 46 47]
;  #1370 (95, 1e+02%) [3 4 13 45 46 47]
;  #1371 (94, 1e+02%) [3 5 7 8 13]
;  #1372 (94, 1e+02%) [5 6 7]
;  #1373 (94, 1e+02%) [10 53 93]
;  #1374 (94, 1e+02%) [3 19 39]
;  #1375 (93, 1e+02%) [0 82]
;  #1376 (93, 1e+02%) [53 92]
;  #1377 (92, 1e+02%) [0 53 82]
;  #1378 (92, 1e+02%) [266]
;  #1379 (92, 1e+02%) [83 266]
;  #1380 (92, 1e+02%) [4 82 117 136 143]
;  #1381 (92, 1e+02%) [4 42 266]
;  #1382 (92, 1e+02%) [0 20]
;  #1383 (92, 1e+02%) [35 81 117 124]
;  #1384 (92, 1e+02%) [35 81 82 117 124]
;  #1385 (92, 1e+02%) [3 48 83]
;  #1386 (92, 1e+02%) [4 18 33 82]
;  #1387 (91, 1e+02%) [42 53 75]
;  #1388 (91, 1e+02%) [36 82 117]
;  #1389 (91, 1e+02%) [13 32 53]
;  #1390 (90, 1e+02%) [3 4 5 7 8 33 53]
;  #1391 (90, 1e+02%) [0 65 66 67]
;  #1392 (90, 1e+02%) [3 5 7 8 14 53 74 83]
;  #1393 (90, 1e+02%) [3 5 7 8 13 24 53 83]
;  #1394 (90, 1e+02%) [0 4 13 24 36 42 83 128]
;  #1395 (90, 1e+02%) [189 190 194 195]
;  #1396 (90, 1e+02%) [154 192 193]
;  #1397 (90, 1e+02%) [4 8 24 39 42 45 46 47 54 59 83]
;  #1398 (90, 1e+02%) [81 127 190 210 211 214]
;  #1399 (90, 1e+02%) [4 53 93 95 148]
;  #1400 (90, 1e+02%) [4 38 89 92 93]
;  #1401 (90, 1e+02%) [38 81 127 210 211 214]
;  #1402 (90, 1e+02%) [4 5 6 111]
;  #1403 (90, 1e+02%) [0 9 13 53 117]
;  #1404 (90, 1e+02%) [0 9 13 17 53 117]
;  #1405 (90, 1e+02%) [83 124]
;  #1406 (90, 1e+02%) [4 24 33 42 53 132]
;  #1407 (90, 1e+02%) [4 13 110]
;  #1408 (89, 1e+02%) [4 93]
;  #1409 (89, 1e+02%) [4 82 117]
;  #1410 (89, 1e+02%) [3 19 23]
;  #1411 (88, 1e+02%) [4 13 53 82]
;  #1412 (88, 1e+02%) [8 45 51 64 73 74 77 80 91]
;  #1413 (88, 1e+02%) [0 4 33 35 81]
;  #1414 (88, 1e+02%) [4 8 32 38 84 133]
;  #1415 (88, 1e+02%) [4 8 24 39 42 45 46 47 59 83]
;  #1416 (88, 1e+02%) [0 45 61]
;  #1417 (88, 1e+02%) [4 8 24 31 32 33 42 45 48 50]
;  #1418 (88, 1e+02%) [0 44 45 61]
;  #1419 (88, 1e+02%) [45 46 47 59]
;  #1420 (88, 1e+02%) [43 44 45 61]
;  #1421 (88, 1e+02%) [4 38 89 92 93 119 157]
;  #1422 (88, 1e+02%) [4 37 53 117 124]
;  #1423 (88, 1e+02%) [0 9 53 169]
;  #1424 (88, 1e+02%) [17 42 82]
;  #1425 (88, 1e+02%) [4 24 31 32 33 42 45 48 61]
;  #1426 (87, 1e+02%) [3 5 7 8 13 24 53]
;  #1427 (87, 1e+02%) [83 93 95 119]
;  #1428 (87, 1e+02%) [51 64]
;  #1429 (87, 1e+02%) [3 45]
;  #1430 (87, 1e+02%) [9 13 53 123]
;  #1431 (87, 1e+02%) [3 4 5 7 19]
;  #1432 (86, 1e+02%) [8 45 48 52 64]
;  #1433 (86, 1e+02%) [8 45 48 51 64]
;  #1434 (86, 1e+02%) [4 13 33 82 110]
;  #1435 (86, 1e+02%) [110 117]
;  #1436 (86, 1e+02%) [4 18 33 53 82 83]
;  #1437 (85, 1e+02%) [4 53 147]
;  #1438 (85, 1e+02%) [4 36 38 118]
;  #1439 (85, 1e+02%) [20 123]
;  #1440 (84, 1e+02%) [0 4 33 35 53 81]
;  #1441 (84, 1e+02%) [4 9 13 110]
;  #1442 (84, 1e+02%) [8 13 32 64 87]
;  #1443 (84, 1e+02%) [8 13 32 45 48 80 83 91]
;  #1444 (84, 1e+02%) [8 13 32 45 48 64 80 83 91]
;  #1445 (84, 1e+02%) [8 13 32 45 48 49 64 80 83 87 91]
;  #1446 (84, 1e+02%) [8 13 32 45 47 87]
;  #1447 (84, 1e+02%) [4 8 37 42 48 81 82]
;  #1448 (84, 1e+02%) [4 8 37 39 42 82 104]
;  #1449 (84, 1e+02%) [8 13 32 45 46 47 87]
;  #1450 (84, 1e+02%) [8 13 32 45 46 48 61 64 80 83 91]
;  #1451 (84, 1e+02%) [8 13 32 45 46 47 80 83 87 91]
;  #1452 (84, 1e+02%) [0 53 82 117]
;  #1453 (84, 1e+02%) [4 8 32 42 48]
;  #1454 (84, 1e+02%) [4 8 32 42 48 49 50 64]
;  #1455 (84, 1e+02%) [8 13 27 45 48]
;  #1456 (84, 1e+02%) [4 8 32 37 49 85 96 147]
;  #1457 (84, 1e+02%) [0 4 13 17 24 36 42 83 128]
;  #1458 (84, 1e+02%) [0 8 13 32 45 47 87]
;  #1459 (84, 1e+02%) [3 4 27 45 47 48 90]
;  #1460 (84, 1e+02%) [4 8 13 27 64 79]
;  #1461 (84, 1e+02%) [4 42 80 83]
;  #1462 (84, 1e+02%) [4 36 95]
;  #1463 (84, 1e+02%) [0 13 53 117]
;  #1464 (84, 1e+02%) [27]
;  #1465 (84, 1e+02%) [4 32 38 110 189 190 194 195]
;  #1466 (84, 1e+02%) [4 27 45 47 79]
;  #1467 (84, 1e+02%) [9 110]
;  #1468 (84, 1e+02%) [9 13 17 117]
;  #1469 (83, 1e+02%) [8 13 32 46 49 64 80 83 87 91 145]
;  #1470 (83, 1e+02%) [4 8 42 46 81 82 149]
;  #1471 (83, 1e+02%) [4 8 39 42 46 82 150]
;  #1472 (83, 1e+02%) [4 8 32 42 46 86]
;  #1473 (83, 1e+02%) [4 8 32 42 46 49 50 64 86]
;  #1474 (82, 1e+02%) [112 122]
;  #1475 (82, 1e+02%) [45 46 47 64]
;  #1476 (82, 1e+02%) [24 33 53]
;  #1477 (82, 1e+02%) [18 33 42 82 83]
;  #1478 (82, 1e+02%) [4 24 33 83]
;  #1479 (82, 1e+02%) [4 17 42 53 80 82]
;  #1480 (81, 1e+02%) [8 45 46 47 51 64 87]
;  #1481 (80, 1e+02%) [4 13 33 110 117]
;  #1482 (80, 1e+02%) [8 13 27 32 91]
;  #1483 (80, 1e+02%) [83 93 95]
;  #1484 (80, 1e+02%) [4 89 93 95 119 191]
;  #1485 (80, 1e+02%) [82 83 117 136 137 138 139 140 141 142]
;  #1486 (80, 1e+02%) [81 190 202 210 211 214]
;  #1487 (80, 1e+02%) [53 85]
;  #1488 (80, 1e+02%) [0 35 117]
;  #1489 (80, 1e+02%) [38 81 210 211 214]
;  #1490 (80, 1e+02%) [3 4 13 87]
;  #1491 (80, 1e+02%) [4 33 110 117]
;  #1492 (80, 1e+02%) [27 38 133 134]
;  #1493 (80, 1e+02%) [0 9 53 83]
;  #1494 (80, 1e+02%) [4 32 38 42 133]
;  #1495 (80, 1e+02%) [9 117 124 169]
;  #1496 (80, 1e+02%) [8 76]
;  #1497 (79, 1e+02%) [8 45 46 47 51 64 73 74 77 80 87 91]
;  #1498 (79, 1e+02%) [4 13 20 124]
;  #1499 (79, 1e+02%) [39]
;  #1500 (79, 1e+02%) [8 49 51 73 74 77 80 91]
;  #1501 (79, 1e+02%) [8 45 64 76]
;  #1502 (78, 1e+02%) [4 13 17 24 42 83 124]
;  #1503 (78, 1e+02%) [4 89 93 119 191]
;  #1504 (78, 1e+02%) [53 92 93 95 119 157]
;  #1505 (78, 1e+02%) [53 83 92 93 95 119 157]
;  #1506 (78, 1e+02%) [43 44 60]
;  #1507 (78, 1e+02%) [38 82 143]
;  #1508 (78, 1e+02%) [4 5 110 112 113]
;  #1509 (78, 1e+02%) [9 13 126 159]
;  #1510 (78, 1e+02%) [9 13 126 161]
;  #1511 (77, 1e+02%) [83 92 93 95 119 136 156]
;  #1512 (77, 1e+02%) [4 13 24 42 117]
;  #1513 (77, 1e+02%) [92 93 95 119 124 156]
;  #1514 (77, 1e+02%) [0 4 5 7 8]
;  #1515 (77, 1e+02%) [33 110 117 124]
;  #1516 (77, 1e+02%) [9 17 124]
;  #1517 (76, 1e+02%) [8 45 47 48 49 61 73 77 80 87 91]
;  #1518 (76, 1e+02%) [4 13 24 42 53 83 117 132]
;  #1519 (76, 1e+02%) [4 13 17 24 42 53 83 124]
;  #1520 (76, 1e+02%) [4 82 111]
;  #1521 (76, 1e+02%) [72]
;  #1522 (76, 1e+02%) [53 155 180]
;  #1523 (76, 1e+02%) [53 95 155 180]
;  #1524 (76, 1e+02%) [0 44 45 48 152]
;  #1525 (76, 1e+02%) [4 42 166]
;  #1526 (76, 1e+02%) [44 45 48 60]
;  #1527 (76, 1e+02%) [43 44 45 48 152]
;  #1528 (76, 1e+02%) [3 64]
;  #1529 (76, 1e+02%) [4 31 32 38 81 221]
;  #1530 (76, 1e+02%) [4 28]
;  #1531 (76, 1e+02%) [9 80 117 124 169]
;  #1532 (75, 1e+02%) [4 13 53 110]
;  #1533 (75, 1e+02%) [8 45 47 51 87]
;  #1534 (75, 1e+02%) [8 45 46 47 51 73 74 77 80 87 91]
;  #1535 (75, 1e+02%) [3 5 7 13 32]
;  #1536 (75, 1e+02%) [0 65 69]
;  #1537 (75, 1e+02%) [33 42 136]
;  #1538 (75, 1e+02%) [4 36 82 117 128]
;  #1539 (75, 1e+02%) [4 27 46]
;  #1540 (74, 1e+02%) [8 33]
;  #1541 (74, 1e+02%) [4 13 24 33 83]
;  #1542 (74, 1e+02%) [4 10 13 33 53 82]
;  #1543 (74, 1e+02%) [0 64]
;  #1544 (74, 1e+02%) [4 8 33 35 81]
;  #1545 (74, 1e+02%) [4 110 117]
;  #1546 (74, 1e+02%) [4 82 117 123 136 173]
;  #1547 (74, 1e+02%) [42 132]
;  #1548 (74, 1e+02%) [0 4 8]
;  #1549 (74, 1e+02%) [4 8 13 24 80 83 169]
;  #1550 (74, 1e+02%) [9 17 53 124]
;  #1551 (74, 1e+02%) [8 53 75]
;  #1552 (73, 1e+02%) [0 8 45 47 51 87]
;  #1553 (73, 1e+02%) [4 10 92]
;  #1554 (73, 1e+02%) [0 45 47]
;  #1555 (73, 1e+02%) [92 117]
;  #1556 (73, 1e+02%) [92 95]
;  #1557 (73, 1e+02%) [92]
;  #1558 (73, 1e+02%) [82 117 136 219 220]
;  #1559 (73, 1e+02%) [3 4 32]
;  #1560 (73, 1e+02%) [3 4 27 28 45 47 48 51 64 90]
;  #1561 (73, 1e+02%) [4 27 45 47 51 64 79 82 83]
;  #1562 (73, 1e+02%) [83 92 95]
;  #1563 (72, 1e+02%) [8 45 47 49 61 73 77 80 87 91]
;  #1564 (72, 1e+02%) [0 53 124 158]
;  #1565 (72, 1e+02%) [8 13 32 45 46]
;  #1566 (72, 1e+02%) [123 136]
;  #1567 (72, 1e+02%) [0 45 65 66 67 77]
;  #1568 (72, 1e+02%) [4 81 91]
;  #1569 (72, 1e+02%) [53 123 126]
;  #1570 (72, 1e+02%) [4 42 83 110 124]
;  #1571 (72, 1e+02%) [43 44 45 47 59]
;  #1572 (72, 1e+02%) [0 16]
;  #1573 (72, 1e+02%) [4 37 42 83 110 124]
;  #1574 (72, 1e+02%) [4 36 92]
;  #1575 (72, 1e+02%) [4 33 82 124]
;  #1576 (72, 1e+02%) [4 32 38 110 133 190 202]
;  #1577 (72, 1e+02%) [4 32 38 110 133 190 195 202]
;  #1578 (72, 1e+02%) [0 45 46 47 64 77]
;  #1579 (72, 1e+02%) [4 31 32 38 81 133 235]
;  #1580 (72, 1e+02%) [13 36 53 82]
;  #1581 (72, 1e+02%) [13 36 53 82 117]
;  #1582 (72, 1e+02%) [4 24 124]
;  #1583 (72, 1e+02%) [4 24 37 42 83 124 132]
;  #1584 (72, 1e+02%) [4 24 36 80 83 118]
;  #1585 (72, 1e+02%) [9 14 74 123]
;  #1586 (72, 1e+02%) [9 13 126 159 161]
;  #1587 (72, 1e+02%) [9 13 17 110]
;  #1588 (72, 1e+02%) [4 24 31 32 33 42]
;  #1589 (72, 1e+02%) [4 20 110]
;  #1590 (71, 1e+02%) [4 13 46 54]
;  #1591 (71, 1e+02%) [8 13 32 91 101]
;  #1592 (71, 1e+02%) [4 8 46 54]
;  #1593 (71, 1e+02%) [8 13 32 46 54 101]
;  #1594 (71, 1e+02%) [8 13 32 46 54 64 91]
;  #1595 (71, 1e+02%) [8 13 32 46 49 54 64]
;  #1596 (71, 1e+02%) [8 13 27 46 54 64 79]
;  #1597 (71, 1e+02%) [8 13 27 46 54 79]
;  #1598 (71, 1e+02%) [8 13 27 32 46 54 64 79]
;  #1599 (71, 1e+02%) [4 8 31 42 46 54 81 82 91 167]
;  #1600 (71, 1e+02%) [4 8 28 39 42 46 54 82 90]
;  #1601 (71, 1e+02%) [4 8 24 31 32 33 46 49 54 91]
;  #1602 (71, 1e+02%) [4 8 24 31 32 33 42 46 54 87]
;  #1603 (71, 1e+02%) [4 8 24 31 32 33 42 46 49 54 64 87]
;  #1604 (71, 1e+02%) [53 92 95 156 157]
;  #1605 (71, 1e+02%) [53 83 92 95 156 157]
;  #1606 (71, 1e+02%) [3 4 27 28 46]
;  #1607 (71, 1e+02%) [4 8 13 27 46 54 64 90]
;  #1608 (71, 1e+02%) [45 46 47 54]
;  #1609 (71, 1e+02%) [4 8 13 27 32 46 54 79 90 91]
;  #1610 (71, 1e+02%) [4 8 13 27 32 46 54 64 79 87 91]
;  #1611 (71, 1e+02%) [3 4 13 46 54]
;  #1612 (71, 1e+02%) [4 24 33 42]
;  #1613 (71, 1e+02%) [4 19 42]
;  #1614 (70, 1e+02%) [53 200]
;  #1615 (70, 1e+02%) [53 111]
;  #1616 (70, 1e+02%) [4 53 57 117 124]
;  #1617 (70, 1e+02%) [53 89 92 93 119]
;  #1618 (70, 1e+02%) [4 38 89 92 93 156]
;  #1619 (70, 1e+02%) [26 32 42]
;  #1620 (70, 1e+02%) [4 32 33 47 48]
;  #1621 (70, 1e+02%) [3 4 8 33]
;  #1622 (70, 1e+02%) [4 24 42 53 57 117 132]
;  #1623 (70, 1e+02%) [4 24 31 32 33 42 45 48]
;  #1624 (70, 1e+02%) [4 13 80 110 117]
;  #1625 (69, 1e+02%) [4 8 110 118]
;  #1626 (69, 1e+02%) [89 92 93]
;  #1627 (69, 1e+02%) [13 123 126]
;  #1628 (69, 1e+02%) [9 53 144]
;  #1629 (69, 1e+02%) [89 92 93 95]
;  #1630 (68, 1e+02%) [0 82 117]
;  #1631 (68, 1e+02%) [4 10]
;  #1632 (68, 1e+02%) [7 111]
;  #1633 (68, 1e+02%) [95 156 157]
;  #1634 (68, 1e+02%) [83 95 156 157]
;  #1635 (68, 1e+02%) [81 132 185]
;  #1636 (68, 1e+02%) [57 123 126 144]
;  #1637 (68, 1e+02%) [51]
;  #1638 (68, 1e+02%) [33 53 110]
;  #1639 (68, 1e+02%) [33 36]
;  #1640 (68, 1e+02%) [32 189 190 194 195 202]
;  #1641 (68, 1e+02%) [4 36 42 117]
;  #1642 (68, 1e+02%) [0 13 117]
;  #1643 (68, 1e+02%) [32 38 261 262]
;  #1644 (68, 1e+02%) [32 38 189 190]
;  #1645 (68, 1e+02%) [32 38 133 154 221]
;  #1646 (68, 1e+02%) [32 38 133 154 190 202 203 221]
;  #1647 (68, 1e+02%) [3 53 83]
;  #1648 (68, 1e+02%) [4 32 38 110 133 189 190 202 221]
;  #1649 (68, 1e+02%) [4 32 38 81 127 133 190 202 221]
;  #1650 (68, 1e+02%) [0 4 45 47 48 59]
;  #1651 (68, 1e+02%) [4 24 42 117]
;  #1652 (68, 1e+02%) [8 51 65 67 68 71 103]
;  #1653 (68, 1e+02%) [8 51 53 73 74 77 80 91]
;  #1654 (67, 1e+02%) [33 117 153]
;  #1655 (67, 1e+02%) [19 37]
;  #1656 (67, 1e+02%) [3 45 48]
;  #1657 (67, 1e+02%) [13 20 123]
;  #1658 (67, 1e+02%) [9 126 143]
;  #1659 (67, 1e+02%) [9 57 123 126 144 163 164]
;  #1660 (67, 1e+02%) [9 13 57 123 143]
;  #1661 (67, 1e+02%) [4 18 24 83]
;  #1662 (66, 1e+02%) [0 63 65 66 69 70 179]
;  #1663 (66, 1e+02%) [8 13 32 45 46 47 54 59 64 80 83 87 91]
;  #1664 (66, 1e+02%) [5 7 8 13 53]
;  #1665 (66, 1e+02%) [4 112 122]
;  #1666 (66, 1e+02%) [86 117 124]
;  #1667 (66, 1e+02%) [42 46 59 83]
;  #1668 (66, 1e+02%) [42 46 59]
;  #1669 (66, 1e+02%) [24 31 32]
;  #1670 (66, 1e+02%) [4 32 38 81 133]
;  #1671 (66, 1e+02%) [4 17 42 53 80 82 83]
;  #1672 (65, 1e+02%) [8 45 47 51 64 87]
;  #1673 (65, 1e+02%) [0 8 45 47 51 64 87]
;  #1674 (65, 1e+02%) [8 45 46 48 51 61 64 73 74 77 80 91]
;  #1675 (65, 1e+02%) [4 13 18 33 53 82]
;  #1676 (65, 1e+02%) [4 8 24 83]
;  #1677 (65, 1e+02%) [4 8 24 31 32 33 45 49 64]
;  #1678 (65, 1e+02%) [0 45 46 47 59]
;  #1679 (65, 1e+02%) [4 8 13 31 42 45 48 64 81 83]
;  #1680 (65, 1e+02%) [4 8 13 28 39 42 45 64 83 104]
;  #1681 (65, 1e+02%) [45 47]
;  #1682 (65, 1e+02%) [4 32 33]
;  #1683 (64, 1e+02%) [4 13 38 42 133]
;  #1684 (64, 1e+02%) [4 13 24 42 83 117 124]
;  #1685 (64, 1e+02%) [3 5 13 53]
;  #1686 (64, 1e+02%) [4 13 24 33 53]
;  #1687 (64, 1e+02%) [4 8 80 82 118]
;  #1688 (64, 1e+02%) [4 8 24 80 82 83 118]
;  #1689 (64, 1e+02%) [126 162]
;  #1690 (64, 1e+02%) [4 89 93 119]
;  #1691 (64, 1e+02%) [53 92 93 95 180]
;  #1692 (64, 1e+02%) [53 83 92 93 95 180]
;  #1693 (64, 1e+02%) [4 42 82 117 136 143]
;  #1694 (64, 1e+02%) [42 93 181]
;  #1695 (64, 1e+02%) [4 38 42 82 117]
;  #1696 (64, 1e+02%) [33 136]
;  #1697 (64, 1e+02%) [24 42 83]
;  #1698 (64, 1e+02%) [19 153]
;  #1699 (64, 1e+02%) [0 9 53 80 169]
;  #1700 (64, 1e+02%) [13 53 144]
;  #1701 (64, 1e+02%) [13 24 42 117 124]
;  #1702 (64, 1e+02%) [4 24 83 117 132]
;  #1703 (64, 1e+02%) [4 24 33 53]
;  #1704 (63, 1e+02%) [8 45 51 73 74 77 80 91]
;  #1705 (63, 1e+02%) [4 13 45 46 47 54 59]
;  #1706 (63, 1e+02%) [8 13 32 101]
;  #1707 (63, 1e+02%) [8 13 32 45 46 54 80 83 91 101]
;  #1708 (63, 1e+02%) [8 13 32 45 46 47 49 54 59 64 80 83 91]
;  #1709 (63, 1e+02%) [83 89 93 95 119]
;  #1710 (63, 1e+02%) [0 45 47 48]
;  #1711 (63, 1e+02%) [4 81 210 213]
;  #1712 (63, 1e+02%) [57 117]
;  #1713 (63, 1e+02%) [0 8 13 32 45 46]
;  #1714 (63, 1e+02%) [53 83 93 95 119]
;  #1715 (63, 1e+02%) [3 4 27 28 45 46 90]
;  #1716 (63, 1e+02%) [32 189 190]
;  #1717 (63, 1e+02%) [4 27 45 46]
;  #1718 (63, 1e+02%) [9 14 57]
;  #1719 (63, 1e+02%) [3 4 5 7 24 32]
;  #1720 (62, 1e+02%) [8 45 49 61 64]
;  #1721 (62, 1e+02%) [123 162]
;  #1722 (62, 1e+02%) [89 92 93 119 156 157]
;  #1723 (62, 1e+02%) [82 117 126 136]
;  #1724 (62, 1e+02%) [4 82 83 117 123 126 136 159 173]
;  #1725 (62, 1e+02%) [53 95 124 168 180]
;  #1726 (62, 1e+02%) [45 46 48 145]
;  #1727 (62, 1e+02%) [0 16 124 158]
;  #1728 (62, 1e+02%) [33 42 82 86]
;  #1729 (62, 1e+02%) [3 45 65 66 67]
;  #1730 (62, 1e+02%) [4 24 42 53 57 132]
;  #1731 (62, 1e+02%) [9 14 57 124]
;  #1732 (62, 1e+02%) [4 24 33 35 42 81 123]
;  #1733 (62, 1e+02%) [9 13 53 57 144]
;  #1734 (62, 1e+02%) [0 3 4 53]
;  #1735 (61, 1e+02%) [8 45 47 73 77 80 87 91]
;  #1736 (61, 1e+02%) [3 33]
;  #1737 (61, 1e+02%) [89 92 93 156]
;  #1738 (60, 1e+02%) [3 5 7 53 83]
;  #1739 (60, 1e+02%) [4 13 20 53 110 117]
;  #1740 (60, 1e+02%) [4 13 19 24 42 83]
;  #1741 (60, 1e+02%) [4 13 18 33 53 82 83]
;  #1742 (60, 1e+02%) [4 9 13 110 117]
;  #1743 (60, 1e+02%) [8 13 32 65 70 80 83 91 178]
;  #1744 (60, 1e+02%) [8 13 32 46 65 66 67 71 87 177]
;  #1745 (60, 1e+02%) [8 13 32 46 64 80 83 87 91]
;  #1746 (60, 1e+02%) [4 8 46 48 49 50 64]
;  #1747 (60, 1e+02%) [4 8 46 48]
;  #1748 (60, 1e+02%) [8 13 32 46 49 65 66 67 80 83 87 91 145 178]
;  #1749 (60, 1e+02%) [4 8 42 46 64 81 82 177]
;  #1750 (60, 1e+02%) [4 8 39 42 46 64 82 177]
;  #1751 (60, 1e+02%) [4 8 37 39 46 104]
;  #1752 (60, 1e+02%) [4 8 37 39 46 48]
;  #1753 (60, 1e+02%) [8 13 32 45 46 54 59 64 80 83 87 91]
;  #1754 (60, 1e+02%) [8 13 32 45 46 47 54 59 64 177]
;  #1755 (60, 1e+02%) [4 8 32 46 49 64 85 96 147 177]
;  #1756 (60, 1e+02%) [4 8 32 42 46 177]
;  #1757 (60, 1e+02%) [4 8 32 42 46 49 50 68 177]
;  #1758 (60, 1e+02%) [8 13 27 65]
;  #1759 (60, 1e+02%) [8 13 27 45 46 47 54 59 79]
;  #1760 (60, 1e+02%) [8 13 27 32 47 50 87]
;  #1761 (60, 1e+02%) [8 13 27 32 50 64]
;  #1762 (60, 1e+02%) [4 8 31 42 45 46 47 54 59 81 82 177]
;  #1763 (60, 1e+02%) [4 8 28 39 42 45 46 47 54 59 82 177]
;  #1764 (60, 1e+02%) [4 8 24 45 46 47 54 59]
;  #1765 (60, 1e+02%) [4 8 24 45 46 47 59]
;  #1766 (60, 1e+02%) [4 8 24 45 46 47 49 50 54 59 64]
;  #1767 (60, 1e+02%) [4 8 24 45 46 47 49 50 59 64]
;  #1768 (60, 1e+02%) [4 8 24 31 32 45 46 47 49 54 59 85 96 147 177]
;  #1769 (60, 1e+02%) [4 8 24 31 32 42 45 46 47 54 59 87 177]
;  #1770 (60, 1e+02%) [4 82 163 173]
;  #1771 (60, 1e+02%) [4 82 163 164 173]
;  #1772 (60, 1e+02%) [4 82 123 163 164 173]
;  #1773 (60, 1e+02%) [4 82 123 163 173]
;  #1774 (60, 1e+02%) [4 82 123 173]
;  #1775 (60, 1e+02%) [82 117 123 136 173]
;  #1776 (60, 1e+02%) [0 8 13 32 46 64 87]
;  #1777 (60, 1e+02%) [3 4 27 46 64 90]
;  #1778 (60, 1e+02%) [4 65 69 70 179]
;  #1779 (60, 1e+02%) [4 53 82 83 169]
;  #1780 (60, 1e+02%) [53 92 95 274]
;  #1781 (60, 1e+02%) [4 46 64 145]
;  #1782 (60, 1e+02%) [53 89 92 93 119 157]
;  #1783 (60, 1e+02%) [4 8 13 27 46 65 66 67 71 79 177]
;  #1784 (60, 1e+02%) [4 42 82 117 123 136 173]
;  #1785 (60, 1e+02%) [4 8 13 27 45 46 47 54 59 64 177]
;  #1786 (60, 1e+02%) [43 44 45 48 60]
;  #1787 (60, 1e+02%) [4 8 13 27 32 46 64 177]
;  #1788 (60, 1e+02%) [4 8 13 27 32 45 46 47 54 59 64 79 87]
;  #1789 (60, 1e+02%) [4 8 13 27 32 45 46 47 54 59 79 177]
;  #1790 (60, 1e+02%) [36 37]
;  #1791 (60, 1e+02%) [3 4 13 47 50 87]
;  #1792 (60, 1e+02%) [3 4 13 46 64]
;  #1793 (60, 1e+02%) [4 8 24 31 32 42 45 46 47 49 50 54 59 64 87 177]
;  #1794 (60, 1e+02%) [24 36 42 53 82 168]
;  #1795 (60, 1e+02%) [3 4 13 45 46 47 54 59]
;  #1796 (60, 1e+02%) [13 53 83]
;  #1797 (60, 1e+02%) [4 27 46 64 79]
;  #1798 (60, 1e+02%) [13 20 124]
;  #1799 (60, 1e+02%) [3 4 8 27 32 65 67 71 79 87]
;  #1800 (60, 1e+02%) [0 9 13 117 124 169]
;  #1801 (60, 1e+02%) [10 42 82 86]
;  #1802 (60, 1e+02%) [10 42 83 93]
;  #1803 (60, 1e+02%) [9 110 117]
;  #1804 (60, 1e+02%) [9 17 53 110 117]
;  #1805 (60, 1e+02%) [9 13 123 162]
;  #1806 (60, 1e+02%) [4 17 24 42 123 136]
;  #1807 (59, 1e+02%) [8 45 46 47 51 87]
;  #1808 (59, 1e+02%) [0 4 32 33 47 48]
;  #1809 (59, 1e+02%) [33 86 124]
;  #1810 (59, 1e+02%) [3 4 8 27 28 31 32 51 65 67 70 71 79 87]
;  #1811 (58, 1e+02%) [4 53 92 93 94 95 119 148 184]
;  #1812 (58, 1e+02%) [45 65 66 67]
;  #1813 (58, 1e+02%) [0 15 16 124 158]
;  #1814 (58, 1e+02%) [4 5 82]
;  #1815 (58, 1e+02%) [4 35 82 117]
;  #1816 (58, 1e+02%) [4 5 6 110 111]
;  #1817 (58, 1e+02%) [0 9 169]
;  #1818 (58, 1e+02%) [14 75]
;  #1819 (58, 1e+02%) [9 53 126 161]
;  #1820 (58, 1e+02%) [8 64]
;  #1821 (58, 1e+02%) [4 17 42 80 82 83]
;  #1822 (58, 1e+02%) [3 4 5 7 32]
;  #1823 (57, 1e+02%) [3 9 11]
;  #1824 (57, 1e+02%) [3 5 9 10 13]
;  #1825 (57, 1e+02%) [126 143]
;  #1826 (57, 1e+02%) [110 112]
;  #1827 (57, 1e+02%) [82 117 123 136 137]
;  #1828 (57, 1e+02%) [53 92 93 180]
;  #1829 (57, 1e+02%) [53 89 93 119 148]
;  #1830 (57, 1e+02%) [53 83 89 93 119 148]
;  #1831 (57, 1e+02%) [37 53 124]
;  #1832 (57, 1e+02%) [32 38 154]
;  #1833 (57, 1e+02%) [0 9]
;  #1834 (56, 1e+02%) [3 5 6 7 12 13]
;  #1835 (56, 1e+02%) [82 117 123 136 163 173]
;  #1836 (56, 1e+02%) [4 82 83 117 123 136 173]
;  #1837 (56, 1e+02%) [81 190 195 210 211 214]
;  #1838 (56, 1e+02%) [81 127 190 194 195 210 211 214]
;  #1839 (56, 1e+02%) [38 81 193 210 211 214]
;  #1840 (56, 1e+02%) [38 81 127 192 193 210 211 214]
;  #1841 (56, 1e+02%) [4 37 42 124 153]
;  #1842 (56, 1e+02%) [3 4 19 35]
;  #1843 (56, 1e+02%) [4 131]
;  #1844 (56, 1e+02%) [13 57 126 143]
;  #1845 (56, 1e+02%) [3 47 50 87]
;  #1846 (56, 1e+02%) [3 4 10 13 45 48 82 152]
;  #1847 (56, 1e+02%) [4 24 33 35 42 53 81]
;  #1848 (56, 1e+02%) [3 19 35]
;  #1849 (56, 1e+02%) [8 51 65 67 71 103]
;  #1850 (55, 1e+02%) [4 8 42 46 48 49 50 64]
;  #1851 (55, 1e+02%) [4 8 42 46 48]
;  #1852 (55, 1e+02%) [4 8 37 39 42 46 104]
;  #1853 (55, 1e+02%) [4 8 37 39 42 46 48]
;  #1854 (55, 1e+02%) [4 53 93 148]
;  #1855 (55, 1e+02%) [13 57 123 126 144]
;  #1856 (55, 1e+02%) [9 144]
;  #1857 (54, 1e+02%) [4 13 24 83 117]
;  #1858 (54, 1e+02%) [3 4 5 6 7 12 53]
;  #1859 (54, 1e+02%) [8 13 32 46 64]
;  #1860 (54, 1e+02%) [0 63 65 66 69 70]
;  #1861 (54, 1e+02%) [8 13 32 46 49 64 87 183]
;  #1862 (54, 1e+02%) [8 13 27 46 64]
;  #1863 (54, 1e+02%) [3 4 82]
;  #1864 (54, 1e+02%) [4 53 92 274]
;  #1865 (54, 1e+02%) [82 123 126 136 159 161 173]
;  #1866 (54, 1e+02%) [4 89 92 93]
;  #1867 (54, 1e+02%) [81 127 190 210 211]
;  #1868 (54, 1e+02%) [4 81 210 211 213 214]
;  #1869 (54, 1e+02%) [4 46 183]
;  #1870 (54, 1e+02%) [38 221]
;  #1871 (54, 1e+02%) [0 44 45 47 59]
;  #1872 (54, 1e+02%) [4 42 89 92 93]
;  #1873 (54, 1e+02%) [38 193 221]
;  #1874 (54, 1e+02%) [38 81 127 210 211]
;  #1875 (54, 1e+02%) [37 110 117]
;  #1876 (54, 1e+02%) [4 38 42 82 117 123 126 136 173]
;  #1877 (54, 1e+02%) [3 53 57]
;  #1878 (54, 1e+02%) [0 4 46 183]
;  #1879 (54, 1e+02%) [3 4 10 13 46 82 183]
;  #1880 (54, 1e+02%) [9 17 117]
;  #1881 (53, 1e+02%) [8 45 51 65 66 67 71 87]
;  #1882 (53, 1e+02%) [3 5 37]
;  #1883 (53, 1e+02%) [53 92 93 95 119 184]
;  #1884 (53, 1e+02%) [53 89 92 93 95 119]
;  #1885 (53, 1e+02%) [4 42 111]
;  #1886 (53, 1e+02%) [33 53 86]
;  #1887 (53, 1e+02%) [3 4 13 45]
;  #1888 (53, 1e+02%) [9 57 123 126 144]
;  #1889 (52, 1e+02%) [8 45 46 47 49 59 73 77 80 87 91]
;  #1890 (52, 1e+02%) [8 32 45 48 51 61 73 74 77 80 152]
;  #1891 (52, 1e+02%) [4 8 45]
;  #1892 (52, 1e+02%) [8 13 32 45 64 80 83 91]
;  #1893 (52, 1e+02%) [8 13 32 45 80 83 91]
;  #1894 (52, 1e+02%) [8 13 32 45 48 80 83 91 152]
;  #1895 (52, 1e+02%) [8 13 32 45 48 87 152]
;  #1896 (52, 1e+02%) [8 13 32 45 48 64 87 152]
;  #1897 (52, 1e+02%) [8 13 32 45 48 49 64 80 83 87 91 152]
;  #1898 (52, 1e+02%) [4 8 37 42 45 48 81 82 152]
;  #1899 (52, 1e+02%) [8 13 32 45 46 87 152]
;  #1900 (52, 1e+02%) [8 13 32 45 46 80 83 87 91 152]
;  #1901 (52, 1e+02%) [8 13 32 45 46 61 64 80 83 91]
;  #1902 (52, 1e+02%) [4 8 37 39 42 45 82 104 152]
;  #1903 (52, 1e+02%) [4 8 32 42 45 48 49 50 64 152]
;  #1904 (52, 1e+02%) [4 8 32 42 45 48 152]
;  #1905 (52, 1e+02%) [8 13 27 45]
;  #1906 (52, 1e+02%) [4 8 32 37 45 48 49 85 96 147 152]
;  #1907 (52, 1e+02%) [5 110 111]
;  #1908 (52, 1e+02%) [124 153]
;  #1909 (52, 1e+02%) [89 92 93 119 157]
;  #1910 (52, 1e+02%) [89 92 93 95 119 157]
;  #1911 (52, 1e+02%) [4 89 92 93 119 157]
;  #1912 (52, 1e+02%) [0 8 13 32 45 48 87 152]
;  #1913 (52, 1e+02%) [3 4 27 45 48 90 152]
;  #1914 (52, 1e+02%) [53 83 92 93 180]
;  #1915 (52, 1e+02%) [4 42 89 92 93 119 157]
;  #1916 (52, 1e+02%) [4 8 13 27 45 64 79 104 152]
;  #1917 (52, 1e+02%) [4 8 13 27 32 45 48 152]
;  #1918 (52, 1e+02%) [38 117]
;  #1919 (52, 1e+02%) [3 4 13 45 46 152]
;  #1920 (52, 1e+02%) [13 24 42 117]
;  #1921 (52, 1e+02%) [4 27 45 79 152]
;  #1922 (52, 1e+02%) [3 45 47 48 83]
;  #1923 (52, 1e+02%) [10 33 42 82 86]
;  #1924 (52, 1e+02%) [3 22 39]
;  #1925 (52, 1e+02%) [3 19 22 39]
;  #1926 (51, 1e+02%) [38 190 193]
;  #1927 (51, 1e+02%) [4 8 13 24 83]
;  #1928 (51, 1e+02%) [4 36 38 80 82 118]
;  #1929 (51, 1e+02%) [32 38 190 193]
;  #1930 (51, 1e+02%) [32 38 193]
;  #1931 (51, 1e+02%) [32 38 190 202]
;  #1932 (51, 1e+02%) [32 38 154 190 192 193]
;  #1933 (51, 1e+02%) [32 38 154 192 193]
;  #1934 (51, 1e+02%) [4 32 38 110 133 221]
;  #1935 (51, 1e+02%) [3 49]
;  #1936 (51, 1e+02%) [8 52 64]
;  #1937 (50, 1e+02%) [3 5 36]
;  #1938 (50, 1e+02%) [4 13 24 33 124]
;  #1939 (50, 1e+02%) [3 5 7 8 33]
;  #1940 (50, 1e+02%) [8 13 32 46 48 49 64 87 145]
;  #1941 (50, 1e+02%) [4 46 48 145]
;  #1942 (50, 1e+02%) [117 153]
;  #1943 (50, 1e+02%) [89 92 93 95 119 156 157]
;  #1944 (50, 1e+02%) [81 91 190 202 210 214]
;  #1945 (50, 1e+02%) [53 136 168 180]
;  #1946 (50, 1e+02%) [53 112]
;  #1947 (50, 1e+02%) [53 89 92 93 156 180]
;  #1948 (50, 1e+02%) [53 89 92 93 95 156 180]
;  #1949 (50, 1e+02%) [4 42 89 92 93 119 156 157]
;  #1950 (50, 1e+02%) [45 46 48]
;  #1951 (50, 1e+02%) [44]
;  #1952 (50, 1e+02%) [38 81 91 210 214]
;  #1953 (50, 1e+02%) [4 37 42 110 117 124]
;  #1954 (50, 1e+02%) [83 93]
;  #1955 (50, 1e+02%) [32 38 133 190 193 202]
;  #1956 (50, 1e+02%) [4 32 81 127]
;  #1957 (50, 1e+02%) [0 4 46 48 145]
;  #1958 (50, 1e+02%) [17 42 82 83]
;  #1959 (50, 1e+02%) [13 112]
;  #1960 (50, 1e+02%) [4 24 42 53 168]
;  #1961 (50, 1e+02%) [4 24 33 124]
;  #1962 (50, 1e+02%) [9 13 57 144]
;  #1963 (49, 1e+02%) [0 4 13 17 24 36 38 42 53 83 128]
;  #1964 (49, 1e+02%) [57 117 124]
;  #1965 (49, 1e+02%) [4 8 24]
;  #1966 (49, 1e+02%) [89 92 93 95 156]
;  #1967 (49, 1e+02%) [11]
;  #1968 (49, 1e+02%) [4 24 42 57 132]
;  #1969 (49, 1e+02%) [8 45 76]
;  #1970 (48, 1e+02%) [8 45 49 51 65 66 67 87]
;  #1971 (48, 1e+02%) [4 13 42 83 110 124]
;  #1972 (48, 1e+02%) [8 45 48 51 61 73 74 77 80 91]
;  #1973 (48, 1e+02%) [4 13 24 80 124]
;  #1974 (48, 1e+02%) [4 13 24 42 83 124 132]
;  #1975 (48, 1e+02%) [4 13 24 42 83 136]
;  #1976 (48, 1e+02%) [4 13 24 42 53 83 117 136]
;  #1977 (48, 1e+02%) [3 5 7 32 33]
;  #1978 (48, 1e+02%) [0 4 13 24 36 53 83 128]
;  #1979 (48, 1e+02%) [4 42 53 92 93 94 119 184]
;  #1980 (48, 1e+02%) [0 45 77]
;  #1981 (48, 1e+02%) [4 82 173]
;  #1982 (48, 1e+02%) [82 117 136 163 173]
;  #1983 (48, 1e+02%) [82 83 117 123 126 136 159 161 173]
;  #1984 (48, 1e+02%) [53 92 93 94 95 119 184]
;  #1985 (48, 1e+02%) [53 89 93 119]
;  #1986 (48, 1e+02%) [4 42 89]
;  #1987 (48, 1e+02%) [4 42 83 117]
;  #1988 (48, 1e+02%) [0 4 53 123]
;  #1989 (48, 1e+02%) [53 148]
;  #1990 (48, 1e+02%) [3 4 13 45 48 82 152]
;  #1991 (48, 1e+02%) [24 36 42 53 82]
;  #1992 (48, 1e+02%) [4 33 37 42 86 124]
;  #1993 (48, 1e+02%) [20 123 126]
;  #1994 (48, 1e+02%) [0 9 53 110]
;  #1995 (48, 1e+02%) [18 33 42 53 82 83]
;  #1996 (48, 1e+02%) [4 32 38 110 133 189 190 194 195 202]
;  #1997 (48, 1e+02%) [4 32 38 81 133 189 190 194 195 202]
;  #1998 (48, 1e+02%) [10 42 93]
;  #1999 (48, 1e+02%) [4 24 42 123 136]
;  #2000 (48, 1e+02%) [9 57 123 126 238]
;  #2001 (48, 1e+02%) [4 24 33 42 83]
;  #2002 (48, 1e+02%) [4 17 24 42 83 136]
;  #2003 (48, 1e+02%) [3 4 5 7 32 53]
;  #2004 (47, 1e+02%) [4 13 18 24 80]
;  #2005 (47, 1e+02%) [4 13 18 24 80 83]
;  #2006 (47, 1e+02%) [4 122]
;  #2007 (47, 1e+02%) [53 92 95]
;  #2008 (47, 1e+02%) [53 83 92 95]
;  #2009 (47, 1e+02%) [45 145]
;  #2010 (47, 1e+02%) [45 47 48]
;  #2011 (47, 1e+02%) [38 133 134]
;  #2012 (47, 1e+02%) [45 47 48 59]
;  #2013 (47, 1e+02%) [3 22 23]
;  #2014 (47, 1e+02%) [8 45 64 76 79]
;  #2015 (46, 1e+02%) [3 5 32]
;  #2016 (46, 1e+02%) [4 10 13 33 82 110]
;  #2017 (46, 1e+02%) [5 53]
;  #2018 (46, 1e+02%) [4 8 24 31 32 33 49]
;  #2019 (46, 1e+02%) [92 93 94 95 119 136 148 184]
;  #2020 (46, 1e+02%) [82 117 126 136 163 173 185]
;  #2021 (46, 1e+02%) [53 110]
;  #2022 (46, 1e+02%) [53 83 89 93 95 119]
;  #2023 (46, 1e+02%) [4 42 82 117]
;  #2024 (46, 1e+02%) [44 45 61]
;  #2025 (46, 1e+02%) [4 42 80 83 117 124]
;  #2026 (46, 1e+02%) [38 154 192 193]
;  #2027 (46, 1e+02%) [0 15 16 53 124 158]
;  #2028 (46, 1e+02%) [4 35 42 81 82 117 124]
;  #2029 (46, 1e+02%) [4 33 35 53 81]
;  #2030 (46, 1e+02%) [13 53 117]
;  #2031 (46, 1e+02%) [0 9 17 53 124]
;  #2032 (46, 1e+02%) [10 18 33 42 82 83]
;  #2033 (46, 1e+02%) [4 24 82 83 169]
;  #2034 (46, 1e+02%) [9 13 53 126 159 161]
;  #2035 (46, 1e+02%) [8 64 76 79]
;  #2036 (46, 1e+02%) [8 51 64 87]
;  #2037 (45, 1e+02%) [4 13 24 36 42 53 83 128]
;  #2038 (45, 1e+02%) [4 13 24 36 42 83 117 128]
;  #2039 (45, 1e+02%) [3 5 7 31 32]
;  #2040 (45, 1e+02%) [8 13 32]
;  #2041 (45, 1e+02%) [188 189 190]
;  #2042 (45, 1e+02%) [154 187]
;  #2043 (45, 1e+02%) [4 8 24 42 45 46 47 49 50 54 59 64]
;  #2044 (45, 1e+02%) [4 8 24 42 45 46 47 54 59]
;  #2045 (45, 1e+02%) [37 117 153]
;  #2046 (45, 1e+02%) [33 53 124]
;  #2047 (45, 1e+02%) [4 36 82 128]
;  #2048 (45, 1e+02%) [8 64 73 74 77 80 87 91]
;  #2049 (45, 1e+02%) [3 13 24 53]
;  #2050 (44, 1e+02%) [8 45 49 51 64 87]
;  #2051 (44, 1e+02%) [8 45 48 49 51 61 73 74 77 80 91 127]
;  #2052 (44, 1e+02%) [5 19]
;  #2053 (44, 1e+02%) [4 8 24 42 45 46 47 59]
;  #2054 (44, 1e+02%) [64 76]
;  #2055 (44, 1e+02%) [4 53 82 83 136]
;  #2056 (44, 1e+02%) [4 42 82 117 136 163 164 173]
;  #2057 (44, 1e+02%) [4 42 82 117 123 136 163 164 173]
;  #2058 (44, 1e+02%) [43 44 45 60 61]
;  #2059 (44, 1e+02%) [4 38 42 82 117 136 163 164 173]
;  #2060 (44, 1e+02%) [4 38 42 82 117 123 136 163 164 173]
;  #2061 (44, 1e+02%) [23 42 84]
;  #2062 (44, 1e+02%) [4 8 24 42 45 46 47 49 50 59 64]
;  #2063 (44, 1e+02%) [4 32 42 84]
;  #2064 (44, 1e+02%) [0 9 53 83 169]
;  #2065 (44, 1e+02%) [13 123 162]
;  #2066 (44, 1e+02%) [13 81 132 185]
;  #2067 (44, 1e+02%) [13 81 132 267]
;  #2068 (44, 1e+02%) [13 32 45 48 61 80 83 91]
;  #2069 (44, 1e+02%) [9 158]
;  #2070 (44, 1e+02%) [3 43]
;  #2071 (44, 1e+02%) [3 27 46]
;  #2072 (44, 1e+02%) [9 13 83]
;  #2073 (44, 1e+02%) [9 13 53 126 159]
;  #2074 (44, 1e+02%) [8 50]
;  #2075 (44, 1e+02%) [4 17 42 80 82 83 117]
;  #2076 (43, 1e+02%) [8 45 51 64 87]
;  #2077 (43, 1e+02%) [8 45 48 52]
;  #2078 (43, 1e+02%) [8 45 48]
;  #2079 (43, 1e+02%) [89 95]
;  #2080 (43, 1e+02%) [57 123 126 143]
;  #2081 (43, 1e+02%) [53 95 156 157]
;  #2082 (43, 1e+02%) [53 83 95 156 157]
;  #2083 (42, 1e+02%) [8 45 46 48 49 51 61 64 73 74 77 80 91]
;  #2084 (42, 1e+02%) [8 32 45 48 51 64 87 152]
;  #2085 (42, 1e+02%) [8 27 72 79]
;  #2086 (42, 1e+02%) [4 89 95]
;  #2087 (42, 1e+02%) [82 83 123 136]
;  #2088 (42, 1e+02%) [53 110 111 254]
;  #2089 (42, 1e+02%) [0 4 13 17 24 36 38 42 83 128]
;  #2090 (42, 1e+02%) [53 89 92 95 156 157]
;  #2091 (42, 1e+02%) [4 45 47 48 59]
;  #2092 (42, 1e+02%) [53 57 144 165]
;  #2093 (42, 1e+02%) [32 38 81 91 133 234]
;  #2094 (42, 1e+02%) [32 38 81 91 133 190 202 234]
;  #2095 (42, 1e+02%) [32 38 81 91 133 221]
;  #2096 (42, 1e+02%) [32 38 81 91 133 190 202 221]
;  #2097 (42, 1e+02%) [4 32 36 38 133]
;  #2098 (42, 1e+02%) [4 27 53]
;  #2099 (42, 1e+02%) [53 89 92 156 157]
;  #2100 (42, 1e+02%) [3 45 46 48 61 83]
;  #2101 (42, 1e+02%) [3 4 5 38]
;  #2102 (42, 1e+02%) [3 4 5 53]
;  #2103 (41, 1e+02%) [82 117 136 215 216 217]
;  #2104 (41, 1e+02%) [82 117 136 137 138 140 141 142 201]
;  #2105 (41, 1e+02%) [13 57 123 126 143]
;  #2106 (41, 1e+02%) [9 57 123 126 143]
;  #2107 (41, 1e+02%) [8 51 65 73 74 77 80 91]
;  #2108 (41, 1e+02%) [8 45 73 74 77 80 91]
;  #2109 (40, 1e+02%) [8 45 52 64 75]
;  #2110 (40, 1e+02%) [8 45 51 64 75]
;  #2111 (40, 1e+02%) [8 45 48 49 51 64 87]
;  #2112 (40, 1e+02%) [4 13 19 42]
;  #2113 (40, 1e+02%) [7 8]
;  #2114 (40, 1e+02%) [0 51]
;  #2115 (40, 1e+02%) [190 193 202 203]
;  #2116 (40, 1e+02%) [193]
;  #2117 (40, 1e+02%) [117 136 219 220]
;  #2118 (40, 1e+02%) [117 136 139 220]
;  #2119 (40, 1e+02%) [92 95 274]
;  #2120 (40, 1e+02%) [83 89 93 95 119 191]
;  #2121 (40, 1e+02%) [82 163 164 173]
;  #2122 (40, 1e+02%) [82 163 173]
;  #2123 (40, 1e+02%) [82 123 163 173]
;  #2124 (40, 1e+02%) [82 123 163 164 173]
;  #2125 (40, 1e+02%) [4 82 117 136 163 164 173]
;  #2126 (40, 1e+02%) [4 82 117 123 136 163 164 173]
;  #2127 (40, 1e+02%) [4 82 83 117 136 219 220]
;  #2128 (40, 1e+02%) [4 82 83 117 136 139 220]
;  #2129 (40, 1e+02%) [82 83 117 126 136]
;  #2130 (40, 1e+02%) [81 117]
;  #2131 (40, 1e+02%) [4 53 83 117]
;  #2132 (40, 1e+02%) [53 83 92 93 95 156 180]
;  #2133 (40, 1e+02%) [4 42 83 110 117]
;  #2134 (40, 1e+02%) [4 42 82 117 136 163 173]
;  #2135 (40, 1e+02%) [4 42 82 117 123 136 163 173]
;  #2136 (40, 1e+02%) [4 42 80 117 124]
;  #2137 (40, 1e+02%) [33 117 136]
;  #2138 (40, 1e+02%) [89 93 95 119 191]
;  #2139 (40, 1e+02%) [33 42 53 82 83 182]
;  #2140 (40, 1e+02%) [32 190]
;  #2141 (40, 1e+02%) [82 123 173]
;  #2142 (40, 1e+02%) [32 189 190 195 202]
;  #2143 (40, 1e+02%) [0 4 53 117]
;  #2144 (40, 1e+02%) [53 92 93 95 156 180]
;  #2145 (40, 1e+02%) [28]
;  #2146 (40, 1e+02%) [0 9 80 169]
;  #2147 (40, 1e+02%) [9 53 126 159]
;  #2148 (40, 1e+02%) [9 53 83]
;  #2149 (40, 1e+02%) [9 14 53]
;  #2150 (40, 1e+02%) [4 24 33 42 117 132]
;  #2151 (40, 1e+02%) [3 4 5 13]
;  #2152 (40, 1e+02%) [8 49 51 64 73 74 77 80 91]
;  #2153 (40, 1e+02%) [8 45 61 64 73 74 77 80 91]
;  #2154 (39, 1e+02%) [0 4 32 33]
;  #2155 (39, 1e+02%) [53 83 93]
;  #2156 (39, 1e+02%) [4 8 13 31 42 45 48 81 83]
;  #2157 (39, 1e+02%) [4 8 13 28 39 42 45 83 104]
;  #2158 (39, 1e+02%) [33 57]
;  #2159 (39, 1e+02%) [0 14 75]
;  #2160 (39, 1e+02%) [3 4 13 83]
;  #2161 (39, 1e+02%) [4 8 24 31 32 33 45 49]
;  #2162 (39, 1e+02%) [18]
;  #2163 (39, 1e+02%) [13 83 117]
;  #2164 (39, 1e+02%) [13 20 53 126 161]
;  #2165 (39, 1e+02%) [8 47 50 87]
;  #2166 (39, 1e+02%) [0 4 36 38 82 128]
;  #2167 (38, 1e+02%) [3 4 5 7 8 36 53 82]
;  #2168 (38, 1e+02%) [4 13 33 53 110]
;  #2169 (38, 1e+02%) [3 4 42]
;  #2170 (38, 1e+02%) [188 190 194 195]
;  #2171 (38, 1e+02%) [44 45 48 60 152]
;  #2172 (38, 1e+02%) [82 123 126 136 159 163 164 173]
;  #2173 (38, 1e+02%) [4 83 111]
;  #2174 (38, 1e+02%) [82 117 136 159 173]
;  #2175 (38, 1e+02%) [82 117 136 139 220]
;  #2176 (38, 1e+02%) [0 45 47 59]
;  #2177 (38, 1e+02%) [0 45 46 47 77]
;  #2178 (38, 1e+02%) [4 42 86 117 136 219 220]
;  #2179 (38, 1e+02%) [4 42 86 117 136 139 220]
;  #2180 (38, 1e+02%) [43 44 45 48 60 152]
;  #2181 (38, 1e+02%) [32 81 190 202]
;  #2182 (38, 1e+02%) [32 38 81 133]
;  #2183 (38, 1e+02%) [32 38 81]
;  #2184 (38, 1e+02%) [4 33 53 110]
;  #2185 (38, 1e+02%) [19 32]
;  #2186 (38, 1e+02%) [5 9 10 13 53 82]
;  #2187 (38, 1e+02%) [9 126 162]
;  #2188 (38, 1e+02%) [9 53 57 123 126]
;  #2189 (38, 1e+02%) [9 17 80 117]
;  #2190 (38, 1e+02%) [9 13 83 117 124 169]
;  #2191 (38, 1e+02%) [4 17 24 42 83 117 136]
;  #2192 (37, 1e+02%) [8 45 48 64 76]
;  #2193 (37, 1e+02%) [8 45 47 76 79]
;  #2194 (37, 1e+02%) [8 45 47 64 76]
;  #2195 (37, 1e+02%) [3 5 7 24]
;  #2196 (37, 1e+02%) [4 8 24 31 32 33 45 47 49]
;  #2197 (37, 1e+02%) [4 8 13 80 169]
;  #2198 (37, 1e+02%) [13 75]
;  #2199 (37, 1e+02%) [4 27 82 83]
;  #2200 (37, 1e+02%) [9 13 83 117]
;  #2201 (36, 1e+02%) [4 13 53 83 117]
;  #2202 (36, 1e+02%) [4 13 46]
;  #2203 (36, 1e+02%) [8 45 49 51 65 66 67 68 87]
;  #2204 (36, 1e+02%) [4 13 38 267]
;  #2205 (36, 1e+02%) [4 13 38 82 267]
;  #2206 (36, 1e+02%) [4 13 35 117]
;  #2207 (36, 1e+02%) [8 45 47 48 49 64]
;  #2208 (36, 1e+02%) [8 32 45 48 51 64]
;  #2209 (36, 1e+02%) [8 27 45 52 64]
;  #2210 (36, 1e+02%) [3 5 7 13 31 32 53 80]
;  #2211 (36, 1e+02%) [4 8 46]
;  #2212 (36, 1e+02%) [8 13 32 46 49 87]
;  #2213 (36, 1e+02%) [8 13 32 45 47 48 49 59 61 80 83 87 91]
;  #2214 (36, 1e+02%) [5 112]
;  #2215 (36, 1e+02%) [189 190 194]
;  #2216 (36, 1e+02%) [154 192]
;  #2217 (36, 1e+02%) [5 13 111]
;  #2218 (36, 1e+02%) [5 7 8 9 53]
;  #2219 (36, 1e+02%) [110 117 124]
;  #2220 (36, 1e+02%) [82 117 126 136 163 173]
;  #2221 (36, 1e+02%) [4 82 117 123 126 136 173]
;  #2222 (36, 1e+02%) [82 117 123 126 136 159 161 173]
;  #2223 (36, 1e+02%) [82 83 136 143]
;  #2224 (36, 1e+02%) [82 83 136 159 173]
;  #2225 (36, 1e+02%) [81 127 210 213 234]
;  #2226 (36, 1e+02%) [81 127 210 211 213 214 234]
;  #2227 (36, 1e+02%) [4 81 87 210 211 214]
;  #2228 (36, 1e+02%) [4 81 87 210 211]
;  #2229 (36, 1e+02%) [4 42 86 136]
;  #2230 (36, 1e+02%) [43 44 45 47 59 60]
;  #2231 (36, 1e+02%) [42 117 124 132]
;  #2232 (36, 1e+02%) [4 38 124]
;  #2233 (36, 1e+02%) [38 81 133 154 210 213]
;  #2234 (36, 1e+02%) [38 81 133 154 210 211 213 214]
;  #2235 (36, 1e+02%) [4 8 13 24 80 83]
;  #2236 (36, 1e+02%) [4 38 42 82 117 123 126 136 159 161 173]
;  #2237 (36, 1e+02%) [36 117]
;  #2238 (36, 1e+02%) [0 4 58 170]
;  #2239 (36, 1e+02%) [0 13 75]
;  #2240 (36, 1e+02%) [0 13 36 82]
;  #2241 (36, 1e+02%) [24 80 83 124]
;  #2242 (36, 1e+02%) [24 42]
;  #2243 (36, 1e+02%) [4 33 42 86 136]
;  #2244 (36, 1e+02%) [19 117 124]
;  #2245 (36, 1e+02%) [18 89 92 93]
;  #2246 (36, 1e+02%) [18 89 92 93 119 157]
;  #2247 (36, 1e+02%) [18 82]
;  #2248 (36, 1e+02%) [18 33 42 82]
;  #2249 (36, 1e+02%) [13 126 162]
;  #2250 (36, 1e+02%) [4 32 38 81 133 193]
;  #2251 (36, 1e+02%) [4 31 32 38 81 133 154 192]
;  #2252 (36, 1e+02%) [4 31 32 38 81 133 154 187]
;  #2253 (36, 1e+02%) [4 31 32 38 81 133 154 187 192 193]
;  #2254 (36, 1e+02%) [13 53 57 123 126]
;  #2255 (36, 1e+02%) [53 95 168]
;  #2256 (36, 1e+02%) [3 45 48 83 152]
;  #2257 (36, 1e+02%) [10 24 33 42 53 82]
;  #2258 (36, 1e+02%) [4 82 83 117 123 136 137]
;  #2259 (36, 1e+02%) [53 125]
;  #2260 (36, 1e+02%) [9 53 169]
;  #2261 (36, 1e+02%) [9 14 53 74 126]
;  #2262 (36, 1e+02%) [9 13 124 169]
;  #2263 (36, 1e+02%) [9 13 117 124]
;  #2264 (36, 1e+02%) [9 13 80 124 169]
;  #2265 (36, 1e+02%) [0 8 51 53]
;  #2266 (36, 1e+02%) [9 13 53 169]
;  #2267 (36, 1e+02%) [9 13 53 123 126]
;  #2268 (36, 1e+02%) [4 18 24]
;  #2269 (36, 1e+02%) [4 17 24 42 83 117 136 137 138 140 141 142 201]
;  #2270 (36, 1e+02%) [4 13 81 267]
;  #2271 (35, 1e+02%) [8 45 48 51 73 74 77 80 91]
;  #2272 (35, 1e+02%) [8 45 48 51 64 73 74 77 80 91]
;  #2273 (35, 1e+02%) [4 13 24 53]
;  #2274 (35, 1e+02%) [0 3 5 53]
;  #2275 (35, 1e+02%) [3 5 7 8 53 122]
;  #2276 (35, 1e+02%) [5 7 8 53]
;  #2277 (35, 1e+02%) [81 91 127 190 194 195 210 214]
;  #2278 (35, 1e+02%) [38 81 91 193 210 214]
;  #2279 (35, 1e+02%) [38 81 91 127 192 193 210 214]
;  #2280 (35, 1e+02%) [36 37 117]
;  #2281 (35, 1e+02%) [4 32 38 81 133 221]
;  #2282 (35, 1e+02%) [81 91 190 195 210 214]
;  #2283 (34, 1e+02%) [3 5 7 19 31 32 83]
;  #2284 (34, 1e+02%) [4 8 24 31 32 33 42 48 49 50 64]
;  #2285 (34, 1e+02%) [82 123 126 136 159 173]
;  #2286 (34, 1e+02%) [4 8 24 31 32 33 42 48]
;  #2287 (34, 1e+02%) [4 82 117 136 163 173]
;  #2288 (34, 1e+02%) [4 82 117 123 136 163 173]
;  #2289 (34, 1e+02%) [0 45 145]
;  #2290 (34, 1e+02%) [58]
;  #2291 (34, 1e+02%) [53 93 168]
;  #2292 (34, 1e+02%) [4 8 13 31 42 48 81 83]
;  #2293 (34, 1e+02%) [4 8 13 28 39 42 83 104]
;  #2294 (34, 1e+02%) [52 65]
;  #2295 (34, 1e+02%) [38 154 190 192 193]
;  #2296 (34, 1e+02%) [4 38 42 82 117 136 163 173]
;  #2297 (34, 1e+02%) [4 38 42 82 117 123 136 163 173]
;  #2298 (34, 1e+02%) [4 37 42 86 124]
;  #2299 (34, 1e+02%) [32 38 133 261 262]
;  #2300 (34, 1e+02%) [32 38 133 189 190]
;  #2301 (34, 1e+02%) [32 38 133 154 190 194 195 202]
;  #2302 (34, 1e+02%) [4 33 42 124]
;  #2303 (34, 1e+02%) [24 42 53 82 124]
;  #2304 (34, 1e+02%) [3 4 13 45 47 48 59 82]
;  #2305 (34, 1e+02%) [3 52]
;  #2306 (34, 1e+02%) [4 27]
;  #2307 (34, 1e+02%) [0 3 45 64]
;  #2308 (33, 1e+02%) [53 136 180]
;  #2309 (33, 1e+02%) [3 5 9 13]
;  #2310 (33, 1e+02%) [4 13 24 33 80]
;  #2311 (33, 1e+02%) [0 5 7]
;  #2312 (33, 1e+02%) [0 53 158]
;  #2313 (33, 1e+02%) [0 8 45]
;  #2314 (33, 1e+02%) [4 53 89]
;  #2315 (33, 1e+02%) [3 4 53 83]
;  #2316 (33, 1e+02%) [0 4 13 18 33 82 83]
;  #2317 (33, 1e+02%) [0 4 13 18 33 82]
;  #2318 (33, 1e+02%) [53 124 180]
;  #2319 (33, 1e+02%) [0 4 5 7]
;  #2320 (32, 1e+02%) [8 45 49 51 73 74 77 80 91]
;  #2321 (32, 1e+02%) [4 13 24 42 83 117 123 136 143]
;  #2322 (32, 1e+02%) [4 13 24 36 53 83 128]
;  #2323 (32, 1e+02%) [4 13 24 36 83 117 128]
;  #2324 (32, 1e+02%) [0 4 13 24 36 83 128]
;  #2325 (32, 1e+02%) [81 103 127 190 210 211 213 214 232]
;  #2326 (32, 1e+02%) [92 93 95 119 136 184]
;  #2327 (32, 1e+02%) [4 7 42 132]
;  #2328 (32, 1e+02%) [82 173]
;  #2329 (32, 1e+02%) [82 83 126 136 163 173 185]
;  #2330 (32, 1e+02%) [81 103 190 202 210 211 214]
;  #2331 (32, 1e+02%) [81 103 190 210 211 213 214]
;  #2332 (32, 1e+02%) [4 53 82 110]
;  #2333 (32, 1e+02%) [53 89]
;  #2334 (32, 1e+02%) [4 42 86 117 124]
;  #2335 (32, 1e+02%) [45 61]
;  #2336 (32, 1e+02%) [4 42 80 124]
;  #2337 (32, 1e+02%) [38 81 103 210 211 213 214]
;  #2338 (32, 1e+02%) [38 81 103 210 211 214]
;  #2339 (32, 1e+02%) [38 81 103 127 210 211 213 214 232]
;  #2340 (32, 1e+02%) [4 38 42 133]
;  #2341 (32, 1e+02%) [37 86 153]
;  #2342 (32, 1e+02%) [36 135]
;  #2343 (32, 1e+02%) [4 37 42 117 153]
;  #2344 (32, 1e+02%) [33 86 153]
;  #2345 (32, 1e+02%) [4 36 89]
;  #2346 (32, 1e+02%) [3 4 13 53 82]
;  #2347 (32, 1e+02%) [92 93 94 95 119 184]
;  #2348 (32, 1e+02%) [4 5 6 7 13]
;  #2349 (32, 1e+02%) [24 42 53 136]
;  #2350 (32, 1e+02%) [24 33 36 42 53 82]
;  #2351 (32, 1e+02%) [23 42 84 117 124]
;  #2352 (32, 1e+02%) [23 42]
;  #2353 (32, 1e+02%) [3 75]
;  #2354 (32, 1e+02%) [19 42 84 166]
;  #2355 (32, 1e+02%) [0 9 53 80 83 169]
;  #2356 (32, 1e+02%) [13 57 123 126 144 163 164]
;  #2357 (32, 1e+02%) [0 9 17 53 80]
;  #2358 (32, 1e+02%) [13 32 45 47 48 49 59 61 80 83 87 91]
;  #2359 (32, 1e+02%) [4 27 46 47 48 54 55 59 110]
;  #2360 (32, 1e+02%) [4 24 83 117 136]
;  #2361 (32, 1e+02%) [57 123 126 144 163 164]
;  #2362 (32, 1e+02%) [9 53 80 169]
;  #2363 (32, 1e+02%) [3 27]
;  #2364 (32, 1e+02%) [4 19 33 42]
;  #2365 (32, 1e+02%) [4 18 33 53 82]
;  #2366 (32, 1e+02%) [4 13 111]
;  #2367 (31, 1e+02%) [8 45 49 51 64 73 74 77 80 87 91]
;  #2368 (31, 1e+02%) [3 4 5 7 8 122]
;  #2369 (31, 1e+02%) [8 45 46 47 48 61 64 73 77 80 87 91]
;  #2370 (31, 1e+02%) [53 89 93 95 181]
;  #2371 (31, 1e+02%) [0 3 45]
;  #2372 (31, 1e+02%) [36 93]
;  #2373 (31, 1e+02%) [32 81 190 213]
;  #2374 (31, 1e+02%) [32 81 127 190 213 232]
;  #2375 (31, 1e+02%) [32 38 81 213]
;  #2376 (31, 1e+02%) [32 38 81 127 213 232]
;  #2377 (31, 1e+02%) [24 42 53 82 136]
;  #2378 (31, 1e+02%) [4 24 42 53 136]
;  #2379 (30, 1e+02%) [8 45 47 64 87]
;  #2380 (30, 1e+02%) [4 13 24 83 132]
;  #2381 (30, 1e+02%) [3 5 7 64]
;  #2382 (30, 1e+02%) [3 5 7 32 53 83]
;  #2383 (30, 1e+02%) [0 77]
;  #2384 (30, 1e+02%) [3 5 7 8 13 75]
;  #2385 (30, 1e+02%) [0 53 77]
;  #2386 (30, 1e+02%) [4 53 92 95 274]
;  #2387 (30, 1e+02%) [117 136 137 138 139 140 141 142]
;  #2388 (30, 1e+02%) [0 45 64 77]
;  #2389 (30, 1e+02%) [4 93 95 156]
;  #2390 (30, 1e+02%) [4 92 93 156]
;  #2391 (30, 1e+02%) [82 83 126 136 163 173]
;  #2392 (30, 1e+02%) [82 83 117 123 136]
;  #2393 (30, 1e+02%) [53 93 180]
;  #2394 (30, 1e+02%) [4 57 124]
;  #2395 (30, 1e+02%) [53 268]
;  #2396 (30, 1e+02%) [117 136 137 138 140 141 142]
;  #2397 (30, 1e+02%) [53 89 92 93 95 119 157]
;  #2398 (30, 1e+02%) [4 42 89 92 93 156]
;  #2399 (30, 1e+02%) [0 36 128]
;  #2400 (30, 1e+02%) [42 111]
;  #2401 (30, 1e+02%) [42 64]
;  #2402 (30, 1e+02%) [35 38 82 124]
;  #2403 (30, 1e+02%) [32 81 190 202 203]
;  #2404 (30, 1e+02%) [32 33 42 82 83]
;  #2405 (30, 1e+02%) [0 4 48 58 64]
;  #2406 (30, 1e+02%) [17 42 82 212]
;  #2407 (30, 1e+02%) [4 32 38 81 133 187 192 193]
;  #2408 (30, 1e+02%) [4 8 24 31 32 33 42 45 48]
;  #2409 (30, 1e+02%) [0 9 13 117]
;  #2410 (30, 1e+02%) [0 9 13 17 117]
;  #2411 (30, 1e+02%) [4 24 36 118]
;  #2412 (30, 1e+02%) [4 24 33 42 124 132]
;  #2413 (30, 1e+02%) [3 4 5 53 122]
;  #2414 (30, 1e+02%) [92 95 136 274]
;  #2415 (30, 1e+02%) [3 19 32]
;  #2416 (29, 1e+02%) [4 13 57]
;  #2417 (29, 1e+02%) [53 89 93 95 180 181]
;  #2418 (29, 1e+02%) [8 45 47 64]
;  #2419 (29, 1e+02%) [3 5 13]
;  #2420 (29, 1e+02%) [130]
;  #2421 (29, 1e+02%) [53 89 95]
;  #2422 (29, 1e+02%) [0 8]
;  #2423 (29, 1e+02%) [0 9 83 169]
;  #2424 (29, 1e+02%) [13 20 53 126]
;  #2425 (29, 1e+02%) [9 57 126 144 163 185]
;  #2426 (29, 1e+02%) [9 13 123 126]
;  #2427 (29, 1e+02%) [9 13 57]
;  #2428 (28, 1e+02%) [4 13 49]
;  #2429 (28, 1e+02%) [4 13 42 83 117]
;  #2430 (28, 1e+02%) [8 45 47 52 64 79]
;  #2431 (28, 1e+02%) [4 36 37 42 53]
;  #2432 (28, 1e+02%) [8 45 46 48 49 51 61 64 73 74 77 80 91 127]
;  #2433 (28, 1e+02%) [4 13 24 111]
;  #2434 (28, 1e+02%) [8 27 72 73 74 77 80]
;  #2435 (28, 1e+02%) [4 36 112]
;  #2436 (28, 1e+02%) [3 5 7 8 53 57]
;  #2437 (28, 1e+02%) [0 52]
;  #2438 (28, 1e+02%) [0 3 4 5 7 8]
;  #2439 (28, 1e+02%) [4 8 24 31 32 33 42 45 48 49 64]
;  #2440 (28, 1e+02%) [82 83 117 136 137 138 140 141 142 201]
;  #2441 (28, 1e+02%) [4 8 24 31 32 33 42 45 47 48 49 50 64 87]
;  #2442 (28, 1e+02%) [81 132 267]
;  #2443 (28, 1e+02%) [4 53 93]
;  #2444 (28, 1e+02%) [53 95 180]
;  #2445 (28, 1e+02%) [4 8 13 31 42 45 47 48 81 83]
;  #2446 (28, 1e+02%) [3 4 27 28 48 90]
;  #2447 (28, 1e+02%) [4 42 117 124]
;  #2448 (28, 1e+02%) [53 57 123 126 143]
;  #2449 (28, 1e+02%) [53 57 123 126 144]
;  #2450 (28, 1e+02%) [53 57 123 126]
;  #2451 (28, 1e+02%) [4 8 13 28 39 42 45 47 83 104]
;  #2452 (28, 1e+02%) [4 38 89 92 93 124 156]
;  #2453 (28, 1e+02%) [36 89]
;  #2454 (28, 1e+02%) [36 89 95]
;  #2455 (28, 1e+02%) [53 180]
;  #2456 (28, 1e+02%) [0 15 16 53 124]
;  #2457 (28, 1e+02%) [33 117 136 153]
;  #2458 (28, 1e+02%) [4 169]
;  #2459 (28, 1e+02%) [4 36 83 95]
;  #2460 (28, 1e+02%) [4 36 83 93 94]
;  #2461 (28, 1e+02%) [4 5 13 53]
;  #2462 (28, 1e+02%) [32 33 42 53 82 83]
;  #2463 (28, 1e+02%) [0 4 48 58 170 205]
;  #2464 (28, 1e+02%) [20 57 124]
;  #2465 (28, 1e+02%) [4 32 38 133]
;  #2466 (28, 1e+02%) [110 125]
;  #2467 (28, 1e+02%) [13 57 126 144 163 185]
;  #2468 (28, 1e+02%) [3 47 59]
;  #2469 (28, 1e+02%) [3 45 48 61 83]
;  #2470 (28, 1e+02%) [9 159]
;  #2471 (28, 1e+02%) [4 8 24 31 32 33 42 45 47 48 87]
;  #2472 (28, 1e+02%) [4 24 53 110 111]
;  #2473 (28, 1e+02%) [9 57 123 126 144 163]
;  #2474 (28, 1e+02%) [9 13 53 57 123 143]
;  #2475 (28, 1e+02%) [4 24 31 32 33 42 45 47 48 59]
;  #2476 (28, 1e+02%) [4 20 117]
;  #2477 (28, 1e+02%) [4 17 42 82]
;  #2478 (27, 1e+02%) [0 8 45 47 49 64]
;  #2479 (27, 1e+02%) [3 5 9 10 14]
;  #2480 (27, 1e+02%) [8 13 32 91]
;  #2481 (27, 1e+02%) [8 13 32 46 87 183]
;  #2482 (27, 1e+02%) [8 13 32 46 80 83 91 183]
;  #2483 (27, 1e+02%) [8 13 32 46 64 87 183]
;  #2484 (27, 1e+02%) [8 13 32 46 49 64 80 83 87 91 183]
;  #2485 (27, 1e+02%) [4 8 42 46 81 82 183]
;  #2486 (27, 1e+02%) [4 8 39 42 46 82 183]
;  #2487 (27, 1e+02%) [4 8 32 46 49 85 96 147 183]
;  #2488 (27, 1e+02%) [4 8 32 42 46 183]
;  #2489 (27, 1e+02%) [4 8 32 42 46 49 50 64 183]
;  #2490 (27, 1e+02%) [8 13 27 46]
;  #2491 (27, 1e+02%) [0 8 13 32 46 87 183]
;  #2492 (27, 1e+02%) [3 4 27 46 90 183]
;  #2493 (27, 1e+02%) [57 126 144 163 185]
;  #2494 (27, 1e+02%) [4 8 13 27 46 64 79 183]
;  #2495 (27, 1e+02%) [4 8 13 27 32 46 183]
;  #2496 (27, 1e+02%) [4 42 53 147]
;  #2497 (27, 1e+02%) [4 8 13 27 32 46 64]
;  #2498 (27, 1e+02%) [32 188 189 190]
;  #2499 (27, 1e+02%) [81 190]
;  #2500 (27, 1e+02%) [3 50 73 74 77]
;  #2501 (27, 1e+02%) [13 144]
;  #2502 (27, 1e+02%) [4 32 33 47]
;  #2503 (27, 1e+02%) [4 27 46 79 183]
;  #2504 (27, 1e+02%) [3 27 46 64]
;  #2505 (27, 1e+02%) [4 24 36 83 118]
;  #2506 (27, 1e+02%) [8 45 65 87 103]
;  #2507 (27, 1e+02%) [8 45 64]
;  #2508 (26, 1e+02%) [4 13 27 32 53]
;  #2509 (26, 1e+02%) [8 45 46 47 59 73 77 80 87 91]
;  #2510 (26, 1e+02%) [8 45 46 47 59 64 73 77 80 87 91]
;  #2511 (26, 1e+02%) [0 4 32 33 47]
;  #2512 (26, 1e+02%) [3 5 7 13 53]
;  #2513 (26, 1e+02%) [3 5 7 8 13 53 57]
;  #2514 (26, 1e+02%) [268]
;  #2515 (26, 1e+02%) [129]
;  #2516 (26, 1e+02%) [82 123 126 136 173]
;  #2517 (26, 1e+02%) [4 89 92 93 119 156 157]
;  #2518 (26, 1e+02%) [82 117 136 137]
;  #2519 (26, 1e+02%) [81 82 117]
;  #2520 (26, 1e+02%) [53 93 95 168]
;  #2521 (26, 1e+02%) [4 42 80 89]
;  #2522 (26, 1e+02%) [3 4 24 53]
;  #2523 (26, 1e+02%) [4 8 13 24 80]
;  #2524 (26, 1e+02%) [35 38 82]
;  #2525 (26, 1e+02%) [120]
;  #2526 (26, 1e+02%) [4 36 83]
;  #2527 (26, 1e+02%) [20 126 143]
;  #2528 (26, 1e+02%) [13 83 126]
;  #2529 (26, 1e+02%) [13 27 53]
;  #2530 (26, 1e+02%) [4 27 46 48 58 110 177 218]
;  #2531 (26, 1e+02%) [13 27 32 53]
;  #2532 (26, 1e+02%) [9 83 126]
;  #2533 (26, 1e+02%) [5 7 111]
;  #2534 (25, 1e+02%) [4 13 53 82 168]
;  #2535 (25, 1e+02%) [8 45 47 49 64]
;  #2536 (25, 1e+02%) [0 4 13 33 53 82]
;  #2537 (25, 1e+02%) [8 13 32 46 48 64 87 177]
;  #2538 (25, 1e+02%) [8 13 32 46 48 49 64 80 83 87 91 145]
;  #2539 (25, 1e+02%) [0 4 13 33 53 82 83]
;  #2540 (25, 1e+02%) [4 8 37 42 46 48 81 82 149 177]
;  #2541 (25, 1e+02%) [4 8 37 39 42 46 82 104 150 177]
;  #2542 (25, 1e+02%) [4 8 32 42 46 48 86 177]
;  #2543 (25, 1e+02%) [4 8 32 42 46 48 49 50 64 86 177]
;  #2544 (25, 1e+02%) [4 8 32 37 46 48 49 85 96 147 177]
;  #2545 (25, 1e+02%) [89 92 156 157]
;  #2546 (25, 1e+02%) [89 92 95 156 157]
;  #2547 (25, 1e+02%) [57 144 165]
;  #2548 (25, 1e+02%) [4 8 13 27 46 64 79 104 177]
;  #2549 (25, 1e+02%) [4 8 13 27 32 46 48 177]
;  #2550 (25, 1e+02%) [33 53 117]
;  #2551 (25, 1e+02%) [31 32 38 81 190 193 202 203]
;  #2552 (25, 1e+02%) [31 32 38 81 193]
;  #2553 (25, 1e+02%) [4 53 82 168]
;  #2554 (25, 1e+02%) [24 33 36 42 53]
;  #2555 (25, 1e+02%) [20 57 144]
;  #2556 (25, 1e+02%) [3 19 22 23]
;  #2557 (25, 1e+02%) [3 4 5 7 24 53]
;  #2558 (24, 1e+02%) [8 45 51 61 73 74 77 80 91]
;  #2559 (24, 1e+02%) [8 45 49 61]
;  #2560 (24, 1e+02%) [8 45 49 51 65 66 67 73 74 77 80 87 91]
;  #2561 (24, 1e+02%) [8 45 49 51 61 73 74 77 80 91 127]
;  #2562 (24, 1e+02%) [8 45 48 51 64 87]
;  #2563 (24, 1e+02%) [47 268]
;  #2564 (24, 1e+02%) [8 45 48 49 51 64 73 74 77 80 87 91]
;  #2565 (24, 1e+02%) [8 45 47 64 76 79 87]
;  #2566 (24, 1e+02%) [8 45 47 64 73 77 80 87 91]
;  #2567 (24, 1e+02%) [8 45 47 48 64 87]
;  #2568 (24, 1e+02%) [8 45 47 48 52 64 79]
;  #2569 (24, 1e+02%) [4 13 27]
;  #2570 (24, 1e+02%) [82 83 117 123 126 136 159 173]
;  #2571 (24, 1e+02%) [0 45 46 47 54]
;  #2572 (24, 1e+02%) [3 5 19 32]
;  #2573 (24, 1e+02%) [8 32 45 48 49 51 61 73 74 77 80 152]
;  #2574 (24, 1e+02%) [4 13 18 37 82 117]
;  #2575 (24, 1e+02%) [8 13 49]
;  #2576 (24, 1e+02%) [4 9 124]
;  #2577 (24, 1e+02%) [4 9 13 124]
;  #2578 (24, 1e+02%) [8 13 32 49]
;  #2579 (24, 1e+02%) [89 93 157]
;  #2580 (24, 1e+02%) [89 92 93 95 136 156]
;  #2581 (24, 1e+02%) [5 7 13]
;  #2582 (24, 1e+02%) [5 6 111]
;  #2583 (24, 1e+02%) [111 112]
;  #2584 (24, 1e+02%) [95 136]
;  #2585 (24, 1e+02%) [89 93 95 157]
;  #2586 (24, 1e+02%) [89 92 93 124 156]
;  #2587 (24, 1e+02%) [82 136 159 173]
;  #2588 (24, 1e+02%) [82 123 136 143]
;  #2589 (24, 1e+02%) [3 4 36]
;  #2590 (24, 1e+02%) [45 46 47 64 77]
;  #2591 (24, 1e+02%) [82 117 126 136 143]
;  #2592 (24, 1e+02%) [3 4 33 53]
;  #2593 (24, 1e+02%) [4 82 117 123 126 136 159 161 173]
;  #2594 (24, 1e+02%) [82 117 123 126 136 159 163 164 173]
;  #2595 (24, 1e+02%) [82 83 123 126 136 159 161 173]
;  #2596 (24, 1e+02%) [82 83 123 126 136 159 163 164 173]
;  #2597 (24, 1e+02%) [82 83 117 136 241 242 243]
;  #2598 (24, 1e+02%) [4 82 83 117 136 173]
;  #2599 (24, 1e+02%) [4 82 83 117 124 169]
;  #2600 (24, 1e+02%) [81 190 210 211 213 214]
;  #2601 (24, 1e+02%) [81 127 210 211 214 234]
;  #2602 (24, 1e+02%) [81 127 190 210 211 213 214 232]
;  #2603 (24, 1e+02%) [57 144 186]
;  #2604 (24, 1e+02%) [4 53 92 93 94 95 119 184]
;  #2605 (24, 1e+02%) [53 168]
;  #2606 (24, 1e+02%) [53 95 148]
;  #2607 (24, 1e+02%) [53 92 274]
;  #2608 (24, 1e+02%) [47 183 268]
;  #2609 (24, 1e+02%) [4 42 86 124]
;  #2610 (24, 1e+02%) [47 49 51 73 74 77 80 83 183]
;  #2611 (24, 1e+02%) [45 65 66 67 77]
;  #2612 (24, 1e+02%) [4 42 82 117 136 165 173]
;  #2613 (24, 1e+02%) [45 47 72]
;  #2614 (24, 1e+02%) [4 42 82 117 123 136]
;  #2615 (24, 1e+02%) [4 42 80 82 124]
;  #2616 (24, 1e+02%) [42 117 124]
;  #2617 (24, 1e+02%) [42 93 95 168]
;  #2618 (24, 1e+02%) [42 89]
;  #2619 (24, 1e+02%) [42 86 117 124]
;  #2620 (24, 1e+02%) [35 53 81]
;  #2621 (24, 1e+02%) [38 81 210 211 213 214]
;  #2622 (24, 1e+02%) [38 81 127 210 211 213 214 232]
;  #2623 (24, 1e+02%) [37 117 136 153]
;  #2624 (24, 1e+02%) [0 45 48 77]
;  #2625 (24, 1e+02%) [4 5 110 111 112]
;  #2626 (24, 1e+02%) [32 259 260 261 262]
;  #2627 (24, 1e+02%) [32 190 194 195 202]
;  #2628 (24, 1e+02%) [32 189 194 195]
;  #2629 (24, 1e+02%) [4 5 13]
;  #2630 (24, 1e+02%) [32 81 127 190]
;  #2631 (24, 1e+02%) [32 38 81 127]
;  #2632 (24, 1e+02%) [81 127 210 234]
;  #2633 (24, 1e+02%) [4 5 6 7 53]
;  #2634 (24, 1e+02%) [24 42 53 82 168]
;  #2635 (24, 1e+02%) [4 33 42 86 124]
;  #2636 (24, 1e+02%) [23 42 84 117]
;  #2637 (24, 1e+02%) [18 82 117 123 136 143]
;  #2638 (24, 1e+02%) [17 42 82 124]
;  #2639 (24, 1e+02%) [13 123 126 161]
;  #2640 (24, 1e+02%) [4 32 38 81 133 134 149]
;  #2641 (24, 1e+02%) [4 32 36]
;  #2642 (24, 1e+02%) [0 9 17 110]
;  #2643 (24, 1e+02%) [13 53 57 123 126 144]
;  #2644 (24, 1e+02%) [4 27 46 47 48 54 55 58 59 110 264]
;  #2645 (24, 1e+02%) [13 20 123 126 161]
;  #2646 (24, 1e+02%) [13 20 57 144]
;  #2647 (24, 1e+02%) [13 20 57]
;  #2648 (24, 1e+02%) [0 9 13 169]
;  #2649 (24, 1e+02%) [13 19 42 166]
;  #2650 (24, 1e+02%) [10 11]
;  #2651 (24, 1e+02%) [9 169]
;  #2652 (24, 1e+02%) [0 9 13 53 169]
;  #2653 (24, 1e+02%) [9 80 169]
;  #2654 (24, 1e+02%) [4 24 42 83 117 136 137 138 140 141 142]
;  #2655 (24, 1e+02%) [65 69 70]
;  #2656 (24, 1e+02%) [4 24 42 83 117 136 137 138 139 140 141 142]
;  #2657 (24, 1e+02%) [9 57 123 126 161]
;  #2658 (24, 1e+02%) [3 31 32]
;  #2659 (24, 1e+02%) [9 53 60]
;  #2660 (24, 1e+02%) [9 53 60 83]
;  #2661 (24, 1e+02%) [9 53 57 123 126 144]
;  #2662 (24, 1e+02%) [4 24 36 38 80 83 118]
;  #2663 (24, 1e+02%) [9 14 53 74 126 159]
;  #2664 (24, 1e+02%) [9 13 169]
;  #2665 (24, 1e+02%) [9 13 124]
;  #2666 (24, 1e+02%) [4 24 33 42 53 83]
;  #2667 (24, 1e+02%) [9 13 57 123 126 238]
;  #2668 (24, 1e+02%) [53 95 274]
;  #2669 (24, 1e+02%) [4 18 37 82 117]
;  #2670 (24, 1e+02%) [4 17 24 42 83 117 136 137 138 139 140 141 142]
;  #2671 (24, 1e+02%) [3 13 53 57]
;  #2672 (24, 1e+02%) [4 13 212]
;  #2673 (24, 1e+02%) [4 13 83 117 212]
;  #2674 (23, 1e+02%) [8 45 51 65 66 87 103 171]
;  #2675 (23, 1e+02%) [4 10 13 33 53 82 110]
;  #2676 (23, 1e+02%) [0 3 45 46 47]
;  #2677 (23, 1e+02%) [4 8 24 31 32 33 45 64]
;  #2678 (23, 1e+02%) [37 110 117 124]
;  #2679 (23, 1e+02%) [4 8 13 31 42 45 48 49 64 81 83]
;  #2680 (23, 1e+02%) [4 8 13 28 39 42 45 49 64 83 104]
;  #2681 (23, 1e+02%) [3 77]
;  #2682 (23, 1e+02%) [19 33 117 124]
;  #2683 (23, 1e+02%) [13 31 32 53]
;  #2684 (23, 1e+02%) [10 33 42 53 82 86]
;  #2685 (23, 1e+02%) [9 13 57 123 126]
;  #2686 (23, 1e+02%) [9 13 53 126 161]
;  #2687 (23, 1e+02%) [8 53 76]
;  #2688 (23, 1e+02%) [8 52]
;  #2689 (23, 1e+02%) [8 49 50]
;  #2690 (22, 1e+02%) [0 8 45 47 64 87]
;  #2691 (22, 1e+02%) [8 45 49 51 64 73 74 77 80 91]
;  #2692 (22, 1e+02%) [8 45 48 49 51 64 87 145]
;  #2693 (22, 1e+02%) [8 45 46 47 64 87]
;  #2694 (22, 1e+02%) [3 4 5 7 8 19]
;  #2695 (22, 1e+02%) [8 45 46 47 52 59 64 79]
;  #2696 (22, 1e+02%) [8 45 46 47 49 59 64]
;  #2697 (22, 1e+02%) [8 27 72]
;  #2698 (22, 1e+02%) [0 3 45 47 48 83]
;  #2699 (22, 1e+02%) [65]
;  #2700 (22, 1e+02%) [0 35]
;  #2701 (22, 1e+02%) [0 53 117]
;  #2702 (22, 1e+02%) [4 8 32 36 38 84 133]
;  #2703 (22, 1e+02%) [5 110]
;  #2704 (22, 1e+02%) [0 45 48 145]
;  #2705 (22, 1e+02%) [82 117 136 139]
;  #2706 (22, 1e+02%) [4 82 83 117 136 139 206 207]
;  #2707 (22, 1e+02%) [4 80 82]
;  #2708 (22, 1e+02%) [45 48 145]
;  #2709 (22, 1e+02%) [4 42 80 83 117]
;  #2710 (22, 1e+02%) [4 8 13 24]
;  #2711 (22, 1e+02%) [36 112]
;  #2712 (22, 1e+02%) [0 15 16 53 158]
;  #2713 (22, 1e+02%) [35 81 132 267]
;  #2714 (22, 1e+02%) [35 81 117 132]
;  #2715 (22, 1e+02%) [4 37 42 86 153]
;  #2716 (22, 1e+02%) [0 4 48 64]
;  #2717 (22, 1e+02%) [3 4 13 48 82]
;  #2718 (22, 1e+02%) [13 32 45 48 64 87]
;  #2719 (22, 1e+02%) [13 32 45 48 64]
;  #2720 (22, 1e+02%) [9 57 123 126 163 164 240]
;  #2721 (22, 1e+02%) [9 57 123 126 163 164 185 240]
;  #2722 (22, 1e+02%) [8 65 67 68 71 73 74 77 80 91 103]
;  #2723 (22, 1e+02%) [8 51 64 75 87]
;  #2724 (21, 1e+02%) [4 13 64]
;  #2725 (21, 1e+02%) [3 5 32 37]
;  #2726 (21, 1e+02%) [4 42 53 85 96 110 132]
;  #2727 (21, 1e+02%) [4 112 124]
;  #2728 (21, 1e+02%) [89 156 157]
;  #2729 (21, 1e+02%) [89 95 156 157]
;  #2730 (21, 1e+02%) [86 117]
;  #2731 (21, 1e+02%) [0 8 27 72]
;  #2732 (21, 1e+02%) [4 83 112]
;  #2733 (21, 1e+02%) [4 53 81]
;  #2734 (21, 1e+02%) [65 66 67]
;  #2735 (21, 1e+02%) [0 3 5 7 8 13 53]
;  #2736 (21, 1e+02%) [36 42]
;  #2737 (21, 1e+02%) [4 36 118 153]
;  #2738 (21, 1e+02%) [4 36 37]
;  #2739 (21, 1e+02%) [4 5 7 8 13 24 53]
;  #2740 (21, 1e+02%) [3 57]
;  #2741 (21, 1e+02%) [4 42 53 85 132]
;  #2742 (21, 1e+02%) [4 27 45 47 64 79 82 83]
;  #2743 (21, 1e+02%) [4 24 53 85 96 132]
;  #2744 (21, 1e+02%) [9 57 123 126 165]
;  #2745 (21, 1e+02%) [4 24 42 53 85 132]
;  #2746 (21, 1e+02%) [4 24 32 42 53 85 132]
;  #2747 (21, 1e+02%) [9 13 53 57 144 165]
;  #2748 (21, 1e+02%) [8 45 65 66 67 68 71 76 79]
;  #2749 (20, 1e+02%) [8 45 52 75]
;  #2750 (20, 1e+02%) [4 13 53 82 110]
;  #2751 (20, 1e+02%) [8 45 51 64 75 87]
;  #2752 (20, 1e+02%) [4 13 35 82 117]
;  #2753 (20, 1e+02%) [0 8 45 47 52 64 79]
;  #2754 (20, 1e+02%) [8 45 46 47 59 64 87]
;  #2755 (20, 1e+02%) [4 13 24 80 117]
;  #2756 (20, 1e+02%) [92 93 94 95 119 136 184]
;  #2757 (20, 1e+02%) [3 5 7 24 83]
;  #2758 (20, 1e+02%) [4 8 38 84 133]
;  #2759 (20, 1e+02%) [3 5 6 7 12 83]
;  #2760 (20, 1e+02%) [189 190 202]
;  #2761 (20, 1e+02%) [154 190 193 202 203]
;  #2762 (20, 1e+02%) [131]
;  #2763 (20, 1e+02%) [5 7 8 9 13 53]
;  #2764 (20, 1e+02%) [93 124 148]
;  #2765 (20, 1e+02%) [4 170]
;  #2766 (20, 1e+02%) [93 95 136 148]
;  #2767 (20, 1e+02%) [4 93 148 180]
;  #2768 (20, 1e+02%) [4 92 93 95 136]
;  #2769 (20, 1e+02%) [4 92 93 95 119 136]
;  #2770 (20, 1e+02%) [38 81 91 103 210 214]
;  #2771 (20, 1e+02%) [4 82 117 136 165 173]
;  #2772 (20, 1e+02%) [4 8 24 31 32 33 42 45 48 49]
;  #2773 (20, 1e+02%) [81 91 103 190 202 210 214]
;  #2774 (20, 1e+02%) [81 91 103 127 190 210 213 214 232]
; searching for minimal number of paths to cover 2775 sets Sun Nov  9 17:43:27 2008
; found solution with 80 paths on Sun Nov  9 17:43:27 2008
; estimated size of remaining search space 36
; minimal solution (80 paths) found on Sun Nov  9 17:43:27 2008
;  0 [152099] 3 [287620] 4 [1062708] 5 [86641] 7 [18786] 8 [109174] 9 [75277] 11 [1180] 13 [335982] 14 [5574] 15 [5783] 18 [2068] 19 [92179] 20 [33010] 22 [6062] 24 [165854] 26 [1208] 27 [17935] 28 [4956] 32 [75468] 33 [130597] 35 [15197] 36 [50937] 37 [40093] 38 [81556] 39 [8621] 42 [318034] 43 [2222] 44 [3876] 45 [33524] 49 [17913] 51 [3858] 52 [701] 53 [762446] 57 [16080] 58 [2216] 59 [21633] 64 [33108] 65 [2557] 72 [367] 75 [25009] 78 [2197] 81 [44912] 82 [547322] 83 [316814] 85 [4384] 86 [9742] 89 [16988] 92 [100989] 93 [119531] 95 [110827] 96 [1860] 110 [77483] 111 [51355] 112 [1827] 117 [112842] 120 [26] 122 [1721] 123 [11901] 124 [120750] 125 [201] 126 [25870] 129 [26] 130 [29] 131 [76] 135 [745] 136 [35079] 144 [1953] 153 [4586] 154 [3809] 158 [1855] 170 [978] 172 [1988] 182 [1018] 188 [518] 190 [5134] 193 [2857] 252 [315] 266 [1008] 268 [104] 

:begin :instance.

qc_unif_set := *top* &
[ ARGS.SYNSEM.LOCAL.CAT.HEAD "0" #| 1062708 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "1" #| 762446 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "2" #| 547322 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "3" #| 335982 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.KEY "4" #| 318034 |#,
  ARGS.SYNSEM.LOCAL.CAT.MC "5" #| 316814 |#,
  ARGS.INFLECTED "6" #| 287620 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "7" #| 165854 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS "8" #| 152099 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "9" #| 130597 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST "10" #| 120750 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "11" #| 119531 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH "12" #| 112842 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "13" #| 110827 |#,
  ARGS.SYNSEM "14" #| 109174 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "15" #| 100989 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "16" #| 92179 |#,
  ARGS "17" #| 86641 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.PRED "18" #| 81556 |#,
  ARGS.SYNSEM.LOCAL.COORD-STRAT "19" #| 77483 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST "20" #| 75468 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "21" #| 75277 |#,
  ARGS.SYNSEM.LOCAL.COORD "22" #| 51355 |#,
  ARGS.SYNSEM.NON-LOCAL.REL "23" #| 50937 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.PRED "24" #| 44912 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALTKEY "25" #| 40093 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LAST "26" #| 35079 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL "27" #| 33524 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "28" #| 33108 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.MOOD "29" #| 33010 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD "30" #| 25870 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.INV "31" #| 25009 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.MC "32" #| 21633 |#,
  ARGS.SYNSEM.LIGHT "33" #| 18786 |#,
  ARGS.SYNSEM.LKEYS.KEYREL "34" #| 17935 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "35" #| 17913 |#,
  ARGS.SYNSEM.LOCAL.CAT.POSTHEAD "36" #| 16988 |#,
  ARGS.SYNSEM.PUNCT.RPUNCT "37" #| 16080 |#,
  ARGS.SYNSEM.NON-LOCAL.QUE "38" #| 15197 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.HEAD.KEYS.KEY "39" #| 11901 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SORT "40" #| 9742 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.PRED "41" #| 8621 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.GEN "42" #| 6062 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST "43" #| 5783 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "44" #| 5574 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.PRED "45" #| 5134 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "46" #| 4956 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "47" #| 4586 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT "48" #| 4384 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.CLTCZD "49" #| 3876 |#,
  ARGS.ALTS.VFALT "50" #| 3858 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.SORT "51" #| 3809 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.FIRST.ARG0.PNG.PN "52" #| 2857 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL "53" #| 2557 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.CLTS.REST "54" #| 2222 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH "55" #| 2216 |#,
  ARGS.ALTS.PERM "56" #| 2197 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.KEYS.ALT2KEY "57" #| 2068 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LIST "58" #| 1988 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CAT.VAL.SPR "59" #| 1953 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.KEYS.KEY "60" #| 1860 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST "61" #| 1855 |#,
  ARGS.SYNSEM.LOCAL.STR.HEADING "62" #| 1827 |#,
  ARGS.SYNSEM.MODIFIED "63" #| 1721 |#,
  ARGS.SYNSEM.LOCAL.AGR.DIVISIBLE "64" #| 1208 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VOICE "65" #| 1180 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "66" #| 1018 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.XARG.PNG.PN "67" #| 1008 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LAST "68" #| 978 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.KEYS.ALTKEY "69" #| 745 |#,
  ARGS.ALTS.CAUS "70" #| 701 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.PNG.GEN "71" #| 518 |#,
  ARGS.ALTS.IMPERS "72" #| 367 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.MOOD "73" #| 315 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.RELS.LIST.REST "74" #| 201 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "75" #| 104 |#,
  ARGS.SYNSEM.LKEYS.ALTKEYREL.PRED "76" #| 76 |#,
  ARGS.SYNSEM.PUNCT.LPUNCT "77" #| 29 |#,
  ARGS.SYNSEM.LOCAL.CAT.PSTN "78" #| 26 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.PUNCT.RPUNCT "79" #| 26 |# ].

:end :instance.