{"p":"sns","op":"reg","name":"x²+y²=z².sats"}