![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| issue329.smt2 | 2024-09-15 02:49 | 303 | |
| issue329.smt2.gold | 2024-09-15 02:49 | 6 | |
| issue329_2.smt2 | 2024-09-15 02:49 | 232 | |
| issue329_2.smt2.gold | 2024-09-15 02:49 | 6 | |
| issue332.smt2 | 2024-09-15 02:49 | 280 | |
| issue332.smt2.gold | 2024-09-15 02:49 | 4 | |
| issue333.smt2 | 2024-09-15 02:49 | 621 | |
| issue333.smt2.gold | 2024-09-15 02:49 | 4 | |
| list2.smt2 | 2024-09-15 02:49 | 533 | |
| list2.smt2.gold | 2024-09-15 02:49 | 4 | |
| set4.smt2 | 2024-09-15 02:49 | 875 | |
| set4.smt2.gold | 2024-09-15 02:49 | 6 | |
| set5.smt2 | 2024-09-15 02:49 | 1.3K | |
| set5.smt2.gold | 2024-09-15 02:49 | 6 | |
| set5_pattern.smt2 | 2024-09-15 02:49 | 1.6K | |
| set5_pattern.smt2.gold | 2024-09-15 02:49 | 6 | |
| set6.smt2 | 2024-09-15 02:49 | 1.5K | |
| set6.smt2.gold | 2024-09-15 02:49 | 6 | |
| set6_pattern.smt2 | 2024-09-15 02:49 | 1.4K | |
| set6_pattern.smt2.gold | 2024-09-15 02:49 | 6 | |
| set7.smt2 | 2024-09-15 02:49 | 1.4K | |
| set7.smt2.gold | 2024-09-15 02:49 | 6 | |
| set8.smt2 | 2024-09-15 02:49 | 1.4K | |
| set8.smt2.gold | 2024-09-15 02:49 | 6 | |
| set10.smt2 | 2024-09-15 02:49 | 1.5K | |
| set10.smt2.gold | 2024-09-15 02:49 | 6 | |
| set11.smt2 | 2024-09-15 02:49 | 1.4K | |
| set11.smt2.gold | 2024-09-15 02:49 | 6 | |
| set12.smt2 | 2024-09-15 02:49 | 1.5K | |
| set12.smt2.gold | 2024-09-15 02:49 | 6 | |
| set13.smt2 | 2024-09-15 02:49 | 1.4K | |
| set13.smt2.gold | 2024-09-15 02:49 | 6 | |
| set15.smt2 | 2024-09-15 02:49 | 1.4K | |
| set15.smt2.gold | 2024-09-15 02:49 | 6 | |
| set17.smt2 | 2024-09-15 02:49 | 1.5K | |
| set17.smt2.gold | 2024-09-15 02:49 | 6 | |
| set18.smt2 | 2024-09-15 02:49 | 1.4K | |
| set18.smt2.gold | 2024-09-15 02:49 | 6 | |
| set20.smt2 | 2024-09-15 02:49 | 1.4K | |
| set20.smt2.gold | 2024-09-15 02:49 | 6 | |