| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| ALIRE.txt | Text File | 88 | 4KB | 2013-09-08 |
| LLRAJU.DAT | Text File | 23 | 2KB | 2013-09-08 |
| TABLIB.DAT | Text File | 43,835 | 5MB | 2013-09-08 |
| TABLUN.DAT | Text File | 43,835 | 7MB | 2013-09-08 |
| VERIF.f | Text File | 1,040 | 34KB | 2013-09-08 |
| VERIF.out | Text File | 153 | 15KB | 2013-09-08 |
| VERIF.txt | Text File | 153 | 15KB | 2013-09-08 |