+++ /dev/null
-module Imp1000 where
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-import Int10
-