100644 blob c56e99f1776c7e7d34ea4b960aeb07fe6665269d	05_types.txt
100644 blob a3fb295cf3b57fc66ee761d515fdafde366dbf6d	20_bottom.txt
100644 blob 4af9dd327e7d3b9add765069fa17e9ecd58071a5	30_numbers.txt
100644 blob 1ee0d04a3a250d1689bc32fc4549f740a32e72ab	40_stringlit.txt
100644 blob 817fced9c4252262bb1f523fc9404f8d1827e099	45_stringraw.txt
100644 blob edf7d03318d2b2153795f5bc4ed374e39648e9e6	48_bytes.txt
100644 blob 50b3ade3499241efb3d2ab5a48d47cfe96ef8c3a	50_closed.txt
100644 blob 45ef02db8e7de827c2ecee70543a83ddae23d09d	55_defs.txt
100644 blob 78c4448b4c26facb3a1f0ec3707364e3e9b0a762	56_optional.txt
100644 blob 47a861c6006d3f8048a566282021c22cde7b1d30	60_disjunctions.txt
100644 blob 310e2f655a77e50cf59e10480e06ccea40008c70	65_defaults.txt
100644 blob 29f8a9abbe6e64d008d9a23dc02344c3a5d18f10	65_sumstruct.txt
100644 blob b3db502732f9221a12d6336d78b0e001bdd20c4c	70_bounds.txt
100644 blob a08d2286f49433072137c706f74366b0af3eb52b	75_bounddef.txt
100644 blob 6f0e137a2fa6a0ec176adb3104ee610bec2eb334	80_lists.txt
100644 blob 03d201d92c75ce336e466f839804b97b79f34f50	90_templates.txt