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