100644 blob ef85665bf0110024214c104f80681689fd24a4b3	05_types.txt
100644 blob a3fb295cf3b57fc66ee761d515fdafde366dbf6d	20_bottom.txt
100644 blob 94792ee4f37923174e56a32419c2e5b2a7f1af67	30_types.txt
100644 blob 645ecb1e83be3f3069649ea7ba971898f538960e	40_numbers.txt
100644 blob c6da95dcba9cb4052d0f0d147e6ab9b31962f722	45_numberlit.txt
100644 blob 99bb955003049c0b08dc7742887067e3ed3b0e4b	50_disjunctions.txt
100644 blob 310e2f655a77e50cf59e10480e06ccea40008c70	55_defaults.txt
100644 blob 29f8a9abbe6e64d008d9a23dc02344c3a5d18f10	55_sumstruct.txt
100644 blob 80c1cd83d1b6388e410e5b0092a3250e36f724f6	60_stringlit.txt
100644 blob 817fced9c4252262bb1f523fc9404f8d1827e099	65_stringraw.txt
100644 blob edf7d03318d2b2153795f5bc4ed374e39648e9e6	68_bytes.txt
100644 blob c9088928dc31c629063b83e75485733a83feda8e	70_bounds.txt
100644 blob 3125ff7039c52673a70edae60d6e0efe215734d9	75_bounddef.txt
100644 blob 652f118f546836aa6f48b848c0d209e1d23da929	80_lists.txt
100644 blob 779854b58cdbcfaac87b9a493eefb53974c1e1a1	90_templates.txt