== 2*alpha + 3*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=16 max=58
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=2 v=1 m1=4 m2=6 n=2 w=0.11612
== 2*alpha + 3*lam = 2
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=13 v=2 m1=26 m2=39 n=26 w=0.01624
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=2 v=1 m1=4 m2=6 n=4 w=0.11612
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=1 v=1 m1=2 m2=3 n=2 w=0.20711
== 2*alpha + 3*lam = 3
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=10 max=20
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=12 max=20
== 2*alpha + 3*lam = 4
   lam=0.67678 N=1 {1/lam}=0.4776  FAMILY    k=1 v=2 m1=2 m2=3 n=4 w=0.32322
== 3*alpha + 2*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=19 v=2 m1=57 m2=38 n=19 w=0.00745
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=3 v=1 m1=9 m2=6 n=3 w=0.03871
== 3*alpha + 2*lam = 2
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=10 v=1 m1=30 m2=20 n=20 w=0.00541
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=3 v=1 m1=9 m2=6 n=6 w=0.07915
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=3 v=2 m1=9 m2=6 n=6 w=0.04340
== 3*alpha + 2*lam = 3
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=19 v=2 m1=57 m2=38 n=57 w=0.01624
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=5 v=2 m1=15 m2=10 n=15 w=0.00173
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=3 v=2 m1=9 m2=6 n=9 w=0.09467
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=1 v=1 m1=3 m2=2 n=3 w=0.28033
   lam=0.55178 N=1 {1/lam}=0.8123  FAMILY    k=1 v=1 m1=3 m2=2 n=3 w=0.08037
== 3*alpha + 2*lam = 4
   lam=0.55178 N=1 {1/lam}=0.8123  FAMILY    k=7 v=8 m1=21 m2=14 n=28 w=0.03401
   lam=0.67678 N=1 {1/lam}=0.4776  FAMILY    k=2 v=3 m1=6 m2=4 n=8 w=0.08752
== 2*alpha + 5*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=4 v=1 m1=8 m2=20 n=4 w=0.01624
== 2*alpha + 5*lam = 2
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=4 v=1 m1=8 m2=20 n=8 w=0.01624
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=1 v=1 m1=2 m2=5 n=2 w=0.06066
== 2*alpha + 5*lam = 3
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=36 max=56
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=42 max=52
== 2*alpha + 5*lam = 4
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=1 v=2 m1=2 m2=5 n=4 w=0.14645
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=38 max=56
== 2*alpha + 5*lam = 5
   lam=0.67678 N=1 {1/lam}=0.4776  NONE      certificate K=16  min=44 max=60
== 2*alpha + 5*lam = 6
   lam=0.80178 N=1 {1/lam}=0.2472  NONE      certificate K=16  min=38 max=80
== 5*alpha + 2*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=-236 max=-31
== 5*alpha + 2*lam = 2
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=-226 max=-31
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=64  min=-502 max=-92
== 5*alpha + 2*lam = 3
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=-231 max=-31
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=3 v=1 m1=15 m2=6 n=9 w=0.00104
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=3 v=2 m1=15 m2=6 n=9 w=0.01183
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=1 v=1 m1=5 m2=2 n=3 w=0.00251
== 5*alpha + 2*lam = 4
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=10 v=1 m1=50 m2=20 n=40 w=0.01097
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=16  min=-88 max=-18
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=-68 max=-33
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=-68 max=-28
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=-68 max=-28
== 5*alpha + 2*lam = 5
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=128  min=-714 max=-129
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=5 v=2 m1=25 m2=10 n=25 w=0.02530
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=-88 max=-33
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=1 v=1 m1=5 m2=2 n=5 w=0.06109
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=-63 max=-33
   lam=0.67678 N=1 {1/lam}=0.4776  FAMILY    k=1 v=2 m1=5 m2=2 n=5 w=0.05251
