Skip to content

Instantly share code, notes, and snippets.

@vznvzn
Created November 24, 2018 17:34
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save vznvzn/f0dbeaa7be2240b2bd9e73b2674b5f19 to your computer and use it in GitHub Desktop.
Save vznvzn/f0dbeaa7be2240b2bd9e73b2674b5f19 to your computer and use it in GitHub Desktop.
"fsm14 n=3 m=26"
-- 1
Sat 11/24/2018
08:56 AM
fsmcomp.fst
# of states 1007
# of states 1163
and.fst
# of states 6047
# of states 2016
-- 2
Sat 11/24/2018
08:56 AM
fsmcomp.fst
# of states 4594
# of states 17953
and.fst
# of states 115727
# of states 22160
-- 3
Sat 11/24/2018
08:56 AM
fsmcomp.fst
# of states 48243
# of states 304598
and.fst
# of states 1778876
# of states 320667
-- 4
Sat 11/24/2018
08:57 AM
fsmcomp.fst
# of states 613341
# of states 929460
and.fst
# of states 4993100
# of states 931637
-- 5
Sat 11/24/2018
09:00 AM
fsmcomp.fst
# of states 1582421
# of states 1109398
and.fst
# of states 5624926
# of states 1107220
-- 6
Sat 11/24/2018
09:06 AM
fsmcomp.fst
# of states 1849708
# of states 1094843
and.fst
# of states 5438686
# of states 1092404
-- 7
Sat 11/24/2018
09:09 AM
fsmcomp.fst
# of states 1824756
# of states 1029598
and.fst
# of states 5102721
# of states 1027958
-- 8
Sat 11/24/2018
09:13 AM
fsmcomp.fst
# of states 1757551
# of states 1008680
and.fst
# of states 5001136
# of states 1007139
-- 9
Sat 11/24/2018
09:17 AM
fsmcomp.fst
# of states 1732603
# of states 999782
and.fst
# of states 4924963
# of states 997827
-- 10
Sat 11/24/2018
09:20 AM
fsmcomp.fst
# of states 1728633
# of states 988414
and.fst
# of states 4685265
# of states 984055
-- 11
Sat 11/24/2018
09:23 AM
fsmcomp.fst
# of states 1690338
# of states 974254
and.fst
# of states 4638569
# of states 971111
-- 12
Sat 11/24/2018
09:26 AM
fsmcomp.fst
# of states 1642241
# of states 946079
and.fst
# of states 4176328
# of states 939951
-- 13
Sat 11/24/2018
09:29 AM
fsmcomp.fst
# of states 1556880
# of states 892826
and.fst
# of states 4084442
# of states 888412
-- 14
Sat 11/24/2018
09:32 AM
fsmcomp.fst
# of states 1465745
# of states 839824
and.fst
# of states 3940940
# of states 836743
-- 15
Sat 11/24/2018
09:35 AM
fsmcomp.fst
# of states 1383793
# of states 795258
and.fst
# of states 3635807
# of states 791263
-- 16
Sat 11/24/2018
09:37 AM
fsmcomp.fst
# of states 1308349
# of states 752295
and.fst
# of states 3436571
# of states 748489
-- 17
Sat 11/24/2018
09:40 AM
fsmcomp.fst
# of states 1238994
# of states 712966
and.fst
# of states 3138209
# of states 708513
-- 18
Sat 11/24/2018
09:43 AM
fsmcomp.fst
# of states 1172704
# of states 673644
and.fst
# of states 2990507
# of states 669893
-- 19
Sat 11/24/2018
09:45 AM
fsmcomp.fst
# of states 1111113
# of states 636204
and.fst
# of states 2849874
# of states 632554
-- 20
Sat 11/24/2018
09:48 AM
fsmcomp.fst
# of states 1050031
# of states 600742
and.fst
# of states 2759786
# of states 598523
-- 21
Sat 11/24/2018
09:50 AM
fsmcomp.fst
# of states 997801
# of states 571606
and.fst
# of states 2583307
# of states 568638
-- 22
Sat 11/24/2018
09:51 AM
fsmcomp.fst
# of states 945427
# of states 541283
and.fst
# of states 2362917
# of states 537794
-- 23
Sat 11/24/2018
09:52 AM
fsmcomp.fst
# of states 896347
# of states 512438
and.fst
# of states 2310443
# of states 510671
-- 24
Sat 11/24/2018
09:53 AM
fsmcomp.fst
# of states 851609
# of states 487380
and.fst
# of states 2082978
# of states 484111
-- 25
Sat 11/24/2018
09:54 AM
fsmcomp.fst
# of states 809015
# of states 461018
and.fst
# of states 2011819
# of states 458523
-- 26
Sat 11/24/2018
09:55 AM
fsmcomp.fst
# of states 767778
# of states 437189
and.fst
# of states 1940533
# of states 435139
-- 27
Sat 11/24/2018
09:56 AM
fsmcomp.fst
# of states 727628
# of states 415186
and.fst
# of states 1813590
# of states 412684
-- 28
Sat 11/24/2018
09:57 AM
fsmcomp.fst
# of states 691675
# of states 393876
and.fst
# of states 1703432
# of states 391434
-- 29
Sat 11/24/2018
09:58 AM
fsmcomp.fst
# of states 657968
# of states 374619
and.fst
# of states 1570503
# of states 371895
-- 30
Sat 11/24/2018
09:59 AM
fsmcomp.fst
# of states 624503
# of states 354942
and.fst
# of states 1515977
# of states 352595
-- 31
Sat 11/24/2018
10:00 AM
fsmcomp.fst
# of states 593480
# of states 336569
and.fst
# of states 1462627
# of states 334479
-- 32
Sat 11/24/2018
10:00 AM
fsmcomp.fst
# of states 563084
# of states 319932
and.fst
# of states 1379784
# of states 318023
-- 33
Sat 11/24/2018
10:01 AM
fsmcomp.fst
# of states 535266
# of states 304145
and.fst
# of states 1311277
# of states 302192
-- 34
Sat 11/24/2018
10:02 AM
fsmcomp.fst
# of states 510618
# of states 289565
and.fst
# of states 1205800
# of states 287384
-- 35
Sat 11/24/2018
10:03 AM
fsmcomp.fst
# of states 486251
# of states 275354
and.fst
# of states 1176501
# of states 273880
-- 36
Sat 11/24/2018
10:04 AM
fsmcomp.fst
# of states 463753
# of states 261572
and.fst
# of states 1085022
# of states 259825
-- 37
Sat 11/24/2018
10:04 AM
fsmcomp.fst
# of states 441181
# of states 249155
and.fst
# of states 1026842
# of states 247297
-- 38
Sat 11/24/2018
10:05 AM
fsmcomp.fst
# of states 418552
# of states 236104
and.fst
# of states 998697
# of states 234776
-- 39
Sat 11/24/2018
10:05 AM
fsmcomp.fst
# of states 399620
# of states 225373
and.fst
# of states 951477
# of states 223978
-- 40
Sat 11/24/2018
10:06 AM
fsmcomp.fst
# of states 380538
# of states 214095
and.fst
# of states 890121
# of states 212862
-- 41
Sat 11/24/2018
10:07 AM
fsmcomp.fst
# of states 363152
# of states 204582
and.fst
# of states 807821
# of states 202650
-- 42
Sat 11/24/2018
10:07 AM
fsmcomp.fst
# of states 346247
# of states 194476
and.fst
# of states 801953
# of states 193054
-- 43
Sat 11/24/2018
10:08 AM
fsmcomp.fst
# of states 329452
# of states 185387
and.fst
# of states 781570
# of states 184331
-- 44
Sat 11/24/2018
10:08 AM
fsmcomp.fst
# of states 315285
# of states 177257
and.fst
# of states 734072
# of states 176156
-- 45
Sat 11/24/2018
10:09 AM
fsmcomp.fst
# of states 301609
# of states 168903
and.fst
# of states 710900
# of states 167956
-- 46
Sat 11/24/2018
10:10 AM
fsmcomp.fst
# of states 286291
# of states 160001
and.fst
# of states 653408
# of states 158774
-- 47
Sat 11/24/2018
10:11 AM
fsmcomp.fst
# of states 273334
# of states 153115
and.fst
# of states 628395
# of states 152007
-- 48
Sat 11/24/2018
10:11 AM
fsmcomp.fst
# of states 261363
# of states 145715
and.fst
# of states 587249
# of states 144573
-- 49
Sat 11/24/2018
10:12 AM
fsmcomp.fst
# of states 249396
# of states 139022
and.fst
# of states 562756
# of states 138357
-- 50
Sat 11/24/2018
10:12 AM
fsmcomp.fst
# of states 237991
# of states 132485
and.fst
# of states 531741
# of states 131408
-- 51
Sat 11/24/2018
10:13 AM
fsmcomp.fst
# of states 227798
# of states 126523
and.fst
# of states 503445
# of states 125396
-- 52
Sat 11/24/2018
10:13 AM
fsmcomp.fst
# of states 216881
# of states 120030
and.fst
# of states 488395
# of states 119498
-- 53
Sat 11/24/2018
10:14 AM
fsmcomp.fst
# of states 207445
# of states 115575
and.fst
# of states 421269
# of states 114166
-- 54
Sat 11/24/2018
10:14 AM
fsmcomp.fst
# of states 198532
# of states 109755
and.fst
# of states 434150
# of states 108924
-- 55
Sat 11/24/2018
10:14 AM
fsmcomp.fst
# of states 189050
# of states 104750
and.fst
# of states 430290
# of states 104085
-- 56
Sat 11/24/2018
10:15 AM
fsmcomp.fst
# of states 180283
# of states 99726
and.fst
# of states 397628
# of states 99043
-- 57
Sat 11/24/2018
10:15 AM
fsmcomp.fst
# of states 172305
# of states 95403
and.fst
# of states 384930
# of states 94813
-- 58
Sat 11/24/2018
10:15 AM
fsmcomp.fst
# of states 164754
# of states 91173
and.fst
# of states 357411
# of states 90322
-- 59
Sat 11/24/2018
10:16 AM
fsmcomp.fst
# of states 157560
# of states 86961
and.fst
# of states 341245
# of states 86160
-- 60
Sat 11/24/2018
10:16 AM
fsmcomp.fst
# of states 150279
# of states 82498
and.fst
# of states 323729
# of states 81842
-- 61
Sat 11/24/2018
10:16 AM
fsmcomp.fst
# of states 143389
# of states 79045
and.fst
# of states 313798
# of states 78539
-- 62
Sat 11/24/2018
10:16 AM
fsmcomp.fst
# of states 137637
# of states 76049
and.fst
# of states 302137
# of states 75452
-- 63
Sat 11/24/2018
10:17 AM
fsmcomp.fst
# of states 131937
# of states 72530
and.fst
# of states 279761
# of states 71862
-- 64
Sat 11/24/2018
10:17 AM
fsmcomp.fst
# of states 126026
# of states 68721
and.fst
# of states 269770
# of states 68287
-- 65
Sat 11/24/2018
10:17 AM
fsmcomp.fst
# of states 120437
# of states 66210
and.fst
# of states 250845
# of states 65692
-- 66
Sat 11/24/2018
10:17 AM
fsmcomp.fst
# of states 115545
# of states 63229
and.fst
# of states 242667
# of states 62660
-- 67
Sat 11/24/2018
10:17 AM
fsmcomp.fst
# of states 110312
# of states 59806
and.fst
# of states 238979
# of states 59591
-- 68
Sat 11/24/2018
10:18 AM
fsmcomp.fst
# of states 105470
# of states 57502
and.fst
# of states 221166
# of states 57009
-- 69
Sat 11/24/2018
10:18 AM
fsmcomp.fst
# of states 100796
# of states 55205
and.fst
# of states 211619
# of states 54718
-- 70
Sat 11/24/2018
10:18 AM
fsmcomp.fst
# of states 96861
# of states 52789
and.fst
# of states 198199
# of states 52242
-- 71
Sat 11/24/2018
10:18 AM
fsmcomp.fst
# of states 92882
# of states 50652
and.fst
# of states 190859
# of states 50123
-- 72
Sat 11/24/2018
10:18 AM
fsmcomp.fst
# of states 88894
# of states 47888
and.fst
# of states 183318
# of states 47464
-- 73
Sat 11/24/2018
10:19 AM
fsmcomp.fst
# of states 84365
# of states 45565
and.fst
# of states 177287
# of states 45237
-- 74
Sat 11/24/2018
10:19 AM
fsmcomp.fst
# of states 80718
# of states 43793
and.fst
# of states 169975
# of states 43528
-- 75
Sat 11/24/2018
10:19 AM
fsmcomp.fst
# of states 77467
# of states 41972
and.fst
# of states 155448
# of states 41521
-- 76
Sat 11/24/2018
10:19 AM
fsmcomp.fst
# of states 73851
# of states 40023
and.fst
# of states 154177
# of states 39711
-- 77
Sat 11/24/2018
10:19 AM
fsmcomp.fst
# of states 71056
# of states 38338
and.fst
# of states 141588
# of states 37923
-- 78
Sat 11/24/2018
10:19 AM
fsmcomp.fst
# of states 67766
# of states 36761
and.fst
# of states 137682
# of states 36359
-- 79
Sat 11/24/2018
10:20 AM
fsmcomp.fst
# of states 65168
# of states 35240
and.fst
# of states 132882
# of states 34957
-- 80
Sat 11/24/2018
10:20 AM
fsmcomp.fst
# of states 62817
# of states 33729
and.fst
# of states 125457
# of states 33435
-- 81
Sat 11/24/2018
10:20 AM
fsmcomp.fst
# of states 60105
# of states 32476
and.fst
# of states 119452
# of states 32177
-- 82
Sat 11/24/2018
10:20 AM
fsmcomp.fst
# of states 58001
# of states 31061
and.fst
# of states 111820
# of states 30659
-- 83
Sat 11/24/2018
10:20 AM
fsmcomp.fst
# of states 55169
# of states 29613
and.fst
# of states 107342
# of states 29260
-- 84
Sat 11/24/2018
10:20 AM
fsmcomp.fst
# of states 52755
# of states 28024
and.fst
# of states 103888
# of states 27753
-- 85
Sat 11/24/2018
10:20 AM
fsmcomp.fst
# of states 50032
# of states 26675
and.fst
# of states 97638
# of states 26360
-- 86
Sat 11/24/2018
10:20 AM
fsmcomp.fst
# of states 47652
# of states 25554
and.fst
# of states 93940
# of states 25317
-- 87
Sat 11/24/2018
10:21 AM
fsmcomp.fst
# of states 45774
# of states 24427
and.fst
# of states 86175
# of states 24145
-- 88
Sat 11/24/2018
10:21 AM
fsmcomp.fst
# of states 43842
# of states 23386
and.fst
# of states 84914
# of states 23183
-- 89
Sat 11/24/2018
10:21 AM
fsmcomp.fst
# of states 42089
# of states 22247
and.fst
# of states 78864
# of states 21980
-- 90
Sat 11/24/2018
10:21 AM
fsmcomp.fst
# of states 39906
# of states 21324
and.fst
# of states 75935
# of states 21103
-- 91
Sat 11/24/2018
10:21 AM
fsmcomp.fst
# of states 38332
# of states 20463
and.fst
# of states 73842
# of states 20252
-- 92
Sat 11/24/2018
10:21 AM
fsmcomp.fst
# of states 36880
# of states 19389
and.fst
# of states 69198
# of states 19196
-- 93
Sat 11/24/2018
10:21 AM
fsmcomp.fst
# of states 34898
# of states 18763
and.fst
# of states 66966
# of states 18599
-- 94
Sat 11/24/2018
10:21 AM
fsmcomp.fst
# of states 33775
# of states 17927
and.fst
# of states 60536
# of states 17644
-- 95
Sat 11/24/2018
10:22 AM
fsmcomp.fst
# of states 32141
# of states 17008
and.fst
# of states 59660
# of states 16810
-- 96
Sat 11/24/2018
10:22 AM
fsmcomp.fst
# of states 30587
# of states 16100
and.fst
# of states 57903
# of states 15970
-- 97
Sat 11/24/2018
10:22 AM
fsmcomp.fst
# of states 29133
# of states 15547
and.fst
# of states 54861
# of states 15388
-- 98
Sat 11/24/2018
10:22 AM
fsmcomp.fst
# of states 28028
# of states 14914
and.fst
# of states 52954
# of states 14755
-- 99
Sat 11/24/2018
10:22 AM
fsmcomp.fst
# of states 26858
# of states 14234
and.fst
# of states 49118
# of states 14043
-- 100
Sat 11/24/2018
10:22 AM
fsmcomp.fst
# of states 25742
# of states 13479
and.fst
# of states 47211
# of states 13359
-- 101
Sat 11/24/2018
10:22 AM
fsmcomp.fst
# of states 24373
# of states 12759
and.fst
# of states 43869
# of states 12616
-- 102
Sat 11/24/2018
10:22 AM
fsmcomp.fst
# of states 23273
# of states 12200
and.fst
# of states 42102
# of states 12117
-- 103
Sat 11/24/2018
10:22 AM
fsmcomp.fst
# of states 22322
# of states 11746
and.fst
# of states 40683
# of states 11630
-- 104
Sat 11/24/2018
10:22 AM
fsmcomp.fst
# of states 21351
# of states 11213
and.fst
# of states 37865
# of states 11069
-- 105
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 20384
# of states 10674
and.fst
# of states 37125
# of states 10617
-- 106
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 19623
# of states 10178
and.fst
# of states 33302
# of states 9992
-- 107
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 18541
# of states 9736
and.fst
# of states 33156
# of states 9627
-- 108
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 17753
# of states 9257
and.fst
# of states 32596
# of states 9184
-- 109
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 17022
# of states 9057
and.fst
# of states 30894
# of states 8941
-- 110
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 16434
# of states 8582
and.fst
# of states 29193
# of states 8495
-- 111
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 15797
# of states 8354
and.fst
# of states 27414
# of states 8188
-- 112
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 15126
# of states 7794
and.fst
# of states 25780
# of states 7707
-- 113
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 14196
# of states 7373
and.fst
# of states 24274
# of states 7282
-- 114
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 13609
# of states 7169
and.fst
# of states 23835
# of states 7107
-- 115
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 13293
# of states 7000
and.fst
# of states 23356
# of states 6935
-- 116
Sat 11/24/2018
10:23 AM
fsmcomp.fst
# of states 12944
# of states 6656
and.fst
# of states 21626
# of states 6537
-- 117
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 12166
# of states 6203
and.fst
# of states 20801
# of states 6164
-- 118
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 11464
# of states 6008
and.fst
# of states 19228
# of states 5939
-- 119
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 10999
# of states 5610
and.fst
# of states 18379
# of states 5538
-- 120
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 10349
# of states 5323
and.fst
# of states 17659
# of states 5276
-- 121
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 9930
# of states 5285
and.fst
# of states 17171
# of states 5216
-- 122
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 9728
# of states 5058
and.fst
# of states 16246
# of states 4990
-- 123
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 9309
# of states 4889
and.fst
# of states 15546
# of states 4835
-- 124
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 8967
# of states 4644
and.fst
# of states 14392
# of states 4549
-- 125
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 8505
# of states 4329
and.fst
# of states 13801
# of states 4268
-- 126
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 8073
# of states 4149
and.fst
# of states 13278
# of states 4117
-- 127
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 7718
# of states 3928
and.fst
# of states 12788
# of states 3904
-- 128
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 7198
# of states 3752
and.fst
# of states 11562
# of states 3700
-- 129
Sat 11/24/2018
10:24 AM
fsmcomp.fst
# of states 6902
# of states 3531
and.fst
# of states 11501
# of states 3487
-- 130
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 6518
# of states 3375
and.fst
# of states 10641
# of states 3308
-- 131
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 6243
# of states 3269
and.fst
# of states 10473
# of states 3244
-- 132
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 6004
# of states 3099
and.fst
# of states 9693
# of states 3077
-- 133
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 5672
# of states 2896
and.fst
# of states 9151
# of states 2881
-- 134
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 5374
# of states 2680
and.fst
# of states 8458
# of states 2648
-- 135
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 4992
# of states 2532
and.fst
# of states 7870
# of states 2475
-- 136
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 4719
# of states 2472
and.fst
# of states 7585
# of states 2431
-- 137
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 4605
# of states 2391
and.fst
# of states 7726
# of states 2369
-- 138
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 4456
# of states 2266
and.fst
# of states 6949
# of states 2226
-- 139
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 4223
# of states 2148
and.fst
# of states 6875
# of states 2126
-- 140
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 4038
# of states 2034
and.fst
# of states 5861
# of states 1979
-- 141
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 3700
# of states 1941
and.fst
# of states 6007
# of states 1902
-- 142
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 3625
# of states 1791
and.fst
# of states 5402
# of states 1737
-- 143
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 3296
# of states 1740
and.fst
# of states 5174
# of states 1722
-- 144
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 3189
# of states 1624
and.fst
# of states 5158
# of states 1608
-- 145
Sat 11/24/2018
10:25 AM
fsmcomp.fst
# of states 3051
# of states 1543
and.fst
# of states 4553
# of states 1540
-- 146
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 2884
# of states 1487
and.fst
# of states 4334
# of states 1478
-- 147
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 2706
# of states 1383
and.fst
# of states 4013
# of states 1372
-- 148
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 2578
# of states 1316
and.fst
# of states 3763
# of states 1302
-- 149
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 2425
# of states 1277
and.fst
# of states 3670
# of states 1268
-- 150
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 2356
# of states 1214
and.fst
# of states 3488
# of states 1206
-- 151
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 2268
# of states 1182
and.fst
# of states 3394
# of states 1163
-- 152
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 2149
# of states 1119
and.fst
# of states 3134
# of states 1102
-- 153
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 2019
# of states 1025
and.fst
# of states 2897
# of states 1006
-- 154
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 1871
# of states 980
and.fst
# of states 2733
# of states 958
-- 155
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 1749
# of states 929
and.fst
# of states 2730
# of states 893
-- 156
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 1614
# of states 883
and.fst
# of states 2580
# of states 879
-- 157
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 1602
# of states 872
and.fst
# of states 2484
# of states 872
-- 158
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 1564
# of states 808
and.fst
# of states 2186
# of states 808
-- 159
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 1472
# of states 756
and.fst
# of states 2125
# of states 756
-- 160
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 1409
# of states 765
and.fst
# of states 2274
# of states 761
-- 161
Sat 11/24/2018
10:26 AM
fsmcomp.fst
# of states 1414
# of states 750
and.fst
# of states 2267
# of states 740
-- 162
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 1338
# of states 742
and.fst
# of states 2191
# of states 730
-- 163
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 1319
# of states 734
and.fst
# of states 2071
# of states 710
-- 164
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 1254
# of states 706
and.fst
# of states 1975
# of states 704
-- 165
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 1250
# of states 674
and.fst
# of states 1917
# of states 672
-- 166
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 1239
# of states 672
and.fst
# of states 1818
# of states 672
-- 167
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 1192
# of states 636
and.fst
# of states 1780
# of states 618
-- 168
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 1109
# of states 614
and.fst
# of states 1772
# of states 614
-- 169
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 1113
# of states 596
and.fst
# of states 1644
# of states 592
-- 170
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 1013
# of states 568
and.fst
# of states 1525
# of states 568
-- 171
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 994
# of states 558
and.fst
# of states 1561
# of states 558
-- 172
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 991
# of states 574
and.fst
# of states 1549
# of states 524
-- 173
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 951
# of states 524
and.fst
# of states 1365
# of states 468
-- 174
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 848
# of states 456
and.fst
# of states 1139
# of states 448
-- 175
Sat 11/24/2018
10:27 AM
fsmcomp.fst
# of states 792
# of states 432
and.fst
# of states 1092
# of states 392
-- 176
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 692
# of states 368
and.fst
# of states 882
# of states 366
-- 177
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 658
# of states 370
and.fst
# of states 1078
# of states 370
-- 178
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 667
# of states 354
and.fst
# of states 945
# of states 354
-- 179
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 630
# of states 352
and.fst
# of states 878
# of states 342
-- 180
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 614
# of states 344
and.fst
# of states 957
# of states 330
-- 181
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 593
# of states 328
and.fst
# of states 791
# of states 328
-- 182
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 575
# of states 310
and.fst
# of states 797
# of states 310
-- 183
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 563
# of states 304
and.fst
# of states 863
# of states 304
-- 184
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 518
# of states 296
and.fst
# of states 667
# of states 296
-- 185
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 519
# of states 302
and.fst
# of states 691
# of states 264
-- 186
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 472
# of states 272
and.fst
# of states 686
# of states 272
-- 187
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 470
# of states 246
and.fst
# of states 685
# of states 246
-- 188
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 445
# of states 271
and.fst
# of states 798
# of states 271
-- 189
Sat 11/24/2018
10:28 AM
fsmcomp.fst
# of states 464
# of states 235
and.fst
# of states 675
# of states 235
-- 190
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 415
# of states 242
and.fst
# of states 689
# of states 230
-- 191
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 405
# of states 244
and.fst
# of states 651
# of states 244
-- 192
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 412
# of states 240
and.fst
# of states 570
# of states 240
-- 193
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 405
# of states 234
and.fst
# of states 535
# of states 234
-- 194
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 391
# of states 232
and.fst
# of states 572
# of states 232
-- 195
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 409
# of states 254
and.fst
# of states 713
# of states 254
-- 196
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 428
# of states 224
and.fst
# of states 540
# of states 224
-- 197
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 376
# of states 220
and.fst
# of states 612
# of states 206
-- 198
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 350
# of states 210
and.fst
# of states 540
# of states 202
-- 199
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 328
# of states 198
and.fst
# of states 534
# of states 198
-- 200
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 325
# of states 192
and.fst
# of states 402
# of states 192
-- 201
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 320
# of states 194
and.fst
# of states 584
# of states 194
-- 202
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 318
# of states 184
and.fst
# of states 546
# of states 184
-- 203
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 294
# of states 176
and.fst
# of states 471
# of states 176
-- 204
Sat 11/24/2018
10:29 AM
fsmcomp.fst
# of states 310
# of states 154
and.fst
# of states 372
# of states 154
-- 205
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 244
# of states 140
and.fst
# of states 304
# of states 140
-- 206
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 238
# of states 132
and.fst
# of states 198
# of states 118
-- 207
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 195
# of states 118
and.fst
# of states 274
# of states 118
-- 208
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 192
# of states 118
and.fst
# of states 298
# of states 118
-- 209
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 200
# of states 114
and.fst
# of states 329
# of states 114
-- 210
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 191
# of states 110
and.fst
# of states 247
# of states 92
-- 211
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 149
# of states 76
and.fst
# of states 202
# of states 76
-- 212
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 119
# of states 68
and.fst
# of states 134
# of states 68
-- 213
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 114
# of states 74
and.fst
# of states 143
# of states 74
-- 214
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 117
# of states 72
and.fst
# of states 179
# of states 72
-- 215
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 122
# of states 76
and.fst
# of states 157
# of states 76
-- 216
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 123
# of states 70
and.fst
# of states 136
# of states 70
-- 217
Sat 11/24/2018
10:30 AM
fsmcomp.fst
# of states 112
# of states 60
and.fst
# of states 128
# of states 60
-- 218
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 102
# of states 54
and.fst
# of states 113
# of states 50
-- 219
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 84
# of states 54
and.fst
# of states 91
# of states 54
-- 220
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 85
# of states 54
and.fst
# of states 115
# of states 54
-- 221
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 90
# of states 60
and.fst
# of states 173
# of states 60
-- 222
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 94
# of states 56
and.fst
# of states 105
# of states 56
-- 223
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 88
# of states 48
and.fst
# of states 93
# of states 48
-- 224
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 77
# of states 48
and.fst
# of states 102
# of states 48
-- 225
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 80
# of states 46
and.fst
# of states 118
# of states 46
-- 226
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 76
# of states 50
and.fst
# of states 114
# of states 50
-- 227
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 80
# of states 52
and.fst
# of states 138
# of states 52
-- 228
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 89
# of states 56
and.fst
# of states 130
# of states 56
-- 229
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 93
# of states 50
and.fst
# of states 69
# of states 50
-- 230
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 79
# of states 50
and.fst
# of states 114
# of states 50
-- 231
Sat 11/24/2018
10:31 AM
fsmcomp.fst
# of states 79
# of states 52
and.fst
# of states 93
# of states 52
-- 232
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 89
# of states 50
and.fst
# of states 108
# of states 50
-- 233
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 78
# of states 44
and.fst
# of states 86
# of states 44
-- 234
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 71
# of states 40
and.fst
# of states 100
# of states 40
-- 235
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 64
# of states 38
and.fst
# of states 61
# of states 38
-- 236
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 69
# of states 38
and.fst
# of states 80
# of states 38
-- 237
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 61
# of states 38
and.fst
# of states 43
# of states 38
-- 238
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 58
# of states 26
and.fst
# of states 58
# of states 26
-- 239
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 40
# of states 18
and.fst
# of states 39
# of states 18
-- 240
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 30
# of states 20
and.fst
# of states 43
# of states 20
-- 241
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 36
# of states 18
and.fst
# of states 20
# of states 18
-- 242
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 29
# of states 20
and.fst
# of states 32
# of states 20
-- 243
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 30
# of states 20
and.fst
# of states 32
# of states 20
-- 244
Sat 11/24/2018
10:32 AM
fsmcomp.fst
# of states 29
# of states 16
and.fst
# of states 0
# of states 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment