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.375
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.569 @ #Dec. 1729
c NEW SOLUTION FOUND: 6965753151128702 @ 0.57 @ #Dec. 1730
c NEW SOLUTION FOUND: 6918239551128702 @ 0.571 @ #Dec. 1730
c NEW SOLUTION FOUND: 6751941951128702 @ 0.573 @ #Dec. 1732
c NEW SOLUTION FOUND: 6704428351128702 @ 0.574 @ #Dec. 1732
c NEW SOLUTION FOUND: 6703609151128702 @ 0.576 @ #Dec. 1733
c NEW SOLUTION FOUND: 6656095551128702 @ 0.577 @ #Dec. 1733
c NEW SOLUTION FOUND: 6489797951128702 @ 0.582 @ #Dec. 1738
c NEW SOLUTION FOUND: 6442284351128702 @ 0.583 @ #Dec. 1738
c NEW SOLUTION FOUND: 6441465151128702 @ 0.585 @ #Dec. 1739
c NEW SOLUTION FOUND: 6393951551128702 @ 0.586 @ #Dec. 1739
c NEW SOLUTION FOUND: 6227653951128702 @ 0.595 @ #Dec. 1748
c NEW SOLUTION FOUND: 6180140351128702 @ 0.597 @ #Dec. 1748
c NEW SOLUTION FOUND: 6179321151128702 @ 0.598 @ #Dec. 1749
c NEW SOLUTION FOUND: 6131807551128702 @ 0.599 @ #Dec. 1749
c NEW SOLUTION FOUND: 6130988351128702 @ 0.605 @ #Dec. 1755
c NEW SOLUTION FOUND: 6083474751128702 @ 0.606 @ #Dec. 1755
c NEW SOLUTION FOUND: 6035961151128702 @ 0.619 @ #Dec. 1767
c NEW SOLUTION FOUND: 5988447551128702 @ 0.641 @ #Dec. 1790
c NEW SOLUTION FOUND: 5987628351128702 @ 0.67 @ #Dec. 1823
c NEW SOLUTION FOUND: 5940114751128702 @ 0.681 @ #Dec. 1835
c NEW SOLUTION FOUND: 5869663551128702 @ 0.686 @ #Dec. 1844
c NEW SOLUTION FOUND: 5822149951128702 @ 0.687 @ #Dec. 1844
c NEW SOLUTION FOUND: 5821330751128702 @ 0.688 @ #Dec. 1845
c NEW SOLUTION FOUND: 5773817151128702 @ 0.69 @ #Dec. 1845
c NEW SOLUTION FOUND: 5726303551128702 @ 0.696 @ #Dec. 1851
c NEW SOLUTION FOUND: 5725484351128702 @ 0.703 @ #Dec. 1872
c NEW SOLUTION FOUND: 5677970751128702 @ 0.704 @ #Dec. 1872
c NEW SOLUTION FOUND: 5511673151128702 @ 0.726 @ #Dec. 1928
c NEW SOLUTION FOUND: 5464159551128702 @ 0.727 @ #Dec. 1928
c NEW SOLUTION FOUND: 5463340351128702 @ 0.728 @ #Dec. 1933
c NEW SOLUTION FOUND: 5415826751128702 @ 0.729 @ #Dec. 1933
c NEW SOLUTION FOUND: 5391660351128702 @ 0.738 @ #Dec. 1957
c NEW SOLUTION FOUND: 5367903551128702 @ 0.749 @ #Dec. 1987
c NEW SOLUTION FOUND: 5333087551128702 @ 0.793 @ #Dec. 2110
c NEW SOLUTION FOUND: 5332268351128702 @ 0.795 @ #Dec. 2116
c NEW SOLUTION FOUND: 5284754751128702 @ 0.796 @ #Dec. 2116
c NEW SOLUTION FOUND: 5260588351128702 @ 0.799 @ #Dec. 2121
c NEW SOLUTION FOUND: 5236831551128702 @ 0.803 @ #Dec. 2128
c NEW SOLUTION FOUND: 5202015551128702 @ 0.867 @ #Dec. 2298
c NEW SOLUTION FOUND: 5201196351128702 @ 0.869 @ #Dec. 2299
c NEW SOLUTION FOUND: 5153682751128702 @ 0.87 @ #Dec. 2299
c NEW SOLUTION FOUND: 5129925951128702 @ 0.879 @ #Dec. 2335
c NEW SOLUTION FOUND: 5129516351128702 @ 0.881 @ #Dec. 2342
c NEW SOLUTION FOUND: 5105759551128702 @ 0.882 @ #Dec. 2342
c Restart #1 #Var: 1335 #Dec: 3095 LB: 0 @ 1.114
c NEW SOLUTION FOUND: 5096183585997950 @ 1.17 @ #Dec. 4400
c NEW SOLUTION FOUND: 5048669985997950 @ 1.171 @ #Dec. 4402
c NEW SOLUTION FOUND: 5047850785997950 @ 1.175 @ #Dec. 4411
c NEW SOLUTION FOUND: 5000337185997950 @ 1.176 @ #Dec. 4413
c NEW SOLUTION FOUND: 4976580385997950 @ 1.181 @ #Dec. 4443
c NEW SOLUTION FOUND: 4965111585997950 @ 1.185 @ #Dec. 4459
c NEW SOLUTION FOUND: 4917597985997950 @ 1.186 @ #Dec. 4461
c NEW SOLUTION FOUND: 4916778785997950 @ 1.189 @ #Dec. 4470
c NEW SOLUTION FOUND: 4869265185997950 @ 1.19 @ #Dec. 4472
c NEW SOLUTION FOUND: 4845508385997950 @ 1.195 @ #Dec. 4498
c NEW SOLUTION FOUND: 4786525985997950 @ 1.198 @ #Dec. 4514
c NEW SOLUTION FOUND: 4785706785997950 @ 1.201 @ #Dec. 4523
c NEW SOLUTION FOUND: 4738193185997950 @ 1.202 @ #Dec. 4525
c NEW SOLUTION FOUND: 4714436385997950 @ 1.205 @ #Dec. 4551
c NEW SOLUTION FOUND: 4655453985997950 @ 1.209 @ #Dec. 4566
c NEW SOLUTION FOUND: 4654634785997950 @ 1.213 @ #Dec. 4575
c NEW SOLUTION FOUND: 4607121185997950 @ 1.214 @ #Dec. 4577
c NEW SOLUTION FOUND: 4583364385997950 @ 1.219 @ #Dec. 4603
c NEW SOLUTION FOUND: 4524381985997950 @ 1.223 @ #Dec. 4621
c NEW SOLUTION FOUND: 4523562785997950 @ 1.226 @ #Dec. 4630
c NEW SOLUTION FOUND: 4476049185997950 @ 1.227 @ #Dec. 4632
c NEW SOLUTION FOUND: 4452292385997950 @ 1.228 @ #Dec. 4650
c NEW SOLUTION FOUND: 4393309985997950 @ 1.231 @ #Dec. 4663
c NEW SOLUTION FOUND: 4392490785997950 @ 1.234 @ #Dec. 4671
c NEW SOLUTION FOUND: 4344977185997950 @ 1.235 @ #Dec. 4673
c NEW SOLUTION FOUND: 4321220385997950 @ 1.237 @ #Dec. 4691
c NEW SOLUTION FOUND: 4309341985997950 @ 1.245 @ #Dec. 4721
c NEW SOLUTION FOUND: 4299038887937150 @ 1.259 @ #Dec. 4770
c NEW SOLUTION FOUND: 4251934887937150 @ 1.273 @ #Dec. 4832
c NEW SOLUTION FOUND: 4228178087937150 @ 1.275 @ #Dec. 4837
c NEW SOLUTION FOUND: 4203602087937150 @ 1.277 @ #Dec. 4844
c NEW SOLUTION FOUND: 4179845287937150 @ 1.279 @ #Dec. 4853
c NEW SOLUTION FOUND: 4167966887937150 @ 1.282 @ #Dec. 4865
c NEW SOLUTION FOUND: 4120862887937150 @ 1.307 @ #Dec. 4947
c NEW SOLUTION FOUND: 4097106087937150 @ 1.309 @ #Dec. 4951
c NEW SOLUTION FOUND: 4072530087937150 @ 1.311 @ #Dec. 4958
c NEW SOLUTION FOUND: 4048773287937150 @ 1.313 @ #Dec. 4966
c NEW SOLUTION FOUND: 4036894887937150 @ 1.315 @ #Dec. 4980
c NEW SOLUTION FOUND: 3989790887937150 @ 1.342 @ #Dec. 5077
c NEW SOLUTION FOUND: 3966034087937150 @ 1.343 @ #Dec. 5081
c NEW SOLUTION FOUND: 3941458087937150 @ 1.345 @ #Dec. 5089
c NEW SOLUTION FOUND: 3917701287937150 @ 1.348 @ #Dec. 5099
c NEW SOLUTION FOUND: 3905822887937150 @ 1.351 @ #Dec. 5117
c NEW SOLUTION FOUND: 3888448556139646 @ 1.453 @ #Dec. 5350
c NEW SOLUTION FOUND: 3864486956139646 @ 1.457 @ #Dec. 5367
c NEW SOLUTION FOUND: 3818744304010366 @ 1.702 @ #Dec. 6276
c NEW SOLUTION FOUND: 3794987504010366 @ 1.706 @ #Dec. 6285
c NEW SOLUTION FOUND: 3794577904010366 @ 1.708 @ #Dec. 6294
c NEW SOLUTION FOUND: 3770821104010366 @ 1.709 @ #Dec. 6304
c NEW SOLUTION FOUND: 3758737904010366 @ 1.712 @ #Dec. 6322
c NEW SOLUTION FOUND: 3746859504010366 @ 1.717 @ #Dec. 6350
c NEW SOLUTION FOUND: 3743718054200446 @ 1.786 @ #Dec. 6827
c NEW SOLUTION FOUND: 3732863654200446 @ 1.923 @ #Dec. 7484
c NEW SOLUTION FOUND: 3709106854200446 @ 1.925 @ #Dec. 7492
c NEW SOLUTION FOUND: 3708697254200446 @ 1.928 @ #Dec. 7503
c NEW SOLUTION FOUND: 3684940454200446 @ 1.93 @ #Dec. 7515
c NEW SOLUTION FOUND: 3673062054200446 @ 1.933 @ #Dec. 7551
c NEW SOLUTION FOUND: 3672857254200446 @ 1.937 @ #Dec. 7596
c NEW SOLUTION FOUND: 3660978854200446 @ 1.938 @ #Dec. 7613
c NEW SOLUTION FOUND: 3639749104010366 @ 1.966 @ #Dec. 7854
c NEW SOLUTION FOUND: 3627870704010366 @ 1.969 @ #Dec. 7879
c NEW SOLUTION FOUND: 3627665904010366 @ 1.974 @ #Dec. 7922
c NEW SOLUTION FOUND: 3615787504010366 @ 1.975 @ #Dec. 7938
c NEW SOLUTION FOUND: 3612646054200446 @ 2.002 @ #Dec. 8183
c NEW SOLUTION FOUND: 3602201254200446 @ 2.173 @ #Dec. 8855
c NEW SOLUTION FOUND: 3596364454200446 @ 2.179 @ #Dec. 8892
c NEW SOLUTION FOUND: 3590322854200446 @ 2.186 @ #Dec. 8933
c NEW SOLUTION FOUND: 3578239654200446 @ 2.191 @ #Dec. 8978
c NEW SOLUTION FOUND: 3571242785997950 @ 2.197 @ #Dec. 9030
c NEW SOLUTION FOUND: 3556600304010366 @ 2.203 @ #Dec. 9064
c NEW SOLUTION FOUND: 3520965104010366 @ 2.207 @ #Dec. 9084
c NEW SOLUTION FOUND: 3508677104010366 @ 2.214 @ #Dec. 9146
c NEW SOLUTION FOUND: 3496798704010366 @ 2.216 @ #Dec. 9165
c NEW SOLUTION FOUND: 3496593904010366 @ 2.229 @ #Dec. 9243
c NEW SOLUTION FOUND: 3484715504010366 @ 2.231 @ #Dec. 9267
c NEW SOLUTION FOUND: 3481574054200446 @ 2.249 @ #Dec. 9368
c NEW SOLUTION FOUND: 3435084454200446 @ 2.394 @ #Dec. 9812
c NEW SOLUTION FOUND: 3422796454200446 @ 2.403 @ #Dec. 9848
c NEW SOLUTION FOUND: 3410918054200446 @ 2.407 @ #Dec. 9880
c NEW SOLUTION FOUND: 3391837985997950 @ 2.412 @ #Dec. 9918
c NEW SOLUTION FOUND: 3386751654200446 @ 2.426 @ #Dec. 9992
c NEW SOLUTION FOUND: 3374463654200446 @ 2.428 @ #Dec. 10018
c NEW SOLUTION FOUND: 3362585254200446 @ 2.43 @ #Dec. 10053
c NEW SOLUTION FOUND: 3350502054200446 @ 2.434 @ #Dec. 10078
c Restart #2 #Var: 1335 #Dec: 11498 LB: 0 @ 2.892
c NEW SOLUTION FOUND: 3311313090905214 @ 2.98 @ #Dec. 12886
c NEW SOLUTION FOUND: 3287556290905214 @ 2.982 @ #Dec. 12901
c NEW SOLUTION FOUND: 3275677890905214 @ 2.984 @ #Dec. 12916
c NEW SOLUTION FOUND: 3266392871011454 @ 2.988 @ #Dec. 12935
c NEW SOLUTION FOUND: 3264249581667454 @ 2.992 @ #Dec. 12969
c NEW SOLUTION FOUND: 3257860290905214 @ 3.001 @ #Dec. 13028
c NEW SOLUTION FOUND: 3245981890905214 @ 3.003 @ #Dec. 13029
c NEW SOLUTION FOUND: 3240042690905214 @ 3.009 @ #Dec. 13052
c NEW SOLUTION FOUND: 3228164290905214 @ 3.011 @ #Dec. 13053
c NEW SOLUTION FOUND: 3222675181667454 @ 3.019 @ #Dec. 13079
c NEW SOLUTION FOUND: 3216735981667454 @ 3.021 @ #Dec. 13080
c NEW SOLUTION FOUND: 3216081090905214 @ 3.063 @ #Dec. 13203
c NEW SOLUTION FOUND: 3204652781667454 @ 3.069 @ #Dec. 13217
c NEW SOLUTION FOUND: 3198713581667454 @ 3.072 @ #Dec. 13220
c NEW SOLUTION FOUND: 3194467580249214 @ 3.081 @ #Dec. 13264
c NEW SOLUTION FOUND: 3192324290905214 @ 3.085 @ #Dec. 13270
c NEW SOLUTION FOUND: 3180445890905214 @ 3.087 @ #Dec. 13271
c NEW SOLUTION FOUND: 3168567490905214 @ 3.092 @ #Dec. 13286
c NEW SOLUTION FOUND: 3162628290905214 @ 3.096 @ #Dec. 13291
c NEW SOLUTION FOUND: 3151199981667454 @ 3.098 @ #Dec. 13296
c NEW SOLUTION FOUND: 3140798614209662 @ 3.132 @ #Dec. 13407
c NEW SOLUTION FOUND: 3128920214209662 @ 3.134 @ #Dec. 13414
c NEW SOLUTION FOUND: 3122981014209662 @ 3.136 @ #Dec. 13431
c NEW SOLUTION FOUND: 3121909369537662 @ 3.143 @ #Dec. 13455
c NEW SOLUTION FOUND: 3115970169537662 @ 3.146 @ #Dec. 13458
c NEW SOLUTION FOUND: 3110030969537662 @ 3.148 @ #Dec. 13466
c Restart #3 #Var: 1335 #Dec: 14987 LB: 0 @ 3.88
c NEW SOLUTION FOUND: 3109851853100158 @ 4.165 @ #Dec. 16682
c NEW SOLUTION FOUND: 3108366094308478 @ 4.167 @ #Dec. 16699
c NEW SOLUTION FOUND: 3107623214912638 @ 4.171 @ #Dec. 16720
c NEW SOLUTION FOUND: 3107565805376638 @ 4.202 @ #Dec. 16800
c NEW SOLUTION FOUND: 3107470122816638 @ 4.208 @ #Dec. 16832
c NEW SOLUTION FOUND: 3107385730798718 @ 4.217 @ #Dec. 16865
c NEW SOLUTION FOUND: 3107098683118718 @ 4.229 @ #Dec. 16910
c NEW SOLUTION FOUND: 2946692441838718 @ 4.263 @ #Dec. 17026
c NEW SOLUTION FOUND: 2922526041838718 @ 4.266 @ #Dec. 17048
c NEW SOLUTION FOUND: 2910442841838718 @ 4.268 @ #Dec. 17068
c NEW SOLUTION FOUND: 2908804441838718 @ 4.324 @ #Dec. 17203
c NEW SOLUTION FOUND: 2902762841838718 @ 4.332 @ #Dec. 17241
c NEW SOLUTION FOUND: 2899965195195518 @ 4.408 @ #Dec. 17449
c NEW SOLUTION FOUND: 2899940700460158 @ 4.528 @ #Dec. 17838
c NEW SOLUTION FOUND: 2899845017900158 @ 4.543 @ #Dec. 17919
c NEW SOLUTION FOUND: 2899773255980158 @ 4.55 @ #Dec. 17978
c NEW SOLUTION FOUND: 2837023053714558 @ 4.635 @ #Dec. 18265
c NEW SOLUTION FOUND: 2835537294922878 @ 4.64 @ #Dec. 18304
c NEW SOLUTION FOUND: 2834794415527038 @ 4.649 @ #Dec. 18349
c NEW SOLUTION FOUND: 2834261176620158 @ 4.669 @ #Dec. 18426
c NEW SOLUTION FOUND: 2834237255980158 @ 4.677 @ #Dec. 18484
c NEW SOLUTION FOUND: 2833674929575038 @ 4.749 @ #Dec. 18679
c NEW SOLUTION FOUND: 2833303489877118 @ 4.759 @ #Dec. 18726
c NEW SOLUTION FOUND: 2833117770028158 @ 4.767 @ #Dec. 18771
c NEW SOLUTION FOUND: 2833093849388158 @ 4.797 @ #Dec. 18879
c NEW SOLUTION FOUND: 2829692105266302 @ 6.246 @ #Dec. 20647
c NEW SOLUTION FOUND: 2823772041778302 @ 6.248 @ #Dec. 20705
c NEW SOLUTION FOUND: 2823767257650302 @ 6.25 @ #Dec. 20733
c NEW SOLUTION FOUND: 2817966797362302 @ 6.254 @ #Dec. 20769
c NEW SOLUTION FOUND: 2817777958261886 @ 6.257 @ #Dec. 20820
c NEW SOLUTION FOUND: 2817683538711678 @ 6.272 @ #Dec. 20919
c NEW SOLUTION FOUND: 2817447489836158 @ 6.329 @ #Dec. 21141
c NEW SOLUTION FOUND: 2812011636462718 @ 6.406 @ #Dec. 21391
c NEW SOLUTION FOUND: 2800818913416318 @ 6.498 @ #Dec. 21609
c NEW SOLUTION FOUND: 2798770913416318 @ 6.537 @ #Dec. 21857
c NEW SOLUTION FOUND: 2797195011167358 @ 6.577 @ #Dec. 22025
c NEW SOLUTION FOUND: 2795147011167358 @ 6.587 @ #Dec. 22118
c NEW SOLUTION FOUND: 2794438864540798 @ 6.616 @ #Dec. 22257
c NEW SOLUTION FOUND: 2792426027881598 @ 6.863 @ #Dec. 23220
c NEW SOLUTION FOUND: 2784031382770814 @ 7.01 @ #Dec. 24247
c NEW SOLUTION FOUND: 2783001072964734 @ 7.013 @ #Dec. 24281
c NEW SOLUTION FOUND: 2758425072964734 @ 7.018 @ #Dec. 24320
c NEW SOLUTION FOUND: 2593510620075134 @ 7.047 @ #Dec. 24507
c NEW SOLUTION FOUND: 2544358620075134 @ 7.049 @ #Dec. 24548
c NEW SOLUTION FOUND: 2519782620075134 @ 7.057 @ #Dec. 24613
c NEW SOLUTION FOUND: 2507761957147774 @ 7.07 @ #Dec. 24711
c NEW SOLUTION FOUND: 2502539194602622 @ 7.083 @ #Dec. 24773
c NEW SOLUTION FOUND: 2501767610438782 @ 7.091 @ #Dec. 24839
c NEW SOLUTION FOUND: 2498439044863102 @ 7.122 @ #Dec. 25078
c NEW SOLUTION FOUND: 2497667460699262 @ 7.127 @ #Dec. 25129
c NEW SOLUTION FOUND: 2489475460699262 @ 7.14 @ #Dec. 25237
c NEW SOLUTION FOUND: 2489451540059262 @ 7.176 @ #Dec. 25484
c NEW SOLUTION FOUND: 2485622877131902 @ 7.208 @ #Dec. 25669
c NEW SOLUTION FOUND: 2485193740850302 @ 7.314 @ #Dec. 26121
c NEW SOLUTION FOUND: 2481207488746622 @ 7.332 @ #Dec. 26240
c NEW SOLUTION FOUND: 2479056711521406 @ 8.103 @ #Dec. 28967
c NEW SOLUTION FOUND: 2479051927393406 @ 8.107 @ #Dec. 29026
c NEW SOLUTION FOUND: 2478032711521406 @ 8.178 @ #Dec. 29568
c NEW SOLUTION FOUND: 2478027927393406 @ 8.182 @ #Dec. 29640
c NEW SOLUTION FOUND: 2476900351022206 @ 8.241 @ #Dec. 29992
c NEW SOLUTION FOUND: 2472804351022206 @ 8.276 @ #Dec. 30282
c NEW SOLUTION FOUND: 2469855063905406 @ 8.308 @ #Dec. 30422
c NEW SOLUTION FOUND: 2468511675520126 @ 8.89 @ #Dec. 32418
c NEW SOLUTION FOUND: 2467487675520126 @ 8.914 @ #Dec. 32549
c NEW SOLUTION FOUND: 2466463675520126 @ 9.01 @ #Dec. 32889
c NEW SOLUTION FOUND: 2465474838860926 @ 9.172 @ #Dec. 33487
c NEW SOLUTION FOUND: 2464549344056446 @ 9.402 @ #Dec. 34218
c NEW SOLUTION FOUND: 2463525344056446 @ 9.436 @ #Dec. 34369
c NEW SOLUTION FOUND: 2462536507397246 @ 9.724 @ #Dec. 35661
c NEW SOLUTION FOUND: 2462493005780094 @ 9.791 @ #Dec. 35942
c NEW SOLUTION FOUND: 2462469085140094 @ 9.802 @ #Dec. 36057
c NEW SOLUTION FOUND: 2461376354915454 @ 9.866 @ #Dec. 36420
c NEW SOLUTION FOUND: 2455334754915454 @ 9.871 @ #Dec. 36490
c NEW SOLUTION FOUND: 2455239072355454 @ 9.876 @ #Dec. 36571
c NEW SOLUTION FOUND: 2455191231075454 @ 9.881 @ #Dec. 36652
c NEW SOLUTION FOUND: 2455167310435454 @ 9.908 @ #Dec. 36820
c NEW SOLUTION FOUND: 2451825812771966 @ 10.158 @ #Dec. 37850
c NEW SOLUTION FOUND: 2451821028643966 @ 10.164 @ #Dec. 37924
c NEW SOLUTION FOUND: 2427249812771966 @ 10.181 @ #Dec. 38197
c NEW SOLUTION FOUND: 2427245028643966 @ 10.184 @ #Dec. 38273
c NEW SOLUTION FOUND: 2419072165155966 @ 10.205 @ #Dec. 38508
c NEW SOLUTION FOUND: 2405808870724734 @ 10.217 @ #Dec. 38590
c NEW SOLUTION FOUND: 2402974685140094 @ 10.252 @ #Dec. 38852
c NEW SOLUTION FOUND: 2396933085140094 @ 10.258 @ #Dec. 38931
c NEW SOLUTION FOUND: 2389631310435454 @ 10.301 @ #Dec. 39200
c NEW SOLUTION FOUND: 2387263922050174 @ 10.371 @ #Dec. 39515
c NEW SOLUTION FOUND: 2386239922050174 @ 10.412 @ #Dec. 39724
c NEW SOLUTION FOUND: 2385335238202494 @ 10.485 @ #Dec. 40095
c NEW SOLUTION FOUND: 2385330454074494 @ 10.492 @ #Dec. 40183
c NEW SOLUTION FOUND: 2383301590586494 @ 10.509 @ #Dec. 40400
c NEW SOLUTION FOUND: 2381253696754814 @ 10.613 @ #Dec. 40839
c NEW SOLUTION FOUND: 2378047922050174 @ 10.753 @ #Dec. 41447
c NEW SOLUTION FOUND: 2373951922050174 @ 10.759 @ #Dec. 41523
c NEW SOLUTION FOUND: 2372963085390974 @ 10.824 @ #Dec. 41812
c NEW SOLUTION FOUND: 2371013590586494 @ 11.057 @ #Dec. 42706
c NEW SOLUTION FOUND: 2370024753927294 @ 11.181 @ #Dec. 43157
c NEW SOLUTION FOUND: 2367191753888894 @ 11.389 @ #Dec. 43886
c NEW SOLUTION FOUND: 2366161444082814 @ 11.392 @ #Dec. 43932
c NEW SOLUTION FOUND: 2364834518340734 @ 11.395 @ #Dec. 43992
c NEW SOLUTION FOUND: 2364829734212734 @ 11.398 @ #Dec. 44050
c NEW SOLUTION FOUND: 2361142608073854 @ 11.434 @ #Dec. 44385
c NEW SOLUTION FOUND: 2360269094458494 @ 11.488 @ #Dec. 44725
c NEW SOLUTION FOUND: 2360125570618494 @ 11.492 @ #Dec. 44785
c NEW SOLUTION FOUND: 2360120786490494 @ 11.5 @ #Dec. 44895
c NEW SOLUTION FOUND: 2359858042180734 @ 11.515 @ #Dec. 44997
c NEW SOLUTION FOUND: 2359714518340734 @ 11.518 @ #Dec. 45052
c NEW SOLUTION FOUND: 2359709734212734 @ 11.529 @ #Dec. 45152
c NEW SOLUTION FOUND: 2359101570618494 @ 11.659 @ #Dec. 45891
c NEW SOLUTION FOUND: 2359096786490494 @ 11.663 @ #Dec. 45952
c NEW SOLUTION FOUND: 2358690518340734 @ 11.683 @ #Dec. 46117
c NEW SOLUTION FOUND: 2358685734212734 @ 11.687 @ #Dec. 46175
c NEW SOLUTION FOUND: 2356027392201854 @ 11.727 @ #Dec. 46529
c NEW SOLUTION FOUND: 2356022608073854 @ 11.733 @ #Dec. 46591
c NEW SOLUTION FOUND: 2355005570618494 @ 11.751 @ #Dec. 46758
c NEW SOLUTION FOUND: 2355000786490494 @ 11.754 @ #Dec. 46820
c NEW SOLUTION FOUND: 2354998608073854 @ 11.775 @ #Dec. 46990
c NEW SOLUTION FOUND: 2353981570618494 @ 11.794 @ #Dec. 47137
c NEW SOLUTION FOUND: 2353976786490494 @ 11.799 @ #Dec. 47198
c NEW SOLUTION FOUND: 2353570518340734 @ 11.828 @ #Dec. 47358
c NEW SOLUTION FOUND: 2353565734212734 @ 11.831 @ #Dec. 47417
c NEW SOLUTION FOUND: 2352560870724734 @ 11.907 @ #Dec. 47936
c NEW SOLUTION FOUND: 2351536870724734 @ 11.92 @ #Dec. 48036
c NEW SOLUTION FOUND: 2347781085140094 @ 12.035 @ #Dec. 48669
c NEW SOLUTION FOUND: 2343685085140094 @ 12.047 @ #Dec. 48790
c NEW SOLUTION FOUND: 2342661085140094 @ 12.058 @ #Dec. 48906
c NEW SOLUTION FOUND: 2340479310435454 @ 12.106 @ #Dec. 49287
c NEW SOLUTION FOUND: 2336383310435454 @ 12.147 @ #Dec. 49653
c NEW SOLUTION FOUND: 2335359310435454 @ 12.156 @ #Dec. 49771
c NEW SOLUTION FOUND: 2332287310435454 @ 12.291 @ #Dec. 50827
c NEW SOLUTION FOUND: 2328191310435454 @ 12.295 @ #Dec. 50901
c NEW SOLUTION FOUND: 2324095310435454 @ 12.364 @ #Dec. 51280
c NEW SOLUTION FOUND: 2323071310435454 @ 12.395 @ #Dec. 51500
c NEW SOLUTION FOUND: 2322881093506174 @ 12.639 @ #Dec. 52698
c NEW SOLUTION FOUND: 2322737569666174 @ 12.645 @ #Dec. 52770
c NEW SOLUTION FOUND: 2322732785538174 @ 12.65 @ #Dec. 52839
c NEW SOLUTION FOUND: 2320703922050174 @ 12.67 @ #Dec. 53052
c NEW SOLUTION FOUND: 2319679922050174 @ 12.841 @ #Dec. 53800
c NEW SOLUTION FOUND: 2318691085390974 @ 13.067 @ #Dec. 54762
c NEW SOLUTION FOUND: 2317765590586494 @ 13.203 @ #Dec. 55316
c NEW SOLUTION FOUND: 2316741590586494 @ 13.238 @ #Dec. 55498
c NEW SOLUTION FOUND: 2315752753927294 @ 13.314 @ #Dec. 55901
c Restart #4 #Var: 1335 #Dec: 58350 LB: 0 @ 14.164
c Restart #5 #Var: 1335 #Dec: 63152 LB: 0 @ 15.364
c Restart #6 #Var: 1334 #Dec: 65869 LB: 0 @ 16.236
c Restart #7 #Var: 1334 #Dec: 67359 LB: 0 @ 17.2
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.064
c Restart #1 #Var: 1334 #Dec: 69312 LB: 2079770 @ 19.305
c Restart #2 #Var: 1334 #Dec: 72579 LB: 2079770 @ 19.878
c Restart #3 #Var: 1332 #Dec: 76533 LB: 2079770 @ 20.88
c Restart #4 #Var: 1332 #Dec: 79034 LB: 2079770 @ 21.751
c Restart #5 #Var: 1332 #Dec: 86925 LB: 2079770 @ 23.412
c Restart #6 #Var: 1332 #Dec: 96114 LB: 2079770 @ 25.511
c NEW SOLUTION FOUND: 2274894351361609 @ 25.841 @ #Dec. 98033
c NEW SOLUTION FOUND: 2271822351361609 @ 25.843 @ #Dec. 98038
c NEW SOLUTION FOUND: 2271815667934793 @ 25.847 @ #Dec. 98061
c NEW SOLUTION FOUND: 2269634871027273 @ 25.851 @ #Dec. 98093
c NEW SOLUTION FOUND: 2269631529313865 @ 25.856 @ #Dec. 98127
c NEW SOLUTION FOUND: 2269629858457161 @ 25.867 @ #Dec. 98171
c NEW SOLUTION FOUND: 2268646420976969 @ 25.946 @ #Dec. 98283
c NEW SOLUTION FOUND: 2268644291292489 @ 25.951 @ #Dec. 98346
c NEW SOLUTION FOUND: 2268643226450249 @ 25.958 @ #Dec. 98410
c NEW SOLUTION FOUND: 2268642694029129 @ 25.966 @ #Dec. 98479
c NEW SOLUTION FOUND: 2268642427818569 @ 25.981 @ #Dec. 98551
c NEW SOLUTION FOUND: 2268642276314953 @ 25.994 @ #Dec. 98626
c NEW SOLUTION FOUND: 2268642010104393 @ 26.002 @ #Dec. 98694
c NEW SOLUTION FOUND: 2268641801247305 @ 26.017 @ #Dec. 98766
c NEW SOLUTION FOUND: 2268641696818761 @ 26.033 @ #Dec. 98844
c Restart #7 #Var: 1332 #Dec: 100255 LB: 2079770 @ 27.908
c NEW SOLUTION FOUND: 2254406844365941 @ 29.501 @ #Dec. 107238
c NEW SOLUTION FOUND: 2253382844365941 @ 29.504 @ #Dec. 107283
c NEW SOLUTION FOUND: 2238485611699317 @ 29.609 @ #Dec. 108301
c NEW SOLUTION FOUND: 2238484808862837 @ 29.618 @ #Dec. 108495
c NEW SOLUTION FOUND: 2237898595758775 @ 29.763 @ #Dec. 109006
c NEW SOLUTION FOUND: 2237898093985975 @ 29.771 @ #Dec. 109149
c NEW SOLUTION FOUND: 2237897843099575 @ 29.779 @ #Dec. 109288
c NEW SOLUTION FOUND: 2237897717656375 @ 29.785 @ #Dec. 109423
c NEW SOLUTION FOUND: 2237897654934775 @ 29.791 @ #Dec. 109554
c NEW SOLUTION FOUND: 2237897623573975 @ 29.796 @ #Dec. 109681
c NEW SOLUTION FOUND: 2237897607893575 @ 29.801 @ #Dec. 109803
c NEW SOLUTION FOUND: 2237897603973475 @ 29.808 @ #Dec. 109916
c NEW SOLUTION FOUND: 2237878314369379 @ 29.825 @ #Dec. 110162
c NEW SOLUTION FOUND: 2237878292706629 @ 29.943 @ #Dec. 110605
c NEW SOLUTION FOUND: 2237878289178539 @ 29.954 @ #Dec. 110844
c NEW SOLUTION FOUND: 2237878278594269 @ 29.967 @ #Dec. 111098
c NEW SOLUTION FOUND: 2237878275066179 @ 29.978 @ #Dec. 111341
c NEW SOLUTION FOUND: 2237872841807579 @ 29.996 @ #Dec. 111594
c NEW SOLUTION FOUND: 2237872817110949 @ 30.009 @ #Dec. 111852
c NEW SOLUTION FOUND: 2237872813582859 @ 30.026 @ #Dec. 112092
c NEW SOLUTION FOUND: 2237872616009819 @ 30.036 @ #Dec. 112338
c NEW SOLUTION FOUND: 2237872591313189 @ 30.053 @ #Dec. 112598
c NEW SOLUTION FOUND: 2237872587785099 @ 30.07 @ #Dec. 112838
c NEW SOLUTION FOUND: 2237872577200829 @ 30.089 @ #Dec. 113102
c NEW SOLUTION FOUND: 2237872573672739 @ 30.099 @ #Dec. 113346
c NEW SOLUTION FOUND: 2237872503110939 @ 30.116 @ #Dec. 113595
c NEW SOLUTION FOUND: 2237872474886219 @ 30.132 @ #Dec. 113843
c NEW SOLUTION FOUND: 2237872464301949 @ 30.15 @ #Dec. 114102
c NEW SOLUTION FOUND: 2237872460773859 @ 30.159 @ #Dec. 114346
c NEW SOLUTION FOUND: 2237872450189589 @ 30.174 @ #Dec. 114611
c NEW SOLUTION FOUND: 2237872446661499 @ 30.186 @ #Dec. 114858
c NEW SOLUTION FOUND: 2237872418436779 @ 30.202 @ #Dec. 115104
c NEW SOLUTION FOUND: 2237872407852509 @ 30.221 @ #Dec. 115365
c NEW SOLUTION FOUND: 2237872404324419 @ 30.231 @ #Dec. 115610
c NEW SOLUTION FOUND: 2237872390212059 @ 30.246 @ #Dec. 115861
c NEW SOLUTION FOUND: 2237872361987339 @ 30.267 @ #Dec. 116113
c NEW SOLUTION FOUND: 2237872351403069 @ 30.287 @ #Dec. 116372
c NEW SOLUTION FOUND: 2237872347874979 @ 30.302 @ #Dec. 116616
c NEW SOLUTION FOUND: 2237872175782589 @ 30.315 @ #Dec. 116876
c NEW SOLUTION FOUND: 2237872171862489 @ 30.327 @ #Dec. 117127
c NEW SOLUTION FOUND: 2237872167942389 @ 30.34 @ #Dec. 117379
c NEW SOLUTION FOUND: 2237872164414299 @ 30.353 @ #Dec. 117621
c NEW SOLUTION FOUND: 2237872147557869 @ 30.37 @ #Dec. 117874
c NEW SOLUTION FOUND: 2237872143637769 @ 30.386 @ #Dec. 118121
c NEW SOLUTION FOUND: 2237872139717669 @ 30.399 @ #Dec. 118362
c NEW SOLUTION FOUND: 2237872136189579 @ 30.414 @ #Dec. 118606
c NEW SOLUTION FOUND: 2237872122077219 @ 30.429 @ #Dec. 118853
c NEW SOLUTION FOUND: 2237872051515419 @ 30.446 @ #Dec. 119104
c NEW SOLUTION FOUND: 2237872042499189 @ 30.464 @ #Dec. 119364
c NEW SOLUTION FOUND: 2237872034658989 @ 30.477 @ #Dec. 119610
c NEW SOLUTION FOUND: 2237872030738889 @ 30.49 @ #Dec. 119856
c NEW SOLUTION FOUND: 2237872026818789 @ 30.504 @ #Dec. 120096
c NEW SOLUTION FOUND: 2237872023290699 @ 30.518 @ #Dec. 120340
c NEW SOLUTION FOUND: 2237872009178339 @ 30.532 @ #Dec. 120589
c NEW SOLUTION FOUND: 2237871995065979 @ 30.548 @ #Dec. 120842
c NEW SOLUTION FOUND: 2237871978209549 @ 30.567 @ #Dec. 121098
c NEW SOLUTION FOUND: 2237871974289449 @ 30.579 @ #Dec. 121345
c NEW SOLUTION FOUND: 2237871970369349 @ 30.595 @ #Dec. 121586
c NEW SOLUTION FOUND: 2237871966841259 @ 30.611 @ #Dec. 121830
c NEW SOLUTION FOUND: 2237871956256989 @ 30.626 @ #Dec. 122082
c NEW SOLUTION FOUND: 2237871952728899 @ 30.641 @ #Dec. 122327
c NEW SOLUTION FOUND: 2237871938616539 @ 30.658 @ #Dec. 122579
c NEW SOLUTION FOUND: 2237871910391819 @ 30.672 @ #Dec. 122825
c NEW SOLUTION FOUND: 2237871899807549 @ 30.688 @ #Dec. 123077
c NEW SOLUTION FOUND: 2237871896279459 @ 30.704 @ #Dec. 123322
c NEW SOLUTION FOUND: 2237871882167099 @ 30.725 @ #Dec. 123583
c NEW SOLUTION FOUND: 2237871865310669 @ 30.743 @ #Dec. 123839
c NEW SOLUTION FOUND: 2237871861390569 @ 30.755 @ #Dec. 124086
c NEW SOLUTION FOUND: 2237871857470469 @ 30.77 @ #Dec. 124327
c NEW SOLUTION FOUND: 2237871853942379 @ 30.784 @ #Dec. 124571
c NEW SOLUTION FOUND: 2237871843358109 @ 30.797 @ #Dec. 124822
c NEW SOLUTION FOUND: 2237871839830019 @ 30.806 @ #Dec. 125067
c NEW SOLUTION FOUND: 2237871825717659 @ 30.823 @ #Dec. 125316
c NEW SOLUTION FOUND: 2237871797492939 @ 30.84 @ #Dec. 125566
c NEW SOLUTION FOUND: 2237871783380579 @ 30.857 @ #Dec. 125815
c NEW SOLUTION FOUND: 2237871769268219 @ 30.875 @ #Dec. 126065
c NEW SOLUTION FOUND: 2237871741043499 @ 30.893 @ #Dec. 126313
c NEW SOLUTION FOUND: 2237871730459229 @ 30.91 @ #Dec. 126563
c NEW SOLUTION FOUND: 2237871726931139 @ 30.918 @ #Dec. 126808
c NEW SOLUTION FOUND: 2237871712818779 @ 30.937 @ #Dec. 127058
c NEW SOLUTION FOUND: 2237871684594059 @ 30.95 @ #Dec. 127304
c NEW SOLUTION FOUND: 2237871674009789 @ 30.97 @ #Dec. 127560
c NEW SOLUTION FOUND: 2237871670481699 @ 30.979 @ #Dec. 127805
c NEW SOLUTION FOUND: 2237871656369339 @ 30.989 @ #Dec. 128053
c NEW SOLUTION FOUND: 2237871628144619 @ 31.004 @ #Dec. 128301
c NEW SOLUTION FOUND: 2237871614032259 @ 31.021 @ #Dec. 128549
c NEW SOLUTION FOUND: 2237871599919899 @ 31.035 @ #Dec. 128800
c NEW SOLUTION FOUND: 2237871583063469 @ 31.053 @ #Dec. 129057
c NEW SOLUTION FOUND: 2237871579143369 @ 31.067 @ #Dec. 129305
c NEW SOLUTION FOUND: 2237871575223269 @ 31.078 @ #Dec. 129547
c NEW SOLUTION FOUND: 2237871571695179 @ 31.09 @ #Dec. 129792
c NEW SOLUTION FOUND: 2237871561110909 @ 31.106 @ #Dec. 130042
c NEW SOLUTION FOUND: 2237871557582819 @ 31.118 @ #Dec. 130287
c NEW SOLUTION FOUND: 2237871543470459 @ 31.13 @ #Dec. 130535
c NEW SOLUTION FOUND: 2237871532886189 @ 31.148 @ #Dec. 130786
c NEW SOLUTION FOUND: 2237871529358099 @ 31.156 @ #Dec. 131031
c NEW SOLUTION FOUND: 2237871515245739 @ 31.171 @ #Dec. 131278
c NEW SOLUTION FOUND: 2237871501133379 @ 31.187 @ #Dec. 131526
c NEW SOLUTION FOUND: 2237871487021019 @ 31.203 @ #Dec. 131779
c NEW SOLUTION FOUND: 2237871476436749 @ 31.218 @ #Dec. 132028
c NEW SOLUTION FOUND: 2237871472908659 @ 31.23 @ #Dec. 132273
c NEW SOLUTION FOUND: 2237871458796299 @ 31.243 @ #Dec. 132520
c NEW SOLUTION FOUND: 2237871448212029 @ 31.259 @ #Dec. 132770
c NEW SOLUTION FOUND: 2237871444683939 @ 31.272 @ #Dec. 133015
c NEW SOLUTION FOUND: 2237871430571579 @ 31.286 @ #Dec. 133263
c NEW SOLUTION FOUND: 2237871416459219 @ 31.301 @ #Dec. 133512
c NEW SOLUTION FOUND: 2237871402346859 @ 31.318 @ #Dec. 133761
c NEW SOLUTION FOUND: 2237871391762589 @ 31.334 @ #Dec. 134011
c NEW SOLUTION FOUND: 2237871388234499 @ 31.344 @ #Dec. 134256
c NEW SOLUTION FOUND: 2237871374122139 @ 31.357 @ #Dec. 134505
c NEW SOLUTION FOUND: 2237871363537869 @ 31.372 @ #Dec. 134754
c NEW SOLUTION FOUND: 2237871360009779 @ 31.388 @ #Dec. 134999
c NEW SOLUTION FOUND: 2237871345897419 @ 31.406 @ #Dec. 135252
c NEW SOLUTION FOUND: 2237871335313149 @ 31.421 @ #Dec. 135502
c NEW SOLUTION FOUND: 2237871331785059 @ 31.433 @ #Dec. 135747
c NEW SOLUTION FOUND: 2237871317672699 @ 31.446 @ #Dec. 135995
c NEW SOLUTION FOUND: 2237871307088429 @ 31.464 @ #Dec. 136246
c NEW SOLUTION FOUND: 2237871303560339 @ 31.474 @ #Dec. 136491
c NEW SOLUTION FOUND: 2237871289447979 @ 31.489 @ #Dec. 136738
c NEW SOLUTION FOUND: 2237871278863709 @ 31.506 @ #Dec. 136988
c NEW SOLUTION FOUND: 2237871275335619 @ 31.521 @ #Dec. 137233
c NEW SOLUTION FOUND: 2237871261223259 @ 31.541 @ #Dec. 137484
c NEW SOLUTION FOUND: 2237871247110899 @ 31.554 @ #Dec. 137731
c NEW SOLUTION FOUND: 2237871232998539 @ 31.576 @ #Dec. 137980
c NEW SOLUTION FOUND: 2237871222414269 @ 31.593 @ #Dec. 138230
c NEW SOLUTION FOUND: 2237871218886179 @ 31.605 @ #Dec. 138475
c NEW SOLUTION FOUND: 2237871204773819 @ 31.623 @ #Dec. 138725
c NEW SOLUTION FOUND: 2237871194189549 @ 31.636 @ #Dec. 138974
c NEW SOLUTION FOUND: 2237871190661459 @ 31.651 @ #Dec. 139219
c NEW SOLUTION FOUND: 2237871176549099 @ 31.669 @ #Dec. 139471
c NEW SOLUTION FOUND: 2237871165964829 @ 31.682 @ #Dec. 139721
c NEW SOLUTION FOUND: 2237871162436739 @ 31.694 @ #Dec. 139966
c NEW SOLUTION FOUND: 2237871148324379 @ 31.713 @ #Dec. 140216
c NEW SOLUTION FOUND: 2237871137740109 @ 31.727 @ #Dec. 140465
c NEW SOLUTION FOUND: 2237871134212019 @ 31.736 @ #Dec. 140710
c NEW SOLUTION FOUND: 2237871120099659 @ 31.748 @ #Dec. 140957
c NEW SOLUTION FOUND: 2237871109515389 @ 31.764 @ #Dec. 141207
c NEW SOLUTION FOUND: 2237871105987299 @ 31.778 @ #Dec. 141452
c NEW SOLUTION FOUND: 2237871091874939 @ 31.797 @ #Dec. 141706
c NEW SOLUTION FOUND: 2237871081290669 @ 31.812 @ #Dec. 141955
c NEW SOLUTION FOUND: 2237871077762579 @ 31.828 @ #Dec. 142200
c NEW SOLUTION FOUND: 2237871063650219 @ 31.85 @ #Dec. 142452
c NEW SOLUTION FOUND: 2237871053065949 @ 31.868 @ #Dec. 142702
c NEW SOLUTION FOUND: 2237871049537859 @ 31.88 @ #Dec. 142947
c NEW SOLUTION FOUND: 2237871046401779 @ 31.918 @ #Dec. 143224
c NEW SOLUTION FOUND: 2237871042481679 @ 31.93 @ #Dec. 143464
c NEW SOLUTION FOUND: 2237867419133249 @ 31.954 @ #Dec. 143729
c NEW SOLUTION FOUND: 2237867415605159 @ 31.968 @ #Dec. 143974
c NEW SOLUTION FOUND: 2237867401492799 @ 31.984 @ #Dec. 144222
c NEW SOLUTION FOUND: 2237867390908529 @ 31.999 @ #Dec. 144479
c NEW SOLUTION FOUND: 2237867387380439 @ 32.008 @ #Dec. 144724
c NEW SOLUTION FOUND: 2237867376796169 @ 32.025 @ #Dec. 144976
c NEW SOLUTION FOUND: 2237867373268079 @ 32.037 @ #Dec. 145223
c NEW SOLUTION FOUND: 2237867362683809 @ 32.054 @ #Dec. 145476
c NEW SOLUTION FOUND: 2237867359155719 @ 32.068 @ #Dec. 145721
c NEW SOLUTION FOUND: 2237867345043359 @ 32.078 @ #Dec. 145969
c NEW SOLUTION FOUND: 2237867334459089 @ 32.099 @ #Dec. 146229
c NEW SOLUTION FOUND: 2237867330930999 @ 32.111 @ #Dec. 146474
c NEW SOLUTION FOUND: 2237867320346729 @ 32.127 @ #Dec. 146727
c NEW SOLUTION FOUND: 2237867316818639 @ 32.143 @ #Dec. 146974
c NEW SOLUTION FOUND: 2237867306234369 @ 32.163 @ #Dec. 147229
c NEW SOLUTION FOUND: 2237867302706279 @ 32.174 @ #Dec. 147474
c NEW SOLUTION FOUND: 2237867288593919 @ 32.189 @ #Dec. 147722
c NEW SOLUTION FOUND: 2237867278009649 @ 32.209 @ #Dec. 147980
c NEW SOLUTION FOUND: 2237867274481559 @ 32.219 @ #Dec. 148225
c NEW SOLUTION FOUND: 2237867263897289 @ 32.234 @ #Dec. 148477
c NEW SOLUTION FOUND: 2237867260369199 @ 32.243 @ #Dec. 148724
c NEW SOLUTION FOUND: 2237867249784929 @ 32.267 @ #Dec. 148981
c NEW SOLUTION FOUND: 2237867246256839 @ 32.28 @ #Dec. 149226
c NEW SOLUTION FOUND: 2237867232144479 @ 32.294 @ #Dec. 149474
c NEW SOLUTION FOUND: 2237867221560209 @ 32.313 @ #Dec. 149730
c NEW SOLUTION FOUND: 2237867218032119 @ 32.324 @ #Dec. 149975
c NEW SOLUTION FOUND: 2237867207447849 @ 32.344 @ #Dec. 150229
c NEW SOLUTION FOUND: 2237867203919759 @ 32.356 @ #Dec. 150476
c NEW SOLUTION FOUND: 2237867189807399 @ 32.373 @ #Dec. 150728
c NEW SOLUTION FOUND: 2237867179223129 @ 32.39 @ #Dec. 150979
c NEW SOLUTION FOUND: 2237867175695039 @ 32.405 @ #Dec. 151226
c NEW SOLUTION FOUND: 2237867165502779 @ 32.42 @ #Dec. 151479
c NEW SOLUTION FOUND: 2237867161582679 @ 32.435 @ #Dec. 151720
c NEW SOLUTION FOUND: 2237867150998409 @ 32.449 @ #Dec. 151972
c NEW SOLUTION FOUND: 2237867147470319 @ 32.461 @ #Dec. 152219
c NEW SOLUTION FOUND: 2237867136886049 @ 32.477 @ #Dec. 152471
c NEW SOLUTION FOUND: 2237867133357959 @ 32.492 @ #Dec. 152716
c NEW SOLUTION FOUND: 2237867122773689 @ 32.505 @ #Dec. 152965
c NEW SOLUTION FOUND: 2237867119245599 @ 32.516 @ #Dec. 153212
c NEW SOLUTION FOUND: 2237867109053339 @ 32.532 @ #Dec. 153465
c NEW SOLUTION FOUND: 2237867105133239 @ 32.547 @ #Dec. 153706
c NEW SOLUTION FOUND: 2237867094548969 @ 32.565 @ #Dec. 153958
c NEW SOLUTION FOUND: 2237867091020879 @ 32.583 @ #Dec. 154205
c NEW SOLUTION FOUND: 2237867080436609 @ 32.6 @ #Dec. 154459
c NEW SOLUTION FOUND: 2237867076908519 @ 32.609 @ #Dec. 154704
c NEW SOLUTION FOUND: 2237867066324249 @ 32.62 @ #Dec. 154953
c NEW SOLUTION FOUND: 2237867062796159 @ 32.636 @ #Dec. 155200
c NEW SOLUTION FOUND: 2237867052603899 @ 32.652 @ #Dec. 155453
c NEW SOLUTION FOUND: 2237867048683799 @ 32.664 @ #Dec. 155694
c NEW SOLUTION FOUND: 2237867038099529 @ 32.681 @ #Dec. 155946
c NEW SOLUTION FOUND: 2237867034571439 @ 32.695 @ #Dec. 156192
c NEW SOLUTION FOUND: 2237867024379179 @ 32.714 @ #Dec. 156447
c NEW SOLUTION FOUND: 2237867020459079 @ 32.728 @ #Dec. 156688
c NEW SOLUTION FOUND: 2237867009874809 @ 32.743 @ #Dec. 156938
c NEW SOLUTION FOUND: 2237867006346719 @ 32.756 @ #Dec. 157184
c NEW SOLUTION FOUND: 2237866995762449 @ 32.775 @ #Dec. 157438
c NEW SOLUTION FOUND: 2237866992234359 @ 32.786 @ #Dec. 157683
c NEW SOLUTION FOUND: 2237866981650089 @ 32.804 @ #Dec. 157935
c NEW SOLUTION FOUND: 2237866978121999 @ 32.816 @ #Dec. 158181
c NEW SOLUTION FOUND: 2237866967537729 @ 32.837 @ #Dec. 158435
c NEW SOLUTION FOUND: 2237866964009639 @ 32.853 @ #Dec. 158680
c NEW SOLUTION FOUND: 2237866953425369 @ 32.867 @ #Dec. 158929
c NEW SOLUTION FOUND: 2237866949897279 @ 32.881 @ #Dec. 159175
c NEW SOLUTION FOUND: 2237866939705019 @ 32.896 @ #Dec. 159428
c NEW SOLUTION FOUND: 2237866935784919 @ 32.912 @ #Dec. 159669
c NEW SOLUTION FOUND: 2237866925200649 @ 32.93 @ #Dec. 159921
c NEW SOLUTION FOUND: 2237866921672559 @ 32.943 @ #Dec. 160167
c NEW SOLUTION FOUND: 2237866911480299 @ 32.956 @ #Dec. 160421
c NEW SOLUTION FOUND: 2237866907560199 @ 32.97 @ #Dec. 160662
c NEW SOLUTION FOUND: 2237866896975929 @ 32.984 @ #Dec. 160912
c NEW SOLUTION FOUND: 2237866893447839 @ 32.997 @ #Dec. 161158
c NEW SOLUTION FOUND: 2237866882863569 @ 33.014 @ #Dec. 161412
c NEW SOLUTION FOUND: 2237866879335479 @ 33.027 @ #Dec. 161657
c NEW SOLUTION FOUND: 2237866868751209 @ 33.046 @ #Dec. 161909
c NEW SOLUTION FOUND: 2237866865223119 @ 33.059 @ #Dec. 162155
c NEW SOLUTION FOUND: 2237866854638849 @ 33.08 @ #Dec. 162407
c NEW SOLUTION FOUND: 2237866851110759 @ 33.092 @ #Dec. 162652
c NEW SOLUTION FOUND: 2237866840526489 @ 33.104 @ #Dec. 162901
c NEW SOLUTION FOUND: 2237866836998399 @ 33.115 @ #Dec. 163147
c NEW SOLUTION FOUND: 2237866826806139 @ 33.134 @ #Dec. 163400
c NEW SOLUTION FOUND: 2237866822886039 @ 33.146 @ #Dec. 163641
c NEW SOLUTION FOUND: 2237866812301769 @ 33.166 @ #Dec. 163893
c NEW SOLUTION FOUND: 2237866808773679 @ 33.179 @ #Dec. 164139
c NEW SOLUTION FOUND: 2237866798189409 @ 33.199 @ #Dec. 164395
c NEW SOLUTION FOUND: 2237866794661319 @ 33.212 @ #Dec. 164640
c NEW SOLUTION FOUND: 2237866784077049 @ 33.229 @ #Dec. 164889
c NEW SOLUTION FOUND: 2237866780548959 @ 33.241 @ #Dec. 165135
c NEW SOLUTION FOUND: 2237866769964689 @ 33.263 @ #Dec. 165389
c NEW SOLUTION FOUND: 2237866766436599 @ 33.275 @ #Dec. 165634
c NEW SOLUTION FOUND: 2237866755852329 @ 33.291 @ #Dec. 165885
c NEW SOLUTION FOUND: 2237866752324239 @ 33.305 @ #Dec. 166131
c NEW SOLUTION FOUND: 2237866738211879 @ 33.324 @ #Dec. 166383
c NEW SOLUTION FOUND: 2237866727627609 @ 33.34 @ #Dec. 166633
c NEW SOLUTION FOUND: 2237866724099519 @ 33.352 @ #Dec. 166879
c NEW SOLUTION FOUND: 2237866713515249 @ 33.368 @ #Dec. 167129
c NEW SOLUTION FOUND: 2237866709987159 @ 33.381 @ #Dec. 167374
c NEW SOLUTION FOUND: 2237866699402889 @ 33.391 @ #Dec. 167623
c NEW SOLUTION FOUND: 2237866695874799 @ 33.409 @ #Dec. 167869
c NEW SOLUTION FOUND: 2237866685682539 @ 33.428 @ #Dec. 168123
c NEW SOLUTION FOUND: 2237866685290529 @ 33.439 @ #Dec. 168365
c NEW SOLUTION FOUND: 2237866681762439 @ 33.45 @ #Dec. 168610
c NEW SOLUTION FOUND: 2237866667650079 @ 33.466 @ #Dec. 168857
c NEW SOLUTION FOUND: 2237866657065809 @ 33.486 @ #Dec. 169111
c NEW SOLUTION FOUND: 2237866653537719 @ 33.499 @ #Dec. 169356
c NEW SOLUTION FOUND: 2237866639425359 @ 33.512 @ #Dec. 169603
c NEW SOLUTION FOUND: 2237866628841089 @ 33.534 @ #Dec. 169857
c NEW SOLUTION FOUND: 2237866625312999 @ 33.548 @ #Dec. 170102
c NEW SOLUTION FOUND: 2237866611200639 @ 33.562 @ #Dec. 170349
c NEW SOLUTION FOUND: 2237866600616369 @ 33.579 @ #Dec. 170600
c NEW SOLUTION FOUND: 2237866597088279 @ 33.59 @ #Dec. 170845
c NEW SOLUTION FOUND: 2237866582975919 @ 33.605 @ #Dec. 171092
c NEW SOLUTION FOUND: 2237866572391649 @ 33.624 @ #Dec. 171345
c NEW SOLUTION FOUND: 2237866568863559 @ 33.636 @ #Dec. 171590
c NEW SOLUTION FOUND: 2237866554751199 @ 33.652 @ #Dec. 171837
c NEW SOLUTION FOUND: 2237866540638839 @ 33.674 @ #Dec. 172089
c NEW SOLUTION FOUND: 2237866530054569 @ 33.692 @ #Dec. 172338
c NEW SOLUTION FOUND: 2237866526526479 @ 33.706 @ #Dec. 172584
c NEW SOLUTION FOUND: 2237866519470299 @ 33.732 @ #Dec. 172844
c NEW SOLUTION FOUND: 2237866505357939 @ 33.747 @ #Dec. 173090
c NEW SOLUTION FOUND: 2237866491245579 @ 33.76 @ #Dec. 173337
c NEW SOLUTION FOUND: 2237866477133219 @ 33.775 @ #Dec. 173583
c NEW SOLUTION FOUND: 2237866463020859 @ 33.79 @ #Dec. 173831
c NEW SOLUTION FOUND: 2237866448908499 @ 33.806 @ #Dec. 174077
c NEW SOLUTION FOUND: 2237866434796139 @ 33.824 @ #Dec. 174327
c NEW SOLUTION FOUND: 2237866432052069 @ 33.837 @ #Dec. 174579
c NEW SOLUTION FOUND: 2237866424211869 @ 33.852 @ #Dec. 174823
c NEW SOLUTION FOUND: 2237866420683779 @ 33.868 @ #Dec. 175068
c NEW SOLUTION FOUND: 2237866406571419 @ 33.884 @ #Dec. 175317
c NEW SOLUTION FOUND: 2237866392459059 @ 33.899 @ #Dec. 175563
c NEW SOLUTION FOUND: 2237866378346699 @ 33.911 @ #Dec. 175810
c NEW SOLUTION FOUND: 2237866364234339 @ 33.922 @ #Dec. 176056
c NEW SOLUTION FOUND: 2237866350121979 @ 33.943 @ #Dec. 176308
c NEW SOLUTION FOUND: 2237866336009619 @ 33.955 @ #Dec. 176554
c NEW SOLUTION FOUND: 2237866321897259 @ 33.967 @ #Dec. 176804
c NEW SOLUTION FOUND: 2237866307784899 @ 33.981 @ #Dec. 177050
c NEW SOLUTION FOUND: 2237866293672539 @ 33.998 @ #Dec. 177300
c NEW SOLUTION FOUND: 2237866283088269 @ 34.016 @ #Dec. 177550
c NEW SOLUTION FOUND: 2237866279560179 @ 34.03 @ #Dec. 177795
c NEW SOLUTION FOUND: 2237866265447819 @ 34.04 @ #Dec. 178042
c NEW SOLUTION FOUND: 2237866251335459 @ 34.052 @ #Dec. 178288
c NEW SOLUTION FOUND: 2237866237223099 @ 34.073 @ #Dec. 178536
c NEW SOLUTION FOUND: 2237866226638829 @ 34.086 @ #Dec. 178786
c NEW SOLUTION FOUND: 2237866223110739 @ 34.1 @ #Dec. 179031
c NEW SOLUTION FOUND: 2237866208998379 @ 34.12 @ #Dec. 179281
c NEW SOLUTION FOUND: 2237866198414109 @ 34.134 @ #Dec. 179531
c NEW SOLUTION FOUND: 2237866194886019 @ 34.149 @ #Dec. 179776
c NEW SOLUTION FOUND: 2237866180773659 @ 34.168 @ #Dec. 180030
c NEW SOLUTION FOUND: 2237866170189389 @ 34.185 @ #Dec. 180280
c NEW SOLUTION FOUND: 2237866166661299 @ 34.197 @ #Dec. 180525
c NEW SOLUTION FOUND: 2237866152548939 @ 34.212 @ #Dec. 180772
c NEW SOLUTION FOUND: 2237866138436579 @ 34.224 @ #Dec. 181018
c NEW SOLUTION FOUND: 2237866124324219 @ 34.244 @ #Dec. 181270
c NEW SOLUTION FOUND: 2237866110211859 @ 34.256 @ #Dec. 181516
c NEW SOLUTION FOUND: 2237866096099499 @ 34.267 @ #Dec. 181763
c NEW SOLUTION FOUND: 2237866085515229 @ 34.28 @ #Dec. 182013
c NEW SOLUTION FOUND: 2237866081987139 @ 34.295 @ #Dec. 182258
c NEW SOLUTION FOUND: 2237866067874779 @ 34.315 @ #Dec. 182509
c NEW SOLUTION FOUND: 2237866053762419 @ 34.325 @ #Dec. 182755
c NEW SOLUTION FOUND: 2237866039650059 @ 34.342 @ #Dec. 183002
c NEW SOLUTION FOUND: 2237866029065789 @ 34.353 @ #Dec. 183252
c NEW SOLUTION FOUND: 2237866025537699 @ 34.364 @ #Dec. 183497
c NEW SOLUTION FOUND: 2237866011425339 @ 34.381 @ #Dec. 183745
c NEW SOLUTION FOUND: 2237865997312979 @ 34.394 @ #Dec. 183991
c NEW SOLUTION FOUND: 2237865983200619 @ 34.406 @ #Dec. 184238
c NEW SOLUTION FOUND: 2237865972616349 @ 34.422 @ #Dec. 184488
c NEW SOLUTION FOUND: 2237865969088259 @ 34.433 @ #Dec. 184733
c NEW SOLUTION FOUND: 2237865954975899 @ 34.447 @ #Dec. 184982
c NEW SOLUTION FOUND: 2237865940863539 @ 34.46 @ #Dec. 185228
c NEW SOLUTION FOUND: 2237865926751179 @ 34.473 @ #Dec. 185475
c NEW SOLUTION FOUND: 2237865916166909 @ 34.49 @ #Dec. 185725
c NEW SOLUTION FOUND: 2237865912638819 @ 34.504 @ #Dec. 185970
c NEW SOLUTION FOUND: 2237865898526459 @ 34.526 @ #Dec. 186222
c NEW SOLUTION FOUND: 2237865887942189 @ 34.542 @ #Dec. 186472
c NEW SOLUTION FOUND: 2237865884414099 @ 34.554 @ #Dec. 186717
c NEW SOLUTION FOUND: 2237865870301739 @ 34.57 @ #Dec. 186964
c NEW SOLUTION FOUND: 2237865856189379 @ 34.58 @ #Dec. 187210
c NEW SOLUTION FOUND: 2237865842077019 @ 34.599 @ #Dec. 187460
c NEW SOLUTION FOUND: 2237865831492749 @ 34.617 @ #Dec. 187710
c NEW SOLUTION FOUND: 2237865827964659 @ 34.632 @ #Dec. 187955
c NEW SOLUTION FOUND: 2237865813852299 @ 34.647 @ #Dec. 188202
c NEW SOLUTION FOUND: 2237865799739939 @ 34.66 @ #Dec. 188448
c NEW SOLUTION FOUND: 2237865785627579 @ 34.678 @ #Dec. 188696
c NEW SOLUTION FOUND: 2237865775043309 @ 34.696 @ #Dec. 188946
c NEW SOLUTION FOUND: 2237865771515219 @ 34.707 @ #Dec. 189191
c NEW SOLUTION FOUND: 2237865757402859 @ 34.719 @ #Dec. 189438
c NEW SOLUTION FOUND: 2237865743290499 @ 34.732 @ #Dec. 189684
c NEW SOLUTION FOUND: 2237865729178139 @ 34.759 @ #Dec. 189938
c NEW SOLUTION FOUND: 2237865715065779 @ 34.774 @ #Dec. 190184
c NEW SOLUTION FOUND: 2237865700953419 @ 34.791 @ #Dec. 190431
c NEW SOLUTION FOUND: 2237865690369149 @ 34.804 @ #Dec. 190681
c NEW SOLUTION FOUND: 2237865686841059 @ 34.815 @ #Dec. 190926
c NEW SOLUTION FOUND: 2237865672728699 @ 34.836 @ #Dec. 191178
c NEW SOLUTION FOUND: 2237865662144429 @ 34.848 @ #Dec. 191428
c NEW SOLUTION FOUND: 2237865658616339 @ 34.862 @ #Dec. 191673
c NEW SOLUTION FOUND: 2237865644503979 @ 34.879 @ #Dec. 191920
c NEW SOLUTION FOUND: 2237865630391619 @ 34.896 @ #Dec. 192166
c NEW SOLUTION FOUND: 2237865623335439 @ 34.917 @ #Dec. 192418
c NEW SOLUTION FOUND: 2237865242693729 @ 34.943 @ #Dec. 192714
c NEW SOLUTION FOUND: 2237865234853529 @ 34.959 @ #Dec. 192977
c NEW SOLUTION FOUND: 2237865219173129 @ 34.974 @ #Dec. 193249
c NEW SOLUTION FOUND: 2237865218389109 @ 34.986 @ #Dec. 193523
c NEW SOLUTION FOUND: 2237863212081929 @ 35.002 @ #Dec. 193802
c NEW SOLUTION FOUND: 2237863211297909 @ 35.015 @ #Dec. 194076
c NEW SOLUTION FOUND: 2237861204990729 @ 35.03 @ #Dec. 194362
c NEW SOLUTION FOUND: 2237861204206709 @ 35.045 @ #Dec. 194636
c NEW SOLUTION FOUND: 2237859197899529 @ 35.063 @ #Dec. 194921
c NEW SOLUTION FOUND: 2237859197115509 @ 35.079 @ #Dec. 195201
c NEW SOLUTION FOUND: 2237859188099279 @ 35.102 @ #Dec. 195469
c NEW SOLUTION FOUND: 2237859177515009 @ 35.126 @ #Dec. 195727
c NEW SOLUTION FOUND: 2237859173986919 @ 35.138 @ #Dec. 195974
c NEW SOLUTION FOUND: 2237859159874559 @ 35.154 @ #Dec. 196223
c NEW SOLUTION FOUND: 2237859149290289 @ 35.173 @ #Dec. 196476
c NEW SOLUTION FOUND: 2237859145762199 @ 35.185 @ #Dec. 196723
c NEW SOLUTION FOUND: 2237859131649839 @ 35.2 @ #Dec. 196972
c NEW SOLUTION FOUND: 2237859124593659 @ 35.224 @ #Dec. 197227
c NEW SOLUTION FOUND: 2237859117929489 @ 35.239 @ #Dec. 197479
c NEW SOLUTION FOUND: 2237859114009389 @ 35.245 @ #Dec. 197724
c NEW SOLUTION FOUND: 2237859110481299 @ 35.258 @ #Dec. 197971
c NEW SOLUTION FOUND: 2237859096368939 @ 35.271 @ #Dec. 198220
c NEW SOLUTION FOUND: 2237859082256579 @ 35.288 @ #Dec. 198468
c NEW SOLUTION FOUND: 2237859075200399 @ 35.305 @ #Dec. 198719
c NEW SOLUTION FOUND: 2237859068144219 @ 35.323 @ #Dec. 198972
c NEW SOLUTION FOUND: 2237859054031859 @ 35.337 @ #Dec. 199220
c NEW SOLUTION FOUND: 2237859039919499 @ 35.349 @ #Dec. 199469
c NEW SOLUTION FOUND: 2237859037175429 @ 35.36 @ #Dec. 199725
c NEW SOLUTION FOUND: 2237859033255329 @ 35.372 @ #Dec. 199975
c NEW SOLUTION FOUND: 2237859029335229 @ 35.383 @ #Dec. 200219
c NEW SOLUTION FOUND: 2237859025807139 @ 35.397 @ #Dec. 200466
c NEW SOLUTION FOUND: 2237859018750959 @ 35.415 @ #Dec. 200716
c NEW SOLUTION FOUND: 2237859008166689 @ 35.429 @ #Dec. 200970
c NEW SOLUTION FOUND: 2237859004638599 @ 35.443 @ #Dec. 201217
c NEW SOLUTION FOUND: 2237858990526239 @ 35.455 @ #Dec. 201466
c NEW SOLUTION FOUND: 2237858979941969 @ 35.471 @ #Dec. 201719
c NEW SOLUTION FOUND: 2237858976413879 @ 35.487 @ #Dec. 201966
c NEW SOLUTION FOUND: 2237858965829609 @ 35.502 @ #Dec. 202219
c NEW SOLUTION FOUND: 2237858962301519 @ 35.514 @ #Dec. 202467
c NEW SOLUTION FOUND: 2237858955245339 @ 35.549 @ #Dec. 202734
c NEW SOLUTION FOUND: 2237858941132979 @ 35.563 @ #Dec. 202982
c NEW SOLUTION FOUND: 2237858927020619 @ 35.579 @ #Dec. 203231
c NEW SOLUTION FOUND: 2237858912908259 @ 35.594 @ #Dec. 203480
c NEW SOLUTION FOUND: 2237858905852079 @ 35.607 @ #Dec. 203730
c NEW SOLUTION FOUND: 2237858898795899 @ 35.633 @ #Dec. 203989
c NEW SOLUTION FOUND: 2237858884683539 @ 35.648 @ #Dec. 204237
c NEW SOLUTION FOUND: 2237858870571179 @ 35.669 @ #Dec. 204490
c NEW SOLUTION FOUND: 2237858863907009 @ 35.686 @ #Dec. 204743
c NEW SOLUTION FOUND: 2237858859986909 @ 35.7 @ #Dec. 204988
c NEW SOLUTION FOUND: 2237858856458819 @ 35.711 @ #Dec. 205235
c NEW SOLUTION FOUND: 2237858849402639 @ 35.729 @ #Dec. 205485
c NEW SOLUTION FOUND: 2237858838818369 @ 35.748 @ #Dec. 205742
c NEW SOLUTION FOUND: 2237858835290279 @ 35.762 @ #Dec. 205989
c NEW SOLUTION FOUND: 2237858821177919 @ 35.777 @ #Dec. 206238
c NEW SOLUTION FOUND: 2237858814121739 @ 35.795 @ #Dec. 206491
c NEW SOLUTION FOUND: 2237858811377669 @ 35.811 @ #Dec. 206747
c NEW SOLUTION FOUND: 2237858807457569 @ 35.825 @ #Dec. 206997
c NEW SOLUTION FOUND: 2237858803537469 @ 35.838 @ #Dec. 207241
c NEW SOLUTION FOUND: 2237858800009379 @ 35.852 @ #Dec. 207488
c NEW SOLUTION FOUND: 2237858792953199 @ 35.869 @ #Dec. 207740
c NEW SOLUTION FOUND: 2237858785897019 @ 35.884 @ #Dec. 207991
c NEW SOLUTION FOUND: 2237858771784659 @ 35.899 @ #Dec. 208239
c NEW SOLUTION FOUND: 2237858768256569 @ 35.912 @ #Dec. 208490
c NEW SOLUTION FOUND: 2237858764728479 @ 35.926 @ #Dec. 208737
c NEW SOLUTION FOUND: 2237858757672299 @ 35.95 @ #Dec. 208993
c NEW SOLUTION FOUND: 2237858743559939 @ 35.963 @ #Dec. 209241
c NEW SOLUTION FOUND: 2237858740031849 @ 35.98 @ #Dec. 209493
c NEW SOLUTION FOUND: 2237858736503759 @ 35.995 @ #Dec. 209740
c NEW SOLUTION FOUND: 2237858722391399 @ 36.014 @ #Dec. 209995
c NEW SOLUTION FOUND: 2237858711807129 @ 36.03 @ #Dec. 210246
c NEW SOLUTION FOUND: 2237858708279039 @ 36.047 @ #Dec. 210494
c NEW SOLUTION FOUND: 2237858701222859 @ 36.069 @ #Dec. 210746
c NEW SOLUTION FOUND: 2237858687110499 @ 36.083 @ #Dec. 210994
c NEW SOLUTION FOUND: 2237858683582409 @ 36.1 @ #Dec. 211246
c NEW SOLUTION FOUND: 2237858680054319 @ 36.111 @ #Dec. 211493
c NEW SOLUTION FOUND: 2237858672998139 @ 36.141 @ #Dec. 211753
c NEW SOLUTION FOUND: 2237858658885779 @ 36.152 @ #Dec. 212001
c NEW SOLUTION FOUND: 2237858655357689 @ 36.168 @ #Dec. 212252
c NEW SOLUTION FOUND: 2237858651829599 @ 36.177 @ #Dec. 212499
c NEW SOLUTION FOUND: 2237858637717239 @ 36.19 @ #Dec. 212750
c NEW SOLUTION FOUND: 2237858627132969 @ 36.206 @ #Dec. 213001
c NEW SOLUTION FOUND: 2237858623604879 @ 36.22 @ #Dec. 213249
c NEW SOLUTION FOUND: 2237858616548699 @ 36.245 @ #Dec. 213505
c NEW SOLUTION FOUND: 2237858613804629 @ 36.258 @ #Dec. 213761
c NEW SOLUTION FOUND: 2237858609884529 @ 36.269 @ #Dec. 214011
c NEW SOLUTION FOUND: 2237858605964429 @ 36.284 @ #Dec. 214255
c NEW SOLUTION FOUND: 2237858602436339 @ 36.297 @ #Dec. 214502
c NEW SOLUTION FOUND: 2237858595380159 @ 36.31 @ #Dec. 214751
c NEW SOLUTION FOUND: 2237858588323979 @ 36.325 @ #Dec. 215001
c NEW SOLUTION FOUND: 2237858574211619 @ 36.342 @ #Dec. 215249
c NEW SOLUTION FOUND: 2237858570683529 @ 36.353 @ #Dec. 215501
c NEW SOLUTION FOUND: 2237858567155439 @ 36.365 @ #Dec. 215748
c NEW SOLUTION FOUND: 2237858560099259 @ 36.385 @ #Dec. 216001
c NEW SOLUTION FOUND: 2237858545986899 @ 36.403 @ #Dec. 216249
c NEW SOLUTION FOUND: 2237858538930719 @ 36.418 @ #Dec. 216498
c NEW SOLUTION FOUND: 2237858531874539 @ 36.443 @ #Dec. 216754
c NEW SOLUTION FOUND: 2237858517762179 @ 36.457 @ #Dec. 217002
c NEW SOLUTION FOUND: 2237858510705999 @ 36.473 @ #Dec. 217252
c NEW SOLUTION FOUND: 2237858500121729 @ 36.495 @ #Dec. 217509
c NEW SOLUTION FOUND: 2237858496593639 @ 36.512 @ #Dec. 217756
c NEW SOLUTION FOUND: 2237858482481279 @ 36.523 @ #Dec. 218005
c NEW SOLUTION FOUND: 2237858475425099 @ 36.546 @ #Dec. 218258
c NEW SOLUTION FOUND: 2237858461312739 @ 36.56 @ #Dec. 218506
c NEW SOLUTION FOUND: 2237858457784649 @ 36.581 @ #Dec. 218760
c NEW SOLUTION FOUND: 2237858454256559 @ 36.595 @ #Dec. 219007
c NEW SOLUTION FOUND: 2237858447200379 @ 36.607 @ #Dec. 219258
c NEW SOLUTION FOUND: 2237858433088019 @ 36.618 @ #Dec. 219506
c NEW SOLUTION FOUND: 2237858426031839 @ 36.633 @ #Dec. 219755
c NEW SOLUTION FOUND: 2237858418975659 @ 36.65 @ #Dec. 220005
c NEW SOLUTION FOUND: 2237858416231589 @ 36.668 @ #Dec. 220261
c NEW SOLUTION FOUND: 2237858412311489 @ 36.682 @ #Dec. 220511
c NEW SOLUTION FOUND: 2237858408391389 @ 36.691 @ #Dec. 220755
c NEW SOLUTION FOUND: 2237858404863299 @ 36.703 @ #Dec. 221002
c NEW SOLUTION FOUND: 2237858397807119 @ 36.718 @ #Dec. 221252
c NEW SOLUTION FOUND: 2237858395063049 @ 36.75 @ #Dec. 221545
c NEW SOLUTION FOUND: 2237858394279029 @ 36.764 @ #Dec. 221802
c NEW SOLUTION FOUND: 2234298410430029 @ 36.797 @ #Dec. 222117
c NEW SOLUTION FOUND: 2234298395450429 @ 36.811 @ #Dec. 222353
c NEW SOLUTION FOUND: 2234298387610229 @ 36.826 @ #Dec. 222590
c NEW SOLUTION FOUND: 2234297885837429 @ 36.838 @ #Dec. 222830
c NEW SOLUTION FOUND: 2234289857472629 @ 36.851 @ #Dec. 223071
c NEW SOLUTION FOUND: 2234289054636149 @ 36.862 @ #Dec. 223317
c NEW SOLUTION FOUND: 2234288051090549 @ 36.878 @ #Dec. 223571
c NEW SOLUTION FOUND: 2234287047544949 @ 36.891 @ #Dec. 223822
c NEW SOLUTION FOUND: 2234286043999349 @ 36.906 @ #Dec. 224076
c NEW SOLUTION FOUND: 2234285040453749 @ 36.921 @ #Dec. 224324
c NEW SOLUTION FOUND: 2234284036908149 @ 36.935 @ #Dec. 224569
c NEW SOLUTION FOUND: 2234283033362549 @ 36.952 @ #Dec. 224816
c NEW SOLUTION FOUND: 2234282029816949 @ 36.964 @ #Dec. 225062
c NEW SOLUTION FOUND: 2234272997906549 @ 36.977 @ #Dec. 225310
c NEW SOLUTION FOUND: 2234271994360949 @ 36.989 @ #Dec. 225558
c NEW SOLUTION FOUND: 2234270990815349 @ 36.999 @ #Dec. 225807
c NEW SOLUTION FOUND: 2234269987269749 @ 37.012 @ #Dec. 226055
c NEW SOLUTION FOUND: 2234268983724149 @ 37.026 @ #Dec. 226306
c NEW SOLUTION FOUND: 2234267980178549 @ 37.039 @ #Dec. 226554
c NEW SOLUTION FOUND: 2234266976632949 @ 37.051 @ #Dec. 226804
c NEW SOLUTION FOUND: 2234265973087349 @ 37.063 @ #Dec. 227053
c NEW SOLUTION FOUND: 2234265170250869 @ 37.087 @ #Dec. 227314
c NEW SOLUTION FOUND: 2234265100937369 @ 37.17 @ #Dec. 227726
c NEW SOLUTION FOUND: 2234265085256969 @ 37.181 @ #Dec. 227963
c NEW SOLUTION FOUND: 2234265084472949 @ 37.193 @ #Dec. 228195
c NEW SOLUTION FOUND: 2234264582700149 @ 37.21 @ #Dec. 228442
c NEW SOLUTION FOUND: 2234263579154549 @ 37.225 @ #Dec. 228693
c NEW SOLUTION FOUND: 2234262575608949 @ 37.241 @ #Dec. 228941
c NEW SOLUTION FOUND: 2234261572063349 @ 37.256 @ #Dec. 229191
c NEW SOLUTION FOUND: 2234260568517749 @ 37.271 @ #Dec. 229440
c NEW SOLUTION FOUND: 2234259765681269 @ 37.298 @ #Dec. 229706
c NEW SOLUTION FOUND: 2230366610154789 @ 37.371 @ #Dec. 230124
c NEW SOLUTION FOUND: 2230366594474389 @ 37.386 @ #Dec. 230352
c NEW SOLUTION FOUND: 2230366563113589 @ 37.399 @ #Dec. 230585
c NEW SOLUTION FOUND: 2230366061340789 @ 37.414 @ #Dec. 230825
c NEW SOLUTION FOUND: 2230365057795189 @ 37.429 @ #Dec. 231069
c NEW SOLUTION FOUND: 2230364054249589 @ 37.441 @ #Dec. 231314
c NEW SOLUTION FOUND: 2230363050703989 @ 37.456 @ #Dec. 231558
c NEW SOLUTION FOUND: 2230362047158389 @ 37.468 @ #Dec. 231805
c NEW SOLUTION FOUND: 2230361043612789 @ 37.48 @ #Dec. 232049
c NEW SOLUTION FOUND: 2230360040067189 @ 37.492 @ #Dec. 232295
c NEW SOLUTION FOUND: 2230359036521589 @ 37.508 @ #Dec. 232540
c NEW SOLUTION FOUND: 2230350004611189 @ 37.525 @ #Dec. 232788
c NEW SOLUTION FOUND: 2230349001065589 @ 37.537 @ #Dec. 233035
c NEW SOLUTION FOUND: 2230347997519989 @ 37.55 @ #Dec. 233283
c NEW SOLUTION FOUND: 2230346993974389 @ 37.567 @ #Dec. 233530
c NEW SOLUTION FOUND: 2230345990428789 @ 37.576 @ #Dec. 233781
c NEW SOLUTION FOUND: 2230344986883189 @ 37.591 @ #Dec. 234028
c NEW SOLUTION FOUND: 2230343983337589 @ 37.604 @ #Dec. 234278
c NEW SOLUTION FOUND: 2230342979791989 @ 37.615 @ #Dec. 234527
c NEW SOLUTION FOUND: 2230342176955509 @ 37.641 @ #Dec. 234788
c NEW SOLUTION FOUND: 2230302475302529 @ 37.703 @ #Dec. 235196
c NEW SOLUTION FOUND: 2230302467462329 @ 37.717 @ #Dec. 235425
c NEW SOLUTION FOUND: 2230302451781929 @ 37.732 @ #Dec. 235656
c NEW SOLUTION FOUND: 2230302420421129 @ 37.747 @ #Dec. 235890
c NEW SOLUTION FOUND: 2230302169534729 @ 37.759 @ #Dec. 236125
c NEW SOLUTION FOUND: 2230302168750709 @ 37.771 @ #Dec. 236357
c NEW SOLUTION FOUND: 2230301666977909 @ 37.784 @ #Dec. 236595
c NEW SOLUTION FOUND: 2230300663432309 @ 37.796 @ #Dec. 236838
c NEW SOLUTION FOUND: 2230299659886709 @ 37.81 @ #Dec. 237082
c NEW SOLUTION FOUND: 2230298656341109 @ 37.827 @ #Dec. 237325
c NEW SOLUTION FOUND: 2230297652795509 @ 37.841 @ #Dec. 237571
c NEW SOLUTION FOUND: 2230296649249909 @ 37.855 @ #Dec. 237814
c NEW SOLUTION FOUND: 2230295645704309 @ 37.866 @ #Dec. 238059
c NEW SOLUTION FOUND: 2230294642158709 @ 37.879 @ #Dec. 238303
c NEW SOLUTION FOUND: 2230285610248309 @ 37.895 @ #Dec. 238551
c NEW SOLUTION FOUND: 2230284606702709 @ 37.906 @ #Dec. 238797
c NEW SOLUTION FOUND: 2230283603157109 @ 37.92 @ #Dec. 239044
c NEW SOLUTION FOUND: 2230282599611509 @ 37.931 @ #Dec. 239290
c NEW SOLUTION FOUND: 2230281596065909 @ 37.946 @ #Dec. 239541
c NEW SOLUTION FOUND: 2230280592520309 @ 37.96 @ #Dec. 239787
c NEW SOLUTION FOUND: 2230279588974709 @ 37.972 @ #Dec. 240037
c NEW SOLUTION FOUND: 2230278585429109 @ 37.988 @ #Dec. 240286
c NEW SOLUTION FOUND: 2230277782592629 @ 38.022 @ #Dec. 240575
c NEW SOLUTION FOUND: 2229685352346909 @ 38.065 @ #Dec. 240934
c NEW SOLUTION FOUND: 2229685344506709 @ 38.077 @ #Dec. 241197
c NEW SOLUTION FOUND: 2229685313145909 @ 38.094 @ #Dec. 241460
c NEW SOLUTION FOUND: 2229685281785109 @ 38.11 @ #Dec. 241725
c NEW SOLUTION FOUND: 2229685250424309 @ 38.121 @ #Dec. 241989
c NEW SOLUTION FOUND: 2229685124981109 @ 38.134 @ #Dec. 242255
c NEW SOLUTION FOUND: 2229684874094709 @ 38.15 @ #Dec. 242529
c NEW SOLUTION FOUND: 2229683870549109 @ 38.164 @ #Dec. 242808
c NEW SOLUTION FOUND: 2229682867003509 @ 38.178 @ #Dec. 243088
c NEW SOLUTION FOUND: 2229681863457909 @ 38.193 @ #Dec. 243367
c NEW SOLUTION FOUND: 2229680859912309 @ 38.209 @ #Dec. 243649
c NEW SOLUTION FOUND: 2229679856366709 @ 38.226 @ #Dec. 243928
c NEW SOLUTION FOUND: 2229678852821109 @ 38.244 @ #Dec. 244210
c NEW SOLUTION FOUND: 2229677849275509 @ 38.261 @ #Dec. 244491
c NEW SOLUTION FOUND: 2229668817365109 @ 38.276 @ #Dec. 244779
c NEW SOLUTION FOUND: 2229667813819509 @ 38.29 @ #Dec. 245056
c NEW SOLUTION FOUND: 2229666810273909 @ 38.305 @ #Dec. 245334
c NEW SOLUTION FOUND: 2229665806728309 @ 38.32 @ #Dec. 245611
c NEW SOLUTION FOUND: 2229663799637109 @ 38.332 @ #Dec. 245898
c NEW SOLUTION FOUND: 2229661792545909 @ 38.348 @ #Dec. 246184
c NEW SOLUTION FOUND: 2226090646520949 @ 38.366 @ #Dec. 246443
c NEW SOLUTION FOUND: 2226088639429749 @ 38.38 @ #Dec. 246687
c NEW SOLUTION FOUND: 2226086632338549 @ 38.394 @ #Dec. 246934
c NEW SOLUTION FOUND: 2226084625247349 @ 38.407 @ #Dec. 247180
c NEW SOLUTION FOUND: 2226074589791349 @ 38.417 @ #Dec. 247433
c NEW SOLUTION FOUND: 2226072582700149 @ 38.432 @ #Dec. 247680
c NEW SOLUTION FOUND: 2226070575608949 @ 38.445 @ #Dec. 247936
c NEW SOLUTION FOUND: 2226068568517749 @ 38.459 @ #Dec. 248191
c NEW SOLUTION FOUND: 2226067765681269 @ 38.481 @ #Dec. 248477
c Restart #8 #Var: 1332 #Dec: 251416 LB: 2079770 @ 40.748
c Restart #9 #Var: 1332 #Dec: 260813 LB: 2079770 @ 44.131
c Restart #10 #Var: 1332 #Dec: 266326 LB: 2079770 @ 47.084
c Restart #11 #Var: 1332 #Dec: 273408 LB: 2079770 @ 50.089
c Restart #12 #Var: 1332 #Dec: 280830 LB: 2079770 @ 53.722
c Restart #13 #Var: 1332 #Dec: 286684 LB: 2079770 @ 58.226
c Restart #14 #Var: 1332 #Dec: 309212 LB: 2079770 @ 63.676
c Restart #15 #Var: 1332 #Dec: 316435 LB: 2079770 @ 68.689
c Restart #16 #Var: 1332 #Dec: 326967 LB: 2079770 @ 74.195
c Restart #17 #Var: 1332 #Dec: 335001 LB: 2079770 @ 80.14
c NEW SOLUTION FOUND: 2203450652059202 @ 81.36 @ #Dec. 338585
c NEW SOLUTION FOUND: 2203232572368450 @ 81.361 @ #Dec. 338585
c NEW SOLUTION FOUND: 2203229164873282 @ 81.363 @ #Dec. 338585
c NEW SOLUTION FOUND: 2202108003558978 @ 81.364 @ #Dec. 338591
c NEW SOLUTION FOUND: 2201235684795970 @ 81.365 @ #Dec. 338591
c NEW SOLUTION FOUND: 2201181164873282 @ 81.366 @ #Dec. 338594
c NEW SOLUTION FOUND: 2201153904911938 @ 81.367 @ #Dec. 338600
c NEW SOLUTION FOUND: 2200717745530434 @ 81.368 @ #Dec. 338609
c NEW SOLUTION FOUND: 2200717745114480 @ 81.373 @ #Dec. 338651
c NEW SOLUTION FOUND: 2200704115133808 @ 81.375 @ #Dec. 338660
c NEW SOLUTION FOUND: 2200704101823280 @ 81.378 @ #Dec. 338674
c NEW SOLUTION FOUND: 2200704075202224 @ 81.379 @ #Dec. 338689
c NEW SOLUTION FOUND: 2200704074370316 @ 81.38 @ #Dec. 338704
c NEW SOLUTION FOUND: 2200704071042684 @ 81.383 @ #Dec. 338720
c NEW SOLUTION FOUND: 2196608071042684 @ 81.384 @ #Dec. 338738
c NEW SOLUTION FOUND: 2196607858074236 @ 81.386 @ #Dec. 338757
c NEW SOLUTION FOUND: 2196607857866259 @ 81.388 @ #Dec. 338778
c NEW SOLUTION FOUND: 2194006226306579 @ 81.394 @ #Dec. 338820
c NEW SOLUTION FOUND: 2194005196971539 @ 81.413 @ #Dec. 338992
c NEW SOLUTION FOUND: 2194005186416834 @ 81.415 @ #Dec. 339018
c NEW SOLUTION FOUND: 2192369884976659 @ 82.055 @ #Dec. 343187
c NEW SOLUTION FOUND: 2192366796971539 @ 82.074 @ #Dec. 343333
c NEW SOLUTION FOUND: 2192366786416834 @ 82.118 @ #Dec. 343626
c Restart #18 #Var: 1332 #Dec: 352996 LB: 2079770 @ 86.38
c Restart #19 #Var: 1332 #Dec: 367983 LB: 2079770 @ 93.001
c Restart #20 #Var: 1332 #Dec: 376632 LB: 2079770 @ 98.225
c Restart #21 #Var: 1332 #Dec: 385167 LB: 2079770 @ 106.24
c Restart #22 #Var: 1330 #Dec: 399688 LB: 2079770 @ 112.72
c Restart #23 #Var: 1330 #Dec: 417794 LB: 2079770 @ 120.14
c Restart #24 #Var: 1330 #Dec: 426278 LB: 2079770 @ 126.46
c Restart #25 #Var: 1330 #Dec: 437068 LB: 2079770 @ 136.63
c Restart #26 #Var: 1330 #Dec: 445670 LB: 2079770 @ 144.47
c Restart #27 #Var: 1330 #Dec: 459396 LB: 2079770 @ 158.82
c Restart #28 #Var: 1330 #Dec: 478213 LB: 2079770 @ 167.95
c Restart #29 #Var: 1330 #Dec: 490296 LB: 2079770 @ 182.97
c Restart #30 #Var: 1329 #Dec: 496922 LB: 2079770 @ 189.22
c Restart #31 #Var: 1329 #Dec: 511947 LB: 2079770 @ 202.72
c Restart #32 #Var: 1329 #Dec: 528371 LB: 2079770 @ 213.23
c Restart #33 #Var: 1329 #Dec: 544392 LB: 2079770 @ 225.32
c Restart #34 #Var: 1329 #Dec: 560217 LB: 2079770 @ 241.39
c Restart #35 #Var: 1329 #Dec: 580283 LB: 2079770 @ 261.05
c Restart #36 #Var: 1329 #Dec: 594903 LB: 2079770 @ 273.08
c Restart #37 #Var: 1329 #Dec: 609647 LB: 2079770 @ 303.25
c Restart #38 #Var: 1329 #Dec: 635720 LB: 2079770 @ 334.75
c Restart #39 #Var: 1329 #Dec: 652553 LB: 2079770 @ 346.42
c Restart #40 #Var: 1329 #Dec: 669705 LB: 2079770 @ 374.54
c Restart #41 #Var: 1329 #Dec: 689206 LB: 2079770 @ 396.67
c Restart #42 #Var: 1329 #Dec: 715220 LB: 2079770 @ 419.98
c Restart #43 #Var: 1329 #Dec: 736042 LB: 2079770 @ 459.05
c Restart #44 #Var: 1329 #Dec: 750352 LB: 2079770 @ 472.03
c Restart #45 #Var: 1329 #Dec: 769255 LB: 2079770 @ 503.42
c Restart #46 #Var: 1329 #Dec: 782736 LB: 2079770 @ 576.12
c Restart #47 #Var: 1329 #Dec: 797169 LB: 2079770 @ 594.28
c Restart #48 #Var: 1329 #Dec: 813111 LB: 2079770 @ 613.76
c Restart #49 #Var: 1329 #Dec: 823376 LB: 2079770 @ 966.29
c Restart #50 #Var: 1329 #Dec: 853335 LB: 2079770 @ 985.56
c Restart #51 #Var: 1329 #Dec: 879979 LB: 2079770 @ 1024.2
c Restart #52 #Var: 1329 #Dec: 899124 LB: 2079770 @ 1184.5
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