rustyfi-lang 0.1.4

Abstract syntax tree, elaboration, evaluator, and primitives for SATySFi
Documentation
���oitA���the��oed�rdtfna���lkitrhepiasbaAnl��cA	oia�"ytsogedaHm�ihpbiesA������tsiedca��sqB���zs��	�troea�H�
�tsrgb  �eA">K{������3vutsrpnmligfedcb!1 ������cA�
srp�Q�msrld!f ���k ���#vusl��ea� ��(,0Eurolieaoi
�t!A��� ����
��tsrpnmgd! �re!�tsrn!< � �����ie��ra �(ye!K_tsrpi!a �������;LPnurolihea� �gcrAieooi�ieaC� �6�� �srg� �piec� ����(7?Uwvtsrnmla!	�tsl!�4ona!���meB� �ca�4�yuoiea\toh!i.�Gie!rd��uieyA�pib! �Itsdc!DdA�tsB��roiea!�tpc!C� ��he!rA� ��)oa!��$3RVYp�����yxwvutsrponmligdca!M
rl t ������onc!T�ti!� �Gige!
4snl!C� �ż �L
5Muroiea!�e!A�iA��ie!hrn!r ��Ŀ �|sn!0onlea3i!A� � �1	snmb!Cmi!bAd �vrl� �$yoiea� �nAQ��vtoiedFmA�olc 	s��+�1srnmlgdc!B ��ne!ia�n!A­ ��dsnmb!rA� ��� �
�vspnm� ��Zn!A-pogb!? �hA* ��Mvupgc!��%Ccyuoiea!m�ia!�W|trlc!� ��aA�nd�trnl!� ��:�tsrnge!k ����rnlb!jc!A��sn G �+LqyuoieaiA�srk!� �ftc!���tsmc!� �!%uoiealdle�sd!lA�Hec �ti!y �oA�oA�oniedca!GiA{7AI"{PZvutsrpnmlifedb!< �tfd��ia!trl!uteA�]/si! �
�trpndc!� ��oe!Bvle!aA��Coia!W �ialA� ��si!splm ���.�tr 	:OYh�urolihea� �� �nc� ���roa }��tpec!			�	wutsomligfc!H	tnb!V	 �Z	sl!moieanA�ti!��	J	vpnlc!E[	 �oA�� �Up	�vsrqngca!? �sg���ia!�ra!B�	 �tp�	ld!/;hlutihecacA���	a!A�rmc!�	la!�pa!�rmlc!lAoA_K
tnl!C	 �M}
�sndb!oA�vp oiaiboe	�trl!�
KZf�uroihea! ��tl�
e!Aoc�
utskigedc!	oea!�Brpnl!� �V ��ni!�	rnlc!DoiB*	sc!dlc!@oiea� ��ȩ �x\��+��6� ��&{�10��	1
zxwvutsrponmlkihgfedcba!�yr!B�e!ArdtrB nAua	tonecia�	B�
utml!#oA!�sl!#! �#+JY`yusrolieba.!K
	�
��trnlb!E%o�sn!|)�uria!�	 �$tfecD###�usnd.!yA�#rA&�
froia!!!M"�
8Kgutrolkiha!	(vi
ne!�"$)!,
,
K
tspolfc! �
wslieED
a!A�
ml!B$!!(&%%�)�
JTyuromjihea!
 hoi! �
i!A���$tiBb
 �oha!�
�
$vtsrpogdca!
ute.!)sA$�na!"iA:trn!$uiB-)$%
��ronlihea!*r!A%!+�onea!DUea!uAeoe � �!
2�toiged!spa#mi0/!$	5
2:@srnmlgdca.!JuAue!B� �( .J�'vtnmiecb! �ha!)- 
Btonmgc!Fsi"oiB
oe $$(!#!�	>uspngfdcb!	 ^i!Agb�
�sga!ia�i!AsA'!  '�wusromge!�he!��
ia!sd�	 �(meb�uea!	nA),6@o������yvutpolkiedca!
�
 ��ui!B"))��tsrngd!|ui! dAla	rnl!raByizf�
oi!^ �"busnldc!Fta�srn!��&�s	olhe!D3!%22.p��yupoieba!H#%%��%%srlkged!G1ut3le!"tsf!!�oiea!iA�dulea!v�uoa!oA### �*	�utsogfc!yo""�tsrme!EoA&$ �uic!C2%mlb!C	riB%%$ vnec!%%'r[yuroihea!s.
trml
iaB+$%
 l������uyutsonihgedca!M'�wl!B6rlc!C%�ul!���yoie!eA
�rnc!C�ia!� �Qts!	o!A%�nl!##g
 *?Q[utsrolihea.!K
:u!A oidAoieC<tg!!" !��Tvutpnmljgcb!$iA$$ �euliea!{oe!���oi!dA0�vtn!uh�ie!� �
�snlf!D��ie!^;ia f �!))!��xutnmid!!�ue!	hA#uoa!B%reB�(iha!nmBto+"!!	,7=Giq{������zyutsrponmihgedcbaRnfBtn	roB%"�pdc!Cia 
vtonl!�ie!oarjrnc!C!Htlb!Via!BtAtsaia	roiarnB#
1�JY_i���utspolkiheca!2(#��
�tsrpmlb!G%e.�ta!zs�naB '�5�tsrnleca!oi �trn!(nd+	roieaEztsiAgaB@d!AuAzA�! :8'7�vutsnmlfca!

�yi!)' ""=�zsrponlgd!I#s!A�c!Aun!

	oieaD� �ga3!#rmlC,%<m��9yutroihea!	#�oe!B�ie!�ie!Bti�
 �r!AdcBrA�oe!$�Ctpe.! UUhea!0!$!1�EXb|tsrnmldcb.!J!eAra%�	srnlgb!�Brn sog!!ieaCs.�{ynie!}i!A0ti!B$!};tsnml!EeA0!iL zyea!D<C\�=����(	Z	e	k	�	�	H
Z
�
6�zyxwvutsrqponmlkjihgfedcba!� ���uoma!nA(�sigea!iAnm((	sondb�t!Aoc=�%toih!@%(&"AG]G7�otsrpnmlihgecb.!&�bBola!C� �oA&ba!1�ie!BsAua!!��uroiea!Furo!!�tiea!D�ea!B#�uied!� �'&tsrlge!%l.B+!!!$!&(!$$
(EXc~�wtsrqonmlgfedca.!P1aA(aAAiA	�r!A �%iAuasAleBde!AAeA
$qieda!F umlCHue!B+(�uom!C�yu!$(@�%1IP_gqxBvtsrqponmlgfedcba.!& &E�tsngc!!�srm!!#tsqomk!/#%yieaDF �1ieBmA$dAtiefe&{siec!Dte"ocB"
�nieda!'�ia!$�srn!sA'($$($$D_�o�pyxwutronlkihdba.!P)dA"$�nmlc!# �%�vsa.!)(+9��soned!�sma!%$9u%;yuoiea!F�o!A� �rn'nAuelA� ��ua!I#/toiecE�lAw �Poi KtAtaBre!iA$tsi!&)von8"$oiea!($2<KStsrnlfb.(&$tsi.D;/)DI/���:��H��ywvutsronmlkjihfedcba!oe�rm!B/!&��ymleca!F!iaeA�}�riea!Ltoea!iAduti!C3$mc!Lfc uonl!cDvonmiea!GKJ�
�utshe!/P+|usroc.!F� �lA&(((!(�&<{���Q���yvutsrponmlkigfdcb.!* � sn!pdO 	lihe!D!snbrAieaC$`i!AmA#�^yolia!@oie!Crnd��srd $eaBQtnidc!Eeia!tA(!&&��nedba!ro$ts'&$%$'7n}h���wtsrpnmligfdca.!� �%%#Q bpnmieb!nAliB%%#"%%#z < � xwvutsromedc!n.:�)zponlca.!dA� 0oe!BiA##'!bwutsrica!H$trmld%%#'#| Nx�yuromlkiea.!K$mctsr.!iArAaA"m!l!AnA eaB��sma!� teda!mlS%$!$�!�!1 	)8?KQ��!ctsponmlgfedca.!Ntr!� �siea!D� �"srO$[vmc.!D%qnm!"tq!!sp'"	!4yuoiea!FuiBfcyitA!nd!ug #yoa.F#�poea!!a!A�"�!!!�tsiedca!G$rpB!!tolheh �ld$"�	toneda!�"ea!!t.	6yraaAiAS!!!&$J# 
*Paj���#���J#zwvutsrponmligedcba.!T~#t!A$uAiAr#]!
tsnf!#tnrA(oi+VtpaC"�!usn!omB'W/!
$:yuoiea!FB�#i!AuAtA$"1�"�trngc!E-V��!tsrnea!F
[$si!B:oiga.yuB-"ie!	G	�%vtsonmfc!
�!#rnml!($k"oe!BmA-)$u�yuroieaG� ��$�$ie W'$tlia!((iealia\!#�$oie!CaA�"ri ("(%	I%)%4Nuvutsrponmlifb!
�#t!A%%%�#V%tsnmlcb.!'/"*�{��U,��FKEnzyutsrqonlkiheca!'eAY$thB.iAM$lge!"uiea8tgmdX&t!A/z#ui!B�n$ng!&""&/$%-;IO�%vutsrpnmlgcb.!
4&ie 5U&yylie!D4$wc!!tA��&�
tria!D4&�yo!uA@soP�&p$olia!8se#sA#srn`""yoiC�&ea "$C��&tsiheda!	tA nld� !'uoe!Cic
rgdCnA&iA_sA((('usonmkiea!	lA(aA!w%gd!B�'o!A!i.!!!$	>&tqpieca.!E%ihe!C  tsl�&li!oi&"!!-u���,>FL�'Vipxvtsrqponmligfdcba.!c_(o!Anl) #reaCB&uo!B �&trd!C0&ea!Brl()!%/	�([(utolhea.!0�%vr! ml�!(uolCtrie1&�(oge!Cf%�(lc!BFoie=##)�(siec!DrA�(�(Y&yohea!IX&L)ia!B!%D$')(;�&FQ`p|�'���xvutsrponmlgfedcba.!A'wsf!g'-$-�)uoiea!E{)tn!$�)�)soie.!oAtn$�)oia.!$�'ya!+$tm.C	�)�)si!B*ta!&&%j$*V'",J"*)xwutsronmljgcb.!O	tA$ 'x*snmli!�(s!A$slVgfe) �pm�# �'+uoieaEiA.
wmlC@)h!A�$oih!Cli�(tnl "lec�* �kcalA"n)te!!(!#�)	+(9�(usrpnmlieca.!LtAǐ" �,oeBq+ �.eA�*rd!lA2%''k0[+snmlkea!G"/J1/`"*0:N���9�&1EL.zywvutsrponmljihgfedcba!/eAut(�+�+lied! �+oea!�+6,eb!�+pe!B,he!m%,,trlea!b,e!AiA%�*/,tsoe!Z,rn!uA"tfe"u,urie!eA�+oi!'%$�,>]}�,����zvutsrpnmlkgdcb!O+�tnl!C
snlC�+ts!aA-sc!/'#''�,utrolieba!InA�hA "�+ -tpmld!E/+n!A]-pfb!@ i!Am% tc!�oa	rn�-ma!c+oea!#tcn#+�-�(uiea!iA�#!":U\�-jqutrolihea!	?+tn!rA�(!(�+�-wvtslhd!Go+ �P.sa {+re!�,i!A#!.vtmgca!xr
oAm�,rlc!#!%)-o.Tzuroligea!H$y.oe!&�.ie!BaA!r#'%A-�.f�.�.tsrpmligfdc!�,lc!�. ��q& ��.tn!�+ �/tg!B-##uolieaFbaeai. �%'0!/?/0/
`/uronmlie!9/d!A'"ysoC(oA!"n!A+'/sigec.!#iAy/he!*�/e!A+s$7.29zvtsrpngfd!
w. �#uA*-�/lie!�/ �<-ie!'�-�.�/tsnmgdc!�. �oi
�/ts!Biat"s�.	�.Cxvtsrponda!J/�-r!A"w!"v..q0u�0vtsonmec!!)�/ia!uaB( �+"��0pmgdca!/smBti&!	I'Z/�09ClD/��yvutspoliedca!
1c!A31�oi!,1�/trng!Yoa\ 1trmle!E$]1r!Agal111	a)utsongec!P1 ��1oi!B�.ri!B( *300�0�1ztrnmligdb!
	aA�b1 ��1/rlea!tm #$	&�$fj��1�uponmieba!	") �9!q�12�0tsrnmlc!#$�/�$tie!^2 �!l�$b2rea!C$"�0ve!BsitA 9%%0wutsrpled!In�1h2h2tngec!�%vtmi!Dsm#!�2upa!C�%fa!!nA�&$�&&�2uroiea!trfaD'  3;Pc�2y���wutsokigedca!�2tr #%c*uoa!C"tan+3oed!C%C!!�1%1x3�1tsrpnmlfdcb!/%22trl!C�2 �+ie!p1xtrn!iAg2ia!tAia��3sh!g
3�3oie!5^
4tr!B!+n3$1	#;Aautrolihea!	�* ���yihm.ui!�2�*tplgdc!�12oea!lhBJ4P4ia!Bsl.&edBrie!tieCts.C!!"!$!
�4$�4-�4�4xvtsrqonmlgda!MW2li!n.?d3ki!!aA!un!(5tc!"{%!!'!��0#zvtsonmfedca!E5oe!	c-5lc!tsF5iea!sd A3si.!�5 ����5pl!�!s.Brd!J!�5ihe!&4ndb!C�4 �#(%!$�.�*%3>DZx���S^guzywvutsrponmkjigedcba!Unm$�36626uiha!DY)""�44nlgeca!Suia
k.w5r6ie!		s.B)!!�6�3
�6tonmedca!Tua.  $�6rpnld!�6tr �6e!Anm�4�6rolie!Xrn#!7�6oiea!(urnb�1 �'7gf!Boc�5	uroia!PrlB/`")$
E_�97G7���utspomkiheca.!
�/ol.!yi& $�6f7	ytsrpml!G
"6id!l�7ia!B�6�7xrnle!}�7y!AN5 �")"��7�6utrnmgca!�/ �
aA$8�6rnml!mnmlg
E8mba!C�3oiea!.8e!A md!%!98A]���zwutroihea!
igrnie$�3tsrmked!z�6�8�8tsplb!rn�6iea!�8srnl!bA8t!A9oih! �8uslgdca!�0ue lcJruoiea
ygB�7tsne!R9rihea!(9,8poi!P%$�6sla.!�9�!ie 	)Z�(;���#���	�	�	E
X
�
�
�x�zyxwvutsrqponmlkjihgfedcba!y�7ute!�0 ��*4:sol!�% ��ia�ta'iA[(�	/O:wrnlgcb.!H%�9ts!nA�"9id!#ed"mcB%
vroeiaH9ts.!%�:�:oia!CU3 �&#(�&*IS�:�:Zvutsrnmlidcba.!-'�2tc!B*8$$slecaE;;ie!;6;rnc!�6a!A
 2rolieEg, ��;sia.!nl�':rl P9 �lA(/�;�;nigeda!F�;ea!"�G$�;,08A�:Strnlgedcba!
 �;nc!"�:r!A$�;m!A%$H9uoiea!E<t!AbeAȝ  �'�;d!Aym.aA1: �(:7<tmedba!!&%&$-48?vronmlec.I
�:;:�<trng!G,;7�9uoea!D^pAB<srd!%�<t:ne!ieB�; �#2;ne!�<oi!&%%$�1�+�<�<tsrnmgec.!I%geg@ag�����utsrolihfedba!
#�:oi!nA$�;_=olie!�= �))sr.$�;�;-;tgea!eA�= �'(I;rpoiec!�~=�=S3tsoi!D+�%";utoi.!E&&%$�=4<+Olp�D4zutsrnmligdc.!
nlCniB%nA%$>yulie!E'oi&->�;A=toid!D$�<l!A?me!�5ts.!%aA$$&&$7?\etsronmlfda.m>e!A	�>rd!B$yui<oa!."�>rliea!EsA
=�>toea!D
?tl �>a!AtrB	aA5.AJuA�> �W$$!"! ;6 �='vtspongcba.!K�> �srro$ytrc�i?so!!bpmdC"�>t!A.$ L22yuoiea!F%$%y?uihe!+tbB�?red!.Ao	onaC+(�?sr!B0,oieaDtA�%re!sd	�?on!ysg.&tA-@sr!B&'!$%(&(�> 	@*2<vusrponmigedca.!"�pmb!�@ml!)pngC%�?�@mie!CG&uoieaE	iA	tcB? �%ohm
	9?trnb!D
uA�aA�ia$a?A>yunea!&%�>&,srnmiea!"oA$#nmbC~1"�14/o{��N��Xq�>zywutsrponmlihgfedba!gAne!�%@@uie!sc*& �!�Aa!AezAaA)
<tigc!$le�Ai!AR@ie �@�A	toigdba!~ ��;rl!oe'$�@�9BJho�1s{�@�vutsrpnmlkigedc.!PA �/ueB�@c!A$�A<@vsrd!D�Boe!
uon��Bd@olia!!5�?�Bpoiea!iaB$�@toa!%�BCna!nm)//)/C	!<@wsoliheba.!
�|?tia!C�@a!AmAoiA'!
$�AF0#C(>v��3�<�A�xvutsrponmliedca.!Q	�C�Clia!C.sAsr.oyi&�@�Coea!
ze/+T�6soied!EeBrl!&lA�r!A%")%DD7D|BEM^�Cvtrponmlkgfeca.!
tA.aA$""ieaC�B �aD �
iaB�C �2oAhDuo!�A&JDyida!!�D�3ia!yum�C�Doige!Drd[�Dtre!iAC�3�Btone!h�Ds!A+%%!$�>�D .6T^�7pfC�Dutsrponmledca.!�C ��0Esrm!C.E �)tmlC 0Emd!�mA!0yoieaE1kiBBEsie.!soneD ��B�4ihfea!�ExE]Ciea!tkc!%�?�Ezsrnmg!�C �aA#�Ee!A�El!Ahe+%!'k=	tsrponml!HD)///:Dw����������ywutsrponmlihfedcba!�0 �!ol5iA*roh+tronC9 ~FJDh?yonlie!ebEtc!he~Did!�Fr!A")�F�Fuoh!CB"$!!)"!)!)3;U>arvutrpnmlihgfedcb!PsA!oA"'Gusrn!DSGt!A!;G;G7Furolie!�Ernldc!oA�6n!A$�Goi!BonKE �2(#F�Gtpnlc!EyuiC�Grd !eFie!)�!�Ftnml!D1%$$&2kFMUg�Fmyutrolkiheca!yAma!�Frnm!qtA�%%"))!"~E�<?Gvtsronmlgfc!aA_Hwml!+!!#�HJ+mHI_uroliea!GwaA)nA-" �Etonie!Ew.A!!�Htec!0�Hi.!B�Ht!A�Hoea &##( #2�,IOvutsrnmligc!K!�Gla!�Gsa.!ndccA1",+P ytolife!G�Grnd!
rAt1 ��TI5oi!trnHQGoe![Gri!%  */5uroniheaH1yAnA$ua0I�Iea!B%rl�=%xtgCur�Isn!!lA!r.)rn%�Hie!�Ie!Aue$"�<=I	)J"tqponfeca!	un%rh
@Jrml!C$!!%!RJI u�yvutomifeda!eA�JIuie!~#!tsmlgcoe;neB
}Jsong!DdA��
�H�Juroia!ml	'�?:Kupomia!$�Hi!AKoa!%!"%!!!%$!�J�H KiK�IKwutsrpnmligdcb!�K �tAaK �jeA
tsp&JyKrea!C!iA$�$$�K�Kvutsogeda!	�I �Luoi!#mA####IKL�Duolihea!iA|J �L�Ktoca!D$\Ii!Aie.CLsli.!DutcA�I � ��Jokiec!E!�Ise!]LA�Lurie!rnmlD�K ��$$1Zy�����#-vutsqonlkigfedca!+	oiB�Ln!Aoa)!)sohezt/$$$�Lnliea!EEMtoiec!"�Kyriha!E0)D!\5.M[:Mj=Fxutsrpmlgeda!L
�to!!trpl�&�Mrn!BuiebiA#'�:tsrnld!�Mwnmlg!E0 �sF �tl#%!!"	�M
�7(HmL^yutrpolihea!KINu!A1N@Nli 9Nso!#%%%%�MCNyslgecb!GsA �Isleca!y&Nzsmd!D�= ���Lmlc!�Nea �L �'%#
 3�NOwtsqolieda!J�Nvrnmlgd!G6�M�Nih!B@rAeA 9�AOutrnlc!rp# �MOOoiea!�Msnmeca!nOu!AMOe!Apn7rhB!nld�Moia!ClAtc"Nrn!amAyA : f  eN
yrolihea!rl!#%$	MgpP�O�����yutspomlkihecba!#!%%!$APtsnmicb!G`P�
Nrnec!(�P�Pyroia!EuoSPn. !g)$%$!#�8	vtqonmgeca!
oiunl.eO@Lie!B�Ni!ANrl!!##$srlea!#.<D~��utrolihea	>�Prm!B�Otn!B�si. UQa.!si.tsrldU9 �
Dtslfe!&$FQrc!B&WoieaoA3|�Ozoia!D)1xQ��v�gn�p������A�	�	C
�
zyxwvutsrqponmlkjihgfedcba!%)uoBoA L$Qplgc.!EpA$�Hwusol!lA(&�Qslg!Cuo�$?Rlc.!C�Q �#!#�RqRqRvtsnlid!$$#8Miusroiea<uism%iA!`�RdR�RPQvusrponligcb!-�Ro!A~�oA
eaBod
lAojea�Q �%&CS$S�P!ytsrpnged!	-1Su!ApStm!/+"&+siged.Frm/&h.B%(,R
Zwtsrnlh!�Se!AtraoieaDwA
oA�S�Spmla!Iuo"�Stml!C&/)/""//"%"Q%T�S*6PW�R���ywvutsrponmlkihfedcba!${T2Trea!#;nlB!#uohea!Eme$ �QhTrie!7T �eA�T ��)(T�uoiea!!!si.CtrRri!�Rteda! WS�T�Teda!�T(?nl $!MR*Uuiea!rA+$%F%($nL!�%/_z�����zwvutsrpnmlihgfedcba.!U"5Syie!CYUrn!B.+dUOShea!C^S�Uwsrhd!sA�Tsne!C�U�Uoliea!RT�P�Tvtg!� �Vtha!rAnA $%VVroiga! �Tuoe!(zs#nA!'�Konmie!%rAoea$#xQ:Vutoied!!sn;gcatsm<Uoie!C�4Usc.!ea�urB$�Tiea!C)%!�$�V�V�V-RZ������U�yxwvutsrqonmlkgdcba.!
nA�Uoi!da.6WWfWoiea!D#IWsn!oe#�#&-�UjWutoih.!rASia!Vtoe!
�RzWhe!B%Opeb!��?ra!B&(�Wutie!&�W�?tqgeda! $%utmlg!th�Wsk!B/&(&(�+&X�Wurihea.!G(�V
X�Uiea!C&#&(&$/:BS�|
��IW��X�vtsrqponmlkhgfedcba.!Wtl!�@ea!/)gV�Xwscb!D++++%vupnmligcb
nmolB	ea.C/)")GP
�Xvongecba!Hua*�Wwvqc!D-nAmihgca'"!!!!6v�yutspomifeaKrA�Hpn!!�Woiea!D oAOeA!>Ysl!�Yyua!C3Wri!�Ya!Ami)ylB  $zsea�YZigea!oX �?nA"me�Y�Wfa!sf	�Xoie!Zi!A!so.�PXuha!(d$"�(M!AOS|�Y���bZ�Xutsrqponmigdcba.!#!�Zoie!C�>{Z`Xihea!uoiC
nm%�Tsmf!$.%)tpkiaEtge$rn,�Zri!B`[�Zvtnmc!�? ��@aAsA/%[[(3uroihea!#(\[uroh!rnB*(%�Supob![ ��[tec!sk�rnU! ��$<Zroia!#N(!##$ 7Z'T(:J)LUvtsrponmieca.!
m�[�Y`Soiea!#%>Yola!C
[Zp!A�Zta!B&&&$�Zzwsrpmc.!H%%"""EW�V~��������\���zyxwvutsrponmlkihgfedcba!dA	�Yyi!$�Ytiha!sa.�oneoA�d.B�\rp!�fdB".A�ie"	ligea.A��eA�\ra!aAlc^] ��tsida.FhAonl(kIX]g]vsroa!E�Ln!A�nc��[ie!B!�]tso!�nArniA�]zt!pmg��Tutsoie.!(%$$Hq����%-vtsrpnmlkihgdc.!�[ �
^ye!
srctAhIa\OMvsnlc!E:^ie!0!$�5q](=urlieda!G�\ng!iasA" "�Uteca!%! yoi.D�tA aA eA9 �^C]tole!@eAgA!�^so!#&hPteda.!E$)#__iea!,�5_1_!_tqie!DdAcZ �F/_/_�\roihea!F+%('%&9]NGnt����tsrponmlgdba.!Msl
	^�_utroi!EnA�_oi!#�Zrha!"dAcsA�+&toliaE?�_e!AteP�^h!A#`#_�Gtoiged!!_cb!�mA""-`si.!($+,`K`tshec.!U`ya!B(&$!!$$:E�Eup`�Q`��xutsrponmlkjgfdc.!�[ ��B�`uo!B�`e!A�� �`�_�`tld!�_sng $rcb@�^%uoiea!EsonfH)aoi!B�&i!A!a�]roa!us.� #yoa�^i!A4ag!A�lA
"�_ogea!D�` �thB�oA"tbza&&&)�_Ya�a�a	tspoieda!4Ytp 1!#)$�^	ANov�a�a��usrpnmlkigdc.!M:`6tn!B$�aie!�Tatrl!

�\lea!
2Usrnlgd!F�Tvtl!Cro,	3AYutoiheaGyA�] �B'�boie!CNb �so(ic!bbakec! �fW[`2^tsnlfc!oCu`tsiedc!F"/);/)/�aXkq���.DI�ywvutsrqponmlihfedcba!l.���Acie!�[ ��'utihDsVoia!&X �#Scrn!�)%roiea	vl
�c�ayige!&neB]a �boea!�`tna!M^ �ptd*�ctspi!Dtllec.B	sm.x\�curoihea!_ �!iA
tsgWde!A/(+_r~������c��vutsronmlkihgfedc.!R"c �eA�ctna!`]biea!C�[ �
Ldrl!B3] �[d �''_d��dytsrpnl!icl!A""�duoia!q[Idpfdc!Sbe!Ac\pc!%evn!#oiB$e �/�b�csrnl!D/+5<Ng�utrolihea	`d�nmlc!D~Te!AYec!A)"!/"�e�\$dyezsrpnldca!I(uANemie!�X�e�X�etsnledc!�eie!rA'urcmgfoa!&. �ncb$"'!%f�e"3=fo�ywurolihea!J�drl!�dtolk!#uiB' uoagayienl�fi!A+$ ��dvroie!E.rA .�ftsic.!$�Uieroia!�f�dtm!sA&!&$� �'^e#?]tee3dx���e�ywvutsrponmligdcba.!Bf�etm!rA"Naro!BeAoire)'rVoc!BoeVgie!$+/#""�B�Z.uronlihea!IdA.�fyoa!C��g�g�g�futlea!!er!A
ctf!�bnmh!C+aAtA�eA(Seunje!ul)�tsolk.!�eiea!!%)h�e�f�furohec!cA+oaB/(&#%%!&$�g8gRZlxLh~���c��hgzvtsqponmlkgfedcba.!S(>a�hua!BYgyr!lf
�hiea!C tAH\gea!Bsg ��c �oaB$i6hrl!B!ik!AQ)i�fyoie!D
lAie!A�gsli!` �	yi!)ia.&�ioia!hie!sa�i{iGgtomida!!po. ea+"vsngDeAlA�iea!�ile!B($%)$"19D�iKhdn|�c�i�h���wvutsrponmlifedcb.!Aj1jsli!^0jOj`jroli!D�e �uA^Wsmi!/eA
tAuoB'Qjt!A')usc
kA#R�Y�jvtsonfedcb!Jye	�irnl!X�jia!B �jr!AB  ��j R'Xjwutpoihec!Iqq�itedc!&j �ihti!vAihB'#!kCjutsrnlgb!tl"aAni.(�7tSronlec!FrA�hie!B�
�Uusi.!Pk �
�fla!.A��ka!Atm.& (!.�$�f$(ztspnlgfedcb!Llpnm!C�itnld!�j ��*$
lXl�gyoiea!E("okrpba!D**BQ��yurojihea!	sAbli!Atomjrn!Biejljroia!+!&#(!!(#]k&5�l�l�^tnmlkigedca!Koe�f �rnlCZ�A�joie!C'�lmoi!B.&tk�_tmc!C.yA�!H�)����#4Edoq�������zyxwvutsrqponmlkjihgfedcba!te)tnB"�jie!�m�mse!reea0""�
�m�kAloG*tsrpnlkgdc!J�]ton!CiatlcC�moa!sl!!"!$	'Snutroliea!R�koi!
mtlgdb!E�9h�lsna!C)"�h�n�nuroie!lb�eA*eAoeB�g ��n�mtsoml!(�-t!A+"+17@VeyutrliheaI)aAtd"	sngc�#oi!A!�*o*oztslgec!|l�mul!BuoFW#ote!'lcB)!!mOo'Llyuroliea! qonole!/ri.C""&")5)%%!Wm`b
6n�n�oxvutsrqpoliedcba!nl"�nuol!	�srmCynoA	�otn!oi		�opn	.p!yusroniea!IbA �nr!A.|yoeaDh.BneAHpie!Rpre!"Vptgd!mA%�pha!B"%�$*�p4:tsonlkgdc!I�muli!kAdA)So�n�ptsnlc!�iA"nA""#"�n�pusrpofc!�\skiea!�psr!B-eAga%7'-�n�o	�ptspongfedca!""rq�TVqyoie!�qea!(pusrnic!FQq0i�qsnmb!#ptp!!!�qBT�&p�yuomlieca!			�o�qtsnlcb!FaAta"rr	rnlgd!!%## }oRe�qCltsnleca!G"ia-yA(~:�qWrutsnli!�p�rti!%+\r3R\rvponmieba!H�rt.!$!�:utsid! "Rq�pha!B�prn!��ryrea!)! !""8ps�rtsoledca!H$�pua!lAaA("qp�ogfedca!gcA�)bsCstsmid!s ��^s �%eA%wsOsroiea!E
sr'$$�&	/h�pLv����zvutsonkihgedca!!�sie!'"�sti!BXrte!&�se!A%#ir�s�Mirztspnmlkif!J+%wr5tttrlb!DgAaA�qrnc!)le(jtl!A/�tyoiea!;{c�qtne!CRqa!AyAV�t�t�tvurnli!iA�ncpl	oea=aA#'Zs")IP_��utsrpolihea!s ��#)qt�tMe�stnmligd!G iA�rd
�rea!  tshc(!sou^uxvtsoigfca!Jn.$b �$aAsn.#!!$t�uongfeca.!HiAtsiaoe
�uuson!sl��uitec �usr!ri$ztea$ �u	Jaroihea!FnA%%!%%iDOVn~Lv�<vv�Au;vyutsronmkigfedcba!rli#q �� 
liheaEuAsc)	utrongc"nlB#"�v�vsnfeda!ohpn�uie!B!rA!�tia! !�vrg!B
�2ne!<wlc!(wrm!oiea#"!)Xq8HS wc���utspokieca!
�rvjxvtpnmlg!kuowsrd!�] ��R�wmi!� %�woea!CiaB�=�wvnla!
�w�wurn!CC! �uep+IWyuroihea!HrAtA�riha!C�K �Sxea!Bx<xtgd!C&\xLxsiea!�v �Ȍ!!asx�v�w26ETxLcKvtsrpnmlgedcba!N#(�xpxtrl!sb. �x*trl!(oAxsd Wv(oiea!yngli�xl!A�ria!�;n!AlhB!
#+ysiheda�sc!AoiBsaB+iAThyo!B)/+w�I��TY7��b���	j	�	�	e
_zyxwvutsrqponmlkjihgfedcba!�xro!!(ftn!��yrn! �y�ysoia!�xiea!  $yueanlcawola!C5J �0zi!AbtsBPzi!A��)!Iz!zroie!'-zpl!B&�uk!A	$5o.B\jx���w��qwvutsrpnligedc.!�y �%�yto!%sA&%%�usieaEoAve�zre!�W�C�y�xusnidca!{_e!A�zm!A"�zsn!sn��
yvtoniecR
pts!B%&M{�Oriea!D$%'p{`{Z����xwtsronlfedca.!�{t!A :{�wnlge!!�{ts!B#$&ztsnlcb!ngi!A�n9x|usrnb!EiAl.$&'	|-GRyusroliea.!
#"	troa!1|�yts!B$�YJ|ole!CtAW&2|snge!%ea{ta!aA�|ri!tsc.+(f)&$�{)1I�|sXcz|tsrqponmlgfeca.!O{to!
o{uztsn!C�|sngd.!tm�rA�bAП",yuieaEzzo!A^.}sd!�{ ��sAyeY}ea!fe�{}=}|ytica!ET}la!#da"f}i!A#/ye{tpiea!sA&| �*|3utnl!()#�$&!$�}�}>Hgq��}yxutsrpnmlifdc.!O�: ��}tn!

trd§| ��7~ �oeJ�|(rlihea!Frdc"|a!A$Q~_~seca! �M�usnmlfdb.!1X �$)slB	\(n[�~
�{�~vsonmec!�ha�~�~yh!�~ti!$-}�~`}tsrpnlcb.!	G$Cn�yoieaE�|lc!�~n!A/%.(!�}E~�~yutoiha!G3urndb!
na
	vrtrnd!eAie	snlec
c :uroiea!FeAhA.A�}ia ]oA&�tigca!Ecb]vh!A*4}�}ria!!!�5;�b��~JPtsrpnmlfedcb!�%% �trlge!ED1�)/~Q1�5�@h��ywutsrponmlkihgfedcba! $�{trk!eaL�tsr.!uo݀trn!! 1ieaC uf4��oiea!oa'lAua+%D~ie!B'�ro!�~M�sl!F�yi!�s!Aui$ldW�oie!C!!W�v���8�toiged!���to!fA)� �#iec��ia � *y�tsokec!Ftpa�nf!U smlcrmi����$uoihea!�&���iea!!!!!$�x�Ru���7�����zwvtsrpnmligdcb.!&F�rnlg!DoA'+�snlc!DuA%'�Utnc!Ctm-)�	7uoiea!Er�sn!�� ���te $��snl!��=�trli!ro"˂tsne!iear ��zsnl!
oeBeO ��.�_�}%\vtrolihea!H�.ArnmsAO��snl!gA� (��songea!��ul!$�+?oliea!tioc&)!!	�����vusnmlgfc.!J%��NSur!M�d!A!V�!!���}�ڃ)�utriheca!�K�n�roie!D%.�rmd!K�ie!  oiea����ura!iA!#!tsnfDdA qgca""��liea!1��tnc!%ۄupa.!	sAtcB��J�
̄sRutieda!3Jslgc!rAnd!��	rlihe!aAPuearml�ts!&�o�uea!.�4�tqpiec.!�mArn$nAieaq�uroea!rn"t�؅ie!B+#!!$I�����=Rnx����vutsrqponmligfedcba.!T/%�ul!Blg
��rone!D,ρ,�ulea!D�o�ol!%C��yoe!CpmoAiArl#��	υ���urolkhea!Ɔea srl����ie!$�ut!��nm!�� ��yie �lea&�tngC###��smeba.!tA���Z���}tsokge!!%(�rpng!D�T1�lia!+eaB 7�ie!��tpic!{�ro!` �z�nl!���iea!C?!!$'�(M[n�������.4zvtsrponmlgfedcba.!
݇ts!
��ytrnl!Ʌsr!pne!+"�+siea!D*tAseDtnc**oieaeAyi4lctoi!'%�}tsrnldc!aA.Age'#|#=tnlgedc! lc.��l!A�Buoiea!�ie!
trdcbts/�ytsld!tA%Ivzvsncba!gc'tc�"	5SutonieaG$B�rle!uc)��yo!BdcB���yiea!ڂ �!!m�щ$nupoiea!$��tlc!#)ރ��ɉ]�*�tomgdca!(tmB+)!$щ,� �trie.!E ed�
ۇia!$I�8�tsoia!2��uea! m�se!$�tsnle!D�e!A$!!#!$(6V^u~���s�E����xwutsrponmligfdcb.!�� �tsb���rn!B'��oe!B�ysn!S��ul!b�t!A� 	(3uroihea3�pnh!�oluA� �"v�xonfc!DtgbmiB�)
+�2:yuoihea!G�ui!A
rnlglA)   �strlca!E�@ia!
Q�zvtonleba!#���ro!̅ �@

MՋ1;Xwutlihea!H!WALtrgb!lAid


u��	utrnld!֋ �nA8�t�rie!5lA"eA"yla
gaBui'%	:�#zvtnlec!X�ie!MlA� �'!���1��[s�wusroliheca!Kre׌sn!	�oie!�aul!tA�tgedc#��ul!BƋ���uiea!tpe�ia !'+%!	=�#.O]m��gtsrpnmlifedcba!�s. )   K��.�ytsrnl!F.f�=�iea!ComlA��%��h!A3$%ߍ����tpnmge!F+///3e
�s�.{�������/
�
6�zywvutsrqponmlkjihgfedcba!lA(�tqk!oi$'�n!AXC�
�utiea!E#��poi!C��r!Aw2�����tigeda!��e!A%s.�� ��##!4�uoie!Dώrc!B�oi!	(%(-7��<]l����vutsrpnmlkigedcb.!si;yeB-���vrpl!DXsidC��ie!)&pifC_� ��w �
rA%"&�&2uroihea!G&wsmCnAvhoa!%��ia!B%gAncBfea�7(oie!"q�܊oa!B!ُme!tsg	
 �%iA'�tsa!C$����b�5�vtea!
W�th.!C%V�e!AoA&	(&�8�/DHhv�ǎ���yxwvutsrponmliedca.!{� �1��ʇroia!D�D �trK� �!��ponl!)Z ".��yuoiea!FŽ&�sl!Ff̎ulca!$�rnl!C�##@�use.!DfAb� ��'tA '���u�Ïuokige!F��s.B�a|tmh!C+!\�oe!B(%$%%D%I��$E��JلPr�vtsponmlgfedcba!!ytBT���	nle!�#(#���ysiea.!F(W#�vutn!	ytaCvch(!!Đ�	uoiea!E sn%��tg!�� ���"��V�uoiea!EaA�yoBnAni �+!"�^�viea!Dk�t.!@m�oea!C��_oea!)(�ztoe"yoi$eAie&�;&9�	(6OK�lvutsrpnmlied.!
-�som!tron!�ea!Be� �.A'igB'm�x�/�
tnledc!&yeBk�sg!$!��onm!CxG#P[_�yrolihea!��spg!C/eA�mA��e!Atgsi.$
*vurnl	e.B	>	����vtsnfca!bA�?�ie!*rlB**��-�Bmwuponmliea!J'!#��V.9��tsnlkb!tr(nlB ")���onie!_�srdcba!FuaBuk=�yl!"P�܃zrnlca!ʔie!B$ϔie!B"	�Œia!)�usrne!pAdc	O�uea!/�rmd!C'$�!!$�E,Wb���ywusroliheca.!M7tA"��nc!B�iA����rie!Е�pgca![!	$Ɣѕ!'U�~�ѕ~�2��zsrpnmligfedcba.!��t!A�vsr!�eAt�;�rle!oeB	�he!B'!! -��k�	-�rpnldcb.!H+/�B/F]����C��!^�[���'ywvutsrponmlkjihgfedcba!��ie!
ulB
olB��yo!YG�ihe!�)ɖrojie!���roe!
srlCޔpn!na.ua�$	yoliec�� ��]�Ǐoea!lA%zeo�	ݕ+�tieda!%u��rnkid!�!6�ia!B("tsmiu.&x�����uroie!'na%&��	'@�Vz���ٗ��xwutsrpnmlkihgfedcb.!-sA:ue .	haB	narh�odaC&!'��uroi!D#"� �Ֆsolie!E#��oea!$rggA()$����tonmea!#lAieBR�tgc!�� 'solcbE�� �tonfdaF$Öoi!%'M$6rnkiedban�e.!�4�("uoiea!E3""$tsqi.E�<ri!&$$S�>������X�
xwtsrponmligedc.!m.lAsA
!���ynedca!F�Oroida.!H��>��sonl.!siAF���˗��utrpol!$&srm(G!%$�&��,B}yusromliea.!&bADuA$N��E�tna!CN�l!A+��Ǘuoia.!EeA
sia.1
Fife!CoA!umi҉a!A՚��tlie!���ea!B#tdrdBeA/$&?ۚeLm�utsngea!GM���8�nmlc!D�ielA\�u!AOreB1&&M�\�tshca!Esl$‹�M�{�rliha!0!՘>piea!C&"%!�?!$.��NUfy���������4:vutsrqponmlkgfedcba.!��n!Aћћwtnmfdb!$�Biea!C2��oe!B�F�e!AԚoie!$��yule!�tnc!!sg	obaaA&sne%Ι��oie! rA/��y��qpoiea!F5&Y�tp.!��`Vuea!"(srf!$(�&$#̖(IWh�D��|�$�wvutsrpnmlkigedcba.!�r�srn!�&$$��	���›yvrqidc!L�d!A$$$��:��wspnmd.!ul٘y�ul!iA#**%j�xtmlfec!oA&)(��ۓ��yvtspofd!ic�sA'7m�yuoieaFlA � �1	tihcD))"snbC
rA�
�srd!hpd!A�!tAsri�+""o��w/yusoliea!Hlh���rl!B��ui!^���ie!sAsi.&%d�iea!CR�s�ie �nc�(����מonifdba!?N�i!A#$$.7FQ�Waktrpnmifedba.!'�tl!B-z�oia!C!��ie!	eA�$! 9���rpmlca.!�Hi!A)"	"��;6P�Tm@6=H|
�,Czywutsrponmlihgfedcba!uA\j �tonA"�ie!tida� �0+!#/�trnlhgc!G�c!A�oi!!7��rliba!tm
mlb #*(�%����utolheca!Hlc#vrpC))!����랆�tonec!

rniC%#
#/oigea)�to �ia!�ts%�tsrndb!'"&tolaD�rl !'����uonla!��e!A!Q���tida!aA@�tsc!M�!�te!�t�oa!0+!!̟5�)�;~�zvtspnldca!J
�trcb!Dm�re!Bhaj��tc!B#"'"vtneage
m$�tsna!DKtsb��ia!BmA!^S�oih!��i!A�-'"%#"2&�Mi��|vuspomlifecba.!-'srmC��ia!XyAvРD�gea!/H�nlfc!D��sr eA&$��s�tlea!D/3�l!A%!))�PZupoieba!uA�r�seb!C
YWe!Atd#ec##C�	 �uoiea!6� � to&  $.@�zvspnec!G1�tr!neV�a!AhAlA�!sA#Z'-TD�X>��utsronkihedca!M`�n!A�#WA�utsrd!*$reBΒnd!)eA--�P��roihea!F�� ��#$$$ڞ�sngec.!F&aA�� ��uie!"tA��trea!#iA�sn!#%8ɚ�Z�olfec!Ep�ne!N�ie V���sea!#�z�tmd!C�he!& }�}�Ƥohea!DsAeAihea%#�!�.8GUg9���.V�vutsponmlifedcba!Ptplgd&�a!A�-�nla!aA�lgc!$#���Groia!D| �#!8�&գ,v�:Autspkihca!	
^�}�ron!igtm�	zsoneEie�sAmA�� �#�% �z�;���utsrolieca!
�rn!B"$	�iea!C�ea!'%)��%�).b�P��G�%4i��
yxvutsrqponmlihgfedcba!�uea!CrdBJrea	q�se!BF(/vuie.oilatnlA/�toe!$(֤��uie.!�$��'7?[otsrnmlgdcb.!rA.�iea!C-� �!m���oliea!EroeA$#u�ꥆ�utieda!� ��iaB(
)(^�^�^�
snmiedb!$a&!C�,Tg�sronligc.!	��t�tl!˧r!A#���utea!D((bƧƧzsa!C$�li!B(eAzt1(&�
���tieca!EamlB��uie!*� �CӦtmie!!#2����lyuriea!FS���oa "a(�%$�	$:HQpv����zvtsrponmlgdcba.!�� �'/�vui!Ct�oeca!!$֢wtrnl.!F#'i�oia!C�ie!B$)"$4��yvusroiea!	��sl.!§t�kg!ڥre!X�he!tfdts#$.�V�	(2Ȧ	�vtsrnligb!	5��o!A��ri!&�Erg!BiAzAéli $.AtA&%��
!J�snliedb!h�i!A�z�tge!6o �'����d���tsnmled!G��iea!��v!AB� �&U����utrnml!F
ߨ�[ti!oeB%'"/"')")
����:Hy����zytsrpomlihfedcba!	gA��ie!od'pA- ��9�snmgdc!F[ڪk�oa!B
��oi!�.urBnlB"�o!A"ogB%/)'
rnmgdcF � �oAs.�ea!.$!($f�=�tpomgca!GG�a!AW� ��#h�tsnmd!Eƭ�un! ثoe!B�nmi�-rnd!vdea.riheD/bA)%sro!ts%).	Rg���yxwutspoiheca!
5dA.&)@�src!C0�s!A%��I�oie!)��sml!�V�olha!us�Qt�rea!Ce.�%+q�9�tsrnle!aA/"Ŭoli!C
nAͧ �% �us	
olie<tnB# /�ͪ�-poie!
'ߪ����spng!%U�o!A#%!%׫�U,�yigedca!GgA�,#f�ugd!C$oieCtr+ieBxA'�yi!)#�������utsronihea!Jtgtsgc��usroia!tg!#oncoA,#%"Z��tsoihca!G�ye!"%""/)'Aq��2PVk����zwvusrponmlihgfedcba!�		\�{�tsib.!E)ga|%��trndb!iAO��gc!+'BsnmecbFrmie��tpnl!D�qtpoa.!sr(tA&!!��oia!C$()"%Ѯ
�GUz�zyusolieda!
�����!t.�.�5�A:L�R	[�\S]�h�m$rAu|�������y�zyxwvutsrqponmlkjihgfedcba.!O!�����	something
university
manuscriptuniversities	manuscripts
throughoutreciprocityhowever