Set Implicit Arguments. 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@betonrea.com) http://users.betonrea.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 - - # <| +> # # # # # # # # # # % 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 % 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 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 # <| |> - # # # # # # # # # - - - # - - - # # # # # # # # # <| |> - - - - - - - - - # - - # # # - - # <| |> - - - - - - - - - # # # # - # # # # <| |><|. Definition Level_149 := |> - - # # # # # # # # # # # # # # # # # # # # # # # # # <| |> - - # - - - - - - - - - - - # - - - - - - - - - - - # <| |> # # # x x - x x - x x - x x O x x - x x - x x - x 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 - # <| |> # - 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 - # <| |> # # # # # # # <| |><|. 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 % - - - # <| |> # - # - - - # # - # # <| |> # - - - # - - @ - - # <| |> # # # # # # # - # - # <| |> - - - - - - # - - - # <| |> - - - - - - # # # # # <| |><|. 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 - # <| |> # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # <| |><|.