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