arithmetic	mercury__io__run_0_0
string_test	mercury__io__run_0_0
string_test_2	mercury__io__run_0_0
interpreter	mercury__io__run_0_0
petdr1		mercury__io__run_0_0
disj_disj	mercury__io__run_0_0
nondet_disj	mercury__io__run_0_0
partition	mercury__io__run_0_0
