dk.brics automaton 1.12-4 1.12-4 1.12-1 1.12-3 1.12-4 20220103113016