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