fact: Definition Level_86 := |> _ # # # # # # # _ # # # # # # # <| |> # # _ _ O _ _ # # # _ _ _ _ _ # # <| |> # _ X X O X X _ # _ O X O X O _ # <| |> # _ X _ O _ X _ # _ X O X O X _ # <| +> # O O O # O O O _ _ O X + X O _ # <| |> # _ X _ O _ X _ # _ X O X O X _ # <| |> # _ X X O X X _ # _ O X O X O _ # <| |> # # _ _ O _ _ # # # _ _ _ _ _ # # <| |> _ # # # _ # # # _ # # # _ # # # <| |> # # _ _ _ _ _ # # # _ _ _ _ _ # # <| |> # _ O X O X O _ # _ O X X X O _ # <| |> # _ X O X O X _ # _ X O O O X _ # <| |> # _ O X _ X O _ _ _ X O # O X _ # <| |> # _ X O X O X _ # _ X O O O X _ # <| |> # _ O X O X O _ # _ O X X X O _ # <| |> # # _ _ _ _ _ # # # _ _ _ _ _ # # <| |> _ # # # # # # # _ # # # # # # # <| |><| .