sp
/
GSW_AI_LAB
Archived
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
The source code and dockerfile for the GSW2024 AI Lab.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
16 Commits
1 Branch
0 Tags
27 MiB
Branch: main
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'main'
${ noResults }
GSW_AI_LAB/tempest-devel/resources/3rdparty/cudd-3.0.0/nanotrav/C880.blif

770 lines
18 KiB
Raw Permalink Normal View History

initial commit
4 weeks ago
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
​
  1. .model C880.iscas
  2. .inputs 1GAT(0) 8GAT(1) 13GAT(2) 17GAT(3) 26GAT(4) 29GAT(5) 36GAT(6) 42GAT(7) 51GAT(8) 55GAT(9) 59GAT(10) 68GAT(11) 72GAT(12) 73GAT(13) 74GAT(14) 75GAT(15) 80GAT(16) 85GAT(17) 86GAT(18) 87GAT(19) 88GAT(20) 89GAT(21) 90GAT(22) 91GAT(23) 96GAT(24) 101GAT(25) 106GAT(26) 111GAT(27) 116GAT(28) 121GAT(29) 126GAT(30) 130GAT(31) 135GAT(32) 138GAT(33) 143GAT(34) 146GAT(35) 149GAT(36) 152GAT(37) 153GAT(38) 156GAT(39) 159GAT(40) 165GAT(41) 171GAT(42) 177GAT(43) 183GAT(44) 189GAT(45) 195GAT(46) 201GAT(47) 207GAT(48) 210GAT(49) 219GAT(50) 228GAT(51) 237GAT(52) 246GAT(53) 255GAT(54) 259GAT(55) 260GAT(56) 261GAT(57) 267GAT(58) 268GAT(59)
  3. .outputs 388GAT(133) 389GAT(132) 390GAT(131) 391GAT(124) 418GAT(168) 419GAT(164) 420GAT(158) 421GAT(162) 422GAT(161) 423GAT(155) 446GAT(183) 447GAT(182) 448GAT(179) 449GAT(176) 450GAT(173) 767GAT(349) 768GAT(334) 850GAT(404) 863GAT(424) 864GAT(423) 865GAT(422) 866GAT(426) 874GAT(433) 878GAT(442) 879GAT(441) 880GAT(440)
  4. .names 268GAT(59) 310GAT(60)
  5. 1 0
  6. .names 255GAT(54) 267GAT(58) 341GAT(61)
  7. 11 1
  8. .names 255GAT(54) 260GAT(56) 339GAT(62)
  9. 11 1
  10. .names 255GAT(54) 259GAT(55) 337GAT(63)
  11. 11 1
  12. .names 195GAT(46) 201GAT(47) 331GAT(64)
  13. 00 0
  14. .names 195GAT(46) 201GAT(47) 330GAT(65)
  15. 11 0
  16. .names 183GAT(44) 189GAT(45) 329GAT(66)
  17. 00 0
  18. .names 183GAT(44) 189GAT(45) 328GAT(67)
  19. 11 0
  20. .names 171GAT(42) 177GAT(43) 327GAT(68)
  21. 00 0
  22. .names 171GAT(42) 177GAT(43) 326GAT(69)
  23. 11 0
  24. .names 159GAT(40) 165GAT(41) 325GAT(70)
  25. 00 0
  26. .names 159GAT(40) 165GAT(41) 324GAT(71)
  27. 11 0
  28. .names 152GAT(37) 138GAT(33) 318GAT(72)
  29. 11 1
  30. .names 210GAT(49) 121GAT(29) 340GAT(73)
  31. 11 1
  32. .names 121GAT(29) 126GAT(30) 308GAT(74)
  33. 00 0
  34. .names 121GAT(29) 126GAT(30) 307GAT(75)
  35. 11 0
  36. .names 210GAT(49) 116GAT(28) 338GAT(76)
  37. 11 1
  38. .names 210GAT(49) 111GAT(27) 336GAT(77)
  39. 11 1
  40. .names 111GAT(27) 116GAT(28) 306GAT(78)
  41. 00 0
  42. .names 111GAT(27) 116GAT(28) 305GAT(79)
  43. 11 0
  44. .names 210GAT(49) 106GAT(26) 335GAT(80)
  45. 11 1
  46. .names 210GAT(49) 101GAT(25) 334GAT(81)
  47. 11 1
  48. .names 101GAT(25) 106GAT(26) 304GAT(82)
  49. 00 0
  50. .names 101GAT(25) 106GAT(26) 303GAT(83)
  51. 11 0
  52. .names 210GAT(49) 96GAT(24) 333GAT(84)
  53. 11 1
  54. .names 210GAT(49) 91GAT(23) 332GAT(85)
  55. 11 1
  56. .names 91GAT(23) 96GAT(24) 302GAT(86)
  57. 00 0
  58. .names 91GAT(23) 96GAT(24) 301GAT(87)
  59. 11 0
  60. .names 87GAT(19) 88GAT(20) 298GAT(88)
  61. 00 0
  62. .names 85GAT(17) 86GAT(18) 297GAT(89)
  63. 11 1
  64. .names 59GAT(10) 156GAT(39) 319GAT(90)
  65. 11 0
  66. .names 59GAT(10) 75GAT(15) 80GAT(16) 293GAT(91)
  67. 111 1
  68. .names 59GAT(10) 68GAT(11) 74GAT(14) 286GAT(92)
  69. 111 0
  70. .names 51GAT(8) 138GAT(33) 316GAT(93)
  71. 11 1
  72. .names 59GAT(10) 75GAT(15) 42GAT(7) 294GAT(94)
  73. 111 1
  74. .names 59GAT(10) 42GAT(7) 68GAT(11) 72GAT(12) 284GAT(95)
  75. 1111 0
  76. .names 59GAT(10) 36GAT(6) 42GAT(7) 296GAT(96)
  77. 111 1
  78. .names 59GAT(10) 36GAT(6) 80GAT(16) 295GAT(97)
  79. 111 1
  80. .names 29GAT(5) 36GAT(6) 42GAT(7) 292GAT(98)
  81. 111 1
  82. .names 29GAT(5) 36GAT(6) 80GAT(16) 291GAT(99)
  83. 111 1
  84. .names 29GAT(5) 75GAT(15) 42GAT(7) 290GAT(100)
  85. 111 1
  86. .names 29GAT(5) 75GAT(15) 80GAT(16) 287GAT(101)
  87. 111 1
  88. .names 29GAT(5) 68GAT(11) 285GAT(102)
  89. 11 0
  90. .names 29GAT(5) 36GAT(6) 42GAT(7) 273GAT(103)
  91. 111 1
  92. .names 17GAT(3) 42GAT(7) 323GAT(104)
  93. 11 1
  94. .names 17GAT(3) 42GAT(7) 322GAT(105)
  95. 00 1
  96. .names 17GAT(3) 138GAT(33) 317GAT(106)
  97. 11 1
  98. .names 8GAT(1) 138GAT(33) 309GAT(107)
  99. 11 1
  100. .names 1GAT(0) 8GAT(1) 13GAT(2) 55GAT(9) 280GAT(108)
  101. 1111 0
  102. .names 1GAT(0) 8GAT(1) 51GAT(8) 17GAT(3) 279GAT(109)
  103. 1111 0
  104. .names 1GAT(0) 26GAT(4) 51GAT(8) 276GAT(110)
  105. 111 1
  106. .names 1GAT(0) 26GAT(4) 13GAT(2) 17GAT(3) 270GAT(111)
  107. 1111 0
  108. .names 1GAT(0) 8GAT(1) 13GAT(2) 17GAT(3) 269GAT(112)
  109. 1111 0
  110. .names 310GAT(60) 369GAT(113)
  111. 1 0
  112. .names 330GAT(65) 331GAT(64) 385GAT(114)
  113. 11 0
  114. .names 328GAT(67) 329GAT(66) 382GAT(115)
  115. 11 0
  116. .names 326GAT(69) 327GAT(68) 379GAT(116)
  117. 11 0
  118. .names 324GAT(71) 325GAT(70) 376GAT(117)
  119. 11 0
  120. .names 307GAT(75) 308GAT(74) 366GAT(118)
  121. 11 0
  122. .names 305GAT(79) 306GAT(78) 363GAT(119)
  123. 11 0
  124. .names 303GAT(83) 304GAT(82) 360GAT(120)
  125. 11 0
  126. .names 301GAT(87) 302GAT(86) 357GAT(121)
  127. 11 0
  128. .names 90GAT(22) 298GAT(88) 356GAT(122)
  129. 11 1
  130. .names 89GAT(21) 298GAT(88) 355GAT(123)
  131. 11 0
  132. .names 297GAT(89) 391GAT(124)
  133. 1 1
  134. .names 293GAT(91) 351GAT(125)
  135. 1 0
  136. .names 280GAT(108) 286GAT(92) 350GAT(126)
  137. 00 0
  138. .names 294GAT(94) 352GAT(127)
  139. 1 0
  140. .names 280GAT(108) 284GAT(95) 348GAT(128)
  141. 00 1
  142. .names 296GAT(96) 354GAT(129)
  143. 1 0
  144. .names 295GAT(97) 353GAT(130)
  145. 1 0
  146. .names 292GAT(98) 390GAT(131)
  147. 1 1
  148. .names 291GAT(99) 389GAT(132)
  149. 1 1
  150. .names 290GAT(100) 388GAT(133)
  151. 1 1
  152. .names 280GAT(108) 285GAT(102) 349GAT(134)
  153. 00 0
  154. .names 273GAT(103) 343GAT(135)
  155. 1 0
  156. .names 270GAT(111) 273GAT(103) 344GAT(136)
  157. 00 0
  158. .names 322GAT(105) 323GAT(104) 375GAT(137)
  159. 00 1
  160. .names 279GAT(109) 347GAT(138)
  161. 1 0
  162. .names 276GAT(110) 345GAT(139)
  163. 1 0
  164. .names 276GAT(110) 346GAT(140)
  165. 1 0
  166. .names 269GAT(112) 342GAT(141)
  167. 1 0
  168. .names 210GAT(49) 369GAT(113) 417GAT(142)
  169. 11 1
  170. .names 385GAT(114) 415GAT(143)
  171. 1 0
  172. .names 382GAT(115) 385GAT(114) 416GAT(144)
  173. 11 1
  174. .names 382GAT(115) 414GAT(145)
  175. 1 0
  176. .names 379GAT(116) 412GAT(146)
  177. 1 0
  178. .names 376GAT(117) 379GAT(116) 413GAT(147)
  179. 11 1
  180. .names 376GAT(117) 411GAT(148)
  181. 1 0
  182. .names 366GAT(118) 408GAT(149)
  183. 1 0
  184. .names 363GAT(119) 366GAT(118) 409GAT(150)
  185. 11 1
  186. .names 363GAT(119) 407GAT(151)
  187. 1 0
  188. .names 360GAT(120) 405GAT(152)
  189. 1 0
  190. .names 357GAT(121) 360GAT(120) 406GAT(153)
  191. 11 1
  192. .names 357GAT(121) 404GAT(154)
  193. 1 0
  194. .names 356GAT(122) 423GAT(155)
  195. 1 1
  196. .names 355GAT(123) 403GAT(156)
  197. 1 0
  198. .names 348GAT(128) 73GAT(13) 400GAT(157)
  199. 11 1
  200. .names 351GAT(125) 420GAT(158)
  201. 1 1
  202. .names 350GAT(126) 402GAT(159)
  203. 1 0
  204. .names 347GAT(138) 352GAT(127) 410GAT(160)
  205. 11 0
  206. .names 354GAT(129) 422GAT(161)
  207. 1 1
  208. .names 353GAT(130) 421GAT(162)
  209. 1 1
  210. .names 349GAT(134) 401GAT(163)
  211. 1 0
  212. .names 344GAT(136) 419GAT(164)
  213. 1 1
  214. .names 345GAT(139) 393GAT(165)
  215. 1 0
  216. .names 346GAT(140) 399GAT(166)
  217. 1 0
  218. .names 270GAT(111) 343GAT(135) 392GAT(167)
  219. 00 0
  220. .names 342GAT(141) 418GAT(168)
  221. 1 1
  222. .names 414GAT(145) 415GAT(143) 445GAT(169)
  223. 11 1
  224. .names 411GAT(148) 412GAT(146) 444GAT(170)
  225. 11 1
  226. .names 407GAT(151) 408GAT(149) 426GAT(171)
  227. 11 1
  228. .names 404GAT(154) 405GAT(152) 425GAT(172)
  229. 11 1
  230. .names 403GAT(156) 450GAT(173)
  231. 1 1
  232. .names 400GAT(157) 424GAT(174)
  233. 1 0
  234. .names 375GAT(137) 59GAT(10) 156GAT(39) 393GAT(165) 442GAT(175)
  235. 1111 0
  236. .names 402GAT(159) 449GAT(176)
  237. 1 1
  238. .names 393GAT(165) 287GAT(101) 55GAT(9) 437GAT(177)
  239. 111 0
  240. .names 319GAT(90) 393GAT(165) 55GAT(9) 427GAT(178)
  241. 111 1
  242. .names 401GAT(163) 448GAT(179)
  243. 1 1
  244. .names 393GAT(165) 319GAT(90) 17GAT(3) 443GAT(180)
  245. 111 0
  246. .names 393GAT(165) 17GAT(3) 287GAT(101) 432GAT(181)
  247. 111 1
  248. .names 399GAT(166) 447GAT(182)
  249. 1 1
  250. .names 392GAT(167) 446GAT(183)
  251. 1 1
  252. .names 369GAT(113) 437GAT(177) 488GAT(184)
  253. 00 0
  254. .names 369GAT(113) 437GAT(177) 489GAT(185)
  255. 00 0
  256. .names 369GAT(113) 437GAT(177) 490GAT(186)
  257. 00 0
  258. .names 369GAT(113) 437GAT(177) 491GAT(187)
  259. 00 0
  260. .names 310GAT(60) 432GAT(181) 476GAT(188)
  261. 11 1
  262. .names 310GAT(60) 432GAT(181) 478GAT(189)
  263. 11 1
  264. .names 310GAT(60) 432GAT(181) 480GAT(190)
  265. 11 1
  266. .names 310GAT(60) 432GAT(181) 482GAT(191)
  267. 11 1
  268. .names 416GAT(144) 445GAT(169) 495GAT(192)
  269. 00 1
  270. .names 413GAT(147) 444GAT(170) 492GAT(193)
  271. 00 1
  272. .names 153GAT(38) 427GAT(178) 481GAT(194)
  273. 11 1
  274. .names 149GAT(36) 427GAT(178) 479GAT(195)
  275. 11 1
  276. .names 146GAT(35) 427GAT(178) 477GAT(196)
  277. 11 1
  278. .names 143GAT(34) 427GAT(178) 475GAT(197)
  279. 11 1
  280. .names 409GAT(150) 426GAT(171) 463GAT(198)
  281. 00 1
  282. .names 406GAT(153) 425GAT(172) 460GAT(199)
  283. 00 1
  284. .names 424GAT(174) 451GAT(200)
  285. 1 0
  286. .names 442GAT(175) 410GAT(160) 466GAT(201)
  287. 11 0
  288. .names 443GAT(180) 1GAT(0) 483GAT(202)
  289. 11 0
  290. .names 475GAT(197) 476GAT(188) 503GAT(203)
  291. 00 1
  292. .names 477GAT(196) 478GAT(189) 505GAT(204)
  293. 00 1
  294. .names 479GAT(195) 480GAT(190) 507GAT(205)
  295. 00 1
  296. .names 481GAT(194) 482GAT(191) 509GAT(206)
  297. 00 1
  298. .names 495GAT(192) 207GAT(48) 521GAT(207)
  299. 00 0
  300. .names 495GAT(192) 207GAT(48) 520GAT(208)
  301. 11 0
  302. .names 451GAT(200) 201GAT(47) 529GAT(209)
  303. 11 0
  304. .names 451GAT(200) 195GAT(46) 528GAT(210)
  305. 11 0
  306. .names 451GAT(200) 189GAT(45) 527GAT(211)
  307. 11 0
  308. .names 451GAT(200) 183GAT(44) 526GAT(212)
  309. 11 1
  310. .names 451GAT(200) 177GAT(43) 525GAT(213)
  311. 11 1
  312. .names 451GAT(200) 171GAT(42) 524GAT(214)
  313. 11 1
  314. .names 451GAT(200) 165GAT(41) 523GAT(215)
  315. 11 1
  316. .names 451GAT(200) 159GAT(40) 522GAT(216)
  317. 11 1
  318. .names 153GAT(38) 483GAT(202) 516GAT(217)
  319. 11 1
  320. .names 149GAT(36) 483GAT(202) 514GAT(218)
  321. 11 1
  322. .names 146GAT(35) 483GAT(202) 512GAT(219)
  323. 11 1
  324. .names 143GAT(34) 483GAT(202) 510GAT(220)
  325. 11 1
  326. .names 463GAT(198) 135GAT(32) 501GAT(221)
  327. 00 0
  328. .names 463GAT(198) 135GAT(32) 500GAT(222)
  329. 11 0
  330. .names 130GAT(31) 492GAT(193) 519GAT(223)
  331. 00 0
  332. .names 130GAT(31) 492GAT(193) 518GAT(224)
  333. 11 0
  334. .names 130GAT(31) 460GAT(199) 499GAT(225)
  335. 00 0
  336. .names 130GAT(31) 460GAT(199) 498GAT(226)
  337. 11 0
  338. .names 126GAT(30) 466GAT(201) 517GAT(227)
  339. 11 1
  340. .names 121GAT(29) 466GAT(201) 515GAT(228)
  341. 11 1
  342. .names 116GAT(28) 466GAT(201) 513GAT(229)
  343. 11 1
  344. .names 111GAT(27) 466GAT(201) 511GAT(230)
  345. 11 1
  346. .names 106GAT(26) 466GAT(201) 508GAT(231)
  347. 11 1
  348. .names 101GAT(25) 466GAT(201) 506GAT(232)
  349. 11 1
  350. .names 96GAT(24) 466GAT(201) 504GAT(233)
  351. 11 1
  352. .names 91GAT(23) 466GAT(201) 502GAT(234)
  353. 11 1
  354. .names 520GAT(208) 521GAT(207) 547GAT(235)
  355. 11 0
  356. .names 516GAT(217) 517GAT(227) 543GAT(236)
  357. 00 1
  358. .names 514GAT(218) 515GAT(228) 542GAT(237)
  359. 00 1
  360. .names 512GAT(219) 513GAT(229) 541GAT(238)
  361. 00 1
  362. .names 510GAT(220) 511GAT(230) 540GAT(239)
  363. 00 1
  364. .names 318GAT(72) 508GAT(231) 539GAT(240)
  365. 00 1
  366. .names 500GAT(222) 501GAT(221) 533GAT(241)
  367. 11 0
  368. .names 518GAT(224) 519GAT(223) 544GAT(242)
  369. 11 0
  370. .names 498GAT(226) 499GAT(225) 530GAT(243)
  371. 11 0
  372. .names 316GAT(93) 504GAT(233) 537GAT(244)
  373. 00 1
  374. .names 317GAT(106) 506GAT(232) 538GAT(245)
  375. 00 1
  376. .names 309GAT(107) 502GAT(234) 536GAT(246)
  377. 00 1
  378. .names 488GAT(184) 540GAT(239) 569GAT(247)
  379. 11 0
  380. .names 489GAT(185) 541GAT(238) 573GAT(248)
  381. 11 0
  382. .names 490GAT(186) 542GAT(237) 577GAT(249)
  383. 11 0
  384. .names 491GAT(187) 543GAT(236) 581GAT(250)
  385. 11 0
  386. .names 536GAT(246) 503GAT(203) 553GAT(251)
  387. 11 0
  388. .names 537GAT(244) 505GAT(204) 557GAT(252)
  389. 11 0
  390. .names 538GAT(245) 507GAT(205) 561GAT(253)
  391. 11 0
  392. .names 539GAT(240) 509GAT(206) 565GAT(254)
  393. 11 0
  394. .names 547GAT(235) 586GAT(255)
  395. 1 0
  396. .names 544GAT(242) 547GAT(235) 587GAT(256)
  397. 11 1
  398. .names 533GAT(241) 551GAT(257)
  399. 1 0
  400. .names 530GAT(243) 533GAT(241) 552GAT(258)
  401. 11 1
  402. .names 544GAT(242) 585GAT(259)
  403. 1 0
  404. .names 530GAT(243) 550GAT(260)
  405. 1 0
  406. .names 246GAT(53) 581GAT(250) 659GAT(261)
  407. 11 1
  408. .names 246GAT(53) 577GAT(249) 650GAT(262)
  409. 11 1
  410. .names 246GAT(53) 573GAT(248) 640GAT(263)
  411. 11 1
  412. .names 246GAT(53) 569GAT(247) 631GAT(264)
  413. 11 1
  414. .names 246GAT(53) 565GAT(254) 624GAT(265)
  415. 11 1
  416. .names 246GAT(53) 561GAT(253) 615GAT(266)
  417. 11 1
  418. .names 246GAT(53) 557GAT(252) 605GAT(267)
  419. 11 1
  420. .names 246GAT(53) 553GAT(251) 596GAT(268)
  421. 11 1
  422. .names 585GAT(259) 586GAT(255) 589GAT(269)
  423. 11 1
  424. .names 581GAT(250) 201GAT(47) 654GAT(270)
  425. 00 0
  426. .names 581GAT(250) 201GAT(47) 651GAT(271)
  427. 11 0
  428. .names 577GAT(249) 195GAT(46) 644GAT(272)
  429. 00 0
  430. .names 577GAT(249) 195GAT(46) 641GAT(273)
  431. 11 0
  432. .names 573GAT(248) 189GAT(45) 635GAT(274)
  433. 00 0
  434. .names 573GAT(248) 189GAT(45) 632GAT(275)
  435. 11 0
  436. .names 569GAT(247) 183GAT(44) 628GAT(276)
  437. 00 0
  438. .names 569GAT(247) 183GAT(44) 625GAT(277)
  439. 11 0
  440. .names 565GAT(254) 177GAT(43) 619GAT(278)
  441. 00 0
  442. .names 565GAT(254) 177GAT(43) 616GAT(279)
  443. 11 0
  444. .names 561GAT(253) 171GAT(42) 609GAT(280)
  445. 00 0
  446. .names 561GAT(253) 171GAT(42) 606GAT(281)
  447. 11 0
  448. .names 557GAT(252) 165GAT(41) 600GAT(282)
  449. 00 0
  450. .names 557GAT(252) 165GAT(41) 597GAT(283)
  451. 11 0
  452. .names 553GAT(251) 159GAT(40) 593GAT(284)
  453. 00 0
  454. .names 553GAT(251) 159GAT(40) 590GAT(285)
  455. 11 0
  456. .names 550GAT(260) 551GAT(257) 588GAT(286)
  457. 11 1
  458. .names 635GAT(274) 644GAT(272) 654GAT(270) 261GAT(57) 734GAT(287)
  459. 1111 0
  460. .names 644GAT(272) 654GAT(270) 261GAT(57) 733GAT(288)
  461. 111 0
  462. .names 654GAT(270) 261GAT(57) 732GAT(289)
  463. 11 0
  464. .names 341GAT(61) 659GAT(261) 731GAT(290)
  465. 00 1
  466. .names 339GAT(62) 650GAT(262) 721GAT(291)
  467. 00 1
  468. .names 337GAT(63) 640GAT(263) 712GAT(292)
  469. 00 1
  470. .names 587GAT(256) 589GAT(269) 661GAT(293)
  471. 00 1
  472. .names 654GAT(270) 651GAT(271) 727GAT(294)
  473. 11 1
  474. .names 651GAT(271) 722GAT(295)
  475. 1 0
  476. .names 644GAT(272) 641GAT(273) 717GAT(296)
  477. 11 1
  478. .names 641GAT(273) 713GAT(297)
  479. 1 0
  480. .names 635GAT(274) 632GAT(275) 708GAT(298)
  481. 11 1
  482. .names 632GAT(275) 705GAT(299)
  483. 1 0
  484. .names 628GAT(276) 625GAT(277) 700GAT(300)
  485. 11 1
  486. .names 625GAT(277) 697GAT(301)
  487. 1 0
  488. .names 631GAT(264) 526GAT(212) 704GAT(302)
  489. 00 1
  490. .names 619GAT(278) 616GAT(279) 692GAT(303)
  491. 11 1
  492. .names 616GAT(279) 687GAT(304)
  493. 1 0
  494. .names 624GAT(265) 525GAT(213) 696GAT(305)
  495. 00 1
  496. .names 609GAT(280) 606GAT(281) 682GAT(306)
  497. 11 1
  498. .names 606GAT(281) 678GAT(307)
  499. 1 0
  500. .names 615GAT(266) 524GAT(214) 686GAT(308)
  501. 00 1
  502. .names 600GAT(282) 597GAT(283) 673GAT(309)
  503. 11 1
  504. .names 597GAT(283) 670GAT(310)
  505. 1 0
  506. .names 605GAT(267) 523GAT(215) 677GAT(311)
  507. 00 1
  508. .names 593GAT(284) 590GAT(285) 665GAT(312)
  509. 11 1
  510. .names 590GAT(285) 662GAT(313)
  511. 1 0
  512. .names 596GAT(268) 522GAT(216) 669GAT(314)
  513. 00 1
  514. .names 552GAT(258) 588GAT(286) 660GAT(315)
  515. 00 1
  516. .names 727GAT(294) 261GAT(57) 758GAT(316)
  517. 11 1
  518. .names 727GAT(294) 261GAT(57) 757GAT(317)
  519. 00 1
  520. .names 237GAT(52) 722GAT(295) 760GAT(318)
  521. 11 1
  522. .names 237GAT(52) 713GAT(297) 755GAT(319)
  523. 11 1
  524. .names 237GAT(52) 705GAT(299) 752GAT(320)
  525. 11 1
  526. .names 237GAT(52) 697GAT(301) 749GAT(321)
  527. 11 1
  528. .names 237GAT(52) 687GAT(304) 746GAT(322)
  529. 11 1
  530. .names 237GAT(52) 678GAT(307) 743GAT(323)
  531. 11 1
  532. .names 237GAT(52) 670GAT(310) 740GAT(324)
  533. 11 1
  534. .names 237GAT(52) 662GAT(313) 737GAT(325)
  535. 11 1
  536. .names 228GAT(51) 727GAT(294) 759GAT(326)
  537. 11 1
  538. .names 228GAT(51) 717GAT(296) 754GAT(327)
  539. 11 1
  540. .names 228GAT(51) 708GAT(298) 751GAT(328)
  541. 11 1
  542. .names 228GAT(51) 700GAT(300) 748GAT(329)
  543. 11 1
  544. .names 228GAT(51) 692GAT(303) 745GAT(330)
  545. 11 1
  546. .names 228GAT(51) 682GAT(306) 742GAT(331)
  547. 11 1
  548. .names 228GAT(51) 673GAT(309) 739GAT(332)
  549. 11 1
  550. .names 228GAT(51) 665GAT(312) 736GAT(333)
  551. 11 1
  552. .names 661GAT(293) 768GAT(334)
  553. 1 1
  554. .names 722GAT(295) 756GAT(335)
  555. 1 0
  556. .names 644GAT(272) 722GAT(295) 761GAT(336)
  557. 11 0
  558. .names 635GAT(274) 644GAT(272) 722GAT(295) 763GAT(337)
  559. 111 0
  560. .names 713GAT(297) 753GAT(338)
  561. 1 0
  562. .names 635GAT(274) 713GAT(297) 762GAT(339)
  563. 11 0
  564. .names 705GAT(299) 750GAT(340)
  565. 1 0
  566. .names 697GAT(301) 747GAT(341)
  567. 1 0
  568. .names 687GAT(304) 744GAT(342)
  569. 1 0
  570. .names 609GAT(280) 687GAT(304) 764GAT(343)
  571. 11 0
  572. .names 600GAT(282) 609GAT(280) 687GAT(304) 766GAT(344)
  573. 111 0
  574. .names 678GAT(307) 741GAT(345)
  575. 1 0
  576. .names 600GAT(282) 678GAT(307) 765GAT(346)
  577. 11 0
  578. .names 670GAT(310) 738GAT(347)
  579. 1 0
  580. .names 662GAT(313) 735GAT(348)
  581. 1 0
  582. .names 660GAT(315) 767GAT(349)
  583. 1 1
  584. .names 757GAT(317) 758GAT(316) 786GAT(350)
  585. 00 1
  586. .names 750GAT(340) 762GAT(339) 763GAT(337) 734GAT(287) 773GAT(351)
  587. 1111 0
  588. .names 753GAT(338) 761GAT(336) 733GAT(288) 778GAT(352)
  589. 111 0
  590. .names 756GAT(335) 732GAT(289) 782GAT(353)
  591. 11 0
  592. .names 759GAT(326) 760GAT(318) 787GAT(354)
  593. 00 1
  594. .names 754GAT(327) 755GAT(319) 785GAT(355)
  595. 00 1
  596. .names 751GAT(328) 752GAT(320) 781GAT(356)
  597. 00 1
  598. .names 748GAT(329) 749GAT(321) 777GAT(357)
  599. 00 1
  600. .names 745GAT(330) 746GAT(322) 772GAT(358)
  601. 00 1
  602. .names 742GAT(331) 743GAT(323) 771GAT(359)
  603. 00 1
  604. .names 739GAT(332) 740GAT(324) 770GAT(360)
  605. 00 1
  606. .names 736GAT(333) 737GAT(325) 769GAT(361)
  607. 00 1
  608. .names 219GAT(50) 786GAT(350) 794GAT(362)
  609. 11 1
  610. .names 717GAT(296) 782GAT(353) 792GAT(363)
  611. 00 1
  612. .names 717GAT(296) 782GAT(353) 793GAT(364)
  613. 11 1
  614. .names 708GAT(298) 778GAT(352) 790GAT(365)
  615. 00 1
  616. .names 708GAT(298) 778GAT(352) 791GAT(366)
  617. 11 1
  618. .names 700GAT(300) 773GAT(351) 788GAT(367)
  619. 00 1
  620. .names 700GAT(300) 773GAT(351) 789GAT(368)
  621. 11 1
  622. .names 628GAT(276) 773GAT(351) 795GAT(369)
  623. 11 0
  624. .names 792GAT(363) 793GAT(364) 804GAT(370)
  625. 00 1
  626. .names 790GAT(365) 791GAT(366) 803GAT(371)
  627. 00 1
  628. .names 788GAT(367) 789GAT(368) 802GAT(372)
  629. 00 1
  630. .names 795GAT(369) 747GAT(341) 796GAT(373)
  631. 11 0
  632. .names 340GAT(73) 794GAT(362) 805GAT(374)
  633. 00 1
  634. .names 219GAT(50) 804GAT(370) 810GAT(375)
  635. 11 1
  636. .names 219GAT(50) 803GAT(371) 809GAT(376)
  637. 11 1
  638. .names 219GAT(50) 802GAT(372) 808GAT(377)
  639. 11 1
  640. .names 805GAT(374) 787GAT(354) 731GAT(290) 529GAT(209) 811GAT(378)
  641. 1111 0
  642. .names 692GAT(303) 796GAT(373) 806GAT(379)
  643. 00 1
  644. .names 692GAT(303) 796GAT(373) 807GAT(380)
  645. 11 1
  646. .names 619GAT(278) 796GAT(373) 812GAT(381)
  647. 11 0
  648. .names 609GAT(280) 619GAT(278) 796GAT(373) 813GAT(382)
  649. 111 0
  650. .names 600GAT(282) 609GAT(280) 619GAT(278) 796GAT(373) 814GAT(383)
  651. 1111 0
  652. .names 811GAT(378) 829GAT(384)
  653. 1 0
  654. .names 806GAT(379) 807GAT(380) 825GAT(385)
  655. 00 1
  656. .names 744GAT(342) 812GAT(381) 822GAT(386)
  657. 11 0
  658. .names 741GAT(345) 764GAT(343) 813GAT(382) 819GAT(387)
  659. 111 0
  660. .names 738GAT(347) 765GAT(346) 766GAT(344) 814GAT(383) 815GAT(388)
  661. 1111 0
  662. .names 338GAT(76) 810GAT(375) 828GAT(389)
  663. 00 1
  664. .names 336GAT(77) 809GAT(376) 827GAT(390)
  665. 00 1
  666. .names 335GAT(80) 808GAT(377) 826GAT(391)
  667. 00 1
  668. .names 219GAT(50) 825GAT(385) 836GAT(392)
  669. 11 1
  670. .names 829GAT(384) 840GAT(393)
  671. 1 0
  672. .names 828GAT(389) 785GAT(355) 721GAT(291) 528GAT(210) 839GAT(394)
  673. 1111 0
  674. .names 827GAT(390) 781GAT(356) 712GAT(292) 527GAT(211) 838GAT(395)
  675. 1111 0
  676. .names 826GAT(391) 777GAT(357) 704GAT(302) 837GAT(396)
  677. 111 0
  678. .names 682GAT(306) 822GAT(386) 834GAT(397)
  679. 00 1
  680. .names 682GAT(306) 822GAT(386) 835GAT(398)
  681. 11 1
  682. .names 673GAT(309) 819GAT(387) 832GAT(399)
  683. 00 1
  684. .names 673GAT(309) 819GAT(387) 833GAT(400)
  685. 11 1
  686. .names 665GAT(312) 815GAT(388) 830GAT(401)
  687. 00 1
  688. .names 665GAT(312) 815GAT(388) 831GAT(402)
  689. 11 1
  690. .names 815GAT(388) 593GAT(284) 841GAT(403)
  691. 11 0
  692. .names 840GAT(393) 850GAT(404)
  693. 1 1
  694. .names 839GAT(394) 848GAT(405)
  695. 1 0
  696. .names 838GAT(395) 847GAT(406)
  697. 1 0
  698. .names 837GAT(396) 846GAT(407)
  699. 1 0
  700. .names 834GAT(397) 835GAT(398) 844GAT(408)
  701. 00 1
  702. .names 832GAT(399) 833GAT(400) 843GAT(409)
  703. 00 1
  704. .names 830GAT(401) 831GAT(402) 842GAT(410)
  705. 00 1
  706. .names 735GAT(348) 841GAT(403) 849GAT(411)
  707. 11 1
  708. .names 334GAT(81) 836GAT(392) 845GAT(412)
  709. 00 1
  710. .names 219GAT(50) 844GAT(408) 853GAT(413)
  711. 11 1
  712. .names 219GAT(50) 843GAT(409) 852GAT(414)
  713. 11 1
  714. .names 219GAT(50) 842GAT(410) 851GAT(415)
  715. 11 1
  716. .names 848GAT(405) 857GAT(416)
  717. 1 0
  718. .names 847GAT(406) 856GAT(417)
  719. 1 0
  720. .names 846GAT(407) 855GAT(418)
  721. 1 0
  722. .names 845GAT(412) 772GAT(358) 696GAT(305) 854GAT(419)
  723. 111 0
  724. .names 849GAT(411) 858GAT(420)
  725. 1 0
  726. .names 417GAT(142) 851GAT(415) 859GAT(421)
  727. 00 1
  728. .names 857GAT(416) 865GAT(422)
  729. 1 1
  730. .names 856GAT(417) 864GAT(423)
  731. 1 1
  732. .names 855GAT(418) 863GAT(424)
  733. 1 1
  734. .names 854GAT(419) 862GAT(425)
  735. 1 0
  736. .names 858GAT(420) 866GAT(426)
  737. 1 1
  738. .names 333GAT(84) 853GAT(413) 861GAT(427)
  739. 00 1
  740. .names 332GAT(85) 852GAT(414) 860GAT(428)
  741. 00 1
  742. .names 862GAT(425) 870GAT(429)
  743. 1 0
  744. .names 861GAT(427) 771GAT(359) 686GAT(308) 869GAT(430)
  745. 111 0
  746. .names 860GAT(428) 770GAT(360) 677GAT(311) 868GAT(431)
  747. 111 0
  748. .names 859GAT(421) 769GAT(361) 669GAT(314) 867GAT(432)
  749. 111 0
  750. .names 870GAT(429) 874GAT(433)
  751. 1 1
  752. .names 869GAT(430) 873GAT(434)
  753. 1 0
  754. .names 868GAT(431) 872GAT(435)
  755. 1 0
  756. .names 867GAT(432) 871GAT(436)
  757. 1 0
  758. .names 873GAT(434) 877GAT(437)
  759. 1 0
  760. .names 872GAT(435) 876GAT(438)
  761. 1 0
  762. .names 871GAT(436) 875GAT(439)
  763. 1 0
  764. .names 877GAT(437) 880GAT(440)
  765. 1 1
  766. .names 876GAT(438) 879GAT(441)
  767. 1 1
  768. .names 875GAT(439) 878GAT(442)
  769. 1 1
  770. .end