c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 1704 variables and 118 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.382
c After prepocess the problem consists of 1335 variables and 104 constraints.
c Initial Lower Bound: 0
c NEW SOLUTION FOUND: 7014085951128702 @ 0.568 @ #Dec. 1729
c NEW SOLUTION FOUND: 6966572351128702 @ 0.57 @ #Dec. 1729
c NEW SOLUTION FOUND: 6965753151128702 @ 0.572 @ #Dec. 1730
c NEW SOLUTION FOUND: 6918239551128702 @ 0.573 @ #Dec. 1730
c NEW SOLUTION FOUND: 6751941951128702 @ 0.576 @ #Dec. 1732
c NEW SOLUTION FOUND: 6704428351128702 @ 0.577 @ #Dec. 1732
c NEW SOLUTION FOUND: 6703609151128702 @ 0.578 @ #Dec. 1733
c NEW SOLUTION FOUND: 6656095551128702 @ 0.58 @ #Dec. 1733
c NEW SOLUTION FOUND: 6489797951128702 @ 0.585 @ #Dec. 1738
c NEW SOLUTION FOUND: 6442284351128702 @ 0.586 @ #Dec. 1738
c NEW SOLUTION FOUND: 6441465151128702 @ 0.588 @ #Dec. 1739
c NEW SOLUTION FOUND: 6393951551128702 @ 0.589 @ #Dec. 1739
c NEW SOLUTION FOUND: 6227653951128702 @ 0.597 @ #Dec. 1748
c NEW SOLUTION FOUND: 6180140351128702 @ 0.598 @ #Dec. 1748
c NEW SOLUTION FOUND: 6179321151128702 @ 0.6 @ #Dec. 1749
c NEW SOLUTION FOUND: 6131807551128702 @ 0.601 @ #Dec. 1749
c NEW SOLUTION FOUND: 6130988351128702 @ 0.607 @ #Dec. 1755
c NEW SOLUTION FOUND: 6083474751128702 @ 0.609 @ #Dec. 1755
c NEW SOLUTION FOUND: 6035961151128702 @ 0.621 @ #Dec. 1767
c NEW SOLUTION FOUND: 5988447551128702 @ 0.644 @ #Dec. 1790
c NEW SOLUTION FOUND: 5987628351128702 @ 0.673 @ #Dec. 1823
c NEW SOLUTION FOUND: 5940114751128702 @ 0.685 @ #Dec. 1835
c NEW SOLUTION FOUND: 5869663551128702 @ 0.69 @ #Dec. 1844
c NEW SOLUTION FOUND: 5822149951128702 @ 0.691 @ #Dec. 1844
c NEW SOLUTION FOUND: 5821330751128702 @ 0.692 @ #Dec. 1845
c NEW SOLUTION FOUND: 5773817151128702 @ 0.693 @ #Dec. 1845
c NEW SOLUTION FOUND: 5726303551128702 @ 0.699 @ #Dec. 1851
c NEW SOLUTION FOUND: 5725484351128702 @ 0.706 @ #Dec. 1872
c NEW SOLUTION FOUND: 5677970751128702 @ 0.707 @ #Dec. 1872
c NEW SOLUTION FOUND: 5511673151128702 @ 0.727 @ #Dec. 1928
c NEW SOLUTION FOUND: 5464159551128702 @ 0.728 @ #Dec. 1928
c NEW SOLUTION FOUND: 5463340351128702 @ 0.729 @ #Dec. 1933
c NEW SOLUTION FOUND: 5415826751128702 @ 0.73 @ #Dec. 1933
c NEW SOLUTION FOUND: 5391660351128702 @ 0.74 @ #Dec. 1957
c NEW SOLUTION FOUND: 5367903551128702 @ 0.75 @ #Dec. 1987
c NEW SOLUTION FOUND: 5333087551128702 @ 0.794 @ #Dec. 2110
c NEW SOLUTION FOUND: 5332268351128702 @ 0.796 @ #Dec. 2116
c NEW SOLUTION FOUND: 5284754751128702 @ 0.798 @ #Dec. 2116
c NEW SOLUTION FOUND: 5260588351128702 @ 0.8 @ #Dec. 2121
c NEW SOLUTION FOUND: 5236831551128702 @ 0.804 @ #Dec. 2128
c NEW SOLUTION FOUND: 5202015551128702 @ 0.865 @ #Dec. 2298
c NEW SOLUTION FOUND: 5201196351128702 @ 0.867 @ #Dec. 2299
c NEW SOLUTION FOUND: 5153682751128702 @ 0.868 @ #Dec. 2299
c NEW SOLUTION FOUND: 5129925951128702 @ 0.875 @ #Dec. 2335
c NEW SOLUTION FOUND: 5129516351128702 @ 0.878 @ #Dec. 2342
c NEW SOLUTION FOUND: 5105759551128702 @ 0.879 @ #Dec. 2342
c Restart #1 #Var: 1335 #Dec: 3095 LB: 0 @ 1.116
c NEW SOLUTION FOUND: 5096183585997950 @ 1.173 @ #Dec. 4400
c NEW SOLUTION FOUND: 5048669985997950 @ 1.174 @ #Dec. 4402
c NEW SOLUTION FOUND: 5047850785997950 @ 1.178 @ #Dec. 4411
c NEW SOLUTION FOUND: 5000337185997950 @ 1.179 @ #Dec. 4413
c NEW SOLUTION FOUND: 4976580385997950 @ 1.183 @ #Dec. 4443
c NEW SOLUTION FOUND: 4965111585997950 @ 1.188 @ #Dec. 4459
c NEW SOLUTION FOUND: 4917597985997950 @ 1.189 @ #Dec. 4461
c NEW SOLUTION FOUND: 4916778785997950 @ 1.192 @ #Dec. 4470
c NEW SOLUTION FOUND: 4869265185997950 @ 1.193 @ #Dec. 4472
c NEW SOLUTION FOUND: 4845508385997950 @ 1.198 @ #Dec. 4498
c NEW SOLUTION FOUND: 4786525985997950 @ 1.2 @ #Dec. 4514
c NEW SOLUTION FOUND: 4785706785997950 @ 1.203 @ #Dec. 4523
c NEW SOLUTION FOUND: 4738193185997950 @ 1.204 @ #Dec. 4525
c NEW SOLUTION FOUND: 4714436385997950 @ 1.21 @ #Dec. 4551
c NEW SOLUTION FOUND: 4655453985997950 @ 1.214 @ #Dec. 4566
c NEW SOLUTION FOUND: 4654634785997950 @ 1.218 @ #Dec. 4575
c NEW SOLUTION FOUND: 4607121185997950 @ 1.219 @ #Dec. 4577
c NEW SOLUTION FOUND: 4583364385997950 @ 1.222 @ #Dec. 4603
c NEW SOLUTION FOUND: 4524381985997950 @ 1.228 @ #Dec. 4621
c NEW SOLUTION FOUND: 4523562785997950 @ 1.232 @ #Dec. 4630
c NEW SOLUTION FOUND: 4476049185997950 @ 1.233 @ #Dec. 4632
c NEW SOLUTION FOUND: 4452292385997950 @ 1.237 @ #Dec. 4650
c NEW SOLUTION FOUND: 4393309985997950 @ 1.239 @ #Dec. 4663
c NEW SOLUTION FOUND: 4392490785997950 @ 1.242 @ #Dec. 4671
c NEW SOLUTION FOUND: 4344977185997950 @ 1.243 @ #Dec. 4673
c NEW SOLUTION FOUND: 4321220385997950 @ 1.247 @ #Dec. 4691
c NEW SOLUTION FOUND: 4309341985997950 @ 1.255 @ #Dec. 4721
c NEW SOLUTION FOUND: 4299038887937150 @ 1.268 @ #Dec. 4770
c NEW SOLUTION FOUND: 4251934887937150 @ 1.28 @ #Dec. 4832
c NEW SOLUTION FOUND: 4228178087937150 @ 1.282 @ #Dec. 4837
c NEW SOLUTION FOUND: 4203602087937150 @ 1.284 @ #Dec. 4844
c NEW SOLUTION FOUND: 4179845287937150 @ 1.286 @ #Dec. 4853
c NEW SOLUTION FOUND: 4167966887937150 @ 1.29 @ #Dec. 4865
c NEW SOLUTION FOUND: 4120862887937150 @ 1.315 @ #Dec. 4947
c NEW SOLUTION FOUND: 4097106087937150 @ 1.317 @ #Dec. 4951
c NEW SOLUTION FOUND: 4072530087937150 @ 1.319 @ #Dec. 4958
c NEW SOLUTION FOUND: 4048773287937150 @ 1.321 @ #Dec. 4966
c NEW SOLUTION FOUND: 4036894887937150 @ 1.325 @ #Dec. 4980
c NEW SOLUTION FOUND: 3989790887937150 @ 1.352 @ #Dec. 5077
c NEW SOLUTION FOUND: 3966034087937150 @ 1.354 @ #Dec. 5081
c NEW SOLUTION FOUND: 3941458087937150 @ 1.356 @ #Dec. 5089
c NEW SOLUTION FOUND: 3917701287937150 @ 1.358 @ #Dec. 5099
c NEW SOLUTION FOUND: 3905822887937150 @ 1.361 @ #Dec. 5117
c NEW SOLUTION FOUND: 3888448556139646 @ 1.462 @ #Dec. 5350
c NEW SOLUTION FOUND: 3864486956139646 @ 1.466 @ #Dec. 5367
c NEW SOLUTION FOUND: 3818744304010366 @ 1.706 @ #Dec. 6276
c NEW SOLUTION FOUND: 3794987504010366 @ 1.709 @ #Dec. 6285
c NEW SOLUTION FOUND: 3794577904010366 @ 1.711 @ #Dec. 6294
c NEW SOLUTION FOUND: 3770821104010366 @ 1.713 @ #Dec. 6304
c NEW SOLUTION FOUND: 3758737904010366 @ 1.714 @ #Dec. 6322
c NEW SOLUTION FOUND: 3746859504010366 @ 1.716 @ #Dec. 6350
c NEW SOLUTION FOUND: 3743718054200446 @ 1.791 @ #Dec. 6827
c NEW SOLUTION FOUND: 3732863654200446 @ 1.924 @ #Dec. 7484
c NEW SOLUTION FOUND: 3709106854200446 @ 1.927 @ #Dec. 7492
c NEW SOLUTION FOUND: 3708697254200446 @ 1.929 @ #Dec. 7503
c NEW SOLUTION FOUND: 3684940454200446 @ 1.931 @ #Dec. 7515
c NEW SOLUTION FOUND: 3673062054200446 @ 1.936 @ #Dec. 7551
c NEW SOLUTION FOUND: 3672857254200446 @ 1.94 @ #Dec. 7596
c NEW SOLUTION FOUND: 3660978854200446 @ 1.941 @ #Dec. 7613
c NEW SOLUTION FOUND: 3639749104010366 @ 1.971 @ #Dec. 7854
c NEW SOLUTION FOUND: 3627870704010366 @ 1.976 @ #Dec. 7879
c NEW SOLUTION FOUND: 3627665904010366 @ 1.981 @ #Dec. 7922
c NEW SOLUTION FOUND: 3615787504010366 @ 1.982 @ #Dec. 7938
c NEW SOLUTION FOUND: 3612646054200446 @ 2.016 @ #Dec. 8183
c NEW SOLUTION FOUND: 3602201254200446 @ 2.187 @ #Dec. 8855
c NEW SOLUTION FOUND: 3596364454200446 @ 2.192 @ #Dec. 8892
c NEW SOLUTION FOUND: 3590322854200446 @ 2.197 @ #Dec. 8933
c NEW SOLUTION FOUND: 3578239654200446 @ 2.202 @ #Dec. 8978
c NEW SOLUTION FOUND: 3571242785997950 @ 2.208 @ #Dec. 9030
c NEW SOLUTION FOUND: 3556600304010366 @ 2.214 @ #Dec. 9064
c NEW SOLUTION FOUND: 3520965104010366 @ 2.217 @ #Dec. 9084
c NEW SOLUTION FOUND: 3508677104010366 @ 2.228 @ #Dec. 9146
c NEW SOLUTION FOUND: 3496798704010366 @ 2.23 @ #Dec. 9165
c NEW SOLUTION FOUND: 3496593904010366 @ 2.242 @ #Dec. 9243
c NEW SOLUTION FOUND: 3484715504010366 @ 2.245 @ #Dec. 9267
c NEW SOLUTION FOUND: 3481574054200446 @ 2.262 @ #Dec. 9368
c NEW SOLUTION FOUND: 3435084454200446 @ 2.405 @ #Dec. 9812
c NEW SOLUTION FOUND: 3422796454200446 @ 2.413 @ #Dec. 9848
c NEW SOLUTION FOUND: 3410918054200446 @ 2.418 @ #Dec. 9880
c NEW SOLUTION FOUND: 3391837985997950 @ 2.422 @ #Dec. 9918
c NEW SOLUTION FOUND: 3386751654200446 @ 2.436 @ #Dec. 9992
c NEW SOLUTION FOUND: 3374463654200446 @ 2.44 @ #Dec. 10018
c NEW SOLUTION FOUND: 3362585254200446 @ 2.444 @ #Dec. 10053
c NEW SOLUTION FOUND: 3350502054200446 @ 2.447 @ #Dec. 10078
c Restart #2 #Var: 1335 #Dec: 11498 LB: 0 @ 2.921
c NEW SOLUTION FOUND: 3311313090905214 @ 3.01 @ #Dec. 12886
c NEW SOLUTION FOUND: 3287556290905214 @ 3.011 @ #Dec. 12901
c NEW SOLUTION FOUND: 3275677890905214 @ 3.013 @ #Dec. 12916
c NEW SOLUTION FOUND: 3266392871011454 @ 3.018 @ #Dec. 12935
c NEW SOLUTION FOUND: 3264249581667454 @ 3.021 @ #Dec. 12969
c NEW SOLUTION FOUND: 3257860290905214 @ 3.032 @ #Dec. 13028
c NEW SOLUTION FOUND: 3245981890905214 @ 3.034 @ #Dec. 13029
c NEW SOLUTION FOUND: 3240042690905214 @ 3.039 @ #Dec. 13052
c NEW SOLUTION FOUND: 3228164290905214 @ 3.041 @ #Dec. 13053
c NEW SOLUTION FOUND: 3222675181667454 @ 3.05 @ #Dec. 13079
c NEW SOLUTION FOUND: 3216735981667454 @ 3.052 @ #Dec. 13080
c NEW SOLUTION FOUND: 3216081090905214 @ 3.1 @ #Dec. 13203
c NEW SOLUTION FOUND: 3204652781667454 @ 3.104 @ #Dec. 13217
c NEW SOLUTION FOUND: 3198713581667454 @ 3.108 @ #Dec. 13220
c NEW SOLUTION FOUND: 3194467580249214 @ 3.117 @ #Dec. 13264
c NEW SOLUTION FOUND: 3192324290905214 @ 3.12 @ #Dec. 13270
c NEW SOLUTION FOUND: 3180445890905214 @ 3.122 @ #Dec. 13271
c NEW SOLUTION FOUND: 3168567490905214 @ 3.128 @ #Dec. 13286
c NEW SOLUTION FOUND: 3162628290905214 @ 3.131 @ #Dec. 13291
c NEW SOLUTION FOUND: 3151199981667454 @ 3.132 @ #Dec. 13296
c NEW SOLUTION FOUND: 3140798614209662 @ 3.166 @ #Dec. 13407
c NEW SOLUTION FOUND: 3128920214209662 @ 3.168 @ #Dec. 13414
c NEW SOLUTION FOUND: 3122981014209662 @ 3.17 @ #Dec. 13431
c NEW SOLUTION FOUND: 3121909369537662 @ 3.179 @ #Dec. 13455
c NEW SOLUTION FOUND: 3115970169537662 @ 3.182 @ #Dec. 13458
c NEW SOLUTION FOUND: 3110030969537662 @ 3.184 @ #Dec. 13466
c Restart #3 #Var: 1335 #Dec: 14987 LB: 0 @ 3.933
c NEW SOLUTION FOUND: 3109851853100158 @ 4.216 @ #Dec. 16682
c NEW SOLUTION FOUND: 3108366094308478 @ 4.218 @ #Dec. 16699
c NEW SOLUTION FOUND: 3107623214912638 @ 4.224 @ #Dec. 16720
c NEW SOLUTION FOUND: 3107565805376638 @ 4.253 @ #Dec. 16800
c NEW SOLUTION FOUND: 3107470122816638 @ 4.256 @ #Dec. 16832
c NEW SOLUTION FOUND: 3107385730798718 @ 4.265 @ #Dec. 16865
c NEW SOLUTION FOUND: 3107098683118718 @ 4.277 @ #Dec. 16910
c NEW SOLUTION FOUND: 2946692441838718 @ 4.311 @ #Dec. 17026
c NEW SOLUTION FOUND: 2922526041838718 @ 4.314 @ #Dec. 17048
c NEW SOLUTION FOUND: 2910442841838718 @ 4.316 @ #Dec. 17068
c NEW SOLUTION FOUND: 2908804441838718 @ 4.373 @ #Dec. 17203
c NEW SOLUTION FOUND: 2902762841838718 @ 4.378 @ #Dec. 17241
c NEW SOLUTION FOUND: 2899965195195518 @ 4.453 @ #Dec. 17449
c NEW SOLUTION FOUND: 2899940700460158 @ 4.583 @ #Dec. 17838
c NEW SOLUTION FOUND: 2899845017900158 @ 4.597 @ #Dec. 17919
c NEW SOLUTION FOUND: 2899773255980158 @ 4.604 @ #Dec. 17978
c NEW SOLUTION FOUND: 2837023053714558 @ 4.69 @ #Dec. 18265
c NEW SOLUTION FOUND: 2835537294922878 @ 4.696 @ #Dec. 18304
c NEW SOLUTION FOUND: 2834794415527038 @ 4.705 @ #Dec. 18349
c NEW SOLUTION FOUND: 2834261176620158 @ 4.725 @ #Dec. 18426
c NEW SOLUTION FOUND: 2834237255980158 @ 4.733 @ #Dec. 18484
c NEW SOLUTION FOUND: 2833674929575038 @ 4.805 @ #Dec. 18679
c NEW SOLUTION FOUND: 2833303489877118 @ 4.814 @ #Dec. 18726
c NEW SOLUTION FOUND: 2833117770028158 @ 4.823 @ #Dec. 18771
c NEW SOLUTION FOUND: 2833093849388158 @ 4.851 @ #Dec. 18879
c NEW SOLUTION FOUND: 2829692105266302 @ 6.303 @ #Dec. 20647
c NEW SOLUTION FOUND: 2823772041778302 @ 6.307 @ #Dec. 20705
c NEW SOLUTION FOUND: 2823767257650302 @ 6.309 @ #Dec. 20733
c NEW SOLUTION FOUND: 2817966797362302 @ 6.312 @ #Dec. 20769
c NEW SOLUTION FOUND: 2817777958261886 @ 6.316 @ #Dec. 20820
c NEW SOLUTION FOUND: 2817683538711678 @ 6.33 @ #Dec. 20919
c NEW SOLUTION FOUND: 2817447489836158 @ 6.391 @ #Dec. 21141
c NEW SOLUTION FOUND: 2812011636462718 @ 6.471 @ #Dec. 21391
c NEW SOLUTION FOUND: 2800818913416318 @ 6.567 @ #Dec. 21609
c NEW SOLUTION FOUND: 2798770913416318 @ 6.605 @ #Dec. 21857
c NEW SOLUTION FOUND: 2797195011167358 @ 6.648 @ #Dec. 22025
c NEW SOLUTION FOUND: 2795147011167358 @ 6.659 @ #Dec. 22118
c NEW SOLUTION FOUND: 2794438864540798 @ 6.688 @ #Dec. 22257
c NEW SOLUTION FOUND: 2792426027881598 @ 6.926 @ #Dec. 23220
c NEW SOLUTION FOUND: 2784031382770814 @ 7.064 @ #Dec. 24247
c NEW SOLUTION FOUND: 2783001072964734 @ 7.066 @ #Dec. 24281
c NEW SOLUTION FOUND: 2758425072964734 @ 7.07 @ #Dec. 24320
c NEW SOLUTION FOUND: 2593510620075134 @ 7.1 @ #Dec. 24507
c NEW SOLUTION FOUND: 2544358620075134 @ 7.103 @ #Dec. 24548
c NEW SOLUTION FOUND: 2519782620075134 @ 7.111 @ #Dec. 24613
c NEW SOLUTION FOUND: 2507761957147774 @ 7.126 @ #Dec. 24711
c NEW SOLUTION FOUND: 2502539194602622 @ 7.141 @ #Dec. 24773
c NEW SOLUTION FOUND: 2501767610438782 @ 7.147 @ #Dec. 24839
c NEW SOLUTION FOUND: 2498439044863102 @ 7.182 @ #Dec. 25078
c NEW SOLUTION FOUND: 2497667460699262 @ 7.185 @ #Dec. 25129
c NEW SOLUTION FOUND: 2489475460699262 @ 7.2 @ #Dec. 25237
c NEW SOLUTION FOUND: 2489451540059262 @ 7.237 @ #Dec. 25484
c NEW SOLUTION FOUND: 2485622877131902 @ 7.269 @ #Dec. 25669
c NEW SOLUTION FOUND: 2485193740850302 @ 7.367 @ #Dec. 26121
c NEW SOLUTION FOUND: 2481207488746622 @ 7.384 @ #Dec. 26240
c NEW SOLUTION FOUND: 2479056711521406 @ 8.157 @ #Dec. 28967
c NEW SOLUTION FOUND: 2479051927393406 @ 8.162 @ #Dec. 29026
c NEW SOLUTION FOUND: 2478032711521406 @ 8.228 @ #Dec. 29568
c NEW SOLUTION FOUND: 2478027927393406 @ 8.233 @ #Dec. 29640
c NEW SOLUTION FOUND: 2476900351022206 @ 8.294 @ #Dec. 29992
c NEW SOLUTION FOUND: 2472804351022206 @ 8.326 @ #Dec. 30282
c NEW SOLUTION FOUND: 2469855063905406 @ 8.354 @ #Dec. 30422
c NEW SOLUTION FOUND: 2468511675520126 @ 8.929 @ #Dec. 32418
c NEW SOLUTION FOUND: 2467487675520126 @ 8.953 @ #Dec. 32549
c NEW SOLUTION FOUND: 2466463675520126 @ 9.054 @ #Dec. 32889
c NEW SOLUTION FOUND: 2465474838860926 @ 9.221 @ #Dec. 33487
c NEW SOLUTION FOUND: 2464549344056446 @ 9.454 @ #Dec. 34218
c NEW SOLUTION FOUND: 2463525344056446 @ 9.488 @ #Dec. 34369
c NEW SOLUTION FOUND: 2462536507397246 @ 9.777 @ #Dec. 35661
c NEW SOLUTION FOUND: 2462493005780094 @ 9.848 @ #Dec. 35942
c NEW SOLUTION FOUND: 2462469085140094 @ 9.854 @ #Dec. 36057
c NEW SOLUTION FOUND: 2461376354915454 @ 9.925 @ #Dec. 36420
c NEW SOLUTION FOUND: 2455334754915454 @ 9.928 @ #Dec. 36490
c NEW SOLUTION FOUND: 2455239072355454 @ 9.932 @ #Dec. 36571
c NEW SOLUTION FOUND: 2455191231075454 @ 9.937 @ #Dec. 36652
c NEW SOLUTION FOUND: 2455167310435454 @ 9.965 @ #Dec. 36820
c NEW SOLUTION FOUND: 2451825812771966 @ 10.21 @ #Dec. 37850
c NEW SOLUTION FOUND: 2451821028643966 @ 10.216 @ #Dec. 37924
c NEW SOLUTION FOUND: 2427249812771966 @ 10.236 @ #Dec. 38197
c NEW SOLUTION FOUND: 2427245028643966 @ 10.24 @ #Dec. 38273
c NEW SOLUTION FOUND: 2419072165155966 @ 10.255 @ #Dec. 38508
c NEW SOLUTION FOUND: 2405808870724734 @ 10.266 @ #Dec. 38590
c NEW SOLUTION FOUND: 2402974685140094 @ 10.305 @ #Dec. 38852
c NEW SOLUTION FOUND: 2396933085140094 @ 10.31 @ #Dec. 38931
c NEW SOLUTION FOUND: 2389631310435454 @ 10.362 @ #Dec. 39200
c NEW SOLUTION FOUND: 2387263922050174 @ 10.426 @ #Dec. 39515
c NEW SOLUTION FOUND: 2386239922050174 @ 10.464 @ #Dec. 39724
c NEW SOLUTION FOUND: 2385335238202494 @ 10.535 @ #Dec. 40095
c NEW SOLUTION FOUND: 2385330454074494 @ 10.54 @ #Dec. 40183
c NEW SOLUTION FOUND: 2383301590586494 @ 10.553 @ #Dec. 40400
c NEW SOLUTION FOUND: 2381253696754814 @ 10.657 @ #Dec. 40839
c NEW SOLUTION FOUND: 2378047922050174 @ 10.8 @ #Dec. 41447
c NEW SOLUTION FOUND: 2373951922050174 @ 10.804 @ #Dec. 41523
c NEW SOLUTION FOUND: 2372963085390974 @ 10.872 @ #Dec. 41812
c NEW SOLUTION FOUND: 2371013590586494 @ 11.099 @ #Dec. 42706
c NEW SOLUTION FOUND: 2370024753927294 @ 11.218 @ #Dec. 43157
c NEW SOLUTION FOUND: 2367191753888894 @ 11.431 @ #Dec. 43886
c NEW SOLUTION FOUND: 2366161444082814 @ 11.433 @ #Dec. 43932
c NEW SOLUTION FOUND: 2364834518340734 @ 11.436 @ #Dec. 43992
c NEW SOLUTION FOUND: 2364829734212734 @ 11.439 @ #Dec. 44050
c NEW SOLUTION FOUND: 2361142608073854 @ 11.473 @ #Dec. 44385
c NEW SOLUTION FOUND: 2360269094458494 @ 11.528 @ #Dec. 44725
c NEW SOLUTION FOUND: 2360125570618494 @ 11.53 @ #Dec. 44785
c NEW SOLUTION FOUND: 2360120786490494 @ 11.538 @ #Dec. 44895
c NEW SOLUTION FOUND: 2359858042180734 @ 11.553 @ #Dec. 44997
c NEW SOLUTION FOUND: 2359714518340734 @ 11.555 @ #Dec. 45052
c NEW SOLUTION FOUND: 2359709734212734 @ 11.565 @ #Dec. 45152
c NEW SOLUTION FOUND: 2359101570618494 @ 11.701 @ #Dec. 45891
c NEW SOLUTION FOUND: 2359096786490494 @ 11.704 @ #Dec. 45952
c NEW SOLUTION FOUND: 2358690518340734 @ 11.722 @ #Dec. 46117
c NEW SOLUTION FOUND: 2358685734212734 @ 11.725 @ #Dec. 46175
c NEW SOLUTION FOUND: 2356027392201854 @ 11.766 @ #Dec. 46529
c NEW SOLUTION FOUND: 2356022608073854 @ 11.768 @ #Dec. 46591
c NEW SOLUTION FOUND: 2355005570618494 @ 11.787 @ #Dec. 46758
c NEW SOLUTION FOUND: 2355000786490494 @ 11.792 @ #Dec. 46820
c NEW SOLUTION FOUND: 2354998608073854 @ 11.81 @ #Dec. 46990
c NEW SOLUTION FOUND: 2353981570618494 @ 11.83 @ #Dec. 47137
c NEW SOLUTION FOUND: 2353976786490494 @ 11.834 @ #Dec. 47198
c NEW SOLUTION FOUND: 2353570518340734 @ 11.864 @ #Dec. 47358
c NEW SOLUTION FOUND: 2353565734212734 @ 11.868 @ #Dec. 47417
c NEW SOLUTION FOUND: 2352560870724734 @ 11.94 @ #Dec. 47936
c NEW SOLUTION FOUND: 2351536870724734 @ 11.952 @ #Dec. 48036
c NEW SOLUTION FOUND: 2347781085140094 @ 12.073 @ #Dec. 48669
c NEW SOLUTION FOUND: 2343685085140094 @ 12.085 @ #Dec. 48790
c NEW SOLUTION FOUND: 2342661085140094 @ 12.094 @ #Dec. 48906
c NEW SOLUTION FOUND: 2340479310435454 @ 12.141 @ #Dec. 49287
c NEW SOLUTION FOUND: 2336383310435454 @ 12.183 @ #Dec. 49653
c NEW SOLUTION FOUND: 2335359310435454 @ 12.192 @ #Dec. 49771
c NEW SOLUTION FOUND: 2332287310435454 @ 12.322 @ #Dec. 50827
c NEW SOLUTION FOUND: 2328191310435454 @ 12.326 @ #Dec. 50901
c NEW SOLUTION FOUND: 2324095310435454 @ 12.389 @ #Dec. 51280
c NEW SOLUTION FOUND: 2323071310435454 @ 12.418 @ #Dec. 51500
c NEW SOLUTION FOUND: 2322881093506174 @ 12.657 @ #Dec. 52698
c NEW SOLUTION FOUND: 2322737569666174 @ 12.663 @ #Dec. 52770
c NEW SOLUTION FOUND: 2322732785538174 @ 12.665 @ #Dec. 52839
c NEW SOLUTION FOUND: 2320703922050174 @ 12.684 @ #Dec. 53052
c NEW SOLUTION FOUND: 2319679922050174 @ 12.847 @ #Dec. 53800
c NEW SOLUTION FOUND: 2318691085390974 @ 13.061 @ #Dec. 54762
c NEW SOLUTION FOUND: 2317765590586494 @ 13.197 @ #Dec. 55316
c NEW SOLUTION FOUND: 2316741590586494 @ 13.234 @ #Dec. 55498
c NEW SOLUTION FOUND: 2315752753927294 @ 13.319 @ #Dec. 55901
c Restart #4 #Var: 1335 #Dec: 58350 LB: 0 @ 14.154
c Restart #5 #Var: 1335 #Dec: 63152 LB: 0 @ 15.343
c Restart #6 #Var: 1334 #Dec: 65869 LB: 0 @ 16.221
c Restart #7 #Var: 1334 #Dec: 67359 LB: 0 @ 17.186
c CHANGE to MIS mode... 	UB: 2315752753927294	MIS: 2079770	LPR: -2147483648 (0)	Diff: -0.00096847
c Restart #0 #Var: 1334 #Dec: 68987 LB: 0 @ 19.053
c Restart #1 #Var: 1334 #Dec: 69312 LB: 2079770 @ 19.3
c Restart #2 #Var: 1334 #Dec: 72579 LB: 2079770 @ 19.88
c Restart #3 #Var: 1332 #Dec: 76533 LB: 2079770 @ 20.898
c Restart #4 #Var: 1332 #Dec: 79034 LB: 2079770 @ 21.76
c Restart #5 #Var: 1332 #Dec: 86925 LB: 2079770 @ 23.41
c Restart #6 #Var: 1332 #Dec: 96114 LB: 2079770 @ 25.493
c NEW SOLUTION FOUND: 2274894351361609 @ 25.799 @ #Dec. 98033
c NEW SOLUTION FOUND: 2271822351361609 @ 25.801 @ #Dec. 98038
c NEW SOLUTION FOUND: 2271815667934793 @ 25.806 @ #Dec. 98061
c NEW SOLUTION FOUND: 2269634871027273 @ 25.81 @ #Dec. 98093
c NEW SOLUTION FOUND: 2269631529313865 @ 25.814 @ #Dec. 98127
c NEW SOLUTION FOUND: 2269629858457161 @ 25.825 @ #Dec. 98171
c NEW SOLUTION FOUND: 2268646420976969 @ 25.903 @ #Dec. 98283
c NEW SOLUTION FOUND: 2268644291292489 @ 25.905 @ #Dec. 98346
c NEW SOLUTION FOUND: 2268643226450249 @ 25.914 @ #Dec. 98410
c NEW SOLUTION FOUND: 2268642694029129 @ 25.923 @ #Dec. 98479
c NEW SOLUTION FOUND: 2268642427818569 @ 25.938 @ #Dec. 98551
c NEW SOLUTION FOUND: 2268642276314953 @ 25.951 @ #Dec. 98626
c NEW SOLUTION FOUND: 2268642010104393 @ 25.959 @ #Dec. 98694
c NEW SOLUTION FOUND: 2268641801247305 @ 25.974 @ #Dec. 98766
c NEW SOLUTION FOUND: 2268641696818761 @ 25.988 @ #Dec. 98844
c Restart #7 #Var: 1332 #Dec: 100255 LB: 2079770 @ 27.88
c NEW SOLUTION FOUND: 2254406844365941 @ 29.459 @ #Dec. 107238
c NEW SOLUTION FOUND: 2253382844365941 @ 29.463 @ #Dec. 107283
c NEW SOLUTION FOUND: 2238485611699317 @ 29.571 @ #Dec. 108301
c NEW SOLUTION FOUND: 2238484808862837 @ 29.579 @ #Dec. 108495
c NEW SOLUTION FOUND: 2237898595758775 @ 29.722 @ #Dec. 109006
c NEW SOLUTION FOUND: 2237898093985975 @ 29.728 @ #Dec. 109149
c NEW SOLUTION FOUND: 2237897843099575 @ 29.734 @ #Dec. 109288
c NEW SOLUTION FOUND: 2237897717656375 @ 29.739 @ #Dec. 109423
c NEW SOLUTION FOUND: 2237897654934775 @ 29.745 @ #Dec. 109554
c NEW SOLUTION FOUND: 2237897623573975 @ 29.752 @ #Dec. 109681
c NEW SOLUTION FOUND: 2237897607893575 @ 29.758 @ #Dec. 109803
c NEW SOLUTION FOUND: 2237897603973475 @ 29.764 @ #Dec. 109916
c NEW SOLUTION FOUND: 2237878314369379 @ 29.778 @ #Dec. 110162
c NEW SOLUTION FOUND: 2237878292706629 @ 29.901 @ #Dec. 110605
c NEW SOLUTION FOUND: 2237878289178539 @ 29.917 @ #Dec. 110844
c NEW SOLUTION FOUND: 2237878278594269 @ 29.93 @ #Dec. 111098
c NEW SOLUTION FOUND: 2237878275066179 @ 29.943 @ #Dec. 111341
c NEW SOLUTION FOUND: 2237872841807579 @ 29.957 @ #Dec. 111594
c NEW SOLUTION FOUND: 2237872817110949 @ 29.969 @ #Dec. 111852
c NEW SOLUTION FOUND: 2237872813582859 @ 29.984 @ #Dec. 112092
c NEW SOLUTION FOUND: 2237872616009819 @ 29.997 @ #Dec. 112338
c NEW SOLUTION FOUND: 2237872591313189 @ 30.016 @ #Dec. 112598
c NEW SOLUTION FOUND: 2237872587785099 @ 30.033 @ #Dec. 112838
c NEW SOLUTION FOUND: 2237872577200829 @ 30.051 @ #Dec. 113102
c NEW SOLUTION FOUND: 2237872573672739 @ 30.063 @ #Dec. 113346
c NEW SOLUTION FOUND: 2237872503110939 @ 30.079 @ #Dec. 113595
c NEW SOLUTION FOUND: 2237872474886219 @ 30.098 @ #Dec. 113843
c NEW SOLUTION FOUND: 2237872464301949 @ 30.118 @ #Dec. 114102
c NEW SOLUTION FOUND: 2237872460773859 @ 30.135 @ #Dec. 114346
c NEW SOLUTION FOUND: 2237872450189589 @ 30.158 @ #Dec. 114611
c NEW SOLUTION FOUND: 2237872446661499 @ 30.169 @ #Dec. 114858
c NEW SOLUTION FOUND: 2237872418436779 @ 30.182 @ #Dec. 115104
c NEW SOLUTION FOUND: 2237872407852509 @ 30.2 @ #Dec. 115365
c NEW SOLUTION FOUND: 2237872404324419 @ 30.214 @ #Dec. 115610
c NEW SOLUTION FOUND: 2237872390212059 @ 30.233 @ #Dec. 115861
c NEW SOLUTION FOUND: 2237872361987339 @ 30.249 @ #Dec. 116113
c NEW SOLUTION FOUND: 2237872351403069 @ 30.268 @ #Dec. 116372
c NEW SOLUTION FOUND: 2237872347874979 @ 30.281 @ #Dec. 116616
c NEW SOLUTION FOUND: 2237872175782589 @ 30.296 @ #Dec. 116876
c NEW SOLUTION FOUND: 2237872171862489 @ 30.308 @ #Dec. 117127
c NEW SOLUTION FOUND: 2237872167942389 @ 30.32 @ #Dec. 117379
c NEW SOLUTION FOUND: 2237872164414299 @ 30.336 @ #Dec. 117621
c NEW SOLUTION FOUND: 2237872147557869 @ 30.35 @ #Dec. 117874
c NEW SOLUTION FOUND: 2237872143637769 @ 30.362 @ #Dec. 118121
c NEW SOLUTION FOUND: 2237872139717669 @ 30.375 @ #Dec. 118362
c NEW SOLUTION FOUND: 2237872136189579 @ 30.385 @ #Dec. 118606
c NEW SOLUTION FOUND: 2237872122077219 @ 30.4 @ #Dec. 118853
c NEW SOLUTION FOUND: 2237872051515419 @ 30.419 @ #Dec. 119104
c NEW SOLUTION FOUND: 2237872042499189 @ 30.433 @ #Dec. 119364
c NEW SOLUTION FOUND: 2237872034658989 @ 30.444 @ #Dec. 119610
c NEW SOLUTION FOUND: 2237872030738889 @ 30.459 @ #Dec. 119856
c NEW SOLUTION FOUND: 2237872026818789 @ 30.471 @ #Dec. 120096
c NEW SOLUTION FOUND: 2237872023290699 @ 30.489 @ #Dec. 120340
c NEW SOLUTION FOUND: 2237872009178339 @ 30.503 @ #Dec. 120589
c NEW SOLUTION FOUND: 2237871995065979 @ 30.521 @ #Dec. 120842
c NEW SOLUTION FOUND: 2237871978209549 @ 30.534 @ #Dec. 121098
c NEW SOLUTION FOUND: 2237871974289449 @ 30.545 @ #Dec. 121345
c NEW SOLUTION FOUND: 2237871970369349 @ 30.56 @ #Dec. 121586
c NEW SOLUTION FOUND: 2237871966841259 @ 30.576 @ #Dec. 121830
c NEW SOLUTION FOUND: 2237871956256989 @ 30.59 @ #Dec. 122082
c NEW SOLUTION FOUND: 2237871952728899 @ 30.603 @ #Dec. 122327
c NEW SOLUTION FOUND: 2237871938616539 @ 30.619 @ #Dec. 122579
c NEW SOLUTION FOUND: 2237871910391819 @ 30.632 @ #Dec. 122825
c NEW SOLUTION FOUND: 2237871899807549 @ 30.65 @ #Dec. 123077
c NEW SOLUTION FOUND: 2237871896279459 @ 30.664 @ #Dec. 123322
c NEW SOLUTION FOUND: 2237871882167099 @ 30.687 @ #Dec. 123583
c NEW SOLUTION FOUND: 2237871865310669 @ 30.704 @ #Dec. 123839
c NEW SOLUTION FOUND: 2237871861390569 @ 30.717 @ #Dec. 124086
c NEW SOLUTION FOUND: 2237871857470469 @ 30.729 @ #Dec. 124327
c NEW SOLUTION FOUND: 2237871853942379 @ 30.743 @ #Dec. 124571
c NEW SOLUTION FOUND: 2237871843358109 @ 30.756 @ #Dec. 124822
c NEW SOLUTION FOUND: 2237871839830019 @ 30.769 @ #Dec. 125067
c NEW SOLUTION FOUND: 2237871825717659 @ 30.785 @ #Dec. 125316
c NEW SOLUTION FOUND: 2237871797492939 @ 30.798 @ #Dec. 125566
c NEW SOLUTION FOUND: 2237871783380579 @ 30.813 @ #Dec. 125815
c NEW SOLUTION FOUND: 2237871769268219 @ 30.83 @ #Dec. 126065
c NEW SOLUTION FOUND: 2237871741043499 @ 30.846 @ #Dec. 126313
c NEW SOLUTION FOUND: 2237871730459229 @ 30.861 @ #Dec. 126563
c NEW SOLUTION FOUND: 2237871726931139 @ 30.873 @ #Dec. 126808
c NEW SOLUTION FOUND: 2237871712818779 @ 30.889 @ #Dec. 127058
c NEW SOLUTION FOUND: 2237871684594059 @ 30.9 @ #Dec. 127304
c NEW SOLUTION FOUND: 2237871674009789 @ 30.924 @ #Dec. 127560
c NEW SOLUTION FOUND: 2237871670481699 @ 30.939 @ #Dec. 127805
c NEW SOLUTION FOUND: 2237871656369339 @ 30.956 @ #Dec. 128053
c NEW SOLUTION FOUND: 2237871628144619 @ 30.97 @ #Dec. 128301
c NEW SOLUTION FOUND: 2237871614032259 @ 30.987 @ #Dec. 128549
c NEW SOLUTION FOUND: 2237871599919899 @ 31.002 @ #Dec. 128800
c NEW SOLUTION FOUND: 2237871583063469 @ 31.018 @ #Dec. 129057
c NEW SOLUTION FOUND: 2237871579143369 @ 31.03 @ #Dec. 129305
c NEW SOLUTION FOUND: 2237871575223269 @ 31.043 @ #Dec. 129547
c NEW SOLUTION FOUND: 2237871571695179 @ 31.058 @ #Dec. 129792
c NEW SOLUTION FOUND: 2237871561110909 @ 31.076 @ #Dec. 130042
c NEW SOLUTION FOUND: 2237871557582819 @ 31.089 @ #Dec. 130287
c NEW SOLUTION FOUND: 2237871543470459 @ 31.104 @ #Dec. 130535
c NEW SOLUTION FOUND: 2237871532886189 @ 31.123 @ #Dec. 130786
c NEW SOLUTION FOUND: 2237871529358099 @ 31.136 @ #Dec. 131031
c NEW SOLUTION FOUND: 2237871515245739 @ 31.149 @ #Dec. 131278
c NEW SOLUTION FOUND: 2237871501133379 @ 31.165 @ #Dec. 131526
c NEW SOLUTION FOUND: 2237871487021019 @ 31.183 @ #Dec. 131779
c NEW SOLUTION FOUND: 2237871476436749 @ 31.199 @ #Dec. 132028
c NEW SOLUTION FOUND: 2237871472908659 @ 31.212 @ #Dec. 132273
c NEW SOLUTION FOUND: 2237871458796299 @ 31.225 @ #Dec. 132520
c NEW SOLUTION FOUND: 2237871448212029 @ 31.238 @ #Dec. 132770
c NEW SOLUTION FOUND: 2237871444683939 @ 31.25 @ #Dec. 133015
c NEW SOLUTION FOUND: 2237871430571579 @ 31.266 @ #Dec. 133263
c NEW SOLUTION FOUND: 2237871416459219 @ 31.279 @ #Dec. 133512
c NEW SOLUTION FOUND: 2237871402346859 @ 31.297 @ #Dec. 133761
c NEW SOLUTION FOUND: 2237871391762589 @ 31.313 @ #Dec. 134011
c NEW SOLUTION FOUND: 2237871388234499 @ 31.324 @ #Dec. 134256
c NEW SOLUTION FOUND: 2237871374122139 @ 31.339 @ #Dec. 134505
c NEW SOLUTION FOUND: 2237871363537869 @ 31.352 @ #Dec. 134754
c NEW SOLUTION FOUND: 2237871360009779 @ 31.364 @ #Dec. 134999
c NEW SOLUTION FOUND: 2237871345897419 @ 31.387 @ #Dec. 135252
c NEW SOLUTION FOUND: 2237871335313149 @ 31.4 @ #Dec. 135502
c NEW SOLUTION FOUND: 2237871331785059 @ 31.412 @ #Dec. 135747
c NEW SOLUTION FOUND: 2237871317672699 @ 31.427 @ #Dec. 135995
c NEW SOLUTION FOUND: 2237871307088429 @ 31.441 @ #Dec. 136246
c NEW SOLUTION FOUND: 2237871303560339 @ 31.454 @ #Dec. 136491
c NEW SOLUTION FOUND: 2237871289447979 @ 31.465 @ #Dec. 136738
c NEW SOLUTION FOUND: 2237871278863709 @ 31.48 @ #Dec. 136988
c NEW SOLUTION FOUND: 2237871275335619 @ 31.496 @ #Dec. 137233
c NEW SOLUTION FOUND: 2237871261223259 @ 31.514 @ #Dec. 137484
c NEW SOLUTION FOUND: 2237871247110899 @ 31.53 @ #Dec. 137731
c NEW SOLUTION FOUND: 2237871232998539 @ 31.551 @ #Dec. 137980
c NEW SOLUTION FOUND: 2237871222414269 @ 31.565 @ #Dec. 138230
c NEW SOLUTION FOUND: 2237871218886179 @ 31.581 @ #Dec. 138475
c NEW SOLUTION FOUND: 2237871204773819 @ 31.599 @ #Dec. 138725
c NEW SOLUTION FOUND: 2237871194189549 @ 31.615 @ #Dec. 138974
c NEW SOLUTION FOUND: 2237871190661459 @ 31.629 @ #Dec. 139219
c NEW SOLUTION FOUND: 2237871176549099 @ 31.651 @ #Dec. 139471
c NEW SOLUTION FOUND: 2237871165964829 @ 31.665 @ #Dec. 139721
c NEW SOLUTION FOUND: 2237871162436739 @ 31.679 @ #Dec. 139966
c NEW SOLUTION FOUND: 2237871148324379 @ 31.696 @ #Dec. 140216
c NEW SOLUTION FOUND: 2237871137740109 @ 31.711 @ #Dec. 140465
c NEW SOLUTION FOUND: 2237871134212019 @ 31.725 @ #Dec. 140710
c NEW SOLUTION FOUND: 2237871120099659 @ 31.737 @ #Dec. 140957
c NEW SOLUTION FOUND: 2237871109515389 @ 31.754 @ #Dec. 141207
c NEW SOLUTION FOUND: 2237871105987299 @ 31.769 @ #Dec. 141452
c NEW SOLUTION FOUND: 2237871091874939 @ 31.787 @ #Dec. 141706
c NEW SOLUTION FOUND: 2237871081290669 @ 31.801 @ #Dec. 141955
c NEW SOLUTION FOUND: 2237871077762579 @ 31.812 @ #Dec. 142200
c NEW SOLUTION FOUND: 2237871063650219 @ 31.829 @ #Dec. 142452
c NEW SOLUTION FOUND: 2237871053065949 @ 31.847 @ #Dec. 142702
c NEW SOLUTION FOUND: 2237871049537859 @ 31.86 @ #Dec. 142947
c NEW SOLUTION FOUND: 2237871046401779 @ 31.899 @ #Dec. 143224
c NEW SOLUTION FOUND: 2237871042481679 @ 31.909 @ #Dec. 143464
c NEW SOLUTION FOUND: 2237867419133249 @ 31.933 @ #Dec. 143729
c NEW SOLUTION FOUND: 2237867415605159 @ 31.946 @ #Dec. 143974
c NEW SOLUTION FOUND: 2237867401492799 @ 31.96 @ #Dec. 144222
c NEW SOLUTION FOUND: 2237867390908529 @ 31.982 @ #Dec. 144479
c NEW SOLUTION FOUND: 2237867387380439 @ 31.992 @ #Dec. 144724
c NEW SOLUTION FOUND: 2237867376796169 @ 32.008 @ #Dec. 144976
c NEW SOLUTION FOUND: 2237867373268079 @ 32.021 @ #Dec. 145223
c NEW SOLUTION FOUND: 2237867362683809 @ 32.041 @ #Dec. 145476
c NEW SOLUTION FOUND: 2237867359155719 @ 32.054 @ #Dec. 145721
c NEW SOLUTION FOUND: 2237867345043359 @ 32.07 @ #Dec. 145969
c NEW SOLUTION FOUND: 2237867334459089 @ 32.093 @ #Dec. 146229
c NEW SOLUTION FOUND: 2237867330930999 @ 32.105 @ #Dec. 146474
c NEW SOLUTION FOUND: 2237867320346729 @ 32.127 @ #Dec. 146727
c NEW SOLUTION FOUND: 2237867316818639 @ 32.139 @ #Dec. 146974
c NEW SOLUTION FOUND: 2237867306234369 @ 32.159 @ #Dec. 147229
c NEW SOLUTION FOUND: 2237867302706279 @ 32.172 @ #Dec. 147474
c NEW SOLUTION FOUND: 2237867288593919 @ 32.187 @ #Dec. 147722
c NEW SOLUTION FOUND: 2237867278009649 @ 32.209 @ #Dec. 147980
c NEW SOLUTION FOUND: 2237867274481559 @ 32.222 @ #Dec. 148225
c NEW SOLUTION FOUND: 2237867263897289 @ 32.239 @ #Dec. 148477
c NEW SOLUTION FOUND: 2237867260369199 @ 32.253 @ #Dec. 148724
c NEW SOLUTION FOUND: 2237867249784929 @ 32.276 @ #Dec. 148981
c NEW SOLUTION FOUND: 2237867246256839 @ 32.29 @ #Dec. 149226
c NEW SOLUTION FOUND: 2237867232144479 @ 32.304 @ #Dec. 149474
c NEW SOLUTION FOUND: 2237867221560209 @ 32.325 @ #Dec. 149730
c NEW SOLUTION FOUND: 2237867218032119 @ 32.338 @ #Dec. 149975
c NEW SOLUTION FOUND: 2237867207447849 @ 32.355 @ #Dec. 150229
c NEW SOLUTION FOUND: 2237867203919759 @ 32.369 @ #Dec. 150476
c NEW SOLUTION FOUND: 2237867189807399 @ 32.387 @ #Dec. 150728
c NEW SOLUTION FOUND: 2237867179223129 @ 32.403 @ #Dec. 150979
c NEW SOLUTION FOUND: 2237867175695039 @ 32.416 @ #Dec. 151226
c NEW SOLUTION FOUND: 2237867165502779 @ 32.433 @ #Dec. 151479
c NEW SOLUTION FOUND: 2237867161582679 @ 32.445 @ #Dec. 151720
c NEW SOLUTION FOUND: 2237867150998409 @ 32.46 @ #Dec. 151972
c NEW SOLUTION FOUND: 2237867147470319 @ 32.477 @ #Dec. 152219
c NEW SOLUTION FOUND: 2237867136886049 @ 32.497 @ #Dec. 152471
c NEW SOLUTION FOUND: 2237867133357959 @ 32.509 @ #Dec. 152716
c NEW SOLUTION FOUND: 2237867122773689 @ 32.523 @ #Dec. 152965
c NEW SOLUTION FOUND: 2237867119245599 @ 32.534 @ #Dec. 153212
c NEW SOLUTION FOUND: 2237867109053339 @ 32.55 @ #Dec. 153465
c NEW SOLUTION FOUND: 2237867105133239 @ 32.564 @ #Dec. 153706
c NEW SOLUTION FOUND: 2237867094548969 @ 32.582 @ #Dec. 153958
c NEW SOLUTION FOUND: 2237867091020879 @ 32.596 @ #Dec. 154205
c NEW SOLUTION FOUND: 2237867080436609 @ 32.615 @ #Dec. 154459
c NEW SOLUTION FOUND: 2237867076908519 @ 32.631 @ #Dec. 154704
c NEW SOLUTION FOUND: 2237867066324249 @ 32.643 @ #Dec. 154953
c NEW SOLUTION FOUND: 2237867062796159 @ 32.66 @ #Dec. 155200
c NEW SOLUTION FOUND: 2237867052603899 @ 32.673 @ #Dec. 155453
c NEW SOLUTION FOUND: 2237867048683799 @ 32.688 @ #Dec. 155694
c NEW SOLUTION FOUND: 2237867038099529 @ 32.706 @ #Dec. 155946
c NEW SOLUTION FOUND: 2237867034571439 @ 32.72 @ #Dec. 156192
c NEW SOLUTION FOUND: 2237867024379179 @ 32.735 @ #Dec. 156447
c NEW SOLUTION FOUND: 2237867020459079 @ 32.75 @ #Dec. 156688
c NEW SOLUTION FOUND: 2237867009874809 @ 32.762 @ #Dec. 156938
c NEW SOLUTION FOUND: 2237867006346719 @ 32.775 @ #Dec. 157184
c NEW SOLUTION FOUND: 2237866995762449 @ 32.792 @ #Dec. 157438
c NEW SOLUTION FOUND: 2237866992234359 @ 32.804 @ #Dec. 157683
c NEW SOLUTION FOUND: 2237866981650089 @ 32.823 @ #Dec. 157935
c NEW SOLUTION FOUND: 2237866978121999 @ 32.834 @ #Dec. 158181
c NEW SOLUTION FOUND: 2237866967537729 @ 32.854 @ #Dec. 158435
c NEW SOLUTION FOUND: 2237866964009639 @ 32.867 @ #Dec. 158680
c NEW SOLUTION FOUND: 2237866953425369 @ 32.883 @ #Dec. 158929
c NEW SOLUTION FOUND: 2237866949897279 @ 32.894 @ #Dec. 159175
c NEW SOLUTION FOUND: 2237866939705019 @ 32.91 @ #Dec. 159428
c NEW SOLUTION FOUND: 2237866935784919 @ 32.926 @ #Dec. 159669
c NEW SOLUTION FOUND: 2237866925200649 @ 32.945 @ #Dec. 159921
c NEW SOLUTION FOUND: 2237866921672559 @ 32.957 @ #Dec. 160167
c NEW SOLUTION FOUND: 2237866911480299 @ 32.976 @ #Dec. 160421
c NEW SOLUTION FOUND: 2237866907560199 @ 32.989 @ #Dec. 160662
c NEW SOLUTION FOUND: 2237866896975929 @ 33.003 @ #Dec. 160912
c NEW SOLUTION FOUND: 2237866893447839 @ 33.014 @ #Dec. 161158
c NEW SOLUTION FOUND: 2237866882863569 @ 33.035 @ #Dec. 161412
c NEW SOLUTION FOUND: 2237866879335479 @ 33.047 @ #Dec. 161657
c NEW SOLUTION FOUND: 2237866868751209 @ 33.064 @ #Dec. 161909
c NEW SOLUTION FOUND: 2237866865223119 @ 33.075 @ #Dec. 162155
c NEW SOLUTION FOUND: 2237866854638849 @ 33.089 @ #Dec. 162407
c NEW SOLUTION FOUND: 2237866851110759 @ 33.103 @ #Dec. 162652
c NEW SOLUTION FOUND: 2237866840526489 @ 33.115 @ #Dec. 162901
c NEW SOLUTION FOUND: 2237866836998399 @ 33.126 @ #Dec. 163147
c NEW SOLUTION FOUND: 2237866826806139 @ 33.141 @ #Dec. 163400
c NEW SOLUTION FOUND: 2237866822886039 @ 33.155 @ #Dec. 163641
c NEW SOLUTION FOUND: 2237866812301769 @ 33.174 @ #Dec. 163893
c NEW SOLUTION FOUND: 2237866808773679 @ 33.188 @ #Dec. 164139
c NEW SOLUTION FOUND: 2237866798189409 @ 33.211 @ #Dec. 164395
c NEW SOLUTION FOUND: 2237866794661319 @ 33.225 @ #Dec. 164640
c NEW SOLUTION FOUND: 2237866784077049 @ 33.239 @ #Dec. 164889
c NEW SOLUTION FOUND: 2237866780548959 @ 33.246 @ #Dec. 165135
c NEW SOLUTION FOUND: 2237866769964689 @ 33.264 @ #Dec. 165389
c NEW SOLUTION FOUND: 2237866766436599 @ 33.277 @ #Dec. 165634
c NEW SOLUTION FOUND: 2237866755852329 @ 33.295 @ #Dec. 165885
c NEW SOLUTION FOUND: 2237866752324239 @ 33.308 @ #Dec. 166131
c NEW SOLUTION FOUND: 2237866738211879 @ 33.32 @ #Dec. 166383
c NEW SOLUTION FOUND: 2237866727627609 @ 33.335 @ #Dec. 166633
c NEW SOLUTION FOUND: 2237866724099519 @ 33.348 @ #Dec. 166879
c NEW SOLUTION FOUND: 2237866713515249 @ 33.36 @ #Dec. 167129
c NEW SOLUTION FOUND: 2237866709987159 @ 33.373 @ #Dec. 167374
c NEW SOLUTION FOUND: 2237866699402889 @ 33.391 @ #Dec. 167623
c NEW SOLUTION FOUND: 2237866695874799 @ 33.402 @ #Dec. 167869
c NEW SOLUTION FOUND: 2237866685682539 @ 33.418 @ #Dec. 168123
c NEW SOLUTION FOUND: 2237866685290529 @ 33.432 @ #Dec. 168365
c NEW SOLUTION FOUND: 2237866681762439 @ 33.442 @ #Dec. 168610
c NEW SOLUTION FOUND: 2237866667650079 @ 33.457 @ #Dec. 168857
c NEW SOLUTION FOUND: 2237866657065809 @ 33.478 @ #Dec. 169111
c NEW SOLUTION FOUND: 2237866653537719 @ 33.491 @ #Dec. 169356
c NEW SOLUTION FOUND: 2237866639425359 @ 33.505 @ #Dec. 169603
c NEW SOLUTION FOUND: 2237866628841089 @ 33.525 @ #Dec. 169857
c NEW SOLUTION FOUND: 2237866625312999 @ 33.536 @ #Dec. 170102
c NEW SOLUTION FOUND: 2237866611200639 @ 33.551 @ #Dec. 170349
c NEW SOLUTION FOUND: 2237866600616369 @ 33.568 @ #Dec. 170600
c NEW SOLUTION FOUND: 2237866597088279 @ 33.582 @ #Dec. 170845
c NEW SOLUTION FOUND: 2237866582975919 @ 33.594 @ #Dec. 171092
c NEW SOLUTION FOUND: 2237866572391649 @ 33.618 @ #Dec. 171345
c NEW SOLUTION FOUND: 2237866568863559 @ 33.631 @ #Dec. 171590
c NEW SOLUTION FOUND: 2237866554751199 @ 33.643 @ #Dec. 171837
c NEW SOLUTION FOUND: 2237866540638839 @ 33.663 @ #Dec. 172089
c NEW SOLUTION FOUND: 2237866530054569 @ 33.677 @ #Dec. 172338
c NEW SOLUTION FOUND: 2237866526526479 @ 33.69 @ #Dec. 172584
c NEW SOLUTION FOUND: 2237866519470299 @ 33.719 @ #Dec. 172844
c NEW SOLUTION FOUND: 2237866505357939 @ 33.732 @ #Dec. 173090
c NEW SOLUTION FOUND: 2237866491245579 @ 33.745 @ #Dec. 173337
c NEW SOLUTION FOUND: 2237866477133219 @ 33.76 @ #Dec. 173583
c NEW SOLUTION FOUND: 2237866463020859 @ 33.78 @ #Dec. 173831
c NEW SOLUTION FOUND: 2237866448908499 @ 33.794 @ #Dec. 174077
c NEW SOLUTION FOUND: 2237866434796139 @ 33.812 @ #Dec. 174327
c NEW SOLUTION FOUND: 2237866432052069 @ 33.823 @ #Dec. 174579
c NEW SOLUTION FOUND: 2237866424211869 @ 33.835 @ #Dec. 174823
c NEW SOLUTION FOUND: 2237866420683779 @ 33.845 @ #Dec. 175068
c NEW SOLUTION FOUND: 2237866406571419 @ 33.86 @ #Dec. 175317
c NEW SOLUTION FOUND: 2237866392459059 @ 33.872 @ #Dec. 175563
c NEW SOLUTION FOUND: 2237866378346699 @ 33.884 @ #Dec. 175810
c NEW SOLUTION FOUND: 2237866364234339 @ 33.898 @ #Dec. 176056
c NEW SOLUTION FOUND: 2237866350121979 @ 33.923 @ #Dec. 176308
c NEW SOLUTION FOUND: 2237866336009619 @ 33.939 @ #Dec. 176554
c NEW SOLUTION FOUND: 2237866321897259 @ 33.96 @ #Dec. 176804
c NEW SOLUTION FOUND: 2237866307784899 @ 33.974 @ #Dec. 177050
c NEW SOLUTION FOUND: 2237866293672539 @ 33.988 @ #Dec. 177300
c NEW SOLUTION FOUND: 2237866283088269 @ 34.001 @ #Dec. 177550
c NEW SOLUTION FOUND: 2237866279560179 @ 34.012 @ #Dec. 177795
c NEW SOLUTION FOUND: 2237866265447819 @ 34.025 @ #Dec. 178042
c NEW SOLUTION FOUND: 2237866251335459 @ 34.043 @ #Dec. 178288
c NEW SOLUTION FOUND: 2237866237223099 @ 34.058 @ #Dec. 178536
c NEW SOLUTION FOUND: 2237866226638829 @ 34.072 @ #Dec. 178786
c NEW SOLUTION FOUND: 2237866223110739 @ 34.084 @ #Dec. 179031
c NEW SOLUTION FOUND: 2237866208998379 @ 34.105 @ #Dec. 179281
c NEW SOLUTION FOUND: 2237866198414109 @ 34.122 @ #Dec. 179531
c NEW SOLUTION FOUND: 2237866194886019 @ 34.134 @ #Dec. 179776
c NEW SOLUTION FOUND: 2237866180773659 @ 34.159 @ #Dec. 180030
c NEW SOLUTION FOUND: 2237866170189389 @ 34.172 @ #Dec. 180280
c NEW SOLUTION FOUND: 2237866166661299 @ 34.185 @ #Dec. 180525
c NEW SOLUTION FOUND: 2237866152548939 @ 34.202 @ #Dec. 180772
c NEW SOLUTION FOUND: 2237866138436579 @ 34.214 @ #Dec. 181018
c NEW SOLUTION FOUND: 2237866124324219 @ 34.234 @ #Dec. 181270
c NEW SOLUTION FOUND: 2237866110211859 @ 34.249 @ #Dec. 181516
c NEW SOLUTION FOUND: 2237866096099499 @ 34.263 @ #Dec. 181763
c NEW SOLUTION FOUND: 2237866085515229 @ 34.278 @ #Dec. 182013
c NEW SOLUTION FOUND: 2237866081987139 @ 34.293 @ #Dec. 182258
c NEW SOLUTION FOUND: 2237866067874779 @ 34.306 @ #Dec. 182509
c NEW SOLUTION FOUND: 2237866053762419 @ 34.318 @ #Dec. 182755
c NEW SOLUTION FOUND: 2237866039650059 @ 34.332 @ #Dec. 183002
c NEW SOLUTION FOUND: 2237866029065789 @ 34.344 @ #Dec. 183252
c NEW SOLUTION FOUND: 2237866025537699 @ 34.356 @ #Dec. 183497
c NEW SOLUTION FOUND: 2237866011425339 @ 34.373 @ #Dec. 183745
c NEW SOLUTION FOUND: 2237865997312979 @ 34.384 @ #Dec. 183991
c NEW SOLUTION FOUND: 2237865983200619 @ 34.397 @ #Dec. 184238
c NEW SOLUTION FOUND: 2237865972616349 @ 34.41 @ #Dec. 184488
c NEW SOLUTION FOUND: 2237865969088259 @ 34.421 @ #Dec. 184733
c NEW SOLUTION FOUND: 2237865954975899 @ 34.441 @ #Dec. 184982
c NEW SOLUTION FOUND: 2237865940863539 @ 34.453 @ #Dec. 185228
c NEW SOLUTION FOUND: 2237865926751179 @ 34.465 @ #Dec. 185475
c NEW SOLUTION FOUND: 2237865916166909 @ 34.475 @ #Dec. 185725
c NEW SOLUTION FOUND: 2237865912638819 @ 34.489 @ #Dec. 185970
c NEW SOLUTION FOUND: 2237865898526459 @ 34.513 @ #Dec. 186222
c NEW SOLUTION FOUND: 2237865887942189 @ 34.528 @ #Dec. 186472
c NEW SOLUTION FOUND: 2237865884414099 @ 34.541 @ #Dec. 186717
c NEW SOLUTION FOUND: 2237865870301739 @ 34.556 @ #Dec. 186964
c NEW SOLUTION FOUND: 2237865856189379 @ 34.573 @ #Dec. 187210
c NEW SOLUTION FOUND: 2237865842077019 @ 34.59 @ #Dec. 187460
c NEW SOLUTION FOUND: 2237865831492749 @ 34.602 @ #Dec. 187710
c NEW SOLUTION FOUND: 2237865827964659 @ 34.615 @ #Dec. 187955
c NEW SOLUTION FOUND: 2237865813852299 @ 34.627 @ #Dec. 188202
c NEW SOLUTION FOUND: 2237865799739939 @ 34.637 @ #Dec. 188448
c NEW SOLUTION FOUND: 2237865785627579 @ 34.651 @ #Dec. 188696
c NEW SOLUTION FOUND: 2237865775043309 @ 34.666 @ #Dec. 188946
c NEW SOLUTION FOUND: 2237865771515219 @ 34.682 @ #Dec. 189191
c NEW SOLUTION FOUND: 2237865757402859 @ 34.693 @ #Dec. 189438
c NEW SOLUTION FOUND: 2237865743290499 @ 34.707 @ #Dec. 189684
c NEW SOLUTION FOUND: 2237865729178139 @ 34.732 @ #Dec. 189938
c NEW SOLUTION FOUND: 2237865715065779 @ 34.746 @ #Dec. 190184
c NEW SOLUTION FOUND: 2237865700953419 @ 34.762 @ #Dec. 190431
c NEW SOLUTION FOUND: 2237865690369149 @ 34.775 @ #Dec. 190681
c NEW SOLUTION FOUND: 2237865686841059 @ 34.788 @ #Dec. 190926
c NEW SOLUTION FOUND: 2237865672728699 @ 34.81 @ #Dec. 191178
c NEW SOLUTION FOUND: 2237865662144429 @ 34.825 @ #Dec. 191428
c NEW SOLUTION FOUND: 2237865658616339 @ 34.84 @ #Dec. 191673
c NEW SOLUTION FOUND: 2237865644503979 @ 34.855 @ #Dec. 191920
c NEW SOLUTION FOUND: 2237865630391619 @ 34.87 @ #Dec. 192166
c NEW SOLUTION FOUND: 2237865623335439 @ 34.893 @ #Dec. 192418
c NEW SOLUTION FOUND: 2237865242693729 @ 34.919 @ #Dec. 192714
c NEW SOLUTION FOUND: 2237865234853529 @ 34.929 @ #Dec. 192977
c NEW SOLUTION FOUND: 2237865219173129 @ 34.938 @ #Dec. 193249
c NEW SOLUTION FOUND: 2237865218389109 @ 34.953 @ #Dec. 193523
c NEW SOLUTION FOUND: 2237863212081929 @ 34.97 @ #Dec. 193802
c NEW SOLUTION FOUND: 2237863211297909 @ 34.981 @ #Dec. 194076
c NEW SOLUTION FOUND: 2237861204990729 @ 34.996 @ #Dec. 194362
c NEW SOLUTION FOUND: 2237861204206709 @ 35.013 @ #Dec. 194636
c NEW SOLUTION FOUND: 2237859197899529 @ 35.029 @ #Dec. 194921
c NEW SOLUTION FOUND: 2237859197115509 @ 35.044 @ #Dec. 195201
c NEW SOLUTION FOUND: 2237859188099279 @ 35.065 @ #Dec. 195469
c NEW SOLUTION FOUND: 2237859177515009 @ 35.088 @ #Dec. 195727
c NEW SOLUTION FOUND: 2237859173986919 @ 35.103 @ #Dec. 195974
c NEW SOLUTION FOUND: 2237859159874559 @ 35.113 @ #Dec. 196223
c NEW SOLUTION FOUND: 2237859149290289 @ 35.13 @ #Dec. 196476
c NEW SOLUTION FOUND: 2237859145762199 @ 35.14 @ #Dec. 196723
c NEW SOLUTION FOUND: 2237859131649839 @ 35.153 @ #Dec. 196972
c NEW SOLUTION FOUND: 2237859124593659 @ 35.181 @ #Dec. 197227
c NEW SOLUTION FOUND: 2237859117929489 @ 35.196 @ #Dec. 197479
c NEW SOLUTION FOUND: 2237859114009389 @ 35.21 @ #Dec. 197724
c NEW SOLUTION FOUND: 2237859110481299 @ 35.218 @ #Dec. 197971
c NEW SOLUTION FOUND: 2237859096368939 @ 35.232 @ #Dec. 198220
c NEW SOLUTION FOUND: 2237859082256579 @ 35.243 @ #Dec. 198468
c NEW SOLUTION FOUND: 2237859075200399 @ 35.264 @ #Dec. 198719
c NEW SOLUTION FOUND: 2237859068144219 @ 35.283 @ #Dec. 198972
c NEW SOLUTION FOUND: 2237859054031859 @ 35.295 @ #Dec. 199220
c NEW SOLUTION FOUND: 2237859039919499 @ 35.309 @ #Dec. 199469
c NEW SOLUTION FOUND: 2237859037175429 @ 35.322 @ #Dec. 199725
c NEW SOLUTION FOUND: 2237859033255329 @ 35.335 @ #Dec. 199975
c NEW SOLUTION FOUND: 2237859029335229 @ 35.349 @ #Dec. 200219
c NEW SOLUTION FOUND: 2237859025807139 @ 35.361 @ #Dec. 200466
c NEW SOLUTION FOUND: 2237859018750959 @ 35.376 @ #Dec. 200716
c NEW SOLUTION FOUND: 2237859008166689 @ 35.394 @ #Dec. 200970
c NEW SOLUTION FOUND: 2237859004638599 @ 35.408 @ #Dec. 201217
c NEW SOLUTION FOUND: 2237858990526239 @ 35.421 @ #Dec. 201466
c NEW SOLUTION FOUND: 2237858979941969 @ 35.435 @ #Dec. 201719
c NEW SOLUTION FOUND: 2237858976413879 @ 35.447 @ #Dec. 201966
c NEW SOLUTION FOUND: 2237858965829609 @ 35.464 @ #Dec. 202219
c NEW SOLUTION FOUND: 2237858962301519 @ 35.478 @ #Dec. 202467
c NEW SOLUTION FOUND: 2237858955245339 @ 35.508 @ #Dec. 202734
c NEW SOLUTION FOUND: 2237858941132979 @ 35.522 @ #Dec. 202982
c NEW SOLUTION FOUND: 2237858927020619 @ 35.534 @ #Dec. 203231
c NEW SOLUTION FOUND: 2237858912908259 @ 35.549 @ #Dec. 203480
c NEW SOLUTION FOUND: 2237858905852079 @ 35.565 @ #Dec. 203730
c NEW SOLUTION FOUND: 2237858898795899 @ 35.587 @ #Dec. 203989
c NEW SOLUTION FOUND: 2237858884683539 @ 35.6 @ #Dec. 204237
c NEW SOLUTION FOUND: 2237858870571179 @ 35.62 @ #Dec. 204490
c NEW SOLUTION FOUND: 2237858863907009 @ 35.636 @ #Dec. 204743
c NEW SOLUTION FOUND: 2237858859986909 @ 35.648 @ #Dec. 204988
c NEW SOLUTION FOUND: 2237858856458819 @ 35.663 @ #Dec. 205235
c NEW SOLUTION FOUND: 2237858849402639 @ 35.679 @ #Dec. 205485
c NEW SOLUTION FOUND: 2237858838818369 @ 35.698 @ #Dec. 205742
c NEW SOLUTION FOUND: 2237858835290279 @ 35.716 @ #Dec. 205989
c NEW SOLUTION FOUND: 2237858821177919 @ 35.728 @ #Dec. 206238
c NEW SOLUTION FOUND: 2237858814121739 @ 35.75 @ #Dec. 206491
c NEW SOLUTION FOUND: 2237858811377669 @ 35.766 @ #Dec. 206747
c NEW SOLUTION FOUND: 2237858807457569 @ 35.779 @ #Dec. 206997
c NEW SOLUTION FOUND: 2237858803537469 @ 35.793 @ #Dec. 207241
c NEW SOLUTION FOUND: 2237858800009379 @ 35.808 @ #Dec. 207488
c NEW SOLUTION FOUND: 2237858792953199 @ 35.825 @ #Dec. 207740
c NEW SOLUTION FOUND: 2237858785897019 @ 35.838 @ #Dec. 207991
c NEW SOLUTION FOUND: 2237858771784659 @ 35.853 @ #Dec. 208239
c NEW SOLUTION FOUND: 2237858768256569 @ 35.869 @ #Dec. 208490
c NEW SOLUTION FOUND: 2237858764728479 @ 35.884 @ #Dec. 208737
c NEW SOLUTION FOUND: 2237858757672299 @ 35.905 @ #Dec. 208993
c NEW SOLUTION FOUND: 2237858743559939 @ 35.918 @ #Dec. 209241
c NEW SOLUTION FOUND: 2237858740031849 @ 35.937 @ #Dec. 209493
c NEW SOLUTION FOUND: 2237858736503759 @ 35.95 @ #Dec. 209740
c NEW SOLUTION FOUND: 2237858722391399 @ 35.97 @ #Dec. 209995
c NEW SOLUTION FOUND: 2237858711807129 @ 35.989 @ #Dec. 210246
c NEW SOLUTION FOUND: 2237858708279039 @ 36.002 @ #Dec. 210494
c NEW SOLUTION FOUND: 2237858701222859 @ 36.021 @ #Dec. 210746
c NEW SOLUTION FOUND: 2237858687110499 @ 36.034 @ #Dec. 210994
c NEW SOLUTION FOUND: 2237858683582409 @ 36.049 @ #Dec. 211246
c NEW SOLUTION FOUND: 2237858680054319 @ 36.06 @ #Dec. 211493
c NEW SOLUTION FOUND: 2237858672998139 @ 36.084 @ #Dec. 211753
c NEW SOLUTION FOUND: 2237858658885779 @ 36.101 @ #Dec. 212001
c NEW SOLUTION FOUND: 2237858655357689 @ 36.116 @ #Dec. 212252
c NEW SOLUTION FOUND: 2237858651829599 @ 36.128 @ #Dec. 212499
c NEW SOLUTION FOUND: 2237858637717239 @ 36.14 @ #Dec. 212750
c NEW SOLUTION FOUND: 2237858627132969 @ 36.153 @ #Dec. 213001
c NEW SOLUTION FOUND: 2237858623604879 @ 36.169 @ #Dec. 213249
c NEW SOLUTION FOUND: 2237858616548699 @ 36.192 @ #Dec. 213505
c NEW SOLUTION FOUND: 2237858613804629 @ 36.208 @ #Dec. 213761
c NEW SOLUTION FOUND: 2237858609884529 @ 36.224 @ #Dec. 214011
c NEW SOLUTION FOUND: 2237858605964429 @ 36.235 @ #Dec. 214255
c NEW SOLUTION FOUND: 2237858602436339 @ 36.244 @ #Dec. 214502
c NEW SOLUTION FOUND: 2237858595380159 @ 36.26 @ #Dec. 214751
c NEW SOLUTION FOUND: 2237858588323979 @ 36.275 @ #Dec. 215001
c NEW SOLUTION FOUND: 2237858574211619 @ 36.285 @ #Dec. 215249
c NEW SOLUTION FOUND: 2237858570683529 @ 36.303 @ #Dec. 215501
c NEW SOLUTION FOUND: 2237858567155439 @ 36.316 @ #Dec. 215748
c NEW SOLUTION FOUND: 2237858560099259 @ 36.332 @ #Dec. 216001
c NEW SOLUTION FOUND: 2237858545986899 @ 36.347 @ #Dec. 216249
c NEW SOLUTION FOUND: 2237858538930719 @ 36.364 @ #Dec. 216498
c NEW SOLUTION FOUND: 2237858531874539 @ 36.388 @ #Dec. 216754
c NEW SOLUTION FOUND: 2237858517762179 @ 36.401 @ #Dec. 217002
c NEW SOLUTION FOUND: 2237858510705999 @ 36.414 @ #Dec. 217252
c NEW SOLUTION FOUND: 2237858500121729 @ 36.432 @ #Dec. 217509
c NEW SOLUTION FOUND: 2237858496593639 @ 36.443 @ #Dec. 217756
c NEW SOLUTION FOUND: 2237858482481279 @ 36.457 @ #Dec. 218005
c NEW SOLUTION FOUND: 2237858475425099 @ 36.477 @ #Dec. 218258
c NEW SOLUTION FOUND: 2237858461312739 @ 36.494 @ #Dec. 218506
c NEW SOLUTION FOUND: 2237858457784649 @ 36.515 @ #Dec. 218760
c NEW SOLUTION FOUND: 2237858454256559 @ 36.529 @ #Dec. 219007
c NEW SOLUTION FOUND: 2237858447200379 @ 36.541 @ #Dec. 219258
c NEW SOLUTION FOUND: 2237858433088019 @ 36.556 @ #Dec. 219506
c NEW SOLUTION FOUND: 2237858426031839 @ 36.573 @ #Dec. 219755
c NEW SOLUTION FOUND: 2237858418975659 @ 36.587 @ #Dec. 220005
c NEW SOLUTION FOUND: 2237858416231589 @ 36.601 @ #Dec. 220261
c NEW SOLUTION FOUND: 2237858412311489 @ 36.612 @ #Dec. 220511
c NEW SOLUTION FOUND: 2237858408391389 @ 36.623 @ #Dec. 220755
c NEW SOLUTION FOUND: 2237858404863299 @ 36.634 @ #Dec. 221002
c NEW SOLUTION FOUND: 2237858397807119 @ 36.647 @ #Dec. 221252
c NEW SOLUTION FOUND: 2237858395063049 @ 36.681 @ #Dec. 221545
c NEW SOLUTION FOUND: 2237858394279029 @ 36.698 @ #Dec. 221802
c NEW SOLUTION FOUND: 2234298410430029 @ 36.738 @ #Dec. 222117
c NEW SOLUTION FOUND: 2234298395450429 @ 36.754 @ #Dec. 222353
c NEW SOLUTION FOUND: 2234298387610229 @ 36.766 @ #Dec. 222590
c NEW SOLUTION FOUND: 2234297885837429 @ 36.783 @ #Dec. 222830
c NEW SOLUTION FOUND: 2234289857472629 @ 36.796 @ #Dec. 223071
c NEW SOLUTION FOUND: 2234289054636149 @ 36.809 @ #Dec. 223317
c NEW SOLUTION FOUND: 2234288051090549 @ 36.825 @ #Dec. 223571
c NEW SOLUTION FOUND: 2234287047544949 @ 36.838 @ #Dec. 223822
c NEW SOLUTION FOUND: 2234286043999349 @ 36.853 @ #Dec. 224076
c NEW SOLUTION FOUND: 2234285040453749 @ 36.866 @ #Dec. 224324
c NEW SOLUTION FOUND: 2234284036908149 @ 36.878 @ #Dec. 224569
c NEW SOLUTION FOUND: 2234283033362549 @ 36.894 @ #Dec. 224816
c NEW SOLUTION FOUND: 2234282029816949 @ 36.907 @ #Dec. 225062
c NEW SOLUTION FOUND: 2234272997906549 @ 36.921 @ #Dec. 225310
c NEW SOLUTION FOUND: 2234271994360949 @ 36.935 @ #Dec. 225558
c NEW SOLUTION FOUND: 2234270990815349 @ 36.95 @ #Dec. 225807
c NEW SOLUTION FOUND: 2234269987269749 @ 36.963 @ #Dec. 226055
c NEW SOLUTION FOUND: 2234268983724149 @ 36.977 @ #Dec. 226306
c NEW SOLUTION FOUND: 2234267980178549 @ 36.99 @ #Dec. 226554
c NEW SOLUTION FOUND: 2234266976632949 @ 37 @ #Dec. 226804
c NEW SOLUTION FOUND: 2234265973087349 @ 37.014 @ #Dec. 227053
c NEW SOLUTION FOUND: 2234265170250869 @ 37.038 @ #Dec. 227314
c NEW SOLUTION FOUND: 2234265100937369 @ 37.116 @ #Dec. 227726
c NEW SOLUTION FOUND: 2234265085256969 @ 37.13 @ #Dec. 227963
c NEW SOLUTION FOUND: 2234265084472949 @ 37.146 @ #Dec. 228195
c NEW SOLUTION FOUND: 2234264582700149 @ 37.16 @ #Dec. 228442
c NEW SOLUTION FOUND: 2234263579154549 @ 37.176 @ #Dec. 228693
c NEW SOLUTION FOUND: 2234262575608949 @ 37.185 @ #Dec. 228941
c NEW SOLUTION FOUND: 2234261572063349 @ 37.202 @ #Dec. 229191
c NEW SOLUTION FOUND: 2234260568517749 @ 37.216 @ #Dec. 229440
c NEW SOLUTION FOUND: 2234259765681269 @ 37.237 @ #Dec. 229706
c NEW SOLUTION FOUND: 2230366610154789 @ 37.31 @ #Dec. 230124
c NEW SOLUTION FOUND: 2230366594474389 @ 37.32 @ #Dec. 230352
c NEW SOLUTION FOUND: 2230366563113589 @ 37.329 @ #Dec. 230585
c NEW SOLUTION FOUND: 2230366061340789 @ 37.34 @ #Dec. 230825
c NEW SOLUTION FOUND: 2230365057795189 @ 37.352 @ #Dec. 231069
c NEW SOLUTION FOUND: 2230364054249589 @ 37.366 @ #Dec. 231314
c NEW SOLUTION FOUND: 2230363050703989 @ 37.377 @ #Dec. 231558
c NEW SOLUTION FOUND: 2230362047158389 @ 37.39 @ #Dec. 231805
c NEW SOLUTION FOUND: 2230361043612789 @ 37.405 @ #Dec. 232049
c NEW SOLUTION FOUND: 2230360040067189 @ 37.421 @ #Dec. 232295
c NEW SOLUTION FOUND: 2230359036521589 @ 37.435 @ #Dec. 232540
c NEW SOLUTION FOUND: 2230350004611189 @ 37.447 @ #Dec. 232788
c NEW SOLUTION FOUND: 2230349001065589 @ 37.461 @ #Dec. 233035
c NEW SOLUTION FOUND: 2230347997519989 @ 37.471 @ #Dec. 233283
c NEW SOLUTION FOUND: 2230346993974389 @ 37.482 @ #Dec. 233530
c NEW SOLUTION FOUND: 2230345990428789 @ 37.495 @ #Dec. 233781
c NEW SOLUTION FOUND: 2230344986883189 @ 37.512 @ #Dec. 234028
c NEW SOLUTION FOUND: 2230343983337589 @ 37.523 @ #Dec. 234278
c NEW SOLUTION FOUND: 2230342979791989 @ 37.535 @ #Dec. 234527
c NEW SOLUTION FOUND: 2230342176955509 @ 37.559 @ #Dec. 234788
c NEW SOLUTION FOUND: 2230302475302529 @ 37.623 @ #Dec. 235196
c NEW SOLUTION FOUND: 2230302467462329 @ 37.634 @ #Dec. 235425
c NEW SOLUTION FOUND: 2230302451781929 @ 37.646 @ #Dec. 235656
c NEW SOLUTION FOUND: 2230302420421129 @ 37.659 @ #Dec. 235890
c NEW SOLUTION FOUND: 2230302169534729 @ 37.672 @ #Dec. 236125
c NEW SOLUTION FOUND: 2230302168750709 @ 37.684 @ #Dec. 236357
c NEW SOLUTION FOUND: 2230301666977909 @ 37.697 @ #Dec. 236595
c NEW SOLUTION FOUND: 2230300663432309 @ 37.712 @ #Dec. 236838
c NEW SOLUTION FOUND: 2230299659886709 @ 37.728 @ #Dec. 237082
c NEW SOLUTION FOUND: 2230298656341109 @ 37.738 @ #Dec. 237325
c NEW SOLUTION FOUND: 2230297652795509 @ 37.75 @ #Dec. 237571
c NEW SOLUTION FOUND: 2230296649249909 @ 37.762 @ #Dec. 237814
c NEW SOLUTION FOUND: 2230295645704309 @ 37.776 @ #Dec. 238059
c NEW SOLUTION FOUND: 2230294642158709 @ 37.789 @ #Dec. 238303
c NEW SOLUTION FOUND: 2230285610248309 @ 37.803 @ #Dec. 238551
c NEW SOLUTION FOUND: 2230284606702709 @ 37.815 @ #Dec. 238797
c NEW SOLUTION FOUND: 2230283603157109 @ 37.826 @ #Dec. 239044
c NEW SOLUTION FOUND: 2230282599611509 @ 37.842 @ #Dec. 239290
c NEW SOLUTION FOUND: 2230281596065909 @ 37.859 @ #Dec. 239541
c NEW SOLUTION FOUND: 2230280592520309 @ 37.87 @ #Dec. 239787
c NEW SOLUTION FOUND: 2230279588974709 @ 37.884 @ #Dec. 240037
c NEW SOLUTION FOUND: 2230278585429109 @ 37.901 @ #Dec. 240286
c NEW SOLUTION FOUND: 2230277782592629 @ 37.934 @ #Dec. 240575
c NEW SOLUTION FOUND: 2229685352346909 @ 37.978 @ #Dec. 240934
c NEW SOLUTION FOUND: 2229685344506709 @ 37.995 @ #Dec. 241197
c NEW SOLUTION FOUND: 2229685313145909 @ 38.011 @ #Dec. 241460
c NEW SOLUTION FOUND: 2229685281785109 @ 38.027 @ #Dec. 241725
c NEW SOLUTION FOUND: 2229685250424309 @ 38.041 @ #Dec. 241989
c NEW SOLUTION FOUND: 2229685124981109 @ 38.056 @ #Dec. 242255
c NEW SOLUTION FOUND: 2229684874094709 @ 38.074 @ #Dec. 242529
c NEW SOLUTION FOUND: 2229683870549109 @ 38.091 @ #Dec. 242808
c NEW SOLUTION FOUND: 2229682867003509 @ 38.106 @ #Dec. 243088
c NEW SOLUTION FOUND: 2229681863457909 @ 38.123 @ #Dec. 243367
c NEW SOLUTION FOUND: 2229680859912309 @ 38.14 @ #Dec. 243649
c NEW SOLUTION FOUND: 2229679856366709 @ 38.157 @ #Dec. 243928
c NEW SOLUTION FOUND: 2229678852821109 @ 38.176 @ #Dec. 244210
c NEW SOLUTION FOUND: 2229677849275509 @ 38.19 @ #Dec. 244491
c NEW SOLUTION FOUND: 2229668817365109 @ 38.206 @ #Dec. 244779
c NEW SOLUTION FOUND: 2229667813819509 @ 38.225 @ #Dec. 245056
c NEW SOLUTION FOUND: 2229666810273909 @ 38.238 @ #Dec. 245334
c NEW SOLUTION FOUND: 2229665806728309 @ 38.251 @ #Dec. 245611
c NEW SOLUTION FOUND: 2229663799637109 @ 38.269 @ #Dec. 245898
c NEW SOLUTION FOUND: 2229661792545909 @ 38.283 @ #Dec. 246184
c NEW SOLUTION FOUND: 2226090646520949 @ 38.296 @ #Dec. 246443
c NEW SOLUTION FOUND: 2226088639429749 @ 38.314 @ #Dec. 246687
c NEW SOLUTION FOUND: 2226086632338549 @ 38.327 @ #Dec. 246934
c NEW SOLUTION FOUND: 2226084625247349 @ 38.339 @ #Dec. 247180
c NEW SOLUTION FOUND: 2226074589791349 @ 38.352 @ #Dec. 247433
c NEW SOLUTION FOUND: 2226072582700149 @ 38.36 @ #Dec. 247680
c NEW SOLUTION FOUND: 2226070575608949 @ 38.376 @ #Dec. 247936
c NEW SOLUTION FOUND: 2226068568517749 @ 38.387 @ #Dec. 248191
c NEW SOLUTION FOUND: 2226067765681269 @ 38.407 @ #Dec. 248477
c Restart #8 #Var: 1332 #Dec: 251416 LB: 2079770 @ 40.695
c Restart #9 #Var: 1332 #Dec: 260813 LB: 2079770 @ 44.051
c Restart #10 #Var: 1332 #Dec: 266326 LB: 2079770 @ 47.017
c Restart #11 #Var: 1332 #Dec: 273408 LB: 2079770 @ 49.995
c Restart #12 #Var: 1332 #Dec: 280830 LB: 2079770 @ 53.64
c Restart #13 #Var: 1332 #Dec: 286684 LB: 2079770 @ 58.118
c Restart #14 #Var: 1332 #Dec: 309212 LB: 2079770 @ 63.517
c Restart #15 #Var: 1332 #Dec: 316435 LB: 2079770 @ 68.604
c Restart #16 #Var: 1332 #Dec: 326967 LB: 2079770 @ 74.129
c Restart #17 #Var: 1332 #Dec: 335001 LB: 2079770 @ 80.077
c NEW SOLUTION FOUND: 2203450652059202 @ 81.286 @ #Dec. 338585
c NEW SOLUTION FOUND: 2203232572368450 @ 81.287 @ #Dec. 338585
c NEW SOLUTION FOUND: 2203229164873282 @ 81.288 @ #Dec. 338585
c NEW SOLUTION FOUND: 2202108003558978 @ 81.29 @ #Dec. 338591
c NEW SOLUTION FOUND: 2201235684795970 @ 81.291 @ #Dec. 338591
c NEW SOLUTION FOUND: 2201181164873282 @ 81.292 @ #Dec. 338594
c NEW SOLUTION FOUND: 2201153904911938 @ 81.293 @ #Dec. 338600
c NEW SOLUTION FOUND: 2200717745530434 @ 81.295 @ #Dec. 338609
c NEW SOLUTION FOUND: 2200717745114480 @ 81.298 @ #Dec. 338651
c NEW SOLUTION FOUND: 2200704115133808 @ 81.301 @ #Dec. 338660
c NEW SOLUTION FOUND: 2200704101823280 @ 81.302 @ #Dec. 338674
c NEW SOLUTION FOUND: 2200704075202224 @ 81.305 @ #Dec. 338689
c NEW SOLUTION FOUND: 2200704074370316 @ 81.307 @ #Dec. 338704
c NEW SOLUTION FOUND: 2200704071042684 @ 81.309 @ #Dec. 338720
c NEW SOLUTION FOUND: 2196608071042684 @ 81.312 @ #Dec. 338738
c NEW SOLUTION FOUND: 2196607858074236 @ 81.313 @ #Dec. 338757
c NEW SOLUTION FOUND: 2196607857866259 @ 81.315 @ #Dec. 338778
c NEW SOLUTION FOUND: 2194006226306579 @ 81.319 @ #Dec. 338820
c NEW SOLUTION FOUND: 2194005196971539 @ 81.336 @ #Dec. 338992
c NEW SOLUTION FOUND: 2194005186416834 @ 81.339 @ #Dec. 339018
c NEW SOLUTION FOUND: 2192369884976659 @ 81.981 @ #Dec. 343187
c NEW SOLUTION FOUND: 2192366796971539 @ 82.005 @ #Dec. 343333
c NEW SOLUTION FOUND: 2192366786416834 @ 82.049 @ #Dec. 343626
c Restart #18 #Var: 1332 #Dec: 352996 LB: 2079770 @ 86.284
c Restart #19 #Var: 1332 #Dec: 367983 LB: 2079770 @ 92.903
c Restart #20 #Var: 1332 #Dec: 376632 LB: 2079770 @ 98.126
c Restart #21 #Var: 1332 #Dec: 385167 LB: 2079770 @ 106.06
c Restart #22 #Var: 1330 #Dec: 399688 LB: 2079770 @ 112.54
c Restart #23 #Var: 1330 #Dec: 417794 LB: 2079770 @ 119.97
c Restart #24 #Var: 1330 #Dec: 426278 LB: 2079770 @ 126.28
c Restart #25 #Var: 1330 #Dec: 437068 LB: 2079770 @ 136.43
c Restart #26 #Var: 1330 #Dec: 445670 LB: 2079770 @ 144.32
c Restart #27 #Var: 1330 #Dec: 459396 LB: 2079770 @ 158.67
c Restart #28 #Var: 1330 #Dec: 478213 LB: 2079770 @ 167.81
c Restart #29 #Var: 1330 #Dec: 490296 LB: 2079770 @ 182.9
c Restart #30 #Var: 1329 #Dec: 496922 LB: 2079770 @ 189.16
c Restart #31 #Var: 1329 #Dec: 511947 LB: 2079770 @ 202.61
c Restart #32 #Var: 1329 #Dec: 528371 LB: 2079770 @ 213.06
c Restart #33 #Var: 1329 #Dec: 544392 LB: 2079770 @ 225.05
c Restart #34 #Var: 1329 #Dec: 560217 LB: 2079770 @ 241.15
c Restart #35 #Var: 1329 #Dec: 580283 LB: 2079770 @ 260.82
c Restart #36 #Var: 1329 #Dec: 594903 LB: 2079770 @ 272.82
c Restart #37 #Var: 1329 #Dec: 609647 LB: 2079770 @ 303.04
c Restart #38 #Var: 1329 #Dec: 635720 LB: 2079770 @ 334.56
c Restart #39 #Var: 1329 #Dec: 652553 LB: 2079770 @ 346.3
c Restart #40 #Var: 1329 #Dec: 669705 LB: 2079770 @ 374.51
c Restart #41 #Var: 1329 #Dec: 689206 LB: 2079770 @ 396.7
c Restart #42 #Var: 1329 #Dec: 715220 LB: 2079770 @ 419.96
c Restart #43 #Var: 1329 #Dec: 736042 LB: 2079770 @ 458.88
c Restart #44 #Var: 1329 #Dec: 750352 LB: 2079770 @ 471.82
c Restart #45 #Var: 1329 #Dec: 769255 LB: 2079770 @ 503.13
c Restart #46 #Var: 1329 #Dec: 782736 LB: 2079770 @ 575.77
c Restart #47 #Var: 1329 #Dec: 797169 LB: 2079770 @ 593.93
c Restart #48 #Var: 1329 #Dec: 813111 LB: 2079770 @ 613.47
c Restart #49 #Var: 1329 #Dec: 823376 LB: 2079770 @ 965.88
c Restart #50 #Var: 1329 #Dec: 853335 LB: 2079770 @ 985.29
c Restart #51 #Var: 1329 #Dec: 879979 LB: 2079770 @ 1023.8
c Restart #52 #Var: 1329 #Dec: 899124 LB: 2079770 @ 1184.2
s SATISFIABLE
v -d1_bit0 -d2_bit0 -d3_bit0 -d4_bit0 d5_bit0 d6_bit0 d7_bit0 -d9_bit0 -d10_bit0 -d11_bit0 -d12_bit0 -d13_bit0 -d14_bit0 d16_bit0 -h1_bit0 -h1_bit1 -h1_bit2 -h1_bit3 -h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 -h1_bit10 -h1_bit11 -h1_bit12 -h1_bit13 -h2_bit0 -h2_bit1 h2_bit2 -h2_bit3 -h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h2_bit10 -h2_bit11 -h2_bit12 -h2_bit13 h3_bit0 h3_bit1 -h3_bit2 -h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h3_bit10 -h3_bit11 -h3_bit12 -h3_bit13 h4_bit0 h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h4_bit10 -h4_bit11 -h4_bit12 -h4_bit13 h5_bit0 h5_bit1 h5_bit2 -h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h5_bit10 -h5_bit11 -h5_bit12 -h5_bit13 -h6_bit0 -h6_bit1 -h6_bit2 -h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h6_bit10 -h6_bit11 -h6_bit12 -h6_bit13 h7_bit0 h7_bit1 h7_bit2 h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h7_bit10 -h7_bit11 -h7_bit12 -h7_bit13 -h9_bit0 -h9_bit1 -h9_bit2 -h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h9_bit10 -h9_bit11 -h9_bit12 -h9_bit13 -h10_bit0 -h10_bit1 -h10_bit2 -h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h11_bit0 -h11_bit1 -h11_bit2 -h11_bit3 -h11_bit4 -h11_bit5 -h11_bit6 -h11_bit7 -h11_bit8 -h11_bit9 -h12_bit0 -h12_bit1 -h12_bit2 -h12_bit3 -h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 h13_bit0 -h13_bit1 -h13_bit2 -h13_bit3 -h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 -h14_bit0 -h14_bit1 -h14_bit2 h14_bit3 -h14_bit4 -h14_bit5 -h14_bit6 -h14_bit7 -h14_bit8 -h14_bit9 h16_bit0 h16_bit1 h16_bit2 -h16_bit3 -h16_bit4 -h16_bit5 -h16_bit6 -h16_bit7 -h16_bit8 -h16_bit9 -g1_bit0 g1_bit1 g1_bit2 g1_bit3 -g1_bit4 -g1_bit5 -g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 -g2_bit0 -g2_bit1 -g2_bit2 -g2_bit3 -g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 g2_bit9 -g3_bit0 -g3_bit1 g3_bit2 -g3_bit3 g3_bit4 g3_bit5 g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 -g4_bit0 -g4_bit1 -g4_bit2 -g4_bit3 -g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 -g5_bit0 -g5_bit1 -g5_bit2 -g5_bit3 g5_bit4 -g5_bit5 -g5_bit6 g5_bit7 g5_bit8 -g5_bit9 -g6_bit0 -g6_bit1 -g6_bit2 -g6_bit3 g6_bit4 -g6_bit5 -g6_bit6 -g6_bit7 -g6_bit8 -g6_bit9 -g7_bit0 -g7_bit1 -g7_bit2 -g7_bit3 -g7_bit4 -g7_bit5 -g7_bit6 -g7_bit7 g7_bit8 -g7_bit9 -g9_bit0 -g9_bit1 -g9_bit2 -g9_bit3 -g9_bit4 -g9_bit5 -g9_bit6 -g9_bit7 g9_bit8 -g9_bit9 g10_bit0 g10_bit1 g10_bit2 -g10_bit3 g10_bit4 -g10_bit5 -g10_bit6 -g11_bit0 g11_bit1 g11_bit2 -g11_bit3 g11_bit4 -g11_bit5 g11_bit6 g12_bit0 g12_bit1 -g12_bit2 -g12_bit3 -g12_bit4 -g12_bit5 -g12_bit6 g13_bit0 g13_bit1 -g13_bit2 -g13_bit3 -g13_bit4 -g13_bit5 -g13_bit6 -g14_bit0 g14_bit1 -g14_bit2 g14_bit3 g14_bit4 -g14_bit5 -g14_bit6 g16_bit0 g16_bit1 -g16_bit2 g16_bit3 -g16_bit4 -g16_bit5 -g16_bit6 -a1_bit_10 -a1_bit_9 -a1_bit_8 -a1_bit_7 -a1_bit_6 -a1_bit_5 -a1_bit_4 -a1_bit_3 -a1_bit_2 -a1_bit_1 -a1_bit0 -a1_bit1 -a1_bit2 -a1_bit3 a1_bit4 a1_bit5 a1_bit6 a1_bit7 -a1_bit8 a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 -a1_bit13 -a1_bit14 -a1_bit15 -a1_bit16 -a1_bit17 -a1_bit18 -a1_bit19 -a2_bit_10 -a2_bit_9 a2_bit_8 -a2_bit_7 -a2_bit_6 -a2_bit_5 -a2_bit_4 -a2_bit_3 -a2_bit_2 -a2_bit_1 -a2_bit0 a2_bit1 a2_bit2 -a2_bit3 -a2_bit4 -a2_bit5 -a2_bit6 -a2_bit7 a2_bit8 -a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 -a2_bit13 -a2_bit14 -a2_bit15 -a2_bit16 -a2_bit17 -a2_bit18 -a2_bit19 -a3_bit_10 -a3_bit_9 -a3_bit_8 -a3_bit_7 -a3_bit_6 -a3_bit_5 -a3_bit_4 -a3_bit_3 -a3_bit_2 -a3_bit_1 -a3_bit0 a3_bit1 -a3_bit2 -a3_bit3 -a3_bit4 -a3_bit5 -a3_bit6 -a3_bit7 -a3_bit8 -a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 -a3_bit13 -a3_bit14 -a3_bit15 -a3_bit16 -a3_bit17 -a3_bit18 -a3_bit19 -a4_bit_10 -a4_bit_9 -a4_bit_8 -a4_bit_7 -a4_bit_6 -a4_bit_5 -a4_bit_4 -a4_bit_3 -a4_bit_2 -a4_bit_1 -a4_bit0 -a4_bit1 -a4_bit2 -a4_bit3 -a4_bit4 -a4_bit5 -a4_bit6 -a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 a4_bit11 -a4_bit12 -a4_bit13 -a4_bit14 -a4_bit15 -a4_bit16 -a4_bit17 -a4_bit18 -a4_bit19 -a5_bit_10 -a5_bit_9 -a5_bit_8 -a5_bit_7 -a5_bit_6 -a5_bit_5 -a5_bit_4 -a5_bit_3 -a5_bit_2 -a5_bit_1 -a5_bit0 -a5_bit1 -a5_bit2 -a5_bit3 -a5_bit4 -a5_bit5 -a5_bit6 -a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a5_bit13 -a5_bit14 -a5_bit15 -a5_bit16 -a5_bit17 -a5_bit18 -a5_bit19 -a6_bit_10 -a6_bit_9 -a6_bit_8 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 -a6_bit1 -a6_bit2 -a6_bit3 -a6_bit4 -a6_bit5 -a6_bit6 -a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 -a6_bit13 -a6_bit14 -a6_bit15 -a6_bit16 -a6_bit17 -a6_bit18 -a6_bit19 -a7_bit_10 -a7_bit_9 -a7_bit_8 -a7_bit_7 -a7_bit_6 -a7_bit_5 -a7_bit_4 -a7_bit_3 -a7_bit_2 -a7_bit_1 -a7_bit0 -a7_bit1 -a7_bit2 -a7_bit3 -a7_bit4 -a7_bit5 -a7_bit6 -a7_bit7 a7_bit8 -a7_bit9 -a7_bit10 -a7_bit11 -a7_bit12 a7_bit13 -a7_bit14 -a7_bit15 -a7_bit16 -a7_bit17 -a7_bit18 -a7_bit19 -a8_bit_10 -a8_bit_9 -a8_bit_8 -a8_bit_7 -a8_bit_6 -a8_bit_5 -a8_bit_4 -a8_bit_3 -a8_bit_2 -a8_bit_1 -a8_bit0 -a8_bit1 -a8_bit2 -a8_bit3 -a8_bit4 -a8_bit5 -a8_bit6 -a8_bit7 -a8_bit8 -a8_bit9 -a8_bit10 a8_bit11 a8_bit12 -a8_bit13 -a8_bit14 -a8_bit15 -a8_bit16 -a8_bit17 -a8_bit18 -a8_bit19 -a9_bit_10 -a9_bit_9 -a9_bit_8 -a9_bit_7 -a9_bit_6 -a9_bit_5 -a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 -a9_bit1 -a9_bit2 -a9_bit3 -a9_bit4 -a9_bit5 -a9_bit6 -a9_bit7 -a9_bit8 -a9_bit9 -a9_bit10 -a9_bit11 -a9_bit12 -a9_bit13 -a9_bit14 -a9_bit15 -a9_bit16 -a9_bit17 -a9_bit18 -a9_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 -b1_bit_10 -b1_bit_9 -b1_bit_8 -b1_bit_7 -b1_bit_6 -b1_bit_5 -b1_bit_4 -b1_bit_3 -b1_bit_2 -b1_bit_1 -b1_bit0 -b1_bit1 -b1_bit2 -b1_bit3 -b1_bit4 -b1_bit5 -b1_bit6 -b1_bit7 -b1_bit8 -b1_bit9 -b1_bit10 -b1_bit11 -b1_bit12 -b1_bit13 -b1_bit14 -b1_bit15 b1_bit16 -b1_bit17 -b1_bit18 -b1_bit19 -b2_bit_10 -b2_bit_9 -b2_bit_8 -b2_bit_7 -b2_bit_6 -b2_bit_5 -b2_bit_4 -b2_bit_3 -b2_bit_2 -b2_bit_1 -b2_bit0 -b2_bit1 -b2_bit2 b2_bit3 b2_bit4 -b2_bit5 -b2_bit6 b2_bit7 b2_bit8 b2_bit9 b2_bit10 -b2_bit11 -b2_bit12 -b2_bit13 -b2_bit14 -b2_bit15 -b2_bit16 -b2_bit17 -b2_bit18 -b2_bit19 -b3_bit_10 -b3_bit_9 -b3_bit_8 -b3_bit_7 -b3_bit_6 -b3_bit_5 -b3_bit_4 -b3_bit_3 -b3_bit_2 -b3_bit_1 -b3_bit0 -b3_bit1 -b3_bit2 -b3_bit3 -b3_bit4 -b3_bit5 -b3_bit6 -b3_bit7 -b3_bit8 -b3_bit9 -b3_bit10 -b3_bit11 -b3_bit12 -b3_bit13 -b3_bit14 -b3_bit15 -b3_bit16 -b3_bit17 -b3_bit18 -b3_bit19 b4_bit_10 b4_bit_9 -b4_bit_8 b4_bit_7 -b4_bit_6 b4_bit_5 b4_bit_4 b4_bit_3 b4_bit_2 b4_bit_1 b4_bit0 -b4_bit1 -b4_bit2 -b4_bit3 -b4_bit4 -b4_bit5 -b4_bit6 -b4_bit7 b4_bit8 b4_bit9 -b4_bit10 -b4_bit11 -b4_bit12 -b4_bit13 -b4_bit14 -b4_bit15 -b4_bit16 -b4_bit17 -b4_bit18 -b4_bit19 -b5_bit_10 -b5_bit_9 -b5_bit_8 -b5_bit_7 -b5_bit_6 -b5_bit_5 -b5_bit_4 -b5_bit_3 -b5_bit_2 -b5_bit_1 -b5_bit0 -b5_bit1 -b5_bit2 -b5_bit3 -b5_bit4 -b5_bit5 -b5_bit6 -b5_bit7 -b5_bit8 -b5_bit9 -b5_bit10 -b5_bit11 -b5_bit12 -b5_bit13 -b5_bit14 -b5_bit15 -b5_bit16 -b5_bit17 -b5_bit18 -b5_bit19 -b6_bit_10 -b6_bit_9 -b6_bit_8 -b6_bit_7 -b6_bit_6 -b6_bit_5 -b6_bit_4 -b6_bit_3 -b6_bit_2 -b6_bit_1 -b6_bit0 -b6_bit1 -b6_bit2 -b6_bit3 -b6_bit4 -b6_bit5 -b6_bit6 -b6_bit7 -b6_bit8 -b6_bit9 -b6_bit10 -b6_bit11 -b6_bit12 -b6_bit13 -b6_bit14 -b6_bit15 -b6_bit16 -b6_bit17 -b6_bit18 -b6_bit19 -b7_bit_10 -b7_bit_9 -b7_bit_8 -b7_bit_7 -b7_bit_6 -b7_bit_5 -b7_bit_4 -b7_bit_3 -b7_bit_2 -b7_bit_1 -b7_bit0 -b7_bit1 -b7_bit2 -b7_bit3 -b7_bit4 b7_bit5 -b7_bit6 b7_bit7 -b7_bit8 b7_bit9 -b7_bit10 -b7_bit11 -b7_bit12 -b7_bit13 -b7_bit14 -b7_bit15 -b7_bit16 -b7_bit17 -b7_bit18 -b7_bit19 -b8_bit_10 -b8_bit_9 -b8_bit_8 -b8_bit_7 -b8_bit_6 -b8_bit_5 -b8_bit_4 -b8_bit_3 -b8_bit_2 -b8_bit_1 -b8_bit0 -b8_bit1 -b8_bit2 -b8_bit3 -b8_bit4 -b8_bit5 -b8_bit6 -b8_bit7 -b8_bit8 -b8_bit9 -b8_bit10 -b8_bit11 -b8_bit12 -b8_bit13 b8_bit14 -b8_bit15 -b8_bit16 -b8_bit17 -b8_bit18 -b8_bit19 -b9_bit_10 -b9_bit_9 -b9_bit_8 -b9_bit_7 -b9_bit_6 -b9_bit_5 -b9_bit_4 -b9_bit_3 -b9_bit_2 -b9_bit_1 -b9_bit0 -b9_bit1 -b9_bit2 -b9_bit3 -b9_bit4 -b9_bit5 -b9_bit6 -b9_bit7 -b9_bit8 -b9_bit9 -b9_bit10 -b9_bit11 -b9_bit12 b9_bit13 -b9_bit14 -b9_bit15 -b9_bit16 -b9_bit17 -b9_bit18 -b9_bit19 b10_bit_10 b10_bit_9 -b10_bit_8 b10_bit_7 -b10_bit_6 b10_bit_5 b10_bit_4 b10_bit_3 b10_bit_2 b10_bit_1 b10_bit0 -b10_bit1 -b10_bit2 -b10_bit3 -b10_bit4 -b10_bit5 b10_bit6 b10_bit7 -b10_bit8 b10_bit9 -b10_bit10 -b10_bit11 b10_bit12 -b10_bit13 -b10_bit14 -b10_bit15 -b10_bit16 -b10_bit17 -b10_bit18 -b10_bit19 -b11_bit_10 -b11_bit_9 -b11_bit_8 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 -b11_bit2 -b11_bit3 -b11_bit4 -b11_bit5 -b11_bit6 -b11_bit7 -b11_bit8 -b11_bit9 -b11_bit10 -b11_bit11 b11_bit12 -b11_bit13 -b11_bit14 -b11_bit15 -b11_bit16 -b11_bit17 -b11_bit18 -b11_bit19 b12_bit_10 -b12_bit_9 -b12_bit_8 -b12_bit_7 -b12_bit_6 -b12_bit_5 -b12_bit_4 -b12_bit_3 -b12_bit_2 -b12_bit_1 -b12_bit0 -b12_bit1 -b12_bit2 -b12_bit3 -b12_bit4 -b12_bit5 -b12_bit6 -b12_bit7 b12_bit8 -b12_bit9 -b12_bit10 -b12_bit11 -b12_bit12 -b12_bit13 -b12_bit14 -b12_bit15 -b12_bit16 -b12_bit17 -b12_bit18 -b12_bit19 -b13_bit_10 -b13_bit_9 -b13_bit_8 -b13_bit_7 -b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 -b13_bit_2 -b13_bit_1 -b13_bit0 -b13_bit1 -b13_bit2 -b13_bit3 -b13_bit4 -b13_bit5 -b13_bit6 -b13_bit7 -b13_bit8 -b13_bit9 -b13_bit10 -b13_bit11 -b13_bit12 -b13_bit13 -b13_bit14 -b13_bit15 -b13_bit16 -b13_bit17 -b13_bit18 -b13_bit19 -b14_bit_10 -b14_bit_9 -b14_bit_8 -b14_bit_7 -b14_bit_6 -b14_bit_5 -b14_bit_4 -b14_bit_3 -b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 -b14_bit7 -b14_bit8 -b14_bit9 -b14_bit10 -b14_bit11 -b14_bit12 -b14_bit13 -b14_bit14 -b14_bit15 -b14_bit16 -b14_bit17 -b14_bit18 -b14_bit19 -b15_bit_10 -b15_bit_9 -b15_bit_8 -b15_bit_7 -b15_bit_6 -b15_bit_5 -b15_bit_4 -b15_bit_3 -b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 -b15_bit2 -b15_bit3 -b15_bit4 -b15_bit5 -b15_bit6 -b15_bit7 -b15_bit8 -b15_bit9 -b15_bit10 -b15_bit11 -b15_bit12 -b15_bit13 -b15_bit14 -b15_bit15 -b15_bit16 -b15_bit17 -b15_bit18 -b15_bit19 -b16_bit_10 b16_bit_9 b16_bit_8 -b16_bit_7 b16_bit_6 -b16_bit_5 b16_bit_4 b16_bit_3 b16_bit_2 b16_bit_1 b16_bit0 -b16_bit1 b16_bit2 b16_bit3 b16_bit4 b16_bit5 b16_bit6 -b16_bit7 b16_bit8 b16_bit9 b16_bit10 -b16_bit11 -b16_bit12 b16_bit13 -b16_bit14 -b16_bit15 -b16_bit16 -b16_bit17 -b16_bit18 -b16_bit19 c1_bit0 c2_bit0 -c10_bit0 -c11_bit0 -c12_bit0 c13_bit0 c14_bit0 -c15_bit0 c16_bit0 c3_bit0 c4_bit0 c5_bit0 c6_bit0 c7_bit0 -c8_bit0 -c9_bit0 f1_bit_10 f1_bit_9 f1_bit_8 f1_bit_7 f1_bit_6 f1_bit_5 f1_bit_4 f1_bit_3 f1_bit_2 f1_bit_1 f1_bit0 f1_bit1 f1_bit2 f1_bit3 -f1_bit4 -f1_bit5 f1_bit6 -f1_bit7 f1_bit8 -f1_bit9 -f1_bit10 -f1_bit11 -f1_bit12 -f1_bit13 -f1_bit14 -f1_bit15 -f1_bit16 -f1_bit17 -f1_bit18 -f1_bit19 f10_bit_10 f10_bit_9 f10_bit_8 f10_bit_7 f10_bit_6 f10_bit_5 f10_bit_4 f10_bit_3 f10_bit_2 f10_bit_1 f10_bit0 f10_bit1 f10_bit2 -f10_bit3 -f10_bit4 f10_bit5 -f10_bit6 -f10_bit7 -f10_bit8 f10_bit9 -f10_bit10 -f10_bit11 -f10_bit12 -f10_bit13 -f10_bit14 -f10_bit15 -f10_bit16 -f10_bit17 -f10_bit18 -f10_bit19 f11_bit_10 f11_bit_9 f11_bit_8 f11_bit_7 f11_bit_6 f11_bit_5 f11_bit_4 f11_bit_3 f11_bit_2 f11_bit_1 f11_bit0 f11_bit1 f11_bit2 f11_bit3 -f11_bit4 f11_bit5 f11_bit6 f11_bit7 f11_bit8 f11_bit9 f11_bit10 -f11_bit11 -f11_bit12 -f11_bit13 -f11_bit14 -f11_bit15 -f11_bit16 -f11_bit17 -f11_bit18 -f11_bit19 -f12_bit_10 -f12_bit_9 -f12_bit_8 -f12_bit_7 -f12_bit_6 -f12_bit_5 -f12_bit_4 -f12_bit_3 -f12_bit_2 -f12_bit_1 -f12_bit0 -f12_bit1 -f12_bit2 -f12_bit3 -f12_bit4 f12_bit5 -f12_bit6 -f12_bit7 -f12_bit8 -f12_bit9 -f12_bit10 -f12_bit11 -f12_bit12 -f12_bit13 -f12_bit14 -f12_bit15 -f12_bit16 -f12_bit17 -f12_bit18 -f12_bit19 -f13_bit_10 -f13_bit_9 -f13_bit_8 -f13_bit_7 -f13_bit_6 -f13_bit_5 -f13_bit_4 -f13_bit_3 -f13_bit_2 -f13_bit_1 -f13_bit0 -f13_bit1 -f13_bit2 -f13_bit3 -f13_bit4 -f13_bit5 f13_bit6 -f13_bit7 -f13_bit8 -f13_bit9 -f13_bit10 -f13_bit11 -f13_bit12 -f13_bit13 -f13_bit14 -f13_bit15 -f13_bit16 -f13_bit17 -f13_bit18 -f13_bit19 -f14_bit_10 -f14_bit_9 -f14_bit_8 -f14_bit_7 -f14_bit_6 -f14_bit_5 -f14_bit_4 -f14_bit_3 -f14_bit_2 -f14_bit_1 -f14_bit0 -f14_bit1 -f14_bit2 f14_bit3 f14_bit4 -f14_bit5 f14_bit6 -f14_bit7 -f14_bit8 f14_bit9 -f14_bit10 -f14_bit11 -f14_bit12 -f14_bit13 -f14_bit14 -f14_bit15 -f14_bit16 -f14_bit17 -f14_bit18 -f14_bit19 -f16_bit_10 -f16_bit_9 -f16_bit_8 -f16_bit_7 -f16_bit_6 -f16_bit_5 -f16_bit_4 -f16_bit_3 -f16_bit_2 -f16_bit_1 -f16_bit0 -f16_bit1 -f16_bit2 -f16_bit3 -f16_bit4 -f16_bit5 -f16_bit6 -f16_bit7 f16_bit8 -f16_bit9 -f16_bit10 -f16_bit11 -f16_bit12 -f16_bit13 -f16_bit14 -f16_bit15 -f16_bit16 -f16_bit17 -f16_bit18 -f16_bit19 f2_bit_10 f2_bit_9 f2_bit_8 f2_bit_7 f2_bit_6 f2_bit_5 f2_bit_4 f2_bit_3 f2_bit_2 f2_bit_1 f2_bit0 f2_bit1 f2_bit2 -f2_bit3 f2_bit4 -f2_bit5 -f2_bit6 f2_bit7 -f2_bit8 -f2_bit9 f2_bit10 f2_bit11 f2_bit12 -f2_bit13 -f2_bit14 -f2_bit15 -f2_bit16 -f2_bit17 -f2_bit18 -f2_bit19 -f3_bit_10 -f3_bit_9 -f3_bit_8 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 -f3_bit1 -f3_bit2 -f3_bit3 -f3_bit4 -f3_bit5 f3_bit6 f3_bit7 -f3_bit8 f3_bit9 -f3_bit10 f3_bit11 -f3_bit12 -f3_bit13 -f3_bit14 -f3_bit15 -f3_bit16 -f3_bit17 -f3_bit18 -f3_bit19 -f4_bit_10 -f4_bit_9 -f4_bit_8 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 -f4_bit1 -f4_bit2 -f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 -f4_bit7 -f4_bit8 -f4_bit9 -f4_bit10 -f4_bit11 -f4_bit12 -f4_bit13 -f4_bit14 -f4_bit15 -f4_bit16 -f4_bit17 -f4_bit18 -f4_bit19 -f5_bit_10 -f5_bit_9 -f5_bit_8 -f5_bit_7 -f5_bit_6 -f5_bit_5 -f5_bit_4 -f5_bit_3 -f5_bit_2 -f5_bit_1 -f5_bit0 -f5_bit1 -f5_bit2 -f5_bit3 -f5_bit4 -f5_bit5 f5_bit6 f5_bit7 -f5_bit8 -f5_bit9 f5_bit10 -f5_bit11 -f5_bit12 f5_bit13 -f5_bit14 -f5_bit15 -f5_bit16 -f5_bit17 -f5_bit18 -f5_bit19 -f6_bit_10 -f6_bit_9 -f6_bit_8 -f6_bit_7 -f6_bit_6 -f6_bit_5 -f6_bit_4 -f6_bit_3 -f6_bit_2 -f6_bit_1 -f6_bit0 -f6_bit1 -f6_bit2 f6_bit3 -f6_bit4 f6_bit5 -f6_bit6 -f6_bit7 -f6_bit8 -f6_bit9 -f6_bit10 -f6_bit11 -f6_bit12 -f6_bit13 -f6_bit14 -f6_bit15 -f6_bit16 -f6_bit17 -f6_bit18 -f6_bit19 -f7_bit_10 -f7_bit_9 -f7_bit_8 -f7_bit_7 -f7_bit_6 -f7_bit_5 -f7_bit_4 -f7_bit_3 -f7_bit_2 -f7_bit_1 -f7_bit0 -f7_bit1 -f7_bit2 -f7_bit3 -f7_bit4 -f7_bit5 -f7_bit6 -f7_bit7 -f7_bit8 -f7_bit9 f7_bit10 -f7_bit11 f7_bit12 -f7_bit13 -f7_bit14 -f7_bit15 -f7_bit16 -f7_bit17 -f7_bit18 -f7_bit19 -f9_bit_10 -f9_bit_9 -f9_bit_8 -f9_bit_7 -f9_bit_6 -f9_bit_5 -f9_bit_4 -f9_bit_3 -f9_bit_2 -f9_bit_1 -f9_bit0 -f9_bit1 -f9_bit2 -f9_bit3 -f9_bit4 -f9_bit5 -f9_bit6 -f9_bit7 f9_bit8 f9_bit9 f9_bit10 -f9_bit11 f9_bit12 -f9_bit13 -f9_bit14 -f9_bit15 -f9_bit16 -f9_bit17 -f9_bit18 -f9_bit19 
c Cost: 2192366786416834
c Exit Code: 10
c Total time: 1195 s