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