The Area-Bounce theorem for n from 1 to, 30,

     (assuming Haglund's proved theorem 4.3), is



[true, true, true, true, true, true, true, true, true, true, true, true, true,

    true, true, true, true, true, true, true, true, true, true, true, true,

    true, true, true, true, true]



                        --------------------------------



                         This took, 11.783, seconds .