-
Notifications
You must be signed in to change notification settings - Fork 0
/
gstates.txt
3963 lines (3963 loc) · 59.3 KB
/
gstates.txt
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
1,2,32768
3,993,32768
1983,2973,32768
4,995,32768
6,997,21845
7,998,43691
9,1000,16384
10,1001,32768
11,1002,49152
13,1004,13107
14,1005,26214
15,1006,39322
16,1007,52429
18,1009,10923
19,1010,21845
20,1011,32768
21,1012,43691
22,1013,54613
24,1015,9362
25,1016,18725
26,1017,28087
27,1018,37449
28,1019,46811
29,1020,56174
31,1022,8192
32,1023,16384
33,1024,24576
34,1025,32768
35,1026,40960
36,1027,49152
37,1028,57344
39,1030,7282
40,1031,14564
41,1032,21845
42,1033,29127
43,1034,36409
44,1035,43691
45,1036,50972
46,1037,58254
48,1039,6554
49,1040,13107
50,1041,19661
51,1042,26214
52,1043,32768
53,1044,39322
54,1045,45875
55,1046,52429
56,1047,58982
58,1049,5958
59,1050,11916
60,1051,17873
61,1052,23831
62,1053,29789
63,1054,35747
64,1055,41705
65,1056,47663
66,1057,53620
67,1058,59578
69,1060,5461
70,1061,10923
71,1062,16384
72,1063,21845
73,1064,27307
74,1065,32768
75,1066,38229
76,1067,43691
77,1068,49152
78,1069,54613
79,1070,60075
81,1072,5041
82,1073,10082
83,1074,15124
84,1075,20165
85,1076,25206
86,1077,30247
87,1078,35289
88,1079,40330
89,1080,45371
90,1081,50412
91,1082,55454
92,1083,60495
94,1085,4681
95,1086,9362
96,1087,14043
97,1088,18725
98,1089,23406
99,1090,28087
100,1091,32768
101,1092,37449
102,1093,42130
103,1094,46811
104,1095,51493
105,1096,56174
106,1097,60855
108,1099,4369
109,1100,8738
110,1101,13107
111,1102,17476
112,1103,21845
113,1104,26214
114,1105,30583
115,1106,34953
116,1107,39322
117,1108,43691
118,1109,48060
119,1110,52429
120,1111,56798
121,1112,61167
123,1114,4096
124,1115,8192
125,1116,12288
126,1117,16384
127,1118,20480
128,1119,24576
129,1120,28672
130,1121,32768
131,1122,36864
132,1123,40960
133,1124,45056
134,1125,49152
135,1126,53248
136,1127,57344
137,1128,61440
139,1130,3855
140,1131,7710
141,1132,11565
142,1133,15420
143,1134,19275
144,1135,23130
145,1136,26985
146,1137,30840
147,1138,34696
148,1139,38551
149,1140,42406
150,1141,46261
151,1142,50116
152,1143,53971
153,1144,57826
154,1145,61681
156,1147,3641
157,1148,7282
158,1149,10923
159,1150,14564
160,1151,18204
161,1152,21845
162,1153,25486
163,1154,29127
164,1155,32768
165,1156,36409
166,1157,40050
167,1158,43691
168,1159,47332
169,1160,50972
170,1161,54613
171,1162,58254
172,1163,61895
174,1165,3449
175,1166,6899
176,1167,10348
177,1168,13797
178,1169,17246
179,1170,20696
180,1171,24145
181,1172,27594
182,1173,31043
183,1174,34493
184,1175,37942
185,1176,41391
186,1177,44840
187,1178,48290
188,1179,51739
189,1180,55188
190,1181,58637
191,1182,62087
193,1184,3277
194,1185,6554
195,1186,9830
196,1187,13107
197,1188,16384
198,1189,19661
199,1190,22938
200,1191,26214
201,1192,29491
202,1193,32768
203,1194,36045
204,1195,39322
205,1196,42598
206,1197,45875
207,1198,49152
208,1199,52429
209,1200,55706
210,1201,58982
211,1202,62259
213,1204,3121
214,1205,6242
215,1206,9362
216,1207,12483
217,1208,15604
218,1209,18725
219,1210,21845
220,1211,24966
221,1212,28087
222,1213,31208
223,1214,34328
224,1215,37449
225,1216,40570
226,1217,43691
227,1218,46811
228,1219,49932
229,1220,53053
230,1221,56174
231,1222,59294
232,1223,62415
234,1225,2979
235,1226,5958
236,1227,8937
237,1228,11916
238,1229,14895
239,1230,17873
240,1231,20852
241,1232,23831
242,1233,26810
243,1234,29789
244,1235,32768
245,1236,35747
246,1237,38726
247,1238,41705
248,1239,44684
249,1240,47663
250,1241,50641
251,1242,53620
252,1243,56599
253,1244,59578
254,1245,62557
256,1247,2849
257,1248,5699
258,1249,8548
259,1250,11398
260,1251,14247
261,1252,17096
262,1253,19946
263,1254,22795
264,1255,25645
265,1256,28494
266,1257,31343
267,1258,34193
268,1259,37042
269,1260,39891
270,1261,42741
271,1262,45590
272,1263,48440
273,1264,51289
274,1265,54138
275,1266,56988
276,1267,59837
277,1268,62687
279,1270,2731
280,1271,5461
281,1272,8192
282,1273,10923
283,1274,13653
284,1275,16384
285,1276,19115
286,1277,21845
287,1278,24576
288,1279,27307
289,1280,30037
290,1281,32768
291,1282,35499
292,1283,38229
293,1284,40960
294,1285,43691
295,1286,46421
296,1287,49152
297,1288,51883
298,1289,54613
299,1290,57344
300,1291,60075
301,1292,62805
303,1294,2621
304,1295,5243
305,1296,7864
306,1297,10486
307,1298,13107
308,1299,15729
309,1300,18350
310,1301,20972
311,1302,23593
312,1303,26214
313,1304,28836
314,1305,31457
315,1306,34079
316,1307,36700
317,1308,39322
318,1309,41943
319,1310,44564
320,1311,47186
321,1312,49807
322,1313,52429
323,1314,55050
324,1315,57672
325,1316,60293
326,1317,62915
328,1319,2521
329,1320,5041
330,1321,7562
331,1322,10082
332,1323,12603
333,1324,15124
334,1325,17644
335,1326,20165
336,1327,22686
337,1328,25206
338,1329,27727
339,1330,30247
340,1331,32768
341,1332,35289
342,1333,37809
343,1334,40330
344,1335,42850
345,1336,45371
346,1337,47892
347,1338,50412
348,1339,52933
349,1340,55454
350,1341,57974
351,1342,60495
352,1343,63015
354,1345,2427
355,1346,4855
356,1347,7282
357,1348,9709
358,1349,12136
359,1350,14564
360,1351,16991
361,1352,19418
362,1353,21845
363,1354,24273
364,1355,26700
365,1356,29127
366,1357,31554
367,1358,33982
368,1359,36409
369,1360,38836
370,1361,41263
371,1362,43691
372,1363,46118
373,1364,48545
374,1365,50972
375,1366,53400
376,1367,55827
377,1368,58254
378,1369,60681
379,1370,63109
381,1372,2341
382,1373,4681
383,1374,7022
384,1375,9362
385,1376,11703
386,1377,14043
387,1378,16384
388,1379,18725
389,1380,21065
390,1381,23406
391,1382,25746
392,1383,28087
393,1384,30427
394,1385,32768
395,1386,35109
396,1387,37449
397,1388,39790
398,1389,42130
399,1390,44471
400,1391,46811
401,1392,49152
402,1393,51493
403,1394,53833
404,1395,56174
405,1396,58514
406,1397,60855
407,1398,63195
409,1400,2260
410,1401,4520
411,1402,6780
412,1403,9039
413,1404,11299
414,1405,13559
415,1406,15819
416,1407,18079
417,1408,20339
418,1409,22599
419,1410,24858
420,1411,27118
421,1412,29378
422,1413,31638
423,1414,33898
424,1415,36158
425,1416,38418
426,1417,40678
427,1418,42937
428,1419,45197
429,1420,47457
430,1421,49717
431,1422,51977
432,1423,54237
433,1424,56497
434,1425,58756
435,1426,61016
436,1427,63276
438,1429,2185
439,1430,4369
440,1431,6554
441,1432,8738
442,1433,10923
443,1434,13107
444,1435,15292
445,1436,17476
446,1437,19661
447,1438,21845
448,1439,24030
449,1440,26214
450,1441,28399
451,1442,30583
452,1443,32768
453,1444,34953
454,1445,37137
455,1446,39322
456,1447,41506
457,1448,43691
458,1449,45875
459,1450,48060
460,1451,50244
461,1452,52429
462,1453,54613
463,1454,56798
464,1455,58982
465,1456,61167
466,1457,63351
468,1459,2114
469,1460,4228
470,1461,6342
471,1462,8456
472,1463,10570
473,1464,12684
474,1465,14798
475,1466,16913
476,1467,19027
477,1468,21141
478,1469,23255
479,1470,25369
480,1471,27483
481,1472,29597
482,1473,31711
483,1474,33825
484,1475,35939
485,1476,38053
486,1477,40167
487,1478,42281
488,1479,44395
489,1480,46509
490,1481,48623
491,1482,50738
492,1483,52852
493,1484,54966
494,1485,57080
495,1486,59194
496,1487,61308
497,1488,63422
499,1490,2048
500,1491,4096
501,1492,6144
502,1493,8192
503,1494,10240
504,1495,12288
505,1496,14336
506,1497,16384
507,1498,18432
508,1499,20480
509,1500,22528
510,1501,24576
511,1502,26624
512,1503,28672
513,1504,30720
514,1505,32768
515,1506,34816
516,1507,36864
517,1508,38912
518,1509,40960
519,1510,43008
520,1511,45056
521,1512,47104
522,1513,49152
523,1514,51200
524,1515,53248
525,1516,55296
526,1517,57344
527,1518,59392
528,1519,61440
529,1520,63488
531,1522,1986
532,1523,3972
533,1524,5958
534,1525,7944
535,1526,9930
536,1527,11916
537,1528,13902
538,1529,15888
539,1530,17873
540,1531,19859
541,1532,21845
542,1533,23831
543,1534,25817
544,1535,27803
545,1536,29789
546,1537,31775
547,1538,33761
548,1539,35747
549,1540,37733
550,1541,39719
551,1542,41705
552,1543,43691
553,1544,45677
554,1545,47663
555,1546,49648
556,1547,51634
557,1548,53620
558,1549,55606
559,1550,57592
560,1551,59578
561,1552,61564
562,1553,63550
564,1555,1928
565,1556,3855
566,1557,5783
567,1558,7710
568,1559,9638
569,1560,11565
570,1561,13493
571,1562,15420
572,1563,17348
573,1564,19275
574,1565,21203
575,1566,23130
576,1567,25058
577,1568,26985
578,1569,28913
579,1570,30840
580,1571,32768
581,1572,34696
582,1573,36623
583,1574,38551
584,1575,40478
585,1576,42406
586,1577,44333
587,1578,46261
588,1579,48188
589,1580,50116
590,1581,52043
591,1582,53971
592,1583,55898
593,1584,57826
594,1585,59753
595,1586,61681
596,1587,63608
598,1589,1872
599,1590,3745
600,1591,5617
601,1592,7490
602,1593,9362
603,1594,11235
604,1595,13107
605,1596,14980
606,1597,16852
607,1598,18725
608,1599,20597
609,1600,22469
610,1601,24342
611,1602,26214
612,1603,28087
613,1604,29959
614,1605,31832
615,1606,33704
616,1607,35577
617,1608,37449
618,1609,39322
619,1610,41194
620,1611,43067
621,1612,44939
622,1613,46811
623,1614,48684
624,1615,50556
625,1616,52429
626,1617,54301
627,1618,56174
628,1619,58046
629,1620,59919
630,1621,61791
631,1622,63664
633,1624,1820
634,1625,3641
635,1626,5461
636,1627,7282
637,1628,9102
638,1629,10923
639,1630,12743
640,1631,14564
641,1632,16384
642,1633,18204
643,1634,20025
644,1635,21845
645,1636,23666
646,1637,25486
647,1638,27307
648,1639,29127
649,1640,30948
650,1641,32768
651,1642,34588
652,1643,36409
653,1644,38229
654,1645,40050
655,1646,41870
656,1647,43691
657,1648,45511
658,1649,47332
659,1650,49152
660,1651,50972
661,1652,52793
662,1653,54613
663,1654,56434
664,1655,58254
665,1656,60075
666,1657,61895
667,1658,63716
669,1660,1771
670,1661,3542
671,1662,5314
672,1663,7085
673,1664,8856
674,1665,10627
675,1666,12399
676,1667,14170
677,1668,15941
678,1669,17712
679,1670,19484
680,1671,21255
681,1672,23026
682,1673,24797
683,1674,26569
684,1675,28340
685,1676,30111
686,1677,31882
687,1678,33654
688,1679,35425
689,1680,37196
690,1681,38967
691,1682,40739
692,1683,42510
693,1684,44281
694,1685,46052
695,1686,47824
696,1687,49595
697,1688,51366
698,1689,53137
699,1690,54909
700,1691,56680
701,1692,58451
702,1693,60222
703,1694,61994
704,1695,63765
706,1697,1725
707,1698,3449
708,1699,5174
709,1700,6899
710,1701,8623
711,1702,10348
712,1703,12072
713,1704,13797
714,1705,15522
715,1706,17246
716,1707,18971
717,1708,20696
718,1709,22420
719,1710,24145
720,1711,25869
721,1712,27594
722,1713,29319
723,1714,31043
724,1715,32768
725,1716,34493
726,1717,36217
727,1718,37942
728,1719,39667
729,1720,41391
730,1721,43116
731,1722,44840
732,1723,46565
733,1724,48290
734,1725,50014
735,1726,51739
736,1727,53464
737,1728,55188
738,1729,56913
739,1730,58637
740,1731,60362
741,1732,62087
742,1733,63811
744,1735,1680
745,1736,3361
746,1737,5041
747,1738,6722
748,1739,8402
749,1740,10082
750,1741,11763
751,1742,13443
752,1743,15124
753,1744,16804
754,1745,18485
755,1746,20165
756,1747,21845
757,1748,23526
758,1749,25206
759,1750,26887
760,1751,28567
761,1752,30247
762,1753,31928
763,1754,33608
764,1755,35289
765,1756,36969
766,1757,38649
767,1758,40330
768,1759,42010
769,1760,43691
770,1761,45371
771,1762,47051
772,1763,48732
773,1764,50412
774,1765,52093
775,1766,53773
776,1767,55454
777,1768,57134
778,1769,58814
779,1770,60495
780,1771,62175
781,1772,63856
783,1774,1638
784,1775,3277
785,1776,4915
786,1777,6554
787,1778,8192
788,1779,9830
789,1780,11469
790,1781,13107
791,1782,14746
792,1783,16384
793,1784,18022
794,1785,19661
795,1786,21299
796,1787,22938
797,1788,24576
798,1789,26214
799,1790,27853
800,1791,29491
801,1792,31130
802,1793,32768
803,1794,34406
804,1795,36045
805,1796,37683
806,1797,39322
807,1798,40960
808,1799,42598
809,1800,44237
810,1801,45875
811,1802,47514
812,1803,49152
813,1804,50790
814,1805,52429
815,1806,54067
816,1807,55706
817,1808,57344
818,1809,58982
819,1810,60621
820,1811,62259
821,1812,63898
823,1814,1598
824,1815,3197
825,1816,4795
826,1817,6394
827,1818,7992
828,1819,9591
829,1820,11189
830,1821,12788
831,1822,14386
832,1823,15984
833,1824,17583
834,1825,19181
835,1826,20780
836,1827,22378
837,1828,23977
838,1829,25575
839,1830,27173
840,1831,28772
841,1832,30370
842,1833,31969
843,1834,33567
844,1835,35166
845,1836,36764
846,1837,38363
847,1838,39961
848,1839,41559
849,1840,43158
850,1841,44756
851,1842,46355
852,1843,47953
853,1844,49552
854,1845,51150
855,1846,52748
856,1847,54347
857,1848,55945
858,1849,57544
859,1850,59142
860,1851,60741
861,1852,62339
862,1853,63938
864,1855,1560
865,1856,3121
866,1857,4681
867,1858,6242
868,1859,7802
869,1860,9362
870,1861,10923
871,1862,12483
872,1863,14043
873,1864,15604
874,1865,17164
875,1866,18725
876,1867,20285
877,1868,21845
878,1869,23406
879,1870,24966
880,1871,26526
881,1872,28087
882,1873,29647
883,1874,31208
884,1875,32768
885,1876,34328
886,1877,35889
887,1878,37449
888,1879,39010
889,1880,40570
890,1881,42130
891,1882,43691
892,1883,45251
893,1884,46811
894,1885,48372
895,1886,49932
896,1887,51493
897,1888,53053
898,1889,54613
899,1890,56174
900,1891,57734
901,1892,59294
902,1893,60855
903,1894,62415
904,1895,63976
906,1897,1524
907,1898,3048
908,1899,4572
909,1900,6096
910,1901,7620
911,1902,9145
912,1903,10669
913,1904,12193
914,1905,13717
915,1906,15241
916,1907,16765
917,1908,18289
918,1909,19813
919,1910,21337
920,1911,22861
921,1912,24385
922,1913,25910
923,1914,27434
924,1915,28958
925,1916,30482
926,1917,32006
927,1918,33530
928,1919,35054
929,1920,36578
930,1921,38102
931,1922,39626
932,1923,41151
933,1924,42675
934,1925,44199
935,1926,45723
936,1927,47247
937,1928,48771
938,1929,50295
939,1930,51819
940,1931,53343
941,1932,54867
942,1933,56391
943,1934,57916
944,1935,59440
945,1936,60964
946,1937,62488
947,1938,64012
949,1940,1489
950,1941,2979
951,1942,4468
952,1943,5958
953,1944,7447
954,1945,8937
955,1946,10426
956,1947,11916
957,1948,13405
958,1949,14895
959,1950,16384
960,1951,17873
961,1952,19363
962,1953,20852
963,1954,22342
964,1955,23831
965,1956,25321
966,1957,26810
967,1958,28300
968,1959,29789
969,1960,31279
970,1961,32768
971,1962,34257
972,1963,35747
973,1964,37236
974,1965,38726
975,1966,40215
976,1967,41705
977,1968,43194
978,1969,44684
979,1970,46173
980,1971,47663
981,1972,49152
982,1973,50641
983,1974,52131
984,1975,53620
985,1976,55110
986,1977,56599
987,1978,58089
988,1979,59578
989,1980,61068
990,1981,62557
991,1982,64047
949,1224,1456
234,1224,2913
235,1225,4369
235,1225,5825
236,1226,7282
236,1226,8738
237,1227,10194
237,1227,11651
238,1228,13107
238,1228,14564
239,1229,16020
239,1229,17476
240,1230,18933
240,1230,20389
241,1231,21845
241,1231,23302
242,1232,24758
242,1232,26214
243,1233,27671
243,1233,29127
244,1234,30583
244,1234,32040
245,1235,33496
245,1235,34953
246,1236,36409
246,1236,37865
247,1237,39322
247,1237,40778
248,1238,42234
248,1238,43691
249,1239,45147
249,1239,46603
250,1240,48060
250,1240,49516
251,1241,50972
251,1241,52429
252,1242,53885
252,1242,55342
253,1243,56798
253,1243,58254
254,1244,59711
254,1244,61167
255,1245,62623
255,1982,64080
1984,2975,32768
1986,2977,21845
1987,2978,43691
1989,2980,16384
1990,2981,32768
1991,2982,49152
1993,2984,13107