From 14f05ca2244fadbf8ee2e1506acd6151c2300993 Mon Sep 17 00:00:00 2001
From: Kaushik Narayan R <rknarayan02@gmail.com>
Date: Fri, 30 May 2025 01:48:31 -0700
Subject: [PATCH] limit execution to single iterations for finite state space

---
 tcp-rkn-copy.PNPRO | 368 +++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 356 insertions(+), 12 deletions(-)

diff --git a/tcp-rkn-copy.PNPRO b/tcp-rkn-copy.PNPRO
index efb2428..3b13fe4 100644
--- a/tcp-rkn-copy.PNPRO
+++ b/tcp-rkn-copy.PNPRO
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!-- This project file has been saved by the New GreatSPN Editor, v.100 --><project name="tcp-rkn-copy" version="121">
-  <gspn name="CONN" zoom="50">
+  <gspn name="CONN" zoom="75">
     <nodes>
       <place label-x="-2.5" label-y="-1.0" magnets="ORTHOGONAL" marking="1" name="CLOSED" x="69.0" y="49.0"/>
       <transition label-x="-2.0" label-y="1.5" magnets="ORTHOGONAL" name="POPEN" nservers-x="0.5" type="EXP" x="69.55" y="54.0"/>
@@ -82,7 +82,7 @@
       <transition magnets="ORTHOGONAL" name="rcv_xRST9" priority="5" type="IMM" x="44.85" y="123.0"/>
       <transition label-x="2.5" label-y="-1.0" magnets="ORTHOGONAL" name="CLOSE5" type="IMM" x="69.85" y="121.0"/>
       <transition label-x="0.5" magnets="ORTHOGONAL" name="rcv_xACK_LAST" priority="2" type="IMM" x="52.85" y="127.0"/>
-      <transition magnets="ORTHOGONAL" name="end" type="IMM" x="52.849999999999994" y="137.0"/>
+      <transition magnets="ORTHOGONAL" name="end" nservers-x="0.5" type="EXP" x="52.55" y="137.0"/>
       <transition magnets="ORTHOGONAL" name="PO_rcv_xSYN" priority="4" priority-x="-2.0" type="IMM" x="97.85" y="82.0"/>
       <transition magnets="ORTHOGONAL" name="AO_rcv_xSYN" priority="4" priority-x="-2.0" type="IMM" x="97.85" y="86.0"/>
       <transition label-x="1.0" magnets="ORTHOGONAL" name="rcv_xSYN3" priority="4" type="IMM" x="33.85" y="95.0"/>
@@ -117,10 +117,13 @@
       <place name="xFIN" x="116.0" y="64.0"/>
       <text-box border-color="#dbdbdb" fill-color="none" height="13.5" name="__textBox1" shadow="true" shape="ROUND_RECTANGLE" text-color="#000000" width="22.0" x="90.0" y="13.25">keep track of POPEN/AOPEN</text-box>
       <text-box border-color="#dbdbdb" fill-color="none" height="27.0" name="__textBox2" shadow="true" shape="ROUND_RECTANGLE" text-color="#000000" width="12.5" x="106.5" y="43.0">one-segment buffer</text-box>
+      <place name="finish" x="60.0" y="17.0"/>
     </nodes>
     <edges>
       <arc head="POPEN" kind="INPUT" tail="CLOSED"/>
-      <arc head="AOPEN" kind="INPUT" tail="CLOSED"/>
+      <arc head="AOPEN" kind="INPUT" mult-k="1.2458007812499998" tail="CLOSED">
+        <point x="63.5" y="50.5"/>
+      </arc>
       <arc head="LISTEN" kind="OUTPUT" tail="POPEN"/>
       <arc head="SYN_SENT" kind="OUTPUT" mult-k="1.36962890625" tail="AOPEN">
         <point x="48.0" y="50.5"/>
@@ -1054,6 +1057,30 @@
       <arc head="_xACK" kind="OUTPUT" tail="xACK_buf"/>
       <arc head="xFIN_buf" kind="INPUT" tail="xFIN"/>
       <arc head="_xFIN" kind="OUTPUT" tail="xFIN_buf"/>
+      <arc head="finish" kind="OUTPUT" tail="AOPEN">
+        <point x="56.0" y="50.0"/>
+        <point x="56.0" y="18.0"/>
+      </arc>
+      <arc head="finish" kind="OUTPUT" tail="POPEN">
+        <point x="92.0" y="55.5"/>
+        <point x="92.0" y="36.0"/>
+        <point x="56.0" y="36.0"/>
+        <point x="56.0" y="18.0"/>
+      </arc>
+      <arc head="AOPEN" kind="INHIBITOR" tail="finish">
+        <point x="63.5" y="18.0"/>
+        <point x="63.5" y="25.5"/>
+        <point x="56.0" y="25.5"/>
+        <point x="56.0" y="49.5"/>
+      </arc>
+      <arc head="POPEN" kind="INHIBITOR" tail="finish">
+        <point x="63.5" y="18.0"/>
+        <point x="63.5" y="25.5"/>
+        <point x="56.0" y="25.5"/>
+        <point x="56.0" y="36.0"/>
+        <point x="92.0" y="36.0"/>
+        <point x="92.0" y="54.5"/>
+      </arc>
     </edges>
   </gspn>
   <gspn name="xCONN" zoom="75">
@@ -1173,10 +1200,13 @@
       <place name="FIN" x="116.0" y="64.0"/>
       <text-box border-color="#dbdbdb" fill-color="none" height="13.5" name="__textBox1" shadow="true" shape="ROUND_RECTANGLE" text-color="#000000" width="22.0" x="90.0" y="13.25">keep track of POPEN/AOPEN</text-box>
       <text-box border-color="#dbdbdb" fill-color="none" height="27.0" name="__textBox2" shadow="true" shape="ROUND_RECTANGLE" text-color="#000000" width="12.5" x="106.75" y="43.0">one-segment buffer</text-box>
+      <place name="xfinish" x="60.0" y="17.0"/>
     </nodes>
     <edges>
       <arc head="xPOPEN" kind="INPUT" tail="xCLOSED"/>
-      <arc head="xAOPEN" kind="INPUT" tail="xCLOSED"/>
+      <arc head="xAOPEN" kind="INPUT" mult-k="1.3256835937499996" tail="xCLOSED">
+        <point x="64.5" y="50.5"/>
+      </arc>
       <arc head="xLISTEN" kind="OUTPUT" tail="xPOPEN"/>
       <arc head="xSYN_SENT" kind="OUTPUT" mult-k="1.40322265625" tail="xAOPEN">
         <point x="48.0" y="50.5"/>
@@ -2110,6 +2140,30 @@
       <arc head="_ACK" kind="OUTPUT" tail="ACK_buf"/>
       <arc head="FIN_buf" kind="INPUT" tail="FIN"/>
       <arc head="_FIN" kind="OUTPUT" tail="FIN_buf"/>
+      <arc head="xfinish" kind="OUTPUT" tail="xAOPEN">
+        <point x="56.0" y="50.0"/>
+        <point x="56.0" y="18.0"/>
+      </arc>
+      <arc head="xfinish" kind="OUTPUT" tail="xPOPEN">
+        <point x="92.0" y="55.5"/>
+        <point x="92.0" y="36.0"/>
+        <point x="56.0" y="36.0"/>
+        <point x="56.0" y="18.0"/>
+      </arc>
+      <arc head="xAOPEN" kind="INHIBITOR" tail="xfinish">
+        <point x="63.5" y="18.0"/>
+        <point x="63.5" y="25.5"/>
+        <point x="56.0" y="25.5"/>
+        <point x="56.0" y="49.5"/>
+      </arc>
+      <arc head="xPOPEN" kind="INHIBITOR" tail="xfinish">
+        <point x="63.5" y="18.0"/>
+        <point x="63.5" y="25.5"/>
+        <point x="56.0" y="25.5"/>
+        <point x="56.0" y="36.0"/>
+        <point x="92.0" y="36.0"/>
+        <point x="92.0" y="54.5"/>
+      </arc>
     </edges>
   </gspn>
   <multinet name="MultiNet" zoom="25">
@@ -2117,14 +2171,294 @@
     <subnet netname="CONN"/>
     <subnet netname="xCONN"/>
   </multinet>
-  <measures gspn-name="MultiNet" log-uuid="ba7c24cc-a4ea-4e91-aa7d-4c6b9f87bc35" name="Measures" simplified-UI="false">
+  <measures gspn-name="MultiNet" log-uuid="3f9e6472-8455-42e9-8cdd-d21ad92aee57" name="Measures" simplified-UI="false">
     <assignments/>
     <rgmedd2/>
     <formulas>
       <formula language="ALL">
         <result-table>
