>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 7581
Perturbation colors: 4294967296
All colors: 32560147070976
Unknown update functions: 1
Lowest cardinality: 5
Highest cardinality: 5
Attractor colors: 32555852103680
Attractor colors computed in 3396 ms.
Forward closed progress: 104095
Forward closed progress: 104031
Forward closed progress: 105245
Forward closed progress: 104929
Forward closed progress: 104661
Forward closed progress: 103566
Forward closed progress: 104258
Forward closed progress: 104303
Forward closed progress: 103510
Forward closed progress: 103562
Forward closed progress: 102852
Forward closed progress: 102642
Forward closed progress: 102757
Forward closed progress: 102791
Forward closed progress: 102734
Forward closed progress: 102730
Forward closed progress: 105765
Forward closed progress: 105774
Forward closed progress: 105797
Forward closed progress: 100148
Forward closed progress: 128408
Forward closed progress: 129319
Forward closed progress: 130011
Forward closed progress: 132361
Forward closed progress: 132355
Forward closed progress: 132357
Forward closed progress: 132408
Forward closed progress: 133349
Forward closed progress: 133140
Forward closed progress: 132933
Forward closed progress: 132269
Forward closed progress: 127691
Forward closed progress: 127582
Forward closed progress: 126891
Forward closed progress: 126983
Forward closed progress: 127220
Forward closed progress: 126980
Forward closed progress: 128728
Forward closed progress: 128943
Forward closed progress: 128654
Forward closed progress: 128554
Forward closed progress: 127758
Forward closed progress: 127740
Forward closed progress: 127828
Forward closed progress: 127752
Forward closed progress: 119616
Forward closed progress: 119455
Forward closed progress: 116550
Forward closed progress: 117290
Forward closed progress: 117188
Forward closed progress: 117331
Forward closed progress: 117083
Forward closed progress: 115804
Forward closed progress: 115801
Forward closed progress: 115782
Forward closed progress: 115781
Forward closed progress: 115784
Forward closed progress: 115781
Forward closed progress: 116437
Forward closed progress: 116489
Forward closed progress: 116367
Forward closed progress: 116339
Forward closed progress: 116434
Forward closed progress: 115769
Forward closed progress: 115283
Forward closed progress: 115452
Forward closed progress: 112556
Forward closed progress: 110351
Forward closed progress: 109621
Forward closed progress: 109537
Forward closed progress: 109375
Forward closed progress: 109283
Forward closed progress: 109251
Forward closed progress: 106849
Forward closed progress: 106801
Forward closed progress: 103443
Forward closed progress: 102934
Forward closed progress: 103042
Forward closed progress: 104972
Forward closed progress: 104896
Forward closed progress: 104931
Forward closed progress: 104738
Forward closed progress: 104487
Forward closed progress: 104479
Forward closed progress: 104414
Forward closed progress: 104448
Forward closed progress: 104421
Forward closed progress: 104338
Forward closed progress: 104045
Forward closed progress: 104022
Forward closed progress: 102297
Forward closed progress: 101111
Forward closed progress: 101138
Forward closed progress: 101072
Forward closed progress: 101070
Forward closed progress: 101031
Forward closed progress: 100909
Forward closed progress: 100710
Forward closed progress: 110421
Forward closed progress: 102527
Forward closed progress: 102525
Forward closed progress: 102490
Forward closed progress: 107560
Forward closed progress: 109134
Forward closed progress: 108752
Forward closed progress: 109679
Forward closed progress: 109876
Forward closed progress: 109849
Forward closed progress: 109588
Forward closed progress: 109452
Forward closed progress: 109372
Forward closed progress: 108671
Forward closed progress: 106674
Forward closed progress: 106666
Forward closed progress: 106510
Forward closed progress: 106647
Forward closed progress: 106367
Forward closed progress: 106044
Forward closed progress: 106082
Forward closed progress: 102432
Forward closed progress: 102612
Forward closed progress: 100280
Forward closed progress: 104255
Forward closed progress: 104123
Forward closed progress: 104150
Forward closed progress: 106066
Forward closed progress: 106017
Forward closed progress: 106023
Forward closed progress: 105656
Forward closed progress: 105682
Forward closed progress: 105681
Forward closed progress: 105636
Forward closed progress: 104789
Forward closed progress: 104776
Forward closed progress: 104739
Forward closed progress: 104787
Forward closed progress: 104758
Forward closed progress: 104460
Forward closed progress: 104093
Forward closed progress: 104069
Forward closed progress: 102149
Forward closed progress: 102110
Forward closed progress: 102015
Forward closed progress: 102014
Forward closed progress: 101809
Forward closed progress: 101777
Forward closed progress: 101105
Forward closed progress: 101499
Forward closed progress: 101481
Forward closed progress: 101468
Forward closed progress: 101523
Forward closed progress: 101397
Forward closed progress: 101044
Forward closed progress: 101410
Forward closed progress: 101370
Forward closed progress: 101034
Forward closed progress: 100901
Forward closed progress: 100714
Forward closed progress: 102554
Forward closed progress: 102544
Forward closed progress: 102555
Forward closed progress: 102495
Forward closed progress: 102602
Forward closed progress: 102614
Forward closed progress: 102579
Forward closed progress: 102414
Forward closed progress: 102407
Forward closed progress: 102400
Forward closed progress: 102388
Forward closed progress: 102376
Forward closed progress: 102345
Forward closed progress: 102345
Forward closed progress: 102209
Forward closed progress: 102203
Forward closed progress: 101989
Forward closed progress: 102005
Forward closed progress: 102050
Forward closed progress: 102075
Forward closed progress: 102054
Forward closed progress: 102044
Forward closed progress: 105952
Forward closed progress: 106214
Forward closed progress: 106476
Forward closed progress: 106472
Forward closed progress: 106521
Forward closed progress: 106553
Forward closed progress: 106272
Forward closed progress: 106252
Forward closed progress: 106252
Forward closed progress: 106157
Forward closed progress: 106113
Forward closed progress: 106014
Forward closed progress: 111155
Forward closed progress: 110975
Forward closed progress: 110904
Forward closed progress: 111224
Forward closed progress: 111060
Forward closed progress: 110930
Forward closed progress: 111163
Forward closed progress: 111124
Forward closed progress: 111014
Forward closed progress: 111108
Forward closed progress: 111004
Forward closed progress: 110797
Forward closed progress: 110645
Forward closed progress: 110645
Forward closed progress: 110503
Forward closed progress: 110456
Forward closed progress: 110486
Forward closed progress: 110545
Forward closed progress: 110551
Forward closed progress: 110575
Forward closed progress: 110557
Forward closed progress: 110845
Forward closed progress: 110837
Forward closed progress: 110749
Forward closed progress: 110675
Forward closed progress: 110675
Forward closed progress: 110609
Forward closed progress: 110669
Forward closed progress: 110693
Forward closed progress: 110786
Forward closed progress: 110780
Forward closed progress: 110774
Forward closed progress: 110807
Forward closed progress: 110765
Forward closed progress: 109255
Forward closed progress: 107580
Forward closed progress: 106414
Forward closed progress: 110100
Forward closed progress: 109555
Forward closed progress: 109521
Forward closed progress: 110155
Forward closed progress: 110131
Forward closed progress: 110091
Forward closed progress: 109081
Forward closed progress: 109270
Forward closed progress: 108841
Forward closed progress: 108831
Forward closed progress: 108744
Forward closed progress: 108794
Forward closed progress: 108753
Forward closed progress: 108648
Forward closed progress: 108598
Forward closed progress: 108605
Forward closed progress: 108544
Forward closed progress: 108549
Forward closed progress: 108542
Forward closed progress: 108266
Forward closed progress: 108821
Forward closed progress: 108141
Forward closed progress: 108092
Forward closed progress: 107962
Forward closed progress: 107597
Forward closed progress: 107597
Forward closed progress: 107583
Forward closed progress: 107280
Forward closed progress: 107282
Forward closed progress: 107280
Forward closed progress: 108292
Forward closed progress: 108318
Forward closed progress: 108331
Forward closed progress: 108097
Forward closed progress: 108097
Forward closed progress: 108084
Forward closed progress: 108072
Forward closed progress: 108080
Forward closed progress: 108142
Forward closed progress: 108150
Forward closed progress: 108144
Forward closed progress: 108141
Forward closed progress: 108134
Forward closed progress: 108142
Forward closed progress: 108131
Forward closed progress: 107792
Forward closed progress: 107319
Forward closed progress: 106951
Forward closed progress: 107020
Forward closed progress: 106938
Forward closed progress: 106940
Forward closed progress: 106924
Forward closed progress: 106996
Forward closed progress: 107031
Forward closed progress: 107034
Forward closed progress: 107041
Forward closed progress: 107069
Forward closed progress: 107048
Forward closed progress: 106528
Forward closed progress: 106443
Forward closed progress: 106444
Forward closed progress: 106419
Forward closed progress: 106397
Forward closed progress: 106409
Forward closed progress: 106403
Forward closed progress: 106397
Forward closed progress: 106382
Forward closed progress: 106330
Forward closed progress: 105332
Forward closed progress: 105412
Forward closed progress: 105390
Forward closed progress: 104744
Forward closed progress: 104683
Forward closed progress: 104675
Forward closed progress: 104399
Forward closed progress: 107223
Forward closed progress: 107204
Forward closed progress: 107104
Forward closed progress: 107089
Forward closed progress: 107115
Forward closed progress: 107064
Forward closed progress: 107148
Forward closed progress: 107014
Forward closed progress: 107001
Forward closed progress: 106844
Forward closed progress: 105670
Forward closed progress: 105672
Forward closed progress: 105674
Forward closed progress: 105628
Forward closed progress: 105495
Forward closed progress: 105465
Forward closed progress: 105475
Forward closed progress: 105486
Forward closed progress: 105465
Forward closed progress: 105465
Forward closed progress: 105462
Forward closed progress: 104190
Forward closed progress: 104169
Forward closed progress: 104124
Forward closed progress: 103967
Forward closed progress: 104694
Forward closed progress: 104467
Forward closed progress: 104106
Forward closed progress: 104108
Forward closed progress: 103994
Forward closed progress: 104280
Forward closed progress: 104298
Forward closed progress: 104273
Forward closed progress: 104258
Forward closed progress: 104240
Forward closed progress: 104341
Forward closed progress: 104300
Forward closed progress: 104244
Forward closed progress: 104150
Forward closed progress: 104092
Forward closed progress: 103751
Forward closed progress: 103708
Forward closed progress: 103756
Forward closed progress: 103414
Forward closed progress: 103252
Forward closed progress: 102981
Forward closed progress: 104604
Forward closed progress: 105407
Forward closed progress: 105115
Forward closed progress: 105929
Forward closed progress: 105974
Forward closed progress: 106090
Forward closed progress: 106762
Forward closed progress: 109911
Forward closed progress: 110069
Forward closed progress: 110152
Forward closed progress: 110261
Forward closed progress: 110229
Forward closed progress: 110202
Forward closed progress: 110162
Forward closed progress: 110162
Forward closed progress: 110123
Forward closed progress: 110117
Forward closed progress: 109869
Forward closed progress: 109881
Forward closed progress: 109886
Forward closed progress: 109904
Forward closed progress: 109889
Forward closed progress: 109879
Forward closed progress: 112426
Forward closed progress: 112551
Forward closed progress: 112849
Forward closed progress: 112854
Forward closed progress: 112592
Forward closed progress: 112580
Forward closed progress: 112637
Forward closed progress: 112339
Forward closed progress: 112301
Forward closed progress: 112255
Forward closed progress: 112357
Forward closed progress: 116552
Forward closed progress: 116204
Forward closed progress: 116534
Forward closed progress: 116526
Forward closed progress: 116431
Forward closed progress: 116438
Forward closed progress: 116313
Forward closed progress: 116136
Forward closed progress: 116154
Forward closed progress: 116155
Forward closed progress: 116155
Forward closed progress: 116171
Forward closed progress: 116153
Forward closed progress: 116411
Forward closed progress: 116348
Forward closed progress: 116315
Forward closed progress: 116262
Forward closed progress: 116262
Forward closed progress: 116218
Forward closed progress: 116258
Forward closed progress: 116283
Forward closed progress: 116349
Forward closed progress: 116345
Forward closed progress: 116341
Forward closed progress: 116363
Forward closed progress: 116335
Forward closed progress: 115918
Forward closed progress: 115634
Forward closed progress: 119793
Forward closed progress: 119703
Forward closed progress: 119537
Forward closed progress: 120138
Forward closed progress: 118705
Forward closed progress: 118861
Forward closed progress: 118373
Forward closed progress: 118355
Forward closed progress: 118305
Forward closed progress: 118351
Forward closed progress: 118313
Forward closed progress: 118180
Forward closed progress: 118167
Forward closed progress: 117912
Forward closed progress: 117778
Forward closed progress: 117775
Forward closed progress: 117423
Forward closed progress: 117467
Forward closed progress: 116723
Forward closed progress: 116553
Forward closed progress: 116059
Forward closed progress: 115608
Forward closed progress: 116606
Forward closed progress: 116565
Forward closed progress: 116565
Forward closed progress: 116322
Forward closed progress: 116322
Forward closed progress: 116299
Forward closed progress: 116251
Forward closed progress: 116257
Forward closed progress: 116262
Forward closed progress: 116259
Forward closed progress: 116259
Forward closed progress: 116254
Forward closed progress: 116259
Forward closed progress: 116232
Forward closed progress: 113997
Forward closed progress: 112689
Forward closed progress: 112559
Forward closed progress: 111651
Forward closed progress: 111614
Forward closed progress: 111614
Forward closed progress: 111608
Forward closed progress: 111593
Forward closed progress: 111604
Forward closed progress: 111605
Forward closed progress: 111605
Forward closed progress: 111594
Forward closed progress: 111544
Forward closed progress: 111546
Forward closed progress: 111485
Forward closed progress: 111389
Forward closed progress: 111434
Forward closed progress: 111465
Forward closed progress: 111340
Forward closed progress: 111337
Forward closed progress: 111105
Forward closed progress: 110329
Forward closed progress: 110247
Forward closed progress: 110218
Forward closed progress: 110262
Forward closed progress: 110225
Forward closed progress: 110163
Forward closed progress: 110140
Forward closed progress: 110038
Forward closed progress: 110042
Forward closed progress: 110041
Forward closed progress: 110040
Forward closed progress: 110044
Forward closed progress: 110025
Forward closed progress: 110009
Forward closed progress: 106847
Forward closed progress: 106281
Forward closed progress: 162721
Forward closed progress: 170101
Forward closed progress: 168171
Forward closed progress: 171041
Forward closed progress: 178294
Forward closed progress: 182803
Forward closed progress: 182974
Forward closed progress: 182802
Forward closed progress: 186500
Forward closed progress: 183240
Forward closed progress: 181441
Forward closed progress: 180775
Forward closed progress: 172118
Forward closed progress: 174964
Forward closed progress: 176675
Forward closed progress: 177333
Forward closed progress: 178149
Forward closed progress: 178156
Forward closed progress: 177392
Forward closed progress: 177231
Forward closed progress: 177276
Forward closed progress: 174904
Forward closed progress: 174901
Forward closed progress: 178915
Forward closed progress: 178703
Forward closed progress: 178878
Forward closed progress: 178942
Forward closed progress: 178924
Forward closed progress: 177230
Forward closed progress: 176445
Forward closed progress: 176573
Forward closed progress: 176597
Forward closed progress: 185243
Forward closed progress: 184354
Forward closed progress: 184231
Forward closed progress: 185150
Forward closed progress: 188664
Forward closed progress: 188600
Forward closed progress: 188379
Forward closed progress: 189018
Forward closed progress: 188987
Forward closed progress: 188694
Forward closed progress: 188948
Forward closed progress: 188408
Forward closed progress: 188129
Forward closed progress: 188259
Forward closed progress: 188209
Forward closed progress: 187851
Forward closed progress: 187674
Forward closed progress: 184341
Forward closed progress: 184477
Forward closed progress: 184100
Forward closed progress: 178949
Forward closed progress: 174815
Forward closed progress: 170614
Forward closed progress: 185167
Forward closed progress: 184673
Forward closed progress: 185057
Forward closed progress: 184763
Forward closed progress: 184623
Forward closed progress: 184632
Forward closed progress: 184506
Forward closed progress: 184473
Forward closed progress: 182604
Forward closed progress: 182500
Forward closed progress: 182330
Forward closed progress: 182405
Forward closed progress: 182336
Forward closed progress: 182038
Forward closed progress: 182216
Forward closed progress: 180895
Forward closed progress: 180907
Forward closed progress: 180946
Forward closed progress: 178198
Forward closed progress: 178225
Forward closed progress: 178244
Forward closed progress: 168920
Forward closed progress: 169312
Forward closed progress: 169513
Forward closed progress: 169418
Forward closed progress: 169417
Forward closed progress: 169384
Forward closed progress: 168322
Forward closed progress: 168285
Forward closed progress: 167599
Forward closed progress: 167224
Forward closed progress: 167004
Forward closed progress: 163393
Forward closed progress: 163283
Forward closed progress: 163180
Forward closed progress: 163121
Forward closed progress: 164110
Forward closed progress: 163611
Forward closed progress: 163206
Forward closed progress: 163200
Forward closed progress: 162971
Forward closed progress: 162798
Forward closed progress: 162638
Forward closed progress: 162391
Forward closed progress: 162328
Forward closed progress: 162207
Forward closed progress: 163219
Forward closed progress: 158999
Forward closed progress: 161495
Forward closed progress: 161769
Forward closed progress: 161555
Forward closed progress: 161894
Forward closed progress: 162565
Forward closed progress: 162522
Forward closed progress: 162034
Forward closed progress: 161940
Forward closed progress: 161954
Forward closed progress: 161640
Forward closed progress: 161753
Forward closed progress: 161248
Forward closed progress: 160753
Forward closed progress: 160743
Forward closed progress: 158955
Forward closed progress: 159076
Forward closed progress: 158121
Forward closed progress: 159363
Forward closed progress: 159279
Forward closed progress: 159315
Forward closed progress: 159804
Forward closed progress: 159754
Forward closed progress: 159747
Forward closed progress: 159576
Forward closed progress: 159189
Forward closed progress: 159188
Forward closed progress: 159158
Forward closed progress: 159168
Forward closed progress: 159163
Forward closed progress: 159026
Forward closed progress: 158846
Forward closed progress: 158793
Forward closed progress: 158258
Forward closed progress: 158217
Forward closed progress: 158123
Forward closed progress: 158093
Forward closed progress: 157300
Forward closed progress: 146376
Forward closed progress: 145896
Forward closed progress: 154942
Forward closed progress: 156116
Forward closed progress: 156488
Forward closed progress: 156985
Forward closed progress: 156882
Forward closed progress: 156714
Forward closed progress: 156993
Forward closed progress: 155570
Forward closed progress: 155073
Forward closed progress: 155280
Forward closed progress: 155146
Forward closed progress: 155613
Forward closed progress: 155387
Forward closed progress: 154910
Forward closed progress: 155206
Forward closed progress: 155240
Forward closed progress: 157371
Forward closed progress: 158065
Forward closed progress: 157567
Forward closed progress: 157567
Forward closed progress: 157467
Forward closed progress: 156942
Forward closed progress: 155575
Forward closed progress: 154964
Forward closed progress: 153136
Forward closed progress: 152945
Forward closed progress: 160045
Forward closed progress: 160349
Forward closed progress: 160473
Forward closed progress: 159957
Forward closed progress: 160079
Forward closed progress: 160357
Forward closed progress: 160395
Forward closed progress: 160142
Forward closed progress: 156167
Forward closed progress: 156727
Forward closed progress: 156941
Forward closed progress: 156893
Forward closed progress: 156548
Forward closed progress: 155788
Forward closed progress: 155626
Forward closed progress: 155079
Forward closed progress: 155254
Forward closed progress: 153691
Forward closed progress: 153218
Forward closed progress: 151205
Forward closed progress: 151361
Forward closed progress: 152026
Forward closed progress: 151983
Forward closed progress: 151892
Forward closed progress: 151361
Forward closed progress: 151337
Forward closed progress: 150822
Forward closed progress: 148269
Forward closed progress: 148494
Forward closed progress: 148696
Forward closed progress: 148620
Forward closed progress: 148296
Forward closed progress: 148342
Forward closed progress: 148782
Forward closed progress: 148576
Forward closed progress: 148595
Forward closed progress: 148568
Forward closed progress: 148568
Forward closed progress: 148530
Forward closed progress: 147998
Forward closed progress: 149300
Forward closed progress: 149221
Forward closed progress: 149331
Forward closed progress: 149358
Forward closed progress: 149313
Forward closed progress: 148654
Forward closed progress: 148606
Forward closed progress: 174018
Forward closed progress: 214960
Forward closed progress: 213069
Forward closed progress: 212112
Forward closed progress: 211463
Forward closed progress: 209359
Forward closed progress: 209964
Forward closed progress: 208958
Forward closed progress: 207290
Forward closed progress: 207908
Forward closed progress: 208276
Forward closed progress: 208370
Forward closed progress: 207642
Forward closed progress: 208738
Forward closed progress: 209141
Forward closed progress: 209227
Forward closed progress: 209237
Forward closed progress: 209201
Forward closed progress: 213343
Forward closed progress: 217978
Forward closed progress: 217946
Forward closed progress: 217914
Forward closed progress: 217651
Forward closed progress: 217162
Forward closed progress: 203218
Forward closed progress: 203212
Forward closed progress: 203255
Forward closed progress: 202966
Forward closed progress: 195053
Forward closed progress: 189452
Forward closed progress: 189447
Forward closed progress: 188176
Forward closed progress: 188270
Forward closed progress: 188271
Forward closed progress: 188283
Forward closed progress: 188271
Forward closed progress: 188076
Forward closed progress: 188172
Forward closed progress: 188137
Forward closed progress: 188559
Forward closed progress: 188667
Forward closed progress: 189539
Forward closed progress: 189541
Forward closed progress: 189583
Forward closed progress: 189585
Forward closed progress: 194865
Forward closed progress: 196016
Forward closed progress: 196212
Forward closed progress: 195792
Forward closed progress: 194905
Forward closed progress: 196687
Forward closed progress: 197373
Forward closed progress: 197350
Forward closed progress: 197188
Forward closed progress: 196926
Forward closed progress: 196846
Forward closed progress: 195410
Forward closed progress: 195540
Forward closed progress: 194504
Forward closed progress: 194496
Forward closed progress: 194348
Forward closed progress: 192700
Forward closed progress: 191735
Forward closed progress: 190428
Forward closed progress: 190988
Forward closed progress: 190746
Forward closed progress: 190622
Forward closed progress: 194148
Forward closed progress: 195781
Forward closed progress: 196266
Forward closed progress: 196593
Forward closed progress: 200119
Forward closed progress: 202185
Forward closed progress: 202117
Forward closed progress: 202199
Forward closed progress: 201922
Forward closed progress: 201236
Forward closed progress: 201288
Forward closed progress: 201570
Forward closed progress: 201496
Forward closed progress: 201004
Forward closed progress: 200979
Forward closed progress: 224476
Forward closed progress: 223868
Forward closed progress: 226845
Forward closed progress: 226450
Forward closed progress: 227540
Forward closed progress: 227472
Forward closed progress: 227486
Forward closed progress: 227283
Forward closed progress: 226519
Forward closed progress: 229339
Forward closed progress: 229553
Forward closed progress: 229403
Forward closed progress: 229105
Forward closed progress: 229433
Forward closed progress: 229436
Forward closed progress: 229421
Forward closed progress: 229345
Forward closed progress: 229208
Forward closed progress: 229198
Forward closed progress: 228739
Forward closed progress: 228653
Forward closed progress: 228422
Forward closed progress: 227070
Forward closed progress: 227394
Forward closed progress: 232382
Forward closed progress: 232541
Forward closed progress: 231874
Forward closed progress: 232325
Forward closed progress: 232217
Forward closed progress: 231855
Forward closed progress: 231715
Forward closed progress: 230672
Forward closed progress: 230452
Forward closed progress: 230564
Forward closed progress: 230624
Forward closed progress: 230612
Forward closed progress: 230090
Forward closed progress: 228893
Forward closed progress: 240266
Forward closed progress: 240588
Forward closed progress: 240721
Forward closed progress: 241435
Forward closed progress: 241159
Forward closed progress: 241225
Forward closed progress: 240673
Forward closed progress: 240369
Forward closed progress: 240131
Forward closed progress: 240027
Forward closed progress: 240465
Forward closed progress: 239948
Forward closed progress: 236285
Forward closed progress: 241404
Forward closed progress: 238462
Forward closed progress: 238530
Forward closed progress: 238518
Forward closed progress: 238366
Forward closed progress: 238406
Forward closed progress: 238364
Forward closed progress: 238092
Forward closed progress: 238206
Forward closed progress: 237762
Forward closed progress: 237082
Forward closed progress: 238378
Forward closed progress: 238550
Forward closed progress: 237979
Forward closed progress: 238071
Forward closed progress: 238035
Forward closed progress: 237987
Forward closed progress: 237939
Forward closed progress: 237298
Forward closed progress: 237166
Forward closed progress: 237602
Forward closed progress: 236970
Forward closed progress: 242909
Forward closed progress: 242683
Forward closed progress: 241900
Forward closed progress: 239968
Forward closed progress: 240056
Forward closed progress: 240044
Forward closed progress: 240024
Forward closed progress: 240008
Forward closed progress: 239792
Forward closed progress: 239832
Forward closed progress: 239790
Forward closed progress: 239694
Forward closed progress: 239726
Forward closed progress: 241479
Forward closed progress: 241575
Forward closed progress: 241316
Forward closed progress: 241426
Forward closed progress: 241396
Forward closed progress: 241328
Forward closed progress: 241294
Forward closed progress: 241014
Forward closed progress: 240648
Forward closed progress: 241420
Forward closed progress: 240230
Forward closed progress: 240290
Forward closed progress: 240278
Forward closed progress: 240150
Forward closed progress: 240190
Forward closed progress: 240148
Forward closed progress: 239924
Forward closed progress: 240026
Forward closed progress: 239680
Forward closed progress: 239152
Forward closed progress: 238256
Forward closed progress: 238424
Forward closed progress: 237701
Forward closed progress: 237793
Forward closed progress: 237757
Forward closed progress: 237709
Forward closed progress: 237661
Forward closed progress: 236913
Forward closed progress: 236260
Forward closed progress: 239788
Forward closed progress: 241017
Forward closed progress: 241035
Forward closed progress: 240623
Forward closed progress: 238694
Forward closed progress: 238964
Forward closed progress: 238846
Forward closed progress: 238836
Forward closed progress: 238931
Forward closed progress: 238909
Forward closed progress: 238812
Forward closed progress: 238834
Forward closed progress: 239843
Forward closed progress: 239815
Forward closed progress: 239731
Forward closed progress: 239731
Forward closed progress: 239719
Forward closed progress: 239712
Forward closed progress: 239780
Forward closed progress: 239796
Forward closed progress: 240020
Forward closed progress: 239892
Forward closed progress: 247750
Forward closed progress: 246779
Forward closed progress: 246803
Forward closed progress: 244949
Forward closed progress: 245157
Forward closed progress: 244715
Forward closed progress: 245267
Forward closed progress: 244989
Forward closed progress: 245188
Forward closed progress: 243976
Forward closed progress: 244346
Forward closed progress: 244340
Forward closed progress: 244028
Forward closed progress: 244060
Forward closed progress: 244054
Forward closed progress: 242739
Forward closed progress: 242729
Forward closed progress: 242843
Forward closed progress: 242167
Forward closed progress: 241581
Forward closed progress: 237129
Forward closed progress: 236914
Forward closed progress: 235708
Forward closed progress: 234978
Forward closed progress: 234328
Forward closed progress: 231591
Forward closed progress: 231591
Control exists for 7580 color(s), jumping through 2086215680 vertices.
Elapsed: 566433 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 566.433
user ??
sys ??
