data/13i-10s-45c-0.sn

   1 Inputs: 13
   2
   3 0 12
   4 1 7
   5 2 6
   6 3 4
   7 5 8
   8 9 11
   9
  10 0 1
  11 2 3
  12 4 6
  13 5 9
  14 7 12
  15 8 11
  16
  17 0 2
  18 1 4
  19 3 7
  20 6 12
  21 10 11
  22
  23 4 9
  24 6 10
  25 7 8
  26 11 12
  27
  28 1 7
  29 3 4
  30 5 6
  31 8 9
  32 10 11
  33
  34 0 5
  35 1 3
  36 2 6
  37 4 7
  38 8 10
  39 9 11
  40
  41 2 5
  42 6 8
  43 9 10
  44
  45 1 2
  46 3 5
  47 4 6
  48 7 8
  49
  50 2 3
  51 4 5
  52 6 7
  53 8 9
  54
  55 3 4
  56 5 6
  57