100644 blob edafe2f608286cdd86ae525f8cd154ff5b0aa6d4	altformats.csv
100644 blob 919b0e7113b42d45f5329b218271925d4ade12aa	comments.csv
100644 blob db7da03dd8ab3c7982c626657ba27becc02b23b5	examples.csv
100644 blob c776c33ee94408e1cddfdf8fe3e2483ad947bc55	formats.csv
100644 blob b142f036853bd54831409b311667e2d749819e22	operators.csv
100644 blob 4c9142186ffd51457a3f5207231092def1635269	ranges.csv
100644 blob 111b9cc19d660b8e810e6f965b5aaf5446f59804	shortcodes.csv