seed S8                      n= 8 initial edges= 15  steps=  13  final=  28/  28  PERCOLATES
    add 0-1  cube(000..111) = [0, 2, 4, 6, 1, 3, 5, 7]
    add 1-4  cube(000..111) = [1, 0, 2, 3, 4, 5, 6, 7]
    add 1-7  cube(000..111) = [1, 2, 4, 6, 7, 3, 5, 0]
    add 2-4  cube(000..111) = [2, 0, 1, 3, 4, 6, 5, 7]
    add 2-5  cube(000..111) = [2, 1, 3, 7, 5, 4, 0, 6]
    add 2-7  cube(000..111) = [2, 1, 4, 5, 7, 3, 6, 0]
    add 3-4  cube(000..111) = [3, 0, 1, 5, 4, 6, 2, 7]
    add 3-5  cube(000..111) = [3, 0, 1, 4, 5, 2, 7, 6]
    add 3-6  cube(000..111) = [3, 0, 1, 4, 6, 2, 7, 5]
    add 4-7  cube(000..111) = [4, 0, 1, 5, 7, 6, 2, 3]
    add 5-6  cube(000..111) = [5, 0, 1, 4, 6, 2, 3, 7]
    add 0-7  cube(000..111) = [0, 1, 2, 5, 7, 3, 4, 6]
    add 1-6  cube(000..111) = [1, 0, 2, 5, 6, 3, 4, 7]
seed S9                      n= 9 initial edges= 16  steps=  20  final=  36/  36  PERCOLATES
    add 0-1  cube(000..111) = [0, 2, 4, 6, 1, 3, 5, 7]
    add 1-4  cube(000..111) = [1, 0, 2, 3, 4, 5, 6, 7]
    add 2-8  cube(000..111) = [2, 3, 6, 7, 8, 0, 4, 5]
    add 7-8  cube(000..111) = [7, 3, 5, 0, 8, 2, 4, 1]
    add 0-6  cube(000..111) = [0, 1, 3, 2, 6, 4, 7, 8]
    add 1-6  cube(000..111) = [1, 0, 3, 2, 6, 4, 7, 8]
    add 1-7  cube(000..111) = [1, 0, 2, 8, 7, 5, 6, 4]
    add 1-8  cube(000..111) = [1, 0, 3, 2, 8, 4, 7, 6]
    add 2-4  cube(000..111) = [2, 0, 1, 3, 4, 5, 6, 7]
    add 2-5  cube(000..111) = [2, 0, 3, 1, 5, 4, 7, 6]
    add 2-7  cube(000..111) = [2, 0, 1, 8, 7, 5, 6, 4]
    add 3-4  cube(000..111) = [3, 0, 1, 6, 4, 2, 5, 7]
    add 3-5  cube(000..111) = [3, 0, 1, 4, 5, 2, 7, 6]
    add 3-6  cube(000..111) = [3, 0, 1, 4, 6, 2, 7, 5]
    add 3-8  cube(000..111) = [3, 0, 1, 4, 8, 2, 7, 5]
    add 4-7  cube(000..111) = [4, 0, 1, 6, 7, 2, 5, 3]
    add 5-6  cube(000..111) = [5, 0, 1, 4, 6, 2, 3, 7]
    add 5-8  cube(000..111) = [5, 0, 1, 4, 8, 2, 3, 6]
    add 6-8  cube(000..111) = [6, 0, 1, 4, 8, 2, 3, 5]
    add 0-7  cube(000..111) = [0, 1, 2, 5, 7, 3, 4, 6]
