Here is the output DTD defined for the thread-specific points-to sets.
It allows per thread specification of the points-to set for each local variable
in the application program.

<!ELEMENT project1 (thread*)> 
<!ELEMENT thread (threadname, method*)>
<!ELEMENT method (methodname, pointstoset*)> 
<!ELEMENT pointstoset (variable, creationsite*)> 
<!ELEMENT threadname (#PCDATA) > 
<!ELEMENT methodname (#PCDATA) > 
<!ELEMENT creationsite (#PCDATA)> 
<!ELEMENT variable (#PCDATA)>

Because the output file may be large, please compress it using tar
and then gzip the result or use the command "tar -czvf" to create
the tar file.  Then you can handin online the resulting file.