== 5*alpha + 2*lam = 6
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=32  min=-236 max=-21
   lam=0.67678 N=1 {1/lam}=0.4776  NONE      certificate K=16  min=-58 max=-8
   lam=0.80178 N=1 {1/lam}=0.2472  NONE      certificate K=16  min=-83 max=-28
== 3*alpha + 4*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=5 v=1 m1=15 m2=20 n=5 w=0.01624
== 3*alpha + 4*lam = 2
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=34 v=7 m1=102 m2=136 n=68 w=0.00135
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=3 v=2 m1=9 m2=12 n=6 w=0.03871
== 3*alpha + 4*lam = 3
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=5 v=1 m1=15 m2=20 n=15 w=0.01624
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=4 v=3 m1=12 m2=16 n=12 w=0.00173
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=1 v=1 m1=3 m2=4 n=3 w=0.09467
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=2 v=3 m1=6 m2=8 n=6 w=0.00419
== 3*alpha + 4*lam = 4
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=6 v=7 m1=18 m2=24 n=24 w=0.00787
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=5 v=8 m1=15 m2=20 n=20 w=0.01256
   lam=0.55178 N=1 {1/lam}=0.8123  FAMILY    k=1 v=2 m1=3 m2=4 n=4 w=0.14941
== 3*alpha + 4*lam = 5
   lam=0.55178 N=1 {1/lam}=0.8123  FAMILY    k=7 v=15 m1=21 m2=28 n=35 w=0.03401
   lam=0.67678 N=1 {1/lam}=0.4776  FAMILY    k=2 v=5 m1=6 m2=8 n=10 w=0.08752
== 3*alpha + 4*lam = 6
   lam=0.80178 N=1 {1/lam}=0.2472  FAMILY    k=1 v=3 m1=3 m2=4 n=6 w=0.19822
== 4*alpha + 3*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=128  min=-164 max=-72
== 4*alpha + 3*lam = 2
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=32 v=5 m1=128 m2=96 n=64 w=0.00305
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=2 v=1 m1=8 m2=6 n=4 w=0.08839
== 4*alpha + 3*lam = 3
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=128  min=-236 max=-4
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=2 v=1 m1=8 m2=6 n=6 w=0.05806
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=64  min=-76 max=-44
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=-24 max=-8
== 4*alpha + 3*lam = 4
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=19 v=3 m1=76 m2=57 n=76 w=0.00965
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=2 v=1 m1=8 m2=6 n=8 w=0.02773
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=1 v=1 m1=4 m2=3 n=4 w=0.20711
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=2 v=3 m1=8 m2=6 n=8 w=0.06694
   lam=0.55178 N=1 {1/lam}=0.8123  FAMILY    k=1 v=2 m1=4 m2=3 n=4 w=0.10355
== 4*alpha + 3*lam = 5
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=256  min=-432 max=-4
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=-28 max=-8
   lam=0.67678 N=1 {1/lam}=0.4776  NONE      certificate K=16  min=-32 max=-4
== 4*alpha + 3*lam = 6
   lam=0.67678 N=1 {1/lam}=0.4776  FAMILY    k=22 v=45 m1=88 m2=66 n=132 w=0.00476
   lam=0.80178 N=1 {1/lam}=0.2472  FAMILY    k=1 v=3 m1=4 m2=3 n=6 w=0.00444
== 3*alpha + 5*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=35 v=9 m1=105 m2=175 n=35 w=0.00305
== 3*alpha + 5*lam = 2
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=4 v=1 m1=12 m2=20 n=8 w=0.01624
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=1 v=1 m1=3 m2=5 n=2 w=0.06066
== 3*alpha + 5*lam = 3
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=4 v=1 m1=12 m2=20 n=12 w=0.01624
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=1 v=1 m1=3 m2=5 n=3 w=0.06066
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=2 v=3 m1=6 m2=10 n=6 w=0.09467
== 3*alpha + 5*lam = 4
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=8 max=53
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=20 max=41
== 3*alpha + 5*lam = 5
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=2 max=62
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=20 max=41
== 3*alpha + 5*lam = 6
   lam=0.67678 N=1 {1/lam}=0.4776  FAMILY    k=1 v=3 m1=3 m2=5 n=6 w=0.09763
