- L0 =
[3341656, 466925680, 6283075, 34894, 462610241, 12566151, 3417, 282886579, 3523, 3497, 274411800, 5753384, 3135, 362767041, 77713771, 2676, 441808351, 7860419, 2342, 613516237, 3930209, 1273, 203709655, 529690, 1324, 74246356, 11506769, 901, 204505443, 26298, 1199, 110962944, 1577343, 857, 350849156, 398149, 779, 117882652, 5223693, 990, 523268129, 5884926, 753, 253339053, 5507553, 505, 458292563, 18849227, 492, 420506639, 775522, 356, 291954116, 67, 284, 189869034, 796298, 242, 34481140, 5486777, 317, 584901952, 11790629, 271, 31488607, 10977078, 206, 480646606, 2544314, 205, 186947813, 5573142, 202, 245767795, 6069776, 126, 108302630, 20775, 155, 83306073, 213299, 115, 64544911, 980, 102, 63599846, 4694002]
- L1 =
[206058, 267823455, 6283075, 4303, 263512650, 12566151, 425, 159046980, 3523, 108, 296618001, 1577343, 93, 259212835, 18849227, 119, 579557487, 26298, 72, 113846158, 529690, 67, 187472304, 398149, 67, 440918235, 5507553, 59, 288797038, 5223693, 55, 217471680, 155420, 45, 39803079, 796298, 36, 46624739, 775522, 28, 264707383, 7113]
- L2 =
[8719, 107209665, 6283075, 309, 86728818, 12566151, 27, 5297871, 3523, 16, 518826691, 26298, 15, 368457889, 155420, 9, 75742297, 18849227]
- B0 =
[279, 319870156, 84334661, 101, 542248619, 5507553, 80, 388013204, 5223693, 43, 370444689, 2352866, 31, 400026369, 1577343, 22, 398473831, 1047747, 16, 356456119, 5856477, 18, 498367470, 6283075, 14, 370275614, 9437762, 14, 341117857, 10213285, 11, 482820690, 14143495, 10, 208574562, 6812766, 9, 347303947, 4694002, 10, 405663927, 71092881, 8, 444016515, 5753384, 8, 499251512, 7084896, 6, 432559054, 6275962, 9, 114182646, 6620890, 7, 360193205, 529690, 7, 555425745, 167621575, 5, 248446991, 4705732, 5, 624992674, 18073704, 4, 233827747, 6309374, 5, 441023653, 7860419, 4, 70995680, 5884926, 4, 110255777, 6681224, 3, 182229412, 5486777, 4, 511700141, 13367972, 3, 43793170, 3154687]
- B1 =
[9, 389729061, 5507553, 6, 173038850, 5223693, 3, 524404145, 2352866, 2, 247345037, 1577343, 1, 41874743, 6283075, 1, 183320979, 5856477, 1, 569401926, 5753384, 1, 218890066, 9437762, 1, 495222451, 10213285, 1, 12866660, 7860419]
- B2 =
[1, 162703209, 84334661]
- R0 =
[100013988, 0, 0, 1670699, 309846350, 6283075, 13956, 305524609, 12566151, 3083, 519846674, 77713771, 1628, 117387749, 5753384, 1575, 284685245, 7860419, 924, 545292234, 11506769, 542, 456409149, 3930209, 472, 366100022, 5884926, 328, 589983646, 5223693, 345, 96368617, 5507553, 306, 29867139, 5573142, 174, 301193636, 18849227, 243, 427349536, 11790629, 211, 584714540, 1577343, 185, 502194447, 10977078, 109, 505510636, 5486777, 98, 88681311, 6069776, 86, 568959778, 15720838, 85, 127083733, 161000685, 62, 92177108, 529690, 57, 201374292, 83996847, 64, 27250613, 17260154, 49, 324501240, 2544314, 55, 524159798, 71430695, 42, 601110242, 6275962, 46, 257805070, 775522, 38, 536071738, 4694002, 44, 553715807, 9437762, 35, 167468058, 12036460]
- R1 =
[103018, 110748969, 6283075, 1721, 106442301, 12566151, 702, 314159265, 0, 32, 102169059, 18849227, 30, 284353804, 5507553, 24, 131906709, 5223693, 18, 142429748, 1577343, 10, 591378194, 10977078, 8, 27146150, 5486777, 8, 142046854, 6275962, 5, 168613426, 5088628, 4, 601401770, 6286598, 4, 598724494, 529690, 4, 51800238, 4694002, 3, 474969833, 2544314]
- R2 =
[4359, 578455133, 6283075, 123, 557934722, 12566151, 12, 314159265, 0, 8, 362777733, 77713771, 5, 186958905, 5573142, 3, 547027913, 18849227, 1, 448028885, 5507553]