when pigs fly

@@@@@@@@@@: .#@@@@@@@@@@@@@@@: *@@@@@# :###=:::::::::-:::-#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@: #@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@*-. .*@@@@@=  :. -@@@@@@@@@@@@@@@@@@@= :%@@@@@@@@@@@@@@@@@@@@@@
@@@@@@@@@*  -@@@@@@@@@@@@@@@# .%@@@@@%..                   :--*@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@: #@@@@@@@@@@@@@@@@@@@@@@@@@@@@@+   -%@@@@%: .+@+.*@@@@@@@@@@@@@@@@@@=  *@@@@@@@@@@@@@@@@@@@@@@@
@@@@@@@@@+  *@@@@@@@@@@@@@@@@=*@@@@@@@: .::-*************-    .-=+#@@@@@@@@@@@@@@@@@@@@@@@@@@@: #@@@@@@@@@@@@@@@@@@@@@@@@@@@*-  =#@@@@@#. .*@@@%@@@@@@@@@@@@@@@@@@+  +@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@@@##: -@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@*++-.   .-*%@@@@@@@@@@@@@@@@+#%@#++-  #@@@@@@@@@@@@@@@@@@@@@@@@@@=   +@@@@@@#. :%@@@@@@@@@@@@@@@@@@@@@@+  +@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@@%... #@@@@@@@@@@@@@@@@@@@@@@@@@@* :====#%%@@@@@@@@@@@@@@#==:   .==*%@@@@@@@@@@@# ..:.   .+@@@@@@@@@@@@@@@@@@@@@@@@@@= .=#@@@@@@%. :%@@@@@@@@@@@@@@@@@@@@@@+  =@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@@# ...%@@@@@@@@@@@@@@@@@@@@@@@@@#.      ...-+*%%@@@@@@@@@@@@@*-.    .-=%@@@@@@@@*    .-==%@@@@#-:#@@@@@@@@@@@@@@@@@%-  *@@@@@%*+: :%@@@@@@@@@@@@@@@@@@@@@@+  =@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@@# :%%@@@@@@@@@@@@@@@@@@@@@@@@@@: :+-.....    ..:====*%%%@@@@@@%+=-.   :*%@@@@@@%=:  .*@@@@@#-.  :@@@@@@@@@@@@@@@@%: .+@@@@@+.   :%@@@@@@@@@@@@@@@@@@@@@%:  =@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@@# .@@@@@@@@@@@@@@@@@@@@@@@@@@@* .%@: . +%*--:..      ...=++#%@@@@@@*=.  .:+@@@@@@%=.  =%#*-.  ...%@@@@@@@@@@@@@@@- :#@@@@@*. :=+%@@@@@@@@@@@@@@@@@@@@@%:  =@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@@# .%@@@%###*=========*%%%@@@@@- =@+ .. *@@@@#-  .===-...   ..:::.-+#@%-..  =@@@@@@@%-  ..   :*#..%@@@@@@@@@@@@@@= .#@@@@@#. =@@@@@@@@@@@@@@@@@@@@@@@@#: .#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@@%. +%--:              ...=+*%%- *@+ -- *@@@*.   .%@@=::. :-.        :+%%%-  :%@@@@@@@*: .:-*%@%..%@@@@@@@@@@@@%-  *@@@@@%: -@@@@@@@@@@@@@@@@@@@@@@@%=. .#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@@@= :.   .:::=+======-...    ... *@+ =- *@@@= :+..%@-     -@%#####+-.  .-*%*: .+%%%%%%%%+*%%%%%= .%@@@@@@@@@@@%= .*@@@@@+. :%@@@@@@@@@@@@@@@@@@@@@@*:  =%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@@@-   :++#@@@%+::@@@@* -%+--:... :*= =- *@@@= +# .%# .++: -@@@@@#*-:.=-.  .-=.  ...............  :@@@@@@@@@@#=.  *@@@@+:  :#@@@@@@@@@@@@@@@@@@@@@%-  :*@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@%- ..+@@@@@@+.  .%@@@# :@@@@@%=    . -- *@@@= -: -@# :@@- =@@@#:     +@#+:.  ... ...............=%@@@@@@@@#:   :+@@@*:  :+@@@@@@@@@@@@@@@@@@@@@%=. .=%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@#. .. *@@@@%=  .-#@@@@%. #@@@@@: ==: ....#@=...  :%@# :@%. *@@@+ .:=: :@@@@#+.  . :*%%%#%#######%@@@@@#***-  .:+@@@*:  :+@@@@@@@@@@@@@@@@@@@@@#-.  -#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@#. .#- +@@@*:  -%@@@@@@@=:%-=@@@: :**: . :=: ....-%@@# .%- :%@@@+ -@%. *@@@@@* .+:  .+%@@@@@@@@@@@@#---.    .-%@@%+:  :+%@@@@@@@@@@@@@@@@@@@@#-  .-*@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@*. :*@- :@@=   +@@@@@@@@@+-#..#@@=   ......  .=- .---==..:  =%@@@+ -@# :@@@@@@= =@- .  .=%@@@%%%*+++:    :::=%@@#=.  :+%@@@@@@@@@@@@@@@@@@@@#-  .=#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@: -%@@# .*- ..+@@@@@@@@@@: :. -%@@*=..:........  .     ..    .:=#+ -@= -@@@@@@= +@: **:  .-=-...     .+**@@@@%*-.  :*@@@@@@@@@@@@@@@@@@@@@#-  .=%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@* .%@@@@: . . =@@@@@@@@@@@#. .. :#@@@@%+:...  ..-. ..::....:::.   . :+. *@@@@@@= +#  #@@*:     ...:---*@@@@#+-.  .-#@@@@@@@@@@@@@@@@@@@@@#-. .=%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@: =@@@@@= .. .%@@@@@%*@@@@@- ... .#@@@=   . :+#%@#:   .    +@@%*=:...  .+%@@@@@= ++ -@@@@@=  :+%%%@@@@@@*=:.  .:=#@@@@@@@@@@@@@@@@@@@@@#-. .=#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
#..%@@@@@* .. =@@@@@@- +@@@@= .... :#@@#=+#+ -@@@@@@*=:::+= .#@@@@@%: .   .-*%@@+ -- +@@@@@*  .#@@@@@@@+:   .-+#@@@@@@@@@@@@@@@@@@@%#*+-. .-#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
= -@@@@@@: .. +@@@@@@- :%@@@%. .... .%@@@@@* -@@@@@@@@@@@@@- :%@@@@@: .**-.  .=##....#@@@@@%.. =@@@@%+:  .=*%@@@@@@@@@@@@@@%#*+=-:..    .-#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
. *@@@@@* ....#@@@@@@-  =@@@@: .  . =@@@@@@+ -@@@@@@@@@@@@@%. .=+++: ..%@@#+:   :.. -@@@@@@@-  =@@%+.  :+%@@@@@@@@@@@%#+=::.      ..:-==#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 :@@@@@%: .. :@@@@@@@-  -@@@@: ..=. #@@@@@@+ -@@@@@@@@@@@@@@*:      .. =%@@@@#:  .. :+*%@@@@#. +%=.  :*@@@@@@@@%#*=-:.     .::-=+*#%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 -@@@@%: ... -@@@@@@@*  :%@@@- =%@: #@@@@@@+ -@@@@@@@@@@@@@@@@*=----#-  :-===-.   ..   .:=*%+..:.  :*@@@@@@%*=:.     .:-+*#%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 -@@@@= .... -@@@@@@@@-  #@@@* :%@: #@@@@@#. +@@@@@@@@@@@@@@@@@@@@@@@@+.      .-=**  ::.   : .. .-*@@@@%*=:.   .:-=*#%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 =@@@# .. ... *@@@@@@@# .#@@@@: *@: #@#-:=- :@@@@@@@@@@@@@@@@@@@@@@@@@@%#+===+#@@@@= :#%*+=#- . +@@@#=:.   .:=*%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 =@@@- =#.... +@@@@@@@%. *@@@@- *@:.+-.    .*@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%: .#@@@@* . -#=:   .:=*%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 =@@+  *@. .. -@@@@@@@@: =@@@@= -*..  ...  .#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%: .*@@@- ...   .-*%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 =@@- =@%. ... *@@@@@@@: :@@@@#. ...... ... :@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%-  =@#. -. .-*%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 +@%. #@@=. -= =@@@@@@@:  +@@@@= .... ..*@*..#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@=. :. :%%#%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 +@#..%@@@* -= +@@@@@@%.  -@@@@%.  . :#%@@@- *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@*.  :#@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 +@%..%@@@* -= :======- ...%@@%= .+- +@@@@@= =@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* :*@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 *@#..%@@@* ::          :. :=-.  *@= +@@@@@* :@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 *@#..%@@@* . . :=++-....:     :*@@= +@@@@@%. *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 *@#..%@@@#. .. :===: .. +*+++#@@@@= +@@@@@@= :@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 #@#..%@@@- .. .     ....#@@@@@@@@@- +@@@@@@%. *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
.#@#..%@@#..#%- :+++**. :%@@@@@@@@@= +@@@@@@@- +@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
.#@%..%@@- -@@+ =@@@@*   -@@@@@@@@@= +@@@@@@@= -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
.%@#..%@* .#@@+ -@@@@- ...%@@@@@@@@- +@@@@@@@#..%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
.#@#..%@: +@@@- -@@@@- =. #@@@@@@@@- +@@@@@@@@: *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 =@@: ++ :%@@%. *@@@@- +: *@@@@@@@@- +@@@@@@@@: *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
 .%@= =- *@@@%..%@@@@= =: *@@@@@@@@= +@@@@@@@@: *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
. :%+ -: #@@@%..%@@@@# .: *@@@@@@@@= +@@@@@@@@: *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@= -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
#: -*....#@@@%..%@@@@@: . *@@@@@@@@- +@@@@@@@@: *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@- +@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@#. :.  :@@@@%..%@@@@@- . *@@@@@@@@= +@@@@@@@@: *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@- *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@= ... -@@@@%..%@@@@@= . *@@@@@@@@- +@@@@@@@%. *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%. *@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@#. .. -@@@@%..%@@@@@* . *@@@@@@@@- +@@@@@@@# .%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@* :%@@@@@@@@@@@@@@@@####*-::::+@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@#. . #@@@@%..#@@@@@@:  *@@@@@@@@- +@@@@@@@= :@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@- :@@@@@@@@@@@@@%+-:           :=%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@#.  =@@@@@- -@@@@@@=  *@@@@@@@@= +@@@@@@*  +@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@*. +@@@@@@@@@@%*-.   .::::-***=.  :-*#%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@@@@@%.  =@@@@#. =@@@@@+  *@@@@@@@@- +@@@@@@: -@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@#. -@@@@@@@@@#=.   :+*%@@@@@@@@@#+:    .-+#%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@