seed S8                      n= 8 initial edges= 15  steps=  13  final=  28/  28  PERCOLATES
seed S9                      n= 9 initial edges= 16  steps=  20  final=  36/  36  PERCOLATES
seed S10                     n=10 initial edges= 18  steps=  27  final=  45/  45  PERCOLATES
seed S11                     n=11 initial edges= 19  steps=  36  final=  55/  55  PERCOLATES
seed S12                     n=12 initial edges= 21  steps=  45  final=  66/  66  PERCOLATES
face gadget on K_8           n=12 initial edges= 35  steps=  31  final=  66/  66  PERCOLATES
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
