(define (problem multirobot_31_2_c3)
 (:domain multirobot)
 (:objects
  v0 r12
  v1 r82
  v2 r105
  v3 r33
  v4 r85
  v5 r41
  v6 r99
  v7 r104
  v8 r68
  v9 r26
  v10 r48
  v11 r76
  v12 r114
  v13 r115
  v14 r98
  v15 r60
  v16 r78
  v17
  v18 r47
  v19 r91
  v20 r106
  v21 r44
  v22 r46
  v23 r49
  v24 r58
  v25 r11
  v26 r37
  v27 r42
  v28 r40
  v29 r3
  v30 r20
  v31 r83
  v32 r17
  v33 r86
  v34 r54
  v35 r2
  v36 r35
  v37 r96
  v38 r113
  v39 r89
  v40 r112
  v41 r102
  v42 r29
  v43 r45
  v44 r87
  v45 r80
  v46 r51
  v47 r69
  v48 r61
  v49 r57
  v50 r62
  v51 r28
  v52 r19
  v53 r66
  v54 r100
  v55 r111
  v56 r77
  v57 r6
  v58 r74
  v59 r38
  v60 r70
  v61 r88
  v62 r103
  v63 r16
  v64 r22
  v65 r14
  v66 r36
  v67 r4
  v68 r24
  v69 r50
  v70 r59
  v71 r75
  v72 r73
  v73 r18
  v74 r43
  v75 r108
  v76 r67
  v77 r52
  v78 r93
  v79 r97
  v80 r9
  v81 r27
  v82
  v83 r107
  v84 r101
  v85 r34
  v86 r55
  v87 r95
  v88 r31
  v89 r109
  v90 r7
  v91 r15
  v92 r64
  v93 r84
  v94 r110
  v95 r53
  v96 r8
  v97 r13
  v98 r81
  v99 r92
  v100 r21
  v101 r65
  v102 r63
  v103 r94
  v104 r25
  v105 r90
  v106 r72
  v107 r23
  v108 r39
  v109 r30
  v110 r56
  v111 r71
  v112 r32
  v113 r5
  v114 r10
  v115 r79
 )
 (:init
  (at r12 v0)
  (at r82 v1)
  (at r105 v2)
  (at r33 v3)
  (at r85 v4)
  (at r41 v5)
  (at r99 v6)
  (at r104 v7)
  (at r68 v8)
  (at r26 v9)
  (at r48 v10)
  (at r76 v11)
  (at r114 v12)
  (at r115 v13)
  (at r98 v14)
  (at r60 v15)
  (at r78 v16)
  (free v17)
  (at r47 v18)
  (at r91 v19)
  (at r106 v20)
  (at r44 v21)
  (at r46 v22)
  (at r49 v23)
  (at r58 v24)
  (at r11 v25)
  (at r37 v26)
  (at r42 v27)
  (at r40 v28)
  (at r3 v29)
  (at r20 v30)
  (at r83 v31)
  (at r17 v32)
  (at r86 v33)
  (at r54 v34)
  (at r2 v35)
  (at r35 v36)
  (at r96 v37)
  (at r113 v38)
  (at r89 v39)
  (at r112 v40)
  (at r102 v41)
  (at r29 v42)
  (at r45 v43)
  (at r87 v44)
  (at r80 v45)
  (at r51 v46)
  (at r69 v47)
  (at r61 v48)
  (at r57 v49)
  (at r62 v50)
  (at r28 v51)
  (at r19 v52)
  (at r66 v53)
  (at r100 v54)
  (at r111 v55)
  (at r77 v56)
  (at r6 v57)
  (at r74 v58)
  (at r38 v59)
  (at r70 v60)
  (at r88 v61)
  (at r103 v62)
  (at r16 v63)
  (at r22 v64)
  (at r14 v65)
  (at r36 v66)
  (at r4 v67)
  (at r24 v68)
  (at r50 v69)
  (at r59 v70)
  (at r75 v71)
  (at r73 v72)
  (at r18 v73)
  (at r43 v74)
  (at r108 v75)
  (at r67 v76)
  (at r52 v77)
  (at r93 v78)
  (at r97 v79)
  (at r9 v80)
  (at r27 v81)
  (free v82)
  (at r107 v83)
  (at r101 v84)
  (at r34 v85)
  (at r55 v86)
  (at r95 v87)
  (at r31 v88)
  (at r109 v89)
  (at r7 v90)
  (at r15 v91)
  (at r64 v92)
  (at r84 v93)
  (at r110 v94)
  (at r53 v95)
  (at r8 v96)
  (at r13 v97)
  (at r81 v98)
  (at r92 v99)
  (at r21 v100)
  (at r65 v101)
  (at r63 v102)
  (at r94 v103)
  (at r25 v104)
  (at r90 v105)
  (at r72 v106)
  (at r23 v107)
  (at r39 v108)
  (at r30 v109)
  (at r56 v110)
  (at r71 v111)
  (at r32 v112)
  (at r5 v113)
  (at r10 v114)
  (at r79 v115)
  (adjacent v0 v1)
  (adjacent v0 v4)
  (adjacent v0 v10)
  (adjacent v0 v27)
  (adjacent v1 v2)
  (adjacent v1 v14)
  (adjacent v1 v32)
  (adjacent v1 v54)
  (adjacent v2 v3)
  (adjacent v2 v11)
  (adjacent v2 v24)
  (adjacent v3 v4)
  (adjacent v3 v7)
  (adjacent v3 v94)
  (adjacent v4 v5)
  (adjacent v4 v30)
  (adjacent v5 v6)
  (adjacent v5 v8)
  (adjacent v6 v7)
  (adjacent v6 v13)
  (adjacent v6 v34)
  (adjacent v7 v32)
  (adjacent v7 v87)
  (adjacent v8 v9)
  (adjacent v8 v17)
  (adjacent v8 v72)
  (adjacent v9 v10)
  (adjacent v9 v40)
  (adjacent v9 v93)
  (adjacent v11 v12)
  (adjacent v12 v13)
  (adjacent v12 v25)
  (adjacent v13 v18)
  (adjacent v14 v15)
  (adjacent v14 v26)
  (adjacent v15 v16)
  (adjacent v15 v33)
  (adjacent v16 v17)
  (adjacent v17 v34)
  (adjacent v17 v45)
  (adjacent v17 v108)
  (adjacent v18 v19)
  (adjacent v19 v20)
  (adjacent v19 v25)
  (adjacent v20 v21)
  (adjacent v21 v22)
  (adjacent v21 v26)
  (adjacent v22 v23)
  (adjacent v23 v24)
  (adjacent v23 v35)
  (adjacent v24 v33)
  (adjacent v24 v101)
  (adjacent v25 v31)
  (adjacent v27 v28)
  (adjacent v27 v44)
  (adjacent v27 v51)
  (adjacent v27 v80)
  (adjacent v28 v29)
  (adjacent v29 v30)
  (adjacent v30 v31)
  (adjacent v30 v78)
  (adjacent v35 v36)
  (adjacent v35 v41)
  (adjacent v36 v37)
  (adjacent v37 v38)
  (adjacent v38 v39)
  (adjacent v38 v81)
  (adjacent v39 v40)
  (adjacent v40 v60)
  (adjacent v40 v67)
  (adjacent v41 v42)
  (adjacent v41 v101)
  (adjacent v42 v43)
  (adjacent v42 v105)
  (adjacent v43 v44)
  (adjacent v43 v77)
  (adjacent v44 v50)
  (adjacent v45 v46)
  (adjacent v45 v115)
  (adjacent v46 v47)
  (adjacent v46 v111)
  (adjacent v47 v48)
  (adjacent v47 v68)
  (adjacent v47 v76)
  (adjacent v48 v49)
  (adjacent v49 v50)
  (adjacent v50 v61)
  (adjacent v51 v52)
  (adjacent v51 v104)
  (adjacent v52 v53)
  (adjacent v53 v54)
  (adjacent v53 v55)
  (adjacent v54 v77)
  (adjacent v54 v110)
  (adjacent v55 v56)
  (adjacent v56 v57)
  (adjacent v57 v58)
  (adjacent v58 v59)
  (adjacent v59 v60)
  (adjacent v60 v71)
  (adjacent v61 v62)
  (adjacent v62 v63)
  (adjacent v63 v64)
  (adjacent v64 v65)
  (adjacent v65 v66)
  (adjacent v66 v67)
  (adjacent v67 v107)
  (adjacent v68 v69)
  (adjacent v68 v81)
  (adjacent v68 v100)
  (adjacent v69 v70)
  (adjacent v70 v71)
  (adjacent v72 v73)
  (adjacent v73 v74)
  (adjacent v74 v75)
  (adjacent v75 v76)
  (adjacent v78 v79)
  (adjacent v78 v82)
  (adjacent v79 v80)
  (adjacent v82 v83)
  (adjacent v83 v84)
  (adjacent v84 v85)
  (adjacent v85 v86)
  (adjacent v85 v88)
  (adjacent v86 v87)
  (adjacent v88 v89)
  (adjacent v89 v90)
  (adjacent v90 v91)
  (adjacent v90 v102)
  (adjacent v91 v92)
  (adjacent v92 v93)
  (adjacent v94 v95)
  (adjacent v95 v96)
  (adjacent v96 v97)
  (adjacent v97 v98)
  (adjacent v98 v99)
  (adjacent v99 v100)
  (adjacent v102 v103)
  (adjacent v103 v104)
  (adjacent v105 v106)
  (adjacent v106 v107)
  (adjacent v108 v109)
  (adjacent v109 v110)
  (adjacent v111 v112)
  (adjacent v112 v113)
  (adjacent v113 v114)
  (adjacent v114 v115)
 )
 (:goal
  (and
  (at r93 v0)
  (at r57 v1)
  (at r12 v2)
  (at r75 v3)
  (at r24 v4)
  (at r69 v5)
  (at r5 v6)
  (at r26 v7)
  (at r94 v8)
  (at r25 v9)
  (at r56 v10)
  (at r109 v11)
  (at r32 v12)
  (at r37 v13)
  (at r67 v14)
  (at r88 v15)
  (at r92 v16)
  (at r72 v17)
  (at r49 v18)
  (at r64 v19)
  (at r62 v20)
  (at r9 v21)
  (at r84 v22)
  (at r105 v23)
  (at r66 v24)
  (at r100 v25)
  (at r60 v26)
  (at r68 v27)
  (at r99 v28)
  (at r110 v29)
  (at r10 v30)
  (at r41 v31)
  (at r46 v32)
  (at r43 v33)
  (at r71 v34)
  (at r58 v35)
  (at r21 v36)
  (at r54 v37)
  (at r81 v38)
  (at r96 v39)
  (at r98 v40)
  (at r90 v41)
  (at r3 v42)
  (at r85 v43)
  (at r40 v44)
  (at r28 v45)
  (at r107 v46)
  (at r42 v47)
  (at r103 v48)
  (at r6 v49)
  (at r77 v50)
  (at r13 v51)
  (at r51 v52)
  (at r2 v53)
  (at r22 v54)
  (at r65 v55)
  (at r16 v56)
  (at r45 v57)
  (free v58)
  (at r11 v59)
  (at r39 v60)
  (at r112 v61)
  (at r47 v62)
  (at r102 v63)
  (at r48 v64)
  (at r74 v65)
  (at r111 v66)
  (at r18 v67)
  (at r86 v68)
  (at r17 v69)
  (at r29 v70)
  (at r80 v71)
  (at r8 v72)
  (at r35 v73)
  (at r83 v74)
  (at r63 v75)
  (at r44 v76)
  (at r31 v77)
  (at r30 v78)
  (at r20 v79)
  (at r23 v80)
  (at r113 v81)
  (at r14 v82)
  (at r70 v83)
  (at r95 v84)
  (at r78 v85)
  (at r7 v86)
  (at r52 v87)
  (at r34 v88)
  (at r36 v89)
  (at r61 v90)
  (at r73 v91)
  (at r79 v92)
  (at r15 v93)
  (at r38 v94)
  (at r27 v95)
  (at r91 v96)
  (at r115 v97)
  (at r114 v98)
  (at r4 v99)
  (at r50 v100)
  (at r87 v101)
  (at r33 v102)
  (at r55 v103)
  (at r89 v104)
  (at r19 v105)
  (at r106 v106)
  (at r97 v107)
  (at r108 v108)
  (at r101 v109)
  (at r82 v110)
  (at r76 v111)
  (at r53 v112)
  (at r104 v113)
  (free v114)
  (at r59 v115)
  )
 )
)