Created
June 5, 2018 13:53
-
-
Save nikomatsakis/01542a27d4d6558420d94083d9a2bb4e to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?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"> | |
| <!-- Generated by graphviz version 2.38.0 (20140413.2041) | |
| --> | |
| <!-- Title: RegionInferenceContext Pages: 1 --> | |
| <svg width="728pt" height="1523pt" | |
| viewBox="0.00 0.00 728.17 1523.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> | |
| <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1519)"> | |
| <title>RegionInferenceContext</title> | |
| <polygon fill="white" stroke="none" points="-4,4 -4,-1519 724.17,-1519 724.17,4 -4,4"/> | |
| <!-- r0 --> | |
| <g id="node1" class="node"><title>r0</title> | |
| <polygon fill="none" stroke="black" points="387.17,-1515 333.17,-1515 333.17,-1479 387.17,-1479 387.17,-1515"/> | |
| <text text-anchor="middle" x="360.17" y="-1493.3" font-family="Times,serif" font-size="14.00">'_#0r</text> | |
| </g> | |
| <!-- r13 --> | |
| <g id="node14" class="node"><title>r13</title> | |
| <polygon fill="none" stroke="black" points="387.17,-1428 333.17,-1428 333.17,-1392 387.17,-1392 387.17,-1428"/> | |
| <text text-anchor="middle" x="360.17" y="-1406.3" font-family="Times,serif" font-size="14.00">'_#13r</text> | |
| </g> | |
| <!-- r0->r13 --> | |
| <g id="edge24" class="edge"><title>r0->r13</title> | |
| <path fill="none" stroke="black" d="M348.696,-1478.9C345.63,-1473.42 342.736,-1467.17 341.17,-1461 339.178,-1453.15 340.746,-1444.85 343.681,-1437.31"/> | |
| <polygon fill="black" stroke="black" points="346.848,-1438.81 347.965,-1428.27 340.521,-1435.81 346.848,-1438.81"/> | |
| <text text-anchor="middle" x="350.17" y="-1449.8" font-family="Times,serif" font-size="14.00">All</text> | |
| </g> | |
| <!-- r1 --> | |
| <g id="node2" class="node"><title>r1</title> | |
| <polygon fill="none" stroke="black" points="246.17,-471 192.17,-471 192.17,-435 246.17,-435 246.17,-471"/> | |
| <text text-anchor="middle" x="219.17" y="-449.3" font-family="Times,serif" font-size="14.00">'_#1r</text> | |
| </g> | |
| <!-- r12 --> | |
| <g id="node13" class="node"><title>r12</title> | |
| <polygon fill="none" stroke="black" points="258.17,-384 204.17,-384 204.17,-348 258.17,-348 258.17,-384"/> | |
| <text text-anchor="middle" x="231.17" y="-362.3" font-family="Times,serif" font-size="14.00">'_#12r</text> | |
| </g> | |
| <!-- r1->r12 --> | |
| <g id="edge25" class="edge"><title>r1->r12</title> | |
| <path fill="none" stroke="black" d="M210.454,-434.726C206.695,-425.024 203.841,-412.744 207.17,-402 208.152,-398.833 209.53,-395.698 211.135,-392.682"/> | |
| <polygon fill="black" stroke="black" points="214.175,-394.42 216.46,-384.075 208.222,-390.737 214.175,-394.42"/> | |
| <text text-anchor="middle" x="216.17" y="-405.8" font-family="Times,serif" font-size="14.00">All</text> | |
| </g> | |
| <!-- r14 --> | |
| <g id="node15" class="node"><title>r14</title> | |
| <polygon fill="none" stroke="black" points="241.17,-558 187.17,-558 187.17,-522 241.17,-522 241.17,-558"/> | |
| <text text-anchor="middle" x="214.17" y="-536.3" font-family="Times,serif" font-size="14.00">'_#14r</text> | |
| </g> | |
| <!-- r1->r14 --> | |
| <g id="edge22" class="edge"><title>r1->r14</title> | |
| <path fill="none" stroke="black" d="M222.283,-471.165C223.6,-480.832 224.548,-493.114 223.17,-504 222.846,-506.56 222.394,-509.2 221.864,-511.83"/> | |
| <polygon fill="black" stroke="black" points="218.42,-511.184 219.532,-521.72 225.233,-512.79 218.42,-511.184"/> | |
| <text text-anchor="middle" x="233.17" y="-492.8" font-family="Times,serif" font-size="14.00">All</text> | |
| </g> | |
| <!-- r2 --> | |
| <g id="node3" class="node"><title>r2</title> | |
| <polygon fill="none" stroke="black" points="459.17,-1515 405.17,-1515 405.17,-1479 459.17,-1479 459.17,-1515"/> | |
| <text text-anchor="middle" x="432.17" y="-1493.3" font-family="Times,serif" font-size="14.00">'_#2r</text> | |
| </g> | |
| <!-- r3 --> | |
| <g id="node4" class="node"><title>r3</title> | |
| <polygon fill="none" stroke="black" points="241.17,-645 187.17,-645 187.17,-609 241.17,-609 241.17,-645"/> | |
| <text text-anchor="middle" x="214.17" y="-623.3" font-family="Times,serif" font-size="14.00">'_#3r</text> | |
| </g> | |
| <!-- r3->r14 --> | |
| <g id="edge28" class="edge"><title>r3->r14</title> | |
| <path fill="none" stroke="black" d="M214.17,-608.799C214.17,-597.163 214.17,-581.548 214.17,-568.237"/> | |
| <polygon fill="black" stroke="black" points="217.67,-568.175 214.17,-558.175 210.67,-568.175 217.67,-568.175"/> | |
| <text text-anchor="middle" x="255.67" y="-579.8" font-family="Times,serif" font-size="14.00">Boring(bb0[4])</text> | |
| </g> | |
| <!-- r4 --> | |
| <g id="node5" class="node"><title>r4</title> | |
| <polygon fill="none" stroke="black" points="135.17,-993 81.1703,-993 81.1703,-957 135.17,-957 135.17,-993"/> | |
| <text text-anchor="middle" x="108.17" y="-971.3" font-family="Times,serif" font-size="14.00">'_#4r</text> | |
| </g> | |
| <!-- r5 --> | |
| <g id="node6" class="node"><title>r5</title> | |
| <polygon fill="none" stroke="black" points="82.1703,-906 28.1703,-906 28.1703,-870 82.1703,-870 82.1703,-906"/> | |
| <text text-anchor="middle" x="55.1703" y="-884.3" font-family="Times,serif" font-size="14.00">'_#5r</text> | |
| </g> | |
| <!-- r4->r5 --> | |
| <g id="edge1" class="edge"><title>r4->r5</title> | |
| <path fill="none" stroke="black" d="M81.1209,-973.326C56.3053,-971.093 20.8098,-963.473 3.17032,-939 -5.56232,-926.884 5.12413,-915.206 19.0329,-906.188"/> | |
| <polygon fill="black" stroke="black" points="21.1186,-909.022 27.9648,-900.936 17.5705,-902.988 21.1186,-909.022"/> | |
| <text text-anchor="middle" x="44.6703" y="-927.8" font-family="Times,serif" font-size="14.00">Boring(bb2[1])</text> | |
| </g> | |
| <!-- r18 --> | |
| <g id="node19" class="node"><title>r18</title> | |
| <polygon fill="none" stroke="black" points="241.17,-906 187.17,-906 187.17,-870 241.17,-870 241.17,-906"/> | |
| <text text-anchor="middle" x="214.17" y="-884.3" font-family="Times,serif" font-size="14.00">'_#18r</text> | |
| </g> | |
| <!-- r4->r18 --> | |
| <g id="edge7" class="edge"><title>r4->r18</title> | |
| <path fill="none" stroke="black" d="M135.201,-965.095C149.932,-959.301 167.824,-950.641 181.17,-939 188.884,-932.272 195.543,-923.329 200.819,-914.867"/> | |
| <polygon fill="black" stroke="black" points="203.974,-916.404 205.986,-906.002 197.927,-912.879 203.974,-916.404"/> | |
| <text text-anchor="middle" x="246.67" y="-927.8" font-family="Times,serif" font-size="14.00">Interesting(bb2[1])</text> | |
| </g> | |
| <!-- r5->r4 --> | |
| <g id="edge2" class="edge"><title>r5->r4</title> | |
| <path fill="none" stroke="black" d="M72.3995,-906.304C77.2287,-911.696 82.23,-917.848 86.1703,-924 90.774,-931.187 94.8598,-939.501 98.2229,-947.26"/> | |
| <polygon fill="black" stroke="black" points="95.0478,-948.743 102.081,-956.666 101.524,-946.086 95.0478,-948.743"/> | |
| <text text-anchor="middle" x="135.67" y="-927.8" font-family="Times,serif" font-size="14.00">Boring(bb2[1])</text> | |
| </g> | |
| <!-- r6 --> | |
| <g id="node7" class="node"><title>r6</title> | |
| <polygon fill="none" stroke="black" points="269.17,-123 215.17,-123 215.17,-87 269.17,-87 269.17,-123"/> | |
| <text text-anchor="middle" x="242.17" y="-101.3" font-family="Times,serif" font-size="14.00">'_#6r</text> | |
| </g> | |
| <!-- r22 --> | |
| <g id="node23" class="node"><title>r22</title> | |
| <polygon fill="none" stroke="black" points="446.17,-36 392.17,-36 392.17,-0 446.17,-0 446.17,-36"/> | |
| <text text-anchor="middle" x="419.17" y="-14.3" font-family="Times,serif" font-size="14.00">'_#22r</text> | |
| </g> | |
| <!-- r6->r22 --> | |
| <g id="edge10" class="edge"><title>r6->r22</title> | |
| <path fill="none" stroke="black" d="M233.814,-86.9213C229.95,-76.3232 227.681,-63.048 235.17,-54 253.424,-31.9464 333.616,-23.6723 381.906,-20.6555"/> | |
| <polygon fill="black" stroke="black" points="382.202,-24.1443 391.983,-20.073 381.798,-17.156 382.202,-24.1443"/> | |
| <text text-anchor="middle" x="286.67" y="-57.8" font-family="Times,serif" font-size="14.00">Interesting(bb3[0])</text> | |
| </g> | |
| <!-- r7 --> | |
| <g id="node8" class="node"><title>r7</title> | |
| <polygon fill="none" stroke="black" points="387.17,-1167 333.17,-1167 333.17,-1131 387.17,-1131 387.17,-1167"/> | |
| <text text-anchor="middle" x="360.17" y="-1145.3" font-family="Times,serif" font-size="14.00">'_#7r</text> | |
| </g> | |
| <!-- r17 --> | |
| <g id="node18" class="node"><title>r17</title> | |
| <polygon fill="none" stroke="black" points="387.17,-1080 333.17,-1080 333.17,-1044 387.17,-1044 387.17,-1080"/> | |
| <text text-anchor="middle" x="360.17" y="-1058.3" font-family="Times,serif" font-size="14.00">'_#17r</text> | |
| </g> | |
| <!-- r7->r17 --> | |
| <g id="edge11" class="edge"><title>r7->r17</title> | |
| <path fill="none" stroke="black" d="M360.17,-1130.8C360.17,-1119.16 360.17,-1103.55 360.17,-1090.24"/> | |
| <polygon fill="black" stroke="black" points="363.67,-1090.18 360.17,-1080.18 356.67,-1090.18 363.67,-1090.18"/> | |
| <text text-anchor="middle" x="411.67" y="-1101.8" font-family="Times,serif" font-size="14.00">Interesting(bb3[0])</text> | |
| </g> | |
| <!-- r8 --> | |
| <g id="node9" class="node"><title>r8</title> | |
| <polygon fill="none" stroke="black" points="258.17,-297 204.17,-297 204.17,-261 258.17,-261 258.17,-297"/> | |
| <text text-anchor="middle" x="231.17" y="-275.3" font-family="Times,serif" font-size="14.00">'_#8r</text> | |
| </g> | |
| <!-- r15 --> | |
| <g id="node16" class="node"><title>r15</title> | |
| <polygon fill="none" stroke="black" points="269.17,-210 215.17,-210 215.17,-174 269.17,-174 269.17,-210"/> | |
| <text text-anchor="middle" x="242.17" y="-188.3" font-family="Times,serif" font-size="14.00">'_#15r</text> | |
| </g> | |
| <!-- r8->r15 --> | |
| <g id="edge19" class="edge"><title>r8->r15</title> | |
| <path fill="none" stroke="black" d="M226.803,-260.723C225.006,-251.021 223.832,-238.74 226.17,-228 226.763,-225.279 227.587,-222.515 228.551,-219.796"/> | |
| <polygon fill="black" stroke="black" points="231.894,-220.871 232.494,-210.294 225.429,-218.188 231.894,-220.871"/> | |
| <text text-anchor="middle" x="277.67" y="-231.8" font-family="Times,serif" font-size="14.00">Interesting(bb4[2])</text> | |
| </g> | |
| <!-- r9 --> | |
| <g id="node10" class="node"><title>r9</title> | |
| <polygon fill="none" stroke="black" points="387.17,-1341 333.17,-1341 333.17,-1305 387.17,-1305 387.17,-1341"/> | |
| <text text-anchor="middle" x="360.17" y="-1319.3" font-family="Times,serif" font-size="14.00">'_#9r</text> | |
| </g> | |
| <!-- r16 --> | |
| <g id="node17" class="node"><title>r16</title> | |
| <polygon fill="none" stroke="black" points="387.17,-1254 333.17,-1254 333.17,-1218 387.17,-1218 387.17,-1254"/> | |
| <text text-anchor="middle" x="360.17" y="-1232.3" font-family="Times,serif" font-size="14.00">'_#16r</text> | |
| </g> | |
| <!-- r9->r16 --> | |
| <g id="edge20" class="edge"><title>r9->r16</title> | |
| <path fill="none" stroke="black" d="M360.17,-1304.8C360.17,-1293.16 360.17,-1277.55 360.17,-1264.24"/> | |
| <polygon fill="black" stroke="black" points="363.67,-1264.18 360.17,-1254.18 356.67,-1264.18 363.67,-1264.18"/> | |
| <text text-anchor="middle" x="411.67" y="-1275.8" font-family="Times,serif" font-size="14.00">Interesting(bb4[2])</text> | |
| </g> | |
| <!-- r10 --> | |
| <g id="node11" class="node"><title>r10</title> | |
| <polygon fill="none" stroke="black" points="531.17,-1515 477.17,-1515 477.17,-1479 531.17,-1479 531.17,-1515"/> | |
| <text text-anchor="middle" x="504.17" y="-1493.3" font-family="Times,serif" font-size="14.00">'_#10r</text> | |
| </g> | |
| <!-- r11 --> | |
| <g id="node12" class="node"><title>r11</title> | |
| <polygon fill="none" stroke="black" points="603.17,-1515 549.17,-1515 549.17,-1479 603.17,-1479 603.17,-1515"/> | |
| <text text-anchor="middle" x="576.17" y="-1493.3" font-family="Times,serif" font-size="14.00">'_#11r</text> | |
| </g> | |
| <!-- r12->r1 --> | |
| <g id="edge26" class="edge"><title>r12->r1</title> | |
| <path fill="none" stroke="black" d="M229.328,-384.153C228.236,-393.816 226.758,-406.099 225.17,-417 224.797,-419.562 224.385,-422.226 223.957,-424.889"/> | |
| <polygon fill="black" stroke="black" points="220.474,-424.496 222.272,-434.937 227.377,-425.654 220.474,-424.496"/> | |
| <text text-anchor="middle" x="236.17" y="-405.8" font-family="Times,serif" font-size="14.00">All</text> | |
| </g> | |
| <!-- r12->r8 --> | |
| <g id="edge17" class="edge"><title>r12->r8</title> | |
| <path fill="none" stroke="black" d="M231.17,-347.799C231.17,-336.163 231.17,-320.548 231.17,-307.237"/> | |
| <polygon fill="black" stroke="black" points="234.67,-307.175 231.17,-297.175 227.67,-307.175 234.67,-307.175"/> | |
| <text text-anchor="middle" x="272.67" y="-318.8" font-family="Times,serif" font-size="14.00">Boring(bb4[2])</text> | |
| </g> | |
| <!-- r13->r0 --> | |
| <g id="edge27" class="edge"><title>r13->r0</title> | |
| <path fill="none" stroke="black" d="M360.17,-1428.18C360.17,-1439.81 360.17,-1455.42 360.17,-1468.73"/> | |
| <polygon fill="black" stroke="black" points="356.67,-1468.8 360.17,-1478.8 363.67,-1468.8 356.67,-1468.8"/> | |
| <text text-anchor="middle" x="369.17" y="-1449.8" font-family="Times,serif" font-size="14.00">All</text> | |
| </g> | |
| <!-- r13->r9 --> | |
| <g id="edge18" class="edge"><title>r13->r9</title> | |
| <path fill="none" stroke="black" d="M360.17,-1391.8C360.17,-1380.16 360.17,-1364.55 360.17,-1351.24"/> | |
| <polygon fill="black" stroke="black" points="363.67,-1351.18 360.17,-1341.18 356.67,-1351.18 363.67,-1351.18"/> | |
| <text text-anchor="middle" x="401.67" y="-1362.8" font-family="Times,serif" font-size="14.00">Boring(bb4[2])</text> | |
| </g> | |
| <!-- r14->r1 --> | |
| <g id="edge23" class="edge"><title>r14->r1</title> | |
| <path fill="none" stroke="black" d="M205.461,-521.911C201.619,-512.268 198.511,-499.984 201.17,-489 201.864,-486.136 202.834,-483.244 203.969,-480.414"/> | |
| <polygon fill="black" stroke="black" points="207.228,-481.707 208.295,-471.166 200.887,-478.741 207.228,-481.707"/> | |
| <text text-anchor="middle" x="210.17" y="-492.8" font-family="Times,serif" font-size="14.00">All</text> | |
| </g> | |
| <!-- r15->r6 --> | |
| <g id="edge8" class="edge"><title>r15->r6</title> | |
| <path fill="none" stroke="black" d="M242.17,-173.799C242.17,-162.163 242.17,-146.548 242.17,-133.237"/> | |
| <polygon fill="black" stroke="black" points="245.67,-133.175 242.17,-123.175 238.67,-133.175 245.67,-133.175"/> | |
| <text text-anchor="middle" x="283.67" y="-144.8" font-family="Times,serif" font-size="14.00">Boring(bb3[0])</text> | |
| </g> | |
| <!-- r15->r8 --> | |
| <g id="edge21" class="edge"><title>r15->r8</title> | |
| <path fill="none" stroke="black" d="M269.425,-197.648C300.961,-204.273 346.481,-218.436 329.17,-243 315.424,-262.506 289.775,-271.2 268.165,-275.048"/> | |
| <polygon fill="black" stroke="black" points="267.634,-271.588 258.265,-276.535 268.674,-278.511 267.634,-271.588"/> | |
| <text text-anchor="middle" x="384.67" y="-231.8" font-family="Times,serif" font-size="14.00">Interesting(bb4[2])</text> | |
| </g> | |
| <!-- r16->r7 --> | |
| <g id="edge9" class="edge"><title>r16->r7</title> | |
| <path fill="none" stroke="black" d="M360.17,-1217.8C360.17,-1206.16 360.17,-1190.55 360.17,-1177.24"/> | |
| <polygon fill="black" stroke="black" points="363.67,-1177.18 360.17,-1167.18 356.67,-1177.18 363.67,-1177.18"/> | |
| <text text-anchor="middle" x="401.67" y="-1188.8" font-family="Times,serif" font-size="14.00">Boring(bb3[0])</text> | |
| </g> | |
| <!-- r17->r4 --> | |
| <g id="edge6" class="edge"><title>r17->r4</title> | |
| <path fill="none" stroke="black" d="M333.03,-1060.41C278.09,-1058.69 156.285,-1051.97 125.17,-1026 118.364,-1020.32 114.274,-1011.8 111.82,-1003.39"/> | |
| <polygon fill="black" stroke="black" points="115.179,-1002.38 109.564,-993.393 108.35,-1003.92 115.179,-1002.38"/> | |
| <text text-anchor="middle" x="176.67" y="-1014.8" font-family="Times,serif" font-size="14.00">Interesting(bb2[1])</text> | |
| </g> | |
| <!-- r21 --> | |
| <g id="node22" class="node"><title>r21</title> | |
| <polygon fill="none" stroke="black" points="324.17,-993 270.17,-993 270.17,-957 324.17,-957 324.17,-993"/> | |
| <text text-anchor="middle" x="297.17" y="-971.3" font-family="Times,serif" font-size="14.00">'_#21r</text> | |
| </g> | |
| <!-- r17->r21 --> | |
| <g id="edge12" class="edge"><title>r17->r21</title> | |
| <path fill="none" stroke="black" d="M332.986,-1057.25C299.894,-1052.06 246.95,-1041.53 235.17,-1026 224.039,-1011.32 241.278,-998.384 260.376,-989.346"/> | |
| <polygon fill="black" stroke="black" points="262.025,-992.446 269.785,-985.233 259.22,-986.032 262.025,-992.446"/> | |
| <text text-anchor="middle" x="286.67" y="-1014.8" font-family="Times,serif" font-size="14.00">Interesting(bb3[0])</text> | |
| </g> | |
| <!-- r17->r22 --> | |
| <g id="edge13" class="edge"><title>r17->r22</title> | |
| <path fill="none" stroke="black" d="M387.344,-1056.57C407.841,-1051.99 435.521,-1043.02 454.17,-1026 472.376,-1009.38 478.17,-1000.65 478.17,-976 478.17,-976 478.17,-976 478.17,-104 478.17,-80.9231 477.036,-73.1578 464.17,-54 461.418,-49.902 458.031,-46.0723 454.359,-42.5619"/> | |
| <polygon fill="black" stroke="black" points="456.398,-39.6984 446.538,-35.8212 451.828,-45.0009 456.398,-39.6984"/> | |
| <text text-anchor="middle" x="529.67" y="-536.3" font-family="Times,serif" font-size="14.00">Interesting(bb3[0])</text> | |
| </g> | |
| <!-- r20 --> | |
| <g id="node21" class="node"><title>r20</title> | |
| <polygon fill="none" stroke="black" points="241.17,-819 187.17,-819 187.17,-783 241.17,-783 241.17,-819"/> | |
| <text text-anchor="middle" x="214.17" y="-797.3" font-family="Times,serif" font-size="14.00">'_#20r</text> | |
| </g> | |
| <!-- r18->r20 --> | |
| <g id="edge4" class="edge"><title>r18->r20</title> | |
| <path fill="none" stroke="black" d="M214.17,-869.799C214.17,-858.163 214.17,-842.548 214.17,-829.237"/> | |
| <polygon fill="black" stroke="black" points="217.67,-829.175 214.17,-819.175 210.67,-829.175 217.67,-829.175"/> | |
| <text text-anchor="middle" x="265.67" y="-840.8" font-family="Times,serif" font-size="14.00">Interesting(bb0[5])</text> | |
| </g> | |
| <!-- r19 --> | |
| <g id="node20" class="node"><title>r19</title> | |
| <polygon fill="none" stroke="black" points="241.17,-732 187.17,-732 187.17,-696 241.17,-696 241.17,-732"/> | |
| <text text-anchor="middle" x="214.17" y="-710.3" font-family="Times,serif" font-size="14.00">'_#19r</text> | |
| </g> | |
| <!-- r19->r3 --> | |
| <g id="edge3" class="edge"><title>r19->r3</title> | |
| <path fill="none" stroke="black" d="M214.17,-695.799C214.17,-684.163 214.17,-668.548 214.17,-655.237"/> | |
| <polygon fill="black" stroke="black" points="217.67,-655.175 214.17,-645.175 210.67,-655.175 217.67,-655.175"/> | |
| <text text-anchor="middle" x="255.67" y="-666.8" font-family="Times,serif" font-size="14.00">Boring(bb0[4])</text> | |
| </g> | |
| <!-- r20->r19 --> | |
| <g id="edge5" class="edge"><title>r20->r19</title> | |
| <path fill="none" stroke="black" d="M214.17,-782.799C214.17,-771.163 214.17,-755.548 214.17,-742.237"/> | |
| <polygon fill="black" stroke="black" points="217.67,-742.175 214.17,-732.175 210.67,-742.175 217.67,-742.175"/> | |
| <text text-anchor="middle" x="265.67" y="-753.8" font-family="Times,serif" font-size="14.00">Interesting(bb0[5])</text> | |
| </g> | |
| <!-- r21->r17 --> | |
| <g id="edge14" class="edge"><title>r21->r17</title> | |
| <path fill="none" stroke="black" d="M321.045,-993.259C327.165,-998.472 333.368,-1004.54 338.17,-1011 343.4,-1018.03 347.721,-1026.51 351.108,-1034.46"/> | |
| <polygon fill="black" stroke="black" points="347.855,-1035.75 354.774,-1043.78 354.369,-1033.19 347.855,-1035.75"/> | |
| <text text-anchor="middle" x="398.67" y="-1014.8" font-family="Times,serif" font-size="14.00">Interesting(bb3[0])</text> | |
| </g> | |
| <!-- r22->r6 --> | |
| <g id="edge15" class="edge"><title>r22->r6</title> | |
| <path fill="none" stroke="black" d="M391.904,-35.1864C382.161,-41.0405 371.132,-47.7486 361.17,-54 350.833,-60.487 349.085,-63.541 338.17,-69 319.295,-78.4404 297.23,-86.6653 279.017,-92.7656"/> | |
| <polygon fill="black" stroke="black" points="277.756,-89.4954 269.34,-95.9303 279.932,-96.1487 277.756,-89.4954"/> | |
| <text text-anchor="middle" x="412.67" y="-57.8" font-family="Times,serif" font-size="14.00">Interesting(bb3[0])</text> | |
| </g> | |
| <!-- r22->r17 --> | |
| <g id="edge16" class="edge"><title>r22->r17</title> | |
| <path fill="none" stroke="black" d="M446.286,-18.728C500.513,-19.7503 617.17,-30.492 617.17,-104 617.17,-976 617.17,-976 617.17,-976 617.17,-1021.71 468.796,-1047.03 397.524,-1056.56"/> | |
| <polygon fill="black" stroke="black" points="396.654,-1053.14 387.188,-1057.9 397.556,-1060.08 396.654,-1053.14"/> | |
| <text text-anchor="middle" x="668.67" y="-536.3" font-family="Times,serif" font-size="14.00">Interesting(bb3[0])</text> | |
| </g> | |
| </g> | |
| </svg> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment