100644 blob c1c2a2dea439b524a2c3cf7a9af66184cd03ca15	check.sh
100644 blob 6e84f46ad1af082bbbf70fd742267d0a2687c13b	checkasm.sh
100644 blob 46eb459930e1379ca0db0174fd8a55eb19e9ea51	notime.pl
100644 blob a90613d5b926b54db62f25cbe7cbc8703d87a760	overlap.sh
100644 blob 0bee2e06504b0236fe7950b891d0954aaf23b504	shortf.pl
100644 blob b4e1ac83c237e0fb286aa0f2a8597753390bf152	table.pl
100644 blob 86c526556abaceb6b64083980a23738f15743409	uncompr.pl