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