![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Feb18/ | 2009-02-18 16:28 | - | |
| aut_MultiHash_code.pl | 2009-01-15 01:05 | 723K | |
| aut_code.pl | 2009-01-15 00:39 | 723K | |
| gen_automaton.pl | 2009-01-15 00:52 | 17K | |
| latest_results/ | 2010-01-07 19:25 | - | |
| results/ | 2010-01-07 19:23 | - | |
| withBot/ | 2009-04-12 13:45 | - | |
| with_topological_ordinals/ | 2009-02-09 19:31 | - | |