adivtab.h 9.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059
  1. // table of quotients and remainders for [-15...16] / [-15...16]
  2. // numerator = -15
  3. {1, 0},
  4. {1, -1},
  5. {1, -2},
  6. {1, -3},
  7. {1, -4},
  8. {1, -5},
  9. {1, -6},
  10. {1, -7},
  11. {2, -1},
  12. {2, -3},
  13. {3, 0},
  14. {3, -3},
  15. {5, 0},
  16. {7, -1},
  17. {15, 0},
  18. {0, 0},
  19. {-15, 0},
  20. {-8, 1},
  21. {-5, 0},
  22. {-4, 1},
  23. {-3, 0},
  24. {-3, 3},
  25. {-3, 6},
  26. {-2, 1},
  27. {-2, 3},
  28. {-2, 5},
  29. {-2, 7},
  30. {-2, 9},
  31. {-2, 11},
  32. {-2, 13},
  33. {-1, 0},
  34. {-1, 1},
  35. // numerator = -14
  36. {0, -14},
  37. {1, 0},
  38. {1, -1},
  39. {1, -2},
  40. {1, -3},
  41. {1, -4},
  42. {1, -5},
  43. {1, -6},
  44. {2, 0},
  45. {2, -2},
  46. {2, -4},
  47. {3, -2},
  48. {4, -2},
  49. {7, 0},
  50. {14, 0},
  51. {0, 0},
  52. {-14, 0},
  53. {-7, 0},
  54. {-5, 1},
  55. {-4, 2},
  56. {-3, 1},
  57. {-3, 4},
  58. {-2, 0},
  59. {-2, 2},
  60. {-2, 4},
  61. {-2, 6},
  62. {-2, 8},
  63. {-2, 10},
  64. {-2, 12},
  65. {-1, 0},
  66. {-1, 1},
  67. {-1, 2},
  68. // numerator = -13
  69. {0, -13},
  70. {0, -13},
  71. {1, 0},
  72. {1, -1},
  73. {1, -2},
  74. {1, -3},
  75. {1, -4},
  76. {1, -5},
  77. {1, -6},
  78. {2, -1},
  79. {2, -3},
  80. {3, -1},
  81. {4, -1},
  82. {6, -1},
  83. {13, 0},
  84. {0, 0},
  85. {-13, 0},
  86. {-7, 1},
  87. {-5, 2},
  88. {-4, 3},
  89. {-3, 2},
  90. {-3, 5},
  91. {-2, 1},
  92. {-2, 3},
  93. {-2, 5},
  94. {-2, 7},
  95. {-2, 9},
  96. {-2, 11},
  97. {-1, 0},
  98. {-1, 1},
  99. {-1, 2},
  100. {-1, 3},
  101. // numerator = -12
  102. {0, -12},
  103. {0, -12},
  104. {0, -12},
  105. {1, 0},
  106. {1, -1},
  107. {1, -2},
  108. {1, -3},
  109. {1, -4},
  110. {1, -5},
  111. {2, 0},
  112. {2, -2},
  113. {3, 0},
  114. {4, 0},
  115. {6, 0},
  116. {12, 0},
  117. {0, 0},
  118. {-12, 0},
  119. {-6, 0},
  120. {-4, 0},
  121. {-3, 0},
  122. {-3, 3},
  123. {-2, 0},
  124. {-2, 2},
  125. {-2, 4},
  126. {-2, 6},
  127. {-2, 8},
  128. {-2, 10},
  129. {-1, 0},
  130. {-1, 1},
  131. {-1, 2},
  132. {-1, 3},
  133. {-1, 4},
  134. // numerator = -11
  135. {0, -11},
  136. {0, -11},
  137. {0, -11},
  138. {0, -11},
  139. {1, 0},
  140. {1, -1},
  141. {1, -2},
  142. {1, -3},
  143. {1, -4},
  144. {1, -5},
  145. {2, -1},
  146. {2, -3},
  147. {3, -2},
  148. {5, -1},
  149. {11, 0},
  150. {0, 0},
  151. {-11, 0},
  152. {-6, 1},
  153. {-4, 1},
  154. {-3, 1},
  155. {-3, 4},
  156. {-2, 1},
  157. {-2, 3},
  158. {-2, 5},
  159. {-2, 7},
  160. {-2, 9},
  161. {-1, 0},
  162. {-1, 1},
  163. {-1, 2},
  164. {-1, 3},
  165. {-1, 4},
  166. {-1, 5},
  167. // numerator = -10
  168. {0, -10},
  169. {0, -10},
  170. {0, -10},
  171. {0, -10},
  172. {0, -10},
  173. {1, 0},
  174. {1, -1},
  175. {1, -2},
  176. {1, -3},
  177. {1, -4},
  178. {2, 0},
  179. {2, -2},
  180. {3, -1},
  181. {5, 0},
  182. {10, 0},
  183. {0, 0},
  184. {-10, 0},
  185. {-5, 0},
  186. {-4, 2},
  187. {-3, 2},
  188. {-2, 0},
  189. {-2, 2},
  190. {-2, 4},
  191. {-2, 6},
  192. {-2, 8},
  193. {-1, 0},
  194. {-1, 1},
  195. {-1, 2},
  196. {-1, 3},
  197. {-1, 4},
  198. {-1, 5},
  199. {-1, 6},
  200. // numerator = -9
  201. {0, -9},
  202. {0, -9},
  203. {0, -9},
  204. {0, -9},
  205. {0, -9},
  206. {0, -9},
  207. {1, 0},
  208. {1, -1},
  209. {1, -2},
  210. {1, -3},
  211. {1, -4},
  212. {2, -1},
  213. {3, 0},
  214. {4, -1},
  215. {9, 0},
  216. {0, 0},
  217. {-9, 0},
  218. {-5, 1},
  219. {-3, 0},
  220. {-3, 3},
  221. {-2, 1},
  222. {-2, 3},
  223. {-2, 5},
  224. {-2, 7},
  225. {-1, 0},
  226. {-1, 1},
  227. {-1, 2},
  228. {-1, 3},
  229. {-1, 4},
  230. {-1, 5},
  231. {-1, 6},
  232. {-1, 7},
  233. // numerator = -8
  234. {0, -8},
  235. {0, -8},
  236. {0, -8},
  237. {0, -8},
  238. {0, -8},
  239. {0, -8},
  240. {0, -8},
  241. {1, 0},
  242. {1, -1},
  243. {1, -2},
  244. {1, -3},
  245. {2, 0},
  246. {2, -2},
  247. {4, 0},
  248. {8, 0},
  249. {0, 0},
  250. {-8, 0},
  251. {-4, 0},
  252. {-3, 1},
  253. {-2, 0},
  254. {-2, 2},
  255. {-2, 4},
  256. {-2, 6},
  257. {-1, 0},
  258. {-1, 1},
  259. {-1, 2},
  260. {-1, 3},
  261. {-1, 4},
  262. {-1, 5},
  263. {-1, 6},
  264. {-1, 7},
  265. {-1, 8},
  266. // numerator = -7
  267. {0, -7},
  268. {0, -7},
  269. {0, -7},
  270. {0, -7},
  271. {0, -7},
  272. {0, -7},
  273. {0, -7},
  274. {0, -7},
  275. {1, 0},
  276. {1, -1},
  277. {1, -2},
  278. {1, -3},
  279. {2, -1},
  280. {3, -1},
  281. {7, 0},
  282. {0, 0},
  283. {-7, 0},
  284. {-4, 1},
  285. {-3, 2},
  286. {-2, 1},
  287. {-2, 3},
  288. {-2, 5},
  289. {-1, 0},
  290. {-1, 1},
  291. {-1, 2},
  292. {-1, 3},
  293. {-1, 4},
  294. {-1, 5},
  295. {-1, 6},
  296. {-1, 7},
  297. {-1, 8},
  298. {-1, 9},
  299. // numerator = -6
  300. {0, -6},
  301. {0, -6},
  302. {0, -6},
  303. {0, -6},
  304. {0, -6},
  305. {0, -6},
  306. {0, -6},
  307. {0, -6},
  308. {0, -6},
  309. {1, 0},
  310. {1, -1},
  311. {1, -2},
  312. {2, 0},
  313. {3, 0},
  314. {6, 0},
  315. {0, 0},
  316. {-6, 0},
  317. {-3, 0},
  318. {-2, 0},
  319. {-2, 2},
  320. {-2, 4},
  321. {-1, 0},
  322. {-1, 1},
  323. {-1, 2},
  324. {-1, 3},
  325. {-1, 4},
  326. {-1, 5},
  327. {-1, 6},
  328. {-1, 7},
  329. {-1, 8},
  330. {-1, 9},
  331. {-1, 10},
  332. // numerator = -5
  333. {0, -5},
  334. {0, -5},
  335. {0, -5},
  336. {0, -5},
  337. {0, -5},
  338. {0, -5},
  339. {0, -5},
  340. {0, -5},
  341. {0, -5},
  342. {0, -5},
  343. {1, 0},
  344. {1, -1},
  345. {1, -2},
  346. {2, -1},
  347. {5, 0},
  348. {0, 0},
  349. {-5, 0},
  350. {-3, 1},
  351. {-2, 1},
  352. {-2, 3},
  353. {-1, 0},
  354. {-1, 1},
  355. {-1, 2},
  356. {-1, 3},
  357. {-1, 4},
  358. {-1, 5},
  359. {-1, 6},
  360. {-1, 7},
  361. {-1, 8},
  362. {-1, 9},
  363. {-1, 10},
  364. {-1, 11},
  365. // numerator = -4
  366. {0, -4},
  367. {0, -4},
  368. {0, -4},
  369. {0, -4},
  370. {0, -4},
  371. {0, -4},
  372. {0, -4},
  373. {0, -4},
  374. {0, -4},
  375. {0, -4},
  376. {0, -4},
  377. {1, 0},
  378. {1, -1},
  379. {2, 0},
  380. {4, 0},
  381. {0, 0},
  382. {-4, 0},
  383. {-2, 0},
  384. {-2, 2},
  385. {-1, 0},
  386. {-1, 1},
  387. {-1, 2},
  388. {-1, 3},
  389. {-1, 4},
  390. {-1, 5},
  391. {-1, 6},
  392. {-1, 7},
  393. {-1, 8},
  394. {-1, 9},
  395. {-1, 10},
  396. {-1, 11},
  397. {-1, 12},
  398. // numerator = -3
  399. {0, -3},
  400. {0, -3},
  401. {0, -3},
  402. {0, -3},
  403. {0, -3},
  404. {0, -3},
  405. {0, -3},
  406. {0, -3},
  407. {0, -3},
  408. {0, -3},
  409. {0, -3},
  410. {0, -3},
  411. {1, 0},
  412. {1, -1},
  413. {3, 0},
  414. {0, 0},
  415. {-3, 0},
  416. {-2, 1},
  417. {-1, 0},
  418. {-1, 1},
  419. {-1, 2},
  420. {-1, 3},
  421. {-1, 4},
  422. {-1, 5},
  423. {-1, 6},
  424. {-1, 7},
  425. {-1, 8},
  426. {-1, 9},
  427. {-1, 10},
  428. {-1, 11},
  429. {-1, 12},
  430. {-1, 13},
  431. // numerator = -2
  432. {0, -2},
  433. {0, -2},
  434. {0, -2},
  435. {0, -2},
  436. {0, -2},
  437. {0, -2},
  438. {0, -2},
  439. {0, -2},
  440. {0, -2},
  441. {0, -2},
  442. {0, -2},
  443. {0, -2},
  444. {0, -2},
  445. {1, 0},
  446. {2, 0},
  447. {0, 0},
  448. {-2, 0},
  449. {-1, 0},
  450. {-1, 1},
  451. {-1, 2},
  452. {-1, 3},
  453. {-1, 4},
  454. {-1, 5},
  455. {-1, 6},
  456. {-1, 7},
  457. {-1, 8},
  458. {-1, 9},
  459. {-1, 10},
  460. {-1, 11},
  461. {-1, 12},
  462. {-1, 13},
  463. {-1, 14},
  464. // numerator = -1
  465. {0, -1},
  466. {0, -1},
  467. {0, -1},
  468. {0, -1},
  469. {0, -1},
  470. {0, -1},
  471. {0, -1},
  472. {0, -1},
  473. {0, -1},
  474. {0, -1},
  475. {0, -1},
  476. {0, -1},
  477. {0, -1},
  478. {0, -1},
  479. {1, 0},
  480. {0, 0},
  481. {-1, 0},
  482. {-1, 1},
  483. {-1, 2},
  484. {-1, 3},
  485. {-1, 4},
  486. {-1, 5},
  487. {-1, 6},
  488. {-1, 7},
  489. {-1, 8},
  490. {-1, 9},
  491. {-1, 10},
  492. {-1, 11},
  493. {-1, 12},
  494. {-1, 13},
  495. {-1, 14},
  496. {-1, 15},
  497. // numerator = 0
  498. {0, 0},
  499. {0, 0},
  500. {0, 0},
  501. {0, 0},
  502. {0, 0},
  503. {0, 0},
  504. {0, 0},
  505. {0, 0},
  506. {0, 0},
  507. {0, 0},
  508. {0, 0},
  509. {0, 0},
  510. {0, 0},
  511. {0, 0},
  512. {0, 0},
  513. {0, 0},
  514. {0, 0},
  515. {0, 0},
  516. {0, 0},
  517. {0, 0},
  518. {0, 0},
  519. {0, 0},
  520. {0, 0},
  521. {0, 0},
  522. {0, 0},
  523. {0, 0},
  524. {0, 0},
  525. {0, 0},
  526. {0, 0},
  527. {0, 0},
  528. {0, 0},
  529. {0, 0},
  530. // numerator = 1
  531. {-1, -14},
  532. {-1, -13},
  533. {-1, -12},
  534. {-1, -11},
  535. {-1, -10},
  536. {-1, -9},
  537. {-1, -8},
  538. {-1, -7},
  539. {-1, -6},
  540. {-1, -5},
  541. {-1, -4},
  542. {-1, -3},
  543. {-1, -2},
  544. {-1, -1},
  545. {-1, 0},
  546. {0, 0},
  547. {1, 0},
  548. {0, 1},
  549. {0, 1},
  550. {0, 1},
  551. {0, 1},
  552. {0, 1},
  553. {0, 1},
  554. {0, 1},
  555. {0, 1},
  556. {0, 1},
  557. {0, 1},
  558. {0, 1},
  559. {0, 1},
  560. {0, 1},
  561. {0, 1},
  562. {0, 1},
  563. // numerator = 2
  564. {-1, -13},
  565. {-1, -12},
  566. {-1, -11},
  567. {-1, -10},
  568. {-1, -9},
  569. {-1, -8},
  570. {-1, -7},
  571. {-1, -6},
  572. {-1, -5},
  573. {-1, -4},
  574. {-1, -3},
  575. {-1, -2},
  576. {-1, -1},
  577. {-1, 0},
  578. {-2, 0},
  579. {0, 0},
  580. {2, 0},
  581. {1, 0},
  582. {0, 2},
  583. {0, 2},
  584. {0, 2},
  585. {0, 2},
  586. {0, 2},
  587. {0, 2},
  588. {0, 2},
  589. {0, 2},
  590. {0, 2},
  591. {0, 2},
  592. {0, 2},
  593. {0, 2},
  594. {0, 2},
  595. {0, 2},
  596. // numerator = 3
  597. {-1, -12},
  598. {-1, -11},
  599. {-1, -10},
  600. {-1, -9},
  601. {-1, -8},
  602. {-1, -7},
  603. {-1, -6},
  604. {-1, -5},
  605. {-1, -4},
  606. {-1, -3},
  607. {-1, -2},
  608. {-1, -1},
  609. {-1, 0},
  610. {-2, -1},
  611. {-3, 0},
  612. {0, 0},
  613. {3, 0},
  614. {1, 1},
  615. {1, 0},
  616. {0, 3},
  617. {0, 3},
  618. {0, 3},
  619. {0, 3},
  620. {0, 3},
  621. {0, 3},
  622. {0, 3},
  623. {0, 3},
  624. {0, 3},
  625. {0, 3},
  626. {0, 3},
  627. {0, 3},
  628. {0, 3},
  629. // numerator = 4
  630. {-1, -11},
  631. {-1, -10},
  632. {-1, -9},
  633. {-1, -8},
  634. {-1, -7},
  635. {-1, -6},
  636. {-1, -5},
  637. {-1, -4},
  638. {-1, -3},
  639. {-1, -2},
  640. {-1, -1},
  641. {-1, 0},
  642. {-2, -2},
  643. {-2, 0},
  644. {-4, 0},
  645. {0, 0},
  646. {4, 0},
  647. {2, 0},
  648. {1, 1},
  649. {1, 0},
  650. {0, 4},
  651. {0, 4},
  652. {0, 4},
  653. {0, 4},
  654. {0, 4},
  655. {0, 4},
  656. {0, 4},
  657. {0, 4},
  658. {0, 4},
  659. {0, 4},
  660. {0, 4},
  661. {0, 4},
  662. // numerator = 5
  663. {-1, -10},
  664. {-1, -9},
  665. {-1, -8},
  666. {-1, -7},
  667. {-1, -6},
  668. {-1, -5},
  669. {-1, -4},
  670. {-1, -3},
  671. {-1, -2},
  672. {-1, -1},
  673. {-1, 0},
  674. {-2, -3},
  675. {-2, -1},
  676. {-3, -1},
  677. {-5, 0},
  678. {0, 0},
  679. {5, 0},
  680. {2, 1},
  681. {1, 2},
  682. {1, 1},
  683. {1, 0},
  684. {0, 5},
  685. {0, 5},
  686. {0, 5},
  687. {0, 5},
  688. {0, 5},
  689. {0, 5},
  690. {0, 5},
  691. {0, 5},
  692. {0, 5},
  693. {0, 5},
  694. {0, 5},
  695. // numerator = 6
  696. {-1, -9},
  697. {-1, -8},
  698. {-1, -7},
  699. {-1, -6},
  700. {-1, -5},
  701. {-1, -4},
  702. {-1, -3},
  703. {-1, -2},
  704. {-1, -1},
  705. {-1, 0},
  706. {-2, -4},
  707. {-2, -2},
  708. {-2, 0},
  709. {-3, 0},
  710. {-6, 0},
  711. {0, 0},
  712. {6, 0},
  713. {3, 0},
  714. {2, 0},
  715. {1, 2},
  716. {1, 1},
  717. {1, 0},
  718. {0, 6},
  719. {0, 6},
  720. {0, 6},
  721. {0, 6},
  722. {0, 6},
  723. {0, 6},
  724. {0, 6},
  725. {0, 6},
  726. {0, 6},
  727. {0, 6},
  728. // numerator = 7
  729. {-1, -8},
  730. {-1, -7},
  731. {-1, -6},
  732. {-1, -5},
  733. {-1, -4},
  734. {-1, -3},
  735. {-1, -2},
  736. {-1, -1},
  737. {-1, 0},
  738. {-2, -5},
  739. {-2, -3},
  740. {-2, -1},
  741. {-3, -2},
  742. {-4, -1},
  743. {-7, 0},
  744. {0, 0},
  745. {7, 0},
  746. {3, 1},
  747. {2, 1},
  748. {1, 3},
  749. {1, 2},
  750. {1, 1},
  751. {1, 0},
  752. {0, 7},
  753. {0, 7},
  754. {0, 7},
  755. {0, 7},
  756. {0, 7},
  757. {0, 7},
  758. {0, 7},
  759. {0, 7},
  760. {0, 7},
  761. // numerator = 8
  762. {-1, -7},
  763. {-1, -6},
  764. {-1, -5},
  765. {-1, -4},
  766. {-1, -3},
  767. {-1, -2},
  768. {-1, -1},
  769. {-1, 0},
  770. {-2, -6},
  771. {-2, -4},
  772. {-2, -2},
  773. {-2, 0},
  774. {-3, -1},
  775. {-4, 0},
  776. {-8, 0},
  777. {0, 0},
  778. {8, 0},
  779. {4, 0},
  780. {2, 2},
  781. {2, 0},
  782. {1, 3},
  783. {1, 2},
  784. {1, 1},
  785. {1, 0},
  786. {0, 8},
  787. {0, 8},
  788. {0, 8},
  789. {0, 8},
  790. {0, 8},
  791. {0, 8},
  792. {0, 8},
  793. {0, 8},
  794. // numerator = 9
  795. {-1, -6},
  796. {-1, -5},
  797. {-1, -4},
  798. {-1, -3},
  799. {-1, -2},
  800. {-1, -1},
  801. {-1, 0},
  802. {-2, -7},
  803. {-2, -5},
  804. {-2, -3},
  805. {-2, -1},
  806. {-3, -3},
  807. {-3, 0},
  808. {-5, -1},
  809. {-9, 0},
  810. {0, 0},
  811. {9, 0},
  812. {4, 1},
  813. {3, 0},
  814. {2, 1},
  815. {1, 4},
  816. {1, 3},
  817. {1, 2},
  818. {1, 1},
  819. {1, 0},
  820. {0, 9},
  821. {0, 9},
  822. {0, 9},
  823. {0, 9},
  824. {0, 9},
  825. {0, 9},
  826. {0, 9},
  827. // numerator = 10
  828. {-1, -5},
  829. {-1, -4},
  830. {-1, -3},
  831. {-1, -2},
  832. {-1, -1},
  833. {-1, 0},
  834. {-2, -8},
  835. {-2, -6},
  836. {-2, -4},
  837. {-2, -2},
  838. {-2, 0},
  839. {-3, -2},
  840. {-4, -2},
  841. {-5, 0},
  842. {-10, 0},
  843. {0, 0},
  844. {10, 0},
  845. {5, 0},
  846. {3, 1},
  847. {2, 2},
  848. {2, 0},
  849. {1, 4},
  850. {1, 3},
  851. {1, 2},
  852. {1, 1},
  853. {1, 0},
  854. {0, 10},
  855. {0, 10},
  856. {0, 10},
  857. {0, 10},
  858. {0, 10},
  859. {0, 10},
  860. // numerator = 11
  861. {-1, -4},
  862. {-1, -3},
  863. {-1, -2},
  864. {-1, -1},
  865. {-1, 0},
  866. {-2, -9},
  867. {-2, -7},
  868. {-2, -5},
  869. {-2, -3},
  870. {-2, -1},
  871. {-3, -4},
  872. {-3, -1},
  873. {-4, -1},
  874. {-6, -1},
  875. {-11, 0},
  876. {0, 0},
  877. {11, 0},
  878. {5, 1},
  879. {3, 2},
  880. {2, 3},
  881. {2, 1},
  882. {1, 5},
  883. {1, 4},
  884. {1, 3},
  885. {1, 2},
  886. {1, 1},
  887. {1, 0},
  888. {0, 11},
  889. {0, 11},
  890. {0, 11},
  891. {0, 11},
  892. {0, 11},
  893. // numerator = 12
  894. {-1, -3},
  895. {-1, -2},
  896. {-1, -1},
  897. {-1, 0},
  898. {-2, -10},
  899. {-2, -8},
  900. {-2, -6},
  901. {-2, -4},
  902. {-2, -2},
  903. {-2, 0},
  904. {-3, -3},
  905. {-3, 0},
  906. {-4, 0},
  907. {-6, 0},
  908. {-12, 0},
  909. {0, 0},
  910. {12, 0},
  911. {6, 0},
  912. {4, 0},
  913. {3, 0},
  914. {2, 2},
  915. {2, 0},
  916. {1, 5},
  917. {1, 4},
  918. {1, 3},
  919. {1, 2},
  920. {1, 1},
  921. {1, 0},
  922. {0, 12},
  923. {0, 12},
  924. {0, 12},
  925. {0, 12},
  926. // numerator = 13
  927. {-1, -2},
  928. {-1, -1},
  929. {-1, 0},
  930. {-2, -11},
  931. {-2, -9},
  932. {-2, -7},
  933. {-2, -5},
  934. {-2, -3},
  935. {-2, -1},
  936. {-3, -5},
  937. {-3, -2},
  938. {-4, -3},
  939. {-5, -2},
  940. {-7, -1},
  941. {-13, 0},
  942. {0, 0},
  943. {13, 0},
  944. {6, 1},
  945. {4, 1},
  946. {3, 1},
  947. {2, 3},
  948. {2, 1},
  949. {1, 6},
  950. {1, 5},
  951. {1, 4},
  952. {1, 3},
  953. {1, 2},
  954. {1, 1},
  955. {1, 0},
  956. {0, 13},
  957. {0, 13},
  958. {0, 13},
  959. // numerator = 14
  960. {-1, -1},
  961. {-1, 0},
  962. {-2, -12},
  963. {-2, -10},
  964. {-2, -8},
  965. {-2, -6},
  966. {-2, -4},
  967. {-2, -2},
  968. {-2, 0},
  969. {-3, -4},
  970. {-3, -1},
  971. {-4, -2},
  972. {-5, -1},
  973. {-7, 0},
  974. {-14, 0},
  975. {0, 0},
  976. {14, 0},
  977. {7, 0},
  978. {4, 2},
  979. {3, 2},
  980. {2, 4},
  981. {2, 2},
  982. {2, 0},
  983. {1, 6},
  984. {1, 5},
  985. {1, 4},
  986. {1, 3},
  987. {1, 2},
  988. {1, 1},
  989. {1, 0},
  990. {0, 14},
  991. {0, 14},
  992. // numerator = 15
  993. {-1, 0},
  994. {-2, -13},
  995. {-2, -11},
  996. {-2, -9},
  997. {-2, -7},
  998. {-2, -5},
  999. {-2, -3},
  1000. {-2, -1},
  1001. {-3, -6},
  1002. {-3, -3},
  1003. {-3, 0},
  1004. {-4, -1},
  1005. {-5, 0},
  1006. {-8, -1},
  1007. {-15, 0},
  1008. {0, 0},
  1009. {15, 0},
  1010. {7, 1},
  1011. {5, 0},
  1012. {3, 3},
  1013. {3, 0},
  1014. {2, 3},
  1015. {2, 1},
  1016. {1, 7},
  1017. {1, 6},
  1018. {1, 5},
  1019. {1, 4},
  1020. {1, 3},
  1021. {1, 2},
  1022. {1, 1},
  1023. {1, 0},
  1024. {0, 15},
  1025. // numerator = 16
  1026. {-2, -14},
  1027. {-2, -12},
  1028. {-2, -10},
  1029. {-2, -8},
  1030. {-2, -6},
  1031. {-2, -4},
  1032. {-2, -2},
  1033. {-2, 0},
  1034. {-3, -5},
  1035. {-3, -2},
  1036. {-4, -4},
  1037. {-4, 0},
  1038. {-6, -2},
  1039. {-8, 0},
  1040. {-16, 0},
  1041. {0, 0},
  1042. {16, 0},
  1043. {8, 0},
  1044. {5, 1},
  1045. {4, 0},
  1046. {3, 1},
  1047. {2, 4},
  1048. {2, 2},
  1049. {2, 0},
  1050. {1, 7},
  1051. {1, 6},
  1052. {1, 5},
  1053. {1, 4},
  1054. {1, 3},
  1055. {1, 2},
  1056. {1, 1},
  1057. {1, 0},