;;;
;;; Quickcheck paths for LinGO (Sept-07), generated on 45 items on Sun Sep  9 15:15:18 2007
;;; PET(tom cheap v0.99.14svn) [0] -PA(0) +SM(MEM[jhpstg.mem] 896925/7053) RI[key] -HA(232) +FI +QCU[120()] +QCS[-1()] -OS[0] +SM +SH {ns 32} (Jul  9 2007/21:27:26) <$root_strict, $root_frag, $root_informal>
;;;

;; 223 total failing paths:
;;
;; #0 SYNSEM.PUNCT.RPUNCT
;; #1 INFLECTD
;; #2 SYNSEM
;; #3 <empty path>
;; #4 SYNSEM.PUNCT.LPUNCT
;; #5 SYNSEM.PUNCT.RCLSTR.RPAREN
;; #6 SYNSEM.PUNCT.RPUNCT.PSF
;; #7 SYNSEM.PUNCT.PNCTPR
;; #8 SYNSEM.--MIN
;; #9 SYNSEM.LOCAL.CAT.HEAD
;; #10 SYNSEM.LOCAL.CAT.HEAD.MOD
;; #11 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST
;; #12 SYNSEM.LOCAL.CAT.VAL.COMPS
;; #13 SYNSEM.LOCAL.CAT.VAL.SUBJ
;; #14 SYNSEM.LOCAL.CAT.HEAD.MINORS.ALTMIN
;; #15 SYNSEM.LOCAL.CAT.VAL.SPR
;; #16 SYNSEM.LOCAL.CONJ
;; #17 SYNSEM.MODIFD
;; #18 SYNSEM.LOCAL.CAT.HEAD.MINORS.NORM
;; #19 SYNSEM.LKEYS.KEYREL
;; #20 SYNSEM.LKEYS.KEYREL.ARG0
;; #21 SYNSEM.LOCAL
;; #22 SYNSEM.LOCAL.ARG-S.REST
;; #23 SYNSEM.LOCAL.CAT.HEAD.VFORM
;; #24 SYNSEM.LOCAL.CAT.HEAD.PRD
;; #25 SYNSEM.--SIND
;; #26 SYNSEM.LOCAL.ARG-S
;; #27 SYNSEM.LOCAL.CAT.HC-LEX
;; #28 SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.OPT
;; #29 SYNSEM.LOCAL.CONT.HOOK.XARG
;; #30 SYNSEM.LOCAL.CAT.VAL.COMPS.REST
;; #31 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.--MIN
;; #32 SYNSEM.LOCAL.ARG-S.FIRST.--SIND
;; #33 SYNSEM.LOCAL.ARG-S.REST.REST
;; #34 SYNSEM.LOCAL.ARG-S.REST.FIRST.--SIND
;; #35 SYNSEM.LOCAL.CAT.HEAD.AUX
;; #36 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST
;; #37 SYNSEM.LEX
;; #38 SYNSEM.NONLOC.REL
;; #39 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH
;; #40 C-CONT.HOOK.XARG
;; #41 C-CONT.RELS.LIST.FIRST.ARG2
;; #42 SYNSEM.LOCAL.CAT.VAL.KCMP.LOCAL.CAT.HEAD
;; #43 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND
;; #44 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX
;; #45 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT
;; #46 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD
;; #47 C-CONT.HOOK.INDEX.DIV
;; #48 C-CONT.HOOK.INDEX.IND
;; #49 SYNSEM.LKEYS.KEYREL.ARG0.PNG.PN
;; #50 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.AGR.PNG.PN
;; #51 C-CONT.HOOK.INDEX.PNG.GEN
;; #52 SYNSEM.LKEYS.KEYREL.ARG0.IND
;; #53 SYNSEM.LKEYS.KEYREL.ARG0.DIV
;; #54 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.PNG.PN
;; #55 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.DIV
;; #56 C-CONT.HOOK.INDEX
;; #57 SYNSEM.LOCAL.AGR.PNG.PN
;; #58 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST
;; #59 SYNSEM.--SIND.IND
;; #60 SYNSEM.--SIND.PNG.PN
;; #61 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT
;; #62 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD
;; #63 SYNSEM.LOCAL.ARG-S.FIRST.OPT
;; #64 SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD
;; #65 SYNSEM.LOCAL.CAT.MC
;; #66 SYNSEM.LOCAL.AGR.DIV
;; #67 SYNSEM.--SIND.DIV
;; #68 SYNSEM.LOCAL.CAT.HEAD.POSS
;; #69 SYNSEM.LOCAL.CAT.VAL.SPEC
;; #70 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST
;; #71 SYNSEM.LOCAL.CAT.POSTHD
;; #72 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST
;; #73 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE
;; #74 SYNSEM.LOCAL.CAT.HEAD.TAM.TENSE
;; #75 SYNSEM.LOCAL.CAT.HEAD.TAM.ASPECT.PROGR
;; #76 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST
;; #77 GENRE
;; #78 SYNSEM.--SIND.SORT
;; #79 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LEX
;; #80 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.PRED
;; #81 SYNSEM.NONLOC.QUE
;; #82 SYNSEM.NONLOC.SLASH
;; #83 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH
;; #84 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MINORS.MIN
;; #85 SYNSEM.LKEYS.--OCOMPKEY
;; #86 SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CAT
;; #87 SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.--MIN
;; #88 SYNSEM.LKEYS.--COMPKEY
;; #89 SYNSEM.LOCAL.ARG-S.REST.FIRST
;; #90 SYNSEM.LKEYS.KEYREL.PRED
;; #91 SYNSEM.MODIFD.LPERIPH
;; #92 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.--MIN
;; #93 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX
;; #94 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--MIN
;; #95 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL
;; #96 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD
;; #97 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ
;; #98 SYNSEM.--SIND.SF
;; #99 SYNSEM.--SIND.E.TENSE
;; #100 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR
;; #101 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG
;; #102 SYNSEM.LOCAL.ARG-S.FIRST.--MIN
;; #103 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT
;; #104 SYNSEM.LKEYS.KEYREL.ARG1
;; #105 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT
;; #106 SYNSEM.NONLOC.REL.LIST
;; #107 SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD
;; #108 SYNSEM.LOCAL.ARG-S.REST.FIRST.LEX
;; #109 SYNSEM.LOCAL.CAT.HEAD.INV
;; #110 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT
;; #111 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC
;; #112 SYNSEM.NONLOC.SLASH.LIST
;; #113 SYNSEM.MODIFD.RPERIPH
;; #114 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0
;; #115 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.SORT
;; #116 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.PUNCT.RPUNCT
;; #117 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD
;; #118 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH.LIST
;; #119 SYNSEM.LOCAL.CAT.HEAD.CASE
;; #120 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.PNG.PN
;; #121 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT
;; #122 SYNSEM.LOCAL.CONJ.CREL.ARG0
;; #123 SYNSEM.LOCAL.CONJ.CREL.PRED
;; #124 SYNSEM.LOCAL.CONJ.CREL.R-INDEX
;; #125 SYNSEM.LOCAL.CAT
;; #126 SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1
;; #127 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.MODIFD
;; #128 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MINORS.ALTMIN
;; #129 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD
;; #130 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD
;; #131 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SUBJ
;; #132 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH.LAST
;; #133 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.PRD
;; #134 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.SORT
;; #135 ALTS.VPELLIP
;; #136 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX
;; #137 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.TENSE
;; #138 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.ASPECT.PERF
;; #139 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG
;; #140 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST
;; #141 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.TAM.TENSE
;; #142 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.MINORS.MIN
;; #143 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MINORS.MIN
;; #144 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST
;; #145 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST.OPT
;; #146 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.PRD
;; #147 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT
;; #148 SYNSEM.LOCAL.CTXT.ACTIVATED
;; #149 SYNSEM.--SIND.E.ASPECT.PROGR
;; #150 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.--SIND
;; #151 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND
;; #152 SYNSEM.LOCAL.CAT.HEAD.TAM.MOOD
;; #153 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #154 SYNSEM.--SIND.E.MOOD
;; #155 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E
;; #156 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.MOOD
;; #157 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.PNG.GEN
;; #158 SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE
;; #159 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.MC
;; #160 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.SORT
;; #161 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.SORT
;; #162 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR
;; #163 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD
;; #164 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.AUX
;; #165 SYNSEM.NONLOC.SLASH.LIST.FIRST.AGR.PNG.PN
;; #166 SYNSEM.NONLOC.QUE.LIST.FIRST
;; #167 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.MOD
;; #168 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #169 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.SF
;; #170 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.VFORM
;; #171 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST
;; #172 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PNG.PN
;; #173 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LEX
;; #174 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--MIN
;; #175 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.SORT
;; #176 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.MINORS.ALTMIN
;; #177 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.VAL.SPR
;; #178 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST.CARG
;; #179 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.PRED
;; #180 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.MODIFD.LPERIPH
;; #181 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.MODIFD.RPERIPH
;; #182 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.DIV
;; #183 SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.MINORS.ALTMIN
;; #184 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD
;; #185 SYNSEM.LKEYS.ALT2KEYREL.PRED
;; #186 SYNSEM.LOCAL.CONJ.CHEAD
;; #187 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.INV
;; #188 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC
;; #189 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR
;; #190 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.PHON.ONSET
;; #191 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST
;; #192 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.E.TENSE
;; #193 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG1
;; #194 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST
;; #195 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.E.TENSE
;; #196 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.PRED
;; #197 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG1
;; #198 SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.E.ASPECT.PROGR
;; #199 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.--MIN
;; #200 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.PRD
;; #201 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MINORS.ALTMIN
;; #202 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT
;; #203 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST
;; #204 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.ARG0.E.TENSE
;; #205 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.ARG1
;; #206 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.PRED
;; #207 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST
;; #208 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST.PRED
;; #209 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST.ARG0.E.TENSE
;; #210 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.E.ASPECT.PROGR
;; #211 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.TAM
;; #212 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.TAM.MOOD
;; #213 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND.SORT
;; #214 SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.VAL.COMPS
;; #215 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.VFORM
;; #216 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SUBJ.FIRST
;; #217 SYNSEM.LKEYS.KEYREL.ARG0.E.TENSE
;; #218 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MINORS.MIN
;; #219 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ
;; #220 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD
;; #221 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.MINORS.ALTMIN
;; #222 SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPEC

;;
;; quickcheck paths (unification)
;;

; traditional paths (max 10000)

:begin :instance.

