2∋)1∋+0−/1,∃+∋#)2/+&∗90∃∗#∀)+,∃&∋!%,1,∀636∋#/ ,0101) 1∋∗1#∋+∃)#5∋ ∋)∋16
,∃0−!#011#,∃1&#/1∃!∋)∋ 1∋#0+∀2+−/))#)#∀∗#+∋ 1∋#0∋+0−#!1! 2)/+∀1/2)62+∋.2#)(#∃/,+10#11∋+%
F #01∋3)))5&∋ ∋ 1∋,+−!#80.∃1,∃∃ 2+! 1∋,+)0−!#∀∋ 3∋0∋ )#∋+ 1,14,&))0
T &∋/160∋5∃)#5∋ )###1∋+%,,∗0
H ∋01,/∋!/+∀))/,,∗80.∃14∋ 1&0−#!1! 2)/)(#3∋#4
L (#3∋#4#//!#80.∃14∋ 1& #21∋∃ 2))(#+∀!∋163∋#40
R ,,∃ 1,−#//!#+∀#+180.∃11#+1,+, 21∀,,/0−!# ,3#(#3∋#4#//!#
)20∀∋01∋+! 1∋3#!1#/∋+%#5!#− 1∋,+)0#/3∋!#,+0∋1##+!),0#∀−/(∋+%∃,/3#&∋!)#0+∀
∀,7#+0,∃/#012/+100&,−0+∀11/! 1∋,+01,!,∗−)#1#6,2/36∋#/#5−#/∋#+!#
8+36−∋#/!,∗∗##1∋+%0
