i[/users/screwtape/car-game/acl2/]	TITLE	null.host	1
i		null.host	1
1..                                                                         	/users/screwtape/car-game/	sdf.org	70
0Makefile                                       2023-Jan-16 01:23     0.3 KB	/users/screwtape/car-game/acl2/Makefile	sdf.org	70
0acl2-test.sh                                   2023-Jan-16 01:23     0.4 KB	/users/screwtape/car-game/acl2/acl2-test.sh	sdf.org	70
0car-game.lisp                                  2023-Jan-16 01:23     3.8 KB	/users/screwtape/car-game/acl2/car-game.lisp	sdf.org	70
0macros.lisp                                    2023-Jan-16 01:23     0.2 KB	/users/screwtape/car-game/acl2/macros.lisp	sdf.org	70
Itmp.png                                        2023-Jan-16 01:23    31.9 KB	/users/screwtape/car-game/acl2/tmp.png	sdf.org	70
.