100644 blob f81ae983ceed43b7ab43479061a8a9898c40890d	chaos_automaton.spef
100644 blob 7c9100bc1f5c6d2a41fe2571156ab611cb74010b	chaos_automaton_full.spef
100644 blob a25c66ff5c15665b81a0085197e2ab00c5088e2c	chaos_subarray.spef