<?xml version="1.0" encoding="utf-8"?><HelpTOCNode Title="PrtContinuation Methods" Url="html/c1e1641b-0f17-72b0-6fd2-a5ee2dfc1e05.htm"><HelpTOCNode Title="Clone Method " Url="html/9a7e63a7-2319-ede8-3ecc-0339faf1cffa.htm" /><HelpTOCNode Title="GetHashCode Method " Url="html/0d4b23a1-9a69-5bbe-0171-136809d3fa9a.htm" /><HelpTOCNode Title="Resolve Method " Url="html/a15690c0-3103-f7d1-af8a-998521f44191.htm" /><HelpTOCNode Title="ReturnAndResetNondet Method " Url="html/9fe8d93e-7242-7f6a-01ed-c83af55c9f92.htm" /><HelpTOCNode Title="ToString Method " Url="html/41aa41c6-4bc0-ebb4-cd8f-d5f4894b0997.htm" /></HelpTOCNode>