import ASig1
import ASig2
main = return ()