module T10220 where
import T10220B