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