Remove Haskell build output (.stack-work) carrying an Apache license file

haskell/.stack-work/dist/eebe39f7/build/atokio-linear/autogen/PackageInfo_liquidlean_theorem3.hs

@@ -1,25 +0,0 @@
-{-# LANGUAGE NoRebindableSyntax #-}
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module PackageInfo_liquidlean_theorem3 (
-    name,
-    version,
-    synopsis,
-    copyright,
-    homepage,
-  ) where
-
-import Data.Version (Version(..))
-import Prelude
-
-name :: String
-name = "liquidlean_theorem3"
-version :: Version
-version = Version [0,1,0,0] []
-
-synopsis :: String
-synopsis = "Jacobian Conjecture Crack \8212 Theorem 3 in Haskell"
-copyright :: String
-copyright = "2026 SnapKitty Collective"
-homepage :: String
-homepage = ""

haskell/.stack-work/dist/eebe39f7/build/atokio-linear/autogen/Paths_liquidlean_theorem3.hs

@@ -1,77 +0,0 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE NoRebindableSyntax #-}
-#if __GLASGOW_HASKELL__ >= 810
-{-# OPTIONS_GHC -Wno-prepositive-qualified-module #-}
-#endif
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module Paths_liquidlean_theorem3 (
-    version,
-    getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir,
-    getDataFileName, getSysconfDir
-  ) where
-
-
-import qualified Control.Exception as Exception
-import qualified Data.List as List
-import Data.Version (Version(..))
-import System.Environment (getEnv)
-import Prelude
-
-
-#if defined(VERSION_base)
-
-#if MIN_VERSION_base(4,0,0)
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#else
-catchIO :: IO a -> (Exception.Exception -> IO a) -> IO a
-#endif
-
-#else
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#endif
-catchIO = Exception.catch
-
-version :: Version
-version = Version [0,1,0,0] []
-
-getDataFileName :: FilePath -> IO FilePath
-getDataFileName name = do
-  dir <- getDataDir
-  return (dir `joinFileName` name)
-
-getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath
-
-
-
-
-bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath
-bindir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\bin"
-libdir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0-EhKwjd1Jo5A8IpYqlnLcon-atokio-linear"
-dynlibdir  = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5"
-datadir    = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\share\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-libexecdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\libexec\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-sysconfdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\etc"
-
-getBinDir     = catchIO (getEnv "liquidlean_theorem3_bindir")     (\_ -> return bindir)
-getLibDir     = catchIO (getEnv "liquidlean_theorem3_libdir")     (\_ -> return libdir)
-getDynLibDir  = catchIO (getEnv "liquidlean_theorem3_dynlibdir")  (\_ -> return dynlibdir)
-getDataDir    = catchIO (getEnv "liquidlean_theorem3_datadir")    (\_ -> return datadir)
-getLibexecDir = catchIO (getEnv "liquidlean_theorem3_libexecdir") (\_ -> return libexecdir)
-getSysconfDir = catchIO (getEnv "liquidlean_theorem3_sysconfdir") (\_ -> return sysconfdir)
-
-
-
-joinFileName :: String -> String -> FilePath
-joinFileName ""  fname = fname
-joinFileName "." fname = fname
-joinFileName dir ""    = dir
-joinFileName dir fname
-  | isPathSeparator (List.last dir) = dir ++ fname
-  | otherwise                       = dir ++ pathSeparator : fname
-
-pathSeparator :: Char
-pathSeparator = '\\'
-
-isPathSeparator :: Char -> Bool
-isPathSeparator c = c == '/' || c == '\\'

haskell/.stack-work/dist/eebe39f7/build/atokio-linear/autogen/cabal_macros.h

@@ -1,130 +0,0 @@
-/* DO NOT EDIT: This file is automatically generated by Cabal */
-
-/* package liquidlean-theorem3-0.1.0.0 */
-#ifndef VERSION_liquidlean_theorem3
-#define VERSION_liquidlean_theorem3 "0.1.0.0"
-#endif /* VERSION_liquidlean_theorem3 */
-#ifndef MIN_VERSION_liquidlean_theorem3
-#define MIN_VERSION_liquidlean_theorem3(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  1 || \
-  (major1) == 0 && (major2) == 1 && (minor) <= 0)
-#endif /* MIN_VERSION_liquidlean_theorem3 */
-/* package base-4.18.2.1 */
-#ifndef VERSION_base
-#define VERSION_base "4.18.2.1"
-#endif /* VERSION_base */
-#ifndef MIN_VERSION_base
-#define MIN_VERSION_base(major1,major2,minor) (\
-  (major1) <  4 || \
-  (major1) == 4 && (major2) <  18 || \
-  (major1) == 4 && (major2) == 18 && (minor) <= 2)
-#endif /* MIN_VERSION_base */
-/* package bytestring-0.11.5.3 */
-#ifndef VERSION_bytestring
-#define VERSION_bytestring "0.11.5.3"
-#endif /* VERSION_bytestring */
-#ifndef MIN_VERSION_bytestring
-#define MIN_VERSION_bytestring(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  11 || \
-  (major1) == 0 && (major2) == 11 && (minor) <= 5)
-#endif /* MIN_VERSION_bytestring */
-/* package linear-base-0.4.0 */
-#ifndef VERSION_linear_base
-#define VERSION_linear_base "0.4.0"
-#endif /* VERSION_linear_base */
-#ifndef MIN_VERSION_linear_base
-#define MIN_VERSION_linear_base(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  4 || \
-  (major1) == 0 && (major2) == 4 && (minor) <= 0)
-#endif /* MIN_VERSION_linear_base */
-/* package vector-0.13.1.0 */
-#ifndef VERSION_vector
-#define VERSION_vector "0.13.1.0"
-#endif /* VERSION_vector */
-#ifndef MIN_VERSION_vector
-#define MIN_VERSION_vector(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  13 || \
-  (major1) == 0 && (major2) == 13 && (minor) <= 1)
-#endif /* MIN_VERSION_vector */
-
-/* tool gcc-14.0.6 */
-#ifndef TOOL_VERSION_gcc
-#define TOOL_VERSION_gcc "14.0.6"
-#endif /* TOOL_VERSION_gcc */
-#ifndef MIN_TOOL_VERSION_gcc
-#define MIN_TOOL_VERSION_gcc(major1,major2,minor) (\
-  (major1) <  14 || \
-  (major1) == 14 && (major2) <  0 || \
-  (major1) == 14 && (major2) == 0 && (minor) <= 6)
-#endif /* MIN_TOOL_VERSION_gcc */
-/* tool ghc-9.6.5 */
-#ifndef TOOL_VERSION_ghc
-#define TOOL_VERSION_ghc "9.6.5"
-#endif /* TOOL_VERSION_ghc */
-#ifndef MIN_TOOL_VERSION_ghc
-#define MIN_TOOL_VERSION_ghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc */
-/* tool ghc-pkg-9.6.5 */
-#ifndef TOOL_VERSION_ghc_pkg
-#define TOOL_VERSION_ghc_pkg "9.6.5"
-#endif /* TOOL_VERSION_ghc_pkg */
-#ifndef MIN_TOOL_VERSION_ghc_pkg
-#define MIN_TOOL_VERSION_ghc_pkg(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc_pkg */
-/* tool haddock-2.29.2 */
-#ifndef TOOL_VERSION_haddock
-#define TOOL_VERSION_haddock "2.29.2"
-#endif /* TOOL_VERSION_haddock */
-#ifndef MIN_TOOL_VERSION_haddock
-#define MIN_TOOL_VERSION_haddock(major1,major2,minor) (\
-  (major1) <  2 || \
-  (major1) == 2 && (major2) <  29 || \
-  (major1) == 2 && (major2) == 29 && (minor) <= 2)
-#endif /* MIN_TOOL_VERSION_haddock */
-/* tool hpc-0.68 */
-#ifndef TOOL_VERSION_hpc
-#define TOOL_VERSION_hpc "0.68"
-#endif /* TOOL_VERSION_hpc */
-#ifndef MIN_TOOL_VERSION_hpc
-#define MIN_TOOL_VERSION_hpc(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 0)
-#endif /* MIN_TOOL_VERSION_hpc */
-/* tool hsc2hs-0.68.9 */
-#ifndef TOOL_VERSION_hsc2hs
-#define TOOL_VERSION_hsc2hs "0.68.9"
-#endif /* TOOL_VERSION_hsc2hs */
-#ifndef MIN_TOOL_VERSION_hsc2hs
-#define MIN_TOOL_VERSION_hsc2hs(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 9)
-#endif /* MIN_TOOL_VERSION_hsc2hs */
-/* tool runghc-9.6.5 */
-#ifndef TOOL_VERSION_runghc
-#define TOOL_VERSION_runghc "9.6.5"
-#endif /* TOOL_VERSION_runghc */
-#ifndef MIN_TOOL_VERSION_runghc
-#define MIN_TOOL_VERSION_runghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_runghc */
-
-#ifndef CURRENT_COMPONENT_ID
-#define CURRENT_COMPONENT_ID "liquidlean-theorem3-0.1.0.0-EhKwjd1Jo5A8IpYqlnLcon-atokio-linear"
-#endif /* CURRENT_COMPONENT_ID */
-#ifndef CURRENT_PACKAGE_VERSION
-#define CURRENT_PACKAGE_VERSION "0.1.0.0"
-#endif /* CURRENT_PACKAGE_VERSION */

