100644 blob b11498a5c558e8c2b9bab92e67ca75de182980b3	all-element-types.txt
100644 blob 0dc10807f5b82d97e3bdea65aaf0e1539ab28661	all-state.txt
100644 blob e03e5ea85c016560b5522bff7f1ed4d098562830	all-widths.txt