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