Added main_print_infExact.m