(apply_cnot_l1_l3_i2 p12 p2)
(apply_cnot_l0_l3_i5 p1 p2)
(swap l1 l3 p12 p2)
(apply_cnot_l4_l0_i8 p13 p1)
(swap l4 l3 p13 p12)
(apply_cnot_l3_l4_i10 p13 p12)
(apply_cnot_l3_l0_i11 p13 p1)
(swap-ancilary l1 p2 p3)
(swap-ancilary l0 p1 p2)
(apply_cnot_l4_l0_i15 p12 p2)
(apply_cnot_l3_l4_i16 p13 p12)
(swap l4 l0 p12 p2)
(swap l3 l0 p13 p12)
(apply_cnot_l0_l3_i17 p13 p12)
(apply_cnot_l2_l3_i19 p11 p12)
(swap l2 l1 p11 p3)
(apply_cnot_l4_l2_i23 p2 p3)
(apply_cnot_l3_l4_i25 p12 p2)
(swap l1 l3 p11 p12)
(apply_cnot_l3_l2_i26 p11 p3)
(apply_cnot_l4_l2_i30 p2 p3)
(swap l3 l1 p11 p12)
(swap l1 l2 p11 p3)
(apply_cnot_l3_l4_i31 p12 p2)
(apply_cnot_l2_l3_i32 p11 p12)
(apply_cnot_l3_l4_i34 p12 p2)
; cost = 26 (unit cost)
