- L0 =
[18656368, 505037100, 3340612, 1108216, 540099836, 6681224, 91798, 575478745, 10021837, 27744, 597049512, 3523, 10610, 293958524, 2281230, 12315, 84956081, 2810921, 8926, 415697845, 17, 8715, 611005159, 13362449, 6797, 36462243, 398149, 7774, 333968655, 5621842, 3575, 166186540, 2544314, 4161, 22814975, 2942463, 3075, 85696597, 191448, 2628, 64806143, 3337089, 2937, 607893711, 67, 2389, 503896401, 796298, 2579, 2996706, 3344135, 1528, 114979306, 6151533, 1798, 65634026, 529690, 1264, 362275092, 5092151, 1286, 306795924, 2146165, 1546, 291579633, 1751539, 1024, 369334293, 8962455, 891, 18293899, 16703062, 858, 240093704, 2914014, 832, 246418591, 3340595, 832, 449495753, 3340629, 712, 366336014, 1059381, 748, 382248399, 155420, 723, 67497565, 3738761, 635, 292182704, 8432764, 655, 48864075, 3127313, 550, 381001205, 980, 552, 447478863, 1748016, 425, 55365138, 6283075, 415, 49662314, 213299, 472, 362547819, 1194447, 306, 38052862, 6684747, 312, 99853322, 6677701, 293, 422131277, 20775, 302, 448618150, 3532060, 274, 54222141, 3340545, 281, 588163372, 1349867, 231, 128240685, 3870303, 283, 576885494, 3149164, 236, 575504515, 3333498, 274, 13372501, 3340679, 299, 278323705, 6254626, 204, 282133266, 1221848]
- L1 =
[1458227, 360426053, 3340612, 164901, 392631250, 6681224, 19963, 426594061, 10021837, 3452, 473210386, 3523, 2485, 461277567, 13362449, 841, 445858256, 2281230, 537, 501589727, 398149, 521, 499422678, 3344135, 432, 256066402, 191448, 429, 531646162, 155420, 381, 353881289, 796298, 314, 496335266, 16703062, 282, 315967518, 2544314, 205, 456891455, 2146165, 168, 132894813, 3337089, 157, 418501035, 1751539, 133, 223325104, 980, 116, 221347652, 1059381, 117, 602407213, 6151533, 113, 542803224, 3738761, 133, 597421903, 1748016, 91, 109627836, 1349867, 83, 529636626, 6684747, 113, 212869455, 1194447]
- L2 =
[54187, 0, 0, 13908, 245742359, 6681224, 2465, 280000020, 10021837, 398, 314118428, 13362449, 222, 319436080, 3523, 120, 54325292, 155420, 61, 348529427, 16703062, 53, 354191121, 3344135, 34, 600188499, 2281230, 31, 414015171, 191448, 29, 199870679, 796298, 23, 433403365, 242728, 21, 344532466, 398149, 16, 611000472, 2146165]
- B0 =
[3197134, 376832042, 3340612, 298033, 410616996, 6681224, 289104, 0, 0, 31365, 444651052, 10021837, 3484, 478812547, 13362449, 442, 565233015, 3337089, 443, 502642620, 3344135, 399, 513056814, 16703062, 292, 379290644, 2281230, 181, 613648011, 6151533, 163, 426399626, 529690, 159, 223194610, 1059381, 139, 241796344, 8962455, 149, 216501209, 5621842, 142, 118215016, 3340595, 142, 321292180, 3340629, 82, 536667872, 6684747, 73, 509187524, 398149, 72, 553775710, 6283075, 86, 574429648, 3738761, 83, 598866315, 6677701, 60, 367960808, 796298]
- B1 =
[350068, 536847836, 3340612, 14116, 314159265, 0, 9670, 547877786, 6681224, 1471, 320205766, 10021837, 425, 340843812, 13362449, 102, 77617286, 3337089, 78, 371768293, 16703062, 26, 248293558, 2281230, 32, 345803723, 5621842, 20, 144120802, 6151533, 18, 603102943, 529690, 15, 393075566, 8962455, 16, 481115186, 3344135, 13, 97324736, 6677701]
- B2 =
[16726, 60221392, 3340612, 4986, 314159265, 0, 302, 555871276, 6681224, 25, 189662673, 13362449, 21, 91749968, 10021837, 11, 224240738, 3337089, 7, 224892866, 16703062]
- R0 =
[153033488, 0, 0, 14184953, 347971283, 3340612, 660776, 381783442, 6681224, 46179, 415595316, 10021837, 8109, 555958460, 2810921, 7485, 177238998, 5621842, 5523, 136436318, 2281230, 3825, 449407182, 13362449, 2306, 9081742, 2544314, 1999, 536059605, 3337089, 2484, 492545577, 2942463, 1960, 474249386, 3344135, 1167, 211261501, 5092151, 1102, 500908264, 398149, 899, 440790433, 529690, 992, 583862401, 6151533, 807, 210216647, 1059381, 797, 344839026, 796298, 740, 149906336, 2146165, 692, 213378814, 8962455, 633, 89353285, 3340595, 725, 124516913, 8432764, 633, 292430448, 3340629, 574, 82896196, 2914014, 526, 538292276, 3738761, 629, 128738135, 1751539, 472, 519850457, 3127313, 348, 483219198, 16703062, 283, 290692294, 3532060, 279, 525749247, 6283075, 233, 510546492, 5486777, 219, 558340248, 191448, 269, 376394728, 5884926, 208, 525476080, 3340545, 275, 290818883, 1748016, 275, 121767967, 6254626, 239, 203669896, 1194447, 223, 419861593, 3149164, 182, 508062683, 6684747, 186, 569871555, 6677701, 175, 595341786, 3870303, 178, 418423025, 3333498, 208, 484626442, 3340679, 228, 325529020, 6872673, 144, 21296012, 5088628, 163, 379889068, 4136910, 133, 153910106, 7903073, 141, 247790321, 4562460, 114, 431745088, 1349867, 118, 212178071, 1589072]
- R1 =
[1107433, 203250524, 3340612, 103175, 237071845, 6681224, 12877, 0, 0, 10815, 270888093, 10021837, 1194, 304702182, 13362449, 438, 288835072, 2281230, 395, 342324611, 3344135, 182, 158428644, 2544314, 135, 338507017, 16703062, 128, 62991220, 1059381, 127, 195389775, 796298, 118, 299761345, 2146165, 128, 604343360, 3337089, 87, 342052758, 398149, 83, 385574986, 3738761, 75, 445101839, 6151533, 71, 276442180, 529690, 66, 254892602, 1751539, 54, 67750943, 8962455, 51, 372585409, 6684747, 66, 440597549, 1748016, 47, 228527896, 2914014, 49, 572959428, 3340595, 49, 147717922, 3340629, 57, 54354327, 1194447]
- R2 =
[44242, 47930603, 3340612, 8138, 86998398, 6681224, 1274, 122594050, 10021837, 187, 157298991, 13362449, 40, 197080175, 3344135, 52, 314159265, 0, 26, 191665615, 16703062, 17, 443499505, 2281230, 11, 452510453, 3185192, 10, 539143469, 1059381, 9, 41870577, 796298, 9, 453579272, 2146165, 7, 314218509, 2544314, 7, 229300859, 6684747, 6, 526702580, 155420]