(define (problem multirobot_12_2_c9) (:domain multirobot) (:objects v0 r18 v1 r29 v2 r35 v3 r21 v4 r41 v5 r42 v6 r58 v7 v8 r38 v9 r8 v10 r4 v11 r53 v12 v13 r47 v14 r10 v15 r26 v16 r48 v17 r37 v18 r40 v19 r28 v20 r52 v21 r15 v22 r31 v23 r56 v24 r46 v25 r57 v26 r27 v27 r13 v28 r36 v29 r43 v30 r60 v31 r11 v32 r61 v33 r14 v34 r34 v35 r32 v36 r54 v37 r55 v38 r24 v39 r33 v40 r45 v41 r25 v42 r59 v43 r20 v44 r2 v45 r6 v46 r12 v47 r7 v48 r5 v49 r51 v50 r17 v51 r50 v52 r30 v53 r3 v54 r16 v55 r44 v56 r39 v57 r23 v58 r19 v59 r22 v60 r9 v61 r49 ) (:init (at r18 v0) (at r29 v1) (at r35 v2) (at r21 v3) (at r41 v4) (at r42 v5) (at r58 v6) (free v7) (at r38 v8) (at r8 v9) (at r4 v10) (at r53 v11) (free v12) (at r47 v13) (at r10 v14) (at r26 v15) (at r48 v16) (at r37 v17) (at r40 v18) (at r28 v19) (at r52 v20) (at r15 v21) (at r31 v22) (at r56 v23) (at r46 v24) (at r57 v25) (at r27 v26) (at r13 v27) (at r36 v28) (at r43 v29) (at r60 v30) (at r11 v31) (at r61 v32) (at r14 v33) (at r34 v34) (at r32 v35) (at r54 v36) (at r55 v37) (at r24 v38) (at r33 v39) (at r45 v40) (at r25 v41) (at r59 v42) (at r20 v43) (at r2 v44) (at r6 v45) (at r12 v46) (at r7 v47) (at r5 v48) (at r51 v49) (at r17 v50) (at r50 v51) (at r30 v52) (at r3 v53) (at r16 v54) (at r44 v55) (at r39 v56) (at r23 v57) (at r19 v58) (at r22 v59) (at r9 v60) (at r49 v61) (adjacent v0 v1) (adjacent v0 v4) (adjacent v0 v5) (adjacent v0 v11) (adjacent v1 v2) (adjacent v1 v11) (adjacent v1 v16) (adjacent v1 v55) (adjacent v2 v3) (adjacent v2 v10) (adjacent v2 v12) (adjacent v2 v40) (adjacent v3 v4) (adjacent v5 v6) (adjacent v6 v7) (adjacent v7 v8) (adjacent v7 v48) (adjacent v8 v9) (adjacent v8 v23) (adjacent v9 v10) (adjacent v10 v17) (adjacent v11 v24) (adjacent v11 v47) (adjacent v12 v13) (adjacent v13 v14) (adjacent v14 v15) (adjacent v14 v41) (adjacent v15 v16) (adjacent v15 v61) (adjacent v17 v18) (adjacent v18 v19) (adjacent v18 v38) (adjacent v19 v20) (adjacent v20 v21) (adjacent v21 v22) (adjacent v22 v23) (adjacent v23 v27) (adjacent v23 v31) (adjacent v24 v25) (adjacent v24 v32) (adjacent v25 v26) (adjacent v25 v56) (adjacent v26 v27) (adjacent v27 v28) (adjacent v28 v29) (adjacent v28 v37) (adjacent v29 v30) (adjacent v29 v48) (adjacent v30 v31) (adjacent v32 v33) (adjacent v33 v34) (adjacent v34 v35) (adjacent v35 v36) (adjacent v36 v37) (adjacent v36 v49) (adjacent v38 v39) (adjacent v39 v40) (adjacent v41 v42) (adjacent v42 v43) (adjacent v43 v44) (adjacent v44 v45) (adjacent v45 v46) (adjacent v46 v47) (adjacent v49 v50) (adjacent v50 v51) (adjacent v51 v52) (adjacent v52 v53) (adjacent v53 v54) (adjacent v54 v55) (adjacent v56 v57) (adjacent v57 v58) (adjacent v58 v59) (adjacent v59 v60) (adjacent v60 v61) ) (:goal (and (at r40 v0) (at r17 v1) (at r6 v2) (at r33 v3) (at r5 v4) (at r29 v5) (at r8 v6) (at r36 v7) (free v8) (at r43 v9) (at r47 v10) (at r10 v11) (at r26 v12) (at r57 v13) (at r24 v14) (at r23 v15) (at r28 v16) (at r54 v17) (at r9 v18) (at r56 v19) (at r52 v20) (free v21) (at r21 v22) (at r58 v23) (at r32 v24) (at r44 v25) (at r27 v26) (at r45 v27) (at r7 v28) (at r13 v29) (at r50 v30) (at r22 v31) (at r31 v32) (at r41 v33) (at r30 v34) (at r51 v35) (at r25 v36) (at r34 v37) (at r61 v38) (at r46 v39) (at r35 v40) (at r38 v41) (at r59 v42) (at r39 v43) (at r2 v44) (at r20 v45) (at r14 v46) (at r55 v47) (at r48 v48) (at r3 v49) (at r4 v50) (at r19 v51) (at r60 v52) (at r42 v53) (at r49 v54) (at r15 v55) (at r12 v56) (at r37 v57) (at r16 v58) (at r18 v59) (at r53 v60) (at r11 v61) ) ) )