100644 blob 2f3bf0d73164b3ee2dfd4cdf69549e231e1c4288	SConscript
040000 tree 4271978905d0b2023b15ffaf2db39f2c4cab0479	configs
100755 blob c00d4f3de6bf2fdcb0a1d709b40585f38d21e560	diff-out
100644 blob b1332ebab5059977dbe1cdb8f9ef788fa189df9d	halt.sh
040000 tree 51e4be5bf3c3a83f2aafaf67a945bc9299d471f0	long
040000 tree 3e417e2957e8a2aaa567c714f7213b1b8d7985ce	quick
100644 blob 46181355994f90e6adb537608ba74250b0218ad4	run.py
040000 tree 26da41223421492993db15456774c53d3f0b5c1e	test-progs