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

sp {init*puzzle2
   (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>)
   (<v1> ^row 1 ^column 1 ^contents 3)
   (<v2> ^row 1 ^column 6 ^contents 8)
   (<v3> ^row 2 ^column 1 ^contents 7)
   (<v4> ^row 2 ^column 3 ^contents 8)
   (<v5> ^row 2 ^column 4 ^contents 3)
   (<v6> ^row 2 ^column 5 ^contents 2)
   (<v7> ^row 2 ^column 9 ^contents 5)
   (<v8> ^row 3 ^column 4 ^contents 9)
   (<v9> ^row 3 ^column 8 ^contents 1)
   (<v10> ^row 4 ^column 1 ^contents 9)
   (<v11> ^row 4 ^column 6 ^contents 4)
   (<v12> ^row 4 ^column 8 ^contents 2)
   (<v13> ^row 5 ^column 5 ^contents 1)
   (<v14> ^row 6 ^column 2 ^contents 7)
   (<v15> ^row 6 ^column 4 ^contents 8)
   (<v16> ^row 6 ^column 9 ^contents 9)
   (<v17> ^row 7 ^column 2 ^contents 5)
   (<v18> ^row 7 ^column 6 ^contents 3)
   (<v19> ^row 8 ^column 1 ^contents 8)
   (<v20> ^row 8 ^column 5 ^contents 4)
   (<v21> ^row 8 ^column 6 ^contents 7)
   (<v22> ^row 8 ^column 7 ^contents 5)
   (<v23> ^row 8 ^column 9 ^contents 3)
   (<v24> ^row 9 ^column 4 ^contents 5)
   (<v25> ^row 9 ^column 9 ^contents 6)}