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