diff --git a/IsNumericChecker.fs b/IsNumericChecker.fs
new file mode 100644
index 0000000..c998d0f
--- /dev/null
+++ b/IsNumericChecker.fs
@@ -0,0 +1,27 @@
+module Tests
+
+open System
+open DFA
+
+let numericDFA:DFA = {
+    sigma = Seq.toList "01ab";
+    states = [
+        {name = "yes"};
+        {name = "no"}
+    ];
+    delta = (fun x y ->
+        match (x, y) with
+        | ({name = "yes"}, '0') -> {name = "yes"}
+        | ({name = "yes"}, '1') -> {name = "yes"}
+        | _ -> {name = "no"}
+    );
+    beginState = {name = "yes"};
+    acceptingStates = [{name = "yes"}]
+}
+
+let test = 
+    printfn "Testing numeric checker DFA"
+    printfn "Is valid DFA: %b" (DFA.validateDFA numericDFA)
+    printfn "0101: %b" (DFA.acceptsWord numericDFA "0101")
+    printfn "01a1: %b" (DFA.acceptsWord numericDFA "01a1")
+    0
\ No newline at end of file
diff --git a/Program.fs b/Program.fs
index 09b1452..bbe5620 100644
--- a/Program.fs
+++ b/Program.fs
@@ -4,5 +4,6 @@ open System
 
 [<EntryPoint>]
 let main argv =
-    printfn "Hello World from F#!"
+    printfn "Finite Automata in F#"
+    Tests.test |> ignore
     0 // return an integer exit code
diff --git a/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll
index 797e4e2..4b5fd0a 100644
Binary files a/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll and b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll differ
diff --git a/bin/Debug/netcoreapp2.2/fsharp-finite-automata.pdb b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.pdb
index 248060b..0ef9ead 100644
Binary files a/bin/Debug/netcoreapp2.2/fsharp-finite-automata.pdb and b/bin/Debug/netcoreapp2.2/fsharp-finite-automata.pdb differ
diff --git a/fsharp-finite-automata.fsproj b/fsharp-finite-automata.fsproj
index 5a89918..bc769fd 100644
--- a/fsharp-finite-automata.fsproj
+++ b/fsharp-finite-automata.fsproj
@@ -7,6 +7,7 @@
   <ItemGroup>
     <Compile Include="DFA.fs" />
     <Compile Include="NFA.fs" />
+    <Compile Include="IsNumericChecker.fs" />
     <Compile Include="Program.fs" />
   </ItemGroup>
 </Project>
