{"p":"sns","op":"reg","name":"tri-digit_palindrome.sats"}