100644 blob 45fa97b397cd34869d648c900c8a62b536e0db24	bounds.txtar
100644 blob fd65e50a949e017991b5236e03c3b01a6f63a6e2	bulk.txtar
100644 blob b0c2132c56541d74ae7133037c0e3dba8ad6f10d	closed_disjunction.txtar
100644 blob db75799306a0f085b33726511b7b7d39262b073d	closedness.txtar
100644 blob a0da3af60a1ec359f92709a52cb8fc3dcb32528c	comprehensions.txtar
100644 blob ce8408f2eb2f69be44263bf49136d6f6576b4b70	conflicts.txtar
100644 blob a1d1bbbc56449d742c16c61a586c77cdceae50f0	cycles_ref.txtar
100644 blob 246cae639ce0bdbcb4152b1ccdbe16dd7965af84	discontinuous.txtar
100644 blob 5027d2be8b0936ed353a8d1531f8b51833ac9516	disjunctions.txtar
100644 blob d42d46134e469a58237b58e435e86d6a17851ffb	dynamic_field.txtar
100644 blob 7fe090c2610c58626d2a0d2970c5fee69def78bb	embed.txtar
100644 blob f818cbb3fdc96b288de83bc36a602cba6a135868	errunifiy.txtar
100644 blob 0b7f376d3d4d854c300962386260b4f6d9448d56	expressions.txtar
100644 blob cf1d2715a783a4ea811dba0aa81f8f620e7c49c2	github.txtar
100644 blob c0759918fd24abb6ff2bb8c5d39b59b684ae3607	incomplete.txtar
100644 blob d3ba6128244574ecc72a5b964549c3611b790d36	incompleteperm.txtar
100644 blob 6abbe4a00d3f51361c6566be4e6ba7bf89bc6a45	issue285.txtar
100644 blob d4955e96a74b8d1c8a41edfe0382f714a0e4b390	issue295.txtar
100644 blob 9921a918f9b52e983e27abb34ea724acf5a34992	issue349.txtar
100644 blob 9b26d24f6e53217884742ea622d185e141c5ceb3	issue353.txtar
100644 blob 45a174b3928c2770f6852658a3161953330711ad	issue494.txtar
100644 blob 7beacec6f178d88a21447bdaca10af75616a30c3	issue500.txtar
100644 blob 7e6fa60550635aa9f6ddcff3d54dd0e5cf721dcd	issue545.txtar
100644 blob 7f92529f26e678eca8bd3d82c7c71e3be153860d	issue599.txtar
100644 blob e7e9c382eed6792f9ef629db8f0c5e66566f18eb	let.txtar
100644 blob 93df5d4ca66c82b93ed16dbf1ddeeae47d63b0f3	lists.txtar
100644 blob 7bb1f4bc60fe8ed35792aed9e5698f9517df2ef0	merge.txtar
100644 blob 08be88e6b54b4b1a246106a69997507646f9b4d2	resolve_basic.txtar
100644 blob 45c8bb39e785384c97c13e3df5ef768ee4e1b71d	resolve_env.txtar
100644 blob 4fdc64e66c943a814de7f7504f07c331fd942f09	selectors.txtar
100644 blob de12aa6e90fbc3e5847f04dbda3dbc0245700d2b	structs.txtar
100644 blob 2ac87ed2f8ab7b7133d495806c5fb0af24ec9bbd	unify.txtar