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