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