home *** CD-ROM | disk | FTP | other *** search
/ Gambler 34 A / GAMBLERCD34A.BIN / Brydz / Programy / demo32.exe / DISK_1.ZIP / SPECIAL.DAT < prev    next >
Text File  |  1998-12-10  |  37KB  |  596 lines
  1. special_name(211,"Import from hand librarian","Import from librarian")
  2. special_name(109,"Random Hands","Anything goes")
  3. special_name(302,"1D - 2C","One diamond opener, two club response")
  4. special_name(309,"1H - 1S","One heart opener, one spade response")
  5. special_name(508,"Advanced Jacoby - Strong NT","Jacoby transfer; Opener has 4 cards in the transfered suit")
  6. special_name(512,"Advanced Jacoby - Weak NT","Jacoby transfer; Opener has 4 cards in the transfered suit")
  7. special_name(403,"Astro after Strong NT","Astro after strong notrump opener")
  8. special_name(404,"Astro after Weak NT","Astro after weak notrump opener")
  9. special_name(201,"Balancing","First hand opens, 2nd and 3rd pass")
  10. special_name(333,"Checkback for Strong NT","Checkback Stayman sequences")
  11. special_name(341,"Checkback for Weak NT","Checkback Stayman sequences")
  12. special_name(342,"Checkback for 2NT rebid","Checkback Stayman sequences")
  13. special_name(700,"Cue is limit raise or better","Cue raise")
  14. special_name(506,"Double fits","Partnership has two suits that fit")
  15. special_name(510,"Drury","5 card major opener in 3rd seat; support")
  16. special_name(601,"Equal unbalanced","Equal split of points, weak unbalanced openings")
  17. special_name(104,"Equal","Equal split of points, weak opening hands")
  18. special_name(370,"Escaping from weak notrump","Weak notrump opener, doubled -> escapes")
  19. special_name(102,"Five Card Major Openers","5 card major opener opposite hand > 10 points")
  20. special_name(303,"Flannery","5H4S openings")
  21. special_name(305,"Forcing 1N","Forcing 1N response to major opener")
  22. special_name(335,"Forcing Two Over One","Game forcing two over one responses")
  23. special_name(262,"Fourth hand interference","Bidding by 4th hand after one-over-one bidding")
  24. special_name(301,"Free Bids","Free bids over an overcall")
  25. special_name(330,"Games26-28","Always 26-28 HCPs between hands")
  26. special_name(331,"Gambling 3NT","Responding to Gambling 3NT; No outside A or K")
  27. special_name(503,"Inverted minors (for Weak NT)","Minor opening, responder has support and no major")
  28. special_name(560,"Inverted minors (for Strong NT)","Minor opening, responder has support and no major")
  29. special_name(501,"Jacoby Transfers - Strong NT","5 card major after standard NT opener")
  30. special_name(513,"Jacoby Transfers - Weak NT","5 card major after weak NT opener")
  31. special_name(509,"Jacoby Two Notrump","Jacoby response to major opener")
  32. special_name(307,"Jump Shifts","Strong hands with >17pts in response")
  33. special_name(304,"Lebensohl - Strong NT","Competitive sequences after strong NT opener")
  34. special_name(308,"Lebensohl - Weak NT","Competitive sequences after weak NT opener")
  35. special_name(334,"Limit Raises","Limit major raises")
  36. special_name(230,"Lucas two bids","Lucas two bid opener")
  37. special_name(406,"Michaels Cue Bids","Two suited overcalls suitable for Michaels Cue bid")
  38. special_name(108,"Minor Suit Openers","Minor suit openings")
  39. special_name(200,"Negative Doubles","Opener, overcall, then responding hands with 4 card major")
  40. special_name(511,"Opponents One Notrump Opening (Strong)","Unbalanced hands after RHO opens one notrump")
  41. special_name(514,"Opponents One Notrump Opening (Weak)","Unbalanced hands after RHO opens one notrump")
  42. special_name(300,"Overcalls","Overcalls with the balance of power")
  43. special_name(504,"Partner Pre-empts -> Slam","Getting to slam after partner makes a pre-emptive bid")
  44. special_name(204,"Partner Pre-empts","Partner opens with a pre-emptive bid")
  45. special_name(505,"Passed hand bidding","Partner and RHO make initial passes")
  46. special_name(220,"Positive response to strong Two Bids","Strong two bid opener and positive response")  
  47. special_name(103,"Preemptive Openings; 1st seat","Weak hands with 7 or 8 card suits")
  48. special_name(120,"Preemptive Openings; 2nd seat","Weak hands with 7 or 8 card suits")
  49. special_name(121,"Preemptive Openings; 3rd seat","Weak hands with 7 or 8 card suits")
  50. special_name(649,"Precision 1C","Precision Club openers")
  51. special_name(650,"Precision 1C, interfer_1","Precision followed by one-suited interference")
  52. special_name(651,"Precision 1C, interfer_2","Precision followed by two-suited interference")
  53. special_name(652,"Precision 2D, interfer","Q Precision 55 majors, 7-10 HCPs")
  54. special_name(653,"Precision 1C, negative response","Negative response to strong club opener")
  55. special_name(209,"Raises1","Raises of major openers - responder bids")
  56. special_name(240,"Raises2","Raises of major openers - opener bids")
  57. special_name(208,"Random Hands Strong","At least game")
  58. special_name(110,"Random Openers",  "First hand has enough points to open")
  59. special_name(603,"Random Strong Openers","First hand has 16+ points")
  60. special_name(250,"Responder Rebids 1","Invitational hands after minor openings")
  61. special_name(407,"Responding to partners overcall","Partner overcalls and RHO passes")
  62. special_name(701,"Responsive Doubles","Opener is raised after partners takeout double")
  63. special_name(203,"RHO Pre-empts","RHO pre-empts")
  64. special_name(106,"Slam On Fit","Slam likely if a good fit can be found")
  65. special_name(502,"Slams by Jacoby Transfers","Strong hand with 5 card major after standard NT")
  66. special_name(212,"Slams","Always more than 32 HCPs")
  67. special_name(213,"Slams33","Always exactly 33 HCPS")
  68. special_name(332,"Splinters","Splinter in support of opening major")
  69. special_name(101,"Strong Balanced Hands","Balanced Hands Totalling 31-38 points for NT bidding")
  70. special_name(401,"Strong notrump","Strong notrump openers opposite anything")
  71. special_name(402,"Strong notrump opposite two suited","Strong notrump openers opposite 2 suited hand")
  72. special_name(372,"Strong notrump, Wack!","Strong notrump, double, then random hands")
  73. special_name(322,"Strong Two Bids - Acol","ACOL strong two bid openers, unbalanced in DHS.")  
  74. special_name(202,"Strong Two Bids - unbalanced","Strong two bid openers, unbalanced")  
  75. special_name(520,"Strong Two Bids - balanced","Strong two bid openers, balanced")  
  76. special_name(214,"Strong Two Bids - Responder","Strong two opened by partner")  
  77. special_name(215,"Strong Two Bids - responder has nothing","Strong two bid, partner makes 2nd negative")
  78. special_name(216,"Strong Two Bids - 2N rebid","Strong two bid, with balanced 22-23")
  79. special_name(260,"Support Doubles 1","Openers rebid after an overcall of a one over one response")
  80. special_name(261,"Support Doubles 2","Partner as opener raises or makes a support double after an overcall")
  81. special_name(107,"Takeout Double by Partner","Responding to takeout doubles")
  82. special_name(602,"Takeout Double by RHO","Bidding after RHO makes a takeout double")
  83. special_name(251,"Two NT","20-22 Two notrump opening by partner, balanced hands")
  84. special_name(105,"Two Suited Openings","Two suited weak openers")
  85. special_name(405,"Two Suited Overcalls","Two suited hands after RHO opens")
  86. special_name(408,"Strong 2 Suiters after pre-empt","Strong two-suited hands after RHO opens a pre-emptive bid")
  87. special_name(125,"Unusual Notrump Overcall","Two suited overcall")
  88. special_name(126,"Unusual vs. Unusual, support","Bidding with support after intervening unusual notrump overcall")
  89. special_name(127,"Unusual vs. Unusual, no support","Bidding without support after intervening unusual notrump overcall")
  90. special_name(306,"Voids","Voids galore!")
  91. special_name(210,"Weak jump overcalls","Weak jump overcalls")
  92. special_name(207,"Weak notrump","Weak notrump openers opposite anything")
  93. special_name(371,"Weak notrump, Wack!","Weak notrump, double, then random hands")
  94. special_name(205,"Weak two bids by RHO",  "Weak two bid opened on your right")
  95. special_name(206,"Weak two bids","Weak two bid opener")
  96. special_name(190,"Weak two bids opposite strength","Weak two bid opener and partner has a strong hand")
  97. special(260,"otest1 pb su2353,3253 r6-11 k2 m")
  98. special(260,"otest2 pb su2335,3235 r6-11 m0")
  99. special(260,"otest3 itest1 pb r13-15 su2722 m1")
  100. special(260,"otest4 itest2 pb r13-15 su2722 m1")
  101. special(260,"otest5 itest3 t pb r13-15 su5233 m1")
  102. special(260,"etest5 itest4 t pb r13-15 su5233 m1")
  103. special(260,"oout.1 itest5 | $ k1 pi s ^25 r m1")
  104. special(261,"otest1 pb su2353,3253 r6-11 k2 m")
  105. special(261,"otest2 pb su2335,3235 r6-11 m0")
  106. special(261,"otest3 itest1 pb r13-15 su2722 m1")
  107. special(261,"otest4 itest2 pb r13-15 su2722 m1")
  108. special(261,"otest5 itest3 t pb r13-15 su5233 m1")
  109. special(261,"etest5 itest4 t pb r13-15 su5233 m1")
  110. special(261,"oout.1 itest5 | $ k1 pi s ^05 d2 r m1")
  111. special(262,"otest1 pb su2335,3235 r6-7 k4 m")
  112. special(262,"otest2 pb su2353,3253 r6-7 m0")
  113. special(262,"otest3 pb su2533,3523 r6-7 m0")
  114. special(262,"otest4 pb su4324,4234,4243,4342 r6-7 m0")
  115. special(262,"otest5 itest1 pb r10-13 su2542,2452,2551,1552 m1")
  116. special(262,"otest6 itest2 pb r10-13 su2524,2425,2515,1525 m1")
  117. special(262,"otest7 itest3 pb r10-13 su2254,2245,2155,1255 m1")
  118. special(262,"otest8 itest4 pb r13-16 su2542,2452,2551,1552,2434,2344,1444 m1")
  119. special(262,"otest9 itest5 t pb r13-14 su5332,5323 m1")
  120. special(262,"etest9 itest6 t pb r13-14 su5323,5332 m1")
  121. special(262,"etest9 itest7 t pb r13-14 su5233,5332 m1")
  122. special(262,"etest9 itest8 t pb r13-14 su5233,5332 m1")
  123. special(262,"oout.1 itest9 | $ k1 pi s ^35 d1 r m1")
  124. special(251,"otest pb s4333,4432 r20-22 k1 m")
  125. special(251,"otest1 itest pb s4333,4432 r2-4 m1")
  126. special(251,"oout.1 itest1 t pi s4333,4432 r10-18 m1")
  127. special(511,"otest pb s4333,4432 r16-17 k1 m")
  128. special(511,"otest2 itest pb r8-20 s7321,7222,8221,6511,5521,5530,6520 m1")
  129. special(511,"oout.1 itest2 pi t s4432,4441 m1 d1 ^15")
  130. special(514,"otest pb s4333,4432 r13-14 k1 m")
  131. special(514,"otest2 itest pb r8-20 s7321,7222,8221,6511,5521,5530,6520 m1")
  132. special(514,"oout.1 itest2 pi t s4432,4441 m1 d1 ^15")
  133. special(101,"otest1 pb s4333,4432 r13-15 k4 m")
  134. special(101,"otest2 pb s4333,4432 r16-18 m0")
  135. special(101,"otest3 pb s4333,4432 r19-22 m0")
  136. special(101,"otest4 pb s4333,4432 r23-26 m0")
  137. special(101,"otest5 itest1 pb r1-8 s4333,4432 m1")
  138. special(101,"otest6 itest2 pb r1-8 s4333,4432 m1")
  139. special(101,"otest7 itest3 pb r1-8 s4333,4432 m1")
  140. special(101,"otest8 itest4 pb r1-8 s4333,4432 m1")
  141. special(101,"otest9 itest5 pb t c31-38 s5332,4333,4432 m1")
  142. special(101,"etest9 itest6 pb t c31-38 s5332,4333,4432 m1")
  143. special(101,"etest9 itest7 pb t c31-38 s5332,4333,4432 m1")
  144. special(101,"etest9 itest8 pb t c31-38 s5332,4333,4432 m1")
  145. special(101,"oout.1 itest9 | $ k1 pi s ^25 d2 r m1")
  146. special(331,"otest1 pb su2227,1327,0337 n49-10 k4 r9-11 m")
  147. special(331,"otest2 pb su2272,1372,0373 n39-10 r9-11 m0")
  148. special(331,"otest3 pb su2722,1732,0733 n29-10 r9-11 m0")
  149. special(331,"otest4 pb su7222,7132,7033 n19-10 r9-11 m0")
  150. special(331,"otest5 itest1 pb r7-9 s m1")
  151. special(331,"etest5 itest2 pb r7-9 s m1")
  152. special(331,"etest5 itest3 pb r7-9 s m1")
  153. special(331,"etest5 itest4 pb r7-9 s m1")
  154. special(331,"oout.1 itest5 t pi s r9-20 ^05 k1 $ m1")
  155. special(102,"otest1 pb su1336,3136,2335,1435 k2 r13-18 m")
  156. special(102,"otest2 pb su3163,3361,2353,1453 r13-18 m0")
  157. special(102,"otest3 itest1 pb r3-6 s m1")
  158. special(102,"etest3 itest2 pb r3-6 s m1")
  159. special(102,"oout.1 itest3 t pi su1444,4144,4333,3433,2344,2434,2443,6133,1633 c21-24 ^05 d0 k1 m1")
  160. special(103,"otest1 pb su2227,1327,1228,1138,0337 n45-7 k4 r4-9 m")
  161. special(103,"otest2 pb su2272,1372,1282,1183,0373 n35-7 r4-9 m0")
  162. special(103,"otest3 pb su2722,1732,1822,1813,0733 n25-7 r4-9 m0")
  163. special(103,"otest4 pb su7222,7132,8122,8113,7033 n15-7 r4-9 m0")
  164. special(103,"otest5 itest1 pb r s m1")
  165. special(103,"etest5 itest2 pb r s m1")
  166. special(103,"etest5 itest3 pb r s m1")
  167. special(103,"etest5 itest4 pb r s m1")
  168. special(103,"oout.1 itest5 t pi r s ^05 k1 d0 $ m1")
  169. special(120,"otest1 pb su2227,1327,1228,1138,0337 n44-7 k4 r4-9 m")
  170. special(120,"otest2 pb su2272,1372,1282,1183,0373 n34-7 r4-9 m0")
  171. special(120,"otest3 pb su2722,1732,1822,1813,0733 n24-7 r4-9 m0")
  172. special(120,"otest4 pb su7222,7132,8122,8113,7033 n14-7 r4-9 m0")
  173. special(120,"otest5 itest1 pb r15-19 s m1")
  174. special(120,"etest5 itest2 pb r15-19 s m1")
  175. special(120,"etest5 itest3 pb r15-19 s m1")
  176. special(120,"etest5 itest4 pb r15-19 s m1")
  177. special(120,"oout.1 itest5 t pi s c16-20 ^15 k1 $ d2 m1")
  178. special(121,"otest1 pb su2227,1327,1228,1138,0337,1147 n42-7 k4 r6-15 m")
  179. special(121,"otest2 pb su2272,1372,1282,1183,0373,1174 n32-7 r6-15 m0")
  180. special(121,"otest3 pb su2722,1732,1822,1813,0733,1741,1714 n22-7 r6-15 m0")
  181. special(121,"otest4 pb su7222,7132,8122,8113,7033,7141,7114 n12-7 r6-15 m0")
  182. special(121,"otest5 itest1 pb r15-19 s m1")
  183. special(121,"etest5 itest2 pb r15-19 s m1")
  184. special(121,"etest5 itest3 pb r15-19 s m1")
  185. special(121,"etest5 itest4 pb r15-19 s m1")
  186. special(121,"oout.1 itest5 t pi s c16-18 ^05 k1 $ d2 m1")
  187. special(510,"otest pb su1336,3136,3163,3361,2335,2353,1435,1453 k1 r11-18 m")
  188. special(510,"otest2 itest pb r8-10 su4432 m1")
  189. special(510,"oout.1 itest2 t pi su2344,3244,4144 r7-11 ^05 d2 m1")
  190. special(104,"otest pb s r13-16 k1 m")
  191. special(104,"otest2 itest pb r9-10 s m1")
  192. special(104,"oout.1 itest2 t pi s ^55 c19-21 m1")
  193. special(601,"otest pb s5521,6421,5530,5440,6430 k1 r13-16 m")
  194. special(601,"otest2 itest pb r9-10 s m1")
  195. special(601,"oout.1 itest2 t pi s5431,5521,5530,6421,6430,5440 ^25 d2 c19-21 m1")
  196. special(125,"otest1 pb su6331,6133,6313 r12-13 k3 m")
  197. special(125,"otest2 pb su3631,1633,3613 r12-13 m0")
  198. special(125,"otest3 pb su1363,3163,3361,1336,3136,1336 r12-13 m0")
  199. special(125,"otest4 itest1 pb r8-20 su1552,2551,1651,1561,0553,3550,0562,2560,0652,2650 m1")
  200. special(125,"otest4 itest2 pb r8-20 su5152,5251,6151,5161,5053,5350,5062,5260,6052,6250 m1")
  201. special(125,"otest4 itest3 pb r8-20 su5521,5521,5530,5503,6502,5602,6520,5620,6511,5611 m1")
  202. special(125,"oout.1 itest4 $ t pi c13-22 s d1 m1 ^15 k1 m1")
  203. special(126,"otest1 pb su2335,3235 r12-19 k2 m")
  204. special(126,"otest2 pb su2353,3253 r12-19 m0")
  205. special(126,"otest3 itest1 pb r6-9 su5521,5512,6511,5611,5503,5530 m1")
  206. special(126,"otest4 itest2 pb r6-9 su5521,5512,6511,5611,5503,5530 m1")
  207. special(126,"otest5 itest3 t pb r10-20 n42-9 su3334,1444,4144,2245,2254,3145,1345,2344,3244 m1")
  208. special(126,"etest5 itest4 t pb r10-20 n42-9 su3343,1444,4144,2245,2254,3145,1345,2344,3244 m1")
  209. special(126,"oout.1 itest5 | $ pi ^05 s r k1 m1")
  210. special(127,"otest1 pb su2335,3235 n44-7 r12-19 k2 m")
  211. special(127,"otest2 pb su2353,3253 n34-7 r12-19 m0")
  212. special(127,"otest3 itest1 pb r6-9 su5521,5512,6511,5611,5503,5530 m1")
  213. special(127,"otest4 itest2 pb r6-9 su5521,5512,6511,5611,5503,5530 m1")
  214. special(127,"otest5 itest3 pb r10-20 n42-9 su3352,3262,2362,3442,4441 m1")
  215. special(127,"etest5 itest4 pb r10-20 n42-9 su3325,3226,2326,3424,4414 m1")
  216. special(127,"oout.1 itest5 | pi r s ^05 k1 $ m1") 
  217. special(105,"otest pb s5521,5530,6430,6421 r11-14 k1 m")
  218. special(105,"otest2 itest pb r8-13 s m1")
  219. special(105,"oout.1 itest2 t pi s r9-18 ^25 d2 m1")
  220. special(106,"otest pb s1435,1453,6331 r15-18 k1 m")
  221. special(106,"otest2 itest pb r0-8 s4432 m1")
  222. special(106,"oout.1 itest2 t pi s5431,4441,5440 ^05 c30-35 m1")
  223. special(107,"otest1 pb r12-14 su2227,1336,3316,3136,1345,3145 k4 m")
  224. special(107,"otest2 pb r12-14 su2272,1363,3361,3163,1453,4153 m0")
  225. special(107,"otest3 pb r12-14 su2722,1633,3631,3613,1543,4513 m0")
  226. special(107,"otest4 pb r12-14 su7222,6133,6331,6313,5143,5413 m0")
  227. special(107,"otest5 itest1 pb r12-18 su5440,4540,4450,4441,5341,3541 m1")
  228. special(107,"etest5 itest2 pb r12-18 su5404,4504,4405,4414,5314,3514 m1")
  229. special(107,"etest5 itest3 pb r12-18 su5044,4054,4045,4144,5134,3154 m1")
  230. special(107,"etest5 itest4 pb r12-18 su0544,0454,0445,1444,1534,1354 m1")
  231. special(107,"oout.1 itest5 $ k1 t pi s d3 ^35 r2-4 m1")
  232. special(602,"otest1 pb r12-14 su2227,1336,3316,3136,1345,3145 k4 m")
  233. special(602,"otest2 pb r12-14 su2272,1363,3361,3163,1453,4153 m0")
  234. special(602,"otest3 pb r12-14 su2722,1633,3631,3613,1543,4513 m0")
  235. special(602,"otest4 pb r12-14 su7222,6133,6331,6313,5143,5413 m0")
  236. special(602,"otest5 itest1 pb r12-13 su5440,4540,4450,4441,5341,3541 m1")
  237. special(602,"etest5 itest2 pb r12-13 su5404,4504,4405,4414,5314,3514 m1")
  238. special(602,"etest5 itest3 pb r12-13 su5044,4054,4045,4144,5134,3154 m1")
  239. special(602,"etest5 itest4 pb r12-13 su0544,0454,0445,1444,1534,1354 m1")
  240. special(602,"oout.1 itest5 $ k1 t pi s ^05 r10-20 m1")
  241. special(108,"otest pb su6331,3631,3613,5332,3532 r13-18 k1 m")
  242. special(108,"otest2 itest pb r2-8 s m1")
  243. special(108,"oout.1 itest2 t pi s r10-15 ^25 d2 m1")
  244. special(333,"otest1 pb su4432,4423 r13-14 k3 m")
  245. special(333,"otest2 pb su5233,2533,4432,4423 r13-14 m0")
  246. special(333,"otest3 pb su5422,4522 r13-14 m0")
  247. special(333,"otest4 itest1 pb r4-6 su2344,3244 m1")
  248. special(333,"etest4 itest2 pb r4-6 su2344,3244 m1")
  249. special(333,"etest4 itest3 pb r4-6 su2344,3244 m1")
  250. special(333,"oout.1 itest4 $ t k1 pi r11-30 su0454,0445,2245,2254,1345,1354 m1")
  251. special(341,"otest1 pb su4432,4423 r16-17 k3 m")
  252. special(341,"otest2 pb su5233,2533,4432,4423 r16-17 m0")
  253. special(341,"otest3 pb su5422,4522 r16-17 m0")
  254. special(341,"otest4 itest1 pb r4-6 su2344,3244 m1")
  255. special(341,"etest4 itest2 pb r4-6 su2344,3244 m1")
  256. special(341,"etest4 itest3 pb r4-6 su2344,3244 m1")
  257. special(341,"oout.1 itest4 $ t k1 pi r8-27 su0454,0445,2245,2254,1345,1354 m1")
  258. special(342,"otest1 pb su4432,4423 r18-19 k3 m")
  259. special(342,"otest2 pb su5233,2533,4432,4423 r18-19 m0")
  260. special(342,"otest3 pb su5422,4522 r18-19 m0")
  261. special(342,"otest4 itest1 pb r4-6 su2344,3244 m1")
  262. special(342,"etest4 itest2 pb r4-6 su2344,3244 m1")
  263. special(342,"etest4 itest3 pb r4-6 su2344,3244 m1")
  264. special(342,"oout.1 itest4 $ t k1 pi r6-25 su0454,0445,2245,2254,1345,1354 m1")
  265. special(109,"otest pb s r k1 m")
  266. special(109,"otest2 itest pb r s m1")
  267. special(109,"oout.1 itest2 t pi s r ^55 m1")
  268. special(110,"otest pb s r13-20 k1 m")
  269. special(110,"otest2 itest pb r0-8 s m1")
  270. special(110,"oout.1 itest2 t pi s r12-20 ^25 d2 m1")
  271. special(603,"otest pb s r16-20 k1 m")
  272. special(603,"otest2 itest pb r2-8 s m1")
  273. special(603,"oout.1 itest2 t pi s r5-20 ^25 d2 m1")
  274. special(200,"otest1 pb su1543,2542,2641,3541 k3 r13-20 m")
  275. special(200,"otest2 pb su3352,2452,2461,4261,4351 r13-20 m0")
  276. special(200,"otest3 pb su2335,2425,2416,2146,4135 r13-20 m0")
  277. special(200,"otest4 itest1 pb r10-11 su2227,2236,1336 m1")
  278. special(200,"otest5 itest2 pb r10-11 su2227,2326,3136 m1")
  279. special(200,"otest6 itest3 pb r13-14 su7222,2722,6232,2632,6313,3613 m1")
  280. special(200,"otest7 itest4 t pb r5-20 su5242,4342,5341 m1")
  281. special(200,"etest7 itest5 t pb r5-20 su5332,3532,4423,4522,5422,5413 m1")
  282. special(200,"etest7 itest6 t pb r5-20 su5242,4342,6142 m1")
  283. special(200,"oout.1 itest7 | pi r s ^05 k1 $ m1") 
  284. special(201,"otest pb s6331 r12-15 k1 m")
  285. special(201,"otest2 itest pb r7-8 s4432 m1")
  286. special(201,"oout.1 itest2 t pi s r0-3 d3 m1 ^35") 
  287. special(202,"otest pb s5521,6331,6421 r23-27 pb k1 m")
  288. special(202,"otest2 itest pb s r0-3 m1")
  289. special(202,"oout.1 itest2 t pi s r d2 ^25 m1")    
  290. special(520,"otest pb s4333,4432 r23-27 pb k1 m")
  291. special(520,"otest2 itest pb s r0-3 m1")
  292. special(520,"oout.1 itest2 t pi s r d2 ^25 m1")    
  293. special(214,"otest pb s r23-27 pb k1 m")
  294. special(214,"otest2 itest pb s r0-3 m1")
  295. special(214,"oout.1 itest2 t pi s r ^25 m1")    
  296. special(220,"otest pb s r23-27 pb k1 m")
  297. special(220,"otest2 itest pb s r0-3 m1")
  298. special(220,"oout.1 itest2 t pi s r8-14 ^05 m1")    
  299. special(505,"otest1 pb su4324,3424,4234 n47-9 k4 r10-12 m")
  300. special(505,"otest2 pb su4342,3442,4243 n37-9 r10-12 m0")
  301. special(505,"otest3 pb s5332 r13-17 m0")
  302. special(505,"otest4 pb s5521 r13-17 m0")
  303. special(505,"otest5 itest1 pb r12-13 s4432,4333 m1")
  304. special(505,"etest5 itest2 pb r12-13 s4432,4333 m1")
  305. special(505,"etest5 itest3 pb r12-13 s4432,4333 m1")
  306. special(505,"etest5 itest4 pb r12-13 s4432,4333 m1")
  307. special(505,"oout.1 itest5 t pi s4432,5431,4333,5422,4441,5332 r7-10 ^05 d2 k1 $ m1")
  308. special(203,"otest1 pb su1228,1138 n45-8 k4 r6-9 m")
  309. special(203,"otest2 pb su1282,1183 n35-8 r6-9 m0")
  310. special(203,"otest3 pb su1822,1813 n25-8 r6-9 m0")
  311. special(203,"otest4 pb su8122,8113 n15-8 r6-9 m0")
  312. special(203,"otest5 itest1 pb r15-23 s m1")
  313. special(203,"etest5 itest2 pb r15-23 s m1")
  314. special(203,"etest5 itest3 pb r15-23 s m1")
  315. special(203,"etest5 itest4 pb r15-23 s m1")
  316. special(203,"oout.1 itest5 t pi s c7-14 ^15 d1 k1 $ m1")
  317. special(204,"otest pb s2227,1327,1228,1138,0337 r4-8 k1 m")
  318. special(204,"otest2 itest pb r2-4 s m1")
  319. special(204,"oout.1 itest2 t pi s c21-38 ^05 m1")
  320. special(322,"otest1 pb su1336,3136,3316 n46-8 k3 r18-23 m")
  321. special(322,"otest2 pb su1363,3163,3361 n36-8 r18-23 m0")
  322. special(322,"otest3 pb su1633,3613,3631 n26-8 r18-23 m0")
  323. special(322,"otest4 itest1 pb r1-3 s m1")
  324. special(322,"etest4 itest2 pb r1-3 s m1")
  325. special(322,"etest4 itest3 pb r1-3 s m1")
  326. special(322,"oout.1 itest4 t pi s r ^15 d1 k1 $ m1")
  327. special(504,"otest pb s2227,1327,1228,1138,0337 r7-8 k1 m")
  328. special(504,"otest2 itest pb r2-3 s m1")
  329. special(504,"oout.1 itest2 t pi s c29-38 ^05 m1")
  330. special(205,"otest pb su2236,2263,1336,1363 r7-9 k1 m")
  331. special(205,"otest2 itest pb r13-18 s m1")
  332. special(205,"oout.1 itest2 t pi s c3-13 d1 ^15 m1")
  333. special(206,"otest1 pb su3226,2326,2236,3136,3316,1336 n44-9 r7-10 k2 m")
  334. special(206,"otest2 pb su3262,2362,2263,3163,3361,1363 n34-9 r7-10 m0")
  335. special(206,"otest3 itest1 pb r s m1")
  336. special(206,"etest3 itest2 pb r s m1")
  337. special(206,"oout.1 itest3 t pi s r m1 $ d2 k1 ^25")
  338. special(190,"otest1 pb su3226,2326,2236,3136,3316,1336 n44-9 r7-10 k2 m")
  339. special(190,"otest2 pb su3262,2362,2263,3163,3361,1363 n34-9 r7-10 m0")
  340. special(190,"otest3 itest1 pb r2-4 s m1")
  341. special(190,"etest3 itest2 pb r2-4 s m1")
  342. special(190,"oout.1 itest3 t pi s r16-26 m1 $ d2 k1 ^25")
  343. special(230,"otest1 pb su4135,1435,4315,3415 n45-9 r7-10 k2 m")
  344. special(230,"otest2 pb su4153,1453,4351,3451 n35-9 r7-10 m0")
  345. special(230,"otest3 itest1 pb r s m1")
  346. special(230,"etest3 itest2 pb r s m1")
  347. special(230,"oout.1 itest3 t pi s r m1 $ d2 k1 ^25")
  348. special(207,"otest pb s4333,4432 r13-14 k1 m")
  349. special(207,"otest2 itest pb r s m1")
  350. special(207,"oout.1 itest2 pi r t s d2 m1 ^25")
  351. special(370,"otest pb s4333,4432 r12-14 k1 m")
  352. special(370,"otest2 itest pb r12-14 s4333,4432 m1")
  353. special(370,"oout.1 itest2 pi r0-6 t s7222,6331,5332,5431,4432 d2 m1 ^25")
  354. special(371,"otest pb s4333,4432 r12-14 k1 m")
  355. special(371,"otest2 itest pb r12-14 s4333,4432 m1")
  356. special(371,"oout.1 itest2 pi r t s d2 m1 ^25")
  357. special(401,"otest pb s4333,4432 r16-17 k1 m")
  358. special(401,"otest2 itest pb r1-8 s m1")
  359. special(401,"oout.1 itest2 pi r t s d2 m1 ^25")
  360. special(372,"otest pb s4333,4432 r16-17 k1 m")
  361. special(372,"otest2 itest pb r15-17 s4333,4432 m1")
  362. special(372,"oout.1 itest2 pi r t s d2 m1 ^25")
  363. special(402,"otest pb s4333,4432 r16-17 k1 m")
  364. special(402,"otest2 itest pb r1-8 s m1")
  365. special(402,"oout.1 itest2 pi r t s5431,5530,5521,6421,6430,6511,6520 d2 m1 ^25")
  366. special(403,"otest pb s4333,4432 r16-17 k1 m")
  367. special(403,"otest2 itest pb r8-20 s5521,6511,5530,6520 m1")
  368. special(403,"oout.1 itest2 pi r t s d1 m1 ^15")
  369. special(404,"otest pb s4333,4432 r13-14 k1 m")
  370. special(404,"otest2 itest pb r8-20 s5521,6511,5530,6520,6421 m1")
  371. special(404,"oout.1 itest2 pi r t s d1 m1 ^15")
  372. special(405,"otest pb s6331 r13-15 k1 m")
  373. special(405,"otest2 itest pb r8-20 s5521,6511,5530,6520 m1")
  374. special(405,"oout.1 itest2 pi c16-26 t s d1 m1 ^15")
  375. special(406,"otest1 pb su6331,3631,3613,6133,6313,1633 r12-13 k3 m")
  376. special(406,"otest2 pb su1363,3163,3361 r12-13 m0")
  377. special(406,"otest3 pb su1336,3136,1336 r12-13 m0")
  378. special(406,"otest4 itest1 pb r8-20 su1255,2155,1165,1156,0355,3055,0256,2056,0265,2065 m1")
  379. special(406,"otest4 itest2 pb r8-20 su5125,5215,1525,2515,6115,5116,1615,1516 m1")
  380. special(406,"otest4 itest3 pb r8-20 su5152,5251,1552,2551,6151,5161,1651,1561 m1")
  381. special(406,"oout.1 itest4 $ t pi c13-22 s d1 m1 ^15 k1 m1")
  382. special(407,"otest1 pb s6331 r12-13 k1 m")
  383. special(407,"otest2 itest1 pb r8-20 s6331 m1")
  384. special(407,"oout.1 itest2 t pi r0-2 s d3 m1 ^35 m1")
  385. special(408,"otest pb su7321,7231,7123,7222 r6-8 n16-8 k4 m")
  386. special(408,"etest pb su3721,1723,1732,2722 r6-8 n26-8 m0")
  387. special(408,"etest pb su3271,2371,1273,2272 r6-8 n36-8 m0")
  388. special(408,"etest pb su3217,1237,2317,2227 r6-8 n46-8 m0")
  389. special(408,"otest2 itest pb r18-24 s5521,6511,5530,6520 m1")
  390. special(408,"oout.1 itest2 $ pi r t s d1 m1 ^11")
  391. special(250,"otest1 pb su6133,6232,6223 r13-14 k4 m")
  392. special(250,"otest2 pb su4522,4513,4531 r13-14 m0")
  393. special(250,"otest3 pb su3613,3631 r13-14 m0")
  394. special(250,"otest4 pb su5422,5431,5413 r13-14 m0")
  395. special(250,"otest5 itest1 pb r6-8 su2344,4333,3433 m1")
  396. special(250,"etest5 itest2 pb r6-8 su2344,4333,3433 m1")
  397. special(250,"etest5 itest3 pb r6-8 su2344,4333,3433 m1")
  398. special(250,"etest5 itest4 pb r6-8 su2344,4333,3433 m1")
  399. special(250,"oout.1 itest5 $ t pi ^05 su2353,2335,1363,1336,3145,3154,1345,1354 r10-11 k1 m1")
  400. special(208,"otest pb s r17-19 k1 m")
  401. special(208,"otest2 itest pb r4-8 s m1")
  402. special(208,"oout.1 itest2 t pi s c26-35 d2 ^25 m1")
  403. special(649,"otest pb s r16-27 k1 m")
  404. special(649,"otest2 itest pb r2-5 s4333,4432 m1")
  405. special(649,"oout.1 itest2 t pi s r3-20 d2 ^25 m1")
  406. special(650,"otest pb s r16-27 k1 m")
  407. special(650,"otest2 itest pb r8-12 s6331,7222,8221 m1")
  408. special(650,"oout.1 itest2 t pi s c24-38 d1 ^15 m1")
  409. special(651,"otest pb s r16-27 k1 m")
  410. special(651,"otest2 itest pb r8-12 s6601,6511,6520,5521,5530,5440 m1")
  411. special(651,"oout.1 itest2 t pi s c20-38 d1 ^15 m1")
  412. special(652,"otest pb s r7-9 su1255,2155,2245,2254,3055,0355,3154,3145,1354,1345 k1 m")
  413. special(652,"otest2 itest pb r10-24 s m1")
  414. special(652,"oout.1 itest2 t pi s c8-16 d1 ^15 m1")
  415. special(653,"otest pb s r16-27 k1 m")
  416. special(653,"otest2 itest pb r2-5 s4333,4432 m1")
  417. special(653,"oout.1 itest2 t pi s r0-10 d2 ^25 m1")
  418. special(215,"otest pb s r23-27 pb k1 m")
  419. special(215,"otest2 itest pb s r0-9 m1")
  420. special(215,"oout.1 itest2 t pi s r0-3 ^25 m1")    
  421. special(216,"otest pb r22-23 -s4333,4432 pb k1 m")
  422. special(216,"otest2 itest pb s r0-9 m1")
  423. special(216,"oout.1 itest2 t pi s ^05 m1")    
  424. special(209,"otest1 pb su3235,3136 r12-18 k2 m")
  425. special(209,"otest2 pb su2353,3361 r12-18 m0")
  426. special(209,"otest3 itest1 pb r4-6 su5422,5431 m1")
  427. special(209,"otest4 itest2 pb r4-6 su5422,4522 m1")
  428. special(209,"otest5 itest3 t pb r6-17 su3334,2344,3244,3424,4324,5224,2524 m1")
  429. special(209,"etest5 itest4 t pb r6-17 su3343,2344,3244,3442,4342,5242,2542 m1")
  430. special(209,"oout.1 itest5 | $ pi ^05 s r k1 m1")
  431. special(240,"otest1 pb su3235,3136 r12-18 k2 m")
  432. special(240,"otest2 pb su2353,3361 r12-18 m0")
  433. special(240,"otest3 itest1 pb r4-6 su5422,5431 m1")
  434. special(240,"otest4 itest2 pb r4-6 su5422,4522 m1")
  435. special(240,"otest5 itest3 t pb r6-17 su3334,2344,3244,3424,4324,5224,2524 m1")
  436. special(240,"etest5 itest4 t pb r6-17 su3343,2344,3244,3442,4342,5242,2542 m1")
  437. special(240,"oout.1 itest5 | $ pi ^25 d2 s r k1 m1")
  438. special(334,"otest1 pb su3235,3136 r12-18 k2 m")
  439. special(334,"otest2 pb su2353,3361 r12-18 m0")
  440. special(334,"otest3 itest1 pb r4-6 su5422,5431 m1")
  441. special(334,"otest4 itest2 pb r4-6 su5422,4522 m1")
  442. special(334,"otest5 itest3 t pb r9-11 su1534,5134,3334,2344,3244,3424,4324,5224,2524 m1")
  443. special(334,"etest5 itest4 t pb r9-11 su1543,5143,3343,2344,3244,3442,4342,5242,2542 m1")
  444. special(334,"oout.1 itest5 | $ pi ^05 s r k1 m1")
  445. special(332,"otest1 pb su3235,3136 r12-18 k2 m")
  446. special(332,"otest2 pb su2353,3361 r12-18 m0")
  447. special(332,"otest3 itest1 pb r4-6 su4432 m1")
  448. special(332,"otest4 itest2 pb r4-6 su4432 m1")
  449. special(332,"otest5 itest3 t pb r11-14 su0544,5044,1534,1354,3154 m1")
  450. special(332,"etest5 itest4 t pb r11-14 su0544,5044,1543,1345,3145 m1")
  451. special(332,"oout.1 itest5 | pi ^05 s r k1 $ m1")
  452. special(335,"otest1 pb su3235,3136 r12-18 k2 m")
  453. special(335,"otest2 pb su2353,3361 r12-18 m0")
  454. special(335,"otest3 itest1 pb r4-6 su5422,5431 m1")
  455. special(335,"otest4 itest2 pb r4-6 su5422,4522 m1")
  456. special(335,"otest5 itest3 t pb r13-19 su3532,5332,4531,5431,4531,5242,2542 m1")
  457. special(335,"etest5 itest4 t pb r13-19 su3523,5323,4513,5413,4513,5224,2524 m1")
  458. special(335,"oout.1 itest5 | $ pi ^05 s r k1 m1")
  459. special(210,"otest1 pb su6133 r13-14 k4 m")
  460. special(210,"otest2 pb su3613 r13-14 m0")
  461. special(210,"otest3 pb su3361 r13-14 m0")
  462. special(210,"otest4 pb su1336 r13-14 m0")
  463. special(210,"otest5 itest1 pb r8-10 su1633 m1")
  464. special(210,"etest5 itest2 pb r8-10 su3163 m1")
  465. special(210,"etest5 itest3 pb r8-10 su3316 m1")
  466. special(210,"etest5 itest4 pb r8-10 su6331 m1")
  467. special(210,"oout.1 itest5 $ t pi s c20-26 d5 k1 ^55 m1")
  468. special(212,"otest pb s r15-22 k1 m")
  469. special(212,"otest2 itest pb r0-2 s m1")
  470. special(212,"oout.1 itest2 t pi s c33-40 ^55 m1")
  471. special(213,"otest pb s r10-18 k1 m")
  472. special(213,"otest2 itest pb r0-2 s m1")
  473. special(213,"oout.1 itest2 t pi s c33-33 ^55 m1")
  474. special(330,"otest pb s r10-18 k1 m")
  475. special(330,"otest2 itest pb r0-6 s m1")
  476. special(330,"oout.1 itest2 t pi s c26-28 ^55 m1")
  477. special(300,"otest pb s6331,7222,6322 r12-13 k1 m")
  478. special(300,"otest2 itest pb s5422,6421,6331,6322,7222,7321 r10-20 m1")
  479. special(300,"oout.1 itest2 pi s t r0-2 ^05 m1")    
  480. special(301,"otest pb s6322,7222 r12-13 k1 m")
  481. special(301,"otest2 itest pb s8221 r11-12 m1")
  482. special(301,"oout.1 itest2 pi t s6322,6331,5332,7222 r10-14 ^05 m1")    
  483. special(302,"otest pb su2632,1543,3541,3514,3622 r12-13 k1 m")
  484. special(302,"otest2 itest pb s2245,2254 r3-6 m1")
  485. special(302,"oout.1 itest2 pi t su6133,6331,5332,7222,6421,5431,5413 r10-25 ^05 m1")    
  486. special(309,"otest pb su2353,3253,3352,4153,1453,1363,3163,3361 r13-14 k1 m")
  487. special(309,"otest2 itest pb s5422,4522,43333433 r3-6 m1")
  488. special(309,"oout.1 itest2 pi t su2335,3235,3325,1435,4135,4315,3415,4405 r4-18 ^05 m1")    
  489. special(303,"otest pb su2254,1354,3154,0454,4054 r11-15 k1 m")
  490. special(303,"otest2 itest pb s r2-6 m1")
  491. special(303,"oout.1 itest2 pi s t c30-38 ^05 m1")    
  492. special(304,"otest1 pb su3433,3343,3334,2344,2434,2443 n10-3 r16-17 k4 m")
  493. special(304,"otest2 pb su4333,3343,3334,4243,3244,4234 n20-3 r16-17 m0")
  494. special(304,"otest3 pb su4333,3433,3334,4423,4324,3424 n30-3 r16-17 m0")
  495. special(304,"otest4 pb su4333,3433,3343,4432,3442,4342 n40-3 r16-17 m0")
  496. special(304,"otest5 itest1 pb su7222,7321,7123,7303,7330 n15-10 r12-15 m1")
  497. special(304,"etest5 itest2 pb su2722,1732,1723,3730,0733 n25-10 r12-15 m1")
  498. special(304,"etest5 itest3 pb su2272,1273,3172,3073,0373 n35-10 r12-15 m1")
  499. special(304,"etest5 itest4 pb su2227,1237,3127,3037,3307 n45-10 r12-15 m1")
  500. special(304,"oout.1 itest5 $ pi s t c23-28 ^05 k1 m1")    
  501. special(308,"otest1 pb su3433,3343,3334,2344,2434,2443 n10-3 r13-14 k4 m")
  502. special(308,"otest2 pb su4333,3343,3334,4243,3244,4234 n20-3 r13-14 m0")
  503. special(308,"otest3 pb su4333,3433,3334,4423,4324,3424 n30-3 r13-14 m0")
  504. special(308,"otest4 pb su4333,3433,3343,4432,3442,4342 n40-3 r13-14 m0")
  505. special(308,"otest5 itest1 pb su7222,7321,7123,7303,7330 n15-10 r12-15 m1")
  506. special(308,"etest5 itest2 pb su2722,1732,1723,3730,0733 n25-10 r12-15 m1")
  507. special(308,"etest5 itest3 pb su2272,1273,3172,3073,0373 n35-10 r12-15 m1")
  508. special(308,"etest5 itest4 pb su2227,1237,3127,3037,3307 n45-10 r12-15 m1")
  509. special(308,"oout.1 itest5 $ pi s t c23-28 ^05 k1 m1")    
  510. special(305,"otest pb su2335,3235,1336,4135,4315,3415,1345 r12-20 k1 m")
  511. special(305,"otest2 itest pb s r2-6 m1")
  512. special(305,"oout.1 itest2 pi t su5332,3532,3541,5341,6331,3631,3361,4441,5440,4540 r6-11 ^05 m1")    
  513. special(700,"otest1 pb su2335,3235,1336,4135,4315,3415,1345 n10-2 r13-21 k2 m")
  514. special(700,"otest2 pb su2353,3253,1363,4153,4351,3451,1354 n10-2 r13-21 k2 m0")
  515. special(700,"otest3 itest1 pb su6331 n16-10 r9-12 m1")
  516. special(700,"otest4 itest2 pb su6313 n16-10 r9-12 m1")
  517. special(700,"otest5 itest3 t pb su1444,2434,2425 r8-20 m1")
  518. special(700,"etest5 itest4 t pb su1444,2443,2452 r8-20 m1")
  519. special(700,"oout.1 itest5 | pi s r ^05 k1 $ m1")
  520. special(306,"otest pb s5440,6430,6520,5530,7420,7330 r12-20 k1 m")
  521. special(306,"otest2 itest pb s5440,6430,6520,5530,7420,7330 r6-12 m1")
  522. special(306,"oout.1 itest2 pi t s c24-33 ^05 m1")    
  523. special(307,"otest pb su5413,5431 r13-18 k1 m")
  524. special(307,"otest2 itest pb su1543,1534 r1-3 m1")
  525. special(307,"oout.1 itest2 pi t su2236,2263,4135,4153,4126,4162 r18-20 ^05 m1")    
  526. special(501,"otest pb s4333,4432 r16-17 k1 m")
  527. special(501,"otest2 itest pb su4333 r1-6 m1")
  528. special(501,"oout.1 itest2 pi t su2236,2263,4135,4153,4126,4162,2335,2353,3325,3352 r15-21 ^05 m1")    
  529. special(513,"otest pb s4333,4432 r13-14 k1 m")
  530. special(513,"otest2 itest pb su4333 r1-8 m1")
  531. special(513,"oout.1 itest2 pi t su2236,2263,4135,4153,4126,4162 r10-16 ^05 m1")    
  532. special(502,"otest pb s4333,4432 r16-17 k1 m")
  533. special(502,"otest2 itest pb s4333 r1-5 m1")
  534. special(502,"oout.1 itest2 pi t su2236,2263,4135,4153,4126,4162 r15-22 ^05 m1")    
  535. special(701,"otest1 pb su2326,3226 r12-13 k2 m")
  536. special(701,"otest2 pb su2362,3262 r12-13 m0")
  537. special(701,"otest3 itest1 pb su4441,5341,3541 r11-13 m1")
  538. special(701,"otest4 itest2 pb su4414,5314,3514 r11-13 m1")
  539. special(701,"otest5 itest3 pb t su3343 r6-8 m1")
  540. special(701,"etest5 itest4 pb t su3334 r6-8 m1")
  541. special(701,"oout.1 itest5 | pi s r d3 ^35 k1 $ m1")
  542. special(503,"otest1 pb su2443,2434,3532,3523,1543,1534,2542,2524 k3 r16-20 m")
  543. special(503,"otest2 pb su4243,4234,5332,5323,5143,5134,5242,5224 r16-20 m0")
  544. special(503,"otest3 pb su3343,3334,3244 r16-20 m0")
  545. special(503,"otest4 itest1 pb su5233 r1-8 m1")
  546. special(503,"otest5 itest2 pb su2443 r1-8 m1")
  547. special(503,"otest6 itest3 pb su2443 r1-8 m1")
  548. special(503,"otest7 itest4 pb t su2533,3433,4432,4522,4513,4531 r9-19 ^05 m1")    
  549. special(503,"etest7 itest5 pb t su5233,4333,4432,5422,5413,5431 r9-19 ^05 m1")    
  550. special(503,"etest7 itest6 pb t su5233,4333,4432,5422,5413,5431 r9-19 ^05 m1")    
  551. special(503,"oout.1 itest7 | pi s r ^05 k1 $ m1")    
  552. special(560,"otest1 pb su2443,2434,3532,3523,1543,1534,2542,2524 k3 r13-14 m")
  553. special(560,"otest2 pb su4243,4234,5332,5323,5143,5134,5242,5224 r13-14 m0")
  554. special(560,"otest3 pb su3343,3334,3244 r13-14 m0")
  555. special(560,"otest4 itest1 pb su5233 r1-8 m1")
  556. special(560,"otest5 itest2 pb su2443 r1-8 m1")
  557. special(560,"otest6 itest3 pb su2443 r1-8 m1")
  558. special(560,"otest7 itest4 pb t su2533,3433,4432,4522,4513,4531 r9-19 ^05 m1")    
  559. special(560,"etest7 itest5 pb t su5233,4333,4432,5422,5413,5431 r9-19 ^05 m1")    
  560. special(560,"etest7 itest6 pb t su5233,4333,4432,5422,5413,5431 r9-19 ^05 m1")    
  561. special(560,"oout.1 itest7 | pi s r ^05 k1 $ m1")    
  562. special(506,"otest1 pb su5224,4225,5134,4315 k4 r13-14 m")
  563. special(506,"otest2 pb su5242,4252,5143,4351 r13-14 m0")
  564. special(506,"otest3 pb su2524,2425,1534,3415 r13-14 m0")
  565. special(506,"otest4 pb su2245,2254,1345,1354 r13-14 m0")
  566. special(506,"otest5 itest1 pb su2452,2452 r1-8 m1")
  567. special(506,"otest6 itest2 pb su2425,2524 r1-8 m1")
  568. special(506,"otest7 itest3 pb su5242,4252 r1-8 m1")
  569. special(506,"otest8 itest4 pb su5422,4522 r1-8 m1")
  570. special(506,"otest9 itest5 pb t su5134,4135,5314,4315,5224,4225 r9-19 ^05 m1")    
  571. special(506,"etest9 itest6 pb t su5143,4153,5341,4351,5242,4252 r9-19 ^05 m1")    
  572. special(506,"etest9 itest7 pb t su1534,1435,3514,3415,2524,2425 r9-19 ^05 m1")    
  573. special(506,"etest9 itest8 pb t su2245,2254,1345,3145,3154,1354 r9-19 ^05 m1")    
  574. special(506,"oout.1 itest9 | pi s r ^05 k1 $ m1")    
  575. special(509,"otest1 pb su1336,3136,3316,2236,2326,3226 r14-20 k2 m")
  576. special(509,"otest2 pb su1363,3163,3361,2263,2362,3262 r14-20 m0")
  577. special(509,"otest3 itest1 pb r1-8 su5332,2533 m1")
  578. special(509,"otest4 itest2 pb r1-8 su5332,2533 m1")
  579. special(509,"otest5 itest3 pb t c29-39 su3334,2344,2434,4234 m1")
  580. special(509,"etest5 itest4 pb t c29-39 su3343,2344,2443,4243 m1")
  581. special(509,"oout.1 itest5 | pi r s ^05 k1 $ m1")
  582. special(512,"otest1 pb su2434,2344,3244,3334 r13-14 k2 m")
  583. special(512,"otest2 pb su2443,2344,3244,3343 r13-14 m0")
  584. special(512,"otest3 itest1 pb r1-8 su5332,2533 m1")
  585. special(512,"otest4 itest2 pb r1-8 su5332,2533 m1")
  586. special(512,"otest5 itest3 pb t c29-39 su1435,4135,2335,3235,3325 m1")
  587. special(512,"etest5 itest4 pb t c29-39 su1453,4153,2353,3253,3352 m1")
  588. special(512,"oout.1 itest5 | pi r s ^05 k1 $ m1")
  589. special(508,"otest1 pb su2434,2344,3244,3334 r16-17 k2 m")
  590. special(508,"otest2 pb su2443,2344,3244,3343 r16-17 m0")
  591. special(508,"otest3 itest1 pb r1-8 su5332,2533 m1")
  592. special(508,"otest4 itest2 pb r1-8 su5332,2533 m1")
  593. special(508,"otest5 itest3 pb t c29-39 su1336,3136,3316,1435,4135,2335,3235,3325 m1")
  594. special(508,"etest5 itest4 pb t c29-39 su1363,3163,3361,1453,4153,2353,3253,3352 m1")
  595. special(508,"oout.1 itest5 | pi r s ^05 k1 $ m1")
  596.