Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
03.txt 2018-01-07 14:21 33
04.txt 2018-01-07 14:21 55
05.txt 2018-01-07 14:21 83
06.txt 2018-01-07 14:22 117
07.txt 2018-01-07 14:20 157
![[ ]](/icons/unknown.gif){kind=icon}
Magic2020.java 2020-02-25 11:11 526
magic.mzn 2018-02-01 13:22 51
readme.txt 2018-01-07 14:22 599