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