;;;
;;; Quickcheck paths for HAG (0908), generated on 147 items on Fri Aug 21 13:57:28 2009
;;; PET(tom cheap v0.99.14svn_cm) [10000] -PA(0) +SM(MEM[hag.mem] 2504/74) RI[unknown] -HA(100) +FI -QCU[0($qc_unif_set_pack)] -QCS[0($qc_subs_set_pack)] -OS[0] +SM +SH {ns 32} (Aug 19 2009/23:50:43) <$root>
;;;

;; 91 total failing paths:
;;
;; #0 INFLECTED
;; #1 <empty path>
;; #2 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT
;; #3 SYNSEM.LOCAL.CAT.VAL.COMPS
;; #4 SYNSEM.LOCAL.CAT.HEAD
;; #5 SYNSEM.LOCAL.CONT.HOOK.INDEX
;; #6 SYNSEM.LOCAL.CAT.HEAD.VFORM
;; #7 SYNSEM.NON-LOCAL.SLASH
;; #8 SYNSEM.NON-LOCAL.SLASH.LIST
;; #9 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST
;; #10 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH
;; #11 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE
;; #12 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.COMPS
;; #13 SYNSEM.LKEYS.KEYREL.ARG1
;; #14 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD
;; #15 SYNSEM.LOCAL.CAT.HEAD.MOD
;; #16 SYNSEM.LOCAL.CAT.VAL.COMPS.REST
;; #17 MORPH.COMPLETE
;; #18 SYNSEM.LOCAL.CAT.HEAD.CASE
;; #19 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX
;; #20 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD
;; #21 SYNSEM.LOCAL.CAT.VAL.SPR
;; #22 TOKENS.+LIST.FIRST.+TONES.LAST.FIRST.FIRST
;; #23 SUPRA.TONE.LIST.FIRST
;; #24 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SPEC
;; #25 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.COG-ST
;; #26 SYNSEM.LOCAL.CONT.HOOK.INDEX.COG-ST
;; #27 SYNSEM.LOCAL.CONT.HOOK.INDEX.SPECI
;; #28 SUPRA.TONES.LIST.FIRST.FIRST
;; #29 SYNSEM.POLTONE
;; #30 ROBUST
;; #31 SYNSEM.LOCAL.CONT.HOOK.INDEX.E
;; #32 SUPRA.LEN.LIST.FIRST
;; #33 SUPRA.LENGTHS.LIST.FIRST.REST
;; #34 SUPRA.LEN.LIST.REST
;; #35 SUPRA.LEN.LIST.REST.FIRST
;; #36 SYNSEM.LOCAL.AGR.PNG
;; #37 SUPRA.LENGTHS.LIST.FIRST
;; #38 SUPRA.LEN.LIST
;; #39 SYNSEM.LKEYS.--MCLASS
;; #40 TOKENS.+LIST.FIRST.+TONES.LAST.FIRST
;; #41 SUPRA.TONES.LIST.FIRST
;; #42 SUPRA.TONE.LIST
;; #43 SUPRA.LENGTHS.LIST.FIRST.REST.REST
;; #44 SUPRA.LEN.LIST.REST.REST
;; #45 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG
;; #46 SYNSEM.LOCAL.CAT.VAL.SPEC
;; #47 C-CONT.RELS.LIST.REST.FIRST.ARG0.PNG.GEND
;; #48 C-CONT.RELS.LIST.FIRST.ARG0.PNG.GEND
;; #49 SYNSEM.LOCAL.AGR.PNG.GEND
;; #50 SYNSEM.LOCAL.AGR.PNG.PN
;; #51 SUPRA.TONES.LIST.FIRST.REST
;; #52 SUPRA.TONE.LIST.REST
;; #53 MORPH.MCLASS
;; #54 SUPRA.LENGTHS.LIST.FIRST.REST.REST.REST
;; #55 SUPRA.LEN.LIST.REST.REST.REST
;; #56 SUPRA.LENGTHS.LIST.FIRST.REST.REST.REST.FIRST
;; #57 SUPRA.LEN.LIST.REST.REST.REST.FIRST
;; #58 SYNSEM.LIGHT
;; #59 SYNSEM.LOCAL.CAT.VAL.SUBJ
;; #60 SYNSEM
;; #61 SUPRA.LENGTHS.LIST
;; #62 SUPRA.TONES.LIST
;; #63 SYNSEM.MODIFIED
;; #64 SYNSEM.MODIFIABLE
;; #65 +TM.LIST
;; #66 +LM.LIST
;; #67 +TONES.LIST
;; #68 +LENGTHS.LIST
;; #69 +TONES.LIST.REST
;; #70 +LENGTHS.LIST.REST
;; #71 SYNSEM.LKEYS.KEYREL.ARG0
;; #72 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST
;; #73 SYNSEM.LOCAL.CONT.HOOK.INDEX._REL
;; #74 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT
;; #75 SUPRA.LEN.LAST
;; #76 SYNSEM.NON-LOCAL.REL.LIST
;; #77 SYNSEM.LKEYS.KEYREL
;; #78 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ
;; #79 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX
;; #80 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT
;; #81 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E
;; #82 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VFORM
;; #83 SYNSEM.LKEYS.--MCLASS.INH-GEND
;; #84 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #85 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.GEND
;; #86 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #87 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEND
;; #88 SUPRA.TONES.LAST.FIRST.REST
;; #89 SUPRA.TONES.LAST.FIRST.FIRST
;; #90 SUPRA.--TONES.LIST.FIRST.REST

;;
;; quickcheck paths (unification)
;;

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

