Longest Posted Proofs
---------------------

ADAM 2011:     ADAM 2012:     ADAM 2013:     ADAM 2014:
                              
    5865           5884           5884          10207
    5866           5885           5885          11309
    5866           5885           5885          11310
    5884           5885           5885          11310
    5885           7296           7296          17851
    5885           7297           7297          17852
    5885           7297           7297          17852
    7296          20807          20807          20807
    7297          20808          20808          20808
    7297          20808          20808          20808

Longest Sketches
----------------

ADAM 2011:     ADAM 2012:     ADAM 2013:     ADAM 2014:

   15263          30483          32693          35484
   15776          31186          33061         *38277 
   15777          31896          35236          38702
   15785          31899          35434         *40708 
   16400          32693          35484          43338
   17056          33061          38702         *54742 
   17071          38702          43338          68894
   17075          68894          68894          69407
   18862          69407          69407          69489
   24356          69489          69489         *73625