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