#Fri Jul 23 21:32:28 UTC 2021
constant=\u03a3\u03c4\u03b1\u03b8\u03b5\u03c1\u03ac
rule=\u039a\u03b1\u03bd\u03cc\u03bd\u03b1\u03c2