haskell/.stack-work/dist/eebe39f7/build/atokio-monad/autogen/PackageInfo_liquidlean_theorem3.hs

@@ -1,25 +0,0 @@
-{-# LANGUAGE NoRebindableSyntax #-}
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module PackageInfo_liquidlean_theorem3 (
-    name,
-    version,
-    synopsis,
-    copyright,
-    homepage,
-  ) where
-
-import Data.Version (Version(..))
-import Prelude
-
-name :: String
-name = "liquidlean_theorem3"
-version :: Version
-version = Version [0,1,0,0] []
-
-synopsis :: String
-synopsis = "Jacobian Conjecture Crack \8212 Theorem 3 in Haskell"
-copyright :: String
-copyright = "2026 SnapKitty Collective"
-homepage :: String
-homepage = ""

haskell/.stack-work/dist/eebe39f7/build/atokio-monad/autogen/Paths_liquidlean_theorem3.hs

@@ -1,77 +0,0 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE NoRebindableSyntax #-}
-#if __GLASGOW_HASKELL__ >= 810
-{-# OPTIONS_GHC -Wno-prepositive-qualified-module #-}
-#endif
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module Paths_liquidlean_theorem3 (
-    version,
-    getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir,
-    getDataFileName, getSysconfDir
-  ) where
-
-
-import qualified Control.Exception as Exception
-import qualified Data.List as List
-import Data.Version (Version(..))
-import System.Environment (getEnv)
-import Prelude
-
-
-#if defined(VERSION_base)
-
-#if MIN_VERSION_base(4,0,0)
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#else
-catchIO :: IO a -> (Exception.Exception -> IO a) -> IO a
-#endif
-
-#else
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#endif
-catchIO = Exception.catch
-
-version :: Version
-version = Version [0,1,0,0] []
-
-getDataFileName :: FilePath -> IO FilePath
-getDataFileName name = do
-  dir <- getDataDir
-  return (dir `joinFileName` name)
-
-getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath
-
-
-
-
-bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath
-bindir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\bin"
-libdir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0-I48sDaZbP5C1cY0dwRftVo-atokio-monad"
-dynlibdir  = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5"
-datadir    = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\share\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-libexecdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\libexec\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-sysconfdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\etc"
-
-getBinDir     = catchIO (getEnv "liquidlean_theorem3_bindir")     (\_ -> return bindir)
-getLibDir     = catchIO (getEnv "liquidlean_theorem3_libdir")     (\_ -> return libdir)
-getDynLibDir  = catchIO (getEnv "liquidlean_theorem3_dynlibdir")  (\_ -> return dynlibdir)
-getDataDir    = catchIO (getEnv "liquidlean_theorem3_datadir")    (\_ -> return datadir)
-getLibexecDir = catchIO (getEnv "liquidlean_theorem3_libexecdir") (\_ -> return libexecdir)
-getSysconfDir = catchIO (getEnv "liquidlean_theorem3_sysconfdir") (\_ -> return sysconfdir)
-
-
-
-joinFileName :: String -> String -> FilePath
-joinFileName ""  fname = fname
-joinFileName "." fname = fname
-joinFileName dir ""    = dir
-joinFileName dir fname
-  | isPathSeparator (List.last dir) = dir ++ fname
-  | otherwise                       = dir ++ pathSeparator : fname
-
-pathSeparator :: Char
-pathSeparator = '\\'
-
-isPathSeparator :: Char -> Bool
-isPathSeparator c = c == '/' || c == '\\'

haskell/.stack-work/dist/eebe39f7/build/atokio-monad/autogen/cabal_macros.h

@@ -1,110 +0,0 @@
-/* DO NOT EDIT: This file is automatically generated by Cabal */
-
-/* package liquidlean-theorem3-0.1.0.0 */
-#ifndef VERSION_liquidlean_theorem3
-#define VERSION_liquidlean_theorem3 "0.1.0.0"
-#endif /* VERSION_liquidlean_theorem3 */
-#ifndef MIN_VERSION_liquidlean_theorem3
-#define MIN_VERSION_liquidlean_theorem3(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  1 || \
-  (major1) == 0 && (major2) == 1 && (minor) <= 0)
-#endif /* MIN_VERSION_liquidlean_theorem3 */
-/* package base-4.18.2.1 */
-#ifndef VERSION_base
-#define VERSION_base "4.18.2.1"
-#endif /* VERSION_base */
-#ifndef MIN_VERSION_base
-#define MIN_VERSION_base(major1,major2,minor) (\
-  (major1) <  4 || \
-  (major1) == 4 && (major2) <  18 || \
-  (major1) == 4 && (major2) == 18 && (minor) <= 2)
-#endif /* MIN_VERSION_base */
-/* package time-1.12.2 */
-#ifndef VERSION_time
-#define VERSION_time "1.12.2"
-#endif /* VERSION_time */
-#ifndef MIN_VERSION_time
-#define MIN_VERSION_time(major1,major2,minor) (\
-  (major1) <  1 || \
-  (major1) == 1 && (major2) <  12 || \
-  (major1) == 1 && (major2) == 12 && (minor) <= 2)
-#endif /* MIN_VERSION_time */
-
-/* tool gcc-14.0.6 */
-#ifndef TOOL_VERSION_gcc
-#define TOOL_VERSION_gcc "14.0.6"
-#endif /* TOOL_VERSION_gcc */
-#ifndef MIN_TOOL_VERSION_gcc
-#define MIN_TOOL_VERSION_gcc(major1,major2,minor) (\
-  (major1) <  14 || \
-  (major1) == 14 && (major2) <  0 || \
-  (major1) == 14 && (major2) == 0 && (minor) <= 6)
-#endif /* MIN_TOOL_VERSION_gcc */
-/* tool ghc-9.6.5 */
-#ifndef TOOL_VERSION_ghc
-#define TOOL_VERSION_ghc "9.6.5"
-#endif /* TOOL_VERSION_ghc */
-#ifndef MIN_TOOL_VERSION_ghc
-#define MIN_TOOL_VERSION_ghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc */
-/* tool ghc-pkg-9.6.5 */
-#ifndef TOOL_VERSION_ghc_pkg
-#define TOOL_VERSION_ghc_pkg "9.6.5"
-#endif /* TOOL_VERSION_ghc_pkg */
-#ifndef MIN_TOOL_VERSION_ghc_pkg
-#define MIN_TOOL_VERSION_ghc_pkg(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc_pkg */
-/* tool haddock-2.29.2 */
-#ifndef TOOL_VERSION_haddock
-#define TOOL_VERSION_haddock "2.29.2"
-#endif /* TOOL_VERSION_haddock */
-#ifndef MIN_TOOL_VERSION_haddock
-#define MIN_TOOL_VERSION_haddock(major1,major2,minor) (\
-  (major1) <  2 || \
-  (major1) == 2 && (major2) <  29 || \
-  (major1) == 2 && (major2) == 29 && (minor) <= 2)
-#endif /* MIN_TOOL_VERSION_haddock */
-/* tool hpc-0.68 */
-#ifndef TOOL_VERSION_hpc
-#define TOOL_VERSION_hpc "0.68"
-#endif /* TOOL_VERSION_hpc */
-#ifndef MIN_TOOL_VERSION_hpc
-#define MIN_TOOL_VERSION_hpc(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 0)
-#endif /* MIN_TOOL_VERSION_hpc */
-/* tool hsc2hs-0.68.9 */
-#ifndef TOOL_VERSION_hsc2hs
-#define TOOL_VERSION_hsc2hs "0.68.9"
-#endif /* TOOL_VERSION_hsc2hs */
-#ifndef MIN_TOOL_VERSION_hsc2hs
-#define MIN_TOOL_VERSION_hsc2hs(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 9)
-#endif /* MIN_TOOL_VERSION_hsc2hs */
-/* tool runghc-9.6.5 */
-#ifndef TOOL_VERSION_runghc
-#define TOOL_VERSION_runghc "9.6.5"
-#endif /* TOOL_VERSION_runghc */
-#ifndef MIN_TOOL_VERSION_runghc
-#define MIN_TOOL_VERSION_runghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_runghc */
-
-#ifndef CURRENT_COMPONENT_ID
-#define CURRENT_COMPONENT_ID "liquidlean-theorem3-0.1.0.0-I48sDaZbP5C1cY0dwRftVo-atokio-monad"
-#endif /* CURRENT_COMPONENT_ID */
-#ifndef CURRENT_PACKAGE_VERSION
-#define CURRENT_PACKAGE_VERSION "0.1.0.0"
-#endif /* CURRENT_PACKAGE_VERSION */

haskell/.stack-work/dist/eebe39f7/build/atokio/autogen/PackageInfo_liquidlean_theorem3.hs

