-
Notifications
You must be signed in to change notification settings - Fork 0
/
equation.txt
81 lines (80 loc) · 40.2 KB
/
equation.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
0.2827352738070769x0 + 0.18097791447335546x1 + 0.2738027175347093x2 + 0.28892780990305283x3 + 0.19740518189436576x4 + 0.21642598147900083x5 + 0.061504417595801664x6 + 0.3027658987906709x7 + 0.33930272274597145x8 + 0.2389893527268877x9 + 0.3637678530087841x10 + 0.1187935361585306x11 + 0.1982249153226879x12 + 0.010743210609867984x13 + 0.19664031782945857x14 + 0.26269156338441696x15 + 0.20083154723951346x16 + 0.1723833164032347x17 + 0.08980451613524881x18 + 0.06101949973916255x19 >= 8.009945836839332 - 1000*z0
0.3283134725426866x0 + 0.001405502953307001x1 + 0.20593775630636288x2 + 0.14226364500820116x3 + 0.18372376666706747x4 + 0.18468404444819622x5 + 0.07190740624729598x6 + 0.040022658333879385x7 + 0.38060097639582696x8 + 0.16622184954316438x9 + 0.44975668021868836x10 + 0.2929598091435461x11 + 0.08890962062484112x12 + 0.4140846250593937x13 + 0.24734647549615724x14 + 0.10013468399308993x15 + 0.04883066893095665x16 + 0.15516912144302672x17 + 0.06369000434134664x18 + 0.11503917222441795x19 >= 7.867261380775396 - 1000*z1
0.006364801463229414x0 + 0.2136230882316369x1 + 0.05867100282608168x2 + 0.2459270283473192x3 + 0.2486803530881321x4 + 0.37322346590685657x5 + 0.06289996978033972x6 + 0.12380034922331179x7 + 0.20061530781195933x8 + 0.36855476376745017x9 + 0.10842899550890016x10 + 0.33048427611402975x11 + 0.09107635577898979x12 + 0.08361310522220787x13 + 0.07900106362457872x14 + 0.053511876814382006x15 + 0.031823406748539534x16 + 0.38058672552543116x17 + 0.3732254615372575x18 + 0.25175161774437044x19 >= 7.592747614449977 - 1000*z2
0.27279946590887494x0 + 0.0027066870448240773x1 + 0.14500005926031911x2 + 0.0663669635169006x3 + 0.21119734790089273x4 + 0.2427481464453228x5 + 0.42027922658013844x6 + 0.10668060675992705x7 + 0.22161237856884183x8 + 0.3320100934492856x9 + 0.162091710688763x10 + 0.13064537942443427x11 + 0.14832075358162342x12 + 0.3231893287732645x13 + 0.2937348835336999x14 + 0.38896591446034384x15 + 0.012812658225878107x16 + 0.1807617112825237x17 + 0.09512042032636969x18 + 0.0007602226085805517x19 >= 7.006247637373222 - 1000*z3
0.18624992993234615x0 + 0.23824419852855455x1 + 0.056475794282062425x2 + 0.24632713571737128x3 + 0.21860254980463162x4 + 0.19610465292867157x5 + 0.06447454421734103x6 + 0.20224973192781817x7 + 0.34699036771789105x8 + 0.09791067437671061x9 + 0.10351392651357828x10 + 0.3007049748350096x11 + 0.2403963065428812x12 + 0.36720282068728477x13 + 0.132290527461632x14 + 0.35347954472225734x15 + 0.08326466341030662x16 + 0.0314269448145354x17 + 0.2749780332396719x18 + 0.25227006899226784x19 >= 7.586491874596868 - 1000*z4
0.08176115590772223x0 + 0.1704224768484143x1 + 0.3505042769369292x2 + 0.002223019582942626x3 + 0.36631226622960045x4 + 0.06149560727669962x5 + 0.05535742043793271x6 + 0.0637680246745615x7 + 0.3519589842126601x8 + 0.25111019113470306x9 + 0.09076707197150129x10 + 0.054310757126131134x11 + 0.16060054583377179x12 + 0.1956355695984189x13 + 0.348874569695354x14 + 0.18234314248822278x15 + 0.36400591322853365x16 + 0.24573014182009328x17 + 0.29321080775633857x18 + 0.017653716875191836x19 >= 7.802359373197679 - 1000*z5
0.1765623749959767x0 + 0.25354994632357064x1 + 0.39576532485890015x2 + 0.1178365439567933x3 + 0.03886590922783398x4 + 0.25082490122820683x5 + 0.09840053599116456x6 + 0.15090871194693908x7 + 0.22694927822376473x8 + 0.3585275122847258x9 + 0.2096386815251709x10 + 0.025096142157535795x11 + 0.3387038269186477x12 + 0.3712776694229522x13 + 0.07904939819536914x14 + 0.15672066332475837x15 + 0.11074395073542623x16 + 0.19438718046708572x17 + 0.06269491875711991x18 + 0.274149145294353x19 >= 7.643931080574265 - 1000*z6
0.2794648199455257x0 + 0.10115001995989681x1 + 0.2223278287980076x2 + 0.3542480626691905x3 + 0.2610516945182626x4 + 0.20436450649961369x5 + 0.13069815877937152x6 + 0.012846511577276735x7 + 0.3049944510625657x8 + 0.12417822828321899x9 + 0.3290367890766952x10 + 0.25330532664550415x11 + 0.0033223738580201614x12 + 0.0016831555210875587x13 + 0.14609482793764392x14 + 0.282199088056946x15 + 0.20678107541124008x16 + 0.31027053505868035x17 + 0.15064798498559565x18 + 0.2569071445094379x19 >= 7.987743925731708 - 1000*z7
0.2732332311910217x0 + 0.2681436055602817x1 + 0.13131369371148446x2 + 0.09636996982864074x3 + 0.19530170407910566x4 + 0.1263092560761401x5 + 0.13292830591145838x6 + 0.14042322644317562x7 + 0.18376561751475173x8 + 0.3012258789648947x9 + 0.22528019607716754x10 + 0.3329561648322973x11 + 0.2739102348222528x12 + 0.3039903528877321x13 + 0.013047211620748102x14 + 0.16396897863292753x15 + 0.2517830429466031x16 + 0.300288309851294x17 + 0.11607215401317021x18 + 0.2962691707920521x19 >= 7.983132111756749 - 1000*z8
0.02657896214743832x0 + 0.13942501059785942x1 + 0.27625150992347364x2 + 0.2535617168742879x3 + 0.3029638132685117x4 + 0.012280201181351038x5 + 0.31940416268521576x6 + 0.2601257026042396x7 + 0.2164414607009484x8 + 0.1309711484325156x9 + 0.23176590718979453x10 + 0.3292647793494059x11 + 0.3345201304457162x12 + 0.07867362778967169x13 + 0.09149383790720951x14 + 0.04122333587535178x15 + 0.3032270547797963x16 + 0.1801938280665001x17 + 0.045267977644141325x18 + 0.3112282678589594x19 >= 7.724123053668998 - 1000*z9
0.052402606523998946x0 + 0.08498434040457405x1 + 0.31847689424484094x2 + 0.3341609933157749x3 + 0.05859956728016058x4 + 0.11192263024441247x5 + 0.04768338682976905x6 + 0.3514023989477832x7 + 0.31950346297069065x8 + 0.025090928827792503x9 + 0.0948937059467154x10 + 0.16948170500226933x11 + 0.36046206691339905x12 + 0.07078721592186642x13 + 0.017611449233055167x14 + 0.21781898470188724x15 + 0.39734522027413305x16 + 0.2874330792177517x17 + 0.2624348549258776x18 + 0.05205432660169927x19 >= 7.193475035531424 - 1000*z10
0.08132534579332316x0 + 0.30153950907720506x1 + 0.12007502584071887x2 + 0.32356280141752997x3 + 0.2913651889585601x4 + 0.021905224108049796x5 + 0.20556189629071644x6 + 0.3377787920232827x7 + 0.04217439381442652x8 + 0.10798269232654416x9 + 0.007642019152748648x10 + 0.24167228324313517x11 + 0.41386134402864344x12 + 0.2751611809010937x13 + 0.013581933679939345x14 + 0.20564781173394084x15 + 0.33992047171742784x16 + 0.1721991666572024x17 + 0.17341704330174043x18 + 0.0705714698045922x19 >= 6.5941402801926765 - 1000*z11
0.052314795687196713x0 + 0.2767694764017464x1 + 0.24684195179941182x2 + 0.3072993768042536x3 + 0.3484364238373615x4 + 0.11673219454366172x5 + 0.07914586242936011x6 + 0.2710721890853218x7 + 0.12790507656042224x8 + 0.15567795511459243x9 + 0.26725318112489616x10 + 0.2532598577956757x11 + 0.1998746490972746x12 + 0.1287444906002918x13 + 0.3496775368539489x14 + 0.1585188612818169x15 + 0.16914608912064383x16 + 0.3486299870364512x17 + 0.14138836005497823x18 + 0.01696172832561366x19 >= 8.380126831229937 - 1000*z12
0.0805570757533025x0 + 0.12286223680161464x1 + 0.1390743988223229x2 + 0.17614420306834883x3 + 0.07983155739880879x4 + 0.1496759005428712x5 + 0.29732156674815585x6 + 0.3693440029982239x7 + 0.297474264608789x8 + 0.025708700296099195x9 + 0.0036122171033634454x10 + 0.44869047021124353x11 + 0.2142161698174933x12 + 0.17448965612826697x13 + 0.4435907070576943x14 + 0.038092918152408506x15 + 0.11443679514907981x16 + 0.26715454801284483x17 + 0.06082380333127011x18 + 0.14574627869425877x19 >= 8.150490793481609 - 1000*z13
0.28397888363847446x0 + 0.14527498905210584x1 + 0.08512763977583519x2 + 0.2941489864486669x3 + 0.28356475655785707x4 + 0.30695571042419784x5 + 0.32119281435612407x6 + 0.15681505682512115x7 + 0.18120003070650947x8 + 0.26862492336836746x9 + 0.28654275071526625x10 + 0.17510805583665076x11 + 0.05921424760669107x12 + 0.18436797527466736x13 + 0.17066262683244318x14 + 0.24772783425859554x15 + 0.328024529111233x16 + 0.2079816110396685x17 + 0.05529648509137884x18 + 0.049244814791221427x19 >= 7.778960943269158 - 1000*z14
0.07981062231432848x0 + 0.10579043567851026x1 + 0.2053755626071361x2 + 0.014822483540210077x3 + 0.38795976839525137x4 + 0.3262976362854767x5 + 0.31689720188578097x6 + 0.03522679096466751x7 + 0.043934586022029036x8 + 0.4043550156618008x9 + 0.1593312163102234x10 + 0.15305561090334832x11 + 0.24144613120334327x12 + 0.13861822180176x13 + 0.14488541232175126x14 + 0.06854784650921894x15 + 0.23200596398285464x16 + 0.1003029088074332x17 + 0.33729525005136257x18 + 0.2937500341919809x19 >= 7.090094564658066 - 1000*z15
0.36460249655598953x0 + 0.03374745794078912x1 + 0.05407087331944945x2 + 0.3312176007590386x3 + 0.32244105468669626x4 + 0.1686243622119694x5 + 0.005267981546578343x6 + 0.10890553706765325x7 + 0.11959570590887737x8 + 0.09511364236512868x9 + 0.22981330882029916x10 + 0.10522098056094167x11 + 0.09074994240554199x12 + 0.277326574138806x13 + 0.3449362881250668x14 + 0.21564161483203562x15 + 0.3759288870297167x16 + 0.23989757172422774x17 + 0.13613617640400386x18 + 0.23181260223005276x19 >= 7.495717644247941 - 1000*z16
0.263401913899879x0 + 0.015619284458736352x1 + 0.32542691594810963x2 + 0.09811542891525708x3 + 0.3415407022644333x4 + 0.13007658661637725x5 + 0.1863052737263091x6 + 0.3699951444773855x7 + 0.08528796891195282x8 + 0.14826243140167325x9 + 0.3024628207574235x10 + 0.1793220401208159x11 + 0.13189176735305583x12 + 0.06370442877441489x13 + 0.3094548151925063x14 + 0.06582451281573432x15 + 0.006459508610621763x16 + 0.26222044365574654x17 + 0.11789924620986027x18 + 0.3905429868459206x19 >= 7.867716638036166 - 1000*z17
0.37086065671268226x0 + 0.036124785468732455x1 + 0.3955348820943676x2 + 0.18120343507352732x3 + 0.22414980279756064x4 + 0.06879466098413162x5 + 0.006151285528422749x6 + 0.16522006163852046x7 + 0.09083546618170546x8 + 0.20212088820369828x9 + 0.007513186948130305x10 + 0.21437602502684655x11 + 0.17541118066084732x12 + 0.15457601194356452x13 + 0.22572502765747623x14 + 0.260628062866806x15 + 0.29656329541330956x16 + 0.27831308745040956x17 + 0.29140457268937525x18 + 0.2656686780299111x19 >= 7.608149174399628 - 1000*z18
0.04524297904518327x0 + 0.4049152469009938x1 + 0.06911764753970658x2 + 0.4132392717043155x3 + 0.1412333553306782x4 + 0.34477422301042776x5 + 0.22482558713456274x6 + 0.10349785811158141x7 + 0.10908748790632362x8 + 0.09597855552202601x9 + 0.20437491419867693x10 + 0.25338173489582655x11 + 0.13945370639167198x12 + 0.1304386317569499x13 + 0.3635220811527917x14 + 0.21225664265318306x15 + 0.15347166952977068x16 + 0.01383846074138094x17 + 0.17548243136519762x18 + 0.25118324579957435x19 >= 7.545873922811962 - 1000*z19
0.1535546291389646x0 + 0.09360796641522633x1 + 0.5869674459996638x2 + 0.17036495195397597x3 + 0.24293250760192392x4 + 0.25723649513335334x5 + 0.0951032201007693x6 + 0.03614123472370653x7 + 0.023142859411446903x8 + 0.1377472844556277x9 + 0.2675582933095975x10 + 0.024992567792145128x11 + 0.10514720175199789x12 + 0.20967432925330415x13 + 0.28892549034933734x14 + 0.14036130298912483x15 + 0.11963361879725774x16 + 0.12185258596298387x17 + 0.09730173273822285x18 + 0.41233183907603127x19 >= 7.572692235429569 - 1000*z20
0.25214059929422056x0 + 0.07565862600790135x1 + 0.10471139126962185x2 + 0.025651788283206592x3 + 0.3145002193605824x4 + 0.35908135020812915x5 + 0.16975925008040027x6 + 0.002392398373230282x7 + 0.13990313362067874x8 + 0.22263771711537145x9 + 0.29876549072053715x10 + 0.2796851134070066x11 + 0.2595222890899399x12 + 0.08202328101711925x13 + 0.005570305233217439x14 + 0.0826972109322611x15 + 0.31173281542742826x16 + 0.3388027958096792x17 + 0.35582504583693725x18 + 0.07908229345389872x19 >= 7.37980641799873 - 1000*z21
0.31773609189587454x0 + 0.28908346881886327x1 + 0.10027192799510666x2 + 0.15302688041430973x3 + 0.21865889304502836x4 + 0.16701285918780873x5 + 0.18338860607932406x6 + 0.28095073618733796x7 + 0.3312642216586529x8 + 0.3447778937117254x9 + 0.011889047101774132x10 + 0.01792899355958214x11 + 0.2585686915059015x12 + 0.22283109810665377x13 + 0.2276936883699523x14 + 0.3059002033638284x15 + 0.042681774044370305x16 + 0.1173878954668675x17 + 0.10735887396446091x18 + 0.2749621056443731x19 >= 7.237550245546137 - 1000*z22
0.32823669484988427x0 + 0.13366378691412664x1 + 0.11799881095646779x2 + 0.08245261681462916x3 + 0.012326854527619736x4 + 0.04421357908591198x5 + 0.03390518281141116x6 + 0.23347922434835056x7 + 0.2731125954739192x8 + 0.08440243126350522x9 + 0.315347281679146x10 + 0.08905961985377554x11 + 0.2614859289270416x12 + 0.3813912824155828x13 + 0.12676863087969165x14 + 0.3099196385327479x15 + 0.32358163028517245x16 + 0.02177623527087073x17 + 0.024055934421661377x18 + 0.4184509431202716x19 >= 6.779728848763331 - 1000*z23
0.4143939205266709x0 + 0.20256414206114595x1 + 0.06076804471507365x2 + 0.3226349536186456x3 + 0.2505998927771913x4 + 0.13462928761662385x5 + 0.08607234653555575x6 + 0.32887990456199095x7 + 0.18512701106801918x8 + 0.12201681008949632x9 + 0.24858012525718978x10 + 0.05007893875385914x11 + 0.038054352587025844x12 + 0.38878261135375186x13 + 0.1045258063416461x14 + 0.16496630187853523x15 + 0.2550188187463901x16 + 0.29255670953054674x17 + 0.07755093193774362x18 + 0.14874725150190576x19 >= 7.355092503770109 - 1000*z24
0.03394087127097581x0 + 0.3563475863261477x1 + 0.002388209416690421x2 + 0.13375063933427647x3 + 0.310438681769403x4 + 0.27538269409186406x5 + 0.30122212286533206x6 + 0.15565451185620338x7 + 0.31666281072798824x8 + 0.1653419099286745x9 + 0.19469839835205088x10 + 0.32499335615904634x11 + 0.07054943572834893x12 + 0.15050597072911392x13 + 0.01162885166254164x14 + 0.030432051612072415x15 + 0.11945796837935106x16 + 0.2810653629684844x17 + 0.27145857283544667x18 + 0.31624174006202904x19 >= 7.849749173603571 - 1000*z25
0.249130576990908x0 + 0.15747878126936432x1 + 0.2485381076831755x2 + 0.21434963738156865x3 + 0.2091364342013181x4 + 0.09934444761083992x5 + 0.10857583484387423x6 + 0.39216929451650945x7 + 0.1342744754988465x8 + 0.24147025793618354x9 + 0.12869901757632807x10 + 0.30121790520590674x11 + 0.12471651191360142x12 + 0.05074400780236041x13 + 0.27503025825801386x14 + 0.25822175679231724x15 + 0.31964868099380866x16 + 0.2980973954288026x17 + 0.20837167626844746x18 + 0.0876700587601994x19 >= 8.165436571423433 - 1000*z26
0.005195782839022281x0 + 0.1738299012961504x1 + 0.22844418880671652x2 + 0.3665084036407367x3 + 0.06614716060982713x4 + 0.06061150355816694x5 + 0.10715823693881431x6 + 0.13945074946619904x7 + 0.06488567886080958x8 + 0.10051044358982454x9 + 0.3157497243554308x10 + 0.03762772235082723x11 + 0.20617207458282752x12 + 0.12415122957793373x13 + 0.3264178505780358x14 + 0.40927470620038925x15 + 0.33357091730767274x16 + 0.3233270844366122x17 + 0.28170723613348786x18 + 0.0411387793456904x19 >= 6.988545893616416 - 1000*z27
0.061024173943455794x0 + 0.32115568155187074x1 + 0.020824395147425744x2 + 0.17474571975628528x3 + 0.07609519499754087x4 + 0.2518699460089621x5 + 0.3165688534855956x6 + 0.11377565088162075x7 + 0.11863543183616407x8 + 0.3355264483868231x9 + 0.33938724272529014x10 + 0.17791937697401553x11 + 0.3320354994248881x12 + 0.3418473817177244x13 + 0.20800329956361355x14 + 0.21799414440770995x15 + 0.11779927962735096x16 + 0.18470660638112735x17 + 0.030999465468232595x18 + 0.19858526961153602x19 >= 7.372062874832784 - 1000*z28
0.17880782622181057x0 + 0.17475607052062045x1 + 0.4074500426182879x2 + 0.22907666837554463x3 + 0.03997034892568642x4 + 0.027856724507305274x5 + 0.2002764179772923x6 + 0.09327238461625453x7 + 0.30897806992501425x8 + 0.23105278871993026x9 + 0.32569408883809625x10 + 0.2645685656366528x11 + 0.09516590594049698x12 + 0.3810613433014272x13 + 0.1492842907030566x14 + 0.00934246207544282x15 + 0.0581270784057632x16 + 0.03695520561781638x17 + 0.16030441848182148x18 + 0.36852012053956756x19 >= 7.572108055111569 - 1000*z29
0.15322533076572656x0 + 0.0718556613417265x1 + 0.010013847447294413x2 + 0.11117182999548145x3 + 0.08329137611175745x4 + 0.2916448235411218x5 + 0.0847457214328122x6 + 0.2737900594083629x7 + 0.0679865439949894x8 + 0.2794331136009876x9 + 0.05473548011726773x10 + 0.3379455995363958x11 + 0.32457578696306594x12 + 0.2819996242841753x13 + 0.2506131374294784x14 + 0.3413357672385978x15 + 0.2876040791068798x16 + 0.3027866725055323x17 + 0.1211417637422883x18 + 0.17774307291060087x19 >= 7.660639893664937 - 1000*z30
0.2656587125917347x0 + 0.2280046674976782x1 + 0.03720463840362087x2 + 0.30000064679433514x3 + 0.05950559332129706x4 + 0.3052026883154462x5 + 0.20806997049307246x6 + 0.24135581130319092x7 + 0.2888105175169166x8 + 0.18623797079290347x9 + 0.27894410001066255x10 + 0.16819425774417887x11 + 0.02529277622344173x12 + 0.2763343784253137x13 + 0.2358785584948968x14 + 0.13688129461636803x15 + 0.16977260912751369x16 + 0.24393142141722535x17 + 0.16862408376831198x18 + 0.30901333095744415x19 >= 8.254292682243223 - 1000*z31
0.16011867518116377x0 + 0.010224362729016107x1 + 0.23544763942784602x2 + 0.27239077042180526x3 + 0.062473408764489625x4 + 0.24104907432151496x5 + 0.33534948670093034x6 + 0.14444767030204952x7 + 0.13435380011754647x8 + 0.2835235870694653x9 + 0.11928481873521232x10 + 0.3156493106084936x11 + 0.29260959810400783x12 + 0.25157655612530344x13 + 0.32048186236847687x14 + 0.2289705421740908x15 + 0.10859107280596976x16 + 0.27366111163707335x17 + 0.1313849874272735x18 + 0.17029833146761958x19 >= 8.000068484380913 - 1000*z32
0.05182079070033881x0 + 0.13739159755496133x1 + 0.1994261080924541x2 + 0.1704340762894612x3 + 0.13718180033502134x4 + 0.1538520685058114x5 + 0.02895487132792775x6 + 0.021346935182089972x7 + 0.034899838422974984x8 + 0.3739031259588014x9 + 0.007545058073986206x10 + 0.23424377993751527x11 + 0.024904266513377505x12 + 0.3273813101006449x13 + 0.20731084818564444x14 + 0.1871195873428671x15 + 0.4022516978164643x16 + 0.16479363428316662x17 + 0.3847625538947958x18 + 0.38352540698601234x19 >= 7.038725716408631 - 1000*z33
0.2555440453521122x0 + 0.23781956653710168x1 + 0.07340079813567565x2 + 0.15633686950305495x3 + 0.06910932239381111x4 + 0.2364426790164996x5 + 0.28675952868856985x6 + 0.014207715506401307x7 + 0.2632483940993948x8 + 0.19638589816164284x9 + 0.2993011701240872x10 + 0.3366022644273457x11 + 0.19688477698745932x12 + 0.34753493957859855x13 + 0.13198329841763165x14 + 0.3208728991184006x15 + 0.027806018057037942x16 + 0.1872432985605738x17 + 0.1489604053427539x18 + 0.2376995468178137x19 >= 7.71546317915506 - 1000*z34
0.3192488489904879x0 + 0.14381574247293286x1 + 0.2732066930366096x2 + 0.2542262992601593x3 + 0.20490312593603835x4 + 0.030735976879954132x5 + 0.25378210226047576x6 + 0.31885036578985265x7 + 0.28908447202841125x8 + 0.18258988327442413x9 + 0.016558267177484612x10 + 0.26423086401965984x11 + 0.20240521173733064x12 + 0.09921155948751931x13 + 0.3554832368409904x14 + 0.3604938206900727x15 + 0.018202480506092567x16 + 0.12212508165288043x17 + 0.11157145524532523x18 + 0.08540131991940622x19 >= 7.4628023174124465 - 1000*z35
0.0041385587435114985x0 + 0.3814618501578344x1 + 0.2509782013423383x2 + 0.24539116087739704x3 + 0.26458055677967135x4 + 0.26752227577821125x5 + 0.31830960221250065x6 + 0.015216302796367083x7 + 0.33545318429850485x8 + 0.02991693550702556x9 + 0.07807081454343535x10 + 0.15964241741883983x11 + 0.3139830075310794x12 + 0.04213914829386726x13 + 0.22447235956468659x14 + 0.36169431748550956x15 + 0.0327874532098399x16 + 0.16754440104747834x17 + 0.047413485153219324x18 + 0.17369173349450254x19 >= 7.513581304411456 - 1000*z36
0.015675166800879294x0 + 0.005399467566930668x1 + 0.3455537087717749x2 + 0.28492150717422243x3 + 0.3259990920469657x4 + 0.13347850124385063x5 + 0.1762916860293572x6 + 0.33575332831085763x7 + 0.3246732718729979x8 + 0.19187539061018974x9 + 0.03579614944171314x10 + 0.06072461430336559x11 + 0.24353885504076722x12 + 0.0832145886625707x13 + 0.15835228827632894x14 + 0.02067934299481566x15 + 0.05546526345470689x16 + 0.35096285854998605x17 + 0.2754199551748658x18 + 0.3003204758536821x19 >= 7.613534363554862 - 1000*z37
0.03681415892043103x0 + 0.4111980140507236x1 + 0.25883025591711817x2 + 0.2672606120726175x3 + 0.16649434288474965x4 + 0.19445813682508065x5 + 0.11449395074115308x6 + 0.263399565864945x7 + 0.419290856879467x8 + 0.000896204898693225x9 + 0.3124178184872127x10 + 0.19103160025261232x11 + 0.16033872473068925x12 + 0.20681276508269425x13 + 0.24242858220693284x14 + 0.24523354091577737x15 + 0.027053661031809985x16 + 0.0763991918385453x17 + 0.05985386317002785x18 + 0.18886793950015518x19 >= 8.18469514101324 - 1000*z38
0.03660708256581998x0 + 0.05659058573565107x1 + 0.17640263760198413x2 + 0.14337353573909534x3 + 0.1641634308180659x4 + 0.3006212578813818x5 + 0.44742299552549103x6 + 0.3270511788811619x7 + 0.1623100738649186x8 + 0.01122272458244908x9 + 0.13569281773002356x10 + 0.3852483950501342x11 + 0.2785327397693545x12 + 0.01409392597829524x13 + 0.34310222906885723x14 + 0.05307809093924005x15 + 0.04659977772488741x16 + 0.10876600286080952x17 + 0.17630318629447658x18 + 0.28742244329253347x19 >= 7.639120464721419 - 1000*z39
0.2827352738070769x0 + 0.18097791447335546x1 + 0.2738027175347093x2 + 0.28892780990305283x3 + 0.19740518189436576x4 + 0.21642598147900083x5 + 0.061504417595801664x6 + 0.3027658987906709x7 + 0.33930272274597145x8 + 0.2389893527268877x9 + 0.3637678530087841x10 + 0.1187935361585306x11 + 0.1982249153226879x12 + 0.010743210609867984x13 + 0.19664031782945857x14 + 0.26269156338441696x15 + 0.20083154723951346x16 + 0.1723833164032347x17 + 0.08980451613524881x18 + 0.06101949973916255x19 <= 8.009945836839332 + 1000*z0
0.3283134725426866x0 + 0.001405502953307001x1 + 0.20593775630636288x2 + 0.14226364500820116x3 + 0.18372376666706747x4 + 0.18468404444819622x5 + 0.07190740624729598x6 + 0.040022658333879385x7 + 0.38060097639582696x8 + 0.16622184954316438x9 + 0.44975668021868836x10 + 0.2929598091435461x11 + 0.08890962062484112x12 + 0.4140846250593937x13 + 0.24734647549615724x14 + 0.10013468399308993x15 + 0.04883066893095665x16 + 0.15516912144302672x17 + 0.06369000434134664x18 + 0.11503917222441795x19 <= 7.867261380775396 + 1000*z1
0.006364801463229414x0 + 0.2136230882316369x1 + 0.05867100282608168x2 + 0.2459270283473192x3 + 0.2486803530881321x4 + 0.37322346590685657x5 + 0.06289996978033972x6 + 0.12380034922331179x7 + 0.20061530781195933x8 + 0.36855476376745017x9 + 0.10842899550890016x10 + 0.33048427611402975x11 + 0.09107635577898979x12 + 0.08361310522220787x13 + 0.07900106362457872x14 + 0.053511876814382006x15 + 0.031823406748539534x16 + 0.38058672552543116x17 + 0.3732254615372575x18 + 0.25175161774437044x19 <= 7.592747614449977 + 1000*z2
0.27279946590887494x0 + 0.0027066870448240773x1 + 0.14500005926031911x2 + 0.0663669635169006x3 + 0.21119734790089273x4 + 0.2427481464453228x5 + 0.42027922658013844x6 + 0.10668060675992705x7 + 0.22161237856884183x8 + 0.3320100934492856x9 + 0.162091710688763x10 + 0.13064537942443427x11 + 0.14832075358162342x12 + 0.3231893287732645x13 + 0.2937348835336999x14 + 0.38896591446034384x15 + 0.012812658225878107x16 + 0.1807617112825237x17 + 0.09512042032636969x18 + 0.0007602226085805517x19 <= 7.006247637373222 + 1000*z3
0.18624992993234615x0 + 0.23824419852855455x1 + 0.056475794282062425x2 + 0.24632713571737128x3 + 0.21860254980463162x4 + 0.19610465292867157x5 + 0.06447454421734103x6 + 0.20224973192781817x7 + 0.34699036771789105x8 + 0.09791067437671061x9 + 0.10351392651357828x10 + 0.3007049748350096x11 + 0.2403963065428812x12 + 0.36720282068728477x13 + 0.132290527461632x14 + 0.35347954472225734x15 + 0.08326466341030662x16 + 0.0314269448145354x17 + 0.2749780332396719x18 + 0.25227006899226784x19 <= 7.586491874596868 + 1000*z4
0.08176115590772223x0 + 0.1704224768484143x1 + 0.3505042769369292x2 + 0.002223019582942626x3 + 0.36631226622960045x4 + 0.06149560727669962x5 + 0.05535742043793271x6 + 0.0637680246745615x7 + 0.3519589842126601x8 + 0.25111019113470306x9 + 0.09076707197150129x10 + 0.054310757126131134x11 + 0.16060054583377179x12 + 0.1956355695984189x13 + 0.348874569695354x14 + 0.18234314248822278x15 + 0.36400591322853365x16 + 0.24573014182009328x17 + 0.29321080775633857x18 + 0.017653716875191836x19 <= 7.802359373197679 + 1000*z5
0.1765623749959767x0 + 0.25354994632357064x1 + 0.39576532485890015x2 + 0.1178365439567933x3 + 0.03886590922783398x4 + 0.25082490122820683x5 + 0.09840053599116456x6 + 0.15090871194693908x7 + 0.22694927822376473x8 + 0.3585275122847258x9 + 0.2096386815251709x10 + 0.025096142157535795x11 + 0.3387038269186477x12 + 0.3712776694229522x13 + 0.07904939819536914x14 + 0.15672066332475837x15 + 0.11074395073542623x16 + 0.19438718046708572x17 + 0.06269491875711991x18 + 0.274149145294353x19 <= 7.643931080574265 + 1000*z6
0.2794648199455257x0 + 0.10115001995989681x1 + 0.2223278287980076x2 + 0.3542480626691905x3 + 0.2610516945182626x4 + 0.20436450649961369x5 + 0.13069815877937152x6 + 0.012846511577276735x7 + 0.3049944510625657x8 + 0.12417822828321899x9 + 0.3290367890766952x10 + 0.25330532664550415x11 + 0.0033223738580201614x12 + 0.0016831555210875587x13 + 0.14609482793764392x14 + 0.282199088056946x15 + 0.20678107541124008x16 + 0.31027053505868035x17 + 0.15064798498559565x18 + 0.2569071445094379x19 <= 7.987743925731708 + 1000*z7
0.2732332311910217x0 + 0.2681436055602817x1 + 0.13131369371148446x2 + 0.09636996982864074x3 + 0.19530170407910566x4 + 0.1263092560761401x5 + 0.13292830591145838x6 + 0.14042322644317562x7 + 0.18376561751475173x8 + 0.3012258789648947x9 + 0.22528019607716754x10 + 0.3329561648322973x11 + 0.2739102348222528x12 + 0.3039903528877321x13 + 0.013047211620748102x14 + 0.16396897863292753x15 + 0.2517830429466031x16 + 0.300288309851294x17 + 0.11607215401317021x18 + 0.2962691707920521x19 <= 7.983132111756749 + 1000*z8
0.02657896214743832x0 + 0.13942501059785942x1 + 0.27625150992347364x2 + 0.2535617168742879x3 + 0.3029638132685117x4 + 0.012280201181351038x5 + 0.31940416268521576x6 + 0.2601257026042396x7 + 0.2164414607009484x8 + 0.1309711484325156x9 + 0.23176590718979453x10 + 0.3292647793494059x11 + 0.3345201304457162x12 + 0.07867362778967169x13 + 0.09149383790720951x14 + 0.04122333587535178x15 + 0.3032270547797963x16 + 0.1801938280665001x17 + 0.045267977644141325x18 + 0.3112282678589594x19 <= 7.724123053668998 + 1000*z9
0.052402606523998946x0 + 0.08498434040457405x1 + 0.31847689424484094x2 + 0.3341609933157749x3 + 0.05859956728016058x4 + 0.11192263024441247x5 + 0.04768338682976905x6 + 0.3514023989477832x7 + 0.31950346297069065x8 + 0.025090928827792503x9 + 0.0948937059467154x10 + 0.16948170500226933x11 + 0.36046206691339905x12 + 0.07078721592186642x13 + 0.017611449233055167x14 + 0.21781898470188724x15 + 0.39734522027413305x16 + 0.2874330792177517x17 + 0.2624348549258776x18 + 0.05205432660169927x19 <= 7.193475035531424 + 1000*z10
0.08132534579332316x0 + 0.30153950907720506x1 + 0.12007502584071887x2 + 0.32356280141752997x3 + 0.2913651889585601x4 + 0.021905224108049796x5 + 0.20556189629071644x6 + 0.3377787920232827x7 + 0.04217439381442652x8 + 0.10798269232654416x9 + 0.007642019152748648x10 + 0.24167228324313517x11 + 0.41386134402864344x12 + 0.2751611809010937x13 + 0.013581933679939345x14 + 0.20564781173394084x15 + 0.33992047171742784x16 + 0.1721991666572024x17 + 0.17341704330174043x18 + 0.0705714698045922x19 <= 6.5941402801926765 + 1000*z11
0.052314795687196713x0 + 0.2767694764017464x1 + 0.24684195179941182x2 + 0.3072993768042536x3 + 0.3484364238373615x4 + 0.11673219454366172x5 + 0.07914586242936011x6 + 0.2710721890853218x7 + 0.12790507656042224x8 + 0.15567795511459243x9 + 0.26725318112489616x10 + 0.2532598577956757x11 + 0.1998746490972746x12 + 0.1287444906002918x13 + 0.3496775368539489x14 + 0.1585188612818169x15 + 0.16914608912064383x16 + 0.3486299870364512x17 + 0.14138836005497823x18 + 0.01696172832561366x19 <= 8.380126831229937 + 1000*z12
0.0805570757533025x0 + 0.12286223680161464x1 + 0.1390743988223229x2 + 0.17614420306834883x3 + 0.07983155739880879x4 + 0.1496759005428712x5 + 0.29732156674815585x6 + 0.3693440029982239x7 + 0.297474264608789x8 + 0.025708700296099195x9 + 0.0036122171033634454x10 + 0.44869047021124353x11 + 0.2142161698174933x12 + 0.17448965612826697x13 + 0.4435907070576943x14 + 0.038092918152408506x15 + 0.11443679514907981x16 + 0.26715454801284483x17 + 0.06082380333127011x18 + 0.14574627869425877x19 <= 8.150490793481609 + 1000*z13
0.28397888363847446x0 + 0.14527498905210584x1 + 0.08512763977583519x2 + 0.2941489864486669x3 + 0.28356475655785707x4 + 0.30695571042419784x5 + 0.32119281435612407x6 + 0.15681505682512115x7 + 0.18120003070650947x8 + 0.26862492336836746x9 + 0.28654275071526625x10 + 0.17510805583665076x11 + 0.05921424760669107x12 + 0.18436797527466736x13 + 0.17066262683244318x14 + 0.24772783425859554x15 + 0.328024529111233x16 + 0.2079816110396685x17 + 0.05529648509137884x18 + 0.049244814791221427x19 <= 7.778960943269158 + 1000*z14
0.07981062231432848x0 + 0.10579043567851026x1 + 0.2053755626071361x2 + 0.014822483540210077x3 + 0.38795976839525137x4 + 0.3262976362854767x5 + 0.31689720188578097x6 + 0.03522679096466751x7 + 0.043934586022029036x8 + 0.4043550156618008x9 + 0.1593312163102234x10 + 0.15305561090334832x11 + 0.24144613120334327x12 + 0.13861822180176x13 + 0.14488541232175126x14 + 0.06854784650921894x15 + 0.23200596398285464x16 + 0.1003029088074332x17 + 0.33729525005136257x18 + 0.2937500341919809x19 <= 7.090094564658066 + 1000*z15
0.36460249655598953x0 + 0.03374745794078912x1 + 0.05407087331944945x2 + 0.3312176007590386x3 + 0.32244105468669626x4 + 0.1686243622119694x5 + 0.005267981546578343x6 + 0.10890553706765325x7 + 0.11959570590887737x8 + 0.09511364236512868x9 + 0.22981330882029916x10 + 0.10522098056094167x11 + 0.09074994240554199x12 + 0.277326574138806x13 + 0.3449362881250668x14 + 0.21564161483203562x15 + 0.3759288870297167x16 + 0.23989757172422774x17 + 0.13613617640400386x18 + 0.23181260223005276x19 <= 7.495717644247941 + 1000*z16
0.263401913899879x0 + 0.015619284458736352x1 + 0.32542691594810963x2 + 0.09811542891525708x3 + 0.3415407022644333x4 + 0.13007658661637725x5 + 0.1863052737263091x6 + 0.3699951444773855x7 + 0.08528796891195282x8 + 0.14826243140167325x9 + 0.3024628207574235x10 + 0.1793220401208159x11 + 0.13189176735305583x12 + 0.06370442877441489x13 + 0.3094548151925063x14 + 0.06582451281573432x15 + 0.006459508610621763x16 + 0.26222044365574654x17 + 0.11789924620986027x18 + 0.3905429868459206x19 <= 7.867716638036166 + 1000*z17
0.37086065671268226x0 + 0.036124785468732455x1 + 0.3955348820943676x2 + 0.18120343507352732x3 + 0.22414980279756064x4 + 0.06879466098413162x5 + 0.006151285528422749x6 + 0.16522006163852046x7 + 0.09083546618170546x8 + 0.20212088820369828x9 + 0.007513186948130305x10 + 0.21437602502684655x11 + 0.17541118066084732x12 + 0.15457601194356452x13 + 0.22572502765747623x14 + 0.260628062866806x15 + 0.29656329541330956x16 + 0.27831308745040956x17 + 0.29140457268937525x18 + 0.2656686780299111x19 <= 7.608149174399628 + 1000*z18
0.04524297904518327x0 + 0.4049152469009938x1 + 0.06911764753970658x2 + 0.4132392717043155x3 + 0.1412333553306782x4 + 0.34477422301042776x5 + 0.22482558713456274x6 + 0.10349785811158141x7 + 0.10908748790632362x8 + 0.09597855552202601x9 + 0.20437491419867693x10 + 0.25338173489582655x11 + 0.13945370639167198x12 + 0.1304386317569499x13 + 0.3635220811527917x14 + 0.21225664265318306x15 + 0.15347166952977068x16 + 0.01383846074138094x17 + 0.17548243136519762x18 + 0.25118324579957435x19 <= 7.545873922811962 + 1000*z19
0.1535546291389646x0 + 0.09360796641522633x1 + 0.5869674459996638x2 + 0.17036495195397597x3 + 0.24293250760192392x4 + 0.25723649513335334x5 + 0.0951032201007693x6 + 0.03614123472370653x7 + 0.023142859411446903x8 + 0.1377472844556277x9 + 0.2675582933095975x10 + 0.024992567792145128x11 + 0.10514720175199789x12 + 0.20967432925330415x13 + 0.28892549034933734x14 + 0.14036130298912483x15 + 0.11963361879725774x16 + 0.12185258596298387x17 + 0.09730173273822285x18 + 0.41233183907603127x19 <= 7.572692235429569 + 1000*z20
0.25214059929422056x0 + 0.07565862600790135x1 + 0.10471139126962185x2 + 0.025651788283206592x3 + 0.3145002193605824x4 + 0.35908135020812915x5 + 0.16975925008040027x6 + 0.002392398373230282x7 + 0.13990313362067874x8 + 0.22263771711537145x9 + 0.29876549072053715x10 + 0.2796851134070066x11 + 0.2595222890899399x12 + 0.08202328101711925x13 + 0.005570305233217439x14 + 0.0826972109322611x15 + 0.31173281542742826x16 + 0.3388027958096792x17 + 0.35582504583693725x18 + 0.07908229345389872x19 <= 7.37980641799873 + 1000*z21
0.31773609189587454x0 + 0.28908346881886327x1 + 0.10027192799510666x2 + 0.15302688041430973x3 + 0.21865889304502836x4 + 0.16701285918780873x5 + 0.18338860607932406x6 + 0.28095073618733796x7 + 0.3312642216586529x8 + 0.3447778937117254x9 + 0.011889047101774132x10 + 0.01792899355958214x11 + 0.2585686915059015x12 + 0.22283109810665377x13 + 0.2276936883699523x14 + 0.3059002033638284x15 + 0.042681774044370305x16 + 0.1173878954668675x17 + 0.10735887396446091x18 + 0.2749621056443731x19 <= 7.237550245546137 + 1000*z22
0.32823669484988427x0 + 0.13366378691412664x1 + 0.11799881095646779x2 + 0.08245261681462916x3 + 0.012326854527619736x4 + 0.04421357908591198x5 + 0.03390518281141116x6 + 0.23347922434835056x7 + 0.2731125954739192x8 + 0.08440243126350522x9 + 0.315347281679146x10 + 0.08905961985377554x11 + 0.2614859289270416x12 + 0.3813912824155828x13 + 0.12676863087969165x14 + 0.3099196385327479x15 + 0.32358163028517245x16 + 0.02177623527087073x17 + 0.024055934421661377x18 + 0.4184509431202716x19 <= 6.779728848763331 + 1000*z23
0.4143939205266709x0 + 0.20256414206114595x1 + 0.06076804471507365x2 + 0.3226349536186456x3 + 0.2505998927771913x4 + 0.13462928761662385x5 + 0.08607234653555575x6 + 0.32887990456199095x7 + 0.18512701106801918x8 + 0.12201681008949632x9 + 0.24858012525718978x10 + 0.05007893875385914x11 + 0.038054352587025844x12 + 0.38878261135375186x13 + 0.1045258063416461x14 + 0.16496630187853523x15 + 0.2550188187463901x16 + 0.29255670953054674x17 + 0.07755093193774362x18 + 0.14874725150190576x19 <= 7.355092503770109 + 1000*z24
0.03394087127097581x0 + 0.3563475863261477x1 + 0.002388209416690421x2 + 0.13375063933427647x3 + 0.310438681769403x4 + 0.27538269409186406x5 + 0.30122212286533206x6 + 0.15565451185620338x7 + 0.31666281072798824x8 + 0.1653419099286745x9 + 0.19469839835205088x10 + 0.32499335615904634x11 + 0.07054943572834893x12 + 0.15050597072911392x13 + 0.01162885166254164x14 + 0.030432051612072415x15 + 0.11945796837935106x16 + 0.2810653629684844x17 + 0.27145857283544667x18 + 0.31624174006202904x19 <= 7.849749173603571 + 1000*z25
0.249130576990908x0 + 0.15747878126936432x1 + 0.2485381076831755x2 + 0.21434963738156865x3 + 0.2091364342013181x4 + 0.09934444761083992x5 + 0.10857583484387423x6 + 0.39216929451650945x7 + 0.1342744754988465x8 + 0.24147025793618354x9 + 0.12869901757632807x10 + 0.30121790520590674x11 + 0.12471651191360142x12 + 0.05074400780236041x13 + 0.27503025825801386x14 + 0.25822175679231724x15 + 0.31964868099380866x16 + 0.2980973954288026x17 + 0.20837167626844746x18 + 0.0876700587601994x19 <= 8.165436571423433 + 1000*z26
0.005195782839022281x0 + 0.1738299012961504x1 + 0.22844418880671652x2 + 0.3665084036407367x3 + 0.06614716060982713x4 + 0.06061150355816694x5 + 0.10715823693881431x6 + 0.13945074946619904x7 + 0.06488567886080958x8 + 0.10051044358982454x9 + 0.3157497243554308x10 + 0.03762772235082723x11 + 0.20617207458282752x12 + 0.12415122957793373x13 + 0.3264178505780358x14 + 0.40927470620038925x15 + 0.33357091730767274x16 + 0.3233270844366122x17 + 0.28170723613348786x18 + 0.0411387793456904x19 <= 6.988545893616416 + 1000*z27
0.061024173943455794x0 + 0.32115568155187074x1 + 0.020824395147425744x2 + 0.17474571975628528x3 + 0.07609519499754087x4 + 0.2518699460089621x5 + 0.3165688534855956x6 + 0.11377565088162075x7 + 0.11863543183616407x8 + 0.3355264483868231x9 + 0.33938724272529014x10 + 0.17791937697401553x11 + 0.3320354994248881x12 + 0.3418473817177244x13 + 0.20800329956361355x14 + 0.21799414440770995x15 + 0.11779927962735096x16 + 0.18470660638112735x17 + 0.030999465468232595x18 + 0.19858526961153602x19 <= 7.372062874832784 + 1000*z28
0.17880782622181057x0 + 0.17475607052062045x1 + 0.4074500426182879x2 + 0.22907666837554463x3 + 0.03997034892568642x4 + 0.027856724507305274x5 + 0.2002764179772923x6 + 0.09327238461625453x7 + 0.30897806992501425x8 + 0.23105278871993026x9 + 0.32569408883809625x10 + 0.2645685656366528x11 + 0.09516590594049698x12 + 0.3810613433014272x13 + 0.1492842907030566x14 + 0.00934246207544282x15 + 0.0581270784057632x16 + 0.03695520561781638x17 + 0.16030441848182148x18 + 0.36852012053956756x19 <= 7.572108055111569 + 1000*z29
0.15322533076572656x0 + 0.0718556613417265x1 + 0.010013847447294413x2 + 0.11117182999548145x3 + 0.08329137611175745x4 + 0.2916448235411218x5 + 0.0847457214328122x6 + 0.2737900594083629x7 + 0.0679865439949894x8 + 0.2794331136009876x9 + 0.05473548011726773x10 + 0.3379455995363958x11 + 0.32457578696306594x12 + 0.2819996242841753x13 + 0.2506131374294784x14 + 0.3413357672385978x15 + 0.2876040791068798x16 + 0.3027866725055323x17 + 0.1211417637422883x18 + 0.17774307291060087x19 <= 7.660639893664937 + 1000*z30
0.2656587125917347x0 + 0.2280046674976782x1 + 0.03720463840362087x2 + 0.30000064679433514x3 + 0.05950559332129706x4 + 0.3052026883154462x5 + 0.20806997049307246x6 + 0.24135581130319092x7 + 0.2888105175169166x8 + 0.18623797079290347x9 + 0.27894410001066255x10 + 0.16819425774417887x11 + 0.02529277622344173x12 + 0.2763343784253137x13 + 0.2358785584948968x14 + 0.13688129461636803x15 + 0.16977260912751369x16 + 0.24393142141722535x17 + 0.16862408376831198x18 + 0.30901333095744415x19 <= 8.254292682243223 + 1000*z31
0.16011867518116377x0 + 0.010224362729016107x1 + 0.23544763942784602x2 + 0.27239077042180526x3 + 0.062473408764489625x4 + 0.24104907432151496x5 + 0.33534948670093034x6 + 0.14444767030204952x7 + 0.13435380011754647x8 + 0.2835235870694653x9 + 0.11928481873521232x10 + 0.3156493106084936x11 + 0.29260959810400783x12 + 0.25157655612530344x13 + 0.32048186236847687x14 + 0.2289705421740908x15 + 0.10859107280596976x16 + 0.27366111163707335x17 + 0.1313849874272735x18 + 0.17029833146761958x19 <= 8.000068484380913 + 1000*z32
0.05182079070033881x0 + 0.13739159755496133x1 + 0.1994261080924541x2 + 0.1704340762894612x3 + 0.13718180033502134x4 + 0.1538520685058114x5 + 0.02895487132792775x6 + 0.021346935182089972x7 + 0.034899838422974984x8 + 0.3739031259588014x9 + 0.007545058073986206x10 + 0.23424377993751527x11 + 0.024904266513377505x12 + 0.3273813101006449x13 + 0.20731084818564444x14 + 0.1871195873428671x15 + 0.4022516978164643x16 + 0.16479363428316662x17 + 0.3847625538947958x18 + 0.38352540698601234x19 <= 7.038725716408631 + 1000*z33
0.2555440453521122x0 + 0.23781956653710168x1 + 0.07340079813567565x2 + 0.15633686950305495x3 + 0.06910932239381111x4 + 0.2364426790164996x5 + 0.28675952868856985x6 + 0.014207715506401307x7 + 0.2632483940993948x8 + 0.19638589816164284x9 + 0.2993011701240872x10 + 0.3366022644273457x11 + 0.19688477698745932x12 + 0.34753493957859855x13 + 0.13198329841763165x14 + 0.3208728991184006x15 + 0.027806018057037942x16 + 0.1872432985605738x17 + 0.1489604053427539x18 + 0.2376995468178137x19 <= 7.71546317915506 + 1000*z34
0.3192488489904879x0 + 0.14381574247293286x1 + 0.2732066930366096x2 + 0.2542262992601593x3 + 0.20490312593603835x4 + 0.030735976879954132x5 + 0.25378210226047576x6 + 0.31885036578985265x7 + 0.28908447202841125x8 + 0.18258988327442413x9 + 0.016558267177484612x10 + 0.26423086401965984x11 + 0.20240521173733064x12 + 0.09921155948751931x13 + 0.3554832368409904x14 + 0.3604938206900727x15 + 0.018202480506092567x16 + 0.12212508165288043x17 + 0.11157145524532523x18 + 0.08540131991940622x19 <= 7.4628023174124465 + 1000*z35
0.0041385587435114985x0 + 0.3814618501578344x1 + 0.2509782013423383x2 + 0.24539116087739704x3 + 0.26458055677967135x4 + 0.26752227577821125x5 + 0.31830960221250065x6 + 0.015216302796367083x7 + 0.33545318429850485x8 + 0.02991693550702556x9 + 0.07807081454343535x10 + 0.15964241741883983x11 + 0.3139830075310794x12 + 0.04213914829386726x13 + 0.22447235956468659x14 + 0.36169431748550956x15 + 0.0327874532098399x16 + 0.16754440104747834x17 + 0.047413485153219324x18 + 0.17369173349450254x19 <= 7.513581304411456 + 1000*z36
0.015675166800879294x0 + 0.005399467566930668x1 + 0.3455537087717749x2 + 0.28492150717422243x3 + 0.3259990920469657x4 + 0.13347850124385063x5 + 0.1762916860293572x6 + 0.33575332831085763x7 + 0.3246732718729979x8 + 0.19187539061018974x9 + 0.03579614944171314x10 + 0.06072461430336559x11 + 0.24353885504076722x12 + 0.0832145886625707x13 + 0.15835228827632894x14 + 0.02067934299481566x15 + 0.05546526345470689x16 + 0.35096285854998605x17 + 0.2754199551748658x18 + 0.3003204758536821x19 <= 7.613534363554862 + 1000*z37
0.03681415892043103x0 + 0.4111980140507236x1 + 0.25883025591711817x2 + 0.2672606120726175x3 + 0.16649434288474965x4 + 0.19445813682508065x5 + 0.11449395074115308x6 + 0.263399565864945x7 + 0.419290856879467x8 + 0.000896204898693225x9 + 0.3124178184872127x10 + 0.19103160025261232x11 + 0.16033872473068925x12 + 0.20681276508269425x13 + 0.24242858220693284x14 + 0.24523354091577737x15 + 0.027053661031809985x16 + 0.0763991918385453x17 + 0.05985386317002785x18 + 0.18886793950015518x19 <= 8.18469514101324 + 1000*z38
0.03660708256581998x0 + 0.05659058573565107x1 + 0.17640263760198413x2 + 0.14337353573909534x3 + 0.1641634308180659x4 + 0.3006212578813818x5 + 0.44742299552549103x6 + 0.3270511788811619x7 + 0.1623100738649186x8 + 0.01122272458244908x9 + 0.13569281773002356x10 + 0.3852483950501342x11 + 0.2785327397693545x12 + 0.01409392597829524x13 + 0.34310222906885723x14 + 0.05307809093924005x15 + 0.04659977772488741x16 + 0.10876600286080952x17 + 0.17630318629447658x18 + 0.28742244329253347x19 <= 7.639120464721419 + 1000*z39