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