(define (problem multirobot_13_50%_c5)
 (:domain multirobot)
 (:objects
  v0
  v1 r34
  v2 r40
  v3 r38
  v4
  v5 r44
  v6 r51
  v7 r47
  v8 r35
  v9 r55
  v10 r52
  v11
  v12 r53
  v13 r50
  v14 r41
  v15 r32
  v16
  v17 r48
  v18
  v19 r39
  v20
  v21
  v22
  v23
  v24
  v25 r36
  v26
  v27
  v28
  v29
  v30
  v31 r54
  v32 r46
  v33
  v34 r33
  v35
  v36 r31
  v37 r56
  v38
  v39
  v40 r49
  v41
  v42 r45
  v43 r43
  v44
  v45 r37
  v46
  v47
  v48
  v49
  v50 r42
  v51
  v52
  v53
  v54
  v55
  v56 r30
 )
 (:init
  (free v0)
  (at r34 v1)
  (at r40 v2)
  (at r38 v3)
  (free v4)
  (at r44 v5)
  (at r51 v6)
  (at r47 v7)
  (at r35 v8)
  (at r55 v9)
  (at r52 v10)
  (free v11)
  (at r53 v12)
  (at r50 v13)
  (at r41 v14)
  (at r32 v15)
  (free v16)
  (at r48 v17)
  (free v18)
  (at r39 v19)
  (free v20)
  (free v21)
  (free v22)
  (free v23)
  (free v24)
  (at r36 v25)
  (free v26)
  (free v27)
  (free v28)
  (free v29)
  (free v30)
  (at r54 v31)
  (at r46 v32)
  (free v33)
  (at r33 v34)
  (free v35)
  (at r31 v36)
  (at r56 v37)
  (free v38)
  (free v39)
  (at r49 v40)
  (free v41)
  (at r45 v42)
  (at r43 v43)
  (free v44)
  (at r37 v45)
  (free v46)
  (free v47)
  (free v48)
  (free v49)
  (at r42 v50)
  (free v51)
  (free v52)
  (free v53)
  (free v54)
  (free v55)
  (at r30 v56)
  (adjacent v0 v1)
  (adjacent v0 v4)
  (adjacent v0 v7)
  (adjacent v0 v8)
  (adjacent v0 v15)
  (adjacent v1 v2)
  (adjacent v1 v9)
  (adjacent v2 v3)
  (adjacent v2 v51)
  (adjacent v3 v4)
  (adjacent v3 v5)
  (adjacent v3 v24)
  (adjacent v3 v33)
  (adjacent v4 v8)
  (adjacent v4 v14)
  (adjacent v4 v17)
  (adjacent v4 v24)
  (adjacent v4 v33)
  (adjacent v5 v6)
  (adjacent v5 v25)
  (adjacent v6 v7)
  (adjacent v6 v26)
  (adjacent v9 v10)
  (adjacent v10 v11)
  (adjacent v11 v12)
  (adjacent v11 v18)
  (adjacent v12 v13)
  (adjacent v12 v23)
  (adjacent v13 v14)
  (adjacent v14 v45)
  (adjacent v15 v16)
  (adjacent v16 v17)
  (adjacent v18 v19)
  (adjacent v19 v20)
  (adjacent v19 v32)
  (adjacent v20 v21)
  (adjacent v21 v22)
  (adjacent v22 v23)
  (adjacent v23 v27)
  (adjacent v24 v41)
  (adjacent v25 v26)
  (adjacent v25 v46)
  (adjacent v27 v28)
  (adjacent v28 v29)
  (adjacent v29 v30)
  (adjacent v29 v34)
  (adjacent v30 v31)
  (adjacent v31 v32)
  (adjacent v33 v40)
  (adjacent v34 v35)
  (adjacent v35 v36)
  (adjacent v36 v37)
  (adjacent v36 v50)
  (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 v56)
  (adjacent v51 v52)
  (adjacent v52 v53)
  (adjacent v53 v54)
  (adjacent v54 v55)
  (adjacent v55 v56)
 )
 (:goal
  (and
  (at r50 v0)
  (at r38 v1)
  (at r53 v2)
  (at r46 v3)
  (free v4)
  (free v5)
  (free v6)
  (at r32 v7)
  (free v8)
  (at r37 v9)
  (at r40 v10)
  (free v11)
  (free v12)
  (free v13)
  (at r31 v14)
  (at r56 v15)
  (free v16)
  (free v17)
  (free v18)
  (free v19)
  (at r48 v20)
  (at r30 v21)
  (at r41 v22)
  (free v23)
  (free v24)
  (at r34 v25)
  (at r47 v26)
  (at r52 v27)
  (free v28)
  (at r49 v29)
  (at r35 v30)
  (free v31)
  (at r42 v32)
  (free v33)
  (free v34)
  (free v35)
  (at r43 v36)
  (free v37)
  (free v38)
  (at r51 v39)
  (free v40)
  (at r54 v41)
  (at r33 v42)
  (free v43)
  (at r44 v44)
  (at r36 v45)
  (free v46)
  (free v47)
  (free v48)
  (free v49)
  (free v50)
  (at r55 v51)
  (free v52)
  (at r39 v53)
  (at r45 v54)
  (free v55)
  (free v56)
  )
 )
)