MINLPLib
A Library of Mixed-Integer and Continuous Nonlinear Programming Instances
Home // Instances // Documentation // Download // Statistics
pooling_sppc0stp - point p2
Solution found by BARON
| Formatsⓘ | gdx sol |
| Added to libraryⓘ | 13 Sep 2017 |
| Objective Valueⓘ | -58767.732050 |
| Infeasibilityⓘ | 8.311e-12 |
Variables with value 0.0 are omitted in the following.
objvar -58767.732053000501764 x2 0.122004221573102 x8 0.002807646039973 x9 31.059164366109499 x11 0.000336322536142 x14 34.008490933604001 x15 44.178955007670901 x17 49.815720216822399 x18 0.186253565093974 x19 59.810580276808700 x21 14.237314195839300 x24 0.000000000000000 x25 0.078907435088807 x26 0.014151562456579 x27 0.010733945735609 x30 0.005726818660005 x31 0.012329738478985 x33 0.080640984852108 x40 20.400949624687101 x41 83.168231652718703 x42 0.004851619106791 x45 0.004787705364726 x46 0.014858271432319 x47 0.304504517825047 x50 0.350651073781029 x55 30.329986136961601 x56 0.000000000000000 x59 0.057667020315729 x61 0.028212481446897 x63 0.003867340720633 x65 0.000116811258588 x70 1.344503881840680 x73 0.036099454515837 x75 28.848758868033400 x78 34.770120674875201 x80 25.833434396714001 x83 52.095679294635801 x84 83.479186378011903 x87 0.591699930638256 x91 0.530329030639023 x93 0.097962186655633 x99 0.131587458057206 x100 1.589397860744920 x101 25.762658914274301 x102 0.019222910693296 x103 36.353293607487700 x104 0.000151176134957 x105 0.000000000000000 x106 0.000704979808070 x107 0.000000000000000 x113 84.636888069925305 x115 14.016795132573700 x118 0.528241836487923 x119 0.099245829537206 x120 0.329239150623883 x122 0.036506706238893 x124 0.002378200884756 x126 0.000661935394533 x127 0.005089971518729 x130 0.090347373212237 x131 0.012808133544979 x132 15.211386821482900 x133 0.043548395863119 x134 0.072891351791333 x135 0.787737198273458 x137 0.003047696372815 x139 0.000112884131567 x141 0.009009441939584 x144 0.545058146789307 x145 12.339007753117400 x147 0.018223141606050 x148 14.529043836980600 x152 32.605045899942297 x154 78.429556345862906 x156 4.965397754194860 x171 37.900564242430399 x176 0.087414281530208 x179 0.012021476039377 x183 0.011683464884892 x184 62.708594597857498 x186 6.213237200707610 x187 0.123559528636749 x189 4.750114033593720 x190 0.062977503794584 x195 0.109211371376664 x204 0.668040592557527 x205 28.967746988434001 x206 37.543641708070197 x207 0.154442210120238 x208 0.795067136827170 x212 0.021148003525156 x213 0.080913812696357 x214 0.251546461195137 x216 3.622177377349150 x220 0.050233366597252 x221 10.324872323414100 x222 51.609190094859898 x223 34.942656005099003 x224 42.265625196106200 x225 14.611835821981201 x226 0.002938974916613 x227 0.083409031203998 x228 39.157394371825497 x229 0.000792336882976 x233 0.082072345497754 x235 0.068489724739722 x236 1.277314981446670 x240 0.926018695354980 x247 23.619622313442498 x251 0.014810823316460 x254 0.073337045208255 x256 0.000000000000000 x257 0.000548528243866 x259 36.566890645021601 x260 0.010749932573679 x261 22.025413580117199 x262 6.394935943770830 x267 0.002009898516593 x271 0.009529546793837 x274 0.000000000000000 x276 0.004190403764604 x277 0.202613192372963 x279 0.001955458777728 x280 0.009825427806481 x284 0.162349799782032 x285 105.813479017302996 x287 0.012390296331240 x288 9.093087078992950 x289 0.003759486431505 x290 15.797165272062800 x294 0.105988162512765 x296 3.111113891339500 x297 0.786578210120955 x298 24.938615452634100 x299 0.042184624671990 x300 24.408629600644002 x301 0.056313739817293 x303 0.000895489675095 x306 0.008398816322801 x308 0.000000000000000 x310 0.326030334799966 x312 0.144749254500326 x315 0.296381854824160 x316 0.017290793421319 x317 0.309671571760043 x318 0.004925245708372 x319 0.000059139759750 x321 0.649255325544297 x322 0.009100036260187 x323 0.056930585125602 x324 0.864319952938837 x325 2.357822719860560 x326 0.003522674333582 x327 0.769964182903924 x328 0.004984378367771 x329 0.674444562928594 x330 4.355184158263810 x331 0.410042592428776 x334 140.850273950806013 x335 40.047470938086001 x336 8.005026231208641 x340 0.005568794728979 x341 0.001547770207137 x344 37.142366311589903 x346 0.062635615841322 x348 0.685089809218402 x349 9.952858721711101 x357 0.000000000000000 x358 0.002002003752462 x359 0.000206814682001 x363 0.007478476820498 x364 0.000484767914629 x370 0.006440140401228 x371 41.812623295785102 x372 0.221764263151804 x374 0.379886385450049 x378 0.000000000000000 x379 0.003069437042997 x380 0.115511048802565 x382 63.433419334483901 x385 0.004124176360959 x387 0.455143026472661 x389 22.506917567944999 x394 52.104392005294201 x397 5.568904669223540 x399 5.675601862377920 x403 0.000000000000000 x408 0.053248971264570 x409 0.003591964119576 x414 12.755967997487501 x418 0.001474945735571 x420 57.185716121392801 x425 39.825486326279403 x426 0.013273747619705 x427 0.161239926100886 x434 0.000000000000000 x437 22.810110016172899 x438 0.003206023595008 x439 0.000641607868599 x441 37.978907803189500 x442 0.026041390020177 x444 21.538647807025701 x445 0.022047695712508 x447 66.413263107241605 x450 0.016807702410357 x452 1.655498472527480 x453 0.014697934114168 x456 0.045467855023389 x458 0.312288340077538 x459 7.746653019176060 x460 0.027088243225381 x462 0.040596841512448 x465 0.180112241643019 x466 0.014918068355801 x467 0.250776267770247 x468 37.943552462997303 x470 52.630716420296601 x471 0.001393417904483 x476 76.999644779826298 x477 53.791919887180697 x478 86.773621876313001 x479 0.049530427451721 x480 69.295483785407995 x481 6.099818537149690 x482 0.061824550706825 x483 2.928156155965490 x485 0.021542143729983 x486 0.005480196498733 x487 0.004325420339340 x489 24.905923584244899 x491 0.261195094562510 x492 18.789662239296501 x495 0.011871321328047 x496 17.181100302921799 x497 4.582331340879720 x498 0.000908165331205 x499 65.149195230605500 x501 7.255689308942930 x502 0.067358047568503 x504 40.597786290474900 x505 18.500809018939201 x506 50.804751361940099 x507 23.046698810107301 x508 1.858020528861600 x509 0.009486863375086 x510 2.889172097100570 x513 0.012784945449569 x526 0.199070670879678 x527 0.024604519407992 x531 0.236912966728989 x532 0.000000000000000 x535 130.767133754993012 x536 0.002870771653604 x538 0.006889101399602 x542 27.774528678795999 x544 48.448577693158200 x546 1.433361510178240 x547 0.155582656074186 x548 0.200301989994553 x552 16.939854310483700 x555 1.981657569626850 x557 14.824844731020800 x558 14.584536139097001 x560 8.404260357786750 x561 0.002293017938473 x565 23.479714355712801 x567 0.739840259774630 x569 0.052320802683278 x570 10.865452945059101 x571 0.238157225120369 x578 0.006147480335172 x579 0.084531854777880 x580 0.121280673929575 x581 0.002206054010541 x584 1.030449077785380 x585 49.330576151906499 x588 0.000000000000000 x589 0.506352590205838 x591 6.303296376656950 x592 1.350785457318730 x593 0.585194293967237 x595 0.000000000000000 x596 0.000000000000000 x597 0.027178741276157 x600 2.241033655890760 x602 42.143538258977003 x606 59.359520108169498 x607 2.877639795790460 x608 59.473041634519603 x609 0.204161272388200 x611 9.083598399011329 x612 2.330076404122430 x616 46.586846674526498 x617 0.106024425605785 x621 14.651725251696700 x622 83.513945879168901 x624 4.557292869024870 x625 2.157244108426800 x626 30.169107759361300 x627 49.774145352906501 x628 0.219336209105283 x629 0.006518437988173 x632 0.134483341865299 x634 0.202953705739305 x636 53.279553653124999 x638 0.196606123023847 x639 0.136179119484198 x642 0.050224056762338 x647 0.000000000000000 x648 14.826759009804000 x649 4.370098644685310 x650 0.121979736028365 x653 0.009964072537684 x654 38.655646183770003 x655 43.486496522367602 x656 1.274981448376590 x660 19.500997680434200 x661 0.000000000000000 x662 8.874119406741110 x663 0.006329425288921 x664 8.440978716906351 x665 5.447249587207960 x666 15.543703465563199 x667 5.186621717858230 x673 18.103943444067902 x674 37.653861717488297 x675 0.242194838443772 x678 66.781297422902099 x679 25.246845817585200 x681 0.497595070464317 x684 0.474261689048427 x688 73.520115266148906 x691 0.000000000000000 x697 0.196468306823281 x699 0.002498350330996 x702 53.747175016871900 x704 0.000000000000000 x705 12.053858325973900 x708 0.000000000000000 x709 61.536112689070201 x710 12.392802031125900 x712 0.071085279803909 x713 59.383626040994898 x714 0.000000000000000 x716 121.152583871733995 x717 6.914478164679740 x719 5.371379251725000 x720 0.146104224686527 x721 0.202162529527221 x725 87.892569894325504 x727 0.000000000000000 x728 0.148742577975107 x730 0.144202778340660 x732 9.214520923586040 x734 42.492533720098201 x737 2.604478347883210 x741 76.232814663238500 x742 9.398986112479740 x743 13.509333108747899 x744 83.254387767650698 x746 62.085521835320300 x749 0.156668893226538 x752 56.757809271453198 x755 54.158762430340197 x756 0.507430087339431 x757 1.945909870720660 x759 0.058666253496737 x762 109.354312283347994 x763 14.974919074754901 x765 0.003880725087008 x767 79.798059372652006 x768 19.687077416882499 x770 63.326325597655398 x772 33.290459389926802 x773 77.876073470734497 x774 0.228881077326685 x776 0.009429172716253 x778 10.597578662575600 x779 0.373090520183810 x780 6.203501847934170 x782 18.030963109318701 x784 4.229282230073330 x785 0.231069059224753 x789 119.768930940774993 x796 114.507337056577001 x797 0.000000000000000 x798 0.000000000000000 x801 34.160160333949300 x802 1.662304879767920 x804 4.614643668968710 x805 20.562891117314098 x808 11.399992289481300 x809 34.201613240638203 x813 0.014758953324405 x816 0.000054970616730 x817 0.419718437379859 x818 0.766223249800274 x819 0.238805162203627 x821 0.275224973573604 x822 0.001143955855349 x823 0.170406619043682 x825 0.000081939792318 x828 0.000125583706833 x829 0.009755207779865 x834 0.309105297343743 x835 0.698892702964023 x836 0.000290908587673 x837 0.003644618967618 x840 0.006743289880404 x846 0.000905650831324 x848 0.002233038164411 x850 0.000023752925533 x852 0.000001020120296 x854 0.026323904982396 x857 0.000573007214537 x859 0.472930473246449 x860 0.405709731649928 x863 0.454954945541139 x867 0.009470161261411 x869 0.001484275555388 x873 0.001004500045969 x874 0.021478349469526 x875 0.142700785214932 x876 0.000106203926482 x882 0.008295948979786 x883 0.000824317405601 x884 0.017150679374178 x886 0.000392545228375 x888 0.000020768982546 x889 0.000114678846706 x892 0.001220910448814 x893 0.000111854260820 x894 0.249366997073490 x895 0.000954975057498 x896 0.000166841517400 x899 0.013821889531064 x900 0.102825064609311 x903 0.180601143203923 x905 0.433312465999242 x907 0.044570753079924 x915 0.515512851213947 x920 0.000784654231265 x922 0.000233669297698 x923 0.995374517426310 x925 0.033585065949771 x926 0.001038315366695 x931 0.008644158463367 x935 0.010491464873608 x936 0.517281196222036 x937 0.507346509568516 x938 0.012224211827796 x939 0.015289752631292 x942 0.000161437653913 x943 0.004214950912939 x944 0.003992800971351 x946 0.048948342937151 x949 0.001004667331945 x950 0.184372720060966 x951 0.554937527901719 x952 0.193549294194169 x953 0.228462838897871 x954 0.080728374707078 x955 0.000018050970261 x956 0.000748702021160 x957 0.858684555436596 x960 0.000882498338686 x962 0.000779243624598 x963 0.010733739339888 x971 0.000123015944428 x974 0.000834394139305 x976 0.574276852354987 x977 0.000122307637456 x978 0.192349365082472 x979 0.140234885799073 x983 0.000080080225158 x986 0.000044057173323 x987 0.000081608176345 x991 0.000997140666713 x992 0.949810403773510 x993 0.204870446794756 x994 0.000059674387802 x995 0.282092237001121 x998 0.060912182977794 x999 0.095153027817263 x1000 0.498772309052683 x1001 0.000233662957101 x1002 0.205114534459193 x1003 0.000345874895700 x1004 0.007345577995555 x1006 0.007540257739343 x1009 0.002588321957725 x1010 0.000143614114974 x1011 0.016131367817255 x1012 0.000058950336951 x1013 0.000000804402435 x1015 0.016464179904453 x1016 0.017347563571882 x1017 0.000259645534570 x1018 0.007252092074501 x1019 0.059237994152997 x1020 0.002271248480441 x1023 0.865092142167932 x1024 0.349737160670315 x1025 0.000034871806584 x1028 0.422588238758370 x1030 0.199057174434222 x1041 0.000145098626018 x1042 0.347287874133228 x1043 0.004435285263036 x1045 0.006783685454465 x1049 0.002602504514950 x1051 0.759235511310727 x1054 0.000055732112986 x1056 0.004085486894141 x1058 0.066654300341021 x1060 0.085993967611787 x1064 0.001199718031903 x1065 0.000029834186060 x1070 0.173503101175915 x1078 0.603416459489082 x1079 0.001050626655275 x1080 0.001354957362192 x1085 0.446596827881001 x1086 0.000072232838049 x1087 0.000008726970385 x1089 0.963090399177299 x1090 0.000351910675948 x1092 0.132288808875787 x1094 0.000191230071331 x1096 0.013911751869979 x1097 0.000090273642724 x1098 0.006114261700797 x1099 0.613153148929057 x1100 0.000236563384685 x1103 0.000995095257696 x1104 0.000234285748322 x1105 0.013063401952746 x1106 0.209632886535897 x1108 0.438589303502471 x1109 0.639544731633537 x1110 0.996146664577421 x1111 0.480643865949435 x1112 0.000952508220225 x1113 0.374570182623827 x1114 0.051258979303779 x1115 0.000515204589224 x1116 0.002605971250166 x1117 0.000086065562044 x1118 0.000035926137037 x1120 0.283367793366262 x1122 0.006623531387184 x1123 0.156580518660804 x1124 0.894995452492921 x1125 0.362694815960094 x1126 0.877726839828300 x1127 0.000514191571734 x1129 0.436535336456719 x1130 0.251642818458115 x1131 0.977014449268079 x1132 0.124576750324904 x1133 0.015613617889593 x1136 0.000172769533102 x1143 0.003686493905179 x1144 0.000279938559512 x1146 0.998237930936065 x1147 0.000023844095541 x1149 0.000093703626207 x1153 0.231454405656633 x1154 0.011905234173249 x1155 0.008104589765388 x1156 0.002278941100885 x1160 0.277702529680061 x1162 0.296496894620416 x1163 0.165935939256666 x1165 0.070035502981556 x1166 0.459706943253609 x1168 0.038539654410659 x1170 0.000707037874098 x1171 0.123621973485617 x1172 0.002001321219499 x1175 0.001655040601379 x1176 0.002374542000096 x1177 0.000043192107471 x1180 0.020175057862744 x1181 0.965838341479424 x1184 0.000000000000000 x1185 0.009913825948885 x1187 0.762515065572773 x1188 0.163405653171653 x1189 0.070791446058245 x1191 0.000000000000000 x1192 0.000000000000000 x1193 0.003287835197330 x1196 0.050491275666445 x1198 0.949508724333555 x1202 0.453133159935721 x1203 0.021967057877947 x1204 0.453999749959731 x1205 0.001558507250820 x1207 0.069341524975782 x1208 0.036593457072858 x1212 0.731638572420801 x1213 0.001665095728283 x1217 0.230102874778058 x1218 0.693651305245228 x1220 0.037852027151940 x1221 0.017917668430126 x1222 0.250578999172706 x1223 0.995482907058131 x1224 0.004386724182106 x1225 0.000130368759763 x1227 0.000000000000000 x1228 0.002490432256765 x1230 0.003758401958135 x1232 0.986658400983797 x1234 0.003640854130071 x1235 0.002521835546004 x1238 0.000930075125228 x1243 0.000000000000000 x1244 0.772353438081397 x1245 0.227646561918603 x1246 0.001459977220599 x1249 0.000119260127978 x1250 0.462669986945296 x1251 0.520490504353489 x1252 0.015260271352638 x1256 0.309539645721178 x1258 0.140859038202240 x1259 0.000100467068078 x1260 0.133983789157244 x1261 0.086464279162031 x1262 0.246725451834337 x1263 0.082327328854892 x1269 0.323284704358356 x1270 0.672390387812291 x1271 0.004324907829353 x1274 0.718078466912925 x1275 0.271471460404142 x1277 0.005350484628649 x1280 0.005099588054284 x1284 1.000000000000000 x1287 0.000000000000000 x1293 0.002976792527625 x1295 0.000037853792894 x1298 0.814351136619271 x1300 0.000000000000000 x1301 0.182634217060210 x1304 0.000000000000000 x1305 0.831569090392841 x1306 0.167470297717917 x1308 0.000960611889242 x1309 0.328929171991041 x1310 0.000000000000000 x1312 0.671070828008959 x1313 0.547285911655061 x1315 0.425148524677071 x1316 0.011564254293646 x1317 0.016001309374222 x1321 1.000000000000000 x1323 0.000000000000000 x1324 0.002860434191829 x1326 0.002773130352705 x1328 0.177202325453578 x1330 0.817164110001888 x1333 0.014078261339909 x1337 0.412069268449938 x1338 0.050805330337728 x1339 0.073023422209448 x1340 0.450023717662977 x1342 0.521727074246389 x1345 0.001316545321231 x1348 0.476956380432380 x1351 0.299219681935581 x1352 0.002803481145522 x1353 0.010750883263650 x1355 0.000324122947496 x1358 0.604167471178719 x1359 0.082734359529033 x1361 0.000023835131339 x1363 0.490113878994955 x1364 0.120916598156884 x1366 0.388945687716823 x1368 0.298824166529688 x1369 0.699036696217490 x1370 0.002054498448503 x1372 0.000084638804319 x1374 0.268739330718598 x1375 0.009461038212976 x1376 0.157311871683762 x1378 0.457239253653474 x1380 0.107248505731189 x1381 0.001925575493540 x1385 0.998074424506460 x1389 0.000000000000000 x1392 1.000000000000000 x1393 0.000000000000000 x1394 0.000000000000000 x1397 0.560002628425399 x1398 0.027250899668327 x1400 0.075649896212602 x1401 0.337096575693673 x1404 0.249991028977087 x1405 0.750008971022913 x1410 0.093030057012969 x1411 0.019936179515852 x1412 0.008636855270370 x1414 0.000000000000000 x1415 0.000000000000000 x1416 0.000401129773911 x1435 0.000004646768190 x1436 0.000006666873443 x1437 0.000000121268149 x1440 0.000056644421315 x1441 0.002711732194709 x1444 0.000000000000000 x1445 0.000027834514166 x1448 0.000000000000000 x1449 25.827841060287401 x1450 5.201487503262090 x1452 0.029835802560007 x1454 1.717132090728400 x1456 32.291358842875503 x1457 0.621962874322147 x1461 18.204789670893600 x1462 2.244526403140420 x1463 3.226098484297360 x1464 19.881577575017399 x1475 14.905843958667900 x1476 0.139657432378450 x1477 0.535562992747773 x1479 0.016146418068302 x1482 30.097037708343699 x1483 4.121471706616300 x1485 0.000004439378186 x1487 0.091285457264846 x1488 0.022521147485755 x1490 0.072442520965186 x1492 0.020786154408435 x1495 0.001697943913053 x1496 6.587177973125070 x1497 7.410386846431510 x1498 0.217265277961272 x1512 0.004863906749755 x1513 0.000235793207233 x1514 0.004873208680048 x1515 0.000016728932259 x1517 0.000744308166314 x1534 0.001431653289580 x1535 0.004295165370425 x1540 0.061489965852358 x1541 0.013177192802164 x1542 0.005708691929242 x1544 0.000000000000000 x1545 0.000000000000000 x1546 0.000265134268344 x1578 0.060729394399232 x1580 0.000772253321931 x1583 16.613536514976399 x1585 0.000000000000000 x1586 3.725911461989500 x1587 43.391118170418800 x1590 0.109494746257477 x1593 39.667618736042400 x1596 0.000024591042487 x1597 0.000035281589565 x1598 0.000000641760057 x1601 0.000299766485887 x1602 0.014350688237442 x1605 0.000000000000000 x1606 0.000147302316881 x1607 0.000444569659594 x1610 0.000036315247766 x1611 0.140885101286898 x1612 0.158491710060675 x1613 0.004646821570114 x1638 0.001003014320845 x1640 0.000972401135911 x1642 0.062136185696792 x1644 0.286539472627481 x1688 0.002110235632443 x1692 0.042191416419562 x1693 0.000096021109191 x1697 0.013269347154534 x1711 0.015440293628715 x1713 0.011994494864626 x1714 0.000326256309707 x1715 0.000451436643850 x1728 0.000000092178574 x1730 0.001895437361985 x1731 0.000467625683853 x1733 0.001504185496222 x1746 0.000116811258588 x1747 0.000000000000000 x1748 0.000000000000000 x1757 0.002225208513159 x1758 0.003192580936723 x1759 0.000058071956160 x1762 0.027125443612820 x1763 1.298573399349650 x1766 0.000000000000000 x1767 0.013329177472169 x1786 0.011174212361560 x1787 0.000000000000000 x1788 0.005084934442726 x1789 0.000003626806354 x1790 0.004836741702541 x1791 0.003121313312854 x1792 0.008906654226393 x1793 0.002971971663408 x1803 16.155380792909199 x1804 0.786154633468526 x1806 2.182405614229100 x1807 9.724817827426540 x1809 0.945334672640343 x1813 18.900737062738500 x1814 0.043015141260861 x1818 5.944347520074330 x1836 52.095679294635801 x1837 0.000000000000000 x1838 0.000000000000000 x1872 0.171447263882790 x1873 0.356588142579489 x1874 0.002293624176744 x1889 0.000291613105226 x1891 0.000003708240325 x1894 0.079775618048723 x1897 0.017891247261359 x1926 0.059626640677371 x1927 0.002890589307155 x1928 0.059740673055808 x1929 0.000205080007499 x1931 0.009124475009373 x1934 0.000000000000000 x1935 1.321694133331980 x1936 0.266176932931173 x1938 0.001526794481767 x1939 8.474090064959849 x1940 0.000000000000000 x1942 17.288568849314402 x1943 0.005751873223525 x1944 0.000053891067691 x1945 0.000206663268851 x1947 0.000006230586473 x1950 0.011613857342263 x1951 0.001590395204494 x1997 0.019330194967602 x2001 0.386482103140971 x2002 0.000879573225437 x2006 0.121549965153913 x2007 0.068841999198629 x2009 0.003756655834359 x2010 0.001778253866718 x2011 0.024868920637498 x2015 0.000000000000000 x2016 0.254288989935355 x2017 0.074950160688528 x2026 0.026214679648065 x2027 0.009910528857217 x2029 0.000195328570574 x2032 0.000186169163037 x2044 0.002378200884756 x2045 0.000000000000000 x2046 0.000000000000000 x2049 0.000256999155086 x2051 0.004832972363642 x2066 0.000000000000000 x2070 0.000000000000000 x2071 0.075130082961483 x2072 0.015130501489885 x2074 0.000086788760869 x2078 0.012808133544979 x2079 0.000000000000000 x2080 0.000000000000000 x2083 8.518416602025880 x2084 0.414523976088336 x2086 1.150739834294920 x2087 5.127706409073740 x2090 0.010886708292122 x2091 0.032661687570996 x2096 0.000022437404822 x2098 0.000033861104227 x2100 0.008889241577867 x2102 0.000032802063895 x2103 0.000022720330933 x2106 0.000008379457840 x2127 0.146478561570881 x2128 0.005156815955068 x2129 0.085744117247897 x2131 0.249221980235695 x2133 0.058456671779766 x2134 0.023759690943998 x2138 12.315248062173399 x2158 10.724750750597901 x2159 0.000000000000000 x2161 21.880295149344398 x2171 23.467666904157500 x2172 0.219875782467260 x2173 0.843187004694635 x2175 0.025420818973608 x2178 47.384586723148701 x2179 6.488819112421140 x2188 1.483780845385660 x2189 3.470995241498120 x2190 0.010201401982195 x2192 0.000420265328884 x2256 37.900564242430399 x2259 0.000000000000000 x2297 0.026121499821056 x2298 0.061105790563102 x2299 0.000179592505781 x2301 0.000007398640269 x2310 0.011630689588124 x2311 0.000051252137941 x2312 0.000001523158827 x2314 19.410796155493799 x2315 0.000000000000000 x2316 8.833072322068380 x2317 0.006300148642546 x2318 8.401935116946410 x2319 5.422053429167790 x2320 15.471806336052699 x2321 5.162631089485950 x2331 0.087471577078351 x2335 2.560284108001640 x2336 0.315665568448557 x2337 0.453711843394720 x2338 2.796104103784340 x2340 0.064464351370914 x2343 0.000162671719320 x2346 0.058932505546515 x2382 0.059769844946982 x2384 0.046431053418751 x2385 0.001262948070358 x2386 0.001747524940573 x2413 0.024445914746668 x2417 0.488764265457945 x2418 0.001112351536988 x2422 0.153718060815927 x2428 9.364829521083550 x2429 19.477634631601500 x2430 0.125282835748997 x2435 0.000000000000000 x2436 31.220131985214600 x2437 6.287444854265330 x2439 0.036064868590215 x2440 0.084524045763714 x2442 0.065660877780512 x2443 0.001786008991504 x2444 0.002471277584524 x2447 0.002274237222980 x2449 0.002204824809574 x2451 0.140887745537492 x2453 0.649700329257124 x2475 0.009582861663685 x2476 0.000464559417582 x2477 0.009601188312427 x2478 0.000032959316834 x2480 0.001466434814628 x2484 0.000000000000000 x2485 0.062494061424306 x2486 0.018419751272052 x2487 0.077863602480759 x2488 0.000000000000000 x2489 0.035432592587124 x2490 0.000025272135442 x2491 0.033703148020020 x2492 0.021749783442997 x2493 0.062062914295699 x2494 0.020709148233097 x2509 0.000000000000000 x2510 3.012090746923760 x2511 0.606607123771767 x2513 0.003479506653625 x2525 0.050006457811549 x2526 0.000220359924001 x2527 0.000006548861702 x2534 3.337873296612700 x2535 6.942344905652810 x2536 0.044654121148604 x2539 37.059448101934699 x2540 14.010422205326600 x2542 0.276134178299551 x2545 0.263185609299029 x2546 11.493658906925001 x2547 0.000000000000000 x2549 23.448997098174001 x2550 0.595026517205488 x2554 17.416365255138700 x2555 2.147319050018840 x2556 3.086380593641540 x2557 19.020533780101701 x2559 4.372148867148470 x2560 0.040964006228382 x2561 0.157090141189315 x2563 0.004736031294945 x2566 8.827995897845071 x2567 1.208900878274990 x2569 0.000000070050853 x2571 0.001440432396650 x2572 0.000355370848985 x2574 0.001143101620125 x2576 0.024924634230583 x2577 0.058305973607544 x2578 0.000171363725200 x2580 0.000007059640671 x2582 9.788997311073590 x2583 29.368397060751899 x2600 0.058934384030975 x2601 0.022280299491069 x2603 0.000439126823023 x2606 0.000418535152687 x2615 0.068489724739722 x2617 0.000000000000000 x2618 0.666409808161250 x2621 0.001681643062562 x2624 0.609223530222855 x2677 0.010273546925221 x2679 0.000560619686317 x2680 0.000265375421359 x2681 0.003711281283563 x2700 0.073337045208255 x2702 0.000000000000000 x2711 1.338108943106060 x2715 26.753747669391501 x2716 0.060887373409636 x2720 8.414146659114451 x2722 0.010749932573679 x2724 0.000000000000000 x2728 22.025413580117199 x2729 0.000000000000000 x2730 0.000000000000000 x2733 1.598676616825980 x2734 4.796259326944910 x2753 0.004971822567643 x2756 0.000012546080245 x2759 0.004545178145949 x2777 0.000098733608201 x2779 0.001856725169527 x2780 0.006815420822560 x2782 0.000371912360110 x2783 0.000176048757619 x2784 0.002462045866192 x2814 0.000003869628801 x2816 0.079569890125225 x2817 0.019630785501095 x2819 0.063145254526911 x2821 31.619624674952000 x2822 73.967504787533898 x2823 0.217393628471774 x2825 0.008955926344875 x2827 0.459121566364425 x2829 8.633965512628521 x2830 0.001163710098102 x2831 0.000000000000000 x2832 0.000529557642876 x2833 0.000000377704579 x2834 0.000503710237378 x2835 0.000325061284320 x2836 0.000927560988478 x2837 0.000309508475772 x2843 5.106981904678900 x2844 10.621862083617200 x2845 0.068321283766729 x2861 0.005149019805683 x2862 0.007387470602068 x2863 0.000134375565549 x2866 0.062766902775362 x2867 3.004833080964940 x2870 0.000000000000000 x2871 0.030843041625898 x2873 0.599777735468495 x2874 0.128531326195404 x2875 0.055683008932368 x2877 0.000000000000000 x2878 0.000000000000000 x2879 0.002586139524688 x2881 24.825965408793000 x2882 0.109398827474304 x2883 0.003251216366778 x2885 0.013875753664111 x2886 0.000000000000000 x2888 0.028308871007880 x2889 12.734642907907800 x2892 0.032135067098398 x2895 11.641851625637800 x2898 0.000001342245385 x2900 0.027600145462530 x2901 0.006809265848210 x2903 0.021902986261171 x2906 0.016461687510009 x2908 0.309568647289958 x2921 0.000000000000000 x2922 0.111797584373046 x2923 0.032951670127280 x2945 0.296381854824160 x2946 0.000000000000000 x2947 0.000000000000000 x2949 0.011993781425425 x2951 0.000654491582062 x2952 0.000309810703414 x2953 0.004332709710417 x2957 0.000000000000000 x2958 0.239175903124939 x2959 0.070495668635104 x2960 0.000007190746540 x2963 0.000000587385434 x2964 0.002278763367595 x2965 0.002563543622816 x2966 0.000075160585988 x2973 0.000059139759750 x2988 0.174480441652234 x2989 0.006142629444952 x2990 0.102135570462101 x2992 0.296865020482371 x2994 0.069631663502632 x2996 0.038876473812291 x2998 0.731087709091633 x3002 0.000000000000000 x3003 0.003849701769047 x3004 0.001134676598725 x3005 0.484304117765525 x3006 0.183092450459859 x3008 0.003608605266824 x3011 0.003439389436387 x3015 4.355184158263810 x3018 0.000000000000000 x3024 0.134874970408657 x3025 0.000000000000000 x3027 0.275167622020119 x3046 0.003357184778685 x3048 69.032674123531393 x3049 17.031135975596801 x3051 54.783106666899599 x3056 40.047470938086001 x3057 0.000000000000000 x3058 0.000000000000000 x3061 0.000078148892197 x3063 0.001469621314940 x3079 37.142366311589903 x3081 0.000000000000000 x3092 9.907900733827841 x3093 0.043660446035611 x3094 0.001297541847650 x3170 0.000325170904329 x3172 0.006114969496899 x3173 29.003380724854900 x3175 1.582692552286180 x3176 0.749184720399316 x3177 10.477365298244900 x3178 0.220762533363962 x3179 0.000972818655895 x3180 0.000028911131947 x3200 0.122811457809984 x3201 0.255431954037368 x3202 0.001642973602698 x3212 0.000000000000000 x3226 0.005832300207611 x3228 0.109678748594955 x3233 0.092611347253044 x3236 0.007565077707885 x3237 29.348739295381201 x3238 33.016492422271902 x3239 0.968011191869892 x3266 0.000000000000000 x3267 0.003429537585102 x3268 0.000690677043011 x3270 0.000003961732846 x3280 0.136007735537492 x3281 0.318161677531879 x3282 0.000935090641735 x3284 0.000038522761555 x3292 0.008130473960753 x3295 0.000664148283546 x3296 2.576565050609250 x3297 2.898561999980660 x3298 0.084982996389323 x3309 0.016895089213704 x3311 0.000214843057447 x3314 4.621932827625910 x3316 0.000000000000000 x3317 1.036559102480860 x3344 0.002688608487074 x3346 0.050560362777496 x3347 0.002491570599938 x3349 0.000135963123383 x3350 0.000064359622107 x3351 0.000900070774148 x3389 12.755967997487501 x3392 0.000000000000000 x3456 0.118552210105119 x3458 0.001507545711293 x3461 32.431930056220899 x3463 0.000000000000000 x3464 7.273496514242130 x3465 0.007264535067128 x3467 0.005643314217452 x3468 0.000153500992904 x3469 0.000212397342220 x3472 0.084123234896319 x3475 0.000212279670304 x3478 0.076904411534263 x3510 0.037751658198699 x3511 0.054163564260218 x3512 0.000985216723242 x3515 0.460195289431852 x3516 22.030878826983599 x3519 0.000000000000000 x3520 0.226135460575256 x3522 0.000161876221129 x3524 0.003044147373879 x3528 0.000641607868599 x3531 0.000000000000000 x3545 10.206426264452700 x3546 0.359319898013092 x3547 5.974533071023970 x3549 17.365447458504899 x3551 4.073181111194780 x3554 0.000000000000000 x3555 0.021655215011644 x3556 0.004361159339667 x3558 0.000025015668866 x3569 0.000513376499335 x3571 10.556390225007499 x3572 2.604380021724790 x3574 8.377364183794070 x3590 0.016807702410357 x3592 0.000000000000000 x3602 0.863718374491129 x3605 0.002179538768312 x3608 0.789600559268042 x3611 0.000000350327190 x3613 0.007203661501907 x3614 0.001777224193019 x3616 0.005716698092052 x3618 0.000516849882166 x3619 0.000741541779654 x3620 0.000013488391547 x3623 0.006300435330925 x3624 0.301620052443852 x3627 0.000000000000000 x3628 0.003095972249395 x3629 4.239634059874590 x3631 3.293478102287390 x3632 0.089584265438383 x3633 0.123956591575695 x3639 0.027088243225381 x3640 0.000000000000000 x3641 0.000000000000000 x3654 0.053893127657206 x3655 0.000504941273524 x3656 0.001936365684160 x3658 0.000058378510641 x3661 0.108817957561814 x3662 0.014901470955673 x3664 0.000545903693988 x3668 0.010914634235114 x3669 0.000024840011893 x3673 0.003432690414805 x3677 0.000000000000000 x3678 0.193687912601571 x3679 0.057088355168676 x3680 11.353457699485601 x3681 0.106374033924123 x3682 0.407926703135921 x3684 0.012298376062767 x3687 22.924260139106501 x3688 3.139235511282320 x3695 0.101344417746356 x3699 52.529372002550197 x3703 53.410904104949999 x3705 2.914592644895920 x3706 1.379654104394540 x3707 19.294493925584000 x3709 0.133965132440343 x3711 0.202171657035836 x3713 53.074249661734200 x3715 0.195848533685703 x3716 0.135654375659274 x3719 0.050030526625350 x3721 28.542375594439399 x3722 0.000000000000000 x3724 58.231246281873702 x3725 0.000141678528219 x3727 0.000137354331749 x3729 0.008776906925155 x3731 0.040474487666599 x3734 0.975559930406134 x3738 28.554539310338200 x3739 3.520579944630090 x3740 5.060193369669800 x3741 31.184611230363799 x3743 3.182440478820990 x3746 0.008030687555445 x3749 2.909347370773250 x3752 0.000119047839740 x3756 0.061705502867085 x3761 0.016426209138846 x3762 0.003520108066916 x3763 0.001524999505840 x3765 0.000000000000000 x3766 0.000000000000000 x3767 0.000070827018381 x3769 0.000200539335327 x3773 0.004009523142918 x3774 0.000009125051780 x3778 0.001261008968707 x3779 0.003000333464118 x3781 0.000163725928128 x3782 0.000077501447461 x3783 0.001083859499633 x3792 24.905923584244899 x3794 0.000000000000000 x3806 0.070193394899725 x3807 0.002471176770698 x3808 0.041089089200198 x3810 0.119428650095739 x3812 0.028012783596152 x3813 0.036180913139876 x3817 18.753481326156599 x3823 0.000000000000000 x3824 0.000000000000000 x3825 13.269881888983001 x3826 3.911218413938830 x3827 2.507845385398610 x3829 1.948171409156270 x3830 0.052991244883672 x3831 0.073323301440889 x3835 5.532572409184280 x3836 1.185620650738400 x3837 0.513640738329416 x3839 0.000000000000000 x3840 0.000000000000000 x3841 0.023855510690833 x3846 0.030522164941817 x3847 0.001479658129341 x3848 0.030580536754017 x3849 0.000104978005537 x3851 0.004670709737791 x3865 29.152396139522800 x3866 11.021140333450500 x3868 0.217217831504346 x3871 0.207031985997287 x3875 18.500809018939201 x3878 0.000000000000000 x3884 0.145323647903064 x3886 0.140888198063427 x3888 9.002720085426599 x3890 41.515819430546998 x3893 0.324457448871088 x3897 9.496836318866540 x3898 1.170895146241830 x3899 1.682948817744440 x3900 10.371561078383399 x3902 0.969379614412688 x3905 0.002446168234025 x3908 0.886194746214883 x3930 0.000000000000000 x3931 0.010631565458220 x3932 0.002141098620747 x3934 0.000012281370602 x3980 0.000495772020135 x3982 0.000748187599241 x3984 0.196414749812915 x3986 0.000724787274248 x3987 0.000502023493991 x3990 0.000185150679148 x3993 0.024604519407992 x3995 0.000000000000000 x4007 59.254924534136798 x4008 2.872569195729150 x4009 59.368246027717298 x4010 0.203801526126071 x4012 9.067592471283231 x4013 0.001991314504584 x4015 0.000108664526579 x4016 0.000051437534627 x4017 0.000719355087814 x4028 0.006889101399602 x4031 0.000000000000000 x4044 0.000000000000000 x4063 0.053481951768503 x4067 27.721046727027499 x4071 0.994253082423572 x4073 0.054255638801820 x4074 0.025682496279635 x4075 0.359170292673185 x4078 0.000000000000000 x4079 0.000000000000000 x4080 0.120164799324733 x4081 0.035417856749453 x4083 0.200301989994553 x4085 0.000000000000000 x4113 9.486362939014210 x4114 0.461626270211062 x4116 1.281498220444690 x4117 5.710366880813770 x4130 14.757879529522000 x4131 0.065032504877531 x4132 0.001932696621269 x4135 14.584536139097001 x4137 0.000000000000000 x4147 0.016183037786281 x4148 0.000000000000000 x4151 8.388077320000470 x4155 0.038859880567497 x4156 0.055753567887902 x4157 0.001014138345838 x4160 0.473704595727215 x4161 22.677608371732301 x4164 0.000000000000000 x4165 0.232773801452073 x4182 0.000000000000000 x4183 0.571418168267969 x4184 0.168422091506661 x4199 0.000000000000000 x4200 0.043508362295957 x4201 0.008762180402209 x4203 0.000050259985112 x4205 10.865452945059101 x4207 0.000000000000000 x4208 0.124253072272688 x4211 0.000313544780450 x4214 0.113590608067230
Last updated: 2024-08-26 Git hash: 6cc1607f