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

ADAM 2011:     ADAM 2012:     ADAM 2013:
                              
    5865           5884           5884
    5866           5885           5885
    5866           5885           5885
    5884           5885           5885
    5885           7296           7296
    5885           7297           7297
    5885           7297           7297
    7296          20807          20807
    7297          20808          20808
    7297          20808          20808


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

ADAM 2011:     ADAM 2012:     ADAM 2013:

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

Note:  We have a 26220-step proof of {aK2,Greer} -> aK3,
       but it's a two-way proof and includes uncounted 
       demodulations (that is, the proof is not SFDF).