-          <all-measures failure_reason="&lt;not computed&gt;" name="ALL" state="FAIL_COMPUTE">
+          <all-measures name="ALL">
             <bindings/>
+            <mean place="ACK" value="0.0"/>
+            <mean place="AO" value="0.75974"/>
+            <mean place="CLOSED" value="0.993168"/>
+            <mean place="CLOSE_WAIT" value="0.0"/>
+            <mean place="CLOSING" value="0.0"/>
+            <mean place="ESTAB" value="0.0"/>
+            <mean place="FIN" value="0.0"/>
+            <mean place="FIN_WAIT_1" value="0.00278911"/>
+            <mean place="FIN_WAIT_2" value="0.00404313"/>
+            <mean place="FLUSH_TCB" value="0.0"/>
+            <mean place="F_CLOSE" value="0.0"/>
+            <mean place="F_RST" value="0.0"/>
+            <mean place="LAST_ACK" value="0.0"/>
+            <mean place="LISTEN" value="0.0"/>
+            <mean place="RST" value="0.0"/>
+            <mean place="SS_A" value="0.0"/>
+            <mean place="SS_bA" value="0.0"/>
+            <mean place="SYN" value="0.0"/>
+            <mean place="SYN_RCVD" value="0.0"/>
+            <mean place="SYN_SENT" value="0.0"/>
+            <mean place="TIME_WAIT" value="0.0"/>
+            <mean place="_ACK" value="0.00116753"/>
+            <mean place="_FIN" value="0.0"/>
+            <mean place="_RST" value="0.0"/>
+            <mean place="_SYN" value="0.0"/>
+            <mean place="_xACK" value="0.00116753"/>
+            <mean place="_xFIN" value="0.0"/>
+            <mean place="_xRST" value="0.0"/>
+            <mean place="_xSYN" value="0.0"/>
+            <mean place="f_ACK" value="0.0"/>
+            <mean place="f_AO" value="0.0"/>
+            <mean place="f_FIN" value="0.0"/>
+            <mean place="f_RST" value="0.0"/>
+            <mean place="f_SYN" value="0.0"/>
+            <mean place="f_xACK" value="0.0"/>
+            <mean place="f_xFIN" value="0.0"/>
+            <mean place="f_xRST" value="0.0"/>
+            <mean place="f_xSYN" value="0.0"/>
+            <mean place="finish" value="1.0"/>
+            <mean place="xACK" value="0.0"/>
+            <mean place="xAO" value="0.75974"/>
+            <mean place="xCLOSED" value="0.993168"/>
+            <mean place="xCLOSE_WAIT" value="0.0"/>
+            <mean place="xCLOSING" value="0.0"/>
+            <mean place="xESTAB" value="0.0"/>
+            <mean place="xFIN" value="0.0"/>
+            <mean place="xFIN_WAIT_1" value="0.00278911"/>
+            <mean place="xFIN_WAIT_2" value="0.00404313"/>
+            <mean place="xFLUSH_TCB" value="0.0"/>
+            <mean place="xF_CLOSE" value="0.0"/>
+            <mean place="xF_RST" value="0.0"/>
+            <mean place="xLAST_ACK" value="0.0"/>
+            <mean place="xLISTEN" value="0.0"/>
+            <mean place="xRST" value="0.0"/>
+            <mean place="xSS_A" value="0.0"/>
+            <mean place="xSS_bA" value="0.0"/>
+            <mean place="xSYN" value="0.0"/>
+            <mean place="xSYN_RCVD" value="0.0"/>
+            <mean place="xSYN_SENT" value="0.0"/>
+            <mean place="xTIME_WAIT" value="0.0"/>
+            <mean place="xf_AO" value="0.0"/>
+            <mean place="xfinish" value="1.0"/>
+            <throughput transition="ACK_buf" value="0.0"/>
+            <throughput transition="AOPEN" value="0.0"/>
+            <throughput transition="AO_rcv_RST" value="0.0"/>
+            <throughput transition="AO_rcv_SYN" value="0.0"/>
+            <throughput transition="AO_rcv_xRST" value="0.0"/>
+            <throughput transition="AO_rcv_xSYN" value="0.0"/>
+            <throughput transition="CLOSE" value="0.0"/>
+            <throughput transition="CLOSE2" value="0.0"/>
+            <throughput transition="CLOSE3" value="0.0"/>
+            <throughput transition="CLOSE4" value="0.0"/>
+            <throughput transition="CLOSE5" value="0.0"/>
+            <throughput transition="FIN_buf" value="0.0"/>
+            <throughput transition="OPEN" value="0.0"/>
+            <throughput transition="POPEN" value="0.0"/>
+            <throughput transition="PO_rcv_RST" value="0.0"/>
+            <throughput transition="PO_rcv_SYN" value="0.0"/>
+            <throughput transition="PO_rcv_xRST" value="0.0"/>
+            <throughput transition="PO_rcv_xSYN" value="0.0"/>
+            <throughput transition="RST_buf" value="0.0"/>
+            <throughput transition="SEND" value="0.0"/>
+            <throughput transition="SYN_buf" value="0.0"/>
+            <throughput transition="_data_loop" value="0.0"/>
+            <throughput transition="_xdata_loop" value="0.0"/>
+            <throughput transition="bad_ACK" value="0.0"/>
+            <throughput transition="bad_ACK2" value="0.0"/>
+            <throughput transition="bad_xACK" value="0.0"/>
+            <throughput transition="bad_xACK2" value="0.0"/>
+            <throughput transition="empty_ACK" value="0.0"/>
+            <throughput transition="empty_xACK" value="0.0"/>
+            <throughput transition="end" value="0.0"/>
+            <throughput transition="f_c" value="0.0"/>
+            <throughput transition="f_r" value="0.0"/>
+            <throughput transition="flush_flags" value="0.0"/>
+            <throughput transition="has_RST" value="0.0"/>
+            <throughput transition="has_xRST" value="0.0"/>
+            <throughput transition="limiter" value="0.0"/>
+            <throughput transition="no_RST" value="0.0"/>
+            <throughput transition="no_xRST" value="0.0"/>
+            <throughput transition="rcv_ACK" value="0.0"/>
+            <throughput transition="rcv_ACK2" value="0.0"/>
+            <throughput transition="rcv_ACK3" value="0.0"/>
+            <throughput transition="rcv_ACK_FIN" value="0.0"/>
+            <throughput transition="rcv_ACK_FIN2" value="0.0"/>
+            <throughput transition="rcv_ACK_LAST" value="0.0"/>
+            <throughput transition="rcv_CA" value="0.0"/>
+            <throughput transition="rcv_CF" value="0.0"/>
+            <throughput transition="rcv_CS" value="0.0"/>
+            <throughput transition="rcv_FIN" value="0.0"/>
+            <throughput transition="rcv_FIN10" value="0.0"/>
+            <throughput transition="rcv_FIN2" value="0.0"/>
+            <throughput transition="rcv_FIN3" value="0.0"/>
+            <throughput transition="rcv_FIN4" value="0.0"/>
+            <throughput transition="rcv_FIN5" value="0.0"/>
+            <throughput transition="rcv_FIN6" value="0.0"/>
+            <throughput transition="rcv_FIN7" value="0.0"/>
+            <throughput transition="rcv_FIN8" value="0.0"/>
+            <throughput transition="rcv_FIN9" value="0.0"/>
+            <throughput transition="rcv_FINACK" value="0.0"/>
+            <throughput transition="rcv_RST" value="0.0"/>
+            <throughput transition="rcv_RST10" value="0.0"/>
+            <throughput transition="rcv_RST2" value="0.0"/>
+            <throughput transition="rcv_RST3" value="0.0"/>
+            <throughput transition="rcv_RST4" value="0.0"/>
+            <throughput transition="rcv_RST5" value="0.0"/>
+            <throughput transition="rcv_RST6" value="0.0"/>
+            <throughput transition="rcv_RST7" value="0.0"/>
+            <throughput transition="rcv_RST8" value="0.0"/>
+            <throughput transition="rcv_RST9" value="0.0"/>
+            <throughput transition="rcv_SYN" value="0.0"/>
+            <throughput transition="rcv_SYN2" value="0.0"/>
+            <throughput transition="rcv_SYN3" value="0.0"/>
+            <throughput transition="rcv_SYN4" value="0.0"/>
+            <throughput transition="rcv_SYN5" value="0.0"/>
+            <throughput transition="rcv_SYN6" value="0.0"/>
+            <throughput transition="rcv_SYN7" value="0.0"/>
+            <throughput transition="rcv_SYN8" value="0.0"/>
+            <throughput transition="rcv_SYN9" value="0.0"/>
+            <throughput transition="rcv_SYNACK" value="0.0"/>
+            <throughput transition="rcv_xACK" value="0.0"/>
+            <throughput transition="rcv_xACK2" value="0.0"/>
+            <throughput transition="rcv_xACK3" value="0.0"/>
+            <throughput transition="rcv_xACK_FIN" value="0.0"/>
+            <throughput transition="rcv_xACK_FIN2" value="0.0"/>
+            <throughput transition="rcv_xACK_LAST" value="0.0"/>
+            <throughput transition="rcv_xCA" value="0.0"/>
+            <throughput transition="rcv_xCF" value="0.0"/>
+            <throughput transition="rcv_xCS" value="0.0"/>
+            <throughput transition="rcv_xFIN" value="0.0"/>
+            <throughput transition="rcv_xFIN10" value="0.0"/>
+            <throughput transition="rcv_xFIN2" value="0.0"/>
+            <throughput transition="rcv_xFIN3" value="0.0"/>
+            <throughput transition="rcv_xFIN4" value="0.0"/>
+            <throughput transition="rcv_xFIN5" value="0.0"/>
+            <throughput transition="rcv_xFIN6" value="0.0"/>
+            <throughput transition="rcv_xFIN7" value="0.0"/>
+            <throughput transition="rcv_xFIN8" value="0.0"/>
+            <throughput transition="rcv_xFIN9" value="0.0"/>
+            <throughput transition="rcv_xFINACK" value="0.0"/>
+            <throughput transition="rcv_xRST" value="0.0"/>
+            <throughput transition="rcv_xRST10" value="0.0"/>
+            <throughput transition="rcv_xRST2" value="0.0"/>
+            <throughput transition="rcv_xRST3" value="0.0"/>
+            <throughput transition="rcv_xRST4" value="0.0"/>
+            <throughput transition="rcv_xRST5" value="0.0"/>
+            <throughput transition="rcv_xRST6" value="0.0"/>
+            <throughput transition="rcv_xRST7" value="0.0"/>
+            <throughput transition="rcv_xRST8" value="0.0"/>
+            <throughput transition="rcv_xRST9" value="0.0"/>
+            <throughput transition="rcv_xSYN" value="0.0"/>
+            <throughput transition="rcv_xSYN2" value="0.0"/>
+            <throughput transition="rcv_xSYN3" value="0.0"/>
+            <throughput transition="rcv_xSYN4" value="0.0"/>
+            <throughput transition="rcv_xSYN5" value="0.0"/>
+            <throughput transition="rcv_xSYN6" value="0.0"/>
+            <throughput transition="rcv_xSYN7" value="0.0"/>
+            <throughput transition="rcv_xSYN8" value="0.0"/>
+            <throughput transition="rcv_xSYN9" value="0.0"/>
+            <throughput transition="rcv_xSYNACK" value="0.0"/>
+            <throughput transition="t0" value="0.0"/>
+            <throughput transition="t1" value="0.0"/>
+            <throughput transition="t2" value="0.0"/>
+            <throughput transition="t3" value="0.0"/>
+            <throughput transition="t4" value="0.0"/>
+            <throughput transition="t5" value="0.0"/>
+            <throughput transition="t6" value="0.0"/>
+            <throughput transition="t7" value="0.0"/>
+            <throughput transition="t8" value="0.0"/>
+            <throughput transition="t9" value="0.0"/>
+            <throughput transition="xACK_buf" value="0.0"/>
+            <throughput transition="xAOPEN" value="0.0"/>
+            <throughput transition="xCLOSE" value="0.0"/>
+            <throughput transition="xCLOSE2" value="0.0"/>
+            <throughput transition="xCLOSE3" value="0.0"/>
+            <throughput transition="xCLOSE4" value="0.0"/>
+            <throughput transition="xCLOSE5" value="0.0"/>
+            <throughput transition="xFIN_buf" value="0.0"/>
+            <throughput transition="xOPEN" value="0.0"/>
+            <throughput transition="xPOPEN" value="0.0"/>
+            <throughput transition="xRST_buf" value="0.0"/>
+            <throughput transition="xSEND" value="0.0"/>
+            <throughput transition="xSYN_buf" value="0.0"/>
+            <throughput transition="xend" value="0.0"/>
+            <throughput transition="xf_c" value="0.0"/>
+            <throughput transition="xf_r" value="0.0"/>
+            <throughput transition="xflush_flags" value="0.0"/>
+            <throughput transition="xlimiter" value="0.0"/>
+            <throughput transition="xt0" value="0.0"/>
+            <throughput transition="xt1" value="0.0"/>
+            <throughput transition="xt2" value="0.0"/>
+            <throughput transition="xt3" value="0.0"/>
+            <throughput transition="xt4" value="0.0"/>
+            <throughput transition="xt5" value="0.0"/>
+            <throughput transition="xt6" value="0.0"/>
+            <throughput transition="xt7" value="0.0"/>
+            <throughput transition="xt8" value="0.0"/>
+            <throughput transition="xt9" value="0.0"/>
+            <distrib place="ACK" values="3 = 1.0 0.0 0.0 "/>
+            <distrib place="AO" values="2 = 0.24026 0.75974 "/>
+            <distrib place="CLOSED" values="2 = 0.00683224 0.993168 "/>
+            <distrib place="CLOSE_WAIT" values="1 = 1.0 "/>
+            <distrib place="CLOSING" values="2 = 1.0 0.0 "/>
+            <distrib place="ESTAB" values="2 = 1.0 0.0 "/>
+            <distrib place="FIN" values="2 = 1.0 0.0 "/>
+            <distrib place="FIN_WAIT_1" values="2 = 0.997211 0.00278911 "/>
+            <distrib place="FIN_WAIT_2" values="2 = 0.995957 0.00404313 "/>
+            <distrib place="FLUSH_TCB" values="1 = 1.0 "/>
+            <distrib place="F_CLOSE" values="1 = 1.0 "/>
+            <distrib place="F_RST" values="1 = 1.0 "/>
+            <distrib place="LAST_ACK" values="2 = 1.0 0.0 "/>
+            <distrib place="LISTEN" values="2 = 1.0 0.0 "/>
+            <distrib place="RST" values="4 = 1.0 0.0 0.0 0.0 "/>
+            <distrib place="SS_A" values="2 = 1.0 0.0 "/>
+            <distrib place="SS_bA" values="1 = 1.0 "/>
+            <distrib place="SYN" values="3 = 1.0 0.0 0.0 "/>
+            <distrib place="SYN_RCVD" values="2 = 1.0 0.0 "/>
+            <distrib place="SYN_SENT" values="2 = 1.0 0.0 "/>
+            <distrib place="TIME_WAIT" values="2 = 1.0 0.0 "/>
+            <distrib place="_ACK" values="2 = 0.998832 0.00116753 "/>
+            <distrib place="_FIN" values="2 = 1.0 0.0 "/>
+            <distrib place="_RST" values="2 = 1.0 0.0 "/>
+            <distrib place="_SYN" values="2 = 1.0 0.0 "/>
+            <distrib place="_xACK" values="2 = 0.998832 0.00116753 "/>
+            <distrib place="_xFIN" values="2 = 1.0 0.0 "/>
+            <distrib place="_xRST" values="2 = 1.0 0.0 "/>
+            <distrib place="_xSYN" values="2 = 1.0 0.0 "/>
+            <distrib place="f_ACK" values="1 = 1.0 "/>
+            <distrib place="f_AO" values="1 = 1.0 "/>
+            <distrib place="f_FIN" values="1 = 1.0 "/>
+            <distrib place="f_RST" values="1 = 1.0 "/>
+            <distrib place="f_SYN" values="1 = 1.0 "/>
+            <distrib place="f_xACK" values="1 = 1.0 "/>
+            <distrib place="f_xFIN" values="1 = 1.0 "/>
+            <distrib place="f_xRST" values="1 = 1.0 "/>
+            <distrib place="f_xSYN" values="1 = 1.0 "/>
+            <distrib place="finish" values="2 = 0.0 1.0 "/>
+            <distrib place="xACK" values="3 = 1.0 0.0 0.0 "/>
+            <distrib place="xAO" values="2 = 0.24026 0.75974 "/>
+            <distrib place="xCLOSED" values="2 = 0.00683224 0.993168 "/>
+            <distrib place="xCLOSE_WAIT" values="1 = 1.0 "/>
+            <distrib place="xCLOSING" values="2 = 1.0 0.0 "/>
+            <distrib place="xESTAB" values="2 = 1.0 0.0 "/>
+            <distrib place="xFIN" values="2 = 1.0 0.0 "/>
+            <distrib place="xFIN_WAIT_1" values="2 = 0.997211 0.00278911 "/>
+            <distrib place="xFIN_WAIT_2" values="2 = 0.995957 0.00404313 "/>
+            <distrib place="xFLUSH_TCB" values="1 = 1.0 "/>
+            <distrib place="xF_CLOSE" values="1 = 1.0 "/>
+            <distrib place="xF_RST" values="1 = 1.0 "/>
+            <distrib place="xLAST_ACK" values="2 = 1.0 0.0 "/>
+            <distrib place="xLISTEN" values="2 = 1.0 0.0 "/>
+            <distrib place="xRST" values="4 = 1.0 0.0 0.0 0.0 "/>
+            <distrib place="xSS_A" values="2 = 1.0 0.0 "/>
+            <distrib place="xSS_bA" values="1 = 1.0 "/>
+            <distrib place="xSYN" values="3 = 1.0 0.0 0.0 "/>
+            <distrib place="xSYN_RCVD" values="2 = 1.0 0.0 "/>
+            <distrib place="xSYN_SENT" values="2 = 1.0 0.0 "/>
+            <distrib place="xTIME_WAIT" values="2 = 1.0 0.0 "/>
+            <distrib place="xf_AO" values="1 = 1.0 "/>
+            <distrib place="xfinish" values="2 = 0.0 1.0 "/>
           </all-measures>
         </result-table>
       </formula>
