(apply_cnot_l1_l4_i1 p13 p12)
(apply_cnot_l0_l4_i3 p11 p12)
(apply_cnot_l1_l4_i5 p13 p12)
(apply_cnot_l0_l4_i7 p11 p12)
(apply_cnot_l4_l5_i11 p12 p2)
(apply_cnot_l2_l5_i13 p1 p2)
(apply_cnot_l4_l5_i15 p12 p2)
(apply_cnot_l2_l5_i17 p1 p2)
(apply_cnot_l5_l6_i21 p2 p3)
(apply_cnot_l3_l6_i23 p4 p3)
(apply_cnot_l5_l6_i25 p2 p3)
(apply_cnot_l3_l6_i27 p4 p3)
(swap l5 l6 p2 p3)
(apply_cnot_l3_l5_i28 p4 p3)
(apply_cnot_l3_l5_i30 p4 p3)
(swap l6 l5 p2 p3)
(apply_cnot_l4_l5_i34 p12 p2)
(apply_cnot_l2_l5_i36 p1 p2)
(apply_cnot_l4_l5_i38 p12 p2)
(apply_cnot_l1_l4_i40 p13 p12)
(apply_cnot_l2_l5_i50 p1 p2)
(apply_cnot_l0_l4_i42 p11 p12)
(apply_cnot_l1_l4_i44 p13 p12)
(apply_cnot_l0_l4_i46 p11 p12)
; cost = 24 (unit cost)