\ No newline at end of file
diff --git a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.assets.cache b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.assets.cache
index be88464..1d1cdf3 100644
Binary files a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.assets.cache and b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.assets.cache differ
diff --git a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.dll b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.dll
index 797e4e2..4b5fd0a 100644
Binary files a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.dll and b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.dll differ
diff --git a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.pdb b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.pdb
index 248060b..0ef9ead 100644
Binary files a/obj/Debug/netcoreapp2.2/fsharp-finite-automata.pdb and b/obj/Debug/netcoreapp2.2/fsharp-finite-automata.pdb differ
diff --git a/obj/fsac.cache b/obj/fsac.cache
index 2b3f5df..b7c9b57 100644
--- a/obj/fsac.cache
+++ b/obj/fsac.cache
@@ -1,2 +1,2 @@
-2/6/2019 8:34:19 PM
-{"Options":{"ProjectFileName":"/home/joachim/fsharp-finite-automata/fsharp-finite-automata.fsproj","ProjectId":{"Case":"Some","Fields":["/home/joachim/fsharp-finite-automata/fsharp-finite-automata.fsproj"]},"SourceFiles":[],"OtherOptions":["-o:/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.dll","-g","--debug:portable","--noframework","--define:TRACE","--define:DEBUG","--define:NETCOREAPP","--define:NETCOREAPP2_2","--optimize-","--tailcalls-","--target:exe","--warn:3","--warnaserror:76","--fullpaths","--flaterrors","--highentropyva-","--targetprofile:netcore","--simpleresolution","--nocopyfsharpcore","/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfo.fs","/home/joachim/fsharp-finite-automata/DFA.fs","/home/joachim/fsharp-finite-automata/NFA.fs","/home/joachim/fsharp-finite-automata/Program.fs","-r:/home/joachim/.nuget/packages/fsharp.core/4.5.2/lib/netstandard1.6/FSharp.Core.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.CSharp.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.VisualBasic.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.Win32.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/mscorlib.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/netstandard.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.AppContext.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Buffers.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Concurrent.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Immutable.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.NonGeneric.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Specialized.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.Annotations.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.DataAnnotations.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.EventBasedAsync.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.TypeConverter.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Configuration.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Console.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Core.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Data.Common.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Data.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Contracts.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Debug.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.DiagnosticSource.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.FileVersionInfo.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Process.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.StackTrace.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.TextWriterTraceListener.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Tools.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.TraceSource.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Tracing.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Drawing.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Drawing.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Dynamic.Runtime.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.Calendars.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.Extensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.Brotli.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.FileSystem.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.ZipFile.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.DriveInfo.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.Watcher.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.IsolatedStorage.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.MemoryMappedFiles.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Pipes.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.UnmanagedMemoryStream.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Expressions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Parallel.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Queryable.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Memory.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Http.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.HttpListener.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Mail.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.NameResolution.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.NetworkInformation.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Ping.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Requests.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Security.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.ServicePoint.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Sockets.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebClient.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebHeaderCollection.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebProxy.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebSockets.Client.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebSockets.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Numerics.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Numerics.Vectors.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ObjectModel.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.DispatchProxy.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.ILGeneration.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.Lightweight.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Extensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Metadata.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.TypeExtensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.Reader.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.ResourceManager.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.Writer.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.CompilerServices.VisualC.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Extensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Handles.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.RuntimeInformation.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.WindowsRuntime.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Loader.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Numerics.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Formatters.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Json.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Xml.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Claims.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Algorithms.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Csp.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Encoding.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.X509Certificates.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Principal.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.SecureString.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ServiceModel.Web.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ServiceProcess.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.Encoding.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.Encoding.Extensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.RegularExpressions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Overlapped.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Dataflow.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Extensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Parallel.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Thread.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.ThreadPool.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Timer.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Transactions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Transactions.Local.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ValueTuple.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Web.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Web.HttpUtility.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Windows.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.Linq.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.ReaderWriter.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.Serialization.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XDocument.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XmlDocument.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XmlSerializer.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XPath.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XPath.XDocument.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/WindowsBase.dll"],"ReferencedProjects":[],"IsIncompleteTypeCheckEnvironment":false,"UseScriptResolutionRules":false,"LoadTime":"2019-02-06T21:34:20.812402+01:00","UnresolvedReferences":null,"OriginalLoadReferences":[],"ExtraProjectInfo":{"Case":"Some","Fields":[{"ProjectOutputType":{"Case":"Exe"},"ProjectSdkType":{"Case":"DotnetSdk","Fields":[{"IsTestProject":false,"Configuration":"Debug","IsPackable":true,"TargetFramework":"netcoreapp2.2","TargetFrameworkIdentifier":".NETCoreApp","TargetFrameworkVersion":"v2.2","MSBuildAllProjects":["/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/Sdk/Sdk.props","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.nuget.g.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.DefaultItems.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.SupportedTargetFrameworks.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharp.props","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.NetSdk.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/Sdk/Sdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.BeforeCommon.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultAssemblyInfo.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultOutputPaths.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.TargetFrameworkInference.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.RuntimeIdentifierInference.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.NuGetOfflineCache.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharpTargetsShim.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.NetSdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.Targets","/home/joachim/fsharp-finite-automata/fsharp-finite-automata.fsproj","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft.Common.CurrentVersion.targets","/snap/dotnet-sdk/27/sdk/2.2.103/NuGet.targets","/snap/dotnet-sdk/27/sdk/2.2.103/15.0/Microsoft.Common.targets/ImportAfter/Microsoft.NET.Build.Extensions.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft/Microsoft.NET.Build.Extensions/Microsoft.NET.Build.Extensions.targets","/snap/dotnet-sdk/27/sdk/2.2.103/15.0/Microsoft.Common.targets/ImportAfter/Microsoft.TestPlatform.ImportAfter.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft.TestPlatform.targets","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.nuget.g.targets","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.proj-info.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.Common.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.PackageDependencyResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.DefaultItems.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DisableStandardFrameworkResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.GenerateAssemblyInfo.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ComposeStore.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.CrossGen.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ObsoleteReferences.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Publish.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.PreserveCompilationContext.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ConflictResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultPackageConflictOverrides.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharp.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.Overrides.NetSdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/NuGet.Build.Tasks.Pack/build/NuGet.Build.Tasks.Pack.targets"],"MSBuildToolsVersion":"","ProjectAssetsFile":"/home/joachim/fsharp-finite-automata/obj/project.assets.json","RestoreSuccess":true,"Configurations":["Debug","Release"],"TargetFrameworks":[],"TargetPath":"/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll","RunArguments":{"Case":"Some","Fields":["exec \"/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll\""]},"RunCommand":{"Case":"Some","Fields":["dotnet"]},"IsPublishable":{"Case":"Some","Fields":[true]}}]}}]},"Stamp":null},"Files":["/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfo.fs","/home/joachim/fsharp-finite-automata/DFA.fs","/home/joachim/fsharp-finite-automata/NFA.fs","/home/joachim/fsharp-finite-automata/Program.fs"],"OutFile":{"Case":"Some","Fields":["/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll"]},"References":["/home/joachim/.nuget/packages/fsharp.core/4.5.2/lib/netstandard1.6/FSharp.Core.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.CSharp.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.VisualBasic.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.Win32.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/mscorlib.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/netstandard.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.AppContext.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Buffers.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Concurrent.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Immutable.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.NonGeneric.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Specialized.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.Annotations.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.DataAnnotations.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.EventBasedAsync.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.TypeConverter.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Configuration.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Console.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Core.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Data.Common.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Data.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Contracts.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Debug.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.DiagnosticSource.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.FileVersionInfo.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Process.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.StackTrace.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.TextWriterTraceListener.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Tools.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.TraceSource.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Tracing.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Drawing.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Drawing.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Dynamic.Runtime.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.Calendars.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.Extensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.Brotli.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.FileSystem.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.ZipFile.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.DriveInfo.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.Watcher.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.IsolatedStorage.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.MemoryMappedFiles.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Pipes.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.UnmanagedMemoryStream.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Expressions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Parallel.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Queryable.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Memory.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Http.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.HttpListener.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Mail.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.NameResolution.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.NetworkInformation.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Ping.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Requests.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Security.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.ServicePoint.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Sockets.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebClient.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebHeaderCollection.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebProxy.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebSockets.Client.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebSockets.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Numerics.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Numerics.Vectors.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ObjectModel.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.DispatchProxy.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.ILGeneration.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.Lightweight.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Extensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Metadata.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.TypeExtensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.Reader.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.ResourceManager.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.Writer.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.CompilerServices.VisualC.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Extensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Handles.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.RuntimeInformation.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.WindowsRuntime.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Loader.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Numerics.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Formatters.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Json.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Xml.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Claims.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Algorithms.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Csp.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Encoding.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.X509Certificates.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Principal.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.SecureString.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ServiceModel.Web.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ServiceProcess.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.Encoding.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.Encoding.Extensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.RegularExpressions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Overlapped.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Dataflow.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Extensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Parallel.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Thread.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.ThreadPool.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Timer.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Transactions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Transactions.Local.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ValueTuple.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Web.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Web.HttpUtility.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Windows.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.Linq.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.ReaderWriter.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.Serialization.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XDocument.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XmlDocument.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XmlSerializer.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XPath.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XPath.XDocument.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/WindowsBase.dll"],"Log":{},"ExtraInfo":{"ProjectOutputType":{"Case":"Exe"},"ProjectSdkType":{"Case":"DotnetSdk","Fields":[{"IsTestProject":false,"Configuration":"Debug","IsPackable":true,"TargetFramework":"netcoreapp2.2","TargetFrameworkIdentifier":".NETCoreApp","TargetFrameworkVersion":"v2.2","MSBuildAllProjects":["/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/Sdk/Sdk.props","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.nuget.g.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.DefaultItems.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.SupportedTargetFrameworks.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharp.props","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.NetSdk.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/Sdk/Sdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.BeforeCommon.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultAssemblyInfo.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultOutputPaths.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.TargetFrameworkInference.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.RuntimeIdentifierInference.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.NuGetOfflineCache.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharpTargetsShim.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.NetSdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.Targets","/home/joachim/fsharp-finite-automata/fsharp-finite-automata.fsproj","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft.Common.CurrentVersion.targets","/snap/dotnet-sdk/27/sdk/2.2.103/NuGet.targets","/snap/dotnet-sdk/27/sdk/2.2.103/15.0/Microsoft.Common.targets/ImportAfter/Microsoft.NET.Build.Extensions.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft/Microsoft.NET.Build.Extensions/Microsoft.NET.Build.Extensions.targets","/snap/dotnet-sdk/27/sdk/2.2.103/15.0/Microsoft.Common.targets/ImportAfter/Microsoft.TestPlatform.ImportAfter.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft.TestPlatform.targets","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.nuget.g.targets","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.proj-info.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.Common.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.PackageDependencyResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.DefaultItems.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DisableStandardFrameworkResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.GenerateAssemblyInfo.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ComposeStore.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.CrossGen.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ObsoleteReferences.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Publish.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.PreserveCompilationContext.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ConflictResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultPackageConflictOverrides.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharp.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.Overrides.NetSdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/NuGet.Build.Tasks.Pack/build/NuGet.Build.Tasks.Pack.targets"],"MSBuildToolsVersion":"","ProjectAssetsFile":"/home/joachim/fsharp-finite-automata/obj/project.assets.json","RestoreSuccess":true,"Configurations":["Debug","Release"],"TargetFrameworks":[],"TargetPath":"/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll","RunArguments":{"Case":"Some","Fields":["exec \"/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll\""]},"RunCommand":{"Case":"Some","Fields":["dotnet"]},"IsPublishable":{"Case":"Some","Fields":[true]}}]}}}
+2/6/2019 9:13:48 PM
+{"Options":{"ProjectFileName":"/home/joachim/fsharp-finite-automata/fsharp-finite-automata.fsproj","ProjectId":{"Case":"Some","Fields":["/home/joachim/fsharp-finite-automata/fsharp-finite-automata.fsproj"]},"SourceFiles":[],"OtherOptions":["-o:/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.dll","-g","--debug:portable","--noframework","--define:TRACE","--define:DEBUG","--define:NETCOREAPP","--define:NETCOREAPP2_2","--optimize-","--tailcalls-","--target:exe","--warn:3","--warnaserror:76","--fullpaths","--flaterrors","--highentropyva-","--targetprofile:netcore","--simpleresolution","--nocopyfsharpcore","/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfo.fs","/home/joachim/fsharp-finite-automata/DFA.fs","/home/joachim/fsharp-finite-automata/NFA.fs","/home/joachim/fsharp-finite-automata/IsNumericChecker.fs","/home/joachim/fsharp-finite-automata/Program.fs","-r:/home/joachim/.nuget/packages/fsharp.core/4.5.2/lib/netstandard1.6/FSharp.Core.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.CSharp.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.VisualBasic.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.Win32.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/mscorlib.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/netstandard.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.AppContext.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Buffers.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Concurrent.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Immutable.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.NonGeneric.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Specialized.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.Annotations.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.DataAnnotations.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.EventBasedAsync.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.TypeConverter.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Configuration.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Console.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Core.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Data.Common.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Data.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Contracts.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Debug.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.DiagnosticSource.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.FileVersionInfo.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Process.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.StackTrace.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.TextWriterTraceListener.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Tools.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.TraceSource.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Tracing.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Drawing.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Drawing.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Dynamic.Runtime.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.Calendars.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.Extensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.Brotli.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.FileSystem.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.ZipFile.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.DriveInfo.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.Watcher.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.IsolatedStorage.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.MemoryMappedFiles.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Pipes.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.UnmanagedMemoryStream.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Expressions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Parallel.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Queryable.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Memory.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Http.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.HttpListener.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Mail.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.NameResolution.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.NetworkInformation.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Ping.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Requests.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Security.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.ServicePoint.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Sockets.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebClient.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebHeaderCollection.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebProxy.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebSockets.Client.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebSockets.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Numerics.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Numerics.Vectors.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ObjectModel.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.DispatchProxy.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.ILGeneration.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.Lightweight.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Extensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Metadata.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.TypeExtensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.Reader.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.ResourceManager.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.Writer.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.CompilerServices.VisualC.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Extensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Handles.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.RuntimeInformation.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.WindowsRuntime.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Loader.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Numerics.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Formatters.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Json.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Xml.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Claims.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Algorithms.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Csp.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Encoding.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Primitives.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.X509Certificates.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Principal.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.SecureString.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ServiceModel.Web.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ServiceProcess.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.Encoding.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.Encoding.Extensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.RegularExpressions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Overlapped.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Dataflow.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Extensions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Parallel.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Thread.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.ThreadPool.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Timer.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Transactions.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Transactions.Local.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ValueTuple.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Web.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Web.HttpUtility.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Windows.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.Linq.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.ReaderWriter.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.Serialization.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XDocument.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XmlDocument.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XmlSerializer.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XPath.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XPath.XDocument.dll","-r:/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/WindowsBase.dll"],"ReferencedProjects":[],"IsIncompleteTypeCheckEnvironment":false,"UseScriptResolutionRules":false,"LoadTime":"2019-02-06T22:13:49.342546+01:00","UnresolvedReferences":null,"OriginalLoadReferences":[],"ExtraProjectInfo":{"Case":"Some","Fields":[{"ProjectOutputType":{"Case":"Exe"},"ProjectSdkType":{"Case":"DotnetSdk","Fields":[{"IsTestProject":false,"Configuration":"Debug","IsPackable":true,"TargetFramework":"netcoreapp2.2","TargetFrameworkIdentifier":".NETCoreApp","TargetFrameworkVersion":"v2.2","MSBuildAllProjects":["/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/Sdk/Sdk.props","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.nuget.g.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.DefaultItems.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.SupportedTargetFrameworks.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharp.props","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.NetSdk.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/Sdk/Sdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.BeforeCommon.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultAssemblyInfo.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultOutputPaths.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.TargetFrameworkInference.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.RuntimeIdentifierInference.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.NuGetOfflineCache.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharpTargetsShim.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.NetSdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.Targets","/home/joachim/fsharp-finite-automata/fsharp-finite-automata.fsproj","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft.Common.CurrentVersion.targets","/snap/dotnet-sdk/27/sdk/2.2.103/NuGet.targets","/snap/dotnet-sdk/27/sdk/2.2.103/15.0/Microsoft.Common.targets/ImportAfter/Microsoft.NET.Build.Extensions.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft/Microsoft.NET.Build.Extensions/Microsoft.NET.Build.Extensions.targets","/snap/dotnet-sdk/27/sdk/2.2.103/15.0/Microsoft.Common.targets/ImportAfter/Microsoft.TestPlatform.ImportAfter.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft.TestPlatform.targets","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.nuget.g.targets","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.proj-info.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.Common.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.PackageDependencyResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.DefaultItems.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DisableStandardFrameworkResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.GenerateAssemblyInfo.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ComposeStore.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.CrossGen.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ObsoleteReferences.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Publish.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.PreserveCompilationContext.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ConflictResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultPackageConflictOverrides.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharp.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.Overrides.NetSdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/NuGet.Build.Tasks.Pack/build/NuGet.Build.Tasks.Pack.targets"],"MSBuildToolsVersion":"","ProjectAssetsFile":"/home/joachim/fsharp-finite-automata/obj/project.assets.json","RestoreSuccess":true,"Configurations":["Debug","Release"],"TargetFrameworks":[],"TargetPath":"/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll","RunArguments":{"Case":"Some","Fields":["exec \"/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll\""]},"RunCommand":{"Case":"Some","Fields":["dotnet"]},"IsPublishable":{"Case":"Some","Fields":[true]}}]}}]},"Stamp":null},"Files":["/home/joachim/fsharp-finite-automata/obj/Debug/netcoreapp2.2/fsharp-finite-automata.AssemblyInfo.fs","/home/joachim/fsharp-finite-automata/DFA.fs","/home/joachim/fsharp-finite-automata/NFA.fs","/home/joachim/fsharp-finite-automata/IsNumericChecker.fs","/home/joachim/fsharp-finite-automata/Program.fs"],"OutFile":{"Case":"Some","Fields":["/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll"]},"References":["/home/joachim/.nuget/packages/fsharp.core/4.5.2/lib/netstandard1.6/FSharp.Core.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.CSharp.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.VisualBasic.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/Microsoft.Win32.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/mscorlib.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/netstandard.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.AppContext.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Buffers.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Concurrent.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Immutable.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.NonGeneric.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Collections.Specialized.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.Annotations.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.DataAnnotations.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.EventBasedAsync.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ComponentModel.TypeConverter.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Configuration.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Console.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Core.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Data.Common.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Data.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Contracts.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Debug.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.DiagnosticSource.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.FileVersionInfo.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Process.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.StackTrace.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.TextWriterTraceListener.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Tools.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.TraceSource.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Diagnostics.Tracing.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Drawing.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Drawing.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Dynamic.Runtime.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.Calendars.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Globalization.Extensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.Brotli.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.FileSystem.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Compression.ZipFile.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.DriveInfo.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.FileSystem.Watcher.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.IsolatedStorage.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.MemoryMappedFiles.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.Pipes.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.IO.UnmanagedMemoryStream.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Expressions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Parallel.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Linq.Queryable.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Memory.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Http.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.HttpListener.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Mail.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.NameResolution.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.NetworkInformation.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Ping.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Requests.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Security.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.ServicePoint.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.Sockets.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebClient.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebHeaderCollection.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebProxy.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebSockets.Client.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Net.WebSockets.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Numerics.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Numerics.Vectors.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ObjectModel.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.DispatchProxy.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.ILGeneration.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Emit.Lightweight.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Extensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Metadata.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Reflection.TypeExtensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.Reader.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.ResourceManager.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Resources.Writer.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.CompilerServices.VisualC.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Extensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Handles.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.RuntimeInformation.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.InteropServices.WindowsRuntime.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Loader.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Numerics.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Formatters.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Json.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Runtime.Serialization.Xml.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Claims.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Algorithms.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Csp.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Encoding.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.Primitives.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Cryptography.X509Certificates.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.Principal.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Security.SecureString.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ServiceModel.Web.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ServiceProcess.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.Encoding.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.Encoding.Extensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Text.RegularExpressions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Overlapped.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Dataflow.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Extensions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Tasks.Parallel.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Thread.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.ThreadPool.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Threading.Timer.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Transactions.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Transactions.Local.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.ValueTuple.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Web.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Web.HttpUtility.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Windows.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.Linq.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.ReaderWriter.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.Serialization.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XDocument.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XmlDocument.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XmlSerializer.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XPath.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/System.Xml.XPath.XDocument.dll","/home/joachim/.nuget/packages/microsoft.netcore.app/2.2.0/ref/netcoreapp2.2/WindowsBase.dll"],"Log":{},"ExtraInfo":{"ProjectOutputType":{"Case":"Exe"},"ProjectSdkType":{"Case":"DotnetSdk","Fields":[{"IsTestProject":false,"Configuration":"Debug","IsPackable":true,"TargetFramework":"netcoreapp2.2","TargetFrameworkIdentifier":".NETCoreApp","TargetFrameworkVersion":"v2.2","MSBuildAllProjects":["/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/Sdk/Sdk.props","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.nuget.g.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.DefaultItems.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.SupportedTargetFrameworks.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharp.props","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.NetSdk.props","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/Sdk/Sdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.BeforeCommon.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultAssemblyInfo.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultOutputPaths.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.TargetFrameworkInference.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.RuntimeIdentifierInference.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.NuGetOfflineCache.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharpTargetsShim.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.NetSdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.Targets","/home/joachim/fsharp-finite-automata/fsharp-finite-automata.fsproj","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft.Common.CurrentVersion.targets","/snap/dotnet-sdk/27/sdk/2.2.103/NuGet.targets","/snap/dotnet-sdk/27/sdk/2.2.103/15.0/Microsoft.Common.targets/ImportAfter/Microsoft.NET.Build.Extensions.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft/Microsoft.NET.Build.Extensions/Microsoft.NET.Build.Extensions.targets","/snap/dotnet-sdk/27/sdk/2.2.103/15.0/Microsoft.Common.targets/ImportAfter/Microsoft.TestPlatform.ImportAfter.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Microsoft.TestPlatform.targets","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.nuget.g.targets","/home/joachim/fsharp-finite-automata/obj/fsharp-finite-automata.fsproj.proj-info.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.Common.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.PackageDependencyResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.DefaultItems.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DisableStandardFrameworkResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.GenerateAssemblyInfo.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ComposeStore.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.CrossGen.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ObsoleteReferences.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Publish.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.PreserveCompilationContext.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.ConflictResolution.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.DefaultPackageConflictOverrides.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/Microsoft.NET.Sdk/targets/Microsoft.NET.Sdk.FSharp.targets","/snap/dotnet-sdk/27/sdk/2.2.103/FSharp/Microsoft.FSharp.Overrides.NetSdk.targets","/snap/dotnet-sdk/27/sdk/2.2.103/Sdks/NuGet.Build.Tasks.Pack/build/NuGet.Build.Tasks.Pack.targets"],"MSBuildToolsVersion":"","ProjectAssetsFile":"/home/joachim/fsharp-finite-automata/obj/project.assets.json","RestoreSuccess":true,"Configurations":["Debug","Release"],"TargetFrameworks":[],"TargetPath":"/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll","RunArguments":{"Case":"Some","Fields":["exec \"/home/joachim/fsharp-finite-automata/bin/Debug/netcoreapp2.2/fsharp-finite-automata.dll\""]},"RunCommand":{"Case":"Some","Fields":["dotnet"]},"IsPublishable":{"Case":"Some","Fields":[true]}}]}}}