SHA1(jk-symbols.zip)= 21c8dd47685bb47e93a7f06a6fb87e3c09a74528