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