diff --git a/docs/source/diagrams/concent-states-detailed.graphml b/docs/source/diagrams/concent-states-detailed.graphml
index 0bea5ac41..f056c6994 100644
--- a/docs/source/diagrams/concent-states-detailed.graphml
+++ b/docs/source/diagrams/concent-states-detailed.graphml
@@ -924,11 +924,19 @@ VERIFICATION<y:LabelModel>
           </y:Path>
           <y:LineStyle color="#000000" type="line" width="1.0"/>
           <y:Arrows source="none" target="standard"/>
-          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Arial" fontSize="10" fontStyle="bold" hasBackgroundColor="false" hasLineColor="false" height="15.171875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#FF9933" verticalTextPosition="bottom" visible="true" width="106.8173828125" x="60.320482228195885" y="674.5168483349769">SubtaskResultsVerify<y:LabelModel>
+          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Arial" fontSize="10" fontStyle="bold" hasBackgroundColor="false" hasLineColor="false" height="15.171875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#FF9933" verticalTextPosition="bottom" visible="true" width="106.8173828125" x="61.63737063556323" y="664.6401852797223">SubtaskResultsVerify<y:LabelModel>
               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
             </y:LabelModel>
             <y:ModelParameter>
-              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="17.999999999999545" distanceToCenter="true" position="left" ratio="0.3332830440463202" segment="-1"/>
+              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="27.876663055254053" distanceToCenter="true" position="left" ratio="0.33714218171363275" segment="-1"/>
+            </y:ModelParameter>
+            <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
+          </y:EdgeLabel>
+          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Monospaced" fontSize="8" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="13.3125" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" verticalTextPosition="bottom" visible="true" width="162.94140625" x="36.57847450985258" y="679.5918652634709">rejection &lt; t &lt;= rejection + AVCT<y:LabelModel>
+              <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
+            </y:LabelModel>
+            <y:ModelParameter>
+              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="13.854670571505398" distanceToCenter="true" position="left" ratio="0.3769407703204716" segment="-1"/>
             </y:ModelParameter>
             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
           </y:EdgeLabel>
@@ -1206,6 +1214,14 @@ VERIFICATION<y:LabelModel>
             </y:ModelParameter>
             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
           </y:EdgeLabel>
+          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Monospaced" fontSize="8" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="13.3125" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" verticalTextPosition="bottom" visible="true" width="105.14453125" x="-119.7014071400906" y="30.939076517324565">t &lt;= rejection + AVCT<y:LabelModel>
+              <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
+            </y:LabelModel>
+            <y:ModelParameter>
+              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="14.556877827058393" distanceToCenter="false" position="right" ratio="0.9295517207927048" segment="-1"/>
+            </y:ModelParameter>
+            <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
+          </y:EdgeLabel>
           <y:BendStyle smoothed="false"/>
         </y:PolyLineEdge>
       </data>
@@ -1248,11 +1264,19 @@ VERIFICATION<y:LabelModel>
           </y:Path>
           <y:LineStyle color="#000000" type="line" width="1.0"/>
           <y:Arrows source="none" target="standard"/>
-          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Arial" fontSize="10" fontStyle="bold" hasBackgroundColor="false" hasLineColor="false" height="15.171875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#FF9933" verticalTextPosition="bottom" visible="true" width="106.8173828125" x="-137.4157176675244" y="-19.1859653041696">SubtaskResultsVerify<y:LabelModel>
+          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Arial" fontSize="10" fontStyle="bold" hasBackgroundColor="false" hasLineColor="false" height="15.171875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#FF9933" verticalTextPosition="bottom" visible="true" width="106.8173828125" x="-137.4157176675244" y="-33.013293581526">SubtaskResultsVerify<y:LabelModel>
+              <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
+            </y:LabelModel>
+            <y:ModelParameter>
+              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="25.42732827735643" distanceToCenter="true" position="right" ratio="0.26089367999380586" segment="0"/>
+            </y:ModelParameter>
+            <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
+          </y:EdgeLabel>
+          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Monospaced" fontSize="8" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="13.3125" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" verticalTextPosition="bottom" visible="true" width="162.94140625" x="-165.28809919345872" y="-18.219840101027557">rejection &lt; t &lt;= rejection + AVCT<y:LabelModel>
               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
             </y:LabelModel>
             <y:ModelParameter>
-              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="11.600000000000056" distanceToCenter="true" position="right" ratio="0.26089367999380586" segment="0"/>
+              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="11.563562296858104" distanceToCenter="true" position="right" ratio="0.07094460302729459" segment="0"/>
             </y:ModelParameter>
             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
           </y:EdgeLabel>
