$ 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-s1 s0-s3 s1-s2  core-nbrs: s0->k0 s1->k1 s2->k2 s3->k3
success: internal: s0-s2 s0-s3 s1-s2  core-nbrs: s0->k0 s1->k1 s2->k2 s3->k3
success: internal: s0-s1 s0-s2 s1-s3  core-nbrs: s0->k0 s1->k1 s2->k2 s3->k3
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-s1 s0-s3 s1-s2  core-nbrs: s0->k0 s1->k1 s2->k2 s3->k3
success: internal: s0-s2 s0-s3 s1-s2  core-nbrs: s0->k0 s1->k1 s2->k2 s3->k3
success: internal: s0-s1 s0-s2 s1-s3  core-nbrs: s0->k0 s1->k1 s2->k2 s3->k3
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