== 3*alpha + 5*lam = 7
   lam=0.80178 N=1 {1/lam}=0.2472  NONE      certificate K=16  min=20 max=80
== 5*alpha + 3*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=512  min=-1929 max=-499
== 5*alpha + 3*lam = 2
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=64  min=-198 max=-3
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=16  min=-67 max=-2
== 5*alpha + 3*lam = 3
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=256  min=-782 max=-292
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=256  min=-1192 max=-162
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=1 v=1 m1=5 m2=3 n=3 w=0.11716
== 5*alpha + 3*lam = 4
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=32 v=5 m1=160 m2=96 n=128 w=0.00081
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=2 v=1 m1=10 m2=6 n=8 w=0.04749
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=1 v=1 m1=5 m2=3 n=4 w=0.07929
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=1 v=1 m1=5 m2=3 n=4 w=0.02929
== 5*alpha + 3*lam = 5
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=19 v=3 m1=95 m2=57 n=95 w=0.00589
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=32  min=-134 max=-14
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=1 v=1 m1=5 m2=3 n=5 w=0.15503
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=2 v=3 m1=10 m2=6 n=10 w=0.06109
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=-42 max=-22
== 5*alpha + 3*lam = 6
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=64  min=-213 max=-63
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=32  min=-89 max=-34
   lam=0.67678 N=1 {1/lam}=0.4776  NONE      certificate K=16  min=-52 max=-7
== 5*alpha + 3*lam = 7
   lam=0.67678 N=1 {1/lam}=0.4776  FAMILY    k=18 v=37 m1=90 m2=54 n=126 w=0.00434
   lam=0.80178 N=1 {1/lam}=0.2472  FAMILY    k=1 v=3 m1=5 m2=3 n=7 w=0.04497
== 2*alpha + 4*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=12 max=128
== 2*alpha + 4*lam = 3
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=24 max=44
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=24 max=40
== 2*alpha + 4*lam = 5
   lam=0.80178 N=1 {1/lam}=0.2472  NONE      certificate K=16  min=26 max=36
== 4*alpha + 2*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=10 v=1 m1=40 m2=20 n=10 w=0.01624
== 4*alpha + 2*lam = 3
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=-176 max=-12
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=11 v=4 m1=44 m2=22 n=33 w=0.00996
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=-64 max=-16
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=-44 max=-24
== 4*alpha + 2*lam = 5
   lam=0.55178 N=1 {1/lam}=0.8123  FAMILY    k=6 v=7 m1=24 m2=12 n=30 w=0.01777
   lam=0.67678 N=1 {1/lam}=0.4776  NONE      certificate K=16  min=-72 max=-16
   lam=0.80178 N=1 {1/lam}=0.2472  FAMILY    k=1 v=2 m1=4 m2=2 n=5 w=0.04733
== 2*alpha + 6*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=16  min=20 max=96
== 2*alpha + 6*lam = 3
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=16  min=28 max=96
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=48 max=72
== 2*alpha + 6*lam = 5
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=58 max=88
== 6*alpha + 2*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=-278 max=-50
== 6*alpha + 2*lam = 3
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=-1856 max=-50
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=16  min=-112 max=-28
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=-160 max=-40
== 6*alpha + 2*lam = 5
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=128  min=-800 max=-320
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=16  min=-100 max=-4
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=-100 max=-40
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=-112 max=-28
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=-76 max=-52
== 6*alpha + 2*lam = 7
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=64  min=-430 max=-76
   lam=0.67678 N=1 {1/lam}=0.4776  NONE      certificate K=16  min=-112 max=-28
   lam=0.80178 N=1 {1/lam}=0.2472  NONE      certificate K=16  min=-76 max=-40
