$  # - Wall
$  . - Target Position
$  @ - Porter
$  $ - Crate
$    - Empty Cell
$
$
$
$ 6th instance from 
$ http://users.bentonrea.com/~sasquatch/sokoban/m1
$
$  01234567891011
$ 0###### #####
$ 1#    ###   #
$ 2#  $     #@#
$ 3#   #  .   #
$ 4#   ########
$ 5#####

$
$ width: 12
$ height: 6


language ESSENCE' 1.b.a

letting w be 12
letting n be 72

letting noCrates be 1
letting noGoals be 1

letting pInit be 34
letting stps be 34

letting walls be [ 0,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11,     $  12

                  12,                  17, 18, 19,             23,     $  5
    
                  24,                                   33,    35,     $  3
              
                  36,             40,                          47,     $  3
  
                  48,             52, 53, 54, 55, 56, 57, 58, 59,     $  9

                  60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71]     $  12 
            
                                                              $       --------
                                                              $ noWalls: 44
letting noWalls be 44

letting crates be [27]
letting goals be [43]