Last active
November 13, 2016 19:23
-
-
Save mvw/61e487129e2dfc76fc623d286d124b48 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| a0 = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17] | |
| 1. [1, 10, 16] | |
| 2. [2, 8, 10] | |
| 3. [3, 9, 17] | |
| 4. [3, 13, 15] | |
| 5. [1, 8, 13] | |
| 6. [10, 12, 15] | |
| 7. [4, 10, 15] | |
| 8. [2, 8, 15] | |
| 9. [1, 3, 10] | |
| 10. [5, 8, 15] | |
| 11. [7, 12, 16] | |
| 12. [1, 11, 17] | |
| 13. [7, 14, 17] | |
| 14. [2, 5, 15] | |
| 15. [3, 12, 14] | |
| 16. [4, 6, 13] | |
| 17. [3, 8, 11] | |
| 18. [1, 5, 14] | |
| 19. [1, 3, 9] | |
| 20. [6, 14, 17] | |
| 21. [4, 6, 8] | |
| 22. [4, 9, 15] | |
| 23. [7, 10, 17] | |
| 24. [7, 9, 14] | |
| 25. [2, 10, 17] | |
| 26. [3, 9, 16] | |
| 27. [1, 4, 9] | |
| 28. [8, 12, 15] | |
| 29. [2, 6, 11] | |
| 30. [6, 9, 14] | |
| 31. [10, 15, 17] | |
| 32. [1, 5, 7] | |
| 33. [5, 10, 14] | |
| 34. [6, 15, 17] | |
| 35. [2, 5, 13] | |
| 36. [11, 14, 17] | |
| 37. [9, 12, 15] | |
| 38. [8, 10, 16] | |
| 39. [1, 8, 11] | |
| 40. [3, 9, 14] | |
| 41. [7, 14, 16] | |
| 42. [10, 13, 16] | |
| 43. [4, 12, 15] | |
| 44. [4, 8, 17] | |
| 45. [2, 6, 13] | |
| 46. [5, 14, 16] | |
| 47. [1, 3, 7] | |
| 48. [4, 7, 14] | |
| 49. [4, 8, 10] | |
| 50. [5, 11, 17] | |
| 51. [2, 6, 16] | |
| 52. [2, 9, 11] | |
| 53. [6, 8, 11] | |
| 54. [1, 4, 10] | |
| 55. [1, 6, 16] | |
| 56. [11, 15, 17] | |
| 57. [4, 11, 16] | |
| 58. [1, 4, 8] | |
| 59. [7, 11, 14] | |
| 60. [7, 9, 12] | |
| 61. [3, 12, 16] | |
| 62. [1, 8, 14] | |
| 63. [6, 14, 16] | |
| 64. [2, 14, 16] | |
| 65. [5, 10, 12] | |
| 66. [3, 6, 17] | |
| 67. [1, 3, 11] | |
| 68. [3, 5, 16] | |
| 69. [2, 9, 17] | |
| 70. [4, 7, 13] | |
| 71. [8, 11, 17] | |
| 72. [3, 10, 12] | |
| 73. [3, 14, 16] | |
| 74. [5, 8, 12] | |
| 75. [3, 6, 12] | |
| 76. [1, 4, 16] | |
| 77. [1, 5, 17] | |
| 78. [3, 12, 15] | |
| 79. [1, 5, 9] | |
| 80. [2, 8, 17] | |
| 81. [3, 7, 16] | |
| 82. [2, 4, 13] | |
| 83. [3, 11, 15] | |
| 84. [1, 7, 17] | |
| 85. [6, 10, 16] | |
| 86. [1, 6, 17] | |
| 87. [1, 9, 11] | |
| 88. [6, 8, 16] | |
| 89. [4, 13, 16] | |
| 90. [7, 9, 13] | |
| 91. [4, 10, 17] | |
| 92. [2, 4, 9] | |
| 93. [5, 12, 16] | |
| 94. [1, 13, 15] | |
| 95. [4, 6, 15] | |
| 96. [7, 10, 12] | |
| 97. [1, 12, 16] | |
| 98. [1, 5, 8] | |
| 99. [1, 12, 17] | |
| 100. [3, 15, 17] | |
| 101. [3, 11, 17] | |
| 102. [4, 12, 17] | |
| 103. [2, 7, 13] | |
| 104. [2, 5, 12] | |
| 105. [3, 5, 14] | |
| 106. [9, 14, 17] | |
| 107. [2, 12, 14] | |
| 108. [4, 9, 11] | |
| 109. [4, 7, 10] | |
| 110. [3, 10, 13] | |
| 111. [5, 15, 17] | |
| 112. [6, 10, 13] | |
| 113. [4, 8, 15] | |
| 114. [5, 7, 10] | |
| 115. [7, 10, 13] | |
| 116. [1, 3, 12] | |
| 117. [3, 11, 13] | |
| 118. [4, 7, 11] | |
| 119. [4, 13, 17] | |
| 120. [4, 6, 11] | |
| 121. [6, 13, 17] | |
| 122. [2, 7, 16] | |
| 123. [5, 10, 17] | |
| 124. [1, 5, 16] | |
| 125. [1, 9, 14] | |
| 126. [7, 15, 17] | |
| 127. [2, 7, 10] | |
| 128. [3, 10, 17] | |
| 129. [1, 8, 16] | |
| 130. [3, 7, 13] | |
| 131. [9, 11, 13] | |
| 132. [10, 12, 14] | |
| 133. [9, 12, 16] | |
| 134. [1, 4, 13] | |
| 135. [3, 5, 11] | |
| 136. [2, 7, 12] | |
| 137. [6, 10, 14] | |
| 138. [4, 9, 16] | |
| 139. [3, 12, 17] | |
| 140. [1, 8, 10] | |
| 141. [2, 5, 9] | |
| 142. [7, 12, 15] | |
| 143. [3, 10, 15] | |
| 144. [6, 10, 15] | |
| 145. [9, 11, 14] | |
| 146. [1, 3, 6] | |
| 147. [2, 4, 7] | |
| 148. [6, 13, 15] | |
| 149. [2, 6, 17] | |
| 150. [4, 7, 12] | |
| 151. [2, 13, 15] | |
| 152. [2, 11, 13] | |
| 153. [9, 11, 15] | |
| 154. [5, 13, 16] | |
| 155. [1, 7, 13] | |
| 156. [10, 13, 15] | |
| 157. [1, 4, 11] | |
| 158. [10, 12, 17] | |
| 159. [4, 15, 17] | |
| 160. [12, 14, 17] | |
| 161. [1, 9, 17] | |
| 162. [5, 8, 13] | |
| 163. [2, 10, 14] | |
| 164. [5, 8, 11] | |
| 165. [2, 8, 13] | |
| 166. [2, 10, 12] | |
| 167. [6, 9, 12] | |
| 168. [6, 8, 13] | |
| 169. [1, 3, 5] | |
| 170. [1, 3, 17] | |
| 171. [3, 13, 16] | |
| 172. [6, 9, 16] | |
| 173. [1, 6, 13] | |
| 174. [13, 15, 17] | |
| 175. [9, 11, 17] | |
| 176. [2, 7, 15] | |
| 177. [4, 8, 14] | |
| 178. [2, 11, 14] | |
| 179. [3, 9, 12] | |
| 180. [4, 11, 13] | |
| 181. [8, 12, 14] | |
| 182. [9, 15, 17] | |
| 183. [8, 13, 17] | |
| 184. [4, 8, 12] | |
| 185. [11, 13, 17] | |
| 186. [4, 14, 17] | |
| 187. [4, 12, 16] | |
| 188. [1, 3, 8] | |
| 189. [8, 14, 17] | |
| 190. [8, 12, 17] | |
| 191. [1, 5, 11] | |
| 192. [8, 10, 15] | |
| 193. [2, 11, 17] | |
| 194. [7, 9, 11] | |
| 195. [7, 11, 13] | |
| 196. [5, 9, 17] | |
| 197. [1, 9, 13] | |
| 198. [1, 11, 14] | |
| 199. [1, 3, 13] | |
| 200. [11, 13, 16] | |
| 201. [7, 12, 14] | |
| 202. [2, 4, 12] | |
| 203. [3, 8, 16] | |
| 204. [4, 10, 13] | |
| 205. [1, 4, 14] | |
| 206. [2, 10, 15] | |
| 207. [2, 4, 16] | |
| 208. [5, 12, 14] | |
| 209. [8, 10, 12] | |
| 210. [4, 8, 11] | |
| 211. [1, 4, 17] | |
| 212. [4, 10, 14] | |
| 213. [4, 7, 9] | |
| 214. [5, 7, 14] | |
| 215. [5, 8, 10] | |
| 216. [3, 5, 9] | |
| 217. [2, 5, 16] | |
| 218. [3, 5, 8] | |
| 219. [4, 13, 15] | |
| 220. [2, 6, 12] | |
| 221. [7, 9, 17] | |
| 222. [2, 6, 9] | |
| 223. [2, 7, 14] | |
| 224. [1, 9, 16] | |
| 225. [2, 9, 16] | |
| 226. [2, 9, 13] | |
| 227. [8, 12, 16] | |
| 228. [1, 4, 7] | |
| 229. [4, 10, 12] | |
| 230. [1, 11, 16] | |
| 231. [1, 9, 12] | |
| 232. [9, 13, 16] | |
| 233. [1, 8, 12] | |
| 234. [6, 11, 17] | |
| 235. [7, 11, 16] | |
| 236. [1, 12, 14] | |
| 237. [3, 6, 9] | |
| 238. [4, 6, 17] | |
| 239. [3, 5, 13] | |
| 240. [2, 14, 17] | |
| 241. [8, 10, 17] | |
| 242. [8, 11, 14] | |
| 243. [2, 4, 17] | |
| 244. [12, 15, 17] | |
| 245. [6, 9, 11] | |
| 246. [5, 9, 13] | |
| 247. [8, 15, 17] | |
| 248. [3, 8, 17] | |
| 249. [6, 11, 15] | |
| 250. [4, 11, 14] | |
| 251. [2, 7, 9] | |
| 252. [6, 12, 15] | |
| 253. [12, 14, 16] | |
| 254. [8, 13, 15] | |
| 255. [5, 11, 14] | |
| 256. [1, 10, 15] | |
| 257. [1, 6, 10] | |
| 258. [3, 11, 16] | |
| 259. [2, 12, 17] | |
| 260. [5, 9, 12] | |
| 261. [9, 12, 17] | |
| 262. [3, 6, 13] | |
| 263. [5, 14, 17] | |
| 264. [4, 9, 17] | |
| 265. [3, 6, 16] | |
| 266. [4, 14, 16] | |
| 267. [1, 6, 8] | |
| 268. [5, 11, 13] | |
| 269. [3, 11, 14] | |
| 270. [6, 9, 13] | |
| 271. [2, 9, 12] | |
| 272. [6, 8, 10] | |
| 273. [3, 6, 10] | |
| 274. [5, 10, 15] | |
| 275. [8, 11, 15] | |
| 276. [5, 12, 17] | |
| 277. [4, 7, 15] | |
| 278. [10, 14, 17] | |
| 279. [2, 8, 12] | |
| 280. [1, 11, 15] | |
| 281. [2, 5, 10] | |
| 282. [7, 11, 15] | |
| 283. [6, 12, 17] | |
| 284. [5, 9, 15] | |
| 285. [9, 14, 16] | |
| 286. [7, 12, 17] | |
| 287. [1, 10, 12] | |
| 288. [1, 6, 14] | |
| 289. [3, 5, 7] | |
| 290. [2, 13, 17] | |
| 291. [2, 10, 16] | |
| 292. [5, 9, 14] | |
| 293. [2, 5, 11] | |
| 294. [2, 4, 8] | |
| 295. [4, 9, 13] | |
| 296. [1, 7, 14] | |
| 297. [9, 11, 16] | |
| 298. [2, 5, 17] | |
| 299. [2, 7, 11] | |
| 300. [2, 8, 11] | |
| 301. [4, 9, 12] | |
| 302. [4, 6, 16] | |
| 303. [3, 5, 10] | |
| 304. [3, 6, 11] | |
| 305. [1, 6, 12] | |
| 306. [2, 4, 11] | |
| 307. [7, 11, 17] | |
| 308. [6, 12, 14] | |
| 309. [6, 13, 16] | |
| 310. [2, 5, 7] | |
| 311. [5, 7, 11] | |
| 312. [8, 11, 16] | |
| 313. [1, 7, 9] | |
| 314. [1, 15, 17] | |
| 315. [2, 6, 14] | |
| 316. [4, 8, 16] | |
| 317. [5, 9, 16] | |
| 318. [9, 12, 14] | |
| 319. [3, 7, 10] | |
| 320. [2, 4, 6] | |
| 321. [2, 8, 16] | |
| 322. [6, 10, 17] | |
| 323. [7, 9, 15] | |
| 324. [1, 4, 6] | |
| 325. [3, 10, 16] | |
| 326. [5, 8, 16] | |
| 327. [1, 8, 15] | |
| 328. [2, 4, 15] | |
| 329. [2, 5, 8] | |
| 330. [6, 10, 12] | |
| 331. [7, 10, 14] | |
| 332. [5, 8, 14] | |
| 333. [1, 10, 14] | |
| 334. [3, 13, 17] | |
| 335. [6, 9, 17] | |
| 336. [7, 9, 16] | |
| 337. [1, 3, 14] | |
| 338. [1, 5, 12] | |
| 339. [2, 12, 16] | |
| 340. [7, 10, 16] | |
| 341. [5, 11, 16] | |
| 342. [5, 9, 11] | |
| 343. [5, 13, 15] | |
| 344. [5, 10, 13] | |
| 345. [7, 13, 16] | |
| 346. [5, 11, 15] | |
| 347. [4, 6, 9] | |
| 348. [3, 5, 17] | |
| 349. [6, 8, 15] | |
| 350. [7, 13, 15] | |
| 351. [5, 7, 15] | |
| 352. [3, 8, 13] | |
| 353. [3, 9, 13] | |
| 354. [6, 9, 15] | |
| 355. [3, 5, 12] | |
| 356. [7, 13, 17] | |
| 357. [1, 7, 15] | |
| 358. [6, 8, 17] | |
| 359. [4, 7, 17] | |
| 360. [1, 4, 15] | |
| 361. [8, 10, 14] | |
| 362. [1, 5, 15] | |
| 363. [5, 10, 16] | |
| 364. [2, 7, 17] | |
| 365. [2, 6, 15] | |
| 366. [1, 11, 13] | |
| 367. [2, 6, 10] | |
| 368. [1, 8, 17] | |
| 369. [1, 6, 11] | |
| 370. [4, 12, 14] | |
| 371. [3, 8, 10] | |
| 372. [1, 9, 15] | |
| 373. [10, 12, 16] | |
| 374. [2, 8, 14] | |
| 375. [11, 13, 15] | |
| 376. [4, 9, 14] | |
| 377. [3, 6, 15] | |
| 378. [11, 14, 16] | |
| 379. [3, 8, 12] | |
| 380. [5, 7, 17] | |
| 381. [3, 10, 14] | |
| 382. [7, 10, 15] | |
| 383. [3, 7, 15] | |
| 384. [1, 6, 9] | |
| 385. [5, 12, 15] | |
| 386. [1, 7, 10] | |
| 387. [2, 9, 14] | |
| 388. [4, 7, 16] | |
| 389. [8, 11, 13] | |
| 390. [5, 8, 17] | |
| 391. [1, 14, 17] | |
| 392. [1, 4, 12] | |
| 393. [3, 6, 14] | |
| 394. [6, 8, 12] | |
| 395. [4, 6, 10] | |
| 396. [9, 13, 15] | |
| 397. [2, 5, 14] | |
| 398. [3, 14, 17] | |
| 399. [2, 11, 16] | |
| 400. [3, 8, 14] | |
| 401. [3, 7, 12] | |
| 402. [5, 7, 9] | |
| 403. [9, 13, 17] | |
| 404. [3, 7, 11] | |
| 405. [2, 11, 15] | |
| 406. [1, 7, 12] | |
| 407. [5, 13, 17] | |
| 408. [2, 4, 10] | |
| 409. [3, 7, 9] | |
| 410. [10, 14, 16] | |
| 411. [1, 12, 15] | |
| 412. [1, 14, 16] | |
| 413. [2, 15, 17] | |
| 414. [3, 7, 17] | |
| 415. [1, 10, 17] | |
| 416. [8, 10, 13] | |
| 417. [1, 10, 13] | |
| 418. [2, 12, 15] | |
| 419. [1, 6, 15] | |
| 420. [2, 9, 15] | |
| 421. [6, 11, 13] | |
| 422. [5, 7, 16] | |
| 423. [5, 7, 13] | |
| 424. [4, 8, 13] | |
| 425. [6, 8, 14] | |
| 426. [6, 11, 14] | |
| 427. [1, 7, 16] | |
| 428. [3, 5, 15] | |
| 429. [4, 10, 16] | |
| 430. [6, 12, 16] | |
| 431. [1, 5, 10] | |
| 432. [3, 6, 8] | |
| 433. [2, 4, 14] | |
| 434. [2, 10, 13] | |
| 435. [2, 13, 16] | |
| 436. [3, 9, 15] | |
| 437. [4, 6, 12] | |
| 438. [1, 3, 16] | |
| 439. [3, 8, 15] | |
| 440. [3, 7, 14] | |
| 441. [1, 13, 16] | |
| 442. [8, 14, 16] | |
| 443. [1, 7, 11] | |
| 444. [6, 11, 16] | |
| 445. [2, 6, 8] | |
| 446. [1, 5, 13] | |
| 447. [3, 9, 11] | |
| 448. [1, 3, 15] | |
| 449. [4, 11, 17] | |
| 450. [5, 7, 12] | |
| 451. [1, 13, 17] | |
| 452. [4, 11, 15] | |
| 453. [10, 13, 17] | |
| 454. [4, 6, 14] | |
| 455. [8, 13, 16] |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment