100644 blob f07aeacc5badb3f480d3eed7f82640cdbc5379e3	chaos_automaton.spef
100644 blob 7c9100bc1f5c6d2a41fe2571156ab611cb74010b	chaos_automaton_full.spef
100644 blob f8d01a50c33094e042d22170bbc371c21acfcd6a	chaos_subarray.spef