seed S10                     n=10 initial edges= 18  steps=  27  final=  45/  45  PERCOLATES
    add 0-1  cube(000..111) = [0, 2, 4, 6, 1, 3, 5, 7]
    add 1-4  cube(000..111) = [1, 0, 2, 3, 4, 5, 6, 7]
    add 4-9  cube(000..111) = [4, 5, 6, 7, 9, 0, 2, 3]
    add 7-9  cube(000..111) = [7, 3, 5, 0, 9, 2, 4, 1]
    add 0-6  cube(000..111) = [0, 1, 3, 2, 6, 4, 7, 9]
    add 1-6  cube(000..111) = [1, 0, 3, 2, 6, 4, 7, 9]
    add 1-7  cube(000..111) = [1, 0, 2, 9, 7, 5, 6, 4]
    add 1-9  cube(000..111) = [1, 0, 3, 2, 9, 4, 7, 6]
    add 2-4  cube(000..111) = [2, 0, 1, 3, 4, 5, 6, 7]
    add 2-5  cube(000..111) = [2, 0, 3, 1, 5, 4, 7, 6]
    add 2-7  cube(000..111) = [2, 0, 1, 9, 7, 5, 6, 4]
    add 2-8  cube(000..111) = [2, 3, 5, 7, 8, 0, 1, 6]
    add 3-4  cube(000..111) = [3, 0, 1, 6, 4, 2, 5, 7]
    add 3-5  cube(000..111) = [3, 0, 1, 4, 5, 2, 7, 6]
    add 3-6  cube(000..111) = [3, 0, 1, 4, 6, 2, 7, 5]
    add 3-8  cube(000..111) = [3, 0, 4, 5, 8, 1, 2, 7]
    add 3-9  cube(000..111) = [3, 0, 1, 4, 9, 2, 7, 5]
    add 4-7  cube(000..111) = [4, 0, 1, 6, 7, 2, 5, 3]
    add 4-8  cube(000..111) = [4, 0, 1, 5, 8, 2, 3, 7]
    add 5-6  cube(000..111) = [5, 0, 1, 4, 6, 2, 3, 7]
    add 5-8  cube(000..111) = [5, 0, 1, 4, 8, 2, 3, 6]
    add 5-9  cube(000..111) = [5, 0, 1, 4, 9, 2, 3, 6]
    add 6-8  cube(000..111) = [6, 0, 1, 4, 8, 2, 3, 5]
    add 6-9  cube(000..111) = [6, 0, 1, 4, 9, 2, 3, 5]
    add 7-8  cube(000..111) = [7, 1, 2, 4, 8, 0, 3, 5]
    add 8-9  cube(000..111) = [8, 0, 1, 4, 9, 2, 3, 5]
    add 0-7  cube(000..111) = [0, 1, 2, 5, 7, 3, 4, 6]