== 3*alpha + 6*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=15 max=192
== 3*alpha + 6*lam = 2
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=16  min=36 max=96
   lam=0.17678 N=5 {1/lam}=0.6569  FAMILY    k=1 v=1 m1=3 m2=6 n=2 w=0.11612
== 3*alpha + 6*lam = 4
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=64  min=9 max=318
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=30 max=60
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=36 max=63
== 3*alpha + 6*lam = 5
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=30 max=63
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=39 max=57
== 3*alpha + 6*lam = 7
   lam=0.67678 N=1 {1/lam}=0.4776  NONE      certificate K=16  min=24 max=96
== 6*alpha + 3*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=64  min=-390 max=-36
== 6*alpha + 3*lam = 2
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=256  min=-1560 max=-156
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=64  min=-252 max=-108
== 6*alpha + 3*lam = 4
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=-264 max=-18
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=16  min=-84 max=-18
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=32  min=-216 max=-6
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=-66 max=-24
== 6*alpha + 3*lam = 5
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=-252 max=-18
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=32  min=-180 max=-36
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=-72 max=-30
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=-78 max=-30
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=-66 max=-24
== 6*alpha + 3*lam = 7
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=64  min=-246 max=-114
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=128  min=-630 max=-54
   lam=0.67678 N=1 {1/lam}=0.4776  NONE      certificate K=16  min=-66 max=-36
== 6*alpha + 3*lam = 8
   lam=0.67678 N=1 {1/lam}=0.4776  FAMILY    k=16 v=33 m1=96 m2=48 n=128 w=0.00030
   lam=0.80178 N=1 {1/lam}=0.2472  FAMILY    k=1 v=3 m1=6 m2=3 n=8 w=0.06311
== 4*alpha + 6*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=32  min=32 max=116
== 4*alpha + 6*lam = 3
   lam=0.05178 N=19 {1/lam}=0.3137  FAMILY    k=179 v=56 m1=716 m2=1074 n=537 w=0.00028
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=32  min=56 max=104
== 4*alpha + 6*lam = 5
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=128  min=64 max=592
   lam=0.30178 N=3 {1/lam}=0.3137  FAMILY    k=22 v=37 m1=88 m2=132 n=110 w=0.00305
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=1 v=2 m1=4 m2=6 n=5 w=0.03661
== 4*alpha + 6*lam = 7
   lam=0.55178 N=1 {1/lam}=0.8123  FAMILY    k=6 v=19 m1=24 m2=36 n=42 w=0.01777
   lam=0.67678 N=1 {1/lam}=0.4776  NONE      certificate K=16  min=16 max=72
== 6*alpha + 4*lam = 1
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=128  min=-418 max=-178
== 6*alpha + 4*lam = 3
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=128  min=-304 max=-64
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=32  min=-112 max=-28
== 6*alpha + 4*lam = 5
   lam=0.05178 N=19 {1/lam}=0.3137  NONE      certificate K=512  min=-6682 max=-382
   lam=0.17678 N=5 {1/lam}=0.6569  NONE      certificate K=32  min=-88 max=-28
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=16  min=-56 max=-14
   lam=0.42678 N=2 {1/lam}=0.3431  NONE      certificate K=16  min=-50 max=-14
== 6*alpha + 4*lam = 7
   lam=0.30178 N=3 {1/lam}=0.3137  NONE      certificate K=32  min=-532 max=-10
   lam=0.42678 N=2 {1/lam}=0.3431  FAMILY    k=1 v=2 m1=6 m2=4 n=7 w=0.01603
   lam=0.55178 N=1 {1/lam}=0.8123  NONE      certificate K=16  min=-56 max=-8
   lam=0.67678 N=1 {1/lam}=0.4776  NONE      certificate K=16  min=-68 max=-20
== 6*alpha + 4*lam = 9
   lam=0.80178 N=1 {1/lam}=0.2472  FAMILY    k=2 v=7 m1=12 m2=8 n=18 w=0.00888
TOTALS {'FAMILY': 81, 'NONE': 105, 'UNDECIDED': 0}
