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