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 C*iYJQs匮X۾k08r:_!ۡ"DTMglm%έ'4p W"i̠u-Np]*% JsC:Ic 6C/t},,؊;@mA7ڋz kf]9iDNra^Ĵ,ZQYVrB)TQw7z;G`Bo96S60Y"_vOZ2;v/b\|II? B\ &#уv:fDfO/rYW2#34! X(}9ue'6CL6D^kwB"x n<3]+[B/Y7DS㸥1)|Y8q!͙Qe^N.f^n$YG0+w0cdDcK;=RFW޸@FF #ChLx]qi U`1 [)oEIp yǟs90t[Jief.PmNqexzmfj$qM`,|C&rr5PQAKߜ2wg9>)˫)xS糢l :|H,̩L$q&'v~,r1?9B;dO oNTG);LR^ܻ,XegEPת "`Ǽ29{}mL'Q6)ԍ!#jk?;Zh{3,҈-le }QwJӵG]`QIa!y/(`5e'㩹geD|rGDln3ݓP"hPQ甹z;D9؄"7/? s\o ltm֮=xOV1X|M 4ń(>t+儊y_ ƺMBSYF ܪvuMZ UM84^jAs q7NsBh3NWՙ4ݔU2FEM 9A}k`K4E'k7%!y?WX牌Ax;ԯfwuJ8d*ȗn[!cɖ 0áμ#uAHZ7`-\ Bo$*=oo]|/p6 t7WvG ׯ'~KRh(aBfPPۣvP+u> d 8 þ8Mh[EvIy僪3kB Yf#u$w5roaGJ,NZi_-l`tT젬'fچ(|V0"gq *׎Kw_Vo OgYZ7zXZִF! ^e]ŗXi%BzKsG  kr^=օT+!b#Ww*j{ &ޠ8~y=)Eͷ#?x:8*h>CH"W!"T`,ēYD~ _oUNLM ziBKɂn{HrD$Ǹ䊇!}5&ݬLpP;3'E1] bO݌Qyi{dNclҞl7ޥwI"Cc% Qmڊ*<4A|"9Ih}4btm?GR: tU#e #/:Hp.Ϩ¡^dũKH|nmSU5_MV(ʥ> p w$e{M8 ;C:l7㔻{(A⠑A-~S= o[:q=`ކ;u./N~M}s(,Rqu_emI^j1::>a5-29j'.!l0֚|y~B FP,THz˃]f_CľT02dJۆhgAz:?Ri qORe#f 8Suk Rk X\$e/JHdcÇ l@uMFٸDt bYFiEJXmͣ Po4 E+ 9aJ$Yt?)@x-{1 6롷d3vy0LU,Y@CR$IAaĖm>ڄ6xB>[σMI{4mu4*48HƷ=͋cihb4AVs* >f W0( "3E) A_g26-iDh$2.qESl{>ndA7G kýj&GM Yox4BYbnxyLu@kbO\pB*Po+vΡKJy~'oT4Xt(N;Bj>n^>KT@Cu?qjfѶu/2þ`)$p\$N/଄=[ y'edf"M׭!uRHM=c MQsY0>f*C\b|dEoL~7_}Gz762If=h(H|T-AQfo-dDZ 6^æ kLYK3mU+W3,q\'0gj i&.u B)w;ؤ *A.; h?e-5#H@IN(@Lj@F}1#d=Q0䀧NZY#&C({L$81jSd)0%]{P ? { "+P3@}3-EC#.&-ڞ|:A?Dqi<l^[=FTwrO_LV{, ݒ4Z j̹F8[PÏ8\؞kȱ…Hf| W};_I԰}ɷXaOo2cXx֗ha} ȧĮݥ;焹&Ѱ6V͎26-u{D9ݏ*y&W)uўy;tdĈ@!h6<"_ Iy ( OWZkRdD/kȸ<LW'էeiIjNPm>b^MkvDܳ8nDlV[W~W+dZYfߺj$K7ActfA(K),#UsAχ2Ş1 àwH'<\`H;j)́2#T/?;^R;{:kP?Gu+W^mwg=| ~6S SSy@!;l. |/UZ>űÞVs1$18jSG#GoGcPo[,=N#rFB:Y`8n2u"FF;ْjC\@ K Ԅ R:q"JF ɿ$`,vA@Y=p&nRR"loM8- ˕{Kz+b%γF[O~A/r_W1Ux;B'Xo4 nY쩧ςs\?S˴ b`t<6#15U-oTl W \ V9aJϬ]s/9EE+D0$.fqh TU$XPK:)T@PЙm&|Q, ͉ i oA4l^!>CWЙe94Dη_>92!G?_A$g]jKxYtQ .&ٺ4+hɯϾCw܁{U>lOyicOہ5>Aa^M^0-ipd %֎Шh "]bƓ{'^E(G2.?>WoEl!/fknMW=&Xvm7ڽͿ0Ӣ=}MEƽ^Ѻ+:1C5x!ir6y;=#%bbmfJ'7]H, Z*0q:T$yQ;1i\ zKmBR'oA9w%9-삻=0\dÓdB匽.\ g83TUM!k."{V3dpx$bܟ!fJutW%4)I$>fJ/0g*?u8@I [#?g^ V^2t>ÕN2%< x# l;+Cl )FAv9qxGeD>`g1i}T5g$Ҽwsk6gL( rrQ4 |G`BL սꤛ6/D&|aɠ`Ӧ USg' ^Px]Hϰ 6iURd[fuȠW`Py8%m%,EsN< |4eCm/{ީW9!)=~4K!i+)99lx}gh:Ap&f$;_"X^epόD9cMoKV1= =HϝBaֲWBEQBzf0N;ܿ8+=s >J/FdVc׼sP+ >w2'&XpM`1&­8_rkH:|EZI_*DmӭqE?hZWK9Gϔ+C)sin 5*"ГxT:;rӐ±6OCtDV(ءvDa!9b tNЖp=^D1ZRۡ9e[#IGis4<328 I9ܜ1mό3deOdcZ4>ƊW5CN4㥶5DOl>tm6#UG oc% (iSImEtRfaVPS#NލwŽw1nv#o"[Ɵ uLIUpem&"V`z-VuQL1 0q\5:ۊ,?GI)Lk%HI}rsKy{r {$>~ YO8wR=1ەTO:d1`^Lslz]IױnfS'n i۩ q}nfm/K G@ JXA%aS]X;$dT>b'68b!=sIFzC h Ah=NZEeHO"W*Mb=u*Τ^ _GKs #EC?U#3 11arP8cl))XU%ɱr)?ZE IHVkڲ+jlOF S #*Jfvo\RJsЏ^eS }w_*uCm-{E'{:\ժ_5C-e)qSLFMIu ýף=Ov:mK 8o9֥Z-խ WЎޥ$ O$.iwƠigY#$.Fc@&/FT΀"CՓ_]s! :;zMi p?w<(BxMat$6bcv.d2\R:Bu%;E@QMEbu~3#~L67Pb~G g>sf6upNVH^9 xYK9)MurwNM3CўTF m/\ܴn©iT:'GV%%tGZO3 .hVGA!xWF"`XDɮJJŲ=x O*HBvgO%X%c vk$χ,,jz'܎4iiEcd kKm:ψA\zp0yfF1f$@ ,Πݰ:T΅ɋY- wUoMer)`ϑydq鑘xlDF2:+iQ9V{^  @ꀺPny]FJ}bǣX%P{sE C<*Vn}xQޕĘV*W ?jJ)boM&):62 zzi7켕^pHv?nU?|(4źn#{.f'TL9R֭X6Oag\#h:!={FJtjIk$]ܚ! (R<}G)xڜ)\:jTB.p-*] =#{+ޑx"zg v>prgo^,N0$/k*I &HlFC0 rJ5b#eE7)]ІDa$'૓O2s N= (?Wov{$jA@7{ƍgYKʯ{}ۅ j~M{_ȶ5}>Eg3:HCjQ {x}D *^_wb؟w+xdt7_ #D/߆#F~8&z{2%.Tj]╊5Ӏ~アdc߮!|< [uaD3<C'VY #Q8'z8OP[`0-G]O<|TC&6>o9"(N^pyDw2(wDXӇݒ+%4^aN[|.pe2bcڤS٨3f,.BCYUIG*31Rd[9tF!(W.䫽’5KjwzX۵:i_dqR/P32D!q I̬x07&_Ԭ $^m^ foEj8_Y{mm<%DS`&56:aTx\a8Xl/OG_z@|y۔d9ujwil_ 󬠏UHJ i> !E]КoR>ެgQ3!.X]BY8z;ek!}dQҕ-n)10byDu躱=t^ҙYjp'2oER zr#5TҬ<Κ[~W[rXޭe^yLQD<J'Mn03ԭ ]7^ ')"W`|-* !E[Z^b$pZOtX) JyZsŵ=L$bC&^3af!my2ܘtۭ[9`6ĴVG.m&T ڸo /TDSdR|td |x2Tx61,& Y l)l܁+QmVJ'+y\p4>橫zC!\ty@Ŏ橨_YQFߕo7/эrʞ; h/35I, 0!o؈ʉ He/b*}'+} S^bK7L߮gGtyE*.ȣX*<_{bt胣EwIS9^+|)Lb^*eT-X`rmJ3{Jx W_lC ؛O& ;'+6d6"%3e x, gt?KS*YLdH9{n˩tKadʨhJ곙"k$&V&^WxG|Qߕ30\ծVK LέT{% *v3e\<% 4!b_y'dr7lj_yy'ޜu&oUA=u*⠭F <@6Kǰ4{( ;YG@lE<+T0{/zh ڦKŅ  cK1l]#"YSնG2SZ=5Y4Rhe< ՓĩrK}JzHv X7!K-oݤ[s֢Xd14b c!yt_lo&¦Pa}<"H]5)e~56[g+3I`I9 U \´.#^HhOY$BIJKNM/^-x|>5Pc }z"0Řz6*ۈZinq&4Oqz5't%, *"cٕG׻' o]Sftxf@9}zB&>I5&(0>׷rffY4"J# # (@jHAm\.Kv,Hcn dY/.б>+N\4OȚަM"99gRleBta'qYνs# L[eoo%da/ĈǩY*&aTG +!LkB7*Glm[jDWӎƸxlNJu5*/Ԯ"2֔*ŧV t&\$iNܟ6ܽ]Ku.un: .T>Oj\juu}>HA$Dq!, :l8R8 xS÷1" 0$Pc] fmi7O%\.L*!cȜ\YLHJ]:tGo7`9%2΂o=^JP3#הt MzH7-R;y۽p' ,:,^eer1G0c^% 4,*% 33}I1J˧\N}|e 't9Q-My=i!uR0,m%&3-ij`we{q&BOK[¡F/d@w+IL |_ )S/x>ѽZt"_pnJB@!BV 4@U?7C",V8F :wT/YpӰYR`KĽV`Mΰl6+YYq/͆Yp*j Z4V]Ik/gaMF]2oo? VRB5Q?6 LCqu1TC]5,.Y?9-P ABK+|3prŃ/+u `{t c?8cd eE1@90Vt/Jr,jM&IZR6+1O>!aP1rMk_bm$u."a|%աp TI4 VMG(jXޗhyZ5Aߓu)1_O-wh.We&T n\_X "Ƶ]$G@ VGB4&Gew8g{_mH~"+e G$)t[5Pt?/-6۔~.T;>bo}g'z_zX8w&S:qec$K۲ $SF1Dӯ?\H'HaOv&Y w: 2tu8*jxXwj-!q&iĊ;֜RbA~D7Ω]> ȖyNߦa:e`? 9cр٤k4{L^E<KYas'ny}jccsE|?1źh)J^ԃpd^0T%X5gv4p1W#c oM)H &:BKjzg8'*[I@"K Â7jWrܫPP~ty^h}yC,DWƬ v@eo+TNw+pBX^^ C$6s:(/Lus4pbհ$蝍hgzjʪ,]i=ˌ xd09*Lm\޾9z_d~1ȉR @8LX)[U)š$\nq";΂6D.V#<=. xh^¨6É=\﫝"`a&Q[-K {mBs3#P]hfϹbh/ K'[AbN*}g$~|R۲S(3WU8bs_dh gVI%{^li.(ud)]> s4|;d 5먛2cݼvDbV_,3H(A{⚋ 뙭MN,Y!]9ɴnJgrْ`tbG꺡݁da^HkIM9ҳ[O1'6ðD*[HOCK8\K`_;'"JH'SAUupY&U 9e ˈ15^J^ <^Rfbu醠qr(O GϘ24O_MצoTZp'4WNa,~Yɜ+bJүO V K0Dpκ×\Ke9U@(`a dh2eRB*P)'g,F&h, pFեJ_L&~^SMv;95M::ԍNnXN_R?Xz~-r2q/!eu p!.>9Ue~x2B϶O+S5Y^HmSK+6$|#=K<QtȃGJ9|,[G:BcpaTH iS欥BoQc|᭫-ΙeQ ~>MsNz~WgO# g& _vׄ{3#Ȣ =~dJ8yV^&4}o#ӡM$A$[黮NJ % Lk"eZS%s-NDMs#7 SS=ֺ8?FW<`^u ::cO4JШ-I*sAsXMaN ̮IZ Ttofu{Evpk܏<͗0o5IbUX/:9ĬCF?.oDlkOJΈ1_`V(hZNѩ!IGZ-K`PYCswQA ~]wJ,PO<VM:PMJ|k9$Ve|*VCQ|csU}^BBVؐiIYFjW[i ^ |9pF`!{iϣ}F?Upq&R1kw9pag_ 6!?iiaJN6!K{T ^V *E4Y1D(iS _#}kw;ayH[FUfK93鈢=(?%-SPv] f&.^UCY%E5DtuBTI'&n_ 'v:EXد uЫ1Kiټ # /6T$\de(Bk Of7{L‘Iѿ8X}AZsh#%"d%)÷+S*dnAyl`׼wmt'S۫i!G6Ύ~+o d 1Iߝ jE 3>Wöh;o8 yLI@Y=yv4]+tr7YW.# -6E9?\W|iƃf$O7< 4"F.v#:xcLb8~[̡Η '# YjݿZ:WuKb[e .:( rH$Eڙl򷰬ƋzeQ>JSp)xcA3=U>"N ԺSA؂V S%Hhp?7ks^=λ,[0/iyը47LӘE[5܋ؽy!hƍxfAuCK裛5jZ>S.rݠ3a*,(Gϯ@84`2Rd2":HL'݀45S1[`֧'eMxeb b ."j L=eZ-ݗ3sw:&]f'<빛c@EQOۻk Wif$DIpAMe7'NZ=9k|:'9sO>|5S!A(];]!hPf4U$HE ۰KO Yqī<97N;"A+nѱqoN2[u X#-z|p) :lrJpT[y+Viebb-<0!4%??L pY|yLtqaƫB;-3=@{2F-rPT5V:Sח B;_3*"yX:$Ӭ `2X0a)r˙Tu}̷wBݩNJn(woCU(w JŁBwY˞'b/ !+Ȏ߲u.EfWE@55 )3 :hi)n?+jk/gBF(IхDI^0H"j/\bGNnobg'6vOdTGoa9FCX2/K <ct pHm嘤ặ9GG˔"ݎbb$$铱:-scY!';]9 ͽiX~P%41В|#+Z 6SC]W[݊طߴet?w[y4.t`| n[087y -y5xL+G9hQ0مR" FyEbW}i dVpPO[M@hHs?ǩJʪIg=Heq6/#6pT_!xnͰFk3yIz+痸8TƤ28N^2a|i@Τ\`;N'^X ׷"hq{@Vko:ʝHzQ&F;ށy zi`k3s2ԏ%TT !>`Ш%诎?k;y/"!R?K7)4 $NwV;6;JϤ!,0{Z\W@/՛0֐.BQi!Ljoˉ4,p#"U*VB}0_Le⾇۠MQ^_8Y^ҟ}rD"J t8_\+nM |5!#:7MkΖw-D96 2v(oQAhU=Qr 9E' gf rQ\j?_^8 w;,!kc-iȒ[K3yUu‘р 0HAk1o&&q.jo$L\MƔDbZYɡˁZȥ\㔋¬a67kG~A҉BlZ:Ք* MJ;^PݎwPm*" ^p׌h5۪L Ѐ^ DD& ^v 3̥(hld GS O\ _+|GZsǣ÷ȦF \EO?ͱ9|sT_Tya/Ikyv[ ]c׆򰷄C*lZ 'Ǝr0g3=HsdE}YXl"ÑYJ8:h"eGAިBڑ!2|\ƣ 58u : #q'%/Dǀ?:k52P1b3g ! W8*}ר6)}W^W wN-j t9*zbzD>߹a14JUn)ZA[oc8A0T]`BJ|x-4b^: OAXnS;Л*>i;9mރ7D߰m| w[*f -mTO'2ݟa:N.} ]!`Z5 O-7FYyzSl(&DpYH?Y/xuV]rx0paBnbPVԕ*l5׸T80:=i8`Xd\~I`,iqZl';Њt}?ᑶbBIcs; dCz+I 5a: M&1FikT8 oo`9EI>.6KoS6x+AuVw̕w*J9x1I4CS#B+NqS=祝nwh)ɐwry{t[^Q>$mPP@X!Q%wiMY٭f؍b9H|3ׯou?R%}Aw\9χ*Ϛ@TH,@4^V_(8> 꼻udȃyKM(Z[yRi\,į^aS3j*r+u7<##4v_FûI b+\N60P<,fsƒ@Lp.B-^v\mӌSHl0a\-l{N8fAs- /8^* 9g샸.rwJR0+pE#O {=אRG: `Vp`wzP+'K.!~` ۔.MC Dl,D#|`mTuX uo/V fa h~Xjl ":aC0CiHuъ((l# uO'br= Bkz'L?)wV֫GoENV΍Ji|it0e; :]ZǤUlIݷ 6e큶4Q/q_Xkoٷn[xN5\UnwRSY]L@П7̖~`\s"z$mT ( =+o;u|#!NO (=ʉ'бB\q[VX}m$K qT(X(Z. yZ@>t }xoj FeF}ן ,/˒paHoH@>>bM:CF+!`|YU0^Η{[.PDLY& }y7Es} G?>dKh :R䶽䵌'JXn =[iPuʄ?;Jpu f}k:__m XΪs\?AYMŪ:+^>h,pCVB;LfvlGU#pոUS4VQXyjmV$gg pƈc5=YL:Wh(>#du , Q%8fZ4mV[%3s".̤тQC d bhLX㤕s_g%֚u+ssN!{x(&;] M̸ WlW )h6%iܫUe}/IxL kp 2NZ=iڦ (,GM-Dy+׊@Tgy/ FCQ\©127b'a1N~Ĝ߄ٍq_$OoG;B> ̢f["V\ƏO,17I̢/ 4ͻ*i'.Ad~j8lPb޺J.oڲ߃tO=t~7j{-L.8G T`}#qx;UDi(~ ;2"@$,h?߆H!^;^Z)4p&/ATG!PQe{G׾-x]P9*Rb_0SqԸ [b*wŪVH㲳5O.}>R&aJ%wd"OxZϡ81K)<=!ůK2RljBn+m2_d6M~ lyN]㏑Lol֤}fa6pNC9v2OXq078uИػSUf.@]iN3{oaLX!RW4}dKL`efxU8?CDk>LrRWR0gKeQIɑ@άi(If:6 MwL6-lfZZL<1rSTR<6o kMUef%^eF;]ȸPIܫpӼŌ\mh ޗz Ɯʯs~^VxE972C_3oUH/z;I[1%"0.}Fn\ԭB[=늦Vv9u @T$ZTGo wf,+u ľ`1оA u&YF"h7[<^$| d4|n7pT;~><P\Bvhd-Mzra#QMnXH2cd!,Vg MvӒIQ-n"l}d&_dx\9dSh\1L;,ƫݨ1$%6"UeD`faڊD2t7aˮ/sL YD5`-H1:a4AJMTvE7 aF{#Wv s<a@{9YLBr9dB%}~*>oNH|-$K$*N%;[pkE(Bq$>,W̬(88hC _ѡklL?mɥ>=\?ʱcј@9ICJٸvI <(| ꃥS `'aJePpYJ`1QXDP1]jgЌ7+B /j2kadsoXKԞLGaʈ(ݍ(M**(͹@s5.5Ae8px:B#U8IzLlU۠pYFzi*ϥrDJ]ҏwF!.)%2}ͳ55G)UJxl4z9,]MūЭ I_/8/SPΙΐ Bɩ5d։y%Y& dޢX !`Yħ%[uΕ);tqeXubG/gU1jOh Im?JUD owFF1n(ƻ| ?qفKaN廊;X)0١S C,lKM p/tf"<>Xa ";PM/ ^]';W\F5E, "l:R!BSGRe~Т0ڶOlMb7kp$EFJrF5/bi <?&Ʉ0DVԊLef¤I $tAJ55f#a.-&5+ơlOR(DzƔsmݰx2߂J\vGꊜw<9`j(1TW'׏VϜ<9rrrF">q59vgdʒqŸL8?s/ 7M^6ȤDZ.'mwJD3:92nwcˉ>i hkVGՒҡxL~6`+3IW$1ΰZwNc0f@#r_m`uGOw7C(l dߨF A_Y ==AIo' 0?z>$FXG'[_l,8f~itY8u+ ̿QK䮄GZ!g ?}БJ[Q2 XpOyɀo_o M}`2kõ%Xrƃ%\B<,`yfSk?:Adӗ/ ߏs}''PF,RO C~*5"E":C׆/AN!SӾg>99jr-eM@jy38;4Z:Kn"mH\!{ 7QҪN zpRs+.w$ԥ`F?ʤ{жǪ&&+V+܉"oӒ{9@|kTK 8繖ht{o!$qp8cBp^^ZsgԼa*M2[.5D^znEHJs.E+Qp󢂚M_ONF~ٰo:pF62n^wܰfLh74Ekl 6*SqЯ1d;)gz ieJ̚&~Ny®(Bz)/M>!z #Q֏*84ju05+]GK7+Jpj,Xe}`{\`aMc`piT`'яuV̔}Q(.؇pRM#r>6='u_ᮠd\3,nVz.T=?V?fbBx"YA*r j5مC`SnmҿKUS_w>9T,#21S BOlvO8!0I-o~9@o As~#Ygٗ$HU*xzne(Dz 4p+p6uP{ D'm9apa/C'Z`b K'ϢN 1Ju˫[uPt=2]J"d.{Њh?sR4..A+^pA/eBrUk%} 4>+$ЈYb (I4$(ƃ5LEmĕgN+،Hpn0O4UF59-KE8A~2U{u Tw,ll(cPD5L@!8Wu"+vؠÊO8P&+^rUz2mJ) /D E$Ozd 顣Bѡ2rG@ØlG7d}K[DN[H>ZedJY u{G7` hAs %Lf87ڑlIC~ %,nBؙ^&\rp-wl _rMDGǭɾ?]ɏ4R<<U(^uG%$hdTd]wݪů>o[u#?A`B8:G8a ;l e]v 많f6ZNJ%q } 2>W/Wg2ŵ& kƒukğB<\ å` N, qx f7$눒߹6z30}6J!ru? B)-b.dS0{ ]оJÚ(v4o/~RoAڗvN(}zL!nǽW \mp['8)6x[d)Ɨ!1irOi*؂MU"rIszhV\4(׶ycQz~kN =>)hye.duSr_7Fg핁RG>!/iI^xBf,Oa 2 *"-v峐ZOؗa(I#[Bݞ1>/B+_icHY,$t]r <><,HKt[ О7&4C܄r S>]g1Yɔ\2QxzDZz>z{hAՍݞ 8+IJ?JkY"S\tUDԧ.8$1@Jބ bÇnaeلk\5JћolHo]Is+O;K2Sx.G+0ɻiy}E rEk\2ssT-PI@"d#Az$1FWwB+Yg0+SJӎI@Y=˃5(pdǮp{/)CBн-Z9>VcmH_zb7\24U\w黧wYc-![l]'_6B&cUP:˯ψf֠C7inM}ԊQ`7qrO.s]׫]pV!)2=6"h)qe4‘?;yA9Ф|'61ڃvJ~BM}: 헽 6q;9y^Rcxx?5?,cDfQlMc5 ]> >cSח|6e^%b =9E;_v i#ɴͮn686J֠`XgH3NiZr _]|B鎠jMl<¾mKc?P!)'x!+^XM k3L &0yS㈦DsTrO@{:IbQ1aH='}3aD`VD+MPiWp!1w*} ?O0ʀjD[b]B($8n.gk p ZƠ5q#$X9c?>$F\%jN e#=lp",*tg#~ģ_pcs|{S! ~l,0+EfsoYDql%sǬm3#Mg0G .:rVJd*ƄYNEYxf*~Yfٚ"TY#wOV/r58MY({qpX~E$?rp Q%@l|P]\ʓP;8kflR'Pe)3]L*7Pʥ%ZIdvBD*hʦ` xgVQ[H{SVx5 u/EܑHCMHl2,~Ns:R&Ăʛ[b22$/MOK5y;,&Sb~E@WV‘E xVNJ[z>QMϙ{n玃c ".W33 2dz 8 0Kem!5NREcDFz?nȬ&I_kyev>I#+0:q`h@9\D̫nEo Ntb4 vr@\?/ӗAΨxzp1އ{W.!tb KD;y`[FHT3i۳_,+Ab0Z?wǡqD } ěCz|%-i"*䭝(l@q5،z5KC\g!+ǠhOAGѠ! _k˾{B/ i[A?XepTZ%lMngivW0m߈^5wnP3'v92Al\&WhG@?Gmyש'K3 I4KXHfDi U˒0f،'$l.Eu7 @K VK~5b# ֶ2+((+]pRI;GV_+-;_D$;_>t)UϠpi6YGƵvy5?83[aku/mC:Xbviݎ&Do;̭IdI C r:o y[c%CAVh3Vxn# DQ)RXo +;g # <r]ccʆ'e[1^~_Y"6hi 8ě(eYݱ*pzAn.)̓_N߁1Yt$=[/)CYЃf ca.r3 i|L>Wd`c:EhzNX Woʡ]s-d7eNG/ FޱR7( }ҦF0C5GX#ӝi`!\6xгId 6vI31|Rd}q r*H8Z6{՟FC;gkokt]W8=-럝vEI껵G> ZLǁkX>ǹ`,mI1'3e1=%FFz.u25:$&>'2d K+ד=ַ}#]=û _ f;80;ӁRy9_?rvJ*RȀU#9P7T .Oѽe6 g >|9xza oRrXTNK4Cy;TD5#Hhi`W,sKralc &GsNiz;YT/y@ˤ(gZ/Kѓpmkz曥!7)RWR4%-$un)& :-U2"uѼ "\̓?~o:`͎AbPFԮMLcA|.wR,(,XJmV RJFDUovTi_M&^_Y>qKȍwmlШHY͆2P-c!,ݶ`%?٬ȩWim}c '-|XonBp(C8 ֬hKw$ T׫*; *0[o}s[JkG(? 6ͫjE!G|X]ɾeӧ)7JWh05 6$^bt3:ТS4{FG[- Nn튾u \'o'8x)m(+5FR1B /H@f]%SB{J+blov;a;zREPvLv_dh DLq[,Iw_WelJ@O2z-E4ts/n;Y2'XXԙoP2 PXI[2X,beVG8l6q{(>d}j;HXHcsռoʠ|V!9nj~xm?!puN%d!D-rpG; Jt=ycy"aZdO=OU`t羉dӁ"@V}Ee,xL9kb~A=3R5'CegJfi>-KO0fCL<;g3}PY82tU-9}Z싯jЉ:6tB4SoɀR8\gJ}I,~[_ GJZ`mLvNDu{"$)e3J}a /M./pbUv2ʓIRɧkGGiatMc U18uDPԲ_ hIcG77ϯ*;z*Ho]^\`"T4#m7$]ҽcIڜB~~l3c`>) ;qֱI«ҧoTZmQ[ŕШzeƧ6e o'r0 /olgJ(L[^Զz*+_jKv 4xCjU` cUtsi?[rt''ǖq? SbN<[5qOh ޯ-f{lꐶEvbM#(S\tQ/XpO1u#=kB >{vԧS伂̀5^5ɺS{1kn3ESrbטֳּJCM O tp@i{O\4KC tM>|6b.˶/HLӴ|R}]. n˩W9ucNw"K [1Q|)D=hy^lѼ=;mg!86WnYbDzzC܌C~cE lzSԦ@ O YX8zd{Q݇]tm}?y׿d}6;o!"AI(f^*2Z80&mr~f8!zl y KaKV'P 6EOj>TXsd^2|Qa'%(^ xlGɎ!~T_t_z$զ2u?LR rx1Y0}oD}Nה5emxH( ok"zmhJ+\ FN6 ;:mvîi\-m}SL5)|ߘUB_obJiRS+Gr"v`{Bip_ =ߞ~;+uZn6]>~7L'>8 ;kf<לT2H Бw("kQ8j[:W=14VE*Ґ]zط8ս .cK*ʥJ_ג5ˤ02jOc=Ld|8+lV͌GjJid/*bqךn)`WYw3%@‚7$&=J揯uMәTƋd^yv .om8>D1/"a Jek9H(Ҍ1­5C,&vTȜ8:M:K~+3ZXs%㑗Wڿ7lӝEh_;5G30'Ax۽r? xj'HN.Q5A&%ֶGcl y@| w*U$.)5 t}kg|n؇wW AK@ 4(('Ќ*h$]ݩkf}g N؛i;/o6 !(M80mT Vϯ0 ߳?m3/ç{wX4- BLכhš]qRS7DMm`3LE`N}6# ݠ ܷH.*a']~< ~zLFHlY~ c E.Z[Q*+ZZ;g F1埆ZPo*S'M45Vۆ}s-`"]=;>Ry4v#"(]oxF]V> QuAnq HfqT#.I@^(~bK]L C Lj#Os?7YVBގC FS.pқ9ٛIqKs+ځh\+h,g3'nXM>0!D99$\5A r*?]_s ǠmVj׭곤 FxJ)\,W[B?-NG3Cmf:ϟ0( 8 xy7 Jw>~JVۥdIYJ&YJh#x7Ujq16wiRߑ meR1[T$1wFgo|G` ڤR"2T-ցu}7&ͅ@CN[˲~HHɲ2%oȫ=A7\yf=k}jC& sEL~ji'{;RVXZw3-A>[()SzQ3T~eRp70$t?F8y|۳Z\I򠨥~&ҕྱAm[8EK_mtdګ!Zpkq°02%'읆.JXˬn (5>OXt5>']Kgz_ (w+i h+vįNF ];*8pC="r6NI!x{g/]+} GOZ6 iGd&g&Cj+"fCA3d⥸Op25 |11~7,# xP~5'*lH6"B L]Ũg1~[S!C|o ˘,ڃ 3,~"poՉsSQ)e塏uypQ|2 mOŹ"̺6mpktQ II?>5yEt'zW|"0Z#3j0lN/_><^)4r*jΩQ9%8n+;.G`Ӻw6:n>a@CWxJ9 /feE@m:8 iO6W{j6fq _QS+raUdBxKO ]*6ID,;2dF3Lb&Ԋ/Tzmp_aQ4L͓cfT2XγD’$Ȳ]ei꣚wE ,7IoǶ4,52+v,q:$ :ËR5jb^nQ†Zߢve G;C؄z5(9d>lA_]N;N#G`L8RKl^E+״Mido>;DKf?*Fgջ~lLY#`ZT:8o7$.kRI15Ul%* ǿ`>_wti=vK84XesWV}`:*+]Pfv?'K({Z(Q3>6L'C]UlFo6\zAf>qF c%N2 Zau/XHsV)׌м 'YJ{i4#\\O]ޯ16 Uu9q8B;_BDx:WA']Te ~ӇCo ~8\ 'X_؅Q}s+uh^;jl᱉k3t5F0B&,ie(.LKMwz zDҰROkyB 5T&Hd'L7wdXϪVyG]L]OɹDБP{ X`Wv Tz_Iý  Rt\qѸͿ0sE3riW us%љVm-1TaQt;\ĖujLERԛƂC6 ^&+X{[Tʥff[TBݙV +ӌk Nak[rA )s l\c ۓ;8͊ʾ):[MIӝ\*M$Qrpb7A1A:dž6G>ɘmp~&8 dcy Un[}^d!=]{ݑ%')ٲ)Nk\ B;$ SΛKp+ջ~P; ԑ?}o}*= J/[{1d]ia4AN0Jՙu8h{~d|PhI`OiOBp t<_X+eE7a][#3-5lc̓g/9-I4ǐ`ϣ3лy,=gw-}™ cؠzS2s-(dʦژ%AEE-Xsc0@gO>+HΕEG+=Wp t0:[(q'3oFHh%Z븺-u~74X1ρ@ɷm *O4{3X{bE^Giɯhe7bD}\_#C[wUEdMDZv,8k\fSOE'@近U!FMHaN FQPe&8I 1o?! ‘.)G!ӌ#9P8lcT!CkIO:WyvM9wl?L eha 3C, .>2 m4/ʦn_ ZԲQ0y2H'(N)PV g.H)5,ص/oFFg|%. 3a=._3R$\!v8+Pڷ"f:?틙{QC`gBo(tKJZE B4!t)إJItRMZ7(ޘR,wQCpghkM- cqL򸻸YAb>|#usAc&uQf>cFE[XRib{aUⱳ rő5s߮?1pC=/=7lmNuadX&6Ѥat{pG=Gju8؇hg*E"f;%vV/.(]RS@ܻi,zRKc&l} h 1^25}tat1-xлZ^_ aGY[a6@fUHoXGeh)EWKxp1Eic"mktZ8SS _ӾT# zlKJjW#6 7?ַčAhDW+~SG^7X|ga-SgYZd0c24c56de67dc5fe445658c1f63ed45d82242643853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 4cf16e928fabcda5e6cd47a233d010dae8d6c176 a8013e756f44d6ea9c4dea4db6d0a2abfa10061a dc7497b1c38abb7739cf98639c85b9d9655facd2 66ddbca3b1ab36bd89edb0ab2a99d19eb8971c25 994087ec0b2ac1299f79b7ec522a0f9b02bd4af5 1f526a545e5352a31a1bf09fcff4070673f967d9