D 2018-05-23T12:20:41.674
T +comment a5edfddfa854273fcdac6d9054769ce38559d217c8c503cfc6c29a143764478e [build][core]\srules\sgraph:\smerge\slemmas\sin\skey\s<lemmas>
U olr
Z c50f0581c96819d951623cf38e9cb611