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