SQLite format 3@ e.C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ft<4, ]/]HOLCF:threads=6elapsed=13.396cpu=42.936gc=2.7527zXZִF! 6]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34ɏ" ic=Ӈɇ9S2]tlޣ)rYZ%Oؒa+= '~b1ɟ%=dFqjz GobT"(oW <=cnD +fTq>X2V&|Vk[$ F$o%-X~] ;iuKCor\!^|M)ùyZ8Xz54 Ezg` Y%?4H/W.gYZ7zXZִF! ]ŗXi%N;Dڃwj醣) zD?jgUEY ėg]&?G7MR/ɂ+ E<+Ʌ fh߮y6jU/xfP(._*K0AS!,AK(f^q/>pOOAԩ!3O9G8. t$"gF%6ɠ]uP$7sCppLb\1mLشvS1<_6Z%iO (Gȸ3̲g>C#J>~H?&4>"rQ~V0G4ylA5"dhIqJ u逌t8t׫BX=/Ѝ6 EY[YMUv%f;iGH[%[34IS8 "6B rpbAQ-ˡ"VŞHW&=`s9/l+eK!TƨAKqYbмwRPD;d`uZomZp"7'2UyʉQx Vl] $b2Pe%U֞D7LqEDa2I?J"87 &w M53`[k)^ C$;/ ,]cBp&n{{R'jV8tvb0wXTX3hF A0rH MϭҚ)gb1FȞ[ EOD& J!.H5p,q h:=|EaUJgH}Z0ۄ:}6GvIGqyou O+ 𴂢y|L肦&8i% $ { F%r_RDq_7CqqvR` cbo_>9]$[3QUs&4 l(D1%#窷U4Q×n %ט7u,tP`vԺc[ߢvAlo-Rk\u.s `yZ̙3`" *^ȎAl7\3e[99.s|vv[ $B4S}!p:yHi m~J_x3A[Jsk=x Uyɩlʀ~6pJ (mp~7>>g E=:;b>q@bd-I_l:dл:37e,RUAcbaD>aZ&Csc(cd&SK&w?y>9GB L*JiR]1=tt@v>ΨYf ɑl0Vu"}eXn򄧔i\cȡMz+Y EŧpŎPd`D/ :2" Mn9BIl}D=H]"8uB_ޒח:CO0)'sqK,4H%IGO~MgsEE7^H6Iv[X\zd68Ĭ~6+ZˀB 7O D/.7ŤmEQ]Oh߯MZ^/Y InA^s \ckHTE6zt_792scCϡ~g'.H i"t0uX+jr/z->]x}݆N:h؉~7T@vBgc-q?wh.arq:YMiKgip>&5O.tE+gYZcb0cd42a15e6bec67db7e86c08547671ee6e489bcbf32b635c328a6095a45f5c01bb1adf119ee7c0 bd89f790ae831acf5d43976dcc41799a9f93a1c7f3f9dd0676098c98bb325e21c960054c5fd6b6ff  HOLCF;e~ytoje`[VQLGB=83.)$ R'5 THOLCFHOLCF.UpperPDdocument/UpperPD.tex7zXZִF! Ҷ]A-MՋhvG"uIBm5:|Pmgzzn';hp*ӫ9?׵%gK is`Blzmg$BYh' )`3]>Niō\TfOHD $Jv"F7C[%f&0dK5[n=P,ݧe~7i~[ 0r[uʴBIXAh `Ib6Gg[}Wg~Bd?U fa@)fzpJ{eJϵ0Tջr:\7-lOE"և&) ~y6smn}BqC+Lǣ`Ϟr}ٻ1S{Q$>hit="ɉשzI<{d`|K=Nڞ|"ZVs$fF֥R]KKd2AlӾc~71$wR n +:Vpz| ӱuE =B]L M}3Y)yZ=@l mpΡp`;UӪ{g!vۜSQ =e,)N@F6ֈNY =0r Q+'w8gܜ\QX]Ti彷ƫcÔd]'/y"1YpI5T{{w:[8v d\7[H`Sk 1X*v}Nze?䄦a7]ޥ7sMr+FN2×6_Q0o4Ki8沶(k/CZJ)&½5!,o>%wGC6:4Mo ?IU-k|3)^LlX1wcbq= ONRo[?JM4{Yc4fxuLC\;c+V,-LNqrW ^h j\#l-fSlgQqyoaQʻa?%[iOQU" 1%B9D]7ԉo'kϷ('߁NS[{4*^ 0?pEӖ_q-.'e_Co`ȶU4=2OK #5WV',Ѕu▵ C{FP7Gdh#%Lu[_r|uX6M*qzriL9ws+4=ܮ׋i{]:'\32Cto=F"]Jr΂=ަ[|(kqgJ-3B僠d)\u̿j)L%Sb^sKmf0Q8{ZVVobp*:^h &=h!B^= cMh` ).ޙVș-V:;}~pge$5[ݰ`0ˮU"qA_gm ɬb_'€%E6*Ia2ݔSl~.g7:o,lg Z,K7+vc <09\TEBX2z}Gl1d p 2 $ܦYXv/=Ai$W&84? E 0.= TQ!a7#Vߋr)g{*җ'њxoLK1/jo2Q]r6WsVA`|ʖgЗ4_5 +9{gTZ=jK@Q`aMO /ArQVڛ8\GT/3K7AcBx^rs"|sa؝ +"V X>_icU &cذZjPvڙ4cK?\k@j^s@ $csca/&OEwdY1} 4771[SX/OGZ'˂rC3v&^k4e:(l0,:0RaRAUfS:jO;~a2)=+& 8u Ge|n/b[zԝ}g6`/D%5 h::$մ>!L" .VCG[7 N:%4ٷ1a}G+L uqlrp:yivF9%ͯN7Ξ=fF\D4I! ꃜ$r&hUTꢰ#?fC~ɫuQG"|g{?b J($A&WY_KbK.C M!~*P"03L(zN9JIonro1Z hjj W^>rff/Hjד1"Mh1 ºO79־0/a[nJ^>2U&рB1dϠA &g57w(IdB_q@YBTFQ~^$[!eHi*N~)½C xqrPoy?Aaz] ,#6]?{(<2.tQh=6MI_^@Ee'_ p_#rήQN2*i:}pvΤ$(N۾gk4cF#.1gq0S4. \ddcc`a_[^Y]W\V[TZRYOXLWKVJTGSFREQDPCOAN@M?L=K;I9H8F7C4B1A0@/?.=-;+9)8&7%6$5#3!1 0-,*)&$!      b  y'aTc  / R  S 9  V G J e < <[5 m ^,h@ Fd<yjz A #HOLCFHOLCFPIDE/markup_&)'HOLCFHOLCF.DiscretePIDE/messages^$)#HOLCFHOLCF.DiscretePIDE/markup]%''HOLCFHOLCF.Fun_CpoPIDE/messages\#'#HOLCFHOLCF.Fun_CpoPIDE/markup[#HOLCFHOLCF.AdmPIDE/markupZ"!'HOLCFHOLCF.PcpoPIDE/messagesY !#HOLCFHOLCF.PcpoPIDE/markupX !#HOLCFHOLCF.ContPIDE/markupW*1'HOLCFHOLCF.PowerdomainsPIDE/messagesV83AHOLCFHOLCF.Compact_Basisdocument/Compact_Basis.texU(1#HOLCFHOLCF.PowerdomainsPIDE/markupT&!/HOLCFHOLCF.Sfundocument/Sfun.texS(#1HOLCFHOLCF.Cproddocument/Cprod.texR 'HOLCFHOLCF.TrPIDE/messagesQ$-HOLCFHOLCF.Onedocument/One.texP"1HOLCFHOLCFdocument/HOLCF.texO.)7HOLCFHOLCF.Discretedocument/Discrete.texN#HOLCFHOLCF.TrPIDE/markupM,'5HOLCFHOLCF.Fun_Cpodocument/Fun_Cpo.texL$-HOLCFHOLCF.Admdocument/Adm.texK !#HOLCFHOLCF.SsumPIDE/markupJ 'HOLCFHOLCF.UpPIDE/messagesI&!/HOLCFHOLCF.Pcpodocument/Pcpo.texH&!/HOLCFHOLCF.Contdocument/Cont.texG#HOLCFHOLCF.UpPIDE/markupF61?HOLCFHOLCF.Powerdomainsdocument/Powerdomains.texE"+HOLCFHOLCF.Trdocument/Tr.texD!##HOLCFHOLCF.SprodPIDE/markupC&)'HOLCFHOLCF.BifinitePIDE/messagesB&!/HOLCFHOLCF.Ssumdocument/Ssum.texA$)#HOLCFHOLCF.BifinitePIDE/markup@)/'HOLCFHOLCF.Product_CpoPIDE/messages?'/#HOLCFHOLCF.Product_CpoPIDE/markup>!'HOLCFHOLCF.FixPIDE/messages=#HOLCFHOLCF.FixPIDE/markup<$%'HOLCFHOLCF.FixrecPIDE/messages;"+HOLCFHOLCF.Updocument/Up.tex:(#1HOLCFHOLCF.Sproddocument/Sprod.tex9.)7HOLCFHOLCF.Bifinitedocument/Bifinite.tex8"%#HOLCFHOLCF.FixrecPIDE/markup7'+'HOLCFHOLCF.AlgebraicPIDE/messages64/=HOLCFHOLCF.Product_Cpodocument/Product_Cpo.tex5$-HOLCFHOLCF.Fixdocument/Fix.tex4%+#HOLCFHOLCF.AlgebraicPIDE/markup3$%'HOLCFHOLCF.PorderPIDE/messages2*%3HOLCFHOLCF.Fixrecdocument/Fixrec.tex1"%#HOLCFHOLCF.PorderPIDE/markup0-7'HOLCFHOL-Library.CountablePIDE/messages/+7#HOLCFHOL-Library.CountablePIDE/markup.0+9HOLCFHOLCF.Algebraicdocument/Algebraic.tex-*%3HOLCFHOLCF.Porderdocument/Porder.tex,$%'HOLCFHOLCF.CpodefPIDE/messages+"%#HOLCFHOLCF.CpodefPIDE/markup*"!'HOLCFHOLCF.CfunPIDE/messages) !#HOLCFHOLCF.CfunPIDE/markup((-'HOLCFHOLCF.Domain_AuxPIDE/messages'&-#HOLCFHOLCF.Domain_AuxPIDE/markup&1?'HOLCFHOL-Library.Nat_BijectionPIDE/messages%/?#HOLCFHOL-Library.Nat_BijectionPIDE/markup$0='HOLCFHOL-Library.Old_DatatypePIDE/messages#679HOLCFHOL-Library.Countabledocument/Countable.tex"*%3HOLCFHOLCF.Cpodefdocument/Cpodef.tex!.=#HOLCFHOL-Library.Old_DatatypePIDE/markup $%'HOLCFHOLCF.DomainPIDE/messages"%#HOLCFHOLCF.DomainPIDE/markup'+'HOLCFHOLCF.DeflationPIDE/messages&!/HOLCFHOLCF.Cfundocument/Cfun.tex%+#HOLCFHOLCF.DeflationPIDE/markup%''HOLCFHOLCF.LowerPDPIDE/messages2-;HOLCFHOLCF.Domain_Auxdocument/Domain_Aux.tex#'#HOLCFHOLCF.LowerPDPIDE/markup(-'HOLCFHOLCF.CompletionPIDE/messages>?AHOLCFHOL-Library.Nat_Bijectiondocument/Nat_Bijection.tex&-#HOLCFHOLCF.CompletionPIDE/markup<=?HOLCFHOL-Library.Old_Datatypedocument/Old_Datatype.tex&)'HOLCFHOLCF.ConvexPDPIDE/messages*%3HOLCFHOLCF.Domaindocument/Domain.tex0+9HOLCFHOLCF.Deflationdocument/Deflation.tex$)#HOLCFHOLCF.ConvexPDPIDE/markup+3'HOLCFHOLCF.Map_FunctionsPIDE/messages)3#HOLCFHOLCF.Map_FunctionsPIDE/markup+3'HOLCFHOLCF.RepresentablePIDE/messages ,'5HOLCFHOLCF.LowerPDdocument/LowerPD.tex 2-;HOLCFHOLCF.Completiondocument/Completion.tex )3#HOLCFHOLCF.RepresentablePIDE/markup '+'HOLCFHOLCF.UniversalPIDE/messages .)7HOLCFHOLCF.ConvexPDdocument/ConvexPD.tex83AHOLCFHOLCF.Map_Functionsdocument/Map_Functions.tex%+#HOLCFHOLCF.UniversalPIDE/markup%''HOLCFHOLCF.UpperPDPIDE/messages83AHOLCFHOLCF.Representabledocument/Representable.tex#'#HOLCFHOLCF.UpperPDPIDE/markup0+9HOLCFHOLCF.Universaldocument/Universal.tex+'5 HOa#HOLCFHOLCF.FixPIDE/markup<   /oWcE  GqD΋;%11z"-YX7_w]]?FCP>`N9p eZs:c:j|T |=1fXqJŶW< ˟1K~@JϹ4i*ZHSrZ!~=/uxC͍K%t)}Q][ #VgUa{TKEyN08 A{|kmWx^ u*+ XaFmVPTY#8ͧ5k~soYE2{TɄuBXdgH7*>8Zq2Emk,2i0nXΖHbrҬ`$fЯ4}=(_а=읾SvkeLO%mS[(+}h9pٜʄ(767j!aKn!Ҍ.\X|'m++IJ2 Y$. E2O!o ˬYYyL` V=է,)y*tvF׸ZIu!8iBd)m}CCL7},s|qA7H &s>=8;z{5u-r 3dbaE)LBvx Hۥ@d?7Tz E+l'VB7R1ܤ3ؠ7pxϽeAwvRY$+>BuS7+LxㅒNy>aPylWy#-E?!-r H2c]RhqrkAd7~ȃcOe}8oWk ث6y6'kj.o[8blyjp˿ԍl-r[&(Izx=FO,gf:3oy} jaq^V B*oOL_4Gajn`+Ӱ$j>5 RmmjNٕ/05L3*\_3i)!PZuj0f^S^@I0-TN\,$񁓍h+ťcV烟"H:Ǻ/gw"*9 fg7^S&(\[ݎP 8$F=HU\\ܿt45i 1$p~3[Y2c^* sLJMPz 2֬ ["E@6ӎ7x[ĢoFivnE2CN$lL$bZۨ5~M^TOwXkw,1V~-j^mi4*~!ne«ؤX`x:Yg8/wCDon_.3F*t ~ E~ڜCghAæ59V6s$`Qp#E۫9@GklBa:*:<ͽ/&.³ -EA(E}Z&Q[K3#͜&[L(&CmM2{r͞|NYVS$|Js@bkvk>}6ڃу(uCBIE#.em_oPS'@L.F&l-oHC91oի۱ո˅.!E TͮkifH+8?+3>^8QEnfH"l?X,j "Vu4Y]1r rn5h,GxGەُ ̲B*|,0pkX%@K)6^#²Nʩ7<e e &D*DFh/Mא,cbTUN])Vj.N8OTIu;%"?-HD8( &NjnXBߜW@axG}o|ܻ7KW098EղELn(/!4p`3wX@bۀ!Ix +*LtFI;kzQLalrCC!Q$}reb8/F^=kgz2 k7z:Oʀї^+8]$) |W;b^piyRNx;AA=+a 7hS'XOHX3:V=Yz 3$VH^p7\#C1ׇ.WyJg*LELwWxK" `J>6Cw0eG|hIE ꮮaˊχGx (U،ݰ@*FS֎KqP!#:GrFwV+"9Ęo3Rbt{Z?MR-WS9|wv2m)ԃbO5}3p=Z P 8s'íҧkMnػrMs24I.mxE9Wx5V; I̞G_K#V ^ı'?gfl-B&H)Il8$Kmc+^Ood۹M1fYyt5Ɋ+eiGzJ'lzِ1gZ%A?X}c&ՈH_a4 Iy~[_{).&lr8 ^7Qi"zdžPV͌>ɑ$ㄟ,7صjHgo"~HR9:շ-BMlgP7!Lƺ@C2"jbV8B uPj> _jm/!^royH$׍r_D-7V\7 .Lovyh7i1M.s3;g(lB;lSF@VCIC֑Żh_HMd{C b'HKn 1r~3s 3!%Y!A: O\Cm>h=9{?ֱgYZ #R&NUjEn}({X*] }b3/A?[GS8fB&Fs_FaԌ=_!7 <ܧ,RduF-Pik%3s+Xl_S8L|9v.;.sW/RsIG^_)Y[ φ~EO OQ{Y<ĎH΁#r5ӈŧV߶ %I ՘bxP ,δׇrL 2a2 s3a3﫫E$_ Ԗuz̬7kfKO< >mPZsPqE4[yZd`/ {JM/ץT!kqqDV}Np|%P! )|6~⥨30?y_q~h&i!jz_O +Cfxk]#qwvBBU0)e6KDͣlr>.֭s^K !QT\kk3Nd7:/ n6 krWcie!"kmH`.1LJbq !PhMPHOJzr[NCҝ' ƨN`aS߇@a@hʞT~i:XlӸ''QD~26> i1;ܻ4.^>Kp F^.gAX9Pf NpAզLBu 󷅇D:2݃0܍S= +ɾ{>F?RDa7'; :|JPYf֬_U#p=hH~bmR(yJYϕO !hNzYP;3 \ B-l̰DB*0@@`M0XYR,AG*aS˛ ҖEnƟGE8*I4Q#H{ǰb&sX,mg!?. 쑥'4 .fF(S)K|&Wڽ֗-g Q˜w(2s'XeHWV/'2&wlj.gXlVl9q}tvX@6Ԫb8 U-]+Y~2>?ua[qX~TU1ty^>[9}qGTo3kJ*˵+҅g[cЈmRlj*.v Pc# f T?v~o) kG+a:^ffa鰢8o-_o1ֵ =c0tNش= i),t*=IH''<ʃ\*k?;fZALkIN-;]|]>}1)Y Se@smg=d]SvSg4XͤЁ {R-\ ~L5 ^SyGaĐ14|\L~>k:.ni8 ;'RM6U|pkNF8In7tpKI3=@¾B kl\d(e]K\*#fw!Z3)+rN0 v DCW} du[{JwYP&切uTZ wq.'vv3fFY0jј8x7[D@}2䫬Ӣ+m</!ҞxM ?oLj;-pӞ?[Z8QBG]5 N~o=3/5*,aW廢)49RPYU;8k4uыJR$yД1J1* hC06_lp,|zԈqRIhx-{c"WRT*f=5|bO;ep[A.]18?-n-t@9`̬yaE@ rg.3oWrPaT]X 18 rđIRTuV-uf)9R;z# ;Xs>TOo~}yȳz0G_3r9zoE"5!pH3# ns)iG'ßA ۫n7a9&Z|aNmݸ9,Bka NCV 9Pw_]"{#[zSeJ34JVұ;]EWJt6 U4Pd^VURKStsU5U^c tz',VW hEn dvNQo[Eymz>p4#ߕ8Z{e& UHU5ŕ14kwۢ#SBC K۾1Ff4zx'VETeBmw>2&E{5%- ֒b:% 9"I뇙 (K1}ko~M_(x^Ӫ e΃G'[Ԡ={{[G7$U!0_9#NQ-J'8[ků_GԳzSw o]d2ÁeQZIqIX I$w 1ى4ElYzs;׆^˜_U:wV|Wcdӽ'$P[Hy_ hts1fXTt>ŋIt>tM'!b6|顎"S4oKD:9C dK D^DC̠҄MRI! LsUw4/(5TamR4](lbV~2jSFCG޹W6`a iEiac2ȅ6j&rzE,Gkw>nʟ ]mm[YV{AK&H=OT< Q"/ΦZ3}Yn#v[Zo -|- ~ocXgV}r)j˄_ﻶ?%"֡wv0lz@<[M"o(BWzf+S Y0d N(&x\DUe(UU|UӠOyDzu6,3VizCY(#@~6'G j^y2[=qfO7o}N8Wb=P}խu9hEC ~9CoYdCIӕv2._qQ*/1ͬUx cQ0LYZAf}bD9G{|yEe(6qͬyv hؔ7+-?P%!+RpطE<ޞu?KlEg/W:5.jc6h-?%[zD)R*w9,=Oαqe_јo霖pFa )l;46}D5†ob?`}b@HSaWVìvμ@r+ S~L `ڊM=j{&N]qI,MM#%4Ֆ"_lɦm%u#^>4s6X(}k^P"l_Xɤ(o_W|iwQǩ6=~=ƨdz 9wX45|joL_'mer Z9Mqwvq|pݺ*QCc ߺ\Pfkg6]`ƐqsrOH~?ݒmC Fɹ?}uKg;Ql^ wNyHP6JSl D nfgk( zR MJT<M,fz-`=~:tw.9Z;XE)rr%iwG-mPM$%7Z3;l9.K'֟<)AC@Fmt8HխA}9۫ \yO20Y$y_(#+ͺ f"RWj̕ht~kn\abOlz̅qXxBkEa!7/Y9,:wx;'+'>!QFFJeNُX""_.FEF)Yq:bb5=)n nS1=Ww݂"#`86KP]6nͬ|AIbUӈA<=-nVOp`k8 SN A|tm)%!fnyxQHaQ9Mk u2O>rAG%OҹJF`sp" Fl`qV{ ?4gM-윔z Gm5봠2WbDRPٔ.u ~*;, UC}1iO ժŭPQKV$4tC"}1 Y_x4!-NXG4X Έ>->l9dy[jA3'6rw ǑESQjWL =Yײx+J̝F-3 L LE!y'LEo\X`^85ʠꃸ=!MlNuLMS0hy ɿuH 8Hj613Rk'}^QZg4W|%n=CQm]YIÙGl&vA&ӼʊKf)+@2:n&Lڐ?y"lvnXT6!E.:t=P8bXןf>*p6$NB9Ѝ?j}s@+pIiPC&P:%J_jVhx@쀊I/c{~- mY!.COkDzLÙ4︖.G@`BH> wMZ9xhjFe{_B ~ۂRל{dS8/7Ϗz$=uN7FF5~I$C& /E8ÂyXۀ%ǼtQP[z61A`wxǷ =~:}A{ IvݪNR9ȏ^8?j0.ŲS`d##G9°"#jar)cӾu$r~#Fkt pD ԭۖP]_咗 ތy6%$Q1Itzyԑ-p& 7a-Ť{Z;ve̅{n60C%T~'<HQ-Ķ|K~ꇱ ZI)T2͎|T h%ȕMlrbJTetՠmΣXͥoL`ڭYx Cj {8`)ȗd9`hE*3&\& `><\6;M(.9Z_յ.X?Cł $XX. |U,KFEޔ3 a*d-y jy7*0m)(?0Ya4q =AGdW0aIiDH:;{ Ug(W:Z7φIůNB42'^dY& . o6 ?gS_?lf]f׋0kRּ]o'=TEpgQT ^KSTu _cň'QpleJ F,P13IM-CHgc`e$BEz>%YO[?\S>@0eľIȅ@gLANb15(xIkO LVD[vD:'ziK~ ~+hAĪ3P|g|Z7Y^)g=G^ !(\$-ja.&X g Zif\xؚb'ڑ?ߕs 츹͠_ @TlF:, ~+._X8+/PҕUfv!LTfz/⎳8yNJA#:-cPa\ U ?.0hַJ8Ac`L.B= Pe8QFD46[9+ h 0>L;=B,ZQ-^g' YIp{q^8ӗPLn k3&Z\%d" }^̮tC%fx&sܰ-0'W7z%Y Ǧ>t$Li1ﻃ\~D΃ 1g.ω3#_ Κِ2iqEk/LekvTj>VPWW89RN 6y7hI>{kNԨr}%٘+SD`YS/BZ`㣄TӤ.xWKET% b)klW?QÍ1J6nv)l4iaT\+e>&Ksы FhBtO9cwĨϡ hR?S' n' #&CTFh0гee$lo\-:B%cRa'z% g4_?OF`1 k#$ƾj͗$Ǥjb ֮e\pS?aLxM!_/"4ϬYOv%gz%Eì|?+ZKd׃O-"2xl/]o99,yJ;N|K]X`P:*þ_K21 |IBccF#CL _+ίLrS_z6L0FtFGVw_}bEhx/N&uݔX0u!78S? jEҨ|t̤!׀9oRN6.OGt̄)+Ɇ^lhQ"fU PJl4dɧDჍ:Un4%"fC=h0hm=YDD@y}hr2T5Y}Kܑ$(U^$:bC|)\4rPʺK  |3ߺLՠd\)n97t 35`+9j Xi*6Mc!ؠtE*ևǵ8OѰ;Go0!aԑE:%Ԁ4@H?ɽŢkoߐghf5s~1VxD 4מm# ЦNW"pD1//:{+"'`0U_TTRͭ䩾&kuRBkpw['͌ W_],o D}&ct-uwkHQcaw)z 1=Ž*@N\KAxqcC-^Im*_"O7ky^NK/kSpn@n9w̓fU57InlpG"&,AN> Kd>͏=N dMl-*=(oީ`NwQv* Z<dN&~Afe3QdsP`lv3Brxxw?qUUo*zt@: C(hy}1ą2]](֋^/'!׮+k/8f 8Fs:J;}ƌjT%\omRG [2v2PW'>.}g1VzLnB6ԃ9Ɔ:z[~=^HcGg⡋ؑJ S/ݒZŠNzLMdP;v~,ql#o# 4zG7Ǻ"Oe 4wFpΚ#P3AEc 濃;K,Hݡ %X!>:6&%&UXߗB?B O 8l~"VoC%k1D}%+Q\Z:Ԛ[3Xv(i0HΚ<kܪ隢ퟸq~ #T{JGUC$.|jv$8+AEz?Yi=ga,OqUk U`W "~Q4 tMH! l̈́Gͨ!zG+׺NrZ~Y/ 'U#$WMf=OylPA9ˆ/թ8>{g-cNOvɛSNaV9|&>Pԗ!#&P7iQj8{VU3ȒH;N)Hz.cuW;e{> v.ovL7Z:Q+0rC$/>َa3wGaߊO,6o |7bCSjxZ $Ex +S]k+:#fhMr)ip ni1#u1D ~QCg/v\SP<6JS' b5 0-Qi)&_dHYlM'e [5ǀ9Aq b*A!2qF@٢ CKkiu1h f}c:Hֲjރv|Vd:*oghJ{}Ө᠎vڰ%QCtPXVǑERXXܘ;A`[޾@c2GЮsɳE{ @5܈+1E]ǘ ) 4](]tѷ"&Z?99?HXn"tμs%!v,6ih5I z0b%凮ᱹ}hqȷ{S3\P4*uxOPVmk ;WYܽGE m\m/P|c1%pjcSW=d!;AM/vfVjM5yWX#W$nr~SKJe/h#?KjetG[|?(#nmKÛf&L"0 XN Qj3vD4Gk1qGk Ż⚱gYZ R'5 THOLCFHOLCF.UpperPDdocument/UpperPD.tex7zXZִF! Ҷ]A-MՋhvG"uIBm5:|Pmgzzn';hp*ӫ9?׵%gK is`Blzmg$BYh' )`3]>Niō\TfOHD $Jv"F7C[%f&0dK5[n=P,ݧe~7i~[ 0r[uʴBIXAh `Ib6Gg[}Wg~Bd?U fa@)fzpJ{eJϵ0Tջr:\7-lOE"և&) ~y6smn}BqC+Lǣ`Ϟr}ٻ1S{Q$>hit="ɉשzI<{d`|K=Nڞ|"ZVs$fF֥R]KKd2AlӾc~71$wR n +:Vpz| ӱuE =B]L M}3Y)yZ=@l mpΡp`;UӪ{g!vۜSQ =e,)N@F6ֈNY =0r Q+'w8gܜ\QX]Ti彷ƫcÔd]'/y"1YpI5T{{w:[8v d\7[H`Sk 1X*v}Nze?䄦a7]ޥ7sMr+FN2×6_Q0o4Ki8沶(k/CZJ)&½5!,o>%wGC6:4Mo ?IU-k|3)^LlX1wcbq= ONRo[?JM4{Yc4fxuLC\;c+V,-LNqrW ^h j\#l-fSlgQqyoaQʻa?%[iOQU" 1%B9D]7ԉo'kϷ('߁NS[{4*^ 0?pEӖ_q-.'e_Co`ȶU4=2OK #5WV',Ѕu▵ C{FP7Gdh#%Lu[_r|uX6M*qzriL9ws+4=ܮ׋i{]:'\32Cto=F"]Jr΂=ަ[|(kqgJ-3B僠d)\u̿j)L%Sb^sKmf0Q8{ZVVobp*:^h &=h!B^= cMh` ).ޙVș-V:;}~pge$5[ݰ`0ˮU"qA_gm ɬb_'€%E6*Ia2ݔSl~.g7:o,lg Z,K7+vc <09\TEBX2z}Gl1d p 2 $ܦYXv/=Ai$W&84? E 0.= TQ!a7#Vߋr)g{*җ'њxoLK1/jo2Q]r6WsVA`|ʖgЗ4_5 +9{gTZ=jK@Q`aMO /ArQVڛ8\GT/3K7AcBx^rs"|sa؝ +"V X>_icU &cذZjPvڙ4cK?\k@j^s@ $csca/&OEwdY1} 4771[SX/OGZ'˂rC3v&^k4e:(l0,:0RaRAUfS:jO;~a2)=+& 8u Ge|n/b[zԝ}g6`/D%5 h::$մ>!L" .VCG[7 N:%4ٷ1a}G+L uqlrp:yivF9%ͯN7Ξ=fF\D4I! ꃜ$r&hUTꢰ#?fC~ɫuQG"|g{?b J($A&WY_KbK.C M!~*P"03L(zN9JIonro1Z hjj W^>rff/Hjד1"Mh1 ºO79־0/a[nJ^>2U&рB1dϠA &g57w(IdB_q@YBTFQ~^$[!eHi*N~)½C xqrPoy?Aaz] ,#6]?{(<2.tQh=6MI_^@Ee'_ p_#rήQN2*i:}pvΤ$(N۾gk4cF#.1gq0S4. \M޿PSl/6,p^$ίY#wM=H>cj ?oɥM㳝`qQF6ПѢWpD  c +9 lHOLCFHOLCF.Universaldocument/Universal.tex7zXZִF! J5p]A-MՋhvG"uIBm59soba_N}ɻI{|@_?pHp_ mV,pY!lo t u:Z8Ad~ [g";1IĎ15}ž#֊edG;fl_mcT= 7RXHxK2.n[6'G܈dPSjzj9}ĥu!1޴[<@9XaYZmȨY>,0FfQ|Tnh59ԐuM},#2H6 F5?4_F+Ú&@;@8 ZG#?"˖ogH|IM9y0ߐ^lR'Ch^l1jFVwf^bE2J 6 u;!pC ?8LboXZ3ސ50`oFyK!/o)A h3{aE6?LC{(=Y)f?  [&wA%S >` K?,m\?⭃8i_وLاٮ+3d|Su BlWaI(@a5 ``'# |HOLCFHOLCF.UpperPDPIDE/markup7zXZִF! J5] !M젗OFK? Oȫ6@~p5vjӮ͋2J(f&UE/Qfxue@6Kfۿ>a4o.JqF|ct/ؽk1e'͢r*qe0|oI ~$"=dW;}6[ zt\/w"پ kL}tvI- !,P:򸫾G; d?tQ܎aDQ39v ڦ7X`+x"BC7O|B(P %7 l܀&\pVAUѷEקԹꦨzY7fYXN0B^xfy&)-?3yk{7*^ 1kbd_9s:_ .ە ۛ:%DZ:;F!35mȢ (mϺ /HN{#G_rA"`&RAAU6_j^/ pL%Ɗ>iC];z^ʧm4S!;g\1H̒ɻ[ӶSkLB j-N*E`Zk/;6S1#$3_dB]m@}UM ky -RVaAQ`8Lc)^@Eg Kg$K)3J 20pR]n"zHSaay&os$nFAD }@2DMCWHwfn.U{:DcԂΨܾsz#u0C%͐O{9,XrU_ȵIWHq[V%?_7K٤s:ϴ"0c)4oŞfFuxRJܙd#1 Cj~+'/4[GFͬ k;N62Z\D\M+#ӫ2rT!4Rxo?E<:H(d$ ve\K(7%U[otZx:Ub9 2Dvb6Vw'K-7C2jSj+C e~nxҫw'|y̩d¸vW_riV;,ת?nA3jen_-(,}:6\˴\yorNC#:ME`zL]V(Z9N7H#y@IӣlBC]ThZ˫P/ht+ .A쫫QűIjbS zH:d ׬¡`+ynw2V/K;c FT @D.~8ހXG$?Y֞!#hw[QHUB)+Nԁl 3ԣ"(x|(7=nϰy|L'/anwQ78B̽{!URk0';#"WzTI80?ۋӒ*3Gb_&}aQ,7y᪖ exG^֌ L]e|t#8D 9L+ݩsjF#c3J4Q$93)1\Jf*%A8^60BhؕB dwmb~  jE!d(%4L;t IY#@nuW# qa_DF zhׂ%]O#3 6w&PE%r|~m ?ncvQETOpv'Sd7%? ](aJpkֵ{ݲ.n4 C% K7*G|o fUDR.jvu 6jV2wp.)xSq B u3k6BGz ? 8+Ch- І~ ("DnIX˾Ίddܩ iT<{'R 3QF-kK`X6[Ɣ(YFܟT?}sLNIip`ئW#O8[?q'M|7XiC zXt%Nm|)G)z 3!4ŭyxWVʿ<ͧfT*8SQE5FeC'׃plJhmH^$Z8y=,Rwwā/PDe{U_(=f,rsn)0U̥~rkzu яsN #ɶ8EC%,dlD6霂J 2KBƎֲ h%rG?2K3?N% )B4rKie#Lg8~NtٜKfnG?N. yW܁ACeώicuҬLYJhd>͔@?0R +$$!4 cg~a|oS.Pyelq|!xNW4"''"l!H& ^i7Z e<= Дʽ3"ش`CAc_>wfə%ÎՖJU!;ۤ=t*ǤDgS3n{:I"~8rQ ݊RAu0GbVjQrO+ GsyЮx|R3 \kwܿEzqGρte7i7v(w9%ө9?{vڄahJckAP/.x&>-so*p* ep5OhԵL JA >JDAE~6GERghWm܃.>=[|5QNG6u$H_ 7JHh\Z/+o:`86Ϲa6z]SӐdoӖ*< !jw61 x8n~An*M~\3Km_3&Dc0ccՐtH%sz6[z a%C<N pE֛p@+pװ4L$_N]-!g= qbw]իg[#yK90)onz[t{OaE| YWMȄ7 7j06Rá Xl5#*9 w@bg_1 ^v!]\WV¼Ů.D8o#A.j݇ 8n{T4`?b[@bj\pUĴ*oA 1ymr".̋{fڋpO2[V*' 5g"_xwpoڥ9 !jTTZV;_-uTp|DQFS c#ia탁Y[4ɇ*i:U}$Dfix5aשX#4t /pLGPTsE$VKL*o a֥Gr8WRR!fVFOGZRG㍘IQ(*쬴1׈08z8KϧuR%Uzւ!_\Wйt]&tfC4r_0TFh^`=BHqGyϯAO϶1VV=/j~uFj #{VYHHRv줼7*YpA .zӏX6EՊPl6рBn-a\UAs/Dmf2}lU}ʱgYZ'&rM@Wyc~[%*,ԭ)rϹA8U\Iϟ2{zJUX/ky$&%s3c͚]9&X&+x'?ɏE]ĕm7mf [|RSOY"e%EA NmR^7Hfb '8>g]b/񻺚~u ; Wb%k40F'Aj:E ^V 8@؊$dKѯLb'"n6ɐ@h0nf6痩2TmF;CQQXE{G(v#"펿qo؈cSz'+uM а$0_Q#\Xq-%_)8a[\ݝf3rbd/# Lc<I's@P'].[f㝅>oː.@[4TE֪RU:Ez5wzП x Wt^V[rfq/$|4 Q٦BWq129.5D"ORG/kԴ\"vOm:_Y cr+sk}VC缻K*r)ad^n.e瓵9UN5\/G;cw&<1el.O u_5ZGS#B|({)DF)G4\j>+?Mn Pٸk Uԑ&'FaATI*|^ /e@4G) nyCX,Hw[* jP=YVpV <)&@4mq#sLS! $K98d7KGb|F˜^CK`rjQ"E^.~}Y[hmum&!n096zu6bcUkDv`P@6CdsW~GW60цbfI}2G׏]ז1}timzw޲S؜3Ś{/Ũ/IȜB̟ 8<9g+bu' 'R1#Dbgt1/eY{{΅ Z~u9o;O_W.;>MQ^]E9rUY~[:ni+9nC$ 0|K1uX&S۔; x/1"ey2U+.DON!_KˬyCSm2%Lz*7/jpUwJjAcJyGio X)~5#MO8:SCљ[{^/VIF *.t!kFi\lG'2@n3@Es.)˘~&*v_"+=Vpsfk3L3.`)դ&mN/s}7^h(jB<@iI+QN)}~"oͺ8[3945Z&ϑp=Bƈ%B9:jwZ(+ڿd}/`\2}J9">Z =w$=<3۝|to,q_ƎDVЬ|JťKۙŦ='J;J6n\r#ݍz`Ѱv*KWyݫdvw}LsXЙKuǕ]OFLEӈ*K&#B\_7G,mE5Cߛ%Y_$TOm;!ÙT7)#T F*ݺ;wmeQ}!Soo^/2=)&9bo.fUM5 *HqB>MM>dH$cBu_ӢěnܾϣՆ}?[*qK{_hs6]o΄X:t|Op׼;SJa NSqgOAEehu H~/ֆ=EqEXgG1k]|ү=Zhm;y#4@շiz plh7F^`oR@}K#]X;|3Ą6>6W׹?kٳ\uOE](g~R[Td? JdVwV(dtD =i{?e$X7kRl$TEJz13-t%CMeGsCHOq 5;PkzYf.`i L݅qw{:upf,_ G(v>NB keNByg3YHAO]]lX{pAʰ'},!fLyڸvZ )Hha!#וKBXJDFdH ,~FG=㶻 lMq<˗- Otx,H9Y=A9yCl{"MC*<9~EF|-y0`-0~jQ)5[^;MML-^( t6TڕH6n@MgG==o*"̆i'dK#ށH?UEb͔sΙdGhk)D.ɭ+ uIZ[W`/N^0TXW'Md˧>XƎ8ػ{=I1`&e2R͏{[y x 鍙U`к e=ӞlgO?@oQ;3+0?#ٜ\lJYE1@KB:!3F<)g/,0cq_%X.?`JMvzq}#^1pnp']t:yP9bEtۃ^@GWQKrXyA-̓B6(ȜyzbVLYzӇ (.3ߔ!\STz3H+wt#pon}ΠY̐hDZtzHPdp.Rۂ|{$∴A;lYσ9Xi$k9*$Rc6[x31ēJ;F{w:wMt\Ufftni-bF7YRT~ec=z{*ԂwW1\JNW5hV>, 9=pZzcY_·l2@fR} S4bQ ;! o[}'n܁$Wрi㍖+r04zICBsfźiw-5.V"S攪&!C9[)Teϙrf|?y&nWx6he̠3BlDc[Ox4%6k2h閲V[Nj%ׅAQX6ORH?qk<19Osvf Ӝ46/2גW${& rn0C!yo( Noy @lVlu>羴q]cs VѲ=3&8\|Pk ;hXs [cW.V`K5l _ cB;3rbl7z4lb\JrHv濌!gNxэMs#A#%\on*}?j0t u;t_Zd9+G :]C8>Cg wjDt٫bk7إ,Id`v%7*p=R#bYr K_e.sjlnt]nOCԉzZY#JGڹzѷ,u SZ/u(A5@W3Nwzp E]qd xʐDڢpQX8<6(v?z[EȌLK2->RҔeCrA`b䙀p)[ZOt_{k J˅8(!z_ee_]eSh>}rfӉFYH,Dt%+\e;Lw7h^8L,FYY1vݲzPfkopq'N]~*ē8n4w ʧkP`n;ER[JA@8 UbVFI=Jh8~\ևI*v.;1bПU*CBXqY6V2b wW&5/>SXr?EIw _ /QiP_:^q,9Vt̒RUax#L"EI'4RaSP_* 훮(>Q0TYraHR98Y,hxhb WtUk`l~2Y."h zq54ex9AXRPI($Drn1=RcPjt#^{qE.1F*FwgiT}JhElu>ƸYԨpwJÏt>ADa334ζ#~h=Ri,r _7N6`j4 &=q.P^螳ᗻ b݅,W*Jxd`9@*l\{K\Ul(衧ݮ0i*BJSak5LkfT4JVsz~3GzlS#N٤*|XiWڙY5( ~iO8zu{ѵR>ha=Ul$1S経2f(rѹN}L]Y$NKSy 27[D%=#+D[>b@&zD d~rti +Y#:ۃc/>)29H۠KOchEs .`" -UЅe#Ք fvpeg7LZF r)|G\'6|Mst$i!a5i6a\VGaɧ%e|D;TW (*uOM0NZQr>/e֓ T-/1R k(9Z s+nۓz#tZLk!\rhPkX_p&/-B<=Xm l% zB ZL셈Ųa_x&h16H:ZM9\ +<2-{b׉! n.NwtAr/oYF|iT$"lnpl.Z'/EA 1g^>+ V K;L`k"GfKF(vݖ.zJJ5UfD3%<=e5LW`\Sud{(!7Zc [xA}!7k6yϡ+ʱ=$iڬ0& #\ 턎P~7&]sE@wXm˃EISDQ}vADcNn~/=P}{׌c4=4& C1Rw3F x(FsX:BWw|ǠmMwLE?Hz7o`0^NS^ܽ6^iAu$%{BqSA+,-⇲sSXgY AvXYvN1]j{;5 E»!-FtK_#; Vzj+0,"d1ItF!1_2!6e,ͫD;[S>ro9plMEv&DT9wfĨ=ƄeB]8Z <,-H %󶖕@"ƳsIl0愺8o6?熪]=x;=⹫uiUlzǼ%C7-?Ā{(A[?Kθ7HI/w|sMww$zQ1QNHv~6܈l䡬1PDjZЖ=|4rT?ݓHYZ:-Ig8_^etΰ$sOr;E5 1e6'u4pf6 r0 FX¢`?d.3kz`E d!=xN%`!mGXŶ7MM ӈT *" euR021>@Gg [gYZ  n n'' |HOLCFHOLCF.UpperPDPIDE/messages7zXZִF! 7]D?7 {?:fH\ԇ oAI'2kh@zS:_(*<ވ34]cJKuɏFNQ smJ+N9"ݗ62pa1xAΠ9ZN0k˕и'-ǒe=u`1J5pX)X2 =*'N䘖" !;\ɍL)/7ZZKlPB޽8īȀ2rEy{ ®Oko%ޒκ/`jio^sn2AXGVtkF k oVWgf<ۧHX3rnW]9۫lKW7iNtPbgڗ5n] =pJxe3US˝E \鐓%?F{Nh@:ێN[(G&jЙ?DaU4pϭp g*„`EMSQ6MoqNr%://-VjN9w KD#|LI&'o/9d,`51$3XR$ȃh-j,|;~P""kh]yꢋ4)YrlqDSml6lO:Qu"gGݛy2jfR"sMeAj"," 1 (w <ʖI&i@< #ccHXHt,[h_DsP3ߟ-wxlGc(y}6՟"LiyQ2BK6G,R[O:x?O8Qo{zVikW|)Mdjm;ɩ*UpEQ1bOR-^2)_~Ys񂮢^FZOϒ,L? CR2{9* .-='jF{z7]c|?3[Sr]!ʕџ-?nP R؉=T=!ɤ1?b}v¨E&Sl sE ӳN XTWNM(gN?f ٞ6riY`S^鏛$?N&iF#Oq̓hWwٙF9$Nrj!0t' = H]]Yuި8# Ya:ao$rCh|@[v)'HWMPO-1W#}.X}=I?KlK.h'3 ’|ܑlDA T.%Gi1-e,,*y}xˠm, 8A/2{l"1d B)yVZ a79[줘#MЯr SfaK{ jF~]$N]!zeك* }D:d{OEND cF 4G`&-Vaijx/_"z <4قu^9z @ >s:QpE=HctxQtP.t3BF^8xoH{[3} h(>dؒض-(@M@S]f|^ +,nʉס5cںj_R5v:]7T:$Ӌ=N2$\vWZsR&e#x3ݗE7 flչ1FEv #LGZS9OۓV{ `N;@ҝrw0F;l\BKKodr@dr.CV}msbjD6mjK-a u+2& Gz~ eOM>S>9r+p~,AS͈ _mO0"^(6Ԋ kl`4ޛW( u!q ZN={AwG944B\Llh۸]EQ\sQ-;ns`5肦d[}APts[k'A RNG+t|\3՚h,yw,,m|z 2<3bHL P ^^PmL)'{b{33׾MG އo,0C?,&gP{3nJYz'(r茿M1~LN,;#gtOz>_O6:RU1DVP7Ӧ\3_x(FJ~jak\{-5ŰфE^l=ժ,OkaEh1mlBn-,m q|4ɞ1-Q{?U^my\Lf +AwA$TMγ[ɣe_3`[+*!dZor>"<[m/=jB\S-Fk,y٬֓\sŽ̇EBxXp@ FOd=27o73LDx mvcF2. Bj=dZZ>.t Ilwaj Kr틊6)͸&$sI;^_g~Fߪoy4m"gB{IuT`}*]JyϧJ;Y~:EX]n";B45&.kP$BNIbKlf^7yJwJ pA^4S\$ *_ TZti@FuNE&7I8,EG`ZHGi*rYr|?]yTR]Ȍc2Zߣ',Bzr|EF/1I3Ia0 {$W:0{u1BC/-s +J0R&<,$FJ&f|o1!! w)a 0`~Ja^ cнMQX]g8yPt=xHs 0):߭BET\[)iUMh-yHyL <-}~!A< X Lw'U*1ܬ4V{+e/4;{E 0nOOf׮؟ȈO8B~pIc+|Ad\ 'A2#>D:lakF'ectVqLT|b@, ^nzJ$[}uDoƩ{)ir*F\S47湊5HGBfrY͠BO חa@Ay0Hmg%7HgYZ #+# HOLCFHOLCF.UniversalPIDE/markup7zXZִF! ] !M젗OFK? Oȫ6 dxNO VD#`TxC^[v,Ymݏ`A/%R3'q$J?дXS5E*F>;$;P?LߔkHc [ Ws=KLnط:p]{2/Vp~@&K^_ƣQ)}G2Ku:PE_2-<`h 1v^xђn.hpdBW/u|Duܑ0uA&QTAP^KU90^Mc[d\*4"w1@߇!"ְǪKu K<.qLX&=cbW#~S7n`t|5-e, !n>@qҸߞ׍u,-\ᎡB! t2}5IRwdfa]Yeu"k|'CNNO4@+EeXR>?eIOcaѽRzad7.!lP/ p|>>FDK8jצ=g"#R^icxwN\@Vh@񞮳/M6,B_v۩#1\|{^~K -[Boⅾ{^oz ]p)݈d%(Pkf<06+ ^\g"WE\<{pJg9 DoGJySyZhix]ϵʖ-7FI/a,N'Y贎,j!we5OӂIasU)Iɵg *,4ʏ}nth=ѲX9%հivJ&JT~e ~nE"ո<֜ݱluOEMȎ3h_tLMAwZvMgK+p(l8bǢBk!&@S"Og?c+"h: ,#LUr5f* : f+~kڒ-F[W&—ZրZn*W5ZNSG>9fZJDLchwN犥!{31);o=G vkQuT`YewA3'Kcҵ < 6D@iZX?dvmn4ҢyIIeW܂v1p]WJ%2vC {x1K=ھ|%ѰPٗdp xkNHZUV,vȘJ !WU C"'o=5vXCDU zSJ'k;'oPuj/β]tnW{^D6X9>Q筥e]E?OY06z6ܷ G 0{*o},=58'PJ )Y" _!%c6f1P$$p,=!f>)Wu×7o6 x^qx)5h GIǿNi)V=7')T[} ugN-uvE~*K׼ydCk=|/1<@F OOऌֲ+WjL\z6CiG+TjUz!¯X>Jx #PA񡛲sxst|1TD%=G3n+JxY9Z8{A x|RG0TK,yWiJ-͸6ngj[vϨ,2:ZB*t喙>pa)`bcU0ʫ뽶%$m]]u'kC8sV[?ʿC'V/KлZY3(܅!\b.؟/jֱkcnkуg` 0;Khde@HZb;/qΌi8Ք_у=,2^B:Y_ZC,C0',8$ȝֳ!iۋp uSKVhL°+v$xw=+d{ć@zagVYgA {\X>mI!}la+CM kӈ`5En&]'m2u4]hǖȬ43x,Dj&ƹ5Φ弦"<.Lִ@%G: Lt^vPҴ,miN]02~4t^,C ARwÅ]B|LcmBƚSӝdRn@>%X Ab*Ivg&J,k %(z 1PVa#iPhdCq#Sei6?xGl;:ym-?q"rI5ތ0=[e0l `ʀ_9A%IUqRRs(ti9⥃v8w.P 'qf T<SS:|2D+ZucAXʮ@/wLw|1Ɣ+I3$Xm}p>:>_6!O#^Nh)NZ\:{61<y(a`wFM=(%[ӥ&gOOV]kJ܎^wTVvZչS_^KvkԂ[eݵ6ܫb7nqn;T4slFa7O[ H3eWH $C{3,2*y{D¾(oxΌ(  ge ?+l!dQjο(bN=i3v3M9@Sfzy;t+EfX)֎2Ss/kxb 7}w,ƗndQHQlBcYRDݽQlI/?' N c4ߙ+<ɈQ}RS>A%1JiSd=SI_?Ѕ=qdBFGr{v/+!ty& &bMKh[Gڲd)+Q8~ qes#uN 3$/0"o.@Xƒȯ{D0y,T0Y˴LB`B 8c.߈>7r =H$CzׂW$cTm&Z+QAC3]ߡbn{DQ)f]f,z}:&tA {C}CXY)ӢoPi,a%Ty+nIzn, V _Fyw{XDH6 wmo-ʽnE,fm*OFBBԔ{-WEjuuV- Avt!i8`AҘ5yDI(r  O4c_t 9R*wY7:?r΄?~3m5*eF !ࡱIJsC RYbr(<)cҜn`6d,NJ} UmiN/OylpBtzD^s鶇!E4'۷Uk4xCh݂cShѹfYAT Z)YDm FzI,8XRGuրP6 rO} u(,lAkCWP$˃a d@4iü8Kh@Dq$F=gz:,r`Z~~Qxd hXaz࠵+fB]8^3dQ  ~ l-\Jq6+iD󈄳B5->YVm'CF3cNE^=cG;&k)ix2 \*TvVt*M!1 dR*&fέ5Zb7bAP dx ˇU`>AEnpS3_3sgYZ E )7 4HOLCFHOLCF.ConvexPDdocument/ConvexPD.tex7zXZִF! N"T]A-MՋhvG"uIBm5TʉdgG^h0䲵4N?\s䜥aX~4=ZGH]!Oq{_42}r z,j nҴU&eF8%q<5O$S~h;5M+OguW,?Yd&gMpr;V/FV[WKrMF?u`;# !PO# #& F?-!?wOT:S5S!+)#Vc0m]PC#_jv( ax fv3adz,NseG"vJ6q#ּ?Cȶ;Lccgĸ%݋44(G\o*MӔ)L{oƔq9.F g,Mv\%̩M-Dg*f >l[NaإWn= DoVߛlNr3xP)H 0ê|fb@\NIt'1 ?8fӈw&wU.\R N8 0=0pAarޟB'ӭ}|yYTJ|($x๴h~&s;;3~JAD!˴G){ Wtٯ-yA}P"ޙ5ǁ{8 .!%#h)鐪^WwcEH,>-QUՙbe:c~ H{[p;uP vYv kU;3#0:s#w`Hnq ؜x`쌳HrK;)fe3]s/iン{&j`8NS9UdpH`hJg_Y&:Nmv#m!FѢIX8&m  dǘdHR|S! 7ڞB3qM-G 'z]*]FUʼF`ފ T z:gBxO UjFQ/<CMmx+XZG#a' $j\a^6…ƂLK$EG35m>@]9݌aai0w//Iea1IMːnu@|x;nOp(T,fL.m4r)˙Ă(b@?#qi ˢKǀyc1ofh+ܯoCP8߫x[RK~,u&z :nVdᱝҭ˷PM:k@ى,WF ]~l$Ҹϴ?ɳA>XY1Vلʴ/R.WD[ccjEWb١qPu#-9-LA$aJfu/QU_2mM[[NPvz@//"8^ܬӨUj@ 4@ok @.wCv9I'+ܘ okT{# D)(ɠbFY =NDLjXTWq4+(VnqJ^[氁R,>Aٿɱd5. )'/Yd'K'(g{Anr-Po*CdS}d|f?]X#BeBчނ$<*1f跑/IRODZ\sQz5tjFOSRd> 6D,vVekD_Ai0:*.)`7<5+FX[5GB[q90?VVS8 [UvM&>bzptlH{IG H'vܲ5+A 0>M`mmtN PzJd1<xўt,0 Y}&֭;3BHEcZZxuX@nC(m[I fqV܏.pԋoǛs|xŅO(PZ9]=9Bwlŷ˽W8֪UGkP &Cb}0oڎkو} yJ<$\`zR>ZnL{(.3ciK> (A`º$( / R1XzBbV%/ڞcmqӂ@_'/"Q߳NcAJ# 2ǑᱜSc$rI1 b%O`SERQ ?REo3WPj[! r=l!I rES~|j\/͂ _ʛ]Cr>wXPE<&[>q-|nF>6ntL-(K (ۥk(R(3'r?M˫Zf#u8#Jc[S.I149}vngy ]n6w{Ry{< mtmKy$cOF)Ip*X`-:Fn]2SQkLhE~ oCz4$~I~^{"tY,Kıd_X4 +p}q|NUGpŤ@fo>qVS}z_A)/ǁ9if [ f`HpR' _I !LBpK9jyZkH=+Kvh¼nI$_"cRAG C b ndL4\[Y~66rIC`n os]=g޲j6.W[X+ZΕ:Zl>L6q 8{ǍXyтC"-EQ\X|јʠCQSYS<*^9Õ/fYȐBts4ihZx6)̢;on 1'VX{.U[Cd;wvaHakul{E=򶏶'풶1(id,-ߕMј=0W-p 1׏2"  ñCVK+"CEo@,UrP@7_oZT}:EE`۸1_ސJH$ʍ[WEK⪼5MbqJUYwܬ{_Cɯ&9HεƜoD7ҦbFhTJҠoQAJI>9"Ћ#d-+BDŭu@e*,pu(bRRWz|`t6~=B;\;.l0o[X( w$<fI&Cd<%QX IزVHMZb,b%7Hg87i |cuĽIhSLLr{AS+|!T\*Ҧ9^Zf3GCʚoB2%7y+ekmM%r3<J5J(B {Kn]gƇjN.t_ĐAfb7┑2ҏ/f =gXۖM&k!]' ;p`Cx #ۖ6fO x$Q2' Z [{çPN<7ԼP]ٵ׾c܄y 2![_I]FߤvH'dN0y7C`huPF@Y-(j׽;.:?>\Rţ4p%!ߕ 9RI"a~fe'a %|ttR@/_1ۂĚ(k< K7у˫m7VO1@tiMP|>BF伟;qJxBm-W^Hډ!N7YP2sy?R$I,nQ_SoM=*1 h'?췷$pn=#dIi$xR ZɊrnBZwlt ^BX(+D:F5$-Ia{̛56hJ*l^*|T2P›5o| lgWdm>MW5zxlNZ&`ڼ|dxy_1K+7=l^"TԎr,rIa<*A+4BhӞY1CHD Rhl`@&KO^"wJXYX#n$ӛ^F ]''0mb暎NaB'Xޗ2j+:_Ϗ)QÀumTFk$V Qh&9~]p:d0*V1g/yXҰ3%oKXnO"|//rbtj#G Gy72V~UV:V/+;Ǜͽky~XWS'b>j?5%" vHYU@| \@K3tL/z_2k7pբ[,5Ⳓtu!zi&%`Ŵmɍc;]9lVFjAsp:Ik㼽Q&gx2< L,W尡mJ J͜GJј*L[Q #%xP=5E Zr!9a  fwPK9P{zM, "R'dgQHefUI6&fن`ą-#U|;ѮQ(Ղ*to ۸<2 +#w@ϜάtX7j*E$`V6bgykPPp~pumCeS66pĔ e @q4<}heT7WG8mfBtu#O%CPQ7'ާ:cj`XُiG8qQbB}%IΫsꇫep@DISoO) _0ZeRREtGNrʉjOn-!ٰ=AF嚡Px!׌ʶHv7}>XꬕE5~0`lCN:4d EqcSMnl;2\?vJ+ktx?#r' ^ӯ4 q6idrbgmQhˌE{ϧ#օ@V7,sش6g?Iuj3/CIFlF%q1xFY.M{[(!EV&"WXtMY1GoDe5*t'_>ǯ:* YuCޔWR!Hm@׽pOЙ& `i8,Aq9wu_M0!W +~OC50ד$Պ>A1[s#72lkJGyX/52]yk-Yy^^vԇEXe%|z'r-NϡLJ6&0`eV_tC嬊[^* |-BwXd?>Iq6 M\,lm7w}V)._% 9cX svJ;Ue]QwG2kϋ-$Y<H}KbP!֬\LlO)My7SᅷEUv QEaHU_守KP8 (+#$_DNa#q$rtЬϱ8-̎vfe*6 H{ฉK6zu`k躞δt?m^ymR_I>R$anG_[d\(?w*`LT!Anv1InU7 aYM;T71{Q#E, oK8-ष3aϋ'UCNȵW($ {u|Jۻ{) }6+d'Y!# rUoM_&ЭiziO šQ9(T_f)8Ol*l/ۄ3|G7BnXI; h3±*;HG_Yg*Dy"SBvb}ȩga;"-Ҽz"i$w3\*ZAw%>D f3BDJU(/vˆgz?{[iiVla4M !@wLx>rR\(>E{hGv*s`ԏ®u+N|F ŴL{'Ce$VVv, +@#<,f,,[q}Cl{0Rܞ&9 Gc4Lܖu.ӭiSݶJFТeT VJP,(JQp8t:VҹyWkѶҀ AC'^8^aM# Z@Oql3b@l!w. Oʌ%Ǣt&F0%^,bd,d]XX<`"B%O1/=DȎ*tl떮Πˉ/hB>ա}xDec~k,rPK S$P@^Eo Gm7:Tv:7~j,Њ[EMFHt27 7N Z 3 +{9ZlG-[s<D Zk}gYZ  |s 3# HOLCFHOLCF.RepresentablePIDE/markup7zXZִF! Y] !M젗OFK? Oȫ5f z֖QV >݃SE ٪. a(BǓҽC-}|@B fl7x^ ƫZC^koy4}$ZC"$-.rx7F_0EQerՈc4:'= `Ksv aRJcX̒Q2zirUq~PJ+e! n;;}UvcXݟp( jd/ |m1B1_)~t`]|\@cgϾG^('n044-5*1`zr$g?=bW?)uJŝ춤#N. 6rh*,>&,l˲>|/:uA#G&x#-/&@wo6v?4 1[ o> ac_Xe;}3t g^R@#)YӘ5QvR>5Y$au.*ר:=+Jtn{T:F2c؟;!:?Q`BoϦ*i[LO? omrNIUJv@>Q`FաYuLѹ~կxOLDܻ2[[͸ˮ>^n}_~+tAM^^vbgW*m'-x?\o)%fF!ejWεF{I p\?@x"=Xʉ‚AUh<<ݻă /Xұ@b7QL]+K(C !Ez3-i殩eܖ9vL'^@7޻ȉN'>t6uWI& ̩vϰӘ9$pv+{IeI+6@ !Ձ6\O?Eu%QÞ V{+r;0IYzAmT1ڛoϥnD\Sa{v ^^ZWe+sVQx PQ^zyz .'{0gugi䲯OL˨8{I@3ȍ 3I#.YnuFK iEAsؑBk-/V5vn?A{A% ?*7̦@7K2@Ρo@)#v}L).8ARq9)o'pS|߲ YZ HgYZ^%wFQ05#E07 !VebIVNE:ǂ#=SA ~ ֝?C3C\ aH,_ԁ"Z\I+^^[v0:A7Lp"H}N+CexF=E˼B\0/oc2$xΏÐwYoLSrN{Ot" _M vF)Y&Z=GA܊pl1M#*+s+`1}2oV $־N{Zcj9BBC̹l=AjљOIEC.^B6 sy_e[S ){6`L8t+XgY5>'efߚ g*v.w"/tv[\m&ʱmb qG?{ߟU- ։l*Zm^`|g'HCmUV3ЋiymoQcWsAɚ RLUt7cb*VKJNI|F!R1'w])>`,rsiղ̣p t٦Y-cZ2l4ڮ(F?#?>޴ ǴD:(ϊ$QbfYR2]xܜ{!KPL!V`9M&}!žccq}׍נ6r쌽nȤq+-rk2!UdEm3[|7?,16?qSo<ڴʖ_ԩepԪ,Xϑ)KW!%{%'}ʪ԰;P.J> o9!GXy*:J꭭Pt熰]L'zEKǍg\{n~tr^LXh6b#xT6I N2\iCeY>! xwmDi k =&kZp,QrbeEšts9(GXvjJo4ɟ%\u qo"Y湪ZHċ} X6kA)@l%Yd6w&v\ e%:&\h' Fi %kgPw#*8]Kl_Ԟ'n`ٮя:3!2"`ߤ` nղt GI!,jE-lv 9`5C5$R~OmԞe(^\h]?zat\cn M5a>ug:GOދjCA*֧lb;V×o$5z$oc (;Gh]9-%tbSz 7Df Fـ7Ƀ9Z AD-=IWƻ`ll>&KK$њ1 A@2* ]v tDq04A2Obn@\xq]ӰHFT^ۥm7f02sN+TJʨiNYJE핿8 e}uuaE& sqܩbu,cr':l62Ln'};w8RVt2%dB|FZcc!fqs%{+yr_Q,ܱ@cTkM2x.j<yw0r],. ėہƮHlJ]xr~LBG}gkD(6-ՊŸ/~S^ MNg+%)FjQ4EFcُ <#ᗺ@2³P0e {AD@Ek5ҎwUG9F]#/13}0#i܆+i?L~m,Tv[qOHx_a./D+=D/U># eJ M qlR}F!zt#oe1Aʬu hn~ULk 1\]?9&ՖMbn-)X!<2Q{LršW|kx1 Z3$}+};_CrRJb%x p҈rjn\MJW?6˧[)-,gsʠ+r S@9:GR]g*Gm!}`Jˑ8Yo`ʰ!#~p}M"DS$qQZMd>4u 4zz3aAz'7P4rZ B:Φln=ɗSڸU)ZVD8RXMm\eи@9o2JV2eJ>!s1DU 6 4ϣ RK0qrq3ѕ>kX'ZXV%_Ww v^Gvb~ HPa^+0|o#&~,e!Ka?Z+t A~)_G큅&i/Q#9gcޥÒOE86oyCaHoWWf1)p&2w#xc{ׁ=ǩJ65 @[W5>("^65 ԙrZnXchm*,+rG`e Ҡ}fZhAԛ3g~pڕ-Al* \oomc $hF^Rlv+iN0""Aa6J'QoPrL6qY3x Mpr? s ʫ*J'-${7XK/*(Eskإ`RWƗOe|پh*bymtJͧLcGoJݽE+fu~3kQTMm`wʏ9&d=qBGJhZ9|pG/Άou-2Tk+Lt. s& :A]qv,N[0.-t^p*q:O&^&X/f b {c#D k|AB"bQ~N72 Sz0>I V%b|wsZ%kn.ps]=Zt~.AW g*~ ]I@pM`-b]%+tHt,]pԉ͙MCqVQ.z}TB4U$k|ndӜ ]޸b;d\ 2@ 6VkA6.5A9KOc ZeEQ5ۧvh\)T7뼮!L 3YTDr#aa]z*}s,# 6mNJnU0QI}GPZ$>%{(KVbIji]zpT~֠5x5߇_k2S%32hhE&q`M_i'@_U>43 z`'- 6 bX2AΘkD<ய'΋fjx*7_2&7CB]^Ǡ>ij P8zsyJ,sFI;ZnǠlry-/{ N7'5Ӭ9+Rm|{gFe"9 |m8TWbgYZ mm -; 4HOLCFHOLCF.Completiondocument/Completion.tex7zXZִF! z]A-MՋhvG"uIBm5XJb~>IDsT()m(˝ֻW< (әkG4O 'FeP`ۈ-i)!h;ahnI [a*ȩm{%."†NO 1;Ħ3 #u5%z,ZľxٲǿYȸ5}=rz{[?P4WaC~-PR\i?ƠN}Iz^M뮾c E[ٹ;9o]|;6s2)D5Ӕ g\f@:_=|8ocW_.e#mC-_^%Y`P/ a&OČT,9=Z(EH- \d@9;uJB8T-jTG#1*e]kUЃ,PHDږs#_/_[qŧ ?9ك9?@nTCb9Y//hj$f`!G!U mG'nwܭ_*c^0|%J(-9ޔ#˝H ^έh@o4Dqq:d|ȪTG|a]oI1*v&F^rp݈N8S~NN5 Әɥ._q0Egv;K8lF>pqw8sA`aJQZo#겾'BJ:.t>;Z'$Cmnu%7 / p(o>5H[FX|qӸKͷ%o7Klk5PɳNpW("%H+N .K6E*HujL"DzbH52~p( ;dZhq5uZPRnSZ;7s1Ө'H~!j%L!rQѸ]Ȼޙf"Q#`[-涽5sw=)gQcj|t7bmJ5ɵ@# njdo?sd}c1=48j]n^(IkPjrhP&ꋛU\/u ?`!1_Rf=xb<]%di8M`o?/L'{GPY k]:4P::1Ҫnrp^pwƹhUѺd6\X˦^0+`8P;c;>;1g ؄ՔfK h On$^zb FuoMu$^Y¡6&h*oQA!K%=9\rb0aQcl}1&х+).KҜUؽ1ވ&:":5 Kpj4Kv6{bc^.4ճz>WC)H{h6Tl0GL'c-88ϡ`9.UN(%|>Z,i@CW,qv=4 CHQ˥ŵ7H"R{ݧi4BCzKZ 㙞|낊=B}sȿP5@eovj:,OEWTv;sSo,ç/j\:WL;b$"B^?K<D+BZ ]s,@? [ѳL[駱F嫜"Ǜ9x|[\YEBMWe*Yܴ#7t1J b 1Wјel%O$ oωq"=li[>?^ )fф{bH+D+gꤸ݅ +7}!Sږ [MqQZkTzkW*ոyNGf29.ȱPίj SqFC\ ?b;B7ϱ]h]] v\NHjK_!gbps>EJ^3g/?p>uoix%X;8 Ґ2gCΓu>}f%ou?]|#N2[.ˁخRʣK#mdnvL| )=FS[ćɃ^LoLU3c:雈]ƮpT[ ; yҥLœIǣ*=,rj״~QQWI)/-8ɔm4R6>G(j&>2XtIAZQq٢ \sX&w̜n&t?(`lG_ٯ3dW=Ñ8s=x*nXQrl,#Sn `:6J!#[s4{1n=1|gξZTD+%9ڬOvk rZx܊tHKт(,3$>/>%a?pտ;CI, ևG"~BV 7,N)mp|-)v, E@SGG Zd/JW4~UhIl/Vp,'͆HHgY>1扄J.)rD4!)n 븃_0z-&ՇԂ@$()WF%Kr?54siB{[KLCi%h1z;&4͞+q΋lL8.JR [fNϜΫKD>$8So5&$4eej8gU\!F!w&W (ǪB%=q"v1\Al1ٸ|)A8XyI؁ ?%(wy ݔ5ŔsSLV[ѱSSҭIvYZRtfP 6d,=b \tS)֛Uĭu)js}̆X' q_X7Te^t[ӷ~e% b;."1AqqR,0, ^B+$~ frPP#YI6/O?~~ʒ.@&$FIw1-Y_YؙhgpYT5'-1[g_0Sp=/Rr/zjM;Ygzn&Q9#iҪc'-+VS~(fwi!Q E s_-=V'XiBa0ew$1E~aIxRֱ뱃aNvϊ)'g$l]ے-MlKf9WMp홭.%ssR?.d 2V2%~)yWS?X]"{g$ }^pH!gp/)C N#iPCd:l8ؾ ]]E_ ,. E,Qd id8ɚjچ:A渟΍Mum Y$=cLC|u3gH<07FEw aHcBhRLnNY-I 7>p0ƩQ;%繠;!꾈 Y[/Ix! WJ/vy4Kmk VJX4{q)߸MZ:aVGxw)FZ3,lF9ʘ^?V[ g`g$@jI = Q=ژßl5&կy$v-/R-OɨVF ޚ/D|֏\ ;|_oHqәdr~(6t n@8> ?0%6'[#5>xv+ qU!)AUqzxᷙ3][T1g.!9(GY籠Q250ﻼ[@2:3p\:2Ël|#Z ߻1`Ǘ@YErmV x&wP"OY^e:{vMIP+yI 7L,}zOÛb)Dfd;oYywq :rM<: zav-Omu3YtsE&S^_B*k[%9 J0ĦR d07,iuM1ּzKC79V de5j[r2,MO;/t/ᶧ xKME:.AKK: \NVb @0d_\ifTW| Ti %fR4C6r=A 1K=$~E̔+yylN9%6Xd8 $񕰑Ԗ=@6L9 E#XYAR<*mhPv=+<@z է=?{Pla .%v$8 yg*ծZ%bƁ336s# {)旾0\ro0H3Vtڂ3@W,YtB\s_=KQj[h^S@nb#7'e4[uۚR:϶Mw(3\KNz8 i5q'k; =>u >gUrvs*41V퍱ơo}?F$۞p!*e}q n!!1"st>$_+J<鯾U.tQ/<;<8bd+J|Ô tfԭIrisΖ߭=q&; [(౯]8Ɯu"s C)/)CLzp. 7~Y 16BjMQ c4Řlz=rӐYxNm6ѡWTw]L麃Ufǚ~闉KP"vR53ccO3d(H\:SG=9A`bZl&xelk56 FBwej7O ;İ+b=%=0WN{Cj=Huq_ },bfڮ$@ =.FH/j`Eyq2Hdy<=:ثбgYZ oo '5 !bfJ['L׿@^{?.rk{[2Zn{ ۉ?(~_ H8҅ @pɓlX]sw8X}"OC Nh1*bp9= !;p)b&ܲ ~_SqzQ~ZI19k1 EeSJ2Vc',eVWs'|g}nVO3o^|y!Po6=BypCLGM00"2Lx@w~f?M2[\?tkqkd,AߴS0EIGb艱DdԅŸC$4~PxS-",y.[@l07 Zg4锉ҋ!wLjf 3p Iro?e½o5!/'"V gK*Lw< a5MD3!L,kpi/(T@xA{gۓm8%RV]1Z'j n&Dxؐ #&̑d>/544LDƶ+M$/o%2q:$7 ǵ'IB ~yk=-~=c0S^eG I=+ #c`VdZ8ZkkQBo@Z/)KRwvk=ǫ' G.DZqTs/{e>VK03S~gUZ64.%9W͹{qU=yzYh*}p=ziC)$ }+1NZCXZVԼ2K/ឹE"#z8뢇[;/JXžBo/:27e,)ŌE;"hV|.i#lO"U2^ӞY`6+]}D7dEbRvB~AR@vXGDZ4AiGxN`4yP+T',eѽ\Q?6[e]GŶ^HL6_(1RHtD5,X\2vYʩY.ݱFƮ\wvU-c˂,e3lXi&l VDz\[aag(,(j`+bR34'.wzJDoh0.gHjxnJaV_,/N~ڭ[mdsMM9VlSf" 0)e]&|^lqꉥvB7+Н"W= 9Cmj4͋a\h'GM?;[_~/,FʁNt$B>0bO/&F\<Ǥ%$bhxqT;# I A)6QoE9j9Hh~Ó@z\iql4Oq.3l=m Hš4mlG2@\?gNPh bf q QF#%_Jtad|^twEBwu@}2bcEK CJUY 4)i$izuǧR]5ȢM\q>9{~X8}v/p nڐ;.TQ.1aҔJvhWí hrNs@84K =~dy8i )֒:͎6ҹa^ɷ&wl4} 6 &`͚ނ :+auIq>|Ǩf(D*PO uyڳnYMg1e|s`h)ZnNu賑ڜѓ12>^&ߌ[쉈w% wTqWkRѪ)߲s4V!O}SE{7fvrJբ24MC+㲉x2q¤n3Yhٰ3&6>lcp;b(,l!40S)A~Q0-h'#`Sh97k= A>m!Z[L 5t'´)G$&RQ$U5[=+xvFBYPd=`̿IVrx,MgkěO ȳK!:7_}څg$(UfZU+`u=jƮKxh (Vko> 4-gُK&nM:zIh kG{qhȜ&@Fx羰0~\Tvܝ3x!(*ӡ)0Te `qtu^4Q*%n 6SY T5;dZbKǀJH8d迁i{8D2FW,l_6ca.Fݒ h#y׉:T(Ux4Afp%`lH]L!k45Ds`5Duv8Z3/tLn.͠C$#ެ~T[UU62֪ I[p|r㎃3Qq+?aqD"ռMǧ+#k"O(q' W^˷bPG\)OdYfiՆMm;~uWSRM{bɆ*܏:9-)LDSwPѼSg,]ŴzO]Fz< ܭɁe>B=ke_}x@* UfnѯMW|W8 $ D] ^;%xuȜ_Q ! | /=xqV) Hq8f7I5S4ǣbzʑ4FVbBmCߚ '}Mwp&Ծ@O|k4S z) tn脽~gB?E^Isڳ]F Q(K %0cwURKQw.d?޸Vs\rAWB^M/~=Il}#_?5 9|=HOHK6'6V@Dv:3 Nw]MvsδZIS+ƕю743B4?u/DSA%uBgس.".Mq8N+g)n237-.5=EX+ QlC(8&}5OFHĕT5+(l38E4 +g Moj;JN[Փx 1lۺK)$ɌvRS!]+pޠ`oM8f΃ű)\4?v]Xˊ^%y ;r9F~ felx>!e4o">= N+7qWmX*Eڕu9]y(Rm.vE=tUS@h1(<=Q#g_KA8{bp$D`udZGY$yjQ*YJW'|bUu˖ ׻FH.R ԕ#VY rB A*QjJZeikKxmt߫mQ$;H1@x= Cz hp9Jkq/NgDݏU#WſW/4S4W#^*8V\;nk'd954A_(+K"l6,D6d+%QT5}U/+i=?m{T=/gYZ &&=3' ,HOLCFHOLCF.Map_FunctionsPIDE/messages7zXZִF! ON]~ hk.<VAHgM@*$bOK[#'=a?UK#o-%r%w1:Sn/iU'U?cEB)i-hNlxt;w8l-z?3{ZrFBqi ֭Cފ+#Q/Z- ,9V}@亯=QTgŘESn  _wӟbr {Te\fkB;{74czy lTV`'?jvZsi!bb2/bzKL9U@,(J%|f{]av+^u6<[sPZ_愸Aoq7gYZ3# dHOLCFHOLCF.Map_FunctionsPIDE/markup7zXZִF! P5 ] !M젗OFK? Oȫ5xH_cwO,8`Zo2>"RyB{]X~J^f(˟=WD\;ؐ=V,>fj"8TXod캖JX ^S<˳UDz} L\keie5K@Ra#Q8,-fÉg`R K VB#cs /7 )2i~SLGT<,P3i)9}ZH0ZWdWO˜3}O~8lfq` ^݅4&Њmm\mfjK⠡xT gc"E׆K[۽~+ ZfW cO BU7/B3xBd^ XT-jiF%  u@αq@1&e\5N&poV;Ro^9i9F=H~A/ 臂FxeݨsՔt* !thRXQwzsg} ECdeÇ.އ8M%NxïAg~ yuC6O#6=Ou;͋8VN,WY5`OoOT Cf*u ~FKEXQaw=cqBO%eV8  B8d_q_۵{P}ʍ|@7Elj8/Pnh#RSEkp`# aYW,Sd5pD}o8~7F$G}0eR ]p9T X4ەPo21? ؝̷Ób,7"3&3_?S{u *Mޛ#{U \[/3r{ ^'h?DPwnH_MyFӌk4JnA|ݚoJM#v ً.!n7{5c>"0f[P+ si6j;*Tqya 9:`dYw.\@{)nŃ>p濤" \f1/V\Za%k\~.1i:_iB2KI$&̶1Q24[p xWwu K~4RFON7}oBtX/6pזn0$V[E6c:D ݃kyhiz1=m9"2#s0_"n6{5X=]0O ^^KL/{_j!W"f $W8-"N,.QeJ5\PѩD+IJzQ4ٓ:Z4fް?;"u7oü(شj2~ʺAOBBKf~ƫZX9EDJYݭ+p(7=jSܡ#}xq"*jV(!-8<vu{} !K< /\ t֎ F:q&&D sUNacN?7~=sFO }z5G<1P2`|&@3?-dO97^ pw,FQVL!5VQ2%W0M<&^ֽaF؍|74u^ ~8cFQ0,BWz?fR |Ka vhm.Msk f^Q"0W馋Bޚ M[o<%V)s'Nw2&2=(}V ]=uB;YS _Qn@@XE'\1 4u N!CGb =er{'(XsGWa6eK!$>*iןl.fA#S ?ȸM2̋$ޝ_~0r! ÝB<;oiߙd(o d_K'\Q5)r)JJ`q-HuW.W\LIFus[9tM"Vk)Ny7u%&pkwX]ۻ }Ms:SMAfdAN˥=-f8*e)F;qۓ)Ir"CGaR35~ԯݞ:&qQIe[;_QFW U%aA2 0/n]\Kwt)1Ev?S{zhj I]SduSe_V89K# Tnf;뷘L胤$Ev\½vn]o7@>+k\`Kg8GH ,g義RYxG<@\KiA=c(ۿ[c_$47Qiy@J `>$@8h}һT5OK%j|MT+{ /<Z -j%D@I #Nmj#t<7(j+٭F[BX2}R3SB!(_2C:{3`$ wr~KUN-Tgj< &-萱=ǂ┖/C74yO~yHտU4 W=5>8 KQoO؁+MQ|h@c+/:gG‘qOps`P\]V+ $rg5F%j[4jV)y* ڧn~PA ],~ibJh ( $ܠ3=6bCz/c `%>eT>pO*Z}UNix Ğimg<>ud i_9 ע-}qѯD C?S!W]S|zOOM\Xb)mㅢSd>#4yM4]:\µhNuR .& hI`ihA\}UڜgEBAL$X෩FciTmNe+wF:(ox9O(aR,݋9b@ "  KgXe9I I<'v O'Lq4.G\~sjF9{сMvó!+,lK=.7Ba!8l7x>?urQ(9D"S޴Ӎj<'[BzQݠr~/InoO~H8_Wvuuͻp*70PN3vن[mO|K#Yc-J"6> ѣ>WD ԫ5 O )ؤ#̄ǑfZs*P]URfݳjI3he *${XqjIDۍ)[ P[*?͘SVME7CAZ~,BK0\usLL HPV2bʹqk0e@.)7ܙg?7!ѺTBz ӸY^o_GR8\Zjp>DHp!gjbӮaVTi|>v,&ZKB_EA ,J3󽏛daRAι׊N4- `L yʸu ZؖQo yAc>5'1;)J:goD+KUQ b~vgWJO2F~9@*r9I DZq!osbi9KݱQQRohhJFpG^)18M6pw," U1k"H@ScM!uq\6Ox`xw ]8]~lGF!f AxkKwkҕ*.w'_|Ừ?=2w4/ui [ 6Mנap>wH]Q=r )DSTpjk Ia@֭  KtaoH>ϏJȀL3㉢W;iݰ EqJ{M\?M PI+!cS%IQ6_6RVDz~pƼsLti1M|/bgPjgOf\,ST1HO}ZtY3Rf |]`M+ K ҝU bi.+)ԛ?*nZ?.ҶU?UEŒZ%}#2`@7,=tN$Jc` zyQB46UP2$73cӫ%J0^իΈksy9a v`DaćBŷ}2NE.R2;j/aR;HաiY!ٯ&M+^V=/it$ ?2gYZ  o^+9 dHOLCFHOLCF.Deflationdocument/Deflation.tex7zXZִF! c]]A-MՋhvG"uIBm5ֈB.s9F~VWj +䛱m:N㚤_>'s9jU^Oʫj۳^,adF1Q=/2owV5J7guK}Jh<wtT?>Gq#F0aÊ1Cti^Ug,ƄI8 ,*4+eGB}Ea6z0 ` yH@>;^NV6:| UҲDMaL(ձYc[ @FeQocw[њw6Ls Ð#vHZTݜ(w<r[25,:&&0wnI]IBNoUD|Vi cp0sѩAE4cWl7BŘ@^V*عM,%D =+}nQ@:1#Ca&wm _4_"Iٚ"Y;4<>[oy #dO BS6L^M$|GZ,}:gQT8fZÿz>cؚAvh TUO#:[h*OWM,`g۽d#J%`xTt&)-/$t٥έ7Lu-g>6I:1As1oIoDP#pvbzÞr`g")D7Ԯ6wf;1{"QR]$Ϻɖ3ǫ# ˗ކeB{(ˊ>YZDTw6QPX~]⟾%J,c&T/aan}$G ï@i??A%oԩ3%p-Z4!scW{U։&FŅE:ኵJv|x'MGS]NFa4TBz ȴ#CrX)ga&Y#nΒz@a< ~lAjyƫIm+@|u"GO )CKB-]/qF+w7yG %VG |Z<;U4mœ8/n pf>(_tr/2gjVMxʼ/Vg-/ZSSQ£hPoѤ.? C5`+IT\x:ˀe1^au@t)=VT&ǢB,q]>':;)h٨((> Ox(tOٻ F :g;K8 f\X[=K6yƤ_}0!H}mM`AqMp*2,jJRö@3`+}:m 㱠)ƅe1?/ޜ?+vF@z}m9Xř_ֵ89nX5_s $Vgs 0pbK5vu[//]n>ksRJq19^_L gRG38l%1mv}XFry c^n]ψرG#e 3q#oB%ԛ0,i6=KX߬. +g")# LHOLCFHOLCF.ConvexPDPIDE/markup7zXZִF! ` ] !M젗OFK? Oȫ4#@ DJaSC=cGv2i"̱T?`n .b"*pIBm҄샑"Yz9=&BN?&+" vښp$D^#qmˌ@x\f}sFxCWY9 +\6uBu.Xw"'` WS)H{iI/FvHޞ#4l91a\Kԥp֛HcӤOuC!J`RXeɾQރ1߈O^rx)cHKL|X ~#v0\ sITzi %l-n BU{ `[!΄4*L ԉiE4LшM>/>DC ~ҡy \)#<1v'L V(R(F `U.?mZwj/v#~'ybM$DJR2#^\=Y/P|+xj| 9}-fg ] +_@Ju23NbM+VZYj&)-Htq YI.vFV.oqC^7)z5UT؁ч:ںAC`4y^V^D=EC)q)OZiPFJTMuw$ʫ!NKw.XZGTVw2Ra`Bh1S lNFhpC%YaBQ[*3]O1!?װۚ΅Nj`4_-Z!D|TWﴰqBjʆk3jsy;C.tv(VYP֘ײ;)pEx/V4O 'l\s!5N_h%n0gq8Ѓ +EGu6$2žɀT|yPEH46dgfjrx?9cpeþ蛁~dFt@r)\]iHDL8]?sL[^`>S<9:K":5´fWmQ yG=qBaWϦJh-NOUw|/CG3&WJx.ޯJBp_beN l]O3\剧P]5,_ӱ5Zw.$ӊ9*&0/lkrBZ6@a}m([Bާ*72TAY#GĞ[j8r4޸:uILmz2,~7# 窂K !3x%*>BM*9-z%MqQo|BA'0/JuR0Tr|O3KeC c) ]D>7T6T:qe{؀,;ԺA H:@UC cu)B.[lTQ "mxe=v7R RgBF'Ƿ_F"M>ޟrw|X+%QsLg;T}En"ȁOi4OViJߦҏYi7CA3+a~VNHm-#f3RN*Yxt0m?%N@[h4m91 ZK.d^L¿-/ԯYdxxVVܺ;]r]>l6} FqMfy$2;˹ v|°r< dP@/Fvִ/ ImI4XJ b /tLCF% 5Ѐ$L>E`!V܂i J8ӡ,o|~$J~s|q {v0pAk+ |^՝Ks.鈴l30*:zc󊍐!jxB(Os&C{JWc<:f':I(8e%JW\?49k1Q?.lZ}J fԟÓd!+K8Whw"9j]  ~t~^OJL SE^  fދa5M.o,Io% 3V#XP3++Lq%hHͷ2{pתFYܱ'^ amy+,@g0LO#}̆PBvxPp꾸{mШ@v4`_ԱW F; ĐCh6w7[ШK4Z0_֎_Dr` X R:Adl{J(zL9p:?2JF Kto|>]G*J\'80`C4$Gl7eaQ|gOւIMxrըH~OtPafk`f>AHOBi&$EuiD9=mE/u4 `Q\,T-z WX1LF >sb!3,i= yQsq ءP{+5/Ij#ft/8^WgC#>s@t̾,fcbkT)*t'ڍy{[yhM f)/!%1oK -D/ۖ{/er>WJ @wT& a&qQgcͯ9El/4%~.܏~MZcHRdL|e[9HGh>Q#g/u[rŝҷ Xu<*J Xݔ~ɬ.O @Y9*`U2B!Ȝ mx$fWh.+/ًGn됵-'U]Q ț >'Mhzok9r6^b?<~/dpP<@/O.ԋދfs @%k;B|=@ŤwkPxpB/F|wJxP F?2&5#gs8ѐ*k!o]G=ԃH(S6╠eKO%3[Q{\Uu!iE>V-i5!6{!Ӱ ]T9ҙ%zyœ4|7&%L G-8 (I~~/NZG9埀6vAr <6 Ɯ(ш 0hEr Vn^l=SMr{/֝N΢]r>{౐|QR)Lfq!a:dž~n O0Bඍb%8M"BvqҐe/-F1 F&*GcFQwܔa9"A <%*|H8M`ֹxWNpļN.ObٱST<\iZwbοnȮ~R;&Ckf.jL|v|5rgƀ%vɴc~}}\;KԤM?fZKkR- YMx4 fH6V;9ffڞ|X0`DJjrEӥl^}k*| 6֞ >m#P-n$WqAo] +~M>lj- }yϳmB"|fotini`Bh ;R#;woE涁&X{,Ь{Bvv&#ho[ 6Ұk#($)vYЋ2ҍ0N1@9 hfo^0DP p( j*7Ο( ,qXE|6wa|], (] kn)vya?Cֻzѷ2]9u3Ε/}koLgkC0djcY+^F P`4t,U` yCPV] E ~-u25}11C5֎3ꘐ=濄]ʶ .Yˈ.7$\ wI;DդZlS^f 9> [b-;H4>4:{ d3J[w;;2۵rp<{ǻ齣lNtր mB$:qtz[AT¿=˘y ! c{x@U]lt^&={[4<`UNj@9xlHl3e?ٛr=͈7IrN$h.`'Ii$F# ®Sm] nkècxs!#kUa!$5}Pzk= e 9!g1휎Rz*N)͖1PĴeExp%?qs-4-uFN":G v\j֮zQEN`oX77R-ͲA xJh77a$Rx>;&@L.'7 rrR''!NVd3X7K@1O˪t[a[*˭JHU_?'\To6~LԓԨ[V}s uݴ"bEzV]ӻvP}FuQɍ0G+<* Gj`[LĸNZ5Dk/FK@&Ti\wt;-x`KNdO+P9EFWDw Јq$-Ұh&ca7B#Ab`D2fG{$+Z0f$'}zrһ^p"84dLǀ_$/w?fMmPA9Gl}$PT5f!, MTvGX&?u}U[Ύ5CpNA .Ο{ Jvv_-]u1Y"(A4~1Y޼j~/5 x3 uÂ!GԨǓ/ Ťrodz)֠-Ne4n90ٛfK?/S֏%Nn,|O|k}w",M<N78v0UMM@>ʹ.j߻ w*(N+.L}P+>h~Xlj5]^>l 0eҵn6)Zv J܆Q!/.Efj|]a='cQY4xg2*^1NzO  1x%2u~9Bk8F<9((7!{EsM\Ue{IAݏ{N}_\ 8CK߅va>#@'V͈xᖩ >5eJw3G;|z:w4j;ؓ1nu!ҥ)wͼ|='o,%~]kM`0d~I}^V v1&sqlaZ_@noJ8J ɴPtVn~h6]a9_ؗ[Ǫ@ b9a-ZN Dz;ЙJ#,2?"@ p2Šy@ v>@ o&plQf1kcGؗo] .Bo]'ب;Mt w6j;Y*bJ#f.T.R m" c86H9R춂8|+S>&Cℇa>\3l۷|l2J+VC,=" ' m!X/B"&V/=c4=aSO;J'ʩR. arip˭DTy6ƻ &ѢWZ1Z&ɰgw\0Hdem(?4tМzJ"e? |ݤMaS'X .9UbnQc~4ymzxjt4,qIì(&)* 0j3ްGCCG. Z zwlX,߱gYZ  U$)' HOLCFHOLCF.ConvexPDPIDE/messages7zXZִF! <]D?7 {?:fH\¤O$iA##"r;XbG R(+\*Rpi:k7Uԇo56)KfƧ֓6S'N4((J$W {,}f< QW7r &5{N4)iwHn$6(7jEօriRw#T\?XֽX󇺱1SP Jˊ_:DPf1Q"XzMr;?/-Q_.+MRŜ 'Ag6í`xI|%& My(^Ÿp K֕z|$wi t|M*aoW%GH+2Jii'0/hn0$,Zfqe7YLGTT\wh6kuvYpL x*4= :ߖEF7FPڮ `]'pd^؛@ցpF$a 9uu&v-z+ǪQ2:!vgԬLH'īsV~SR>j42iDQP<l Je5Ѡ-dRr^Ҥ#ueP7&&GV-2|ΰI ZEbhl3,0ޛΗ*M$(("(X!"8Kv/Xq-wYq5Ual:.%KwB"Үf~yQ?p/ZQ\YP)c\O16/XRo n0M F*"Wi ;tCzxb)T=sn9C~,O 9ep?m;jjn1 C磟;;F+Xyjn/{N~9i푤7*+7d.Q^;,B.s2R{^s]R^modG ڨ!m2IBڟ/ 6Oiy6I:=r{f]M blVg|Z$%E W"#ɘ" ,h8x +d/H^<3ms'rX/5C6j,W t_>ꏓ5ݠ4Jˇb?%ւlHr`!f0MǺD suFz VX@? -A4♤X?0Bt(25!?-N_bx,c-xH5J,K5ŠC誒oKl}4.dq#*Iܗ pQ8m'-(ySf,6hCe.VJB[3۫9nXvΫXN2[m%uJubGMc|n43L)5D`ԕA` t6ʲ/hZJJ֐PVٚA]'1nX+`H|tWN{j+QztY2Is%lGV >>}n)FK ~/y4L< s_^1RF9dlQg CwV5]F0(Fp~VH9am!NQ#ux^4uNh~GQz0UHrJ`*ɯ+-{lO<\7ɆRjmdj =`]}x-+WdPw3w~2 !}]s L#|JKVj-Xh2ZZ@4R/@oêgswޱ !G9Ǹ QG*΍-g[Wh-e [J;z˽A)qk/~TNym`X *"ʖMxES[@RAR 36Ka/ڄ :Eۀ8$~&2zmm\f ZGX޳hMMTśbS;)sRDQњ +<v3m>CXp> ܮm!7@9ht9,|3xMmk䣌91MV#xw-WFrIKP[yAA j|!M LH/iu[PTf cit>zZ"xy&Ζ+$`V"1:%Q_{ж 7 >#|G&y}54/P|Vцhͪ-@ڣi4 ,<4d K|}XKjNwi#6bW* t$eOkGgST% +15@Ó:H1U#$‹Kׯ5G{~@|O x (&B8ZB89_PאPM?I_KPL-am,k/dnGPz@$pVSȖ[:_+j`oDKӢͺqTNbO<ֳ~7Ҩr]_vf2i$9iڍ>1P܃R)#ԞU% M8.睆#:}mV 貖%Lf .v{Z'DRp2#wm+yTU}]n ~*Гuc8)o|Ǎ@3+~֋ql's`enD<hS NѐB:Ṙ&Zv6R]TBI GT ʠ23Go1SCO|_#[5z 2{%-9},j sbT c)1^z^T4dX"<Өel큛=Ukοƻ@h/m 'V  kDn6{ovuM?RtkT=_lL\n 8!2?ڻx Zf I_Sµ)Ցw|_f 9ۙ/b[dЈSl'eXfֿAt&oDZZ)1{+킅d*{!8 6uzXf/7 L/Wna|׹\l@KH|Jըzh^F8w(' h4S;,sVɉ&Jo΄b)8l̄ѿ=/JN2ԿOH dn,f?-!,RpOZyV\:@w`Ce ӛ]6昉Em+xݑ-j֬R0Vߏ%[LѴZ @j@EQ49%#kF Xԇq z^XzVH1kgD9Z/}J&",ðJUJ5=;=ܞ%zY+e[Ξ$ξC2j@l``/IZ~đ`.yr{NX8 c!/@=?e3[[e0=P0?徧(z!VIY-#v2z$9]4[#e˳yQSŹ/'&ҏ%T(n0hlpҷPȁWt)0ڃ&zz{Lζ`(!,rيK&P?pګXYx9!5dҐ$ڱV+ p(j/]}L @ėr ٮ3%מ@d֎@]~* S9gYZ `-# |HOLCFHOLCF.CompletionPIDE/markup7zXZִF! >u] !M젗OFK? Oȫ4#8S=ʩ\4n?zXArDΦ5|̉e3Q[*σO'(WH;zèK4xp&$NtdIe4"D"WX:;n$~b0 78f5~@?5Ա~]oG109h;01VZGi:䴀eT1pKq L*G=!1|ۓ`(huk$k!s(v,#J5 =7XZ`+cm.0QϧDe$h9fbw9C>j HbeZDS V,D7 @ /[N@?K6IIqа,zf ' Ԃtu6jgǟ%_fU͌36o&Q,s3gzlp\BЩy'XopQͨ4$B4<3/-~2Uʸ B {V,@װDzDBwŽ 1%s2ſ<MRz g8D$J>j]5O.[5\BB#Cm_%|)@b \O(%?Y?"upIA 8*+;r0:ݷkf QoGҪ-߾ˮ8֣Z7˧a}-a $X}x?sYI fq$`Z}CLU=AoTFT\ x{EapYp//̼*qZJ &4gI{3h#!' XSC7ILUE{Wd|J8{ORLjBYTm1sBls10Ըx*'$_GL+&hE;P[gxQ >,:L=5Vq(t O9RXgC\Z;]mcb$xow7YryvX N6aڳja&_ ;}!YplyO+S 'SN ?`c@l2@f#CmnB*{Z`ulҙu~{> 8:ޕpHN&Cy(LŽlE_r)*@-(PL|S@ެg V/ɢ/CD7~^ ^,[h tQ񸼓I6ek ,7\SxE9~ۘ?i˥ aW~RZ!LE5ĿhZJܢ`f\Rbl& C&ߐ ~ *~,z|{ *Œ(%ז`Zċ!5a=v#3S-9pi9YO_tv'CZU_ p23ߨkG&o69jF-ggu V!V/?p`+?(Qa^HU*gR vB7fHl\سyU*׭x,d:x1㭇,5o_<{NhA"k˺ XP*\8ʳZ;Dk9ASQJ`h|*!s0׋}H938_*cFuVobVb|%]'̠GTvuG®% H}=Z QZ,9_Saad'ֻ2b2p|U&%þ Ry<;juK\QR@-ԡ-CLl̇;/̇[] d%F@TYcAm xNX2^!Z|cOV <>B)+F6i.atg񽳻g<:7b?= *GIwМ?{3\V0ICVTRAGD?SX:U81q-% `V[} 3,<|xŒZ<2< %WGf`iEzәoXJd`i]<2݉oюMxd5Dx]μ:K9YP0,5t" V\f4} h9HGIa`f7*rBZPv25!Lm"SͻRVrň1a͔mv! qy)h%ޗuʋ\!{myދSX5~6IŪ?޵߆2Ef6M8!N1Nz2C6"gcq*@ a40[?Jv,}Qk(,[*Ym3=B RS$Vhр":ঁijN Reat+˼qJ+*cpRy fDo;a@Q+ʟZvMYuς:&8/S=y{䥸3*Й[و|ȩcK!(ݦ0d). Y-C(GS$އ( Kz9/H5fGyXhۻ@N3)cIZF ]QKJkE'Z Wǖw:mݍx`Ӹ;65 W7t*~.t**gÍlgfa~]9 s~ćqnF 7Vojvn(6pMx)Uw_@ww#!a9vW-Y'ĚD0}hkp%ڧ#hEeGDEGH{7ۙZ*Νn9"AE!筡M˵% {LrK }ZpO% K|bd#e7T2~884˃ &0o G0mbv3wU`ݏK}zƒ dv9V-aޥt $g~D 9Pm@E('v D0)"Ȕ2ĕ0QKvKdɈU7 Bb{jbzwQXOɥл-_vOtBjAt|$s)c2EM-uԀibQBcn=-"Ln@ 3knňXNu^G{[mXJǃDIy,2qCTK\pYAF&}ɽ} 񷪞Ԉ@*Zq$2Zo]x(ē|hz4BXhE7Na'B?'I,^Ln fp! àzu33Y9!p65'Z_z4S- & 0+woz%̀ acĬ5ei] W~0(öM~ H>"(9NĦdt8up֓`Bb3}3IR~؟JV9L{% StB©yf~폴u GXH$]4xj@=I'SX4nW<:$ a3tMӆzJ[r^StCjWI d MMG*Mo1'KQ%Ưl&,g+_j?JwOon)1%z\^.<. ĥiL?Smu Lkpu7q4UEWyJ>dM ?/s9HF!Fϼ| jکOV_qCǯ:j-E}snJ]AIJ ;^Br|=5%a>نMm 83,I%@L4 UT28? t>XJjI0똗( >D0f;5U4KIWzbYKhȩؠ}ض2/5AFc {]z}P\FgYZ#4U_Żl2*E ggh7d^Eώ{dtI;*jZ]%St^;DI$>>;oOrPog"S;9@g~O~FuD2Ec;Èw֤ۨL N?07me8QVͥ_&#ujx j`xa4 v[՘uM~PZm^Yo%=iU?7S']l%\jJ?-/ǫ^C ЇJ˨bܓ{& qlJĽ~E과x~6l\!tD;D,!KRx= >edu<3!;>bme() GcOhkAԵPzl6UDӗQ%gS:7uWC Cokd瞚gaƷI_@ &EjkAt\y Kn4ty6{}[x'b +L1MB ׷_1 R$s"@l*0aPGD+Ej7 l C1pewBgTÈlO=3/Xpb$s!tOSįm/<\NJ q@ndִ{ }e皜ؠ,+H} ꄦ!d/nC$u&2SUjg`Ys*B=Q3DX+ݖ7Dmj6$¢v y \)ǓʱcS2F!nƨn\?{F@|#eT<`.T9wY}BP 0Я.FP(HKU@546h\ΏWfZGQ"=<GʟXiA̘Lx)T'Is,$ZWUvPѢ埑VrŌv(]}R™NܥW;#3ζ:@eU8 "{q!uޮtcS ^IDCt y ۞jg4KM'|ƛpKggL " \CIźEYcnqJ^Õ gDjz7?ApU-ZnQdoi+ƄL1,ރ'[4ǻ]: /`YxcЩoOE;V\h~(G#N?!͈, x#nT\ػ'>$4~J; @/xXyX;vty~M$i$Mh}r: "W@ F8 rIVOuWh^ (i/ Mfۦ6Ir_lRpZYz,&زT%2 iU|JnR ,d,ԫ7"^gtuW\Q%#7Lt">I+Hmc~&cI\I[Ǿ/I}49.2z``X-AA" SB @3sm"DtqaˉFՀ}{#-*{ Z@d4԰O^a+s)>.%'LN䣈ngdר͈ΤTˍqr?ĢI5wt~_ BkRȚsT`l}NBNQeoCu hXQ6$¦^(L>~S1s1͍e2 8צl}̉7 U`}~o&/qq ]Tr zEe'| -ogak0n"4jlju7tN$( I\}'MTrq[ĝwiWv3HRzRADb[..I tWdeȣT[ Łlx@c0޿R:_S 6 w"\?v,*3^ۘ+%rx ~G&d4sW5NMߎW?@@ ,tTU:pS" 9M:d_ cZ)aEg7Hߎ3<ՖʫCSj?pƻo sI%3{.i,*_DLH=/LfHzA"N>HIz`Ea/ q*C- dڕzz4Efrp2v=dX6rMR_>,>cod!{g 3_= dS}G>0Y L2{=2^ e&] z @WD$J 5s6 {^y4h 1I&T":%__)=-(d|N՞>ݕ<5-lRP MDPS#&^p2\?ASȧBv*"ǎ8uaQպ;.I1f4Rl8JnX[? n8c @v ?aׂlˆ ͍DoE}=8̀Z!(oK\1{ @Z'i,>)NZyRVKug)5"GgG<%mzpEܐnc}sRp<^|Y Z+FØ^E޼ՀSR C9j;U>}$}$k{~Mu)ʏ:K?Mi=@)=uW]$g{b=3vzRxqC:z 56ˍqk嶁=0KjOiMgp6:(!7-Ojj[fYbM<Gt(rGR4eАH0xNvyQKWu;Kj t=Ov`6֓w6W>;b]QrxW(A[|%M_lc-']N(0%P]f亚ML8nm=8qa82 fi`&ў\^Ef$ɐ0|"r;t˖h'F3%N@)M'QQEf"v89&M[PD jY2|aNylmq*\ؑ]dfB "!ߔBi[X{Fǣ&8tAr0Yj <.laBc{MMX>a=4!}34\$ʈ# L1XHRg]3aV FV{Q6@:$d]4%xȋFߙ"U([E \Fv'44 ԘL8'}M=$}RT+cu*?+6z'j2CgBPK兖=TFG?4)aNoC_5(eEdޝܢMsH>6MpWcs?鯮MiZZl Aܢ^-3hv_ /@>JNS"3 66HXz`ȠI=+pgYZT?A 4HOLCFHOL-Library.Nat_Bijectiondocument/Nat_Bijection.tex7zXZִF! k"]A-MՋhvG"uIBm5ı^gi,f;mƋ52b"zq~1kI-j.{;$OP4ݱG)+b>o]9g3##8K@&r:8oz qN$ΒI,\17;aUC}utsp㵁7*% E+üum|LF΅Sp̩2NɉS ?mt> ;mZ9Tԗ 4_$h*O99.%ڰB A")ʫN{E=YI  S\wϗly:sq F! C2Xc{F[_c%^ͧ~YBZdE3\5<_s ǠxQ5񹋌zCWc=Rҷt@1y@+O 'fL]-QIA^# w!2Qxh șF/bnATrhdsrd{2'Ml4~ImѬOIsPzѿʜm /zՂ(@2USP CF3;d_QcqbB4VKn*?<:\ixZswlNVT/$t~7U?Ce2;_C7A?=o]E֨[wb zfE^69 jn7؞xS3a^|eݭ!c]Jh:Xo(^8:a+z(YnȅkWMґX`O. Ы+h^dOQPpu+) mDtisU| kX۾hoJ4dIدR{Y'݆ %Mh=szH3J.(8aRK!Z\Y;?rs9΀l=r-5'}%xn-ܹ=rpm:W5=uƔ@#x Ii#:ʌHuxq%PU"ӏ@m^cDgw.5ȉϝ44I I427-Ȳt-&ҏ v5?.p8tC9l[#\οQIOfݯ ^QP7>(ekA`jÌ_`ŖelK ̊8Ǐl)k,JX(+zk4I9S0uHܨUxg} % b nIp[wm!J+5k7-&O{E$ǟa- (dYic rQŠy\Ξ g9^]Te2f7[RFM_E+hEv?rlYũs ѳ_ջlDŽ}'li |W|քKW,9a sdf+gT$Tَt˩ޅ$qSmk^'鵝emv2H{3嵵I(lgkGN,jKdi[! i1<[2bdq-V&y[#NEMfus%y-5B] .#gj%1K]j&(+T)*\XϞH-Cq>‰]ldQ;%:fa>IƛOA?o3%1m*Xx/WX]KŪЃ%X9G@=#"^yq̬.eA~NRǮo-e1` $:QDNPϫ6PFXkes4lQ$$ ii(ͪBg!J߫ ՟$umo?8N͒V'll(s'츣FNvjCeֽ*ˀ1@ <]bPe9%LLK.9 a$3>)hNɂY y Bk>ɑ߲B˶uu'VB1hǣߐ4-{R-3*T%~)$R7^mNJ O4(1>4 -:ژ)䩬ef[AȁuP؍H"v4%8SڑǿsA\JzS2Ef/,8)W]bQi>)yB6I]v9C*נ%[(Ҡɭfk_@ fnvBڅhv ͎e7b@SC23 {[㓜x}D/ҍ鰸@RzMq4f8Syk&Ͼ*8@%|ʛwj B?S`G95"ߌQuޯ &7,`;s.@DR'lT]+2. Ҍp?0V ^j#beX4Qt32촴S 2p<#_aP43(C*2ha"׌mC׺ɐcz5<9l^6< iC9SЧ^ut! DY6g?_?4yhz4 @լAs0"4X5=KSk`Sp]9z-&Y,7temnYn0c&Y'E0*pYE`o:3Z.ipwyx*FtطpZ_Vm1JlK(GÁ2kDV=+GbBeZHf]Liʒ^)lCGCd(׸+|wqsيuKmvnNCT2D(݈3H=|Itɖ(&2^P#c בn3%̖:"mw40;$GZINa/^WՍ_QI6]ڟ;^^gKIGt>~b2]آJ~&lho>5j&p9rǝ$m%^0e@akQ:^pL`suĤt]Bd}Pqj ZVw\eXl ujtjfOaf(Rz(} cx ċ0uWZ%`ى&]ec}e-g(M9M5έ^soC~9Eu5ڤߦKMmyCxÉ"K٬wA= -m׳[ F V k2f9@=aHwLjLߟ13!C;u6i4[EgKn2Ʊ<ǢShY%]leEbwA{ E+pR8l2=+ăz{mdFմ1ϯ1ay=vW1p7 nH8 F)&C_a n{sۥ[(g=ݪpx傔TjS]ʪU[6ţ$22E&=sJ|rFU~xw (xwQvaq NeW8cB vn*$ DW20Z^M8ZTkWbDq]2mE qr|t:(CHB FWiAHꄏ0m 򡌶ujRO]OX\R:1 8y?| ש4wkf|VO^"n Ӂ`7%rԙp2ZTRBS_TC22N-d?B`O`!Z͋$io/;QH?1D+>i-aAOøRX S'HyI:ݜe1aozӱ 6DH{ZWVmSzwM ARݪX"BbSh\'<ГSElJ]AJ 뭶Et:'gM|;[O.)@1"q 7~EkjlB&cpޭw]m#"b)r g&oiGԂfgYZml3BfFta.~5i> p CI7,b HCMu'uO:6У\Dg]\׏VH+՘gi*FC7a QC, \ghu=T~nȨ(Fã+۬4]8 k~Â+ttUެd{Jnǒbp0^bm$KpFF.A^b ;(b͌3Fz 5=.~F$lUCivū9c 1lɽth>a; 3<<#mb.|1A\"VsUGL[49QF?\.e ʎ߶|!DCPۧ޹8&ޏoἀ<O z-*<7uo1D/\M'"Ƀ"Z|y.ԅ  ӒtLO,Zkp01⛙$JT'I83KulpeXxNӅ9gMy Q<6/<ݬ;H>u>i[ Da9`a Ϣm!Wh#SR~ރhAI/EK{7H&j8;qy r+Apb*u{*yQ%Jf &vnSeOD##wZ)}[&/h*Cڡy ٶ,yMlK-seڞ"}i_tpSK,oU|fXܰ*c)e0IpQd.-pH2}1kYVECInEax'RUv#aO8:&1e\z t3Ko1 +xL5V|B.Z4y1ZшQ+ kid ~I{z1k'I2CئwՏ~" tRrQk%wM"c(Ȭ!͑1=It,udKe TauvtqKc=zp]F>)p5E<"h Dͺ}"[sPt v.nvzQ|R@v`1t/jr!%tDfIC8x.I\Ew2,;)T8O_``OwgֆpNn= l^ y;<:0 V[f&#*qf j#<'НFV#Բt~Qe}g޵,a!'biSlJ݄8rV4 +)XL~G&ه lsPdދR*%֧@n*=91{ ?L"=|{%LœI!xٙڌ&$7K Nq%q6FOՆ9癶E9нr=:\9ogYq%N8mƯޮݏqL"Rk} '7GI4&4 Tg 3Oǣk'pRZ4IB60s=YWG%@?z}gzhn+8W{ /nx='?oE?aTiOypF.r&1$C&@HOI@%7%{2\]EIgDr_ue-+f:3=Ǘ &z-̬ =հ͔Aƃ['m9g;o%u1e#ܐN Tp/☎dZ4/^EcVNZ .CQB/$eȱdYgr M,%sAmjPa/猬-?%)\w([|͖G4Tr>ʍKE`DW7 ɬ{ XZONJϡRy҉jUZPS[J./K/C$2٘IC!A6H>|&xYmv5Le$$-> SRp7Eng %wCIX'X~bn(]U3JDw(xtt L(9o.ԓ|I+3j XjGlf]H9G>v!?RX6VUQA}G{4ܪF-"b^^bQ}w-Rowld']nlDf7S_3CF5%M7^*M4(i%6NõKX+3>4Kí<"P®rvOQ~ s-&mml/pTy5L6bl $u,Q0":܍mٯ͋sʏk NJJ=DN-#d4%*|+nV%k&ۺ$ei>TWYMxp e#96E{TkȲk޾,N[ػ*rGy<w'j RN3au?c˩]_cz#B]~H%(n>3I]`;hgb⢺TSꍣQ&`vM$cX?<uĥ"KX[B [It ʦY6ãcɛ oA%J&LXfIfCiDd(H!\J˨:#L8:H@m?% GjSo@;^=kG! 37cݤl/3Hl%Vgp|=Ai9x;17 =F)H<3^uOZ篨▥ALlu)?1-\y+jqIN'%& 1w32Rӯ5{HGDM'&x]l.)RV?&58KQ҂"[CxCDFSOw+Ltt3wiH2aࣃlo0! KK`Oҕ 6&,^\dY)_EdӘc<\ \bzLo@﬊@ZBGYƀ31PGEq4-R8H%6:Kkfُ/%yJ>bSx/pb%ɣPJ4\d 7;p.2sVƏ]#˦Ubld*Qnw1'O, ]9">`.oۑNc.m-= }Lu-cW`Qj#Z>kctqR[/A?ousBS^T84]`t67%r`</h/fEe!~3 sWɩDwQ@'u;aZQ8|~ͤ2m$A` z _D[UT^ 4u L,] GUQǠH"[z~cZUs2B8K 'T"T,W;$/^KVdK&=d>PeJ;'ZˡnR1jYX͠~KYS"QUAH p>]gݴYєyZ{Ӧ`o_(< @kU6>?8Н،{=li]@$yZl9pQ\"OSp`w_,pM+ q !/ HOLCFHOLCF.Cfundocument/Cfun.tex7zXZִF! O!]A-MՋhvG"uIBm5 _b(WaRW*vj=f` ߲a7h2BeV:r)/(6+)o(tk'X}O`Q#ڊ2y: .;OCx-g~yr0ҰSLJX:qw+݋t_mp i#줝\b󐗃k:B]tŔ)8HK22L(1jR_z)bZ%Dh]b|k >o7+ͫYiܕx4 hWn6GM Q7 pʷQنm0YUL{yοZ,:6뢥HxؾzKjr!~ +6dًB\: W.+# lHOLCFHOLCF.DeflationPIDE/markup7zXZִF! 7 ] !M젗OFK? Oȫ4pfpdʘ%;y _ 8[ן{rn2&̵2r7K oKsY ^U >wV|6HdB&ש)2jRv1?6Rب&thL Y3& Hd6 5+`q3-ITfn<_s"PΏQ3S\+/5eמK~u/Kz@.x9͚Nɔ^Gf%fBGL$6\Q,w!E8)c$FZ?Hew=J=u<_`c*j ƅTuTxnZ(/f2ͮMkr[,F_σy)tdb=̗:  MrK&\qXIYN}:[XnQBu[m{XJ~H)hgá{=ZzTXÂkVE*/ERC{(!l(ʨ *BCjV}3@I Y!cP`6JztpAԛGY 2x7/8i&1=`5X 1;6FMdCSFQ2_H 'Jz4m ku dNˢ-s٥1f,H.76Ӷ4Z)=򓫉R&r,t#xЧ|"`:BIC!4.em/Muh a/R(+ҝOƁ#= ýwȥ`xZh Oez@?9O-iAnűڇ+2U,#E?ݤh̉6=wA=,i6} ߗ.ʟ y|ͯi֣ZT}y <߳rL8Yk%VMfFudi9N8ɤhd): ^\jeך @P %aM)N "0z`ȉ4Lm˦0kɷ}ްăO*>׷60 m&/-4nJ߮F⹻p,c3I> +Eł9lonTg*Paiݓ5i%[uчpVJGyn(hvy31"V>ax9y%ܮ!TW9%4R]$#}Mx+:o<E0㢒|BKp3EZ4:.y\" oQuFU8#3$8 …ڸ)|}~c>Uv9DzG'*[JZX݃xyTߣ5H-,IJKso'+IbYf5zf?K]:ڀ}VJ,mv=I_7`C*5()5}ACʌ2Odzm'HFZ.B$'Jo(#ɏO^h(d)VAJDWDХaRd>+{^АOD(`B\A^<@&Ye/Ī{A;&lNUKQnqLCv9{c8oi(3uj>6)Fל 6k썁s۠PL5@ܗ1oRLe) ^+/P9c|2OXC7υԮڃÔaH%PF/dy_Ҽ2,Ԕh! #{A eߨDZuAy<|aIUPj 7oL RLX礔oaˢo+!Q!s=X{Jۛ_ 4ĉl*Sn~3.yk˦3ɒO{:Wyqӈh3 ӺaH~<8$/jx>L SOgK@K}$E+Y:e2C0+5!WMA:jLNNʦ:V^4Sp~yYe%‚Ś3]=+:BߴfU JNK^u2&UcaNSj^*#.Q"zՄ5Yj2~,XvyBWN`qc0KĕDžQ5!mM\ d֘B rsyA2R~PbGU?(|upQ-w ߹I@σh=B#VʻU??:S@ln<iByW:ie>D=r౻Lޕ.`bnS 9 :y+-,$ts7-fjVV9%Hㅑm2TF7/i3Zn_-o3?=$D(I^0yy3׊lS(kd17y9JYºLh'؏b%mNz~֚M#L I8:/gfo.h*Yg]E`C%zۚގV쥋sK{b FU ?S7=M6S;umlpL/H!cFDGj"LΆ*Ґ_9єS=;ʫ w+*RtG[D) J)ktJr-T-L<(8]mPJ?6eM-=y{!̜cbhG gO+N W.%n?gO4MYg;\O#ᦦPs^^J1*55*ZRKtdR+&U|>P\rUBW߬|EV he!A5oYuCУIDjƪK.*jR.HN"u'!@Lɒ~w᫮rƬPx_biSJR`όm0 -YSǙd , ̣ɃqIt>ur !tMv4L<O F}!FLS쏷[5yBZ:(' {piU:Mk/(Q-kO׮! RWGcg7RZLQ݉(Kh,.w#VYJ` yX\T"W68M3DṆ$h<_9w}U: 9982 X3׵;"ě7j!xbHZ=FqaX QTr+|{0zބ9#hhO٢ Ja8eX@uKP 4[?bt~|~6Wqw ھV);&I??Yh<:5BĮFʘ8(m0gy E6="llIVv /-!\Vj4z*ꀥ)byf>}g#50d0 Go#Q;%f܅Dz_wILiP`gP7cJl1 >qVjЍ$b<Z*bm~nZ^׌Yfw>jE 7ub2&$4w urd 6s3\1KpR &#8ׅ$@F9&&_3p7CbZ@+ zq =#o(6͇̐O #yJ+`ȭMAb[cݓ|J!݆C퍠g>5b"&lcEKzX{Pٽk%G'89'p]~;=,5 Wvb3ZS{W DzFoK:~XB9We6t"Jr]}C5 ?3H)H8ZC#3^ńգ–| F=Z7TG hԋ9E꥾ȇ5d߉{0Ks~gr$XJ,&⥢žlYkg59hwn$m*Od7p-B-PoނG  hi,z7a`һcI&a*u_ ;&iYATӾTlV7կYG[z#B_HR}3=5Cw՞#HP)mΘ;}zN.$x3qzT%[%Mn nj)_i6Sa!_HZ2l϶}e-ķl}Em5io7ŏZS>3qicX4 d.X0Ҽ%)xڳV|\qS⚅Cy:Ʋ($-oD`A?\@fpǫƽXzP)]!WcA Ut񳕠`if]e5{|b 2s3ߪ= (6ȹljLc_`;ۧu )z?ܥHiAO[ ey/HAĤ Όl3t 1 h| GԧJ?y[u˱EV5lRwHʓjC# TJ_K7%atFS9AU 3S8NQ@L"HḺixcwnou;cч }+ jw$m'D&+$$UbKM [ hMR G!/- %Z/B#ΰVdRW\tq,Ѹ2e{@! u|SR{q*$'s0L͊GD$e3VQ]S>⯿ՑGqqE*"rp=ighl1BY/X+HK\qjP'ʪrf7'I%ä>V"OUmŞx%;|mW6(c?{q/ܶ,3u|J.rEe.iJD.#N,BRU 0H8:Z#EA؆Hڂ*>#H5`ǒv^SCBp*mHBT8eQ* ]ߥS' ;->7ŜV@ظMϹ4~mI?ZN 2DZ b̷-C~p=]xF0p lv3a1eQgYZ - -0%# $HOLCFHOLCF.DomainPIDE/markup7zXZִF! 4 K] !M젗OFK? Oȫ4߿k:NQ~NTg|S^9:/8F|ǀwy{i ]v?!mYier4߶bdA:vv5I> -TDCH_BRQ`Va ؅CPm%bIsh?QP$svl,pѧU'Y}{a.iߞr|Bx)G#$nb]s.lJ9A o 6rS"zό K^~J-΅ϙءsNDEQݖM5 k` ߕ^8&gYHdu"Fn7Kz'bGQ0 :V*j\8m$h[%65 @bxY|(&2sh&|=s5g%~M%)մ*l7c[?؈%F壶p!枿á+"qSw6-OrS=_{QAsdžʓ$wH)A%loj;bP%M0/=\:{blR:r:M. 1gS\vDX$kp@jpP'UzN P3>IFWMve-t1#1`r5u#2K1 O>O++lhÈw<\=R@:*&$E&}Ca-O(j_w}x`pIBN>]Y,iڎͱV@yXUtTo⹶Ui=<̒JցR*-A:H۔"C Z1Rk;0v"[|쌜VV9g{U{1Le [nBnSFg(oЎSM જM2W%ɅkO1|푕m| Q󛚓# 5(ӸMj!|юZOEp8_qt62*8I0oLY׶EK۶nx̙O#/爔C)`Yq͋1U6+ DB5"kPl[(ԫau2kF:8meFaѭƀ6DqJ @TIkNJS ^ }@a "L؄4"=C۪C@SؔcGMpVNiz%E\#s(g޳~}i=R٩%m_}ޒ6 XPG9|. oU;JcSm?n) PUXT rSuR]}~AaM)QEkl,ɛewR+ 0Ym%yf7B~@NЃ{ >{tޓΦ0(~[RY8Ν!LF3Xgvl,z|{+j ~5'Oe>5[={G'6In !gxۆe Hm/_Ϋl%7V ry*i u7 X^ fc=DžV {r+*kR5Q;}+{pߣT!6wA3`&LE-ә6tOL:e-T !5+@,Ҳ߽Mޛ^ QM$˖TcG"޶}=d? X-\ˑhto4m)F2nXǧ-H+/TDץ\޼?^,L]?ho:r"X"H6{W ޹rC4qIZ= R)Y}%:pafVjȞ(:O x<+ʳD>\($Ij(6U7Lr?,a!g0& l4b$]Miw~+2`saT.,Eb ],|u9+l=` e@9?Z|+7r+]a 3{09TV$J8U ZV.-3}fYe U!~.+ ^Ogʛ;AXP9j99%( Ӥ[/}3ۺS #KZ[{.icc_&{H ο)68i!uE0ҏ,e+B(_u%䗈]͍ ɚՋ"OX "ʳD3 hC8<#CwMVDP&H377 _R$$q1lc᪥~ 4G),Oˠ"WnF5s  EĞ)+9vb)h^sOS8#i*gYZ+' tHOLCFHOLCF.DeflationPIDE/messages7zXZִF! j]D?7 {?:fH\ϺXsmbo +J,k5ʦuV9wdyb\$r O{:Jo=A c{i←w`1vo^,_撖&W 26qb$"=Ο['%t m휋 088mMD< ZC'^-i;3\H?9vD\u\%"!߁H)U=0"BA~nGOPi 1ADYaB8i+4 { tȳ+Jo\UgP1iT T۩OyvT些M*z1o*Zg\*H6H$#p@bWY=@ `ʥ?>]@X7}d!/lM苙.Lդ!rdEZ.dFz:R R>!GsuAw}  <9A)U6r{gYZ   =# THOLCFHOL-Library.Old_DatatypePIDE/markup7zXZִF! ;] !M젗OFK?;uL2aL{v4(=zklۂ7 {ekx(HuzAt]J ,<+XXLΟ!I@`ط?ZUČ鏬3;cb0#'-Fч/!QPfOV>1EZmX/B̋S IXTBTUEePF?C4P2tAMMZj8h=9Qb۽2 MT" =Cm L3d%^^QY4ep-V@6djV?IY!2SY=4rUCTI>< д6sXډU2J%' THOLCFHOLCF.DomainPIDE/messages7zXZִF! ;]·Iq n[:|&[zӆ"񔰢7uTEە?noP,|!aOdrP?S NSt$LK:2Ϋ 05r-on+f7Ŧ X.q@RzfCΫjPVKuV φ&DDo_kOsĐS"ސGs"~N1tLSsNI4)eNU)=hT6Xw3_2UE euUkh":Xzgyސ؛nc}{k& SEm[6!>k.T"55@k|:B/5:Nrh0+ C(H/Bk=1ʤΧIz"=aǒNnN=Z%12UIW%li \s0D eH{K09S *_ ix. NFrqx."c0"xƴ\F^EdW2>CbL([C8?J YDrͬ>b\_h/D" "6̴|d :~7P \/I9$) j8Xkv}(aaEiW|O*qQηw̏UT# U8 ɕwkA&gYZx4Šw^\L8tmnx/ x8JTt_I\ G! 'y8O<) KC@$9bYYч-a#0p} gpM8^bK2p} Qd/>atS h\VvrM* $*j Lr׸rxU#}y9 Y7Iƶ̇SZyw.1I䤅?<|mN%@\O>Eqei^uX8[H[@LZ2D^K1m\VQ5`) YA;TcFve[N.| 1=j M#mz\|#E\#["gQX>8&E\SLCd:BXTb}*t=, S3mIa#y)"p)~LCFF: dmUh-ɸK?BwHIoO|in!huKjkDч털 Hd_2J|]cҏhE9_JI5'r`{thXJ5Q 8_{3w9O ̒ј'6Wm>?/| f]8"5쐑mf)7@&W QMcY?y1=nM|Qs ! ٖs3Bm hM ѩp t٨97T R Ec"^vsxE[}OjCY{%]=EN"LRYDJp:n%T`;ʌgK9:K^H#t}=>B+`lj ~蝗>]^R=rJذ]\>++^XCgYH ~5F;z 4(BNLs~,S6'`N IP%:=6I"80 G쪘& N}GCNd"=6cd)pYl0c.K k*1"I amխw`};*&٢2f|yMWe]*[+Gxv 1 9i ?_W3 .[G 1m%g{4$hR*3Sܽ 'kpn @V!1ŐIlή:$|D3lӝ~[Bj1J59WS/~y7 cg<.>`Z'IQy0J Sf=!5\UuX# ȡ+y*<_'B+xF'e4Z {YHQ(Hʈg\ߍ1%'*ĩA)&KZʲK~X^Bja.ʩ}Ɋ73 #XB$5`빂ʳ/zn+|̱YEnɤ9xx?& 9ʋJǾ^~Lmv[i@q1z52QW?Rl$#"|BAF@KF9\"6v FRo̞W17uaB| 7xz a6vhGK;>%4IdvbBWYXZ6' 3~U 5-c3h<8HD ōLO5`_=ۚsi<1n-3\;J gp!}ly BuU( bFMPQfsh㟰rs2a2<˳(@j^<*ai<*lת5DXُn<08I Xe(0ٱFx`7 &F(kR$ȋϠ E-) w`ӿcCS3gz5aڀX~{)l>jzv_E`&Y2:Y8^ź,IyZ3zn@SOy*ń[hT9fkw5B=):r3/.2Z&]DXi N,b^ JWV JŬ(p29k- CG&qߋ8lHM (jWշ&)V+5K\^## Pfa^"jה4k6AaB grBConCV/+^,`maU<'.x0JIYtݥ u| 5tpsān=a/H*gVJ:1qB7C%KC<,S ;aaھG@UZz?82l5F#SF tpZ Zm?mΰ̓5fa%ypWlC QWho\J=t=]69:g#zɮ Q@6(k#XL#dzJ0/|V"0 imqC\2\X{ z@9e juR9ݥ:2gHbPeX=S0-P.Yk%:Gc[P=-yA"Ah;'jTH%Sq2 1_⊶Z|oB6o0\]сH Dk׸Ii컐7AN(H]~{.q_oBv% 3+?\Tq:_v$@V>@?P"@5.@XlP r2Xs 3 %7h4X@Pf';rAX3G4Ƙz▘`پ$s SaX<b@H\)XϔN;.J &n }F֑r{tb'OFJ,``*=J%2LS ژS!wr| gYZ EE8!%3 $HOLCFHOLCF.Cpodefdocument/Cpodef.tex7zXZִF! nL]A-MՋhvG"uIBm5ԭ/'&,3C_f! *ù;Y*2V|i?Yկ1My9NkD 'aJ%]d0y(1 M^my5ԅ]{YXZJCrSV4Z-D{(Sw9Q6_v-pC^,jӛeN|X@-! KAW @<'w(D[k3;"f?4[^ ~hEkYۖHpDm1#] +rW~FzlbcQg- V9 FS@rSM9䩇Pw%bɑ`ߛ(=xDyJf5P~M5zNUlOHvJCEND͏Mê.~AX"ShYfV҉u~?ϊv6kNQ~έcŬJ*3^Y0!52o83Ipz&pn6ɫ^Xj 嗄T P󣱆~߽9_ WEO uz}b:=ȘA w(egտjaVEek(qW/gW?{ieuS2$t ʦC'p/TϪ,B|UIpXB& "y:!q6?n>A`؅E7zHP4vی S63M"F?bC9J5umO 5RоOC*o3#t$zc;gxx!`hK LT0qTno9'e§,loÚj_y2qeɉ((?7:/[䁓/YZ~,OhSBXM*ў>kE\(&Xa jB'K)ј`T!s[ x*8C2TWc}N:n~P#<) Kڪgf?AyC6_WIDlνuX)R 7tKEvj*V%qa#_&s*>#+<2E(^**G%è 7o@uR7{|>@ɋUjNd*?v>7(KM5|Py-!ghR5 zgk1UuAT?)Nd;H 2{%ηy!V.s͏V+}W &3ËF]9},jseŃ?Mk_%aOO%(P ?-n:M-e6_ 6!F`xK l gݺdeVtWԍe@/ Q{իáB,m&?J-̰GLbPhVfvF^|.B'RPM@_r9ؑ/cA fK6A[ᣊaцX[Hg>ބ^6xg엍w0*,`zl%mGOJ-Fe~',4'9A \ f]|]~OZ( . VhၩBzlu7U) vw,w$ZqBz7>%eq-2ߓ,|B0z&-qF-5Ɉ]1k)(LV(P2fDۊme}XݳP[Me֚6"ʤ+)Hp>S{=H8,늘 5-@W_u0;hb,5.LܤF [H i|K=f 0,@gZvkmH}HuLpJ :b:DEo!G4m鸖ʱL K(ռk=31~iojO_v=4SQQgJY E:@^S]&x^_-Pg{$F_rcfw~#QƬ*I8?Z/\$1.f,6󴄻ފlV#l[l'̕@)YTzԐ$W 1^9H[ɸ)&2TtfsuA?ߚZֳ:D T`+۲9qˏX2|s,^x/`ԍY#Ekw'$GW HriI 1iAPҀ%wMw# 1ˣRT;~ J O6WוIkƴIق޴CRL Ҏ O :[_2ww#VkX\zoLba[QR@K+,EzK/9o]Zkdz1д%؇OEeb N_E2h^(!ً*.q0|Q~m|QUkRA] 1X$hC?V1%o*!&Os ӌW^Cf|S.u %(X] )M¯ep ?L5/rUYH$H1r>dWS.u ?115AԴ욾Գ\Uc=7GV|; p= 9$ΕZ"MB0Y"Ouwލog$[<tƲ%q+r[.3#ʻt[9WAKa}fmC^n( ӺT|tZ+_-#FN6V.=gp~]Rtre$C;flMѐs9薉=cHKCf'p#O!ЯD@&&ǁ<@ ,aNW9XDk7=$RĸSސѡ1f=C~"D9Kvk n\)(C`ٕV9IoȮv}Eu<}5 &,qY He%)u[DMiW aMY3T6H2pn҉P }/U# 4}S"kg6`~BPi\*{i͙0&]A?#t ΥzdY5YXӼ] ( NEcyr9USC"M.ow}\~!w0N ҎF_שE{?omcaN[EYYo)y1G!koM*eXw&zݣZJlgn3CXKQ{:!>F u},<=ښ|?0'zqP˧>NMtY~ @b-'< 7&ɛ= |1?%= "OgA xw*$W7M[nkQ%%gtWې1T/ت!,#~{i7l SzhE!д%(4n yk]Xb7X{}R\n5[Pcڡ8a-|ZW2J76C)h[ (]qḞ&"Qi&*Kiܘ'{;E8)$eu3Ԏys J z.t21ƽJWiY7&-nn B[UbhWjWR7<$e[uD%7ATPQR<{/+ $k`E@=iuT-myKeog)W}{)-Fhs&H6M ks\+42gX4AhǍ-`TPW(aos 5~ŧ{.(lFͻ>8( Nԇ$7@(x{\yBh ۦ;.(B \0F \1;|VɫqJ% P{ %Cy'2.d#bI%FE=蔁t'΋+ s,E2Ei~_8:b(q#0# CV`k!ЍZ#D+9'~|'Ѣs/5If0m v=4΋1G kd0ZMb @p*%Iqc2>xOSjSFFngҾ#8Ĝ< mj‹wK$ixjS! |>9-=_?n)߇҉|Nh 'kժv_@Z)"X!FoIgWHtg 9W"AŤzJ@ JQummG_N z k\!C,z<ۚu? ĖD1(<ąYDD`jCFw3%|%mF/:F1Hx1t`yT x%vJ: Y1?خ?k[BJ\ E.QwkBlFn %h0 H#"sfw.md,hžUD`%6I$7?S\@dFal4N5r3&f/V{IAx-'J!$DG̽,5鑮(Z`t#tN / ~ǂ-zo= yOl0e6ʹ:µeƞ;MޛFRסNm jl׷slGqFTG`mesz ȕ]V LHg5⟌-+:E Ո g&8e7h2g{%DU}x%)L)GB"I[nYC{yuJ1[[RGەvM6ZWzm b'z]#{'> &`v`jN.ev w,8%jvN|V,>*d[~F LCyi*jR=Hȉ1t}8 4EOs,z"N ֒ w?<~lƛ fnrJѪn^j<= 䓏3۳ k8,O!!!.ؘB0Y^ ЅZ<7J16q=-:f(Vhtk7?υ*v$G䐎]j;@?rE |ٶ:M;a3Oys1AQ(B,<?6P3/>VgOߊ h$aɪO}XA˨"n>BxNİu9 $7T:A떝1T["M'+Ni}X1~O~̼[Lm}%<(ՙnʖ (z=h2A蠂+Mg&#TB2!ա 3@Twi:]aN2nC8?"9H}&:P-rgYZ <<#=' 4HOLCFHOL-Library.Old_DatatypePIDE/messages7zXZִF! 2]·Iq n[:|&[zxhԑauS#bRYSպ7~NStCfqN3]2q lc𛵚bkymMչ$s} yy] 8A4 nQF1֨A4{GVt)}2MKBТR 'Qz_ԟ :RKn`0˭3j-1A;lyP &JDriVю'(Y :@jG 4u{ouFΫz4Y\L18ڈ:vF졋ip`._(;3 uBS _pmi}_0iX7h rk(3Q-MvBv\8}ۙN 18q8оyJl+4MUL9TލKrJpBLyڱ!a4ש-S=W}wBU:Hm+eŒ H )ezf,*U[T¡ћ|5}"8b>Nh`RB-AG<þ<~ac#n7W`ΰ~WfE!#L>Ap;ِ%/ T/DH;y l#!;n˪K} -1F:~K2 y|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[F1T‚-|hi] ">yԢyw!<QDN[A D szP+۳ό~LvLQ4pep$eOR|8%0ʠ|Lf|%H< G:YGξ"F{aS^Fh[f2/NƇ:*K{ Ģr>E/ji*8ph)uG/N$.aF;ؤN5w^=$ 9ߡA%ɐ&wb5k n m/{!Gh ﳥbk`8&+11^N"{lLXLt\B%C E]Q ZۧS֋A NqζTu'ljvaKx=Y^m(SkГ14#]wtˊ5h'sMV73@p[9׷G{ jL W?RǠ#샕m(Jކm}kB|_ߖ"p.m ǂ ^Cff:PD.؏(/^/ӾHF,q |@UHVf0\{f$c{MI&p°cQ*æc |5!r $QMn% ܾ/1dC'ò}_4hmaLEb=Ke tA*L4 m$?# HOLCFHOL-Library.Nat_BijectionPIDE/markup7zXZִF! 5 z] !M젗OFK?;uL2a;FlI.f{ !>E 7qXavk]؍B+hqs4L(#*-&K+q٠ lLN8蹳F nAx5~^05h*Zv eH%Mi h1> n?mu Yw1}UZ43T{Sf~VA(aއ螑3h1W=Q 1cWlPWvkߡGmLu/x(sz1Qqɐ+ch| A ZS%a]=t Gy(eqY>vAXYh=0w}"{\H1``a9dE ީu 7#y ɰ e2'#Q|gD"+P{|c k-1k4h+} 3_ׂQcQnAy18;6P{/j;/OޭU-|î6Wz~Urބd$8D ɽ%ċ!gwzWoBp#az| Tj: oiI~6ocG‘f/#^l5lDSDmiVRqñ+B2ScCu|q᫼߰)J>Xm >v cPle.cLlu.W6|Km =_-1"Uh۴>l `!yN =]5 bA܏$҆@O! wg;.ybeZN1 :F g("(!RRPH35@=2؉OJ`iPqƳ\ɣ@-T,ǹվ[vZ:AQlA؛{y"| 麆!zqǰ*\ NE13ۃ]oViSnm JpMNDNFΥ3~6^X/C6a,I|Zga?Zdzpq|)Ae'G Ikd+h "8E^Ox!y* ~߄4ƒ+TH'tW^U|oQaK8g[]r杹Njt?*8]rϚ0i6 VjZ7c7ȏe`|;{8xy_-~2XOf' d8j PS1z뷏pm#VB II d9% =Mx 5:w.+yEPB'_7i֝Ǡ?Nc۾vrr$}fXz>bV7>#tfco} . 5 |ޭ?bh֡a)xQ1N-G}=2 P;hTzRԶ#mqPFǰ{<+Py/jr+5wgEz3gE\!v(xez< ZKE;ooC[+^S3gYZ `&-# |HOLCFHOLCF.Domain_AuxPIDE/markup7zXZִF! 1 u] !M젗OFK? Oȫ4߿?iPּ䴝$x%B̤R(@qCIi(܋'œ {d'}̬epk_3Mh\"~A&0 B4mT#$yB5 ~󗂌 @k, GUJׄ?:cQP֟w}mGA#:>'{qZyX4`sgyz:hmpSz[|sB:'IJTI~ #DG]a˺ vpG:}ݿr:{ѲX+76 ,X4-'mRyˉf!RŞϥQ$ ;Ǻ Cȋ2#vxG}{挮|S[/nq!:qճ|RiIW];+d@akPaτ/e}!i\9mhD{Ke1Ҩ(>6/o:NHIx`Kϩ!Ph=  ~x*]_Q<z2Z2햷p51g*.&jC^sv=p ss5a5.kdq{`wˢq2cцr]BIt)glE7`Ġ[,;30X;(3Qo:śQYY y%?6A=谰h%]Ba{O m@`U壏"gQ8LcnɮZZU,.-q&Bz2! 7 v]g$abހvǙ`ܶ/Υs.+JvG:`f+JH@L;nNKEąiևC%*kj, 5oQ%$:X{ G?zyu[/KnTDZ6.MUNl`fdw|wTKÛ<&@4 3?6,p4e)Aiz8PZ9iҢmR_OBO LA] "(f!ݿuAq&?,U"¢~bZ\?ܝCr\gfEAMӕ? "'=| C&A{0B9ɕ{pqRϻZ ]aMQ'z \DtD{҇KO]%uqHrͲlaQ:G]*DY `ȃS8Ay}ϥ.61_Hh&N+O^ 30.s[8rM^+v| txL7~#5pcZ ~`$~e;Q? Bf 6S:O1IK5!8솲D^v"=`;:rw)MZq}ifkq\|gUnZln5ޞɡE/ƿ3җeO(%Qk j(D]! ?x'7U,fnQY|}\0S#8$gI团3BrFD2eCA!(+>Tv^)<GE7JtGJ(IPx6\ ] ч&cz*DfbM1 jQH{!UG3Ms'9,fuIWAWbVB4mgey(_t*y;NI@& >3&|cɛ!5ߌQ`j=poi%d^:DOKPd1=k5ȃ-L1b E(19您w;qbCښ4ܛ OhX0'akI%KÓ mKF;Xc ӱgYZ X XC)!'JHOLCFHOLCF.CfunPIDE/messageswarning_messageserial=3285864line=468offset=13394end_offset=13398file=~~/src/HOL/HOLCF/Cfun.thyid=252Introduced fixed type variable(s): 'd in "y__"f(!# HOLCFHOLCF.CfunPIDE/markup7zXZִF! Lx] !M젗OFK? Oȫ4P/Q>Ƣ"[m;uJ_Ap TR!ƞv"'`J e46Ѧ5$ݔnC5awfZܚ|Ӫ3_61Z\q+L+VOd?UF*eMݥx=dVb詅!E\ZX]X]WWW$CIБ$䝖=DW aKgpFO_]4oS@_ +Er뇺>t%#nrp H\JDc|I8EGڍ 20{ sTj.=j@([ z2*( VC30(yCʚL­AMNUF,vGƋ+Uq3/!]113ݎVE,>$3nY29}Grd.\܏g4fUh98914^Ӄt>|&3"Vm9^kGuTMWdY$0.ĻfV䨀( \qbF 7j,jycB`Smxgb6[}~$']&'; HBs>,s1c}(Rm;Ӆ 0#M-z>"W Oc?LsJ׵'ǹJmT$!"3k|٭Wcp,Ji_ xYii;=iЏc(AS4j"6j7*u#tUgm`_G4T#RUP-)z(#52’+|Δ6b䱰vkERQfpK<ΌlzaݒM~ҋ–K; 1L6 ?Ã_|$hpgO]7N>gƒw8C:n'-' HOLCFHOLCF.Domain_AuxPIDE/messages7zXZִF! L]D?7 {?:fH\[tgL/"4E*mLŘ˯5$5C0]r|l,b; A,iReNi /d 8^WE3xqXҸZq23R#F@*TiD55$W˩UlIO5H[<$EWف6FzA" ྷ LA 0OgAg`rNvJLFJ_&HՑhegg~)p3BeͣfA9CkXgGz,|@F4$ yЯ 5fi=?kh5c0U:s=lj& k.jcaќuዛQ LG{|9 ˺(XM&HWHpentrh1=υUVg$ 0y]y pm8kZm}~'=1ճ;wj>ȴXg[~r5"1_'^e3Z7&gF0cu:i#5_kE=SI^]RD'VHk?!7 jW^h5N}(~<9y-F(S>UT+e…AFDaV9Nv˷З4~ ~P41r\|f='M<]s ڿea,xړ1ywꑦG]ϰ[-ЦS*%X"K$&- D^gU`IM=Ul׌Em h )᥃eVOFo[GTE;nyܻS)=,90G꘠zB8c]gZ1l 6LiR˝R>CقyЖM2r:wq.PǺr ݙggYZ.܅ OqMmzim M2k "|;v_aqsYPlF-QI 4WL|yZ($)i _]ȜS*O2#5GB"8b!0 o8t^i޹ wv BC\>3KW 蒋! m?a" ^ObV_Atu)V:uwqѿijǩ ~P%dq^>y"NJ0FƃHPAE6KZPt^YvWhj[ #{:M0kKL?r:SX%q8ofM \]25ԟ|l:G'i|['{Q}(yV4]"3B7谘Ͳn:ux,8IV{rF3{ ]Nd7ga7CF`B5yl]}{D}F!;F.VL# ś5ݦ wg|] iU[2nDLpͭ*V qNFضډW~x}9|2fs>uDBByKdJ]At&v fp+@b EReԤ (>O(jX!wsݾ_7CQ\IA+9hz%Ⱥ*\) (7e: 2N˓ߓ L$gF+˖?FG=lؗx8Z*lC%N!Z\ Rx2}JG "6:. $gfY$3Z2H#o?"DÂIS6/aoQSŐ3|)qR]sWȭZk.P"NFYpuI 1^pX^u1f<SОM-׳SUQV5(Zwh&rۅy93A!;&- } ηn- JggɍrY> b(@Wi\q8G2#ᑰ JzZT#6Z-kD&j.L]:u#_ކ/qFSYD .Y7ۇ~wvB=asvj\-BʴO#yQtʋ+)/INjÝ;\tc"RϚգ$au}4Kw"6 }T5Du U[Ff8b$(|$PʃEo^no=rFB-IYr=XǴOj1( Քky Z[=0V"m7CJMJ4A~6f}Zk~R{{XsyJR:r+r]O'\bp| !IdL9iWuKC] zK` ,[u\鲂 Gy.442<.[^Q/x!8}jAkG`grL>cŘ80dKJโ:YzvRϴ?`;2қ B36;h8 ܲHjΘR&( #[:"|*vշ7j9I+(Pu*j[ Wc*0 ]6uW9Erz:{ &k"/#B4TbgЅ.,UϑNTVL .DH5Q(zʺ=А>˿a!BRiI'{T0xrKшd:/lQƁIQy1H,bew7,+:R6QܨHT yA$SS4Yg37AMh":~(3PA%BfF_;o>RF{~-XYjW=HQ'@n4:wq^QXklp"޹`>l4戤QK)x#Gʭ\E7>uʷLm|9ݏXFq Ciq6a+oveڈ{5s ;Br9StD4ίh/,^J!7ֈo&)!H0Uٳqʆ nɈW9@.>_d諸 8{(*"h>tX~Ɔ4T\O3S,ƙ(/`HZT x[\n6e ׾vpFf}S˝ٳ&3 >`Qm}zyݛ1MG&KJI9K"eu@m_wۜy*X-H"dka苟k\zC&Fvr.vs>xr;z8 Ϯ. tk{fJF0+gSZc%0+L, ˺±HJ 8$(dg)湰"tD*sռ {A^Pk  Cy4#4ayVrA)>r9^ DN&|NgR&%>Oh:h0<Ɉ gn<-FAm@ dCGTۓLa΁~A-}Z,.h* Jo 'labA # sv;;~|TQ";wC*=aAm&x[cZMFXw K|mι} 0٩ r1XDCrIjL (+=SOT@&2>&x1^+?k-ۘH>Q  Ͱrb=aGaY2&n'? "mJuYe;6V-!Tc3m3|:ꔩS*SC펄?ZUDGjQ~]7żK΂׸a椂-E;.< )K֓^(wHZi=DH)vSý ˶#8@pI5a\HPqx\D*nfWшRG)|_Ӆ LO qMO2:X/ .{pUK J*[Et inHw" ˝F/MH\(c8>حʼnLӚ?{gYZ@*%# DHOLCFHOLCF.CpodefPIDE/markup7zXZִF! ([] !M젗OFK? Oȫ4- 4ؘp]yC/nVs(a!71]oL`7,in#^*qni$Q;wt/ &'XuTjH7(6T˽Bo+MQ ?3va^$Of3{IfI$4~NhN c*V@`m{'{G|$;LM}*6%_ZJ3O"0s"O*^54pebinfL Q>&KP]\ hYE? lsDX.9DP3PzB wl +nn0wzb$ޚ)=Ym %u._\{|8B:ͱﲵ-w'SB b\Vk3b'jv)2*ТpDu]PǮ0yt5/:~Lk/~4md0BBJ) .RIkw-GZ$!^ҍZ6ZAPm෼SZ .ƅA\,[26io.jl5%4Ysh[nD*jB&YXO~j  /?_W{ЗмKNAYhGfMrۃ,V+.{FZ͝ 2bNMF&EZBߐ7I>(FdB,XK^Ǩ)X6Aqax*lp)DH55lfGtrءB{wFd&>Ji\p-S3 g=f#ҡ.Fr}ӷ7'fu 0F*lCqB<,-Ҵ}.BHS3D5/$n bzhq8'֢h*JVc Q$ǓB&LN!9_O;' gL_seʮjzda퍳6D+J*@?r눘Pd ёp0ʻfg 0UB&V߭V#om P-m%^Ѵf%%["ۣ @j7926+;<-Z.HA@,{(<gٶS*{kn|nY f1I7Cm~#wHG=勯.ks6$0niPφN.SA d}gC2$ = BԘyHc^e!q(baX5W.o!PUBԗF^[>"#!>Aޢ hwP0z'5:ŴЁ5I}Tח'{x]͆%йRj2|pG}jvbv5#jQbq*&wQcO޸&K:VSz#eF|sj:*MC&$X?/- Jp>c̓7ix;S 8cgcr<,LaeR7D@ݸR SDmM)ŇI "]ZE$:k L$6D+Gi;"b,Pf.?ujOn3l.bRҀ%D|]NT xy-_ Ⱦ5Ѵu/!V^8Zj~xYCu1D%V}vܷ(-[ZL ]%6xN ({I HU/ +f Μ@UQpևy - XbZͣxQE0.'4[\l'YiiuRD"4GU,3K He8&ݤًC#%$9{@? 9J;\ Jf|"ڃ[y7`3zЦFoh,͜JQߝ-8n|M+"$ hT؏! jCC;R̵X6g>=4]Zf`4F y 3ʰ<zR| |jc|]\`\Ko]5%`q>J͓Ԧ.4LK νn'("2؛v_șxU@$M<_m@!vk p e@g5. 44A\i_\_#g8`pܴ@J YuP䝣57^KPvTp_,0#hB&tA\f_ƞICrr<o%XyMo]DO_1OJ9Oj }gis@IKf 93QդzyUWSvI hW]Jt(jQo,|K>%;-yn ȶ*Lw;H"t¾ᢁ{KMq8@t[bU|%UJwOӇE#)+^HK)~nt5)<2ճ\P! o6PIJ=x2%ů^|Rn枼GsrbBRB7Rݖ Iz/ӹʐxWxL}[h ૜+V~q +)" LJMp=׺EF=KfeMpbs}I9 "i8a&hL[&^C粙6o\^Ft4^Hd~P!'ʹ.0v+;/yuf)@>aV[UadƳF҉1qOv (ąNPZG2n*ȇT i>QTaKX+|\7!]y@N *p#*mjLŶ0q}ځd|";D^R9%' ~}gkm坉LIg=To\HvbiOV8/ lA8ߴ;;r5YP {p=e{Cݬ5IȔiɘ)hP0> =#KHrUہZE3U04i&}M"tf](# y4m2S:]N6KAW֔WYnFsp:+qWmw"yDL&ۏJwC7!3sO D9[ ՝k$L(8:Vf4g8 =g찆p[Z|TTfbΜ!0 p29Zi p%**q,;_cyQw4Zpޅ9_d\ğd-ّ .Dst]ϼ7Buܫ; Bźެ [h"{ |"d7Z+AMU;h }ۗ ?0+I 9|rdNhl^5oor7&|!>NL$l%.)AY2,ۜz@<1C.Wҙ Qo:gyT|O)rQ|h e[/ps@ pMنOh͹%B@Mdjw&ozΆQܿިFsM]hWSU{h@=Zy 2ŰÀt0Kn ۲Lr`aJss`r"UQ3Z!W8=[(m-O'oW/WWg75'cXL6(טŌ+?wtcrHe L C}A2r[7yՏs90@<, 㼃LR8bTWL:c,)g YPեi D l#,3$k(*CeHj0id!(u2D`)Q=L)ŅYb/^&lkNMftLIdZ8"4J`uzhB$>M*=]T`!ސ`=3}wZ䍃HV W;02+"r2NS> +P/LLq̦_f} }Ԑ*ZgYZ = -=-+9 THOLCFHOLCF.Algebraicdocument/Algebraic.tex7zXZִF! ]A-MՋhvG"uIBm5~.ÆRj|2$pDWk`ĥDl(f-@Y/ Hc"仼 D[-4e =?)MMS?r͊#Oφ`i &ӿwe؀#b۾fkWˉUc4|\}jcdFDO$s_*J # N{SI?Dٕ4]^s3֮JwicXxXb`gӿ̡ <͘,d+ڈX]NۅCkT"\"1=%D6-Jv'D5'=R:fu`qF3H複d$wI#HsMk>(S>H,%3 DHOLCFHOLCF.Porderdocument/Porder.tex7zXZִF! #Z]A-MՋhvG"uIBm5Km9Lʒ882:~}~ju09|5imr_o^jgL9vcH, 1cW1ȻȀJJ<mBΌC?oBTc ݶ^l; AԇJ?&d#{.9Mzp?%rM7-M&RňcwՂB#;Ca.L%opETsˇ/_ǜPl7!غ*.7h!tC2Jt\~'ʉ.kYikD,1(Fc w~nLa=m-SӭTj+p$*rXav?lU8GH=e$%!.kygW8Flhqh6H$W CyEc_6 ﴬh`H7@/^V}wči>( 81p8zn6'8Jd85nOA~Jm1 d$y'KVw+0:o}O>fEG>}d+K֣Й{`+hm 25Ic KHr$ۋ%!ո0g^=^͝K>7U{r5#xPb&=Ls\mFX~SI*b ނtp{mT EUWm~XF~[[ʇ kRJ G(5b$lTܦGڧȣkf3"kv/lE#ZV:Rrm[gU\%>OIgՠe#kP_('^Ria<9#n4Ni! 5EX@&vxQa]k VOQ=YRKŌ jWu7{R%H9c^tO&$QqR<92u 5GS5F48sDySc5u'$+7k$_E0_Uf҂P;rChU J&8u@ͪ r2k,OxV+%r,acJY2:Njܲ^[qQga$ǖiZ T|̽V1<n&ց]r3?߮?(Mѹ\_;T\ AnbBD1J# ͋[O0 ~s{xsjCFXw'.7\My4RC`~>sd&xѨ>/=T%ӹ&J2W)%|WIۘȼtaM9aQ ԣ~WJZb6t=6 C1raj`AJZR?٣~l1(I/A'zHQ6ZFQpgjEۥly ] "4*) T3s6BI|yQFy\'e˗-jHp!ވ蘼CS=Fn%ﻛW963VCUHt$1 kq(gfYU714ȑ~n@+BC[rKVT֓"@"+fӷOԡ`Pm>}:NS* bJve#*ݐ.e黔?*4.BNV^L*U ${_qb%q攻\iFu&LH90> <2+#@0o“bǭӯt /HV "kv፾{qtM[ynpnG{׷ݰ9|Q:ߑ}'oQwL?D(&tf}9Q׌?P:|TLy%`l$ Vۑ|a9"v& x -bcI{qmBKخɭB :‚QvK`-\#dCmpٗ6{mAnsȧu 8(7|R{B pm A m:N=AX3Z%YYeocS =l,^_ROO=|p[;Hg9|κE Jn;6[2K[XX{dpHqYI. *aMmqzm boa85rՐ8/0QVcZ(M=r߮HlRsTv(2+UN\շdָt/i!ݷ C SyT D,: #kK6eL`QqYWmk6 / ,13 | 6n2C9oZTn: R/MC zS*,ۧO{G;Dħ`֣aH[z]! _uzgNZ6/&h~JVCѠnl2x':D}U@ӭ]e%<ړS>ה+0JNn: naިθ\iV|aJ>6MFӥtƋ_ucggD5D-P@7tw Z!r( = XskfO-qPz i ⃰B3$J] [dPdu#4P+=t(OpזD%bM8[PO8<~^ )YxWjy\1~m;rg#F!pdTld GD'~ |<uLgv(T"Uj2!@ v&A:ͤJݡFgZ-H)<djoPm1}d-vQ4 Z8N=! yFp4Q朰N~PҚgX@뢫ފf-3[L ˴ Yr4w=8$;¢[Tb;kx1C߅:Id$jKb/lգQPฒ.X|Ȼvvn/,;9iܨO.Cў11dy%L8u,RU ī?>c LzQ*$a:ƫc|4NQG\ QDQz]+ֵ$0}x <`^@%'Û6>̳yG@; vD@+ w1B3Ә/J%]"nT^O䠲39j9Gn (l>W\GxGuc]M,o: `Lđ^V#so A Z%Gw=2ܟxL!Lu.}nPʸSRuZ%9 AE K6;ݣclY}d<.q1N#_2gu3Ew߶4%a=5ݮh"zC(xY9 #Jl2-\ \1JI>SKQy6Kl6XB9׻}a)a;)e.B:tŦ^JAx?y@Kr6ĤWo- JrjAdK%ErARb~mC +6. O- c6=^Ly8j|1|o׎ˇ Tu]u5^;HB?`Ds` g2X:«?>Hx}hiG%y{(. g ` 7U,V͹e.R8`V/2 ʰ>NG/K, m]N\ (ر65yK2$7 !MVTUi^rU3V::5*rp{YצherpiYAgZOOY+qrCɻW]qS"9k6S.@e%ԃ fp̟:Rʣf,\(\g.Z^h8[L2MݽaqݻCw^$IukM#m;{h/P(oƻ G<,[+GV`ai 9y )\g$x)aiu cU! ʕUN;nK@ۃvPr6ܚ!kG~.X7_+.ZK|Ѻ {56A!&29jHgh p?X#Gۖf&[2չ Q䷮UBD5ob?km sϵu7ch6RBYD|nI㤨4*JawMg9 F7dž߼=fU:6X&py];$~\(*8eGf| 7CΏ<`@w!DձgYZ 88E.7# Ə+3s}'GGGNaq~gjZHyKB:0LG80ʆ3N,wm۽TC&% (KY痕oW3x? :EʼiS(stXԍ v/ y\`rr\i={X4u4-"l!b)MvVSF 筮U>SQ>xqA 9M2a? J Լg*:Ӻ.M +zlNoSRRTN2jɖO4ookg7+) &Ŭn% +ڥ65(zͳt3Pk1]w¹dH¿Yi/7#REko \8H \Qp[ ~&m3G)W5`Ju{mTnh2ǤLMr[քskfp煞=Y-UUq%GUv]6\Hd 씷G7G(`l,7GwC)gMĵZ(#֌CXyS)mշʮ9&IR25t q}hڃcrr;  pk{'dqͦ1"ɪM>ٲLv_(ZQr+¡$^YP.AZ ]`_;e,ݝi TeeP;7,PY|h] T#z(;ʕ1SKrK Kb ~iO]n*kB~"ړr&6-'}ў|v$(sC~aO{ʑ/gxw M}^/O%HZڠ" *_f3ǰL^v5%)v ui5>C.If' F8uş͐Qb4c;usLQin !*KCi#˳kYa*N{#ر8ѩI8;Ŗ4y$MJwWeȖ3 v(Y6S;*#X,Wm!%$(':\F4_loT?- ' oej9D}l $M\ }*dlv%ÙMXvi&ܽ WL3 AU"ؒdǚ#L)jw ¶ߧH GkhΈ fjK_9yXeU&NxT{U-LR VQL$dY>0os~LZI 0mt9(qFU5siH̹(bӜ<V2c-H%`ɘ՘ZNm p|!7y 3]űGݼ4MώYi>2>ٝ4d* f&B6:{-Ԓs j2i+~˖cʂC%j /?Y,rj ]ؽZꩮ1|LiG)# f)R;1fž8ܢ2F%пQT~zy|Xk*]Wq4VpcekVGTk|e[^GEq#$u,$b Fa;} ^Βg7/T^'-%&.OLDo%5Eg#Ӱ_Ji].W(e<<+/RNGzTa8DBp' ))vmz^v?9I낄&73p! U* ̩-|x6B{gv8eGCDYy)[5] R] ݏΠECS^:2:zV*ob>z,q=v.3Xꀦ*bV\ D| ˎp㳁Ģ[ΓqXB/}+1P4YͥShvgZdw=t7Ya?t$p 7 ԝo.絈0 "1LX&u.""×g_qJM,Оy^w$S_5 @׻r5>ZNvഠ'wgG`[?aIOHl:ws\^ maK})A~qxWLWBk =wRۏI?ZQf˔_&d_ 7e5V4WCC KBɩwȜk mH+ܫcmND1=?(-Q-U,֠;}˄!u*("K7ou}!ң!i6Rӹfa?lv>ve: ܘ6njEs K9){ [f=Q sS{AKUl^苅4ɱuwݳIh cx VtZW9eɔ2x`P<[,D G O ^l+s)u_2F X$S b=NNXn]"2P6f%峳C=g{% ]jg+e؊ 7'¦gHHkyh[A!{[]2>qȐ 'ɤDl8zJG0WhjjӥGrD읥Ȁ>w~'Gr{ڤ-~I2A"&%$(a*\_ {Pb 'W!CgYZ  F F7/7' HOLCFHOL-Library.CountablePIDE/messages7zXZִF! H]Άxʆ5.f-9 rq9oijijҜ }I xsL{ ~ZtPLZ~ aT-8)߈Z_,E**"kELl&]Ԟx8fE|neG}ܡNCUEOjML{%ps#sDmy]ܱW"~x?1NM e^+YҢ $V٥[+ԒzCcBr䥬u;-H\q2[><ХhsWދ~|'F_(vbG@SJ[xad7O)64HF'X;^:d(T<ˉ9uѨuqOun \]u5v/ l(:Lǧ22.o4IA `"*"yFC VP wEU裼4:H,q0S &jEȘ I< Qj)ۀC(7Wxp륙jtG97EЉ^rX9 y){ֶ1[B?)ww8rQL[+H$Xm7g$4r!Vo(ÝGAĝa ?xeiN^}0j'j<,^5Jc9"aSER5P\Q~kR4+cY&UF] k>Gdo߁ll:/'!>cH;y'=F$ Z W}!!қ@O }š{3V La][Jck:b3;XGSj`eKw;p bm> ݴv= B*KJ+Bљ\ yN:OCO C[nM^)pN>"nu1än-g <z>|g_ڙ[t \UR ʿQ37TyӻE3s,uɪFs("f>682pǻEk6bpv7[8j^dEԮ8} 0G!~pJE䷪amC̳5bC`ϹH334F/tsܒvr+2T,ڻ6z3zDBk%FrfHIjnԒhSr>(PYέ|$G鶂׺'؀z$ y/]rnκ?ۣdAۃ;a Bf=C_D*c_EtW Hs_ɤtNIEӵv8aQބ}yMw(;90ms+<["O3YN^ WLa򬯟wE:q2()7CL'6<"9ʤ~#>VNANaR߉;{B_ӄ'q5SF^{K !%=_:;}=^>9`ݻT\D+QŔĪod()Lt" KY̝9NZWϦ&޼:{nVrP'Iq!@ޛx]#:qCL:ʼnR"& * EL$(ST2ʭ]; =E9I6r|M^U;.ev_}v]Gb՜fs9=~z7 $(IZ; 2jՈ"':0yti?b#l5/.O/IPhDIIs*bf#}} D/䀚S=ojFҧ)f?WY4,Lm4ɣ3Ug#|wwwhY{<o}QGևG^r_􊎓f֦1)'{G@hill'r~۫';2[lGxyc3؋?p% 'sJ/`nE( hږ&O2ϋ,R@hml(HTJͩbDfoi3 (jBl1br3'[D!KAruݛxm'3vO3=LE"`T[ egYZ p1%3 HOLCFHOLCF.Fixrecdocument/Fixrec.tex7zXZִF! ]A-MՋhvG"uIBm5kJg"d~p +[.a!B f *Xm҃+y%o$k1>ۨ9NI'쎷J? /SQ1##&D^-uꕔ41-s<6V}UHX7ĸ=MEɪ3zbZ^P鿶&Wc ^د_[a\jZZI<^!QXnu0'"T>d ""Z6qv+K-cG_VMVdUz[\Von7f6bzӚq. 6F>CzV쪈l>۽$"%V/WGfN}ea][V`E53>7uŰAM*qԀH͖KK&<4Ĉle0o*Eu3Fe#ʦtآz/?-$'rߡ7(Ck\cG\x#ˇi ?Krh rܱk(r%[Ӈ)/:4XZiN~,PBO"Yxa R#;&H#kD$bLO $ oI_'G厳*(Gajکk0XFh( EڣH0Ȯ1uC6L˟&gdcn/WGkWR$M8`.fߦ0v2ޒ%'b$l\X:ƵB} ?ثq$ y/iۧf !/8ɖݣ<$ IIRU` ?O}++TGwξj6a7 P9q=Ws/L=O!~5.o %du;{Q_*FGIUNˈ~qҫ`U.xu3+t7/,Zlxf@KORBH)9?r,'lD*tC;߾UeT#艑#c4Y騶i@4ʗrJHi$IalB> }P3g۠R53ṇtM L81ҹܝh&Fѐԋa4yYEc?M@}/V~~fjR4o}N>ox 1N.[NGT&wL;txe]-qԷeЬ10k6ڄ|%5gxd} DLL*3wĦZ,mZև7u\z)V>Uc Q}hچwzdɮ ?A`8do8@ W6/d-*H~C0ʺb+ES'iBU>,*r_(SOC`?.2Q7/a+4~{ޕ6q#[vVo6L{rulDi|U1 -ZQxol+f>5|?I"[7b~8tO'nNSӖhzk_/O&u #G*7gsRmF9y)NF'tCˁt~M+vo36M n3EΒ.*z_dϪz2K`ŤH.+ƺ!ubSS)Yi8s2cOj5Mjy`qj> < <7lsMZ82S=UN7F7 dwpD`&&஦fmb} חA#,dL~`v`g +_%cޮI~ .͚2aQDٓ @֜;>T!!̓>J)|+ ¹)G,g懃S.|S@LXlƗ], n~|m+WK? K D]~joG_*m%(2V?zu:N>v#42A'N܎ӣ%T% Xt=_l+G0ji"ÔiWMhRcrށ*g:{Pg] .r8k/~rCd,iJ8E t . hÙ?ogJu >36۳s5+a'Gb:Ss7`d_m70)}-Z{~  -S/f |QNH*L`J\6&V<޻WF(xiF+xl7"\^UK ]5Y*H\V=_m:wkfp ?|2lx?娉_}aQJ d tLv\q߹tgfq. УW{_aRf6md~݅ ;c|'85 akf{ 4E6;=#M<> ܨ0hRMg M,=jИ{;4hm)] 1Enu݋˷PͅAgYZ U ;EU"4- HOLCFHOLCF.Fixdocument/Fix.tex7zXZִF! ]A-MՋhvG"uIBm5kK5E=ǀ'0׾؃/&R"NCiVQ:/Ⱦ]D҄Vkʄ%}h5btVp848|Q*{x76{b${⨒tj}ZrͮJ\(֊1FP?iS|VtK#bzGn;?s"M7WޑM/tMMHb"11S[0C'>HŻM'X?s;۰ 5w>`Mދ \ZӑQnb ]Lgq&( CŜBbcQpswsy0Mʄ<,&ּe.ilvHޕ a=gt6MO6l{h  *ODs3+# $HOLCFHOLCF.AlgebraicPIDE/markup7zXZִF! %l] !M젗OFK? Oȫ4WjZ;=l`4lH$~ e4p8 ImJWÊA0t_}#0Wu~(CFt#-&𵺭y`G^4rOzǩ[F(TM[kYyD&ikmR =9XOrʛ -=g GP>Y)p[C=bXSA)ug||-\lcbSe`k^r=`J+eJݑNnڧI#/;~9eC̭Fo>$(0jhX.uaF(@)^T镋sUB逌`9Gy7[)NQkF]=jRmV#uGU 0yHtU4CA[3g2{na.|e|Z/^ Q<(Y"e`-7-GߡWYqޤ*ؠLϚ,MU-k mRRh@x1(4~ M]nze*;[?{l%N-p']NcKŵc4?Vv0@硜Ж!«Bpf)A[mue Tj5w.7G n?'vo3\KY-I&EMczߒ7l8.#'οiwl"gNe: ഥR|nۏF\U*`kN*B|Ng0=Ԝ>;NU:-=uYy ,̣I˱_O5dJQ4K9ڡޖUd(H ^rAlWftMCSYD}YV?գT1vPb,ҳ3ص4zҷyDž7_!UrTr5+J{2qrFe{=Bn \,T. #Vս;曣+/Zo"f:iiiH79i(6w~߁r/X r!0`g}q]xXⵕ5sThYjWT"_^x%o#H;b(g{/l Ur90%$8T(#p#_L<* >4cy5}*I&~H5c;mOLI1pҘRV8#UiPCk}v8g\H_:i!/X%#  qH]陪j kW[bd+g>*&9O 6{`3_4j"bn78Q˜+F¡-~{peC9Hv)9]Ƃht5T:j*7s4AꢬuqQ[fXONv-Gh<^m; _RVB;4'9q/?/L;[n>HNW"F0Np9^S-3q0BхI{n5˼. $}tLƱ"ƹ#.zY&L%:m3LeZѷsE?ߘLi DCE.w:b˾Ҍnk\/#ۑ%9UR2? D}8V*ԉȎ%5=li˞kcdy93UHE]н.-T~,<5@ns/gߠNQej{|I)\8e#c’T&E '|훠$kTVomBХ{ĖZI0O(d?}@x Qd$0eE<mYi->g C .,tCw]|&%\#VQ6+'vw"qXԸn Bc((eFz3vIr7*nU SV k= mQHMArIy[#Xțo _wTJcvusϺ?Wx4،n ^jc*}k djgYZdl{UACRM`4>%K>$&w `)JCBcist|Z;QHsI6ĈyqHse$!Օp5e9PH*ulaP`:oLz|ՓxtDѥA~z "קLaew_|3YT, )@ ͳn;JRc.>Wdx/ hra"f%/eТ|wcuВjriRA?X5;=zd3fqa@v7 Z0lT#Hc>Lw6 ="Ě'*EI]d4MwN|Es=_,ۃ%% 0u8+N%\M! q LO6֋ޝ X1[T](saϏ9G}1=s&6C8،N6ez uozd$s^*b1#5=I\X)Kn ˠѱ*%YaxJ/HO+jCUm!$ܥ.~&/1rW0LQM.dphCH[/p9$GKpoow(oƹI ,N C8(-}`{DԌF@ޛ(^D4F5L"^dRx'ߎJҵ.>WgLҮFL@noTZ7lL)a`@_l"߄ބ~^Fe֑,y\apZ(R[dⷋ0bYE 2RJ|+ukd1Wr__Ol|zL=&2Lr}^:Am"\VmG*)o hZt#B4#D=C<3J Mov{!zg 2ZSzO$"Lw^nW /}LPOzm bX>:'aFyt$[mР[ + QKl/r @Z`0{[7n2`/x)4=?M~lz@z++hvf`ߠlr&xQG82Zt Q5ږHJ#$at&0=V]E}b 4u*T[Nb۳]T;e\>77//mpjo"_jVxpܐ𖖾Y"%Ʀ峅Ě b=3˵} g/֔uk* 2"@|2 cl M֒-X.ޚֿRgljE/"ӆt &OEBVA4v-Wu~fRaVR_ ;a1`aśRcu3M>.9`FrDy9`}n^M@`r+}U.j!X"7/b.}2RY.H_V/:h Jg2VWUTW{0wra~:S(6"Ο\<{:rIӤȯiF0j+oZO&Em,PVowXv+k|:3V M?AW1M~N`H^&\jR1vl?n&}+! UMϚ]ݩ4Rqʂ~sLxd.eҵdEֱ[^hAL;4svr]Ԯ > M#io:nz.sL&}Ԑ4Uwmw HW5=)X5X X. j !'E QQ@x?Dp9Dh1|c; As%wmrdS+={l>Jɬ(HKێN6jKP[QCM3jutMck&l/Y X_%8tnjH8r63Ltz4@Э-#Kϲ;ܰF;2*=(kKlr-@H8GEGQ:xhO'0tQtMZi9m/8OV .!uĠYww3 2o[J_]ѻWZj'yˈ-@7vY5qgd@3_HG8 TQ"(++pYӄ>}Vg'֜̅Vsgj$: &,J7rvo2]q*fxb)!4e69B?q}:j` TysS!-;;}#9y_;s{<*O|O˽=7i_fE.~gR- S-v5DJl|PPS/K=gpK|z48,x>L!Vsz֘TYnDBEyJ(x}XމP (-m;VLk}dFsv{Ux,ėWYD- #b"κZPv:+uұgfay>|}*+ Q- #zZ;40dK5Ʒ1vh?8:?mA"Qq2"isTwx;2Ƕ{$ 3#dxV Pit bf]#֟!ukgYZ_ J=墟B@,t)3 ;6Ĺ=>ȅ8rzPzPsN78*SY5Hѳ.Wg6TIBʍ4L~O2`#)/~ܭa5wKd(-kpH/nӣ,wߤ$9,,I5ɢnqUy$U{G5 j/Fd)#^ov[FZ>TC zt) IC'돺)[u(43qg'A>ꅽu(9͍k' 69*H}8'(Y.\fF3/BwvSIÔҥr!!V@1wEks$ ȡTX˾7zJ>a%bg5H6\{ߟ^:Ĭ!0kiKmj&t% >[[SJ$KiӉIo3 !clb  7wo>\5!$[Pq^}I[s5+i!3x*+[" Bj~1Ga}IE7e8S^(c y!'3bb it8WyPzawj8+(2x8͖_>#ebS+%__,|Ȏ.SH,i `LSfP{p<&%Rj}d&>ml>0o?nyЬdž4/`9=Mo5 z==QRq3L݃pG*o9I[J]qҚ='rK>ML+I5ߣLK\RSA_y E;RZaeҴt GuE-R-E^/q[gϐ [.LN1zN[!,*v*Ss vxUʨ\;JvN80WG0S߲^ {$gQ 'v0w_B*2C$ ^a?CQ}jzuԜ1?;SMq }*ssp#3}L#M55 B:AKNjBO1ԭ6ݴE]!I=ip]EC)kpFJ_tKR~@}5;\aQlO퓡n:¦Ǧo萸#Vܷ?.(e 7bM\3bE4j!2,qd+0lA 6}B[8gKuܒhotJvTyLP8l}"]ڏ J5N0Җ+n%0U4%0U fE\gvvݱ |iB$%!6!qwBoTma-()hf<3Gn)]p:5J}OQƆz XX֧taZG:^B9aqyN)"VH宵q()=Ev+w yPK@<ʟy$6ãƊ {x-[\h!Cs 4{sS8?Z'$ 9/_&<O]{TV dE°9@+W%˰=ӧ"dCF̄xj)_-BY%OW1Q%ha_n/Q1NN1hA;ZIxCR_1y?ްi3,]^fU/B 𭾧bܶٳ7.m\,ݔ@$YV!]=9HBHIz]7WNiK&UV'yؑOB}xyzstP V}+fl'ͳ[x !FpgOMYw`bއ(*?3s Yw^Cٱ!p_kgxIjT #q6 _hxqUhTØ{_<?5> seŌ0$;>+o6J|ak9RN;ϲH2j$* Z6UâXL"X%Gh%4@Y]z^~G*n ͅq:Lzs /C:ᶺ0p8e`cW5K(a K|9b7k$!Q0އKe7vpJyq{%j(oC'BT-kOv>}[pwo/%^m<}sG齝Lw˜b&&ۻ~95z2%>zIAUS_Q#G1’L{p+7/z#{ 'oIi}1?`jxK!_SezA4О6Z[ g>@Rj;2|B k {8lfߖ{'(Nv)IcgspC[Uޠfj Z"s7g+TkaiLr):=y߉ǚ!l1%F/C(o!ݤW}#c> 5c.p{db:NZbv@fxݨ y\/#'.^ɚcGlH!(*aNa S0 .5n}Vֱ8@ # j:3%j }:"rb͔{ 1绐XJNj^|@Cs NèYɒ z,V+YOꦕ:]C7c06s8/IyG:fq\B7"Q @ऎ%>FF8Ex-p-omb~LCa~\M =,fDJv{_:(35O/=ߞ#!d SBۑr]hn g+MNpu- 䩦hë87 r?&qP鳣>`ؽǂmR@yN]> ԽKQ<AK)~~\f˞+g#eD9y\{nk_"Su/$M-#b>#Vsܝ0} oٝ P@Ri#r yz1Tր><Ҷ&_|7uBZbz)_E֪CZ1究7е/o^sjJj?e=FZI1W8?vĥ-Ѿ%bⳝ(l2'}yhG[ܪ94wCwVw=Z'ΣaXqy 9i b:PN,La T-LN ZC`-בqۘʯyȊwƅE۬ ǨQD|Ux,9ȼ ^Z )h )0mv!"'BRP5Q_䞂!55 c]$wQY.בcP!0,lS] H-=77Fʒ֢2fx)Ճ =JGȹ^~ᴗ#n0E!(hj[Sxٹ LkAS>ӰwXtHuy$&#mDoHsC$HHj/GcAq!rjMw8_-tk9_͢qSz|3*1;%t]rU3_18O9AOϽp=ܱqdWI>>aYb!DQ_B9b˵բl[1tmQX3qí*d$*%gYZ  X7%# tHOLCFHOLCF.FixrecPIDE/markup7zXZִF! !s] !M젗OFK? Oȫ4%4y8U3!X6̎/"O$:L3dYq2ߦ11|[zM|Z4Lj ASB|` &Z3Z&GIe`6~jq+K1C* {AƎת5ϜDZ-s"s􌽸>SmTu#bU>nA`DvS@-\7h#>yxjt#;^:VAUi.p#*S$E]G͆{v?O $'gS產%% jU<Tũ:2 -nq<eAʹW8!avD4N49X;R0A 8%(ӋIT6SʫW7H .44LUDl!jZĔ|^0nc "%$xAa$O=+r#΋w^GXEiB!|Kh;NhL/M~a"PZ>E zo^4׻Bdb3 U? e9zÜN -" IAoȎBX$?$CЙ,Gݑ؏w^ZR7K< cG( oឧLר83g1p@%d0hLt5n{U74:#ן N"* rhwj*vkN,Tr(LW5־C : Sc&@+PrPAwq]}*/ qv„Yh(ptuxL/zB'<γlMr7IJ ?Z`p<2?)ʤ3RRIr>Hz .Tid D9C U?{̱,l"got6a )Yozl(B6c)rB-J|VZmOu|pz/O[UUmT^ ll v4**qSe>KRpoBQd/0!O&,ҙ5AV=,5qsDp=ìCO}n|,Ԣ)P̚-ˇ_نܼBс:T*]#UbO˸X9/\Ì[@69</bs )<^ Ҧ!d#?z~.c[NRT)ry-PEtѻאn).q[*$n p7!n76ݤC7dğqoY\XlYk|J/|._,E z` >FOAgt Ck J(z Ad4:VC7hEIȪy!$8_c`:kQUx=-x0uavp6xN3)raS6Gw= xYik hZy;B@Dc*57ڞ05U#ua?$ejWĖְn2KJ%[˲(iyz@<3Ws\wdLfyL Wre4e_gh\5V'OfLfo+ԯQ >'^:Q@p"Y =c] p}=k ({-VuރElP)0=P`F_`>: .TSρrO@ 2rt{h7(Q !'V.cˬ_ hA&B,#? ء`'G.V ;`TMDa1TxS3wp鏌a_a0 ?Tڒ)wEcSԓgYZQ6+' \HOLCFHOLCF.AlgebraicPIDE/messages7zXZִF! g]D?7 {?:fH\ߦz.N'^GYR%⹊mC##o>GJJP8s1} {qwfjBPJ\wf􎹎q"tphozw 7{I=;:LDvג Vҫݡ˻t~鵯?|m5NGXqANRܦɮRV<@,( wL`:Ӑ&_GtmOmv& "Ԋr,OTQ"t6d͒9DVYY1<Rfl Ed (=rV'WL\:z d]}O{NkQpCwlELM ,mgT$Wཚp/>J+ʢVWue~5Ft[G"M.e_Dgt ?ϕp O}\D.&;5Z6kY Xvc|8u} \,bIhBH kW`I[} |&f̵ Iu<2Od@~~vyy/w= nR\Ggs0n_/Õpo`ku:3э&WfG^( W1Cwh)i)t>t1CJ! sVEy'S?(S^A_"]*8D{kbGj0SeZ8etZ#3I Ŕ^Nߘ2vIw-sd.1pM'xWb"GE/*g4i={ı'nOk3HIYr֝-PJ4DssU+X|ڤm695bR5p3l\[eٱtNя稘£" ZVS 6/UPs!h_`KطOP:Xpeh 4!^JaIw,Yb>U'Ţ܁\l5!߲v1w(tѨV5~aقⷪ,[H}}R+Wϼp5ذ,*9q6Yxue`?Ȱ 1x;u^vv8DŽm Kk&+4W |MJXz#m VdS'#rD1DzR:qlE ߂e@.FkTl5Pw)|䌈Yy4鶚bM#Sքל-W]K9!j[<|N1چ Rטiʑ5ht_@4etiYúz^OHz^-\d|~Z( h  ,L9”j>H ljb{t<EjʝAh]aIjɾk9{ 6Uk!|djVشë6uur3&%ٶsO9; <&-*\rDpKR$7ا4VOKضw=343:pTăۿsb`p5u lɂPQi3i^]>G28bn;8ɔ#t'|9N,QV M˜#[uL¼GcTJ#.FS 7 wM2n[qM\СLq1dB&GQ!"J29X#d*M75,3?5Q{J>p}IGLYvJCuŦP¨S | 3_`}vR'z&+3]u@[oajȏ"[tEv%l1Ό:J!҆?/7=C_X֣?>:RkNhjEОZ-$'XGB19@I*ͦs͙|&xxlȫr%kP斉-EkR9@w3fG,} ӹjwUKxSá:og?뼣¬n)ӿAC`Բ$06lUuā_>#;8cƒ(\D:3H.jĤBϟ+ռ]uG8F"bvR!l@O^τ'48KazֲX`]ͥo򖶋ZS|ɠu!;ɯPt.ףNO5cC_שׁ%͆MFm Xj%h~ˎtYƜckqYD.k[hڈ:"ЅvU_`VH*X7pQk> 6;A-3VnUS27\ux>1{Ib"ښLn :#3h)Z~qZ)eG_vKڣl1#Gqx!O.L|ݛNw'9!1(Cq4,\!}v Z[h^D7Bgi5K1 vg0lNy._l.eޚ!K~p(Q/!i->;t;UE1Kw]? [r9 Iy}[Nhk,Cak_Az}z9_U7giHfjk)Z)nXg`9􉡛A0z)9݊Łь*wIF&cĊ?,uw.?zu r116j6C4}zSo=j Hy-P I&"NtkG"*3}}sbaD^,Relys' *SQ$џTг7$VS?#F$gbIP;:0j]dpitN寑7&"Lnr^-!^2l|tEQBFgcIKk*odlLpɕbӡiVCVdܣoc}>k(;_\~EUu+NrqXm)\q^BlנoHe Qzm,!v 8s#]0 0ttS1bʝ,1 t\lmTOh0wernI$?b*؉G%(vEjlXTys댃ylcwK ~1%6T:NUG7ih9y_}EXʊ0j̻tEg%YI<m5pPgņt梖,E*2Bo&;Bt[<Lp뉘<\&O@X= ]\+ݶb+B(@A@?`!dUNDV|ߥ9dHdSyTv7}Bﺭ ju_!op6zPvkvųɻg(*d@WKU3ɲlv62;`a'&}=GzlU L.i\Tl׌yrA %ܲ-7t~bUD~]Hmʀ9x{!0~Dٴ NkաZ Cܝw"D\H0S^Te `QJ!?z4c+T-'sMZxd\7@}SaF W 1렏_MJ a3ZS@&9?woW}6cP&FrM"oA*5g|%TM5C"7 brѕ0 Fwbjm9<ݑϓa¡9v(aH{7cyJ#ڋъYgYZ  x8)7 HOLCFHOLCF.Bifinitedocument/Bifinite.tex7zXZִF! ]A-MՋhvG"uIBm5E-'i0}(4|^@c9~r_dF8[kC. nEh%9XoCUp`{u](VӇdt:; ӰHshNvMe؀̾C6twT^^=2 q@9#t6WC&HvL3o!=ɔ'5:/oI~߿*\t+ Q p@S3} d h_JKsZ^C+g>.㭩Ӌ'_l8vrԍ&<cN$\N[XGX<VjE"E>yp 1M0(T@Tփ@[[!osZkmE[@vkgZ/kv /pɮ 9qL4Y(qM͙Q?& !;d@͏H"6!` zlS$##TQ1aWiqB[a]kp,Rh*u}R_廝;޽ʘNMPD}]$!1E6a& E+H ȘhRISf31M0iF0X ILۣ8lr72Y\?r !W-bq$p.N꣏E*].lU%}7=z0u6fhHOl)v d]usSF-+CΠ1cFT@(i &+-OT6`=*OK_O`zJLN#WԱȖ+-I?*a!ڷ+/LK OH9POG6*=KqFOљ$5&-l{s RKIn_`vU;l}d>J-d 8B${ae!"3Җ6Qs? !3Quk9 նyh"H¤jSlE?3h ?٩l"/Xl^n^m-kcWFf/Y 8kv'qS^MY<-M ۉe佋GEpSNWW}?veEyxrݯNi`!;%ܔ-J mIHO2cڋMJI|^hSEbrx^ڏ_#Kw(1tT LRb޾.+o1l&(Я=|ˀ[2)|b. TBoyrF f8~_$4) @ҧ?#9W.[1mo[<';o9 #y# 9 =fDŽ9}DO!4nQ;^7#]+rGŋG*E4[\>\#fb6M 4RO#!JyDN1B|gAmd0 qPY_)QIgHs]AxV(o0TcW'Ɋ? LUOw=D"O \͜Y_agԆnݹsJZ<'>6UE^h)<q?,ﴵb)K9c4@~+@Wd:!<1h&JhfO*uy_fy2ڳPFNH i aa`iJ2f+yc5-w$QUv݉}8/n:k$c_76!$̵ +L^U񂎕Aζ{HC#%vr w"(Q@-USsڏ$_*Qs'R#Bǒ8|.s@x[SKJs EMtmh l?.@ETem~[oZb"&1sY1sL,|v=ZH啬t6YI:= QXgC@ I:g/k΍$>vVn 9 jkJ BˈQ~T/ nf}иJU_ Ni%i 2{u -T2hbM#+{}57Mtv'CO=d)ۑw;|wQ !s n .l"da!$i ?%OXT2}%t ؆lYfZ>nyo8ZncM = 8~-ْ:mRg|76@R&ȇo6" %qN5j܉6cWV4 \d R۝:ӽİ7pP#Sj࿛QTl7,4[A n 2UȷOPGUk厗\q}H,m- 6b#Qw@e!P6x%Sy6W\Kw!grsf>I3{_lgMs,D?uۉOnRގΏFk_TyA(PZ tk&Hv/vcY.KXCP)xs j<J{ړ7vUWr'Sy)[:80.]iJNc=Kh{q\䷣pDq O W΀.SͰ+!!_g.r 1rZ2,'.WemCa^dFbڏc^a~2^30O.\)N7PCqAgdΤne֓=|6/&hL[= pd .hV L!erNl$[`՟ mN6tj\)Rbbب,_?}ϸBZc22QaY ηSm>_'efe/A;9;* e]ۚ:Wai+myJs9L֛C,ܡ`rojI4Աˡ$kPŌHuB[Z] :q30urԸU/ g҆ Ű`ݎ[+\{4!y1y5E d̗0L|f/c&s8>89#^2qNk%s-xny{S(P.C@ąAIeO:9Mt;歄{*.<4H ^(sHy|kX7UZI8d@RӗAϖ9& e M ZZO:OddczJZ(Y]"Ux#!] ŧ)]R@ձ6 ;e%Y%(.TWJ^נж Y @ GXү-r%Z MrDʏjׄmpYݹ0N hC^sh''4 {.\h8#YiYE~ķͰjMgOx\.Xy_6$ID ZJz%UG-љ)Q-C,rvѾ [ݚ 3DcYwݾϋzG❈2K.!{#V[|í2 ([K0>@Z5M=L;K<UV" $/TULD6[ Wv82Hfr Glze[Gl_?iqKdN3H MQ.yfJm4s @ǡ0z?Y|wWQgm50>>;S.Q=Q,G/YS-hw uE!JM&%3|]0$%¹V>~|Jôd55 / 4BD;TW}Nc%?5wK=kYov!_9~,(R Z#NMADv 0p\v0 fHON9/c5=0G}9_'_2o! bw=;X6=Aáo4W^{Ui$ 0a.@9d 韁\9u@dwy3衺T~7٧=v)U Zn+vzNe@`: DE7qBG#zSekH "A5GInP:Q-k3kc`ffǘ &"-$8 T`tk2'& 3wO ٺ\6uףܟE[ik*w$lMy.42`\Ѽȶ@GA U1!nC56ITy>20 oţ \ܙ!C?PTDS5ƿczwTrSĆ}h9BF!܉20)>G-y=a\H3R{bnStna2Mc;LW ^yDjظmWvsKƑg&"FӐ@sJnWΚG5*0mpr:[J$['Ҷ]^{Wm (LE8e~UiL * M9A/J,t9+t쫘Dڷ>Om6)(HC"G6e bp~L>}#(58"e|#oxIW:ōD"sc6'vV>Ԫ"ֲ4; Ibvθ*\&|~JJ@BR𢋎tL7w1b<~&gU c$ɌPV*甸>rI@Cfv ^Ӂsp: n:JjvUp*NNݚJg}GkrwW%zu2l޺u.̫Zd΁!nݧQ SRw1ԕ3-{vc떽 qujwrҩùn7[~S: Z_C{DrK+DtcCʍţ[oRYE/ ǝyˑ}Jz^;Re/c3{h;Wn i52 犊lw`O{B􍽩gp (0Ƒ͕ X/]lv և!H'.)_l#޿h*Y,<|$}KP>AM[ێGFW#Ӏ gYZ  z;%' 4HOLCFHOLCF.FixrecPIDE/messages7zXZִF! hX]·Iq n[:|&[z=l(`ё`WV8#,NL{VHT0߱< YRM: iax lqfRǀE%7l.W9$z"W9^4;Y +x3Dj˩ؽB ,K:!5Bvo=hns:L]cwHʨy]V)!hS~Ϛ<f$e1)WJ'Ƣi;#\V*ADwBdCeȞ2sݶl-\Y{WkI)! 4:b & O4v}HI[6Pɉ&ọ*ֿTLCϐ(l,ol,x9 @QZ-K;/?DyDT Ҝ3a"ZL[}eE,_\NodKVLnVبV4̙A< U c] uɛT?ZFbݘ<7,,cU T?'8Bv9)y EΦ;H2ږ_O?aaC dDmO]/t5 =bsΰ=;*F>$RTdId-: NneҦ9 64/!֋'}HI oS"HȭFd&I0'eW˝|uW1~پ]}ae:n x hx_ZK# zMRJickf:`uc(HgL8s"7}KOz\Ua"JtA\v,<r^W{뷯g8'dmoLԠ*e]` y$bΔm2 P4"gYZ :+ \HOLCFHOLCF.Updocument/Up.tex7zXZִF! ]A-MՋhvG"uIBm5:CKtREDlo`^{UOK):'8f9(!?Z>{=rm5Er!$$ɑʠ_[3Sw6P/MS I+~U\R,Fd=K5O쥍Uo{iT,gV*>x(6|?V7-_>,EJz Rģ`}&d'͖a/.pw[{jP!k>q(bJ<Ʀߣ"aqsu2[&QH jF8V^ŭ{cHW8$sĦ'F27 Iu/K%xóhst֯( 'nJ =' dHOLCFHOLCF.FixPIDE/messages7zXZִF! ]D?7 {?:fH\ϹiZ2N"_*7vݑFմX cl#͘g1Ѐ 0G E:PJ1:c%̒s1I-փ Zԛ1"mH%=|6U:vUcY˺m6eZe}7Hm8ixƻ! ZHW11Njؿ`WāW<T 71mj`TVwȐ!s!ҡ+KT= IxK Ŭ%yOԺ# t~gO2IZ|ߣ3@>2m6axT-on;48{͒dLDzLy]|nqQDx ź-4DOJX7L9aζ `gYZi<# HOLCFHOLCF.FixPIDE/markup7zXZִF! ! ] !M젗OFK? Oȫ4$iP M̄B/0iV!Kv m_fApowW&։Ar@\u; Z40rR?dz$Cp@!#D;1Ds9 J\ma4Q#QqH AvBj[v_U0X$`)cj[ٗ.Suˋ)Ψcyvj DZy>\1E߰{lwT2kZ.\>#^c7ie;ɱl%/}sQ|qZϥ] 9Oh4~xܛ5|d5GAs=sS?wkPTz|^]՗>o*nd0$S:xl{V SϢ絈[DrLED')+z\}2;5KBg l w^-YhZ"~1ƅ| eUaλƁYnUG=Oպ3j>leVI9l9dŀw%ѷ˜9 A{ك )4x'!GUf UaVyضUqo >X9kyiUMM&Ԛ'y(Svm+y}[hǜwrZ>S7Qn݁l*2)c܄hT{QsnDKaqz-aI6*sS%Pi#Y%a._qW7+XiGp6ˬ99;N)Np`xÙ&=+1b$R;W6Foqx_ˍ] C>ʶE{uSƋU{MUkVpӕmQ/%$s@ttT??(2bIrV%pI"FJ SD n+DOHj@(=-r˓ZGJ#GR8w|Tw!4ưL3a@m0lj+Z$U&OC͈ow4q U|saB'!=ܽՉ5=k|º<@_ʉPV׮c;hn 9|ꥲG*ޥr+ (UQJww^5sU>Zr&&#+/kRF^ !𪦒vҙ4io+HIك6cxXC& *{ 1ɵheMwVyiS)5,un03Kv/^oP(L;S8<+hv䒘>ӖmR[;7[ O;jmv>fI>;AP63M 0PBfۢWoOXMcq|X%x@e5'e|j&Φj*%@% %;ԬL)K[hX.BҐ?O)){94wmr Le@[ZǿqhpʲVӎkNvAh ؁9%rC. CPgYZ >L> ?/' LHOLCFHOLCF.Product_CpoPIDE/messages7zXZִF! .]D?7 {?:fH\.Dڔ0 xQ7$wMu!!k .$2JoX"o>U8I d_i<k/Y&8+⶚g !'. 1`:R}*{߂]|);1qfW5m?:ޘ+"V={}wH+PнdJbGs&=DO}fqmEYGd<T oZn 8,LoпȊȻbi M |d]ΚLB#ݲ.Y*+W!bCM֭}a-۝Z"FLK[ӯd,iJ gX]Z=.JC(uB0y$A~pGDMPҕ:ku=sk/# HOLCFHOLCF.Product_CpoPIDE/markup7zXZִF! $ H] !M젗OFK? Oȫ5'/ tEsU)睋Pk@WW5=$h'iݹDZr-`qv/(l^0ӊ&De b/ !e#h5{H9Ejh;25%\~$\":PzSt5wvF@NȪ("3 !L?6%Bv |1s4n7HLDn!N[c ·!$—cWmy%Xm5&`2r07lƝEjjal׏m}~6ĻZJžX2Hkh9 6D`*WA4xG"WH,[J;U!׍>z13:jKq!pxOUcJkvY\-+XV~mv bhN|A H 9/H`6P%<&m^a^g џ,`GQ+QV aA,"Th W7Ί=n&RETמy]/ UJb,ǣV5G\}!<\:!_ `~@)}jO)|[fu,e2*z&ЍvAE$ڨl3,^znIi8c %$G"bx)_Rfr=J%N'9,9h3 pW2-[a,cCjC9k fJ߿_^1j949流;ɼYQTW_~~YkR|͊ %>{aa"l}\eY)|#) J\B?7@Т KM.gJ]e,Do%Z#G3aȴ%G{o  qVi>Q =;cxN`!fKw<XO>,*8{j>cD=A. H6u#x"EVf;@l8LD`ld@++V{u)w27YeB|Mb[}ڐCTSW)7T9N7^ G;0ϥ1YzEzIόFѲ1tR(X=a G#9fsh3x#GA`ܠ ڣ!hnk*zqǔ6A d,ZLSʥ;k.*~\0ldeQ?0?ɗx<%(Flɯi k1ܖ̠0+13nPeK۹r`ևrD+XeB(E9TC,zrhKartW,Ts ":x1| M}\Gq-\LP`͐ks#>EZ0D+8V.R{Y  EH2P$@@E޳ Ht|['{CVטn/]+%DCqS v{sX(Φ畻/eb9M.bNɡvm-iQwZTWrxwnfڿ-ω 2j(8™p`an2BSǥu~z 2 6{\:.08s~.@igTޏ<ȸu*>巼ɓO!eh^/ebnjwzgt4k$o lmK9;ǽdYqS"R13 /1!s-\s6GGg!tz]MV|90(^S/jQݯac%%@)JGI_lRYd++*$0H`6Lf*j}Mǥ=WUDu^$>+VJfG4,ؙqZҿ,&=d20DMJs0+.-|=ݭ NH8s#Lj?}oqYu=Fy5fY%&y}G=˫6kOj@:;!Ϥlbul`eG𼏩5"OXH {5^l(ot_G%/ЬtT~veOS d1} xAok 6v~5_(DJo)Wc dtlLo1^-Tn1Ÿ0`aUy&h_|E%*6ZwnAT,?i|a%\b_0|^Ö +$mU˦i8܀Ҥ 3e>Ӫ/)_E( qfRmU^~kFY^{W&:TW:߬k)B!n37(Iʧ~}C]+7m`_\ ģ}`nRVJ$޼B'B^렙Z8%)s 3N>®uM>hsW\=9&k/--V= ՞hM9I a,GkZr&bŰړ'(Lqm̞ d+n"T[AD BU&3e\<_J*sfQ0 ;1"C-T~IH=j|; %M!EA<p㇁B^ag;2pJ az2VJY kFqQ)S=k9Zթc\Z[E[BE'BXj3nxe TVz`xAQwoB Q x*/" 0m!Mx-h1k,27 W<WrԱ}@)Y_G,`ˍGЯa g_7M]rh EXd' ~|p s "QXdՙk$an{`lX:8oސ٤$qʝ/eLo9ߔVȅ0[6U0yOzp$7NW_@[9W CP2$Ҁ %&EWf0pY:~Q/M3gYZ   tA!/ $HOLCFHOLCF.Ssumdocument/Ssum.tex7zXZִF! ๩ ]A-MՋhvG"uIBm5ȩmQ` }ucA`7M!pD?&(]u'0bS͟Bl?"I],tq.Ug{uhxb?1sJ sKkFk~dI gZf* O=FY$:3Pŵ bZaH6S&$Ń ӼY~sq86`C-4 xD/rmBķc{ڰ*/N|bY=iUk1'+MB)Sn7%Cw8*k >#el7ጝ.*|-#Ew8/[E03.s(vޥ'JkB}P .>g:9:]#pJ?m:Osԣ>˙m`*Co~UmJVOAAԑrM4_ՇBԔf ,~ܓCŐDsltT(=?ZTBC,lPv^bO'i;uO w7wZ-n5Y:P鱗 Ixdm|DJ*-Osbϥ g+31ێU]~^SY*mRF=4z3iOkB2ɖԟIzb 9\U˃ conóaFW.s6&.d >y2Vs6΃}וJ0L2/EGZaWS~А RQJ'Bei,\6=<]iϙgUhY;¤{3w,N;vS_(C0UM/LrcPƒN}G&V[^0N$-]0YR n1_K133!T5F:dȈݝGL8 'ŔaOKt-u(X~[c Y.:6fpu-E7˛x)A` s,] #ەyQ!m)" [{ǙT#Asۚ>c:*`\dI"׿棩YG==[QWt. *0Ǐȱɟ 8 ɔ\_y7RrF <|ܳack6%{Ħ՛ժbQ[oH)#43/4s"g tDʯCHu6gx.8H45`s/G1Ͳh+%̀ PQXb;2&&Rjv3FNcqg“pJxaBLxQ;c1 An`a]x>\1tgC `؊F/\p8R!]xۢ&1 ^A.V pgx|88iὢxL-ov~ qe8pA= 3{JXvV1&g$@ @gs'㓤 BkCVօTD>m8F @ѻusՔ7ۣ0X{l`%J„93h.uijr6U]ܩ@D{5~i ^N~ 3 4:UZhfO%VE|J8$sRaSl('%KiՊ1c1=aQJlzG&?K? fV!xF u!XθK8{ ٠bD{w^9=}8K,N% .8sdo4"'ϟG8=muC\ݲ'G~Ĥ:ԤY6j.EmX0*>qzCKrͫsqXLoYCE?eʇ6;lyKRM[;pkpQMx l(ֶ͛q8FDZ)-v]fP=VwQ鈌BPuphgI ȝ 2%" 7fm==Wʚ 3JRq7-L^\)%³ lRдz+3u=L +nbb&@ #*S"el~@{U(oY%޲ޒћ%)&Vۋ=b.L;tmu|챩|k )-D]7r/fB$ ]V@&Y.N>~RGX43$IE2I$Cs@x@kjyL}6^аI,DUǣ!/rwgYZ s s C## \HOLCFHOLCF.SprodPIDE/markup7zXZִF! ] !M젗OFK? Oȫ5ւC0Q64NLRNið;]qbAlʳ[Mz:*YQwN>">G5d_u,+"\W{u1ykRVd; H{=m3N ڇOU׫SUPE@]R1tn&5˙j RY~%>  RQ/hA' kYΖWwYZv*>;a9wVXQ컘]¾o]YcubK–nA$$GkMH=5溢jX"WO JT>XrQKn@|hAiM:/Q1Z+=r7CLa?N-TŊ3FɹXinxYE=xH&)*|̉bhM)y#%1@`Ȧ%\kd:Z˳m7k6lMNHuSt~7}ApoL\jh'Ol;*nۻ1,.禁G',ɢO./x"(P.frmۍCQq+ǹE_=5ϓ)R(=q!f`^")"bgb-@j՛dE YOE'a[J領溳XvnMq1ΎE%:, \9M uǏ18{!`w[z,StZ7⬒u<'Z?|!.MXu~vYFa>+İvfaN’]YVJK@@"4 [tq ¼]C+ #hœ[v:ʊ9ѥ6J /] o45$AՓE N4ڣ'Tu&.m˧e|AޥiR3g?EQ<)y}n.ڠD.n' \ƀvec"R!LDܥ!1KTXI_R#*0>I0?8y=\z%1K<5LAr1u`d]ϗ[e~/`}t2lduC4nfHi:rxQRX;H¶xe@.ug?&4 E=H:'ev2i14g5z?(0gYZ|B)' 4HOLCFHOLCF.BifinitePIDE/messages7zXZִF! ]D?7 {?:fH\[rkyPAdSW[Q8556̇4KcPo -cS'}v 9xKBeԇaŹAP0%XZ^I+78 9);dkS~H>!8{a$X:V%hHeCt0ojIHj 8Y0M}k}AH(.`40g%'KǷGd =_l[>xaia rɞ@ ҝ-*T[sHۺ{iHT~@F?yuk`f^ϕ$dι/^ZRsj h糗GB,SI +ua\|*Y+3 Q OO[$ -w@k匟\ʄ(*@p VW@bMێĔ*?mHVIa:4$*cXd2}:Fڥ$& D&_$g-Lhz+s -xf9H=63TrR~tkKGl;vïA9Mw7 ʹgYZ --PD+ dHOLCFHOLCF.Trdocument/Tr.tex7zXZִF! Q i]A-MՋhvG"uIBm5rS-[Lw6Gx?yVռRHClӞ谀&@ܴZ:u&Z4dJ_s'uR, (@%h+"<0UhWʬAaq"djnk;=:d>9~d㮹j㹒qPˣHG*]k $lP-E/7ۆW-O򞺢b$e"GX^ GƸ] OP3*@R`z`8tH v=)b{Yto00OgTY媧Yiu|"̝z]tF+_V/$!66ss/ =~a.^.Yi]06-70Zֳnҹi h:GbQ *0lQg{n?sqyLÚ5O}dBG1_Φ"* OuQI8m(lLiɰ!P9yf}sHt?6n@("0㿺Xhߒ RDz8dW1[, ,r:ۙ/ͪ!B_^{~3-58Du nBⰇKbklENI Zן/۲m5> /=X!7/ QgѕӈQ8'r f3}b !ggR3"GwghÓ2ŒPhbŠ!+~*MO&md}hжipyC-WhHGm~p'<^qBϱ`%m5I"oߦqg[!Eip_S~3< M$RV!`(gz$L ;++F?"(&@;^Zy`;,#sVx@ntJv֟jN@tFI@ڞ[Dڕ,SA_KE*7ZWIȸ[&s˴ S-hzf~2@n{JYF, 瓃ݱ? -U*E13iQCޑְ) :; Qkr_p3HϷ`^?q7J\hmz$`dQ_0F;MX4 "5)fO"u&2Bÿ2r-wOu0 P[e{,pmnL !F *ٯ0~tmeiB 'i+),eǀgRC M1moyLʧ}G4T'z(.[RA:LT*KyxN@R`׭jO(MϥWH}#Y>w#܄X";94%]@YJcʼ*tGV[gc xR)Vv˃m`YyY8~|lCϷ1s܇|AN --0:n,|c6q ?tSTl>^`3 4Ip7'T 8{דGD=ѣ rm R gN n:%wDO/pU )|тpZg%ͻW[6dS4кsY*z T}W͂Ȳ&(ԧcϏLiN }ǐy/4bǀMvZJfR[i4ֱ VZ6j&a>y[]c q(ua03t_/2e/V'2RtS8*C`\Jm  KRܸYj:>0z-쀒s"T?B5*}a&cuҘA?cOL'YWʀ>28 tr_~HW 'Ȏ * $R_G2OИpGp<]M*1y<%.~.{üHX0dTS(}QrݔV[,J1pMD&v#zh C#ՙBλ haQ`A9滌MF].94{OA="`J!.N=o硩B}r?|t`23 x7&u!ݎ;*V?#"ϐ l|ѹϋ B(JdX~;x FErA'3fPtmJ(BSna^wg/2N{N‡1U천JmLIE*ހ-n+ޓH5Gvl [vϷ( iu-|X@HNVs/!T\GoL7N7+5objoN/^n3(V$ZU[Xl%B/;V"L˽"H6M WotpոO՞ֆzhF>k|lY}J%{9S ̉pcyAc$fT86 jv+ jMt@Wif褐rFv$H [pKn)0 ѽrdPm&G.zπP9!f,1( JxJbڴ|m o-6eĴDKkR^ (Sf-jt'Kspŧ|EGMʆ tL8&mVa@6_VEMf[ok.I.rgyJ+"*^Lç˸pb`:W#Yq#Un:͘9Z]1du'#o`]̪#9#u~R|MDQi+]eCpohWj Yy*~=L^"7B?@p2FgJXI/_pv^^e|SĔ5{ׂp>6QIlqCXD0ᱍf|M&QZbӞ^=};!"QS<&d x_LA'Vh/˔l脐z{@G7D ,c<͙2B i%ؕ%4 y˜f w˵Q g$PK*?wx((/2Bp(##Pma9B3h^a;`2]fߤ#clާs9 hk#S'LכK9u. Fh\ )?/ݴ PTrjXEucZi)b5RHݠ6+0vinj>4C}אH9?E=W&d73FP-"E,Wױa[x+'hF_d x+ժkjw'7U?IsЇW dN̦ɮtPd|teq5MJ\ͤįPo޿ 2Y?}a<4FBK /F՚F+7\TRLŶ"7/)A Ac.Z%MGy1RYIZ;1acZyKnhڴ:_gYZ \F# HOLCFHOLCF.UpPIDE/markup7zXZִF! ! ] !M젗OFK? Oȫ6d̠PS E!]*DŽ<$U6oI3Klh_`,l\ HfL+x-B;g9^98t;&ym+.PЃxk(q!Z'E33z<(2$ [S6•$QNs.EIzbI3 M~IXQPR0HXYxۧ9cN2}P}$ϯb,/;b90A@1rZFiƁ!>Uu mxM| z#wS \ہ0t$z$rG (W#FX{1.o3Ť(Mw--C"6p ˆv(U΁G`hY$=`/p804mB*~Tks䊻deMф)e{ 3gjtP2Vb'#+pv-alG΍Ziy~Sjdz9bV&T)1Xi!8Dޘ [#)(w.G7)b^Zp G!Q. 8~1JĄq5Wq-\ڶ5+A*p8nD#p)45"&5]bO;=MJ7KʧĕIgxc8`2!88,Tχ[?{UKȰb 55W{&l9QWU}KY 42Zt$Brv0WV7DFNW9- ;owkXY5vVxnM8˩I],(V|Ԓgby9}bYۢzcWh[7obxLo,V@\]FF@gc9DɨG?&_h>^B(z˅`b-r#o, ;diwSX|%T N) tvZ\̌*"C"G't"M7x Gr)5凛k?oOh}^X5Wf7mTSv ӔqҸ*MԩLj'+d Q V#Iv#!㳰͞G9Z}| r)X.rTH'QZyKP%!P-荅uCUoX"栣o=\T9 ʬhTϖ9{v!Iڀ iWb9ZO`~]k3T=Yܚ.*5 )8'YdAT fP9“0jΔ@dfOV`+"j[L+D\)2F**R_Ԙt35WfS?Ѥ* -vэe\lMh2w\Fl>ժGH5)!8tqbU=;BܚX ?͖s=P';t0{ W?ȏGL%M_.莳O - #dBAc&;*zR|*Ҁg9o]!q{vUr|^u 7`ޓ/XuWF1R,Z=㛰:6A.p2GF"!VIq'o l}U@Й8% X߷~扤i(%H_(JO_|;c9į{aAj;Z~lΉ ֢_(0` !5WC#!г@+sl eh!5ӛT=Y| RqZ.m[&KRsbgJLFy@+]Y?Oomduq ˯a;!{ôBaI#-i7 yrU1)p#gUwU3TCSGǺv\HB}U?. LrOi..j{ЛbҵmԧzA4ZGBaR䅥(sisA2r+^!l 8sԫ_:/:.Rțy*6pc;$2ug}nz>e3ySlgdI!)?L*I&.uUxC\ ʁL brbcoSWrׄD8 ̇;UdsX{01.ֵO#fθh|$?,2>4 kI誋֑o1cbǃG{̗ka9P^~jbpH&e*y,=U! WقEl7}ȵswutfL qьf0i**khжRH'̨$휧^JM:YoZX3չ&:Άk/gohE`x#+Q{ŏ@sbSAחAM?)76Ir 9mvGaDNV4Ѕ[͋g"htu~Zuv1.iuE1Im5:g|yF[x NZIsWC֨*c…Z.}j>?|CklOp::wz}k{AԒHd5:kн:㈇,I aƯ-$r3f"IdS5@%"\Ye?^H DBt`rܞ_ U&F'^G(!(GʴiJSyԽ8ѐieo0ڴ$ˤ.a#_O&0Ҟ <׮3=mT+E_ڑ+X{{=x (ℎʹn~ye9̠f T{mO#'<-la*V?p5%&` H\=3F |:a.:a$fwGOq6uEn5ѯSu":+WtQ5p5U"${4ZˤM}2ϊ{신KIH3Cmb=rHd_J i ,df "xuK )iSVg3{^s#[ 8‹ Բ+vV.g f1DdF.)$ # 'dmb@UXդSV< Sr hUCSv  ܮ$ۧm!综-8P{ƴ-qVa7],[X-`ۏ?{ zv-5eW.<Tx+-р.o03kLNBTۚwkn6 ZY!QتLkLA?,sI>ʰʽ r' 6ys@UjG7)idd?]4m/[m 5KOO,M] وWOG:jxk0畖$Wz+jGPO o" p02;~qDo3Duڞ L#E,Jn2-$<{q~%__T''GRW6Do>w{}ZgBύƅ 0ǺoD*O\u q/SX)cz ̶-CAĠ_른_8!nB:J=6`qt}Xo/Hi$'wYp%Ź1߻L¸Aq̏Be߹,TyğQRg짘;儸%Į)N7Pd寛U-"#Z9e>Jjv S .- [C|? ?lAqϳ+ʺ Jät% qL'%7@PyI 3w`bz˂QT4OB9~4o?KC <@~M> "O0EX_,[ u-^w@Á[auuU.6!gb:ǾW 7r%pxll}B`Wx]ܺ6jp]znR$K*8acF/CJNGϟXgLΎ^N^H}waڤtf#9Yhaa.nm9EQ%O.4Z6[ t-9i=kY$Q^}APuo)OʤݽiowykhKǏ:~resy(.O.8[@4|t'@4 6`-xim:*AL5DcΦv*< Ap-9 N)ۧSO^G8725"Y $T<㩔+(ԨHʭ~ұ`RASqob32ML[!DCb`ְfz` Qş8eЇI@c_j AP0/##-}Uҟ#6'3֠B$e-fNVu16!,7,ecx+mD1{9ơ0 EF(p<#R Pekyl017n ,"*>0Rȴ4ܴV,;]gP[$ȅ Mji@: \Q )'7|X"[Ɛ/y-f!ZwvS׈Nt2;]6>%IiYB?dT^\Q YO]QDMD}m{ý\f \qlO2Nr͙3^i!1IMBA7IQ;.49~(ਭzY=f9 OD&?Gm99-tht&o]8cL骸eJ<]kkQr] ={2ұgYZ BB&J!# HOLCFHOLCF.SsumPIDE/markup7zXZִF! A] !M젗OFK? Oȫ5-ܿse;% b?ZEGNj ʊgx!VT 9es .tkm]LB:TzIjIqg2nH~k+h'oW6qS:I+s'8\mFhɣ| sdxLԤyD+Qz%h3hsIV?$oiņPȬmW=Ҝa5{Q}H (h* 6["d8 Y)/C~$)/ ak|~9,%ѯv@|z3x0v"fQ\15ǕA/U`TKSXrIXN/~iThs796bu/Ϙϔjm"s \{]sjUm\@)3ݷ-:?:B3Zx^=.w:!IN+(}iL6a¢ jN BwTpB\ź Hzt2yKr+| kZЈPRx?~7%L4ၚ#Nv qedh/|Ҥ\DRʶKV9p lUSeҝB]{LpKn#^T)0ްk }M&eڽ*1GB7aӹBbN@~AY E9W~ ܂nE;|#d&‡JSc|ʬ5-R xA*<ZnXոm7 dJ,@ZEyJQ_!_HfwwͶZMMSSW8Q%.;r1E зNWb:bf"& kH~6N:U{9`Ϋ&yW Pܯd MІngϰ=EV^SYoآ/FK2ޡڭr8+\b:)0iGل0Nd^֗,-̊h.@Lg¦sB[7oqL 1./(N"g+kHV#dWO0,<`{U/YoŸL:G(/* ~iDP,QA@އ7vH$HT@_EB04 g=cϐ5B +2[(I,4xpte"qEsp\׿3k "ɈfNJAҨJNud)gRm$)'gKח9Y͵x͔xVzD M0W3VAl"gw5*Y[-¼ %i&Uʬ`3\W4'S%JciU%-M,uv-%4 74\wMh/3u>MrD+d־XtK=/Q 9J"d %.>,9xF9 t2ɗ7^a9я}O&ֆmY4-x/κ;fԦyM~/vmW_~pJ ʀ+X6֝)Hz`2:]@UhDIc SE_QmhKˋCT|,y55k:h [N/CP-#A(bC" {?M&)6܅0*IyDZoJJ}+h:$v'pos\fΔ1Y_>eQ^N9P7bc3z<ðoLmJm̢5.l _Jq.JB{HKt_"6y3b8 {Z~+21v}otΒN=F|x+z<އ;ǒ| JMxm|hE_8`K9p[aj(ɤҬ>'ztMvK3I\I@*0nV/60RrF>FWMkmkXVɧ-WfNR⨱!$^|(mWk}@OTŜ? S k]% 8͇֌p>͔@ܬ֜^tճ/%ᶁG3LBH. t .E7ыc;-#K 9~++تNb[)hu1rɰ"ECꪈm> HHĮ f>X5x_8t_r_x?OpCk  +d9 :R^\Wd++11h(YOU {{K- DHOLCFHOLCF.Admdocument/Adm.tex7zXZִF!  ]A-MՋhvG"uIBm5z3[c.C,0X2E2Yͳ )O+_4'QHHؤ*SC]):IKBcC8nljaqP}8i]|9x{SF>-q_0b&Wըy|+sA0䆤Aaҕ6BsT´Ԡ؎(ر<;ݿf̵IZ<3Zs8ZWRL?S +z}G[DOPtZ.h-46k}JN>L\2vMLv XԭmqʌQhʩwc\\}4=%a#VYbSJ/0n{rrVا }^r ĵR uKڗ>竾fdT@mԄ*i4 R6Tݑٓ6{q :=pn'0o_f "i9XNGw}οuDZ b$ ndhS:WH[W}ߒ f>?'X^\W42t֏(Y6Jn r=ĩ>_ՃN&;׎^wJ{n! ov*%ðM>T{;DEPł tV-S%܍N {|χ2I0h]gW'6O>uK,'9Utu"hm;@"Z7m`'1 zf|r.2 QV΋2d,f9}2I13|[\b-C[{#}!*ؔGԾ!Z GQ21R5i)ըx] d7b`&[,!C4+`'S5ifT$,5LNQ(یal  s 5[5P}T+Q#?ݥ)&ݲKr6w5 lAjH^{h^pgeA]~2 bQ#4@vj ~Ԝ_83p,+(@=oUJ AۗIb/m'ӞQ%UV8+p'ȑFYGqXm#y9'4L'@ S]NNՒrT9ǎ`|J/`Hk`T2<H! Qu)i5`_zP]aҌͪ CA[WБ813Kx zfl|{ M4 <\.\3!O߁V"s]dѶ"bbta=|ɯp1'{U_k>(2#kh 6] :9'ϦG;}ʬdT,5EM44owZ $`Go5 AjU8:@% `ή[)L/pe4h8y"?z+J6uzi:e\!}Cxs( ebx|EՒY~cթ<(/eʗ(6ks&w^R <ӎj8a_?c([T^5Fgx|Irr2`}6<ۋZ9. K4j/TO1rHF삩,)VւޖJ Cx gZfP?"S?*z}w&STl^zHhX4i[f釜'A K\qd7Emf 'KmzI i\đn} D`p+jgbg5ȌEېktMծ<^ߩOŢWy>1E\HM73>ã\'a8rФdiz_?ʱ WqS_E3eIw+uE`gC މ7G k>ţdκ7iglq*jHɯ5Inw#TG;($@N#2`zN" 'oI,q]! liuvkQBnx2$=-PghL43վK兞g7Jp b-K!c8Gr3,xgvRzH~fZԂ?zZ)4fwdV@<3zj3āZM+aK&LA=g@r2U=|C??W\ïɴQ~;'>Ct O ̯NPU:4nի`R2E,C.U9љ2 ,HI^`h?Ai"rڭGŠ~Kk =b .򼉅؇5j|a|CJ}ͩ>4sHhjӷ\x܉H/E^-ܳa*yb^iS ahE#쬹hI xQ!˽Hu/3˅ 'zгXɻ)<^cZs7GS;XT]Ch]gHYRW7Hh0fwQ-pDI2( D("917rL]ƞOK)a[yM` ^9FCLA%J}UWیYumd(IzPO-Ps։RXkwoKqQ+z[VhDD?o&IQlp}lV4Y ^ռu,թ<Z#sq2Aec=Q}(c)VeSu 9!UF 'ʌ@q\gLe0h'TH0/3| >2+Dhi!\vA ?Z0VK<|Xsv9~N!Ѯ|:xt?5i雯G RkW֒3}xu#ȹqLi w3bAaA>YEUw;3CB2f9\}gG 0H|=nSY2!p$4 $|&KW㓢&Xp'B/R.C }g6&hzfkKW8nRXFEЕr> w%R}LZ-cjs 6f :HjW6Hw`)3\bâuyl/.87}Tf| V9c &/d̑ NU1u+ L,%擗Lpg.bqP蕦=!gNl?Cڍ&L\ Kw1঎dx_:[G<3..Û<ˆ^ HTcV/tq #B "맲x3x0G"(Ja:#KAwMLgMw۩Q[f6oD^㲷b`5-_<ܭ1Q>ȍ1S}!.<ztlҵD`zw$K#KrK}.~5u' visd5%4[jcA+"[9V,u'l}5m4 B1] ZFz33(` $5tJ*uv_ꊛ[D1<[&rrN{ z03,.57a~(}XsAc.rbN[(3c؎;G/32ʯbr1\\1t*m԰q-7z`5%˥]ϙ67VX0L5FxLg3-9LJ@Do}zjod 3t5ft<-͏.#8 R-=8E*/=gYZ DO1 LHOLCFHOLCFdocument/HOLCF.tex7zXZִF! ^]A-MՋhvG"uIBm5gtexrYysI_x=+d}Ngg ͧHM׍C5.mm[KY䢦/LL!ݦ, (";6d_߭$6G.$Vpp/,bښyK8́,nvXE D}m;O*j="B4 Nk`[\MM&/>FMRZSȒkppPcVaHm yF)Zt"{ؽR> eW/[gYZ\N)7 dHOLCFHOLCF.Discretedocument/Discrete.tex7zXZִF! l]A-MՋhvG"uIBm5vb۹j~Q"r:ƀwq`}mw: d!P{C]K  V<4mqGwrJMМJ]@Hg:3!Ey )tfhwYYP&KJ~)E%;ͩ9gM@3&1h4tk"cT3qU\]7pv䏩POawmuN4dC$ ]-F !;;6o LLb!H.¬#,ԊN.]{hpKv5i3b :z)iGjP-qq7tO1]D-ʉF3D wbŋ'ys2_Xr5yIz'R.<ٸŠZ_;Lrjޭb_ɵf7W>f;j"S~P>Qk0$oIhQfP瑸#JLZ5ޘŵ,̿c3 FJ;n( : x=6'DŽQyƭº'ԡFuW?~ZM>!fcUu+pR\#b-SNSJd˺#F(a,;Y.3@.H ,[hv`mIC3GlĜhj ={}QMxsS3C%Hx7KR!7yb.RB߮~ rS9&Q1ahI%Qě9\]`g=jt=`QJr2m<+ѠX#<Q8-LЦLbIDj&ɏ1\|]u_ y,map%Ias:ȡM探PBt*OKeE$ |>S`~?N[6.>&yű^1~pF_ cMt}!|9f w1 Jtr[k?~h8+Q !d_U* 0㧡w=@4xr[W:Ƴi NRdշcg,!Hѧ:$4gVob" GFqu[THHOrobSzRop \%t;ȘX _ngtQO3i[YKD"X#̔>4TB+tT qQj@]D(Ѓ0F.* (UC!%YqMݶǮZb'+(4';o=q^JU/l}.pEfA F-հgYZ  :R#1 ,HOLCFHOLCF.Cproddocument/Cprod.tex7zXZִF! XN]A-MՋhvG"uIBm5x*NhxVve$z93RiPpZ瓕s~x^[sz ?Uf28oHt /'_/E#;VR#>oBL?HQ_kj}""CDlpo"\ 决}9yE7ƺhX'fXIcU{vCXp_G qoR+2C]|Jݲ]>p#RUTn˶PzrufW8ܣj90͊$]Z:_3'4b~sRPQ} \v+S@ܨKx/)'$4l7=p9.`5H0*]A9pCa.cפ͕a8dYjFw+FI/B| kJLfH!UEfKliz8B"H V:&A<SbʟA}L-d mB3jER;9_̂4C"<{U1Q=]!Vy6k>ԛ= \"̑y" G|: b6~n}d^9M<7DUTd^=+~Ͷ(gw GeENeh1"w ,IT )XNX5m[jwrnUvKd8)ɞ rC=I M,- *WzUqx1NDpɬٰuyp|p0#ɢiC.iW)n%ͳM1[Xk)"ol"J=_@t^j?44b,G"_FRh!1w#~2ax(EKF'˜6NjsȻ4*@Wq/jLl9s8- q>d0}T^l{TD=.\\C>rέ8Ꮹ:1Z6gYZ.Q' $HOLCFHOLCF.TrPIDE/messages7zXZִF! ]·Iq n[:|&[zW/ImrnDrJ'yk0 ^ wV!܌DX==-EP4[OK~LS A9 m\y̜C'Xg:c(vTBE:#%Y%ąj9!J4BINӛ/b B^nƮ؇?Үޅ>i'sDw$ejq@wk2FqǥB2+ΠjP85{AyAT{ M}6>r:갨`AyT`n_]ft8ҡ 2q; OAź5|u&Ihݯ]XGsFf,#X67I$`*E+8 RHō,r2M@̢Pď@7 Ⱥ;"BÙq(^R!H rFL9YO,,Kq|ϊ|J%X2V?< $n-]@q,Kpġ(VËf0Գ(#n4i!@<>a5BT+՜E;kN>g$<+{2L4؝)uVBEbZ\uk$/i.;_("l/R vGΜ[LҾFv8c yMdMkNSvn GmǷpu7EdLًo\uo)̝.N4FEvچs B O5&2cBEy*BfisbJ&ji%`7/:/[)23P @e@qWGp81o"Lhd#֕'/ r55++v/ 'q4l.*8ϷOB# 4D3+ڀ"ڲ1U0APBV:N6[êy4* a_QTb]PsTmʻ'1Y5l7 ]Qc~O^̌hmL3"|rIi=sҔ;1 &fڛYO]!Vaq]HmY~a۳!nKz j#gYZ   T1# LHOLCFHOLCF.PowerdomainsPIDE/markup7zXZִF! ] !M젗OFK? Oȫ5WAP*aW>75J +ssEt GW\< zе0=s<ᛩ(chpE4$G].scd7hA5靚]T-G[r_f@_΍ܔFz{݂&pG<(|"8P-r-}'ᨄ&~4Aj8SΊ"z,Wx$&a3'6'%NZ^"<+&U~#vO+EYE5(nTF?fADp;:>knKP7n jhQg&[ՏI[n[IXPM^+4 .o kC](7ggd`$z>WW:Kx2˂-QVF~S{٬Tk;u-~\#QHFVr0O=]v e@Ь<,weUkHN"*ˮ=SV8u\ R{ Z02Z'x 2-M-nY")|#] [tXыJUy,=tU 7"Ph[U5 lt%ct/բICPZE5'ӷ4.?_5Xר.3QmBӒYw ފ\ZPpjou26( 5 x3nǚ9$i75} vno@#H_z/9gH;bߺ̐cԅح^yẁIꤌb'(Bs3dS[.JJ}{H r%t֎ebק7dIUӋ}&#UXR1&V 9gûߦp8.N_#H &:wUl1 z;yơ9{cA!{7c%d^$3=k =8u;K&oM}-oPIHs!|ŎCj-۰,z|s0jh9i''yŰ oNvTWaimC3tAgX7.éAOi긨x`#-MϹ:,WuqHmhׂ{_qo/ui鹩V1_?ެcq\lxžx1s]V6W iq<-+wǫTv7W\mXg|jP~(@H17L΢ y9NWzy-`>@L)-UM_Fk$"{ӽ_LgJC%=vSZ $f2՚2{r89.B8(-Dl2#V> S[7 T Y 3,z(8$3|N/7oMkc;_j2fϒ( 74YJ(mR+uE[j_Y?FsCK r33e?$o,;Yq!&QۺAToHp G"ljTOv}{`G%dty`^kHQ'ݽ U`<{nڿF)`nHvUj{刜,'e=BSbL0OsYq;f YM j%رgYZ V1' THOLCFHOLCF.PowerdomainsPIDE/messages7zXZִF! t]D?7 {?:fH\= !O&7 +jITPTa(R QVithqe0A?.(O ӡNbǟoNԞZs2‡C]|^;MVT%l,B<>QWls98X3;P^/AsnM[!(FFgC'+ƝXK`=\Ղ4,S"N0NBn 9n-㫃]4i[u+E7BHr!+\!f<_l@UΥF'[pj^q ٜ*ڭx /eӭYJtR1([͙Q˧FW"WzAI=t^ muXBNi5~nUl-dnvlX$&/E|`#e||pP5ܻ88lF`YQR@Q&LN. 7,0ԭ}.ʵHE #XvճGts뫫]&ܯJ4[Cs,j(xJ{e;_6#K@aBsFR/l +wZA>Ƒ֓s:%Q|.xtkf~owZ`M5fm}NHlϾ^*ER3/bYzMv8.N& uf@8|F\ic1{Wr*BC( s/y"`N1X+T?0\9yғ :IRg7{^:gȲ)"oϼ_̼mjZ  ݗ}F%āPi4/dx=#B/93ؿ7p;kRPhʽcG͠s!l?ѿG] Gޣ]!SS9y=#*GBƜHUXu)N3?2e i֔5gV)p~{[@NT_#۸7 3ߕM~/OƪQe5n3p)`-Xd7j>YiCTe";D&0#=x9lzW aRJi9e=9G8`9RMWw @ A~w{n=iI`-EZin9JNWFqWaBfM-NCÙZE9b- N"M5&O< 4-ƀ6XƎ isQI[iOXJ웯׬Uא"^,=HJ4fF;0 ڳISl4>"-55 z=m _LAh'a9R D 98-ۋKapLa@c 8DQ~5>" (Ļ+X1W1wqӯ}kc6a?l8Rq8#Rq[NJ&9X$+5V {AK&4u 9Z 4p;Ile0l@0]6"|GILcϿ@^RzTpmWMJ,EJ2ggg7_o 0Vʴu~D%Q>N[YsGviHbcnĜ!m&{mvUfR$+ޫRվC}/Y21 TCLB\N(^<ޅhz/Y~Lm%hVI0-sNY37u,%^_eiG cK8ҽrRνyQ世#w"_3{*)'vK]jf#嚽WN8PS!yuͳE&f`ܸ{4/ݲ]ԝ1?{'Tw"Bٳ'5Q.v#{n"o, 6;, Qw1+ڸZ{N L@$#<7GkA>I{klkjj5)ҞحIC2L)0v P㨠L9ՇoYлq7폂9?8.Iy|5O`nY}=U_U{n-R?eO0ʼn % -a}Nb〜[>B`JV}'^)CsTșN-vI;htE {nkAޕp|yٹ I0>S#:`PIZ]VAu4Ci3B\˰cIIr% te˘vwP =Qtfe C*#A*r0V$N~_CJJk|;B`?|VP>:JY }YC&! \񖪑˒CFa.( P}Dmͷ*O_TҾNElK.#QpB'e0֊cUGz<`S(Mi3m?uD JoPЅ#k+O@̲3~S\֟" n݊ڧ5x ;7aNWFxqRyòu@pE)E϶qyŰKUC?ġ+t)^L e[ 36C C{)^=|`1heȠa>z<v JG5+Orul+i)B94/ 'm[@&k;1OGUUsYp&{)L8d_܋10" +2 )P37\&)Uؔips#Y! rHbwz"[5QȆϩ$w;d37Eԡk,-6y3kO0AM윛EHB2Sqέڻ$⁶aGi_ϔ ^ԥڤuNf >)߂&ʍa0}F z3C":6H虤) KM%.9%NrЖ\/rpptEߞru EAړE5?TAhHݜͮGGZS3RmAkʐ{x+[@`3dahŸՑ';̨ y CAw%-n \v4'[\+lyZZ:`iDrlyaI:f y-d3D)vxkD=e t^2|7rx¨Ѩ"Qb fHt)ўI"纍{Nstv}Dzs;%a(ߨְ!05T(\͵t C/YKXH/ pq*,Fh<PW1gYZ   Y!' DHOLCFHOLCF.PcpoPIDE/messages7zXZִF! -]D?7 {?:fH\̥8 *¯-adb~j@@tPa7roYmvm6p޷,[y@W –-b= д֮9tk0[﵁hD:(e=B%zһjyA4X#@Riߨ)kμ =iwx{EbVʻOƘVgB_U#LhdLrëy-oީ!#`h"!@W|0|=usj92H+u{`ZA>T:!K{k0n0>*[sc7yaCH#E[k'k{+U eRߦS0ʬ`}DK#Ve;eGYb{P35[/`-3@hӚLU ʧ7"ᖣNpbp+,BTe+lLO8wZRR|vq(ƕi:lK<[?'f6Yk7Ofp8;X BQyFÒ[u0%/~@i)ig{Mªh*E>QI c rJVXH맣͛_Mo ѮMCpP/\!VCR凂uN 2f#b>Bd̹WB;ṭv@nP°suefц?#wE7v\ "zS |momm#bkgmh*\"jmLl۰J D*siƩ=K0.]. 21̡2v?6CLy OB02W^&~|&;Dm81nh&[bn]Mq)SZ-a&B Qvڬw9. Mǃju`;S]fO2VS@U cxiu1##*-RxH&Y͌eUE]7aCt?ZJ"pu;L_ G ƇW4Oѭh_8}z:(;-nk@DBv+đdo`6WITm #]Ô9*}7TsTiȧ{aЗԍYJj"ZqlDۨg^9fo_RlSO! f~K}oUwfuvBxP{av7_KSw\%ќ-wW;XKS UxWY gifc~q/2^8 ?vcBqEqXj|N^B LU)p4ڽHUVQ<$2,[MZCH<[F-\UKb;.XA%N*6PR-'Pafi9&`}k5{ƍքy6ιV$8]H'3ٸkS">)k5$ƑۡnGyketQ 4 x4z5 _ $6Gw-q@jdI_N- 1db ӋEI6C± TNēNvu% +Ke8|as&Bo*Ri4hr( ?@Y[9ڬJ~8AA2;OٶPS-0%ދs? 0#i֥"0@(][Pٚ[X{β\Я̐BVϩ7Iq>kUۨems Ýh8HNwsh.Q AJ-crYjB[He2&}{n .zv>1N>6|Uޅi"jP+ɅT~ ՝yR8{q F g(>< ~7m=dd/bށ3&Ӹx9NvH\qm +6K3o>?GmI]1T%?a̘Շ;T!gailnoq.^?B0qrYW;}Kkz9Y JHoqyl1=agmK} 5Oڧ/'Y5ǸDӘ9LƽCN:wmjX=< PA^ua*R<uDnB\Uf(\BEiNd&'*g$~Ka]VrB rN)7,XiTjb̓PXi]8+xģT:h5X@XjQv?5ЭaLReSG^cu:PY~^4GV(,rRך3>gYZ da['# HOLCFHOLCF.Fun_CpoPIDE/markup7zXZִF! a{] !M젗OFK? Oȫ4q [pXIni]g|.`A;?3ЄE%4Hf"sAz:h_- =xL| MһS8%9u#h:NgC t$[P EerIDە|gaHq<˒|mw<6AGMaKX|n&4VX^Auީ`NՖCC>Xje[P _kt?Bg /=~4(g2jnby^7Xdگ6%/-QȞ|df1?~=u^P5M۴HSBh,fZEbbGs #%SsybWaC]JA|kjy``bP2zytRP1owF>3SF~s `?c92RgpS-f~}~ b@YfqӇz1ZhCX xn4J1=`8aΛڿzX8Mfcb71a8E=pk +^=vq|,zdzy~ }SrOzufv)?94]a1$"?Vm$}G'1Y.eʐ DW`xQxGx(PȜG[ت<0dnzrb#R@v - j 0kBqjS_\VF ͋oBHZRR\FiGnct'x:s#oM~h@\1gUSэ/@ MZcQIeA+UC]/k rsrX_dܨ + d6pQ4.(ޒͳ!Y CY;ҩa]:S:h"ص 6;rNE[{_8;kI2T}I7]'N#vQbQkr糬'V`YUATJxHI T=eWAӈLeGuv=3c8zlOXb従s"[)h{).eu~^usnL &pPgYZZ# |HOLCFHOLCF.AdmPIDE/markup7zXZִF! 7] !M젗OFK? Oȫ40t2 ~*\p"引-dܽJEl&ar57$TDu5\BO;=jA|m_YɈyމwz]EFx1Iq|zhU5=ǔ£Y(Xmq_Ns̅4 I.&3 [Uv|gB S-W-)ssF+"*>Yi$ %/?l,WúH/RPDR:3(*bl6EoX9SUatףsВa2,o8a2oO8<,({H-F4?;yﲃS?~\(*t3.[ 48ݫTNjJ@9](7,gK'-Cc04v˼. >B=i3]Ox(1/UL Buf)w>0L`HZL ǟ3$,Ӄ)WRHc9֡`3GHChi(*k! ԁD:jiA~݇$NS:%_ffs#/|YӳSȟ iX>VPƃUR0]uY>:[/B j"I3@` g"rHhp"t>Z|dCb2ݣIJ!ėV*u}:v,VS0Hj0#نp!ǰy:č7N$떄O;JkhD0x XpاjٝNJƞ5{PQ@2i9 wk?Jv4^[r~ޣ(huTnrx 7n5%^|Z6WQ)t4@nQ LeML4]6IFA( *ō~*O5oJùR'k=% Ps0ǩb%f]quKrRfMZzW35#3;\"F1X~ġ빅G*+GѾRjSab3:Q^L{?{UQ%(^PiFf7?22O{\V܃JHF\-_V#r 5x~lȩtff'Rzxʂ cpFєUv?nք= U#Ocaɯշb@!L#)ǑpU!*Ph k}x_y˟{r\ ::5emw4 VB""_a -uyjP1r|3A(42RB$^=vRG@$S(5rIҊYƢ!: Y6?|HN۫HsQF(nMʨe4%RL9>4gYZ  O'a## HOLCFHOLCF.CprodPIDE/markup7zXZִF! RC] !M젗OFK? Oȫ4.i cu4ЫU4aicxC:@ON^s # A:)<v>;y%6@Y%]*ߠ9&jG$|%mcei ޘgf`'] xQyF̃"iq(Kb]O#z" bzr*̷ULTԸUw ?ݨCYv8Sk +]AQ5) {SCtwg5a҂PO6YLB_.y-n8؈S(zf^#f9̙π -gv)U̜ W@~ڶr?":[1톣DN2{\_K'ke]Wwu\](utzI+RWP4,=$y%'s,5SRW`c  FOgYZ}`# DHOLCFHOLCF.OnePIDE/markup7zXZִF! ] !M젗OFK? Oȫ5"JZfnxԀ+pR=NfLgD%WͪUӬa.ੀsI~0h@jVrs oIB:hKpuPf $^˥i3$91$4#gYZ_#zHOLCFHOLCFPIDE/markup(* Title: HOL/HOLCF/HOLCF.thy Author: Franz Regensburger Author: Brian Huffman HOLCF -- a semantic extension of HOL by the LCF logic. *) theory HOLCF imports Main Domain Powerdomains begin default_sort "domain" end ^)' tHOLCFHOLCF.DiscretePIDE/messages7zXZִF! 3]D?7 {?:fH\߻WNM7Fmy_dؘH/fy:s(d# AÝRQg[qCsc̖_*zN:c`wp=UhƐŋ=?'65̰ky;gGO) JW_|2utW뾥zk9#ы<%ZCyKM 'ZT^ &/ǡGc1ԜK@ #2=-dt~جe+&"&5')Ȼ4$:~6ϛ\DIWW lmw,PtTpជ^ P-?P35kBSH Ѹ}ᥜpndYRM.W2pb_Z:mSsU49 WB.fԾgiq^X֝ |q0:8h_*{J_D'a%vS=ώOh3XcSx7Փ^|pj*Xzw]b|rhU#oVx)i|.:m lB1I|HN|fGO5d9dEV `K͚VҨfj_JG|^(ddZLy hwTxzG=XA5NԍZIxX<xrn*Rda&? ,8{2{1׶ D(a 91Af,1,.i9 gYZw\'' ,HOLCFHOLCF.Fun_CpoPIDE/messages7zXZִF! ]D?7 {?:fH\TcYI*zi,AdXOF쑈ح![68T\79̓K/)l;AtءEE@kne) ?,"ztLy/E6ha}f(w(C;eQuGTd)}]FML"E:PwZD-@3_/~E~.0Q@&}ąMllw$u!bAbphhj3Y♉pACR9U!]3 >p$e?<]~+Skuퟐ81Qnctuj>S5(qѫN>Vu!]lP26}#'r`?ŲF]]q/n&J5dfeam1w9yh5,Շz' eBܠ g'HOLCFHOLCF.FixPIDE/messages=#HOLCFHOLCF.FixPIDE/markup<$%'HOLCFHOLCF.FixrecPIDE/messages;"+HOLCFHOLCF.Updocument/Up.tex:)1HOLCFHOLCF.Sproddocument/Sprod.tex9.)7HOLCFHOLCF.Bifinitedocument/Bifinite.tex8##HOLCFHOLCF.FixrecPIDE/markup7'+'HOLCFHOLCF.AlgebraicPIDE/messages6Z=HOLCFHOLCF.Product_Cpodocument/Product_Cpo.tex5%-HOLCFHOLCF.Fixdocument/Fix.tex4%+#HOLCFHOLCF.AlgebraicPIDE/markup3s'HOLCFHOLCF.PorderPIDE/messages2 mN3HOLCFHOLCF.Fixrecdocument/Fixrec.tex1"%#HOLCFHOLCF.PorderPIDE/markup0-7'HOLCFHOL-Library.CountablePIDE/messages/+7#HOLCFHOL-Library.CountablePIDE/markup.0+9HOLCFHOLCF.Algebraicdocument/Algebraic.tex- m+3HOLCFHOLCF.Porderdocument/Porder.tex,$%'HOLCFHOLCF.CpodefPIDE/messages+"%#HOLCFHOLCF.CpodefPIDE/markup*"!'HOLCFHOLCF.CfunPIDE/messages) !#HOLCFHOLCF.CfunPIDE/markup((-'HOLCFHOLCF.Domain_AuxPIDE/messages'&-#HOLCFHOLCF.Domain_AuxPIDE/markup&1?'HOLCFHOL-Library.Nat_BijectionPIDE/messages%/?#HOLCFHOL-Library.Nat_BijectionPIDE/markup$0='HOLCFHOL-Library.Old_DatatypePIDE/messages#679HOLCFHOL-Library.Countabledocument/Countable.tex"*%3HOLCFHOLCF.Cpodefdocument/Cpodef.tex!.=#HOLCFHOL-Library.Old_DatatypePIDE/markup $%'HOLCFHOLCF.DomainPIDE/messages"%#HOLCFHOLCF.DomainPIDE/markup'+'HOLCFHOLCF.DeflationPIDE/messages&!/HOLCFHOLCF.Cfundocument/Cfun.tex%+#HOLCFHOLCF.DeflationPIDE/markup &'HOLCFHOLCF.LowerPDPIDE/messages2-;HOLCFHOLCF.Domain_Auxdocument/Domain_Aux.tex ^$#HOLCFHOLCF.LowerPDPIDE/markup(-'HOLCFHOLCF.CompletionPIDE/messages>?AHOLCFHOL-Library.Nat_Bijectiondocument/Nat_Bijection.tex&-#HOLCFHOLCF.CompletionPIDE/markup<=?HOLCFHOL-Library.Old_Datatypedocument/Old_Datatype.tex&)'HOLCFHOLCF.ConvexPDPIDE/messages*%3HOLCFHOLCF.Domaindocument/Domain.tex0+9HOLCFHOLCF.Deflationdocument/Deflation.tex$)#HOLCFHOLCF.ConvexPDPIDE/markup@'HOLCFHOLCF.Map_FunctionsPIDE/messages)3#HOLCFHOLCF.Map_FunctionsPIDE/markup+3'HOLCFHOLCF.RepresentablePIDE/messages @-5HOLCFHOLCF.LowerPDdocument/LowerPD.tex 2-;HOLCFHOLCF.Completiondocument/Completion.tex R#HOLCFHOLCF.RepresentablePIDE/markup '+'HOLCFHOLCF.UniversalPIDE/messages .)7HOLCFHOLCF.ConvexPDdocument/ConvexPD.tex?AHOLCFHOLCF.Map_Functionsdocument/Map_Functions.tex%+#HOLCFHOLCF.UniversalPIDE/markup%''HOLCFHOLCF.UpperPDPIDE/messagesAHOLCFHOLCF.Representabledocument/Representable.tex#'#HOLCFHOLCF.UpperPDPIDE/markup19HOLCFHOLCF.Universaldocument/Universal.tex+'5 HOLCFHOLCF.UpperPDdocument/UpperPD.tex 4qF"'HX. c @  } R  j > o r K , i J ) "!'HOLCFHOLCF.LiftPIDE/messagesf !#HOLCFHOLCF.LiftPIDE/markupe&!/HOLCFHOLCF.Liftdocument/Lift.texd !#HOLCFHOLCF.SfunPIDE/markupb+'5 HOLCFHOLCF.UpperPDdocument/UpperPD.tex%''HOLCFHOLCF.UpperPDPIDE/messages#'#HOLCFHOLCF.UpperPDPIDE/markup"+HOLCFHOLCF.Updocument/Up.tex: 'HOLCFHOLCF.UpPIDE/messagesI#HOLCFHOLCF.UpPIDE/markupF0+9HOLCFHOLCF.Universaldocument/Universal.tex'+'HOLCFHOLCF.UniversalPIDE/messages %+#HOLCFHOLCF.UniversalPIDE/markup"+HOLCFHOLCF.Trdocument/Tr.texD 'HOLCFHOLCF.TrPIDE/messagesQ#HOLCFHOLCF.TrPIDE/markupM&!/HOLCFHOLCF.Ssumdocument/Ssum.texA !#HOLCFHOLCF.SsumPIDE/markupJ(#1HOLCFHOLCF.Sproddocument/Sprod.tex9!##HOLCFHOLCF.SprodPIDE/markupC&!/HOLCFHOLCF.Sfundocument/Sfun.texS83AHOLCFHOLCF.Representabledocument/Representable.tex+3'HOLCFHOLCF.RepresentablePIDE/messages )3#HOLCFHOLCF.RepresentablePIDE/markup 4/=HOLCFHOLCF.Product_Cpodocument/Product_Cpo.tex5)/'HOLCFHOLCF.Product_CpoPIDE/messages?'/#HOLCFHOLCF.Product_CpoPIDE/markup>61?HOLCFHOLCF.Powerdomainsdocument/Powerdomains.texE*1'HOLCFHOLCF.PowerdomainsPIDE/messagesV(1#HOLCFHOLCF.PowerdomainsPIDE/markupT*%3HOLCFHOLCF.Porderdocument/Porder.tex,$%'HOLCFHOLCF.PorderPIDE/messages2"%#HOLCFHOLCF.PorderPIDE/markup0&!/HOLCFHOLCF.Pcpodocument/Pcpo.texH"!'HOLCFHOLCF.PcpoPIDE/messagesY !#HOLCFHOLCF.PcpoPIDE/markupX$-HOLCFHOLCF.Onedocument/One.texP#HOLCFHOLCF.OnePIDE/markup`83AHOLCFHOLCF.Map_Functionsdocument/Map_Functions.tex+3'HOLCFHOLCF.Map_FunctionsPIDE/messages)3#HOLCFHOLCF.Map_FunctionsPIDE/markup,'5HOLCFHOLCF.LowerPDdocument/LowerPD.tex %''HOLCFHOLCF.LowerPDPIDE/messages#'#HOLCFHOLCF.LowerPDPIDE/markup,'5HOLCFHOLCF.Fun_Cpodocument/Fun_Cpo.texL%''HOLCFHOLCF.Fun_CpoPIDE/messages\#'#HOLCFHOLCF.Fun_CpoPIDE/markup[*%3HOLCFHOLCF.Fixrecdocument/Fixrec.tex1$%'HOLCFHOLCF.FixrecPIDE/messages;"%#HOLCFHOLCF.FixrecPIDE/markup7$-HOLCFHOLCF.Fixdocument/Fix.tex4!'HOLCFHOLCF.FixPIDE/messages= I Ic3# \HOLCFHOLCF.Compact_BasisPIDE/markup7zXZִF! N%] !M젗OFK? Oȫ4#8r~Z~Ӓq%dF>mhQ&LyN0'& L j ߥ ₲ t6r dy1Sϋ>{}!(ճ45CT%drP^kS xG0K>)Ne}&HKCk+0Kj`t}l Kd+=Y.p O ,MZ[w7/Vo,3łDqiMg(} ./.>{F !lF1I`[R ! > M1o 9QS*.-f6+k&xo.#^a e/瘍3l~/Z3 DZ ndCZ5I}VNo*^u$|Nȋ?[weO-/r&A-_j6%CAASThɦyɄr1mll}+6j1CTW4Ua.Zd:bW)5˼98"9[gr? Ō0 AWsE/>z5uG92}؆V3^7mmGf[7h_Y0f 1\l|ӌP#6НlA vrCmGbOo D1#!TRޖvS'@K<2f2 P?ELu2OddS23tl?L<0+%ȥ>:JL#K%sT?cLˀ裉O +꯲ǷSvJ#$K( ^: ݶRܸ[p1ke{7X5W-{̬P_~^3A#f? EQi-B/#pgy/0Z+2,Wڛ hvږYzdߘ l>&oJɺk5̄!R~P ǛBHe)|G~+=Mo֮7|eEh aeSP1q5/e4C@NsLO ~Njs9TsBr FĚmw8>9sʳy)KǑGvjk%c鏻Кc;<6I$զz*Զ zBuZGfr{9 eO?8lO};Pؤf08-FLr5F GqkgYZb!# HOLCFHOLCF.SfunPIDE/markup7zXZִF! ] !M젗OFK? Oȫ5dJseGFЫ fRz Ppoz$ɔJ'ʝ%bɟ܁#ABn6#j\`tFҝ++i1:HĠ=QzJg QPm;^6ybiFg(Deg d2V,E ,'fy鵽L۝ ՈorUZD[7IPvRP6tc 1Ѱɖ0΍lTxfW#@v+~Ze|,h%0엾 jPg9,]7d/A&C bƢ:k3ˊSD|aZSVrossj ْE4-Unj|gzhssla1Vv,gYZ d!/ LHOLCFHOLCF.Liftdocument/Lift.tex7zXZִF! f ]A-MՋhvG"uIBm5#EiQPb@n)ܺ!@~lz?d&"T3^"AU&%jg'׾v) 7d0k8gJ#Ҝ" svA,H3Ə 9Re*ȥ/T1CFXM hxB=$b/QFZBiSpNoKt־I4wZ(ٔxLo-:dD[dȷx'586 U>(99ݰܡ'ߛx4m`Èkv(ԛb67,W6=9|[V8~X8Y=*-x/x3VR7L 7iVx6+bZ}eJ,8Ů~ZJhyIд3ASh]h|"HDo{jJ}p/VCVE<vr$6@Gz{wdqdKwi_Ah^p /5mYH0݁kIu89w34}̡лX]!x1TH_^.ޕ@OvkRtoF"_+@$ B'vI:)Q_ AJ6Lr1i8g[]"{*b·~Ӷ]^Aj%ڶqf Q>C\%I AcdC΋SB,-m44XB@U/gjE|DPL>"f2爓DF@ ʖA]3/vn alDz%N5`PݪݙBØ7Q}|lPD%,R*Htf`7ؒK%@e.D.Q4%MT2&sO4lgIp֨j=}wPKS;ps7|OKX};%E'> dkieZ8tM+ϞJH>^*ZhTYw#=P[BԄ0]xat $pKx!;4>z$q ېVr‚ '܄~kfeI}k̺>_?E؂5pL:r(y9 r"@p~7벰nt9L# EE/[ܹ;序l 6'{֩ZbK$.{V((oWa 9?=¶_k"&1"RTKn q"$|0x V6l}e6t蚜@Xؽ$1q_fC) ½G!#. I7ʗf`EQ.3!;""K/ {xK>#슡Z%Mwŭ r H,b@搤JKʄ(囈*T\$w{8D⣗>Z-F=6ܟJ'H]b5N<3*0Z?9v{- JgĴqQ甖 "I=z{ [o=}\~l+Ia^O~pf{ysoK*䥰K夁m@HǦ# B,ڼk{oZalż&.c{|tpZ_W*AmK4+2kNIZk%WGۊE)iF /SĵpDC>X+lk(!XHx[6la36ʕ?K在lTg d~ UL#,9~ mT_' fOu, ũ^\@p6YUT34ڧ6ov_hw|7՜Y1g VD<)Y]};ݎ*5&1mچLFSClAF* \V ~ 2VL3B j rYjܞё~$C^7@T)et0W=Ra-2:;8}\0Ҫcb -=Gi>aQµuN]c; 1ƃmBۇjmx ܼΝɁ(M Afܖa4+Ƀ0!ߒ1o4ł|"tK[DO7'|v0]Qv)\Z"YEENOX0be|Wߌ^%ъGʤ3mǹl$q!7-tR=uY܃ܴ;&,םOSeyʄRAtolp:ESg &Szgݺ')-TnC{"9/d4'SoI :RzvbgYZ d dPf!' dHOLCFHOLCF.LiftPIDE/messages7zXZִF! ]·Iq n[:|&[z9#:i5Y .0#ox7Fzjf;/`p m#|8)fkJx| -Mgb^Iwkq2VUHRe\ie^xbPtMp V܀ vbܻٓ lRO${˓U7K-,:/Ewo.[21sJűgYZFe!# THOLCFHOLCF.LiftPIDE/markup7zXZִF! ] !M젗OFK? Oȫ5f"?;LbJ-=R;IY*` 5v ɑ0tC\A`iY(4(>=!A% XP֣̊謅3*"yy~O ![l_%#7o71[,LIWڼ6LmkJcC-)¹&diW ptf?ό9d&ǵSl#O_(Ne)joi[c۬*ζ['H%`S>VY,vz0}11`yh1m`tk)Q o٫ RLpq">e-]Wd ehWvH)Yp>LW %^^B[TН]ūdZ^XIqp\|Yxo!Q!XTJXrk[WV(x,ş ЛTM*Ԓs6?ddٻ3a]V6OCܴY' fsם~$5mժ!,{WƽQUzVXb?nG_e;"y{~:zSUfT"6)\|DyeV~ dbމ/s?D-1bn7[L] ѫ~½}J-MEJ@