@@ -1,25 +0,0 @@
-{-# LANGUAGE NoRebindableSyntax #-}
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module PackageInfo_liquidlean_theorem3 (
-    name,
-    version,
-    synopsis,
-    copyright,
-    homepage,
-  ) where
-
-import Data.Version (Version(..))
-import Prelude
-
-name :: String
-name = "liquidlean_theorem3"
-version :: Version
-version = Version [0,1,0,0] []
-
-synopsis :: String
-synopsis = "Jacobian Conjecture Crack \8212 Theorem 3 in Haskell"
-copyright :: String
-copyright = "2026 SnapKitty Collective"
-homepage :: String
-homepage = ""

haskell/.stack-work/dist/eebe39f7/build/atokio/autogen/Paths_liquidlean_theorem3.hs

@@ -1,77 +0,0 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE NoRebindableSyntax #-}
-#if __GLASGOW_HASKELL__ >= 810
-{-# OPTIONS_GHC -Wno-prepositive-qualified-module #-}
-#endif
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module Paths_liquidlean_theorem3 (
-    version,
-    getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir,
-    getDataFileName, getSysconfDir
-  ) where
-
-
-import qualified Control.Exception as Exception
-import qualified Data.List as List
-import Data.Version (Version(..))
-import System.Environment (getEnv)
-import Prelude
-
-
-#if defined(VERSION_base)
-
-#if MIN_VERSION_base(4,0,0)
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#else
-catchIO :: IO a -> (Exception.Exception -> IO a) -> IO a
-#endif
-
-#else
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#endif
-catchIO = Exception.catch
-
-version :: Version
-version = Version [0,1,0,0] []
-
-getDataFileName :: FilePath -> IO FilePath
-getDataFileName name = do
-  dir <- getDataDir
-  return (dir `joinFileName` name)
-
-getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath
-
-
-
-
-bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath
-bindir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\bin"
-libdir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0-TswGv2MoUt9pcF1I3NpuS-atokio"
-dynlibdir  = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5"
-datadir    = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\share\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-libexecdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\libexec\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-sysconfdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\etc"
-
-getBinDir     = catchIO (getEnv "liquidlean_theorem3_bindir")     (\_ -> return bindir)
-getLibDir     = catchIO (getEnv "liquidlean_theorem3_libdir")     (\_ -> return libdir)
-getDynLibDir  = catchIO (getEnv "liquidlean_theorem3_dynlibdir")  (\_ -> return dynlibdir)
-getDataDir    = catchIO (getEnv "liquidlean_theorem3_datadir")    (\_ -> return datadir)
-getLibexecDir = catchIO (getEnv "liquidlean_theorem3_libexecdir") (\_ -> return libexecdir)
-getSysconfDir = catchIO (getEnv "liquidlean_theorem3_sysconfdir") (\_ -> return sysconfdir)
-
-
-
-joinFileName :: String -> String -> FilePath
-joinFileName ""  fname = fname
-joinFileName "." fname = fname
-joinFileName dir ""    = dir
-joinFileName dir fname
-  | isPathSeparator (List.last dir) = dir ++ fname
-  | otherwise                       = dir ++ pathSeparator : fname
-
-pathSeparator :: Char
-pathSeparator = '\\'
-
-isPathSeparator :: Char -> Bool
-isPathSeparator c = c == '/' || c == '\\'

haskell/.stack-work/dist/eebe39f7/build/atokio/autogen/cabal_macros.h

@@ -1,110 +0,0 @@
-/* DO NOT EDIT: This file is automatically generated by Cabal */
-
-/* package liquidlean-theorem3-0.1.0.0 */
-#ifndef VERSION_liquidlean_theorem3
-#define VERSION_liquidlean_theorem3 "0.1.0.0"
-#endif /* VERSION_liquidlean_theorem3 */
-#ifndef MIN_VERSION_liquidlean_theorem3
-#define MIN_VERSION_liquidlean_theorem3(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  1 || \
-  (major1) == 0 && (major2) == 1 && (minor) <= 0)
-#endif /* MIN_VERSION_liquidlean_theorem3 */
-/* package base-4.18.2.1 */
-#ifndef VERSION_base
-#define VERSION_base "4.18.2.1"
-#endif /* VERSION_base */
-#ifndef MIN_VERSION_base
-#define MIN_VERSION_base(major1,major2,minor) (\
-  (major1) <  4 || \
-  (major1) == 4 && (major2) <  18 || \
-  (major1) == 4 && (major2) == 18 && (minor) <= 2)
-#endif /* MIN_VERSION_base */
-/* package time-1.12.2 */
-#ifndef VERSION_time
-#define VERSION_time "1.12.2"
-#endif /* VERSION_time */
-#ifndef MIN_VERSION_time
-#define MIN_VERSION_time(major1,major2,minor) (\
-  (major1) <  1 || \
-  (major1) == 1 && (major2) <  12 || \
-  (major1) == 1 && (major2) == 12 && (minor) <= 2)
-#endif /* MIN_VERSION_time */
-
-/* tool gcc-14.0.6 */
-#ifndef TOOL_VERSION_gcc
-#define TOOL_VERSION_gcc "14.0.6"
-#endif /* TOOL_VERSION_gcc */
-#ifndef MIN_TOOL_VERSION_gcc
-#define MIN_TOOL_VERSION_gcc(major1,major2,minor) (\
-  (major1) <  14 || \
-  (major1) == 14 && (major2) <  0 || \
-  (major1) == 14 && (major2) == 0 && (minor) <= 6)
-#endif /* MIN_TOOL_VERSION_gcc */
-/* tool ghc-9.6.5 */
-#ifndef TOOL_VERSION_ghc
-#define TOOL_VERSION_ghc "9.6.5"
-#endif /* TOOL_VERSION_ghc */
-#ifndef MIN_TOOL_VERSION_ghc
-#define MIN_TOOL_VERSION_ghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc */
-/* tool ghc-pkg-9.6.5 */
-#ifndef TOOL_VERSION_ghc_pkg
-#define TOOL_VERSION_ghc_pkg "9.6.5"
-#endif /* TOOL_VERSION_ghc_pkg */
-#ifndef MIN_TOOL_VERSION_ghc_pkg
-#define MIN_TOOL_VERSION_ghc_pkg(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc_pkg */
-/* tool haddock-2.29.2 */
-#ifndef TOOL_VERSION_haddock
-#define TOOL_VERSION_haddock "2.29.2"
-#endif /* TOOL_VERSION_haddock */
-#ifndef MIN_TOOL_VERSION_haddock
-#define MIN_TOOL_VERSION_haddock(major1,major2,minor) (\
-  (major1) <  2 || \
-  (major1) == 2 && (major2) <  29 || \
-  (major1) == 2 && (major2) == 29 && (minor) <= 2)
-#endif /* MIN_TOOL_VERSION_haddock */
-/* tool hpc-0.68 */
-#ifndef TOOL_VERSION_hpc
-#define TOOL_VERSION_hpc "0.68"
-#endif /* TOOL_VERSION_hpc */
-#ifndef MIN_TOOL_VERSION_hpc
-#define MIN_TOOL_VERSION_hpc(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 0)
-#endif /* MIN_TOOL_VERSION_hpc */
-/* tool hsc2hs-0.68.9 */
-#ifndef TOOL_VERSION_hsc2hs
-#define TOOL_VERSION_hsc2hs "0.68.9"
-#endif /* TOOL_VERSION_hsc2hs */
-#ifndef MIN_TOOL_VERSION_hsc2hs
-#define MIN_TOOL_VERSION_hsc2hs(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 9)
-#endif /* MIN_TOOL_VERSION_hsc2hs */
-/* tool runghc-9.6.5 */
-#ifndef TOOL_VERSION_runghc
-#define TOOL_VERSION_runghc "9.6.5"
-#endif /* TOOL_VERSION_runghc */
-#ifndef MIN_TOOL_VERSION_runghc
-#define MIN_TOOL_VERSION_runghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_runghc */
-
-#ifndef CURRENT_COMPONENT_ID
-#define CURRENT_COMPONENT_ID "liquidlean-theorem3-0.1.0.0-TswGv2MoUt9pcF1I3NpuS-atokio"
-#endif /* CURRENT_COMPONENT_ID */
-#ifndef CURRENT_PACKAGE_VERSION
-#define CURRENT_PACKAGE_VERSION "0.1.0.0"
-#endif /* CURRENT_PACKAGE_VERSION */

haskell/.stack-work/dist/eebe39f7/build/autogen/PackageInfo_liquidlean_theorem3.hs

