![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| scripts/ | 2024-07-17 00:10 | - | |
| nondet.003.sh | 2024-07-17 00:10 | 446 | |
| nondet.002.sh | 2024-07-17 00:10 | 598 | |
| nondet.001.sh | 2024-07-17 00:10 | 757 | |
| lcp2.035.sh | 2024-07-17 00:10 | 27K | |
| lcp2.034.sh | 2024-07-17 00:10 | 329 | |
| lcp2.033.sh | 2024-07-17 00:10 | 1.1K | |
| lcp2.032.sh | 2024-07-17 00:10 | 6.5K | |
| lcp2.031.sh | 2024-07-17 00:10 | 5.8K | |
| lcp2.030.sh | 2024-07-17 00:10 | 27K | |
| lcp2.029.sh | 2024-07-17 00:10 | 2.2K | |
| lcp2.028.sh | 2024-07-17 00:10 | 724 | |
| lcp2.027.sh | 2024-07-17 00:10 | 717 | |
| lcp2.025.sh | 2024-07-17 00:10 | 557 | |
| lcp2.024.sh | 2024-07-17 00:10 | 1.1K | |
| lcp2.016.sh | 2024-07-17 00:10 | 502 | |
| lcp2.015.sh | 2024-07-17 00:10 | 501 | |
| lcp2.014.sh | 2024-07-17 00:10 | 509 | |
| lcp2.013.sh | 2024-07-17 00:10 | 518 | |
| lcp2.012.sh | 2024-07-17 00:10 | 519 | |
| lcp2.011.sh | 2024-07-17 00:10 | 713 | |
| lcp2.010.sh | 2024-07-17 00:10 | 817 | |
| lcp2.009.sh | 2024-07-17 00:10 | 499 | |
| lcp2.008.sh | 2024-07-17 00:10 | 486 | |
| lcp2.007.sh | 2024-07-17 00:10 | 484 | |
| lcp2.006.sh | 2024-07-17 00:10 | 484 | |
| lcp2.005.sh | 2024-07-17 00:10 | 9.6K | |
| lcp2.004.sh | 2024-07-17 00:10 | 852 | |
| lcp2.003.sh | 2024-07-17 00:10 | 477 | |
| lcp2.002.sh | 2024-07-17 00:10 | 475 | |
| lcp2.001.sh | 2024-07-17 00:10 | 475 | |
| det.006.sh | 2024-07-17 00:10 | 962 | |
| det.005.sh | 2024-07-17 00:10 | 909 | |
| det.004.sh | 2024-07-17 00:10 | 699 | |
| det.003.sh | 2024-07-17 00:10 | 569 | |
| det.002.sh | 2024-07-17 00:10 | 721 | |
| det.001.sh | 2024-07-17 00:10 | 880 | |
| README | 2024-07-17 00:10 | 215 | |