../ ct_length.awk 02-Feb-2025 19:17 407 decl.awk 02-Feb-2025 19:17 3044 deps.awk 02-Feb-2025 19:17 1306 eatc.awk 02-Feb-2025 19:17 492 gdecl.awk 02-Feb-2025 19:17 2791 hcal 02-Feb-2025 19:17 14046 hical 02-Feb-2025 19:17 2960 nocomment.awk 02-Feb-2025 19:17 590 primes.awk 02-Feb-2025 19:17 1058 qsort.awk 02-Feb-2025 19:17 1094