###1#2#3###4#5#6###7#8#9##
#    7 6 # 3   5 # 9   8 #
#      1 #       #       #
#      2 #     1 #   3   #
###1#2#3###4#5#6###7#8#9##
#        # 5 1   # 7     #
#  2     #       #     5 #
#      3 #   7 8 #       #
###1#2#3###4#5#6###7#8#9##
#    9   # 4     # 3     #
#        #       # 5     #
#  7   8 # 9   2 # 1 6   #
###1#2#3###4#5#6###7#8#9##

sp {init*puzzle1
   (state <s> ^superstate nil)
-->
   (<s> ^puzzle <p>)
   (<p> ^value <v1> <v2> <v3> <v4> <v5> <v6> <v7>
        ^value <v8> <v9> <v10> <v11> <v12> <v13> <v14>
        ^value <v15> <v16> <v17> <v18> <v19> <v20> <v21>
        ^value <v22> <v23> <v24> <v25> <v26> <v27> <v28>)
   (<v1> ^row 1 ^column 2 ^contents 7)
   (<v2> ^row 1 ^column 3 ^contents 6)
   (<v3> ^row 1 ^column 4 ^contents 3)
   (<v4> ^row 1 ^column 6 ^contents 5)
   (<v5> ^row 1 ^column 7 ^contents 9)
   (<v6> ^row 1 ^column 9 ^contents 8)
   (<v7> ^row 2 ^column 3 ^contents 1)
   (<v8> ^row 3 ^column 3 ^contents 2)
   (<v9> ^row 3 ^column 6 ^contents 1)
   (<v10> ^row 3 ^column 8 ^contents 3)
   (<v11> ^row 4 ^column 4 ^contents 5)
   (<v12> ^row 4 ^column 5 ^contents 1)
   (<v13> ^row 4 ^column 7 ^contents 7)
   (<v14> ^row 5 ^column 1 ^contents 2)
   (<v15> ^row 5 ^column 9 ^contents 5)
   (<v16> ^row 6 ^column 3 ^contents 3)
   (<v17> ^row 6 ^column 5 ^contents 7)
   (<v18> ^row 6 ^column 6 ^contents 8)
   (<v19> ^row 7 ^column 2 ^contents 9)
   (<v20> ^row 7 ^column 4 ^contents 4)
   (<v21> ^row 7 ^column 7 ^contents 3)
   (<v22> ^row 8 ^column 7 ^contents 5)
   (<v23> ^row 9 ^column 1 ^contents 7)
   (<v24> ^row 9 ^column 3 ^contents 8)
   (<v25> ^row 9 ^column 4 ^contents 9)
   (<v26> ^row 9 ^column 6 ^contents 2)
   (<v27> ^row 9 ^column 7 ^contents 1)
   (<v28> ^row 9 ^column 8 ^contents 6)}