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