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