(define (problem multirobot_38_2_c0) (:domain multirobot) (:objects v0 r112 v1 r140 v2 r20 v3 r25 v4 r106 v5 r11 v6 r24 v7 r55 v8 r94 v9 r27 v10 r57 v11 r136 v12 r139 v13 r135 v14 r40 v15 r48 v16 r138 v17 r77 v18 r71 v19 r82 v20 r75 v21 r89 v22 r22 v23 r30 v24 r80 v25 r129 v26 r21 v27 r35 v28 r5 v29 r142 v30 r37 v31 r72 v32 r36 v33 r115 v34 r70 v35 r74 v36 r117 v37 r13 v38 r84 v39 r79 v40 r99 v41 r105 v42 r59 v43 r41 v44 r38 v45 r42 v46 r45 v47 r63 v48 r86 v49 r121 v50 r53 v51 r29 v52 r10 v53 r44 v54 r62 v55 r28 v56 r132 v57 r19 v58 r76 v59 r87 v60 r32 v61 v62 r91 v63 r113 v64 r78 v65 r3 v66 r67 v67 r111 v68 r137 v69 r119 v70 r143 v71 r49 v72 r4 v73 r15 v74 r83 v75 r90 v76 r23 v77 r56 v78 r47 v79 r12 v80 r141 v81 r123 v82 r102 v83 r107 v84 r2 v85 r101 v86 r68 v87 r14 v88 r127 v89 r120 v90 r7 v91 r39 v92 r88 v93 r122 v94 r126 v95 v96 r96 v97 r51 v98 r133 v99 r145 v100 r43 v101 r65 v102 r104 v103 r17 v104 r16 v105 r128 v106 r95 v107 r26 v108 r118 v109 r66 v110 r33 v111 r93 v112 r98 v113 r69 v114 r31 v115 r116 v116 r8 v117 r124 v118 r130 v119 r108 v120 r85 v121 r46 v122 r73 v123 r64 v124 r125 v125 r97 v126 r109 v127 r110 v128 r92 v129 r81 v130 r60 v131 r61 v132 r114 v133 r34 v134 r58 v135 r18 v136 r144 v137 r54 v138 r9 v139 r100 v140 r103 v141 r50 v142 r6 v143 r134 v144 r131 v145 r52 ) (:init (at r112 v0) (at r140 v1) (at r20 v2) (at r25 v3) (at r106 v4) (at r11 v5) (at r24 v6) (at r55 v7) (at r94 v8) (at r27 v9) (at r57 v10) (at r136 v11) (at r139 v12) (at r135 v13) (at r40 v14) (at r48 v15) (at r138 v16) (at r77 v17) (at r71 v18) (at r82 v19) (at r75 v20) (at r89 v21) (at r22 v22) (at r30 v23) (at r80 v24) (at r129 v25) (at r21 v26) (at r35 v27) (at r5 v28) (at r142 v29) (at r37 v30) (at r72 v31) (at r36 v32) (at r115 v33) (at r70 v34) (at r74 v35) (at r117 v36) (at r13 v37) (at r84 v38) (at r79 v39) (at r99 v40) (at r105 v41) (at r59 v42) (at r41 v43) (at r38 v44) (at r42 v45) (at r45 v46) (at r63 v47) (at r86 v48) (at r121 v49) (at r53 v50) (at r29 v51) (at r10 v52) (at r44 v53) (at r62 v54) (at r28 v55) (at r132 v56) (at r19 v57) (at r76 v58) (at r87 v59) (at r32 v60) (free v61) (at r91 v62) (at r113 v63) (at r78 v64) (at r3 v65) (at r67 v66) (at r111 v67) (at r137 v68) (at r119 v69) (at r143 v70) (at r49 v71) (at r4 v72) (at r15 v73) (at r83 v74) (at r90 v75) (at r23 v76) (at r56 v77) (at r47 v78) (at r12 v79) (at r141 v80) (at r123 v81) (at r102 v82) (at r107 v83) (at r2 v84) (at r101 v85) (at r68 v86) (at r14 v87) (at r127 v88) (at r120 v89) (at r7 v90) (at r39 v91) (at r88 v92) (at r122 v93) (at r126 v94) (free v95) (at r96 v96) (at r51 v97) (at r133 v98) (at r145 v99) (at r43 v100) (at r65 v101) (at r104 v102) (at r17 v103) (at r16 v104) (at r128 v105) (at r95 v106) (at r26 v107) (at r118 v108) (at r66 v109) (at r33 v110) (at r93 v111) (at r98 v112) (at r69 v113) (at r31 v114) (at r116 v115) (at r8 v116) (at r124 v117) (at r130 v118) (at r108 v119) (at r85 v120) (at r46 v121) (at r73 v122) (at r64 v123) (at r125 v124) (at r97 v125) (at r109 v126) (at r110 v127) (at r92 v128) (at r81 v129) (at r60 v130) (at r61 v131) (at r114 v132) (at r34 v133) (at r58 v134) (at r18 v135) (at r144 v136) (at r54 v137) (at r9 v138) (at r100 v139) (at r103 v140) (at r50 v141) (at r6 v142) (at r134 v143) (at r131 v144) (at r52 v145) (adjacent v0 v1) (adjacent v0 v4) (adjacent v0 v94) (adjacent v1 v2) (adjacent v1 v31) (adjacent v2 v3) (adjacent v2 v9) (adjacent v2 v26) (adjacent v2 v128) (adjacent v3 v4) (adjacent v3 v8) (adjacent v3 v27) (adjacent v4 v5) (adjacent v4 v64) (adjacent v5 v6) (adjacent v5 v20) (adjacent v5 v41) (adjacent v6 v7) (adjacent v6 v10) (adjacent v6 v13) (adjacent v6 v62) (adjacent v7 v8) (adjacent v7 v11) (adjacent v7 v105) (adjacent v8 v16) (adjacent v8 v31) (adjacent v8 v33) (adjacent v9 v10) (adjacent v9 v32) (adjacent v9 v69) (adjacent v10 v14) (adjacent v10 v17) (adjacent v10 v63) (adjacent v11 v12) (adjacent v11 v68) (adjacent v12 v13) (adjacent v12 v22) (adjacent v13 v67) (adjacent v14 v15) (adjacent v14 v21) (adjacent v15 v16) (adjacent v15 v21) (adjacent v16 v139) (adjacent v17 v18) (adjacent v18 v19) (adjacent v18 v34) (adjacent v19 v20) (adjacent v20 v30) (adjacent v21 v63) (adjacent v21 v138) (adjacent v22 v23) (adjacent v22 v53) (adjacent v22 v135) (adjacent v23 v24) (adjacent v23 v40) (adjacent v23 v101) (adjacent v24 v25) (adjacent v25 v26) (adjacent v27 v28) (adjacent v27 v66) (adjacent v27 v145) (adjacent v28 v29) (adjacent v28 v72) (adjacent v29 v30) (adjacent v30 v129) (adjacent v32 v33) (adjacent v34 v35) (adjacent v35 v36) (adjacent v36 v37) (adjacent v36 v52) (adjacent v36 v95) (adjacent v37 v38) (adjacent v38 v39) (adjacent v39 v40) (adjacent v39 v45) (adjacent v39 v118) (adjacent v41 v42) (adjacent v42 v43) (adjacent v43 v44) (adjacent v43 v46) (adjacent v43 v60) (adjacent v44 v45) (adjacent v44 v116) (adjacent v45 v77) (adjacent v45 v84) (adjacent v46 v47) (adjacent v47 v48) (adjacent v48 v49) (adjacent v49 v50) (adjacent v49 v88) (adjacent v50 v51) (adjacent v51 v52) (adjacent v51 v111) (adjacent v52 v59) (adjacent v53 v54) (adjacent v54 v55) (adjacent v55 v56) (adjacent v56 v57) (adjacent v57 v58) (adjacent v58 v59) (adjacent v58 v133) (adjacent v59 v83) (adjacent v60 v61) (adjacent v61 v62) (adjacent v63 v119) (adjacent v64 v65) (adjacent v64 v73) (adjacent v65 v66) (adjacent v65 v78) (adjacent v66 v93) (adjacent v67 v68) (adjacent v68 v84) (adjacent v68 v89) (adjacent v68 v126) (adjacent v69 v70) (adjacent v70 v71) (adjacent v71 v72) (adjacent v71 v104) (adjacent v73 v74) (adjacent v73 v92) (adjacent v74 v75) (adjacent v75 v76) (adjacent v75 v112) (adjacent v76 v77) (adjacent v78 v79) (adjacent v78 v115) (adjacent v78 v120) (adjacent v79 v80) (adjacent v80 v81) (adjacent v80 v85) (adjacent v80 v102) (adjacent v81 v82) (adjacent v82 v83) (adjacent v85 v86) (adjacent v86 v87) (adjacent v87 v88) (adjacent v88 v132) (adjacent v89 v90) (adjacent v89 v100) (adjacent v89 v119) (adjacent v90 v91) (adjacent v90 v101) (adjacent v91 v92) (adjacent v93 v94) (adjacent v93 v127) (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 v107 v108) (adjacent v108 v109) (adjacent v109 v110) (adjacent v110 v111) (adjacent v112 v113) (adjacent v113 v114) (adjacent v114 v115) (adjacent v116 v117) (adjacent v117 v118) (adjacent v120 v121) (adjacent v121 v122) (adjacent v122 v123) (adjacent v123 v124) (adjacent v124 v125) (adjacent v125 v126) (adjacent v127 v128) (adjacent v128 v134) (adjacent v129 v130) (adjacent v130 v131) (adjacent v131 v132) (adjacent v133 v134) (adjacent v135 v136) (adjacent v136 v137) (adjacent v137 v138) (adjacent v139 v140) (adjacent v140 v141) (adjacent v141 v142) (adjacent v142 v143) (adjacent v143 v144) (adjacent v144 v145) ) (:goal (and (at r28 v0) (at r30 v1) (at r8 v2) (at r63 v3) (at r107 v4) (at r38 v5) (at r121 v6) (at r6 v7) (at r45 v8) (at r64 v9) (at r4 v10) (at r128 v11) (at r16 v12) (at r113 v13) (at r98 v14) (at r108 v15) (at r68 v16) (at r144 v17) (at r60 v18) (at r145 v19) (at r129 v20) (at r138 v21) (at r89 v22) (at r118 v23) (at r142 v24) (at r14 v25) (at r116 v26) (at r117 v27) (at r34 v28) (at r75 v29) (at r115 v30) (at r95 v31) (at r103 v32) (at r77 v33) (at r111 v34) (at r134 v35) (at r50 v36) (at r92 v37) (at r24 v38) (at r18 v39) (at r56 v40) (at r83 v41) (at r86 v42) (at r114 v43) (at r67 v44) (at r85 v45) (at r53 v46) (at r137 v47) (at r37 v48) (at r136 v49) (at r47 v50) (at r43 v51) (at r87 v52) (at r131 v53) (at r15 v54) (at r109 v55) (at r57 v56) (at r22 v57) (at r94 v58) (at r17 v59) (at r102 v60) (at r58 v61) (at r66 v62) (at r41 v63) (at r72 v64) (at r101 v65) (at r59 v66) (at r70 v67) (at r84 v68) (at r100 v69) (at r49 v70) (at r105 v71) (at r5 v72) (at r88 v73) (at r76 v74) (at r110 v75) (at r52 v76) (at r46 v77) (at r119 v78) (at r135 v79) (at r51 v80) (at r54 v81) (at r33 v82) (at r61 v83) (at r19 v84) (at r124 v85) (at r125 v86) (at r26 v87) (at r130 v88) (at r27 v89) (at r96 v90) (at r35 v91) (at r90 v92) (free v93) (at r93 v94) (at r143 v95) (at r139 v96) (at r112 v97) (at r97 v98) (at r7 v99) (at r40 v100) (at r123 v101) (at r55 v102) (at r99 v103) (at r11 v104) (at r78 v105) (at r12 v106) (at r20 v107) (at r21 v108) (at r13 v109) (at r71 v110) (at r62 v111) (at r42 v112) (at r10 v113) (at r48 v114) (at r74 v115) (at r23 v116) (at r2 v117) (at r141 v118) (at r82 v119) (at r80 v120) (at r29 v121) (at r133 v122) (free v123) (at r120 v124) (at r132 v125) (at r91 v126) (at r44 v127) (at r81 v128) (at r106 v129) (at r9 v130) (at r3 v131) (at r65 v132) (at r104 v133) (at r127 v134) (at r79 v135) (at r126 v136) (at r31 v137) (at r39 v138) (at r36 v139) (at r69 v140) (at r140 v141) (at r73 v142) (at r25 v143) (at r32 v144) (at r122 v145) ) ) )