From 89844e7113608bff63d0c58a2abe88438a3de771 Mon Sep 17 00:00:00 2001 From: kl-i Date: Wed, 21 Jul 2021 17:36:34 +0100 Subject: [PATCH] Cleaned up Trinitarianism. Added Trinitarianism.Quest0Solutions.agda. --- Trinitarianism/Quest0.agda | 5 +-- Trinitarianism/Quest0Solutions.agda | 30 ++++++++++++++++++ Trinitarianism/{ => bin}/AsProps/Quest0.agda | 0 .../{ => bin}/AsProps/Quest0Preamble.agda | 0 .../{ => bin}/AsProps/Quest0Solutions.agda | 16 ++++++---- .../AsProps/Quest0Solutions.lagda.md | 0 Trinitarianism/{ => bin}/AsProps/Quest1.agda | 0 Trinitarianism/{ => bin}/AsTypes/Quest0.agda | 0 .../agda/Trinitarianism/Quest0Solutions.agdai | Bin 0 -> 15068 bytes 9 files changed, 43 insertions(+), 8 deletions(-) create mode 100644 Trinitarianism/Quest0Solutions.agda rename Trinitarianism/{ => bin}/AsProps/Quest0.agda (100%) rename Trinitarianism/{ => bin}/AsProps/Quest0Preamble.agda (100%) rename Trinitarianism/{ => bin}/AsProps/Quest0Solutions.agda (71%) rename Trinitarianism/{ => bin}/AsProps/Quest0Solutions.lagda.md (100%) rename Trinitarianism/{ => bin}/AsProps/Quest1.agda (100%) rename Trinitarianism/{ => bin}/AsTypes/Quest0.agda (100%) create mode 100644 _build/2.6.3/agda/Trinitarianism/Quest0Solutions.agdai diff --git a/Trinitarianism/Quest0.agda b/Trinitarianism/Quest0.agda index dcb28cd..31607c0 100644 --- a/Trinitarianism/Quest0.agda +++ b/Trinitarianism/Quest0.agda @@ -1,8 +1,9 @@ module Trinitarianism.Quest0 where open import Trinitarianism.Quest0Preamble -postulate - u : Level +private + postulate + u : Level data ⊤ : Type u where trivial : ⊤ diff --git a/Trinitarianism/Quest0Solutions.agda b/Trinitarianism/Quest0Solutions.agda new file mode 100644 index 0000000..51331f8 --- /dev/null +++ b/Trinitarianism/Quest0Solutions.agda @@ -0,0 +1,30 @@ +module Trinitarianism.Quest0Solutions where +open import Trinitarianism.Quest0Preamble + +private + postulate + u : Level + +data ⊤ : Type u where + trivial : ⊤ + +TrueToTrue : ⊤ → ⊤ +TrueToTrue = λ x → x + +TrueToTrue' : ⊤ → ⊤ +TrueToTrue' x = x + +TrueToTrue'' : ⊤ → ⊤ +TrueToTrue'' trivial = trivial + +TrueToTrue''' : ⊤ → ⊤ +TrueToTrue''' x = trivial + +data ⊥ : Type u where + +explosion : ⊥ → ⊤ +explosion x = {!!} + +data ℕ : Type u where + zero : ℕ + suc : ℕ → ℕ diff --git a/Trinitarianism/AsProps/Quest0.agda b/Trinitarianism/bin/AsProps/Quest0.agda similarity index 100% rename from Trinitarianism/AsProps/Quest0.agda rename to Trinitarianism/bin/AsProps/Quest0.agda diff --git a/Trinitarianism/AsProps/Quest0Preamble.agda b/Trinitarianism/bin/AsProps/Quest0Preamble.agda similarity index 100% rename from Trinitarianism/AsProps/Quest0Preamble.agda rename to Trinitarianism/bin/AsProps/Quest0Preamble.agda diff --git a/Trinitarianism/AsProps/Quest0Solutions.agda b/Trinitarianism/bin/AsProps/Quest0Solutions.agda similarity index 71% rename from Trinitarianism/AsProps/Quest0Solutions.agda rename to Trinitarianism/bin/AsProps/Quest0Solutions.agda index 9771bb0..f283373 100644 --- a/Trinitarianism/AsProps/Quest0Solutions.agda +++ b/Trinitarianism/bin/AsProps/Quest0Solutions.agda @@ -1,10 +1,14 @@ -module Trinitarianism.AsProps.Quest0Solutions where -open import Trinitarianism.AsProps.Quest0Preamble +module Trinitarianism.Quest0Solutions where +open import Trinitarianism.Quest0Preamble -data ⊤ : Prop where +private + postulate + u : Level + +data ⊤ : Type u where trivial : ⊤ -data ⊥ : Prop where +data ⊥ : Type u where TrueToTrue : ⊤ → ⊤ TrueToTrue = λ x → x @@ -18,7 +22,7 @@ TrueToTrue'' trivial = trivial TrueToTrue''' : ⊤ → ⊤ TrueToTrue''' x = trivial -isZero : ℕ → Prop +isZero : ℕ → Type u isZero zero = ⊤ isZero (suc n) = ⊥ @@ -28,7 +32,7 @@ ExistsZero = zero , trivial AllZero→⊥ : ((x : ℕ) → isZero x) → ⊥ AllZero→⊥ h = h 1 -data _∨_ (P Q : Prop) : Prop where +data _∨_ (P Q : Type u) : Type u where left : P → P ∨ Q right : Q → P ∨ Q diff --git a/Trinitarianism/AsProps/Quest0Solutions.lagda.md b/Trinitarianism/bin/AsProps/Quest0Solutions.lagda.md similarity index 100% rename from Trinitarianism/AsProps/Quest0Solutions.lagda.md rename to Trinitarianism/bin/AsProps/Quest0Solutions.lagda.md diff --git a/Trinitarianism/AsProps/Quest1.agda b/Trinitarianism/bin/AsProps/Quest1.agda similarity index 100% rename from Trinitarianism/AsProps/Quest1.agda rename to Trinitarianism/bin/AsProps/Quest1.agda diff --git a/Trinitarianism/AsTypes/Quest0.agda b/Trinitarianism/bin/AsTypes/Quest0.agda similarity index 100% rename from Trinitarianism/AsTypes/Quest0.agda rename to Trinitarianism/bin/AsTypes/Quest0.agda diff --git a/_build/2.6.3/agda/Trinitarianism/Quest0Solutions.agdai b/_build/2.6.3/agda/Trinitarianism/Quest0Solutions.agdai new file mode 100644 index 0000000000000000000000000000000000000000..c2ae7f30f898d3e77bce82eeb677ca2dfdfcc216 GIT binary patch literal 15068 zcmZ{Kc|26>AOCaC8M9c%U}R@3p=%qZ$a=KUy~&cBv|yx#vZX9#J48y>`rfz|rc}5o z+N2Vb!t_;{N)fWey-8##W%qjy_xJn$^)s)UbDr~@&-3}bKkv`-oHMI2<=-+jT-$_N z{rs@y9;*TTla%OLsd0)<9s-IS<*|f7J?s%}q-l71-maC#6np)7B0; ze~9SIQZ7mOmKom(4%7MLYr{F6O}~B4KXce5e6z)s*X#2(D0pr7;@uy&ZFPb4p~LX6 zWc6{pF>?~(m(xYaw017_uwaz_gF-PVmvwEGXBjpG699yLJr{01Gm}FDI!q5g!LTo0rx3ZPCYQfOXE^0EWDg~ z4M|>x``Y1-NVg`zGbyF8nSjzb>MCGO?}{JH#7t`yS%b$?kg$o7{Gg^I?Lktaaw}%- z6C~LYEVmvk_?AMej#}bsp$L^I1Zv!bS_&UK%P*&}R8yaTWJfIVZ%=8(kF3(i%BmSM z^#o5%T}=Nu#?GJ|W`hj$us~gZ5TP@l_#w%DP*-av_o-i~Sw?*?xv**i97fHcdmDP9 zaL|Ay-nCE{jZmy*^Z*rD$N-k$3`kBUs8Qm;QXII5nF$mdkg-RYM#PV@{K*`5kX(c$ zZm|$^Rm9-+B1GH@u@ntI-S321isCcgdeZ664R4U-eIRk0wH)_pNh={0wZuUYOALqi zSTIFyAZisKoBipTzK7`k9L401?8LdJJ|V{~3oF>_UP<_fi6QfW(|0Hcp#aa>!Ieghcuo zFF_M?dgX~)1LSdblsv~m39P-4c_viWJH3S`N%u}|LB*%B#Fdr6)l;HhA5<}2bE#}& z5=U=o{Xm+26$16GRCJBf=2X&iK;nxiIX+jzwUSMmv4S6}1cyTq%K1?byhjx;mkGfr zDkBj%wi6+!m8!$QOt7R%P6W=67z==2Zw(lx;ypG*w@#IUYb)Z~D#N81(yBBHEDI^8xc6NqbwQMP{cBQ$N3 zUbLoV`X!liJX5YAYM}_#lS;QubV0;hK%&8DfPhu-bbTeg;4wrsbjb}!{H2P#NPJ}3 zP6_=OCTr)(ChYixq4ASFl}zn4M5;hA-+dGZG%Rtx?k&M|@;QFUjr>YDWJ+Vj$e5$z zJ}Bk(#BxrhI9MBlXb5N{@*QyTO2h~9^Lgj!`Fb1 zjqiHiV8+M7ZU6DpYY3O*3bX5Hrv zFNyA)N(I*mjFVfZfvlZj{_IwtVL*f)Z)+9r$Gy@fTcubXr)p5~cnsoU#XC{MTd}HF zL(x~#f5K=kEgnU4Y4o{dD0ws9V+%R#3e<|5c!&qEbZyy%L|{qcZ^8O-oV!s9JoW;L zAG>~cTQ60z8iq+wGlgHS#OheP2~Cu0X7iDi(m*P7^-3uSZgT`dZC&?*CK;-*QsG;% z7|`DzjgPqR*W`!V;n;o}fW*D4&1tgj8)3jL>em+{|Rc zwXrx4tRIr3f8~FbR^0sa2{n)(K~khVW4m}ialllg5nPP8G}B{eaqtiqkG7PV>!X264%m0_U6oYX?rYo=9&#vxuJ>)=${& zl7;x?;dvDOf!&Y>Hd5Tn`Kb`UyhMl}1g`;zuf^RKRCvUQQGPPK!PzF^sCf7<;Z%<2Iw&50B->tySh|)y{-KDj3A&t*=?~l|x&sG} zKy?EL{NZP^lHrFJuP9M~2&l0FuX@wzt2Xb$Am!pwW!F!Dj~EwuQ%KI;Cpq^>kt^8J zye;?gOAL22L6R)b9bLvRmvn8Ogki(?X3`^`df>iGU_3To18PF)n-l~1Z z{HPIx3ucaHF}VJ318|jgN0#kO(*!l-qVdH}ivE5HPUYzbZ0_aG6A-pXN@R3e4(uX*#4yB? zj>?UD;BGlsqCv?$=BC60DuSK2m{_>`6Kf zlaWwpTzG@uDM4T2rhr*;t&syT4@wp!-c_Df5Miuhk(| zjVq8GmvVBGfU)(0a5dlDMPWxE?D2R~yJ{(VM6Cx-8z}HRPVL9V8@URs0juU9xSRyt z_)0ZRar3>+_gwF}c9Au^Jben`5lRCQi_)Z#i@_J;DEfwwuX1Dth=jG7Ov&$6tS%y! zS+V7E|DbC=te=Gx^1wrvjUN(ZO)U%83)dT$AS0>0*axNNUW`j#M%p^HlGB{m90HQ% ziA!-b($=3u;QirSTYO^PPHNED;nEz>^&ceq@h&9;u2etnb5b7mA>)n%F2todN&4QB z8gRT>qa0BwuGvMVe8+{kat7scoaTb!c({NbC-+JP8}^($dGc4FPxL2|Kt7> zwan@*r$~tsE}U4J3zFCj{sxSqaGI$o+x(&V!)}6{`!gG+U};V(t_!4uJ7L-Xd$+6z z>=45Ay(;?%f$SBkI%Nj{_IoC4Ab7ckt0zPMmJKZW!ZkR6c_2anah}?4O+N)Yo#`I? zN;}SO(`~5!EjDZCZ(nJOr`4Wm-8y0TWC7q(Jr*W8$acQl(X?14pX zH7ZItSIfSNs1=Ll)~>;Y*?szWb|LHyj~Mbcs2`JR#WNObnkv$d8`ZJTB5N|V8qm}k z8Z@H;Io>x4b8_E8-rkq34ePUfZtV>s%kLS3(9%N_w~grtvaDs!-~7{>%q7z~LqE!g3OoAArUUHhzI#AW3` zbyIwmB_KdgOw-j6O%v@;SZb9jYv%@UMDeu3nVi!(r?-;v&>Y*hh2-cp(@ZCfFFXJ= zKb?l1F>ENsaAS}Z$p0$FzEAdAyH~(wO8p-{)5V@jiPJaUr-f(3BrWl*4kDp;KWpcP z&J&9fu@PX;v&?IzW5%%5bxJ9ozL#wvl<%`y$b#8FVP?=Aeqv2#hAIu#m`B)BzObEC z))vrtF1U~e#d>1;W11uk(wJq|xMvb6S>Les7hLH0tO2aIWzzRP(*tY6R!-94M~B>? z1ogR-D6GuAv;^>lMTq9s>?R-{jiknqb**nZE@U=u#(l|#ChH4O^Dpvc=)$k2TG{8c zqz-&e!L?6<;2BM7@iy4H+|X+|qXO$amw(p%TJg$e%dw?6mgV^vPc)mHEOJ*xQUr39>rY**e-f2G_&z6y`iLN7mn0Gnw!>5Iw{%qTluShw1&+syd>?MR|_z&B)V8zm@p)%qP|=FV6#f>tF}*l;TCoMD%@ z%E=e>6VqI{_4KzAMNrs5rW}jY6%_7eqf0L?zPM;aBIPd;@DpPPiHnE|IiTDv-u4o1 z_AW%kll|oo+?H&*^EU+2zme4@4%k6UId@jy@j{Z{kXE;=u>>^a;*hnH21Q|i6w@Lov zmV)v9wQ>Jz{(iWx8sC2b)^-J!z>sq%g=fGoH{tu!;2xg%;fmA7sDme92<(=Kc=`+O zFI}ic(QkVKbLEf>p&1n4mT(6P$b1TID^HK$lHv=wncD$zNe!h3*|l9HYS)t5N1Jg7 zIpm^R2Fwhe-y?UPL=W>`)f`-UoDiw6wUTwcQwX3$e?e9RCCDboX6WWZiQub|Zu?>3 z^l>j>4~-I{cW*Mp*h8;K)75D7_r!IA*_yc8Q?j2h_hX(#*FiG zk6YzOSPwm02>w_3WJmSmcRmbJe?4RkytJGjxY3UOWYXXLX!+AdgXj2@3&~`LbTu6M|K!C667|jO^Fb}OALK$a%X=ho!~i!QTYBU z$h-^d0yyfOApzp5e@1r=KfiFOzQp0zv&&YV4g6+jmwf4l!=JbIoh}aa)4MphTQA#i z+iks#Ka8S#P8-!{EB_{xedclcO7PDkvQos{VH}M+DaPg?IlGW+z}_w+&YJ(KfI;s# zK4&Q4+ojJ*POa!~s$Z^)vv%}1A?&^1KkZ7ePzULA*0?D1ik$}Q&ZCndnD~k*iJRvl zxVm^@0ib_WojL`iA~Cb6jo>5|k6*?CpFrYV7$hZ#kz#${`Z|Jo7))IQjM6!4CUib} zt*JJ_Q;I%y?Xw=DJiC$*P^S(c$L7SRPJWmBtmmgB2dU)$CE(tbq4n`_I~JkO=`Sl9 zlJu{%;=k&mZ!iN>=K;g;kyO(fnojv)%lu>&xZd8W9Z*jXoQKT@5%%%e?C(=0-|sB2tYKZ#xp(LDcI67qHc?#7Lb)LHGiBe{JzqoH*mz zl<^9X$^WmF$WgXEV$d2Q&Do8qkR2m0qxv#A;+VOlhgDSnTCU3S%H)4a)9Q)n(W zyB&(FVcK`eLsrETe4kA<>Y`8=Tw4V~D+CnyV3i|RgPEz){riB9GFVO9z_HEDD>vXI zOo&I+8X@*KbUz{KI{`&~qcKX|*7r-8{Cz4^HQ~TB6(GJMjB)DD5D*E6fPF+*H2%b% zaJV4`6Dh4mhTq{y1QYR#J zj}yVqv+tC2&CND%upV*;{;&XNS)G1}qUQl5Z=VrRgBuT!Ff?j~KhedtLl}^9V;%(M zqb_W8P}vjbeQ6yit1n1sgQQm(aYj7HA_&e;AmFr|xu+YlsWZO{)5W{Dk7W>AKRM>S z>%~w zvqj%G_S?}Y_f76IxWb2Lrn9EAXjwEESk=zzsD7BwSZ8j7G$ImCgT#)MDieNBHL(uk z3`_fOfTbq^&^wZTM8cyv0BsLj!AYpri&#t35rt%a-~xNwTx(U4Fa@A`XBlHR+yO5bybVIKI)qgJZ zE8kFxz$xPNu~&UJiQ_af#l%>0%58>*2?tv>(vzdmXWL6jy;a`%%5#MKvYV)8W2*_l zv%W*fG3$&N-ASjhBcAmXdfRy4HzZkU5;c@P09mGhCdN>YpgioQAaitM+xE6tf0Ijj zYo-l{RPJ2Av(bMmt6k>HiFUb2O{Px%rVAUY{+Qs7F8#Rg>7J){pMUMji_@F3|Ni2; zlpse(;xB|D8_pvIjxXN>j(qlQGCmh5HGx(ptAQ zd~RBrdGXO%>(mIDScR#5pIds?wP}1d(Fy)-@Yl`@7N=T&tNBlbUA4;v`{ z80EnIQVXU$NyT|;lMVuok7K@5zEd@WjMW!?B}8pn%!+>y=xPa$@XRyV^{P|+``Qs$ z>Z&nTtGWupn2@hni|KT`v@%Z-oUZlNDk9-efPN9eZNjAUm>K-Ul0FI4?UII$eq$;P zLzD*W^BwXL|5i!=z7(=<#woH|WuUM-t4r5oI-+;GjNXC78U0C9T-%OGFV(g~6#M?{ za};J~6+DHs;jNg2uXr5dl)nMOA&$y|SDH}ej0N%?!Mhz==^OYTq~MbdS$~?JUI$?H zDLgYllqdI)R>})FHF*B|{Pl72i&nOPWThjkNGq*rtiEl1Er^sf^x=6jhUOJmciMfm z`8}byb`zPRCe?7%J86p|L8(%_#--86qWgX#=`#qYJi}U=D-1c)wX|mA91BWTOX;@n z%LMk;RA^X~wnrf*I}%Y^Z_N?PkLeK(`O?s?cyYzP%x59lU0NmrXjj&bXA+RO_oVXv{9rf=kBcYp9W_cb1%5Qhs@du^Cj&E9j-NaaH5+pwI3`QW!1L@7ZMzL|88g%) zGLsv}nh4H4l%E|hMw#>)3n4Prj&Q~@2~HV|;WCtRWZ9%No)xcGMtz>GaHd_@_{{uF z(U}6>ChFlalRmp=2LRGn1M;j-&X{KaigPV&BjDDoHSOe#^bsR~o`3cQG7EBGJ>d|H z9Ts<$V&P)^-q62#>3H^zXJ1MvPH_3nV)|phjUBaSbCJZV)8{ZsPzYe}ed<90e7A1| zr}{S|pnR9^4;6Ml*i}T>XLDPQ@szY%SoKV|vIlRaG&RfsRMhM@{9HSUt31;eF z__bZ*+nr6ozxf8iA6hp=g(Ft#-|l?E_-+re#0b0n(vXbNMoauR!a1<`MK23CfFsiu z{{$3J@WNn>-bUT;0!OS=t}V=gb({ zpR4`jsa6mJq_;`4o(4D1!FyUIzFA0v^anJKe`X<*#1ir3+i1WMJw~lO+~6i`?^C5ksH6d9lsS+< zPLYtfvlPN>4>RE9Rj^y$Wso?r3@DHDaF)*%ChXXrhM2mvQwRq&g#J-$0B&y5D#aJ! z%_ca;MH!In-;W=;KqDM%R9R1JiXCCYFl9`ivV>CI2!4}WCKb+5S`u&`h>9CPVs-ve zLx^O^qRB_CIsK7W^8xH=rJq{E$K{3j6#A6zz%#f`oSEn>yvGmN$8*PjhyI9{T^N9G zROkE$KEoMvI~Or%Koa8&!>ys%8rHRd^ISxE+z{q=*Cul5H(Zx^6KK&+T;$_mBMrMb zyHo2wT0r&0V8eOhs3yEE9y_(bm{YKu(;D9e*Q#NkS^(w>!7teO2sSLQ=8vy$(}j1* z!v@RYkt`f3TPtdT9)OR(;#Q8s7vK)YzS$KJsz+4T?jmp4r3=sd<^T8<-V;u6A}>25 z?EAF)$f8^+I8xL}hjXlaS9Yc_M8)o~kL7nt{@WiMf!y4I*neI7Nb28mz622!!zU3j zAY2(zCiAft$tw6XzOS$(5;|^7%u|P)@{=r|Rk6I`KZ;n^MFk=+LafG+~KThT%&%{SQTD*x>;QJXVH<$1+3*Eynk#BKlLz=Az;kpn!V*yIieF93i)$OUq`PM$7a8)ju#eX9n-aGpGTkpMC%6y@=Kc;OsM zFReX_I~L_h5&SuaSvA-1@=nb@2@hn+0{~w%F)dObz-N}tcE#5a`#hIfIhMug2UIw) zrMU*!d)d#buq?!Z{p_(R6Hcg3xDluLS~08)g(BFm=fjsP%|1%N-pAJrrh2J z>ZK4Q7aaI((447gg~I!IsMEhQ^>A0aT^)3hE5Ykf1a+-qa=P`_y7(oxc13dp2fbGb zei=8I>YsKVll?VlEr$CIihBZ3Z&@FlcEl;STxPDEVSyaNRvvl@EX6 zIT9S=;8q;?Y2dsJOAS_9tWqRa>HvW2Cv1TdRTmCM0)V6cGv5x+%2@$lFl111*LhwC z#_~J`iCKuGA9R7l*k^ zIf_3KN-unUCaBctRVP6GEKFIx)({+NiXq@Kd8(;K{{u`KrU5ZWOu3hfbJf!rBE=N! z9p7}-3iU)kAP3+xf5G-C@gtVuQo2rnK>la0HtaTEM(J~aG>xL%y8-u871N&**R6kr zdolX`bK!5D>Z2$?7w5~wqh|GmkXMg=iTYO5Kdk{+S`Jy)`yuwT>7y37sX8Og5$hc# z1lq+CK&>tc?LA5GZ}6-ctSF1#XGF#>>kFf7+;uBA17XLC$${RIg*bq;PxDi9!6@Nk zy`Kp|cG^B*nff60pem=>K(PTs9o<^c#Dj*t+ZL{2i4RgoRq<|p__L#TEAnadfwHtu zSYmZ;6#Rh|!ul>>&mdk#Y4)y9Lm@`_jZvn4@_y=ax`HJz7&d~uo5$gY%1XN@bA0km$zDxl27+mE2U_uE+139Egd^6i|Q)vZZ@M5~Be#x^9{4%|zy)9xYRyUWI_{nrir|vwm+Cbydge{)2)fcrmp62J` zRwbY1Rwb2nXmFWBJWZ&70}G}Cew0;RFTBTV5akp`(Kxi!d&u(CNF>DysyV)9O zpT)1EzIcWSKMKuqn^EO7Na)9@mnXJo`z9)&%Ts+ontrGB3ATn9gv2#Q63)@$G$?GI zk>xa8TSkhgL4~7B*)`(AgMWTxKpk{A4eL`gu?*jJ5ezwa{)Lb)^<|{libG{E?xiSk z*0MM`uv-1{gb}>jPN;57bwM3+fff%HzH;jzB}xciZJtr*iQUU8Xh<4#L6qt=fCJkF z(W=uxISoi%4Q)5O0PX8vHivNmcaX^@r)Mt88x2R0nc5v{e|$3cw|w>c`BZ9fE_Olm6GN( zJYml(WcBV?K--Z}?ZSaD8{ug85q^p?8NR5HZa_#XAO@aK{BV7sqzN37WH_?HD4t<1 zlTQ`WuMw)5GQrfo3H4MJA}v&c(-0{aELO^sDyvKSBNJI(`v%cYwL{m{4nfoQ)*i$i zJh8qB?^-oNwS{y~(mph-DmhdS>KUc#ImzZ|TT3i}p<}HAR(IM@9L60cB=L*}MibH( zrBEjYPo40LNZEQqb@<}M4tQz^Pvzz`ISq28QS>IPFUq9nHnO_YWt76vj$v{drs)L| zLeC>0R8qV46KPX{G~}c$D7A*iO|&$+9+Exc0YhRlTF|$V;<5thu(lF_0$onH5(>!AgOw=-10Fx)If%} z&Vq3w$sOKuJ}C!EwB$6H$bE$ZgGdSG4B_aGq-kVzT*^l(M>`OD`t(R0#NRiO!O^Z# zEl*t80U%N<2$>!;j_gZFv0>Q?xD$x1nvShBp14j$euwWhvU4d}5E>PFi z=0Hkl$j+_gXwRtN8Frj1Stu_?-1CSW)NI+JW?K#k!4N`!p)$% zIvm-vKzMLn6e~++JDjO`7~+zRKx6*Z&K88-N(&XslDUC~El)T!6Y{3-L zGm)@c`{b&nAYiu$hQTnpJINe%NIFAom|y}pY3+nFq@OYF{6i_p9D(87z|~|EX(Kj- zj4$Ox(y$mb$GqnS9EpW%9AbnZeY;Kgm57iYg7xkG$?9Z6g_c$+Wyz@1`gY6JS^)!3 z?PwW3b$3!Evan8+ImE}P_9p~i8XhUg#Idr@JX(OLN+Ih^tZ5Geu5pgECXNoTTo`!* zS2A3P5;u6|_(&Yo4)j<+NI}+_Ah|e_O}7+$6P4i|vJh0tx>_0n?>sl+4)uHk?^f;E zN9r-X96;l^kRVbgk_wB?|_^di@L# zZG9|Mq33>5JU-!=B$pKLl*^i1-6O#;(V8)+rS@D&%8`knmvLrx)UIEnH7H{&w||XG zlvGcbjJIP{?g+i-JR?)KI&b7d(mmN5a-F|MN%zDiX=u(U_UO?yv}VvA1qLhwbXWvT zpBTdw!w|v;EoJL!mp;FlBI}dUSX_>$Q#V?lSfX}Rvb8~eXC2~wtW2==V^`0$k+)Gs z)l{ETEj{BCmexsS4Jsqt8$Bu`^lF)|q>%c1-8)A0)t}t!X&-fnp;gOuC7bs=9JQJ7 zu2Sksxz~L?N~JU7OO)!cz-rXEN~J4PLm>UpCdwpVFg>z%!gq!q#~yCT?7=1u&QRiH zHJ-Zk6pgN!U~%+jEOiNmU5N~qZ32U={*3M;a4V!s{>z2o%>b~tJCWu3R?TC|2JDfRy01SSW`_jlRqXNl zans1pD?&nWU0Sl_%W!9~`_7%EvfUN5eu|242`>!@UGaJvVnRb$%?|+?b(4dw+KUXIk z`sS9A!j~7j7>ZZwZrOp-vruY~;n`WF`=9UKu3rmwR%|-NVEs3^_wmIJTE~CXRsTEt z;v%*5DlH`}{$bF$jl>@t_iRBjyatZqKj3p|gKzsc5Jg7qVWWQ?S*auN4|!*JcJci6 z_}-h8v>(QQY!MSSK17Zjk?!`~HViWU7?%t^wB=nuTcEYYf2N7^IXAn`uTqg_{%y;< zqBNx@7=Zd&J*m6BR=P6a{n=B~*EEq@IMlvxhu}qH#m=hz#h>10frbZ16l4gSM|E$ZdnyiN6BZ|P5#)5-g;tQg>Wrn zX8rUOMt|X0Rs9GeUiEy@uzD}GLh##LsTKIaiKzzXYTdh1yx$*@|A)6R1KOP0HId-_ zinZrfy@}YM2MSgNrI-a>9m;aP06Lcczheu89=qdf&P{Z8O3MxG){_I7*e!(hWABSy zN5)3l!UdaRp_Yq>H~;o#2w@?*f!>nMS_z0EHSdRWGu1{v8$FTyh_SxFO3#tp z3MsZoMuGZY)jK^t|K4@)@4AaFYTXq%ISNfJIbZ(y?a{WY`xQbP>vz4^xbUELJm|tW zQ4|9G|M;kTWUSTmsjFh8!Q|=QKmYO)1gV_b6CWD?m%GZfv6YO)y8_>OX?)p+F3$RF zaX>}zVqw5y=(!Hu)6dV*2% z*dph~ojnB=?G`@k1Ow#Movj;#P;0+yotaziKUAN7?_K)W(5jaTGNCbxL!HfDUCi6n z0Z3%<+v%IXM7ErN@TJ}No%ztlzxGBbjSOBtYUlCy*Q2)!+ALhYLYTkf_ZAddac^MO z^N)w0UY7<$4jZ(aeSs!Kz4UmbaV;$JT-*9>4b_1I$H3X%6<)(#Pkr=bc(l#iX!_Xn>r&MEQ%vmr;2X{RK5B*U7>{tTs~D6f z5r4`IZJ#vWQu4*wYjA4S%cFvzPY-{;a-;pPhqmu-Q!2+}a{g)#hq+K=niBP+sy;{!^9b@SrNXi3Axv4Zg?$h$@JlB1IYG2&;R`v^60OoE0)IpJsS7mz1m-t%HFx( ziz+VU1q{4sZP;HJbbd+bm)R2Mpw(7gSAGds>wY)wp4S!@@vpd$EpM+}^}77Q{liiD z6k{a+(U!>A(tV$Qx2kdd5v{T{XUl4XY4;)3&`%y8#&70dk=Rpn?_l`0KW^W$d;1cJ z3|ip7<(ms?Q-6zGq|bhK+NmR0Q2~D!9kIu~E9dNN=Y96RXy~Sy!?&$||6Hvb9$s@W z{QVu9?jI{&%&rZLd=s4aAozCbA;G|(SG)d--1}lV^6sVCtaI1d+trq>3mlc>jR)SH zK7Fxt>K3&$=zqR1O!sON>j*dY3TU*=%b+Q|`SYrG$iT+8Sp(|j5sRY%1LIe#f0rux ziZm_8m$Q-a*>4w>9voWxhoxZj(C6QF{P=wMefS<5JM-Teq2HXV{e$c zy0F})uZjrheXQxRCmuviEzW)4yhx>Q;paaFns}GKCS4s)-2E2b^80i^1*XD1?gh@VgP_U6Cvwx>f(Vx)+iIsgYm z3nvu=f0fF0-+mcc@|)K^wQ1YC4E{SE(JNu`SGQ=3UAwQV;%UqQ3}R_zP<*;@2s`Id(tl3U;Hv7vRC2Az9z)3(*n z{cgM0i6F0chhWmZ_Sxx8$f~uEq8B3}GI-}Em}PqRpOcD(MoQeg-guNLBnGqBL*@op z2Q@wz^xIMYU~oxOJa2IyP+Gy0vI1>*|X;YOhbiwVxbl zX-JW_v9zsc$js~mHk;0#lc-M;WHl(cAcHxQ|f_$)r2JXzsqruA9r}+@B8kv z2pZb(YVl9+mL!Y#q^`E`7pv6>f2=k2@1?RmN*oZmcty=-avpL1HN!fk1c3hoCTt=g literal 0 HcmV?d00001