<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="133 132 503 243" width="503pt" height="243pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2006-05-05 17:02:45 +0000</dc:date></metadata><defs><filter id="Shadow" filterUnits="userSpaceOnUse"><feGaussianBlur in="SourceAlpha" result="blur" stdDeviation=".48301078"/><feOffset in="blur" result="offset" dx="1" dy="1"/><feFlood flood-color="black" flood-opacity=".5" result="flood"/><feComposite in="flood" in2="offset" operator="in"/></filter><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="14" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -4 8 8" markerWidth="8" markerHeight="8" color="black"><g><path d="M 5.6000004 0 L 0 -2.1000001 L 0 2.1000001 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_2" viewBox="-1 -3 7 6" markerWidth="7" markerHeight="6" color="black"><g><path d="M 4.7999992 0 L 0 -1.7999997 L 0 1.7999997 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Helvetica" font-size="11" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="-1e3" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-style="italic" font-weight="500"><font-face-src><font-face-name name="Helvetica-Oblique"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="9" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="13" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="768.0188" height="588.0188"/><g><title>Layer 1</title><g><xl:use xl:href="#id4_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id5_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id22_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id7_Graphic" filter="url(#Shadow)"/><xl:use xl:href="#id17_Graphic" filter="url(#Shadow)"/></g><path d="M 237.89106 230.97335 L 237.89106 230.97335 C 243.97415 235.39297 245.32265 243.9071 240.90303 249.99018 C 240.90303 249.99018 240.90303 249.99018 240.90303 249.99018 L 213.52887 287.66748 C 209.10925 293.75057 200.59513 295.09907 194.51204 290.67945 L 194.51204 290.67945 C 188.42895 286.25983 187.08045 277.7457 191.50007 271.66262 L 218.87423 233.98532 C 223.29385 227.90223 231.80797 226.55373 237.89106 230.97335 Z" fill="#ffccc3" fill-opacity=".25"/><path d="M 237.89106 230.97335 L 237.89106 230.97335 C 243.97415 235.39297 245.32265 243.9071 240.90303 249.99018 C 240.90303 249.99018 240.90303 249.99018 240.90303 249.99018 L 213.52887 287.66748 C 209.10925 293.75057 200.59513 295.09907 194.51204 290.67945 L 194.51204 290.67945 C 188.42895 286.25983 187.08045 277.7457 191.50007 271.66262 L 218.87423 233.98532 C 223.29385 227.90223 231.80797 226.55373 237.89106 230.97335 Z" stroke="#ff97a0" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 197.99853 196.87463 L 197.99853 196.87463 C 203.38779 192.9742 210.91857 194.18114 214.819 199.5704 C 214.819 199.5704 214.819 199.5704 214.819 199.5704 L 240.80254 235.4721 C 244.70297 240.86136 243.49603 248.39214 238.10677 252.29257 L 238.10677 252.29257 C 232.71751 256.193 225.18673 254.98606 221.2863 249.5968 C 221.2863 249.5968 221.2863 249.5968 221.2863 249.5968 L 195.30276 213.6951 C 191.40233 208.30584 192.60927 200.77506 197.99853 196.87463 Z" fill="#ffccc3" fill-opacity=".25"/><path d="M 197.99853 196.87463 L 197.99853 196.87463 C 203.38779 192.9742 210.91857 194.18114 214.819 199.5704 C 214.819 199.5704 214.819 199.5704 214.819 199.5704 L 240.80254 235.4721 C 244.70297 240.86136 243.49603 248.39214 238.10677 252.29257 L 238.10677 252.29257 C 232.71751 256.193 225.18673 254.98606 221.2863 249.5968 C 221.2863 249.5968 221.2863 249.5968 221.2863 249.5968 L 195.30276 213.6951 C 191.40233 208.30584 192.60927 200.77506 197.99853 196.87463 Z" stroke="#ff97a0" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g id="id4_Graphic"><circle cx="205.5" cy="207.5" r="10.500017" fill="white"/><circle cx="205.5" cy="207.5" r="10.500017" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><g id="id5_Graphic"><circle cx="176.5" cy="241.5" r="10.500017" fill="white"/><circle cx="176.5" cy="241.5" r="10.500017" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><g id="id22_Graphic"><circle cx="156.5" cy="280.5" r="10.500017" fill="white"/><circle cx="156.5" cy="280.5" r="10.500017" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><g id="id7_Graphic"><circle cx="229.5" cy="240.5" r="10.500017" fill="white"/><circle cx="229.5" cy="240.5" r="10.500017" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><line x1="198.36125" y1="215.86957" x2="183.63874" y2="233.13042" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="211.97076" y1="216.39733" x2="223.02918" y2="231.60271" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="171.47923" y1="251.2905" x2="161.52077" y2="270.7095" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g id="id17_Graphic"><circle cx="201.5" cy="280.5" r="10.500017" fill="white"/><circle cx="201.5" cy="280.5" r="10.500017" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/></g><line x1="182.43751" y1="250.76253" x2="195.56247" y2="271.23748" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="223.19091" y1="249.51298" x2="207.80908" y2="271.48702" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="233.83421" y1="250.61316" x2="246" y2="279" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(255 275)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><line x1="197.32751" y1="290.68088" x2="189" y2="311" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="237.95824" y1="247.5337" x2="277" y2="280" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="205.49625" y1="290.75125" x2="213" y2="310" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(195 307)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><text transform="translate(330 250)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="29.355469">get_fi</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="29.355469" y="11" textLength="16.013672">eld</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="10.001953">...</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="39" textLength="74.039062">monitor_enter</tspan></text><text transform="translate(330 197)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="10.001953">...</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="29.355469">get_fi</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="29.355469" y="25" textLength="16.013672">eld</tspan></text><text transform="translate(330 316)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="74.039062">monitor_enter</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="25" textLength="10.001953">...</tspan></text><path d="M 312 246 L 397 246 C 404.73199 246 411 252.26801 411 260 L 411 282 C 411 289.73199 404.73199 296 397 296 L 312 296 C 304.26801 296 298 289.73199 298 282 L 298 260 C 298 252.26801 304.26801 246 312 246 Z" fill="#ffccc3" fill-opacity=".25"/><path d="M 312 246 L 397 246 C 404.73199 246 411 252.26801 411 260 L 411 282 C 411 289.73199 404.73199 296 397 296 L 312 296 C 304.26801 296 298 289.73199 298 282 L 298 260 C 298 252.26801 304.26801 246 312 246 Z" stroke="#ff97a0" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 312 179 L 397 179 C 404.73199 179 411 185.26801 411 193 L 411 215 C 411 222.73199 404.73199 229 397 229 L 312 229 C 304.26801 229 298 222.73199 298 215 L 298 193 C 298 185.26801 304.26801 179 312 179 Z" fill="#ffccc3" fill-opacity=".25"/><path d="M 312 179 L 397 179 C 404.73199 179 411 185.26801 411 193 L 411 215 C 411 222.73199 404.73199 229 397 229 L 312 229 C 304.26801 229 298 222.73199 298 215 L 298 193 C 298 185.26801 304.26801 179 312 179 Z" stroke="#ff97a0" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 312 314 L 397 314 C 404.73199 314 411 320.26801 411 328 L 411 350 C 411 357.73199 404.73199 364 397 364 L 312 364 C 304.26801 364 298 357.73199 298 350 L 298 328 C 298 320.26801 304.26801 314 312 314 Z" fill="#ffccc3" fill-opacity=".25"/><path d="M 312 314 L 397 314 C 404.73199 314 411 320.26801 411 328 L 411 350 C 411 357.73199 404.73199 364 397 364 L 312 364 C 304.26801 364 298 357.73199 298 350 L 298 328 C 298 320.26801 304.26801 314 312 314 Z" stroke="#ff97a0" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(460.266 141)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="0" y="14" textLength="106.61328">ChoiceGenerator</tspan></text><path d="M 386 218 L 456 218 L 456 224.5" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 456 246 L 456 255 L 387.7 255" marker-end="url(#FilledArrow_Marker_2)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(301 193.5)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x=".2241211" y="14" textLength="8.551758">T</tspan></text><text transform="translate(310 201.5)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x=".27807617" y="10" textLength="2.4438477">j</tspan></text><text transform="translate(301 259.178)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x=".2241211" y="14" textLength="8.551758">T</tspan></text><text transform="translate(309 267.178)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="14.985352">j+1</tspan></text><text transform="translate(300 327.178)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x=".2241211" y="14" textLength="8.551758">T</tspan></text><text transform="translate(308 335.178)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="14.985352">j+2</tspan></text><path d="M 406 287 L 455 287 L 455 293.5" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><path d="M 455 315 L 455 324 L 412.7 324" marker-end="url(#FilledArrow_Marker_2)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(452 228)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="0" y="14" textLength="21">CG</tspan></text><text transform="translate(475.15 236)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="5.5">k</tspan></text><text transform="translate(452 297)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="0" y="14" textLength="21">CG</tspan></text><text transform="translate(475.15 305)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="2.4438477">l</tspan></text><text transform="translate(431 200)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="0" y="11" textLength="58.68164">setNextCG</tspan></text><text transform="translate(431 256)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="0" y="11" textLength="78.708984">getNextChoice</tspan></text><text transform="translate(323.5 141)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="0" y="14" textLength="8.551758">T</tspan><tspan font-family="Helvetica" font-size="14" font-weight="500" x="8.0390625" y="14" textLength="52.916992">ransition</tspan></text><text transform="translate(198.707 241.273)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="6">c</tspan></text><text transform="translate(203.818 238.508)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="5.005371">1</tspan></text><text transform="translate(205.471 248.397)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="4.5">k</tspan></text><text transform="translate(225.2 255.48)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="6">c</tspan></text><text transform="translate(231.407 251.619)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="5.005371">2</tspan></text><text transform="translate(231.69 262.33)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="4.5">k</tspan></text><text transform="translate(248.814 242.537)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="6">c</tspan></text><text transform="translate(255.295 238.95)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="5.005371">3</tspan></text><text transform="translate(255.578 249.661)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="4.5">k</tspan></text><text transform="translate(223.631 231.98)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49804688" y="11" textLength="8.0039062">S</tspan></text><text transform="translate(231.712 236.938)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="4.5">k</tspan></text><text transform="translate(513.826 231.676)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="6">c</tspan></text><text transform="translate(518.798 228.5)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="5.005371">1</tspan></text><text transform="translate(520.589 238.389)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="4.5">k</tspan></text><text transform="translate(529.688 231.676)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="6">c</tspan></text><text transform="translate(535.248 228.5)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="5.005371">2</tspan></text><text transform="translate(536.451 238.389)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="4.5">k</tspan></text><text transform="translate(506.378 228.326)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x=".32910156" y="13" textLength="4.341797">{</tspan></text><text transform="translate(506.378 296.609)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x=".32910156" y="13" textLength="4.341797">{</tspan></text><text transform="translate(559.536 228.326)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x=".32910156" y="13" textLength="4.341797">}</tspan></text><text transform="translate(544.246 296.609)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x=".32910156" y="13" textLength="4.341797">}</tspan></text><text transform="translate(526.246 232.672)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".33300781" y="11" textLength="3.3339844">,</tspan></text><text transform="translate(495.88 228.328)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x=".20410156" y="13" textLength="7.591797">=</tspan></text><text transform="translate(495.882 296.807)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x=".20410156" y="13" textLength="7.591797">=</tspan></text><text transform="translate(181.122 141)" fill="black"><tspan font-family="Helvetica" font-size="14" font-weight="500" x="0" y="14" textLength="32.689453">State</tspan></text><path d="M 595.073 343 L 595.073 238.537 L 583.773 238.537" marker-end="url(#FilledArrow_Marker_2)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(569.537 344.5)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="0" y="11" textLength="51.351562">backtrack</tspan></text><text transform="translate(570.537 218.5)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="0" y="11" textLength="45.36914">advance</tspan></text><text transform="translate(546.227 231.545)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="6">c</tspan></text><text transform="translate(551.787 228.369)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="5.005371">2</tspan></text><text transform="translate(552.99 238.258)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="4.5">k</tspan></text><text transform="translate(542.785 232.541)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".33300781" y="11" textLength="3.3339844">,</tspan></text><text transform="translate(513.076 299.926)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="6">c</tspan></text><text transform="translate(518.048 296.75)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="5.005371">1</tspan></text><text transform="translate(519.839 306.639)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="1.9995117">l</tspan></text><text transform="translate(527.938 299.926)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49902344" y="11" textLength="10.001953">...</tspan></text><text transform="translate(525.496 300.922)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".33300781" y="11" textLength="3.3339844">,</tspan></text><text transform="translate(417.5 185.5)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="0" y="11" textLength="42.029297">execute</tspan></text><text transform="translate(340.5 159)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="0" y="11" textLength="63.375">{Instruction}</tspan></text><text transform="translate(195.631 272.98)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".49804688" y="11" textLength="8.0039062">S</tspan></text><text transform="translate(204.712 277.938)" fill="black"><tspan font-family="Helvetica" font-size="9" font-weight="500" x="0" y="9" textLength="1.9995117">l</tspan></text></g></g></svg>