100644 blob 6886b6bf5c0b279231a263b5cb3ad7c7aefc2f86	levels.h
100644 blob 56764e3a492fc87d12bf5f7bcbe51c5730bb7f62	log.h
100644 blob 3bd9c856a09c2e2eee32c295e57f4d7d49fa3859	options.h
100644 blob d5651a9612cac78323960cd33e47d22c102ce796	short.h
100644 blob 7a48f2f1d1bd14115ab1ded39e33ee63f58b7d44	shorter.h