root 2e7078d9e3 Final Push		2026-04-01 00:43:56 +02:00
..
1774538855945-ast_tree (28).png	Final Push	2026-04-01 00:43:56 +02:00
1774540108005-ast_tree (30).png	Final Push	2026-04-01 00:43:56 +02:00
1774542769899-tseitin_tree (8).jpeg	Final Push	2026-04-01 00:43:56 +02:00