blob: 92f578cf4d4ffb3af543c0fd56ff42ab70e204cf [file] [log] [blame]
:- cuttest(100000).