MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

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


waterno2_09 - point p4

Solution found by GUROBI
Formats gdx sol
Added to library 31 Jul 2025
Objective Value 922.595290
Infeasibility 9.752e-11


Variables with value 0.0 are omitted in the following.
objvar                          922.595289815459978
b2                                1.000000000000000
b3                                1.000000000000000
b4                                1.000000000000000
b5                                1.000000000000000
b6                                1.000000000000000
b7                                1.000000000000000
b10                               1.000000000000000
b11                               1.000000000000000
b15                               1.000000000000000
b29                               1.000000000000000
b34                               1.000000000000000
b37                               1.000000000000000
b48                               1.000000000000000
b50                               1.000000000000000
b51                               1.000000000000000
b65                               1.000000000000000
b66                               1.000000000000000
b67                               1.000000000000000
b68                               1.000000000000000
b69                               1.000000000000000
b70                               1.000000000000000
b73                               1.000000000000000
b78                               1.000000000000000
x83                              20.621308356000000
x86                              20.621308356000000
x89                              24.116419393587101
x92                              35.621691477645001
x93                               0.220092856446225
x94                               0.640000000000000
x95                               0.075688852279152
x96                              48.929407731200001
x98                               0.640000000000000
x100                             48.929407731200001
x102                              0.640000000000000
x104                             48.929407731200001
x106                              0.640000000000000
x108                             48.929407731200001
x109                              0.640000000000000
x112                             30.803429315324500
x113                              0.121255261862751
x114                              0.640000000000000
x115                              0.278573809953775
x116                             48.929407731200001
x118                              0.640000000000000
x120                             48.929407731200001
x122                              0.640000000000000
x124                             37.152884447075003
x125                              0.062500000000000
x126                              0.200000000000000
x127                              0.640000000000000
x128                             48.929407731200001
x131                             48.929407731200001
x134                             48.929407731200001
x137                             48.929407731200001
x140                             48.929407731200001
x143                             48.929407731200001
x146                             48.929407731200001
x149                             48.929407731200001
x152                             48.929407731200001
x155                             50.138773075475001
x156                              0.722500000000000
x159                             30.854464764140801
x160                              0.621026330467746
x161                              0.490000000000000
x162                              0.787089190069899
x163                             50.138773075475001
x165                              0.722500000000000
x167                             29.785935140735301
x168                              0.490000000000000
x169                              0.763971333100473
x170                              0.611838175679838
x171                             31.912648456031800
x172                              0.809818396241667
x173                              0.629929372357266
x174                              0.490000000000000
x175                             50.138773075475001
x177                              0.722500000000000
x179                             50.138773075475001
x180                              0.722500000000000
x183                             50.138773075475001
x184                              0.722500000000000
x187                             50.138773075475001
x188                              0.722500000000000
x191                             50.138773075475001
x194                             54.621019087991797
x197                             50.138773075475001
x200                             53.016727067810002
x203                             56.198340209696902
x206                             50.138773075475001
x209                             50.138773075475001
x212                             50.138773075475001
x215                             50.138773075475001
x218                             13.802609467380901
x219                              0.703200711725943
x220                              0.356290785699770
x221                              0.180521893476173
x222                             14.622668706459301
x223                              0.137075724706841
x224                              0.650906090220004
x225                              0.298702902618979
x226                             13.404322761462900
x227                              0.706812448429471
x228                              0.365556564231053
x229                              0.189062320491581
x230                             15.606892075355599
x231                              0.126847374133365
x232                              0.289559465153103
x233                              0.660988723121682
x234                             15.285630623690601
x235                              0.092729579552365
x236                              0.592862054348972
x237                              0.234469292301426
x238                             14.292787469318800
x239                              0.121255261862751
x240                              0.614151591307713
x241                              0.272890293025315
x242                             17.114390102600002
x244                              0.490000000000000
x246                             17.114390102600002
x248                              0.490000000000000
x250                             11.474200035731601
x251                              0.490000000000000
x252                              0.216423435600674
x253                              0.095590007096324
x254                             24.560921022252600
x257                             22.734409690170001
x260                             24.687069330195499
x263                             23.086569103926401
x266                             15.285630623690601
x267                              0.092729579552365
x268                              0.234469292301426
x269                             21.450673297495399
x272                             17.114390102600002
x275                             17.114390102600002
x278                             17.114390102600002
x281                              0.753477162652899
x282                              0.473050409330220
x283                              0.498588498574663
x284                              0.496252367367459
x285                              0.744543498695817
x286                              0.507421396378942
x289                              0.250000000000000
x290                              0.753477162652899
x291                              0.753477162652899
x292                              0.473050409330220
x293                              0.473050409330220
x294                              0.498588498574663
x295                              0.498588498574663
x296                              0.496252367367459
x297                              0.496252367367459
x298                              0.744543498695817
x299                              0.744543498695817
x300                              0.507421396378942
x301                              0.507421396378942
x306                              0.250000000000000
x307                              0.250000000000000
x308                              0.275116070557781
x309                              0.275116070557781
x310                              0.700000000000000
x311                              0.700000000000000
x314                              0.700000000000000
x315                              0.700000000000000
x316                              0.700000000000000
x317                              0.700000000000000
x318                              0.348217262442219
x319                              0.348217262442219
x324                              0.250000000000000
x325                              0.250000000000000
x326                              0.275116070557781
x327                              0.700000000000000
x329                              0.700000000000000
x330                              0.700000000000000
x331                              0.348217262442219
x334                              0.250000000000000
x335                              0.424878680891582
x336                              0.424878680891582
x337                              0.370237389666199
x338                              0.370237389666199
x339                              0.434812971852935
x340                              0.434812971852935
x341                              0.356156389993729
x342                              0.356156389993729
x343                              0.609030638153336
x344                              0.609030638153336
x345                              0.348217262442219
x346                              0.348217262442219
x351                              0.309176336572391
x352                              0.309176336572391
x353                              0.296666667000000
x354                              0.294444444000000
x355                              0.283888889000000
x356                              0.277222222000000
x357                              0.293333333000000
x358                              0.306944444000000
x359                              0.595555556000000
x360                              0.641388889000000
x361                              0.733888889000000
x362                              3.500000000000000
x363                              4.456722184190230
x364                              4.456722184190230
x365                              4.002823002850670
x366                              4.002823002850670
x367                              5.000000000000000
x368                              5.000000000000000
x369                              4.592504734734920
x370                              4.592504734734920
x371                              4.681591732126550
x372                              4.681591732126550
x373                              5.000000000000000
x374                              5.000000000000000
x375                              5.000000000000000
x376                              5.000000000000000
x377                              5.000000000000000
x378                              5.000000000000000
x379                              5.000000000000000
x380                              4.100000000000000
x381                              3.351186948330990
x382                              3.351186948330990
x383                              5.000000000000000
x384                              5.000000000000000
x385                              2.825935140735330
x386                              2.825935140735330
x387                              4.545153190766680
x388                              4.545153190766680
x389                              5.000000000000000
x390                              5.000000000000000
x391                              5.000000000000000
x392                              5.000000000000000
x393                              5.000000000000000
x394                              5.000000000000000
x395                              5.000000000000000
x396                              5.000000000000000
x397                              4.704118317138050
x398                              4.000000000000000
x399                              4.288477031256060
x400                              4.288477031256060
x401                              4.459011159005010
x402                              4.459011159005010
x403                              4.798590345424110
x404                              4.798590345424110
x405                              4.976192223410000
x406                              4.976192223410000
x407                              5.686511160005010
x408                              5.686511160005010
x409                              5.779375001500000
x410                              5.779375001500000
x411                              4.439375000500000
x412                              4.439375000500000
x413                              2.996250000250000
x414                              2.996250000250000
x415                              2.040646757287880
x416                              0.376738581326449
x417                             17.338639173465900
x418                              0.473050409330220
x419                              0.280540818311332
x420                              0.498588498574663
x421                              0.554513243363679
x422                              0.496252367367459
x423                              0.141931958673297
x424                              0.372271749347909
x425                             16.575605633371399
x426                              0.507421396378942
x427                              0.223776689836226
x429                              0.645632246897436
x431                              0.380101890346742
x432                              0.250000000000000
x433                             16.245775457366001
x434                              0.376738581326449
x435                              0.670141370849776
x437                              0.408155328711518
x439                              0.248590490903055
x441                             17.231332060546102
x442                              0.372271749347909
x443                              0.688628003151352
x445                              0.411808144183793
x447                              0.246266412109230
x449                             18.364229841985900
x451                              0.571377709094681
x453                              0.281398466770966
x455                              0.138586255362548
x457                             16.968974099627602
x459                              0.257476473500217
x461                              0.697202729623294
x463                              0.423690099174656
x465                             20.621308356000000
x467                              0.360000000000000
x470                              0.275116070557781
x473                             20.621308356000000
x475                              0.360000000000000
x480                              0.348217262442219
x481                             16.312500000000000
x483                              0.062500000000000
x485                              0.421016495743600
x486                              0.250000000000000
x487                              0.162214459848606
x489                             17.338639173465900
x491                              0.280540818311332
x493                              0.141931958673297
x495                             36.982726799581002
x501                             38.386644028904897
x507                             39.445584432112703
x508                              0.700000000000000
x512                              0.700000000000000
x513                             18.364229841985900
x514                              0.700000000000000
x515                              0.138586255362548
x517                              0.281398466770966
x519                             39.936756872796799
x525                             20.621308356000000
x531                             20.621308356000000
x537                             24.116419393587101
x542                              0.424878680891582
x543                             31.763301608022498
x544                              0.370237389666199
x546                              0.434812971852935
x548                              0.356156389993729
x549                             36.982726799581002
x550                              0.304515319076668
x552                              0.348217262442219
x555                             38.386644028904897
x558                              0.309176336572391
x561                             39.445584432112703
x567                             32.729322019406297
x568                              0.304515319076668
x573                             39.936756872796799
x578                             63.500000000000000
x579                             64.456722184190198
x580                             64.002823002850704
x581                             65.000000000000000
x582                             64.592504734734902
x583                             64.681591732126506
x584                             65.000000000000000
x585                             65.000000000000000
x586                             65.000000000000000
x587                             94.099999999999994
x588                             93.351186948331005
x589                             95.000000000000000
x590                             92.825935140735297
x591                             94.545153190766698
x592                             95.000000000000000
x593                             95.000000000000000
x594                             95.000000000000000
x595                             95.000000000000000
x596                            107.000000000000000
x597                            107.288477031255994
x598                            107.459011159005001
x599                            107.798590345424003
x600                            107.976192223409996
x601                            108.686511160004997
x602                            108.779375001500000
x603                            107.439375000499993
x604                            105.996250000250001
x605                             66.338639173465893
x606                              2.838639173465930
x607                             65.575605633371396
x608                              1.118883449181130
x609                             65.245775457365895
x610                              1.242952454515280
x611                             66.231332060546194
x612                              1.231332060546150
x613                             67.364229841985903
x614                              2.771725107250950
x615                             65.968974099627602
x616                              1.287382367501080
x617                             65.000000000000000
x619                             65.000000000000000
x621                             65.312500000000000
x622                              0.312500000000000
x623                             99.121691477645001
x624                             98.818936068528402
x625                              0.302755409116607
x626                             95.311186948330999
x627                             93.351186948331005
x628                              1.960000000000000
x629                           1000.000000000000000
x630                           1000.000000000000000
x632                             94.785935140735305
x633                             92.825935140735297
x634                              1.960000000000000
x635                             96.505153190766706
x636                             94.545153190766698
x637                              1.960000000000000
x638                             95.485021047450999
x639                             95.000000000000000
x640                              0.485021047451002
x641                           1000.000000000000000
x642                           1000.000000000000000
x644                           1000.000000000000000
x645                           1000.000000000000000
x647                            102.152884447074996
x648                            101.902884447074996
x649                              0.250000000000000
x650                            107.902609467380998
x651                              0.902609467380865
x652                            107.973855654790000
x653                              0.685378623534205
x654                            108.404322761463007
x655                              0.945311602457906
x656                            108.432827216090999
x657                              0.634236870666825
x658                            109.830783814457007
x659                              1.854591591047300
x660                            109.292787469318995
x661                              0.606276309313753
x662                            108.779375001500000
x664                            107.439375000499993
x666                            106.474200035731997
x667                              0.477950035481622
x668                             49.000000000000000
x669                             17.338639173465900
x670                             49.000000000000000
x671                             16.575605633371399
x672                             49.000000000000000
x673                             16.245775457366001
x674                             49.000000000000000
x675                             17.231332060546102
x676                             49.000000000000000
x677                             18.364229841985900
x678                             49.000000000000000
x679                             16.968974099627602
x680                             49.000000000000000
x681                             16.000000000000000
x682                             49.000000000000000
x683                             16.000000000000000
x684                             49.000000000000000
x685                             16.312500000000000
x686                             35.621691477645001
x687                             30.854464764140801
x688                            935.997176997149040
x689                             29.785935140735301
x690                             31.912648456031800
x691                             30.803429315324500
x692                            935.000000000000000
x693                            935.000000000000000
x694                             37.152884447075003
x695                             13.802609467380901
x696                             14.622668706459301
x697                             13.404322761462900
x698                             15.606892075355599
x699                             15.285630623690601
x700                             14.292787469318800
x701                             13.779375001500000
x702                             12.439375000500000
x703                             11.474200035731601
x704                              0.376738581326449
x705                              0.473050409330220
x706                              0.498588498574663
x707                              0.496252367367459
x708                              0.372271749347909
x709                              0.507421396378942
x710                              0.200000000000000
x711                              0.200000000000000
x712                              0.250000000000000
x713                              0.376738581326449
x714                              0.200000000000000
x715                              0.200000000000000
x716                              0.200000000000000
x717                              0.372271749347909
x718                              0.200000000000000
x719                              0.200000000000000
x720                              0.200000000000000
x721                              0.200000000000000
x722                              0.200000000000000
x723                              0.200000000000000
x724                              0.200000000000000
x725                              0.200000000000000
x726                              0.200000000000000
x727                              0.200000000000000
x728                              0.200000000000000
x729                              0.200000000000000
x730                              0.200000000000000
x731                              0.275116070557781
x732                              0.250000000000000
x733                              0.250000000000000
x734                              0.250000000000000
x735                              0.250000000000000
x736                              0.348217262442219
x737                              0.250000000000000
x738                              0.250000000000000
x739                              0.250000000000000
x740                              0.250000000000000
x741                              0.250000000000000
x742                              0.250000000000000
x743                              0.250000000000000
x744                              0.250000000000000
x745                              0.250000000000000
x746                              0.250000000000000
x747                              0.250000000000000
x748                              0.250000000000000
x749                              0.400000000000000
x750                              0.700000000000000
x751                              0.400000000000000
x752                              0.700000000000000
x753                              0.700000000000000
x754                              0.400000000000000
x755                              0.400000000000000
x756                              0.400000000000000
x757                              0.400000000000000
x758                              0.400000000000000
x759                              0.400000000000000
x760                              0.400000000000000
x761                              0.400000000000000
x762                              0.400000000000000
x763                              0.400000000000000
x764                              0.400000000000000
x765                              0.400000000000000
x766                              0.400000000000000
x767                              0.424878680891582
x768                              0.370237389666199
x769                              0.434812971852935
x770                              0.356156389993729
x771                              0.304515319076668
x772                              0.348217262442219
x773                              0.240000000000000
x774                              0.240000000000000
x775                              0.309176336572391
x776                              0.240000000000000
x777                              0.240000000000000
x778                              0.240000000000000
x779                              0.240000000000000
x780                              0.304515319076668
x781                              0.240000000000000
x782                              0.240000000000000
x783                              0.240000000000000
x784                              0.240000000000000
x785                              0.744656459954620
x786                              0.803512443507901
x787                              0.818621628625779
x788                              0.829836130302223
x789                              0.755895302998204
x790                              0.834986664339816
x791                              0.600000000000000
x792                              0.600000000000000
x793                              0.648857839394424
x794                              0.800000000000000
x795                              0.800000000000000
x796                              0.800000000000000
x797                              0.800000000000000
x798                              0.800000000000000
x799                              0.800000000000000
x800                              0.800000000000000
x801                              0.800000000000000
x802                              0.800000000000000
x803                              0.850000000000000
x804                              0.887180472096780
x805                              0.850000000000000
x806                              0.874054536685482
x807                              0.899899103367523
x808                              0.850000000000000
x809                              0.850000000000000
x810                              0.850000000000000
x811                              0.850000000000000
x812                              0.838570636098082
x813                              0.806787512434348
x814                              0.840721385733390
x815                              0.813012129750647
x816                              0.769975359572612
x817                              0.783678244758469
x818                              0.700000000000000
x819                              0.700000000000000
x820                              0.700000000000000
x821                            100.000000000000000
x822                            100.000000000000000
x823                            100.000000000000000
x824                            100.000000000000000
x825                            100.000000000000000
x826                            100.000000000000000
x827                            100.000000000000000
x828                            100.000000000000000
x829                            100.000000000000000
x830                              0.412921868818328
x831                              0.208906532650809
x832                              0.105690549910250
x833                              0.053471244765584
x834                             28.528285102209601
x835                             35.184331802930899
x836                              0.518773544352860
x837                              0.305416598720695
x838                              0.179807354865668
x839                              0.105857654790588
x840                             36.859913009418001
x841                              0.548592220407764
x842                              0.334124779916630
x843                              0.203501552519800
x844                              0.123944359611432
x845                              0.571448397346863
x846                              0.341733276792715
x847                              0.204360766445959
x848                              0.122210290003780
x849                             38.601274310950700
x850                             29.847767482958201
x851                              0.431901726542445
x852                              0.212707779302928
x853                              0.104756699488521
x854                              0.051591747719388
x855                             39.142000423290703
x856                              0.582154981573365
x857                              0.353775582620443
x858                              0.214989421751283
x859                              0.130649071715223
x870                             43.160183074700903
x871                              0.015625000000000
x872                              0.273179853777604
x873                              0.105254123935900
x874                              0.040553614962151
x875                              0.412921868818328
x876                              0.208906532650809
x877                              0.105690549910250
x878                              0.053471244765584
x879                             28.528285102209601
x895                             29.847767482958201
x896                              0.431901726542445
x897                              0.212707779302928
x898                              0.104756699488521
x899                              0.051591747719388
x965                             42.680720764024500
x966                              0.512000000000000
x967                              0.176074285156980
x968                              0.060551081823321
x969                              0.020823219624067
x990                             46.944297891121401
x991                              0.512000000000000
x992                              0.222859047963020
x993                              0.097004209490200
x994                              0.042223175342560
x1005                            95.532886292407994
x1006                             0.512000000000000
x1007                             0.160000000000000
x1008                             0.050000000000000
x1009                             0.015625000000000
x1060                            74.467222474848001
x1061                             0.698290159228544
x1062                             0.550962433048929
x1063                             0.434718431327422
x1064                             0.343000000000000
x1070                            70.505398822802505
x1071                             0.667752609594124
x1072                             0.534779933170331
x1073                             0.428286722975886
x1074                             0.343000000000000
x1075                            78.392772613426203
x1076                             0.728754848668392
x1077                             0.566872877369166
x1078                             0.440950560650086
x1079                             0.343000000000000
x1145                             0.589683468136651
x1146                             0.298774990800144
x1147                             0.151380359041946
x1148                             0.076699903972209
x1149                            26.800215157423700
x1150                            24.284019052575399
x1151                             0.525142905356965
x1152                             0.240989771760886
x1153                             0.110590982951368
x1154                             0.050750558502063
x1155                            26.824306976438400
x1156                             0.594232341097235
x1157                             0.307331221244267
x1158                             0.158948736073652
x1159                             0.082206749438356
x1160                            24.897347807971801
x1161                             0.537391849526319
x1162                             0.235415357453583
x1163                             0.103128453797444
x1164                             0.045177502851523
x1165                            21.067184579820101
x1166                             0.456489173474307
x1167                             0.180535577648526
x1168                             0.071399491358849
x1169                             0.028237577505234
x1170                            22.292613957208498
x1171                             0.481297241091647
x1172                             0.213858185849701
x1173                             0.095025110784328
x1174                             0.042223175342560
x1185                            37.139311053944198
x1186                             0.343000000000000
x1187                             0.151496404920471
x1188                             0.066913004967427
x1189                             0.029554168206970
x1210                            21.067184579820101
x1211                             0.456489173474307
x1212                             0.180535577648526
x1213                             0.071399491358849
x1214                             0.028237577505234
x1235                             0.567727834693186
x1236                             0.223776689836226
x1237                             0.248590490903055
x1238                             0.246266412109230
x1239                             0.554345021450190
x1240                             0.257476473500217
x1243                             0.062500000000000
x1244                             0.075688852279152
x1245                             0.490000000000000
x1247                             0.490000000000000
x1248                             0.490000000000000
x1249                             0.121255261862751
x1252                             0.062500000000000
x1253                             0.180521893476173
x1254                             0.137075724706841
x1255                             0.189062320491581
x1256                             0.126847374133365
x1257                             0.370918318209460
x1258                             0.121255261862751
x1261                             0.095590007096324
x1262                             0.141931958673297
x1263                             0.053471244765584
x1264                             0.223776689836226
x1265                             0.105857654790588
x1266                             0.248590490903055
x1267                             0.123944359611432
x1268                             0.246266412109230
x1269                             0.122210290003780
x1270                             0.138586255362548
x1271                             0.051591747719388
x1272                             0.257476473500217
x1273                             0.130649071715223
x1278                             0.062500000000000
x1279                             0.015625000000000
x1280                             0.141931958673297
x1281                             0.053471244765584
x1288                             0.138586255362548
x1289                             0.051591747719388
x1316                             0.075688852279152
x1317                             0.020823219624067
x1326                             0.121255261862751
x1327                             0.042223175342560
x1332                             0.062500000000000
x1333                             0.015625000000000
x1354                             0.490000000000000
x1355                             0.343000000000000
x1358                             0.490000000000000
x1359                             0.343000000000000
x1360                             0.490000000000000
x1361                             0.343000000000000
x1388                             0.180521893476173
x1389                             0.076699903972209
x1390                             0.137075724706841
x1391                             0.050750558502063
x1392                             0.189062320491581
x1393                             0.082206749438356
x1394                             0.126847374133365
x1395                             0.045177502851523
x1396                             0.092729579552365
x1397                             0.028237577505234
x1398                             0.121255261862751
x1399                             0.042223175342560
x1404                             0.095590007096324
x1405                             0.029554168206970
x1414                             0.092729579552365
x1415                             0.028237577505234
x1424                             0.554513243363679
x1425                             0.412921868818328
x1426                             0.645632246897436
x1427                             0.518773544352860
x1428                             0.670141370849776
x1429                             0.548592220407764
x1430                             0.688628003151352
x1431                             0.571448397346863
x1432                             0.571377709094681
x1433                             0.431901726542445
x1434                             0.697202729623294
x1435                             0.582154981573365
x1436                             0.360000000000000
x1437                             0.216000000000000
x1438                             0.360000000000000
x1439                             0.216000000000000
x1440                             0.421016495743600
x1441                             0.273179853777604
x1442                             0.640000000000000
x1443                             0.512000000000000
x1444                             0.640000000000000
x1445                             0.512000000000000
x1446                             0.640000000000000
x1447                             0.512000000000000
x1448                             0.640000000000000
x1449                             0.512000000000000
x1450                             0.640000000000000
x1451                             0.512000000000000
x1452                             0.640000000000000
x1453                             0.512000000000000
x1454                             0.640000000000000
x1455                             0.512000000000000
x1456                             0.640000000000000
x1457                             0.512000000000000
x1458                             0.640000000000000
x1459                             0.512000000000000
x1460                             0.722500000000000
x1461                             0.614125000000000
x1462                             0.787089190069899
x1463                             0.698290159228544
x1464                             0.722500000000000
x1465                             0.614125000000000
x1466                             0.763971333100473
x1467                             0.667752609594124
x1468                             0.809818396241667
x1469                             0.728754848668392
x1470                             0.722500000000000
x1471                             0.614125000000000
x1472                             0.722500000000000
x1473                             0.614125000000000
x1474                             0.722500000000000
x1475                             0.614125000000000
x1476                             0.722500000000000
x1477                             0.614125000000000
x1478                             0.703200711725943
x1479                             0.589683468136651
x1480                             0.650906090220004
x1481                             0.525142905356965
x1482                             0.706812448429471
x1483                             0.594232341097235
x1484                             0.660988723121682
x1485                             0.537391849526319
x1486                             0.592862054348972
x1487                             0.456489173474307
x1488                             0.614151591307713
x1489                             0.481297241091647
x1490                             0.490000000000000
x1491                             0.343000000000000
x1492                             0.490000000000000
x1493                             0.343000000000000
x1494                             0.490000000000000
x1495                             0.343000000000000


Last updated: 2025-07-31 Git hash: 75b0bef7
Imprint / Privacy Policy / License: CC-BY 4.0