@@ -1295,11 +1319,19 @@ VERIFICATION<y:LabelModel>
           </y:Path>
           <y:LineStyle color="#000000" type="line" width="1.0"/>
           <y:Arrows source="none" target="standard"/>
-          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Arial" fontSize="10" fontStyle="bold" hasBackgroundColor="false" hasLineColor="false" height="15.171875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#FF9933" verticalTextPosition="bottom" visible="true" width="106.8173828125" x="-136.6171825112744" y="-19.985943358845816">SubtaskResultsVerify<y:LabelModel>
+          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Arial" fontSize="10" fontStyle="bold" hasBackgroundColor="false" hasLineColor="false" height="15.171875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#FF9933" verticalTextPosition="bottom" visible="true" width="106.8173828125" x="-131.3496288818053" y="-33.15482743251869">SubtaskResultsVerify<y:LabelModel>
               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
             </y:LabelModel>
             <y:ModelParameter>
-              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="12.399999999999972" distanceToCenter="true" position="right" ratio="0.25274075249399935" segment="0"/>
+              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="25.568884073672773" distanceToCenter="true" position="right" ratio="0.19905827394099468" segment="0"/>
+            </y:ModelParameter>
+            <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
+          </y:EdgeLabel>
+          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Monospaced" fontSize="8" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="13.3125" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" verticalTextPosition="bottom" visible="true" width="162.94140625" x="-158.42009148394044" y="-17.191363117784135">rejection &lt; t &lt;= rejection + AVCT<y:LabelModel>
+              <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
+            </y:LabelModel>
+            <y:ModelParameter>
+              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="10.535107258938174" distanceToCenter="true" position="right" ratio="-1.3168884073672729" segment="0"/>
             </y:ModelParameter>
             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
           </y:EdgeLabel>
@@ -1316,11 +1348,19 @@ VERIFICATION<y:LabelModel>
           </y:Path>
           <y:LineStyle color="#000000" type="line" width="1.0"/>
           <y:Arrows source="none" target="standard"/>
-          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Arial" fontSize="10" fontStyle="bold" hasBackgroundColor="false" hasLineColor="false" height="15.171875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#FF9933" verticalTextPosition="bottom" visible="true" width="106.8173828125" x="-147.20669182212228" y="8.014078000152494">SubtaskResultsVerify<y:LabelModel>
+          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Arial" fontSize="10" fontStyle="bold" hasBackgroundColor="false" hasLineColor="false" height="15.171875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#FF9933" verticalTextPosition="bottom" visible="true" width="106.8173828125" x="-137.98847297055127" y="7.355633796468965">SubtaskResultsVerify<y:LabelModel>
+              <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
+            </y:LabelModel>
+            <y:ModelParameter>
+              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="14.941555796316624" distanceToCenter="true" position="left" ratio="0.20490389754888821" segment="0"/>
+            </y:ModelParameter>
+            <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
+          </y:EdgeLabel>
+          <y:EdgeLabel alignment="center" configuration="AutoFlippingLabel" distance="2.0" fontFamily="Monospaced" fontSize="8" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="13.3125" horizontalTextPosition="center" iconTextGap="4" modelName="custom" preferredPlacement="anywhere" ratio="0.5" textColor="#000000" verticalTextPosition="bottom" visible="true" width="162.94140625" x="-161.47814756398532" y="21.94529962799629">rejection &lt; t &lt;= rejection + AVCT<y:LabelModel>
               <y:SmartEdgeLabelModel autoRotationEnabled="false" defaultAngle="0.0" defaultDistance="10.0"/>
             </y:LabelModel>
             <y:ModelParameter>
-              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="15.60000000000002" distanceToCenter="true" position="left" ratio="0.2988482350166473" segment="0"/>
+              <y:SmartEdgeLabelModelParameter angle="6.283185307179586" distance="28.60153412784396" distanceToCenter="true" position="left" ratio="-4.324078909353645" segment="0"/>
             </y:ModelParameter>
             <y:PreferredPlacementDescriptor angle="0.0" angleOffsetOnRightSide="0" angleReference="absolute" angleRotationOnRightSide="co" distance="-1.0" frozen="true" placement="anywhere" side="anywhere" sideReference="relative_to_edge_flow"/>
           </y:EdgeLabel>
