>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> permanent CONTROL
Variables: 53
Uncertainty colors: 2194698240
Perturbation colors: 9007199254740992
All colors: 19768084351709367000000000
Unknown update functions: 10
Lowest cardinality: 0
Highest cardinality: 4
Backward progress: 117651
Backward progress: 117662
Backward progress: 107642
Backward progress: 110906
Backward progress: 110909
Backward progress: 106981
Backward progress: 107013
Backward progress: 124329
Backward progress: 124310
Backward progress: 127865
Backward progress: 100031
Backward progress: 101064
Backward progress: 100501
Backward progress: 100267
Backward progress: 100011
Backward progress: 100151
Backward progress: 100335
Backward progress: 127261
Backward progress: 123957
Backward progress: 118592
Backward progress: 101061
Backward progress: 101942
Backward progress: 102327
Backward progress: 103795
Backward progress: 102679
Backward progress: 102539
Backward progress: 101803
Backward progress: 100789
Backward progress: 100164
Backward progress: 102754
Backward progress: 103046
Backward progress: 101836
Backward progress: 125760
Backward progress: 125771
Backward progress: 104718
Backward progress: 103409
Backward progress: 104756
Backward progress: 104003
Backward progress: 115751
Backward progress: 118770
Backward progress: 118516
Backward progress: 101435
Backward progress: 100795
Backward progress: 100809
Backward progress: 114587
Backward progress: 114596
Backward progress: 102614
Backward progress: 101602
Backward progress: 131912
Backward progress: 131883
Backward progress: 132593
Backward progress: 104752
Backward progress: 105785
Backward progress: 103803
Backward progress: 105222
Backward progress: 104988
Backward progress: 104732
Backward progress: 104872
Backward progress: 105056
Backward progress: 131982
Backward progress: 128678
Backward progress: 123313
Backward progress: 111192
Backward progress: 111124
Backward progress: 101036
Backward progress: 100447
Backward progress: 101300
Backward progress: 100413
Backward progress: 100303
Backward progress: 100342
Backward progress: 100101
Backward progress: 109562
Backward progress: 110021
Backward progress: 110178
Backward progress: 112630
Backward progress: 112640
Backward progress: 117681
Backward progress: 123010
Backward progress: 129865
Backward progress: 129774
Backward progress: 129758
Backward progress: 129777
Backward progress: 129761
Backward progress: 129762
Backward progress: 124848
Backward progress: 129326
Backward progress: 128647
Backward progress: 128397
Backward progress: 129561
Backward progress: 128065
Backward progress: 123186
Backward progress: 123178
Backward progress: 123038
Backward progress: 121976
Backward progress: 151080
Backward progress: 151320
Backward progress: 149495
Backward progress: 149329
Backward progress: 149332
Backward progress: 149333
Backward progress: 147773
Backward progress: 146576
Backward progress: 154297
Backward progress: 152903
Backward progress: 152476
Backward progress: 145968
Backward progress: 144744
Backward progress: 143825
Backward progress: 148075
Backward progress: 148697
Backward progress: 147310
Backward progress: 147895
Backward progress: 147831
Backward progress: 154269
Backward progress: 154245
Backward progress: 149302
Backward progress: 152108
Backward progress: 154069
Backward progress: 168599
Backward progress: 179679
Backward progress: 177855
Backward progress: 177857
Backward progress: 168942
Backward progress: 168185
Backward progress: 168343
Backward progress: 168511
Backward progress: 167288
Backward progress: 166708
Backward progress: 159498
Backward progress: 175054
Backward progress: 168774
Backward progress: 199013
Backward progress: 199025
Backward progress: 178489
Backward progress: 173525
Backward progress: 195397
Backward progress: 195364
Backward progress: 179979
Backward progress: 179080
Backward progress: 177141
Backward progress: 176879
Backward progress: 177925
Backward progress: 171701
Backward progress: 174529
Backward progress: 174534
Backward progress: 171725
Backward progress: 170199
Backward progress: 170149
Backward progress: 172207
Backward progress: 170377
Backward progress: 173162
Backward progress: 173153
Backward progress: 173156
Backward progress: 170197
Backward progress: 170141
Backward progress: 209666
Backward progress: 216452
Backward progress: 192108
Backward progress: 182477
Backward progress: 182484
Backward progress: 182172
Backward progress: 178612
Backward progress: 181221
Backward progress: 180027
Backward progress: 183718
Backward progress: 183094
Backward progress: 183163
Backward progress: 181551
Backward progress: 181482
Backward progress: 179974
Backward progress: 179988
Backward progress: 179989
Backward progress: 178287
Backward progress: 175345
Backward progress: 177640
Backward progress: 175065
Backward progress: 175067
Backward progress: 174721
Backward progress: 176281
Backward progress: 174123
Backward progress: 176082
Backward progress: 176745
Backward progress: 176626
Backward progress: 179448
Backward progress: 179139
Backward progress: 173345
Backward progress: 173969
Backward progress: 173040
Backward progress: 172365
Backward progress: 173155
Backward progress: 172388
Backward progress: 173081
Backward progress: 172557
Backward progress: 172081
Backward progress: 171018
Backward progress: 171845
Backward progress: 170165
Backward progress: 170167
Backward progress: 168967
Backward progress: 231578
Backward progress: 214159
Backward progress: 215890
Backward progress: 177995
Backward progress: 174117
Backward progress: 209795
Backward progress: 209806
Backward progress: 182557
Backward progress: 180775
Backward progress: 176639
Backward progress: 176124
Backward progress: 156906
Backward progress: 158656
Backward progress: 158584
Backward progress: 157942
Backward progress: 158155
Backward progress: 158137
Backward progress: 157758
Backward progress: 156875
Backward progress: 157107
Backward progress: 156101
Backward progress: 154382
Backward progress: 149568
Backward progress: 140890
Backward progress: 143296
Backward progress: 140461
Backward progress: 139286
Backward progress: 134278
Backward progress: 109577
Backward progress: 107424
Backward progress: 107434
Backward progress: 103729
Backward progress: 101349
Backward progress: 104733
Backward progress: 102217
Backward progress: 102637
Backward progress: 102942
Backward progress: 103437
Backward progress: 103440
Backward progress: 104454
Backward progress: 104460
Backward progress: 103929
Backward progress: 108004
Backward progress: 110335
Backward progress: 111318
Backward progress: 113781
Backward progress: 111808
Backward progress: 115945
Backward progress: 119189
Backward progress: 119221
Backward progress: 117403
Backward progress: 121375
Backward progress: 121689
Backward progress: 122872
Backward progress: 121865
Backward progress: 121414
Backward progress: 121492
Backward progress: 119605
Backward progress: 120955
Backward progress: 118597
Backward progress: 122701
Backward progress: 118665
Backward progress: 118669
Backward progress: 134723
Backward progress: 120463
Backward progress: 128077
Backward progress: 114311
Backward progress: 110411
Backward progress: 108351
Backward progress: 107603
Backward progress: 107587
Backward progress: 111025
Backward progress: 108261
Backward progress: 107138
Backward progress: 106851
Backward progress: 103073
Backward progress: 101644
Backward progress: 102917
Backward progress: 100963
Backward progress: 103079
Backward progress: 103067
Backward progress: 101936
Backward progress: 101402
Backward progress: 101408
Backward progress: 103696
Backward progress: 114931
Backward progress: 118289
Backward progress: 123032
Backward progress: 123053
Backward progress: 138425
Backward progress: 178255
Backward progress: 215901
Backward progress: 210397
Backward progress: 208050
Backward progress: 208055
Backward progress: 208046
Backward progress: 199693
Backward progress: 228638
Backward progress: 227989
Backward progress: 224178
Backward progress: 190071
Backward progress: 194499
Backward progress: 151332
Backward progress: 152186
Backward progress: 152536
Backward progress: 151669
Backward progress: 147277
Backward progress: 152986
Backward progress: 152533
Backward progress: 151720
Backward progress: 149418
Backward progress: 150134
Backward progress: 150137
Backward progress: 148587
Backward progress: 148547
Backward progress: 146942
Backward progress: 146538
Backward progress: 146706
Backward progress: 147013
Backward progress: 146620
Backward progress: 174615
Backward progress: 174656
Backward progress: 154972
Backward progress: 153697
Backward progress: 154842
Backward progress: 154101
Backward progress: 154115
Backward progress: 143098
Backward progress: 142189
Backward progress: 141426
Backward progress: 133084
Backward progress: 139314
Backward progress: 133473
Backward progress: 176596
Backward progress: 176565
Backward progress: 175747
Backward progress: 170733
Backward progress: 130660
Backward progress: 136118
Backward progress: 134208
Backward progress: 131200
Backward progress: 131135
Backward progress: 153707
Backward progress: 154426
Backward progress: 157353
Backward progress: 199448
Backward progress: 211961
Backward progress: 207493
Backward progress: 207497
Backward progress: 207499
Backward progress: 205468
Backward progress: 205470
Backward progress: 205484
Backward progress: 205275
Backward progress: 200960
Backward progress: 200440
Backward progress: 200475
Backward progress: 200483
Backward progress: 198251
Backward progress: 229111
Backward progress: 228052
Backward progress: 222152
Backward progress: 222155
Backward progress: 222156
Backward progress: 220213
Backward progress: 219983
Backward progress: 229848
Backward progress: 226536
Backward progress: 232539
Backward progress: 232333
Backward progress: 232320
Backward progress: 230436
Backward progress: 237738
Backward progress: 237925
Backward progress: 238591
Backward progress: 239576
Backward progress: 253819
Backward progress: 253815
Backward progress: 244248
Backward progress: 244475
Backward progress: 246994
Backward progress: 251246
Backward progress: 261780
Backward progress: 261045
Backward progress: 261047
Backward progress: 251476
Backward progress: 252215
Backward progress: 252273
Backward progress: 252331
Backward progress: 251384
Backward progress: 250856
Backward progress: 250536
Backward progress: 236851
Backward progress: 275071
Backward progress: 274831
Backward progress: 254987
Backward progress: 245955
Backward progress: 256319
Backward progress: 255770
Backward progress: 251562
Backward progress: 249889
Backward progress: 249701
Backward progress: 241187
Backward progress: 245427
Backward progress: 245432
Backward progress: 241211
Backward progress: 237067
Backward progress: 231403
Backward progress: 243277
Backward progress: 273605
Backward progress: 274624
Backward progress: 277050
Backward progress: 289590
Backward progress: 289640
Backward progress: 288484
Backward progress: 288050
Backward progress: 288120
Backward progress: 288212
Backward progress: 293086
Backward progress: 292764
Backward progress: 291495
Backward progress: 291004
Backward progress: 290315
Backward progress: 292100
Backward progress: 291953
Backward progress: 292255
Backward progress: 292275
Backward progress: 292277
Backward progress: 291869
Backward progress: 372228
Backward progress: 346024
Backward progress: 336169
Backward progress: 336400
Backward progress: 336169
Backward progress: 278835
Backward progress: 268167
Backward progress: 268398
Backward progress: 264310
Backward progress: 248297
Backward progress: 248302
Backward progress: 248165
Backward progress: 243778
Backward progress: 244066
Backward progress: 236805
Backward progress: 230282
Backward progress: 225016
Backward progress: 235656
Backward progress: 235661
Backward progress: 231373
Backward progress: 231061
Backward progress: 220331
Backward progress: 204098
Backward progress: 213167
Backward progress: 210637
Backward progress: 208840
Backward progress: 184083
Backward progress: 168619
Backward progress: 166174
Backward progress: 166008
Backward progress: 162348
Backward progress: 161996
Backward progress: 161043
Backward progress: 161437
Backward progress: 161439
Backward progress: 160902
Backward progress: 160751
Backward progress: 155201
Backward progress: 161905
Backward progress: 172703
Backward progress: 172324
Backward progress: 171427
Backward progress: 171463
Backward progress: 170844
Backward progress: 170780
Backward progress: 170738
Backward progress: 170734
Backward progress: 170344
Backward progress: 195251
Backward progress: 216457
Backward progress: 216181
Backward progress: 216006
Backward progress: 213909
Backward progress: 213910
Backward progress: 213505
Backward progress: 213070
Backward progress: 211593
Backward progress: 209192
Backward progress: 207950
Backward progress: 215763
Backward progress: 214414
Backward progress: 216434
Backward progress: 221841
Backward progress: 230548
Backward progress: 230552
Backward progress: 225934
Backward progress: 225858
Backward progress: 229073
Backward progress: 253439
Backward progress: 249881
Backward progress: 249890
Backward progress: 246791
Backward progress: 246833
Backward progress: 247151
Backward progress: 247145
Backward progress: 228904
Backward progress: 228684
Backward progress: 228463
Backward progress: 223678
Backward progress: 246187
Backward progress: 246357
Backward progress: 250705
Backward progress: 248723
Backward progress: 250517
Backward progress: 250505
Backward progress: 249412
Backward progress: 247491
Backward progress: 248794
Backward progress: 248800
Backward progress: 247499
Backward progress: 246293
Backward progress: 246173
Backward progress: 236707
Backward progress: 228448
Backward progress: 224773
Backward progress: 222469
Backward progress: 222427
Backward progress: 222298
Backward progress: 222152
Backward progress: 222146
Backward progress: 216876
Backward progress: 210419
Backward progress: 209741
Backward progress: 207644
Backward progress: 205285
Backward progress: 205529
Backward progress: 204247
Backward progress: 194709
Backward progress: 190402
Backward progress: 185138
Backward progress: 183361
Backward progress: 183071
Backward progress: 182193
Backward progress: 182187
Backward progress: 182231
Backward progress: 179258
Backward progress: 181163
Backward progress: 179741
Backward progress: 177019
Backward progress: 162374
Backward progress: 162395
Backward progress: 174253
Backward progress: 171891
Backward progress: 168248
Backward progress: 165052
Backward progress: 165906
Backward progress: 164568
Backward progress: 164820
Backward progress: 162909
Backward progress: 163129
Backward progress: 163107
Backward progress: 162988
Backward progress: 162396
Backward progress: 158960
Backward progress: 157460
Backward progress: 159910
Backward progress: 159199
Backward progress: 157510
Backward progress: 150402
Backward progress: 144516
Backward progress: 151686
Backward progress: 150429
Backward progress: 145700
Backward progress: 145610
Backward progress: 144649
Backward progress: 141936
Backward progress: 142236
Backward progress: 141366
Backward progress: 141781
Backward progress: 141872
Backward progress: 142245
Backward progress: 142263
Backward progress: 142047
Backward progress: 140168
Backward progress: 152529
Backward progress: 152424
Backward progress: 144529
Backward progress: 143776
Backward progress: 143872
Backward progress: 145252
Backward progress: 138351
Backward progress: 138917
Backward progress: 143695
Backward progress: 142528
Backward progress: 142590
Backward progress: 139116
Backward progress: 136396
Backward progress: 136354
Backward progress: 136354
Backward progress: 136654
Backward progress: 135784
Backward progress: 135887
Backward progress: 135032
Backward progress: 135292
Backward progress: 135300
Backward progress: 135086
Backward progress: 133984
Backward progress: 133611
Backward progress: 133659
Backward progress: 133709
Backward progress: 130433
Backward progress: 152612
Backward progress: 163847
Backward progress: 186110
Backward progress: 217769
Backward progress: 221375
Backward progress: 221362
Backward progress: 220512
Backward progress: 220489
Backward progress: 220492
Backward progress: 219606
Backward progress: 219595
Backward progress: 218428
Backward progress: 219052
Backward progress: 254896
Backward progress: 265515
Backward progress: 267310
Backward progress: 268372
Backward progress: 268363
Backward progress: 263858
Backward progress: 269852
Backward progress: 269868
Backward progress: 273040
Backward progress: 329219
Backward progress: 324090
Backward progress: 324592
Backward progress: 307641
Backward progress: 301229
Backward progress: 303675
Backward progress: 303465
Backward progress: 303466
Backward progress: 289370
Backward progress: 285312
Backward progress: 284705
Backward progress: 284695
Backward progress: 282942
Backward progress: 284575
Backward progress: 287979
Backward progress: 286926
Backward progress: 286927
Backward progress: 262972
Backward progress: 257413
Backward progress: 293332
Backward progress: 293104
Backward progress: 291958
Backward progress: 293490
Backward progress: 297094
Backward progress: 298670
Backward progress: 316678
Backward progress: 313303
Backward progress: 317833
Backward progress: 352252
Backward progress: 352208
Backward progress: 329075
Backward progress: 328527
Backward progress: 327023
Backward progress: 349411
Backward progress: 418479
Backward progress: 418520
Backward progress: 416842
Backward progress: 416791
Backward progress: 416605
Backward progress: 399160
Backward progress: 399923
Backward progress: 399214
Backward progress: 398246
Backward progress: 404515
Backward progress: 385409
Backward progress: 394691
Backward progress: 466884
Backward progress: 456542
Backward progress: 432093
Backward progress: 414496
Backward progress: 452326
Backward progress: 452307
Backward progress: 442580
Backward progress: 430651
Backward progress: 433764
Backward progress: 433766
Backward progress: 430675
Backward progress: 427161
Backward progress: 329924
Backward progress: 402462
Backward progress: 386358
Backward progress: 385665
Backward progress: 507110
Backward progress: 520808
Backward progress: 526882
Backward progress: 592273
Backward progress: 594578
Backward progress: 594125
Backward progress: 594133
Backward progress: 592032
Backward progress: 595812
Backward progress: 595713
Backward progress: 592452
Backward progress: 592760
Backward progress: 591818
Backward progress: 524702
Backward progress: 560345
Backward progress: 560511
Backward progress: 557827
Backward progress: 557831
Backward progress: 555359
Backward progress: 555420
Backward progress: 564715
Backward progress: 564444
Backward progress: 578182
Backward progress: 576745
Backward progress: 575466
Backward progress: 586974
Backward progress: 586149
Backward progress: 585898
Backward progress: 603478
Backward progress: 603480
Backward progress: 591942
Backward progress: 600483
Backward progress: 600134
Backward progress: 607843
Backward progress: 608668
Backward progress: 608669
Backward progress: 607520
Backward progress: 607334
Backward progress: 607727
Backward progress: 605352
Backward progress: 605352
Backward progress: 605354
Backward progress: 602270
Backward progress: 602451
Backward progress: 599853
Backward progress: 579673
Backward progress: 571027
Backward progress: 570871
Backward progress: 646826
Backward progress: 647135
Backward progress: 610272
Backward progress: 595763
Backward progress: 637207
Backward progress: 630569
Backward progress: 644693
Backward progress: 560929
Backward progress: 581492
Backward progress: 566396
Backward progress: 577622
Backward progress: 572475
Backward progress: 573962
Backward progress: 571482
Backward progress: 900841
Backward progress: 824263
Backward progress: 761360
Backward progress: 761367
Backward progress: 646650
Backward progress: 550990
Backward progress: 549188
Backward progress: 463547
Backward progress: 460441
Backward progress: 457388
Backward progress: 468910
Backward progress: 468730
Backward progress: 457226
Backward progress: 383200
Backward progress: 378288
Backward progress: 378315
Backward progress: 373429
Backward progress: 415231
Backward progress: 385358
Backward progress: 378166
Backward progress: 381879
Backward progress: 378674
Backward progress: 377185
Backward progress: 387040
Backward progress: 387902
Backward progress: 389423
Backward progress: 390242
Backward progress: 389800
Backward progress: 389189
Backward progress: 396539
Backward progress: 396831
Backward progress: 396891
Backward progress: 396385
Backward progress: 396417
Backward progress: 386907
Backward progress: 386403
Backward progress: 383419
Backward progress: 386028
Backward progress: 388122
Backward progress: 390376
Backward progress: 387614
Backward progress: 387378
Backward progress: 387390
Backward progress: 385576
Backward progress: 403870
Backward progress: 391194
Backward progress: 372876
Backward progress: 372930
Backward progress: 358012
Backward progress: 328052
Backward progress: 338128
Backward progress: 334589
Backward progress: 315163
Backward progress: 278934
Backward progress: 252860
Backward progress: 248394
Backward progress: 240710
Backward progress: 238561
Backward progress: 235555
Backward progress: 232777
Backward progress: 222836
Backward progress: 219054
Backward progress: 221478
Backward progress: 221310
Backward progress: 221248
Backward progress: 221030
Backward progress: 257456
Backward progress: 268010
Backward progress: 259124
Backward progress: 256953
Backward progress: 256062
Backward progress: 256030
Backward progress: 255041
Backward progress: 256542
Backward progress: 249829
Backward progress: 248454
Backward progress: 256022
Backward progress: 254133
Backward progress: 255661
Backward progress: 255511
Backward progress: 255916
Backward progress: 254804
Backward progress: 254828
Backward progress: 257160
Backward progress: 271650
Backward progress: 268374
Backward progress: 268354
Backward progress: 267455
Backward progress: 259422
Backward progress: 259588
Backward progress: 259144
Backward progress: 249424
Backward progress: 267132
Backward progress: 267376
Backward progress: 268557
Backward progress: 267376
Backward progress: 275249
Backward progress: 267736
Backward progress: 267753
Backward progress: 267342
Backward progress: 265908
Backward progress: 265190
Backward progress: 263651
Backward progress: 262259
Backward progress: 247413
Backward progress: 259500
Backward progress: 251360
Backward progress: 244395
Backward progress: 244412
Backward progress: 239417
Backward progress: 230252
Backward progress: 229868
Backward progress: 229646
Backward progress: 228046
Backward progress: 227989
Backward progress: 227739
Backward progress: 227729
Backward progress: 227767
Backward progress: 224582
Backward progress: 230544
Backward progress: 226351
Backward progress: 223729
Backward progress: 212305
Backward progress: 210543
Backward progress: 222841
Backward progress: 216215
Backward progress: 217089
Backward progress: 208110
Backward progress: 208111
Backward progress: 207217
Backward progress: 202646
Backward progress: 202438
Backward progress: 202456
Backward progress: 202470
Backward progress: 201751
Backward progress: 203898
Backward progress: 202534
Backward progress: 202574
Backward progress: 202740
Backward progress: 202455
Backward progress: 202458
Backward progress: 201328
Backward progress: 200242
Backward progress: 199340
Backward progress: 197568
Backward progress: 198389
Backward progress: 197562
Backward progress: 198557
Backward progress: 197567
Backward progress: 196582
Backward progress: 192787
Backward progress: 193011
Backward progress: 195638
Backward progress: 194093
Backward progress: 193061
Backward progress: 188772
Backward progress: 186063
Backward progress: 187609
Backward progress: 184338
Backward progress: 183598
Backward progress: 186453
Backward progress: 186059
Backward progress: 182104
Backward progress: 182713
Backward progress: 182681
Backward progress: 182382
Backward progress: 182679
Backward progress: 165821
Backward progress: 165302
Backward progress: 163531
Backward progress: 163880
Backward progress: 160892
Backward progress: 160892
Attractor colors: 90974153624764780000000
Attractor colors computed in 1842369 ms.
Backward progress: 101286
Backward progress: 100377
Backward progress: 109450
Backward progress: 108304
Backward progress: 109296
Backward progress: 109236
Backward progress: 110694
Backward progress: 121787
Backward progress: 121793
Backward progress: 116839
Backward progress: 116833
Backward progress: 116051
Backward progress: 111305
Backward progress: 125664
Backward progress: 125735
Backward progress: 140541
Backward progress: 140508
Backward progress: 147890
Backward progress: 149889
Backward progress: 149891
Backward progress: 148893
Backward progress: 147487
Backward progress: 125753
Backward progress: 134355
Backward progress: 134251
Backward progress: 126913
Backward progress: 125347
Backward progress: 122588
Backward progress: 122585
Backward progress: 108767
Backward progress: 112086
Backward progress: 112046
Backward progress: 112099
Backward progress: 112060
Backward progress: 112062
Backward progress: 111225
Backward progress: 127057
Backward progress: 123661
Backward progress: 123769
Backward progress: 136587
Backward progress: 130327
Backward progress: 113711
Backward progress: 199980
Backward progress: 207007
Backward progress: 197257
Backward progress: 198265
Backward progress: 198277
Backward progress: 198279
Backward progress: 194073
Backward progress: 199199
Backward progress: 214692
Backward progress: 210796
Backward progress: 209915
Backward progress: 203901
Backward progress: 201957
Backward progress: 199029
Backward progress: 210846
Backward progress: 214077
Backward progress: 214647
Backward progress: 216622
Backward progress: 216477
Backward progress: 275417
Backward progress: 275449
Backward progress: 263023
Backward progress: 272411
Backward progress: 277194
Backward progress: 384908
Backward progress: 445691
Backward progress: 446117
Backward progress: 446121
Backward progress: 445909
Backward progress: 506915
Backward progress: 542486
Backward progress: 567258
Backward progress: 567154
Backward progress: 567080
Backward progress: 615735
Backward progress: 546052
Backward progress: 558658
Backward progress: 558676
Backward progress: 546132
Backward progress: 546076
Backward progress: 547162
Backward progress: 545192
Backward progress: 728528
Backward progress: 747473
Backward progress: 649275
Backward progress: 646019
Backward progress: 622613
Backward progress: 802541
Backward progress: 802405
Backward progress: 704682
Backward progress: 693486
Backward progress: 669197
Backward progress: 662698
Backward progress: 668473
Backward progress: 626725
Backward progress: 644016
Backward progress: 644034
Backward progress: 627053
Backward progress: 617566
Backward progress: 554800
Backward progress: 573240
Backward progress: 573480
Backward progress: 616784
Backward progress: 616569
Backward progress: 616662
Backward progress: 594961
Backward progress: 1089929
Backward progress: 1148082
Backward progress: 911600
Backward progress: 862444
Backward progress: 862556
Backward progress: 854337
Backward progress: 778715
Backward progress: 793937
Backward progress: 790380
Backward progress: 848947
Backward progress: 845347
Backward progress: 891408
Backward progress: 900691
Backward progress: 895467
Backward progress: 911445
Backward progress: 911445
Backward progress: 911923
Backward progress: 874014
Backward progress: 846753
Backward progress: 865731
Backward progress: 834806
Backward progress: 834610
Backward progress: 755646
Backward progress: 752614
Backward progress: 783114
Backward progress: 783126
Backward progress: 757833
Backward progress: 757819
Backward progress: 752512
Backward progress: 725491
Backward progress: 723671
Backward progress: 720575
Backward progress: 731919
Backward progress: 732136
Backward progress: 734108
Backward progress: 745770
Backward progress: 745507
Backward progress: 672255
Backward progress: 686686
Backward progress: 669441
Backward progress: 660007
Backward progress: 663983
Backward progress: 661006
Backward progress: 663806
Backward progress: 661470
Backward progress: 659660
Backward progress: 658688
Backward progress: 647614
Backward progress: 649562
Backward progress: 642897
Backward progress: 628903
Backward progress: 609894
Backward progress: 609332
Backward progress: 624314
Backward progress: 624322
Backward progress: 609034
Backward progress: 594706
Backward progress: 1212258
Backward progress: 1155966
Backward progress: 1174800
Backward progress: 1109548
Backward progress: 1086231
Backward progress: 1072872
Backward progress: 1336467
Backward progress: 1336583
Backward progress: 1157481
Backward progress: 1134481
Backward progress: 1108397
Backward progress: 1088280
Backward progress: 1088016
Backward progress: 1106984
Backward progress: 1081867
Backward progress: 1086821
Backward progress: 1083573
Backward progress: 1088107
Backward progress: 1088467
Backward progress: 1092405
Backward progress: 1092326
Backward progress: 1101917
Backward progress: 1092299
Backward progress: 1080000
Backward progress: 1098704
Backward progress: 1089596
Backward progress: 1085034
Backward progress: 1213959
Backward progress: 1223909
Backward progress: 1107241
Backward progress: 1228482
Backward progress: 1053075
Backward progress: 1003293
Backward progress: 1041184
Backward progress: 1022089
Backward progress: 976140
Backward progress: 1005235
Backward progress: 1003086
Backward progress: 1029831
Backward progress: 1038002
Backward progress: 1039616
Backward progress: 1049231
Backward progress: 1041549
Backward progress: 1059412
Backward progress: 1080152
Backward progress: 1077702
Backward progress: 1078134
Backward progress: 1078217
Backward progress: 1109318
Backward progress: 1108138
Backward progress: 1113635
Backward progress: 1108979
Backward progress: 1109354
Backward progress: 1113736
Backward progress: 1113876
Backward progress: 1113928
Backward progress: 1126645
Backward progress: 1126657
Backward progress: 1121243
Backward progress: 1121234
Backward progress: 1120376
Backward progress: 1115117
Backward progress: 1116873
Backward progress: 1028810
Backward progress: 1058216
Backward progress: 1058342
Backward progress: 1092680
Backward progress: 1092673
Backward progress: 1109282
Backward progress: 1111689
Backward progress: 1111691
Backward progress: 1110489
Backward progress: 1108743
Backward progress: 1062267
Backward progress: 1087713
Backward progress: 1087523
Backward progress: 1069950
Backward progress: 1068050
Backward progress: 1060716
Backward progress: 1061953
Backward progress: 447172
Backward progress: 117995
Backward progress: 118852
Backward progress: 119056
Backward progress: 152070
Backward progress: 153590
Backward progress: 152898
Backward progress: 164268
Backward progress: 160453
Backward progress: 174132
Backward progress: 174132
Backward progress: 174290
Backward progress: 174255
Backward progress: 133060
Backward progress: 143629
Backward progress: 136400
Backward progress: 170638
Backward progress: 129587
Backward progress: 141813
Backward progress: 141819
Backward progress: 133575
Backward progress: 133568
Backward progress: 129407
Backward progress: 129159
Backward progress: 123615
Backward progress: 127059
Backward progress: 127155
Backward progress: 122595
Backward progress: 177114
Backward progress: 190915
Backward progress: 149146
Backward progress: 175396
Backward progress: 175402
Backward progress: 158013
Backward progress: 157998
Backward progress: 149188
Backward progress: 140082
Backward progress: 140158
Backward progress: 138838
Backward progress: 145265
Backward progress: 147905
Backward progress: 144616
Backward progress: 144622
Backward progress: 214783
Backward progress: 232677
Backward progress: 230855
Backward progress: 228057
Backward progress: 237963
Backward progress: 240951
Backward progress: 241922
Backward progress: 247020
Backward progress: 246844
Backward progress: 257262
Backward progress: 255444
Backward progress: 251994
Backward progress: 252202
Backward progress: 277852
Backward progress: 275672
Backward progress: 278500
Backward progress: 278440
Backward progress: 281616
Backward progress: 305854
Backward progress: 305860
Backward progress: 295955
Backward progress: 295949
Backward progress: 294252
Backward progress: 283984
Backward progress: 318256
Backward progress: 318398
Backward progress: 351018
Backward progress: 350985
Backward progress: 365979
Backward progress: 370640
Backward progress: 370642
Backward progress: 368319
Backward progress: 364827
Backward progress: 320209
Backward progress: 342611
Backward progress: 342183
Backward progress: 326579
Backward progress: 322850
Backward progress: 316348
Backward progress: 316345
Forward closed progress: 136015
Forward closed progress: 141668
Forward closed progress: 142953
Forward closed progress: 138230
Forward closed progress: 140323
Forward closed progress: 139991
Forward closed progress: 120300
Forward closed progress: 117060
Forward closed progress: 115668
Forward closed progress: 123332
Forward closed progress: 125472
Forward closed progress: 187334
Forward closed progress: 216715
Forward closed progress: 216789
Forward closed progress: 216793
Forward closed progress: 216739
Forward closed progress: 246283
Forward closed progress: 260538
Forward closed progress: 268776
Forward closed progress: 327132
Forward closed progress: 336236
Forward closed progress: 301208
Forward closed progress: 292640
Forward closed progress: 265330
Forward closed progress: 273898
Forward closed progress: 273996
Forward closed progress: 274056
Forward closed progress: 293095
Forward closed progress: 191774
Forward closed progress: 182077
Forward closed progress: 182165
Forward closed progress: 158858
Forward closed progress: 160530
Forward closed progress: 774255
Forward closed progress: 1268714
Forward closed progress: 1671027
Forward closed progress: 1630482
Forward closed progress: 1630488
Forward closed progress: 1626842
Forward closed progress: 1598248
Forward closed progress: 2509672
Forward closed progress: 2546987
Forward closed progress: 2525337
Forward closed progress: 2721065
Forward closed progress: 2677750
Forward closed progress: 3276028
Forward closed progress: 3495079
Forward closed progress: 3495335
Forward closed progress: 3495407
Forward closed progress: 3494475
Forward closed progress: 3702751
Forward closed progress: 4176184
Forward closed progress: 3899157
Forward closed progress: 4030345
Forward closed progress: 4041962
Forward closed progress: 4054593
Forward closed progress: 4054617
Forward closed progress: 4143376
Forward closed progress: 4002375
Forward closed progress: 3665209
Forward closed progress: 3664888
Forward closed progress: 3664946
Forward closed progress: 3637606
Forward closed progress: 3725694
Forward closed progress: 2804740
Forward closed progress: 2461872
Forward closed progress: 2348744
Forward closed progress: 2296165
Forward closed progress: 2288747
Forward closed progress: 2174071
Forward closed progress: 1524857
Forward closed progress: 1495345
Forward closed progress: 1688261
Forward closed progress: 1888310
Forward closed progress: 1888278
Forward closed progress: 2067556
Forward closed progress: 2030648
Forward closed progress: 2030650
Forward closed progress: 2026334
Forward closed progress: 2028583
Forward closed progress: 2382260
Forward closed progress: 2377001
Forward closed progress: 2371956
Forward closed progress: 2413912
Forward closed progress: 2405049
Forward closed progress: 2593389
Forward closed progress: 2722181
Forward closed progress: 2663644
Forward closed progress: 2663654
Forward closed progress: 2658481
Forward closed progress: 2756042
Forward closed progress: 2892951
Forward closed progress: 2838019
Forward closed progress: 2885288
Forward closed progress: 2894666
Forward closed progress: 2985238
Forward closed progress: 2971430
Forward closed progress: 2830471
Forward closed progress: 2830517
Forward closed progress: 2853058
Forward closed progress: 3073331
Forward closed progress: 2565970
Forward closed progress: 2380648
Forward closed progress: 2334669
Forward closed progress: 2320841
Forward closed progress: 2313665
Forward closed progress: 2243096
Forward closed progress: 1994739
Forward closed progress: 1965576
Forward closed progress: 2061511
Forward closed progress: 2273198
Forward closed progress: 2622890
Forward closed progress: 2893584
Forward closed progress: 2875382
Forward closed progress: 2864556
Forward closed progress: 2864496
Forward closed progress: 2864504
Forward closed progress: 2607394
Forward closed progress: 1303669
Forward closed progress: 1269679
Forward closed progress: 1228341
Forward closed progress: 1229851
Forward closed progress: 1234810
Forward closed progress: 1236029
Forward closed progress: 1239773
Forward closed progress: 1241589
Forward closed progress: 1241972
Forward closed progress: 1240901
Forward closed progress: 1239821
Forward closed progress: 1240512
Forward closed progress: 1240580
Forward closed progress: 1241720
Forward closed progress: 1236739
Forward closed progress: 1235014
Forward closed progress: 1234990
Forward closed progress: 1234990
Control exists for 10100160 color(s), jumping through 6 vertices.
Elapsed: 6286359 ms
WARNING: This is not a real output of UNIX `time` utility. This is just a similar format for compatibility reasons.
real 6286.359
user ??
sys ??
