teor 6797f4167d Add another regression test case		2021-05-24 11:08:05 -04:00
..
prop.txt	Add another regression test case	2021-05-24 11:08:05 -04:00