diff --git a/docs/source/diagrams/concent-states-detailed.svg b/docs/source/diagrams/concent-states-detailed.svg
index 6097c76b6..0572be64b 100644
--- a/docs/source/diagrams/concent-states-detailed.svg
+++ b/docs/source/diagrams/concent-states-detailed.svg
@@ -207,35 +207,42 @@
       <path d="M37.9248 1182.8242 L25.9248 1177.8242 L28.9248 1182.8242 L25.9248 1187.8242 Z" stroke="none" clip-path="url(#clipPath2)"/>
     </g>
     <g stroke-linecap="butt" font-size="10px" transform="matrix(1,0,0,1,449,-390)" fill="rgb(255,153,51)" text-rendering="geometricPrecision" font-family="'Arial'" shape-rendering="geometricPrecision" stroke="rgb(255,153,51)" font-weight="bold" stroke-miterlimit="1.45">
-      <text x="-304.5627" xml:space="preserve" y="1168.291" clip-path="url(#clipPath2)" stroke="none">SubtaskResultsVerify</text>
+      <text x="-303.2458" xml:space="preserve" y="1158.4143" clip-path="url(#clipPath2)" stroke="none">SubtaskResultsVerify</text>
     </g>
-    <g text-rendering="geometricPrecision" stroke-miterlimit="1.45" shape-rendering="geometricPrecision" transform="matrix(1,0,0,1,449,-390)" stroke-linecap="butt">
+    <g font-size="8px" stroke-linecap="butt" transform="matrix(1,0,0,1,449,-390)" text-rendering="geometricPrecision" font-family="monospace" shape-rendering="geometricPrecision" stroke-miterlimit="1.45">
+      <text x="-328.3047" xml:space="preserve" y="1171.739" clip-path="url(#clipPath2)" stroke="none">rejection &lt; t &lt;= rejection + AVCT</text>
       <path fill="none" d="M99.2645 1083.7737 L99.2645 1126.9911" clip-path="url(#clipPath2)"/>
-      <path d="M99.2645 1134.9911 L104.2645 1122.9911 L99.2645 1125.9911 L94.2645 1122.9911 Z" clip-path="url(#clipPath2)" stroke="none"/>
+      <path d="M99.2645 1134.9911 L104.2645 1122.9911 L99.2645 1125.9911 L94.2645 1122.9911 Z" stroke="none" clip-path="url(#clipPath2)"/>
     </g>
     <g stroke-linecap="butt" font-size="10px" transform="matrix(1,0,0,1,449,-390)" fill="rgb(255,153,51)" text-rendering="geometricPrecision" font-family="'Arial'" shape-rendering="geometricPrecision" stroke="rgb(255,153,51)" font-weight="bold" stroke-miterlimit="1.45">
       <text x="-17.8242" xml:space="preserve" y="1110.7692" clip-path="url(#clipPath2)" stroke="none">SubtaskResultsVerify</text>
     </g>
-    <g text-rendering="geometricPrecision" stroke-miterlimit="1.45" shape-rendering="geometricPrecision" transform="matrix(1,0,0,1,449,-390)" stroke-linecap="butt">
+    <g font-size="8px" stroke-linecap="butt" transform="matrix(1,0,0,1,449,-390)" text-rendering="geometricPrecision" font-family="monospace" shape-rendering="geometricPrecision" stroke-miterlimit="1.45">
+      <text x="-18.4369" xml:space="preserve" y="1124.1385" clip-path="url(#clipPath2)" stroke="none">t &lt;= rejection + AVCT</text>
       <path fill="none" d="M32.7629 568.4037 L-123.7684 568.4037 L-123.7684 683.6212 M-123.7684 693.6212 L-123.7684 911.8334 M-123.7684 921.8334 L-123.7684 1156.1581 L29.9665 1156.1581" clip-path="url(#clipPath2)"/>
-      <path d="M37.9665 1156.1581 L25.9665 1151.1581 L28.9665 1156.1581 L25.9665 1161.1581 Z" clip-path="url(#clipPath2)" stroke="none"/>
+      <path d="M37.9665 1156.1581 L25.9665 1151.1581 L28.9665 1156.1581 L25.9665 1161.1581 Z" stroke="none" clip-path="url(#clipPath2)"/>
     </g>
     <g stroke-linecap="butt" font-size="10px" transform="matrix(1,0,0,1,449,-390)" fill="rgb(255,153,51)" text-rendering="geometricPrecision" font-family="'Arial'" shape-rendering="geometricPrecision" stroke="rgb(255,153,51)" font-weight="bold" stroke-miterlimit="1.45">
-      <text x="-102.6528" xml:space="preserve" y="560.2705" clip-path="url(#clipPath2)" stroke="none">SubtaskResultsVerify</text>
+      <text x="-102.6528" xml:space="preserve" y="546.4432" clip-path="url(#clipPath2)" stroke="none">SubtaskResultsVerify</text>
     </g>
