Running tests.
prelude.pure: passed
test001.pure: passed
test002.pure: passed
test003.pure: passed
test004.pure: passed
test005.pure: passed
test006.pure: passed
test007.pure: passed
test008.pure: passed
test009.pure: passed
test010.pure: passed
test011.pure: passed
test012.pure: passed
test013.pure: passed
test014.pure: passed
test015.pure: passed
test016.pure: passed
test017.pure: passed
test018.pure: passed
test019.pure: passed
test020.pure: passed
test021.pure: passed
test022.pure: passed
test023.pure: passed
test024.pure: passed
test025.pure: passed
test026.pure: passed
test027.pure: passed
test028.pure: passed
test029.pure: passed
test030.pure: passed
test031.pure: passed
test032.pure: passed
test033.pure: passed
test034.pure: passed
test035.pure: passed
test036.pure: passed
test037.pure: passed
test038.pure: passed
test039.pure: passed
test040.pure: passed
test041.pure: passed
test042.pure: passed
test043.pure: passed
test044.pure: passed
test045.pure: passed
test046.pure: passed
test047.pure: passed
test048.pure: passed
test049.pure: passed
test050.pure: passed
test051.pure: passed
test052.pure: passed
test053.pure: passed
test054.pure: passed
test055.pure: passed
