Source code of Windows XP (NT5)
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.

5156 lines
141 KiB

  1. /*** decision_tree.c ***/
  2. #include "decision_tree.h"
  3. Node_t em_decision_tree[] = {
  4. /*00000*/ {80, 33, 3},
  5. /*00001*/ {424, 33, 3},
  6. /*00002*/ {476, 33, 1},
  7. /*00003*/ {594, 27, 6},
  8. /*00004*/ {850, 27, 9},
  9. /*00005*/ {0, -1, -1},
  10. /*00006*/ {1362, 33, 3},
  11. /*00007*/ {1434, 33, 1},
  12. /*00008*/ {1572, 32, 4},
  13. /*00009*/ {0, -1, -1},
  14. /*00010*/ {0, -1, -1},
  15. /*00011*/ {0, -1, -1},
  16. /*00012*/ {0, -1, -1},
  17. /*00013*/ {1620, 27, 6},
  18. /*00014*/ {0, -1, -1},
  19. /*00015*/ {0, -1, -1},
  20. /*00016*/ {0, -1, -1},
  21. /*00017*/ {0, -1, -1},
  22. /*00018*/ {1, -1, -1},
  23. /*00019*/ {0, -1, -1},
  24. /*00020*/ {173, -1, -1},
  25. /*00021*/ {1828, 30, 7},
  26. /*00022*/ {2628, 33, 4},
  27. /*00023*/ {2676, 33, 3},
  28. /*00024*/ {0, -1, -1},
  29. /*00025*/ {2844, 33, 3},
  30. /*00026*/ {2880, 28, 8},
  31. /*00027*/ {3136, 12, 1},
  32. /*00028*/ {3138, 33, 3},
  33. /*00029*/ {0, -1, -1},
  34. /*00030*/ {0, -1, -1},
  35. /*00031*/ {3162, 30, 7},
  36. /*00032*/ {0, -1, -1},
  37. /*00033*/ {1, -1, -1},
  38. /*00034*/ {3802, 20, 1},
  39. /*00035*/ {3804, 32, 5},
  40. /*00036*/ {4008, 28, 8},
  41. /*00037*/ {0, -1, -1},
  42. /*00038*/ {4264, 0, 6},
  43. /*00039*/ {0, -1, -1},
  44. /*00040*/ {4336, 33, 3},
  45. /*00041*/ {4540, 33, 3},
  46. /*00042*/ {4744, 34, 3},
  47. /*00043*/ {0, -1, -1},
  48. /*00044*/ {0, -1, -1},
  49. /*00045*/ {20, -1, -1},
  50. /*00046*/ {20, -1, -1},
  51. /*00047*/ {4752, 34, 3},
  52. /*00048*/ {0, -1, -1},
  53. /*00049*/ {0, -1, -1},
  54. /*00050*/ {0, -1, -1},
  55. /*00051*/ {0, -1, -1},
  56. /*00052*/ {4760, 34, 3},
  57. /*00053*/ {0, -1, -1},
  58. /*00054*/ {0, -1, -1},
  59. /*00055*/ {0, -1, -1},
  60. /*00056*/ {0, -1, -1},
  61. /*00057*/ {4768, 34, 3},
  62. /*00058*/ {0, -1, -1},
  63. /*00059*/ {0, -1, -1},
  64. /*00060*/ {4776, 33, 3},
  65. /*00061*/ {4816, 33, 3},
  66. /*00062*/ {4856, 34, 3},
  67. /*00063*/ {0, -1, -1},
  68. /*00064*/ {4864, 33, 3},
  69. /*00065*/ {4952, 33, 3},
  70. /*00066*/ {4992, 33, 3},
  71. /*00067*/ {5032, 34, 3},
  72. /*00068*/ {0, -1, -1},
  73. /*00069*/ {5040, 33, 3},
  74. /*00070*/ {5064, 33, 3},
  75. /*00071*/ {5104, 33, 3},
  76. /*00072*/ {5144, 36, 1},
  77. /*00073*/ {0, -1, -1},
  78. /*00074*/ {0, -1, -1},
  79. /*00075*/ {0, -1, -1},
  80. /*00076*/ {0, -1, -1},
  81. /*00077*/ {0, -1, -1},
  82. /*00078*/ {0, -1, -1},
  83. /*00079*/ {0, -1, -1},
  84. /*00080*/ {88, 27, 6},
  85. /*00081*/ {192, -1, -1},
  86. /*00082*/ {207, -1, -1},
  87. /*00083*/ {206, -1, -1},
  88. /*00084*/ {0, -1, -1},
  89. /*00085*/ {0, -1, -1},
  90. /*00086*/ {0, -1, -1},
  91. /*00087*/ {152, 20, 4},
  92. /*00088*/ {190, -1, -1},
  93. /*00089*/ {191, -1, -1},
  94. /*00090*/ {0, -1, -1},
  95. /*00091*/ {0, -1, -1},
  96. /*00092*/ {0, -1, -1},
  97. /*00093*/ {0, -1, -1},
  98. /*00094*/ {0, -1, -1},
  99. /*00095*/ {0, -1, -1},
  100. /*00096*/ {0, -1, -1},
  101. /*00097*/ {0, -1, -1},
  102. /*00098*/ {211, -1, -1},
  103. /*00099*/ {0, -1, -1},
  104. /*00100*/ {0, -1, -1},
  105. /*00101*/ {0, -1, -1},
  106. /*00102*/ {0, -1, -1},
  107. /*00103*/ {0, -1, -1},
  108. /*00104*/ {213, -1, -1},
  109. /*00105*/ {214, -1, -1},
  110. /*00106*/ {215, -1, -1},
  111. /*00107*/ {0, -1, -1},
  112. /*00108*/ {216, -1, -1},
  113. /*00109*/ {217, -1, -1},
  114. /*00110*/ {218, -1, -1},
  115. /*00111*/ {0, -1, -1},
  116. /*00112*/ {219, -1, -1},
  117. /*00113*/ {220, -1, -1},
  118. /*00114*/ {0, -1, -1},
  119. /*00115*/ {0, -1, -1},
  120. /*00116*/ {221, -1, -1},
  121. /*00117*/ {222, -1, -1},
  122. /*00118*/ {0, -1, -1},
  123. /*00119*/ {0, -1, -1},
  124. /*00120*/ {0, -1, -1},
  125. /*00121*/ {0, -1, -1},
  126. /*00122*/ {0, -1, -1},
  127. /*00123*/ {0, -1, -1},
  128. /*00124*/ {0, -1, -1},
  129. /*00125*/ {0, -1, -1},
  130. /*00126*/ {0, -1, -1},
  131. /*00127*/ {0, -1, -1},
  132. /*00128*/ {0, -1, -1},
  133. /*00129*/ {0, -1, -1},
  134. /*00130*/ {210, -1, -1},
  135. /*00131*/ {0, -1, -1},
  136. /*00132*/ {0, -1, -1},
  137. /*00133*/ {0, -1, -1},
  138. /*00134*/ {0, -1, -1},
  139. /*00135*/ {0, -1, -1},
  140. /*00136*/ {208, -1, -1},
  141. /*00137*/ {205, -1, -1},
  142. /*00138*/ {212, -1, -1},
  143. /*00139*/ {209, -1, -1},
  144. /*00140*/ {0, -1, -1},
  145. /*00141*/ {0, -1, -1},
  146. /*00142*/ {0, -1, -1},
  147. /*00143*/ {0, -1, -1},
  148. /*00144*/ {0, -1, -1},
  149. /*00145*/ {0, -1, -1},
  150. /*00146*/ {0, -1, -1},
  151. /*00147*/ {0, -1, -1},
  152. /*00148*/ {0, -1, -1},
  153. /*00149*/ {0, -1, -1},
  154. /*00150*/ {0, -1, -1},
  155. /*00151*/ {0, -1, -1},
  156. /*00152*/ {168, 9, 4},
  157. /*00153*/ {184, 9, 4},
  158. /*00154*/ {200, 9, 4},
  159. /*00155*/ {216, 9, 4},
  160. /*00156*/ {232, 9, 4},
  161. /*00157*/ {248, 9, 4},
  162. /*00158*/ {264, 9, 4},
  163. /*00159*/ {280, 9, 4},
  164. /*00160*/ {296, 9, 4},
  165. /*00161*/ {312, 9, 4},
  166. /*00162*/ {328, 9, 4},
  167. /*00163*/ {344, 9, 4},
  168. /*00164*/ {360, 9, 4},
  169. /*00165*/ {376, 9, 4},
  170. /*00166*/ {392, 9, 4},
  171. /*00167*/ {408, 9, 4},
  172. /*00168*/ {193, -1, -1},
  173. /*00169*/ {0, -1, -1},
  174. /*00170*/ {0, -1, -1},
  175. /*00171*/ {0, -1, -1},
  176. /*00172*/ {0, -1, -1},
  177. /*00173*/ {0, -1, -1},
  178. /*00174*/ {0, -1, -1},
  179. /*00175*/ {0, -1, -1},
  180. /*00176*/ {0, -1, -1},
  181. /*00177*/ {0, -1, -1},
  182. /*00178*/ {0, -1, -1},
  183. /*00179*/ {0, -1, -1},
  184. /*00180*/ {0, -1, -1},
  185. /*00181*/ {0, -1, -1},
  186. /*00182*/ {0, -1, -1},
  187. /*00183*/ {0, -1, -1},
  188. /*00184*/ {195, -1, -1},
  189. /*00185*/ {0, -1, -1},
  190. /*00186*/ {0, -1, -1},
  191. /*00187*/ {0, -1, -1},
  192. /*00188*/ {0, -1, -1},
  193. /*00189*/ {0, -1, -1},
  194. /*00190*/ {0, -1, -1},
  195. /*00191*/ {0, -1, -1},
  196. /*00192*/ {0, -1, -1},
  197. /*00193*/ {0, -1, -1},
  198. /*00194*/ {0, -1, -1},
  199. /*00195*/ {0, -1, -1},
  200. /*00196*/ {0, -1, -1},
  201. /*00197*/ {0, -1, -1},
  202. /*00198*/ {0, -1, -1},
  203. /*00199*/ {0, -1, -1},
  204. /*00200*/ {197, -1, -1},
  205. /*00201*/ {0, -1, -1},
  206. /*00202*/ {0, -1, -1},
  207. /*00203*/ {0, -1, -1},
  208. /*00204*/ {0, -1, -1},
  209. /*00205*/ {0, -1, -1},
  210. /*00206*/ {0, -1, -1},
  211. /*00207*/ {0, -1, -1},
  212. /*00208*/ {0, -1, -1},
  213. /*00209*/ {0, -1, -1},
  214. /*00210*/ {0, -1, -1},
  215. /*00211*/ {0, -1, -1},
  216. /*00212*/ {0, -1, -1},
  217. /*00213*/ {0, -1, -1},
  218. /*00214*/ {0, -1, -1},
  219. /*00215*/ {0, -1, -1},
  220. /*00216*/ {195, -1, -1},
  221. /*00217*/ {0, -1, -1},
  222. /*00218*/ {0, -1, -1},
  223. /*00219*/ {0, -1, -1},
  224. /*00220*/ {0, -1, -1},
  225. /*00221*/ {0, -1, -1},
  226. /*00222*/ {0, -1, -1},
  227. /*00223*/ {0, -1, -1},
  228. /*00224*/ {0, -1, -1},
  229. /*00225*/ {0, -1, -1},
  230. /*00226*/ {0, -1, -1},
  231. /*00227*/ {0, -1, -1},
  232. /*00228*/ {0, -1, -1},
  233. /*00229*/ {0, -1, -1},
  234. /*00230*/ {0, -1, -1},
  235. /*00231*/ {0, -1, -1},
  236. /*00232*/ {199, -1, -1},
  237. /*00233*/ {0, -1, -1},
  238. /*00234*/ {0, -1, -1},
  239. /*00235*/ {0, -1, -1},
  240. /*00236*/ {0, -1, -1},
  241. /*00237*/ {0, -1, -1},
  242. /*00238*/ {0, -1, -1},
  243. /*00239*/ {0, -1, -1},
  244. /*00240*/ {0, -1, -1},
  245. /*00241*/ {0, -1, -1},
  246. /*00242*/ {0, -1, -1},
  247. /*00243*/ {0, -1, -1},
  248. /*00244*/ {0, -1, -1},
  249. /*00245*/ {0, -1, -1},
  250. /*00246*/ {0, -1, -1},
  251. /*00247*/ {0, -1, -1},
  252. /*00248*/ {201, -1, -1},
  253. /*00249*/ {0, -1, -1},
  254. /*00250*/ {0, -1, -1},
  255. /*00251*/ {0, -1, -1},
  256. /*00252*/ {0, -1, -1},
  257. /*00253*/ {0, -1, -1},
  258. /*00254*/ {0, -1, -1},
  259. /*00255*/ {0, -1, -1},
  260. /*00256*/ {0, -1, -1},
  261. /*00257*/ {0, -1, -1},
  262. /*00258*/ {0, -1, -1},
  263. /*00259*/ {0, -1, -1},
  264. /*00260*/ {0, -1, -1},
  265. /*00261*/ {0, -1, -1},
  266. /*00262*/ {0, -1, -1},
  267. /*00263*/ {0, -1, -1},
  268. /*00264*/ {203, -1, -1},
  269. /*00265*/ {0, -1, -1},
  270. /*00266*/ {0, -1, -1},
  271. /*00267*/ {0, -1, -1},
  272. /*00268*/ {0, -1, -1},
  273. /*00269*/ {0, -1, -1},
  274. /*00270*/ {0, -1, -1},
  275. /*00271*/ {0, -1, -1},
  276. /*00272*/ {0, -1, -1},
  277. /*00273*/ {0, -1, -1},
  278. /*00274*/ {0, -1, -1},
  279. /*00275*/ {0, -1, -1},
  280. /*00276*/ {0, -1, -1},
  281. /*00277*/ {0, -1, -1},
  282. /*00278*/ {0, -1, -1},
  283. /*00279*/ {0, -1, -1},
  284. /*00280*/ {201, -1, -1},
  285. /*00281*/ {0, -1, -1},
  286. /*00282*/ {0, -1, -1},
  287. /*00283*/ {0, -1, -1},
  288. /*00284*/ {0, -1, -1},
  289. /*00285*/ {0, -1, -1},
  290. /*00286*/ {0, -1, -1},
  291. /*00287*/ {0, -1, -1},
  292. /*00288*/ {0, -1, -1},
  293. /*00289*/ {0, -1, -1},
  294. /*00290*/ {0, -1, -1},
  295. /*00291*/ {0, -1, -1},
  296. /*00292*/ {0, -1, -1},
  297. /*00293*/ {0, -1, -1},
  298. /*00294*/ {0, -1, -1},
  299. /*00295*/ {0, -1, -1},
  300. /*00296*/ {194, -1, -1},
  301. /*00297*/ {0, -1, -1},
  302. /*00298*/ {0, -1, -1},
  303. /*00299*/ {0, -1, -1},
  304. /*00300*/ {0, -1, -1},
  305. /*00301*/ {0, -1, -1},
  306. /*00302*/ {0, -1, -1},
  307. /*00303*/ {0, -1, -1},
  308. /*00304*/ {0, -1, -1},
  309. /*00305*/ {0, -1, -1},
  310. /*00306*/ {0, -1, -1},
  311. /*00307*/ {0, -1, -1},
  312. /*00308*/ {0, -1, -1},
  313. /*00309*/ {0, -1, -1},
  314. /*00310*/ {0, -1, -1},
  315. /*00311*/ {0, -1, -1},
  316. /*00312*/ {196, -1, -1},
  317. /*00313*/ {0, -1, -1},
  318. /*00314*/ {0, -1, -1},
  319. /*00315*/ {0, -1, -1},
  320. /*00316*/ {0, -1, -1},
  321. /*00317*/ {0, -1, -1},
  322. /*00318*/ {0, -1, -1},
  323. /*00319*/ {0, -1, -1},
  324. /*00320*/ {0, -1, -1},
  325. /*00321*/ {0, -1, -1},
  326. /*00322*/ {0, -1, -1},
  327. /*00323*/ {0, -1, -1},
  328. /*00324*/ {0, -1, -1},
  329. /*00325*/ {0, -1, -1},
  330. /*00326*/ {0, -1, -1},
  331. /*00327*/ {0, -1, -1},
  332. /*00328*/ {198, -1, -1},
  333. /*00329*/ {0, -1, -1},
  334. /*00330*/ {0, -1, -1},
  335. /*00331*/ {0, -1, -1},
  336. /*00332*/ {0, -1, -1},
  337. /*00333*/ {0, -1, -1},
  338. /*00334*/ {0, -1, -1},
  339. /*00335*/ {0, -1, -1},
  340. /*00336*/ {0, -1, -1},
  341. /*00337*/ {0, -1, -1},
  342. /*00338*/ {0, -1, -1},
  343. /*00339*/ {0, -1, -1},
  344. /*00340*/ {0, -1, -1},
  345. /*00341*/ {0, -1, -1},
  346. /*00342*/ {0, -1, -1},
  347. /*00343*/ {0, -1, -1},
  348. /*00344*/ {196, -1, -1},
  349. /*00345*/ {0, -1, -1},
  350. /*00346*/ {0, -1, -1},
  351. /*00347*/ {0, -1, -1},
  352. /*00348*/ {0, -1, -1},
  353. /*00349*/ {0, -1, -1},
  354. /*00350*/ {0, -1, -1},
  355. /*00351*/ {0, -1, -1},
  356. /*00352*/ {0, -1, -1},
  357. /*00353*/ {0, -1, -1},
  358. /*00354*/ {0, -1, -1},
  359. /*00355*/ {0, -1, -1},
  360. /*00356*/ {0, -1, -1},
  361. /*00357*/ {0, -1, -1},
  362. /*00358*/ {0, -1, -1},
  363. /*00359*/ {0, -1, -1},
  364. /*00360*/ {200, -1, -1},
  365. /*00361*/ {0, -1, -1},
  366. /*00362*/ {0, -1, -1},
  367. /*00363*/ {0, -1, -1},
  368. /*00364*/ {0, -1, -1},
  369. /*00365*/ {0, -1, -1},
  370. /*00366*/ {0, -1, -1},
  371. /*00367*/ {0, -1, -1},
  372. /*00368*/ {0, -1, -1},
  373. /*00369*/ {0, -1, -1},
  374. /*00370*/ {0, -1, -1},
  375. /*00371*/ {0, -1, -1},
  376. /*00372*/ {0, -1, -1},
  377. /*00373*/ {0, -1, -1},
  378. /*00374*/ {0, -1, -1},
  379. /*00375*/ {0, -1, -1},
  380. /*00376*/ {202, -1, -1},
  381. /*00377*/ {0, -1, -1},
  382. /*00378*/ {0, -1, -1},
  383. /*00379*/ {0, -1, -1},
  384. /*00380*/ {0, -1, -1},
  385. /*00381*/ {0, -1, -1},
  386. /*00382*/ {0, -1, -1},
  387. /*00383*/ {0, -1, -1},
  388. /*00384*/ {0, -1, -1},
  389. /*00385*/ {0, -1, -1},
  390. /*00386*/ {0, -1, -1},
  391. /*00387*/ {0, -1, -1},
  392. /*00388*/ {0, -1, -1},
  393. /*00389*/ {0, -1, -1},
  394. /*00390*/ {0, -1, -1},
  395. /*00391*/ {0, -1, -1},
  396. /*00392*/ {204, -1, -1},
  397. /*00393*/ {0, -1, -1},
  398. /*00394*/ {0, -1, -1},
  399. /*00395*/ {0, -1, -1},
  400. /*00396*/ {0, -1, -1},
  401. /*00397*/ {0, -1, -1},
  402. /*00398*/ {0, -1, -1},
  403. /*00399*/ {0, -1, -1},
  404. /*00400*/ {0, -1, -1},
  405. /*00401*/ {0, -1, -1},
  406. /*00402*/ {0, -1, -1},
  407. /*00403*/ {0, -1, -1},
  408. /*00404*/ {0, -1, -1},
  409. /*00405*/ {0, -1, -1},
  410. /*00406*/ {0, -1, -1},
  411. /*00407*/ {0, -1, -1},
  412. /*00408*/ {202, -1, -1},
  413. /*00409*/ {0, -1, -1},
  414. /*00410*/ {0, -1, -1},
  415. /*00411*/ {0, -1, -1},
  416. /*00412*/ {0, -1, -1},
  417. /*00413*/ {0, -1, -1},
  418. /*00414*/ {0, -1, -1},
  419. /*00415*/ {0, -1, -1},
  420. /*00416*/ {0, -1, -1},
  421. /*00417*/ {0, -1, -1},
  422. /*00418*/ {0, -1, -1},
  423. /*00419*/ {0, -1, -1},
  424. /*00420*/ {0, -1, -1},
  425. /*00421*/ {0, -1, -1},
  426. /*00422*/ {0, -1, -1},
  427. /*00423*/ {0, -1, -1},
  428. /*00424*/ {432, 27, 4},
  429. /*00425*/ {0, -1, -1},
  430. /*00426*/ {0, -1, -1},
  431. /*00427*/ {0, -1, -1},
  432. /*00428*/ {1051, -1, -1},
  433. /*00429*/ {1052, -1, -1},
  434. /*00430*/ {1053, -1, -1},
  435. /*00431*/ {1054, -1, -1},
  436. /*00432*/ {448, 31, 2},
  437. /*00433*/ {452, 31, 2},
  438. /*00434*/ {456, 31, 2},
  439. /*00435*/ {460, 31, 2},
  440. /*00436*/ {1106, -1, -1},
  441. /*00437*/ {1107, -1, -1},
  442. /*00438*/ {1108, -1, -1},
  443. /*00439*/ {1109, -1, -1},
  444. /*00440*/ {464, 31, 2},
  445. /*00441*/ {0, -1, -1},
  446. /*00442*/ {468, 31, 2},
  447. /*00443*/ {0, -1, -1},
  448. /*00444*/ {472, 31, 2},
  449. /*00445*/ {0, -1, -1},
  450. /*00446*/ {0, -1, -1},
  451. /*00447*/ {0, -1, -1},
  452. /*00448*/ {1078, -1, -1},
  453. /*00449*/ {1055, -1, -1},
  454. /*00450*/ {1056, -1, -1},
  455. /*00451*/ {1059, -1, -1},
  456. /*00452*/ {1079, -1, -1},
  457. /*00453*/ {0, -1, -1},
  458. /*00454*/ {0, -1, -1},
  459. /*00455*/ {1060, -1, -1},
  460. /*00456*/ {0, -1, -1},
  461. /*00457*/ {1064, -1, -1},
  462. /*00458*/ {1057, -1, -1},
  463. /*00459*/ {0, -1, -1},
  464. /*00460*/ {0, -1, -1},
  465. /*00461*/ {1065, -1, -1},
  466. /*00462*/ {1058, -1, -1},
  467. /*00463*/ {1061, -1, -1},
  468. /*00464*/ {0, -1, -1},
  469. /*00465*/ {0, -1, -1},
  470. /*00466*/ {1069, -1, -1},
  471. /*00467*/ {0, -1, -1},
  472. /*00468*/ {1063, -1, -1},
  473. /*00469*/ {0, -1, -1},
  474. /*00470*/ {0, -1, -1},
  475. /*00471*/ {0, -1, -1},
  476. /*00472*/ {1062, -1, -1},
  477. /*00473*/ {0, -1, -1},
  478. /*00474*/ {0, -1, -1},
  479. /*00475*/ {0, -1, -1},
  480. /*00476*/ {478, 27, 6},
  481. /*00477*/ {586, 34, 3},
  482. /*00478*/ {1552, -1, -1},
  483. /*00479*/ {1553, -1, -1},
  484. /*00480*/ {0, -1, -1},
  485. /*00481*/ {0, -1, -1},
  486. /*00482*/ {542, 34, 2},
  487. /*00483*/ {546, 34, 2},
  488. /*00484*/ {0, -1, -1},
  489. /*00485*/ {0, -1, -1},
  490. /*00486*/ {550, 34, 2},
  491. /*00487*/ {0, -1, -1},
  492. /*00488*/ {0, -1, -1},
  493. /*00489*/ {0, -1, -1},
  494. /*00490*/ {0, -1, -1},
  495. /*00491*/ {0, -1, -1},
  496. /*00492*/ {0, -1, -1},
  497. /*00493*/ {0, -1, -1},
  498. /*00494*/ {1488, -1, -1},
  499. /*00495*/ {1489, -1, -1},
  500. /*00496*/ {1490, -1, -1},
  501. /*00497*/ {0, -1, -1},
  502. /*00498*/ {554, 34, 2},
  503. /*00499*/ {558, 34, 2},
  504. /*00500*/ {562, 34, 2},
  505. /*00501*/ {566, 34, 2},
  506. /*00502*/ {570, 34, 2},
  507. /*00503*/ {574, 34, 2},
  508. /*00504*/ {578, 34, 2},
  509. /*00505*/ {582, 34, 2},
  510. /*00506*/ {1539, -1, -1},
  511. /*00507*/ {0, -1, -1},
  512. /*00508*/ {0, -1, -1},
  513. /*00509*/ {0, -1, -1},
  514. /*00510*/ {0, -1, -1},
  515. /*00511*/ {0, -1, -1},
  516. /*00512*/ {0, -1, -1},
  517. /*00513*/ {0, -1, -1},
  518. /*00514*/ {0, -1, -1},
  519. /*00515*/ {0, -1, -1},
  520. /*00516*/ {0, -1, -1},
  521. /*00517*/ {0, -1, -1},
  522. /*00518*/ {1496, -1, -1},
  523. /*00519*/ {0, -1, -1},
  524. /*00520*/ {0, -1, -1},
  525. /*00521*/ {0, -1, -1},
  526. /*00522*/ {1500, -1, -1},
  527. /*00523*/ {1501, -1, -1},
  528. /*00524*/ {1502, -1, -1},
  529. /*00525*/ {1503, -1, -1},
  530. /*00526*/ {0, -1, -1},
  531. /*00527*/ {0, -1, -1},
  532. /*00528*/ {0, -1, -1},
  533. /*00529*/ {0, -1, -1},
  534. /*00530*/ {1497, -1, -1},
  535. /*00531*/ {1498, -1, -1},
  536. /*00532*/ {1499, -1, -1},
  537. /*00533*/ {0, -1, -1},
  538. /*00534*/ {0, -1, -1},
  539. /*00535*/ {1491, -1, -1},
  540. /*00536*/ {1492, -1, -1},
  541. /*00537*/ {1493, -1, -1},
  542. /*00538*/ {1494, -1, -1},
  543. /*00539*/ {1495, -1, -1},
  544. /*00540*/ {0, -1, -1},
  545. /*00541*/ {0, -1, -1},
  546. /*00542*/ {1540, -1, -1},
  547. /*00543*/ {1541, -1, -1},
  548. /*00544*/ {1542, -1, -1},
  549. /*00545*/ {1543, -1, -1},
  550. /*00546*/ {1544, -1, -1},
  551. /*00547*/ {1545, -1, -1},
  552. /*00548*/ {1546, -1, -1},
  553. /*00549*/ {1547, -1, -1},
  554. /*00550*/ {1548, -1, -1},
  555. /*00551*/ {1549, -1, -1},
  556. /*00552*/ {1550, -1, -1},
  557. /*00553*/ {1551, -1, -1},
  558. /*00554*/ {1424, -1, -1},
  559. /*00555*/ {1425, -1, -1},
  560. /*00556*/ {1426, -1, -1},
  561. /*00557*/ {1427, -1, -1},
  562. /*00558*/ {1428, -1, -1},
  563. /*00559*/ {1429, -1, -1},
  564. /*00560*/ {1430, -1, -1},
  565. /*00561*/ {1431, -1, -1},
  566. /*00562*/ {1432, -1, -1},
  567. /*00563*/ {1433, -1, -1},
  568. /*00564*/ {1434, -1, -1},
  569. /*00565*/ {1435, -1, -1},
  570. /*00566*/ {1436, -1, -1},
  571. /*00567*/ {1437, -1, -1},
  572. /*00568*/ {1438, -1, -1},
  573. /*00569*/ {1439, -1, -1},
  574. /*00570*/ {1507, -1, -1},
  575. /*00571*/ {1508, -1, -1},
  576. /*00572*/ {1509, -1, -1},
  577. /*00573*/ {1510, -1, -1},
  578. /*00574*/ {1511, -1, -1},
  579. /*00575*/ {1512, -1, -1},
  580. /*00576*/ {1513, -1, -1},
  581. /*00577*/ {1514, -1, -1},
  582. /*00578*/ {1515, -1, -1},
  583. /*00579*/ {1516, -1, -1},
  584. /*00580*/ {1517, -1, -1},
  585. /*00581*/ {1518, -1, -1},
  586. /*00582*/ {1519, -1, -1},
  587. /*00583*/ {1520, -1, -1},
  588. /*00584*/ {1521, -1, -1},
  589. /*00585*/ {1522, -1, -1},
  590. /*00586*/ {1408, -1, -1},
  591. /*00587*/ {1409, -1, -1},
  592. /*00588*/ {1410, -1, -1},
  593. /*00589*/ {1411, -1, -1},
  594. /*00590*/ {1416, -1, -1},
  595. /*00591*/ {1417, -1, -1},
  596. /*00592*/ {1418, -1, -1},
  597. /*00593*/ {1419, -1, -1},
  598. /*00594*/ {1320, -1, -1},
  599. /*00595*/ {0, -1, -1},
  600. /*00596*/ {1312, -1, -1},
  601. /*00597*/ {0, -1, -1},
  602. /*00598*/ {1313, -1, -1},
  603. /*00599*/ {1314, -1, -1},
  604. /*00600*/ {0, -1, -1},
  605. /*00601*/ {0, -1, -1},
  606. /*00602*/ {1315, -1, -1},
  607. /*00603*/ {1316, -1, -1},
  608. /*00604*/ {0, -1, -1},
  609. /*00605*/ {0, -1, -1},
  610. /*00606*/ {1317, -1, -1},
  611. /*00607*/ {1318, -1, -1},
  612. /*00608*/ {0, -1, -1},
  613. /*00609*/ {0, -1, -1},
  614. /*00610*/ {1319, -1, -1},
  615. /*00611*/ {0, -1, -1},
  616. /*00612*/ {0, -1, -1},
  617. /*00613*/ {0, -1, -1},
  618. /*00614*/ {0, -1, -1},
  619. /*00615*/ {0, -1, -1},
  620. /*00616*/ {0, -1, -1},
  621. /*00617*/ {0, -1, -1},
  622. /*00618*/ {0, -1, -1},
  623. /*00619*/ {0, -1, -1},
  624. /*00620*/ {0, -1, -1},
  625. /*00621*/ {0, -1, -1},
  626. /*00622*/ {0, -1, -1},
  627. /*00623*/ {0, -1, -1},
  628. /*00624*/ {0, -1, -1},
  629. /*00625*/ {0, -1, -1},
  630. /*00626*/ {658, 33, 3},
  631. /*00627*/ {762, 33, 3},
  632. /*00628*/ {0, -1, -1},
  633. /*00629*/ {0, -1, -1},
  634. /*00630*/ {0, -1, -1},
  635. /*00631*/ {0, -1, -1},
  636. /*00632*/ {0, -1, -1},
  637. /*00633*/ {0, -1, -1},
  638. /*00634*/ {0, -1, -1},
  639. /*00635*/ {0, -1, -1},
  640. /*00636*/ {0, -1, -1},
  641. /*00637*/ {0, -1, -1},
  642. /*00638*/ {0, -1, -1},
  643. /*00639*/ {0, -1, -1},
  644. /*00640*/ {0, -1, -1},
  645. /*00641*/ {0, -1, -1},
  646. /*00642*/ {0, -1, -1},
  647. /*00643*/ {0, -1, -1},
  648. /*00644*/ {0, -1, -1},
  649. /*00645*/ {0, -1, -1},
  650. /*00646*/ {0, -1, -1},
  651. /*00647*/ {0, -1, -1},
  652. /*00648*/ {0, -1, -1},
  653. /*00649*/ {0, -1, -1},
  654. /*00650*/ {0, -1, -1},
  655. /*00651*/ {0, -1, -1},
  656. /*00652*/ {0, -1, -1},
  657. /*00653*/ {0, -1, -1},
  658. /*00654*/ {0, -1, -1},
  659. /*00655*/ {0, -1, -1},
  660. /*00656*/ {0, -1, -1},
  661. /*00657*/ {0, -1, -1},
  662. /*00658*/ {666, 6, 3},
  663. /*00659*/ {678, 6, 3},
  664. /*00660*/ {690, 6, 3},
  665. /*00661*/ {702, 6, 3},
  666. /*00662*/ {714, 6, 3},
  667. /*00663*/ {726, 6, 3},
  668. /*00664*/ {738, 6, 3},
  669. /*00665*/ {750, 6, 3},
  670. /*00666*/ {674, 12, 1},
  671. /*00667*/ {676, 12, 1},
  672. /*00668*/ {0, -1, -1},
  673. /*00669*/ {0, -1, -1},
  674. /*00670*/ {0, -1, -1},
  675. /*00671*/ {0, -1, -1},
  676. /*00672*/ {0, -1, -1},
  677. /*00673*/ {0, -1, -1},
  678. /*00674*/ {1232, -1, -1},
  679. /*00675*/ {1233, -1, -1},
  680. /*00676*/ {1248, -1, -1},
  681. /*00677*/ {1249, -1, -1},
  682. /*00678*/ {686, 12, 1},
  683. /*00679*/ {688, 12, 1},
  684. /*00680*/ {0, -1, -1},
  685. /*00681*/ {0, -1, -1},
  686. /*00682*/ {0, -1, -1},
  687. /*00683*/ {0, -1, -1},
  688. /*00684*/ {0, -1, -1},
  689. /*00685*/ {0, -1, -1},
  690. /*00686*/ {1234, -1, -1},
  691. /*00687*/ {1235, -1, -1},
  692. /*00688*/ {1250, -1, -1},
  693. /*00689*/ {1251, -1, -1},
  694. /*00690*/ {698, 12, 1},
  695. /*00691*/ {700, 12, 1},
  696. /*00692*/ {0, -1, -1},
  697. /*00693*/ {0, -1, -1},
  698. /*00694*/ {0, -1, -1},
  699. /*00695*/ {0, -1, -1},
  700. /*00696*/ {0, -1, -1},
  701. /*00697*/ {0, -1, -1},
  702. /*00698*/ {1236, -1, -1},
  703. /*00699*/ {1237, -1, -1},
  704. /*00700*/ {1252, -1, -1},
  705. /*00701*/ {1253, -1, -1},
  706. /*00702*/ {710, 12, 1},
  707. /*00703*/ {712, 12, 1},
  708. /*00704*/ {0, -1, -1},
  709. /*00705*/ {0, -1, -1},
  710. /*00706*/ {0, -1, -1},
  711. /*00707*/ {0, -1, -1},
  712. /*00708*/ {0, -1, -1},
  713. /*00709*/ {0, -1, -1},
  714. /*00710*/ {1238, -1, -1},
  715. /*00711*/ {1239, -1, -1},
  716. /*00712*/ {1254, -1, -1},
  717. /*00713*/ {1255, -1, -1},
  718. /*00714*/ {722, 12, 1},
  719. /*00715*/ {724, 12, 1},
  720. /*00716*/ {0, -1, -1},
  721. /*00717*/ {0, -1, -1},
  722. /*00718*/ {0, -1, -1},
  723. /*00719*/ {0, -1, -1},
  724. /*00720*/ {0, -1, -1},
  725. /*00721*/ {0, -1, -1},
  726. /*00722*/ {1240, -1, -1},
  727. /*00723*/ {1241, -1, -1},
  728. /*00724*/ {1256, -1, -1},
  729. /*00725*/ {1257, -1, -1},
  730. /*00726*/ {734, 12, 1},
  731. /*00727*/ {736, 12, 1},
  732. /*00728*/ {0, -1, -1},
  733. /*00729*/ {0, -1, -1},
  734. /*00730*/ {0, -1, -1},
  735. /*00731*/ {0, -1, -1},
  736. /*00732*/ {0, -1, -1},
  737. /*00733*/ {0, -1, -1},
  738. /*00734*/ {1242, -1, -1},
  739. /*00735*/ {1243, -1, -1},
  740. /*00736*/ {1258, -1, -1},
  741. /*00737*/ {1259, -1, -1},
  742. /*00738*/ {746, 12, 1},
  743. /*00739*/ {748, 12, 1},
  744. /*00740*/ {0, -1, -1},
  745. /*00741*/ {0, -1, -1},
  746. /*00742*/ {0, -1, -1},
  747. /*00743*/ {0, -1, -1},
  748. /*00744*/ {0, -1, -1},
  749. /*00745*/ {0, -1, -1},
  750. /*00746*/ {1244, -1, -1},
  751. /*00747*/ {1245, -1, -1},
  752. /*00748*/ {1260, -1, -1},
  753. /*00749*/ {1261, -1, -1},
  754. /*00750*/ {758, 12, 1},
  755. /*00751*/ {760, 12, 1},
  756. /*00752*/ {0, -1, -1},
  757. /*00753*/ {0, -1, -1},
  758. /*00754*/ {0, -1, -1},
  759. /*00755*/ {0, -1, -1},
  760. /*00756*/ {0, -1, -1},
  761. /*00757*/ {0, -1, -1},
  762. /*00758*/ {1246, -1, -1},
  763. /*00759*/ {1247, -1, -1},
  764. /*00760*/ {1262, -1, -1},
  765. /*00761*/ {1263, -1, -1},
  766. /*00762*/ {770, 6, 3},
  767. /*00763*/ {780, 6, 3},
  768. /*00764*/ {790, 6, 3},
  769. /*00765*/ {800, 6, 3},
  770. /*00766*/ {810, 6, 3},
  771. /*00767*/ {820, 6, 3},
  772. /*00768*/ {830, 6, 3},
  773. /*00769*/ {840, 6, 3},
  774. /*00770*/ {0, -1, -1},
  775. /*00771*/ {0, -1, -1},
  776. /*00772*/ {0, -1, -1},
  777. /*00773*/ {0, -1, -1},
  778. /*00774*/ {778, 12, 1},
  779. /*00775*/ {0, -1, -1},
  780. /*00776*/ {0, -1, -1},
  781. /*00777*/ {0, -1, -1},
  782. /*00778*/ {1264, -1, -1},
  783. /*00779*/ {1265, -1, -1},
  784. /*00780*/ {0, -1, -1},
  785. /*00781*/ {0, -1, -1},
  786. /*00782*/ {0, -1, -1},
  787. /*00783*/ {0, -1, -1},
  788. /*00784*/ {788, 12, 1},
  789. /*00785*/ {0, -1, -1},
  790. /*00786*/ {0, -1, -1},
  791. /*00787*/ {0, -1, -1},
  792. /*00788*/ {1266, -1, -1},
  793. /*00789*/ {1267, -1, -1},
  794. /*00790*/ {0, -1, -1},
  795. /*00791*/ {0, -1, -1},
  796. /*00792*/ {0, -1, -1},
  797. /*00793*/ {0, -1, -1},
  798. /*00794*/ {798, 12, 1},
  799. /*00795*/ {0, -1, -1},
  800. /*00796*/ {0, -1, -1},
  801. /*00797*/ {0, -1, -1},
  802. /*00798*/ {1268, -1, -1},
  803. /*00799*/ {1269, -1, -1},
  804. /*00800*/ {0, -1, -1},
  805. /*00801*/ {0, -1, -1},
  806. /*00802*/ {0, -1, -1},
  807. /*00803*/ {0, -1, -1},
  808. /*00804*/ {808, 12, 1},
  809. /*00805*/ {0, -1, -1},
  810. /*00806*/ {0, -1, -1},
  811. /*00807*/ {0, -1, -1},
  812. /*00808*/ {1270, -1, -1},
  813. /*00809*/ {1271, -1, -1},
  814. /*00810*/ {0, -1, -1},
  815. /*00811*/ {0, -1, -1},
  816. /*00812*/ {0, -1, -1},
  817. /*00813*/ {0, -1, -1},
  818. /*00814*/ {818, 12, 1},
  819. /*00815*/ {0, -1, -1},
  820. /*00816*/ {0, -1, -1},
  821. /*00817*/ {0, -1, -1},
  822. /*00818*/ {1272, -1, -1},
  823. /*00819*/ {1273, -1, -1},
  824. /*00820*/ {0, -1, -1},
  825. /*00821*/ {0, -1, -1},
  826. /*00822*/ {0, -1, -1},
  827. /*00823*/ {0, -1, -1},
  828. /*00824*/ {828, 12, 1},
  829. /*00825*/ {0, -1, -1},
  830. /*00826*/ {0, -1, -1},
  831. /*00827*/ {0, -1, -1},
  832. /*00828*/ {1274, -1, -1},
  833. /*00829*/ {1275, -1, -1},
  834. /*00830*/ {0, -1, -1},
  835. /*00831*/ {0, -1, -1},
  836. /*00832*/ {0, -1, -1},
  837. /*00833*/ {0, -1, -1},
  838. /*00834*/ {838, 12, 1},
  839. /*00835*/ {0, -1, -1},
  840. /*00836*/ {0, -1, -1},
  841. /*00837*/ {0, -1, -1},
  842. /*00838*/ {1276, -1, -1},
  843. /*00839*/ {1277, -1, -1},
  844. /*00840*/ {0, -1, -1},
  845. /*00841*/ {0, -1, -1},
  846. /*00842*/ {0, -1, -1},
  847. /*00843*/ {0, -1, -1},
  848. /*00844*/ {848, 12, 1},
  849. /*00845*/ {0, -1, -1},
  850. /*00846*/ {0, -1, -1},
  851. /*00847*/ {0, -1, -1},
  852. /*00848*/ {1278, -1, -1},
  853. /*00849*/ {1279, -1, -1},
  854. /*00850*/ {1554, -1, -1},
  855. /*00851*/ {1555, -1, -1},
  856. /*00852*/ {0, -1, -1},
  857. /*00853*/ {0, -1, -1},
  858. /*00854*/ {0, -1, -1},
  859. /*00855*/ {0, -1, -1},
  860. /*00856*/ {0, -1, -1},
  861. /*00857*/ {0, -1, -1},
  862. /*00858*/ {0, -1, -1},
  863. /*00859*/ {0, -1, -1},
  864. /*00860*/ {0, -1, -1},
  865. /*00861*/ {0, -1, -1},
  866. /*00862*/ {0, -1, -1},
  867. /*00863*/ {0, -1, -1},
  868. /*00864*/ {0, -1, -1},
  869. /*00865*/ {0, -1, -1},
  870. /*00866*/ {0, -1, -1},
  871. /*00867*/ {0, -1, -1},
  872. /*00868*/ {0, -1, -1},
  873. /*00869*/ {0, -1, -1},
  874. /*00870*/ {0, -1, -1},
  875. /*00871*/ {0, -1, -1},
  876. /*00872*/ {0, -1, -1},
  877. /*00873*/ {0, -1, -1},
  878. /*00874*/ {0, -1, -1},
  879. /*00875*/ {0, -1, -1},
  880. /*00876*/ {0, -1, -1},
  881. /*00877*/ {0, -1, -1},
  882. /*00878*/ {0, -1, -1},
  883. /*00879*/ {0, -1, -1},
  884. /*00880*/ {0, -1, -1},
  885. /*00881*/ {0, -1, -1},
  886. /*00882*/ {0, -1, -1},
  887. /*00883*/ {0, -1, -1},
  888. /*00884*/ {0, -1, -1},
  889. /*00885*/ {0, -1, -1},
  890. /*00886*/ {0, -1, -1},
  891. /*00887*/ {0, -1, -1},
  892. /*00888*/ {0, -1, -1},
  893. /*00889*/ {0, -1, -1},
  894. /*00890*/ {0, -1, -1},
  895. /*00891*/ {0, -1, -1},
  896. /*00892*/ {0, -1, -1},
  897. /*00893*/ {0, -1, -1},
  898. /*00894*/ {0, -1, -1},
  899. /*00895*/ {0, -1, -1},
  900. /*00896*/ {0, -1, -1},
  901. /*00897*/ {0, -1, -1},
  902. /*00898*/ {0, -1, -1},
  903. /*00899*/ {0, -1, -1},
  904. /*00900*/ {0, -1, -1},
  905. /*00901*/ {0, -1, -1},
  906. /*00902*/ {0, -1, -1},
  907. /*00903*/ {0, -1, -1},
  908. /*00904*/ {0, -1, -1},
  909. /*00905*/ {0, -1, -1},
  910. /*00906*/ {0, -1, -1},
  911. /*00907*/ {0, -1, -1},
  912. /*00908*/ {0, -1, -1},
  913. /*00909*/ {0, -1, -1},
  914. /*00910*/ {0, -1, -1},
  915. /*00911*/ {0, -1, -1},
  916. /*00912*/ {0, -1, -1},
  917. /*00913*/ {0, -1, -1},
  918. /*00914*/ {0, -1, -1},
  919. /*00915*/ {0, -1, -1},
  920. /*00916*/ {0, -1, -1},
  921. /*00917*/ {0, -1, -1},
  922. /*00918*/ {0, -1, -1},
  923. /*00919*/ {0, -1, -1},
  924. /*00920*/ {0, -1, -1},
  925. /*00921*/ {0, -1, -1},
  926. /*00922*/ {0, -1, -1},
  927. /*00923*/ {0, -1, -1},
  928. /*00924*/ {0, -1, -1},
  929. /*00925*/ {0, -1, -1},
  930. /*00926*/ {0, -1, -1},
  931. /*00927*/ {0, -1, -1},
  932. /*00928*/ {0, -1, -1},
  933. /*00929*/ {0, -1, -1},
  934. /*00930*/ {0, -1, -1},
  935. /*00931*/ {0, -1, -1},
  936. /*00932*/ {0, -1, -1},
  937. /*00933*/ {0, -1, -1},
  938. /*00934*/ {0, -1, -1},
  939. /*00935*/ {0, -1, -1},
  940. /*00936*/ {0, -1, -1},
  941. /*00937*/ {0, -1, -1},
  942. /*00938*/ {0, -1, -1},
  943. /*00939*/ {0, -1, -1},
  944. /*00940*/ {0, -1, -1},
  945. /*00941*/ {0, -1, -1},
  946. /*00942*/ {0, -1, -1},
  947. /*00943*/ {0, -1, -1},
  948. /*00944*/ {0, -1, -1},
  949. /*00945*/ {0, -1, -1},
  950. /*00946*/ {0, -1, -1},
  951. /*00947*/ {0, -1, -1},
  952. /*00948*/ {0, -1, -1},
  953. /*00949*/ {0, -1, -1},
  954. /*00950*/ {0, -1, -1},
  955. /*00951*/ {0, -1, -1},
  956. /*00952*/ {0, -1, -1},
  957. /*00953*/ {0, -1, -1},
  958. /*00954*/ {0, -1, -1},
  959. /*00955*/ {0, -1, -1},
  960. /*00956*/ {0, -1, -1},
  961. /*00957*/ {0, -1, -1},
  962. /*00958*/ {0, -1, -1},
  963. /*00959*/ {0, -1, -1},
  964. /*00960*/ {0, -1, -1},
  965. /*00961*/ {0, -1, -1},
  966. /*00962*/ {0, -1, -1},
  967. /*00963*/ {0, -1, -1},
  968. /*00964*/ {0, -1, -1},
  969. /*00965*/ {0, -1, -1},
  970. /*00966*/ {0, -1, -1},
  971. /*00967*/ {0, -1, -1},
  972. /*00968*/ {0, -1, -1},
  973. /*00969*/ {0, -1, -1},
  974. /*00970*/ {0, -1, -1},
  975. /*00971*/ {0, -1, -1},
  976. /*00972*/ {0, -1, -1},
  977. /*00973*/ {0, -1, -1},
  978. /*00974*/ {0, -1, -1},
  979. /*00975*/ {0, -1, -1},
  980. /*00976*/ {0, -1, -1},
  981. /*00977*/ {0, -1, -1},
  982. /*00978*/ {0, -1, -1},
  983. /*00979*/ {0, -1, -1},
  984. /*00980*/ {0, -1, -1},
  985. /*00981*/ {0, -1, -1},
  986. /*00982*/ {0, -1, -1},
  987. /*00983*/ {0, -1, -1},
  988. /*00984*/ {0, -1, -1},
  989. /*00985*/ {0, -1, -1},
  990. /*00986*/ {0, -1, -1},
  991. /*00987*/ {0, -1, -1},
  992. /*00988*/ {0, -1, -1},
  993. /*00989*/ {0, -1, -1},
  994. /*00990*/ {0, -1, -1},
  995. /*00991*/ {0, -1, -1},
  996. /*00992*/ {0, -1, -1},
  997. /*00993*/ {0, -1, -1},
  998. /*00994*/ {0, -1, -1},
  999. /*00995*/ {0, -1, -1},
  1000. /*00996*/ {0, -1, -1},
  1001. /*00997*/ {0, -1, -1},
  1002. /*00998*/ {0, -1, -1},
  1003. /*00999*/ {0, -1, -1},
  1004. /*01000*/ {0, -1, -1},
  1005. /*01001*/ {0, -1, -1},
  1006. /*01002*/ {0, -1, -1},
  1007. /*01003*/ {0, -1, -1},
  1008. /*01004*/ {0, -1, -1},
  1009. /*01005*/ {0, -1, -1},
  1010. /*01006*/ {0, -1, -1},
  1011. /*01007*/ {0, -1, -1},
  1012. /*01008*/ {0, -1, -1},
  1013. /*01009*/ {0, -1, -1},
  1014. /*01010*/ {0, -1, -1},
  1015. /*01011*/ {0, -1, -1},
  1016. /*01012*/ {0, -1, -1},
  1017. /*01013*/ {0, -1, -1},
  1018. /*01014*/ {0, -1, -1},
  1019. /*01015*/ {0, -1, -1},
  1020. /*01016*/ {0, -1, -1},
  1021. /*01017*/ {0, -1, -1},
  1022. /*01018*/ {0, -1, -1},
  1023. /*01019*/ {0, -1, -1},
  1024. /*01020*/ {0, -1, -1},
  1025. /*01021*/ {0, -1, -1},
  1026. /*01022*/ {0, -1, -1},
  1027. /*01023*/ {0, -1, -1},
  1028. /*01024*/ {0, -1, -1},
  1029. /*01025*/ {0, -1, -1},
  1030. /*01026*/ {0, -1, -1},
  1031. /*01027*/ {0, -1, -1},
  1032. /*01028*/ {0, -1, -1},
  1033. /*01029*/ {0, -1, -1},
  1034. /*01030*/ {0, -1, -1},
  1035. /*01031*/ {0, -1, -1},
  1036. /*01032*/ {0, -1, -1},
  1037. /*01033*/ {0, -1, -1},
  1038. /*01034*/ {0, -1, -1},
  1039. /*01035*/ {0, -1, -1},
  1040. /*01036*/ {0, -1, -1},
  1041. /*01037*/ {0, -1, -1},
  1042. /*01038*/ {0, -1, -1},
  1043. /*01039*/ {0, -1, -1},
  1044. /*01040*/ {0, -1, -1},
  1045. /*01041*/ {0, -1, -1},
  1046. /*01042*/ {0, -1, -1},
  1047. /*01043*/ {0, -1, -1},
  1048. /*01044*/ {0, -1, -1},
  1049. /*01045*/ {0, -1, -1},
  1050. /*01046*/ {0, -1, -1},
  1051. /*01047*/ {0, -1, -1},
  1052. /*01048*/ {0, -1, -1},
  1053. /*01049*/ {0, -1, -1},
  1054. /*01050*/ {0, -1, -1},
  1055. /*01051*/ {0, -1, -1},
  1056. /*01052*/ {0, -1, -1},
  1057. /*01053*/ {0, -1, -1},
  1058. /*01054*/ {0, -1, -1},
  1059. /*01055*/ {0, -1, -1},
  1060. /*01056*/ {0, -1, -1},
  1061. /*01057*/ {0, -1, -1},
  1062. /*01058*/ {0, -1, -1},
  1063. /*01059*/ {0, -1, -1},
  1064. /*01060*/ {0, -1, -1},
  1065. /*01061*/ {0, -1, -1},
  1066. /*01062*/ {0, -1, -1},
  1067. /*01063*/ {0, -1, -1},
  1068. /*01064*/ {0, -1, -1},
  1069. /*01065*/ {0, -1, -1},
  1070. /*01066*/ {0, -1, -1},
  1071. /*01067*/ {0, -1, -1},
  1072. /*01068*/ {0, -1, -1},
  1073. /*01069*/ {0, -1, -1},
  1074. /*01070*/ {0, -1, -1},
  1075. /*01071*/ {0, -1, -1},
  1076. /*01072*/ {0, -1, -1},
  1077. /*01073*/ {0, -1, -1},
  1078. /*01074*/ {0, -1, -1},
  1079. /*01075*/ {0, -1, -1},
  1080. /*01076*/ {0, -1, -1},
  1081. /*01077*/ {0, -1, -1},
  1082. /*01078*/ {0, -1, -1},
  1083. /*01079*/ {0, -1, -1},
  1084. /*01080*/ {0, -1, -1},
  1085. /*01081*/ {0, -1, -1},
  1086. /*01082*/ {0, -1, -1},
  1087. /*01083*/ {0, -1, -1},
  1088. /*01084*/ {0, -1, -1},
  1089. /*01085*/ {0, -1, -1},
  1090. /*01086*/ {0, -1, -1},
  1091. /*01087*/ {0, -1, -1},
  1092. /*01088*/ {0, -1, -1},
  1093. /*01089*/ {0, -1, -1},
  1094. /*01090*/ {0, -1, -1},
  1095. /*01091*/ {0, -1, -1},
  1096. /*01092*/ {0, -1, -1},
  1097. /*01093*/ {0, -1, -1},
  1098. /*01094*/ {0, -1, -1},
  1099. /*01095*/ {0, -1, -1},
  1100. /*01096*/ {0, -1, -1},
  1101. /*01097*/ {0, -1, -1},
  1102. /*01098*/ {0, -1, -1},
  1103. /*01099*/ {0, -1, -1},
  1104. /*01100*/ {0, -1, -1},
  1105. /*01101*/ {0, -1, -1},
  1106. /*01102*/ {0, -1, -1},
  1107. /*01103*/ {0, -1, -1},
  1108. /*01104*/ {0, -1, -1},
  1109. /*01105*/ {0, -1, -1},
  1110. /*01106*/ {0, -1, -1},
  1111. /*01107*/ {0, -1, -1},
  1112. /*01108*/ {0, -1, -1},
  1113. /*01109*/ {0, -1, -1},
  1114. /*01110*/ {0, -1, -1},
  1115. /*01111*/ {0, -1, -1},
  1116. /*01112*/ {0, -1, -1},
  1117. /*01113*/ {0, -1, -1},
  1118. /*01114*/ {0, -1, -1},
  1119. /*01115*/ {0, -1, -1},
  1120. /*01116*/ {0, -1, -1},
  1121. /*01117*/ {0, -1, -1},
  1122. /*01118*/ {0, -1, -1},
  1123. /*01119*/ {0, -1, -1},
  1124. /*01120*/ {0, -1, -1},
  1125. /*01121*/ {0, -1, -1},
  1126. /*01122*/ {0, -1, -1},
  1127. /*01123*/ {0, -1, -1},
  1128. /*01124*/ {0, -1, -1},
  1129. /*01125*/ {0, -1, -1},
  1130. /*01126*/ {0, -1, -1},
  1131. /*01127*/ {0, -1, -1},
  1132. /*01128*/ {0, -1, -1},
  1133. /*01129*/ {0, -1, -1},
  1134. /*01130*/ {0, -1, -1},
  1135. /*01131*/ {0, -1, -1},
  1136. /*01132*/ {0, -1, -1},
  1137. /*01133*/ {0, -1, -1},
  1138. /*01134*/ {0, -1, -1},
  1139. /*01135*/ {0, -1, -1},
  1140. /*01136*/ {0, -1, -1},
  1141. /*01137*/ {0, -1, -1},
  1142. /*01138*/ {0, -1, -1},
  1143. /*01139*/ {0, -1, -1},
  1144. /*01140*/ {0, -1, -1},
  1145. /*01141*/ {0, -1, -1},
  1146. /*01142*/ {0, -1, -1},
  1147. /*01143*/ {0, -1, -1},
  1148. /*01144*/ {0, -1, -1},
  1149. /*01145*/ {0, -1, -1},
  1150. /*01146*/ {0, -1, -1},
  1151. /*01147*/ {0, -1, -1},
  1152. /*01148*/ {0, -1, -1},
  1153. /*01149*/ {0, -1, -1},
  1154. /*01150*/ {0, -1, -1},
  1155. /*01151*/ {0, -1, -1},
  1156. /*01152*/ {0, -1, -1},
  1157. /*01153*/ {0, -1, -1},
  1158. /*01154*/ {0, -1, -1},
  1159. /*01155*/ {0, -1, -1},
  1160. /*01156*/ {0, -1, -1},
  1161. /*01157*/ {0, -1, -1},
  1162. /*01158*/ {0, -1, -1},
  1163. /*01159*/ {0, -1, -1},
  1164. /*01160*/ {0, -1, -1},
  1165. /*01161*/ {0, -1, -1},
  1166. /*01162*/ {0, -1, -1},
  1167. /*01163*/ {0, -1, -1},
  1168. /*01164*/ {0, -1, -1},
  1169. /*01165*/ {0, -1, -1},
  1170. /*01166*/ {0, -1, -1},
  1171. /*01167*/ {0, -1, -1},
  1172. /*01168*/ {0, -1, -1},
  1173. /*01169*/ {0, -1, -1},
  1174. /*01170*/ {0, -1, -1},
  1175. /*01171*/ {0, -1, -1},
  1176. /*01172*/ {0, -1, -1},
  1177. /*01173*/ {0, -1, -1},
  1178. /*01174*/ {0, -1, -1},
  1179. /*01175*/ {0, -1, -1},
  1180. /*01176*/ {0, -1, -1},
  1181. /*01177*/ {0, -1, -1},
  1182. /*01178*/ {0, -1, -1},
  1183. /*01179*/ {0, -1, -1},
  1184. /*01180*/ {0, -1, -1},
  1185. /*01181*/ {0, -1, -1},
  1186. /*01182*/ {0, -1, -1},
  1187. /*01183*/ {0, -1, -1},
  1188. /*01184*/ {0, -1, -1},
  1189. /*01185*/ {0, -1, -1},
  1190. /*01186*/ {0, -1, -1},
  1191. /*01187*/ {0, -1, -1},
  1192. /*01188*/ {0, -1, -1},
  1193. /*01189*/ {0, -1, -1},
  1194. /*01190*/ {0, -1, -1},
  1195. /*01191*/ {0, -1, -1},
  1196. /*01192*/ {0, -1, -1},
  1197. /*01193*/ {0, -1, -1},
  1198. /*01194*/ {0, -1, -1},
  1199. /*01195*/ {0, -1, -1},
  1200. /*01196*/ {0, -1, -1},
  1201. /*01197*/ {0, -1, -1},
  1202. /*01198*/ {0, -1, -1},
  1203. /*01199*/ {0, -1, -1},
  1204. /*01200*/ {0, -1, -1},
  1205. /*01201*/ {0, -1, -1},
  1206. /*01202*/ {0, -1, -1},
  1207. /*01203*/ {0, -1, -1},
  1208. /*01204*/ {0, -1, -1},
  1209. /*01205*/ {0, -1, -1},
  1210. /*01206*/ {0, -1, -1},
  1211. /*01207*/ {0, -1, -1},
  1212. /*01208*/ {0, -1, -1},
  1213. /*01209*/ {0, -1, -1},
  1214. /*01210*/ {0, -1, -1},
  1215. /*01211*/ {0, -1, -1},
  1216. /*01212*/ {0, -1, -1},
  1217. /*01213*/ {0, -1, -1},
  1218. /*01214*/ {0, -1, -1},
  1219. /*01215*/ {0, -1, -1},
  1220. /*01216*/ {0, -1, -1},
  1221. /*01217*/ {0, -1, -1},
  1222. /*01218*/ {0, -1, -1},
  1223. /*01219*/ {0, -1, -1},
  1224. /*01220*/ {0, -1, -1},
  1225. /*01221*/ {0, -1, -1},
  1226. /*01222*/ {0, -1, -1},
  1227. /*01223*/ {0, -1, -1},
  1228. /*01224*/ {0, -1, -1},
  1229. /*01225*/ {0, -1, -1},
  1230. /*01226*/ {0, -1, -1},
  1231. /*01227*/ {0, -1, -1},
  1232. /*01228*/ {0, -1, -1},
  1233. /*01229*/ {0, -1, -1},
  1234. /*01230*/ {0, -1, -1},
  1235. /*01231*/ {0, -1, -1},
  1236. /*01232*/ {0, -1, -1},
  1237. /*01233*/ {0, -1, -1},
  1238. /*01234*/ {0, -1, -1},
  1239. /*01235*/ {0, -1, -1},
  1240. /*01236*/ {0, -1, -1},
  1241. /*01237*/ {0, -1, -1},
  1242. /*01238*/ {0, -1, -1},
  1243. /*01239*/ {0, -1, -1},
  1244. /*01240*/ {0, -1, -1},
  1245. /*01241*/ {0, -1, -1},
  1246. /*01242*/ {0, -1, -1},
  1247. /*01243*/ {0, -1, -1},
  1248. /*01244*/ {0, -1, -1},
  1249. /*01245*/ {0, -1, -1},
  1250. /*01246*/ {0, -1, -1},
  1251. /*01247*/ {0, -1, -1},
  1252. /*01248*/ {0, -1, -1},
  1253. /*01249*/ {0, -1, -1},
  1254. /*01250*/ {0, -1, -1},
  1255. /*01251*/ {0, -1, -1},
  1256. /*01252*/ {0, -1, -1},
  1257. /*01253*/ {0, -1, -1},
  1258. /*01254*/ {0, -1, -1},
  1259. /*01255*/ {0, -1, -1},
  1260. /*01256*/ {0, -1, -1},
  1261. /*01257*/ {0, -1, -1},
  1262. /*01258*/ {0, -1, -1},
  1263. /*01259*/ {0, -1, -1},
  1264. /*01260*/ {0, -1, -1},
  1265. /*01261*/ {0, -1, -1},
  1266. /*01262*/ {0, -1, -1},
  1267. /*01263*/ {0, -1, -1},
  1268. /*01264*/ {0, -1, -1},
  1269. /*01265*/ {0, -1, -1},
  1270. /*01266*/ {0, -1, -1},
  1271. /*01267*/ {0, -1, -1},
  1272. /*01268*/ {0, -1, -1},
  1273. /*01269*/ {0, -1, -1},
  1274. /*01270*/ {0, -1, -1},
  1275. /*01271*/ {0, -1, -1},
  1276. /*01272*/ {0, -1, -1},
  1277. /*01273*/ {0, -1, -1},
  1278. /*01274*/ {0, -1, -1},
  1279. /*01275*/ {0, -1, -1},
  1280. /*01276*/ {0, -1, -1},
  1281. /*01277*/ {0, -1, -1},
  1282. /*01278*/ {0, -1, -1},
  1283. /*01279*/ {0, -1, -1},
  1284. /*01280*/ {0, -1, -1},
  1285. /*01281*/ {0, -1, -1},
  1286. /*01282*/ {0, -1, -1},
  1287. /*01283*/ {0, -1, -1},
  1288. /*01284*/ {0, -1, -1},
  1289. /*01285*/ {0, -1, -1},
  1290. /*01286*/ {0, -1, -1},
  1291. /*01287*/ {0, -1, -1},
  1292. /*01288*/ {0, -1, -1},
  1293. /*01289*/ {0, -1, -1},
  1294. /*01290*/ {0, -1, -1},
  1295. /*01291*/ {0, -1, -1},
  1296. /*01292*/ {0, -1, -1},
  1297. /*01293*/ {0, -1, -1},
  1298. /*01294*/ {0, -1, -1},
  1299. /*01295*/ {0, -1, -1},
  1300. /*01296*/ {0, -1, -1},
  1301. /*01297*/ {0, -1, -1},
  1302. /*01298*/ {0, -1, -1},
  1303. /*01299*/ {0, -1, -1},
  1304. /*01300*/ {0, -1, -1},
  1305. /*01301*/ {0, -1, -1},
  1306. /*01302*/ {0, -1, -1},
  1307. /*01303*/ {0, -1, -1},
  1308. /*01304*/ {0, -1, -1},
  1309. /*01305*/ {0, -1, -1},
  1310. /*01306*/ {0, -1, -1},
  1311. /*01307*/ {0, -1, -1},
  1312. /*01308*/ {0, -1, -1},
  1313. /*01309*/ {0, -1, -1},
  1314. /*01310*/ {0, -1, -1},
  1315. /*01311*/ {0, -1, -1},
  1316. /*01312*/ {0, -1, -1},
  1317. /*01313*/ {0, -1, -1},
  1318. /*01314*/ {0, -1, -1},
  1319. /*01315*/ {0, -1, -1},
  1320. /*01316*/ {0, -1, -1},
  1321. /*01317*/ {0, -1, -1},
  1322. /*01318*/ {0, -1, -1},
  1323. /*01319*/ {0, -1, -1},
  1324. /*01320*/ {0, -1, -1},
  1325. /*01321*/ {0, -1, -1},
  1326. /*01322*/ {0, -1, -1},
  1327. /*01323*/ {0, -1, -1},
  1328. /*01324*/ {0, -1, -1},
  1329. /*01325*/ {0, -1, -1},
  1330. /*01326*/ {0, -1, -1},
  1331. /*01327*/ {0, -1, -1},
  1332. /*01328*/ {0, -1, -1},
  1333. /*01329*/ {0, -1, -1},
  1334. /*01330*/ {0, -1, -1},
  1335. /*01331*/ {0, -1, -1},
  1336. /*01332*/ {0, -1, -1},
  1337. /*01333*/ {0, -1, -1},
  1338. /*01334*/ {0, -1, -1},
  1339. /*01335*/ {0, -1, -1},
  1340. /*01336*/ {0, -1, -1},
  1341. /*01337*/ {0, -1, -1},
  1342. /*01338*/ {0, -1, -1},
  1343. /*01339*/ {0, -1, -1},
  1344. /*01340*/ {0, -1, -1},
  1345. /*01341*/ {0, -1, -1},
  1346. /*01342*/ {0, -1, -1},
  1347. /*01343*/ {0, -1, -1},
  1348. /*01344*/ {0, -1, -1},
  1349. /*01345*/ {0, -1, -1},
  1350. /*01346*/ {0, -1, -1},
  1351. /*01347*/ {0, -1, -1},
  1352. /*01348*/ {0, -1, -1},
  1353. /*01349*/ {0, -1, -1},
  1354. /*01350*/ {0, -1, -1},
  1355. /*01351*/ {0, -1, -1},
  1356. /*01352*/ {0, -1, -1},
  1357. /*01353*/ {0, -1, -1},
  1358. /*01354*/ {0, -1, -1},
  1359. /*01355*/ {0, -1, -1},
  1360. /*01356*/ {0, -1, -1},
  1361. /*01357*/ {0, -1, -1},
  1362. /*01358*/ {0, -1, -1},
  1363. /*01359*/ {0, -1, -1},
  1364. /*01360*/ {0, -1, -1},
  1365. /*01361*/ {0, -1, -1},
  1366. /*01362*/ {1370, 27, 6},
  1367. /*01363*/ {1049, -1, -1},
  1368. /*01364*/ {0, -1, -1},
  1369. /*01365*/ {1050, -1, -1},
  1370. /*01366*/ {0, -1, -1},
  1371. /*01367*/ {0, -1, -1},
  1372. /*01368*/ {1073, -1, -1},
  1373. /*01369*/ {0, -1, -1},
  1374. /*01370*/ {1089, -1, -1},
  1375. /*01371*/ {1090, -1, -1},
  1376. /*01372*/ {1091, -1, -1},
  1377. /*01373*/ {1092, -1, -1},
  1378. /*01374*/ {1093, -1, -1},
  1379. /*01375*/ {1094, -1, -1},
  1380. /*01376*/ {1095, -1, -1},
  1381. /*01377*/ {0, -1, -1},
  1382. /*01378*/ {0, -1, -1},
  1383. /*01379*/ {1110, -1, -1},
  1384. /*01380*/ {1111, -1, -1},
  1385. /*01381*/ {1112, -1, -1},
  1386. /*01382*/ {1113, -1, -1},
  1387. /*01383*/ {1114, -1, -1},
  1388. /*01384*/ {1096, -1, -1},
  1389. /*01385*/ {1097, -1, -1},
  1390. /*01386*/ {1098, -1, -1},
  1391. /*01387*/ {1099, -1, -1},
  1392. /*01388*/ {1100, -1, -1},
  1393. /*01389*/ {1101, -1, -1},
  1394. /*01390*/ {1102, -1, -1},
  1395. /*01391*/ {1104, -1, -1},
  1396. /*01392*/ {1103, -1, -1},
  1397. /*01393*/ {1105, -1, -1},
  1398. /*01394*/ {1082, -1, -1},
  1399. /*01395*/ {1083, -1, -1},
  1400. /*01396*/ {1115, -1, -1},
  1401. /*01397*/ {1116, -1, -1},
  1402. /*01398*/ {0, -1, -1},
  1403. /*01399*/ {0, -1, -1},
  1404. /*01400*/ {1117, -1, -1},
  1405. /*01401*/ {1118, -1, -1},
  1406. /*01402*/ {0, -1, -1},
  1407. /*01403*/ {1077, -1, -1},
  1408. /*01404*/ {1070, -1, -1},
  1409. /*01405*/ {0, -1, -1},
  1410. /*01406*/ {1072, -1, -1},
  1411. /*01407*/ {1076, -1, -1},
  1412. /*01408*/ {0, -1, -1},
  1413. /*01409*/ {0, -1, -1},
  1414. /*01410*/ {0, -1, -1},
  1415. /*01411*/ {1075, -1, -1},
  1416. /*01412*/ {1068, -1, -1},
  1417. /*01413*/ {0, -1, -1},
  1418. /*01414*/ {1071, -1, -1},
  1419. /*01415*/ {1074, -1, -1},
  1420. /*01416*/ {1087, -1, -1},
  1421. /*01417*/ {1088, -1, -1},
  1422. /*01418*/ {1066, -1, -1},
  1423. /*01419*/ {1084, -1, -1},
  1424. /*01420*/ {1085, -1, -1},
  1425. /*01421*/ {1086, -1, -1},
  1426. /*01422*/ {1067, -1, -1},
  1427. /*01423*/ {0, -1, -1},
  1428. /*01424*/ {0, -1, -1},
  1429. /*01425*/ {0, -1, -1},
  1430. /*01426*/ {1080, -1, -1},
  1431. /*01427*/ {1081, -1, -1},
  1432. /*01428*/ {0, -1, -1},
  1433. /*01429*/ {0, -1, -1},
  1434. /*01430*/ {1119, -1, -1},
  1435. /*01431*/ {0, -1, -1},
  1436. /*01432*/ {0, -1, -1},
  1437. /*01433*/ {0, -1, -1},
  1438. /*01434*/ {1436, 27, 6},
  1439. /*01435*/ {1564, 34, 3},
  1440. /*01436*/ {0, -1, -1},
  1441. /*01437*/ {0, -1, -1},
  1442. /*01438*/ {0, -1, -1},
  1443. /*01439*/ {0, -1, -1},
  1444. /*01440*/ {0, -1, -1},
  1445. /*01441*/ {0, -1, -1},
  1446. /*01442*/ {0, -1, -1},
  1447. /*01443*/ {0, -1, -1},
  1448. /*01444*/ {0, -1, -1},
  1449. /*01445*/ {0, -1, -1},
  1450. /*01446*/ {0, -1, -1},
  1451. /*01447*/ {0, -1, -1},
  1452. /*01448*/ {0, -1, -1},
  1453. /*01449*/ {0, -1, -1},
  1454. /*01450*/ {0, -1, -1},
  1455. /*01451*/ {0, -1, -1},
  1456. /*01452*/ {1504, -1, -1},
  1457. /*01453*/ {1505, -1, -1},
  1458. /*01454*/ {1506, -1, -1},
  1459. /*01455*/ {0, -1, -1},
  1460. /*01456*/ {1500, 34, 2},
  1461. /*01457*/ {1504, 34, 2},
  1462. /*01458*/ {1508, 34, 2},
  1463. /*01459*/ {1512, 34, 2},
  1464. /*01460*/ {1516, 34, 2},
  1465. /*01461*/ {1520, 34, 2},
  1466. /*01462*/ {1524, 34, 2},
  1467. /*01463*/ {1528, 34, 2},
  1468. /*01464*/ {0, -1, -1},
  1469. /*01465*/ {0, -1, -1},
  1470. /*01466*/ {0, -1, -1},
  1471. /*01467*/ {0, -1, -1},
  1472. /*01468*/ {0, -1, -1},
  1473. /*01469*/ {0, -1, -1},
  1474. /*01470*/ {0, -1, -1},
  1475. /*01471*/ {0, -1, -1},
  1476. /*01472*/ {0, -1, -1},
  1477. /*01473*/ {0, -1, -1},
  1478. /*01474*/ {0, -1, -1},
  1479. /*01475*/ {0, -1, -1},
  1480. /*01476*/ {0, -1, -1},
  1481. /*01477*/ {0, -1, -1},
  1482. /*01478*/ {0, -1, -1},
  1483. /*01479*/ {0, -1, -1},
  1484. /*01480*/ {0, -1, -1},
  1485. /*01481*/ {0, -1, -1},
  1486. /*01482*/ {0, -1, -1},
  1487. /*01483*/ {0, -1, -1},
  1488. /*01484*/ {1532, 34, 2},
  1489. /*01485*/ {1536, 34, 2},
  1490. /*01486*/ {1540, 34, 2},
  1491. /*01487*/ {1544, 34, 2},
  1492. /*01488*/ {1548, 34, 2},
  1493. /*01489*/ {1552, 34, 2},
  1494. /*01490*/ {1556, 34, 2},
  1495. /*01491*/ {1560, 34, 2},
  1496. /*01492*/ {0, -1, -1},
  1497. /*01493*/ {0, -1, -1},
  1498. /*01494*/ {0, -1, -1},
  1499. /*01495*/ {0, -1, -1},
  1500. /*01496*/ {0, -1, -1},
  1501. /*01497*/ {0, -1, -1},
  1502. /*01498*/ {0, -1, -1},
  1503. /*01499*/ {0, -1, -1},
  1504. /*01500*/ {1440, -1, -1},
  1505. /*01501*/ {1441, -1, -1},
  1506. /*01502*/ {1442, -1, -1},
  1507. /*01503*/ {1443, -1, -1},
  1508. /*01504*/ {1444, -1, -1},
  1509. /*01505*/ {1445, -1, -1},
  1510. /*01506*/ {1446, -1, -1},
  1511. /*01507*/ {1447, -1, -1},
  1512. /*01508*/ {1448, -1, -1},
  1513. /*01509*/ {1449, -1, -1},
  1514. /*01510*/ {1450, -1, -1},
  1515. /*01511*/ {1451, -1, -1},
  1516. /*01512*/ {1452, -1, -1},
  1517. /*01513*/ {1453, -1, -1},
  1518. /*01514*/ {1454, -1, -1},
  1519. /*01515*/ {1455, -1, -1},
  1520. /*01516*/ {1523, -1, -1},
  1521. /*01517*/ {1524, -1, -1},
  1522. /*01518*/ {1525, -1, -1},
  1523. /*01519*/ {1526, -1, -1},
  1524. /*01520*/ {1527, -1, -1},
  1525. /*01521*/ {1528, -1, -1},
  1526. /*01522*/ {1529, -1, -1},
  1527. /*01523*/ {1530, -1, -1},
  1528. /*01524*/ {1531, -1, -1},
  1529. /*01525*/ {1532, -1, -1},
  1530. /*01526*/ {1533, -1, -1},
  1531. /*01527*/ {1534, -1, -1},
  1532. /*01528*/ {1535, -1, -1},
  1533. /*01529*/ {1536, -1, -1},
  1534. /*01530*/ {1537, -1, -1},
  1535. /*01531*/ {1538, -1, -1},
  1536. /*01532*/ {1456, -1, -1},
  1537. /*01533*/ {1457, -1, -1},
  1538. /*01534*/ {1458, -1, -1},
  1539. /*01535*/ {1459, -1, -1},
  1540. /*01536*/ {1460, -1, -1},
  1541. /*01537*/ {1461, -1, -1},
  1542. /*01538*/ {1462, -1, -1},
  1543. /*01539*/ {1463, -1, -1},
  1544. /*01540*/ {1464, -1, -1},
  1545. /*01541*/ {1465, -1, -1},
  1546. /*01542*/ {1466, -1, -1},
  1547. /*01543*/ {1467, -1, -1},
  1548. /*01544*/ {1468, -1, -1},
  1549. /*01545*/ {1469, -1, -1},
  1550. /*01546*/ {1470, -1, -1},
  1551. /*01547*/ {1471, -1, -1},
  1552. /*01548*/ {1472, -1, -1},
  1553. /*01549*/ {1473, -1, -1},
  1554. /*01550*/ {1474, -1, -1},
  1555. /*01551*/ {1475, -1, -1},
  1556. /*01552*/ {1476, -1, -1},
  1557. /*01553*/ {1477, -1, -1},
  1558. /*01554*/ {1478, -1, -1},
  1559. /*01555*/ {1479, -1, -1},
  1560. /*01556*/ {1480, -1, -1},
  1561. /*01557*/ {1481, -1, -1},
  1562. /*01558*/ {1482, -1, -1},
  1563. /*01559*/ {1483, -1, -1},
  1564. /*01560*/ {1484, -1, -1},
  1565. /*01561*/ {1485, -1, -1},
  1566. /*01562*/ {1486, -1, -1},
  1567. /*01563*/ {1487, -1, -1},
  1568. /*01564*/ {1412, -1, -1},
  1569. /*01565*/ {1413, -1, -1},
  1570. /*01566*/ {1414, -1, -1},
  1571. /*01567*/ {1415, -1, -1},
  1572. /*01568*/ {1420, -1, -1},
  1573. /*01569*/ {1421, -1, -1},
  1574. /*01570*/ {1422, -1, -1},
  1575. /*01571*/ {1423, -1, -1},
  1576. /*01572*/ {1588, 12, 1},
  1577. /*01573*/ {1590, 12, 1},
  1578. /*01574*/ {1592, 12, 1},
  1579. /*01575*/ {1594, 12, 1},
  1580. /*01576*/ {1596, 12, 1},
  1581. /*01577*/ {1598, 12, 1},
  1582. /*01578*/ {1600, 12, 1},
  1583. /*01579*/ {1602, 12, 1},
  1584. /*01580*/ {1604, 12, 1},
  1585. /*01581*/ {1606, 12, 1},
  1586. /*01582*/ {1608, 12, 1},
  1587. /*01583*/ {1610, 12, 1},
  1588. /*01584*/ {1612, 12, 1},
  1589. /*01585*/ {1614, 12, 1},
  1590. /*01586*/ {1616, 12, 1},
  1591. /*01587*/ {1618, 12, 1},
  1592. /*01588*/ {1280, -1, -1},
  1593. /*01589*/ {1281, -1, -1},
  1594. /*01590*/ {1280, -1, -1},
  1595. /*01591*/ {1281, -1, -1},
  1596. /*01592*/ {1280, -1, -1},
  1597. /*01593*/ {1281, -1, -1},
  1598. /*01594*/ {1282, -1, -1},
  1599. /*01595*/ {1283, -1, -1},
  1600. /*01596*/ {1280, -1, -1},
  1601. /*01597*/ {1281, -1, -1},
  1602. /*01598*/ {1284, -1, -1},
  1603. /*01599*/ {1285, -1, -1},
  1604. /*01600*/ {1280, -1, -1},
  1605. /*01601*/ {1281, -1, -1},
  1606. /*01602*/ {1286, -1, -1},
  1607. /*01603*/ {1287, -1, -1},
  1608. /*01604*/ {1288, -1, -1},
  1609. /*01605*/ {1289, -1, -1},
  1610. /*01606*/ {1288, -1, -1},
  1611. /*01607*/ {1289, -1, -1},
  1612. /*01608*/ {1288, -1, -1},
  1613. /*01609*/ {1289, -1, -1},
  1614. /*01610*/ {1290, -1, -1},
  1615. /*01611*/ {1291, -1, -1},
  1616. /*01612*/ {1288, -1, -1},
  1617. /*01613*/ {1289, -1, -1},
  1618. /*01614*/ {1292, -1, -1},
  1619. /*01615*/ {1293, -1, -1},
  1620. /*01616*/ {1288, -1, -1},
  1621. /*01617*/ {1289, -1, -1},
  1622. /*01618*/ {1294, -1, -1},
  1623. /*01619*/ {1295, -1, -1},
  1624. /*01620*/ {1321, -1, -1},
  1625. /*01621*/ {0, -1, -1},
  1626. /*01622*/ {0, -1, -1},
  1627. /*01623*/ {0, -1, -1},
  1628. /*01624*/ {0, -1, -1},
  1629. /*01625*/ {0, -1, -1},
  1630. /*01626*/ {0, -1, -1},
  1631. /*01627*/ {0, -1, -1},
  1632. /*01628*/ {0, -1, -1},
  1633. /*01629*/ {0, -1, -1},
  1634. /*01630*/ {0, -1, -1},
  1635. /*01631*/ {0, -1, -1},
  1636. /*01632*/ {0, -1, -1},
  1637. /*01633*/ {0, -1, -1},
  1638. /*01634*/ {0, -1, -1},
  1639. /*01635*/ {0, -1, -1},
  1640. /*01636*/ {1684, 0, 6},
  1641. /*01637*/ {1756, 0, 6},
  1642. /*01638*/ {0, -1, -1},
  1643. /*01639*/ {0, -1, -1},
  1644. /*01640*/ {0, -1, -1},
  1645. /*01641*/ {0, -1, -1},
  1646. /*01642*/ {0, -1, -1},
  1647. /*01643*/ {0, -1, -1},
  1648. /*01644*/ {0, -1, -1},
  1649. /*01645*/ {0, -1, -1},
  1650. /*01646*/ {0, -1, -1},
  1651. /*01647*/ {0, -1, -1},
  1652. /*01648*/ {0, -1, -1},
  1653. /*01649*/ {0, -1, -1},
  1654. /*01650*/ {0, -1, -1},
  1655. /*01651*/ {0, -1, -1},
  1656. /*01652*/ {0, -1, -1},
  1657. /*01653*/ {0, -1, -1},
  1658. /*01654*/ {0, -1, -1},
  1659. /*01655*/ {0, -1, -1},
  1660. /*01656*/ {0, -1, -1},
  1661. /*01657*/ {0, -1, -1},
  1662. /*01658*/ {0, -1, -1},
  1663. /*01659*/ {0, -1, -1},
  1664. /*01660*/ {0, -1, -1},
  1665. /*01661*/ {0, -1, -1},
  1666. /*01662*/ {0, -1, -1},
  1667. /*01663*/ {0, -1, -1},
  1668. /*01664*/ {0, -1, -1},
  1669. /*01665*/ {0, -1, -1},
  1670. /*01666*/ {0, -1, -1},
  1671. /*01667*/ {0, -1, -1},
  1672. /*01668*/ {0, -1, -1},
  1673. /*01669*/ {0, -1, -1},
  1674. /*01670*/ {0, -1, -1},
  1675. /*01671*/ {0, -1, -1},
  1676. /*01672*/ {0, -1, -1},
  1677. /*01673*/ {0, -1, -1},
  1678. /*01674*/ {0, -1, -1},
  1679. /*01675*/ {0, -1, -1},
  1680. /*01676*/ {0, -1, -1},
  1681. /*01677*/ {0, -1, -1},
  1682. /*01678*/ {0, -1, -1},
  1683. /*01679*/ {0, -1, -1},
  1684. /*01680*/ {0, -1, -1},
  1685. /*01681*/ {0, -1, -1},
  1686. /*01682*/ {0, -1, -1},
  1687. /*01683*/ {0, -1, -1},
  1688. /*01684*/ {1748, 35, 1},
  1689. /*01685*/ {0, -1, -1},
  1690. /*01686*/ {0, -1, -1},
  1691. /*01687*/ {0, -1, -1},
  1692. /*01688*/ {0, -1, -1},
  1693. /*01689*/ {0, -1, -1},
  1694. /*01690*/ {0, -1, -1},
  1695. /*01691*/ {0, -1, -1},
  1696. /*01692*/ {1750, 35, 1},
  1697. /*01693*/ {0, -1, -1},
  1698. /*01694*/ {0, -1, -1},
  1699. /*01695*/ {0, -1, -1},
  1700. /*01696*/ {0, -1, -1},
  1701. /*01697*/ {0, -1, -1},
  1702. /*01698*/ {0, -1, -1},
  1703. /*01699*/ {0, -1, -1},
  1704. /*01700*/ {1752, 35, 1},
  1705. /*01701*/ {0, -1, -1},
  1706. /*01702*/ {0, -1, -1},
  1707. /*01703*/ {0, -1, -1},
  1708. /*01704*/ {0, -1, -1},
  1709. /*01705*/ {0, -1, -1},
  1710. /*01706*/ {0, -1, -1},
  1711. /*01707*/ {0, -1, -1},
  1712. /*01708*/ {1754, 35, 1},
  1713. /*01709*/ {0, -1, -1},
  1714. /*01710*/ {0, -1, -1},
  1715. /*01711*/ {0, -1, -1},
  1716. /*01712*/ {0, -1, -1},
  1717. /*01713*/ {0, -1, -1},
  1718. /*01714*/ {0, -1, -1},
  1719. /*01715*/ {0, -1, -1},
  1720. /*01716*/ {0, -1, -1},
  1721. /*01717*/ {0, -1, -1},
  1722. /*01718*/ {0, -1, -1},
  1723. /*01719*/ {0, -1, -1},
  1724. /*01720*/ {0, -1, -1},
  1725. /*01721*/ {0, -1, -1},
  1726. /*01722*/ {0, -1, -1},
  1727. /*01723*/ {0, -1, -1},
  1728. /*01724*/ {0, -1, -1},
  1729. /*01725*/ {0, -1, -1},
  1730. /*01726*/ {0, -1, -1},
  1731. /*01727*/ {0, -1, -1},
  1732. /*01728*/ {0, -1, -1},
  1733. /*01729*/ {0, -1, -1},
  1734. /*01730*/ {0, -1, -1},
  1735. /*01731*/ {0, -1, -1},
  1736. /*01732*/ {0, -1, -1},
  1737. /*01733*/ {0, -1, -1},
  1738. /*01734*/ {0, -1, -1},
  1739. /*01735*/ {0, -1, -1},
  1740. /*01736*/ {0, -1, -1},
  1741. /*01737*/ {0, -1, -1},
  1742. /*01738*/ {0, -1, -1},
  1743. /*01739*/ {0, -1, -1},
  1744. /*01740*/ {0, -1, -1},
  1745. /*01741*/ {0, -1, -1},
  1746. /*01742*/ {0, -1, -1},
  1747. /*01743*/ {0, -1, -1},
  1748. /*01744*/ {0, -1, -1},
  1749. /*01745*/ {0, -1, -1},
  1750. /*01746*/ {0, -1, -1},
  1751. /*01747*/ {0, -1, -1},
  1752. /*01748*/ {1304, -1, -1},
  1753. /*01749*/ {1305, -1, -1},
  1754. /*01750*/ {1304, -1, -1},
  1755. /*01751*/ {1305, -1, -1},
  1756. /*01752*/ {1306, -1, -1},
  1757. /*01753*/ {1307, -1, -1},
  1758. /*01754*/ {1304, -1, -1},
  1759. /*01755*/ {1305, -1, -1},
  1760. /*01756*/ {1820, 35, 1},
  1761. /*01757*/ {0, -1, -1},
  1762. /*01758*/ {0, -1, -1},
  1763. /*01759*/ {0, -1, -1},
  1764. /*01760*/ {0, -1, -1},
  1765. /*01761*/ {0, -1, -1},
  1766. /*01762*/ {0, -1, -1},
  1767. /*01763*/ {0, -1, -1},
  1768. /*01764*/ {1822, 35, 1},
  1769. /*01765*/ {0, -1, -1},
  1770. /*01766*/ {0, -1, -1},
  1771. /*01767*/ {0, -1, -1},
  1772. /*01768*/ {0, -1, -1},
  1773. /*01769*/ {0, -1, -1},
  1774. /*01770*/ {0, -1, -1},
  1775. /*01771*/ {0, -1, -1},
  1776. /*01772*/ {1824, 35, 1},
  1777. /*01773*/ {0, -1, -1},
  1778. /*01774*/ {0, -1, -1},
  1779. /*01775*/ {0, -1, -1},
  1780. /*01776*/ {0, -1, -1},
  1781. /*01777*/ {0, -1, -1},
  1782. /*01778*/ {0, -1, -1},
  1783. /*01779*/ {0, -1, -1},
  1784. /*01780*/ {1826, 35, 1},
  1785. /*01781*/ {0, -1, -1},
  1786. /*01782*/ {0, -1, -1},
  1787. /*01783*/ {0, -1, -1},
  1788. /*01784*/ {0, -1, -1},
  1789. /*01785*/ {0, -1, -1},
  1790. /*01786*/ {0, -1, -1},
  1791. /*01787*/ {0, -1, -1},
  1792. /*01788*/ {0, -1, -1},
  1793. /*01789*/ {0, -1, -1},
  1794. /*01790*/ {0, -1, -1},
  1795. /*01791*/ {0, -1, -1},
  1796. /*01792*/ {0, -1, -1},
  1797. /*01793*/ {0, -1, -1},
  1798. /*01794*/ {0, -1, -1},
  1799. /*01795*/ {0, -1, -1},
  1800. /*01796*/ {0, -1, -1},
  1801. /*01797*/ {0, -1, -1},
  1802. /*01798*/ {0, -1, -1},
  1803. /*01799*/ {0, -1, -1},
  1804. /*01800*/ {0, -1, -1},
  1805. /*01801*/ {0, -1, -1},
  1806. /*01802*/ {0, -1, -1},
  1807. /*01803*/ {0, -1, -1},
  1808. /*01804*/ {0, -1, -1},
  1809. /*01805*/ {0, -1, -1},
  1810. /*01806*/ {0, -1, -1},
  1811. /*01807*/ {0, -1, -1},
  1812. /*01808*/ {0, -1, -1},
  1813. /*01809*/ {0, -1, -1},
  1814. /*01810*/ {0, -1, -1},
  1815. /*01811*/ {0, -1, -1},
  1816. /*01812*/ {0, -1, -1},
  1817. /*01813*/ {0, -1, -1},
  1818. /*01814*/ {0, -1, -1},
  1819. /*01815*/ {0, -1, -1},
  1820. /*01816*/ {0, -1, -1},
  1821. /*01817*/ {0, -1, -1},
  1822. /*01818*/ {0, -1, -1},
  1823. /*01819*/ {0, -1, -1},
  1824. /*01820*/ {1308, -1, -1},
  1825. /*01821*/ {1309, -1, -1},
  1826. /*01822*/ {1308, -1, -1},
  1827. /*01823*/ {1309, -1, -1},
  1828. /*01824*/ {1310, -1, -1},
  1829. /*01825*/ {1311, -1, -1},
  1830. /*01826*/ {1308, -1, -1},
  1831. /*01827*/ {1309, -1, -1},
  1832. /*01828*/ {1956, 27, 3},
  1833. /*01829*/ {1964, 27, 3},
  1834. /*01830*/ {1972, 27, 3},
  1835. /*01831*/ {1980, 27, 3},
  1836. /*01832*/ {1988, 27, 3},
  1837. /*01833*/ {1996, 27, 3},
  1838. /*01834*/ {2004, 27, 3},
  1839. /*01835*/ {2012, 27, 3},
  1840. /*01836*/ {2020, 27, 3},
  1841. /*01837*/ {2028, 27, 3},
  1842. /*01838*/ {2036, 27, 3},
  1843. /*01839*/ {2044, 27, 3},
  1844. /*01840*/ {2052, 27, 3},
  1845. /*01841*/ {2060, 27, 3},
  1846. /*01842*/ {2068, 27, 3},
  1847. /*01843*/ {2076, 27, 3},
  1848. /*01844*/ {2084, 27, 3},
  1849. /*01845*/ {2092, 27, 3},
  1850. /*01846*/ {2100, 27, 3},
  1851. /*01847*/ {2108, 27, 3},
  1852. /*01848*/ {2116, 27, 3},
  1853. /*01849*/ {2124, 27, 3},
  1854. /*01850*/ {2132, 27, 3},
  1855. /*01851*/ {2140, 27, 3},
  1856. /*01852*/ {0, -1, -1},
  1857. /*01853*/ {0, -1, -1},
  1858. /*01854*/ {0, -1, -1},
  1859. /*01855*/ {2148, 27, 3},
  1860. /*01856*/ {2156, 27, 1},
  1861. /*01857*/ {2158, 27, 1},
  1862. /*01858*/ {2160, 27, 1},
  1863. /*01859*/ {2162, 27, 1},
  1864. /*01860*/ {2164, 27, 3},
  1865. /*01861*/ {2172, 27, 3},
  1866. /*01862*/ {2180, 27, 3},
  1867. /*01863*/ {2188, 27, 3},
  1868. /*01864*/ {2196, 27, 3},
  1869. /*01865*/ {2204, 27, 3},
  1870. /*01866*/ {2212, 27, 3},
  1871. /*01867*/ {2220, 27, 3},
  1872. /*01868*/ {2228, 27, 3},
  1873. /*01869*/ {2236, 27, 3},
  1874. /*01870*/ {2244, 27, 3},
  1875. /*01871*/ {2252, 27, 3},
  1876. /*01872*/ {0, -1, -1},
  1877. /*01873*/ {0, -1, -1},
  1878. /*01874*/ {0, -1, -1},
  1879. /*01875*/ {0, -1, -1},
  1880. /*01876*/ {2260, 27, 3},
  1881. /*01877*/ {2268, 27, 3},
  1882. /*01878*/ {2276, 27, 3},
  1883. /*01879*/ {2284, 27, 3},
  1884. /*01880*/ {2292, 27, 3},
  1885. /*01881*/ {2300, 27, 3},
  1886. /*01882*/ {2308, 27, 3},
  1887. /*01883*/ {2316, 27, 3},
  1888. /*01884*/ {0, -1, -1},
  1889. /*01885*/ {0, -1, -1},
  1890. /*01886*/ {0, -1, -1},
  1891. /*01887*/ {2324, 27, 3},
  1892. /*01888*/ {0, -1, -1},
  1893. /*01889*/ {0, -1, -1},
  1894. /*01890*/ {0, -1, -1},
  1895. /*01891*/ {0, -1, -1},
  1896. /*01892*/ {2332, 27, 3},
  1897. /*01893*/ {2340, 27, 3},
  1898. /*01894*/ {2348, 27, 3},
  1899. /*01895*/ {2356, 27, 3},
  1900. /*01896*/ {2364, 27, 3},
  1901. /*01897*/ {2372, 27, 3},
  1902. /*01898*/ {2380, 27, 3},
  1903. /*01899*/ {2388, 27, 3},
  1904. /*01900*/ {2396, 27, 3},
  1905. /*01901*/ {2404, 27, 3},
  1906. /*01902*/ {2412, 27, 3},
  1907. /*01903*/ {2420, 27, 3},
  1908. /*01904*/ {2428, 27, 3},
  1909. /*01905*/ {2436, 27, 3},
  1910. /*01906*/ {2444, 27, 3},
  1911. /*01907*/ {2452, 27, 3},
  1912. /*01908*/ {2460, 27, 3},
  1913. /*01909*/ {2468, 27, 3},
  1914. /*01910*/ {2476, 27, 3},
  1915. /*01911*/ {2484, 27, 3},
  1916. /*01912*/ {2492, 27, 3},
  1917. /*01913*/ {2500, 27, 3},
  1918. /*01914*/ {2508, 27, 3},
  1919. /*01915*/ {2516, 27, 3},
  1920. /*01916*/ {0, -1, -1},
  1921. /*01917*/ {0, -1, -1},
  1922. /*01918*/ {0, -1, -1},
  1923. /*01919*/ {2524, 27, 3},
  1924. /*01920*/ {0, -1, -1},
  1925. /*01921*/ {0, -1, -1},
  1926. /*01922*/ {0, -1, -1},
  1927. /*01923*/ {0, -1, -1},
  1928. /*01924*/ {2532, 27, 3},
  1929. /*01925*/ {2540, 27, 3},
  1930. /*01926*/ {2548, 27, 3},
  1931. /*01927*/ {2556, 27, 3},
  1932. /*01928*/ {2564, 27, 3},
  1933. /*01929*/ {2572, 27, 3},
  1934. /*01930*/ {2580, 27, 3},
  1935. /*01931*/ {2588, 27, 3},
  1936. /*01932*/ {2596, 27, 3},
  1937. /*01933*/ {2604, 27, 3},
  1938. /*01934*/ {2612, 27, 3},
  1939. /*01935*/ {2620, 27, 3},
  1940. /*01936*/ {0, -1, -1},
  1941. /*01937*/ {0, -1, -1},
  1942. /*01938*/ {0, -1, -1},
  1943. /*01939*/ {0, -1, -1},
  1944. /*01940*/ {0, -1, -1},
  1945. /*01941*/ {0, -1, -1},
  1946. /*01942*/ {0, -1, -1},
  1947. /*01943*/ {0, -1, -1},
  1948. /*01944*/ {0, -1, -1},
  1949. /*01945*/ {0, -1, -1},
  1950. /*01946*/ {0, -1, -1},
  1951. /*01947*/ {0, -1, -1},
  1952. /*01948*/ {0, -1, -1},
  1953. /*01949*/ {0, -1, -1},
  1954. /*01950*/ {0, -1, -1},
  1955. /*01951*/ {0, -1, -1},
  1956. /*01952*/ {0, -1, -1},
  1957. /*01953*/ {0, -1, -1},
  1958. /*01954*/ {0, -1, -1},
  1959. /*01955*/ {0, -1, -1},
  1960. /*01956*/ {223, -1, -1},
  1961. /*01957*/ {993, -1, -1},
  1962. /*01958*/ {224, -1, -1},
  1963. /*01959*/ {994, -1, -1},
  1964. /*01960*/ {223, -1, -1},
  1965. /*01961*/ {993, -1, -1},
  1966. /*01962*/ {225, -1, -1},
  1967. /*01963*/ {995, -1, -1},
  1968. /*01964*/ {226, -1, -1},
  1969. /*01965*/ {996, -1, -1},
  1970. /*01966*/ {227, -1, -1},
  1971. /*01967*/ {997, -1, -1},
  1972. /*01968*/ {226, -1, -1},
  1973. /*01969*/ {996, -1, -1},
  1974. /*01970*/ {228, -1, -1},
  1975. /*01971*/ {998, -1, -1},
  1976. /*01972*/ {229, -1, -1},
  1977. /*01973*/ {999, -1, -1},
  1978. /*01974*/ {230, -1, -1},
  1979. /*01975*/ {1000, -1, -1},
  1980. /*01976*/ {229, -1, -1},
  1981. /*01977*/ {999, -1, -1},
  1982. /*01978*/ {231, -1, -1},
  1983. /*01979*/ {1001, -1, -1},
  1984. /*01980*/ {232, -1, -1},
  1985. /*01981*/ {1002, -1, -1},
  1986. /*01982*/ {233, -1, -1},
  1987. /*01983*/ {1003, -1, -1},
  1988. /*01984*/ {232, -1, -1},
  1989. /*01985*/ {1002, -1, -1},
  1990. /*01986*/ {234, -1, -1},
  1991. /*01987*/ {1004, -1, -1},
  1992. /*01988*/ {235, -1, -1},
  1993. /*01989*/ {1005, -1, -1},
  1994. /*01990*/ {236, -1, -1},
  1995. /*01991*/ {1006, -1, -1},
  1996. /*01992*/ {235, -1, -1},
  1997. /*01993*/ {1005, -1, -1},
  1998. /*01994*/ {237, -1, -1},
  1999. /*01995*/ {1007, -1, -1},
  2000. /*01996*/ {238, -1, -1},
  2001. /*01997*/ {1008, -1, -1},
  2002. /*01998*/ {239, -1, -1},
  2003. /*01999*/ {1009, -1, -1},
  2004. /*02000*/ {238, -1, -1},
  2005. /*02001*/ {1008, -1, -1},
  2006. /*02002*/ {240, -1, -1},
  2007. /*02003*/ {1010, -1, -1},
  2008. /*02004*/ {241, -1, -1},
  2009. /*02005*/ {1011, -1, -1},
  2010. /*02006*/ {242, -1, -1},
  2011. /*02007*/ {1012, -1, -1},
  2012. /*02008*/ {241, -1, -1},
  2013. /*02009*/ {1011, -1, -1},
  2014. /*02010*/ {243, -1, -1},
  2015. /*02011*/ {1013, -1, -1},
  2016. /*02012*/ {244, -1, -1},
  2017. /*02013*/ {1014, -1, -1},
  2018. /*02014*/ {245, -1, -1},
  2019. /*02015*/ {1015, -1, -1},
  2020. /*02016*/ {244, -1, -1},
  2021. /*02017*/ {1014, -1, -1},
  2022. /*02018*/ {246, -1, -1},
  2023. /*02019*/ {1016, -1, -1},
  2024. /*02020*/ {247, -1, -1},
  2025. /*02021*/ {1017, -1, -1},
  2026. /*02022*/ {248, -1, -1},
  2027. /*02023*/ {1018, -1, -1},
  2028. /*02024*/ {247, -1, -1},
  2029. /*02025*/ {1017, -1, -1},
  2030. /*02026*/ {249, -1, -1},
  2031. /*02027*/ {1019, -1, -1},
  2032. /*02028*/ {250, -1, -1},
  2033. /*02029*/ {1020, -1, -1},
  2034. /*02030*/ {251, -1, -1},
  2035. /*02031*/ {1021, -1, -1},
  2036. /*02032*/ {250, -1, -1},
  2037. /*02033*/ {1020, -1, -1},
  2038. /*02034*/ {252, -1, -1},
  2039. /*02035*/ {1022, -1, -1},
  2040. /*02036*/ {253, -1, -1},
  2041. /*02037*/ {1023, -1, -1},
  2042. /*02038*/ {254, -1, -1},
  2043. /*02039*/ {1024, -1, -1},
  2044. /*02040*/ {253, -1, -1},
  2045. /*02041*/ {1023, -1, -1},
  2046. /*02042*/ {255, -1, -1},
  2047. /*02043*/ {1025, -1, -1},
  2048. /*02044*/ {256, -1, -1},
  2049. /*02045*/ {1026, -1, -1},
  2050. /*02046*/ {257, -1, -1},
  2051. /*02047*/ {1027, -1, -1},
  2052. /*02048*/ {256, -1, -1},
  2053. /*02049*/ {1026, -1, -1},
  2054. /*02050*/ {258, -1, -1},
  2055. /*02051*/ {1028, -1, -1},
  2056. /*02052*/ {259, -1, -1},
  2057. /*02053*/ {0, -1, -1},
  2058. /*02054*/ {260, -1, -1},
  2059. /*02055*/ {0, -1, -1},
  2060. /*02056*/ {259, -1, -1},
  2061. /*02057*/ {0, -1, -1},
  2062. /*02058*/ {261, -1, -1},
  2063. /*02059*/ {0, -1, -1},
  2064. /*02060*/ {262, -1, -1},
  2065. /*02061*/ {0, -1, -1},
  2066. /*02062*/ {263, -1, -1},
  2067. /*02063*/ {0, -1, -1},
  2068. /*02064*/ {262, -1, -1},
  2069. /*02065*/ {0, -1, -1},
  2070. /*02066*/ {264, -1, -1},
  2071. /*02067*/ {0, -1, -1},
  2072. /*02068*/ {265, -1, -1},
  2073. /*02069*/ {0, -1, -1},
  2074. /*02070*/ {266, -1, -1},
  2075. /*02071*/ {0, -1, -1},
  2076. /*02072*/ {265, -1, -1},
  2077. /*02073*/ {0, -1, -1},
  2078. /*02074*/ {267, -1, -1},
  2079. /*02075*/ {0, -1, -1},
  2080. /*02076*/ {268, -1, -1},
  2081. /*02077*/ {0, -1, -1},
  2082. /*02078*/ {269, -1, -1},
  2083. /*02079*/ {0, -1, -1},
  2084. /*02080*/ {268, -1, -1},
  2085. /*02081*/ {0, -1, -1},
  2086. /*02082*/ {270, -1, -1},
  2087. /*02083*/ {0, -1, -1},
  2088. /*02084*/ {271, -1, -1},
  2089. /*02085*/ {0, -1, -1},
  2090. /*02086*/ {272, -1, -1},
  2091. /*02087*/ {0, -1, -1},
  2092. /*02088*/ {271, -1, -1},
  2093. /*02089*/ {0, -1, -1},
  2094. /*02090*/ {273, -1, -1},
  2095. /*02091*/ {0, -1, -1},
  2096. /*02092*/ {274, -1, -1},
  2097. /*02093*/ {0, -1, -1},
  2098. /*02094*/ {275, -1, -1},
  2099. /*02095*/ {0, -1, -1},
  2100. /*02096*/ {274, -1, -1},
  2101. /*02097*/ {0, -1, -1},
  2102. /*02098*/ {276, -1, -1},
  2103. /*02099*/ {0, -1, -1},
  2104. /*02100*/ {277, -1, -1},
  2105. /*02101*/ {1029, -1, -1},
  2106. /*02102*/ {278, -1, -1},
  2107. /*02103*/ {1030, -1, -1},
  2108. /*02104*/ {277, -1, -1},
  2109. /*02105*/ {1029, -1, -1},
  2110. /*02106*/ {279, -1, -1},
  2111. /*02107*/ {1031, -1, -1},
  2112. /*02108*/ {280, -1, -1},
  2113. /*02109*/ {1032, -1, -1},
  2114. /*02110*/ {281, -1, -1},
  2115. /*02111*/ {1033, -1, -1},
  2116. /*02112*/ {280, -1, -1},
  2117. /*02113*/ {1032, -1, -1},
  2118. /*02114*/ {282, -1, -1},
  2119. /*02115*/ {1034, -1, -1},
  2120. /*02116*/ {283, -1, -1},
  2121. /*02117*/ {0, -1, -1},
  2122. /*02118*/ {284, -1, -1},
  2123. /*02119*/ {0, -1, -1},
  2124. /*02120*/ {283, -1, -1},
  2125. /*02121*/ {0, -1, -1},
  2126. /*02122*/ {285, -1, -1},
  2127. /*02123*/ {0, -1, -1},
  2128. /*02124*/ {286, -1, -1},
  2129. /*02125*/ {0, -1, -1},
  2130. /*02126*/ {287, -1, -1},
  2131. /*02127*/ {0, -1, -1},
  2132. /*02128*/ {286, -1, -1},
  2133. /*02129*/ {0, -1, -1},
  2134. /*02130*/ {288, -1, -1},
  2135. /*02131*/ {0, -1, -1},
  2136. /*02132*/ {289, -1, -1},
  2137. /*02133*/ {1035, -1, -1},
  2138. /*02134*/ {290, -1, -1},
  2139. /*02135*/ {1036, -1, -1},
  2140. /*02136*/ {289, -1, -1},
  2141. /*02137*/ {1035, -1, -1},
  2142. /*02138*/ {291, -1, -1},
  2143. /*02139*/ {1037, -1, -1},
  2144. /*02140*/ {292, -1, -1},
  2145. /*02141*/ {1038, -1, -1},
  2146. /*02142*/ {293, -1, -1},
  2147. /*02143*/ {1039, -1, -1},
  2148. /*02144*/ {292, -1, -1},
  2149. /*02145*/ {1038, -1, -1},
  2150. /*02146*/ {294, -1, -1},
  2151. /*02147*/ {1040, -1, -1},
  2152. /*02148*/ {295, -1, -1},
  2153. /*02149*/ {0, -1, -1},
  2154. /*02150*/ {296, -1, -1},
  2155. /*02151*/ {0, -1, -1},
  2156. /*02152*/ {295, -1, -1},
  2157. /*02153*/ {0, -1, -1},
  2158. /*02154*/ {297, -1, -1},
  2159. /*02155*/ {0, -1, -1},
  2160. /*02156*/ {0, -1, -1},
  2161. /*02157*/ {1045, -1, -1},
  2162. /*02158*/ {0, -1, -1},
  2163. /*02159*/ {1046, -1, -1},
  2164. /*02160*/ {0, -1, -1},
  2165. /*02161*/ {1047, -1, -1},
  2166. /*02162*/ {0, -1, -1},
  2167. /*02163*/ {1048, -1, -1},
  2168. /*02164*/ {298, -1, -1},
  2169. /*02165*/ {0, -1, -1},
  2170. /*02166*/ {299, -1, -1},
  2171. /*02167*/ {0, -1, -1},
  2172. /*02168*/ {298, -1, -1},
  2173. /*02169*/ {0, -1, -1},
  2174. /*02170*/ {300, -1, -1},
  2175. /*02171*/ {0, -1, -1},
  2176. /*02172*/ {301, -1, -1},
  2177. /*02173*/ {0, -1, -1},
  2178. /*02174*/ {302, -1, -1},
  2179. /*02175*/ {0, -1, -1},
  2180. /*02176*/ {301, -1, -1},
  2181. /*02177*/ {0, -1, -1},
  2182. /*02178*/ {303, -1, -1},
  2183. /*02179*/ {0, -1, -1},
  2184. /*02180*/ {304, -1, -1},
  2185. /*02181*/ {0, -1, -1},
  2186. /*02182*/ {305, -1, -1},
  2187. /*02183*/ {0, -1, -1},
  2188. /*02184*/ {304, -1, -1},
  2189. /*02185*/ {0, -1, -1},
  2190. /*02186*/ {306, -1, -1},
  2191. /*02187*/ {0, -1, -1},
  2192. /*02188*/ {307, -1, -1},
  2193. /*02189*/ {0, -1, -1},
  2194. /*02190*/ {308, -1, -1},
  2195. /*02191*/ {0, -1, -1},
  2196. /*02192*/ {307, -1, -1},
  2197. /*02193*/ {0, -1, -1},
  2198. /*02194*/ {309, -1, -1},
  2199. /*02195*/ {0, -1, -1},
  2200. /*02196*/ {310, -1, -1},
  2201. /*02197*/ {0, -1, -1},
  2202. /*02198*/ {311, -1, -1},
  2203. /*02199*/ {0, -1, -1},
  2204. /*02200*/ {310, -1, -1},
  2205. /*02201*/ {0, -1, -1},
  2206. /*02202*/ {312, -1, -1},
  2207. /*02203*/ {0, -1, -1},
  2208. /*02204*/ {313, -1, -1},
  2209. /*02205*/ {0, -1, -1},
  2210. /*02206*/ {314, -1, -1},
  2211. /*02207*/ {0, -1, -1},
  2212. /*02208*/ {313, -1, -1},
  2213. /*02209*/ {0, -1, -1},
  2214. /*02210*/ {315, -1, -1},
  2215. /*02211*/ {0, -1, -1},
  2216. /*02212*/ {316, -1, -1},
  2217. /*02213*/ {0, -1, -1},
  2218. /*02214*/ {317, -1, -1},
  2219. /*02215*/ {0, -1, -1},
  2220. /*02216*/ {316, -1, -1},
  2221. /*02217*/ {0, -1, -1},
  2222. /*02218*/ {318, -1, -1},
  2223. /*02219*/ {0, -1, -1},
  2224. /*02220*/ {319, -1, -1},
  2225. /*02221*/ {0, -1, -1},
  2226. /*02222*/ {320, -1, -1},
  2227. /*02223*/ {0, -1, -1},
  2228. /*02224*/ {319, -1, -1},
  2229. /*02225*/ {0, -1, -1},
  2230. /*02226*/ {321, -1, -1},
  2231. /*02227*/ {0, -1, -1},
  2232. /*02228*/ {322, -1, -1},
  2233. /*02229*/ {0, -1, -1},
  2234. /*02230*/ {323, -1, -1},
  2235. /*02231*/ {0, -1, -1},
  2236. /*02232*/ {322, -1, -1},
  2237. /*02233*/ {0, -1, -1},
  2238. /*02234*/ {324, -1, -1},
  2239. /*02235*/ {0, -1, -1},
  2240. /*02236*/ {325, -1, -1},
  2241. /*02237*/ {0, -1, -1},
  2242. /*02238*/ {326, -1, -1},
  2243. /*02239*/ {0, -1, -1},
  2244. /*02240*/ {325, -1, -1},
  2245. /*02241*/ {0, -1, -1},
  2246. /*02242*/ {327, -1, -1},
  2247. /*02243*/ {0, -1, -1},
  2248. /*02244*/ {328, -1, -1},
  2249. /*02245*/ {0, -1, -1},
  2250. /*02246*/ {329, -1, -1},
  2251. /*02247*/ {0, -1, -1},
  2252. /*02248*/ {328, -1, -1},
  2253. /*02249*/ {0, -1, -1},
  2254. /*02250*/ {330, -1, -1},
  2255. /*02251*/ {0, -1, -1},
  2256. /*02252*/ {331, -1, -1},
  2257. /*02253*/ {0, -1, -1},
  2258. /*02254*/ {332, -1, -1},
  2259. /*02255*/ {0, -1, -1},
  2260. /*02256*/ {331, -1, -1},
  2261. /*02257*/ {0, -1, -1},
  2262. /*02258*/ {333, -1, -1},
  2263. /*02259*/ {0, -1, -1},
  2264. /*02260*/ {556, -1, -1},
  2265. /*02261*/ {0, -1, -1},
  2266. /*02262*/ {556, -1, -1},
  2267. /*02263*/ {0, -1, -1},
  2268. /*02264*/ {556, -1, -1},
  2269. /*02265*/ {0, -1, -1},
  2270. /*02266*/ {557, -1, -1},
  2271. /*02267*/ {0, -1, -1},
  2272. /*02268*/ {558, -1, -1},
  2273. /*02269*/ {0, -1, -1},
  2274. /*02270*/ {558, -1, -1},
  2275. /*02271*/ {0, -1, -1},
  2276. /*02272*/ {558, -1, -1},
  2277. /*02273*/ {0, -1, -1},
  2278. /*02274*/ {559, -1, -1},
  2279. /*02275*/ {0, -1, -1},
  2280. /*02276*/ {560, -1, -1},
  2281. /*02277*/ {0, -1, -1},
  2282. /*02278*/ {560, -1, -1},
  2283. /*02279*/ {0, -1, -1},
  2284. /*02280*/ {560, -1, -1},
  2285. /*02281*/ {0, -1, -1},
  2286. /*02282*/ {561, -1, -1},
  2287. /*02283*/ {0, -1, -1},
  2288. /*02284*/ {562, -1, -1},
  2289. /*02285*/ {0, -1, -1},
  2290. /*02286*/ {562, -1, -1},
  2291. /*02287*/ {0, -1, -1},
  2292. /*02288*/ {562, -1, -1},
  2293. /*02289*/ {0, -1, -1},
  2294. /*02290*/ {563, -1, -1},
  2295. /*02291*/ {0, -1, -1},
  2296. /*02292*/ {564, -1, -1},
  2297. /*02293*/ {0, -1, -1},
  2298. /*02294*/ {564, -1, -1},
  2299. /*02295*/ {0, -1, -1},
  2300. /*02296*/ {564, -1, -1},
  2301. /*02297*/ {0, -1, -1},
  2302. /*02298*/ {565, -1, -1},
  2303. /*02299*/ {0, -1, -1},
  2304. /*02300*/ {566, -1, -1},
  2305. /*02301*/ {0, -1, -1},
  2306. /*02302*/ {566, -1, -1},
  2307. /*02303*/ {0, -1, -1},
  2308. /*02304*/ {566, -1, -1},
  2309. /*02305*/ {0, -1, -1},
  2310. /*02306*/ {567, -1, -1},
  2311. /*02307*/ {0, -1, -1},
  2312. /*02308*/ {568, -1, -1},
  2313. /*02309*/ {0, -1, -1},
  2314. /*02310*/ {568, -1, -1},
  2315. /*02311*/ {0, -1, -1},
  2316. /*02312*/ {568, -1, -1},
  2317. /*02313*/ {0, -1, -1},
  2318. /*02314*/ {569, -1, -1},
  2319. /*02315*/ {0, -1, -1},
  2320. /*02316*/ {570, -1, -1},
  2321. /*02317*/ {0, -1, -1},
  2322. /*02318*/ {570, -1, -1},
  2323. /*02319*/ {0, -1, -1},
  2324. /*02320*/ {570, -1, -1},
  2325. /*02321*/ {0, -1, -1},
  2326. /*02322*/ {571, -1, -1},
  2327. /*02323*/ {0, -1, -1},
  2328. /*02324*/ {572, -1, -1},
  2329. /*02325*/ {0, -1, -1},
  2330. /*02326*/ {572, -1, -1},
  2331. /*02327*/ {0, -1, -1},
  2332. /*02328*/ {572, -1, -1},
  2333. /*02329*/ {0, -1, -1},
  2334. /*02330*/ {573, -1, -1},
  2335. /*02331*/ {0, -1, -1},
  2336. /*02332*/ {334, -1, -1},
  2337. /*02333*/ {0, -1, -1},
  2338. /*02334*/ {335, -1, -1},
  2339. /*02335*/ {0, -1, -1},
  2340. /*02336*/ {334, -1, -1},
  2341. /*02337*/ {0, -1, -1},
  2342. /*02338*/ {336, -1, -1},
  2343. /*02339*/ {0, -1, -1},
  2344. /*02340*/ {337, -1, -1},
  2345. /*02341*/ {0, -1, -1},
  2346. /*02342*/ {338, -1, -1},
  2347. /*02343*/ {0, -1, -1},
  2348. /*02344*/ {337, -1, -1},
  2349. /*02345*/ {0, -1, -1},
  2350. /*02346*/ {339, -1, -1},
  2351. /*02347*/ {0, -1, -1},
  2352. /*02348*/ {340, -1, -1},
  2353. /*02349*/ {0, -1, -1},
  2354. /*02350*/ {341, -1, -1},
  2355. /*02351*/ {0, -1, -1},
  2356. /*02352*/ {340, -1, -1},
  2357. /*02353*/ {0, -1, -1},
  2358. /*02354*/ {342, -1, -1},
  2359. /*02355*/ {0, -1, -1},
  2360. /*02356*/ {343, -1, -1},
  2361. /*02357*/ {0, -1, -1},
  2362. /*02358*/ {344, -1, -1},
  2363. /*02359*/ {0, -1, -1},
  2364. /*02360*/ {343, -1, -1},
  2365. /*02361*/ {0, -1, -1},
  2366. /*02362*/ {345, -1, -1},
  2367. /*02363*/ {0, -1, -1},
  2368. /*02364*/ {346, -1, -1},
  2369. /*02365*/ {0, -1, -1},
  2370. /*02366*/ {347, -1, -1},
  2371. /*02367*/ {0, -1, -1},
  2372. /*02368*/ {346, -1, -1},
  2373. /*02369*/ {0, -1, -1},
  2374. /*02370*/ {348, -1, -1},
  2375. /*02371*/ {0, -1, -1},
  2376. /*02372*/ {349, -1, -1},
  2377. /*02373*/ {0, -1, -1},
  2378. /*02374*/ {350, -1, -1},
  2379. /*02375*/ {0, -1, -1},
  2380. /*02376*/ {349, -1, -1},
  2381. /*02377*/ {0, -1, -1},
  2382. /*02378*/ {351, -1, -1},
  2383. /*02379*/ {0, -1, -1},
  2384. /*02380*/ {352, -1, -1},
  2385. /*02381*/ {0, -1, -1},
  2386. /*02382*/ {353, -1, -1},
  2387. /*02383*/ {0, -1, -1},
  2388. /*02384*/ {352, -1, -1},
  2389. /*02385*/ {0, -1, -1},
  2390. /*02386*/ {354, -1, -1},
  2391. /*02387*/ {0, -1, -1},
  2392. /*02388*/ {355, -1, -1},
  2393. /*02389*/ {0, -1, -1},
  2394. /*02390*/ {356, -1, -1},
  2395. /*02391*/ {0, -1, -1},
  2396. /*02392*/ {355, -1, -1},
  2397. /*02393*/ {0, -1, -1},
  2398. /*02394*/ {357, -1, -1},
  2399. /*02395*/ {0, -1, -1},
  2400. /*02396*/ {358, -1, -1},
  2401. /*02397*/ {0, -1, -1},
  2402. /*02398*/ {359, -1, -1},
  2403. /*02399*/ {0, -1, -1},
  2404. /*02400*/ {358, -1, -1},
  2405. /*02401*/ {0, -1, -1},
  2406. /*02402*/ {360, -1, -1},
  2407. /*02403*/ {0, -1, -1},
  2408. /*02404*/ {361, -1, -1},
  2409. /*02405*/ {0, -1, -1},
  2410. /*02406*/ {362, -1, -1},
  2411. /*02407*/ {0, -1, -1},
  2412. /*02408*/ {361, -1, -1},
  2413. /*02409*/ {0, -1, -1},
  2414. /*02410*/ {363, -1, -1},
  2415. /*02411*/ {0, -1, -1},
  2416. /*02412*/ {364, -1, -1},
  2417. /*02413*/ {0, -1, -1},
  2418. /*02414*/ {365, -1, -1},
  2419. /*02415*/ {0, -1, -1},
  2420. /*02416*/ {364, -1, -1},
  2421. /*02417*/ {0, -1, -1},
  2422. /*02418*/ {366, -1, -1},
  2423. /*02419*/ {0, -1, -1},
  2424. /*02420*/ {367, -1, -1},
  2425. /*02421*/ {0, -1, -1},
  2426. /*02422*/ {368, -1, -1},
  2427. /*02423*/ {0, -1, -1},
  2428. /*02424*/ {367, -1, -1},
  2429. /*02425*/ {0, -1, -1},
  2430. /*02426*/ {369, -1, -1},
  2431. /*02427*/ {0, -1, -1},
  2432. /*02428*/ {370, -1, -1},
  2433. /*02429*/ {0, -1, -1},
  2434. /*02430*/ {371, -1, -1},
  2435. /*02431*/ {0, -1, -1},
  2436. /*02432*/ {370, -1, -1},
  2437. /*02433*/ {0, -1, -1},
  2438. /*02434*/ {372, -1, -1},
  2439. /*02435*/ {0, -1, -1},
  2440. /*02436*/ {373, -1, -1},
  2441. /*02437*/ {0, -1, -1},
  2442. /*02438*/ {374, -1, -1},
  2443. /*02439*/ {0, -1, -1},
  2444. /*02440*/ {373, -1, -1},
  2445. /*02441*/ {0, -1, -1},
  2446. /*02442*/ {375, -1, -1},
  2447. /*02443*/ {0, -1, -1},
  2448. /*02444*/ {376, -1, -1},
  2449. /*02445*/ {0, -1, -1},
  2450. /*02446*/ {377, -1, -1},
  2451. /*02447*/ {0, -1, -1},
  2452. /*02448*/ {376, -1, -1},
  2453. /*02449*/ {0, -1, -1},
  2454. /*02450*/ {378, -1, -1},
  2455. /*02451*/ {0, -1, -1},
  2456. /*02452*/ {379, -1, -1},
  2457. /*02453*/ {0, -1, -1},
  2458. /*02454*/ {380, -1, -1},
  2459. /*02455*/ {0, -1, -1},
  2460. /*02456*/ {379, -1, -1},
  2461. /*02457*/ {0, -1, -1},
  2462. /*02458*/ {381, -1, -1},
  2463. /*02459*/ {0, -1, -1},
  2464. /*02460*/ {382, -1, -1},
  2465. /*02461*/ {0, -1, -1},
  2466. /*02462*/ {383, -1, -1},
  2467. /*02463*/ {0, -1, -1},
  2468. /*02464*/ {382, -1, -1},
  2469. /*02465*/ {0, -1, -1},
  2470. /*02466*/ {384, -1, -1},
  2471. /*02467*/ {0, -1, -1},
  2472. /*02468*/ {385, -1, -1},
  2473. /*02469*/ {0, -1, -1},
  2474. /*02470*/ {386, -1, -1},
  2475. /*02471*/ {0, -1, -1},
  2476. /*02472*/ {385, -1, -1},
  2477. /*02473*/ {0, -1, -1},
  2478. /*02474*/ {387, -1, -1},
  2479. /*02475*/ {0, -1, -1},
  2480. /*02476*/ {388, -1, -1},
  2481. /*02477*/ {0, -1, -1},
  2482. /*02478*/ {389, -1, -1},
  2483. /*02479*/ {0, -1, -1},
  2484. /*02480*/ {388, -1, -1},
  2485. /*02481*/ {0, -1, -1},
  2486. /*02482*/ {390, -1, -1},
  2487. /*02483*/ {0, -1, -1},
  2488. /*02484*/ {391, -1, -1},
  2489. /*02485*/ {0, -1, -1},
  2490. /*02486*/ {392, -1, -1},
  2491. /*02487*/ {0, -1, -1},
  2492. /*02488*/ {391, -1, -1},
  2493. /*02489*/ {0, -1, -1},
  2494. /*02490*/ {393, -1, -1},
  2495. /*02491*/ {0, -1, -1},
  2496. /*02492*/ {394, -1, -1},
  2497. /*02493*/ {0, -1, -1},
  2498. /*02494*/ {395, -1, -1},
  2499. /*02495*/ {0, -1, -1},
  2500. /*02496*/ {394, -1, -1},
  2501. /*02497*/ {0, -1, -1},
  2502. /*02498*/ {396, -1, -1},
  2503. /*02499*/ {0, -1, -1},
  2504. /*02500*/ {397, -1, -1},
  2505. /*02501*/ {0, -1, -1},
  2506. /*02502*/ {398, -1, -1},
  2507. /*02503*/ {0, -1, -1},
  2508. /*02504*/ {397, -1, -1},
  2509. /*02505*/ {0, -1, -1},
  2510. /*02506*/ {399, -1, -1},
  2511. /*02507*/ {0, -1, -1},
  2512. /*02508*/ {400, -1, -1},
  2513. /*02509*/ {0, -1, -1},
  2514. /*02510*/ {401, -1, -1},
  2515. /*02511*/ {0, -1, -1},
  2516. /*02512*/ {400, -1, -1},
  2517. /*02513*/ {0, -1, -1},
  2518. /*02514*/ {402, -1, -1},
  2519. /*02515*/ {0, -1, -1},
  2520. /*02516*/ {403, -1, -1},
  2521. /*02517*/ {0, -1, -1},
  2522. /*02518*/ {404, -1, -1},
  2523. /*02519*/ {0, -1, -1},
  2524. /*02520*/ {403, -1, -1},
  2525. /*02521*/ {0, -1, -1},
  2526. /*02522*/ {405, -1, -1},
  2527. /*02523*/ {0, -1, -1},
  2528. /*02524*/ {406, -1, -1},
  2529. /*02525*/ {0, -1, -1},
  2530. /*02526*/ {407, -1, -1},
  2531. /*02527*/ {0, -1, -1},
  2532. /*02528*/ {406, -1, -1},
  2533. /*02529*/ {0, -1, -1},
  2534. /*02530*/ {408, -1, -1},
  2535. /*02531*/ {0, -1, -1},
  2536. /*02532*/ {409, -1, -1},
  2537. /*02533*/ {0, -1, -1},
  2538. /*02534*/ {410, -1, -1},
  2539. /*02535*/ {0, -1, -1},
  2540. /*02536*/ {409, -1, -1},
  2541. /*02537*/ {0, -1, -1},
  2542. /*02538*/ {411, -1, -1},
  2543. /*02539*/ {0, -1, -1},
  2544. /*02540*/ {412, -1, -1},
  2545. /*02541*/ {0, -1, -1},
  2546. /*02542*/ {413, -1, -1},
  2547. /*02543*/ {0, -1, -1},
  2548. /*02544*/ {412, -1, -1},
  2549. /*02545*/ {0, -1, -1},
  2550. /*02546*/ {414, -1, -1},
  2551. /*02547*/ {0, -1, -1},
  2552. /*02548*/ {415, -1, -1},
  2553. /*02549*/ {0, -1, -1},
  2554. /*02550*/ {416, -1, -1},
  2555. /*02551*/ {0, -1, -1},
  2556. /*02552*/ {415, -1, -1},
  2557. /*02553*/ {0, -1, -1},
  2558. /*02554*/ {417, -1, -1},
  2559. /*02555*/ {0, -1, -1},
  2560. /*02556*/ {418, -1, -1},
  2561. /*02557*/ {0, -1, -1},
  2562. /*02558*/ {419, -1, -1},
  2563. /*02559*/ {0, -1, -1},
  2564. /*02560*/ {418, -1, -1},
  2565. /*02561*/ {0, -1, -1},
  2566. /*02562*/ {420, -1, -1},
  2567. /*02563*/ {0, -1, -1},
  2568. /*02564*/ {421, -1, -1},
  2569. /*02565*/ {0, -1, -1},
  2570. /*02566*/ {422, -1, -1},
  2571. /*02567*/ {0, -1, -1},
  2572. /*02568*/ {421, -1, -1},
  2573. /*02569*/ {0, -1, -1},
  2574. /*02570*/ {423, -1, -1},
  2575. /*02571*/ {0, -1, -1},
  2576. /*02572*/ {424, -1, -1},
  2577. /*02573*/ {0, -1, -1},
  2578. /*02574*/ {425, -1, -1},
  2579. /*02575*/ {0, -1, -1},
  2580. /*02576*/ {424, -1, -1},
  2581. /*02577*/ {0, -1, -1},
  2582. /*02578*/ {426, -1, -1},
  2583. /*02579*/ {0, -1, -1},
  2584. /*02580*/ {427, -1, -1},
  2585. /*02581*/ {0, -1, -1},
  2586. /*02582*/ {428, -1, -1},
  2587. /*02583*/ {0, -1, -1},
  2588. /*02584*/ {427, -1, -1},
  2589. /*02585*/ {0, -1, -1},
  2590. /*02586*/ {429, -1, -1},
  2591. /*02587*/ {0, -1, -1},
  2592. /*02588*/ {430, -1, -1},
  2593. /*02589*/ {0, -1, -1},
  2594. /*02590*/ {431, -1, -1},
  2595. /*02591*/ {0, -1, -1},
  2596. /*02592*/ {430, -1, -1},
  2597. /*02593*/ {0, -1, -1},
  2598. /*02594*/ {432, -1, -1},
  2599. /*02595*/ {0, -1, -1},
  2600. /*02596*/ {433, -1, -1},
  2601. /*02597*/ {0, -1, -1},
  2602. /*02598*/ {434, -1, -1},
  2603. /*02599*/ {0, -1, -1},
  2604. /*02600*/ {433, -1, -1},
  2605. /*02601*/ {0, -1, -1},
  2606. /*02602*/ {435, -1, -1},
  2607. /*02603*/ {0, -1, -1},
  2608. /*02604*/ {436, -1, -1},
  2609. /*02605*/ {0, -1, -1},
  2610. /*02606*/ {437, -1, -1},
  2611. /*02607*/ {0, -1, -1},
  2612. /*02608*/ {436, -1, -1},
  2613. /*02609*/ {0, -1, -1},
  2614. /*02610*/ {438, -1, -1},
  2615. /*02611*/ {0, -1, -1},
  2616. /*02612*/ {439, -1, -1},
  2617. /*02613*/ {0, -1, -1},
  2618. /*02614*/ {440, -1, -1},
  2619. /*02615*/ {0, -1, -1},
  2620. /*02616*/ {439, -1, -1},
  2621. /*02617*/ {0, -1, -1},
  2622. /*02618*/ {441, -1, -1},
  2623. /*02619*/ {0, -1, -1},
  2624. /*02620*/ {442, -1, -1},
  2625. /*02621*/ {0, -1, -1},
  2626. /*02622*/ {443, -1, -1},
  2627. /*02623*/ {0, -1, -1},
  2628. /*02624*/ {442, -1, -1},
  2629. /*02625*/ {0, -1, -1},
  2630. /*02626*/ {444, -1, -1},
  2631. /*02627*/ {0, -1, -1},
  2632. /*02628*/ {2644, 12, 1},
  2633. /*02629*/ {2646, 12, 1},
  2634. /*02630*/ {2648, 12, 1},
  2635. /*02631*/ {2650, 12, 1},
  2636. /*02632*/ {2652, 12, 1},
  2637. /*02633*/ {2654, 12, 1},
  2638. /*02634*/ {2656, 12, 1},
  2639. /*02635*/ {2658, 12, 1},
  2640. /*02636*/ {2660, 12, 1},
  2641. /*02637*/ {2662, 12, 1},
  2642. /*02638*/ {2664, 12, 1},
  2643. /*02639*/ {2666, 12, 1},
  2644. /*02640*/ {2668, 12, 1},
  2645. /*02641*/ {2670, 12, 1},
  2646. /*02642*/ {2672, 12, 1},
  2647. /*02643*/ {2674, 12, 1},
  2648. /*02644*/ {1374, -1, -1},
  2649. /*02645*/ {1390, -1, -1},
  2650. /*02646*/ {1382, -1, -1},
  2651. /*02647*/ {1398, -1, -1},
  2652. /*02648*/ {1375, -1, -1},
  2653. /*02649*/ {1391, -1, -1},
  2654. /*02650*/ {1383, -1, -1},
  2655. /*02651*/ {1399, -1, -1},
  2656. /*02652*/ {1376, -1, -1},
  2657. /*02653*/ {1392, -1, -1},
  2658. /*02654*/ {1384, -1, -1},
  2659. /*02655*/ {1400, -1, -1},
  2660. /*02656*/ {1377, -1, -1},
  2661. /*02657*/ {1393, -1, -1},
  2662. /*02658*/ {1385, -1, -1},
  2663. /*02659*/ {1401, -1, -1},
  2664. /*02660*/ {1378, -1, -1},
  2665. /*02661*/ {1394, -1, -1},
  2666. /*02662*/ {1386, -1, -1},
  2667. /*02663*/ {1402, -1, -1},
  2668. /*02664*/ {1379, -1, -1},
  2669. /*02665*/ {1395, -1, -1},
  2670. /*02666*/ {1387, -1, -1},
  2671. /*02667*/ {1403, -1, -1},
  2672. /*02668*/ {1380, -1, -1},
  2673. /*02669*/ {1396, -1, -1},
  2674. /*02670*/ {1388, -1, -1},
  2675. /*02671*/ {1404, -1, -1},
  2676. /*02672*/ {1381, -1, -1},
  2677. /*02673*/ {1397, -1, -1},
  2678. /*02674*/ {1389, -1, -1},
  2679. /*02675*/ {1405, -1, -1},
  2680. /*02676*/ {2684, 6, 3},
  2681. /*02677*/ {2704, 6, 3},
  2682. /*02678*/ {2724, 6, 3},
  2683. /*02679*/ {2744, 6, 3},
  2684. /*02680*/ {2764, 6, 3},
  2685. /*02681*/ {2784, 6, 3},
  2686. /*02682*/ {2804, 6, 3},
  2687. /*02683*/ {2824, 6, 3},
  2688. /*02684*/ {2692, 12, 1},
  2689. /*02685*/ {0, -1, -1},
  2690. /*02686*/ {2694, 12, 1},
  2691. /*02687*/ {2696, 12, 1},
  2692. /*02688*/ {0, -1, -1},
  2693. /*02689*/ {2698, 12, 1},
  2694. /*02690*/ {2700, 12, 1},
  2695. /*02691*/ {2702, 12, 1},
  2696. /*02692*/ {1120, -1, -1},
  2697. /*02693*/ {1121, -1, -1},
  2698. /*02694*/ {1136, -1, -1},
  2699. /*02695*/ {1137, -1, -1},
  2700. /*02696*/ {1152, -1, -1},
  2701. /*02697*/ {1153, -1, -1},
  2702. /*02698*/ {1168, -1, -1},
  2703. /*02699*/ {1169, -1, -1},
  2704. /*02700*/ {1184, -1, -1},
  2705. /*02701*/ {1185, -1, -1},
  2706. /*02702*/ {1200, -1, -1},
  2707. /*02703*/ {1201, -1, -1},
  2708. /*02704*/ {2712, 12, 1},
  2709. /*02705*/ {0, -1, -1},
  2710. /*02706*/ {2714, 12, 1},
  2711. /*02707*/ {2716, 12, 1},
  2712. /*02708*/ {0, -1, -1},
  2713. /*02709*/ {2718, 12, 1},
  2714. /*02710*/ {2720, 12, 1},
  2715. /*02711*/ {2722, 12, 1},
  2716. /*02712*/ {1122, -1, -1},
  2717. /*02713*/ {1123, -1, -1},
  2718. /*02714*/ {1138, -1, -1},
  2719. /*02715*/ {1139, -1, -1},
  2720. /*02716*/ {1154, -1, -1},
  2721. /*02717*/ {1155, -1, -1},
  2722. /*02718*/ {1170, -1, -1},
  2723. /*02719*/ {1171, -1, -1},
  2724. /*02720*/ {1186, -1, -1},
  2725. /*02721*/ {1187, -1, -1},
  2726. /*02722*/ {1202, -1, -1},
  2727. /*02723*/ {1203, -1, -1},
  2728. /*02724*/ {2732, 12, 1},
  2729. /*02725*/ {0, -1, -1},
  2730. /*02726*/ {2734, 12, 1},
  2731. /*02727*/ {2736, 12, 1},
  2732. /*02728*/ {0, -1, -1},
  2733. /*02729*/ {2738, 12, 1},
  2734. /*02730*/ {2740, 12, 1},
  2735. /*02731*/ {2742, 12, 1},
  2736. /*02732*/ {1124, -1, -1},
  2737. /*02733*/ {1125, -1, -1},
  2738. /*02734*/ {1140, -1, -1},
  2739. /*02735*/ {1141, -1, -1},
  2740. /*02736*/ {1156, -1, -1},
  2741. /*02737*/ {1157, -1, -1},
  2742. /*02738*/ {1172, -1, -1},
  2743. /*02739*/ {1173, -1, -1},
  2744. /*02740*/ {1188, -1, -1},
  2745. /*02741*/ {1189, -1, -1},
  2746. /*02742*/ {1204, -1, -1},
  2747. /*02743*/ {1205, -1, -1},
  2748. /*02744*/ {2752, 12, 1},
  2749. /*02745*/ {0, -1, -1},
  2750. /*02746*/ {2754, 12, 1},
  2751. /*02747*/ {2756, 12, 1},
  2752. /*02748*/ {0, -1, -1},
  2753. /*02749*/ {2758, 12, 1},
  2754. /*02750*/ {2760, 12, 1},
  2755. /*02751*/ {2762, 12, 1},
  2756. /*02752*/ {1126, -1, -1},
  2757. /*02753*/ {1127, -1, -1},
  2758. /*02754*/ {1142, -1, -1},
  2759. /*02755*/ {1143, -1, -1},
  2760. /*02756*/ {1158, -1, -1},
  2761. /*02757*/ {1159, -1, -1},
  2762. /*02758*/ {1174, -1, -1},
  2763. /*02759*/ {1175, -1, -1},
  2764. /*02760*/ {1190, -1, -1},
  2765. /*02761*/ {1191, -1, -1},
  2766. /*02762*/ {1206, -1, -1},
  2767. /*02763*/ {1207, -1, -1},
  2768. /*02764*/ {2772, 12, 1},
  2769. /*02765*/ {0, -1, -1},
  2770. /*02766*/ {2774, 12, 1},
  2771. /*02767*/ {2776, 12, 1},
  2772. /*02768*/ {0, -1, -1},
  2773. /*02769*/ {2778, 12, 1},
  2774. /*02770*/ {2780, 12, 1},
  2775. /*02771*/ {2782, 12, 1},
  2776. /*02772*/ {1128, -1, -1},
  2777. /*02773*/ {1129, -1, -1},
  2778. /*02774*/ {1144, -1, -1},
  2779. /*02775*/ {1145, -1, -1},
  2780. /*02776*/ {1160, -1, -1},
  2781. /*02777*/ {1161, -1, -1},
  2782. /*02778*/ {1176, -1, -1},
  2783. /*02779*/ {1177, -1, -1},
  2784. /*02780*/ {1192, -1, -1},
  2785. /*02781*/ {1193, -1, -1},
  2786. /*02782*/ {1208, -1, -1},
  2787. /*02783*/ {1209, -1, -1},
  2788. /*02784*/ {2792, 12, 1},
  2789. /*02785*/ {0, -1, -1},
  2790. /*02786*/ {2794, 12, 1},
  2791. /*02787*/ {2796, 12, 1},
  2792. /*02788*/ {0, -1, -1},
  2793. /*02789*/ {2798, 12, 1},
  2794. /*02790*/ {2800, 12, 1},
  2795. /*02791*/ {2802, 12, 1},
  2796. /*02792*/ {1130, -1, -1},
  2797. /*02793*/ {1131, -1, -1},
  2798. /*02794*/ {1146, -1, -1},
  2799. /*02795*/ {1147, -1, -1},
  2800. /*02796*/ {1162, -1, -1},
  2801. /*02797*/ {1163, -1, -1},
  2802. /*02798*/ {1178, -1, -1},
  2803. /*02799*/ {1179, -1, -1},
  2804. /*02800*/ {1194, -1, -1},
  2805. /*02801*/ {1195, -1, -1},
  2806. /*02802*/ {1210, -1, -1},
  2807. /*02803*/ {1211, -1, -1},
  2808. /*02804*/ {2812, 12, 1},
  2809. /*02805*/ {0, -1, -1},
  2810. /*02806*/ {2814, 12, 1},
  2811. /*02807*/ {2816, 12, 1},
  2812. /*02808*/ {0, -1, -1},
  2813. /*02809*/ {2818, 12, 1},
  2814. /*02810*/ {2820, 12, 1},
  2815. /*02811*/ {2822, 12, 1},
  2816. /*02812*/ {1132, -1, -1},
  2817. /*02813*/ {1133, -1, -1},
  2818. /*02814*/ {1148, -1, -1},
  2819. /*02815*/ {1149, -1, -1},
  2820. /*02816*/ {1164, -1, -1},
  2821. /*02817*/ {1165, -1, -1},
  2822. /*02818*/ {1180, -1, -1},
  2823. /*02819*/ {1181, -1, -1},
  2824. /*02820*/ {1196, -1, -1},
  2825. /*02821*/ {1197, -1, -1},
  2826. /*02822*/ {1212, -1, -1},
  2827. /*02823*/ {1213, -1, -1},
  2828. /*02824*/ {2832, 12, 1},
  2829. /*02825*/ {0, -1, -1},
  2830. /*02826*/ {2834, 12, 1},
  2831. /*02827*/ {2836, 12, 1},
  2832. /*02828*/ {0, -1, -1},
  2833. /*02829*/ {2838, 12, 1},
  2834. /*02830*/ {2840, 12, 1},
  2835. /*02831*/ {2842, 12, 1},
  2836. /*02832*/ {1134, -1, -1},
  2837. /*02833*/ {1135, -1, -1},
  2838. /*02834*/ {1150, -1, -1},
  2839. /*02835*/ {1151, -1, -1},
  2840. /*02836*/ {1166, -1, -1},
  2841. /*02837*/ {1167, -1, -1},
  2842. /*02838*/ {1182, -1, -1},
  2843. /*02839*/ {1183, -1, -1},
  2844. /*02840*/ {1198, -1, -1},
  2845. /*02841*/ {1199, -1, -1},
  2846. /*02842*/ {1214, -1, -1},
  2847. /*02843*/ {1215, -1, -1},
  2848. /*02844*/ {2852, 12, 2},
  2849. /*02845*/ {2864, 12, 2},
  2850. /*02846*/ {2876, 13, 1},
  2851. /*02847*/ {2878, 26, 1},
  2852. /*02848*/ {0, -1, -1},
  2853. /*02849*/ {0, -1, -1},
  2854. /*02850*/ {167, -1, -1},
  2855. /*02851*/ {172, -1, -1},
  2856. /*02852*/ {2856, 36, 1},
  2857. /*02853*/ {2858, 36, 1},
  2858. /*02854*/ {2860, 36, 1},
  2859. /*02855*/ {2862, 36, 1},
  2860. /*02856*/ {174, -1, -1},
  2861. /*02857*/ {176, -1, -1},
  2862. /*02858*/ {175, -1, -1},
  2863. /*02859*/ {177, -1, -1},
  2864. /*02860*/ {182, -1, -1},
  2865. /*02861*/ {184, -1, -1},
  2866. /*02862*/ {183, -1, -1},
  2867. /*02863*/ {185, -1, -1},
  2868. /*02864*/ {2868, 36, 1},
  2869. /*02865*/ {2870, 36, 1},
  2870. /*02866*/ {2872, 36, 1},
  2871. /*02867*/ {2874, 36, 1},
  2872. /*02868*/ {178, -1, -1},
  2873. /*02869*/ {180, -1, -1},
  2874. /*02870*/ {179, -1, -1},
  2875. /*02871*/ {181, -1, -1},
  2876. /*02872*/ {186, -1, -1},
  2877. /*02873*/ {188, -1, -1},
  2878. /*02874*/ {187, -1, -1},
  2879. /*02875*/ {189, -1, -1},
  2880. /*02876*/ {168, -1, -1},
  2881. /*02877*/ {169, -1, -1},
  2882. /*02878*/ {170, -1, -1},
  2883. /*02879*/ {171, -1, -1},
  2884. /*02880*/ {445, -1, -1},
  2885. /*02881*/ {446, -1, -1},
  2886. /*02882*/ {445, -1, -1},
  2887. /*02883*/ {447, -1, -1},
  2888. /*02884*/ {448, -1, -1},
  2889. /*02885*/ {449, -1, -1},
  2890. /*02886*/ {448, -1, -1},
  2891. /*02887*/ {450, -1, -1},
  2892. /*02888*/ {451, -1, -1},
  2893. /*02889*/ {452, -1, -1},
  2894. /*02890*/ {451, -1, -1},
  2895. /*02891*/ {453, -1, -1},
  2896. /*02892*/ {454, -1, -1},
  2897. /*02893*/ {455, -1, -1},
  2898. /*02894*/ {454, -1, -1},
  2899. /*02895*/ {456, -1, -1},
  2900. /*02896*/ {457, -1, -1},
  2901. /*02897*/ {458, -1, -1},
  2902. /*02898*/ {457, -1, -1},
  2903. /*02899*/ {459, -1, -1},
  2904. /*02900*/ {460, -1, -1},
  2905. /*02901*/ {461, -1, -1},
  2906. /*02902*/ {460, -1, -1},
  2907. /*02903*/ {462, -1, -1},
  2908. /*02904*/ {463, -1, -1},
  2909. /*02905*/ {464, -1, -1},
  2910. /*02906*/ {463, -1, -1},
  2911. /*02907*/ {465, -1, -1},
  2912. /*02908*/ {466, -1, -1},
  2913. /*02909*/ {467, -1, -1},
  2914. /*02910*/ {466, -1, -1},
  2915. /*02911*/ {468, -1, -1},
  2916. /*02912*/ {469, -1, -1},
  2917. /*02913*/ {470, -1, -1},
  2918. /*02914*/ {469, -1, -1},
  2919. /*02915*/ {471, -1, -1},
  2920. /*02916*/ {472, -1, -1},
  2921. /*02917*/ {473, -1, -1},
  2922. /*02918*/ {472, -1, -1},
  2923. /*02919*/ {474, -1, -1},
  2924. /*02920*/ {475, -1, -1},
  2925. /*02921*/ {476, -1, -1},
  2926. /*02922*/ {475, -1, -1},
  2927. /*02923*/ {477, -1, -1},
  2928. /*02924*/ {478, -1, -1},
  2929. /*02925*/ {479, -1, -1},
  2930. /*02926*/ {478, -1, -1},
  2931. /*02927*/ {480, -1, -1},
  2932. /*02928*/ {481, -1, -1},
  2933. /*02929*/ {482, -1, -1},
  2934. /*02930*/ {481, -1, -1},
  2935. /*02931*/ {483, -1, -1},
  2936. /*02932*/ {484, -1, -1},
  2937. /*02933*/ {485, -1, -1},
  2938. /*02934*/ {484, -1, -1},
  2939. /*02935*/ {486, -1, -1},
  2940. /*02936*/ {487, -1, -1},
  2941. /*02937*/ {488, -1, -1},
  2942. /*02938*/ {487, -1, -1},
  2943. /*02939*/ {489, -1, -1},
  2944. /*02940*/ {490, -1, -1},
  2945. /*02941*/ {491, -1, -1},
  2946. /*02942*/ {490, -1, -1},
  2947. /*02943*/ {492, -1, -1},
  2948. /*02944*/ {493, -1, -1},
  2949. /*02945*/ {494, -1, -1},
  2950. /*02946*/ {493, -1, -1},
  2951. /*02947*/ {495, -1, -1},
  2952. /*02948*/ {496, -1, -1},
  2953. /*02949*/ {497, -1, -1},
  2954. /*02950*/ {496, -1, -1},
  2955. /*02951*/ {498, -1, -1},
  2956. /*02952*/ {499, -1, -1},
  2957. /*02953*/ {500, -1, -1},
  2958. /*02954*/ {499, -1, -1},
  2959. /*02955*/ {501, -1, -1},
  2960. /*02956*/ {502, -1, -1},
  2961. /*02957*/ {503, -1, -1},
  2962. /*02958*/ {502, -1, -1},
  2963. /*02959*/ {504, -1, -1},
  2964. /*02960*/ {505, -1, -1},
  2965. /*02961*/ {506, -1, -1},
  2966. /*02962*/ {505, -1, -1},
  2967. /*02963*/ {507, -1, -1},
  2968. /*02964*/ {508, -1, -1},
  2969. /*02965*/ {509, -1, -1},
  2970. /*02966*/ {508, -1, -1},
  2971. /*02967*/ {510, -1, -1},
  2972. /*02968*/ {511, -1, -1},
  2973. /*02969*/ {512, -1, -1},
  2974. /*02970*/ {511, -1, -1},
  2975. /*02971*/ {513, -1, -1},
  2976. /*02972*/ {514, -1, -1},
  2977. /*02973*/ {515, -1, -1},
  2978. /*02974*/ {514, -1, -1},
  2979. /*02975*/ {516, -1, -1},
  2980. /*02976*/ {0, -1, -1},
  2981. /*02977*/ {0, -1, -1},
  2982. /*02978*/ {0, -1, -1},
  2983. /*02979*/ {0, -1, -1},
  2984. /*02980*/ {0, -1, -1},
  2985. /*02981*/ {0, -1, -1},
  2986. /*02982*/ {0, -1, -1},
  2987. /*02983*/ {0, -1, -1},
  2988. /*02984*/ {0, -1, -1},
  2989. /*02985*/ {0, -1, -1},
  2990. /*02986*/ {0, -1, -1},
  2991. /*02987*/ {0, -1, -1},
  2992. /*02988*/ {517, -1, -1},
  2993. /*02989*/ {518, -1, -1},
  2994. /*02990*/ {517, -1, -1},
  2995. /*02991*/ {519, -1, -1},
  2996. /*02992*/ {0, -1, -1},
  2997. /*02993*/ {0, -1, -1},
  2998. /*02994*/ {0, -1, -1},
  2999. /*02995*/ {0, -1, -1},
  3000. /*02996*/ {0, -1, -1},
  3001. /*02997*/ {0, -1, -1},
  3002. /*02998*/ {0, -1, -1},
  3003. /*02999*/ {0, -1, -1},
  3004. /*03000*/ {0, -1, -1},
  3005. /*03001*/ {0, -1, -1},
  3006. /*03002*/ {0, -1, -1},
  3007. /*03003*/ {0, -1, -1},
  3008. /*03004*/ {0, -1, -1},
  3009. /*03005*/ {0, -1, -1},
  3010. /*03006*/ {0, -1, -1},
  3011. /*03007*/ {0, -1, -1},
  3012. /*03008*/ {520, -1, -1},
  3013. /*03009*/ {521, -1, -1},
  3014. /*03010*/ {520, -1, -1},
  3015. /*03011*/ {522, -1, -1},
  3016. /*03012*/ {523, -1, -1},
  3017. /*03013*/ {524, -1, -1},
  3018. /*03014*/ {523, -1, -1},
  3019. /*03015*/ {525, -1, -1},
  3020. /*03016*/ {526, -1, -1},
  3021. /*03017*/ {527, -1, -1},
  3022. /*03018*/ {526, -1, -1},
  3023. /*03019*/ {528, -1, -1},
  3024. /*03020*/ {529, -1, -1},
  3025. /*03021*/ {530, -1, -1},
  3026. /*03022*/ {529, -1, -1},
  3027. /*03023*/ {531, -1, -1},
  3028. /*03024*/ {532, -1, -1},
  3029. /*03025*/ {533, -1, -1},
  3030. /*03026*/ {532, -1, -1},
  3031. /*03027*/ {534, -1, -1},
  3032. /*03028*/ {535, -1, -1},
  3033. /*03029*/ {536, -1, -1},
  3034. /*03030*/ {535, -1, -1},
  3035. /*03031*/ {537, -1, -1},
  3036. /*03032*/ {538, -1, -1},
  3037. /*03033*/ {539, -1, -1},
  3038. /*03034*/ {538, -1, -1},
  3039. /*03035*/ {540, -1, -1},
  3040. /*03036*/ {541, -1, -1},
  3041. /*03037*/ {542, -1, -1},
  3042. /*03038*/ {541, -1, -1},
  3043. /*03039*/ {543, -1, -1},
  3044. /*03040*/ {544, -1, -1},
  3045. /*03041*/ {545, -1, -1},
  3046. /*03042*/ {544, -1, -1},
  3047. /*03043*/ {546, -1, -1},
  3048. /*03044*/ {547, -1, -1},
  3049. /*03045*/ {548, -1, -1},
  3050. /*03046*/ {547, -1, -1},
  3051. /*03047*/ {549, -1, -1},
  3052. /*03048*/ {550, -1, -1},
  3053. /*03049*/ {551, -1, -1},
  3054. /*03050*/ {550, -1, -1},
  3055. /*03051*/ {552, -1, -1},
  3056. /*03052*/ {553, -1, -1},
  3057. /*03053*/ {554, -1, -1},
  3058. /*03054*/ {553, -1, -1},
  3059. /*03055*/ {555, -1, -1},
  3060. /*03056*/ {0, -1, -1},
  3061. /*03057*/ {0, -1, -1},
  3062. /*03058*/ {0, -1, -1},
  3063. /*03059*/ {0, -1, -1},
  3064. /*03060*/ {0, -1, -1},
  3065. /*03061*/ {0, -1, -1},
  3066. /*03062*/ {0, -1, -1},
  3067. /*03063*/ {0, -1, -1},
  3068. /*03064*/ {0, -1, -1},
  3069. /*03065*/ {0, -1, -1},
  3070. /*03066*/ {0, -1, -1},
  3071. /*03067*/ {0, -1, -1},
  3072. /*03068*/ {0, -1, -1},
  3073. /*03069*/ {0, -1, -1},
  3074. /*03070*/ {0, -1, -1},
  3075. /*03071*/ {0, -1, -1},
  3076. /*03072*/ {574, -1, -1},
  3077. /*03073*/ {574, -1, -1},
  3078. /*03074*/ {574, -1, -1},
  3079. /*03075*/ {575, -1, -1},
  3080. /*03076*/ {576, -1, -1},
  3081. /*03077*/ {576, -1, -1},
  3082. /*03078*/ {576, -1, -1},
  3083. /*03079*/ {577, -1, -1},
  3084. /*03080*/ {578, -1, -1},
  3085. /*03081*/ {578, -1, -1},
  3086. /*03082*/ {578, -1, -1},
  3087. /*03083*/ {579, -1, -1},
  3088. /*03084*/ {580, -1, -1},
  3089. /*03085*/ {580, -1, -1},
  3090. /*03086*/ {580, -1, -1},
  3091. /*03087*/ {581, -1, -1},
  3092. /*03088*/ {582, -1, -1},
  3093. /*03089*/ {582, -1, -1},
  3094. /*03090*/ {582, -1, -1},
  3095. /*03091*/ {583, -1, -1},
  3096. /*03092*/ {584, -1, -1},
  3097. /*03093*/ {584, -1, -1},
  3098. /*03094*/ {584, -1, -1},
  3099. /*03095*/ {585, -1, -1},
  3100. /*03096*/ {586, -1, -1},
  3101. /*03097*/ {586, -1, -1},
  3102. /*03098*/ {586, -1, -1},
  3103. /*03099*/ {587, -1, -1},
  3104. /*03100*/ {588, -1, -1},
  3105. /*03101*/ {588, -1, -1},
  3106. /*03102*/ {588, -1, -1},
  3107. /*03103*/ {589, -1, -1},
  3108. /*03104*/ {0, -1, -1},
  3109. /*03105*/ {0, -1, -1},
  3110. /*03106*/ {0, -1, -1},
  3111. /*03107*/ {0, -1, -1},
  3112. /*03108*/ {0, -1, -1},
  3113. /*03109*/ {0, -1, -1},
  3114. /*03110*/ {0, -1, -1},
  3115. /*03111*/ {0, -1, -1},
  3116. /*03112*/ {0, -1, -1},
  3117. /*03113*/ {0, -1, -1},
  3118. /*03114*/ {0, -1, -1},
  3119. /*03115*/ {0, -1, -1},
  3120. /*03116*/ {590, -1, -1},
  3121. /*03117*/ {590, -1, -1},
  3122. /*03118*/ {590, -1, -1},
  3123. /*03119*/ {591, -1, -1},
  3124. /*03120*/ {0, -1, -1},
  3125. /*03121*/ {0, -1, -1},
  3126. /*03122*/ {0, -1, -1},
  3127. /*03123*/ {0, -1, -1},
  3128. /*03124*/ {0, -1, -1},
  3129. /*03125*/ {0, -1, -1},
  3130. /*03126*/ {0, -1, -1},
  3131. /*03127*/ {0, -1, -1},
  3132. /*03128*/ {0, -1, -1},
  3133. /*03129*/ {0, -1, -1},
  3134. /*03130*/ {0, -1, -1},
  3135. /*03131*/ {0, -1, -1},
  3136. /*03132*/ {0, -1, -1},
  3137. /*03133*/ {0, -1, -1},
  3138. /*03134*/ {0, -1, -1},
  3139. /*03135*/ {0, -1, -1},
  3140. /*03136*/ {1406, -1, -1},
  3141. /*03137*/ {1407, -1, -1},
  3142. /*03138*/ {3146, 12, 1},
  3143. /*03139*/ {3148, 12, 1},
  3144. /*03140*/ {3150, 12, 1},
  3145. /*03141*/ {3152, 12, 1},
  3146. /*03142*/ {3154, 12, 1},
  3147. /*03143*/ {3156, 12, 1},
  3148. /*03144*/ {3158, 12, 1},
  3149. /*03145*/ {3160, 12, 1},
  3150. /*03146*/ {1216, -1, -1},
  3151. /*03147*/ {1217, -1, -1},
  3152. /*03148*/ {1218, -1, -1},
  3153. /*03149*/ {1219, -1, -1},
  3154. /*03150*/ {1220, -1, -1},
  3155. /*03151*/ {1221, -1, -1},
  3156. /*03152*/ {1222, -1, -1},
  3157. /*03153*/ {1223, -1, -1},
  3158. /*03154*/ {1224, -1, -1},
  3159. /*03155*/ {1225, -1, -1},
  3160. /*03156*/ {1226, -1, -1},
  3161. /*03157*/ {1227, -1, -1},
  3162. /*03158*/ {1228, -1, -1},
  3163. /*03159*/ {1229, -1, -1},
  3164. /*03160*/ {1230, -1, -1},
  3165. /*03161*/ {1231, -1, -1},
  3166. /*03162*/ {3290, 27, 3},
  3167. /*03163*/ {3298, 27, 3},
  3168. /*03164*/ {3306, 27, 3},
  3169. /*03165*/ {3314, 27, 3},
  3170. /*03166*/ {3322, 27, 3},
  3171. /*03167*/ {3330, 27, 3},
  3172. /*03168*/ {3338, 27, 3},
  3173. /*03169*/ {3346, 27, 3},
  3174. /*03170*/ {3354, 27, 3},
  3175. /*03171*/ {3362, 27, 3},
  3176. /*03172*/ {3370, 27, 3},
  3177. /*03173*/ {3378, 27, 3},
  3178. /*03174*/ {3386, 27, 3},
  3179. /*03175*/ {3394, 27, 3},
  3180. /*03176*/ {3402, 27, 3},
  3181. /*03177*/ {3410, 27, 3},
  3182. /*03178*/ {0, -1, -1},
  3183. /*03179*/ {0, -1, -1},
  3184. /*03180*/ {0, -1, -1},
  3185. /*03181*/ {0, -1, -1},
  3186. /*03182*/ {0, -1, -1},
  3187. /*03183*/ {0, -1, -1},
  3188. /*03184*/ {0, -1, -1},
  3189. /*03185*/ {0, -1, -1},
  3190. /*03186*/ {0, -1, -1},
  3191. /*03187*/ {0, -1, -1},
  3192. /*03188*/ {0, -1, -1},
  3193. /*03189*/ {3418, 27, 3},
  3194. /*03190*/ {3426, 27, 1},
  3195. /*03191*/ {3428, 27, 1},
  3196. /*03192*/ {3430, 27, 1},
  3197. /*03193*/ {3432, 27, 1},
  3198. /*03194*/ {3434, 27, 3},
  3199. /*03195*/ {3442, 27, 3},
  3200. /*03196*/ {3450, 27, 3},
  3201. /*03197*/ {3458, 27, 3},
  3202. /*03198*/ {3466, 27, 3},
  3203. /*03199*/ {3474, 27, 3},
  3204. /*03200*/ {3482, 27, 3},
  3205. /*03201*/ {3490, 27, 3},
  3206. /*03202*/ {0, -1, -1},
  3207. /*03203*/ {0, -1, -1},
  3208. /*03204*/ {0, -1, -1},
  3209. /*03205*/ {0, -1, -1},
  3210. /*03206*/ {3498, 27, 3},
  3211. /*03207*/ {3506, 27, 3},
  3212. /*03208*/ {3514, 27, 3},
  3213. /*03209*/ {3522, 27, 3},
  3214. /*03210*/ {3530, 27, 3},
  3215. /*03211*/ {3538, 27, 3},
  3216. /*03212*/ {3546, 27, 3},
  3217. /*03213*/ {3554, 27, 3},
  3218. /*03214*/ {0, -1, -1},
  3219. /*03215*/ {0, -1, -1},
  3220. /*03216*/ {0, -1, -1},
  3221. /*03217*/ {0, -1, -1},
  3222. /*03218*/ {0, -1, -1},
  3223. /*03219*/ {0, -1, -1},
  3224. /*03220*/ {0, -1, -1},
  3225. /*03221*/ {3562, 27, 3},
  3226. /*03222*/ {0, -1, -1},
  3227. /*03223*/ {0, -1, -1},
  3228. /*03224*/ {0, -1, -1},
  3229. /*03225*/ {0, -1, -1},
  3230. /*03226*/ {3570, 27, 3},
  3231. /*03227*/ {3578, 27, 3},
  3232. /*03228*/ {3586, 27, 3},
  3233. /*03229*/ {3594, 27, 3},
  3234. /*03230*/ {3602, 27, 3},
  3235. /*03231*/ {3610, 27, 3},
  3236. /*03232*/ {3618, 27, 3},
  3237. /*03233*/ {3626, 27, 3},
  3238. /*03234*/ {3634, 27, 3},
  3239. /*03235*/ {3642, 27, 3},
  3240. /*03236*/ {3650, 27, 3},
  3241. /*03237*/ {3658, 27, 3},
  3242. /*03238*/ {3666, 27, 3},
  3243. /*03239*/ {3674, 27, 3},
  3244. /*03240*/ {3682, 27, 3},
  3245. /*03241*/ {3690, 27, 3},
  3246. /*03242*/ {0, -1, -1},
  3247. /*03243*/ {0, -1, -1},
  3248. /*03244*/ {0, -1, -1},
  3249. /*03245*/ {0, -1, -1},
  3250. /*03246*/ {0, -1, -1},
  3251. /*03247*/ {0, -1, -1},
  3252. /*03248*/ {0, -1, -1},
  3253. /*03249*/ {0, -1, -1},
  3254. /*03250*/ {0, -1, -1},
  3255. /*03251*/ {0, -1, -1},
  3256. /*03252*/ {0, -1, -1},
  3257. /*03253*/ {3698, 27, 3},
  3258. /*03254*/ {0, -1, -1},
  3259. /*03255*/ {0, -1, -1},
  3260. /*03256*/ {0, -1, -1},
  3261. /*03257*/ {0, -1, -1},
  3262. /*03258*/ {3706, 27, 3},
  3263. /*03259*/ {3714, 27, 3},
  3264. /*03260*/ {3722, 27, 3},
  3265. /*03261*/ {3730, 27, 3},
  3266. /*03262*/ {3738, 27, 3},
  3267. /*03263*/ {3746, 27, 3},
  3268. /*03264*/ {3754, 27, 3},
  3269. /*03265*/ {3762, 27, 3},
  3270. /*03266*/ {0, -1, -1},
  3271. /*03267*/ {0, -1, -1},
  3272. /*03268*/ {0, -1, -1},
  3273. /*03269*/ {0, -1, -1},
  3274. /*03270*/ {3770, 27, 3},
  3275. /*03271*/ {3778, 27, 3},
  3276. /*03272*/ {3786, 27, 3},
  3277. /*03273*/ {3794, 27, 3},
  3278. /*03274*/ {0, -1, -1},
  3279. /*03275*/ {0, -1, -1},
  3280. /*03276*/ {0, -1, -1},
  3281. /*03277*/ {0, -1, -1},
  3282. /*03278*/ {0, -1, -1},
  3283. /*03279*/ {0, -1, -1},
  3284. /*03280*/ {0, -1, -1},
  3285. /*03281*/ {0, -1, -1},
  3286. /*03282*/ {0, -1, -1},
  3287. /*03283*/ {0, -1, -1},
  3288. /*03284*/ {0, -1, -1},
  3289. /*03285*/ {0, -1, -1},
  3290. /*03286*/ {0, -1, -1},
  3291. /*03287*/ {0, -1, -1},
  3292. /*03288*/ {0, -1, -1},
  3293. /*03289*/ {0, -1, -1},
  3294. /*03290*/ {601, -1, -1},
  3295. /*03291*/ {0, -1, -1},
  3296. /*03292*/ {602, -1, -1},
  3297. /*03293*/ {0, -1, -1},
  3298. /*03294*/ {601, -1, -1},
  3299. /*03295*/ {0, -1, -1},
  3300. /*03296*/ {603, -1, -1},
  3301. /*03297*/ {0, -1, -1},
  3302. /*03298*/ {598, -1, -1},
  3303. /*03299*/ {843, -1, -1},
  3304. /*03300*/ {599, -1, -1},
  3305. /*03301*/ {844, -1, -1},
  3306. /*03302*/ {598, -1, -1},
  3307. /*03303*/ {843, -1, -1},
  3308. /*03304*/ {600, -1, -1},
  3309. /*03305*/ {845, -1, -1},
  3310. /*03306*/ {592, -1, -1},
  3311. /*03307*/ {837, -1, -1},
  3312. /*03308*/ {593, -1, -1},
  3313. /*03309*/ {838, -1, -1},
  3314. /*03310*/ {592, -1, -1},
  3315. /*03311*/ {837, -1, -1},
  3316. /*03312*/ {594, -1, -1},
  3317. /*03313*/ {839, -1, -1},
  3318. /*03314*/ {595, -1, -1},
  3319. /*03315*/ {840, -1, -1},
  3320. /*03316*/ {596, -1, -1},
  3321. /*03317*/ {841, -1, -1},
  3322. /*03318*/ {595, -1, -1},
  3323. /*03319*/ {840, -1, -1},
  3324. /*03320*/ {597, -1, -1},
  3325. /*03321*/ {842, -1, -1},
  3326. /*03322*/ {613, -1, -1},
  3327. /*03323*/ {0, -1, -1},
  3328. /*03324*/ {614, -1, -1},
  3329. /*03325*/ {0, -1, -1},
  3330. /*03326*/ {613, -1, -1},
  3331. /*03327*/ {0, -1, -1},
  3332. /*03328*/ {615, -1, -1},
  3333. /*03329*/ {0, -1, -1},
  3334. /*03330*/ {610, -1, -1},
  3335. /*03331*/ {852, -1, -1},
  3336. /*03332*/ {611, -1, -1},
  3337. /*03333*/ {853, -1, -1},
  3338. /*03334*/ {610, -1, -1},
  3339. /*03335*/ {852, -1, -1},
  3340. /*03336*/ {612, -1, -1},
  3341. /*03337*/ {854, -1, -1},
  3342. /*03338*/ {604, -1, -1},
  3343. /*03339*/ {846, -1, -1},
  3344. /*03340*/ {605, -1, -1},
  3345. /*03341*/ {847, -1, -1},
  3346. /*03342*/ {604, -1, -1},
  3347. /*03343*/ {846, -1, -1},
  3348. /*03344*/ {606, -1, -1},
  3349. /*03345*/ {848, -1, -1},
  3350. /*03346*/ {607, -1, -1},
  3351. /*03347*/ {849, -1, -1},
  3352. /*03348*/ {608, -1, -1},
  3353. /*03349*/ {850, -1, -1},
  3354. /*03350*/ {607, -1, -1},
  3355. /*03351*/ {849, -1, -1},
  3356. /*03352*/ {609, -1, -1},
  3357. /*03353*/ {851, -1, -1},
  3358. /*03354*/ {625, -1, -1},
  3359. /*03355*/ {0, -1, -1},
  3360. /*03356*/ {626, -1, -1},
  3361. /*03357*/ {0, -1, -1},
  3362. /*03358*/ {625, -1, -1},
  3363. /*03359*/ {0, -1, -1},
  3364. /*03360*/ {627, -1, -1},
  3365. /*03361*/ {0, -1, -1},
  3366. /*03362*/ {622, -1, -1},
  3367. /*03363*/ {861, -1, -1},
  3368. /*03364*/ {623, -1, -1},
  3369. /*03365*/ {862, -1, -1},
  3370. /*03366*/ {622, -1, -1},
  3371. /*03367*/ {861, -1, -1},
  3372. /*03368*/ {624, -1, -1},
  3373. /*03369*/ {863, -1, -1},
  3374. /*03370*/ {616, -1, -1},
  3375. /*03371*/ {855, -1, -1},
  3376. /*03372*/ {617, -1, -1},
  3377. /*03373*/ {856, -1, -1},
  3378. /*03374*/ {616, -1, -1},
  3379. /*03375*/ {855, -1, -1},
  3380. /*03376*/ {618, -1, -1},
  3381. /*03377*/ {857, -1, -1},
  3382. /*03378*/ {619, -1, -1},
  3383. /*03379*/ {858, -1, -1},
  3384. /*03380*/ {620, -1, -1},
  3385. /*03381*/ {859, -1, -1},
  3386. /*03382*/ {619, -1, -1},
  3387. /*03383*/ {858, -1, -1},
  3388. /*03384*/ {621, -1, -1},
  3389. /*03385*/ {860, -1, -1},
  3390. /*03386*/ {637, -1, -1},
  3391. /*03387*/ {0, -1, -1},
  3392. /*03388*/ {638, -1, -1},
  3393. /*03389*/ {0, -1, -1},
  3394. /*03390*/ {637, -1, -1},
  3395. /*03391*/ {0, -1, -1},
  3396. /*03392*/ {639, -1, -1},
  3397. /*03393*/ {0, -1, -1},
  3398. /*03394*/ {634, -1, -1},
  3399. /*03395*/ {870, -1, -1},
  3400. /*03396*/ {635, -1, -1},
  3401. /*03397*/ {871, -1, -1},
  3402. /*03398*/ {634, -1, -1},
  3403. /*03399*/ {870, -1, -1},
  3404. /*03400*/ {636, -1, -1},
  3405. /*03401*/ {872, -1, -1},
  3406. /*03402*/ {628, -1, -1},
  3407. /*03403*/ {864, -1, -1},
  3408. /*03404*/ {629, -1, -1},
  3409. /*03405*/ {865, -1, -1},
  3410. /*03406*/ {628, -1, -1},
  3411. /*03407*/ {864, -1, -1},
  3412. /*03408*/ {630, -1, -1},
  3413. /*03409*/ {866, -1, -1},
  3414. /*03410*/ {631, -1, -1},
  3415. /*03411*/ {867, -1, -1},
  3416. /*03412*/ {632, -1, -1},
  3417. /*03413*/ {868, -1, -1},
  3418. /*03414*/ {631, -1, -1},
  3419. /*03415*/ {867, -1, -1},
  3420. /*03416*/ {633, -1, -1},
  3421. /*03417*/ {869, -1, -1},
  3422. /*03418*/ {640, -1, -1},
  3423. /*03419*/ {0, -1, -1},
  3424. /*03420*/ {641, -1, -1},
  3425. /*03421*/ {0, -1, -1},
  3426. /*03422*/ {640, -1, -1},
  3427. /*03423*/ {0, -1, -1},
  3428. /*03424*/ {642, -1, -1},
  3429. /*03425*/ {0, -1, -1},
  3430. /*03426*/ {0, -1, -1},
  3431. /*03427*/ {1041, -1, -1},
  3432. /*03428*/ {0, -1, -1},
  3433. /*03429*/ {1042, -1, -1},
  3434. /*03430*/ {0, -1, -1},
  3435. /*03431*/ {1043, -1, -1},
  3436. /*03432*/ {0, -1, -1},
  3437. /*03433*/ {1044, -1, -1},
  3438. /*03434*/ {652, -1, -1},
  3439. /*03435*/ {0, -1, -1},
  3440. /*03436*/ {653, -1, -1},
  3441. /*03437*/ {0, -1, -1},
  3442. /*03438*/ {652, -1, -1},
  3443. /*03439*/ {0, -1, -1},
  3444. /*03440*/ {654, -1, -1},
  3445. /*03441*/ {0, -1, -1},
  3446. /*03442*/ {649, -1, -1},
  3447. /*03443*/ {879, -1, -1},
  3448. /*03444*/ {650, -1, -1},
  3449. /*03445*/ {880, -1, -1},
  3450. /*03446*/ {649, -1, -1},
  3451. /*03447*/ {879, -1, -1},
  3452. /*03448*/ {651, -1, -1},
  3453. /*03449*/ {881, -1, -1},
  3454. /*03450*/ {643, -1, -1},
  3455. /*03451*/ {873, -1, -1},
  3456. /*03452*/ {644, -1, -1},
  3457. /*03453*/ {874, -1, -1},
  3458. /*03454*/ {643, -1, -1},
  3459. /*03455*/ {873, -1, -1},
  3460. /*03456*/ {645, -1, -1},
  3461. /*03457*/ {875, -1, -1},
  3462. /*03458*/ {646, -1, -1},
  3463. /*03459*/ {876, -1, -1},
  3464. /*03460*/ {647, -1, -1},
  3465. /*03461*/ {877, -1, -1},
  3466. /*03462*/ {646, -1, -1},
  3467. /*03463*/ {876, -1, -1},
  3468. /*03464*/ {648, -1, -1},
  3469. /*03465*/ {878, -1, -1},
  3470. /*03466*/ {664, -1, -1},
  3471. /*03467*/ {0, -1, -1},
  3472. /*03468*/ {665, -1, -1},
  3473. /*03469*/ {0, -1, -1},
  3474. /*03470*/ {664, -1, -1},
  3475. /*03471*/ {0, -1, -1},
  3476. /*03472*/ {666, -1, -1},
  3477. /*03473*/ {0, -1, -1},
  3478. /*03474*/ {661, -1, -1},
  3479. /*03475*/ {888, -1, -1},
  3480. /*03476*/ {662, -1, -1},
  3481. /*03477*/ {889, -1, -1},
  3482. /*03478*/ {661, -1, -1},
  3483. /*03479*/ {888, -1, -1},
  3484. /*03480*/ {663, -1, -1},
  3485. /*03481*/ {890, -1, -1},
  3486. /*03482*/ {655, -1, -1},
  3487. /*03483*/ {882, -1, -1},
  3488. /*03484*/ {656, -1, -1},
  3489. /*03485*/ {883, -1, -1},
  3490. /*03486*/ {655, -1, -1},
  3491. /*03487*/ {882, -1, -1},
  3492. /*03488*/ {657, -1, -1},
  3493. /*03489*/ {884, -1, -1},
  3494. /*03490*/ {658, -1, -1},
  3495. /*03491*/ {885, -1, -1},
  3496. /*03492*/ {659, -1, -1},
  3497. /*03493*/ {886, -1, -1},
  3498. /*03494*/ {658, -1, -1},
  3499. /*03495*/ {885, -1, -1},
  3500. /*03496*/ {660, -1, -1},
  3501. /*03497*/ {887, -1, -1},
  3502. /*03498*/ {945, -1, -1},
  3503. /*03499*/ {0, -1, -1},
  3504. /*03500*/ {946, -1, -1},
  3505. /*03501*/ {0, -1, -1},
  3506. /*03502*/ {947, -1, -1},
  3507. /*03503*/ {0, -1, -1},
  3508. /*03504*/ {948, -1, -1},
  3509. /*03505*/ {0, -1, -1},
  3510. /*03506*/ {949, -1, -1},
  3511. /*03507*/ {0, -1, -1},
  3512. /*03508*/ {950, -1, -1},
  3513. /*03509*/ {0, -1, -1},
  3514. /*03510*/ {951, -1, -1},
  3515. /*03511*/ {0, -1, -1},
  3516. /*03512*/ {952, -1, -1},
  3517. /*03513*/ {0, -1, -1},
  3518. /*03514*/ {953, -1, -1},
  3519. /*03515*/ {0, -1, -1},
  3520. /*03516*/ {954, -1, -1},
  3521. /*03517*/ {0, -1, -1},
  3522. /*03518*/ {955, -1, -1},
  3523. /*03519*/ {0, -1, -1},
  3524. /*03520*/ {956, -1, -1},
  3525. /*03521*/ {0, -1, -1},
  3526. /*03522*/ {957, -1, -1},
  3527. /*03523*/ {0, -1, -1},
  3528. /*03524*/ {958, -1, -1},
  3529. /*03525*/ {0, -1, -1},
  3530. /*03526*/ {959, -1, -1},
  3531. /*03527*/ {0, -1, -1},
  3532. /*03528*/ {960, -1, -1},
  3533. /*03529*/ {0, -1, -1},
  3534. /*03530*/ {823, -1, -1},
  3535. /*03531*/ {0, -1, -1},
  3536. /*03532*/ {823, -1, -1},
  3537. /*03533*/ {0, -1, -1},
  3538. /*03534*/ {823, -1, -1},
  3539. /*03535*/ {0, -1, -1},
  3540. /*03536*/ {824, -1, -1},
  3541. /*03537*/ {0, -1, -1},
  3542. /*03538*/ {821, -1, -1},
  3543. /*03539*/ {0, -1, -1},
  3544. /*03540*/ {821, -1, -1},
  3545. /*03541*/ {0, -1, -1},
  3546. /*03542*/ {821, -1, -1},
  3547. /*03543*/ {0, -1, -1},
  3548. /*03544*/ {822, -1, -1},
  3549. /*03545*/ {0, -1, -1},
  3550. /*03546*/ {817, -1, -1},
  3551. /*03547*/ {0, -1, -1},
  3552. /*03548*/ {817, -1, -1},
  3553. /*03549*/ {0, -1, -1},
  3554. /*03550*/ {817, -1, -1},
  3555. /*03551*/ {0, -1, -1},
  3556. /*03552*/ {818, -1, -1},
  3557. /*03553*/ {0, -1, -1},
  3558. /*03554*/ {819, -1, -1},
  3559. /*03555*/ {0, -1, -1},
  3560. /*03556*/ {819, -1, -1},
  3561. /*03557*/ {0, -1, -1},
  3562. /*03558*/ {819, -1, -1},
  3563. /*03559*/ {0, -1, -1},
  3564. /*03560*/ {820, -1, -1},
  3565. /*03561*/ {0, -1, -1},
  3566. /*03562*/ {825, -1, -1},
  3567. /*03563*/ {0, -1, -1},
  3568. /*03564*/ {825, -1, -1},
  3569. /*03565*/ {0, -1, -1},
  3570. /*03566*/ {825, -1, -1},
  3571. /*03567*/ {0, -1, -1},
  3572. /*03568*/ {826, -1, -1},
  3573. /*03569*/ {0, -1, -1},
  3574. /*03570*/ {676, -1, -1},
  3575. /*03571*/ {0, -1, -1},
  3576. /*03572*/ {677, -1, -1},
  3577. /*03573*/ {0, -1, -1},
  3578. /*03574*/ {676, -1, -1},
  3579. /*03575*/ {0, -1, -1},
  3580. /*03576*/ {678, -1, -1},
  3581. /*03577*/ {0, -1, -1},
  3582. /*03578*/ {673, -1, -1},
  3583. /*03579*/ {897, -1, -1},
  3584. /*03580*/ {674, -1, -1},
  3585. /*03581*/ {898, -1, -1},
  3586. /*03582*/ {673, -1, -1},
  3587. /*03583*/ {897, -1, -1},
  3588. /*03584*/ {675, -1, -1},
  3589. /*03585*/ {899, -1, -1},
  3590. /*03586*/ {667, -1, -1},
  3591. /*03587*/ {891, -1, -1},
  3592. /*03588*/ {668, -1, -1},
  3593. /*03589*/ {892, -1, -1},
  3594. /*03590*/ {667, -1, -1},
  3595. /*03591*/ {891, -1, -1},
  3596. /*03592*/ {669, -1, -1},
  3597. /*03593*/ {893, -1, -1},
  3598. /*03594*/ {670, -1, -1},
  3599. /*03595*/ {894, -1, -1},
  3600. /*03596*/ {671, -1, -1},
  3601. /*03597*/ {895, -1, -1},
  3602. /*03598*/ {670, -1, -1},
  3603. /*03599*/ {894, -1, -1},
  3604. /*03600*/ {672, -1, -1},
  3605. /*03601*/ {896, -1, -1},
  3606. /*03602*/ {688, -1, -1},
  3607. /*03603*/ {0, -1, -1},
  3608. /*03604*/ {689, -1, -1},
  3609. /*03605*/ {0, -1, -1},
  3610. /*03606*/ {688, -1, -1},
  3611. /*03607*/ {0, -1, -1},
  3612. /*03608*/ {690, -1, -1},
  3613. /*03609*/ {0, -1, -1},
  3614. /*03610*/ {685, -1, -1},
  3615. /*03611*/ {906, -1, -1},
  3616. /*03612*/ {686, -1, -1},
  3617. /*03613*/ {907, -1, -1},
  3618. /*03614*/ {685, -1, -1},
  3619. /*03615*/ {906, -1, -1},
  3620. /*03616*/ {687, -1, -1},
  3621. /*03617*/ {908, -1, -1},
  3622. /*03618*/ {679, -1, -1},
  3623. /*03619*/ {900, -1, -1},
  3624. /*03620*/ {680, -1, -1},
  3625. /*03621*/ {901, -1, -1},
  3626. /*03622*/ {679, -1, -1},
  3627. /*03623*/ {900, -1, -1},
  3628. /*03624*/ {681, -1, -1},
  3629. /*03625*/ {902, -1, -1},
  3630. /*03626*/ {682, -1, -1},
  3631. /*03627*/ {903, -1, -1},
  3632. /*03628*/ {683, -1, -1},
  3633. /*03629*/ {904, -1, -1},
  3634. /*03630*/ {682, -1, -1},
  3635. /*03631*/ {903, -1, -1},
  3636. /*03632*/ {684, -1, -1},
  3637. /*03633*/ {905, -1, -1},
  3638. /*03634*/ {700, -1, -1},
  3639. /*03635*/ {0, -1, -1},
  3640. /*03636*/ {701, -1, -1},
  3641. /*03637*/ {0, -1, -1},
  3642. /*03638*/ {700, -1, -1},
  3643. /*03639*/ {0, -1, -1},
  3644. /*03640*/ {702, -1, -1},
  3645. /*03641*/ {0, -1, -1},
  3646. /*03642*/ {697, -1, -1},
  3647. /*03643*/ {915, -1, -1},
  3648. /*03644*/ {698, -1, -1},
  3649. /*03645*/ {916, -1, -1},
  3650. /*03646*/ {697, -1, -1},
  3651. /*03647*/ {915, -1, -1},
  3652. /*03648*/ {699, -1, -1},
  3653. /*03649*/ {917, -1, -1},
  3654. /*03650*/ {691, -1, -1},
  3655. /*03651*/ {909, -1, -1},
  3656. /*03652*/ {692, -1, -1},
  3657. /*03653*/ {910, -1, -1},
  3658. /*03654*/ {691, -1, -1},
  3659. /*03655*/ {909, -1, -1},
  3660. /*03656*/ {693, -1, -1},
  3661. /*03657*/ {911, -1, -1},
  3662. /*03658*/ {694, -1, -1},
  3663. /*03659*/ {912, -1, -1},
  3664. /*03660*/ {695, -1, -1},
  3665. /*03661*/ {913, -1, -1},
  3666. /*03662*/ {694, -1, -1},
  3667. /*03663*/ {912, -1, -1},
  3668. /*03664*/ {696, -1, -1},
  3669. /*03665*/ {914, -1, -1},
  3670. /*03666*/ {712, -1, -1},
  3671. /*03667*/ {0, -1, -1},
  3672. /*03668*/ {713, -1, -1},
  3673. /*03669*/ {0, -1, -1},
  3674. /*03670*/ {712, -1, -1},
  3675. /*03671*/ {0, -1, -1},
  3676. /*03672*/ {714, -1, -1},
  3677. /*03673*/ {0, -1, -1},
  3678. /*03674*/ {709, -1, -1},
  3679. /*03675*/ {924, -1, -1},
  3680. /*03676*/ {710, -1, -1},
  3681. /*03677*/ {925, -1, -1},
  3682. /*03678*/ {709, -1, -1},
  3683. /*03679*/ {924, -1, -1},
  3684. /*03680*/ {711, -1, -1},
  3685. /*03681*/ {926, -1, -1},
  3686. /*03682*/ {703, -1, -1},
  3687. /*03683*/ {918, -1, -1},
  3688. /*03684*/ {704, -1, -1},
  3689. /*03685*/ {919, -1, -1},
  3690. /*03686*/ {703, -1, -1},
  3691. /*03687*/ {918, -1, -1},
  3692. /*03688*/ {705, -1, -1},
  3693. /*03689*/ {920, -1, -1},
  3694. /*03690*/ {706, -1, -1},
  3695. /*03691*/ {921, -1, -1},
  3696. /*03692*/ {707, -1, -1},
  3697. /*03693*/ {922, -1, -1},
  3698. /*03694*/ {706, -1, -1},
  3699. /*03695*/ {921, -1, -1},
  3700. /*03696*/ {708, -1, -1},
  3701. /*03697*/ {923, -1, -1},
  3702. /*03698*/ {715, -1, -1},
  3703. /*03699*/ {0, -1, -1},
  3704. /*03700*/ {716, -1, -1},
  3705. /*03701*/ {0, -1, -1},
  3706. /*03702*/ {715, -1, -1},
  3707. /*03703*/ {0, -1, -1},
  3708. /*03704*/ {717, -1, -1},
  3709. /*03705*/ {0, -1, -1},
  3710. /*03706*/ {727, -1, -1},
  3711. /*03707*/ {0, -1, -1},
  3712. /*03708*/ {728, -1, -1},
  3713. /*03709*/ {0, -1, -1},
  3714. /*03710*/ {727, -1, -1},
  3715. /*03711*/ {0, -1, -1},
  3716. /*03712*/ {729, -1, -1},
  3717. /*03713*/ {0, -1, -1},
  3718. /*03714*/ {724, -1, -1},
  3719. /*03715*/ {933, -1, -1},
  3720. /*03716*/ {725, -1, -1},
  3721. /*03717*/ {934, -1, -1},
  3722. /*03718*/ {724, -1, -1},
  3723. /*03719*/ {933, -1, -1},
  3724. /*03720*/ {726, -1, -1},
  3725. /*03721*/ {935, -1, -1},
  3726. /*03722*/ {718, -1, -1},
  3727. /*03723*/ {927, -1, -1},
  3728. /*03724*/ {719, -1, -1},
  3729. /*03725*/ {928, -1, -1},
  3730. /*03726*/ {718, -1, -1},
  3731. /*03727*/ {927, -1, -1},
  3732. /*03728*/ {720, -1, -1},
  3733. /*03729*/ {929, -1, -1},
  3734. /*03730*/ {721, -1, -1},
  3735. /*03731*/ {930, -1, -1},
  3736. /*03732*/ {722, -1, -1},
  3737. /*03733*/ {931, -1, -1},
  3738. /*03734*/ {721, -1, -1},
  3739. /*03735*/ {930, -1, -1},
  3740. /*03736*/ {723, -1, -1},
  3741. /*03737*/ {932, -1, -1},
  3742. /*03738*/ {739, -1, -1},
  3743. /*03739*/ {0, -1, -1},
  3744. /*03740*/ {740, -1, -1},
  3745. /*03741*/ {0, -1, -1},
  3746. /*03742*/ {739, -1, -1},
  3747. /*03743*/ {0, -1, -1},
  3748. /*03744*/ {741, -1, -1},
  3749. /*03745*/ {0, -1, -1},
  3750. /*03746*/ {736, -1, -1},
  3751. /*03747*/ {942, -1, -1},
  3752. /*03748*/ {737, -1, -1},
  3753. /*03749*/ {943, -1, -1},
  3754. /*03750*/ {736, -1, -1},
  3755. /*03751*/ {942, -1, -1},
  3756. /*03752*/ {738, -1, -1},
  3757. /*03753*/ {944, -1, -1},
  3758. /*03754*/ {730, -1, -1},
  3759. /*03755*/ {936, -1, -1},
  3760. /*03756*/ {731, -1, -1},
  3761. /*03757*/ {937, -1, -1},
  3762. /*03758*/ {730, -1, -1},
  3763. /*03759*/ {936, -1, -1},
  3764. /*03760*/ {732, -1, -1},
  3765. /*03761*/ {938, -1, -1},
  3766. /*03762*/ {733, -1, -1},
  3767. /*03763*/ {939, -1, -1},
  3768. /*03764*/ {734, -1, -1},
  3769. /*03765*/ {940, -1, -1},
  3770. /*03766*/ {733, -1, -1},
  3771. /*03767*/ {939, -1, -1},
  3772. /*03768*/ {735, -1, -1},
  3773. /*03769*/ {941, -1, -1},
  3774. /*03770*/ {961, -1, -1},
  3775. /*03771*/ {0, -1, -1},
  3776. /*03772*/ {962, -1, -1},
  3777. /*03773*/ {0, -1, -1},
  3778. /*03774*/ {963, -1, -1},
  3779. /*03775*/ {0, -1, -1},
  3780. /*03776*/ {964, -1, -1},
  3781. /*03777*/ {0, -1, -1},
  3782. /*03778*/ {965, -1, -1},
  3783. /*03779*/ {0, -1, -1},
  3784. /*03780*/ {966, -1, -1},
  3785. /*03781*/ {0, -1, -1},
  3786. /*03782*/ {967, -1, -1},
  3787. /*03783*/ {0, -1, -1},
  3788. /*03784*/ {968, -1, -1},
  3789. /*03785*/ {0, -1, -1},
  3790. /*03786*/ {969, -1, -1},
  3791. /*03787*/ {0, -1, -1},
  3792. /*03788*/ {970, -1, -1},
  3793. /*03789*/ {0, -1, -1},
  3794. /*03790*/ {971, -1, -1},
  3795. /*03791*/ {0, -1, -1},
  3796. /*03792*/ {972, -1, -1},
  3797. /*03793*/ {0, -1, -1},
  3798. /*03794*/ {973, -1, -1},
  3799. /*03795*/ {0, -1, -1},
  3800. /*03796*/ {974, -1, -1},
  3801. /*03797*/ {0, -1, -1},
  3802. /*03798*/ {975, -1, -1},
  3803. /*03799*/ {0, -1, -1},
  3804. /*03800*/ {976, -1, -1},
  3805. /*03801*/ {0, -1, -1},
  3806. /*03802*/ {1556, -1, -1},
  3807. /*03803*/ {0, -1, -1},
  3808. /*03804*/ {0, -1, -1},
  3809. /*03805*/ {0, -1, -1},
  3810. /*03806*/ {3836, 28, 2},
  3811. /*03807*/ {0, -1, -1},
  3812. /*03808*/ {0, -1, -1},
  3813. /*03809*/ {0, -1, -1},
  3814. /*03810*/ {3848, 28, 4},
  3815. /*03811*/ {0, -1, -1},
  3816. /*03812*/ {3864, 28, 4},
  3817. /*03813*/ {0, -1, -1},
  3818. /*03814*/ {3880, 28, 4},
  3819. /*03815*/ {0, -1, -1},
  3820. /*03816*/ {3896, 28, 4},
  3821. /*03817*/ {0, -1, -1},
  3822. /*03818*/ {3912, 28, 4},
  3823. /*03819*/ {0, -1, -1},
  3824. /*03820*/ {3928, 28, 4},
  3825. /*03821*/ {0, -1, -1},
  3826. /*03822*/ {3944, 28, 4},
  3827. /*03823*/ {0, -1, -1},
  3828. /*03824*/ {3960, 28, 4},
  3829. /*03825*/ {0, -1, -1},
  3830. /*03826*/ {0, -1, -1},
  3831. /*03827*/ {0, -1, -1},
  3832. /*03828*/ {3976, 28, 4},
  3833. /*03829*/ {0, -1, -1},
  3834. /*03830*/ {0, -1, -1},
  3835. /*03831*/ {0, -1, -1},
  3836. /*03832*/ {3992, 28, 4},
  3837. /*03833*/ {0, -1, -1},
  3838. /*03834*/ {0, -1, -1},
  3839. /*03835*/ {0, -1, -1},
  3840. /*03836*/ {3840, 30, 2},
  3841. /*03837*/ {126, -1, -1},
  3842. /*03838*/ {3844, 30, 2},
  3843. /*03839*/ {125, -1, -1},
  3844. /*03840*/ {154, -1, -1},
  3845. /*03841*/ {161, -1, -1},
  3846. /*03842*/ {0, -1, -1},
  3847. /*03843*/ {0, -1, -1},
  3848. /*03844*/ {151, -1, -1},
  3849. /*03845*/ {0, -1, -1},
  3850. /*03846*/ {0, -1, -1},
  3851. /*03847*/ {0, -1, -1},
  3852. /*03848*/ {0, -1, -1},
  3853. /*03849*/ {159, -1, -1},
  3854. /*03850*/ {0, -1, -1},
  3855. /*03851*/ {157, -1, -1},
  3856. /*03852*/ {0, -1, -1},
  3857. /*03853*/ {0, -1, -1},
  3858. /*03854*/ {0, -1, -1},
  3859. /*03855*/ {0, -1, -1},
  3860. /*03856*/ {0, -1, -1},
  3861. /*03857*/ {166, -1, -1},
  3862. /*03858*/ {0, -1, -1},
  3863. /*03859*/ {0, -1, -1},
  3864. /*03860*/ {0, -1, -1},
  3865. /*03861*/ {0, -1, -1},
  3866. /*03862*/ {0, -1, -1},
  3867. /*03863*/ {0, -1, -1},
  3868. /*03864*/ {0, -1, -1},
  3869. /*03865*/ {144, -1, -1},
  3870. /*03866*/ {0, -1, -1},
  3871. /*03867*/ {0, -1, -1},
  3872. /*03868*/ {138, -1, -1},
  3873. /*03869*/ {145, -1, -1},
  3874. /*03870*/ {141, -1, -1},
  3875. /*03871*/ {0, -1, -1},
  3876. /*03872*/ {129, -1, -1},
  3877. /*03873*/ {0, -1, -1},
  3878. /*03874*/ {132, -1, -1},
  3879. /*03875*/ {148, -1, -1},
  3880. /*03876*/ {0, -1, -1},
  3881. /*03877*/ {0, -1, -1},
  3882. /*03878*/ {0, -1, -1},
  3883. /*03879*/ {0, -1, -1},
  3884. /*03880*/ {135, -1, -1},
  3885. /*03881*/ {0, -1, -1},
  3886. /*03882*/ {136, -1, -1},
  3887. /*03883*/ {146, -1, -1},
  3888. /*03884*/ {139, -1, -1},
  3889. /*03885*/ {0, -1, -1},
  3890. /*03886*/ {142, -1, -1},
  3891. /*03887*/ {147, -1, -1},
  3892. /*03888*/ {130, -1, -1},
  3893. /*03889*/ {0, -1, -1},
  3894. /*03890*/ {133, -1, -1},
  3895. /*03891*/ {0, -1, -1},
  3896. /*03892*/ {0, -1, -1},
  3897. /*03893*/ {127, -1, -1},
  3898. /*03894*/ {0, -1, -1},
  3899. /*03895*/ {128, -1, -1},
  3900. /*03896*/ {0, -1, -1},
  3901. /*03897*/ {0, -1, -1},
  3902. /*03898*/ {0, -1, -1},
  3903. /*03899*/ {0, -1, -1},
  3904. /*03900*/ {0, -1, -1},
  3905. /*03901*/ {0, -1, -1},
  3906. /*03902*/ {0, -1, -1},
  3907. /*03903*/ {0, -1, -1},
  3908. /*03904*/ {0, -1, -1},
  3909. /*03905*/ {0, -1, -1},
  3910. /*03906*/ {149, -1, -1},
  3911. /*03907*/ {0, -1, -1},
  3912. /*03908*/ {0, -1, -1},
  3913. /*03909*/ {0, -1, -1},
  3914. /*03910*/ {0, -1, -1},
  3915. /*03911*/ {0, -1, -1},
  3916. /*03912*/ {0, -1, -1},
  3917. /*03913*/ {0, -1, -1},
  3918. /*03914*/ {0, -1, -1},
  3919. /*03915*/ {0, -1, -1},
  3920. /*03916*/ {0, -1, -1},
  3921. /*03917*/ {164, -1, -1},
  3922. /*03918*/ {0, -1, -1},
  3923. /*03919*/ {0, -1, -1},
  3924. /*03920*/ {0, -1, -1},
  3925. /*03921*/ {0, -1, -1},
  3926. /*03922*/ {150, -1, -1},
  3927. /*03923*/ {0, -1, -1},
  3928. /*03924*/ {0, -1, -1},
  3929. /*03925*/ {0, -1, -1},
  3930. /*03926*/ {0, -1, -1},
  3931. /*03927*/ {0, -1, -1},
  3932. /*03928*/ {155, -1, -1},
  3933. /*03929*/ {0, -1, -1},
  3934. /*03930*/ {152, -1, -1},
  3935. /*03931*/ {0, -1, -1},
  3936. /*03932*/ {162, -1, -1},
  3937. /*03933*/ {0, -1, -1},
  3938. /*03934*/ {0, -1, -1},
  3939. /*03935*/ {0, -1, -1},
  3940. /*03936*/ {0, -1, -1},
  3941. /*03937*/ {0, -1, -1},
  3942. /*03938*/ {0, -1, -1},
  3943. /*03939*/ {0, -1, -1},
  3944. /*03940*/ {0, -1, -1},
  3945. /*03941*/ {0, -1, -1},
  3946. /*03942*/ {0, -1, -1},
  3947. /*03943*/ {0, -1, -1},
  3948. /*03944*/ {156, -1, -1},
  3949. /*03945*/ {0, -1, -1},
  3950. /*03946*/ {153, -1, -1},
  3951. /*03947*/ {0, -1, -1},
  3952. /*03948*/ {163, -1, -1},
  3953. /*03949*/ {0, -1, -1},
  3954. /*03950*/ {0, -1, -1},
  3955. /*03951*/ {0, -1, -1},
  3956. /*03952*/ {0, -1, -1},
  3957. /*03953*/ {0, -1, -1},
  3958. /*03954*/ {0, -1, -1},
  3959. /*03955*/ {0, -1, -1},
  3960. /*03956*/ {0, -1, -1},
  3961. /*03957*/ {0, -1, -1},
  3962. /*03958*/ {0, -1, -1},
  3963. /*03959*/ {0, -1, -1},
  3964. /*03960*/ {0, -1, -1},
  3965. /*03961*/ {160, -1, -1},
  3966. /*03962*/ {0, -1, -1},
  3967. /*03963*/ {158, -1, -1},
  3968. /*03964*/ {0, -1, -1},
  3969. /*03965*/ {0, -1, -1},
  3970. /*03966*/ {0, -1, -1},
  3971. /*03967*/ {0, -1, -1},
  3972. /*03968*/ {0, -1, -1},
  3973. /*03969*/ {0, -1, -1},
  3974. /*03970*/ {0, -1, -1},
  3975. /*03971*/ {0, -1, -1},
  3976. /*03972*/ {0, -1, -1},
  3977. /*03973*/ {0, -1, -1},
  3978. /*03974*/ {0, -1, -1},
  3979. /*03975*/ {0, -1, -1},
  3980. /*03976*/ {0, -1, -1},
  3981. /*03977*/ {0, -1, -1},
  3982. /*03978*/ {137, -1, -1},
  3983. /*03979*/ {0, -1, -1},
  3984. /*03980*/ {140, -1, -1},
  3985. /*03981*/ {0, -1, -1},
  3986. /*03982*/ {143, -1, -1},
  3987. /*03983*/ {0, -1, -1},
  3988. /*03984*/ {131, -1, -1},
  3989. /*03985*/ {0, -1, -1},
  3990. /*03986*/ {134, -1, -1},
  3991. /*03987*/ {0, -1, -1},
  3992. /*03988*/ {0, -1, -1},
  3993. /*03989*/ {0, -1, -1},
  3994. /*03990*/ {0, -1, -1},
  3995. /*03991*/ {0, -1, -1},
  3996. /*03992*/ {0, -1, -1},
  3997. /*03993*/ {0, -1, -1},
  3998. /*03994*/ {0, -1, -1},
  3999. /*03995*/ {0, -1, -1},
  4000. /*03996*/ {0, -1, -1},
  4001. /*03997*/ {165, -1, -1},
  4002. /*03998*/ {0, -1, -1},
  4003. /*03999*/ {0, -1, -1},
  4004. /*04000*/ {0, -1, -1},
  4005. /*04001*/ {0, -1, -1},
  4006. /*04002*/ {0, -1, -1},
  4007. /*04003*/ {0, -1, -1},
  4008. /*04004*/ {0, -1, -1},
  4009. /*04005*/ {0, -1, -1},
  4010. /*04006*/ {0, -1, -1},
  4011. /*04007*/ {0, -1, -1},
  4012. /*04008*/ {751, -1, -1},
  4013. /*04009*/ {752, -1, -1},
  4014. /*04010*/ {751, -1, -1},
  4015. /*04011*/ {753, -1, -1},
  4016. /*04012*/ {748, -1, -1},
  4017. /*04013*/ {749, -1, -1},
  4018. /*04014*/ {748, -1, -1},
  4019. /*04015*/ {750, -1, -1},
  4020. /*04016*/ {742, -1, -1},
  4021. /*04017*/ {743, -1, -1},
  4022. /*04018*/ {742, -1, -1},
  4023. /*04019*/ {744, -1, -1},
  4024. /*04020*/ {745, -1, -1},
  4025. /*04021*/ {746, -1, -1},
  4026. /*04022*/ {745, -1, -1},
  4027. /*04023*/ {747, -1, -1},
  4028. /*04024*/ {763, -1, -1},
  4029. /*04025*/ {764, -1, -1},
  4030. /*04026*/ {763, -1, -1},
  4031. /*04027*/ {765, -1, -1},
  4032. /*04028*/ {760, -1, -1},
  4033. /*04029*/ {761, -1, -1},
  4034. /*04030*/ {760, -1, -1},
  4035. /*04031*/ {762, -1, -1},
  4036. /*04032*/ {754, -1, -1},
  4037. /*04033*/ {755, -1, -1},
  4038. /*04034*/ {754, -1, -1},
  4039. /*04035*/ {756, -1, -1},
  4040. /*04036*/ {757, -1, -1},
  4041. /*04037*/ {758, -1, -1},
  4042. /*04038*/ {757, -1, -1},
  4043. /*04039*/ {759, -1, -1},
  4044. /*04040*/ {775, -1, -1},
  4045. /*04041*/ {776, -1, -1},
  4046. /*04042*/ {775, -1, -1},
  4047. /*04043*/ {777, -1, -1},
  4048. /*04044*/ {772, -1, -1},
  4049. /*04045*/ {773, -1, -1},
  4050. /*04046*/ {772, -1, -1},
  4051. /*04047*/ {774, -1, -1},
  4052. /*04048*/ {766, -1, -1},
  4053. /*04049*/ {767, -1, -1},
  4054. /*04050*/ {766, -1, -1},
  4055. /*04051*/ {768, -1, -1},
  4056. /*04052*/ {769, -1, -1},
  4057. /*04053*/ {770, -1, -1},
  4058. /*04054*/ {769, -1, -1},
  4059. /*04055*/ {771, -1, -1},
  4060. /*04056*/ {787, -1, -1},
  4061. /*04057*/ {788, -1, -1},
  4062. /*04058*/ {787, -1, -1},
  4063. /*04059*/ {789, -1, -1},
  4064. /*04060*/ {784, -1, -1},
  4065. /*04061*/ {785, -1, -1},
  4066. /*04062*/ {784, -1, -1},
  4067. /*04063*/ {786, -1, -1},
  4068. /*04064*/ {778, -1, -1},
  4069. /*04065*/ {779, -1, -1},
  4070. /*04066*/ {778, -1, -1},
  4071. /*04067*/ {780, -1, -1},
  4072. /*04068*/ {781, -1, -1},
  4073. /*04069*/ {782, -1, -1},
  4074. /*04070*/ {781, -1, -1},
  4075. /*04071*/ {783, -1, -1},
  4076. /*04072*/ {0, -1, -1},
  4077. /*04073*/ {0, -1, -1},
  4078. /*04074*/ {0, -1, -1},
  4079. /*04075*/ {0, -1, -1},
  4080. /*04076*/ {0, -1, -1},
  4081. /*04077*/ {0, -1, -1},
  4082. /*04078*/ {0, -1, -1},
  4083. /*04079*/ {0, -1, -1},
  4084. /*04080*/ {0, -1, -1},
  4085. /*04081*/ {0, -1, -1},
  4086. /*04082*/ {0, -1, -1},
  4087. /*04083*/ {0, -1, -1},
  4088. /*04084*/ {0, -1, -1},
  4089. /*04085*/ {0, -1, -1},
  4090. /*04086*/ {0, -1, -1},
  4091. /*04087*/ {0, -1, -1},
  4092. /*04088*/ {0, -1, -1},
  4093. /*04089*/ {0, -1, -1},
  4094. /*04090*/ {0, -1, -1},
  4095. /*04091*/ {0, -1, -1},
  4096. /*04092*/ {0, -1, -1},
  4097. /*04093*/ {0, -1, -1},
  4098. /*04094*/ {0, -1, -1},
  4099. /*04095*/ {0, -1, -1},
  4100. /*04096*/ {0, -1, -1},
  4101. /*04097*/ {0, -1, -1},
  4102. /*04098*/ {0, -1, -1},
  4103. /*04099*/ {0, -1, -1},
  4104. /*04100*/ {0, -1, -1},
  4105. /*04101*/ {0, -1, -1},
  4106. /*04102*/ {0, -1, -1},
  4107. /*04103*/ {0, -1, -1},
  4108. /*04104*/ {0, -1, -1},
  4109. /*04105*/ {0, -1, -1},
  4110. /*04106*/ {0, -1, -1},
  4111. /*04107*/ {0, -1, -1},
  4112. /*04108*/ {0, -1, -1},
  4113. /*04109*/ {0, -1, -1},
  4114. /*04110*/ {0, -1, -1},
  4115. /*04111*/ {0, -1, -1},
  4116. /*04112*/ {0, -1, -1},
  4117. /*04113*/ {0, -1, -1},
  4118. /*04114*/ {0, -1, -1},
  4119. /*04115*/ {0, -1, -1},
  4120. /*04116*/ {790, -1, -1},
  4121. /*04117*/ {791, -1, -1},
  4122. /*04118*/ {790, -1, -1},
  4123. /*04119*/ {792, -1, -1},
  4124. /*04120*/ {0, -1, -1},
  4125. /*04121*/ {0, -1, -1},
  4126. /*04122*/ {0, -1, -1},
  4127. /*04123*/ {0, -1, -1},
  4128. /*04124*/ {0, -1, -1},
  4129. /*04125*/ {0, -1, -1},
  4130. /*04126*/ {0, -1, -1},
  4131. /*04127*/ {0, -1, -1},
  4132. /*04128*/ {0, -1, -1},
  4133. /*04129*/ {0, -1, -1},
  4134. /*04130*/ {0, -1, -1},
  4135. /*04131*/ {0, -1, -1},
  4136. /*04132*/ {0, -1, -1},
  4137. /*04133*/ {0, -1, -1},
  4138. /*04134*/ {0, -1, -1},
  4139. /*04135*/ {0, -1, -1},
  4140. /*04136*/ {802, -1, -1},
  4141. /*04137*/ {803, -1, -1},
  4142. /*04138*/ {802, -1, -1},
  4143. /*04139*/ {804, -1, -1},
  4144. /*04140*/ {799, -1, -1},
  4145. /*04141*/ {800, -1, -1},
  4146. /*04142*/ {799, -1, -1},
  4147. /*04143*/ {801, -1, -1},
  4148. /*04144*/ {793, -1, -1},
  4149. /*04145*/ {794, -1, -1},
  4150. /*04146*/ {793, -1, -1},
  4151. /*04147*/ {795, -1, -1},
  4152. /*04148*/ {796, -1, -1},
  4153. /*04149*/ {797, -1, -1},
  4154. /*04150*/ {796, -1, -1},
  4155. /*04151*/ {798, -1, -1},
  4156. /*04152*/ {814, -1, -1},
  4157. /*04153*/ {815, -1, -1},
  4158. /*04154*/ {814, -1, -1},
  4159. /*04155*/ {816, -1, -1},
  4160. /*04156*/ {811, -1, -1},
  4161. /*04157*/ {812, -1, -1},
  4162. /*04158*/ {811, -1, -1},
  4163. /*04159*/ {813, -1, -1},
  4164. /*04160*/ {805, -1, -1},
  4165. /*04161*/ {806, -1, -1},
  4166. /*04162*/ {805, -1, -1},
  4167. /*04163*/ {807, -1, -1},
  4168. /*04164*/ {808, -1, -1},
  4169. /*04165*/ {809, -1, -1},
  4170. /*04166*/ {808, -1, -1},
  4171. /*04167*/ {810, -1, -1},
  4172. /*04168*/ {0, -1, -1},
  4173. /*04169*/ {0, -1, -1},
  4174. /*04170*/ {0, -1, -1},
  4175. /*04171*/ {0, -1, -1},
  4176. /*04172*/ {0, -1, -1},
  4177. /*04173*/ {0, -1, -1},
  4178. /*04174*/ {0, -1, -1},
  4179. /*04175*/ {0, -1, -1},
  4180. /*04176*/ {0, -1, -1},
  4181. /*04177*/ {0, -1, -1},
  4182. /*04178*/ {0, -1, -1},
  4183. /*04179*/ {0, -1, -1},
  4184. /*04180*/ {0, -1, -1},
  4185. /*04181*/ {0, -1, -1},
  4186. /*04182*/ {0, -1, -1},
  4187. /*04183*/ {0, -1, -1},
  4188. /*04184*/ {977, -1, -1},
  4189. /*04185*/ {978, -1, -1},
  4190. /*04186*/ {979, -1, -1},
  4191. /*04187*/ {980, -1, -1},
  4192. /*04188*/ {981, -1, -1},
  4193. /*04189*/ {982, -1, -1},
  4194. /*04190*/ {983, -1, -1},
  4195. /*04191*/ {984, -1, -1},
  4196. /*04192*/ {985, -1, -1},
  4197. /*04193*/ {986, -1, -1},
  4198. /*04194*/ {987, -1, -1},
  4199. /*04195*/ {988, -1, -1},
  4200. /*04196*/ {989, -1, -1},
  4201. /*04197*/ {990, -1, -1},
  4202. /*04198*/ {991, -1, -1},
  4203. /*04199*/ {992, -1, -1},
  4204. /*04200*/ {833, -1, -1},
  4205. /*04201*/ {833, -1, -1},
  4206. /*04202*/ {833, -1, -1},
  4207. /*04203*/ {834, -1, -1},
  4208. /*04204*/ {831, -1, -1},
  4209. /*04205*/ {831, -1, -1},
  4210. /*04206*/ {831, -1, -1},
  4211. /*04207*/ {832, -1, -1},
  4212. /*04208*/ {827, -1, -1},
  4213. /*04209*/ {827, -1, -1},
  4214. /*04210*/ {827, -1, -1},
  4215. /*04211*/ {828, -1, -1},
  4216. /*04212*/ {829, -1, -1},
  4217. /*04213*/ {829, -1, -1},
  4218. /*04214*/ {829, -1, -1},
  4219. /*04215*/ {830, -1, -1},
  4220. /*04216*/ {0, -1, -1},
  4221. /*04217*/ {0, -1, -1},
  4222. /*04218*/ {0, -1, -1},
  4223. /*04219*/ {0, -1, -1},
  4224. /*04220*/ {0, -1, -1},
  4225. /*04221*/ {0, -1, -1},
  4226. /*04222*/ {0, -1, -1},
  4227. /*04223*/ {0, -1, -1},
  4228. /*04224*/ {0, -1, -1},
  4229. /*04225*/ {0, -1, -1},
  4230. /*04226*/ {0, -1, -1},
  4231. /*04227*/ {0, -1, -1},
  4232. /*04228*/ {0, -1, -1},
  4233. /*04229*/ {0, -1, -1},
  4234. /*04230*/ {0, -1, -1},
  4235. /*04231*/ {0, -1, -1},
  4236. /*04232*/ {0, -1, -1},
  4237. /*04233*/ {0, -1, -1},
  4238. /*04234*/ {0, -1, -1},
  4239. /*04235*/ {0, -1, -1},
  4240. /*04236*/ {0, -1, -1},
  4241. /*04237*/ {0, -1, -1},
  4242. /*04238*/ {0, -1, -1},
  4243. /*04239*/ {0, -1, -1},
  4244. /*04240*/ {0, -1, -1},
  4245. /*04241*/ {0, -1, -1},
  4246. /*04242*/ {0, -1, -1},
  4247. /*04243*/ {0, -1, -1},
  4248. /*04244*/ {835, -1, -1},
  4249. /*04245*/ {835, -1, -1},
  4250. /*04246*/ {835, -1, -1},
  4251. /*04247*/ {836, -1, -1},
  4252. /*04248*/ {0, -1, -1},
  4253. /*04249*/ {0, -1, -1},
  4254. /*04250*/ {0, -1, -1},
  4255. /*04251*/ {0, -1, -1},
  4256. /*04252*/ {0, -1, -1},
  4257. /*04253*/ {0, -1, -1},
  4258. /*04254*/ {0, -1, -1},
  4259. /*04255*/ {0, -1, -1},
  4260. /*04256*/ {0, -1, -1},
  4261. /*04257*/ {0, -1, -1},
  4262. /*04258*/ {0, -1, -1},
  4263. /*04259*/ {0, -1, -1},
  4264. /*04260*/ {0, -1, -1},
  4265. /*04261*/ {0, -1, -1},
  4266. /*04262*/ {0, -1, -1},
  4267. /*04263*/ {0, -1, -1},
  4268. /*04264*/ {4328, 35, 1},
  4269. /*04265*/ {0, -1, -1},
  4270. /*04266*/ {0, -1, -1},
  4271. /*04267*/ {0, -1, -1},
  4272. /*04268*/ {0, -1, -1},
  4273. /*04269*/ {0, -1, -1},
  4274. /*04270*/ {0, -1, -1},
  4275. /*04271*/ {0, -1, -1},
  4276. /*04272*/ {4330, 35, 1},
  4277. /*04273*/ {0, -1, -1},
  4278. /*04274*/ {0, -1, -1},
  4279. /*04275*/ {0, -1, -1},
  4280. /*04276*/ {0, -1, -1},
  4281. /*04277*/ {0, -1, -1},
  4282. /*04278*/ {0, -1, -1},
  4283. /*04279*/ {0, -1, -1},
  4284. /*04280*/ {4332, 35, 1},
  4285. /*04281*/ {0, -1, -1},
  4286. /*04282*/ {0, -1, -1},
  4287. /*04283*/ {0, -1, -1},
  4288. /*04284*/ {0, -1, -1},
  4289. /*04285*/ {0, -1, -1},
  4290. /*04286*/ {0, -1, -1},
  4291. /*04287*/ {0, -1, -1},
  4292. /*04288*/ {4334, 35, 1},
  4293. /*04289*/ {0, -1, -1},
  4294. /*04290*/ {0, -1, -1},
  4295. /*04291*/ {0, -1, -1},
  4296. /*04292*/ {0, -1, -1},
  4297. /*04293*/ {0, -1, -1},
  4298. /*04294*/ {0, -1, -1},
  4299. /*04295*/ {0, -1, -1},
  4300. /*04296*/ {0, -1, -1},
  4301. /*04297*/ {0, -1, -1},
  4302. /*04298*/ {0, -1, -1},
  4303. /*04299*/ {0, -1, -1},
  4304. /*04300*/ {0, -1, -1},
  4305. /*04301*/ {0, -1, -1},
  4306. /*04302*/ {0, -1, -1},
  4307. /*04303*/ {0, -1, -1},
  4308. /*04304*/ {0, -1, -1},
  4309. /*04305*/ {0, -1, -1},
  4310. /*04306*/ {0, -1, -1},
  4311. /*04307*/ {0, -1, -1},
  4312. /*04308*/ {0, -1, -1},
  4313. /*04309*/ {0, -1, -1},
  4314. /*04310*/ {0, -1, -1},
  4315. /*04311*/ {0, -1, -1},
  4316. /*04312*/ {0, -1, -1},
  4317. /*04313*/ {0, -1, -1},
  4318. /*04314*/ {0, -1, -1},
  4319. /*04315*/ {0, -1, -1},
  4320. /*04316*/ {0, -1, -1},
  4321. /*04317*/ {0, -1, -1},
  4322. /*04318*/ {0, -1, -1},
  4323. /*04319*/ {0, -1, -1},
  4324. /*04320*/ {0, -1, -1},
  4325. /*04321*/ {0, -1, -1},
  4326. /*04322*/ {0, -1, -1},
  4327. /*04323*/ {0, -1, -1},
  4328. /*04324*/ {0, -1, -1},
  4329. /*04325*/ {0, -1, -1},
  4330. /*04326*/ {0, -1, -1},
  4331. /*04327*/ {0, -1, -1},
  4332. /*04328*/ {1296, -1, -1},
  4333. /*04329*/ {1297, -1, -1},
  4334. /*04330*/ {1298, -1, -1},
  4335. /*04331*/ {1299, -1, -1},
  4336. /*04332*/ {1300, -1, -1},
  4337. /*04333*/ {1301, -1, -1},
  4338. /*04334*/ {1302, -1, -1},
  4339. /*04335*/ {1303, -1, -1},
  4340. /*04336*/ {4344, 29, 4},
  4341. /*04337*/ {0, -1, -1},
  4342. /*04338*/ {4384, 27, 6},
  4343. /*04339*/ {4474, 29, 4},
  4344. /*04340*/ {18, -1, -1},
  4345. /*04341*/ {0, -1, -1},
  4346. /*04342*/ {19, -1, -1},
  4347. /*04343*/ {0, -1, -1},
  4348. /*04344*/ {4360, 27, 2},
  4349. /*04345*/ {4364, 27, 2},
  4350. /*04346*/ {4368, 27, 2},
  4351. /*04347*/ {4372, 27, 2},
  4352. /*04348*/ {11, -1, -1},
  4353. /*04349*/ {0, -1, -1},
  4354. /*04350*/ {12, -1, -1},
  4355. /*04351*/ {0, -1, -1},
  4356. /*04352*/ {0, -1, -1},
  4357. /*04353*/ {4376, 27, 2},
  4358. /*04354*/ {0, -1, -1},
  4359. /*04355*/ {4380, 27, 2},
  4360. /*04356*/ {0, -1, -1},
  4361. /*04357*/ {0, -1, -1},
  4362. /*04358*/ {0, -1, -1},
  4363. /*04359*/ {0, -1, -1},
  4364. /*04360*/ {2, -1, -1},
  4365. /*04361*/ {3, -1, -1},
  4366. /*04362*/ {0, -1, -1},
  4367. /*04363*/ {0, -1, -1},
  4368. /*04364*/ {5, -1, -1},
  4369. /*04365*/ {4, -1, -1},
  4370. /*04366*/ {0, -1, -1},
  4371. /*04367*/ {0, -1, -1},
  4372. /*04368*/ {6, -1, -1},
  4373. /*04369*/ {0, -1, -1},
  4374. /*04370*/ {0, -1, -1},
  4375. /*04371*/ {0, -1, -1},
  4376. /*04372*/ {7, -1, -1},
  4377. /*04373*/ {8, -1, -1},
  4378. /*04374*/ {9, -1, -1},
  4379. /*04375*/ {10, -1, -1},
  4380. /*04376*/ {0, -1, -1},
  4381. /*04377*/ {13, -1, -1},
  4382. /*04378*/ {0, -1, -1},
  4383. /*04379*/ {0, -1, -1},
  4384. /*04380*/ {14, -1, -1},
  4385. /*04381*/ {15, -1, -1},
  4386. /*04382*/ {16, -1, -1},
  4387. /*04383*/ {17, -1, -1},
  4388. /*04384*/ {4448, 36, 1},
  4389. /*04385*/ {4450, 36, 1},
  4390. /*04386*/ {4452, 36, 1},
  4391. /*04387*/ {4454, 36, 1},
  4392. /*04388*/ {4456, 36, 1},
  4393. /*04389*/ {4458, 36, 1},
  4394. /*04390*/ {4460, 36, 1},
  4395. /*04391*/ {4462, 36, 1},
  4396. /*04392*/ {0, -1, -1},
  4397. /*04393*/ {0, -1, -1},
  4398. /*04394*/ {4464, 36, 1},
  4399. /*04395*/ {4466, 36, 1},
  4400. /*04396*/ {0, -1, -1},
  4401. /*04397*/ {0, -1, -1},
  4402. /*04398*/ {4468, 36, 1},
  4403. /*04399*/ {0, -1, -1},
  4404. /*04400*/ {0, -1, -1},
  4405. /*04401*/ {0, -1, -1},
  4406. /*04402*/ {0, -1, -1},
  4407. /*04403*/ {0, -1, -1},
  4408. /*04404*/ {0, -1, -1},
  4409. /*04405*/ {0, -1, -1},
  4410. /*04406*/ {0, -1, -1},
  4411. /*04407*/ {0, -1, -1},
  4412. /*04408*/ {0, -1, -1},
  4413. /*04409*/ {0, -1, -1},
  4414. /*04410*/ {0, -1, -1},
  4415. /*04411*/ {0, -1, -1},
  4416. /*04412*/ {0, -1, -1},
  4417. /*04413*/ {0, -1, -1},
  4418. /*04414*/ {0, -1, -1},
  4419. /*04415*/ {0, -1, -1},
  4420. /*04416*/ {0, -1, -1},
  4421. /*04417*/ {0, -1, -1},
  4422. /*04418*/ {0, -1, -1},
  4423. /*04419*/ {0, -1, -1},
  4424. /*04420*/ {4470, 36, 1},
  4425. /*04421*/ {4472, 36, 1},
  4426. /*04422*/ {0, -1, -1},
  4427. /*04423*/ {0, -1, -1},
  4428. /*04424*/ {0, -1, -1},
  4429. /*04425*/ {0, -1, -1},
  4430. /*04426*/ {0, -1, -1},
  4431. /*04427*/ {0, -1, -1},
  4432. /*04428*/ {0, -1, -1},
  4433. /*04429*/ {0, -1, -1},
  4434. /*04430*/ {0, -1, -1},
  4435. /*04431*/ {0, -1, -1},
  4436. /*04432*/ {0, -1, -1},
  4437. /*04433*/ {0, -1, -1},
  4438. /*04434*/ {0, -1, -1},
  4439. /*04435*/ {0, -1, -1},
  4440. /*04436*/ {0, -1, -1},
  4441. /*04437*/ {0, -1, -1},
  4442. /*04438*/ {0, -1, -1},
  4443. /*04439*/ {0, -1, -1},
  4444. /*04440*/ {0, -1, -1},
  4445. /*04441*/ {0, -1, -1},
  4446. /*04442*/ {0, -1, -1},
  4447. /*04443*/ {0, -1, -1},
  4448. /*04444*/ {0, -1, -1},
  4449. /*04445*/ {0, -1, -1},
  4450. /*04446*/ {0, -1, -1},
  4451. /*04447*/ {0, -1, -1},
  4452. /*04448*/ {93, -1, -1},
  4453. /*04449*/ {95, -1, -1},
  4454. /*04450*/ {96, -1, -1},
  4455. /*04451*/ {0, -1, -1},
  4456. /*04452*/ {98, -1, -1},
  4457. /*04453*/ {0, -1, -1},
  4458. /*04454*/ {100, -1, -1},
  4459. /*04455*/ {0, -1, -1},
  4460. /*04456*/ {102, -1, -1},
  4461. /*04457*/ {104, -1, -1},
  4462. /*04458*/ {105, -1, -1},
  4463. /*04459*/ {0, -1, -1},
  4464. /*04460*/ {107, -1, -1},
  4465. /*04461*/ {0, -1, -1},
  4466. /*04462*/ {109, -1, -1},
  4467. /*04463*/ {0, -1, -1},
  4468. /*04464*/ {111, -1, -1},
  4469. /*04465*/ {0, -1, -1},
  4470. /*04466*/ {113, -1, -1},
  4471. /*04467*/ {0, -1, -1},
  4472. /*04468*/ {115, -1, -1},
  4473. /*04469*/ {0, -1, -1},
  4474. /*04470*/ {117, -1, -1},
  4475. /*04471*/ {119, -1, -1},
  4476. /*04472*/ {120, -1, -1},
  4477. /*04473*/ {122, -1, -1},
  4478. /*04474*/ {4490, 27, 2},
  4479. /*04475*/ {4502, 27, 2},
  4480. /*04476*/ {4514, 27, 2},
  4481. /*04477*/ {4522, 27, 2},
  4482. /*04478*/ {4528, 36, 1},
  4483. /*04479*/ {0, -1, -1},
  4484. /*04480*/ {4530, 36, 1},
  4485. /*04481*/ {0, -1, -1},
  4486. /*04482*/ {0, -1, -1},
  4487. /*04483*/ {4532, 27, 2},
  4488. /*04484*/ {0, -1, -1},
  4489. /*04485*/ {0, -1, -1},
  4490. /*04486*/ {0, -1, -1},
  4491. /*04487*/ {0, -1, -1},
  4492. /*04488*/ {0, -1, -1},
  4493. /*04489*/ {0, -1, -1},
  4494. /*04490*/ {4494, 36, 1},
  4495. /*04491*/ {4496, 36, 1},
  4496. /*04492*/ {4498, 36, 1},
  4497. /*04493*/ {4500, 36, 1},
  4498. /*04494*/ {94, -1, -1},
  4499. /*04495*/ {0, -1, -1},
  4500. /*04496*/ {97, -1, -1},
  4501. /*04497*/ {0, -1, -1},
  4502. /*04498*/ {99, -1, -1},
  4503. /*04499*/ {0, -1, -1},
  4504. /*04500*/ {101, -1, -1},
  4505. /*04501*/ {0, -1, -1},
  4506. /*04502*/ {4506, 36, 1},
  4507. /*04503*/ {4508, 36, 1},
  4508. /*04504*/ {4510, 36, 1},
  4509. /*04505*/ {4512, 36, 1},
  4510. /*04506*/ {103, -1, -1},
  4511. /*04507*/ {0, -1, -1},
  4512. /*04508*/ {106, -1, -1},
  4513. /*04509*/ {0, -1, -1},
  4514. /*04510*/ {108, -1, -1},
  4515. /*04511*/ {0, -1, -1},
  4516. /*04512*/ {110, -1, -1},
  4517. /*04513*/ {0, -1, -1},
  4518. /*04514*/ {0, -1, -1},
  4519. /*04515*/ {0, -1, -1},
  4520. /*04516*/ {4518, 36, 1},
  4521. /*04517*/ {4520, 36, 1},
  4522. /*04518*/ {112, -1, -1},
  4523. /*04519*/ {0, -1, -1},
  4524. /*04520*/ {114, -1, -1},
  4525. /*04521*/ {0, -1, -1},
  4526. /*04522*/ {0, -1, -1},
  4527. /*04523*/ {0, -1, -1},
  4528. /*04524*/ {4526, 36, 1},
  4529. /*04525*/ {0, -1, -1},
  4530. /*04526*/ {116, -1, -1},
  4531. /*04527*/ {0, -1, -1},
  4532. /*04528*/ {123, -1, -1},
  4533. /*04529*/ {0, -1, -1},
  4534. /*04530*/ {124, -1, -1},
  4535. /*04531*/ {0, -1, -1},
  4536. /*04532*/ {4536, 36, 1},
  4537. /*04533*/ {4538, 36, 1},
  4538. /*04534*/ {0, -1, -1},
  4539. /*04535*/ {0, -1, -1},
  4540. /*04536*/ {118, -1, -1},
  4541. /*04537*/ {0, -1, -1},
  4542. /*04538*/ {121, -1, -1},
  4543. /*04539*/ {0, -1, -1},
  4544. /*04540*/ {4548, 29, 4},
  4545. /*04541*/ {0, -1, -1},
  4546. /*04542*/ {4588, 27, 6},
  4547. /*04543*/ {4678, 29, 4},
  4548. /*04544*/ {18, -1, -1},
  4549. /*04545*/ {0, -1, -1},
  4550. /*04546*/ {19, -1, -1},
  4551. /*04547*/ {0, -1, -1},
  4552. /*04548*/ {4564, 27, 2},
  4553. /*04549*/ {4568, 27, 2},
  4554. /*04550*/ {4572, 27, 2},
  4555. /*04551*/ {4576, 27, 2},
  4556. /*04552*/ {11, -1, -1},
  4557. /*04553*/ {0, -1, -1},
  4558. /*04554*/ {12, -1, -1},
  4559. /*04555*/ {0, -1, -1},
  4560. /*04556*/ {0, -1, -1},
  4561. /*04557*/ {4580, 27, 2},
  4562. /*04558*/ {0, -1, -1},
  4563. /*04559*/ {4584, 27, 2},
  4564. /*04560*/ {0, -1, -1},
  4565. /*04561*/ {0, -1, -1},
  4566. /*04562*/ {0, -1, -1},
  4567. /*04563*/ {0, -1, -1},
  4568. /*04564*/ {2, -1, -1},
  4569. /*04565*/ {3, -1, -1},
  4570. /*04566*/ {0, -1, -1},
  4571. /*04567*/ {0, -1, -1},
  4572. /*04568*/ {5, -1, -1},
  4573. /*04569*/ {4, -1, -1},
  4574. /*04570*/ {0, -1, -1},
  4575. /*04571*/ {0, -1, -1},
  4576. /*04572*/ {6, -1, -1},
  4577. /*04573*/ {0, -1, -1},
  4578. /*04574*/ {0, -1, -1},
  4579. /*04575*/ {0, -1, -1},
  4580. /*04576*/ {7, -1, -1},
  4581. /*04577*/ {8, -1, -1},
  4582. /*04578*/ {9, -1, -1},
  4583. /*04579*/ {10, -1, -1},
  4584. /*04580*/ {0, -1, -1},
  4585. /*04581*/ {13, -1, -1},
  4586. /*04582*/ {0, -1, -1},
  4587. /*04583*/ {0, -1, -1},
  4588. /*04584*/ {14, -1, -1},
  4589. /*04585*/ {15, -1, -1},
  4590. /*04586*/ {16, -1, -1},
  4591. /*04587*/ {17, -1, -1},
  4592. /*04588*/ {4652, 36, 1},
  4593. /*04589*/ {4654, 36, 1},
  4594. /*04590*/ {4656, 36, 1},
  4595. /*04591*/ {4658, 36, 1},
  4596. /*04592*/ {4660, 36, 1},
  4597. /*04593*/ {4662, 36, 1},
  4598. /*04594*/ {4664, 36, 1},
  4599. /*04595*/ {4666, 36, 1},
  4600. /*04596*/ {0, -1, -1},
  4601. /*04597*/ {0, -1, -1},
  4602. /*04598*/ {4668, 36, 1},
  4603. /*04599*/ {4670, 36, 1},
  4604. /*04600*/ {0, -1, -1},
  4605. /*04601*/ {0, -1, -1},
  4606. /*04602*/ {4672, 36, 1},
  4607. /*04603*/ {0, -1, -1},
  4608. /*04604*/ {0, -1, -1},
  4609. /*04605*/ {0, -1, -1},
  4610. /*04606*/ {0, -1, -1},
  4611. /*04607*/ {0, -1, -1},
  4612. /*04608*/ {0, -1, -1},
  4613. /*04609*/ {0, -1, -1},
  4614. /*04610*/ {0, -1, -1},
  4615. /*04611*/ {0, -1, -1},
  4616. /*04612*/ {0, -1, -1},
  4617. /*04613*/ {0, -1, -1},
  4618. /*04614*/ {0, -1, -1},
  4619. /*04615*/ {0, -1, -1},
  4620. /*04616*/ {0, -1, -1},
  4621. /*04617*/ {0, -1, -1},
  4622. /*04618*/ {0, -1, -1},
  4623. /*04619*/ {0, -1, -1},
  4624. /*04620*/ {0, -1, -1},
  4625. /*04621*/ {0, -1, -1},
  4626. /*04622*/ {0, -1, -1},
  4627. /*04623*/ {0, -1, -1},
  4628. /*04624*/ {4674, 36, 1},
  4629. /*04625*/ {4676, 36, 1},
  4630. /*04626*/ {0, -1, -1},
  4631. /*04627*/ {0, -1, -1},
  4632. /*04628*/ {0, -1, -1},
  4633. /*04629*/ {0, -1, -1},
  4634. /*04630*/ {0, -1, -1},
  4635. /*04631*/ {0, -1, -1},
  4636. /*04632*/ {0, -1, -1},
  4637. /*04633*/ {0, -1, -1},
  4638. /*04634*/ {0, -1, -1},
  4639. /*04635*/ {0, -1, -1},
  4640. /*04636*/ {0, -1, -1},
  4641. /*04637*/ {0, -1, -1},
  4642. /*04638*/ {0, -1, -1},
  4643. /*04639*/ {0, -1, -1},
  4644. /*04640*/ {0, -1, -1},
  4645. /*04641*/ {0, -1, -1},
  4646. /*04642*/ {0, -1, -1},
  4647. /*04643*/ {0, -1, -1},
  4648. /*04644*/ {0, -1, -1},
  4649. /*04645*/ {0, -1, -1},
  4650. /*04646*/ {0, -1, -1},
  4651. /*04647*/ {0, -1, -1},
  4652. /*04648*/ {0, -1, -1},
  4653. /*04649*/ {0, -1, -1},
  4654. /*04650*/ {0, -1, -1},
  4655. /*04651*/ {0, -1, -1},
  4656. /*04652*/ {93, -1, -1},
  4657. /*04653*/ {95, -1, -1},
  4658. /*04654*/ {96, -1, -1},
  4659. /*04655*/ {0, -1, -1},
  4660. /*04656*/ {98, -1, -1},
  4661. /*04657*/ {0, -1, -1},
  4662. /*04658*/ {100, -1, -1},
  4663. /*04659*/ {0, -1, -1},
  4664. /*04660*/ {102, -1, -1},
  4665. /*04661*/ {104, -1, -1},
  4666. /*04662*/ {105, -1, -1},
  4667. /*04663*/ {0, -1, -1},
  4668. /*04664*/ {107, -1, -1},
  4669. /*04665*/ {0, -1, -1},
  4670. /*04666*/ {109, -1, -1},
  4671. /*04667*/ {0, -1, -1},
  4672. /*04668*/ {111, -1, -1},
  4673. /*04669*/ {0, -1, -1},
  4674. /*04670*/ {113, -1, -1},
  4675. /*04671*/ {0, -1, -1},
  4676. /*04672*/ {115, -1, -1},
  4677. /*04673*/ {0, -1, -1},
  4678. /*04674*/ {117, -1, -1},
  4679. /*04675*/ {119, -1, -1},
  4680. /*04676*/ {120, -1, -1},
  4681. /*04677*/ {122, -1, -1},
  4682. /*04678*/ {4694, 27, 2},
  4683. /*04679*/ {4706, 27, 2},
  4684. /*04680*/ {4718, 27, 2},
  4685. /*04681*/ {4726, 27, 2},
  4686. /*04682*/ {4732, 36, 1},
  4687. /*04683*/ {0, -1, -1},
  4688. /*04684*/ {4734, 36, 1},
  4689. /*04685*/ {0, -1, -1},
  4690. /*04686*/ {0, -1, -1},
  4691. /*04687*/ {4736, 27, 2},
  4692. /*04688*/ {0, -1, -1},
  4693. /*04689*/ {0, -1, -1},
  4694. /*04690*/ {0, -1, -1},
  4695. /*04691*/ {0, -1, -1},
  4696. /*04692*/ {0, -1, -1},
  4697. /*04693*/ {0, -1, -1},
  4698. /*04694*/ {4698, 36, 1},
  4699. /*04695*/ {4700, 36, 1},
  4700. /*04696*/ {4702, 36, 1},
  4701. /*04697*/ {4704, 36, 1},
  4702. /*04698*/ {94, -1, -1},
  4703. /*04699*/ {0, -1, -1},
  4704. /*04700*/ {97, -1, -1},
  4705. /*04701*/ {0, -1, -1},
  4706. /*04702*/ {99, -1, -1},
  4707. /*04703*/ {0, -1, -1},
  4708. /*04704*/ {101, -1, -1},
  4709. /*04705*/ {0, -1, -1},
  4710. /*04706*/ {4710, 36, 1},
  4711. /*04707*/ {4712, 36, 1},
  4712. /*04708*/ {4714, 36, 1},
  4713. /*04709*/ {4716, 36, 1},
  4714. /*04710*/ {103, -1, -1},
  4715. /*04711*/ {0, -1, -1},
  4716. /*04712*/ {106, -1, -1},
  4717. /*04713*/ {0, -1, -1},
  4718. /*04714*/ {108, -1, -1},
  4719. /*04715*/ {0, -1, -1},
  4720. /*04716*/ {110, -1, -1},
  4721. /*04717*/ {0, -1, -1},
  4722. /*04718*/ {0, -1, -1},
  4723. /*04719*/ {0, -1, -1},
  4724. /*04720*/ {4722, 36, 1},
  4725. /*04721*/ {4724, 36, 1},
  4726. /*04722*/ {112, -1, -1},
  4727. /*04723*/ {0, -1, -1},
  4728. /*04724*/ {114, -1, -1},
  4729. /*04725*/ {0, -1, -1},
  4730. /*04726*/ {0, -1, -1},
  4731. /*04727*/ {0, -1, -1},
  4732. /*04728*/ {4730, 36, 1},
  4733. /*04729*/ {0, -1, -1},
  4734. /*04730*/ {116, -1, -1},
  4735. /*04731*/ {0, -1, -1},
  4736. /*04732*/ {123, -1, -1},
  4737. /*04733*/ {0, -1, -1},
  4738. /*04734*/ {124, -1, -1},
  4739. /*04735*/ {0, -1, -1},
  4740. /*04736*/ {4740, 36, 1},
  4741. /*04737*/ {4742, 36, 1},
  4742. /*04738*/ {0, -1, -1},
  4743. /*04739*/ {0, -1, -1},
  4744. /*04740*/ {118, -1, -1},
  4745. /*04741*/ {0, -1, -1},
  4746. /*04742*/ {121, -1, -1},
  4747. /*04743*/ {0, -1, -1},
  4748. /*04744*/ {1322, -1, -1},
  4749. /*04745*/ {1323, -1, -1},
  4750. /*04746*/ {1324, -1, -1},
  4751. /*04747*/ {1325, -1, -1},
  4752. /*04748*/ {1326, -1, -1},
  4753. /*04749*/ {1327, -1, -1},
  4754. /*04750*/ {1328, -1, -1},
  4755. /*04751*/ {1329, -1, -1},
  4756. /*04752*/ {1330, -1, -1},
  4757. /*04753*/ {1331, -1, -1},
  4758. /*04754*/ {1332, -1, -1},
  4759. /*04755*/ {1333, -1, -1},
  4760. /*04756*/ {1334, -1, -1},
  4761. /*04757*/ {1335, -1, -1},
  4762. /*04758*/ {1336, -1, -1},
  4763. /*04759*/ {1337, -1, -1},
  4764. /*04760*/ {1338, -1, -1},
  4765. /*04761*/ {1339, -1, -1},
  4766. /*04762*/ {1340, -1, -1},
  4767. /*04763*/ {1341, -1, -1},
  4768. /*04764*/ {1342, -1, -1},
  4769. /*04765*/ {1343, -1, -1},
  4770. /*04766*/ {1344, -1, -1},
  4771. /*04767*/ {1345, -1, -1},
  4772. /*04768*/ {1346, -1, -1},
  4773. /*04769*/ {1347, -1, -1},
  4774. /*04770*/ {1348, -1, -1},
  4775. /*04771*/ {1349, -1, -1},
  4776. /*04772*/ {1350, -1, -1},
  4777. /*04773*/ {1351, -1, -1},
  4778. /*04774*/ {1352, -1, -1},
  4779. /*04775*/ {1353, -1, -1},
  4780. /*04776*/ {4784, 36, 1},
  4781. /*04777*/ {4790, 36, 1},
  4782. /*04778*/ {4796, 36, 1},
  4783. /*04779*/ {4802, 36, 1},
  4784. /*04780*/ {4808, 12, 1},
  4785. /*04781*/ {4810, 12, 1},
  4786. /*04782*/ {4812, 12, 1},
  4787. /*04783*/ {4814, 12, 1},
  4788. /*04784*/ {4786, 12, 1},
  4789. /*04785*/ {4788, 12, 1},
  4790. /*04786*/ {21, -1, -1},
  4791. /*04787*/ {24, -1, -1},
  4792. /*04788*/ {45, -1, -1},
  4793. /*04789*/ {48, -1, -1},
  4794. /*04790*/ {4792, 12, 1},
  4795. /*04791*/ {4794, 12, 1},
  4796. /*04792*/ {27, -1, -1},
  4797. /*04793*/ {30, -1, -1},
  4798. /*04794*/ {51, -1, -1},
  4799. /*04795*/ {54, -1, -1},
  4800. /*04796*/ {4798, 12, 1},
  4801. /*04797*/ {4800, 12, 1},
  4802. /*04798*/ {33, -1, -1},
  4803. /*04799*/ {36, -1, -1},
  4804. /*04800*/ {57, -1, -1},
  4805. /*04801*/ {60, -1, -1},
  4806. /*04802*/ {4804, 12, 1},
  4807. /*04803*/ {4806, 12, 1},
  4808. /*04804*/ {39, -1, -1},
  4809. /*04805*/ {42, -1, -1},
  4810. /*04806*/ {63, -1, -1},
  4811. /*04807*/ {66, -1, -1},
  4812. /*04808*/ {69, -1, -1},
  4813. /*04809*/ {72, -1, -1},
  4814. /*04810*/ {75, -1, -1},
  4815. /*04811*/ {78, -1, -1},
  4816. /*04812*/ {81, -1, -1},
  4817. /*04813*/ {84, -1, -1},
  4818. /*04814*/ {87, -1, -1},
  4819. /*04815*/ {90, -1, -1},
  4820. /*04816*/ {4824, 36, 1},
  4821. /*04817*/ {4830, 36, 1},
  4822. /*04818*/ {4836, 36, 1},
  4823. /*04819*/ {4842, 36, 1},
  4824. /*04820*/ {4848, 12, 1},
  4825. /*04821*/ {4850, 12, 1},
  4826. /*04822*/ {4852, 12, 1},
  4827. /*04823*/ {4854, 12, 1},
  4828. /*04824*/ {4826, 12, 1},
  4829. /*04825*/ {4828, 12, 1},
  4830. /*04826*/ {21, -1, -1},
  4831. /*04827*/ {24, -1, -1},
  4832. /*04828*/ {45, -1, -1},
  4833. /*04829*/ {48, -1, -1},
  4834. /*04830*/ {4832, 12, 1},
  4835. /*04831*/ {4834, 12, 1},
  4836. /*04832*/ {27, -1, -1},
  4837. /*04833*/ {30, -1, -1},
  4838. /*04834*/ {51, -1, -1},
  4839. /*04835*/ {54, -1, -1},
  4840. /*04836*/ {4838, 12, 1},
  4841. /*04837*/ {4840, 12, 1},
  4842. /*04838*/ {33, -1, -1},
  4843. /*04839*/ {36, -1, -1},
  4844. /*04840*/ {57, -1, -1},
  4845. /*04841*/ {60, -1, -1},
  4846. /*04842*/ {4844, 12, 1},
  4847. /*04843*/ {4846, 12, 1},
  4848. /*04844*/ {39, -1, -1},
  4849. /*04845*/ {42, -1, -1},
  4850. /*04846*/ {63, -1, -1},
  4851. /*04847*/ {66, -1, -1},
  4852. /*04848*/ {69, -1, -1},
  4853. /*04849*/ {72, -1, -1},
  4854. /*04850*/ {75, -1, -1},
  4855. /*04851*/ {78, -1, -1},
  4856. /*04852*/ {81, -1, -1},
  4857. /*04853*/ {84, -1, -1},
  4858. /*04854*/ {87, -1, -1},
  4859. /*04855*/ {90, -1, -1},
  4860. /*04856*/ {1354, -1, -1},
  4861. /*04857*/ {1355, -1, -1},
  4862. /*04858*/ {1356, -1, -1},
  4863. /*04859*/ {1357, -1, -1},
  4864. /*04860*/ {1358, -1, -1},
  4865. /*04861*/ {1359, -1, -1},
  4866. /*04862*/ {1360, -1, -1},
  4867. /*04863*/ {1361, -1, -1},
  4868. /*04864*/ {4872, 6, 3},
  4869. /*04865*/ {4882, 6, 3},
  4870. /*04866*/ {4892, 6, 3},
  4871. /*04867*/ {4902, 6, 3},
  4872. /*04868*/ {4912, 6, 3},
  4873. /*04869*/ {4922, 6, 3},
  4874. /*04870*/ {4932, 6, 3},
  4875. /*04871*/ {4942, 6, 3},
  4876. /*04872*/ {4880, 12, 1},
  4877. /*04873*/ {0, -1, -1},
  4878. /*04874*/ {0, -1, -1},
  4879. /*04875*/ {0, -1, -1},
  4880. /*04876*/ {0, -1, -1},
  4881. /*04877*/ {0, -1, -1},
  4882. /*04878*/ {0, -1, -1},
  4883. /*04879*/ {0, -1, -1},
  4884. /*04880*/ {1557, -1, -1},
  4885. /*04881*/ {1558, -1, -1},
  4886. /*04882*/ {4890, 12, 1},
  4887. /*04883*/ {0, -1, -1},
  4888. /*04884*/ {0, -1, -1},
  4889. /*04885*/ {0, -1, -1},
  4890. /*04886*/ {0, -1, -1},
  4891. /*04887*/ {0, -1, -1},
  4892. /*04888*/ {0, -1, -1},
  4893. /*04889*/ {0, -1, -1},
  4894. /*04890*/ {1559, -1, -1},
  4895. /*04891*/ {1560, -1, -1},
  4896. /*04892*/ {4900, 12, 1},
  4897. /*04893*/ {0, -1, -1},
  4898. /*04894*/ {0, -1, -1},
  4899. /*04895*/ {0, -1, -1},
  4900. /*04896*/ {0, -1, -1},
  4901. /*04897*/ {0, -1, -1},
  4902. /*04898*/ {0, -1, -1},
  4903. /*04899*/ {0, -1, -1},
  4904. /*04900*/ {1561, -1, -1},
  4905. /*04901*/ {1562, -1, -1},
  4906. /*04902*/ {4910, 12, 1},
  4907. /*04903*/ {0, -1, -1},
  4908. /*04904*/ {0, -1, -1},
  4909. /*04905*/ {0, -1, -1},
  4910. /*04906*/ {0, -1, -1},
  4911. /*04907*/ {0, -1, -1},
  4912. /*04908*/ {0, -1, -1},
  4913. /*04909*/ {0, -1, -1},
  4914. /*04910*/ {1563, -1, -1},
  4915. /*04911*/ {1564, -1, -1},
  4916. /*04912*/ {4920, 12, 1},
  4917. /*04913*/ {0, -1, -1},
  4918. /*04914*/ {0, -1, -1},
  4919. /*04915*/ {0, -1, -1},
  4920. /*04916*/ {0, -1, -1},
  4921. /*04917*/ {0, -1, -1},
  4922. /*04918*/ {0, -1, -1},
  4923. /*04919*/ {0, -1, -1},
  4924. /*04920*/ {1565, -1, -1},
  4925. /*04921*/ {1566, -1, -1},
  4926. /*04922*/ {4930, 12, 1},
  4927. /*04923*/ {0, -1, -1},
  4928. /*04924*/ {0, -1, -1},
  4929. /*04925*/ {0, -1, -1},
  4930. /*04926*/ {0, -1, -1},
  4931. /*04927*/ {0, -1, -1},
  4932. /*04928*/ {0, -1, -1},
  4933. /*04929*/ {0, -1, -1},
  4934. /*04930*/ {1567, -1, -1},
  4935. /*04931*/ {1568, -1, -1},
  4936. /*04932*/ {4940, 12, 1},
  4937. /*04933*/ {0, -1, -1},
  4938. /*04934*/ {0, -1, -1},
  4939. /*04935*/ {0, -1, -1},
  4940. /*04936*/ {0, -1, -1},
  4941. /*04937*/ {0, -1, -1},
  4942. /*04938*/ {0, -1, -1},
  4943. /*04939*/ {0, -1, -1},
  4944. /*04940*/ {1569, -1, -1},
  4945. /*04941*/ {1570, -1, -1},
  4946. /*04942*/ {4950, 12, 1},
  4947. /*04943*/ {0, -1, -1},
  4948. /*04944*/ {0, -1, -1},
  4949. /*04945*/ {0, -1, -1},
  4950. /*04946*/ {0, -1, -1},
  4951. /*04947*/ {0, -1, -1},
  4952. /*04948*/ {0, -1, -1},
  4953. /*04949*/ {0, -1, -1},
  4954. /*04950*/ {1571, -1, -1},
  4955. /*04951*/ {1572, -1, -1},
  4956. /*04952*/ {4960, 36, 1},
  4957. /*04953*/ {4966, 36, 1},
  4958. /*04954*/ {4972, 36, 1},
  4959. /*04955*/ {4978, 36, 1},
  4960. /*04956*/ {4984, 12, 1},
  4961. /*04957*/ {4986, 12, 1},
  4962. /*04958*/ {4988, 12, 1},
  4963. /*04959*/ {4990, 12, 1},
  4964. /*04960*/ {4962, 12, 1},
  4965. /*04961*/ {4964, 12, 1},
  4966. /*04962*/ {22, -1, -1},
  4967. /*04963*/ {25, -1, -1},
  4968. /*04964*/ {46, -1, -1},
  4969. /*04965*/ {49, -1, -1},
  4970. /*04966*/ {4968, 12, 1},
  4971. /*04967*/ {4970, 12, 1},
  4972. /*04968*/ {28, -1, -1},
  4973. /*04969*/ {31, -1, -1},
  4974. /*04970*/ {52, -1, -1},
  4975. /*04971*/ {55, -1, -1},
  4976. /*04972*/ {4974, 12, 1},
  4977. /*04973*/ {4976, 12, 1},
  4978. /*04974*/ {34, -1, -1},
  4979. /*04975*/ {37, -1, -1},
  4980. /*04976*/ {58, -1, -1},
  4981. /*04977*/ {61, -1, -1},
  4982. /*04978*/ {4980, 12, 1},
  4983. /*04979*/ {4982, 12, 1},
  4984. /*04980*/ {40, -1, -1},
  4985. /*04981*/ {43, -1, -1},
  4986. /*04982*/ {64, -1, -1},
  4987. /*04983*/ {67, -1, -1},
  4988. /*04984*/ {70, -1, -1},
  4989. /*04985*/ {73, -1, -1},
  4990. /*04986*/ {76, -1, -1},
  4991. /*04987*/ {79, -1, -1},
  4992. /*04988*/ {82, -1, -1},
  4993. /*04989*/ {85, -1, -1},
  4994. /*04990*/ {88, -1, -1},
  4995. /*04991*/ {91, -1, -1},
  4996. /*04992*/ {5000, 36, 1},
  4997. /*04993*/ {5006, 36, 1},
  4998. /*04994*/ {5012, 36, 1},
  4999. /*04995*/ {5018, 36, 1},
  5000. /*04996*/ {5024, 12, 1},
  5001. /*04997*/ {5026, 12, 1},
  5002. /*04998*/ {5028, 12, 1},
  5003. /*04999*/ {5030, 12, 1},
  5004. /*05000*/ {5002, 12, 1},
  5005. /*05001*/ {5004, 12, 1},
  5006. /*05002*/ {22, -1, -1},
  5007. /*05003*/ {25, -1, -1},
  5008. /*05004*/ {46, -1, -1},
  5009. /*05005*/ {49, -1, -1},
  5010. /*05006*/ {5008, 12, 1},
  5011. /*05007*/ {5010, 12, 1},
  5012. /*05008*/ {28, -1, -1},
  5013. /*05009*/ {31, -1, -1},
  5014. /*05010*/ {52, -1, -1},
  5015. /*05011*/ {55, -1, -1},
  5016. /*05012*/ {5014, 12, 1},
  5017. /*05013*/ {5016, 12, 1},
  5018. /*05014*/ {34, -1, -1},
  5019. /*05015*/ {37, -1, -1},
  5020. /*05016*/ {58, -1, -1},
  5021. /*05017*/ {61, -1, -1},
  5022. /*05018*/ {5020, 12, 1},
  5023. /*05019*/ {5022, 12, 1},
  5024. /*05020*/ {40, -1, -1},
  5025. /*05021*/ {43, -1, -1},
  5026. /*05022*/ {64, -1, -1},
  5027. /*05023*/ {67, -1, -1},
  5028. /*05024*/ {70, -1, -1},
  5029. /*05025*/ {73, -1, -1},
  5030. /*05026*/ {76, -1, -1},
  5031. /*05027*/ {79, -1, -1},
  5032. /*05028*/ {82, -1, -1},
  5033. /*05029*/ {85, -1, -1},
  5034. /*05030*/ {88, -1, -1},
  5035. /*05031*/ {91, -1, -1},
  5036. /*05032*/ {1362, -1, -1},
  5037. /*05033*/ {1363, -1, -1},
  5038. /*05034*/ {1364, -1, -1},
  5039. /*05035*/ {1365, -1, -1},
  5040. /*05036*/ {1366, -1, -1},
  5041. /*05037*/ {1367, -1, -1},
  5042. /*05038*/ {1368, -1, -1},
  5043. /*05039*/ {1369, -1, -1},
  5044. /*05040*/ {5048, 12, 1},
  5045. /*05041*/ {5050, 12, 1},
  5046. /*05042*/ {5052, 12, 1},
  5047. /*05043*/ {5054, 12, 1},
  5048. /*05044*/ {5056, 12, 1},
  5049. /*05045*/ {5058, 12, 1},
  5050. /*05046*/ {5060, 12, 1},
  5051. /*05047*/ {5062, 12, 1},
  5052. /*05048*/ {1573, -1, -1},
  5053. /*05049*/ {1574, -1, -1},
  5054. /*05050*/ {1575, -1, -1},
  5055. /*05051*/ {1576, -1, -1},
  5056. /*05052*/ {1577, -1, -1},
  5057. /*05053*/ {1578, -1, -1},
  5058. /*05054*/ {1579, -1, -1},
  5059. /*05055*/ {1580, -1, -1},
  5060. /*05056*/ {1581, -1, -1},
  5061. /*05057*/ {1582, -1, -1},
  5062. /*05058*/ {1583, -1, -1},
  5063. /*05059*/ {1584, -1, -1},
  5064. /*05060*/ {1585, -1, -1},
  5065. /*05061*/ {1586, -1, -1},
  5066. /*05062*/ {1587, -1, -1},
  5067. /*05063*/ {1588, -1, -1},
  5068. /*05064*/ {5072, 36, 1},
  5069. /*05065*/ {5078, 36, 1},
  5070. /*05066*/ {5084, 36, 1},
  5071. /*05067*/ {5090, 36, 1},
  5072. /*05068*/ {5096, 12, 1},
  5073. /*05069*/ {5098, 12, 1},
  5074. /*05070*/ {5100, 12, 1},
  5075. /*05071*/ {5102, 12, 1},
  5076. /*05072*/ {5074, 12, 1},
  5077. /*05073*/ {5076, 12, 1},
  5078. /*05074*/ {23, -1, -1},
  5079. /*05075*/ {26, -1, -1},
  5080. /*05076*/ {47, -1, -1},
  5081. /*05077*/ {50, -1, -1},
  5082. /*05078*/ {5080, 12, 1},
  5083. /*05079*/ {5082, 12, 1},
  5084. /*05080*/ {29, -1, -1},
  5085. /*05081*/ {32, -1, -1},
  5086. /*05082*/ {53, -1, -1},
  5087. /*05083*/ {56, -1, -1},
  5088. /*05084*/ {5086, 12, 1},
  5089. /*05085*/ {5088, 12, 1},
  5090. /*05086*/ {35, -1, -1},
  5091. /*05087*/ {38, -1, -1},
  5092. /*05088*/ {59, -1, -1},
  5093. /*05089*/ {62, -1, -1},
  5094. /*05090*/ {5092, 12, 1},
  5095. /*05091*/ {5094, 12, 1},
  5096. /*05092*/ {41, -1, -1},
  5097. /*05093*/ {44, -1, -1},
  5098. /*05094*/ {65, -1, -1},
  5099. /*05095*/ {68, -1, -1},
  5100. /*05096*/ {71, -1, -1},
  5101. /*05097*/ {74, -1, -1},
  5102. /*05098*/ {77, -1, -1},
  5103. /*05099*/ {80, -1, -1},
  5104. /*05100*/ {83, -1, -1},
  5105. /*05101*/ {86, -1, -1},
  5106. /*05102*/ {89, -1, -1},
  5107. /*05103*/ {92, -1, -1},
  5108. /*05104*/ {5112, 36, 1},
  5109. /*05105*/ {5118, 36, 1},
  5110. /*05106*/ {5124, 36, 1},
  5111. /*05107*/ {5130, 36, 1},
  5112. /*05108*/ {5136, 12, 1},
  5113. /*05109*/ {5138, 12, 1},
  5114. /*05110*/ {5140, 12, 1},
  5115. /*05111*/ {5142, 12, 1},
  5116. /*05112*/ {5114, 12, 1},
  5117. /*05113*/ {5116, 12, 1},
  5118. /*05114*/ {23, -1, -1},
  5119. /*05115*/ {26, -1, -1},
  5120. /*05116*/ {47, -1, -1},
  5121. /*05117*/ {50, -1, -1},
  5122. /*05118*/ {5120, 12, 1},
  5123. /*05119*/ {5122, 12, 1},
  5124. /*05120*/ {29, -1, -1},
  5125. /*05121*/ {32, -1, -1},
  5126. /*05122*/ {53, -1, -1},
  5127. /*05123*/ {56, -1, -1},
  5128. /*05124*/ {5126, 12, 1},
  5129. /*05125*/ {5128, 12, 1},
  5130. /*05126*/ {35, -1, -1},
  5131. /*05127*/ {38, -1, -1},
  5132. /*05128*/ {59, -1, -1},
  5133. /*05129*/ {62, -1, -1},
  5134. /*05130*/ {5132, 12, 1},
  5135. /*05131*/ {5134, 12, 1},
  5136. /*05132*/ {41, -1, -1},
  5137. /*05133*/ {44, -1, -1},
  5138. /*05134*/ {65, -1, -1},
  5139. /*05135*/ {68, -1, -1},
  5140. /*05136*/ {71, -1, -1},
  5141. /*05137*/ {74, -1, -1},
  5142. /*05138*/ {77, -1, -1},
  5143. /*05139*/ {80, -1, -1},
  5144. /*05140*/ {83, -1, -1},
  5145. /*05141*/ {86, -1, -1},
  5146. /*05142*/ {89, -1, -1},
  5147. /*05143*/ {92, -1, -1},
  5148. /*05144*/ {1373, -1, -1},
  5149. /*05145*/ {5146, 34, 2},
  5150. /*05146*/ {1370, -1, -1},
  5151. /*05147*/ {0, -1, -1},
  5152. /*05148*/ {1372, -1, -1},
  5153. /*05149*/ {1371, -1, -1}
  5154. };