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  tL < ]S PCF:threads=4elapsed=40.963cpu=98.328gc=2.8327zXZִF! U]ŗXiɟ  Q3N+s2aIש0e*%8Ѱfkf;>б{CFt?Ε)йy\CC/z xy3R$6˖M,h [P:N peWO&bzv}0mMcՈ8Q~~^>iiL+[O6*;b5KR$`$Z #ᯆt'\ɠۖMwoѱ;۠M[DV8o6nH6s/Tw0aBjr"/R{HJ/Ch.!yGHhW/>L8SQ}fD,BR;CڎoH~pU`W$0N [V<*kByF;r[f'9AB1EUb j⸲RA"Q !d9$~_}\8gp@+H:I)Ι.^~8ۤVUPRU@ƻ9Ǒ%YwzŐRނܲ+2P5@l.Nbn1ma] ߝez]X94\1:NE?J4̣|4B6i辟BK|YW[Ѷ2ܙ#|_IpewƭtnGW"{qJx̕ee弋,TŒ sMqqis2c*6pcc}/ q*n`ފ&Œ 4_E!!GA3"Bm%9,< I b^4Fp4q}WGvJu= z\!͡MF'28nCp:~03!" #/Z^2)Q0yH\w=7 m3%vvS$Y=SUGT9v9pRꗘolR/mTN\W{זj +!ca44,R}cx1ԸF\, &q7m--LvvE?. @$EgYZ7zXZִF! |]ŗXiɟ1˦r*E$O @zֲ_}@a9Tm-QPRcg7VO"t塃V!CG2G~ugrr#o>t4y" c]9 ? Яpu.^ߐDn2o侈uK2(~tHC vk"7s-VH8s" uA|B`_'3UlQg˱3 V6ޞ>mvgYZ7zXZִF! >]ŗXi%BzR$n'D".UiB(b}_/;A^1&תSM9W62՚V~z޹eTz"ʋ]~ZD_t:=_|R`(cǰ9 FcSȸAV*!y!m`F]i'-섛O\Z.#1#):2D#(wF5/&Y*5+Y.vR8J֏6Z>7:*3-_;tc3L:fR?&T d"byx,EJС(O HL+sxd4w2ʘ?Gs.e ZW/?$&:%Y5m&v/ Y u),K :GI4f0븱n F^\f  PCF T'% lPCFPCF.SmallStepdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5ȦI%|x'FwinNPXW$Ep~V_^涀! ] 2 MA#I)Y֥[3;oU7[;s.!5Y7>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$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  PmP%PCFPCF.PCFdocument.tex%PCFPCF.OpSemdocument.tex&/%PCFPCF.Continuationsdocument.tex"'%PCFPCF.SmallStepdocument.tex)7% PCFPCF.Logical_Relationsdocument.texIIT)E*tpt{A\R+Hkjڵ= X4"64gFA60aOzbH:;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ӱgYZrb# [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*XlgYZ  QT'% lPCFPCF.SmallStepdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5ȦI%|x'FwinNPXW$Ep~V_^涀! ] 2 MA#I)Y֥[3;oU7[;s.!5Y7>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$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-  e- % $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&½-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"| b)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*BNNCwAkubpG[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?uzE&̣MϾ NN(g9ƲfR;ȃc/=#;,MLqau2{p}Hˁ "O{)uL.2=qNx0]o\1A?ނ1\T™O}Y> Q3.t%ES̗aS ($GeSDR,ߜ)+y?=5l>\}YU-Y/d#ˣ<̻+$^Şߑ~YdY(:4KDXXtfibE,076T + 'eSvn?3FDe_E_nY~:!'nc4#w5sd[ajz5]+0JX.rkR[6' ٺ.w'"--#b>ߙw *Kqwܮ4F 6HI169PئvfI ;" L=u[?w2C-ɊrT7`c<ᇣZZNP߆\ d1UwnK8KI[I8x#!?05L5+?+Sna_o@#Q0I1՗.r"^-EcOG V]z'uaCkfǓR }Pn˚@p%8L+.L wO _ I$qvh`2o$y[CVW~њhr//D"s>[qsr Liċy.axcBR 1%$H}Wgm̏0jpA!DPd^Qv%޶))7ו }G/<7W5Sݹ4)^^VcyD?fI3ep9iLNW6x_eu:bve ؚmC : F[ >p睨!5LS6_v0#w-@:pTё L[c !ZVqa-Za(TU h-ZMmtR[P\OK nʘP=TS۵wRo#,;0I+|u dG=Xe|, -kT?7m7] 8N=™#>lo,〻pS]aR1sS}yO̗>pyPb \W(n-Fd9 W:`bc9J);u{ b}!H!qv% mHC'JR".S pCgTr9XNk`G×i/x0L, D \>P_ކܩp'ܤm/cE~y;U-b6 ?T9#\.^X2Z q`s˸ 6 z{6e+FAbY>Q-1Bը~fY_ tKwrvd,qSclHP >/++|&]6lNM@B7tSeտbm%gs%ךF'6&eg0`H&+Y䯶2nat e%Az A37^jl׀ꇓ>򤴐_(9Qgh'zĬ;RW%>G$;H~_xt{pm`9+<Xpeϩvv6F0" eP؟6FB<6,4'GDXwaZ\B)Q6M(SY;;TԚzռن]+e9 Nl6FVV13 860L\ |OE?듥-¡c[H{PKuC M