seed S11                     n=11 initial edges= 19  steps=  36  final=  55/  55  PERCOLATES
    add 0-1  cube(000..111) = [0, 2, 4, 6, 1, 3, 5, 7]
    add 8-10  cube(000..111) = [8, 1, 9, 3, 10, 5, 2, 0]
    add 2-7  cube(000..111) = [2, 9, 10, 8, 7, 3, 5, 1]
    add 7-8  cube(000..111) = [7, 2, 3, 0, 8, 10, 1, 5]
    add 0-8  cube(000..111) = [0, 2, 3, 7, 8, 10, 1, 5]
    add 1-2  cube(000..111) = [1, 3, 5, 7, 2, 0, 10, 8]
    add 1-4  cube(000..111) = [1, 0, 2, 3, 4, 5, 6, 7]
    add 2-8  cube(000..111) = [2, 0, 6, 4, 8, 1, 7, 5]
    add 3-4  cube(000..111) = [3, 0, 2, 8, 4, 5, 6, 7]
    add 3-5  cube(000..111) = [3, 2, 4, 1, 5, 7, 0, 8]
    add 3-6  cube(000..111) = [3, 0, 2, 1, 6, 4, 7, 5]
    add 3-8  cube(000..111) = [3, 0, 5, 4, 8, 2, 7, 6]
    add 3-10  cube(000..111) = [3, 0, 1, 8, 10, 2, 5, 7]
    add 4-7  cube(000..111) = [4, 0, 1, 5, 7, 2, 3, 10]
    add 4-8  cube(000..111) = [4, 0, 1, 5, 8, 2, 3, 7]
    add 4-9  cube(000..111) = [4, 0, 1, 5, 9, 2, 3, 7]
    add 4-10  cube(000..111) = [4, 0, 1, 5, 10, 2, 3, 7]
    add 5-6  cube(000..111) = [5, 0, 1, 4, 6, 2, 3, 7]
    add 5-8  cube(000..111) = [5, 0, 1, 4, 8, 2, 3, 6]
    add 5-9  cube(000..111) = [5, 0, 1, 4, 9, 2, 3, 6]
    add 6-8  cube(000..111) = [6, 2, 3, 7, 8, 0, 1, 4]
    add 6-9  cube(000..111) = [6, 2, 3, 0, 9, 8, 4, 1]
    add 6-10  cube(000..111) = [6, 2, 3, 0, 10, 8, 4, 1]
    add 7-9  cube(000..111) = [7, 2, 3, 0, 9, 6, 4, 5]
    add 7-10  cube(000..111) = [7, 2, 3, 0, 10, 6, 4, 5]
    add 9-10  cube(000..111) = [9, 2, 3, 0, 10, 6, 4, 5]
    add 0-6  cube(000..111) = [0, 1, 2, 8, 6, 3, 7, 4]
    add 0-7  cube(000..111) = [0, 1, 2, 8, 7, 3, 6, 4]
    add 0-9  cube(000..111) = [0, 1, 2, 8, 9, 3, 6, 4]
    add 0-10  cube(000..111) = [0, 1, 2, 8, 10, 3, 6, 4]
    add 1-6  cube(000..111) = [1, 0, 2, 8, 6, 3, 7, 4]
    add 1-7  cube(000..111) = [1, 0, 2, 8, 7, 3, 6, 4]
    add 1-9  cube(000..111) = [1, 0, 2, 7, 9, 3, 6, 4]
    add 1-10  cube(000..111) = [1, 0, 2, 7, 10, 3, 6, 4]
    add 2-4  cube(000..111) = [2, 0, 1, 6, 4, 3, 5, 7]
    add 2-5  cube(000..111) = [2, 0, 1, 6, 5, 3, 4, 7]
