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