These are the initial states and goals of the random problems used to
produce the data.  They have the same goals as the problems used in
domain DmS1.  There are 10 problems with 1 goal, 10 with 2
goals, ... and 10 with 15 goals.


(setf *examples*
  '(
    ((((i14) (i7) (i15) (i9) (i1) (i5) (i6) (i8) (i2) (i10) (i11) (i13) (i12) (i3) (i4))
      ((done g13)))
     (((i12) (i6) (i11) (i9) (i2) (i7) (i8) (i10) (i13) (i5) (i15) (i3) (i4) (i1) (i14))
      ((done g12)))
     (((i9) (i13) (i7) (i11) (i3) (i15) (i2) (i5) (i12) (i6) (i14) (i4) (i1) (i8) (i10))
      ((done g3)))
     (((i12) (i1) (i5) (i7) (i13) (i9) (i10) (i3) (i2) (i4) (i14) (i8) (i15) (i6) (i11))
      ((done g15)))
     (((i11) (i3) (i6) (i10) (i1) (i8) (i4) (i9) (i2) (i13) (i15) (i5) (i14) (i7) (i12))
      ((done g13)))
     (((i11) (i1) (i10) (i8) (i15) (i13) (i9) (i7) (i4) (i6) (i12) (i14) (i2) (i3) (i5))
      ((done g12)))
     (((i11) (i5) (i15) (i3) (i14) (i8) (i13) (i1) (i12) (i2) (i6) (i7) (i9) (i10) (i4))
      ((done g10)))
     (((i9) (i4) (i14) (i12) (i7) (i6) (i5) (i13) (i1) (i10) (i3) (i2) (i8) (i11) (i15))
      ((done g6)))
     (((i4) (i1) (i2) (i9) (i6) (i10) (i15) (i8) (i7) (i13) (i12) (i3) (i14) (i5) (i11))
      ((done g13)))
     (((i8) (i7) (i6) (i11) (i5) (i2) (i1) (i12) (i13) (i4) (i10) (i3) (i14) (i9) (i15))
      ((done g12)))
     
    )
    ((((i11) (i8) (i3) (i1) (i6) (i13) (i9) (i15) (i4) (i12) (i2) (i14) (i10) (i5) (i7))
      ((done g4) (done g15)))
     (((i5) (i14) (i3) (i12) (i11) (i9) (i13) (i4) (i7) (i6) (i1) (i10) (i2) (i8) (i15))
      ((done g9) (done g4)))
     (((i8) (i12) (i15) (i9) (i13) (i4) (i5) (i7) (i2) (i1) (i3) (i10) (i11) (i14) (i6))
      ((done g6) (done g14)))
     (((i7) (i15) (i8) (i5) (i6) (i9) (i10) (i2) (i3) (i12) (i1) (i11) (i14) (i4) (i13))
      ((done g13) (done g1)))
     (((i6) (i13) (i8) (i10) (i9) (i5) (i7) (i14) (i11) (i4) (i12) (i3) (i1) (i15) (i2))
      ((done g3) (done g4)))
     (((i5) (i9) (i12) (i15) (i8) (i3) (i13) (i10) (i6) (i11) (i7) (i14) (i4) (i1) (i2))
      ((done g8) (done g7)))
     (((i3) (i4) (i2) (i9) (i13) (i6) (i14) (i8) (i11) (i7) (i12) (i10) (i15) (i5) (i1))
      ((done g6) (done g3)))
     (((i10) (i7) (i6) (i3) (i12) (i11) (i9) (i4) (i14) (i5) (i13) (i8) (i2) (i1) (i15))
      ((done g10) (done g13)))
     (((i15) (i9) (i12) (i13) (i5) (i7) (i10) (i11) (i4) (i2) (i14) (i3) (i6) (i1) (i8))
      ((done g4) (done g14)))
     (((i7) (i8) (i3) (i11) (i14) (i6) (i13) (i1) (i2) (i10) (i9) (i15) (i5) (i4) (i12))
      ((done g1) (done g4)))
     
    )
    ((((i15) (i8) (i14) (i1) (i3) (i13) (i7) (i11) (i4) (i9) (i6) (i10) (i5) (i12) (i2))
      ((done g15) (done g7) (done g13)))
     (((i7) (i11) (i14) (i8) (i4) (i3) (i10) (i13) (i1) (i6) (i2) (i9) (i12) (i15) (i5))
      ((done g13) (done g12) (done g7)))
     (((i2) (i8) (i9) (i6) (i7) (i5) (i13) (i10) (i14) (i12) (i4) (i3) (i15) (i11) (i1))
      ((done g9) (done g6) (done g2)))
     (((i12) (i4) (i3) (i2) (i11) (i15) (i5) (i10) (i13) (i8) (i9) (i6) (i7) (i14) (i1))
      ((done g6) (done g4) (done g5)))
     (((i14) (i9) (i12) (i1) (i2) (i6) (i3) (i7) (i4) (i8) (i13) (i11) (i5) (i15) (i10))
      ((done g12) (done g14) (done g11)))
     (((i10) (i8) (i11) (i7) (i4) (i12) (i13) (i6) (i1) (i14) (i5) (i2) (i9) (i15) (i3))
      ((done g2) (done g15) (done g11)))
     (((i11) (i2) (i13) (i15) (i4) (i8) (i10) (i9) (i3) (i7) (i6) (i12) (i14) (i1) (i5))
      ((done g2) (done g4) (done g13)))
     (((i4) (i8) (i7) (i2) (i9) (i1) (i3) (i15) (i12) (i10) (i13) (i14) (i6) (i11) (i5))
      ((done g6) (done g5) (done g1)))
     (((i11) (i5) (i15) (i8) (i9) (i7) (i3) (i14) (i10) (i1) (i12) (i2) (i6) (i13) (i4))
      ((done g12) (done g14) (done g13)))
     (((i13) (i6) (i14) (i9) (i2) (i7) (i4) (i12) (i1) (i10) (i15) (i5) (i8) (i11) (i3))
      ((done g10) (done g11) (done g2)))
     
    )
    ((((i9) (i14) (i7) (i8) (i4) (i2) (i15) (i10) (i11) (i12) (i6) (i3) (i13) (i5) (i1))
      ((done g9) (done g14) (done g11) (done g1)))
     (((i9) (i5) (i8) (i14) (i12) (i6) (i1) (i7) (i10) (i4) (i13) (i2) (i15) (i11) (i3))
      ((done g15) (done g10) (done g11) (done g4)))
     (((i4) (i10) (i1) (i3) (i5) (i11) (i8) (i13) (i7) (i15) (i6) (i2) (i14) (i9) (i12))
      ((done g4) (done g5) (done g13) (done g6)))
     (((i4) (i11) (i8) (i13) (i14) (i2) (i1) (i7) (i3) (i15) (i5) (i10) (i12) (i6) (i9))
      ((done g6) (done g14) (done g2) (done g10)))
     (((i14) (i13) (i12) (i2) (i1) (i11) (i10) (i6) (i7) (i3) (i9) (i8) (i5) (i4) (i15))
      ((done g13) (done g3) (done g6) (done g7)))
     (((i4) (i15) (i6) (i7) (i9) (i13) (i3) (i14) (i11) (i2) (i12) (i10) (i8) (i1) (i5))
      ((done g11) (done g3) (done g8) (done g15)))
     (((i15) (i5) (i9) (i3) (i10) (i1) (i6) (i13) (i2) (i12) (i11) (i14) (i8) (i4) (i7))
      ((done g11) (done g5) (done g4) (done g3)))
     (((i14) (i9) (i15) (i6) (i5) (i7) (i3) (i8) (i11) (i1) (i10) (i2) (i12) (i13) (i4))
      ((done g11) (done g4) (done g8) (done g1)))
     (((i5) (i13) (i9) (i14) (i8) (i10) (i2) (i11) (i6) (i4) (i1) (i7) (i15) (i12) (i3))
      ((done g1) (done g6) (done g10) (done g2)))
     (((i14) (i13) (i15) (i9) (i11) (i6) (i12) (i8) (i2) (i4) (i1) (i3) (i5) (i10) (i7))
      ((done g2) (done g4) (done g7) (done g14)))
     
    )
    ((((i6) (i9) (i3) (i10) (i4) (i7) (i2) (i12) (i14) (i1) (i11) (i5) (i8) (i15) (i13))
      ((done g15) (done g10) (done g11) (done g3) (done g13)))
     (((i11) (i2) (i8) (i1) (i4) (i6) (i12) (i10) (i3) (i9) (i7) (i5) (i15) (i13) (i14))
      ((done g15) (done g10) (done g11) (done g9) (done g13)))
     (((i7) (i5) (i2) (i14) (i11) (i4) (i1) (i13) (i12) (i8) (i10) (i15) (i6) (i9) (i3))
      ((done g3) (done g2) (done g8) (done g10) (done g11)))
     (((i11) (i10) (i9) (i15) (i8) (i5) (i6) (i12) (i3) (i7) (i2) (i1) (i14) (i4) (i13))
      ((done g7) (done g13) (done g10) (done g4) (done g6)))
     (((i15) (i4) (i12) (i7) (i1) (i2) (i9) (i5) (i6) (i14) (i10) (i8) (i13) (i11) (i3))
      ((done g1) (done g4) (done g12) (done g2) (done g13)))
     (((i4) (i3) (i1) (i15) (i2) (i9) (i11) (i13) (i7) (i6) (i14) (i8) (i10) (i12) (i5))
      ((done g4) (done g11) (done g1) (done g7) (done g6)))
     (((i4) (i14) (i15) (i13) (i8) (i5) (i11) (i10) (i12) (i2) (i7) (i3) (i9) (i6) (i1))
      ((done g4) (done g13) (done g3) (done g11) (done g10)))
     (((i3) (i15) (i1) (i8) (i13) (i6) (i9) (i12) (i5) (i7) (i4) (i14) (i11) (i10) (i2))
      ((done g2) (done g10) (done g3) (done g13) (done g1)))
     (((i7) (i8) (i5) (i4) (i2) (i11) (i13) (i9) (i14) (i3) (i15) (i1) (i10) (i12) (i6))
      ((done g6) (done g13) (done g11) (done g5) (done g3)))
     (((i5) (i9) (i1) (i11) (i4) (i10) (i13) (i15) (i2) (i6) (i12) (i3) (i14) (i8) (i7))
      ((done g8) (done g15) (done g3) (done g5) (done g14)))
     
    )
    ((((i11) (i6) (i5) (i4) (i14) (i12) (i9) (i1) (i15) (i10) (i7) (i2) (i8) (i13) (i3))
      ((done g5) (done g4) (done g9) (done g14) (done g3) (done g10)))
     (((i6) (i1) (i3) (i8) (i2) (i15) (i5) (i9) (i10) (i7) (i11) (i13) (i4) (i12) (i14))
      ((done g8) (done g1) (done g3) (done g11) (done g5) (done g4)))
     (((i10) (i5) (i15) (i9) (i8) (i3) (i4) (i2) (i14) (i7) (i1) (i12) (i11) (i6) (i13))
      ((done g1) (done g4) (done g5) (done g13) (done g9) (done g2)))
     (((i11) (i14) (i10) (i5) (i7) (i4) (i13) (i15) (i8) (i6) (i2) (i12) (i1) (i3) (i9))
      ((done g15) (done g11) (done g4) (done g12) (done g3) (done g9)))
     (((i4) (i13) (i11) (i8) (i14) (i5) (i15) (i3) (i10) (i1) (i7) (i12) (i2) (i9) (i6))
      ((done g9) (done g1) (done g14) (done g6) (done g15) (done g12)))
     (((i3) (i7) (i4) (i9) (i15) (i2) (i6) (i12) (i10) (i14) (i1) (i5) (i13) (i11) (i8))
      ((done g6) (done g8) (done g11) (done g10) (done g5) (done g3)))
     (((i12) (i7) (i14) (i8) (i1) (i5) (i2) (i10) (i11) (i15) (i13) (i6) (i9) (i4) (i3))
      ((done g7) (done g5) (done g8) (done g9) (done g3) (done g2)))
     (((i6) (i12) (i1) (i10) (i9) (i7) (i11) (i14) (i5) (i3) (i8) (i2) (i13) (i4) (i15))
      ((done g13) (done g4) (done g14) (done g10) (done g15) (done g11)))
     (((i13) (i11) (i6) (i3) (i4) (i12) (i14) (i2) (i7) (i10) (i1) (i15) (i5) (i8) (i9))
      ((done g3) (done g11) (done g9) (done g4) (done g6) (done g12)))
     (((i3) (i1) (i2) (i11) (i15) (i4) (i13) (i12) (i5) (i6) (i8) (i14) (i10) (i7) (i9))
      ((done g12) (done g4) (done g8) (done g15) (done g7) (done g13)))
     
    )
    ((((i10) (i15) (i2) (i5) (i14) (i13) (i8) (i7) (i6) (i3) (i1) (i4) (i12) (i9) (i11))
      ((done g1) (done g9) (done g3) (done g11) (done g7) (done g13) (done g5)))
     (((i2) (i3) (i11) (i8) (i13) (i10) (i14) (i15) (i12) (i4) (i6) (i7) (i5) (i9) (i1))
      ((done g9) (done g13) (done g3) (done g7) (done g14) (done g11) (done g1)))
     (((i4) (i6) (i5) (i8) (i11) (i12) (i13) (i14) (i10) (i9) (i1) (i2) (i7) (i15) (i3))
      ((done g8) (done g14) (done g12) (done g3) (done g2) (done g5) (done g11)))
     (((i9) (i6) (i4) (i10) (i11) (i7) (i13) (i5) (i3) (i8) (i12) (i15) (i14) (i1) (i2))
      ((done g8) (done g12) (done g14) (done g11) (done g15) (done g6) (done g3)))
     (((i1) (i3) (i10) (i5) (i14) (i7) (i8) (i11) (i13) (i4) (i9) (i6) (i2) (i15) (i12))
      ((done g12) (done g8) (done g14) (done g2) (done g11) (done g10) (done g7)))
     (((i11) (i15) (i14) (i12) (i13) (i5) (i8) (i9) (i2) (i3) (i10) (i7) (i4) (i6) (i1))
      ((done g11) (done g1) (done g10) (done g2) (done g8) (done g12) (done g7)))
     (((i8) (i3) (i10) (i15) (i12) (i9) (i11) (i6) (i13) (i2) (i14) (i7) (i4) (i5) (i1))
      ((done g6) (done g8) (done g14) (done g1) (done g10) (done g4) (done g11)))
     (((i5) (i9) (i11) (i12) (i15) (i13) (i3) (i4) (i7) (i14) (i8) (i10) (i1) (i6) (i2))
      ((done g12) (done g7) (done g10) (done g5) (done g14) (done g3) (done g1)))
     (((i13) (i3) (i1) (i14) (i10) (i2) (i7) (i4) (i8) (i9) (i5) (i6) (i11) (i15) (i12))
      ((done g3) (done g1) (done g10) (done g11) (done g14) (done g12) (done g6)))
     (((i15) (i5) (i10) (i12) (i2) (i11) (i9) (i4) (i7) (i8) (i3) (i13) (i14) (i6) (i1))
      ((done g10) (done g9) (done g3) (done g2) (done g8) (done g6) (done g14)))
     
    )
    ((((i5) (i15) (i12) (i13) (i2) (i4) (i11) (i6) (i1) (i9) (i14) (i10) (i7) (i3) (i8))
      ((done g5) (done g7) (done g6) (done g9) (done g12) (done g4) (done g10) (done g2)))
     (((i4) (i2) (i10) (i9) (i1) (i13) (i12) (i14) (i3) (i11) (i5) (i7) (i15) (i8) (i6))
      ((done g9) (done g4) (done g13) (done g3) (done g14) (done g1) (done g7) (done g12)))
     (((i7) (i5) (i4) (i15) (i2) (i8) (i12) (i6) (i3) (i1) (i10) (i13) (i11) (i14) (i9))
      ((done g8) (done g13) (done g1) (done g7) (done g5) (done g6) (done g11) (done g14)))
     (((i12) (i1) (i8) (i10) (i3) (i5) (i4) (i11) (i7) (i15) (i9) (i13) (i2) (i14) (i6))
      ((done g12) (done g1) (done g5) (done g7) (done g15) (done g6) (done g4) (done g11)))
     (((i1) (i4) (i12) (i13) (i5) (i15) (i3) (i7) (i11) (i9) (i8) (i14) (i2) (i6) (i10))
      ((done g15) (done g4) (done g1) (done g7) (done g9) (done g11) (done g3) (done g5)))
     (((i6) (i14) (i9) (i1) (i12) (i4) (i11) (i8) (i3) (i2) (i15) (i10) (i13) (i5) (i7))
      ((done g4) (done g1) (done g5) (done g2) (done g3) (done g13) (done g12) (done g10)))
     (((i10) (i5) (i7) (i2) (i14) (i13) (i8) (i15) (i12) (i9) (i6) (i3) (i4) (i11) (i1))
      ((done g8) (done g12) (done g2) (done g13) (done g15) (done g4) (done g1) (done g5)))
     (((i5) (i11) (i14) (i15) (i1) (i8) (i10) (i12) (i7) (i4) (i13) (i2) (i6) (i9) (i3))
      ((done g10) (done g5) (done g7) (done g9) (done g11) (done g2) (done g6) (done g8)))
     (((i8) (i11) (i13) (i4) (i14) (i10) (i1) (i6) (i7) (i5) (i9) (i3) (i12) (i2) (i15))
      ((done g8) (done g7) (done g5) (done g10) (done g6) (done g11) (done g3) (done g13)))
     (((i11) (i8) (i10) (i13) (i7) (i15) (i5) (i3) (i12) (i4) (i2) (i9) (i1) (i14) (i6))
      ((done g7) (done g15) (done g3) (done g1) (done g9) (done g13) (done g2) (done g10)))
     
    )
    ((((i9) (i5) (i14) (i4) (i6) (i3) (i1) (i10) (i15) (i13) (i12) (i11) (i2) (i8) (i7))
      ((done g15) (done g6) (done g8) (done g10) (done g11) (done g7) (done g14) (done g1) (done g5)))
     (((i10) (i11) (i15) (i14) (i13) (i9) (i12) (i8) (i4) (i7) (i1) (i6) (i5) (i2) (i3))
      ((done g15) (done g8) (done g7) (done g10) (done g13) (done g5) (done g2) (done g11) (done g6)))
     (((i4) (i15) (i14) (i1) (i9) (i8) (i12) (i5) (i11) (i3) (i10) (i6) (i7) (i2) (i13))
      ((done g6) (done g11) (done g14) (done g13) (done g10) (done g12) (done g5) (done g3) (done g1)))
     (((i2) (i8) (i4) (i9) (i5) (i7) (i10) (i14) (i11) (i3) (i12) (i13) (i6) (i15) (i1))
      ((done g6) (done g12) (done g8) (done g5) (done g9) (done g10) (done g11) (done g15) (done g4)))
     (((i7) (i11) (i1) (i2) (i15) (i12) (i9) (i13) (i10) (i3) (i8) (i4) (i5) (i14) (i6))
      ((done g10) (done g4) (done g15) (done g14) (done g3) (done g2) (done g9) (done g12) (done g11)))
     (((i2) (i12) (i6) (i13) (i10) (i11) (i4) (i14) (i7) (i8) (i3) (i9) (i15) (i1) (i5))
      ((done g4) (done g8) (done g7) (done g10) (done g3) (done g5) (done g1) (done g11) (done g9)))
     (((i13) (i11) (i5) (i8) (i2) (i14) (i9) (i15) (i12) (i6) (i3) (i1) (i4) (i7) (i10))
      ((done g1) (done g7) (done g15) (done g10) (done g9) (done g13) (done g3) (done g5) (done g6)))
     (((i10) (i3) (i15) (i5) (i9) (i14) (i8) (i13) (i7) (i6) (i11) (i1) (i12) (i4) (i2))
      ((done g8) (done g15) (done g6) (done g5) (done g3) (done g14) (done g4) (done g11) (done g13)))
     (((i4) (i12) (i2) (i11) (i9) (i14) (i6) (i7) (i15) (i5) (i13) (i10) (i1) (i3) (i8))
      ((done g10) (done g5) (done g6) (done g15) (done g9) (done g7) (done g3) (done g12) (done g8)))
     (((i2) (i4) (i6) (i14) (i10) (i7) (i3) (i13) (i1) (i12) (i5) (i11) (i15) (i9) (i8))
      ((done g13) (done g4) (done g7) (done g15) (done g14) (done g5) (done g6) (done g8) (done g2)))
     
    )
    ((((i3) (i5) (i8) (i15) (i11) (i14) (i12) (i4) (i6) (i9) (i13) (i2) (i7) (i10) (i1))
      ((done g2) (done g14) (done g7) (done g8) (done g6) (done g12) (done g15) (done g11) (done g3) (done g4)))
     (((i4) (i6) (i3) (i8) (i2) (i15) (i11) (i7) (i12) (i5) (i13) (i9) (i14) (i1) (i10))
      ((done g15) (done g14) (done g12) (done g2) (done g8) (done g6) (done g3) (done g13) (done g11) (done g7)))
     (((i5) (i13) (i2) (i15) (i3) (i9) (i12) (i4) (i8) (i11) (i7) (i1) (i10) (i6) (i14))
      ((done g7) (done g12) (done g9) (done g4) (done g3) (done g6) (done g10) (done g13) (done g2) (done g1)))
     (((i13) (i8) (i2) (i5) (i11) (i4) (i12) (i7) (i15) (i9) (i1) (i14) (i3) (i10) (i6))
      ((done g11) (done g1) (done g13) (done g7) (done g6) (done g14) (done g10) (done g8) (done g5) (done g3)))
     (((i10) (i14) (i2) (i9) (i5) (i3) (i12) (i15) (i1) (i4) (i7) (i13) (i11) (i6) (i8))
      ((done g8) (done g14) (done g6) (done g9) (done g15) (done g11) (done g12) (done g5) (done g1) (done g13)))
     (((i4) (i5) (i6) (i14) (i7) (i11) (i12) (i9) (i15) (i3) (i10) (i13) (i1) (i2) (i8))
      ((done g8) (done g1) (done g15) (done g5) (done g7) (done g6) (done g13) (done g3) (done g10) (done g14)))
     (((i15) (i7) (i2) (i3) (i12) (i4) (i1) (i11) (i5) (i8) (i13) (i10) (i6) (i9) (i14))
      ((done g14) (done g1) (done g2) (done g12) (done g7) (done g11) (done g10) (done g15) (done g8) (done g4)))
     (((i9) (i6) (i10) (i11) (i1) (i3) (i4) (i14) (i8) (i7) (i15) (i13) (i5) (i12) (i2))
      ((done g10) (done g8) (done g2) (done g4) (done g3) (done g13) (done g9) (done g12) (done g5) (done g7)))
     (((i7) (i3) (i2) (i4) (i10) (i8) (i15) (i11) (i5) (i14) (i13) (i6) (i1) (i12) (i9))
      ((done g7) (done g14) (done g15) (done g1) (done g8) (done g10) (done g3) (done g12) (done g4) (done g13)))
     (((i8) (i12) (i5) (i1) (i7) (i3) (i6) (i4) (i9) (i13) (i10) (i14) (i2) (i15) (i11))
      ((done g9) (done g15) (done g7) (done g5) (done g10) (done g6) (done g3) (done g11) (done g8) (done g2)))
     
    )
    ((((i4) (i1) (i13) (i7) (i5) (i9) (i3) (i12) (i15) (i11) (i10) (i6) (i8) (i2) (i14))
      ((done g11) (done g6) (done g1) (done g15) (done g8) (done g4) (done g9) (done g12) (done g7) (done g10) (done g13)))
     (((i14) (i4) (i12) (i13) (i6) (i7) (i15) (i1) (i2) (i3) (i10) (i5) (i9) (i11) (i8))
      ((done g5) (done g10) (done g8) (done g6) (done g11) (done g9) (done g13) (done g1) (done g14) (done g4) (done g2)))
     (((i14) (i2) (i8) (i7) (i1) (i13) (i3) (i10) (i15) (i11) (i4) (i12) (i9) (i5) (i6))
      ((done g8) (done g13) (done g14) (done g2) (done g10) (done g3) (done g7) (done g1) (done g4) (done g9) (done g12)))
     (((i4) (i2) (i9) (i6) (i12) (i5) (i8) (i11) (i3) (i13) (i1) (i10) (i7) (i15) (i14))
      ((done g5) (done g11) (done g10) (done g12) (done g6) (done g9) (done g15) (done g8) (done g13) (done g1) (done g3)))
     (((i1) (i5) (i8) (i10) (i12) (i9) (i7) (i4) (i6) (i3) (i14) (i2) (i15) (i13) (i11))
      ((done g3) (done g1) (done g4) (done g14) (done g9) (done g10) (done g13) (done g12) (done g5) (done g8) (done g6)))
     (((i3) (i2) (i8) (i13) (i4) (i14) (i15) (i11) (i10) (i5) (i6) (i1) (i9) (i12) (i7))
      ((done g12) (done g15) (done g7) (done g9) (done g10) (done g5) (done g6) (done g11) (done g13) (done g2) (done g8)))
     (((i4) (i12) (i9) (i10) (i5) (i3) (i13) (i11) (i7) (i14) (i2) (i15) (i8) (i1) (i6))
      ((done g9) (done g11) (done g6) (done g2) (done g13) (done g10) (done g1) (done g12) (done g4) (done g15) (done g3)))
     (((i13) (i7) (i4) (i5) (i9) (i6) (i2) (i12) (i1) (i11) (i3) (i8) (i10) (i14) (i15))
      ((done g4) (done g5) (done g10) (done g14) (done g6) (done g7) (done g12) (done g3) (done g11) (done g8) (done g9)))
     (((i11) (i9) (i6) (i15) (i10) (i5) (i8) (i12) (i14) (i2) (i1) (i7) (i13) (i3) (i4))
      ((done g3) (done g5) (done g2) (done g6) (done g9) (done g13) (done g14) (done g10) (done g15) (done g11) (done g4)))
     (((i4) (i10) (i7) (i5) (i9) (i14) (i15) (i2) (i8) (i1) (i12) (i11) (i6) (i3) (i13))
      ((done g8) (done g5) (done g6) (done g10) (done g13) (done g1) (done g7) (done g11) (done g2) (done g15) (done g4)))
     
    )
    ((((i11) (i5) (i15) (i4) (i13) (i14) (i12) (i7) (i1) (i2) (i8) (i10) (i9) (i6) (i3))
      ((done g8) (done g1) (done g10) (done g12) (done g14) (done g5) (done g11) (done g7) (done g3) (done g4) (done g2) (done g13)))
     (((i7) (i3) (i4) (i10) (i6) (i1) (i2) (i8) (i13) (i11) (i12) (i14) (i9) (i15) (i5))
      ((done g11) (done g1) (done g7) (done g4) (done g2) (done g9) (done g3) (done g13) (done g15) (done g6) (done g14) (done g8)))
     (((i3) (i7) (i6) (i4) (i14) (i11) (i13) (i1) (i5) (i12) (i8) (i15) (i10) (i9) (i2))
      ((done g10) (done g9) (done g1) (done g11) (done g4) (done g2) (done g6) (done g12) (done g5) (done g7) (done g15) (done g3)))
     (((i4) (i2) (i11) (i5) (i6) (i10) (i9) (i8) (i14) (i12) (i15) (i7) (i3) (i13) (i1))
      ((done g15) (done g13) (done g5) (done g7) (done g12) (done g11) (done g6) (done g14) (done g2) (done g3) (done g4) (done g9)))
     (((i13) (i8) (i3) (i7) (i11) (i15) (i4) (i5) (i2) (i14) (i10) (i12) (i9) (i1) (i6))
      ((done g4) (done g10) (done g1) (done g2) (done g8) (done g11) (done g6) (done g3) (done g9) (done g14) (done g15) (done g7)))
     (((i5) (i3) (i4) (i15) (i2) (i1) (i12) (i10) (i13) (i9) (i7) (i11) (i14) (i8) (i6))
      ((done g2) (done g8) (done g3) (done g1) (done g13) (done g14) (done g15) (done g12) (done g7) (done g11) (done g10) (done g6)))
     (((i1) (i2) (i5) (i6) (i11) (i12) (i10) (i9) (i4) (i13) (i3) (i15) (i7) (i8) (i14))
      ((done g2) (done g1) (done g11) (done g8) (done g3) (done g4) (done g6) (done g5) (done g7) (done g15) (done g13) (done g10)))
     (((i12) (i1) (i11) (i5) (i4) (i15) (i7) (i14) (i3) (i8) (i6) (i9) (i2) (i10) (i13))
      ((done g15) (done g4) (done g3) (done g9) (done g11) (done g10) (done g6) (done g5) (done g1) (done g14) (done g2) (done g12)))
     (((i4) (i1) (i15) (i11) (i5) (i3) (i2) (i14) (i7) (i10) (i8) (i6) (i9) (i12) (i13))
      ((done g5) (done g8) (done g14) (done g10) (done g6) (done g3) (done g13) (done g1) (done g11) (done g9) (done g2) (done g7)))
     (((i11) (i8) (i2) (i7) (i4) (i1) (i14) (i12) (i6) (i10) (i3) (i5) (i9) (i13) (i15))
      ((done g2) (done g10) (done g11) (done g5) (done g14) (done g9) (done g12) (done g4) (done g7) (done g8) (done g1) (done g3)))
     
    )
    ((((i9) (i1) (i6) (i13) (i4) (i3) (i14) (i12) (i7) (i5) (i2) (i10) (i11) (i15) (i8))
      ((done g1) (done g2) (done g11) (done g13) (done g5) (done g3) (done g7) (done g15) (done g12) (done g4) (done g9) (done g8) (done g6)))
     (((i7) (i11) (i6) (i8) (i5) (i12) (i3) (i4) (i14) (i15) (i1) (i13) (i10) (i2) (i9))
      ((done g5) (done g8) (done g1) (done g4) (done g12) (done g2) (done g10) (done g3) (done g15) (done g11) (done g14) (done g6) (done g9)))
     (((i9) (i11) (i1) (i6) (i3) (i12) (i7) (i8) (i4) (i14) (i2) (i5) (i15) (i10) (i13))
      ((done g12) (done g6) (done g9) (done g2) (done g14) (done g13) (done g1) (done g11) (done g7) (done g4) (done g10) (done g15) (done g8)))
     (((i4) (i2) (i13) (i3) (i5) (i11) (i7) (i15) (i1) (i10) (i8) (i14) (i12) (i6) (i9))
      ((done g9) (done g12) (done g15) (done g2) (done g3) (done g6) (done g13) (done g11) (done g8) (done g14) (done g10) (done g4) (done g7)))
     (((i9) (i3) (i1) (i10) (i13) (i12) (i11) (i15) (i14) (i5) (i6) (i8) (i7) (i2) (i4))
      ((done g6) (done g1) (done g5) (done g2) (done g10) (done g11) (done g13) (done g15) (done g8) (done g12) (done g14) (done g9) (done g7)))
     (((i11) (i6) (i3) (i10) (i7) (i9) (i2) (i13) (i15) (i14) (i1) (i8) (i12) (i4) (i5))
      ((done g13) (done g2) (done g9) (done g8) (done g4) (done g3) (done g7) (done g10) (done g11) (done g12) (done g15) (done g1) (done g14)))
     (((i4) (i8) (i14) (i2) (i13) (i3) (i9) (i7) (i10) (i15) (i12) (i11) (i5) (i6) (i1))
      ((done g7) (done g12) (done g9) (done g6) (done g8) (done g5) (done g11) (done g13) (done g15) (done g3) (done g14) (done g10) (done g4)))
     (((i4) (i8) (i10) (i3) (i9) (i12) (i5) (i2) (i13) (i14) (i11) (i7) (i15) (i6) (i1))
      ((done g6) (done g12) (done g7) (done g9) (done g10) (done g1) (done g8) (done g15) (done g3) (done g13) (done g4) (done g11) (done g14)))
     (((i11) (i1) (i9) (i7) (i15) (i13) (i14) (i10) (i2) (i3) (i6) (i12) (i4) (i8) (i5))
      ((done g13) (done g11) (done g9) (done g12) (done g3) (done g2) (done g10) (done g7) (done g1) (done g14) (done g4) (done g15) (done g6)))
     (((i11) (i9) (i5) (i6) (i2) (i12) (i14) (i13) (i3) (i1) (i15) (i4) (i7) (i10) (i8))
      ((done g3) (done g7) (done g4) (done g11) (done g8) (done g15) (done g6) (done g10) (done g14) (done g9) (done g1) (done g12) (done g13)))
     
    )
    ((((i12) (i8) (i9) (i14) (i15) (i13) (i3) (i11) (i2) (i4) (i5) (i1) (i7) (i10) (i6))
      ((done g4) (done g5) (done g1) (done g12) (done g3) (done g6) (done g8) (done g2) (done g13) (done g11) (done g15) (done g7) (done g14) (done g9)))
     (((i2) (i11) (i8) (i4) (i9) (i1) (i6) (i3) (i7) (i14) (i5) (i12) (i15) (i13) (i10))
      ((done g13) (done g12) (done g10) (done g5) (done g7) (done g4) (done g15) (done g9) (done g6) (done g3) (done g11) (done g14) (done g2) (done g8)))
     (((i12) (i3) (i4) (i6) (i14) (i10) (i5) (i13) (i8) (i1) (i11) (i7) (i2) (i15) (i9))
      ((done g13) (done g4) (done g11) (done g12) (done g3) (done g15) (done g2) (done g9) (done g10) (done g5) (done g1) (done g7) (done g6) (done g8)))
     (((i8) (i13) (i9) (i7) (i1) (i14) (i5) (i6) (i4) (i11) (i10) (i15) (i2) (i12) (i3))
      ((done g15) (done g4) (done g14) (done g8) (done g9) (done g7) (done g10) (done g11) (done g12) (done g5) (done g13) (done g3) (done g6) (done g2)))
     (((i15) (i6) (i13) (i1) (i4) (i14) (i2) (i11) (i3) (i12) (i5) (i8) (i7) (i10) (i9))
      ((done g3) (done g1) (done g7) (done g2) (done g4) (done g11) (done g9) (done g12) (done g15) (done g14) (done g6) (done g10) (done g8) (done g5)))
     (((i7) (i9) (i15) (i1) (i2) (i13) (i14) (i4) (i10) (i6) (i12) (i3) (i5) (i8) (i11))
      ((done g11) (done g3) (done g7) (done g5) (done g8) (done g6) (done g15) (done g13) (done g2) (done g12) (done g10) (done g9) (done g4) (done g1)))
     (((i4) (i2) (i11) (i8) (i1) (i15) (i13) (i3) (i7) (i5) (i9) (i10) (i14) (i6) (i12))
      ((done g1) (done g11) (done g14) (done g2) (done g13) (done g15) (done g3) (done g10) (done g5) (done g6) (done g7) (done g9) (done g4) (done g8)))
     (((i12) (i1) (i2) (i9) (i7) (i13) (i5) (i14) (i10) (i3) (i8) (i6) (i4) (i11) (i15))
      ((done g2) (done g1) (done g5) (done g14) (done g11) (done g4) (done g9) (done g12) (done g10) (done g15) (done g3) (done g13) (done g8) (done g6)))
     (((i7) (i11) (i13) (i12) (i1) (i5) (i9) (i3) (i15) (i14) (i10) (i4) (i2) (i6) (i8))
      ((done g12) (done g5) (done g13) (done g3) (done g8) (done g10) (done g6) (done g15) (done g4) (done g14) (done g1) (done g7) (done g11) (done g2)))
     (((i3) (i1) (i11) (i10) (i6) (i4) (i14) (i7) (i15) (i2) (i8) (i5) (i13) (i12) (i9))
      ((done g10) (done g6) (done g2) (done g3) (done g8) (done g7) (done g11) (done g15) (done g1) (done g9) (done g5) (done g4) (done g12) (done g14)))
     
    )
    ((((i4) (i5) (i10) (i14) (i13) (i7) (i8) (i12) (i15) (i9) (i1) (i11) (i3) (i6) (i2))
      ((done g3) (done g13) (done g4) (done g8) (done g5) (done g11) (done g9) (done g6) (done g14) (done g7) (done g10) (done g1) (done g12) (done g2) (done g15)))
     (((i6) (i10) (i12) (i3) (i11) (i13) (i15) (i7) (i14) (i1) (i2) (i8) (i4) (i9) (i5))
      ((done g1) (done g13) (done g7) (done g9) (done g11) (done g6) (done g5) (done g3) (done g2) (done g4) (done g8) (done g10) (done g15) (done g12) (done g14)))
     (((i12) (i7) (i2) (i9) (i15) (i6) (i10) (i11) (i3) (i8) (i13) (i14) (i4) (i5) (i1))
      ((done g13) (done g9) (done g4) (done g15) (done g1) (done g5) (done g6) (done g14) (done g12) (done g8) (done g7) (done g3) (done g10) (done g11) (done g2)))
     (((i6) (i10) (i1) (i12) (i7) (i11) (i8) (i3) (i5) (i2) (i14) (i9) (i4) (i13) (i15))
      ((done g10) (done g2) (done g11) (done g6) (done g5) (done g8) (done g1) (done g9) (done g12) (done g13) (done g14) (done g3) (done g15) (done g7) (done g4)))
     (((i11) (i7) (i3) (i6) (i5) (i12) (i1) (i10) (i4) (i13) (i15) (i2) (i8) (i14) (i9))
      ((done g5) (done g6) (done g4) (done g13) (done g15) (done g14) (done g11) (done g8) (done g12) (done g9) (done g10) (done g7) (done g2) (done g3) (done g1)))
     (((i11) (i10) (i2) (i9) (i4) (i14) (i1) (i6) (i7) (i13) (i5) (i3) (i15) (i8) (i12))
      ((done g14) (done g7) (done g6) (done g15) (done g2) (done g4) (done g10) (done g11) (done g5) (done g8) (done g3) (done g1) (done g13) (done g9) (done g12)))
     (((i2) (i11) (i5) (i10) (i15) (i13) (i3) (i12) (i14) (i7) (i6) (i8) (i1) (i9) (i4))
      ((done g6) (done g5) (done g2) (done g7) (done g14) (done g3) (done g1) (done g4) (done g13) (done g12) (done g10) (done g9) (done g8) (done g15) (done g11)))
     (((i4) (i3) (i2) (i9) (i14) (i6) (i13) (i7) (i10) (i8) (i12) (i11) (i15) (i5) (i1))
      ((done g1) (done g13) (done g11) (done g14) (done g7) (done g10) (done g2) (done g3) (done g15) (done g9) (done g6) (done g4) (done g5) (done g8) (done g12)))
     (((i13) (i7) (i1) (i11) (i14) (i4) (i3) (i9) (i8) (i12) (i10) (i15) (i2) (i5) (i6))
      ((done g9) (done g5) (done g8) (done g4) (done g1) (done g2) (done g11) (done g14) (done g10) (done g12) (done g15) (done g7) (done g6) (done g3) (done g13)))
     (((i12) (i10) (i1) (i6) (i11) (i3) (i4) (i8) (i5) (i7) (i14) (i2) (i9) (i13) (i15))
      ((done g8) (done g15) (done g7) (done g1) (done g14) (done g2) (done g12) (done g11) (done g4) (done g6) (done g3) (done g10) (done g13) (done g9) (done g5)))
     
    )
))
