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