forked from LaurentClaessens/mazhe
-
Notifications
You must be signed in to change notification settings - Fork 0
/
commons.py
1256 lines (1252 loc) · 70.4 KB
/
commons.py
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
# Compiling with 'pytex' and the option '--verif' will check for
# "references to the future".
# The program will basically look for every occurrence of '\label', '\ref'
# and '\eqref' and check the corresponding 'label' of a 'ref' or 'eqref' is
# before.
# So no way to write
# According the equation \eqref{MyLovelyEq} we have \ldots
# While the \label{MyLovelyEq} is lower in the text. This will produce a warning.
# But there are a few circumstances in which one wants to do so. We list here
# the hashes of the LaTeX lines in which we accept to have a "reference to
# the future".
# Why a hash ? Because virtually any string can be valid LaTeX code. So it is much
# easier to compare the hashes than compare the strings themselves.
# It is also easier to copy-paste from the terminal to here a sequence of 40 hex
# digits than a full LaTeX line. Not to speak of correctly escape the string ...
ok_hash=[]
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("<++>")
ok_hash.append("7a1df890aa7dddd1f4f5954ab63baa41ba2f4455")
ok_hash.append("bfd1a50ae98a475338d193c36974ba8e0db5cabf")
ok_hash.append("1bf368b4e889e744b10a2340d790b85c8d508f0d")
ok_hash.append("764b66578335c140a1b5beaf94fef48c9b19ddd6")
ok_hash.append("cba185278f25f4c9556b90c17c6cbdfaca93ddb5")
ok_hash.append("0f57ecbd546b5419f75d4c848532ab52b1ac2782")
ok_hash.append("a43ec4b055cbf054c9beb7aeba146af316630b3b")
ok_hash.append("11f6ec9885d7357ba3d18581554c340300bf9917")
ok_hash.append("7741de571aede6708c2f5040bbe82cdd1f1baeec")
ok_hash.append("a4631d05be6207d01a8bd87efa316c5054947257")
ok_hash.append("2cf08973388b094c56ddf7331e3b9fc98d66e8b9")
ok_hash.append("ad571a5a5c68555063b458c27523c680cc25c8f2")
ok_hash.append("f4bf91d2c4cfa791464fdd6942ad9d967bd16c02")
ok_hash.append("9236cb79ec6bc40f1658b7a186b2f8fe8d3aaf7c")
ok_hash.append("d22473938215a824e1cc5b9a345ec320742cd45e")
ok_hash.append("dfbf0b64654f9f5f20cdd87469778b0d0eab5cd6")
ok_hash.append("cd6cd7e614ed69363bfca667a24936d45b912e01")
ok_hash.append("62ba2ae945a55c8accf94b27068578cc6f9d7169")
ok_hash.append("e49715140e51de2d52523e8292438961a05ef6a9")
ok_hash.append("d603ac725b3a666e45f96f47b2f55564b5d3c6dd")
ok_hash.append("c9021dafe1c516e562b130bc01491194a66c7438")
ok_hash.append("892b9ad1e42d6b2bd4c1198672518faab63b2ca8")
ok_hash.append("21d2f897b4879d094a079e20d252ad718e77b601")
ok_hash.append("c518f615fd6f274864fcdff16f3f4619039ecbd7")
ok_hash.append("5dcf9552a9c45c3bfb8cb23efd871780a748b77e")
ok_hash.append("c050d5768ddca515387eb1583c8ab7df9bb187e9")
ok_hash.append("2dba9c3353d00f053b6856adc86bda3c12470194")
ok_hash.append("85f6d03b6476f430e191a4bd1fc49b10e7861fb1")
ok_hash.append("e222e016ce964243bbbc4ffefc7efb8f7014cf8c")
ok_hash.append("4076ab83e63aea387a8e1e2ddee63e7fe0ceb1e3")
ok_hash.append("8577b9b64aa6e972f5fe9a99c986cea6c6c32d08")
ok_hash.append("e19edc814e596410cf662803aeea37284c23c1ce")
ok_hash.append("409f982e7bcc452228b40020db14d50f044e99bc")
ok_hash.append("b9e23314f899e788d576e1cca53c173898eaf5b7")
ok_hash.append("c4d2b50ce4e69e780ae36d471e020d84177e4ab5")
ok_hash.append("09f3118fcc4488f93717d3b194c7bd83eb6907d6")
ok_hash.append("133852214e773c84d2dbf3e4ba61548525328653")
ok_hash.append("625ff9800580f53ce7ea24241a80619451e43769")
ok_hash.append("5e05ef9edc4435cea79673df564d23440a2d558f")
ok_hash.append("c612af1e80e737acc4d4d3f6d80bc3dbe0237c84")
ok_hash.append("beece56db35a0efa3a03a11a0c4ee88bb66b75c2")
ok_hash.append("fe1ed241501408c80d44c90895a008b941f9f5d7")
ok_hash.append("9e05e9add3303b8c4d4ceda2d99587804961f2a1")
ok_hash.append("f08702cb4d038a699fbaf3bc9b69ebe3d34b9c3d")
ok_hash.append("1359922faffc84f950f6628ab76ee374c4321f0a")
ok_hash.append("1359922faffc84f950f6628ab76ee374c4321f0a")
ok_hash.append("90643e1b1576b44831d979ca0ee026caf381c611")
ok_hash.append("9237322b048652534586ae32db7443c67e36aa09")
ok_hash.append("7f427e4bfa8a5f03b113e8093d5e7d7e6f2edd3b")
ok_hash.append("1d70d3a9de8656918e3a5002e8043a03e4a2b211")
ok_hash.append("cf69474e1bb35d5c86a8374e5651728b91d4b39c")
ok_hash.append("18a3f74a5cb8e7f8abb59149b571e25aebf1c8f8")
ok_hash.append("da1f7bd49502dce5bea2e48f621bbf0431092117")
ok_hash.append("c39281162f55dfeca1e450a4c1080a54894c475a")
ok_hash.append("d3506aae0fff1879d369b43d24a37df225be4cea")
ok_hash.append("21bb9fc3a005683b8f188e14a21804c61717b212")
ok_hash.append("864b89be48bcaa7c47a01e9c217c92a9ae730668")
ok_hash.append("c80de39ee10474385009f2cb2c1807b7eb816227")
ok_hash.append("8b4919c6ccf0efbce18e64df9cc5c203e15cbf5a")
ok_hash.append("f3fb1cd08344c1263958927b06b5ca9c677585a7")
ok_hash.append("f3fb1cd08344c1263958927b06b5ca9c677585a7")
ok_hash.append("5a69747c5f103c04a4967db5037c8415e8fd21e6")
ok_hash.append("f98eb2b3cec6fcbba61ad6e3dcc294695bb3d738")
ok_hash.append("5d595bd17f978cb9e983f12e47004c765d32067c")
ok_hash.append("473e21c46792c77b1161ea30569a4f9bd26c1823")
ok_hash.append("5d595bd17f978cb9e983f12e47004c765d32067c")
ok_hash.append("3d9022c9634d0d65dfb4563cea0492b3bbd76139")
ok_hash.append("06590b75b3cf2579add48359d49ee33d57f2bc85")
ok_hash.append("1d28b70d234ef16a43eeae6d011ae79665d7ae5d")
ok_hash.append("9f328ce6207531f64004e7d00b21aeac7fd3b2b0")
ok_hash.append("1d28b70d234ef16a43eeae6d011ae79665d7ae5d")
ok_hash.append("6ef877a1e7576eeeff9d452a28221c3288323df6")
ok_hash.append("05f73d020270734a1d920a47f30fb9924776e52d")
ok_hash.append("6156ad28197b37109393c8de27ec1e0385761fef")
ok_hash.append("d01cf23bc3d221ba1bd57d4bfb536a5b7ef2826b")
ok_hash.append("a72a255eeba7e159ccc4c9adfd31d66b44e08ca2")
ok_hash.append("b7c367528004ca1bb1b46acb6ca6b453227fd912")
ok_hash.append("a245f7f67d380376ed1f23dc8caa786904be3792")
ok_hash.append("aadbf32c7b8975ad4eabeef1c1ece64a4f7e7e29")
ok_hash.append("c6ced9ee1a79d35fe04aa070fa86e9d8475ae9ea")
ok_hash.append("3374a7f5b0f40afde0bbf7f8b58a923400b3e9be")
ok_hash.append("8956ef1b4bc486bcdbb6c7b0c99946e5a1af4991")
ok_hash.append("faff6ee462d8f1cff871a83e9859cf11cd11b20e")
ok_hash.append("8ae0184c5357fec204c4236ec570ac88c1002a04")
ok_hash.append("e3f45fc81f29543c8250b50a7604a30bfe1689fc")
ok_hash.append("2a37a9a451f46b8bac5fab46e80749418d3046a6")
ok_hash.append("2a37a9a451f46b8bac5fab46e80749418d3046a6")
ok_hash.append("a2bc9f027514cc0a28b2c3b905f7857d48f67707")
ok_hash.append("1e2ac1b5676328be873bffeb19741497b3493a6d")
ok_hash.append("4309edb19847e07a8d4deea749f3234a291c29ce")
ok_hash.append("4309edb19847e07a8d4deea749f3234a291c29ce")
ok_hash.append("02f2a78931212f03c8a416895bd1ec014a986059")
ok_hash.append("b3e5ea689b4481a854a72f0e2283b659e9160a69")
ok_hash.append("75c65f8402c79d8e5f3eeef7a5c722e0b2f8726b")
ok_hash.append("b9ce097d2c0dad513a77854238aef8b3cf9bccc2")
ok_hash.append("1d3da8ec4f16c901380aaeba409ef68af8489e9c")
ok_hash.append("352610669307711fa0a41445544bcc3bfad9855d")
ok_hash.append("3cf1eda06b2987af60fc29ffb85893b611e9a6b0")
ok_hash.append("042d891fcd60e1a8a89c53f8628c967451adedb9")
ok_hash.append("9ace7ac740885b95202501c6910cf7139dc4a1de")
ok_hash.append("c80de39ee10474385009f2cb2c1807b7eb816227")
ok_hash.append("c80de39ee10474385009f2cb2c1807b7eb816227")
ok_hash.append("33ce51e0e66569a5864956ab3d371ee7b973f42b")
ok_hash.append("6cb3dcbb1313531d5258423d416d16f2040d8c24")
ok_hash.append("7eed6a0b153303056575ce27947aa555ad958dc4")
ok_hash.append("7eed6a0b153303056575ce27947aa555ad958dc4")
ok_hash.append("88b608ea99b879b6854983061bb2bd5723ed57eb")
ok_hash.append("88b608ea99b879b6854983061bb2bd5723ed57eb")
ok_hash.append("88b608ea99b879b6854983061bb2bd5723ed57eb")
ok_hash.append("88b608ea99b879b6854983061bb2bd5723ed57eb")
ok_hash.append("1dbf7ae37dad158fef3232dac95d08d90dc7adbb")
ok_hash.append("0e820914d147dd5329bb39bfd8966b1c6b11ca4c")
ok_hash.append("8863a05b1ab4fe88436f10d5fdad2b60ed517eda")
ok_hash.append("b4c75ce360353e38694f686421f83941a7ce44df")
ok_hash.append("679fdc042a9678b083360231190f631a8c02fee0")
ok_hash.append("8ddab9f7cd418fea848d5a873112c6f65f13cd2a")
ok_hash.append("e90dccb6e5f7aeb862c12dc8a591ecbec624eadf")
ok_hash.append("3af0a85bb47b564392aa46a0c79a1a6f47fbdb2f")
ok_hash.append("5748f526c9971be0e4456b808df169e7a49771ea")
ok_hash.append("be8c2a6179eb1b20b7bf4253d59f82509a5e7415")
ok_hash.append("6700f4706d11db7858ef27f552b143e8ab688005")
ok_hash.append("c1c5c6b0423b2c62a78cec0c183b95f51e15d1a2")
ok_hash.append("4dd3bc14e7bb719cce6f42d5dfca714faf9ccdbb")
ok_hash.append("adb7b39e96e20acc99dda9dd16a7b66ca2847e32")
ok_hash.append("ed47050cd8eefee30d7c1e6c0ade56ebf785403c")
ok_hash.append("a23d3abf8a861f82aa6c24e2cda50ac3fcf14012")
ok_hash.append("13e3f7b0e7f82396c41ded588beef3c61552aedc")
ok_hash.append("4dd3bc14e7bb719cce6f42d5dfca714faf9ccdbb")
ok_hash.append("fd236fc095ace1e9709419dffc0096f2c4202bb5")
ok_hash.append("13e3f7b0e7f82396c41ded588beef3c61552aedc")
ok_hash.append("00f60f785150c35e41d40566591753cd5c756368")
ok_hash.append("a96c1d63a11678a5beeb56bccefee0dd964187bd")
ok_hash.append("e8d0b7cb4b10e084edc8857001c7c487d53d55b9")
ok_hash.append("a23d3abf8a861f82aa6c24e2cda50ac3fcf14012")
ok_hash.append("32d95ab1f6faa2e24ce172b40fecc3984b48cd0b")
ok_hash.append("1fd53cd204deb4c4224b9b23b1417377c65b9224")
ok_hash.append("fa85173ff80494315622de769b878115bc68edf0")
ok_hash.append("20cf3be4a4fb3eb4744f4e3021b727de26c6d520")
ok_hash.append("f8461facc10995cb17979efc7be8647dde020a7a")
ok_hash.append("750715c15007c0262269d7f80022cb47d35430b4")
ok_hash.append("9c377b65f758f1a143c12e20df83ae44ffac76e0")
ok_hash.append("38025b3afddc4e13efc5d5d2178a8a5d2fc2d56c")
ok_hash.append("6a479a4d77d5bd813cb0941f6fa4ef9d5113e900")
ok_hash.append("787eaf5acd9fcb4c0abdf7af4f411b19aea7a3ca")
ok_hash.append("412adfd00f1b7f02e836842397e746d936393ad2")
ok_hash.append("38025b3afddc4e13efc5d5d2178a8a5d2fc2d56c")
ok_hash.append("975287199d331166025c346be87a969894f8457e")
ok_hash.append("975287199d331166025c346be87a969894f8457e")
ok_hash.append("8b05bd4081470565885eb80b4245869c20082c75")
ok_hash.append("558310b200b783bcd2fd7b24190b8822f0d34d50")
ok_hash.append("d38ba248c578195d34491199b7743b1ecebc03a1")
ok_hash.append("072f57617c69308a8d43b03b11ce0893e5420741")
ok_hash.append("7414b7eb2b7d7329dc5b6526ad9d1238e184ffd7")
ok_hash.append("b3e96dae6cc322fb7ed648f5dc824ff577a257d1")
ok_hash.append("017dc2dcb44a46077d2eb28654896cc6e690de45")
ok_hash.append("d0753e2634163f7a6cac80200c7df670d189a779")
ok_hash.append("97578a2efc529e4c4950b8dbe4a0af2ad9a26c8b")
ok_hash.append("3ab833480574108cea325fca1492067b164a2cd5")
ok_hash.append("6a4450874239e3b6c420b05995d8810ff9cc0725")
ok_hash.append("4d77c7b8fa532ca5549a38b78bdf16cfed074b08")
ok_hash.append("fa13004384688506e872e2c39994a5003690b6c4")
ok_hash.append("b8cf35928710562c7fd5872bbea79633efd14a1e")
ok_hash.append("aa973464d2fd21d1cfd053e9323e1413d61795ed")
ok_hash.append("f135eedcad70cd95b29d35dd69cea20ad878cfcf")
ok_hash.append("7fea57b439111b08a40409ee57a9d9ea5b930d1f")
ok_hash.append("a1c0f8efd2313940389b8673b257d8b06654ddea")
ok_hash.append("c8e10b60d1d92d431d375e5fc6ecda13aee70cec")
ok_hash.append("769a3b0c6301c92417ec3bc9ba92da0c31f1a569")
ok_hash.append("a983ec829e1ae82409914823510c8747c809446f")
ok_hash.append("06ce702c4d655d75fe264566ec29cc8eee3f90b6")
ok_hash.append("535957811f2bfb049652bdab728547f23c3ea947")
ok_hash.append("7c6cdbda6b961f93a9f7b446986cf4224056e6cd")
ok_hash.append("6ae35e47b1e85ee84413183ecadd9ed4ff9d1f42")
ok_hash.append("8392d9dec36b934621aac0c65cbf416ed6fd4547")
ok_hash.append("55b256813551c0abf71abbf258be578e2a2b4606")
ok_hash.append("0a4421eae8118334c2e343e077885b07584bdb95")
ok_hash.append("43fc5879d3a1cf4ca8ed27b007bea5241019db86")
ok_hash.append("8b05bd4081470565885eb80b4245869c20082c75")
ok_hash.append("fcb027de89f72c55741090366209ca3543de6649")
ok_hash.append("c0fc59a53ed734941a64529b1af88df0d3aef48a")
ok_hash.append("a00bcb1769ceb3b55637e044e5a1f3fe0f6df8e0")
ok_hash.append("f86f38ee6bfbcee9d61300bcab62236816fcb9f2")
ok_hash.append("3acf445dad9a4bc12d29edbdcecb06f8d09c98d2")
ok_hash.append("393ed283be597292d901198ad5cd913794d2e6ca")
ok_hash.append("3c69b4f7d988e467af19d6929bbe54a84417ed83")
ok_hash.append("ed7efbe5bfcb9d66c88d888a99f7bcabc068ff76")
ok_hash.append("f766981b66aa4358d1e28c4ef7af61b5df62e1d0")
ok_hash.append("f8d2eba5983549e719318bf40bc19c26b26e70d0")
ok_hash.append("8dd8c6fc48b1773bf9dd13558012de34b91d5f68")
ok_hash.append("8dd8c6fc48b1773bf9dd13558012de34b91d5f68")
ok_hash.append("cb15a33606efc6d43dad0268196f69e4c013af5c")
ok_hash.append("fe96c9d1ed3a78e41f45a5fa803ca8c9727ae3e4")
ok_hash.append("f44b2730718775b95a4774c77ef7837d63ff0012")
ok_hash.append("dee7388b30b50aaedf1c76227031ab914dfafa62")
ok_hash.append("788fe5288e7c48bec012b9cd72852e6db18c601d")
ok_hash.append("d20c2a47548e774fe1b554aa1dcb1653b3e4ab04")
ok_hash.append("0377340d6314545b3dea7a1b6fca8166df25a38d")
ok_hash.append("e2c91051588658e2444f17ec962e06d072221a1a")
ok_hash.append("35b0479e91291139a5c322d52f1a8d0115769fdb")
ok_hash.append("2e0591b8f9f13a2fb510b36db97154f1bd8493d5")
ok_hash.append("95778c2900b7fa077914f1442828003472fe30d6")
ok_hash.append("7b5b565ec7d34426b826a898a129ea7f117e0da4")
ok_hash.append("9d93559cce8f275bb8669c817c8765b8dcc0cfcf")
ok_hash.append("34c15e504c85796dca33342f3737ed15988c591a")
ok_hash.append("86a614eed0ddd64180eb29fde2fc5fc5b45461d7")
ok_hash.append("34c15e504c85796dca33342f3737ed15988c591a")
ok_hash.append("668b0299a36283a374f25ce87d8b7bddd1411b95")
ok_hash.append("6f4433a84316fcc5f103f002858e99811be46d98")
ok_hash.append("fcbdb8a83d352b6835d16fe896ef68e624a8c915")
ok_hash.append("2ace30de623b5e550e198b2066fc06b802bb48b0")
ok_hash.append("95938d708960e684e2c031d7fb5d780dfafb051e")
ok_hash.append("4d2201e6e386ecb561855aa06e30ee3f10faf6f2")
ok_hash.append("4d241491155eb5df66b712801030251b67628121")
ok_hash.append("ae520ba2f23809a55a53a5dd28c0581d45c86a97")
ok_hash.append("5439e4704d51b430cda717fdf0e37a8c1ddb8a97")
ok_hash.append("df8acf93314adc2b73b09be517f9be460edda03e")
ok_hash.append("dbfe5225099feb55e33c8d83453ba1c5ad5e59c7")
ok_hash.append("f01eb2056c3e8b57c389267a82ba62d071ccf388")
ok_hash.append("54a57de28001d724b7ad04245e15a247785d34a9")
ok_hash.append("5b8f8db35270cbbc32c9dd3b8f8b6808b6142b08")
ok_hash.append("0d7eafa2dc64169eb1feaf576f10d2fc9ab9ed6b")
ok_hash.append("41b8d120e198b27a89c53cb288aadd44e962b3c5")
ok_hash.append("3e91c4c5c041e880b92a3c0f8a61163c38be7566")
ok_hash.append("aa37c050ef38ebea0d962b8756956d6ad0d44a5c")
ok_hash.append("f24ab66b68aa4a972e543c029d9b1fa1f7f09e44")
ok_hash.append("6af562264c5c430dd73638971b73ffdd4464c28f")
ok_hash.append("8bd5ff3e49ddfc202fc40691b6e8ab3b9f985f8b")
ok_hash.append("94d962dd48d229d15ff40ec36ce6a523669ab0ec")
ok_hash.append("8bd5ff3e49ddfc202fc40691b6e8ab3b9f985f8b")
ok_hash.append("89439cdde2eb07b530eb8d9d2e968c8688743874")
ok_hash.append("5b8f8db35270cbbc32c9dd3b8f8b6808b6142b08")
ok_hash.append("68624298f4a4052a06b53c3df7ef6e6fbe7b7932")
ok_hash.append("ff8558d52cb70d9178d30a1adeba993d11494176")
ok_hash.append("1a0c62157136edf99418bb8874a416fa9ef5abda")
ok_hash.append("703590251c87fe2f7fd1ef923c915cb87581a075")
ok_hash.append("ce4f4330b53d497c4601c71e8ddca592bbb16642")
ok_hash.append("e9da8c36864a5d97399e6f90997e74afed7e0ef1")
ok_hash.append("2838b2104e0c49fb0eed0637f1fef017702ab60a")
ok_hash.append("41a87b96fc9adc61eccf3f8bcc733261ffeab5a6")
ok_hash.append("c768f2faf8676d82867bc511be2b3984817379ae")
ok_hash.append("62499a7e107766cd31c527b9b7cf3eac66dcc1db")
ok_hash.append("82d12cdc79652785340fbb3d1971233eb3a62dfd")
ok_hash.append("a0dcb00d4ce851705ebf24f5d737b18cdc057636")
ok_hash.append("930f88f3fa2f434b95483836cbde24ce68dd079b")
ok_hash.append("406a1a5c7e2d1e7027e57a4812207602f18b5ed7")
ok_hash.append("2bb14ed49f0db350533f41a8c830af1c20a064de")
ok_hash.append("fed88be202de23dca36abfd70b1318d2634a13c0")
ok_hash.append("bb64c8040a15573ba9071415dcbf8a3e0b46d4df")
ok_hash.append("98107b7b37d6a7a7ce924b7715153c74d6592e53")
ok_hash.append("fed88be202de23dca36abfd70b1318d2634a13c0")
ok_hash.append("deb79dc5bf360ffc8ec5a98a764c490be9bd0308")
ok_hash.append("426080cc8a0e665aa86040f277359ebaf508431b")
ok_hash.append("8df8e113300da4e26cf4bd9aca2c3cb3793681d8")
ok_hash.append("82c360491cd972e2e48eccf116750d2a435a9676")
ok_hash.append("747c67caafbb4fee9d6a5a003376eba36695539b")
ok_hash.append("c3507a85c9bceb5ce815afb5051c555f54a9f2a4")
ok_hash.append("747c67caafbb4fee9d6a5a003376eba36695539b")
ok_hash.append("426080cc8a0e665aa86040f277359ebaf508431b")
ok_hash.append("739f8a985e370e9c6a25ba48732a8077a9e721b3")
ok_hash.append("4362899aac6fc94b51beaa7c9811191a28999b2d")
ok_hash.append("f11b1d668714e6b74eaa714af9fdcbc1d9016c21")
ok_hash.append("bde4671307ea5d74b54fa38643e956df46db9327")
ok_hash.append("8b0a83fab144c267b679189a8af06572a91d59c8")
ok_hash.append("516c9ec9051747b3cc3b0f6096f92d5cc5a08db6")
ok_hash.append("8b0a83fab144c267b679189a8af06572a91d59c8")
ok_hash.append("a3c0afe691b33113fdbde1c47b08f32ae3473f61")
ok_hash.append("da8c016b01b273e7fa4c111cc91583733b85288c")
ok_hash.append("59fb49fb272ffa7465c2d76ce18044ed6f0f094d")
ok_hash.append("334d05e559eb36d89c220b806f24ce7809b4928f")
ok_hash.append("e6ae274f13323257a91df7331102764295c31a7e")
ok_hash.append("09728626e5f397a88be9b7e732d428f3e9702ed2")
ok_hash.append("6d25cf5c3b938150bffbae290aba6c63057cfa23")
ok_hash.append("965ff041edc690a827e3103141845bcec4f0eba7")
ok_hash.append("965ff041edc690a827e3103141845bcec4f0eba7")
ok_hash.append("a3fd2c1f4766adeebda39728c221561444d8f741")
ok_hash.append("b7f05860c6b6a9b67697d22d56a1dadae1e5a70f")
ok_hash.append("6a8062b5a44cb6be292cc50ddba0145d550fc2b6")
ok_hash.append("3f44e898165c91dd91c74a4ccc9519529fcf85e2")
ok_hash.append("5fd780ea64b563ef2ed9b67984bb4b0d36155247")
ok_hash.append("d8b647b4ca87c750fca68d3cb0a0b8eb0335f61d")
ok_hash.append("9ca953069ecd39f0d593da94c5e6b1f70e14dc32")
ok_hash.append("5f7a1174147cfaf20db8cdad5c454d58e76874b8")
ok_hash.append("aed976f029e9eb3d0a5b8fb023b41c476068b8da")
ok_hash.append("706fb09d8f402caee53eeffc12fccdea1a976d76")
ok_hash.append("2d39f91170bc1a18166baad228e9099e745c7900")
ok_hash.append("e585aa687481a0ebec80735c6efb506df99e4abc")
ok_hash.append("6fc53fa9904766733f18ffc76b3157e95ff96821")
ok_hash.append("e5c2bf37b5aae019740e66660787a52a542dc6c4")
ok_hash.append("82b1374d204ae9c16865a3003bd2d9af3bb61e92")
ok_hash.append("9beeaffe2908cb43a2a1471fc5b15f2fb6e483bd")
ok_hash.append("7eee8221d1989ebeb0746a339b7db58166df3c24")
ok_hash.append("1d612e7293fda6c0bc6a6bd0c0251418af83023b")
ok_hash.append("9e2ca20b09057f70bf0cb4eed177cdb8bdf5aaf5")
ok_hash.append("c6be0022d7e688870d30cd5f12239201155f057b")
ok_hash.append("e2b39fd4bc1b063a6431ff8c6c778af759dd42b6")
ok_hash.append("1d612e7293fda6c0bc6a6bd0c0251418af83023b")
ok_hash.append("1d612e7293fda6c0bc6a6bd0c0251418af83023b")
ok_hash.append("c7cb991516de2df3ae6e41a7bf5781110cdb2010")
ok_hash.append("fe95f9ca7e7ed2508fd33800b4a50597fc82ae11")
ok_hash.append("aade762a7761208a9923e6cd6c6f2171052f8716")
ok_hash.append("efe3a78ed13bfdd0326771b9df7393446cd599a8")
ok_hash.append("c20e60d21ec946be486c5bc5f19cafc6f7192b33")
ok_hash.append("87627118d756554a48ecbcd01e99dc233301485b")
ok_hash.append("2ebab2e142b5fdbe5df1a61cba455a8d67a1c9e7")
ok_hash.append("b7f05860c6b6a9b67697d22d56a1dadae1e5a70f")
ok_hash.append("95f625c5e1fa38d3503532ed0156615f131ac648")
ok_hash.append("bb1d0c91711da1dd683596641855e3a665d8e5e1")
ok_hash.append("513e8d29510c84fb4e3bbacf5885b92c7571ef51")
ok_hash.append("d1466718b45742a87c249e8a6c2e30eb5b293747")
ok_hash.append("0fe899f5967cab2a154c9485bb2d69f2fa67934b")
ok_hash.append("2af93be7f0682d2ebfd5fd5f602578be253e0fba")
ok_hash.append("3d3058a283997bf16d5befad1e71f86f71073d54")
ok_hash.append("3269e5a4ee2ddab599ecfd00aa3a537090fc9110")
ok_hash.append("d1eb40dbdc40e5bc24791fb820fb608460546e3d")
ok_hash.append("0f94b3e7f5cb7841a898e7398bebc969f3589f89")
ok_hash.append("1557ba013e666cfc28f8fce05d54ed3f11311f7e")
ok_hash.append("e994d1f2cbcd8d632189a847d724f2143eaff4ae")
ok_hash.append("c063485a37a061182b55b64487f6cfe1ccbe3b19")
ok_hash.append("24ed93625c87c511862cc2ef3bd927d523e8727d")
ok_hash.append("2e0591b8f9f13a2fb510b36db97154f1bd8493d5")
ok_hash.append("44a5649a6aa38ad3cd762ee82b00c903d0836531")
ok_hash.append("e8b9379419eb424a3642ee0ca6250f0ecb3ce972")
ok_hash.append("0c744b62d095df390830cd6f6988a8245584a217")
ok_hash.append("ca885377a471365e60a018d6f79c69f420b81e2f")
ok_hash.append("c1181ae3c0efe94ef0f42f98295edbcd44e65dfe")
ok_hash.append("c1181ae3c0efe94ef0f42f98295edbcd44e65dfe")
ok_hash.append("95f2f3d57057a8e7ee003fd63f195eaeea90f16b")
ok_hash.append("652d0e05391ae95cfe92f0b2331d9ac11ca3603e")
ok_hash.append("c16d643032f5b5b7b7f066d78b73321381e6e8a6")
ok_hash.append("8a19d40c07a54de982017509c4a5bfee586d6a28")
ok_hash.append("e010d2404738f10a27c0085a482c4dc789f7989d")
ok_hash.append("4a9938b822b101e34b8c79221f9302d4d6134f67")
ok_hash.append("7910949411b692c600c6895c4dbffbf85cde894d")
ok_hash.append("142c71fbf2c92d483e5d8d6a3238a25e1483e67e")
ok_hash.append("b05ffcc9ec7230e8f7f33b545d31d53e616bfff5")
ok_hash.append("c54b0824f28433c09307368a0a8ee99eb61493ee")
ok_hash.append("2b4afe4c2f51cadfd6a87b117f3b532ff6cb0101")
ok_hash.append("7c9aacc0597e1ee1dd206329e24aa88c12e6546e")
ok_hash.append("0f8e5e8eefaaa39f83efe3e9cb467e9a6d3ea78f")
ok_hash.append("4b3986bcf590e1d6c9bb2e0a47beae4baebee98f")
ok_hash.append("64ae33e615d5257ae70f21010de47c313c22cbd1")
ok_hash.append("4233bcfb504b1adefb2e1dbc22214f2c87553a21")
ok_hash.append("9f088d466add394f8993583bb8b377b52b73b24d")
ok_hash.append("139fe1e5693394600eaa26d8170dc8938f60ef33")
ok_hash.append("87339046545616f893bcde9fde21d457835fe9ef")
ok_hash.append("a48e2a021abaa33b80d16cbc415a4fcbd663cd71")
ok_hash.append("b3072679b521f280dee63a7145748db19d952930")
ok_hash.append("c9949cda52931fe9574da24d4c60a77e00cd71c7")
ok_hash.append("f77e23673c2ee13d0e79c5ac1536347b379ec8a5")
ok_hash.append("f77e23673c2ee13d0e79c5ac1536347b379ec8a5")
ok_hash.append("6e4d969b4780176b9ae5e4fb6b9655ced7288d55")
ok_hash.append("0d638a615d9be3dde7f2887f195fdea5126f3cdb")
ok_hash.append("a9aa0dae4f3f550eb648af693d8e3568c155f758")
ok_hash.append("a0e0810bc0c9f010b564a8c4545af92e2745d1e1")
ok_hash.append("d8581e4b4cb85a78230e6fbb31a252ed28feab8b")
ok_hash.append("5d1432bf73d1febc6c02602d106c73eadbb1a72d")
ok_hash.append("692e310343ec466eddbfbc9be8186cf27a1117f3")
ok_hash.append("2c2b2ee5b668dfe1c88fb504497fd42a1b2d16d7")
ok_hash.append("41ce9224595c40758683c256f3c1c3f931b30ef0")
ok_hash.append("11a8cf55e5af647267e313292caf70f3b75bba3c")
ok_hash.append("5293961e3a41a6983e4147890c0d3ddcb6a0b229")
ok_hash.append("21e7636291b339674b289b25d4930d98e22af9bb")
ok_hash.append("ecd68852ed0a48291b978d54ea2142736caf68a7")
ok_hash.append("853470639547dc343c1c72212dee545441191d15")
ok_hash.append("0d9e1a92c8c7f7806604af6fef6a48a88f0629f3")
ok_hash.append("f04a2f5aee0fa8ac48bd142845344e8475dcbda1")
ok_hash.append("d26be15727a164c715421066dd357c6cbfb44065")
ok_hash.append("1d74e8c63166d341dd59a4f86ac2ea2a9965a056")
ok_hash.append("899167678f6fbc7bf4ef9978c12ffb4518eddeda")
ok_hash.append("6c0db0331c761fb57f355433fbeaa8cee113b0cc")
ok_hash.append("2940643e3817a56f250ffb7c45c3f81a844e6a3b")
ok_hash.append("665aa0a5ccba2b3d54b39a561dec8f51afed281c")
ok_hash.append("912a772b674024cc2391c68232775c9256d5f089")
ok_hash.append("912a772b674024cc2391c68232775c9256d5f089")
ok_hash.append("33a1a5d526c8763fa6f9c028e0d0fdc70ba2d27e")
ok_hash.append("5743461094ab76ab5977384c932a5525ed1d2b66")
ok_hash.append("a34a8028d508b4d7c9a99f4a766e6104873f7ce2")
ok_hash.append("8ca758e24ef6c59005ccacc9699ed54075fbe909")
ok_hash.append("c4551393f283ae04d2b49f8682f3e9d45a9b621f")
ok_hash.append("af893af8035c0c6bab74ad40eaa8aee46cc6a138")
ok_hash.append("65b759f75686993bb3de891dc956d60a68f99807")
ok_hash.append("fd74403c24ee024156f9ce70ad1a3007117398ab")
ok_hash.append("40c2c9d988ee9bc7071272d1925c868c0ec5ba9c")
ok_hash.append("674ef285988ee166aa83c507d7b12a7db5bc5a52")
ok_hash.append("c4f1f9ac8529cc152f787267e8b9b4054b26b8f6")
ok_hash.append("afcb338564b5fbce3865f75fd51be7831eecfb85")
ok_hash.append("a5af6d127e6a7ffdac08e6f7c00b655d7abb3889")
ok_hash.append("aae53f7bae6b10acf4133244dbec275b3f023c46")
ok_hash.append("58af692c9eb0542de603f746b3c09113d121f3e8")
ok_hash.append("81402a70cddfe4d57e4d1208a0dbd120a58e96f4")
ok_hash.append("1977de67b2d906bf5f6f6861d8985275942b3dda")
ok_hash.append("08d7e142969c2f51b3d2faf412373adfa5cd9a6d")
ok_hash.append("624481ba560db6b4599010477424e235222ba467")
ok_hash.append("c13f099aa1f4956c6b2010ac7ac089b1e5f706b5")
ok_hash.append("eec5967b7547f9970166dc8e3cc423fb16b19a5b")
ok_hash.append("eec5967b7547f9970166dc8e3cc423fb16b19a5b")
ok_hash.append("ddc3af6f4733de6d03a9acca0da4f55f885db548")
ok_hash.append("106f1e6d4c77e71d16ae7789958364f6deb06a90")
ok_hash.append("d55e6577450cc46cd89a4a2153f445654af43ad1")
ok_hash.append("d55e6577450cc46cd89a4a2153f445654af43ad1")
ok_hash.append("ddc3af6f4733de6d03a9acca0da4f55f885db548")
ok_hash.append("0f4955f81e9a279df3fe8554ae1d17bdd6491cca")
ok_hash.append("0501503f89deda9d0127d6c6561d1226bd246bb7")
ok_hash.append("b80967a75d7f84c88bb0e1ab7a1accc2ebdbf36c")
ok_hash.append("fd004985d989f0dc15e97c0d45baf3258a5e6121")
ok_hash.append("d55e6577450cc46cd89a4a2153f445654af43ad1")
ok_hash.append("2feb201021ba7672b898af101816ce9cb93fc209")
ok_hash.append("859122a4de726ecd3d388938b4cae8b133a82435")
ok_hash.append("94b6e4f739c8fd2f90aa38c5d7c613a41a69aadb")
ok_hash.append("eddc53f06bd1f4533859e4fc31bc43fbbdf19fe9")
ok_hash.append("94b6e4f739c8fd2f90aa38c5d7c613a41a69aadb")
ok_hash.append("94b6e4f739c8fd2f90aa38c5d7c613a41a69aadb")
ok_hash.append("dd0e8d64e15815661999f483ccb4209cbe4c8c71")
ok_hash.append("600c27e1351aa06e5d2044da68eebe25526b935c")
ok_hash.append("4355875083a66292f4409715c17b7566c6e3a928")
ok_hash.append("19a737a43402dba4460ea3317bcfd5bbe9a00117")
ok_hash.append("be9039dc0097a0b61d0275515fafabe1c269108e")
ok_hash.append("207ef6f242966412cc697140d5f23b3ee4a45246")
ok_hash.append("207ef6f242966412cc697140d5f23b3ee4a45246")
ok_hash.append("c47523d5400f5d5ffda3b9a1f220de052bbe15b4")
ok_hash.append("f3783503762ee5522e57aa3cb04e53b304111f69")
ok_hash.append("7c3d919936735a1ea2af21c91455db01010c9959")
ok_hash.append("8e74cfa906fb299a5498e6f296af78a9805fa7e2")
ok_hash.append("317ed9ad0e3ff8e50dae1958d85639b7aa495849")
ok_hash.append("0777357acca4464224e2e115e6303cd2688953b1")
ok_hash.append("ee390d3bea1655ec70080654f0ec248661f50713")
ok_hash.append("f7d82c9ee34bf5987b38a7cf5f8763d7c1ef0c0f")
ok_hash.append("3bd614382bd4da762e3ae334249ecd743a5ffcc3")
ok_hash.append("774c3327866a399a71196094c11fc9717a45a13c")
ok_hash.append("ee5864af754d711736741d1e93aabf8c6199409f")
ok_hash.append("fff36e99f4c5a557ff9a13bcd7dc31963f559d0b")
ok_hash.append("d0dde1fe5d88c045254ff7a19947b3a6f3d86d5e")
ok_hash.append("ee5864af754d711736741d1e93aabf8c6199409f")
ok_hash.append("785c9e9566d20f8fc9335620b35f51956751a702")
ok_hash.append("0f76bb161e1e7702f45082df64ac3ac1d3b7c9cb")
ok_hash.append("a0c48337dd3adff267a6964e83de6f54621f20d2")
ok_hash.append("8b4bfa6c6ff1a7f7bf0751e983a691873f58cc4d")
ok_hash.append("8e2479c47a3d15660f4d91e26d55e7498a14eba8")
ok_hash.append("c16c4f2f454b5c230659f6221fe0496fc7e626bd")
ok_hash.append("245d4ad4a5b9431d05deccecf583f6aa43f9db20")
ok_hash.append("bdcf9308613c0670809a5a066db4826d8c6b30f4")
ok_hash.append("220b8acb7b0bcfcb2914d35de5ba63069dbfa0b8")
ok_hash.append("ef696609bd0e935d6e7684048c9d835e6fb291da")
ok_hash.append("652936ee8c4cf52eb7fe282848228f802e6f6d71")
ok_hash.append("5fda2821183d78026c5d97bd6b0ee746d797d6fa")
ok_hash.append("4958ca8c5e8b2643bf85b84fad0802aaffc99025")
ok_hash.append("24cc004e487dd255a46f74d98e9ad93156d038fc")
ok_hash.append("b5d9cc6fb88d9287b9b213329f0257e4ef0c1bdb")
ok_hash.append("edbd6b49be621398c817cab0d2b18b5389384cdb")
ok_hash.append("42bfd5ab8f9e3a5633e8fd9b66bfc2fe911f3e97")
ok_hash.append("edbd6b49be621398c817cab0d2b18b5389384cdb")
ok_hash.append("af4ff83f8f26fbf764deab127382e900d501811d")
ok_hash.append("e2e2a911745a1e6d35b7406d7c6a8d816c064c61")
ok_hash.append("c1ee465ab796ac6517eda02c284d20899130556f")
ok_hash.append("bce9814c71bcc0535bff54e8405d8d23db66e51b")
ok_hash.append("6f52da3fe63020366b624c2f5b6c2529c36ae7e2")
ok_hash.append("85d3d84dfcde5f9d0034e7a17a33c57778846dc3")
ok_hash.append("d2164b59bd875c28b4819b0ef7c18959b4621024")
ok_hash.append("dfa9c037c60d9f942f249d9c61c07095ed4638e0")
ok_hash.append("6e53cd0680698da70ba70b472151fed2c79f5231")
ok_hash.append("3758f2008d14723d73d6420c1cc3c041ab4d75ea")
ok_hash.append("757752696e76a818cb8e4bcfc3a9f289a86cb954")
ok_hash.append("3b387063ce4249c3cc5d169fff9b42800c00ea01")
ok_hash.append("ec3abfb1fac14b053bd174a26cdc1773ddf40325")
ok_hash.append("2ae40d594590bc29869c3e1d423474625fc9da4e")
ok_hash.append("ccf3ed55a60f101645fe519581509aa9ba6fa38c")
ok_hash.append("dfdd19146b4a2d6baabd0905486b252ce79d62a3")
ok_hash.append("de89471a9ae5d1b78b7451321e177e01c58b288d")
ok_hash.append("de89471a9ae5d1b78b7451321e177e01c58b288d")
ok_hash.append("c96e5d89a55fc17cec4757fabd26c117c62803a1")
ok_hash.append("057b4860dfba758ba784945b0d5a24944b0bd3f9")
ok_hash.append("8fce6c1b6b047399cdb2aab23b309fd1e5e6b95a")
ok_hash.append("68dd8c8c77e4882929bba8aa432e52e787531ef2")
ok_hash.append("83ce91f82d42e7488bab351fc917804c5d608d48")
ok_hash.append("887f4bd5da7f3b76c98b73d2c2ad7fc6cc8eaece")
ok_hash.append("5bff570d8d3234ad3e582465ab94fd610d359400")
ok_hash.append("58a6e669e20b4cab71f6de2eba6d29f45619d276")
ok_hash.append("498722baf140a9b671795ab8df6e5988e7ed9e65")
ok_hash.append("29501812431ff3cf5723791341394bce1e17700b")
ok_hash.append("26522332fa9bd6af1248ad9f6c711c52d317fd9c")
ok_hash.append("7e4049edf2a31ec2791a08cb6646d87a71cfb06c")
ok_hash.append("93f9b7b5de222785d2ff56acdc19d7dcf7de5ae6")
ok_hash.append("b8fee2591c987e93cb89e938303e7d5be10c83f2")
ok_hash.append("0f8f89d9e9661329bb95c3be8e2dba3f53b76de5")
ok_hash.append("2564653a096c38c9dc3af210a0acfe973180c466")
ok_hash.append("ae858da63d7f2135d6302e9180352652a7c20d4e")
ok_hash.append("8d5d1e5be3fa8e1284ed21018502229a3eb4b058")
ok_hash.append("71dab5aeea86f2797814002a09e7b576946652ed")
ok_hash.append("fc144726243a7e79bdd9abe3bee917d07b925ffe")
ok_hash.append("fc5ca022b36c59afb01c70822ca5fb095fa49b95")
ok_hash.append("4ac5b13ec6651608b710f9fb5d297d99faae100c")
ok_hash.append("938ccd5f1561b6dd4c83ea0468176f3c7e3e6b40")
ok_hash.append("4eaf066b9cb28285cf25656b7cbcc93712a725ea")
ok_hash.append("e7ddc35ca32ea6f38c18440997dab722b62e4be2")
ok_hash.append("e5d2af3d06af4196f592b8eb6607349ab8cf77ef")
ok_hash.append("e7ddc35ca32ea6f38c18440997dab722b62e4be2")
ok_hash.append("bbaf562856d09d39f9bb404393164e40e73668a9")
ok_hash.append("e5d2af3d06af4196f592b8eb6607349ab8cf77ef")
ok_hash.append("6c7c0f9051fcfc8bab58b97f2adf3af268e5f220")
ok_hash.append("6c7c0f9051fcfc8bab58b97f2adf3af268e5f220")
ok_hash.append("32366339b9ad7bd12d788f01748762b7a024ccea")
ok_hash.append("27d9ed9d2c77458e238d72897d082fe4699cdb7b")
ok_hash.append("6afe613954eca7f5e0fbe6ede3170e71892a1eea")
ok_hash.append("a270e01b43c80b50ff7425e588a5faeb17c4ce44")
ok_hash.append("22ce2fdd597871621c399350335ccf0d0ef5c39c")
ok_hash.append("79fa7ade17fa4dc71b1c685c2704609d20c52d8f")
ok_hash.append("8aed410ec7f6c5aedfdcf856ef5e4addac391e19")
ok_hash.append("3556c35fe497af454149ab7250482e57923aab79")
ok_hash.append("a3885e0989bb0e4519e61b930261189742fcd8a4")
ok_hash.append("e5d2fe1e532654220e0ab60d8980ac3bb471da4a")
ok_hash.append("ffa580d6e86abc9b7a7324dfae25b7740bdb7678")
ok_hash.append("8817f44abfa2c8ef249b19850e419d104eca7c29")
ok_hash.append("0d9cd5e18af61fec189e08b32f7862b8ba92f7dc")
ok_hash.append("8e47670fa73bf8cd840ea55cc6e9404c9b4e1653")
ok_hash.append("7a5106e22040faada3b28e1013a3f1844ce894ce")
ok_hash.append("4c4fcb612a059d6dda1320f057385e2c6b8cf3ae")
ok_hash.append("26a6ee10136d4bd035db9c0e7034bc0e5473d868")
ok_hash.append("c389f2dce518bf7d3bac48bc6f74e3f1db857b7a")
ok_hash.append("2bdcad5eac892fcc452142026945d87c054bd939")
ok_hash.append("5a99a2a8898c36662860a4bfa4d13e7d7eaf92ee")
ok_hash.append("ab75cb0f55a92fc2be29a98cfcf24c29036515d1")
ok_hash.append("ab75cb0f55a92fc2be29a98cfcf24c29036515d1")
ok_hash.append("fd98a869aa1d16d6abb7fc9b8d5b467610987d0c")
ok_hash.append("d04fc74c75729e2fdc50253392ab30170afed921")
ok_hash.append("9acd684991b6bae7bd12383a99ad40b7bc4d93cc")
ok_hash.append("35b0479e91291139a5c322d52f1a8d0115769fdb")
ok_hash.append("bfcaeacce75c3e76d4be24af9fd2163c0027f13d")
ok_hash.append("d651c6c322f4f4c95effab52ef2aadbaa5148418")
ok_hash.append("3874d32b8af76a797506f742ec29de70a9d93ff3")
ok_hash.append("a7cab74ae462b99e87da3232b0a421b66ecf395d")
ok_hash.append("70880c85d61856e7908d89be3a11dcf109fb0282")
ok_hash.append("70880c85d61856e7908d89be3a11dcf109fb0282")
ok_hash.append("725d49ec4ad2968eea122fbfab9945ea72fbeda5")
ok_hash.append("dca2538c09f4c6dee0b04438d523c119ee7a4ec1")
ok_hash.append("b0317dd3c9e83590257d2a12867b5c4139b1076c")
ok_hash.append("039273a9d6ce161d0a7c19ba84f2f78b619e16d9")
ok_hash.append("1e5cf4104a3ec010384dd307dc81d3d3c3030dab")
ok_hash.append("146bc451f14ff78e8b69d74d4a213f1c5075b131")
ok_hash.append("499d1ae0b14565c6a89ba6e5ad6eb526c033f594")
ok_hash.append("38ebc7fc44ba33dec87d853e0a16bd3e198ea860")
ok_hash.append("9b7c546e92be8320744b5e08bffbd6e5bd3808ec")
ok_hash.append("9b490a7ab64ab31a4b49ab51378129d681ec4e66")
ok_hash.append("ec8f2d1f46557157a04c718095cc325e08f697c1")
ok_hash.append("03f2178ad53d4cbfe0d27fb7d7c2ba9dbe7293f3")
ok_hash.append("3a02e8d9622979555bfb7b162f96842f84cc2f4c")
ok_hash.append("d5c5713fa0446e16d1809de07d9f30fcab2e54ee")
ok_hash.append("cbc5899cdfc1594ff7b738e9466128cde43b29d0")
ok_hash.append("40093ec2ad873eccbd6ee14285922db8a7076679")
ok_hash.append("1927af02c119d11f4c3c5e57e7f5e754fcd743bc")
ok_hash.append("ad3cd76cece60ea8591971469dbc88cc7442ecb3")
ok_hash.append("0e420b10077d45dece3a3ae58c6fe7eaeefe9abf")
ok_hash.append("75d48575054009357db76c1efad3385c746c3b78")
ok_hash.append("30504da7f53c499f59879b6bd117d796e2a1ec74")
ok_hash.append("7e932e2c9823dd1894dc31fe3c6c3184253913cc")
ok_hash.append("34c15e504c85796dca33342f3737ed15988c591a")
ok_hash.append("7e932e2c9823dd1894dc31fe3c6c3184253913cc")
ok_hash.append("7ecc53e28a8cc3e5fda4a84fb8660853ea76a2ba")
ok_hash.append("12561edfb35c339ccaa986c7fe1af3b0e244d359")
ok_hash.append("18407f786f7140e88ae0778bc9026a25242aa927")
ok_hash.append("f28352f5d9af79a64483186ed949935042e94f78")
ok_hash.append("23819fb8a0afd0e46fbb047ffd0c4a611a992d3e")
ok_hash.append("23819fb8a0afd0e46fbb047ffd0c4a611a992d3e")
ok_hash.append("a74ecc9fb60e8c25b84fefc0166d697659edc0b1")
ok_hash.append("039273a9d6ce161d0a7c19ba84f2f78b619e16d9")
ok_hash.append("1e5cf4104a3ec010384dd307dc81d3d3c3030dab")
ok_hash.append("1e5cf4104a3ec010384dd307dc81d3d3c3030dab")
ok_hash.append("4f8e15d296d3ee3c813d5d1e45439c125b16fff6")
ok_hash.append("c8ace186e95beefe532be0c93e8664298cb50277")
ok_hash.append("a3885e0989bb0e4519e61b930261189742fcd8a4")
ok_hash.append("cf56365b4e7a5ef04fd3292def44dc601fd2fe02")
ok_hash.append("855b6223c5a82003ad7724823fd9f902a54c51d3")
ok_hash.append("22524d39205c8665432f3d27006d4f1850f64e91")
ok_hash.append("55154873c8333a9f564dec7f20f63f436226c4af")
ok_hash.append("b8a2fce0c8670d0b32a2ddbed54084f79d33808d")
ok_hash.append("79fa7ade17fa4dc71b1c685c2704609d20c52d8f")
ok_hash.append("27037e66412ec07cb860e48ebfdaf55233a81126")
ok_hash.append("8e0bed870a823cc6293d7a07ea13c8c50f6a2629")
ok_hash.append("235e1978180adf71fad9e2939a7c25800dfdde76")
ok_hash.append("237cca95ccfef01e64274e93074b298fd3695852")
ok_hash.append("237cca95ccfef01e64274e93074b298fd3695852")
ok_hash.append("d0881d4e2d666fcade7dd6ca04d3aca198d18e97")
ok_hash.append("d0881d4e2d666fcade7dd6ca04d3aca198d18e97")
ok_hash.append("1c1d2c95d0cde47fdf8bd8f951189e19544ee604")
ok_hash.append("41c988c647d0acbc5e97928ac2a86daf381a6c30")
ok_hash.append("5140a5381fe450ef7bd59e5bede90f7c30a9ead8")
ok_hash.append("9ace7ac740885b95202501c6910cf7139dc4a1de")
ok_hash.append("e96643ba1c4c2fe1cd363815e51bb422721f5b04")
ok_hash.append("935c5721c436a920c2ed51c8102a8cb7ffbe2159")
ok_hash.append("c33d32fa3d7203ee7bf922c28e64cd97848c5715")
ok_hash.append("8007bcdabb8c055514e3163fdac4c17a1d5f83b5")
ok_hash.append("9591f702c15f19ec9fbfad47c8fd01e157bf12af")
ok_hash.append("4d56f4eefcb21b8a5fb8ad024ee4b03d4b207aab")
ok_hash.append("242cf7c378bc836a9a94a8be7760c448ba44de73")
ok_hash.append("6cb3dcbb1313531d5258423d416d16f2040d8c24")
ok_hash.append("7364bbb7f5ac7ce39bae9b0d88b5dcc9e3449a70")
ok_hash.append("037d14cddec20154b5ef42394450eba858276145")
ok_hash.append("49e558e4d95a5864139dfd3acc24b0b5df0d038f")
ok_hash.append("7214ef0cb16e78f80080020564d9e2bb1c9a2aed")
ok_hash.append("b4a31252fb3159194d2d9025d5d669abce737098")
ok_hash.append("6b524d7559df5775d76c50d027aa11eed085309a")
ok_hash.append("b9796660e82bb81c6ff1e5534e7267fbf43f0ac6")
ok_hash.append("5c8e9908bb6d4b15d0fcf09ccb72bf787343b31e")
ok_hash.append("54a57de28001d724b7ad04245e15a247785d34a9")
ok_hash.append("252f5c7d41d85af47740589a58f6ebd8fc982edd")
ok_hash.append("13a9c18de2b5e4a2b4871a99a51299e225a4e630")
ok_hash.append("4dce166bdd0519f94a962fb50dc44282cbb399bf")
ok_hash.append("1329fd583280ab83cfead20ee7bf0f7e110efe02")
ok_hash.append("49cd8ad0c46f73cdf39f62341029a8a31d139887")
ok_hash.append("b3b2407904bc672532e5759752658e60a4ce7313")
ok_hash.append("2bf0a69acda3539ca3a792b47436fd04d68cf4e3")
ok_hash.append("d622e5f5d4e07f585055771ee1388b7b75ff0097")
ok_hash.append("f9b34ffb5cab84f0d62cb0b323f6ff56d9514277")
ok_hash.append("873a02d1da953dcc428ebec5e5480bad8115051c")
ok_hash.append("8ad169cd94364db4b31f3dbb8be18b430ec2ff75")
ok_hash.append("f9b34ffb5cab84f0d62cb0b323f6ff56d9514277")
ok_hash.append("1961ba0cfd55e73d2720c2a7b32f3c87f1a88ad4")
ok_hash.append("fc310770505ea3e776340e6d68478c007408e9e1")
ok_hash.append("815a544abdcc06ee8b6c5ff018ef55518cbf4dc8")
ok_hash.append("8085a294976b287bf9d8ccec245e48b8dd6668bd")
ok_hash.append("79e9efc1c5c3bbb0c5ff7d7d11a8142985c69213")
ok_hash.append("ffd4f9778f9f1cf100c6335d4266fe7577bbec63")
ok_hash.append("44f9965e6c3b6fb2be607738ac328fd34fa07c3d")
ok_hash.append("ffd4f9778f9f1cf100c6335d4266fe7577bbec63")
ok_hash.append("8c751087ef8a23a3aeb81f3ea6984c1470b919b9")
ok_hash.append("8c751087ef8a23a3aeb81f3ea6984c1470b919b9")
ok_hash.append("ffdac704c4fa8785b721a14a5a2b6e34a641135a")
ok_hash.append("9eca17260e0cdcf31fa341d1ad5b6cdd96de8c13")
ok_hash.append("c119814a0003fc994e19be87e5cb21877cc0fa5a")
ok_hash.append("159cbef90713f3d3c17b0f7d24ef2702246e2d59")
ok_hash.append("8c1d4d70cdd8400c6731afcdca1ba25d0a1b0b20")
ok_hash.append("fd383b9153b1243e3348831583dcf8ccbf1f722e")
ok_hash.append("6d2fa6784a29090be467c11cfa4d416be4498708")
ok_hash.append("6d2fa6784a29090be467c11cfa4d416be4498708")
ok_hash.append("8c751087ef8a23a3aeb81f3ea6984c1470b919b9")
ok_hash.append("8c1d4d70cdd8400c6731afcdca1ba25d0a1b0b20")
ok_hash.append("fd383b9153b1243e3348831583dcf8ccbf1f722e")
ok_hash.append("dde08d9ef5317cc8a4f6a99391a54e71e1a616e7")
ok_hash.append("2007ca372876514c707942add184fb0df12d0388")
ok_hash.append("944f7dafb51a5556e0fc6b1ca78b453e76fc2113")
ok_hash.append("944f7dafb51a5556e0fc6b1ca78b453e76fc2113")
ok_hash.append("f58fbfb1436b17335e4e61c4666fadb89d0ace0e")
ok_hash.append("ea8e5305bf660ee6691cd550e863b37d46c400fd")
ok_hash.append("8c751087ef8a23a3aeb81f3ea6984c1470b919b9")
ok_hash.append("ea8e5305bf660ee6691cd550e863b37d46c400fd")
ok_hash.append("1465e336075a83c8feffc757b8d1ec468efd1797")
ok_hash.append("b2e4c8c04cf3b4fd370e9f97cf7b3c99817b04df")
ok_hash.append("c0680d0255356a0f2d0deea5ead17d556f01b9c4")
ok_hash.append("d663cc217d79df012bf403eff36db8d7f3471a19")
ok_hash.append("7a8df4ed379270a6c08003da728cc6d04f6a691e")
ok_hash.append("81402a70cddfe4d57e4d1208a0dbd120a58e96f4")
ok_hash.append("1465e336075a83c8feffc757b8d1ec468efd1797")
ok_hash.append("2d5935be2c5affe88534bfeff26a6aead13ec3e6")
ok_hash.append("754ae3a9ed626cc462f204c589ead27c964e3688")
ok_hash.append("f5b83183ffaa0deb32a78643bc11925ca6823b29")
ok_hash.append("e2e1eeabd6ac6fa3710a45339b366e15a00a2d94")
ok_hash.append("5167e3e32f45881a7340847e40e3cae4fdda3123")
ok_hash.append("da96881882cd142bb76eee0899847048136bded1")
ok_hash.append("da96881882cd142bb76eee0899847048136bded1")
ok_hash.append("65ea070cc1c9aae13d59d640678222f762a53d4e")
ok_hash.append("4f60912e187b9f5ab85dd18d28050b2680f9c057")
ok_hash.append("69075936f70072bf43cb3af19404b257a5a5272b")
ok_hash.append("69075936f70072bf43cb3af19404b257a5a5272b")
ok_hash.append("8d70692273380d50d8b0c5bb91278a895670c952")
ok_hash.append("4f60912e187b9f5ab85dd18d28050b2680f9c057")
ok_hash.append("b0bd2d0531cd7f87d9c7c235c18c8def99258826")
ok_hash.append("b7cb741b54fb29009847a4248072b03fdde95536")
ok_hash.append("05937a77e2c745e6b1cdd1b25956cfbf59e0aaa3")
ok_hash.append("b7cb741b54fb29009847a4248072b03fdde95536")
ok_hash.append("b0bd2d0531cd7f87d9c7c235c18c8def99258826")
ok_hash.append("83ecd3573ab917413c3e8a44ea4332dfb3ae5138")
ok_hash.append("633e8846b0df6f7ee31a0619b1547df49edae291")
ok_hash.append("7f9603999413dfed1089220fe3378495747a9583")
ok_hash.append("f1c9d233cb16aa52c6556bc49940e34cfe12832d")
ok_hash.append("7d9adfe2eda8b2351b652832c05c56fb95216aaf")
ok_hash.append("7f9603999413dfed1089220fe3378495747a9583")
ok_hash.append("fafe505b10ec29a57c13fcd619139ba71b28c19f")
ok_hash.append("f4091c461a3926f900a4f343f377a84677c86d7d")
ok_hash.append("38852136dbdbd959da76a97df547b268e12fc8cb")
ok_hash.append("c0943219453ba282f31310ee9d13570ad333ce89")
ok_hash.append("5d2f12996befd2e7ca30c2439d4543437ee0dfb1")
ok_hash.append("97d1212c60c696e2a09e8f956e7bfb3b8ea0057e")
ok_hash.append("b0868c2d95d195796814b06eab1332dfd0df9766")
ok_hash.append("133dd707e5e89074e757a6997f46251f76bd2190")
ok_hash.append("8aef72e49750f185685940bd46b3b73e52c6e109")
ok_hash.append("6db56db736d45deba685dc97e7794b9c4d77f35e")
ok_hash.append("3abd80f6d25ac178baa571b5fc9e09499a3d0c59")
ok_hash.append("580c6c903e11c10a40e2f7c36737329a54383a4f")
ok_hash.append("de7054b071d2f7e1568bd1f7892faffe428aef2d")
ok_hash.append("97cc34ec68e95d0242e93dd36460e0a512412662")
ok_hash.append("5bf2d270e0ec4165ccb95fe192e2bd18102f3d75")
ok_hash.append("6af7eb40c60c09159f5e40bd42029cbd2868c7fc")
ok_hash.append("786265be2e56639bd54e7fe227fefcc4e497d8fb")
ok_hash.append("4506cbb5f6f605e22dce8e47984522608dc64a6f")
ok_hash.append("cae7cafcfcfcb9407dd8030a6e8f7b29951477b7")
ok_hash.append("0e3c9df7827e5fc52c3a19135f3b0eb8f6ea6482")
ok_hash.append("c3d5783811d02223ed85ea4a71ffda9b4cbafae9")
ok_hash.append("aa7709c67188542e847e4027c78c08e0b4a010de")
ok_hash.append("8c8bdd328292899c2b0f909b8852c04a1dd20d9c")
ok_hash.append("ec1b07eb24f04d6997be440bd80a05abcf226923")
ok_hash.append("a132b25e712863a85e6d00be4b45804cbe7d628a")
ok_hash.append("de5ac76a827486d86de66e011886b48ea2eb0583")
ok_hash.append("345491ef5c7c5790f286b6b03b538d2d722aa188")
ok_hash.append("3a2b13d947f6929122c1c27193a3a580787a69be")
ok_hash.append("93e7067192ece1c7ebc47f7806fc34f3e2c313cd")
ok_hash.append("029444562c0430766a853a56d502164b2a1283f4")
ok_hash.append("4b6599faea40a6b1336385e6dc03b77b42ca51c2")
ok_hash.append("4b6599faea40a6b1336385e6dc03b77b42ca51c2")
ok_hash.append("7385d817defdf58e066d36853de9266b510d9e66")
ok_hash.append("97c276068d8719ec4519ee4d6e8d90d3bd0662ae")
ok_hash.append("7385d817defdf58e066d36853de9266b510d9e66")
ok_hash.append("7385d817defdf58e066d36853de9266b510d9e66")
ok_hash.append("2808ad79588657cb94abb1eb0753ba1f30a83db6")
ok_hash.append("d52c05e289256c216fbe6c903689787ebebb3808")
ok_hash.append("1132b77bee53c40ea7bc7bad0821cc934fbb0f4c")
ok_hash.append("1132b77bee53c40ea7bc7bad0821cc934fbb0f4c")
ok_hash.append("c90d9f68939487aa9a2b66af6fcf47b0b7615721")
ok_hash.append("d1aa4e794e2e55c2100ac004a3f4495607487bd8")
ok_hash.append("4b911ddb163bf4f739fe7c5eb27ba54cffa19d10")
ok_hash.append("07c11bc0c5d1921973ec600ca7a460ea613a7f52")
ok_hash.append("670e010d5c735dca815142e181b50a640a2eacbd")
ok_hash.append("67ecc88b4b896319c14d0d961d3d05b3338425ff")
ok_hash.append("f130a7461cf4a012533ddfa5c5c0854bf0aab6b4")
ok_hash.append("6b1b2bfa40242ccc815dbd1d9d0578efc9f9b50d")
ok_hash.append("f60643818b216f7aa1f31ea5d174cc7b85f24110")
ok_hash.append("d7261cb4f1adbe475ed607410c6901261b11b37d")
ok_hash.append("3602a5ef4902859f4b8aefbd3dfccf188e559aae")
ok_hash.append("01320ff6f1419917dcc72d6f87c1f7d725fc5a08")
ok_hash.append("bd6bad666524ad3e924098ae6375451293ff0676")
ok_hash.append("4ca1fa7f063b2f1a3522adb8e556629d8a873c91")
ok_hash.append("9b716a60bc8ee72cbe92bc503306ccaabc5de418")
ok_hash.append("3bcd2cb0d4a269f54b52e3c74f03ae7505e1a650")
ok_hash.append("3bcd2cb0d4a269f54b52e3c74f03ae7505e1a650")
ok_hash.append("6c5e6aa03abc338f955ea759351eb687482ddcb7")
ok_hash.append("0cd66ed683f6b71a51f4ae8ae3512ada527ddf24")
ok_hash.append("1274fadedc5d1288996d22ed785b02a722be7b6b")
ok_hash.append("c904a5e6b7b7839f62b185d11528555238a2807d")
ok_hash.append("c6be0022d7e688870d30cd5f12239201155f057b")
ok_hash.append("249ba57a43134ebdc878a361249034bab047928f")
ok_hash.append("0f3df91e692ca1a0d3d369f8b0798fb6e27267e5")
ok_hash.append("0f3df91e692ca1a0d3d369f8b0798fb6e27267e5")
ok_hash.append("f7df48b36b48cabcb2098ebf20dc5eb85689ffa4")
ok_hash.append("74d55babcf9f6d478622ff489d44726ad6a64528")
ok_hash.append("8d78a28afd31097d8fe7ac8454c6cdf3633b5ef3")
ok_hash.append("cc02d5cb16df0509ab8f9bcfd56e83593c47af2d")
ok_hash.append("6a7b2a86c1d75a4f2d4fd44c6d63d13fa14a5a70")
ok_hash.append("10dc615a122b2c81a54943a3fbd84d2f062cbc9b")
ok_hash.append("bae3d0abb3df5c20371ed471905c3cbb6959e46c")
ok_hash.append("cfcd562686f7c314c1fc03d5a3d760ff0f89199c")
ok_hash.append("8d66ba6bc3eb82b7c2c709ea837010112007e820")
ok_hash.append("d06bf532e77d6d9177361f6408814814a256d65c")
ok_hash.append("8155893d67ec7fb8cef5536c0932c978ed9c95ec")
ok_hash.append("657f1405501647cdeef3562f1034d7805147ca0a")
ok_hash.append("1cbd8ae94b1d53ef1c56450219a6252347a1b648")
ok_hash.append("a8e2392630fb8d243d2a99c39c0d37e38e30e200")
ok_hash.append("0c8e123f765e6c35d6c99d27ebafcece27b355a3")
ok_hash.append("0c8e123f765e6c35d6c99d27ebafcece27b355a3")
ok_hash.append("a03ea39250eed6d90f2e44cc6576b7edd5d07331")
ok_hash.append("310fff23c581075edd814a589b644b0755605bdd")
ok_hash.append("7eb02c8ab00011c9af842feb57ee024bb39760ed")
ok_hash.append("10dc615a122b2c81a54943a3fbd84d2f062cbc9b")
ok_hash.append("013a9d5176e5c6cfa35a075298aa30921620af14")
ok_hash.append("71fca515d1ae1f3be731bb33f9707d3648aaef4a")
ok_hash.append("17cb31734cea813790ed98ffab0503048948fde9")
ok_hash.append("b8638ff62e6b4869410ee7a3944cf5d69cce5e0b")
ok_hash.append("477068d631d85853cde4da05491a7279369adc5b")
ok_hash.append("d5ced122ed8c9fe3165888e072036d3b16521902")
ok_hash.append("77f52454d4651b8ea63d9ade9b2a160f1913c2aa")
ok_hash.append("064995ad5a1922dbfd7dff7648d5fcfa0924efe7")
ok_hash.append("77f52454d4651b8ea63d9ade9b2a160f1913c2aa")
ok_hash.append("9d22e89cc139838cd9d1ab570f4f2c61ebf77531")
ok_hash.append("4d5c4ee88cc8b557dce983d4fd1bb8b41bd8ad72")
ok_hash.append("9147e244f23d5dd4b3f30e3d1fc58ec3c7d2b81d")
ok_hash.append("81ea70110e3c640b869bfe150d57114737ced0d0")
ok_hash.append("81ea70110e3c640b869bfe150d57114737ced0d0")
ok_hash.append("d70a5155886bc6808c782495fc09bdb392102bb3")
ok_hash.append("9c5ba78e9057d90999cfd08c088d29596be3bc93")
ok_hash.append("b20c875c1a73c7bd51f5754dcb6c5bfca661ea2b")
ok_hash.append("775038ee6a09b8d1a7a563ee72b2925e817d6771")
ok_hash.append("6468b5d100f45c8677b3d7d71784507b77c95d2d")
ok_hash.append("4a31960fcafd7e0eea16b063a5c572926ef42835")
ok_hash.append("20e4856e874c8718b3aaea8c5b7f65a71cb68fe5")
ok_hash.append("071f41c9ae96dd232265dc0edf04385476d762f7")
ok_hash.append("b730b4304e2065f99aa0c04c9102361836aadaa1")
ok_hash.append("78b9ed5f7200f839d34bedc8f7ffea39d10e1d02")
ok_hash.append("56805819e9a529ff87b28c921f418c17d6a0bd8f")
ok_hash.append("8e0de7c42bd1570a5929c70e2ba8cc0dedb1d365")
ok_hash.append("1fdf20cd421cc53394313ea3e85a46112371e9da")
ok_hash.append("efd4ec14964b8665b0a75e24f816abaa17b84c7c")
ok_hash.append("19c445bc931e7e9ef13f8e1a1f80924c9575ed72")
ok_hash.append("4b613ba7013bdf1b1031e2972b54d0a6f6aa6d52")
ok_hash.append("310fff23c581075edd814a589b644b0755605bdd")
ok_hash.append("7eb02c8ab00011c9af842feb57ee024bb39760ed")
ok_hash.append("a256c6d55ef3c83bd8058f22506a38df1c87883f")
ok_hash.append("2e244a24d69ea6b11456b14a3c4e73b8c5f6e715")
ok_hash.append("85dc55effad98b76c4049cb57229469362f56e8e")
ok_hash.append("09b1a7d0b4fa34fc64810ad48a4b1bae3bcde4b5")
ok_hash.append("30d4c74ee7bf987223cd190a21a24c97c01fcb13")
ok_hash.append("8cdf312fc37217af8ebc1bb7bc663e520767dd59")
ok_hash.append("79f8c7925a9fba8c955da300306e35753cf05849")
ok_hash.append("c7e4a972adc5abfb8dffc8e9f7db6b05cfa31e97")
ok_hash.append("978d39aaf16554bb117a2b1e27fb6b0ff4d9c246")
ok_hash.append("dc5e874fd23c626a9cfa78d4901beee7ffee82cd")
ok_hash.append("ec7f1c5b783f729dd47a57f3a4074c366ff3ed70")
ok_hash.append("cd56d7f41f9bd69be2dcc9864ec0243064359a2f")
ok_hash.append("f39591c6cd01d1f6b57f054a6f813a5e1bc52e32")
ok_hash.append("60ae5303490d15605da7f739515a7119db122cc0")
ok_hash.append("74da7421155c2b831934d26ae4cead7b3e0b0d55")
ok_hash.append("74da7421155c2b831934d26ae4cead7b3e0b0d55")
ok_hash.append("f048a26fb4ce5b30f1b758d640d3832979240c3d")
ok_hash.append("9abe25849367a0ef2162c2be8b4a8f714a05fa2b")
ok_hash.append("6c1303244a02c625cd3606dd77aee1cca4eac246")
ok_hash.append("53b8f9eefc5ab300ef31fb84ea3cae1b9afa91d2")
ok_hash.append("59b90c5993ee7377849b065ae89c38f4c6cb1271")
ok_hash.append("160fec72daaef783cf2ce042feba059b531bdd1a")
ok_hash.append("33132537b38799b1c0023b19e33185b8e8b7cf6b")
ok_hash.append("efedf13effaef711b9c23a8b2c1e7204732d9862")
ok_hash.append("365d631e3f695eaa9d519f3a9a6507cbc54d5eb9")
ok_hash.append("74d2f466a4307eefe326f31993dfce25dbb66fc3")
ok_hash.append("9a7fad2ae09deaf1699b0f1f4c0bd6bc2b5c417e")
ok_hash.append("21a4ba1dcc4ac0e410f506aba4f6fb1682877975")
ok_hash.append("dbc02acbf272d922aee1709c22cf9d427b002a93")
ok_hash.append("4064ba63d00aa02e176ac00e8265f1270502adc7")
ok_hash.append("c2f20897f9abca488a055b0f50f296556393058e")
ok_hash.append("49e4be305d70d7d24f719870bc51c220830962f0")
ok_hash.append("dbc02acbf272d922aee1709c22cf9d427b002a93")
ok_hash.append("160e176529483e9ad2fbf57c91fff67a472936a2")
ok_hash.append("c428ec722b1f1ffe7781e30351d7744d8fdcb179")
ok_hash.append("ca0d3c87fffd75dfbdae532a581bac8203e3e283")
ok_hash.append("79885ff6e9f5865da11c2b4a16511bb0760383ee")
ok_hash.append("2b81e2f84d25cbf7d2f9c59b0c0924a6cdccf8e4")
ok_hash.append("33ea10f56a2981203c433c7917f8913aad2dd17d")
ok_hash.append("5d4a4ad1bd1c9be33410367e479cbebaa0e4c532")
ok_hash.append("5d4a4ad1bd1c9be33410367e479cbebaa0e4c532")
ok_hash.append("521b8edc3546660899fb260c8ae1ac64b0f3bfe6")
ok_hash.append("dba543df74db52cad58cf937a88e773532f5d629")
ok_hash.append("dba543df74db52cad58cf937a88e773532f5d629")
ok_hash.append("91c549ca7cc6b5a15678fa1c455aae2ffcc570ba")
ok_hash.append("91c549ca7cc6b5a15678fa1c455aae2ffcc570ba")
ok_hash.append("a989ce095afb2d37d7e4e2b98640f63e6ef5699f")
ok_hash.append("c516eb09ff3dd87f97fb39156b1e573a2e88a6b9")
ok_hash.append("379ac25bbd7ef24b7607f11f2b2540854563de82")
ok_hash.append("e083477f12b986aa754e0daf874548d573355246")
ok_hash.append("7e327472999f78ab3404565b2846f2689c1397bd")
ok_hash.append("aeb2098c7ea6101924319271eef10d88057ed22b")
ok_hash.append("1d55615247b9043c5379d84d9f29f515dac5323b")
ok_hash.append("671c97b7d339cebb3df6bbc9ff87b982007de384")
ok_hash.append("9dbd54dc83f76732bd1bc28b84100b9011a2840d")
ok_hash.append("7f0ad300b3496823d75616d2bfb41ce61e6f7a3a")
ok_hash.append("7f0ad300b3496823d75616d2bfb41ce61e6f7a3a")
ok_hash.append("cb9e44461cdc264d36451c56dfbb89c02ef0b32c")
ok_hash.append("cb9e44461cdc264d36451c56dfbb89c02ef0b32c")
ok_hash.append("00d8cbdf03403cb43eacf9829e914fb06da6beac")
ok_hash.append("e6715fbd1ad4e8e99dbcd1857797a862c73c2a7d")
ok_hash.append("53edd1f2a2b49d99a168a3881452018923189653")
ok_hash.append("53edd1f2a2b49d99a168a3881452018923189653")
ok_hash.append("b8ffa68b812dd352e74e892c2b35241506c9bb00")
ok_hash.append("cf7e3026da281db47ce495ea3905f86dba910aaf")
ok_hash.append("7418ceec50a23fbd44f66162c8497ae4e4432850")
ok_hash.append("5df297dc66539bcceb799263d38a5be3e81e1302")
ok_hash.append("85aaa6fae6d2ec2273285618d7067a572e859efd")
ok_hash.append("213950b98ff034943c526e23c00d9a4c77361849")
ok_hash.append("483c6db3e97e4744b43c3d77978fba1586248e2f")
ok_hash.append("213950b98ff034943c526e23c00d9a4c77361849")
ok_hash.append("5459054ce3d568745ff30fbc7904633247847cf2")
ok_hash.append("fe69b5378b792ad119378a22084f2466313a9f8b")
ok_hash.append("213950b98ff034943c526e23c00d9a4c77361849")
ok_hash.append("e0b22bba8c34823849b5d209862861491a30e1b6")
ok_hash.append("3ecd9a933dedb79ac2bf85bdb9e9ecaff187f40d")
ok_hash.append("e69a396030897578a729efe215de8b08cebed910")
ok_hash.append("edfa2f07ddce0f39c238e0051e5be8bc37a279dc")
ok_hash.append("7425c71f9c83389984b465815cdb39a30f8b1ca2")
ok_hash.append("20e40602029594600dc90d2faa9c84f87f8357e0")
ok_hash.append("581b50901b99423417e7b45d35c1a9a8f106853f")
ok_hash.append("ef243a3d47a93bbb614d3767c750993ffb99bce7")
ok_hash.append("8a77653b0c1e5298d9955faa5eb94aae03f72feb")
ok_hash.append("963b866966eeef2417bea79bfb2684d3ead91e7f")
ok_hash.append("2c3a33ddc7fcdb642cedd15fca7c2bc7f86ee63a")
ok_hash.append("772e0a9c936026e79551825ee6daba90eefe8c40")
ok_hash.append("aaccfafc6b53e8038cda49f66a91193cdc04fc75")
ok_hash.append("bcfa2d576bbe356a6f7dca59c0724dae81e5a4bc")
ok_hash.append("c1d18b5701dd644e9ced7d18ab8863f65c2e7c7f")
ok_hash.append("db1fd56a6d076f463d76eebaae22843979ed251a")
ok_hash.append("273d3a2b303c4ee081b234a8fd9c5e62dd60680e")
ok_hash.append("93f8242838f39a8d5b3b87d4d766dd08eed8a7d1")
ok_hash.append("235674cb3de4bd64f8663b943067a437b92bff7a")
ok_hash.append("54366b216a498a2e3ab5f43d56e9186fda0ab467")
ok_hash.append("72bd4a7e69cda424d278575b79f5b0b8a5f55e9d")
ok_hash.append("a3a550f4ad0aad5aba35544a5ae11a3ad18b430b")
ok_hash.append("b019f8631e3bf8d485fefac86c26875071245e43")
ok_hash.append("9ac457bf91b100b8c2516f124cce1b5fe131e917")
ok_hash.append("f2135f3b49989366d6b90957b94dedf8b7c3dc99")
ok_hash.append("9a066b9f5a5ed2f441456d1d431f3d579ab51d31")
ok_hash.append("e3ecd9797a625e7786f39abe1a7dfd18255408bb")
ok_hash.append("400d201e1d13726154ec1103c99ff344996c6b11")
ok_hash.append("fe95f9ca7e7ed2508fd33800b4a50597fc82ae11")
ok_hash.append("b743cfa9f67a36b577ca8c2894f66400d13e18ed")
ok_hash.append("ae81335f26a4555b615cbdfec7657d176aedd43f")
ok_hash.append("ab96f6321768ead76d314725ee12a0a54a4422ae")
ok_hash.append("023448fb0661a9743424df980d350aeb633b4db0")
ok_hash.append("023448fb0661a9743424df980d350aeb633b4db0")
ok_hash.append("023448fb0661a9743424df980d350aeb633b4db0")
ok_hash.append("97ca417b0e21fa9f323d965a2f04c0adeb2e0ed4")
ok_hash.append("7027fa530ad8adae849e8ba6a96dbf2881b7845c")
ok_hash.append("dd612ae67ef78ab1653f91fac596a08e30e50e83")
ok_hash.append("29586228585d94b185e18798066eb86b717fce5b")
ok_hash.append("52a5bb8f87ffcbce409418796f0e78252b2f0697")
ok_hash.append("579c97fb16639aced882c05fd6f261d788784d3e")
ok_hash.append("b355f522b818c647d90088cb16f702ef3bea2733")
ok_hash.append("f86fae6cb9d5a03e46306977c9fa369ea8383af0")
ok_hash.append("ae53995bcf572a9baf4f945ae9b50cc180a95337")
ok_hash.append("3ae6457ca54c855ca3a40725b99864f2c53a8047")
ok_hash.append("3b5899065241fefd62b7ed0294ce9b5a8c602eb9")
ok_hash.append("8aa68938f937c2d12420869684d47de98aeefc53")
ok_hash.append("789934052500292f455092b28976b175d10fdd7e")
ok_hash.append("2d4c9626bd2bccf395a47511b2a8bae6d5670f1a")
ok_hash.append("b81372b8099fdecc0dc66cb3f54b18eeb9bbb0a7")
ok_hash.append("ffdade281c34b7f329d6e3427284cc8517b25684")
ok_hash.append("9503ff77b1428e10b0d70ae8f5eedc2cae51beb2")
ok_hash.append("5b75c6ac137d05874c6fc07ecc3a65ab2d4d6515")
ok_hash.append("0f50f7c7fbd6313e516ba18eced902611e35972b")
ok_hash.append("b2a8497cbadcbf1e486c246c521c64d06c59ba31")
ok_hash.append("c35009e99f8ab89dd76edd9d479a0e2cd7f50cec")
ok_hash.append("235ca87860ffcf2e8dda2e8607bb93371271d6d1")
ok_hash.append("7bd0fa845a47e10a54828c2727ccf0dbaaf1d175")
ok_hash.append("5d968d64c35faafc1abf1c74cecc59423e266a48")
ok_hash.append("f124e093195243688e470b27d3d15276d5aca519")
ok_hash.append("36a1f977d51f5c022f2e9b83f4dcf632c9512f89")
ok_hash.append("9503ff77b1428e10b0d70ae8f5eedc2cae51beb2")
ok_hash.append("22aff01763f82aa56ba0bef32beea610efa2127b")
ok_hash.append("188faeabb518e5828594e8482bf840bfae6417a7")
ok_hash.append("683373bd19e157fe316916665d81934aa3876030")
ok_hash.append("94580060cc0c249af2cb9b91f4412a1771096258")