| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| 1342-h/ | - | 2024-Jun-17 20:26 |
| 2023-02-04-1342-h/ | - | 2024-Jun-17 20:26 |
| 2023-02-221342-h/ | - | 2024-Jun-17 20:26 |
| old-2024-06-17/ | - | 2024-Jun-17 19:31 |
| 2023-02-221342-h.zip | 23.8 MiB | 2023-Feb-23 01:17 |
| 2023-02-221342-0.zip | 269.4 KiB | 2022-Nov-12 15:55 |
| 2023-02-221342-0.txt | 754.0 KiB | 2022-Nov-12 15:54 |
| pandp12.zip | 253.3 KiB | 2006-Apr-21 03:00 |
| pandp12.txt | 700.5 KiB | 2006-Apr-21 03:00 |
| pandp12p.pdf | 780.1 KiB | 2005-Aug-06 03:00 |
| pandp12t.tex | 780.1 KiB | 2005-Aug-06 03:00 |
| pandp12p.zip | 696.3 KiB | 2005-Aug-06 03:00 |
| pandp12t.zip | 255.9 KiB | 2005-Aug-06 03:00 |
| pandp09.txt | 61.0 KiB | 2003-May-08 03:00 |
| pandp09.zip | 9.3 KiB | 2003-May-08 03:00 |
| pandp12p2.zip | 957.8 KiB | 2002-Jul-01 03:00 |
| pandp12p2.pdf | 1006.6 KiB | 2002-Jul-01 03:00 |
| pandp11.txt | 699.4 KiB | 2001-Dec-19 05:00 |
| pandp11.zip | 254.1 KiB | 2001-Dec-19 05:00 |
| pandp10.txt | 696.4 KiB | 2001-Jul-30 03:00 |
| pandp10.zip | 252.7 KiB | 2001-Jul-30 03:00 |