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 D1-use-once.  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))
      ((g13)))
     (((i12) (i6) (i11) (i9) (i2) (i7) (i8) (i10) (i13) (i5) (i15) (i3) (i4) (i1) (i14))
      ((g12)))
     (((i9) (i13) (i7) (i11) (i3) (i15) (i2) (i5) (i12) (i6) (i14) (i4) (i1) (i8) (i10))
      ((g3)))
     (((i12) (i1) (i5) (i7) (i13) (i9) (i10) (i3) (i2) (i4) (i14) (i8) (i15) (i6) (i11))
      ((g15)))
     (((i11) (i3) (i6) (i10) (i1) (i8) (i4) (i9) (i2) (i13) (i15) (i5) (i14) (i7) (i12))
      ((g13)))
     (((i11) (i1) (i10) (i8) (i15) (i13) (i9) (i7) (i4) (i6) (i12) (i14) (i2) (i3) (i5))
      ((g12)))
     (((i11) (i5) (i15) (i3) (i14) (i8) (i13) (i1) (i12) (i2) (i6) (i7) (i9) (i10) (i4))
      ((g10)))
     (((i9) (i4) (i14) (i12) (i7) (i6) (i5) (i13) (i1) (i10) (i3) (i2) (i8) (i11) (i15))
      ((g6)))
     (((i4) (i1) (i2) (i9) (i6) (i10) (i15) (i8) (i7) (i13) (i12) (i3) (i14) (i5) (i11))
      ((g13)))
     (((i8) (i7) (i6) (i11) (i5) (i2) (i1) (i12) (i13) (i4) (i10) (i3) (i14) (i9) (i15))
      ((g12)))
     
    )
    ((((i11) (i8) (i3) (i1) (i6) (i13) (i9) (i15) (i4) (i12) (i2) (i14) (i10) (i5) (i7))
      ((g4) (g15)))
     (((i5) (i14) (i3) (i12) (i11) (i9) (i13) (i4) (i7) (i6) (i1) (i10) (i2) (i8) (i15))
      ((g9) (g4)))
     (((i8) (i12) (i15) (i9) (i13) (i4) (i5) (i7) (i2) (i1) (i3) (i10) (i11) (i14) (i6))
      ((g6) (g14)))
     (((i7) (i15) (i8) (i5) (i6) (i9) (i10) (i2) (i3) (i12) (i1) (i11) (i14) (i4) (i13))
      ((g13) (g1)))
     (((i6) (i13) (i8) (i10) (i9) (i5) (i7) (i14) (i11) (i4) (i12) (i3) (i1) (i15) (i2))
      ((g3) (g4)))
     (((i5) (i9) (i12) (i15) (i8) (i3) (i13) (i10) (i6) (i11) (i7) (i14) (i4) (i1) (i2))
      ((g8) (g7)))
     (((i3) (i4) (i2) (i9) (i13) (i6) (i14) (i8) (i11) (i7) (i12) (i10) (i15) (i5) (i1))
      ((g6) (g3)))
     (((i10) (i7) (i6) (i3) (i12) (i11) (i9) (i4) (i14) (i5) (i13) (i8) (i2) (i1) (i15))
      ((g10) (g13)))
     (((i15) (i9) (i12) (i13) (i5) (i7) (i10) (i11) (i4) (i2) (i14) (i3) (i6) (i1) (i8))
      ((g4) (g14)))
     (((i7) (i8) (i3) (i11) (i14) (i6) (i13) (i1) (i2) (i10) (i9) (i15) (i5) (i4) (i12))
      ((g1) (g4)))
     
    )
    ((((i15) (i8) (i14) (i1) (i3) (i13) (i7) (i11) (i4) (i9) (i6) (i10) (i5) (i12) (i2))
      ((g15) (g7) (g13)))
     (((i7) (i11) (i14) (i8) (i4) (i3) (i10) (i13) (i1) (i6) (i2) (i9) (i12) (i15) (i5))
      ((g13) (g12) (g7)))
     (((i2) (i8) (i9) (i6) (i7) (i5) (i13) (i10) (i14) (i12) (i4) (i3) (i15) (i11) (i1))
      ((g9) (g6) (g2)))
     (((i12) (i4) (i3) (i2) (i11) (i15) (i5) (i10) (i13) (i8) (i9) (i6) (i7) (i14) (i1))
      ((g6) (g4) (g5)))
     (((i14) (i9) (i12) (i1) (i2) (i6) (i3) (i7) (i4) (i8) (i13) (i11) (i5) (i15) (i10))
      ((g12) (g14) (g11)))
     (((i10) (i8) (i11) (i7) (i4) (i12) (i13) (i6) (i1) (i14) (i5) (i2) (i9) (i15) (i3))
      ((g2) (g15) (g11)))
     (((i11) (i2) (i13) (i15) (i4) (i8) (i10) (i9) (i3) (i7) (i6) (i12) (i14) (i1) (i5))
      ((g2) (g4) (g13)))
     (((i4) (i8) (i7) (i2) (i9) (i1) (i3) (i15) (i12) (i10) (i13) (i14) (i6) (i11) (i5))
      ((g6) (g5) (g1)))
     (((i11) (i5) (i15) (i8) (i9) (i7) (i3) (i14) (i10) (i1) (i12) (i2) (i6) (i13) (i4))
      ((g12) (g14) (g13)))
     (((i13) (i6) (i14) (i9) (i2) (i7) (i4) (i12) (i1) (i10) (i15) (i5) (i8) (i11) (i3))
      ((g10) (g11) (g2)))
     
    )
    ((((i9) (i14) (i7) (i8) (i4) (i2) (i15) (i10) (i11) (i12) (i6) (i3) (i13) (i5) (i1))
      ((g9) (g14) (g11) (g1)))
     (((i9) (i5) (i8) (i14) (i12) (i6) (i1) (i7) (i10) (i4) (i13) (i2) (i15) (i11) (i3))
      ((g15) (g10) (g11) (g4)))
     (((i4) (i10) (i1) (i3) (i5) (i11) (i8) (i13) (i7) (i15) (i6) (i2) (i14) (i9) (i12))
      ((g4) (g5) (g13) (g6)))
     (((i4) (i11) (i8) (i13) (i14) (i2) (i1) (i7) (i3) (i15) (i5) (i10) (i12) (i6) (i9))
      ((g6) (g14) (g2) (g10)))
     (((i14) (i13) (i12) (i2) (i1) (i11) (i10) (i6) (i7) (i3) (i9) (i8) (i5) (i4) (i15))
      ((g13) (g3) (g6) (g7)))
     (((i4) (i15) (i6) (i7) (i9) (i13) (i3) (i14) (i11) (i2) (i12) (i10) (i8) (i1) (i5))
      ((g11) (g3) (g8) (g15)))
     (((i15) (i5) (i9) (i3) (i10) (i1) (i6) (i13) (i2) (i12) (i11) (i14) (i8) (i4) (i7))
      ((g11) (g5) (g4) (g3)))
     (((i14) (i9) (i15) (i6) (i5) (i7) (i3) (i8) (i11) (i1) (i10) (i2) (i12) (i13) (i4))
      ((g11) (g4) (g8) (g1)))
     (((i5) (i13) (i9) (i14) (i8) (i10) (i2) (i11) (i6) (i4) (i1) (i7) (i15) (i12) (i3))
      ((g1) (g6) (g10) (g2)))
     (((i14) (i13) (i15) (i9) (i11) (i6) (i12) (i8) (i2) (i4) (i1) (i3) (i5) (i10) (i7))
      ((g2) (g4) (g7) (g14)))
     
    )
    ((((i6) (i9) (i3) (i10) (i4) (i7) (i2) (i12) (i14) (i1) (i11) (i5) (i8) (i15) (i13))
      ((g15) (g10) (g11) (g3) (g13)))
     (((i11) (i2) (i8) (i1) (i4) (i6) (i12) (i10) (i3) (i9) (i7) (i5) (i15) (i13) (i14))
      ((g15) (g10) (g11) (g9) (g13)))
     (((i7) (i5) (i2) (i14) (i11) (i4) (i1) (i13) (i12) (i8) (i10) (i15) (i6) (i9) (i3))
      ((g3) (g2) (g8) (g10) (g11)))
     (((i11) (i10) (i9) (i15) (i8) (i5) (i6) (i12) (i3) (i7) (i2) (i1) (i14) (i4) (i13))
      ((g7) (g13) (g10) (g4) (g6)))
     (((i15) (i4) (i12) (i7) (i1) (i2) (i9) (i5) (i6) (i14) (i10) (i8) (i13) (i11) (i3))
      ((g1) (g4) (g12) (g2) (g13)))
     (((i4) (i3) (i1) (i15) (i2) (i9) (i11) (i13) (i7) (i6) (i14) (i8) (i10) (i12) (i5))
      ((g4) (g11) (g1) (g7) (g6)))
     (((i4) (i14) (i15) (i13) (i8) (i5) (i11) (i10) (i12) (i2) (i7) (i3) (i9) (i6) (i1))
      ((g4) (g13) (g3) (g11) (g10)))
     (((i3) (i15) (i1) (i8) (i13) (i6) (i9) (i12) (i5) (i7) (i4) (i14) (i11) (i10) (i2))
      ((g2) (g10) (g3) (g13) (g1)))
     (((i7) (i8) (i5) (i4) (i2) (i11) (i13) (i9) (i14) (i3) (i15) (i1) (i10) (i12) (i6))
      ((g6) (g13) (g11) (g5) (g3)))
     (((i5) (i9) (i1) (i11) (i4) (i10) (i13) (i15) (i2) (i6) (i12) (i3) (i14) (i8) (i7))
      ((g8) (g15) (g3) (g5) (g14)))
     
    )
    ((((i11) (i6) (i5) (i4) (i14) (i12) (i9) (i1) (i15) (i10) (i7) (i2) (i8) (i13) (i3))
      ((g5) (g4) (g9) (g14) (g3) (g10)))
     (((i6) (i1) (i3) (i8) (i2) (i15) (i5) (i9) (i10) (i7) (i11) (i13) (i4) (i12) (i14))
      ((g8) (g1) (g3) (g11) (g5) (g4)))
     (((i10) (i5) (i15) (i9) (i8) (i3) (i4) (i2) (i14) (i7) (i1) (i12) (i11) (i6) (i13))
      ((g1) (g4) (g5) (g13) (g9) (g2)))
     (((i11) (i14) (i10) (i5) (i7) (i4) (i13) (i15) (i8) (i6) (i2) (i12) (i1) (i3) (i9))
      ((g15) (g11) (g4) (g12) (g3) (g9)))
     (((i4) (i13) (i11) (i8) (i14) (i5) (i15) (i3) (i10) (i1) (i7) (i12) (i2) (i9) (i6))
      ((g9) (g1) (g14) (g6) (g15) (g12)))
     (((i3) (i7) (i4) (i9) (i15) (i2) (i6) (i12) (i10) (i14) (i1) (i5) (i13) (i11) (i8))
      ((g6) (g8) (g11) (g10) (g5) (g3)))
     (((i12) (i7) (i14) (i8) (i1) (i5) (i2) (i10) (i11) (i15) (i13) (i6) (i9) (i4) (i3))
      ((g7) (g5) (g8) (g9) (g3) (g2)))
     (((i6) (i12) (i1) (i10) (i9) (i7) (i11) (i14) (i5) (i3) (i8) (i2) (i13) (i4) (i15))
      ((g13) (g4) (g14) (g10) (g15) (g11)))
     (((i13) (i11) (i6) (i3) (i4) (i12) (i14) (i2) (i7) (i10) (i1) (i15) (i5) (i8) (i9))
      ((g3) (g11) (g9) (g4) (g6) (g12)))
     (((i3) (i1) (i2) (i11) (i15) (i4) (i13) (i12) (i5) (i6) (i8) (i14) (i10) (i7) (i9))
      ((g12) (g4) (g8) (g15) (g7) (g13)))
     
    )
    ((((i10) (i15) (i2) (i5) (i14) (i13) (i8) (i7) (i6) (i3) (i1) (i4) (i12) (i9) (i11))
      ((g1) (g9) (g3) (g11) (g7) (g13) (g5)))
     (((i2) (i3) (i11) (i8) (i13) (i10) (i14) (i15) (i12) (i4) (i6) (i7) (i5) (i9) (i1))
      ((g9) (g13) (g3) (g7) (g14) (g11) (g1)))
     (((i4) (i6) (i5) (i8) (i11) (i12) (i13) (i14) (i10) (i9) (i1) (i2) (i7) (i15) (i3))
      ((g8) (g14) (g12) (g3) (g2) (g5) (g11)))
     (((i9) (i6) (i4) (i10) (i11) (i7) (i13) (i5) (i3) (i8) (i12) (i15) (i14) (i1) (i2))
      ((g8) (g12) (g14) (g11) (g15) (g6) (g3)))
     (((i1) (i3) (i10) (i5) (i14) (i7) (i8) (i11) (i13) (i4) (i9) (i6) (i2) (i15) (i12))
      ((g12) (g8) (g14) (g2) (g11) (g10) (g7)))
     (((i11) (i15) (i14) (i12) (i13) (i5) (i8) (i9) (i2) (i3) (i10) (i7) (i4) (i6) (i1))
      ((g11) (g1) (g10) (g2) (g8) (g12) (g7)))
     (((i8) (i3) (i10) (i15) (i12) (i9) (i11) (i6) (i13) (i2) (i14) (i7) (i4) (i5) (i1))
      ((g6) (g8) (g14) (g1) (g10) (g4) (g11)))
     (((i5) (i9) (i11) (i12) (i15) (i13) (i3) (i4) (i7) (i14) (i8) (i10) (i1) (i6) (i2))
      ((g12) (g7) (g10) (g5) (g14) (g3) (g1)))
     (((i13) (i3) (i1) (i14) (i10) (i2) (i7) (i4) (i8) (i9) (i5) (i6) (i11) (i15) (i12))
      ((g3) (g1) (g10) (g11) (g14) (g12) (g6)))
     (((i15) (i5) (i10) (i12) (i2) (i11) (i9) (i4) (i7) (i8) (i3) (i13) (i14) (i6) (i1))
      ((g10) (g9) (g3) (g2) (g8) (g6) (g14)))
     
    )
    ((((i5) (i15) (i12) (i13) (i2) (i4) (i11) (i6) (i1) (i9) (i14) (i10) (i7) (i3) (i8))
      ((g5) (g7) (g6) (g9) (g12) (g4) (g10) (g2)))
     (((i4) (i2) (i10) (i9) (i1) (i13) (i12) (i14) (i3) (i11) (i5) (i7) (i15) (i8) (i6))
      ((g9) (g4) (g13) (g3) (g14) (g1) (g7) (g12)))
     (((i7) (i5) (i4) (i15) (i2) (i8) (i12) (i6) (i3) (i1) (i10) (i13) (i11) (i14) (i9))
      ((g8) (g13) (g1) (g7) (g5) (g6) (g11) (g14)))
     (((i12) (i1) (i8) (i10) (i3) (i5) (i4) (i11) (i7) (i15) (i9) (i13) (i2) (i14) (i6))
      ((g12) (g1) (g5) (g7) (g15) (g6) (g4) (g11)))
     (((i1) (i4) (i12) (i13) (i5) (i15) (i3) (i7) (i11) (i9) (i8) (i14) (i2) (i6) (i10))
      ((g15) (g4) (g1) (g7) (g9) (g11) (g3) (g5)))
     (((i6) (i14) (i9) (i1) (i12) (i4) (i11) (i8) (i3) (i2) (i15) (i10) (i13) (i5) (i7))
      ((g4) (g1) (g5) (g2) (g3) (g13) (g12) (g10)))
     (((i10) (i5) (i7) (i2) (i14) (i13) (i8) (i15) (i12) (i9) (i6) (i3) (i4) (i11) (i1))
      ((g8) (g12) (g2) (g13) (g15) (g4) (g1) (g5)))
     (((i5) (i11) (i14) (i15) (i1) (i8) (i10) (i12) (i7) (i4) (i13) (i2) (i6) (i9) (i3))
      ((g10) (g5) (g7) (g9) (g11) (g2) (g6) (g8)))
     (((i8) (i11) (i13) (i4) (i14) (i10) (i1) (i6) (i7) (i5) (i9) (i3) (i12) (i2) (i15))
      ((g8) (g7) (g5) (g10) (g6) (g11) (g3) (g13)))
     (((i11) (i8) (i10) (i13) (i7) (i15) (i5) (i3) (i12) (i4) (i2) (i9) (i1) (i14) (i6))
      ((g7) (g15) (g3) (g1) (g9) (g13) (g2) (g10)))
     
    )
    ((((i9) (i5) (i14) (i4) (i6) (i3) (i1) (i10) (i15) (i13) (i12) (i11) (i2) (i8) (i7))
      ((g15) (g6) (g8) (g10) (g11) (g7) (g14) (g1) (g5)))
     (((i10) (i11) (i15) (i14) (i13) (i9) (i12) (i8) (i4) (i7) (i1) (i6) (i5) (i2) (i3))
      ((g15) (g8) (g7) (g10) (g13) (g5) (g2) (g11) (g6)))
     (((i4) (i15) (i14) (i1) (i9) (i8) (i12) (i5) (i11) (i3) (i10) (i6) (i7) (i2) (i13))
      ((g6) (g11) (g14) (g13) (g10) (g12) (g5) (g3) (g1)))
     (((i2) (i8) (i4) (i9) (i5) (i7) (i10) (i14) (i11) (i3) (i12) (i13) (i6) (i15) (i1))
      ((g6) (g12) (g8) (g5) (g9) (g10) (g11) (g15) (g4)))
     (((i7) (i11) (i1) (i2) (i15) (i12) (i9) (i13) (i10) (i3) (i8) (i4) (i5) (i14) (i6))
      ((g10) (g4) (g15) (g14) (g3) (g2) (g9) (g12) (g11)))
     (((i2) (i12) (i6) (i13) (i10) (i11) (i4) (i14) (i7) (i8) (i3) (i9) (i15) (i1) (i5))
      ((g4) (g8) (g7) (g10) (g3) (g5) (g1) (g11) (g9)))
     (((i13) (i11) (i5) (i8) (i2) (i14) (i9) (i15) (i12) (i6) (i3) (i1) (i4) (i7) (i10))
      ((g1) (g7) (g15) (g10) (g9) (g13) (g3) (g5) (g6)))
     (((i10) (i3) (i15) (i5) (i9) (i14) (i8) (i13) (i7) (i6) (i11) (i1) (i12) (i4) (i2))
      ((g8) (g15) (g6) (g5) (g3) (g14) (g4) (g11) (g13)))
     (((i4) (i12) (i2) (i11) (i9) (i14) (i6) (i7) (i15) (i5) (i13) (i10) (i1) (i3) (i8))
      ((g10) (g5) (g6) (g15) (g9) (g7) (g3) (g12) (g8)))
     (((i2) (i4) (i6) (i14) (i10) (i7) (i3) (i13) (i1) (i12) (i5) (i11) (i15) (i9) (i8))
      ((g13) (g4) (g7) (g15) (g14) (g5) (g6) (g8) (g2)))
     
    )
    ((((i3) (i5) (i8) (i15) (i11) (i14) (i12) (i4) (i6) (i9) (i13) (i2) (i7) (i10) (i1))
      ((g2) (g14) (g7) (g8) (g6) (g12) (g15) (g11) (g3) (g4)))
     (((i4) (i6) (i3) (i8) (i2) (i15) (i11) (i7) (i12) (i5) (i13) (i9) (i14) (i1) (i10))
      ((g15) (g14) (g12) (g2) (g8) (g6) (g3) (g13) (g11) (g7)))
     (((i5) (i13) (i2) (i15) (i3) (i9) (i12) (i4) (i8) (i11) (i7) (i1) (i10) (i6) (i14))
      ((g7) (g12) (g9) (g4) (g3) (g6) (g10) (g13) (g2) (g1)))
     (((i13) (i8) (i2) (i5) (i11) (i4) (i12) (i7) (i15) (i9) (i1) (i14) (i3) (i10) (i6))
      ((g11) (g1) (g13) (g7) (g6) (g14) (g10) (g8) (g5) (g3)))
     (((i10) (i14) (i2) (i9) (i5) (i3) (i12) (i15) (i1) (i4) (i7) (i13) (i11) (i6) (i8))
      ((g8) (g14) (g6) (g9) (g15) (g11) (g12) (g5) (g1) (g13)))
     (((i4) (i5) (i6) (i14) (i7) (i11) (i12) (i9) (i15) (i3) (i10) (i13) (i1) (i2) (i8))
      ((g8) (g1) (g15) (g5) (g7) (g6) (g13) (g3) (g10) (g14)))
     (((i15) (i7) (i2) (i3) (i12) (i4) (i1) (i11) (i5) (i8) (i13) (i10) (i6) (i9) (i14))
      ((g14) (g1) (g2) (g12) (g7) (g11) (g10) (g15) (g8) (g4)))
     (((i9) (i6) (i10) (i11) (i1) (i3) (i4) (i14) (i8) (i7) (i15) (i13) (i5) (i12) (i2))
      ((g10) (g8) (g2) (g4) (g3) (g13) (g9) (g12) (g5) (g7)))
     (((i7) (i3) (i2) (i4) (i10) (i8) (i15) (i11) (i5) (i14) (i13) (i6) (i1) (i12) (i9))
      ((g7) (g14) (g15) (g1) (g8) (g10) (g3) (g12) (g4) (g13)))
     (((i8) (i12) (i5) (i1) (i7) (i3) (i6) (i4) (i9) (i13) (i10) (i14) (i2) (i15) (i11))
      ((g9) (g15) (g7) (g5) (g10) (g6) (g3) (g11) (g8) (g2)))
     
    )
    ((((i4) (i1) (i13) (i7) (i5) (i9) (i3) (i12) (i15) (i11) (i10) (i6) (i8) (i2) (i14))
      ((g11) (g6) (g1) (g15) (g8) (g4) (g9) (g12) (g7) (g10) (g13)))
     (((i14) (i4) (i12) (i13) (i6) (i7) (i15) (i1) (i2) (i3) (i10) (i5) (i9) (i11) (i8))
      ((g5) (g10) (g8) (g6) (g11) (g9) (g13) (g1) (g14) (g4) (g2)))
     (((i14) (i2) (i8) (i7) (i1) (i13) (i3) (i10) (i15) (i11) (i4) (i12) (i9) (i5) (i6))
      ((g8) (g13) (g14) (g2) (g10) (g3) (g7) (g1) (g4) (g9) (g12)))
     (((i4) (i2) (i9) (i6) (i12) (i5) (i8) (i11) (i3) (i13) (i1) (i10) (i7) (i15) (i14))
      ((g5) (g11) (g10) (g12) (g6) (g9) (g15) (g8) (g13) (g1) (g3)))
     (((i1) (i5) (i8) (i10) (i12) (i9) (i7) (i4) (i6) (i3) (i14) (i2) (i15) (i13) (i11))
      ((g3) (g1) (g4) (g14) (g9) (g10) (g13) (g12) (g5) (g8) (g6)))
     (((i3) (i2) (i8) (i13) (i4) (i14) (i15) (i11) (i10) (i5) (i6) (i1) (i9) (i12) (i7))
      ((g12) (g15) (g7) (g9) (g10) (g5) (g6) (g11) (g13) (g2) (g8)))
     (((i4) (i12) (i9) (i10) (i5) (i3) (i13) (i11) (i7) (i14) (i2) (i15) (i8) (i1) (i6))
      ((g9) (g11) (g6) (g2) (g13) (g10) (g1) (g12) (g4) (g15) (g3)))
     (((i13) (i7) (i4) (i5) (i9) (i6) (i2) (i12) (i1) (i11) (i3) (i8) (i10) (i14) (i15))
      ((g4) (g5) (g10) (g14) (g6) (g7) (g12) (g3) (g11) (g8) (g9)))
     (((i11) (i9) (i6) (i15) (i10) (i5) (i8) (i12) (i14) (i2) (i1) (i7) (i13) (i3) (i4))
      ((g3) (g5) (g2) (g6) (g9) (g13) (g14) (g10) (g15) (g11) (g4)))
     (((i4) (i10) (i7) (i5) (i9) (i14) (i15) (i2) (i8) (i1) (i12) (i11) (i6) (i3) (i13))
      ((g8) (g5) (g6) (g10) (g13) (g1) (g7) (g11) (g2) (g15) (g4)))
     
    )
    ((((i11) (i5) (i15) (i4) (i13) (i14) (i12) (i7) (i1) (i2) (i8) (i10) (i9) (i6) (i3))
      ((g8) (g1) (g10) (g12) (g14) (g5) (g11) (g7) (g3) (g4) (g2) (g13)))
     (((i7) (i3) (i4) (i10) (i6) (i1) (i2) (i8) (i13) (i11) (i12) (i14) (i9) (i15) (i5))
      ((g11) (g1) (g7) (g4) (g2) (g9) (g3) (g13) (g15) (g6) (g14) (g8)))
     (((i3) (i7) (i6) (i4) (i14) (i11) (i13) (i1) (i5) (i12) (i8) (i15) (i10) (i9) (i2))
      ((g10) (g9) (g1) (g11) (g4) (g2) (g6) (g12) (g5) (g7) (g15) (g3)))
     (((i4) (i2) (i11) (i5) (i6) (i10) (i9) (i8) (i14) (i12) (i15) (i7) (i3) (i13) (i1))
      ((g15) (g13) (g5) (g7) (g12) (g11) (g6) (g14) (g2) (g3) (g4) (g9)))
     (((i13) (i8) (i3) (i7) (i11) (i15) (i4) (i5) (i2) (i14) (i10) (i12) (i9) (i1) (i6))
      ((g4) (g10) (g1) (g2) (g8) (g11) (g6) (g3) (g9) (g14) (g15) (g7)))
     (((i5) (i3) (i4) (i15) (i2) (i1) (i12) (i10) (i13) (i9) (i7) (i11) (i14) (i8) (i6))
      ((g2) (g8) (g3) (g1) (g13) (g14) (g15) (g12) (g7) (g11) (g10) (g6)))
     (((i1) (i2) (i5) (i6) (i11) (i12) (i10) (i9) (i4) (i13) (i3) (i15) (i7) (i8) (i14))
      ((g2) (g1) (g11) (g8) (g3) (g4) (g6) (g5) (g7) (g15) (g13) (g10)))
     (((i12) (i1) (i11) (i5) (i4) (i15) (i7) (i14) (i3) (i8) (i6) (i9) (i2) (i10) (i13))
      ((g15) (g4) (g3) (g9) (g11) (g10) (g6) (g5) (g1) (g14) (g2) (g12)))
     (((i4) (i1) (i15) (i11) (i5) (i3) (i2) (i14) (i7) (i10) (i8) (i6) (i9) (i12) (i13))
      ((g5) (g8) (g14) (g10) (g6) (g3) (g13) (g1) (g11) (g9) (g2) (g7)))
     (((i11) (i8) (i2) (i7) (i4) (i1) (i14) (i12) (i6) (i10) (i3) (i5) (i9) (i13) (i15))
      ((g2) (g10) (g11) (g5) (g14) (g9) (g12) (g4) (g7) (g8) (g1) (g3)))
     
    )
    ((((i9) (i1) (i6) (i13) (i4) (i3) (i14) (i12) (i7) (i5) (i2) (i10) (i11) (i15) (i8))
      ((g1) (g2) (g11) (g13) (g5) (g3) (g7) (g15) (g12) (g4) (g9) (g8) (g6)))
     (((i7) (i11) (i6) (i8) (i5) (i12) (i3) (i4) (i14) (i15) (i1) (i13) (i10) (i2) (i9))
      ((g5) (g8) (g1) (g4) (g12) (g2) (g10) (g3) (g15) (g11) (g14) (g6) (g9)))
     (((i9) (i11) (i1) (i6) (i3) (i12) (i7) (i8) (i4) (i14) (i2) (i5) (i15) (i10) (i13))
      ((g12) (g6) (g9) (g2) (g14) (g13) (g1) (g11) (g7) (g4) (g10) (g15) (g8)))
     (((i4) (i2) (i13) (i3) (i5) (i11) (i7) (i15) (i1) (i10) (i8) (i14) (i12) (i6) (i9))
      ((g9) (g12) (g15) (g2) (g3) (g6) (g13) (g11) (g8) (g14) (g10) (g4) (g7)))
     (((i9) (i3) (i1) (i10) (i13) (i12) (i11) (i15) (i14) (i5) (i6) (i8) (i7) (i2) (i4))
      ((g6) (g1) (g5) (g2) (g10) (g11) (g13) (g15) (g8) (g12) (g14) (g9) (g7)))
     (((i11) (i6) (i3) (i10) (i7) (i9) (i2) (i13) (i15) (i14) (i1) (i8) (i12) (i4) (i5))
      ((g13) (g2) (g9) (g8) (g4) (g3) (g7) (g10) (g11) (g12) (g15) (g1) (g14)))
     (((i4) (i8) (i14) (i2) (i13) (i3) (i9) (i7) (i10) (i15) (i12) (i11) (i5) (i6) (i1))
      ((g7) (g12) (g9) (g6) (g8) (g5) (g11) (g13) (g15) (g3) (g14) (g10) (g4)))
     (((i4) (i8) (i10) (i3) (i9) (i12) (i5) (i2) (i13) (i14) (i11) (i7) (i15) (i6) (i1))
      ((g6) (g12) (g7) (g9) (g10) (g1) (g8) (g15) (g3) (g13) (g4) (g11) (g14)))
     (((i11) (i1) (i9) (i7) (i15) (i13) (i14) (i10) (i2) (i3) (i6) (i12) (i4) (i8) (i5))
      ((g13) (g11) (g9) (g12) (g3) (g2) (g10) (g7) (g1) (g14) (g4) (g15) (g6)))
     (((i11) (i9) (i5) (i6) (i2) (i12) (i14) (i13) (i3) (i1) (i15) (i4) (i7) (i10) (i8))
      ((g3) (g7) (g4) (g11) (g8) (g15) (g6) (g10) (g14) (g9) (g1) (g12) (g13)))
     
    )
    ((((i12) (i8) (i9) (i14) (i15) (i13) (i3) (i11) (i2) (i4) (i5) (i1) (i7) (i10) (i6))
      ((g4) (g5) (g1) (g12) (g3) (g6) (g8) (g2) (g13) (g11) (g15) (g7) (g14) (g9)))
     (((i2) (i11) (i8) (i4) (i9) (i1) (i6) (i3) (i7) (i14) (i5) (i12) (i15) (i13) (i10))
      ((g13) (g12) (g10) (g5) (g7) (g4) (g15) (g9) (g6) (g3) (g11) (g14) (g2) (g8)))
     (((i12) (i3) (i4) (i6) (i14) (i10) (i5) (i13) (i8) (i1) (i11) (i7) (i2) (i15) (i9))
      ((g13) (g4) (g11) (g12) (g3) (g15) (g2) (g9) (g10) (g5) (g1) (g7) (g6) (g8)))
     (((i8) (i13) (i9) (i7) (i1) (i14) (i5) (i6) (i4) (i11) (i10) (i15) (i2) (i12) (i3))
      ((g15) (g4) (g14) (g8) (g9) (g7) (g10) (g11) (g12) (g5) (g13) (g3) (g6) (g2)))
     (((i15) (i6) (i13) (i1) (i4) (i14) (i2) (i11) (i3) (i12) (i5) (i8) (i7) (i10) (i9))
      ((g3) (g1) (g7) (g2) (g4) (g11) (g9) (g12) (g15) (g14) (g6) (g10) (g8) (g5)))
     (((i7) (i9) (i15) (i1) (i2) (i13) (i14) (i4) (i10) (i6) (i12) (i3) (i5) (i8) (i11))
      ((g11) (g3) (g7) (g5) (g8) (g6) (g15) (g13) (g2) (g12) (g10) (g9) (g4) (g1)))
     (((i4) (i2) (i11) (i8) (i1) (i15) (i13) (i3) (i7) (i5) (i9) (i10) (i14) (i6) (i12))
      ((g1) (g11) (g14) (g2) (g13) (g15) (g3) (g10) (g5) (g6) (g7) (g9) (g4) (g8)))
     (((i12) (i1) (i2) (i9) (i7) (i13) (i5) (i14) (i10) (i3) (i8) (i6) (i4) (i11) (i15))
      ((g2) (g1) (g5) (g14) (g11) (g4) (g9) (g12) (g10) (g15) (g3) (g13) (g8) (g6)))
     (((i7) (i11) (i13) (i12) (i1) (i5) (i9) (i3) (i15) (i14) (i10) (i4) (i2) (i6) (i8))
      ((g12) (g5) (g13) (g3) (g8) (g10) (g6) (g15) (g4) (g14) (g1) (g7) (g11) (g2)))
     (((i3) (i1) (i11) (i10) (i6) (i4) (i14) (i7) (i15) (i2) (i8) (i5) (i13) (i12) (i9))
      ((g10) (g6) (g2) (g3) (g8) (g7) (g11) (g15) (g1) (g9) (g5) (g4) (g12) (g14)))
     
    )
    ((((i4) (i5) (i10) (i14) (i13) (i7) (i8) (i12) (i15) (i9) (i1) (i11) (i3) (i6) (i2))
      ((g3) (g13) (g4) (g8) (g5) (g11) (g9) (g6) (g14) (g7) (g10) (g1) (g12) (g2) (g15)))
     (((i6) (i10) (i12) (i3) (i11) (i13) (i15) (i7) (i14) (i1) (i2) (i8) (i4) (i9) (i5))
      ((g1) (g13) (g7) (g9) (g11) (g6) (g5) (g3) (g2) (g4) (g8) (g10) (g15) (g12) (g14)))
     (((i12) (i7) (i2) (i9) (i15) (i6) (i10) (i11) (i3) (i8) (i13) (i14) (i4) (i5) (i1))
      ((g13) (g9) (g4) (g15) (g1) (g5) (g6) (g14) (g12) (g8) (g7) (g3) (g10) (g11) (g2)))
     (((i6) (i10) (i1) (i12) (i7) (i11) (i8) (i3) (i5) (i2) (i14) (i9) (i4) (i13) (i15))
      ((g10) (g2) (g11) (g6) (g5) (g8) (g1) (g9) (g12) (g13) (g14) (g3) (g15) (g7) (g4)))
     (((i11) (i7) (i3) (i6) (i5) (i12) (i1) (i10) (i4) (i13) (i15) (i2) (i8) (i14) (i9))
      ((g5) (g6) (g4) (g13) (g15) (g14) (g11) (g8) (g12) (g9) (g10) (g7) (g2) (g3) (g1)))
     (((i11) (i10) (i2) (i9) (i4) (i14) (i1) (i6) (i7) (i13) (i5) (i3) (i15) (i8) (i12))
      ((g14) (g7) (g6) (g15) (g2) (g4) (g10) (g11) (g5) (g8) (g3) (g1) (g13) (g9) (g12)))
     (((i2) (i11) (i5) (i10) (i15) (i13) (i3) (i12) (i14) (i7) (i6) (i8) (i1) (i9) (i4))
      ((g6) (g5) (g2) (g7) (g14) (g3) (g1) (g4) (g13) (g12) (g10) (g9) (g8) (g15) (g11)))
     (((i4) (i3) (i2) (i9) (i14) (i6) (i13) (i7) (i10) (i8) (i12) (i11) (i15) (i5) (i1))
      ((g1) (g13) (g11) (g14) (g7) (g10) (g2) (g3) (g15) (g9) (g6) (g4) (g5) (g8) (g12)))
     (((i13) (i7) (i1) (i11) (i14) (i4) (i3) (i9) (i8) (i12) (i10) (i15) (i2) (i5) (i6))
      ((g9) (g5) (g8) (g4) (g1) (g2) (g11) (g14) (g10) (g12) (g15) (g7) (g6) (g3) (g13)))
     (((i12) (i10) (i1) (i6) (i11) (i3) (i4) (i8) (i5) (i7) (i14) (i2) (i9) (i13) (i15))
      ((g8) (g15) (g7) (g1) (g14) (g2) (g12) (g11) (g4) (g6) (g3) (g10) (g13) (g9) (g5)))
     
    )
))