@@ -1,25 +0,0 @@
-{-# LANGUAGE NoRebindableSyntax #-}
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module PackageInfo_liquidlean_theorem3 (
-    name,
-    version,
-    synopsis,
-    copyright,
-    homepage,
-  ) where
-
-import Data.Version (Version(..))
-import Prelude
-
-name :: String
-name = "liquidlean_theorem3"
-version :: Version
-version = Version [0,1,0,0] []
-
-synopsis :: String
-synopsis = "Jacobian Conjecture Crack \8212 Theorem 3 in Haskell"
-copyright :: String
-copyright = "2026 SnapKitty Collective"
-homepage :: String
-homepage = ""

haskell/.stack-work/dist/eebe39f7/build/autogen/Paths_liquidlean_theorem3.hs

@@ -1,77 +0,0 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE NoRebindableSyntax #-}
-#if __GLASGOW_HASKELL__ >= 810
-{-# OPTIONS_GHC -Wno-prepositive-qualified-module #-}
-#endif
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module Paths_liquidlean_theorem3 (
-    version,
-    getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir,
-    getDataFileName, getSysconfDir
-  ) where
-
-
-import qualified Control.Exception as Exception
-import qualified Data.List as List
-import Data.Version (Version(..))
-import System.Environment (getEnv)
-import Prelude
-
-
-#if defined(VERSION_base)
-
-#if MIN_VERSION_base(4,0,0)
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#else
-catchIO :: IO a -> (Exception.Exception -> IO a) -> IO a
-#endif
-
-#else
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#endif
-catchIO = Exception.catch
-
-version :: Version
-version = Version [0,1,0,0] []
-
-getDataFileName :: FilePath -> IO FilePath
-getDataFileName name = do
-  dir <- getDataDir
-  return (dir `joinFileName` name)
-
-getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath
-
-
-
-
-bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath
-bindir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\bin"
-libdir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0-By6FwyvD8CV2SdjPPwCXXL"
-dynlibdir  = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5"
-datadir    = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\share\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-libexecdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\libexec\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-sysconfdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\etc"
-
-getBinDir     = catchIO (getEnv "liquidlean_theorem3_bindir")     (\_ -> return bindir)
-getLibDir     = catchIO (getEnv "liquidlean_theorem3_libdir")     (\_ -> return libdir)
-getDynLibDir  = catchIO (getEnv "liquidlean_theorem3_dynlibdir")  (\_ -> return dynlibdir)
-getDataDir    = catchIO (getEnv "liquidlean_theorem3_datadir")    (\_ -> return datadir)
-getLibexecDir = catchIO (getEnv "liquidlean_theorem3_libexecdir") (\_ -> return libexecdir)
-getSysconfDir = catchIO (getEnv "liquidlean_theorem3_sysconfdir") (\_ -> return sysconfdir)
-
-
-
-joinFileName :: String -> String -> FilePath
-joinFileName ""  fname = fname
-joinFileName "." fname = fname
-joinFileName dir ""    = dir
-joinFileName dir fname
-  | isPathSeparator (List.last dir) = dir ++ fname
-  | otherwise                       = dir ++ pathSeparator : fname
-
-pathSeparator :: Char
-pathSeparator = '\\'
-
-isPathSeparator :: Char -> Bool
-isPathSeparator c = c == '/' || c == '\\'

haskell/.stack-work/dist/eebe39f7/build/autogen/cabal_macros.h

@@ -1,153 +0,0 @@
-/* DO NOT EDIT: This file is automatically generated by Cabal */
-
-/* package liquidlean-theorem3-0.1.0.0 */
-#ifndef VERSION_liquidlean_theorem3
-#define VERSION_liquidlean_theorem3 "0.1.0.0"
-#endif /* VERSION_liquidlean_theorem3 */
-#ifndef MIN_VERSION_liquidlean_theorem3
-#define MIN_VERSION_liquidlean_theorem3(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  1 || \
-  (major1) == 0 && (major2) == 1 && (minor) <= 0)
-#endif /* MIN_VERSION_liquidlean_theorem3 */
-/* package async-2.2.5 */
-#ifndef VERSION_async
-#define VERSION_async "2.2.5"
-#endif /* VERSION_async */
-#ifndef MIN_VERSION_async
-#define MIN_VERSION_async(major1,major2,minor) (\
-  (major1) <  2 || \
-  (major1) == 2 && (major2) <  2 || \
-  (major1) == 2 && (major2) == 2 && (minor) <= 5)
-#endif /* MIN_VERSION_async */
-/* package base-4.18.2.1 */
-#ifndef VERSION_base
-#define VERSION_base "4.18.2.1"
-#endif /* VERSION_base */
-#ifndef MIN_VERSION_base
-#define MIN_VERSION_base(major1,major2,minor) (\
-  (major1) <  4 || \
-  (major1) == 4 && (major2) <  18 || \
-  (major1) == 4 && (major2) == 18 && (minor) <= 2)
-#endif /* MIN_VERSION_base */
-/* package containers-0.6.7 */
-#ifndef VERSION_containers
-#define VERSION_containers "0.6.7"
-#endif /* VERSION_containers */
-#ifndef MIN_VERSION_containers
-#define MIN_VERSION_containers(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  6 || \
-  (major1) == 0 && (major2) == 6 && (minor) <= 7)
-#endif /* MIN_VERSION_containers */
-/* package mtl-2.3.1 */
-#ifndef VERSION_mtl
-#define VERSION_mtl "2.3.1"
-#endif /* VERSION_mtl */
-#ifndef MIN_VERSION_mtl
-#define MIN_VERSION_mtl(major1,major2,minor) (\
-  (major1) <  2 || \
-  (major1) == 2 && (major2) <  3 || \
-  (major1) == 2 && (major2) == 3 && (minor) <= 1)
-#endif /* MIN_VERSION_mtl */
-/* package stm-2.5.1.0 */
-#ifndef VERSION_stm
-#define VERSION_stm "2.5.1.0"
-#endif /* VERSION_stm */
-#ifndef MIN_VERSION_stm
-#define MIN_VERSION_stm(major1,major2,minor) (\
-  (major1) <  2 || \
-  (major1) == 2 && (major2) <  5 || \
-  (major1) == 2 && (major2) == 5 && (minor) <= 1)
-#endif /* MIN_VERSION_stm */
-/* package text-2.0.2 */
-#ifndef VERSION_text
-#define VERSION_text "2.0.2"
-#endif /* VERSION_text */
-#ifndef MIN_VERSION_text
-#define MIN_VERSION_text(major1,major2,minor) (\
-  (major1) <  2 || \
-  (major1) == 2 && (major2) <  0 || \
-  (major1) == 2 && (major2) == 0 && (minor) <= 2)
-#endif /* MIN_VERSION_text */
-
-/* tool gcc-14.0.6 */
-#ifndef TOOL_VERSION_gcc
-#define TOOL_VERSION_gcc "14.0.6"
-#endif /* TOOL_VERSION_gcc */
-#ifndef MIN_TOOL_VERSION_gcc
-#define MIN_TOOL_VERSION_gcc(major1,major2,minor) (\
-  (major1) <  14 || \
-  (major1) == 14 && (major2) <  0 || \
-  (major1) == 14 && (major2) == 0 && (minor) <= 6)
-#endif /* MIN_TOOL_VERSION_gcc */
-/* tool ghc-9.6.5 */
-#ifndef TOOL_VERSION_ghc
-#define TOOL_VERSION_ghc "9.6.5"
-#endif /* TOOL_VERSION_ghc */
-#ifndef MIN_TOOL_VERSION_ghc
-#define MIN_TOOL_VERSION_ghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc */
-/* tool ghc-pkg-9.6.5 */
-#ifndef TOOL_VERSION_ghc_pkg
-#define TOOL_VERSION_ghc_pkg "9.6.5"
-#endif /* TOOL_VERSION_ghc_pkg */
-#ifndef MIN_TOOL_VERSION_ghc_pkg
-#define MIN_TOOL_VERSION_ghc_pkg(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc_pkg */
-/* tool haddock-2.29.2 */
-#ifndef TOOL_VERSION_haddock
-#define TOOL_VERSION_haddock "2.29.2"
-#endif /* TOOL_VERSION_haddock */
-#ifndef MIN_TOOL_VERSION_haddock
-#define MIN_TOOL_VERSION_haddock(major1,major2,minor) (\
-  (major1) <  2 || \
-  (major1) == 2 && (major2) <  29 || \
-  (major1) == 2 && (major2) == 29 && (minor) <= 2)
-#endif /* MIN_TOOL_VERSION_haddock */
-/* tool hpc-0.68 */
-#ifndef TOOL_VERSION_hpc
-#define TOOL_VERSION_hpc "0.68"
-#endif /* TOOL_VERSION_hpc */
-#ifndef MIN_TOOL_VERSION_hpc
-#define MIN_TOOL_VERSION_hpc(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 0)
-#endif /* MIN_TOOL_VERSION_hpc */
-/* tool hsc2hs-0.68.9 */
-#ifndef TOOL_VERSION_hsc2hs
-#define TOOL_VERSION_hsc2hs "0.68.9"
-#endif /* TOOL_VERSION_hsc2hs */
-#ifndef MIN_TOOL_VERSION_hsc2hs
-#define MIN_TOOL_VERSION_hsc2hs(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 9)
-#endif /* MIN_TOOL_VERSION_hsc2hs */
-/* tool runghc-9.6.5 */
-#ifndef TOOL_VERSION_runghc
-#define TOOL_VERSION_runghc "9.6.5"
-#endif /* TOOL_VERSION_runghc */
-#ifndef MIN_TOOL_VERSION_runghc
-#define MIN_TOOL_VERSION_runghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_runghc */
-
-#ifndef CURRENT_PACKAGE_KEY
-#define CURRENT_PACKAGE_KEY "liquidlean-theorem3-0.1.0.0-By6FwyvD8CV2SdjPPwCXXL"
-#endif /* CURRENT_packageKey */
-#ifndef CURRENT_COMPONENT_ID
-#define CURRENT_COMPONENT_ID "liquidlean-theorem3-0.1.0.0-By6FwyvD8CV2SdjPPwCXXL"
-#endif /* CURRENT_COMPONENT_ID */
-#ifndef CURRENT_PACKAGE_VERSION
-#define CURRENT_PACKAGE_VERSION "0.1.0.0"
-#endif /* CURRENT_PACKAGE_VERSION */

