class Main {
    io : IO <- new IO;

    p(a : Int) : Int {{
        io.out_int(a <- a + 1).out_string("\n") ;
        a <- a + 1;
    }} ;

    main() : Object {
        let a : Int <- 1,
            a : Int <- a <- p(a <- p(a)),
            a : Int <- a <- p(a <- p(a)),
            a : Int <- a <- p(a <- p(a)),
            a : Int <- a <- p(a <- p(a)),
            a : Int <- a <- p(a <- p(a)) in {
            a <- p(a <- p(a));
            let a : Int <- a <- p(a <- p(a)),
                a : Int <- a <- p(a <- p(a)),
                a : Int <- a <- p(a <- p(a)),
                a : Int <- {

                    case a of
                        a : Int =>
                            let a : Int <- a <- p(a <- p(a)),
                                a : Int <- a <- p(a <- p(a)),
                                a : Int <- a <- p(a <- p(a)) in
                                    p(a);
                    esac;
                },
                a : Int <- a <- p(a <- p(a)),
                a : Int <- a <- p(a <- p(a))in {
                a <- p(a <- p(a));
                let a : Int <- a <- p(a <- p(a)),
                    a : Int <- a <- p(a <- p(a)),
                    a : Int <- a <- p(a <- p(a)),
                    a : Int <- a <- p(a <- p(a)),
                    a : Int <- a <- p(a <- p(a)),
                    a : Int <- a <- p(a <- p(a))in {
                    a <- p(a <- p(a));
                    let a : Int <- a <- p(a <- p(a)),
                        a : Int <- a <- p(a <- p(a)),
                        a : Int <- a <- p(a <- p(a)),
                        a : Int <- a <- p(a <- p(a)),
                        a : Int <- a <- p(a <- p(a)),
                        a : Int <- a <- p(a <- p(a))in {
                        a <- p(a <- p(a));
                        let a : Int <- a <- p(a <- p(a)),
                            a : Int <- a <- p(a <- p(a)),
                            a : Int <- a <- p(a <- p(a)),
                            a : Int <- a <- p(a <- p(a)),
                            a : Int <- a <- p(a <- p(a)),
                            a : Int <- a <- p(a <- p(a))in {
                            a <- p(a <- p(a));
                            let a : Int <- a <- p(a <- p(a)),
                                a : Int <- a <- p(a <- p(a)),
                                a : Int <- a <- p(a <- p(a)),
                                a : Int <- a <- p(a <- p(a)),
                                a : Int <- a <- p(a <- p(a)),
                                a : Int <- a <- p(a <- p(a))in {
                                a <- p(a <- p(a));
                                let a : Int <- a <- p(a <- p(a)),
                                    a : Int <- a <- p(a <- p(a)),
                                    a : Int <- a <- p(a <- p(a)),
                                    a : Int <- a <- p(a <- p(a)),
                                    a : Int <- a <- p(a <- p(a)),
                                    a : Int <- a <- p(a <- p(a))in {
                                    a <- p(a <- p(a));
                                    let a : Int <- a <- p(a <- p(a)),
                                        a : Int <- a <- p(a <- p(a)),
                                        a : Int <- a <- p(a <- p(a)),
                                        a : Int <- a <- p(a <- p(a)),
                                        a : Int <- a <- p(a <- p(a)),
                                        a : Int <- a <- p(a <- p(a))in {
                                        a <- p(a <- p(a));
                                        let a : Int <- a <- p(a <- p(a)),
                                            a : Int <- a <- p(a <- p(a)),
                                            a : Int <- a <- p(a <- p(a)),
                                            a : Int <- a <- p(a <- p(a)),
                                            a : Int <- a <- p(a <- p(a)),
                                            a : Int <- a <- p(a <- p(a))in {
                                            a <- p(a <- p(a));
                                        };
                                        a <- p(a <- p(a));
                                    };
                                    a <- p(a <- p(a));
                                };
                                a <- p(a <- p(a));
                            };
                            a <- p(a <- p(a));
                        };
                        a <- p(a <- p(a));
                    };
                    a <- p(a <- p(a));
                };
                a <- p(a <- p(a));
            };
            a <- p(a <- p(a));
        }
    };


};