# gadget.c t E m: complete core K_m, t new vertices, E edges, each new vertex <= 1 core neighbour
$ gadget 3 5 11
t=3 E=5 m=11 tested=21 successes=0
$ gadget 3 6 11
t=3 E=6 m=11 tested=5 successes=0
$ gadget 4 6 12
t=4 E=6 m=12 tested=105 successes=0
$ gadget 4 7 8
success: internal: s0-s2 s0-s3 s1-s3  core-nbrs: s0->k0 s1->k1 s2->k2 s3->k3
success: internal: s0-s2 s1-s2 s1-s3  core-nbrs: s0->k0 s1->k1 s2->k2 s3->k3
t=4 E=7 m=8 tested=556 successes=24
$ gadget 4 7 12
success: internal: s0-s2 s0-s3 s1-s3  core-nbrs: s0->k0 s1->k1 s2->k2 s3->k3
success: internal: s0-s2 s1-s2 s1-s3  core-nbrs: s0->k0 s1->k1 s2->k2 s3->k3
t=4 E=7 m=12 tested=556 successes=24
$ gadget 5 8 13
t=5 E=8 m=13 tested=7860 successes=0
$ gadget 6 10 14
t=6 E=10 m=14 tested=697839 successes=0
$ gadget 7 12 15  (run earlier, about 15 minutes, saved output)
t=7 E=12 m=15 tested=80646629 successes=0
