| drwxr-xr-x | [up] | ||
| -rw-r--r-- | 2023-11-20 19:02 -0500 | 1914 | 20230730.org |
| -rw-r--r-- | 2023-11-20 19:02 -0500 | 2097 | 20231024.org |
| -rw-r--r-- | 2023-11-20 19:02 -0500 | 1089 | 20231101.org |
| -rw-r--r-- | 2023-11-20 19:02 -0500 | 1711 | 20231102.org |
| -rw-r--r-- | 2023-11-20 19:02 -0500 | 5561 | 20231105.org |
| -rw-r--r-- | 2023-11-20 19:02 -0500 | 6165 | refs.bib |