chiark / gitweb /
Makefile: Use check_PROGRAMS target.
[mLib] / bits.in
1 # Test vectors for 64-bit operations [generated]
2
3 lsl64 {
4   22907dd1dff7dac5  7 483ee8effbed6280;
5   1d26d0c6eb14ad56 13 da18dd6295aac000;
6   edd1dc9268eeee53 56 5300000000000000;
7   7130c9f137120634 41 240c680000000000;
8   3d1f337f29549e6b 53 cd60000000000000;
9   512061f7080cc07d 66 448187dc203301f4;
10   cde8e160ad10997a  5 bd1c2c15a2132f40;
11   6057acc87638f508 64 6057acc87638f508;
12   49ae1d50c38201a8 20 d50c38201a800000;
13   2cde52ebfda19d0c 66 b3794baff6867430;
14   0f215eb57bb3a4f3 25 6af76749e6000000;
15   370c33d090c54215  1 6e1867a1218a842a;
16   b3ad54efc9a38378 35 4d1c1bc000000000;
17   b03fb648e27fff63 66 c0fed92389fffd8c;
18   9829b94586306fed 10 a6e51618c1bfb400;
19   00157846b710ee72 22 11adc43b9c800000;
20   2219bfb474fd71d8 17 7f68e9fae3b00000;
21   4bb65d1563259f9e 61 c000000000000000;
22   8b77dba189196d1e 23 d0c48cb68f000000;
23   3f768281e040a9b9 54 6e40000000000000;
24   bd689aef66f5306c 51 8360000000000000;
25   6b08ac8b0a22260c  1 d611591614444c18;
26   5cfb0bad7d95214a 36 d95214a000000000;
27   6794c18b5337685a 16 c18b5337685a0000;
28   1e72d7b97e23e6ea 39 11f3750000000000;
29   12e4713df4679563 62 c000000000000000;
30   49377d20a8f08345 33 51e1068a00000000;
31   3e4ee1315f3c8f2a 47 4795000000000000;
32   921451dcd1af5813 29 9a35eb0260000000;
33   798391805da08da3 40 a08da30000000000;
34   5f8584b7c5e61766 54 d980000000000000;
35   d1ecdf3d264a7f16 15 6f9e93253f8b0000;
36   c2e815f422cdf0c8 53 1900000000000000;
37   147ed12ca986981a  9 fda259530d303400;
38   98ad0abef8bc4fcb 36 8bc4fcb000000000;
39   7e98ef1f0446b42f 45 d685e00000000000;
40   d44b6d00f06dc188 14 db403c1b70620000;
41   a784e0c6f21195a3  5 f09c18de4232b460;
42   ae985511265febd1 34 997faf4400000000;
43   4720eef9eb1c8dd0 24 f9eb1c8dd0000000;
44   eb0cfa9138ddc399 54 e640000000000000;
45   5608fe95e81c2533 31 f40e129980000000;
46   9c1a9851bc2810d8 26 46f0a04360000000;
47   a089c3f9099c5ffb 28 9099c5ffb0000000;
48   69f6a9f2c0945ffd 58 f400000000000000;
49   03cc0cae9ce021a5 39 7010d28000000000;
50   4ffa91544485f1a1 21 2a8890be34200000;
51   1770a18cbfe6effd 67 bb850c65ff377fe8;
52   778554acf1270485 20 4acf127048500000;
53   827b480aa3a4c84c 33 4749909800000000;
54   f6c9b53bf8f957f4 10 26d4efe3e55fd000;
55   f43e89957f9a3e81 46 8fa0400000000000;
56   743d16687b7bb8de 33 f6f771bc00000000;
57   dad9e9a79b1abf91 18 a69e6c6afe440000;
58   42c2ecccb44d65ba 65 8585d999689acb74;
59   b0ef5746ea8fdccc  0 b0ef5746ea8fdccc;
60   957eb6d6699e6b7e 14 adb59a679adf8000;
61   5cb2dac07ecde957 69 965b580fd9bd2ae0;
62   46fee6dda7abc8ad 62 4000000000000000;
63   ac90cfe22d2f1f29  0 ac90cfe22d2f1f29;
64   42fa8b669ed3bb35  6 bea2d9a7b4eecd40;
65   5e51881e99027b8a 47 3dc5000000000000;
66   a3ccf860b0009740 14 3e182c0025d00000;
67   1c1b9fc214e9ca21  4 c1b9fc214e9ca210;
68   308ba60076817523 32 7681752300000000;
69   9c2835076a23faac 32 6a23faac00000000;
70   dd67771cc667a833 32 c667a83300000000;
71   06148f302c3973ac 32 2c3973ac00000000;
72 }
73
74 lsr64 {
75   2352fd61e4fa8fec 55 0000000000000046;
76   c861a8b33779f09e 38 00000000032186a2;
77   fc02a8f48afa3080 12 000fc02a8f48afa3;
78   7c486315799dc875 61 0000000000000003;
79   2b5b0677da1ac273 19 0000056b60cefb43;
80   893232a9f81d1451 47 0000000000011264;
81   e475f6b94a43a67b 29 0000000723afb5ca;
82   0d2f9aaafe2dd721 36 0000000000d2f9aa;
83   ba8095ffab1eaadf 40 0000000000ba8095;
84   1f813e28a1397a79 54 000000000000007e;
85   2941feeffdc2eb44 60 0000000000000002;
86   0d5e8f444f7f4e0c 65 06af47a227bfa706;
87   0013e5150686d230 35 0000000000027ca2;
88   49e2414ebf47970e 34 0000000012789053;
89   75cff206877de691 32 0000000075cff206;
90   c3ab6cf8556b7aa7 12 000c3ab6cf8556b7;
91   5948d1b8834df219 28 00000005948d1b88;
92   ec1718dcdeee0d52 41 0000000000760b8c;
93   e4758a386a9943e9  3 1c8eb1470d53287d;
94   b9a80f34c0fde11c 46 000000000002e6a0;
95   9e544e0c536ca1e0 18 00002795138314db;
96   8485290a4d87d13b 11 001090a52149b0fa;
97   1cccada8c1a0a9aa 11 00039995b5183415;
98   4e3c3554f8fb1ef6 36 0000000004e3c355;
99   c270295dfc0ca655 26 000000309c0a577f;
100   bdb75359f91cb9d9 35 0000000017b6ea6b;
101   ce6c0b396179d31f 12 000ce6c0b396179d;
102   1da1ae8f4ae480cd 11 0003b435d1e95c90;
103   d6cf2bacf6f9fd3f 38 00000000035b3cae;
104   01325eb855323665  4 001325eb85532366;
105   788d73d192ee53b3  7 00f11ae7a325dca7;
106   5de25b1593b70f86 61 0000000000000002;
107   2d90a9b59ed034a8 23 0000005b21536b3d;
108   2d25d54756fa5c47 23 0000005a4baa8ead;
109   33922a22d9fd8815 57 0000000000000019;
110   5eb9d85197a21cc3 40 00000000005eb9d8;
111   d5ae7be8dbf98e4f 28 0000000d5ae7be8d;
112   cf6b1372a5aa47b5 65 67b589b952d523da;
113   c783443d64f2ed6a 61 0000000000000006;
114   f86b799e2a168116 42 00000000003e1ade;
115   56445a09898eaa96 47 000000000000ac88;
116   8eedb969ffe07669 16 00008eedb969ffe0;
117   bb7a24c69f13d099 18 00002ede8931a7c4;
118   ffc1ba78c70dda7a 50 0000000000003ff0;
119   a25e771702fb1901  6 028979dc5c0bec64;
120   8a959cb8e75079bb 53 0000000000000454;
121   cc8c54f31b450e88 28 0000000cc8c54f31;
122   cb0f58a1e34c8b15 57 0000000000000065;
123   1986c251f5b70be2 64 1986c251f5b70be2;
124   8995e6c932a17eab 47 000000000001132b;
125   ddb8e4ba463c6630 69 06edc725d231e331;
126   ae8a7a899e4279d5 49 0000000000005745;
127   8d5be74088e4097e 43 000000000011ab7c;
128   6c9e4fba61339d6d 56 000000000000006c;
129   ab7707ca48ff5ba1 10 002addc1f2923fd6;
130   1addf5748729720a 36 0000000001addf57;
131   079c0a2535ded561 48 000000000000079c;
132   e3d33dcf7c71cd7d 19 00001c7a67b9ef8e;
133   71e554a6850d5588 21 0000038f2aa53428;
134   7ae6994fc8528bd1  6 01eb9a653f214a2f;
135   4a2404a059f7f99c 14 00012890128167df;
136   9ce757b3e7a1d075 55 0000000000000139;
137   6d94238ab56d738e  0 6d94238ab56d738e;
138   7de6496247060e7b 65 3ef324b12383073d;
139   6a0c897031ad09a5 32 000000006a0c8970;
140   fa687ec3bad8e18d 32 00000000fa687ec3;
141   ad361f1e226e7887 32 00000000ad361f1e;
142   d35f86c639733c5c 32 00000000d35f86c6;
143 }
144
145 rol64 {
146   4aed8aaebabb7e0f  0 4aed8aaebabb7e0f;
147   a37fc5cc09f7f62f 36 9f7f62fa37fc5cc0;
148   23fcd2dec5de24d2 66 8ff34b7b17789348;
149   c839839c1b06319f 24 9c1b06319fc83983;
150   b54bdd13c17ef292 58 4ad52f744f05fbca;
151   d3caeb5e57fd21df 60 fd3caeb5e57fd21d;
152   6186265ee6ea4590 51 2c830c3132f73752;
153   cb822fb2ef953aea 63 65c117d977ca9d75;
154   03e0fce2e1b9511b 69 7c1f9c5c372a2360;
155   c86e67f123377a8f 24 f123377a8fc86e67;
156   b8dcc73ae1b3c6cd 31 70d9e366dc6e639d;
157   4e3cb24284cfed17 65 9c796485099fda2e;
158   66b0a6689cf0969c 68 6b0a6689cf0969c6;
159   8fca80e322a4b1bf 41 49637f1f9501c645;
160   1220450433efb6b6 40 efb6b61220450433;
161   d820cf27a64b9d47 24 27a64b9d47d820cf;
162   845dac557bb3e75f 66 1176b155eecf9d7e;
163   fb8e173416867fcd 12 e173416867fcdfb8;
164   d58b10f91d07a037  5 b1621f23a0f406fa;
165   b96e83c4bf2fb5b2 33 7e5f6b6572dd0789;
166   d663cb3884b2a0a8 55 546b31e59c425950;
167   5df752423f3179bf 55 dfaefba9211f98bc;
168   3564672e370ffc37 26 b8dc3ff0dcd5919c;
169   a31e8aac1d426ce1 11 f45560ea13670d18;
170   4780e974a8a2a0e7 39 515073a3c074ba54;
171   0fd0d7f69fa658ab 67 7e86bfb4fd32c558;
172   40d304128719b541 27 9438cdaa0a069820;
173   322b3bf7d02cec05 39 16760299159dfbe8;
174   96cec07591ada462 17 80eb235b48c52d9d;
175   ba3037235e19a394 48 a394ba3037235e19;
176   56b4cfc5555e925e 58 795ad33f15557a49;
177   d39040e632d56264 52 264d39040e632d56;
178   e6a427b99a5dc266 50 099b9a909ee66977;
179   cc034b9f099f0467 28 f099f0467cc034b9;
180   9da898b39324cd30 31 c99266984ed44c59;
181   51014f6796f9c488 59 42880a7b3cb7ce24;
182   dd678d490c2f320f 46 cc83f759e352430b;
183   3c484fb34bd52239 33 97aa447278909f66;
184   2cb8ecf4f64e3298 16 ecf4f64e32982cb8;
185   73be257a753b3820 33 ea767040e77c4af4;
186   3f94a079bde2dd98 60 83f94a079bde2dd9;
187   702db2ba11927589 63 b816d95d08c93ac4;
188   340af7b91f9632fc  2 d02bdee47e58cbf0;
189   761ca16434a9935e 28 434a9935e761ca16;
190   11c1cb072f32a59c 27 3979952ce08e0e58;
191   97d9a7b0556463ff 27 82ab231ffcbecd3d;
192   ebc43263391424d0 31 9c8a126875e21931;
193   c897a8a484313243 34 10c4c90f225ea292;
194   1b5302ccd501b538  3 da981666a80da9c0;
195   0764ee4ce1d3fc04 38 74ff0101d93b9338;
196   4f7d8c0c48ad7d6f 20 c0c48ad7d6f4f7d8;
197   d5c8d92dbd873a8f 23 96dec39d47eae46c;
198   63aae01a2a199d3a 61 4c755c03454333a7;
199   30a6d917fa0c1a23 32 fa0c1a2330a6d917;
200   bc8a4cba45b20543 25 748b640a87791499;
201   fc1b9dbce078b87a 65 f8373b79c0f170f5;
202   acf03897b95a3f37  0 acf03897b95a3f37;
203   d0544b5151db0a16 57 2da0a896a2a3b614;
204   9e8f2fc12c7f839f 49 073f3d1e5f8258ff;
205   9a0056284a697ffd 27 42534bffecd002b1;
206   dead83f5a356e910 55 886f56c1fad1ab74;
207   260ea9379cc72321 24 379cc72321260ea9;
208   17158fee8ca42e75  1 2e2b1fdd19485cea;
209   4f497b3734be301d 55 0ea7a4bd9b9a5f18;
210   5fe692629db57311 32 9db573115fe69262;
211   22f3a1573f9e0553 32 3f9e055322f3a157;
212   3e96265e4326fa53 32 4326fa533e96265e;
213   de3d4eb23cacdf6e 32 3cacdf6ede3d4eb2;
214 }
215
216 ror64 {
217   ad8ca13187eba153 37 8c3f5d0a9d6c6509;
218   ba31582b3793b05f 42 0acde4ec17ee8c56;
219   9f80c5814b91f4d3  5 9cfc062c0a5c8fa6;
220   9943307fa4ef095e 62 650cc1fe93bc257a;
221   7c9351366ef8e98e 26 be3a639f24d44d9b;
222   b48aa989dbb8d0f1 56 8aa989dbb8d0f1b4;
223   b2dab2863e574842 58 b6aca18f95d210ac;
224   97782f16c5816270 17 b1384bbc178b62c0;
225   8f4bdbd6ebdfbafb 41 eb75efdd7dc7a5ed;
226   f5427dbee5f95b53 68 3f5427dbee5f95b5;
227   cb6d7c128b79f465 38 4a2de7d1972db5f0;
228   0f20d40224baac3a 40 0224baac3a0f20d4;
229   63c1f3f00f301cc9 46 cfc03cc073258f07;
230   bfea6d561ab5aea5  6 96ffa9b5586ad6ba;
231   5c7a8d2fc4feef99 47 1a5f89fddf32b8f5;
232   b6c86db981143082 35 3022861056d90db7;
233   6473a86a5da3d2e8 13 9743239d4352ed1e;
234   602ebbaf08bf9315 27 17f262ac05d775e1;
235   38a1c33beb408771 47 8677d6810ee27143;
236   a3f63408d3b27df5 35 1a764fbeb47ec681;
237   ed5537bfb0162f05 41 dfd80b1782f6aa9b;
238   d1b2c36ceec1dc40  6 0346cb0db3bb0771;
239   3aed7667c6342c83 35 f8c68590675daecc;
240   eef301f2c93fda30 14 68c3bbcc07cb24ff;
241   f7987116dba62d93 21 316c9fbcc388b6dd;
242   70274ffe5a6506e4  7 c8e04e9ffcb4ca0d;
243   6bcedb015be40bfb 24 e40bfb6bcedb015b;
244   68d7d2ce372a8a38 44 2ce372a8a3868d7d;
245   569863bbd3ad4290 53 c31dde9d6a1482b4;
246   776ee19eb0a86714 64 776ee19eb0a86714;
247   3292af9ac5ff48a0 14 2280ca4abe6b17fd;
248   e0136f6237637451 54 4dbd88dd8dd14780;
249   45b31f52265dfa0f 27 cbbf41e8b663ea44;
250   0392ea7314124aeb 55 25d4e6282495d607;
251   c7319c116207607f 27 40ec0ff8e633822c;
252   3bfa119be8284f3a 42 66fa0a13ce8efe84;
253   e760886e4d3bf414 46 21b934efd0539d82;
254   b27749f2665a9537 32 665a9537b27749f2;
255   a8c06832398b5a70 68 0a8c06832398b5a7;
256   c1f9a7aba24b5516 25 25aa8b60fcd3d5d1;
257   1e51aaeb95e1e511 56 51aaeb95e1e5111e;
258   b3874faad48effe1 26 23bff86ce1d3eab5;
259   2dccf08b113a1f9e 52 cf08b113a1f9e2dc;
260   bb25b47f8968a082 17 50415d92da3fc4b4;
261   ab4008222c8c03df 48 08222c8c03dfab40;
262   213ba7e1412f9995 49 d3f0a097ccca909d;
263   c8123ef89b66074e 52 23ef89b66074ec81;
264   b502e2eacd8d74c2 45 17566c6ba615a817;
265   26887b8c874ad75e 26 d2b5d789a21ee321;
266   872a6e980a11947c 46 ba60284651f21ca9;
267   33b6ba72a81cf590 61 9db5d39540e7ac81;
268   faada6fe97c73242 65 7d56d37f4be39921;
269   24b1b85fe682cd1d 27 d059a3a496370bfc;
270   b833126cf9876424 66 2e0cc49b3e61d909;
271   c612844fb428dbc6 38 3ed0a36f1b184a11;
272   95238cb43653d3f5 16 d3f595238cb43653;
273   2aa1effa03c4cc3a 57 50f7fd01e2661d15;
274   fb97bbbf521b5864 41 dfa90dac327dcbdd;
275   baa395b5c7a7aa80 27 f4f550175472b6b8;
276   dfdb0984dc12ba2c 66 37f6c2613704ae8b;
277   11b39e4d85729892 13 c4908d9cf26c2b94;
278   2d986c78a311033b 49 363c5188819d96cc;
279   ba444d46e7503fd1  8 d1ba444d46e7503f;
280   686b7d7922fcf56b 47 faf245f9ead6d0d6;
281   b001ddd542907641 32 42907641b001ddd5;
282   3a327c960cf48973 32 0cf489733a327c96;
283   09ecc63d88b79c61 32 88b79c6109ecc63d;
284   f240e09c02002d31 32 02002d31f240e09c;
285 }
286
287 add64 {
288   ffa31bbb318ee6c9 77886da9ed9bf217 772b89651f2ad8e0;
289   2503beebdc863e7a 5aec57d94fd2f508 7ff016c52c593382;
290   677d70bb3b80e18c 7251e6454c970deb d9cf57008817ef77;
291   f1c65a62b1b9026f 15719acbd61c7704 0737f52e87d57973;
292   960ba55948d612e3 d3486d5d49202d18 695412b691f63ffb;
293   99399c6c45e8c599 40dbf36af241f761 da158fd7382abcfa;
294   fb9eed6a0cd0f0f3 632d1f45b7754396 5ecc0cafc4463489;
295   e39647f1cfee6040 330d58d6cd78a424 16a3a0c89d670464;
296   7db21330002cb386 d4bca40e62371c6d 526eb73e6263cff3;
297   e1c7031eb74dfa95 b66359d2cbf149ff 982a5cf1833f4494;
298   2e45cd635e2fcf27 d2e59db3ca1e8e7b 012b6b17284e5da2;
299   ad63ea4c6925e11b 301c6631d719e7bd dd80507e403fc8d8;
300   9f0657cc8e6619ec c046ef1f44c964bb 5f4d46ebd32f7ea7;
301   69a9fe8470acbd94 b63bc903388de527 1fe5c787a93aa2bb;
302   50b83682b43c0cbe e5d7933cf398b6d1 368fc9bfa7d4c38f;
303   a67482fbdd55f104 dece9659b7ecb778 854319559542a87c;
304   492cab8935ed33bf dc821a09459bfb4a 25aec5927b892f09;
305   323a1a40e6201389 19236991a37cd95a 4b5d83d2899cece3;
306   2b7ffef363020062 d0acc63ba6d05b12 fc2cc52f09d25b74;
307   1db43d975099d082 f03fe29725e17c84 0df4202e767b4d06;
308   8801d09bbe4e85f7 c131099b7d08a054 4932da373b57264b;
309   ffb5584821a24134 d4e7b794483c13c3 d49d0fdc69de54f7;
310   dc096d1c5e1099ac 44430283fb5a02df 204c6fa0596a9c8b;
311   0184be162ac48b75 ec32f75040808056 edb7b5666b450bcb;
312   1e2f6b50326ca98c b15e551d75529eaf cf8dc06da7bf483b;
313   7365630d71159148 c7bef83555794918 3b245b42c68eda60;
314   f67af3372a5cbc05 96df32153c93ed4e 8d5a254c66f0a953;
315   430351e583fc19a9 5431a75d8cdbe2df 9734f94310d7fc88;
316   2519db4bbebb8ec9 36ea3d9c821c7ccd 5c0418e840d80b96;
317   1065e01360db5f60 1b7df81e5c04ed9a 2be3d831bce04cfa;
318   6c99a594ea6f81c4 a73fb16638a957bf 13d956fb2318d983;
319   3169420dd13fb427 f93dd859bb958ddd 2aa71a678cd54204;
320   916cbddf29aca294 151f8b3b6e14b136 a68c491a97c153ca;
321   c6110822a062efdc 48ccc81cf9eaef85 0eddd03f9a4ddf61;
322   bab5817a17ce5c7d 7db952939d68ad41 386ed40db53709be;
323   f3e534755d5253ad e8fe934c07a834ff dce3c7c164fa88ac;
324   145953602245c141 a5706669ba7fc566 b9c9b9c9dcc586a7;
325   8d0422a0a55011b9 2c57299ba1dbf17e b95b4c3c472c0337;
326   b53b86b676485d4e aec47d6ed6c1cfdb 640004254d0a2d29;
327   33abdb685054013e e42476b3652ffeed 17d0521bb584002b;
328   74e814305e87098f 012790b9c7b63825 760fa4ea263d41b4;
329   22fb3116e5d4261e 38f3bbc7aca807d9 5beeecde927c2df7;
330   7cc9f89cd170b899 ea665723ac1ebffc 67304fc07d8f7895;
331   a9adcf9792573201 792b40b628469eed 22d9104dba9dd0ee;
332   f672a26fdff77589 377176c791d6d05d 2de4193771ce45e6;
333   e40d2c2eedce7389 12e8a01a4a099c70 f6f5cc4937d80ff9;
334   43dc1e358b162ef4 96013eadfd569906 d9dd5ce3886cc7fa;
335   74abbe06e79609e2 a5ff7e7b394634e5 1aab3c8220dc3ec7;
336   0fd32f5d53cb1a59 d86f31434c46b912 e84260a0a011d36b;
337   a5c776d85f896e78 23af6c42d02bf636 c976e31b2fb564ae;
338   e86e5c9dd566720b d965d3bb8ace6968 c1d430596034db73;
339   6d143e937ce97f11 4c7870a4590fe308 b98caf37d5f96219;
340   69c015fc03df474a ef039a618bad49da 58c3b05d8f8c9124;
341   c4e978b498b30f5b df9e8f05bd0da330 a48807ba55c0b28b;
342   3087b6a9bc6e194b b83e25210ff7ff77 e8c5dbcacc6618c2;
343   b3093e95f655c4ce a7ee958e7c34c023 5af7d424728a84f1;
344   8551c621019d03f8 05eb84dfbc033b4f 8b3d4b00bda03f47;
345   aa87ba7cefdec2ce 866a37ad34319550 30f1f22a2410581e;
346   86e9a1e9b538b043 09b50be0769ab77e 909eadca2bd367c1;
347   8e1192fa83d9fad8 0f63d3d397206f04 9d7566ce1afa69dc;
348   bda0d57ae405c719 9d821e8c88b126fe 5b22f4076cb6ee17;
349   1bb5139aaaf14309 68a929926b06207c 845e3d2d15f76385;
350   8c47736195bb45e9 458ca5c5dfbeb93f d1d419277579ff28;
351   83b0705883ec36cf f87381fd47cfa1b0 7c23f255cbbbd87f;
352 }
353
354 sub64 {
355   840f33a93043b3b8 3f8c5b4675f8dc37 4482d862ba4ad781;
356   01d52c8258029c24 f46d6b5d3447d076 0d67c12523bacbae;
357   9b76805d62cddc3c 95780d2a4333b49e 05fe73331f9a279e;
358   e45991918d826254 21765e775ed435ec c2e3331a2eae2c68;
359   0cb384f3ea92338e 1c406099f48452f3 f0732459f60de09b;
360   05fe731bdaf80c62 7c3c6e37f7280c06 89c204e3e3d0005c;
361   12aa89841e7cf25f 8d11297468360e6f 8599600fb646e3f0;
362   4f13686c9fca96fc 50237a657a0c851d feefee0725be11df;
363   3b8cb60ea1a95b2b 488d12ee7745ee29 f2ffa3202a636d02;
364   8af1ccd5901a5412 bcaac1ee8639e9db ce470ae709e06a37;
365   42ae568070a2f527 0c06e9aedbeea1a7 36a76cd194b45380;
366   e9db048fe53412d0 115b14082a737f4f d87ff087bac09381;
367   57a1ded3be8d6228 0b7c9162889ab350 4c254d7135f2aed8;
368   9400e5e98eb4e953 a25ec65e79b8c991 f1a21f8b14fc1fc2;
369   15b3c653aee0aa03 794ed82d5120ee49 9c64ee265dbfbbba;
370   5c76f984993259f8 0edc054bd7c3d63f 4d9af438c16e83b9;
371   fa34e470ca2462ed dbbb8ecbab916c5c 1e7955a51e92f691;
372   56d8006738fa669a b5322e4a0abbf298 a1a5d21d2e3e7402;
373   e437f41bd175469e c26093f2ff5936b5 21d76028d21c0fe9;
374   ba02725ec00e044e 7ffc5de81723faa9 3a061476a8ea09a5;
375   f5ae1def086a31fa 66d1256c07ec03b2 8edcf883007e2e48;
376   e282a1f1abdd0bd3 720053262c99ce85 70824ecb7f433d4e;
377   abefa13cc1b083ee f34d3455c4e73e21 b8a26ce6fcc945cd;
378   e36fd6df5d3e80da 8e7468fdecd51cf7 54fb6de1706963e3;
379   53508bb42f9fb12d bbbf874db4fc1d93 979104667aa3939a;
380   a08c4fff0cb126cd db33a2d5b6244f85 c558ad29568cd748;
381   60342f111b96e944 da0d834e0981f0fb 8626abc31214f849;
382   29bb2238436d3d5c 0cc0d6c0d7dc0122 1cfa4b776b913c3a;
383   d4e4b492d0144d0a 216312d86999de02 b381a1ba667a6f08;
384   62aa21d058b04793 ca967ac4e15d8ea0 9813a70b7752b8f3;
385   7c7559b4c2d33eab 6ba7002f0cdb3b17 10ce5985b5f80394;
386   cee3365083ac9b0a f78716ffb3dc1bee d75c1f50cfd07f1c;
387   beff21f4be58cac5 39468a2ba0e2993a 85b897c91d76318b;
388   f68c3b001544ee50 45e03f4db3071561 b0abfbb2623dd8ef;
389   be6bb80aef13d9b7 d6d3430f44d09daa e79874fbaa433c0d;
390   0ef5bc1d106176a2 5e285963e24cb86c b0cd62b92e14be36;
391   2f5541b5ef1f653d dba0b770766c5a13 53b48a4578b30b2a;
392   12398a5bca95d24f 0687b4560a76287f 0bb1d605c01fa9d0;
393   6772fa6d8e350eea 0194bcc240fb19ad 65de3dab4d39f53d;
394   6169ae1bacec540e c6af706b81647983 9aba3db02b87da8b;
395   fea76d131a869677 0c4f71cd9468c166 f257fb45861dd511;
396   b2e08ee794cb1de9 631b1a5239d80768 4fc574955af31681;
397   c5f5d16f81d09e34 c95a7a8d545dc794 fc9b56e22d72d6a0;
398   078d1f0f0130311b b1063d557b31dd54 5686e1b985fe53c7;
399   50de5365dd81df94 4a91eea0b3722175 064c64c52a0fbe1f;
400   3792c2eafa6233cc c658e0b8768dcb70 7139e23283d4685c;
401   27e0384677309813 5beba6be23ed8205 cbf491885343160e;
402   8f94e209fdbf838c aa4a6aa7696b7c16 e54a776294540776;
403   4e4853557845c317 c2cdc5fb5ad60d9d 8b7a8d5a1d6fb57a;
404   479e93740c3b0dcb fa6a10a7b62fd2c7 4d3482cc560b3b04;
405   26118c18862e3577 c1e1c80cbba574c1 642fc40bca88c0b6;
406   880bbe893abbc412 a0876b0c6551dbc0 e784537cd569e852;
407   02685dcb638d3852 cd78ce98851931c5 34ef8f32de74068d;
408   783ed0fbfb0514b9 cc25a09cd136eac6 ac19305f29ce29f3;
409   0edd1bbe299d0576 74a19f3cc23ebb6a 9a3b7c81675e4a0c;
410   8fc2889d6cfd2702 f57ada42c026133f 9a47ae5aacd713c3;
411   add9376cee2976e5 62724f7364acd2a1 4b66e7f9897ca444;
412   224fe89bdc5eaa00 e9d1d88442f98f77 387e101799651a89;
413   e41daa2fabef0312 68145366042b11c2 7c0956c9a7c3f150;
414   0bfb4f1a4bec61a3 08e848bbf1ee1264 0313065e59fe4f3f;
415   26b7ab0259e30390 93b750a91adc862a 93005a593f067d66;
416   3d21201fb7e0e828 a8e8b735f372e772 943868e9c46e00b6;
417   8cfc5c2cbf62304b 2868e4e22d000239 6493774a92622e12;
418   d4fc83506a7d0850 49f4d713dad4992d 8b07ac3c8fa86f23;
419 }