diff --git a/DFA.fs b/DFA.fs
index b32f1bc..b0db430 100644
--- a/DFA.fs
+++ b/DFA.fs
@@ -12,6 +12,17 @@ type DFA = {
     acceptingStates: State list
 }
 
+let validateDFA (dfa:DFA) = 
+
+    let allAcceptingStatesAreStates = 
+        dfa.acceptingStates
+        |> List.map (fun x -> List.contains x dfa.states)
+        |> List.filter (fun x -> not x)
+        |> List.length < 1
+
+    List.contains dfa.beginState dfa.states ||
+    allAcceptingStatesAreStates
+
 let processChar (dfa: DFA) (state: State) (char: Char) =
     dfa.delta state char
 
diff --git a/NFA.fs b/NFA.fs
new file mode 100644
index 0000000..2083ce5
--- /dev/null
+++ b/NFA.fs
@@ -0,0 +1,16 @@
+module NFA
+
+open System
+
+type State = { name: String }
+
+type NFA = {
+    sigma: Char list
+    states: State list
+    delta: State -> Char -> State list
+    beginState: State
+    acceptingStates: State list
+}
+
+let processChar (nfa: NFA) (state: State) (char: Char) =
+    nfa.delta state char
\ No newline at end of file
diff --git a/fsharp-finite-automata.fsproj b/fsharp-finite-automata.fsproj
index ad1be44..5a89918 100644
--- a/fsharp-finite-automata.fsproj
+++ b/fsharp-finite-automata.fsproj
@@ -6,6 +6,7 @@
   </PropertyGroup>
   <ItemGroup>
     <Compile Include="DFA.fs" />
+    <Compile Include="NFA.fs" />
     <Compile Include="Program.fs" />
   </ItemGroup>
 </Project>
\ No newline at end of file
diff --git a/obj/fsac.cache b/obj/fsac.cache
index da14ef3..2b3f5df 100644
--- a/obj/fsac.cache
+++ b/obj/fsac.cache
@@ -1,2 +1,2 @@
-2/6/2019 8:06:40 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/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:06:41.567295+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/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 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]}}]}}}