| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📁 CVS/ | - | 2025-09-08 03:01:12 |
| 📄 constraints.md | 2206 bytes | 2025-09-08 03:01:12 |
| 📄 fr30-protos.h | 1238 bytes | 2025-09-08 03:01:12 |
| 📄 fr30.cc | 32366 bytes | 2025-09-07 02:58:49 |
| 📄 fr30.h | 32287 bytes | 2025-09-08 03:01:12 |
| 📄 fr30.md | 38617 bytes | 2025-09-08 03:01:12 |
| 📄 fr30.opt | 942 bytes | 2025-09-08 03:01:12 |
| 📄 predicates.md | 3021 bytes | 2025-09-08 03:01:12 |