p=2 k=3 n=0 z={} gens=[] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=8, J=[])
p=2 k=3 n=0 z={} gens=[] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=8, J=[])
p=2 k=3 n=0 z={} gens=[] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=8, J=[])
p=2 k=3 n=0 z={} gens=[{0: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{0: 1}] i=4: log_p|KP_i:P_i|=6 formula=6 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{0: 1, 1: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{0: 1, 1: 1}] i=4: log_p|KP_i:P_i|=6 formula=6 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{1: 1, 3: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{1: 1, 3: 1}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{1: 1, 3: 1}] i=4: log_p|KP_i:P_i|=5 formula=5 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{2: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=512, J=[2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=512, J=[2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{2: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=512, J=[2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{1: 1}, {2: 1, 3: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{1: 1}, {2: 1, 3: 1}] i=4: log_p|KP_i:P_i|=5 formula=5 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{0: 1, 1: 1, 2: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{0: 1, 1: 1, 2: 1}] i=4: log_p|KP_i:P_i|=6 formula=6 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{3: 1}, {5: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=256, J=[3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{3: 1}, {5: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=256, J=[3, 4, 5, 6, 7])
p=2 k=3 n=0 z={} gens=[{3: 1}, {5: 1}] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=256, J=[3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=16, J=[])
p=2 k=3 n=0 z={0: 1} gens=[] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=16, J=[])
p=2 k=3 n=0 z={0: 1} gens=[] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=16, J=[])
p=2 k=3 n=0 z={0: 1} gens=[{0: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{0: 1}] i=4: log_p|KP_i:P_i|=6 formula=6 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{0: 1, 1: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{0: 1, 1: 1}] i=4: log_p|KP_i:P_i|=6 formula=6 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{1: 1, 3: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{1: 1, 3: 1}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{1: 1, 3: 1}] i=4: log_p|KP_i:P_i|=5 formula=5 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{2: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=512, J=[2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=512, J=[2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{2: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=512, J=[2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=4: log_p|KP_i:P_i|=5 formula=5 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{0: 1, 1: 1, 2: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{0: 1, 1: 1, 2: 1}] i=4: log_p|KP_i:P_i|=6 formula=6 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{3: 1}, {5: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=256, J=[3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{3: 1}, {5: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=256, J=[3, 4, 5, 6, 7])
p=2 k=3 n=0 z={0: 1} gens=[{3: 1}, {5: 1}] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=256, J=[3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=8, J=[])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=8, J=[])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=8, J=[])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{0: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{0: 1}] i=4: log_p|KP_i:P_i|=6 formula=6 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{0: 1, 1: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{0: 1, 1: 1}] i=4: log_p|KP_i:P_i|=6 formula=6 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{1: 1, 3: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{1: 1, 3: 1}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{1: 1, 3: 1}] i=4: log_p|KP_i:P_i|=5 formula=5 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{2: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=512, J=[2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=512, J=[2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{2: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=512, J=[2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=4: log_p|KP_i:P_i|=5 formula=5 OK (|K|=1024, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{0: 1, 1: 1, 2: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{0: 1, 1: 1, 2: 1}] i=4: log_p|KP_i:P_i|=6 formula=6 OK (|K|=2048, J=[0, 1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{3: 1}, {5: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=256, J=[3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{3: 1}, {5: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=256, J=[3, 4, 5, 6, 7])
p=2 k=3 n=0 z={1: 1, 2: 1} gens=[{3: 1}, {5: 1}] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=256, J=[3, 4, 5, 6, 7])
p=2 k=3 n=1 z={} gens=[] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=4, J=[])
p=2 k=3 n=1 z={} gens=[] i=4: log_p|KP_i:P_i|=2 formula=2 OK (|K|=4, J=[])
p=2 k=3 n=1 z={} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=64, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={} gens=[{0: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=64, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=64, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={} gens=[{0: 1, 1: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=64, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={} gens=[{1: 1, 3: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=64, J=[1, 3, 5, 7])
p=2 k=3 n=1 z={} gens=[{1: 1, 3: 1}] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=64, J=[1, 3, 5, 7])
p=2 k=3 n=1 z={} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=32, J=[2, 4, 6])
p=2 k=3 n=1 z={} gens=[{2: 1}] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=32, J=[2, 4, 6])
p=2 k=3 n=1 z={} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=512, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=1 z={} gens=[{1: 1}, {2: 1, 3: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=512, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=1 z={} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=64, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={} gens=[{0: 1, 1: 1, 2: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=64, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={} gens=[{3: 1}, {5: 1}] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=32, J=[3, 5, 7])
p=2 k=3 n=1 z={} gens=[{3: 1}, {5: 1}] i=4: log_p|KP_i:P_i|=2 formula=2 OK (|K|=32, J=[3, 5, 7])
p=2 k=3 n=1 z={0: 1} gens=[] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=8, J=[])
p=2 k=3 n=1 z={0: 1} gens=[] i=4: log_p|KP_i:P_i|=2 formula=2 OK (|K|=8, J=[])
p=2 k=3 n=1 z={0: 1} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=64, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={0: 1} gens=[{0: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=64, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={0: 1} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=128, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={0: 1} gens=[{0: 1, 1: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=128, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={0: 1} gens=[{1: 1, 3: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=128, J=[1, 3, 5, 7])
p=2 k=3 n=1 z={0: 1} gens=[{1: 1, 3: 1}] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=128, J=[1, 3, 5, 7])
p=2 k=3 n=1 z={0: 1} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=32, J=[2, 4, 6])
p=2 k=3 n=1 z={0: 1} gens=[{2: 1}] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=32, J=[2, 4, 6])
p=2 k=3 n=1 z={0: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=512, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=1 z={0: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=512, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=1 z={0: 1} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=128, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={0: 1} gens=[{0: 1, 1: 1, 2: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=128, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={0: 1} gens=[{3: 1}, {5: 1}] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=64, J=[3, 5, 7])
p=2 k=3 n=1 z={0: 1} gens=[{3: 1}, {5: 1}] i=4: log_p|KP_i:P_i|=2 formula=2 OK (|K|=64, J=[3, 5, 7])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=8, J=[])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[] i=4: log_p|KP_i:P_i|=2 formula=2 OK (|K|=8, J=[])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=128, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{0: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=128, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=128, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{0: 1, 1: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=128, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{1: 1, 3: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=64, J=[1, 3, 5, 7])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{1: 1, 3: 1}] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=64, J=[1, 3, 5, 7])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=64, J=[2, 4, 6])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{2: 1}] i=4: log_p|KP_i:P_i|=3 formula=3 OK (|K|=64, J=[2, 4, 6])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=512, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=512, J=[1, 2, 3, 4, 5, 6, 7])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=128, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{0: 1, 1: 1, 2: 1}] i=4: log_p|KP_i:P_i|=4 formula=4 OK (|K|=128, J=[0, 2, 4, 6])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{3: 1}, {5: 1}] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=32, J=[3, 5, 7])
p=2 k=3 n=1 z={1: 1, 2: 1} gens=[{3: 1}, {5: 1}] i=4: log_p|KP_i:P_i|=2 formula=2 OK (|K|=32, J=[3, 5, 7])
p=3 k=2 n=0 z={} gens=[] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=9, J=[])
p=3 k=2 n=0 z={} gens=[] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=9, J=[])
p=3 k=2 n=0 z={} gens=[{0: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{0: 1, 1: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{1: 1, 3: 2}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{1: 1, 3: 2}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{2: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=19683, J=[2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=19683, J=[2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{1: 1}, {2: 1, 3: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{0: 1, 1: 1, 2: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=27, J=[])
p=3 k=2 n=0 z={0: 1} gens=[] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=27, J=[])
p=3 k=2 n=0 z={0: 1} gens=[{0: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{0: 1, 1: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{1: 1, 3: 2}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{1: 1, 3: 2}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{2: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=19683, J=[2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=19683, J=[2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{0: 1, 1: 1, 2: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={0: 1} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=9, J=[])
p=3 k=2 n=0 z={1: 2} gens=[] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=9, J=[])
p=3 k=2 n=0 z={1: 2} gens=[{0: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{0: 1, 1: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{1: 1, 3: 2}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{1: 1, 3: 2}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{2: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=19683, J=[2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=19683, J=[2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{1: 1}, {2: 1, 3: 1}] i=2: log_p|KP_i:P_i|=1 formula=1 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=3 formula=3 OK (|K|=59049, J=[1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{0: 1, 1: 1, 2: 1}] i=2: log_p|KP_i:P_i|=2 formula=2 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=0 z={1: 2} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=4 formula=4 OK (|K|=177147, J=[0, 1, 2, 3, 4, 5, 6, 7, 8])
p=3 k=2 n=1 z={} gens=[] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=3, J=[])
p=3 k=2 n=1 z={} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=81, J=[0, 3, 6])
p=3 k=2 n=1 z={} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=81, J=[0, 3, 6])
p=3 k=2 n=1 z={} gens=[{1: 1, 3: 2}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=81, J=[1, 4, 7])
p=3 k=2 n=1 z={} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=81, J=[2, 5, 8])
p=3 k=2 n=1 z={} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2187, J=[1, 2, 4, 5, 7, 8])
p=3 k=2 n=1 z={} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=81, J=[0, 3, 6])
p=3 k=2 n=1 z={0: 1} gens=[] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=9, J=[])
p=3 k=2 n=1 z={0: 1} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=81, J=[0, 3, 6])
p=3 k=2 n=1 z={0: 1} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=243, J=[0, 3, 6])
p=3 k=2 n=1 z={0: 1} gens=[{1: 1, 3: 2}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=243, J=[1, 4, 7])
p=3 k=2 n=1 z={0: 1} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=243, J=[2, 5, 8])
p=3 k=2 n=1 z={0: 1} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=6561, J=[1, 2, 4, 5, 7, 8])
p=3 k=2 n=1 z={0: 1} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=243, J=[0, 3, 6])
p=3 k=2 n=1 z={1: 2} gens=[] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=9, J=[])
p=3 k=2 n=1 z={1: 2} gens=[{0: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=243, J=[0, 3, 6])
p=3 k=2 n=1 z={1: 2} gens=[{0: 1, 1: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=243, J=[0, 3, 6])
p=3 k=2 n=1 z={1: 2} gens=[{1: 1, 3: 2}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=81, J=[1, 4, 7])
p=3 k=2 n=1 z={1: 2} gens=[{2: 1}] i=3: log_p|KP_i:P_i|=1 formula=1 OK (|K|=243, J=[2, 5, 8])
p=3 k=2 n=1 z={1: 2} gens=[{1: 1}, {2: 1, 3: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=2187, J=[1, 2, 4, 5, 7, 8])
p=3 k=2 n=1 z={1: 2} gens=[{0: 1, 1: 1, 2: 1}] i=3: log_p|KP_i:P_i|=2 formula=2 OK (|K|=243, J=[0, 3, 6])
TOTAL 501 ALL_OK True