haskell/.stack-work/dist/eebe39f7/build/libHSliquidlean-theorem3-0.1.0.0-I9SHONJB803JlPO6a8fS6n.a

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:e040892d1c05c92cee8e75dc3a95edc1708d1be800c14d0d4d44b56a02f53051
-size 378520

haskell/.stack-work/dist/eebe39f7/build/production-simulator/autogen/PackageInfo_liquidlean_theorem3.hs

@@ -1,25 +0,0 @@
-{-# LANGUAGE NoRebindableSyntax #-}
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module PackageInfo_liquidlean_theorem3 (
-    name,
-    version,
-    synopsis,
-    copyright,
-    homepage,
-  ) where
-
-import Data.Version (Version(..))
-import Prelude
-
-name :: String
-name = "liquidlean_theorem3"
-version :: Version
-version = Version [0,1,0,0] []
-
-synopsis :: String
-synopsis = "Jacobian Conjecture Crack \8212 Theorem 3 in Haskell"
-copyright :: String
-copyright = "2026 SnapKitty Collective"
-homepage :: String
-homepage = ""

haskell/.stack-work/dist/eebe39f7/build/production-simulator/autogen/Paths_liquidlean_theorem3.hs

@@ -1,77 +0,0 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE NoRebindableSyntax #-}
-#if __GLASGOW_HASKELL__ >= 810
-{-# OPTIONS_GHC -Wno-prepositive-qualified-module #-}
-#endif
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module Paths_liquidlean_theorem3 (
-    version,
-    getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir,
-    getDataFileName, getSysconfDir
-  ) where
-
-
-import qualified Control.Exception as Exception
-import qualified Data.List as List
-import Data.Version (Version(..))
-import System.Environment (getEnv)
-import Prelude
-
-
-#if defined(VERSION_base)
-
-#if MIN_VERSION_base(4,0,0)
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#else
-catchIO :: IO a -> (Exception.Exception -> IO a) -> IO a
-#endif
-
-#else
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#endif
-catchIO = Exception.catch
-
-version :: Version
-version = Version [0,1,0,0] []
-
-getDataFileName :: FilePath -> IO FilePath
-getDataFileName name = do
-  dir <- getDataDir
-  return (dir `joinFileName` name)
-
-getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath
-
-
-
-
-bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath
-bindir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\bin"
-libdir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0-KOCa3CoY3NG3YyWI70wdcx-production-simulator"
-dynlibdir  = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5"
-datadir    = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\share\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-libexecdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\libexec\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-sysconfdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\etc"
-
-getBinDir     = catchIO (getEnv "liquidlean_theorem3_bindir")     (\_ -> return bindir)
-getLibDir     = catchIO (getEnv "liquidlean_theorem3_libdir")     (\_ -> return libdir)
-getDynLibDir  = catchIO (getEnv "liquidlean_theorem3_dynlibdir")  (\_ -> return dynlibdir)
-getDataDir    = catchIO (getEnv "liquidlean_theorem3_datadir")    (\_ -> return datadir)
-getLibexecDir = catchIO (getEnv "liquidlean_theorem3_libexecdir") (\_ -> return libexecdir)
-getSysconfDir = catchIO (getEnv "liquidlean_theorem3_sysconfdir") (\_ -> return sysconfdir)
-
-
-
-joinFileName :: String -> String -> FilePath
-joinFileName ""  fname = fname
-joinFileName "." fname = fname
-joinFileName dir ""    = dir
-joinFileName dir fname
-  | isPathSeparator (List.last dir) = dir ++ fname
-  | otherwise                       = dir ++ pathSeparator : fname
-
-pathSeparator :: Char
-pathSeparator = '\\'
-
-isPathSeparator :: Char -> Bool
-isPathSeparator c = c == '/' || c == '\\'

haskell/.stack-work/dist/eebe39f7/build/production-simulator/autogen/cabal_macros.h

@@ -1,110 +0,0 @@
-/* DO NOT EDIT: This file is automatically generated by Cabal */
-
-/* package liquidlean-theorem3-0.1.0.0 */
-#ifndef VERSION_liquidlean_theorem3
-#define VERSION_liquidlean_theorem3 "0.1.0.0"
-#endif /* VERSION_liquidlean_theorem3 */
-#ifndef MIN_VERSION_liquidlean_theorem3
-#define MIN_VERSION_liquidlean_theorem3(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  1 || \
-  (major1) == 0 && (major2) == 1 && (minor) <= 0)
-#endif /* MIN_VERSION_liquidlean_theorem3 */
-/* package base-4.18.2.1 */
-#ifndef VERSION_base
-#define VERSION_base "4.18.2.1"
-#endif /* VERSION_base */
-#ifndef MIN_VERSION_base
-#define MIN_VERSION_base(major1,major2,minor) (\
-  (major1) <  4 || \
-  (major1) == 4 && (major2) <  18 || \
-  (major1) == 4 && (major2) == 18 && (minor) <= 2)
-#endif /* MIN_VERSION_base */
-/* package random-1.2.1.2 */
-#ifndef VERSION_random
-#define VERSION_random "1.2.1.2"
-#endif /* VERSION_random */
-#ifndef MIN_VERSION_random
-#define MIN_VERSION_random(major1,major2,minor) (\
-  (major1) <  1 || \
-  (major1) == 1 && (major2) <  2 || \
-  (major1) == 1 && (major2) == 2 && (minor) <= 1)
-#endif /* MIN_VERSION_random */
-
-/* tool gcc-14.0.6 */
-#ifndef TOOL_VERSION_gcc
-#define TOOL_VERSION_gcc "14.0.6"
-#endif /* TOOL_VERSION_gcc */
-#ifndef MIN_TOOL_VERSION_gcc
-#define MIN_TOOL_VERSION_gcc(major1,major2,minor) (\
-  (major1) <  14 || \
-  (major1) == 14 && (major2) <  0 || \
-  (major1) == 14 && (major2) == 0 && (minor) <= 6)
-#endif /* MIN_TOOL_VERSION_gcc */
-/* tool ghc-9.6.5 */
-#ifndef TOOL_VERSION_ghc
-#define TOOL_VERSION_ghc "9.6.5"
-#endif /* TOOL_VERSION_ghc */
-#ifndef MIN_TOOL_VERSION_ghc
-#define MIN_TOOL_VERSION_ghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc */
-/* tool ghc-pkg-9.6.5 */
-#ifndef TOOL_VERSION_ghc_pkg
-#define TOOL_VERSION_ghc_pkg "9.6.5"
-#endif /* TOOL_VERSION_ghc_pkg */
-#ifndef MIN_TOOL_VERSION_ghc_pkg
-#define MIN_TOOL_VERSION_ghc_pkg(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc_pkg */
-/* tool haddock-2.29.2 */
-#ifndef TOOL_VERSION_haddock
-#define TOOL_VERSION_haddock "2.29.2"
-#endif /* TOOL_VERSION_haddock */
-#ifndef MIN_TOOL_VERSION_haddock
-#define MIN_TOOL_VERSION_haddock(major1,major2,minor) (\
-  (major1) <  2 || \
-  (major1) == 2 && (major2) <  29 || \
-  (major1) == 2 && (major2) == 29 && (minor) <= 2)
-#endif /* MIN_TOOL_VERSION_haddock */
-/* tool hpc-0.68 */
-#ifndef TOOL_VERSION_hpc
-#define TOOL_VERSION_hpc "0.68"
-#endif /* TOOL_VERSION_hpc */
-#ifndef MIN_TOOL_VERSION_hpc
-#define MIN_TOOL_VERSION_hpc(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 0)
-#endif /* MIN_TOOL_VERSION_hpc */
-/* tool hsc2hs-0.68.9 */
-#ifndef TOOL_VERSION_hsc2hs
-#define TOOL_VERSION_hsc2hs "0.68.9"
-#endif /* TOOL_VERSION_hsc2hs */
-#ifndef MIN_TOOL_VERSION_hsc2hs
-#define MIN_TOOL_VERSION_hsc2hs(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 9)
-#endif /* MIN_TOOL_VERSION_hsc2hs */
-/* tool runghc-9.6.5 */
-#ifndef TOOL_VERSION_runghc
-#define TOOL_VERSION_runghc "9.6.5"
-#endif /* TOOL_VERSION_runghc */
-#ifndef MIN_TOOL_VERSION_runghc
-#define MIN_TOOL_VERSION_runghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_runghc */
-
-#ifndef CURRENT_COMPONENT_ID
-#define CURRENT_COMPONENT_ID "liquidlean-theorem3-0.1.0.0-KOCa3CoY3NG3YyWI70wdcx-production-simulator"
-#endif /* CURRENT_COMPONENT_ID */
-#ifndef CURRENT_PACKAGE_VERSION
-#define CURRENT_PACKAGE_VERSION "0.1.0.0"
-#endif /* CURRENT_PACKAGE_VERSION */

