![[PARENTDIR]](/icons/back.gif){kind=icon}
![[FILE]](/icons/text.gif){kind=icon}
![[FILE]](/icons/unknown.gif){kind=icon}
![[FILE]](/icons/image2.gif){kind=icon}
| Name | Type | Last modified | Size |
|---|---|---|---|---|
| Parent Directory | - | ||
| cr-lea-output.txt | TXT | 2026-09-25 06:55 | 600 |
| dkr-lea-output.txt | TXT | 2026-09-25 06:55 | 946 |
| cr-lea.pml | PML | 2026-09-25 07:21 | 2.1K |
| dkr-lea.pml | PML | 2026-09-26 08:41 | 2.7K |
| dolev_klawe_rodeh_verif.png | PNG | 2026-09-25 07:13 | 58.3K |
| chang_roberts_lea_verif.png | PNG | 2026-09-25 07:13 | 61.6K |