seed S12                     n=12 initial edges= 21  steps=  45  final=  66/  66  PERCOLATES
    add 0-1  cube(000..111) = [0, 2, 4, 6, 1, 3, 5, 7]
    add 2-8  cube(000..111) = [2, 3, 6, 7, 8, 1, 4, 5]
    add 7-8  cube(000..111) = [7, 3, 5, 1, 8, 2, 4, 0]
    add 0-7  cube(000..111) = [0, 1, 2, 8, 7, 5, 6, 4]
    add 1-6  cube(000..111) = [1, 0, 3, 7, 6, 4, 2, 8]
    add 2-4  cube(000..111) = [2, 0, 6, 7, 4, 10, 9, 11]
    add 2-5  cube(000..111) = [2, 0, 3, 7, 5, 4, 1, 6]
    add 3-4  cube(000..111) = [3, 1, 2, 6, 4, 0, 5, 7]
    add 3-6  cube(000..111) = [3, 2, 7, 0, 6, 4, 11, 10]
    add 3-9  cube(000..111) = [3, 2, 7, 0, 9, 4, 11, 10]
    add 3-10  cube(000..111) = [3, 1, 9, 6, 10, 0, 4, 2]
    add 3-11  cube(000..111) = [3, 4, 6, 2, 11, 10, 7, 0]
    add 4-7  cube(000..111) = [4, 2, 6, 3, 7, 0, 11, 10]
    add 4-11  cube(000..111) = [4, 0, 3, 1, 11, 7, 9, 6]
    add 5-6  cube(000..111) = [5, 1, 2, 0, 6, 3, 4, 7]
    add 5-8  cube(000..111) = [5, 2, 6, 3, 8, 4, 7, 11]
    add 5-9  cube(000..111) = [5, 1, 2, 0, 9, 3, 4, 7]
    add 5-10  cube(000..111) = [5, 1, 2, 6, 10, 0, 3, 4]
    add 5-11  cube(000..111) = [5, 1, 2, 0, 11, 3, 4, 7]
    add 6-8  cube(000..111) = [6, 1, 2, 0, 8, 5, 4, 7]
    add 6-10  cube(000..111) = [6, 1, 2, 5, 10, 0, 3, 4]
    add 7-9  cube(000..111) = [7, 0, 3, 1, 9, 4, 6, 5]
    add 7-10  cube(000..111) = [7, 0, 3, 1, 10, 4, 6, 5]
    add 8-9  cube(000..111) = [8, 1, 2, 0, 9, 3, 4, 7]
    add 8-10  cube(000..111) = [8, 1, 2, 5, 10, 0, 3, 4]
    add 8-11  cube(000..111) = [8, 1, 2, 0, 11, 3, 4, 7]
    add 9-10  cube(000..111) = [9, 3, 4, 11, 10, 6, 0, 7]
    add 0-3  cube(000..111) = [0, 1, 2, 5, 3, 6, 4, 7]
    add 0-5  cube(000..111) = [0, 1, 2, 3, 5, 6, 4, 7]
    add 0-6  cube(000..111) = [0, 1, 2, 5, 6, 3, 4, 7]
    add 0-8  cube(000..111) = [0, 1, 2, 3, 8, 5, 4, 6]
    add 0-9  cube(000..111) = [0, 1, 2, 5, 9, 3, 4, 6]
    add 0-11  cube(000..111) = [0, 1, 2, 5, 11, 3, 4, 6]
    add 1-2  cube(000..111) = [1, 0, 3, 7, 2, 4, 6, 5]
    add 1-4  cube(000..111) = [1, 0, 2, 6, 4, 3, 5, 7]
    add 1-7  cube(000..111) = [1, 0, 2, 5, 7, 3, 4, 6]
    add 1-9  cube(000..111) = [1, 0, 2, 5, 9, 3, 4, 6]
    add 1-10  cube(000..111) = [1, 0, 2, 5, 10, 3, 4, 6]
    add 1-11  cube(000..111) = [1, 0, 2, 5, 11, 3, 4, 6]
    add 2-7  cube(000..111) = [2, 0, 1, 5, 7, 3, 4, 6]
    add 2-9  cube(000..111) = [2, 0, 1, 5, 9, 3, 4, 6]
    add 2-10  cube(000..111) = [2, 0, 1, 5, 10, 3, 4, 6]
    add 2-11  cube(000..111) = [2, 0, 1, 5, 11, 3, 4, 6]
    add 3-5  cube(000..111) = [3, 0, 1, 6, 5, 2, 4, 7]
    add 3-8  cube(000..111) = [3, 0, 1, 5, 8, 2, 4, 6]
