prim/tests/rest3.txt

   1 U0 U1 5
   2 U0 U2 30
   3 U1 U2 20
   4 U1 U3 10
   5 U2 U3 10
   6 U2 U4 15
   7 U3 U4 5
   8 U3 U5 20
   9 U4 U5 15
  10
  11 U0 U1 5
  12 U1 U3 10
  13 U2 U3 10
  14 U3 U4 5
  15 U4 U5 15
  16
  17 U0: 0
  18 U1: 5
  19 U2: 10
  20 U3: 10
  21 U4: 5
  22 U5: 15