| package org.bouncycastle.pqc.crypto.qtesla; |
| |
| final class PolynomialProvablySecure |
| { |
| |
| /* Provably-Secure qTESLA Security Category-1 */ |
| |
| public static final long[] ZETA_I_P = { /* 1024-Entry */ |
| |
| 152487987, 362708180, 151084668, 393585500, 285507339, 301982154, 215753424, 31155376, |
| 233716852, 465705615, 128512487, 219324660, 50229578, 153034376, 215476824, 300536066, |
| 335024578, 289187646, 164713195, 268061318, 189759369, 377168836, 116435874, 176113053, |
| 431517196, 190900734, 338220498, 464878555, 173361289, 232250039, 454096337, 436656394, |
| 195787662, 168565616, 114027909, 101482211, 122304260, 245339257, 270992315, 4286310, |
| 284182633, 281862863, 467931137, 7603533, 87296419, 467325730, 121905925, 68965750, |
| 7622021, 337743349, 393551614, 47124528, 159423746, 411556895, 272161997, 437233591, |
| 145848369, 293644567, 483816172, 151632492, 404105953, 50166550, 146739314, 412145078, |
| 15864543, 70750806, 129965017, 341088149, 316683907, 350635104, 130053135, 163148141, |
| 121505175, 321911633, 208679484, 294431751, 453314132, 108343178, 347335911, 164705047, |
| 162721550, 207020617, 292545544, 470584726, 172724538, 305647837, 149867383, 362637208, |
| 452440748, 260522302, 286994319, 24740874, 202044444, 119470626, 478104674, 80911411, |
| 414592412, 2221974, 246379318, 129955789, 28799678, 36003616, 152368173, 339611023, |
| 223510693, 291221765, 193132933, 463217793, 331552134, 325636488, 203402489, 295759306, |
| 248357734, 68229047, 81897305, 240159122, 118053748, 317468757, 422053445, 366729953, |
| 437649988, 255661703, 483132783, 73941682, 473070031, 266941830, 273715645, 293305752, |
| 97728261, 387416830, 466510576, 359483415, 350097663, 303812937, 61983368, 110765849, |
| 174098312, 288799426, 21108638, 467492225, 174686783, 248408233, 45473451, 384747267, |
| 405224388, 88952814, 320950556, 7845265, 96262921, 194785009, 345346400, 283984375, |
| 141922183, 197095618, 350922677, 11272999, 89297173, 32109806, 274225692, 315879286, |
| 447761615, 162801357, 472516440, 273754932, 433704551, 12277378, 129604129, 130765873, |
| 341928374, 97220107, 381055612, 81197393, 281134974, 179347952, 39761035, 34072176, |
| 156107747, 160521566, 445615052, 382999431, 114761104, 217307868, 361522659, 154828064, |
| 108616610, 483961979, 7594235, 235284403, 243224032, 389934638, 100293270, 300649913, |
| 252603238, 156952794, 476122165, 413580514, 276718826, 361292064, 361798877, 469444666, |
| 478187612, 366087489, 58364362, 377641792, 464279854, 238407425, 414624898, 95101086, |
| 321027398, 429694956, 464583265, 437187651, 60881585, 385486792, 312091683, 66834498, |
| 233738788, 348037644, 233604363, 107253653, 131016429, 73947604, 169670982, 290195637, |
| 119921194, 271135954, 190934119, 290478001, 458387655, 30555018, 243654544, 445824897, |
| 428159318, 284210623, 380070942, 43667456, 346591135, 469657107, 229110312, 89859525, |
| 279253247, 439931225, 229136222, 321034403, 246424219, 100693825, 214223676, 217294437, |
| 256157960, 295265349, 79251464, 286824915, 454734790, 151846826, 92265815, 248302338, |
| 324806913, 107169154, 198491413, 107136390, 135693521, 363861623, 129717151, 385117374, |
| 341459776, 364530058, 331840615, 338653108, 179941421, 145194323, 232142444, 310117875, |
| 245100240, 236651455, 321450096, 408132892, 459643284, 120999848, 331994388, 466033192, |
| 444350281, 46244984, 349366459, 47312667, 210852290, 461907423, 473508756, 243941159, |
| 334095768, 484392307, 87495054, 79707111, 10325325, 200821060, 83579595, 150963302, |
| 117650353, 241599951, 324099496, 449053341, 36312493, 53120594, 297622605, 80558972, |
| 378548649, 444726854, 381040843, 435710377, 437798831, 409728224, 337424109, 119488440, |
| 361132895, 56096923, 105509808, 62508901, 220866000, 465933834, 134955292, 165152430, |
| 461194453, 94958388, 126965781, 461323542, 383847206, 317476902, 163556720, 256017938, |
| 72928042, 371345649, 72741296, 1132229, 282268470, 212115745, 379618538, 106905134, |
| 239955357, 192105800, 279633365, 261297633, 471571564, 90968104, 459175544, 256276478, |
| 349475049, 94611089, 471946846, 339973147, 179509745, 334215655, 348294589, 246487412, |
| 338690430, 257410736, 386561992, 130193167, 10375815, 352823358, 66528931, 326800610, |
| 5109748, 350056529, 248785466, 71808467, 91140754, 240803382, 46545554, 148468313, |
| 217897756, 178220810, 477609665, 208790805, 132277867, 140742422, 254913327, 28667006, |
| 128372915, 79301382, 407186666, 89552874, 246186501, 285455129, 391678316, 275180688, |
| 128264018, 310322712, 204235493, 392483801, 82342680, 216812163, 464479351, 180360499, |
| 444647478, 203271968, 245690827, 184373912, 109600517, 224566820, 28243984, 271488557, |
| 21295878, 5023179, 37276402, 156173856, 216282463, 114627758, 400597776, 384792625, |
| 105917732, 345779139, 120948814, 379908150, 352765486, 416168777, 56042296, 349589484, |
| 144728793, 388255614, 261690821, 484844902, 12918385, 60552278, 302475143, 407425208, |
| 184843522, 76793749, 43262192, 318572606, 192724017, 307990251, 164548393, 289980843, |
| 119689917, 192248504, 86870040, 113677230, 207612114, 48663937, 453434248, 377339887, |
| 132917063, 336896801, 106411814, 268777744, 109251604, 359574042, 467613823, 362251552, |
| 400195434, 397227950, 447715984, 156476326, 407995653, 323955098, 143648649, 6572585, |
| 61447842, 60823848, 132376333, 156552612, 447237682, 3352830, 437079412, 293474358, |
| 288464703, 15328503, 138579659, 221291483, 380584037, 357161755, 205687364, 479414291, |
| 173269786, 295661628, 1098184, 377981714, 433970464, 385767379, 200391723, 463310671, |
| 470707303, 280545651, 289143978, 1390137, 320221838, 213802405, 52847233, 440579585, |
| 361337171, 467447061, 278099177, 130391690, 112618414, 24013500, 144924227, 296806074, |
| 251842387, 345992943, 284162718, 360902180, 420467337, 110656360, 350012131, 202820082, |
| 130403434, 353559391, 97646151, 331494212, 207981153, 178821640, 6093504, 174655523, |
| 25199097, 350851018, 171708038, 460816830, 103136904, 80524000, 275742304, 458552752, |
| 472541551, 190172218, 362093141, 38733526, 9645818, 67304688, 67935446, 108377230, |
| 311977539, 474309436, 444125532, 103441699, 3468252, 349723698, 97903160, 300076184, |
| 267658035, 238838767, 242177661, 26606481, 135193080, 123327558, 344360834, 367595829, |
| 356606282, 264791463, 257139528, 162368489, 211890949, 55564884, 438861649, 229441471, |
| 237272101, 233185135, 277657399, 407149255, 91300697, 479685681, 430422637, 119519807, |
| 421727840, 192635510, 93585631, 135381498, 18652441, 397908973, 188581729, 232327608, |
| 69565403, 391762415, 326530182, 441347692, 230134217, 64984929, 478944650, 351581551, |
| 190325639, 193670224, 149376075, 211003745, 282313407, 401282565, 142157967, 358980062, |
| 420121767, 23490157, 334750456, 333888004, 267502025, 165819942, 232587558, 86202250, |
| 302042598, 410443459, 257125477, 225677323, 414705770, 25685059, 301886182, 108044670, |
| 22721383, 270234733, 79875762, 146613845, 419895311, 369960062, 103044731, 31676484, |
| 286660070, 419993402, 364984450, 18133974, 446533052, 445715499, 406972835, 163019061, |
| 450202465, 241240654, 188881609, 340298195, 253414624, 384263117, 228275432, 255596801, |
| 10999354, 326104131, 470162945, 345212724, 481147036, 355238387, 445490028, 455415009, |
| 260881193, 427862585, 132654052, 18007865, 59818933, 68142229, 461931681, 213097607, |
| 330845761, 345671100, 445951421, 379951938, 351197187, 411141392, 7263182, 70699592, |
| 365421264, 376472585, 461484665, 162243510, 31855741, 293625046, 335452299, 133496651, |
| 449999480, 91675672, 274948339, 231546888, 5898807, 374453904, 415664585, 187816557, |
| 366875998, 16795888, 358324214, 67223590, 208260807, 81751761, 331910299, 126163909, |
| 197637544, 425142827, 380092754, 432163910, 455820426, 254980283, 256358636, 238549963, |
| 394492520, 207988901, 382035000, 58514991, 406817321, 338951326, 85955701, 385883363, |
| 199611595, 193846573, 242046917, 445871847, 194675932, 153430125, 126399473, 212399985, |
| 131399120, 150281168, 241101682, 424624124, 463829369, 220399539, 250758923, 286498206, |
| 389690457, 295269249, 379701698, 289778634, 337591505, 299401947, 408084588, 222627582, |
| 436090373, 268654172, 96674628, 63939283, 63956567, 362372935, 443759942, 75655989, |
| 451148002, 74813563, 245300859, 92113977, 235932323, 24871709, 445930061, 112311252, |
| 382591591, 341672267, 192081751, 227249338, 104393113, 338268986, 206994950, 319724787, |
| 213198392, 170478760, 37605185, 158287930, 411833228, 74675173, 290411522, 234950252, |
| 147659191, 477676082, 302215477, 236037294, 396241956, 90037635, 71703941, 189694446, |
| 127714437, 72581761, 388695298, 324058182, 307942478, 25250803, 430776557, 98441916, |
| 244856801, 54851167, 334050668, 381066122, 91898087, 55879503, 447270860, 473167653, |
| 219844498, 187193519, 266952433, 391729403, 53226126, 51780224, 371399487, 333787358, |
| 56263300, 280390944, 162069765, 126088217, 254997184, 219544659, 290699753, 91930445, |
| 262038894, 420981566, 460776098, 376255854, 282871085, 189434060, 447641051, 348987773, |
| 393608679, 229566111, 403901447, 471446519, 411894730, 215726740, 484920069, 409829517, |
| 306172231, 65880808, 272668213, 300554215, 165356547, 127919123, 432943738, 184462319, |
| 474779995, 312870826, 103228518, 118983222, 470656522, 71417412, 480528917, 63072121, |
| 276207594, 101611809, 92202812, 400978338, 316767039, 228776701, 96935521, 229917830, |
| 205039402, 397476586, 344074695, 398615665, 107334948, 321477097, 84224896, 289704056, |
| 337221600, 298175575, 221915312, 193369885, 426129039, 447853316, 54842415, 451086232, |
| 182463979, 451831604, 247440983, 302608727, 173057620, 189163830, 406954853, 263838955, |
| 390119120, 323062166, 209857219, 233847360, 397630721, 465926004, 10245195, 426687348, |
| 106435173, 177694955, 463447907, 18002511, 30155910, 224512318, 357311179, 265219392, |
| 299513685, 30291602, 60997329, 10326191, 138035293, 231111502, 414088384, 77026622, |
| 174972782, 4116187, 52092276, 228872080, 15308807, 286405235, 414584533, 228392331, |
| 399460999, 219125940, 337293712, 187192073, 183965759, 229399789, 51179285, 419512139, |
| 28392143, 424986565, 69672656, 202415584, 216120556, 455470549, 76078626, 278191677, |
| 228751917, 246802857, 389799018, 342470047, 313959017, 69383448, 340686475, 61470385, |
| 26192776, 409901437, 119717553, 174793260, 123425866, 250300643, 429290586, 387248439, |
| 183926914, 285901994, 391555377, 468207735, 22116415, 13034202, 399447558, 317569778, |
| 269660832, 44359608, 57347786, 225367797, 253610604, 205790505, 20120029, 285335246, |
| 351522795, 256987219, 358102627, 167191360, 50532216, 327731504, 369248325, 460123994, |
| 266415358, 194297404, 175124754, 431803266, 172719791, 347394909, 478670700, 198769524, |
| 172061925, 145181173, 153659180, 261113394, 234615141, 174150073, 188625016, 395363348, |
| 356478592, 350375496, 185431871, 422914531, 144616554, 328948119, 417580486, 132620154, |
| 208514724, 323125199, 169409944, 209437217, 147304756, 313577692, 467533131, 102365927, |
| 353952516, 47854485, 378899191, 136952166, 46435149, 470355414, 328058320, 292689847, |
| 24707084, 114822297, 272180086, 182640159, 7628028, 408073454, 377046674, 214221064, |
| 472655903, 91461227, 453378209, 459785635, 126296748, 7369666, 52466342, 269961618, |
| 231883972, 233439994, 228009066, 436059177, 355741338, 103186287, 391072528, 386169816, |
| 317017329, 449528664, 378844336, 330396197, 137599363, 20911303, 288139426, 164788880, |
| 266741184, 89618721, 54677577, 457226242, 208474107, 240521207, 158524358, 480614438, |
| 226941889, 385643536, 326188597, 389903564, 264886102, 226747931, 258540220, 407142392 |
| |
| }; |
| |
| public static final long[] ZETA_INVERSE_I_P = { /* 1024-Entry */ |
| |
| 227437893, 259230182, 221092011, 96074549, 159789516, 100334577, 259036224, 5363675, |
| 327453755, 245456906, 277504006, 28751871, 431300536, 396359392, 219236929, 321189233, |
| 197838687, 465066810, 348378750, 155581916, 107133777, 36449449, 168960784, 99808297, |
| 94905585, 382791826, 130236775, 49918936, 257969047, 252538119, 254094141, 216016495, |
| 433511771, 478608447, 359681365, 26192478, 32599904, 394516886, 13322210, 271757049, |
| 108931439, 77904659, 478350085, 303337954, 213798027, 371155816, 461271029, 193288266, |
| 157919793, 15622699, 439542964, 349025947, 107078922, 438123628, 132025597, 383612186, |
| 18444982, 172400421, 338673357, 276540896, 316568169, 162852914, 277463389, 353357959, |
| 68397627, 157029994, 341361559, 63063582, 300546242, 135602617, 129499521, 90614765, |
| 297353097, 311828040, 251362972, 224864719, 332318933, 340796940, 313916188, 287208589, |
| 7307413, 138583204, 313258322, 54174847, 310853359, 291680709, 219562755, 25854119, |
| 116729788, 158246609, 435445897, 318786753, 127875486, 228990894, 134455318, 200642867, |
| 465858084, 280187608, 232367509, 260610316, 428630327, 441618505, 216317281, 168408335, |
| 86530555, 472943911, 463861698, 17770378, 94422736, 200076119, 302051199, 98729674, |
| 56687527, 235677470, 362552247, 311184853, 366260560, 76076676, 459785337, 424507728, |
| 145291638, 416594665, 172019096, 143508066, 96179095, 239175256, 257226196, 207786436, |
| 409899487, 30507564, 269857557, 283562529, 416305457, 60991548, 457585970, 66465974, |
| 434798828, 256578324, 302012354, 298786040, 148684401, 266852173, 86517114, 257585782, |
| 71393580, 199572878, 470669306, 257106033, 433885837, 481861926, 311005331, 408951491, |
| 71889729, 254866611, 347942820, 475651922, 424980784, 455686511, 186464428, 220758721, |
| 128666934, 261465795, 455822203, 467975602, 22530206, 308283158, 379542940, 59290765, |
| 475732918, 20052109, 88347392, 252130753, 276120894, 162915947, 95858993, 222139158, |
| 79023260, 296814283, 312920493, 183369386, 238537130, 34146509, 303514134, 34891881, |
| 431135698, 38124797, 59849074, 292608228, 264062801, 187802538, 148756513, 196274057, |
| 401753217, 164501016, 378643165, 87362448, 141903418, 88501527, 280938711, 256060283, |
| 389042592, 257201412, 169211074, 84999775, 393775301, 384366304, 209770519, 422905992, |
| 5449196, 414560701, 15321591, 366994891, 382749595, 173107287, 11198118, 301515794, |
| 53034375, 358058990, 320621566, 185423898, 213309900, 420097305, 179805882, 76148596, |
| 1058044, 270251373, 74083383, 14531594, 82076666, 256412002, 92369434, 136990340, |
| 38337062, 296544053, 203107028, 109722259, 25202015, 64996547, 223939219, 394047668, |
| 195278360, 266433454, 230980929, 359889896, 323908348, 205587169, 429714813, 152190755, |
| 114578626, 434197889, 432751987, 94248710, 219025680, 298784594, 266133615, 12810460, |
| 38707253, 430098610, 394080026, 104911991, 151927445, 431126946, 241121312, 387536197, |
| 55201556, 460727310, 178035635, 161919931, 97282815, 413396352, 358263676, 296283667, |
| 414274172, 395940478, 89736157, 249940819, 183762636, 8302031, 338318922, 251027861, |
| 195566591, 411302940, 74144885, 327690183, 448372928, 315499353, 272779721, 166253326, |
| 278983163, 147709127, 381585000, 258728775, 293896362, 144305846, 103386522, 373666861, |
| 40048052, 461106404, 250045790, 393864136, 240677254, 411164550, 34830111, 410322124, |
| 42218171, 123605178, 422021546, 422038830, 389303485, 217323941, 49887740, 263350531, |
| 77893525, 186576166, 148386608, 196199479, 106276415, 190708864, 96287656, 199479907, |
| 235219190, 265578574, 22148744, 61353989, 244876431, 335696945, 354578993, 273578128, |
| 359578640, 332547988, 291302181, 40106266, 243931196, 292131540, 286366518, 100094750, |
| 400022412, 147026787, 79160792, 427463122, 103943113, 277989212, 91485593, 247428150, |
| 229619477, 230997830, 30157687, 53814203, 105885359, 60835286, 288340569, 359814204, |
| 154067814, 404226352, 277717306, 418754523, 127653899, 469182225, 119102115, 298161556, |
| 70313528, 111524209, 480079306, 254431225, 211029774, 394302441, 35978633, 352481462, |
| 150525814, 192353067, 454122372, 323734603, 24493448, 109505528, 120556849, 415278521, |
| 478714931, 74836721, 134780926, 106026175, 40026692, 140307013, 155132352, 272880506, |
| 24046432, 417835884, 426159180, 467970248, 353324061, 58115528, 225096920, 30563104, |
| 40488085, 130739726, 4831077, 140765389, 15815168, 159873982, 474978759, 230381312, |
| 257702681, 101714996, 232563489, 145679918, 297096504, 244737459, 35775648, 322959052, |
| 79005278, 40262614, 39445061, 467844139, 120993663, 65984711, 199318043, 454301629, |
| 382933382, 116018051, 66082802, 339364268, 406102351, 215743380, 463256730, 377933443, |
| 184091931, 460293054, 71272343, 260300790, 228852636, 75534654, 183935515, 399775863, |
| 253390555, 320158171, 218476088, 152090109, 151227657, 462487956, 65856346, 126998051, |
| 343820146, 84695548, 203664706, 274974368, 336602038, 292307889, 295652474, 134396562, |
| 7033463, 420993184, 255843896, 44630421, 159447931, 94215698, 416412710, 253650505, |
| 297396384, 88069140, 467325672, 350596615, 392392482, 293342603, 64250273, 366458306, |
| 55555476, 6292432, 394677416, 78828858, 208320714, 252792978, 248706012, 256536642, |
| 47116464, 430413229, 274087164, 323609624, 228838585, 221186650, 129371831, 118382284, |
| 141617279, 362650555, 350785033, 459371632, 243800452, 247139346, 218320078, 185901929, |
| 388074953, 136254415, 482509861, 382536414, 41852581, 11668677, 174000574, 377600883, |
| 418042667, 418673425, 476332295, 447244587, 123884972, 295805895, 13436562, 27425361, |
| 210235809, 405454113, 382841209, 25161283, 314270075, 135127095, 460779016, 311322590, |
| 479884609, 307156473, 277996960, 154483901, 388331962, 132418722, 355574679, 283158031, |
| 135965982, 375321753, 65510776, 125075933, 201815395, 139985170, 234135726, 189172039, |
| 341053886, 461964613, 373359699, 355586423, 207878936, 18531052, 124640942, 45398528, |
| 433130880, 272175708, 165756275, 484587976, 196834135, 205432462, 15270810, 22667442, |
| 285586390, 100210734, 52007649, 107996399, 484879929, 190316485, 312708327, 6563822, |
| 280290749, 128816358, 105394076, 264686630, 347398454, 470649610, 197513410, 192503755, |
| 48898701, 482625283, 38740431, 329425501, 353601780, 425154265, 424530271, 479405528, |
| 342329464, 162023015, 77982460, 329501787, 38262129, 88750163, 85782679, 123726561, |
| 18364290, 126404071, 376726509, 217200369, 379566299, 149081312, 353061050, 108638226, |
| 32543865, 437314176, 278365999, 372300883, 399108073, 293729609, 366288196, 195997270, |
| 321429720, 177987862, 293254096, 167405507, 442715921, 409184364, 301134591, 78552905, |
| 183502970, 425425835, 473059728, 1133211, 224287292, 97722499, 341249320, 136388629, |
| 429935817, 69809336, 133212627, 106069963, 365029299, 140198974, 380060381, 101185488, |
| 85380337, 371350355, 269695650, 329804257, 448701711, 480954934, 464682235, 214489556, |
| 457734129, 261411293, 376377596, 301604201, 240287286, 282706145, 41330635, 305617614, |
| 21498762, 269165950, 403635433, 93494312, 281742620, 175655401, 357714095, 210797425, |
| 94299797, 200522984, 239791612, 396425239, 78791447, 406676731, 357605198, 457311107, |
| 231064786, 345235691, 353700246, 277187308, 8368448, 307757303, 268080357, 337509800, |
| 439432559, 245174731, 394837359, 414169646, 237192647, 135921584, 480868365, 159177503, |
| 419449182, 133154755, 475602298, 355784946, 99416121, 228567377, 147287683, 239490701, |
| 137683524, 151762458, 306468368, 146004966, 14031267, 391367024, 136503064, 229701635, |
| 26802569, 395010009, 14406549, 224680480, 206344748, 293872313, 246022756, 379072979, |
| 106359575, 273862368, 203709643, 484845884, 413236817, 114632464, 413050071, 229960175, |
| 322421393, 168501211, 102130907, 24654571, 359012332, 391019725, 24783660, 320825683, |
| 351022821, 20044279, 265112113, 423469212, 380468305, 429881190, 124845218, 366489673, |
| 148554004, 76249889, 48179282, 50267736, 104937270, 41251259, 107429464, 405419141, |
| 188355508, 432857519, 449665620, 36924772, 161878617, 244378162, 368327760, 335014811, |
| 402398518, 285157053, 475652788, 406271002, 398483059, 1585806, 151882345, 242036954, |
| 12469357, 24070690, 275125823, 438665446, 136611654, 439733129, 41627832, 19944921, |
| 153983725, 364978265, 26334829, 77845221, 164528017, 249326658, 240877873, 175860238, |
| 253835669, 340783790, 306036692, 147325005, 154137498, 121448055, 144518337, 100860739, |
| 356260962, 122116490, 350284592, 378841723, 287486700, 378808959, 161171200, 237675775, |
| 393712298, 334131287, 31243323, 199153198, 406726649, 190712764, 229820153, 268683676, |
| 271754437, 385284288, 239553894, 164943710, 256841891, 46046888, 206724866, 396118588, |
| 256867801, 16321006, 139386978, 442310657, 105907171, 201767490, 57818795, 40153216, |
| 242323569, 455423095, 27590458, 195500112, 295043994, 214842159, 366056919, 195782476, |
| 316307131, 412030509, 354961684, 378724460, 252373750, 137940469, 252239325, 419143615, |
| 173886430, 100491321, 425096528, 48790462, 21394848, 56283157, 164950715, 390877027, |
| 71353215, 247570688, 21698259, 108336321, 427613751, 119890624, 7790501, 16533447, |
| 124179236, 124686049, 209259287, 72397599, 9855948, 329025319, 233374875, 185328200, |
| 385684843, 96043475, 242754081, 250693710, 478383878, 2016134, 377361503, 331150049, |
| 124455454, 268670245, 371217009, 102978682, 40363061, 325456547, 329870366, 451905937, |
| 446217078, 306630161, 204843139, 404780720, 104922501, 388758006, 144049739, 355212240, |
| 356373984, 473700735, 52273562, 212223181, 13461673, 323176756, 38216498, 170098827, |
| 211752421, 453868307, 396680940, 474705114, 135055436, 288882495, 344055930, 201993738, |
| 140631713, 291193104, 389715192, 478132848, 165027557, 397025299, 80753725, 101230846, |
| 440504662, 237569880, 311291330, 18485888, 464869475, 197178687, 311879801, 375212264, |
| 423994745, 182165176, 135880450, 126494698, 19467537, 98561283, 388249852, 192672361, |
| 212262468, 219036283, 12908082, 412036431, 2845330, 230316410, 48328125, 119248160, |
| 63924668, 168509356, 367924365, 245818991, 404080808, 417749066, 237620379, 190218807, |
| 282575624, 160341625, 154425979, 22760320, 292845180, 194756348, 262467420, 146367090, |
| 333609940, 449974497, 457178435, 356022324, 239598795, 483756139, 71385701, 405066702, |
| 7873439, 366507487, 283933669, 461237239, 198983794, 225455811, 33537365, 123340905, |
| 336110730, 180330276, 313253575, 15393387, 193432569, 278957496, 323256563, 321273066, |
| 138642202, 377634935, 32663981, 191546362, 277298629, 164066480, 364472938, 322829972, |
| 355924978, 135343009, 169294206, 144889964, 356013096, 415227307, 470113570, 73833035, |
| 339238799, 435811563, 81872160, 334345621, 2161941, 192333546, 340129744, 48744522, |
| 213816116, 74421218, 326554367, 438853585, 92426499, 148234764, 478356092, 417012363, |
| 364072188, 18652383, 398681694, 478374580, 18046976, 204115250, 201795480, 481691803, |
| 214985798, 240638856, 363673853, 384495902, 371950204, 317412497, 290190451, 49321719, |
| 31881776, 253728074, 312616824, 21099558, 147757615, 295077379, 54460917, 309865060, |
| 369542239, 108809277, 296218744, 217916795, 321264918, 196790467, 150953535, 185442047, |
| 270501289, 332943737, 435748535, 266653453, 357465626, 20272498, 252261261, 454822737, |
| 270224689, 183995959, 200470774, 92392613, 334893445, 123269933, 333490126, 78835721 |
| |
| }; |
| |
| /* Provably-Secure qTESLA Security Category-3 */ |
| |
| public static final long[] ZETA_III_P = { /* 2048-Entry */ |
| |
| 663045521, 592864312, 129934065, 177469925, 343322489, 76003277, 514174562, 190066344, |
| 383213768, 787962888, 658937726, 1080673671, 1119184179, 711485619, 895353292, 741830559, |
| 449748398, 882352834, 210564246, 513517678, 792274530, 1106148000, 447255681, 838374925, |
| 817124617, 494866507, 801735296, 793510817, 270693858, 301435475, 260117255, 10836133, |
| 1090140236, 870237322, 519619509, 74028645, 223438873, 115296996, 731671863, 711767285, |
| 756344742, 432270821, 921367017, 743782190, 756600516, 403820997, 571909291, 809934428, |
| 12306094, 1080752961, 1103853276, 848006190, 651623616, 1066528111, 991262313, 90376233, |
| 1031639319, 16581402, 195692585, 764838834, 443651394, 397689573, 855192181, 464522040, |
| 992536780, 1065244154, 280383996, 468397118, 363648899, 30284833, 136693103, 866826704, |
| 684264872, 369300261, 147123393, 425272346, 947975751, 200848998, 207227922, 949139594, |
| 347812886, 312530409, 270384680, 1035127685, 844540200, 354908220, 399963784, 771423554, |
| 168982346, 111911899, 891254450, 606094727, 997954525, 531583148, 617069803, 183958096, |
| 133356782, 708062096, 808380329, 644973028, 1122831312, 519547216, 764125907, 320659143, |
| 557529771, 1016802360, 1043273438, 1045802164, 1034628659, 450715977, 741225144, 605149405, |
| 1012579499, 651882116, 904529967, 300080999, 629210435, 173034527, 989077200, 1078174711, |
| 110168090, 256388598, 610617659, 881033840, 608872901, 50037154, 640116890, 769511414, |
| 738741272, 92678917, 442704510, 821794500, 142894162, 370261366, 899737750, 578322223, |
| 983445865, 278101088, 320548969, 960437988, 847057645, 535264585, 1031091774, 384531787, |
| 839679409, 791760948, 937608754, 64047905, 315242491, 690211684, 304945377, 127139900, |
| 55322681, 615105519, 1057531084, 720717234, 1061452791, 1095429367, 975341664, 483335114, |
| 346985754, 486624908, 954236263, 606609353, 374493515, 1026296717, 325660087, 901013385, |
| 53959974, 212660347, 959289131, 1056916487, 1125908681, 840084518, 527647955, 143827226, |
| 1054554933, 861883427, 114992875, 332264810, 1071780030, 502142509, 205074888, 328230624, |
| 728399298, 6590787, 412294778, 821072942, 186833297, 86543585, 380686974, 684478338, |
| 685483832, 170880254, 1049509911, 299404976, 355091877, 952129776, 345588044, 357652764, |
| 1076734604, 924340986, 262332782, 562093746, 674846863, 869200402, 167429450, 230595565, |
| 379519977, 64054402, 667864494, 252591944, 174034622, 45520823, 784274107, 752467928, |
| 436711302, 1004905853, 329220738, 721523796, 169192713, 551217408, 907929323, 194805106, |
| 62131815, 68055725, 545662009, 726339771, 10612113, 878659984, 675814719, 365783377, |
| 951164276, 866711073, 684096262, 413270603, 702997992, 778608769, 127639044, 47216120, |
| 744109445, 430463358, 1117777586, 424051168, 656374939, 1103725866, 14621181, 919164722, |
| 915751418, 976196867, 260519617, 802701264, 977088018, 632721351, 20944803, 435584923, |
| 672284530, 530447301, 1080372403, 969633414, 858453527, 467086140, 377506201, 201043187, |
| 624606245, 356437339, 392100995, 997346375, 344147086, 1086111956, 718030456, 110621087, |
| 452912731, 336746546, 621211472, 795046, 794852591, 919732385, 714562897, 692647493, |
| 521856561, 892141810, 929164476, 178245765, 949027329, 511109867, 501815810, 855826969, |
| 240246307, 1090455392, 871247558, 612287417, 200668298, 658636844, 62944986, 482777398, |
| 714192478, 867140496, 199314763, 780516102, 571032048, 817693014, 607138429, 912533516, |
| 774019587, 835671643, 168024255, 449898784, 964159534, 486792883, 1119449268, 6657041, |
| 86939725, 764245347, 273343215, 777897095, 930426166, 788914763, 469974947, 178163195, |
| 519599146, 886003889, 859825363, 1024222142, 888997684, 402918616, 146815556, 742952999, |
| 908078470, 687435577, 647696655, 693593765, 766931890, 944985585, 394729082, 816013317, |
| 392951623, 65907852, 96202750, 645391372, 795224730, 402710723, 863608137, 818970673, |
| 545310222, 970699745, 913314065, 344644471, 195858177, 414360679, 357670948, 683445481, |
| 833938949, 1027656845, 191164920, 78809923, 1041045426, 73270196, 101525688, 185383095, |
| 583325181, 265134328, 467801210, 1096264575, 367433146, 474798672, 41386419, 8344607, |
| 170218721, 635545135, 668716283, 348890991, 155290659, 123249926, 769501318, 244415064, |
| 1050203259, 859568787, 237251392, 995643980, 522636185, 829867059, 324850649, 618298124, |
| 650748178, 467147593, 524674833, 341426504, 402629779, 519829789, 805279247, 494226863, |
| 508315225, 319600904, 48615828, 165396124, 328305874, 183239019, 878118280, 161754975, |
| 715041085, 746274821, 961841131, 357826469, 97008202, 885304034, 352059292, 197879468, |
| 25678065, 1028070136, 447949253, 962673193, 813464159, 17237594, 674670906, 959137288, |
| 10286769, 182827874, 439769615, 875041932, 304463252, 374894049, 749497333, 38938778, |
| 95615605, 323023572, 918611876, 207681758, 859164726, 97118122, 769881035, 360249017, |
| 507250246, 223795463, 24153203, 927058118, 178686381, 765072252, 491103160, 30816153, |
| 100214484, 554568910, 715304135, 93510037, 1021905527, 1045723816, 900771572, 1011589617, |
| 558930760, 228903927, 41675196, 857737037, 1092385029, 1067405169, 526576034, 25638952, |
| 1017160549, 1052660585, 364103167, 228705333, 566586884, 1126549926, 148651837, 217709216, |
| 614537001, 773273483, 1097591846, 480172084, 365704498, 262321659, 937989155, 1036392392, |
| 811974084, 132591218, 799370207, 255702709, 215218285, 632314426, 58376649, 483086198, |
| 401012915, 839724879, 70449719, 502867571, 757507513, 1073691794, 215293647, 725537396, |
| 398067214, 584143318, 392011063, 554158763, 730533625, 632408477, 259767996, 1124249847, |
| 432958856, 1026767843, 237644370, 29926518, 131813155, 898001983, 581765490, 215126607, |
| 937229093, 1030360940, 452462053, 645808548, 645402879, 379809569, 577012489, 1082786079, |
| 572510912, 475330285, 152788398, 690858296, 876393456, 1002942486, 67723832, 132689262, |
| 1030380537, 529311082, 41121650, 626066149, 866026053, 240011600, 574505003, 565608154, |
| 414049009, 123706126, 80739723, 326160835, 476194893, 1126100881, 646887456, 987296393, |
| 1119394953, 994979769, 133560363, 725327130, 850262599, 132796686, 1114247361, 1040894619, |
| 562914322, 641645573, 817070125, 57537779, 59054681, 878878988, 307674440, 1001013577, |
| 594860688, 879718195, 318482613, 698792051, 756144110, 204900318, 1031928100, 926221256, |
| 695955308, 662601363, 408725276, 424272249, 110402404, 535365123, 226700293, 372920839, |
| 1118626221, 1070521569, 639548808, 621533107, 260391977, 316354318, 362523650, 733090366, |
| 456807669, 113808372, 399369653, 647539514, 165899708, 312376469, 213806296, 208149196, |
| 937880087, 289692684, 580756218, 963782721, 1086045881, 705999228, 1115084349, 508210869, |
| 893248141, 1109740411, 338975294, 752813515, 622466015, 372202503, 55041759, 338412385, |
| 29530795, 689413481, 974303137, 605274799, 812143197, 121492617, 758223932, 200993249, |
| 575018581, 1039577172, 1090395670, 612284976, 414561447, 886969, 685649488, 667914411, |
| 183143190, 272811635, 104938162, 64626548, 404300448, 333824065, 399917080, 105374124, |
| 329534966, 930231830, 187994078, 772453163, 81595362, 135380677, 536704334, 787124497, |
| 554875178, 60344266, 790999625, 581578940, 72453408, 872892444, 204321645, 885844343, |
| 942736233, 12824064, 23018086, 996569940, 818486394, 1484060, 349940348, 981882207, |
| 855621323, 1034617940, 565456643, 745822751, 68273335, 578729865, 170455086, 173683666, |
| 375983003, 128070235, 982298151, 650454518, 218561113, 1063878953, 541912322, 695738038, |
| 232263685, 671557037, 584280432, 126161631, 394804150, 149748923, 670383088, 150214459, |
| 409907258, 730673023, 452696559, 556617060, 271416278, 398913344, 793695740, 603610724, |
| 620753264, 760650912, 867673149, 32169440, 106515963, 802984660, 859117007, 854436840, |
| 736728629, 789197380, 1065424969, 689713946, 980964818, 605711034, 1105012640, 552261321, |
| 980118632, 868407647, 247404352, 182421983, 1076188005, 324001412, 258504546, 973008126, |
| 458306267, 216381363, 1099063604, 172774993, 897006405, 662034826, 827348922, 213283635, |
| 712936407, 586286121, 133326382, 771279651, 77080161, 692598228, 272139235, 156805228, |
| 184634865, 216660729, 331306952, 180435518, 1098019508, 642364354, 759605128, 444205747, |
| 818119290, 697748488, 779633860, 1123069299, 628905992, 1093632915, 363341708, 896455329, |
| 653929021, 348858884, 483831705, 248783457, 50018777, 527261991, 1108955766, 683741144, |
| 838366046, 1040212608, 956504693, 441862460, 181267978, 415765896, 551409278, 866054366, |
| 855141207, 141967451, 462022373, 903388714, 5583486, 624006881, 1027131584, 127103419, |
| 227496735, 876597209, 1075725589, 13097576, 275925041, 46896293, 1047922947, 480370214, |
| 979242782, 304620097, 88645237, 157252101, 1080960020, 1019514352, 910182857, 344499049, |
| 841029348, 586201316, 561562804, 877577189, 774682172, 420802584, 243335866, 818233882, |
| 1102088786, 910997938, 394459347, 114606856, 959148981, 304978043, 15246639, 410347623, |
| 819777499, 304889937, 196333903, 294201539, 742724283, 136229739, 1095082129, 710673795, |
| 303958022, 730529672, 330937766, 290549001, 975944911, 1012630530, 940739802, 428357654, |
| 876150675, 270868991, 605451019, 692162505, 164423625, 414486664, 567335281, 60501334, |
| 301815246, 988181982, 749960008, 971794624, 1044979874, 846257184, 944403720, 1028849636, |
| 20676966, 402436874, 1038249855, 636703483, 52612884, 457266419, 404964279, 764097082, |
| 73543501, 850137726, 543909567, 478253061, 341753973, 145701153, 816141937, 150699764, |
| 1012159718, 996158125, 874816245, 140152812, 1046568846, 731360631, 165696325, 923351799, |
| 373705673, 295885033, 571437494, 323580072, 535312031, 261690954, 128330254, 678037418, |
| 730169337, 800223155, 493938662, 1035925088, 1086213401, 1029948847, 703929623, 1067237691, |
| 203498545, 260171642, 489884813, 595714326, 717921496, 379455421, 739695761, 991791615, |
| 1101866478, 768413486, 248059075, 641256446, 252045193, 383431807, 1098526663, 655518597, |
| 868514850, 975851412, 607928997, 1015436331, 219860723, 248644475, 1100013490, 1059262194, |
| 616750819, 706912112, 186194896, 371412253, 932777950, 605371544, 32806481, 41915372, |
| 942949174, 657520226, 337575994, 767026353, 795340494, 602216057, 1051603235, 38167611, |
| 383256063, 961974657, 643676937, 850900578, 1033468109, 791020067, 602254362, 742154500, |
| 5280825, 557072845, 260014823, 274231000, 957875719, 620840911, 468091423, 844999033, |
| 1097180885, 635575570, 741694428, 564249983, 1015743243, 179096376, 326642449, 737067396, |
| 404230544, 164870855, 233971733, 25568965, 480191729, 304346683, 43284571, 600295394, |
| 805273167, 1081440213, 132076275, 660273218, 115344223, 436181422, 581442439, 521590088, |
| 278258022, 1016124223, 326820478, 833856285, 578613123, 981790341, 912622887, 677878660, |
| 983305736, 582146018, 50261960, 421861087, 688852042, 1053015424, 638857404, 13988561, |
| 613374169, 246804474, 354822706, 755945338, 48594230, 1112837032, 490266853, 331336539, |
| 573470525, 482415512, 1066189384, 480749813, 340470541, 1087888528, 866254054, 328905420, |
| 282987588, 772186429, 280721545, 827109021, 1065603359, 319039186, 632282960, 368180744, |
| 103743324, 1039700039, 944775691, 35416271, 876336840, 387995308, 744351857, 1024873450, |
| 846245765, 488549456, 793960147, 360822038, 1047746824, 70006457, 1081240530, 845224049, |
| 158270603, 1040065115, 109153922, 842769347, 357450022, 745529551, 127101430, 1013053569, |
| 653900906, 1066692138, 1026185333, 40127076, 888550251, 1074046165, 859190733, 172044729, |
| 232991700, 856026028, 181368869, 11312168, 965826001, 718641942, 140897415, 300107020, |
| 760832029, 454871649, 538869148, 209839945, 603404196, 1070516093, 362685617, 594598150, |
| 706680144, 248566695, 624350428, 687354425, 108825926, 996763990, 768570600, 192652503, |
| 1030980703, 285993613, 678456384, 666912839, 636939881, 724986064, 567331335, 1109690969, |
| 786490830, 1041275289, 13569330, 310803565, 1018122073, 236560398, 625689685, 227532759, |
| 773302523, 275485190, 151580837, 1097590370, 43338286, 709601963, 530263051, 696952520, |
| 591327015, 779208675, 900380693, 779322099, 365008051, 816626432, 9177437, 715814813, |
| 951132001, 978726879, 539618044, 330049876, 794850808, 75659606, 535871088, 1117571277, |
| 1035668574, 737539534, 638053030, 1067376479, 817653745, 608323193, 952285144, 489088626, |
| 643974231, 1100308604, 80188084, 1009055308, 528621558, 845717932, 574893980, 185963698, |
| 304405106, 254075674, 885653667, 125272317, 310803515, 431578311, 49069840, 734649900, |
| 64565269, 68004786, 877673289, 927546004, 379372125, 179774076, 313581255, 48547291, |
| 669540902, 805507558, 458763285, 808407028, 467495228, 200042934, 286655832, 204624339, |
| 1076184783, 580415818, 422842319, 130214533, 1019327141, 196299734, 544501682, 1039357725, |
| 139924087, 1079672537, 517801387, 1103773407, 832398676, 971715180, 249998343, 17982966, |
| 226812113, 1056456541, 429118671, 1115368643, 731996995, 114969826, 90081103, 503306049, |
| 601600644, 221645888, 419902454, 366845662, 668188540, 595203705, 289744999, 311876332, |
| 708499030, 814702169, 1038171811, 305413430, 1025269191, 401153805, 524933941, 244137773, |
| 690611117, 1006016675, 368084114, 695256047, 400388115, 315582560, 240063473, 316625045, |
| 193016450, 444532677, 490320790, 1007751505, 809310640, 335632874, 932973140, 879894932, |
| 664689650, 582802605, 524248338, 381467584, 15568620, 102853205, 344510143, 244997234, |
| 228087680, 804700227, 33671368, 202173391, 810352194, 941527027, 107007723, 250295846, |
| 439491161, 385750316, 881611329, 305721499, 489662560, 253590441, 574217985, 187749275, |
| 767834897, 577560416, 666585061, 536277466, 31104595, 459368906, 738728273, 395846485, |
| 915511988, 152055976, 123475832, 434555954, 708682317, 873350950, 733405860, 594180445, |
| 508539260, 411702537, 525230789, 245498406, 807139759, 421829267, 576175978, 671688378, |
| 586113326, 717964200, 549178465, 340455344, 177498005, 185915353, 758077402, 35174925, |
| 62477885, 432126554, 865525725, 94991243, 953163796, 64489669, 63466463, 1027121609, |
| 603180773, 102927367, 328204523, 849484682, 1106252192, 166218129, 336284946, 115841434, |
| 394987097, 1071354740, 1124188058, 756569276, 1109657140, 693362574, 582653179, 356054504, |
| 10684879, 43556307, 683161419, 43248060, 311516690, 801263962, 259313122, 1076460000, |
| 627348913, 723691023, 1029014449, 1100617454, 910402911, 804049172, 439314326, 277694586, |
| 89508968, 45373766, 191679221, 573131182, 602365665, 620254956, 594424107, 763083130, |
| 984103431, 746523686, 419387264, 1030279302, 774892955, 242854266, 102748733, 633218020, |
| 205014651, 835462852, 458575555, 34062189, 765679808, 999547926, 509921953, 785947219, |
| 966902522, 639941920, 244960006, 581685840, 1052422889, 674992133, 61665140, 451012255, |
| 122965849, 190085617, 748838858, 349331162, 529980624, 16193587, 34516478, 42504381, |
| 160246364, 173535194, 187379517, 111011381, 365394663, 102220644, 699473271, 366177836, |
| 81692890, 659930501, 36322222, 896361190, 473670263, 1039987458, 412734344, 864218684, |
| 138309539, 146538307, 1101721292, 898028054, 727055521, 601140835, 577133426, 451632863, |
| 725601236, 388561051, 696130927, 299179408, 194132814, 104549843, 919472671, 900644523, |
| 848766532, 557407329, 506005527, 529295823, 637231568, 840578154, 40752048, 1043021730, |
| 940132528, 1635875, 390473136, 36409813, 938731454, 1005273567, 169556667, 456362115, |
| 968015234, 385125443, 1033592386, 622268544, 824710397, 811874465, 1126356395, 1030647864, |
| 1027801728, 1032615842, 990780079, 340414618, 431920306, 797512392, 36624143, 1039964580, |
| 78368304, 725419125, 1031876274, 545277986, 400681087, 824700406, 916868477, 979226643, |
| 327065594, 666022464, 692190875, 241031536, 486380927, 271722557, 903843361, 141586809, |
| 747887461, 634534510, 613428929, 35052951, 519999706, 907994356, 122720932, 47771789, |
| 111045658, 101409844, 478385667, 160271513, 709331396, 407803014, 233222181, 446853856, |
| 325464420, 902760210, 272094082, 341360162, 749117421, 560701701, 963877946, 787641615, |
| 205947725, 590645393, 232274153, 623635766, 912309623, 1120569701, 620395638, 104547179, |
| 326785462, 462547537, 940416330, 25839620, 19867751, 37744827, 852776583, 515439522, |
| 254321646, 368159144, 977334258, 457474804, 545693728, 590432747, 485742318, 929078943, |
| 737942351, 275516935, 808617222, 720700675, 172457394, 549776288, 773237950, 425343903, |
| 106571968, 735846275, 60428193, 122914286, 749764808, 987165321, 38777778, 78068884, |
| 255797430, 533180457, 948660956, 48180746, 1126178511, 529625145, 556629751, 638195644, |
| 832146389, 336969603, 525037491, 33022927, 179961503, 1111138669, 8606225, 744603862, |
| 831709431, 936738778, 976276214, 628380488, 186998645, 1058798754, 681993880, 653924606, |
| 946881757, 648359538, 739466740, 91286181, 294298084, 874448181, 197552840, 1095208028, |
| 1044083721, 391228026, 525623627, 1098872860, 195023028, 787479821, 623295468, 953049875, |
| 598245883, 53206653, 107774100, 1118437046, 444804586, 736921099, 245341091, 386750976, |
| 133313309, 679691423, 1106023536, 311728621, 298633293, 401684808, 243635798, 110079800, |
| 995741344, 323549381, 934619946, 561564543, 318482785, 437414717, 954436048, 120567824, |
| 939556676, 96791826, 457592630, 938550164, 338458435, 235369986, 520146590, 367137669, |
| 215447981, 816673608, 388257556, 367337840, 505745620, 16797457, 625598745, 670629880, |
| 254936589, 910270385, 42251434, 163010455, 35446687, 313308255, 882198755, 1020005685, |
| 629715947, 45305629, 160442570, 751826615, 839359276, 665790727, 1126866480, 206409968, |
| 243347643, 601811321, 987009162, 748255207, 204576339, 60528047, 215906665, 956509919, |
| 298034351, 23754044, 490568798, 458549410, 38365707, 66017494, 289322020, 23546127, |
| 1110422453, 430589196, 451259509, 452129088, 246026906, 479959331, 657705765, 154141097, |
| 545145366, 756619911, 1056054068, 305614614, 982437349, 733683110, 356219317, 138617825, |
| 1077109241, 367006768, 107952142, 792745355, 1101149620, 190430549, 642564451, 1027811321, |
| 529836063, 856677079, 136144741, 193585315, 759745460, 929992250, 670307004, 1127656802, |
| 1006741766, 845736365, 936834519, 1017230852, 281391123, 580173947, 30327752, 1121201269, |
| 1055919747, 182909919, 160816233, 602222114, 380162230, 868238592, 238843489, 626593576, |
| 827265325, 474165116, 237320246, 663594943, 436318864, 1049025048, 70720879, 971089740, |
| 88817691, 635640003, 121885571, 243941023, 2431313, 941718254, 799204753, 612476838, |
| 941429841, 218425031, 62583588, 843195067, 826107237, 360474616, 699278259, 879607149, |
| 103065937, 68048433, 88684453, 368247280, 352557675, 958077844, 188716852, 142753212, |
| 187289952, 1075600752, 538047877, 79021856, 72991411, 855788038, 872392901, 230685283, |
| 684292160, 1006193052, 389933214, 858196548, 879451470, 275454910, 233947442, 798039506, |
| 522351014, 1028810225, 973496946, 459028464, 716757179, 299354781, 303032004, 378782749, |
| 726394798, 822245773, 1112315820, 572181708, 792445736, 354854796, 391571531, 1120313604, |
| 948219264, 683224878, 109721560, 210780537, 877361416, 837335205, 829228039, 710692263, |
| 336548681, 1113948080, 500533488, 561629043, 1004877220, 538880595, 121199664, 933983782, |
| 1012189335, 466644222, 948695748, 1030237630, 409196123, 831874921, 209931563, 472212875, |
| 667493959, 374083498, 121993645, 135468879, 743372774, 445381601, 1056162737, 535313411, |
| 731504361, 106330271, 449811720, 1025526021, 538706550, 384586636, 672759140, 214035474, |
| 1061388936, 1083928033, 581161697, 343521559, 467089784, 918062822, 197840310, 276992034, |
| 267922106, 626045501, 689381922, 1031751565, 453082931, 703374420, 543907459, 1101013667, |
| 158907990, 531648771, 96624556, 1107736421, 653786417, 1020275778, 1100295652, 1080331394, |
| 934499233, 1103133235, 665774139, 760309263, 583529543, 927074230, 109488746, 759686422, |
| 658349346, 1121943871, 528665116, 800822916, 210288486, 526666123, 265162098, 797138998, |
| 225170105, 773601444, 1074231036, 358050025, 792486275, 559918288, 931510368, 283561253, |
| 929909084, 643871325, 165045098, 236482168, 27010690, 947252425, 762156229, 403915775, |
| 226420583, 111771291, 457403715, 390913388, 417791477, 1051596236, 218412938, 231310973, |
| 913814997, 1010678562, 1061436357, 402561769, 46161499, 194906871, 1106996555, 1044025883, |
| 84769121, 958130074, 458164325, 75716319, 742943036, 662710618, 1015724782, 541305935, |
| 887985887, 374173602, 667853276, 1118405527, 888897413, 806335907, 483810195, 94681964, |
| 932049061, 419630532, 863884216, 258267823, 871542447, 748276380, 1089602035, 956286084, |
| 452661681, 297101315, 292838603, 602202013, 59322052, 868600049, 695946675, 1119453722, |
| 369279180, 571163895, 1076824823, 613633165, 1105924843, 970753160, 38059756, 230436803, |
| 993075206, 825136859, 772252886, 665426090, 252341082, 81169114, 15411109, 1109435384, |
| 169742336, 879343295, 637603710, 1050610062, 543393828, 360888011, 622980636, 538625088, |
| 384365656, 954674344, 672395534, 822045489, 271453575, 379517678, 745140555, 64423305, |
| 132805764, 730783710, 818513567, 1062263522, 633828399, 609441394, 952235218, 443525262, |
| 408766329, 154648340, 321016488, 39971097, 975003097, 115001826, 929799112, 1079586908, |
| 630403891, 883673758, 1017692831, 982184607, 1052333730, 732655912, 673402471, 144580658, |
| 776541469, 599807837, 897876410, 750409126, 408883399, 800706291, 525848844, 1043397101, |
| 546417436, 927622216, 923472422, 126273770, 976796416, 301390002, 640312848, 64953087, |
| 850801014, 80099312, 344764299, 166353727, 304339056, 563820482, 620610256, 95176064, |
| 436429135, 450761768, 1080607344, 554114394, 1051016002, 1094965858, 1044316801, 90082309, |
| 802170370, 785939405, 96092255, 481999812, 399399466, 798786453, 1069910963, 1075397160, |
| 645632403, 721614722, 81169724, 16732546, 256145620, 1032181185, 858152279, 261506136, |
| 939613769, 1109259166, 1072545109, 893701664, 1076290454, 94376212, 1129486743, 496007349, |
| 461211004, 215869774, 903345586, 185658758, 769007243, 973105742, 843449005, 531620573, |
| 115498344, 118893063, 1080559132, 289993254, 729094212, 100228973, 970141524, 88018590, |
| 401752692, 490667846, 120206196, 1053373040, 927137503, 109156130, 1099960359, 852051778, |
| 542020710, 890761046, 935484975, 503476669, 247175418, 137646228, 122463313, 1098625172, |
| 313612773, 1045687932, 942418016, 223296002, 613265129, 618070459, 210263615, 258537008, |
| 687201993, 1069972265, 1092070505, 209044958, 705866604, 959480062, 37107231, 530334549, |
| 940857114, 888162459, 550603427, 833686010, 914377969, 777858517, 823074720, 257780639, |
| 682005406, 79684712, 1108405948, 546085914, 695245394, 296369184, 90008780, 876596576, |
| 1060844810, 971909901, 180162302, 155422312, 913147941, 572392352, 172449506, 707256652, |
| 379461286, 396142844, 341990080, 626969834, 156354367, 614031487, 682424885, 1092771510, |
| 881893810, 1087158911, 85380176, 1044830162, 986021749, 619772632, 829678380, 1095084953, |
| 726141659, 941134286, 949047185, 1013348374, 17076281, 979953556, 730262704, 692286875, |
| 723405610, 879517616, 639675138, 319980056, 711102461, 564387868, 1089317723, 659400607, |
| 372246588, 1035423048, 766956675, 186444638, 504211183, 871579167, 64189114, 905789437 |
| |
| }; |
| |
| public static final long[] ZETA_INVERSE_III_P = { /* 2048-Entry */ |
| |
| 1065536839, 258146786, 625514770, 943281315, 362769278, 94302905, 757479365, 470325346, |
| 40408230, 565338085, 418623492, 809745897, 490050815, 250208337, 406320343, 437439078, |
| 399463249, 149772397, 1112649672, 116377579, 180678768, 188591667, 403584294, 34641000, |
| 300047573, 509953321, 143704204, 84895791, 1044345777, 42567042, 247832143, 36954443, |
| 447301068, 515694466, 973371586, 502756119, 787735873, 733583109, 750264667, 422469301, |
| 957276447, 557333601, 216578012, 974303641, 949563651, 157816052, 68881143, 253129377, |
| 1039717173, 833356769, 434480559, 583640039, 21320005, 1050041241, 447720547, 871945314, |
| 306651233, 351867436, 215347984, 296039943, 579122526, 241563494, 188868839, 599391404, |
| 1092618722, 170245891, 423859349, 920680995, 37655448, 59753688, 442523960, 871188945, |
| 919462338, 511655494, 516460824, 906429951, 187307937, 84038021, 816113180, 31100781, |
| 1007262640, 992079725, 882550535, 626249284, 194240978, 238964907, 587705243, 277674175, |
| 29765594, 1020569823, 202588450, 76352913, 1009519757, 639058107, 727973261, 1041707363, |
| 159584429, 1029496980, 400631741, 839732699, 49166821, 1010832890, 1014227609, 598105380, |
| 286276948, 156620211, 360718710, 944067195, 226380367, 913856179, 668514949, 633718604, |
| 239210, 1035349741, 53435499, 236024289, 57180844, 20466787, 190112184, 868219817, |
| 271573674, 97544768, 873580333, 1112993407, 1048556229, 408111231, 484093550, 54328793, |
| 59814990, 330939500, 730326487, 647726141, 1033633698, 343786548, 327555583, 1039643644, |
| 85409152, 34760095, 78709951, 575611559, 49118609, 678964185, 693296818, 1034549889, |
| 509115697, 565905471, 825386897, 963372226, 784961654, 1049626641, 278924939, 1064772866, |
| 489413105, 828335951, 152929537, 1003452183, 206253531, 202103737, 583308517, 86328852, |
| 603877109, 329019662, 720842554, 379316827, 231849543, 529918116, 353184484, 985145295, |
| 456323482, 397070041, 77392223, 147541346, 112033122, 246052195, 499322062, 50139045, |
| 199926841, 1014724127, 154722856, 1089754856, 808709465, 975077613, 720959624, 686200691, |
| 177490735, 520284559, 495897554, 67462431, 311212386, 398942243, 996920189, 1065302648, |
| 384585398, 750208275, 858272378, 307680464, 457330419, 175051609, 745360297, 591100865, |
| 506745317, 768837942, 586332125, 79115891, 492122243, 250382658, 959983617, 20290569, |
| 1114314844, 1048556839, 877384871, 464299863, 357473067, 304589094, 136650747, 899289150, |
| 1091666197, 158972793, 23801110, 516092788, 52901130, 558562058, 760446773, 10272231, |
| 433779278, 261125904, 1070403901, 527523940, 836887350, 832624638, 677064272, 173439869, |
| 40123918, 381449573, 258183506, 871458130, 265841737, 710095421, 197676892, 1035043989, |
| 645915758, 323390046, 240828540, 11320426, 461872677, 755552351, 241740066, 588420018, |
| 114001171, 467015335, 386782917, 1054009634, 671561628, 171595879, 1044956832, 85700070, |
| 22729398, 934819082, 1083564454, 727164184, 68289596, 119047391, 215910956, 898414980, |
| 911313015, 78129717, 711934476, 738812565, 672322238, 1017954662, 903305370, 725810178, |
| 367569724, 182473528, 1102715263, 893243785, 964680855, 485854628, 199816869, 846164700, |
| 198215585, 569807665, 337239678, 771675928, 55494917, 356124509, 904555848, 332586955, |
| 864563855, 603059830, 919437467, 328903037, 601060837, 7782082, 471376607, 370039531, |
| 1020237207, 202651723, 546196410, 369416690, 463951814, 26592718, 195226720, 49394559, |
| 29430301, 109450175, 475939536, 21989532, 1033101397, 598077182, 970817963, 28712286, |
| 585818494, 426351533, 676643022, 97974388, 440344031, 503680452, 861803847, 852733919, |
| 931885643, 211663131, 662636169, 786204394, 548564256, 45797920, 68337017, 915690479, |
| 456966813, 745139317, 591019403, 104199932, 679914233, 1023395682, 398221592, 594412542, |
| 73563216, 684344352, 386353179, 994257074, 1007732308, 755642455, 462231994, 657513078, |
| 919794390, 297851032, 720529830, 99488323, 181030205, 663081731, 117536618, 195742171, |
| 1008526289, 590845358, 124848733, 568096910, 629192465, 15777873, 793177272, 419033690, |
| 300497914, 292390748, 252364537, 918945416, 1020004393, 446501075, 181506689, 9412349, |
| 738154422, 774871157, 337280217, 557544245, 17410133, 307480180, 403331155, 750943204, |
| 826693949, 830371172, 412968774, 670697489, 156229007, 100915728, 607374939, 331686447, |
| 895778511, 854271043, 250274483, 271529405, 739792739, 123532901, 445433793, 899040670, |
| 257333052, 273937915, 1056734542, 1050704097, 591678076, 54125201, 942436001, 986972741, |
| 941009101, 171648109, 777168278, 761478673, 1041041500, 1061677520, 1026660016, 250118804, |
| 430447694, 769251337, 303618716, 286530886, 1067142365, 911300922, 188296112, 517249115, |
| 330521200, 188007699, 1127294640, 885784930, 1007840382, 494085950, 1040908262, 158636213, |
| 1059005074, 80700905, 693407089, 466131010, 892405707, 655560837, 302460628, 503132377, |
| 890882464, 261487361, 749563723, 527503839, 968909720, 946816034, 73806206, 8524684, |
| 1099398201, 549552006, 848334830, 112495101, 192891434, 283989588, 122984187, 2069151, |
| 459418949, 199733703, 369980493, 936140638, 993581212, 273048874, 599889890, 101914632, |
| 487161502, 939295404, 28576333, 336980598, 1021773811, 762719185, 52616712, 991108128, |
| 773506636, 396042843, 147288604, 824111339, 73671885, 373106042, 584580587, 975584856, |
| 472020188, 649766622, 883699047, 677596865, 678466444, 699136757, 19303500, 1106179826, |
| 840403933, 1063708459, 1091360246, 671176543, 639157155, 1105971909, 831691602, 173216034, |
| 913819288, 1069197906, 925149614, 381470746, 142716791, 527914632, 886378310, 923315985, |
| 2859473, 463935226, 290366677, 377899338, 969283383, 1084420324, 500010006, 109720268, |
| 247527198, 816417698, 1094279266, 966715498, 1087474519, 219455568, 874789364, 459096073, |
| 504127208, 1112928496, 623980333, 762388113, 741468397, 313052345, 914277972, 762588284, |
| 609579363, 894355967, 791267518, 191175789, 672133323, 1032934127, 190169277, 1009158129, |
| 175289905, 692311236, 811243168, 568161410, 195106007, 806176572, 133984609, 1019646153, |
| 886090155, 728041145, 831092660, 817997332, 23702417, 450034530, 996412644, 742974977, |
| 884384862, 392804854, 684921367, 11288907, 1021951853, 1076519300, 531480070, 176676078, |
| 506430485, 342246132, 934702925, 30853093, 604102326, 738497927, 85642232, 34517925, |
| 932173113, 255277772, 835427869, 1038439772, 390259213, 481366415, 182844196, 475801347, |
| 447732073, 70927199, 942727308, 501345465, 153449739, 192987175, 298016522, 385122091, |
| 1121119728, 18587284, 949764450, 1096703026, 604688462, 792756350, 297579564, 491530309, |
| 573096202, 600100808, 3547442, 1081545207, 181064997, 596545496, 873928523, 1051657069, |
| 1090948175, 142560632, 379961145, 1006811667, 1069297760, 393879678, 1023153985, 704382050, |
| 356488003, 579949665, 957268559, 409025278, 321108731, 854209018, 391783602, 200647010, |
| 643983635, 539293206, 584032225, 672251149, 152391695, 761566809, 875404307, 614286431, |
| 276949370, 1091981126, 1109858202, 1103886333, 189309623, 667178416, 802940491, 1025178774, |
| 509330315, 9156252, 217416330, 506090187, 897451800, 539080560, 923778228, 342084338, |
| 165848007, 569024252, 380608532, 788365791, 857631871, 226965743, 804261533, 682872097, |
| 896503772, 721922939, 420394557, 969454440, 651340286, 1028316109, 1018680295, 1081954164, |
| 1007005021, 221731597, 609726247, 1094673002, 516297024, 495191443, 381838492, 988139144, |
| 225882592, 858003396, 643345026, 888694417, 437535078, 463703489, 802660359, 150499310, |
| 212857476, 305025547, 729044866, 584447967, 97849679, 404306828, 1051357649, 89761373, |
| 1093101810, 332213561, 697805647, 789311335, 138945874, 97110111, 101924225, 99078089, |
| 3369558, 317851488, 305015556, 507457409, 96133567, 744600510, 161710719, 673363838, |
| 960169286, 124452386, 190994499, 1093316140, 739252817, 1128090078, 189593425, 86704223, |
| 1088973905, 289147799, 492494385, 600430130, 623720426, 572318624, 280959421, 229081430, |
| 210253282, 1025176110, 935593139, 830546545, 433595026, 741164902, 404124717, 678093090, |
| 552592527, 528585118, 402670432, 231697899, 28004661, 983187646, 991416414, 265507269, |
| 716991609, 89738495, 656055690, 233364763, 1093403731, 469795452, 1048033063, 763548117, |
| 430252682, 1027505309, 764331290, 1018714572, 942346436, 956190759, 969479589, 1087221572, |
| 1095209475, 1113532366, 599745329, 780394791, 380887095, 939640336, 1006760104, 678713698, |
| 1068060813, 454733820, 77303064, 548040113, 884765947, 489784033, 162823431, 343778734, |
| 619804000, 130178027, 364046145, 1095663764, 671150398, 294263101, 924711302, 496507933, |
| 1026977220, 886871687, 354832998, 99446651, 710338689, 383202267, 145622522, 366642823, |
| 535301846, 509470997, 527360288, 556594771, 938046732, 1084352187, 1040216985, 852031367, |
| 690411627, 325676781, 219323042, 29108499, 100711504, 406034930, 502377040, 53265953, |
| 870412831, 328461991, 818209263, 1086477893, 446564534, 1086169646, 1119041074, 773671449, |
| 547072774, 436363379, 20068813, 373156677, 5537895, 58371213, 734738856, 1013884519, |
| 793441007, 963507824, 23473761, 280241271, 801521430, 1026798586, 526545180, 102604344, |
| 1066259490, 1065236284, 176562157, 1034734710, 264200228, 697599399, 1067248068, 1094551028, |
| 371648551, 943810600, 952227948, 789270609, 580547488, 411761753, 543612627, 458037575, |
| 553549975, 707896686, 322586194, 884227547, 604495164, 718023416, 621186693, 535545508, |
| 396320093, 256375003, 421043636, 695169999, 1006250121, 977669977, 214213965, 733879468, |
| 390997680, 670357047, 1098621358, 593448487, 463140892, 552165537, 361891056, 941976678, |
| 555507968, 876135512, 640063393, 824004454, 248114624, 743975637, 690234792, 879430107, |
| 1022718230, 188198926, 319373759, 927552562, 1096054585, 325025726, 901638273, 884728719, |
| 785215810, 1026872748, 1114157333, 748258369, 605477615, 546923348, 465036303, 249831021, |
| 196752813, 794093079, 320415313, 121974448, 639405163, 685193276, 936709503, 813100908, |
| 889662480, 814143393, 729337838, 434469906, 761641839, 123709278, 439114836, 885588180, |
| 604792012, 728572148, 104456762, 824312523, 91554142, 315023784, 421226923, 817849621, |
| 839980954, 534522248, 461537413, 762880291, 709823499, 908080065, 528125309, 626419904, |
| 1039644850, 1014756127, 397728958, 14357310, 700607282, 73269412, 902913840, 1111742987, |
| 879727610, 158010773, 297327277, 25952546, 611924566, 50053416, 989801866, 90368228, |
| 585224271, 933426219, 110398812, 999511420, 706883634, 549310135, 53541170, 925101614, |
| 843070121, 929683019, 662230725, 321318925, 670962668, 324218395, 460185051, 1081178662, |
| 816144698, 949951877, 750353828, 202179949, 252052664, 1061721167, 1065160684, 395076053, |
| 1080656113, 698147642, 818922438, 1004453636, 244072286, 875650279, 825320847, 943762255, |
| 554831973, 284008021, 601104395, 120670645, 1049537869, 29417349, 485751722, 640637327, |
| 177440809, 521402760, 312072208, 62349474, 491672923, 392186419, 94057379, 12154676, |
| 593854865, 1054066347, 334875145, 799676077, 590107909, 150999074, 178593952, 413911140, |
| 1120548516, 313099521, 764717902, 350403854, 229345260, 350517278, 538398938, 432773433, |
| 599462902, 420123990, 1086387667, 32135583, 978145116, 854240763, 356423430, 902193194, |
| 504036268, 893165555, 111603880, 818922388, 1116156623, 88450664, 343235123, 20034984, |
| 562394618, 404739889, 492786072, 462813114, 451269569, 843732340, 98745250, 937073450, |
| 361155353, 132961963, 1020900027, 442371528, 505375525, 881159258, 423045809, 535127803, |
| 767040336, 59209860, 526321757, 919886008, 590856805, 674854304, 368893924, 829618933, |
| 988828538, 411084011, 163899952, 1118413785, 948357084, 273699925, 896734253, 957681224, |
| 270535220, 55679788, 241175702, 1089598877, 103540620, 63033815, 475825047, 116672384, |
| 1002624523, 384196402, 772275931, 286956606, 1020572031, 89660838, 971455350, 284501904, |
| 48485423, 1059719496, 81979129, 768903915, 335765806, 641176497, 283480188, 104852503, |
| 385374096, 741730645, 253389113, 1094309682, 184950262, 90025914, 1025982629, 761545209, |
| 497442993, 810686767, 64122594, 302616932, 849004408, 357539524, 846738365, 800820533, |
| 263471899, 41837425, 789255412, 648976140, 63536569, 647310441, 556255428, 798389414, |
| 639459100, 16888921, 1081131723, 373780615, 774903247, 882921479, 516351784, 1115737392, |
| 490868549, 76710529, 440873911, 707864866, 1079463993, 547579935, 146420217, 451847293, |
| 217103066, 147935612, 551112830, 295869668, 802905475, 113601730, 851467931, 608135865, |
| 548283514, 693544531, 1014381730, 469452735, 997649678, 48285740, 324452786, 529430559, |
| 1086441382, 825379270, 649534224, 1104156988, 895754220, 964855098, 725495409, 392658557, |
| 803083504, 950629577, 113982710, 565475970, 388031525, 494150383, 32545068, 284726920, |
| 661634530, 508885042, 171850234, 855494953, 869711130, 572653108, 1124445128, 387571453, |
| 527471591, 338705886, 96257844, 278825375, 486049016, 167751296, 746469890, 1091558342, |
| 78122718, 527509896, 334385459, 362699600, 792149959, 472205727, 186776779, 1087810581, |
| 1096919472, 524354409, 196948003, 758313700, 943531057, 422813841, 512975134, 70463759, |
| 29712463, 881081478, 909865230, 114289622, 521796956, 153874541, 261211103, 474207356, |
| 31199290, 746294146, 877680760, 488469507, 881666878, 361312467, 27859475, 137934338, |
| 390030192, 750270532, 411804457, 534011627, 639841140, 869554311, 926227408, 62488262, |
| 425796330, 99777106, 43512552, 93800865, 635787291, 329502798, 399556616, 451688535, |
| 1001395699, 868034999, 594413922, 806145881, 558288459, 833840920, 756020280, 206374154, |
| 964029628, 398365322, 83157107, 989573141, 254909708, 133567828, 117566235, 979026189, |
| 313584016, 984024800, 787971980, 651472892, 585816386, 279588227, 1056182452, 365628871, |
| 724761674, 672459534, 1077113069, 493022470, 91476098, 727289079, 1109048987, 100876317, |
| 185322233, 283468769, 84746079, 157931329, 379765945, 141543971, 827910707, 1069224619, |
| 562390672, 715239289, 965302328, 437563448, 524274934, 858856962, 253575278, 701368299, |
| 188986151, 117095423, 153781042, 839176952, 798788187, 399196281, 825767931, 419052158, |
| 34643824, 993496214, 387001670, 835524414, 933392050, 824836016, 309948454, 719378330, |
| 1114479314, 824747910, 170576972, 1015119097, 735266606, 218728015, 27637167, 311492071, |
| 886390087, 708923369, 355043781, 252148764, 568163149, 543524637, 288696605, 785226904, |
| 219543096, 110211601, 48765933, 972473852, 1041080716, 825105856, 150483171, 649355739, |
| 81803006, 1082829660, 853800912, 1116628377, 54000364, 253128744, 902229218, 1002622534, |
| 102594369, 505719072, 1124142467, 226337239, 667703580, 987758502, 274584746, 263671587, |
| 578316675, 713960057, 948457975, 687863493, 173221260, 89513345, 291359907, 445984809, |
| 20770187, 602463962, 1079707176, 880942496, 645894248, 780867069, 475796932, 233270624, |
| 766384245, 36093038, 500819961, 6656654, 350092093, 431977465, 311606663, 685520206, |
| 370120825, 487361599, 31706445, 949290435, 798419001, 913065224, 945091088, 972920725, |
| 857586718, 437127725, 1052645792, 358446302, 996399571, 543439832, 416789546, 916442318, |
| 302377031, 467691127, 232719548, 956950960, 30662349, 913344590, 671419686, 156717827, |
| 871221407, 805724541, 53537948, 947303970, 882321601, 261318306, 149607321, 577464632, |
| 24713313, 524014919, 148761135, 440012007, 64300984, 340528573, 392997324, 275289113, |
| 270608946, 326741293, 1023209990, 1097556513, 262052804, 369075041, 508972689, 526115229, |
| 336030213, 730812609, 858309675, 573108893, 677029394, 399052930, 719818695, 979511494, |
| 459342865, 979977030, 734921803, 1003564322, 545445521, 458168916, 897462268, 433987915, |
| 587813631, 65847000, 911164840, 479271435, 147427802, 1001655718, 753742950, 956042287, |
| 959270867, 550996088, 1061452618, 383903202, 564269310, 95108013, 274104630, 147843746, |
| 779785605, 1128241893, 311239559, 133156013, 1106707867, 1116901889, 186989720, 243881610, |
| 925404308, 256833509, 1057272545, 548147013, 338726328, 1069381687, 574850775, 342601456, |
| 593021619, 994345276, 1048130591, 357272790, 941731875, 199494123, 800190987, 1024351829, |
| 729808873, 795901888, 725425505, 1065099405, 1024787791, 856914318, 946582763, 461811542, |
| 444076465, 1128838984, 715164506, 517440977, 39330283, 90148781, 554707372, 928732704, |
| 371502021, 1008233336, 317582756, 524451154, 155422816, 440312472, 1100195158, 791313568, |
| 1074684194, 757523450, 507259938, 376912438, 790750659, 19985542, 236477812, 621515084, |
| 14641604, 423726725, 43680072, 165943232, 548969735, 840033269, 191845866, 921576757, |
| 915919657, 817349484, 963826245, 482186439, 730356300, 1015917581, 672918284, 396635587, |
| 767202303, 813371635, 869333976, 508192846, 490177145, 59204384, 11099732, 756805114, |
| 903025660, 594360830, 1019323549, 705453704, 721000677, 467124590, 433770645, 203504697, |
| 97797853, 924825635, 373581843, 430933902, 811243340, 250007758, 534865265, 128712376, |
| 822051513, 250846965, 1070671272, 1072188174, 312655828, 488080380, 566811631, 88831334, |
| 15478592, 996929267, 279463354, 404398823, 996165590, 134746184, 10331000, 142429560, |
| 482838497, 3625072, 653531060, 803565118, 1048986230, 1006019827, 715676944, 564117799, |
| 555220950, 889714353, 263699900, 503659804, 1088604303, 600414871, 99345416, 997036691, |
| 1062002121, 126783467, 253332497, 438867657, 976937555, 654395668, 557215041, 46939874, |
| 552713464, 749916384, 484323074, 483917405, 677263900, 99365013, 192496860, 914599346, |
| 547960463, 231723970, 997912798, 1099799435, 892081583, 102958110, 696767097, 5476106, |
| 869957957, 497317476, 399192328, 575567190, 737714890, 545582635, 731658739, 404188557, |
| 914432306, 56034159, 372218440, 626858382, 1059276234, 290001074, 728713038, 646639755, |
| 1071349304, 497411527, 914507668, 874023244, 330355746, 997134735, 317751869, 93333561, |
| 191736798, 867404294, 764021455, 649553869, 32134107, 356452470, 515188952, 912016737, |
| 981074116, 3176027, 563139069, 901020620, 765622786, 77065368, 112565404, 1104087001, |
| 603149919, 62320784, 37340924, 271988916, 1088050757, 900822026, 570795193, 118136336, |
| 228954381, 84002137, 107820426, 1036215916, 414421818, 575157043, 1029511469, 1098909800, |
| 638622793, 364653701, 951039572, 202667835, 1105572750, 905930490, 622475707, 769476936, |
| 359844918, 1032607831, 270561227, 922044195, 211114077, 806702381, 1034110348, 1090787175, |
| 380228620, 754831904, 825262701, 254684021, 689956338, 946898079, 1119439184, 170588665, |
| 455055047, 1112488359, 316261794, 167052760, 681776700, 101655817, 1104047888, 931846485, |
| 777666661, 244421919, 1032717751, 771899484, 167884822, 383451132, 414684868, 967970978, |
| 251607673, 946486934, 801420079, 964329829, 1081110125, 810125049, 621410728, 635499090, |
| 324446706, 609896164, 727096174, 788299449, 605051120, 662578360, 478977775, 511427829, |
| 804875304, 299858894, 607089768, 134081973, 892474561, 270157166, 79522694, 885310889, |
| 360224635, 1006476027, 974435294, 780834962, 461009670, 494180818, 959507232, 1121381346, |
| 1088339534, 654927281, 762292807, 33461378, 661924743, 864591625, 546400772, 944342858, |
| 1028200265, 1056455757, 88680527, 1050916030, 938561033, 102069108, 295787004, 446280472, |
| 772055005, 715365274, 933867776, 785081482, 216411888, 159026208, 584415731, 310755280, |
| 266117816, 727015230, 334501223, 484334581, 1033523203, 1063818101, 736774330, 313712636, |
| 734996871, 184740368, 362794063, 436132188, 482029298, 442290376, 221647483, 386772954, |
| 982910397, 726807337, 240728269, 105503811, 269900590, 243722064, 610126807, 951562758, |
| 659751006, 340811190, 199299787, 351828858, 856382738, 365480606, 1042786228, 1123068912, |
| 10276685, 642933070, 165566419, 679827169, 961701698, 294054310, 355706366, 217192437, |
| 522587524, 312032939, 558693905, 349209851, 930411190, 262585457, 415533475, 646948555, |
| 1066780967, 471089109, 929057655, 517438536, 258478395, 39270561, 889479646, 273898984, |
| 627910143, 618616086, 180698624, 951480188, 200561477, 237584143, 607869392, 437078460, |
| 415163056, 209993568, 334873362, 1128930907, 508514481, 792979407, 676813222, 1019104866, |
| 411695497, 43613997, 785578867, 132379578, 737624958, 773288614, 505119708, 928682766, |
| 752219752, 662639813, 271272426, 160092539, 49353550, 599278652, 457441423, 694141030, |
| 1108781150, 497004602, 152637935, 327024689, 869206336, 153529086, 213974535, 210561231, |
| 1115104772, 26000087, 473351014, 705674785, 11948367, 699262595, 385616508, 1082509833, |
| 1002086909, 351117184, 426727961, 716455350, 445629691, 263014880, 178561677, 763942576, |
| 453911234, 251065969, 1119113840, 403386182, 584063944, 1061670228, 1067594138, 934920847, |
| 221796630, 578508545, 960533240, 408202157, 800505215, 124820100, 693014651, 377258025, |
| 345451846, 1084205130, 955691331, 877134009, 461861459, 1065671551, 750205976, 899130388, |
| 962296503, 260525551, 454879090, 567632207, 867393171, 205384967, 52991349, 772073189, |
| 784137909, 177596177, 774634076, 830320977, 80216042, 958845699, 444242121, 445247615, |
| 749038979, 1043182368, 942892656, 308653011, 717431175, 1123135166, 401326655, 801495329, |
| 924651065, 627583444, 57945923, 797461143, 1014733078, 267842526, 75171020, 985898727, |
| 602077998, 289641435, 3817272, 72809466, 170436822, 917065606, 1075765979, 228712568, |
| 804065866, 103429236, 755232438, 523116600, 175489690, 643101045, 782740199, 646390839, |
| 154384289, 34296586, 68273162, 409008719, 72194869, 514620434, 1074403272, 1002586053, |
| 824780576, 439514269, 814483462, 1065678048, 192117199, 337965005, 290046544, 745194166, |
| 98634179, 594461368, 282668308, 169287965, 809176984, 851624865, 146280088, 551403730, |
| 229988203, 759464587, 986831791, 307931453, 687021443, 1037047036, 390984681, 360214539, |
| 489609063, 1079688799, 520853052, 248692113, 519108294, 873337355, 1019557863, 51551242, |
| 140648753, 956691426, 500515518, 829644954, 225195986, 477843837, 117146454, 524576548, |
| 388500809, 679009976, 95097294, 83923789, 86452515, 112923593, 572196182, 809066810, |
| 365600046, 610178737, 6894641, 484752925, 321345624, 421663857, 996369171, 945767857, |
| 512656150, 598142805, 131771428, 523631226, 238471503, 1017814054, 960743607, 358302399, |
| 729762169, 774817733, 285185753, 94598268, 859341273, 817195544, 781913067, 180586359, |
| 922498031, 928876955, 181750202, 704453607, 982602560, 760425692, 445461081, 262899249, |
| 993032850, 1099441120, 766077054, 661328835, 849341957, 64481799, 137189173, 665203913, |
| 274533772, 732036380, 686074559, 364887119, 934033368, 1113144551, 98086634, 1039349720, |
| 138463640, 63197842, 478102337, 281719763, 25872677, 48972992, 1117419859, 319791525, |
| 557816662, 725904956, 373125437, 385943763, 208358936, 697455132, 373381211, 417958668, |
| 398054090, 1014428957, 906287080, 1055697308, 610106444, 259488631, 39585717, 1118889820, |
| 869608698, 828290478, 859032095, 336215136, 327990657, 634859446, 312601336, 291351028, |
| 682470272, 23577953, 337451423, 616208275, 919161707, 247373119, 679977555, 387895394, |
| 234372661, 418240334, 10541774, 49052282, 470788227, 341763065, 746512185, 939659609, |
| 615551391, 1053722676, 786403464, 952256028, 999791888, 536861641, 466680432, 223936516 |
| |
| }; |
| |
| } |