@@ -2132,16 +2466,19 @@
         <result-table>
           <stat-result name="STAT">
             <bindings/>
-            <stat key="build_time" value="3.907 seconds."/>
-            <stat key="num_rs_nodes" value="0"/>
-            <stat key="num_tangible_markings" value="inf"/>
-            <stat key="total_firings" value="inf"/>
+            <stat key="build_time" value="[User 0.203s, Sys 0.016s]"/>
+            <stat key="immediate_firings" value="44298"/>
+            <stat key="num_tangible_markings" value="1967"/>
+            <stat key="num_vanishing_markings" value="0"/>
+            <stat key="rg_class" value="CONTINUOS TIME MARKOV CHAIN"/>
+            <stat key="timed_firings" value="4730"/>
+            <stat key="visited_vanishing_markings" value="23796"/>
           </stat-result>
         </result-table>
       </formula>
       <formula language="INC">
         <result-table>
-          <pdf-result name="INC">
+          <pdf-result filename="C:\Kaushik\ASU\CSE 593 - Applied Project\tcp-petri-net\tcp-rkn-copy-Measures.solution\MultiNet-INC-0.pdf" name="INC">
             <bindings/>
           </pdf-result>
         </result-table>
@@ -2153,9 +2490,16 @@
           </mc-result>
         </result-table>
       </formula>
