FK20 CUDA
fr_fft_testvector.cu
Go to the documentation of this file.
1 // bls12_381: Arithmetic for BLS12-381
2 // Copyright 2022-2023 Dag Arne Osvik
3 // Copyright 2022-2023 Luan Cardoso dos Santos
4 
10 static __managed__ fr_t
11 q[512] = {
12  { 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, }, // 0
13  { 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, }, // 1
14  { 0x0000000020000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, }, // 2
15  { 0x00003e6b41437d93, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, }, // 3
16  { 0x0400000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, }, // 4
17  { 0x18f07d736b90be55, 0x000000000000000a, 0x0000000000000000, 0x0000000000000000, }, // 5
18  { 0x68286fb260000000, 0x00000000000007cd, 0x0000000000000000, 0x0000000000000000, }, // 6
19  { 0x70d7203e34913767, 0x000000000002a9d7, 0x0000000000000000, 0x0000000000000000, }, // 7
20  { 0x0000000000000000, 0x0000000000800000, 0x0000000000000000, 0x0000000000000000, }, // 8
21  { 0x4fe184719e8ae269, 0x000000000f38208c, 0x0000000000000000, 0x0000000000000000, }, // 9
22  { 0x6d7217caa0000000, 0x00000001431e0fae, 0x0000000000000000, 0x0000000000000000, }, // 10
23  { 0x5d3ee50c0d97a27b, 0x0000001405a44bcf, 0x0000000000000000, 0x0000000000000000, }, // 11
24  { 0x4c00000000000000, 0x000000f9ad050df6, 0x0000000000000000, 0x0000000000000000, }, // 12
25  { 0x2f19908db9e6d93d, 0x000009efc4cee081, 0x0000000000000000, 0x0000000000000000, }, // 13
26  { 0xc69226ece0000000, 0x0000553aee1ae407, 0x0000000000000000, 0x0000000000000000, }, // 14
27  { 0xe6766f88d64bcbcf, 0x000276453de4ee0f, 0x0000000000000000, 0x0000000000000000, }, // 15
28  { 0x0000000000000000, 0x0010000000000000, 0x0000000000000000, 0x0000000000000000, }, // 16
29  { 0xd73bee6aa7dcf7d1, 0x005cd2e2a01291ff, 0x0000000000000000, 0x0000000000000000, }, // 17
30  { 0x33d15c4d20000000, 0x01e7041189fc308e, 0x0000000000000000, 0x0000000000000000, }, // 18
31  { 0xaf403f657efcf863, 0x09201e65bdbb801e, 0x0000000000000000, 0x0000000000000000, }, // 19
32  { 0x5400000000000000, 0x2863c1f5cdae42f9, 0x0000000000000000, 0x0000000000000000, }, // 20
33  { 0x36039e82be651b25, 0xa63fd833b9386b07, 0x0000000000000000, 0x0000000000000000, }, // 21
34  { 0x81b2f44f60000000, 0x80b48979eba7dca1, 0x0000000000000002, 0x0000000000000000, }, // 22
35  { 0x1645fbdbc05c4537, 0x15743d748312ea67, 0x0000000000000009, 0x0000000000000000, }, // 23
36  { 0x0000000000000000, 0x35a0a1bec9800000, 0x000000000000001f, 0x0000000000000000, }, // 24
37  { 0xfa7c534fbb224839, 0xf537c675815d9ccd, 0x0000000000000065, 0x0000000000000000, }, // 25
38  { 0xb73cdb27a0000000, 0xf899dc1025e33211, 0x000000000000013d, 0x0000000000000000, }, // 26
39  { 0x660a5960c4c8474b, 0xf838d9694b763e1c, 0x00000000000003b5, 0x0000000000000000, }, // 27
40  { 0x9c00000000000000, 0x5dc35c80f8d244dd, 0x0000000000000aa7, 0x0000000000000000, }, // 28
41  { 0x4cbc36a8b48a4c0d, 0xc05d04235e8807c3, 0x0000000000001d79, 0x0000000000000000, }, // 29
42  { 0x1ac97979e0000000, 0xa7bc9dc1fccecdf1, 0x0000000000004ec8, 0x0000000000000000, }, // 30
43  { 0x357a291700acab9f, 0x7f2d40ba7e1dd62f, 0x000000000000cbe5, 0x0000000000000000, }, // 31
44  { 0x0000000000000000, 0x0000000000000000, 0x0000000000020000, 0x0000000000000000, }, // 32
45  { 0xaa4a2ae899995ba1, 0x40bdebc12910cf8c, 0x000000000004e1c1, 0x0000000000000000, }, // 33
46  { 0x54fb9efa20000000, 0x5402523ffae77dcd, 0x00000000000b9a5c, 0x0000000000000000, }, // 34
47  { 0x622b51c77245d733, 0x2316d381689698bc, 0x00000000001ae4d7, 0x0000000000000000, }, // 35
48  { 0xa400000000000000, 0x313f8611c67a2b89, 0x00000000003ce082, 0x0000000000000000, }, // 36
49  { 0x2ecbeadd94e1b3f5, 0x9647053339292376, 0x000000000086c025, 0x0000000000000000, }, // 37
50  { 0xafdf9f0c60000000, 0xb7b77003d5e807ec, 0x00000000012403cc, 0x0000000000000000, }, // 38
51  { 0xf4a80c39cf988707, 0xdc6ff05375e08dd4, 0x00000000026c3b69, 0x0000000000000000, }, // 39
52  { 0x0000000000000000, 0xb9b5c85f2a800000, 0x00000000050c783e, 0x0000000000000000, }, // 40
53  { 0xed43d83401473a09, 0xa43523de4a8eff7f, 0x000000000a54eb68, 0x0000000000000000, }, // 41
54  { 0x57cca364a0000000, 0x77270d60e6c073d0, 0x0000000014c7fb06, 0x0000000000000000, }, // 42
55  { 0x2528c50d95ed701b, 0x2aaaa6c85dfbaf8b, 0x00000000291e0f54, 0x0000000000000000, }, // 43
56  { 0xec00000000000000, 0x3d74fb9430365e89, 0x000000005016912f, 0x0000000000000000, }, // 44
57  { 0x06bb8250f6371add, 0x0e5766cdace39c12, 0x0000000099acd49c, 0x0000000000000000, }, // 45
58  { 0x780b88a6e0000000, 0x90625d4ce2c8bf7b, 0x0000000122ae87ae, 0x0000000000000000, }, // 46
59  { 0xd347befd98a0df6f, 0x4dfcb69f2fc82831, 0x000000021e593f24, 0x0000000000000000, }, // 47
60  { 0x0000000000000000, 0xd930000000000000, 0x00000003e6b41437, 0x0000000000000000, }, // 48
61  { 0xfdfde6c5a6ab6b71, 0x44a00d267f3805a8, 0x00000007180beba7, 0x0000000000000000, }, // 49
62  { 0xf764490720000000, 0xb02bb399bf4f8a69, 0x0000000cbea6f8ce, 0x0000000000000000, }, // 50
63  { 0x02bd375135965a03, 0xab595848a159c975, 0x00000016a1f6b181, 0x0000000000000000, }, // 51
64  { 0xf400000000000000, 0x04bc664236e79b64, 0x00000027bf133b82, 0x0000000000000000, }, // 52
65  { 0x427bf8a141cac8c5, 0x27179a30dcd8c288, 0x000000450e50bcf5, 0x0000000000000000, }, // 53
66  { 0x189908e960000000, 0x296ec7c38cc14b2c, 0x00000076bf071b2d, 0x0000000000000000, }, // 54
67  { 0x851b118cdc203cd7, 0x531a4c871e05e56a, 0x000000ca2bc17704, 0x0000000000000000, }, // 55
68  { 0x0000000000000000, 0x1f1a489bb3800000, 0x00000154ebb86b90, 0x0000000000000000, }, // 56
69  { 0xb58b38f09573f7d9, 0x6c7c60efa1f5cf47, 0x000002399a1ce813, 0x0000000000000000, }, // 57
70  { 0x16914981a0000000, 0x6bd100f8699786d5, 0x000003af380ba084, 0x0000000000000000, }, // 58
71  { 0xd04b16f4b7ab5ceb, 0x7b5c48455f55aab1, 0x0000060c7e02fdd9, 0x0000000000000000, }, // 59
72  { 0x3c00000000000000, 0x3f99d9be23592f2f, 0x000009d914f793b8, 0x0000000000000000, }, // 60
73  { 0x91078b5dc28585ad, 0x0be78f3541d1d725, 0x00000fe79b8735a1, 0x0000000000000000, }, // 61
74  { 0xe0159573e0000000, 0x4fc3bac5e6af4522, 0x0000197cafe5a817, 0x0000000000000000, }, // 62
75  { 0x87deaadc31fea73f, 0x6f4baf2d3328f377, 0x000028891d6deea1, 0x0000000000000000, }, // 63
76  { 0x0000000000000000, 0x0000000000000000, 0x0000400000000000, 0x0000000000000000, }, // 64
77  { 0xc5289d15c0316741, 0xae988df7e00c2641, 0x00006455802f3a05, 0x0000000000000000, }, // 65
78  { 0x13332b7420000000, 0x252219f19549455d, 0x00009c382817bd78, 0x0000000000000000, }, // 66
79  { 0x729fa262415ec0d3, 0x55434831186108eb, 0x0000f19e4f8f5eaa, 0x0000000000000000, }, // 67
80  { 0x4400000000000000, 0xff5cefb9aa9f73df, 0x0001734b8a804a47, 0x0000000000000000, }, // 68
81  { 0x6bd8f1d2972c9995, 0x1c3439da483305c5, 0x000237006f4f7d29, 0x0000000000000000, }, // 69
82  { 0xee48bae660000000, 0x2d12d3178c456a38, 0x00035c9ae462da70, 0x0000000000000000, }, // 70
83  { 0xbf1cced23565a6a7, 0x250e98aae76d8361, 0x00051288555cef2b, 0x0000000000000000, }, // 71
84  { 0x0000000000000000, 0x38cf457134800000, 0x00079c104627f0c2, 0x0000000000000000, }, // 72
85  { 0xdbbdd3e0070ac1a9, 0x1583456b737f1213, 0x000b5a30123094bf, 0x0000000000000000, }, // 73
86  { 0xb29c367ea0000000, 0x6725246ec5d97d5b, 0x0010d804b2c8e0a6, 0x0000000000000000, }, // 74
87  { 0x1b45714a91de4dbb, 0x8fa262b622f7deec, 0x0018dc1afe84c2b6, 0x0000000000000000, }, // 75
88  { 0x8c00000000000000, 0x7abd00fd95fbf3e1, 0x0024807996f6ee00, 0x0000000000000000, }, // 76
89  { 0xba6ff8730f95cc7d, 0x06d76fe97f4a08f7, 0x003553db9df16dec, 0x0000000000000000, }, // 77
90  { 0x39f310e0e0000000, 0x6ebc11ba9e950187, 0x004d876d3b8dfe0a, 0x0000000000000000, }, // 78
91  { 0x79f6a66da174430f, 0x3f31c792769e13e1, 0x00702d7bb3dda25e, 0x0000000000000000, }, // 79
92  { 0x0000000000000000, 0xe550000000000000, 0x00a18f07d736b90b, 0x0000000000000000, }, // 80
93  { 0x5cd9e3847d718f11, 0x1afbdd9bb089a8a3, 0x00e7a01eb2e2c10f, 0x0000000000000000, }, // 81
94  { 0x8028e74120000000, 0xc951dfeffda87b06, 0x014a9d6d1486a47b, 0x0000000000000000, }, // 82
95  { 0x674cc89262874ba3, 0x650929f9496ec08b, 0x01d5e0dc0ae150e6, 0x0000000000000000, }, // 83
96  { 0x9400000000000000, 0x1cd80e7a0af9946c, 0x0298ff60cee4e1ac, 0x0000000000000000, }, // 84
97  { 0xdb3579c27cdb6665, 0x99b83e3f03176c7b, 0x03a947d2b103e7ae, 0x0000000000000000, }, // 85
98  { 0xb2bdae0360000000, 0x0bbf75f164a518a1, 0x0523c1ea855554d9, 0x0000000000000000, }, // 86
99  { 0x0efb0ff766f30477, 0x656d7840fa6764fd, 0x072fd5fd9d0ba1e9, 0x0000000000000000, }, // 87
100  { 0x0000000000000000, 0x8606cbd13d800000, 0x0a02d225e7ae9f72, 0x0000000000000000, }, // 88
101  { 0x65994ec736d5d779, 0x19b9987d04823854, 0x0de49112274d17c9, 0x0000000000000000, }, // 89
102  { 0x1ec6e35ba0000000, 0xb59c738240d7704a, 0x13359a9381caecd9, 0x0000000000000000, }, // 90
103  { 0x1eac089dd41a828b, 0x7e34aef9439784a6, 0x1a772f49dcaf6176, 0x0000000000000000, }, // 91
104  { 0xdc00000000000000, 0x9c5917ef6f017114, 0x2455d0f5d20c4ba9, 0x0000000000000000, }, // 92
105  { 0x0d2315c2fc902f4d, 0x5ac3c48af7a8cc67, 0x31b701b423f622a6, 0x0000000000000000, }, // 93
106  { 0xb3141bede0000000, 0xe5f905063a68f7df, 0x43cb27e489bf96d3, 0x0000000000000000, }, // 94
107  { 0xaa4976890307f2df, 0x1c40081d0e9c40ce, 0x5c24c5683e995fe5, 0x0000000000000000, }, // 95
108  { 0x0000000000000000, 0x0000000000000000, 0x7cd68286fb260000, 0x0000000000000000, }, // 96
109  { 0x3d37170a625a22e1, 0x99b93e1eaeeaa95f, 0xa899f3304bc9cb62, 0x0000000000000000, }, // 97
110  { 0xb4d56d6e20000000, 0xcfe700b51fbfbcd8, 0xe3017d74e89401a4, 0x0000000000000000, }, // 98
111  { 0xa0b4a441f0f03a73, 0xe4718619f67087a5, 0x30b8680f9a877ad3, 0x0000000000000001, }, // 99
112  { 0xe400000000000000, 0x37e9f14d3eec8920, 0x97d4df19d6057673, 0x0000000000000001, }, // 100
113  { 0xb92afe3546f36f35, 0xa61dd6b1d40efd0b, 0x2040b4aaee795ead, 0x0000000000000002, }, // 101
114  { 0x26b2cb4060000000, 0x142b392ea057a6ea, 0xd43ed630356b2b09, 0x0000000000000002, }, // 102
115  { 0xb1b34745deea9647, 0x9488c5265ee9494c, 0xc114eb36feb9082b, 0x0000000000000003, }, // 103
116  { 0x0000000000000000, 0x46dcf36c9e800000, 0xf7e2677040978cc8, 0x0000000000000004, }, // 104
117  { 0x3e54488efd877949, 0xb1bdb615eb31dd3f, 0x8eb09b9ce7292cc3, 0x0000000000000006, }, // 105
118  { 0x28395918a0000000, 0x1b9b1851084f7f14, 0xa1ca179ea4e2f346, 0x0000000000000008, }, // 106
119  { 0xde9b7bd8cc2c3b5b, 0x51be06a090bfc5ff, 0x556b17cbf57856db, 0x000000000000000b, }, // 107
120  { 0x2c00000000000000, 0x719829658313211d, 0xd7e0e365a52dd8f8, 0x000000000000000e, }, // 108
121  { 0x008dbcd40824ee1d, 0x09f2b1632f9040d3, 0x64331b2138128df9, 0x0000000000000013, }, // 109
122  { 0x9b84079ae0000000, 0xe3c0bcad50a36231, 0x45782ee08a634990, 0x0000000000000019, }, // 110
123  { 0x0f7ce2190097f6af, 0x3105d8d324dcec63, 0xdafdc46af122a11f, 0x0000000000000020, }, // 111
124  { 0x0000000000000000, 0x7670000000000000, 0x9d770d7203e34913, 0x000000000000002a, }, // 112
125  { 0xba8ea4cbe60162b1, 0x3b67dca1efdd4576, 0x256e363aca4cdffc, 0x0000000000000037, }, // 113
126  { 0x12ae7efb20000000, 0xf43eb9e8f6b1671e, 0x33439d026d8f8c1d, 0x0000000000000047, }, // 114
127  { 0x5dfb704545f1cd43, 0x10f26d91e89e402d, 0xb915dcdbde95b716, 0x000000000000005b, }, // 115
128  { 0x3400000000000000, 0x0d32f0daa2d22930, 0xe70174108d7a201f, 0x0000000000000075, }, // 116
129  { 0x20c270b0cc58f405, 0xfa9a79867b403c45, 0x3a3e973be9d3952b, 0x0000000000000097, }, // 117
130  { 0x96f56b9d60000000, 0xabeab5563a0962de, 0x8fc05fbb2f6b8908, 0x00000000000000c1, }, // 118
131  { 0x04dcf216d4869c17, 0x64de405e5b9b9de4, 0x3b1ae269c9413747, 0x00000000000000f7, }, // 119
132  { 0x0000000000000000, 0xc46b25e5e7800000, 0x229ef27707f33b37, 0x000000000000013b, }, // 120
133  { 0xa13409d99239e719, 0xd78cf52c50aa274c, 0xe1cbaccde39ae004, 0x0000000000000190, }, // 121
134  { 0xb850b0b5a0000000, 0xa83a3ae4b220f16b, 0xf370e6b4217cf1e6, 0x00000000000001fc, }, // 122
135  { 0xf149659ffc97b82b, 0xdcc8bb47964f7601, 0xe524059214af913f, 0x0000000000000284, }, // 123
136  { 0x7c00000000000000, 0xbcd5e8a45c02b2ae, 0x95fcb502e9f87758, 0x000000000000032f, }, // 124
137  { 0x7c47b470070c48ed, 0x7c0ac18ad82da161, 0x82f2d6305b0bc2a2, 0x0000000000000405, }, // 125
138  { 0x863fd4e7e0000000, 0xa6651e6ef0fbd55b, 0x23adbdd42de975e5, 0x0000000000000511, }, // 126
139  { 0xd3a8494d585a8e7f, 0x669f2b4f2128d8bf, 0x5b21bed75a2804c2, 0x000000000000065f, }, // 127
140  { 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000800, }, // 128
141  { 0x6fa4b4e639258e81, 0x96712d8b89da78bc, 0x81c24370d553a1ae, 0x0000000000000a06, }, // 129
142  { 0xb8062ce820000000, 0xfc0184c838a513a2, 0xb005e740b5d311be, 0x0000000000000c8a, }, // 130
143  { 0x8aa7014f72dc4413, 0xcd7c843e36135180, 0xaafd2da37db96a4f, 0x0000000000000fa9, }, // 131
144  { 0x8400000000000000, 0x32a928aba266656e, 0x0502f7af04a4433e, 0x0000000000001387, }, // 132
145  { 0x223627d53d3834d5, 0xf6170901226dc7fd, 0x1edbe5966632622f, 0x000000000000184e, }, // 133
146  { 0x482bd81a60000000, 0x230c211d6e53f44c, 0xc9f1ebd54aa86906, 0x0000000000001e33, }, // 134
147  { 0x578b8b536e9955e7, 0x6d0b18e21043de45, 0x3de80e4c0ff8026d, 0x0000000000002578, }, // 135
148  { 0x0000000000000000, 0x3553ee7be8800000, 0x71500948ffeb9df7, 0x0000000000002e69, }, // 136
149  { 0x2038f1f7b0ef60e9, 0x73baf0bbcd51cdea, 0xe8222fe9281d3869, 0x0000000000003965, }, // 137
150  { 0x52e59332a0000000, 0x490660b8ad7b1e3a, 0x0de9efa52386873b, 0x00000000000046e0, }, // 138
151  { 0x73ab9bf1f31938fb, 0xe44adc20ebddccc3, 0x357b1db05239642b, 0x0000000000005762, }, // 139
152  { 0xcc00000000000000, 0xf188ad471dc9175c, 0x5c8c5b4e05a25a62, 0x0000000000006b93, }, // 140
153  { 0x7bee8f5fda867fbd, 0xd678c953067d2b01, 0xd6dbd37c8c3c718a, 0x000000000000843c, }, // 141
154  { 0x46acb4d4e0000000, 0x5cedb06c37e399da, 0x0aab9de564a1d315, 0x000000000000a251, }, // 142
155  { 0x41b743caa35dfa4f, 0x1e20da0556ceaa62, 0x6f8cf429512f1d02, 0x000000000000c6f3, }, // 143
156  { 0x0000000000000000, 0x2690000000000000, 0x08c4fe184719e8ae, 0x000000000000f382, }, // 144
157  { 0x92dd3a6dccace651, 0x7ce63907d3957abe, 0x9e40f5fa45f10a2d, 0x00000000000129a0, }, // 145
158  { 0x00e1583520000000, 0x6e6fe2427b77ba7c, 0x02461297e2b068ad, 0x0000000000016b46, }, // 146
159  { 0x953171403777dee3, 0x837d297872aa0814, 0xbf07ce4d383168af, 0x000000000001bacb, }, // 147
160  { 0xd400000000000000, 0xd8bb2fab765386cf, 0x96591c14cce4a48d, 0x0000000000021b00, }, // 148
161  { 0x1c1a2424b98571a5, 0xd2d13c9a00a25345, 0x4f10e25d5c556187, 0x0000000000028f3e, }, // 149
162  { 0x523bc9b760000000, 0xc45efbdd8368ae29, 0x5fd09856d1f44c56, 0x0000000000031b83, }, // 150
163  { 0xdea5a0c52a0d03b7, 0xc20f3d4274df37ce, 0x1e0a7b975d6aaee5, 0x000000000003c491, }, // 151
164  { 0x0000000000000000, 0xb2bf7e7c31800000, 0x32deddc00f57a01f, 0x000000000004900f, }, // 152
165  { 0xdf29f741811226b9, 0xbfb4b9b5e5ba5d03, 0x3630b969187f435b, 0x00000000000584b5, }, // 153
166  { 0x61f2b98fa0000000, 0x2fe9411ef74dff0e, 0x73be2dbd80daedfd, 0x000000000006aa7b, }, // 154
167  { 0x90b4ff6c5f24fdcb, 0xb4b5c66c9b178218, 0x06c2fca4869a0459, 0x0000000000080ad4, }, // 155
168  { 0x1c00000000000000, 0x53d2a030e73e621c, 0xa771bfc14dd78237, 0x000000000009b0ed, }, // 156
169  { 0x38352817e6dbd28d, 0x3b67a1faf2559a36, 0xbb3df19920df5ddc, 0x00000000000baa01, }, // 157
170  { 0xb42e8861e0000000, 0x4ed3c27c2f3ed4cd, 0x767bb44bc7e638f2, 0x00000000000e05af, }, // 158
171  { 0x55e0d71c5c087a1f, 0x896a8b11fa07169d, 0x245978af65ebb618, 0x000000000010d666, }, // 159
172  { 0x0000000000000000, 0x0000000000000000, 0xfae6d7217caa0000, 0x00000000001431e0, }, // 160
173  { 0x99ffe1629825aa21, 0x068cea5851a51d4a, 0x3d1f91ed93f99f74, 0x00000000001831b7, }, // 161
174  { 0x8fae31e220000000, 0x761135146b9b3c70, 0xd65c5821e35f7bb3, 0x00000000001cf403, }, // 162
175  { 0x89bc18f93884ddb3, 0xe3b616e391e3c509, 0x12e28a1556ac0e10, 0x0000000000229c28, }, // 163
176  { 0x2400000000000000, 0xffb50f60d0051ce8, 0xa290d48f792a3bfd, 0x00000000002953ad, }, // 164
177  { 0xd214271da77cea75, 0xdf7af5cc65a4e7e2, 0xaf18893df0f6971e, 0x0000000000314b4c, }, // 165
178  { 0x4c50e97460000000, 0x292dd8116ce99912, 0x815c2a1ccca1253f, 0x00000000003abc1b, }, // 166
179  { 0x1e28a6ba8063e587, 0x9fb7b70f2c36d8da, 0xfc44a2ccda64e849, 0x000000000045e8ed, }, // 167
180  { 0x0000000000000000, 0x415f328d92800000, 0x19dc9c35839b01cf, 0x0000000000531fec, }, // 168
181  { 0xd79963573bf47889, 0x3e76afdbf48e81ee, 0x9d5db579a2cf25ce, 0x000000000062bc67, }, // 169
182  { 0x4f9b6ccca0000000, 0xe062ed8f7b66af38, 0x56207cf5d33707c7, 0x00000000007528fa, }, // 170
183  { 0xc427e01a6867469b, 0x778879961433f777, 0xa095c835bf0245ac, 0x00000000008ae1f7, }, // 171
184  { 0x6c00000000000000, 0x2c94a3143657b5c0, 0x50aaaa9b2177eebe, 0x0000000000a4783d, }, // 172
185  { 0x7e1da6f949dc815d, 0xf08693ac43aee694, 0xe1e8051007cbeb1c, 0x0000000000c29471, }, // 173
186  { 0xecde608ee0000000, 0x1f4cec9fa1df61fe, 0xb3a1743d2cadaf08, 0x0000000000e5fabf, }, // 174
187  { 0x134b392d24984def, 0xdacbeec53b2c0ffe, 0x41bc71ea0cfd44c7, 0x00000000010f8f1f, }, // 175
188  { 0x0000000000000000, 0x27b0000000000000, 0xbcf5d3ee50c0d97a, 0x0000000001405a44, }, // 176
189  { 0xaf2300de204619f1, 0x04c97be9a3e8480e, 0x28f615b762fbaeb4, 0x0000000001798f48, }, // 177
190  { 0xe6dabaef20000000, 0xa090470a8cb329d8, 0x44e9a2f92337330f, 0x0000000001bc9222, }, // 178
191  { 0xbde815de763b8083, 0x25bed0bb1eb6a4c0, 0x07c5420d4ab3da23, 0x00000000020aff1c, }, // 179
192  { 0x7400000000000000, 0x481aee0943d8dc6b, 0x70395d9b36b38e70, 0x000000000266b352, }, // 180
193  { 0x910ff70bca22df45, 0xa95c1064f9991ae0, 0xdf5c323e75755509, 0x0000000002d1d674, }, // 181
194  { 0xba83505160000000, 0x2872f094c3d58113, 0x3b95ec2ecfc695df, 0x00000000034ee5e9, }, // 182
195  { 0xe27e6403ce383b57, 0x3c5ac4178c1bb70b, 0xc068ad224f771874, 0x0000000003e0c186, }, // 183
196  { 0x0000000000000000, 0xede02e229b800000, 0xba418975338b22fd, 0x00000000048aba1e, }, // 184
197  { 0x5fd5fd4d93509659, 0xdc16e42e38ce821d, 0x90ad08d512bc1690, 0x000000000550a211, }, // 185
198  { 0x5f9205e9a0000000, 0x5ef5198ce1a462b8, 0x847ec454cb587891, 0x000000000636e036, }, // 186
199  { 0xdbc1da304544536b, 0xc1a6f05944352b47, 0x84bb0a4bab9fbd59, 0x0000000007428565, }, // 187
200  { 0xbc00000000000000, 0xc74d1efbf662837d, 0x9137f2da7cbf20a0, 0x00000000087964fc, }, // 188
201  { 0xf08d884bd160cc2d, 0x7ce5285628a001c7, 0x6cfbade4de365c9c, 0x0000000009e230c5, }, // 189
202  { 0x2060fe5be0000000, 0xa1d38819d5492ed1, 0x07d32bfca3880103, 0x000000000b8498ad, }, // 190
203  { 0xf118ad094da3b5bf, 0xf17a1ec3d24c269e, 0x2dc4ed8ce658cf39, 0x000000000d696ecc, }, // 191
204  { 0x0000000000000000, 0x0000000000000000, 0xdf64c00000000000, 0x000000000f9ad050, }, // 192
205  { 0x11399d3f3d6c75c1, 0x41d2ec48233ee831, 0x67cf1cd1e08e4b83, 0x00000000122453e9, }, // 193
206  { 0x4c4b445c20000000, 0xd5dd552be7a6e2e1, 0x0979396c533727c3, 0x0000000015133e66, }, // 194
207  { 0xf92b90a602cc0753, 0x6d0631dd89f2eb2f, 0x2cee87703769e45a, 0x000000001876be5c, }, // 195
208  { 0xc400000000000000, 0xa3f7f79b169aadad, 0x9d12803499fce016, 0x000000001c602fae, }, // 196
209  { 0x5fd3cd7417c39015, 0x86b28c98e1c814fa, 0xd36374e31f44d700, 0x0000000020e367f9, }, // 197
210  { 0x3e1e074e60000000, 0x3ece10f4b4169488, 0xf350ef5a7c8e30c3, 0x0000000026170d01, }, // 198
211  { 0xe5d346cc79bc4527, 0x5f3f22ec724db4cc, 0x2d735007d8f3f605, 0x000000002c14f662, }, // 199
212  { 0x0000000000000000, 0xa7dd91241c800000, 0x3ac0aece66fd3e29, 0x0000000032fa9be3, }, // 200
213  { 0x7b921549d7c8c029, 0xdca431ed10d94913, 0xdf011627a561fdcd, 0x000000003ae99208, }, // 201
214  { 0xa8de6de6a0000000, 0x3a81dfa177255fc6, 0x5dcf2bd5b4c3bad6, 0x0000000044081695, }, // 202
215  { 0x1b9da1981158643b, 0xe48734fdab25af89, 0x074031afde6a3e02, 0x000000004e81aef6, }, // 203
216  { 0x0c00000000000000, 0xd40af4dd44d65968, 0x06ad656122856725, 0x000000005a87dac6, }, // 204
217  { 0x168c5694b1c8f2fd, 0x2849149866f041a7, 0x0b0181e4b3c457c6, 0x000000006852dcd5, }, // 205
218  { 0xbbdd52c8e0000000, 0xcbdd2929963668e8, 0xdfd72105729118a4, 0x0000000078229d66, }, // 206
219  { 0x9afcdaaf9c98f18f, 0xcb6be10ca06918d5, 0x5e0a61325c84a174, 0x000000008a3fa8b0, }, // 207
220  { 0x0000000000000000, 0x93d0000000000000, 0x0812f19908db9e6d, 0x000000009efc4cee, }, // 208
221  { 0xc553a397a21efd91, 0xa5985ac3b456dfa9, 0x15bb83db32fe9a34, 0x00000000b6b5dbd2, }, // 209
222  { 0xdfb0ef2920000000, 0xbd663ba7e7ca8911, 0x9ce525987637b6c2, 0x00000000d1d61373, }, // 210
223  { 0x4cf6ab9af8deb223, 0x1940259e6c65d060, 0xfb687a6a8fdf5919, 0x00000000f0d4b35f, }, // 211
224  { 0x1400000000000000, 0x2109efe285072b23, 0xd49c5e68c373630a, 0x00000001143942f3, }, // 212
225  { 0x3ef3497f50733ce5, 0x0202134c6c45db4a, 0x24159005f7ec01ef, 0x000000013c9d0eb3, }, // 213
226  { 0x1985876b60000000, 0x1217f8bffbd36f7b, 0x7eaf0adb6a37c0d4, 0x000000016aad62f9, }, // 214
227  { 0x08cea154593a42f7, 0x90bc4e1a5f40d98c, 0x24d64efa121e340f, 0x000000019f2e0b0e, }, // 215
228  { 0x0000000000000000, 0xb0626423a5800000, 0xb4a5bb1f0e33052c, 0x00000001dafc1c6c, }, // 216
229  { 0x26f35e91df6735f9, 0x1f4e6f56bf837550, 0xef414cc8f99efe0a, 0x000000021f1116ec, }, // 217
230  { 0x81049dc3a0000000, 0x65f2081a6011b79a, 0x270251bf213e562c, 0x000000026c866364, }, // 218
231  { 0xc0467fb3e3f7b90b, 0xf3362f75f5709984, 0xbf15ce0b65adb717, 0x00000002c4993b63, }, // 219
232  { 0x5c00000000000000, 0xaa146c46337080f3, 0x114c69321c781795, 0x0000000328af05dc, }, // 220
233  { 0xb004c56dfc7d35cd, 0xbd2e5bc66d4c5c1a, 0xb4c0f763efa1ec11, 0x000000039a5a35ac, }, // 221
234  { 0x2012fed5e0000000, 0x649b9d8c61ef9c43, 0x5e245423e620bb1a, 0x000000041b5fb88d, }, // 222
235  { 0x1ab50d34523e415f, 0x6adce312cea99ec4, 0x8a68a9b67f956420, 0x00000004adbd0640, }, // 223
236  { 0x0000000000000000, 0x0000000000000000, 0x407c69226ece0000, 0x0000000553aee1ae, }, // 224
237  { 0xf57cdd1f218bf161, 0x7e950f6c9e5c7953, 0x30157d0da656241f, 0x000000060fb8df5d, }, // 225
238  { 0x7cc02c5620000000, 0x3dfba8aed751d499, 0x59499bff876cfb94, 0x00000006e4adc6c7, }, // 226
239  { 0x656266f7b213c0f3, 0xee0e5d44c08bcec6, 0xa6f3fe0e768e2d0d, 0x00000007d5b8e641, }, // 227
240  { 0x6400000000000000, 0x1ed62ce3c255cfdf, 0x4db1f183be87d73d, 0x00000008e66873a0, }, // 228
241  { 0x0f6a5347548e25b5, 0xb230929ac68760c2, 0x90ec0f34698029d1, 0x0000000a1ab91671, }, // 229
242  { 0xa8be39a860000000, 0x3d13c805abbf6e08, 0x7bd2b6e2c21e4db2, 0x0000000b7722bb9b, }, // 230
243  { 0xc2d0b40d599474c7, 0xd4e6219488090b89, 0x5aae21a24ff72f17, 0x0000000d00a6d565, }, // 231
244  { 0x0000000000000000, 0x545a452606800000, 0x11af4403e1a65e1b, 0x0000000ebce02e82, }, // 232
245  { 0x24713693ac1e37c9, 0xa51fe268b7c3ad71, 0x28580397c9104edb, 0x00000010b2147a94, }, // 233
246  { 0x198b1e80a0000000, 0xcf680788a4184e16, 0x7d3a72a57f534f30, 0x00000012e747d2e7, }, // 234
247  { 0xd1714b3926ae91db, 0x84d2f7539673ae15, 0xbf05fa776ebe4c9e, 0x00000015645252c7, }, // 235
248  { 0xac00000000000000, 0xc7412c5bd2dead73, 0x65ed7121157d56aa, 0x0000001831f80bf7, }, // 236
249  { 0x806a8882d66dd49d, 0xe05e363876db2bc2, 0x31a08ec96566519e, 0x0000001b5a039163, }, // 237
250  { 0xda90d382e0000000, 0xcb7373bc809b9e42, 0x392826e8ec9bc80b, 0x0000001ee7635c4d, }, // 238
251  { 0x370b04fa7131e52f, 0xb32c68125a8cb1d6, 0x6822f6bdde635bc9, 0x00000022e64a56dc, }, // 239
252  { 0x0000000000000000, 0xbcf0000000000000, 0xe0fe6766f88d64bc, 0x000000276453de4e, }, // 240
253  { 0xff14a6f0b6099131, 0x6ece8966db84e65f, 0x46f4121d2176f547, 0x0000002c70ab970d, }, // 241
254  { 0x32473ce320000000, 0x8a1544e99426813b, 0xbc735c009af19ea5, 0x000000321c397599, }, // 242
255  { 0xd3d8ea7b3d8373c3, 0x21c87a36c7e468b1, 0x012cad30143893dd, 0x0000003879d268e0, }, // 243
256  { 0xb400000000000000, 0x96441e2d770a1616, 0x842f9e3cd507475c, 0x0000003f9e6e1cd6, }, // 244
257  { 0x16d3286b3b388a85, 0xa2d1e8671960fe42, 0xe3fb2bd62f27550f, 0x00000047a16257bd, }, // 245
258  { 0xff92f70560000000, 0xf2c9eec03e292cb3, 0x4295f227fb991768, 0x000000509ca480b2, }, // 246
259  { 0x31b8892164c51a97, 0x0c192ceced3e0fed, 0xca2611eee5d9bd6d, 0x0000005aad11ebc6, }, // 247
260  { 0x0000000000000000, 0x8b805655cf800000, 0x5d3f0eeb179abd14, 0x00000065f2bf96a0, }, // 248
261  { 0x6b38e0e8d2480599, 0x49916728cdfe728e, 0x52ba3af162d4a3aa, 0x0000007291521093, }, // 249
262  { 0x00e1891da0000000, 0x5b05b42c2f88f68e, 0x0b6178544f815831, 0x00000080b05e5ac6, }, // 250
263  { 0x33115e892bc12eab, 0x0f2955768ea1aa18, 0x3c585657be54bb99, 0x000000907bd49fe6, }, // 251
264  { 0xfc00000000000000, 0xde1f7aab70c7fa9c, 0x85bd2ebcb4cca3cd, 0x000000a22475b7ba, }, // 252
265  { 0x00f3a9d46e930f6d, 0x7edd05fde8281e08, 0x98b307751fa317df, 0x000000b5e0548169, }, // 253
266  { 0xab0b51cfe0000000, 0xe4251b17fa750929, 0xeb4500984cd3e569, 0x000000cbeb6437da, }, // 254
267  { 0x8e438647446a1cff, 0x7c879b39a055b698, 0xfc1a8f78642d946d, 0x000000e48814fe44, }, // 255
268  { 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000010000000000, }, // 256
269  { 0x0d5c3fd547961d01, 0x6a875a9ae54cb309, 0x9ee435d23f98a882, 0x0000011ea4a49e3a, }, // 257
270  { 0xc724b1d020000000, 0x713b4f178df4969c, 0x1aaa7435d2ce25b1, 0x00000140d038486e, }, // 258
271  { 0x452b7bde163e0a93, 0x4c7a660562dbd222, 0xec8dd05a1f12c30c, 0x00000166e68ac1a0, }, // 259
272  { 0x0400000000000000, 0x0714a2745700c59d, 0x16ba6237df803099, 0x000001915600bce8, }, // 260
273  { 0x12814dce28deab55, 0x5dd610ae0584cfba, 0x5747f79566744688, 0x000001c098a6e76a, }, // 261
274  { 0xee5b888260000000, 0xc6c26a301154e029, 0x6fb72d49f9af9087, 0x000001f5355fa5b4, }, // 262
275  { 0x9d16fbe4885e7467, 0x739c9b5d75da494a, 0x9e828699d50f6ccb, 0x0000022fc12dfdbf, }, // 263
276  { 0x0000000000000000, 0x744cccadd0800000, 0xe0948867c6552515, 0x00000270e0a05ef5, }, // 264
277  { 0x99b661d99f26df69, 0x723ededfc224e56e, 0x86fa9ca74728a1b1, 0x000002b9495e361b, }, // 265
278  { 0xa7a7069aa0000000, 0x244db8ffa446c4fa, 0xccc64c45fec2e120, 0x00000309c3db7cb2, }, // 266
279  { 0x1b1f856b04abcf7b, 0x77f6d540f0523ebe, 0x41cbac1d328cb8ac, 0x000003632d35ba93, }, // 267
280  { 0x4c00000000000000, 0xadca7e8989057b03, 0xa9550d20c4618423, 0x000003c6793e3d7a, }, // 268
281  { 0x200041ebb46d263d, 0x0169da0822624f18, 0x34f325d6f73b4027, 0x00000434b4b59dc6, }, // 269
282  { 0x6dd32abce0000000, 0x42087bc8aaf1716a, 0x81ff004dada1631c, 0x000004af07bd01c9, }, // 270
283  { 0xc1f97ef425b528cf, 0x3ddc5a475b93f2a1, 0xa3ddcfbcafccca2b, 0x00000536b881f2e5, }, // 271
284  { 0x0000000000000000, 0x7d10000000000000, 0x1ffd73bee6aa7dcf, 0x000005cd2e2a0129, }, // 272
285  { 0x03d97b603257d4d1, 0x398b05552d07d0ea, 0x3cccf0e875bfbb6f, 0x00000673f403e480, }, // 273
286  { 0xf61dec1d20000000, 0x79aa39bd44071e3e, 0x2503a70d2e775e17, 0x0000072cbd0445fd, }, // 274
287  { 0xda00fa4a19cbc563, 0x43261fb82e75d8cd, 0x4c7db9cca0a27a72, 0x000007f96794e137, }, // 275
288  { 0x5400000000000000, 0x15af63c74a5cb266, 0xa470d0e76920cc17, 0x000008dc01bd3df4, }, // 276
289  { 0x973c5de4e5b4c825, 0x360a7c3b220b8598, 0x13d9b281c6037a95, 0x000009d6cdacde0f, }, // 277
290  { 0x3e63271f60000000, 0x1d7bb9986e75737e, 0x0a472c857c895b84, 0x00000aec46af63b6, }, // 278
291  { 0x5ca6d5375c0ac237, 0xd3b0c80e47f95af6, 0xbb769dba7d43640b, 0x00000c1f2693e9b7, }, // 279
292  { 0x0000000000000000, 0xe3b922eb99800000, 0xc0b44b4c5e3115a8, 0x00000d726b918b69, }, // 280
293  { 0x0072fa63ff650539, 0x94f1b36952f93185, 0x0dca79d740acb29b, 0x00000ee95eb3ed2a, }, // 281
294  { 0xfb50cff7a0000000, 0x60cfa5602f7dd1eb, 0x91878e315acf192a, 0x000010879adb7a6f, }, // 282
295  { 0x0c97078a98a2b44b, 0xd5415239926b3f1e, 0xb163913153c69134, 0x00001251145e043a, }, // 283
296  { 0x9c00000000000000, 0x86fc733b48d5969a, 0xac943a62ab9db60d, 0x0000144a215573bc, }, // 284
297  { 0xa7d54c1bce84590d, 0xf00c7bca161b1224, 0x4f0326846bc203da, 0x0000167782ab62ad, }, // 285
298  { 0x546bbf49e0000000, 0xaad9d54c4836e879, 0x2a25e3a043c41b40, 0x000018de6df19e85, }, // 286
299  { 0xf38688828439489f, 0x2d1033a23df93b4f, 0xe1e1d05ecbcb8966, 0x00001b849818e74f, }, // 287
300  { 0x0000000000000000, 0x0000000000000000, 0x08e33d15c4d20000, 0x00001e7041189fc3, }, // 288
301  { 0x962ddf218d1cf8a1, 0x4233c4fdbd7d7907, 0x6c4b6fc25de9967c, 0x000021a8409ba496, }, // 289
302  { 0xb9959cca20000000, 0xfa72af57d25ba74d, 0x48be2145af9cc720, 0x0000253413c81ebf, }, // 290
303  { 0xa7b1ff79beace433, 0xb63edf147585ea01, 0x71a12fa26e7d981e, 0x0000291bec39e148, }, // 291
304  { 0xa400000000000000, 0x4f6ef74f801c2b06, 0xfc560d15adcdfc48, 0x00002d68c048c252, }, // 292
305  { 0xcd6f9e76343720f5, 0x4ddd60e1cdeec5e9, 0x39eae114dded32d2, 0x000032245cb661c2, }, // 293
306  { 0x06eefbdc60000000, 0x0e55410292a62e28, 0xa7062d15f06fa52f, 0x0000375977e0f9c9, }, // 294
307  { 0x690dac5da80c4407, 0x9623a103717ce29f, 0xe68bc363355b12db, 0x00003d13c69b28c7, }, // 295
308  { 0x0000000000000000, 0x6eca70d9fa800000, 0x999c9491bb1765f5, 0x0000436012cb2382, }, // 296
309  { 0x19edda4a2594b709, 0x8deb8f47ee495079, 0x9d64def2cf27f183, 0x00004a4c53f66e1a, }, // 297
310  { 0x9730ae34a0000000, 0x40144a68a3834484, 0xab8aac30fa5a2793, 0x000051e7c9e21c4b, }, // 298
311  { 0x6bbbd9a0fb121d1b, 0xe8f122466838e0ff, 0xe233e5d7978f537a, 0x00005a431972b253, }, // 299
312  { 0xec00000000000000, 0xb06d15c52a477936, 0xda3e898ad88bdf7b, 0x000063706bfa130a, }, // 300
313  { 0x0914e07950e8e7dd, 0x2f85180ea67a0b40, 0x3cfb3c54a1a623ba, 0x00006d8391257951, }, // 301
314  { 0xa541a076e0000000, 0x4e9be6f9dbd4b418, 0xebad55dcb841e7a8, 0x0000789223c14f72, }, // 302
315  { 0xfd73ae562af4bc6f, 0x8fe6059318c88f64, 0xde511035ba0402d4, 0x000084b3b18cd2f9, }, // 303
316  { 0x0000000000000000, 0x8630000000000000, 0x01eaf403f657efcf, 0x00009201e65bdbb8, }, // 304
317  { 0x746c9c322fdbc871, 0x8b10e9fc31e48a2c, 0x862d5d8db480eed7, 0x0000a098bac9d6be, }, // 305
318  { 0x302244d720000000, 0xbcb74ba07be53ee8, 0x230fe86b77f69736, 0x0000b096a6c6172d, }, // 306
319  { 0x56e7c7a28ad9a703, 0x4306a36478eee062, 0x3842144858abe97a, 0x0000c21cd8470d35, }, // 307
320  { 0xf400000000000000, 0xdee9bfe1cc3e5731, 0xb01b5dbfa5fd2823, 0x0000d54f6e77c5b7, }, // 308
321  { 0xf513f431e7a9f5c5, 0x95333a22c2224703, 0xe33f88a50645446d, 0x0000ea55b9b9514e, }, // 309
322  { 0x8be49fb960000000, 0x9362f04312169fed, 0x90d3408b3696b8cd, 0x0001015a80d85f94, }, // 310
323  { 0xda983a4d4bbd39d7, 0xccfab2ce15d32248, 0xf2567a0e3b4dac87, 0x00011a8c4bde82b2, }, // 311
324  { 0x0000000000000000, 0x1ce7cc4383800000, 0x29baf046ea7a5406, 0x0001361db4ee37f8, }, // 312
325  { 0x08be662cf0b034d9, 0xa0e2d3fae68f5ea5, 0x0e8d1afbbca9638c, 0x00015445bfa104e3, }, // 313
326  { 0xfcdb7a51a0000000, 0x5e4ab346c706a502, 0x241bebbb876cf43f, 0x000175403767be33, }, // 314
327  { 0x049e9baa021e49eb, 0x4bb9442ed3d79866, 0x533406f37b3d5c2a, 0x0001994e157671bc, }, // 315
328  { 0x3c00000000000000, 0x85e7da99b685d10c, 0x78fcc71e49da784f, 0x0001c0b5eecf7689, }, // 316
329  { 0x149d64aa33b312ad, 0x5bd8e315f7235538, 0x94beabc325c3ba5d, 0x0001ebc46b0be44e, }, // 317
330  { 0x8b810f43e0000000, 0x3f40e2d3aabc1ae3, 0xecbd76c3112d5162, 0x00021accc48b2f15, }, // 318
331  { 0x185bba59c73dc43f, 0x1213fc15f4f5e13a, 0xfe4c3539c9d82382, 0x00024e2952bfeaf8, }, // 319
332  { 0x0000000000000000, 0x0000000000000000, 0x2f95400000000000, 0x0002863c1f5cdae4, }, // 320
333  { 0x41327cdd7a328441, 0x2c3c82333e44a3d2, 0x192778fd51b2436f, 0x0002c36f873372fc, }, // 321
334  { 0x5304b54420000000, 0x0a34a3a9533ffc2c, 0xb27f33ee80d19d4b, 0x00030636e7a3f23d, }, // 322
335  { 0xe92ab9ceca424dd3, 0xd7d36ef930998b50, 0x6345cd6fb18f8a3f, 0x00034f0f598f374d, }, // 323
336  { 0x4400000000000000, 0x8d73678e11f5c63c, 0x3c6bef766ec226a2, 0x00039e807acb8b04, }, // 324
337  { 0x692f2e02ba998695, 0xf7f64ae0a11d6cd1, 0xdb77fc28a1a0f0e9, 0x0003f51d472fda17, }, // 325
338  { 0x27109bb660000000, 0x723c78a13137831f, 0xaad581c21c76c2dc, 0x00045385025c5142, }, // 326
339  { 0x214103f9640fe3a7, 0xa4008fb7d8d2a911, 0xf4a9d6db95148364, 0x0004ba64337c18c9, }, // 327
340  { 0x0000000000000000, 0x1a00a39d04800000, 0xef25477fbff6a1ec, 0x00052a75b4521a91, }, // 328
341  { 0x65a771361299bea9, 0xe3e23322bbc99173, 0x9b8680399887d5b0, 0x0005a483d4fa67d5, }, // 329
342  { 0xb4ef9d4ea0000000, 0x8cb49cfc5a4284e3, 0xbe1ed2e3dbef5eb9, 0x0006296995e31127, }, // 330
343  { 0x97195f0b1d237abb, 0xc3ebf105d7ba8eca, 0xb6ea99751ceb1716, 0x0006ba13f99a2e24, }, // 331
344  { 0x8c00000000000000, 0x2d9d3322498a1d2e, 0x999424a7e525bb02, 0x00075783702b8543, }, // 332
345  { 0x721044328983197d, 0x4670233cc7186d21, 0x6455ce085e1fd39c, 0x000802cd5de6dc2e, }, // 333
346  { 0x500c7cb0e0000000, 0xe586db1b43c514d7, 0x9b4c9d0933f6f6e1, 0x0008bd1dbf889459, }, // 334
347  { 0x21a4dcd1af42a00f, 0x9e626b28fa21871f, 0x92e127bca7e3a2d1, 0x000987b8ede0f66c, }, // 335
348  { 0x0000000000000000, 0xb250000000000000, 0xb0736039e82be651, 0x000a63fd833b9386, }, // 336
349  { 0x4c4fbbacd9e76c11, 0x978aed93821504f7, 0x1347a1c1a6ea6f8a, 0x000b536664ef91a7, }, // 337
350  { 0xe77e8f1120000000, 0x7e91d03ddaf32c6a, 0x3459e4b9c7ced5fb, 0x000c578cf3abb6af, }, // 338
351  { 0x259edaca854f18a3, 0x87f682769ff32a5f, 0x99e50457597421d2, 0x000d722b653dbc1f, }, // 339
352  { 0x9400000000000000, 0xef6cd5e709f36d99, 0xba66e0f8fc0c5db1, 0x000ea51f4ac40f9e, }, // 340
353  { 0x386bbd7ee55a1365, 0xdf04cba37b7e4714, 0x8508378d52f29f03, 0x000ff26c466bceeb, }, // 341
354  { 0x4d0ce8d360000000, 0xc2867eeef884fc03, 0xb7e048b58ef10f32, 0x00115c3ef412b906, }, // 342
355  { 0x1063ae9db20e8177, 0x7f517bf145186bd3, 0x4227aaa7129bc7b4, 0x0012e4f0085e2cdf, }, // 343
356  { 0x0000000000000000, 0x86caf6b80d800000, 0x642efdd7c5929462, 0x00148f07aa155553, }, // 344
357  { 0x81de0355f69b9479, 0x61a508cd563a2525, 0xe05f50ef3b4f0789, 0x00165d4109cd8ba5, }, // 345
358  { 0x293b902ba0000000, 0x8875dcd28fc3b4df, 0x00f97d639e10d275, 0x0018528e3c3d00a2, }, // 346
359  { 0x875d3c0f6b35ef8b, 0x7d7544943fdb19d1, 0x1976d53193202b52, 0x001a721c5bd12107, }, // 347
360  { 0xdc00000000000000, 0xf43bec3fdd9bcc11, 0xa595b5e103e99d93, 0x001cbf57f6742e87, }, // 348
361  { 0xd3ad7861f6013c4d, 0xb3164d8affa9fd92, 0xcbb263d2fe905ca9, 0x001f3df1ccc07294, }, // 349
362  { 0xa49309bde0000000, 0xa76581ffc2696725, 0x419fa898fb597dd8, 0x0021f1e3e8378e3d, }, // 350
363  { 0x171c4ea0e8898fdf, 0x59f9f2583f493994, 0xc66603e6f1784df6, 0x0024df770e7209ba, }, // 351
364  { 0x0000000000000000, 0x0000000000000000, 0xca181b2f44f60000, 0x00280b48979eba7d, }, // 352
365  { 0x5d5ace991168bfe1, 0x422d7df86237cf62, 0x50bc274cd7284ccf, 0x002b7a50af1337e8, }, // 353
366  { 0xc408c33e20000000, 0x347d0901d5e4601b, 0xec5f75d680992f7d, 0x002f31e9051ec2b6, }, // 354
367  { 0x8c399d47b7604773, 0xae0b2ddb7bb55be4, 0x9dd3c702d86bc56d, 0x003337d3f9c81bc5, }, // 355
368  { 0xe400000000000000, 0x5196653b1cdb575d, 0x2466e661f41208e1, 0x00379244489d345f, }, // 356
369  { 0x4314c55b7487dc35, 0x3949bd365958169d, 0x186c4a62fd383062, 0x003c47e53e41d24e, }, // 357
370  { 0xcec7701060000000, 0x63d6d49817bd02bb, 0xa9567b4464b7da17, 0x00415fe380f8a841, }, // 358
371  { 0x9eb3f78e415b5347, 0xd408e9b43db1e211, 0x1fdbd1fe99579bc4, 0x0046e1f675f979f2, }, // 359
372  { 0x0000000000000000, 0x287b1b8d6e800000, 0x66d671ce09035dc1, 0x004cd66a4e072bb3, }, // 360
373  { 0x805ab69967e7f649, 0xd2c98006505fae05, 0x649702500f92f0f4, 0x0053462ac4629ec9, }, // 361
374  { 0x79445be8a0000000, 0x9f33235c1221fee1, 0xceaeaaa1352b820c, 0x005a3ace9beb8647, }, // 362
375  { 0xefee829d11a1e85b, 0xf15eb86a2004322f, 0x3ffe7500689b693a, 0x0061bea3e6ff8ace, }, // 363
376  { 0x2c00000000000000, 0x987ab02277506a0a, 0xd9f8d2bbe50e5e12, 0x0069dcbd2772bd85, }, // 364
377  { 0x7b119785e45dbb1d, 0xda5dc63970756def, 0x5c1678130f65b987, 0x0072a0ff54d32c8b, }, // 365
378  { 0x79c7076ae0000000, 0xf18376e17c4fcc80, 0x49eee30e878b5882, 0x007c1830d80d15a4, }, // 366
379  { 0xb3858fc46e70d3af, 0x55f74ff783f3fadf, 0x9929b3ebcace0e26, 0x008650098c76728c, }, // 367
380  { 0x0000000000000000, 0x5370000000000000, 0xa671645fbdbc05c4, 0x00915743d748312e, }, // 368
381  { 0xedca7ea53e4cbfb1, 0x0d66cd821d4fb7fc, 0xe172b1f9bac3f3e3, 0x009d3daee79a291a, }, // 369
382  { 0xb26a12cb20000000, 0xc719d043abfabfa9, 0xa25782d21b82dc85, 0x00aa14423215a11a, }, // 370
383  { 0x0ca7625dc54e1a43, 0x4001a70bf06464b3, 0x4e3d7f09500e3d9c, 0x00b7ed323cc1e1ed, }, // 371
384  { 0x3400000000000000, 0x9c348c570bf240bd, 0x996b0f122bdea331, 0x00c6dc06d08fd88a, }, // 372
385  { 0x32d9f2465f872105, 0xc79d6661eb118346, 0x1329234e9f0b46b2, 0x00d6f5b2a79e29ef, }, // 373
386  { 0x08a88a6d60000000, 0x2886a568fb783b46, 0x7573f7ab3834de0b, 0x00e850acb0976149, }, // 374
387  { 0xf72f278f4eb09917, 0xcb10280bb6bd8cc5, 0x00da1eacab2dd136, 0x00fb050b01092a4e, }, // 375
388  { 0x0000000000000000, 0x7ecc506fb7800000, 0x4f97e41418e9a3df, 0x010f2c9f9226fe5b, }, // 376
389  { 0xe4705f9af8192419, 0x12a6292985a312ab, 0x1073077b6ca942b3, 0x0124e316e5158574, }, // 377
390  { 0x7a2c1985a0000000, 0xc5140038fe11b109, 0x9bc6cb938f9ca50a, 0x013c4618ad9f75bc, }, // 378
391  { 0x920dce87d26ba52b, 0x1e72346d47d2e32a, 0x8d5530c803ba66ac, 0x0155756aa4125042, }, // 379
392  { 0x7c00000000000000, 0x3aa925da240c1fcb, 0x94710020743a7103, 0x01709315a0fa657f, }, // 380
393  { 0x64764a847dd0d5ed, 0xd33d9bcaa4539ee1, 0xceb190785b41317e, 0x018dc38d278b8f62, }, // 381
394  { 0x29b476b7e0000000, 0x7a4984d3de2315a1, 0x9ccb19e73e2f43d8, 0x01ad2dd985b89db1, }, // 382
395  { 0xaa721e48b8aeab7f, 0x5dca2e8c6936c54c, 0x3b6093e4077fad33, 0x01cefbc4b3503518, }, // 383
396  { 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x01f35a0a1bec9800, }, // 384
397  { 0x6c2329a79fd1ab81, 0xf4defa788a4df13d, 0xe4f433d828857a5f, 0x021a7889821e4fd7, }, // 385
398  { 0xe7ad8eb820000000, 0x0467dd06222733a7, 0x3c11c970683a5d89, 0x02448a7d2cf9e39a, }, // 386
399  { 0x4fe1960833e8d113, 0x874df011d4b8bed2, 0x1549bf4d4432079a, 0x0271c6b39418bbe3, }, // 387
400  { 0x8400000000000000, 0x7cf4dc5c2989688b, 0x8a66e4f87abbaaa5, 0x02a267ccc12f272d, }, // 388
401  { 0xce72d60b5f0421d5, 0x874ceda2010f1564, 0xd832dca6bc0a5fe3, 0x02d6ac7ba1975ecb, }, // 389
402  { 0xc05980ea60000000, 0xb13e5d65ff257214, 0x06ed3c8b4da0c63b, 0x030ed7cb859dd0ee, }, // 390
403  { 0x13b3f0396e6092e7, 0x351621f1f3082219, 0x74e1c6b0b12bd702, 0x034b316a0ef845fd, }, // 391
404  { 0x0000000000000000, 0x62d355b5b8800000, 0x933f9c02d47efef3, 0x038c05f5d3a25006, }, // 392
405  { 0x080b969425b15de9, 0x7ae5912ed9db0b94, 0xb79ec7e8db82bf6c, 0x03d1a751fe608b8c, }, // 393
406  { 0x82f87202a0000000, 0x1c39029f4bfa79ae, 0x63e89ae010d65193, 0x041c6cff3a6c6e9c, }, // 394
407  { 0x90997c64e2cf65fb, 0x6ac8c0daf791d1a3, 0x3bd5636518f02e31, 0x046cb47a3c46b684, }, // 395
408  { 0xcc00000000000000, 0x9682d29107c3c0e9, 0x4f91c61867d9c21e, 0x04c2e1a03e6a1deb, }, // 396
409  { 0x4536e784601accbd, 0x7c7815689c228739, 0x0be7203f32fd41cc, 0x051f5f19cd9633cc, }, // 397
410  { 0x8f3788a4e0000000, 0x8e49b6999cba68d9, 0xfb1e7ec0abe7e45d, 0x05829ecc45ae6a00, }, // 398
411  { 0xdb2ff47d81d1574f, 0x2dfb810f66e86f4c, 0x4885770698b817d4, 0x05ed1a5265b76562, }, // 399
412  { 0x0000000000000000, 0x8390000000000000, 0xccdfa7c534fbb224, 0x065f537c675815d9, }, // 400
413  { 0x505cc9841d5dc351, 0x70c36b803a9d170f, 0xae77e3ebf41a9427, 0x06d9d4d80c712670, }, // 401
414  { 0x3af9180520000000, 0xa21b29226f7242a9, 0xf4ac3fb9bb94863d, 0x075d32411be022c4, }, // 402
415  { 0x4842a3c89e78abe3, 0xa174f0738e9d5291, 0xd658729525b065a7, 0x07ea097acd60abf3, }, // 403
416  { 0xd400000000000000, 0x2ee4abf8d51bcdbc, 0xb698775ac7503bf4, 0x088102d2abb9e57a, }, // 404
417  { 0x6af8786783731ea5, 0x2e03db22a4f2461e, 0xa6710424f39654ba, 0x0922d1cd7c05bf4b, }, // 405
418  { 0x022b0c8760000000, 0xb564b5f12373b433, 0xfbcd47c05c90e69f, 0x09d035dec0e80635, }, // 406
419  { 0xc6c0f06df2d580b7, 0xd0fd2efdf9df584f, 0xdf04624c2a7fd07e, 0x0a89fb2b790186ed, }, // 407
420  { 0x0000000000000000, 0xa89acb2d01800000, 0x2450ace4ba815e9b, 0x0b50fb58c0d5acac, }, // 408
421  { 0xdc02d012429ae3b9, 0xa1e6d1e0c1e20ea4, 0xdc53a5ea55a8d709, 0x0c261e6709bcb9f4, }, // 409
422  { 0x96391e5fa0000000, 0x0cde0834e2d18ad2, 0x96788af8c5092293, 0x0d0a5b9aa160303c, }, // 410
423  { 0x741ee84401c16acb, 0x0d3c3572706092e4, 0x921b648b7cbebd55, 0x0dfeba724fa8a524, }, // 411
424  { 0x1c00000000000000, 0x32c6cd1d177baa59, 0xae522314997ba525, 0x0f0453acdbfae420, }, // 412
425  { 0x668a87c51403df8d, 0x1dfdffe8d831a8a5, 0x4acffa6fb65b90ba, 0x101c525e562ce666, }, // 413
426  { 0xf3931e31e0000000, 0x940d231ab35f9b55, 0x4b90942e996d7c21, 0x1147f5160bc14c26, }, // 414
427  { 0xce66c7abcdbf171f, 0xd540fd9da8742e24, 0x18c453c91835d859, 0x12888f161ec15ea2, }, // 415
428  { 0x0000000000000000, 0x0000000000000000, 0x211b73cdb27a0000, 0x13df899dc1025e33, }, // 416
429  { 0x2d13519c8cff4721, 0xea4571d1dd5ca339, 0xa176bb7c25ebb00a, 0x154e654724cb7fe0, }, // 417
430  { 0xf443dfb220000000, 0x768adbf538aa7472, 0x665fd34694b30b58, 0x16d6bb7a42b7707b, }, // 418
431  { 0x08f5080fed3deab3, 0x672e39dea4e5a2ff, 0x605b61baced2d374, 0x187a3ff5a457cfb3, }, // 419
432  { 0x2400000000000000, 0xfcf951223bf61de5, 0x0ec6f6d857acc774, 0x1a3ac26e739ca4b3, }, // 420
433  { 0xf323846f8b905775, 0x560d72f5e754eedc, 0x3c540d9344461035, 0x1c1a304920578d29, }, // 421
434  { 0x5f1bd64460000000, 0xcd8cba0c099ed573, 0x51fbeb23232804b3, 0x1e1a966bff6d0f4d, }, // 422
435  { 0x6bb7a35f9311a287, 0xedc4f5280d299131, 0xf075629ce72f0b72, 0x203e232d5a713f18, }, // 423
436  { 0x0000000000000000, 0x50a0e56462800000, 0x186e6c6144213dfc, 0x2287285e7a938bcd, }, // 424
437  { 0xeef405d31aa7f589, 0xd65b738e0baae25a, 0x513091e25f260c7f, 0x24f81d754eec553e, }, // 425
438  { 0xea0e679ca0000000, 0x8d88bb6947de692f, 0xbefd803de0404269, 0x2793a1d66482b200, }, // 426
439  { 0xb5ef8431ce6df39b, 0xa34154dcbf380aca, 0x1d8f1583999f006f, 0x2a5c7f40fdc709bd, }, // 427
440  { 0x6c00000000000000, 0xff7a6def6330b0ed, 0x6d46f81a8242ff17, 0x2d55ac5f2fd5e15b, }, // 428
441  { 0x74c03e4c43dc4e5d, 0x176700c92648f4f2, 0x9d4d393e4cf45623, 0x30824f7c05ac2611, }, // 429
442  { 0x8b27485ee0000000, 0x4be81b318119d42a, 0x4243c681f21789c3, 0x33e5c161c49ac9df, }, // 430
443  { 0xd44fe31230362aef, 0x0e27490d1b97bd40, 0x4e76c8dbf36cdaea, 0x3783906289cab475, }, // 431
444  { 0x0000000000000000, 0x74b0000000000000, 0xe1c660a5960c4c84, 0x3b5f838d9694b763, }, // 432
445  { 0x769720bab9ec76f1, 0x2609ee44c71a31d1, 0xe0bdb40383440f0d, 0x3f7d9e13c0e4efad, }, // 433
446  { 0x3bece6bf20000000, 0xd7f06eaa04de6bd2, 0x1f33dfc143e9cdea, 0x43e222dd9de82999, }, // 434
447  { 0xf2508392cbf0cd83, 0xaf055b50f58d2856, 0x1fe139cb0808ee5a, 0x489198561fefaa81, }, // 435
448  { 0x7400000000000000, 0x4c0236f3502093b8, 0xe427cac58cbe4103, 0x4d90cc6c84e04a37, }, // 436
449  { 0xfe3be4ecfae00c45, 0x49e501f987741b28, 0x9dc60be5eec51ea5, 0x52e4d8d098b9fc07, }, // 437
450  { 0x7c7ef72160000000, 0xbeae13309808cff6, 0x6cb5b6e2fe66c5ee, 0x5893276c77e2b9c1, }, // 438
451  { 0xbf323c33512f3857, 0x37eb3f9fff0ce3b6, 0x7e8f065c0f882188, 0x5ea1771f26fa17e1, }, // 439
452  { 0x0000000000000000, 0xc66e101e6b800000, 0x438f02f2b5428d88, 0x6515e0bb82298d26, }, // 440
453  { 0xf8a979cd5a12d359, 0x28c82b7089f12da2, 0x8eb2ae7ea02a8263, 0x6bf6dc4f3441a794, }, // 441
454  { 0xbf8fa6b9a0000000, 0xcda98b83560098ad, 0x7df43d8237a5cb78, 0x734b46b596981eec, }, // 442
455  { 0x848d30e85eb9406a, 0x8a1519af2ec4bd5d, 0xe364ba126af464fa, 0x072cc0276403b67a, }, // 443
456  { 0xbc000000ffffffff, 0x38804f85640403db, 0x498a3f5b42f19bac, 0x0f7e4fbe82270d3c, }, // 444
457  { 0x7e0f1c8cb1fc592c, 0x49e6f40d4694be43, 0xb2697a8bb20887ff, 0x185a7e12f272eef4, }, // 445
458  { 0x8a47c82cdfffffff, 0x06178fd5835845a7, 0x9cb8d47c03b9c45d, 0x21c9f974e7af97ee, }, // 446
459  { 0x8bac956c534cd2be, 0x6f7a470c0ac731b5, 0xaa2f3a9979396894, 0x2bd5f5e98a0f6461, }, // 447
460  { 0x00000000ffffffff, 0xac425bfd0001a401, 0x1a9fe7f7f65e27fa, 0x368834e29e720fdc, }, // 448
461  { 0x9ef5ab392b0392c0, 0x3142f7af04f4d37d, 0x9ea01da113390197, 0x41eb0d63660c29fc, }, // 449
462  { 0xe4317e2d1fffffff, 0x400deb277eb13fa4, 0x8190ec7be630c9e8, 0x4e0974987c653259, }, // 450
463  { 0x3295ee2e60419452, 0xc0edd265d5e726cd, 0xc463f2716710db99, 0x5aef06e8c42cf0e0, }, // 451
464  { 0xc4000000ffffffff, 0x872c96902f99a98b, 0xbdb3c76a7e1d9d10, 0x68a81185c18bb637, }, // 452
465  { 0x9639c597f02e7d13, 0x0910092e68469c45, 0xa13278d392014945, 0x0353f52ee8d59772, }, // 453
466  { 0xf64278205ffffffe, 0xf09631d2ccaf94e0, 0x685e1591aa7e1b9d, 0x12dbce21e1a38531, }, // 454
467  { 0x51e8e6bfa0e08225, 0x6f81166ee2682449, 0x7f5b01062dbfb1b0, 0x2360935fae4e400a, }, // 455
468  { 0x00000001fffffffe, 0xd0cf71f5ec834802, 0x115d4ad790971591, 0x34f1bfcdb67b43a0, }, // 456
469  { 0x2158deeab3fdbd27, 0x2887760e41d42d8e, 0xcfc7b9b5c8c1b476, 0x479fb75b6588b4d1, }, // 457
470  { 0xea91c4b89ffffffe, 0xb155a41241f0926a, 0x26bc552a23026248, 0x5b7bd427dee28756, }, // 458
471  { 0x52b5578d15bf9139, 0x9d546ea7ad8ada99, 0xc74a316ef3e7865d, 0x7098745d933135a3, }, // 459
472  { 0x0c000002fffffffd, 0xba3f01b8151cb338, 0xbe96419e2abcf0f0, 0x131b6179f2a1df03, }, // 460
473  { 0xd89871a6ef443ffa, 0x52549ccd707138d6, 0x5eb916b2ae51b36f, 0x2af47cfe127b0252, }, // 461
474  { 0xab328e9bdffffffd, 0x95c83568385f0284, 0xb0515dcaddb73c22, 0x444be4b32e7d4c5b, }, // 462
475  { 0x263579c5bdf14e8c, 0xbaf9a81118363c1b, 0xa7d534287bf5ba51, 0x5f38a10d2121d66e, }, // 463
476  { 0x00000003fffffffc, 0x71d96ff400069004, 0xaf4d6ba34403e88f, 0x07e568839bbff35f, }, // 464
477  { 0x90191eaba94ada8d, 0x3d704a8b23bb1857, 0xbf15e8bed06d9c93, 0x26474fd403568277, }, // 465
478  { 0x7583c6fd1ffffffc, 0xc801e5a22494b6d6, 0x2c3aa9bb4e1c9c37, 0x468bf205de950b52, }, // 466
479  { 0x3121577e40587f1f, 0xeb0471820036d262, 0x7f2cdab9948dcc3d, 0x68d022be37ed7936, }, // 467
480  { 0x14000004fffffffb, 0x71ced5b3c33997d5, 0xafc931bde9c3c8d6, 0x1944b5bd1f93dbeb, }, // 468
481  { 0x474dca88bc0fe9e0, 0x702c5b94923aece4, 0x0472af269d18ca82, 0x3fe53379b15a362e, }, // 469
482  { 0x24d5d2405ffffffb, 0xd01a41b3ba365d6c, 0xedb6916ba07126cf, 0x68e605b927cd4ce5, }, // 470
483  { 0x85d81465cdefbff1, 0xe17d723071e19f98, 0x82b252852090b52b, 0x207d875cf16a543f, }, // 471
484  { 0x00000005fffffffa, 0x83e9fd9c7589d806, 0xef549aa51f1d156b, 0x4ead158bf30cbe72, }, // 472
485  { 0xf4dd2c70c8f2f2f2, 0x9135ed920b166243, 0x4f50b58079618109, 0x0bc19908c58d5874, }, // 473
486  { 0x5acdba9a9ffffff9, 0xc4abe9635018cd17, 0xc617e1fb989edea1, 0x3fc0dee642e5a4df, }, // 474
487  { 0xd8ed0feeba552603, 0xa339d8b31c60bddc, 0x64613bd0e0297f1a, 0x02fc7d9b7c4af191, }, // 475
488  { 0x5c000007fffffff8, 0xf22653b05b5f3a78, 0x83c4b8c12c5fae4c, 0x3d7f30f05a391a9b, }, // 476
489  { 0x1e0d2870d19c42c4, 0x2b0ba9753f39eaeb, 0x90aceca968197243, 0x079fc272b467bbea, }, // 477
490  { 0x4e263caedffffff7, 0x59a6d21fc6f024a8, 0xeec3d330dfb4f4d2, 0x496e68ef167af74d, }, // 478
491  { 0x4dcb6ee5da69de55, 0x725bd7a827267d74, 0x50a79e7e8fff84b4, 0x1b47b49f09e7e813, }, // 479
492  { 0x00000009fffffff6, 0xba9797e20010680a, 0xdecf3c47374b8fca, 0x6541f28a3bf8e81a, }, // 480
493  { 0xa7ce95cf86708e56, 0x76d82c9fc0ac1d21, 0xa26e74350941a214, 0x3fc01cce93261406, }, // 481
494  { 0x16c132321ffffff4, 0xee8ceca7fff644ea, 0x3d78be487a43b0ec, 0x1ef19afbb57ca2e1, }, // 482
495  { 0x1b5d0bcda955cde6, 0x2fa9f68e735bee56, 0xbb25af2a6ca9139f, 0x031bd42b7c2f33d9, }, // 483
496  { 0x6400000cfffffff3, 0xf1e37c00665e3ba9, 0x796e3b6c340ab057, 0x6075af7a1a8f0ed5, }, // 484
497  { 0x7fcce2da376092a7, 0xf9e6f1852257c9fa, 0xeb552b6779b1477c, 0x4f712b1663659072, }, // 485
498  { 0x67b06e875ffffff1, 0xf0dff0e93a93b95e, 0x02236a0313bd66f6, 0x444d7f3c8feb3e6b, }, // 486
499  { 0x477fe299a2bf31b7, 0xd583104db3f8cac8, 0xa87fa2fe3b7d68ac, 0x3f60babd8ca71c74, }, // 487
500  { 0x00000010ffffffef, 0x1f495e8fd69be411, 0x33c99062ef092b6b, 0x4105a7150d10a1fc, }, // 488
501  { 0x8d0192a7cd64b4b7, 0xb0ec68af1a3fef39, 0x4f59dbd1592ca56d, 0x499c083fda75c56a, }, // 489
502  { 0x676711639fffffed, 0xac18f38f42f99120, 0xf899e2093d5734a7, 0x5988dfcba5cf191e, }, // 490
503  { 0x9104230acd863ec7, 0x18742833065e9873, 0x2abed4a5f760f225, 0x7136b3483d74e8f6, }, // 491
504  { 0xac000015ffffffea, 0xd5790d54801676f6, 0x987a923c4a70ad62, 0x1d282ef0b4c9fa10, }, // 492
505  { 0x0b1d57dbaa74a186, 0xcd3d374e2c96945e, 0x1313f8f56239a6af, 0x45af10ab1aab764f, }, // 493
506  { 0x2c98a36bdfffffe7, 0x7022bdb2a660153d, 0xdc151ee4b0b50d18, 0x036ce659c8e38630, }, // 494
507  { 0x7ef3d3093cd4c215, 0x82c09d69daaf3116, 0x67496d585eb1dbf2, 0x3ec09e20421960b6, }, // 495
508  { 0x0000001bffffffe4, 0x91320fac002df01c, 0xc89fb6c183bc6a35, 0x1059a5bb7e6e2df7, }, // 496
509  { 0x96a38108a34aee14, 0xba04ebafb7156df2, 0x77422cccec46f43f, 0x60a583870bd45da6, }, // 497
510  { 0x1a4900d21fffffe1, 0xf5c8f1f4cd99f83c, 0xf8596b7c1e99043f, 0x4862ff0060451b9f, }, // 498
511  { 0xce60b47ef5d1c0a2, 0xc87500160ece7fcc, 0xcde6185e0514e73b, 0x3c221c137493bd26, }, // 499
512  { 0xb4000022ffffffdd, 0x1303b268c0559d46, 0x8907a1ecda402dcb, 0x3c8deafa10e40e2b, }, // 500
513  { 0x038166c6d9c4b760, 0xd71bc7c0c1bacc23, 0x4f0afbf305eabf1a, 0x4a5aa21eba91f536, }, // 501
514  { 0x257825fc5fffffd9, 0x0ff038ce06a227f8, 0x29faae39aa3d41df, 0x66461651708cf4cb, }, // 502
515  { 0xa3f6470d4ec9176d, 0xfdc0d4bcbafc1517, 0x10dc0db95f460514, 0x1d2a91924c9a2189, }, // 503
516  { 0x0000002bffffffd4, 0x0980cecf9fc8302c, 0xc8a8731813f2ce6b, 0x57b5f4ac29a61d6e, }, // 504
517  { 0x9ce970c0f02d426a, 0x296aa7fa089ed93b, 0x51104c47c060f026, 0x2eeaaeb70d6608f8, }, // 505
518  { 0x8dd2621f9fffffce, 0x61fafb2b00707d6c, 0xa2a8316a0e3f6fb5, 0x179fe1ef1253e8d4, }, // 506
519  { 0x1d02f66c21171b76, 0x1673c46ced0934fa, 0x1c5ad4d2c0eff2b4, 0x12cb5f11e7472143, }, // 507
520  { 0xfc000037ffffffc8, 0xadd2c07d35bd4a71, 0xd4f33aeb211d6238, 0x216fecca42f53847, }, // 508
521  { 0x0a3100ee3d459c32, 0xf7f4d6e3430b0391, 0xcba1992a294a8b6f, 0x449def8edc54ffa7, }, // 509
522  { 0xe88d43dedfffffc1, 0x985f5a16122fcd07, 0x7149889350bcca17, 0x0986725161c17d2a, }, // 510
523  { 0x56f6944429a839bd, 0xa90e4f327933fdd8, 0x5e1ea2f94b6de6e5, 0x59327c50fc3fa6a5, }, // 511
524 },
525 a[512] = {
526  { 0x8de0eddebb74fb6d, 0x9307904098fd4042, 0x3430492be5f6a5f5, 0x00b7f19a7bd59500, }, // 0
527  { 0x79cacc2ec79fba56, 0xf08a52eafa11802f, 0xc7c9034484a3b627, 0x6673e9b18bfa38e5, }, // 1
528  { 0xacfc48255074bb0c, 0x5059dce6ae192db1, 0xda7389b60c9e1126, 0x0c6530c9fd208934, }, // 2
529  { 0x45eb30ed1d536f44, 0x916b936deee28a71, 0x65827319bbb4358d, 0x24df2b581334d17c, }, // 3
530  { 0xbc8dedc9b1d79d1a, 0x13a82f6f0f35f8d6, 0x6ad74a2471705457, 0x438b3f3c34ece72a, }, // 4
531  { 0x294bfcf112935a5b, 0xe3874f67cec3e4e0, 0x3e99da267eca6d4d, 0x22670bcf6550a11b, }, // 5
532  { 0xee188af95c1dfa32, 0x71d2f4ab36e1f964, 0x89a393efd62a47cd, 0x0db90898f1ed82ac, }, // 6
533  { 0x148aa6d294340879, 0xa3194e0cdd3d695b, 0x6bd448a2b8d6d4aa, 0x2f141346c6b635f9, }, // 7
534  { 0x908b78ad3bbd3e44, 0x9e65171b8b116a41, 0xc372d679f3bec104, 0x562d6f6aa646ab7f, }, // 8
535  { 0x2904ec16e9506558, 0x7372c117ee441c9c, 0x73aa4d6b86fe2482, 0x6601ccc2a337395d, }, // 9
536  { 0xc06d02a62cec84b3, 0xf38f165e4253e39a, 0x2b10af85525e12db, 0x34b599f6c5ca1b03, }, // 10
537  { 0x3c2e428cefe34401, 0xe0329ed05d59a3e8, 0x4bc6cb31bac87bb1, 0x40982e2dadd894e0, }, // 11
538  { 0x5bf6732283c94284, 0xbfc0914e06ac680e, 0xafa65bb7ac71fb19, 0x451563b00a0f1170, }, // 12
539  { 0xabceb7730d5f8464, 0x6222a846d0693e41, 0x954851e871dee5e9, 0x4df5de4a9c6e46dd, }, // 13
540  { 0xb90fc006a6053a18, 0x96de6d6fc6deb9d6, 0x9a5ff411d78c5fa5, 0x04a736f5b2726ade, }, // 14
541  { 0x6f60d9f441d9e64e, 0xc2f864cbb48b7e74, 0x64f1063f799ea965, 0x584f2eb96ad2bdee, }, // 15
542  { 0x8b64103912ebb238, 0x1ff1b61cd55963a7, 0x6ea87ad62fa3173f, 0x0dd3d941311a1eaa, }, // 16
543  { 0x9250e91910c0c8d8, 0xbe2e0e60516da23a, 0x81dd41b534b551c0, 0x1d7841ea5d7c0145, }, // 17
544  { 0x7833dae93b68b616, 0xe456901d7b548664, 0xbb03cc1fe97cbbc9, 0x3ee1c26c0ea351ad, }, // 18
545  { 0x95cade9b58e64b55, 0xbe6b60e8786b0f1c, 0x22391b70d1994e64, 0x6a4879d481e94ba7, }, // 19
546  { 0xe5eb6817be8e9e5b, 0x6ef721c1ea23232d, 0xe54a6e4f5980ed98, 0x63f7b91a8c7ad832, }, // 20
547  { 0xf975420b499c23a2, 0x93fcc797c5edfd01, 0xe3278b281baf35a9, 0x576d0fbd7ac2f791, }, // 21
548  { 0xd4925097c63124a4, 0x258f29a17de94ebd, 0x8db101719188e6ff, 0x189d493f221a2985, }, // 22
549  { 0x50fe9bc1f814b766, 0x39ae63f4d745c67d, 0x3148557b9df74db5, 0x408414049741ddae, }, // 23
550  { 0x8f85b592c13e8928, 0xa1739b59aa362378, 0xe02d9db96691e730, 0x2a1f5ad96536adde, }, // 24
551  { 0xb398fb71a5b5d8e4, 0xfa44083d10809323, 0x5172f8064eb2159d, 0x6cf53ef1485ce409, }, // 25
552  { 0xdb873ee8827c25eb, 0xb32e576f6fb80a4f, 0xc285dd36287b5d56, 0x559a4b0e59ae7e61, }, // 26
553  { 0xf0110ebc5737fbfa, 0x9e000b9c71aaac04, 0x04559b069ab2fb81, 0x0fb9a1f287c2fdc3, }, // 27
554  { 0x8684a658b56846b6, 0x58e503e54f21f198, 0x1750a6cda4e4f1b6, 0x2e032c2bc4a1ef1b, }, // 28
555  { 0x064643c19b338250, 0xdfd1909e7d9e6db2, 0x4a96269cad186875, 0x0e32e5a3d0d2ba31, }, // 29
556  { 0xa445f4c674b92a76, 0xdb7da5a1ac7dd1f0, 0x23d6c3be49ec7d55, 0x57ef96df6971a665, }, // 30
557  { 0xbf15d344d3eb3126, 0x14262302c207eec8, 0x159f40cbe136d98b, 0x211d660b43952b6b, }, // 31
558  { 0xe5e522cc669e9481, 0x2d66ae26770128aa, 0x89765ce8acec5097, 0x550013a432036f08, }, // 32
559  { 0x94a713c63a3dea7a, 0x237c269fcba604fd, 0x648bf3255d2fe29c, 0x1fca1e6cde4a3404, }, // 33
560  { 0xeda4408dab2762a3, 0xa8b652654d6372ea, 0x7bf9bd69dcb91fa2, 0x449a76244321a8a0, }, // 34
561  { 0xe6b3d2361113552e, 0x6541a5f37a7249e9, 0xcf5c1f7855a875cd, 0x1a9c3cbcabd953b9, }, // 35
562  { 0x5a97f4e77808b649, 0x6322842dd3eb4642, 0x2a9f1e5d5fc1f40e, 0x0f83df4565360171, }, // 36
563  { 0x558effc1c13e132d, 0xef8c2842773d9df6, 0x3197295aee49c59c, 0x720811f4c95038f3, }, // 37
564  { 0x97608c0acbc33daa, 0xd72107095c70b9a9, 0x8384879d2310ed6f, 0x0f2adf52d3dea069, }, // 38
565  { 0xd8bfcffcd3937d72, 0xd68bb3bbc09f3d8c, 0xe89ca686170ab514, 0x485c06c7e3a6c014, }, // 39
566  { 0x79751b80294405c1, 0x4746e6b625c95009, 0x586f4648c4a446fa, 0x667ee74535b0134c, }, // 40
567  { 0x1fdfd543c0eb0045, 0xa4f79818c75f3e8a, 0x43287f87cbda9eba, 0x4335348ba69805cc, }, // 41
568  { 0xabbfb660922623dd, 0x0742feaadbddedf5, 0x7d79e95eb0e77b34, 0x5e26ce552eba2b6a, }, // 42
569  { 0xe85d30794921c537, 0xb392d2c82b626c4c, 0x9387c7fbf59f4e64, 0x66edfa25c3431eb2, }, // 43
570  { 0x18ea2770fe0be54c, 0xeb9b812e355afd4f, 0xc3b03eace3b7fd2a, 0x0949d5ee706a51bb, }, // 44
571  { 0xf4b279f712da1ad6, 0xd18f38fccde4e54c, 0x57c4dbb45acddc55, 0x0a73681e9ecba4a7, }, // 45
572  { 0x43fbe3cefb620c2a, 0xd5349296f9076990, 0x293ead53187bc237, 0x0b54d16a2bdc70ff, }, // 46
573  { 0x7c753ac7dece9f27, 0x74a1e6d32919a45b, 0xf3289c9931536b88, 0x3841a4663d28a8ee, }, // 47
574  { 0x857109e8b2c8afad, 0x968cb79d5f13b838, 0xed7cb0c9dea17849, 0x33242e244b79ab0a, }, // 48
575  { 0x14aa2ae0e3f15e76, 0xc0b7c0b3ddea8f8d, 0x25456f29e2ba1ac5, 0x1f5dab1e3b63b821, }, // 49
576  { 0xebdc056c9353c3e8, 0x2271c88a3568f3da, 0xb4eb6d60cde96bad, 0x153349bc416e4516, }, // 50
577  { 0x4ddf1e15814bb5f0, 0x698c7421967f9e93, 0x986cb5eb9b796fae, 0x5af1af3b641f0590, }, // 51
578  { 0x072b30c31fe9b655, 0xf729e1e715598dee, 0x1d8cde6dbc5093f2, 0x2cafe5269dde2089, }, // 52
579  { 0x1ed7083a3fe4e9be, 0xe918d5004e4c924c, 0x7c767bffc27eb41b, 0x1b2d2f144fab91f9, }, // 53
580  { 0xe3990854647bd7a3, 0xc0c4f849fb7dc011, 0xc9578e9d2fcc4567, 0x0d695842c8350d1d, }, // 54
581  { 0x48cefa1a4cab7f39, 0xe882717e5ce2dcd1, 0xc5e2950f2ed8a42d, 0x2febddb480aeb64c, }, // 55
582  { 0xa9974bf0aff3a596, 0xd970c0d5ac8b4f02, 0x46fc8451cd853567, 0x2821bfebb61a1908, }, // 56
583  { 0xc5afba576f6adba1, 0x17a24bf7a5623a9e, 0xcd4ecf3c8e711586, 0x1153972a337596d4, }, // 57
584  { 0x017d63054d838617, 0xb8cb691ecd148aaa, 0xa3a3e1cf216ce0b8, 0x323d286724ad74a3, }, // 58
585  { 0xc0a15b4528fbd373, 0x8582668f8e6e21d9, 0xd3cfab517beca2c2, 0x6a219c73d26d5871, }, // 59
586  { 0x1556509eb09c522c, 0x487fb5aa90bb984a, 0x4e4d83f844581145, 0x3b8774b073c7bc36, }, // 60
587  { 0xfc282c45905049c4, 0x17d5c6320659863c, 0xb127375d84c2e15f, 0x4fc77822b41a1abf, }, // 61
588  { 0x1f107b2912097774, 0xf6eec20220006c91, 0x81b8dbc49dbd9cf7, 0x6b13246f618737d3, }, // 62
589  { 0x688630ed65ffcef5, 0x53be19363c181f59, 0xd164a67c9ffeaa6d, 0x520d33245e0372fe, }, // 63
590  { 0x27a7625d78b0c3c7, 0x4fabe7d8b31758b1, 0x43c8cfcd31765d05, 0x5ad7a4579d30ac35, }, // 64
591  { 0x942708297b293442, 0x4b1b343ce5ec13cf, 0x3193d20324a4511a, 0x4101ce395ba162a4, }, // 65
592  { 0x18798a2773ca39bd, 0xc412c494d1b4c333, 0x1528fe6eaf079c64, 0x39dba881fb5657b7, }, // 66
593  { 0x5eb2f4f5fdd36a5c, 0xa51e002013882049, 0xa01da53424712da7, 0x2bba67eb977cd148, }, // 67
594  { 0xed4b83ede122b2ae, 0x6d44fbb0eb5dcf17, 0x30e1e065511fd72a, 0x0fa70315e6af4f1d, }, // 68
595  { 0x4732a127ceccff68, 0x1fe5ad2a9d4d7d24, 0xddb78fe22f7859b8, 0x72e43c1c8808949c, }, // 69
596  { 0x7c90e13971aab0b2, 0x7ed3b8bd5de0ffe3, 0xb94f2e715ca27ef8, 0x0e4e67301dece69b, }, // 70
597  { 0xa55f00c3f6b538c2, 0xb56a186903ce3352, 0xfe2d331dd9df71b8, 0x0f3546ef5fff105d, }, // 71
598  { 0x788c1257ebdbf462, 0x29d9c1c5f502c128, 0x1c0432dcb40dd503, 0x206a4e1fbe4ae5cf, }, // 72
599  { 0xab33e92988b7d413, 0x13fcf349bd268bf0, 0xa3943525fe07aec2, 0x3e1fd08e733507ed, }, // 73
600  { 0xcc9b808576b4cf5d, 0x43378a5ab73e0b35, 0x35bb4eac90bb15a1, 0x5a7aae73f63229e0, }, // 74
601  { 0xa5f6d84e47e747a8, 0x9f97c214832cae8d, 0xbb66ea6897d83587, 0x4141b345093edf52, }, // 75
602  { 0x26a8f26d4234a0d1, 0xcc3b35ac4170fd43, 0x3ac01139be9357ab, 0x5b3f3b8104a4de03, }, // 76
603  { 0x978d078d8a314866, 0xbac7bcfdc38b9a34, 0x4dd61b95a2726587, 0x3794d9ef7d6219fc, }, // 77
604  { 0x4cdb18816596a38c, 0x3bfadbd8e9f19759, 0x1892176b824b186a, 0x3cf6537b4466d9e1, }, // 78
605  { 0x7a5b2d72d4739068, 0xd0469db46209c3ed, 0x1a72813fb11cd8fa, 0x4aa8a24b09dd8465, }, // 79
606  { 0x6230d13ea3d77de7, 0x71ac808defb905da, 0x198f97662042f7ac, 0x02a0de38ce20342d, }, // 80
607  { 0xb447228e65da8b45, 0x51af0a9c576e8f08, 0x0951731f8e73fcb7, 0x222993c334cd165c, }, // 81
608  { 0xcaf5c7f098db3a97, 0x07da0e5dfd8490ae, 0xa1f6fc3e19012d2b, 0x13587a074d300834, }, // 82
609  { 0xeeabd98b60480bdf, 0x2e6c09f1a270b4f8, 0xee19a6d1f6bd5f31, 0x05ad66ca2600a9b8, }, // 83
610  { 0x946fc7d0e338dfe8, 0xc2421bd8e1f0320c, 0x8ec8d946574874ce, 0x6d8898ec1414a528, }, // 84
611  { 0x6c06d92a5f023e0d, 0x110fa35aa2250036, 0xa4c4548acb20d599, 0x57d714c551ad0711, }, // 85
612  { 0xdd4d9b1acee8953c, 0xb962337ad0d364e5, 0x82c215ce20283f62, 0x201f443a8a3dec2f, }, // 86
613  { 0x041afcbef37ae98b, 0xf4f8eefc589cb1c1, 0x3b52dc596e9c3695, 0x33169b0cc2459f3c, }, // 87
614  { 0x5cf400bffb46e84b, 0x81db80400cc7092c, 0xf033da909ab2f392, 0x41a2a48ffff68295, }, // 88
615  { 0xc50941c450c707c2, 0xf2520e715ace2497, 0x3151ec4ba9b7cf3a, 0x0a2c2498b9f785bf, }, // 89
616  { 0xfc40bdbfba965cd1, 0xd1e697fed47ad5d5, 0x4931c016514f4ee4, 0x10e958ab6b5c2098, }, // 90
617  { 0x4c24bb997c800383, 0xb6582a8fc1e80e3c, 0x01bf45efc3e91849, 0x072dd048bc3dbc30, }, // 91
618  { 0x5ed7e56e11957336, 0x6d1a1e30c108afba, 0xcc30a54cd0667915, 0x04b340e5afd453e3, }, // 92
619  { 0x41c6c3497115052c, 0xab36ce94df95e0ed, 0xecb378c566bde0aa, 0x2fd2986e243ae66a, }, // 93
620  { 0x9767bb727fa62aa1, 0xf779b1690383b399, 0x542b8b83eed74074, 0x1b3c87ca9ad6236d, }, // 94
621  { 0xfc1ea2251d083f3a, 0x05bbe2a432154676, 0xd9bc96991a308f7a, 0x52fd2c86d3e99ce8, }, // 95
622  { 0xfeba2e331f7c6568, 0x0eb85b356e356497, 0xa110b3bf0dabe4bc, 0x441081f0db073f01, }, // 96
623  { 0xe43bf642896045cc, 0xdc92177c33727bd0, 0xce323911b9e08aaa, 0x63024382968d6c15, }, // 97
624  { 0xb5cd04f36dc4b48a, 0xa825d93c58b8ee1e, 0xc7cbd12b5c3df9d5, 0x067a7eb968fb9cb2, }, // 98
625  { 0x180175ec1af80016, 0x72a16b46f2bd64cb, 0xd972c907a5a1aa14, 0x609e3ce5c42bb209, }, // 99
626  { 0xe759b234890506ea, 0xcf128457303b8f73, 0x2f2b0349930eeb9e, 0x04a1c27647d9dc21, }, // 100
627  { 0x6880567bfdbdc298, 0xc1adc4d00af62760, 0xab41b1bfa59055c5, 0x1c321f7b7dae1ffa, }, // 101
628  { 0x7b34fccc5ca5640b, 0x5b904318e0665ee2, 0x83e51f237fae2b8b, 0x52d5fdcbc319a88a, }, // 102
629  { 0xbffd5ec3e68b6d55, 0x4143832d37e2c77b, 0xd30cad159a2b491a, 0x49fd24ecb7e01ff4, }, // 103
630  { 0xabc6f31c6d09dc42, 0x2366154dc25d280d, 0x5a7100bd4322637b, 0x1a786dc79ec51085, }, // 104
631  { 0xfaabf9035c6baac9, 0x3d7441c4299684ff, 0xeacdfbca84c17f25, 0x4ca1f0f66b120503, }, // 105
632  { 0x849e1a7d5b84f2f3, 0x41dc18d564683b55, 0x42ecd524a6eb9b84, 0x733af363d898f9a5, }, // 106
633  { 0x3477dcf93bf9b186, 0x505bf5c955a9e6d0, 0x01d6df617081240c, 0x716bb08ca431a0a9, }, // 107
634  { 0x7308336ab2f73c7a, 0x2e2c54c96cb2240c, 0xf491231d8e1791d5, 0x20427eee5ea9a9b6, }, // 108
635  { 0xf2f32603989c9597, 0x1b8347569bca08b3, 0x5aa1f48973015860, 0x666f5de7072e56ee, }, // 109
636  { 0xf079ad79da98d409, 0x9893a7f4096ce22a, 0x6471a1663cc19756, 0x0d7b8811835b0e24, }, // 110
637  { 0xffe8fe35308f700d, 0x234b3956d4dab030, 0x670b9c2a1874c0da, 0x0bb5192c14b7204f, }, // 111
638  { 0x06d1a7c318f35629, 0xa8593906ea3ee132, 0x97ab29031e7b42fe, 0x232156f1be6f2a2a, }, // 112
639  { 0xb3e7d959b31f7370, 0x2180745bc12f18f2, 0x22d21485eac005ce, 0x0560af732205490f, }, // 113
640  { 0x86b14e8e295be5e0, 0xcd7fc874635d4115, 0xca516494191ed2d6, 0x709dfdd2781b7bd1, }, // 114
641  { 0xbe89997ce023d854, 0x49e49dc22ed19638, 0x8f4e4c9b6076f1a7, 0x44d77eebc26351bd, }, // 115
642  { 0x8a9fcd9836515c42, 0x595fd81cd076003b, 0x6e4a72702ee265c7, 0x69492d1b956c8b37, }, // 116
643  { 0xb1c276eee939bf70, 0xc1a6c750369bd74b, 0x1978482ee369d295, 0x4f175caae37c426a, }, // 117
644  { 0x8c1b3fb9b0172748, 0xde204194151672f6, 0x0450ef287a38ac97, 0x3d639b8d7549de5c, }, // 118
645  { 0x55c20db5b2368948, 0x574296bd66cd0e86, 0x6e6cd308eca9324a, 0x325a0f512ec742b8, }, // 119
646  { 0x3063202761600807, 0x8d25e25bceadb80b, 0x37bab8b91ccc0c70, 0x45308ed5b49ca533, }, // 120
647  { 0xe741111001f76bae, 0x43adc225d6bb1797, 0xbd7a0ca2d3fa4c5e, 0x2952fb9978801be3, }, // 121
648  { 0x5f13eab6cf26e48c, 0xf7e0d095bf27547c, 0x240bd886c4c5b71c, 0x422273cfee73721b, }, // 122
649  { 0x33558f8752adab90, 0xda253fa6cbc6a5b9, 0xb7d2064e6f5c4edd, 0x1129135b65c7563e, }, // 123
650  { 0x235f8dace1ce9d13, 0x9fe96fd25f321237, 0x143e86f48e4edf41, 0x1699d86e881cfda9, }, // 124
651  { 0x8ef0fc001c7f6343, 0xc0e02a0b68ca9f68, 0xd90a7ff307bb9fff, 0x1aac790196037dd4, }, // 125
652  { 0xa6e212d1eae9ed82, 0x609401dcad7afe4c, 0x8263d81faac384bf, 0x6bbc2eec110fe4e6, }, // 126
653  { 0xa202f535029f5c6e, 0x03c980b88c05a82f, 0x934b10d0dc85c413, 0x4f6eb045865d37b8, }, // 127
654  { 0x5746cc22c722fc29, 0x9c9123595bab9e58, 0xf729602108493b91, 0x381a456ac0a60c53, }, // 128
655  { 0xb2b462b16704f350, 0xd3cf5a94bf4491d9, 0x3fbabac8dca5a800, 0x64cf440bba6db54b, }, // 129
656  { 0xb54de5c1c462749c, 0xaa9a9e1d64531ee3, 0x335d24d7c08adfc6, 0x2b84cacbdfa17367, }, // 130
657  { 0x6375b10526dd5a53, 0xeca03fc38176a67e, 0x91cf3bc909e24c07, 0x5d4f907e60c8eecd, }, // 131
658  { 0x4faa8356e2fe7b7d, 0x30f2395e8d7aa130, 0x1c951994e5b6368b, 0x61f0ba522b2ff8b8, }, // 132
659  { 0x34d29f509b535fc5, 0xbdd3ae2935d2ddab, 0x29f85430d4496fbc, 0x541401d53f40276c, }, // 133
660  { 0x2cb572f06d263884, 0xfce3d215dc04404e, 0x573f714d9050c086, 0x466827601acab9d7, }, // 134
661  { 0x42a39e808dda2453, 0x4284657bc731e43f, 0x91e5696a55beb4d7, 0x3c264b67d14103fd, }, // 135
662  { 0x68ffc10038c7857f, 0xb7e313f4ddb97439, 0x796904da0eec0a5c, 0x3f579736ec5b1b84, }, // 136
663  { 0x41fff24956f5f9d3, 0xa723a129a69ba1fb, 0xc0f98672e1d122eb, 0x6a30e04ab2ff1f5f, }, // 137
664  { 0xa6f356b498735dbf, 0x8282a1ef4eacdb2e, 0xecee0e579c2d447c, 0x63d51b6fd26bc777, }, // 138
665  { 0x7b6419fccd3381f7, 0x4961ab269834f85e, 0xa2402e0e2c089729, 0x0682f7eb59693116, }, // 139
666  { 0x4c76e56703eb5a26, 0x716f37b47c810e27, 0xd2a8a33bd4e20db7, 0x58208d8e303d4975, }, // 140
667  { 0xfab272b801541f80, 0x99da955be9093910, 0x412754748ead1700, 0x6106e4758038c8c9, }, // 141
668  { 0xaa5b196bde6f7b70, 0xb1f7d418adcde28d, 0xbdfabe95eaecf40e, 0x4d45f3a2cb8ca622, }, // 142
669  { 0xda6677896b117bd4, 0xd5144475afd9a268, 0x0342b808798f876d, 0x15c3c93536dcf2e9, }, // 143
670  { 0xc55eed0a8782a660, 0xf77013fc5cbced61, 0xd7001dfd982d730f, 0x3c1016250c7ff42f, }, // 144
671  { 0x0db269d7167a0a69, 0xf1fa339c408a98b9, 0xb4bdb597af39922c, 0x2358917bcfeffe94, }, // 145
672  { 0x1ca537a1cdf51bfb, 0xdb64e8ad6309d615, 0x77d157c285844e15, 0x2298b4a9af061691, }, // 146
673  { 0x11ed995b419b9099, 0xec9a0a9ca8e8d550, 0x7b14de49acb1c2c8, 0x56404ddbda839a0e, }, // 147
674  { 0xa8c4bbc9117bca91, 0x26a3b82ac1585851, 0x0629c2802b1c90ed, 0x1376d755d031989b, }, // 148
675  { 0x0ed516c9730fd5cd, 0x012b8bed2056798e, 0xcd5f4c733e89ba25, 0x298aab70e99b9784, }, // 149
676  { 0xa119f11ddc430885, 0x640681fc1c35ec9a, 0x3bbf8725876b1204, 0x22279fd41164e97d, }, // 150
677  { 0xde205ed191e4e2fe, 0x2898b9345ac76487, 0x3b79bb170e0f9d23, 0x51bbee5e2f68e1de, }, // 151
678  { 0xc5493673ccacec3e, 0x5504569e801ea29c, 0xc9f977012749e07d, 0x5c9b154e56f3ef00, }, // 152
679  { 0xf36ae2ae7c702398, 0x91531c014abfe0e0, 0xf42010e71756ea1f, 0x1279c1496ae0415b, }, // 153
680  { 0xcc40990e457d13ac, 0xfcdd61f88ef09347, 0xe6b18028d90efafc, 0x58ad07e381e6be2c, }, // 154
681  { 0x163eac89952ab027, 0xe2d16072474c2acc, 0x8d26d8de3861de53, 0x6226cd4c35bf381e, }, // 155
682  { 0xddf6ee4b8f3c3eb9, 0x9410becac1b48844, 0x8d36d32a826c115c, 0x2ccec3a493454506, }, // 156
683  { 0xa7e7497569836061, 0xa05eb1253adc568a, 0x9e9e0ad1a8b9ca3e, 0x5630282f5e07abb4, }, // 157
684  { 0x198139edc92864a8, 0xf39f3dbc26ff3d38, 0x328e9ee4ce5e5228, 0x113ae0caaa5c9379, }, // 158
685  { 0xc07919ad2e5863d9, 0xda1a8778a3c53412, 0x5a2bae37d05a5a27, 0x6a360b3402800a14, }, // 159
686  { 0x5146bca4fce45ef2, 0xfc6bfeb8b7b0c248, 0x8a4f3ff5faef3336, 0x0f746182dfe20c30, }, // 160
687  { 0x1e6c8a3305fe0301, 0x42ebb86022ba383f, 0x9680081d4a9433ae, 0x028e1bbca54e4e03, }, // 161
688  { 0x2f2f2f1e113e95b6, 0x34eeeb17496af219, 0x2d7e2ec148ea7be6, 0x05201a4e051cd6ad, }, // 162
689  { 0x3c63d97c99436d5e, 0x19156d88b9d3937b, 0xc53cfff0e33cf42f, 0x627603d93757582a, }, // 163
690  { 0x300856e21cf0ac67, 0x3bde128a204f90dc, 0x91e2bc7991ae0ac0, 0x45567c787e475f68, }, // 164
691  { 0x9969e652a5c176cf, 0xa85d2d254831395f, 0x8671295cc38cd94f, 0x7064eda15d677c78, }, // 165
692  { 0x9a70484c187ab274, 0x4ebb4c353231fce1, 0x58602f942ad2fdc3, 0x0e5a8f011cd3cd79, }, // 166
693  { 0xb315bc6f437d593a, 0x7db30401fdd5c6a8, 0x9edee5552d6f379d, 0x5029e495f615f7ab, }, // 167
694  { 0x363311b4ae35453e, 0xf9c4a18a1aa9cfb6, 0x9d8a662a8d6cece2, 0x2cd0cefdbda07c61, }, // 168
695  { 0x0f390f6cc044f210, 0xbfee5ec4572ed620, 0xf9a6e70764d55699, 0x4ea4ba93840798cd, }, // 169
696  { 0xedfa8ff5209c7c6b, 0x07438f4c7bb6e6a1, 0xe6a1b62a1f7f7450, 0x06eb1fce1b813467, }, // 170
697  { 0x690be27a347c8764, 0xdf07031927f30c5f, 0x2a871e8ff2862a47, 0x0c9a555a8a42d713, }, // 171
698  { 0x84be3ce6e63a090b, 0x968713550477758e, 0x97a4ee24152a0e23, 0x708801244587f352, }, // 172
699  { 0x5f17fc1d3df83745, 0xf5b59a3c880bc944, 0x9099e3439595a3a5, 0x20530d2c4e19efe8, }, // 173
700  { 0x3c6445eaf05704c3, 0x9d2e36cf60e29db0, 0xe5f4c5cb3d708977, 0x3a85627f12d78c9a, }, // 174
701  { 0x081eea89529830ae, 0xf50b533fe37c4756, 0x50af2534ea228791, 0x5a50a7afa37c4d17, }, // 175
702  { 0xb880ca2c55009f93, 0x6547832d25e869dd, 0x4bd8e078076e9586, 0x679fdd5b6c906f3c, }, // 176
703  { 0x4cc95cfc654bc15b, 0xb9f0918c9f9ac756, 0x99a5722e41b96f88, 0x015d78ee119e2bfa, }, // 177
704  { 0x152a9f3338fa03dd, 0x6b8737916fe447e5, 0xeaecfacc96e77d25, 0x5b0c7b24e2923f32, }, // 178
705  { 0xf082a57b65c5defb, 0x72c3e24364736c78, 0xb476287b01ff4742, 0x483cce48cef54ec0, }, // 179
706  { 0xb02d7ecbc6ff091c, 0x6414f3674e1838eb, 0x2828956ce3feb9e7, 0x0f4e58ddd4460a8a, }, // 180
707  { 0xc40781151170122f, 0xde6250b59ff6486e, 0xef0af4dac945681a, 0x17ecd777118741c4, }, // 181
708  { 0xc7925f933e3fa0ef, 0x55cb095676535454, 0x62662b431da5211b, 0x1c597aa897bf1b56, }, // 182
709  { 0x5e786397c01b0c4a, 0x24df8d9ef9b56d53, 0xec6762b7ae62618d, 0x2c8f23ce4707f8d8, }, // 183
710  { 0x4faaaef3186c60ab, 0xfc2100c735960f01, 0xd6a5bf9132e3c200, 0x0d8321447201ffde, }, // 184
711  { 0xc6e54052e65cfa6b, 0x527d689619b4a2a1, 0x419f40bb5904ab82, 0x6f670567678f2122, }, // 185
712  { 0xa464433052d7e569, 0x3c67b5d58488110b, 0xb4692accf9b44fbe, 0x43897c88874c627a, }, // 186
713  { 0x8d829e8904a93f4e, 0x6f3c7be672a7b7c4, 0xb348dbce357c6c4e, 0x05f49ad7952aabbf, }, // 187
714  { 0x1cb4684102978362, 0xe579764f4252118c, 0xf566884614be70ba, 0x44d9c560ec293bbf, }, // 188
715  { 0x9944d9eb67f78313, 0x6323139277551080, 0xfd15e0f35e64ea36, 0x3ac270ba7a2d32f1, }, // 189
716  { 0xdabe3d637e907aff, 0x85ed106c5a5fbe1b, 0x0a9395826d73debf, 0x0e60f8f925017767, }, // 190
717  { 0x0fd6c6dba9caeb94, 0xb4ccda9a35416412, 0x89d79bc60548c7b8, 0x2487deac68a9a889, }, // 191
718  { 0x54b1754758543a1f, 0x815d536f82135a57, 0xc6548adc37eda4ac, 0x71cb4a7046d79660, }, // 192
719  { 0xd11c07637b93e47d, 0xc98b571cda84670a, 0x4f1b0784207c3e95, 0x6c18ca674584348a, }, // 193
720  { 0x816d287af9567ef3, 0x96e7b96a83a1304d, 0xfce1b7089bbe425a, 0x4481f6c07df784bf, }, // 194
721  { 0x95f87a442a302d35, 0x1ce94c4c4a869a4f, 0x116c91d3b5776472, 0x7161023e56df16ff, }, // 195
722  { 0x1d176088faa36f8c, 0x3a52e20e42a830c9, 0xeeb0f28addbcfe38, 0x335eb28681816534, }, // 196
723  { 0x549e41a098943f00, 0x1ad3f2fc836810d5, 0x15d935399b4cdf8c, 0x45f94b161984eaea, }, // 197
724  { 0x1d17045254daf3dd, 0x30c5c6a7167b6ea5, 0x79f8d4f0ed93dc87, 0x649bc70621395481, }, // 198
725  { 0xc7abc6ddfb5276ae, 0xe408f1811ce8461a, 0xb9f34a903b8593c9, 0x71801086823942e6, }, // 199
726  { 0x62925b279aedcd96, 0xb7e2e75540d5fc84, 0x74d4476e3d160465, 0x541feccd2808ab0f, }, // 200
727  { 0x5ee6c1e41d39fc04, 0xd936e4761757958f, 0x271f09a96521ba03, 0x3f78c68ab2685df2, }, // 201
728  { 0x9ec4df712d5facb6, 0x8499b932cae74323, 0x457937275fd2dc14, 0x5866cb37521528cb, }, // 202
729  { 0x25c3ed3d45bd4718, 0x607c255f4995eb32, 0x9b2692319a5b6fc3, 0x7018e05f219b3696, }, // 203
730  { 0x1aebcfd3e9d96d5a, 0x92707e93296aa437, 0x141df34ab77124a1, 0x5eb83f453fc3ea45, }, // 204
731  { 0x65c0a6680355005e, 0xff588f3622dbfffd, 0x9179f89727bb24c2, 0x624a4ab34619c776, }, // 205
732  { 0xf85e2d3c82057bbe, 0x0aaa64d3319a57d7, 0x3b98326b46084885, 0x6c728996847d07a6, }, // 206
733  { 0x0c3d277da4185556, 0xf27933f3339c0824, 0xa332191352c796ed, 0x1fddbb137775505c, }, // 207
734  { 0x54f5aa73a7653345, 0x61584a929046adb4, 0x6004da910f641c06, 0x3ac1a9bb48c2efc6, }, // 208
735  { 0x1a72351a892b6a1b, 0x26e0ff871fe80e0b, 0x71644721b46d2f81, 0x5a11ea78bb2c6a82, }, // 209
736  { 0x52404bfd4608891d, 0x72a0f0ce24fc94b5, 0x38dfba272b1942f7, 0x30e2a4e8e34ce895, }, // 210
737  { 0xe66be2c0d5698ea4, 0xcc513b57b2f353f1, 0xfdbadde558a14a78, 0x422135a32cf38514, }, // 211
738  { 0x31f1e6b3d39f4734, 0xf02f048e3a856127, 0x7bf974875bd26f86, 0x51be2984a948dc43, }, // 212
739  { 0xdd4d06d5a9ebdf1e, 0xe9ebb1979a634013, 0x5bf353c931d14f43, 0x2c784997534ace09, }, // 213
740  { 0x79094b427a742ed7, 0x5e64b7059349881a, 0x55c62a0b26350c7a, 0x0b5ca6ea35a71c9b, }, // 214
741  { 0xada770ddbe452005, 0xc9f015d215344f28, 0x2e5de27c059129c5, 0x4759817eaf65b7d7, }, // 215
742  { 0x65a7fcf08a7cc178, 0x2f8ffb099b3acdf3, 0xf29ff60b955c2793, 0x14c2bcee625f7969, }, // 216
743  { 0x7b923910393ed437, 0x4fef8eeed9b98f13, 0x3c9ac0516dcc5116, 0x00e7e435bcc0839b, }, // 217
744  { 0x263bb295bf783fc2, 0x879251b5f447c8fb, 0xc5547d22c6840b0a, 0x719198bfc8e5cd24, }, // 218
745  { 0xd3884bd2ea91f38d, 0x66ea446699b56dfe, 0x806fadefef56f1e2, 0x03c394365f239fcb, }, // 219
746  { 0xda1f07718ac16f63, 0x54b49ae1ffc2faee, 0x4e7ce0c76436171d, 0x1170622531b54517, }, // 220
747  { 0xe4b6f330bfb09b62, 0x18db5a21ac0a4556, 0xec8b256b0d657cf9, 0x0e91b1c7e4a44e89, }, // 221
748  { 0x9d3a629009848bf3, 0x1fff45d9b5ccfccf, 0x7ece7c3b51bcd3a0, 0x2ccf4ade66e43f66, }, // 222
749  { 0xf9f7bf6208ef03e2, 0x68c510126fbd07d0, 0x6cf89ce44049bffc, 0x131f47ea934714ff, }, // 223
750  { 0xc2afe3b60b27ed05, 0x1bb585e0a8077efe, 0x2310bd6d88ca27ea, 0x3703ddf818611672, }, // 224
751  { 0x00caf5029aba9cd3, 0x46bc56d6bc0e9e6d, 0x900134a05da9b34b, 0x73066d2ddcf37fa8, }, // 225
752  { 0x953204c69e321ea3, 0x5a14e9d89f275441, 0xeb4b87e66d8b0ffd, 0x0406668982f4ff85, }, // 226
753  { 0xfaeabc00f0c63b38, 0x36c673f258d3bbaa, 0xcc83b1a8925507e0, 0x27dd6e1b1aabd51a, }, // 227
754  { 0xbbe9b01ed3012f13, 0x2993979953aa9b37, 0xe2718fbe9fa9159b, 0x1bb12ccc1862b77b, }, // 228
755  { 0x04fa51fee6822b2f, 0x6aeeaa8c37b047e2, 0x25f9b03abf5d735d, 0x6f1805a01e760b7f, }, // 229
756  { 0xee149fa26ac0934d, 0xaa4bd02922fcc257, 0x95f23439213f0ae4, 0x639f0625f048b87f, }, // 230
757  { 0x89cc6ef8c1e2aab1, 0xa52287f2389fa173, 0xbf6f9894fb932f69, 0x321e65d250a9e667, }, // 231
758  { 0xc1840c53089537f5, 0x39dba62cf9383bc0, 0x0a5a7000878d0dcd, 0x0a0211b2dd1c7e19, }, // 232
759  { 0x5c1c07599d3dc08f, 0x8cb8ca2c3f417ed4, 0xf916fbb6fb9127cd, 0x62533a61702b3c57, }, // 233
760  { 0xb82174bc1077457f, 0x667d8e4bc8c94eb7, 0x117c512264ad3c76, 0x32ca49f9672515d6, }, // 234
761  { 0xef552d7cdbffac17, 0xcd255a3b86aecb5b, 0x1e3aa7a94bd59dd4, 0x1ef0bfff2419e3bf, }, // 235
762  { 0xbb15c430435e59cd, 0x9efb2ea1115735b3, 0x7fc253bb1355e47c, 0x02996ffd9e202546, }, // 236
763  { 0x51cf4ac0a44284e4, 0xf6cb9bd961929b87, 0x31c9a0e13d03d9a3, 0x59655888c03bbaac, }, // 237
764  { 0x66079e4b20fa5cab, 0x73ac93691c9662d7, 0xa8d4f9f30e88bfed, 0x5a0c6875c17d760c, }, // 238
765  { 0x1c9a6ccfaffe19ba, 0x2bcb84f5db8d5d77, 0x084f3d195ba0ea12, 0x56cec3f839cb2e92, }, // 239
766  { 0x00aae4e3fa732ea9, 0xb4da1cef07959b81, 0xe3f275dc54150b93, 0x4c561239e6ea0ce2, }, // 240
767  { 0x22e54aa08785b43b, 0xbbe58800f1e3e027, 0xfab62a6d190a02f3, 0x040b7ddd5d6e7be7, }, // 241
768  { 0x62b352f8e31793b8, 0xabbcc4ebd73d9bfc, 0xb3f355eb43233bf4, 0x5577a719acbbdd97, }, // 242
769  { 0x7ae90b3cf786e71b, 0xe27a929923206693, 0xdafb9a89b81ab07d, 0x2110e924890a7cab, }, // 243
770  { 0x0d04d0b4d3712422, 0xc9040f1c20854441, 0xf90f9f777da68ae7, 0x3e21e2331774e48b, }, // 244
771  { 0x67a4179919d4c31e, 0x46e89bf868f8afb9, 0x29c2b7b56b24811a, 0x1979de9c4740b775, }, // 245
772  { 0xd096908299139662, 0x5f44ec72a47b15c0, 0x6aeea1e2f42322a3, 0x1d730278c20d826d, }, // 246
773  { 0x276184506cbd868a, 0x0531e80294b4511b, 0xc05057385e034330, 0x6fd431e8d09270ed, }, // 247
774  { 0x5a2e9d8a9bb1d2b5, 0x099b2aea044c3a8e, 0x6c536c89132ebe30, 0x50cd18d40208cfab, }, // 248
775  { 0xb5103bcf1ef2f5a1, 0xfa427242df2ed1a4, 0xca47d0926421eac9, 0x250ea97abea293f3, }, // 249
776  { 0x33f1d25cb2337bac, 0x7aa764e53e89fd38, 0xa57e30b140151dfe, 0x51cb7655dea24474, }, // 250
777  { 0xeb6631147e05d759, 0x2bbe5987d70e930a, 0xff1dad15d60eb845, 0x3e301a0c90dd83c5, }, // 251
778  { 0x20c1f4597bc5ccf4, 0xf75c16d16ed71d04, 0x3e0a338515cb2a90, 0x0f9f9f1e0d2fce48, }, // 252
779  { 0x248fd839572ba241, 0xc53d35ef8875ddb6, 0x80fd24a059a4013b, 0x6669bf57d5c6d648, }, // 253
780  { 0xf97f660c72abd909, 0xbad2c2009546ac41, 0xc460cb9909a16866, 0x40961652bf042d24, }, // 254
781  { 0x4969ad8f86b82fc9, 0xfb3b1db262f1579a, 0xe80b7151e008992b, 0x02c92768f4a8518a, }, // 255
782  { 0x5dd66691448b0023, 0xf089f17fdc660699, 0x8290401873f3ca6d, 0x4d76bdd2a2f4f4b1, }, // 256
783  { 0x150251c92a2aace3, 0xf7f2d4bd4fde4ce3, 0x2c197f511d133265, 0x57ee10c4495a18a7, }, // 257
784  { 0xc200a010c3988f6c, 0x10ebf4bfca6b15bc, 0x617fe6b6031ae65c, 0x734102262c147acc, }, // 258
785  { 0x88e5f0f16b35f08d, 0xfdd66b338db61328, 0xcc8af9f1fe66d67d, 0x3c70618aa311c34c, }, // 259
786  { 0x6e904532b918e21e, 0x6a1cbc559b1063ab, 0x59f32f842ceb5169, 0x3086b9c988be0869, }, // 260
787  { 0xaf66c013f0e4ee2f, 0x77ee388efe435648, 0x7ebf7de94fcd392a, 0x082c818240c2e1c1, }, // 261
788  { 0x25dfa17430cfdcb4, 0x2491432107aa67ab, 0xcec290c5a4099e98, 0x471593cbae8be7e6, }, // 262
789  { 0xec358d66f6089925, 0x7cfbf0fde59cbad0, 0xc57a1a6dbcafdba2, 0x5e96fa2debda1045, }, // 263
790  { 0xaa8499598ac662aa, 0xc5f66bb5b12c39be, 0x200662908fe941d3, 0x71bd7c4f59c023de, }, // 264
791  { 0xf7fe3c50d4892643, 0xb3b97ea529e264b9, 0x07bc50f12d95103a, 0x3f0d95d065fdd276, }, // 265
792  { 0x3e6c7b12ee3bd336, 0x1e159212a515b093, 0xb398860ba7ea30a6, 0x493734299153109a, }, // 266
793  { 0xd91bcd1928ae494b, 0x211ec09aaddbfd13, 0x35e74d2d96f7f271, 0x1a500e6a0b04684b, }, // 267
794  { 0x809968ce7c4d88af, 0x7c69b6e4969c205d, 0xf1fc4b618c3d5b5f, 0x52567a8f87c362d9, }, // 268
795  { 0xb74cd03be018983a, 0x9bbfac8e3130bdca, 0xa068e66c925ce838, 0x0d585fc3ca1ed296, }, // 269
796  { 0xea5cba48f0220839, 0x8331f58b0b26de27, 0x5c5b692a8c71f795, 0x14b2dfe4e57f2615, }, // 270
797  { 0xfed3e328a26dca51, 0x95d08f14e360d24e, 0x64562faea52b3f06, 0x0c2cb57776e84474, }, // 271
798  { 0x3bb125f857b72094, 0x36b2810ac72ea215, 0x46884ad9784d6039, 0x6e44c625c0213505, }, // 272
799  { 0xe56f7325289bc560, 0x25bb7ed703544a9d, 0xd35f4611c361ecb4, 0x402cd3b11d58dd97, }, // 273
800  { 0x7b060cc7a4ea6b83, 0x2f4aacaeb87b2f44, 0x5f05dc5b920f29a4, 0x26592ee2c8eb9a1f, }, // 274
801  { 0x5e976d7225658d4e, 0x0a9942242af9b7d9, 0xea993aa509dfb124, 0x52704aebd0b12dc9, }, // 275
802  { 0x2dd54094f99f7ecd, 0x7cfbf3d2cdd69743, 0xd92066df3dfd1c73, 0x0b739e043ca5613c, }, // 276
803  { 0x547e687dde28e51f, 0xd08b0bcbfb41e242, 0x51bf98eed2f2a4db, 0x524dcd2c0d0457b6, }, // 277
804  { 0xfabc3bd9e41dd2ee, 0xce3dcb49b7ea6847, 0x3e6883fa7cedee21, 0x1762888faa0cde2f, }, // 278
805  { 0xc88179d9ea2ef4b6, 0xfd9d64f4ccffc805, 0x726a97f8f154e57b, 0x3ff63c228c49b506, }, // 279
806  { 0x4de7b1b5b9760547, 0x1a8e64192825762e, 0x68801fd2f76c2997, 0x5fb237148031d274, }, // 280
807  { 0x1475421f7308d53e, 0xbdd98a24a22ec9cc, 0x82297c361ff1ca38, 0x5e1f321da8af0287, }, // 281
808  { 0xacee7a57a66cf928, 0xafb875294ac1391b, 0x2dab74c40839a06a, 0x0dc741a18dfbf03c, }, // 282
809  { 0x542d0e7b62f52229, 0x6bff6ddc068a42a7, 0x387c7304e70cca69, 0x387a626fc8192002, }, // 283
810  { 0xff710d0b4f4bb6f5, 0xd87116e6ce5cebbe, 0x635bdc06713baac7, 0x356dfcc5d5a39e56, }, // 284
811  { 0x1025b545b83502ac, 0xbcf5263020c2ca10, 0x552ead836f12ead5, 0x48eff024529a3eaa, }, // 285
812  { 0xb96641b5bd3b955f, 0x23ece7dd5a9035d0, 0xe8502b30967b0777, 0x6b5ca1db0b6011bc, }, // 286
813  { 0x59801b3f1c6c521b, 0xbf592921ddf8aa9e, 0x639826bd19a44624, 0x4014ab658754ddeb, }, // 287
814  { 0x8dd04809c6e1af4e, 0x6a59d74f52334b0e, 0x73cbc7dc9e14e9ad, 0x208a95c98d3ce4dd, }, // 288
815  { 0x4cb8103e28bab0d5, 0x20862152661068bf, 0x3ad52c603f6a62fa, 0x51d0d63c54827fb4, }, // 289
816  { 0x9ac719bdfe554bd4, 0x2ab17e38a9368753, 0xd850205dac4fdcba, 0x03b1464c84518371, }, // 290
817  { 0xaff1ace6609bfced, 0x084d5725f5d9233b, 0xabadfbbf16f0316d, 0x4f08ed0d132bf408, }, // 291
818  { 0x621a747f19a6790d, 0x673a4c6917d16ac3, 0x2d2e1dc5b795535a, 0x2605bad01b57ed2b, }, // 292
819  { 0xd2798cfe9327326e, 0xb3de850ad719c37d, 0x13bb85566ab5e6f5, 0x560f7b3208d26db5, }, // 293
820  { 0x6e14a6fc7b81fe92, 0x67b90326d53db7ed, 0x897df9edd66ded76, 0x1311ba96a9e68666, }, // 294
821  { 0xf0264a003c69bfac, 0x256890f912ba6ebd, 0x91802c4420c1118f, 0x01e3daf86d6e2f93, }, // 295
822  { 0x7871ce18b85fd04d, 0xef63f42aa0dc94d5, 0xf87ab35307e4067e, 0x3e8c0f4dbc1d30ae, }, // 296
823  { 0x52ced9882419d3dd, 0x22ddd5f9d5c9861d, 0x52f42eca75985458, 0x050b51768eb848f4, }, // 297
824  { 0xa986871d462eb8aa, 0x3d72a1547c376979, 0xb4729aa2adecf882, 0x5e1329bb7ac7a5a9, }, // 298
825  { 0x304676201fe9f661, 0x5503bb9341621a49, 0xa5907b8053dbfc0c, 0x04e607254ab27fd5, }, // 299
826  { 0x948b2efd8cb46840, 0xe1ddcd863c9a0825, 0xfb3356378b5647db, 0x1aa19021f7b4f56d, }, // 300
827  { 0x8c6c3856402accad, 0x2cbb3cfb7fb83445, 0x6399e18f4ece98f9, 0x58223305388011c5, }, // 301
828  { 0x245e2202a089dd5e, 0xe037c9ce72701318, 0x0bfa43c6ed3a94ad, 0x17c6c2bbb4eb1ad6, }, // 302
829  { 0xa00042b1cbb96857, 0x44ce457af938f6ea, 0x455ecce21aaccded, 0x498ca7ef90c1ffc0, }, // 303
830  { 0x77a82ea2c23be8f5, 0x8fc908391ca765a4, 0x59f4b10d00f8ee1a, 0x5c913b7f9b80cb1e, }, // 304
831  { 0xfe016bbb0b7cbd84, 0xadc74d78ea60da5a, 0x1bf277b6ec885ba4, 0x0285ddfbb793822e, }, // 305
832  { 0xcbae5685ee6c2132, 0x4ca4f440ea2c7ad5, 0xf77608b636d305d1, 0x4df8e65414e9a66c, }, // 306
833  { 0xb65e86369cfaa07d, 0xe0b27370730825ae, 0xaf7a6c65c5f7b8d8, 0x28c4a67cceb4f320, }, // 307
834  { 0x76f30d7171bafce0, 0x15228a2c4a709a5b, 0x3e9d32773ba1d189, 0x156a3f3956c036e8, }, // 308
835  { 0xe9f81d92ec6b4da9, 0xf8165d22f0e793c2, 0xd91c73bab64ee6fd, 0x1db51a5de601f3d8, }, // 309
836  { 0x19f2b67fa2d31f8a, 0x51ac11d6e799aca4, 0xdf9566e6ab247465, 0x2d7a71a8c38f9966, }, // 310
837  { 0x0519166f16915429, 0xb5d7fed8c8373bd7, 0x3b6048c7dd57693f, 0x34d8b3e799163408, }, // 311
838  { 0xf745f2f104768987, 0x531c43374c7b00c3, 0xc7c3f0cb7b03f9ee, 0x1ff324b13f0b386f, }, // 312
839  { 0x1450a366c14fdc9e, 0xf6a665b46ae4bcf4, 0x73a993f5ba48379f, 0x6c6bbd668b613ebc, }, // 313
840  { 0x802c6af379badeb2, 0x6a3d6e7d7f192479, 0x53b5a6738637635a, 0x52ed870f598d7ca4, }, // 314
841  { 0xabc5f2cb9c9649f9, 0x0b449bd491a53365, 0x2258e71d6958a0c4, 0x15f3ff171ab291ba, }, // 315
842  { 0x1682a0f37c070668, 0xf066ea96e44c5062, 0xee11e51f38f11f41, 0x5d8ab80e8d30b613, }, // 316
843  { 0xd570143faf5c2535, 0x90da1a43c2383ee9, 0x5ed0a9244cfd985c, 0x1c2e751c7d6411d1, }, // 317
844  { 0x27927fbd38db3115, 0xac81be752bb5a6f5, 0x1221bc2647b4461c, 0x118ebfdd53eb9e16, }, // 318
845  { 0x50fde674e439a6a5, 0x1daf1f8b715ebac3, 0x9f208a3478849e45, 0x7198dd9f2a4ded91, }, // 319
846  { 0x885b0e44e48aaacf, 0xe0eed75a083784e5, 0x700fd3123d489e96, 0x6f799a1560e75c38, }, // 320
847  { 0x9e43a3f3321a9e51, 0x2a244eb31901f88c, 0xc82d009bb8dac7e4, 0x080185ac633605bb, }, // 321
848  { 0x683b72002db67c16, 0x4a6dad1fed2d37e8, 0x8a3a74d79927cd33, 0x1572359ca257d43e, }, // 322
849  { 0x4bf213a06a152b59, 0x9495d47dfe787571, 0xfe96a9628620b109, 0x20f12af7879a6fca, }, // 323
850  { 0x7fbbb4e2274d5f80, 0xe3a71cef60a06de0, 0x6c43619a7c62add8, 0x3340329d233c2543, }, // 324
851  { 0xb8a643b65a5498e9, 0xfc345c39750d2c59, 0x846179d202eb448e, 0x050b283cab6cf227, }, // 325
852  { 0x5eb59f1dcc19437e, 0x1324c8c440605758, 0xac8d58aed46133cf, 0x08563cf02809be8a, }, // 326
853  { 0x3fdf0d5d60ebc224, 0x4eb9607d34605815, 0x16d627720ecfa68a, 0x07ecc077ff450dac, }, // 327
854  { 0x3dfd1e2204f44e98, 0xce69fff80fd48b19, 0xcb1e1a5147111ff9, 0x43fb49469f4f397a, }, // 328
855  { 0x63cb36a14f73a264, 0x4a2ed9ed060da9ef, 0x4db8f7e2caa9fca6, 0x28020490c961751d, }, // 329
856  { 0xf1e484a54cb0cabb, 0x9a01380081fae910, 0x68a0f058f867a291, 0x1ee112703b56ac65, }, // 330
857  { 0xbd652ff619dab541, 0xaeef80d99193e584, 0x829fd0536b58a8de, 0x219aa8a20884d9ff, }, // 331
858  { 0x342ecbc7e6f9a1bb, 0x2c538a148f552c8d, 0x6445614b490dcef1, 0x37aa98bacbd04137, }, // 332
859  { 0x4093ab5407c7aeb3, 0xfbd42651783aedb0, 0xba1237dfe63fdb5f, 0x3bacedaa161033cf, }, // 333
860  { 0x048f7e52dd3fe20d, 0x201a1c9808877a41, 0x5dee02c3295bd413, 0x296ef418d7dbfb54, }, // 334
861  { 0xdf03901b0c080255, 0x6d9c6173ac912999, 0xe6ff41981998a3e7, 0x3826a12c3ca9d11c, }, // 335
862  { 0x873ab04a0919caf3, 0x0e4afc658bea2ef2, 0xaf88ecae5ef9601a, 0x256fe37edfc815d8, }, // 336
863  { 0xe556124255195e7e, 0x43d0ca8798e508e1, 0x9187c051a68d2a27, 0x26670bb6bbbf6bec, }, // 337
864  { 0x3b14bceeee855b85, 0xe69220434e3abf28, 0xdedf55a0c265e512, 0x58a4b7d282c040d2, }, // 338
865  { 0x9f6c20bb70cf8635, 0x52032b24cc615611, 0x0c8957d1b7527f06, 0x05b580f0cd5f43b0, }, // 339
866  { 0x30e2c6bb18eec1d9, 0x379e81fdba930824, 0xfd206fee42990e4f, 0x13ec7f81fa6a9e3e, }, // 340
867  { 0xb801b98472401981, 0x00244217a097a502, 0x6354fc51c8d925cd, 0x0ce3a9489cfe3c8b, }, // 341
868  { 0x1296b324f9508d69, 0x61fd059d0a8cf3c4, 0x10abc481a7b1a61d, 0x38dca356ff3f895f, }, // 342
869  { 0x0e838de37274bf33, 0xfd48a1acca434b56, 0x2768c183aca300ad, 0x392f08ab8a6d9835, }, // 343
870  { 0x3c305695080f09c3, 0xee37e258f009e122, 0xf9a853d62e8b781e, 0x57f158bc2903be3c, }, // 344
871  { 0x214ef8cde9be2a8c, 0xf19666e2188adf73, 0xa09c6f7d96cbcba8, 0x3c9ec7da0cf00d36, }, // 345
872  { 0xd3aa1405d15f4e4f, 0x90afa3f67bffebb7, 0x7bec232c2270ade8, 0x145fe1c966edb499, }, // 346
873  { 0x52bacc81a7e2a2a7, 0xffef0ba53b3e9edb, 0x82d11d81c9a84222, 0x413277770b5df708, }, // 347
874  { 0x8190ecb155c9dbdc, 0x93d802fa9fef6bbf, 0x924295b6050ccdab, 0x2f4bb34948484cdb, }, // 348
875  { 0xc1bca5a8438d5fcf, 0xa7f11d17f7c984af, 0xd31aa63a2029cdde, 0x488f6b64368254ec, }, // 349
876  { 0x7ddacda0968a3b91, 0x66479707c98ec0ce, 0x27ffa8b17890d4ed, 0x3fbe52b7fb866f28, }, // 350
877  { 0x756cc05868d75972, 0x3ed48bba5a83a15a, 0x836acd8969af5aa0, 0x2b17c76794772e28, }, // 351
878  { 0xf8e360e60acd2466, 0xb6f0e3d211d8f00d, 0x7c55e7fbbf62e61c, 0x654ac89edffcf3db, }, // 352
879  { 0xd97391534762b4ba, 0xba9405cd5d61d85e, 0xabf74cc17ea43a11, 0x3ff849b72b6ec184, }, // 353
880  { 0x663631899a99aba5, 0xa73af72017937a67, 0x49cf4340aff27ceb, 0x3069303275a1cbdc, }, // 354
881  { 0x20ad231206b100a3, 0x66a70ae239b19355, 0x16fac610e9c8d3b8, 0x35d303f5d097ec28, }, // 355
882  { 0x7d253e7d4d41333f, 0xc6d2df8e0c29d1a5, 0x37ebe56d465a5f21, 0x451d60b40f2bc055, }, // 356
883  { 0xb0b3c1ebf8bb9ff9, 0x5df5fb66854f4394, 0xe4b5b7af126a551a, 0x1819a4bab80f5be1, }, // 357
884  { 0xf4a0e632de51625e, 0xcac87ab4d630df94, 0x020c45361b91974b, 0x40b3de477aec6586, }, // 358
885  { 0x9347ade3dd1c382f, 0x9db7c8659f4c2692, 0xe6acd369da51d319, 0x01d05f833e258ce9, }, // 359
886  { 0x2c58a3148ca4007c, 0x2a9e522b7ac6ba5b, 0x2a1ed404340dbe2a, 0x2d31a1e7c865bb83, }, // 360
887  { 0x2407fe2c5d2317f0, 0xaadf162564fdb2a2, 0xf8dae5553a3ec9eb, 0x18cb52f7cd972160, }, // 361
888  { 0x998868b5daef1aad, 0xd54943a00f06d920, 0xe450f8b73fd07f22, 0x714942386d8b2665, }, // 362
889  { 0xbb7ebf0377c29973, 0x263aa503d8b608d5, 0x01bbd58673324800, 0x4509bd7815827dd2, }, // 363
890  { 0x1d79ca7af0f5d87c, 0xd7d4b624b345c41b, 0x2aeac60f366fa34b, 0x10a6f6c5bdf6bbd9, }, // 364
891  { 0xbbd3359783c8d871, 0xe054e1ea83e2f885, 0xd0144d42e182e344, 0x49c83fd4cabdac6d, }, // 365
892  { 0x622d66f6b10c0b5c, 0x1ac3e4a5a4f79f7b, 0x3f78a0fd5f5c14bf, 0x0f8d202909f1b529, }, // 366
893  { 0x9a389f37cbd7b067, 0x5fa12a88fba56cb2, 0xe3154df113e95abf, 0x4d00d4ecee8ebf3c, }, // 367
894  { 0xe16eadbc4798640b, 0x2b95a5f9411e4859, 0x92cf46cd79a051d1, 0x71bd6e117490df19, }, // 368
895  { 0xe75a0b4b3da8bad3, 0x434e54fbc76d0120, 0xf2829089a52f2da2, 0x65b8f85dfea01fac, }, // 369
896  { 0x0b3eff8cfbb1b7e1, 0xc90d2c3880c3801e, 0x7cd0c259147ce8b4, 0x5dc193d9a2b2f6de, }, // 370
897  { 0xd480f8eaaea4dd8a, 0x56d509ac90007053, 0x6ea01ee342991066, 0x5090bff21e60647d, }, // 371
898  { 0x30bc9685966e492e, 0xd04c1a9586db9996, 0xdf3cf6e46dd077e3, 0x2b6e8f379ae56220, }, // 372
899  { 0x312de45c02440c38, 0x3977c1b88be23625, 0x805e8590ad0cb708, 0x4d76849ff429cad9, }, // 373
900  { 0x51218be2258ff1e9, 0xea7069419b279cf5, 0xe5f2d82aa1084297, 0x25d94d8278a6a37e, }, // 374
901  { 0xa3f3b19a0d5cd9a6, 0xaca488448d95fa2c, 0x46f4d1eb63b46463, 0x6536dcf9903cf2fb, }, // 375
902  { 0x0772bf3e07c5a555, 0x75066aebb0f4e617, 0x2d9384fd8dae2831, 0x3fdd5e1ee414cbee, }, // 376
903  { 0x703c650989cea603, 0x5d852cd0a30e0f07, 0x6f0a4252be682bb2, 0x5f501fa4e458e92e, }, // 377
904  { 0x6b8f2d594522be49, 0x2a02ebb1cd4334d9, 0xc5a03465101ec770, 0x1efc3ab054c695cc, }, // 378
905  { 0xa4ee8a83c6e91179, 0x98ce650288504bc1, 0x4bc05e6bc4cfe647, 0x3d5fe0e44c8f9185, }, // 379
906  { 0x73ebfa9d1ec45d11, 0xc08cbb7bdf7065cd, 0x49033bcf956a0fc8, 0x0f20430a94614897, }, // 380
907  { 0x95c87d61ae144858, 0x5d1c8562f5bfdd26, 0x16edd13f105223d2, 0x64e568a8af90c67f, }, // 381
908  { 0x029aebd229a948ff, 0x06dcd08d7a479795, 0xa83c35c1c649366c, 0x198c82f4312c4f28, }, // 382
909  { 0xc87287bfa6d2500b, 0x05faf6dd956fbd90, 0xa06fb40af74245f3, 0x15c991f61e5af5da, }, // 383
910  { 0xbd01e39938dd041b, 0x558970285144c3f7, 0x9a9e4840bffa0f62, 0x629419a42ae0f37f, }, // 384
911  { 0x1eeb2659cee6f778, 0xf68a083b042e55f7, 0xd14598811cebaf9d, 0x6dccf4869ba7d7d5, }, // 385
912  { 0xca28172bfa3d5de3, 0x83937992306c1443, 0xa2e97bf80b11d9ad, 0x4461f274132d4f2f, }, // 386
913  { 0xc67a778f2c96d837, 0xabe533b70bed8d50, 0x65ee71358f19ca5b, 0x38798c2d220a0f02, }, // 387
914  { 0xed4abc7d68b75b1d, 0x5399f203c87c6427, 0x29fa7d993f274b47, 0x068a5213fb6435a1, }, // 388
915  { 0x645cda1bd310d081, 0x12533484a452a88f, 0x264b79c1f446cdea, 0x308370e5fb20ca3d, }, // 389
916  { 0x3ef6185cb4a0dd98, 0x4eb7a8f107c185e8, 0xc6f3c5b5425b3873, 0x5276bc8dcac24807, }, // 390
917  { 0xaefafb14339191cf, 0x53b24148a163e176, 0x393e84d14443576d, 0x59decc90f2b965cd, }, // 391
918  { 0x7d6d478b9ca3f89e, 0x45740d0fcd2d17bc, 0x5f32a753a4b278a4, 0x4210837305900ad7, }, // 392
919  { 0xf1bdc0dda1bcaed0, 0x967f5038c958a19b, 0x0a55fb92a97ec37d, 0x57e0e72febda219e, }, // 393
920  { 0xfb982fd1bb2dde97, 0xdd863f210fb16801, 0x115c414bccc5735a, 0x2d39ab0d1cdc22a6, }, // 394
921  { 0x63a0cf41f10748fc, 0x8a46798db5de26b5, 0x4e22dc2a0b252215, 0x3aa23a9003d0a43b, }, // 395
922  { 0x108504bc9df57fdd, 0x4c090be1f6b98da0, 0x7d603e0e66f0c8bc, 0x3adf351ae3b8a42b, }, // 396
923  { 0x307ac9ca1ae346a7, 0x799b961d622bef7e, 0xf2d5bc7bfcd4b465, 0x034bd54325ff7475, }, // 397
924  { 0xbbb21e0290d9ba14, 0xd11ea90902530827, 0x5d5934ccb088c41e, 0x5a45077b0c537e86, }, // 398
925  { 0xca95eb24c156cf78, 0xb6dc6ddbf5ed149c, 0xfb9911cfab46572b, 0x4468e5c808552edc, }, // 399
926  { 0x97b8a36f191a677f, 0xa300825401f40cb1, 0x9d4957c90ee19c24, 0x5822161b3f5bc1e9, }, // 400
927  { 0xcd212564a79319ed, 0x1f84a28217364ebf, 0x1536ab204fdc9cbd, 0x1e59c1aceaceff6b, }, // 401
928  { 0xe23a8abc01335cb2, 0xe450f87f6d7a9d3c, 0x874cf918059ffdec, 0x415f8d87afb9e336, }, // 402
929  { 0x3ed8716afa543751, 0x8a3fb660e8b63a4f, 0x8f606134048f95bf, 0x3938974e539bf775, }, // 403
930  { 0x691dfe6177bb5a7b, 0x42eae8b28c76448a, 0xd9ce11236a939c52, 0x538d78b902c38724, }, // 404
931  { 0xa1c4b24dbc390eb6, 0xe00f0f0a1becf5b0, 0xcae1d1e3bf4d04ac, 0x639b97f13c71c8ee, }, // 405
932  { 0x90ccdeda84738801, 0x83977298fef3b601, 0x9f0d0cf55f595aa4, 0x38f56f989c9dd68e, }, // 406
933  { 0x4c09a49c2a6da601, 0x3a24f02aab135d87, 0xe5929c77f71c3273, 0x0500539625539178, }, // 407
934  { 0x46b430d38d95bfb2, 0xbe036e811c133703, 0x1a343d0ecf8fd781, 0x3391e00cea637279, }, // 408
935  { 0x9070fa98d3593612, 0x814585a7230cc414, 0x8296d26fb8ec972e, 0x3a102b8647edf76f, }, // 409
936  { 0x5b442cc9ca304aaf, 0x55df0c39939d1b3d, 0x30f4ee8b3bb095bb, 0x06dd2e8115ec4e33, }, // 410
937  { 0x0fde0a1d5670143a, 0xcbee6a9890b5e909, 0x708a52358f1ed7cc, 0x05daa7732b2fc0a6, }, // 411
938  { 0xb02e426b244dd38d, 0x9774e48a3968395a, 0x9b7aae89e20053d2, 0x571ce9fa975471f3, }, // 412
939  { 0x37b3d623fc2c3f91, 0x3ae0d1d43b015f65, 0x2fd588390b8cfe3a, 0x3735ab470ac3507d, }, // 413
940  { 0x3cd29be46f3ebe88, 0x3ff0bb6969e59107, 0xee1257f1a267b419, 0x33c06a0d642de550, }, // 414
941  { 0xf6fc0cd92e87d7f5, 0x250907e6fb3eedc5, 0x72f57ba444754618, 0x415e09415a5c702f, }, // 415
942  { 0x3faa97abaf0310ea, 0xb72b5394902c7531, 0xdbc08354b1c75a1d, 0x15837a53f043c8ec, }, // 416
943  { 0xfcb8275697774fab, 0xd94405d42a07f2fa, 0x3210a0aaf0164491, 0x3d8024f842dd638e, }, // 417
944  { 0xb55fbf475a5690da, 0xdc8c95e9a52eca1a, 0x0f2881c61dca9426, 0x513fe1fef0a487ef, }, // 418
945  { 0xef2ed208e547f4d3, 0x02df8bba20d51931, 0x3a45e9a959a2bf5f, 0x2cfdd969499eeeba, }, // 419
946  { 0x7c62c7e50f4ce465, 0x5a65553bb64bea07, 0x0fd711e87e18b0eb, 0x6cbb754dc6fe4e08, }, // 420
947  { 0xda7ecb0a711e84a8, 0x2346a6b8a8502f8e, 0x3c8a60682fd8721b, 0x3905ea29761e4b40, }, // 421
948  { 0x38e0d7ae66de264e, 0x5dc98951e469f71d, 0x5f02f779f97d1996, 0x665e5b9f84d0db25, }, // 422
949  { 0x763956eea6efe9c0, 0x6965b1f2dd62b595, 0xd02531d21c37c11b, 0x2299591b834e8b9d, }, // 423
950  { 0x4031af8f37d99616, 0xab125b38cae9aeb0, 0x66cf3d091c51beec, 0x4e1f43dcc4e8b645, }, // 424
951  { 0x12d9b40789000a02, 0x839627aa68ede5ec, 0x1cbca54ab8ea4f45, 0x6546a15a1435f840, }, // 425
952  { 0x60e8b24f90ee73bb, 0x25ceaa8a4ea79f7f, 0xc4b325806ce0ef2c, 0x49b01051ae8f6d8b, }, // 426
953  { 0x22ce74924b16b95d, 0x338f2ef05d664019, 0xc3a7dcbfa23fe9ee, 0x58eadcb0524a23ea, }, // 427
954  { 0x740ce301f55e36d5, 0x2ade58c5cf47c06f, 0x747fc0cfb068b507, 0x43dbe32aab0324ff, }, // 428
955  { 0xa04e20299c87c373, 0x28e1779f3920baf6, 0x966f1a3bf0753325, 0x55484a52db6ef2ec, }, // 429
956  { 0xa8080b645aa98c9e, 0x7119e0407d269caa, 0x62c2fb4f886bf877, 0x3c6ddb459c56d809, }, // 430
957  { 0xacd33abf827bb6d7, 0xdcc76fca30d131bd, 0xb2f776d1bd1b0106, 0x32396561b737791b, }, // 431
958  { 0xb48a16c6ae6d3239, 0x841d6189434c734d, 0x19eb2f9ee167e80a, 0x479aec5154270508, }, // 432
959  { 0xd310c3b2de334e03, 0x2c98be77aec199e1, 0x80d121b75d1e2eca, 0x41d60c9b442d481a, }, // 433
960  { 0xb4ca1e73ccfb443b, 0xfac9c46fbfa39d48, 0xb85236ef33504f84, 0x24dcc1cdaae1adc1, }, // 434
961  { 0x08e194190265374b, 0xa73d94e122f35342, 0xb186d1a24a639da9, 0x020eba4069095fee, }, // 435
962  { 0x97a9254dea5c40d3, 0x230132e3344f3d46, 0xe13323570f1a322c, 0x06a2dabd57ba2f38, }, // 436
963  { 0x6729ea4aaafdcc1e, 0xdcc3a40a61a5dd5f, 0x2637961939ca4c2f, 0x05058d0e1c189673, }, // 437
964  { 0xd3cc83508de75476, 0x3d5bc4b58e9dd59f, 0xddf837b47c027c82, 0x1b44ca5320cebe4a, }, // 438
965  { 0xca4e0503a3f808a8, 0x4ff7eb0dc5bb5e4c, 0xbfec1df87f4ce73a, 0x6bb920fe72b55a32, }, // 439
966  { 0x92526f215aec9c27, 0x28e0e77ee08631d3, 0x4e2f36f2cfe0e214, 0x34aa273011031c14, }, // 440
967  { 0x9393652e34205620, 0xe72d81ccc1072464, 0x04bf5f5d20ea48c2, 0x27c75d08e19738ef, }, // 441
968  { 0x06dafe0c8ec573b5, 0x07692d108fb5baad, 0xaa3c7a2fc74f7239, 0x389a33c321d9f292, }, // 442
969  { 0x6107147c22da2193, 0xe0f8647312bf965f, 0x1bc10d0eca56c586, 0x24a5651a303b0b7f, }, // 443
970  { 0x46d05e6de6bceef0, 0x734282a99b6e4c1d, 0x5121663d80b3a5f5, 0x1dcf55cb00be037d, }, // 444
971  { 0xfdbabe2da0fc4fc2, 0x279c020e6992fc3b, 0xc4b097f2891b4922, 0x687f10eb88cbd45a, }, // 445
972  { 0xda67da0d1e7904a9, 0x2bca2dc34285da3f, 0xfc2a31cf98000cbf, 0x0bb83c00aee0c93a, }, // 446
973  { 0x6c6a20f1fdd12511, 0x9908f37bb5cc9e5d, 0x4f92c2833cb039d5, 0x0d69791191442a67, }, // 447
974  { 0xfb4c19954a7057cc, 0x5eedf86aa64eae90, 0x7c9d2590e89410fc, 0x67890147daca021c, }, // 448
975  { 0xdb18dd149632581a, 0xf31850a311fb089d, 0xdc14707e8b9434e0, 0x42f45878c2b91c56, }, // 449
976  { 0x7338c7b42107e9c7, 0x5accb4d7d6af1d68, 0xff5de3e05927acf4, 0x292dab1308d777a6, }, // 450
977  { 0xa9555e78f5b1000a, 0x386e5e361e3506a4, 0x456e050e20c43cb0, 0x5f1ace84cb266dac, }, // 451
978  { 0x1f98501fe8d810b9, 0x9145a5eca8202aa2, 0xba7a6f2517bd615d, 0x27766fccdaf22ae5, }, // 452
979  { 0x1c24efa30256914c, 0x34439920916e6874, 0xc5e97797559ed781, 0x4b12dfd2456af75e, }, // 453
980  { 0x548bd004ea43c133, 0x7b8cc739ed59b51f, 0x18ca4f22ec8fdfbe, 0x2855cb798a0eacc2, }, // 454
981  { 0x7362151a402fff49, 0x688244d8f1c26ef6, 0x895723f7492f6480, 0x57c4023ad7e61589, }, // 455
982  { 0xee7cf9fca54dac1b, 0xc036ca86c53466a9, 0x0f1c431b991dda80, 0x59fc10311ff2cf44, }, // 456
983  { 0x69985085bc75624e, 0x4c74f5f04faa136c, 0xe98fc1fb92820259, 0x49ab38c29344ef3d, }, // 457
984  { 0x731c5372b7a7a669, 0x3c2e4079b4a21cc6, 0x8d9fb064a9061f2d, 0x0ded230798a34952, }, // 458
985  { 0xf2776edaefd80cdc, 0x57f166bdfd9252f4, 0x7a53dba48522c630, 0x67196cf89589b8d4, }, // 459
986  { 0xd435fa578a6d0ba0, 0x29ae4a4cbbd68d5a, 0x565481b0cc33c744, 0x250ab403623e2e0c, }, // 460
987  { 0xa40bbd63627cef91, 0x18c50413229d580e, 0x737d17918c1a66d3, 0x6f5de2dbe1642d41, }, // 461
988  { 0xf9c61a157600fbd5, 0x3640eeff5b330979, 0x54840ca4d700bffe, 0x60d263a0d9f9509b, }, // 462
989  { 0x8931f58beb78f8ba, 0xe7c99a67e6ac064a, 0xce6523b05bdc1dac, 0x02c24b8756ab6fd8, }, // 463
990  { 0x81ad767ddd8a2c61, 0xe9179a116b45ad43, 0xbdcc534fe7ba8a19, 0x5f9d21571a276e41, }, // 464
991  { 0x6c8a1f94e93b0e35, 0x71546aa49570a6ce, 0x3943252b420cb752, 0x1cdbf3c3b2b9457e, }, // 465
992  { 0x41e498d2328ae014, 0x90ac294fa644a16a, 0xb7e13e09d3c19742, 0x071934f76310ea3d, }, // 466
993  { 0x7190ec484cdc9e1e, 0x659418f160a8f654, 0x9df6ec605d1805e4, 0x4137526f0677d7a6, }, // 467
994  { 0x560a3799a19a9c2c, 0x6a55cb99afbf3bd3, 0x2359c14f49c7362d, 0x468a58ee12ab9e94, }, // 468
995  { 0x8d544ecda2a03618, 0xbc35205f508788c2, 0x3458427803eb3ee0, 0x536d4a183c145d04, }, // 469
996  { 0x68b880fbd4f1311a, 0x061113ffbabb9c58, 0xc55ab17e390b4f6b, 0x254a05ea43382af3, }, // 470
997  { 0x3c2dd6642715efd5, 0x9b243ce0e619c16f, 0x5b30b0ae720c7cf8, 0x65cfa1e29ba0bd78, }, // 471
998  { 0x10d870b6ca4d2ce0, 0x3ee9f7dac41854e3, 0x6564b8fc8fa4cd90, 0x71c0d29ef1407afa, }, // 472
999  { 0xa505789e3c20418c, 0x04836686df967d40, 0xa9a03ca50bdb8651, 0x35a62a2ce6a7522e, }, // 473
1000  { 0x041d68645708b51c, 0x8bb28ab3597c20e0, 0xdb06ed20b440ede3, 0x3a41b818eaa10f5e, }, // 474
1001  { 0xb1cd68b0ac1c8e05, 0x5a155435099fb11e, 0x7914680181f86efb, 0x6113663ccf520d58, }, // 475
1002  { 0xc95a4a7472bb7d9f, 0x469bc4286576dfc7, 0x0879dc75fa2af82c, 0x492111e7c445bd94, }, // 476
1003  { 0x4374b072fb52f1f1, 0xc5455574153d6f29, 0xf65134201e3636a0, 0x5b7fa995eb827ab1, }, // 477
1004  { 0x51210727305b1fad, 0xfd7fc07a8dba40f9, 0xeb05576fedc71b72, 0x1c5772bd648b5d13, }, // 478
1005  { 0xe55f1904830e8c67, 0xeb4aee6d2ec839f1, 0xb2d0eb1902af33f6, 0x3e7839d994c37218, }, // 479
1006  { 0x410bcd2af126d661, 0x16508aa1c56aa449, 0x9281b5c808512196, 0x10bcb583ce1137f1, }, // 480
1007  { 0x1398557a2f90562a, 0x85bca4e681ec141d, 0x07212851b3395318, 0x5f202d6f4b37996d, }, // 481
1008  { 0x48da78dc30749a0d, 0x91340d5b35be52cd, 0x19ffbfa74fb9759e, 0x3b199dc891158ae3, }, // 482
1009  { 0x44d9b13ce365e539, 0xed3d3a5751ed793e, 0xee4b36ab9355bd08, 0x57dccdb76088e2ec, }, // 483
1010  { 0xa78825b7aa23548a, 0x59646bbecad3dcd9, 0xe729881983371733, 0x2f5db0412df12c61, }, // 484
1011  { 0xc0d55b274d5365d5, 0x57a05496171caada, 0xb8ce7c02453ff7ba, 0x65df59f4609fa4ea, }, // 485
1012  { 0x3585f681559db882, 0xf8e39bac0abbd077, 0xd4ea5703a73a28fd, 0x0c35016eaeaf92a0, }, // 486
1013  { 0x8261098bd9c304c4, 0x9ec7525437ae4913, 0x9386c84ea1e3d59c, 0x66d585743222d468, }, // 487
1014  { 0x4a32ba06fda6bbae, 0x30d047cab2a4533c, 0xb32532a16c919464, 0x0994fffeb4100918, }, // 488
1015  { 0x503cb683e1c8b297, 0xaf55ea7681f89d4e, 0x8156717ab93d3be8, 0x301f21be7a7ba3ee, }, // 489
1016  { 0x70a9868f5abdb7c2, 0x592d05a7887cbaec, 0x33fed30274234e8d, 0x3f7d95998cfb0e4e, }, // 490
1017  { 0x224c2cf93befc9c8, 0x0a568b54583b4a99, 0x03b4ee75516a5628, 0x42560e512d15d856, }, // 491
1018  { 0x0fefdc1f64d591f6, 0x8e1fad286a067568, 0xc2fb963db2715598, 0x6e5712be9c1703ea, }, // 492
1019  { 0x8dde66722ae9f795, 0x18ff561c901c8a56, 0xef9ecc7b1dc3aa57, 0x59a28ae34df4e2c7, }, // 493
1020  { 0x6ac4cb8b33651a99, 0x5c7f330774754195, 0x7491af555481aae4, 0x1a4e30c042430465, }, // 494
1021  { 0xb5bbe6c5a97cf1d9, 0xb10cb9ad2752a186, 0xddf8ef9aeab1cc62, 0x3c092c02d9870eba, }, // 495
1022  { 0xc8b541abef6e24d7, 0x99ae885b73925b08, 0x219979a765917e8c, 0x242fdfdfe5023318, }, // 496
1023  { 0x4b2a3666ce4ed83d, 0xba8236497f496592, 0xc1c90cba1b43617f, 0x647b991843f269ee, }, // 497
1024  { 0xd42b1011cce84577, 0x2830f2a01ce40b89, 0x78556d374fd75990, 0x5470f010e6948eb7, }, // 498
1025  { 0xd8eea405f36b2975, 0x7daa5838ecb07d46, 0x3217e537cfb22c37, 0x046df274dcab9d0e, }, // 499
1026  { 0xb3531b4dd15d231a, 0xbb164d69942d6f32, 0x68ca0597bc9c0b2a, 0x44d6f4260c819283, }, // 500
1027  { 0x3f8a03eea1af7df0, 0x840cdf87e199fe03, 0x1c26aaaafec1f67e, 0x15c1e09ac7fbcde3, }, // 501
1028  { 0x4f4fdf9c1e062bdf, 0x45978ef609269c9b, 0x2c530d281aab3cd8, 0x666c1a1d90adc490, }, // 502
1029  { 0x4a41fd63bf00c911, 0x35b0bbe22fc3edcf, 0x6f683477a9ba7246, 0x1bc90fc6be5d5bf8, }, // 503
1030  { 0x7cd9e9b211b6dd05, 0x37162cb018eb74f3, 0x9dc5ed6da0f68803, 0x4ec7dc22f228e0c2, }, // 504
1031  { 0x054e4843b63cfece, 0x743df994707a1827, 0x861995d112b45126, 0x0a5541a5c6a89778, }, // 505
1032  { 0x818e09be6745dfd6, 0x34133ebc135ecc35, 0xb413d8e3e45d5fb3, 0x5cb2381a1d122241, }, // 506
1033  { 0x2c6b5b10d6f4ea23, 0x0a2d2a711a442fa1, 0xfaa8a6a60ff4cd21, 0x135b2d28e3332f44, }, // 507
1034  { 0xa3d6726043711c44, 0x121efc69a98dff28, 0x3ac662c10580d6ed, 0x651fe0e3f2e61ca1, }, // 508
1035  { 0x00d8208e5da593ab, 0xea17cbabec656f27, 0x86e4c3c91d26cb38, 0x077b627522e331a2, }, // 509
1036  { 0xf512a0dde3826321, 0x9a4f162d427716d3, 0x1958a0154e6c30d8, 0x61f81bbfb8b8cb52, }, // 510
1037  { 0x3418bd8eed46c477, 0x215c970464722223, 0xe9ae0f412c1c5ece, 0x39b58640fdb9a68a, }, // 511
1038 };
fr_t
uint64_t fr_t[4]
Subgroup element stored as a 256-bit array (a 4-element little-endian array of uint64_t)....
Definition: fr.cuh:24