YES
Fatal error: exception Invalid_argument("List.map2")
Raised at Stdlib.invalid_arg in file "stdlib.ml", line 30, characters 20-45
Called from Stdlib__List.map2 in file "list.ml", line 131, characters 48-60
Called from Proof.fprintfx.fpfx in file "src/ttt2/src/strategy/proof.ml", line 209, characters 13-39
Called from Stdlib__List.map2 in file "list.ml", line 131, characters 32-39
Called from Proof.fprintfx.fpfx in file "src/ttt2/src/strategy/proof.ml", line 209, characters 13-39
Called from Stdlib__List.map2 in file "list.ml", line 131, characters 32-39
Called from Proof.fprintfx.fpfx in file "src/ttt2/src/strategy/proof.ml", line 209, characters 13-39
Called from Stdlib__List.map2 in file "list.ml", line 131, characters 32-39
Called from Proof.fprintfx.fpfx in file "src/ttt2/src/strategy/proof.ml", line 209, characters 13-39
Called from Stdlib__List.map2 in file "list.ml", line 131, characters 32-39
Called from Proof.fprintfx.fpfx in file "src/ttt2/src/strategy/proof.ml", line 209, characters 13-39
Called from Stdlib__List.map2 in file "list.ml", line 131, characters 32-39
Called from Proof.fprintfx.fpfx in file "src/ttt2/src/strategy/proof.ml", line 209, characters 13-39
Called from Stdlib__List.map2 in file "list.ml", line 131, characters 32-39
Called from Proof.fprintfx.fpfx in file "src/ttt2/src/strategy/proof.ml", line 209, characters 13-39
Called from Proof.fprintfx.(fun) in file "src/ttt2/src/strategy/proof.ml", line 233, characters 19-36
Called from Either.map in file "src/util/src/either.ml", line 28, characters 63-68
Called from Prelude.(<.>) in file "src/util/src/prelude.ml" (inlined), line 36, characters 20-25
Called from Either.either in file "src/util/src/either.ml", line 36, characters 17-34
Called from Monad.Transformer.State.(>>=) in file "src/util/src/monad.ml", line 391, characters 37-42
Called from Either.map in file "src/util/src/either.ml", line 28, characters 63-68
Called from Prelude.(<.>) in file "src/util/src/prelude.ml" (inlined), line 36, characters 20-25
Called from Either.either in file "src/util/src/either.ml", line 36, characters 17-34
Called from Either.map in file "src/util/src/either.ml", line 28, characters 63-68
Called from Prelude.(<.>) in file "src/util/src/prelude.ml" (inlined), line 36, characters 20-25
Called from Either.either in file "src/util/src/either.ml", line 36, characters 17-34
Called from Monad.Transformer.State.(>>=) in file "src/util/src/monad.ml", line 391, characters 37-42
Called from Monad.Transformer.State.(>>=) in file "src/util/src/monad.ml", line 391, characters 37-42
Called from Monad.Transformer.State.run in file "src/util/src/monad.ml", line 412, characters 24-29
Called from Prelude.(@.@) in file "src/util/src/prelude.ml", line 39, characters 20-25
Called from Kernel.fprintf_proof in file "src/ttt2/src/kernel.ml", line 578, characters 9-1023
Called from Kernel.fprintf in file "src/ttt2/src/kernel.ml", line 629, characters 3-48
Called from Kernel.execute in file "src/ttt2/src/kernel.ml", line 714, characters 2-49
Called from Main in file "src/ttt2/main.ml", line 24, characters 0-17