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