m9_k4_rig.py k=4: rigorous face enumeration over [-1,1]-valued decoders, 17 candidates, nu = (+^a, -^(k-a)), a = k..0
h = (-9/16, 9/64, 9/64, -3/32) k=4 nu=++++: points bounded in floating point: Gamma <= -2.645190e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42916185, bounded 65000  [18 s]
h = (-9/16, 9/64, 9/64, -3/32) k=4 nu=+++-: points bounded in floating point: Gamma <= -2.645190e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42918374, bounded 62811  [19 s]
h = (-9/16, 9/64, 9/64, -3/32) k=4 nu=++--: points bounded in floating point: Gamma <= -1.114756e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42905250, bounded 75935  [19 s]
h = (-9/16, 9/64, 9/64, -3/32) k=4 nu=+---: points bounded in floating point: Gamma <= -1.737247e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42842789, bounded 138396  [20 s]
h = (-9/16, 9/64, 9/64, -3/32) k=4 nu=----: points bounded in floating point: Gamma <= -3.515625e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42208385, bounded 772800  [23 s]
h = (-1/2, 9/64, 9/64, -3/32) k=4 nu=++++: points bounded in floating point: Gamma <= -3.334703e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42891315, bounded 89870  [19 s]
h = (-1/2, 9/64, 9/64, -3/32) k=4 nu=+++-: points bounded in floating point: Gamma <= -3.334703e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42898179, bounded 83006  [19 s]
h = (-1/2, 9/64, 9/64, -3/32) k=4 nu=++--: points bounded in floating point: Gamma <= -1.300204e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42884452, bounded 96733  [18 s]
h = (-1/2, 9/64, 9/64, -3/32) k=4 nu=+---: points bounded in floating point: Gamma <= -2.100282e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42805390, bounded 175795  [19 s]
h = (-1/2, 9/64, 9/64, -3/32) k=4 nu=----: points bounded in floating point: Gamma <= -3.097098e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42014868, bounded 966317  [21 s]
h = (-17/32, 9/64, 9/64, -3/32) k=4 nu=++++: points bounded in floating point: Gamma <= -4.698803e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42904761, bounded 76424  [20 s]
h = (-17/32, 9/64, 9/64, -3/32) k=4 nu=+++-: points bounded in floating point: Gamma <= -4.698803e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42909760, bounded 71425  [18 s]
h = (-17/32, 9/64, 9/64, -3/32) k=4 nu=++--: points bounded in floating point: Gamma <= -1.400501e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42895474, bounded 85711  [18 s]
h = (-17/32, 9/64, 9/64, -3/32) k=4 nu=+---: points bounded in floating point: Gamma <= -2.146538e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42823818, bounded 157367  [17 s]
h = (-17/32, 9/64, 9/64, -3/32) k=4 nu=----: points bounded in floating point: Gamma <= -3.313578e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42113167, bounded 868018  [21 s]
h = (-43/64, 1/8, 1/8, -5/64) k=4 nu=++++: points bounded in floating point: Gamma <= -7.862530e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42947649, bounded 33536  [18 s]
h = (-43/64, 1/8, 1/8, -5/64) k=4 nu=+++-: points bounded in floating point: Gamma <= -7.862530e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42949917, bounded 31268  [19 s]
h = (-43/64, 1/8, 1/8, -5/64) k=4 nu=++--: points bounded in floating point: Gamma <= -1.469548e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42942925, bounded 38260  [19 s]
h = (-43/64, 1/8, 1/8, -5/64) k=4 nu=+---: points bounded in floating point: Gamma <= -2.262816e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42913426, bounded 67759  [18 s]
h = (-43/64, 1/8, 1/8, -5/64) k=4 nu=----: points bounded in floating point: Gamma <= -3.686523e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42649257, bounded 331928  [21 s]
h = (-23/64, 9/64, 9/64, -7/64) k=4 nu=++++: points bounded in floating point: Gamma <= -4.793804e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42777945, bounded 203240  [18 s]
h = (-23/64, 9/64, 9/64, -7/64) k=4 nu=+++-: points bounded in floating point: Gamma <= -6.543516e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42794775, bounded 186410  [17 s]
h = (-23/64, 9/64, 9/64, -7/64) k=4 nu=++--: points bounded in floating point: Gamma <= -9.165042e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42770576, bounded 210609  [19 s]
h = (-23/64, 9/64, 9/64, -7/64) k=4 nu=+---: points bounded in floating point: Gamma <= -1.118303e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42635274, bounded 345911  [19 s]
h = (-23/64, 9/64, 9/64, -7/64) k=4 nu=----: points bounded in floating point: Gamma <= -2.604167e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 41140239, bounded 1840946  [23 s]
h = (-23/32, 7/64, 7/64, -1/16) k=4 nu=++++: points bounded in floating point: Gamma <= -1.161817e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42957872, bounded 23313  [19 s]
h = (-23/32, 7/64, 7/64, -1/16) k=4 nu=+++-: points bounded in floating point: Gamma <= -1.161817e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42961206, bounded 19979  [19 s]
h = (-23/32, 7/64, 7/64, -1/16) k=4 nu=++--: points bounded in floating point: Gamma <= -1.564870e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42959692, bounded 21493  [20 s]
h = (-23/32, 7/64, 7/64, -1/16) k=4 nu=+---: points bounded in floating point: Gamma <= -3.410509e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42944717, bounded 36468  [19 s]
h = (-23/32, 7/64, 7/64, -1/16) k=4 nu=----: points bounded in floating point: Gamma <= -3.295898e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42812220, bounded 168965  [20 s]
h = (-25/64, 1/8, 1/8, -5/64) k=4 nu=++++: points bounded in floating point: Gamma <= -9.159075e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42857360, bounded 123825  [19 s]
h = (-25/64, 1/8, 1/8, -5/64) k=4 nu=+++-: points bounded in floating point: Gamma <= -9.159075e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42870819, bounded 110366  [17 s]
h = (-25/64, 1/8, 1/8, -5/64) k=4 nu=++--: points bounded in floating point: Gamma <= -1.803582e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42856634, bounded 124551  [18 s]
h = (-25/64, 1/8, 1/8, -5/64) k=4 nu=+---: points bounded in floating point: Gamma <= -3.184794e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42770749, bounded 210436  [20 s]
h = (-25/64, 1/8, 1/8, -5/64) k=4 nu=----: points bounded in floating point: Gamma <= -2.072011e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 41946171, bounded 1035014  [19 s]
h = (-5/16, 9/64, 9/64, -1/8) k=4 nu=++++: points bounded in floating point: Gamma <= -8.114666e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42703654, bounded 277531  [20 s]
h = (-5/16, 9/64, 9/64, -1/8) k=4 nu=+++-: points bounded in floating point: Gamma <= -8.277413e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42726056, bounded 255129  [18 s]
h = (-5/16, 9/64, 9/64, -1/8) k=4 nu=++--: points bounded in floating point: Gamma <= -8.406099e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42691602, bounded 289583  [19 s]
h = (-5/16, 9/64, 9/64, -1/8) k=4 nu=+---: points bounded in floating point: Gamma <= -8.507852e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42526809, bounded 454376  [21 s]
h = (-5/16, 9/64, 9/64, -1/8) k=4 nu=----: points bounded in floating point: Gamma <= -2.683424e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 40459406, bounded 2521779  [21 s]
h = (-27/64, 5/32, 5/32, -9/64) k=4 nu=++++: points bounded in floating point: Gamma <= -9.114583e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42804870, bounded 176315  [18 s]
h = (-27/64, 5/32, 5/32, -9/64) k=4 nu=+++-: points bounded in floating point: Gamma <= -9.114583e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42806358, bounded 174827  [18 s]
h = (-27/64, 5/32, 5/32, -9/64) k=4 nu=++--: points bounded in floating point: Gamma <= -9.114583e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42769830, bounded 211355  [18 s]
h = (-27/64, 5/32, 5/32, -9/64) k=4 nu=+---: points bounded in floating point: Gamma <= -9.114583e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42618852, bounded 362333  [19 s]
h = (-27/64, 5/32, 5/32, -9/64) k=4 nu=----: points bounded in floating point: Gamma <= -3.989955e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 40693798, bounded 2287387  [21 s]
h = (-41/64, 1/8, 1/8, -5/64) k=4 nu=++++: points bounded in floating point: Gamma <= -2.130084e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42944644, bounded 36541  [19 s]
h = (-41/64, 1/8, 1/8, -5/64) k=4 nu=+++-: points bounded in floating point: Gamma <= -2.130084e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42947194, bounded 33991  [18 s]
h = (-41/64, 1/8, 1/8, -5/64) k=4 nu=++--: points bounded in floating point: Gamma <= -2.874868e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42939843, bounded 41342  [19 s]
h = (-41/64, 1/8, 1/8, -5/64) k=4 nu=+---: points bounded in floating point: Gamma <= -4.177078e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42910452, bounded 70733  [19 s]
h = (-41/64, 1/8, 1/8, -5/64) k=4 nu=----: points bounded in floating point: Gamma <= -3.553427e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42628879, bounded 352306  [20 s]
h = (-11/32, 7/64, 7/64, -1/16) k=4 nu=++++: points bounded in floating point: Gamma <= -1.207778e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42853674, bounded 127511  [18 s]
h = (-11/32, 7/64, 7/64, -1/16) k=4 nu=+++-: points bounded in floating point: Gamma <= -1.207778e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42874054, bounded 107131  [19 s]
h = (-11/32, 7/64, 7/64, -1/16) k=4 nu=++--: points bounded in floating point: Gamma <= -1.207778e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42862818, bounded 118367  [19 s]
h = (-11/32, 7/64, 7/64, -1/16) k=4 nu=+---: points bounded in floating point: Gamma <= -3.607068e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42783327, bounded 197858  [19 s]
h = (-11/32, 7/64, 7/64, -1/16) k=4 nu=----: points bounded in floating point: Gamma <= -1.523437e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42084749, bounded 896436  [20 s]
h = (-41/64, 9/64, 9/64, -7/64) k=4 nu=++++: points bounded in floating point: Gamma <= -1.935841e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42933557, bounded 47628  [18 s]
h = (-41/64, 9/64, 9/64, -7/64) k=4 nu=+++-: points bounded in floating point: Gamma <= -1.935841e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42932200, bounded 48985  [20 s]
h = (-41/64, 9/64, 9/64, -7/64) k=4 nu=++--: points bounded in floating point: Gamma <= -1.935841e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42916221, bounded 64964  [18 s]
h = (-41/64, 9/64, 9/64, -7/64) k=4 nu=+---: points bounded in floating point: Gamma <= -1.935841e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42863119, bounded 118066  [18 s]
h = (-41/64, 9/64, 9/64, -7/64) k=4 nu=----: points bounded in floating point: Gamma <= -4.876894e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42288774, bounded 692411  [20 s]
h = (-25/64, 9/64, 9/64, -7/64) k=4 nu=++++: points bounded in floating point: Gamma <= -2.274729e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42810001, bounded 171184  [19 s]
h = (-25/64, 9/64, 9/64, -7/64) k=4 nu=+++-: points bounded in floating point: Gamma <= -2.413821e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42818020, bounded 163165  [20 s]
h = (-25/64, 9/64, 9/64, -7/64) k=4 nu=++--: points bounded in floating point: Gamma <= -2.775365e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42792684, bounded 188501  [20 s]
h = (-25/64, 9/64, 9/64, -7/64) k=4 nu=+---: points bounded in floating point: Gamma <= -3.047388e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42672741, bounded 308444  [18 s]
h = (-25/64, 9/64, 9/64, -7/64) k=4 nu=----: points bounded in floating point: Gamma <= -2.937500e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 41314990, bounded 1666195  [20 s]
h = (-47/64, 3/32, 3/32, -3/64) k=4 nu=++++: points bounded in floating point: Gamma <= -5.655037e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42965216, bounded 15969  [18 s]
h = (-47/64, 3/32, 3/32, -3/64) k=4 nu=+++-: points bounded in floating point: Gamma <= -5.655037e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42968625, bounded 12560  [18 s]
h = (-47/64, 3/32, 3/32, -3/64) k=4 nu=++--: points bounded in floating point: Gamma <= -5.655037e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42968007, bounded 13178  [18 s]
h = (-47/64, 3/32, 3/32, -3/64) k=4 nu=+---: points bounded in floating point: Gamma <= -5.183603e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42957869, bounded 23316  [18 s]
h = (-47/64, 3/32, 3/32, -3/64) k=4 nu=----: points bounded in floating point: Gamma <= -2.646169e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42885834, bounded 95351  [19 s]
h = (-53/64, 3/64, 3/64, -1/64) k=4 nu=++++: points bounded in floating point: Gamma <= -4.708665e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42973158, bounded 8027  [18 s]
h = (-53/64, 3/64, 3/64, -1/64) k=4 nu=+++-: points bounded in floating point: Gamma <= -6.688586e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42975201, bounded 5984  [18 s]
h = (-53/64, 3/64, 3/64, -1/64) k=4 nu=++--: points bounded in floating point: Gamma <= -6.688586e-04; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42975657, bounded 5528  [18 s]
h = (-53/64, 3/64, 3/64, -1/64) k=4 nu=+---: points bounded in floating point: Gamma <= -4.545455e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42971311, bounded 9874  [19 s]
h = (-53/64, 3/64, 3/64, -1/64) k=4 nu=----: points bounded in floating point: Gamma <= -1.145832e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42943050, bounded 38135  [19 s]
h = (-23/32, 5/64, 5/64, -1/32) k=4 nu=++++: points bounded in floating point: Gamma <= -7.167431e-05; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42968932, bounded 12253  [18 s]
h = (-23/32, 5/64, 5/64, -1/32) k=4 nu=+++-: points bounded in floating point: Gamma <= -7.167431e-05; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42971591, bounded 9594  [19 s]
h = (-23/32, 5/64, 5/64, -1/32) k=4 nu=++--: points bounded in floating point: Gamma <= -7.167431e-05; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42971723, bounded 9462  [19 s]
h = (-23/32, 5/64, 5/64, -1/32) k=4 nu=+---: points bounded in floating point: Gamma <= -5.787701e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42964794, bounded 16391  [18 s]
h = (-23/32, 5/64, 5/64, -1/32) k=4 nu=----: points bounded in floating point: Gamma <= -1.804956e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42918214, bounded 62971  [18 s]
h = (-27/64, 1/8, 1/8, -5/64) k=4 nu=++++: points bounded in floating point: Gamma <= -2.038897e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42874452, bounded 106733  [15 s]
h = (-27/64, 1/8, 1/8, -5/64) k=4 nu=+++-: points bounded in floating point: Gamma <= -2.038897e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42884633, bounded 96552  [16 s]
h = (-27/64, 1/8, 1/8, -5/64) k=4 nu=++--: points bounded in floating point: Gamma <= -2.414822e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42874792, bounded 106393  [15 s]
h = (-27/64, 1/8, 1/8, -5/64) k=4 nu=+---: points bounded in floating point: Gamma <= -4.520304e-03; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42803241, bounded 177944  [16 s]
h = (-27/64, 1/8, 1/8, -5/64) k=4 nu=----: points bounded in floating point: Gamma <= -2.311198e-02; largest exact value none; singular blocks 0, exact blocks 0, exact points 0, discarded 42090655, bounded 890530  [16 s]
h = (-9/16, 9/64, 9/64, -3/32): certified upper bound over nu, k = 4: -2.645190e-04
h = (-1/2, 9/64, 9/64, -3/32): certified upper bound over nu, k = 4: -3.334703e-04
h = (-17/32, 9/64, 9/64, -3/32): certified upper bound over nu, k = 4: -4.698803e-04
h = (-43/64, 1/8, 1/8, -5/64): certified upper bound over nu, k = 4: -7.862530e-04
h = (-23/64, 9/64, 9/64, -7/64): certified upper bound over nu, k = 4: -4.793804e-04
h = (-23/32, 7/64, 7/64, -1/16): certified upper bound over nu, k = 4: -1.161817e-03
h = (-25/64, 1/8, 1/8, -5/64): certified upper bound over nu, k = 4: -9.159075e-04
h = (-5/16, 9/64, 9/64, -1/8): certified upper bound over nu, k = 4: -8.114666e-04
h = (-27/64, 5/32, 5/32, -9/64): certified upper bound over nu, k = 4: -9.114583e-04
h = (-41/64, 1/8, 1/8, -5/64): certified upper bound over nu, k = 4: -2.130084e-03
h = (-11/32, 7/64, 7/64, -1/16): certified upper bound over nu, k = 4: -1.207778e-03
h = (-41/64, 9/64, 9/64, -7/64): certified upper bound over nu, k = 4: -1.935841e-03
h = (-25/64, 9/64, 9/64, -7/64): certified upper bound over nu, k = 4: -2.274729e-03
h = (-47/64, 3/32, 3/32, -3/64): certified upper bound over nu, k = 4: -5.655037e-04
h = (-53/64, 3/64, 3/64, -1/64): certified upper bound over nu, k = 4: -4.708665e-04
h = (-23/32, 5/64, 5/64, -1/32): certified upper bound over nu, k = 4: -7.167431e-05
h = (-27/64, 1/8, 1/8, -5/64): certified upper bound over nu, k = 4: -2.038897e-03
certified: Gamma_nu(F) < 0 for every [-1,1]-valued decoder with k = 4, every nu and all 17 candidates; largest upper bound -7.167431e-05  [207 s]
