(define (problem strips-grid-y-5) (:domain grid) (:objects node0-0 node0-1 node0-2 node0-3 node0-4 node0-5 node0-6 node0-7 node0-8 node1-0 node1-1 node1-2 node1-3 node1-4 node1-5 node1-6 node1-7 node1-8 node2-0 node2-1 node2-2 node2-3 node2-4 node2-5 node2-6 node2-7 node2-8 node3-0 node3-1 node3-2 node3-3 node3-4 node3-5 node3-6 node3-7 node3-8 node4-0 node4-1 node4-2 node4-3 node4-4 node4-5 node4-6 node4-7 node4-8 node5-0 node5-1 node5-2 node5-3 node5-4 node5-5 node5-6 node5-7 node5-8 node6-0 node6-1 node6-2 node6-3 node6-4 node6-5 node6-6 node6-7 node6-8 node7-0 node7-1 node7-2 node7-3 node7-4 node7-5 node7-6 node7-7 node7-8 node8-0 node8-1 node8-2 node8-3 node8-4 node8-5 node8-6 node8-7 node8-8 triangle diamond square circle key0 key1 key2 key3 key4 key5 key6 key7 key8 key9 key10 key11 key12) (:init (arm-empty) (place node0-0) (place node0-1) (place node0-2) (place node0-3) (place node0-4) (place node0-5) (place node0-6) (place node0-7) (place node0-8) (place node1-0) (place node1-1) (place node1-2) (place node1-3) (place node1-4) (place node1-5) (place node1-6) (place node1-7) (place node1-8) (place node2-0) (place node2-1) (place node2-2) (place node2-3) (place node2-4) (place node2-5) (place node2-6) (place node2-7) (place node2-8) (place node3-0) (place node3-1) (place node3-2) (place node3-3) (place node3-4) (place node3-5) (place node3-6) (place node3-7) (place node3-8) (place node4-0) (place node4-1) (place node4-2) (place node4-3) (place node4-4) (place node4-5) (place node4-6) (place node4-7) (place node4-8) (place node5-0) (place node5-1) (place node5-2) (place node5-3) (place node5-4) (place node5-5) (place node5-6) (place node5-7) (place node5-8) (place node6-0) (place node6-1) (place node6-2) (place node6-3) (place node6-4) (place node6-5) (place node6-6) (place node6-7) (place node6-8) (place node7-0) (place node7-1) (place node7-2) (place node7-3) (place node7-4) (place node7-5) (place node7-6) (place node7-7) (place node7-8) (place node8-0) (place node8-1) (place node8-2) (place node8-3) (place node8-4) (place node8-5) (place node8-6) (place node8-7) (place node8-8) (shape triangle) (shape diamond) (shape square) (shape circle) (conn node0-0 node1-0) (conn node0-0 node0-1) (conn node0-1 node1-1) (conn node0-1 node0-2) (conn node0-1 node0-0) (conn node0-2 node1-2) (conn node0-2 node0-3) (conn node0-2 node0-1) (conn node0-3 node1-3) (conn node0-3 node0-4) (conn node0-3 node0-2) (conn node0-4 node1-4) (conn node0-4 node0-5) (conn node0-4 node0-3) (conn node0-5 node1-5) (conn node0-5 node0-6) (conn node0-5 node0-4) (conn node0-6 node1-6) (conn node0-6 node0-7) (conn node0-6 node0-5) (conn node0-7 node1-7) (conn node0-7 node0-8) (conn node0-7 node0-6) (conn node0-8 node1-8) (conn node0-8 node0-7) (conn node1-0 node2-0) (conn node1-0 node0-0) (conn node1-0 node1-1) (conn node1-1 node2-1) (conn node1-1 node0-1) (conn node1-1 node1-2) (conn node1-1 node1-0) (conn node1-2 node2-2) (conn node1-2 node0-2) (conn node1-2 node1-3) (conn node1-2 node1-1) (conn node1-3 node2-3) (conn node1-3 node0-3) (conn node1-3 node1-4) (conn node1-3 node1-2) (conn node1-4 node2-4) (conn node1-4 node0-4) (conn node1-4 node1-5) (conn node1-4 node1-3) (conn node1-5 node2-5) (conn node1-5 node0-5) (conn node1-5 node1-6) (conn node1-5 node1-4) (conn node1-6 node2-6) (conn node1-6 node0-6) (conn node1-6 node1-7) (conn node1-6 node1-5) (conn node1-7 node2-7) (conn node1-7 node0-7) (conn node1-7 node1-8) (conn node1-7 node1-6) (conn node1-8 node2-8) (conn node1-8 node0-8) (conn node1-8 node1-7) (conn node2-0 node3-0) (conn node2-0 node1-0) (conn node2-0 node2-1) (conn node2-1 node3-1) (conn node2-1 node1-1) (conn node2-1 node2-2) (conn node2-1 node2-0) (conn node2-2 node3-2) (conn node2-2 node1-2) (conn node2-2 node2-3) (conn node2-2 node2-1) (conn node2-3 node3-3) (conn node2-3 node1-3) (conn node2-3 node2-4) (conn node2-3 node2-2) (conn node2-4 node3-4) (conn node2-4 node1-4) (conn node2-4 node2-5) (conn node2-4 node2-3) (conn node2-5 node3-5) (conn node2-5 node1-5) (conn node2-5 node2-6) (conn node2-5 node2-4) (conn node2-6 node3-6) (conn node2-6 node1-6) (conn node2-6 node2-7) (conn node2-6 node2-5) (conn node2-7 node3-7) (conn node2-7 node1-7) (conn node2-7 node2-8) (conn node2-7 node2-6) (conn node2-8 node3-8) (conn node2-8 node1-8) (conn node2-8 node2-7) (conn node3-0 node4-0) (conn node3-0 node2-0) (conn node3-0 node3-1) (conn node3-1 node4-1) (conn node3-1 node2-1) (conn node3-1 node3-2) (conn node3-1 node3-0) (conn node3-2 node4-2) (conn node3-2 node2-2) (conn node3-2 node3-3) (conn node3-2 node3-1) (conn node3-3 node4-3) (conn node3-3 node2-3) (conn node3-3 node3-4) (conn node3-3 node3-2) (conn node3-4 node4-4) (conn node3-4 node2-4) (conn node3-4 node3-5) (conn node3-4 node3-3) (conn node3-5 node4-5) (conn node3-5 node2-5) (conn node3-5 node3-6) (conn node3-5 node3-4) (conn node3-6 node4-6) (conn node3-6 node2-6) (conn node3-6 node3-7) (conn node3-6 node3-5) (conn node3-7 node4-7) (conn node3-7 node2-7) (conn node3-7 node3-8) (conn node3-7 node3-6) (conn node3-8 node4-8) (conn node3-8 node2-8) (conn node3-8 node3-7) (conn node4-0 node5-0) (conn node4-0 node3-0) (conn node4-0 node4-1) (conn node4-1 node5-1) (conn node4-1 node3-1) (conn node4-1 node4-2) (conn node4-1 node4-0) (conn node4-2 node5-2) (conn node4-2 node3-2) (conn node4-2 node4-3) (conn node4-2 node4-1) (conn node4-3 node5-3) (conn node4-3 node3-3) (conn node4-3 node4-4) (conn node4-3 node4-2) (conn node4-4 node5-4) (conn node4-4 node3-4) (conn node4-4 node4-5) (conn node4-4 node4-3) (conn node4-5 node5-5) (conn node4-5 node3-5) (conn node4-5 node4-6) (conn node4-5 node4-4) (conn node4-6 node5-6) (conn node4-6 node3-6) (conn node4-6 node4-7) (conn node4-6 node4-5) (conn node4-7 node5-7) (conn node4-7 node3-7) (conn node4-7 node4-8) (conn node4-7 node4-6) (conn node4-8 node5-8) (conn node4-8 node3-8) (conn node4-8 node4-7) (conn node5-0 node6-0) (conn node5-0 node4-0) (conn node5-0 node5-1) (conn node5-1 node6-1) (conn node5-1 node4-1) (conn node5-1 node5-2) (conn node5-1 node5-0) (conn node5-2 node6-2) (conn node5-2 node4-2) (conn node5-2 node5-3) (conn node5-2 node5-1) (conn node5-3 node6-3) (conn node5-3 node4-3) (conn node5-3 node5-4) (conn node5-3 node5-2) (conn node5-4 node6-4) (conn node5-4 node4-4) (conn node5-4 node5-5) (conn node5-4 node5-3) (conn node5-5 node6-5) (conn node5-5 node4-5) (conn node5-5 node5-6) (conn node5-5 node5-4) (conn node5-6 node6-6) (conn node5-6 node4-6) (conn node5-6 node5-7) (conn node5-6 node5-5) (conn node5-7 node6-7) (conn node5-7 node4-7) (conn node5-7 node5-8) (conn node5-7 node5-6) (conn node5-8 node6-8) (conn node5-8 node4-8) (conn node5-8 node5-7) (conn node6-0 node7-0) (conn node6-0 node5-0) (conn node6-0 node6-1) (conn node6-1 node7-1) (conn node6-1 node5-1) (conn node6-1 node6-2) (conn node6-1 node6-0) (conn node6-2 node7-2) (conn node6-2 node5-2) (conn node6-2 node6-3) (conn node6-2 node6-1) (conn node6-3 node7-3) (conn node6-3 node5-3) (conn node6-3 node6-4) (conn node6-3 node6-2) (conn node6-4 node7-4) (conn node6-4 node5-4) (conn node6-4 node6-5) (conn node6-4 node6-3) (conn node6-5 node7-5) (conn node6-5 node5-5) (conn node6-5 node6-6) (conn node6-5 node6-4) (conn node6-6 node7-6) (conn node6-6 node5-6) (conn node6-6 node6-7) (conn node6-6 node6-5) (conn node6-7 node7-7) (conn node6-7 node5-7) (conn node6-7 node6-8) (conn node6-7 node6-6) (conn node6-8 node7-8) (conn node6-8 node5-8) (conn node6-8 node6-7) (conn node7-0 node8-0) (conn node7-0 node6-0) (conn node7-0 node7-1) (conn node7-1 node8-1) (conn node7-1 node6-1) (conn node7-1 node7-2) (conn node7-1 node7-0) (conn node7-2 node8-2) (conn node7-2 node6-2) (conn node7-2 node7-3) (conn node7-2 node7-1) (conn node7-3 node8-3) (conn node7-3 node6-3) (conn node7-3 node7-4) (conn node7-3 node7-2) (conn node7-4 node8-4) (conn node7-4 node6-4) (conn node7-4 node7-5) (conn node7-4 node7-3) (conn node7-5 node8-5) (conn node7-5 node6-5) (conn node7-5 node7-6) (conn node7-5 node7-4) (conn node7-6 node8-6) (conn node7-6 node6-6) (conn node7-6 node7-7) (conn node7-6 node7-5) (conn node7-7 node8-7) (conn node7-7 node6-7) (conn node7-7 node7-8) (conn node7-7 node7-6) (conn node7-8 node8-8) (conn node7-8 node6-8) (conn node7-8 node7-7) (conn node8-0 node7-0) (conn node8-0 node8-1) (conn node8-1 node7-1) (conn node8-1 node8-2) (conn node8-1 node8-0) (conn node8-2 node7-2) (conn node8-2 node8-3) (conn node8-2 node8-1) (conn node8-3 node7-3) (conn node8-3 node8-4) (conn node8-3 node8-2) (conn node8-4 node7-4) (conn node8-4 node8-5) (conn node8-4 node8-3) (conn node8-5 node7-5) (conn node8-5 node8-6) (conn node8-5 node8-4) (conn node8-6 node7-6) (conn node8-6 node8-7) (conn node8-6 node8-5) (conn node8-7 node7-7) (conn node8-7 node8-8) (conn node8-7 node8-6) (conn node8-8 node7-8) (conn node8-8 node8-7) (locked node5-3) (lock-shape node5-3 circle) (locked node5-2) (lock-shape node5-2 circle) (locked node6-2) (lock-shape node6-2 circle) (locked node6-3) (lock-shape node6-3 circle) (locked node7-3) (lock-shape node7-3 circle) (locked node7-4) (lock-shape node7-4 circle) (locked node7-5) (lock-shape node7-5 circle) (locked node6-5) (lock-shape node6-5 circle) (locked node6-6) (lock-shape node6-6 circle) (locked node5-6) (lock-shape node5-6 circle) (locked node5-5) (lock-shape node5-5 circle) (locked node5-4) (lock-shape node5-4 circle) (locked node2-2) (lock-shape node2-2 circle) (locked node1-2) (lock-shape node1-2 circle) (locked node1-1) (lock-shape node1-1 circle) (locked node2-1) (lock-shape node2-1 circle) (locked node2-0) (lock-shape node2-0 circle) (locked node3-0) (lock-shape node3-0 circle) (locked node3-1) (lock-shape node3-1 circle) (locked node3-2) (lock-shape node3-2 circle) (open node0-0) (open node0-1) (open node0-2) (open node0-3) (open node0-4) (open node0-5) (open node0-6) (open node0-7) (open node0-8) (open node1-0) (open node1-3) (open node1-4) (open node1-5) (open node1-6) (open node1-7) (open node1-8) (open node2-3) (open node2-4) (open node2-5) (open node2-6) (open node2-7) (open node2-8) (open node3-3) (open node3-4) (open node3-5) (open node3-6) (open node3-7) (open node3-8) (open node4-0) (open node4-1) (open node4-2) (open node4-3) (open node4-4) (open node4-5) (open node4-6) (open node4-7) (open node4-8) (open node5-0) (open node5-1) (open node5-7) (open node5-8) (open node6-0) (open node6-1) (open node6-4) (open node6-7) (open node6-8) (open node7-0) (open node7-1) (open node7-2) (open node7-6) (open node7-7) (open node7-8) (open node8-0) (open node8-1) (open node8-2) (open node8-3) (open node8-4) (open node8-5) (open node8-6) (open node8-7) (open node8-8) (key key0) (key-shape key0 square) (at key0 node8-7) (key key1) (key-shape key1 triangle) (at key1 node0-1) (key key2) (key-shape key2 diamond) (at key2 node6-3) (key key3) (key-shape key3 circle) (at key3 node8-1) (key key4) (key-shape key4 circle) (at key4 node7-3) (key key5) (key-shape key5 square) (at key5 node8-8) (key key6) (key-shape key6 square) (at key6 node1-4) (key key7) (key-shape key7 square) (at key7 node3-2) (key key8) (key-shape key8 triangle) (at key8 node4-3) (key key9) (key-shape key9 square) (at key9 node1-0) (key key10) (key-shape key10 diamond) (at key10 node2-4) (key key11) (key-shape key11 square) (at key11 node4-3) (key key12) (key-shape key12 diamond) (at key12 node8-5) (at-robot node0-6)) (:goal (and (at key4 node3-0) (at key2 node5-0) (at key0 node2-1) (at key5 node2-8) (at key9 node8-6) (at key11 node2-8) (at key10 node6-1))))