newproof2.svg

<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" id="v-2" width="1622.5000305175781" height="771.99267578125"><style type="text/css">.viewport { user-select: none; }
[magnet="true"]:not(.element) { cursor: crosshair; }
[magnet="true"]:not(.element):hover { opacity: 0.7; }
.element { cursor: move; }
.element * { vector-effect: non-scaling-stroke; }
.connection-wrap { fill: none; stroke: rgb(0, 0, 0); stroke-width: 15; stroke-linecap: round; stroke-linejoin: round; opacity: 0; cursor: move; }
.connection-wrap:hover { opacity: 0.4; stroke-opacity: 0.4; }
.connection { fill: none; stroke-linejoin: round; }
.marker-source, .marker-target { vector-effect: non-scaling-stroke; }
.marker-vertices { opacity: 0; cursor: move; }
.marker-arrowheads { opacity: 0; cursor: -webkit-grab; }
.link-tools { opacity: 0; cursor: pointer; }
.link-tools .tool-options { display: none; }
.link-tools .tool-remove circle { fill: red; }
.link-tools .tool-remove path { fill: rgb(255, 255, 255); }
.link:hover .marker-vertices, .link:hover .marker-arrowheads, .link:hover .link-tools { opacity: 1; }
.marker-vertex { fill: rgb(26, 188, 156); }
.marker-vertex:hover { fill: rgb(52, 73, 94); stroke: none; }
.marker-arrowhead { fill: rgb(26, 188, 156); }
.marker-arrowhead:hover { fill: rgb(243, 156, 18); stroke: none; }
.marker-vertex-remove { cursor: pointer; opacity: 0.1; fill: rgb(255, 255, 255); }
.marker-vertex-group:hover .marker-vertex-remove { opacity: 1; }
.marker-vertex-remove-area { opacity: 0.1; cursor: pointer; }
.marker-vertex-group:hover .marker-vertex-remove-area { opacity: 1; }
.highlighted { opacity: 0.7; }
text.highlighted { fill: red; }
@media screen and (-webkit-min-device-pixel-ratio: 0) {
  .highlighted { outline: red solid 2px; opacity: initial; }
}
.element .fobj { overflow: hidden; }
.element .fobj body { background-color: transparent; margin: 0px; }
.element .fobj div { text-align: center; vertical-align: middle; display: table-cell; padding: 0px 5px; }
svg { font-family: sans-serif; }
.connection { stroke: rgb(153, 153, 153); }
.connection.error { stroke: rgb(255, 0, 0); }
.connection-wrap { stroke-linecap: butt; transition: all 0.5s linear 0.2s; }
.connection-wrap:hover { stroke: black; stroke-width: 9px; transition: all 0s ease 0s; }
.marker-arrowhead, .marker-vertex { fill: rgb(255, 255, 255); stroke: rgb(127, 140, 141); stroke-opacity: 0.4; stroke-width: 2px; }
.marker-arrowhead:hover, .marker-vertex:hover { fill: rgb(236, 240, 241); stroke: rgb(189, 195, 199); }
.marker-vertex-remove-area { fill: white; stroke: rgb(204, 204, 204); stroke-opacity: 0.5; }
.marker-vertex-remove-group:hover .marker-vertex-remove-area { transition: fill 1s ease 0s; fill: rgb(231, 76, 60); stroke: rgb(192, 57, 43); }
.marker-vertex-remove { stroke: rgb(238, 238, 238); }
.marker-vertex-remove-group:hover .marker-vertex-remove { stroke: none; }
.live .connection { stroke: rgb(46, 204, 113); stroke-width: 3px; }
.live .connection-wrap { stroke: rgb(46, 204, 113); }
.element.live .body { fill: rgb(46, 204, 113); stroke: rgb(39, 174, 96); }
.element.live text { fill: rgb(255, 255, 255); }
.ui-draggable { cursor: move; }
.block .label { font-family: sans; font-size: 17px; fill: black; }
.block .resize-left { cursor: ew-resize; }
.block .resize-right { cursor: ew-resize; }
.block .number { fill: rgb(0, 0, 0); opacity: 0.5; font-size: 8px; }
.block .body { fill: rgb(236, 240, 241); }
.qed .block.conclusion .body { fill: rgb(40, 220, 30); }
.block:hover .body { fill: white; }
.qed .block.conclusion:hover .body { fill: rgb(170, 255, 170); }
.selected .block .body { stroke: blue; stroke-opacity: 1; }
.port-body[magnet="true"]:hover { fill: black; }
.tool-remove { opacity: 0; cursor: pointer; }
.link:hover .tool-remove { opacity: 1; }
.block:hover .tool-remove { opacity: 1; }
.tool-remove circle { fill: white; stroke: rgb(204, 204, 204); stroke-width: 1px; stroke-opacity: 0.5; }
.tool-remove:hover circle { fill: rgb(231, 76, 60); stroke: rgb(192, 57, 43); }
.tool-remove path { stroke: rgb(204, 204, 204); }
.tool-remove circle { transition: fill 1s ease 0s; }
.tool-remove:hover path { stroke: none; }
.element * { vector-effect: none; }</style><g id="v-3" class="viewport" transform="translate(-902.972636804576,87.89271477307113) scale(1.1672726775597824,1.1672726775597824)"><g id="j_274" model-id="c848e501-fbd4-4958-9335-008899340c0a" class="element incredible Generic joint-theme-default qed" magnet="false" fill="#ffffff" stroke="none" transform="translate(1990,420)"><g class="block conclusion" id="v-12158"><path class="body" fill="#ecf0f1" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12163" d="M-40 0 v-12.5 a 5 5 0 0 1 5 -5 h62.5 a 17.5 17.5 0 0 1 17.5 17.5 a 17.5 17.5 0 0 1 -17.5 17.5 h-62.5 a 5 5 0 0 1 -5 -5 v-12.5 Z"></path><text class="number" id="v-12159" y="0.8em" display="null" xml:space="preserve" transform="translate(30.546875,7.34375)"><tspan dy="0em" x="0" id="v-12160" class="v-line">3</tspan></text><text class="label center" id="v-12161" y="0.8em" display="null" xml:space="preserve" transform="translate(-5.671875,-9.6640625)"><tspan dy="0em" x="0" id="v-12162" class="v-line">B</tspan></text><g id="v-12164" class="port-wrap-in" transform="translate(-40,0)"><path class="port-body" stroke="none" fill="#777" id="v-12165" magnet="true" port="in" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g></g></g><g id="j_275" model-id="8efd661a-fa30-483e-8a19-0bda8fb9729c" class="element incredible Generic joint-theme-default qed" magnet="false" fill="#ffffff" stroke="none" transform="translate(2110,280)"><g class="block conclusion" id="v-12166"><path class="body" fill="#ecf0f1" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12171" d="M-40 0 v-12.5 a 5 5 0 0 1 5 -5 h62.5 a 17.5 17.5 0 0 1 17.5 17.5 a 17.5 17.5 0 0 1 -17.5 17.5 h-62.5 a 5 5 0 0 1 -5 -5 v-12.5 Z"></path><text class="number" id="v-12167" y="0.8em" display="null" xml:space="preserve" transform="translate(30.546875,7.34375)"><tspan dy="0em" x="0" id="v-12168" class="v-line">2</tspan></text><text class="label center" id="v-12169" y="0.8em" display="null" xml:space="preserve" transform="translate(-6.140625,-9.6640625)"><tspan dy="0em" x="0" id="v-12170" class="v-line">A</tspan></text><g id="v-12172" class="port-wrap-in" transform="translate(-40,0)"><path class="port-body" stroke="none" fill="#777" id="v-12173" magnet="true" port="in" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g></g></g><g id="j_276" model-id="a2c0e424-5961-4b75-9e57-868e480fed61" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(1610,320)"><g class="block" id="v-12174"><path class="body" fill="#ecf0f1" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12179" d="M-60 0 a 17.5 17.5 0 0 1 17.5 -17.5 h97.5 a 5 5 0 0 1 5 5 v25 a 5 5 0 0 1 -5 5 h-97.5 a 17.5 17.5 0 0 1 -17.5 -17.5 Z"></path><text class="number" id="v-12175" y="0.8em" display="null" xml:space="preserve" transform="translate(50.546875,7.34375)"><tspan dy="0em" x="0" id="v-12176" class="v-line">1</tspan></text><text class="label center" id="v-12177" y="0.8em" display="null" xml:space="preserve" transform="translate(-50.3203125,-9.6640625)"><tspan dy="0em" x="0" id="v-12178" class="v-line">(A↑B)↑(A↑B)</tspan></text><g id="v-12180" class="port-wrap-out" transform="translate(60,0)"><path class="port-body" stroke="none" fill="#777" id="v-12181" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g></g></g><g id="j_273" model-id="015a2965-4feb-4b1f-af4d-6b1d846fd317" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(1790,240)"><g class="block" id="v-12143"><rect class="body" fill="#ecf0f1" rx="5" ry="5" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12148" width="80" height="35" transform="translate(-40,-17.5)"></rect><text class="number" id="v-12144" y="0.8em" display="null" xml:space="preserve" transform="translate(30.546875,7.34375)"><tspan dy="0em" x="0" id="v-12145" class="v-line">7</tspan></text><text class="label center" id="v-12146" y="0.8em" display="null" xml:space="preserve" transform="translate(-25.96875,-9.6640625)"><tspan dy="0em" x="0" id="v-12147" class="v-line">nandE2</tspan></text><g id="v-12149" class="port-wrap-in1" transform="translate(-40,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12150" magnet="true" port="in1" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12151" class="port-wrap-in2" transform="translate(-40,10)"><path class="port-body" stroke="none" fill="#777" id="v-12152" magnet="true" port="in2" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12153" class="port-wrap-out" transform="translate(40,0)"><path class="port-body" stroke="none" fill="#777" id="v-12154" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12155" transform="translate(20,-17.5)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12156" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12157" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_277" model-id="0e30ada8-0ac7-4b59-a707-5b16b11b3c5c" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1743 250 1737 250 S 1730 250 1720 250 L 1580 250 S 1570 250 1564 250 L 1557 250" id="v-12182" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12183" transform="translate(1743,250) scale(1,1) rotate(-180)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12184" transform="translate(1557,250) scale(1,1) rotate(0)"></path><path class="connection-wrap" d="M 1743 250 1737 250 S 1730 250 1720 250 L 1580 250 S 1570 250 1564 250 L 1557 250" id="v-12185"></path><g class="labels" id="v-12186"><g class="label" id="v-18132" label-idx="0" transform="translate(1650, 249.99998474121094)"><rect fill="white" rx="3" ry="3" x="-69.21875" y="-9.40625" width="138.4375" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18133" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18134" class="v-line">(A↑A)↑((A↑B)↑(A↑B))</tspan></text></g></g><g class="marker-vertices" id="v-12187"></g><g class="marker-arrowheads" id="v-12188"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12191" transform="translate(1736,249.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12192" transform="translate(1564,250.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12189"><g class="link-tool" id="v-12190" transform="translate(1703, 249.99998474121094) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_272" model-id="c6990f4c-50fa-4410-b057-917582281b16" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(820,250)"><g class="block" id="v-12126"><path class="body" fill="#ecf0f1" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12133" d="M-30 0 v-12.5 a 5 5 0 0 1 5 -5 h0 a 5 5 0 0 1 5 5 v9 h20 h670 v-9 a 5 5 0 0 1 5 -5 h50 a 5 5 0 0 1 5 5 v12.5 v12.5 a 5 5 0 0 1 -5 5 h-55 h-670 h-20 h-5 a 5 5 0 0 1 -5 -5 v-22.5 Z"></path><text class="number" id="v-12127" y="0.8em" display="null" xml:space="preserve" transform="translate(720.546875,7.34375)"><tspan dy="0em" x="0" id="v-12128" class="v-line">8</tspan></text><text class="label center" id="v-12129" y="0.8em" display="null" xml:space="preserve" transform="translate(677,-9)"><tspan dy="0em" x="0" id="v-12130" class="v-line">nandI1</tspan></text><rect class="resize-left" opacity="0" event="resize-left" id="v-12131" transform="translate(-30,-15)" width="10" height="30"></rect><rect class="resize-right" opacity="0" event="resize-right" id="v-12132" transform="translate(670,-15)" width="60" height="30"></rect><g id="v-12134" class="port-wrap-hyp" transform="translate(-20,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12135" magnet="true" port="hyp" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g id="v-12136" class="port-wrap-in" transform="translate(670,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12137" magnet="true" port="in" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12138" class="port-wrap-out" transform="translate(730,0)"><path class="port-body" stroke="none" fill="#777" id="v-12139" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12140" transform="translate(732.5,-26)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12141" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12142" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_278" model-id="6b172039-3f68-4b01-bc86-a5038e6de4a7" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 807 240 814 240 S 820 240 830 240 L 890 240 S 900 240 900 230 L 900 180 S 900 170 907 170 L 913 170" id="v-12197" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12198" transform="translate(807,240) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12199" transform="translate(913,170) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 807 240 814 240 S 820 240 830 240 L 890 240 S 900 240 900 230 L 900 180 S 900 170 907 170 L 913 170" id="v-12200"></path><g class="labels" id="v-12201"><g class="label" id="v-18136" label-idx="0" transform="translate(891.22705078125, 239.89520263671875)"><rect fill="white" rx="3" ry="3" x="-13.859375" y="-9.40625" width="27.71875" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18137" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18138" class="v-line">A↑A</tspan></text></g></g><g class="marker-vertices" id="v-12202"></g><g class="marker-arrowheads" id="v-12203"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12206" transform="translate(814,240.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12207" transform="translate(906,169.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12204"><g class="link-tool" id="v-12205" transform="translate(847, 240) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_271" model-id="b5e58e24-db02-405a-ae51-42aa79404b5f" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(810,180)"><g class="block" id="v-12109"><path class="body" fill="#ecf0f1" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12116" d="M-30 0 v-12.5 a 5 5 0 0 1 5 -5 h0 a 5 5 0 0 1 5 5 v9 h20 h110 v-9 a 5 5 0 0 1 5 -5 h50 a 5 5 0 0 1 5 5 v12.5 v12.5 a 5 5 0 0 1 -5 5 h-55 h-110 h-20 h-5 a 5 5 0 0 1 -5 -5 v-22.5 Z"></path><text class="number" id="v-12110" y="0.8em" display="null" xml:space="preserve" transform="translate(156.09375,7.34375)"><tspan dy="0em" x="0" id="v-12111" class="v-line">10</tspan></text><text class="label center" id="v-12112" y="0.8em" display="null" xml:space="preserve" transform="translate(117,-9)"><tspan dy="0em" x="0" id="v-12113" class="v-line">nandI1</tspan></text><rect class="resize-left" opacity="0" event="resize-left" id="v-12114" transform="translate(-30,-15)" width="10" height="30"></rect><rect class="resize-right" opacity="0" event="resize-right" id="v-12115" transform="translate(110,-15)" width="60" height="30"></rect><g id="v-12117" class="port-wrap-hyp" transform="translate(-20,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12118" magnet="true" port="hyp" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g id="v-12119" class="port-wrap-in" transform="translate(110,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12120" magnet="true" port="in" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12121" class="port-wrap-out" transform="translate(170,0)"><path class="port-body" stroke="none" fill="#777" id="v-12122" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12123" transform="translate(172.5,-26)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12124" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12125" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_270" model-id="eef45d56-aa90-4ad7-a871-9b6dac089d65" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(1000,560)"><g class="block" id="v-12092"><path class="body" fill="#ecf0f1" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12099" d="M-30 0 v-12.5 a 5 5 0 0 1 5 -5 h0 a 5 5 0 0 1 5 5 v9 h20 h580 v-9 a 5 5 0 0 1 5 -5 h50 a 5 5 0 0 1 5 5 v12.5 v12.5 a 5 5 0 0 1 -5 5 h-55 h-580 h-20 h-5 a 5 5 0 0 1 -5 -5 v-22.5 Z"></path><text class="number" id="v-12093" y="0.8em" display="null" xml:space="preserve" transform="translate(630.546875,7.34375)"><tspan dy="0em" x="0" id="v-12094" class="v-line">5</tspan></text><text class="label center" id="v-12095" y="0.8em" display="null" xml:space="preserve" transform="translate(587,-9)"><tspan dy="0em" x="0" id="v-12096" class="v-line">nandI1</tspan></text><rect class="resize-left" opacity="0" event="resize-left" id="v-12097" transform="translate(-30,-15)" width="10" height="30"></rect><rect class="resize-right" opacity="0" event="resize-right" id="v-12098" transform="translate(580,-15)" width="60" height="30"></rect><g id="v-12100" class="port-wrap-hyp" transform="translate(-20,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12101" magnet="true" port="hyp" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g id="v-12102" class="port-wrap-in" transform="translate(580,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12103" magnet="true" port="in" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12104" class="port-wrap-out" transform="translate(640,0)"><path class="port-body" stroke="none" fill="#777" id="v-12105" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12106" transform="translate(642.5,-26)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12107" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12108" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_269" model-id="7cd7df66-b1fa-4c64-ad23-9db3dfb4d76b" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(1770,420)"><g class="block" id="v-12077"><rect class="body" fill="#ecf0f1" rx="5" ry="5" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12082" width="80" height="35" transform="translate(-40,-17.5)"></rect><text class="number" id="v-12078" y="0.8em" display="null" xml:space="preserve" transform="translate(30.546875,7.34375)"><tspan dy="0em" x="0" id="v-12079" class="v-line">4</tspan></text><text class="label center" id="v-12080" y="0.8em" display="null" xml:space="preserve" transform="translate(-25.96875,-9.6640625)"><tspan dy="0em" x="0" id="v-12081" class="v-line">nandE2</tspan></text><g id="v-12083" class="port-wrap-in1" transform="translate(-40,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12084" magnet="true" port="in1" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12085" class="port-wrap-in2" transform="translate(-40,10)"><path class="port-body" stroke="none" fill="#777" id="v-12086" magnet="true" port="in2" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12087" class="port-wrap-out" transform="translate(40,0)"><path class="port-body" stroke="none" fill="#777" id="v-12088" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12089" transform="translate(20,-17.5)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12090" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12091" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_279" model-id="79a4eb66-9804-47e6-acb7-0ed4460ce03f" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1647 560 1654 560 S 1660 560 1670 560 L 1700 560 S 1710 560 1710 550 L 1710 440 S 1710 430 1717 430 L 1723 430" id="v-12212" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12213" transform="translate(1647,560) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12214" transform="translate(1723,430) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1647 560 1654 560 S 1660 560 1670 560 L 1700 560 S 1710 560 1710 550 L 1710 440 S 1710 430 1717 430 L 1723 430" id="v-12215"></path><g class="labels" id="v-12216"><g class="label" id="v-18140" label-idx="0" transform="translate(1710, 519.6316528320312)"><rect fill="white" rx="3" ry="3" x="-69.21875" y="-9.40625" width="138.4375" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18141" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18142" class="v-line">(B↑B)↑((A↑B)↑(A↑B))</tspan></text></g></g><g class="marker-vertices" id="v-12217"></g><g class="marker-arrowheads" id="v-12218"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12221" transform="translate(1654,560) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12222" transform="translate(1716,429.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12219"><g class="link-tool" id="v-12220" transform="translate(1687, 560) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_280" model-id="5d9efebc-a36e-4704-9862-f25b91ec29ab" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1817 420 1824 420 S 1830 420 1840 420 L 1920 420 S 1930 420 1937 420 L 1943 420" id="v-12227" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12228" transform="translate(1817,420) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12229" transform="translate(1943,420) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1817 420 1824 420 S 1830 420 1840 420 L 1920 420 S 1930 420 1937 420 L 1943 420" id="v-12230"></path><g class="labels" id="v-12231"><g class="label" id="v-18144" label-idx="0" transform="translate(1880, 420)"><rect fill="white" rx="3" ry="3" x="-4.671875" y="-9.40625" width="9.34375" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18145" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18146" class="v-line">B</tspan></text></g></g><g class="marker-vertices" id="v-12232"></g><g class="marker-arrowheads" id="v-12233"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12236" transform="translate(1824,420.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12237" transform="translate(1936,419.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12234"><g class="link-tool" id="v-12235" transform="translate(1857, 420) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_281" model-id="147e298e-53f1-4ec3-a5f4-587737596c41" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 987 550 994 550 S 1000 550 1010 550 L 1030 550 S 1040 550 1040 540 L 1040 480 S 1040 470 1045 470 L 1045 470 S 1050 470 1057 470 L 1063 470" id="v-12242" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12243" transform="translate(987,550) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12244" transform="translate(1063,470) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 987 550 994 550 S 1000 550 1010 550 L 1030 550 S 1040 550 1040 540 L 1040 480 S 1040 470 1045 470 L 1045 470 S 1050 470 1057 470 L 1063 470" id="v-12245"></path><g class="labels" id="v-12246"><g class="label" id="v-18148" label-idx="0" transform="translate(1040, 524.3148803710938)"><rect fill="white" rx="3" ry="3" x="-13.859375" y="-9.40625" width="27.71875" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18149" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18150" class="v-line">B↑B</tspan></text></g></g><g class="marker-vertices" id="v-12247"></g><g class="marker-arrowheads" id="v-12248"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12251" transform="translate(994,550) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12252" transform="translate(1056,469.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12249"><g class="link-tool" id="v-12250" transform="translate(1027, 550) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_268" model-id="f411e537-b344-487a-bca3-20e8e65009cd" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(1050,480)"><g class="block" id="v-12060"><path class="body" fill="#ecf0f1" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12067" d="M-30 0 v-12.5 a 5 5 0 0 1 5 -5 h0 a 5 5 0 0 1 5 5 v9 h20 h20 v-9 a 5 5 0 0 1 5 -5 h50 a 5 5 0 0 1 5 5 v12.5 v12.5 a 5 5 0 0 1 -5 5 h-55 h-20 h-20 h-5 a 5 5 0 0 1 -5 -5 v-22.5 Z"></path><text class="number" id="v-12061" y="0.8em" display="null" xml:space="preserve" transform="translate(66.09375,7.34375)"><tspan dy="0em" x="0" id="v-12062" class="v-line">15</tspan></text><text class="label center" id="v-12063" y="0.8em" display="null" xml:space="preserve" transform="translate(27,-9)"><tspan dy="0em" x="0" id="v-12064" class="v-line">nandI1</tspan></text><rect class="resize-left" opacity="0" event="resize-left" id="v-12065" transform="translate(-30,-15)" width="10" height="30"></rect><rect class="resize-right" opacity="0" event="resize-right" id="v-12066" transform="translate(20,-15)" width="60" height="30"></rect><g id="v-12068" class="port-wrap-hyp" transform="translate(-20,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12069" magnet="true" port="hyp" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g id="v-12070" class="port-wrap-in" transform="translate(20,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12071" magnet="true" port="in" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12072" class="port-wrap-out" transform="translate(80,0)"><path class="port-body" stroke="none" fill="#777" id="v-12073" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12074" transform="translate(82.5,-26)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12075" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12076" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_283" model-id="42b134c8-bd27-4868-8b6e-c104f72610e9" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1677 320 1684 320 S 1690 320 1700 320 L 1700 320 S 1710 320 1710 330 L 1710 400 S 1710 410 1717 410 L 1723 410" id="v-12272" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12273" transform="translate(1677,320) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12274" transform="translate(1723,410) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1677 320 1684 320 S 1690 320 1700 320 L 1700 320 S 1710 320 1710 330 L 1710 400 S 1710 410 1717 410 L 1723 410" id="v-12275"></path><g class="labels" id="v-12276"><g class="label" id="v-18152" label-idx="0" transform="translate(1710, 355.36834716796875)"><rect fill="white" rx="3" ry="3" x="-41.546875" y="-9.40625" width="83.09375" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18153" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18154" class="v-line">(A↑B)↑(A↑B)</tspan></text></g></g><g class="marker-vertices" id="v-12277"></g><g class="marker-arrowheads" id="v-12278"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12281" transform="translate(1684,320.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12282" transform="translate(1716,409.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12279"><g class="link-tool" id="v-12280" transform="translate(1710, 331.1359558105469) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_284" model-id="26958d19-e815-4367-9d59-9dd67a7b6227" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1677 320 1684 320 S 1690 320 1700 320 L 1720 320 S 1730 320 1730 310 L 1730 240 S 1730 230 1737 230 L 1743 230" id="v-12287" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12288" transform="translate(1677,320) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12289" transform="translate(1743,230) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1677 320 1684 320 S 1690 320 1700 320 L 1720 320 S 1730 320 1730 310 L 1730 240 S 1730 230 1737 230 L 1743 230" id="v-12290"></path><g class="labels" id="v-12291"><g class="label" id="v-18156" label-idx="0" transform="translate(1730, 294.63165283203125)"><rect fill="white" rx="3" ry="3" x="-41.546875" y="-9.40625" width="83.09375" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18157" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18158" class="v-line">(A↑B)↑(A↑B)</tspan></text></g></g><g class="marker-vertices" id="v-12292"></g><g class="marker-arrowheads" id="v-12293"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12296" transform="translate(1684,320.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12297" transform="translate(1736,229.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12294"><g class="link-tool" id="v-12295" transform="translate(1717, 320) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_285" model-id="e36ad4d0-6a1c-488a-8c2a-edbde2362751" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1837 240 1844 240 S 1850 240 1860 240 L 2040 240 S 2050 240 2050 250 L 2050 270 S 2050 280 2057 280 L 2063 280" id="v-12302" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12303" transform="translate(1837,240) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12304" transform="translate(2063,280) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1837 240 1844 240 S 1850 240 1860 240 L 2040 240 S 2050 240 2050 250 L 2050 270 S 2050 280 2057 280 L 2063 280" id="v-12305"></path><g class="labels" id="v-12306"><g class="label" id="v-18160" label-idx="0" transform="translate(1966.232421875, 240)"><rect fill="white" rx="3" ry="3" x="-4.671875" y="-9.40625" width="9.34375" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18161" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18162" class="v-line">A</tspan></text></g></g><g class="marker-vertices" id="v-12307"></g><g class="marker-arrowheads" id="v-12308"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12311" transform="translate(1844,240.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12312" transform="translate(2056,279.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12309"><g class="link-tool" id="v-12310" transform="translate(1877, 240) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_266" model-id="feee0a86-9658-4393-9641-63fb793ccfd8" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(1410,140)"><g class="block" id="v-12032"><rect class="body" fill="#ecf0f1" rx="5" ry="5" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12037" width="80" height="35" transform="translate(-40,-17.5)"></rect><text class="number" id="v-12033" y="0.8em" display="null" xml:space="preserve" transform="translate(26.09375,7.34375)"><tspan dy="0em" x="0" id="v-12034" class="v-line">12</tspan></text><text class="label center" id="v-12035" y="0.8em" display="null" xml:space="preserve" transform="translate(-25.96875,-9.6640625)"><tspan dy="0em" x="0" id="v-12036" class="v-line">nandE1</tspan></text><g id="v-12038" class="port-wrap-in1" transform="translate(-40,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12039" magnet="true" port="in1" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12040" class="port-wrap-in2" transform="translate(-40,10)"><path class="port-body" stroke="none" fill="#777" id="v-12041" magnet="true" port="in2" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12042" class="port-wrap-out" transform="translate(40,0)"><path class="port-body" stroke="none" fill="#777" id="v-12043" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12044" transform="translate(20,-17.5)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12045" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12046" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_286" model-id="badf9c23-955f-438b-83d7-c510ff081a04" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1457 140 1464 140 S 1470 140 1470 150 L 1470 230 S 1470 240 1477 240 L 1483 240" id="v-12317" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12318" transform="translate(1457,140) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12319" transform="translate(1483,240) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1457 140 1464 140 S 1470 140 1470 150 L 1470 230 S 1470 240 1477 240 L 1483 240" id="v-12320"></path><g class="labels" id="v-12321"><g class="label" id="v-18164" label-idx="0" transform="translate(1470, 189.87603759765625)"><rect fill="white" rx="3" ry="3" x="-96.90625" y="-9.40625" width="193.8125" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18165" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18166" class="v-line">((A↑B)↑(A↑B))↑((A↑B)↑(A↑B))</tspan></text></g></g><g class="marker-vertices" id="v-12322"></g><g class="marker-arrowheads" id="v-12323"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12326" transform="translate(1464,140.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12327" transform="translate(1476,239.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12324"><g class="link-tool" id="v-12325" transform="translate(1470, 170.1513214111328) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_265" model-id="c1eca880-a1b8-4933-8a4c-735c7e0af04d" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(1270,490)"><g class="block" id="v-12017"><rect class="body" fill="#ecf0f1" rx="5" ry="5" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12022" width="80" height="35" transform="translate(-40,-17.5)"></rect><text class="number" id="v-12018" y="0.8em" display="null" xml:space="preserve" transform="translate(30.546875,7.34375)"><tspan dy="0em" x="0" id="v-12019" class="v-line">6</tspan></text><text class="label center" id="v-12020" y="0.8em" display="null" xml:space="preserve" transform="translate(-25.96875,-9.6640625)"><tspan dy="0em" x="0" id="v-12021" class="v-line">nandE1</tspan></text><g id="v-12023" class="port-wrap-in1" transform="translate(-40,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12024" magnet="true" port="in1" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12025" class="port-wrap-in2" transform="translate(-40,10)"><path class="port-body" stroke="none" fill="#777" id="v-12026" magnet="true" port="in2" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12027" class="port-wrap-out" transform="translate(40,0)"><path class="port-body" stroke="none" fill="#777" id="v-12028" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12029" transform="translate(20,-17.5)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12030" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12031" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_288" model-id="2548445b-0bef-4d51-97c4-aeb1edba3993" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1317 490 1324 490 S 1330 490 1340 490 L 1550 490 S 1560 490 1560 500 L 1560 540 S 1560 550 1567 550 L 1573 550" id="v-12347" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12348" transform="translate(1317,490) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12349" transform="translate(1573,550) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1317 490 1324 490 S 1330 490 1340 490 L 1550 490 S 1560 490 1560 500 L 1560 540 S 1560 550 1567 550 L 1573 550" id="v-12350"></path><g class="labels" id="v-12351"><g class="label" id="v-18168" label-idx="0" transform="translate(1471.232421875, 490)"><rect fill="white" rx="3" ry="3" x="-96.90625" y="-9.40625" width="193.8125" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18169" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18170" class="v-line">((A↑B)↑(A↑B))↑((A↑B)↑(A↑B))</tspan></text></g></g><g class="marker-vertices" id="v-12352"></g><g class="marker-arrowheads" id="v-12353"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12356" transform="translate(1324,490.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12357" transform="translate(1566,550) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12354"><g class="link-tool" id="v-12355" transform="translate(1357, 490) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_289" model-id="a3146620-c7f0-4ebc-936a-669a4146ea38" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1137 480 1144 480 S 1150 480 1160 480 L 1200 480 S 1210 480 1217 480 L 1223 480" id="v-12362" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12363" transform="translate(1137,480) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12364" transform="translate(1223,480) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1137 480 1144 480 S 1150 480 1160 480 L 1200 480 S 1210 480 1217 480 L 1223 480" id="v-12365"></path><g class="labels" id="v-12366"><g class="label" id="v-18172" label-idx="0" transform="translate(1180, 480)"><rect fill="white" rx="3" ry="3" x="-13.859375" y="-9.40625" width="27.71875" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18173" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18174" class="v-line">A↑B</tspan></text></g></g><g class="marker-vertices" id="v-12367"></g><g class="marker-arrowheads" id="v-12368"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12372" transform="translate(1140.5,480.00000000000006) scale(0.5,0.5) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12373" transform="translate(1219.5,479.99999999999994) scale(0.5,0.5) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12369"><g class="link-tool" id="v-12370" transform="translate(1157, 480) scale(.5)"><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_264" model-id="6322c5d8-545f-469f-84d6-b884e3525ec7" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(900,320)"><g class="block" id="v-12000"><path class="body" fill="#ecf0f1" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12007" d="M-30 0 v-12.5 a 5 5 0 0 1 5 -5 h0 a 5 5 0 0 1 5 5 v9 h20 h70 v-9 a 5 5 0 0 1 5 -5 h50 a 5 5 0 0 1 5 5 v12.5 v12.5 a 5 5 0 0 1 -5 5 h-55 h-70 h-20 h-5 a 5 5 0 0 1 -5 -5 v-22.5 Z"></path><text class="number" id="v-12001" y="0.8em" display="null" xml:space="preserve" transform="translate(120.546875,7.34375)"><tspan dy="0em" x="0" id="v-12002" class="v-line">9</tspan></text><text class="label center" id="v-12003" y="0.8em" display="null" xml:space="preserve" transform="translate(77,-9)"><tspan dy="0em" x="0" id="v-12004" class="v-line">nandI1</tspan></text><rect class="resize-left" opacity="0" event="resize-left" id="v-12005" transform="translate(-30,-15)" width="10" height="30"></rect><rect class="resize-right" opacity="0" event="resize-right" id="v-12006" transform="translate(70,-15)" width="60" height="30"></rect><g id="v-12008" class="port-wrap-hyp" transform="translate(-20,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12009" magnet="true" port="hyp" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g id="v-12010" class="port-wrap-in" transform="translate(70,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12011" magnet="true" port="in" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12012" class="port-wrap-out" transform="translate(130,0)"><path class="port-body" stroke="none" fill="#777" id="v-12013" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12014" transform="translate(132.5,-26)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12015" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12016" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_290" model-id="5b9d55e7-3e73-40fd-8471-3cdabcf686e6" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 887 310 894 310 S 900 310 910 310 L 940 310 S 950 310 957 310 L 963 310" id="v-12378" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12379" transform="translate(887,310) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12380" transform="translate(963,310) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 887 310 894 310 S 900 310 910 310 L 940 310 S 950 310 957 310 L 963 310" id="v-12381"></path><g class="labels" id="v-12382"><g class="label" id="v-18176" label-idx="0" transform="translate(925, 310)"><rect fill="white" rx="3" ry="3" x="-41.546875" y="-9.40625" width="83.09375" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18177" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18178" class="v-line">(A↑B)↑(A↑B)</tspan></text></g></g><g class="marker-vertices" id="v-12383"></g><g class="marker-arrowheads" id="v-12384"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12387" transform="translate(890.5,310.00000000000006) scale(0.5,0.5) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12388" transform="translate(959.5000000000001,309.99999999999994) scale(0.5,0.5) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12385"><g class="link-tool" id="v-12386" transform="translate(907, 310) scale(.5)"><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_291" model-id="390f13d8-88b4-44e4-8680-83ac24cc410f" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1037 320 1044 320 S 1050 320 1060 320 L 1340 320 S 1350 320 1350 310 L 1350 160 S 1350 150 1357 150 L 1363 150" id="v-12393" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12394" transform="translate(1037,320) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12395" transform="translate(1363,150) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1037 320 1044 320 S 1050 320 1060 320 L 1340 320 S 1350 320 1350 310 L 1350 160 S 1350 150 1357 150 L 1363 150" id="v-12396"></path><g class="labels" id="v-12397"><g class="label" id="v-18180" label-idx="0" transform="translate(1281.232421875, 320)"><rect fill="white" rx="3" ry="3" x="-69.21875" y="-9.40625" width="138.4375" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18181" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18182" class="v-line">((A↑B)↑(A↑B))↑(A↑B)</tspan></text></g></g><g class="marker-vertices" id="v-12398"></g><g class="marker-arrowheads" id="v-12399"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12402" transform="translate(1044,320.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12403" transform="translate(1356,149.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12400"><g class="link-tool" id="v-12401" transform="translate(1077, 320) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_292" model-id="3284497b-3660-4424-949d-e34ec674af76" class="incredible Link link joint-theme-default"><path class="connection" stroke="black" d="M 1037 320 1044 320 S 1050 320 1060 320 L 1160 320 S 1170 320 1170 330 L 1170 360 S 1170 370 1170 380 L 1170 490 S 1170 500 1180 500 L 1200 500 S 1210 500 1217 500 L 1223 500" id="v-12408" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12409" transform="translate(1037,320) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12410" transform="translate(1223,500) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1037 320 1044 320 S 1050 320 1060 320 L 1160 320 S 1170 320 1170 330 L 1170 360 S 1170 370 1170 380 L 1170 490 S 1170 500 1180 500 L 1200 500 S 1210 500 1217 500 L 1223 500" id="v-12411"></path><g class="labels" id="v-12412"><g class="label" id="v-18184" label-idx="0" transform="translate(1170, 370)"><rect fill="white" rx="3" ry="3" x="-69.21875" y="-9.40625" width="138.4375" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18185" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18186" class="v-line">((A↑B)↑(A↑B))↑(A↑B)</tspan></text></g></g><g class="marker-vertices" id="v-12413"><g class="marker-vertex-group" transform="translate(1170, 370)" id="v-14931"><circle class="marker-vertex" idx="0" r="10"></circle><g class="marker-vertex-remove-group"><path class="marker-vertex-remove-area" idx="0" d="M16,5.333c-7.732,0-14,4.701-14,10.5c0,1.982,0.741,3.833,2.016,5.414L2,25.667l5.613-1.441c2.339,1.317,5.237,2.107,8.387,2.107c7.732,0,14-4.701,14-10.5C30,10.034,23.732,5.333,16,5.333z" transform="translate(5, -33)"></path><path class="marker-vertex-remove" idx="0" transform="scale(.8) translate(9.5, -37)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"><title>Remove vertex.</title></path></g></g></g><g class="marker-arrowheads" id="v-12414"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12417" transform="translate(1044,320.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12418" transform="translate(1216,499.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12415"><g class="link-tool" id="v-12416" transform="translate(1077, 320) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_293" model-id="a3600f90-f3e0-4557-ac9d-7a5af89f04d8" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(1080,130)"><g class="block" id="v-12600"><path class="body" fill="#ecf0f1" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12607" d="M-30 0 v-12.5 a 5 5 0 0 1 5 -5 h0 a 5 5 0 0 1 5 5 v9 h20 h140 v-9 a 5 5 0 0 1 5 -5 h50 a 5 5 0 0 1 5 5 v12.5 v12.5 a 5 5 0 0 1 -5 5 h-55 h-140 h-20 h-5 a 5 5 0 0 1 -5 -5 v-22.5 Z"></path><text class="number" id="v-12601" y="0.8em" display="null" xml:space="preserve" transform="translate(186.6875,7.34375)"><tspan dy="0em" x="0" id="v-12602" class="v-line">11</tspan></text><text class="label center" id="v-12603" y="0.8em" display="null" xml:space="preserve" transform="translate(147,-9)"><tspan dy="0em" x="0" id="v-12604" class="v-line">nandI1</tspan></text><rect class="resize-left" opacity="0" event="resize-left" id="v-12605" transform="translate(-30,-15)" width="10" height="30"></rect><rect class="resize-right" opacity="0" event="resize-right" id="v-12606" transform="translate(140,-15)" width="60" height="30"></rect><g id="v-12608" class="port-wrap-hyp" transform="translate(-20,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12609" magnet="true" port="hyp" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g id="v-12610" class="port-wrap-in" transform="translate(140,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12611" magnet="true" port="in" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12612" class="port-wrap-out" transform="translate(200,0)"><path class="port-body" stroke="none" fill="#777" id="v-12613" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12614" transform="translate(202.5,-26)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12615" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12616" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_294" model-id="78a832f1-8e80-44ed-93dd-3de5ed0d5860" class="incredible Link link joint-theme-default" style="pointer-events: visiblepainted;"><path class="connection" stroke="black" d="M 1287 130 1294 130 S 1300 130 1310 130 L 1340 130 S 1350 130 1357 130 L 1363 130" id="v-12673" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12674" transform="translate(1287,130) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12675" transform="translate(1363,130) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1287 130 1294 130 S 1300 130 1310 130 L 1340 130 S 1350 130 1357 130 L 1363 130" id="v-12676"></path><g class="labels" id="v-12677"><g class="label" id="v-18188" label-idx="0" transform="translate(1325, 130)"><rect fill="white" rx="3" ry="3" x="-13.859375" y="-9.40625" width="27.71875" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18189" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18190" class="v-line">A↑B</tspan></text></g></g><g class="marker-vertices" id="v-12678"></g><g class="marker-arrowheads" id="v-12679"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12682" transform="translate(1290.5,130.00000000000006) scale(0.5,0.5) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12683" transform="translate(1359.5,129.99999999999994) scale(0.5,0.5) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12680"><g class="link-tool" id="v-12681" transform="translate(1307, 130) scale(.5)"><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_295" model-id="6d1fa6cf-2927-4338-bd4c-1de9cd8acc1d" class="element incredible Generic joint-theme-default" magnet="false" fill="#ffffff" stroke="none" transform="translate(1140,80)"><g class="block" id="v-12865"><rect class="body" fill="#ecf0f1" rx="5" ry="5" stroke="#bdc3c7" stroke-opacity="0.5" id="v-12870" width="80" height="35" transform="translate(-40,-17.5)"></rect><text class="number" id="v-12866" y="0.8em" display="null" xml:space="preserve" transform="translate(26.09375,7.34375)"><tspan dy="0em" x="0" id="v-12867" class="v-line">13</tspan></text><text class="label center" id="v-12868" y="0.8em" display="null" xml:space="preserve" transform="translate(-25.96875,-9.6640625)"><tspan dy="0em" x="0" id="v-12869" class="v-line">nandE1</tspan></text><g id="v-12871" class="port-wrap-in1" transform="translate(-40,-10)"><path class="port-body" stroke="none" fill="#777" id="v-12872" magnet="true" port="in1" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12873" class="port-wrap-in2" transform="translate(-40,10)"><path class="port-body" stroke="none" fill="#777" id="v-12874" magnet="true" port="in2" direction="in" orientation="left" d="M0,0 l 0 5 a5,5 0 1,1 5,-5 z" transform="rotate(135)"></path></g><g id="v-12875" class="port-wrap-out" transform="translate(40,0)"><path class="port-body" stroke="none" fill="#777" id="v-12876" magnet="true" port="out" direction="out" orientation="right" d="M-5,-5 l 0 5 a5,5 0 1,0 5,-5 z" transform="rotate(135)"></path></g><g class="tool-remove" event="remove" id="v-12877" transform="translate(20,-17.5)"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title id="v-12878" y="0.8em" display="null" xml:space="preserve"><tspan dy="0em" x="0" id="v-12879" class="v-line">Remove&#160;element</tspan></title></g></g></g><g id="j_296" model-id="51af7c1c-8423-494e-bf02-7b34457df98a" class="incredible Link link joint-theme-default" style="pointer-events: visiblepainted;"><path class="connection" stroke="black" d="M 1187 80 1194 80 S 1200 80 1200 90 L 1200 110 S 1200 120 1207 120 L 1213 120" id="v-12940" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-12941" transform="translate(1187,80) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-12942" transform="translate(1213,120) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1187 80 1194 80 S 1200 80 1200 90 L 1200 110 S 1200 120 1207 120 L 1213 120" id="v-12943"></path><g class="labels" id="v-12944"><g class="label" id="v-18192" label-idx="0" transform="translate(1200, 99.8759994506836)"><rect fill="white" rx="3" ry="3" x="-13.859375" y="-9.40625" width="27.71875" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18193" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18194" class="v-line">B↑B</tspan></text></g></g><g class="marker-vertices" id="v-12945"></g><g class="marker-arrowheads" id="v-12946"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-12949" transform="translate(1190.5,80.00000000000006) scale(0.5,0.5) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-12950" transform="translate(1209.5,119.99999999999994) scale(0.5,0.5) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-12947"><g class="link-tool" id="v-12948" transform="translate(1200, 90.15132904052734) scale(.5)"><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_299" model-id="364dc437-765d-4d83-ba97-b338a9eba88d" class="incredible Link link joint-theme-default" style="pointer-events: visiblepainted;"><path class="connection" stroke="black" d="M 1067 120 1074 120 S 1080 120 1080 110 L 1080 80 S 1080 70 1087 70 L 1093 70" id="v-13445" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-13446" transform="translate(1067,120) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-13447" transform="translate(1093,70) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 1067 120 1074 120 S 1080 120 1080 110 L 1080 80 S 1080 70 1087 70 L 1093 70" id="v-13448"></path><g class="labels" id="v-13449"><g class="label" id="v-18196" label-idx="0" transform="translate(1080, 95.12400817871094)"><rect fill="white" rx="3" ry="3" x="-4.671875" y="-9.40625" width="9.34375" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18197" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18198" class="v-line">A</tspan></text></g></g><g class="marker-vertices" id="v-13450"></g><g class="marker-arrowheads" id="v-13451"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-13454" transform="translate(1070.5,120.00000000000006) scale(0.5,0.5) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-13455" transform="translate(1089.5,69.99999999999994) scale(0.5,0.5) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-13452"><g class="link-tool" id="v-13453" transform="translate(1080, 109.84866333007812) scale(.5)"><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g><g id="j_300" model-id="8a0304d6-eb06-4d08-8573-e135cd07cce2" class="incredible Link link joint-theme-default" style="pointer-events: visiblepainted;"><path class="connection" stroke="black" d="M 987 180 994 180 S 1000 180 1005 180 L 1005 180 S 1010 180 1010 170 L 1010 140 S 1010 130 1010 120 L 1010 100 S 1010 90 1020 90 L 1070 90 S 1080 90 1087 90 L 1093 90" id="v-13684" stroke-width="2"></path><path class="marker-source" fill="black" stroke="black" d="M 0 0 0 0" id="v-13685" transform="translate(987,180) scale(1,1) rotate(0)"></path><path class="marker-target" fill="black" stroke="black" d="M 0 0 0 0" id="v-13686" transform="translate(1093,90) scale(1,1) rotate(-180)"></path><path class="connection-wrap" d="M 987 180 994 180 S 1000 180 1005 180 L 1005 180 S 1010 180 1010 170 L 1010 140 S 1010 130 1010 120 L 1010 100 S 1010 90 1020 90 L 1070 90 S 1080 90 1087 90 L 1093 90" id="v-13687"></path><g class="labels" id="v-13688"><g class="label" id="v-18200" label-idx="0" transform="translate(1010, 105.65515899658203)"><rect fill="white" rx="3" ry="3" x="-13.859375" y="-9.40625" width="27.71875" height="15.78125"></rect><text text-anchor="middle" font-size="14" id="v-18201" y="0.8em" display="null" xml:space="preserve" transform="translate(0,-7.890625)"><tspan dy="0em" x="0" id="v-18202" class="v-line">B↑A</tspan></text></g></g><g class="marker-vertices" id="v-13689"><g class="marker-vertex-group" transform="translate(1010, 130)" id="v-14102"><circle class="marker-vertex" idx="0" r="10"></circle><g class="marker-vertex-remove-group"><path class="marker-vertex-remove-area" idx="0" d="M16,5.333c-7.732,0-14,4.701-14,10.5c0,1.982,0.741,3.833,2.016,5.414L2,25.667l5.613-1.441c2.339,1.317,5.237,2.107,8.387,2.107c7.732,0,14-4.701,14-10.5C30,10.034,23.732,5.333,16,5.333z" transform="translate(5, -33)"></path><path class="marker-vertex-remove" idx="0" transform="scale(.8) translate(9.5, -37)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"><title>Remove vertex.</title></path></g></g></g><g class="marker-arrowheads" id="v-13690"><g class="marker-arrowhead-group marker-arrowhead-group-source" id="v-13693" transform="translate(994,180.00000000000006) scale(1,1) rotate(0)"><circle class="marker-arrowhead" end="source" r="7"></circle></g><g class="marker-arrowhead-group marker-arrowhead-group-target" id="v-13694" transform="translate(1086,89.99999999999994) scale(1,1) rotate(-180)"><circle class="marker-arrowhead" end="target" r="7"></circle></g></g><g class="link-tools" id="v-13691"><g class="link-tool" id="v-13692" transform="translate(1010, 160.17428588867188) "><g class="tool-remove" event="remove"><circle r="11"></circle><path transform="scale(.8) translate(-16, -16)" d="M24.778,21.419 19.276,15.917 24.777,10.415 21.949,7.585 16.447,13.087 10.945,7.585 8.117,10.415 13.618,15.917 8.116,21.419 10.946,24.248 16.447,18.746 21.948,24.248z"></path><title>Remove link.</title></g><g class="tool-options" event="link:options"><circle r="11" transform="translate(25)"></circle><path fill="white" transform="scale(.55) translate(29, -16)" d="M31.229,17.736c0.064-0.571,0.104-1.148,0.104-1.736s-0.04-1.166-0.104-1.737l-4.377-1.557c-0.218-0.716-0.504-1.401-0.851-2.05l1.993-4.192c-0.725-0.91-1.549-1.734-2.458-2.459l-4.193,1.994c-0.647-0.347-1.334-0.632-2.049-0.849l-1.558-4.378C17.165,0.708,16.588,0.667,16,0.667s-1.166,0.041-1.737,0.105L12.707,5.15c-0.716,0.217-1.401,0.502-2.05,0.849L6.464,4.005C5.554,4.73,4.73,5.554,4.005,6.464l1.994,4.192c-0.347,0.648-0.632,1.334-0.849,2.05l-4.378,1.557C0.708,14.834,0.667,15.412,0.667,16s0.041,1.165,0.105,1.736l4.378,1.558c0.217,0.715,0.502,1.401,0.849,2.049l-1.994,4.193c0.725,0.909,1.549,1.733,2.459,2.458l4.192-1.993c0.648,0.347,1.334,0.633,2.05,0.851l1.557,4.377c0.571,0.064,1.148,0.104,1.737,0.104c0.588,0,1.165-0.04,1.736-0.104l1.558-4.377c0.715-0.218,1.399-0.504,2.049-0.851l4.193,1.993c0.909-0.725,1.733-1.549,2.458-2.458l-1.993-4.193c0.347-0.647,0.633-1.334,0.851-2.049L31.229,17.736zM16,20.871c-2.69,0-4.872-2.182-4.872-4.871c0-2.69,2.182-4.872,4.872-4.872c2.689,0,4.871,2.182,4.871,4.872C20.871,18.689,18.689,20.871,16,20.871z"></path><title>Link options.</title></g></g></g></g></g><defs id="v-4"></defs></svg>