$ENTRY Go {
    = <Prout 'F: ' <S F 0 14>>
      <Prout 'M: ' <S M 0 14>>;
};


F { 0 = 1; s.N = <- s.N <M <F <- s.N 1>>>>; };
M { 0 = 0; s.N = <- s.N <F <M <- s.N 1>>>>; };

S {
    s.F s.N s.M, <Compare s.N s.M>: '+' = ;
    s.F s.N s.M = <Mu s.F s.N> <S s.F <+ s.N 1> s.M>;
};