qc_unif_trad := *top* &
[ ARGS.SYNSEM.LOCAL.CAT.HEAD "0" #| 6.4e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "1" #| 5.2e+04 |#,
  ARGS.INFLECTED "2" #| 4.6e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "3" #| 3.2e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "4" #| 2.8e+04 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "5" #| 2.2e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "6" #| 1.4e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "7" #| 1.4e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "8" #| 1.3e+04 |#,
  ARGS.SUPRA.TONE.LIST.FIRST "9" #| 1.1e+04 |#,
  ARGS.SYNSEM.LKEYS.--MCLASS "10" #| 6.5e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "11" #| 6.4e+03 |#,
  ARGS.SUPRA.LEN.LIST.FIRST "12" #| 5.1e+03 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "13" #| 4.8e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "14" #| 4.1e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E "15" #| 3.8e+03 |#,
  ARGS.MORPH.MCLASS "16" #| 2.9e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "17" #| 2.5e+03 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH "18" #| 2.2e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "19" #| 2.2e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.COG-ST "20" #| 2.2e+03 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "21" #| 1.7e+03 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.GEND "22" #| 1.7e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX "23" #| 1.5e+03 |#,
  ARGS.MORPH.COMPLETE "24" #| 1.5e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "25" #| 1.5e+03 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "26" #| 9.8e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.REL.LIST "27" #| 7.5e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX._REL "28" #| 6.7e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "29" #| 5e+02 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG "30" #| 4.6e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.COMPS "31" #| 4e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC "32" #| 3.5e+02 |#,
  ARGS.SYNSEM.LKEYS.--MCLASS.INH-GEND "33" #| 3.5e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST "34" #| 2.2e+02 |#,
  ARGS.SUPRA.TONE.LIST "35" #| 2e+02 |#,
  ARGS.SUPRA.LEN.LAST "36" #| 2e+02 |#,
  ARGS.SUPRA.LEN.LIST "37" #| 1.9e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SPECI "38" #| 1.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "39" #| 1.7e+02 |#,
  ARGS.SUPRA.TONES.LIST.FIRST.FIRST "40" #| 1.6e+02 |#,
  ARGS "41" #| 1.3e+02 |#,
  ARGS.ROBUST "42" #| 1.1e+02 |#,
  ARGS.SYNSEM.LIGHT "43" #| 1e+02 |#,
  ARGS.SYNSEM "44" #| 1e+02 |#,
  ARGS.SYNSEM.LKEYS.KEYREL "45" #| 83 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ "46" #| 83 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "47" #| 48 |#,
  ARGS.SUPRA.TONES.LIST.FIRST.REST "48" #| 30 |#,
  ARGS.SYNSEM.MODIFIABLE "49" #| 28 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E "50" #| 26 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.COG-ST "51" #| 18 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG "52" #| 17 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SPEC "53" #| 16 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.GEND "54" #| 13 |#,
  ARGS.SUPRA.TONES.LIST.FIRST "55" #| 13 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT "56" #| 12 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "57" #| 9.8 |#,
  ARGS.SUPRA.LEN.LIST.REST.FIRST "58" #| 7.7 |#,
  ARGS.SUPRA.TONES.LAST.FIRST.REST "59" #| 5.6 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VFORM "60" #| 3.7 |#,
  ARGS.SUPRA.--TONES.LIST.FIRST.REST "61" #| 3 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST "62" #| 2.5 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "63" #| 2.1 |#,
  ARGS.SUPRA.TONES.LAST.FIRST.FIRST "64" #| 2.1 |#,
  ARGS.SYNSEM.MODIFIED "65" #| 2 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEND "66" #| 1.8 |#,
  ARGS.TOKENS.+LIST.FIRST.+TONES.LAST.FIRST.FIRST "67" #| 0.71 |#,
  ARGS.TOKENS.+LIST.FIRST.+TONES.LAST.FIRST "68" #| 0.59 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH "69" #| 0.54 |# ].

:end :instance.

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

; 451 failing sets, total count 4e+05:
;
;  #0 (34473, 1e+01%) [4]
;  #1 (20435, 2e+01%) [6]
;  #2 (18919, 2e+01%) [3]
;  #3 (17406, 3e+01%) [0]
;  #4 (15005, 3e+01%) [15]
;  #5 (14168, 3e+01%) [16]
;  #6 (13264, 4e+01%) [0 3]
;  #7 (11132, 4e+01%) [2 19]
;  #8 (10318, 4e+01%) [3 5 21 23]
;  #9 (10298, 5e+01%) [3 5 21]
;  #10 (9743, 5e+01%) [4 15]
;  #11 (9074, 5e+01%) [3 5]
;  #12 (6171, 5e+01%) [6 32]
;  #13 (6124, 6e+01%) [0 3 4]
;  #14 (5856, 6e+01%) [3 4 15]
;  #15 (5666, 6e+01%) [6 19]
;  #16 (4655, 6e+01%) [4 6 31]
;  #17 (4289, 6e+01%) [4 50]
;  #18 (4188, 6e+01%) [0 3 4 32]
;  #19 (3944, 6e+01%) [3 4 39]
;  #20 (3923, 6e+01%) [19 20]
;  #21 (3875, 7e+01%) [0 3 5]
;  #22 (3781, 7e+01%) [0 50]
;  #23 (3714, 7e+01%) [0 15]
;  #24 (3704, 7e+01%) [0 21 23 26]
;  #25 (3704, 7e+01%) [0 21 26]
;  #26 (3075, 7e+01%) [0 3 4 5]
;  #27 (3014, 7e+01%) [11]
;  #28 (3006, 7e+01%) [0 4 5]
;  #29 (2877, 7e+01%) [0 3 5 7]
;  #30 (2877, 7e+01%) [0 3 4 5 7]
;  #31 (2807, 8e+01%) [0 4]
;  #32 (2759, 8e+01%) [0 17]
;  #33 (2744, 8e+01%) [0 4 15 71]
;  #34 (2744, 8e+01%) [0 15 71]
;  #35 (2392, 8e+01%) [4 53]
;  #36 (2367, 8e+01%) [6 31]
;  #37 (2346, 8e+01%) [0 21]
;  #38 (2263, 8e+01%) [0 3 23]
;  #39 (2150, 8e+01%) [4 39]
;  #40 (2079, 8e+01%) [0 21 23]
;  #41 (2027, 8e+01%) [3 4 5]
;  #42 (1675, 8e+01%) [0 3 5 21 23]
;  #43 (1675, 8e+01%) [0 3 5 21]
;  #44 (1656, 8e+01%) [0 23]
;  #45 (1603, 8e+01%) [23]
;  #46 (1576, 8e+01%) [3 5 23]
;  #47 (1548, 8e+01%) [79]
;  #48 (1428, 9e+01%) [3 4]
;  #49 (1408, 9e+01%) [2 11 19]
;  #50 (1401, 9e+01%) [39]
;  #51 (1376, 9e+01%) [3 39]
;  #52 (1351, 9e+01%) [4 6]
;  #53 (1309, 9e+01%) [4 5 21 59]
;  #54 (1301, 9e+01%) [4 5]
;  #55 (1246, 9e+01%) [53]
;  #56 (1240, 9e+01%) [4 49]
;  #57 (1088, 9e+01%) [3 32 39]
;  #58 (1071, 9e+01%) [19]
;  #59 (1056, 9e+01%) [13 14]
;  #60 (1042, 9e+01%) [2]
;  #61 (1040, 9e+01%) [5 21]
;  #62 (997, 9e+01%) [4 5 59]
;  #63 (890, 9e+01%) [21]
;  #64 (838, 9e+01%) [13 15]
;  #65 (832, 9e+01%) [0 3 4 15]
;  #66 (825, 9e+01%) [14]
;  #67 (824, 9e+01%) [4 32]
;  #68 (823, 9e+01%) [4 5 39]
;  #69 (803, 9e+01%) [0 5 21]
;  #70 (798, 9e+01%) [4 13 15]
;  #71 (790, 9e+01%) [0 5 21 23]
;  #72 (774, 9e+01%) [5]
;  #73 (757, 9e+01%) [49]
;  #74 (710, 9e+01%) [5 21 23]
;  #75 (708, 9e+01%) [3 4 5 39]
;  #76 (708, 9e+01%) [15 71]
;  #77 (708, 9e+01%) [4 15 71]
;  #78 (704, 9e+01%) [4 11]
;  #79 (694, 9e+01%) [76]
;  #80 (684, 9e+01%) [12 19 20]
;  #81 (582, 9e+01%) [3 4 32]
;  #82 (572, 9e+01%) [3 4 31]
;  #83 (552, 9e+01%) [59]
;  #84 (544, 9e+01%) [32 39]
;  #85 (525, 9e+01%) [73]
;  #86 (521, 9e+01%) [3 6]
;  #87 (519, 9e+01%) [4 46]
;  #88 (491, 1e+02%) [0 5]
;  #89 (485, 1e+02%) [21 23]
;  #90 (433, 1e+02%) [0 49]
;  #91 (433, 1e+02%) [3 59]
;  #92 (431, 1e+02%) [0 53]
;  #93 (430, 1e+02%) [4 31 39]
;  #94 (361, 1e+02%) [20]
;  #95 (352, 1e+02%) [2 11]
;  #96 (352, 1e+02%) [6 59]
;  #97 (348, 1e+02%) [3 4 31 39]
;  #98 (348, 1e+02%) [83]
;  #99 (342, 1e+02%) [4 31]
;  #100 (338, 1e+02%) [3 7]
;  #101 (334, 1e+02%) [3 4 5 21 59]
;  #102 (319, 1e+02%) [0 36]
;  #103 (290, 1e+02%) [12 20]
;  #104 (266, 1e+02%) [0 21 27]
;  #105 (266, 1e+02%) [0 21 23 27]
;  #106 (264, 1e+02%) [3 32]
;  #107 (261, 1e+02%) [0 4 5 59]
;  #108 (260, 1e+02%) [3 4 59]
;  #109 (257, 1e+02%) [0 3 6]
;  #110 (252, 1e+02%) [3 4 5 59]
;  #111 (246, 1e+02%) [4 59]
;  #112 (242, 1e+02%) [3 4 7]
;  #113 (239, 1e+02%) [3 6 31]
;  #114 (221, 1e+02%) [0 4 15]
;  #115 (212, 1e+02%) [32]
;  #116 (188, 1e+02%) [18]
;  #117 (181, 1e+02%) [0 4 15 71 77]
;  #118 (181, 1e+02%) [0 15 71 77]
;  #119 (177, 1e+02%) [3 18]
;  #120 (176, 1e+02%) [72]
;  #121 (175, 1e+02%) [36]
;  #122 (175, 1e+02%) [3 31]
;  #123 (162, 1e+02%) [4 5 36 39]
;  #124 (159, 1e+02%) [0 6]
;  #125 (153, 1e+02%) [3 75]
;  #126 (149, 1e+02%) [3 15]
;  #127 (146, 1e+02%) [0 4 46]
;  #128 (136, 1e+02%) [0 4 36]
;  #129 (132, 1e+02%) [84]
;  #130 (129, 1e+02%) [0 3 4 5 21 59]
;  #131 (128, 1e+02%) [0 3 6 59]
;  #132 (123, 1e+02%) [59 73]
;  #133 (115, 1e+02%) [18 21]
;  #134 (114, 1e+02%) [0 18 21]
;  #135 (114, 1e+02%) [3 6 31 59]
;  #136 (112, 1e+02%) [1]
;  #137 (109, 1e+02%) [4 5 7]
;  #138 (105, 1e+02%) [30]
;  #139 (104, 1e+02%) [0 4 53]
;  #140 (98, 1e+02%) [23 26]
;  #141 (98, 1e+02%) [26]
;  #142 (98, 1e+02%) [0 26]
;  #143 (98, 1e+02%) [0 23 26]
;  #144 (97, 1e+02%) [50]
;  #145 (96, 1e+02%) [72 73]
;  #146 (96, 1e+02%) [0 3 18]
;  #147 (93, 1e+02%) [21 26]
;  #148 (91, 1e+02%) [31 76]
;  #149 (90, 1e+02%) [19 20 78]
;  #150 (86, 1e+02%) [4 5 50]
;  #151 (84, 1e+02%) [3 4 32 39]
;  #152 (82, 1e+02%) [0 28]
;  #153 (78, 1e+02%) [0 11]
;  #154 (76, 1e+02%) [75]
;  #155 (76, 1e+02%) [4 21]
;  #156 (75, 1e+02%) [0 4 5 21]
;  #157 (75, 1e+02%) [4 28]
;  #158 (68, 1e+02%) [0 32]
;  #159 (66, 1e+02%) [23 32]
;  #160 (66, 1e+02%) [3 59 73]
;  #161 (64, 1e+02%) [28]
;  #162 (64, 1e+02%) [21 26 27]
; searching for minimal number of paths to cover 163 sets Fri Aug 21 13:57:28 2009
; found solution with 33 paths on Fri Aug 21 13:57:28 2009
; estimated size of remaining search space 1
; minimal solution (33 paths) found on Fri Aug 21 13:57:28 2009
;  0 [101586] 1 [112] 2 [13934] 3 [115250] 4 [113345] 5 [63507] 6 [42415] 11 [5556] 14 [1881] 15 [44422] 16 [14168] 18 [690] 19 [23974] 20 [5348] 21 [43358] 23 [27387] 26 [7957] 28 [221] 30 [105] 32 [14091] 36 [792] 39 [13058] 49 [2430] 50 [8253] 53 [4173] 59 [5556] 72 [272] 73 [810] 75 [229] 76 [785] 79 [1548] 83 [348] 84 [132] 

:begin :instance.

qc_unif_set := *top* &
[ ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "0" #| 115250 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD "1" #| 113345 |#,
  ARGS.INFLECTED "2" #| 101586 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "3" #| 63507 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "4" #| 44422 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "5" #| 43358 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "6" #| 42415 |#,
  ARGS.SUPRA.TONE.LIST.FIRST "7" #| 27387 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "8" #| 23974 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "9" #| 14168 |#,
  ARGS.SUPRA.LEN.LIST.FIRST "10" #| 14091 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "11" #| 13934 |#,
  ARGS.SYNSEM.LKEYS.--MCLASS "12" #| 13058 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "13" #| 8253 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.COG-ST "14" #| 7957 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "15" #| 5556 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "16" #| 5556 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "17" #| 5348 |#,
  ARGS.MORPH.MCLASS "18" #| 4173 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.GEND "19" #| 2430 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "20" #| 1881 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX "21" #| 1548 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX._REL "22" #| 810 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG "23" #| 792 |#,
  ARGS.SYNSEM.NON-LOCAL.REL.LIST "24" #| 785 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "25" #| 690 |#,
  ARGS.SYNSEM.LKEYS.--MCLASS.INH-GEND "26" #| 348 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST "27" #| 272 |#,
  ARGS.SUPRA.LEN.LAST "28" #| 229 |#,
  ARGS.SUPRA.TONES.LIST.FIRST.FIRST "29" #| 221 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "30" #| 132 |#,
  ARGS "31" #| 112 |#,
  ARGS.ROBUST "32" #| 105 |# ].

:end :instance.

;;;
;;; Quickcheck paths for HAG (0908), generated on 147 items on Fri Aug 21 13:56:44 2009
;;; PET(tom cheap v0.99.14svn_cm) [10000] +PA(15) +SM(MEM[hag.mem] 2504/74) RI[unknown] -HA(100) +FI -QCU[0($qc_unif_set_pack)] -QCS[0($qc_subs_set_pack)] -OS[0] +SM +SH {ns 32} (Aug 19 2009/23:50:43) <$root>
;;;

;; 124 total failing paths:
;;
;; #0 INFLECTED
;; #1 <empty path>
;; #2 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT
;; #3 SYNSEM.LOCAL.CAT.VAL.COMPS
;; #4 SYNSEM.LOCAL.CAT.HEAD
;; #5 SYNSEM.LOCAL.CONT.HOOK.INDEX
;; #6 SYNSEM.LOCAL.CAT.HEAD.VFORM
;; #7 SYNSEM.NON-LOCAL.SLASH
;; #8 SYNSEM.NON-LOCAL.SLASH.LIST
;; #9 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST
;; #10 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH
;; #11 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE
;; #12 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.COMPS
;; #13 SYNSEM.LKEYS.KEYREL.ARG1
;; #14 SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD
;; #15 SYNSEM.LOCAL.CAT.HEAD.MOD
;; #16 SYNSEM.LOCAL.CAT.VAL.COMPS.REST
;; #17 MORPH.COMPLETE
;; #18 SYNSEM.LOCAL.CAT.HEAD.CASE
;; #19 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX
;; #20 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD
;; #21 SYNSEM.LOCAL.CAT.VAL.SPR
;; #22 TOKENS.+LIST.FIRST.+TONES.LAST.FIRST.FIRST
;; #23 SUPRA.TONE.LIST.FIRST
;; #24 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SPEC
;; #25 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.COG-ST
;; #26 SYNSEM.LOCAL.CONT.HOOK.INDEX.COG-ST
;; #27 SYNSEM.LOCAL.CONT.HOOK.INDEX.SPECI
;; #28 SUPRA.TONES.LIST.FIRST.FIRST
;; #29 SYNSEM.POLTONE
;; #30 ROBUST
;; #31 SYNSEM.LOCAL.CONT.HOOK.INDEX.E
;; #32 SUPRA.LEN.LIST.FIRST
;; #33 SUPRA.LENGTHS.LIST.FIRST.REST
;; #34 SUPRA.LEN.LIST.REST
;; #35 SUPRA.LEN.LIST.REST.FIRST
;; #36 SYNSEM.LOCAL.AGR.PNG
;; #37 SUPRA.LENGTHS.LIST.FIRST
;; #38 SUPRA.LEN.LIST
;; #39 SYNSEM.LKEYS.--MCLASS
;; #40 TOKENS.+LIST.FIRST.+TONES.LAST.FIRST
;; #41 SUPRA.TONES.LIST.FIRST
;; #42 SUPRA.TONE.LIST
;; #43 SUPRA.LENGTHS.LIST.FIRST.REST.REST
;; #44 SUPRA.LEN.LIST.REST.REST
;; #45 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG
;; #46 SYNSEM.LOCAL.CAT.VAL.SPEC
;; #47 SYNSEM.LOCAL.AGR.PNG.GEND
;; #48 SYNSEM.LOCAL.AGR.PNG.PN
;; #49 SUPRA.TONES.LIST.FIRST.REST
;; #50 SUPRA.TONE.LIST.REST
;; #51 MORPH.MCLASS
;; #52 SUPRA.LENGTHS.LIST.FIRST.REST.REST.REST
;; #53 SUPRA.LEN.LIST.REST.REST.REST
;; #54 SUPRA.LENGTHS.LIST.FIRST.REST.REST.REST.FIRST
;; #55 SUPRA.LEN.LIST.REST.REST.REST.FIRST
;; #56 SYNSEM.LIGHT
;; #57 SYNSEM.LOCAL.CAT.VAL.SUBJ
;; #58 SYNSEM
;; #59 SUPRA.LENGTHS.LIST
;; #60 SUPRA.TONES.LIST
;; #61 SYNSEM.MODIFIED
;; #62 SYNSEM.MODIFIABLE
;; #63 +TM.LIST
;; #64 +LM.LIST
;; #65 +TONES.LIST
;; #66 +LENGTHS.LIST
;; #67 +TONES.LIST.REST
;; #68 +LENGTHS.LIST.REST
;; #69 SYNSEM.LKEYS.KEYREL.ARG0
;; #70 SYNSEM.LOCAL.CONT.HOOK.INDEX._REL
;; #71 C-CONT.HOOK.INDEX.--XTR
;; #72 SYNSEM.LOCAL.CONT.HOOK.INDEX.--XTR
;; #73 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST
;; #74 SYNSEM.NON-LOCAL.SLASH.LAST
;; #75 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT
;; #76 SUPRA.TONES.LIST.REST.FIRST
;; #77 C-CONT.HOOK.INDEX._REL
;; #78 C-CONT.HOOK.INDEX.E
;; #79 C-CONT.HOOK.XARG.PNG.PN
;; #80 C-CONT.HOOK.XARG.PNG.GEND
;; #81 SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN
;; #82 SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.GEND
;; #83 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #84 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEND
;; #85 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR.PNG.PN
;; #86 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR.PNG.GEND
;; #87 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LAST
;; #88 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.AGR.PNG.PN
;; #89 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.AGR.PNG.GEND
;; #90 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.PNG.PN
;; #91 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.PNG.GEND
;; #92 SUPRA.LEN.LAST
;; #93 SYNSEM.NON-LOCAL.REL.LIST
;; #94 SYNSEM.LKEYS.KEYREL
;; #95 C-CONT.HOOK.XARG.PNG
;; #96 C-CONT.HOOK.XARG.SPECI
;; #97 SYNSEM.LOCAL.CONT.HOOK.XARG.PNG
;; #98 SYNSEM.LOCAL.CONT.HOOK.XARG.SPECI
;; #99 SYNSEM.LOCAL.AGR.SPECI
;; #100 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ
;; #101 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX
;; #102 SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT
;; #103 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E
;; #104 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR
;; #105 SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX
;; #106 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT
;; #107 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR
;; #108 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX
;; #109 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LAST
;; #110 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG
;; #111 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LIST
;; #112 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX._REL
;; #113 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VFORM
;; #114 SYNSEM.LKEYS.--MCLASS.INH-GEND
;; #115 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN
;; #116 SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEND
;; #117 SUPRA.TONES.LAST.FIRST.FIRST
;; #118 SUPRA.TONES.LAST.FIRST.REST
;; #119 SUPRA.--TONES.LIST.FIRST.REST
;; #120 SUPRA.TONES.LIST.REST.REST.FIRST
;; #121 SUPRA.TONES.LIST.REST.REST.REST.FIRST
;; #122 SYNSEM.NON-LOCAL.SLASH.LIST.FIRST
;; #123 SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN

;;
;; quickcheck paths (unification)
;;

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

qc_unif_trad_pack := *top* &
[ ARGS.SYNSEM.LOCAL.CAT.HEAD "0" #| 6.4e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "1" #| 5.3e+04 |#,
  ARGS.INFLECTED "2" #| 4.6e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "3" #| 3.1e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "4" #| 2.8e+04 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "5" #| 2.2e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "6" #| 1.4e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "7" #| 1.4e+04 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "8" #| 1.3e+04 |#,
  ARGS.SUPRA.TONE.LIST.FIRST "9" #| 1.1e+04 |#,
  ARGS.SYNSEM.LKEYS.--MCLASS "10" #| 6.5e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "11" #| 6.4e+03 |#,
  ARGS.SUPRA.LEN.LIST.FIRST "12" #| 5.1e+03 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "13" #| 4.8e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "14" #| 4.1e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E "15" #| 4.1e+03 |#,
  ARGS.MORPH.MCLASS "16" #| 2.9e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "17" #| 2.5e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "18" #| 2.2e+03 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.COG-ST "19" #| 2.2e+03 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH "20" #| 2.2e+03 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG0 "21" #| 1.8e+03 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.GEND "22" #| 1.7e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX "23" #| 1.5e+03 |#,
  ARGS.MORPH.COMPLETE "24" #| 1.5e+03 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "25" #| 1.5e+03 |#,
  ARGS.SYNSEM.LKEYS.KEYREL.ARG1 "26" #| 1e+03 |#,
  ARGS.SYNSEM.NON-LOCAL.REL.LIST "27" #| 7.6e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX._REL "28" #| 6.7e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "29" #| 4.9e+02 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG "30" #| 4.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.COMPS "31" #| 4e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPEC "32" #| 3.5e+02 |#,
  ARGS.SYNSEM.LKEYS.--MCLASS.INH-GEND "33" #| 3.5e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST "34" #| 2.2e+02 |#,
  ARGS.SUPRA.TONE.LIST "35" #| 2e+02 |#,
  ARGS.SUPRA.LEN.LIST "36" #| 1.9e+02 |#,
  ARGS.SUPRA.LEN.LAST "37" #| 1.8e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.SPECI "38" #| 1.8e+02 |#,
  ARGS.SUPRA.TONES.LIST.FIRST.FIRST "39" #| 1.6e+02 |#,
  ARGS "40" #| 1.3e+02 |#,
  ARGS.ROBUST "41" #| 1.1e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.E "42" #| 1.1e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "43" #| 1.1e+02 |#,
  ARGS.SYNSEM "44" #| 1e+02 |#,
  ARGS.SYNSEM.LIGHT "45" #| 1e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ "46" #| 98 |#,
  ARGS.SYNSEM.LKEYS.KEYREL "47" #| 85 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "48" #| 48 |#,
  ARGS.SUPRA.TONES.LIST.FIRST.REST "49" #| 30 |#,
  ARGS.SYNSEM.MODIFIABLE "50" #| 25 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.COG-ST "51" #| 18 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SPEC "52" #| 17 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.OPT "53" #| 12 |#,
  ARGS.SUPRA.TONES.LIST.FIRST "54" #| 11 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "55" #| 9.8 |#,
  ARGS.SUPRA.LEN.LIST.REST.FIRST "56" #| 7.7 |#,
  ARGS.SUPRA.TONES.LAST.FIRST.REST "57" #| 5.6 |#,
  ARGS.SUPRA.--TONES.LIST.FIRST.REST "58" #| 3.1 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.VFORM "59" #| 2.6 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST "60" #| 2.5 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST "61" #| 2.1 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG "62" #| 2.1 |#,
  ARGS.SUPRA.TONES.LAST.FIRST.FIRST "63" #| 2.1 |#,
  ARGS.SYNSEM.MODIFIED "64" #| 2 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEND "65" #| 1.8 |#,
  ARGS.TOKENS.+LIST.FIRST.+TONES.LAST.FIRST.FIRST "66" #| 0.73 |#,
  ARGS.TOKENS.+LIST.FIRST.+TONES.LAST.FIRST "67" #| 0.6 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH "68" #| 0.54 |# ].

:end :instance.

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

; 451 failing sets, total count 4e+05:
;
;  #0 (34473, 1e+01%) [4]
;  #1 (20435, 2e+01%) [6]
;  #2 (18919, 2e+01%) [3]
;  #3 (17406, 3e+01%) [0]
;  #4 (15005, 3e+01%) [15]
;  #5 (14168, 3e+01%) [16]
;  #6 (13264, 4e+01%) [0 3]
;  #7 (11132, 4e+01%) [2 19]
;  #8 (10318, 4e+01%) [3 5 21 23]
;  #9 (10298, 5e+01%) [3 5 21]
;  #10 (9743, 5e+01%) [4 15]
;  #11 (9074, 5e+01%) [3 5]
;  #12 (6171, 5e+01%) [6 32]
;  #13 (6124, 6e+01%) [0 3 4]
;  #14 (5856, 6e+01%) [3 4 15]
;  #15 (5666, 6e+01%) [6 19]
;  #16 (4655, 6e+01%) [4 6 31]
;  #17 (4289, 6e+01%) [4 48]
;  #18 (4188, 6e+01%) [0 3 4 32]
;  #19 (3944, 6e+01%) [3 4 39]
;  #20 (3923, 6e+01%) [19 20]
;  #21 (3875, 7e+01%) [0 3 5]
;  #22 (3781, 7e+01%) [0 48]
;  #23 (3714, 7e+01%) [0 15]
;  #24 (3704, 7e+01%) [0 21 23 26]
;  #25 (3704, 7e+01%) [0 21 26]
;  #26 (3075, 7e+01%) [0 3 4 5]
;  #27 (3014, 7e+01%) [11]
;  #28 (3006, 7e+01%) [0 4 5]
;  #29 (2877, 7e+01%) [0 3 5 7]
;  #30 (2877, 7e+01%) [0 3 4 5 7]
;  #31 (2807, 8e+01%) [0 4]
;  #32 (2759, 8e+01%) [0 17]
;  #33 (2744, 8e+01%) [0 4 15 69]
;  #34 (2744, 8e+01%) [0 15 69]
;  #35 (2392, 8e+01%) [4 51]
;  #36 (2346, 8e+01%) [0 21]
;  #37 (2337, 8e+01%) [6 31]
;  #38 (2263, 8e+01%) [0 3 23]
;  #39 (2150, 8e+01%) [4 39]
;  #40 (2079, 8e+01%) [0 21 23]
;  #41 (2027, 8e+01%) [3 4 5]
;  #42 (1675, 8e+01%) [0 3 5 21 23]
;  #43 (1675, 8e+01%) [0 3 5 21]
;  #44 (1656, 8e+01%) [0 23]
;  #45 (1603, 8e+01%) [23]
;  #46 (1576, 8e+01%) [3 5 23]
;  #47 (1548, 8e+01%) [101]
;  #48 (1428, 9e+01%) [3 4]
;  #49 (1408, 9e+01%) [2 11 19]
;  #50 (1401, 9e+01%) [39]
;  #51 (1376, 9e+01%) [3 39]
;  #52 (1351, 9e+01%) [4 6]
;  #53 (1309, 9e+01%) [4 5 21 57]
;  #54 (1301, 9e+01%) [4 5]
;  #55 (1246, 9e+01%) [51]
;  #56 (1240, 9e+01%) [4 47]
;  #57 (1088, 9e+01%) [3 32 39]
;  #58 (1071, 9e+01%) [19]
;  #59 (1056, 9e+01%) [13 14]
;  #60 (1042, 9e+01%) [2]
;  #61 (1040, 9e+01%) [5 21]
;  #62 (997, 9e+01%) [4 5 57]
;  #63 (890, 9e+01%) [21]
;  #64 (838, 9e+01%) [13 15]
;  #65 (832, 9e+01%) [0 3 4 15]
;  #66 (825, 9e+01%) [14]
;  #67 (824, 9e+01%) [4 32]
;  #68 (823, 9e+01%) [4 5 39]
;  #69 (803, 9e+01%) [0 5 21]
;  #70 (798, 9e+01%) [4 13 15]
;  #71 (790, 9e+01%) [0 5 21 23]
;  #72 (774, 9e+01%) [5]
;  #73 (757, 9e+01%) [47]
;  #74 (710, 9e+01%) [5 21 23]
;  #75 (708, 9e+01%) [3 4 5 39]
;  #76 (708, 9e+01%) [15 69]
;  #77 (708, 9e+01%) [4 15 69]
;  #78 (704, 9e+01%) [4 11]
;  #79 (694, 9e+01%) [93]
;  #80 (684, 9e+01%) [12 19 20]
;  #81 (582, 9e+01%) [3 4 32]
;  #82 (572, 9e+01%) [3 4 31]
;  #83 (552, 9e+01%) [57]
;  #84 (544, 9e+01%) [32 39]
;  #85 (525, 9e+01%) [70]
;  #86 (521, 9e+01%) [3 6]
;  #87 (519, 9e+01%) [4 46]
;  #88 (491, 1e+02%) [0 5]
;  #89 (485, 1e+02%) [21 23]
;  #90 (433, 1e+02%) [0 47]
;  #91 (433, 1e+02%) [3 57]
;  #92 (431, 1e+02%) [0 51]
;  #93 (430, 1e+02%) [4 31 39]
;  #94 (361, 1e+02%) [20]
;  #95 (352, 1e+02%) [2 11]
;  #96 (352, 1e+02%) [6 57]
;  #97 (348, 1e+02%) [3 4 31 39]
;  #98 (348, 1e+02%) [114]
;  #99 (342, 1e+02%) [4 31]
;  #100 (338, 1e+02%) [3 7]
;  #101 (334, 1e+02%) [3 4 5 21 57]
;  #102 (319, 1e+02%) [0 36]
;  #103 (290, 1e+02%) [12 20]
;  #104 (266, 1e+02%) [0 21 27]
;  #105 (266, 1e+02%) [0 21 23 27]
;  #106 (264, 1e+02%) [3 32]
;  #107 (261, 1e+02%) [0 4 5 57]
;  #108 (260, 1e+02%) [3 4 57]
;  #109 (257, 1e+02%) [0 3 6]
;  #110 (252, 1e+02%) [3 4 5 57]
;  #111 (246, 1e+02%) [4 57]
;  #112 (242, 1e+02%) [3 4 7]
;  #113 (239, 1e+02%) [3 6 31]
;  #114 (221, 1e+02%) [0 4 15]
;  #115 (212, 1e+02%) [32]
;  #116 (188, 1e+02%) [18]
;  #117 (181, 1e+02%) [0 4 15 69 94]
;  #118 (181, 1e+02%) [0 15 69 94]
;  #119 (177, 1e+02%) [3 18]
;  #120 (176, 1e+02%) [73]
;  #121 (175, 1e+02%) [36]
;  #122 (175, 1e+02%) [3 31]
;  #123 (162, 1e+02%) [4 5 36 39]
;  #124 (159, 1e+02%) [0 6]
;  #125 (153, 1e+02%) [3 92]
;  #126 (149, 1e+02%) [3 15]
;  #127 (146, 1e+02%) [0 4 46]
;  #128 (141, 1e+02%) [48]
;  #129 (136, 1e+02%) [0 4 36]
;  #130 (129, 1e+02%) [0 3 4 5 21 57]
;  #131 (128, 1e+02%) [0 3 6 57]
;  #132 (123, 1e+02%) [57 70]
;  #133 (115, 1e+02%) [18 21]
;  #134 (114, 1e+02%) [0 18 21]
;  #135 (114, 1e+02%) [3 6 31 57]
;  #136 (112, 1e+02%) [1]
;  #137 (109, 1e+02%) [4 5 7]
;  #138 (105, 1e+02%) [30]
;  #139 (104, 1e+02%) [0 4 51]
;  #140 (98, 1e+02%) [23 26]
;  #141 (98, 1e+02%) [26]
;  #142 (98, 1e+02%) [0 26]
;  #143 (98, 1e+02%) [0 23 26]
;  #144 (96, 1e+02%) [70 73]
;  #145 (96, 1e+02%) [0 3 18]
;  #146 (93, 1e+02%) [21 26]
;  #147 (91, 1e+02%) [31 93]
;  #148 (90, 1e+02%) [19 20 100]
;  #149 (88, 1e+02%) [123]
;  #150 (86, 1e+02%) [4 5 48]
;  #151 (84, 1e+02%) [3 4 32 39]
;  #152 (82, 1e+02%) [0 28]
;  #153 (78, 1e+02%) [0 11]
;  #154 (76, 1e+02%) [92]
;  #155 (76, 1e+02%) [4 21]
;  #156 (75, 1e+02%) [0 4 5 21]
;  #157 (75, 1e+02%) [4 28]
;  #158 (68, 1e+02%) [0 32]
;  #159 (66, 1e+02%) [23 32]
;  #160 (66, 1e+02%) [3 57 70]
;  #161 (64, 1e+02%) [28]
;  #162 (64, 1e+02%) [21 26 27]
;  #163 (64, 1e+02%) [5 16]
; searching for minimal number of paths to cover 164 sets Fri Aug 21 13:56:44 2009
; found solution with 33 paths on Fri Aug 21 13:56:44 2009
; estimated size of remaining search space 1
; minimal solution (33 paths) found on Fri Aug 21 13:56:44 2009
;  0 [101586] 1 [112] 2 [13934] 3 [115250] 4 [113345] 5 [63571] 6 [42385] 11 [5556] 14 [1881] 15 [44422] 16 [14232] 18 [690] 19 [23974] 20 [5348] 21 [43358] 23 [27387] 26 [7957] 28 [221] 30 [105] 32 [14091] 36 [792] 39 [13058] 47 [2430] 48 [8297] 51 [4173] 57 [5556] 70 [810] 73 [272] 92 [229] 93 [785] 101 [1548] 114 [348] 123 [88] 

:begin :instance.

qc_unif_set_pack := *top* &
[ ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "0" #| 115250 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD "1" #| 113345 |#,
  ARGS.INFLECTED "2" #| 101586 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX "3" #| 63571 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD "4" #| 44422 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "5" #| 43358 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "6" #| 42385 |#,
  ARGS.SUPRA.TONE.LIST.FIRST "7" #| 27387 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX "8" #| 23974 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST "9" #| 14232 |#,
  ARGS.SUPRA.LEN.LIST.FIRST "10" #| 14091 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.OPT "11" #| 13934 |#,
  ARGS.SYNSEM.LKEYS.--MCLASS "12" #| 13058 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "13" #| 8297 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.COG-ST "14" #| 7957 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ "15" #| 5556 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD.CASE "16" #| 5556 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.HEAD "17" #| 5348 |#,
  ARGS.MORPH.MCLASS "18" #| 4173 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.GEND "19" #| 2430 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.MOD.FIRST.LOCAL.CAT.HEAD "20" #| 1881 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.REST.FIRST.LOCAL.CONT.HOOK.INDEX "21" #| 1548 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX._REL "22" #| 810 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG "23" #| 792 |#,
  ARGS.SYNSEM.NON-LOCAL.REL.LIST "24" #| 785 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.CASE "25" #| 690 |#,
  ARGS.SYNSEM.LKEYS.--MCLASS.INH-GEND "26" #| 348 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST "27" #| 272 |#,
  ARGS.SUPRA.LEN.LAST "28" #| 229 |#,
  ARGS.SUPRA.TONES.LIST.FIRST.FIRST "29" #| 221 |#,
  ARGS "30" #| 112 |#,
  ARGS.ROBUST "31" #| 105 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.PNG.PN "32" #| 88 |# ].

:end :instance.

;;
;; quickcheck paths (subsumption)
;;

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

qc_subs_trad_pack := *top* &
[ ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX._REL "0" #| 3.8e+02 |#,
  ARGS.C-CONT.HOOK.INDEX._REL "1" #| 3.8e+02 |#,
  ARGS.C-CONT.HOOK.INDEX.--XTR "2" #| 3.3e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.--XTR "3" #| 3.3e+02 |#,
  ARGS.+TONES.LIST.REST "4" #| 3.2e+02 |#,
  ARGS.+LENGTHS.LIST.REST "5" #| 3.2e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST "6" #| 2.5e+02 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E "7" #| 1.9e+02 |#,
  ARGS.C-CONT.HOOK.INDEX.E "8" #| 1.9e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LIST "9" #| 1.6e+02 |#,
  ARGS.+TM.LIST "10" #| 1.6e+02 |#,
  ARGS.+LM.LIST "11" #| 1.6e+02 |#,
  ARGS.+TONES.LIST "12" #| 1.6e+02 |#,
  ARGS.+LENGTHS.LIST "13" #| 1.6e+02 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "14" #| 1.4e+02 |#,
  ARGS "15" #| 1.2e+02 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LAST "16" #| 1.1e+02 |#,
  ARGS.SUPRA.TONES.LIST.REST.REST.FIRST "17" #| 80 |#,
  ARGS.SUPRA.LEN.LIST.REST "18" #| 69 |#,
  ARGS.SUPRA.LENGTHS.LIST.FIRST.REST "19" #| 69 |#,
  ARGS.SUPRA.LENGTHS.LIST.FIRST.REST.REST "20" #| 69 |#,
  ARGS.SUPRA.LEN.LIST.REST.REST "21" #| 69 |#,
  ARGS.SUPRA.TONES.LIST.REST.FIRST "22" #| 63 |#,
  ARGS.SUPRA.TONES.LIST.FIRST "23" #| 58 |#,
  ARGS.SUPRA.TONES.LIST.REST.REST.REST.FIRST "24" #| 32 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LAST "25" #| 18 |#,
  ARGS.ROBUST "26" #| 16 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SPR "27" #| 14 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH "28" #| 14 |#,
  ARGS.SUPRA.LEN.LIST.REST.REST.REST "29" #| 14 |#,
  ARGS.SUPRA.LENGTHS.LIST.FIRST.REST.REST.REST "30" #| 14 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST "31" #| 11 |#,
  ARGS.SUPRA.LENGTHS.LIST.FIRST "32" #| 8.6 |#,
  ARGS.SUPRA.LEN.LIST "33" #| 8.6 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "34" #| 8.3 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS "35" #| 6.4 |#,
  ARGS.SYNSEM.POLTONE "36" #| 6.3 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG "37" #| 5.5 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG "38" #| 5.5 |#,
  ARGS.C-CONT.HOOK.XARG.PNG "39" #| 5.5 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.SPECI "40" #| 5.5 |#,
  ARGS.SYNSEM.LOCAL.AGR.SPECI "41" #| 5.5 |#,
  ARGS.C-CONT.HOOK.XARG.SPECI "42" #| 5.5 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.INDEX._REL "43" #| 4.9 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD "44" #| 4.7 |#,
  ARGS.SUPRA.TONES.LIST.FIRST.FIRST "45" #| 4.4 |#,
  ARGS.SUPRA.TONE.LIST.FIRST "46" #| 4.4 |#,
  ARGS.SUPRA.LEN.LIST.REST.REST.REST.FIRST "47" #| 4 |#,
  ARGS.SUPRA.LENGTHS.LIST.FIRST.REST.REST.REST.FIRST "48" #| 4 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.GEND "49" #| 3 |#,
  ARGS.C-CONT.HOOK.XARG.PNG.GEND "50" #| 3 |#,
  ARGS.C-CONT.HOOK.XARG.PNG.PN "51" #| 3 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.PN "52" #| 3 |#,
  ARGS.SYNSEM.LOCAL.AGR.PNG.GEND "53" #| 3 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.XARG.PNG.PN "54" #| 3 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.GEND "55" #| 2.2 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR.PNG.GEND "56" #| 2.2 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR.PNG.PN "57" #| 2.2 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX.PNG.PN "58" #| 2.2 |#,
  ARGS.SUPRA.TONE.LIST.REST "59" #| 2 |#,
  ARGS.SUPRA.TONES.LIST.FIRST.REST "60" #| 2 |#,
  ARGS.SUPRA.TONE.LIST "61" #| 1.9 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.PNG.GEND "62" #| 1.5 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.AGR.PNG.PN "63" #| 1.5 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.CONT.HOOK.INDEX.PNG.PN "64" #| 1.5 |#,
  ARGS.SYNSEM.NON-LOCAL.SLASH.LIST.FIRST.AGR.PNG.GEND "65" #| 1.5 |#,
  ARGS.SUPRA.LENGTHS.LIST "66" #| 0.67 |#,
  ARGS.SUPRA.TONES.LIST "67" #| 0.67 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CONT.HOOK.XARG "68" #| 0.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.NON-LOCAL.SLASH.LAST "69" #| 0.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "70" #| 0.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR "71" #| 0.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.OPT "72" #| 0.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.CONT.HOOK.INDEX "73" #| 0.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.NON-LOCAL.SLASH.LIST "74" #| 0.43 |#,
  ARGS.SYNSEM.LOCAL.CAT.VAL.COMPS.FIRST.LOCAL.CAT.VAL.SUBJ.FIRST.LOCAL.AGR "75" #| 0.43 |# ].

:end :instance.

;; set based paths (threshold 9e+01%)

; 72 failing sets, total count 5e+03:
;
;  #0 (636, 1e+01%) [63 64 65 66]
;  #1 (636, 3e+01%) [67 68]
;  #2 (354, 4e+01%) [8 71 72 73]
;  #3 (353, 4e+01%) [70 77]
;  #4 (268, 5e+01%) [8 71 72 74]
;  #5 (194, 5e+01%) [31 78]
;  #6 (182, 6e+01%) [31 70 77 78]
;  #7 (141, 6e+01%) [6 70 77]
;  #8 (138, 6e+01%) [43 44]
;  #9 (138, 7e+01%) [33 34]
;  #10 (127, 7e+01%) [8 70 71 72 74 77]
;  #11 (116, 7e+01%) [1]
;  #12 (108, 7e+01%) [8 31 71 72 73 78]
;  #13 (86, 8e+01%) [6 8 70 71 72 73 77]
;  #14 (80, 8e+01%) [120]
;  #15 (74, 8e+01%) [71 72]
;  #16 (70, 8e+01%) [8 31 70 71 72 73 77 78]
;  #17 (62, 8e+01%) [8 70 71 72 73 77]
;  #18 (58, 8e+01%) [76]
;  #19 (56, 8e+01%) [41]
;  #20 (55, 9e+01%) [6]
;  #21 (52, 9e+01%) [6 31 70 77 78]
;  #22 (45, 9e+01%) [70 71 72 77]
;  #23 (44, 9e+01%) [36 71 72 95 96 97 98 99]
;  #24 (36, 9e+01%) [6 8 71 72 73]
; searching for minimal number of paths to cover 25 sets Fri Aug 21 13:56:44 2009
; found solution with 12 paths on Fri Aug 21 13:56:44 2009
; estimated size of remaining search space 256
; minimal solution (12 paths) found on Fri Aug 21 13:56:44 2009
;  1 [116] 6 [370] 31 [606] 33 [138] 41 [56] 43 [138] 63 [636] 67 [636] 70 [1118] 71 [1274] 76 [58] 120 [80] 

:begin :instance.

qc_subs_set_pack := *top* &
[ ARGS.C-CONT.HOOK.INDEX.--XTR "0" #| 1274 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX._REL "1" #| 1118 |#,
  ARGS.+TM.LIST "2" #| 636 |#,
  ARGS.+TONES.LIST.REST "3" #| 636 |#,
  ARGS.SYNSEM.LOCAL.CONT.HOOK.INDEX.E "4" #| 606 |#,
  ARGS.SYNSEM.LOCAL.CAT.HEAD.VFORM "5" #| 370 |#,
  ARGS.SUPRA.LENGTHS.LIST.FIRST.REST.REST "6" #| 138 |#,
  ARGS.SUPRA.LENGTHS.LIST.FIRST.REST "7" #| 138 |#,
  ARGS "8" #| 116 |#,
  ARGS.SUPRA.TONES.LIST.REST.REST.FIRST "9" #| 80 |#,
  ARGS.SUPRA.TONES.LIST.REST.FIRST "10" #| 58 |#,
  ARGS.SUPRA.TONES.LIST.FIRST "11" #| 56 |# ].

:end :instance.