fourteenth sequence calculus session 8125582