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