1Setting option: options_monitor (no value) 2Setting option: option_in_file_1 (no value) 3Setting option: alias_opt = option_in_file_2_val 4Setting option: alias_opt = alias_val 5Setting option: skip_petscrc (no value) 6Setting option: options_view (no value) 7Setting option: option1 = 1 8Setting option: option2 (no value) 9Setting option: option3 = value3 10Setting option: option4 = value4 11Setting option: option5 (no value) 12#PETSc Option Table entries: 13-alias_opt alias_val 14-option1 1 15-option2 16-option3 value3 17-option4 value4 18-option5 19-option_in_file_1 20-options_monitor 21-options_view 22-skip_petscrc 23#End of PETSc Option Table entries 24