>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> temporary CONTROL
Variables: 53
Uncertainty colors: 6096384000
Perturbation colors: 9007199254740992
All colors: 54911345421414910000000000
Unknown update functions: 8
Lowest cardinality: 1
Highest cardinality: 4
Backward progress: 103733
Backward progress: 115669
Backward progress: 111353
Backward progress: 107192
Backward progress: 112159
Backward progress: 105717
Backward progress: 149606
Backward progress: 149321
Backward progress: 149278
Backward progress: 149310
Backward progress: 148079
Backward progress: 147763
Backward progress: 196946
Backward progress: 196946
Backward progress: 140106
Backward progress: 135986
Backward progress: 138740
Backward progress: 138770
Backward progress: 136773
Backward progress: 135938
Backward progress: 141526
Backward progress: 134981
Backward progress: 136045
Backward progress: 130049
Backward progress: 144097
Backward progress: 140687
Backward progress: 136055
Backward progress: 135305
Backward progress: 158747
Backward progress: 152591
Backward progress: 152735
Backward progress: 162436
Backward progress: 161269
Backward progress: 160354
Backward progress: 168097
Backward progress: 170677
Backward progress: 174705
Backward progress: 174521
Backward progress: 174788
Backward progress: 174546
Backward progress: 174555
Backward progress: 172094
Backward progress: 176296
Backward progress: 178374
Backward progress: 176793
Backward progress: 175984
Backward progress: 176047
Backward progress: 175905
Backward progress: 172109
Backward progress: 168937
Backward progress: 180940
Backward progress: 181220
Backward progress: 179420
Backward progress: 179534
Backward progress: 179559
Backward progress: 179568
Backward progress: 178290
Backward progress: 178371
Backward progress: 189917
Backward progress: 188431
Backward progress: 188034
Backward progress: 186148
Backward progress: 184435
Backward progress: 186540
Backward progress: 186336
Backward progress: 186661
Backward progress: 187018
Backward progress: 191757
Backward progress: 191718
Backward progress: 185653
Backward progress: 184538
Backward progress: 185091
Backward progress: 188338
Backward progress: 199230
Backward progress: 199055
Backward progress: 199076
Backward progress: 198675
Backward progress: 203908
Backward progress: 204155
Backward progress: 199703
Backward progress: 199503
Backward progress: 199436
Backward progress: 229181
Backward progress: 205892
Backward progress: 209134
Backward progress: 209197
Backward progress: 206010
Backward progress: 205086
Backward progress: 204054
Backward progress: 198854
Backward progress: 217444
Backward progress: 217444
Backward progress: 195331
Backward progress: 190718
Backward progress: 194008
Backward progress: 194071
Backward progress: 190791
Backward progress: 194165
Backward progress: 190791
Backward progress: 194003
Backward progress: 194066
Backward progress: 190731
Backward progress: 190677
Backward progress: 195126
Backward progress: 187961
Backward progress: 433242
Backward progress: 452997
Backward progress: 397657
Backward progress: 338476
Backward progress: 338568
Backward progress: 338497
Backward progress: 338450
Backward progress: 310119
Backward progress: 309628
Backward progress: 309045
Backward progress: 311314
Backward progress: 311465
Backward progress: 317702
Backward progress: 311772
Backward progress: 310444
Backward progress: 307327
Backward progress: 301339
Backward progress: 302076
Backward progress: 311783
Backward progress: 311776
Backward progress: 308199
Backward progress: 310438
Backward progress: 297266
Backward progress: 309005
Backward progress: 325023
Backward progress: 307934
Backward progress: 296594
Backward progress: 321532
Backward progress: 287811
Backward progress: 290585
Backward progress: 290603
Backward progress: 290448
Backward progress: 289513
Backward progress: 287670
Backward progress: 286728
Backward progress: 293285
Backward progress: 289780
Backward progress: 289421
Backward progress: 289195
Backward progress: 307140
Backward progress: 304375
Backward progress: 303165
Backward progress: 308558
Backward progress: 307308
Backward progress: 281587
Backward progress: 283173
Backward progress: 284124
Backward progress: 280833
Backward progress: 283353
Backward progress: 280405
Backward progress: 278021
Backward progress: 276488
Backward progress: 276488
Backward progress: 279982
Backward progress: 275134
Backward progress: 275389
Backward progress: 272208
Backward progress: 264269
Backward progress: 264854
Backward progress: 268304
Backward progress: 268229
Backward progress: 268256
Backward progress: 269817
Backward progress: 269393
Backward progress: 266245
Backward progress: 266855
Backward progress: 267815
Backward progress: 267803
Backward progress: 269323
Backward progress: 268473
Backward progress: 267574
Backward progress: 266272
Backward progress: 264388
Backward progress: 265950
Backward progress: 264259
Backward progress: 264434
Backward progress: 263347
Backward progress: 332900
Backward progress: 305209
Backward progress: 305689
Backward progress: 213300
Backward progress: 209878
Backward progress: 223977
Backward progress: 224088
Backward progress: 215724
Backward progress: 212406
Backward progress: 210458
Backward progress: 206249
Backward progress: 200659
Backward progress: 202150
Backward progress: 201452
Backward progress: 203725
Backward progress: 202940
Backward progress: 195659
Backward progress: 194174
Backward progress: 194529
Backward progress: 194147
Backward progress: 194161
Backward progress: 194119
Backward progress: 193546
Backward progress: 193058
Backward progress: 186963
Backward progress: 184811
Backward progress: 185787
Backward progress: 182602
Backward progress: 468320
Backward progress: 336866
Backward progress: 387003
Backward progress: 397898
Backward progress: 374981
Backward progress: 375079
Backward progress: 375044
Backward progress: 315064
Backward progress: 295178
Backward progress: 278358
Backward progress: 276884
Backward progress: 276997
Backward progress: 270741
Backward progress: 268997
Backward progress: 271732
Backward progress: 271879
Backward progress: 282295
Backward progress: 273940
Backward progress: 273730
Backward progress: 269399
Backward progress: 269253
Backward progress: 280106
Backward progress: 304830
Backward progress: 304823
Backward progress: 304552
Backward progress: 327323
Backward progress: 327501
Backward progress: 370537
Backward progress: 347884
Backward progress: 350788
Backward progress: 350001
Backward progress: 378537
Backward progress: 342159
Backward progress: 345707
Backward progress: 345725
Backward progress: 345568
Backward progress: 344132
Backward progress: 341962
Backward progress: 341226
Backward progress: 349840
Backward progress: 344413
Backward progress: 344076
Backward progress: 344130
Backward progress: 343456
Backward progress: 366456
Backward progress: 366128
Backward progress: 365690
Backward progress: 380395
Backward progress: 378091
Backward progress: 355903
Backward progress: 351128
Backward progress: 354339
Backward progress: 356651
Backward progress: 356352
Backward progress: 361700
Backward progress: 355626
Backward progress: 349485
Backward progress: 345571
Backward progress: 345521
Backward progress: 355433
Backward progress: 341050
Backward progress: 342463
Backward progress: 340367
Backward progress: 341904
Backward progress: 334810
Backward progress: 356641
Backward progress: 347439
Backward progress: 348644
Backward progress: 347435
Backward progress: 349949
Backward progress: 350005
Backward progress: 349051
Backward progress: 351590
Backward progress: 351208
Backward progress: 345324
Backward progress: 345820
Backward progress: 345892
Backward progress: 342666
Backward progress: 343570
Backward progress: 342438
Backward progress: 341143
Backward progress: 340508
Backward progress: 342280
Backward progress: 339677
Backward progress: 339510
Backward progress: 338473
Backward progress: 330264
Backward progress: 253921
Backward progress: 256928
Backward progress: 256946
Backward progress: 256539
Backward progress: 253971
Backward progress: 248498
Backward progress: 154472
Backward progress: 151868
Backward progress: 125617
Backward progress: 124046
Backward progress: 114593
Backward progress: 115973
Backward progress: 156454
Backward progress: 141130
Backward progress: 136566
Backward progress: 136678
Backward progress: 136661
Backward progress: 126548
Backward progress: 110945
Backward progress: 138996
Backward progress: 127401
Backward progress: 125484
Backward progress: 122398
Backward progress: 119890
Backward progress: 115151
Backward progress: 207584
Backward progress: 210365
Backward progress: 207087
Backward progress: 206584
Backward progress: 206440
Backward progress: 205972
Backward progress: 201446
Backward progress: 199912
Backward progress: 194832
Backward progress: 216614
Backward progress: 201903
Backward progress: 199341
Backward progress: 199379
Backward progress: 199351
Backward progress: 190729
Backward progress: 182672
Backward progress: 181212
Backward progress: 195922
Backward progress: 190730
Backward progress: 184992
Backward progress: 183684
Backward progress: 179576
Backward progress: 179298
Backward progress: 178083
Backward progress: 176425
Backward progress: 182380
Backward progress: 181355
Backward progress: 175129
Backward progress: 175446
Backward progress: 191373
Backward progress: 185712
Backward progress: 186445
Backward progress: 207854
Backward progress: 208011
Backward progress: 199822
Backward progress: 210531
Backward progress: 190394
Backward progress: 189348
Backward progress: 128065
Backward progress: 113386
Backward progress: 109965
Backward progress: 109956
Backward progress: 104854
Backward progress: 127577
Backward progress: 122445
Backward progress: 139281
Backward progress: 119276
Backward progress: 120838
Backward progress: 120850
Backward progress: 120047
Backward progress: 119220
Backward progress: 122594
Backward progress: 118386
Backward progress: 120740
Backward progress: 118067
Backward progress: 154890
Backward progress: 145542
Backward progress: 141955
Backward progress: 172536
Backward progress: 172240
Backward progress: 172294
Backward progress: 172315
Backward progress: 170336
Backward progress: 171672
Backward progress: 167901
Backward progress: 171766
Backward progress: 171754
Backward progress: 171799
Backward progress: 171820
Backward progress: 165829
Backward progress: 165855
Backward progress: 166789
Backward progress: 165851
Backward progress: 167087
Backward progress: 164645
Backward progress: 164487
Backward progress: 165863
Backward progress: 166211
Backward progress: 166295
Backward progress: 156360
Backward progress: 156982
Backward progress: 156448
Backward progress: 156965
Backward progress: 154958
Backward progress: 159081
Backward progress: 148884
Backward progress: 126978
Backward progress: 128386
Backward progress: 128398
Backward progress: 127668
Backward progress: 126882
Backward progress: 126726
Backward progress: 122088
Backward progress: 121980
Backward progress: 126003
Backward progress: 122840
Backward progress: 121862
Backward progress: 118615
Backward progress: 101676
Backward progress: 105401
Backward progress: 106419
Backward progress: 106628
Backward progress: 106572
Backward progress: 103559
Backward progress: 103769
Backward progress: 103646
Backward progress: 103612
Backward progress: 103654
Backward progress: 104883
Backward progress: 107896
Backward progress: 107928
Backward progress: 105047
Backward progress: 103844
Backward progress: 103159
Backward progress: 109801
Backward progress: 109858
Backward progress: 102850
Backward progress: 102974
Backward progress: 107124
Backward progress: 104664
Backward progress: 104262
Backward progress: 104259
Backward progress: 104284
Backward progress: 104671
Backward progress: 104687
Backward progress: 105021
Backward progress: 106638
Backward progress: 104705
Backward progress: 107760
Backward progress: 106131
Backward progress: 106083
Backward progress: 107456
Backward progress: 104204
Backward progress: 104243
Backward progress: 104225
Backward progress: 104357
Backward progress: 107773
Backward progress: 108799
Backward progress: 108799
Backward progress: 107234
Backward progress: 106322
Backward progress: 103584
Backward progress: 102325
Backward progress: 104943
Backward progress: 111793
Backward progress: 111826
Backward progress: 114452
Backward progress: 114595
Backward progress: 114123
Backward progress: 115579
Backward progress: 115591
Backward progress: 115181
Backward progress: 117569
Backward progress: 116741
Backward progress: 116639
Backward progress: 119034
Backward progress: 118084
Backward progress: 115216
Backward progress: 115024
Backward progress: 115612
Backward progress: 115612
FWD-attractor: 100007
FWD-attractor: 100013
FWD-attractor: 100186
FWD-attractor: 118159
FWD-attractor: 124305
FWD-attractor: 120738
FWD-attractor: 124832
FWD-attractor: 121932
FWD-attractor: 117551
FWD-attractor: 115778
FWD-attractor: 108012
FWD-attractor: 113335
FWD-attractor: 112906
FWD-attractor: 112826
FWD-attractor: 114799
FWD-attractor: 114056
FWD-attractor: 113676
FWD-attractor: 113515
FWD-attractor: 113284
FWD-attractor: 113048
FWD-attractor: 113000
FWD-attractor: 113052
FWD-attractor: 112952
FWD-attractor: 112911
FWD-attractor: 111752
FWD-attractor: 113289
FWD-attractor: 117823
FWD-attractor: 108535
FWD-attractor: 108563
FWD-attractor: 109153
FWD-attractor: 109544
FWD-attractor: 109109
FWD-attractor: 108644
FWD-attractor: 106515
FWD-attractor: 124837
FWD-attractor: 124090
FWD-attractor: 121516
FWD-attractor: 121610
FWD-attractor: 121447
FWD-attractor: 121445
FWD-attractor: 118769
FWD-attractor: 118966
FWD-attractor: 119995
FWD-attractor: 118189
FWD-attractor: 116194
FWD-attractor: 108962
FWD-attractor: 112028
FWD-attractor: 111936
FWD-attractor: 111870
FWD-attractor: 113080
FWD-attractor: 111723
FWD-attractor: 111948
FWD-attractor: 111438
FWD-attractor: 111819
FWD-attractor: 110222
FWD-attractor: 109298
FWD-attractor: 109178
FWD-attractor: 108127
FWD-attractor: 111958
FWD-attractor: 111716
FWD-attractor: 110526
FWD-attractor: 111643
FWD-attractor: 109275
FWD-attractor: 107904
FWD-attractor: 107828
FWD-attractor: 106567
FWD-attractor: 106611
FWD-attractor: 106600
FWD-attractor: 106575
FWD-attractor: 105654
FWD-attractor: 105684
FWD-attractor: 105684
FWD-attractor: 105672
FWD-attractor: 105419
FWD-attractor: 105263
FWD-attractor: 105185
FWD-attractor: 104573
FWD-attractor: 104246
FWD-attractor: 104144
FWD-attractor: 104099
FWD-attractor: 104075
FWD-attractor: 103878
FWD-attractor: 104025
FWD-attractor: 104219
FWD-attractor: 104073
FWD-attractor: 103580
FWD-attractor: 103667
FWD-attractor: 103583
FWD-attractor: 103563
FWD-attractor: 103407
FWD-attractor: 103338
FWD-attractor: 103559
FWD-attractor: 103578
FWD-attractor: 102497
FWD-attractor: 113617
FWD-attractor: 110990
FWD-attractor: 103484
FWD-attractor: 103688
FWD-attractor: 103686
FWD-attractor: 103679
FWD-attractor: 103694
Attractor colors: 5095052106228698000000000
Attractor colors computed in 1285958 ms.
Backward progress: 105442
Backward progress: 105442
Backward progress: 100490
Backward progress: 101711
Backward progress: 109595
Backward progress: 116033
Backward progress: 115807
Backward progress: 116033
Backward progress: 115825
Backward progress: 115831
Backward progress: 111316
Backward progress: 117050
Backward progress: 122205
Backward progress: 119438
Backward progress: 116769
Backward progress: 116853
Backward progress: 116725
Backward progress: 111108
Backward progress: 106609
Backward progress: 119216
Backward progress: 119367
Backward progress: 117207
Backward progress: 117355
Backward progress: 117373
Backward progress: 117379
Backward progress: 116165
Backward progress: 116196
Backward progress: 123780
Backward progress: 121294
Backward progress: 121088
Backward progress: 116984
Backward progress: 115693
Backward progress: 118186
Backward progress: 118130
Backward progress: 118186
Backward progress: 118393
Backward progress: 127675
Backward progress: 127675
Backward progress: 121582
Backward progress: 121570
Backward progress: 122120
Backward progress: 124447
Backward progress: 149460
Backward progress: 145891
Backward progress: 145912
Backward progress: 139281
Backward progress: 130051
Backward progress: 130274
Backward progress: 126975
Backward progress: 124833
Backward progress: 123119
Backward progress: 138037
Backward progress: 119460
Backward progress: 121859
Backward progress: 121901
Backward progress: 119600
Backward progress: 119502
Backward progress: 117580
Backward progress: 110622
Backward progress: 125586
Backward progress: 125586
Backward progress: 110285
Backward progress: 106573
Backward progress: 109028
Backward progress: 109070
Backward progress: 106694
Backward progress: 109007
Backward progress: 106471
Backward progress: 108791
Backward progress: 108833
Backward progress: 106401
Backward progress: 106354
Backward progress: 109630
Backward progress: 104131
Backward progress: 196175
Backward progress: 202812
Backward progress: 178723
Backward progress: 157922
Backward progress: 157980
Backward progress: 157950
Backward progress: 148540
Backward progress: 150141
Backward progress: 150223
Backward progress: 154426
Backward progress: 150386
Backward progress: 148957
Backward progress: 149054
Backward progress: 145217
Backward progress: 145504
Backward progress: 164445
Backward progress: 164452
Backward progress: 159484
Backward progress: 155099
Backward progress: 144283
Backward progress: 156751
Backward progress: 166011
Backward progress: 154719
Backward progress: 161814
Backward progress: 145943
Backward progress: 148668
Backward progress: 148686
Backward progress: 148554
Backward progress: 147570
Backward progress: 145851
Backward progress: 144928
Backward progress: 146122
Backward progress: 145483
Backward progress: 144882
Backward progress: 155086
Backward progress: 153752
Backward progress: 152287
Backward progress: 157733
Backward progress: 155839
Backward progress: 133154
Backward progress: 133957
Backward progress: 134089
Backward progress: 130046
Backward progress: 131631
Backward progress: 129684
Backward progress: 127800
Backward progress: 127765
Backward progress: 130267
Backward progress: 126741
Backward progress: 125904
Backward progress: 123850
Backward progress: 168994
Backward progress: 151201
Backward progress: 151425
Backward progress: 113157
Backward progress: 110382
Backward progress: 121197
Backward progress: 121275
Backward progress: 115793
Backward progress: 113212
Backward progress: 110824
Backward progress: 106397
Backward progress: 104310
Backward progress: 105718
Backward progress: 105739
Backward progress: 108568
Backward progress: 107998
Backward progress: 104117
Backward progress: 102308
Backward progress: 103409
Backward progress: 102343
Backward progress: 102364
Backward progress: 102315
Backward progress: 101564
Backward progress: 100970
Backward progress: 228944
Backward progress: 177052
Backward progress: 195028
Backward progress: 201254
Backward progress: 199442
Backward progress: 199528
Backward progress: 199498
Backward progress: 176260
Backward progress: 170636
Backward progress: 167324
Backward progress: 165516
Backward progress: 165561
Backward progress: 164020
Backward progress: 162151
Backward progress: 164250
Backward progress: 164328
Backward progress: 170845
Backward progress: 165496
Backward progress: 165653
Backward progress: 165799
Backward progress: 165719
Backward progress: 165989
Backward progress: 207996
Backward progress: 208003
Backward progress: 207705
Backward progress: 201606
Backward progress: 201856
Backward progress: 209697
Backward progress: 198779
Backward progress: 203822
Backward progress: 202459
Backward progress: 213078
Backward progress: 198774
Backward progress: 201786
Backward progress: 201804
Backward progress: 201684
Backward progress: 200432
Backward progress: 198703
Backward progress: 198114
Backward progress: 206374
Backward progress: 201252
Backward progress: 200821
Backward progress: 200874
Backward progress: 199675
Backward progress: 222714
Backward progress: 221817
Backward progress: 221203
Backward progress: 233403
Backward progress: 229966
Backward progress: 213225
Backward progress: 208723
Backward progress: 211054
Backward progress: 213618
Backward progress: 213214
Backward progress: 217827
Backward progress: 212658
Backward progress: 208496
Backward progress: 208483
Backward progress: 214689
Backward progress: 205964
Backward progress: 208437
Backward progress: 204808
Backward progress: 206680
Backward progress: 199917
Backward progress: 200424
Backward progress: 202020
Backward progress: 200404
Backward progress: 203381
Backward progress: 203437
Backward progress: 202332
Backward progress: 205212
Backward progress: 204241
Backward progress: 197581
Backward progress: 198015
Backward progress: 198055
Backward progress: 194311
Backward progress: 195183
Backward progress: 194071
Backward progress: 192986
Backward progress: 192959
Backward progress: 194333
Backward progress: 192394
Backward progress: 192077
Backward progress: 190980
Backward progress: 176162
Backward progress: 139072
Backward progress: 141666
Backward progress: 141684
Backward progress: 141382
Backward progress: 139178
Backward progress: 136279
Backward progress: 139586
Backward progress: 139934
Backward progress: 139979
Backward progress: 140727
Backward progress: 140728
Backward progress: 141449
Backward progress: 151446
Backward progress: 160491
Backward progress: 162535
Backward progress: 162764
Backward progress: 162824
Backward progress: 178784
Backward progress: 240595
Backward progress: 228585
Backward progress: 226081
Backward progress: 228886
Backward progress: 229568
Backward progress: 231220
Backward progress: 240668
Backward progress: 241301
Backward progress: 242843
Backward progress: 242827
Backward progress: 280519
Backward progress: 326204
Backward progress: 341230
Backward progress: 346562
Backward progress: 373052
Backward progress: 372964
Backward progress: 374042
Backward progress: 374042
Backward progress: 436537
Backward progress: 437097
Backward progress: 436620
Backward progress: 436060
Backward progress: 438899
Backward progress: 438904
Backward progress: 438905
Backward progress: 437483
Backward progress: 437085
Backward progress: 437365
Backward progress: 437365
Backward progress: 851473
Backward progress: 862124
Backward progress: 837753
Backward progress: 837599
Backward progress: 717290
Backward progress: 733313
Backward progress: 733329
Backward progress: 723641
Backward progress: 724506
Backward progress: 723323
Backward progress: 787254
Backward progress: 804140
Backward progress: 790167
Backward progress: 825006
Backward progress: 829624
Backward progress: 829847
Backward progress: 830416
Backward progress: 846359
Backward progress: 850489
Backward progress: 868357
Backward progress: 868452
Backward progress: 881980
Backward progress: 882514
Backward progress: 882618
Backward progress: 917253
Backward progress: 912704
Backward progress: 912704
Backward progress: 912347
Backward progress: 911789
Backward progress: 911395
Backward progress: 1046455
Backward progress: 1051945
Backward progress: 1054069
Backward progress: 1049089
Backward progress: 1056462
Backward progress: 1056614
Backward progress: 1077242
Backward progress: 1077242
Backward progress: 1083262
Backward progress: 1106390
Backward progress: 1107662
Backward progress: 1247298
Backward progress: 1382701
Backward progress: 1382777
Backward progress: 1438678
Backward progress: 1449801
Backward progress: 1487961
Backward progress: 1638006
Backward progress: 1639884
Backward progress: 1563781
Backward progress: 1565413
Backward progress: 1565433
Backward progress: 1608463
Backward progress: 1609007
Backward progress: 1614679
Backward progress: 1614683
Backward progress: 2457248
Backward progress: 2502818
Backward progress: 2502413
Backward progress: 2485480
Backward progress: 2476350
Backward progress: 2507382
Backward progress: 2507479
Backward progress: 2710017
Backward progress: 2777743
Backward progress: 2912116
Backward progress: 2912132
Backward progress: 2709820
Backward progress: 2750791
Backward progress: 7145395
Backward progress: 8601967
Backward progress: 10461907
Backward progress: 10462471
Backward progress: 10462335
Backward progress: 10515855
Backward progress: 10432053
Backward progress: 12634033
Backward progress: 12555377
Backward progress: 12765998
Backward progress: 12774400
Backward progress: 13079531
Backward progress: 14336949
Backward progress: 15787685
Backward progress: 15786184
Backward progress: 14635668
Backward progress: 15288066
Backward progress: 15012370
Backward progress: 15316394
Backward progress: 15919243
Backward progress: 33432782
Backward progress: 33416773
Backward progress: 33270322
Backward progress: 32756707
Backward progress: 32691615
Backward progress: 36114765
Backward progress: 37502300
Backward progress: 37437353
Backward progress: 37542980
Backward progress: 38816748
Backward progress: 38793368
Backward progress: 38791042
Backward progress: 38847223
Backward progress: 38811068
Backward progress: 38723928
Backward progress: 38723928
Backward progress: 38679624
Backward progress: 38679589
Backward progress: 38649318
Backward progress: 38649313
Backward progress: 38619511
Backward progress: 40520039
Backward progress: 40456557
Backward progress: 40527019
Backward progress: 40527397
Backward progress: 40790019
Backward progress: 42165267
Backward progress: 43282159
Backward progress: 43190349
Backward progress: 42221804
Backward progress: 42595483
Backward progress: 42236624
Backward progress: 42737462
Backward progress: 42960917
Backward progress: 42944697
Backward progress: 42806719
Backward progress: 42826708
Backward progress: 39853449
Backward progress: 39439556
Backward progress: 65829881
