doc/images/foldl_diag2.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:xlink="http://www.w3.org/1999/xlink"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="1278.9603"
   height="1435.1938"
   id="svg2"
   version="1.1"
   inkscape:version="0.48.4 r9939"
   sodipodi:docname="foldl_diag2.svg">
  <defs
     id="defs4">
    <linearGradient
       id="linearGradient18419">
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="0"
         id="stop18421" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="1"
         id="stop18423" />
    </linearGradient>
    <linearGradient
       id="linearGradient4707">
      <stop
         id="stop4709"
         offset="0"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="0.40000001"
         id="stop4711" />
      <stop
         id="stop4713"
         offset="0.60000002"
         style="stop-color:#ffffff;stop-opacity:1;" />
      <stop
         id="stop4715"
         offset="1"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
    </linearGradient>
    <linearGradient
       id="linearGradient5254-5">
      <stop
         style="stop-color:#c0c0c0;stop-opacity:1;"
         offset="0"
         id="stop5256-7" />
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="1"
         id="stop5262-7" />
    </linearGradient>
    <linearGradient
       id="linearGradient4707-3">
      <stop
         id="stop4709-1"
         offset="0"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="0.40000001"
         id="stop4711-4" />
      <stop
         id="stop4713-1"
         offset="0.60000002"
         style="stop-color:#ffffff;stop-opacity:1;" />
      <stop
         id="stop4715-4"
         offset="1"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
    </linearGradient>
    <linearGradient
       id="linearGradient5254-5-2">
      <stop
         style="stop-color:#c0c0c0;stop-opacity:1;"
         offset="0"
         id="stop5256-7-9" />
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="1"
         id="stop5262-7-9" />
    </linearGradient>
    <linearGradient
       id="linearGradient4707-6">
      <stop
         id="stop4709-2"
         offset="0"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="0.40000001"
         id="stop4711-0" />
      <stop
         id="stop4713-2"
         offset="0.60000002"
         style="stop-color:#ffffff;stop-opacity:1;" />
      <stop
         id="stop4715-5"
         offset="1"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
    </linearGradient>
    <linearGradient
       id="linearGradient5254-5-5">
      <stop
         style="stop-color:#c0c0c0;stop-opacity:1;"
         offset="0"
         id="stop5256-7-4" />
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="1"
         id="stop5262-7-96" />
    </linearGradient>
    <linearGradient
       id="linearGradient4707-5">
      <stop
         id="stop4709-3"
         offset="0"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="0.40000001"
         id="stop4711-9" />
      <stop
         id="stop4713-8"
         offset="0.60000002"
         style="stop-color:#ffffff;stop-opacity:1;" />
      <stop
         id="stop4715-8"
         offset="1"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
    </linearGradient>
    <linearGradient
       id="linearGradient5254-5-3">
      <stop
         style="stop-color:#c0c0c0;stop-opacity:1;"
         offset="0"
         id="stop5256-7-43" />
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="1"
         id="stop5262-7-4" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient18419-7"
       id="linearGradient18429-4"
       x1="-108.93402"
       y1="-376.16904"
       x2="741.15741"
       y2="-376.16904"
       gradientUnits="userSpaceOnUse" />
    <linearGradient
       id="linearGradient18419-7">
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="0"
         id="stop18421-0" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="1"
         id="stop18423-4" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient18419-0"
       id="linearGradient18429-7"
       x1="-108.93402"
       y1="-376.16904"
       x2="741.15741"
       y2="-376.16904"
       gradientUnits="userSpaceOnUse" />
    <linearGradient
       id="linearGradient18419-0">
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="0"
         id="stop18421-8" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="1"
         id="stop18423-1" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient18419-05"
       id="linearGradient18429-5"
       x1="-108.93402"
       y1="-376.16904"
       x2="741.15741"
       y2="-376.16904"
       gradientUnits="userSpaceOnUse" />
    <linearGradient
       id="linearGradient18419-05">
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="0"
         id="stop18421-06" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="1"
         id="stop18423-0" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient4707"
       id="linearGradient18600"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       spreadMethod="pad"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient5254-5"
       id="linearGradient18602"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient4707-3"
       id="linearGradient18604"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       spreadMethod="pad"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient5254-5-2"
       id="linearGradient18606"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient4707-6"
       id="linearGradient18608"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       spreadMethod="pad"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient5254-5-5"
       id="linearGradient18610"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient4707-5"
       id="linearGradient18612"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       spreadMethod="pad"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient5254-5-3"
       id="linearGradient18614"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       id="linearGradient4707-4">
      <stop
         id="stop4709-31"
         offset="0"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="0.40000001"
         id="stop4711-7" />
      <stop
         id="stop4713-22"
         offset="0.60000002"
         style="stop-color:#ffffff;stop-opacity:1;" />
      <stop
         id="stop4715-3"
         offset="1"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
    </linearGradient>
    <linearGradient
       id="linearGradient5254-5-1">
      <stop
         style="stop-color:#c0c0c0;stop-opacity:1;"
         offset="0"
         id="stop5256-7-94" />
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="1"
         id="stop5262-7-7" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient4707-4"
       id="linearGradient3189"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       spreadMethod="pad"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient5254-5-1"
       id="linearGradient3191"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient4707-4-9"
       id="linearGradient3189-3"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       spreadMethod="pad"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       id="linearGradient4707-4-9">
      <stop
         id="stop4709-31-7"
         offset="0"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="0.40000001"
         id="stop4711-7-9" />
      <stop
         id="stop4713-22-9"
         offset="0.60000002"
         style="stop-color:#ffffff;stop-opacity:1;" />
      <stop
         id="stop4715-3-1"
         offset="1"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient5254-5-1-3"
       id="linearGradient3191-9"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       id="linearGradient5254-5-1-3">
      <stop
         style="stop-color:#c0c0c0;stop-opacity:1;"
         offset="0"
         id="stop5256-7-94-4" />
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="1"
         id="stop5262-7-7-0" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient4707-4-9-3"
       id="linearGradient3189-3-7"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       spreadMethod="pad"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       id="linearGradient4707-4-9-3">
      <stop
         id="stop4709-31-7-0"
         offset="0"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="0.40000001"
         id="stop4711-7-9-0" />
      <stop
         id="stop4713-22-9-6"
         offset="0.60000002"
         style="stop-color:#ffffff;stop-opacity:1;" />
      <stop
         id="stop4715-3-1-2"
         offset="1"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient5254-5-1-3-2"
       id="linearGradient3191-9-7"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       id="linearGradient5254-5-1-3-2">
      <stop
         style="stop-color:#c0c0c0;stop-opacity:1;"
         offset="0"
         id="stop5256-7-94-4-5" />
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="1"
         id="stop5262-7-7-0-3" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient4707-4-9-1"
       id="linearGradient3189-3-9"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       spreadMethod="pad"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       id="linearGradient4707-4-9-1">
      <stop
         id="stop4709-31-7-8"
         offset="0"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="0.40000001"
         id="stop4711-7-9-9" />
      <stop
         id="stop4713-22-9-7"
         offset="0.60000002"
         style="stop-color:#ffffff;stop-opacity:1;" />
      <stop
         id="stop4715-3-1-21"
         offset="1"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient5254-5-1-3-26"
       id="linearGradient3191-9-9"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(0.42596717,0,0,0.57376114,615.18158,202.43298)"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       id="linearGradient5254-5-1-3-26">
      <stop
         style="stop-color:#c0c0c0;stop-opacity:1;"
         offset="0"
         id="stop5256-7-94-4-7" />
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="1"
         id="stop5262-7-7-0-5" />
    </linearGradient>
    <linearGradient
       id="linearGradient4707-69">
      <stop
         id="stop4709-26"
         offset="0"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="0.40000001"
         id="stop4711-75" />
      <stop
         id="stop4713-7"
         offset="0.60000002"
         style="stop-color:#ffffff;stop-opacity:1;" />
      <stop
         id="stop4715-31"
         offset="1"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
    </linearGradient>
    <linearGradient
       id="linearGradient5254-5-6">
      <stop
         style="stop-color:#c0c0c0;stop-opacity:1;"
         offset="0"
         id="stop5256-7-2" />
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="1"
         id="stop5262-7-75" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient4707-38"
       id="linearGradient18600-6"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(2.5168413,0,0,7.164819,3596.7022,1156.9317)"
       spreadMethod="pad"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       id="linearGradient4707-38">
      <stop
         id="stop4709-19"
         offset="0"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
      <stop
         style="stop-color:#ffffff;stop-opacity:1;"
         offset="0.40000001"
         id="stop4711-96" />
      <stop
         id="stop4713-3"
         offset="0.60000002"
         style="stop-color:#ffffff;stop-opacity:1;" />
      <stop
         id="stop4715-45"
         offset="1"
         style="stop-color:#c0c0c0;stop-opacity:1;" />
    </linearGradient>
    <linearGradient
       inkscape:collect="always"
       xlink:href="#linearGradient5254-5-8"
       id="linearGradient18602-3"
       gradientUnits="userSpaceOnUse"
       gradientTransform="matrix(2.5168413,0,0,7.164819,3596.7022,1156.9317)"
       x1="-1057.1428"
       y1="-137.63783"
       x2="-1057.1428"
       y2="108.07645" />
    <linearGradient
       id="linearGradient5254-5-8">
      <stop
         style="stop-color:#c0c0c0;stop-opacity:1;"
         offset="0"
         id="stop5256-7-1" />
      <stop
         style="stop-color:#808080;stop-opacity:1;"
         offset="1"
         id="stop5262-7-2" />
    </linearGradient>
  </defs>
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="1.4"
     inkscape:cx="535.45416"
     inkscape:cy="1403.0355"
     inkscape:document-units="px"
     inkscape:current-layer="layer1"
     showgrid="false"
     inkscape:window-width="1855"
     inkscape:window-height="1056"
     inkscape:window-x="65"
     inkscape:window-y="24"
     inkscape:window-maximized="1"
     fit-margin-top="0"
     fit-margin-left="0"
     fit-margin-right="0"
     fit-margin-bottom="0" />
  <metadata
     id="metadata7">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title />
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     inkscape:label="Ebene 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(412.73846,-242.21983)">
    <g
       transform="matrix(0.54151067,0,0,0.5239281,-146.50088,558.41765)"
       id="g17514-39">
      <rect
         ry="87.2649"
         y="140.07561"
         x="29.978828"
         height="1740.0276"
         width="1819.3168"
         id="rect5215-5-18"
         style="fill:url(#linearGradient18600-6);fill-opacity:1;stroke:url(#linearGradient18602-3);stroke-width:42.46493912;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
      <text
         sodipodi:linespacing="125%"
         id="text5640-00-9"
         y="1814.3944"
         x="116.49007"
         style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
         xml:space="preserve"><tspan
           y="1814.3944"
           x="116.49007"
           id="tspan5642-9-51"
           sodipodi:role="line"
           style="font-size:60.07733154px">foldl&lt;int_token, int_&lt;0&gt;, sum_op&gt;</tspan></text>
    </g>
    <path
       style="fill:#c0c0c0;fill-opacity:1"
       sodipodi:nodetypes="ccccc"
       inkscape:connector-curvature="0"
       id="rect17648"
       d="m 409.73796,284.51725 82.92051,0.12897 -338.40179,88.89341 -136.073937,0 z" />
    <path
       style="fill:#808080;fill-opacity:1"
       sodipodi:nodetypes="ccccc"
       inkscape:connector-curvature="0"
       id="rect17648-3"
       d="m 488.12451,284.54116 72.81898,0.12897 -217.18348,88.89341 -136.07394,0 z" />
    <path
       style="fill:#c0c0c0;fill-opacity:1"
       sodipodi:nodetypes="ccccc"
       inkscape:connector-curvature="0"
       id="rect17648-37"
       d="m 563.86064,282.11475 52.6159,0.12897 -75.76209,88.89341 -136.07394,0 z" />
    <path
       style="fill:#808080;fill-opacity:1"
       sodipodi:nodetypes="ccccc"
       inkscape:connector-curvature="0"
       id="rect17648-5"
       d="m 614.94691,284.54116 54.63629,0.12897 57.57796,88.89341 -136.07394,0 z" />
    <rect
       style="fill:#808080;fill-opacity:1"
       y="243.10817"
       x="-669.96472"
       height="42.426407"
       width="56.568546"
       id="rect18516-4-8"
       transform="scale(-1,1)" />
    <rect
       style="fill:#808080;fill-opacity:1"
       y="243.08786"
       x="485.39606"
       height="42.426407"
       width="78.791901"
       id="rect18516-4" />
    <rect
       style="fill:#c0c0c0;fill-opacity:1"
       y="243.14877"
       x="563.25391"
       height="42.426407"
       width="50.507629"
       id="rect18516-6" />
    <rect
       style="fill:#c0c0c0;fill-opacity:1"
       y="242.21983"
       x="412.14224"
       height="42.426407"
       width="78.791901"
       id="rect18516" />
    <text
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;text-align:end;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="704.02618"
       y="278.58533"
       id="text2985"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan2987"
         x="704.02618"
         y="278.58533">BOOST_METAPARSE_STRING(&quot;11  13  3  21&quot;)</tspan></text>
    <g
       transform="matrix(0.54151067,0,0,0.5239281,-1.7638252,307.9855)"
       id="g17514">
      <rect
         ry="45.900894"
         y="121.0028"
         x="11.525307"
         height="139.342"
         width="307.91342"
         id="rect5215-5"
         style="fill:url(#linearGradient18600);fill-opacity:1;stroke:url(#linearGradient18602);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
      <text
         sodipodi:linespacing="125%"
         id="text5640-00"
         y="206.41183"
         x="26.949203"
         style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
         xml:space="preserve"><tspan
           y="206.41183"
           x="26.949203"
           id="tspan5642-9"
           sodipodi:role="line"
           style="font-size:60.07733154px">int_token</tspan></text>
    </g>
    <g
       transform="matrix(0.54151067,0,0,0.5239281,187.60783,307.9855)"
       id="g17514-2">
      <rect
         ry="45.900894"
         y="121.0028"
         x="11.525307"
         height="139.342"
         width="307.91342"
         id="rect5215-5-1"
         style="fill:url(#linearGradient18604);fill-opacity:1;stroke:url(#linearGradient18606);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
      <text
         sodipodi:linespacing="125%"
         id="text5640-00-3"
         y="206.41183"
         x="26.949203"
         style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
         xml:space="preserve"><tspan
           y="206.41183"
           x="26.949203"
           id="tspan5642-9-8"
           sodipodi:role="line"
           style="font-size:60.07733154px">int_token</tspan></text>
    </g>
    <g
       transform="matrix(0.54151067,0,0,0.5239281,376.97949,305.9652)"
       id="g17514-1">
      <rect
         ry="45.900894"
         y="121.0028"
         x="11.525307"
         height="139.342"
         width="307.91342"
         id="rect5215-5-8"
         style="fill:url(#linearGradient18608);fill-opacity:1;stroke:url(#linearGradient18610);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
      <text
         sodipodi:linespacing="125%"
         id="text5640-00-8"
         y="206.41183"
         x="26.949203"
         style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
         xml:space="preserve"><tspan
           y="206.41183"
           x="26.949203"
           id="tspan5642-9-3"
           sodipodi:role="line"
           style="font-size:60.07733154px">int_token</tspan></text>
    </g>
    <g
       transform="matrix(0.54151067,0,0,0.5239281,566.35115,305.92458)"
       id="g17514-3">
      <rect
         ry="45.900894"
         y="121.0028"
         x="11.525307"
         height="139.342"
         width="307.91342"
         id="rect5215-5-7"
         style="fill:url(#linearGradient18612);fill-opacity:1;stroke:url(#linearGradient18614);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none" />
      <text
         sodipodi:linespacing="125%"
         id="text5640-00-7"
         y="206.41183"
         x="26.949203"
         style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
         xml:space="preserve"><tspan
           y="206.41183"
           x="26.949203"
           id="tspan5642-9-85"
           sodipodi:role="line"
           style="font-size:60.07733154px">int_token</tspan></text>
    </g>
    <g
       transform="matrix(0.54151067,0,0,0.5239281,-47.183872,690.68608)"
       id="g17514-32">
      <g
         id="g3184"
         transform="translate(89.540843,-19.280365)">
        <rect
           style="fill:url(#linearGradient3189);fill-opacity:1;stroke:url(#linearGradient3191);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none"
           id="rect5215-5-3"
           width="307.91342"
           height="139.342"
           x="11.525307"
           y="121.0028"
           ry="45.900894" />
        <text
           xml:space="preserve"
           style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
           x="49.038189"
           y="200.4129"
           id="text5640-00-0"
           sodipodi:linespacing="125%"><tspan
             style="font-size:60.07733154px"
             sodipodi:role="line"
             id="tspan5642-9-5"
             x="49.038189"
             y="200.4129">sum_op</tspan></text>
      </g>
    </g>
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-6"
       width="4.0406103"
       height="179.80716"
       x="123.28305"
       y="538.52838" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 109.74113,714.99769 30.30458,0 -15.44939,26.26396 0,0 z"
       id="rect18817-2"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34"
       width="4.0406103"
       height="60.609154"
       x="44.562271"
       y="677.89905" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 31.02035,713.49522 30.30458,0 -15.44939,26.26396 0,0 z"
       id="rect18817-7"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <text
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="85.965096"
       y="903.38232"
       id="text18736-8-6"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan18738-3-1"
         x="85.965096"
         y="903.38232"
         style="font-size:28px">int_&lt;11&gt;</tspan></text>
    <g
       transform="matrix(0.54151067,0,0,0.5239281,98.278094,911.3054)"
       id="g17514-32-2">
      <g
         id="g3184-8"
         transform="translate(89.540843,-19.280365)">
        <rect
           style="fill:url(#linearGradient3189-3);fill-opacity:1;stroke:url(#linearGradient3191-9);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none"
           id="rect5215-5-3-2"
           width="307.91342"
           height="139.342"
           x="11.525307"
           y="121.0028"
           ry="45.900894" />
        <text
           xml:space="preserve"
           style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
           x="49.038189"
           y="200.4129"
           id="text5640-00-0-7"
           sodipodi:linespacing="125%"><tspan
             style="font-size:60.07733154px"
             sodipodi:role="line"
             id="tspan5642-9-5-3"
             x="49.038189"
             y="200.4129">sum_op</tspan></text>
      </g>
    </g>
    <text
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="244.73636"
       y="1115.5144"
       id="text18736-8-6-4"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan18738-3-1-6"
         x="244.73636"
         y="1115.5144"
         style="font-size:28px">int_&lt;24&gt;</tspan></text>
    <g
       transform="matrix(0.54151067,0,0,0.5239281,273.39989,1128.1037)"
       id="g17514-32-2-8">
      <g
         id="g3184-8-4"
         transform="translate(89.540843,-19.280365)">
        <rect
           style="fill:url(#linearGradient3189-3-7);fill-opacity:1;stroke:url(#linearGradient3191-9-7);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none"
           id="rect5215-5-3-2-9"
           width="307.91342"
           height="139.342"
           x="11.525307"
           y="121.0028"
           ry="45.900894" />
        <text
           xml:space="preserve"
           style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
           x="49.038189"
           y="200.4129"
           id="text5640-00-0-7-0"
           sodipodi:linespacing="125%"><tspan
             style="font-size:60.07733154px"
             sodipodi:role="line"
             id="tspan5642-9-5-3-8"
             x="49.038189"
             y="200.4129">sum_op</tspan></text>
      </g>
    </g>
    <text
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="419.85818"
       y="1332.3127"
       id="text18736-8-6-4-0"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan18738-3-1-6-7"
         x="419.85818"
         y="1332.3127"
         style="font-size:28px">int_&lt;27&gt;</tspan></text>
    <g
       transform="matrix(0.54151067,0,0,0.5239281,467.06491,1342.0936)"
       id="g17514-32-2-2">
      <g
         id="g3184-8-5"
         transform="translate(89.540843,-19.280365)">
        <rect
           style="fill:url(#linearGradient3189-3-9);fill-opacity:1;stroke:url(#linearGradient3191-9-9);stroke-width:4.943717;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none"
           id="rect5215-5-3-2-5"
           width="307.91342"
           height="139.342"
           x="11.525307"
           y="121.0028"
           ry="45.900894" />
        <text
           xml:space="preserve"
           style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
           x="49.038189"
           y="200.4129"
           id="text5640-00-0-7-5"
           sodipodi:linespacing="125%"><tspan
             style="font-size:60.07733154px"
             sodipodi:role="line"
             id="tspan5642-9-5-3-7"
             x="49.038189"
             y="200.4129">sum_op</tspan></text>
      </g>
    </g>
    <text
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="615.82776"
       y="1670.8102"
       id="text18736-8-6-4-7"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan18738-3-1-6-1"
         x="615.82776"
         y="1670.8102"
         style="font-size:28px">int_&lt;48&gt;</tspan></text>
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-0"
       width="4.0406103"
       height="60.609154"
       x="133.75008"
       y="818.65027" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 120.20815,854.24649 30.30458,0 -15.44939,26.26396 0,0 z"
       id="rect18817-7-4"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-3"
       width="4.0406103"
       height="42.426407"
       x="194.35921"
       y="917.64532" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 180.8173,935.0587 30.30458,0 -15.44939,26.2639 0,0 z"
       id="rect18817-7-7"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-9"
       width="4.0406103"
       height="60.609154"
       x="291.33386"
       y="1038.8635" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 277.79194,1074.4597 30.30458,0 -15.44939,26.264 0,0 z"
       id="rect18817-7-2"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-30"
       width="4.0406103"
       height="60.609154"
       x="360.02423"
       y="1119.6758" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 346.48232,1155.272 30.30458,0 -15.44939,26.2639 0,0 z"
       id="rect18817-7-41"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-2"
       width="4.0406103"
       height="60.609154"
       x="459.01917"
       y="1253.016" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 445.47727,1288.6121 30.30458,0 -15.44939,26.264 0,0 z"
       id="rect18817-7-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-36"
       width="4.0406103"
       height="60.609154"
       x="535.79083"
       y="1335.8485" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 522.24886,1371.4446 30.30458,0 -15.44939,26.264 0,0 z"
       id="rect18817-7-0"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-23"
       width="4.0406103"
       height="153.54318"
       x="652.96844"
       y="1469.1886"
       inkscape:transform-center-x="-147.89218"
       inkscape:transform-center-y="76.771592" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 639.42655,1616.7848 30.30458,0 -15.44939,26.2639 0,0 z"
       id="rect18817-7-45"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc"
       inkscape:transform-center-x="-147.48227"
       inkscape:transform-center-y="48.728125" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 639.87327,1366.7441 30.30458,0 -15.44939,26.264 0,0 z"
       id="rect18817-7-71"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 439.41635,1155.2719 30.30458,0 -15.44939,26.264 0,0 z"
       id="rect18817-7-3"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 257.5889,935.0993 30.30458,0 -15.44939,26.264 0,0 z"
       id="rect18817-7-8"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <g
       id="g3106-8-7"
       transform="matrix(1,0,0,5.3862231,-179.82241,-1134.6681)">
      <path
         inkscape:connector-curvature="0"
         id="path3086-6-4"
         d="m 8.0812203,274.54473 c -34.3451863,0 -40.4061013,115.15739 -40.4061013,115.15739"
         style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
      <path
         inkscape:connector-curvature="0"
         id="path3086-0-1-1"
         d="m 9.147187,505.28081 c -34.345187,0 -40.406097,-115.15739 -40.406097,-115.15739"
         style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
    </g>
    <text
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="-412.73846"
       y="914.56964"
       id="text3081-8-1"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         x="-412.73846"
         y="914.56964"
         style="font-size:28px;text-align:start;text-anchor:start"
         id="tspan3586-7">parsing with</tspan><tspan
         sodipodi:role="line"
         x="-412.73846"
         y="949.56964"
         style="font-size:28px;text-align:start;text-anchor:start"
         id="tspan3668">foldl&lt;</tspan><tspan
         sodipodi:role="line"
         x="-412.73846"
         y="984.56964"
         style="font-size:28px;text-align:start;text-anchor:start"
         id="tspan3672">   int_token,</tspan><tspan
         sodipodi:role="line"
         x="-412.73846"
         y="1019.5696"
         style="font-size:28px;text-align:start;text-anchor:start"
         id="tspan3674">   int_&lt;0&gt;,</tspan><tspan
         sodipodi:role="line"
         x="-412.73846"
         y="1054.5696"
         style="font-size:28px;text-align:start;text-anchor:start"
         id="tspan3219">   sum_op</tspan><tspan
         sodipodi:role="line"
         x="-412.73846"
         y="1089.5696"
         style="font-size:28px;text-align:start;text-anchor:start"
         id="tspan3670">&gt;</tspan></text>
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-4"
       width="4.0406103"
       height="847.51794"
       x="653.41516"
       y="540.23914" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-34"
       width="4.0406103"
       height="644.47723"
       x="452.95828"
       y="535.80768" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-99"
       width="4.0406103"
       height="422.24377"
       x="271.1308"
       y="537.86859" />
    <text
       xml:space="preserve"
       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
       x="74.962906"
       y="526.15826"
       id="text18736"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan18738"
         x="74.962906"
         y="526.15826"
         style="font-size:28px">int_&lt;11&gt;  int_&lt;13&gt;     int_&lt;3&gt;       int_&lt;21&gt;</tspan></text>
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761"
       width="4.0406103"
       height="47.75201"
       x="81.333267"
       y="444.27557" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-1"
       width="4.0406103"
       height="44.894867"
       x="270.70486"
       y="443.15149" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-7"
       width="4.0406103"
       height="44.180584"
       x="451.26321"
       y="443.67944" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-3"
       width="4.0406103"
       height="46.323441"
       x="652.1062"
       y="441.65906" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 67.791318,479.87179 30.3045,0 -15.4494,26.26396 0,0 z"
       id="rect18817"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 257.26842,479.87179 30.3046,0 -15.4494,26.26396 0,0 z"
       id="rect18817-9"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 437.25832,479.87179 30.3046,0 -15.4494,26.26396 0,0 z"
       id="rect18817-1"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <path
       style="fill:#000000;fill-opacity:1"
       d="m 638.93362,479.87179 30.3045,0 -15.4494,26.26396 0,0 z"
       id="rect18817-8"
       inkscape:connector-curvature="0"
       sodipodi:nodetypes="ccccc" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-3-0"
       width="104.2689"
       height="4.8948693"
       x="-55.046833"
       y="676.93555" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-3-0-4"
       width="315.74612"
       height="4.8948693"
       x="-55.761116"
       y="1442.6312" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-4-3"
       width="4.0406103"
       height="762.66516"
       x="-55.144455"
       y="679.88806" />
    <rect
       style="fill:#000000;fill-opacity:1"
       id="rect18761-34-4-8"
       width="4.0406103"
       height="41.416218"
       x="255.98254"
       y="1443.5634" />
  </g>
</svg>