-    <g text-rendering="geometricPrecision" stroke-miterlimit="1.45" shape-rendering="geometricPrecision" transform="matrix(1,0,0,1,449,-390)" stroke-linecap="butt">
+    <g font-size="8px" stroke-linecap="butt" transform="matrix(1,0,0,1,449,-390)" text-rendering="geometricPrecision" font-family="monospace" shape-rendering="geometricPrecision" stroke-miterlimit="1.45">
+      <text x="-130.5252" xml:space="preserve" y="559.6097" clip-path="url(#clipPath2)" stroke="none">rejection &lt; t &lt;= rejection + AVCT</text>
       <path fill="none" d="M32.7643 808.8387 L-123.7684 808.8387 L-123.7684 911.8334 M-123.7684 921.8334 L-123.7684 1156.1581 L29.9211 1156.1581" clip-path="url(#clipPath2)"/>
-      <path d="M37.9211 1156.1581 L25.9211 1151.1581 L28.9211 1156.1581 L25.9211 1161.1581 Z" clip-path="url(#clipPath2)" stroke="none"/>
+      <path d="M37.9211 1156.1581 L25.9211 1151.1581 L28.9211 1156.1581 L25.9211 1161.1581 Z" stroke="none" clip-path="url(#clipPath2)"/>
     </g>
     <g stroke-linecap="butt" font-size="10px" transform="matrix(1,0,0,1,449,-390)" fill="rgb(255,153,51)" text-rendering="geometricPrecision" font-family="'Arial'" shape-rendering="geometricPrecision" stroke="rgb(255,153,51)" font-weight="bold" stroke-miterlimit="1.45">
-      <text x="-101.8528" xml:space="preserve" y="799.9055" clip-path="url(#clipPath2)" stroke="none">SubtaskResultsVerify</text>
+      <text x="-96.5853" xml:space="preserve" y="786.7366" clip-path="url(#clipPath2)" stroke="none">SubtaskResultsVerify</text>
     </g>
-    <g text-rendering="geometricPrecision" stroke-miterlimit="1.45" shape-rendering="geometricPrecision" transform="matrix(1,0,0,1,449,-390)" stroke-linecap="butt">
+    <g font-size="8px" stroke-linecap="butt" transform="matrix(1,0,0,1,449,-390)" text-rendering="geometricPrecision" font-family="monospace" shape-rendering="geometricPrecision" stroke-miterlimit="1.45">
+      <text x="-123.6558" xml:space="preserve" y="801.0731" clip-path="url(#clipPath2)" stroke="none">rejection &lt; t &lt;= rejection + AVCT</text>
       <path fill="none" d="M38.8296 943.4719 L-123.7684 943.4719 L-123.7684 1156.1581 L29.925 1156.1581" clip-path="url(#clipPath2)"/>
-      <path d="M37.925 1156.1581 L25.925 1151.1581 L28.925 1156.1581 L25.925 1161.1581 Z" clip-path="url(#clipPath2)" stroke="none"/>
+      <path d="M37.925 1156.1581 L25.925 1151.1581 L28.925 1156.1581 L25.925 1161.1581 Z" stroke="none" clip-path="url(#clipPath2)"/>
     </g>
     <g stroke-linecap="butt" font-size="10px" transform="matrix(1,0,0,1,449,-390)" fill="rgb(255,153,51)" text-rendering="geometricPrecision" font-family="'Arial'" shape-rendering="geometricPrecision" stroke="rgb(255,153,51)" font-weight="bold" stroke-miterlimit="1.45">
-      <text x="-106.3771" xml:space="preserve" y="962.5388" clip-path="url(#clipPath2)" stroke="none">SubtaskResultsVerify</text>
+      <text x="-97.1589" xml:space="preserve" y="961.8803" clip-path="url(#clipPath2)" stroke="none">SubtaskResultsVerify</text>
+    </g>
+    <g font-size="8px" stroke-linecap="butt" transform="matrix(1,0,0,1,449,-390)" text-rendering="geometricPrecision" font-family="monospace" shape-rendering="geometricPrecision" stroke-miterlimit="1.45">
+      <text x="-120.6486" xml:space="preserve" y="974.843" clip-path="url(#clipPath2)" stroke="none">rejection &lt; t &lt;= rejection + AVCT</text>
     </g>
     <g stroke-linecap="butt" transform="matrix(1,0,0,1,449,-390)" fill="rgb(204,51,0)" text-rendering="geometricPrecision" shape-rendering="geometricPrecision" stroke="rgb(204,51,0)" stroke-width="2" stroke-miterlimit="1.45">
       <path fill="none" d="M165.7475 448.1862 L586.4017 448.1862 L586.4017 1364.7485" clip-path="url(#clipPath2)"/>