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