qc_paths_traditional := *top* &
[ ARGS.SYNSEM.LOCAL.CAT.HEAD "0" #| 21325.27 |#,
  ARGS.SYNSEM.LOCAL.CONJ "1" #| 8967.32 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "2" #| 7042.02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "3" #| 3498.35 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "4" #| 2943.20 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "5" #| 2682.50 |#,
  ARGS "6" #| 2633.32 |#,
  ARGS.SYNSEM.PUNCT.RPUNCT "7" #| 2382.74 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "8" #| 2378.29 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "9" #| 2346.46 |#,
  ARGS.SYNSEM.LEX "10" #| 1429.64 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD "11" #| 1357.27 |#,
  ARGS.SYNSEM.--SIND "12" #| 1354.65 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.MOOD "13" #| 1284.06 |#,
  ARGS.SYNSEM.--MIN "14" #| 1189.63 |#,
  ARGS.SYNSEM "15" #| 1170.35 |#,
  ARGS.SYNSEM.LOCAL.CAT.MC "16" #| 1165.29 |#,
  ARGS.INFLECTD "17" #| 989.46 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD "18" #| 958.57 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "19" #| 943.28 |#,
  ARGS.SYNSEM.PUNCT.LPUNCT "20" #| 875.48 |#,
  ARGS.SYNSEM.NONLOC.SLASH "21" #| 862.17 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST "22" #| 801.77 |#,
  ARGS.SYNSEM.LOCAL.CAT.POSTHD "23" #| 772.52 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PRD "24" #| 719.89 |#,
  ARGS.SYNSEM.LOCAL.ARG-S "25" #| 663.05 |#,
  ARGS.SYNSEM.MODIFD "26" #| 662.30 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST "27" #| 552.55 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MINORS.ALTMIN "28" #| 528.87 |#,
  ARGS.SYNSEM.NONLOC.QUE "29" #| 395.93 |#,
  ARGS.SYNSEM.PUNCT.PNCTPR "30" #| 386.88 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST "31" #| 379.04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "32" #| 369.65 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST "33" #| 349.40 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST "34" #| 339.38 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "35" #| 318.70 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "36" #| 302.97 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "37" #| 301.29 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST "38" #| 300.55 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "39" #| 289.09 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX "40" #| 225.09 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG "41" #| 215.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.--MIN "42" #| 196.11 |#,
  ARGS.SYNSEM.NONLOC.REL "43" #| 194.12 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SUBJ "44" #| 181.82 |#,
  ARGS.SYNSEM.MODIFD.RPERIPH "45" #| 170.74 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT "46" #| 166.38 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MINORS.NORM "47" #| 164.90 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.PUNCT.RPUNCT "48" #| 158.42 |#,
  ARGS.SYNSEM.--SIND.DIV "49" #| 156.66 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.TAM.TENSE "50" #| 154.42 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MINORS.MIN "51" #| 145.48 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT "52" #| 141.20 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "53" #| 140.75 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST "54" #| 136.67 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.PRD "55" #| 130.72 |#,
  ARGS.SYNSEM.LOCAL.CONJ.CREL.R-INDEX "56" #| 129.04 |#,
  ARGS.SYNSEM.MODIFD.LPERIPH "57" #| 124.76 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST.OPT "58" #| 118.14 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "59" #| 104.06 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC "60" #| 93.22 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.REST "61" #| 88.53 |#,
  ARGS.SYNSEM.--SIND.SF "62" #| 87.66 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.PRED "63" #| 85.09 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH "64" #| 79.59 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.INV "65" #| 78.57 |#,
  ARGS.SYNSEM.--SIND.E.TENSE "66" #| 73.22 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.SORT "67" #| 73.05 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST "68" #| 64.16 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E.TENSE "69" #| 60.33 |#,
  ARGS.SYNSEM.LKEYS.KEYREL "70" #| 58.61 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0 "71" #| 54.32 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "72" #| 52.15 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.TENSE "73" #| 50.58 |#,
  ARGS.SYNSEM.LOCAL.AGR.DIV "74" #| 46.74 |#,
  ARGS.SYNSEM.LOCAL.CAT "75" #| 45.02 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "76" #| 44.40 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.--SIND "77" #| 41.55 |#,
  ARGS.SYNSEM.LOCAL "78" #| 40.47 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "79" #| 38.95 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.PNG.PN "80" #| 38.00 |#,
  ARGS.ALTS.VPELLIP "81" #| 35.68 |#,
  ARGS.SYNSEM.LKEYS.ALT2KEYREL.PRED "82" #| 34.00 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.TENSE "83" #| 30.02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "84" #| 28.13 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0.PNG.PN "85" #| 24.37 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST "86" #| 23.50 |#,
  ARGS.SYNSEM.PUNCT.RPUNCT.PSF "87" #| 21.81 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "88" #| 20.53 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.AGR.DIV "89" #| 20.34 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.VFORM "90" #| 19.91 |#,
  ARGS.SYNSEM.--SIND.E.MOOD "91" #| 19.00 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.PRED "92" #| 18.42 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SUBJ.FIRST "93" #| 17.85 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND "94" #| 16.63 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.MINORS.ALTMIN "95" #| 16.35 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.MINORS.MIN "96" #| 16.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.--SIND "97" #| 14.61 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND.SORT "98" #| 14.08 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "99" #| 13.80 |#,
  ARGS.GENRE "100" #| 13.26 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPEC "101" #| 12.94 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR "102" #| 11.79 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--MIN "103" #| 11.69 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CONT.HOOK.XARG "104" #| 11.32 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "105" #| 11.27 |#,
  ARGS.SYNSEM.--SIND.PNG.PN "106" #| 10.64 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.MC "107" #| 10.26 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH.LAST "108" #| 10.00 |#,
  ARGS.SYNSEM.LOCAL.CONJ.CREL.PRED "109" #| 9.30 |#,
  ARGS.SYNSEM.LKEYS.--COMPKEY "110" #| 9.09 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LEX "111" #| 9.01 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.--SIND "112" #| 8.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.--MIN "113" #| 7.97 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.MOOD "114" #| 6.99 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.ASPECT.PROGR "115" #| 6.88 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E "116" #| 6.59 |#,
  ARGS.SYNSEM.NONLOC.QUE.LIST.FIRST "117" #| 6.00 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "118" #| 6.00 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.AGR.PNG.PN "119" #| 5.71 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.POSS "120" #| 5.56 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD "121" #| 5.52 |#,
  ARGS.SYNSEM.LOCAL.CAT.HC-LEX "122" #| 5.36 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.CASE "123" #| 4.92 |#,
  ARGS.SYNSEM.LOCAL.CONJ.CREL.ARG0 "124" #| 4.89 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT "125" #| 4.84 |#,
  ARGS.SYNSEM.--SIND.E.ASPECT.PROGR "126" #| 4.78 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NONLOC.SLASH "127" #| 4.14 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD.MINORS.ALTMIN "128" #| 4.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.SORT "129" #| 4.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ "130" #| 3.92 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MINORS.MIN "131" #| 3.59 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.--SIND "132" #| 3.11 |#,
  ARGS.SYNSEM.LOCAL.CTXT.ACTIVATED "133" #| 3.00 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.HEAD.PRD "134" #| 3.00 |#,
  ARGS.SYNSEM.PUNCT.RCLSTR.RPAREN "135" #| 2.88 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CONT.HOOK.INDEX "136" #| 2.56 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LOCAL.CAT.HEAD "137" #| 2.55 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.PNG.PN "138" #| 2.49 |#,
  ARGS.SYNSEM.--SIND.SORT "139" #| 2.18 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.LOCAL.CAT "140" #| 2.07 |#,
  ARGS.SYNSEM.LOCAL.CONJ.CHEAD "141" #| 2.00 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.OPT "142" #| 1.70 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.AGR.PNG.PN "143" #| 1.65 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.MINORS.MIN "144" #| 1.55 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST "145" #| 1.52 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.FIRST.CARG "146" #| 1.50 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.VFORM "147" #| 1.49 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST "148" #| 1.47 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC "149" #| 1.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.MODIFD "150" #| 1.41 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.--MIN "151" #| 1.41 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT "152" #| 1.39 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.LOCAL.CAT.HEAD "153" #| 1.38 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.KCMP.LOCAL.CAT.HEAD "154" #| 1.37 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.PRED "155" #| 1.35 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0.IND "156" #| 1.34 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.--MIN "157" #| 1.24 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0.DIV "158" #| 1.18 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.PNG.PN "159" #| 1.17 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX.E.ASPECT.PERF "160" #| 1.14 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG1 "161" #| 1.03 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "162" #| 1.02 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "163" #| 1.01 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0.E.TENSE "164" #| 1.00 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.AUX "165" #| 1.00 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.TAM.MOOD "166" #| 0.98 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT "167" #| 0.97 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ "168" #| 0.94 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.REST.FIRST.OPT "169" #| 0.94 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG1 "170" #| 0.91 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.MINORS.ALTMIN "171" #| 0.90 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.PRED "172" #| 0.90 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.TAM "173" #| 0.89 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST.ARG0.E.TENSE "174" #| 0.87 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.REST.FIRST "175" #| 0.85 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.SORT "176" #| 0.84 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG1 "177" #| 0.83 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "178" #| 0.82 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "179" #| 0.81 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD.MOD "180" #| 0.81 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST.ARG0.E.TENSE "181" #| 0.80 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LIST.REST.REST.FIRST "182" #| 0.77 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MINORS.ALTMIN "183" #| 0.70 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.PRD "184" #| 0.68 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--MIN "185" #| 0.68 |#,
  ARGS.SYNSEM.LOCAL.CONT.RELS.LIST.FIRST.ARG0.SORT "186" #| 0.67 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LEX "187" #| 0.67 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NONLOC.SLASH.LIST "188" #| 0.61 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.PHON.ONSET "189" #| 0.59 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "190" #| 0.54 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.MINORS.ALTMIN "191" #| 0.53 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.DIV "192" #| 0.52 |#,
  ARGS.SYNSEM.NONLOC.REL.LIST "193" #| 0.52 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.MODIFD.RPERIPH "194" #| 0.50 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.MODIFD.LPERIPH "195" #| 0.50 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC.FIRST.LOCAL.CAT.VAL.COMPS "196" #| 0.48 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.SF "197" #| 0.46 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.PNG.GEN "198" #| 0.45 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG.E.ASPECT.PROGR "199" #| 0.33 |#,
  ARGS.SYNSEM.LKEYS.--OCOMPKEY "200" #| 0.31 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST.FIRST.LEX "201" #| 0.29 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SPR "202" #| 0.28 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.MC "203" #| 0.27 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD.INV "204" #| 0.27 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST.ARG0.E.TENSE "205" #| 0.25 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.VAL.SPR "206" #| 0.24 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST.PRED "207" #| 0.24 |#,
  ARGS.SYNSEM.--SIND.IND "208" #| 0.24 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.REST.FIRST "209" #| 0.24 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.PRED "210" #| 0.23 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.ARG1 "211" #| 0.23 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST.ARG0.E.TENSE "212" #| 0.22 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.RELS.LAST.FIRST "213" #| 0.21 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.FIRST.--MIN "214" #| 0.20 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.--SIND.SORT "215" #| 0.18 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MOD.FIRST.LOCAL.CONT.HOOK.INDEX.E.ASPECT.PROGR "216" #| 0.11 |# ].


:end :instance.

;; set based paths (threshold 99.0%)

; 3334 failing sets, total count 83393:
;
;  #0 (8614, 10.3%) [9]
;  #1 (7017, 18.7%) [57]
;  #2 (3490, 22.9%) [9 16]
;  #3 (3331, 26.9%) [16]
;  #4 (2592, 30.0%) [45]
;  #5 (2332, 32.8%) [3]
;  #6 (1637, 34.8%) [9 10]
;  #7 (1471, 36.6%) [9 16 25]
;  #8 (1418, 38.3%) [0]
;  #9 (1221, 39.7%) [9 25]
;  #10 (1051, 41.0%) [9 13]
;  #11 (986, 42.2%) [152]
;  #12 (979, 43.3%) [129 130]
;  #13 (919, 44.4%) [9 12]
;  #14 (915, 45.5%) [12]
;  #15 (811, 46.5%) [2 3]
;  #16 (805, 47.5%) [9 15]
;  #17 (705, 48.3%) [10]
;  #18 (637, 49.1%) [4]
;  #19 (589, 49.8%) [15]
;  #20 (569, 50.5%) [8 9]
;  #21 (432, 51.0%) [129 130 136]
;  #22 (395, 51.5%) [9 72]
;  #23 (377, 51.9%) [3 12 16]
;  #24 (373, 52.4%) [7]
;  #25 (362, 52.8%) [8]
;  #26 (362, 53.2%) [129]
;  #27 (358, 53.7%) [17]
;  #28 (355, 54.1%) [35]
;  #29 (355, 54.5%) [37]
;  #30 (336, 54.9%) [0 9]
;  #31 (321, 55.3%) [9 10 65]
;  #32 (319, 55.7%) [9 10 16]
;  #33 (315, 56.1%) [117]
;  #34 (301, 56.4%) [9 82]
;  #35 (301, 56.8%) [9 13 25]
;  #36 (291, 57.1%) [8 9 15]
;  #37 (291, 57.5%) [139 140 141]
;  #38 (280, 57.8%) [22]
;  #39 (277, 58.1%) [23]
;  #40 (271, 58.5%) [9 37]
;  #41 (267, 58.8%) [9 65]
;  #42 (262, 59.1%) [3 9]
;  #43 (257, 59.4%) [81]
;  #44 (255, 59.7%) [9 13 16]
;  #45 (249, 60.0%) [71]
;  #46 (246, 60.3%) [65]
;  #47 (242, 60.6%) [9 13 16 25]
;  #48 (239, 60.9%) [8 9 15 25]
;  #49 (227, 61.2%) [9 15 25]
;  #50 (222, 61.4%) [9 29]
;  #51 (221, 61.7%) [0 2]
;  #52 (217, 62.0%) [9 24]
;  #53 (211, 62.2%) [16 25]
;  #54 (199, 62.4%) [8 9 10]
;  #55 (195, 62.7%) [9 16 37]
;  #56 (193, 62.9%) [129 131 143 144 145]
;  #57 (192, 63.1%) [2]
;  #58 (190, 63.4%) [9 16 72]
;  #59 (188, 63.6%) [1]
;  #60 (185, 63.8%) [9 65 82 112]
;  #61 (183, 64.0%) [9 10 12]
;  #62 (180, 64.3%) [9 17]
;  #63 (178, 64.5%) [9 71]
;  #64 (173, 64.7%) [9 10 25]
;  #65 (172, 64.9%) [12 16]
;  #66 (168, 65.1%) [15 16]
;  #67 (165, 65.3%) [9 10 16 25]
;  #68 (163, 65.5%) [3 16]
;  #69 (160, 65.7%) [129 130 139]
;  #70 (157, 65.9%) [1 3 9]
;  #71 (156, 66.0%) [116]
;  #72 (153, 66.2%) [67]
;  #73 (148, 66.4%) [8 9 13]
;  #74 (148, 66.6%) [16 23]
;  #75 (147, 66.8%) [45 76]
;  #76 (144, 66.9%) [9 10 13]
;  #77 (142, 67.1%) [8 9 25]
;  #78 (141, 67.3%) [25]
;  #79 (141, 67.4%) [9 16 24]
;  #80 (141, 67.6%) [9 13 82]
;  #81 (141, 67.8%) [9 12 16]
;  #82 (139, 67.9%) [9 11 16 25]
;  #83 (137, 68.1%) [13]
;  #84 (134, 68.3%) [129 152]
;  #85 (134, 68.4%) [82]
;  #86 (133, 68.6%) [9 82 112]
;  #87 (132, 68.7%) [1 3]
;  #88 (130, 68.9%) [2 4]
;  #89 (129, 69.1%) [0 9 12]
;  #90 (128, 69.2%) [9 12 16 25]
;  #91 (121, 69.4%) [113]
;  #92 (118, 69.5%) [16 24]
;  #93 (118, 69.6%) [9 12 13]
;  #94 (117, 69.8%) [9 11 25]
;  #95 (116, 69.9%) [129 130 133]
;  #96 (115, 70.1%) [3 9 16]
;  #97 (110, 70.2%) [72]
;  #98 (110, 70.3%) [9 15 16]
;  #99 (109, 70.4%) [147]
;  #100 (108, 70.6%) [95]
;  #101 (107, 70.7%) [9 25 124]
;  #102 (107, 70.8%) [9 14]
;  #103 (100, 71.0%) [8 9 13 25]
;  #104 (99, 71.1%) [16 24 71]
;  #105 (99, 71.2%) [9 10 15]
;  #106 (96, 71.3%) [130 139 143]
;  #107 (96, 71.4%) [11]
;  #108 (95, 71.5%) [129 130 136 152]
;  #109 (92, 71.6%) [1 3 9 72]
;  #110 (88, 71.8%) [3 9 10 12 15 26]
;  #111 (88, 71.9%) [14]
;  #112 (87, 72.0%) [24]
;  #113 (87, 72.1%) [13 23]
;  #114 (85, 72.2%) [82 112]
;  #115 (85, 72.3%) [16 71]
;  #116 (84, 72.4%) [3 37]
;  #117 (84, 72.5%) [38]
;  #118 (83, 72.6%) [0 12]
;  #119 (83, 72.7%) [33]
;  #120 (82, 72.8%) [9 38]
;  #121 (82, 72.9%) [9 16 82]
;  #122 (81, 73.0%) [3 9 12 65]
;  #123 (79, 73.1%) [9 16 25 37]
;  #124 (79, 73.2%) [9 12 36]
;  #125 (78, 73.2%) [9 13 65]
;  #126 (76, 73.3%) [130 131]
;  #127 (76, 73.4%) [36]
;  #128 (74, 73.5%) [3 9 12 16]
;  #129 (74, 73.6%) [1 9 13]
;  #130 (74, 73.7%) [3 8 9]
;  #131 (74, 73.8%) [9 81]
;  #132 (73, 73.9%) [12 36]
;  #133 (72, 74.0%) [1 2 3]
;  #134 (72, 74.0%) [3 12 16 25]
;  #135 (72, 74.1%) [129 143 145 163 221]
;  #136 (70, 74.2%) [39]
;  #137 (69, 74.3%) [99]
;  #138 (69, 74.4%) [62]
;  #139 (68, 74.5%) [8 9 14]
;  #140 (68, 74.5%) [65 72]
;  #141 (68, 74.6%) [12 23]
;  #142 (67, 74.7%) [24 71]
;  #143 (67, 74.8%) [0 9 13]
;  #144 (67, 74.9%) [9 24 71]
;  #145 (66, 74.9%) [3 9 12 16 25]
;  #146 (66, 75.0%) [1 3 9 10 12 15 26]
;  #147 (66, 75.1%) [9 10 15 16]
;  #148 (65, 75.2%) [8 9 14 15]
;  #149 (65, 75.3%) [3 12]
;  #150 (65, 75.3%) [16 37]
;  #151 (64, 75.4%) [8 9 13 15 25]
;  #152 (63, 75.5%) [16 65]
;  #153 (63, 75.6%) [9 36]
;  #154 (62, 75.6%) [76]
;  #155 (62, 75.7%) [1 3 9 13]
;  #156 (61, 75.8%) [37 71]
;  #157 (61, 75.9%) [1 3 9 16]
;  #158 (60, 75.9%) [2 3 8 9 10 11 26]
;  #159 (60, 76.0%) [129 131 136]
;  #160 (60, 76.1%) [3 9 13]
;  #161 (60, 76.1%) [25 124]
;  #162 (60, 76.2%) [16 72]
;  #163 (60, 76.3%) [10 12]
;  #164 (59, 76.4%) [18]
;  #165 (58, 76.4%) [158]
;  #166 (58, 76.5%) [143 144 145]
;  #167 (58, 76.6%) [10 16]
;  #168 (57, 76.6%) [3 9 65]
;  #169 (57, 76.7%) [9 95]
;  #170 (57, 76.8%) [0 1]
;  #171 (56, 76.8%) [129 131 136 152]
;  #172 (56, 76.9%) [9 16 25 62]
;  #173 (55, 77.0%) [112]
;  #174 (55, 77.0%) [1 12]
;  #175 (55, 77.1%) [9 112]
;  #176 (55, 77.2%) [9 25 37]
;  #177 (53, 77.2%) [161]
;  #178 (53, 77.3%) [9 18]
;  #179 (53, 77.4%) [1 2 3 9 13]
;  #180 (52, 77.4%) [3 26]
;  #181 (52, 77.5%) [129 143 145 163]
;  #182 (51, 77.6%) [3 8 9 13 15 25 58]
;  #183 (51, 77.6%) [2 9 15 37]
;  #184 (50, 77.7%) [8 9 65]
;  #185 (50, 77.7%) [3 9 12 16 26 37]
;  #186 (50, 77.8%) [1 2 3 9]
;  #187 (49, 77.9%) [139 140]
;  #188 (48, 77.9%) [129 143 145 161 163]
;  #189 (48, 78.0%) [29]
;  #190 (48, 78.0%) [12 82]
;  #191 (48, 78.1%) [9 13 24]
;  #192 (48, 78.1%) [9 12 82]
;  #193 (48, 78.2%) [9 12 25]
;  #194 (47, 78.3%) [8 9 10 11]
;  #195 (47, 78.3%) [0 2 3]
;  #196 (47, 78.4%) [2 37]
;  #197 (47, 78.4%) [1 3 16]
;  #198 (46, 78.5%) [2 3 9]
;  #199 (46, 78.5%) [9 81 82 112]
;  #200 (46, 78.6%) [9 65 72 112]
;  #201 (46, 78.6%) [9 10 65 72]
;  #202 (45, 78.7%) [3 9 12]
;  #203 (45, 78.8%) [9 16 24 71]
;  #204 (44, 78.8%) [136]
;  #205 (44, 78.9%) [129 130 133 152]
;  #206 (44, 78.9%) [3 9 16 26 37]
;  #207 (44, 79.0%) [71 95]
;  #208 (44, 79.0%) [3 9 10 15 26]
;  #209 (44, 79.1%) [23 72]
;  #210 (44, 79.1%) [9 16 25 65]
;  #211 (44, 79.2%) [9 15 16 25]
;  #212 (43, 79.2%) [8 9 25 61 92]
;  #213 (43, 79.3%) [0 8 9]
;  #214 (43, 79.3%) [91]
;  #215 (42, 79.4%) [125]
;  #216 (42, 79.4%) [0 9 13 25]
;  #217 (42, 79.5%) [9 81 82]
;  #218 (41, 79.5%) [0 1 2]
;  #219 (41, 79.6%) [9 11 16]
;  #220 (40, 79.6%) [92]
;  #221 (40, 79.7%) [3 9 12 25]
;  #222 (40, 79.7%) [9 13 82 112]
;  #223 (40, 79.8%) [1 3 9 12 16 26 37]
;  #224 (39, 79.8%) [119]
;  #225 (39, 79.9%) [34]
;  #226 (39, 79.9%) [9 23]
;  #227 (39, 80.0%) [9 16 71]
;  #228 (38, 80.0%) [1 9]
;  #229 (38, 80.0%) [2 17 37]
;  #230 (38, 80.1%) [9 25 62]
;  #231 (38, 80.1%) [9 11]
;  #232 (37, 80.2%) [4 9]
;  #233 (37, 80.2%) [0 9 25]
;  #234 (37, 80.3%) [9 15 37]
;  #235 (36, 80.3%) [1 3 8 9 15 25 58]
;  #236 (36, 80.4%) [1 3 8 9 13 15 25 26 58]
;  #237 (36, 80.4%) [136 152]
;  #238 (36, 80.4%) [23 24]
;  #239 (36, 80.5%) [2 9 16]
;  #240 (36, 80.5%) [1 3 9 16 25 58]
;  #241 (36, 80.6%) [8 16]
;  #242 (35, 80.6%) [16 82]
;  #243 (35, 80.7%) [12 16 25]
;  #244 (35, 80.7%) [10 37]
;  #245 (35, 80.7%) [8 25]
;  #246 (35, 80.8%) [8 15]
;  #247 (34, 80.8%) [185]
;  #248 (34, 80.9%) [81 82]
;  #249 (34, 80.9%) [16 62]
;  #250 (34, 80.9%) [11 16]
;  #251 (33, 81.0%) [8 9 13 14]
;  #252 (33, 81.0%) [3 16 26]
;  #253 (33, 81.1%) [135]
;  #254 (33, 81.1%) [3 9 25]
;  #255 (33, 81.1%) [1 9 12]
;  #256 (33, 81.2%) [13 16]
;  #257 (33, 81.2%) [12 15]
;  #258 (32, 81.3%) [8 9 25 29]
;  #259 (32, 81.3%) [8 9 10 25]
;  #260 (32, 81.3%) [8 9 12]
;  #261 (32, 81.4%) [133 137]
;  #262 (32, 81.4%) [69]
;  #263 (32, 81.5%) [3 8 9 15]
;  #264 (32, 81.5%) [3 8 9 12 13 25 26]
;  #265 (32, 81.5%) [3 8]
;  #266 (32, 81.6%) [9 71 95]
;  #267 (31, 81.6%) [4 9 12]
;  #268 (31, 81.6%) [9 65 82]
;  #269 (31, 81.7%) [2 3 26]
;  #270 (31, 81.7%) [9 10 12 16 25]
;  #271 (30, 81.8%) [0 1 2 3 9 13]
;  #272 (30, 81.8%) [3 26 37]
;  #273 (30, 81.8%) [133 137 152 155 156]
;  #274 (30, 81.9%) [3 9 12 13 25]
;  #275 (30, 81.9%) [13 16 23]
;  #276 (30, 81.9%) [9 96]
;  #277 (30, 82.0%) [9 91]
;  #278 (30, 82.0%) [8 14]
;  #279 (29, 82.0%) [3 9 15]
;  #280 (29, 82.1%) [16 23 72]
;  #281 (29, 82.1%) [1 2 3 13 23]
;  #282 (29, 82.1%) [2 9 37]
;  #283 (29, 82.2%) [9 14 15]
;  #284 (29, 82.2%) [9 10 37]
;  #285 (29, 82.2%) [9 10 25 61]
;  #286 (28, 82.3%) [8 9 16 25]
;  #287 (28, 82.3%) [4 9 15]
;  #288 (28, 82.3%) [1 23]
;  #289 (28, 82.4%) [3 16 26 37]
;  #290 (28, 82.4%) [3 9 26]
;  #291 (28, 82.4%) [98]
;  #292 (28, 82.5%) [49 54 55]
;  #293 (28, 82.5%) [2 9 16 37]
;  #294 (28, 82.6%) [9 65 98]
;  #295 (28, 82.6%) [9 25 65]
;  #296 (28, 82.6%) [9 10 16 25 61]
;  #297 (28, 82.7%) [2 3 17 26 37]
;  #298 (28, 82.7%) [9 10 12 13]
;  #299 (27, 82.7%) [8 9 18]
;  #300 (27, 82.7%) [0 113]
;  #301 (27, 82.8%) [3 17 26]
;  #302 (27, 82.8%) [3 9 26 37]
;  #303 (27, 82.8%) [9 65 72]
;  #304 (27, 82.9%) [9 11 12]
;  #305 (27, 82.9%) [9 10 12 25]
;  #306 (26, 82.9%) [8 9 37]
;  #307 (26, 83.0%) [8 9 17]
;  #308 (26, 83.0%) [8 9 10 61 92]
;  #309 (26, 83.0%) [8 9 10 15]
;  #310 (26, 83.1%) [129 136]
;  #311 (26, 83.1%) [129 130 139 152]
;  #312 (26, 83.1%) [137 215 216]
;  #313 (26, 83.2%) [3 9 12 26 37]
;  #314 (26, 83.2%) [0 9 65]
;  #315 (26, 83.2%) [18 71]
;  #316 (26, 83.3%) [16 95]
;  #317 (26, 83.3%) [12 25]
;  #318 (26, 83.3%) [1 8]
;  #319 (26, 83.3%) [1 2 3 9 15]
;  #320 (26, 83.4%) [1 3 9 25]
;  #321 (26, 83.4%) [9 13 65 82]
;  #322 (25, 83.4%) [8 9 12 13 36]
;  #323 (25, 83.5%) [8 9 10 12]
;  #324 (25, 83.5%) [2 3 8 9 12 13 15 26 36]
;  #325 (25, 83.5%) [1 21 23 24]
;  #326 (25, 83.6%) [0 37]
;  #327 (25, 83.6%) [1 9 21]
;  #328 (25, 83.6%) [131 139 140 141]
;  #329 (25, 83.6%) [129 147]
;  #330 (25, 83.7%) [129 131 143 159 162]
;  #331 (25, 83.7%) [3 9 10 15 26 72]
;  #332 (25, 83.7%) [10 82 112]
;  #333 (25, 83.8%) [9 16 24 25]
;  #334 (25, 83.8%) [9 10 72]
;  #335 (25, 83.8%) [9 10 11 12 16 25]
;  #336 (24, 83.9%) [8 9 14 25]
;  #337 (24, 83.9%) [3 12 25 124]
;  #338 (24, 83.9%) [3 9 65 72]
;  #339 (24, 83.9%) [133 137 139]
;  #340 (24, 84.0%) [133 137 139 152 155 156]
;  #341 (24, 84.0%) [131 139 141]
;  #342 (24, 84.0%) [130 133 136 139 141 143 152]
;  #343 (24, 84.1%) [130 133 139 141 143 152]
;  #344 (24, 84.1%) [130 133 139 141 143]
;  #345 (24, 84.1%) [130 133 136 139 141 143]
;  #346 (24, 84.1%) [3 9 17 26]
;  #347 (24, 84.2%) [129 130 136 152 222]
;  #348 (24, 84.2%) [129 130 136 222]
;  #349 (24, 84.2%) [129 130 136 165]
;  #350 (24, 84.3%) [129 130 136 139 152]
;  #351 (24, 84.3%) [129 130 136 139]
;  #352 (24, 84.3%) [1 9 13 71]
;  #353 (24, 84.3%) [71 95 96]
;  #354 (24, 84.4%) [35 152]
;  #355 (24, 84.4%) [1 2 3 72 121]
;  #356 (24, 84.4%) [3 9 10 11 12 25 26]
;  #357 (24, 84.5%) [23 65 98]
;  #358 (24, 84.5%) [16 81]
;  #359 (24, 84.5%) [3 4]
;  #360 (24, 84.5%) [2 12 16 37]
;  #361 (24, 84.6%) [1 2 3 12 15 23 26 37]
;  #362 (24, 84.6%) [2 9 16 25 37]
;  #363 (24, 84.6%) [1 3 23]
;  #364 (24, 84.7%) [9 37 71]
;  #365 (24, 84.7%) [0 9 10]
;  #366 (24, 84.7%) [9 13 16 24]
;  #367 (24, 84.8%) [9 12 13 82]
;  #368 (24, 84.8%) [9 12 15]
;  #369 (24, 84.8%) [1 3 9 16 24 72]
;  #370 (24, 84.8%) [9 11 16 37]
;  #371 (24, 84.9%) [9 10 65 82 112]
;  #372 (24, 84.9%) [8 92]
;  #373 (24, 84.9%) [2 3 12 15 26 37]
;  #374 (23, 85.0%) [8 12 25]
;  #375 (23, 85.0%) [8 9 72]
;  #376 (23, 85.0%) [3 16 25]
;  #377 (23, 85.0%) [3 12 17 26]
;  #378 (23, 85.1%) [65 98]
;  #379 (23, 85.1%) [65 82]
;  #380 (23, 85.1%) [0 9 24]
;  #381 (23, 85.1%) [3 8 9 10 25 26]
;  #382 (23, 85.2%) [16 24 37 71]
;  #383 (23, 85.2%) [9 12 82 112]
;  #384 (23, 85.2%) [9 12 72]
;  #385 (23, 85.3%) [9 10 15 25]
;  #386 (22, 85.3%) [1 3 8 9 13 15]
;  #387 (22, 85.3%) [8 9 12 25]
;  #388 (22, 85.3%) [1 3 8 9 10 12 15 26]
;  #389 (22, 85.4%) [8 9 10 16]
;  #390 (22, 85.4%) [8 9 10 16 25]
;  #391 (22, 85.4%) [3 16 25 26]
;  #392 (22, 85.4%) [3 9 16 25]
;  #393 (22, 85.5%) [71 96]
;  #394 (22, 85.5%) [1 9 13 21]
;  #395 (22, 85.5%) [23 65]
;  #396 (22, 85.5%) [1 2 3 26 37]
;  #397 (22, 85.6%) [16 113]
;  #398 (22, 85.6%) [3 8 9 10 12 15 26]
;  #399 (22, 85.6%) [2 9 15]
;  #400 (22, 85.6%) [9 72 82 112]
;  #401 (22, 85.7%) [9 65 72 82 112]
;  #402 (22, 85.7%) [1 3 26]
;  #403 (22, 85.7%) [9 16 37 71]
;  #404 (22, 85.8%) [9 12 13 25]
;  #405 (22, 85.8%) [9 10 29]
;  #406 (22, 85.8%) [9 10 11 12 25]
;  #407 (21, 85.8%) [8 9 25 61]
;  #408 (21, 85.9%) [8 9 11 12 25]
;  #409 (21, 85.9%) [131]
;  #410 (21, 85.9%) [70]
;  #411 (21, 85.9%) [15 37]
;  #412 (21, 86.0%) [9 65 72 81]
;  #413 (21, 86.0%) [8 14 62]
;  #414 (20, 86.0%) [8 11]
;  #415 (20, 86.0%) [8 12]
;  #416 (20, 86.1%) [8 9 13 36]
;  #417 (20, 86.1%) [8 9 14 15 25]
;  #418 (20, 86.1%) [2 3 8 9 13 15 26 36]
;  #419 (20, 86.1%) [96]
;  #420 (20, 86.2%) [3 9 13 25]
;  #421 (20, 86.2%) [1 2 3 17 26 37]
;  #422 (20, 86.2%) [1 8 9 12 13 36]
;  #423 (20, 86.2%) [12 37]
;  #424 (20, 86.2%) [10 65]
;  #425 (20, 86.3%) [9 65 72 98]
;  #426 (20, 86.3%) [9 24 95]
;  #427 (20, 86.3%) [9 16 65]
;  #428 (20, 86.3%) [1 2 3 8 9 12 13 15 26 36]
;  #429 (20, 86.4%) [1 3 9 12 26 37]
;  #430 (20, 86.4%) [8 14 62 92]
;  #431 (19, 86.4%) [8 11 14]
;  #432 (19, 86.4%) [8 9 36]
;  #433 (19, 86.5%) [8 9 11 25]
;  #434 (19, 86.5%) [1 16]
;  #435 (19, 86.5%) [0 24 71]
;  #436 (19, 86.5%) [154]
;  #437 (19, 86.6%) [65 112]
;  #438 (19, 86.6%) [3 9 10 13 25 58 80]
;  #439 (19, 86.6%) [0 9 24 71]
;  #440 (19, 86.6%) [18 113]
;  #441 (19, 86.6%) [2 15 37]
;  #442 (19, 86.7%) [2 9 13 15]
;  #443 (19, 86.7%) [0 8 9 14]
;  #444 (19, 86.7%) [2 8 9]
;  #445 (18, 86.7%) [1 3 8 9 15 25 26 58 65]
;  #446 (18, 86.8%) [8 9 15 25 65]
;  #447 (18, 86.8%) [2 3 9 12 17 26 37]
;  #448 (18, 86.8%) [1 3 8 9 13 15 25 26 58 65]
;  #449 (18, 86.8%) [2 3 9 12]
;  #450 (18, 86.8%) [8 9 13 15 25 65]
;  #451 (18, 86.9%) [1 2]
;  #452 (18, 86.9%) [3 12 25]
;  #453 (18, 86.9%) [3 9 11 13 16 25 37 58 80]
;  #454 (18, 86.9%) [3 8 9 13 25 26]
;  #455 (18, 86.9%) [17 37]
;  #456 (18, 87.0%) [1 2 3 23]
;  #457 (18, 87.0%) [1 8 9 15 25]
;  #458 (18, 87.0%) [1 8 9 25]
;  #459 (18, 87.0%) [1 8 9 13 25]
;  #460 (18, 87.1%) [1 8 9]
;  #461 (18, 87.1%) [2 9 10 15 37]
;  #462 (18, 87.1%) [2 8 25]
;  #463 (18, 87.1%) [9 16 24 72]
;  #464 (18, 87.1%) [9 13 17]
;  #465 (18, 87.2%) [9 12 37]
;  #466 (18, 87.2%) [9 12 13 24]
;  #467 (18, 87.2%) [9 11 13 16 25]
;  #468 (18, 87.2%) [9 10 12 16]
;  #469 (18, 87.3%) [8 62]
;  #470 (18, 87.3%) [8 17]
;  #471 (18, 87.3%) [8 13 15 25]
;  #472 (17, 87.3%) [4 9 12 16]
;  #473 (17, 87.3%) [0 3 12 16]
;  #474 (17, 87.4%) [74]
;  #475 (17, 87.4%) [49]
;  #476 (17, 87.4%) [3 9 10 26 65]
;  #477 (17, 87.4%) [3 9 10 15 26 58 72]
;  #478 (17, 87.4%) [1 2 3 12 17 26 37]
;  #479 (17, 87.5%) [1 3 12 17 26]
;  #480 (17, 87.5%) [9 12 23]
;  #481 (17, 87.5%) [9 10 15 16 25]
;  #482 (16, 87.5%) [2 3 9 17 26 37]
;  #483 (16, 87.5%) [1 3 8 9 12 13 25 26]
;  #484 (16, 87.6%) [8 9 13 14 15]
;  #485 (16, 87.6%) [8 9 11 14 25]
;  #486 (16, 87.6%) [8 9 11]
;  #487 (16, 87.6%) [0 2 3 8 9 12 13 25 26 37]
;  #488 (16, 87.6%) [142]
;  #489 (16, 87.7%) [130 136 147]
;  #490 (16, 87.7%) [3 9 25 37]
;  #491 (16, 87.7%) [3 9 16 25 37 58 80]
;  #492 (16, 87.7%) [1 9 16 25 37]
;  #493 (16, 87.7%) [3 9 13 16 25 37 58 80]
;  #494 (16, 87.7%) [66]
;  #495 (16, 87.8%) [62 92]
;  #496 (16, 87.8%) [30]
;  #497 (16, 87.8%) [3 8 9 12 13 17 25 26]
;  #498 (16, 87.8%) [3 8 9 10 13 15 26 58]
;  #499 (16, 87.8%) [12 61 62]
;  #500 (16, 87.9%) [12 24 36]
;  #501 (16, 87.9%) [0 1 2 3 8 9 12 13 25 26 37]
;  #502 (16, 87.9%) [2 9 16 25]
;  #503 (16, 87.9%) [9 74]
;  #504 (16, 87.9%) [1 3 16 26]
;  #505 (16, 88.0%) [9 16 25 37 62]
;  #506 (16, 88.0%) [2 8 9 15]
;  #507 (16, 88.0%) [1 2 3 9 12 17 26 37]
;  #508 (16, 88.0%) [9 13 81]
;  #509 (16, 88.0%) [9 13 16 65]
;  #510 (16, 88.1%) [1 3 9 16 24]
;  #511 (16, 88.1%) [9 10 11 16 25]
;  #512 (16, 88.1%) [0 1 2 3 26 37 58 114]
;  #513 (16, 88.1%) [2 3 12 17 26 37]
;  #514 (15, 88.1%) [1 2 3 8 9 10 15 26 58 114]
;  #515 (15, 88.1%) [2 3 9 13 15 37]
;  #516 (15, 88.2%) [2 3 8 9 58 61 80 92 114]
;  #517 (15, 88.2%) [8 9 10 25 29 69]
;  #518 (15, 88.2%) [2 3 8 9 10 15 58 114]
;  #519 (15, 88.2%) [0 23]
;  #520 (15, 88.2%) [1 12 36]
;  #521 (15, 88.3%) [3 9 10 12 15 25 26]
;  #522 (15, 88.3%) [3 9 10 12 15 16 25 26]
;  #523 (15, 88.3%) [23 98]
;  #524 (15, 88.3%) [1 9 10]
;  #525 (15, 88.3%) [3 8 9 10 12 26 37]
;  #526 (15, 88.3%) [14 62]
;  #527 (15, 88.4%) [2 23]
;  #528 (15, 88.4%) [2 9 16 65]
;  #529 (15, 88.4%) [9 98]
;  #530 (15, 88.4%) [9 92]
;  #531 (15, 88.4%) [9 25 61]
;  #532 (15, 88.5%) [9 17 29]
;  #533 (15, 88.5%) [2 8 9 15 37]
;  #534 (15, 88.5%) [0 8 9 25 29]
;  #535 (15, 88.5%) [2 8]
;  #536 (14, 88.5%) [2 3 9 37]
;  #537 (14, 88.5%) [0 8 9 12]
;  #538 (14, 88.6%) [6]
;  #539 (14, 88.6%) [2 3 8]
;  #540 (14, 88.6%) [3 16 23 26 37]
;  #541 (14, 88.6%) [1 21 23]
;  #542 (14, 88.6%) [150]
;  #543 (14, 88.6%) [1 9 25 37]
;  #544 (14, 88.7%) [71 74]
;  #545 (14, 88.7%) [37 71 95]
;  #546 (14, 88.7%) [36 71 82 112]
;  #547 (14, 88.7%) [3 9 10 11 12 16 25 26]
;  #548 (14, 88.7%) [15 25]
;  #549 (14, 88.7%) [13 82]
;  #550 (14, 88.8%) [12 13]
;  #551 (14, 88.8%) [9 95 96]
;  #552 (14, 88.8%) [2 9 12 13 37]
;  #553 (14, 88.8%) [1 3 16 23]
;  #554 (14, 88.8%) [9 24 25]
;  #555 (14, 88.8%) [1 3 15 25 26 58]
;  #556 (14, 88.9%) [1 2 3 9 13 15 26 37]
;  #557 (14, 88.9%) [2 8 9 19 20 25]
;  #558 (14, 88.9%) [9 14 15 25]
;  #559 (14, 88.9%) [9 13 36]
;  #560 (14, 88.9%) [9 11 16 25 37]
;  #561 (14, 88.9%) [2 3 26 58 114]
;  #562 (13, 89.0%) [8 9 17 25 61 92]
;  #563 (13, 89.0%) [2 3 9 12 13 25]
;  #564 (13, 89.0%) [8 9 11 12]
;  #565 (13, 89.0%) [8 9 10 37]
;  #566 (13, 89.0%) [2 3 8 9 10 11 13 25 26 37]
;  #567 (13, 89.0%) [3 23]
;  #568 (13, 89.1%) [3 9 12 13]
;  #569 (13, 89.1%) [1 9 12 36]
;  #570 (13, 89.1%) [3 9 10 58 80]
;  #571 (13, 89.1%) [24 37 71]
;  #572 (13, 89.1%) [23 65 82]
;  #573 (13, 89.1%) [0 9 29]
;  #574 (13, 89.1%) [3 8 9 10 12 25 26]
;  #575 (13, 89.2%) [12 23 24]
;  #576 (13, 89.2%) [9 17 71]
;  #577 (13, 89.2%) [9 15 65]
;  #578 (13, 89.2%) [2 8 9 13]
;  #579 (13, 89.2%) [9 13 15]
;  #580 (13, 89.2%) [0 8 9 25]
;  #581 (12, 89.3%) [8 12 15]
;  #582 (12, 89.3%) [0 2 3 8 9 13 25 26 37]
;  #583 (12, 89.3%) [2 3 9 12 13]
;  #584 (12, 89.3%) [1 3 8 9 10 12 26 37]
;  #585 (12, 89.3%) [8 9 10 12 16 25]
;  #586 (12, 89.3%) [2 3 8 9]
;  #587 (12, 89.3%) [3 25 124]
;  #588 (12, 89.4%) [1 2 9 15 37]
;  #589 (12, 89.4%) [3 16 23]
;  #590 (12, 89.4%) [129 136 152]
;  #591 (12, 89.4%) [109]
;  #592 (12, 89.4%) [65 109]
;  #593 (12, 89.4%) [61 92]
;  #594 (12, 89.4%) [3 9 10 26]
;  #595 (12, 89.5%) [3 9 10 11 25 26]
;  #596 (12, 89.5%) [23 65 74 98]
;  #597 (12, 89.5%) [3 8 9 92]
;  #598 (12, 89.5%) [16 81 82]
;  #599 (12, 89.5%) [0 9 15]
;  #600 (12, 89.5%) [13 65]
;  #601 (12, 89.5%) [12 29]
;  #602 (12, 89.6%) [2 12 37]
;  #603 (12, 89.6%) [12 16 61 62]
;  #604 (12, 89.6%) [9 71 95 96]
;  #605 (12, 89.6%) [1 2 3 12 13 15 23 26 36 37]
;  #606 (12, 89.6%) [2 9 12 16 25 37]
;  #607 (12, 89.6%) [9 36 82 112]
;  #608 (12, 89.6%) [9 25 29]
;  #609 (12, 89.7%) [1 3 15 16 25 26 58]
;  #610 (12, 89.7%) [1 3 15]
;  #611 (12, 89.7%) [9 16 72 82]
;  #612 (12, 89.7%) [9 16 25 62 92]
;  #613 (12, 89.7%) [0 9 10 12]
;  #614 (12, 89.7%) [1 3 9 24 72]
;  #615 (12, 89.7%) [9 12 36 37]
;  #616 (12, 89.8%) [2 8 9 10 11 13 19 20 25]
;  #617 (12, 89.8%) [9 11 37]
;  #618 (12, 89.8%) [9 11 13 25]
;  #619 (12, 89.8%) [1 3 9 13 16 25 26 37 58]
;  #620 (12, 89.8%) [0 2 3 9 12 13 25]
;  #621 (12, 89.8%) [9 10 16 25 62]
;  #622 (12, 89.8%) [1 3 9 11 16 25 26 37 58]
;  #623 (12, 89.9%) [9 10 13 14]
;  #624 (12, 89.9%) [1 3 9 11 13 16 25 26 37 58]
;  #625 (12, 89.9%) [9 10 11 25]
;  #626 (12, 89.9%) [1 3 9 10 12 15 25 26]
;  #627 (12, 89.9%) [1 3 9 10 12 15 16 25 26]
;  #628 (12, 89.9%) [1 3 9 10 11 12 25 26]
;  #629 (12, 89.9%) [8 14 69]
;  #630 (12, 90.0%) [8 14 37]
;  #631 (12, 90.0%) [0 2 3 8 9 37 58 80 114]
;  #632 (11, 90.0%) [8 9 15 16 25]
;  #633 (11, 90.0%) [3 23 26 37]
;  #634 (11, 90.0%) [3 9 92]
;  #635 (11, 90.0%) [65 82 109]
;  #636 (11, 90.0%) [37 112]
;  #637 (11, 90.1%) [3 8 9 26 36]
;  #638 (11, 90.1%) [15 17]
;  #639 (11, 90.1%) [3 4 26]
;  #640 (11, 90.1%) [2 37 91]
;  #641 (11, 90.1%) [12 17]
;  #642 (11, 90.1%) [2 9]
;  #643 (11, 90.1%) [9 15 16 37]
;  #644 (11, 90.1%) [9 12 24]
;  #645 (11, 90.2%) [9 10 16 65]
;  #646 (11, 90.2%) [9 10 16 37]
;  #647 (11, 90.2%) [2 3 13 15 23 26 36 37]
;  #648 (11, 90.2%) [2 3 12 13 15 26 36 37]
;  #649 (10, 90.2%) [2 3 12]
;  #650 (10, 90.2%) [1 3 8 9 25 58]
;  #651 (10, 90.2%) [8 9 90]
;  #652 (10, 90.2%) [8 9 25 37]
;  #653 (10, 90.3%) [2 3 9 13 25]
;  #654 (10, 90.3%) [2 3 9 11 12 26 37]
;  #655 (10, 90.3%) [0 2 3 8 9 12 13 15 26 37]
;  #656 (10, 90.3%) [0 95]
;  #657 (10, 90.3%) [0 81 82]
;  #658 (10, 90.3%) [2 3 4]
;  #659 (10, 90.3%) [3 16 25 26 58]
;  #660 (10, 90.3%) [213]
;  #661 (10, 90.4%) [132]
;  #662 (10, 90.4%) [1 2 8 9 19 20]
;  #663 (10, 90.4%) [1 9 25]
;  #664 (10, 90.4%) [129 131 147]
;  #665 (10, 90.4%) [1 9 16 24 25 37]
;  #666 (10, 90.4%) [3 9 13 16 26 37 58]
;  #667 (10, 90.4%) [65 82 98]
;  #668 (10, 90.4%) [54]
;  #669 (10, 90.5%) [43]
;  #670 (10, 90.5%) [1 9 12 16]
;  #671 (10, 90.5%) [36 82 112]
;  #672 (10, 90.5%) [0 10]
;  #673 (10, 90.5%) [3 8 9 13 15]
;  #674 (10, 90.5%) [16 71 95]
;  #675 (10, 90.5%) [1 8 9 25 69]
;  #676 (10, 90.5%) [16 23 65]
;  #677 (10, 90.5%) [13 16 25 37]
;  #678 (10, 90.6%) [1 8 9 10 25 61 69]
;  #679 (10, 90.6%) [12 81]
;  #680 (10, 90.6%) [12 17 36]
;  #681 (10, 90.6%) [1 3 16 26 37]
;  #682 (10, 90.6%) [9 29 37]
;  #683 (10, 90.6%) [9 29 81]
;  #684 (10, 90.6%) [9 24 71 95]
;  #685 (10, 90.6%) [2 8 9 37]
;  #686 (10, 90.7%) [0 1 2 3]
;  #687 (10, 90.7%) [9 14 25]
;  #688 (10, 90.7%) [9 13 98]
;  #689 (10, 90.7%) [1 3 9 26]
;  #690 (10, 90.7%) [0 8 9 69]
;  #691 (10, 90.7%) [9 12 29]
;  #692 (10, 90.7%) [2 8 9 10 13 19 20 25]
;  #693 (10, 90.7%) [1 3 9 16 25 26 37 58 62]
;  #694 (10, 90.7%) [2 8 9 10 12 13 19 20 25]
;  #695 (10, 90.8%) [9 12 13 65]
;  #696 (10, 90.8%) [2 3 58 114]
;  #697 (10, 90.8%) [2 3 37]
;  #698 (10, 90.8%) [9 10 65 71]
;  #699 (10, 90.8%) [9 10 25 124]
;  #700 (10, 90.8%) [1 2 3 8 9 15 58 114]
;  #701 (10, 90.8%) [8 37]
;  #702 (9, 90.8%) [2 3 9 15 37]
;  #703 (9, 90.9%) [8 9 25 29 37]
;  #704 (9, 90.9%) [8 9 16]
;  #705 (9, 90.9%) [8 9 15 37]
;  #706 (9, 90.9%) [2 3 9 10 15 37]
;  #707 (9, 90.9%) [0 8 9 12 13 14]
;  #708 (9, 90.9%) [8 9 12 13]
;  #709 (9, 90.9%) [8 9 11 12 14 25]
;  #710 (9, 90.9%) [8 9 11 12 13 14 25]
;  #711 (9, 90.9%) [8 9 11 12 13 25]
;  #712 (9, 91.0%) [1 3 8]
;  #713 (9, 91.0%) [1 3 4]
;  #714 (9, 91.0%) [2 3 8 9 10 12 13 26]
;  #715 (9, 91.0%) [3 25]
;  #716 (9, 91.0%) [1 77]
;  #717 (9, 91.0%) [3 12 23 65 98]
;  #718 (9, 91.0%) [3 9 15 16]
;  #719 (9, 91.0%) [95 96]
;  #720 (9, 91.0%) [71 112]
;  #721 (9, 91.0%) [3 9 12 26]
;  #722 (9, 91.1%) [65 72 109]
;  #723 (9, 91.1%) [3 9 11 13 25 37]
;  #724 (9, 91.1%) [3 9 10 15 16 25 26]
;  #725 (9, 91.1%) [36 82]
;  #726 (9, 91.1%) [3 9 10 15 25 26]
;  #727 (9, 91.1%) [23 82 98]
;  #728 (9, 91.1%) [3 8 9 80]
;  #729 (9, 91.1%) [3 8 9 25 37 58 80]
;  #730 (9, 91.1%) [3 8 9 10 26 37]
;  #731 (9, 91.2%) [2 91]
;  #732 (9, 91.2%) [1 8 9 12 25]
;  #733 (9, 91.2%) [1 2 3 13]
;  #734 (9, 91.2%) [13 23 65 82]
;  #735 (9, 91.2%) [13 23 98]
;  #736 (9, 91.2%) [2 16]
;  #737 (9, 91.2%) [12 72]
;  #738 (9, 91.2%) [12 38]
;  #739 (9, 91.2%) [1 2 3 9 15 26 37 65]
;  #740 (9, 91.3%) [1 8 9 10 11 12 13]
;  #741 (9, 91.3%) [2 9 17 37]
;  #742 (9, 91.3%) [12 14 61 62 92]
;  #743 (9, 91.3%) [1 2 3 12 13 15 23 26 37]
;  #744 (9, 91.3%) [9 101]
;  #745 (9, 91.3%) [1 3 25 26 58]
;  #746 (9, 91.3%) [9 62]
;  #747 (9, 91.3%) [9 36 37]
;  #748 (9, 91.3%) [9 24 82]
;  #749 (9, 91.4%) [9 24 72]
;  #750 (9, 91.4%) [9 24 37 71]
;  #751 (9, 91.4%) [2 8 9 26 58 61 62]
;  #752 (9, 91.4%) [9 16 24 37 71]
;  #753 (9, 91.4%) [9 14 29]
;  #754 (9, 91.4%) [1 2 3 9 10 15 26 37]
;  #755 (9, 91.4%) [9 13 29]
;  #756 (9, 91.4%) [1 3 9 24]
;  #757 (9, 91.4%) [9 12 16 24]
;  #758 (9, 91.4%) [9 12 14]
;  #759 (9, 91.5%) [2 8 9 10 11 12 13 19 25 26]
;  #760 (9, 91.5%) [2 3 26 37 65 109]
;  #761 (9, 91.5%) [1 3 9 13 15]
;  #762 (9, 91.5%) [9 10 17]
;  #763 (9, 91.5%) [9 10 13 25]
;  #764 (9, 91.5%) [9 10 14]
;  #765 (9, 91.5%) [8 14 92]
;  #766 (9, 91.5%) [2 3 12 13 15 26 37]
;  #767 (8, 91.5%) [8 11 69]
;  #768 (8, 91.6%) [8 9 25 65]
;  #769 (8, 91.6%) [8 9 20]
;  #770 (8, 91.6%) [2 3 9 13]
;  #771 (8, 91.6%) [8 9 15 65]
;  #772 (8, 91.6%) [0 8 9 12 13 25]
;  #773 (8, 91.6%) [8 9 13 14 15 25]
;  #774 (8, 91.6%) [8 9 12 36]
;  #775 (8, 91.6%) [1 3 4 26]
;  #776 (8, 91.6%) [0 8]
;  #777 (8, 91.6%) [178 179 190 191 192 193 194 195 196 197]
;  #778 (8, 91.7%) [151]
;  #779 (8, 91.7%) [3 9 61 62]
;  #780 (8, 91.7%) [3 9 29 58 80]
;  #781 (8, 91.7%) [0 2 37]
;  #782 (8, 91.7%) [3 9 16 24 26 37]
;  #783 (8, 91.7%) [1 9 16 24 25]
;  #784 (8, 91.7%) [3 9 14 26 29]
;  #785 (8, 91.7%) [3 9 13 26 37]
;  #786 (8, 91.7%) [3 9 13 25 37]
;  #787 (8, 91.7%) [1 9 13 37]
;  #788 (8, 91.7%) [3 9 12 13 15 26 37]
;  #789 (8, 91.8%) [3 9 10 12 26]
;  #790 (8, 91.8%) [23 65 82 98]
;  #791 (8, 91.8%) [23 65 72]
;  #792 (8, 91.8%) [23 39 65 72]
;  #793 (8, 91.8%) [17 36]
;  #794 (8, 91.8%) [16 46]
;  #795 (8, 91.8%) [16 25 62]
;  #796 (8, 91.8%) [16 25 37]
;  #797 (8, 91.8%) [16 24 25]
;  #798 (8, 91.8%) [15 16 25]
;  #799 (8, 91.9%) [14 65]
;  #800 (8, 91.9%) [13 82 112]
;  #801 (8, 91.9%) [2 22]
;  #802 (8, 91.9%) [2 16 37]
;  #803 (8, 91.9%) [1 2 3 12 15 26 37]
;  #804 (8, 91.9%) [2 12 37 72]
;  #805 (8, 91.9%) [9 113]
;  #806 (8, 91.9%) [9 65 74 98]
;  #807 (8, 91.9%) [2 9 12 16 25]
;  #808 (8, 91.9%) [9 37 82]
;  #809 (8, 91.9%) [9 25 37 62]
;  #810 (8, 92.0%) [1 3 16 25 26]
;  #811 (8, 92.0%) [1 3 15 26 37]
;  #812 (8, 92.0%) [2 8 15 37]
;  #813 (8, 92.0%) [1 3 15 25 58]
;  #814 (8, 92.0%) [9 16 92]
;  #815 (8, 92.0%) [9 16 81]
;  #816 (8, 92.0%) [9 16 25 82]
;  #817 (8, 92.0%) [0 1 2 3 58 114]
;  #818 (8, 92.0%) [0 1 2 3 8 9 12 13 15 26 37]
;  #819 (8, 92.0%) [9 16 24 25 37]
;  #820 (8, 92.1%) [9 16 23]
;  #821 (8, 92.1%) [1 2 3 9 11 12 26 37]
;  #822 (8, 92.1%) [1 3 9 25 26 37 62]
;  #823 (8, 92.1%) [9 13 25 65]
;  #824 (8, 92.1%) [0 2 3 9 13 25]
;  #825 (8, 92.1%) [9 13 15 65]
;  #826 (8, 92.1%) [1 3 9 16 26 37]
;  #827 (8, 92.1%) [1 3 9 16 25 26 37 58]
;  #828 (8, 92.1%) [1 3 9 16 25 26]
;  #829 (8, 92.1%) [9 12 13 36]
;  #830 (8, 92.1%) [9 12 13 24 36]
;  #831 (8, 92.2%) [9 11 122]
;  #832 (8, 92.2%) [9 11 25 37 123]
;  #833 (8, 92.2%) [2 3 26 37]
;  #834 (8, 92.2%) [9 10 25 62]
;  #835 (8, 92.2%) [1 3 9 12 26]
;  #836 (8, 92.2%) [1 3 9 12 13 15 26 37]
;  #837 (8, 92.2%) [2 3 15 26 72]
;  #838 (8, 92.2%) [2 3 15 26 37 72]
;  #839 (8, 92.2%) [2 3 15 23 26 37 98]
;  #840 (8, 92.2%) [9 10 12 29]
;  #841 (8, 92.3%) [2 3 15 23 26 37]
;  #842 (8, 92.3%) [8 16 25]
;  #843 (8, 92.3%) [2 3 12 15 23 26 37 98]
;  #844 (8, 92.3%) [2 3 12 15 23 26 37]
;  #845 (8, 92.3%) [2 3 12 13 15 23 26 36 37]
;  #846 (7, 92.3%) [8 9 94]
;  #847 (7, 92.3%) [0 8 9 13 14]
;  #848 (7, 92.3%) [8 9 25 92]
;  #849 (7, 92.3%) [8 9 29]
;  #850 (7, 92.3%) [2 3 9 13 37 71]
;  #851 (7, 92.3%) [8 9 17 25 61]
;  #852 (7, 92.4%) [1 3 8 9 15]
;  #853 (7, 92.4%) [8 9 14 25 37]
;  #854 (7, 92.4%) [0 14]
;  #855 (7, 92.4%) [1 3 8 9]
;  #856 (7, 92.4%) [4 9 12 15]
;  #857 (7, 92.4%) [0 38]
;  #858 (7, 92.4%) [0 37 91]
;  #859 (7, 92.4%) [0 24]
;  #860 (7, 92.4%) [3 12 26 37]
;  #861 (7, 92.4%) [1 12 16]
;  #862 (7, 92.4%) [147 215]
;  #863 (7, 92.4%) [1 9 65]
;  #864 (7, 92.5%) [133 147]
;  #865 (7, 92.5%) [133]
;  #866 (7, 92.5%) [129 136 159]
;  #867 (7, 92.5%) [129 130 133 139]
;  #868 (7, 92.5%) [101]
;  #869 (7, 92.5%) [79]
;  #870 (7, 92.5%) [3 9 13 15 26 37]
;  #871 (7, 92.5%) [65 72 81]
;  #872 (7, 92.5%) [61]
;  #873 (7, 92.5%) [39 65 72]
;  #874 (7, 92.5%) [1 9 13 24]
;  #875 (7, 92.5%) [37 91]
;  #876 (7, 92.6%) [37 82 112]
;  #877 (7, 92.6%) [36 71]
;  #878 (7, 92.6%) [1 2 3 72]
;  #879 (7, 92.6%) [16 119]
;  #880 (7, 92.6%) [129 130 133 139 147]
;  #881 (7, 92.6%) [1 2 3 23 121]
;  #882 (7, 92.6%) [3 8 9 10 12 26]
;  #883 (7, 92.6%) [1 8 9 15]
;  #884 (7, 92.6%) [13 82 98]
;  #885 (7, 92.6%) [2 22 23]
;  #886 (7, 92.6%) [13 16 65]
;  #887 (7, 92.6%) [2 13 15 37]
;  #888 (7, 92.7%) [12 62]
;  #889 (7, 92.7%) [12 43]
;  #890 (7, 92.7%) [2 12 13 37]
;  #891 (7, 92.7%) [1 10]
;  #892 (7, 92.7%) [1 8 9 10]
;  #893 (7, 92.7%) [12 14]
;  #894 (7, 92.7%) [10 82]
;  #895 (7, 92.7%) [10 29]
;  #896 (7, 92.7%) [2 9 13 15 37]
;  #897 (7, 92.7%) [2 9 13]
;  #898 (7, 92.7%) [2 8 17 37]
;  #899 (7, 92.7%) [9 17 92]
;  #900 (7, 92.8%) [9 17 25]
;  #901 (7, 92.8%) [9 15 25 38]
;  #902 (7, 92.8%) [71 95 100]
;  #903 (7, 92.8%) [2 8 9 13 37]
;  #904 (7, 92.8%) [129 130 152]
;  #905 (7, 92.8%) [9 13 36 71]
;  #906 (7, 92.8%) [1 3 9 25 26 37]
;  #907 (7, 92.8%) [0 1 9 12]
;  #908 (7, 92.8%) [2 8 9 10 15 37]
;  #909 (7, 92.8%) [1 9 16 25]
;  #910 (7, 92.8%) [2 8 9 10 13 19 25]
;  #911 (7, 92.8%) [9 12 38]
;  #912 (7, 92.9%) [9 12 65]
;  #913 (7, 92.9%) [9 12 13 25 88]
;  #914 (7, 92.9%) [9 10 71]
;  #915 (7, 92.9%) [9 10 16 61]
;  #916 (7, 92.9%) [9 10 14 65]
;  #917 (7, 92.9%) [131 139]
;  #918 (6, 92.9%) [2 3 9 82]
;  #919 (6, 92.9%) [8 12 66]
;  #920 (6, 92.9%) [2 3 9 37 58 80]
;  #921 (6, 92.9%) [8 12 16]
;  #922 (6, 92.9%) [0 2 3 8 9 13 15 26 37]
;  #923 (6, 92.9%) [1 3 8 9 25 26 37 58]
;  #924 (6, 92.9%) [1 3 8 9 25 26 37 58 65]
;  #925 (6, 93.0%) [0 8 9 12 25]
;  #926 (6, 93.0%) [8 9 37 65]
;  #927 (6, 93.0%) [8 9 37 91]
;  #928 (6, 93.0%) [8 9 29 36]
;  #929 (6, 93.0%) [8 9 25 61 91]
;  #930 (6, 93.0%) [2 3 9 13 15 37 58 80]
;  #931 (6, 93.0%) [0 8 9 12 14]
;  #932 (6, 93.0%) [2 3 9 11 26 37]
;  #933 (6, 93.0%) [8 9 14 62]
;  #934 (6, 93.0%) [8 9 14 37]
;  #935 (6, 93.0%) [8 9 14 15 69]
;  #936 (6, 93.0%) [1 3 8 9 13 15 26]
;  #937 (6, 93.0%) [8 9 13 65]
;  #938 (6, 93.0%) [2 3 8 26 58 114]
;  #939 (6, 93.1%) [8 9 12 14 25]
;  #940 (6, 93.1%) [8 9 12 13 25]
;  #941 (6, 93.1%) [8 9 11 14 17 25]
;  #942 (6, 93.1%) [1 3 8 9 10 15]
;  #943 (6, 93.1%) [8 9 11 13 14 25]
;  #944 (6, 93.1%) [0 8 9 12 13]
;  #945 (6, 93.1%) [2 3 8 9 37]
;  #946 (6, 93.1%) [8 9 11 12 14 17 25]
;  #947 (6, 93.1%) [1 3 8 9 10 12 26]
;  #948 (6, 93.1%) [8 9 10 61 91 92]
;  #949 (6, 93.1%) [8 9 10 25 61]
;  #950 (6, 93.1%) [8 9 10 25 29 37]
;  #951 (6, 93.1%) [8 9 10 16 25 61]
;  #952 (6, 93.1%) [8 9 10 15 16]
;  #953 (6, 93.2%) [8 9 10 11 12 13]
;  #954 (6, 93.2%) [8 9 10 11 12 25]
;  #955 (6, 93.2%) [8 9 10 11 12 16 25]
;  #956 (6, 93.2%) [1 2 58 61 62]
;  #957 (6, 93.2%) [1 2 58]
;  #958 (6, 93.2%) [7 130 136 147]
;  #959 (6, 93.2%) [4 12 15]
;  #960 (6, 93.2%) [4 12]
;  #961 (6, 93.2%) [4 9 16]
;  #962 (6, 93.2%) [4 9 13]
;  #963 (6, 93.2%) [4 8 9 25]
;  #964 (6, 93.2%) [4 9 11 13 16 25]
;  #965 (6, 93.2%) [1 2 22]
;  #966 (6, 93.3%) [2 3 8 9 10 11 25 29 37 58]
;  #967 (6, 93.3%) [1 2 17 37]
;  #968 (6, 93.3%) [3 65 72 109 121]
;  #969 (6, 93.3%) [3 58 69]
;  #970 (6, 93.3%) [2 3 8 9 10 11 12 13 25 26 37]
;  #971 (6, 93.3%) [0 2 3 8 9 10 15 37 58 80]
;  #972 (6, 93.3%) [3 25 58]
;  #973 (6, 93.3%) [3 23 65 98]
;  #974 (6, 93.3%) [1 17 37]
;  #975 (6, 93.3%) [3 15]
;  #976 (6, 93.3%) [1 16 25]
;  #977 (6, 93.3%) [3 12 16 26 37]
;  #978 (6, 93.3%) [166]
;  #979 (6, 93.3%) [3 12 16 23 65]
;  #980 (6, 93.4%) [158 213 218]
;  #981 (6, 93.4%) [0 18 113]
;  #982 (6, 93.4%) [0 18]
;  #983 (6, 93.4%) [133 152]
;  #984 (6, 93.4%) [130 136 147 152]
;  #985 (6, 93.4%) [1 2 8 9 19 20 25]
;  #986 (6, 93.4%) [3 9 16 26 58 72]
;  #987 (6, 93.4%) [3 9 16 72]
;  #988 (6, 93.4%) [3 9 16 26 58]
;  #989 (6, 93.4%) [3 9 16 26 37 72]
;  #990 (6, 93.4%) [3 9 16 26 37 58]
;  #991 (6, 93.4%) [3 9 15 37]
;  #992 (6, 93.4%) [82 96]
;  #993 (6, 93.4%) [82 98]
;  #994 (6, 93.5%) [3 9 13 16 25 37 58 71 80]
;  #995 (6, 93.5%) [3 9 13 21]
;  #996 (6, 93.5%) [65 82 98 109]
;  #997 (6, 93.5%) [62 66]
;  #998 (6, 93.5%) [61 62]
;  #999 (6, 93.5%) [0 12 14]
;  #1000 (6, 93.5%) [0 2 9 13]
;  #1001 (6, 93.5%) [3 9 11 16]
;  #1002 (6, 93.5%) [3 9 11 16 25 37 58 80]
;  #1003 (6, 93.5%) [1 9 13 16 24 25 37]
;  #1004 (6, 93.5%) [1 2 8 9 10 11 13 19 20]
;  #1005 (6, 93.5%) [3 9 10 16 25 37 58 80]
;  #1006 (6, 93.5%) [3 9 10 15 25 26 58]
;  #1007 (6, 93.5%) [36 37 71 82 112]
;  #1008 (6, 93.6%) [3 9 10 15 16 25 26 58]
;  #1009 (6, 93.6%) [3 9 10 14 26 65]
;  #1010 (6, 93.6%) [3 9 10 14 26]
;  #1011 (6, 93.6%) [25 37]
;  #1012 (6, 93.6%) [3 9 10 11 16 25 26]
;  #1013 (6, 93.6%) [23 73]
;  #1014 (6, 93.6%) [23 72 98]
;  #1015 (6, 93.6%) [23 65 72 98]
;  #1016 (6, 93.6%) [23 65 74]
;  #1017 (6, 93.6%) [3 8 9 69 80]
;  #1018 (6, 93.6%) [3 8 9 25 26 58]
;  #1019 (6, 93.6%) [18 71 95]
;  #1020 (6, 93.6%) [18 95]
;  #1021 (6, 93.6%) [3 8 9 13 17 25 26]
;  #1022 (6, 93.7%) [3 8 9 13 25 26 58]
;  #1023 (6, 93.7%) [17 82 112]
;  #1024 (6, 93.7%) [3 8 9 12 13 25 26 29]
;  #1025 (6, 93.7%) [130 136]
;  #1026 (6, 93.7%) [3 8 9 11 69]
;  #1027 (6, 93.7%) [0 9 25 61]
;  #1028 (6, 93.7%) [16 65 98]
;  #1029 (6, 93.7%) [16 37 71]
;  #1030 (6, 93.7%) [16 25 113]
;  #1031 (6, 93.7%) [3 8 9 10 25 26 58]
;  #1032 (6, 93.7%) [16 24 82]
;  #1033 (6, 93.7%) [0 1 12]
;  #1034 (6, 93.7%) [16 17 37]
;  #1035 (6, 93.7%) [15 119]
;  #1036 (6, 93.8%) [15 16 113]
;  #1037 (6, 93.8%) [14 18]
;  #1038 (6, 93.8%) [14 16]
;  #1039 (6, 93.8%) [13 25 37]
;  #1040 (6, 93.8%) [13 17]
;  #1041 (6, 93.8%) [2 17]
;  #1042 (6, 93.8%) [12 81 82]
;  #1043 (6, 93.8%) [12 72 109]
;  #1044 (6, 93.8%) [12 65]
;  #1045 (6, 93.8%) [12 71]
;  #1046 (6, 93.8%) [12 24]
;  #1047 (6, 93.8%) [1 2 3 12 15 23 26 36 37]
;  #1048 (6, 93.8%) [12 23 36]
;  #1049 (6, 93.8%) [12 16 82]
;  #1050 (6, 93.9%) [2 9 23]
;  #1051 (6, 93.9%) [12 16 24]
;  #1052 (6, 93.9%) [0 9 12 13]
;  #1053 (6, 93.9%) [12 13 23]
;  #1054 (6, 93.9%) [0 9 12 25]
;  #1055 (6, 93.9%) [1 3 26 58 62 69]
;  #1056 (6, 93.9%) [10 13 37]
;  #1057 (6, 93.9%) [10 12 37]
;  #1058 (6, 93.9%) [1 3 58 69]
;  #1059 (6, 93.9%) [9 122]
;  #1060 (6, 93.9%) [153]
;  #1061 (6, 93.9%) [1 3 26 37]
;  #1062 (6, 93.9%) [9 72 82]
;  #1063 (6, 93.9%) [9 71 96]
;  #1064 (6, 94.0%) [0 9 11 12 25]
;  #1065 (6, 94.0%) [9 45]
;  #1066 (6, 94.0%) [1 2 3 9 15 26 37]
;  #1067 (6, 94.0%) [1 3 23 26 37]
;  #1068 (6, 94.0%) [2 9 10 37]
;  #1069 (6, 94.0%) [9 37 65]
;  #1070 (6, 94.0%) [2 9 10 17 37]
;  #1071 (6, 94.0%) [9 25 62 92]
;  #1072 (6, 94.0%) [9 25 37 123]
;  #1073 (6, 94.0%) [0 9 10 25 61]
;  #1074 (6, 94.0%) [1 3 16 23 26 37]
;  #1075 (6, 94.0%) [9 18 95]
;  #1076 (6, 94.0%) [9 18 37]
;  #1077 (6, 94.0%) [1 3 15 16 25 58]
;  #1078 (6, 94.1%) [9 17 37 82 112]
;  #1079 (6, 94.1%) [9 16 95]
;  #1080 (6, 94.1%) [1 3 13 23]
;  #1081 (6, 94.1%) [2 8 9 58]
;  #1082 (6, 94.1%) [9 16 62]
;  #1083 (6, 94.1%) [9 16 37 92]
;  #1084 (6, 94.1%) [1 3 12 23 26 37]
;  #1085 (6, 94.1%) [9 16 24 82]
;  #1086 (6, 94.1%) [9 16 24 72 81]
;  #1087 (6, 94.1%) [1 3 12 16 23 26 37]
;  #1088 (6, 94.1%) [2 8 9 15 18]
;  #1089 (6, 94.1%) [9 14 29 69]
;  #1090 (6, 94.1%) [2 8 9 12 19 61 62 90]
;  #1091 (6, 94.1%) [9 13 37 82]
;  #1092 (6, 94.2%) [2 8 9 12 15 37]
;  #1093 (6, 94.2%) [9 13 25 82]
;  #1094 (6, 94.2%) [9 13 25 88]
;  #1095 (6, 94.2%) [9 13 16 82]
;  #1096 (6, 94.2%) [9 12 95]
;  #1097 (6, 94.2%) [0 2 3 9 12 13 24 65]
;  #1098 (6, 94.2%) [9 12 17]
;  #1099 (6, 94.2%) [9 12 16 37]
;  #1100 (6, 94.2%) [9 12 16 37 72]
;  #1101 (6, 94.2%) [2 8 9 10 11 13 19 25 26 29]
;  #1102 (6, 94.2%) [9 11 25 37]
;  #1103 (6, 94.2%) [2 8 9 10 11 12 13 19 20 25]
;  #1104 (6, 94.2%) [1 3 9 13 25 26 37]
;  #1105 (6, 94.3%) [9 11 12 25]
;  #1106 (6, 94.3%) [9 11 13 16 25 37]
;  #1107 (6, 94.3%) [9 10 14 69]
;  #1108 (6, 94.3%) [1 3 9 11 25 26 37]
;  #1109 (6, 94.3%) [9 10 12 13 25]
;  #1110 (6, 94.3%) [9 10 12 15]
;  #1111 (6, 94.3%) [9 10 12 15 16]
;  #1112 (6, 94.3%) [9 10 11 14 25]
;  #1113 (6, 94.3%) [1 3 9 11 13 25 26 37]
;  #1114 (6, 94.3%) [1 3 9 11 13 16]
;  #1115 (6, 94.3%) [1 3 9 11 13 16 24 25 26 37 58]
;  #1116 (6, 94.3%) [8 91]
;  #1117 (6, 94.3%) [8 62 92]
;  #1118 (6, 94.3%) [8 66]
;  #1119 (6, 94.4%) [1 3 9 10 16 25 26 37 58 62]
;  #1120 (6, 94.4%) [1 3 9 10 15]
;  #1121 (6, 94.4%) [2 3 12 23 65]
;  #1122 (6, 94.4%) [2 3 12 23 65 98]
;  #1123 (6, 94.4%) [2 3 12 17 26 37 82]
;  #1124 (6, 94.4%) [1 3 9 10 12 26]
;  #1125 (6, 94.4%) [2 3 12 15 26 36 37]
;  #1126 (6, 94.4%) [1 3 8 26 58 62 69]
;  #1127 (5, 94.4%) [2 3 9 37 71]
;  #1128 (5, 94.4%) [0 8 9 13]
;  #1129 (5, 94.4%) [8 12 13 25]
;  #1130 (5, 94.4%) [8 9 92]
;  #1131 (5, 94.4%) [8 9 66]
;  #1132 (5, 94.4%) [8 9 61 92]
;  #1133 (5, 94.4%) [2 3 9 15 24 26 37]
;  #1134 (5, 94.4%) [1 3 8 9 24 25 61 69]
;  #1135 (5, 94.5%) [8 9 15 113]
;  #1136 (5, 94.5%) [2 3 9 13 15 26 37]
;  #1137 (5, 94.5%) [36 37]
;  #1138 (5, 94.5%) [8 9 14 62 92]
;  #1139 (5, 94.5%) [8 9 14 61 62 92]
;  #1140 (5, 94.5%) [8 9 14 17 25]
;  #1141 (5, 94.5%) [2 3 9 10 58 80 114]
;  #1142 (5, 94.5%) [2 3 9 10 26]
;  #1143 (5, 94.5%) [1 2 3 8 9 10 11 25 26 37 58]
;  #1144 (5, 94.5%) [1 3 8 9 10 25 61 69]
;  #1145 (5, 94.5%) [8 9 12 13 17]
;  #1146 (5, 94.5%) [8 9 11 12 17 25]
;  #1147 (5, 94.5%) [2 3 8 9 12 13 26 37]
;  #1148 (5, 94.5%) [2 3 8 9 12 13 17 26 37]
;  #1149 (5, 94.5%) [1 2 37]
;  #1150 (5, 94.5%) [7 131 139]
;  #1151 (5, 94.6%) [2 3 8 9 10 26 58 61 92]
;  #1152 (5, 94.6%) [7 129 131 147]
;  #1153 (5, 94.6%) [6 9]
;  #1154 (5, 94.6%) [4 9 30]
;  #1155 (5, 94.6%) [2 3 8 9 10 13 26]
;  #1156 (5, 94.6%) [4 9 15 65]
;  #1157 (5, 94.6%) [0 2 3 8 9 12 13 15 26 36]
;  #1158 (5, 94.6%) [1 2 23]
;  #1159 (5, 94.6%) [2 3 8 9 10 12 13 26 37]
;  #1160 (5, 94.6%) [4 8 9 15]
;  #1161 (5, 94.6%) [4 8 9 11 12 13 25]
;  #1162 (5, 94.6%) [2 3 8 9 10 11 26 58]
;  #1163 (5, 94.6%) [2 3 8 9 10 12 13 15 25 26 37]
;  #1164 (5, 94.6%) [3 65]
;  #1165 (5, 94.6%) [3 26 82]
;  #1166 (5, 94.6%) [0 3 9 13]
;  #1167 (5, 94.6%) [0 3 9 12 16 25]
;  #1168 (5, 94.7%) [3 15 17 26]
;  #1169 (5, 94.7%) [1 15]
;  #1170 (5, 94.7%) [3 12 23 65]
;  #1171 (5, 94.7%) [215 216]
;  #1172 (5, 94.7%) [184]
;  #1173 (5, 94.7%) [162]
;  #1174 (5, 94.7%) [1 2 8 19 20 25]
;  #1175 (5, 94.7%) [3 12 15 17 26]
;  #1176 (5, 94.7%) [145]
;  #1177 (5, 94.7%) [3 11 26 58 69]
;  #1178 (5, 94.7%) [129 136 152 159]
;  #1179 (5, 94.7%) [1 9 24 25 37]
;  #1180 (5, 94.7%) [147 161]
;  #1181 (5, 94.7%) [75]
;  #1182 (5, 94.7%) [72 109]
;  #1183 (5, 94.7%) [3 9 10 16 58 80]
;  #1184 (5, 94.7%) [36 109]
;  #1185 (5, 94.8%) [1 9 10 25]
;  #1186 (5, 94.8%) [23 82 112]
;  #1187 (5, 94.8%) [23 82]
;  #1188 (5, 94.8%) [0 9 38]
;  #1189 (5, 94.8%) [3 8 9 12 13 17 26]
;  #1190 (5, 94.8%) [16 61 62]
;  #1191 (5, 94.8%) [3 8 9 10 26 58]
;  #1192 (5, 94.8%) [0 2 8 9 25 61]
;  #1193 (5, 94.8%) [1 2 3 23 24]
;  #1194 (5, 94.8%) [1 8 9 25 37]
;  #1195 (5, 94.8%) [3 8 9 10 12 15 25 26]
;  #1196 (5, 94.8%) [3 8 9 10 11 12 25 26]
;  #1197 (5, 94.8%) [3 8 9 10 11 12 13 25 26]
;  #1198 (5, 94.8%) [13 23 65]
;  #1199 (5, 94.8%) [0 9 14]
;  #1200 (5, 94.8%) [12 95]
;  #1201 (5, 94.9%) [12 92]
;  #1202 (5, 94.9%) [12 82 112]
;  #1203 (5, 94.9%) [12 65 109]
;  #1204 (5, 94.9%) [12 16 62]
;  #1205 (5, 94.9%) [12 15 16]
;  #1206 (5, 94.9%) [2 9 16 65 98]
;  #1207 (5, 94.9%) [12 13 37]
;  #1208 (5, 94.9%) [2 9 15 25 37]
;  #1209 (5, 94.9%) [10 71]
;  #1210 (5, 94.9%) [10 29 69]
;  #1211 (5, 94.9%) [2 9 12 37]
;  #1212 (5, 94.9%) [2 9 12 23 37]
;  #1213 (5, 94.9%) [9 61 62]
;  #1214 (5, 94.9%) [9 29 82]
;  #1215 (5, 94.9%) [9 30]
;  #1216 (5, 94.9%) [9 25 82]
;  #1217 (5, 94.9%) [2 9 10]
;  #1218 (5, 95.0%) [9 25 38]
;  #1219 (5, 95.0%) [9 24 65 95]
;  #1220 (5, 95.0%) [9 24 65 71 95]
;  #1221 (5, 95.0%) [3 12 13 15 26 36 38]
;  #1222 (5, 95.0%) [1 2 3 9 13 15 26 37 65]
;  #1223 (5, 95.0%) [1 3 13]
;  #1224 (5, 95.0%) [2 8 9 15 69]
;  #1225 (5, 95.0%) [9 15 37 112]
;  #1226 (5, 95.0%) [2 8 9 13 22]
;  #1227 (5, 95.0%) [9 13 71]
;  #1228 (5, 95.0%) [9 13 81 98]
;  #1229 (5, 95.0%) [9 13 65 99]
;  #1230 (5, 95.0%) [9 13 36 98 99]
;  #1231 (5, 95.0%) [9 13 23 82]
;  #1232 (5, 95.0%) [2 8 9 10 19 20 22 25]
;  #1233 (5, 95.0%) [9 12 71]
;  #1234 (5, 95.0%) [9 12 71 94]
;  #1235 (5, 95.1%) [9 12 65 74 95]
;  #1236 (5, 95.1%) [2 8 9 10 11 37]
;  #1237 (5, 95.1%) [2 8 9 10 11 13 19 25]
;  #1238 (5, 95.1%) [1 3 9 15]
;  #1239 (5, 95.1%) [9 11 12 16]
;  #1240 (5, 95.1%) [37 95 96 97]
;  #1241 (5, 95.1%) [9 10 18]
;  #1242 (5, 95.1%) [2 3 17 26 37 82]
;  #1243 (5, 95.1%) [2 3 17 26]
;  #1244 (5, 95.1%) [2 3 15 23 26 36 37]
;  #1245 (5, 95.1%) [9 10 12 13 25 82]
;  #1246 (5, 95.1%) [8 61 91 92]
;  #1247 (5, 95.1%) [2 3 12 23 24]
;  #1248 (5, 95.1%) [2 3 12 23 24 65]
;  #1249 (5, 95.1%) [1 2 3 8 9 15 24 26 58 114]
;  #1250 (5, 95.1%) [2 3 12 13 23 65 98]
;  #1251 (4, 95.1%) [8 12 17 66]
;  #1252 (4, 95.2%) [8 12 14 62 92]
;  #1253 (4, 95.2%) [2 3 9 27 58 71 80 95 96 114 126]
;  #1254 (4, 95.2%) [0 2 3 8 9 13 25 26 58]
;  #1255 (4, 95.2%) [2 3 9 26 95]
;  #1256 (4, 95.2%) [8 10 37]
;  #1257 (4, 95.2%) [2 3 9 26 37]
;  #1258 (4, 95.2%) [2 3 9 26 29 37]
;  #1259 (4, 95.2%) [2 3 9 17 26]
;  #1260 (4, 95.2%) [65 82 112]
;  #1261 (4, 95.2%) [0 8 9 12 13 25 29]
;  #1262 (4, 95.2%) [8 9 17 37]
;  #1263 (4, 95.2%) [1 2 3 8 9 10 12 13 26 37]
;  #1264 (4, 95.2%) [1 2 3 23 72 121]
;  #1265 (4, 95.2%) [8 9 15 17]
;  #1266 (4, 95.2%) [1 2 3 8 9 10 12 13 15 25 26 37]
;  #1267 (4, 95.2%) [0 2 3 8 9 13 15 26 36]
;  #1268 (4, 95.2%) [8 9 14 25 29]
;  #1269 (4, 95.2%) [8 9 14 15 68]
;  #1270 (4, 95.2%) [8 9 14 15 17]
;  #1271 (4, 95.2%) [1 2 3 8 9 10 11 25 26 30 37]
;  #1272 (4, 95.3%) [8 9 13 15 65]
;  #1273 (4, 95.3%) [2 3 9 10 14 26 29 37]
;  #1274 (4, 95.3%) [8 9 13 14 25]
;  #1275 (4, 95.3%) [1 2 3 8 9 10 11 13 25 26 37]
;  #1276 (4, 95.3%) [1 3 8 9 12 13 17 26]
;  #1277 (4, 95.3%) [8 9 12 13 15 17 19 20 25]
;  #1278 (4, 95.3%) [3 9 12 13 37]
;  #1279 (4, 95.3%) [1 2 3 8 9 10 11 12 13 26 37]
;  #1280 (4, 95.3%) [1 2 3 8 9 10 11 12 13 25 26 37]
;  #1281 (4, 95.3%) [1 3 8 9 10 12 15 25 26]
;  #1282 (4, 95.3%) [1 3 8 9 10 11 12 25 26]
;  #1283 (4, 95.3%) [2 3 8 9 15 37]
;  #1284 (4, 95.3%) [8 9 10 25 29]
;  #1285 (4, 95.3%) [1 3 8 9 10 11 12 13 25 26]
;  #1286 (4, 95.3%) [2 3 8 9 15 24 26 58 95 96]
;  #1287 (4, 95.3%) [8 9 10 15 17]
;  #1288 (4, 95.3%) [1 9 13 16 25 37]
;  #1289 (4, 95.3%) [8 9 10 12 13 15 17 19 20 25]
;  #1290 (4, 95.3%) [8 9 10 11 13]
;  #1291 (4, 95.3%) [2 3 8 9 12 15 25 26 37]
;  #1292 (4, 95.3%) [2 3 8 9 12 13 25 26 37]
;  #1293 (4, 95.4%) [0 2 3 8 9 12 13 25 26 29 37]
;  #1294 (4, 95.4%) [4 65]
;  #1295 (4, 95.4%) [4 9 16 25]
;  #1296 (4, 95.4%) [4 9 13 16 25]
;  #1297 (4, 95.4%) [0 71]
;  #1298 (4, 95.4%) [2 3 8 9 10 12 13 19 20 25 26]
;  #1299 (4, 95.4%) [1 2 21]
;  #1300 (4, 95.4%) [3 58]
;  #1301 (4, 95.4%) [2 3 8 9 10 11 12 13 26 37]
;  #1302 (4, 95.4%) [1 2 12 16 37]
;  #1303 (4, 95.4%) [1 3 9 57]
;  #1304 (4, 95.4%) [3 25 26 58]
;  #1305 (4, 95.4%) [0 2 3 8 9]
;  #1306 (4, 95.4%) [0 3 9]
;  #1307 (4, 95.4%) [3 17]
;  #1308 (4, 95.4%) [3 16 26 58]
;  #1309 (4, 95.4%) [3 16 25 58]
;  #1310 (4, 95.4%) [3 16 23 65]
;  #1311 (4, 95.4%) [1 21 49 54]
;  #1312 (4, 95.4%) [1 21]
;  #1313 (4, 95.4%) [3 13 23 109]
;  #1314 (4, 95.5%) [213 218]
;  #1315 (4, 95.5%) [183]
;  #1316 (4, 95.5%) [1 2 8 25]
;  #1317 (4, 95.5%) [170 171 198 199 200 201 202]
;  #1318 (4, 95.5%) [23 82 98 109]
;  #1319 (4, 95.5%) [3 11]
;  #1320 (4, 95.5%) [134]
;  #1321 (4, 95.5%) [0 2 3 5]
;  #1322 (4, 95.5%) [3 9 61 62 80]
;  #1323 (4, 95.5%) [1 9 37]
;  #1324 (4, 95.5%) [0 12 65]
;  #1325 (4, 95.5%) [129 136 143]
;  #1326 (4, 95.5%) [3 9 17]
;  #1327 (4, 95.5%) [3 12 16 23 26 37]
;  #1328 (4, 95.5%) [3 9 24 26 37]
;  #1329 (4, 95.5%) [16 25 54]
;  #1330 (4, 95.5%) [1 9 16 24 25 77]
;  #1331 (4, 95.5%) [81 82 112]
;  #1332 (4, 95.5%) [3 9 13 25 37 58 80]
;  #1333 (4, 95.5%) [0 12 61 62]
;  #1334 (4, 95.5%) [1 9 13 25 37]
;  #1335 (4, 95.6%) [65 74 98]
;  #1336 (4, 95.6%) [3 9 12 17 26]
;  #1337 (4, 95.6%) [3 9 16 61 62]
;  #1338 (4, 95.6%) [37 65]
;  #1339 (4, 95.6%) [57 125]
;  #1340 (4, 95.6%) [1 2 8 9 10 11 13 19 21]
;  #1341 (4, 95.6%) [37 71 112]
;  #1342 (4, 95.6%) [3 9 10 25 26 58 61]
;  #1343 (4, 95.6%) [3 9 10 16 26]
;  #1344 (4, 95.6%) [1 9 12 13 36]
;  #1345 (4, 95.6%) [29 82]
;  #1346 (4, 95.6%) [9 13 23]
;  #1347 (4, 95.6%) [25 62 92]
;  #1348 (4, 95.6%) [25 62]
;  #1349 (4, 95.6%) [0 9 95]
;  #1350 (4, 95.6%) [3 9 10 11 25 26 58]
;  #1351 (4, 95.6%) [0 1 3]
;  #1352 (4, 95.6%) [1 9 10 13]
;  #1353 (4, 95.6%) [23 72 82]
;  #1354 (4, 95.6%) [3 8 11 26 58 69]
;  #1355 (4, 95.6%) [1 9 10 12 16 25]
;  #1356 (4, 95.7%) [0 9 81 82]
;  #1357 (4, 95.7%) [1 9 10 12]
;  #1358 (4, 95.7%) [1 2 3 26 37 62]
;  #1359 (4, 95.7%) [1 2 3 26 37 58 114]
;  #1360 (4, 95.7%) [1 9 24 25]
;  #1361 (4, 95.7%) [18 37]
;  #1362 (4, 95.7%) [3 8 9 13 17 26]
;  #1363 (4, 95.7%) [1 2 3 26]
;  #1364 (4, 95.7%) [1 8 25]
;  #1365 (4, 95.7%) [95 100]
;  #1366 (4, 95.7%) [0 1 2 3 8 9 15]
;  #1367 (4, 95.7%) [16 54]
;  #1368 (4, 95.7%) [16 37 71 95]
;  #1369 (4, 95.7%) [16 25 46]
;  #1370 (4, 95.7%) [149]
;  #1371 (4, 95.7%) [1 9 13 16 25]
;  #1372 (4, 95.7%) [16 17]
;  #1373 (4, 95.7%) [3 8 9 10 11 13 25 26]
;  #1374 (4, 95.7%) [0 9 18]
;  #1375 (4, 95.7%) [14 62 66 92]
;  #1376 (4, 95.7%) [1 8 9 13 14]
;  #1377 (4, 95.8%) [14 16 62]
;  #1378 (4, 95.8%) [13 112]
;  #1379 (4, 95.8%) [2 76]
;  #1380 (4, 95.8%) [13 65 109]
;  #1381 (4, 95.8%) [1 8 9 12 13 25]
;  #1382 (4, 95.8%) [1 2 3 13 23 24]
;  #1383 (4, 95.8%) [13 36 109]
;  #1384 (4, 95.8%) [2 18 91]
;  #1385 (4, 95.8%) [12 109]
;  #1386 (4, 95.8%) [2 14 37]
;  #1387 (4, 95.8%) [12 61]
;  #1388 (4, 95.8%) [2 12 16 37 65]
;  #1389 (4, 95.8%) [1 9 21 24]
;  #1390 (4, 95.8%) [1 2 3 12 13 15 26 36 37]
;  #1391 (4, 95.8%) [12 14 62]
;  #1392 (4, 95.8%) [0 9 12 24]
;  #1393 (4, 95.8%) [2 9 16 25 37 65]
;  #1394 (4, 95.8%) [11 69]
;  #1395 (4, 95.8%) [11 14]
;  #1396 (4, 95.8%) [10 16 65]
;  #1397 (4, 95.8%) [2 9 13 82]
;  #1398 (4, 95.9%) [1 2 3 9 26 37]
;  #1399 (4, 95.9%) [1 3 26 58 62]
;  #1400 (4, 95.9%) [15 16 25 113]
;  #1401 (4, 95.9%) [1 3 25 58]
;  #1402 (4, 95.9%) [9 83]
;  #1403 (4, 95.9%) [0 1 9 24]
;  #1404 (4, 95.9%) [2 9 12 16 37]
;  #1405 (4, 95.9%) [9 65 74]
;  #1406 (4, 95.9%) [1 3 25 26 55 58 66]
;  #1407 (4, 95.9%) [2 9 12 16]
;  #1408 (4, 95.9%) [0 1 2 3 8 9 10 15 26 37]
;  #1409 (4, 95.9%) [9 38 96]
;  #1410 (4, 95.9%) [9 37 69]
;  #1411 (4, 95.9%) [1 3 17 26]
;  #1412 (4, 95.9%) [9 36 71 82 112]
;  #1413 (4, 95.9%) [1 3 16 71]
;  #1414 (4, 95.9%) [1 9 24 77]
;  #1415 (4, 95.9%) [143]
;  #1416 (4, 95.9%) [23 24 65]
;  #1417 (4, 95.9%) [1 2 3 9 15 24 26 37 65]
;  #1418 (4, 96.0%) [9 24 65]
;  #1419 (4, 96.0%) [9 24 25 37]
;  #1420 (4, 96.0%) [0 2 3 9 29 37 58 80 114]
;  #1421 (4, 96.0%) [9 23 82]
;  #1422 (4, 96.0%) [9 23 72]
;  #1423 (4, 96.0%) [0 9 10 11 12 25]
;  #1424 (4, 96.0%) [1 8 9 13 14 25]
;  #1425 (4, 96.0%) [9 16 81 82]
;  #1426 (4, 96.0%) [9 16 61 62]
;  #1427 (4, 96.0%) [9 16 25 92]
;  #1428 (4, 96.0%) [2 8 9 19 20]
;  #1429 (4, 96.0%) [2 8 9 17 37]
;  #1430 (4, 96.0%) [9 15 112]
;  #1431 (4, 96.0%) [9 15 113]
;  #1432 (4, 96.0%) [2 8 9 15 37 68]
;  #1433 (4, 96.0%) [1 3 12 15 17 26]
;  #1434 (4, 96.0%) [9 15 25 37]
;  #1435 (4, 96.0%) [9 14 37]
;  #1436 (4, 96.0%) [1 3 12 13 15 26 36 38]
;  #1437 (4, 96.0%) [9 14 17 29]
;  #1438 (4, 96.0%) [1 3 9 71 72]
;  #1439 (4, 96.1%) [1 2 8 9 19 21]
;  #1440 (4, 96.1%) [1 3 9 71]
;  #1441 (4, 96.1%) [9 13 112]
;  #1442 (4, 96.1%) [1 3 9 26 37]
;  #1443 (4, 96.1%) [2 8 9 12 19 90]
;  #1444 (4, 96.1%) [9 13 57]
;  #1445 (4, 96.1%) [1 3 9 25 26 37 65]
;  #1446 (4, 96.1%) [1 3 9 21 24]
;  #1447 (4, 96.1%) [9 13 23 82 98]
;  #1448 (4, 96.1%) [2 8 9 11 14 25]
;  #1449 (4, 96.1%) [9 13 17 36]
;  #1450 (4, 96.1%) [9 13 16 25 37]
;  #1451 (4, 96.1%) [9 12 94 95]
;  #1452 (4, 96.1%) [9 12 91]
;  #1453 (4, 96.1%) [1 3 9 17 26]
;  #1454 (4, 96.1%) [1 3 9 16 25 26 37 58 65]
;  #1455 (4, 96.1%) [1 3 9 16 25]
;  #1456 (4, 96.1%) [0 2 3 9 13 24 65]
;  #1457 (4, 96.1%) [2 8 9 10 11 12 13 19 25 26 29]
;  #1458 (4, 96.1%) [9 12 13 24 29 36]
;  #1459 (4, 96.1%) [9 12 13 16]
;  #1460 (4, 96.2%) [2 3 26 37 109]
;  #1461 (4, 96.2%) [0 1 2 3 9 13 71]
;  #1462 (4, 96.2%) [1 3 9 13 16]
;  #1463 (4, 96.2%) [2 3 24]
;  #1464 (4, 96.2%) [2 3 23 65 98]
;  #1465 (4, 96.2%) [2 3 23 65]
;  #1466 (4, 96.2%) [0 1 2 3 8 9 12 13 15 26 36]
;  #1467 (4, 96.2%) [1 2 3 8 9 25 58]
;  #1468 (4, 96.2%) [2 3 13 24]
;  #1469 (4, 96.2%) [9 10 11 14 16]
;  #1470 (4, 96.2%) [9 10 11 12 16]
;  #1471 (4, 96.2%) [2 3 13 15 23 26 37 98]
;  #1472 (4, 96.2%) [8 91 92]
;  #1473 (4, 96.2%) [1 2 3 8 9 17 26 37]
;  #1474 (4, 96.2%) [8 69]
;  #1475 (4, 96.2%) [8 61 62 92]
;  #1476 (4, 96.2%) [2 3 12 24]
;  #1477 (4, 96.2%) [0 8 9 13 25 29]
;  #1478 (4, 96.2%) [1 2 3 8 9 12 15 25 26 37]
;  #1479 (4, 96.2%) [8 16 119]
;  #1480 (4, 96.2%) [1 2 3 8 9 12 13 26 37]
;  #1481 (4, 96.3%) [1 2 3 8 9 12 13 25 26 37]
;  #1482 (4, 96.3%) [2 3 12 15 23 26 36 37]
;  #1483 (4, 96.3%) [1 3 9 10 11 12 16 25 26]
;  #1484 (4, 96.3%) [8 14 62 66 92]
;  #1485 (4, 96.3%) [1 2 3 8 9 12 13 17 26 37]
;  #1486 (4, 96.3%) [2 3 12 13 23 24]
;  #1487 (4, 96.3%) [8 14 25 62 92]
;  #1488 (4, 96.3%) [0 2 3 8 9 25 26 37 58 91]
;  #1489 (4, 96.3%) [8 14 17]
;  #1490 (4, 96.3%) [8 14 15]
;  #1491 (4, 96.3%) [2 3 12 13 15 23 26 37 98]
;  #1492 (4, 96.3%) [8 13 15]
;  #1493 (3, 96.3%) [8 12 37]
;  #1494 (3, 96.3%) [9 15 38]
;  #1495 (3, 96.3%) [0 8 9 12 14 25]
;  #1496 (3, 96.3%) [8 9 71 95]
;  #1497 (3, 96.3%) [8 9 71 95 96]
;  #1498 (3, 96.3%) [2 3 9 15 26 37]
;  #1499 (3, 96.3%) [2 8 9 15 68]
;  #1500 (3, 96.3%) [2 3 9 13 37 58 80 114]
;  #1501 (3, 96.3%) [1 2 3 8 9 10 15 26 37 58]
;  #1502 (3, 96.3%) [1 3 8 9 15 26 65]
;  #1503 (3, 96.3%) [1 3 8 9 15 17 19]
;  #1504 (3, 96.3%) [8 9 16 25 37]
;  #1505 (3, 96.4%) [1 2 3 8 9 10 12 13 19 20 25 26]
;  #1506 (3, 96.4%) [2 3 9 13 15 24 26 37]
;  #1507 (3, 96.4%) [2 3 9 12 25]
;  #1508 (3, 96.4%) [0 1 2 3 8 9 10 15 26 58 114]
;  #1509 (3, 96.4%) [13 65 82]
;  #1510 (3, 96.4%) [1 3 8 9 13 25 26 58]
;  #1511 (3, 96.4%) [12 16 23 36]
;  #1512 (3, 96.4%) [8 9 14 61 92]
;  #1513 (3, 96.4%) [1 3 8 9 13 15 26 65]
;  #1514 (3, 96.4%) [2 3 9 10 29 37]
;  #1515 (3, 96.4%) [2 3 9 10 15 25 37 58 80]
;  #1516 (3, 96.4%) [2 3 9 10 15 25 37]
;  #1517 (3, 96.4%) [2 3 9 10 13 37]
;  #1518 (3, 96.4%) [2 3 9 10 13 37 69]
;  #1519 (3, 96.4%) [8 9 12 78]
;  #1520 (3, 96.4%) [2 3 9 10 13 15 25 37 69]
;  #1521 (3, 96.4%) [8 9 12 24 25]
;  #1522 (3, 96.4%) [8 9 12 15]
;  #1523 (3, 96.4%) [8 9 12 14 17 25]
;  #1524 (3, 96.4%) [8 9 12 14 24 25]
;  #1525 (3, 96.4%) [2 3 8 25]
;  #1526 (3, 96.4%) [1 2 3 8 9 10 11 13 19 22 24 25]
;  #1527 (3, 96.4%) [2 3 8 9 58 80 114]
;  #1528 (3, 96.4%) [72 82 112]
;  #1529 (3, 96.4%) [8 9 12 13 14]
;  #1530 (3, 96.4%) [3 8 9 69]
;  #1531 (3, 96.4%) [2 3 8 9 37 80]
;  #1532 (3, 96.4%) [2 3 8 9 37 61 62 80]
;  #1533 (3, 96.5%) [8 9 11 13 25]
;  #1534 (3, 96.5%) [2 3 8 9 37 58 80 114]
;  #1535 (3, 96.5%) [1 9 13 24 25]
;  #1536 (3, 96.5%) [2 3 8 9 21 26 58 62 70 114]
;  #1537 (3, 96.5%) [0 1 8 9 12 13 25]
;  #1538 (3, 96.5%) [2 3 8 9 15 25 26 37]
;  #1539 (3, 96.5%) [8 9 10 15 37]
;  #1540 (3, 96.5%) [2 3 8 9 13 26 37]
;  #1541 (3, 96.5%) [8 9 10 15 16 37]
;  #1542 (3, 96.5%) [0 8 9 10 37 65]
;  #1543 (3, 96.5%) [2 3 8 9 13 25 26 37]
;  #1544 (3, 96.5%) [1 8 12]
;  #1545 (3, 96.5%) [2 3 8 9 13 17 26 37]
;  #1546 (3, 96.5%) [0 1 8 9 12 13]
;  #1547 (3, 96.5%) [2 3 8 9 12 37 58 61 62]
;  #1548 (3, 96.5%) [2 3 8 9 12 37 58]
;  #1549 (3, 96.5%) [139 199 219 220]
;  #1550 (3, 96.5%) [2 3 8 9 11 37 80]
;  #1551 (3, 96.5%) [4 15 16]
;  #1552 (3, 96.5%) [2 3 8 9 10 15 37 58]
;  #1553 (3, 96.5%) [2 3 8 9 10 13 26 37]
;  #1554 (3, 96.5%) [0 81]
;  #1555 (3, 96.5%) [2 3 8 9 10 13 15 25 26 37]
;  #1556 (3, 96.5%) [0 2 3 8 9 10 15 58 114]
;  #1557 (3, 96.5%) [129 136 147]
;  #1558 (3, 96.5%) [1 2 15 58]
;  #1559 (3, 96.5%) [2 3 8 9 10 11 13 26 37]
;  #1560 (3, 96.6%) [3 76]
;  #1561 (3, 96.6%) [3 26 37 65]
;  #1562 (3, 96.6%) [1 2 9 17 37 82 112]
;  #1563 (3, 96.6%) [1 72]
;  #1564 (3, 96.6%) [1 2 9 16 25 65]
;  #1565 (3, 96.6%) [1 2 8 9 10 19 20 22 25]
;  #1566 (3, 96.6%) [1 2 9 15 25 37]
;  #1567 (3, 96.6%) [0 36]
;  #1568 (3, 96.6%) [1 25]
;  #1569 (3, 96.6%) [24 82]
;  #1570 (3, 96.6%) [1 21 49 53 54 55]
;  #1571 (3, 96.6%) [3 8 9 10 58 80 114]
;  #1572 (3, 96.6%) [3 15 23 26 37]
;  #1573 (3, 96.6%) [1 15 16]
;  #1574 (3, 96.6%) [3 12 26 36 37]
;  #1575 (3, 96.6%) [12 14 61 92]
;  #1576 (3, 96.6%) [3 12 23]
;  #1577 (3, 96.6%) [170 172 173 174 176 180 181 182]
;  #1578 (3, 96.6%) [129 131 136 139]
;  #1579 (3, 96.6%) [3 12 15 26]
;  #1580 (3, 96.6%) [147 152 161]
;  #1581 (3, 96.6%) [3 12 13 23]
;  #1582 (3, 96.6%) [1 9 12 13 24 25]
;  #1583 (3, 96.6%) [143 145 163]
;  #1584 (3, 96.6%) [3 12 13 17 26]
;  #1585 (3, 96.6%) [3 9 15 16 80]
;  #1586 (3, 96.6%) [9 13 37]
;  #1587 (3, 96.6%) [135 149]
;  #1588 (3, 96.7%) [3 9 72]
;  #1589 (3, 96.7%) [3 9 10 13]
;  #1590 (3, 96.7%) [36 37 82 112]
;  #1591 (3, 96.7%) [3 9 26 72]
;  #1592 (3, 96.7%) [3 9 26 37 72]
;  #1593 (3, 96.7%) [1 9 24]
;  #1594 (3, 96.7%) [23 112]
;  #1595 (3, 96.7%) [1 2 8 9 15 37]
;  #1596 (3, 96.7%) [3 9 15 80]
;  #1597 (3, 96.7%) [0 12 24 36]
;  #1598 (3, 96.7%) [82 95]
;  #1599 (3, 96.7%) [1 9 16]
;  #1600 (3, 96.7%) [72 82 109 112]
;  #1601 (3, 96.7%) [71 95 96 97]
;  #1602 (3, 96.7%) [3 9 13 15 37]
;  #1603 (3, 96.7%) [1 9 13 25 77]
;  #1604 (3, 96.7%) [1 9 13 24 25 37]
;  #1605 (3, 96.7%) [3 9 12 24]
;  #1606 (3, 96.7%) [12 13 23 37]
;  #1607 (3, 96.7%) [60]
;  #1608 (3, 96.7%) [15 112]
;  #1609 (3, 96.7%) [0 1 3 8 9 10 15]
;  #1610 (3, 96.7%) [3 9 11 25 37]
;  #1611 (3, 96.7%) [3 9 11 25]
;  #1612 (3, 96.7%) [3 9 11]
;  #1613 (3, 96.7%) [38 95]
;  #1614 (3, 96.7%) [38 71 96]
;  #1615 (3, 96.7%) [3 9 10 26 58 114]
;  #1616 (3, 96.8%) [3 9 10 25 37 58 80]
;  #1617 (3, 96.8%) [3 9 10 25 37]
;  #1618 (3, 96.8%) [1 2 8 9 10 11 12 13 19 25 26]
;  #1619 (3, 96.8%) [12 16 36]
;  #1620 (3, 96.8%) [3 9 10 15 25]
;  #1621 (3, 96.8%) [0 12 36]
;  #1622 (3, 96.8%) [1 9 11 12]
;  #1623 (3, 96.8%) [0 10 12]
;  #1624 (3, 96.8%) [24 82 112]
;  #1625 (3, 96.8%) [3 9 13 25 37 71]
;  #1626 (3, 96.8%) [24 38]
;  #1627 (3, 96.8%) [1 9 10 11 12 25]
;  #1628 (3, 96.8%) [3 8 9 61 92]
;  #1629 (3, 96.8%) [1 9 10 11 12 16 25]
;  #1630 (3, 96.8%) [3 8 9 58 80]
;  #1631 (3, 96.8%) [23 24 76]
;  #1632 (3, 96.8%) [216]
;  #1633 (3, 96.8%) [3 8 9 13 25 58 61 62]
;  #1634 (3, 96.8%) [3 8 9 13 25 58]
;  #1635 (3, 96.8%) [17 112]
;  #1636 (3, 96.8%) [17 92]
;  #1637 (3, 96.8%) [17 71]
;  #1638 (3, 96.8%) [36 65 109]
;  #1639 (3, 96.8%) [16 82 112]
;  #1640 (3, 96.8%) [3 8 9 11 69 80]
;  #1641 (3, 96.8%) [16 57]
;  #1642 (3, 96.8%) [1 8 9 37]
;  #1643 (3, 96.8%) [3 8 9 10 26 37 58]
;  #1644 (3, 96.9%) [3 8 9 10 25 58 80]
;  #1645 (3, 96.9%) [3 8 9 10 26]
;  #1646 (3, 96.9%) [16 31 46]
;  #1647 (3, 96.9%) [16 31]
;  #1648 (3, 96.9%) [3 8 9 10 15 25 26]
;  #1649 (3, 96.9%) [3 8 9 10 13 15 26]
;  #1650 (3, 96.9%) [15 123]
;  #1651 (3, 96.9%) [0 1 2 37]
;  #1652 (3, 96.9%) [1 8 9 14 25 37]
;  #1653 (3, 96.9%) [1 8 9 14]
;  #1654 (3, 96.9%) [2 8 11 37]
;  #1655 (3, 96.9%) [14 92]
;  #1656 (3, 96.9%) [14 91]
;  #1657 (3, 96.9%) [1 8 9 12 24 25]
;  #1658 (3, 96.9%) [2 61]
;  #1659 (3, 96.9%) [2 37 92]
;  #1660 (3, 96.9%) [3 8 9 10 11 25 26]
;  #1661 (3, 96.9%) [13 23 82]
;  #1662 (3, 96.9%) [13 23 82 98]
;  #1663 (3, 96.9%) [1 8 9 12 13 15 17 19 20 25]
;  #1664 (3, 96.9%) [13 23 81 98]
;  #1665 (3, 96.9%) [13 23 65 98]
;  #1666 (3, 96.9%) [1 8 9 12 13 14 24 25]
;  #1667 (3, 96.9%) [13 23 36 98 109]
;  #1668 (3, 96.9%) [2 18 37 91]
;  #1669 (3, 96.9%) [1 8 9 11 12 25]
;  #1670 (3, 96.9%) [0 9 12 29]
;  #1671 (3, 96.9%) [1 2 3 12 17 23 26 37]
;  #1672 (3, 97.0%) [12 61 92]
;  #1673 (3, 97.0%) [1 8 9 10 12 13 15 17 19 20 25]
;  #1674 (3, 97.0%) [1 8 9 10 12]
;  #1675 (3, 97.0%) [12 23 72 109]
;  #1676 (3, 97.0%) [12 23 43]
;  #1677 (3, 97.0%) [12 23 37]
;  #1678 (3, 97.0%) [12 23 29]
;  #1679 (3, 97.0%) [1 2 3 12 13 15 26 37]
;  #1680 (3, 97.0%) [2 9 17]
;  #1681 (3, 97.0%) [11 12]
;  #1682 (3, 97.0%) [131 139 141 152]
;  #1683 (3, 97.0%) [2 9 14 15 25]
;  #1684 (3, 97.0%) [9 119]
;  #1685 (3, 97.0%) [2 9 14 15]
;  #1686 (3, 97.0%) [0 1 9 65]
;  #1687 (3, 97.0%) [2 9 13 37]
;  #1688 (3, 97.0%) [1 2 8 19 25]
;  #1689 (3, 97.0%) [9 79]
;  #1690 (3, 97.0%) [17 65]
;  #1691 (3, 97.0%) [9 66]
;  #1692 (3, 97.0%) [9 65 71 95]
;  #1693 (3, 97.0%) [0 2 8 9 11 12 13 14 25 37]
;  #1694 (3, 97.0%) [2 9 12]
;  #1695 (3, 97.0%) [9 37 92]
;  #1696 (3, 97.0%) [16 36]
;  #1697 (3, 97.0%) [13 16 23 25]
;  #1698 (3, 97.0%) [2 9 10 12 15]
;  #1699 (3, 97.1%) [2 9 10 12 13 26]
;  #1700 (3, 97.1%) [3 12 15 26 37]
;  #1701 (3, 97.1%) [129 131]
;  #1702 (3, 97.1%) [9 25 36]
;  #1703 (3, 97.1%) [9 24 82 112]
;  #1704 (3, 97.1%) [9 24 72 81]
;  #1705 (3, 97.1%) [2 8 37]
;  #1706 (3, 97.1%) [9 24 38]
;  #1707 (3, 97.1%) [1 2 3 9 15 24 26 37]
;  #1708 (3, 97.1%) [9 23 82 98 109]
;  #1709 (3, 97.1%) [2 8 15]
;  #1710 (3, 97.1%) [2 8 14 91]
;  #1711 (3, 97.1%) [9 18 71 95]
;  #1712 (3, 97.1%) [2 8 12 14 91]
;  #1713 (3, 97.1%) [1 3 15 16]
;  #1714 (3, 97.1%) [1 3 12 23 26 36 37]
;  #1715 (3, 97.1%) [9 16 25 46]
;  #1716 (3, 97.1%) [2 8 9 19 90]
;  #1717 (3, 97.1%) [2 8 9 19 61 62 90]
;  #1718 (3, 97.1%) [1 3 12 17 23 26]
;  #1719 (3, 97.1%) [0 12 15]
;  #1720 (3, 97.1%) [9 16 17]
;  #1721 (3, 97.1%) [1 3 12 15 23 26 37]
;  #1722 (3, 97.1%) [1 3 12 15 23 26]
;  #1723 (3, 97.1%) [2 8 9 14 92]
;  #1724 (3, 97.1%) [144 145]
;  #1725 (3, 97.1%) [1 3 12 13 17 23 26]
;  #1726 (3, 97.1%) [2 8 9 14 25]
;  #1727 (3, 97.2%) [2 8 9 14 15]
;  #1728 (3, 97.2%) [2 8 9 14 15 37]
;  #1729 (3, 97.2%) [9 14 15 16]
;  #1730 (3, 97.2%) [2 8 9 13 19 26 61 62 90]
;  #1731 (3, 97.2%) [1 2 3 9 10 15 25 26 37 58]
;  #1732 (3, 97.2%) [2 8 9 12 25]
;  #1733 (3, 97.2%) [2 8 9 12 15 58 80]
;  #1734 (3, 97.2%) [1 2 3 9 10 15 25 26 37]
;  #1735 (3, 97.2%) [3 9 57]
;  #1736 (3, 97.2%) [2 8 9 12 14 25]
;  #1737 (3, 97.2%) [1 2 3 9 10 13 26 37 69]
;  #1738 (3, 97.2%) [13 16 25]
;  #1739 (3, 97.2%) [2 8 9 12 13 37]
;  #1740 (3, 97.2%) [9 13 25 37]
;  #1741 (3, 97.2%) [9 13 17 23]
;  #1742 (3, 97.2%) [129 143 162]
;  #1743 (3, 97.2%) [2 8 9 10 25 26 58]
;  #1744 (3, 97.2%) [148]
;  #1745 (3, 97.2%) [2 8 9 10 19 20 61]
;  #1746 (3, 97.2%) [9 12 62]
;  #1747 (3, 97.2%) [9 12 37 72]
;  #1748 (3, 97.2%) [2 8 9 10 13 15 25]
;  #1749 (3, 97.2%) [0 8 9 37]
;  #1750 (3, 97.2%) [2 8 9 10 11 13 19 25 42 58]
;  #1751 (3, 97.2%) [9 12 14 25]
;  #1752 (3, 97.2%) [0 9 10 11 12 14 25]
;  #1753 (3, 97.2%) [9 12 13 37 82]
;  #1754 (3, 97.2%) [146]
;  #1755 (3, 97.3%) [3 8 11]
;  #1756 (3, 97.3%) [0 9 12 15]
;  #1757 (3, 97.3%) [9 11 13 25 37]
;  #1758 (3, 97.3%) [1 8 9 26 58 61 62]
;  #1759 (3, 97.3%) [1 3 9 13 25 26 37 58]
;  #1760 (3, 97.3%) [0 8 9 25 29 37]
;  #1761 (3, 97.3%) [129 147 152]
;  #1762 (3, 97.3%) [71 82 95]
;  #1763 (3, 97.3%) [1 3 9 10 15 25 26]
;  #1764 (3, 97.3%) [9 10 57]
;  #1765 (3, 97.3%) [9 10 25 82]
;  #1766 (3, 97.3%) [3 12 13 24]
;  #1767 (3, 97.3%) [9 10 25 65 82 112]
;  #1768 (3, 97.3%) [9 10 17 29]
;  #1769 (3, 97.3%) [9 10 15 25 37]
;  #1770 (3, 97.3%) [9 10 15 37]
;  #1771 (3, 97.3%) [2 9 17 37 82 112]
;  #1772 (3, 97.3%) [9 10 15 16 37]
;  #1773 (3, 97.3%) [9 10 15 16 25 37]
;  #1774 (3, 97.3%) [152 211 212]
;  #1775 (3, 97.3%) [1 2 3 8 9 19 26 61 62]
;  #1776 (3, 97.3%) [0 1 37 91]
;  #1777 (3, 97.3%) [9 10 14 15]
;  #1778 (3, 97.3%) [9 10 14 15 16]
;  #1779 (3, 97.3%) [9 10 13 25 82]
;  #1780 (3, 97.3%) [1 3 9 11 25 26]
;  #1781 (3, 97.3%) [16 25 65]
;  #1782 (3, 97.3%) [1 3 9 11 13 24 25 26 37]
;  #1783 (3, 97.4%) [130 131 152]
;  #1784 (3, 97.4%) [9 10 11 12 14 25]
;  #1785 (3, 97.4%) [9 10 11 12 14 16]
;  #1786 (3, 97.4%) [1 3 9 11 13]
;  #1787 (3, 97.4%) [2 3 13 15 23 26 37]
;  #1788 (3, 97.4%) [1 3 9 10 25 26 37]
;  #1789 (3, 97.4%) [8 71]
;  #1790 (3, 97.4%) [8 67]
;  #1791 (3, 97.4%) [2 3 12 26 37]
;  #1792 (3, 97.4%) [8 61]
;  #1793 (3, 97.4%) [2 3 12 23 117]
;  #1794 (3, 97.4%) [2 3 12 23 65 98 99]
;  #1795 (3, 97.4%) [8 25 37]
;  #1796 (3, 97.4%) [2 3 12 23 24 65 98]
;  #1797 (3, 97.4%) [8 17 92]
;  #1798 (3, 97.4%) [8 16 62]
;  #1799 (3, 97.4%) [54 55]
;  #1800 (3, 97.4%) [2 3 12 13 23 24 99]
;  #1801 (3, 97.4%) [2 3 12 13 23 24 65]
;  #1802 (3, 97.4%) [8 13 25]
;  #1803 (2, 97.4%) [8 12 61]
;  #1804 (2, 97.4%) [2 12 37 82]
;  #1805 (2, 97.4%) [1 3 8 25 26 58 60]
;  #1806 (2, 97.4%) [8 12 17]
;  #1807 (2, 97.4%) [9 18 96]
;  #1808 (2, 97.4%) [0 2 3 9 26 29 37]
;  #1809 (2, 97.4%) [1 3 8 15 25 26 58]
;  #1810 (2, 97.4%) [1 2 3 8 9 11 19 21 22]
;  #1811 (2, 97.4%) [1 3 8 15]
;  #1812 (2, 97.4%) [8 12 14 37 62 91]
;  #1813 (2, 97.4%) [18 71 95 96]
;  #1814 (2, 97.4%) [8 12 14 37]
;  #1815 (2, 97.5%) [1 2 3 8 9 11 19 20 22]
;  #1816 (2, 97.5%) [1 3 8 12]
;  #1817 (2, 97.5%) [13 23 38 65 82]
;  #1818 (2, 97.5%) [2 3 9 29 37]
;  #1819 (2, 97.5%) [8 11 16]
;  #1820 (2, 97.5%) [1 8 60]
;  #1821 (2, 97.5%) [8 11 12 14]
;  #1822 (2, 97.5%) [36 82 109]
;  #1823 (2, 97.5%) [8 9 95 96]
;  #1824 (2, 97.5%) [8 9 112]
;  #1825 (2, 97.5%) [2 14 22 24 35]
;  #1826 (2, 97.5%) [2 3 9 25 37 71]
;  #1827 (2, 97.5%) [123]
;  #1828 (2, 97.5%) [1 2 3 8 9 11 19 20]
;  #1829 (2, 97.5%) [131 215]
;  #1830 (2, 97.5%) [8 16 17 62]
;  #1831 (2, 97.5%) [8 9 69]
;  #1832 (2, 97.5%) [2 3 9 25]
;  #1833 (2, 97.5%) [8 9 62]
;  #1834 (2, 97.5%) [8 9 61 62]
;  #1835 (2, 97.5%) [1 3 8 9 25]
;  #1836 (2, 97.5%) [8 9 46]
;  #1837 (2, 97.5%) [17 82]
;  #1838 (2, 97.5%) [9 37 99]
;  #1839 (2, 97.5%) [1 8 25 77]
;  #1840 (2, 97.5%) [1 3 8 9 15 58]
;  #1841 (2, 97.5%) [8 9 25 37 91]
;  #1842 (2, 97.5%) [16 61]
;  #1843 (2, 97.5%) [2 3 12 13 15 23 26 37]
;  #1844 (2, 97.5%) [8 9 25 29 36]
;  #1845 (2, 97.5%) [3 12 15 23 26 98]
;  #1846 (2, 97.5%) [133 138]
;  #1847 (2, 97.5%) [2 3 9 13 25 31]
;  #1848 (2, 97.5%) [3 9 10 26 72]
;  #1849 (2, 97.5%) [3 8 9 13 15 80]
;  #1850 (2, 97.5%) [8 9 16 17 37]
;  #1851 (2, 97.5%) [17 109]
;  #1852 (2, 97.5%) [8 9 15 69]
;  #1853 (2, 97.5%) [8 9 10 11 25]
;  #1854 (2, 97.5%) [1 3 8 9 13 25 26 58 65]
;  #1855 (2, 97.5%) [9 10 17 37]
;  #1856 (2, 97.6%) [2 3 9 12 17 26 29 37]
;  #1857 (2, 97.6%) [3 12 13 17 23 26]
;  #1858 (2, 97.6%) [2 103]
;  #1859 (2, 97.6%) [8 9 14 70]
;  #1860 (2, 97.6%) [15 16 37]
;  #1861 (2, 97.6%) [2 3 9 11 26]
;  #1862 (2, 97.6%) [8 9 10 11 16 25]
;  #1863 (2, 97.6%) [0 8 9 12 13 14 25 29]
;  #1864 (2, 97.6%) [1 3 8 9 13 15 26 58]
;  #1865 (2, 97.6%) [8 9 14 17]
;  #1866 (2, 97.6%) [1 3 9 13 15 26 37]
;  #1867 (2, 97.6%) [2 3 9 10 27 29 37 80]
;  #1868 (2, 97.6%) [8 9 13 25 65]
;  #1869 (2, 97.6%) [8 9 13 25 29]
;  #1870 (2, 97.6%) [8 9 13 17]
;  #1871 (2, 97.6%) [2 8 9 13 29]
;  #1872 (2, 97.6%) [2 3 9 10 14 26 37]
;  #1873 (2, 97.6%) [8 9 13 15 17 19 20 25]
;  #1874 (2, 97.6%) [8 9 13 14 25 29]
;  #1875 (2, 97.6%) [1 3 8 9 13]
;  #1876 (2, 97.6%) [3 8 9 11 12]
;  #1877 (2, 97.6%) [8 9 12 57]
;  #1878 (2, 97.6%) [11 57]
;  #1879 (2, 97.6%) [1 2 3 8 9 10 11 13 19 25]
;  #1880 (2, 97.6%) [8 9 12 29 36]
;  #1881 (2, 97.6%) [34 149]
;  #1882 (2, 97.6%) [8 9 12 16]
;  #1883 (2, 97.6%) [1 3 8 9 11 12]
;  #1884 (2, 97.6%) [0 2 3 8 9 13 15 26]
;  #1885 (2, 97.6%) [7 133 147]
;  #1886 (2, 97.6%) [8 9 12 13 25 29]
;  #1887 (2, 97.6%) [1 3 8 9 10 25 26 61]
;  #1888 (2, 97.6%) [3 8 11 26 57 58 69]
;  #1889 (2, 97.6%) [9 14 17 29 36]
;  #1890 (2, 97.6%) [23 65 98 109]
;  #1891 (2, 97.6%) [2 3 8 9 21 58 70 114]
;  #1892 (2, 97.6%) [16 23 25 72]
;  #1893 (2, 97.6%) [8 9 10 29 37]
;  #1894 (2, 97.6%) [2 3 8 9 15 37 80]
;  #1895 (2, 97.6%) [16 25 31 46]
;  #1896 (2, 97.6%) [8 14 17 62]
;  #1897 (2, 97.6%) [8 9 10 17 61 92]
;  #1898 (2, 97.7%) [0 2 8 9 11 12 13 25 37]
;  #1899 (2, 97.7%) [1 3 8 9 10 11]
;  #1900 (2, 97.7%) [8 9 10 13 15 17 19 20 25]
;  #1901 (2, 97.7%) [8 12 67]
;  #1902 (2, 97.7%) [0 8 9 10]
;  #1903 (2, 97.7%) [2 3 8 9 12 49 54]
;  #1904 (2, 97.7%) [8 9 10 11 17]
;  #1905 (2, 97.7%) [4 15]
;  #1906 (2, 97.7%) [9 14 17]
;  #1907 (2, 97.7%) [1 2 86]
;  #1908 (2, 97.7%) [7 136]
;  #1909 (2, 97.7%) [7 147 215]
;  #1910 (2, 97.7%) [7 131 139 141]
;  #1911 (2, 97.7%) [2 12]
;  #1912 (2, 97.7%) [7 129 147]
;  #1913 (2, 97.7%) [1 2 33]
;  #1914 (2, 97.7%) [6 65]
;  #1915 (2, 97.7%) [2 3 8 9 10 25 26 37 91]
;  #1916 (2, 97.7%) [23 24 65 98]
;  #1917 (2, 97.7%) [4 16]
;  #1918 (2, 97.7%) [0 2 3 7]
;  #1919 (2, 97.7%) [0 1 2 3 8 9 15 58 114]
;  #1920 (2, 97.7%) [14 25 66]
;  #1921 (2, 97.7%) [1 2 32]
;  #1922 (2, 97.7%) [1 2 8 9 13 22]
;  #1923 (2, 97.7%) [2 9 13 17 37 82]
;  #1924 (2, 97.7%) [2 3 23 24 65]
;  #1925 (2, 97.7%) [4 9 16 25 65]
;  #1926 (2, 97.7%) [4 9 15 25]
;  #1927 (2, 97.7%) [0 3 15]
;  #1928 (2, 97.7%) [2 3 8 9 10 13 19 20 25 26]
;  #1929 (2, 97.7%) [2 9 10 14]
;  #1930 (2, 97.7%) [1 2 22 32]
;  #1931 (2, 97.7%) [3 12 17 23 26 98]
;  #1932 (2, 97.7%) [1 2 21 52 53 55]
;  #1933 (2, 97.7%) [2 3 23 24]
;  #1934 (2, 97.7%) [2 3 17 23 26 37 82]
;  #1935 (2, 97.7%) [4 8 9 11 13 25]
;  #1936 (2, 97.7%) [1 2 3 8 11 26 37]
;  #1937 (2, 97.7%) [0 1 2 3 8 9 15 24 26 37 65]
;  #1938 (2, 97.7%) [3 109]
;  #1939 (2, 97.7%) [1 2 3 15 26 37 58]
;  #1940 (2, 97.8%) [1 2 3 12 58 61 62]
;  #1941 (2, 97.8%) [2 3 8 9 10 11 13 25 26 58]
;  #1942 (2, 97.8%) [0 61 62]
;  #1943 (2, 97.8%) [3 58 114]
;  #1944 (2, 97.8%) [3 11 16]
;  #1945 (2, 97.8%) [2 3 8 9 10 11 13 25 26 29 37 93]
;  #1946 (2, 97.8%) [0 3 9 13 65]
;  #1947 (2, 97.8%) [3 26 58 62 66]
;  #1948 (2, 97.8%) [0 2 8 9 14 15 37]
;  #1949 (2, 97.8%) [3 26 58 62]
;  #1950 (2, 97.8%) [3 26 37 76]
;  #1951 (2, 97.8%) [0 37 95 96]
;  #1952 (2, 97.8%) [1 2 12 37]
;  #1953 (2, 97.8%) [1 2 8 9 10 11 19 20]
;  #1954 (2, 97.8%) [15 69]
;  #1955 (2, 97.8%) [3 25 26 58 62 66]
;  #1956 (2, 97.8%) [3 25 26 58 62]
;  #1957 (2, 97.8%) [1 8 9 12 13]
;  #1958 (2, 97.8%) [1 75]
;  #1959 (2, 97.8%) [1 2 3 12 19 58 61 62]
;  #1960 (2, 97.8%) [3 23 65]
;  #1961 (2, 97.8%) [8 12 14 37 91]
;  #1962 (2, 97.8%) [3 23 26 37 98]
;  #1963 (2, 97.8%) [16 98]
;  #1964 (2, 97.8%) [3 23 26 36 37]
;  #1965 (2, 97.8%) [9 46]
;  #1966 (2, 97.8%) [4 9 11 16 25]
;  #1967 (2, 97.8%) [1 37 91]
;  #1968 (2, 97.8%) [3 17 23 26 98]
;  #1969 (2, 97.8%) [1 37]
;  #1970 (2, 97.8%) [1 36]
;  #1971 (2, 97.8%) [3 16 65]
;  #1972 (2, 97.8%) [3 16 46]
;  #1973 (2, 97.8%) [3 16 26 71]
;  #1974 (2, 97.8%) [3 16 31 46]
;  #1975 (2, 97.8%) [0 1 8 9 12]
;  #1976 (2, 97.8%) [2 14 18 91]
;  #1977 (2, 97.8%) [3 16 26 37 58]
;  #1978 (2, 97.8%) [0 2 18 91]
;  #1979 (2, 97.8%) [1 9 12 25]
;  #1980 (2, 97.8%) [1 2 9 15]
;  #1981 (2, 97.8%) [1 21 57]
;  #1982 (2, 97.9%) [3 16 25 37 58 71 80]
;  #1983 (2, 97.9%) [0 25]
;  #1984 (2, 97.9%) [1 9 12 16 25]
;  #1985 (2, 97.9%) [2 8 9 12 19 80 90]
;  #1986 (2, 97.9%) [9 10 14 15 25]
;  #1987 (2, 97.9%) [3 16 23 26 58]
;  #1988 (2, 97.9%) [1 2 9 13 15 30 103]
;  #1989 (2, 97.9%) [1 2 8 9 10 11 12 13 19 20 25]
;  #1990 (2, 97.9%) [3 15 23 26 72]
;  #1991 (2, 97.9%) [1 18]
;  #1992 (2, 97.9%) [8 12 14]
;  #1993 (2, 97.9%) [3 13 24]
;  #1994 (2, 97.9%) [3 13 65 109]
;  #1995 (2, 97.9%) [0 2 8 9 12 37]
;  #1996 (2, 97.9%) [12 16 54]
;  #1997 (2, 97.9%) [1 2 9 10 15]
;  #1998 (2, 97.9%) [3 13 23]
;  #1999 (2, 97.9%) [9 10 14 17 29]
;  #2000 (2, 97.9%) [3 13 17 26]
;  #2001 (2, 97.9%) [1 2 9 10 13]
;  #2002 (2, 97.9%) [1 15 37]
;  #2003 (2, 97.9%) [3 13 15 23 26 36 38]
;  #2004 (2, 97.9%) [1 2 9]
;  #2005 (2, 97.9%) [23 39 65 72 98]
;  #2006 (2, 97.9%) [1 2 8 37]
;  #2007 (2, 97.9%) [129 130 136 152 161]
;  #2008 (2, 97.9%) [1 12 17 36]
;  #2009 (2, 97.9%) [23 65 72 98 109]
;  #2010 (2, 97.9%) [169 170 171 172]
;  #2011 (2, 97.9%) [9 13 38 82]
;  #2012 (2, 97.9%) [2 8 9 12 15 37 68]
;  #2013 (2, 97.9%) [9 13 29 69]
;  #2014 (2, 97.9%) [65 72 112]
;  #2015 (2, 97.9%) [3 9 16 25 37 58 71 80]
;  #2016 (2, 97.9%) [3 12 15 23 26 37]
;  #2017 (2, 97.9%) [133 159]
;  #2018 (2, 97.9%) [1 2 8 9 25 37]
;  #2019 (2, 97.9%) [15 71]
;  #2020 (2, 97.9%) [1 2 8 9 19 25]
;  #2021 (2, 97.9%) [3 9 38]
;  #2022 (2, 97.9%) [38 82]
;  #2023 (2, 98.0%) [24 65]
;  #2024 (2, 98.0%) [2 14 91]
;  #2025 (2, 98.0%) [1 9 25 65]
;  #2026 (2, 98.0%) [129 141 143]
;  #2027 (2, 98.0%) [25 45]
;  #2028 (2, 98.0%) [3 8 9 10 15 25 26 58]
;  #2029 (2, 98.0%) [1 2 8 9 19]
;  #2030 (2, 98.0%) [0 1 2 3 8 9 10 15 26 37 58 65]
;  #2031 (2, 98.0%) [3 9 10 11 16 25 26 58]
;  #2032 (2, 98.0%) [0 2 12 61 62]
;  #2033 (2, 98.0%) [3 12 23 26 37]
;  #2034 (2, 98.0%) [1 12 13]
;  #2035 (2, 98.0%) [2 8 9 12 13]
;  #2036 (2, 98.0%) [1 2 3 9 15 25 69]
;  #2037 (2, 98.0%) [2 8 12 14 91 92]
;  #2038 (2, 98.0%) [178 190 203 204 205 206 207 208 209]
;  #2039 (2, 98.0%) [3 9 16 25 46]
;  #2040 (2, 98.0%) [38 71]
;  #2041 (2, 98.0%) [3 9 12 92]
;  #2042 (2, 98.0%) [9 69]
;  #2043 (2, 98.0%) [13 38]
;  #2044 (2, 98.0%) [9 13 29 36]
;  #2045 (2, 98.0%) [12 13 65]
;  #2046 (2, 98.0%) [3 9 15 26 37]
;  #2047 (2, 98.0%) [95 116]
;  #2048 (2, 98.0%) [9 65 82 98 112]
;  #2049 (2, 98.0%) [82 98 109]
;  #2050 (2, 98.0%) [1 2 3 11 26 37]
;  #2051 (2, 98.0%) [8 9 78]
;  #2052 (2, 98.0%) [23 46]
;  #2053 (2, 98.0%) [76 83]
;  #2054 (2, 98.0%) [9 13 25 76]
;  #2055 (2, 98.0%) [9 57]
;  #2056 (2, 98.0%) [2 9 12 13 25 26 27]
;  #2057 (2, 98.0%) [2 9 12 13 25 26]
;  #2058 (2, 98.0%) [9 38 71 95]
;  #2059 (2, 98.0%) [9 16 25 37 92]
;  #2060 (2, 98.0%) [1 2 3 9 10 13 26 37]
;  #2061 (2, 98.0%) [12 91]
;  #2062 (2, 98.0%) [1 9 13 17 37 82 112]
;  #2063 (2, 98.0%) [133 152 155 156 159]
;  #2064 (2, 98.0%) [3 9 13 15 26]
;  #2065 (2, 98.1%) [1 2 8 9 10 15 25]
;  #2066 (2, 98.1%) [3 8 9 10 13 15 26 58 114]
;  #2067 (2, 98.1%) [12 88]
;  #2068 (2, 98.1%) [65 74]
;  #2069 (2, 98.1%) [3 8 9 11]
;  #2070 (2, 98.1%) [9 36 37 99]
;  #2071 (2, 98.1%) [9 36 65]
;  #2072 (2, 98.1%) [1 9 13 21 57]
;  #2073 (2, 98.1%) [57 66]
;  #2074 (2, 98.1%) [49 53 54]
;  #2075 (2, 98.1%) [8 9 62 92]
;  #2076 (2, 98.1%) [1 2 8 9 10 11 13 19 25]
;  #2077 (2, 98.1%) [2 8 9 10 11 12 13 19 25 26 29 42]
;  #2078 (2, 98.1%) [1 2 8 9 19 20 21]
;  #2079 (2, 98.1%) [1 2 8 9 10 11 13 19 20 21]
;  #2080 (2, 98.1%) [3 9 10 15 26 58 72 114]
;  #2081 (2, 98.1%) [38 71 95 96]
;  #2082 (2, 98.1%) [1 2 8 9 10 11 13 19 20 25 42]
;  #2083 (2, 98.1%) [3 9 10 26 58 72]
;  #2084 (2, 98.1%) [1 9 12 36 37]
;  #2085 (2, 98.1%) [0 2 8 9 11 13 14 25 37]
;  #2086 (2, 98.1%) [0 10 37]
;  #2087 (2, 98.1%) [23 39]
;  #2088 (2, 98.1%) [1 9 12 13]
;  #2089 (2, 98.1%) [81 119]
;  #2090 (2, 98.1%) [8 90]
;  #2091 (2, 98.1%) [25 66]
;  #2092 (2, 98.1%) [1 9 11]
;  #2093 (2, 98.1%) [1 8 37]
;  #2094 (2, 98.1%) [24 74]
;  #2095 (2, 98.1%) [2 72]
;  #2096 (2, 98.1%) [0 9 91]
;  #2097 (2, 98.1%) [2 9 14 15 37]
;  #2098 (2, 98.1%) [15 38]
;  #2099 (2, 98.1%) [2 8 9 10 19 25]
;  #2100 (2, 98.1%) [16 25 54 55]
;  #2101 (2, 98.1%) [2 8 14 37]
;  #2102 (2, 98.1%) [23 76]
;  #2103 (2, 98.1%) [3 8 26 58 62 66]
;  #2104 (2, 98.1%) [3 8 26 58 62]
;  #2105 (2, 98.1%) [9 17 82 112]
;  #2106 (2, 98.1%) [3 8 17 25 26 58 62 66]
;  #2107 (2, 98.2%) [23 65 112]
;  #2108 (2, 98.2%) [3 8 17 25 26 58 62]
;  #2109 (2, 98.2%) [23 65 82 98 109]
;  #2110 (2, 98.2%) [1 3 58]
;  #2111 (2, 98.2%) [3 8 9 61 62]
;  #2112 (2, 98.2%) [3 16 92]
;  #2113 (2, 98.2%) [1 2 3 26 37 58]
;  #2114 (2, 98.2%) [23 24 65 112]
;  #2115 (2, 98.2%) [1 2 3 25]
;  #2116 (2, 98.2%) [3 8 9 17 25 26 58]
;  #2117 (2, 98.2%) [23 72 82 109]
;  #2118 (2, 98.2%) [0 9 10 11 14 25]
;  #2119 (2, 98.2%) [3 12 23 26 36 37]
;  #2120 (2, 98.2%) [3 16 26 37 65]
;  #2121 (2, 98.2%) [3 8 9 13 17 25 26 58]
;  #2122 (2, 98.2%) [9 10 37 65]
;  #2123 (2, 98.2%) [3 8 9 13 15 25 80]
;  #2124 (2, 98.2%) [17 25]
;  #2125 (2, 98.2%) [1 12 16 25]
;  #2126 (2, 98.2%) [3 8 9 12 19 60 78]
;  #2127 (2, 98.2%) [1 8 9 10 12 16 25]
;  #2128 (2, 98.2%) [3 8 9 12 13 17 25 26 29]
;  #2129 (2, 98.2%) [2 9 10 12 19 78 90 104]
;  #2130 (2, 98.2%) [9 13 14 36]
;  #2131 (2, 98.2%) [1 8 9 36]
;  #2132 (2, 98.2%) [1 2 3 23 26 37]
;  #2133 (2, 98.2%) [2 8 11 25]
;  #2134 (2, 98.2%) [8 9 17 37 112]
;  #2135 (2, 98.2%) [2 8 9 10 15 37 91]
;  #2136 (2, 98.2%) [15 65]
;  #2137 (2, 98.2%) [11 119]
;  #2138 (2, 98.2%) [0 8 12]
;  #2139 (2, 98.2%) [16 37 95]
;  #2140 (2, 98.2%) [3 15 23 26 98]
;  #2141 (2, 98.2%) [91 92]
;  #2142 (2, 98.2%) [2 3 13 65 98]
;  #2143 (2, 98.2%) [1 8 9 13]
;  #2144 (2, 98.2%) [2 9 10 12 19 58 80 90]
;  #2145 (2, 98.2%) [2 13 17 37 82 112]
;  #2146 (2, 98.2%) [14 16 25]
;  #2147 (2, 98.2%) [9 25 92]
;  #2148 (2, 98.3%) [13 109]
;  #2149 (2, 98.3%) [13 82 109]
;  #2150 (2, 98.3%) [13 81]
;  #2151 (2, 98.3%) [37 71 95 100]
;  #2152 (2, 98.3%) [13 38 82]
;  #2153 (2, 98.3%) [13 37]
;  #2154 (2, 98.3%) [13 24]
;  #2155 (2, 98.3%) [13 36]
;  #2156 (2, 98.3%) [1 12 15]
;  #2157 (2, 98.3%) [3 13 17 23 26]
;  #2158 (2, 98.3%) [3 13 15 26 36 38]
;  #2159 (2, 98.3%) [13 23 38]
;  #2160 (2, 98.3%) [129 143 144 145]
;  #2161 (2, 98.3%) [9 16 24 81]
;  #2162 (2, 98.3%) [12 131]
;  #2163 (2, 98.3%) [0 1 9 13 25]
;  #2164 (2, 98.3%) [8 9 12 13 14 25 29]
;  #2165 (2, 98.3%) [1 8 9 10 11 13]
;  #2166 (2, 98.3%) [2 8 9 10 13 19 20 25 30 103]
;  #2167 (2, 98.3%) [2 15 25 37]
;  #2168 (2, 98.3%) [1 8 9 10 25]
;  #2169 (2, 98.3%) [3 9 16 61 62 80]
;  #2170 (2, 98.3%) [12 66]
;  #2171 (2, 98.3%) [1 8 9 10 15 19]
;  #2172 (2, 98.3%) [12 71 94 95]
;  #2173 (2, 98.3%) [2 8 11 14]
;  #2174 (2, 98.3%) [2 14 18 37 91]
;  #2175 (2, 98.3%) [2 8 9 11 19 20 22 25]
;  #2176 (2, 98.3%) [1 2 3 12 15 26 36 37]
;  #2177 (2, 98.3%) [2 8 14 91 92]
;  #2178 (2, 98.3%) [2 3 13 23 24 65]
;  #2179 (2, 98.3%) [12 23 39]
;  #2180 (2, 98.3%) [1 3 12 26 37]
;  #2181 (2, 98.3%) [1 8 9 10 11 13 19 20 22 25]
;  #2182 (2, 98.3%) [2 9 82]
;  #2183 (2, 98.3%) [12 23 24 39]
;  #2184 (2, 98.3%) [37 95]
;  #2185 (2, 98.3%) [12 16 72]
;  #2186 (2, 98.3%) [12 16 37]
;  #2187 (2, 98.3%) [2 3 8 11 25 26 37]
;  #2188 (2, 98.3%) [1 2 3 25 26]
;  #2189 (2, 98.3%) [0 1 2 3 9 13 24]
;  #2190 (2, 98.4%) [9 65 109]
;  #2191 (2, 98.4%) [12 14 61 62]
;  #2192 (2, 98.4%) [38 71 95]
;  #2193 (2, 98.4%) [8 9 14 61 62]
;  #2194 (2, 98.4%) [37 71 95 96]
;  #2195 (2, 98.4%) [3 9 12 13 15 26 29 37]
;  #2196 (2, 98.4%) [10 65 72]
;  #2197 (2, 98.4%) [1 3 72 121]
;  #2198 (2, 98.4%) [1 2 3 9 69]
;  #2199 (2, 98.4%) [9 12 37 65 95 96]
;  #2200 (2, 98.4%) [2 9 15 18 25]
;  #2201 (2, 98.4%) [10 12 82]
;  #2202 (2, 98.4%) [9 12 24 36]
;  #2203 (2, 98.4%) [2 9 14 15 25 37]
;  #2204 (2, 98.4%) [9 109 129 130]
;  #2205 (2, 98.4%) [1 9 13 25]
;  #2206 (2, 98.4%) [1 2 3 8 26 37]
;  #2207 (2, 98.4%) [9 94]
;  #2208 (2, 98.4%) [12 71 74 95]
;  #2209 (2, 98.4%) [1 2 8 9 10 19 20 63]
;  #2210 (2, 98.4%) [0 9 11 25]
;  #2211 (2, 98.4%) [2 9 13 15 25]
;  #2212 (2, 98.4%) [14 66]
;  #2213 (2, 98.4%) [1 3 25 55 58]
;  #2214 (2, 98.4%) [65 72 81 109]
;  #2215 (2, 98.4%) [9 12 23 109]
;  #2216 (2, 98.4%) [9 12 13 81]
;  #2217 (2, 98.4%) [3 9 29 37 71]
;  #2218 (2, 98.4%) [1 9 13 16 25 77]
;  #2219 (2, 98.4%) [1 3 25 54 55 58]
;  #2220 (2, 98.4%) [2 8 9 10 11 13 19 20]
;  #2221 (2, 98.4%) [9 65 95]
;  #2222 (2, 98.4%) [3 9 24]
;  #2223 (2, 98.4%) [9 12 16 71]
;  #2224 (2, 98.4%) [9 62 122]
;  #2225 (2, 98.4%) [0 9 11 12]
;  #2226 (2, 98.4%) [1 2 3 9 15 26 37 58]
;  #2227 (2, 98.4%) [107]
;  #2228 (2, 98.4%) [9 12 16 82]
;  #2229 (2, 98.4%) [1 3 23 72 121]
;  #2230 (2, 98.4%) [1 2 8 9 10 11 13 19]
;  #2231 (2, 98.4%) [2 9 10 26 58]
;  #2232 (2, 98.5%) [9 36 99]
;  #2233 (2, 98.5%) [9 36 82]
;  #2234 (2, 98.5%) [2 8 9 10 11 13 25 58]
;  #2235 (2, 98.5%) [1 2 3 9 15 25 58]
;  #2236 (2, 98.5%) [9 29 81 82]
;  #2237 (2, 98.5%) [9 29 36]
;  #2238 (2, 98.5%) [1 3 16 25 26 58]
;  #2239 (2, 98.5%) [2 9 10 12]
;  #2240 (2, 98.5%) [0 9 10 65]
;  #2241 (2, 98.5%) [12 54]
;  #2242 (2, 98.5%) [9 25 37 62 123]
;  #2243 (2, 98.5%) [1 2 3 8 9 15 58]
;  #2244 (2, 98.5%) [2 8 61]
;  #2245 (2, 98.5%) [3 9 82]
;  #2246 (2, 98.5%) [1 2 3 9 15 25]
;  #2247 (2, 98.5%) [2 3 23 65 98 99]
;  #2248 (2, 98.5%) [1 3 16 25]
;  #2249 (2, 98.5%) [1 9 73]
;  #2250 (2, 98.5%) [2 3 23 24 65 98]
;  #2251 (2, 98.5%) [2 8 25 37]
;  #2252 (2, 98.5%) [2 9 15 25]
;  #2253 (2, 98.5%) [3 9 10 26 37 65]
;  #2254 (2, 98.5%) [9 23 82 112]
;  #2255 (2, 98.5%) [9 23 72 109]
;  #2256 (2, 98.5%) [1 3 15 26]
;  #2257 (2, 98.5%) [9 23 72 82]
;  #2258 (2, 98.5%) [9 23 65 72 82 98 109]
;  #2259 (2, 98.5%) [1 3 15 17 26]
;  #2260 (2, 98.5%) [129 130 136 161]
;  #2261 (2, 98.5%) [9 18 95 96]
;  #2262 (2, 98.5%) [9 17 37]
;  #2263 (2, 98.5%) [9 18 71]
;  #2264 (2, 98.5%) [1 3 25 26 54 58]
;  #2265 (2, 98.5%) [9 17 100]
;  #2266 (2, 98.5%) [9 17 82]
;  #2267 (2, 98.5%) [0 8 9 15 37]
;  #2268 (2, 98.5%) [0 2 8 9 15]
;  #2269 (2, 98.5%) [9 38 82]
;  #2270 (2, 98.5%) [1 2 3 9 13 26 37 58 114]
;  #2271 (2, 98.5%) [9 17 25 29]
;  #2272 (2, 98.5%) [1 3 9 11 16]
;  #2273 (2, 98.6%) [0 8 9 14 25]
;  #2274 (2, 98.6%) [1 9 82 112]
;  #2275 (2, 98.6%) [2 8 12]
;  #2276 (2, 98.6%) [9 16 84]
;  #2277 (2, 98.6%) [1 2 3 9 13 15 26 37 58 65]
;  #2278 (2, 98.6%) [9 16 71 95]
;  #2279 (2, 98.6%) [1 3 9 15 58 120]
;  #2280 (2, 98.6%) [8 119]
;  #2281 (2, 98.6%) [129 137 139 140]
;  #2282 (2, 98.6%) [9 16 25 84]
;  #2283 (2, 98.6%) [10 15]
;  #2284 (2, 98.6%) [25 72]
;  #2285 (2, 98.6%) [2 8 9 25 37]
;  #2286 (2, 98.6%) [1 3 12 16 26 37]
;  #2287 (2, 98.6%) [2 8 9 19 25]
;  #2288 (2, 98.6%) [3 12 23 26 37 98]
;  #2289 (2, 98.6%) [2 8 9 17]
;  #2290 (2, 98.6%) [2 8 9 25 58]
;  #2291 (2, 98.6%) [1 3 9 10 16]
;  #2292 (2, 98.6%) [9 24 65 98]
;  #2293 (2, 98.6%) [9 15 71]
;  #2294 (2, 98.6%) [3 9 26 29]
;  #2295 (2, 98.6%) [131 137 138 215]
;  #2296 (2, 98.6%) [8 17 25 66]
;  #2297 (2, 98.6%) [1 3 9 10 13]
;  #2298 (2, 98.6%) [9 14 61 62]
;  #2299 (2, 98.6%) [9 14 62]
;  #2300 (2, 98.6%) [2 8 9 14 25 37]
;  #2301 (2, 98.6%) [1 2 3 9 10 26 37]
;  #2302 (2, 98.6%) [8 15 119]
;  #2303 (2, 98.6%) [9 14 15 37]
;  #2304 (2, 98.6%) [9 14 15 25 37]
;  #2305 (2, 98.6%) [8 9 12 17 25]
;  #2306 (2, 98.6%) [1 2 3 8 9 15 26 37 58]
;  #2307 (2, 98.6%) [2 3 13]
;  #2308 (2, 98.6%) [2 3 9 10 12 27 29 37 58 78 80]
;  #2309 (2, 98.6%) [65 71 95]
;  #2310 (2, 98.6%) [2 3 12 13 24]
;  #2311 (2, 98.6%) [9 12 13 27]
;  #2312 (2, 98.6%) [0 2 3 9 14 26 29 37]
;  #2313 (2, 98.6%) [2 9 10 37 91]
;  #2314 (2, 98.6%) [9 13 65 81]
;  #2315 (2, 98.7%) [1 3 9 25 58]
;  #2316 (2, 98.7%) [14 113]
;  #2317 (2, 98.7%) [9 13 36 69]
;  #2318 (2, 98.7%) [2 8 9 12 14 15 68]
;  #2319 (2, 98.7%) [1 3 9 25 26]
;  #2320 (2, 98.7%) [9 13 25 31 88]
;  #2321 (2, 98.7%) [0 8 14]
;  #2322 (2, 98.7%) [9 13 17 82]
;  #2323 (2, 98.7%) [8 9 12 14 15 68]
;  #2324 (2, 98.7%) [1 2 3 9 10 13 15 25 26 37 69]
;  #2325 (2, 98.7%) [1 2 3 8 9 10 11 13 19 22 25]
;  #2326 (2, 98.7%) [2 8 9 10 19 20 63]
;  #2327 (2, 98.7%) [1 3 9 17 26 65]
;  #2328 (2, 98.7%) [9 13 14 29 36]
;  #2329 (2, 98.7%) [2 8 9 10 19 20]
;  #2330 (2, 98.7%) [1 3 9 17 25 26]
;  #2331 (2, 98.7%) [9 12 94]
;  #2332 (2, 98.7%) [9 12 71 95]
;  #2333 (2, 98.7%) [9 12 74 95]
;  #2334 (2, 98.7%) [0 8 9 91]
;  #2335 (2, 98.7%) [9 38 95]
;  #2336 (2, 98.7%) [9 12 66]
;  #2337 (2, 98.7%) [9 12 65 95 96]
;  #2338 (2, 98.7%) [1 2 3 8 58 61 62]
;  #2339 (2, 98.7%) [0 2 14 18 91]
;  #2340 (2, 98.7%) [1 2 3 58 114]
;  #2341 (2, 98.7%) [1 2 3 8 26 37 62]
;  #2342 (2, 98.7%) [2 8 9 10 13 15 25 30]
;  #2343 (2, 98.7%) [9 12 17 25]
;  #2344 (2, 98.7%) [16 25 72]
;  #2345 (2, 98.7%) [9 12 16 25 37]
;  #2346 (2, 98.7%) [133 155 156]
;  #2347 (2, 98.7%) [1 2 3 8 25 26]
;  #2348 (2, 98.7%) [2 8 9 10 11 13 25]
;  #2349 (2, 98.7%) [3 8 9 90]
;  #2350 (2, 98.7%) [0 8 9 25 37]
;  #2351 (2, 98.7%) [2 8 9 10 11 13 19 20 25 93]
;  #2352 (2, 98.7%) [2 8 9 10 11 13 19 20 25 64]
;  #2353 (2, 98.7%) [1 2 8 9 13 19 22]
;  #2354 (2, 98.7%) [9 12 13 37]
;  #2355 (2, 98.7%) [9 24 65 112]
;  #2356 (2, 98.7%) [2 8 9 10 11 12 25 26 42 58]
;  #2357 (2, 98.8%) [1 3 9 15 25]
;  #2358 (2, 98.8%) [186]
;  #2359 (2, 98.8%) [3 9 17 26 92]
;  #2360 (2, 98.8%) [37 71 100]
;  #2361 (2, 98.8%) [2 3 37 71]
;  #2362 (2, 98.8%) [0 12 14 62]
;  #2363 (2, 98.8%) [9 38 95 96]
;  #2364 (2, 98.8%) [2 3 26 37 91]
;  #2365 (2, 98.8%) [1 3 9 13 15 26 58 120]
;  #2366 (2, 98.8%) [2 3 26 37 65]
;  #2367 (2, 98.8%) [9 10 25 37 62 123]
;  #2368 (2, 98.8%) [9 10 25 29]
;  #2369 (2, 98.8%) [2 3 24 65]
;  #2370 (2, 98.8%) [0 8 9 18]
;  #2371 (2, 98.8%) [2 3 23 117]
;  #2372 (2, 98.8%) [2 44]
;  #2373 (2, 98.8%) [9 10 16 25 37 62]
;  #2374 (2, 98.8%) [3 9 26 29 37]
;  #2375 (2, 98.8%) [9 10 16 17 37]
;  #2376 (2, 98.8%) [133 152 155 156]
;  #2377 (2, 98.8%) [9 10 14 70]
;  #2378 (2, 98.8%) [9 10 14 29]
;  #2379 (2, 98.8%) [0 1 9]
;  #2380 (2, 98.8%) [3 9 10 16 25 26 58 61]
;  #2381 (2, 98.8%) [0 8 9 15 71]
;  #2382 (2, 98.8%) [9 10 12 65]
;  #2383 (2, 98.8%) [1 2 8 9 10 11 25 30]
;  #2384 (2, 98.8%) [1 8 9 15 19]
;  #2385 (2, 98.8%) [9 10 12 37]
;  #2386 (2, 98.8%) [1 3 9 11 16 24 25 26 37 58]
;  #2387 (2, 98.8%) [2 3 14 26 37 94 109]
;  #2388 (2, 98.8%) [1 2 3 8 9 19]
;  #2389 (2, 98.8%) [8 17 62]
;  #2390 (2, 98.8%) [2 3 13 23 65 98]
;  #2391 (2, 98.8%) [1 2 8 9 10 13 15 25]
;  #2392 (2, 98.8%) [2 3 13 23 24 99]
;  #2393 (2, 98.8%) [2 3 13 15 26 37]
;  #2394 (2, 98.8%) [2 3 13 15 26]
;  #2395 (2, 98.8%) [8 95]
;  #2396 (2, 98.8%) [2 3 13 15 23 26 36]
;  #2397 (2, 98.8%) [1 3 9 11]
;  #2398 (2, 98.9%) [8 62 91]
;  #2399 (2, 98.9%) [8 61 62 91]
;  #2400 (2, 98.9%) [0 8 9 14 15]
;  #2401 (2, 98.9%) [8 9 10 25 37]
;  #2402 (2, 98.9%) [9 17 29 36]
;  #2403 (2, 98.9%) [8 60]
;  #2404 (2, 98.9%) [8 25 45]
;  #2405 (2, 98.9%) [8 17 66]
;  #2406 (2, 98.9%) [12 71 95]
;  #2407 (2, 98.9%) [23 38 65 82]
;  #2408 (2, 98.9%) [2 3 12 23]
;  #2409 (2, 98.9%) [8 16 25 62]
;  #2410 (2, 98.9%) [1 2 3 9 58 114]
;  #2411 (2, 98.9%) [2 3 12 17 23 26 37 82]
;  #2412 (2, 98.9%) [8 15 25]
;  #2413 (2, 98.9%) [23 65 72 109]
;  #2414 (2, 98.9%) [9 10 62 122]
;  #2415 (2, 98.9%) [1 2 8 9 10 11 19 20 25 30]
;  #2416 (2, 98.9%) [8 14 15 37]
;  #2417 (2, 98.9%) [8 14 37 91]
;  #2418 (2, 98.9%) [8 14 37 62 91]
;  #2419 (2, 98.9%) [1 3 9 10]
;  #2420 (2, 98.9%) [2 3 12 13 23]
;  #2421 (2, 98.9%) [0 8 9 13 14 25 29]
;  #2422 (2, 98.9%) [0 15 71]
;  #2423 (1, 98.9%) [2 3 12 13]
;  #2424 (1, 98.9%) [0 10 65]
;  #2425 (1, 98.9%) [1 2 3 8 12 26 37 58]
;  #2426 (1, 98.9%) [38 65]
;  #2427 (1, 98.9%) [0 8 12 15]
;  #2428 (1, 98.9%) [1 2 3 8 9 19 20 24 63]
;  #2429 (1, 98.9%) [38 106]
;  #2430 (1, 98.9%) [2 17 37 82 112]
;  #2431 (1, 98.9%) [2 9 13 25 26 29]
;  #2432 (1, 98.9%) [1 2 9 13 15]
;  #2433 (1, 98.9%) [133 159 160]
;  #2434 (1, 98.9%) [0 72]
;  #2435 (1, 98.9%) [2 32 33]
;  #2436 (1, 98.9%) [9 10 12 14 29]
;  #2437 (1, 98.9%) [2 8 22 25]
;  #2438 (1, 98.9%) [0 9 10 14 15]
;  #2439 (1, 98.9%) [0 95 96 127]
;  #2440 (1, 98.9%) [133 152 159]
;  #2441 (1, 98.9%) [1 2 33 34]
;  #2442 (1, 98.9%) [9 13 65 98]
;  #2443 (1, 98.9%) [0 95 96]
;  #2444 (1, 98.9%) [9 23 65]
;  #2445 (1, 98.9%) [1 3 25 26 54 57 58]
;  #2446 (1, 98.9%) [4 8 9 11 12 25]
;  #2447 (1, 98.9%) [1 2 3 9 15 25 26 37 65 69]
;  #2448 (1, 98.9%) [2 3 12 13 65 98]
;  #2449 (1, 98.9%) [2 3 8 9 10 13 19 25 26]
;  #2450 (1, 98.9%) [9 13 129 130]
;  #2451 (1, 98.9%) [2 8 9 13 19]
;  #2452 (1, 98.9%) [2 87]
;  #2453 (1, 98.9%) [2 8 9 11 14 25 37]
;  #2454 (1, 98.9%) [8 9 16 62]
;  #2455 (1, 98.9%) [9 23 65 82]
;  #2456 (1, 98.9%) [0 60]
;  #2457 (1, 98.9%) [8 9 17 25]
;  #2458 (1, 99.0%) [14 15]
;  #2459 (1, 99.0%) [0 1 8 9]
;  #2460 (1, 99.0%) [9 16 57]
;  #2461 (1, 99.0%) [1 2 21 49 50 52]
;  #2462 (1, 99.0%) [72 117]
;  #2463 (1, 99.0%) [1 2 3 15 58]
;  #2464 (1, 99.0%) [2 8 9 10 13 19 20 25 30 88 103]
;  #2465 (1, 99.0%) [2 3 8 9 10 11 13 26]
;  #2466 (1, 99.0%) [18 37 95 96 97]
;  #2467 (1, 99.0%) [2 13 37]
;  #2468 (1, 99.0%) [2 33 34]
;  #2469 (1, 99.0%) [2 3 8 9 10 11 13 25 26]
;  #2470 (1, 99.0%) [1 4 5 9 15 65]
;  #2471 (1, 99.0%) [2 3 9 10 29 58 80]
;  #2472 (1, 99.0%) [3 13]
;  #2473 (1, 99.0%) [3 26 37 109]
;  #2474 (1, 99.0%) [1 8 9 10 15]
;  #2475 (1, 99.0%) [2 3 9 29 37 58 80]
;  #2476 (1, 99.0%) [4 8]
;  #2477 (1, 99.0%) [0 1 2 3 8 9 15 24 26 58 114]
;  #2478 (1, 99.0%) [0 9 14 15]
;  #2479 (1, 99.0%) [2 22 32]
;  #2480 (1, 99.0%) [9 12 24 29 36]
;  #2481 (1, 99.0%) [89]
;  #2482 (1, 99.0%) [0 9 10 29]
;  #2483 (1, 99.0%) [0 2 8 9 13]
;  #2484 (1, 99.0%) [8 9 57]
;  #2485 (1, 99.0%) [1 2 3 12 23 26 37]
;  #2486 (1, 99.0%) [8 10 15 90]
;  #2487 (1, 99.0%) [1 2 3 8 12 26 37 58 62]
;  #2488 (1, 99.0%) [3 92]
;  #2489 (1, 99.0%) [3 16 58 80]
;  #2490 (1, 99.0%) [3 12 26]
;  #2491 (1, 99.0%) [1 3 8 9 13 25 26 58 66]
;  #2492 (1, 99.0%) [8 9 15 17 19 20]
;  #2493 (1, 99.0%) [1 9 10 77]
;  #2494 (1, 99.0%) [133 155 156 159]
;  #2495 (1, 99.0%) [3 8 9 13 15 25]
;  #2496 (1, 99.0%) [2 8 9 10 12 13 15 25]
;  #2497 (1, 99.0%) [2 8 37 92]
;  #2498 (1, 99.0%) [129 131 139]
;  #2499 (1, 99.0%) [17 72 82]
; searching for minimal number of paths to cover 2500 sets Sun Sep  9 15:15:18 2007
; found solution with 101 paths on Sun Sep  9 15:15:18 2007
; estimated size of remaining search space 72
; minimal solution (101 paths) found on Sun Sep  9 15:15:18 2007
;  0 [3484] 1 [4045] 2 [4894] 3 [10908] 4 [1035] 6 [21] 7 [401] 8 [6706] 9 [40889] 10 [6735] 11 [1587] 12 [7693] 13 [6131] 14 [1186] 15 [5370] 16 [15663] 17 [1406] 18 [278] 22 [337] 23 [1736] 24 [1683] 25 [9691] 29 [684] 30 [41] 33 [88] 34 [43] 35 [381] 36 [862] 37 [4595] 38 [272] 39 [93] 43 [20] 45 [2749] 49 [57] 54 [71] 57 [7055] 60 [12] 61 [492] 62 [696] 65 [2788] 66 [83] 67 [158] 69 [228] 70 [30] 71 [1525] 72 [1660] 74 [94] 75 [7] 76 [227] 79 [10] 81 [623] 82 [2090] 89 [1] 91 [213] 92 [442] 95 [557] 96 [192] 98 [400] 99 [95] 101 [16] 107 [2] 109 [164] 112 [973] 113 [230] 116 [158] 117 [321] 119 [67] 123 [23] 125 [46] 129 [3120] 131 [528] 132 [10] 133 [415] 134 [4] 135 [36] 136 [991] 139 [903] 142 [16] 143 [658] 145 [436] 146 [3] 147 [218] 148 [3] 149 [9] 150 [14] 151 [8] 152 [1609] 153 [6] 154 [19] 158 [64] 161 [113] 162 [33] 166 [6] 170 [9] 178 [10] 183 [4] 184 [5] 185 [34] 186 [2] 213 [20] 216 [34] 

:begin :instance.

qc_paths_set := *top* &
[ ARGS.SYNSEM.LOCAL.CAT.HEAD "0" #| 40889 |#,
  ARGS.SYNSEM.LOCAL.CONJ "1" #| 15663 |#,
  ARGS "2" #| 10908 |#,
  ARGS.SYNSEM.--SIND "3" #| 9691 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "4" #| 7693 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "5" #| 7055 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "6" #| 6735 |#,
  ARGS.SYNSEM.--MIN "7" #| 6706 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "8" #| 6131 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "9" #| 5370 |#,
  ARGS.SYNSEM "10" #| 4894 |#,
  ARGS.SYNSEM.LEX "11" #| 4595 |#,
  ARGS.INFLECTD "12" #| 4045 |#,
  ARGS.SYNSEM.PUNCT.RPUNCT "13" #| 3484 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD "14" #| 3120 |#,
  ARGS.SYNSEM.LOCAL.CAT.MC "15" #| 2788 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "16" #| 2749 |#,
  ARGS.SYNSEM.NONLOC.SLASH "17" #| 2090 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "18" #| 1736 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.PRD "19" #| 1683 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST "20" #| 1660 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.TAM.MOOD "21" #| 1609 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST "22" #| 1587 |#,
  ARGS.SYNSEM.LOCAL.CAT.POSTHD "23" #| 1525 |#,
  ARGS.SYNSEM.MODIFD "24" #| 1406 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MINORS.ALTMIN "25" #| 1186 |#,
  ARGS.SYNSEM.PUNCT.LPUNCT "26" #| 1035 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.INDEX "27" #| 991 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST "28" #| 973 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CONT.HOOK.XARG "29" #| 903 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST "30" #| 862 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.LOCAL.CAT.HEAD "31" #| 696 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG "32" #| 684 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.MINORS.MIN "33" #| 658 |#,
  ARGS.SYNSEM.NONLOC.QUE "34" #| 623 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL "35" #| 557 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SUBJ "36" #| 528 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.OPT "37" #| 492 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR.FIRST.--MIN "38" #| 442 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.VAL.SPR.FIRST.OPT "39" #| 436 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT.HEAD.PRD "40" #| 415 |#,
  ARGS.SYNSEM.PUNCT.PNCTPR "41" #| 401 |#,
  ARGS.SYNSEM.--SIND.SF "42" #| 400 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.AUX "43" #| 381 |#,
  ARGS.SYNSEM.LOCAL.ARG-S.REST "44" #| 337 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CAT.HEAD "45" #| 321 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MINORS.NORM "46" #| 278 |#,
  ARGS.SYNSEM.NONLOC.REL "47" #| 272 |#,
  ARGS.SYNSEM.MODIFD.RPERIPH "48" #| 230 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC "49" #| 228 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "50" #| 227 |#,
  ARGS.SYNSEM.NONLOC.SLASH.LIST.FIRST.CAT "51" #| 218 |# ].

:end :instance.