Fork Seq [Fork Assign [Fork (Letter "a") [],Fork (Letter "0") []],Fork Assign [Fork (Letter "b") [],Fork Minus [Fork (Letter "N") [],Fork (Letter "1") []]],Fork Assign [Fork (Letter "c") [],Fork Minus [Fork (Letter "N") [],Fork (Letter "1") []]],Fork While [Fork Not [Fork Equ [Fork (Letter "a") [],Fork Plus [Fork (Letter "b") [],Fork (Letter "1") []]]],Fork If [Fork Le [Fork Index [Fork (Letter "x") [],Fork (Letter "a") []],Fork (Letter "pivot") []],Fork Assign [Fork (Letter "a") [],Fork Plus [Fork (Letter "a") [],Fork (Letter "1") []]],Fork If [Fork Equ [Fork Index [Fork (Letter "x") [],Fork (Letter "a") []],Fork (Letter "pivot") []],Fork Seq [Fork Apply [Fork Apply [Fork Apply [Fork (Letter "swap") [],Fork (Letter "x") []],Fork (Letter "a") []],Fork (Letter "b") []],Fork Assign [Fork (Letter "a") [],Fork Plus [Fork (Letter "a") [],Fork (Letter "1") []]],Fork Assign [Fork (Letter "b") [],Fork Minus [Fork (Letter "b") [],Fork (Letter "1") []]]],Fork Seq [Fork Apply [Fork Apply [Fork Apply [Fork (Letter "swap") [],Fork (Letter "x") []],Fork (Letter "a") []],Fork (Letter "b") []],Fork Apply [Fork Apply [Fork Apply [Fork (Letter "swap") [],Fork (Letter "y") []],Fork (Letter "b") []],Fork (Letter "c") []],Fork Assign [Fork (Letter "b") [],Fork Minus [Fork (Letter "b") [],Fork (Letter "1") []]],Fork Assign [Fork (Letter "c") [],Fork Minus [Fork (Letter "c") [],Fork (Letter "1") []]]]]]]]