cons-cells/img/list-conses.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:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="505.88477mm"
   height="68.46965mm"
   viewBox="0 0 505.88477 68.46965"
   version="1.1"
   id="svg8"
   inkscape:version="0.92.1 r"
   sodipodi:docname="list-conses.svg">
  <defs
     id="defs2">
    <marker
       inkscape:stockid="Arrow2Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Lend"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path4551"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Lend-3"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path4551-9"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Lend-3-1"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path4551-9-9"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="Arrow2Lend"
       orient="auto"
       refY="0"
       refX="0"
       id="Arrow2Lend-3-1-9"
       style="overflow:visible"
       inkscape:isstock="true">
      <path
         id="path4551-9-9-3"
         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
         transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
         inkscape:connector-curvature="0" />
    </marker>
  </defs>
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="0.49497475"
     inkscape:cx="964.25289"
     inkscape:cy="-268.95957"
     inkscape:document-units="mm"
     inkscape:current-layer="layer1"
     showgrid="false"
     inkscape:window-width="1920"
     inkscape:window-height="995"
     inkscape:window-x="0"
     inkscape:window-y="0"
     inkscape:window-maximized="1"
     inkscape:measure-start="0,0"
     inkscape:measure-end="0,0"
     fit-margin-top="0"
     fit-margin-left="0"
     fit-margin-right="0"
     fit-margin-bottom="0" />
  <metadata
     id="metadata5">
    <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="Boxes"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(143.375,-59.743047)">
    <rect
       style="fill:#ffffff;stroke:#fe0000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       id="rect4485"
       width="50.648811"
       height="50.648811"
       x="-142.875"
       y="77.017853" />
    <rect
       style="fill:#ffffff;stroke:#fe0000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       id="rect4485-3"
       width="50.648811"
       height="50.648811"
       x="-92.226189"
       y="77.017853" />
    <rect
       style="fill:#ffffff;stroke:#fe0000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       id="rect4485-3-7"
       width="50.648811"
       height="50.648811"
       x="9.0714293"
       y="77.01786" />
    <rect
       style="fill:#ffffff;stroke:#fe0000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       id="rect4485-3-3"
       width="50.648811"
       height="50.648811"
       x="59.975834"
       y="77.063889" />
    <rect
       style="fill:#ffffff;stroke:#fe0000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       id="rect4485-3-3-6"
       width="50.648811"
       height="50.648811"
       x="161.42418"
       y="77.063881" />
    <rect
       style="fill:#ffffff;stroke:#fe0000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
       id="rect4485-3-3-6-2"
       width="50.648811"
       height="50.648811"
       x="212.073"
       y="77.063873" />
  </g>
  <g
     inkscape:groupmode="layer"
     id="layer2"
     inkscape:label="Text"
     transform="translate(181.0506,11.861117)">
    <text
       xml:space="preserve"
       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:50.79999924px;line-height:1.25;font-family:'League Gothic';-inkscape-font-specification:'League Gothic';letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
       x="276.33206"
       y="38.240852"
       id="text5213"><tspan
         sodipodi:role="line"
         id="tspan5211"
         x="276.33206"
         y="38.240852"
         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:25.39999962px;font-family:'DejaVu Math TeX Gyre';-inkscape-font-specification:'DejaVu Math TeX Gyre';stroke-width:0.26458332">NIL</tspan></text>
    <text
       transform="translate(-37.675598,-71.604164)"
       xml:space="preserve"
       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:50.79999924px;line-height:1.25;font-family:'DejaVu Math TeX Gyre';-inkscape-font-specification:'DejaVu Math TeX Gyre';letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
       x="-132.63882"
       y="71.796967"
       id="text4519"><tspan
         sodipodi:role="line"
         id="tspan4517"
         x="-132.63882"
         y="71.796967"
         style="font-size:14.11111069px;stroke-width:0.26458332;fill:#ff0000;">CAR</tspan></text>
    <text
       transform="translate(-37.675598,-71.604164)"
       xml:space="preserve"
       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:50.79999924px;line-height:1.25;font-family:'DejaVu Math TeX Gyre';-inkscape-font-specification:'DejaVu Math TeX Gyre';letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
       x="-85.035919"
       y="71.262428"
       id="text4519-3"><tspan
         sodipodi:role="line"
         id="tspan4517-6"
         x="-85.035919"
         y="71.262428"
         style="font-size:14.11111069px;stroke-width:0.26458332;fill:#ff0000;">CDR</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:50.79999924px;line-height:1.25;font-family:'DejaVu Math TeX Gyre';-inkscape-font-specification:'DejaVu Math TeX Gyre';letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
       x="-18.274574"
       y="-0.60363388"
       id="text4519-6"><tspan
         sodipodi:role="line"
         id="tspan4517-2"
         x="-18.274574"
         y="-0.60363388"
         style="font-size:14.11111069px;stroke-width:0.26458332;fill:#ff0000;">CAR</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:50.79999924px;line-height:1.25;font-family:'DejaVu Math TeX Gyre';-inkscape-font-specification:'DejaVu Math TeX Gyre';letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
       x="29.328327"
       y="-1.138172"
       id="text4519-3-9"><tspan
         sodipodi:role="line"
         id="tspan4517-6-9"
         x="29.328327"
         y="-1.138172"
         style="font-size:14.11111069px;stroke-width:0.26458332;fill:#ff0000;">CDR</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:50.79999924px;line-height:1.25;font-family:'DejaVu Math TeX Gyre';-inkscape-font-specification:'DejaVu Math TeX Gyre';letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
       x="133.53448"
       y="-0.85613543"
       id="text4519-0"><tspan
         sodipodi:role="line"
         id="tspan4517-8"
         x="133.53448"
         y="-0.85613543"
         style="font-size:14.11111069px;stroke-width:0.26458332;fill:#ff0000;">CAR</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:50.79999924px;line-height:1.25;font-family:'DejaVu Math TeX Gyre';-inkscape-font-specification:'DejaVu Math TeX Gyre';letter-spacing:0px;word-spacing:0px;fill:#ff0000;fill-opacity:1;stroke:none;stroke-width:0.26458332;"
       x="181.13672"
       y="-1.3906732"
       id="text4519-3-1"><tspan
         sodipodi:role="line"
         id="tspan4517-6-3"
         x="181.13672"
         y="-1.3906732"
         style="font-size:14.11111069px;stroke-width:0.26458332;fill:#ff0000;">CDR</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:50.79999924px;line-height:1.25;font-family:'League Gothic';-inkscape-font-specification:'League Gothic';letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
       x="-173.00522"
       y="38.881897"
       id="text5213-1"><tspan
         sodipodi:role="line"
         id="tspan5211-1"
         x="-173.00522"
         y="38.881897"
         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:25.39999962px;font-family:'DejaVu Math TeX Gyre';-inkscape-font-specification:'DejaVu Math TeX Gyre';stroke-width:0.26458332">10</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:50.79999924px;line-height:1.25;font-family:'League Gothic';-inkscape-font-specification:'League Gothic';letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
       x="-19.816299"
       y="38.797165"
       id="text5213-1-0"><tspan
         sodipodi:role="line"
         id="tspan5211-1-3"
         x="-19.816299"
         y="38.797165"
         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:25.39999962px;font-family:'DejaVu Math TeX Gyre';-inkscape-font-specification:'DejaVu Math TeX Gyre';stroke-width:0.26458332">20</tspan></text>
    <text
       xml:space="preserve"
       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:50.79999924px;line-height:1.25;font-family:'League Gothic';-inkscape-font-specification:'League Gothic';letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
       x="132.55527"
       y="38.593037"
       id="text5213-1-0-4"><tspan
         sodipodi:role="line"
         id="tspan5211-1-3-0"
         x="132.55527"
         y="38.593037"
         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:25.39999962px;font-family:'DejaVu Math TeX Gyre';-inkscape-font-specification:'DejaVu Math TeX Gyre';stroke-width:0.26458332">30</tspan></text>
  </g>
  <g
     inkscape:groupmode="layer"
     id="layer3"
     inkscape:label="Arrows"
     transform="translate(181.0506,11.861117)">
    <path
       style="fill:none;stroke:#000000;stroke-width:0.94055241;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2Lend-3)"
       d="m -106.15603,30.662521 c 76.730102,-0.385417 76.730102,-0.385417 76.730102,-0.385417"
       id="path4528"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.94055247;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2Lend-3-1)"
       d="M 45.043984,30.861983 C 121.77421,30.476576 121.77421,30.476576 121.77421,30.476576"
       id="path4528-6"
       inkscape:connector-curvature="0" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.94055253;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2Lend-3-1-9)"
       d="m 197.72656,31.095684 c 76.73023,-0.385407 76.73023,-0.385407 76.73023,-0.385407"
       id="path4528-6-3"
       inkscape:connector-curvature="0" />
  </g>
</svg>