which are the files hold the justification comments in polyspace code prover.

I want to know the list of files which carries the justification comments which are visible in the report.if i know the files name i can copy and paste files in the another result so that when i give for Report Generation it considers those files while adding comments.I know there is another method in which we can import comments from the known results but, i want the list of files which holds the comments of report.Also , i want to know which file indicates what ,what does that file carry .

Thanks in advance