schipeltaper 7f215317e8 setup sam branch		2025-11-25 13:50:28 +01:00
..
day1.lean	setup sam branch	2025-11-25 13:50:28 +01:00