| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| README | 2024-07-29 17:03 | 215 | ||
| det.001.sh | 2024-07-29 17:03 | 880 | ||
| det.002.sh | 2024-07-29 17:03 | 721 | ||
| det.003.sh | 2024-07-29 17:03 | 569 | ||
| det.004.sh | 2024-07-29 17:03 | 699 | ||
| det.005.sh | 2024-07-29 17:03 | 909 | ||
| det.006.sh | 2024-07-29 17:03 | 962 | ||
| lcp2.001.sh | 2024-07-29 17:03 | 475 | ||
| lcp2.002.sh | 2024-07-29 17:03 | 475 | ||
| lcp2.003.sh | 2024-07-29 17:03 | 477 | ||
| lcp2.004.sh | 2024-07-29 17:03 | 852 | ||
| lcp2.005.sh | 2024-07-29 17:03 | 9.6K | ||
| lcp2.006.sh | 2024-07-29 17:03 | 484 | ||
| lcp2.007.sh | 2024-07-29 17:03 | 484 | ||
| lcp2.008.sh | 2024-07-29 17:03 | 486 | ||
| lcp2.009.sh | 2024-07-29 17:03 | 499 | ||
| lcp2.010.sh | 2024-07-29 17:03 | 817 | ||
| lcp2.011.sh | 2024-07-29 17:03 | 713 | ||
| lcp2.012.sh | 2024-07-29 17:03 | 519 | ||
| lcp2.013.sh | 2024-07-29 17:03 | 518 | ||
| lcp2.014.sh | 2024-07-29 17:03 | 509 | ||
| lcp2.015.sh | 2024-07-29 17:03 | 501 | ||
| lcp2.016.sh | 2024-07-29 17:03 | 502 | ||
| lcp2.024.sh | 2024-07-29 17:03 | 1.1K | ||
| lcp2.025.sh | 2024-07-29 17:03 | 557 | ||
| lcp2.027.sh | 2024-07-29 17:03 | 717 | ||
| lcp2.028.sh | 2024-07-29 17:03 | 724 | ||
| lcp2.029.sh | 2024-07-29 17:03 | 2.2K | ||
| lcp2.030.sh | 2024-07-29 17:03 | 27K | ||
| lcp2.031.sh | 2024-07-29 17:03 | 5.8K | ||
| lcp2.032.sh | 2024-07-29 17:03 | 6.5K | ||
| lcp2.033.sh | 2024-07-29 17:03 | 1.1K | ||
| lcp2.034.sh | 2024-07-29 17:03 | 329 | ||
| lcp2.035.sh | 2024-07-29 17:03 | 27K | ||
| nondet.001.sh | 2024-07-29 17:03 | 757 | ||
| nondet.002.sh | 2024-07-29 17:03 | 598 | ||
| nondet.003.sh | 2024-07-29 17:03 | 446 | ||
| scripts/ | 2024-12-12 22:23 | - | ||