haskell/.stack-work/dist/eebe39f7/build/test-atokio/autogen/PackageInfo_liquidlean_theorem3.hs

@@ -1,25 +0,0 @@
-{-# LANGUAGE NoRebindableSyntax #-}
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module PackageInfo_liquidlean_theorem3 (
-    name,
-    version,
-    synopsis,
-    copyright,
-    homepage,
-  ) where
-
-import Data.Version (Version(..))
-import Prelude
-
-name :: String
-name = "liquidlean_theorem3"
-version :: Version
-version = Version [0,1,0,0] []
-
-synopsis :: String
-synopsis = "Jacobian Conjecture Crack \8212 Theorem 3 in Haskell"
-copyright :: String
-copyright = "2026 SnapKitty Collective"
-homepage :: String
-homepage = ""

haskell/.stack-work/dist/eebe39f7/build/test-atokio/autogen/Paths_liquidlean_theorem3.hs

@@ -1,77 +0,0 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE NoRebindableSyntax #-}
-#if __GLASGOW_HASKELL__ >= 810
-{-# OPTIONS_GHC -Wno-prepositive-qualified-module #-}
-#endif
-{-# OPTIONS_GHC -fno-warn-missing-import-lists #-}
-{-# OPTIONS_GHC -w #-}
-module Paths_liquidlean_theorem3 (
-    version,
-    getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir,
-    getDataFileName, getSysconfDir
-  ) where
-
-
-import qualified Control.Exception as Exception
-import qualified Data.List as List
-import Data.Version (Version(..))
-import System.Environment (getEnv)
-import Prelude
-
-
-#if defined(VERSION_base)
-
-#if MIN_VERSION_base(4,0,0)
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#else
-catchIO :: IO a -> (Exception.Exception -> IO a) -> IO a
-#endif
-
-#else
-catchIO :: IO a -> (Exception.IOException -> IO a) -> IO a
-#endif
-catchIO = Exception.catch
-
-version :: Version
-version = Version [0,1,0,0] []
-
-getDataFileName :: FilePath -> IO FilePath
-getDataFileName name = do
-  dir <- getDataDir
-  return (dir `joinFileName` name)
-
-getBinDir, getLibDir, getDynLibDir, getDataDir, getLibexecDir, getSysconfDir :: IO FilePath
-
-
-
-
-bindir, libdir, dynlibdir, datadir, libexecdir, sysconfdir :: FilePath
-bindir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\bin"
-libdir     = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0-HbXGVRunzs9CJlk1L4W9as-test-atokio"
-dynlibdir  = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\lib\\x86_64-windows-ghc-9.6.5"
-datadir    = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\share\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-libexecdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\libexec\\x86_64-windows-ghc-9.6.5\\liquidlean-theorem3-0.1.0.0"
-sysconfdir = "C:\\Users\\jessi\\Desktop\\bobs control repo\\sov-kernel-monster\\haskell\\.stack-work\\install\\ccba6602\\etc"
-
-getBinDir     = catchIO (getEnv "liquidlean_theorem3_bindir")     (\_ -> return bindir)
-getLibDir     = catchIO (getEnv "liquidlean_theorem3_libdir")     (\_ -> return libdir)
-getDynLibDir  = catchIO (getEnv "liquidlean_theorem3_dynlibdir")  (\_ -> return dynlibdir)
-getDataDir    = catchIO (getEnv "liquidlean_theorem3_datadir")    (\_ -> return datadir)
-getLibexecDir = catchIO (getEnv "liquidlean_theorem3_libexecdir") (\_ -> return libexecdir)
-getSysconfDir = catchIO (getEnv "liquidlean_theorem3_sysconfdir") (\_ -> return sysconfdir)
-
-
-
-joinFileName :: String -> String -> FilePath
-joinFileName ""  fname = fname
-joinFileName "." fname = fname
-joinFileName dir ""    = dir
-joinFileName dir fname
-  | isPathSeparator (List.last dir) = dir ++ fname
-  | otherwise                       = dir ++ pathSeparator : fname
-
-pathSeparator :: Char
-pathSeparator = '\\'
-
-isPathSeparator :: Char -> Bool
-isPathSeparator c = c == '/' || c == '\\'

haskell/.stack-work/dist/eebe39f7/build/test-atokio/autogen/cabal_macros.h

@@ -1,110 +0,0 @@
-/* DO NOT EDIT: This file is automatically generated by Cabal */
-
-/* package liquidlean-theorem3-0.1.0.0 */
-#ifndef VERSION_liquidlean_theorem3
-#define VERSION_liquidlean_theorem3 "0.1.0.0"
-#endif /* VERSION_liquidlean_theorem3 */
-#ifndef MIN_VERSION_liquidlean_theorem3
-#define MIN_VERSION_liquidlean_theorem3(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  1 || \
-  (major1) == 0 && (major2) == 1 && (minor) <= 0)
-#endif /* MIN_VERSION_liquidlean_theorem3 */
-/* package base-4.18.2.1 */
-#ifndef VERSION_base
-#define VERSION_base "4.18.2.1"
-#endif /* VERSION_base */
-#ifndef MIN_VERSION_base
-#define MIN_VERSION_base(major1,major2,minor) (\
-  (major1) <  4 || \
-  (major1) == 4 && (major2) <  18 || \
-  (major1) == 4 && (major2) == 18 && (minor) <= 2)
-#endif /* MIN_VERSION_base */
-/* package time-1.12.2 */
-#ifndef VERSION_time
-#define VERSION_time "1.12.2"
-#endif /* VERSION_time */
-#ifndef MIN_VERSION_time
-#define MIN_VERSION_time(major1,major2,minor) (\
-  (major1) <  1 || \
-  (major1) == 1 && (major2) <  12 || \
-  (major1) == 1 && (major2) == 12 && (minor) <= 2)
-#endif /* MIN_VERSION_time */
-
-/* tool gcc-14.0.6 */
-#ifndef TOOL_VERSION_gcc
-#define TOOL_VERSION_gcc "14.0.6"
-#endif /* TOOL_VERSION_gcc */
-#ifndef MIN_TOOL_VERSION_gcc
-#define MIN_TOOL_VERSION_gcc(major1,major2,minor) (\
-  (major1) <  14 || \
-  (major1) == 14 && (major2) <  0 || \
-  (major1) == 14 && (major2) == 0 && (minor) <= 6)
-#endif /* MIN_TOOL_VERSION_gcc */
-/* tool ghc-9.6.5 */
-#ifndef TOOL_VERSION_ghc
-#define TOOL_VERSION_ghc "9.6.5"
-#endif /* TOOL_VERSION_ghc */
-#ifndef MIN_TOOL_VERSION_ghc
-#define MIN_TOOL_VERSION_ghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc */
-/* tool ghc-pkg-9.6.5 */
-#ifndef TOOL_VERSION_ghc_pkg
-#define TOOL_VERSION_ghc_pkg "9.6.5"
-#endif /* TOOL_VERSION_ghc_pkg */
-#ifndef MIN_TOOL_VERSION_ghc_pkg
-#define MIN_TOOL_VERSION_ghc_pkg(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_ghc_pkg */
-/* tool haddock-2.29.2 */
-#ifndef TOOL_VERSION_haddock
-#define TOOL_VERSION_haddock "2.29.2"
-#endif /* TOOL_VERSION_haddock */
-#ifndef MIN_TOOL_VERSION_haddock
-#define MIN_TOOL_VERSION_haddock(major1,major2,minor) (\
-  (major1) <  2 || \
-  (major1) == 2 && (major2) <  29 || \
-  (major1) == 2 && (major2) == 29 && (minor) <= 2)
-#endif /* MIN_TOOL_VERSION_haddock */
-/* tool hpc-0.68 */
-#ifndef TOOL_VERSION_hpc
-#define TOOL_VERSION_hpc "0.68"
-#endif /* TOOL_VERSION_hpc */
-#ifndef MIN_TOOL_VERSION_hpc
-#define MIN_TOOL_VERSION_hpc(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 0)
-#endif /* MIN_TOOL_VERSION_hpc */
-/* tool hsc2hs-0.68.9 */
-#ifndef TOOL_VERSION_hsc2hs
-#define TOOL_VERSION_hsc2hs "0.68.9"
-#endif /* TOOL_VERSION_hsc2hs */
-#ifndef MIN_TOOL_VERSION_hsc2hs
-#define MIN_TOOL_VERSION_hsc2hs(major1,major2,minor) (\
-  (major1) <  0 || \
-  (major1) == 0 && (major2) <  68 || \
-  (major1) == 0 && (major2) == 68 && (minor) <= 9)
-#endif /* MIN_TOOL_VERSION_hsc2hs */
-/* tool runghc-9.6.5 */
-#ifndef TOOL_VERSION_runghc
-#define TOOL_VERSION_runghc "9.6.5"
-#endif /* TOOL_VERSION_runghc */
-#ifndef MIN_TOOL_VERSION_runghc
-#define MIN_TOOL_VERSION_runghc(major1,major2,minor) (\
-  (major1) <  9 || \
-  (major1) == 9 && (major2) <  6 || \
-  (major1) == 9 && (major2) == 6 && (minor) <= 5)
-#endif /* MIN_TOOL_VERSION_runghc */
-
-#ifndef CURRENT_COMPONENT_ID
-#define CURRENT_COMPONENT_ID "liquidlean-theorem3-0.1.0.0-HbXGVRunzs9CJlk1L4W9as-test-atokio"
-#endif /* CURRENT_COMPONENT_ID */
-#ifndef CURRENT_PACKAGE_VERSION
-#define CURRENT_PACKAGE_VERSION "0.1.0.0"
-#endif /* CURRENT_PACKAGE_VERSION */

