MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics


pooling_sppc3stp - point p4

Solution found by BARON
Formats gdx sol
Added to library 04 Aug 2018
Objective Value -87023.741050
Infeasibility 2.685e-10


Variables with value 0.0 are omitted in the following.
objvar                       -87023.741054792801151
x14                               0.000000000000000
x24                              74.109976907567798
x25                               0.000000000000000
x26                              28.349868421821999
x27                               0.000000000000000
x28                              40.274690605123297
x29                               0.155126115919884
x30                               0.481943301476386
x37                              42.266321265370102
x40                               1.193509905266590
x44                               0.540168829363360
x48                               0.007700920039201
x52                               0.000000000000000
x56                               0.021097413100106
x64                              89.304917170729297
x69                               5.319616065373490
x71                               0.107416422523762
x72                               2.748159487523330
x73                               3.497711425447800
x74                               0.000000000000000
x75                               0.290354903231587
x76                               0.622296643758461
x77                              84.054135623859494
x78                               0.000093436420793
x79                               0.753112907811576
x83                               0.000000000000000
x94                             114.184120898382005
x95                              81.234415580580603
x96                              40.001616709218901
x97                               0.579846811818681
x100                              0.000000000000000
x104                              6.000000000000000
x105                              0.000000000000000
x112                              0.000000000000000
x122                              0.000000000000000
x128                              0.416025685144509
x131                              9.954118865363791
x138                              0.067786929748442
x145                              0.000357658020245
x146                             93.815345745154005
x151                              2.826043134115610
x154                             79.210252525407100
x155                              4.995608867990950
x156                             81.646469156916694
x159                              0.942799054961502
x161                             32.956321287862998
x163                              1.930518377853720
x169                              0.227214630120136
x171                             27.333396078136101
x178                              0.652905426284904
x180                              0.083429147420964
x183                             39.538372896594304
x195                              0.000000000000000
x201                              4.932499046243110
x212                             47.807237700025098
x216                             51.510622852056599
x217                              0.000000000000000
x218                             23.567761414426300
x221                              0.098122206854684
x222                             52.279742919491397
x224                              6.045211697196480
x226                              0.177693462877912
x235                             11.806548157378600
x238                             70.007571072300394
x240                              0.624473322421592
x248                              0.000000000000000
x250                             89.871411568523598
x252                              0.000000000000000
x256                              4.840187397501950
x259                              0.420344906030055
x261                             17.734505592626100
x264                             45.093350052687299
x268                              6.902440864408700
x269                              6.971761088720270
x272                              0.400988133260238
x274                             25.090210123265500
x277                              0.097094979577717
x279                              0.092461216600691
x281                             93.397964472595106
x285                              2.607383180509930
x286                              0.000000000000000
x295                              0.476838584962332
x296                              1.199750545457000
x298                              1.373354433902040
x302                              0.391462433470846
x303                              0.839650178827340
x306                              0.762090020950953
x321                             48.378558390967797
x325                             52.573704999005699
x328                              0.290700643728862
x329                              0.035376485471360
x330                              1.713657779408500
x333                              1.537131205410360
x334                              0.000440812279430
x336                              1.238219375916520
x337                              0.000000000000000
x338                             12.202052203403600
x343                              0.097529792125778
x347                              0.094684300241872
x351                              0.416416603559260
x353                              0.205452988054752
x355                             29.479045390963400
x356                              2.566675153584740
x358                              0.140195771470298
x359                              0.000000000000000
x362                             14.994574875781099
x369                              0.181790946896650
x370                              0.504208599235204
x371                              0.058323964851624
x376                             78.714912843657700
x377                             34.546188769577803
x378                              0.000219267079879
x380                              1.130477327635690
x385                              0.000094797080213
x386                             18.621638313534600
x388                              0.001476334616233
x389                             36.972736300828601
x393                              1.567385844726970
x396                              0.116321028828130
x408                              1.345231914243560
x411                              0.847583774856722
x413                              0.030318820703877
x415                              0.910794491468760
x416                              0.693515321397507
x420                             26.793739859126902
x421                             85.289344831908593
x424                              0.579566475869109
x432                              0.509570862449110
x442                              0.030635941127062
x443                              5.667194142552230
x451                              0.000000000000000
x452                              1.509783017491550
x454                             11.237265102491101
x456                              0.288500327804424
x457                             11.818595099531700
x458                              0.347791690098605
x461                              0.385787627962735
x463                             72.409775173136893
x464                              0.017468693527547
x467                              0.459836357367751
x468                              0.246948003991911
x470                              2.956323299181580
x471                             40.813226010787098
x472                              0.362843143945864
x476                              0.850626135353188
x483                              0.001592108341362
x484                              0.274116361116518
x494                              0.828647893256021
x496                              0.001202666854045
x504                             20.703946849950199
x513                             17.178946037848402
x535                              0.588554183839709
x537                              0.000000000000000
x538                              0.169589114265412
x552                             72.167721092754107
x555                              0.195641918636207
x565                              2.491489644879870
x568                              0.063815735426635
x572                              2.088515783225950
x574                             44.759016971284503
x575                              8.235908007746371
x577                              4.920144975742250
x579                              7.300620007239110
x580                              0.320931168365523
x582                             93.451162292306904
x583                              0.000000000000000
x586                              0.815475801701336
x589                              0.004163705326878
x594                             29.356792476937301
x597                              0.163431435556976
x599                             53.245910247011302
x600                              0.414226333466154
x614                              0.000000000000000
x615                             39.328414410175398
x620                              0.919633804685567
x626                              8.488300101722411
x629                              0.260185143051221
x630                              0.000000000000000
x631                              7.114389044820130
x632                              0.967134372754757
x634                             14.875271017865501
x638                              0.000000000000000
x639                              0.329213793084426
x640                              2.166497036889300
x645                              8.365465046252631
x648                             53.923496096118399
x650                             51.874731014791500
x651                             93.902408409726505
x652                              0.980803434637268
x654                              0.018155462138494
x656                              0.013472717137343
x657                              0.050360157471657
x658                              0.217815644956318
x663                             91.204604577951201
x666                              0.000013287856012
x667                             34.039693773990798
x680                              0.086557675312472
x684                              0.000000000000000
x698                              0.006715589401803
x699                              0.000000000000000
x700                              0.326913539839653
x703                              0.000000000000000
x708                              0.106123691264440
x716                              0.369592858476741
x721                              0.000000000000000
x724                              0.608473131955456
x725                              0.143491944599336
x732                              2.259333846024300
x736                              0.443230805700582
x743                              0.000861304747511
x746                              0.498410431170885
x755                              0.000000000000000
x758                              0.088481615629156
x768                              0.005684087424880
x775                              3.364171272533600
x777                              3.009485371833880
x778                              0.000000000000000
x782                             57.532177652578497
x787                              0.001220664707286
x790                              3.141023456091800
x791                              0.000078597043541
x792                             36.655678014025298
x795                             18.234641541539801
x796                              0.445745242779644
x801                              0.012727827797310
x812                              0.691629909934704
x823                             37.658382109075397
x834                              0.409285997865613
x835                             36.305234045647900
x838                              0.007632117361476
x843                              0.430008582089507
x846                             53.360446945507903
x847                              0.000000000084333
x852                              2.560982059843780
x854                             55.626937374463999
x855                              1.235639114037740
x865                              0.255879658431696
x866                              0.022042399749113
x872                             18.486438827781502
x878                              0.452153712139630
x881                              0.051799457136233
x886                              0.000000000000000
x900                              0.011621876935871
x902                              0.483088938857787
x904                             21.890434845536198
x910                             11.822987315683100
x912                              0.081920478655048
x915                              0.123542906894887
x937                              0.000000000000000
x938                              0.945418439868623
x941                              0.920675923721105
x946                              1.157239864395070
x949                              0.000529634058412
x951                             34.539819062206199
x954                             12.392232008156901
x965                              0.000000000000000
x966                             27.250663959372201
x977                              0.355806815099845
x981                              0.128026466657925
x983                              0.176449191027181
x984                             29.155611853173401
x985                             38.367554500609103
x986                              3.954290033361620
x991                             41.961805325718998
x993                              3.697554806203580
x996                            134.703797308813989
x999                              0.878709039967666
x1003                             1.309763887048900
x1005                            50.448369632247100
x1007                             0.000000000000000
x1010                             0.066113000166311
x1015                             0.496745950827694
x1017                             2.696592486228320
x1018                            61.466494985352497
x1022                             1.706357514045380
x1023                            32.313586845302702
x1026                           183.817851177795006
x1027                             0.182148822205163
x1036                            15.278742776426000
x1037                             0.555717274957756
x1040                             3.877799150423200
x1045                            81.344206322241106
x1049                            42.943534475951900
x1060                             0.000000000000000
x1070                            97.893393300798394
x1071                             4.805313626145180
x1074                             0.059025847652341
x1077                             0.242267225404134
x1098                            35.189857088623498
x1099                            28.713770291490800
x1101                             0.096372619885639
x1106                             0.000000000000000
x1112                             0.000000000000000
x1115                            74.949363069437197
x1118                             0.000000000000000
x1121                             1.399886831291440
x1123                             0.018342456331444
x1128                             0.030271728965473
x1129                             0.985550586102645
x1132                           109.410758638415999
x1136                             0.000000000000000
x1146                             0.000000000000000
x1164                             0.001753281227954
x1166                             0.000835047500163
x1167                             0.000560707170471
x1169                           144.068158513986987
x1170                             0.538989651366261
x1172                             0.000000000000000
x1174                             0.389702798748393
x1176                            54.369315205122298
x1178                             0.001431989235377
x1187                             1.453736356105710
x1188                             0.483677165210802
x1190                            18.691839284325798
x1207                            35.366079171236002
x1208                            51.501587758510297
x1213                            60.478844125917398
x1214                             0.653488944336311
x1217                             2.319678794197930
x1220                             0.015261317666945
x1225                             0.002268014184976
x1227                             2.945776025768390
x1229                             0.064361099666920
x1230                             0.002589634592210
x1231                             0.000000000000000
x1248                             0.000000000000000
x1255                             0.000000000000000
x1259                             1.934411513228930
x1267                            60.065588486771098
x1269                            61.073544808120403
x1270                             0.156687887010764
x1272                             8.810691279824370
x1274                             0.636421192349229
x1275                             0.756781869931844
x1278                            36.565872962763500
x1279                             0.000000000000000
x1282                             0.000000000000000
x1307                             1.149052822170390
x1309                           167.850947177829994
x1335                            35.165949723810101
x1342                            26.379676107804300
x1343                             0.000000000000000
x1344                             1.631680676543870
x1365                             4.846466140204110
x1366                            67.922595456885404
x1368                            64.315355094855093
x1369                            13.375687904549100
x1372                             0.255135137338409
x1373                             0.912721704184059
x1381                            46.203017385185703
x1382                             0.000075054655703
x1383                             2.610310529885180
x1385                             0.056804772866598
x1386                             1.603177262093250
x1387                            18.699509718867500
x1390                            17.615084605483201
x1391                             0.000000000000000
x1393                             1.247327417715780
x1396                             0.754455124520717
x1397                             0.000000000000000
x1404                             0.000000000000000
x1412                            43.439282775135702
x1413                             0.058564082221369
x1416                             0.462461904706379
x1417                             4.344139100678460
x1418                            38.319968711806297
x1419                            51.336697299246303
x1420                             0.000000000000000
x1422                            37.038886126205398
x1426                             0.521551630492205
x1432                            94.478448369507802
x1435                             0.000000000000000
x1437                             0.067864214565613
x1438                             0.056206858272654
x1440                             0.010731159888136
x1441                            41.695142148665298
x1442                             0.007683861811815
x1447                             0.000000000000000
x1449                             0.083473265414589
x1450                             0.002169070928625
x1451                            54.076729420453297
x1454                             1.000000000000000
x1456                             0.931384640901741
x1458                             1.000000000000000
x1461                             1.000000000000000
x1463                             1.000000000000000
x1465                             0.068615359098259
x1467                             0.988133025434237
x1468                             1.000000000000000
x1469                             0.262498781683537
x1470                             1.000000000000000
x1471                             0.238311778728540
x1472                             0.001632906483367
x1473                             0.005020242723712
x1476                             0.377901497389352
x1479                             0.011051017641357
x1481                             0.000102748305307
x1483                             0.827978018939739
x1489                             0.000120556646286
x1492                             0.485352810710486
x1497                             0.994332861735798
x1499                             0.001732522943932
x1500                             0.043499155621016
x1501                             0.023067720440716
x1502                             1.000000000000000
x1503                             0.003056367402438
x1504                             0.006482256705817
x1514                             0.675645685789241
x1515                             0.914907460820003
x1516                             0.228580666909822
x1517                             0.006040070956445
x1519                             0.080054049217753
x1521                             0.771067898039028
x1527                             0.000000000000000
x1540                             0.002377289629397
x1547                             0.000004768773603
x1548                             0.633887471251041
x1553                             0.044731934460391
x1556                             0.514942520122860
x1558                             0.013313919847267
x1562                             0.427084313720876
x1569                             0.007353386386479
x1585                             0.079556436229728
x1590                             0.331994706250174
x1594                             0.294346416297466
x1596                             0.001233982381097
x1599                             0.000792793736960
x1602                             0.004144564544477
x1605                             0.069861231700465
x1608                             0.400043263270288
x1610                             0.488431584611541
x1612                             0.972554565962612
x1614                             0.000058353200422
x1616                             0.044816549976870
x1619                             0.004424683221369
x1621                             0.437799515074634
x1622                             0.001017825466845
x1625                             0.077739152793518
x1626                             0.039838634792687
x1628                             0.648596975504133
x1632                             0.023312509314356
x1633                             0.000355668268184
x1634                             0.001155649199633
x1637                             0.006362143258250
x1638                             0.010726921909790
x1640                             0.022150877966162
x1644                             0.004077733681988
x1646                             0.217836841399103
x1649                             0.158672848991221
x1655                             0.432550766428913
x1659                             0.355227736479768
x1662                             0.004688720060143
x1663                             0.000327560050661
x1664                             0.027124578018881
x1667                             0.016180328478004
x1670                             0.000872009993332
x1674                             0.000639758785418
x1678                             0.002746304834610
x1680                             0.145578396852244
x1687                             0.002877472259324
x1688                             0.003325300917149
x1689                             0.000613936472122
x1690                             0.000001512186758
x1692                             0.007638360321863
x1699                             0.001040021692355
x1701                             0.005813388481891
x1708                             0.011308752204758
x1710                             0.005667138264202
x1712                             0.006006771329168
x1713                             0.003962944693700
x1716                             0.007732773864031
x1724                             0.003360665523802
x1730                             0.000297436321622
x1731                             0.075613639802407
x1739                             0.002415220070129
x1742                             0.002606673161910
x1744                             0.670460881232749
x1745                             0.000103365050459
x1748                             0.002627636327816
x1749                             0.002599452673599
x1751                             0.011349344417579
x1758                             0.000025200636579
x1759                             0.001807821977667
x1765                             0.000016035558054
x1776                             0.153596273271902
x1777                             0.002953116444310
x1794                             0.003363166764798
x1805                             0.475952590855397
x1808                             0.002059388617223
x1810                             0.013540704591738
x1813                             0.001029286055268
x1817                             0.033058006088783
x1821                             0.007550701867605
x1824                             0.000027460009932
x1840                             0.008928483540637
x1846                             0.055981100197372
x1849                             0.002738790979487
x1850                             0.015045118311731
x1855                             0.057692862387949
x1858                             0.869733808001910
x1860                             0.342118501909235
x1861                             0.978150087601318
x1863                             0.000093560535676
x1864                             0.000671922420808
x1865                             0.002904208599418
x1867                             0.002121377712818
x1870                             0.960048469241592
x1898                             0.001414982550193
x1900                             0.000005302409524
x1906                             0.003890451141860
x1908                             0.000779847524996
x1915                             0.013368839325588
x1919                             0.000005981282969
x1922                             0.006645472415612
x1923                             0.000050496520275
x1928                             0.000614455664091
x1938                             0.000033633653402
x1947                             0.000019321252753
x1950                             0.017948705463382
x1952                             0.000198872309333
x1963                             0.003952170913913
x1968                             0.502450995803482
x1977                             0.000041478898704
x1982                             0.006935622291766
x1985                             0.844614148573226
x1986                             0.000000000000556
x1990                             0.006715429967596
x2000                             0.004050183089047
x2001                             0.000229608330720
x2005                             0.002675465752306
x2008                             0.000545257443539
x2018                             0.292069658087097
x2024                             0.077973661345543
x2026                             0.000862320827948
x2038                             0.005138143694938
x2041                             0.012283972618528
x2046                             0.007632100658854
x2064                             0.003294507547221
x2068                             0.001347647017452
x2071                             0.407396168210864
x2073                             0.057774293846931
x2076                             0.928991705578026
x2079                             0.014172726451091
x2083                             0.027089765769204
x2084                             0.006331524913754
x2086                             0.000881506668884
x2091                             0.002838548290444
x2094                             0.999010060748885
x2095                             0.000989939251115
x2104                             0.106102380391847
x2105                             0.003859147742762
x2108                             0.026929160766828
x2113                             0.564890321682230
x2117                             0.298218989416333
x2118                             0.938686439344305
x2121                             0.061313560655695
x2138                             0.950421294182508
x2139                             0.046653530350924
x2142                             0.000573066482062
x2145                             0.002352108984506
x2152                             0.999996969186220
x2160                             0.000003030813780
x2166                             0.549841517009743
x2167                             0.448652660804544
x2169                             0.001505822185713
x2174                             0.000000000000000
x2180                             0.000000000000000
x2183                             1.000000000000000
x2186                             0.000000000000000
x2189                             0.012516332481369
x2191                             0.000163999172564
x2196                             0.000270658324693
x2197                             0.008811768592374
x2200                             0.978237241429000
x2204                             1.000000000000000
x2220                             0.952236238485905
x2229                             0.047763761514095
x2232                             0.000012091594676
x2234                             0.000005758948277
x2235                             0.000003866946003
x2237                             0.993573506993012
x2238                             0.003717170009422
x2240                             0.000000000000000
x2242                             0.002687605508610
x2244                             0.724924202734964
x2246                             0.000019093189805
x2255                             0.019383151414743
x2256                             0.006449028869477
x2258                             0.249224523791011
x2259                             1.000000000000000
x2275                             0.238959994400243
x2276                             0.347983701071016
x2281                             0.408640838688631
x2282                             0.004415465840110
x2285                             0.433590098495338
x2288                             0.002852617460198
x2293                             0.000423933044658
x2295                             0.550619042754044
x2297                             0.012030258505466
x2298                             0.000484049740297
x2299                             0.000000000000000
x2301                             1.000000000000000
x2316                             0.353026047307723
x2321                             0.100188560624574
x2325                             0.546785392067703
x2327                             0.031200185697241
x2335                             0.968799814302759
x2337                             0.565495785260374
x2338                             0.001450813768618
x2340                             0.081580474813189
x2342                             0.005892788818048
x2343                             0.007007239536406
x2346                             0.338572897803365
x2347                             0.000000000000000
x2350                             1.000000000000000
x2375                             0.006799129125269
x2377                             0.993200870874731
x2379                             0.367233490557784
x2398                             0.632766509442216
x2403                             0.556623124148638
x2410                             0.417549869815094
x2411                             0.000000000000000
x2412                             0.025827006036268
x2417                             1.000000000000000
x2433                             0.031962878710769
x2434                             0.447955606688659
x2436                             0.424165533089926
x2437                             0.088213860937687
x2440                             0.001682639103141
x2441                             0.006019481469819
x2449                             0.520364244834596
x2450                             0.000000845307546
x2451                             0.029398778359920
x2453                             0.000639767150609
x2454                             0.018055879735484
x2455                             0.210604345870164
x2458                             0.198390943214951
x2459                             0.000000000000000
x2461                             0.014048099594224
x2464                             0.008497095932507
x2465                             1.000000000000000
x2480                             0.248224473000775
x2481                             0.000334651898408
x2484                             0.002642639455465
x2485                             0.024823652003877
x2486                             0.218971249781750
x2487                             0.293352555995693
x2488                             0.000000000000000
x2490                             0.211650777864031
x2494                             0.005490017163076
x2500                             0.994509982836924
x2503                             0.000000000000000
x2505                             0.000706918901725
x2506                             0.000585488107007
x2508                             0.000111782915501
x2509                             0.434324397381930
x2510                             0.000080040227206
x2515                             0.000000000000000
x2517                             0.000869513181402
x2518                             0.000022594488840
x2519                             0.563299264796389
x2543                             0.000000000000000
x2730                            53.724115924425199
x2732                             0.001414995855543
x2741                             1.436484903742480
x2742                             0.477937380593205
x2744                            18.470023702951401
x2745                             0.000000000000000
x2752                             0.000000000000000
x2756                            16.031731105235700
x2757                             0.041130379441761
x2759                             2.312795726744590
x2761                             0.167059787629370
x2762                             0.198654318857378
x2765                             9.598497103913200
x2766                             0.000000000000000
x2769                             0.000000000000000
x2794                             0.273832821904468
x2796                            40.000857783218898
x2799                             0.000851645038841
x2805                             0.154274470881042
x2808                             0.000000000000000
x2810                             0.000340694829372
x2811                             0.000282172071265
x2813                             0.000053873027345
x2814                             0.209319733986442
x2815                             0.000038574851351
x2820                             0.000000000000000
x2822                             0.000419056053320
x2823                             0.000010889262547
x2824                             0.271478307394745
x2852                             0.529019329721649
x2854                             0.006931641714726
x2859                             0.011439731704635
x2860                             0.372441042241374
x2863                            41.346489519987699
x2890                             0.674924821093939
x2891                             0.001731560603449
x2893                             0.097367104765776
x2895                             0.007033101824023
x2896                             0.008363209795274
x2899                             0.404090107184133
x2900                             0.000000000000000
x2928                             0.000000000000000
x2931                             0.007700920039201
x2934                             0.000000000000000
x2976                             0.000000000000000
x3042                             0.005236894248510
x3043                             0.000007060289345
x3046                             0.000055752856166
x3047                             0.000523714840979
x3048                             0.004619726913664
x3049                             0.006188980057880
x3050                             0.000000000000000
x3052                             0.004465283893561
x3085                            89.216510727881797
x3086                             0.088406442847588
x3157                             2.306532853742670
x3160                             0.015174829669632
x3165                             0.002255161035004
x3167                             2.929081905734990
x3169                             0.063996356416272
x3170                             0.002574958774922
x3171                             0.000000000000000
x3189                             0.003351412329675
x3197                             0.104065010194088
x3200                             1.529689119606380
x3207                             1.147493636244160
x3208                             0.000000000000000
x3209                             0.070976731672785
x3217                             0.111796926047636
x3218                             1.566819443607130
x3220                             1.483608631373490
x3221                             0.308546629284375
x3224                             0.005885386022869
x3225                             0.021054409112291
x3233                             0.000000000000000
x3240                             0.000000000000000
x3249                             0.001594053402125
x3255                             0.288760849829462
x3258                             0.000000000000000
x3260                             0.000439913260201
x3261                             0.000364347283997
x3263                             0.000069562133104
x3264                             0.270278615003885
x3265                             0.000049808764726
x3270                             0.000000000000000
x3272                             0.000541095134788
x3273                             0.000014060474564
x3274                             0.350539241703196
x3275                             0.000000000000000
x3416                             0.776352582043385
x3418                           113.407768316337993
x3420                            42.271485318153303
x3421                             0.000068668064469
x3422                             2.388192578850950
x3424                             0.051971110570040
x3425                             1.466758838106100
x3426                            17.108320955487802
x3429                            16.116172328545499
x3430                             0.000000000000000
x3432                             1.141189160554460
x3435                             0.690256622248044
x3436                             9.929380226807339
x3437                             0.013386616971112
x3440                             0.105709850653329
x3441                             0.992986212782117
x3442                             8.759204004104721
x3443                            11.734576505588800
x3444                             0.000000000000000
x3446                             8.466373292311500
x3449                             0.000409904671377
x3450                             0.000339493412205
x3452                             0.000064816967169
x3453                             0.251841617117527
x3454                             0.000046411070563
x3459                             0.000000000000000
x3461                             0.000504184446067
x3462                             0.000013101342318
x3463                             0.326627282791454
x3480                             0.000000000000000
x3483                             6.000000000000000
x3486                             0.000000000000000
x3489                             0.000000000000000
x3599                             0.000000000000000
x3601                             0.000000000000000
x3688                             0.000000000000000
x3777                             0.103267756450195
x3778                             0.000139223785340
x3781                             0.001099405839940
x3782                             0.010327276832704
x3783                             0.091097664241979
x3784                             0.122042198097271
x3785                             0.000000000000000
x3787                             0.088052159897080
x3873                             0.000259274955178
x3875                             0.000000006828832
x3884                             0.000006932539561
x3885                             0.000002306546898
x3886                             0.000000000000000
x3887                             0.000089137149776
x3888                            22.418114493918900
x3889                            32.646211229655698
x3894                            38.336781567163598
x3895                             0.414238454415856
x3958                             1.573040958292730
x3965                             1.180013942739420
x3966                             0.000000000000000
x3967                             0.072988233083447
x4000                            18.120753691979100
x4001                            14.785941236129201
x4003                             0.049626359754754
x4008                             0.000000000000000
x4023                             0.000023343045739
x4025                             0.000011117755486
x4026                             0.000007465210325
x4028                             1.918111914998580
x4029                             0.007176065016797
x4031                             0.000000000000000
x4033                             0.005188471826792
x4076                            15.029035964630500
x4077                            12.263200879280200
x4079                             0.041159234225341
x4084                             0.000000000000000
x4173                             0.339748639089976
x4174                             0.000000551905881
x4175                             0.019194621916335
x4177                             0.000417707486644
x4178                             0.011788781854189
x4179                             0.137504720214405
x4182                             0.129530523344008
x4183                             0.000000000000000
x4185                             0.009172080453579
x4188                             0.005547800019888
x4407                             0.153894886194248
x4415                             4.778604160048860
x4482                             5.072461719931520
x4483                             0.184495193457747
x4486                             1.287408789841970
x4491                            27.005845883106002
x4495                            14.257026113687800
x4533                            12.786197211435701
x4534                             0.017238127725615
x4537                             0.136124004244766
x4538                             1.278681776182400
x4539                            11.279345462933000
x4540                            15.110772874630801
x4541                             0.000000000000000
x4543                            10.902263394904400
x4558                             0.018853699391417
x4559                             0.000685745326169
x4562                             0.004785135829054
x4567                             0.100377317405933
x4571                             0.052991564925340
x4694                             0.080274245445720
x4696                            11.726273911932900
x4733                            17.377592435458801
x4734                             0.023428166562266
x4737                             0.185004769541118
x4738                             1.737843581935470
x4739                            15.329645331901800
x4740                            20.536899913077200
x4741                             0.000000000000000
x4743                            14.817156873823700
x4764                            89.782444330662599
x4765                             0.088967237861028
x4788                             0.000000000000000
x4798                             0.000000000000000
x4842                             2.737105573157620
x4843                             0.007022210519499
x4845                             0.394864786073051
x4847                             0.028522202173197
x4848                             0.033916352495383
x4851                             1.638756273083200
x4852                             0.000000000000000
x4889                             0.002307700748516
x4895                             0.418037205281539
x4898                             0.000000000000000
x4920                            42.857680116095899
x4921                             2.103763975311810
x4924                             0.025841487478983
x4927                             0.106064473800569
x4984                             3.591783427942470
x4985                             0.000005834685353
x4986                             0.202923329117891
x4988                             0.004415954809756
x4989                             0.124629642132959
x4990                             1.453684043165320
x4993                             1.369381753593680
x4994                             0.000000000000000
x4996                             0.096966176707738
x4999                             0.058650702252589
x5000                             1.730561722131860
x5001                             0.002333113083584
x5004                             0.018423850936721
x5005                             0.173064571120562
x5006                             1.526615238776240
x5007                             2.045183935163830
x5008                             0.000000000000000
x5010                             1.475578657507480
x5029                             9.909746354295519
x5030                             0.360436543772999
x5033                             2.515128800577000
x5038                            52.759606195389601
x5042                            27.853046578560001
x5091                             0.032634874793587
x5093                             0.000427608684154
x5098                             0.000705709963470
x5099                             0.022975657218301
x5102                             2.550639329850410
x5106                             0.000000000000000
x5167                             0.476838584962332
x5170                             0.000000000000000
x5173                             0.015016476720417
x5175                             0.000196758096731
x5180                             0.000324722472676
x5181                             0.010571924175152
x5184                             1.173640663992000
x5205                             0.042848913365873
x5213                             1.330505520536160
x5260                             0.000276732193509
x5261                             0.000229196599130
x5263                             0.000043758812122
x5264                             0.170021685518619
x5265                             0.000031332742117
x5270                             0.000000000000000
x5272                             0.000340381745893
x5273                             0.000008844893584
x5274                             0.220510500965872
x5410                             0.605522121791135
x5412                             0.007934043548549
x5417                             0.013094059565195
x5418                             0.426300661373838
x5421                            47.325707504689099
x5468                            12.563012252162400
x5469                            18.294792444569801
x5474                            21.483762903762400
x5475                             0.232137398511141
x5504                             0.009069914066648
x5512                             0.281630729662214
x5514                             0.020005253431380
x5515                             0.000051324692211
x5517                             0.002886030481976
x5519                             0.000208466158007
x5520                             0.000247891507654
x5523                             0.011977519200133
x5524                             0.000000000000000
x5529                             0.953861546897489
x5536                             0.715537582698196
x5537                             0.000000000000000
x5538                             0.044258649812814
x5572                             0.008438876699602
x5578                             1.528692328710750
x5581                             0.000000000000000
x5608                             0.001220715304087
x5610                             0.000015994799035
x5615                             0.000026397250106
x5616                             0.000859409959120
x5619                             0.095407274813317
x5666                             0.022625759855589
x5667                             0.032948593231475
x5672                             0.038691871861496
x5673                             0.000418075293313
x5715                             0.013309873391620
x5716                             0.186536152282479
x5718                             0.176629570636649
x5719                             0.036733716358493
x5722                             0.000700678861166
x5723                             0.002506612028854
x5751                            14.251163259157000
x5752                             0.699549854065833
x5755                             0.008592888274085
x5758                             0.035268874284149
x5847                             0.101189044803733
x5854                             0.075906786210087
x5855                             0.000000000000000
x5856                             0.004695115882831
x5864                             0.016115958300930
x5865                             0.225863068967863
x5867                             0.213867909283665
x5868                             0.044478187256484
x5871                             0.000848401106236
x5872                             0.003035074320025
x5881                             0.000320199568054
x5887                             0.058003765283570
x5890                             0.000000000000000
x5892                             0.000000002651289
x5894                             0.000000001262748
x5895                             0.000000000847894
x5897                             0.000217857961523
x5898                             0.000000815053013
x5900                             0.000000000000000
x5902                             0.000000589303412
x5919                             0.270138855881427
x5920                             0.393387684447500
x5925                             0.461959203283572
x5926                             0.004991584023194
x6008                             0.001455912671388
x6010                             0.000019076552479
x6015                             0.000031483254789
x6016                             0.001024993988460
x6019                             0.113789562361014
x6131                             0.847583774856722
x6134                             0.000000000000000
x6152                             0.013145940455256
x6155                             0.000086487997312
x6160                             0.000012853149971
x6162                             0.016694120033400
x6164                             0.000364743250649
x6165                             0.000014675817288
x6166                             0.000000000000000
x6181                             0.029111613861324
x6182                             0.407995498993809
x6184                             0.386327631009025
x6185                             0.080344698613085
x6188                             0.001532538427313
x6189                             0.005482510564205
x6197                             0.172147475171590
x6198                             0.000232086218880
x6201                             0.001832710952194
x6202                             0.017215582997729
x6203                             0.151859916669125
x6204                             0.203444492153817
x6205                             0.000000000000000
x6207                             0.146783057234172
x6239                             0.000000000000000
x6242                             0.579566475869109
x6245                             0.000000000000000
x6355                             0.016287351669676
x6356                             0.228265124839088
x6358                             0.216142396518354
x6359                             0.044951213197950
x6362                             0.000857423859965
x6363                             0.003067352364077
x6447                             0.029117050814481
x6448                             0.001429274809201
x6451                             0.000017556431006
x6454                             0.000072059072374
x6464                             0.000000000000000
x6467                             5.667194142552230
x6470                             0.000000000000000
x6586                             0.036901526199966
x6587                             0.001342179515795
x6590                             0.009365738336032
x6595                             0.196464159698207
x6599                             0.103718086348605
x6632                             0.092187809417658
x6633                             0.134247806605908
x6638                             0.157648579846362
x6639                             0.001703432092807
x6659                            40.947422672051999
x6660                             0.105053098806322
x6662                             5.907223839739890
x6664                             0.426695513457587
x6665                             0.507392639415404
x6668                            24.515987409665801
x6669                             0.000000000000000
x6679                             0.000118771902944
x6681                             0.017349921624604
x6711                             0.114142637473986
x6712                             0.000153885109950
x6715                             0.001215181701701
x6716                             0.011414817714027
x6717                             0.100690941867874
x6718                             0.134894170773320
x6719                             0.000000000000000
x6721                             0.097324722726891
x6725                             0.001355748780303
x6731                             0.245592255211608
x6734                             0.000000000000000
x6756                             0.850626135353188
x6759                             0.000000000000000
x6844                             0.000886204318955
x6851                             0.000664784630664
x6852                             0.000000000000000
x6853                             0.000041119391743
x6861                             0.008761548002280
x6862                             0.122791960847143
x6864                             0.116270712441949
x6865                             0.024180862560259
x6868                             0.000461238908569
x6869                             0.001650038356318
x6952                             0.000871842310324
x6954                             0.000000022962747
x6963                             0.000023311473733
x6964                             0.000007756033262
x6966                             0.000299734073978
x7095                             0.215017400289175
x7097                             0.002817332935681
x7102                             0.004649624754601
x7103                             0.151376897146399
x7106                            16.805084782722499
x7358                             0.146093552115780
x7359                             0.000196960774938
x7362                             0.001555336508664
x7363                             0.014610064245063
x7364                             0.128876445199594
x7365                             0.172653874171064
x7366                             0.000000000000000
x7368                             0.124567950824606
x7509                             2.306688116124950
x7510                            32.327935285381400
x7512                            30.611059889178701
x7513                             6.366193312653900
x7516                             0.121432229580405
x7517                             0.434412259836568
x7555                             0.001074077491130
x7561                             0.194567841145077
x7564                             0.000000000000000
x7584                             2.489023221489070
x7585                             0.002466423390804
x7626                             0.001991062795717
x7634                             0.061824672630918
x7680                             1.162516180094800
x7687                             0.872059493391006
x7688                             0.000000000000000
x7689                             0.053940109740137
x7737                             0.461148128843892
x7738                             0.001183103521169
x7740                             0.066526903101463
x7742                             0.004805426685645
x7743                             0.005714234278663
x7746                             0.276098005270503
x7747                             0.000000000000000
x7777                             0.000133084008225
x7778                             0.001865155145793
x7780                             0.001766100289662
x7781                             0.000367296522694
x7784                             0.000007006013442
x7785                             0.000025063347062
x8017                             0.874039550823244
x8018                             0.042904163618631
x8021                             0.000527011309236
x8024                             0.002163078934456
x8092                             0.271310506343460
x8093                             3.802381621865290
x8095                             3.600444337797920
x8096                             0.748785724779133
x8099                             0.014282745760391
x8100                             0.051095165173960
x8137                             0.001428420900929
x8143                             0.258756722150293
x8146                             0.000000000000000
x8148                             0.229870492725838
x8149                             0.008360832149612
x8152                             0.058341947007250
x8157                             1.223833208091990
x8161                             0.646090556914609
x8216                             0.000101151812612
x8218                             0.000048176280514
x8219                             0.000032348801626
x8221                             8.311704443632680
x8222                             0.031095855784802
x8224                             0.000000000000000
x8226                             0.022483069940390
x8255                             1.682423091643330
x8263                            52.241073004475098
x8289                             1.658065735504640
x8290                            23.237576603514100
x8292                            22.003472934811501
x8293                             4.576070307913240
x8296                             0.087286450952403
x8297                             0.312258982095562
x8305                             0.066381387422132
x8306                             0.054978743343154
x8308                             0.010496684984686
x8309                            40.784106945050901
x8310                             0.007515970104374
x8315                             0.000000000000000
x8317                             0.081649381877389
x8318                             0.002121676918857
x8319                            52.895157620025003
x8333                             0.001429487358618
x8334                             0.000051993205929
x8337                             0.000362808965758
x8342                             0.007610607517647
x8346                             0.004017820089391
x8350                             0.000000000000000
x8353                             0.050360157471657
x8356                             0.000000000000000
x8359                             0.157899832763161
x8361                             0.000004158795452
x8370                             0.004221953626688
x8371                             0.001404699382547
x8373                             0.054285000388470
x8423                             0.500714844484497
x8429                            90.703889733466696
x8432                             0.000000000000000
x8666                             0.000000000000000
x8834                             0.076931632281165
x8836                             0.000002026239780
x8845                             0.002057011576470
x8846                             0.000684394748700
x8847                             0.000000000000000
x8848                             0.026448626418324
x8961                             0.002029071136388
x8967                             0.367563787340354
x8970                             0.000000000000000
x8990                             0.143349896305593
x8991                             0.000142048293742
x9005                             0.000000000000000
x9093                             0.015361502556209
x9095                             2.243972343468090
x9140                             0.000091386483954
x9141                             0.000003323902272
x9144                             0.000023194214014
x9149                             0.000486542715888
x9153                             0.000256857431383
x9189                             0.361309784451343
x9191                             0.000009516244963
x9200                             0.009660764854073
x9201                             0.003214263259470
x9203                             0.124216102361036
x9218                             0.000000000000000
x9255                             0.000000000000000
x9273                             0.009388110039175
x9274                             0.000341463627231
x9277                             0.002382735652126
x9282                             0.049982408315751
x9286                             0.026386897994873
x9425                             0.000038646844361
x9427                             0.005645440580519
x9560                             0.000679450202908
x9567                             0.000509688389615
x9568                             0.000000000000000
x9569                             0.000031526114763
x9606                             0.779678892077863
x9607                             0.001051149462514
x9610                             0.008300592532957
x9611                             0.077971673210036
x9612                             0.687793831756682
x9613                             0.921427259294644
x9614                             0.000000000000000
x9616                             0.664800057757106
x9631                             0.000000000000000
x9633                             0.006998288144312
x9634                             0.005710373807525
x9636                             0.000019165845473
x9641                             0.000000000000000
x9793                             0.171679469904829
x9794                             0.000231455262355
x9797                             0.001827728489500
x9798                             0.017168780199692
x9799                             0.151447065764772
x9800                             0.202891401882080
x9801                             0.000000000000000
x9803                             0.146384008431477
x9866                             0.000000000000000
x9869                            37.658382109075397
x9872                             0.000000000000000
x9990                             0.000000000000000
x9998                             0.007624562028935
x9999                             0.000007555332541
x10066                            0.013416347612600
x10074                            0.416592234476907
x10109                           29.701658684710502
x10116                           22.280647675434899
x10117                            0.000000000000000
x10118                            1.378140585362470
x10126                            0.000000000002696
x10127                            0.000000000037778
x10129                            0.000000000035771
x10130                            0.000000000007439
x10133                            0.000000000000142
x10134                            0.000000000000508
x10184                            1.234415906379730
x10185                            0.001223207658016
x10322                            0.142428534882578
x10329                            0.106842518066255
x10330                            0.000000000000000
x10331                            0.006608605482863
x10336                            0.000015582189022
x10337                            0.000012905562903
x10339                            0.000002463963709
x10340                            0.009573551987872
x10341                            0.000001764278684
x10346                            0.000000000000000
x10348                            0.000019166157132
x10349                            0.000000498036755
x10350                            0.012416467573037
x10396                            0.003074251473307
x10398                            0.449079460666323
x10436                            0.000284379908716
x10442                            0.051515077227517
x10445                            0.000000000000000
x10579                            0.000000000000000
x10582                           21.890434845536198
x10585                            0.000000000000000
x10662                            0.377896709539015
x10663                            5.296173455865130
x10665                            5.014903717484620
x10666                            1.042951358932910
x10669                            0.019893820796622
x10670                            0.071168253064774
x10695                            0.000449744833824
x10701                            0.081470733821224
x10704                            0.000000000000000
x10773                            0.000000000000000
x10869                            0.944482533047178
x10870                            0.000935906821445
x10910                            0.920675923721105
x10913                            0.000000000000000
x10937                            0.000000000000000
x10973                            0.036988717425016
x10974                            0.518392085538419
x10976                            0.490861263993813
x10977                            0.102084596469102
x10980                            0.001947217048895
x10981                            0.006965983919857
x11018                            0.000000000000000
x11208                            0.000000000000000
x11219                            0.000000000000000
x11220                            0.201207254305863
x11221                            0.000516209426353
x11223                            0.029026888917615
x11225                            0.002096694421402
x11226                            0.002493223582090
x11229                            0.120466544446524
x11230                            0.000000000000000
x11282                            0.000702867499280
x11288                            0.127323599158645
x11291                            0.000000000000000
x11329                           39.881393323907702
x11330                            1.957666358339700
x11333                            0.024046904159031
x11336                            0.098698739312586
x11357                            2.033069143869640
x11358                            1.658917802273870
x11360                            0.005567860060072
x11365                            0.000000000000000
x11396                            0.001628783718315
x11398                            0.000775752201415
x11399                            0.000520892310626
x11401                          133.838124297393989
x11402                            0.500716915511648
x11404                            0.000000000000000
x11406                            0.362030667677800
x11440                            0.027415885220835
x11448                            0.851293154746831
x11449                            0.000000000000000
x11476                            0.000000000000000
x11499                            0.000000000000000
x11509                            0.000000000000000
x11539                            0.047926913935980
x11541                            0.000001262308061
x11550                            0.001281478292707
x11551                            0.000426364646720
x11552                            0.000000000000000
x11553                            0.016476980982844
x11616                            0.000000000000000
x11624                            0.123304501859273
x11625                            0.000166236975471
x11628                            0.001312720449324
x11629                            0.012331048617682
x11630                            0.108773081676877
x11631                            0.145721694355578
x11632                            0.000000000000000
x11634                            0.105136666893488


Last updated: 2022-08-08 Git hash: 5d9a8776
Imprint / Privacy Policy / License: CC-BY 4.0