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