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