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