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  v,|4 ]/ SIFPL:threads=4elapsed=39.033cpu=114.260gc=3.4647zXZִF! b]ŗXiɟH)0%oρߕO1m#Whq@\ _vJ*8Љkۜ dAn6 D:x|:?8}ģ)?d ~$qI`~Gژ7ўwZ#ӊLjXgIG  h >!ID T ;Iծ`t;l-yF0]G<)鄈dYnU֍)o:a,Pbաۉ74`/SΕf:??K4Qceg;+  Usy$P|4RQzF9o9܈?)LܽE Bl90V=1aW4F6AOSѬ\ǑvZj3*O>P,h,4#ʂ T!rO[Ƙ-)"é A3e-w4Ge[ӛ?$4s' s#d0,v{/}?9qŪ6 ȉ3ӺWORɫI=d3)=V,\hЯ?kR]vV{ך#wv]Ra V48Fe&Hr3m'^yjWB'xUDUT-9AqN [\9xi*@AP:伔} 5Ԅ|t\?{R\ }~$1[E>JuTWS?9ۙ=˩fլ}qӃ?u5>_;cIOK=2ZUԅ%}D̦ͼـg $'bm,(]`,An%I/.-1m)u@{=E5k.L֏n%<88(%@"]=bX䌗gzеOөCb8U7AǓ-͛,쵆b!7Yz?a< V;SeM&ğXoU;{v{b(l7L)Q2{ه}g`]L6H{ $CqHgK#iH-bjGJ UPB^nopc旞TKmzUܮM+>Dm_f܂M|,J@D2buh> s(6f۠ٽnfGb5zN5?4814Ө+H(:* %@S{1on;֛[5ĞA Kwqہ/-7zOc5>%*bͻovME4h@6o6T(Ɂٔə_S0] pπ 9KK wy˶~q7MF߻LV+v2=G6դ渑ط,iǞtfBL#DC+7Y7HntIq_FѧLԩhQA2&R$f.,y5FW3^l_n1ۻWU)M|tC%#OХ' !)|,M+ڝЮ@j5&4ABn4%kJ*8+,Ï[ğ|!Xn*kcN БQtLb4!o$^ZS 3!6@\x\Iқ}FSx Yn J9Qb|_:^jUI1©YXևG%wte{墣~,:@œ l9wBjn.LJ`:LaXb )Q2HKP؁_CoJ@LouD_GE>V!cfLF2@u& [!u%7iF-6GA<_M5/G,ڧ-y\2O*\Fa:coW1㷡:)`m,#dh876`1\'~*a sd"AA4ֵ")yOC29M>/~hm*$#¢_n ^v1Q(%.BNvm}f6:=Fh^x㲽ƉݯWK2 V䌸 (ropAr,EK5Y$de,#LNlԊ^h:[`"x$dXxnV6=CcDn5H]n-DM}嘤#^Ar'=K to]] JC NMk"_?f0ok`fiTϑdK1!;O(6G.=~3sy QepRwIE\;ᗧocs9X_JF]\MF{{ f..4ش#DOH}t)n#\%Q{Բz*5c1rXv+O@id qt2C!:Ab|\²Z9t=dHɯ,SgnkbANx`\7/tv&] ,N{QLyG'm6=!F[`*@ƅ1to#eٝ (]h6 <Nw^ $ږw5dktNh EoV2O0??)1FU_bRXKryF #ϥ`ׅj,sȬvHQR@?o![td*myEZ棾ݷ v̲}85\Cl&ՃEQAڜvDUDDC]ָ#Ψ9W,]j9t'i/T bv8(#ϐIA)90u sjNaEga)Vw|\!|Y16jҹѪhEO=Y <9x{ N;g,ug@{Mk ISp)+p[5(cgվn@ YzOF) !!Yj\z9fⶥ>ּ)/0; RQ'KAp:}GiGa$M OO8IWE ˀQ_ AmMّ$G5q% \nzEn-*vXU xJޒGfq{15ӧ+=h#mwBܧ,XCBSJDSrug- VL|GMO=O:ζ$oq=岍d;PiVfjڥ[x!3ƩѱrS_ Ea;G,1 Q {Y㌰9OV/_0|qZd[^DF=6eWe=i]d[O ZDX|X/=^qdf+m~8]q,(;n!" L#i=꓆m\(E ߐY9bI꣕} aG]5 ę wQ8~FT70Tq20X9â:T3иojW!"}M4yY y%v IpxL'cLFܱi$ȭ))jsbL}z c#0"*-Ibuxt~;D\x 9jc53fIBfy %ƒ19V'r㭵2eSQ|l4 z2) ǙUHsWE_HRnȃ"H}yX:,Iw\Dydd{+ھHpOC^$ߖWaVAl婖;v">$Km)H}}CXjobL,qĿ7,唍].l+Q6cMLxZ})Fp:$%=bJm5bմ^zT1Hu%^{!vwA,#ax9`N^dy{Mu;s^nc8ҝq |3,shaGjnn ᑜݮPC}mWz)^l*q>1Lb QLvjr‚\e6<,RFNcb}>~$rtaYIMh4jiaL3i6d~Db./q_K {&PQ32?gӎt {H |4^3TWB-Is9<0]\J8#6;#L nC36@|7lU 7_*$2TY&Oi:cR8XU^3 |a`b*Q 1Gk- y;q Bñy6odbd ,E$j#5Dm@(Ôɚr%4R12:&&Gؾ uڤ.G\. F-#ᳵ&8^ k*IPn̓r6H%ӗڒ]j8. Q3|nZ!Kx:!Ю!PHCǯw֕Ffwsj1Fy~]rBX&(p]C@6a1ss$p`EP3\vB(Fv tU0Kq+p {yW1j8spE&O"- ФByQnK2p+y4Q}/! Nw& \DT6I9I1YPaݞ^ÒQ|}\ID`K-H):$YZw4WD,Ra'7𷆥Im{ 웙0w[Id⾟#(ׇ1V\#`a8|"XbJA ҫA]Z}a~*u\^ϤS'3;-!,nMm ø#C-Ypzxљ^5vQaJ ;n=D Ʈoѽb?aA[GH0Y6+7vh f_1ᅳ4F OĖ1pϑ4x2d`T({qCy vDc|O7Q^TKkqm˽s3<9IODн @u6O{[$;k$.V_LQOFR2N.دz8?nS9 iߍ0Ăr/ߩd"R z$B2=9\1c.ŏ<9= {ya}ʥ BvLC[v?PyȶXIm`wsǡ{Zs}$r>sړd;lA`_/2@HѸV0BB8cleߝnkw 쩥ړyݛvб.]-H8"Gm";JQ.GnE(Ρko!szwsy 8@=}`E_(U{ӵCc͜ל]b?/cAYJ_LW2 MYQdgE蕃̀g#DIeC%*r< kAG$A J=Kd"鷃6yś`o#LF̈R_0\)` Y=C:V? $u(hĹiEG-~Fc-|6yA]3?`Y r rA ^hrQN4GE6mP!/ oKNx 5KP8_i^TV.9҆ +K}kd9!%e,1`xCm[*xZ5f:.{Jnр/I"Pkc6Yp@_4dU#6zh Nk2=+@3{1U0J{ CSq%~jxgc,"}n#ֆ<7!~nYDIj,alQqO֍z {)|njJ*-BeD ͪJIߧѭvt`iն"Lt2b,[=qm Le۷̦u:?tIe: <OsYrӍ8uf Q3\m[tbիAI1Dj &}/J|vXIjpnhv \^!|- Ũ+w (U\S]MdZ?` f5ƑVz}C4](/+T[ɄN4)6 QHvU{ 7ڑ5|9mbo iې$jIq⢬w !ǵOR@Ϣ^싚_/} :ҵGU~W7g+01"ax?>f@fLL)0+!ߕӾv{%Ҏ"8ڷnH&h7E?%q34 ^`,j'l 6ruoaByZ b#@ `ޕRKKX+6̼h+T8!!!p t'$5^߈m(@#Z wlĕNёٜт"IF F5,9KOLCuc(O#{/ǃ4L0aj[πyX$宼lmzr{zSYa/}qhIJ-#N^ Y<8B!;Zّ:d[kl汜 tp%t# ]?LJ^N틥ﮒ~M#58*Yr`cfP|eCV Y!iξTP$bѹhv2=K]|4J uXNOsB--[_Y %VUVY1M2f /1s 1s{xXMs4Q45ӀF"?EC7u}U"*cV xh.:\KmB&=#^"\,:=gjigB UJ8ñFxF7⎵90| vw6֯뿥ΥmY6u=(﶐Oh⛀9'rbMRJ44ag1/׿UPN=)x >L-'BCV'P$>aO0nKL0;o~|;O_ظTëvW{=Y1_%ѠF6`@\`%Eid,w1V^D1dlH`DTD#= ZWL0w{i|[96~7SgOZMLPvs?bWYɉfLmV@c`B7'3eVg›[LDW.pɺ(b׻Mn#v!iWL f % m nJ)$,hM[66ur #EַWi>)r iK8E>.LwOn4d/J6*hB,[p'T yԽxFo#+,t7{\]$.41j٫(M\7f$[{0u~#9%9oBiY8:*#Wİ(90O`G𓚞֌n""$ɆwG>*4D!u=u0$}H<[|jcє5G4Xރ SMzK&0Q+XŨBEhF PVaAU:,{;gV՛,QLX%,Ygl`¨,fbVY"JuW@Oxso7Aen ]1gvT3 4G3G[?J't@Hw>i*iOܚthꆭ=^'& E}vN7OiajcxG=9_u$}'q/Gc̳J.1L?q&D#t==~AjJ e,܋:]ߣ0X/5 y0NErW4yLIy2Mʙwdvr}W+&OV`_r+ZA"n1z qV6j pMXNoyRKF[ȨNVi(uOQK>/quvo蝠pےԕ.4]9t>sd.Ty{"L] ȧȋ!ni/Ss(*!1t9imV5Wl'@ վ (X*]BN[^fNc; ns֍Ʈus8cN2S@pPtH V9@9vV)wcFLsMOɸ끒ΔлT$4.PJx:U ݸ#6}? 6GrbYVNUXZ7/_ iG?FQȒrӭ ]t6AkMόZCpR˘$umG]+8ygz PܛrR/w ]DZ(`޽"qJpuYz$6V⡝J )Lgvp-_}LR3&HH`hF9D3i`xY_T5Cq[˞055VU`-Qcx5s%%r77EBˁ!΁9,%^9}<'=l {n,yLU:oee3Cj]8*Xjyro Kڰn!=Z+1)q,30nVs9PY-5WӣzP͚aWQ<\X>!]$c S EFS+eP.m6Dn`%/ ,Rf'SKmuPZg 9RbnRMs(k!~9I^HBrokc`9 ¼y=ҠSXʿ1-ZvPzz+UΦLi#,g~&P*1U'K;#M 4)PYAo8 Hi"w3`Ċ-=n]F 5cYK|Yr3bb$oZ+ܯ% ;s6-Ο9d)F lNv O:|2= 2Y?@)p,7٪ ,$ 3m5eh; =$^ _B~JUޖx.[?BR|_2BuQ +gxr[ӹ|i|{R,8;e&nq{&^ DÚ]~Cu8{I } T' e:kN I2JD-dGh 6qծVQb<#UrX~tyM4Կ:L$0~ yUl6׃+?// 3Y~XtPӽ]p%Ou!4şJ7],-Jq~%,ɽ,E}{> {=bḐg$?3]CX퉔i +9^N΁G~#nK bfo9{s=Ib{Uy=9ДhOiE+k˻ze8GGzf i op)w)38ҌR۩~rWxߏ多<=];wǙ-$]o6KV(m 5cŲtIasVXcB* I/GE9'bF#&*6"`~xXV)ni/8)U6X IdbkADs iP TShB_" @2P~nhXLOaټJ}=sٖ. ˳ϱ0%cgqҲ>pu`瑍8h~УLs 0ٮV^IW3Z}{ZR{0Ouk) 5W)ғLsU:yw6?x*([7e{ILRF+/3k>Zre7k[\N)HU 4c_nv+t4noQa`@o4 M%vDGRT)xel:S gb⺳6t_ѭR+Í$k([9)"ʑ:[/>Bͻ_O=ei%eBv*'@v";EOOĒsBOMq {J#CG^рĆn?{x GS&0S XNpt17oBQ*]KI#I%6_54<I%w&'tt&"UJ.inJT]8>PZt1MQG*xBvd]Wٿ#醗] p0t XQ/޺3h$bOe`:gqM]Bư`8p s'}@ۥh/"y7>|~ei9iZu9%L\YՓАj'@:0%(*΂ )ui IJyLU;cVϽ"uU+r/\L yh-놽9(>#4,R|09"kc&#R Fwle%?Q֝eiy @ܚF~y@\W= !*#^=ha B;0oUD8{O}6}0 O kGkVFݼ\n r6ȸ=P[w&Yr!jmO¯0/ bmKԞý22 {l~k'(])wzZij΍Y\"Ҫ2>ٺ݉yVtm_bDIYf+F5gNWY( I +i, Oxr8t9E/c )' !`bZS潰0|*;VtȬWTUq5^ً/x9}|ۈ&o@I'~u]8V}BOA5ߜKNFZ䪟kx*x%r#Ԙ Xd18;Z.vœI^iwXM@:e@Yk3GnZ>q^E俞(ӞIBz\XzU>7||Tb "P;NrClHp(2([C7(щ-C35j, z![U aډAR|X68Q%"p=Ȃ\Nh*}&Y,5XZՠȘOd(RB-(uSb{K|E卖Ѿ>P>e3GA]\HP`Β"RcvN^ `S(DAS"`1RXrqNb?~ME6s\Aoz^moPR Q_AjYnh.AD{w gFjFiy wBޑΡ|ގԪTJl40/ ;|+CV\W8W#{ WF] :P ٣3HDJP⊡}fTNW鱠R~mZV\,h>Ϙ5 )`%eOYzBAb;%0]OK//<H?]ͦCeCGYN+5h;`RoZ{n֒8|5Q;c^ ӥ&6mV%Xo1?pHQx Y_Zo.4$ZFꞥ,[Pӝ}W8b$eYw5Q'!_?|H[7b9/}_<3k7Wtd÷x&_#'ptOZbJH1y.0 МZca&ʋb71i>ɠGA5ZL*KRI֣n3Rc}0Wzly*a7{C׊-?0>ĐbFK?ҕx1ǀB{ћ/އUcyq&y6uyB 39VJ_ WTaRbQ"pdGTgP NZUUw t$xm4AgU+@@RRQМq\Q'L''18fϾ0O+8cпb~fd65&d4stXooGXÞ(Y IX"软V$.Vُ\eL6Fxf4-ry@W}1sPbtG>Fdq'+u `t&Y3)WH0Ɵ'}ty}:ڸܚtVkؖNᒰ*#Kujxr J޹Enz[ F;`6Q(e@g_2@W[h?~W@dE})} :_"[ccLd"T\ec E6V} DQaj܊CI~GuKӝ%a:7/E#[z5𡭝o[qέS^9=k(;DI& `g|(N2z1/@ғ7d?/T@CZXQDUB|Pj}[ [04S_܅{ʻi~; I=4]'S:H̢f3B V&$ǰƍՎ Ʌd!>Grx#s#lу EeJmDҙdy<Ӏ9:u\aAG].Kv˛|\f:6錣%ʬvsXPS]m__-"cj2uMve%#Ci&LԢF2c1RP GOhQ+O.lD' = \8a,$F[H9rD?'lHFxazù0>pa<@%]緗J"2yҩIL³C;A}T_.7RŒN [ sk:(K{ܝUl#W,HܮBBEX [ykڿ۔$Kf\2#}P {JXx8D(z`#{[`$ȷ&ʃ{QhOg5أπEjuq+.Bc#;h\ 6469اvac9"RNj"{6N!s.JfEz4 N(ȐhNB9&k7 / $ 1oeݡ*$|_d[ 2F "9ls 8X2fMnQQK"'tWCVmGbn†# _p\' uZX w0! FBQA ldOf͕?袽g{;uUt`[j.&3p0> ekVf^A?1]Ҽ<=B; FOw_(5w: B] i;XK?2 {U){.r}on!vI_FVȯNd?ݯ4˒ƩǏ9{\a&;FV:{b`@rU,~$gYjJI>nfŒ Sj9&%4Z mA=TM^jeQk(P3"0\|MTq.sO"&,L3v0Z\*=dňco){B0ҫ G{TNqagtIWڷJvG1dYD#}@Vϓ2Pbna"nB ȅubv] fa${y漣*<4R&:py,ǭZ7)a=xt/5x>Ry4,<e}zC|y1M@ko!`Q-MS'#dcZwPFU7?UB->k.'ˍ7)puW]=.yr|yZ_^ OC+;N Lܟ Pu 4A@@s*X#s=Տo6ɩf) GE1;FmТ}aÎgh8"g[hm`ѷ(h fUdG 1%I5*\Hb Y̦vzڬFPb4,pǘY DPSj1f c}' 'GnZŞ7hѳ<˲;yE= ?/5氪:< ˿ޟÀ A{^/UFrߣ1LoЄ*H a)wt<@o'Pl2ك됾J1g2܈5̵yL) 3W]arӺA=uAU]1}TMK}֒m0&&YY4'YԵӶ Ek wVT\ 2vo?Z͸ѯՏ5%2"RZ!n6/ 7ER ]ݹ oŘ.e?t\e&Du:99u3ұ)_b6bkR,h-xeO3W^S^ e/^'7$* AN%k##KNUX4};Lqw&\ܞe[k#(T?wM&;෡(trgpEח2bXa'?hMPqrhPE+b;g۰EU\?xBCV$bͷ#yWQg հ1.%JgH4`' BE+lB8jĀۅaHyI2QΓ\[)n)$7﹍W\a$HW؁ v~|QDT]Cs77BٿѦ;w^n8~`7 觃9`e1%$p r DЬg"x{s<6€L}+kRj{. 7x\`c&8țn+y@ZkikjCU[>2Z|p]3~MxZW̺[J1X3Qˌ[b4=,S!T"֋BTlxxo$#/k*Yd/RuhP#]2C&:/h;;'TG?h&e}"]2Af1|} 2\7g9Kt?Vqe0°) _YȋG60Ⱥt泳t[h][oI!04C?>^A"Ua31h-n <ݞ? )_P޿rQGC,ExB/Q]e _j%b/k]U {cIEp3a)|LcPNJNtǂ$0XEMVyuv^CgPf.l#L$},q$/"TeA>o9EwCwA->iS8ϹfNYV YWtڵ~& _N'QeP)X# $~mbI]H}sVsYK*!qOy"d_[)VиwrѦQ.]Pg ,Ґ]_,rZtp _xgj SbPi spC),9+E)5 6 5;q l?$:9Yu?ؐwg"PDmU٘LM`+M1bpMIKxoz/:bpr_!FeB*MA.$knM1y ˘~j[3L{#T||_SЉL82S/ޤ\%|&@H˘ ]Ip^߯)ק dGTբY3I /B`2Cr9%hP470-dqnFn/>r*$A֤t"i1byaœbShWSzVnk˿ZT>ʛߞ E!oE| 3r~!ȘqPg`cbDֳuca- tnKłW ԣȻzo[٧ߌ4Ǚ9l+o aX_ċ!F 2ѠtQ#*Vpn//qC}:_P Hґ H9 _",Ɵ AS?!4}fRRHHyu|pG{]Yl[{FP+L({]A-OLH 3oӹK@ ?abk+nZAiF]"Fk |Sk#A|8Uy!\ XXNkNDӌh{P9laR_݁(#ޟB|H`3BsbM=΄2zemPmSxBS‡N k'\wTz&] H+fsm LgvȘC_ ]# R)Qqcy+ڎ>#F֩iծuv3Dd 'Ъ,|6mn /I{Sǝ'^ABbij3_.N nƕҔgJK#dИ[0M$f^!]FG~*ܓ\fS 7 ROe[㾘&MreaBe$CNM,>ڻ[Qnmk>bӡV'?n^zhIg4)[{[I0F+Pr]Ugȗv%l5[z^%$KÈRXp iah# zLڍ+< s{^q=/vovy76 kVD橣`CSR%ZMƢB!vsGܼ/ \r:܈;6 $Anx! TW=HD-}m/-97Zi.L=_#qѦYᮗ֗ˁAª?{y{o{H\_(%K, $4"p/+poJְjjOi|;d:шr]$Sg=[5YX2U[^-tվ3gwnWĵvY* T{D8l?,c/1l8)4FA\wlQѝdȬfME^dGTWĺ%jq.۠rOh.q%&ňߟ` \yȶmpf% aZd>99]|MGP/{цHOI̱7.i%4fw 5_B|$J3|gDDQt:@?%붋Hqê'JzoK;U[/Za(9frܳdIg4SUAB."r:leCζzVf?0*.NIR0! i l(86<).d_#Lfd뎫usSG).lD|]1CeD{8Gvr_˳?m, {rrTrb ]SE)Ѿƣ륓YANOw鿉lӕa\%B 50agT T8Vs㿡SRfrǫ%k _p"#{oc=ϟ1k*86KSr}J(twM!pǹo0#bFR%,SG|^x'(~V=u4m.(`6V`3 ]ГPvuL)(%hn.y` ݶ#h.9XyD\ġchRV6Ty_~1EVpv8D|>XMdOAo暩rxtz.VeaЅY^4}` p&(F?1Zq=s&65je~L_MO>} ;rE:A;`R?64$"3|?8s$Bao7uK( Klˈ.8S 1C2F%f{\aCBz#?ޔ4BaeыX0`mDV7)X: \DdrߞeZ֥/"k s2/'`x7vE 4d,$8XGj13:{p L$e&Suo͜tYGE4רب~od fU+"(FX=fD!p ) ౏iI"{b^hW-d‚߁}|=|킿͡ ,{,Ϲ$qHhfPSj F'(}*nJ$%ī{t)iRx)B5Di׻Y0;v>F("@ g}ѷ6m x9&"b'/_ ĺSWgo7vz&gxaJRVdnk';?uӲSkB 2|[&6?8,Ot*i_/} =bR p %HHNÏ) 3_-r KAvr}X4(`a-/„D5 'B.o] an`)XJ>n<\)YyWTdQ5;T?j´z^DDK^&*.6_XJ=-QI.iCl!vɋ uNO(VXWSo3v d[粧QVFaqpj=c0zHrN&˵taiڢ|EQn#<[bH<-MtϠK>'0 vvɤq#9`"Mt*t8 <+-!^MbcSgw%79hn Ϋ |u0L}~: /Sl=zG=wz1 OaV1':nTZϸ[(6|af(a–2ȢmMDՔ ^D g-K„Ē2!]˰4R$T>L)' ;qKSn#,ބ tk\'cݾF٨A Lt2oa&o0D,6_RNErW)m$ܨ۳㴺T%QNoX4m;HH^ Rj'H ԩ.id]drOI^3*^FE_-Fr#3d͚cy|`;~e8 DJb~6sezaΖ>i \b۵+K`kD)mS9IxUh$] ٍShvKl @{@u =96GVZp,R~Ҵ^SxocqP`4om{fE7qL+d!ʪ#V#!B _A 6m&BΓx(]Hͺn/`it7QBĬկPWO̸TzE">3e$.a -R8Fֱ6gCx*lHY>A۬9oX_q\nq?0\DtK; Tj\ >@}c*ɯ DvUc]eTbCMʁ BӹXPH1^O g#zza|xgRsCLkbu="[^v`E6M%@@#'c_l[F}wt7t#v?5X[̾k(WjKvA㓟VO<?բ _5[@ lR= [HQ_Df&gU/z{o 9:144昅a;$@[@Ԕ]xxkXRR RS}zԚ0oIދߐʅ+b5ӔxZjXٱ6?LM5B[t[I|@o̱󓵌r; /7#HM#-4" {wY3?\Dۖf(<`uv@{?즨9b dr0m[wh`*xE̽Br~z#U,.'i/3@ql"mTPL*j16L6mQwi0m ~ȃٿó4YFF"}#:鵙L^M"3ߖFM09u%+$<;,YYmؚV}Jn5ۻ*j Px+oԨnfǿ/Zy("%o|ݪ=L)R#尬/gVl@`ll e=]{ >zߍM\F}*p'zr׿+D4/A{cM 0 H䰷ޏqoF!r|YPB?sE%t|!nxpiM`upr8o;䁋tGȼS }k:'Ur%L& )5tLӾ]BX-Sޣd!:j<,γۅ ۤ >˨>ĉHM[S\J&>Fz::ֲty~0Sw:'BlRu k!8iJ?s)(|;!GZBE'X;s E8oˤK0'=e0.] 0ajzI1Y,:? |A'EZ :*h>չg3FKD8ӞnF^M )A05to <}C+4ft~p 'y_%_0M=~pvdQSO?H?|DV\y;tAK`'kCfey#Vxم<CHBtg9Tm4AFhx!reGaɭ vܖ&U1M"4S0oI9TUG1#B2*SDއ%AY f N]Ąi @*=&Q3 ~ /ٹݠ͸44TK&zM*VUmeq=(FhE@7kΏS*n'Z泌'y Mr4e*zA*.@Y/YHzλUpI;pda #TVJpZ}cڝ`d -ۃ  Q=M< &э!hc)~>zVC:| W<`xnG6 N+ܻC,8C'@o&'a <4]̉W){̳2%m1sSc'FC_($bgy>r@ҀHcms?f`y7TP+^ | J-(ϗ&Cw\ ^y!YKV4ܙˍOSc"Y7ɂ$:OJU?Ca^\.hˊ_Qb%0ձR$jK ~Nݪ؞~5 {O2\Pl^o법wf&%6(TR8Y}I@winkj :/u|~R}܌ŰުŘD/obz:"'~wg[K4)o/\ =(PSV^(xtw>|8b*1I߹c'OB 럻o2X+8=3i>K/MS}u:G]0C>ZW_.nOBr 7<H;be~@>uP̅"~mHCmR 4JsSq/[R_S(N!EOcЄmxcÿ7ւa3|/$IS.d.ct b\bZl5 !&n_2DGdɾbyu#}Ih~?L1ֻtDo~5o# `}C֙0!K8&/FXBKNTC(!r>TT`ݎ3 K4y;v?$o o#tf;oտqBSʩt mHE&L&L V(W *0=րad9XN? t,O " Ӵ˪Ia10hDUy &! *_!jf 1Q5֖@ (T5D'Ϥ^kE x\ AZ R2bob,F,YO+ka< gXks  '߾~ VY,e [hؒaTkzWRբ?[{(uLn!>4j°!} 5D_:2YFe#B N2 ~+HڠnQw$لެ2?I֖u[Ӟċ㒏ԁo- >*\ng("vO@&X 4}ϳuݺxj%Z#!U0~$־1 0u>XtSŷi;a/%]6 ĩU`Q m}]רwlg+ i-R'wqB2 i5S&="ގB;210\`pTY 3v#橿[=xh5l=>9=3\EC/TM IxUV^7F%/OLIL;C7iA w<*xNU7*4.Jd#qNVx뮬2U A˖ҍ_᭓ޓh`Hʊ2@G(&#@s$%9l}R4܋)cfm Y?mK@*G(J5ǵ]P _B_ :^],L%0zb P"@,RuJ5wYݔaVbAZv <|2[x81W@1.V?DR?\+  aAI**@Hŗ;P)<@beoYFYu}=C0l:fZ %!<[Y,9J}_$RL 9rJn; N"M[ [7i(ȸ6p1Û3Mo?ĘKLܭTZ 90qMI=+6f\q(CKD,6Zd}V8;Nx W=8,?*U\0E.)f>WMҢr|6?0Sge =y+8Z<@"wPl&gh'å0'h5:Zod` B@MsxڷV[X'y^xfѴ6J,L ѩM {NB(cyTPxYԍ0>L9LO1%e*bWb"E$PR5kYc\i|$wϞ:7qP GܮI|u) C2e:NfLKҿ|2d[ #c+7Q!,OVhS.k@j6"d=Dn9LET9qP>o/XM khdO$=#a47'+?J9Ө(KjO\3XDf3JhQ"}v*<>U3N@7kh`DK3H4荜fEʮ@5;3KfsG̃y:A/E8.QwOb%%>Rk~[-|؉ 4TWVժ.oQTU2!Zyq1ւp J0h袘hFV~B-B[SW߈/.@ʷs Ho|a- {m?YƟs%|$hTyI< @ց} RdM'1hlK<שq':\&NK ^ dG$]0֮O*7S,p`+87 OةU q;\M4F}l!+VҰ`ҡ lcT!Ӝ> ߧ18ޏ D@hsDQqr#5 RNZY"K 0@ { 3NA_>qB28Y^ \ħH 鵷qً2l @fcoS+8YĄ>aM8b"}뱓,oֶ}>eze_]:Mp\=Ve#>@Mr{$nejZ%ĔWXO\TZ,4F{ߧ'9:L3/k3-k)dG׶ˑ"X c|9`cMk|rByVa>4)~ f'7gs)Ey\J%_uK2Kx=O 3nm9ۚ.@ΦH)ffu!Z ;hO9p @D~ӓ&dKĆءmj>> $pHprH6>~)6qB}|k/Qxh)އ?A}\1^ȚSp VsrZƥUG$)+}zV4C\>ئwpu ov!, &CV;*(%FVqh0MRZ0|$_0")8#r\zrdWZ?i5"h&xZ^d 6EP5镘9Dh)k/MHտ UR UA̓ibx=ӂsvպupSE;4oo v9CJD@I)^?hZ$6[1lEkWPB$~%z['^-+?zA25Ca?aKn}TMGKPKW/ld}e7mC*IZYo=/7UAP PAM>|}2x%(4%JO9,#s2kADFwrNƈ/r_\\l|e{"A<afOpz0~ rV#g4vŘ|OmfHEd+9iMBtYo Vp꭛~OCӇ*+d{b7] -"zm, Hstq>@Sŧk}d ҾסHvؤ$]3[FL&f/aa: %Vvd Щ,2me,)8eϝI= 3 )dlڠ_5[7d@?SC5Q@gʠ 3-AqvQ!lN`:#a:m;5}l!v-()H1C ؽW5]ɵ8 NjW;fpFِ9,^I҅m*|]ӧ`814pտzHLlep$,V|3J4N?Ae5[ {6<.bP%XTE:qJ>]\qQCYۙF ؎.$aEneNЩ[e2B6IpN@.thGCԆ'&VLJ+H޽(*PS=4Dvgpȝ%~p A*FNj;ȝ Lr mZǀ'n?O~x{V43jREL[1ETPLzxn޵wQ2p .YMxLnG{E`4ӮFƗ8;6K15!u=KCc/S,K#~X<B7Cſ'CǏ%PdcjfI.Dpq8u](d~el{\%Lʳ+~U쑢{beF7v`OsX\֗e"M6v<:"j3Y>E@60(ދI矇GZ+GIhOCF`aLاm Ko6ƛFrSy(V>>$*FUĩyʚX!=R:F"ja@DRmA:ko*6+7C#@(s1hΦhD_gk8ZԾ%ћ 4UmƝ:_>zDn0CwR!{qc@H`o%J R^v9o O 9Z1j2SԺՎzFD+k Cx-]⌳YsnO%[}ԹxTVrbnjxbF:W{ ^Čh`R,BcYJEh|@*L6 RU(uތev4Jc Dx6o&ۃ׃Rә:;4;+N36WgmD OjG@d֑kBMݠ=FU]3#ba:8qٵXRoRChzaXnw+t![4΀q{%2;ӟe0&ng$D_<@xZ]05jscLsc0Y4 ҫ!: \lLgߋSw~|z]mX+ rC-+AThfcM'0Ԉ6wР )w_pZd}#X_kMOc*U-:'x,Bz':{}cr{e[nfz{;z8yȋUѠn<}4HXE,dՒs A85Zn?j2VT5J߆'"-G减 `W_V%UKHAɒQ]fޣ̀p#э '.1֍p Oh˫(3>0Od$7K-/C8it  AW_4#,nA; \46 Idy S^9Ph,}ޣD;6tWJY*汏֒%EG oII,bWeF|?I@Qo9lވv [K5FG肑hKݓ'&QdT%ѭ{c ?T, nLVZɫC4IMǻKamtT琺7kG1XEq)}%*N_~L :x9>ЏrD#"o*sI@~y2A:X=Bv_ Oϛ^WG87I Z-j#@ CU)b7mZ/F9=-S y@E'O?Nb(R6l`1NP鼯)54ş*D5^Ԉ/Nx+2aUu5yf+;wq `2:!ɋ7$!z) 4Quq3ET6nQ6܃P9v+DE'TIPF*Yqj,NֶkfM4[6 Nu68ħd#P!:sA_'L0?/ڴ$eȡHYi+GEQ$[.] *J^vEُ_iPV9-6LIIŕ^Ѳ,Zc))75 ` V#Ҧ;-؎=Y 1u|]ôblU9O{Ipu>zѲ#<s} CE+F^1Utp]<s#ԫ/8S٬Mq,ѳgE}p2{%ս_dQFU@ 9J$5?f#Fzڞ{KVl>_zy89o͸ $%sPGoMA9yב < 2Ď[+`5jحJY5/~??ysFL^>b! )d0|5KEaonzr֙>Pclđvp(ca'dlļPYݕp<*eM&f p w0[f9( :#XUu d)=FE7?iWe?'[3\FT?hܦD\>5"C*QFgDs|g> m &v} -.|.ia邿}#DX-:HkI( j|̸T;d隷C|+9wK0p-k| |v)LGcXw?r2ƁUZw]%ExH;a sǐ̠e|d/J)( V$ Ap7+o6[kq΂5T݃z2|[%CrpN"  ,\$Ӕ/X ]VnqsO$aS%LY IMO;u@j+7^`I 35t]u:0+`=,KظC Fzg{w\?=*Jd0#$Q!F*7v!\}P]X^T+>/WfbRv>FtJ F5~\wB֓w'x 䏹"2&)iX#fx-h#Ft Oe3#iV|ɗFԀIc5]#RtGu((&PUt/5āɠ͠?HY^0VQV=iG#ųW=UU/"ouؼZtS%vD0 EiT "gtx`E˾0+mѩl]MW+yr5mD* Ny*aC[2pr/ }ܭD=ǣ=<[˚z-kBd:2 yr|$] k4͆갖LBر9XFyU#CϖHQ+*\$ 6jT  {s ML^zJ)I~db5h?C>H34Hx̞>߂f`>HccAj w]15Æ1$k&R8CɁ4@F0 (q-"E=BdDxg?lc{I@C _bf BsHW˲INQ3F0]hV*;`\^ qoAM-Ѹ|7.(0("oJjzav?m'B=f{!Qb-oM3 u 7jn l3K+/)#}QM>R<*gڏ> 4"VyDۄ0bcC 2B4-ɉr\[`P9x hf>c@Q% _EUcM܇:IT/Ųy LZ#yu[RoK/0_5@[~S܂K 1<7<r.7I8^%|4Hg$̓6҇~[̚lq^>]ǽŤ(hJ*G&$J $0^yiv7EY#f3,nMl[blj]]{cIǩC)cH.n4O+vxL|%5>2WRSFvƷdϟ˳@ Wh8Us5/A};B,VRm?QBDpin:gYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNT/1+wꝮ:by㙂XDflJ+ָ N+Rrd`VDJRLU%|ROCE;O'##(fku> ]J\(>ڂi_|EpI.4m s3 ,3Io` ( w4MK2oS\OfeAw­>l ڕ,ԯch|\UdĈBLHĒ8xPT&ASخZԇj{$*mi1Rج8 ;E␓$bK  j 0pޖfz}DO3n6|*]<%8_O4bϣ>ðX=}U &K:L~uȳL_CgNь-+Нf,I( @ݨ#tj 6QZHy[dr)?4t?c3>o̲ft.\"ѷBBDN[y n,6v1!7`gejFhHY#̊ 髰A4SD 9=CN ߸QRi,I?%Riׇ8J4P8pM0ES/+vvXSk;qB t*Kjl <9gOU8KǛ Ք1hsp߻]eJɝeK~8M=΍+vƘ.10X)V[5N$8 G󒁉?'?= cgFb&w+2JYNHmW2K5ȇ| [jZ +|psJ!0.9T3bv ^XS zY!ɗ42GTrr7e>Qe5[XKP}y4YFtȮi/J"eEZOB{ |gun[8p`K})V;+,čSlgOOQ Jjx9ybP@ԩl @5U#B=+zhW& &h K9Ƌf ŵ9OQ]Y)ܟ({ʞOu7jc &@|*lm _Q\WSEeM49g˜S"D@WW KC4Ye^1_iu$.gpo.ULC>_I7 E|L4>M\qU 56Sz8t@Ku_8x+KBo!ړMT'#jx!,A>H5QP ]xo%q.DbPaL,ӋF%46ȋrXu̥ㄉ ?Lb `ׄ5ת`  Z3'J)[`BmJmoྫ'՘#q9&ig,ٮ vrRCD$ RA*w.*.i^y)w0V8K)=ig'*DRXA?{-?7ui$Hm"\HdMǛ" Re/<=Ws۷yA2c? ci?O3OOw7K R˰F屴pKo%.KGi&  ҧ/s_Ĝ#*v0sy?X;l`pP ; y4ܿewvГ8h4-F]CVs(= 'HRlXaWkqPsܵ2yʉ!޽],GrzZX&[{LeH zd@ ;sw۠¾9\v/L2.kn^Yf{>(o2W N>ڇ&}ʼcWIq<^5 71nG.<11ZyJ:נ3҉A/c[3%eyw/BhJ|(WiRџ\AauQAq"Ud'oZ '\=M!)z\_"^@ca4cHb2I= up|F1S{\=!Nt- )٫ˤFI+bn{n$)-oiO6 &9ŝx^2oPxRD~*b:Na%M֗cBZYGt'*Y#@@w7͋bt 3ne8rU1}55,OɮI%jXZda;AHL~\5ƌ@e>Ǵ  \`$ʎbev: :\ס[o]ڹ eR23tOgHk _OtOѭ ި&ɫFߺ_ Zk1 BQ,LU-ExK+iM,x f v27VEg-M~LIHwQ踣n_ 8. nm)6JX.b.dF%L?~h^-A ;wRdJq$P'dYK04ޱ1 :eH&g<垭0j~5ڗ*n%5Qg(lRy D+ĞB Njd`dgYZ5a7775b0992bc066bf2a6f5e73512bb22310a94d9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535