export const colors = { white : "#fff" , red : "#DF7373" , blue : "#6A8EAE" , beige : "#faf8ef" , darkBeige : "#eee4da" , gray : "#776E65" } ; export const CHARS = [ "a" , "b" , "c" , "d" , "e" , "f" , "g" , "h" , "i" , "j" , "k" , "l" , "m" , "n" , "o" , "p" , "q" , "r" , "s" , "t" , "u" , "v" , "w" , "x" , "y" , "z" , "A" , "B" , "C" , "D" , "E" , "F" , "G" , "H" , "I" , "J" , "K" , "L" , "M" , "N" , "O" , "P" , "Q" , "R" , "S" , "T" , "U" , "V" , "X" , "Y" , "Z" , "1" , "2" , "3" , "4" , "5" , "6" , "7" , "8" , "9" , "0" ] ; export const R_0 = [ ".*" , ".?" , "[RR]*" , "R*" , "(R|R)?" , "R?" ] ; export const R_1 = [ "[R0R]" , "[R]?0" , "0?" , "[0]" , "0R*" , "0" ] ; export const R_2 = [ "[R10]+" , "0[R1R]" , "[R0]1" , "(01|RR)" , "(RR|01)" , "[1R0][1R]" , "[1RR0]+" , "R?[10R]+" ] ; export const R_3 = [ "[2R10]+" , "[102R]+" , "0R*1[R2]" , "R?0+1[2R]" , "[1R2R0]+" , "[2R]?[120R]+" ] ;