>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 32
Uncertainty colors: 4597724880
Perturbation colors: 4294967296
All colors: 19747077995605524000
Unknown update functions: 5
Lowest cardinality: 0
Highest cardinality: 5
Attractor colors: 1242070869459599400
Attractor colors computed in 80651 ms.
Backward progress: 128006
Backward progress: 127994
Backward progress: 134647
Backward progress: 128101
Backward progress: 128083
Backward progress: 128003
Backward progress: 133074
Backward progress: 128208
Backward progress: 128204
Backward progress: 129830
Backward progress: 129740
Backward progress: 129707
Backward progress: 128029
Backward progress: 128545
Backward progress: 128548
Backward progress: 130186
Backward progress: 128118
Backward progress: 128106
Backward progress: 129748
Backward progress: 129734
Backward progress: 129737
Backward progress: 129737
Backward progress: 129873
Backward progress: 129842
Backward progress: 129842
Backward progress: 129840
Backward progress: 129837
Backward progress: 129913
Backward progress: 129906
Backward progress: 129825
Backward progress: 129822
Backward progress: 129794
Backward progress: 129797
Backward progress: 129797
Backward progress: 129793
Backward progress: 129798
Backward progress: 129929
Backward progress: 129923
Backward progress: 129918
Backward progress: 129915
Backward progress: 129920
Backward progress: 129951
Backward progress: 129950
Backward progress: 129886
Backward progress: 129880
Backward progress: 129883
Backward progress: 129882
Backward progress: 129883
Backward progress: 129887
Backward progress: 129899
Backward progress: 129887
Backward progress: 129917
Backward progress: 129916
Backward progress: 130015
Backward progress: 130121
Backward progress: 137230
Backward progress: 143850
Backward progress: 143842
Backward progress: 150465
Backward progress: 150500
Backward progress: 147194
Backward progress: 147212
Backward progress: 143788
Backward progress: 144052
Backward progress: 155837
Backward progress: 151075
Backward progress: 151067
Backward progress: 157682
Backward progress: 157846
Backward progress: 166093
Backward progress: 157910
Backward progress: 161186
Backward progress: 157814
Backward progress: 157770
Backward progress: 157806
Backward progress: 157758
Backward progress: 157730
Backward progress: 157746
Backward progress: 157734
Backward progress: 157758
Backward progress: 157730
Backward progress: 144276
Backward progress: 144328
Backward progress: 144324
Backward progress: 144328
Backward progress: 144342
Backward progress: 144044
Backward progress: 143792
Backward progress: 169333
Backward progress: 169325
Backward progress: 169319
Backward progress: 169319
Backward progress: 169317
Backward progress: 169316
Backward progress: 180867
Backward progress: 184299
Backward progress: 184174
Backward progress: 184226
Backward progress: 184356
Backward progress: 184353
Backward progress: 187639
Backward progress: 184357
Backward progress: 167271
Backward progress: 162336
Backward progress: 162381
Backward progress: 162399
Backward progress: 162395
Backward progress: 162395
Backward progress: 162389
Backward progress: 162393
Backward progress: 162399
Backward progress: 162395
Backward progress: 162406
Backward progress: 165823
Backward progress: 162421
Backward progress: 162474
Backward progress: 152195
Backward progress: 152162
Backward progress: 152371
Backward progress: 152367
Backward progress: 152363
Backward progress: 152349
Backward progress: 152309
Backward progress: 152320
Backward progress: 152310
Backward progress: 152310
Backward progress: 145434
Backward progress: 159418
Backward progress: 159685
Backward progress: 159674
Backward progress: 159680
Backward progress: 159672
Backward progress: 180912
Backward progress: 168218
Backward progress: 168182
Backward progress: 179780
Backward progress: 178437
Backward progress: 178407
Backward progress: 186497
Backward progress: 178309
Backward progress: 181557
Backward progress: 178187
Backward progress: 187776
Backward progress: 178034
Backward progress: 177990
Backward progress: 189463
Backward progress: 184404
Backward progress: 184372
Backward progress: 177734
Backward progress: 177803
Backward progress: 159773
Backward progress: 159781
Backward progress: 158277
Backward progress: 157165
Backward progress: 157160
Backward progress: 162083
Backward progress: 158990
Backward progress: 158963
Backward progress: 165513
Backward progress: 167103
Backward progress: 165476
Backward progress: 165476
Backward progress: 165464
Backward progress: 166879
Backward progress: 165257
Backward progress: 165249
Backward progress: 168529
Backward progress: 168523
Backward progress: 168509
Backward progress: 165195
Backward progress: 166861
Backward progress: 166861
Backward progress: 163399
Backward progress: 163434
Backward progress: 163421
Backward progress: 163423
Backward progress: 163417
Backward progress: 163417
Backward progress: 163422
Backward progress: 163417
Backward progress: 163287
Backward progress: 163311
Backward progress: 152989
Backward progress: 152841
Backward progress: 152846
Backward progress: 152817
Backward progress: 152792
Backward progress: 154830
Backward progress: 155081
Backward progress: 155109
Backward progress: 160012
Backward progress: 156868
Backward progress: 161818
Backward progress: 157021
Backward progress: 157009
Backward progress: 160266
Backward progress: 160215
Backward progress: 164035
Backward progress: 164032
Backward progress: 164028
Backward progress: 167336
Backward progress: 164161
Backward progress: 164146
Backward progress: 164104
Backward progress: 164031
Backward progress: 164015
Backward progress: 154421
Backward progress: 154433
Backward progress: 154435
Backward progress: 154430
Backward progress: 154438
Backward progress: 154434
Backward progress: 154427
Backward progress: 156069
Backward progress: 154433
Backward progress: 154438
Backward progress: 154225
Backward progress: 154145
Backward progress: 154303
Backward progress: 154299
Backward progress: 154299
Backward progress: 154295
Backward progress: 154311
Backward progress: 154253
Backward progress: 154188
Backward progress: 159690
Backward progress: 154830
Backward progress: 154828
Backward progress: 154840
Backward progress: 154818
Backward progress: 154813
Backward progress: 154761
Backward progress: 159711
Backward progress: 154859
Backward progress: 154847
Backward progress: 158128
Backward progress: 157880
Backward progress: 157736
Backward progress: 154270
Backward progress: 154245
Backward progress: 153653
Backward progress: 153546
Backward progress: 153215
Backward progress: 179995
Backward progress: 196444
Backward progress: 218683
Backward progress: 218469
Backward progress: 218926
Backward progress: 230144
Backward progress: 219973
Backward progress: 218254
Backward progress: 218201
Backward progress: 214839
Backward progress: 214538
Backward progress: 214555
Backward progress: 216206
Backward progress: 216208
Backward progress: 237861
Backward progress: 238147
Backward progress: 238132
Backward progress: 256205
Backward progress: 260040
Backward progress: 260020
Backward progress: 259940
Backward progress: 271513
Backward progress: 260123
Backward progress: 260085
Backward progress: 283043
Backward progress: 269750
Backward progress: 269726
Backward progress: 259826
Backward progress: 259827
Backward progress: 251295
Backward progress: 251186
Backward progress: 251092
Backward progress: 252327
Backward progress: 249419
Backward progress: 251141
Backward progress: 263324
Backward progress: 263394
Backward progress: 295025
Backward progress: 297160
Backward progress: 297130
Backward progress: 298771
Backward progress: 298709
Backward progress: 298721
Backward progress: 326934
Backward progress: 336911
Backward progress: 336908
Backward progress: 343461
Backward progress: 340183
Backward progress: 340170
Backward progress: 336862
Backward progress: 336978
Backward progress: 337107
Backward progress: 338769
Backward progress: 342053
Backward progress: 340442
Backward progress: 340454
Backward progress: 340462
Backward progress: 292809
Backward progress: 293036
Backward progress: 293280
Backward progress: 293269
Backward progress: 293268
Backward progress: 310097
Backward progress: 300047
Backward progress: 299820
Backward progress: 290368
Backward progress: 289334
Backward progress: 289546
Backward progress: 232760
Backward progress: 232748
Backward progress: 251456
Backward progress: 236907
Backward progress: 236870
Backward progress: 250022
Backward progress: 242067
Backward progress: 242042
Backward progress: 241888
Backward progress: 253426
Backward progress: 242036
Backward progress: 241977
Backward progress: 264935
Backward progress: 251625
Backward progress: 251577
Backward progress: 241618
Backward progress: 241619
Backward progress: 232838
Backward progress: 232853
Backward progress: 232224
Backward progress: 230952
Backward progress: 230939
Backward progress: 239135
Backward progress: 234371
Backward progress: 234337
Backward progress: 235968
Backward progress: 235885
Backward progress: 239122
Backward progress: 235851
Backward progress: 235848
Backward progress: 242402
Backward progress: 239124
Backward progress: 239110
Backward progress: 235739
Backward progress: 235747
Backward progress: 235747
Backward progress: 230613
Backward progress: 230615
Backward progress: 230597
Backward progress: 230597
Backward progress: 230475
Backward progress: 230441
Backward progress: 230436
Backward progress: 230201
Backward progress: 210169
Backward progress: 210303
Backward progress: 210331
Backward progress: 220179
Backward progress: 215488
Backward progress: 223743
Backward progress: 220599
Backward progress: 220579
Backward progress: 235301
Backward progress: 235397
Backward progress: 239187
Backward progress: 235734
Backward progress: 242343
Backward progress: 235869
Backward progress: 235846
Backward progress: 239081
Backward progress: 235729
Backward progress: 235720
Backward progress: 209555
Backward progress: 218123
Backward progress: 209995
Backward progress: 209983
Backward progress: 214917
Backward progress: 209971
Backward progress: 209967
Backward progress: 209915
Backward progress: 218145
Backward progress: 210025
Backward progress: 209987
Backward progress: 221457
Backward progress: 216372
Backward progress: 216294
Backward progress: 209599
Backward progress: 209204
Backward progress: 209706
Backward progress: 209091
Backward progress: 191580
Backward progress: 219039
Backward progress: 237647
Backward progress: 222209
Backward progress: 230245
Backward progress: 230280
Backward progress: 229330
Backward progress: 232626
Backward progress: 232639
Backward progress: 236032
Backward progress: 240978
Backward progress: 241149
Backward progress: 242801
Backward progress: 241656
Backward progress: 241662
Backward progress: 241665
Backward progress: 228461
Backward progress: 228588
Backward progress: 228588
Backward progress: 230978
Backward progress: 230978
Backward progress: 230892
Backward progress: 230893
Backward progress: 230893
Forward closed progress: 212906
Forward closed progress: 212894
Forward closed progress: 206765
Forward closed progress: 214729
Forward closed progress: 208974
Forward closed progress: 202426
Forward closed progress: 202402
Forward closed progress: 202555
Forward closed progress: 210578
Forward closed progress: 202350
Forward closed progress: 252456
Forward closed progress: 204835
Forward closed progress: 204835
Forward closed progress: 201548
Forward closed progress: 198262
Forward closed progress: 198683
Forward closed progress: 197077
Forward closed progress: 220156
Forward closed progress: 216889
Forward closed progress: 207139
Forward closed progress: 213697
Forward closed progress: 213823
Forward closed progress: 213927
Forward closed progress: 216719
Forward closed progress: 238118
Forward closed progress: 235539
Forward closed progress: 235533
Forward closed progress: 235552
Forward closed progress: 235548
Forward closed progress: 235538
Forward closed progress: 220041
Forward closed progress: 220047
Forward closed progress: 220057
Forward closed progress: 220106
Forward closed progress: 220081
Forward closed progress: 219375
Forward closed progress: 219374
Forward closed progress: 219431
Forward closed progress: 219422
Forward closed progress: 219391
Forward closed progress: 223196
Forward closed progress: 248198
Forward closed progress: 248573
Forward closed progress: 248377
Forward closed progress: 248315
Forward closed progress: 261405
Forward closed progress: 248237
Forward closed progress: 248233
Forward closed progress: 244884
Forward closed progress: 244796
Forward closed progress: 370053
Forward closed progress: 339551
Forward closed progress: 339632
Forward closed progress: 346701
Forward closed progress: 356772
Forward closed progress: 356830
Forward closed progress: 353533
Forward closed progress: 353761
Forward closed progress: 357409
Forward closed progress: 357469
Forward closed progress: 357455
Forward closed progress: 357445
Forward closed progress: 357479
Forward closed progress: 354111
Forward closed progress: 354186
Forward closed progress: 363523
Forward closed progress: 363226
Forward closed progress: 351036
Forward closed progress: 380723
Forward closed progress: 380430
Forward closed progress: 382062
Forward closed progress: 382208
Forward closed progress: 378767
Forward closed progress: 378683
Forward closed progress: 372014
Forward closed progress: 372008
Forward closed progress: 371986
Forward closed progress: 372013
Forward closed progress: 371915
Forward closed progress: 368477
Forward closed progress: 384859
Forward closed progress: 384861
Forward closed progress: 351208
Forward closed progress: 352491
Forward closed progress: 386842
Forward closed progress: 384066
Forward closed progress: 384057
Forward closed progress: 387586
Forward closed progress: 387308
Forward closed progress: 405193
Forward closed progress: 403477
Forward closed progress: 404039
Forward closed progress: 378793
Forward closed progress: 378649
Forward closed progress: 376154
Forward closed progress: 386059
Forward closed progress: 405993
Forward closed progress: 383940
Forward closed progress: 362508
Forward closed progress: 365797
Forward closed progress: 362512
Forward closed progress: 365788
Forward closed progress: 362518
Forward closed progress: 361255
Forward closed progress: 361351
Forward closed progress: 362983
Forward closed progress: 361265
Forward closed progress: 367519
Forward closed progress: 367714
Forward closed progress: 367377
Forward closed progress: 367389
Forward closed progress: 367397
Forward closed progress: 367395
Forward closed progress: 366935
Forward closed progress: 366804
Forward closed progress: 367021
Forward closed progress: 380160
Forward closed progress: 391287
Forward closed progress: 390443
Forward closed progress: 364989
Forward closed progress: 364920
Forward closed progress: 364346
Forward closed progress: 364687
Forward closed progress: 366292
Forward closed progress: 366281
Forward closed progress: 366255
Forward closed progress: 364597
Forward closed progress: 364542
Forward closed progress: 420531
Forward closed progress: 432281
Forward closed progress: 438720
Forward closed progress: 428742
Forward closed progress: 428665
Forward closed progress: 425318
Forward closed progress: 414983
Forward closed progress: 428335
Forward closed progress: 418498
Forward closed progress: 418456
Forward closed progress: 418414
Forward closed progress: 418360
Forward closed progress: 415036
Forward closed progress: 415034
Forward closed progress: 414876
Forward closed progress: 410344
Forward closed progress: 403709
Forward closed progress: 403671
Forward closed progress: 402006
Forward closed progress: 400284
Forward closed progress: 400277
Forward closed progress: 399741
Forward closed progress: 403043
Forward closed progress: 399750
Forward closed progress: 399757
Forward closed progress: 399738
Forward closed progress: 399715
Forward closed progress: 397693
Forward closed progress: 397404
Forward closed progress: 417258
Forward closed progress: 419707
Forward closed progress: 421222
Forward closed progress: 421062
Forward closed progress: 425756
Forward closed progress: 425187
Forward closed progress: 432920
Forward closed progress: 477492
Forward closed progress: 457854
Forward closed progress: 457619
Forward closed progress: 457473
Forward closed progress: 501453
Forward closed progress: 507782
Forward closed progress: 535967
Forward closed progress: 512738
Forward closed progress: 499092
Forward closed progress: 489925
Forward closed progress: 530205
Forward closed progress: 503974
Forward closed progress: 503761
Forward closed progress: 503687
Forward closed progress: 489852
Forward closed progress: 489882
Forward closed progress: 488695
Forward closed progress: 461039
Forward closed progress: 457700
Forward closed progress: 453992
Forward closed progress: 459131
Forward closed progress: 459067
Forward closed progress: 500505
Forward closed progress: 477973
Forward closed progress: 478060
Forward closed progress: 478461
Forward closed progress: 459834
Forward closed progress: 459638
Forward closed progress: 454430
Forward closed progress: 453997
Forward closed progress: 451592
Forward closed progress: 456021
Forward closed progress: 455493
Forward closed progress: 455246
Forward closed progress: 455311
Forward closed progress: 455560
Forward closed progress: 455035
Forward closed progress: 455713
Forward closed progress: 472082
Forward closed progress: 466188
Forward closed progress: 454047
Forward closed progress: 453763
Forward closed progress: 452645
Forward closed progress: 452912
Forward closed progress: 452621
Forward closed progress: 451690
Forward closed progress: 451216
Forward closed progress: 448594
Forward closed progress: 485522
Forward closed progress: 558853
Forward closed progress: 555836
Forward closed progress: 580528
Forward closed progress: 580957
Forward closed progress: 658832
Forward closed progress: 669572
Forward closed progress: 669561
Forward closed progress: 669621
Forward closed progress: 643483
Forward closed progress: 646785
Forward closed progress: 658262
Forward closed progress: 674733
Forward closed progress: 674809
Forward closed progress: 674819
Forward closed progress: 674018
Forward closed progress: 674006
Forward closed progress: 674001
Forward closed progress: 674505
Forward closed progress: 677927
Forward closed progress: 623311
Forward closed progress: 623299
Forward closed progress: 623239
Forward closed progress: 621298
Forward closed progress: 621346
Forward closed progress: 621286
Forward closed progress: 696292
Forward closed progress: 697594
Forward closed progress: 697602
Forward closed progress: 697610
Forward closed progress: 697620
Forward closed progress: 704244
Forward closed progress: 697592
Forward closed progress: 697322
Forward closed progress: 697506
Forward closed progress: 691026
Forward closed progress: 697546
Forward closed progress: 690822
Forward closed progress: 683255
Forward closed progress: 679163
Forward closed progress: 672475
Forward closed progress: 646258
Forward closed progress: 659655
Forward closed progress: 658826
Forward closed progress: 658856
Forward closed progress: 657755
Forward closed progress: 657733
Forward closed progress: 657224
Forward closed progress: 656691
Forward closed progress: 656553
Forward closed progress: 656233
Forward closed progress: 651134
Forward closed progress: 650676
Forward closed progress: 647688
Forward closed progress: 648498
Forward closed progress: 659837
Forward closed progress: 647896
Forward closed progress: 652839
Forward closed progress: 652035
Forward closed progress: 651509
Forward closed progress: 651438
Forward closed progress: 651054
Forward closed progress: 650161
Forward closed progress: 649328
Forward closed progress: 649713
Forward closed progress: 657589
Forward closed progress: 649032
Forward closed progress: 649148
Forward closed progress: 649104
Forward closed progress: 649050
Forward closed progress: 649000
Forward closed progress: 649045
Forward closed progress: 648993
Forward closed progress: 649230
Forward closed progress: 648960
Forward closed progress: 648329
Forward closed progress: 648305
Forward closed progress: 647794
Forward closed progress: 646702
Forward closed progress: 645937
Forward closed progress: 645937
Forward closed progress: 645564
Forward closed progress: 670176
Forward closed progress: 705686
Forward closed progress: 705824
Forward closed progress: 725480
Forward closed progress: 714377
Forward closed progress: 714027
Forward closed progress: 713161
Forward closed progress: 732808
Forward closed progress: 713013
Forward closed progress: 713107
Forward closed progress: 711401
Forward closed progress: 712820
Forward closed progress: 713202
Forward closed progress: 713222
Forward closed progress: 714171
Forward closed progress: 714760
Forward closed progress: 714764
Forward closed progress: 714754
Forward closed progress: 716658
Forward closed progress: 716666
Forward closed progress: 716548
Forward closed progress: 716492
Forward closed progress: 716300
Forward closed progress: 725998
Forward closed progress: 730660
Forward closed progress: 730554
Forward closed progress: 733182
Forward closed progress: 732808
Forward closed progress: 690535
Forward closed progress: 700349
Forward closed progress: 700704
Forward closed progress: 700620
Forward closed progress: 700628
Forward closed progress: 700392
Forward closed progress: 700651
Forward closed progress: 700701
Forward closed progress: 700697
Forward closed progress: 700270
Forward closed progress: 700170
Forward closed progress: 700939
Forward closed progress: 699002
Forward closed progress: 698972
Forward closed progress: 698940
Forward closed progress: 701602
Forward closed progress: 698362
Forward closed progress: 698134
Forward closed progress: 701546
Forward closed progress: 699779
Forward closed progress: 708174
Forward closed progress: 705177
Forward closed progress: 706029
Forward closed progress: 706391
Forward closed progress: 706346
Forward closed progress: 706238
Forward closed progress: 705704
Forward closed progress: 705695
Forward closed progress: 705682
Forward closed progress: 705672
Forward closed progress: 705562
Forward closed progress: 705561
Forward closed progress: 705519
Forward closed progress: 705469
Forward closed progress: 705465
Forward closed progress: 705444
Forward closed progress: 705417
Forward closed progress: 705098
Forward closed progress: 708410
Forward closed progress: 711765
Forward closed progress: 711646
Forward closed progress: 704886
Forward closed progress: 705310
Forward closed progress: 705122
Forward closed progress: 704966
Forward closed progress: 705081
Forward closed progress: 704993
Forward closed progress: 704937
Forward closed progress: 704928
Forward closed progress: 704905
Forward closed progress: 704470
Forward closed progress: 703137
Forward closed progress: 703439
Forward closed progress: 703415
Forward closed progress: 703464
Forward closed progress: 702430
Forward closed progress: 702930
Forward closed progress: 704619
Forward closed progress: 709536
Forward closed progress: 706486
Forward closed progress: 706482
Forward closed progress: 706476
Forward closed progress: 711393
Forward closed progress: 706346
Forward closed progress: 706182
Forward closed progress: 708688
Forward closed progress: 706753
Forward closed progress: 706744
Forward closed progress: 706663
Forward closed progress: 706645
Forward closed progress: 706648
Forward closed progress: 706615
Forward closed progress: 706555
Forward closed progress: 706416
Forward closed progress: 705929
Forward closed progress: 705959
Forward closed progress: 705713
Forward closed progress: 707822
Forward closed progress: 707891
Forward closed progress: 707876
Forward closed progress: 708092
Forward closed progress: 717920
Forward closed progress: 711592
Forward closed progress: 711589
Forward closed progress: 721417
Forward closed progress: 711529
Forward closed progress: 707990
Forward closed progress: 707882
Forward closed progress: 710612
Forward closed progress: 710584
Forward closed progress: 710635
Forward closed progress: 710435
Forward closed progress: 710435
Forward closed progress: 710017
Forward closed progress: 710359
Forward closed progress: 710279
Forward closed progress: 710046
Forward closed progress: 706353
Forward closed progress: 766874
Forward closed progress: 1122893
Forward closed progress: 1120829
Forward closed progress: 1144991
Forward closed progress: 1145582
Forward closed progress: 1145336
Forward closed progress: 1161756
Forward closed progress: 1160003
Forward closed progress: 1159353
Forward closed progress: 1161548
Forward closed progress: 1148494
Forward closed progress: 1148488
Forward closed progress: 1148462
Forward closed progress: 1153397
Forward closed progress: 1168766
Forward closed progress: 1168120
Forward closed progress: 1163924
Forward closed progress: 1163882
Forward closed progress: 1289647
Forward closed progress: 1419120
Forward closed progress: 1419121
Forward closed progress: 1400367
Forward closed progress: 1400173
Forward closed progress: 1328146
Forward closed progress: 1233281
Forward closed progress: 1232740
Forward closed progress: 1232237
Forward closed progress: 1232367
Forward closed progress: 1230243
Forward closed progress: 1229889
Forward closed progress: 1214008
Forward closed progress: 1212856
Forward closed progress: 1155564
Forward closed progress: 1155426
Forward closed progress: 1155348
Forward closed progress: 1155223
Forward closed progress: 1154947
Forward closed progress: 1156890
Forward closed progress: 1159606
Forward closed progress: 1160503
Forward closed progress: 1160500
Forward closed progress: 1160544
Forward closed progress: 1160496
Forward closed progress: 1161730
Forward closed progress: 1161708
Forward closed progress: 1161711
Forward closed progress: 1162345
Forward closed progress: 1162370
Forward closed progress: 1162368
Forward closed progress: 1162386
Forward closed progress: 1162622
Forward closed progress: 1173322
Forward closed progress: 1173311
Forward closed progress: 1171925
Forward closed progress: 1163578
Forward closed progress: 1182020
Forward closed progress: 1203795
Forward closed progress: 1203731
Forward closed progress: 1202074
Forward closed progress: 1201744
Forward closed progress: 1201632
Forward closed progress: 1201624
Forward closed progress: 1196587
Forward closed progress: 1185672
Forward closed progress: 1185836
Forward closed progress: 1185774
Forward closed progress: 1190656
Forward closed progress: 1190680
Forward closed progress: 1190674
Forward closed progress: 1184942
Forward closed progress: 1184758
Forward closed progress: 1179721
Forward closed progress: 1181002
Forward closed progress: 1180964
Forward closed progress: 1180832
Forward closed progress: 1180569
Forward closed progress: 1180059
Forward closed progress: 1178724
Forward closed progress: 1171249
Forward closed progress: 1171288
Forward closed progress: 1171282
Forward closed progress: 1172956
Forward closed progress: 1173109
Forward closed progress: 1173667
Forward closed progress: 1173661
Forward closed progress: 1173493
Forward closed progress: 1169829
Forward closed progress: 1169691
Forward closed progress: 1168725
Forward closed progress: 1169136
Forward closed progress: 1169140
Forward closed progress: 1169138
Forward closed progress: 1196730
Forward closed progress: 1237116
Forward closed progress: 1265624
Forward closed progress: 1264246
Forward closed progress: 1257907
Forward closed progress: 1258122
Forward closed progress: 1258095
Forward closed progress: 1258098
Forward closed progress: 1258074
Forward closed progress: 1258186
Forward closed progress: 1258158
Forward closed progress: 1334240
Forward closed progress: 1392620
Forward closed progress: 1392622
Forward closed progress: 1316873
Forward closed progress: 1316105
Forward closed progress: 1314426
Forward closed progress: 1314472
Forward closed progress: 1314472
Forward closed progress: 1347067
Forward closed progress: 1348541
Forward closed progress: 1348474
Forward closed progress: 1346947
Forward closed progress: 1347023
Forward closed progress: 1346949
Forward closed progress: 1346943
Forward closed progress: 1346899
Forward closed progress: 1347339
Forward closed progress: 1347410
Forward closed progress: 1347396
Forward closed progress: 1347323
Forward closed progress: 1362065
Forward closed progress: 1352364
Forward closed progress: 1352160
Forward closed progress: 1351870
Forward closed progress: 1351760
Forward closed progress: 1366502
Forward closed progress: 1351619
Forward closed progress: 1347354
Forward closed progress: 1336903
Forward closed progress: 1331817
Forward closed progress: 1334753
Forward closed progress: 1347718
Forward closed progress: 1354296
Forward closed progress: 1353490
Forward closed progress: 1353606
Forward closed progress: 1353455
Forward closed progress: 1353391
Forward closed progress: 1353254
Forward closed progress: 1353202
Forward closed progress: 1336159
Forward closed progress: 1338732
Forward closed progress: 1338744
Forward closed progress: 1339102
Forward closed progress: 1339134
Forward closed progress: 1339156
Forward closed progress: 1339152
Forward closed progress: 1339430
Forward closed progress: 1338864
Forward closed progress: 1337700
Forward closed progress: 1351987
Forward closed progress: 1351292
Forward closed progress: 1351306
Forward closed progress: 1351292
Forward closed progress: 1351328
Forward closed progress: 1351314
Forward closed progress: 1352013
Forward closed progress: 1352013
Forward closed progress: 1351991
Forward closed progress: 1356188
Forward closed progress: 1362875
Forward closed progress: 1362897
Forward closed progress: 1362843
Forward closed progress: 1362775
Forward closed progress: 1358324
Forward closed progress: 1348301
Forward closed progress: 1350666
Forward closed progress: 1350606
Forward closed progress: 1350393
Forward closed progress: 1349561
Forward closed progress: 1349575
Forward closed progress: 1349531
Forward closed progress: 1349205
Forward closed progress: 1349141
Forward closed progress: 1349168
Forward closed progress: 1349051
Forward closed progress: 1348769
Forward closed progress: 1348539
Forward closed progress: 1347723
Forward closed progress: 1354217
Forward closed progress: 1357545
Forward closed progress: 1356951
Forward closed progress: 1356997
Forward closed progress: 1356876
Forward closed progress: 1346629
Forward closed progress: 1347108
Forward closed progress: 1346558
Forward closed progress: 1345802
Forward closed progress: 1345600
Forward closed progress: 1345614
Forward closed progress: 1345576
Forward closed progress: 1345596
Forward closed progress: 1345546
Forward closed progress: 1345466
Forward closed progress: 1345414
Forward closed progress: 1345386
Forward closed progress: 1347632
Forward closed progress: 1354164
Forward closed progress: 1354186
Forward closed progress: 1354112
Forward closed progress: 1343944
Forward closed progress: 1353189
Forward closed progress: 1353509
Forward closed progress: 1353431
Forward closed progress: 1353406
Forward closed progress: 1349051
Forward closed progress: 1349171
Forward closed progress: 1358999
Forward closed progress: 1352560
Forward closed progress: 1352537
Forward closed progress: 1352333
Forward closed progress: 1362161
Forward closed progress: 1351975
Forward closed progress: 1351360
Forward closed progress: 1347788
Forward closed progress: 1346792
Forward closed progress: 1345407
Forward closed progress: 1345275
Forward closed progress: 1379571
Forward closed progress: 1382849
Forward closed progress: 1382547
Forward closed progress: 1387395
Forward closed progress: 1387412
Forward closed progress: 1387412
Forward closed progress: 1387184
Forward closed progress: 1387537
Forward closed progress: 1387602
Forward closed progress: 1387516
Forward closed progress: 1387518
Forward closed progress: 1386720
Forward closed progress: 1386869
Forward closed progress: 1389723
Forward closed progress: 1386417
Forward closed progress: 1385380
Forward closed progress: 1385276
Forward closed progress: 1385276
Forward closed progress: 1386189
Forward closed progress: 1386179
Forward closed progress: 1386181
Forward closed progress: 1386184
Forward closed progress: 1386190
Forward closed progress: 1386378
Forward closed progress: 1389654
Forward closed progress: 1389788
Forward closed progress: 1393072
Forward closed progress: 1391408
Forward closed progress: 1389738
Forward closed progress: 1389685
Forward closed progress: 1388778
Forward closed progress: 1380855
Forward closed progress: 1382397
Forward closed progress: 1382356
Forward closed progress: 1382357
Forward closed progress: 1382348
Forward closed progress: 1382408
Forward closed progress: 1382448
Forward closed progress: 1382388
Forward closed progress: 1382247
Forward closed progress: 1310991
Forward closed progress: 1326425
Forward closed progress: 1322595
Forward closed progress: 1322730
Forward closed progress: 1315633
Forward closed progress: 1315633
Control exists for 289192160 color(s), jumping through 386613248 vertices.
Elapsed: 6121195 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 6121.195
user ??
sys ??
