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