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