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