c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 3115 variables and 672 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 4.924
c After prepocess the problem consists of 2621 variables and 672 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 2621 #Dec: 4940 LB: 0 @ 8.513
c Restart #2 #Var: 2621 #Dec: 13714 LB: 0 @ 15.464
c Restart #3 #Var: 2621 #Dec: 25582 LB: 0 @ 25.651
c Restart #4 #Var: 2621 #Dec: 41110 LB: 0 @ 39.227
c Restart #5 #Var: 2621 #Dec: 59762 LB: 0 @ 56.077
c Restart #6 #Var: 2621 #Dec: 82031 LB: 0 @ 76.195
c Restart #7 #Var: 2621 #Dec: 110611 LB: 0 @ 99.732
c Restart #8 #Var: 2621 #Dec: 125506 LB: 0 @ 125.88
c Restart #9 #Var: 2621 #Dec: 127418 LB: 0 @ 152.86
c Restart #10 #Var: 2621 #Dec: 129502 LB: 0 @ 183.44
c NEW SOLUTION FOUND: 33720374 @ 183.49 @ #Dec. 129780
c NEW SOLUTION FOUND: 33720337 @ 187.91 @ #Dec. 211277
c NEW SOLUTION FOUND: 33720263 @ 188.54 @ #Dec. 212611
c NEW SOLUTION FOUND: 33720189 @ 188.68 @ #Dec. 214070
c NEW SOLUTION FOUND: 33720115 @ 188.73 @ #Dec. 215440
c NEW SOLUTION FOUND: 33720041 @ 188.77 @ #Dec. 216910
c NEW SOLUTION FOUND: 33719967 @ 188.82 @ #Dec. 218381
c NEW SOLUTION FOUND: 33719893 @ 188.87 @ #Dec. 219853
c NEW SOLUTION FOUND: 33719819 @ 188.92 @ #Dec. 221326
c NEW SOLUTION FOUND: 33719635 @ 188.96 @ #Dec. 222800
c NEW SOLUTION FOUND: 33719561 @ 189.01 @ #Dec. 224275
c NEW SOLUTION FOUND: 33719487 @ 189.06 @ #Dec. 225751
c NEW SOLUTION FOUND: 33719413 @ 189.11 @ #Dec. 227228
c NEW SOLUTION FOUND: 33719339 @ 189.15 @ #Dec. 228706
c NEW SOLUTION FOUND: 33719265 @ 189.2 @ #Dec. 230185
c NEW SOLUTION FOUND: 33719191 @ 189.25 @ #Dec. 231665
c NEW SOLUTION FOUND: 33719043 @ 189.3 @ #Dec. 233146
c NEW SOLUTION FOUND: 33718895 @ 189.35 @ #Dec. 234628
c NEW SOLUTION FOUND: 33718747 @ 189.4 @ #Dec. 236111
c NEW SOLUTION FOUND: 33718673 @ 189.45 @ #Dec. 237595
c NEW SOLUTION FOUND: 33718599 @ 189.5 @ #Dec. 239080
c NEW SOLUTION FOUND: 33718525 @ 189.55 @ #Dec. 240566
c NEW SOLUTION FOUND: 33718451 @ 189.6 @ #Dec. 242053
c NEW SOLUTION FOUND: 33718377 @ 189.64 @ #Dec. 243541
c NEW SOLUTION FOUND: 33718303 @ 189.69 @ #Dec. 245030
c NEW SOLUTION FOUND: 33718229 @ 189.75 @ #Dec. 246520
c NEW SOLUTION FOUND: 33718155 @ 189.79 @ #Dec. 248011
c NEW SOLUTION FOUND: 33718081 @ 189.84 @ #Dec. 249503
c NEW SOLUTION FOUND: 33718007 @ 189.89 @ #Dec. 250996
c NEW SOLUTION FOUND: 33717933 @ 189.94 @ #Dec. 252490
c NEW SOLUTION FOUND: 33717859 @ 189.99 @ #Dec. 253985
c NEW SOLUTION FOUND: 33717785 @ 190.03 @ #Dec. 255481
c NEW SOLUTION FOUND: 33717711 @ 190.08 @ #Dec. 256978
c NEW SOLUTION FOUND: 33717637 @ 190.12 @ #Dec. 258476
c NEW SOLUTION FOUND: 33717563 @ 190.18 @ #Dec. 259975
c NEW SOLUTION FOUND: 33717489 @ 190.23 @ #Dec. 261475
c NEW SOLUTION FOUND: 33717341 @ 190.28 @ #Dec. 262977
c NEW SOLUTION FOUND: 33717267 @ 190.34 @ #Dec. 264480
c NEW SOLUTION FOUND: 33717193 @ 190.38 @ #Dec. 265984
c NEW SOLUTION FOUND: 33717119 @ 190.43 @ #Dec. 267489
c NEW SOLUTION FOUND: 33717045 @ 190.48 @ #Dec. 268995
c NEW SOLUTION FOUND: 33716971 @ 190.53 @ #Dec. 270502
c NEW SOLUTION FOUND: 33716897 @ 190.58 @ #Dec. 272010
c NEW SOLUTION FOUND: 33716823 @ 190.63 @ #Dec. 273519
c NEW SOLUTION FOUND: 33716749 @ 190.68 @ #Dec. 275029
c NEW SOLUTION FOUND: 33716675 @ 190.73 @ #Dec. 276540
c NEW SOLUTION FOUND: 33716601 @ 190.78 @ #Dec. 278052
c NEW SOLUTION FOUND: 33716527 @ 190.83 @ #Dec. 279565
c NEW SOLUTION FOUND: 33716453 @ 190.88 @ #Dec. 281079
c NEW SOLUTION FOUND: 33716379 @ 190.93 @ #Dec. 282594
c NEW SOLUTION FOUND: 33716305 @ 190.98 @ #Dec. 284110
c NEW SOLUTION FOUND: 33716157 @ 191.02 @ #Dec. 285627
c NEW SOLUTION FOUND: 33716083 @ 191.07 @ #Dec. 287146
c NEW SOLUTION FOUND: 33716009 @ 191.12 @ #Dec. 288666
c NEW SOLUTION FOUND: 33715935 @ 191.16 @ #Dec. 290187
c NEW SOLUTION FOUND: 33715861 @ 191.22 @ #Dec. 291709
c NEW SOLUTION FOUND: 33715787 @ 191.27 @ #Dec. 293232
c NEW SOLUTION FOUND: 33715713 @ 191.32 @ #Dec. 294756
c NEW SOLUTION FOUND: 33715639 @ 191.38 @ #Dec. 296281
c NEW SOLUTION FOUND: 33715565 @ 191.42 @ #Dec. 297807
c NEW SOLUTION FOUND: 33715491 @ 191.47 @ #Dec. 299334
c NEW SOLUTION FOUND: 33715417 @ 191.53 @ #Dec. 300862
c NEW SOLUTION FOUND: 33715343 @ 191.58 @ #Dec. 302391
c NEW SOLUTION FOUND: 33715195 @ 191.63 @ #Dec. 303921
c NEW SOLUTION FOUND: 33715047 @ 191.68 @ #Dec. 305452
c NEW SOLUTION FOUND: 33714973 @ 191.74 @ #Dec. 306984
c NEW SOLUTION FOUND: 33714899 @ 191.79 @ #Dec. 308517
c NEW SOLUTION FOUND: 33714862 @ 191.85 @ #Dec. 310051
c NEW SOLUTION FOUND: 33714825 @ 191.9 @ #Dec. 311586
c NEW SOLUTION FOUND: 33714788 @ 191.95 @ #Dec. 313121
c NEW SOLUTION FOUND: 33714751 @ 192 @ #Dec. 314657
c NEW SOLUTION FOUND: 33714714 @ 192.05 @ #Dec. 316193
c NEW SOLUTION FOUND: 33714640 @ 192.09 @ #Dec. 317731
c NEW SOLUTION FOUND: 33714603 @ 192.13 @ #Dec. 319269
c NEW SOLUTION FOUND: 33714529 @ 192.18 @ #Dec. 320808
c NEW SOLUTION FOUND: 33714492 @ 192.23 @ #Dec. 322348
c NEW SOLUTION FOUND: 33714418 @ 192.29 @ #Dec. 323888
c NEW SOLUTION FOUND: 33714344 @ 192.34 @ #Dec. 325430
c NEW SOLUTION FOUND: 33714307 @ 192.39 @ #Dec. 326972
c NEW SOLUTION FOUND: 33714270 @ 192.44 @ #Dec. 328516
c NEW SOLUTION FOUND: 33714196 @ 192.49 @ #Dec. 330061
c NEW SOLUTION FOUND: 33714159 @ 192.54 @ #Dec. 331607
c NEW SOLUTION FOUND: 33714122 @ 192.59 @ #Dec. 333154
c NEW SOLUTION FOUND: 33714085 @ 192.65 @ #Dec. 334704
c NEW SOLUTION FOUND: 33714011 @ 192.7 @ #Dec. 336252
c NEW SOLUTION FOUND: 33713974 @ 192.74 @ #Dec. 337804
c NEW SOLUTION FOUND: 33713937 @ 192.79 @ #Dec. 339358
c NEW SOLUTION FOUND: 33713845 @ 192.84 @ #Dec. 340912
c NEW SOLUTION FOUND: 33713771 @ 192.9 @ #Dec. 342466
c NEW SOLUTION FOUND: 33713697 @ 192.96 @ #Dec. 344022
c NEW SOLUTION FOUND: 33713660 @ 193.02 @ #Dec. 345578
c NEW SOLUTION FOUND: 33713623 @ 193.07 @ #Dec. 347135
c NEW SOLUTION FOUND: 33713586 @ 193.12 @ #Dec. 348693
c NEW SOLUTION FOUND: 33713512 @ 193.18 @ #Dec. 350254
c NEW SOLUTION FOUND: 33713475 @ 193.23 @ #Dec. 351814
c NEW SOLUTION FOUND: 33713401 @ 193.28 @ #Dec. 353376
c NEW SOLUTION FOUND: 33713364 @ 193.34 @ #Dec. 354938
c NEW SOLUTION FOUND: 33713327 @ 193.4 @ #Dec. 356502
c NEW SOLUTION FOUND: 33713290 @ 193.46 @ #Dec. 358066
c NEW SOLUTION FOUND: 33713253 @ 193.51 @ #Dec. 359632
c NEW SOLUTION FOUND: 33713216 @ 193.57 @ #Dec. 361197
c NEW SOLUTION FOUND: 33713179 @ 193.63 @ #Dec. 362766
c NEW SOLUTION FOUND: 33713105 @ 193.67 @ #Dec. 364338
c NEW SOLUTION FOUND: 33713031 @ 193.72 @ #Dec. 365910
c NEW SOLUTION FOUND: 33712994 @ 193.78 @ #Dec. 367484
c NEW SOLUTION FOUND: 33712920 @ 193.83 @ #Dec. 369057
c NEW SOLUTION FOUND: 33712883 @ 193.89 @ #Dec. 370633
c NEW SOLUTION FOUND: 33712809 @ 193.93 @ #Dec. 372210
c NEW SOLUTION FOUND: 33712772 @ 193.99 @ #Dec. 373788
c NEW SOLUTION FOUND: 33712735 @ 194.04 @ #Dec. 375367
c NEW SOLUTION FOUND: 33712661 @ 194.1 @ #Dec. 376947
c NEW SOLUTION FOUND: 33712587 @ 194.15 @ #Dec. 378528
c NEW SOLUTION FOUND: 33712513 @ 194.21 @ #Dec. 380112
c NEW SOLUTION FOUND: 33712366 @ 194.26 @ #Dec. 381698
c NEW SOLUTION FOUND: 33712329 @ 194.3 @ #Dec. 383285
c NEW SOLUTION FOUND: 33712255 @ 194.36 @ #Dec. 384872
c NEW SOLUTION FOUND: 33712218 @ 194.41 @ #Dec. 386461
c NEW SOLUTION FOUND: 33712181 @ 194.46 @ #Dec. 388050
c NEW SOLUTION FOUND: 33712107 @ 194.52 @ #Dec. 389640
c NEW SOLUTION FOUND: 33712033 @ 194.56 @ #Dec. 391231
c NEW SOLUTION FOUND: 33711959 @ 194.61 @ #Dec. 392823
c NEW SOLUTION FOUND: 33711885 @ 194.67 @ #Dec. 394416
c NEW SOLUTION FOUND: 33711811 @ 194.72 @ #Dec. 396010
c NEW SOLUTION FOUND: 33711737 @ 194.78 @ #Dec. 397605
c NEW SOLUTION FOUND: 33711663 @ 194.84 @ #Dec. 399201
c NEW SOLUTION FOUND: 33711589 @ 194.9 @ #Dec. 400798
c NEW SOLUTION FOUND: 33711515 @ 194.95 @ #Dec. 402396
c NEW SOLUTION FOUND: 33711441 @ 195 @ #Dec. 403995
c NEW SOLUTION FOUND: 33711367 @ 195.05 @ #Dec. 405596
c NEW SOLUTION FOUND: 33711330 @ 195.1 @ #Dec. 407198
c NEW SOLUTION FOUND: 33711293 @ 195.14 @ #Dec. 408801
c NEW SOLUTION FOUND: 33711256 @ 195.19 @ #Dec. 410404
c NEW SOLUTION FOUND: 33711219 @ 195.26 @ #Dec. 412009
c NEW SOLUTION FOUND: 33711182 @ 195.31 @ #Dec. 413613
c NEW SOLUTION FOUND: 33711145 @ 195.36 @ #Dec. 415220
c NEW SOLUTION FOUND: 33711108 @ 195.41 @ #Dec. 416829
c NEW SOLUTION FOUND: 33711071 @ 195.46 @ #Dec. 418438
c NEW SOLUTION FOUND: 33711034 @ 195.51 @ #Dec. 420048
c NEW SOLUTION FOUND: 33710997 @ 195.57 @ #Dec. 421659
c NEW SOLUTION FOUND: 33710960 @ 195.62 @ #Dec. 423269
c NEW SOLUTION FOUND: 33710923 @ 195.67 @ #Dec. 424882
c NEW SOLUTION FOUND: 33710886 @ 195.73 @ #Dec. 426496
c NEW SOLUTION FOUND: 33710849 @ 195.79 @ #Dec. 428111
c NEW SOLUTION FOUND: 33710812 @ 195.85 @ #Dec. 429728
c NEW SOLUTION FOUND: 33710775 @ 195.9 @ #Dec. 431345
c NEW SOLUTION FOUND: 33710701 @ 195.96 @ #Dec. 432963
c NEW SOLUTION FOUND: 33710664 @ 196 @ #Dec. 434582
c NEW SOLUTION FOUND: 33710627 @ 196.05 @ #Dec. 436202
c NEW SOLUTION FOUND: 33710590 @ 196.11 @ #Dec. 437822
c NEW SOLUTION FOUND: 33710553 @ 196.16 @ #Dec. 439444
c NEW SOLUTION FOUND: 33710516 @ 196.22 @ #Dec. 441066
c NEW SOLUTION FOUND: 33710479 @ 196.27 @ #Dec. 442690
c NEW SOLUTION FOUND: 33710442 @ 196.32 @ #Dec. 444314
c NEW SOLUTION FOUND: 33710405 @ 196.39 @ #Dec. 445940
c NEW SOLUTION FOUND: 33710368 @ 196.45 @ #Dec. 447565
c NEW SOLUTION FOUND: 33710331 @ 196.5 @ #Dec. 449191
c NEW SOLUTION FOUND: 33710294 @ 196.57 @ #Dec. 450820
c NEW SOLUTION FOUND: 33710257 @ 196.62 @ #Dec. 452448
c NEW SOLUTION FOUND: 33710220 @ 196.67 @ #Dec. 454078
c NEW SOLUTION FOUND: 33710183 @ 196.73 @ #Dec. 455708
c NEW SOLUTION FOUND: 33710146 @ 196.78 @ #Dec. 457340
c NEW SOLUTION FOUND: 33710109 @ 196.84 @ #Dec. 458973
c NEW SOLUTION FOUND: 33710072 @ 196.9 @ #Dec. 460607
c NEW SOLUTION FOUND: 33710035 @ 196.95 @ #Dec. 462242
c NEW SOLUTION FOUND: 33709998 @ 197.02 @ #Dec. 463881
c NEW SOLUTION FOUND: 33709961 @ 197.07 @ #Dec. 465518
c NEW SOLUTION FOUND: 33709924 @ 197.13 @ #Dec. 467158
c NEW SOLUTION FOUND: 33709887 @ 197.18 @ #Dec. 468797
c NEW SOLUTION FOUND: 33709850 @ 197.23 @ #Dec. 470438
c NEW SOLUTION FOUND: 33709776 @ 197.29 @ #Dec. 472080
c NEW SOLUTION FOUND: 33709739 @ 197.35 @ #Dec. 473724
c NEW SOLUTION FOUND: 33709702 @ 197.41 @ #Dec. 475371
c NEW SOLUTION FOUND: 33709665 @ 197.46 @ #Dec. 477017
c NEW SOLUTION FOUND: 33709628 @ 197.52 @ #Dec. 478664
c NEW SOLUTION FOUND: 33709536 @ 197.58 @ #Dec. 480312
c NEW SOLUTION FOUND: 33709462 @ 197.64 @ #Dec. 481960
c NEW SOLUTION FOUND: 33709388 @ 197.69 @ #Dec. 483610
c NEW SOLUTION FOUND: 33709314 @ 197.75 @ #Dec. 485260
c NEW SOLUTION FOUND: 33709277 @ 197.81 @ #Dec. 486912
c NEW SOLUTION FOUND: 33709240 @ 197.87 @ #Dec. 488564
c NEW SOLUTION FOUND: 33709203 @ 197.93 @ #Dec. 490217
c NEW SOLUTION FOUND: 33709166 @ 197.98 @ #Dec. 491871
c NEW SOLUTION FOUND: 33709129 @ 198.05 @ #Dec. 493527
c NEW SOLUTION FOUND: 33709092 @ 198.11 @ #Dec. 495184
c NEW SOLUTION FOUND: 33709055 @ 198.16 @ #Dec. 496845
c NEW SOLUTION FOUND: 33709018 @ 198.21 @ #Dec. 498504
c NEW SOLUTION FOUND: 33708981 @ 198.27 @ #Dec. 500167
c NEW SOLUTION FOUND: 33708944 @ 198.34 @ #Dec. 501828
c NEW SOLUTION FOUND: 33708907 @ 198.4 @ #Dec. 503492
c NEW SOLUTION FOUND: 33708870 @ 198.47 @ #Dec. 505155
c NEW SOLUTION FOUND: 33708833 @ 198.53 @ #Dec. 506820
c NEW SOLUTION FOUND: 33708796 @ 198.59 @ #Dec. 508488
c NEW SOLUTION FOUND: 33708759 @ 198.64 @ #Dec. 510157
c NEW SOLUTION FOUND: 33708722 @ 198.71 @ #Dec. 511827
c NEW SOLUTION FOUND: 33708685 @ 198.77 @ #Dec. 513498
c NEW SOLUTION FOUND: 33708648 @ 198.83 @ #Dec. 515170
c NEW SOLUTION FOUND: 33708611 @ 198.89 @ #Dec. 516842
c NEW SOLUTION FOUND: 33708574 @ 198.95 @ #Dec. 518516
c NEW SOLUTION FOUND: 33708537 @ 199.02 @ #Dec. 520189
c NEW SOLUTION FOUND: 33708500 @ 199.07 @ #Dec. 521865
c NEW SOLUTION FOUND: 33708463 @ 199.13 @ #Dec. 523539
c NEW SOLUTION FOUND: 33708426 @ 199.19 @ #Dec. 525217
c NEW SOLUTION FOUND: 33708389 @ 199.26 @ #Dec. 526897
c NEW SOLUTION FOUND: 33708352 @ 199.32 @ #Dec. 528578
c NEW SOLUTION FOUND: 33708315 @ 199.38 @ #Dec. 530259
c NEW SOLUTION FOUND: 33708278 @ 199.45 @ #Dec. 531942
c NEW SOLUTION FOUND: 33708241 @ 199.51 @ #Dec. 533624
c NEW SOLUTION FOUND: 33708167 @ 199.57 @ #Dec. 535309
c NEW SOLUTION FOUND: 33708130 @ 199.63 @ #Dec. 536993
c NEW SOLUTION FOUND: 33708093 @ 199.7 @ #Dec. 538678
c NEW SOLUTION FOUND: 33708056 @ 199.76 @ #Dec. 540364
c NEW SOLUTION FOUND: 33708019 @ 199.82 @ #Dec. 542050
c NEW SOLUTION FOUND: 33707982 @ 199.88 @ #Dec. 543738
c NEW SOLUTION FOUND: 33707945 @ 199.94 @ #Dec. 545427
c NEW SOLUTION FOUND: 33707908 @ 200 @ #Dec. 547117
c NEW SOLUTION FOUND: 33707871 @ 200.07 @ #Dec. 548810
c NEW SOLUTION FOUND: 33707834 @ 200.13 @ #Dec. 550502
c NEW SOLUTION FOUND: 33707797 @ 200.19 @ #Dec. 552196
c NEW SOLUTION FOUND: 33707760 @ 200.25 @ #Dec. 553890
c NEW SOLUTION FOUND: 33707723 @ 200.32 @ #Dec. 555586
c NEW SOLUTION FOUND: 33707649 @ 200.38 @ #Dec. 557282
c NEW SOLUTION FOUND: 33707612 @ 200.43 @ #Dec. 558980
c NEW SOLUTION FOUND: 33707538 @ 200.49 @ #Dec. 560678
c NEW SOLUTION FOUND: 33707464 @ 200.56 @ #Dec. 562378
c NEW SOLUTION FOUND: 33707427 @ 200.61 @ #Dec. 564078
c NEW SOLUTION FOUND: 33707390 @ 200.68 @ #Dec. 565780
c NEW SOLUTION FOUND: 33707353 @ 200.74 @ #Dec. 567482
c NEW SOLUTION FOUND: 33707316 @ 200.8 @ #Dec. 569185
c NEW SOLUTION FOUND: 33707279 @ 200.87 @ #Dec. 570888
c NEW SOLUTION FOUND: 33707242 @ 200.93 @ #Dec. 572594
c NEW SOLUTION FOUND: 33707205 @ 200.98 @ #Dec. 574301
c NEW SOLUTION FOUND: 33707168 @ 201.06 @ #Dec. 576009
c NEW SOLUTION FOUND: 33707131 @ 201.12 @ #Dec. 577719
c NEW SOLUTION FOUND: 33707094 @ 201.18 @ #Dec. 579429
c NEW SOLUTION FOUND: 33707057 @ 201.25 @ #Dec. 581140
c NEW SOLUTION FOUND: 33707020 @ 201.31 @ #Dec. 582852
c NEW SOLUTION FOUND: 33706983 @ 201.37 @ #Dec. 584564
c NEW SOLUTION FOUND: 33706946 @ 201.44 @ #Dec. 586278
c NEW SOLUTION FOUND: 33706909 @ 201.5 @ #Dec. 587991
c NEW SOLUTION FOUND: 33706872 @ 201.56 @ #Dec. 589707
c NEW SOLUTION FOUND: 33706835 @ 201.62 @ #Dec. 591425
c NEW SOLUTION FOUND: 33706798 @ 201.68 @ #Dec. 593143
c NEW SOLUTION FOUND: 33706761 @ 201.75 @ #Dec. 594862
c NEW SOLUTION FOUND: 33706724 @ 201.81 @ #Dec. 596582
c NEW SOLUTION FOUND: 33706687 @ 201.88 @ #Dec. 598301
c NEW SOLUTION FOUND: 33706650 @ 201.95 @ #Dec. 600023
c NEW SOLUTION FOUND: 33706613 @ 202.01 @ #Dec. 601746
c NEW SOLUTION FOUND: 33706576 @ 202.07 @ #Dec. 603470
c NEW SOLUTION FOUND: 33706539 @ 202.14 @ #Dec. 605196
c NEW SOLUTION FOUND: 33706502 @ 202.21 @ #Dec. 606922
c NEW SOLUTION FOUND: 33706465 @ 202.27 @ #Dec. 608649
c NEW SOLUTION FOUND: 33706428 @ 202.33 @ #Dec. 610377
c NEW SOLUTION FOUND: 33706391 @ 202.39 @ #Dec. 612105
c NEW SOLUTION FOUND: 33706354 @ 202.45 @ #Dec. 613835
c NEW SOLUTION FOUND: 33706317 @ 202.52 @ #Dec. 615565
c NEW SOLUTION FOUND: 33706280 @ 202.58 @ #Dec. 617297
c NEW SOLUTION FOUND: 33706243 @ 202.63 @ #Dec. 619028
c NEW SOLUTION FOUND: 33706206 @ 202.69 @ #Dec. 620762
c NEW SOLUTION FOUND: 33706169 @ 202.76 @ #Dec. 622498
c NEW SOLUTION FOUND: 33706132 @ 202.82 @ #Dec. 624233
c NEW SOLUTION FOUND: 33706095 @ 202.88 @ #Dec. 625969
c NEW SOLUTION FOUND: 33706058 @ 202.95 @ #Dec. 627706
c NEW SOLUTION FOUND: 33706021 @ 203.01 @ #Dec. 629443
c NEW SOLUTION FOUND: 33705984 @ 203.08 @ #Dec. 631182
c NEW SOLUTION FOUND: 23589624 @ 205.53 @ #Dec. 632786
c NEW SOLUTION FOUND: 23569816 @ 205.54 @ #Dec. 632792
c NEW SOLUTION FOUND: 23550008 @ 205.54 @ #Dec. 632799
c NEW SOLUTION FOUND: 23530200 @ 205.54 @ #Dec. 632808
c NEW SOLUTION FOUND: 23510392 @ 205.55 @ #Dec. 632820
c NEW SOLUTION FOUND: 23490584 @ 205.55 @ #Dec. 632834
c NEW SOLUTION FOUND: 23470776 @ 205.55 @ #Dec. 632847
c NEW SOLUTION FOUND: 23450968 @ 205.56 @ #Dec. 632863
c NEW SOLUTION FOUND: 23431160 @ 205.56 @ #Dec. 632880
c NEW SOLUTION FOUND: 23411352 @ 205.57 @ #Dec. 632899
c NEW SOLUTION FOUND: 23391544 @ 205.57 @ #Dec. 632919
c NEW SOLUTION FOUND: 23371736 @ 205.58 @ #Dec. 632940
c NEW SOLUTION FOUND: 23351928 @ 205.58 @ #Dec. 632968
c NEW SOLUTION FOUND: 23342024 @ 205.58 @ #Dec. 632999
c NEW SOLUTION FOUND: 23332120 @ 205.59 @ #Dec. 633031
c NEW SOLUTION FOUND: 23322216 @ 205.59 @ #Dec. 633066
c NEW SOLUTION FOUND: 23312312 @ 205.6 @ #Dec. 633102
c NEW SOLUTION FOUND: 23302408 @ 205.6 @ #Dec. 633139
c NEW SOLUTION FOUND: 23292504 @ 205.6 @ #Dec. 633175
c NEW SOLUTION FOUND: 23282600 @ 205.61 @ #Dec. 633216
c NEW SOLUTION FOUND: 23272696 @ 205.61 @ #Dec. 633257
c NEW SOLUTION FOUND: 23262792 @ 205.62 @ #Dec. 633301
c NEW SOLUTION FOUND: 23252888 @ 205.62 @ #Dec. 633346
c NEW SOLUTION FOUND: 23242984 @ 205.63 @ #Dec. 633392
c NEW SOLUTION FOUND: 23233080 @ 205.63 @ #Dec. 633445
c NEW SOLUTION FOUND: 23228128 @ 205.64 @ #Dec. 633502
c NEW SOLUTION FOUND: 23223176 @ 205.65 @ #Dec. 633559
c NEW SOLUTION FOUND: 23218224 @ 205.65 @ #Dec. 633618
c NEW SOLUTION FOUND: 23213272 @ 205.66 @ #Dec. 633679
c NEW SOLUTION FOUND: 23208320 @ 205.66 @ #Dec. 633741
c NEW SOLUTION FOUND: 23203368 @ 205.67 @ #Dec. 633803
c NEW SOLUTION FOUND: 23198416 @ 205.67 @ #Dec. 633868
c NEW SOLUTION FOUND: 23193464 @ 205.68 @ #Dec. 633934
c NEW SOLUTION FOUND: 23188512 @ 205.68 @ #Dec. 634002
c NEW SOLUTION FOUND: 23183560 @ 205.69 @ #Dec. 634071
c NEW SOLUTION FOUND: 23178608 @ 205.69 @ #Dec. 634142
c NEW SOLUTION FOUND: 23173656 @ 205.7 @ #Dec. 634220
c NEW SOLUTION FOUND: 23171180 @ 205.71 @ #Dec. 634301
c NEW SOLUTION FOUND: 23168704 @ 205.71 @ #Dec. 634382
c NEW SOLUTION FOUND: 23166228 @ 205.72 @ #Dec. 634465
c NEW SOLUTION FOUND: 23163752 @ 205.73 @ #Dec. 634551
c NEW SOLUTION FOUND: 23161276 @ 205.73 @ #Dec. 634639
c NEW SOLUTION FOUND: 23158800 @ 205.74 @ #Dec. 634726
c NEW SOLUTION FOUND: 23156324 @ 205.75 @ #Dec. 634817
c NEW SOLUTION FOUND: 23153848 @ 205.75 @ #Dec. 634908
c NEW SOLUTION FOUND: 23151372 @ 205.76 @ #Dec. 635001
c NEW SOLUTION FOUND: 23148896 @ 205.76 @ #Dec. 635096
c NEW SOLUTION FOUND: 23146420 @ 205.77 @ #Dec. 635192
c NEW SOLUTION FOUND: 23143944 @ 205.78 @ #Dec. 635297
c NEW SOLUTION FOUND: 23142706 @ 205.78 @ #Dec. 635405
c NEW SOLUTION FOUND: 23141468 @ 205.79 @ #Dec. 635513
c NEW SOLUTION FOUND: 23140230 @ 205.8 @ #Dec. 635623
c NEW SOLUTION FOUND: 23138992 @ 205.81 @ #Dec. 635735
c NEW SOLUTION FOUND: 23137754 @ 205.81 @ #Dec. 635849
c NEW SOLUTION FOUND: 23136516 @ 205.82 @ #Dec. 635962
c NEW SOLUTION FOUND: 23135278 @ 205.83 @ #Dec. 636078
c NEW SOLUTION FOUND: 23134040 @ 205.83 @ #Dec. 636194
c NEW SOLUTION FOUND: 23132802 @ 205.84 @ #Dec. 636312
c NEW SOLUTION FOUND: 23131564 @ 205.85 @ #Dec. 636432
c NEW SOLUTION FOUND: 23130326 @ 205.86 @ #Dec. 636553
c NEW SOLUTION FOUND: 23129088 @ 205.87 @ #Dec. 636719
c NEW SOLUTION FOUND: 23091570 @ 205.88 @ #Dec. 636902
c NEW SOLUTION FOUND: 23055606 @ 205.89 @ #Dec. 637087
c NEW SOLUTION FOUND: 23054866 @ 205.9 @ #Dec. 637270
c NEW SOLUTION FOUND: 23054792 @ 205.91 @ #Dec. 637449
c NEW SOLUTION FOUND: 23021270 @ 205.93 @ #Dec. 637638
c NEW SOLUTION FOUND: 23020456 @ 205.94 @ #Dec. 637824
c NEW SOLUTION FOUND: 22985676 @ 205.97 @ #Dec. 638087
c NEW SOLUTION FOUND: 22985602 @ 205.98 @ #Dec. 638218
c NEW SOLUTION FOUND: 22984862 @ 205.99 @ #Dec. 638356
c NEW SOLUTION FOUND: 22984788 @ 206 @ #Dec. 638493
c NEW SOLUTION FOUND: 22984714 @ 206.02 @ #Dec. 638737
c NEW SOLUTION FOUND: 22950082 @ 206.06 @ #Dec. 639167
c NEW SOLUTION FOUND: 22950008 @ 206.07 @ #Dec. 639313
c NEW SOLUTION FOUND: 22949342 @ 206.08 @ #Dec. 639459
c NEW SOLUTION FOUND: 22949268 @ 206.09 @ #Dec. 639594
c NEW SOLUTION FOUND: 22949194 @ 206.1 @ #Dec. 639738
c NEW SOLUTION FOUND: 22949120 @ 206.12 @ #Dec. 639975
c NEW SOLUTION FOUND: 22913452 @ 206.19 @ #Dec. 640496
c NEW SOLUTION FOUND: 22913378 @ 206.21 @ #Dec. 640738
c NEW SOLUTION FOUND: 22913156 @ 206.23 @ #Dec. 640981
c NEW SOLUTION FOUND: 22912712 @ 206.24 @ #Dec. 641123
c NEW SOLUTION FOUND: 22912638 @ 206.26 @ #Dec. 641282
c NEW SOLUTION FOUND: 22912564 @ 206.28 @ #Dec. 641499
c NEW SOLUTION FOUND: 22912194 @ 206.39 @ #Dec. 642219
c NEW SOLUTION FOUND: 22912120 @ 206.41 @ #Dec. 642504
c NEW SOLUTION FOUND: 22912046 @ 206.44 @ #Dec. 642816
c NEW SOLUTION FOUND: 22911454 @ 206.47 @ #Dec. 643087
c NEW SOLUTION FOUND: 22911380 @ 206.49 @ #Dec. 643300
c NEW SOLUTION FOUND: 22911306 @ 206.51 @ #Dec. 643549
c NEW SOLUTION FOUND: 22911232 @ 206.6 @ #Dec. 644190
c NEW SOLUTION FOUND: 22877784 @ 206.64 @ #Dec. 644404
c NEW SOLUTION FOUND: 22877710 @ 206.66 @ #Dec. 644664
c NEW SOLUTION FOUND: 22877044 @ 206.69 @ #Dec. 644942
c NEW SOLUTION FOUND: 22876970 @ 206.72 @ #Dec. 645260
c NEW SOLUTION FOUND: 22876896 @ 206.77 @ #Dec. 645568
c NEW SOLUTION FOUND: 22876600 @ 206.98 @ #Dec. 646108
c NEW SOLUTION FOUND: 22876526 @ 207 @ #Dec. 646333
c NEW SOLUTION FOUND: 22876452 @ 207.03 @ #Dec. 646556
c NEW SOLUTION FOUND: 22876008 @ 207.04 @ #Dec. 646753
c NEW SOLUTION FOUND: 22875860 @ 207.06 @ #Dec. 646945
c NEW SOLUTION FOUND: 22875786 @ 207.06 @ #Dec. 647135
c NEW SOLUTION FOUND: 22875712 @ 207.09 @ #Dec. 647343
c NEW SOLUTION FOUND: 22875638 @ 207.14 @ #Dec. 647549
c NEW SOLUTION FOUND: 22842634 @ 207.16 @ #Dec. 647755
c NEW SOLUTION FOUND: 22842190 @ 207.17 @ #Dec. 647949
c NEW SOLUTION FOUND: 22842116 @ 207.21 @ #Dec. 648175
c NEW SOLUTION FOUND: 22841672 @ 207.22 @ #Dec. 648375
c NEW SOLUTION FOUND: 22841524 @ 207.24 @ #Dec. 648565
c NEW SOLUTION FOUND: 22841450 @ 207.25 @ #Dec. 648759
c NEW SOLUTION FOUND: 22841376 @ 207.28 @ #Dec. 648966
c NEW SOLUTION FOUND: 22841302 @ 207.31 @ #Dec. 649167
c NEW SOLUTION FOUND: 22841154 @ 207.53 @ #Dec. 649547
c NEW SOLUTION FOUND: 22841006 @ 207.54 @ #Dec. 649740
c NEW SOLUTION FOUND: 22840932 @ 207.56 @ #Dec. 649941
c NEW SOLUTION FOUND: 22840858 @ 207.59 @ #Dec. 650156
c NEW SOLUTION FOUND: 22840266 @ 207.6 @ #Dec. 650351
c NEW SOLUTION FOUND: 22840192 @ 207.62 @ #Dec. 650544
c NEW SOLUTION FOUND: 22840118 @ 207.65 @ #Dec. 650749
c NEW SOLUTION FOUND: 22840044 @ 207.68 @ #Dec. 650951
c NEW SOLUTION FOUND: 22807114 @ 207.72 @ #Dec. 651171
c NEW SOLUTION FOUND: 22806670 @ 207.73 @ #Dec. 651365
c NEW SOLUTION FOUND: 22806596 @ 207.75 @ #Dec. 651578
c NEW SOLUTION FOUND: 22806522 @ 207.77 @ #Dec. 651787
c NEW SOLUTION FOUND: 22806004 @ 207.79 @ #Dec. 651984
c NEW SOLUTION FOUND: 22805856 @ 207.8 @ #Dec. 652176
c NEW SOLUTION FOUND: 22805782 @ 207.81 @ #Dec. 652368
c NEW SOLUTION FOUND: 22805708 @ 207.84 @ #Dec. 652569
c NEW SOLUTION FOUND: 22805634 @ 208.03 @ #Dec. 653129
c NEW SOLUTION FOUND: 22805560 @ 208.08 @ #Dec. 653481
c NEW SOLUTION FOUND: 22805412 @ 208.28 @ #Dec. 653878
c NEW SOLUTION FOUND: 22805338 @ 208.3 @ #Dec. 654072
c NEW SOLUTION FOUND: 22805264 @ 208.31 @ #Dec. 654262
c NEW SOLUTION FOUND: 22805190 @ 208.32 @ #Dec. 654507
c NEW SOLUTION FOUND: 22805116 @ 208.35 @ #Dec. 654708
c NEW SOLUTION FOUND: 22804968 @ 208.38 @ #Dec. 654917
c NEW SOLUTION FOUND: 22804598 @ 208.39 @ #Dec. 655107
c NEW SOLUTION FOUND: 22804524 @ 208.4 @ #Dec. 655294
c NEW SOLUTION FOUND: 22804450 @ 208.42 @ #Dec. 655498
c NEW SOLUTION FOUND: 22804376 @ 208.44 @ #Dec. 655698
c NEW SOLUTION FOUND: 22804302 @ 208.48 @ #Dec. 655911
c NEW SOLUTION FOUND: 22770928 @ 208.52 @ #Dec. 656139
c NEW SOLUTION FOUND: 22770854 @ 208.55 @ #Dec. 656363
c NEW SOLUTION FOUND: 22770780 @ 208.59 @ #Dec. 656582
c NEW SOLUTION FOUND: 22770484 @ 208.6 @ #Dec. 656784
c NEW SOLUTION FOUND: 22770262 @ 208.62 @ #Dec. 656976
c NEW SOLUTION FOUND: 22770188 @ 208.63 @ #Dec. 657167
c NEW SOLUTION FOUND: 22770114 @ 208.64 @ #Dec. 657358
c NEW SOLUTION FOUND: 22770040 @ 208.65 @ #Dec. 657549
c NEW SOLUTION FOUND: 22769966 @ 208.72 @ #Dec. 657785
c NEW SOLUTION FOUND: 22769892 @ 208.92 @ #Dec. 658352
c NEW SOLUTION FOUND: 22769818 @ 208.99 @ #Dec. 658607
c NEW SOLUTION FOUND: 22769744 @ 209.45 @ #Dec. 659143
c NEW SOLUTION FOUND: 22769670 @ 209.46 @ #Dec. 659331
c NEW SOLUTION FOUND: 22769596 @ 209.48 @ #Dec. 659522
c NEW SOLUTION FOUND: 22769522 @ 209.49 @ #Dec. 659711
c NEW SOLUTION FOUND: 22769448 @ 209.54 @ #Dec. 659922
c NEW SOLUTION FOUND: 22769374 @ 209.63 @ #Dec. 660157
c NEW SOLUTION FOUND: 22769300 @ 209.67 @ #Dec. 660367
c NEW SOLUTION FOUND: 22769226 @ 209.68 @ #Dec. 660555
c NEW SOLUTION FOUND: 22769004 @ 209.69 @ #Dec. 660745
c NEW SOLUTION FOUND: 22768930 @ 209.71 @ #Dec. 660933
c NEW SOLUTION FOUND: 22768856 @ 209.72 @ #Dec. 661123
c NEW SOLUTION FOUND: 22768782 @ 209.74 @ #Dec. 661312
c NEW SOLUTION FOUND: 22768708 @ 209.76 @ #Dec. 661505
c NEW SOLUTION FOUND: 22768634 @ 209.78 @ #Dec. 661707
c NEW SOLUTION FOUND: 22768560 @ 209.83 @ #Dec. 661924
c NEW SOLUTION FOUND: 22735704 @ 209.88 @ #Dec. 662153
c NEW SOLUTION FOUND: 22735630 @ 209.9 @ #Dec. 662344
c NEW SOLUTION FOUND: 22735334 @ 209.91 @ #Dec. 662538
c NEW SOLUTION FOUND: 22735260 @ 209.93 @ #Dec. 662732
c NEW SOLUTION FOUND: 22735186 @ 209.94 @ #Dec. 662924
c NEW SOLUTION FOUND: 22735112 @ 209.99 @ #Dec. 663158
c NEW SOLUTION FOUND: 22735038 @ 210.02 @ #Dec. 663364
c NEW SOLUTION FOUND: 22734816 @ 210.05 @ #Dec. 663575
c NEW SOLUTION FOUND: 22734742 @ 210.06 @ #Dec. 663767
c NEW SOLUTION FOUND: 22734520 @ 210.07 @ #Dec. 663960
c NEW SOLUTION FOUND: 22734446 @ 210.09 @ #Dec. 664151
c NEW SOLUTION FOUND: 22734298 @ 210.1 @ #Dec. 664344
c NEW SOLUTION FOUND: 22734224 @ 210.13 @ #Dec. 664543
c NEW SOLUTION FOUND: 22734150 @ 210.42 @ #Dec. 665306
c NEW SOLUTION FOUND: 22734076 @ 210.48 @ #Dec. 665543
c NEW SOLUTION FOUND: 22734002 @ 210.51 @ #Dec. 665743
c NEW SOLUTION FOUND: 22733928 @ 210.52 @ #Dec. 665935
c NEW SOLUTION FOUND: 22733854 @ 210.53 @ #Dec. 666132
c NEW SOLUTION FOUND: 22733780 @ 210.56 @ #Dec. 666334
c NEW SOLUTION FOUND: 22733706 @ 210.59 @ #Dec. 666542
c NEW SOLUTION FOUND: 22733632 @ 210.62 @ #Dec. 666746
c NEW SOLUTION FOUND: 22733558 @ 210.78 @ #Dec. 667065
c NEW SOLUTION FOUND: 22733484 @ 210.87 @ #Dec. 667317
c NEW SOLUTION FOUND: 22733410 @ 210.92 @ #Dec. 667544
c NEW SOLUTION FOUND: 22733336 @ 210.97 @ #Dec. 667784
c NEW SOLUTION FOUND: 22733262 @ 211.61 @ #Dec. 668546
c NEW SOLUTION FOUND: 22733188 @ 212.16 @ #Dec. 669252
c NEW SOLUTION FOUND: 22732744 @ 213.71 @ #Dec. 670957
c NEW SOLUTION FOUND: 22732670 @ 213.72 @ #Dec. 671146
c NEW SOLUTION FOUND: 22732596 @ 213.74 @ #Dec. 671340
c NEW SOLUTION FOUND: 22732522 @ 213.78 @ #Dec. 671551
c NEW SOLUTION FOUND: 22732448 @ 213.79 @ #Dec. 671747
c NEW SOLUTION FOUND: 22732374 @ 213.81 @ #Dec. 671936
c NEW SOLUTION FOUND: 22732300 @ 213.82 @ #Dec. 672130
c NEW SOLUTION FOUND: 22732226 @ 213.86 @ #Dec. 672343
c NEW SOLUTION FOUND: 22732152 @ 213.91 @ #Dec. 672558
c NEW SOLUTION FOUND: 22732004 @ 213.95 @ #Dec. 672779
c NEW SOLUTION FOUND: 22731930 @ 214.08 @ #Dec. 673095
c NEW SOLUTION FOUND: 22699074 @ 214.32 @ #Dec. 673522
c NEW SOLUTION FOUND: 22698556 @ 214.33 @ #Dec. 673725
c NEW SOLUTION FOUND: 22698482 @ 214.34 @ #Dec. 673919
c NEW SOLUTION FOUND: 22698334 @ 214.36 @ #Dec. 674119
c NEW SOLUTION FOUND: 22698260 @ 214.37 @ #Dec. 674311
c NEW SOLUTION FOUND: 22698186 @ 214.4 @ #Dec. 674521
c NEW SOLUTION FOUND: 22698038 @ 214.41 @ #Dec. 674716
c NEW SOLUTION FOUND: 22697964 @ 214.43 @ #Dec. 674914
c NEW SOLUTION FOUND: 22697890 @ 214.47 @ #Dec. 675132
c NEW SOLUTION FOUND: 22697742 @ 214.5 @ #Dec. 675339
c NEW SOLUTION FOUND: 22697668 @ 214.56 @ #Dec. 675582
c NEW SOLUTION FOUND: 22697594 @ 215.15 @ #Dec. 676295
c NEW SOLUTION FOUND: 22697520 @ 216.18 @ #Dec. 677655
c NEW SOLUTION FOUND: 22697446 @ 217.11 @ #Dec. 678906
c NEW SOLUTION FOUND: 22697298 @ 218.67 @ #Dec. 680884
c NEW SOLUTION FOUND: 22697224 @ 218.68 @ #Dec. 681074
c NEW SOLUTION FOUND: 22697150 @ 218.7 @ #Dec. 681270
c NEW SOLUTION FOUND: 22697076 @ 218.72 @ #Dec. 681470
c NEW SOLUTION FOUND: 22697002 @ 218.73 @ #Dec. 681660
c NEW SOLUTION FOUND: 22696928 @ 218.75 @ #Dec. 681858
c NEW SOLUTION FOUND: 22696854 @ 218.78 @ #Dec. 682078
c NEW SOLUTION FOUND: 22696706 @ 218.79 @ #Dec. 682277
c NEW SOLUTION FOUND: 22696632 @ 218.81 @ #Dec. 682483
c NEW SOLUTION FOUND: 22696558 @ 218.87 @ #Dec. 682722
c NEW SOLUTION FOUND: 22696484 @ 218.92 @ #Dec. 682960
c NEW SOLUTION FOUND: 22696410 @ 218.98 @ #Dec. 683239
c NEW SOLUTION FOUND: 22696336 @ 219 @ #Dec. 683451
c NEW SOLUTION FOUND: 22696262 @ 219.26 @ #Dec. 684062
c NEW SOLUTION FOUND: 22696188 @ 219.47 @ #Dec. 684460
c NEW SOLUTION FOUND: 22663628 @ 219.59 @ #Dec. 684775
c NEW SOLUTION FOUND: 22663554 @ 219.61 @ #Dec. 684974
c NEW SOLUTION FOUND: 22663480 @ 219.62 @ #Dec. 685167
c NEW SOLUTION FOUND: 22663406 @ 219.63 @ #Dec. 685362
c NEW SOLUTION FOUND: 22663332 @ 219.65 @ #Dec. 685560
c NEW SOLUTION FOUND: 22663036 @ 219.66 @ #Dec. 685758
c NEW SOLUTION FOUND: 22662888 @ 219.68 @ #Dec. 685955
c NEW SOLUTION FOUND: 22662814 @ 219.69 @ #Dec. 686148
c NEW SOLUTION FOUND: 22662592 @ 219.71 @ #Dec. 686349
c NEW SOLUTION FOUND: 22662518 @ 219.73 @ #Dec. 686554
c NEW SOLUTION FOUND: 22662370 @ 219.76 @ #Dec. 686769
c NEW SOLUTION FOUND: 22662296 @ 219.79 @ #Dec. 686974
c NEW SOLUTION FOUND: 22662222 @ 219.83 @ #Dec. 687215
c NEW SOLUTION FOUND: 22662148 @ 219.85 @ #Dec. 687427
c NEW SOLUTION FOUND: 22662074 @ 219.93 @ #Dec. 687726
c NEW SOLUTION FOUND: 22662000 @ 220.01 @ #Dec. 688045
c NEW SOLUTION FOUND: 22661926 @ 220.18 @ #Dec. 688528
c NEW SOLUTION FOUND: 22661852 @ 220.45 @ #Dec. 689054
c NEW SOLUTION FOUND: 22661778 @ 222.87 @ #Dec. 691988
c NEW SOLUTION FOUND: 22661704 @ 224.53 @ #Dec. 694081
c NEW SOLUTION FOUND: 22661556 @ 224.54 @ #Dec. 694277
c NEW SOLUTION FOUND: 22661482 @ 224.56 @ #Dec. 694476
c NEW SOLUTION FOUND: 22661334 @ 224.58 @ #Dec. 694675
c NEW SOLUTION FOUND: 22661260 @ 224.6 @ #Dec. 694875
c NEW SOLUTION FOUND: 22661186 @ 224.63 @ #Dec. 695094
c NEW SOLUTION FOUND: 22661112 @ 224.65 @ #Dec. 695295
c NEW SOLUTION FOUND: 22661038 @ 224.66 @ #Dec. 695486
c NEW SOLUTION FOUND: 22660964 @ 224.68 @ #Dec. 695695
c NEW SOLUTION FOUND: 22660890 @ 224.73 @ #Dec. 695933
c NEW SOLUTION FOUND: 22660816 @ 224.79 @ #Dec. 696184
c NEW SOLUTION FOUND: 22660742 @ 224.86 @ #Dec. 696485
c NEW SOLUTION FOUND: 22660668 @ 225.01 @ #Dec. 696910
c NEW SOLUTION FOUND: 22660594 @ 225.09 @ #Dec. 697211
c NEW SOLUTION FOUND: 22660520 @ 225.5 @ #Dec. 697830
c NEW SOLUTION FOUND: 22628330 @ 225.52 @ #Dec. 698047
c NEW SOLUTION FOUND: 22628256 @ 225.53 @ #Dec. 698241
c NEW SOLUTION FOUND: 22627960 @ 225.54 @ #Dec. 698438
c NEW SOLUTION FOUND: 22627812 @ 225.56 @ #Dec. 698634
c NEW SOLUTION FOUND: 22627738 @ 225.57 @ #Dec. 698828
c NEW SOLUTION FOUND: 22627220 @ 225.58 @ #Dec. 699028
c NEW SOLUTION FOUND: 22627146 @ 225.6 @ #Dec. 699234
c NEW SOLUTION FOUND: 22627072 @ 225.62 @ #Dec. 699441
c NEW SOLUTION FOUND: 22626998 @ 225.63 @ #Dec. 699638
c NEW SOLUTION FOUND: 22626924 @ 225.65 @ #Dec. 699832
c NEW SOLUTION FOUND: 22626850 @ 225.66 @ #Dec. 700028
c NEW SOLUTION FOUND: 22626776 @ 225.7 @ #Dec. 700244
c NEW SOLUTION FOUND: 22626702 @ 225.71 @ #Dec. 700440
c NEW SOLUTION FOUND: 22626628 @ 225.74 @ #Dec. 700644
c NEW SOLUTION FOUND: 22626554 @ 225.78 @ #Dec. 700887
c NEW SOLUTION FOUND: 22626480 @ 225.79 @ #Dec. 701100
c NEW SOLUTION FOUND: 22626406 @ 225.87 @ #Dec. 701398
c NEW SOLUTION FOUND: 22626332 @ 225.95 @ #Dec. 701697
c NEW SOLUTION FOUND: 22626258 @ 226.21 @ #Dec. 702279
c NEW SOLUTION FOUND: 22626184 @ 226.61 @ #Dec. 702914
c NEW SOLUTION FOUND: 22626110 @ 228.75 @ #Dec. 705826
c NEW SOLUTION FOUND: 22626036 @ 231.46 @ #Dec. 709146
c NEW SOLUTION FOUND: 22625962 @ 233.28 @ #Dec. 711814
c NEW SOLUTION FOUND: 22625814 @ 233.29 @ #Dec. 712013
c NEW SOLUTION FOUND: 22625740 @ 233.31 @ #Dec. 712211
c NEW SOLUTION FOUND: 22625666 @ 233.34 @ #Dec. 712417
c NEW SOLUTION FOUND: 22625592 @ 233.35 @ #Dec. 712613
c NEW SOLUTION FOUND: 22625518 @ 233.37 @ #Dec. 712803
c NEW SOLUTION FOUND: 22625444 @ 233.38 @ #Dec. 713003
c NEW SOLUTION FOUND: 22625370 @ 233.44 @ #Dec. 713227
c NEW SOLUTION FOUND: 22625296 @ 233.46 @ #Dec. 713421
c NEW SOLUTION FOUND: 22625222 @ 233.49 @ #Dec. 713625
c NEW SOLUTION FOUND: 22625148 @ 233.54 @ #Dec. 713882
c NEW SOLUTION FOUND: 22625074 @ 233.57 @ #Dec. 714109
c NEW SOLUTION FOUND: 22625000 @ 233.68 @ #Dec. 714465
c NEW SOLUTION FOUND: 22624926 @ 233.8 @ #Dec. 714825
c NEW SOLUTION FOUND: 22624852 @ 234.04 @ #Dec. 715419
c NEW SOLUTION FOUND: 22624778 @ 234.68 @ #Dec. 716241
c NEW SOLUTION FOUND: 22592070 @ 234.94 @ #Dec. 716759
c NEW SOLUTION FOUND: 22591996 @ 234.95 @ #Dec. 716952
c NEW SOLUTION FOUND: 22591922 @ 234.96 @ #Dec. 717147
c NEW SOLUTION FOUND: 22591700 @ 234.97 @ #Dec. 717345
c NEW SOLUTION FOUND: 22591626 @ 234.99 @ #Dec. 717539
c NEW SOLUTION FOUND: 22591478 @ 235 @ #Dec. 717735
c NEW SOLUTION FOUND: 22591404 @ 235.02 @ #Dec. 717930
c NEW SOLUTION FOUND: 22591330 @ 235.04 @ #Dec. 718148
c NEW SOLUTION FOUND: 22591256 @ 235.06 @ #Dec. 718357
c NEW SOLUTION FOUND: 22591182 @ 235.08 @ #Dec. 718551
c NEW SOLUTION FOUND: 22591108 @ 235.09 @ #Dec. 718758
c NEW SOLUTION FOUND: 22591034 @ 235.12 @ #Dec. 718988
c NEW SOLUTION FOUND: 22590960 @ 235.14 @ #Dec. 719189
c NEW SOLUTION FOUND: 22590886 @ 235.2 @ #Dec. 719473
c NEW SOLUTION FOUND: 22590812 @ 235.26 @ #Dec. 719769
c NEW SOLUTION FOUND: 22590738 @ 235.38 @ #Dec. 720093
c NEW SOLUTION FOUND: 22590664 @ 235.46 @ #Dec. 720356
c NEW SOLUTION FOUND: 22590590 @ 235.54 @ #Dec. 720616
c NEW SOLUTION FOUND: 22590516 @ 235.9 @ #Dec. 721362
c NEW SOLUTION FOUND: 22590442 @ 236.45 @ #Dec. 722021
c NEW SOLUTION FOUND: 22590368 @ 240.61 @ #Dec. 727374
c NEW SOLUTION FOUND: 22590294 @ 244.92 @ #Dec. 733308
c NEW SOLUTION FOUND: 22590220 @ 247.87 @ #Dec. 737355
c NEW SOLUTION FOUND: 22590146 @ 247.9 @ #Dec. 737553
c NEW SOLUTION FOUND: 22590072 @ 247.92 @ #Dec. 737747
c NEW SOLUTION FOUND: 22589998 @ 247.94 @ #Dec. 737949
c NEW SOLUTION FOUND: 22589924 @ 247.98 @ #Dec. 738174
c NEW SOLUTION FOUND: 22589850 @ 248 @ #Dec. 738375
c NEW SOLUTION FOUND: 22589776 @ 248.01 @ #Dec. 738568
c NEW SOLUTION FOUND: 22589702 @ 248.04 @ #Dec. 738784
c NEW SOLUTION FOUND: 22589628 @ 248.07 @ #Dec. 739012
c NEW SOLUTION FOUND: 22589554 @ 248.09 @ #Dec. 739206
c NEW SOLUTION FOUND: 22589480 @ 248.18 @ #Dec. 739518
c NEW SOLUTION FOUND: 22589406 @ 248.35 @ #Dec. 739945
c NEW SOLUTION FOUND: 22589332 @ 248.68 @ #Dec. 740659
c NEW SOLUTION FOUND: 22589258 @ 248.95 @ #Dec. 741135
c NEW SOLUTION FOUND: 22589184 @ 249.18 @ #Dec. 741625
c NEW SOLUTION FOUND: 22589110 @ 249.56 @ #Dec. 742216
c NEW SOLUTION FOUND: 22589036 @ 251.72 @ #Dec. 744187
c NEW SOLUTION FOUND: 22556402 @ 252.43 @ #Dec. 745173
c NEW SOLUTION FOUND: 22556328 @ 252.44 @ #Dec. 745367
c NEW SOLUTION FOUND: 22556254 @ 252.46 @ #Dec. 745563
c NEW SOLUTION FOUND: 22556032 @ 252.48 @ #Dec. 745766
c NEW SOLUTION FOUND: 22555958 @ 252.49 @ #Dec. 745960
c NEW SOLUTION FOUND: 22555884 @ 252.51 @ #Dec. 746162
c NEW SOLUTION FOUND: 22555810 @ 252.52 @ #Dec. 746360
c NEW SOLUTION FOUND: 22555736 @ 252.54 @ #Dec. 746566
c NEW SOLUTION FOUND: 22555662 @ 252.57 @ #Dec. 746775
c NEW SOLUTION FOUND: 22555588 @ 252.59 @ #Dec. 746977
c NEW SOLUTION FOUND: 22555514 @ 252.6 @ #Dec. 747173
c NEW SOLUTION FOUND: 22555440 @ 252.62 @ #Dec. 747377
c NEW SOLUTION FOUND: 22555366 @ 252.7 @ #Dec. 747624
c NEW SOLUTION FOUND: 22555292 @ 252.71 @ #Dec. 747823
c NEW SOLUTION FOUND: 22555218 @ 252.74 @ #Dec. 748033
c NEW SOLUTION FOUND: 22555144 @ 252.85 @ #Dec. 748316
c NEW SOLUTION FOUND: 22555070 @ 253.06 @ #Dec. 748762
c NEW SOLUTION FOUND: 22554996 @ 253.41 @ #Dec. 749418
c NEW SOLUTION FOUND: 22554922 @ 253.67 @ #Dec. 750043
c NEW SOLUTION FOUND: 22554848 @ 253.92 @ #Dec. 750547
c NEW SOLUTION FOUND: 22554774 @ 254.78 @ #Dec. 751531
c NEW SOLUTION FOUND: 22554700 @ 256.23 @ #Dec. 752949
c Restart #11 #Var: 2620 #Dec: 759633 LB: 0 @ 261.73
c Restart #12 #Var: 2620 #Dec: 775521 LB: 0 @ 266.86
c Restart #13 #Var: 2620 #Dec: 787791 LB: 0 @ 289.13
c Restart #14 #Var: 2620 #Dec: 790961 LB: 0 @ 295.11
c CHANGE to MIS mode... 	UB: 22554700	MIS: 0	LPR: -2147483648 (0)	Diff: -0
c Restart #0 #Var: 2620 #Dec: 806150 LB: 0 @ 329.86
c Restart #1 #Var: 2620 #Dec: 807530 LB: 0 @ 334.17
c NEW SOLUTION FOUND: 22528310 @ 336.68 @ #Dec. 809522
c NEW SOLUTION FOUND: 22488694 @ 336.69 @ #Dec. 809523
c NEW SOLUTION FOUND: 22449078 @ 336.7 @ #Dec. 809525
c NEW SOLUTION FOUND: 22411190 @ 336.7 @ #Dec. 809527
c NEW SOLUTION FOUND: 22173494 @ 336.71 @ #Dec. 809532
c NEW SOLUTION FOUND: 22133878 @ 336.72 @ #Dec. 809533
c NEW SOLUTION FOUND: 22094262 @ 336.75 @ #Dec. 809538
c NEW SOLUTION FOUND: 22054646 @ 336.76 @ #Dec. 809542
c NEW SOLUTION FOUND: 22015030 @ 336.77 @ #Dec. 809551
c NEW SOLUTION FOUND: 21975414 @ 336.81 @ #Dec. 809562
c NEW SOLUTION FOUND: 21381174 @ 336.81 @ #Dec. 809570
c NEW SOLUTION FOUND: 21341558 @ 336.83 @ #Dec. 809576
c NEW SOLUTION FOUND: 21064246 @ 336.84 @ #Dec. 809585
c NEW SOLUTION FOUND: 21024630 @ 336.86 @ #Dec. 809592
c NEW SOLUTION FOUND: 20905782 @ 336.92 @ #Dec. 809603
c NEW SOLUTION FOUND: 20668086 @ 337.02 @ #Dec. 809616
c NEW SOLUTION FOUND: 20628470 @ 337.03 @ #Dec. 809618
c NEW SOLUTION FOUND: 20588854 @ 337.08 @ #Dec. 809629
c NEW SOLUTION FOUND: 20549238 @ 337.18 @ #Dec. 809644
c NEW SOLUTION FOUND: 20511350 @ 337.32 @ #Dec. 809708
c NEW SOLUTION FOUND: 20471734 @ 337.45 @ #Dec. 809790
c NEW SOLUTION FOUND: 20432118 @ 337.59 @ #Dec. 809881
c NEW SOLUTION FOUND: 20392502 @ 337.72 @ #Dec. 809932
c NEW SOLUTION FOUND: 20352886 @ 337.76 @ #Dec. 809980
c NEW SOLUTION FOUND: 20313270 @ 337.92 @ #Dec. 810087
c NEW SOLUTION FOUND: 20281590 @ 338.06 @ #Dec. 810653
c NEW SOLUTION FOUND: 20241974 @ 338.09 @ #Dec. 810739
c NEW SOLUTION FOUND: 20202358 @ 338.12 @ #Dec. 810910
c NEW SOLUTION FOUND: 20200630 @ 338.17 @ #Dec. 811020
c NEW SOLUTION FOUND: 20162742 @ 338.18 @ #Dec. 811106
c NEW SOLUTION FOUND: 20083510 @ 338.29 @ #Dec. 811216
c NEW SOLUTION FOUND: 20004278 @ 338.3 @ #Dec. 811295
c NEW SOLUTION FOUND: 19964662 @ 338.42 @ #Dec. 811431
c NEW SOLUTION FOUND: 19925046 @ 338.51 @ #Dec. 811771
c NEW SOLUTION FOUND: 19885430 @ 338.57 @ #Dec. 811929
c NEW SOLUTION FOUND: 19845814 @ 338.7 @ #Dec. 812083
c NEW SOLUTION FOUND: 19806198 @ 338.79 @ #Dec. 812247
c NEW SOLUTION FOUND: 19766582 @ 338.87 @ #Dec. 812417
c NEW SOLUTION FOUND: 19726966 @ 338.93 @ #Dec. 812564
c NEW SOLUTION FOUND: 19687350 @ 338.99 @ #Dec. 812671
c NEW SOLUTION FOUND: 19647734 @ 339.02 @ #Dec. 812827
c NEW SOLUTION FOUND: 19608118 @ 339.1 @ #Dec. 812977
c NEW SOLUTION FOUND: 19568502 @ 339.19 @ #Dec. 813112
c NEW SOLUTION FOUND: 19566774 @ 339.31 @ #Dec. 813258
c NEW SOLUTION FOUND: 19528886 @ 339.32 @ #Dec. 813335
c NEW SOLUTION FOUND: 19528812 @ 339.62 @ #Dec. 814123
c NEW SOLUTION FOUND: 19528738 @ 340.65 @ #Dec. 814924
c NEW SOLUTION FOUND: 19528664 @ 340.99 @ #Dec. 815652
c NEW SOLUTION FOUND: 19528590 @ 341.4 @ #Dec. 816390
c NEW SOLUTION FOUND: 19528516 @ 341.74 @ #Dec. 817499
c NEW SOLUTION FOUND: 19528442 @ 342.19 @ #Dec. 818170
c NEW SOLUTION FOUND: 19528368 @ 342.48 @ #Dec. 818779
c NEW SOLUTION FOUND: 19528294 @ 342.97 @ #Dec. 819398
c NEW SOLUTION FOUND: 19528220 @ 343.32 @ #Dec. 820019
c NEW SOLUTION FOUND: 19528146 @ 343.89 @ #Dec. 820580
c NEW SOLUTION FOUND: 19528072 @ 344.42 @ #Dec. 821181
c NEW SOLUTION FOUND: 19527998 @ 344.71 @ #Dec. 821735
c NEW SOLUTION FOUND: 19527924 @ 345.27 @ #Dec. 822306
c NEW SOLUTION FOUND: 19527850 @ 345.56 @ #Dec. 822848
c NEW SOLUTION FOUND: 19527776 @ 346.12 @ #Dec. 823434
c NEW SOLUTION FOUND: 19527702 @ 346.43 @ #Dec. 823975
c NEW SOLUTION FOUND: 19527628 @ 347.07 @ #Dec. 824553
c NEW SOLUTION FOUND: 19527554 @ 350.98 @ #Dec. 825180
c NEW SOLUTION FOUND: 19527480 @ 351.86 @ #Dec. 825893
c NEW SOLUTION FOUND: 19527406 @ 351.92 @ #Dec. 826506
c NEW SOLUTION FOUND: 19527332 @ 352.16 @ #Dec. 827056
c NEW SOLUTION FOUND: 19527258 @ 352.22 @ #Dec. 827630
c NEW SOLUTION FOUND: 19527184 @ 352.49 @ #Dec. 828220
c NEW SOLUTION FOUND: 19527110 @ 352.79 @ #Dec. 828808
c NEW SOLUTION FOUND: 19527036 @ 353.19 @ #Dec. 829433
c NEW SOLUTION FOUND: 19526962 @ 353.44 @ #Dec. 830020
c NEW SOLUTION FOUND: 19526888 @ 354.14 @ #Dec. 830642
c NEW SOLUTION FOUND: 19526814 @ 354.32 @ #Dec. 831231
c NEW SOLUTION FOUND: 19526740 @ 358.49 @ #Dec. 831910
c NEW SOLUTION FOUND: 19526666 @ 358.61 @ #Dec. 832470
c NEW SOLUTION FOUND: 19526592 @ 368.07 @ #Dec. 833463
c NEW SOLUTION FOUND: 19526518 @ 368.16 @ #Dec. 834030
c Restart #2 #Var: 2617 #Dec: 834610 LB: 0 @ 379.75
c Restart #3 #Var: 2617 #Dec: 844014 LB: 0 @ 390.95
c Restart #4 #Var: 2616 #Dec: 849311 LB: 0 @ 395.74
c Restart #5 #Var: 2616 #Dec: 851791 LB: 0 @ 426.58
c Restart #6 #Var: 2616 #Dec: 856228 LB: 0 @ 454.15
c Restart #7 #Var: 2616 #Dec: 858441 LB: 0 @ 459.12
c Restart #8 #Var: 2616 #Dec: 863047 LB: 0 @ 493.44
c Restart #9 #Var: 2616 #Dec: 866413 LB: 0 @ 517.76
c Restart #10 #Var: 2616 #Dec: 873315 LB: 0 @ 538.29
c Restart #11 #Var: 2616 #Dec: 876437 LB: 0 @ 573.94
c Restart #12 #Var: 2616 #Dec: 882960 LB: 0 @ 600.68
c Restart #13 #Var: 2616 #Dec: 891426 LB: 0 @ 626.76
c Restart #14 #Var: 2616 #Dec: 897148 LB: 0 @ 689.3
c Restart #15 #Var: 2616 #Dec: 901576 LB: 0 @ 723.78
c Restart #16 #Var: 2616 #Dec: 905747 LB: 0 @ 774.56
c Restart #17 #Var: 2616 #Dec: 910792 LB: 0 @ 807.46
c Restart #18 #Var: 2616 #Dec: 949730 LB: 0 @ 850.4
c Restart #19 #Var: 2616 #Dec: 954611 LB: 0 @ 857.13
c Restart #20 #Var: 2616 #Dec: 959821 LB: 0 @ 890.71
c Restart #21 #Var: 2616 #Dec: 973399 LB: 0 @ 997.96
c Restart #22 #Var: 2616 #Dec: 984111 LB: 0 @ 1082.9
c Restart #23 #Var: 2616 #Dec: 993760 LB: 0 @ 1177.2
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_10 -D0301_bit_9 -D0301_bit_8 -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_10 -D0302_bit_9 -D0302_bit_8 -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_10 D0303_bit_9 D0303_bit_8 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_10 -D0304_bit_9 -D0304_bit_8 -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_10 D0305_bit_9 D0305_bit_8 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_10 -D0307_bit_9 -D0307_bit_8 -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_10 -D0308_bit_9 -D0308_bit_8 -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_10 -D0309_bit_9 -D0309_bit_8 -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_10 -D0311_bit_9 -D0311_bit_8 -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_10 -D0312_bit_9 -D0312_bit_8 -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_10 D0313_bit_9 D0313_bit_8 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_10 -D0314_bit_9 -D0314_bit_8 -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_10 -D0315_bit_9 -D0315_bit_8 -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_10 -D0316_bit_9 -D0316_bit_8 -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_10 -D0317_bit_9 -D0317_bit_8 -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_10 -D0318_bit_9 -D0318_bit_8 -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_10 -D0319_bit_9 D0319_bit_8 -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_10 -D0320_bit_9 -D0320_bit_8 -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_10 -D0321_bit_9 -D0321_bit_8 -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_10 -D0322_bit_9 -D0322_bit_8 -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_10 -D0323_bit_9 -D0323_bit_8 -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_10 -D0324_bit_9 -D0324_bit_8 -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_10 -D0325_bit_9 -D0325_bit_8 -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_10 -D0327_bit_9 -D0327_bit_8 -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_10 -D0328_bit_9 -D0328_bit_8 -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_10 -D0329_bit_9 -D0329_bit_8 -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_10 -D0330_bit_9 -D0330_bit_8 -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_10 -D0331_bit_9 -D0331_bit_8 -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_10 -D0332_bit_9 -D0332_bit_8 -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_10 -D0333_bit_9 -D0333_bit_8 -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_10 -D0334_bit_9 -D0334_bit_8 -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_10 -D0335_bit_9 -D0335_bit_8 -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_10 -D0336_bit_9 -D0336_bit_8 -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_10 -D0337_bit_9 -D0337_bit_8 -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_10 -D0338_bit_9 -D0338_bit_8 -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_10 -D0340_bit_9 -D0340_bit_8 -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_10 -D0341_bit_9 -D0341_bit_8 -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_10 -D0343_bit_9 -D0343_bit_8 -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_10 -D0344_bit_9 -D0344_bit_8 -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_10 -D0345_bit_9 -D0345_bit_8 -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_10 -D0346_bit_9 -D0346_bit_8 -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_10 -D0347_bit_9 -D0347_bit_8 -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_10 -D0348_bit_9 -D0348_bit_8 -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_10 D0349_bit_9 D0349_bit_8 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_10 D0350_bit_9 D0350_bit_8 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_10 -D0351_bit_9 -D0351_bit_8 -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_10 -D0352_bit_9 -D0352_bit_8 -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_10 -D0353_bit_9 -D0353_bit_8 -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_10 -D0354_bit_9 -D0354_bit_8 -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_10 D0355_bit_9 -D0355_bit_8 -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_10 -D0356_bit_9 -D0356_bit_8 -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_10 -D0357_bit_9 -D0357_bit_8 -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_10 -D0358_bit_9 -D0358_bit_8 -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_10 -D0359_bit_9 -D0359_bit_8 -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_10 -D0360_bit_9 -D0360_bit_8 -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_10 -D0361_bit_9 -D0361_bit_8 -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_10 -D0362_bit_9 -D0362_bit_8 -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_10 -D0363_bit_9 -D0363_bit_8 -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_10 -D0364_bit_9 -D0364_bit_8 -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_10 -D0365_bit_9 D0365_bit_8 -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_10 -D0366_bit_9 -D0366_bit_8 -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_10 -D0367_bit_9 -D0367_bit_8 -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_10 -D0368_bit_9 -D0368_bit_8 -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_10 -D0369_bit_9 -D0369_bit_8 -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_10 -D0371_bit_9 -D0371_bit_8 -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_10 -D0372_bit_9 -D0372_bit_8 -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_10 -D0373_bit_9 -D0373_bit_8 -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_10 -D0375_bit_9 -D0375_bit_8 -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_10 -D0376_bit_9 -D0376_bit_8 -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_10 -D0377_bit_9 -D0377_bit_8 -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_10 -D0378_bit_9 -D0378_bit_8 -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_10 -D0379_bit_9 -D0379_bit_8 -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_10 -D0382_bit_9 -D0382_bit_8 -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_10 -D0383_bit_9 -D0383_bit_8 -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_10 -D0384_bit_9 -D0384_bit_8 -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_10 -D0385_bit_9 -D0385_bit_8 -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_10 -D0386_bit_9 -D0386_bit_8 -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_10 D0387_bit_9 D0387_bit_8 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_10 -D0388_bit_9 -D0388_bit_8 -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_10 -D0389_bit_9 -D0389_bit_8 -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_10 -D0390_bit_9 -D0390_bit_8 -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_10 -D0391_bit_9 -D0391_bit_8 -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_10 -D0392_bit_9 D0392_bit_8 -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_10 -D0394_bit_9 -D0394_bit_8 -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_10 -D0395_bit_9 -D0395_bit_8 -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_10 -D0396_bit_9 -D0396_bit_8 -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_10 -D0397_bit_9 -D0397_bit_8 -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_10 -D0398_bit_9 -D0398_bit_8 -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_10 -D0399_bit_9 -D0399_bit_8 -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_10 -D0400_bit_9 -D0400_bit_8 -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_10 -D0401_bit_9 -D0401_bit_8 -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_10 -D0403_bit_9 -D0403_bit_8 -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_10 -D0404_bit_9 -D0404_bit_8 -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_10 -D0405_bit_9 -D0405_bit_8 -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_10 -D0406_bit_9 -D0406_bit_8 -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_10 -D0407_bit_9 -D0407_bit_8 -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_10 -D0408_bit_9 D0408_bit_8 -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_10 -D0409_bit_9 -D0409_bit_8 -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_10 -D0410_bit_9 -D0410_bit_8 -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_10 -D0411_bit_9 -D0411_bit_8 -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_10 -D0412_bit_9 -D0412_bit_8 -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_10 D0413_bit_9 -D0413_bit_8 -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_10 -D0414_bit_9 -D0414_bit_8 -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_10 -D0415_bit_9 -D0415_bit_8 -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_10 -D0416_bit_9 -D0416_bit_8 -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_10 -D0417_bit_9 D0417_bit_8 -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_10 -D0418_bit_9 -D0418_bit_8 -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_10 -D0419_bit_9 -D0419_bit_8 -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_10 -D0420_bit_9 -D0420_bit_8 -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_10 -D0421_bit_9 -D0421_bit_8 -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_10 -D0422_bit_9 -D0422_bit_8 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_10 D0423_bit_9 D0423_bit_8 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_10 -D0424_bit_9 -D0424_bit_8 -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_10 -D0426_bit_9 -D0426_bit_8 -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_10 -D0427_bit_9 -D0427_bit_8 -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_10 -D0428_bit_9 -D0428_bit_8 -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_10 -D0429_bit_9 -D0429_bit_8 -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_10 -D0430_bit_9 -D0430_bit_8 -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_10 -D0431_bit_9 D0431_bit_8 -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_10 -D0432_bit_9 -D0432_bit_8 -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_10 -D0433_bit_9 -D0433_bit_8 -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_10 -D0434_bit_9 -D0434_bit_8 -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_10 -D0435_bit_9 -D0435_bit_8 -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_10 -D0436_bit_9 -D0436_bit_8 -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_10 -D0437_bit_9 -D0437_bit_8 -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_10 -D0438_bit_9 D0438_bit_8 -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_10 -D0439_bit_9 -D0439_bit_8 -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_10 -D0440_bit_9 -D0440_bit_8 -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_10 -D0441_bit_9 -D0441_bit_8 -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_10 -D0442_bit_9 -D0442_bit_8 -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_10 -D0443_bit_9 -D0443_bit_8 -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_10 -D0444_bit_9 -D0444_bit_8 -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_10 -D0446_bit_9 -D0446_bit_8 -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_10 -D0447_bit_9 -D0447_bit_8 -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_10 -D0448_bit_9 -D0448_bit_8 -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_10 -D0449_bit_9 -D0449_bit_8 -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_10 D0450_bit_9 -D0450_bit_8 -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_10 -D0451_bit_9 -D0451_bit_8 -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_10 -D0452_bit_9 -D0452_bit_8 -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_10 -D0453_bit_9 -D0453_bit_8 -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_10 -D0454_bit_9 -D0454_bit_8 -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_10 -D0455_bit_9 -D0455_bit_8 -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_10 -D0456_bit_9 -D0456_bit_8 -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_10 -D0457_bit_9 -D0457_bit_8 -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_10 -D0458_bit_9 -D0458_bit_8 -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_10 -D0459_bit_9 -D0459_bit_8 -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_10 -D0460_bit_9 -D0460_bit_8 -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_10 -D0461_bit_9 -D0461_bit_8 -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_10 -D0462_bit_9 -D0462_bit_8 -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_10 -D0463_bit_9 -D0463_bit_8 -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_10 -D0464_bit_9 -D0464_bit_8 -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_10 -D0465_bit_9 -D0465_bit_8 -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_10 -D0466_bit_9 -D0466_bit_8 -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_10 -D0467_bit_9 -D0467_bit_8 -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_10 -D0468_bit_9 -D0468_bit_8 -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_10 -D0469_bit_9 -D0469_bit_8 -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_10 -D0470_bit_9 -D0470_bit_8 -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_10 -D0471_bit_9 -D0471_bit_8 -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_10 -D0472_bit_9 -D0472_bit_8 -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_10 -D0473_bit_9 -D0473_bit_8 -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_10 D0474_bit_9 D0474_bit_8 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_10 -D0475_bit_9 -D0475_bit_8 -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_10 -D0476_bit_9 -D0476_bit_8 -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_10 -D0477_bit_9 -D0477_bit_8 -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_10 -D0478_bit_9 -D0478_bit_8 -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_10 -D0479_bit_9 -D0479_bit_8 -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_10 -D0480_bit_9 -D0480_bit_8 -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_10 -D0481_bit_9 -D0481_bit_8 -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_10 -D0482_bit_9 -D0482_bit_8 -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_10 -D0483_bit_9 -D0483_bit_8 -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_10 -D0484_bit_9 D0484_bit_8 -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_10 -D0485_bit_9 -D0485_bit_8 -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_10 -D0306_bit_9 -D0306_bit_8 -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_10 D0310_bit_9 D0310_bit_8 -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_10 D0326_bit_9 D0326_bit_8 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_10 D0339_bit_9 D0339_bit_8 -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_10 -D0342_bit_9 -D0342_bit_8 -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_10 -D0370_bit_9 D0370_bit_8 -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_10 D0374_bit_9 D0374_bit_8 -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_10 D0380_bit_9 D0380_bit_8 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_10 -D0381_bit_9 -D0381_bit_8 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_10 -D0393_bit_9 -D0393_bit_8 -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_10 -D0402_bit_9 -D0402_bit_8 -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_10 D0425_bit_9 -D0425_bit_8 -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_10 D0445_bit_9 -D0445_bit_8 -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_10 -A01_bit_9 -A01_bit_8 -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 -A01_bit13 -A01_bit14 -A01_bit15 -A01_bit16 -A01_bit17 -A01_bit18 -A01_bit19 -A02_bit_10 -A02_bit_9 -A02_bit_8 -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 -A02_bit13 -A02_bit14 -A02_bit15 -A02_bit16 -A02_bit17 -A02_bit18 -A02_bit19 -A03_bit_10 -A03_bit_9 -A03_bit_8 -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 -A03_bit13 -A03_bit14 -A03_bit15 -A03_bit16 -A03_bit17 -A03_bit18 -A03_bit19 A04_bit_10 -A04_bit_9 -A04_bit_8 -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 -A04_bit13 -A04_bit14 -A04_bit15 -A04_bit16 -A04_bit17 -A04_bit18 -A04_bit19 -A05_bit_10 A05_bit_9 -A05_bit_8 -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 -A05_bit13 -A05_bit14 -A05_bit15 -A05_bit16 -A05_bit17 -A05_bit18 -A05_bit19 -A06_bit_10 A06_bit_9 -A06_bit_8 -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 -A06_bit13 -A06_bit14 -A06_bit15 -A06_bit16 -A06_bit17 -A06_bit18 -A06_bit19 -A07_bit_10 -A07_bit_9 -A07_bit_8 -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 -A07_bit13 -A07_bit14 -A07_bit15 -A07_bit16 -A07_bit17 -A07_bit18 -A07_bit19 -A08_bit_10 A08_bit_9 -A08_bit_8 -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 -A08_bit13 -A08_bit14 -A08_bit15 -A08_bit16 -A08_bit17 -A08_bit18 -A08_bit19 -A09_bit_10 -A09_bit_9 -A09_bit_8 -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 -A09_bit13 -A09_bit14 -A09_bit15 -A09_bit16 -A09_bit17 -A09_bit18 -A09_bit19 -A10_bit_10 -A10_bit_9 -A10_bit_8 -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 -A10_bit13 -A10_bit14 -A10_bit15 -A10_bit16 -A10_bit17 -A10_bit18 -A10_bit19 -A11_bit_10 -A11_bit_9 -A11_bit_8 -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 -A11_bit13 -A11_bit14 -A11_bit15 -A11_bit16 -A11_bit17 -A11_bit18 -A11_bit19 -A12_bit_10 -A12_bit_9 A12_bit_8 -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 -A12_bit13 -A12_bit14 -A12_bit15 -A12_bit16 -A12_bit17 -A12_bit18 -A12_bit19 -A13_bit_10 -A13_bit_9 -A13_bit_8 -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 -A13_bit13 -A13_bit14 -A13_bit15 -A13_bit16 -A13_bit17 -A13_bit18 -A13_bit19 -A14_bit_10 -A14_bit_9 -A14_bit_8 -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 -A14_bit13 -A14_bit14 -A14_bit15 -A14_bit16 -A14_bit17 -A14_bit18 -A14_bit19 -A15_bit_10 -A15_bit_9 -A15_bit_8 -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 -A15_bit13 -A15_bit14 -A15_bit15 -A15_bit16 -A15_bit17 -A15_bit18 -A15_bit19 -A16_bit_10 -A16_bit_9 -A16_bit_8 -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 -A16_bit13 -A16_bit14 -A16_bit15 -A16_bit16 -A16_bit17 -A16_bit18 -A16_bit19 -A17_bit_10 -A17_bit_9 -A17_bit_8 -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 -A17_bit13 -A17_bit14 -A17_bit15 -A17_bit16 -A17_bit17 -A17_bit18 -A17_bit19 -A18_bit_10 -A18_bit_9 -A18_bit_8 -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 -A18_bit13 -A18_bit14 -A18_bit15 -A18_bit16 -A18_bit17 -A18_bit18 -A18_bit19 -A19_bit_10 -A19_bit_9 -A19_bit_8 -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 -A19_bit13 -A19_bit14 -A19_bit15 -A19_bit16 -A19_bit17 -A19_bit18 -A19_bit19 -A20_bit_10 A20_bit_9 -A20_bit_8 -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 -A20_bit13 -A20_bit14 -A20_bit15 -A20_bit16 -A20_bit17 -A20_bit18 -A20_bit19 -A21_bit_10 -A21_bit_9 -A21_bit_8 -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 -A21_bit13 -A21_bit14 -A21_bit15 -A21_bit16 -A21_bit17 -A21_bit18 -A21_bit19 -A22_bit_10 -A22_bit_9 -A22_bit_8 -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 -A22_bit13 -A22_bit14 -A22_bit15 -A22_bit16 -A22_bit17 -A22_bit18 -A22_bit19 -A23_bit_10 -A23_bit_9 -A23_bit_8 -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 -A23_bit13 -A23_bit14 -A23_bit15 -A23_bit16 -A23_bit17 -A23_bit18 -A23_bit19 -A24_bit_10 -A24_bit_9 -A24_bit_8 -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 -A24_bit13 -A24_bit14 -A24_bit15 -A24_bit16 -A24_bit17 -A24_bit18 -A24_bit19 -A25_bit_10 -A25_bit_9 -A25_bit_8 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 -A25_bit13 -A25_bit14 -A25_bit15 -A25_bit16 -A25_bit17 -A25_bit18 -A25_bit19 B25_bit_10 B25_bit_9 -B25_bit_8 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 -B25_bit13 -B25_bit14 -B25_bit15 -B25_bit16 -B25_bit17 -B25_bit18 -B25_bit19 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: 19526518
c Exit Code: 10
c Total time: 1195 s