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