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