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