found 40 shorter proofs

*2.32:    91 ->   83
*3.3:     59 ->   55
*3.33:    95 ->   73
*3.34:   105 ->   73
*3.43:   117 ->  109
*3.44:   181 ->  161
*3.47:   203 ->  199
*3.48:   241 ->  171
*4.14:   283 ->  263
*4.15:   277 ->  233
*4.32:   317 ->  313
*4.33:   207 ->  199
*4.38:   585 ->  529
*4.39:   479 ->  465
*4.4:    355 ->  345
*4.41:   249 ->  241
*4.52:   219 ->  209
*4.53:   169 ->  159
*4.72:   195 ->  193
*4.76:   249 ->  241
*4.77:   285 ->  265
*4.82:   175 ->  157
*4.83:   245 ->  231
*4.85:   121 ->  119
*4.86:   555 ->  551
*4.87:   447 ->  439
*5.15:   267 ->  185
*5.16:   333 ->  331
*5.18:   503 ->  491
*5.23:   513 ->  501
*5.33:   389 ->  343
*5.35:   159 ->  145
*5.53:   673 ->  633
*5.54:   239 ->  233
*5.6:    167 ->  163
*5.61:   259 ->  249
*5.62:   167 ->  157
*5.74:   337 ->  335
*5.75:   351 ->  331
biass:  1877 -> 1851