(begin-cut sub5 sub2)
(end-cut-1 sub2 sub3)
(end-cut-2 sub5 sub3)
(begin-transpose-splice sub3 sub4)
(end-splice-1 sub2 sub3)
(end-splice-2 sub2 sub4)
(reset-1 sub5)
(begin-cut sub1 sub6)
(continue-cut sub6 sub5)
(continue-cut sub5 sub3)
(continue-cut sub3 sub2)
(continue-cut sub2 sub4)
(end-cut-1 sub4 g54)
(end-cut-2 sub1 g54)
(begin-inverse-splice sub1 g54)
(continue-inverse-splice-1a sub4 sub2)
(continue-inverse-splice-2 sub4 sub1)
(continue-inverse-splice-1a sub2 sub3)
(continue-inverse-splice-2 sub2 sub4)
(continue-inverse-splice-1a sub3 sub5)
(continue-inverse-splice-2 sub3 sub2)
(continue-inverse-splice-1a sub5 sub6)
(continue-inverse-splice-2 sub5 sub3)
(end-inverse-splice-1a sub6 sub5)
(end-inverse-splice-2 sub6 g54)
(reset-1 sub1)
(begin-cut sub1 sub4)
(continue-cut sub4 sub2)
(continue-cut sub2 sub3)
(continue-cut sub3 sub5)
(continue-cut sub5 sub6)
(continue-cut sub6 g54)
(end-cut-1 g54 sub1)
(end-cut-2 sub1 sub1)
(begin-inverse-splice-special-case sub1)
(continue-inverse-splice-1a g54 sub6)
(continue-inverse-splice-2 g54 sub1)
(continue-inverse-splice-1b sub6 sub5)
(continue-inverse-splice-2 sub6 g54)
(continue-inverse-splice-1b sub5 sub3)
(continue-inverse-splice-2 sub5 sub6)
(continue-inverse-splice-1b sub3 sub2)
(continue-inverse-splice-2 sub3 sub5)
(continue-inverse-splice-1b sub2 sub4)
(continue-inverse-splice-2 sub2 sub3)
(end-inverse-splice-1b sub4 sub2)
(end-inverse-splice-2 sub4 sub1)
; cost = 4 (general cost)
