{"p":"sns","op":"reg","name":"'[p'k'kp\\.unisat"}