Top-star common-denominator exact Farkas certificates — complete batch
All certificates use common denominator 1,000,000.
Each branch certificate proves d^T x <= 40000 exactly over integers after scaling.
branch float_max exact_rhs margin rows upper repairs ok
c0          30528.000000000  30528.000000000  9472.000000000  119    0    0 True
c1          26212.000000000  26212.000000000  13788.000000000  387   14    0 True
c2          27358.000000000  27358.000000000  12642.000000000  345   10    0 True
c3          28148.000000000  28148.000009000  11851.999991000  387    8    7 True
c4          29260.500000000  29260.500007000  10739.499993000  391    8    7 True
c5          29843.000000000  29843.000014000  10156.999986000  392    8    7 True
c6          30810.812500000  30810.812509000  9189.187491000  402   17   16 True
c7          31521.750000000  31521.750018000  8478.249982000  389   16   15 True
c8          32529.388888889  32529.388902000  7470.611098000  400   15   14 True
c9          33348.238095238  33348.238112000  6651.761888000  411   19   18 True
c10         34069.666666667  34069.666687000  5930.333313000  408   28   27 True
c11         34582.968253968  34582.968272000  5417.031728000  426   27   26 True
c12         35919.666666667  35919.666680000  4080.333320000  419   19   18 True
c13         36389.631578947  36389.631608000  3610.368392000  455   37   36 True
c14         36859.596491228  36859.596518000  3140.403482000  455   28   27 True
c15         37329.561403509  37329.561433000  2670.438567000  452   24   23 True
c16         38446.666666667  38446.666694000  1553.333306000  473   28   27 True
c17         35598.934220251  35598.934235000  4401.065765000  439   38   18 True
c18         36459.974808324  36459.974908000  3540.025092000  439  142  123 True
c19         37300.375963020  37300.375998000  2699.624002000  442   57   35 True
c20         38129.986707566  38129.986740000  1870.013260000  443   53   32 True
c21         38907.054450758  38907.054477000  1092.945523000  444   48   26 True
c22         39613.401869159  39613.401901000  386.598099000  444   29    8 True
c23_ell0    17475.000000000  17475.000000000  22525.000000000  405    7    0 True
c23_ell1    21686.363636364  21686.363651000  18313.636349000  476   10    9 True
c23_ell2    24518.090909091  24518.090919000  15481.909081000  427    6    4 True
c23_ell3    25766.545454545  25766.545461000  14233.454539000  521    7    5 True
c23_ell4    27621.160000000  27621.160000000  12378.840000000  450    2    0 True
c23_ell5    28381.200000000  28381.200000000  11618.800000000  463    2    0 True
c23_ell6    28639.909090909  28639.909098000  11360.090902000  489   19   17 True
c23_ell7    28543.636363636  28543.636375000  11456.363625000  498   22   20 True
c23_ell8    31110.373584906  31110.373599000  8889.626401000  479    4    2 True
c23_ell9    31956.528610354  31956.528622000  8043.471378000  498   17   15 True
c23_ell10   32440.415485278  32440.415518000  7559.584482000  497   31   29 True
c23_ell11   32908.488549618  32908.488583000  7091.511417000  496   34   32 True
c23_ell12   34268.473684211  34268.473717000  5731.526283000  495   42   40 True
c23_ell13   34807.925925926  34807.925941000  5192.074059000  502   25   23 True
c23_ell14   35299.720000000  35299.720008000  4700.279992000  503   10    8 True
c23_ell15   35754.877192982  35754.877219000  4245.122781000  503   32   30 True
c23_ell16   36513.987697715  36513.987713000  3486.012287000  504   16   14 True
c23_ell17   36962.927950945  36962.927987000  3037.072013000  509   38   36 True
c23_ell18   37562.077755625  37562.077773000  2437.922227000  463    7    5 True
c23_ell19   37911.219110379  37911.219139000  2088.780861000  464   17   15 True
c23_ell20   38245.024013722  38245.024042000  1754.975958000  462   18   13 True
c23_ell21   38534.623812186  38534.623838000  1465.376162000  460   46   38 True
c23_ell22   38754.448648649  38754.448687000  1245.551313000  449   52   39 True
c23_ell23   38536.867490413  38536.867526000  1463.132474000  451   48   36 True
c23_ell24   38132.964200855  38132.964228000  1867.035772000  461   30   26 True
c23_ell25   37583.589905363  37583.589967000  2416.410033000  475   46   44 True
c24         37421.701492537  37421.701499000  2578.298501000  436   15    8 True
c25         38175.358080808  38175.358123000  1824.641877000  473   54   48 True
c26         38763.297901821  38763.297937000  1236.702063000  478   32   26 True
c27         39093.698394161  39093.698470000  906.301530000  482   82   80 True
c28         39296.969052784  39296.969105000  703.030895000  484   62   57 True
c29         39305.759828564  39305.759846000  694.240154000  466   27   18 True
c30         39444.339354071  39444.339407000  555.660593000  476   61   50 True
c31         38739.744769874  38739.744832000  1260.255168000  478   71   57 True
c32         37554.092641198  37554.092671000  2445.907329000  480   49   44 True
c33         37806.963953258  37806.964000000  2193.036000000  482   54   48 True
c34         34468.000000000  34468.000031000  5531.999969000  490   30   14 True
c35         29032.333333333  29032.333343000  10967.666657000  531   36   19 True
c36         22800.000000000  22800.000000000  17200.000000000  522    1    0 True
c37         23425.000000000  23425.000000000  16575.000000000  490   37    0 True
num_certificates=63
all_certificates_ok=True
min_margin=386.598099000
max_row_support=531
max_upper_support=142
