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