100644 blob a3fb295cf3b57fc66ee761d515fdafde366dbf6d	20_bottom.txt
100644 blob dce9b26d3265dc14c4d58d24b511f3e07a9434a7	20_duplicates.txt
100644 blob 0e29ce26dd6e8334f5bc4b6cf37614e37645a7db	20_selectors.txt
100644 blob 94792ee4f37923174e56a32419c2e5b2a7f1af67	30_types.txt
100644 blob 645ecb1e83be3f3069649ea7ba971898f538960e	40_numbers.txt
100644 blob 074219493c6672fbdfb8c9b071f67f3871a22999	40_unification.txt
100644 blob 81a7eda8d97c185c1ded3a781ff9a640489e686d	50_disjunctions.txt
100644 blob 310e2f655a77e50cf59e10480e06ccea40008c70	55_defaults.txt
100644 blob 29f8a9abbe6e64d008d9a23dc02344c3a5d18f10	55_sumstruct.txt
100644 blob c9088928dc31c629063b83e75485733a83feda8e	70_bounds.txt
100644 blob 1ef0b8918b985b526355703e8330b1efa92ab601	75_rangedef.txt
100644 blob 3ecf4751edef683486a7f6dba156b259606e06ac	80_lists.txt
100644 blob 779854b58cdbcfaac87b9a493eefb53974c1e1a1	90_templates.txt
100644 blob 7e813fc0ec31a27090eb0352bb5a8eaf13786245	_index.md