repair char-foldcase for some single-character special cases
#31
| Job | Run time |
|---|---|
| 39m 13s | |
| 39m 13s | |
| 17m 35s | |
| 17m 35s | |
| 22m 33s | |
| 22m 33s | |
| 15m 33s | |
| 15m 33s | |
| 24m 2s | |
| 24m 2s | |
| 16m 34s | |
| 16m 34s | |
| 18m 3s | |
| 21m 22s | |
| 16m 12s | |
| 16m 12s | |
| 29m 27s | |
| 29m 27s | |
| 41m 49s | |
| 41m 49s | |
| 33m 10s | |
| 33m 10s | |
| 41m 41s | |
| 41m 41s | |
| 26m 31s | |
| 26m 31s | |
| 11h 28m 5s |