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