SQLite format 3@ .;  B --?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   ovT ]S PCF:threads=4elapsed=72.472cpu=141.364gc=3.5527zXZִF! 7b]ŗXiɟD".~MKU).2~SnLĬfSX9ӍLT#_M ;z3oV.,*gN[x[He Voeq\ pӏp%4oGI@gԃTXG,dCXb%W2$Was^s :'aeЪ07ȴͭxSiﺵ|$ d-|3yr.lс0:.Rc>Gos|0 w$$w`Pb=,=4=CO{sKI3[@ pn>Zꕵ'ԩZ bĎSvHb h+rq[dD[50K01XJIAޛ Be(E|uRP{kcU}3]TJg;SӦ,ݧ6Z^}wyg] <iZv}4@MkK(Qq,AOsϞ 4R"EGKMbQi/Re-D$أnA+nEepP*\A7{Ig 2}m9m2daW>;.eѣ+'y(qi7(geh[}Ҙł8ܡyCI$BBpAGL2O큨?"xV>BBܧwaъ$a"$5ЉpSA6S,q)-6nJY&A Hx *'1F3 }oq{%w3ˉs&ǂ(֓pe9tHPX"1S R7HMblW"7J#z廖g{o]Y'0z8iR3E~ ȎeЕU9 'u 7~f @Yx݂sUZn$i2j/CPeO]g02b2L@s]eHnh3gjag2&1WAr gvYRb.b^4pa ( ;٨h=MIWM3>VT܆S(٨R`:Ԩ*),L'd|R kj\=1&9[G'7 X`]\. WG>}¦P77+ !5€Xin\y>. M_ 脯%/ŏ>q t>ww#XhkOwHz]1 \)OX)'`!/5 |,nOMv=؎X *~'>w-0 ZK:zSäٛ1;1w=GYɩ# .D2+~Z?m|ƔDV8{&mxbuU3P8GH)!.Q>R|MxG{E_lK5{b'kqD 4l?Ԇ/'MQ]VZ\ۜ 'U TW󺛞BǮܹ ۇ-x^2a"Ɓ7v\Yh|a+|TJ)Qoc~^Gko {懖JuFS7MMz."Z$bK3&Ţj^UU ~i+~<5uҙ bff ʁr+~XFP&'OdMK^*/(e‡beL 58?MjҼ$gŰ䰐OQ(zvHY]&x{ϽO5a4i{VȺπ8Xy  pt]Hk.naf?28QO 9Qhr٥,N `M&oxD4Ұ34X"GA{&iv~P E9S7oBLdePU W #twCcE8+Zq)ܿyL--͡nOO 3 b̈́FM*a3IZ %c UʿGX3G1PgKk6Li_5"41ĦƬg][JgYZ/% \PCFPCF.Continuationsdocument.tex7zXZִF! ౒%]A-MՋhvG"uIBm5Wq#*!p:ni oh€(dOZz@5?>olI "3LVXϐ0:[z oIF!9%ң aR~؆]1QEn=YB!vʌHkhxϣJ6-aw(va94j¾NW>Hok:tEx^#WXN~V{gtM9?se<6~OhE[JT~$%uhx:x;L[qiHPf6sՍE ᠤX(Ѵw/nQYɵ*WAHwȠ HCMiR4gu I(( bOvZ4L7 Gu[Jmj/Vr Sέ$_0 t 5vё`\0}{:,$bQZ8* !:% VqRd-]·&|VF\Va>u4=?Ljo]$SkԊ)CPQ̋eM =Q.9Ԃ} +3]~Uqk՛BzV VGHtBʐȤnm;rV_.cl]x$W e5A! 4~d;L S89%j4ԣ+ïWA=<CˡNߣ7/"Eu" 1f2‘ bwk5 Y"   PmP%PCFPCF.PCFdocument.tex*7%PCFPCF.Logical_Relationsdocument.tex%PCFPCF.OpSemdocument.tex"'%PCFPCF.SmallStepdocument.tex%/% PCFPCF.Continuationsdocument.texrb# [DO_7ucfGħ>Z:?DiWf6ѸDIr$x5R)K'H,Poʀ)[ 'GxcE->x3{mdgy)Ij?zO&Kd5)IQr\kc 1SEy7S?Q@ǫyYྸ;ʜfo %x@Nyb?R3W_~x¿P~ǏSҲ.0%~Ϫ ĺ,E ~FYFtWK'uZ&5os~f&0!D&k9faPrndz"H=eyEQJ<=`aUh,|XJ#sgE)}zm#Ryv;# zKoZ^XnhblYwYlI-ް+HR"EwY3 ѣ7܇诮0}SoQO.}' _x#fS?I@!Snǚtc7" luݲ;{N|jΩKg8Y@dITVR +8݋}J^AZĦOux H^ăP7gDv5 V+ 8<#llpWט. ٻ"ӨkߔKȎG ,c84^WTV|[.eZ86j~z_]7g`mJt( yr# LdVjSf"rj맿Dwn7LޮA* 河փX5[?\A\Gc#?r 0<~:V3l,g+6ŘG؅E6]΃a _!5. ),ˁN\ z+՜s6}J*"`N1 @;iӀvE uЛ/{boJt>1{3`z!MDHy3!loxRܓAt|MTڨvf{&AJL{cPV3? /V(Ko-^~&DIH㒦I)e$^AnE@ap9ဓ?L\,BeF2ϿhӦ>9=ֱ rv*eQ:} ("LJ|;KN(VTBqcr l᛿1^%x29A2 jlx=qRc+aU6q*W&B9L(C"BڦeId;6G^`Wrm*qXUA'T 9eVJ^3ݐ^^`pyԠHlwi4%RJE%kˠu?.~I Ә\$6Vӏ(Hy#5$FFkqLf MzJ3QE6;h/Eh/X`FdYD-0E AL;؄dR%"KmwA{-a N1%na7ϫo`,ޠ* @r:`4-7}-̔\>a/g{8XC^3TЅ t%*2JTC.4%!@izgIB <9so%ҚoV Yw5Pw驑,纻8-~J"e|Ѷ#]| Xn?tyTf_F:,!E6`R`jY`iwV;C(LQ?tiL}.uTq3:ohTcv$mu†Lzv$5M /̂ qo;fCQ8|%8.ڵ]ssJ,}hAh(-kv 7YW*eU.懏0lwͼwYB!.ĵ%"TcN%Y4xK]wly d9rylvZ ]ih+-6 ~N7nfϸ:6Xb"vnG1rY,,dUAR:,S *aJyjfXK⢨&vZx,Q-W1;<ɯ |o'nX`)|Z$N"Fթ8R n3;_5=ڈm-<֦5sbUbֻ<ϐai#kb4CPD*̀yF=\ hCaZݎ?=o~TGh5sc!F͹/} Yj;\[Lw^]ބJp_v#ҟz5 Ny* 6؜,ifza3%30BiZQ+dI*+lSȔ^_@@g! u1Ql}E5X$|f}11T%_NX;R1**;&?תdg,U|.NfFi!DAEJˆpf^}VƝ"nBT)aַ|@?1_ɺ-F¹&.2j5s` (.q .Qy(x& 8婛:by~/\CM Ǯ8W (\ F@ u{8!P ."(;6ŨХN7{() 6lUmw׶g;Mc`hqGט)p*pӪO"fP.>h]Thb^ګ j%VJ1TQӝ}O>+&_Sw Bv1 t zXr%3{.gssnXc?\RlFnRT )!+r]FQЙ]vO2Q y[hm}4'Lo3%e&Le:8I0]En^Y4&QЂ&?$v ,ɽJqxWJqa7u3~Pe1b/JdlPM?ji`걃Y RG`Oc+g/Vk"|[v y^wM[%R+I1*qx4%+IOSYYQQ;tP!NU">ki N;~VA= F^zTAxx7mkDBjK* 1Bg1@p+8v̲qT~)U)fVMY5Eju"nPVmLY83w*XlgYZb)D "wZ1m-,Ly'.{{9[gx~Y$%DqHv6"=mKNxOm1*W Gۇ?5@LF \v]"b/jEi`dw>!{h:-e]f\m,\[tqϒ/S6 h6@ݐ[o`=bSO^<߬OnlMQR{P. 6ܯaX ^^ktXG1&G``x垙f&2rGu`p{E(̶FÔǍw r` uS`iMe_6> p@=3l!hC 8' _+s*CcܦseĻFA6ekÙtX)'۩B.Q.7..iΣ9ZXF E-oܽY`FN" XBEko q}.)>0̱ 3]@8C+uj)$i, éBo*orĔӮ0 $T $btN `+J_] T7YOgFWh#_\^<9p]Pü#=D@&CCsLCDθUmoYzr_ߤ!c1jbc{[`(YMdwԟ!?2-`??p'>c2.taʈE1`/o AA6Ug[txVT>Oʞ^!;O,`Ozt5ڋ"Ő> g-;J8]|OO+ͱ ya] 4>8 SCBH1AsܢNӶYVHLk۝єxX {LҼ͐W "Fyv1mwPWp<&;R*1^Q-@֧ևb#(PF@Aۼ`t66>>φ .VKp:֪<5Z Ңi_ e^JKsZqFR悧14%>,CG1%C$͢S$BChqs8E)i$z  OV9$4$%ynJ:~0FK˽cוQ졏D4 Pgȩ]_NncE=et1 ܿA}nQ C q[rQwQ}bM^egF8)lMkn.2ר5(|X_c&{J#vEc'Ŝ,[y3 S\isB&b7g Lt]KJ~քB#]mWs̈́|xo>|HKTKω?F_R4~T9f0A<p)ZHUGmQj$-z0:Sj5-H? !%l:?NR6n] ثd/ۨՃ3" M%zsXYYS[P,8XFxy63cN ։oEw ۷S-f7<Hn=G 06Ę{R}fiwe*2%šgHV _zC`VAl[ jHBOÅ9y1œcTK}3M@-@C Y`%^"57J׃ǦT{O%v 47H瘙* Cu/ȮGɀ9HMek%P[Y*c‘pW~B^t'5==&$e[mJYz@S!/Tr?LH m1[`?N%t /=rcH׵0s5~e1CVIJ~wih/=&,L;C,KxeKs{tvtAUO)C}-ĴL.GB jElQ,8@ЗƒnFP|ۻer}X| bu4w%߆;,_2jz(mCA'OcxȽnA9p|HP(ķesɾ#Δ+B9;+ 5th6JjL\6F ))z1r0$ڬ2#:p#k>LlzR6S~=+ؔY1`8|!qFDk1O6YAMVTbUT,d'6k| 5X=o=6Q$7\k:o4, ğhcѿk # S2t0IPV< O }%utnJȼSGC=n+CR`'6ntgI-jj:9r3ʷRVG*USC((oLTKut6/ s=iˀFّ v7F?!TWaiZ;) M`vTPX@hL7uSxW=+Snݩ՛jb p?c\rr=| sORHzʁ"\㧪DM*Ve"!g0;Z6. !ǩ]]OՓFHA{bH\:k;!B  R-?_laW0\#_3&WIڃlD s #NDoW(R78,nWZZkz(ךh>rZjRdžY敄UЛќ-)%1e1{4- =8=ͦj!t~#d7 ~`&j*ɐ2>s2wD9CNRsp!$-*01wR}2>F͖5i7ڀ KuQ8@~r*w8zS&46r]ܵԳ[B[,aM\*) oIcrMWO5X]azthLBI 9'H 6a?L)o8)~1!;&VXM`:g/yQpبGaC,-?I6rCT:R܇ oRG,?q-z,MѨ4BIjW$sSdb1BSbV3KOk6F[]22Xaps5ge{Mdi~ĺ]#QhCB_T׃i [/qXs|:~{wK{"Q)$.a7@{뉋}rH(9B-/[.c\Q֠PNc{Bܩ-R$LA8q!7eQ<:1vZZEODSrlARbGɆPpIfkjSo?6e{KK5&AKy/U_K 3-5 G@/`( &bᤠ񱊃 ׍7Z"Lw@-HZ!%\PG~M:WA I};|b.OD,,!"4N\$. }9㣶2$P5!{1 s y~>q'a:HFK}kWSi.y|nȅ*%_P<-[TKpUcL7UGi pB+#vvd9?7{;"Sܯa!=Dlblv y ty l=C}xX@?RSg@\j\0f4Bx(OLH{3!u$(9\P8RWesxchuZS]đ 8\=5sR>Bo6:hٝ5 [J)&f\ZDiJ̿;]Bw $ђp`N¾4 Q1}k2n(X!-(?/nzؽ4W$ ĪXQH9  br+{+Y .T%HGK, a[\[35Z͟: gSXgo/@u+Q4^C$w$a2+>4CU) Z!V |o6ROy(E/j*ԇ/L WcAS@%:(CUce T1ïk ngPMV)f ~x}]4ϙ=A_qC̞'Σg[@m!Ϟ_+h`cr˷\~cPQ]> sf˃Li@5xb"M$,Jz&-lFG0HN9c*À\@>g sЌg>Ƕƞ2zzΖӥ/)_qB& 1h-+PrEvxDæ ::?>+|4qmD1Ǜ-!6un j3~tr|.^+] FwUb/4+!pؑ'sv?PT4 ȶ@{B !ՄsݹEp{ ashEJka+̍vf*y-92okGC ??\ bҗײ"61:KY5ʰK>?$ܗ""MlAbKd[e}]5_W^ =),h8So<XuǁjՔjݫQ uW`#Af=joXKٮ@4Fi0mghZhM\HaKy_%(Kd~l=*ȭ ,?40 /r_pvﲳH ǔd;m&wV9 K;틶A4u =iRL}rQ;6.M 6:YWO+lAm16}[t[f;Xڶ"Z8$Wwߣ<|')8MyWi(?!n>[ecf"wG \H;/VMMi/kE) %k:'xxP.k tcТع!}-z_+NY> OvBoy"oS>-ƙsHeHtyXg|Do.MMDF"4UjVKjZ 0HȞ"jxReJ3kGYuh43MUm(x 耵lF@D<svY+0rOU",bc#6πa1D*=8vmU 8~ƣ{e5ge⯜r3mQqq$1u} }4 N?T|]uC너-bq=I_(-Q֖PT^.; :7bl[^LY@M;b&UPCW=,mcYNGKpYcQ3 qNlt$Qu58|8Fji-"F<k^ϫyn֛\y(r7W,HApfs3og~к2-[_c\1Z9૚]HKjxnMZ;˫:"wH 6_#DD*B5ЉpSA6S,q)-6nJY&A Hx *'1F3 }oq{%w3ˉs&ǂ(֓pe9tHPX"1S R7HMblW"7J#z廖g{o]Y'0z8iR3E~ ȎeЕU9 'u 7~f @Yx݂sUZn$i2j/CPeO]g02b2L@s]eHnh3gjag2&1WAr gvYRb.b^4pa ( ;٨h=MIWM3>VT܆S(٨R`:Ԩ*),L'd|R kj\=1&9[G'7 X`]\. WG>}¦P77+ !5€Xin\y>. M_ 脯%/ŏ>q t>ww#XhkOwHz]1 \)OX)'`!/5 |,nOMv=؎X *~'>w-0 ZK:zSäٛ1;1w=GYɩ# .D2+~Z?m|ƔDV8{&mxbuU3P8GH)!.Q>R|MxG{E_lK5{b'kqD 4l?Ԇ/'MQ]VZ\ۜ 'U TW󺛞BǮܹ ۇ-x^2a"Ɓ7v\Yh|a+|TJ)Qoc~^Gko {懖JuFS7MMz."Z$bK3&Ţj^UU ~i+~<5uҙ bff ʁr+~XFP&'OdMK^*/(e‡beL 58?MjҼ$gŰ䰐OQ(zvHY]&x{ϽO5a4i{VȺπ8Xy  pt]Hk.naf?28QO 9Qhr٥,N `M&oxD4Ұ34X"GA{&iv~P E9S7oBLdePU W #twCcE8+Zq)ܿyL--͡nOO 3 b̈́FM*a3IZ %c UʿGX3G1PgKk6Li_5"41ĦƬg][JgYZ/% \PCFPCF.Continuationsdocument.tex7zXZִF! ౒%]A-MՋhvG"uIBm5Wq#*!p:ni oh€(dOZz@5?>olI "3LVXϐ0:[z oIF!9%ң aR~؆]1QEn=YB!vʌHkhxϣJ6-aw(va94j¾NW>Hok:tEx^#WXN~V{gtM9?se<6~OhE[JT~$%uhx:x;L[qiHPf6sՍE ᠤX(Ѵw/nQYɵ*WAHwȠ HCMiR4gu I(( bOvZ4L7 Gu[Jmj/Vr Sέ$_0 t 5vё`\0}{:,$bQZ8* !:% VqRd-]·&|VF\Va>u4=?Ljo]$SkԊ)CPQ̋eM =Q.9Ԃ} +3]~Uqk՛BzV VGHtBʐȤnm;rV_.cl]x$W e5A! 4~d;L S89%j4ԣ+ïWA=<CˡNߣ7/"Eu" 1f2‘ bwk5 Y"|  D $7% |PCFPCF.Logical_Relationsdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5&J qqMfA^9nP=ޓ渔mvy󃛤ru"ȱ|΀g='J7'uڕT+"^Gi׍;D_𣙔Gxi;9r>=&{9{-"ɾ~O*Fa6Z,U8Ċ⃏ 2,Z^?[ uw{=oaAGm7.t1ҶAj;Fvo;pfSӓ 5/7/K) TTS]gI#: Fav>ɚW͇vH!}1Agmɸް>Wq`XT%rVl Uݳ3qfAiD_P\LOYol댻,1E䙩u?IfYHIp~Iēf42 "썊ϗD9gdƮ}Y׽v(^EUu~u}4,ğJR\.L~ ,<\y,VC)a+7K0Zj<#-դF=$܋j+!ah6e- - % $PCFPCF.OpSemdocument.tex7zXZִF! #"I]A-MՋhvG"uIBm5łVqOƚ]7vX B^LJ mm.' 4nG)t1/${&>dYS?Ox,TvZD ^юV]'muGUQDous/2{ HL8)|եCF.p"a<_Q9lwb*Ig4UngL&½-zbH:;a8?e5>նc?8jک)i wju;i "-\77!T`K=؁˳2)omjY Q05Vpy1d6^m? &"d>s{ RXKpK G ^qmb{,2q[CnNERs# ܺ@e4ސ~K0sLuI+q m~:x^;}B_@ D ᐱZ)$X`GҪ4>#5=YvB>d-XNGOu ydyk[H 1u">Tnd ,zJw/"C6G|{{,2y?*f:*~'&=ExV FH6hC ,CNQvъ:vi/w+RXTvv;73%4:oteb"4SVgnyQ-f늴1f:m ]8!(&aPH'CSbuuj' bn?~ t}P>B8ҭc2ӍKvM6 R]M%) v7tBa/FM0'1v^E?;U. z|w?~Y˝*:|9x3ҭg[T**~E vD;xgibRJj;XHrf=7Y"HѼ~ p"6LOgnN|'9i,RnsRJjӚM3#SL3I-d"(J7kR 8>T面 +J!ZM# ʥ]Zh "3|~FlO v:㘙3ey7V(lGWXwN{ݧ0r,Ba!+;6s6EwL/$rhK(`˵N$= 9@D*F/Jqb@f -VVs_hB@SCq1-YO=jGM'rw'^j&r "*Иtq>7eoMԘ1}i㠣KmRc^(\ԽQg9H7;:pIOeSC۱.'Fl:вbg,AއM(rCa}im]q5$6DTP4_48GYj|74"lQqs.)DUp\D=/l{erT Rt~nM/ nڞ_VꋖS+ɻK,i/D\F\i,ƹww_ gˊ֥c.Y{o0G]G@wCNxT†( TSLB+A4t8b(;$F5`Qȡf3EXX%Q#|jmA𖺖9T#p<<!=3Fݪ-ڢYymd~o}ygF#!s# jIzN{b)!#l6#!zy?4-11^;L}^q^rGޙ:V9h_G7yqqѬiDS\\>2 xk% wT]ܣ :RKt޷^O&ϼڮI4 ?,p*ٮmde;Eq>)xz,ub!]Y'q_W;m.*&i<\؂+v)MuS誫_j\=ֲ>baɔZD˷#&9i :Vpdenܬ4'rMeG"v,G}yL p O&(J]<\CeD@W8# Zse|_R[Rx߾wudoJKz6yŰrSU6-@L({ Ƈ"C;H4M%/>VJϿGLfO&ѰTuHTl/ޟ>H;_?^IAw] rdc5%NjTJ3)Y8fi+Q2)y* !,`:Km/#E 3- dZK\Ɛd0ippX$$578MҌej4QRT&Aq–]0T?q-mT!aSϳJ [P=sIWmHq$y~S y)o"~"o,xkԩG6_͟i.DvrYwLJ av_Q=|;L!h{ `΋B{o ̔Y$gFz2@U(iKЇHRJ(и!J]/ l: W9`Oۓo!{}E3 ueX6$OԒ]2)O:oYT0&i \$>O)mlH Y}I=gk\[n RF{B NV P~PD*Y*n= |J 5Kj6u4t 3[.i8i(tӋGyڤL1)~p ]ˈZ5B|*zҫhȅ%YޗRmN_`% T[ 3ٓVE-Uۦq.Im:tթ؃IP2_WPw+u.WP GXU˓G]ok R7s49lu%sAؚ2" [;:Kxr? QCjޭU dBd *gQ8 CdjmxEB,]ì;5/y+EB<̚Zo ́ hq|^xkd3jMA}l$ @&yGUe}:nT25rK"OߋrWLCh.}wn1eoie[d"4oP;}54 zEn%?d.y%O78>$?yJRzm`R\ҶFoB#t ?_,ns$ͽ'uӱgYZK5=4YM7_^>NNCwAkubpG[oEb8y(PnTB4O~pqV)L0iUZTuCp˷s]a ʀ&,{AwT?҄L+Vc*k@zvi,2d*4i:}H9{ DkUF+<@cXx*@=FMLyBӌ^MHu^Sfbfqa3) f)ogyv-I[|UI׬..`k;6KeJ$0:hnQbF,܋2¦%w0Tx'P} B{1f@7N0}"r9Xъ\]}lfY_tᡭ f<} g4xm -Esh(ځ[%o&_} ]jt^Xw'Tdo~T(ndXF0VfA.RԚ* !ׇ ~R% *lpp57*z0: *Өǐjv&y0 8;yD3O,ӤE:22SaNM|EJI4NdADpA}߬zd&ATU]eLs#s/+Vnm 1_iK)E.J,l.i~i*eEtfŜo/]qLu8"͛ Ueщ^Ɋb P(VQ*,q~&ڢxph?"vԹ!ê\}9bnb=ZCj)4C1jeR"~ܵoDẺiĊ}sQV|HY:;)ʔaRjHPЭ-g(h2ռ5Nk\ 6,+*f*|_tLh8{Z{fW:?ײũsvqQQ }:aFkX Epn|5I\hиE+e$Pt9c""ӆEkܯ[J??~:vOk^~F#5g^i3ZXK!S~>U\&~)15D0׃F /e{e"*'Ӂ>#YA)P꾏qmm? a|*_#*`b%yƢE%|S9 %-_TcVcuOIH Y,Ж4Ue<'E9u,@,6cSUPf࢏V_LX&bwrZZe"^6*bj)Pn4}JHĀꯌ|x'&尅\^slY=)=XjSLV{9b̩On`?&A@(gee)!\sPey _NNj- lnrj# (ZGþW΅5=̚N^޼I Dj-}VK|$-:з볳%("\yA+W G'`ϰݫ늳R,ϑSvXE')=;Q!nE~n1^Rr&e[Xñ39dLB-K5 psuSgz;fK9Y d Tp4m|OFG=gVVG6l~j$$8 y=[P?o_YEUtM)oճ0U-O  8Vq:A''0[C}+sbupq,x* 8 YjLv%~kjL%ֳdO 7[ ?^sKP ̃&@Vn*K#9c%~5|uѤVhJrQt. nx#o3Tg g,d$f;jHhڡ=-Ef\5,5$z!)X-šh%A6_n\C5jP [r [XvrԡDN! ,+rDH#Y4]b5| H=UXy,e`i\ xLn~3'mK?jK%ĥ_ ?63qk Q|6BбzR4O0d-u0I{0EYQƼshۍR-ji?ݕp 2k" 7= p >`kj9vҜinz8زbp8oMa}Q(3;dqS:Bt?1ޫ!PX 8 zR[P7 \-R䯏Y Ӯ lyiqPS%L%.wz ފQ8dl@P[ ;Huƨ;j/w#c g)z8mȔ=nBaZ(UlZC?XY}$i]qh1ꆐ<ԟJ9G!ej?h$%ށkRin6oI7\+qq5nby)(]5fS>$uem7{ILD'Pv0{ ].wܷrn쏄󣭖߶\#‡K&=Aăߍ/9Q5aMFZQ0[(CG2tFT3t7v*HZI K)Uɹ%R Ar=|M2xGhj{ eb3PO2A%ʓ66/D cTRD]e T Uf߿(Mtځ@9/7ِ9ΗE3o|T}8a0Ϫi!XpAH-o'aukU2]8%^7 A ʲKu+d:Ͳ2#r7Ѵc:ECF)vy]aK"n+PMNoK]"\Ih#P hA긷I7SqkMnT\c(J4dʄ֛>އ0mvZz=՛,gYZ "% PCFPCF.PCFdocument.tex7zXZִF! ]A-MՋhvG"uIBm55Yv柛:6ӍJnd|79G5Iyz8bS{22uVox$ mrZ`љiL#~g?RN$A;)^/zט+wgJW "cX;Baϳ=")P{֑ē?2Ԑz.B.FFb-N\9d1O?2닣Lw8+{Y-{)C2%P ;/TfanW'#g.Ȝ# y X=.PI -LaQɊmgvX<{pqQXA?9KBR,`ɇ#H9'EsdA>LgF \Xoly>[|PF..[ q"}̮?"{3g<վM(#HܰShohlnR[QtM 4l0:`s gE|-*y )'j %G5䳴?ǣĠ]u42Ir\T,Vje8@6S; uXZi=e,O* lm1rʇG8s_X8,}x{! пd*Z}%Ϣ su6e`Thc5\x) RD pskwHPW xʫvKumZD؃2K'J9֏'E52`3d:?`/ *. fwJc?Wfڗ; "9@hRd;3<%/7N@=ϬRK{Ҝ-~Up2ĥ*fZp"avg;ɝdsWe# S _\7K#)CAI2яj*B ee.@Zk?O^)%MjI_ c *BiE4'pJˍSH^od[~zҔ$kA% o<1Q^w93l` +5`_Z B/͏ E Dqxpv`g.d!4Xz=; "ئu2ǽ>2O$:0vXTs*|oOaҦJ 5Cg2C9Fwh =]/=  q'#2!_O7 pI`ltJdʙ-,08M dY'#q̐w0yځ-z|lvs8F)| @;h7RJ!hR>pc܇2˗zycR1I%LN1Y^AIh>6Kqvfl'7XǯgUݮ7@%oY*Hn+ŕ^5;wvild:z\~3IAp!$_ju-l:bmxYAv}ͦ&3C.0OY+hZ0!Cc35n <ޮlPFk㘸h4Mph+VCϼ ; i;Dg؈fgnkXpT6S uG&X8+asԚY(}vs@7X7WyW[0U͸8LS#F&Fh򟨪_*$0ysqh?uzQ!f9[y9rQmxmkn)I=yS˵RPnͨkp\ձ\uP| osgYZ7zXZִF! }]ŗXiɟ1˦r*E$O @zֲ_}@ÉRϒ* ZscR< 6E'3Uuɰ/6D kzKKWP \1F5mAd nRN$&z9z$C2ˎSF\039e㸃a>5|Dz t^'{"C^%542fdn|,ݦFw<twFC ɎgYZ7zXZִF! c]ŗXi%D8S5 Un_6>̀XiYYN734{x0Z/NWPia.CD9;))]L6[óW[ځ>4T0Z ?3 Y?#$.YkzjrJr.05 T`uly# zwxGik("Z$}QT~jO6P*i&8 s|X(1U_?qg7ݟ)ڕ>5n5Ldxy',x*Lo^pmzQߔa+]Ew3b7+oF=,}ID/wx@eƺF #iz:Am,U_ uu Qo6kuQٽE "M/MUB?X yVS0,,S԰[+ _ǼPH";;;`RO^O7gSܴt@ۨjqlt~Zc%C~NBY|NkBDAw=,*/1,boTCՂ : 8%uS ɨ-JX{!)z7b UTV է09 ҭ^|Qs.ǶbcRV"j{2s~"d;N߽$@=+X3ٯجnx|JX;7gIGj g=DKpw {c7|'TF˂Om|7uź5v/o| 2)*ﴻtb!u:hu, ͽ++@ L2&MQ:bpR a!Xu飫f|%ނ\Sn[lۺ0HM.('pp-Ȭ}Fѻ&ϡ^ 𨝿M@B C"Gk. 039_ucW_R;Q/AFi54&0Ұ &#qmi {mC @T;m@R7-%c S4H\B{crYfm4V;g)rܦs~ DPeal=w)L@t&f3#΂i%, D2{i  ~SIS,W ^Ns;Dt'šݤYWT~ٜ QݫirLUnTh5XסYmKTg1R)[i'įt,{*0%AXǚi9z,}p='@4r`C>aAHϞA2E m^HugfHFqx)}?ϓ-JѮiwhPun3(ṛ<6DYGuϔ w4 ?U^k4saVaMWrHxFGN~A%+=*7m3AB@eѬ 6^o>Qz4K$zM4$ rYCaQkdĠ{d )d F6sXx.Af2;Q-wa7 0& n#L ȀjT`q K6o 4;V>pw7uXbXTHn?%den~=cDLQ?-HhqJMu%F X'1K#% ,gua{i\Gg%z;r~C~}$2O%)JftefrZ9n'" ӁPHqW:Woʜ16v4Q5llCP<^[Tt2Fr0`ͅʼ6 * vgg]lAYTFߋbR(AY^)=h*ĜfA|0]H(8>cX➱z}hP+Kإos,n\o&[r9ۊ te%9bR{nM,wah.5d:Yu)}5+FV8!ـEaAԈD/5)RĐdȉ1O^k(Lm?} O!T/Wh vo(.#a3ݯzA2胈G}  bo5zԼH,ivXg%_FY3 @-@Ҁ!$xwSa5DOlH2rb=j1A1Emƒi*@^8ֶ{=a/GH#*cD8#li,^HUJi=q ^UN9=]D[o*q,DƓUn2]MJkWP&5 /22oHuG-:^@D JǾ9dLJjq,5vb^FRR"=.pP~#Ǣ4b=DZʥ4;hcBş0 o[$TSaS/f.dk>_)-)r!}3f]9gĬB^7N1kꩋw1`ձB ϴBlw8u ~K;Bh{4ߦ]b?7B*st]9 B1Jb;Ap-5„F1棷YITpэ$7$i[xC;Ftl{$~|H:1A-~gf *o"c0w=i$MdMձ#Q Nym!H/]L٭syԍj(1$Bj2+O:qUu%7^=({25t.~]6&*v$ph N_K$u<@C_su}p}܇5 \v⫄ADӈF*ܐsj ҚvoIzVzS$(^:eK]Ydh9+a/(+|_aMӛF\pSCY5r;/X P.Mg;K91os5zնt)aӧ w F'L=cqs/,kmqoL"C n{2 /,)MEԷ tdj+Ղ@YE6юI+{# &;HCg-o^R˪ޡ> 9:Zw$4 Rt7LZ#]|" Ee;gasIk/eye#xGcKmϬA:,ѬEؗX,} 6nN?z|fwS^8^!0[şQR=SVZ%qSOJjp+1cZ]Z6,^#f%E Mҕ R" *" kIYpǰgь߸zm? ctm/d+|0fwqBCm촕dE0G4-a {qd A%[HBlQHcY&yyMX:Va\'%Bۋucc|t.bw'OcxnywRTNkz(Dz{W734͝u߻@ ٚD(|bcVtw"˟]≯w"2^J +Ɵ@v}#= DaA Be9ŪU-[R/:*ŊI/܋~\6C4$~* _vb}ɴxrcxfAvP > F -(S;Qj%H}me|fIb(FE 'e}"yG1~.X*ޏʦ+dAG\~Z+ oC~_Z@P|*Dkt, KPNjTg9AG թD 5ys 'X5[5N/8&f "0 ~ C/TXul(l[FH]h+;NX/[wNb Cȥ?7dK췴Ӌw.B?m\bh.lgb6Mc?;mN Z!'u?-"_c~+Y섚-6ZPW,?st7v]حik.W7J`kuwJkE ~:L3(_A%ݼRyږƟ3q2)1 LשׁbLl+hb6PC[ٯ Ϛxv;f'߇1Dp#!u H֣޾=8!+Wٓ~M$ +>rSa?n%],cފ-n´ɬZm@}Iᯅz<%JP|I XeQhq;wEH\Yum n~/ hi@+ۼ@`\n %$ çd[Fy/ o{R:_Tۢ%3k^[-1-b҇Î_@w 9=q<|uj(Bh,&5eTUnwt^I-o:Ԣ #~&s6L;VX0SotQK~(hIEáB2NV7E wkiIXx -Ϥau;,kX+7ê<\'i<&z.b^#'̵ͭx = g`ZG!OW>rMyt(B߉p68:SYGF 8ں@VM X"?';r{Z0Ngi<>.@kgڞ{- KXWy`:&LtN=)2κrاNWahAfaޕs9ᰂ7'gYZ1a4a631bdf1a8cc9a7a5a1cbf97756e65065a815c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a d4d48a0ef26e7d3d774e2e75ca580896f35c54f2 90111cc71c1cb0b2ef3e3595d098eeb82d827e66