haskell/.stack-work/dist/eebe39f7/setup-config

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:a3096fbe2035e4d6753650851bbc58134ad8abac8c4833b7eaa7cfad38accb1e
-size 379810

haskell/.stack-work/dist/eebe39f7/stack-build-caches/491f85b1370b014c7c5b1c6e254a71bc0dd2cd9278c7546379fdef7bd7b04b37/exe-atokio

@@ -1,8 +0,0 @@
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\AToKio.hs:
-  hash: 4a3838dd66d09b6250412507ad8e50ff360a6246173d94467db1e2843986cfe2
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\INTEGRATION_GUIDE.md:
-  hash: 5d8c12c82dbdc693a510e97b4d07e0bea6641b05038db667f242094727a04a00
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\liquidlean-theorem3.cabal:
-  hash: d99576d95c205205efe7f41b257acd18a0e79ab4fcbcb5b2ee037fa4facd7370
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\package.yaml:
-  hash: 99b60100bff0bb4c4fcb325e015e159dd67630faf040d23459471a07cc6c4bcc

haskell/.stack-work/dist/eebe39f7/stack-build-caches/491f85b1370b014c7c5b1c6e254a71bc0dd2cd9278c7546379fdef7bd7b04b37/exe-atokio-linear

@@ -1,8 +0,0 @@
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\AToKioLinear.hs:
-  hash: c3ac0dfbded3d9baea523bc4df73e2eb63ad94d3c1c52329dd7d866c35414080
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\INTEGRATION_GUIDE.md:
-  hash: 5d8c12c82dbdc693a510e97b4d07e0bea6641b05038db667f242094727a04a00
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\liquidlean-theorem3.cabal:
-  hash: d99576d95c205205efe7f41b257acd18a0e79ab4fcbcb5b2ee037fa4facd7370
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\package.yaml:
-  hash: 99b60100bff0bb4c4fcb325e015e159dd67630faf040d23459471a07cc6c4bcc

haskell/.stack-work/dist/eebe39f7/stack-build-caches/491f85b1370b014c7c5b1c6e254a71bc0dd2cd9278c7546379fdef7bd7b04b37/exe-atokio-monad

@@ -1,8 +0,0 @@
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\AToKioMonad.hs:
-  hash: c24b57a342b38b7e10d768b828fc49ff2427f038c90aa4f91697367f0a616b40
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\INTEGRATION_GUIDE.md:
-  hash: 5d8c12c82dbdc693a510e97b4d07e0bea6641b05038db667f242094727a04a00
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\liquidlean-theorem3.cabal:
-  hash: d99576d95c205205efe7f41b257acd18a0e79ab4fcbcb5b2ee037fa4facd7370
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\package.yaml:
-  hash: 99b60100bff0bb4c4fcb325e015e159dd67630faf040d23459471a07cc6c4bcc

haskell/.stack-work/dist/eebe39f7/stack-build-caches/491f85b1370b014c7c5b1c6e254a71bc0dd2cd9278c7546379fdef7bd7b04b37/exe-production-simulator

@@ -1,8 +0,0 @@
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\INTEGRATION_GUIDE.md:
-  hash: 5d8c12c82dbdc693a510e97b4d07e0bea6641b05038db667f242094727a04a00
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\ProductionSimulatorLite.hs:
-  hash: 8234cc07cae452888910bb6df12808035aad8178fe4c4d250aacc9de3ee72cc6
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\liquidlean-theorem3.cabal:
-  hash: d99576d95c205205efe7f41b257acd18a0e79ab4fcbcb5b2ee037fa4facd7370
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\package.yaml:
-  hash: 99b60100bff0bb4c4fcb325e015e159dd67630faf040d23459471a07cc6c4bcc

haskell/.stack-work/dist/eebe39f7/stack-build-caches/491f85b1370b014c7c5b1c6e254a71bc0dd2cd9278c7546379fdef7bd7b04b37/exe-test-atokio

@@ -1,10 +0,0 @@
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\AToKio.hs:
-  hash: 4a3838dd66d09b6250412507ad8e50ff360a6246173d94467db1e2843986cfe2
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\INTEGRATION_GUIDE.md:
-  hash: 5d8c12c82dbdc693a510e97b4d07e0bea6641b05038db667f242094727a04a00
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\liquidlean-theorem3.cabal:
-  hash: d99576d95c205205efe7f41b257acd18a0e79ab4fcbcb5b2ee037fa4facd7370
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\package.yaml:
-  hash: 99b60100bff0bb4c4fcb325e015e159dd67630faf040d23459471a07cc6c4bcc
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\test-atokio-integration.hs:
-  hash: d9144f34c55fa25578d4faf59f4a57c0eaf223cb00ff74ac000f769c42f586a0

haskell/.stack-work/dist/eebe39f7/stack-build-caches/491f85b1370b014c7c5b1c6e254a71bc0dd2cd9278c7546379fdef7bd7b04b37/lib

@@ -1,20 +0,0 @@
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\INTEGRATION_GUIDE.md:
-  hash: 5d8c12c82dbdc693a510e97b4d07e0bea6641b05038db667f242094727a04a00
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\LiquidLean\AdaptiveVerifiedRuntime.hs:
-  hash: e11656adad23fe8dce88010d2b88ce1a31523fcf4db2bcd92005e726cfa95986
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\LiquidLean\Jacobian\CrackTheorem3.hs:
-  hash: 63898c87d23d844aae71beb8b811063cb56c20393d068f9426bb85aaf19479e3
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\LiquidLean\Jacobian\MoraLocal.hs:
-  hash: 645eb956f08d5e50634e5b9c522dd6967b67a2d20572ec1fee7224815e081e47
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\LiquidLean\Jacobian\NegativeResult.hs:
-  hash: 9f787e86349de2685c25b6830b9ac2093b35f7d313c954ba5e3897a0137abe74
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\LiquidLean\Jacobian\SingularityAnalysis.hs:
-  hash: 96dcad3aa8596e83dbe8504bf6cfa643a92891ad2223b9f832ad7dd488a7c949
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\LiquidLean\Jacobian\Theorem3Entry.hs:
-  hash: 97c8e101a3dd8151d0ca97f6c0e3c1a929d7f501b6d1f32131b681eeb28ed8a6
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\LiquidLean\Jacobian\Theorem3Kernel.hs:
-  hash: ac668ffc43bed7fe176bf6337b6a4063c9db7649a28f7a26da351b1b5a9080fb
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\liquidlean-theorem3.cabal:
-  hash: f2d808a5d3056ee2597be1498067976b321ed00733cf8b4e8636f70af617cba6
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\package.yaml:
-  hash: 99b60100bff0bb4c4fcb325e015e159dd67630faf040d23459471a07cc6c4bcc

haskell/.stack-work/dist/eebe39f7/stack-cabal-mod

@@ -1 +0,0 @@
-Just used for its modification time

haskell/.stack-work/dist/eebe39f7/stack-project-root

@@ -1 +0,0 @@
-C:\Users\jessi\Desktop\bobs control repo\sov-kernel-monster\haskell\

haskell/.stack-work/dist/eebe39f7/stack-setup-config-mod

@@ -1 +0,0 @@
-Just used for its modification time

haskell/.stack-work/install/ccba6602/doc/liquidlean-theorem3-0.1.0.0/LICENSE

