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