found 5 shorter proofs

*3.44:  183 ->  181
*4.77:  287 ->  285
*4.85:  123 ->  121
*4.86:  557 ->  555
biass: 1883 -> 1877

+ use lexicographically smallest known proof strings
  - 28 proofs affected: *2.42, *2.48, *2.51, *2.56, *2.85, *2.86, *3.14, *3.48,
    *4.51, *4.6, *4.62, *4.78, *4.79, *4.83, *5.12, *5.15, *5.22, *5.23, *5.24,
    *5.32, *5.35, *5.41, *5.501, *5.53, *5.61, *5.7, *5.71, and *5.74.