-
Notifications
You must be signed in to change notification settings - Fork 20
/
compat_test.go
4368 lines (4359 loc) · 506 KB
/
compat_test.go
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
package xxh3
import (
"testing"
)
func TestCompatWithC_XXH3_64bits(t *testing.T) {
t.Run("no-seed", func(t *testing.T) {
buf := make([]byte, len(testVecs64))
for i, exp := range testVecs64 {
buf[i] = byte((i + 1) % 251)
check := func() {
if got := Hash(buf[:i]); got != exp {
t.Fatalf("Hash: % -4d: %016x != %016x", i, got, exp)
}
if got := HashString(string(buf[:i])); got != exp {
t.Fatalf("HashString: % -4d: %016x != %016x", i, got, exp)
}
h := New()
h.Write(buf[:i])
if got := h.Sum64(); got != exp {
t.Fatalf("Hasher.Write: % -4d: %016x != %016x", i, got, exp)
}
h.Reset()
h.WriteString(string(buf[:i]))
if got := h.Sum64(); got != exp {
t.Fatalf("Hasher.WriteString: % -4d: %016x != %016x", i, got, exp)
}
}
withGeneric(check)
withSSE2(check)
withAVX2(check)
withAVX512(check)
}
})
t.Run("seed", func(t *testing.T) {
buf := make([]byte, len(testVecs64))
for i, exp := range testVecs64Seed {
buf[i] = byte((i + 1) % 251)
seed := Hash(buf[:i])
check := func() {
if got := HashSeed(buf[:i], seed); got != exp {
t.Fatalf("HashSeed:% -4d: %016x != %016x", i, got, exp)
}
if got := HashStringSeed(string(buf[:i]), seed); got != exp {
t.Fatalf("HashStringSeed: % -4d: %016x != %016x", i, got, exp)
}
h := NewSeed(seed)
h.Write(buf[:i])
if got := h.Sum64(); got != exp {
t.Fatalf("Hasher.Write: % -4d: %016x != %016x (Sum: %016x) ", i, got, exp, HashSeed(buf[:i], seed))
}
h.Reset()
h.WriteString(string(buf[:i]))
if got := h.Sum64(); got != exp {
t.Fatalf("Hasher.WriteString:% -4d: %016x != %016x", i, got, exp)
}
}
withGeneric(check)
withSSE2(check)
withAVX2(check)
withAVX512(check)
}
})
// Test writing one byte at the time.
t.Run("no-seed-1b", func(t *testing.T) {
buf := make([]byte, len(testVecs64))
for i, exp := range testVecs64 {
buf[i] = byte((i + 1) % 251)
check := func() {
if got := Hash(buf[:i]); got != exp {
t.Fatalf("Hash: % -4d: %016x != %016x", i, got, exp)
}
if got := HashString(string(buf[:i])); got != exp {
t.Fatalf("HashString: % -4d: %016x != %016x", i, got, exp)
}
h := New()
var tmp [1]byte
for _, b := range buf[:i] {
tmp[0] = b
h.Write(tmp[:])
}
if got := h.Sum64(); got != exp {
t.Fatalf("Hasher.Write: % -4d: %016x != %016x", i, got, exp)
}
h.Reset()
h.WriteString(string(buf[:i]))
if got := h.Sum64(); got != exp {
t.Fatalf("Hasher.WriteString: % -4d: %016x != %016x", i, got, exp)
}
}
withGeneric(check)
withSSE2(check)
withAVX2(check)
withAVX512(check)
}
})
t.Run("seed", func(t *testing.T) {
buf := make([]byte, len(testVecs64))
for i, exp := range testVecs64Seed {
buf[i] = byte((i + 1) % 251)
seed := Hash(buf[:i])
check := func() {
if got := HashSeed(buf[:i], seed); got != exp {
t.Fatalf("HashSeed:% -4d: %016x != %016x", i, got, exp)
}
if got := HashStringSeed(string(buf[:i]), seed); got != exp {
t.Fatalf("HashStringSeed: % -4d: %016x != %016x", i, got, exp)
}
h := NewSeed(seed)
var tmp [1]byte
for _, b := range buf[:i] {
tmp[0] = b
h.Write(tmp[:])
}
if got := h.Sum64(); got != exp {
t.Fatalf("Hasher.Write: % -4d: %016x != %016x (Sum: %016x) ", i, got, exp, HashSeed(buf[:i], seed))
}
h.Reset()
h.WriteString(string(buf[:i]))
if got := h.Sum64(); got != exp {
t.Fatalf("Hasher.WriteString:% -4d: %016x != %016x", i, got, exp)
}
}
withGeneric(check)
withSSE2(check)
withAVX2(check)
withAVX512(check)
}
})
}
func TestCompatWithC_XXH3_128bits(t *testing.T) {
t.Run("no-seed", func(t *testing.T) {
buf := make([]byte, len(testVecs128))
for i, exp := range testVecs128 {
buf[i] = byte((i + 1) % 251)
check := func() {
if got := Hash128(buf[:i]); got != exp {
t.Errorf("Hash128: % -4d: %016x != %016x", i, got, exp)
}
if got := HashString128(string(buf[:i])); got != exp {
t.Errorf("HashString128: % -4d: %016x != %016x", i, got, exp)
}
h := New()
h.Write(buf[:i])
if got := h.Sum128(); got != exp {
t.Fatalf("Hasher.Write: % -4d: %016x != %016x", i, got, exp)
}
h.Reset()
h.WriteString(string(buf[:i]))
if got := h.Sum128(); got != exp {
t.Fatalf("Hasher.WriteString: % -4d: %016x != %016x", i, got, exp)
}
}
withGeneric(check)
withSSE2(check)
withAVX2(check)
}
})
t.Run("seed", func(t *testing.T) {
buf := make([]byte, len(testVecs128))
for i, x := range testVecs128Seed {
buf[i] = byte((i + 1) % 251)
seed := Hash(buf[:i])
exp := Uint128{Hi: x[0], Lo: x[1]}
check := func() {
if got := Hash128Seed(buf[:i], seed); got != exp {
t.Fatalf("Hash128Seed: % -4d: %016x != %016x", i, got, exp)
return
}
if got := HashString128Seed(string(buf[:i]), seed); got != exp {
t.Fatalf("HashString128Seed: % -4d: %016x != %016x", i, got, exp)
}
h := NewSeed(seed)
h.Write(buf[:i])
if got := h.Sum128(); got != exp {
t.Fatalf("Hasher.Write: % -4d: %016x != %016x", i, got, exp)
}
h.Reset()
h.WriteString(string(buf[:i]))
if got := h.Sum128(); got != exp {
t.Fatalf("Hasher.WriteString: % -4d: %016x != %016x", i, got, exp)
}
}
withGeneric(check)
withSSE2(check)
withAVX2(check)
withAVX512(check)
}
})
t.Run("no-seed-1b", func(t *testing.T) {
buf := make([]byte, len(testVecs128))
for i, exp := range testVecs128 {
buf[i] = byte((i + 1) % 251)
check := func() {
if got := Hash128(buf[:i]); got != exp {
t.Errorf("Hash128: % -4d: %016x != %016x", i, got, exp)
}
if got := HashString128(string(buf[:i])); got != exp {
t.Errorf("HashString128: % -4d: %016x != %016x", i, got, exp)
}
h := New()
var tmp [1]byte
for _, b := range buf[:i] {
tmp[0] = b
h.Write(tmp[:])
}
if got := h.Sum128(); got != exp {
t.Fatalf("Hasher.Write: % -4d: %016x != %016x", i, got, exp)
}
h.Reset()
h.WriteString(string(buf[:i]))
if got := h.Sum128(); got != exp {
t.Fatalf("Hasher.WriteString: % -4d: %016x != %016x", i, got, exp)
}
}
withGeneric(check)
withSSE2(check)
withAVX2(check)
}
})
t.Run("seed-1b", func(t *testing.T) {
buf := make([]byte, len(testVecs128))
for i, x := range testVecs128Seed {
buf[i] = byte((i + 1) % 251)
seed := Hash(buf[:i])
exp := Uint128{Hi: x[0], Lo: x[1]}
check := func() {
if got := Hash128Seed(buf[:i], seed); got != exp {
t.Fatalf("Hash128Seed: % -4d: %016x != %016x", i, got, exp)
return
}
if got := HashString128Seed(string(buf[:i]), seed); got != exp {
t.Fatalf("HashString128Seed: % -4d: %016x != %016x", i, got, exp)
}
h := NewSeed(seed)
var tmp [1]byte
for _, b := range buf[:i] {
tmp[0] = b
h.Write(tmp[:])
}
if got := h.Sum128(); got != exp {
t.Fatalf("Hasher.Write: % -4d: %016x != %016x", i, got, exp)
}
h.Reset()
h.WriteString(string(buf[:i]))
if got := h.Sum128(); got != exp {
t.Fatalf("Hasher.WriteString: % -4d: %016x != %016x", i, got, exp)
}
}
withGeneric(check)
withSSE2(check)
withAVX2(check)
withAVX512(check)
}
})
}
var testVecs64 = []uint64{
0x2d06800538d394c2, 0xe12ef9d2eb86ceeb, 0x8130b77ddef5807, 0xebce9b7632ae733b,
0x988b7b9033ac4622, 0x59b68387649283c1, 0xc7de39ae11689bef, 0x23dad96362ed7fbe,
0x16f217ea16232297, 0x17d143e7f447850a, 0x3b719c60f0a04081, 0x817b3c5eaa07436b,
0x46878d25c61dfc0f, 0xa2323352b4f9bd24, 0x4b83b0c51c543525, 0xdfe323395ece706f,
0xeb5aeb9a32450f6a, 0x6d458e1fff494078, 0xb81d64f54c553931, 0x951fa7b5096444dd,
0xf0e6f865185d7d7, 0x35b3a1670061f61c, 0x9eb97b0850f459f7, 0x64b8bd8842bb696,
0xaa8f71b52d3b78e, 0xbe5d0aae6b5dcf4c, 0xbeadff85a9658c3e, 0x6c8dbea11f81404d,
0x1cfc09af302cc8ec, 0xb677af56bf7328f6, 0xaaf10df2157a3f7b, 0x8fc1ace220c6cc62,
0xbfd49bed2d1502eb, 0xeaaad53957a947fc, 0x7d1394317562a54b, 0xc6be1892d117f0a3,
0xf6030e21f331c40f, 0x9ea421dea383c6cf, 0x30ac4bea3580532c, 0xc2ce3e1f8f25c263,
0x6c54fa1736978dcd, 0x9fed4f78230acb5, 0xc0332868d77a9637, 0xf896458ec0b6fd7f,
0x24a221b073a8ab17, 0x4377d48d6cab154c, 0x348ea2f58cc1f2df, 0x3d5dc4260e581f9e,
0x9d114abe1f25f40a, 0xff7cbcfa4ec407dc, 0xc6ae0e35820aaab9, 0x1f6411a98c004b4d,
0xc376e1a93f288e86, 0xf4fdbcf028e6615d, 0xbc116b93af2be54e, 0x3cbc7c700bfa4df4,
0x56fc022c36491471, 0x14095cd2d678df82, 0x66ae100db45a2ec1, 0x57f14223f270731e,
0x4a980282b51be625, 0xa2fcc27baa1a1e05, 0xdf79e047bdd1dca1, 0x879274ae2653cbcc,
0xc82013245d8f2587, 0x8810a33c748c6017, 0x6a2f538fb057cd28, 0x698348ee3f5541d4,
0x2aa3207fd294bd9b, 0x830cffd45c25f526, 0xa079a522f7bac1df, 0xae9cd87c9f981ab1,
0xa54daa017c8411c6, 0x90b6365715da5f27, 0x1fab8fd38e8bfcbe, 0x5fa831909c983619,
0x350d896fdc73367, 0x35fde770c78f5467, 0x9c6374f647085361, 0xe85f2a3b7f7f9a61,
0xbf739049752e2105, 0xc1ee529f6a13c338, 0xd42c329cf10db1fc, 0xe419cb54b515c1e0,
0x3a53465b590d06de, 0xd9f8c6ecb15730c8, 0x9161d5477684ef1f, 0x6565f39a5f8d9c1d,
0xecde16cbd93861a6, 0x66098869a810f302, 0x98495f666e1b397b, 0x23704f5bc84af5d,
0xfe52a012fe1f0d18, 0x236cfa7d00683f55, 0x165580388d1c77dc, 0x52a416f9dda0fb55,
0xd384b43b482e2615, 0xfa1c82bae72a1d59, 0x57e394877777df64, 0x7a6fc5e40564bbcb,
0xd53e74fac84fa8fb, 0x484d1026f27f0e1a, 0x6b959822ff976d1b, 0xa48126fa75850d5,
0xeaa76ec6689cc800, 0xd0f7ead9aa63f35b, 0xc76433af69798e73, 0x7231d9c8674ed22d,
0x9302c511cbf421d4, 0xde74ad8a8ae451b8, 0x3cc486ea73ff3dfc, 0x1f92a3415026e9b8,
0x211d308aa575ced4, 0x9759c82a94d28c35, 0x6fa98a43562257c8, 0x4bf0a097005ff01b,
0x8a048e60a1176a64, 0xbb8a51584f2f4c0f, 0x9d0092fd6eed996, 0x4529a2d14a4c7f1e,
0x4ef31d76c7410f31, 0xeb934e53c5677596, 0x26b184f99e0fbc57, 0x32c65307bd0ed8ee,
0x6cda061522cc2d02, 0xc044e37bb23578e3, 0x220ca0c559cef178, 0x3a639c24d99c0b10,
0xce22cae9106851df, 0x7d4fc663f5958d40, 0xd7c021f42dcd5e9, 0x48a9a58091fbc64b,
0xe3abbfd801d4a583, 0x103bd5228a06da9e, 0x494305b6acf0b280, 0x8e27b5f72c992588,
0x67c38e8a6a7dea1f, 0x54983a5a50abb8c3, 0x4ebae6ffb5c0242c, 0x5e7292f545f63331,
0xa8dd5d4a3ff26c92, 0x44769328134f9a53, 0x394da8bbe6b8ed86, 0xba68ba30614ddddf,
0x6266e780a75c8648, 0x37526971a6e020b2, 0xd4436fa5d768bf3b, 0x511500a73a87e911,
0x6ad73de4bdfce0fe, 0x46f275ecd94294b, 0x21aa2c29bc478c90, 0x7e6b985430585941,
0x2b66d1918f9470e2, 0x93be5b195f37a282, 0x16b60ebfc0c7899f, 0xcb7ca93f3210d441,
0xa51a8b6aba3c6019, 0x8e93929a32dca02e, 0xc2aa6a33252423b1, 0x9847cf9a763c8e25,
0x85ad53aa067602dc, 0xa60038d1dffd8f7b, 0x26a04a317257b92b, 0x60c74d413f449264,
0x2e5b84af8b573112, 0xe387720cb02a1745, 0xbd955cd2b2d639fd, 0x36cd64d56ddabef0,
0xace4185b7e20297d, 0xa7c093b5c0bb60e6, 0x2bf07f3021d11a0d, 0x9c2b1db14ff006a0,
0x40daa324d5f5a8d, 0x26a6a015c28d6dd0, 0x69bb470b6e8a14c3, 0xfee1c183fc2ddebc,
0xcdf0737e4ea9f3be, 0x318cdac73b9123b5, 0x73484c2d05ec5fb, 0x25950b172393a50f,
0x813ff89894097c5d, 0x65b1a06f3b6f41ca, 0x4e304774081806c7, 0xd006f7f7dc5a3ad3,
0x7266cbe91fc6c45c, 0x1d72a09b061d6479, 0x876ad5b4ef8f9d7f, 0x86366e7c89bd8610,
0xa91aec343549207f, 0x240b9f7bc7ece23e, 0x2ec5e28c978c9d7, 0xf66a75592c17f474,
0x3edbd090b152e275, 0xa8e56bd2f3c91fd1, 0x3b9f5bb83a56f82f, 0xe38245f7cbfe15e9,
0xb9786ce77fde9c8, 0xa4ed8437d66e39b9, 0xe531a6f42ba1a9a0, 0xfda16c0cd2eb5c27,
0xbe90b85d651fc36a, 0x2d072ddbbd9d1d0b, 0xa62f961b9793c56a, 0x44a1b4073f6acc5,
0x93484ea62f12d4e4, 0xeee12be1c422431e, 0xce4428bd8c0447de, 0x3302707a299fb7d2,
0xa9c48ac5b11849df, 0x8796c90a3ee1f9af, 0xa7ec1a234b068469, 0xb6a43aee01760cee,
0xea75924f3ae1357a, 0x87fd1d90fe6daf56, 0xaa693ca14220000a, 0x18ebc3aca3ab8d,
0xa486af4b8f19df87, 0xe4843863942d118e, 0x559c3a572cd60beb, 0x5e94ad97b35bc147,
0xbd260bd1772b36d9, 0xc6ca7e436906835d, 0xda2f3885fb90e8b7, 0xa5cdfb275fb79450,
0x71236e41b2e6e67, 0xe3b3ef6d77552d08, 0xe1473b9ac688b96a, 0xc28fa0eafe01e32b,
0xebb6f3a5e2adddfa, 0x4f1264aa9deffef3, 0xbf0efe6b66b2a5ec, 0x59149e625517fa8,
0x883edf91190e073d, 0xba51f6c5fa42a574, 0x4f5a111021ff9fdc, 0xd2171e6adb5a005,
0xb3881d53b315861, 0x75636d478bd2b8c, 0x3452011c3248aef1, 0xe81761357e2a0081,
0xa5a910b2d7e065b0, 0xb6515f490cdd4ce5, 0xebde8cd6dc3f27d1, 0xe103c02abc8894da,
0x697b73f9285be46a, 0xa6612e8bf01357a, 0x3729080559a8c4c6, 0x106910410220503e,
0x8a55cb97417f3d52, 0x199f546f2c17809c, 0x990458a74d14543d, 0xe13731791c0ed5ed,
0x1dfb753e9f8c7d9f, 0xed839c8c546c1135, 0xbdd9e31446259045, 0xfce9bbd7cb663ed8,
0x6c602b93da37d220, 0x61a47969771c1a22, 0x660838b0599bbdf9, 0xa16775a23dacb9aa,
0x6d9eff3392aedbb3, 0xfe6bef6aae58daa0, 0x9e83f3920b57abfe, 0xbefc55dbc160f732,
0xc089bdb1fb0f985c, 0xbbc0a4a18a93ac02, 0xa91e0018f61e0fa8, 0x7739220767a225b2,
0xafb93cf6bdeda891, 0xc47010bd2523bb7b, 0x41ac3ea6fece2e40, 0x3742586e7e5c639a,
0xdfd2665f62d23a9c, 0x759ae9be7e750b95, 0x45a5ab99bfc84179, 0xd926effaa11f9ade,
0x208a2f7de91c5ff7, 0xe82af06755557a87, 0xe29d91653afd3f, 0x813dc40644dd988e,
0x591d9273c6c05835, 0xf3953094fe745dcd, 0xa8de36ddb3f5f61c, 0xe3a3073844cba09b,
0x4fb31bcddab47b03, 0xed43e08268e8583c, 0x20804449038c89ee, 0xd4f3e6c964f9d44e,
0xa0e1602fdf7c5610, 0xb12de0745245905c, 0x3e5fa7bfe207a53a, 0xa16e51fb041ac6db,
0xd0f9d15d2c8b2c32, 0xd5c448ab6f180e50, 0x317377c6ed683783, 0x68bddc708537a20b,
0xb3dfa4d90e8ca026, 0x7db56b4be0873540, 0x51fa6680c295ee97, 0x84446f1d5fd614ac,
0x82f60d0140734098, 0xc4609c71fb798a3d, 0x42c3a0e23cbd33fb, 0x3105929c027bc493,
0x5f4aaea6d1d594b7, 0x87bb3dffeb56c9f0, 0x7fc6fb20bd608f, 0xeab843a7a4c6712a,
0x626ed8a93b65ca6a, 0x8ab05e771488271e, 0xe7a306ad6744ce87, 0x510a8dded63b039b,
0xb4fad692ed46f4bd, 0x222a3f2645741c7a, 0xd200693344938452, 0x742a600b5a7a7953,
0xf1bf3cc3851afb76, 0xc6ec18263e60fd64, 0x533ecc5425aa47e5, 0x7b6c2798fe6edafd,
0x479bb3c3b98f76f6, 0xfe91f2716f5cbaa7, 0x7993921ea5b9, 0xe647636319e677b8,
0xa8ed09a27c5b601b, 0x7448a1a132e07d6d, 0xb56aa9d4cf0a293d, 0xe8f2d5cac6e319c3,
0x73e6758b30cab4fa, 0xcd15901acf1fbfb3, 0xc523131ff4b32301, 0xb975b90570e21b2b,
0x9479e16feac886c9, 0xb9b733163ed26259, 0xfdf2520cfd7c88aa, 0xecf53337df63133e,
0x68b3c910297c4658, 0x3474314ec47f9377, 0x4fdbf0af592cf791, 0x6e717cfdbc30497e,
0x2ba139a12a857687, 0x3f63dcf8f4b65de8, 0x8423777bbe3760a9, 0x3245e1bd7b71e270,
0x5d2e81b9ef6918e2, 0x9f41df5b02bac1b, 0x55fb741a065c451, 0xa4d08e66c67c9dc9,
0xdc5d5277f90a4f4b, 0x81147b8d954670dd, 0xe57fb5632bfff8b8, 0xa86ca6da0ba38694,
0x9f09c1d8bb7fa63f, 0xfd127d78d6cd1dfe, 0x1e3790e6626af92b, 0xa2a02804c15b3ca0,
0x7dd758b4b8dab223, 0x341c24469aad2894, 0x696641cbb1fe18b6, 0x266cf4e7ced490c1,
0xca9fbce26eead21e, 0x120126cb1439cca0, 0xe32f2403b0d328a7, 0xb2df80269872143d,
0xa2a66222a206337f, 0x259325ca072b246a, 0xa09fbda3396a9efe, 0x294fa0a8c8f407df,
0xa8bb7a07ecbdd5a0, 0x6ec507f7a096ac28, 0xfce04cb11ef8a9cd, 0xd423d9c760932e2b,
0xbce7494120394b0e, 0x11117ffed80261f2, 0x6824e43dd6da1e70, 0x9a7b6bcc2e71766b,
0xc75f298d9fe2bd5d, 0x6a69a125401399c7, 0xf96769b6fe75c9e0, 0x7d45aff336b2d9eb,
0x8bb30fc990cc27b5, 0xa4deb421a4347ca9, 0x1ca6f4a965e40479, 0x2960881a74a84775,
0x381e639edee36b5b, 0xd9471988cf98d9eb, 0x365fce4b89b5ee56, 0xec86bc8455cbccce,
0xe8599792d96d99d8, 0x67d9f7e54ec585ff, 0xb49921c09190f913, 0xc333f7fedf3fc691,
0xaec21a84fd69d396, 0x4f63d7a50ce47ce6, 0x13218f38fd818912, 0x8073d68ad8a7e412,
0x1b17b6247fb014ed, 0xb4fcacbcb7adb506, 0x725b7a87e2ee0c12, 0xd0b9773de155c211,
0xc370cff2e6be810e, 0x3916908e84673c24, 0xf9a40b0dfb2eeef4, 0x7245694d5e485bdf,
0x2df9268c6d128537, 0x9e49087f17a3d3be, 0xa824a5f5009b972, 0xd2c70054cdb4ca88,
0x8e17e3c5e26a1a35, 0xe7bcdf2a18dcf51e, 0x19605ace02dbd22, 0xf8367ac21709d840,
0xb18d4ce0897785fa, 0xad4d71c619dbe49a, 0x8c7e8428b595897e, 0x50b67f519cc2e9bb,
0xba9514be5b68817b, 0x177dcc9a22c1900, 0xe994dbe7209d8034, 0xdcbb0b520151aa4c,
0x51fb58866ed806f0, 0x199b673f3034d020, 0x3ffb20525601df47, 0x5c5eebbb374dca6a,
0x73d2a0b06321b67c, 0x45c9e3b4159a11fe, 0x3edcc406c82c3225, 0x70909263e02fe640,
0x30cedb15037ea5a6, 0xb04048cf8cf41c7d, 0xe9d5a236edf6c08f, 0x91888a54394a41cc,
0x57d2b3d2f86aeeb2, 0x1aca5739422c7e8d, 0xedb869e947816170, 0x12aec55fba76fcbd,
0x3b31ebac137b1752, 0x19f37f40db057da0, 0x2b571db43fe869ba, 0xcf447a7ced2c7894,
0xb63383d2302212d3, 0xfd887e2026ced3db, 0xe81aa84e3e244223, 0xd548c8e16be6e77e,
0x94e632bd4d860bee, 0xb9b74163b546142b, 0xbac4ba8857688a6d, 0xa28ccb550d7e1b28,
0x226835c760e1e9c6, 0x98bd80e75771e20d, 0x4615f4c988262923, 0xb4b0f5d4a420fd0,
0xc4f767e160151bd6, 0x262632cdf2a149d8, 0x484fb2eb2380bf8d, 0x34e65039e9e9d597,
0x4393cefc2e3a38e1, 0xb8e5942270fde608, 0x339f507d0ba03863, 0xc686292ac7e0262f,
0xc00eedba02a983f6, 0xd69f46dbaef36edb, 0xfa8f924aeb94577e, 0x87d4d45ec70b950a,
0xd5ca0e5ea79a016f, 0x20085f8831d2b6b6, 0xf72b95497c8a4e58, 0x30f28f9a60906635,
0x14aa91a5dc141c21, 0x1ae99169c6dce0fc, 0x945b3683d31e5ddc, 0x342aede4c6766d34,
0x72cb8076fb0c6574, 0x7acdd6941103215d, 0x9fd4c1da45249182, 0x609ed208f9ca26d,
0x33d23aa286b6adbf, 0xc734404dace84948, 0x3852777603100aca, 0x5ef5095ec9f599a7,
0x4820ce630ae47b11, 0xe8bc47dc4fab0415, 0x6cdfeca34545f281, 0x96255d087dbbb069,
0x27737b421487b1bd, 0x29bdb2e6f3626d69, 0x54089bbd690c81b7, 0x8077245f9e9aab08,
0xe035875d84a2e6b7, 0x2af3cf3b7c56bf9b, 0xee4d17398c4ee558, 0xf1e89ad41c5f2fb2,
0xd95451d8940ec0b6, 0xc32a6eb0576b790e, 0xd558bfaf86af9c63, 0x6e65875bc4adb7e0,
0xefa58df4090d8e7a, 0x902d9a0e6753c484, 0xbe60435abfe38aeb, 0xc3e4760510899f98,
0x5122fee3b84f4d1b, 0x6602adcf5981afe1, 0xb3a7896d44221ddd, 0xb649a4d25a3bcb2f,
0x57ce94e14c4c672, 0x2d5c7a7d302c2738, 0xd4c87fec450ed2c1, 0x8ed063620b52e50b,
0x999400d36c86231a, 0xad11c2a962686351, 0x2bfb65411e9d7045, 0x8c0ce37992b2bc9b,
0xb6b348296a4cd096, 0xb9c9addfbfe76961, 0x8ea8de5f7facf38d, 0x1721836b05d5e041,
0xebaf395851ed0045, 0x74bc97bfa07323da, 0x50057652bff835b4, 0xbede0cbcacf9a523,
0x7f118c08e2f02efd, 0xbd27798d2c091ae0, 0x7e1ce977075bb9f1, 0xfcde6614f2a382b7,
0x5eabcae81d7ab8ed, 0xe0726cf9a2995dae, 0xdf98adaa377ef07, 0x109c7ca64624add0,
0x760a4f17b4380b2e, 0x7776651cce3ed3bb, 0xfb8376e3a3886cf0, 0xe2b4f76169847865,
0xf24d78d6abdc45c3, 0x99b0492a5c3d073e, 0x3128b96c03b2f163, 0xc07be1c61590c05c,
0x1e994c6947de37a4, 0x97dc21e1a64ad9de, 0x5e5a101d58352068, 0x8990f3f52c859844,
0x61177796efc27a42, 0x972b0c2f6647e0e7, 0x270f4a0c832fb2a, 0xa28a0315c6217610,
0x65527ef74cd4df13, 0xf236f5bf36170879, 0x6249421d7237869c, 0x351b59979d5deeef,
0x6d8ba0c37b74a0b3, 0xbda5dda6b9ea3e0a, 0x151094b402013999, 0x9a8269ab19109c65,
0x251f2da6d1b79b8a, 0xc2c4d718883e5b7c, 0xf52ff07371e6024a, 0x4fdc61883447acdb,
0xe027369e613409ad, 0xc4ebb12af8e00af3, 0x9fad1b4f2dbc6e11, 0xaff1f487f9902e0a,
0xea8f5b3b6a642152, 0x65adf459bc5435e5, 0x5a923d2b581c41ea, 0xd32510c05bda2355,
0x82a148d18f6170d4, 0xdb99b7b3a056c6c, 0x19ae3fd1c7d9984a, 0xd8ac9004f4fc0c88,
0xa187966a68c6891a, 0x59dbd8c8bf157fad, 0xf47e225385bd401, 0xec2c217ac5243e30,
0x629249969711f6d3, 0xe259d6104a5a2165, 0x168c48528c50b1e8, 0x50640b167be6d5b2,
0xdace71d7d5014ce7, 0x85e821ce55936db9, 0xd4fa89f495d38431, 0x4b2af03b5e287b2c,
0x879482bcf4c1cf7f, 0xc77094f9f8ffba3b, 0x5c6cfc36448d99f8, 0x6be44e55c6c0e4d6,
0x9c847ac8770a75ac, 0x1b45a0ceeeafe643, 0x7f8babcd56fe8c26, 0x3e08fba3780240fc,
0x5a472012a922046, 0x13b3b75e7c76041f, 0x51f50d9351bd7f3, 0x6590c2287ff76401,
0xd5da490120db7721, 0xf899c8ffae408e37, 0x4c98eb5ee45a070, 0x22eea01584328892,
0xfe9596edef2cba00, 0x345851b4394e1ece, 0x25115a7582e29808, 0x8f2868ea0327f4bc,
0xc9d8279ce1f15708, 0xd766bda23fe9609, 0x86e28ea340c3cfd0, 0x4f886ae0840d1c9a,
0x5dcbf1e0fc16849c, 0x22d49cc59e2dcf0f, 0x5a45088bdd2c0be, 0x82f35addd8d617f0,
0x7a17f3e3cbf73f3, 0x7dbb3bb8e984c9cb, 0x8e30c79e38def3f7, 0x7454a42d8d89e789,
0xab86cae7152ed739, 0x4c96af730a716d6a, 0xb30a7793fa4ca279, 0xb9aba16d4dc41666,
0x1990b51edf48abce, 0x5731d3da7c77fe81, 0xa51b8f26665e2fe1, 0xe081112e85bfdb31,
0x83c5120d4eaa6501, 0x4c65384084fdfcfa, 0xaa2938f95c096d08, 0xaebf27280d788a71,
0xf3ea71ded9d25227, 0x4a6d4aa91736579a, 0xe280442e1d1ad128, 0xc3b61c079e880ebb,
0x2a649c220721bf99, 0x74e25ba57496587a, 0x64e81a6d61e02ea6, 0x2a77840b890f430a,
0x8a6cff726a28501a, 0xf0284f0c54725d2d, 0xd174360b2c9f2b34, 0xf8976bebbbb3154a,
0x7c75feb4d81d6d0a, 0xa6eb855d536c58c4, 0xbeee8a696c7afbb1, 0xccd2ba2364e54c2c,
0xcb4d3493c3e67af4, 0x557930d16fe21531, 0xd097dab75bbd84be, 0x4266cd147b22c305,
0x499accbe61cefa7a, 0x8e595f02c82518ba, 0x92db010d875fa7b3, 0xff8c466846d267aa,
0xc56c6994f767b44f, 0x82b672a7fc49829f, 0xebafa0b3114b423, 0x5eb486296b883b80,
0xc24576f56e024bc7, 0x3f5871d8d6db4356, 0x87584c542bc9d9eb, 0x2563adc5be7c9b20,
0x45c44591415792cc, 0x1e0037da317a379f, 0xe65f30d042c2126a, 0xb1ef9513b2e1d451,
0xb26c492b67f493a, 0x4bdf11cc7485b4df, 0xcdc15f087c817ec1, 0x80daa00fd8a684c3,
0x3b51dd7a2b177a64, 0xe703a8577c088a2e, 0x897f41e6037d06ef, 0x66daa4b2a2c12e93,
0xcd8460b6f3b73165, 0x50949f620460e80c, 0x51deccb0cebae4d0, 0xca203e161e910e52,
0xa27c9ced63f3ca84, 0xfd17de0fe49874c, 0x9e9c7af62f40a241, 0x2c434671f1d50453,
0xe1808bdda17e8db4, 0x92c596a653cee857, 0xee62041bfa99db03, 0x86707561d5248144,
0x58765f4e05c37832, 0x62f27527bc2d5442, 0x82040c804ae070bc, 0xf0144d3e6a08c8b1,
0x1bc773be0e8ab89e, 0xe73759acd0b3e7ba, 0x7c0723d0ae027353, 0x4196a1bada448ff0,
0xfb9be68b2ad90dc4, 0xc67fc9496c4fddcf, 0x3b6a72745c146912, 0x73dd3d163482a0c3,
0x8589c7c7fd684adf, 0x950beb54936ee434, 0xbb89f075af72c3c7, 0x6e03da6d45d90e25,
0x8ce89143548564c2, 0x96625642b2c55143, 0x7b4949b03e8137ce, 0x32aa9338ffe74c45,
0x666c8991a12cb9ae, 0xc7b5938f41970e11, 0xe90d45a7b13154cf, 0xf8c21fb7b1d9f158,
0xad695a0bfc36f853, 0xe5d5d56c675fad3d, 0x3589c574ef24bbf5, 0x6964ac6585ee1fc,
0x2b9b83eeb7ef9f76, 0x47cea329c42c0637, 0x427901b946840769, 0xbfec55e3220d9e9f,
0xb3b619af91d22c42, 0xca06e527d084e5c9, 0x6349c248e837c0f0, 0xaa890a70e916f423,
0xf78ad745653017ad, 0x6dc5671f42f34b28, 0x14a405e2df996d76, 0x1cd80792617eba7,
0xb2497e3856f1f659, 0x226c5985f93d4623, 0xe73be3a1520d85bd, 0x50876be83a890f52,
0x296dd8c7b5d76901, 0xfdf413f102d28b91, 0x4a07f9a3df7a0283, 0xac459c3a617b1bcb,
0xe0b393bc91773225, 0xaeef73a332d45f72, 0xc4071866716a9681, 0x4525752848354c14,
0x529d33eb426568bd, 0xe0a7f6d91c31c6eb, 0x3b1b1dd8c6eedac4, 0x565ced803d3ea433,
0xcb3ff248f1b85a2a, 0xad2e1561c57d7b2, 0xf688e966c50afae, 0x1f8dfad5946daa2b,
0x15677a7de1e41ccf, 0x9b7f7ffee64d4aab, 0x8d23c88e8b4adc3, 0xe8e207b9d4fe4,
0xd25e263cd0e30801, 0xf1d6c1e86b1ed49b, 0x2eed83531a9e09a8, 0xc10f4075e066dbad,
0xad11017bf3bea3ec, 0xe8a7137d35cf6d61, 0x38391525199ba0c0, 0x9b1a47755b9109a2,
0xbdc7949c883b8e9b, 0x3104c989f050c2c9, 0x7757ddb098705fb3, 0xd03720a6c8a7e475,
0x323d7fb68608a594, 0x10c2ae1c5a132e9e, 0x9d0a1a9359052a1e, 0x2b0a8d6889e74af2,
0x4a6d99786caa2605, 0xc53af82a5359284a, 0xee666542e9359ec2, 0x6e864c6382762c9a,
0x925038a1fceed731, 0x55cbce6144193b8a, 0xcf1ac854a8c15036, 0x4e19fccde128c3b8,
0xf588ad4efe47f050, 0xf1dc01c75ab21bbf, 0x857734db50d04974, 0x3ba77a2681dfca51,
0x3d2831b014274d8f, 0xc7e92d7cd4c064b4, 0x2cd77c8b93d5caaf, 0x3d4858dfd75a4508,
0xec5f4f452aff25eb, 0x9824f1aee95c1c4c, 0xd82a6bc97948a44e, 0x389a4bc426120afd,
0x69d6dccd08d359b7, 0x75b37cdf32194e2b, 0xd6c90eba86f75667, 0x5a9bc0a027c5cd05,
0xa35951ccfa2525d0, 0x73970cbae0e3a758, 0x3fc92f959c43e030, 0xb592c6f7ca26e544,
0x45312092665c43b4, 0x976276cdc83d1c34, 0xb924fa1b2a14cbab, 0xc01d430347de7cc9,
0x74a31b8a0f935fd, 0xd93305e9c2487024, 0x1a50a0c950e8ce52, 0x320780e62d256c9b,
0x829b4215870ea86b, 0x59a916993c1e9c5, 0x5b7a4c4e392ca70b, 0xb8388d8045b2898b,
0x177f56f0a414e16e, 0xdc32ff71f174dc72, 0xc743ede781a0ff29, 0x5c85592949ca04d5,
0x5a62f28d9206dde9, 0x7c6ff7357dd88f80, 0x48e9bbbcc20d9886, 0x374bba94bf44a7c9,
0x40b77351d5681f5b, 0x5f7c57d42c29fdd1, 0x7f5804e44533a730, 0x1f608234e7daf27d,
0xa00cc6d9cc422963, 0xa6b419fc70a6e4ad, 0x871b5472b279cfa, 0x67d218496cb06fa5,
0x22ac47529b2a400e, 0x56fd6e7899bbef9e, 0x31219f6c1eedf52b, 0xb548877e05e76661,
0x5ee85c5b9a21b4ad, 0xa9e87e7401603996, 0x2b2a8e9ae773c74a, 0x1e36f7bf76e9ea03,
0x9789dbd36d278ad4, 0x26daf7f2fb9cb60d, 0x9e07418f6ea7f889, 0xe9ad1acf4ec6a5b9,
0xa127278adb71c183, 0x9ab12e700ccae826, 0xe018fdeb8d02dab0, 0xe41112788ee73bc9,
0xb30c1428ea63e750, 0x5bf07a61f83ec332, 0x874600eddf0fcd7d, 0x23f5169da040b94a,
0xb9028bf681c8ffe8, 0x2baa486ef555abac, 0x45760740caff7a41, 0x8737de43ddc75536,
0x62b79e0c878a0a9d, 0x8d11ae76d562afbb, 0x6ee6ca425539f2a2, 0xe5088ab10dc15b26,
0x9ec43de868910b50, 0xf9065f69da65c1ad, 0xf9366a95ef182baa, 0xa198d30ee4dd0c01,
0x1acc364f8f8d4692, 0x493aa3619d15a1d2, 0xaf6fe2a5dcbfaf16, 0x5b86ab75c5e0dd99,
0xe110d2f8ca71637, 0xc73f0fc7bee91610, 0x26e8607df9a56caa, 0xce5150050500bda9,
0x1a46e87de0d2c4d9, 0xea229c014583960e, 0xdd548399e9d2470f, 0x6b36a20d1aef2182,
0xb0fd6d7cae1f0afd, 0x6293647d2fe7c600, 0xf0fd03978f5f577b, 0x453c6544ec98f7cc,
0x47f3f8d1c55e2e6b, 0xe9e590c86dc368c, 0xf4d10fe1d570c965, 0x3773892e9287217a,
0xfbe676f7aca55eff, 0x8dc871f4ef1c133f, 0x508380659cc0529e, 0xad423260d6435adc,
0xfb5f5f09293c9f1e, 0x79c8b43f88b6af46, 0xf6cd84c3586cadff, 0x5f58470d6b423fd,
0x387d6a454cf94356, 0xdda10b10e5f8aba2, 0xa22cc1df2a49db6b, 0x2d92bab6ebf27782,
0x354013bf1b962f97, 0x6a0a393099fad67f, 0x82cf7ecb08bcd0e0, 0x72a735389d296cf4,
0x779341e7a186f69, 0x576be1f5f7d6f556, 0xd8a75732e49a6870, 0x509884941935e666,
0xa7e7b5a5f562be0e, 0x9de61df3cc2a2514, 0xfe2a12edf94eb622, 0x715c763ab83b0507,
0x6bb004eb160d1600, 0xbeda1fa6f077ac7e, 0x32bcd1289366d183, 0x931084126ed60f63,
0xd3db58635950174c, 0x63d742672f3c81f3, 0x55165a1e5e02714d, 0xfd60712e29dbbb3d,
0xfc2b31a8df44ed46, 0x10e81ab325d898ef, 0x9fadd91f1d449f8d, 0xefc033f4f65cad6f,
0xa3608c25a4f870f6, 0xc2ed4f1d5243e9a1, 0x25c490548fc4a274, 0x6bdf9c5fc70e7854,
0xa54a9be40bab16fb, 0x7d3509ba30bf9238, 0xfeb2c48de1628ccd, 0x122cc4ee973c47d,
0xc3778ae3f61e4d0f, 0xca34594b6a77fd2c, 0xcb2368f980208542, 0xe100a27388dd9ce6,
0x584979e5487de6fd, 0x86d300ebc3de34bb, 0xac1c9d27311b2455, 0xef4ba350833ca243,
0xf84d8fc0b4f572cc, 0x987d7d10f2eca071, 0xf6ca1947d2fba523, 0xe54b4753e89463ff,
0xbb26972d9f68996, 0xd927b7e5d9f8c85b, 0x121bebb969f52931, 0x729d71922f94031,
0x7b3bbaeb0756190, 0x6c371423e84564cc, 0x5d9c89ae300bcde, 0xa8eef7e73b9d901a,
0xc1e89d4cdb825a3b, 0x17e93833b17edfad, 0xcf057040c3ac89b7, 0x658b14c188ca5f75,
0x982346bba7194a16, 0x999bbc73d36f9f5, 0x4594242d3227337d, 0x9288291c576a7253,
0x61836de3e98e7f2e, 0xb618d738cbbe9c77, 0x6da74c1d156942e0, 0x33c079ab3e702cc5,
0x5a1107162bf7508b, 0xb2be4840feae5879, 0xa9dc39a34ac2eea0, 0x2ab6184233daece9,
0x88ec3a082346990a, 0xd93dfabb9fb837b2, 0x81f0e6c5ef913725, 0x885e01b252d42d10,
0x1d49649e4c63ad6e, 0x3fab0baca29db4af, 0x1db02a0595064b3a, 0xb80687cc6de83e95,
0x1bda5953fd355fa4, 0x3e42d374aff1eaac, 0x57bf98766258748d, 0x90f5cf24af81cce5,
0xa623582f9ec405ff, 0x306aa8b825417992, 0x802ff869f086f274, 0xfec8eed2aa6593a0,
0x49dd01e7f39a1033, 0x3920e62477d08b97, 0xcf17328c835770c2, 0xb3214c249deafd14,
0x1bc98bd993ffe9ab, 0x2d0d631d88dbf143, 0xf78f79e3c873535f, 0x8a385fca2f306103,
0x56f8b002fae40405, 0x9d40e77ddd2b8501, 0xa665983894838685, 0x54943753c6612258,
0xbb530aad6d475322, 0xb4bc332c88a10f8d, 0x8d65114fe1a393c1, 0x9298de2fa45580ad,
0xc2aea6e5715ba1c6, 0xc7a42cc123b6c513, 0x503647fec68b3385, 0xbc3b9d5790c74c06,
0x50fdc62c52778c72, 0x29231b4d9fdc191a, 0x2562dabd1b933883, 0x189465e3b1f0499e,
0xf36ad3837a6bff7a, 0xa469740fb1e8832e, 0x3c2892dfb61aac46, 0x3d968b7335234100,
0xbe3bd3c61a100b57, 0xb1e447add27537f8, 0xc061ed4ec5e8c4bd, 0x4fd73f3568f9afe7,
0x4fd949d9d849faf1, 0x16b37028189ceb92, 0x7a0009312b381c88, 0xd31e3bce07fbdbe5,
0x30e4c5246f300d11, 0x5d391c4b4f87dc86, 0xdd22c497191d0926, 0x88b82c25bdfea77f,
0xe95d6e02930bb801, 0x66fb012b9f48458c, 0xb49acda191844d82, 0x86a078371141d0cd,
0xe8bb79e1d7a30e7d, 0xe146ecfc2cb1cb3f, 0xdec3b6e890033bd1, 0x1daa9352a07e8d99,
0xe334a325a3f3021c, 0x2fa884b447f91c20, 0x7c4778090260d23a, 0x5bb0e117562d844,
0xf2f1b79619839ab1, 0x9e6bcee3b1454d90, 0x2bb6b12d618c4049, 0x42c3aae93bfc4102,
0xe0969560cf376876, 0x886b090658c09258, 0x48c66320b7db198f, 0xe53c987a6f064659,
0x546f61a5b0b850c1, 0xa58696e72de6df58, 0x5941f85060183ab5, 0xa08b5289e857e1b6,
0xf48e662176f4e93a, 0x70070b0121985fbc, 0x5332f0c44bec762a, 0xb4e033874b4da686,
0xb2703dda70772259, 0x62593f83256a1170, 0x561a55730c830ff3, 0xaea6bc2e09437373,
0x10ad562a061b7b44, 0xf882627684fd7e3, 0xcf77da9147fca4ae, 0x22475d18fcbf375,
0xd0245f7f62aca24a, 0x5ed8a358449a3646, 0xce02fd9706a88ffe, 0x43eeb6cf2daf448,
0x86b98e4c6fd5c2f2, 0x3cf6d9052bbef986, 0x4f60d89094185acc, 0x3d69ea3ec5aa0bab,
0x97c0090968d1b96e, 0x669f00fd3c4523ef, 0x9afefc956ecb7753, 0xc03743b9e2342c35,
0x59a9f8d4872f1b4b, 0xe76cb7826ffc2d34, 0x175ec40a6e07e532, 0x73db8d730768b898,
0xc83207c739b55c0a, 0xe4dbc280801890e7, 0xff102a08c885ff1, 0xf99fb4a45e5fb43d,
0xe85eb21402b66e35, 0xe74313bea4e76702, 0x12bddbafb066db3f, 0xfa53dee3dc6394e4,
0x73505256979c576e, 0x963006774d934572, 0xf794466b522e0492, 0xfdd19e8ac7b9237,
0xea075683f3ffb80b, 0xddf65e916422a599, 0x8217695d3c650be6, 0x9873f805e29abbcc,
0xcc4167400bb7df7, 0xaf8d8b773c2933, 0xfa07f73e91ea2a70, 0x454a929bc9a10520,
0xbce9fc4caeb2f370, 0xd1a773d8f793a156, 0xce3c08fd43af3593, 0x98278fb36f155c1,
0x899504dd913aa56f, 0x24ea2009cea54ff1, 0x6c5c0d6f5701a7dc, 0xdcbd35b06739fcbb,
0xed5eff03b9c1947a, 0x74bc67769464e5a6, 0x700a985a1ed89ffb, 0x40d526f4c74ebe34,
0x3e19d2125c286a5a, 0xe6b8f8f8df938429, 0xb99d3b9f53503e16, 0x7cf79a05ca5a7e2e,
0xf29164733cfd5e71, 0x86aa08d2d10a431b, 0x1bbfbcfb41901460, 0x10155865db39193a,
0x93dac4c5262d4bcf, 0x253080fe238ba73b, 0xc893bfb523d0679, 0xb5bff69e9add3a98,
0x52707c7da9420456, 0x7e728dbd77e953a0, 0x7734e1098d3001dc, 0xed3116ef5fc287dd,
0x35d4219bf8eefa1a, 0xb1c5f7c50e09423, 0xb355894474c0e808, 0xe7845450ffea5b5a,
0x502ef2395591d7a5, 0x17e7d74cbd75084, 0x843f216a58eb7f28, 0xa5994ee2643d1606,
0xc6002df6b5b9258e, 0x45d45a9a367f65c2, 0xa00c3a82b23c9185, 0xe303499a98cf9838,
0x2151c35b36dd4028, 0x24f8c7050c54940, 0xc8f2b68805fba89c, 0xdf1f6c197711b053,
0x836549230bcc10c8, 0x99e44075471a49c4, 0xae2ac1b451b039f7, 0xe227512615bf36da,
0x3962ea3e343e10b0, 0xf168259c91b26dd9, 0xe6683a5ac62e5c1c, 0x483e7f1e91551681,
0xbbff8064e218c2ff, 0x585e5d5cf40ab33f, 0xda6aad47270558ab, 0x8ac1dbe85f07cb4f,
0xbe6580d73997ee0e, 0x48cfd9f6dc75a557, 0x533c788fd4b8f4f6, 0xbedb779fe433e770,
0xe089cff9c41a83fb, 0x41ff19f3f5792dc0, 0x9b6ca4e4862956e5, 0x8bfd75b7892a87a5,
0x23e4bf1c3e04bf6e, 0x5affcfe95d8225b6, 0x5b7dafd652ce434e, 0x5bf9f3f2a735dec7,
0x71c5392c9113e584, 0xe763fa748b651132, 0xe0f7d2e0c62f5e23, 0xdd25d13a5c3d25d5,
0x4d995a4201ffca3f, 0x955ae7be4ef08b9c, 0x839e986b7e1269d6, 0x9707b1415f87a7a7,
0xda9f6a756767e7ff, 0x69097e5407a5fb3b, 0xaf8fc5ee055dae83, 0x14c2ddd51d8b6ee9,
0x3ac34b03bf9d0b9a, 0xcc90f047461e7f2c, 0xa061c53561817ace, 0xc98ffc91ce42ed74,
0x5260b4cd104ceb89, 0xbbf5d029b989db25, 0x3dddcddff2538bd3, 0x33f79e35f06e1001,
0x163aaef5bc50761e, 0xf28060c4de7a790, 0x95446b47ef04d55a, 0x8e84f08a66aa5209,
0x7a25b73bbdbdd241, 0x833f25212eb1e884, 0x597e59565d24337a, 0xfe9a50c190107d89,
0xd48984ccf4dc11d6, 0xb3476d8ba5d8e808, 0x3544a040c311fd53, 0xe668f10b34a453f0,
0x1b7112b1b0b2a722, 0xeadfb6e0ec23e4d, 0x51d0b89df493ab0c, 0xc05a00699953b326,
0x6140cfe4b106d656, 0x5df81110b4f3c15f, 0xa38d9bc8412c4765, 0xbe4472991d1566c2,
0xa7bd7131117f6bca, 0xab82bc67804e08d, 0x9d21a21bfae81d76, 0x331a717b245b8e21,
0xc3f1eaddd6e9554, 0x84fa798d91bb9772, 0xfe29df3c4916c4d0, 0xf66277d5b9283b92,
0x6cecc0378a25d675, 0x1d2a1139f26d258e, 0xe2aa80b458ab2110, 0x3556f92f71e39893,
0x96688a38de3607a6, 0x65472f1a01a81852, 0x2cfcc747b48b5330, 0x52d4d15badd49de6,
0xb290ab09ffbd4fbb, 0xfd0ac6e73d1fc3da, 0xad4926695b8220b0, 0xa362faa93378dc27,
0x3f1265d62f1c53a7, 0x6749be04b6488555, 0xe4e062cc36c1b846, 0xc8234dea8b91706e,
0x8668f4dfddd077cc, 0x77f2c74a6916aeb8, 0xfd4f384ce424abb4, 0xdb8c4b8989ea864,
0xcda449f92ea2ed4, 0x36d6583f4a8fe78e, 0x396bce6e32dc17ab, 0xfee2b53f5323ea44,
0x76bfb40643ed0d26, 0x19ccb59b96f82af6, 0xe90fad51065648ce, 0xcb556348c70a4d28,
0xc8cc137673221fcf, 0xe247c7250b664206, 0x67466a32f8d9fcdf, 0xdcb06642b39aa0c9,
0x3b24591ffd4fbcac, 0xf4cee743cea094f7, 0xc53aad79d954ef6f, 0xf5c1e24a16dc777c,
0xefa734bc534dc1e4, 0x972fa71698c252ce, 0xb2104606a61f2037, 0xb0b457cd9279f7fb,
0x9fb98c7aaf268275, 0x987dac3130811808, 0xb266f4f3250c5c88, 0x5270c31999ee7030,
0x2773f943b7da8906, 0x2a862419c3b15da3, 0x9e372015cdf6b075, 0x6f2597c4bc027ef6,
0x542ab050090a3885, 0x4d88a9c03c899197, 0x149a70d27bb2f4ab, 0x6ef88889e86dc7e7,
0xb678a761da39b0a3, 0xaafc66507842067a, 0xe9967f3da8a3535a, 0xebf318a6e896a2fd,
0x29d3bb79e599013e, 0x63e3e4ee9f51e225, 0x6fbd14e8ec426a3a, 0x88fe2045e3923a8c,
0x62e2bebb85259baf, 0xf73b086e4ac4e2ad, 0x9bf1d48fe42e60b0, 0xa77fae9dcc8a944d,
0x910231dc14bb123d, 0x27f1f867306d6a72, 0x30b71f810b9550a5, 0xa53c6d4554dd149d,
0x6ac553008498cc46, 0x48384db6e93cf5b6, 0xa2d7a4f9d87929bd, 0x4b684664309efc17,
0x6e78df3d83db14d2, 0x4b96dc86601d2f2b, 0xd2ab0f2b54b31f55, 0x136220ad073c3b09,
0x6e09a93423308166, 0x7ab4cb5e32f3beb2, 0xeaea497fe448bfd3, 0x941435d75628d13b,
0xe01da27fa9b3f1c0, 0x65594d39d1b53f1a, 0xaa592dcf694ba263, 0x9185b07bb8daa552,
0x9dd24f14adb479c1, 0xbe6638247b4b923a, 0x340a080425015781, 0x87bf089c0d6e1b39,
0x8ca6c8a68c230a5c, 0xb1201710881a6efb, 0x13faf608bb6492d2, 0x52c1a7f02bc5b9f4,
0x876603442b8bb722, 0x2868e4505cf045c3, 0x3ec6a223716ce689, 0x105eb95263d0d3c3,
0x265aa1b59581a7e1, 0xfa7feba6723e8250, 0xf467c4e841f81297, 0x9da6b89d805a5977,
0xa727c335c6f78aa, 0x37280887495debe0, 0xfb496e7c81b5aed7, 0x9bdafa376ab51465,
0x7e7b2d59366c7c48, 0x9c68f5c042fc0be8, 0x83cedc780ad35e51, 0xfe4128995148d4cd,
0xa19454b3f01ac691, 0x5478d1c62ca5683e, 0xff16eb3d43cd2e90, 0x3af9db800d998227,
0x7cac7274e104b814, 0x73a45c2d3aa3d21e, 0x2b2a1e70b3a046a5, 0x8b9ed499618e8000,
0x6e8eebd845de6032, 0xc49f0e11d758fc2f, 0xff9678632c9a76ae, 0xe828f452c74e94fc,
0x6bbe5472bc1d4274, 0xec84b61acd82601d, 0x1f1a2c09f5761e0b, 0x2080bb5d8783ff9c,
0xd386d35eb57f6091, 0x2cfafb9ab5883a02, 0xf5b0c13df639c0d3, 0x6cd4bede0ad3392b,
0x2ffa85d9bb11755f, 0x8a466dd48a8ecc84, 0x70c9752df02531ee, 0xea9d2e4e7987f077,
0xa70483c0125b1310, 0x8c349de4e79bc056, 0x8b5abaec6adc66b0, 0x8aae23d7509dc173,
0xa2eacd922232d379, 0xdce99f56492f3e40, 0x70b0519db8d0b1fe, 0x24a189ef27d44857,
0xae3eea80d3f490f, 0xc9d1ed45dad6622f, 0x6cea5d313116bc5c, 0x465c850fdd2b5ac2,
0x9a94b93283de9d15, 0xb4dceff517f9062f, 0x4ba5140199c52930, 0xb0484b5bad44b17e,
0xd8da6c268ebfde4f, 0x1cb1da41357a53f7, 0x407e38fddb7dacc2, 0xac6818afaa902371,
0xb1ac62a319b2c56f, 0xfafab8bd4bf10a03, 0x408a65ae22285557, 0xfd8004fd18566c92,
0xb42afa5ea766b009, 0x343ade58ac761721, 0x5674d39fb0e8787d, 0x7498496a2027c385,
0x1218f4cf9c8d99ca, 0xad72d4ed9eb68d42, 0xd1d50a9f3c9c4fe3, 0xa65c390e321f7fa4,
0x8762864d2e1aed0d, 0xf80f3fcb120f9475, 0xd8730f4477ed4531, 0xfe8e71315b4055dc,
0x8f1f0e15af840dd, 0xaad7d18852e35326, 0x7f00193e16f0a56f, 0x1953744ddeec4006,
0x541a8d2f24fc2f9f, 0x9d14dcb8dc5828f9, 0xbdd5f63504f1613c, 0xe1ba2a4f5c2b6b3,
0xa21b0a7c4ab8f1fb, 0xbd5114afbee6e7d1, 0xc1fb28f12dfd5c57, 0xc4d399cfda47e74a,
0x5ae15a107f486ca5, 0x331ac4fa50dcf93e, 0x71914533eacb9a93, 0xf1a310c52323b7,
0x9d529e6b45632af9, 0xe654be04703083f7, 0xbb18e57707de0890, 0xa8a69fa367fc2af0,
0x8a4dc8977d4c9350, 0x19ac333e35afc914, 0x32b867bad47a1ad7, 0xfc85600499947104,
0x222d3e001abde516, 0x9f9688d36b1504d0, 0xc43bd95d3c13db3c, 0x3155723e6939eebf,
0x5054949bcf6e67a4, 0x315a7f4e901c6a2, 0x49f5e8f0292ef62, 0x7146755e8f8d3d96,
0x61293dbdd8467b04, 0x7b82ad809269f80e, 0x9c51db00622d118d, 0x2eecd4e8a386d687,
0xaf1a18162dfca549, 0xa067cf4cb7af642f, 0xf69c929f43b93a08, 0xb2a05371447ac8bd,
0xbb01679f5fe44a1f, 0xba9a93dff924cf57, 0x350886320557f041, 0xa870edf83d0eb821,
0xded511c9d3f2862a, 0x51929cae415a678e, 0x5e2ed18fc667c9d7, 0xd9f91986bd782315,
0x14e07b12022abc8a, 0x360d72baa6a12373, 0x6e54e93ee206324d, 0x3795e2fd18b9a531,
0x5ca62be863ddc6a, 0xe19ea9a82dd13c04, 0xad93e1944e1f9364, 0x1caea0190ee52bcf,
0x8626a173921aa7ad, 0x4e3eacfd6486be1b, 0x39f3c4a6d2748ef5, 0x6c20f595561d459c,
0xb7fff29084dad5cf, 0x97ffa7f94fa073f1, 0x203bc94ddedabcad, 0xea5ffe402676e326,
0x2b410e7e26010ab6, 0xd0525b3a9e736d72, 0xb919ff15ac8f5b65, 0xadfb6d0f4cd770fa,
0xdba7a25ba8181f19, 0xc6c47c5c1c6b3b05, 0xd64c3830074c053d, 0x16e9e68fcef920b7,
0xcbffa0e632c2a371, 0x604955ac6e302025, 0x9209bb960dd61c8a, 0xf9efbae139d5877c,
0x5deb447e808e20b9, 0x16403d8434f4835a, 0x9ec0ee012604e592, 0x2c43a663eac5cf3e,
0x31edf65a45fa53c0, 0x74e1abadb0c0ab8b, 0x5d7809a7dce4f309, 0xe7023d0fd428873e,
0xaf29215a0b2bdda7, 0x31988146102121c8, 0xc8864234b82e57c4, 0x4a6312e22a333243,
0x1fe90a43558b062a, 0x8b4d252061c89a46, 0x8715e387b810f5be, 0x83e29dfae00ac9d1,
0x712adf0d34756a35, 0xae486b91f7e16bd0, 0x5af19a6d61c19ecd, 0xad2a0d5a2fc8e64e,
0x46cd1a1cd46faf35, 0x2e4715305eef04b1, 0xc05b10b4f7b7858b, 0xb85ffdf6bae3ebe6,
0xd072259a78cfe5ce, 0x4859a056c02970ee, 0x9e428b6e9e7e12db, 0xe0f39f124dbef5b1,
0x720838dfe42ad042, 0x31d1483ee5488798, 0x2bb4f3c47df55f27, 0x8733d279d80e796d,
0x3a7ca8eaa6b745d5, 0x8973775cc8c229ee, 0xc93b66800af7d615, 0xb65f155618e3f4f4,
0x8f4066711d585d23, 0x57c431c18863327c, 0x4fd135372b7dbdb3, 0x327f85c4f3e883bf,
0x368299bae5d0b9b0, 0x835b161012bb5985, 0x501f3f6c231c992d, 0x98ba1e6ae20582eb,
0x7a7f81dae041afea, 0x5fbbccf14dc108f6, 0x220b6225a8ea7943, 0x8e7849f45b0494ef,
0xefb6d559a50e870, 0x40d6dbad272b189e, 0xbcc6583a628803b4, 0x9be24b2a6f642b1b,
0x6cf98342e1482962, 0xa4d0ebfc9c8672f3, 0xb99223c128c32350, 0x82b8a13509b00c8d,
0x76103173c9fbb51c, 0x16219035e5917e46, 0xe0d1f67192810ccd, 0x2ad7eaa5a496965f,
0x4696afcffc728ad3, 0xfaf4039e411b7c63, 0x8660349c486dfab0, 0x4f51279b8d7f75d2,
0x59fdce338666939a, 0x456a30d7dcbd0654, 0x5e40e3bc75a075b5, 0x87597e5e6bd3a5d5,
0x63603c1e7094cf33, 0x8147cf14f1199e8a, 0x73861621eaa81366, 0x6e7cbe45c6aeada0,
0xc2858477e4f8fd2d, 0xf2db097f3a3edab4, 0x4af86098b92e5279, 0x18812e911c7551f7,
0xdf2ba50151d88de0, 0x52fdce2782382e02, 0xa52cb92583acf19c, 0x8df8f994552451a8,
0x923a6c1d47ad5a53, 0x9dd739449f75b426, 0x5d50189e241f4847, 0xada8867d3ab0711d,
0x625274da8b9d3411, 0x268720305626b783, 0x9896186658cbf17b, 0x3b596a3bb68a2150,
0x750ad78810b32efa, 0xede00dfa08c6a6df, 0x7710e7fa72c72b1b, 0x516229dfcf920dbe,
0xa1723c767fd00ad8, 0x11fc93bb6629ad1d, 0xa11751944d415761, 0x7755b110d3be31c6,
0x51a02f3516533dd6, 0x2f1e0ca6a33d9981, 0x4368dd62e90e2a5d, 0x8a41670973e04535,
0xa4e38560998d79a5, 0xeb63680f8e731695, 0x6d7534bf13474f42, 0x43a4767a8aec73cd,
0xdc1ca5eeb495006d, 0x414a50590b8aaad5, 0xec57b75c5dd2b997, 0xba10b98d036efc3c,
0xfc4c18e0d8e42a2a, 0x5747783dc003c672, 0x30f540ec89a9110b, 0x163e6707d802fa89,
0xe2797de81ecace4e, 0x421778b7b203f483, 0x6c87fcf480d84373, 0x7fc2a25af6edc7eb,
0x46fbc4f4febeb6fc, 0x1723626670ccd2fe, 0x34d36c2d63d0c46e, 0x1fd528d6539b7dbf,
0x127807f4908bb9e4, 0x299343b8ca40b52b, 0x4f140277e5700a5a, 0x7f83f3627ccebab3,
0xbf3a9da5c4254fbe, 0x51f043bce56c7bb3, 0xb8d7447e673b37bb, 0x6306e24b0c31954b,
0x9d2e8b74fd0e7849, 0x3fbe67b76b231b99, 0xe7f3b088e824abcd, 0xf923c4e056b8eb81,
0xb1d6f3087d539c87, 0xc98b84c0630262d5, 0x39e7ba05e6afae32, 0x8198ec1b0826a5de,
0xae8ccbb4c99f128a, 0x7e20b040a304f820, 0xc2776686edf89923, 0x2f6607fc80a6feae,
0xe4b1279374d66bf6, 0x861e2334c7fe166c, 0x8e78823691cdabed, 0x4178934e8b308fea,
0x70c687f790dfdbf4, 0x292c112bc12e8139, 0x92a1194edb774f90, 0x352ff078d6fba04f,
0xd9d5c0115fa9390, 0x3569c1cc12f1ad55, 0x41b5926d2fed1f17, 0x44d863415c83b8bc,
0x733917b865c137b5, 0xb9027d3254318d9e, 0xb223949f934fd77b, 0x8b85f5f23988ed54,
0x811585447f62443c, 0x7c556accba2b304e, 0x4c47881a40780025, 0x8bad305d6c1d8a69,
0x3060715f87053451, 0xae83d04739023881, 0x511a8b217ad4993b, 0x8731035e7d088b67,
0x8fb643e6d5772dc, 0x5ba75c85ca01b8f, 0x449b4cfdf71b1d3a, 0x68901b25a5c71897,
0x11e8b53282b62500, 0x1cef7e441942ba18, 0x6579d79a7e15cbe4, 0x4e7b80a39f590ee9,
0x264820bf52b307a6, 0xcc4a0961f504446b, 0x5d47ea59dcf5cf88, 0x5d2d0efb65d240bc,
0x19f05b77ebae24b9, 0xc0ee4ad764d47cd4, 0xad98cbd782bb77fa, 0x68d774cd3d0ef04e,
0x5905c89b458b137c, 0xe72b3107e631b722, 0x1c58bee94f0dc0f7, 0xba240bc44373198f,
0x28f44398388e19f4, 0x6a57ee0b45a33e5d, 0x6b903638d964576f, 0xd1bae75da5b8773d,
0xa25fa8016764bd32, 0x88d132435343153b, 0x23f1bd912dee8de0, 0x8dd56b0b84e031ac,
0x48085b53d26662b8, 0xfa01b50378225703, 0x2ff2045a45a06e26, 0x715776225e8c518a,
0xbc128d51c9c516de, 0xe48e57062121abb5, 0x98078df5086e7b0d, 0x439d603e5bd465f3,
0x723d7b8d57f4c587, 0x5573faf591653c84, 0x6c110a16237ee760, 0x684e2a7d8366f801,
0x346eae15655dc5ec, 0xa92436f131472b8c, 0x3108e0e1dc1c7ab0, 0x10304557545600fb,
0x7a72e76b45c12584, 0xb5db25ac005c2a36, 0x24dc295110085ac7, 0xa3ace92c7eb0850b,
0x4e6cdee284a4b459, 0xf72fdc926d0bf32c, 0xe90b709a130a3fd0, 0x5b6302932cfb821f,
0x9b29d85f3b4cb49, 0x796557571974321f, 0xebcbdeaf84a3584, 0x147e2f287eb82fa3,
0x18926430c3b75cc2, 0x8e5a3a5821713219, 0xf3a3b31b6aa26309, 0x68563839b8684267,
0xda9847a78283bb29, 0x4d4f66b6b509b07c, 0x433860ac21b4dc95, 0xff1f09a43e9d66f,
0x606abd91e2e445d2, 0x9202b62125ee422b, 0x9961cc535f419e9e, 0x74597bfe1b16a398,
0x4e8fdd5a05f09980, 0x9a4af648d5393b04, 0xd4876c679dc2b151, 0x69f818806570fab,
0x7643053bb6c69157, 0x705d4ce0478bc15d, 0xeed502284e6e02d6, 0x5a0c7dfc9eafdc88,
0x8613188ade8fb044, 0x181e3cd68dcfe66e, 0xb17e8420a544d5b, 0xafd3281ae4e5da60,
0x53e3ce49e42fdd5d, 0x6ef16ece6bc81d2a, 0x26f5cf80a065f207, 0x7c4481a630913951,
0x7ce5e3e5307a37, 0x7b10195a7aca6cdc, 0x16b2a9d33a6181b, 0x2f77914bc8181122,
0x23b7298c78dc1e09, 0x85d1776234c4b759, 0xcd9285b4257e68b1, 0x2eb13e9cd7911ec,
0x4d353c5cc3157187, 0xa0ca14750535e03f, 0xd1df0be627b7349e, 0x2e869002e70c19d,
0xd41dea2c58478b1b, 0x4daecf73e4f9fac2, 0xe4bd1379248c0935, 0xa5819bea880b8b84,
0x51c51b0ec8fe5738, 0xd0f08a93a463486f, 0xd00a9eb9f7e016cf, 0xa691b15a8ac5c237,
0x86dd53c6bd850ff, 0xd81b8ec277b913ca, 0xdb52de817e3a51bd, 0xd2be9de177b8994d,
0x217e773da14d4a35, 0x54909336b90c621e, 0x1d8e6f6d0be5eddd, 0xea2a93839ff90317,
0xcbfb9884fadd6043, 0x2f8e43f87dca6142, 0x9b5c8b6addb0b8c8, 0xb0502781b2e1c009,
0x44333fb15941a856, 0xe3ae215101a71c9d, 0xe634d03ef2d70611, 0xfa521b1d575f20b1,
0x4d1cccb97497d191, 0x82fa72ea9b584fd1, 0xe8189a43dab96eeb, 0x632443262932f615,
0x90eee99f130d35af, 0xdb16f32853a15a24, 0x426b0ee1594c6124, 0x3e8d0f8868ac0fa1,
0x55219789da421a9, 0xcef03ba5bf025c95, 0x88ee08086f735507, 0xa4cfc1e359285b5a,
0x8b9bb4c49cbf5399, 0xf8530fd751d26547, 0xe1dbed043fb54c6b, 0x21884f1b9e443064,
0x176749dd8e19cd1f, 0x531e48da69b53bfd, 0xaaeb1ac0d6d66090, 0x6b2036eb7d4616e7,
0x60a3acaa2ebeaa89, 0x4d47c2900bbf74c, 0xbb88d5a96d13b70a, 0x35c05a0a2c021a53,
0xebb09d9834f99daf, 0xa4546d5cdc05955b, 0xe1acdb81df039f5c, 0xf5a0c379524b9f8f,
0x6ef079055c5ac85c, 0x1afb589a3ebbbec2, 0x8ae0323475175485, 0xa1a96f1f0d70251e,
0x721d56ea2e9bb3fb, 0x5ad8e09f6de7a15d, 0x22754854088a2296, 0x3dc80ef77b30986d,
0x47742856a5c979c3, 0xdbca1b6c4fa504fd, 0x335f4597cfeed214, 0xbf38c8498ce9e8f3,
0x917244fd228d92a8, 0x885e1ccecc53483c, 0xe6c4540447e0b79, 0xa193bac2516698e0,
0x4e797958989c4d52, 0xf45ffae536ba5ed, 0x348e447b0e80d0a1, 0x36f9f34913f09dc3,
0x6fb643120d70ef15, 0xf32dcb5f3ffd8a3c, 0x9370e1de1a459c7b, 0xa5ec3665986f9ab2,
0x66a59a2b3c32d07f, 0xc67b64dfd0279b1c, 0xf43f425126752f93, 0xdb585e637ecf61b9,
0xdb792dcdc6482b61, 0x162d69ed7921b959, 0x70b68c76badd17a6, 0xb58c0981d7a3f44f,
0x353f0ac99ea4ae62, 0xf8b2585ab5288cb2, 0x4a26947130358af0, 0x85df8d86dfc2625e,
0xc5e85bac5395c582, 0x6eab12e32ead63ed, 0x7daf3c3b39ff9305, 0xe240167e8f2bcfb7,
0x8df4a727b3f7139a, 0x51428da9e2870e3b, 0xef7cf4bf4b657747, 0xc8f463a6400717af,
0xe48860a4687a4800, 0x4ba84443d381e6c4, 0x86de5ed7b081b58e, 0x7958db223b00718,
0x4c492b29ed3eb37f, 0x433d79c07fcaeb80, 0xb7bf4cecf056182b, 0x90ad269af6f93842,
0xd879a141e62b1bf2, 0x899b6b7808d56501, 0xe0785174f05545c6, 0x547eda9973691c75,
0x987a324222d9aee0, 0xecb1cfd0c9d502be, 0x62cc470885ae411b, 0xce5872e74f2011,
0x31ada5bb250c8f6, 0xb99f43d40abfda35, 0x34c08dbe3a0e7f77, 0xf48e0b9ad7ca93e4,
0x3bb70901dc18b4f2, 0x81beea2eb7762ada, 0x4a9b8626f7bd4913, 0x214e9f58e8864cbf,
0x4d2db30e13a6599a, 0xefc4cb77dd71552f, 0x2a8854a651947c00, 0xe51a575d10c17579,
0x7db40892abbed241, 0xf066b91ad691c6bf, 0xc9f44819e6ce6022, 0x4d9d7b0e9bc6931b,
0xe30ae4446356333a, 0xf645f645a8261395, 0x7ca35ab681d74be3, 0x8edaee6dd66c9aa,
0xc83b7fb7838cebac, 0xab627667a8961e2b, 0x748d8b7db269f778, 0x55662e81b55c0f6e,
0xe3678ef504f522b1, 0xac5a2fdd3d2a6b31, 0xe9d402901a676691, 0x6582c4493f9b40a9,
0xf5bc5f86bf02ab1d, 0x3ed3162b5b2c02b0, 0xcae0c2f9d65e9bc9, 0xb88e41d91b2eb49d,
0x51df201911dc9a98, 0x98bef031963b67eb, 0x5cc1eddf634c3898, 0x6c628c3406b5bc32,
0xd98f5c4984dad852, 0x93f8a4bc520a5fab, 0xc089d387b45579d6, 0x895419ff12c86ad9,
0x6e4901e1baaae78d, 0xfa453dc45303009e, 0x8bb0dce62c187780, 0xe5ab8386708f41c1,
0x8a5a09531af27090, 0xff710f0cf87121e5, 0xb3c8d553b4f05b73, 0x36d49088ee44896a,
0x11f813804959a59a, 0x423da77ba476efc5, 0x518bc2c714d00116, 0xb6fffc4cd2224f68,
0x47e684f2db6998a4, 0xc241c799137db2ce, 0x3d4b22f2175b8c79, 0xab271c1b61a40c8e,
0xf8b6cd4b569d8205, 0x234dcc6924cc7f18, 0x3474c0ef60ca86dc, 0x3a5f25f2a3ec8313,
0x14bfff1997c69155, 0xe02b74b9577299c0, 0xce58e3c1c305c428, 0x66048d5295d8cc3c,
0x33feb464e21a4ea4, 0xf506648b5025ed1f, 0xfedc693ab4f6d7ae, 0x963f1a928d74d8d2,
0x10a0b11feb513a63, 0x29ced5b0282ed596, 0x948bb5c3dab9a574, 0x840775080092bee9,
0x2d29c8148d9275a9, 0xb54d31c3c15eeaf9, 0x9b6d71b56a159fa3, 0xa8db6ccb532ea683,
0xca48d136bbecc3e2, 0x459f16c599dba793, 0x142fceb8a9736d1f, 0x7b3f717dd9a1dd41,
0xdb6d7fb6b6bdde37, 0x40cbf6bcf1487030, 0x748bfd3054191069, 0x628e28e25d707fa8,
0xec2da2d6bc4878d0, 0xf826df4a5e655c99, 0x9ca92a70847a3f68, 0xc58b60a9a3d598d8,
0xe5e421173cebd567, 0xc6ecc0c92e20bc, 0x3f5a341f3ccab10, 0xc71bbd859a98ebef,
0x318d292fa82b20c5, 0x59a621461ec8aab5, 0x982318a3d192ce43, 0xcb2564f9c64380c9,
0x506820a029f0f08b, 0x11da0fb8cce6b369, 0xb90ea39e35ec7f97, 0xaa0ef52677b8e55e,
0xf8e15bb98be77096, 0x54a072f125048193, 0xf3181caadd5e0724, 0x174518eed5d2148d,
0x8b6d6f59e96700f5, 0xddfb872aa881d838, 0x92b73aeda092f9f6, 0xcd83db1affacef9e,
0x3ca21c4c5c3a60e0, 0xd4f8c38a5fc642a5, 0x9222042966e83f31, 0x69ac7ae2b5700acb,
0x673afb51de1fdb1a, 0xa89716f769d5260f, 0x22a320142ab51733, 0x99c58b52f8525817,
0x764db457ba738633, 0x656e7b22db917d6e, 0x1603210b6277d0c5, 0x9a439f038cec0438,
0x14705249e3251cda, 0x9194f1b469baab47, 0xe1af2b1d0a600679, 0xb09ece2e9d9808e6,
0x2827d6d4f58c594, 0xba4d0facfaa5ab10, 0x6439e21fb7fd79f9, 0x5c71709941f3508,
0x90357b6f229ab08b, 0xd065505cf54cd9ec, 0xd351b4355fda5fbb, 0x699bb00d7dbc037b,
0xdbd32af9c36e10ce, 0x1fe7914f2fe57a5a, 0x2e659c59137271ef, 0xb6f8c152f62ef0ea,
0x6887460b06bdc23e, 0xb6ba79fc3014aa1c, 0x81f517a5ba984dc2, 0x5f8f9f05f1f34b36,
0xd0ba9bb0aace6250, 0x4150c2c83783d40b, 0x72b9ce354659c788, 0x60bdfce27c59dcb,
0xf5fea42999acb90b, 0x5d1f26b61d9be910, 0xae75de78a0c44cec, 0xc0fbc08652b6b8ef,
0x12e032c4c99344f5, 0xdb19201e1ad2e85b, 0x4f86feb48b6b74a5, 0x6d0ec747d14b2d15,
0x4cf510f98dc5b923, 0x10437daf36c01d54, 0xcd2ae4d5af55f38e, 0x741e8cbaa9d1a153,
0xe3a6a742cfb37e, 0x5c88fb8b0bb78b26, 0x715fd0c10a8ac08a, 0xab100d328478f54d,
0xc7fdb13cbe9100f0, 0x49ce3757ea35ce1d, 0xb6f768545c34edb2, 0x4e48df68f326ba21,
0xf291fe6091c9b9c, 0x41d5ecd9d979777d, 0xd4ebec2eef5d64ca, 0x330356e1d15c3699,
0xc5d7d54c2324e545, 0xe739d2432731a515, 0x9e0feda276d4a853, 0x8b20d0c9371e8f12,
0xeb6cebe9d3fa02b5, 0xbe0d585dc9c5da63, 0x86878490e18a59f1, 0xb34e55cc8464443a,
0xc2b04824316742c, 0xd3dc4bef3ab41c60, 0xbfe66794a497b0b, 0x71612de822a0f5ea,
0x5e99cc5bb0428903, 0x8f26fc9cb16d938a, 0xc57eb3bfdeef7d2a, 0xa7e75500189e05c2,
0x8adb98e2f241348a, 0xb21223988c6aae9f, 0x5c74d9d8f929b955, 0x341026199b9899f4,
0xcde6333978ef4960, 0xd1259388f95dd3bd, 0xf91f09e7a24edf23, 0xd2dc73eece311c8b,
0x55516d32feaa7d5a, 0x3c59470992e9c3e7, 0xabfffad355bf8119, 0xbb3e0de9aefc049c,
0x3d49c1d1a5321d07, 0x2e2567764ed37d93, 0xc9ee031f6e442473, 0x1983db0692ce824e,
0xf1ab936a0f987209, 0x1498d85b49d06287, 0x1df71e582f44f249, 0x44c03b15edb8d621,
0x6891085834dac70b, 0xbd33660a1246c7a2, 0x392a800815fc5da9, 0x5b2823d27fc20111,
0xd618021a2e94a805, 0x746f3d8f79f51c57, 0x43798e9345c9a289, 0xa48293ab37837ea8,
0x7c6cfc6d0a30471f, 0xa7e65aec469c7c7b, 0xc0a9462e66cabf0e, 0x6cc460727dbfeb0a,
0xd69f36b052071407, 0xcb108928c6afcc09, 0xb45f9b9fac770ba6, 0xd81b9984ce5e7c09,
0x4fd8047feaff79cf, 0xb443e6987188740f, 0xc10a9565ddbbd3c6, 0x11ac8b48861d0379,
0x12ec8d516a95a21a, 0xef3f10f52d77489f, 0x55a95ee1218b2c80, 0xff547ae10047c13d,
0x3bb13e8fc63e84c5, 0x35f8edb0b05d136b, 0xd0b87dbf8e506f06, 0x6d7175cefa4a5e1c,
0x3e118b7d0db2f7e5, 0xa56b5bb0a091ae56, 0xc03593aedf6b6572, 0xb74cb759dc34877a,
0xa1b09305a57f2bb6, 0x499a950cacc329da, 0x3204f5320d33abe9, 0x45dc3a1c53c9ef46,
0x97ca16b9cb0322d1, 0x2472452777c6f8d3, 0x624b13d59f3fa934, 0x90905a630ca1a180,
0x926e2322940db188, 0xc1685f54121f4d33, 0xdcc2359aca5bfff1, 0x84966c7fe4a42150,
0xf2fd5814fe24e1bf, 0x3fe1e81b7962ff28, 0xfa42386e078e1210, 0x2cde4ac32d5a3569,
0x3d0dc17d514a81eb, 0xed868b253bffc5cb, 0x3b71e0de7c703c1f, 0x85fd5669e64e330e,
0xc1be5f850dda1608, 0x8591b3f9cf9d787, 0x940ed7a90f8ca95e, 0x8c1407cb1e533485,
0x8cb52e31187f8c37, 0x38ab6bab9e5ce7af, 0x95f63d2e569f4ac4, 0xb19867653285a66,
0x6dc03b335bb5f9ad, 0xfbc7dec1aa408a39, 0xc336414ed5ba39e3, 0x5e3367166588c59e,
0xe07150fc7d21c77d, 0xc5b319f291e2bb30, 0xbd8383ce1fa40aa8, 0x1ba07672ca05240e,
0xbb38a7c1d990bf54, 0x197de8754ff338f3, 0x9fb4d5762857c09e, 0x2850977a1bed9673,
0x41e967a5ccac2c25, 0xeccc67e0948a46ec, 0xe0394733694229ff, 0x6a3b09f82b9c13f1,
0xc25ea46ebc73ee52, 0xa8f2a975ce3ed6a6, 0x14fedd792e732575, 0x2b75e7b73b0269d3,
0x3429346315b183a6, 0xd65881d1fc18faea, 0xf3d979994a40bb53, 0xd3e1d058eff0b78b,
0xe68f577ce14920d2, 0xc98771b8260d7b8a, 0x1adbccd11c9a1db, 0x7f8fb335edf02138,
0xfdd51e7fce3e4dff, 0x6a95be57221cded9, 0x1f50b05c35115eac, 0x4b376a9f0e76662e,
0xf9fc3a5d9122e216, 0x753822278ae4b849, 0x7c4969b78ca295d1, 0x5cfa56c2313f6492,
0x1bea04faa32d8fe2, 0xbda1d1211a69bbf9, 0x427a21a1cf76b8ee, 0x939b7bdbb858df81,
0xa37aadd53607b801, 0xeb207bfa30cafa26, 0x5bbd1e2064519c6a, 0x1809c80513e606fb,
0x2f3c297232c20eca, 0x5825266129f85867, 0xd981dc85f35d3791, 0x8f37b652650ba43f,
0xae804e0781fab799, 0xbbe7f2f9a0833713, 0x7166144ae59afbc7, 0x758ec0b67f9c4e6c,
0x350c9af1a9cdf8d3, 0x31920eb6c209b8f3, 0x2e0a1df552768804, 0xf10385c75fbf0c42,
0x37ccdd22a575e548, 0xa8e61fbfce3c7e12, 0xea5fadfd58ac2543, 0x51e0fea8c3184a24,
0xcb731f4cc2d5c6a8, 0x33735fd010d4a89c, 0x38fd54eb54711074, 0xc2269603d5e0d859,
0x9f8f13a6350352aa, 0x6107c54d55ee6cd8, 0x9671fdfea94a8f13, 0xfee81d6e2932ca74,
0xb739e6c796c4dce3, 0xe174b5d12063c104, 0x51370c68bbf9b7eb, 0xb6137e99900d7f67,
0xa987f3b5bad68f18, 0x36a20850a03bf9ba, 0xd283cf173d675858, 0x171b00c82efd2a59,
0xad3520642272a654, 0x828d05544eb474d7, 0x9eaac77c16de95c0, 0x3267d08b1083d38d,
0x8742f5f99d0c9795, 0xdfaf75fcb3a72fcb, 0x973821988028da4e, 0xc76c31b18a1e8210,
0xa9bdd9cabc8b7d05, 0x6804d44a8c332f4f, 0x82e04734e19b6add, 0xe57c37287bba88fc,
0x8e84f80e6a62ee1a, 0xa1c1887c50acfee, 0x341923802ce0f01f, 0xf6a1fe33aa8b2f9a,
0x684f64b76ec8f404, 0x32528b1ea9381a74, 0xfc43154321477b47, 0x875d99f033d8fca5,
0xafdac94bb5ff459f, 0xf456fb3bd3d02765, 0xb49c4853e820fbb2, 0xec010e4e30aecb7d,
0x32ceec0412ceff7c, 0xfe6eb5cc4afbe6b8, 0x987fe50a22ea5832, 0x6051e64fd576bb4b,
0x55813c4454400e56, 0x5d07cbd55c186594, 0x9f82e9fd252214d7, 0x202d326adcdea8a1,
0xdd59ac0273d434fe, 0xe7604e987bad9430, 0x6646a55a0d1e65ed, 0xca0b817be46d7eef,
0xd2e6a55feadb1ebc, 0xe0b9f4d694d048a7, 0x9dc211b84113b946, 0x2d25abbb8b692963,
0x15b1e8655dd2578c, 0x22559f8fd2598c88, 0x342ab68149ba6de1, 0x94324cdde898cf1d,
0xdf22fd13dc853583, 0xbd30d017aec621f4, 0x5da1173103a35bde, 0x9e9ea720d838e25e,
0x3f25b3f9f0c47dc0, 0x4260aadb1f0d47f9, 0x533d14f43ddb7b81, 0xb9f50632159ef9d7,
0xf0ad6ba4b92cd67c, 0x522536d340ee462b, 0x732bd544734a37d5, 0x966e680df233faac,
0xd06e3afcc23ebda5, 0xca270dd5c8904203, 0xd6b2435641b41ab2, 0x94211284ca2d4853,
0x7c12f1925f381c5a, 0x1456de793475ec03, 0xa7d0f488d83605cd, 0x93df76c5b76c5deb,
0x8efdd4c888fcbabf, 0x639877d93cdd0a69, 0xe17194ea280e9aa0, 0x85b2e7e063c4b79b,
0x67f1666038af422a, 0x90b3483f90eb1b11, 0xfb0febfe62d4511d, 0xff31883b9e2bb758,
0x978b9e9ebbff91da, 0x96c001d950ef2773, 0x319ccf0b92a9b87d, 0xb74246696a278e2b,
0x49c2e223cd73f18e, 0x9afa097f382ce549, 0xffd5ad367a4463c8, 0x5f75ceb68205ff5,
0x89696cfa0846388f, 0x997771ecb31c6717, 0xa1d975b1ac160cf2, 0x4b2ba2d84f5d379b,
0xb72c6b2f594fd770, 0x2a5264ce48e0682a, 0x68e79315a77bfb3e, 0xca2594c2233fb83a,
0xf9e07ea99204862b, 0xff67b17e48707c02, 0x1fd27124327a8d62, 0x6ab4d18456644dd5,
0x1299cb3123f412b0, 0xd78cb5ef22660c9b, 0x6ec7c74e31d2f267, 0x4c890f0752568ca,
0xac157c24785adfad, 0x3510a48da6687ec5, 0x34b54694732e5d86, 0x8bb10183c4404388,
0x32831f4f1f3d7c2f, 0x9f9d663e518571fb, 0x65d89925dffec759, 0x5654ca184d7bbccc,
0x728907bca9050fc0, 0xa46d262d1ecca105, 0x4d2075896fb357e, 0xb2ad3333b485d135,
0xbd91da87e750b850, 0xe5c53d2cf8e01fd7, 0xd0afac1a1c823cf0, 0xd2965c3afeff04c2,
0x7fbe61afbc98b331, 0xb8407e26170c18a9, 0xbf6b310f6c423e26, 0x47b0efd1d422307c,
0xff431be9bbee9e2d, 0x8ea74206c84bac67, 0xa862297e24db16f7, 0x90bd5b496569e428,
0x6bfab6ad1b78b3b7, 0x56821fa0dc3953f4, 0xb50d482389888322, 0x7a35bd07c482b0e6,
0x51da997b1fe46e39, 0xe6922b130ccf788d, 0xc7ade845506f89f7, 0x7366dfc240cb7136,
0xefc8bace80a555c1, 0x95617a07801896a8, 0x166b526a458dfc65, 0xc012338889cbf0b7,
0x7e91836015e72bf6, 0x2a65f699471edc15, 0x99fd0d0e2af2c908, 0xeb7bd4264d3ceddc,
0x4e4aaa1c104ad9f3, 0x416c6c0eaf268274, 0x7129ea53a6086edd, 0x639f48ee74d19815,
0x7fff0ffea2e5b297, 0x3aa5d62e2b728b72, 0x22f52e3e75a383d0, 0xaea9d6b9fcfa48ff,
0x3da155571fd95bd7, 0xd82d888c5a23065b, 0xe7bb40c764a176be, 0x6368a420e1a87bd9,
0x1606460246be3332, 0x64efe319ebb48253, 0x818e3ef8677ea749, 0x36a42e40bb0eaf65,
0xe14a65ee9a6a67d8, 0x1a02d8bccd1ab2c0, 0x818997e6649a3554, 0xbcbfaba17057575f,
0x699c5132bae4e845, 0xdd6d91bc14ea7141, 0xe4a6fe7c926e749b, 0x64641de9cdffb710,
0xc214ee66ab318c6d, 0x9b2e0f5677b3d102, 0xa3a396dc1bfb37dd, 0xaa182ee13d525960,
0xf09a2ae2380f3e07, 0xa627c8c4c8756989, 0xabcb9b6c11be02a4, 0x69b3e222aa93153a,
0xd7fd13bce6069f2f, 0xdc8fd8cf5feeb7ec, 0xbbe4b37baec44206, 0x8b889fc6977c5e4a,
0x453727883630a79c, 0x9b03c0d98140760c, 0x43e93a68be56a427, 0x966dc630a3217050,
0x347776da0a777b0f, 0x7d419b54cd441a67, 0x537e3454eac71822, 0x7cdb7f418bbfed44,
0x18f83be1c44bb98a, 0xab90d7c7ef5099de, 0x719dfb9c56b3cc0, 0xfcff45cb9d92dd43,
0x74acfbf2f3c421dd, 0x9eef2ccec9924af2, 0x99334f0f55381625, 0xe797dc1a909a293a,
0xb96297cffc9d2db2, 0xf2fd38329605f234, 0xd654a7957e29f329, 0x23586de8f6658f81,
0x8d9307c9dd28159a, 0x477f907e1c8c061, 0x3ddc6d0483f27070, 0x312cb7ede05d9894,
0x9f68a321d5e00084, 0x5b8d8846d4bd2073, 0x8057a08f84793bb9, 0x6a96dc755e30c9cf,
0xaf5bde993e7947c2, 0xf4f06963e7291ad5, 0xc99a0ab8d5ef71d8, 0xf7fbec0bc6e38ccf,
0x37ea4db0d19cebe, 0x761b39b3bd100acb, 0x77dcf28c83f09f36, 0x2b50ec288fde78ad,
0x14bacc6ce9a16d35, 0x91274e2f00e7e0dc, 0x7612ab87be7438ae, 0x47256b94169c8d7e,
0xa3fc527dd62bce16, 0x8b3ea5efa3a8bb74, 0x426778d3c484fc88, 0xa0c8a16cf800606a,
0x5da5e3d08b7e935a, 0x1509abf9b78e26a1, 0x3e70b2616bb64349, 0xdbcd9b054f90d871,
0x9b5ee430274c650c, 0x57f0ce43ccae77ce, 0x81e5ba0fd32a1521, 0x6333d645ace8ab25,
0x205c6f16af26aab7, 0x567c788298ab654f, 0xedd98252094679da, 0x4d89127ab89f23d8,
0x81786dd160028b87, 0x2fd12fe172067ea0, 0x214015507efd9ba9, 0xf6fa90f7c3db60f3,
0x7daa1c6b7799e3ec, 0xa76778f3b1bed49f, 0x2fd0a1893bccd5c4, 0xedb710b9a9f8dd00,
0x297cccc988ead218, 0x8e220a9c3ae57688, 0x5390bc4ff542ebe3, 0x9667d951b9ade157,
0x453450b1beaa2ff5, 0xdf6029d66c71f1c7, 0x471f51fc2973bd3a, 0xfd7b0baa769299c7,
0x8c992408861d3787, 0x4828636e141b4d47, 0x47ee9997f26fbfaf, 0x668cac9af83e9e5c,
0x2f2048e73dd5a959, 0x387af5a67119ee03, 0x5be3efc7b1fb1947, 0x8005f39d46f969c,
0xa613268fc749cc63, 0xf9e32699bc4bf919, 0xaa9497cc4ded0707, 0x2e2c18a4b9a4c24a,
0x91f204bee1698d1c, 0xfeaea719f3ebd716, 0xfd5cbcd199a3a85f, 0x5ac3fe5f4c0259dc,
0x71e00f8cdb511e33, 0x1255a72093a4ae83, 0xeb62c74421f9e926, 0x2a7f03a13321a93,
0xf0f85f43c0346e50, 0x3175917a69c91058, 0xb419674af2446477, 0x14d35285881e921c,
0x6c3ab8c34f804727, 0x13e5b5d8cea183d8, 0xa74102f49045ce5b, 0x3fd50bf031056ae2,
0x6849cf8db8855b59, 0x3090df1977e5d79f, 0xadbe6cc83b17215c, 0xd2b96affa0fbda2f,
0x6a4c05310422b7c4, 0xffeca177da767396, 0xc0fbc3b15c42cfab, 0xd757729fc9eec2dc,
0x2e50623a8d7aafa7, 0x720d060250fce5b2, 0xcf483d92bf178c7b, 0xb2c38614974f253a,
0x39451b11acd1517a, 0x113a04b1db26ec8f, 0x7f9cb5d535569e68, 0xaf5cce092373b0d5,
0xc6797cc989f89ad, 0x6d9ede8e9f0f11c6, 0xa256bf037ef782bb, 0xbd21ed1b51e88ca4,
0x502fd6d1fe725f80, 0x121ab317d8e6c818, 0xc5607c5b2a6bc1ca, 0xf9dec24466ccfec0,
0xa90616fa1183aa30, 0xc7907df5a9443b50, 0x5fb8f225467f0c65, 0xfc0e2633a5551611,
0x3752e674e02a34b0, 0xab555455d3f48e2c, 0x45bd8335e5d24080, 0x28adeb74f3184f43,
0x42ea8b4b375f5b22, 0x4a57c9a9f469b445, 0xaa57a10c10fdbceb, 0x73e58833e3adbf9,
0xea0627e3cbab0f5a, 0xa2cba1cfc73263ee, 0xb6b64ee0fd30ed54, 0x47b105e30a76829a,
0xb42aac85980ed0b7, 0x9055e3578e19e7ac, 0xaf6aeced073a9430, 0x7fc2488b13670c53,
0x1da9f6ece65402fd, 0x1bf865c12e7f3748, 0xd786cf3d138eb99f, 0x58a82ca1b06eaa8,
0x2e1bba868dd8610d, 0x1542ac5373b52e85, 0xb87c2c5f56ae091b, 0xa6adeade2ab31c47,
0x156a4ac4d605cd49, 0xac9ddc40372bcfc3, 0xd69b992f97ec5b7a, 0x47892df68fa04c83,
0x733facc3c2ce47e7, 0xd382ebdb531d28c, 0xae30b1228523b027, 0x82f1ffcddc0f20d1,
0xa82a96d1d0da63fb, 0xfd52eeb71edff51c, 0xb61d5f5275521d43, 0x6ab4c4153f48ba54,
0x8a1910846540ec67, 0x72a6bd7b42db0097, 0x45a97a3b75330807, 0xc5feba64838d2d0e,
0x3f13b9ad17a6b533, 0xd619a970bf2e55bc, 0x94df6e1a2a1c8d20, 0xc868cf861bd4ba99,
0x730e2c5dfaa9d07a, 0x4e1b7284972a1ff5, 0xdc2ef16977e59aca, 0xe6bb97ee0e7593b8,
0xcec18e438e680de, 0x92e9b3d3095ba14a, 0xfaa7eebfc92fae3e, 0x4ff3e2b474c78e0d,
0x5cc245daff08e088, 0xa996b936c1c455f4, 0x3b40576c7be72442, 0x375a2259efc0cec2,
0x74ce578481c5bb9c, 0x45deb810941496b7, 0x91ba2c67d5691661, 0x71ab895c86e3265,
0xc9bff24ae392cfda, 0x315b52e6fb60b9aa, 0x6581744f03a55c3, 0x459793d06f085b85,
0xcb28c86b8b13e69c, 0x8eda1935f9e11e36, 0xd381746246018fea, 0x81a3d9969bd0e0c6,
0xbfe59dd1857070ff, 0x1f8fd91af74bd4c3, 0xef829affb65d0390, 0x179ef3fe4eed7dca,
0xef2452c38f96359b, 0x67103d69b767027b, 0xb0ab4ecaebc0e403, 0x670896fd2db668ed,
0x61e50d9722ea9a76, 0x257af46f30bc97a3, 0xb934d8ea2286a4cb, 0x917b7729bfdcfc7a,
0x7062e8ae935c159e, 0xc5e4dfccf6d99c1c, 0xb8266dd82149d07d, 0x64ed2dd1b4893675,
0x5d3f900ad869a6a3, 0xd689d930c577b49b, 0x70d32939e57b2876, 0x526ee8e8980fc340,
0x8875f1391b560a35, 0x758772dcbe02c5d3, 0x719419d564a16597, 0xdfe38d23091c06d5,
0x7663b8f7526c76bf, 0x2c4f3516e282c198, 0xc5a9002d99491e56, 0x86487c690708c6c1,
0x8dafc2e7e5fb79b7, 0x51676c853ce5316c, 0xb12e985b620a8ea9, 0x3b59e1c2f9356d99,
0xca26b014a9a196f9, 0x7c9cd9e432c65bae, 0x92db1b6b1e4e750c, 0xd9fb219277bde1ca,
0x7cd7f4cf6e0cff75, 0x2277b4c3b4d40ec8, 0x8d16145c7d2ebfbf, 0xb10094ce61f21a64,
0xa6f00d83778f9a2, 0x971d0dc815ce487a, 0x6103f62c5603611b, 0xf7e14b26f31c02d,
0x66d349740022a17a, 0xff4ea7adcdb0937, 0x4fc0c38e100ec162, 0x70c60c0c41a8267a,
0x106ea0c2ea147aef, 0xb5d024a589017727, 0x35fc983461990080, 0xeb4c06c15da1bea2,
0xe4ca8ad3bbf4f9b1, 0xd84bc167d1e68e4b, 0xffb313e4c8d1fd6, 0x8f5269ee21ef1816,
0x38b9ddf0af7bf857, 0x13999f0c434ccb9c, 0x2208a27f329f9904, 0xb687906cfeab58a2,
0x11c82a880e658e7d, 0xbc5cdd505e94a770, 0x5694e228ca8cb97f, 0x5441d08743d4f2ea,
0xb88cabdbd9673ffb, 0xcf68a085eff40c5b, 0xa3acea9d23275d, 0xefaa8e9a24a706cb,
0x3178da6b0093faa9, 0xaf62a7f2807691a5, 0xb0ca6cef30401e90, 0xcb81889580c24dc5,
0x1a8d80f18115b314, 0x94914721e98e35c4, 0x4ed4f5ec483784e8, 0xf7665c0160657d6a,
0xf55383517e55d64b, 0x1592d7a6abf28a6c, 0x3c0fab62eb0f0ab3, 0xe7d853d29114ee56,
0xbe582e97adb89b3b, 0xb900f489a0acd8f7, 0x81318f33227dddff, 0xfc3a665f732fa2d4,
0xc26151efc3fe9fbe, 0x89ce0ed3d286b2e5, 0x3aeca3c07c70d113, 0x140fa52821ba3d0b,
0x103264150b0197da, 0x404e42fe57390bcd, 0xa9b947fcf2a3d114, 0xe6fb354ef998e4a3,
0xa0b164fb2833ec6d, 0x3cc0389ddb813d15, 0x9ad96b166c63c968, 0xbf9d9c376481e2dd,
0x272ea15e16b61acb, 0xab17b22d307b1510, 0x3106145e07bbe83e, 0x901f3b86761a0b07,
0x7fbfdba8bd6c3310, 0xa90ad48b96fc84a5, 0x4cb5fa2f6ef068ba, 0xf10c2cc1597e986,
0xfcf1374f70843c7f, 0x31aa73ab82313bac, 0x2e78d532cbe8ed72, 0x4c6f0358e4bc1b01,
0xd73454a5f3c17c62, 0xe180c8a953830c72, 0x9ad157e6edd537c0, 0xb261571e3532e209,
0x9b0afaa1da8d3a11, 0x9d423306a436603c, 0xe6c803c8d22ce03, 0xfc55722c7160d272,
0x387259126073b59b, 0xfb82029f4986c3c, 0x5d444a1d602493ff, 0xa5970a3878672ea9,
0xe7443f09c172a0ee, 0xf5ed4a6b85852a4d, 0xc00564e39128a716, 0x4875969584dc694a,
0xfab419307c800dcf, 0x3d9a17a5864f6de, 0x727b642a19096c84, 0xe2cb8c983cf89d4e,
0x73d69983d657743a, 0xfa86399739dfc17c, 0x824cb15b9a011eec, 0x93725c2cbabfadf1,
0xfd3653f87b00179a, 0x76bea4274c6e2fd9, 0x2547ffe24835f605, 0x88ef273b5d964413,
0x42740e270d4df65f, 0x3df27adc5a74bb49, 0xf14d6a811dba2de9, 0xaea19bf07570eb23,
0x5b83a8b4b7252b10, 0xb47ab02408993ff, 0xc2803bdd460bb922, 0xb70cd8db93ab5c1f,
0x51989547523aafe2, 0x4f710060140d71bd, 0x6cd52230d5999d13, 0x6238d4ccd70c2ada,
0x4d9869a863b965a5, 0xea74074f50a4d12, 0x8eaafc506fb7b8d0, 0x5094a4cc40d6b384,
0x41f34f07995c2690, 0x9019ecbc2202d96e, 0x943c67685df61ecd, 0xbd98d33391d9e4bd,
0x685f41870ee96e4e, 0xa74f8af54ac4de05, 0x7ad8bb2c35d2f67c, 0x3586d1e33642ea03,
0xf17cf8368da388af, 0x9fac4ddf555236e9, 0xc663d76025a87a31, 0xa314bb0551e648e6,
0x619ac867483d5fb6, 0x10652ee464f3d1d2, 0x6747add597045ea2, 0x522c9e354ac9bdd8,
0xc19a3b060e29944a, 0x5abec57e83513fea, 0xde792b56ad391163, 0xb7cd37db7db3c6b0,
0xe2c6c361cfd8d3b5, 0x2db37d308dbb7a5, 0x9e177112d449c448, 0xe5fbe8abefdae2d9,
0x11b48808d18529ab, 0x77d11a2ca1c9206b, 0xa1b809ddb9a09fce, 0x6b21623d9098a4f0,
0xb0b1feb82c623d5a, 0x510e59981952f5ce, 0xaf982813ff20f2f7, 0x78e4207bf164f56c,
0xce769ce30b89e97f, 0x238a6c021d61664d, 0x670c008e63c38120, 0x9c9780d6e5216abe,
0xb223d451f2ba8f66, 0x9d94e9baa1dfdf27, 0x34862cd02c4018f2, 0xfaf14f1a88734d89,
0xc567cadc749672ae, 0x2522ba23f3603d7f, 0x60a7d998f5fbff58, 0x569b2b0c831e5e84,
0xed605f42c56f581b, 0x33d244031b46b57f, 0x16fb1edbfa77b450, 0xa85e1e0983b72e03,
0xebf04f484cfddc9f, 0xe2009a40ae419e20, 0xb0f644a81e667e7b, 0xe10f0da3492c71ee,
0x713c32c2f9662c76, 0x5e75fc2f6f3ad4ee, 0xa0432c89b6a7c7e2, 0x288f33d49d2cfe92,
0x10e587202640a1f4, 0x10b1068c6e76014f, 0xe6065c3a9986ae03, 0x9fbbe6d5a4fff8d3,
0xb8fecf7a58989a7e, 0xa6066cd9cb1af185, 0x806b7b7df2b890e3, 0x66a57f62b1687390,
0x3ac95ca834605fb9, 0xfac5881f70430b05, 0x21030034dd2c973d, 0xdafc20b58217f7e2,
0x5dea7849523c5918, 0xa36bf43d4e56c0f9, 0xabfa1153b7004c2d, 0xb16fbbe2589c105f,
0xc2bd305a7b88417d, 0x5dd659c1c41e81d9, 0x4af223d07d4ccc27, 0x72592c609acfa00f,
0x23016a57e01df27f, 0x3ab317757cb71cbc, 0xe3f00cd012f073c3, 0xf86ec5f2b9bca1d8,
0x6cc4d8b51ca6a697, 0xc1c5aee8fc510923, 0x33999a0d3fdc646c, 0x50ad77ce8d3d8a40,
0xcaa797571dd431b7, 0xf5ba1d59ecfd7784, 0x1847fe7fc4118392, 0x1b828fd8b6a2251e,
0xed17cd55b54254f8, 0xc484881d1cb2cc76, 0x9e923fb125da0178, 0x98418e55edae3e6c,
0x418aa9be30c7b6a5, 0x2a97b9c16d9a40c4, 0x9ca7179f7ae9b73f, 0x53ec2662292e2cd0,
0xc72373361d63d283, 0x2bd62f4fb5a93f9c, 0x766cfa6266edc692, 0xb929975a52b4949b,
0x6087eba9823fedbe, 0xc7602c0c68070eb3, 0xe961728afdb8d187, 0x4c62d45e58229ee0,
0xcbc83607321f912e, 0x6e88e4446d09feb5, 0xa63a329f8c55ca7a, 0x9bd8dabc5d6643f6,
0xc11d92aec63fda35, 0xea88e78f1472710f, 0x1552a9f8e06a98f8, 0x1569ddf6abcc5338,
0x8b035d795b236708, 0x90e9ff7e5b6538fa, 0x33684e21d07cfd6e, 0x77b31029dc5d23f4,
0x4adf9836a9e8e23f, 0x5727158b72c6d3e9, 0x2bc23ff6ce91295a, 0x476f4fc149b62762,
0x85dc9c2c058221cb, 0x7da1d870812885c7, 0x5cf96044e6298d48, 0x7543ebb5959009a,
0x1ce1f432f4738ba3, 0x48e27246f8f2e3b, 0xca595f6b7941b85, 0xdf828c50fa7f40dd,
0xb2080f80d6b6c32d, 0x8bb3f05fe3f7203b, 0x3e01e28529689a3b, 0x5a50ca6de8ff761,
0x6340a3a583ac491e, 0x7646c34aa12b8335, 0x2823966898e5575a, 0x766553f1eb63d83,
0xdd0e7ce652e86a83, 0xf39ad2c19070858d, 0x895f3b77a7473b30, 0x218ae7ba4805685c,
0x3af34c2b3e828cc2, 0xc70767d69784613a, 0x9f5b93add63e85a8, 0x6bcbaecb868b4369,
0x482834f03af6db10, 0x9263cd85798c8c99, 0x7a65eae2739a156c, 0xc8d5a31178a5b060,
0xf88a585b4e941de3, 0xb26162eadd53df9d, 0x351a351c236547e4, 0x1a45f0718f2bcbfc,
0xc6926a99d4eea676, 0x7867bd495813a1d0, 0xfd78ad95a7e519be, 0x498875fe637f808b,
0x2c600c277cf012f0, 0x86bd9465836e0027, 0xc899a829fa5f7797, 0xddd56172bbfa8be9,
0xdd085f7cbde56c94, 0xa0576095499bdbcb, 0xb76dbf2ab69b89df, 0x1e2eb566d75705c5,
0xbdb3785ff5ac8f96, 0x115fcbb1b7c8a276, 0x25529c811a6fd85d, 0xcb82e7cd6ad3d774,
0xbee1ad35b7da6d13, 0x173ed66a63dd9a4a, 0x284c49ffe9ca52e0, 0x140dde81df786559,
0x1f964a4f2b76eafe, 0x69ff8093a1fa0a04, 0x629a0d9380bcc8eb, 0xfd8f5f7280fb73b5,
0xc829639fbf59f6fc, 0x3c4f2e481023ec96, 0x4e404116e7c4b376, 0x8bbcadac68245639,
0x87a9f24219f2283b, 0x913f490efadf0b7f, 0x71cdaa2e1cf78969, 0x34f1d1a3c74345d2,
0x89b3a3c4272b9cbd, 0x50b0dce022c116cf, 0xe4956f2e9cc5ea1f, 0x523eea579c8bfa7c,
0xd7427bd8d15d385a, 0xe3bf95aed43d5f22, 0x24491cf8a25c0822, 0x6eae9b6d362fa2a7,
0xd0f8062d3a7d74d3, 0xf44a46480c186441, 0x9a25daf272d4a24a, 0xaecfe92ec7819a68,
0xda465f9e52e5ce33, 0x43f9fd540508d2c7, 0x9690b9165631cf8a, 0xa1618ab7ac8638e4,
0xb6703a620c192f21, 0x6b6fa0a3623e0aa2, 0xcd313685c8978b59, 0x81437e843cfdafcd,
0x9ae0356280a0e6bf, 0xf4af90cb3cc8a8ba, 0x9a847acd5c0174cf, 0xc46767c12d49a665,
0xcf330a2f95fe4e53, 0xa9645427d37ebdfc, 0xb35a5dc909f32e09, 0x4375ab1d7c75c8f2,
0xbc50f6e3da78ecbe, 0xbbf988b0f14afad, 0x84da34d28b54a77b, 0x8953207b4ef5598b,
0x3ec6544bb1f5ce0b, 0x6c40bfcc88b8dc30, 0xdd242aa4f0b33cab, 0xe458bcd603acf286,
0x4d21cba7fa850f2d, 0xee635ba4cc6157d7, 0x54a162f12e56f396, 0x922188e460cfe22f,
0x62b30f7afeb4356a, 0xde9b859483404d10, 0xd0a26c4f33ac38b7, 0x426665745195b53a,
0xacc8bc380e97ba26, 0x901a4253af18ffb8, 0x8bb2a9d378828605, 0xb06b53658e4d116c,
0xc87bdddcbe4c0685, 0x37ff5c0ff9728318, 0x9efdec75580bdfc2, 0xb2010bdbbc2a2c05,
0xe543ca0aeaa3b7e3, 0x2ff85f279cf5500f, 0xa79c70822eb03037, 0x3e4675c830e55b33,
0xa02cdf78645a5d6e, 0xb09d2ceaaa8a4160, 0x1593075850132c57, 0xfe5437e4842b0812,
0x377e70b05ed6c7ad, 0x504812681466dd09, 0x41cf2edf21a0c64a, 0x7d6bc344319998a1,
0x8cb1b3bca058c340, 0xf2b7678a4a5975dd, 0xcc8190d0d0da463a, 0x4c1334fdc4a80aca,
0xc0cad8811bf7476c, 0xfdaaa0f51ddfad14, 0x36c880db3b17e386, 0x44756f1063b6b4d4,
0x47c4a9d4acfa8d8c, 0xd530988d4f47009, 0x56be74323b8bce6a, 0x468b5f2b95e493e5,
0xb41116842c61fa38, 0xd03d9f75b2e6e0b, 0xe0cc563395458d41, 0x5c2c6c12fbc92862,
0x2f0949db22cde2b4, 0xf45d97f61f6430cb, 0x1341004319adc436, 0xa5ff4b319ef6eb02,
0xb4bcca9e13d65997, 0x58e447f0d73b9147, 0xdff1d3d46952f705, 0x4c88acb463e1db58,
0x6fa4495c5a2ece57, 0x3f9a141e97e90040, 0x60f4c7c17d587f3f, 0x94f96e23db2c29f5,
0x2723c26692da4c5c, 0xe29bc7bf380283e8, 0x40fca7b4d21bd577, 0xac83b7cbec706507,
0x81e094ec80bfe529, 0xea4fe794c5b2e126, 0xa089510ce88f9cde, 0x5f967c74d766c26a,