c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 2300 variables and 672 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 3.359
c After prepocess the problem consists of 1988 variables and 672 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 1988 #Dec: 3290 LB: 0 @ 4.993
c Restart #2 #Var: 1988 #Dec: 9256 LB: 0 @ 8.077
c Restart #3 #Var: 1988 #Dec: 16758 LB: 0 @ 12.55
c Restart #4 #Var: 1988 #Dec: 26181 LB: 0 @ 18.467
c Restart #5 #Var: 1988 #Dec: 37020 LB: 0 @ 25.767
c Restart #6 #Var: 1988 #Dec: 52068 LB: 0 @ 34.532
c Restart #7 #Var: 1988 #Dec: 53603 LB: 0 @ 43.579
c NEW SOLUTION FOUND: 4541116 @ 43.667 @ #Dec. 55038
c NEW SOLUTION FOUND: 4501500 @ 43.711 @ #Dec. 55041
c NEW SOLUTION FOUND: 4461884 @ 44.754 @ #Dec. 55181
c NEW SOLUTION FOUND: 4422268 @ 45.426 @ #Dec. 55313
c NEW SOLUTION FOUND: 4410492 @ 46.757 @ #Dec. 55603
c NEW SOLUTION FOUND: 4405756 @ 47.841 @ #Dec. 55869
c NEW SOLUTION FOUND: 4401020 @ 48.929 @ #Dec. 56146
c NEW SOLUTION FOUND: 4396284 @ 50.017 @ #Dec. 56439
c NEW SOLUTION FOUND: 4391548 @ 51.09 @ #Dec. 56750
c NEW SOLUTION FOUND: 4386812 @ 52.188 @ #Dec. 57079
c NEW SOLUTION FOUND: 4382076 @ 53.257 @ #Dec. 57426
c NEW SOLUTION FOUND: 4377340 @ 54.334 @ #Dec. 57779
c NEW SOLUTION FOUND: 4372604 @ 55.406 @ #Dec. 58132
c NEW SOLUTION FOUND: 4367868 @ 56.501 @ #Dec. 58500
c NEW SOLUTION FOUND: 4363132 @ 57.589 @ #Dec. 58862
c NEW SOLUTION FOUND: 4358396 @ 58.675 @ #Dec. 59241
c NEW SOLUTION FOUND: 4353660 @ 59.768 @ #Dec. 59613
c NEW SOLUTION FOUND: 4348924 @ 60.865 @ #Dec. 59998
c NEW SOLUTION FOUND: 4344188 @ 61.962 @ #Dec. 60374
c NEW SOLUTION FOUND: 4339452 @ 63.064 @ #Dec. 60765
c NEW SOLUTION FOUND: 4334716 @ 64.145 @ #Dec. 61146
c NEW SOLUTION FOUND: 4329980 @ 65.25 @ #Dec. 61531
c NEW SOLUTION FOUND: 4325244 @ 66.335 @ #Dec. 61909
c NEW SOLUTION FOUND: 4320508 @ 67.426 @ #Dec. 62294
c NEW SOLUTION FOUND: 4315772 @ 68.512 @ #Dec. 62682
c NEW SOLUTION FOUND: 4311036 @ 69.601 @ #Dec. 63074
c NEW SOLUTION FOUND: 4306300 @ 70.687 @ #Dec. 63466
c NEW SOLUTION FOUND: 4301564 @ 71.779 @ #Dec. 63862
c NEW SOLUTION FOUND: 4296828 @ 72.845 @ #Dec. 64248
c NEW SOLUTION FOUND: 4292092 @ 73.932 @ #Dec. 64644
c NEW SOLUTION FOUND: 4287356 @ 74.996 @ #Dec. 65031
c NEW SOLUTION FOUND: 4282620 @ 76.052 @ #Dec. 65428
c NEW SOLUTION FOUND: 4277884 @ 77.112 @ #Dec. 65820
c NEW SOLUTION FOUND: 4273148 @ 78.18 @ #Dec. 66224
c NEW SOLUTION FOUND: 4268412 @ 79.226 @ #Dec. 66620
c NEW SOLUTION FOUND: 4263676 @ 80.281 @ #Dec. 67029
c NEW SOLUTION FOUND: 4258940 @ 81.322 @ #Dec. 67428
c NEW SOLUTION FOUND: 4254204 @ 82.376 @ #Dec. 67833
c NEW SOLUTION FOUND: 4249468 @ 83.413 @ #Dec. 68229
c NEW SOLUTION FOUND: 4244732 @ 84.471 @ #Dec. 68632
c NEW SOLUTION FOUND: 4239996 @ 85.506 @ #Dec. 69036
c NEW SOLUTION FOUND: 4235260 @ 86.566 @ #Dec. 69445
c NEW SOLUTION FOUND: 4230524 @ 87.602 @ #Dec. 69852
c NEW SOLUTION FOUND: 4225788 @ 88.656 @ #Dec. 70268
c NEW SOLUTION FOUND: 4221052 @ 89.696 @ #Dec. 70675
c NEW SOLUTION FOUND: 4216316 @ 90.748 @ #Dec. 71089
c NEW SOLUTION FOUND: 4211580 @ 91.78 @ #Dec. 71491
c NEW SOLUTION FOUND: 4206844 @ 92.816 @ #Dec. 71903
c NEW SOLUTION FOUND: 4202108 @ 93.855 @ #Dec. 72309
c NEW SOLUTION FOUND: 4197372 @ 94.904 @ #Dec. 72732
c NEW SOLUTION FOUND: 4185596 @ 95.94 @ #Dec. 73144
c NEW SOLUTION FOUND: 4180860 @ 96.984 @ #Dec. 73570
c NEW SOLUTION FOUND: 4176124 @ 98.023 @ #Dec. 73986
c NEW SOLUTION FOUND: 4171388 @ 99.069 @ #Dec. 74408
c NEW SOLUTION FOUND: 4166652 @ 100.1 @ #Dec. 74824
c NEW SOLUTION FOUND: 4164284 @ 101.14 @ #Dec. 75246
c NEW SOLUTION FOUND: 4161916 @ 102.18 @ #Dec. 75662
c NEW SOLUTION FOUND: 4159548 @ 103.22 @ #Dec. 76084
c NEW SOLUTION FOUND: 4157180 @ 104.25 @ #Dec. 76508
c NEW SOLUTION FOUND: 4152444 @ 105.3 @ #Dec. 76938
c NEW SOLUTION FOUND: 4146556 @ 106.32 @ #Dec. 77369
c NEW SOLUTION FOUND: 4144188 @ 107.35 @ #Dec. 77801
c NEW SOLUTION FOUND: 4139452 @ 108.37 @ #Dec. 78223
c NEW SOLUTION FOUND: 4137084 @ 109.41 @ #Dec. 78651
c NEW SOLUTION FOUND: 4132348 @ 110.44 @ #Dec. 79070
c NEW SOLUTION FOUND: 4127612 @ 111.47 @ #Dec. 79506
c NEW SOLUTION FOUND: 4122876 @ 112.49 @ #Dec. 79937
c NEW SOLUTION FOUND: 4118140 @ 113.53 @ #Dec. 80380
c NEW SOLUTION FOUND: 4115772 @ 114.55 @ #Dec. 80816
c NEW SOLUTION FOUND: 4111036 @ 115.58 @ #Dec. 81256
c NEW SOLUTION FOUND: 4106300 @ 116.61 @ #Dec. 81691
c NEW SOLUTION FOUND: 4103932 @ 117.65 @ #Dec. 82128
c NEW SOLUTION FOUND: 4101564 @ 118.68 @ #Dec. 82561
c NEW SOLUTION FOUND: 4096828 @ 119.73 @ #Dec. 83004
c NEW SOLUTION FOUND: 4094460 @ 120.76 @ #Dec. 83446
c NEW SOLUTION FOUND: 4092092 @ 121.79 @ #Dec. 83893
c NEW SOLUTION FOUND: 4087356 @ 122.81 @ #Dec. 84337
c NEW SOLUTION FOUND: 4084988 @ 123.83 @ #Dec. 84789
c NEW SOLUTION FOUND: 4080252 @ 124.85 @ #Dec. 85232
c NEW SOLUTION FOUND: 4075516 @ 125.87 @ #Dec. 85682
c NEW SOLUTION FOUND: 4073148 @ 126.88 @ #Dec. 86121
c NEW SOLUTION FOUND: 4068412 @ 127.9 @ #Dec. 86579
c NEW SOLUTION FOUND: 4063676 @ 128.9 @ #Dec. 87027
c NEW SOLUTION FOUND: 4061308 @ 129.93 @ #Dec. 87489
c NEW SOLUTION FOUND: 4056572 @ 130.94 @ #Dec. 87943
c NEW SOLUTION FOUND: 4051836 @ 131.95 @ #Dec. 88403
c NEW SOLUTION FOUND: 4049468 @ 132.97 @ #Dec. 88858
c NEW SOLUTION FOUND: 4044732 @ 133.99 @ #Dec. 89316
c NEW SOLUTION FOUND: 4042364 @ 134.99 @ #Dec. 89768
c NEW SOLUTION FOUND: 4037628 @ 136 @ #Dec. 90230
c NEW SOLUTION FOUND: 4032892 @ 137 @ #Dec. 90691
c NEW SOLUTION FOUND: 4030524 @ 138.01 @ #Dec. 91157
c NEW SOLUTION FOUND: 4028156 @ 139.01 @ #Dec. 91622
c NEW SOLUTION FOUND: 4023420 @ 140.04 @ #Dec. 92092
c NEW SOLUTION FOUND: 4018684 @ 141.05 @ #Dec. 92553
c NEW SOLUTION FOUND: 4016316 @ 142.08 @ #Dec. 93020
c NEW SOLUTION FOUND: 4011580 @ 143.1 @ #Dec. 93475
c NEW SOLUTION FOUND: 4006844 @ 144.13 @ #Dec. 93943
c NEW SOLUTION FOUND: 4002108 @ 145.14 @ #Dec. 94404
c NEW SOLUTION FOUND: 3999740 @ 146.16 @ #Dec. 94881
c NEW SOLUTION FOUND: 3997372 @ 147.17 @ #Dec. 95348
c NEW SOLUTION FOUND: 3995004 @ 148.17 @ #Dec. 95832
c NEW SOLUTION FOUND: 3990268 @ 149.17 @ #Dec. 96304
c NEW SOLUTION FOUND: 3987900 @ 150.18 @ #Dec. 96779
c NEW SOLUTION FOUND: 3985532 @ 151.17 @ #Dec. 97247
c NEW SOLUTION FOUND: 3983164 @ 152.17 @ #Dec. 97719
c NEW SOLUTION FOUND: 3980796 @ 153.16 @ #Dec. 98196
c NEW SOLUTION FOUND: 3976060 @ 154.16 @ #Dec. 98680
c NEW SOLUTION FOUND: 3971324 @ 155.15 @ #Dec. 99162
c NEW SOLUTION FOUND: 3968956 @ 156.13 @ #Dec. 99651
c NEW SOLUTION FOUND: 3966588 @ 157.11 @ #Dec. 100129
c NEW SOLUTION FOUND: 3964220 @ 158.11 @ #Dec. 100614
c NEW SOLUTION FOUND: 3961852 @ 159.11 @ #Dec. 101089
c NEW SOLUTION FOUND: 3952444 @ 160.12 @ #Dec. 101574
c NEW SOLUTION FOUND: 3950076 @ 161.11 @ #Dec. 102055
c NEW SOLUTION FOUND: 3945340 @ 162.12 @ #Dec. 102546
c NEW SOLUTION FOUND: 3940604 @ 163.11 @ #Dec. 103031
c NEW SOLUTION FOUND: 3935868 @ 164.12 @ #Dec. 103528
c NEW SOLUTION FOUND: 3931132 @ 165.12 @ #Dec. 104016
c NEW SOLUTION FOUND: 3926396 @ 166.12 @ #Dec. 104508
c NEW SOLUTION FOUND: 3921660 @ 167.1 @ #Dec. 104995
c NEW SOLUTION FOUND: 3916924 @ 168.09 @ #Dec. 105484
c NEW SOLUTION FOUND: 3912188 @ 169.07 @ #Dec. 105971
c NEW SOLUTION FOUND: 3907452 @ 170.05 @ #Dec. 106468
c NEW SOLUTION FOUND: 3902716 @ 171.02 @ #Dec. 106963
c NEW SOLUTION FOUND: 3897980 @ 172 @ #Dec. 107465
c NEW SOLUTION FOUND: 3893244 @ 172.97 @ #Dec. 107960
c NEW SOLUTION FOUND: 3888508 @ 173.96 @ #Dec. 108463
c NEW SOLUTION FOUND: 3883772 @ 174.93 @ #Dec. 108958
c NEW SOLUTION FOUND: 3881404 @ 175.91 @ #Dec. 109459
c NEW SOLUTION FOUND: 3876668 @ 176.88 @ #Dec. 109952
c NEW SOLUTION FOUND: 3871932 @ 177.87 @ #Dec. 110462
c NEW SOLUTION FOUND: 3869564 @ 178.84 @ #Dec. 110963
c NEW SOLUTION FOUND: 3864828 @ 179.81 @ #Dec. 111477
c NEW SOLUTION FOUND: 3862460 @ 180.78 @ #Dec. 111981
c NEW SOLUTION FOUND: 3860092 @ 181.75 @ #Dec. 112493
c NEW SOLUTION FOUND: 3857724 @ 182.72 @ #Dec. 112995
c NEW SOLUTION FOUND: 3855356 @ 183.71 @ #Dec. 113502
c NEW SOLUTION FOUND: 3852988 @ 184.66 @ #Dec. 114007
c NEW SOLUTION FOUND: 3850620 @ 185.65 @ #Dec. 114521
c NEW SOLUTION FOUND: 3848252 @ 186.62 @ #Dec. 115033
c NEW SOLUTION FOUND: 3845884 @ 187.6 @ #Dec. 115554
c NEW SOLUTION FOUND: 3843516 @ 188.56 @ #Dec. 116071
c NEW SOLUTION FOUND: 3841148 @ 189.53 @ #Dec. 116593
c NEW SOLUTION FOUND: 3836412 @ 190.48 @ #Dec. 117106
c NEW SOLUTION FOUND: 3834044 @ 191.44 @ #Dec. 117625
c NEW SOLUTION FOUND: 3831676 @ 192.4 @ #Dec. 118134
c NEW SOLUTION FOUND: 3829308 @ 193.37 @ #Dec. 118663
c NEW SOLUTION FOUND: 3824572 @ 194.32 @ #Dec. 119181
c NEW SOLUTION FOUND: 3822204 @ 195.29 @ #Dec. 119713
c NEW SOLUTION FOUND: 3819836 @ 196.24 @ #Dec. 120240
c NEW SOLUTION FOUND: 3817468 @ 197.19 @ #Dec. 120772
c NEW SOLUTION FOUND: 3815100 @ 198.13 @ #Dec. 121297
c NEW SOLUTION FOUND: 3810364 @ 199.09 @ #Dec. 121824
c NEW SOLUTION FOUND: 3807996 @ 200.05 @ #Dec. 122347
c NEW SOLUTION FOUND: 3805628 @ 201.01 @ #Dec. 122880
c NEW SOLUTION FOUND: 3800892 @ 201.95 @ #Dec. 123412
c NEW SOLUTION FOUND: 3798524 @ 202.91 @ #Dec. 123948
c NEW SOLUTION FOUND: 3796156 @ 203.86 @ #Dec. 124484
c NEW SOLUTION FOUND: 3793788 @ 204.82 @ #Dec. 125024
c NEW SOLUTION FOUND: 3791420 @ 205.76 @ #Dec. 125556
c NEW SOLUTION FOUND: 3789052 @ 206.71 @ #Dec. 126095
c NEW SOLUTION FOUND: 3786684 @ 207.65 @ #Dec. 126625
c NEW SOLUTION FOUND: 3784316 @ 208.6 @ #Dec. 127164
c NEW SOLUTION FOUND: 3778428 @ 209.54 @ #Dec. 127698
c NEW SOLUTION FOUND: 3776060 @ 210.49 @ #Dec. 128246
c NEW SOLUTION FOUND: 3773692 @ 211.43 @ #Dec. 128786
c NEW SOLUTION FOUND: 3771324 @ 212.38 @ #Dec. 129339
c NEW SOLUTION FOUND: 3768956 @ 213.32 @ #Dec. 129881
c NEW SOLUTION FOUND: 3766588 @ 214.27 @ #Dec. 130426
c NEW SOLUTION FOUND: 3764220 @ 215.2 @ #Dec. 130965
c NEW SOLUTION FOUND: 3761852 @ 216.15 @ #Dec. 131510
c NEW SOLUTION FOUND: 3759484 @ 217.07 @ #Dec. 132056
c NEW SOLUTION FOUND: 3757116 @ 218.02 @ #Dec. 132611
c NEW SOLUTION FOUND: 3754748 @ 218.96 @ #Dec. 133163
c NEW SOLUTION FOUND: 3752380 @ 219.9 @ #Dec. 133720
c NEW SOLUTION FOUND: 3750012 @ 220.83 @ #Dec. 134264
c NEW SOLUTION FOUND: 3747644 @ 221.77 @ #Dec. 134818
c NEW SOLUTION FOUND: 3742908 @ 222.7 @ #Dec. 135362
c NEW SOLUTION FOUND: 3740540 @ 223.64 @ #Dec. 135918
c NEW SOLUTION FOUND: 3739356 @ 224.56 @ #Dec. 136467
c NEW SOLUTION FOUND: 3734620 @ 225.5 @ #Dec. 137031
c NEW SOLUTION FOUND: 3732252 @ 226.43 @ #Dec. 137584
c NEW SOLUTION FOUND: 3712444 @ 227.37 @ #Dec. 138151
c NEW SOLUTION FOUND: 3692636 @ 228.3 @ #Dec. 138675
c NEW SOLUTION FOUND: 3672828 @ 231.34 @ #Dec. 140102
c NEW SOLUTION FOUND: 3653020 @ 232.36 @ #Dec. 140687
c NEW SOLUTION FOUND: 3633212 @ 233.32 @ #Dec. 141167
c NEW SOLUTION FOUND: 3613404 @ 235.42 @ #Dec. 141964
c NEW SOLUTION FOUND: 3593596 @ 236.45 @ #Dec. 142547
c NEW SOLUTION FOUND: 3573788 @ 237.76 @ #Dec. 143139
c NEW SOLUTION FOUND: 3553980 @ 242.78 @ #Dec. 145629
c NEW SOLUTION FOUND: 3549244 @ 244.53 @ #Dec. 146407
c NEW SOLUTION FOUND: 3544508 @ 246.3 @ #Dec. 147151
c NEW SOLUTION FOUND: 3542140 @ 248.05 @ #Dec. 147880
c NEW SOLUTION FOUND: 3539772 @ 249.79 @ #Dec. 148612
c NEW SOLUTION FOUND: 3537404 @ 251.53 @ #Dec. 149355
c NEW SOLUTION FOUND: 3535036 @ 253.26 @ #Dec. 150104
c NEW SOLUTION FOUND: 3532668 @ 255 @ #Dec. 150851
c NEW SOLUTION FOUND: 3530300 @ 257.06 @ #Dec. 156879
c NEW SOLUTION FOUND: 3527932 @ 258.85 @ #Dec. 157641
c NEW SOLUTION FOUND: 3525564 @ 260.59 @ #Dec. 158398
c NEW SOLUTION FOUND: 3520828 @ 262.33 @ #Dec. 159172
c NEW SOLUTION FOUND: 3518460 @ 264.07 @ #Dec. 159940
c NEW SOLUTION FOUND: 3516092 @ 265.83 @ #Dec. 160955
c NEW SOLUTION FOUND: 3513724 @ 267.58 @ #Dec. 161728
c NEW SOLUTION FOUND: 3511356 @ 269.32 @ #Dec. 162748
c NEW SOLUTION FOUND: 3508988 @ 271.05 @ #Dec. 163512
c NEW SOLUTION FOUND: 3506620 @ 272.81 @ #Dec. 164292
c NEW SOLUTION FOUND: 3504252 @ 274.56 @ #Dec. 165078
c NEW SOLUTION FOUND: 3501884 @ 276.33 @ #Dec. 166114
c NEW SOLUTION FOUND: 3499516 @ 278.09 @ #Dec. 166907
c NEW SOLUTION FOUND: 3497148 @ 279.84 @ #Dec. 167710
c NEW SOLUTION FOUND: 3494780 @ 281.57 @ #Dec. 168501
c NEW SOLUTION FOUND: 3492412 @ 283.29 @ #Dec. 169303
c NEW SOLUTION FOUND: 3490044 @ 285.01 @ #Dec. 170106
c NEW SOLUTION FOUND: 3487676 @ 286.72 @ #Dec. 170920
c NEW SOLUTION FOUND: 3485308 @ 288.44 @ #Dec. 171735
c NEW SOLUTION FOUND: 3482940 @ 290.17 @ #Dec. 172553
c NEW SOLUTION FOUND: 3480572 @ 291.89 @ #Dec. 173349
c NEW SOLUTION FOUND: 3478204 @ 293.72 @ #Dec. 175937
c NEW SOLUTION FOUND: 3475836 @ 295.47 @ #Dec. 176993
c NEW SOLUTION FOUND: 3473468 @ 297.23 @ #Dec. 179058
c NEW SOLUTION FOUND: 3471100 @ 298.98 @ #Dec. 180617
c NEW SOLUTION FOUND: 3468732 @ 300.69 @ #Dec. 181642
c NEW SOLUTION FOUND: 3466364 @ 302.93 @ #Dec. 193621
c NEW SOLUTION FOUND: 3463996 @ 304.77 @ #Dec. 195384
c NEW SOLUTION FOUND: 3461628 @ 306.59 @ #Dec. 198485
c NEW SOLUTION FOUND: 3459260 @ 308.32 @ #Dec. 199666
c NEW SOLUTION FOUND: 3456892 @ 310.16 @ #Dec. 203170
c NEW SOLUTION FOUND: 3454524 @ 311.92 @ #Dec. 205036
c NEW SOLUTION FOUND: 3452156 @ 313.64 @ #Dec. 205883
c NEW SOLUTION FOUND: 3449788 @ 315.36 @ #Dec. 206737
c NEW SOLUTION FOUND: 3447420 @ 317.06 @ #Dec. 207603
c NEW SOLUTION FOUND: 3445052 @ 318.79 @ #Dec. 208836
c NEW SOLUTION FOUND: 3442684 @ 320.49 @ #Dec. 209699
c NEW SOLUTION FOUND: 3437948 @ 322.21 @ #Dec. 210579
c NEW SOLUTION FOUND: 3435580 @ 323.96 @ #Dec. 212140
c NEW SOLUTION FOUND: 3430876 @ 325.64 @ #Dec. 213017
c NEW SOLUTION FOUND: 3429692 @ 327.34 @ #Dec. 214571
c NEW SOLUTION FOUND: 3427324 @ 329.06 @ #Dec. 216187
c NEW SOLUTION FOUND: 3426140 @ 330.76 @ #Dec. 217770
c NEW SOLUTION FOUND: 3423772 @ 332.5 @ #Dec. 220109
c NEW SOLUTION FOUND: 3421404 @ 334.22 @ #Dec. 221343
c NEW SOLUTION FOUND: 3420220 @ 335.94 @ #Dec. 223299
c NEW SOLUTION FOUND: 3417276 @ 337.63 @ #Dec. 224528
c NEW SOLUTION FOUND: 3414908 @ 339.32 @ #Dec. 225760
c NEW SOLUTION FOUND: 3413724 @ 341.01 @ #Dec. 226635
c NEW SOLUTION FOUND: 3412540 @ 342.72 @ #Dec. 228203
c NEW SOLUTION FOUND: 3410172 @ 344.44 @ #Dec. 229773
c NEW SOLUTION FOUND: 3408988 @ 346.18 @ #Dec. 231708
c NEW SOLUTION FOUND: 3407804 @ 347.84 @ #Dec. 232573
c NEW SOLUTION FOUND: 3405436 @ 349.52 @ #Dec. 234187
c NEW SOLUTION FOUND: 3404252 @ 351.23 @ #Dec. 235794
c NEW SOLUTION FOUND: 3401884 @ 352.93 @ #Dec. 237032
c NEW SOLUTION FOUND: 3400700 @ 354.63 @ #Dec. 239000
c NEW SOLUTION FOUND: 3398332 @ 356.28 @ #Dec. 239922
c NEW SOLUTION FOUND: 3395964 @ 357.94 @ #Dec. 240810
c NEW SOLUTION FOUND: 3394780 @ 359.6 @ #Dec. 242433
c NEW SOLUTION FOUND: 3393596 @ 361.34 @ #Dec. 244440
c NEW SOLUTION FOUND: 3392412 @ 363.03 @ #Dec. 245702
c NEW SOLUTION FOUND: 3391228 @ 364.71 @ #Dec. 246968
c NEW SOLUTION FOUND: 3390044 @ 366.39 @ #Dec. 248207
c NEW SOLUTION FOUND: 3387676 @ 368.06 @ #Dec. 249795
c NEW SOLUTION FOUND: 3386492 @ 369.75 @ #Dec. 251379
c NEW SOLUTION FOUND: 3385308 @ 371.44 @ #Dec. 252618
c NEW SOLUTION FOUND: 3382940 @ 373.08 @ #Dec. 253851
c NEW SOLUTION FOUND: 3380572 @ 374.82 @ #Dec. 256956
c NEW SOLUTION FOUND: 3379388 @ 376.58 @ #Dec. 259734
c NEW SOLUTION FOUND: 3378204 @ 378.24 @ #Dec. 260987
c NEW SOLUTION FOUND: 3377020 @ 379.95 @ #Dec. 263388
c NEW SOLUTION FOUND: 3374652 @ 381.62 @ #Dec. 264665
c NEW SOLUTION FOUND: 3373468 @ 383.27 @ #Dec. 265941
c NEW SOLUTION FOUND: 3371100 @ 384.9 @ #Dec. 266850
c NEW SOLUTION FOUND: 3368732 @ 386.57 @ #Dec. 268885
c NEW SOLUTION FOUND: 3367548 @ 388.28 @ #Dec. 271320
c NEW SOLUTION FOUND: 3365180 @ 389.94 @ #Dec. 272972
c NEW SOLUTION FOUND: 3362812 @ 391.6 @ #Dec. 273889
c NEW SOLUTION FOUND: 3361628 @ 393.27 @ #Dec. 275553
c NEW SOLUTION FOUND: 3360444 @ 394.91 @ #Dec. 276852
c NEW SOLUTION FOUND: 3359260 @ 396.55 @ #Dec. 278129
c NEW SOLUTION FOUND: 3358076 @ 398.23 @ #Dec. 280555
c NEW SOLUTION FOUND: 3356892 @ 399.9 @ #Dec. 282239
c NEW SOLUTION FOUND: 3354524 @ 401.55 @ #Dec. 283518
c NEW SOLUTION FOUND: 3353340 @ 403.19 @ #Dec. 285197
c NEW SOLUTION FOUND: 3350972 @ 404.81 @ #Dec. 286115
c NEW SOLUTION FOUND: 3349788 @ 406.43 @ #Dec. 287045
c NEW SOLUTION FOUND: 3347420 @ 408.08 @ #Dec. 289144
c NEW SOLUTION FOUND: 3346236 @ 409.68 @ #Dec. 290076
c NEW SOLUTION FOUND: 3345052 @ 411.34 @ #Dec. 291777
c NEW SOLUTION FOUND: 3343868 @ 413.02 @ #Dec. 293491
c NEW SOLUTION FOUND: 3341500 @ 414.64 @ #Dec. 294432
c NEW SOLUTION FOUND: 3339132 @ 414.7 @ #Dec. 295589
c NEW SOLUTION FOUND: 3336764 @ 416.37 @ #Dec. 297656
c NEW SOLUTION FOUND: 3334396 @ 418.03 @ #Dec. 299325
c NEW SOLUTION FOUND: 3332028 @ 419.73 @ #Dec. 301444
c NEW SOLUTION FOUND: 3329660 @ 421.35 @ #Dec. 302333
c NEW SOLUTION FOUND: 3327292 @ 422.98 @ #Dec. 304025
c NEW SOLUTION FOUND: 3324924 @ 424.6 @ #Dec. 305340
c NEW SOLUTION FOUND: 3322556 @ 426.26 @ #Dec. 307425
c NEW SOLUTION FOUND: 3320188 @ 428.03 @ #Dec. 312840
c NEW SOLUTION FOUND: 3317820 @ 429.68 @ #Dec. 314224
c NEW SOLUTION FOUND: 3315452 @ 431.32 @ #Dec. 316867
c NEW SOLUTION FOUND: 3313084 @ 432.94 @ #Dec. 318264
c NEW SOLUTION FOUND: 3311900 @ 434.55 @ #Dec. 319712
c NEW SOLUTION FOUND: 3310716 @ 436.14 @ #Dec. 320695
c NEW SOLUTION FOUND: 3309532 @ 437.78 @ #Dec. 322489
c NEW SOLUTION FOUND: 3308348 @ 439.42 @ #Dec. 324266
c NEW SOLUTION FOUND: 3307164 @ 441.04 @ #Dec. 325222
c NEW SOLUTION FOUND: 3305980 @ 442.7 @ #Dec. 327418
c NEW SOLUTION FOUND: 3304796 @ 444.3 @ #Dec. 328761
c NEW SOLUTION FOUND: 3303612 @ 445.96 @ #Dec. 331446
c NEW SOLUTION FOUND: 3302428 @ 447.63 @ #Dec. 334519
c NEW SOLUTION FOUND: 3301244 @ 449.24 @ #Dec. 335862
c NEW SOLUTION FOUND: 3300060 @ 450.86 @ #Dec. 338060
c NEW SOLUTION FOUND: 3298876 @ 452.46 @ #Dec. 339421
c NEW SOLUTION FOUND: 3297692 @ 454.08 @ #Dec. 340859
c NEW SOLUTION FOUND: 3296508 @ 455.66 @ #Dec. 341842
c NEW SOLUTION FOUND: 3294140 @ 457.25 @ #Dec. 343215
c NEW SOLUTION FOUND: 3291772 @ 458.86 @ #Dec. 344588
c NEW SOLUTION FOUND: 3290588 @ 460.54 @ #Dec. 347703
c NEW SOLUTION FOUND: 3289404 @ 462.22 @ #Dec. 350442
c NEW SOLUTION FOUND: 3286460 @ 463.82 @ #Dec. 351408
c NEW SOLUTION FOUND: 3285276 @ 465.39 @ #Dec. 352363
c NEW SOLUTION FOUND: 3284092 @ 466.99 @ #Dec. 353748
c NEW SOLUTION FOUND: 3282908 @ 468.61 @ #Dec. 355553
c NEW SOLUTION FOUND: 3281724 @ 470.19 @ #Dec. 356498
c NEW SOLUTION FOUND: 3280540 @ 471.79 @ #Dec. 357871
c NEW SOLUTION FOUND: 3279356 @ 473.37 @ #Dec. 359260
c NEW SOLUTION FOUND: 3278172 @ 474.93 @ #Dec. 360215
c NEW SOLUTION FOUND: 3276988 @ 476.57 @ #Dec. 363328
c NEW SOLUTION FOUND: 3275804 @ 478.13 @ #Dec. 364288
c NEW SOLUTION FOUND: 3274620 @ 479.71 @ #Dec. 366137
c NEW SOLUTION FOUND: 3273436 @ 481.25 @ #Dec. 367553
c NEW SOLUTION FOUND: 3272252 @ 482.81 @ #Dec. 368957
c NEW SOLUTION FOUND: 3271068 @ 484.39 @ #Dec. 370843
c NEW SOLUTION FOUND: 3269884 @ 485.93 @ #Dec. 371826
c NEW SOLUTION FOUND: 3268700 @ 487.52 @ #Dec. 374191
c NEW SOLUTION FOUND: 3267516 @ 489.07 @ #Dec. 375181
c NEW SOLUTION FOUND: 3266332 @ 490.65 @ #Dec. 377482
c NEW SOLUTION FOUND: 3265148 @ 492.35 @ #Dec. 382199
c NEW SOLUTION FOUND: 3263964 @ 493.91 @ #Dec. 383587
c NEW SOLUTION FOUND: 3262780 @ 495.45 @ #Dec. 384954
c NEW SOLUTION FOUND: 3261596 @ 497.23 @ #Dec. 391580
c NEW SOLUTION FOUND: 3260412 @ 498.85 @ #Dec. 393923
c NEW SOLUTION FOUND: 3259228 @ 500.37 @ #Dec. 394871
c NEW SOLUTION FOUND: 3258044 @ 501.89 @ #Dec. 395847
c NEW SOLUTION FOUND: 3256860 @ 503.44 @ #Dec. 397736
c NEW SOLUTION FOUND: 3255676 @ 505.01 @ #Dec. 400079
c NEW SOLUTION FOUND: 3254492 @ 506.57 @ #Dec. 401979
c NEW SOLUTION FOUND: 3253900 @ 508.1 @ #Dec. 402982
c NEW SOLUTION FOUND: 3253468 @ 509.63 @ #Dec. 403997
c NEW SOLUTION FOUND: 3251100 @ 509.63 @ #Dec. 404011
c NEW SOLUTION FOUND: 3246364 @ 509.64 @ #Dec. 404027
c NEW SOLUTION FOUND: 3243996 @ 509.67 @ #Dec. 404491
c NEW SOLUTION FOUND: 3234092 @ 515.88 @ #Dec. 406786
c NEW SOLUTION FOUND: 3228924 @ 521.4 @ #Dec. 408636
c NEW SOLUTION FOUND: 3226556 @ 521.41 @ #Dec. 408657
c NEW SOLUTION FOUND: 3224188 @ 521.49 @ #Dec. 410484
c Restart #8 #Var: 1988 #Dec: 412530 LB: 0 @ 530.41
c Restart #9 #Var: 1987 #Dec: 494075 LB: 0 @ 547.14
c Restart #10 #Var: 1985 #Dec: 522026 LB: 0 @ 562.83
c Restart #11 #Var: 1985 #Dec: 533294 LB: 0 @ 595.99
c NEW SOLUTION FOUND: 3199257 @ 596.91 @ #Dec. 534959
c NEW SOLUTION FOUND: 3196889 @ 596.91 @ #Dec. 534959
c NEW SOLUTION FOUND: 3194521 @ 596.91 @ #Dec. 534961
c NEW SOLUTION FOUND: 3175705 @ 596.91 @ #Dec. 534965
c NEW SOLUTION FOUND: 3173337 @ 596.92 @ #Dec. 534982
c NEW SOLUTION FOUND: 3170969 @ 596.92 @ #Dec. 534997
c NEW SOLUTION FOUND: 3168601 @ 596.93 @ #Dec. 535020
c NEW SOLUTION FOUND: 3166233 @ 596.93 @ #Dec. 535052
c NEW SOLUTION FOUND: 3163865 @ 596.94 @ #Dec. 535118
c NEW SOLUTION FOUND: 3161497 @ 596.95 @ #Dec. 535149
c NEW SOLUTION FOUND: 3159129 @ 596.95 @ #Dec. 535182
c NEW SOLUTION FOUND: 3156761 @ 596.95 @ #Dec. 535216
c NEW SOLUTION FOUND: 3154393 @ 596.96 @ #Dec. 535265
c NEW SOLUTION FOUND: 3152025 @ 596.97 @ #Dec. 535391
c NEW SOLUTION FOUND: 3149657 @ 596.98 @ #Dec. 535430
c NEW SOLUTION FOUND: 3147289 @ 596.98 @ #Dec. 535474
c NEW SOLUTION FOUND: 3144921 @ 596.99 @ #Dec. 535534
c NEW SOLUTION FOUND: 3142553 @ 596.99 @ #Dec. 535581
c NEW SOLUTION FOUND: 3140185 @ 597 @ #Dec. 535625
c NEW SOLUTION FOUND: 3137817 @ 597 @ #Dec. 535676
c NEW SOLUTION FOUND: 3135449 @ 597.01 @ #Dec. 535740
c NEW SOLUTION FOUND: 3133081 @ 597.01 @ #Dec. 535798
c NEW SOLUTION FOUND: 3130713 @ 597.02 @ #Dec. 535908
c NEW SOLUTION FOUND: 3128345 @ 597.03 @ #Dec. 535965
c NEW SOLUTION FOUND: 3125977 @ 597.03 @ #Dec. 536051
c NEW SOLUTION FOUND: 3123609 @ 597.04 @ #Dec. 536099
c NEW SOLUTION FOUND: 3121241 @ 597.05 @ #Dec. 536327
c NEW SOLUTION FOUND: 3118873 @ 597.06 @ #Dec. 536408
c NEW SOLUTION FOUND: 3116505 @ 597.07 @ #Dec. 536735
c NEW SOLUTION FOUND: 3114137 @ 597.08 @ #Dec. 536900
c NEW SOLUTION FOUND: 3111769 @ 597.09 @ #Dec. 536969
c NEW SOLUTION FOUND: 3109401 @ 597.09 @ #Dec. 537037
c NEW SOLUTION FOUND: 3107033 @ 597.1 @ #Dec. 537257
c NEW SOLUTION FOUND: 3104665 @ 597.12 @ #Dec. 537577
c NEW SOLUTION FOUND: 3102297 @ 597.12 @ #Dec. 537666
c NEW SOLUTION FOUND: 3099929 @ 597.13 @ #Dec. 537838
c NEW SOLUTION FOUND: 2994457 @ 597.14 @ #Dec. 537969
c NEW SOLUTION FOUND: 2989721 @ 597.14 @ #Dec. 537996
c NEW SOLUTION FOUND: 2984985 @ 597.14 @ #Dec. 538068
c NEW SOLUTION FOUND: 2982617 @ 597.15 @ #Dec. 538166
c NEW SOLUTION FOUND: 2980249 @ 597.15 @ #Dec. 538262
c NEW SOLUTION FOUND: 2977881 @ 597.17 @ #Dec. 538414
c NEW SOLUTION FOUND: 2975513 @ 597.19 @ #Dec. 538736
c NEW SOLUTION FOUND: 2973145 @ 597.2 @ #Dec. 538903
c NEW SOLUTION FOUND: 2970777 @ 597.21 @ #Dec. 539020
c NEW SOLUTION FOUND: 2968409 @ 597.22 @ #Dec. 539207
c NEW SOLUTION FOUND: 2963737 @ 597.23 @ #Dec. 539340
c NEW SOLUTION FOUND: 2961369 @ 597.23 @ #Dec. 539452
c NEW SOLUTION FOUND: 2959001 @ 597.24 @ #Dec. 539597
c NEW SOLUTION FOUND: 2956633 @ 597.25 @ #Dec. 539725
c NEW SOLUTION FOUND: 2954265 @ 597.27 @ #Dec. 540010
c NEW SOLUTION FOUND: 2951897 @ 597.28 @ #Dec. 540283
c NEW SOLUTION FOUND: 2949529 @ 597.29 @ #Dec. 540594
c NEW SOLUTION FOUND: 2947161 @ 597.31 @ #Dec. 540965
c NEW SOLUTION FOUND: 2944793 @ 597.33 @ #Dec. 541155
c NEW SOLUTION FOUND: 2942425 @ 597.34 @ #Dec. 541400
c NEW SOLUTION FOUND: 2940057 @ 597.36 @ #Dec. 541730
c NEW SOLUTION FOUND: 2937689 @ 597.37 @ #Dec. 541892
c NEW SOLUTION FOUND: 2935321 @ 597.38 @ #Dec. 542100
c NEW SOLUTION FOUND: 2932953 @ 597.39 @ #Dec. 542364
c NEW SOLUTION FOUND: 2930585 @ 597.41 @ #Dec. 542572
c NEW SOLUTION FOUND: 2928217 @ 597.42 @ #Dec. 542857
c NEW SOLUTION FOUND: 2925849 @ 597.46 @ #Dec. 543187
c NEW SOLUTION FOUND: 2923481 @ 597.49 @ #Dec. 543546
c NEW SOLUTION FOUND: 2922297 @ 597.55 @ #Dec. 543996
c NEW SOLUTION FOUND: 2921113 @ 597.56 @ #Dec. 544356
c NEW SOLUTION FOUND: 2920521 @ 597.81 @ #Dec. 545203
c NEW SOLUTION FOUND: 2920299 @ 598.91 @ #Dec. 547726
c NEW SOLUTION FOUND: 2919781 @ 599.47 @ #Dec. 548835
c NEW SOLUTION FOUND: 2919559 @ 599.5 @ #Dec. 549326
c NEW SOLUTION FOUND: 2918819 @ 600.4 @ #Dec. 552640
c NEW SOLUTION FOUND: 2918301 @ 602.26 @ #Dec. 557761
c NEW SOLUTION FOUND: 2918079 @ 602.3 @ #Dec. 558773
c Restart #12 #Var: 1985 #Dec: 563426 LB: 0 @ 605.12
c Restart #13 #Var: 1985 #Dec: 571758 LB: 0 @ 638.47
c NEW SOLUTION FOUND: 2917008 @ 645.62 @ #Dec. 591836
c NEW SOLUTION FOUND: 2915824 @ 645.9 @ #Dec. 600164
c NEW SOLUTION FOUND: 2910656 @ 645.94 @ #Dec. 601205
c NEW SOLUTION FOUND: 2908288 @ 645.94 @ #Dec. 601239
c NEW SOLUTION FOUND: 2907104 @ 646.03 @ #Dec. 604109
c NEW SOLUTION FOUND: 2905920 @ 646.09 @ #Dec. 606063
c NEW SOLUTION FOUND: 2900752 @ 646.13 @ #Dec. 607087
c NEW SOLUTION FOUND: 2899568 @ 646.13 @ #Dec. 607093
c NEW SOLUTION FOUND: 2898384 @ 646.14 @ #Dec. 607143
c NEW SOLUTION FOUND: 2896016 @ 646.2 @ #Dec. 609094
c NEW SOLUTION FOUND: 2886112 @ 646.23 @ #Dec. 610109
c NEW SOLUTION FOUND: 2876208 @ 646.27 @ #Dec. 611171
c NEW SOLUTION FOUND: 2866304 @ 646.32 @ #Dec. 612227
c NEW SOLUTION FOUND: 2856400 @ 646.36 @ #Dec. 613207
c NEW SOLUTION FOUND: 2846496 @ 646.45 @ #Dec. 614340
c NEW SOLUTION FOUND: 2838960 @ 646.49 @ #Dec. 615346
c NEW SOLUTION FOUND: 2836592 @ 646.51 @ #Dec. 616317
c NEW SOLUTION FOUND: 2826688 @ 646.55 @ #Dec. 617345
c NEW SOLUTION FOUND: 2816784 @ 646.58 @ #Dec. 618394
c NEW SOLUTION FOUND: 2806880 @ 646.61 @ #Dec. 619432
c NEW SOLUTION FOUND: 2796976 @ 646.66 @ #Dec. 620519
c NEW SOLUTION FOUND: 2787072 @ 646.7 @ #Dec. 621551
c NEW SOLUTION FOUND: 2777168 @ 646.74 @ #Dec. 622564
c NEW SOLUTION FOUND: 2774584 @ 646.87 @ #Dec. 624445
c NEW SOLUTION FOUND: 2772216 @ 646.9 @ #Dec. 625338
c NEW SOLUTION FOUND: 2770978 @ 646.94 @ #Dec. 626563
c NEW SOLUTION FOUND: 2761074 @ 647 @ #Dec. 627899
c NEW SOLUTION FOUND: 2751170 @ 647.04 @ #Dec. 629205
c NEW SOLUTION FOUND: 2741266 @ 647.15 @ #Dec. 630619
c NEW SOLUTION FOUND: 2736314 @ 647.39 @ #Dec. 632099
c NEW SOLUTION FOUND: 2726410 @ 647.47 @ #Dec. 633406
c NEW SOLUTION FOUND: 2721458 @ 647.66 @ #Dec. 634914
c NEW SOLUTION FOUND: 2721404 @ 648.5 @ #Dec. 637117
c NEW SOLUTION FOUND: 2720220 @ 648.53 @ #Dec. 638371
c NEW SOLUTION FOUND: 2720166 @ 649.49 @ #Dec. 641197
c NEW SOLUTION FOUND: 2718982 @ 649.61 @ #Dec. 644782
c NEW SOLUTION FOUND: 2717690 @ 650.05 @ #Dec. 647075
c NEW SOLUTION FOUND: 2716506 @ 650.09 @ #Dec. 648284
c NEW SOLUTION FOUND: 2715268 @ 650.22 @ #Dec. 651926
c NEW SOLUTION FOUND: 2714030 @ 650.35 @ #Dec. 653449
c NEW SOLUTION FOUND: 2712792 @ 651.58 @ #Dec. 656588
c NEW SOLUTION FOUND: 2710046 @ 652.78 @ #Dec. 659905
c NEW SOLUTION FOUND: 2707678 @ 652.78 @ #Dec. 659981
c NEW SOLUTION FOUND: 2705310 @ 652.79 @ #Dec. 660082
c NEW SOLUTION FOUND: 2704126 @ 652.88 @ #Dec. 662482
c NEW SOLUTION FOUND: 2704072 @ 653.29 @ #Dec. 664952
c NEW SOLUTION FOUND: 2702888 @ 653.35 @ #Dec. 667347
c NEW SOLUTION FOUND: 2702834 @ 654.04 @ #Dec. 669817
c NEW SOLUTION FOUND: 2701650 @ 654.12 @ #Dec. 672259
c NEW SOLUTION FOUND: 2697828 @ 654.16 @ #Dec. 673558
c NEW SOLUTION FOUND: 2695460 @ 654.2 @ #Dec. 674803
c NEW SOLUTION FOUND: 2690508 @ 654.28 @ #Dec. 676242
c NEW SOLUTION FOUND: 2689270 @ 654.32 @ #Dec. 677462
c NEW SOLUTION FOUND: 2683080 @ 654.47 @ #Dec. 679095
c NEW SOLUTION FOUND: 2681518 @ 659.49 @ #Dec. 686485
c NEW SOLUTION FOUND: 2679150 @ 659.5 @ #Dec. 686571
c NEW SOLUTION FOUND: 2676782 @ 659.5 @ #Dec. 686649
c NEW SOLUTION FOUND: 2674414 @ 659.64 @ #Dec. 691469
c NEW SOLUTION FOUND: 2673176 @ 660.44 @ #Dec. 693936
c NEW SOLUTION FOUND: 2671776 @ 666.7 @ #Dec. 702008
c NEW SOLUTION FOUND: 2670592 @ 666.7 @ #Dec. 702077
c NEW SOLUTION FOUND: 2669408 @ 666.71 @ #Dec. 702143
c NEW SOLUTION FOUND: 2668224 @ 667.13 @ #Dec. 715066
c Restart #14 #Var: 1984 #Dec: 722754 LB: 0 @ 675.49
c Restart #15 #Var: 1984 #Dec: 737361 LB: 0 @ 698.86
c Restart #16 #Var: 1984 #Dec: 743410 LB: 0 @ 705.35
c Restart #17 #Var: 1984 #Dec: 759556 LB: 0 @ 712.31
c CHANGE to MIS mode... 	UB: 2668224	MIS: 0	LPR: -2147483648 (0)	Diff: -0
c Restart #0 #Var: 1984 #Dec: 776257 LB: 0 @ 786.96
c Restart #1 #Var: 1984 #Dec: 776817 LB: 0 @ 789.57
c Restart #2 #Var: 1983 #Dec: 778082 LB: 0 @ 795.75
c Restart #3 #Var: 1982 #Dec: 778966 LB: 0 @ 801.45
c NEW SOLUTION FOUND: 2632132 @ 803.13 @ #Dec. 781113
c NEW SOLUTION FOUND: 2631614 @ 803.14 @ #Dec. 781113
c NEW SOLUTION FOUND: 2630430 @ 803.14 @ #Dec. 781114
c NEW SOLUTION FOUND: 2630393 @ 803.15 @ #Dec. 781116
c NEW SOLUTION FOUND: 2629727 @ 803.15 @ #Dec. 781119
c NEW SOLUTION FOUND: 2629209 @ 803.15 @ #Dec. 781119
c NEW SOLUTION FOUND: 2628543 @ 803.16 @ #Dec. 781123
c NEW SOLUTION FOUND: 2628025 @ 803.16 @ #Dec. 781123
c NEW SOLUTION FOUND: 2627433 @ 803.16 @ #Dec. 781127
c NEW SOLUTION FOUND: 2627285 @ 803.17 @ #Dec. 781132
c NEW SOLUTION FOUND: 2626693 @ 803.17 @ #Dec. 781138
c NEW SOLUTION FOUND: 2626397 @ 803.18 @ #Dec. 781145
c NEW SOLUTION FOUND: 2626101 @ 803.19 @ #Dec. 781152
c NEW SOLUTION FOUND: 2626027 @ 803.2 @ #Dec. 781160
c NEW SOLUTION FOUND: 2625990 @ 803.2 @ #Dec. 781169
c NEW SOLUTION FOUND: 2625398 @ 803.2 @ #Dec. 781179
c NEW SOLUTION FOUND: 2624732 @ 803.21 @ #Dec. 781189
c NEW SOLUTION FOUND: 2624214 @ 803.21 @ #Dec. 781189
c NEW SOLUTION FOUND: 2624140 @ 803.22 @ #Dec. 781200
c NEW SOLUTION FOUND: 2623622 @ 803.22 @ #Dec. 781200
c NEW SOLUTION FOUND: 2623030 @ 803.22 @ #Dec. 781212
c NEW SOLUTION FOUND: 2622438 @ 803.23 @ #Dec. 781225
c NEW SOLUTION FOUND: 2621772 @ 803.24 @ #Dec. 781238
c NEW SOLUTION FOUND: 2621254 @ 803.24 @ #Dec. 781238
c NEW SOLUTION FOUND: 2620958 @ 803.24 @ #Dec. 781252
c NEW SOLUTION FOUND: 2620662 @ 803.25 @ #Dec. 781266
c NEW SOLUTION FOUND: 2619996 @ 803.25 @ #Dec. 781281
c NEW SOLUTION FOUND: 2619478 @ 803.26 @ #Dec. 781281
c NEW SOLUTION FOUND: 2618886 @ 803.26 @ #Dec. 781297
c NEW SOLUTION FOUND: 2617702 @ 803.26 @ #Dec. 781314
c NEW SOLUTION FOUND: 2617665 @ 803.27 @ #Dec. 781331
c NEW SOLUTION FOUND: 2617591 @ 803.28 @ #Dec. 781350
c NEW SOLUTION FOUND: 2617517 @ 803.29 @ #Dec. 781369
c NEW SOLUTION FOUND: 2616851 @ 803.29 @ #Dec. 781389
c NEW SOLUTION FOUND: 2616333 @ 803.29 @ #Dec. 781389
c NEW SOLUTION FOUND: 2616037 @ 803.3 @ #Dec. 781410
c NEW SOLUTION FOUND: 2615889 @ 803.3 @ #Dec. 781432
c NEW SOLUTION FOUND: 2615223 @ 803.31 @ #Dec. 781454
c NEW SOLUTION FOUND: 2614705 @ 803.31 @ #Dec. 781454
c NEW SOLUTION FOUND: 2614668 @ 803.32 @ #Dec. 781477
c NEW SOLUTION FOUND: 2609932 @ 803.33 @ #Dec. 781501
c NEW SOLUTION FOUND: 2609340 @ 803.33 @ #Dec. 781526
c NEW SOLUTION FOUND: 2609266 @ 803.34 @ #Dec. 781551
c NEW SOLUTION FOUND: 2608748 @ 803.34 @ #Dec. 781551
c NEW SOLUTION FOUND: 2608674 @ 803.35 @ #Dec. 781577
c NEW SOLUTION FOUND: 2608600 @ 803.35 @ #Dec. 781604
c NEW SOLUTION FOUND: 2608452 @ 803.36 @ #Dec. 781632
c NEW SOLUTION FOUND: 2608378 @ 803.36 @ #Dec. 781660
c NEW SOLUTION FOUND: 2607786 @ 803.37 @ #Dec. 781689
c NEW SOLUTION FOUND: 2607638 @ 803.38 @ #Dec. 781719
c NEW SOLUTION FOUND: 2606972 @ 803.39 @ #Dec. 781750
c NEW SOLUTION FOUND: 2606454 @ 803.39 @ #Dec. 781750
c NEW SOLUTION FOUND: 2606417 @ 803.4 @ #Dec. 781781
c NEW SOLUTION FOUND: 2606343 @ 803.41 @ #Dec. 781813
c NEW SOLUTION FOUND: 2606306 @ 803.42 @ #Dec. 781845
c NEW SOLUTION FOUND: 2606232 @ 803.43 @ #Dec. 781878
c NEW SOLUTION FOUND: 2605714 @ 803.43 @ #Dec. 781878
c NEW SOLUTION FOUND: 2605122 @ 803.44 @ #Dec. 781911
c NEW SOLUTION FOUND: 2604826 @ 803.45 @ #Dec. 781945
c NEW SOLUTION FOUND: 2604234 @ 803.46 @ #Dec. 781979
c NEW SOLUTION FOUND: 2602384 @ 803.47 @ #Dec. 782014
c NEW SOLUTION FOUND: 2601866 @ 803.47 @ #Dec. 782014
c NEW SOLUTION FOUND: 2601829 @ 803.47 @ #Dec. 782049
c NEW SOLUTION FOUND: 2601792 @ 803.49 @ #Dec. 782085
c NEW SOLUTION FOUND: 2601496 @ 803.49 @ #Dec. 782121
c NEW SOLUTION FOUND: 2601459 @ 803.5 @ #Dec. 782157
c NEW SOLUTION FOUND: 2599091 @ 803.51 @ #Dec. 782194
c NEW SOLUTION FOUND: 2597241 @ 803.52 @ #Dec. 782231
c NEW SOLUTION FOUND: 2596723 @ 803.52 @ #Dec. 782231
c NEW SOLUTION FOUND: 2596686 @ 803.53 @ #Dec. 782269
c NEW SOLUTION FOUND: 2596020 @ 803.54 @ #Dec. 782307
c NEW SOLUTION FOUND: 2595502 @ 803.54 @ #Dec. 782307
c NEW SOLUTION FOUND: 2595354 @ 803.55 @ #Dec. 782346
c NEW SOLUTION FOUND: 2595206 @ 803.56 @ #Dec. 782383
c NEW SOLUTION FOUND: 2595169 @ 803.57 @ #Dec. 782442
c NEW SOLUTION FOUND: 2595021 @ 803.58 @ #Dec. 782481
c NEW SOLUTION FOUND: 2594873 @ 803.58 @ #Dec. 782519
c NEW SOLUTION FOUND: 2594799 @ 803.59 @ #Dec. 782558
c NEW SOLUTION FOUND: 2594281 @ 803.59 @ #Dec. 782558
c NEW SOLUTION FOUND: 2594133 @ 803.6 @ #Dec. 782598
c NEW SOLUTION FOUND: 2593985 @ 803.61 @ #Dec. 782636
c NEW SOLUTION FOUND: 2593837 @ 803.61 @ #Dec. 782697
c NEW SOLUTION FOUND: 2593541 @ 803.62 @ #Dec. 782737
c NEW SOLUTION FOUND: 2593504 @ 803.63 @ #Dec. 782800
c NEW SOLUTION FOUND: 2592986 @ 803.63 @ #Dec. 782842
c NEW SOLUTION FOUND: 2592468 @ 803.64 @ #Dec. 782842
c NEW SOLUTION FOUND: 2592320 @ 803.64 @ #Dec. 782882
c NEW SOLUTION FOUND: 2592283 @ 803.65 @ #Dec. 782947
c NEW SOLUTION FOUND: 2592135 @ 803.66 @ #Dec. 783013
c NEW SOLUTION FOUND: 2591987 @ 803.67 @ #Dec. 783081
c NEW SOLUTION FOUND: 2591913 @ 803.68 @ #Dec. 783149
c NEW SOLUTION FOUND: 2591765 @ 803.69 @ #Dec. 783219
c NEW SOLUTION FOUND: 2589545 @ 803.7 @ #Dec. 783263
c NEW SOLUTION FOUND: 2589397 @ 803.71 @ #Dec. 783306
c NEW SOLUTION FOUND: 2589249 @ 803.72 @ #Dec. 783377
c NEW SOLUTION FOUND: 2589212 @ 803.73 @ #Dec. 783450
c NEW SOLUTION FOUND: 2589175 @ 803.74 @ #Dec. 783524
c NEW SOLUTION FOUND: 2588731 @ 803.75 @ #Dec. 783570
c NEW SOLUTION FOUND: 2588583 @ 803.75 @ #Dec. 783614
c NEW SOLUTION FOUND: 2586733 @ 803.76 @ #Dec. 783660
c NEW SOLUTION FOUND: 2586215 @ 803.76 @ #Dec. 783660
c NEW SOLUTION FOUND: 2586141 @ 803.77 @ #Dec. 783736
c NEW SOLUTION FOUND: 2585993 @ 803.79 @ #Dec. 783814
c NEW SOLUTION FOUND: 2585919 @ 803.79 @ #Dec. 783893
c NEW SOLUTION FOUND: 2585771 @ 803.81 @ #Dec. 783973
c NEW SOLUTION FOUND: 2585697 @ 803.82 @ #Dec. 784054
c NEW SOLUTION FOUND: 2585253 @ 803.83 @ #Dec. 784103
c NEW SOLUTION FOUND: 2585105 @ 803.83 @ #Dec. 784150
c NEW SOLUTION FOUND: 2585031 @ 803.84 @ #Dec. 784233
c NEW SOLUTION FOUND: 2584883 @ 803.85 @ #Dec. 784317
c NEW SOLUTION FOUND: 2584217 @ 803.85 @ #Dec. 784367
c NEW SOLUTION FOUND: 2583699 @ 803.86 @ #Dec. 784367
c NEW SOLUTION FOUND: 2583662 @ 803.87 @ #Dec. 784454
c NEW SOLUTION FOUND: 2581960 @ 803.88 @ #Dec. 784506
c NEW SOLUTION FOUND: 2581442 @ 803.88 @ #Dec. 784506
c NEW SOLUTION FOUND: 2581294 @ 803.88 @ #Dec. 784556
c NEW SOLUTION FOUND: 2581146 @ 803.9 @ #Dec. 784645
c NEW SOLUTION FOUND: 2580702 @ 803.9 @ #Dec. 784698
c NEW SOLUTION FOUND: 2580554 @ 803.91 @ #Dec. 784749
c NEW SOLUTION FOUND: 2580406 @ 803.92 @ #Dec. 784802
c NEW SOLUTION FOUND: 2580258 @ 803.92 @ #Dec. 784854
c NEW SOLUTION FOUND: 2580184 @ 803.93 @ #Dec. 784907
c NEW SOLUTION FOUND: 2580036 @ 803.95 @ #Dec. 785001
c NEW SOLUTION FOUND: 2579999 @ 803.96 @ #Dec. 785096
c NEW SOLUTION FOUND: 2579925 @ 803.97 @ #Dec. 785192
c NEW SOLUTION FOUND: 2579777 @ 803.98 @ #Dec. 785290
c NEW SOLUTION FOUND: 2579629 @ 803.99 @ #Dec. 785389
c NEW SOLUTION FOUND: 2579185 @ 804 @ #Dec. 785447
c NEW SOLUTION FOUND: 2579037 @ 804 @ #Dec. 785504
c NEW SOLUTION FOUND: 2578963 @ 804.01 @ #Dec. 785606
c NEW SOLUTION FOUND: 2578815 @ 804.02 @ #Dec. 785709
c NEW SOLUTION FOUND: 2578723 @ 804.03 @ #Dec. 785814
c NEW SOLUTION FOUND: 2578205 @ 804.04 @ #Dec. 785875
c NEW SOLUTION FOUND: 2577687 @ 804.04 @ #Dec. 785875
c NEW SOLUTION FOUND: 2577539 @ 804.05 @ #Dec. 785935
c NEW SOLUTION FOUND: 2576873 @ 804.06 @ #Dec. 785997
c NEW SOLUTION FOUND: 2576355 @ 804.06 @ #Dec. 785997
c NEW SOLUTION FOUND: 2576207 @ 804.07 @ #Dec. 786059
c NEW SOLUTION FOUND: 2576059 @ 804.08 @ #Dec. 786120
c NEW SOLUTION FOUND: 2574875 @ 804.08 @ #Dec. 786183
c NEW SOLUTION FOUND: 2574838 @ 804.1 @ #Dec. 786294
c NEW SOLUTION FOUND: 2574801 @ 804.11 @ #Dec. 786407
c NEW SOLUTION FOUND: 2574653 @ 804.12 @ #Dec. 786472
c NEW SOLUTION FOUND: 2574505 @ 804.12 @ #Dec. 786536
c NEW SOLUTION FOUND: 2574061 @ 804.13 @ #Dec. 786602
c NEW SOLUTION FOUND: 2573913 @ 804.14 @ #Dec. 786667
c NEW SOLUTION FOUND: 2573839 @ 804.14 @ #Dec. 786734
c NEW SOLUTION FOUND: 2573321 @ 804.15 @ #Dec. 786734
c NEW SOLUTION FOUND: 2573284 @ 804.16 @ #Dec. 786895
c NEW SOLUTION FOUND: 2573136 @ 804.18 @ #Dec. 787057
c NEW SOLUTION FOUND: 2573062 @ 804.2 @ #Dec. 787222
c NEW SOLUTION FOUND: 2572988 @ 804.21 @ #Dec. 787390
c NEW SOLUTION FOUND: 2572914 @ 804.22 @ #Dec. 787446
c NEW SOLUTION FOUND: 2572840 @ 804.23 @ #Dec. 787517
c NEW SOLUTION FOUND: 2572692 @ 804.24 @ #Dec. 787587
c NEW SOLUTION FOUND: 2572544 @ 804.25 @ #Dec. 787706
c NEW SOLUTION FOUND: 2571730 @ 804.25 @ #Dec. 787763
c NEW SOLUTION FOUND: 2571582 @ 804.26 @ #Dec. 787763
c NEW SOLUTION FOUND: 2571508 @ 804.27 @ #Dec. 787836
c NEW SOLUTION FOUND: 2571360 @ 804.27 @ #Dec. 787907
c NEW SOLUTION FOUND: 2570546 @ 804.28 @ #Dec. 787964
c NEW SOLUTION FOUND: 2570398 @ 804.28 @ #Dec. 787964
c NEW SOLUTION FOUND: 2570176 @ 804.29 @ #Dec. 788037
c NEW SOLUTION FOUND: 2570102 @ 804.3 @ #Dec. 788094
c NEW SOLUTION FOUND: 2570028 @ 804.3 @ #Dec. 788168
c NEW SOLUTION FOUND: 2569880 @ 804.32 @ #Dec. 788240
c NEW SOLUTION FOUND: 2569510 @ 804.32 @ #Dec. 788297
c NEW SOLUTION FOUND: 2569436 @ 804.33 @ #Dec. 788371
c NEW SOLUTION FOUND: 2569288 @ 804.34 @ #Dec. 788444
c NEW SOLUTION FOUND: 2568918 @ 804.34 @ #Dec. 788500
c NEW SOLUTION FOUND: 2568844 @ 804.35 @ #Dec. 788574
c NEW SOLUTION FOUND: 2568696 @ 804.36 @ #Dec. 788647
c NEW SOLUTION FOUND: 2568622 @ 804.37 @ #Dec. 788772
c NEW SOLUTION FOUND: 2568400 @ 804.38 @ #Dec. 788829
c NEW SOLUTION FOUND: 2568252 @ 804.38 @ #Dec. 788829
c NEW SOLUTION FOUND: 2568178 @ 804.39 @ #Dec. 788904
c NEW SOLUTION FOUND: 2568030 @ 804.4 @ #Dec. 788978
c NEW SOLUTION FOUND: 2567993 @ 804.41 @ #Dec. 789103
c NEW SOLUTION FOUND: 2567919 @ 804.42 @ #Dec. 789160
c NEW SOLUTION FOUND: 2567845 @ 804.43 @ #Dec. 789236
c NEW SOLUTION FOUND: 2567697 @ 804.44 @ #Dec. 789311
c NEW SOLUTION FOUND: 2567623 @ 804.45 @ #Dec. 789439
c NEW SOLUTION FOUND: 2567586 @ 804.47 @ #Dec. 789622
c NEW SOLUTION FOUND: 2567512 @ 804.47 @ #Dec. 789679
c NEW SOLUTION FOUND: 2567438 @ 804.48 @ #Dec. 789756
c NEW SOLUTION FOUND: 2567290 @ 804.49 @ #Dec. 789831
c NEW SOLUTION FOUND: 2567253 @ 804.5 @ #Dec. 789960
c NEW SOLUTION FOUND: 2567031 @ 804.51 @ #Dec. 790018
c NEW SOLUTION FOUND: 2566883 @ 804.52 @ #Dec. 790018
c NEW SOLUTION FOUND: 2566661 @ 804.52 @ #Dec. 790094
c NEW SOLUTION FOUND: 2566439 @ 804.53 @ #Dec. 790151
c NEW SOLUTION FOUND: 2566291 @ 804.54 @ #Dec. 790151
c NEW SOLUTION FOUND: 2566069 @ 804.54 @ #Dec. 790227
c NEW SOLUTION FOUND: 2565995 @ 804.56 @ #Dec. 790356
c NEW SOLUTION FOUND: 2565773 @ 804.57 @ #Dec. 790413
c NEW SOLUTION FOUND: 2565625 @ 804.57 @ #Dec. 790413
c NEW SOLUTION FOUND: 2565403 @ 804.57 @ #Dec. 790488
c NEW SOLUTION FOUND: 2565329 @ 804.6 @ #Dec. 790722
c NEW SOLUTION FOUND: 2565255 @ 804.6 @ #Dec. 790795
c NEW SOLUTION FOUND: 2565218 @ 804.62 @ #Dec. 790929
c NEW SOLUTION FOUND: 2565033 @ 804.62 @ #Dec. 790985
c NEW SOLUTION FOUND: 2564885 @ 804.63 @ #Dec. 791015
c NEW SOLUTION FOUND: 2564811 @ 804.63 @ #Dec. 791043
c NEW SOLUTION FOUND: 2564737 @ 804.64 @ #Dec. 791170
c NEW SOLUTION FOUND: 2564663 @ 804.65 @ #Dec. 791242
c NEW SOLUTION FOUND: 2564626 @ 804.66 @ #Dec. 791373
c NEW SOLUTION FOUND: 2564589 @ 804.67 @ #Dec. 791460
c NEW SOLUTION FOUND: 2564515 @ 804.67 @ #Dec. 791490
c NEW SOLUTION FOUND: 2564441 @ 804.69 @ #Dec. 791616
c NEW SOLUTION FOUND: 2564367 @ 804.69 @ #Dec. 791687
c NEW SOLUTION FOUND: 2564330 @ 804.71 @ #Dec. 791817
c NEW SOLUTION FOUND: 2564293 @ 804.71 @ #Dec. 791904
c NEW SOLUTION FOUND: 2564219 @ 804.72 @ #Dec. 791935
c NEW SOLUTION FOUND: 2564145 @ 804.73 @ #Dec. 792060
c NEW SOLUTION FOUND: 2564071 @ 804.74 @ #Dec. 792130
c NEW SOLUTION FOUND: 2564034 @ 804.75 @ #Dec. 792259
c NEW SOLUTION FOUND: 2563853 @ 804.76 @ #Dec. 792314
c NEW SOLUTION FOUND: 2563705 @ 804.76 @ #Dec. 792348
c NEW SOLUTION FOUND: 2563631 @ 804.76 @ #Dec. 792381
c NEW SOLUTION FOUND: 2563557 @ 804.78 @ #Dec. 792504
c NEW SOLUTION FOUND: 2563483 @ 804.78 @ #Dec. 792572
c NEW SOLUTION FOUND: 2563446 @ 804.8 @ #Dec. 792701
c NEW SOLUTION FOUND: 2563409 @ 804.81 @ #Dec. 792888
c NEW SOLUTION FOUND: 2562632 @ 804.82 @ #Dec. 792944
c NEW SOLUTION FOUND: 2562484 @ 804.83 @ #Dec. 792979
c NEW SOLUTION FOUND: 2562410 @ 804.83 @ #Dec. 793013
c NEW SOLUTION FOUND: 2562336 @ 804.84 @ #Dec. 793135
c NEW SOLUTION FOUND: 2562262 @ 804.85 @ #Dec. 793202
c NEW SOLUTION FOUND: 2562225 @ 804.86 @ #Dec. 793330
c NEW SOLUTION FOUND: 2562114 @ 804.87 @ #Dec. 793396
c NEW SOLUTION FOUND: 2561966 @ 804.87 @ #Dec. 793434
c NEW SOLUTION FOUND: 2561892 @ 804.87 @ #Dec. 793471
c NEW SOLUTION FOUND: 2561818 @ 804.88 @ #Dec. 793590
c NEW SOLUTION FOUND: 2561744 @ 804.89 @ #Dec. 793656
c NEW SOLUTION FOUND: 2561707 @ 804.9 @ #Dec. 793781
c NEW SOLUTION FOUND: 2561670 @ 804.92 @ #Dec. 793967
c NEW SOLUTION FOUND: 2561633 @ 804.95 @ #Dec. 794190
c NEW SOLUTION FOUND: 2561596 @ 804.96 @ #Dec. 794314
c NEW SOLUTION FOUND: 2561411 @ 804.97 @ #Dec. 794381
c NEW SOLUTION FOUND: 2561263 @ 804.97 @ #Dec. 794422
c NEW SOLUTION FOUND: 2561189 @ 804.98 @ #Dec. 794462
c NEW SOLUTION FOUND: 2561115 @ 804.99 @ #Dec. 794579
c NEW SOLUTION FOUND: 2561041 @ 805 @ #Dec. 794643
c NEW SOLUTION FOUND: 2561004 @ 805 @ #Dec. 794764
c NEW SOLUTION FOUND: 2560967 @ 805.03 @ #Dec. 794941
c NEW SOLUTION FOUND: 2560190 @ 805.04 @ #Dec. 795008
c NEW SOLUTION FOUND: 2560042 @ 805.04 @ #Dec. 795051
c NEW SOLUTION FOUND: 2559968 @ 805.05 @ #Dec. 795092
c NEW SOLUTION FOUND: 2559894 @ 805.06 @ #Dec. 795208
c NEW SOLUTION FOUND: 2559820 @ 805.07 @ #Dec. 795272
c NEW SOLUTION FOUND: 2559783 @ 805.08 @ #Dec. 795392
c NEW SOLUTION FOUND: 2559746 @ 805.1 @ #Dec. 795567
c NEW SOLUTION FOUND: 2559709 @ 805.12 @ #Dec. 795679
c NEW SOLUTION FOUND: 2559635 @ 805.13 @ #Dec. 795721
c NEW SOLUTION FOUND: 2559561 @ 805.14 @ #Dec. 795833
c NEW SOLUTION FOUND: 2559487 @ 805.14 @ #Dec. 795894
c NEW SOLUTION FOUND: 2559450 @ 805.15 @ #Dec. 796010
c NEW SOLUTION FOUND: 2558673 @ 805.17 @ #Dec. 796077
c NEW SOLUTION FOUND: 2558525 @ 805.17 @ #Dec. 796123
c NEW SOLUTION FOUND: 2558451 @ 805.17 @ #Dec. 796167
c NEW SOLUTION FOUND: 2558377 @ 805.18 @ #Dec. 796275
c NEW SOLUTION FOUND: 2558303 @ 805.19 @ #Dec. 796334
c NEW SOLUTION FOUND: 2558266 @ 805.2 @ #Dec. 796444
c NEW SOLUTION FOUND: 2558155 @ 805.22 @ #Dec. 796553
c NEW SOLUTION FOUND: 2558007 @ 805.23 @ #Dec. 796658
c NEW SOLUTION FOUND: 2557970 @ 805.24 @ #Dec. 796766
c NEW SOLUTION FOUND: 2557785 @ 805.26 @ #Dec. 796830
c NEW SOLUTION FOUND: 2557563 @ 805.26 @ #Dec. 796875
c NEW SOLUTION FOUND: 2557415 @ 805.27 @ #Dec. 796979
c NEW SOLUTION FOUND: 2557378 @ 805.28 @ #Dec. 797086
c NEW SOLUTION FOUND: 2556313 @ 805.3 @ #Dec. 797151
c NEW SOLUTION FOUND: 2556091 @ 805.3 @ #Dec. 797195
c NEW SOLUTION FOUND: 2555943 @ 805.31 @ #Dec. 797297
c NEW SOLUTION FOUND: 2555906 @ 805.32 @ #Dec. 797401
c NEW SOLUTION FOUND: 2555832 @ 805.34 @ #Dec. 797614
c NEW SOLUTION FOUND: 2555684 @ 805.36 @ #Dec. 797830
c NEW SOLUTION FOUND: 2555647 @ 805.38 @ #Dec. 798051
c NEW SOLUTION FOUND: 2555610 @ 805.43 @ #Dec. 798533
c NEW SOLUTION FOUND: 2555462 @ 805.44 @ #Dec. 798549
c NEW SOLUTION FOUND: 2555240 @ 805.45 @ #Dec. 798702
c NEW SOLUTION FOUND: 2555203 @ 805.47 @ #Dec. 798898
c NEW SOLUTION FOUND: 2555092 @ 805.48 @ #Dec. 799011
c NEW SOLUTION FOUND: 2555055 @ 805.5 @ #Dec. 799272
c NEW SOLUTION FOUND: 2555018 @ 805.53 @ #Dec. 799533
c NEW SOLUTION FOUND: 2554907 @ 805.57 @ #Dec. 799861
c NEW SOLUTION FOUND: 2554870 @ 805.59 @ #Dec. 800154
c NEW SOLUTION FOUND: 2554759 @ 805.69 @ #Dec. 801019
c NEW SOLUTION FOUND: 2554722 @ 805.72 @ #Dec. 801331
c NEW SOLUTION FOUND: 2554611 @ 805.72 @ #Dec. 801466
c NEW SOLUTION FOUND: 2554574 @ 805.74 @ #Dec. 801788
c NEW SOLUTION FOUND: 2554502 @ 805.82 @ #Dec. 802566
c NEW SOLUTION FOUND: 2554465 @ 805.85 @ #Dec. 802867
c NEW SOLUTION FOUND: 2554354 @ 805.86 @ #Dec. 803005
c NEW SOLUTION FOUND: 2554317 @ 805.88 @ #Dec. 803330
c NEW SOLUTION FOUND: 2554280 @ 805.91 @ #Dec. 803745
c NEW SOLUTION FOUND: 2554243 @ 806.02 @ #Dec. 804765
c NEW SOLUTION FOUND: 2554169 @ 806.07 @ #Dec. 805153
c NEW SOLUTION FOUND: 2554132 @ 806.09 @ #Dec. 805440
c NEW SOLUTION FOUND: 2554095 @ 806.12 @ #Dec. 805829
c NEW SOLUTION FOUND: 2554021 @ 806.16 @ #Dec. 806171
c NEW SOLUTION FOUND: 2553984 @ 806.18 @ #Dec. 806436
c NEW SOLUTION FOUND: 2553947 @ 806.29 @ #Dec. 807143
c NEW SOLUTION FOUND: 2553836 @ 806.31 @ #Dec. 807360
c NEW SOLUTION FOUND: 2553725 @ 806.32 @ #Dec. 807503
c NEW SOLUTION FOUND: 2553688 @ 806.34 @ #Dec. 807703
c NEW SOLUTION FOUND: 2553577 @ 806.34 @ #Dec. 807847
c NEW SOLUTION FOUND: 2553540 @ 806.37 @ #Dec. 808088
c NEW SOLUTION FOUND: 2553503 @ 806.41 @ #Dec. 808451
c NEW SOLUTION FOUND: 2553392 @ 806.45 @ #Dec. 808742
c NEW SOLUTION FOUND: 2553355 @ 806.47 @ #Dec. 808986
c NEW SOLUTION FOUND: 2553318 @ 806.52 @ #Dec. 809354
c NEW SOLUTION FOUND: 2553207 @ 806.56 @ #Dec. 809637
c NEW SOLUTION FOUND: 2553096 @ 806.57 @ #Dec. 809784
c NEW SOLUTION FOUND: 2553059 @ 806.59 @ #Dec. 809983
c NEW SOLUTION FOUND: 2552948 @ 806.6 @ #Dec. 810132
c NEW SOLUTION FOUND: 2552911 @ 806.62 @ #Dec. 810365
c NEW SOLUTION FOUND: 2552874 @ 806.64 @ #Dec. 810630
c NEW SOLUTION FOUND: 2552800 @ 806.67 @ #Dec. 810881
c NEW SOLUTION FOUND: 2552763 @ 806.69 @ #Dec. 811097
c NEW SOLUTION FOUND: 2552652 @ 806.77 @ #Dec. 811529
c NEW SOLUTION FOUND: 2552541 @ 806.77 @ #Dec. 811677
c NEW SOLUTION FOUND: 2552504 @ 806.79 @ #Dec. 811906
c NEW SOLUTION FOUND: 2552393 @ 806.8 @ #Dec. 812055
c NEW SOLUTION FOUND: 2552356 @ 806.82 @ #Dec. 812261
c NEW SOLUTION FOUND: 2552319 @ 806.85 @ #Dec. 812496
c NEW SOLUTION FOUND: 2552245 @ 806.89 @ #Dec. 812737
c NEW SOLUTION FOUND: 2552208 @ 806.91 @ #Dec. 812943
c NEW SOLUTION FOUND: 2552097 @ 806.91 @ #Dec. 813091
c NEW SOLUTION FOUND: 2552060 @ 806.93 @ #Dec. 813295
c NEW SOLUTION FOUND: 2552023 @ 806.96 @ #Dec. 813557
c NEW SOLUTION FOUND: 2551912 @ 807 @ #Dec. 813818
c NEW SOLUTION FOUND: 2551875 @ 807.02 @ #Dec. 814025
c NEW SOLUTION FOUND: 2551764 @ 807.08 @ #Dec. 814353
c NEW SOLUTION FOUND: 2551727 @ 807.09 @ #Dec. 814563
c NEW SOLUTION FOUND: 2551690 @ 807.17 @ #Dec. 814978
c NEW SOLUTION FOUND: 2551653 @ 807.21 @ #Dec. 815244
c NEW SOLUTION FOUND: 2551616 @ 807.25 @ #Dec. 815522
c NEW SOLUTION FOUND: 2551579 @ 807.3 @ #Dec. 815852
c NEW SOLUTION FOUND: 2551542 @ 807.32 @ #Dec. 816072
c NEW SOLUTION FOUND: 2551505 @ 807.34 @ #Dec. 816287
c NEW SOLUTION FOUND: 2551394 @ 807.35 @ #Dec. 816444
c NEW SOLUTION FOUND: 2551357 @ 807.37 @ #Dec. 816656
c NEW SOLUTION FOUND: 2551320 @ 807.4 @ #Dec. 816934
c NEW SOLUTION FOUND: 2551283 @ 807.45 @ #Dec. 817240
c NEW SOLUTION FOUND: 2551246 @ 807.47 @ #Dec. 817505
c NEW SOLUTION FOUND: 2551209 @ 807.49 @ #Dec. 817734
c NEW SOLUTION FOUND: 2551172 @ 807.51 @ #Dec. 817960
c NEW SOLUTION FOUND: 2551061 @ 807.52 @ #Dec. 818118
c NEW SOLUTION FOUND: 2551024 @ 807.53 @ #Dec. 818340
c NEW SOLUTION FOUND: 2550987 @ 807.61 @ #Dec. 818771
c NEW SOLUTION FOUND: 2550950 @ 807.65 @ #Dec. 819045
c NEW SOLUTION FOUND: 2550913 @ 807.68 @ #Dec. 819299
c NEW SOLUTION FOUND: 2550802 @ 807.69 @ #Dec. 819459
c NEW SOLUTION FOUND: 2550765 @ 807.71 @ #Dec. 819669
c NEW SOLUTION FOUND: 2550728 @ 807.73 @ #Dec. 819890
c NEW SOLUTION FOUND: 2550691 @ 807.78 @ #Dec. 820189
c NEW SOLUTION FOUND: 2550580 @ 807.84 @ #Dec. 820519
c NEW SOLUTION FOUND: 2550543 @ 807.92 @ #Dec. 820920
c NEW SOLUTION FOUND: 2550506 @ 807.97 @ #Dec. 821231
c NEW SOLUTION FOUND: 2550469 @ 807.99 @ #Dec. 821425
c NEW SOLUTION FOUND: 2550358 @ 808 @ #Dec. 821608
c NEW SOLUTION FOUND: 2550321 @ 808.04 @ #Dec. 821884
c NEW SOLUTION FOUND: 2550284 @ 808.06 @ #Dec. 822093
c NEW SOLUTION FOUND: 2550247 @ 808.08 @ #Dec. 822307
c NEW SOLUTION FOUND: 2550136 @ 808.09 @ #Dec. 822470
c NEW SOLUTION FOUND: 2550099 @ 808.11 @ #Dec. 822678
c NEW SOLUTION FOUND: 2550062 @ 808.17 @ #Dec. 823027
c NEW SOLUTION FOUND: 2550025 @ 808.19 @ #Dec. 823278
c NEW SOLUTION FOUND: 2549988 @ 808.23 @ #Dec. 823545
c NEW SOLUTION FOUND: 2549951 @ 808.3 @ #Dec. 823917
c NEW SOLUTION FOUND: 2549914 @ 808.34 @ #Dec. 824177
c NEW SOLUTION FOUND: 2549877 @ 808.37 @ #Dec. 824430
c NEW SOLUTION FOUND: 2549766 @ 808.38 @ #Dec. 824611
c NEW SOLUTION FOUND: 2549729 @ 808.4 @ #Dec. 824829
c NEW SOLUTION FOUND: 2549692 @ 808.42 @ #Dec. 825111
c NEW SOLUTION FOUND: 2549581 @ 808.48 @ #Dec. 825407
c NEW SOLUTION FOUND: 2549544 @ 808.5 @ #Dec. 825628
c NEW SOLUTION FOUND: 2549507 @ 808.57 @ #Dec. 826021
c NEW SOLUTION FOUND: 2549470 @ 808.63 @ #Dec. 826379
c NEW SOLUTION FOUND: 2549433 @ 808.66 @ #Dec. 826652
c NEW SOLUTION FOUND: 2549396 @ 808.69 @ #Dec. 826878
c NEW SOLUTION FOUND: 2549248 @ 808.7 @ #Dec. 827079
c NEW SOLUTION FOUND: 2549211 @ 808.72 @ #Dec. 827296
c NEW SOLUTION FOUND: 2549174 @ 808.79 @ #Dec. 827695
c NEW SOLUTION FOUND: 2549137 @ 808.85 @ #Dec. 828053
c NEW SOLUTION FOUND: 2549100 @ 808.88 @ #Dec. 828304
c NEW SOLUTION FOUND: 2549063 @ 808.94 @ #Dec. 828644
c NEW SOLUTION FOUND: 2549026 @ 808.98 @ #Dec. 828966
c NEW SOLUTION FOUND: 2548989 @ 809.02 @ #Dec. 829278
c NEW SOLUTION FOUND: 2548952 @ 809.07 @ #Dec. 829639
c NEW SOLUTION FOUND: 2548915 @ 809.1 @ #Dec. 829911
c NEW SOLUTION FOUND: 2548804 @ 809.11 @ #Dec. 830086
c NEW SOLUTION FOUND: 2548767 @ 809.13 @ #Dec. 830353
c NEW SOLUTION FOUND: 2548730 @ 809.16 @ #Dec. 830577
c NEW SOLUTION FOUND: 2548693 @ 809.19 @ #Dec. 830843
c NEW SOLUTION FOUND: 2548656 @ 809.2 @ #Dec. 831048
c NEW SOLUTION FOUND: 2548508 @ 809.21 @ #Dec. 831223
c NEW SOLUTION FOUND: 2548471 @ 809.28 @ #Dec. 831618
c NEW SOLUTION FOUND: 2548434 @ 809.33 @ #Dec. 831943
c NEW SOLUTION FOUND: 2548397 @ 809.36 @ #Dec. 832275
c NEW SOLUTION FOUND: 2548360 @ 809.39 @ #Dec. 832511
c NEW SOLUTION FOUND: 2548286 @ 809.44 @ #Dec. 832861
c NEW SOLUTION FOUND: 2548175 @ 809.45 @ #Dec. 833039
c NEW SOLUTION FOUND: 2548138 @ 809.5 @ #Dec. 833396
c NEW SOLUTION FOUND: 2548101 @ 809.52 @ #Dec. 833619
c NEW SOLUTION FOUND: 2548064 @ 809.54 @ #Dec. 833850
c NEW SOLUTION FOUND: 2547953 @ 809.55 @ #Dec. 834041
c NEW SOLUTION FOUND: 2547916 @ 809.56 @ #Dec. 834270
c NEW SOLUTION FOUND: 2547879 @ 809.62 @ #Dec. 834652
c NEW SOLUTION FOUND: 2547842 @ 809.64 @ #Dec. 834952
c NEW SOLUTION FOUND: 2547805 @ 809.67 @ #Dec. 835247
c NEW SOLUTION FOUND: 2547731 @ 809.74 @ #Dec. 835621
c NEW SOLUTION FOUND: 2547694 @ 809.76 @ #Dec. 835899
c NEW SOLUTION FOUND: 2547657 @ 809.79 @ #Dec. 836173
c NEW SOLUTION FOUND: 2547583 @ 809.86 @ #Dec. 836549
c NEW SOLUTION FOUND: 2547546 @ 809.88 @ #Dec. 836786
c NEW SOLUTION FOUND: 2547509 @ 809.92 @ #Dec. 837092
c NEW SOLUTION FOUND: 2547472 @ 809.96 @ #Dec. 837387
c NEW SOLUTION FOUND: 2547435 @ 810.04 @ #Dec. 837832
c NEW SOLUTION FOUND: 2547324 @ 810.05 @ #Dec. 838061
c NEW SOLUTION FOUND: 2547287 @ 810.07 @ #Dec. 838311
c NEW SOLUTION FOUND: 2547250 @ 810.11 @ #Dec. 838621
c NEW SOLUTION FOUND: 2547213 @ 810.13 @ #Dec. 838871
c NEW SOLUTION FOUND: 2547176 @ 810.16 @ #Dec. 839101
c NEW SOLUTION FOUND: 2547065 @ 810.17 @ #Dec. 839302
c NEW SOLUTION FOUND: 2547028 @ 810.19 @ #Dec. 839545
c NEW SOLUTION FOUND: 2546954 @ 810.26 @ #Dec. 839880
c NEW SOLUTION FOUND: 2546917 @ 810.3 @ #Dec. 840187
c NEW SOLUTION FOUND: 2546880 @ 810.37 @ #Dec. 840563
c NEW SOLUTION FOUND: 2546769 @ 810.39 @ #Dec. 840787
c NEW SOLUTION FOUND: 2546732 @ 810.41 @ #Dec. 841004
c NEW SOLUTION FOUND: 2546695 @ 810.43 @ #Dec. 841262
c NEW SOLUTION FOUND: 2546658 @ 810.48 @ #Dec. 841545
c NEW SOLUTION FOUND: 2546621 @ 810.5 @ #Dec. 841771
c NEW SOLUTION FOUND: 2546510 @ 810.51 @ #Dec. 841969
c NEW SOLUTION FOUND: 2546473 @ 810.52 @ #Dec. 842172
c NEW SOLUTION FOUND: 2546399 @ 810.62 @ #Dec. 842598
c NEW SOLUTION FOUND: 2546362 @ 810.64 @ #Dec. 842811
c NEW SOLUTION FOUND: 2546325 @ 810.67 @ #Dec. 843045
c NEW SOLUTION FOUND: 2546288 @ 810.72 @ #Dec. 843336
c NEW SOLUTION FOUND: 2546251 @ 810.74 @ #Dec. 843561
c NEW SOLUTION FOUND: 2546214 @ 810.77 @ #Dec. 843814
c NEW SOLUTION FOUND: 2546177 @ 810.83 @ #Dec. 844119
c NEW SOLUTION FOUND: 2546140 @ 810.87 @ #Dec. 844357
c NEW SOLUTION FOUND: 2546029 @ 810.88 @ #Dec. 844575
c NEW SOLUTION FOUND: 2545992 @ 810.9 @ #Dec. 844811
c NEW SOLUTION FOUND: 2545955 @ 810.93 @ #Dec. 845038
c NEW SOLUTION FOUND: 2545918 @ 810.96 @ #Dec. 845285
c NEW SOLUTION FOUND: 2545881 @ 810.99 @ #Dec. 845515
c NEW SOLUTION FOUND: 2545770 @ 811 @ #Dec. 845733
c NEW SOLUTION FOUND: 2545733 @ 811.02 @ #Dec. 845955
c NEW SOLUTION FOUND: 2545696 @ 811.08 @ #Dec. 846241
c NEW SOLUTION FOUND: 2545548 @ 811.09 @ #Dec. 846428
c NEW SOLUTION FOUND: 2545437 @ 811.1 @ #Dec. 846633
c NEW SOLUTION FOUND: 2545400 @ 811.12 @ #Dec. 846861
c NEW SOLUTION FOUND: 2545289 @ 811.13 @ #Dec. 847091
c NEW SOLUTION FOUND: 2545252 @ 811.16 @ #Dec. 847318
c NEW SOLUTION FOUND: 2545215 @ 811.17 @ #Dec. 847507
c NEW SOLUTION FOUND: 2545104 @ 811.19 @ #Dec. 847731
c NEW SOLUTION FOUND: 2545067 @ 811.23 @ #Dec. 848005
c NEW SOLUTION FOUND: 2545030 @ 811.26 @ #Dec. 848222
c NEW SOLUTION FOUND: 2544993 @ 811.28 @ #Dec. 848451
c NEW SOLUTION FOUND: 2544882 @ 811.29 @ #Dec. 848660
c NEW SOLUTION FOUND: 2544845 @ 811.31 @ #Dec. 848867
c NEW SOLUTION FOUND: 2544734 @ 811.37 @ #Dec. 849156
c NEW SOLUTION FOUND: 2544697 @ 811.39 @ #Dec. 849364
c NEW SOLUTION FOUND: 2544660 @ 811.42 @ #Dec. 849597
c NEW SOLUTION FOUND: 2544586 @ 811.45 @ #Dec. 849823
c NEW SOLUTION FOUND: 2544549 @ 811.48 @ #Dec. 850041
c NEW SOLUTION FOUND: 2544512 @ 811.52 @ #Dec. 850284
c NEW SOLUTION FOUND: 2544475 @ 811.56 @ #Dec. 850533
c NEW SOLUTION FOUND: 2544438 @ 811.6 @ #Dec. 850772
c NEW SOLUTION FOUND: 2544364 @ 811.64 @ #Dec. 851005
c NEW SOLUTION FOUND: 2544327 @ 811.67 @ #Dec. 851217
c NEW SOLUTION FOUND: 2544290 @ 811.7 @ #Dec. 851441
c NEW SOLUTION FOUND: 2544253 @ 811.75 @ #Dec. 851681
c NEW SOLUTION FOUND: 2544216 @ 811.78 @ #Dec. 851887
c NEW SOLUTION FOUND: 2544142 @ 811.84 @ #Dec. 852170
c NEW SOLUTION FOUND: 2544105 @ 811.87 @ #Dec. 852375
c NEW SOLUTION FOUND: 2544068 @ 811.92 @ #Dec. 852617
c NEW SOLUTION FOUND: 2544031 @ 811.95 @ #Dec. 852836
c NEW SOLUTION FOUND: 2543994 @ 811.98 @ #Dec. 853043
c NEW SOLUTION FOUND: 2543920 @ 812.04 @ #Dec. 853327
c NEW SOLUTION FOUND: 2543883 @ 812.07 @ #Dec. 853551
c NEW SOLUTION FOUND: 2543846 @ 812.1 @ #Dec. 853789
c NEW SOLUTION FOUND: 2543809 @ 812.19 @ #Dec. 854054
c NEW SOLUTION FOUND: 2543772 @ 812.25 @ #Dec. 854330
c NEW SOLUTION FOUND: 2543735 @ 812.29 @ #Dec. 854561
c NEW SOLUTION FOUND: 2543661 @ 812.33 @ #Dec. 854788
c NEW SOLUTION FOUND: 2543624 @ 812.36 @ #Dec. 855009
c NEW SOLUTION FOUND: 2543587 @ 812.42 @ #Dec. 855257
c NEW SOLUTION FOUND: 2543550 @ 812.49 @ #Dec. 855515
c NEW SOLUTION FOUND: 2543513 @ 812.55 @ #Dec. 855754
c NEW SOLUTION FOUND: 2543439 @ 812.58 @ #Dec. 855966
c NEW SOLUTION FOUND: 2543402 @ 812.63 @ #Dec. 856191
c NEW SOLUTION FOUND: 2543365 @ 812.68 @ #Dec. 856419
c NEW SOLUTION FOUND: 2543328 @ 812.76 @ #Dec. 856665
c NEW SOLUTION FOUND: 2543217 @ 812.81 @ #Dec. 856935
c NEW SOLUTION FOUND: 2543106 @ 812.83 @ #Dec. 857129
c NEW SOLUTION FOUND: 2542958 @ 812.85 @ #Dec. 857343
c NEW SOLUTION FOUND: 2542921 @ 812.87 @ #Dec. 857537
c NEW SOLUTION FOUND: 2542847 @ 812.9 @ #Dec. 857754
c NEW SOLUTION FOUND: 2542810 @ 812.91 @ #Dec. 857947
c NEW SOLUTION FOUND: 2542736 @ 812.98 @ #Dec. 858220
c NEW SOLUTION FOUND: 2542699 @ 813 @ #Dec. 858418
c NEW SOLUTION FOUND: 2542662 @ 813.04 @ #Dec. 858651
c NEW SOLUTION FOUND: 2542625 @ 813.07 @ #Dec. 858870
c NEW SOLUTION FOUND: 2542514 @ 813.09 @ #Dec. 859063
c NEW SOLUTION FOUND: 2542477 @ 813.11 @ #Dec. 859270
c NEW SOLUTION FOUND: 2542403 @ 813.14 @ #Dec. 859491
c NEW SOLUTION FOUND: 2542366 @ 813.16 @ #Dec. 859692
c NEW SOLUTION FOUND: 2542329 @ 813.2 @ #Dec. 859913
c NEW SOLUTION FOUND: 2542292 @ 813.23 @ #Dec. 860124
c NEW SOLUTION FOUND: 2542218 @ 813.26 @ #Dec. 860342
c NEW SOLUTION FOUND: 2542181 @ 813.28 @ #Dec. 860537
c NEW SOLUTION FOUND: 2542144 @ 813.35 @ #Dec. 860801
c NEW SOLUTION FOUND: 2542107 @ 813.38 @ #Dec. 861019
c NEW SOLUTION FOUND: 2542033 @ 813.42 @ #Dec. 861250
c NEW SOLUTION FOUND: 2541996 @ 813.44 @ #Dec. 861447
c NEW SOLUTION FOUND: 2541959 @ 813.48 @ #Dec. 861665
c NEW SOLUTION FOUND: 2541922 @ 813.58 @ #Dec. 862000
c NEW SOLUTION FOUND: 2541885 @ 813.61 @ #Dec. 862216
c NEW SOLUTION FOUND: 2541848 @ 813.63 @ #Dec. 862437
c NEW SOLUTION FOUND: 2541811 @ 813.65 @ #Dec. 862639
c NEW SOLUTION FOUND: 2541774 @ 813.68 @ #Dec. 862861
c NEW SOLUTION FOUND: 2541737 @ 813.71 @ #Dec. 863080
c NEW SOLUTION FOUND: 2541700 @ 813.72 @ #Dec. 863282
c NEW SOLUTION FOUND: 2541663 @ 813.75 @ #Dec. 863496
c NEW SOLUTION FOUND: 2541626 @ 813.81 @ #Dec. 863763
c NEW SOLUTION FOUND: 2541589 @ 813.84 @ #Dec. 863984
c NEW SOLUTION FOUND: 2541552 @ 813.86 @ #Dec. 864186
c NEW SOLUTION FOUND: 2541515 @ 813.88 @ #Dec. 864399
c NEW SOLUTION FOUND: 2541478 @ 813.97 @ #Dec. 864691
c NEW SOLUTION FOUND: 2541441 @ 814 @ #Dec. 864911
c NEW SOLUTION FOUND: 2541404 @ 814.08 @ #Dec. 865187
c NEW SOLUTION FOUND: 2541367 @ 814.14 @ #Dec. 865454
c NEW SOLUTION FOUND: 2541330 @ 814.17 @ #Dec. 865669
c NEW SOLUTION FOUND: 2541293 @ 814.22 @ #Dec. 865921
c NEW SOLUTION FOUND: 2541256 @ 814.25 @ #Dec. 866138
c NEW SOLUTION FOUND: 2541219 @ 814.27 @ #Dec. 866343
c NEW SOLUTION FOUND: 2541182 @ 814.29 @ #Dec. 866555
c NEW SOLUTION FOUND: 2541145 @ 814.35 @ #Dec. 866817
c NEW SOLUTION FOUND: 2541108 @ 814.38 @ #Dec. 867030
c NEW SOLUTION FOUND: 2541071 @ 814.42 @ #Dec. 867266
c NEW SOLUTION FOUND: 2541034 @ 814.45 @ #Dec. 867480
c NEW SOLUTION FOUND: 2540997 @ 814.46 @ #Dec. 867679
c NEW SOLUTION FOUND: 2540960 @ 814.49 @ #Dec. 867886
c NEW SOLUTION FOUND: 2540923 @ 814.6 @ #Dec. 868178
c NEW SOLUTION FOUND: 2540886 @ 814.63 @ #Dec. 868388
c NEW SOLUTION FOUND: 2540849 @ 814.68 @ #Dec. 868637
c NEW SOLUTION FOUND: 2540812 @ 814.71 @ #Dec. 868850
c NEW SOLUTION FOUND: 2540775 @ 814.75 @ #Dec. 869086
c NEW SOLUTION FOUND: 2540738 @ 814.78 @ #Dec. 869304
c NEW SOLUTION FOUND: 2540701 @ 814.79 @ #Dec. 869505
c NEW SOLUTION FOUND: 2540664 @ 814.82 @ #Dec. 869714
c NEW SOLUTION FOUND: 2540627 @ 814.93 @ #Dec. 870032
c NEW SOLUTION FOUND: 2540590 @ 814.95 @ #Dec. 870232
c NEW SOLUTION FOUND: 2540553 @ 814.98 @ #Dec. 870441
c NEW SOLUTION FOUND: 2540516 @ 815.12 @ #Dec. 870812
c NEW SOLUTION FOUND: 2540479 @ 815.22 @ #Dec. 871118
c NEW SOLUTION FOUND: 2540442 @ 815.27 @ #Dec. 871370
c NEW SOLUTION FOUND: 2540405 @ 815.3 @ #Dec. 871587
c NEW SOLUTION FOUND: 2540368 @ 815.32 @ #Dec. 871795
c NEW SOLUTION FOUND: 2540331 @ 815.35 @ #Dec. 872028
c NEW SOLUTION FOUND: 2540294 @ 815.43 @ #Dec. 872322
c NEW SOLUTION FOUND: 2540257 @ 815.49 @ #Dec. 872612
c NEW SOLUTION FOUND: 2540220 @ 815.56 @ #Dec. 872893
c NEW SOLUTION FOUND: 2540183 @ 815.64 @ #Dec. 873221
c NEW SOLUTION FOUND: 2540146 @ 815.67 @ #Dec. 873464
c NEW SOLUTION FOUND: 2540109 @ 815.7 @ #Dec. 873694
c NEW SOLUTION FOUND: 2540072 @ 815.74 @ #Dec. 873944
c NEW SOLUTION FOUND: 2540035 @ 816.13 @ #Dec. 874639
c NEW SOLUTION FOUND: 2539998 @ 816.19 @ #Dec. 874907
c NEW SOLUTION FOUND: 2539961 @ 816.24 @ #Dec. 875158
c NEW SOLUTION FOUND: 2539924 @ 816.34 @ #Dec. 875481
c NEW SOLUTION FOUND: 2539887 @ 816.6 @ #Dec. 876010
c NEW SOLUTION FOUND: 2539850 @ 816.88 @ #Dec. 876554
c NEW SOLUTION FOUND: 2539813 @ 816.93 @ #Dec. 876811
c NEW SOLUTION FOUND: 2539776 @ 817.03 @ #Dec. 877149
c NEW SOLUTION FOUND: 2539739 @ 817.18 @ #Dec. 877554
c NEW SOLUTION FOUND: 2539702 @ 817.27 @ #Dec. 877864
c NEW SOLUTION FOUND: 2539665 @ 817.44 @ #Dec. 878278
c NEW SOLUTION FOUND: 2539628 @ 817.5 @ #Dec. 878539
c NEW SOLUTION FOUND: 2539591 @ 817.54 @ #Dec. 878783
c NEW SOLUTION FOUND: 2539554 @ 817.62 @ #Dec. 879063
c NEW SOLUTION FOUND: 2539517 @ 817.79 @ #Dec. 879450
c NEW SOLUTION FOUND: 2539480 @ 817.87 @ #Dec. 879734
c NEW SOLUTION FOUND: 2539443 @ 818.03 @ #Dec. 880111
c NEW SOLUTION FOUND: 2539406 @ 818.09 @ #Dec. 880361
c NEW SOLUTION FOUND: 2539369 @ 818.12 @ #Dec. 880595
c NEW SOLUTION FOUND: 2539332 @ 818.23 @ #Dec. 880886
c NEW SOLUTION FOUND: 2539295 @ 818.51 @ #Dec. 881353
c NEW SOLUTION FOUND: 2539258 @ 818.6 @ #Dec. 881643
c NEW SOLUTION FOUND: 2539221 @ 818.77 @ #Dec. 882032
c NEW SOLUTION FOUND: 2539184 @ 818.85 @ #Dec. 882310
c NEW SOLUTION FOUND: 2539147 @ 819.02 @ #Dec. 882696
c NEW SOLUTION FOUND: 2539110 @ 819.07 @ #Dec. 882942
c NEW SOLUTION FOUND: 2539073 @ 819.11 @ #Dec. 883182
c NEW SOLUTION FOUND: 2539036 @ 819.2 @ #Dec. 883471
c NEW SOLUTION FOUND: 2538999 @ 819.47 @ #Dec. 883965
c Restart #4 #Var: 1982 #Dec: 909020 LB: 0 @ 822.05
c Restart #5 #Var: 1982 #Dec: 922655 LB: 0 @ 845.12
c Restart #6 #Var: 1982 #Dec: 927873 LB: 0 @ 862.36
c Restart #7 #Var: 1981 #Dec: 930076 LB: 0 @ 884.3
c Restart #8 #Var: 1980 #Dec: 932473 LB: 0 @ 903.76
c Restart #9 #Var: 1980 #Dec: 934656 LB: 0 @ 926.22
c Restart #10 #Var: 1980 #Dec: 939674 LB: 0 @ 944.28
c Restart #11 #Var: 1980 #Dec: 975066 LB: 0 @ 967.41
c Restart #12 #Var: 1980 #Dec: 981029 LB: 0 @ 983.46
c Restart #13 #Var: 1980 #Dec: 988186 LB: 0 @ 1005.2
c Restart #14 #Var: 1980 #Dec: 991557 LB: 0 @ 1048.9
c Restart #15 #Var: 1980 #Dec: 996540 LB: 0 @ 1061.9
c Restart #16 #Var: 1980 #Dec: 1008276 LB: 0 @ 1096.6
c Restart #17 #Var: 1980 #Dec: 1020053 LB: 0 @ 1120.3
c Restart #18 #Var: 1980 #Dec: 1023992 LB: 0 @ 1158.2
c Restart #19 #Var: 1980 #Dec: 1028903 LB: 0 @ 1180.4
s SATISFIABLE
v -D0001_bit0 D0002_bit0 -D0004_bit0 -D0005_bit0 D0006_bit0 -D0007_bit0 -D0008_bit0 -D0009_bit0 -D0010_bit0 -D0011_bit0 -D0012_bit0 -D0013_bit0 -D0014_bit0 -D0016_bit0 -D0017_bit0 -D0018_bit0 -D0020_bit0 -D0021_bit0 D0022_bit0 -D0023_bit0 -D0024_bit0 D0025_bit0 -D0026_bit0 D0028_bit0 -D0030_bit0 -D0031_bit0 -D0033_bit0 -D0034_bit0 -D0035_bit0 -D0037_bit0 D0038_bit0 -D0039_bit0 D0041_bit0 -D0042_bit0 -D0043_bit0 D0044_bit0 -D0045_bit0 D0047_bit0 D0048_bit0 -D0049_bit0 -D0052_bit0 -D0053_bit0 -D0054_bit0 D0055_bit0 -D0056_bit0 -D0057_bit0 D0060_bit0 -D0062_bit0 -D0063_bit0 -D0064_bit0 -D0065_bit0 -D0068_bit0 -D0070_bit0 -D0071_bit0 -D0072_bit0 -D0073_bit0 -D0074_bit0 -D0075_bit0 -D0077_bit0 -D0079_bit0 -D0080_bit0 -D0081_bit0 -D0082_bit0 -D0083_bit0 -D0084_bit0 D0085_bit0 -D0086_bit0 -D0087_bit0 -D0089_bit0 -D0090_bit0 -D0091_bit0 -D0093_bit0 -D0094_bit0 -D0095_bit0 -D0097_bit0 -D0098_bit0 -D0101_bit0 -D0102_bit0 D0104_bit0 -D0105_bit0 -D0106_bit0 D0107_bit0 D0108_bit0 -D0109_bit0 D0113_bit0 D0115_bit0 -D0116_bit0 D0117_bit0 -D0118_bit0 -D0119_bit0 -D0120_bit0 D0121_bit0 -D0123_bit0 -D0124_bit0 D0125_bit0 -D0126_bit0 -D0128_bit0 -D0129_bit0 -D0130_bit0 -D0131_bit0 -D0132_bit0 -D0133_bit0 D0134_bit0 -D0135_bit0 -D0137_bit0 -D0138_bit0 -D0139_bit0 -D0140_bit0 D0141_bit0 -D0142_bit0 D0143_bit0 D0144_bit0 -D0145_bit0 -D0148_bit0 -D0149_bit0 D0151_bit0 -D0152_bit0 -D0153_bit0 -D0157_bit0 -D0162_bit0 -D0163_bit0 -D0164_bit0 -D0165_bit0 -D0166_bit0 -D0167_bit0 D0168_bit0 -D0169_bit0 D0170_bit0 D0171_bit0 -D0172_bit0 -D0173_bit0 -D0174_bit0 D0175_bit0 -D0176_bit0 -D0178_bit0 -D0179_bit0 -D0180_bit0 -D0182_bit0 -D0183_bit0 D0184_bit0 D0186_bit0 D0187_bit0 -D0188_bit0 -D0189_bit0 -D0190_bit0 D0192_bit0 -D0195_bit0 -D0196_bit0 -D0197_bit0 -D0198_bit0 -D0201_bit0 -D0202_bit0 D0203_bit0 -D0204_bit0 -D0205_bit0 -D0206_bit0 -D0207_bit0 -D0208_bit0 D0209_bit0 D0210_bit0 -D0211_bit0 D0212_bit0 -D0213_bit0 -D0214_bit0 D0215_bit0 -D0216_bit0 D0217_bit0 -D0219_bit0 -D0220_bit0 D0221_bit0 -D0222_bit0 -D0223_bit0 -D0224_bit0 -D0225_bit0 D0227_bit0 D0228_bit0 -D0229_bit0 D0230_bit0 -D0231_bit0 -D0234_bit0 D0235_bit0 -D0236_bit0 -D0237_bit0 -D0238_bit0 D0241_bit0 -D0242_bit0 -D0243_bit0 -D0245_bit0 -D0246_bit0 -D0247_bit0 -D0248_bit0 -D0249_bit0 -D0250_bit0 -D0251_bit0 -D0252_bit0 -D0254_bit0 -D0258_bit0 -D0259_bit0 D0260_bit0 -D0261_bit0 -D0262_bit0 D0263_bit0 D0264_bit0 -D0265_bit0 -D0266_bit0 -D0267_bit0 -D0268_bit0 D0269_bit0 -D0270_bit0 -D0271_bit0 -D0275_bit0 -D0276_bit0 -D0277_bit0 D0278_bit0 -D0279_bit0 -D0280_bit0 -D0281_bit0 D0282_bit0 -D0283_bit0 D0285_bit0 -D0286_bit0 D0287_bit0 -D0288_bit0 -D0289_bit0 -D0290_bit0 -D0291_bit0 -D0292_bit0 -D0293_bit0 -D0295_bit0 -D0296_bit0 -D0297_bit0 -D0298_bit0 -D0299_bit0 D0300_bit0 -D0301_bit_7 -D0301_bit_6 -D0301_bit_5 -D0301_bit_4 -D0301_bit_3 -D0301_bit_2 -D0301_bit_1 -D0301_bit0 -D0302_bit_7 -D0302_bit_6 -D0302_bit_5 -D0302_bit_4 -D0302_bit_3 -D0302_bit_2 -D0302_bit_1 -D0302_bit0 -D0303_bit_7 -D0303_bit_6 -D0303_bit_5 -D0303_bit_4 -D0303_bit_3 -D0303_bit_2 -D0303_bit_1 -D0303_bit0 D0304_bit_7 -D0304_bit_6 -D0304_bit_5 -D0304_bit_4 -D0304_bit_3 -D0304_bit_2 -D0304_bit_1 -D0304_bit0 -D0305_bit_7 -D0305_bit_6 -D0305_bit_5 -D0305_bit_4 -D0305_bit_3 -D0305_bit_2 -D0305_bit_1 -D0305_bit0 -D0307_bit_7 -D0307_bit_6 D0307_bit_5 -D0307_bit_4 -D0307_bit_3 -D0307_bit_2 D0307_bit_1 -D0307_bit0 -D0308_bit_7 -D0308_bit_6 -D0308_bit_5 -D0308_bit_4 -D0308_bit_3 -D0308_bit_2 -D0308_bit_1 -D0308_bit0 -D0309_bit_7 -D0309_bit_6 -D0309_bit_5 -D0309_bit_4 -D0309_bit_3 -D0309_bit_2 -D0309_bit_1 -D0309_bit0 -D0311_bit_7 -D0311_bit_6 -D0311_bit_5 D0311_bit_4 -D0311_bit_3 -D0311_bit_2 -D0311_bit_1 -D0311_bit0 D0312_bit_7 D0312_bit_6 -D0312_bit_5 -D0312_bit_4 -D0312_bit_3 -D0312_bit_2 -D0312_bit_1 -D0312_bit0 -D0313_bit_7 D0313_bit_6 -D0313_bit_5 -D0313_bit_4 D0313_bit_3 -D0313_bit_2 -D0313_bit_1 -D0313_bit0 D0314_bit_7 -D0314_bit_6 -D0314_bit_5 -D0314_bit_4 D0314_bit_3 -D0314_bit_2 -D0314_bit_1 -D0314_bit0 -D0315_bit_7 -D0315_bit_6 D0315_bit_5 -D0315_bit_4 -D0315_bit_3 -D0315_bit_2 -D0315_bit_1 -D0315_bit0 -D0316_bit_7 -D0316_bit_6 D0316_bit_5 -D0316_bit_4 -D0316_bit_3 -D0316_bit_2 -D0316_bit_1 -D0316_bit0 D0317_bit_7 D0317_bit_6 -D0317_bit_5 -D0317_bit_4 -D0317_bit_3 -D0317_bit_2 -D0317_bit_1 -D0317_bit0 -D0318_bit_7 -D0318_bit_6 -D0318_bit_5 -D0318_bit_4 -D0318_bit_3 -D0318_bit_2 -D0318_bit_1 -D0318_bit0 -D0319_bit_7 -D0319_bit_6 -D0319_bit_5 -D0319_bit_4 -D0319_bit_3 -D0319_bit_2 -D0319_bit_1 -D0319_bit0 -D0320_bit_7 D0320_bit_6 -D0320_bit_5 -D0320_bit_4 -D0320_bit_3 -D0320_bit_2 D0320_bit_1 -D0320_bit0 D0321_bit_7 D0321_bit_6 -D0321_bit_5 -D0321_bit_4 -D0321_bit_3 -D0321_bit_2 -D0321_bit_1 -D0321_bit0 -D0322_bit_7 -D0322_bit_6 -D0322_bit_5 -D0322_bit_4 -D0322_bit_3 -D0322_bit_2 -D0322_bit_1 -D0322_bit0 -D0323_bit_7 -D0323_bit_6 -D0323_bit_5 D0323_bit_4 -D0323_bit_3 -D0323_bit_2 -D0323_bit_1 -D0323_bit0 -D0324_bit_7 D0324_bit_6 -D0324_bit_5 D0324_bit_4 -D0324_bit_3 -D0324_bit_2 -D0324_bit_1 -D0324_bit0 -D0325_bit_7 -D0325_bit_6 -D0325_bit_5 D0325_bit_4 D0325_bit_3 D0325_bit_2 -D0325_bit_1 -D0325_bit0 -D0327_bit_7 -D0327_bit_6 -D0327_bit_5 D0327_bit_4 -D0327_bit_3 -D0327_bit_2 -D0327_bit_1 -D0327_bit0 -D0328_bit_7 -D0328_bit_6 -D0328_bit_5 -D0328_bit_4 -D0328_bit_3 -D0328_bit_2 -D0328_bit_1 -D0328_bit0 -D0329_bit_7 -D0329_bit_6 D0329_bit_5 -D0329_bit_4 -D0329_bit_3 -D0329_bit_2 -D0329_bit_1 -D0329_bit0 -D0330_bit_7 -D0330_bit_6 -D0330_bit_5 -D0330_bit_4 D0330_bit_3 -D0330_bit_2 -D0330_bit_1 -D0330_bit0 -D0331_bit_7 -D0331_bit_6 -D0331_bit_5 -D0331_bit_4 -D0331_bit_3 -D0331_bit_2 -D0331_bit_1 -D0331_bit0 -D0332_bit_7 D0332_bit_6 -D0332_bit_5 D0332_bit_4 -D0332_bit_3 -D0332_bit_2 -D0332_bit_1 -D0332_bit0 -D0333_bit_7 -D0333_bit_6 -D0333_bit_5 D0333_bit_4 -D0333_bit_3 -D0333_bit_2 D0333_bit_1 -D0333_bit0 -D0334_bit_7 -D0334_bit_6 -D0334_bit_5 -D0334_bit_4 -D0334_bit_3 -D0334_bit_2 D0334_bit_1 -D0334_bit0 -D0335_bit_7 -D0335_bit_6 -D0335_bit_5 -D0335_bit_4 -D0335_bit_3 -D0335_bit_2 -D0335_bit_1 -D0335_bit0 -D0336_bit_7 -D0336_bit_6 -D0336_bit_5 -D0336_bit_4 -D0336_bit_3 -D0336_bit_2 -D0336_bit_1 D0336_bit0 -D0337_bit_7 -D0337_bit_6 -D0337_bit_5 -D0337_bit_4 -D0337_bit_3 -D0337_bit_2 -D0337_bit_1 D0337_bit0 D0338_bit_7 -D0338_bit_6 -D0338_bit_5 -D0338_bit_4 -D0338_bit_3 -D0338_bit_2 -D0338_bit_1 -D0338_bit0 -D0340_bit_7 -D0340_bit_6 D0340_bit_5 -D0340_bit_4 -D0340_bit_3 -D0340_bit_2 -D0340_bit_1 -D0340_bit0 -D0341_bit_7 -D0341_bit_6 -D0341_bit_5 -D0341_bit_4 -D0341_bit_3 -D0341_bit_2 -D0341_bit_1 -D0341_bit0 -D0343_bit_7 -D0343_bit_6 D0343_bit_5 -D0343_bit_4 -D0343_bit_3 D0343_bit_2 -D0343_bit_1 -D0343_bit0 -D0344_bit_7 -D0344_bit_6 -D0344_bit_5 -D0344_bit_4 -D0344_bit_3 D0344_bit_2 -D0344_bit_1 -D0344_bit0 -D0345_bit_7 -D0345_bit_6 -D0345_bit_5 -D0345_bit_4 -D0345_bit_3 -D0345_bit_2 -D0345_bit_1 -D0345_bit0 D0346_bit_7 D0346_bit_6 D0346_bit_5 -D0346_bit_4 -D0346_bit_3 -D0346_bit_2 -D0346_bit_1 -D0346_bit0 -D0347_bit_7 -D0347_bit_6 D0347_bit_5 -D0347_bit_4 -D0347_bit_3 -D0347_bit_2 -D0347_bit_1 -D0347_bit0 -D0348_bit_7 -D0348_bit_6 -D0348_bit_5 D0348_bit_4 -D0348_bit_3 D0348_bit_2 -D0348_bit_1 -D0348_bit0 -D0349_bit_7 -D0349_bit_6 -D0349_bit_5 D0349_bit_4 -D0349_bit_3 -D0349_bit_2 -D0349_bit_1 -D0349_bit0 -D0350_bit_7 -D0350_bit_6 -D0350_bit_5 -D0350_bit_4 D0350_bit_3 -D0350_bit_2 -D0350_bit_1 -D0350_bit0 D0351_bit_7 -D0351_bit_6 -D0351_bit_5 -D0351_bit_4 -D0351_bit_3 -D0351_bit_2 -D0351_bit_1 -D0351_bit0 -D0352_bit_7 -D0352_bit_6 -D0352_bit_5 -D0352_bit_4 D0352_bit_3 -D0352_bit_2 -D0352_bit_1 -D0352_bit0 D0353_bit_7 -D0353_bit_6 -D0353_bit_5 -D0353_bit_4 -D0353_bit_3 -D0353_bit_2 D0353_bit_1 -D0353_bit0 -D0354_bit_7 -D0354_bit_6 -D0354_bit_5 -D0354_bit_4 -D0354_bit_3 -D0354_bit_2 -D0354_bit_1 -D0354_bit0 D0355_bit_7 -D0355_bit_6 -D0355_bit_5 D0355_bit_4 D0355_bit_3 -D0355_bit_2 D0355_bit_1 -D0355_bit0 -D0356_bit_7 -D0356_bit_6 D0356_bit_5 -D0356_bit_4 -D0356_bit_3 -D0356_bit_2 -D0356_bit_1 -D0356_bit0 -D0357_bit_7 -D0357_bit_6 -D0357_bit_5 -D0357_bit_4 -D0357_bit_3 -D0357_bit_2 -D0357_bit_1 -D0357_bit0 -D0358_bit_7 -D0358_bit_6 D0358_bit_5 -D0358_bit_4 -D0358_bit_3 -D0358_bit_2 -D0358_bit_1 -D0358_bit0 -D0359_bit_7 -D0359_bit_6 -D0359_bit_5 -D0359_bit_4 -D0359_bit_3 -D0359_bit_2 -D0359_bit_1 -D0359_bit0 -D0360_bit_7 -D0360_bit_6 -D0360_bit_5 -D0360_bit_4 -D0360_bit_3 -D0360_bit_2 -D0360_bit_1 -D0360_bit0 -D0361_bit_7 -D0361_bit_6 -D0361_bit_5 D0361_bit_4 -D0361_bit_3 -D0361_bit_2 -D0361_bit_1 -D0361_bit0 D0362_bit_7 D0362_bit_6 D0362_bit_5 -D0362_bit_4 D0362_bit_3 D0362_bit_2 -D0362_bit_1 -D0362_bit0 D0363_bit_7 D0363_bit_6 -D0363_bit_5 -D0363_bit_4 -D0363_bit_3 -D0363_bit_2 -D0363_bit_1 -D0363_bit0 -D0364_bit_7 -D0364_bit_6 -D0364_bit_5 -D0364_bit_4 -D0364_bit_3 -D0364_bit_2 -D0364_bit_1 -D0364_bit0 -D0365_bit_7 -D0365_bit_6 D0365_bit_5 -D0365_bit_4 -D0365_bit_3 -D0365_bit_2 -D0365_bit_1 -D0365_bit0 D0366_bit_7 -D0366_bit_6 -D0366_bit_5 D0366_bit_4 D0366_bit_3 -D0366_bit_2 -D0366_bit_1 -D0366_bit0 -D0367_bit_7 D0367_bit_6 -D0367_bit_5 -D0367_bit_4 -D0367_bit_3 D0367_bit_2 -D0367_bit_1 -D0367_bit0 -D0368_bit_7 D0368_bit_6 D0368_bit_5 -D0368_bit_4 -D0368_bit_3 -D0368_bit_2 -D0368_bit_1 -D0368_bit0 D0369_bit_7 D0369_bit_6 -D0369_bit_5 D0369_bit_4 -D0369_bit_3 D0369_bit_2 -D0369_bit_1 -D0369_bit0 -D0371_bit_7 D0371_bit_6 -D0371_bit_5 D0371_bit_4 -D0371_bit_3 D0371_bit_2 -D0371_bit_1 -D0371_bit0 -D0372_bit_7 -D0372_bit_6 D0372_bit_5 -D0372_bit_4 -D0372_bit_3 -D0372_bit_2 -D0372_bit_1 -D0372_bit0 -D0373_bit_7 -D0373_bit_6 D0373_bit_5 -D0373_bit_4 -D0373_bit_3 -D0373_bit_2 -D0373_bit_1 -D0373_bit0 -D0375_bit_7 -D0375_bit_6 D0375_bit_5 -D0375_bit_4 -D0375_bit_3 D0375_bit_2 -D0375_bit_1 -D0375_bit0 -D0376_bit_7 -D0376_bit_6 -D0376_bit_5 D0376_bit_4 -D0376_bit_3 -D0376_bit_2 -D0376_bit_1 -D0376_bit0 D0377_bit_7 D0377_bit_6 -D0377_bit_5 -D0377_bit_4 -D0377_bit_3 -D0377_bit_2 -D0377_bit_1 -D0377_bit0 -D0378_bit_7 D0378_bit_6 D0378_bit_5 -D0378_bit_4 -D0378_bit_3 -D0378_bit_2 -D0378_bit_1 -D0378_bit0 -D0379_bit_7 -D0379_bit_6 -D0379_bit_5 -D0379_bit_4 -D0379_bit_3 -D0379_bit_2 -D0379_bit_1 -D0379_bit0 -D0382_bit_7 -D0382_bit_6 -D0382_bit_5 -D0382_bit_4 D0382_bit_3 -D0382_bit_2 -D0382_bit_1 -D0382_bit0 -D0383_bit_7 -D0383_bit_6 -D0383_bit_5 -D0383_bit_4 -D0383_bit_3 -D0383_bit_2 -D0383_bit_1 -D0383_bit0 -D0384_bit_7 D0384_bit_6 -D0384_bit_5 D0384_bit_4 -D0384_bit_3 -D0384_bit_2 -D0384_bit_1 -D0384_bit0 -D0385_bit_7 D0385_bit_6 D0385_bit_5 -D0385_bit_4 -D0385_bit_3 -D0385_bit_2 -D0385_bit_1 -D0385_bit0 -D0386_bit_7 -D0386_bit_6 D0386_bit_5 -D0386_bit_4 -D0386_bit_3 -D0386_bit_2 -D0386_bit_1 -D0386_bit0 -D0387_bit_7 -D0387_bit_6 -D0387_bit_5 -D0387_bit_4 -D0387_bit_3 -D0387_bit_2 -D0387_bit_1 -D0387_bit0 -D0388_bit_7 -D0388_bit_6 -D0388_bit_5 -D0388_bit_4 D0388_bit_3 -D0388_bit_2 -D0388_bit_1 -D0388_bit0 -D0389_bit_7 -D0389_bit_6 -D0389_bit_5 -D0389_bit_4 D0389_bit_3 -D0389_bit_2 -D0389_bit_1 -D0389_bit0 -D0390_bit_7 -D0390_bit_6 D0390_bit_5 -D0390_bit_4 -D0390_bit_3 -D0390_bit_2 -D0390_bit_1 -D0390_bit0 -D0391_bit_7 -D0391_bit_6 -D0391_bit_5 -D0391_bit_4 -D0391_bit_3 D0391_bit_2 -D0391_bit_1 -D0391_bit0 -D0392_bit_7 -D0392_bit_6 -D0392_bit_5 -D0392_bit_4 D0392_bit_3 -D0392_bit_2 -D0392_bit_1 -D0392_bit0 -D0394_bit_7 D0394_bit_6 -D0394_bit_5 D0394_bit_4 -D0394_bit_3 -D0394_bit_2 -D0394_bit_1 -D0394_bit0 -D0395_bit_7 -D0395_bit_6 D0395_bit_5 -D0395_bit_4 -D0395_bit_3 -D0395_bit_2 -D0395_bit_1 -D0395_bit0 -D0396_bit_7 D0396_bit_6 D0396_bit_5 D0396_bit_4 D0396_bit_3 D0396_bit_2 -D0396_bit_1 -D0396_bit0 -D0397_bit_7 -D0397_bit_6 -D0397_bit_5 D0397_bit_4 -D0397_bit_3 -D0397_bit_2 -D0397_bit_1 -D0397_bit0 -D0398_bit_7 -D0398_bit_6 -D0398_bit_5 -D0398_bit_4 -D0398_bit_3 -D0398_bit_2 -D0398_bit_1 -D0398_bit0 D0399_bit_7 D0399_bit_6 D0399_bit_5 -D0399_bit_4 D0399_bit_3 D0399_bit_2 D0399_bit_1 -D0399_bit0 -D0400_bit_7 -D0400_bit_6 D0400_bit_5 -D0400_bit_4 D0400_bit_3 D0400_bit_2 -D0400_bit_1 -D0400_bit0 -D0401_bit_7 -D0401_bit_6 -D0401_bit_5 -D0401_bit_4 D0401_bit_3 -D0401_bit_2 -D0401_bit_1 -D0401_bit0 -D0403_bit_7 -D0403_bit_6 -D0403_bit_5 -D0403_bit_4 -D0403_bit_3 -D0403_bit_2 -D0403_bit_1 -D0403_bit0 -D0404_bit_7 -D0404_bit_6 -D0404_bit_5 -D0404_bit_4 D0404_bit_3 -D0404_bit_2 -D0404_bit_1 -D0404_bit0 -D0405_bit_7 -D0405_bit_6 -D0405_bit_5 -D0405_bit_4 -D0405_bit_3 -D0405_bit_2 -D0405_bit_1 -D0405_bit0 -D0406_bit_7 -D0406_bit_6 -D0406_bit_5 -D0406_bit_4 -D0406_bit_3 -D0406_bit_2 -D0406_bit_1 -D0406_bit0 -D0407_bit_7 -D0407_bit_6 -D0407_bit_5 -D0407_bit_4 -D0407_bit_3 -D0407_bit_2 -D0407_bit_1 -D0407_bit0 -D0408_bit_7 -D0408_bit_6 -D0408_bit_5 D0408_bit_4 -D0408_bit_3 -D0408_bit_2 -D0408_bit_1 -D0408_bit0 -D0409_bit_7 -D0409_bit_6 D0409_bit_5 -D0409_bit_4 -D0409_bit_3 -D0409_bit_2 -D0409_bit_1 -D0409_bit0 -D0410_bit_7 -D0410_bit_6 -D0410_bit_5 D0410_bit_4 -D0410_bit_3 -D0410_bit_2 -D0410_bit_1 -D0410_bit0 -D0411_bit_7 -D0411_bit_6 -D0411_bit_5 -D0411_bit_4 -D0411_bit_3 -D0411_bit_2 -D0411_bit_1 -D0411_bit0 -D0412_bit_7 -D0412_bit_6 -D0412_bit_5 -D0412_bit_4 -D0412_bit_3 -D0412_bit_2 D0412_bit_1 -D0412_bit0 -D0413_bit_7 -D0413_bit_6 -D0413_bit_5 -D0413_bit_4 -D0413_bit_3 -D0413_bit_2 -D0413_bit_1 -D0413_bit0 -D0414_bit_7 -D0414_bit_6 -D0414_bit_5 -D0414_bit_4 -D0414_bit_3 -D0414_bit_2 -D0414_bit_1 -D0414_bit0 -D0415_bit_7 -D0415_bit_6 -D0415_bit_5 -D0415_bit_4 -D0415_bit_3 -D0415_bit_2 -D0415_bit_1 -D0415_bit0 -D0416_bit_7 -D0416_bit_6 -D0416_bit_5 -D0416_bit_4 D0416_bit_3 D0416_bit_2 -D0416_bit_1 -D0416_bit0 -D0417_bit_7 -D0417_bit_6 -D0417_bit_5 -D0417_bit_4 -D0417_bit_3 -D0417_bit_2 -D0417_bit_1 -D0417_bit0 -D0418_bit_7 -D0418_bit_6 D0418_bit_5 -D0418_bit_4 -D0418_bit_3 -D0418_bit_2 -D0418_bit_1 -D0418_bit0 -D0419_bit_7 D0419_bit_6 -D0419_bit_5 -D0419_bit_4 -D0419_bit_3 -D0419_bit_2 -D0419_bit_1 -D0419_bit0 -D0420_bit_7 D0420_bit_6 -D0420_bit_5 -D0420_bit_4 D0420_bit_3 -D0420_bit_2 -D0420_bit_1 -D0420_bit0 -D0421_bit_7 -D0421_bit_6 -D0421_bit_5 -D0421_bit_4 D0421_bit_3 -D0421_bit_2 -D0421_bit_1 -D0421_bit0 -D0422_bit_7 -D0422_bit_6 D0422_bit_5 -D0422_bit_4 -D0422_bit_3 -D0422_bit_2 -D0422_bit_1 -D0422_bit0 -D0423_bit_7 D0423_bit_6 -D0423_bit_5 -D0423_bit_4 -D0423_bit_3 -D0423_bit_2 -D0423_bit_1 -D0423_bit0 -D0424_bit_7 -D0424_bit_6 -D0424_bit_5 -D0424_bit_4 -D0424_bit_3 -D0424_bit_2 -D0424_bit_1 -D0424_bit0 -D0426_bit_7 -D0426_bit_6 -D0426_bit_5 -D0426_bit_4 -D0426_bit_3 -D0426_bit_2 -D0426_bit_1 -D0426_bit0 D0427_bit_7 D0427_bit_6 -D0427_bit_5 -D0427_bit_4 -D0427_bit_3 -D0427_bit_2 -D0427_bit_1 -D0427_bit0 -D0428_bit_7 -D0428_bit_6 -D0428_bit_5 -D0428_bit_4 -D0428_bit_3 -D0428_bit_2 -D0428_bit_1 -D0428_bit0 -D0429_bit_7 D0429_bit_6 -D0429_bit_5 -D0429_bit_4 -D0429_bit_3 -D0429_bit_2 -D0429_bit_1 -D0429_bit0 -D0430_bit_7 -D0430_bit_6 -D0430_bit_5 -D0430_bit_4 D0430_bit_3 -D0430_bit_2 -D0430_bit_1 -D0430_bit0 D0431_bit_7 -D0431_bit_6 -D0431_bit_5 -D0431_bit_4 D0431_bit_3 -D0431_bit_2 -D0431_bit_1 -D0431_bit0 D0432_bit_7 -D0432_bit_6 -D0432_bit_5 -D0432_bit_4 -D0432_bit_3 -D0432_bit_2 -D0432_bit_1 -D0432_bit0 D0433_bit_7 -D0433_bit_6 D0433_bit_5 -D0433_bit_4 -D0433_bit_3 -D0433_bit_2 -D0433_bit_1 -D0433_bit0 -D0434_bit_7 -D0434_bit_6 D0434_bit_5 -D0434_bit_4 -D0434_bit_3 -D0434_bit_2 -D0434_bit_1 -D0434_bit0 -D0435_bit_7 -D0435_bit_6 -D0435_bit_5 -D0435_bit_4 -D0435_bit_3 -D0435_bit_2 -D0435_bit_1 -D0435_bit0 -D0436_bit_7 -D0436_bit_6 -D0436_bit_5 -D0436_bit_4 D0436_bit_3 -D0436_bit_2 -D0436_bit_1 -D0436_bit0 -D0437_bit_7 D0437_bit_6 -D0437_bit_5 -D0437_bit_4 -D0437_bit_3 -D0437_bit_2 -D0437_bit_1 -D0437_bit0 -D0438_bit_7 -D0438_bit_6 D0438_bit_5 -D0438_bit_4 -D0438_bit_3 -D0438_bit_2 -D0438_bit_1 -D0438_bit0 -D0439_bit_7 -D0439_bit_6 -D0439_bit_5 -D0439_bit_4 -D0439_bit_3 -D0439_bit_2 -D0439_bit_1 -D0439_bit0 -D0440_bit_7 D0440_bit_6 D0440_bit_5 -D0440_bit_4 -D0440_bit_3 D0440_bit_2 -D0440_bit_1 -D0440_bit0 -D0441_bit_7 -D0441_bit_6 -D0441_bit_5 D0441_bit_4 -D0441_bit_3 -D0441_bit_2 -D0441_bit_1 -D0441_bit0 -D0442_bit_7 D0442_bit_6 -D0442_bit_5 -D0442_bit_4 -D0442_bit_3 D0442_bit_2 -D0442_bit_1 -D0442_bit0 -D0443_bit_7 D0443_bit_6 -D0443_bit_5 -D0443_bit_4 -D0443_bit_3 -D0443_bit_2 -D0443_bit_1 -D0443_bit0 -D0444_bit_7 -D0444_bit_6 -D0444_bit_5 D0444_bit_4 -D0444_bit_3 -D0444_bit_2 -D0444_bit_1 -D0444_bit0 -D0446_bit_7 -D0446_bit_6 -D0446_bit_5 -D0446_bit_4 -D0446_bit_3 -D0446_bit_2 -D0446_bit_1 -D0446_bit0 -D0447_bit_7 D0447_bit_6 -D0447_bit_5 -D0447_bit_4 -D0447_bit_3 -D0447_bit_2 -D0447_bit_1 -D0447_bit0 -D0448_bit_7 -D0448_bit_6 -D0448_bit_5 -D0448_bit_4 -D0448_bit_3 -D0448_bit_2 -D0448_bit_1 -D0448_bit0 -D0449_bit_7 -D0449_bit_6 -D0449_bit_5 D0449_bit_4 -D0449_bit_3 -D0449_bit_2 -D0449_bit_1 -D0449_bit0 -D0450_bit_7 -D0450_bit_6 -D0450_bit_5 D0450_bit_4 -D0450_bit_3 -D0450_bit_2 -D0450_bit_1 -D0450_bit0 D0451_bit_7 -D0451_bit_6 -D0451_bit_5 -D0451_bit_4 -D0451_bit_3 -D0451_bit_2 -D0451_bit_1 -D0451_bit0 -D0452_bit_7 -D0452_bit_6 -D0452_bit_5 -D0452_bit_4 -D0452_bit_3 -D0452_bit_2 -D0452_bit_1 -D0452_bit0 -D0453_bit_7 -D0453_bit_6 -D0453_bit_5 D0453_bit_4 -D0453_bit_3 -D0453_bit_2 -D0453_bit_1 -D0453_bit0 -D0454_bit_7 -D0454_bit_6 -D0454_bit_5 D0454_bit_4 D0454_bit_3 -D0454_bit_2 -D0454_bit_1 -D0454_bit0 -D0455_bit_7 -D0455_bit_6 -D0455_bit_5 -D0455_bit_4 -D0455_bit_3 -D0455_bit_2 -D0455_bit_1 -D0455_bit0 D0456_bit_7 D0456_bit_6 -D0456_bit_5 -D0456_bit_4 -D0456_bit_3 -D0456_bit_2 -D0456_bit_1 -D0456_bit0 D0457_bit_7 -D0457_bit_6 -D0457_bit_5 -D0457_bit_4 -D0457_bit_3 -D0457_bit_2 -D0457_bit_1 -D0457_bit0 -D0458_bit_7 -D0458_bit_6 -D0458_bit_5 D0458_bit_4 -D0458_bit_3 -D0458_bit_2 -D0458_bit_1 -D0458_bit0 -D0459_bit_7 -D0459_bit_6 -D0459_bit_5 -D0459_bit_4 -D0459_bit_3 -D0459_bit_2 -D0459_bit_1 -D0459_bit0 -D0460_bit_7 -D0460_bit_6 -D0460_bit_5 -D0460_bit_4 -D0460_bit_3 D0460_bit_2 -D0460_bit_1 -D0460_bit0 -D0461_bit_7 -D0461_bit_6 -D0461_bit_5 D0461_bit_4 -D0461_bit_3 -D0461_bit_2 -D0461_bit_1 -D0461_bit0 D0462_bit_7 D0462_bit_6 -D0462_bit_5 -D0462_bit_4 -D0462_bit_3 -D0462_bit_2 -D0462_bit_1 -D0462_bit0 -D0463_bit_7 -D0463_bit_6 -D0463_bit_5 -D0463_bit_4 -D0463_bit_3 -D0463_bit_2 -D0463_bit_1 -D0463_bit0 -D0464_bit_7 D0464_bit_6 -D0464_bit_5 D0464_bit_4 -D0464_bit_3 D0464_bit_2 -D0464_bit_1 -D0464_bit0 D0465_bit_7 D0465_bit_6 -D0465_bit_5 -D0465_bit_4 -D0465_bit_3 -D0465_bit_2 -D0465_bit_1 -D0465_bit0 -D0466_bit_7 -D0466_bit_6 -D0466_bit_5 -D0466_bit_4 -D0466_bit_3 -D0466_bit_2 -D0466_bit_1 -D0466_bit0 -D0467_bit_7 -D0467_bit_6 -D0467_bit_5 -D0467_bit_4 -D0467_bit_3 -D0467_bit_2 -D0467_bit_1 -D0467_bit0 -D0468_bit_7 -D0468_bit_6 -D0468_bit_5 -D0468_bit_4 -D0468_bit_3 -D0468_bit_2 -D0468_bit_1 -D0468_bit0 -D0469_bit_7 D0469_bit_6 D0469_bit_5 D0469_bit_4 -D0469_bit_3 -D0469_bit_2 -D0469_bit_1 -D0469_bit0 -D0470_bit_7 -D0470_bit_6 D0470_bit_5 -D0470_bit_4 D0470_bit_3 -D0470_bit_2 -D0470_bit_1 -D0470_bit0 -D0471_bit_7 -D0471_bit_6 -D0471_bit_5 -D0471_bit_4 -D0471_bit_3 -D0471_bit_2 -D0471_bit_1 -D0471_bit0 D0472_bit_7 D0472_bit_6 -D0472_bit_5 -D0472_bit_4 -D0472_bit_3 -D0472_bit_2 -D0472_bit_1 -D0472_bit0 -D0473_bit_7 -D0473_bit_6 -D0473_bit_5 -D0473_bit_4 D0473_bit_3 -D0473_bit_2 -D0473_bit_1 -D0473_bit0 D0474_bit_7 D0474_bit_6 -D0474_bit_5 -D0474_bit_4 -D0474_bit_3 -D0474_bit_2 -D0474_bit_1 -D0474_bit0 -D0475_bit_7 -D0475_bit_6 -D0475_bit_5 D0475_bit_4 -D0475_bit_3 -D0475_bit_2 -D0475_bit_1 -D0475_bit0 D0476_bit_7 -D0476_bit_6 -D0476_bit_5 -D0476_bit_4 -D0476_bit_3 -D0476_bit_2 -D0476_bit_1 -D0476_bit0 D0477_bit_7 D0477_bit_6 D0477_bit_5 D0477_bit_4 -D0477_bit_3 -D0477_bit_2 -D0477_bit_1 -D0477_bit0 -D0478_bit_7 -D0478_bit_6 D0478_bit_5 -D0478_bit_4 -D0478_bit_3 -D0478_bit_2 -D0478_bit_1 -D0478_bit0 -D0479_bit_7 -D0479_bit_6 -D0479_bit_5 -D0479_bit_4 -D0479_bit_3 -D0479_bit_2 -D0479_bit_1 -D0479_bit0 -D0480_bit_7 -D0480_bit_6 D0480_bit_5 -D0480_bit_4 -D0480_bit_3 -D0480_bit_2 -D0480_bit_1 -D0480_bit0 -D0481_bit_7 -D0481_bit_6 -D0481_bit_5 D0481_bit_4 -D0481_bit_3 -D0481_bit_2 -D0481_bit_1 -D0481_bit0 -D0482_bit_7 -D0482_bit_6 -D0482_bit_5 -D0482_bit_4 -D0482_bit_3 -D0482_bit_2 -D0482_bit_1 -D0482_bit0 -D0483_bit_7 -D0483_bit_6 -D0483_bit_5 -D0483_bit_4 D0483_bit_3 -D0483_bit_2 -D0483_bit_1 -D0483_bit0 -D0484_bit_7 -D0484_bit_6 -D0484_bit_5 -D0484_bit_4 -D0484_bit_3 -D0484_bit_2 -D0484_bit_1 -D0484_bit0 -D0485_bit_7 -D0485_bit_6 D0485_bit_5 -D0485_bit_4 -D0485_bit_3 -D0485_bit_2 -D0485_bit_1 -D0485_bit0 -D0306_bit_7 D0306_bit_6 -D0306_bit_5 D0306_bit_4 -D0306_bit_3 -D0306_bit_2 D0306_bit_1 -D0306_bit0 -D0310_bit_7 -D0310_bit_6 -D0310_bit_5 -D0310_bit_4 -D0310_bit_3 -D0310_bit_2 D0310_bit_1 -D0310_bit0 -D0326_bit_7 -D0326_bit_6 -D0326_bit_5 -D0326_bit_4 -D0326_bit_3 -D0326_bit_2 -D0326_bit_1 D0326_bit0 -D0339_bit_7 -D0339_bit_6 -D0339_bit_5 -D0339_bit_4 -D0339_bit_3 -D0339_bit_2 -D0339_bit_1 D0339_bit0 -D0342_bit_7 -D0342_bit_6 -D0342_bit_5 -D0342_bit_4 -D0342_bit_3 -D0342_bit_2 -D0342_bit_1 D0342_bit0 D0370_bit_7 -D0370_bit_6 -D0370_bit_5 -D0370_bit_4 D0370_bit_3 -D0370_bit_2 -D0370_bit_1 -D0370_bit0 -D0374_bit_7 -D0374_bit_6 D0374_bit_5 -D0374_bit_4 -D0374_bit_3 -D0374_bit_2 -D0374_bit_1 -D0374_bit0 -D0380_bit_7 -D0380_bit_6 -D0380_bit_5 -D0380_bit_4 -D0380_bit_3 -D0380_bit_2 -D0380_bit_1 D0380_bit0 -D0381_bit_7 D0381_bit_6 -D0381_bit_5 -D0381_bit_4 -D0381_bit_3 -D0381_bit_2 -D0381_bit_1 -D0381_bit0 -D0393_bit_7 D0393_bit_6 -D0393_bit_5 -D0393_bit_4 D0393_bit_3 -D0393_bit_2 -D0393_bit_1 -D0393_bit0 -D0402_bit_7 -D0402_bit_6 -D0402_bit_5 -D0402_bit_4 -D0402_bit_3 D0402_bit_2 D0402_bit_1 -D0402_bit0 -D0425_bit_7 -D0425_bit_6 -D0425_bit_5 -D0425_bit_4 -D0425_bit_3 -D0425_bit_2 D0425_bit_1 -D0425_bit0 -D0445_bit_7 -D0445_bit_6 -D0445_bit_5 -D0445_bit_4 -D0445_bit_3 -D0445_bit_2 -D0445_bit_1 D0445_bit0 -A01_bit_7 -A01_bit_6 -A01_bit_5 -A01_bit_4 -A01_bit_3 -A01_bit_2 -A01_bit_1 -A01_bit0 -A01_bit1 -A01_bit2 -A01_bit3 -A01_bit4 -A01_bit5 -A01_bit6 -A01_bit7 -A01_bit8 -A01_bit9 -A01_bit10 -A01_bit11 -A01_bit12 -A02_bit_7 -A02_bit_6 -A02_bit_5 -A02_bit_4 -A02_bit_3 -A02_bit_2 -A02_bit_1 -A02_bit0 -A02_bit1 -A02_bit2 -A02_bit3 -A02_bit4 -A02_bit5 -A02_bit6 -A02_bit7 -A02_bit8 -A02_bit9 -A02_bit10 -A02_bit11 -A02_bit12 -A03_bit_7 -A03_bit_6 -A03_bit_5 -A03_bit_4 -A03_bit_3 -A03_bit_2 -A03_bit_1 -A03_bit0 -A03_bit1 -A03_bit2 -A03_bit3 -A03_bit4 -A03_bit5 -A03_bit6 -A03_bit7 -A03_bit8 -A03_bit9 -A03_bit10 -A03_bit11 -A03_bit12 -A04_bit_7 -A04_bit_6 A04_bit_5 -A04_bit_4 -A04_bit_3 -A04_bit_2 -A04_bit_1 -A04_bit0 -A04_bit1 -A04_bit2 -A04_bit3 -A04_bit4 -A04_bit5 -A04_bit6 -A04_bit7 -A04_bit8 -A04_bit9 -A04_bit10 -A04_bit11 -A04_bit12 -A05_bit_7 -A05_bit_6 -A05_bit_5 -A05_bit_4 -A05_bit_3 -A05_bit_2 -A05_bit_1 -A05_bit0 -A05_bit1 -A05_bit2 -A05_bit3 -A05_bit4 -A05_bit5 -A05_bit6 -A05_bit7 -A05_bit8 -A05_bit9 -A05_bit10 -A05_bit11 -A05_bit12 -A06_bit_7 -A06_bit_6 -A06_bit_5 -A06_bit_4 -A06_bit_3 -A06_bit_2 -A06_bit_1 -A06_bit0 -A06_bit1 -A06_bit2 -A06_bit3 -A06_bit4 -A06_bit5 -A06_bit6 -A06_bit7 -A06_bit8 -A06_bit9 -A06_bit10 -A06_bit11 -A06_bit12 -A07_bit_7 -A07_bit_6 -A07_bit_5 -A07_bit_4 -A07_bit_3 -A07_bit_2 -A07_bit_1 -A07_bit0 -A07_bit1 -A07_bit2 -A07_bit3 -A07_bit4 -A07_bit5 -A07_bit6 -A07_bit7 -A07_bit8 -A07_bit9 -A07_bit10 -A07_bit11 -A07_bit12 -A08_bit_7 -A08_bit_6 -A08_bit_5 -A08_bit_4 -A08_bit_3 -A08_bit_2 -A08_bit_1 -A08_bit0 -A08_bit1 -A08_bit2 -A08_bit3 -A08_bit4 -A08_bit5 -A08_bit6 -A08_bit7 -A08_bit8 -A08_bit9 -A08_bit10 -A08_bit11 -A08_bit12 -A09_bit_7 -A09_bit_6 -A09_bit_5 -A09_bit_4 -A09_bit_3 -A09_bit_2 -A09_bit_1 -A09_bit0 -A09_bit1 -A09_bit2 -A09_bit3 -A09_bit4 -A09_bit5 -A09_bit6 -A09_bit7 -A09_bit8 -A09_bit9 -A09_bit10 -A09_bit11 -A09_bit12 A10_bit_7 A10_bit_6 -A10_bit_5 -A10_bit_4 -A10_bit_3 -A10_bit_2 -A10_bit_1 -A10_bit0 -A10_bit1 -A10_bit2 -A10_bit3 -A10_bit4 -A10_bit5 -A10_bit6 -A10_bit7 -A10_bit8 -A10_bit9 -A10_bit10 -A10_bit11 -A10_bit12 -A11_bit_7 -A11_bit_6 -A11_bit_5 -A11_bit_4 -A11_bit_3 -A11_bit_2 -A11_bit_1 -A11_bit0 -A11_bit1 -A11_bit2 -A11_bit3 -A11_bit4 -A11_bit5 -A11_bit6 -A11_bit7 -A11_bit8 -A11_bit9 -A11_bit10 -A11_bit11 -A11_bit12 -A12_bit_7 -A12_bit_6 -A12_bit_5 -A12_bit_4 -A12_bit_3 -A12_bit_2 -A12_bit_1 -A12_bit0 -A12_bit1 -A12_bit2 -A12_bit3 -A12_bit4 -A12_bit5 -A12_bit6 -A12_bit7 -A12_bit8 -A12_bit9 -A12_bit10 -A12_bit11 -A12_bit12 -A13_bit_7 -A13_bit_6 -A13_bit_5 -A13_bit_4 -A13_bit_3 -A13_bit_2 -A13_bit_1 -A13_bit0 -A13_bit1 -A13_bit2 -A13_bit3 -A13_bit4 -A13_bit5 -A13_bit6 -A13_bit7 -A13_bit8 -A13_bit9 -A13_bit10 -A13_bit11 -A13_bit12 -A14_bit_7 -A14_bit_6 -A14_bit_5 -A14_bit_4 -A14_bit_3 -A14_bit_2 -A14_bit_1 -A14_bit0 -A14_bit1 -A14_bit2 -A14_bit3 -A14_bit4 -A14_bit5 -A14_bit6 -A14_bit7 -A14_bit8 -A14_bit9 -A14_bit10 -A14_bit11 -A14_bit12 -A15_bit_7 -A15_bit_6 -A15_bit_5 -A15_bit_4 -A15_bit_3 -A15_bit_2 -A15_bit_1 -A15_bit0 -A15_bit1 -A15_bit2 -A15_bit3 -A15_bit4 -A15_bit5 -A15_bit6 -A15_bit7 -A15_bit8 -A15_bit9 -A15_bit10 -A15_bit11 -A15_bit12 -A16_bit_7 -A16_bit_6 -A16_bit_5 -A16_bit_4 -A16_bit_3 -A16_bit_2 -A16_bit_1 -A16_bit0 -A16_bit1 -A16_bit2 -A16_bit3 -A16_bit4 -A16_bit5 -A16_bit6 -A16_bit7 -A16_bit8 -A16_bit9 -A16_bit10 -A16_bit11 -A16_bit12 -A17_bit_7 -A17_bit_6 -A17_bit_5 -A17_bit_4 -A17_bit_3 -A17_bit_2 -A17_bit_1 -A17_bit0 -A17_bit1 -A17_bit2 -A17_bit3 -A17_bit4 -A17_bit5 -A17_bit6 -A17_bit7 -A17_bit8 -A17_bit9 -A17_bit10 -A17_bit11 -A17_bit12 -A18_bit_7 -A18_bit_6 -A18_bit_5 -A18_bit_4 -A18_bit_3 -A18_bit_2 -A18_bit_1 -A18_bit0 -A18_bit1 -A18_bit2 -A18_bit3 -A18_bit4 -A18_bit5 -A18_bit6 -A18_bit7 -A18_bit8 -A18_bit9 -A18_bit10 -A18_bit11 -A18_bit12 -A19_bit_7 -A19_bit_6 -A19_bit_5 -A19_bit_4 -A19_bit_3 -A19_bit_2 -A19_bit_1 -A19_bit0 -A19_bit1 -A19_bit2 -A19_bit3 -A19_bit4 -A19_bit5 -A19_bit6 -A19_bit7 -A19_bit8 -A19_bit9 -A19_bit10 -A19_bit11 -A19_bit12 -A20_bit_7 -A20_bit_6 -A20_bit_5 -A20_bit_4 -A20_bit_3 -A20_bit_2 -A20_bit_1 -A20_bit0 -A20_bit1 -A20_bit2 -A20_bit3 -A20_bit4 -A20_bit5 -A20_bit6 -A20_bit7 -A20_bit8 -A20_bit9 -A20_bit10 -A20_bit11 -A20_bit12 -A21_bit_7 -A21_bit_6 -A21_bit_5 -A21_bit_4 -A21_bit_3 -A21_bit_2 -A21_bit_1 -A21_bit0 -A21_bit1 -A21_bit2 -A21_bit3 -A21_bit4 -A21_bit5 -A21_bit6 -A21_bit7 -A21_bit8 -A21_bit9 -A21_bit10 -A21_bit11 -A21_bit12 -A22_bit_7 -A22_bit_6 -A22_bit_5 -A22_bit_4 -A22_bit_3 -A22_bit_2 -A22_bit_1 -A22_bit0 -A22_bit1 -A22_bit2 -A22_bit3 -A22_bit4 -A22_bit5 -A22_bit6 -A22_bit7 -A22_bit8 -A22_bit9 -A22_bit10 -A22_bit11 -A22_bit12 -A23_bit_7 -A23_bit_6 -A23_bit_5 -A23_bit_4 -A23_bit_3 -A23_bit_2 -A23_bit_1 -A23_bit0 -A23_bit1 -A23_bit2 -A23_bit3 -A23_bit4 -A23_bit5 -A23_bit6 -A23_bit7 -A23_bit8 -A23_bit9 -A23_bit10 -A23_bit11 -A23_bit12 -A24_bit_7 -A24_bit_6 -A24_bit_5 -A24_bit_4 -A24_bit_3 -A24_bit_2 -A24_bit_1 -A24_bit0 -A24_bit1 -A24_bit2 -A24_bit3 -A24_bit4 -A24_bit5 -A24_bit6 -A24_bit7 -A24_bit8 -A24_bit9 -A24_bit10 -A24_bit11 -A24_bit12 -A25_bit_7 -A25_bit_6 A25_bit_5 A25_bit_4 A25_bit_3 A25_bit_2 -A25_bit_1 -A25_bit0 -A25_bit1 -A25_bit2 -A25_bit3 -A25_bit4 -A25_bit5 -A25_bit6 -A25_bit7 -A25_bit8 -A25_bit9 -A25_bit10 -A25_bit11 -A25_bit12 B25_bit_7 -B25_bit_6 B25_bit_5 B25_bit_4 B25_bit_3 B25_bit_2 -B25_bit_1 -B25_bit0 -B25_bit1 -B25_bit2 -B25_bit3 -B25_bit4 -B25_bit5 -B25_bit6 -B25_bit7 -B25_bit8 -B25_bit9 -B25_bit10 -B25_bit11 -B25_bit12 -D0003_bit0 -D0015_bit0 D0019_bit0 -D0027_bit0 -D0029_bit0 -D0032_bit0 -D0036_bit0 -D0040_bit0 -D0046_bit0 -D0050_bit0 -D0051_bit0 D0058_bit0 -D0059_bit0 -D0061_bit0 -D0066_bit0 -D0067_bit0 D0069_bit0 D0076_bit0 D0078_bit0 D0088_bit0 -D0092_bit0 -D0096_bit0 -D0099_bit0 D0100_bit0 D0103_bit0 -D0110_bit0 D0111_bit0 -D0112_bit0 D0114_bit0 D0122_bit0 D0127_bit0 D0136_bit0 -D0146_bit0 -D0147_bit0 D0150_bit0 -D0154_bit0 D0155_bit0 -D0156_bit0 -D0158_bit0 -D0159_bit0 -D0160_bit0 -D0161_bit0 -D0177_bit0 -D0181_bit0 D0185_bit0 D0191_bit0 D0193_bit0 D0194_bit0 -D0199_bit0 -D0200_bit0 -D0218_bit0 -D0226_bit0 D0232_bit0 D0233_bit0 -D0239_bit0 D0240_bit0 -D0244_bit0 -D0253_bit0 -D0255_bit0 -D0256_bit0 -D0257_bit0 D0272_bit0 D0273_bit0 D0274_bit0 -D0284_bit0 -D0294_bit0 
c Cost: 2538999
c Exit Code: 10
c Total time: 1195 s