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  #p4Ӈ~{?@& tu|= 9M>k>J /b6iؾ\AH_a7?Ս?A_ Zni;Pye#Vu:Ç],<9 6(a9gYZ7zXZִF! Z]ŗXi%D48O]xgB/D2rVZ-:.̱D 9 )+fN GW4cDz ){yE=n2lzѿPTҫ,DUPT+-!ۜeJMYkoA2E[ewA-.iR"KO) w-i߿i=1RC| nwtAjm47jz6̝(3I !zuT?K$톈LWjCwiR "Gw/cfx_T!ȼ﮼>S ,>906M~hk:5~2 ȏ tn?Y'B) ?zhjT`݀lc뉰e,86OPh*oG)rl AM~0K /GdBgr6J2 Svd1tVO=sNʷ݅n|`!{ܒ5QW4Ҫb! bS&E@TgǨ#;XB'S =N;~,%ha7kφ}>;OwoI3^H(G{D6^˻V3&KW1%}k}t`^d~M&vαgYZ800b0b51727cc74d271c3e67cb31e69330eb8fafc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 878eee2ffd686e8946590f8bfc659665ca65b0fc 92a091bff89975f8a37dfa310518fe14f9190030 # HOLCF-FOCUS y#9% HOLCF-FOCUSHOLCF-FOCUS.Buffer_admdocument.tex7zXZִF! O]A-MՋhvG"uIBm5Ls1TktS7uXM(@g0䮔i(Udv>',GoՅ?R!oaN(W.Uk[[1۠AUb0y6$$J {$WAًhmPR^[߶udPι]+{Z+3_Xt2fm߽lo;ȽJjz`z y}ƍjIS҅tUGd"mDٔ/g"m pv;d2{PFlro V}`ھg>NA3=69cϯ5:;1^D6yE6thf5m(Ѯ-d+Dz@zklua3(%y7~2ehiD<,΄x>`7j7AȁGJo.xavMVd>^BXq#܃[˦dlouڷJRR&:|?}a+\4]%r'l^;6A>dҘ)p #] +^ֳ p!wL)|Id8w*tJ'ln7ˊ[N]5f㢕S5;3=E<ƃx!0sFt6rX qtt{% L x9%AJ`VC%d-iobFRLv}$|_Go`ub4E|=_:ܰ6X/w pKiM2fci2H`"2G_Փb=謻! BC?H\g 9D|Heni[(ڠa{'p 6fOQUͤY?m5JQS[y#FX.;tGLQ\Zi, w7EmⱔE0U"iڼuݶp22*W0k9K/$oP腬]Rb )VQx.5ڈ%lƨF/_^vZcl,YDMX0)MF )?)x}ƣoDa@u^x n+C#۷P J7Q3c. HTNV*sgKQzR:jΈ(_֋ AG?BJ%QH}Y7f^V6ɷ {lE +țl) * 7/$^ (N[Wd>i13/x5og3Np3J|! (sf~ɿS!&א*w6ףiWG7zsNoM fК-nZ`TL2-Uf_"q?v̮s?Lb8x/ E'?MPϢFₗ)!ж :u-%2xM ϓޙ7Iqu\\Al5DkKV Dm#u[ؤLOi@>%i1G:4 et$V |/10wr=& >op"oN[%| 27H,A'}3ۛ /)xk9>bn•KōPF*+ Sԓ nTSA>8!7< v Xe!|+" OZKbfɵҍpRUubG! Cy\B|j͢!h;b,]I ]0NFCװ4Dd,Z :~o5MeP$DGN{(?Vw);;0<ϝ~r$JK2|YגY D u5(hOm [ aVڑW>ut4ɊIҲk)8^r۹ؓx|?BÌ>A1qiÕߖFZFq|RG!\N{Ԋgf 5qRf, ]/d|)cg lRnBg28楊shX%0h9kK%[H N )G3Ytf9Zj) Щ1UPX ZP3$Rz*(="8˫%J/6om8VVci/ɂkl5GanN,yPh4Tx"N/ ѕTLm.F27ojjN Z\=a>9|ib8Cr'o'gMCn]If@vWWWYmUI:RʿyeZިk@ura0v^ERb} ml (*H"a3vXU-Aޫϲ酬i Sd?IjOܦ2:[j.zRZ3 3' yvWjpW>B#(dpX2O5'.ƧP۽*YI]ԑa2lq;SyՓ˺]18:<>&|cʮ `ᄱR:W-?,g ?]ÙOZ wQHf}  ADL.E^T>3'3z't颹O : OeY/waT4obb  i:0#3%HOLCF-FOCUSHOLCF-FOCUS.Fstreamdocument.tex1#5%HOLCF-FOCUSHOLCF-FOCUS.Fstreamsdocument.tex.#/%HOLCF-FOCUSHOLCF-FOCUS.FOCUSdocument.tex/#1%HOLCF-FOCUSHOLCF-FOCUS.Bufferdocument.tex3#9%HOLCF-FOCUSHOLCF-FOCUS.Stream_admdocument.tex2#9% HOLCF-FOCUSHOLCF-FOCUS.Buffer_admdocument.tex y#9% HOLCF-FOCUSHOLCF-FOCUS.Buffer_admdocument.tex7zXZִF! O]A-MՋhvG"uIBm5Ls1TktS7uXM(@g0䮔i(Udv>',GoՅ?R!oaN(W.Uk[[1۠AUb0y6$$J {$WAًhmPR^[߶udPι]+{Z+3_Xt2fm߽lo;ȽJjz`z y}ƍjIS҅tUGd"mDٔ/g"m pv;d2{PFlro V}`ھg>NA3=69cϯ5:;1^D6yE6thf5m(Ѯ-d+Dz@zklua3(%y7~2ehiD<,΄x>`7j7AȁGJo.xavMVd>^BXq#܃[˦dlouڷJRR&:|?}a+\4]%r'l^;6A>dҘ)p #] +^ֳ p!wL)|Id8w*tJ'ln7ˊ[N]5f㢕S5;3=E<ƃx!0sFt6rX qtt{% L x9%AJ`VC%d-iobFRLv}$|_Go`ub4E|=_:ܰ6X/w pKiM2fci2H`"2G_Փb=謻! BC?H\g 9D|Heni[(ڠa{'p 6fOQUͤY?m5JQS[y#FX.;tGLQ\Zi, w7EmⱔE0U"iڼuݶp22*W0k9K/$oP腬]Rb )VQx.5ڈ%lƨF/_^vZcl,YDMX0)MF )?)x}ƣoDa@u^x n+C#۷P J7Q3c. HTNV*sgKQzR:jΈ(_֋ AG?BJ%QH}Y7f^V6ɷ {lE +țl) * 7/$^ (N[Wd>i13/x5og3Np3J|! (sf~ɿS!&א*w6ףiWG7zsNoM fК-nZ`TL2-Uf_"q?v̮s?Lb8x/ E'?MPϢFₗ)!ж :u-%2xM ϓޙ7Iqu\\Al5DkKV Dm#u[ؤLOi@>%i1G:4 et$V |/10wr=& >op"oN[%| 27H,A'}3ۛ /)xk9>bn•KōPF*+ Sԓ nTSA>8!7< v Xe!|+" OZKbfɵҍpRUubG! Cy\B|j͢!h;b,]I ]0NFCװ4Dd,Z :~o5MeP$DGN{(?Vw);;0<ϝ~r$JK2|YגY D u5(hOm [ aVڑW>ut4ɊIҲk)8^r۹ؓx|?BÌ>A1qiÕߖFZFq|RG!\N{Ԋgf 5qRf, ]/d|)cg lRnBg28楊shX%0h9kK%[H N )G3Ytf9Zj) Щ1UPX ZP3$Rz*(="8˫%J/6om8VVci/ɂkl5GanN,yPh4Tx"N/ ѕTLm.F27ojjN Z\=a>9|ib8Cr'o'gMCn]If@vWWWYmUI:RʿyeZިk@ura0v^ERb} ml (*H"a3vXU-Aޫϲ酬i Sd?IjOܦ2:[j.zRZ3 3' yvWjpW>B#(dpX2O5'.ƧP۽*YI]ԑa2lq;SyՓ˺]18:<>&|cʮ `ᄱR:W-?,g ?]ÙOZ wQHf}  ADL.E^T>3'3z't颹O : OeY/waT4obb}EgYZ PP-#9% |HOLCF-FOCUSHOLCF-FOCUS.Stream_admdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5ȩBߛ0--V5r3hF޸nRڂa!`U <Y=VBL$ bkj48/xe""VE94`=(]ҀWj&_l.0 κ)w[L,n%vbY S%ۏuU0pd=B)LǍpGp4~3L-WqZ, =:k4c93'V!T jۄ/tZ#P\Kd>ۏS8rzЗz  ";9h\jRxcE(rG˲@ԘRz+zX`-|,`XX)afm5x7ܗ _l*E'.T \*Tڧct=%{  @0YҘhb ]CPr▝>%4bB'@F S4/d('$`;ekcЋ9[o&r%fIV>=av@H~)#!:XW F3@L; u&}-'V\jg*<9V@沘" fp捯:w1υQ *-K\1Ê K!=H*7A߰pj)C'q<3i{>h`H=r23A ~LWΘv/. n {1沼hd.-jnU\fn?z?7S ]F)<) JntuZ">KZ!ڏmPE4$Y9ߢ)L#A3~S6 %G -^Bm0 gk]&*'SI]0'gܢ&+Ҙt\0Ҟ0>\ݐb Ɍ#"2|m\kz%Kgh$@4pP"# 5Ǘe6[+if `CwJKϲFp$5|5\C zԪij4cXT FOC=`L2>]/JJW>I^A>؂`@ו NGūu[@Oӡ"ѹ+Kȍh10+ : lS=f:'!4Ev*7_ (Չ߰563m[x}8Fzmkt8v dhf0’)ٝf4{MG n:F4O46!G/x 8꿙<9I0y> uFY'=J >5DBA#9g\gSfBX3FuN∼ 27 >aé?Z_wV/\?{ӎsDhzUm+x4[k>4ef|w#!NU62n/eP8+&ᩢuS/t7 |Ue{ŗ?P4fca0U!˅۱O=ބoKLOG@dM,>-&G N/JZW K տRɍɑeѹoܧ@fQv/qRF`wRo?gF#WL.VC7-mjz }^gQR=v|m֣x6%~tW{1%4|~pݵ5}{h 0,'dY)@ФSYQJ? (IcWBC[W\^s xű 7_OEP6uƊPq~gK:p4Cwv[t*ky}+Q Je |u^Mvx}YK44r &um:pL_z/ۨ*@¤nvh|+7Oڀ ~<'b.&}(|w:7 u( kq"U5}FTq]i<[u( %!Ql9\Քmc5R"2+#۫J r)DrX3 JeToKMaJqdX\݈0"U#0زa 7xD]m$T'%WńZĖǺp)w\xgzeR()*]s@QjZ[rM/+ ݪC wy nx\򴨙 63  .:]g;IbB@qvW`MFO"|;q(f HkRkb;9VL$wM<Ϝq ̶Tc4owKaX!!oŔ|K3\q*=&P'[nv聖pc<:5hP.xL6zjnX: ةmu0=m#a; F΃a/ xLՃ8Ϸ \3n_WJat¾бvp>1j3G˕I2^+2#ݬO73[)7-GrfzGL\'q- &}y({zQx-V֠pii2ZZ۩bww$8 1y;@BD yaeDNL{]t"Ɣ[{`rOr$.8;߫5=b|)vP{+K;C3Oٜ<_-,Lq xcv83h_'"LaAp{jTPh?-x᭓6Հ֖@ATy n¤n';jV`j0]jQvWJ]UҋtYֵV5AѴMQRZH؇4/Wܭ@h5Z+Idu-{;4e6 {>|8:<,)l%Z `Xdُ9йb$Iky"P O@v۷]>YGk{V7=5;jiCS:!U.|^;~8޻}|+JjǩGa<]3v2; GUm? fȧ7*| QZy?ߑB!SO/֒(a,r^`&%  m ;H7DD<m~ΣhM(b_5zk > PM-dVmd`鴭 L#P=|a{WA'<7V.wϫIgŻZF Sք,8wElOD!\- ⧱gYZLUjjNSϾT='̭Q&L&M',J`%PH:Դa@TԼaS3ut!0rg( #-P.\@ﺨ\ɡ*rޫ{Ȃǟh,p:t#i;ڳ>;'I?LL,hLAHG]ewl41^dns !evgZOY;{N-l׆ooʽ`ղTwbY{FZ쭩бs¾ռ,`oV46 QIG.au'hT 4|(̾XyTIY(Ӹ0(~1ţ=/bSl,0u3|"95&w eI2}+,{AV&T.ґ ^Ah?~w3S)2e|d!2CAN͍12NZ@A@$OJQa8Sxx \@@,dYiº2v[kCIv di}ץ_`*϶Y1 "6ԁCZ v߻LlK=Nu}~iN /hg*/ф-OO[ԁv6g2RlO2;n>J*@iG K ~<A)pxoM70#ԚϋIJ˾AmBFVOL~)pc9lB(Ip%reeyC3,tBU)^AIƃN9j^ H9lVد X* ~ Sa\م ΐ34H#U<"PJ~xUu_8\Y{y |&M4)#{|~a>,A!IikYFhƻbCs?)oUgob,2"H}|ǜ+xyk,#(.K<$=sl&Rqf/]Ⱥy?cY4z |pFuVx+} lB`1xrs[ `ާ$ !0A=9QP y_fIr)R; jb}}r_fG %L|r#OU"M7+%z#Gm'6旿pݥړNv~XnRZp H.qZ[0 u¼ d`rz= ,/ KEʶE[1n5B7|b)mVw6 nTxz!qPdnvу$ALuEEŢثF :N^晌lԕ tZHjxc_v m] ϰ m Sըř-5/#='P>M*KGE7[[|ijC:om,6e7 69ƆA%)P+UY{y9l=Im[ziœ쟬*XoIs8TA̖pqՔ6خ 3os3e=ב ӂjW`7MZ:Ph; SW)v1F L+qAPRhX*C1c<ޕ\,p?r"(Uq 8mnTꏎRaFIrSUΤfakX; !~F4JB ]wSxZvN"u!1OEhk]0mpwZ5,yKb2UmO}w AoRETrp ܿa2-b(ͰUWc `A_Oڕ #\?tq5nשLYk17君Is$j;ŀV:ڕ&t,!!%X)1Lt+ 1x&a-39 34M5#J%žDJN[Ae{ ȷT2dD Į9nЏL@d%^\J6$z0N7@mS8^1J ~1B nkR eS"7ZM-cOI^!~,׌O3ם-5/-vLA: 0B/[t%gǘ_ۥmER j}kf[z禁tj"&%/]( Jv*p 59-$ĴRi' MxG= pĴZ`$콎K8MZ ֋Kf+5ZUvu#'>>tr$܊l0橅*!ڷUӘuRUf u`aACh΁O@v7E12#|BcʯlqxL2OE'cD}n/e޿E;F$ kJ'ւT"WOdPX(k?&U+bQiYơo-'2jMAW[-_ >,E2Rّ2aÉE^KOTZx#/>N-癡Xm#p¡~ڲ?W2T;o4=ʚ oЛ;McQeBx7YGh.] ! +#h0!fP66b';2g *MQ|-wE;DN{ ![PZ&.u⇑pP<``F(-IMn@j^~½ i`>޵oA9{GC{w#ya;Tϔs=_Gdܟ|0h@Pyfe^-똡8`϶x!-M V̿҈p֑}(''pUJM 0IO5mmOMD}vTvEɂWC*?iUF9T%.xN1(Zbc d`[fNvaun~re4ݪ@Pi+iy564'Dsڏvϵ)| m3hw WQA219}ߵ:T1su7b?6-p(@|Q#&E`u3H]l~;G̱/AFe6NZ3e"' v-CRNh#ye:Kv_D/>=s[x< Űay|orQ B.Xr`՟eN#ЉNȋFO+ؙyr&:ufNTtެB.x^ſܙMei oABL/kO G: <0oYImkK 8F yCr)qk"{x9,Ďn %וx@-:uh 4%ՆgYZ  %_#5% dHOLCF-FOCUSHOLCF-FOCUS.Fstreamsdocument.tex7zXZִF! $T]A-MՋhvG"uIBm5p\{` 7B]-3||r 5\FD>ɵ{ %ly-%a|$9R1ʫ\.g^>vP]D-UZ_W0&Q5R J:%i1kFM׈Ђa"|pܵ1X;B˳pYFcS8e~҄bmP-Q҅ q ږ>OJ2ة:U;*) >I2C WJ<ڪ/tAk>uXƍӸ \)#ssfmU9`@"ua-XzfnzgYbw(t,n LKVC7c\/?QIFQf N[#Q ewᙂR<Oi-nxeqyN$==a\at@!Fo+<3|s@qq'M`h8Ś05'E,Nb+5>!crgg-$E9-f[d`/~)a:Lk;Ԭ8qZt>7/%BBH* &aUoի9]әAѲDgIKҺ5)GlqP*u/J33yo>GHRMs(jQauZnETzAsIihN qɣ{kvLXyQ%R|}U ̙j_)"*j>Gc±"Cjħp1)yWCVLQ ߻-Wh9a(xֵBh /:UN2 Kyܕ}b@ )Zj$9Ŵ[:6׽T.mѽㆃfu.[Fֈ IlXcUiIt"Jg-u+ʄLھy17w4arRRf,> #/% lHOLCF-FOCUSHOLCF-FOCUS.FOCUSdocument.tex7zXZִF! .]A-MՋhvG"uIBm5^I<2'x *UlY+wjC, {~?Z'%8e?hB)p?!R0;/`2M&hCV(r= C!,@~ e)upZuj$l؎'r)J@ N@PAR~!jn!sRv]/Yɼ!h9 RLpC>e{K_XuLb6ܣM^K+)cB`\YT- wq_!c0{4&|$}c"9j,=8PvCiH\a6M1=E8?1V8jewr"/7#Wgk?+|8DI{٧.HӾsB}u3儛 1yGwNu?NX܋!+c,!tedpXX mtH"$ĴyVn1 ꄄbCjXS< qn$ J&[ZC΢7abJHU Tb؂;LQ@}6KMZ56Ĩ_$@]IZV:肵NJ-5+{#k_JJ|'wx-|Zb7L!Vh$QF7%4|R|M!?^i[UG|O;'c 7 }؆r{.Q6[l ΑgYZ-#1% HOLCF-FOCUSHOLCF-FOCUS.Bufferdocument.tex7zXZִF! T]A-MՋhvG"uIBm5LsӈT-MP<g˦sGd0;E.'%:X`%xA>iECVLԵODHȋm<.x-={;A^KiI;?:t~ AA%$4vD~HÌOhv~Z:5$=hiT"AYvd;8reQP۫O@/('?N`) &8)ĿOX4MP3UO]#HinM@^I z 6T.X' M B^6e'82v)@+~Hb(1w##2{Cs#Y2PDH߉ikYMBrzlt=0-5D:+ϋ~AvbM_U§)2SH*LN<-4LR, ~}3g.C N3~mLū^j vsb|[&L\? hwo;ϕF +RC̸[yuY1̍ 8`&coQ Rq=zi3)OPZM@˾/v9fϚRfYrV`7ErvĄZU5&u?1-zRnTt4dV>c꽛 ɠy6 V^kD58vۏH0^2-F깝'鯉JUFݷr}z9K91r;qRvJ\?xLrZO5R ]%%捲0PL񳸐U?%@\OSŢwJ/]]"`-U46wP.隘6^bj?:ݠ:|[uβB6V#1]2؉2;Ya/ju5ոu\QU[Cj$vE!@ `Bξ[2i;^ojԛORF$VaqHo|>%"-0Mh~ ;&j~ShUzYJjhk{8P.p7D\װᢃX̂vT:09|P[!ǝ5)&H^kUq:&g!E_tUG&|!(Q mNݩy l-zn>" )"mNӐt,(--Y*` xAځodA(c6s5(dzN;B:%Yi'9\p/Uq4=36>(SCu:Ï]"xÄO,|jN~٬\$upjO=ٽ+Mb@QDcS7H&ᕉhv.O| Cd>-zP9gƈMt~e8AB9#5 w\d) 4߾?G^8E쬮ds 1Ÿ -$p<'ޑk NnUa_byݽgFtM[)XsS[Y T=1:t$LEv0z;ՕR8!gb]n6=vUba)|\ eZf{Z+~9Qp(9  L'<6\8+Q:߅*WH C]8=ըR_yt{p*|?\c GF:{VND> 3  ] 9dpm~u aRsEκU-+ VlW#k ^7cP܁ߎR޺6WZГpdr ^ո<׋oGx>mL[|ebFUEuţ)":)tkR;͊ʖ@YрrZV HzCf7r*͂mzV̋e\ayuUcvФ-xh㰹~W@FcqH ŸgI4W{\-,;>j2]ao^H# JSd-=c-(L !]v%VW?RY^Qn\ig~vu'Ńvp$ *DP-]Nu% ڈTdɾ]*4:6C`;ը?q˙va20\~)E$w#*PʶC^Ty!r } nGmL5/FD¬vd uM6"n1 ppz&{ qI@ 2exxXwj'pV?dKjMt)f ˻_6ogd %ɬln E\1H\kbZ ¼e1a%:FZ=K1ʸVt%Щ`jCvo)_t(11Lj]+귥CN#k~ENBSwMH ~i&<ʀX6Сcaq㺽ᢪW.)e2, "O1I$Oe oUFivjdo]%^.tdoH/Yڀ[U"\ Mb`o㽭]U dwYk>α :IZUj*) p87Ô4Ttd&۩ 08؋&xAĞGE02=1J s#]XCiD6S2bM5uhɊ"@_r<y{ o]!cMtA M%wIgt; w]>m"v( H(zƩ8`%,Z\l8aY<*Y #"l?ТYË W|W87𷗚.nsUL oU3EHU:WpqؗE.3,Qn] wE*iԑ>8'[@*M;0X0/ }"NǬx\vDn C~ 43'\tdUT rLف[Y_S2BmZɀxA0G:-s*`p`m+qvb0oGˇ_o~\q% W\(eсϪAamaOC0dA=]{*:s {zlX~~kSMyϰ(z zt_^Aj[܊LmťAZ݈j'2@A4,BR] <Χ>y~Pb!'N詛N-aOYA,fG >"hɤGצvdWAФfW+7U&T`C9!? ?! %رu:n*`TJc-7h/򴅘(4I}{boZmjY%0\l "l浾Ћ)߷4b t >iy9-aVǁˣRZրBexi4mevG Gݰe/A:AOk@)56墒/XB{.LfO̝VAz>P-۬yf>hJMc1$lu~>QiI+"㷢nG*G:{;4MH\&P~l6hz⠹lP*X=6%E&&Ke্3a? eƖ&`{}^A~c`8_S*(,RAA-Dj5Hs:̇p_5Ɠ3Ezž ' FNt^y.fHcC/IM.X ޻n)FӆC\m+Nڱ{l Cqp^(dIhf{3烘04#")ˮiKtn > aۏewYl,N<-V'Xv?h ku<#!^@ދOqG-pmHa!B. F1L6x{ڹL3ILǻ>KTRm ~Fg\N#P 9 =:6 }cP<5PHA%sT_}| T; 1>)ng&Vծbhh|R糄ά/ykœU1^ܬrwt`*ݯn"YW`Kgd4d9hZX*Օ:;u't2 9P j1TǐSk\vCpUA*7=5\C{F&Ϸ)m-Y;FW/3BxکdEg*144kґԑj%}"U~J<~:A8wMZP9*FGW,5cBCTd9ӗơ2x%w`.3T#"cbrYݓ_=y/wGVK}+/:~]–'F} LeQ^]Ѳd38,\a!In dmLjF؆~ذW4-0NST aNxP],@am$/hpiRqi#vT_92a~ϕfSSpBOïˋ(Y"ؼȎޯnuC'@6_ ʦcЮK$+?"%xC.Q[Y΍>)zy3Lvag<‹Vb{qePe=%%.QG̸o/ ŶZ$#rg;vOp "EZ*FX(}z%cs.`LHmϧٜ.bjSa[~J5VH>Q]:`N_)xviN:s</Jv@f,_JҦ1JFM ߙ5MJwk-!uT%/#2B#=EAXAp0+}r3]' IZpBʴ\,dٚ.+j_ۅ0D8`5$>c%=cxY!P.ŢmV5LnlXդLVy:1Ս' !6PzW*r ^pQg6ax>tŭ?/H@TfX4I9vf߻gVO@A޵H#^~4yjO\—H/%/!ou#J}} r³71Xd~S3a03}6#Q੃tAx ?hbOzj@*M!oz5!\Kn_ r_?!`8J {!bk ѬmiHaB<$Q'I"EJ7=${ƀ-Q)}V/ecU_@"Nn]=p0A /p)d!W+6 0p9p*/i@pb2%*^OQ4Nl%T?#i<Xީ%g[٩OZUf*Dj!A"ڡsA,> }wgܳnD*o0;}8 ~]>x`,`uEI[AAE`J;>P1Kd]K{yG4*'(@.sKd+|nl rl@Fkv{*֛n38`d[8HE갪n5>H<Ϧ:~+!ێep,Il}HcQQ|k>2c1CpNaGRip٭s*j3cdzAi0r |ӻ69K"@ #F!J;KN =Jb_S"Qc}}=o `wʡUϷor {9N{ |+U1EB!y fc*]΂:RCR" ذ\@ݒui~e4yuF+zTmF!aBNH!<;?Ro.S9YPi_tO_gr&& l %q=kI-˥t&1C:dzD LJp퍹8m5}{F> 7nz+֣8)ε~9~NلD Kǣp?>y궤^hڎk>4+ ur#>\N颞lKljY 5ܪBX&p0\=3Y9h CIgYZ