From 2407dce1a69932a2ba0a7df1f56f15c715f0b131 Mon Sep 17 00:00:00 2001
From: joachimschmidt557 <joachim.schmidt557@outlook.com>
Date: Wed, 6 Feb 2019 20:59:20 +0100
Subject: [PATCH] CI building

---
 .gitlab-ci.yml                                |   4 +
 .../fsharp-finite-automata.deps.json          |  85 ++++++++++++++++++
 .../netcoreapp2.2/fsharp-finite-automata.dll  | Bin 0 -> 6656 bytes
 .../netcoreapp2.2/fsharp-finite-automata.pdb  | Bin 0 -> 396 bytes
 ...arp-finite-automata.runtimeconfig.dev.json |   8 ++
 .../fsharp-finite-automata.runtimeconfig.json |   9 ++
 .../fsharp-finite-automata.AssemblyInfo.fs    |  17 ++++
 ...p-finite-automata.AssemblyInfoInputs.cache |   1 +
 .../fsharp-finite-automata.assets.cache       | Bin 0 -> 20329 bytes
 .../netcoreapp2.2/fsharp-finite-automata.dll  | Bin 0 -> 6656 bytes
 ...inite-automata.fsproj.FileListAbsolute.txt |  10 +++
 ...ite-automata.fsprojAssemblyReference.cache | Bin 0 -> 79122 bytes
 .../netcoreapp2.2/fsharp-finite-automata.pdb  | Bin 0 -> 396 bytes
 13 files changed, 134 insertions(+)
 create mode 100644 .gitlab-ci.yml
 create mode 100644 bin/Debug/netcoreapp2.2/fsharp-finite-automata.deps.json
 create mode 100644 bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll
 create mode 100644 bin/Debug/netcoreapp2.2/fsharp-finite-automata.pdb
 create mode 100644 bin/Debug/netcoreapp2.2/fsharp-finite-automata.runtimeconfig.dev.json
 create mode 100644 bin/Debug/netcoreapp2.2/fsharp-finite-automata.runtimeconfig.json
 create mode 100644 obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfo.fs
 create mode 100644 obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfoInputs.cache
 create mode 100644 obj/Debug/netcoreapp2.2/fsharp-finite-automata.assets.cache
 create mode 100644 obj/Debug/netcoreapp2.2/fsharp-finite-automata.dll
 create mode 100644 obj/Debug/netcoreapp2.2/fsharp-finite-automata.fsproj.FileListAbsolute.txt
 create mode 100644 obj/Debug/netcoreapp2.2/fsharp-finite-automata.fsprojAssemblyReference.cache
 create mode 100644 obj/Debug/netcoreapp2.2/fsharp-finite-automata.pdb

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..a9a34df
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,4 @@
+image: microsoft/dotnet:latest
+
+build:
+        script: dotnet build
diff --git a/bin/Debug/netcoreapp2.2/fsharp-finite-automata.deps.json b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.deps.json
new file mode 100644
index 0000000..39a444d
--- /dev/null
+++ b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.deps.json
@@ -0,0 +1,85 @@
+{
+  "runtimeTarget": {
+    "name": ".NETCoreApp,Version=v2.2",
+    "signature": "2a3cce40ffad1aed363051b9051c2ff156f5fe39"
+  },
+  "compilationOptions": {},
+  "targets": {
+    ".NETCoreApp,Version=v2.2": {
+      "fsharp-finite-automata/1.0.0": {
+        "dependencies": {
+          "FSharp.Core": "4.5.2"
+        },
+        "runtime": {
+          "fsharp-finite-automata.dll": {}
+        }
+      },
+      "FSharp.Core/4.5.2": {
+        "runtime": {
+          "lib/netstandard1.6/FSharp.Core.dll": {
+            "assemblyVersion": "4.5.0.0",
+            "fileVersion": "2018.7.27.2"
+          }
+        },
+        "resources": {
+          "lib/netstandard1.6/cs/FSharp.Core.resources.dll": {
+            "locale": "cs"
+          },
+          "lib/netstandard1.6/de/FSharp.Core.resources.dll": {
+            "locale": "de"
+          },
+          "lib/netstandard1.6/en/FSharp.Core.resources.dll": {
+            "locale": "en"
+          },
+          "lib/netstandard1.6/es/FSharp.Core.resources.dll": {
+            "locale": "es"
+          },
+          "lib/netstandard1.6/fr/FSharp.Core.resources.dll": {
+            "locale": "fr"
+          },
+          "lib/netstandard1.6/it/FSharp.Core.resources.dll": {
+            "locale": "it"
+          },
+          "lib/netstandard1.6/ja/FSharp.Core.resources.dll": {
+            "locale": "ja"
+          },
+          "lib/netstandard1.6/ko/FSharp.Core.resources.dll": {
+            "locale": "ko"
+          },
+          "lib/netstandard1.6/pl/FSharp.Core.resources.dll": {
+            "locale": "pl"
+          },
+          "lib/netstandard1.6/pt-BR/FSharp.Core.resources.dll": {
+            "locale": "pt-BR"
+          },
+          "lib/netstandard1.6/ru/FSharp.Core.resources.dll": {
+            "locale": "ru"
+          },
+          "lib/netstandard1.6/tr/FSharp.Core.resources.dll": {
+            "locale": "tr"
+          },
+          "lib/netstandard1.6/zh-Hans/FSharp.Core.resources.dll": {
+            "locale": "zh-Hans"
+          },
+          "lib/netstandard1.6/zh-Hant/FSharp.Core.resources.dll": {
+            "locale": "zh-Hant"
+          }
+        }
+      }
+    }
+  },
+  "libraries": {
+    "fsharp-finite-automata/1.0.0": {
+      "type": "project",
+      "serviceable": false,
+      "sha512": ""
+    },
+    "FSharp.Core/4.5.2": {
+      "type": "package",
+      "serviceable": true,
+      "sha512": "sha512-Pe3EDp9oBjQ3c3fvZAJsw7XFLHECS3zn3P7MSqsJy3sFYR6jvTgxxnCFeePR1JHiWyZ3bm+RZAjchqVYk61adA==",
+      "path": "fsharp.core/4.5.2",
+      "hashPath": "fsharp.core.4.5.2.nupkg.sha512"
+    }
+  }
+}
\ No newline at end of file
diff --git a/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll
new file mode 100644
index 0000000000000000000000000000000000000000..797e4e2ad401492c2c45bb8c9c7fae7f0b5c61a3
GIT binary patch
literal 6656
zcmeZ`n!v!!z`(%5z`*eTKLf)K1_*F~P<Y7(1_lN``CWVrTR6`u?qKves~D1zS*%b{
zl%HOdn5&SSn3tDdqL7rTP*j?ykeR38;vcM#o1c=Z$IHv50yR0nm4U&Bk(ptMb#x3=
zh~WVPA0sy-2Lpo$0|NsSL{!g+fq_ARfq?<+Fb4>m3F2;$3XuCjGy}*{P(92H4y+6e
z0$>Ct1i&glA`k`x1H(x}28JX!4+|rKfq{pCfx*Oxfk6g~G)^G}1_ll!Ne%@D1`i~@
zUP)?23CKIbP=6u$6{bvqfgwS!sJJMZfq{V$Bna|5$ZujG4gxzcFgWNHrRL-(L)^-c
z01Y<@gc=abfq}sZL?dHXP`ENc+{VPf%8;VKz_5fJVjm*|0~?111H(a1WF7d~UPX)y
z3<bs93=CWvj0_CgYGPUpPQhMIj1V7y!?Mgo&p^-Ez}V0dWELw!4k&z?7#Ni67#J2X
zF)-X<W?)bbE-A{)OD_hgs9<AY&|zR;P!0`dSi%O5Nd{&2P)`>I28Jzc3=AJYa!xt<
zuy|x*U|@6?W#Hfhx%(HRF(?gz!VeV0tkAFo@%b1a;RRxYFeo2@f)~UFg#d(RV`ycl
zW8h+##n{5g#_)>q0wWuPC=)Xi8-pI0^aYbyU~&SOTnQ!*fXO#ZH<|PqKv|57fuFgB
zk&8i&xrLFBL6=#XnTsI^EK&(3CxOXjVDb=i3)u2f1_lOJ22j{FGBPmChVvR285mA5
zEC$OlF@Sh{j2Dr3QH;`zAbm^>0iZm?AjZ(ad=VT2j10ZZf()k^xfmoFPBAJmD1u2%
zFlh)TEy1KCnDhjbfnYL{;S}Q>1|BfGks*_L7sEt`Q;gRcW-^>&e88Z<kj-$LL63o(
zL6AX@L6||EL61S2A(lapL7AbFL61S3p@l(@!I)tpgC2u5Slk&*dV|G-85S`(GZZsC
zV_40=(f|s3P`ooRfO9iLE+Z(PGlAU?5@%%S0Z|Mr44~KqGZ`2e_JKo;g#lTe1t?0v
z3P6&e{Ck1}V!As61A`>P8L%8fT5(2VQGsq+W?p7Vs%~OwNq%l(NupkAMJj_^Fi0vm
zGd(Y{q_im21tgALIaH~CK}lwAW>sQIW_}(%)i%EQDWy57b_~Il#U-h^4E{-3smUc!
zo?cLCUP)$dDnkIIEM>3>E=epZDJ^i$Pf1n5ZoeIa3Ms1fRNS!on!&NSI5jsZr_wVo
zEuScR^;GoyTtl4mi&7m63UtC!i;6Sz^K8qE^o-zUIhK?ZWhRxDq!!}{YX;xU<f8oI
z{In81NQmo!%!3B0XI@EaQCea$IP{_B!%c*$fvDF@F3B%K3qw7qj?BDthLFUf^wbi!
zqQu<P^8BJ~gdvbf&<jdU%SlZJMIGGf&iT0oiFuU>rLgdE&d*EBOfM}0$26w2TV_rw
z)MiXcP}mmbf^{b5;8Yb*l%G<XT!N`RB(o$Z6;l|)AgHfgG85DD@{3C{lZzQ#Qj<#4
z(-V`B^+Uum^U{6uQ&Ni=0*W&8O48i&K@LnXWeCm7geOZ+e}<6Mijwf6%#u`$aCWUI
zNzDVreKCV;MM+U&NPdA&YFTQIe?e+dVo81x)MSXkKACx-)Qx152}5pTW*$RgQF<AJ
zYhFoFWk7yr9+Kxl5s{e#4m01xf`ZJvbVLXQ=a&{Gr#k276_*s1CYQM7B!X)WO%H}t
zh8%_*hI|GEhH!>_h9ZU>h7<+`hBSsEhJ1!x1_cH;24x0C1_p5ZV-2ri!E#sTW^h}C
zV}pHsz2H?YD>emYMh*@R0Y*?Y0x2)RB#QzgBcCZFg9NVB&&UwMCjw7vE}6vzIf<2i
ziMgo^(u@pZ*fTK$0~aF$D>y<J7<d>N*bVgzKoBAh<}fg@Dljq%8gei)FoQ}p20l?C
zQ&u5MAzL9!5EK+(WRznN6>?>fV}OXUa4`y5vNAAo$nr5OFfg)!bb-wX<X~iA2YZI$
z2nVQ=;)A9bSn<P+oEdRAnU#T2ABPlsX<l|-et8}n#8`Hyv0TuEnwgg_fh$L%xx@%!
z0<2s_%F}wdOkf2U2E0&>kmdx=xZ;GDKWq>$vw+GUwqkH21bZZMAqoo#M45nESZG0Q
zM<~_9rBn_ffvsFIz-JOR4Uj}612Yv{aioXaOl-<wX;BqsCf-ua9Jk?k^|68zIXpzs
z%RoFKimp@)=1$b&QUkZcP!+=608Os&;s%c!(3P@7t7LusjQreG{jB`N<c!Q*ee9WE
zAF5a{t(XN=7P3UgCKxhj=9LIzDGymn^D;|VK&53eQD)~SW$A;<75%)_lH~lN)Wm`U
zBRwM=PJt&=P+aMy6&vf9<QC}TD(T>=;XzcamsZT{RGOKS5}aC60&2*s5aUW#Mg~S@
zMjl3PCT?AR1{Nk}7FI?UZXRAf24*HfArK(~BE&(26o`-o5%M5H5v))ROsa!P4Mt{e
z9$qk0lZjE8g^`PwyZJt-xMKvhs6nM52P3G1$;QCQ2rup#7+IJ=QlN5?gOQnu0jn%0
zs1?b_#mK+_A{hBW2J#7jxFCX&i2;W`P;ZZrsi1Z)ABbRJWX5HVC<6lnA#=n)&H)h&
zjG$IAR)2tch=k0M1epUO7#LY`xks7^_sD?E0TB$0Y`DykBf=a|&_Kh79hW(vUJoIE
zA(_L0%N!*l+ye?4J`e#)S}-gC?zJ)aF@h2bs1pa1fY6{6#ssRrl^Ik(X@?Oc0FeTd
zQ0<@*15l3?gu&ua0;HOekwKM#QH70#jRQ<DGcj_45;kMQ5(WlFMs7w%Mjl2D1`Y;B
zW=1APP)CT70VJ=b!p6zQ3+hEPGJ<-*pftwApv}U?BEX1d57ZSPy)X=Q04VIhm<iNu
zU}oTE&|&0a6b4%ZQ^EkY1Ek6gI>3bJu0cWt<P9cJ>eOY>VH9ChWQ336K+J&H&&bUL
zvK^!ugdtMM1~4##p&m%)E4Y7;qdfxZKSS$xM1_x9Ou-6lZ~+X8LuQ7CB^@A>abZyS
z;gSQ1GlH6zAO=><$b=T=XsVb&gHLE;a4sV_*|313o8hA&T$n)^G^hj00tg{E3pU^b
z7XUNjo%4%aD^h(yE%4l8Q1y_imy!b-m;p<}i2te#3ZOwKNPC%q(Ki6(`T_<9h5#c5
zh5!);hM-`VVC|4j{>~%kJ@;yyVYw){_9iHri7EZ{Nvxv^QeY!KF!znpqaiRF0wjfi
T0b~r+090g<q;XX7a0meaR|aZc

literal 0
HcmV?d00001

diff --git a/bin/Debug/netcoreapp2.2/fsharp-finite-automata.pdb b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.pdb
new file mode 100644
index 0000000000000000000000000000000000000000..248060b5aadf252381d6481ef3a605166fecb27d
GIT binary patch
literal 396
zcmZ<?_HtrmU}OLR9tH-602e2PGDAHB5TAj8jiCl4#=yX!9FUR(5<A1dz~BPn*D){%
zFfuT(fY`w$MVWc&#UObRm{@2qg9IZ3g91q2J=7DV$AXc8Aq2#C%E<>ArXAAB-+AP`
z=U$C7EEfgW-dtiG9mB}Lz~(N>z`@DM0CtrK0|Nsq1B4B7B_9I=1IV2qHV88_FfcGd
z<w5o{L6kBuFtCHT3?LVR)WNU;10#bu0}}%yg9q4rkT^)85Qsp+3Cr>v&Zji_Z2RDJ
zrLk!F%##-WtDkM#<-E^2f`eP<%wq<YjQreG_N@HG<c!Q*v9#ih#G(S-w9LHBl2qNq
z(vtk##F9j=fTH~LqQqRiv|=`W21YhMRRLc^iC4!?1@^V8H%~e~qi{Mm0|SE`JF5T#
HBNGDv*YQLF

literal 0
HcmV?d00001

diff --git a/bin/Debug/netcoreapp2.2/fsharp-finite-automata.runtimeconfig.dev.json b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.runtimeconfig.dev.json
new file mode 100644
index 0000000..ffcc3f2
--- /dev/null
+++ b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.runtimeconfig.dev.json
@@ -0,0 +1,8 @@
+{
+  "runtimeOptions": {
+    "additionalProbingPaths": [
+      "/home/joachim/.dotnet/store/|arch|/|tfm|",
+      "/home/joachim/.nuget/packages"
+    ]
+  }
+}
\ No newline at end of file
diff --git a/bin/Debug/netcoreapp2.2/fsharp-finite-automata.runtimeconfig.json b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.runtimeconfig.json
new file mode 100644
index 0000000..49dbda4
--- /dev/null
+++ b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.runtimeconfig.json
@@ -0,0 +1,9 @@
+{
+  "runtimeOptions": {
+    "tfm": "netcoreapp2.2",
+    "framework": {
+      "name": "Microsoft.NETCore.App",
+      "version": "2.2.0"
+    }
+  }
+}
\ No newline at end of file
diff --git a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfo.fs b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfo.fs
new file mode 100644
index 0000000..5a808d6
--- /dev/null
+++ b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfo.fs
@@ -0,0 +1,17 @@
+// <auto-generated>
+//     Generated by the FSharp WriteCodeFragment class.
+// </auto-generated>
+namespace FSharp
+
+open System
+open System.Reflection
+
+
+[<assembly: System.Reflection.AssemblyCompanyAttribute("fsharp-finite-automata")>]
+[<assembly: System.Reflection.AssemblyConfigurationAttribute("Debug")>]
+[<assembly: System.Reflection.AssemblyFileVersionAttribute("1.0.0.0")>]
+[<assembly: System.Reflection.AssemblyInformationalVersionAttribute("1.0.0")>]
+[<assembly: System.Reflection.AssemblyProductAttribute("fsharp-finite-automata")>]
+[<assembly: System.Reflection.AssemblyTitleAttribute("fsharp-finite-automata")>]
+[<assembly: System.Reflection.AssemblyVersionAttribute("1.0.0.0")>]
+do()
diff --git a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfoInputs.cache b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfoInputs.cache
new file mode 100644
index 0000000..42b2d8f
--- /dev/null
+++ b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfoInputs.cache
@@ -0,0 +1 @@
+62a3fda8998de620a95a14bc8fe962942dd1295a
diff --git a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.assets.cache b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.assets.cache
new file mode 100644
index 0000000000000000000000000000000000000000..1d1cdf3cc39367daff39e71a999b8fcc58944426
GIT binary patch
literal 20329
zcmWIWc6VfAU|{e{;yJk6uW$QnCc&%rJfG+Hetj&jU-i)0DKK^4ieFFWRroQ$!2|{d
zh9Lcn{M=Oito+2}jLckpy}Z)&)Dr!I#N_P6^weVgwBn4!q5{3-{GwES6FpNsBmJDr
zB>lY9lH!uYyp+VE6hl2TeYaq+BIo>~RK1j(9FQ|Wb}%w9Fo4+13=9kj_^rv!OfJeV
z&QB}R%S$Z*S*Dj*P@r$5XQXGKUzC~#vJfPiSWsZ3XQb~7SM3b38Oc%>sHLn73=FBX
zu{12RxHK`xDX};+8QHtYHfPbs=J3osV<WwQqRiaPlFYKyVqDfIQq%h2%HopLTs_Bv
z0_Xg^lGKV4T(-v1z*eWyw6xSBoF2`kftAkrIXS7xC7Jno#d^;9dC8?kMX7l>J)J{i
z7kK98mX;(Y<)Gv&<fKOHAn?o2b5G4nEyA7H^Jp9d!3C+wnTa`>RjDbsl3o&xoq(f&
zDWr+Dxdr)osd**7`6;P6dX9N{`6Y>v)QH0srL=d2OJYgl;Bbj+S!!O1Q(|#yieqtQ
z9?k-|fc9ZRxEL;`y(2;@3sRl)^U6|-N>Yn(<qoRWgV5^0IUgmN;z*h)Gzo#cw9NF<
zB5<a_<z-sbMb7zo#re1k;%J)q6}3r)T=3JP%md|fJ?H$~-26OTAxjHyg001oglJL0
zx@0D%=j9idWF~{F_>!W;<Pw~1j0_sYE3yMzQj<#4afLQ5iVzgb;UN*6Us{xmvz1Xq
z<3MoB%t;MPEh^5;&-2Vn%f}TQRBcy7OETo(2q?-=PA$fn6ll@bLbg7*Br!QVq$m-0
zJXFy*9zs$pO2UgWOHzx#&hW`BE&(<EaK#6$^F~O1eh$vqphdeAIX1u{fInN%Iz57%
zkeP?GbjYMdYA8x92U$tDc|(gj)&*)ij>;g779Ot5OU%to)(a}lE6L2oSpw1`wYlfy
zCxJRPkfw}tVooY(Oa*6x&!>U!QJvsgQIeVmDui*mffg+~R5##=dRnvtJpDn9or0p&
zVvwKpoQm>Gax!t1b+qVGpg90k3qorp9HBsq8VJo1QJDoGci;*JT68ART!6#xw8(*;
z{(2zKLId5UD6=dTU;Bd=IS|zego|AoWdx*P2v00Y&cNNBq(u>c8VEQN04=IJPk%kn
z;{2S%lGK#olKi5?bet7HHVsN&Pk%k%)ZF}{O5enSg47gH9N;W@<7s1mKxP5%fn*w`
z_t3oD#Jt4x)D(#4gG-816LWDDIFYpRH;y!xP6OL~GV==cTq|Jp49*y)MaBZ#9gtX*
zn3I#5gDZ$>QKo|}4lGSAs>C;XO^eY4u+2E4H<kv`3rWPd!j=}<)-Sb0&!eQI0GFM#
zNW?HZ33Ul+<zL^#Oq}VL78L`?zkZ3isX?j5`8lPa0eD=YO^Y@e*!I+t^8BJ~P<x~(
z7t%$*k*aAG<^iCNAPzfeQD%UAO}GJ+OoKcOvN<TVur#$8_dp=6><vy$E-lI|sl=7O
zXqB6TQ;W(nlT!ooGjUIE(qfPq6xPA{$=Rv6gPImKA;{YB)FkJeOgz)MwCH0%E%r!F
zOi3+5%r4`KZdxU?@YJM$qWlV+$&42L3aHm%v5i0MX;q?xrzXK1fTJvnqEU&0!#bK|
z=+a!!9DT7~SZZ=fKJFD0G^r|JcH{6bEea9;q^#6r=o~o?YiZGW2}(_aE)LOi$t*4a
zb(HaDDq76nAi2RcH?u^~(+9jj18)m~7V|gg?(oS>&nPKR1(CSQHd>6|qB{deYM@2&
zhHN##kyBdC6(BjlH?<@&C9xzCSJ2bg|Ad=uv=~1{@;_)L1mWRpTC9vias-aFM~ea<
z)Gq<e*cR&rfg2XM;+;0ZUJRZs2H6c^`GUuDaIQe1Z2&+fEO7-uISndz*jy246-;JM
zY7w+4U91OL8|sY9Ewt#U!rVeQ@zbRAh0dCJB<7{$;2ub9WTas%c;=O)7UdVfBLNyB
zM0A{M>FBEP%)FHR@?xmtaHSAhbU<KMqK6ZX(ux-CaF`Q(@<E*-T%M;%F#%1Wegqn+
zv@9lqQ;Wb0SRqX`w|vlWP6?i6&9qoo3X1_$w|EufUg<@@5E-Dx12kozhDby%&S6HH
zG@-CM0!PlI#fl49y1-#2E$R&TfR}SlVrDMR=@43^KZMmql?5gF=|zbJ8I^jDIqCUD
znI##x-9n326n3{b7vmh(r^P~V?2d5FOU_ThGx$rts3BZ5(4r2<9x4&02A0mLMJ1VO
znaPPIxEnjPXyw6O6i}3zmz-IUNY_#dZabKf8eCF@CvnhXhzV>joyW+b?McW!jPTSX
zT&)&bw3ncE6IhQ*ixDo+3Q#?G{wLh2pv6!<svB_BOtfezgDnn9O)t$!EFxmUo)$|&
zLNba{6TxM#e_3i#4tQM%u9QcU_=npcl31KwtOr_~pO%wfj>`?SXsaT^0OAJ1sgNEa
zL1+~PEt*Q`A%P<=(4ymnWHmTR;7S0r%>)ov1mx%AtnX+X?3uZ^SHe+sS2J`CBE-XZ
zs#jXHE<%bD^NJIpn_hkLlX15$XfZp9Vmpo$PK$xtu*96w)R58w+<Urck+wiB3DDx5
z(2~p?JS`ep%t?Z*#u2`>=vqQYyl@p9v}h-Sdhhtwf6=0#1lb80gU3G*O^eMkAiGh=
zFL1;!Et+W{%OhO!lS^~)tf-*Hv=`XofW(pvJ%ZNLqKHOVk0Y>YQEY%M&CMYc+_Xw$
z5xF_AbcVY=q(zwp@;8oP4x_>7Jr1j=x=s~ZE`oNk<0=~?sOh!b;^h3IoJ^b@SgLvs
z>1-HWo&y~Y1H*g_3=9M+0;0~KNiIe?hNdVLGA{`pTm<c!2HA&vAPpM>0|Pq)0|N&G
z0|O_O+>nw=x*NElZs4Yp8&dN~cLNX94ZPHH0~v7vN(Z30;HQ!s(uznA2LWg}2vW%n
znI)vVK?v#wVJf*HE0J_Jh(O&SN+maB=acRRF{m5FspN)&9Mat&0d<2U0|NtrHEcwc
zQ3WNsPC=wQLkj8)X(|OpQ7P$ekb$~EmP&3YAtQUrLERwFz`#JDIZIS@RAuOTB<7J(
zRw+OoqDWPTkWpADK^>yZz`y{i+~{<e8>lXYVHE}j20p)1_tcUA$eD4TDcnfs!3iTv
zK@WIf1s^0Qia5p1&ou;mcAR5D0W0{-H+JXJoRZR_RHo!&ahKHMlFU5t%z1EWl1pY0
zcztUnb8@jhQ%WjxN~%6nY94cHo<37*F>`9MK2ur|b6Sx;Q)UTsW{EyiRw8p&qCQi0
yK67@yK2t#sb3u+iD>x&vfk}O)qEhCfQhlb9BIc4JeRgP~;DFLFffA@di9P^Pi}|?#

literal 0
HcmV?d00001

diff --git a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.dll b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.dll
new file mode 100644
index 0000000000000000000000000000000000000000..797e4e2ad401492c2c45bb8c9c7fae7f0b5c61a3
GIT binary patch
literal 6656
zcmeZ`n!v!!z`(%5z`*eTKLf)K1_*F~P<Y7(1_lN``CWVrTR6`u?qKves~D1zS*%b{
zl%HOdn5&SSn3tDdqL7rTP*j?ykeR38;vcM#o1c=Z$IHv50yR0nm4U&Bk(ptMb#x3=
zh~WVPA0sy-2Lpo$0|NsSL{!g+fq_ARfq?<+Fb4>m3F2;$3XuCjGy}*{P(92H4y+6e
z0$>Ct1i&glA`k`x1H(x}28JX!4+|rKfq{pCfx*Oxfk6g~G)^G}1_ll!Ne%@D1`i~@
zUP)?23CKIbP=6u$6{bvqfgwS!sJJMZfq{V$Bna|5$ZujG4gxzcFgWNHrRL-(L)^-c
z01Y<@gc=abfq}sZL?dHXP`ENc+{VPf%8;VKz_5fJVjm*|0~?111H(a1WF7d~UPX)y
z3<bs93=CWvj0_CgYGPUpPQhMIj1V7y!?Mgo&p^-Ez}V0dWELw!4k&z?7#Ni67#J2X
zF)-X<W?)bbE-A{)OD_hgs9<AY&|zR;P!0`dSi%O5Nd{&2P)`>I28Jzc3=AJYa!xt<
zuy|x*U|@6?W#Hfhx%(HRF(?gz!VeV0tkAFo@%b1a;RRxYFeo2@f)~UFg#d(RV`ycl
zW8h+##n{5g#_)>q0wWuPC=)Xi8-pI0^aYbyU~&SOTnQ!*fXO#ZH<|PqKv|57fuFgB
zk&8i&xrLFBL6=#XnTsI^EK&(3CxOXjVDb=i3)u2f1_lOJ22j{FGBPmChVvR285mA5
zEC$OlF@Sh{j2Dr3QH;`zAbm^>0iZm?AjZ(ad=VT2j10ZZf()k^xfmoFPBAJmD1u2%
zFlh)TEy1KCnDhjbfnYL{;S}Q>1|BfGks*_L7sEt`Q;gRcW-^>&e88Z<kj-$LL63o(
zL6AX@L6||EL61S2A(lapL7AbFL61S3p@l(@!I)tpgC2u5Slk&*dV|G-85S`(GZZsC
zV_40=(f|s3P`ooRfO9iLE+Z(PGlAU?5@%%S0Z|Mr44~KqGZ`2e_JKo;g#lTe1t?0v
z3P6&e{Ck1}V!As61A`>P8L%8fT5(2VQGsq+W?p7Vs%~OwNq%l(NupkAMJj_^Fi0vm
zGd(Y{q_im21tgALIaH~CK}lwAW>sQIW_}(%)i%EQDWy57b_~Il#U-h^4E{-3smUc!
zo?cLCUP)$dDnkIIEM>3>E=epZDJ^i$Pf1n5ZoeIa3Ms1fRNS!on!&NSI5jsZr_wVo
zEuScR^;GoyTtl4mi&7m63UtC!i;6Sz^K8qE^o-zUIhK?ZWhRxDq!!}{YX;xU<f8oI
z{In81NQmo!%!3B0XI@EaQCea$IP{_B!%c*$fvDF@F3B%K3qw7qj?BDthLFUf^wbi!
zqQu<P^8BJ~gdvbf&<jdU%SlZJMIGGf&iT0oiFuU>rLgdE&d*EBOfM}0$26w2TV_rw
z)MiXcP}mmbf^{b5;8Yb*l%G<XT!N`RB(o$Z6;l|)AgHfgG85DD@{3C{lZzQ#Qj<#4
z(-V`B^+Uum^U{6uQ&Ni=0*W&8O48i&K@LnXWeCm7geOZ+e}<6Mijwf6%#u`$aCWUI
zNzDVreKCV;MM+U&NPdA&YFTQIe?e+dVo81x)MSXkKACx-)Qx152}5pTW*$RgQF<AJ
zYhFoFWk7yr9+Kxl5s{e#4m01xf`ZJvbVLXQ=a&{Gr#k276_*s1CYQM7B!X)WO%H}t
zh8%_*hI|GEhH!>_h9ZU>h7<+`hBSsEhJ1!x1_cH;24x0C1_p5ZV-2ri!E#sTW^h}C
zV}pHsz2H?YD>emYMh*@R0Y*?Y0x2)RB#QzgBcCZFg9NVB&&UwMCjw7vE}6vzIf<2i
ziMgo^(u@pZ*fTK$0~aF$D>y<J7<d>N*bVgzKoBAh<}fg@Dljq%8gei)FoQ}p20l?C
zQ&u5MAzL9!5EK+(WRznN6>?>fV}OXUa4`y5vNAAo$nr5OFfg)!bb-wX<X~iA2YZI$
z2nVQ=;)A9bSn<P+oEdRAnU#T2ABPlsX<l|-et8}n#8`Hyv0TuEnwgg_fh$L%xx@%!
z0<2s_%F}wdOkf2U2E0&>kmdx=xZ;GDKWq>$vw+GUwqkH21bZZMAqoo#M45nESZG0Q
zM<~_9rBn_ffvsFIz-JOR4Uj}612Yv{aioXaOl-<wX;BqsCf-ua9Jk?k^|68zIXpzs
z%RoFKimp@)=1$b&QUkZcP!+=608Os&;s%c!(3P@7t7LusjQreG{jB`N<c!Q*ee9WE
zAF5a{t(XN=7P3UgCKxhj=9LIzDGymn^D;|VK&53eQD)~SW$A;<75%)_lH~lN)Wm`U
zBRwM=PJt&=P+aMy6&vf9<QC}TD(T>=;XzcamsZT{RGOKS5}aC60&2*s5aUW#Mg~S@
zMjl3PCT?AR1{Nk}7FI?UZXRAf24*HfArK(~BE&(26o`-o5%M5H5v))ROsa!P4Mt{e
z9$qk0lZjE8g^`PwyZJt-xMKvhs6nM52P3G1$;QCQ2rup#7+IJ=QlN5?gOQnu0jn%0
zs1?b_#mK+_A{hBW2J#7jxFCX&i2;W`P;ZZrsi1Z)ABbRJWX5HVC<6lnA#=n)&H)h&
zjG$IAR)2tch=k0M1epUO7#LY`xks7^_sD?E0TB$0Y`DykBf=a|&_Kh79hW(vUJoIE
zA(_L0%N!*l+ye?4J`e#)S}-gC?zJ)aF@h2bs1pa1fY6{6#ssRrl^Ik(X@?Oc0FeTd
zQ0<@*15l3?gu&ua0;HOekwKM#QH70#jRQ<DGcj_45;kMQ5(WlFMs7w%Mjl2D1`Y;B
zW=1APP)CT70VJ=b!p6zQ3+hEPGJ<-*pftwApv}U?BEX1d57ZSPy)X=Q04VIhm<iNu
zU}oTE&|&0a6b4%ZQ^EkY1Ek6gI>3bJu0cWt<P9cJ>eOY>VH9ChWQ336K+J&H&&bUL
zvK^!ugdtMM1~4##p&m%)E4Y7;qdfxZKSS$xM1_x9Ou-6lZ~+X8LuQ7CB^@A>abZyS
z;gSQ1GlH6zAO=><$b=T=XsVb&gHLE;a4sV_*|313o8hA&T$n)^G^hj00tg{E3pU^b
z7XUNjo%4%aD^h(yE%4l8Q1y_imy!b-m;p<}i2te#3ZOwKNPC%q(Ki6(`T_<9h5#c5
zh5!);hM-`VVC|4j{>~%kJ@;yyVYw){_9iHri7EZ{Nvxv^QeY!KF!znpqaiRF0wjfi
T0b~r+090g<q;XX7a0meaR|aZc

literal 0
HcmV?d00001

diff --git a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.fsproj.FileListAbsolute.txt b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.fsproj.FileListAbsolute.txt
new file mode 100644
index 0000000..67a3207
--- /dev/null
+++ b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.fsproj.FileListAbsolute.txt
@@ -0,0 +1,10 @@
+/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.deps.json
+/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.runtimeconfig.json
+/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.runtimeconfig.dev.json
+/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll
+/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.pdb
+/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.fsprojAssemblyReference.cache
+/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfoInputs.cache
+/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfo.fs
+/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.dll
+/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.pdb
diff --git a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.fsprojAssemblyReference.cache b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.fsprojAssemblyReference.cache
new file mode 100644
index 0000000000000000000000000000000000000000..43293cfaea0e552275d839ee1a68ed0aeb6b3d9f
GIT binary patch
literal 79122
zcmZQzWME+U|NsAg5Y52Az`(=Az`zjao0(jcU!0#-qUThanUkUyl31Kwtmm9xl&Yf;
zmReMtnV)BCXsTzZXP{@Gqu^YcQ&L)#YMYl@T2hplqoWW|nv|27?44Q}lAoQLXPabT
zoMxJ4o@Qv6Vrr0RoX85YOcA>s!Ii}&sky-=i6yBZRh(&=IjLYCvkXK^&pAIQCpEbw
zGe56b&m*xoqa-mYCl%ysPG$xM1{M&3S1CIK0|S>&eqxGSVsc4-5j)gB9M1W<1&Kwe
zMFJp0o%2&t1B&v?GE-8EI6wlynN_JQ-l>(vY+;ExrK!aX49v_7tgPG|*zEFznWcio
z&7L6RP|SZ5XkkAM<SMT9j0_B%EDQ_`oU9BC3<4n51O^5MHZ}$ZhGhMW{M=Oito+2}
zjLckpy}Z)&)Dr!I#N_P6^weVgTzHh_rIsY;7p3YY78K|k=^5!6=oh7?=|e>m3kr<%
zjP#-I@=Gnz3ra04O)V}d)=SCBVFLwD5)CYJNi0d!bI#Ar&Cdhd!@<D7kWT}9JpJ`T
z^KujO64O&td{cAtiz<Ulic%AE!IpB;Fcia6lLCtJD=NVjaWOD3q|v~4AsI!fi7A<R
z>3SiVxv529ySNz`7;0%?S5RqQNoH=Uo@ZW3YEgbcaB5LmW^!t=UU+6+N`84UOd6DE
zco-NMGHKuhQ0nwc%uNkSEzZv=1?70Kk9ipw7~*MUoo`}h4%iYt1_p+58dwsXnp|3x
zSyHLzTvS<5lAm6bSddYv7f_U$n^}@smI}#*{4@&CkfOxA;zVfK>64$F2=S``0|Nss
zGQEFNR%&vIZ+=QD#2!Hg28KpP8U!jVF`}ncsJLfdT7FS(B0K>JF)%RX(9jvdsYRKI
zIhj=m8-*Dd7*c3pBPfT2rzSb)WTxhofYYrAsQRXXO-`k0X{kk!<SEL)z>q)#J0fy(
z^dbThOESPd5u<Akbj(T5FUl;*$c1=OoPmKMn+9I=^w)z_OTLK(1*s`+nK{rbFTudT
z5QN{twBn4!q5?fo-L7w<XR2qUpOcvcs@IE467y0Li&6~r%=F!Y!HPglHE<|OGB7X{
z;WwA8mV--XVtQVFaY<%!u^z}5&{h;EtAXv6Vqjp%rGdSk{-9<=K~ZWks1d3cm019?
z9c-mE0|P?=4Xgw;=JNAW^PnXeT3Ic_z`&3}16x6v0ka^HrBOlRo|B)1T4c%5$Y00_
zCnP^V2a@0985kI%Xb_5^0ut0jQD9(T$fJSz$eoekg4ASixu2Q>PLGN-YU85Dm1{*w
zY91&rKmt;Ufq@~B1|D@RC~(ftD@m<@R5Qvn3QtdeaA^YVp12fcmZidr6cq*rhG=Sf
zEibhMR&;_ROqGFwp_G~yK)r#z&F7kzoDXixgVLuOjhZB=;TfJ-lAHnUH>lI7-+<k-
z5vB%~&Z$KunQ58Hi6ziFPlHA^Jha&dt|&5dQj6eym$1y@(!?BRaAa%Juon>k>Y{<7
zRf|R)L6{Fc67y1EEeLHIRSl>~2;?gr1_p+78srnC?k%{Z3yvpU8f8kfS{*b%;h2|~
zUjlBlL&{P;8pU3CYLcEuNl8IyNoEeHD+mfxeHvAOpk@Tfd;=QA8K{B<`Nb!*xFj_X
zTDBN6FfgRjAc3I88OUEoG|a{ze}U7WF^y_FP~e59CV8YLrlb}jni60;O=y((KnWru
zH^(JExilBnX*8wL0078;!THJAsnF3yGa7{>N}IAMF*!9jzqBYh6&#M{G)jwT9T8Ak
zw4hO+2ibeUC5g$|As|13eP_wQzz|7;oaX5dHr|RxJ_02SztocQ{Gx17^A34%#+pVg
zAw>2n*7MBGEd@^-fIVqLqkdyhY8rH+LNBDUAQi2lZcD?#Xm}e8lq&5Q7#Lz{kVGKk
z7~l}JXJBBcqJb622|pyYq9nX1vm~_$ocdAf8wUmkhC&+Hk5=EHw+|d?G}Z=d-GO4y
ziAL1`Qd<i=w+FJznTBlyXd65rKNC7o>B7LkP)vh3LryaYHd2M)%D})7MgxmMA?QY<
z!V6ShhNmXM>QbcfUUwQ*sjxJNKBNxvr3ZbQ<gR6@c_mJX#i=Qd#g%!<;F89ZM#CH6
zN!^grf*eSr!HY)mh*Tw@RR`WQ8Z1KXy`ha=`p_uDgW8xu;6^Q^#0E#5FO4R(T#6FQ
zLH%tszxgpRFl5mnn<GV`Z)!<m3TR>*lqvja6oKdkHK?PSmXlu&4$}Y{HEv<0by0qD
zYB8iU97v<#1yEXvK<SMH(WuIEsmx2v%}myV6>Xqc3#L&67rC|Rm!Ibj>KbQ4im(uB
z4`V_{8R1htp>#@#0f|M4IXTd|-7p$Wm?0&9@R(3Qem-O}Ih<C$1PyV+$7az==?EIt
zwxGtXUQlX!X-;C1YXxj}3zG37Y1Ta{2KSPS^+4+@K>cN3@VXhuvXUqo6`$bj4xZyh
z&GgYUY7U|`;XxfS=lr~~)S?pTSXB&-`VO#C26Yb4s~EZfDwamc7pZ!3$t*4a4frG0
zCB@OcS%X#!$I~kDLRTlDhAt>^flBoR8dZz1I0da9geIRv8qKdG#iMI(W{I9pW_m_R
zc`Aqm*ZfH|%AbfXQ?XtEQuUuqqoyLP>;aWRpixk;=Tc}?Mfzms6@o2DrBMO__0!OD
zKpGw9(OpuLO4Gp}OQ%D7#yLMPxwNPVHh7#tqe2BaC4#1&ixQKe!^oL5vJpOP24<uN
zmlT2e6`%qoi$;xKaDqf>M`crcZ53jfwKHUC5Xe6{H0q0i0}eE$6;PC!mz-GuU0|3?
zqr$_lG&i*fv;rwC6||Ha(q77=QR+Y&@OLW8FUiRSXS#eE4N4%@0iZ}LpwSc|XgU&P
zej$xoLP$+`@K7UKo4SaGWiis28OVplG@2~*^w$f>EP$?RD4}-c1zm9s8VLg@w^ACl
zso<FxWofc=aRJ!YG8z>bp8k5C#rZjjC8;UFCHX~(>5vh)avJrtP!~@*C+4JrmQF%S
zjtUx;^3M5rX_@JzMc}0c;J~b;kxk%!B)szqO7c}SDtZy^Hl!iGY8qJv9gc#mB!?AO
zH8h&EMjpBWg<vfmTH2r~Em&Kljz&FUq}l}Bqww?rk4hmDWj&2@IIP!%R_-@YJ6sVh
zo$$;&V<YrU6^%5St%Hp}gVIV9jp{ORJ29{{wWt!b*$rHTG}C;*&A%+QC<nYu9c*C>
zjaTcTcIDA}QLQu@6Gqf|If<Fjwf}82Y9+v1tDuz9PNV66lr26Wi#llJ8+gcpEa{|C
z-g3^*E6#_`$#u~+{keg643)sPymT`#Fho#uHYv9_Ilm|;GYOovdZ^v$gH8z`THc^Y
z>ZMU6LEEQbpY+kF1pqDp(MQJnX=E9!!a~WgpnbTs*j<9wtpx36fyN#v&L&d3LP1oL
zkj2nWiN(-)sYx^{V$s_jAa6~kQK1AH00t)&kR?;7-4TPv3up!woY<$*XlM`Qi-_DD
zScM1~X%+zO2nQuXPS93y&gq~{;xj<ROb{^(M9c;eb3nvg5HSx#%m)z*K*T~2u?R#g
z1`$g@#8MEk3`8sk5i3B%N)WLMM63o8Ye2+W5U~zKtOpSrK*UB6u?a+M1`%68#8wco
z4Mc1Q5j#M{P7tvRMC=9;dqBiq5U~$L><1ACK*T{1aR@{l1`$U<#8D7&3`86U5hp;z
zNf2=gM4Sc@XF$YR5OEGfoCgsXK*U85aS23R1`$_4#8nV+4MbcA5jQ}@O%QPlMBD}u
zcR<8l5OEJg+y@a4K*U23@d!jb1`$s{#8VLQ3`9H!5idZ*OAzr2M7#zOZ$QLb5b+K~
zyay2<K*UE7@d-qH1`%IC#8(jU4Mcng5kEl0PZ047MEnL3e?Y`v5b+O0{09-BQye%M
zL1zarfe2<0!2%*cCoOQYfmrMyf&)Zwf(R}U!3`pKKm;#{-~$o-AVL5{2!aS95FrdA
zL_mZnh!6u2;vhl-L`Z@NDG(tIB4j{>EQpW;5%M5H0YoT*2qh4q3?fuOgeoHg11l&!
zYa_}f<P#?#ISzdOgEqKi1f2^3I-`I&H$R0XH$NqtDKU>FCAFZKtr&DtL@{eoNm*(U
zQ(7Ja0}B%q69XrQ4!X&pQP9*BJ;&nW)ZC<;O3(&#c+UiMj07WyV3=Z`Ddm0*6krUT
zYK#mFTwGiXjG#;haxIFiI!qRn8!==xV6vcWiXp2BlLh5p3|TFhEGT1R$ZEr6K{*~n
zRtF{vDhe=Ubz!ogG6F+Z4<-vLJTPSSVX~l71w+;VCJQQVFk}s3vY>JZL)Hi;3o4*6
zWQ}36pppwi)&wRCD$+1yO<}U2vJOMm3?>UI1TkdIVX~mo5iI*;YNFuhtB|x|0h0w4
zn_yYwlw%2#1(l~5vQ{uzP(h0!YYmeHmB1LXHZWOG(TpK$3zG$v*%-2RFj-Jxjv;Fg
zlLeLX7_ts9Sy1thA?pZ}1=R}}vQ98rP=$dZ>kN|x)g&0QE-+b86@ww`3X=uZJs7fX
zFj-Kggdyt=lLggQ7_uHPSx_~GA?pc~1=VjDvR*J*P{oHK>kX3y)rc6fJ}_BORf!?%
z3zG%ap%}7$Fj-LLiXrO{lLghf7_tE{Sx|M1AsYyj1=Z6SvOzFePz8=58w`^L)$ACu
zAuw4`m5(7C3X=u31u$g8V6vb_0)}ijOcvC7z>tlA$%2{{7_yNtSx|ceLpBN~3u=g9
z$VS6tK`j&v*%+8CsOf?s8w-;KwP`S9<6yF&#tw#TJWLkU3c`?0fXRZIM;Nk+Fj-K$
z2}3psCJSm%VaO)KWI-)04A~TzET{>FAqzU|30%X1+GZHCX)wK@MjM7~I!qSSn!}LI
zfXRZIc^I;pFj-Lh4?{K!CJSm9V#sF0WI-)P4A~r*ET}1oA)5=61+_6TWb<IMpvEVL
zY(7jD)GEc0Er7{_nyVPHg)muAI~GH>2qp_^;9|%Y!(>4%Ukuq2m@KGCj3HYJlLfVv
zF=WeNvY<vZhHN=Z7Sy`Nkgb5pf|}hJvXwAdP<tFhwhAT-YN%t#R>NdLEqDys8kj7o
zX^$aW3zG%4`7vbcV6vdj0ETQmOcvBjz>sZ#$%48M7_yBpSx~<ML$(Pf3+ixS$Tq`d
zK|K)+*%p{AsEdLj+X|Bf^<6Mz+hDSwP7Q`^J4_bT+rg0SfXRZoK^U@~Fj-Ll2t&3D
zCJX8~VaRsFWI;VD4A~x-EU2r6A=?X+1@*x&Wcy&Upw1bFY(GpE)N8|#odA;sb>}c-
zC&FYw{X7iWNibPZ2M|McGE5fKGsKXc0+R)G88Kw1!el{xNetO(Fj-J16GL`7OcvB&
z#*m!>lLd84F=S`LWI_E^4B1&QSx`q7Lv}Vy7SzMVkevgQ1$BKfWaq+UL49Hj*?BNo
zP-huKc0NoN)QiTDT>z5>b+0jG7s6yg{ca4|MKD=Vha5w8F-#WJQ^$~90+R)G;W1>F
z!el{xdkooSFj-KiA47IIOcpd6fFZjACJP!Sz>r-DlLd_*V92h5$$|zJFl1N5WI-bi
z7_w_%vY?>|4B53XS<n~-hU_|+ENJioLl$&KBe<;s8r8s%-2l@I8t%Z5-3XHfje}sw
zZi2~z21qbuH^XE>BPSTLTVS%FAr%bStx#E3&`<_RBO;))(pWPRiyi$~@)C1XnF_L*
z3$ja?%TkM2({d8ii`kP4N)wBcGeBybJ(-d-*)tN0GaPf$Im<v>+H(sMOE{AAQ&N)>
zi&NRNQ!5J+GmBUgi-Svw*fWcRL4z+`8HvTt1*MKf$r+rPu#LGKMX9;qsYeDzc6QK_
zo(#;)OrS!Kfr*ici4QU^qz658ii3lZ!xSony4C_Z$dj2`3?J_SoxTY_?8}B&T~M1q
ztH~2fGLyjPHZU@Rhl&{4wlOj=2t!Q*tpJ6csL8n<G{&_9MC@c_02TM36IK}*K@;sP
zZvX!OC(qHKb5YsLK&Oz#$1{Kq(qv$9{rCSrWqx5`U_h7&vVn_>Z4V;@Ll_o+A<lp`
z(K7@c0!#W4u%OdU89^gwpajXtwwIBCK?rIScz7LhR4C^@P}uDU5eLu%kkS6%|No#s
z1cfQ1-M|0;L4g2u`C&!|hEPoNkR5JBfx|(AdJu;nVPs&ChgyW|>`~66AP*b^5yvrn
zVS(%mb5viPVq{=QB49YOmnew~&`2c2OQ+FNGwftj&NCn%oCOi*FuY-i><t4{Z(Kx6
zMlb`Boo+x}Y$PX}Cm9;2r6s2rrKF^og3cM?VgwD7LY#hyk%2)B8eoXIPw-i(oR>ik
zzXBqzVz^!l+4Y*JuD`*^zz~VuOk@vG684~xT!;s5GBPmeLM?;MLZa`$g-*9Zr8#eb
zymT8x+`;gdGP1vvQ2lkEk%6IrB&(3UYoKRL&dJZ<Y!4cmhIsb@BLjmZ)D5756I305
z7M4K{d*yrx^3@{{@fgEvGRR(&M)le=Mh1o$oW>%1gOXSSjiE!l@tl!?fgi~}&>^y%
zFF@{o2_jx$I9?Rl@gk^>f6K_g5QJtJvXd#vDWHLUh?CzjGBBt^ZGo@kKw0;RSb)R%
z9^{J;AmSs2SNM><!i(yaFN_QfSwvcb>_tjq1vEPW@#0sc#D%gd27K@>=QoglzJrJ#
z7@lHB_7oecr+y<PE=*&Qy+KJ#fu>O)-uQ!5H6k6T%lQ}N^nV}%bap$a-UC;Jptc1g
z1G4-7|3#@9nV1k&Ba(T@4yPpiK{GrMhch!VFc?B(A6i&p93~AFM>+$BlZ6R%`Z<VT
zV?t{)G5-9EROSCb^%o}-149YP)**YFk}?f6bp`P@7ZU>m>`Zv5_w-;h`QWvdoZKMK
zfzH|I<i+seCuARfMD?Kn69Yp$nh#M-M)eGFNAsJTCz>Xkni*Oeo1_|8fQ}R5Vg${!
zK|CYK#K0f|wGvc7!_OM#6asld7(|F*c;Yp(Ctjg?LY#?#Asm~DsE#)zrgp*F8URfM
zLL4u_#J~XSDL{`e=9C1vSPDc)V>tT>va=tfI$Ms3fgup;Y^YhN4mKj&!JxTGh=b*s
z7#IYgmVnoQfcD99Du7(82qKg)oO~DA$#+nltjff|5R7gbvZE=<=AbE4h@;h*2-PI;
z-c~WEI>;LuAVL$vFV~R$auwAtI!uIW5`-nlUNk1IS&4o@1-O|4n)iixQJ0B<K^hv8
z*bZ>!)C2iQA4C{nc<Vf}x6Yw@%b1CQAr6nh$X=l&wm_5A5U-dpF)(l=oe|Ax3Uaj>
zh%m=+`UzyGA4he%6%zx4ACf`HPBkU(S`cukgJ#SjPPJxYU{Hbv4)R_=&^i!kcN|o2
zaN2+zZwn&qFnn+j*#`$uec;H%z>rGVd}NPNQbT|y`yn24Vq##Bg<6cZ`VV@XHK#Mk
zJ1!u?6~j-vko~k1)lVKw3=9c)jYjp32{ENs61F-5v^oLe9Zx0(1_h{{pz#r`M`d$*
zfjr|4B787>v>Dk)n^1k^&&0rxOvrR(Pf^mZ2Q8|Acq)L2fk6UlEvP6)sb@I@LH-B=
z5y2RqS%d7E)u^5cV`5;4#$_t9Ck%+pLD*sjwDtqyiEyOa8)e@UX9URYksu-p!vjl^
zJ+K7T1F=Z8H;ReKj;Exg0xeB}I6e+329UEq_{?z5c#zu@Ktv*j2j(GrU@oc$QjlT*
z!&GW{0<?k#;t9~bL|o7a_e(9|Oar+%9YkbcID0y>v!|gtJDZ7t!53i;vO|eYDrk2w
zfeTyEVjhS?bC?(y<e(NHZ-7EN)0{IG<nBBWk&of{3CND`M|FG=69YpcezTE1L`m`i
ztv`ZzsF(>cFo%*-^<3cxrgN5nJW~oH$}oJ?iR_~eR3B9`AqM7f8BQ%Pffh|cyi~=+
zz#s?>N5paLoYf%r*MNvx3{Ny6d!iB56AerZ3?UfCAv>Frq7<~63*ziXq@;y<8X5d}
zcg`k|^P53L3x*%6k^NAG>W6luq=mz5WDil2v_K2cARg)fwV{yCj_2$IIlK!*bYr-_
z1lje)sIKn=wV{v<LO9h3RQ?lFH)HJrfmXvooZ8RCz@Q3^W9-8`u+5^J6F}~t2qGq7
zcp?|s6FI1!n99V!kU^9c2=7rgZ2(%%2l3uCq`o$4^g~a&=bR4m&<qeU6T??&$i7NN
z_0=4tzBX2qspT2a>O+WU<}xA1ezC_D`XTz9^FSV(4<Z&|_%0sVcX6n`Tg-$Q`z6jQ
zWbaZ^EP$3%LcF^Ksow}2Cjm7du^rgYxfJBbWgucXhDRfiJsOVc(N#$OMnaY#dy$fY
z0<<O+;>FcWsN=$*YXLadfPAqQM6AQ`N+7aV0#LoOkqLEN7-Sf=oD5p13UTr#Cd3R1
zEWn_b3~+7+IeH6-*oxtDFJzZ{qPlzs6JiDh%}i=}0JN4C;(?t=ZC;d&%ef2W^4%a}
z4~Fxdk)7{^>iqpkZC(@;spWXkQeTMU4=^z>h(pU#r1>lG!FQYoK~6seA`WA?-v-(J
z)~N13#>Bu7g~L#4c>%N@8RCWGNHq>9J0tZ5K@+=3M<{ci0Qu!4h&YAeAyZ@znV@>;
zEK-ew-wI^!5!p^QHcU!0wlFnIOffbyNi_zYjL*dgT2Kw~-Z`ZF0Xm2PbVUI48VAnv
zAg^2i5f?H1qlfGtT~z;ELCPO!W}<q4{6SIBns0~)t}-z&z<MMRxjCHIK<>Q`B5q(f
zS{>QZYN(FBjnpHF$jw1@DEULrpylTfhu%TT3!tHAP)NfL{pP$2a_~J6aUa9g3dpXO
zM|Jfhq`ZJ`D5@984{OjGd59MtGchoTLUSH!Lgjn{a{E&d@eIQQlE@yAK=r^&CI*HG
ztVW_bpZwWb&?0__^IxG=U!WM^d<}B*8xZjp!{I{64i`jq_y@G=3uG9wlPPIbfOZx@
zocs}~uK|i*ESGC=egZlEGl=+t;R9}DA8?`i;5$-Z1Bcnj9-^cP0on`!@z4*X@&+^x
zg>-WV=TDFyeu0SJ7#?9k_6ReoNB$v|H)v*3%LAbO8W0csXF{y(0fid$2y;#bW(EdM
zMi9Zoj6Tix_YcxE-=9Ay)0eEwi0Mlt^N<}*Nm2rBC4o4cjTtc_f-+JBx_bk1oIEFJ
zWf~_3$P=Kur%~r%zae|#E2<}Wm=Pl)ILt=&5G6?owEG3(Azo%gX@olL%*hAx0zZfl
zz=(|Z$o_bT>JMRNL}`R-B(n2~jSp;tnV{`C5a)|9BSy`U!whjD3a2Q@2Vx*X9K#zg
zkiGF7)f-aGh*5LwMk9NNlGp(4CxUoK8sto9LGJ0#DFfolf(SVbr$0n?`U6y_D>5@M
z_`r=pb|$f*j%{2Jw6O`|OeLgH2W2<ROItXVL9SK-5vmwYzlH4do2X9LKniv2MpMf>
zpq*F{?`Se3Cg+idIpG(=aB6`(q75Q+Fnn_v**BL^eWTBen4HIIGQu;4dPWqio&s$g
zgLuY(88PvKbjSkeh-0KNPD7Aij6j4jhKJ4|d+0Q(hs>A}6E8STM|cV}q(jskIM%sV
z(0(_Fr_7mA*V4j<CpaxYUa$laRv7*`itLXgsQ$2JMqR`TGZ5A3L^b!YIvunb58`w?
zW(EdcXkLU|j>BmWa<2o3aKv!*K4eGlMRl|bGXp~aiczS}C8~jqb!-r{I}qYrS7rtV
zEvOyHr5@-EImnrApi{|G;cad=kT={xga?LSwj=vx8>(NtnHd;ziMI#UqvXd6Xrm*<
zqdv?G42n<(pf<zxkh`P4Ag}p>2!9O!Z9w+ldQ|@fF*7iv5HudyTj0@MGS^Ilc4$Jp
z70irS-U1y~;S2#eKNLiSVfbMsvL9BU`XQ1TvAhLp7OI2Ej|b4EQHX=1m=R-3NTVB|
zGeJ3{L2ix#5wRE!Uxe)Ng{TfsU`C8Bp_z&70ZQs@(7slP2NIbP!!w{73wkUe_)a6v
zB#`5iK|~6M4`w6#U>2$m(wPy%Gw6mQdx4VGgrLp05HDmfGcYJa6DxA2N3fwy+f0y8
zvOq*OhIghQduKALck-AS7}AKa0M%<mbyu;LXP}+K5U=GkGcd40Z00NgIlK@=6k)i&
z7uoeasID(%W?=Ayn1Sj*q6%EB3nf6Cmmv-;Lu!10VjAgiTF8Y?oaG=FSAd903}?3?
zJG&Lt*)>Rw53D95dxny{0NQH}@k}jJ_Xt{Ips()atONO^9z--?c&8rOJ9VhuX-4WE
z;V>K7LzJ|1LEFP29%^AmOqHS45@;7uakhfI)CMBjG5l45?5}cEe|0e<rpoYJf$Tj>
z;tRCD9pb%iX2j$%;<78w9*{43K|~*hR|=86Qh@4}iOh(}V}x<Y&L(oL6xK`)+ISCf
z_9Ub{gVYK|YTr%<IerR=n2O<pEMy;KqWWM4Ql7zTGO}kVi389%0T9p3WJat>K$%HE
zI;xa&7RW2JLBt#k|0E;(CkfR*^O+HA5^xz#EiZu%H-LC)0aBF+8cRaH^^0>M$QO%1
z#9|Du#2|Ym8r3Vykg7y<Ly^5eNyZ1AzyR^Wa%RLP6xdm=NShy4fZV?lM6AN_L@2T+
zLQp-imKm`L1=CnmZxC0zVC$)aj*5VIV;wUCgA}Cd(nCtmusg~)*Mq#U0Yq%X@P{9=
zKYUUBv4xp|Ar`l}2#*-*nNZNJ1)XXE@yJ%BT!Pl5(*sQ*fi6Ge+y?T<b`Y@x!#D28
zzHvkK&2FSzg3EA(mrV4`DDV>KC=Q61_8<+t!5WQ_yHz;%g8Z-#MC`}#hy$`m>`^^(
z2x;gI)ktLL6FKRHwPOo9D+J>F!_0_X0HFK`zqyI?2*}|_LBuf(*IOdH-U8M2Cz%nu
z08mUsc0478F6bx|h~rNo^*YdQfa5$3a`_n$aTde*M##=LM0NfJq+SP_nbh(C=(H7x
z2QDHF!6A<<A+D9<yae*XWe{-%!ynqn{?J18$91G3IP6AK%R8XsVIbbQ!OXzG4J}VV
zSJrXf1iAYbh`5d6cok&FE2BF89y0@jACf`HP9-+oV;gb?omB&I>U}&V5$w_y&Icfu
zKLinvFq|)o?0gwi=Rd_$62S~d^%7B?B&=B(bifY8OV5}QTN#kbKky0z(A9dJ&p|$U
z0U};vct;G`JEExGdBcp@%7D#aWUo+?u|cN+LA>%7Id*Vd+Q<10<dgRx;sb_v_>sNC
zhw7cr$gzXNaB6u8bc7MaOJ9&WRiI%wELQ?@eg%2v8;JOh;Uf-YAF-qQ=oeC_3WwRq
z9-^de1v+&J;-TLtL)19#8|3^0^37im@ejjGjL2SMK=l$M3-S;(4%3l6MM=T~9To-g
z6cY=gr3J3MK-;wR5S1b`3j+fu3y5H4L7&?E^&4qw^XG4rsZ9<RL`w^cxzzFq=v*s^
zM>ts!gF$HhQP3m;{GLQkE|6!qK?Dzmk3J*&=o6}s_*oExLHH~{_8KJ#4|FIO#A^a9
zh%sN-5CX~`4n5FKjGTfXKM8>dVGNJGLH5{dRF8?VAjW)g8;|TQ13lvQ+F)zsgH98J
zcuSlG(St;4<fGj5$SDExk0gkY!tm5nWKTUo^^`0Nq6dk~aB6u8bOaj2OL8oTDLEut
zk$PbAAg?HZ2t^G4+(Y)yT~z<5upp-7u$qkQ8A^%<(1~pj&#1B>P08W9qLNb$<QH`i
zp@HF{>&PCuhUy`0<nj)e>8PF}Khc2>nuB;shXt{40G8MxH(+w=f;^!IBJ?qQask;V
z=TUuP#DZ8jfNCVN^NAcn!rJ5korDK*zA*~}d><iFG63I!gLJDVrwPa#rXa!$!!IY1
z{c-};FP1EbeS~<-r<TV+hxkD}W`$G_A;$0F*LHGRgZyFxB5W}{bO_l)2T?ubfK(4*
zF&Eh*loZyW^9CUvab!WvtALLG0Nq6lyAPDp3FHB15aEL1i`~e+*oEo~cNWCF3c8`l
zUZ5o7gAPT6c)^1O(W?PnK)~q<a<LbP@WycV7G!5{Ms>Cy3!+y8G6>nJl!P|ughq%{
z{gJXWXtDsQqzwSMHxNVwVK{m%vZL3aIyw|7JEIzj?0iZ>8gzst#Q9+?h@F|psS|t$
zDrY#z@ev>*62k|}kbSTe)dw*wh@F`jrc%ojppz~ko`_{ZEM`LPcq6V><%|P)A|6B}
zVEAM{vQOrr`XreJv9=7m(a7F0&@&{ziU6I>3Gq(~QYDTYeDHf)Ia5JCNdpn-7~YwI
z?49YT-pN9$#Ic%;>KpR=$e^P{A)d)b@(gUXh#r^$y%Lr)2jq`j5Rr%BnTg1rnSkn<
zLL|?C4Fp}43T8k}M)nLP*#&g+Da12HEQql?P<f&U8(ZKk2D!fkM3iE9q6^s*ov5Cu
zU_p%Cp_qv5cuJ~n(7~(_$5*m2FbE*-Z-882%UK0-b2W&l!EkspvcsED9bV7Ezz~dX
z8mgnoABYE?7YlK80}En40UWoWNQU2s%h?EWcoT?d#&CTNvg@l+UEjunm`}ho7TFt=
zBplGewh(W$BUQ@qi;$rA>~eO1+}{Zzx-dLZitLFJR8RCGRm$jwqI!Y+j0`$`7vhCJ
zq>PNZJXH^JdoO1{$O{ud#6%2#<RSYb7u6qAkTNn>laW0`Y_*MTFcNfFFvK%cSr8Mr
zh-N0|G?3$`gNPXzK1fIQK^m$LX0sqBa1q9l<7{j_R?sQN5NFR}LF_jPPfg;S3v%i_
z5HTOay$Q(fjYoCwA{N9B`0&&uWQP(v*o)1fpaYd54qc2iVt_P&30j?myk&d|$mvT#
z#4-%`M<TmF0@eL1kwy$~8;|TQW6&O8!mGrvPN0KMf`)i&6<TW#vFL<zHOLohK*U-M
zuLL1`B@ops8_-&N2qTf5Pe~~RI;tAt{EaLO@T2u$w=8pR0=aoJh}eSRaBpOXd!agf
zI}2h9CCo5tIT>_*HpIz0KwSaoA&sCrn>lxaT)GQH?8b1e3$k;aQJuRF)D=K72-&Gb
zrg^Np*+7SRL!7!FX}AJjr=Xky=v-XDc>v_}gCOD%hWl-i-EV{H{-a346*x^t_7o*a
z26P5F#8bzR>R-&ur8$p-JaPg=oW$^r8M1FoQGIg;ss6<@mRjBb9hMI9##t7`{u9(Q
zCg7J=bDjfv<2;DCfZ-Q?WWVU4`sFfG9|4Ei)bbGMe0PY4t{}BUQBG;*ybAKcH4t$f
z!y6jN-cU#N#x10lD2j>5jwdpwU>!sP9X}6o{B0!1gJ)0R=O)|%x%)1NxQF3*MP$b-
zpgR5`lH*ZKM0PwSIRbP#KE&~lkeYIcp%BO#Z_dXcr#}G^Pchsth3tMwRQJC?YRaJ-
zN-Zydj_`+g;U$t6pvxWLw}ErM0=fP*h<JnH1z}__2%&o6J(3sD4Mp|>kx2+^VGFuv
z0OExYEQp<ONF8&|k06JC0ui4vT+f5-dTvzLe`7)HghMh9+2NEVAJ7#D5Ql%qG0q6u
z9*~)r&iMo6_Maf)7lsE|kv+hI>VdyF#u=gJB720`CN#Dt9_Y3Ph)4b*&37T%yn5h~
zVC37-Isbz^!@vsKp~#9pgZJ+j(hT0;UnnzpEUbw6E_@asdySHwGU%!ah}T$I5uHxh
zfI8A5Nj8vQ*g*sbhKIf*d*~aghqzf0olZ<+k-b4l41w;%fOvz4m4QJD(M1nOyT_fA
z7vu##5W$b(j}OTHc#rB2Ayx*4Sls3!dxVla1G>Hg;t^q1#O4g>>OW2qkh?`egcye7
zUm`pH1*+pESrMBvpk^UEn8?xzYXt|oQ3T>(DOSWJ4|r4ue%m~!G|0&^AVL<y-H(vn
z{SejN3ap4p9#kVyolkyOA9Upj#QBP>*w(cmZm{Q60=ZuqM5thR;x@7;ZlQWYofX@<
z7KFjbUZEuEfbM63ctwL1aiA(J&!J9TBaPT=f_$U}BD68Qbp_d5mr=c?$BH;mm5?RK
zUZf<OgD#nYcu}7fu@eZ<GssEI%q`|L0C~m`L>OWC=q$32&Y=3plohcP2+d4n4^R?E
zpnGs29x!7?bW365Se)h{M_YghOAMDELw5O5RF~VZBD$q8!;qa!YzD_RegwLl2jXN~
zR>a0i<a5h8?LaQJ2N4b!&fbsg?0u-tc4kFvtVA}DT22Su90YN?3sPvqqL$MY<YG4v
z;f~?#9mvk!j_PbLq|k;LMvjxQH8nuj89|)vja2?S=jRpY=cID_fE?=!BK$C1yb;;O
z8&F*wh*bVV%|doCB`F$o!xF^7K?F-3xBQ~q#FCQKqGHZqkS9VwL@0(&Rw4UjC8|#%
z2$nhsOOU-tNgD}tO%%k7k*o|19J$5G`9(RINt{t2=SPEx7z{rwM)t!ZR6oSCGB9|<
zOhI)dakB^5vMK1cDu^Q!SP^G{!^a6Z6G84w0ujj=j-7+-*x9I#O=Crz0S-3}+0m3F
z9?&IP5J#sYrFQ6m6=w#>wV5Cy3&Y7%k)1pR)ycU?sU2z-vV(~&46$WT(7j#|2j{UO
zRvdtvCax6)MXANbnfZCeocSO}7l4RD443yIySx|G<t40$6$j{sB71?7IuvyI7{m*u
zNM3-|;IP_*vkc_=au890;e~c&FSMb0p&H2x=!PPDfs$kcx*-kXg&J1GYALi?6wo2x
zkhR^MwIFZQfrxqxzce8Gr5@EUO{|F3p*T%P_7t&63tI*TUF-(&R5Pd{jp%BGWfqqv
z<~Su5XC`yDfIQI(BHA!~Qi<%73RItTf|@p1jYK%#5bSzljts@x5dd912XTKFQrirz
z56jsNa(fSm=*93r5wZsgQ9UpL<N-)@BJWKCb-WQi0G%K~{x);a?RXFmOhjrefR@pM
zvLfdskfSGqh$$E@&qj867OKmqBefP_h9Nr{9O{H8X|V1L23^?)aq<jS#Ofi?7AMY`
zAeYVp5wkIzn}Y1zWK`$QV@0eU0vSXtr-JSeggA9RD`NQ#C_o}|b6}m5)FRFWASW*b
z5sNU~9gFPl7*uyJWkoE%!7vrs6BHCY{Gi+T7BDa{FfphwFt9W*Fic@!U;te*1L6k-
zI~p>8hp!kJ*f0JHKeF!ThsAm=tN7Rb<$d|$Z`Pas_TS89In6#ZC&_KHem?8w)jJ38
z&bnkKtjIKhyU6Be!_@jC56cDmkFl5gYrZhzoAiqH&65|32bR8n@i8UFhiCG^)iX6>
zlXO<4>d5}OW?K@Qulw|4UEF&9BhzfvWV(c$QzaB~4@@@kjk+|MA9Q6P=wd&n4fgT%
zf>*h$SU~p&!tOGGUVgv=a(%pSVpe_;TfA>(9*A-(&CE&Rj1NjJ%LLVBpc{cWI5<EH
z%fYt~!cM5-2i>bTG=c(j`5#J9FoJFZ1O*4k|4a;s;W>WLHG4zDQ=q#5Q9T8^7!c+u
zP%MEkDE9b4m+leeDetx;rz=8co9x;qWi7$*$ok*b&2KCjN?1hAmOnmyvp$~XJb!Cp
z=!!{wt2AH#6+FLtt@U!gf6MnSR?5lhHRtlV%=}%%BRg-8Qe^8g3wOD^uZ3qOElIRt
z*zqg%n#{Qer=NaKHaNLJ-my7!zVv&QGn(SZZVEqM>S$~w%X)L)C2fn-{Ggiw!Jax(
zE&Tti?%hB}&^3WDPk}rG_ta%Z1_q)$HQ+fBbYURaQ?Q)K2)aEG<|&YeKp5mXe$YjH
zL&H;`+X7KN1-d#A<|&Y8z&EZkFfj0guHYLQo&wzyi0UcOrGYR{fno`SL7w9WUCl?7
zrv^Mvf$k3kdkUVXK$i)^JO%O$+*6=S`iSz>fafXDO@d%g!SfX8T0xknKpp~NkmvY8
zm-G?ksR55E&`pA1Pr+jfbgdxFQy|a4Jq5bCk0?(Kcuaw=7X*6>9#f#Z24S88c?g6-
zp5q5y+cz{k#mdA0zBL)%xMBpg0b!m3c?Mqkfo|#(0Jj)H!VC<c1|pcn54ye&95UOh
zV!|X%9&|E-?(#!61gs8Jgo19$BPwJDJPm`c^8<Sdo`ykp`yqP@9^IgO^oE9~K$rcY
zdJ1&&AF`)FjYv>z@q=#KBg#_)o-sk!0fIdR&zPXQ0b!m3#S#dEJq5aQZ)kW5bT1&P
zr$Cnk!aN1alyFahF5DX$o&wzpi0UcO6@f5Mfjk7l;Ftnk#WyrO1-dT~)l;C$17V(G
z1^EVw`9Zhy4Gm9$t`J1^6zD!dn5RJg0VP2Y%@4Ys4|}};y0Z^#2)teZUEqgo2&mf%
zHUxAd-p~jc(6xPFPr*wY&>em-Pl1Y0cp3)XjE6mBK-cAg4S|OY=<Yn2A)pX}VSdo<
zbVDO#Kv(F2Jp~UL(0zI^Pk}-Ogh3wT2i;gVG&}{mRu9!vpgZ=kdJ1%(-O%t9=+Zq@
zPl0aWgLw)RLomz_y60|acnWkGAF8K7H}k<f1xk7#4DuL1=&HM+;VIC4e5jrRUCxKq
zQ=qHwhK8p=_w%883UpZ?%u^^uDCjP{q2Vdeg?*@=0^QyR^AsrQfiO7vbutk-;y2)(
zAkaO2U{Aq2L7+?hK%N4{638<!%n!OUZ)n66=w3gtr{MJz=#oE>r$EgSP%MEk$YcDV
z8}o*Sr$E>Gp?V5*#~)TtfiB7$8lD2(=7;Jj(A9o0Pl1vkJf=XG;tdT?fo|?Y^%UqD
zKbWUL9s*%-@&jFuH#9s2y2B6EQ=kj|uzCt~bKcPK6zF<CR8N8K`oroe(0zJC!&9J3
z|4=;zx&aWYr$CqN4Gm9$ZURL06zEz&teyg0v`3Vuw*Hy$oT)y&U9Q}!|6ZrX3E3-5
zyHa;5$R<SEO*=9vRjy;sL3<I=*IVt^2pX>AzHEH-U4mk|?sSP)hAY<X<z2w8uX>|)
zSN=)<zma`cZkayuvFvemW`FV6x<yUIcHPOZ)0*?ApZM+`@N{}i$|H&SuJ^uVYiSF)
zuRWZq{q-;hYwSvX&~1QVPZ{pF2wQ9BXUYh=8W83wPyqqM{Gi+Ri1O5cw<thY0)jmS
zZ&85m2SoN1yz~Rz#)rN847#EZYzVyj47#rm*${ZhfG)=y8X*I^!4K>yc*uaR^F#I&
zJY+x@<`Lzo0Uw(M-RcMS6uhkky5bMnQ}A&l&}Di<!&9Ie|4=;zy8aL5DU@aj=zhJS
z;i=CUGeMvm0b!m3B|Q)Z<tu*BU3){rQ=kh0QDX{pJ0Mn1f$rcN8lD1O6o~36(5-<m
zPoX3~(4Blk!&9J(15rH%x<wG?DNxb_VQ}&TUC@WUUI5+N2Q~y=FMzJ_gBgMnGN9}6
zhDOMM?(hS93SNYQF7$(W3KS|J3=SF4#d$-+Q=r@ZP(1~@>JR2Al$ZitsW&t{1-kbS
z)l;BL0I_-sbhF;j@D%9!KU7bF?g9jP3Y6?XF$J%|LAUD-4Nrlt07Uf^=srM@r(i=s
zAdi9b6zHnGq2VdeeSoN*0$mP>>?u%;fjtGfijOEy4S0V6bYCFYQ}9+X=<+~hPk}rH
z!u+5+`H1q=fVYZ47YBkp1uxP;w+JG83LaCSi};3yr$Dy_qIwE+bs)@Bu>1s$DbUS)
zL&H;`>jP0e1-eTR*;DYC0^Qm-G&}{mS`gJ!pnC>ko&tFYguyWdy2y_xPYrlM0lIAv
z>?wFb0lIn+<|&Y8;GP0q=QlJw1-f$()l;Ag2$4MnuY5tb{9$hugRcGq8v<_?gYE%D
zHUtzpAj}WCbC0Ny8So+$bTJ^<Q}7}bbW0%2Q=q5@VX&t_H}4G%Pl2unMD-Ntu0WWl
zKt(9rQ=n`2hK8p=cLSn&3UpB*%u^r_fiO6xKo{^4<*5NLZ9umKf;|N<Z9rEB!aN1?
z3_N3k?&KrNQv;r-Ko<vsJq6EGpj!lCo&v=Z2!lMw54xCdXm|>AdmyT(KvxN3^%Ure
zzM<hM&^>~vo&sGe2=f$5K>@n5Z)kW5bgv+)r$CnsB6|vy^gx&&bbsH_@D%8hK~ztH
zZX5)83Y3>Xy-j#Q0lLO-Xm|>A*C48=Ko<{!JO%O)8v_GqFclP04E&%g{f368K=%%!
zdJ1$2A<R=?-#`g|&`p0s!&9K^2vI!+x|<N@DNqswVUWN0LHGX+4NrkCDMa-Y=*B{<
zo&sG4I5a#3y0H+|Q=sb$v3d%0Ng(#7KIrB^up#iKKIj@jm?5BOhGBltReeJvWI*=`
zf;|OqmVho7MD`TC2nAi(H#9s2x>XR>Q=lsbVV(kIN)QIc7C-3PzM<hM(A|Qlo&sGo
zh}Bb|oBM`_r$E;WqIwE+*C5POC~Ym!-F-vDQ=kh5Q9T8^Z4l-uP|^coaPkA);5Rfp
z1-fPs)l;B52eEnzbcx^4@D%8#K~ztHt{sGV3MKi0F7O)~o&w!6i0UcOm4h%(fs!4l
zAqk@SK^OQ94Nrk?8ASCI=*mH?o&w$CH#9s2x@r*BQ=oeXVV(jN5+DqYDbP)RL&H;`
z>jqIh1-g3>*;DZ32fEa6Xm|>A^B}6HK-Un$JOzp&cryufyWi086zB><R8N8KBgE<{
z&<%e>!&9JZ2vI!+x|0y*DU>1|bm8C7@D%7)LR3$It|)|g3RFmdFen-FgRTP{8lD2(
zS%~T>&;^DtPocyV=(@n6;VICahNzwbU2q8V6eyNJ7#vfe8w7`jr$E;nqIwE+=OI>4
zfi4pq8lD2(c!=sL(DjEfPk~~H4@7_t)&N~8I5a#3y7v&(Q=m%_kv#>kr$AQ=4h>I%
z?mtBJ6zDQUn5RJb34}qB#Sgk_aA<f6bRQzBr$Cn@!aN1?3_PYl*ANa3Pl4`AMD-Nt
z;zVRmfjkDn{Gi(jhlZy>S16)-3Ur?$%u}GG2f|=afo>}t8lD1Osfg++(EW<Yo`NSo
z(A9<5M?^vQ8G;RgkBEXUH-s62QiFqT4;&gH1G?f6>?!z&DCoXJteyg0F*r0l1-b_j
z)l;BL5n-MJrCk{22i-eJl&1!KodD=^M6jpe>jXeICBi%fOTQqG@q=z4B+63*zD@vi
zO(NJ+@Z<-&GZE$~P)P&AU{8T=Cmb4{0$rhq>M78Dida1by2FqtPYw7MLeNEvU{Arf
z5Q1)9gn0@SLomz_y4a8?PYrnT1Kqv|_7pt%fv#eNc?y*DKp5mPe$f4fL&H;`OBhi-
z1-g+DtEWI09S#jofo@|&^%Ur8My#F!U3)k*JO#R&5!F+miyC2`0wp^b<_BGeI5a#3
zy0a10Q=khRVV(lzClCgCj30DI;?VFE=psi{Pl0ZA#Of)~t%*c=YQT$h(AAD$Pr-|H
z&^?bZPk~|xhWSC4DH7$W0WZ=)H$H+r1uxP;*FVBM1xk7#4DuL1=z_(e;VIB9kf@#l
zT?q;E6iU|vbjRY*@D%7GNK{WTvNABhJOzp&SfiF7bkE|@@D%7WNK{XOZia+;3MHmM
zmo5$sPl0ZRMD-Ntnn;+ZK=}!TK{3V;x{PsXcnWl5B&w%C*GIxU1@a6G^Mh_`92%Yi
zT_=g^DbU@L$ex1dDbUT0L&H;`>m^Y=1-fez<|$Cp17T2X@q_Md92%YiT`r00DbP)m
zFi)Wr6rigchlZy>_e-LB3Ut{d%u}FP0%34Wfo^rgKF$WZ>Je-Re4Gt*?<33*kY*U>
z2i>uV-4M{li>QWxZehe~2<XPcp%J{GYZ<|wg12ozcQj)46zEdKq2Vde&5fv@0$t+>
z^Asq(fG{Y^`9b$14h>I%E^$Ql6zE1rn5RIVftSOe3lp)YVbCp#U_;;;0d%DzvLPUY
zK$stNk>St?8PIKuU{Ar*FzD(<n5RHd4Z>hgfv!3n8lD2($B61F(B+IUPk}rG!~CFI
z5Qm1RKvy-QdJ1%JBg|7MH5BMx#G&CS(B+M&o&w$E2=f#u>47jPw)jC8Bx28)pj#8c
zhQKo>=n6%cAt22#%n!PoaA<@K=mJHsr{EbAbekf`Q(Q3LKxux^eT75AQ$3)&X+bxQ
zz&!=JVG-mh(6T&GRD&?cU;Ln}46#Qy=zc?R$iSl;blD-y5RhgV<_BFch}{s-t%InB
lfUY3KY6$4Izo8MlpeqT%o`MH2=zc<&r$9jq!l2OM1^`dTW6b~n

literal 0
HcmV?d00001

diff --git a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.pdb b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.pdb
new file mode 100644
index 0000000000000000000000000000000000000000..248060b5aadf252381d6481ef3a605166fecb27d
GIT binary patch
literal 396
zcmZ<?_HtrmU}OLR9tH-602e2PGDAHB5TAj8jiCl4#=yX!9FUR(5<A1dz~BPn*D){%
zFfuT(fY`w$MVWc&#UObRm{@2qg9IZ3g91q2J=7DV$AXc8Aq2#C%E<>ArXAAB-+AP`
z=U$C7EEfgW-dtiG9mB}Lz~(N>z`@DM0CtrK0|Nsq1B4B7B_9I=1IV2qHV88_FfcGd
z<w5o{L6kBuFtCHT3?LVR)WNU;10#bu0}}%yg9q4rkT^)85Qsp+3Cr>v&Zji_Z2RDJ
zrLk!F%##-WtDkM#<-E^2f`eP<%wq<YjQreG_N@HG<c!Q*v9#ih#G(S-w9LHBl2qNq
z(vtk##F9j=fTH~LqQqRiv|=`W21YhMRRLc^iC4!?1@^V8H%~e~qi{Mm0|SE`JF5T#
HBNGDv*YQLF

literal 0
HcmV?d00001