mod3(0)=0,
mod3(s(0))=s(0),
mod3(s(s(0)))=s(s(0)),
mod3(s(s(s(0))))=0,
mod3(s(s(s(s(0)))))=s(0),
mod3(s(s(s(s(s(0))))))=s(s(0)),
mod3(s(s(s(s(s(s(0)))))))=0