Coqoban_levels.v

(* This program is free software; you can redistribute it and/or      *)
(* modify it under the terms of the GNU Lesser General Public License *)
(* as published by the Free Software Foundation; either version 2.1   *)
(* of the License, or (at your option) any later version.             *)
(*                                                                    *)
(* This program is distributed in the hope that it will be useful,    *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of     *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the      *)
(* GNU General Public License for more details.                       *)
(*                                                                    *)
(* You should have received a copy of the GNU Lesser General Public   *)
(* License along with this program; if not, write to the Free         *)
(* Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA *)
(* 02110-1301 USA                                                     *)

Set Implicit Arguments.
Unset Strict Implicit.
From Coqoban Require Export Coqoban_engine.

(* These Sokoban levels I have taken from the game KSokoban and include all of the *)
(* Sasquatch (1-50), Mas Sasquatch (51-100), Sasquatch III (101-150), Microban *)
(* (151-305), and Sasquatch IV (306-355) collections. These collections are made by *)


(* David W. Skinner (sasquatch@bentonrea.com) http://users.bentonrea.com/~sasquatch/  *)



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


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


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


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


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


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


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


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


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


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


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


Definition Level_12 :=
  |> _ _ _ _ _ _ _ _ _ _ _ _ _ _ # # # # # <|
  |> _ _ _ _ _ _ _ _ _ _ _ _ _ _ # _ _ _ # <|
  |> _ _ _ _ # # # # # _ _ _ _ _ # _ _ _ # # # # # # # <|
  |> _ _ _ _ # _ _ _ # # # # # _ # _ _ _ O O O O O _ # <|
  |> # # # # # _ # _ # # _ _ # _ # _ _ _ _ _ # _ # _ # <|
  |> # _ X _ X _ X _ X _ X _ # _ # # _ _ _ # # _ X _ # <|
  |> # _ # _ # # O O O O O O # # # # _ # # # _ X X _ # # # <|
  |> # _ _ _ _ _ _ # # _ *  _ # _ _ _ _ # _ # _ _ X X _ _ # <|
  +> # # # # # # # # # # o  X X _ _ _ # # _ # _ _ _ _ _ _ # <|
  |> _ _ _ _ _ _ _ _ _ # O X _ X # _ # _ _ # # # # # # # # <|
  |> _ _ _ _ _ _ _ _ _ # O # # _ _ _ # <|
  |> _ _ _ _ _ _ _ _ _ # # # # # # # # <|
  |><|
  .


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Definition Level_35 :=
  |> _ # # # # # <|
  |> _ # _ _ _ # <|
  |> # # _ # _ # # # # # <|
  |> # _ _ _ _ # # _ _ # # # # # # # <|
  |> # _ # _ _ _ _ _ X _ _ _ _ _ _ # # # # <|
  |> # _ _ _ # # # # _ X _ _ X X _ # _ _ # <|
  |> # # # # # _ _ # _ 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 _ _ _ _ _ X _ # O _ O # O O O # <|
  |> _ _ _ _ _ # # # _ X X X X _ _ _ O O O O O O _ _ # <|
  |> _ _ _ _ _ _ _ # _ _ _ _ _ _ # # O O # O O O O O # <|
  |> _ _ _ _ _ _ _ # # # # # # _ # # O O O O O # # # # <|
  |> _ _ _ _ _ _ _ _ _ _ _ _ # _ _ _ O O O O O # _ _ _ # <|
  |> _ _ _ _ _ _ _ _ _ _ _ _ # # # # # # # # # # <|
  |><|
  .


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


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


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


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


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


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


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


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


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


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


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


Definition Level_47 :=
  |> # # # # # # # # # <|
  |> # _ _ _ _ _ _ _ # _ _ _ _ # # # # # # <|
  |> # _ _ _ X _ _ _ # # # # # # _ _ _ _ # # # <|
  |> # _ # 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 # <|
  |> _ # # # X X # _ X X X X _ # O O O *  _ O O # <|
  |> _ _ # _ _ _ _ _ _ _ _ _ # # _ _ _ # O O _ # <|
  |> _ _ # _ _ # _ _ # X # # # O O O O # # *  # # <|
  |> _ _ # _ _ _ # # O O X O _ O O O O _ _ _ _ # <|
  |> _ _ # # # _ O *  _ _ _ O # O O O O # _ _ _ # <|
  |> _ _ _ _ # # # # # # # # # # # # # # # # # # <|
  |><|
  .


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Definition Level_82 :=
  |> _ _ _ _ _ _ # <|
  |> _ _ _ _ # # _ # # <|
  |> _ _ _ _ # _ _ _ # <|
  |> _ _ _ # _ O X O _ # <|
  |> _ # # _ _ X O X _ _ # # <|
  |> _ # _ O X O X O X O _ # <|
  +> # _ _ X O X o  X O X _ _ # <|
  |> _ # _ O X O X O X O _ # <|
  |> _ # # _ _ X O X X _ # # <|
  |> _ _ _ # _ O X O _ _ _ _ # <|
  |> _ _ _ _ # _ _ _ # _ # _ # <|
  |> _ _ _ _ # # _ # # _ _ _ # <|
  |> _ _ _ _ _ _ # _ _ # # # <|
  |><|
  .


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Definition Level_99 :=
  |> _ _ _ _ # # # # <|
  |> _ _ _ _ # _ _ # # # # # # <|
  |> _ _ _ _ # _ _ X _ X _ _ # # # _ _ _ _ # # # # <|
  |> _ _ _ _ # _ _ _ X _ _ _ _ _ # _ _ _ # # _ _ # <|
  |> # # # # # *  # *  # X X X _ _ # _ _ # # _ X _ # <|
  |> # _ _ _ _ _ X _ X _ _ _ X _ # _ # # _ _ _ _ # <|
  |> # _ _ # X _ _ _ _ X _ X # # # # # _ X X _ # # <|
  |> # # _ # _ # # # # _ _ O O O O O # _ _ _ # # <|
  |> # _ _ _ _ _ _ # _ X _ _ *  *  O # # _ # # # <|
  |> # _ _ _ # _ _ # _ X X _ # O # # O _ _ _ # <|
  +> # # _ _ _ _ _ # _ _ _ _ # O # o  *  _ # _ # <|
  |> _ # _ _ _ _ _ # # # # # # O # # O O X _ # <|
  |> _ # # # # # # # _ # _ X O O # # O # # # # <|
  |> _ _ _ _ _ _ _ _ _ # _ # _ *  O O *  O # <|
  |> _ _ _ _ _ _ _ _ _ # _ _ _ O # O _ _ # <|
  |> _ _ _ _ _ _ _ _ _ # # # # # # X # _ # <|
  |> _ _ _ _ _ _ _ _ _ _ _ _ _ _ # _ _ _ # <|
  |> _ _ _ _ _ _ _ _ _ _ _ _ _ _ # # # # # <|
  |><|
  .


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 # <|
  |> # # # # # # # # # # # # # # # # # # # # # # # # # # # # # <|
  |><|
  .


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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 # # <|
  |> _ _ # _ _ _ _ _ _ _ _ _ _ _ # <|
  |> _ _ _ # # # # # # # # # # # <|
  |><|
  .


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


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


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


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


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 _ # # <|
  |> _ _ # # # # # # # # # # # # # <|
  |><|
  .


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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 _ _ # <|
  |> _ # # # # # # # # # # # _ *  _ # # # # # # # # # # # <|
  |> _ _ _ _ _ _ _ _ _ _ _ # # # # # <|
  |><|
  .


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


Definition Level_148 :=
  |> _ # # # # # # # # # # # # # # # # # # # # # # # # # <|
  |> _ # _ _ # _ _ # _ _ # _ _ # _ _ # _ _ # _ _ # _ _ # <|
  |> _ # _ X # X _ # _ 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 O O O O O o  O O O O O O O O O O O # <|
  |> _ # # # # # # # # # _ _ _ # _ _ _ # # # # # # # # # <|
  |> _ _ _ _ _ _ _ _ _ # _ _ # # # _ _ # <|
  |> _ _ _ _ _ _ _ _ _ # # # # _ # # # # <|
  |><|
  .


Definition Level_149 :=
  |> _ _ # # # # # # # # # # # # # # # # # # # # # # # # # <|
  |> _ _ # _ _ _ _ _ _ _ _ _ _ _ # _ _ _ _ _ _ _ _ _ _ _ # <|
  |> # # # X X _ X X _ X X _ X X O X X _ X X _ X X _ X X # # # <|
  +> # _ X o  O X O O X O O X O O X O O X O O X O O X O O X _ # <|
  |> # _ X O O X O O X O O X O O X O O X O O X O O X O O X _ # <|
  |> # _ _ X X O X X O X X O X X O X X O X X O X X O X X _ _ # <|
  |> # _ X O O X O O X O O X O O X O O X O O X O O X O O X _ # <|
  |> # _ X O O X O O X O O X O O X O O X O O X O O X O O X _ # <|
  |> # # O X X O X X O X X O X X _ X X O X X O X X O X X O # # <|
  |> # _ X O O X O O X O O X O O X O O X O O X O O X O O X _ # <|
  |> # _ X O O X O O X O O X O O X O O X O O X O O X O O X _ # <|
  |> # _ _ X X O X X O X X O X X O X X O X X O X X O X X _ _ # <|
  |> # _ X O O X O O X O O X O O X O O X O O X O O X O O X _ # <|
  |> # _ X O O X O O X O O X O O X O O X O O X O O X O O X _ # <|
  |> # # # X X _ X X _ X X _ X X O X X _ X X _ X X _ X X # # # <|
  |> _ _ # _ _ _ _ _ _ _ _ _ _ _ # _ _ _ _ _ _ _ _ _ _ _ # <|
  |> _ _ # # # # # # # # # # # # # # # # # # # # # # # # # <|
  |><|
  .


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Definition Level_190 :=
  |> _ # # # # # <|
  |> _ # _ _ _ # <|
  |> # # _ _ _ # # <|
  |> # _ X X X _ # <|
  +> # _ O o  O _ # <|
  |> # # # # # # # <|
  |><|
  .


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


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


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


Definition Level_194 := |> # # # # # <|
                        +> # + X O # <|
                        |> # # # # # <|
                        |><|
                        .


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Definition Level_251 :=
  |> _ _ # # # # # <|
  |> _ _ # _ _ _ # <|
  |> _ _ # _ # _ # # # # # # # <|
  |> _ _ # _ _ *  _ _ # _ _ _ # <|
  |> _ _ # # _ # # _ _ _ # _ # <|
  |> _ _ # _ _ _ _ _ # *  _ _ # <|
  |> # # # _ # _ # _ # _ # # # <|
  +> # _ _ *  # X o  _ _ _ # <|
  |> # _ # _ _ _ # # _ # # <|
  |> # _ _ _ # _ _ *  _ _ # <|
  |> # # # # # # # _ # _ # <|
  |> _ _ _ _ _ _ # _ _ _ # <|
  |> _ _ _ _ _ _ # # # # # <|
  |><|
  .


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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 _ # <|
  |> _ # # # # # # # # # # # # _ *  _ # # # # # # # # # # # # <|
  |> _ _ _ _ _ _ _ _ _ _ _ _ # # # # # <|
  |><|
  .


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


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


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