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 `vl|T ]S PCF:threads=4elapsed=44.537cpu=109.464gc=3.1647zXZִF! /]ŗXiɟH)0%o -&#KGCBQN/X  PCF  R33bOhKbw67'gSv Z0Z?2"Qgдϻُi|JXc]`YVd{o3XrakPQ@M:%׼鬱B>s#ҁd:kRWB?:(NC~:̡QW Tsot͛[ :V$IZ[{duhebޓkr/:4kt!wu&mEsU bVuAԫ/˜9Iu]TnBWׄx8f<<L m9 jƻU˅:,9'gs!eՒBAW6#ۃ{y !Q%1daLx=/ iounx8#[JrVCb2OVR!\x.#9XɌ'vM혏 Mv'cH ]B`܊r>:\0τ䮣W(,]' E~`HX쬞Vˀ, XȲb p#17 0&hdU(6ޤn5ͲT ].hILM\pRdy`EmNZuW[svMR%bZ{%G7Ȼ9vx VyYU؂)#P"U*e gJ4BHl&%s!S!O$oՖLh7w'1yY'F8l6~Ak5<]pv?Gױ/3R6 g%Y1"4tRDa>S ӉLvuVaGڔhf3y[8H DP!.YF=z%xsqٖGWmXO(Nr _,@>Ḽ{]%ՈriyZi߶Ou9  p`8Hɫ(M2wW8mTs:p&4QLyKxy;aÎ1|Q!0G1h<}tj?uq :xڙ)ŧzpixx ?nVS0CN &}rQ8ܥvN\kY*[:s7u'C+j w*y{ L]&kd4/YK?4T_'d. ^aU*b};`P;] ~aJ(ܲ`˜]T+ūF{~1x'{);c|njO Hmt^eD C~A3>eMO8X`fOecpRsz1.~l9u;QsBOy2zX"2.YGOձfsaoH;ѵ;]:'[{rBx C L?OiY^qyX2xЖ4=O'<<Y--$Bb_HlA&YEڬY| w 2KClgx3wVhtN`9;jݶ9KDdr ;p,9<&J9/=ڴ~9e7M7D}%)zJE`Fފ \ҀZ'ίy^T$kYHڥ Elmʣ1큃tk4N,fqait0 R32A*xcR QО?ń%BcmF9`\p@oM\"h- 6ƇI\ĒsJ7Wq\?3$QPr~.H'&uIJ|~0{.?´ 6>#W'pqj#54EN t9hZHajmËr\Ӥ `*O gΩnS0}6!yv궇A<|p)?PJpD"WDH};4,o\9[{X;&>q=/h~`g?ijP;r=~YٕNdgH" )p֗̃$t Lu.+ĩE6i~3H⻳& id<iۃCy 9كyN< vC&vod՟b':ȠXCL]zޤX:n9f&OIM9=b_x$HijxQ>s"ң^0ER=EEަy2}=oxZlrm`y/~3XW]M/TDCy?'N^70)Y pC䷮b}4CIi|[nєgAդrYh_fQU6]%`R6`8IBëND*Pag%;Oښ?L#Ȼ!;F5{bW`ۚn@`qUg?ZI0 F+MQ[kHx]XF+ a:pWL,Paufb#?2YXjsx)cle(1s6緔Tg89zG,z[ߤumrZ$E}( g¦u37&k "f?nGCF"3 \Ky?֯R9t}3D1YEYYU5/6SRY))q`|h;p_b2ח`eDF^kV>o&A/Wt=G$#@rYh01Aq;VTRD.AwWcb~ہUF\eb(_sm#Z[xctfS*CQ⚓wa K Fp:> p96VvR=/T-JTw6q_m@!E✳.762de.{2pѦRQ^?ErCfJ߫ "wNyqQ^n,*`qLJ%Gv2AFG3c)d}+r}U܂VmZX x‘2Lc   dHLEWfҲ"Vcb3(Ⱥ5Lo.pE{#o{aN:p=YJWlj99/I~JzܖDKfWT I`B LM2֜"{)Gxe!F( %Ewij,a㸈RԩL>|Tr2U:.2A;^%q${zbyCviEO3QPHGc_GluqL)2ZMh LJ ^$i͠W>)!U^wpǓ +Ѓ)+J~!E0䄩:1#(KcuڜI?o+-GF5-I]ʝdFc+zޘhږ!wt8=l@'{DHW@r(@CД .%@le}\V,xzqRՃWhrclBRP=UJ Jރmhzw`C!سX}H&1 h qmM 9,@ a:"!ɦly<50pR,ȩ\)t%!1\# XƗ}Bמjejީm[c8e]bǰVڒ`Q2VT.<-xi-Gů.*ؑ;~n!}? |BC3.>^ee3-dow<#4%O}D!y4:oDM/ď%1\Ԁ꭭3g&|T" A lo?8Qɀ1c2yqdM+m;;PO_Zއz<xqCp9HF Qj\pZQI\ r-*қL3A#`S(0\JcSL?Z"ץYazR%F,a 8ȵ+|:I^Gd^Eez֐c,s6eT&rJL%qTANȹf{=ЪO,ǕJY=1@s;yY8!=t"3&QڙMFG^̭j:~\\ APĦOd"zI&#eT1>I޺lʦ_^yˮoyz+9Ҕ噦:TuCq>/*#jN֖9m;5~f]8_˄}gl X;Q)b׷@çqQ'!.KzX.Y\L& ՁR8ϱ|8;Yrm-/`-pwW{Rg=5V=;uVK-joOfFs !cʤg'ff}֯(dfq[*x盄\9y×aHAL=Sb*uopvymheOzx0 tNWi=]<ɋn"*ˈ^ 69ִl@qf'_2[%FX(/Rv>R-4Aa*cj;_v"Y\6-4D*9l 9tqUzQGU20R*X7JrݙA |<I˼F~"mk^rg W))/K܂}JA݈~[B9rZVcG >k J*a3`\&Fg] t{]3O `5mqmS;Ipi(Mcʵ]4J{wG!("Wh4HFڗ~DGxyNqy**ki@yX~z!qnRWTx)^DO2=n׵ ArƜ" BrGU9i?qѭ !kqMo2Y],ퟜM7 :tۥ<6KB(Ȅ%n*[Zʝ^ *k캳?*ql+E])~yW0Y=.*x6ʫ/7'Ց9N"2ShdhjΡ$g`"$Do"K.?Çm^|tcqܮ__!C,-i(٧=[BrMr.嬗TDn)o1PYNTQ wLBMYhNFZ0X&8ۯՁ\*7H&tw%sHu,u!2<2&3<ާ܉DC`;֕qmL$?5M1ęX7cu$)!+eWBƣ0WQQB HdyOc@6A"'9]|Lp fRvz˰6[y =[k?`a v9/4K0/C|F~WAV8ƳP{]f]X삺o@:zZBZ[-|?F7ڭŕ7jL,/`bBa^uFMDY3/0"u~.#IH-fP!%:HfԶ%D\rc)5K9j|1B 1[>uҹ%8j>+DHfŘ#uQD(-‚2 ӏ҆76{v=_-{@eu.DBW*[2`mO[OҢptvq+ Y㣌I[@@)Չ3U-BQ Z!i?ɓ~5fm -Zi Rٕ X- [c'03b_wqKDsB m -ApUO E1QA0Ͻc^/(MbCe (_"m& 7C&Fk8Mh]~MfRt@2|cY@NyYqt[i ؟G-y%=TFقduhe $]|;f9(l^ Tz{ʉFvtezAv([ZTaz=mtG[b Ѩ@i!qB;Q\'h@,Gi8^oqXNewyb!5 -̺1W 3Z$SR(}׉5C 6SIx|.Ꭸkd:I=iU⎀Ї6-cLD^7r=[L3UdXZe.'6}nԚx<dٓN)a-RmD;13T+De% Jo(\_7KHȮNHL;"~ZRA7Oӷz@ +?AWD/$ &w/ckrR/"ol;(85ޠ]F/MS^k%!Uv=o~BbǩGl&a&<7Ɲv,@Xnor;<"̰7.H;``G =M 5wS9:br> [>pe$1ac,qI?)8KxX,'+Nf|psڴ6\DJY"MBl^NO봽H#(-Zi.ugt}<7TQzud$ʆ,WWHxz4v=Xӛgā :^BG8>ТoLq;> /cʖK*Lφ/JgzEYgf*K[:iW;(e2vx58F:==~DWC@J#Ӆje tCK?NMXTd_/gy HF7AYwWv/El&~Že5_OEly%('C&\Kў$0 T!(>tQIUdUqX Ta"a#SqcP<^BIxsC(UMS*_FPE]cq㟓'&9wRP1tjpl0ow:^OYj,4O=JfC6e)#H'aQR.=wk#g}le7@ͬV 6Q.cʇ~H5<鞺#rN;m&8yFo˩%EQ?()Y) Pvߊ@yhBxo +4>G?-kd Jtc_ 3b1mc3PJCg I6^B~ឍ8Y⢵ܢl x0{/q IuԦS>@_:XkBۯ҅@c)ifX3 /ksХgnX8eA𫄷TgEєdۂ /YR)7C2>6~XO^LŊ/ֹD /Uarڸ,^ѣ']#":723SJϟCl!3XؿOc Z7 qn7V9b`y>u{x3(T3WWPHOd90,do`dŅy1$D >q.s,>d@v>]:&JO" 1O)r 9lœ [$8ԩ-BdU&F1(0f!,eN']:ˮ g5-0xoG)"6k LFz;đ|ۆ,p}4d۔0(msU6)/;_;UėtL:UK9vhng6Y}C7A_n E`*9SiM0F@AY56妯k^ؚ󔁕w$B ̅JK}i&>ōL=UTF挛|Z.tt_a9EZwDB ew۸wS`hU [=ӗlq+%[wt'sIY)ޠɢA9Bj)5@cVm!F<)zP?z8 I󅟣MZT@~!_Lbi:}X'^[qheG]~&aygZB?1rxLL#Z%1Ib7*{#.exn޷}3$c \k;Nʭ-oHMs Ebx4d! v̦ci4ER7ڄ4u(8(gۙ4itPoAiAZ7{}{IITMB6YTi\q\]s~nxhdzj_G;(<:t$q<=N6a3$ŬL~c$Hfx2?]A}V 鬈/M5̏5>3ѻA`$u(6y蹣OK-?xa PpFbap\=d`$3{r $"N,x;hU 1h@Q6KH^Φ<38M?"+wkNÒ3 "]LR Io!mA$Bj)ftBr(eֵ%b} iWw dkw4 D:m(ѓԵWg Aޔ6t7iU2%Xu ԑ3x jU:HUZw g[7;( Xw.h&fmaRfs'&Ws 'cx̾'~9:c'5_c8&} q`(Zߪ6C2ԟvfGaq[0nX /6[̰jE gÚ-#Sr)X)ҏup%f'C`I;cf*n 0h1 l RB7/,d}auㅀfdIEa~EbUԭi(]?Z@y6+VC}]X `^2!<ฯ0֏8\k\xљJ7v̏LA؉= 63,r=𬥎 7 džٜ阍ԾTSENr q&|q3'+}hKygE*2mFD7q`R˞> @@ߠr!.OBO jlEYSKN[DunwNn6N? ɲ.~>?) Z8=y+/;_;ɸBҏePCL?ꛓ+X6k'MhIL)e@ڎEH!Wx2\RtT{TpAWz Z$I` __'WK"F\AsZh4j%"dp /FۮxLpXi ۠"K푚]}Wt,Un; ?GЅTK6Oy>u @msݏr:'i6zsT盖 _'C8x`N.i %րrLdDѹBnam0إ.9oN 5]3"%zV=6Uc[3%Kڞ+ۏGf$.+<5tU6|IU- ;0xqL4Trke!rĬ4XXqЮ0H6aCtVsʆvv15_oBv#$2 R<-4̽Hb| Dž EG50YڜMպpcdUb۽[$+<^ /) 80>lWNw)BZ|?8 =A^*~nIX,aѤ5@i!hH@8$h*^sKe# !.qz2O n63˰B ? ہXPWǹqFՄ;w_hҔf؈,zoG5*p*zuJ/~" a)Uhl2>S5*A43D aI\]7 )\_ Urg٨ v ~an}"=7N@811_抶 ^IC)cI S%,!3GXmFa<~v|=lGpm//mm~88xcGT!r֬fX>Á"쐸R6rC|۹`c^`ys5.T,ɂlFa 6xCSY2"H'GmaULLeGFw0w;D5=m[.>žtNRc-9 3ˣ҄=OnwrWuRJlRa1{s+9^߈%'K,%jcfMuV5odk0N[yٕo~2'L4{Q@>oJ]P W!p>;{ڂ(YxvAoy'pC -G{n[+ h(yTx]LD+jIP='n P" #ůu!)#R\QT8,kY^{4Vf1qa=Ƈ, u1àK>)|HOORo'vkmĆ:nkc (_ilȻ֙uL1g2@)dJk;"2O"=}y#<rM6ԜT+p+i= 2z`Iy$ߥI*fw.% W&J:ژvDTygpa4_WH'Hih(WR&lI9qqI@m]W -H[j09ҖR!2 E7|K1+ sX逴f-eP4i," e73.).r**ӥ8]Ys;<8nV2vXݠ.PQ$aM]FTυXu 0lz bB]nc~dBx5pAc`Bi^ -ӖSၱ? bf ƙ3?uA "? h?}AB[soKzMl{U+kle#n seb$I|Y鋂uU o@74f 9AzA&+S7Xj(ɾyFNCxZ868U%GXc8ҎJFO wdkL`h!0ZVf-WHadAy'gO _8#؝%B] \hhSM'z\ [&9; \vi(9}Ǐ)iq埘~I;ꏌ7 i䦒sĀ3gԶ=tVɵB4?uRճ7i Ss0徏e.Sg>zndF|GzN߬h[s//E]DKM݅d }y(0Lz0"Dc>/ qpxJfmݐ^Nނa5(){JH7ތYm@|(Gd 6%}}!^hRwIUa_i !GljfLPnƫr|J P9+ UUfgI4EN~\,TubJa*+0WX7,I|P`D(҇AuȟAmp͎y6`Lyi!>]HD/ X6ّ̒26sY$r4xYKpoDXMa*zۤO`ʹ&e&2 Dԙ㟂,\:]7ʮDo$&mvnO.Ra(eJ_g/sqR_u;{waq}7̆@e×K<腷Mn]ypv}ϔ Y2HYk|PlArr]3ÿ $8PHaHlZk7Gsh1hҥl7}n5t E :#bLz>C2Fْ[ou"e2[ Ժlr"6|;R)(5v\ Pg}ɋL UoU{=z&90{=#8zGg: :olb9qH[S e 8ev\hkaFI9]lԫy%fڋw]) SiV|+C7͟jUk5ZH-Z"JsDޮd'ۛT?L7" gzr׮/Y҂a+ owvt}d5]Y!C"=0|B@`SAd0` eQ`Uv8fql}ϊ)0Ê0NaX#1T?"Wpb1dU(u!#e-KB`fYR,[`dԼ0D֭i?؍g!?$&GҰҿr69{u*WW0-~!,.Q^DJҩsX:tiҤ"84'-4ZJ%G K|)xwCξ.yO 7*O$сLMNaUwa;V;ε.sѫ5?` b٢6ڔCLJtc77 َX'3o +9@Ť“B+P򛱺;n![@)|0Em݁V*m=Zo`Ct&^)~8Gىwpem=8\&?;cW\2kZv4 f"]ϕtuqV|UgcX=_8Q%G8!ZVj$c0_( ذ4"@mݘgDG axe |oN@UUZHE> <3`Œ촠%dKq&B 8SJ.r#' hѳk[( Qgd|8!v6o=WnibBʃ*;Rna )P6?m AzU\UgXk7`&^l Gc~zmꁅG7@%CAVkMoܢ3i~E1Ґ][<4Xk 呋瘎qL6Eꩪ^/xd8OϬKԙ2$~VJC-M@3d`Y>G丱L=i?a9uE<[UM,}ɈL֑{O.)04,m3ӂ}ܿhP>w?Ч2[~I{?-*!!ԉܒ>0,:jX@ ƌ[>T4r Rax<VDn,[Ҷ>_@5.SFQkG֩ٙAoR'%rŵ^0yQD_ Q4VD&58-=1G!.CT/I Dl_;՞C˥ 6ܭrU#&j,q*2u/ekp دF\%KDJ] bD۝E RؗF~2MdS*Hؤhxŝ=A/p,aiHZDqCCEwA7[t A釓1* Y7x8 ǿeУ9f᭥GӓhOK}fs.F_No58Èu{+)NTZ|A")\ݳtp, BJ[1n [n% 2~jS}LaĥRBua#YԞ ˼]Ny +Ft,RДis鰪bwlϘ=6#< m(iq}x 4w 6]Ei[2 X (ۧ5 #>Y:=!>{>i)/Z2d2<'77d!߯a)\W8У^3ߤoJ,=8颟`o[@Ԏq1d( Rt;Y6X%0 ^s\D;X*SqCv,s8_? |5" 0"e<~TCj*>6K&5,HңPw*C>;kQ8§#heq}HHUX@^{(fDn_ d^'P!;r+fU֏z} g~O2nG7vp[kFl7B}J.^55n=S]=7{rQuF0X`ҕ W1kVqZH&5V!'`S߫X + 8}o2ߙf`mXr])ިbTVh>m~2T.h"/r9b'Ԃ&W*уRȞ?G~ wtX:cJu?C DɨҒ"nۖI^>iG7;s!4&-C3.v5FLYVmuV=8¢l|x"4zgw<%PU`H\BZ`4[<0ve5lER2m@I&.ѪZXSGWe)O1E;+iykPhы\dƆͲ&O|A81 2aI8TJQ2ŴϚ{@E_蠝~c ޲tCjϣ_7aٓN(@H x(W]ɫN'^X,S+!p#SfP.0srDU^៭o+(<3[<7Gg*NPcؑ~\TՁU&O#=j,=N/UA3Iٓ am*MZY8STRnj.]|7ne#sQߪˌ[O_p:X `+ޏgl+{j׌@tsG{=zXɤUu@ E!/E1 S5:l1}d߉Zn 0g2K6"f¢p/{6QrmkJEF^vr,+kg'\Gp+l(?ړ̛jŵ3W&ZʼTb&nGV# 45}ڨ_oƢvf]oZBwEs>BLr4WIy6]T} nheRhtn^2\*Xpu=| JńFS&ۈө;Zk4?ՅFq?q/~`!OЇOmiJu ^`X d&%e#|O}ǓU y4tP[ы%⨿jkZ tZq3,|%L*o2[1 a*F.;qXX\hi@RS@\].xUm~"/EY6B,_" qS I,8M>;N{">xTZEѾzMK=Vq G@hp4`gYdt~B-LTLkrYE+=A !nJPR6T^;XC01 Q݂p,4џV${:H79Jd3V>wKD ]WK Y; |0[bJ*1O8X/S%$5$kLwjD]:c1F2qWZn}2ߗ@fCˠpٟio#AeYZ݇ xQb΅#Qf/qc/CkM{ {ސE[scݍ8 v<ףz4mGOy9?@n#oe~G"ni_|!Ȼ&R$/9DHEO &c80zwsPY;({[0t\UbfqyC sU')jzقT^Zx.yn.^XB Umh ZtqLrkm w@6Lf_" }7Njk0GgиaJxJ3U<^Wn^pUBKB dIXdܛBGXblaGPpY7f+}VcMo7jK Tl`q@:VR=KX;j΄-~IOis<[hT O K_D8qt5 EBnZ  gwOxְ<26%tң`FxoV}!G<[AǗ;p@Ad̀Ox럥j֘An-G?]ylN7tcA-XdG?pHaB:,#Eᨓ/E=)Bh{{x:~! 8ըtbˇceͿV. +=0bUòt*0[WE?yrsmW_x+Dý A#Dy69Jy2Z ou`T^e~DI)}z+N7ğ܆և?N]cLх\ uʩ #ym mu'^˰W4dBjNèۊ5,aW@wWx9W*i AݳzjspE'>BڳbzխWr7-xs$:R fB1P%W=>b3@*Kϲπ@B3B5bbS'k4OfY)O<,$'ZEC;7>W;ܧ$?Qd`J+6@euSזFO`iӾvU w}ŭoQ du_@FO]Ǡ(U8Y%q}mںmP!0πYe1.10ؗIvU=ԩNu3Huwoba hl1t 55a4bN1Ar g@0'Tl *ĥn^ŦyzYNa܎i^gr u'f="b&DA`o.A1QߕGq0a4ӊ f#'eCi{N\;m1q?( m e&g',3| AT+15qpl~ .R|nLwUE9gzb)ITEKgbTb%nrޘ@ S$)4aKA>Cj_9Ӳm?x̼%ۇCmӴ˹;jMnCu5kV~XeȄZTUr/gN?:L_);cv*ߐ{eCzR&ΰ7COS֖3KLT'lOyha)0"9n-I@.֣,'A%o@iT 4̉Ҷ1FZ/im TTbos3v# ?{ZahB@AsB7ofzh 8u%XڅH]\C"$pV +j{3my?\,(h z$p]\|R(ɎIgq0~xR8B=2g-FZ՞GhkwxDK<'buDj\Lx>RIbzxpJ29rCQujJ߮^{ cuEc2o tf=1> ;2N]DH `cCD͖[1~Z2S%{Q-麺iU 0?]p*^Aʵi\+PSvMHq_LɖvZa!.W[ᖉh577Oyk~*ic8Q;}#UAy2o63L*wM@Q>~:漷b핢a|#45c}o& m< ÓwJ\H@G2M9M&.^c XWLw":K,0@;k̇Bg۾=PvRg0q9J,bϟM p *N0p&P&b\Lժ$4 qbD*tM Ap?G|^TmgfP?M1ͣ,?":7"-J{tD 4dl8etkA S~{o{>Z$/ UɓY9zK~-F nao6ck0 Unp*(s7>IF+8Ҋ]Ih6ou\1L2}6}A6eYjWWTg/4|QuCxȞs)*fR]`%#F sH sPG!Cv;۲ zmx؜3\^ E ޯn\^S.JRƲGν#}zt ɣcȎ Ҽ!?h Ex+-]Iј8{s. oe]D5?VQlNva"Kjbh1qqpjWVZ P0>U$H xw 29շM-ࣜZ6)gF f*"+SsRl8 Vfӂ_Czdd]G4")D"@44lsC@T)֔V a0+1`/(?;{p71<`n7J37Ea=*4ד=3jDS9#՚^۶\U[3~I1Kduiri秺~ BZsd)Rьh: !VmFma_m_T٫ \]w}{%7jkw69rʟ4Y\>^|[y8DmZ"U:?Npr 9zN2?3z qb4M0y.9{#fS8 hc"J 6С6&bʄmurc~ߑJ=,JIJ*X4*0qj39HLx!R:Ο+u+ߗR))>'*UWƛ#Չ=Py 3j+{ Lڌ׸ga$N+\vuA 숐2~#3*[k!_{IǐSdqG~nQ'0Iiu+ N-+e+ T:!,EIy %?ل9JG ?XI;WH'n~3/%weNpabG8[!^WaH޷u$ܿ=onat6"8#%JHbp$phIƬh޹WkbкLfjg 8/ k!/DvD'ߊ^RwO0r\vwŖol,XPjQl8L406u2H`1H\e\om7d$F}@:ݸzrO4%qV*'Abo{*PLhˍ1o5OJbU*" 1!@ܫ/ m+ 7|A``ǿ[}/t k'2m!2K9%{Ɨ(}X?b~96vJ}J $|_u3Z祷`zdvE4.U#sw#@~\}Dv*qDps_Mj ~\ J{몌%9amJK'p&%'Nsq<۫X?yTF_ )ӟ)jF/i~ۂ3MR&nw{Q[ȵFl"ɚ@}n(;DFgJHѭDaiYvN2YLt la3T"v1Mh4HGxK$&#u-}-}[_X <.xߤ-VV?}n /\Oϐb_nbwU3M(j17gu En)ć;ʚO1 དྷF0GMs5 C ᧋L܎be0r1?l:u|]#;NPfpM;d22 AHr\4`=(?[:ʴx&쉯>_OFuF899_9t|&: ~м[|kзoL]HxS#C' wYI? {<_E|g޿:i9}bdֱznKfMC8;/峻0-Ig6,}޽5'aVYG;;*)TEurk oN 7rH7*`r&nI3>DU]IE#<)rǣ5%逤KAq_pBBPhJsɫpJ_;Ϳg]W-ϯPGxǑLG騼DH u(-r;KTaSgz82|d.^O˖ ]ʼnCUׇ3 v7'3K,2saH 0w$æMSʒX]{Sш)#&F`p\D958RTOZC"=p/P1Ƶ^ /~¤֥3"'u-{U@!aRtst:Kh!5l!+ևCi8epV7 {,ov𾃍>z 邡?~Ao|E W9L[FU, ԒhB`\B,7On(8I=aau4}@\"sp-SR֧44lŁZ"JyĒ d'?0ubb)W8nE xEWTO*DpZ}bewcim& JhW1|ƒ"l&5IkUE/Ȁ&W<,6#g'+BIgH|ɓ2jxl*9"fPKcF{b6}oMA^0`+G heZL;w4Kn*3CV)8|6M;ߐik"Mޢ+nTg{:#"xdFsbS$V?nq!0\eb6hZ0 zl]d'/i=95YPѝ3{;YW!%3+ ghۃsOw}؜;5P"WC!%{; 䀭v&(GJ_fK!7OKWNSΌN*(6Bt2N@_vNT’i9;Y>6&lN|%(2 WUy"Pli3lus"/W*hC pIU>2}&Ǒ=WDsvE]U=ܐ6V-_Q{&Ǵ m*>{ Kqf za鉒5c/;Ud"FWe 85;7u"B?W~4ڙk,j$wr8G,P0TBX=t[ZPg1`咤m !jsr-kv(V/<&Jj_߈{ⵢi2Eԓ+G$%q]%f"LLEYq3E@?Cp0z!ԙe/LACa=MA;w\wCT!KZS-9l͑Y|z^ if.{%d !KM)~&-z_7Pth yӰk/|+F:}J6,; o䱊Hd0Js`)wCBW-ӯ~ ^JQ嶰p}MygOJb4 Lf6~BU N}9<(fݐr[ #ɣ66mq|Gh^Y?psSZ.٢nZN˭jn:_Bs?n!FQh*F92.cqL]V-iˑJ{1'EO>U!|D[]N8 *l1DtP%d[qYiV #z>JU)t 9Ǎÿ"ZMMh$Ozk5oFkn-'Ꜷ PQ4b/NK,YR$ޡ,I[)ٝjF@7Θ%r_zvфH[0D)֐SC(J1ѿ TIVC7&nm,l;n:lڳksJD1 mlpco<1YGm X7AJ^h9z!c„ Y)"Ven7gĵM&^P$B(/SZ%ܓFR\@G+87sL!{jEk1i7QM\=1 !bv6hN+[ Δr*uU𰏮/fTJ%4v䘰 Ae3{?='fOoDLᶙYCn"e % ;K8ggJAz4ς_ffP<`qh|'lW;踩#zN ȳZ_3 ,y,o'oKswLFnn4ɡĎt]>qgւP}mM;0h;pyX9W =;ZWĂoS07c7ƅ ާy U&,YnG-)Y[rS8EVTa֦8uw;q7`_䖢.Oթ{o8w]˛[/7=1P$Tz*ybTnof'T~A*/V:/*vc%W;hE}*%]=Z_zU3J%hj:ҵD$Mi#Ԧig[#{UIS4$H/gSj qI^.__;pzzo䕔 GĜmw+qQLob}t~r鍯AȡˬOy HW*{jK}*0w"ʟ[og/t*f2Og* s@8],_:֓7Po擼&PD] ioY(qjC5ϬƑ/_͵1s!M$2*:i܊\Kh^dZ(qoƩE9%J .;D-Z.`licG:wbq]k]m"UyAӿ?|Gc'nE.C t 3"xj @ ͮpgA)/48(DSVhkwI{5ȴS&g !Z';+m 2O/JӸ\_ge7:anޢ=Чpwdl9&4 G5 |NAZWK 1?(DSLDDVD{q.s 䭘zɓ E%pn{h1+ wRi+N؟-HryiX&" #~0]r;pGɌO˩QGA2<̦U~lN@xi"1a$% _yYIN\K:˳='/ńYl+\q\uA{8_\- v:a$ <}Q7ݴO#QTfÁp̝xH*1gC?Pm0jwR'ZgԾh<(N(AcQF՝wqg]9׎5>_ҙp1d|ͅ  D].:;s} I)sIF馚zZ[ZW4́|Ng緦^9#UC?ov&tm`$ӤVHlLXQUQ0HaU[woATv3OB%}nB?7>aV’%mAO:Cl氨{lh});M.ؖfc!I!x#4{pqP q{g5cmi,EVz@dp&2W/?nu V%D̕a.OtHnKCeGr1.,]VE |!uWzUz$i8/0u\lk0P|ȹK["o ưK >$I 8X x$Kݺ@^Y5sz^yx[=kwE`꜅ᄏpNԗI*OT$1WeATVDϸN*}Zr'Ḹׯsև~?Yݸ%m.D 'f$}F!6ۯC *b \/a۝ g5řj~i6ZpYm2=`Qv.vtn2 u+[=:ؕYoq-S5;4Xt67\f6E5&ߘqnǟ'CGD݌5ټl|Z=+v ~)V~/⽲y b ִrgǘ\ԧ 1,Ziaܗl~Kk%hڅ."X rs]*8_֋,2dU*tz&1O/'Cc\0^X{9$9'\As's#:I,5j~ADfO2RG))G5H%w42ᝠ{ga ux&&;_2x'8 NlQs$ _L(t{#C·r`\E`M%1Sc}0'G.0_> }>G"_ȹ"9 pĵt @'RNIdgel -zRmlc2C3{¬yhnl`~rP&꧀isrDteᒃt5jRIX]GI0oَmף]!Hisaex5FI_a 85-}_ DJ$ʡ.ɗ޴ӚGb>,8)fXZT@xV Z6 }S,%m c@{l L.i ٜ=S~? Lΰi ;bM!EPY*ip++^4&B` ts"TAӻP^Iч@zH=W2씝kK]07A{Џ;I S l67_ҰƻffÜeuJ凕YRH릅 Î/߮ .# 'Gلǯig7xXйRH.`ӑ-ab֪v'I&Sc8Եqmc=GM Lly1Դ3>T[{]SK9~MK٢{ !y=$rVrr] E HBh2!Q݃L)Lcb}uA.WKe[7%s$@E߼!K3JpNvb=i<(|a  _HpEcM@M|SѵPr Eh-[bpHdfS`t+kմ,יɯt9+vV5gzaetO&,g$%yk:Be# }v%Zũ~B ʢP`ݺٿ/x.{fZ:_ήRxTMgܟH"xy91J5"$s^%9O2$ӱgYZ9271d13013ea20285f45b4e2379bbd70f63b0ea79aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b5f516bae9a32d9b4b682d16bbb4a256ced641c4 26b44bf3dc6bae127675119de58a1e0823dcc827