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