face gadget on K_8           n=12 initial edges= 35  steps=  31  final=  66/  66  PERCOLATES
    add 8-11  cube(000..111) = [8, 0, 10, 2, 11, 3, 9, 1]
    add 4-8  cube(000..111) = [4, 2, 3, 1, 8, 10, 11, 9]
    add 4-9  cube(000..111) = [4, 2, 3, 0, 9, 10, 11, 8]
    add 4-10  cube(000..111) = [4, 0, 1, 3, 10, 8, 9, 11]
    add 4-11  cube(000..111) = [4, 0, 1, 2, 11, 8, 9, 10]
    add 5-8  cube(000..111) = [5, 0, 2, 1, 8, 4, 10, 9]
    add 5-9  cube(000..111) = [5, 0, 2, 3, 9, 1, 4, 6]
    add 5-10  cube(000..111) = [5, 0, 1, 3, 10, 2, 4, 6]
    add 5-11  cube(000..111) = [5, 0, 1, 2, 11, 3, 4, 6]
    add 6-8  cube(000..111) = [6, 0, 1, 2, 8, 4, 5, 3]
    add 6-9  cube(000..111) = [6, 0, 1, 2, 9, 4, 5, 3]
    add 6-10  cube(000..111) = [6, 0, 1, 3, 10, 2, 4, 5]
    add 6-11  cube(000..111) = [6, 0, 1, 2, 11, 3, 4, 5]
    add 7-8  cube(000..111) = [7, 0, 1, 2, 8, 4, 5, 3]
    add 7-9  cube(000..111) = [7, 0, 1, 2, 9, 4, 5, 3]
    add 7-10  cube(000..111) = [7, 0, 1, 3, 10, 2, 4, 5]
    add 7-11  cube(000..111) = [7, 0, 1, 2, 11, 3, 4, 5]
    add 8-9  cube(000..111) = [8, 0, 4, 2, 9, 1, 5, 3]
    add 10-11  cube(000..111) = [10, 2, 4, 0, 11, 3, 5, 1]
    add 0-9  cube(000..111) = [0, 1, 2, 3, 9, 4, 5, 6]
    add 0-10  cube(000..111) = [0, 1, 2, 3, 10, 4, 5, 6]
    add 0-11  cube(000..111) = [0, 1, 2, 5, 11, 3, 4, 6]
    add 1-8  cube(000..111) = [1, 0, 2, 3, 8, 4, 5, 6]
    add 1-10  cube(000..111) = [1, 0, 2, 3, 10, 4, 5, 6]
    add 1-11  cube(000..111) = [1, 0, 2, 5, 11, 3, 4, 6]
    add 2-8  cube(000..111) = [2, 0, 1, 3, 8, 4, 5, 6]
    add 2-9  cube(000..111) = [2, 0, 1, 3, 9, 4, 5, 6]
    add 2-11  cube(000..111) = [2, 0, 1, 5, 11, 3, 4, 6]
    add 3-8  cube(000..111) = [3, 0, 1, 5, 8, 2, 4, 6]
    add 3-9  cube(000..111) = [3, 0, 1, 5, 9, 2, 4, 6]
    add 3-10  cube(000..111) = [3, 0, 1, 5, 10, 2, 4, 6]
S9 + 1 gadget(s)             n=13 initial edges= 23  steps=  55  final=  78/  78  PERCOLATES
    edges 23 vs floor((7n+2)/4) = 23
S10 + 1 gadget(s)            n=14 initial edges= 25  steps=  66  final=  91/  91  PERCOLATES
    edges 25 vs floor((7n+2)/4) = 25
S11 + 1 gadget(s)            n=15 initial edges= 26  steps=  79  final= 105/ 105  PERCOLATES
    edges 26 vs floor((7n+2)/4) = 26
S12 + 1 gadget(s)            n=16 initial edges= 28  steps=  92  final= 120/ 120  PERCOLATES
    edges 28 vs floor((7n+2)/4) = 28
S9 + 2 gadget(s)             n=17 initial edges= 30  steps= 106  final= 136/ 136  PERCOLATES
    edges 30 vs floor((7n+2)/4) = 30
S10 + 2 gadget(s)            n=18 initial edges= 32  steps= 121  final= 153/ 153  PERCOLATES
    edges 32 vs floor((7n+2)/4) = 32
S11 + 2 gadget(s)            n=19 initial edges= 33  steps= 138  final= 171/ 171  PERCOLATES
    edges 33 vs floor((7n+2)/4) = 33
S12 + 2 gadget(s)            n=20 initial edges= 35  steps= 155  final= 190/ 190  PERCOLATES
    edges 35 vs floor((7n+2)/4) = 35
S9 + 3 gadget(s)             n=21 initial edges= 37  steps= 173  final= 210/ 210  PERCOLATES
    edges 37 vs floor((7n+2)/4) = 37
S10 + 3 gadget(s)            n=22 initial edges= 39  steps= 192  final= 231/ 231  PERCOLATES
    edges 39 vs floor((7n+2)/4) = 39
S11 + 3 gadget(s)            n=23 initial edges= 40  steps= 213  final= 253/ 253  PERCOLATES
    edges 40 vs floor((7n+2)/4) = 40
S12 + 3 gadget(s)            n=24 initial edges= 42  steps= 234  final= 276/ 276  PERCOLATES
    edges 42 vs floor((7n+2)/4) = 42
ALL CERTIFIED
