planar_K_4_p1.dimacs 47 B

1234567
  1. p edge 4 6
  2. e 0 2
  3. e 0 3
  4. e 1 0
  5. e 1 2
  6. e 1 3
  7. e 2 3