s-scrap-2023-07

code:peano.est

domain N

pub 0

pub S

ax S(a)