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