{"p": "sns","op": "reg","name": "assumptions.sats"}
{"p": "sns","op": "reg","name": "assumptions.sats"}