(define (problem multirobot_15_2_c4)
 (:domain multirobot)
 (:objects
  v0 r18
  v1 r19
  v2 r38
  v3 r25
  v4 r27
  v5 r48
  v6 r42
  v7 r41
  v8 r55
  v9 r28
  v10 r9
  v11 r52
  v12 r15
  v13 r50
  v14 r7
  v15 r16
  v16 r4
  v17 r33
  v18 r43
  v19
  v20 r47
  v21 r30
  v22 r45
  v23 r24
  v24 r56
  v25 r37
  v26 r22
  v27 r5
  v28 r6
  v29 r8
  v30 r20
  v31 r32
  v32 r12
  v33 r3
  v34 r54
  v35 r53
  v36 r35
  v37 r49
  v38 r29
  v39 r51
  v40 r36
  v41 r39
  v42 r17
  v43 r40
  v44 r14
  v45 r46
  v46 r34
  v47 r44
  v48 r31
  v49 r23
  v50
  v51 r11
  v52 r13
  v53 r21
  v54 r57
  v55 r2
  v56 r10
  v57 r26
 )
 (:init
  (at r18 v0)
  (at r19 v1)
  (at r38 v2)
  (at r25 v3)
  (at r27 v4)
  (at r48 v5)
  (at r42 v6)
  (at r41 v7)
  (at r55 v8)
  (at r28 v9)
  (at r9 v10)
  (at r52 v11)
  (at r15 v12)
  (at r50 v13)
  (at r7 v14)
  (at r16 v15)
  (at r4 v16)
  (at r33 v17)
  (at r43 v18)
  (free v19)
  (at r47 v20)
  (at r30 v21)
  (at r45 v22)
  (at r24 v23)
  (at r56 v24)
  (at r37 v25)
  (at r22 v26)
  (at r5 v27)
  (at r6 v28)
  (at r8 v29)
  (at r20 v30)
  (at r32 v31)
  (at r12 v32)
  (at r3 v33)
  (at r54 v34)
  (at r53 v35)
  (at r35 v36)
  (at r49 v37)
  (at r29 v38)
  (at r51 v39)
  (at r36 v40)
  (at r39 v41)
  (at r17 v42)
  (at r40 v43)
  (at r14 v44)
  (at r46 v45)
  (at r34 v46)
  (at r44 v47)
  (at r31 v48)
  (at r23 v49)
  (free v50)
  (at r11 v51)
  (at r13 v52)
  (at r21 v53)
  (at r57 v54)
  (at r2 v55)
  (at r10 v56)
  (at r26 v57)
  (adjacent v0 v1)
  (adjacent v0 v4)
  (adjacent v0 v34)
  (adjacent v1 v2)
  (adjacent v1 v8)
  (adjacent v1 v10)
  (adjacent v1 v25)
  (adjacent v1 v35)
  (adjacent v1 v54)
  (adjacent v2 v3)
  (adjacent v2 v9)
  (adjacent v2 v36)
  (adjacent v2 v44)
  (adjacent v3 v4)
  (adjacent v4 v5)
  (adjacent v4 v19)
  (adjacent v4 v37)
  (adjacent v5 v6)
  (adjacent v5 v37)
  (adjacent v6 v7)
  (adjacent v7 v8)
  (adjacent v7 v14)
  (adjacent v7 v15)
  (adjacent v7 v33)
  (adjacent v8 v9)
  (adjacent v10 v11)
  (adjacent v10 v32)
  (adjacent v11 v12)
  (adjacent v12 v13)
  (adjacent v13 v14)
  (adjacent v14 v18)
  (adjacent v15 v16)
  (adjacent v16 v17)
  (adjacent v16 v26)
  (adjacent v17 v18)
  (adjacent v19 v20)
  (adjacent v20 v21)
  (adjacent v20 v31)
  (adjacent v21 v22)
  (adjacent v21 v38)
  (adjacent v22 v23)
  (adjacent v23 v24)
  (adjacent v24 v25)
  (adjacent v26 v27)
  (adjacent v27 v28)
  (adjacent v27 v32)
  (adjacent v28 v29)
  (adjacent v28 v50)
  (adjacent v29 v30)
  (adjacent v30 v31)
  (adjacent v33 v34)
  (adjacent v35 v36)
  (adjacent v38 v39)
  (adjacent v39 v40)
  (adjacent v39 v52)
  (adjacent v40 v41)
  (adjacent v41 v42)
  (adjacent v42 v43)
  (adjacent v43 v44)
  (adjacent v43 v45)
  (adjacent v43 v51)
  (adjacent v45 v46)
  (adjacent v45 v55)
  (adjacent v46 v47)
  (adjacent v46 v51)
  (adjacent v47 v48)
  (adjacent v48 v49)
  (adjacent v49 v50)
  (adjacent v49 v57)
  (adjacent v52 v53)
  (adjacent v53 v54)
  (adjacent v55 v56)
  (adjacent v56 v57)
 )
 (:goal
  (and
  (at r17 v0)
  (at r57 v1)
  (at r15 v2)
  (at r16 v3)
  (at r54 v4)
  (at r49 v5)
  (at r56 v6)
  (at r52 v7)
  (at r24 v8)
  (free v9)
  (at r44 v10)
  (at r42 v11)
  (at r14 v12)
  (at r41 v13)
  (at r12 v14)
  (at r3 v15)
  (at r48 v16)
  (at r23 v17)
  (at r53 v18)
  (at r28 v19)
  (at r31 v20)
  (at r7 v21)
  (at r27 v22)
  (at r40 v23)
  (at r18 v24)
  (at r20 v25)
  (at r6 v26)
  (at r10 v27)
  (at r32 v28)
  (at r37 v29)
  (at r43 v30)
  (at r19 v31)
  (at r39 v32)
  (at r5 v33)
  (at r51 v34)
  (at r38 v35)
  (at r4 v36)
  (at r55 v37)
  (at r8 v38)
  (at r9 v39)
  (at r46 v40)
  (at r21 v41)
  (at r36 v42)
  (at r34 v43)
  (at r26 v44)
  (at r30 v45)
  (at r25 v46)
  (at r29 v47)
  (at r50 v48)
  (free v49)
  (at r13 v50)
  (at r2 v51)
  (at r35 v52)
  (at r11 v53)
  (at r33 v54)
  (at r22 v55)
  (at r47 v56)
  (at r45 v57)
  )
 )
)