@@ -1,201 +0,0 @@
-                                 Apache License
-                           Version 2.0, January 2004
-                        http://www.apache.org/licenses/
-
-   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
-
-   1. Definitions.
-
-      "License" shall mean the terms and conditions for use, reproduction,
-      and distribution as defined by Sections 1 through 9 of this document.
-
-      "Licensor" shall mean the copyright owner or entity authorized by
-      the copyright owner that is granting the License.
-
-      "Legal Entity" shall mean the union of the acting entity and all
-      other entities that control, are controlled by, or are under common
-      control with that entity. For the purposes of this definition,
-      "control" means (i) the power, direct or indirect, to cause the
-      direction or management of such entity, whether by contract or
-      otherwise, or (ii) ownership of fifty percent (50%) or more of the
-      outstanding shares, or (iii) beneficial ownership of such entity.
-
-      "You" (or "Your") shall mean an individual or Legal Entity
-      exercising permissions granted by this License.
-
-      "Source" form shall mean the preferred form for making modifications,
-      including but not limited to software source code, documentation
-      source, and configuration files.
-
-      "Object" form shall mean any form resulting from mechanical
-      transformation or translation of a Source form, including but
-      not limited to compiled object code, generated documentation,
-      and conversions to other media types.
-
-      "Work" shall mean the work of authorship, whether in Source or
-      Object form, made available under the License, as indicated by a
-      copyright notice that is included in or attached to the work
-      (an example is provided in the Appendix below).
-
-      "Derivative Works" shall mean any work, whether in Source or Object
-      form, that is based on (or derived from) the Work and for which the
-      editorial revisions, annotations, elaborations, or other modifications
-      represent, as a whole, an original work of authorship. For the purposes
-      of this License, Derivative Works shall not include works that remain
-      separable from, or merely link (or bind by name) to the interfaces of,
-      the Work and Derivative Works thereof.
-
-      "Contribution" shall mean any work of authorship, including
-      the original version of the Work and any modifications or additions
-      to that Work or Derivative Works thereof, that is intentionally
-      submitted to Licensor for inclusion in the Work by the copyright owner
-      or by an individual or Legal Entity authorized to submit on behalf of
-      the copyright owner. For the purposes of this definition, "submitted"
-      means any form of electronic, verbal, or written communication sent
-      to the Licensor or its representatives, including but not limited to
-      communication on electronic mailing lists, source code control systems,
-      and issue tracking systems that are managed by, or on behalf of, the
-      Licensor for the purpose of discussing and improving the Work, but
-      excluding communication that is conspicuously marked or otherwise
-      designated in writing by the copyright owner as "Not a Contribution."
-
-      "Contributor" shall mean Licensor and any individual or Legal Entity
-      on behalf of whom a Contribution has been received by Licensor and
-      subsequently incorporated within the Work.
-
-   2. Grant of Copyright License. Subject to the terms and conditions of
-      this License, each Contributor hereby grants to You a perpetual,
-      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
-      copyright license to reproduce, prepare Derivative Works of,
-      publicly display, publicly perform, sublicense, and distribute the
-      Work and such Derivative Works in Source or Object form.
-
-   3. Grant of Patent License. Subject to the terms and conditions of
-      this License, each Contributor hereby grants to You a perpetual,
-      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
-      (except as stated in this section) patent license to make, have made,
-      use, offer to sell, sell, import, and otherwise transfer the Work,
-      where such license applies only to those patent claims licensable
-      by such Contributor that are necessarily infringed by their
-      Contribution(s) alone or by combination of their Contribution(s)
-      with the Work to which such Contribution(s) was submitted. If You
-      institute patent litigation against any entity (including a
-      cross-claim or counterclaim in a lawsuit) alleging that the Work
-      or a Contribution incorporated within the Work constitutes direct
-      or contributory patent infringement, then any patent licenses
-      granted to You under this License for that Work shall terminate
-      as of the date such litigation is filed.
-
-   4. Redistribution. You may reproduce and distribute copies of the
-      Work or Derivative Works thereof in any medium, with or without
-      modifications, and in Source or Object form, provided that You
-      meet the following conditions:
-
-      (a) You must give any other recipients of the Work or
-          Derivative Works a copy of this License; and
-
-      (b) You must cause any modified files to carry prominent notices
-          stating that You changed the files; and
-
-      (c) You must retain, in the Source form of any Derivative Works
-          that You distribute, all copyright, patent, trademark, and
-          attribution notices from the Source form of the Work,
-          excluding those notices that do not pertain to any part of
-          the Derivative Works; and
-
-      (d) If the Work includes a "NOTICE" text file as part of its
-          distribution, then any Derivative Works that You distribute must
-          include a readable copy of the attribution notices contained
-          within such NOTICE file, excluding those notices that do not
-          pertain to any part of the Derivative Works, in at least one
-          of the following places: within a NOTICE text file distributed
-          as part of the Derivative Works; within the Source form or
-          documentation, if provided along with the Derivative Works; or,
-          within a display generated by the Derivative Works, if and
-          wherever such third-party notices normally appear. The contents
-          of the NOTICE file are for informational purposes only and
-          do not modify the License. You may add Your own attribution
-          notices within Derivative Works that You distribute, alongside
-          or as an addendum to the NOTICE text from the Work, provided
-          that such additional attribution notices cannot be construed
-          as modifying the License.
-
-      You may add Your own copyright statement to Your modifications and
-      may provide additional or different license terms and conditions
-      for use, reproduction, or distribution of Your modifications, or
-      for any such Derivative Works as a whole, provided Your use,
-      reproduction, and distribution of the Work otherwise complies with
-      the conditions stated in this License.
-
-   5. Submission of Contributions. Unless You explicitly state otherwise,
-      any Contribution intentionally submitted for inclusion in the Work
-      by You to the Licensor shall be under the terms and conditions of
-      this License, without any additional terms or conditions.
-      Notwithstanding the above, nothing herein shall supersede or modify
-      the terms of any separate license agreement you may have executed
-      with Licensor regarding such Contributions.
-
-   6. Trademarks. This License does not grant permission to use the trade
-      names, trademarks, service marks, or product names of the Licensor,
-      except as required for reasonable and customary use in describing the
-      origin of the Work and reproducing the content of the NOTICE file.
-
-   7. Disclaimer of Warranty. Unless required by applicable law or
-      agreed to in writing, Licensor provides the Work (and each
-      Contributor provides its Contributions) on an "AS IS" BASIS,
-      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
-      implied, including, without limitation, any warranties or conditions
-      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
-      PARTICULAR PURPOSE. You are solely responsible for determining the
-      appropriateness of using or redistributing the Work and assume any
-      risks associated with Your exercise of permissions under this License.
-
-   8. Limitation of Liability. In no event and under no legal theory,
-      whether in tort (including negligence), contract, or otherwise,
-      unless required by applicable law (such as deliberate and grossly
-      negligent acts) or agreed to in writing, shall any Contributor be
-      liable to You for damages, including any direct, indirect, special,
-      incidental, or consequential damages of any character arising as a
-      result of this License or out of the use or inability to use the
-      Work (including but not limited to damages for loss of goodwill,
-      work stoppage, computer failure or malfunction, or any and all
-      other commercial damages or losses), even if such Contributor
-      has been advised of the possibility of such damages.
-
-   9. Accepting Warranty or Additional Liability. While redistributing
-      the Work or Derivative Works thereof, You may choose to offer,
-      and charge a fee for, acceptance of support, warranty, indemnity,
-      or other liability obligations and/or rights consistent with this
-      License. However, in accepting such obligations, You may act only
-      on Your own behalf and on Your sole responsibility, not on behalf
-      of any other Contributor, and only if You agree to indemnify,
-      defend, and hold each Contributor harmless for any liability
-      incurred by, or claims asserted against, such Contributor by reason
-      of your accepting any such warranty or additional liability.
-
-   END OF TERMS AND CONDITIONS
-
-   APPENDIX: How to apply the Apache License to your work.
-
-      To apply the Apache License to your work, attach the following
-      boilerplate notice, with the fields enclosed by brackets "[]"
-      replaced with your own identifying information. (Don't include
-      the brackets!)  The text should be enclosed in the appropriate
-      comment syntax for the file format. We also recommend that a
-      file or class name and description of purpose be included on the
-      same "printed page" as the copyright notice for easier
-      identification within third-party archives.
-
-   Copyright 2026 QATAAUM Project Contributors
-
-   Licensed under the Apache License, Version 2.0 (the "License");
-   you may not use this file except in compliance with the License.
-   You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-   Unless required by applicable law or agreed to in writing, software
-   distributed under the License is distributed on an "AS IS" BASIS,
-   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-   See the License for the specific language governing permissions and
-   limitations under the License.

haskell/.stack-work/install/ccba6602/installed-packages/liquidlean-theorem3-0.1.0.0

@@ -1 +0,0 @@
-Installed

haskell/.stack-work/install/ccba6602/lib/x86_64-windows-ghc-9.6.5/liquidlean-theorem3-0.1.0.0-I9SHONJB803JlPO6a8fS6n/libHSliquidlean-theorem3-0.1.0.0-I9SHONJB803JlPO6a8fS6n.a

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:e040892d1c05c92cee8e75dc3a95edc1708d1be800c14d0d4d44b56a02f53051
-size 378520

haskell/.stack-work/stack.sqlite3

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:d98557c26a2779e457fdcbf02dea26b100a822f768a8aea0712fc235b5d516b8
-size 163840