-
Notifications
You must be signed in to change notification settings - Fork 0
/
mars-crat.enc.alt_0.10
19207 lines (19204 loc) · 242 KB
/
mars-crat.enc.alt_0.10
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
P2
# mars-crat.pgm encoded+altered
160 120
63
614032025
-869020645
16714495
-1515739739
1011041080
2019940054
1768494230
-1869003034
-1102783064
-1852204647
1002652444
1921912561
858993531
-1771470226
-1176934681
1021559060
-1592305678
-1152100886
16776976
1768527542
1751745172
840428749
1053016894
1627510422
-267502128
-123762736
1766430358
1862895254
-1717967258
-804548656
1588045130
1019336684
-1070517300
711288226
1011305277
-1515874835
1776916119
14612224
-1771484778
1069794940
141130091
-110161936
-1391086428
-196218289
1520720549
1038294147
1655581081
1881137167
2032757097
-1511283289
-1010580797
-353737403
-442194527
1767991785
1855684233
16711935
256843535
-134774921
-1181798406
-268095504
-1650932122
12549888
-251322512
50327360
-482096445
-1838640439
284163968
-1515346556
-1771476650
-1718065564
-150995361
1278460083
-69207041
1656614545
789573872
-1842116388
12550911
-147473
686446421
1518685093
1721460377
16775968
1882189967
-1003237853
829649907
16188159
1831430505
-668742415
2095283395
-253751537
-576050219
1022615860
-592196489
1721361561
-1771203511
-1515870811
185010958
-1582979675
-869153733
1768508259
-1515737691
1561700522
1520786087
859255603
-1852218266
1163242214
-124258561
1822005623
-35651721
1721273124
-1515870811
-1768527511
952361788
1276366099
16715007
-89830747
1197900185
-868823881
-1437250166
-428566339
715806037
1073803199
2037082477
-635077916
715814229
-1431810731
1726880152
1718001049
-357935787
-267931633
1219925865
-1768789651
447075233
-1751750551
252382991
1693587609
1005341811
-1654491493
1771476843
2043975017
-1859230051
994887731
-1634310039
-1981390149
480963092
861851347
848096307
1542254139
-1981388903
895109685
-1855822183
1805027049
827116599
869043507
-1507223959
694774125
1766422888
-172549542
1065599796
-1615835152
-831271885
1431658325
-1713653367
1555037954
254676751
1946091521
-2084357060
-1894780239
27613786
-1371187798
392898966
-1128119522
2057676122
-1511687334
-1362785583
-1014809292
1721733606
-1438166622
384696064
1654233446
1721346514
1810893297
1520743770
-344631894
-1010078532
-1834631846
1768648553
625665820
-1579697108
-2039928418
1855035750
-1009566532
-1436721744
-421769196
859032781
14679304
-1974118998
-272662016
-876397508
1988730742
1835624809
-587664
1163613525
569311295
857350947
-267406321
-1515934427
16720639
-1838585450
825439025
360019013
2057676890
-1717978722
392795240
-1010609213
256843527
1456036247
1721473383
-1014817411
863226956
859040973
322122675
1227461270
-1754699370
83820795
146038437
-1404742237
-943481796
-1718904423
150940927
1019986236
-1571463766
-242229233
-1247435291
-1437291948
-1637257834
-702453356
1465341269
-1442338091
842740539
-1570952635
-235925713
-1628870250
-947141693
-1771475562
-1771465621
-363464123
-1772023221
-1763076511
993211219
600738930
371812759
-1996685057
-1771465112
1520786021
-765987698
16720063
321091379
1721323161
-422509415
1824612669
-542680411
463512922
-1010615236
84871942
-94479782
33489019
-1711891994
1742314342
-267403249
1687905945
1358952192
-493263205
-1771464983
-2064301825
661031833
-1771448471
-1771465863
-1431677611
647993702
-1840671125
1894780687
-1433447075
-842190022
-421095015
1824093853
-1436566953
1715902873
1852015001
1844014479
1242276261
-1766429399
-1766430359
-16713984
-266341313
1984863129
1482073509
-1720752615
1515889824
2039912168
869059683
936693555
860810803
864341050
-1764349575
-1990039911
831311024
600624691
-1720818471
-781814023
870108467
-1721343335
-1835767319
-1721342055
-1968544427
1768520041
-1704433258
-692771502
1060310220
-1654224537
-1438294597
322122547
1721321830
2057610586
750994238
-269004800
1427483298
-1775670890
2034933399
1518708187
-1010614724
-627727046
829638125
183500544
-1027095599
1660459494
-1894779660
1723435750
-1515890150
-1705224918
-1286691494
-585782618
-2083308424
1364669098
-1168812630
-1499870906
892587148
1561679344
-33617856
-936135796
1932774636
1307578352
-1773582178
-869059732
-1515889838
252642061
-1199340740
842108108
-870108212
-1511695746
-442126939
1310134158
1634318038
285147391
-775699517
1431410005
117309919
-1871106666
-1437509718
1989764761
-1441444566
-809354180
3999971
1234626742
235876111
-1768526999
-869584148
-715281750
-1880092720
369098496
145006682
-1771469207
1184442009
1364580349
-1762028435
122621454
1430607185
-1771476586
590558003
-1436964335
1941418898
-1347743275
-1515879035
1721591449
-1438274979
1431655765
-33617856
1224726464
1364555093
-1235216792
952319043
442150069
-1431644203
-1768543891
-551485696
-2130738945
1634281800
1852199353
-1431943851
-1514855003
-252162275
-1437226283
-1942795221
-1181116007
1492605685
1721328825
1278358476
1520772426
1326395023
1537479397
1521345882
-1570150002
1727547033
-1216000422
16646399
-1989777736
252702962
-1
1423289002
1789246814
856896315
-869038989
-1437300142
-845427677
-1837509015
438393509
-1420449003
1657890713
-1565895331
1521310625
1517987237
1684449689
-1769571991
1515890085
109117435
1587862188
219106061
-1437226283
-1637245207
1521833634
1480763309
1718000024
872189107
-48103661
1717883545
1718008249
-1768535704
1515365797
2077027379
-1835635863
-1768527575
-1720815909
-1265473079
-1727641959
-1721342311
835701811
-631987039
854380146
835571251
-1721358691
-1276323789
-1654497127
869026995
2061118885
-1771989143
706062933
-1003244596
-1234482794
804261872
858967500
429628057
322122555
1541793112
1721547630
1945567248
858966732
1293588838
-1955565584
-1437530322
-1714316903
1981405550
1792358981
1513596795
1968919893
-1235118551
-446344418
-742179780
863220535
251916528
654946484
-1090767811
-1010099140
-427226842
1520940504
184549140
448869706
235867935
1520797146
-1435150360
-1825076004
252055406
-1838585454
261050126
1429559121
1721307462
482462516
-1441442390
520818447
2147353600
-1771476810
1802103145
-1437248086
591122380
288596787
-1637844586
-1288498255
1435849813
1520706906
869621162
1612028262
1088409472
-1010616268
-553582784
252662006
859031756
1093004905
-1438296661
926059724
-1381117222
-875852740
553646848
16187583
-1163233963
-409638247
1919596944
-1431677675
1768548649
647586968
-1771466135
-1437226411
1537563301
522129183
-425077402
1785225576
1132030313
39714307
1124065120
1535443621
16713982
1719072921
-1551216303
-1636985111
-1433773001
-1768134295
1974097320
590574357
-644630063
168758543
-1771465111
-2039946858
-1768797847
-33289
84872982
252645151
-1754687935
1520804954
-860631949
50266351
-1771465175
322482750
859430092
1720289654
1857657762
-1420471120
1019462460
1582998949
-1771456791
-1838585578
1587585370
858927915
30407552
276758783
1644783245
1679368857
-1465354923
1986565737
-1431677612
-702016407
-1171628680
-1440066219
2054858150
-1802049051
1541023157
1693882781
-1804998506
1358890111
-920675951
-1734764135
1986435513
-1771465119
1624417669
-1767610039
-704222870
1888423408
-1437488555
1184458393
1247323589
-258732177
1754699368
1374628432
927484979
-1721600355
-1751750295
-1634325655
-1802090119
-1687918959
-1186568559
-199853759
-1721338728
1572580053
-1682150221
198761650
-1859651944
1684449689
-1818859159
1449760361
-1717988455
-1009568132
-65504
-1008522180
757376949
-697753450
2057413960
218828047
160362738
15728528
-869057588
94689360
1520543578
16728319
252595981
-701994601
867421324
-835505788
150992640
-1288450876
-1894780676
-936135732
-909955784
249570768
-268492796
-587520
823905740
-1370155094
1520805210
-1570908754
-1437246037
-1974123352
118485104
-8781823
643127230
1721604454
-1262238915
1768507497
-936168500
252644175
791089023
1587586330
16760576
-1370204790
1242408274
1725536614
-1524278694
1538106714
2057677146
1243981658
1520821594
-2108069474
-231738097
858470195
1605830136
1721329553
1010576434
-1269125794
-1252351656
-1609568241
863227084
-1515955622
-979214934
-852280356
-1771542122
1447651735
-1436702126
1383075719
-267390643
-431711783
122863
2069540261
1684445593
858208819
1718000025
-563375381
-1437291947
1512397733
-1771475561
-130814957
-1336937465
1520786085
1538226853
-1441038934
869059635
1515235237
-1503029651
-1771464904
-157456743
257986544
825701179
859255606
-1014775101
1942591126
-696675205
-1474844075
1720542874
-585803947
315492991
1968460997
694765929
652646841
-751254084
1721329305
1752786409
152022791
1386587474
-1571464936
-1437248006
-1637247447
1520785573
-1370119563
-2147166018
837317596
990104716
24053439
1871310483
-1768526551
1164535917
-2001840827
-1766222135
1684453777
1919850955
-1363511851
-1431611947
644126865
-1768497107
-2036897415
-1564846763
-1518000219
-1771503015
1789220485
2083308387
1436985949
1515759013
1515890085
1515849125
1656593254
-267389873
-2052610132
-1431415467
-631069275
395717611
1771214377
2052760997
871685155
1482339749
-1902188439
-1835635871
1944899091
-1721342831
935910451
1471064661
1532658989
1437115221
1514702245
-1431677579
1734778265
-1775659959
-1448979083
-1436702123
663865702
1328541937
1433774248
1524981413
1654364534
-897500100
-1770067562
-1468705366
1464183462
16219904
-1010617288
857944883
-1718052577
241109770
8388352
858967244
-179885912
257888496
-1599776178
-1515889830
564484698
-2084357060
-2054858160
-2088776210
-1249551782
-1515972006
-1515896296
1654233414
1686739302
1587842386
-1126972610
1841513342
-4227074
256839437
15728000
1431655541
375933334
-2039912162
1811639625
1473598805
-1168774571
1334808335
-871156020
-1754699466
-1353362262
-1808176746
16514816
-1044151485
-1168810578
-1441442382
2124412922
-1637258858
1231774057
-1896126050
-1437225379
326318899
1247435368
252145906
-117113088
1267010319
-1010615234
867421290
1027852152
-1850136990
-37806032
1725536614
-2043899271
447579482
332097433
-2085989035
-1802212359
-1097438873
567069875
859026227
-1284876969
-1770416279
-1157255563
-1770428202
1989765017
67174238
-675070923
451256670
1749641593
2069374885
1217828457
-1721342311
-835482573
1431426901
118465295
1188673894
315456460
-1804888472
-568167676
1721329307
2036984169
16718079
-1431677611
1766421865
1364284757
-1159047851
-1661222212
-2036962967
67174367
-876362045
1231579497
-1234594199
-1010580605
-1771476714
647601476
-134283393
1391319589
1520805211
2130724096
-263233251
-1771347179
677473034
854593287
-1431677603
-1233574037
16580831
-1431681323
-1771465207
-1433774347
1247454629
1515906469
-252702961
1523225991
-1415555755
-1886492311
332186675
-1768527551
-745117335
-1769576095
1482335653
1984338312
-1768493719
-1431612199
589789
-1002968031
12648191
-1768019477
-1725536583
-1768658839
1437314641
1468672537
-1184471399
-188723445
-1751684757
378956841
869027378
-1654233543
-1847171399
-1802081527
835472439
-1566026283
-1768527511
1719049625
-1771465111
-235663393
1769498924
-1515870811
-1771442766
493262951
1768778089
-869063732
1520805210
-1247524278
-1772002922
1637247903
-1010583500
-1515880582
1520807802
146739455
-1515890086
-1989764830
1757413252
267653100
120582896
252702928
775942384
1431677578
1328541939
-1010598611
252698868
-2225528
1133133340
-1254896500
-1573825106
1721342310
278896384
447063386
-1441409624
647076198
1687757195
357594385
8257292
866333617
-1771475558
14614272