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