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