+      <formula language="TRG">
+        <result-table>
+          <pdf-result filename="C:\Kaushik\ASU\CSE 593 - Applied Project\tcp-petri-net\tcp-rkn-copy-Measures.solution\MultiNet-TRG-0.pdf" name="TRG">
+            <bindings/>
+          </pdf-result>
+        </result-table>
+      </formula>
     </formulas>
   </measures>
   <resource-list>
-    <document-log uuid="ba7c24cc-a4ea-4e91-aa7d-4c6b9f87bc35">rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAARx0ANwbWzBtRVhFQzogIkM6XEthdXNoaWtcUHJvZHVjdGl2aXR5XEdyZWF0U1BOXGFwcFxwb3J0YWJsZV9ncmVhdHNwblxiaW5cRFNQTi1Ub29sLmV4ZSIgLWxvYWQgIkM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQiIC1wYmFzaXMgLWRldGVjdC1leHAgLXBzZmwgLWJuZCAKdACQG1sxbRtbNG1MT0FESU5HIFBFVFJJIE5FVCBDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRcdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0IChuZXQvZGVmKS4uLhtbMjJtG1syNG0KdAAPTUFSS0lORyBQQVI6IDAKdAAQUExBQ0VTOiAgICAgIDYwCnQAD1JBVEUgUEFSOiAgICAwCnQAEVRSQU5TSVRJT05TOiAxNTYKdAAPTUVBU1VSRVM6ICAgIDAKdAAoTE9BRElORyBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQAAQp0AAEKdAAeQ09NUFVUSU5HIFBMQUNFIEZMT1cgQkFTSVMuLi4KdAATTT0xNTYsIE49NjAsIE4wPTYwCnQAT0NvbXB1dGF0aW9uIG9mIEZsb3cgYmFzaXM6IGNvbXBsZXRlZCBpbiA1OCBzdGVwcywgfEt8PTIuICAgICAgICAgICAgICAgICAgICAgIAp0AClGT1VORCAyIFZFQ1RPUlMgSU4gVEhFIFBMQUNFIEZMT1cgQkFTSVMuCnQAAQp0AAEKdAAvVGhlcmUgYXJlIDMwIHBsYWNlcyBub3QgY292ZXJlZCBieSBhbnkgUC1mbG93Ogp0AAEKdAAmVE9UQUwgVElNRTogW1VzZXIgMC4wMDBzLCBTeXMgMC4wMDBzXQp0ACdBVk9JRCBFWFBPTkVOVElBTCBHUk9XVEggT0YgU0VNSUZMT1dTLgp0AB1DT01QVVRJTkcgUExBQ0UgU0VNSUZMT1dTLi4uCnQAE009MTU2LCBOPTYwLCBOMD02MAp0AE1HZW5lcmF0aW9uIG9mIFNlbWlmbG93czogY29tcGxldGVkIGluIDQ2IHN0ZXBzLCB8S3w9Mi4gICAgICAgICAgICAgICAgICAgICAgCnQAGUZPVU5EIDIgUExBQ0UgU0VNSUZMT1dTLgp0AAEKdAABCnQAM1RoZXJlIGFyZSAzMCBwbGFjZXMgbm90IGNvdmVyZWQgYnkgYW55IFAtc2VtaWZsb3c6CnQAAQp0ACZUT1RBTCBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQALENPTVBVVElORyBQTEFDRSBCT1VORFMgRlJPTSBQLVNFTUlGTE9XUyAuLi4KdABOG1sxbRtbMzFtV0FSTklORzogG1syMm0bWzBtUEVUUkkgTkVUIEhBUyBJTkhJQklUT1IgQVJDUyBUSEFUIFdJTEwgQkUgSUdOT1JFRC4KdABOG1sxbRtbMzFtV0FSTklORzogG1syMm0bWzBtUEVUUkkgTkVUIEhBUyBJTkhJQklUT1IgQVJDUyBUSEFUIFdJTEwgQkUgSUdOT1JFRC4KdAAnG1swWBtbMzJtIFBST0NFU1MgRVhJVEVEIE5PUk1BTExZLhtbMG0KdADbG1swbUVYRUM6ICJDOlxLYXVzaGlrXFByb2R1Y3Rpdml0eVxHcmVhdFNQTlxhcHBccG9ydGFibGVfZ3JlYXRzcG5cYmluXERTUE4tVG9vbC5leGUiIC1sb2FkICJDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRcdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0IiAtbG9hZC1ibmQgLXRpbWVvdXQgNSAtaWxwLWJuZCAKdACQG1sxbRtbNG1MT0FESU5HIFBFVFJJIE5FVCBDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRcdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0IChuZXQvZGVmKS4uLhtbMjJtG1syNG0KdAAPTUFSS0lORyBQQVI6IDAKdAAQUExBQ0VTOiAgICAgIDYwCnQAD1JBVEUgUEFSOiAgICAwCnQAEVRSQU5TSVRJT05TOiAxNTYKdAAPTUVBU1VSRVM6ICAgIDAKdAAoTE9BRElORyBUSU1FOiBbVXNlciAwLjAwMHMsIFN5cyAwLjAwMHNdCnQAAQp0AAEKdAAVTE9BRElORyBCTkQgRklMRSAuLi4KdAAgU2NoZWR1bGVkIHRpbWVvdXQgb2YgNSBzZWNvbmRzLgp0ACVDT01QVVRJTkcgUExBQ0UgQk9VTkRTIFVTSU5HIElMUCAuLi4KdAAiSW5oaWJpdG9yIGFyY3MgaGF2ZSBiZWVuIGlnbm9yZWQuCnQAH1RoZXJlIGFyZSAzMCB1bmJvdW5kZWQgcGxhY2VzLgpxAH4AInQAvhtbMG1FWEVDOiAiQzpcS2F1c2hpa1xQcm9kdWN0aXZpdHlcR3JlYXRTUE5cYXBwXHBvcnRhYmxlX2dyZWF0c3BuXGJpblxSR01FREQzLmV4ZSIgIkM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQiIC1NRVRBIC1DIAp0AB9SYW5kb20gc2VlZHM6IDE3NDg1ODgzNDcgMzAyNjIKdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0ABFHcmVhdFNQTi9NZWRkbHkuCnQAOCAgQ29weXJpZ2h0IChDKSAxOTg3LTIwMTgsIFVuaXZlcnNpdHkgb2YgVG9yaW5vLCBJdGFseS4KdAAxICBTZW5kIGZpbGVzIG5ldG5hbWUubmV0LCAuZGVmIHRvIGUtbWFpbCBhZGRyZXNzCnQAKyAgYmVjY3V0aUBkaS51bml0by5pdCBpZiB5b3UgZmluZCBhbnkgYnVnLgp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAH0Jhc2VkIG9uIE1FRERMWSB2ZXJzaW9uIDAuMTcuMQp0AEYgIENvcHlyaWdodCAoQykgMjAwOSwgSW93YSBTdGF0ZSBVbml2ZXJzaXR5IFJlc2VhcmNoIEZvdW5kYXRpb24sIEluYy4KdAAtICB3ZWJzaXRlOiBodHRwczovL2FzbWluZXIuZ2l0aHViLmlvL21lZGRseS8KdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQp0AClVc2luZyBwZXItZXZlbnQgc2F0dXJhdGlvbiAoc2F0LXByZWdlbikuCnQAG1VzaW5nIGZhc3QgTlNGIGdlbmVyYXRpb24uCnQAEVByb2Nlc3MgSUQ6IDE2MTQKdABrTU9ERUwgTkFNRTogQzpcS2F1c2hpa1xBU1VcQ1NFIDU5MyAtIEFwcGxpZWQgUHJvamVjdFx0Y3AtcGV0cmktbmV0XHRjcC1ya24tY29weS1NZWFzdXJlcy5zb2x1dGlvblxNdWx0aU5ldAp0AB4gIDYwIHBsYWNlcywgMTU2IHRyYW5zaXRpb25zLgp0ACVVc2VkIE1lbW9yeSBmb3IgZW5jb2RpbmcgbmV0OiA4ODY0S0IKdAB1T3BlbmluZyBmaWxlOiBDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRcdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0LmJuZCBPSy4KdAB4T3BlbmluZyBmaWxlOiBDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRcdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0LmlscGJuZCBPSy4KdAAcRW5hYmxpbmcgY292ZXJhYmlsaXR5IHRlc3QuCnQAEUlOUFVUIEFSQ1M6ICAyMzYKdAART1VUUFVUIEFSQ1M6IDIwOAp0AA9JTkhJQiBBUkNTOiAgOAp0ABBURVNUIEFSQ1M6ICAgMzAKdAAQUExBQ0VTOiAgICAgIDYwCnQAEVRSQU5TSVRJT05TOiAxNTYKdAAPSU5WQVJJQU5UUzogIDIKdAAPUC1TRU1JRkxPV1M6IDIKdAAWTUFYIElOVkFSSUFOVCBDQVJEOiAxCnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09IFZBUklBQkxFIE9SREVSID09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAPFZhcmlhYmxlIG9yZGVyIG1ldGhvZDogTWV0YS1oZXVyaXN0aWMgdXNpbmcgd2VpZ2h0ZWQgc2NvcmUuCnQAGU51bWJlciBvZiBjb21wb25lbnRzOiAxMwp0AFEgIE1FVEhPRCAgICAgICAgICAgICAgU0NPUkUgICAgICAgIFNXSVIgICAgICAgU09VUFMgRElTQ09VTlQgIFdFSUdIVCAgICAgICBUSU1FIAp0AFUgIFNMTyAgICAgICAgICAgICAgIDE2NTYuMDcgICAgICAgIDE0NzYgICAgICAgIDE0NzYgICAgICAgIDEgICAxLjEyMiAgICAgICAgICAwIHNlYy4KdABVICBTTE8rRm9yY2UgICAgICAgICAxMTAxLjc2ICAgICAgICAxMjUyICAgICAgICAxMjUyICAgICAgICAxICAgIDAuODggICAgICAgICAgMCBzZWMuCnQAVSAgU0xPLTE2ICAgICAgICAgICAgMTE3Ny44NSAgICAgICAgMTQ3NiAgICAgICAgMTQ3NiAgICAgICAgMSAgIDAuNzk4ICAgICAgICAgIDAgc2VjLgp0AFUgIFNMTy0xNitGb3JjZSAgICAgIDExNDAuNTcgICAgICAgIDEyNTIgICAgICAgIDEyNTIgICAgICAgIDEgICAwLjkxMSAgICAgICAgICAwIHNlYy4KdABVICBUT1YyICAgICAgICAgICAgICAxMjQxLjY5ICAgICAgICAxMzY2ICAgICAgICAxMzY2ICAgICAgICAxICAgMC45MDkgICAgICAgICAgMCBzZWMuCnQAVSAgVE9WMitGb3JjZSAgICAgICAgMTU0My42MSAgICAgICAgMTMzMyAgICAgICAgMTMzMyAgICAgICAgMSAgIDEuMTU4ICAgICAgICAgIDAgc2VjLgp0AFUgIE5PQUNLMiAgICAgICAgICAgIDE1NDguMzQgICAgICAgIDEzNjkgICAgICAgIDEzNjkgICAgICAgIDEgICAxLjEzMSAgICAgICAgICAwIHNlYy4KdABVICBOT0FDSzIrRm9yY2UgICAgICAgMTUzMy43ICAgICAgICAxNTY1ICAgICAgICAxNTY1ICAgICAgICAxICAgIDAuOTggICAgICAgICAgMCBzZWMuCnQAVSAgQUNNICAgICAgICAgICAgICAgMTM3Mi45NCAgICAgICAgMTM1OCAgICAgICAgMTM1OCAgICAgICAgMSAgIDEuMDExICAgICAgICAgIDAgc2VjLgp0AFUgIEFDTStGb3JjZSAgICAgICAgIDE1MDYuNzYgICAgICAgIDExNzkgICAgICAgIDExNzkgICAgICAgIDEgICAxLjI3OCAgICAgICAgICAwIHNlYy4KdABVICBDTTIgICAgICAgICAgICAgICAyMDAxLjc1ICAgICAgICAxNTcwICAgICAgICAxNTcwICAgICAgICAxICAgMS4yNzUgICAgICAgICAgMCBzZWMuCnQAVSAgQ00yK0ZvcmNlICAgICAgICAgMTQzOC41OSAgICAgICAgMTMwOSAgICAgICAgMTMwOSAgICAgICAgMSAgIDEuMDk5ICAgICAgICAgIDAgc2VjLgp0AFUgIFAgICAgICAgICAgICAgICAgIDMzMjEuMTMgICAgICAgIDMxNjYgICAgICAgIDMxNjYgICAgICAgIDEgICAxLjA0OSAgICAgICAgICAwIHNlYy4KdABVICBHUCAgICAgICAgICAgICAgICAgMzY5MC4yICAgICAgICAzMTczICAgICAgICAzMTczICAgICAgICAxICAgMS4xNjMgICAgICAgICAgMCBzZWMuCnQAVSAgR1ArRm9yY2UgICAgICAgICAgMjA5MS4zOCAgICAgICAgMTg1OSAgICAgICAgMTg1OSAgICAgICAgMSAgIDEuMTI1ICAgICAgICAgIDAgc2VjLgp0AFUgIFRTICAgICAgICAgICAgICAgIDE2MDEuMjQgICAgICAgIDIzNDEgICAgICAgIDIzNDEgICAgICAgIDEgICAwLjY4NCAgICAgICAgICAwIHNlYy4KdABVICBUUytGb3JjZSAgICAgICAgICAxMDI4Ljg2ICAgICAgICAxMzA0ICAgICAgICAxMzA0ICAgICAgICAxICAgMC43ODkgICAgICAgICAgMCBzZWMuCnQAPk1ldGEtaGV1cmlzdGljOiBzZWxlY3RpbmcgbWV0aG9kIFRTK0ZvcmNlIHdpdGggc2NvcmU6IDEwMjguODYKdAAmVGltZSB0byBjb21wdXRlIHZhcmlhYmxlIG9yZGVyOiAwLjAxNQp0AAEKdABQPT09PT09PT09PT09PT09PT09PT09PT09PSBTVEFSVCBGSVJJTkcgUlVMRVMgRU5DT0RJTkcgPT09PT09PT09PT09PT09PT09PT09PT09PQp0ADQJRW5jb2RpbmcgdHJhbnNpdGlvbiB0MiAoMS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDcKdAA0CUVuY29kaW5nIHRyYW5zaXRpb24gdDQgKDIvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA3CnQANAlFbmNvZGluZyB0cmFuc2l0aW9uIHQ2ICgzLzE1NiksIHByaW9yaXR5IGdyb3VwID0gNwp0AD0JRW5jb2RpbmcgdHJhbnNpdGlvbiBmbHVzaF9mbGFncyAoNC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDcKdAA0CUVuY29kaW5nIHRyYW5zaXRpb24gdDAgKDUvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA3CnQANQlFbmNvZGluZyB0cmFuc2l0aW9uIHh0MiAoNi8xNTYpLCBwcmlvcml0eSBncm91cCA9IDcKdAA1CUVuY29kaW5nIHRyYW5zaXRpb24geHQ0ICg3LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNwp0ADUJRW5jb2RpbmcgdHJhbnNpdGlvbiB4dDYgKDgvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA3CnQAPglFbmNvZGluZyB0cmFuc2l0aW9uIHhmbHVzaF9mbGFncyAoOS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDcKdAA2CUVuY29kaW5nIHRyYW5zaXRpb24geHQwICgxMC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDcKdAA1CUVuY29kaW5nIHRyYW5zaXRpb24gdDcgKDExLzE1NiksIHByaW9yaXR5IGdyb3VwID0gNgp0ADUJRW5jb2RpbmcgdHJhbnNpdGlvbiB0NSAoMTIvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA2CnQANQlFbmNvZGluZyB0cmFuc2l0aW9uIHQzICgxMy8xNTYpLCBwcmlvcml0eSBncm91cCA9IDYKdAA1CUVuY29kaW5nIHRyYW5zaXRpb24gdDEgKDE0LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNgp0ADYJRW5jb2RpbmcgdHJhbnNpdGlvbiB4dDcgKDE1LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNgp0ADYJRW5jb2RpbmcgdHJhbnNpdGlvbiB4dDUgKDE2LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNgp0ADYJRW5jb2RpbmcgdHJhbnNpdGlvbiB4dDMgKDE3LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNgp0ADYJRW5jb2RpbmcgdHJhbnNpdGlvbiB4dDEgKDE4LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNgp0AD4JRW5jb2RpbmcgdHJhbnNpdGlvbiBQT19yY3ZfeFJTVCAoMTkvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA1CnQAPglFbmNvZGluZyB0cmFuc2l0aW9uIEFPX3Jjdl94UlNUICgyMC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDUKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hSU1Q0ICgyMS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDUKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hSU1Q1ICgyMi8xNTYpLCBwcmlvcml0eSBncm91cCA9IDUKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hSU1Q2ICgyMy8xNTYpLCBwcmlvcml0eSBncm91cCA9IDUKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hSU1Q3ICgyNC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDUKdAA9CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hSU1QxMCAoMjUvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA1CnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94UlNUOCAoMjYvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA1CnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94UlNUOSAoMjcvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA1CnQAPQlFbmNvZGluZyB0cmFuc2l0aW9uIFBPX3Jjdl9SU1QgKDI4LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNQp0AD0JRW5jb2RpbmcgdHJhbnNpdGlvbiBBT19yY3ZfUlNUICgyOS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDUKdAA7CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X1JTVDQgKDMwLzE1NiksIHByaW9yaXR5IGdyb3VwID0gNQp0ADsJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfUlNUNSAoMzEvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA1CnQAOwlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9SU1Q2ICgzMi8xNTYpLCBwcmlvcml0eSBncm91cCA9IDUKdAA7CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X1JTVDcgKDMzLzE1NiksIHByaW9yaXR5IGdyb3VwID0gNQp0ADwJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfUlNUMTAgKDM0LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNQp0ADsJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfUlNUOCAoMzUvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA1CnQAOwlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9SU1Q5ICgzNi8xNTYpLCBwcmlvcml0eSBncm91cCA9IDUKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hSU1QyICgzNy8xNTYpLCBwcmlvcml0eSBncm91cCA9IDQKdAA+CUVuY29kaW5nIHRyYW5zaXRpb24gUE9fcmN2X3hTWU4gKDM4LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNAp0AD4JRW5jb2RpbmcgdHJhbnNpdGlvbiBBT19yY3ZfeFNZTiAoMzkvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94U1lOMyAoNDAvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94U1lONCAoNDEvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94U1lONSAoNDIvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94U1lONiAoNDMvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94U1lOOSAoNDQvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94U1lONyAoNDUvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94U1lOOCAoNDYvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAOwlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9SU1QyICg0Ny8xNTYpLCBwcmlvcml0eSBncm91cCA9IDQKdAA9CUVuY29kaW5nIHRyYW5zaXRpb24gUE9fcmN2X1NZTiAoNDgvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAPQlFbmNvZGluZyB0cmFuc2l0aW9uIEFPX3Jjdl9TWU4gKDQ5LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNAp0ADsJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfU1lOMyAoNTAvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAOwlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9TWU40ICg1MS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDQKdAA7CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X1NZTjUgKDUyLzE1NiksIHByaW9yaXR5IGdyb3VwID0gNAp0ADsJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfU1lONiAoNTMvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAOwlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9TWU45ICg1NC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDQKdAA7CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X1NZTjcgKDU1LzE1NiksIHByaW9yaXR5IGdyb3VwID0gNAp0ADsJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfU1lOOCAoNTYvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSA0CnQAOwlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94QUNLICg1Ny8xNTYpLCBwcmlvcml0eSBncm91cCA9IDMKdAA7CUVuY29kaW5nIHRyYW5zaXRpb24gYmFkX3hBQ0sgKDU4LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMwp0ADUJRW5jb2RpbmcgdHJhbnNpdGlvbiB0OCAoNTkvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAzCnQAPglFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94RklOQUNLICg2MC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDMKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hBQ0syICg2MS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDMKdAA6CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0FDSyAoNjIvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAzCnQAOglFbmNvZGluZyB0cmFuc2l0aW9uIGJhZF9BQ0sgKDYzLzE1NiksIHByaW9yaXR5IGdyb3VwID0gMwp0ADYJRW5jb2RpbmcgdHJhbnNpdGlvbiB4dDggKDY0LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMwp0AD0JRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfRklOQUNLICg2NS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDMKdAA7CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0FDSzIgKDY2LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMwp0ADsJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeFNZTiAoNjcvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAyCnQAOwlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94UlNUICg2OC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDIKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hSU1QzICg2OS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDIKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hBQ0szICg3MC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDIKdAA6CUVuY29kaW5nIHRyYW5zaXRpb24gbGltaXRlciAoNzEvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAyCnQANQlFbmNvZGluZyB0cmFuc2l0aW9uIHQ5ICg3Mi8xNTYpLCBwcmlvcml0eSBncm91cCA9IDIKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gYmFkX3hBQ0syICg3My8xNTYpLCBwcmlvcml0eSBncm91cCA9IDIKdAA/CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hBQ0tfRklOICg3NC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDIKdABACUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hBQ0tfRklOMiAoNzUvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAyCnQAQAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94QUNLX0xBU1QgKDc2LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMgp0ADoJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfU1lOICg3Ny8xNTYpLCBwcmlvcml0eSBncm91cCA9IDIKdAA6CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X1JTVCAoNzgvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAyCnQAOwlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9SU1QzICg3OS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDIKdAA7CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0FDSzMgKDgwLzE1NiksIHByaW9yaXR5IGdyb3VwID0gMgp0ADsJRW5jb2RpbmcgdHJhbnNpdGlvbiB4bGltaXRlciAoODEvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAyCnQANglFbmNvZGluZyB0cmFuc2l0aW9uIHh0OSAoODIvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAyCnQAOwlFbmNvZGluZyB0cmFuc2l0aW9uIGJhZF9BQ0syICg4My8xNTYpLCBwcmlvcml0eSBncm91cCA9IDIKdAA+CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0FDS19GSU4gKDg0LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMgp0AD8JRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfQUNLX0ZJTjIgKDg1LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMgp0AD8JRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfQUNLX0xBU1QgKDg2LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMgp0ADoJRW5jb2RpbmcgdHJhbnNpdGlvbiBub194UlNUICg4Ny8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hTWU4yICg4OC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA7CUVuY29kaW5nIHRyYW5zaXRpb24gaGFzX3hSU1QgKDg5LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADwJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeEZJTjYgKDkwLzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADwJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeEZJTjUgKDkxLzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADwJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeEZJTjMgKDkyLzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADwJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeEZJTjQgKDkzLzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADwJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeEZJTjcgKDk0LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADwJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeEZJTjggKDk1LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADkJRW5jb2RpbmcgdHJhbnNpdGlvbiBDTE9TRTUgKDk2LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADYJRW5jb2RpbmcgdHJhbnNpdGlvbiBlbmQgKDk3LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADYJRW5jb2RpbmcgdHJhbnNpdGlvbiBmX2MgKDk4LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADoJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeENTICg5OS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA7CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X3hDQSAoMTAwLzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADsJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeENGICgxMDEvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAxCnQAPQlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94RklOOSAoMTAyLzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0AD4JRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeEZJTjEwICgxMDMvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAxCnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94RklOICgxMDQvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAxCnQAPQlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl94RklOMiAoMTA1LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADcJRW5jb2RpbmcgdHJhbnNpdGlvbiBmX3IgKDEwNi8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA6CUVuY29kaW5nIHRyYW5zaXRpb24gbm9fUlNUICgxMDcvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAxCnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9TWU4yICgxMDgvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAxCnQAOwlFbmNvZGluZyB0cmFuc2l0aW9uIGhhc19SU1QgKDEwOS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0ZJTjYgKDExMC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0ZJTjUgKDExMS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0ZJTjMgKDExMi8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0ZJTjQgKDExMy8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0ZJTjcgKDExNC8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA8CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0ZJTjggKDExNS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA7CUVuY29kaW5nIHRyYW5zaXRpb24geENMT1NFNSAoMTE2LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADgJRW5jb2RpbmcgdHJhbnNpdGlvbiB4Zl9jICgxMTcvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAxCnQAOglFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9DUyAoMTE4LzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADoJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfQ0EgKDExOS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAA6CUVuY29kaW5nIHRyYW5zaXRpb24gcmN2X0NGICgxMjAvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAxCnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9GSU45ICgxMjEvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAxCnQAPQlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9GSU4xMCAoMTIyLzE1NiksIHByaW9yaXR5IGdyb3VwID0gMQp0ADsJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfRklOICgxMjMvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAxCnQAPAlFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9GSU4yICgxMjQvMTU2KSwgcHJpb3JpdHkgZ3JvdXAgPSAxCnQAOAlFbmNvZGluZyB0cmFuc2l0aW9uIHhmX3IgKDEyNS8xNTYpLCBwcmlvcml0eSBncm91cCA9IDEKdAAlCUVuY29kaW5nIHRyYW5zaXRpb24gUE9QRU4gKDEyNi8xNTYpCnQAJQlFbmNvZGluZyB0cmFuc2l0aW9uIEFPUEVOICgxMjcvMTU2KQp0ACQJRW5jb2RpbmcgdHJhbnNpdGlvbiBPUEVOICgxMjgvMTU2KQp0ACQJRW5jb2RpbmcgdHJhbnNpdGlvbiBTRU5EICgxMjkvMTU2KQp0ACUJRW5jb2RpbmcgdHJhbnNpdGlvbiBDTE9TRSAoMTMwLzE1NikKdAAmCUVuY29kaW5nIHRyYW5zaXRpb24gQ0xPU0UyICgxMzEvMTU2KQp0ACsJRW5jb2RpbmcgdHJhbnNpdGlvbiByY3ZfeFNZTkFDSyAoMTMyLzE1NikKdAAmCUVuY29kaW5nIHRyYW5zaXRpb24gQ0xPU0UzICgxMzMvMTU2KQp0ACYJRW5jb2RpbmcgdHJhbnNpdGlvbiBDTE9TRTQgKDEzNC8xNTYpCnQAKglFbmNvZGluZyB0cmFuc2l0aW9uIGVtcHR5X3hBQ0sgKDEzNS8xNTYpCnQAKglFbmNvZGluZyB0cmFuc2l0aW9uIF9kYXRhX2xvb3AgKDEzNi8xNTYpCnQAKAlFbmNvZGluZyB0cmFuc2l0aW9uIHhSU1RfYnVmICgxMzcvMTU2KQp0ACgJRW5jb2RpbmcgdHJhbnNpdGlvbiB4U1lOX2J1ZiAoMTM4LzE1NikKdAAoCUVuY29kaW5nIHRyYW5zaXRpb24geEFDS19idWYgKDEzOS8xNTYpCnQAKAlFbmNvZGluZyB0cmFuc2l0aW9uIHhGSU5fYnVmICgxNDAvMTU2KQp0ACYJRW5jb2RpbmcgdHJhbnNpdGlvbiB4UE9QRU4gKDE0MS8xNTYpCnQAJglFbmNvZGluZyB0cmFuc2l0aW9uIHhBT1BFTiAoMTQyLzE1NikKdAAlCUVuY29kaW5nIHRyYW5zaXRpb24geE9QRU4gKDE0My8xNTYpCnQAJQlFbmNvZGluZyB0cmFuc2l0aW9uIHhTRU5EICgxNDQvMTU2KQp0ACYJRW5jb2RpbmcgdHJhbnNpdGlvbiB4Q0xPU0UgKDE0NS8xNTYpCnQAJwlFbmNvZGluZyB0cmFuc2l0aW9uIHhDTE9TRTIgKDE0Ni8xNTYpCnQAKglFbmNvZGluZyB0cmFuc2l0aW9uIHJjdl9TWU5BQ0sgKDE0Ny8xNTYpCnQAJwlFbmNvZGluZyB0cmFuc2l0aW9uIHhDTE9TRTMgKDE0OC8xNTYpCnQAJwlFbmNvZGluZyB0cmFuc2l0aW9uIHhDTE9TRTQgKDE0OS8xNTYpCnQAJAlFbmNvZGluZyB0cmFuc2l0aW9uIHhlbmQgKDE1MC8xNTYpCnQAKQlFbmNvZGluZyB0cmFuc2l0aW9uIGVtcHR5X0FDSyAoMTUxLzE1NikKdAArCUVuY29kaW5nIHRyYW5zaXRpb24gX3hkYXRhX2xvb3AgKDE1Mi8xNTYpCnQAJwlFbmNvZGluZyB0cmFuc2l0aW9uIFJTVF9idWYgKDE1My8xNTYpCnQAJwlFbmNvZGluZyB0cmFuc2l0aW9uIFNZTl9idWYgKDE1NC8xNTYpCnQAJwlFbmNvZGluZyB0cmFuc2l0aW9uIEFDS19idWYgKDE1NS8xNTYpCnQAJwlFbmNvZGluZyB0cmFuc2l0aW9uIEZJTl9idWYgKDE1Ni8xNTYpCnQALUVuY29kZWQgMTU2IHRyYW5zaXRpb24gaW4gOCBwcmlvcml0eSBncm91cHMuCnQAHlRpbWUgdG8gYnVpbGQgYWxsIE5TRnM6IDMuODI4CnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09IFJFQUNIQUJJTElUWSBTRVQgR0VORVJBVElPTiA9PT09PT09PT09PT09PT09PT09PT09PT09CnQAJTEgQyAyIDMgQyBjb3ZlcmFiaWxpdHkgdGVzdCBmYWlsZWQhIQp0ABhDb252ZXJnZW5jZSBpbiAzIHN0ZXBzLgp0AB4gVGhlIHN0YXRlIHNwYWNlIGlzIGluZmluaXRlLgp0ABZSUyBnZW5lcmF0aW9uIHRpbWU6IDAKdAABCnQAUD09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09IE1FTU9SWSA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KdAApIFRvdGFsIE1lbW9yeSBVc2VkOiAgICAgICAxMTQ0MTIgS0J5dGVzLgp0ACxTdGF0ZSBzcGFjZSBpcyBpbmZpbml0ZS4gQ291bGQgbm90IHJ1biBDVEwuCnQAAQp0AFA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0gVElNRSA9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CnQAJSBWYXJpYWJsZSBvcmRlciBUaW1lOiAgICAgMC4wMzEgc2VjLgp0ACUgTlNGIGdlbi4gVGltZTogICAgICAgICAgIDMuODI4IHNlYy4KdAAlIFJTIEdlbmVyYXRpb24gVGltZTogICAgICAwLjAwMCBzZWMuCnQAJSBUb3RhbCBSUyBUaW1lOiAgICAgICAgICAgMy44Mjggc2VjLgp0ACUgU3RhdGlzdGljcyBUaW1lOiAgICAgICAgIDAuMDAwIHNlYy4KdAApIENUTCBUaW1lOiAgICAgICAgICAgIDI1NzY5ODAzNy45MTYgc2VjLgp0ACUgVG90YWwgVGltZTogICAgICAgICAgICAgIDMuODU5IHNlYy4KdABQPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQpxAH4AInhzcQB+AAB3BAAAARxzcgARamF2YS5sYW5nLkJvb2xlYW7NIHKA1Zz67gIAAVoABXZhbHVleHABcQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR5xAH4BHnEAfgEecQB+AR54</document-log>
+    <document-log uuid="3f9e6472-8455-42e9-8cdd-d21ad92aee57">rO0ABXNyABRqYXZhLnV0aWwuTGlua2VkTGlzdAwpU11KYIgiAwAAeHB3BAAAADd0AXobWzBtRVhFQzogIkM6XEthdXNoaWtcUHJvZHVjdGl2aXR5XEdyZWF0U1BOXGFwcFxwb3J0YWJsZV9ncmVhdHNwblxiaW5cRFNQTi1Ub29sLmV4ZSIgLWxvYWQgIkM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQiIC1lcHNpbG9uICIxLjBFLTciIC1vbi10aGUtZmx5IC1pIC1nbXJlcyAtd2l0aC1jbHVzdGVycyAtbWF4LWRvdC1tYXJraW5ncyAyMDAwMCAtZG90LUYgIkM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQtVFJHLTAiIAp0AJAbWzFtG1s0bUxPQURJTkcgUEVUUkkgTkVUIEM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQgKG5ldC9kZWYpLi4uG1syMm0bWzI0bQp0AA9NQVJLSU5HIFBBUjogMAp0ABBQTEFDRVM6ICAgICAgNjIKdAAPUkFURSBQQVI6ICAgIDAKdAARVFJBTlNJVElPTlM6IDE1Ngp0AA9NRUFTVVJFUzogICAgMAp0AChMT0FESU5HIFRJTUU6IFtVc2VyIDAuMDAwcywgU3lzIDAuMDAwc10KdAABCnQAAQp0ADlNQVguIFJFU0lEVUFMIEVSUk9SIFNFVCBUTyAxZS0wNyBGT1IgTlVNRVJJQ0FMIEFOQUxZU0lTLgp0AERVU0lORyBPTi1USEUtRkxZIFNUQVRFIFNQQUNFIENPTlNUUlVDVElPTiBPRiBDU0xeVEEgTU9ERUwgQ0hFQ0tJTkcuCnQAMVVTSU5HIElNUExJQ0lUIFNURUFEWSBTVEFURSBNUlAgU09MVVRJT04gTUVUSE9ELgp0ADVVU0lORyBHTVJFUyBNRVRIT0QgRk9SIElNUExJQ0lUIFNUQVRJT05BUlkgQU5BTFlTSVMuCnQAS1RBTkdJQkxFOiAzMyAgICAgIFZBTklTSElORzogMzA4ICAgICBJTU1FRElBVEU6IDYxNCAgICAgVElNRUQ6IDUwICAgICAgICAgCnQAUxtbMUEgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKdAAFG1sxQQp0AAEKdAAnVEFOR0lCTEUgU1RBVEVTOiAgICAgICAgICAgICAgICAgIDE5NjcKdAAnVkFOSVNISU5HIFNUQVRFUzogICAgICAgICAgICAgICAgICAgIDAKdABLTlVNQkVSIE9GIFRJTUVEIEVER0VTOiAgICAgICAgICAgIDQ4MjAgICg2NDYgVC0+VCwgMCBULT5WLCA0MTc0IFQtPlYqLT5UKS4KdAA6TlVNQkVSIE9GIElNTUVESUFURSBFREdFUzogICAgICAgICAgIDAgICgwIFYtPlQsIDAgVi0+VikuCnQAJ1RPVEFMIE5VTUJFUiBPRiBFREdFUzogICAgICAgICAgICA0ODIwCnQAJ0lNTUVESUFURSBUUk5TLiBGSVJJTkdTOiAgICAgICAgIDQ0Mjk4CnQAJ1RJTUVEIFRSTlMuIEZJUklOR1M6ICAgICAgICAgICAgICA0NzMwCnQAJ1ZJU0lURUQgVkFOSVNISU5HIFNUQVRFUzogICAgICAgIDIzNzk2CnQAJ0dFTkVSQUwgVFJBTlNJVElPTlM6ICAgICAgICAgICAgICAgICAwCnQAJ05PTi1QUkVFTVBUSVZFIEVYUC4gVFJOUy46ICAgICAgICA0ODIwCnQAJ1BSRUVNUFRJVkUgRVhQLiBUUkFOU0lUSU9OUzogICAgICAgICAwCnQADk1FTU9SWSBVU0FHRToKdAAnVFJBTlNJVElPTi1TRVQgRU5UUklFUzogICAgICAgICAgICAgIDAKdAAnVkFOSVNILVBBVEggRU5UUklFUzogICAgICAgICAgICAgIDE1MzQKdAAnVkFOSVNILVBBVEgtU0VUIEVOVFJJRVM6ICAgICAgICAgIDEyMTYKdAAtUEFDS0VEIE1BUktJTkdTOiAgICAgICAgICAgICAgICAgIDgwMjkgQllURVMKdAAtU1RBVEUgU0VUIERBVEE6ICAgICAgICAgICAgICAgICAgIDM5MzQgQllURVMKdAAtRURHRVMgREFUQTogICAgICAgICAgICAgICAgICAgICAgMjY4MzcgQllURVMKdAABCnQAIFBBQ0tFRCBUQU5HSUJMRSBNQVJLSU5HUyBUQUJMRToKdAAnU1RPUkVEIFNFUVVFTkNFUzogMTk2NywgRlJBR01FTlRTOiA0ODQKdAAmICBTRVFVRU5DRVMgTUVNT1JZOiAgICAgICA2Mzk0IEJZVEVTLgp0ACYgIEZSQUdNRU5UUyBNRU1PUlk6ICAgICAgIDE2MzUgQllURVMuCnQAJiAgICAgIFRPVEFMIE1FTU9SWTogICAgICAgODAyOSBCWVRFUy4KdAAsTUVBTiBNRU1PUlkgUEVSIFNFUVVFTkNFIElTOiA0LjA4MTg1IEJZVEVTLgp0ACkgIFVTRUQgRk9SIFNFUVVFTkNFIERBVEE6IDMuMjUwNjQgQllURVMuCnQAIyAgICAgICAgVVNFRCBGT1IgSEFTSElORzogMCBCWVRFUy4KdAAqICAgICAgVVNFRCBGT1IgRlJBR01FTlRTOiAwLjgzMTIxNSBCWVRFUy4KdAAmQlVJTEQgVElNRTogW1VzZXIgMC4yMThzLCBTeXMgMC4wNDdzXQp0AAEKdAABCnQAOlRIRSBSRyBJUyBBIBtbNG0bWzMzbUNPTlRJTlVPUyBUSU1FIE1BUktPViBDSEFJThtbMjRtG1swbQp0AAEKdAD0ZXhlYzogZG90ICJDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRcdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0LVRSRy0wLmRvdCIgLVRwZGYgLW8gIkM6XEthdXNoaWtcQVNVXENTRSA1OTMgLSBBcHBsaWVkIFByb2plY3RcdGNwLXBldHJpLW5ldFx0Y3AtcmtuLWNvcHktTWVhc3VyZXMuc29sdXRpb25cTXVsdGlOZXQtVFJHLTAucGRmIiAocGlkPTEwMTcpCnQA6URPVCBGSUxFcyBTQVZFRCBBUyBDOlxLYXVzaGlrXEFTVVxDU0UgNTkzIC0gQXBwbGllZCBQcm9qZWN0XHRjcC1wZXRyaS1uZXRcdGNwLXJrbi1jb3B5LU1lYXN1cmVzLnNvbHV0aW9uXE11bHRpTmV0LVRSRy0wLmRvdCBBTkQgQzpcS2F1c2hpa1xBU1VcQ1NFIDU5MyAtIEFwcGxpZWQgUHJvamVjdFx0Y3AtcGV0cmktbmV0XHRjcC1ya24tY29weS1NZWFzdXJlcy5zb2x1dGlvblxNdWx0aU5ldC1UUkctMC5wZGYKdAABCnQAJxtbMFgbWzMybSBQUk9DRVNTIEVYSVRFRCBOT1JNQUxMWS4bWzBtCnhzcQB+AAB3BAAAADdzcgARamF2YS5sYW5nLkJvb2xlYW7NIHKA1Zz67gIAAVoABXZhbHVleHABcQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7cQB+ADtxAH4AO3EAfgA7eA</document-log>
   </resource-list>
 </project>