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  ] ]w5vdDD ]/ Concurrent_Revisions:threads=4elapsed=44.445cpu=136.612gc=4.2567zXZִF! +h]ŗXiɟH)0%o\zL[an/ A7Ѭ0@y ]ZBmvqٝUv_tXSwJW~:jH5p8)t<96ia6)3+e"3pkotD\iQs4 g_Qm#4{؜\[ HkN}m `d֜v&u3mKe$u͇_(]P9ٟ~񃫱İdPRtφޠPAA 5 Concurrent_Revisions  i{CtΖ.吊* GYeM0WBWU}A9I1/ ?} #>/xdtwզ(:/RG}[tan>%8z-6LdX+Hi~d8CwdFUq,Ye FJlvXsk9:wXWp|~*v8n9h/u 46顒 ;e`y&1vYʚn?VsC Z xod{u6 D^Lt{S&GeN;<5\aOvSw kRWDa'63NQfN@pm=x9-s;]պCLk s_Q'̣7@͂d6dzFt%s7D?} gL{-4F51Dzs %Vhʆ^v$PQs93Cq邚lqIMU['2< BmK)mi w;B OzVnBMڻP9FG}4q/\ suSAfvΉx<ѐ}ͶA,و{FH1)-f',=ǍØ.H.$BgVZdž蚸ƔgfԸ}V/H]mH)v-͑6O ݜVo#/l|aaQFH,VX{_( ,c:S,P՘:;H cT 2 ̥m)H3L}!KBG8P1m*c#6-5'"'>a >ZBZD׆c?u8ATŐV+~{of x<0YkI҄$z5E=ss.n n~*bm- \Y9uJ~,2MsqI@Rj Ϻq%ƙ3&Ln+8 ?_W$~6`}e!6"S?B{|&!K(Hbۘ6?ʝ{T[_M("Kb񇀍h$@& XCv: %2]ϖŠ` X\FN24Drr2/ҀoBg3iÂͅV|_M  z4S*{i8@fT-UG42zХoRO%ҫc6LF}0kX*8GȮ BAޠ }^wݩ>9| 9w})Hvdc"KTؕCv"S+Pw"a ΰtSpiȣlYËm*|gBӤB4  a<5a/qF^.5#0fDJgpѓ8LBo\H+Kbd62yLK2bOlg I{*˼ac4qEK0l3}8'3Pµŵ57*Ćdnʣ GWDo/UϗSU |\ҒK,x .6'=/`ᄨC.Q&$VI~=Bsu;5bp]:9Mu|:_Z1lEKL2o$6˭?Fha wt %CMzr@l&8jDOchՈŷT]/[m3Y2ٖυoFWyY_a'YZ6$E%c9:t9z8D8z !ܞh]1Dsw/ ɣUG( I&eMVN|1qzѤҬ`PQ|fI6Fzh$rpDwNrzg2%+;=G7p+Qdܚ<ʨ]vm#\ş(6kw9Bw4pMVy)|*Y?a~+`*U+Y1qjnB2$3+u`t6%_Yv!ȅFr#yلQr_B75GBaLB ȓjIK q8 9۱F|mEgÖW~_{IB>N=U6 ""V\DұxE<˼HN1Pԇ&Em!%eAsU8I>vz".b«9誜 ْ#׏fq.lH n;f ݕ_Ӂ)1㌄oX[b 6 )T-o'-`2?t t^ܤ͏b*jO){˕\%{5}h85xL%t5^7mH n=;23rYm=cdG>Pir';i[U"x,\,MwlNA'tGCɃ/CL#051MuĪG;>hlŖ:%lvKrXB1;W*1 d/[yxMK'sVK9QV ,l4K+l!!ik.w{7يۛ:{Tֽy«- 9Q9:b,#Ey(0)yw:Og5UT>{Q9~kE^4rb5h ;vp٭z1[> / %x0nSo.t]HkY6xFLwE.G!X: u'HɵEB*Nbvb#/ho̷RZv/݀=&Cc5jUy4,4x0x} Dic[{CK9|#7^ː2JJzhg2Dw(s4шV,wÂ>p{Vx*#zGI=Aq{o}r.6\6@*ĠaYj\͟oe@|z8 .Jf/YkՔ]?v\ .ISb/B5.2H*<)O;.-^F"$I:R1\ ~ 86sh;T+ ۬>zaBs<}Gv$[{;v̑H/v50S!$_ LH ȫA@.` b`)U!|O.ي_`7ưONTyN,]y9ڇ F$fs]-PgWdBP-UL &24.aҭ΢M}A1P]9  ,|vޘ ]uSI]OQ "_]&zȈ+h^C.̇ыy4 zi>oG09X S,{|V~\4y,cˉ__<YqVM:@iaiKAx=4R&_QRXZ[ Q/H} %o>My=n.WW2QWű^7ӝ bWE"N s85V Nr<3!l&5Ït,H7 ˻QC]p/bϴ #l{p<-%Jǂ.mfa4H/b.()p?C|P:;hB/G p֙s Gfw$h_4u!mi))Aiz8aƮFK֟QB+#Hm8yY竺Ԛ&F vL7i^tqt`nrP\I{.FFdbk;^Mdqkx_*8/Q4eݳ?'^ʂxhB.qb^E?\ b=ػ,0_zd]&>7oƢgWf[GLU%6Q*ʲC 6^t \5ntG\rIc Dzb<>Y%B>0qsWo8wQ"INm5iy8[0&LQ2? ݽpO0gqY9ݡԺ1DU^Oe", Nu<+彜Pв2I&jΥ+]v71œF|(Y6SW}VB*r%0Um>l1x弆̠hbEحHDjܼ*Tא2dJ_) %)- $HԂM2{KGn\[Gī3r?el9e/xW"*tڈzBXO'm]69Oeh>M\~5„~FpCKu{H5"U*)nSC/Y@n}kORTYG%m[th Jyu~m_(/ɠ6X>Kȶ L,A֭z2$55Vf\EsIfPib$_l#y?[Ht= ="Ctف5I€p-̭A'I;8H_}8oNmW/ÕDjA$X)H` OCk26h+Vs9'>@l|aFea5(Ehѷ?gm#ЗaXj/Uos@L(Z̎ 0D` +.s.k)Qj\Xdï)HX9.ԘuG>l c+;(Jק8\bBors)QߪЃ {*w|'`aWE_K߸BA,tهLM_&9z8葶'/*^ }j|n |& 3q!0!^=DAM.-73WK[@Ĝlo$wN.;bbZ08}KgJ ;A[\'bUVBQ* q†lu2Ow- f,xyylხVIH:wnB$hTs.4TaE풩|ܼF",(Ȑ3Li~^ k3EG1GY$0Mkl, /DP9"eϽ/a ]Xoܔsd4IWߙh ONLnSPFvd.VfCwt+Y*LM~7|QT 37RyYZ9/?pa'?ϔi)%|=*M%s$v-]!JYr.(D8Vϩ`yZo59jLny[S pB3QYr8nc@{BBzf~, k m-eW72c1 F$ԥ-uZXj 'z-~I]Nc\待=bʴ +kԕ'OT@Pjy}e ޜEÎqrq,⹈~I58]TE| 1'  )0ոf850kGgiV`=秣y;v. "C 9CnȊ}OGU<"K4w>F\ t{!UuBkq }V.|ͻPha9^y+m$F) 驋b^,6]~wV`CKq\976>DE+wB Ψ3IJ~-pDliTA$۪3" yڕ$ hѠ2Ow}`b]clc ^ ȊJZ.'f,]oǒ$7vz_UM`7M)4>3.%J]PcYHM$Q˓%H6 fJBQJ!Kܕėv)PSav}ZK`lsRᰲ)~Q(b yyuvE6wfDlP-9-Ŋ])pHpڇ6&{J,2?M;2!^?7vNjbJ豚e#M^~7EY}5'Vk+>[5}:w}ĺј}?}\-fg37ZTLH^M3L0.x2Vi8Z | tWr@B=`Vf>#vySuUڒ;-w[N΀{sMWgQfd`Gd܌Eװ\iAj5L8D_²4|:9x$ke(-nԄuLG0-M1GJ eت<D77k#!AV%IH)!A9A;I?ӹ(13(O{&#s~f֊x O hI:tdJdWrwv=q!e6 *eh6{{1;ˊYx&- zh crRW* ($ؓ>r{ykKտj=1n%킦̏J|]+?'֤Cw_6헍B_03vy,욊(m S@5 9\شd4j&`g%Tze@ o6=dxy;VEZ|?ڼ]=پ)ku;_dυe$GMS1S՚Ix{N'a@85͝׈AswUPɋ9zǽl}8b˥ M$ d5_y;~h'H޺uAV1}pT㶮t(/`[ꇗЛQS"qȧl3-)";Z_L"wƩT'Ǭïap8@oS?3s2۫vѺִ*5VT_v7|8}n13<ǎBaB241Ok';o|}[u;8N^<2paCpZs0N+WU_S {sl6o/!!V'p#wf5<@ 3C5d_܆  w_'b?4KZ 9!dް{eB%>OmoeuwҽRN ZQkBnP ɦ' Ry0b拨]v3m {{bknE^t݌/vm$ kC.(E^2`@ kR)ڈ0ŕRᙿ(+oq&J_-#.*G$ gpX@AFɔqCuk_ נ~6e!0C2WRq,:NQ J{[aMfSuB8?f\2!֕iB2؏ÕLžk٧Kc ڰ1Rӕ Yl>\w}*I7Y{sZKr|=uaҨ32<`'o'e feD}r;*{N#ǿk_qY Xjh;e!ZNg/Fh|`}4Wc-Ӽ-j-~KJC, i @4kO!GGs$6UOڝ>Nf&;a.ϲz:qx S4t#c jgIh\ %rb*zY?ak0-Gpo.7>ƣKc8lBȀu%ϽyOS9\w\Bl{JSx/7^P*"J! ۆ->t='qh|I=z,`E ϥP"%Gui Y;#q[h{z;;@#wf?`"Ǔ4E8SM܅qJ\BcnNK cWSB.ғ b~v4=h_b*']/p:H Ny %{FPǛO' !g<%YvA~wԢ{u|O/} NX(wbٻoɾH؆Mth (5xϒS>@iیqa p] F?TF BhX(/howof,' O}gw SPħO:zTS)ł~̓H-g͎:16T{.:_ Lsru- U?U$iK4Ì^:<|4'n}Fo7Dx(<>+Qd {h<]"+t7C 獅*zJX!W<^U6M4XS ̳DTE<Wr'I&*Հ (i;QLȶ[NVݤoF,+eu M H:DWlW27ZŕRȾ6 PɏĨg]Lҥm^H|FɰF uHFMG٣ՋNǡ5eH+ (+`->Z\Co5J[Ѕw[۲,U! t 7Tt[#M삻|cC>Hw3luqt<Q0-.#>㋱?Yd#vZɏK8SdV}6mQ6ZaBgJEl3LtveQ4B^Z96AXtBO"<( 8F1&U{Js>Q0;:B^|tTdK|#ჼIkf1ft̴?8C^'ST -C׶Ṕ"''pġT4>eU ݋@6 iY m+PXƏ 5Gݖ}"th;s-Wr,S̔n Ȭ6-5R6-d,lc pKwإErlgT7x$qv폶XK&!\B{M0lʪ鵺N-ѸLE1n G, 铵e%5 v`EA=aT$@mj{Y)y 4Tx-s6<δ3n&B)_]p %73kL)p"i-S9f=I^RBDx-w/p l}*~MwG4`?j ʔϐS4$q񊈅6H^h r z)(IN 8yA]j9}аԹ9R7ځs&#/!rZW : ǒwaj7LIg1"bbyTjA-I5"UgZ}?Ut>\ n{F)}OZg=;#9qa~zڏjv;vo}bY/.&۝wDN;Je<(y'Xtؘ=en8L׮ u.b'Wp06 .:s!ZBF ]bё(}a7{A5N-j-8k ^m(U(b:[CQNn)@yH2_U'{oQ1C)i}h/~•g(o bK1Sb霏!֎K &hFpkA8 n kSnj˽@>O^զg C@zӪ'h܃uwS ɊR'jrA4[iװ0b{R"ˤA &C?G*Nzoul9 ylzTѪQ)h0W)Sb8dԕfX̉<`m ( 9D.NHdb>(HELcK$sv"vx0҈<䧦U"xkZX?&z,%*#vkkkjPX=h؁%MO_碁dd;G8% X 0<)ȕKufV9 Kw͝ CS7M4Y7,;⚱ 7g)4RUi)$=_ :7Pf%|^Ŋ?pwo,F^ /vqgp{#p`UNQ!p&Glɻw8j'2$gj?&gbv?dP\*V3 fLH0l)C»2R|썄KcMVJz6UdgO}w_IEN.Sf Oc YzMfER>d z$ !Ghg]\FWwy:HZ4_f`|%_fiPO Vh}G5lg]\O*zJ1}Ȉe~bɓk#?x\cXv4H׵s$`]x](9gF_.8MHUG3ssj?q']]F끐*jcF.U;Is縖8/:zL8\n[IIq~gk2Fb# :󥶡 ]7ֹۻNn>Ŏ,o4ѳ&1tf]a{Nt$*)<.kw3P4E͊r'V@ʆy1ZM{T3̔5)KӘ\nZteT(mRjM,QiMZ0I_np9 *TTϔJG&=5'Nt9ĥ<. eG]9 EXgw^4<\'+VQ^[Jt%w'B?Jxdr]eV (bo=5/+9/_]9gڠVF ҽf ژ?me C.AoX).ۃmtj@'p# 3THYE Sn #7pX۸.r-+[#%Z zd`rI b !Awl^EcbL3-۴$RgXضtecI]6Sr0ohԟ$Ae(Z|fru|;X][6Hmum~ҊϺ!&4|#h~(=$5Os Ix-wu`fZu"Rh_ - !V1v-g*Ҙl6YwnQ%_Ć9R=4!nӜmˏa||N kql=GPIH ϫSO;HU}1sc7SA{ΨDD vtnwg JZZ(%,sgKhE rVvbvh3,?r[MsRm;Um(&&0 X & ERtiE[8 oh,sࢀi|FDnc,|L"B BpUR-͍Рd":2 r%"">b%U(<->DSᓰ4$hz9K@9EO![0 11Tm0WmInL3T=_2Գ 1`U+6O0we5 .K2CO𖂼p*jLwBj̐ &gJz ] Q;E6<uvZ4EK@b4łVx-R2c|zFCjGwC LJpy@P>ܷK&[xUܑe;)/:5u>.3aIUkq͢.Ӝm73m]+=kOI םG~Q{]vaT#KST~$>ZmЇ٫jBb1 A:;_t藶WRG+%`VKߔ56x!끼' vIA8/HSԲ._#u5-2J? pXOo4wX{V[_![gfc6bA4?{7)24($~4ƧZjXl4V,lt)<3kNu0w'3%aSTOy4`ISԱu 'bjy3tuDoJ'̓0/{<.^Cٻ|N 7f" g[7|ojT'B4FCCJ9e="'oCFh^FTbKnx~˒)d3T~u Vgzf\N^ΖIW/h4ī&8 _E7js곔eRV^0Of7&<%>Zx_xBFy$!gfAM:v1ETrb]̓n"am7yfs8Q3ӹl ) z]bݢ(y {y٘!/'LHF~cN+wnZ(|u]b^f:g$ 2a)yG,<:TށVf;הXs.<ӖF}SzҠMm XUr5&Xglq]Wa*EzLÉJ2g<><)+cJACp3K4Ž9R*/mCRw'+`<4gaQB{5|vرFeEu^-Ң}~0$o2U~5=J>rA}sVd߉ZtA # [>ݹe䃝L~H)M[ޡ2dBG%7FjffH=G/H[1k1R&xp UZ? ^/C<<`b b!S/K |@AZ(,& :o6Ĕ2<^ 7`<`P:vG7 ~ZZ58mMbXd?h^j@]a)5 ~ 3,oi%W LVmu73k8tRh:In6ʑSD,P]Ls"6ȉ}T$2Kq{xWh)@Xhj+<\BilFNlQ>_!qK(&GKY|UT7OJy5yy1gy&;j>-V~rSfjn>ulբi5II}3::roM(L YP6-:uN&%ý¢j Œ[*:[뚯,)xJ꤄UafTGm?{G9P(:Ϟ♣Rye~Fw߳{ôref]G+-EsN [1`=.˄<ѥΌrT%bsb-`&Դ"R_cjƋƕJK-G 4fv8oph h5R8t6yE 1A;6V[%v3!,32꾋 )82Tȩ'-npZPٱsOk@td2DE3<vunʘ1?ԩsūJ0o7׼Bޡj LD~5a]b)0@:^-tpJ &MF–5mg3NJhkw5bl* ~) I7,G4rT# \d͉JIבzZ S;>0XhJlDZ^?MFrN25Z3nC}u9f{3SAƇ).!9s]H|ՋWcf Yr&gv4Kځ#ƁwFX#v3eD*g"گ9ℎ7E!3n|2ZaM5a67^KNy^1 94?[.^vRXrzhP#ГWQIQU_Cdu{ln b xN-y7͓4PvAM2 p~WC(G`o7%\D9 D(vU]m xEQ߫=OX}-p>f`faO]zc>)F;Ie[{8;z=)󣶴[xxƇ1}bkjrd*\eMΧ7vW2L3Wބo򳥻{yU顷o[F9\RHK ![*_;4ٸzF~nT G<w Wu_T?n@9*tiU ṊW3Mi_状RT4A,qC͘xтl;u|os o~c*BREbk9M93)+g@5E :SfkQ; B0i̮U,_S[oȭ ؏WmQ+5kIYČێ=2 e cچ^H${PSj2ʂra9p4new ^{Wj]=X=b[fn_G(w7'F\窳1Z̰k솫bP zHCdAG_۳.|8H?UmMQ E1A!ʹ 6#C5׸:(>p+vƩa&sͶMUխ1 s'Ҟt8 +X1hoƒs?,2jۘ< r/^7n#ΈY lqse)rZg=e`C>w .tTXԺ#hchk`$8AyǓXmq4{@aɘn=˓MTPwZպ#.OkXr&`J?<0x㕘 !Ypl:vey`QKNJfǀ1L WY½eE6An8 PeA6s\e@M!7Jw@RogDq_G5Bբ yrS<9~=]朄 n艦[ulT@z1! ~w#w%Y=:tDIս"Rg㜁]FYuYs0 ^7Ԗ@C@Th@|$;bEvњL5;Ƣ $<ޮdCἌPS&b?C+̇7X7J$>N|wsXYQhs/[;ZL]$LXbpMNzDoCCXjfxa 6QO^aE-AAI6FEjV4%=L1y j g ̝$"[j̠GsÄ 6TiM $b8~4 xh:9S02G)VFSi%qsR>Fua ]'r:Ʋ5Z(!!uS^#\CZy12gago(U".v)5p;% [x.w]\A![ajCy0_Jj+=̆1ߪQkŴN O 2ֱĒsy eٽqWeݳ]&Ig/rQj) t۲aUnm8!CnmNM r W&BR]γsXڜH6jǂ-i:*Ғ>mmn]oa\Q?sCE/z@\w_AWmL0ɮ7L̂7J*F\}:]ài$MIS9tC/2bAժݜx}ѦBل7h(k|ڷ|Z}̇6FƤP:Ҥ/HNtzG3Bٛdԓ4:Xs<)1_QS5e/zdq[N7dkm,܋t?R ,D#X02 ik؞pMҰ.E\5!z#=VCqmu1j_0%%-+2\ ) jue?~/)&cd$X>e@_ g %uL Uu`lp\N.=?4BlyyBjcGFbvcip?@.㞟 9}.F {"::]sߙ:c^A15ODK ]]OE5_'.vNWbG<4mѹo,>^QBMs`8}v D>[n]Q*h''ƫI} 0oɢ7eX$-m5 %}(XU!%VVjIz>9jLNj!EJgܸՀUdT b{:Eߔ^ךu&f-x²hBX7'"C6`u6ro ԋW}Z[cx}Toqqר, 9.3E ҄D?J,ԄRdNL1nय~,H>9:fEs3&R{.ȿœMFT_"i! RW]?B#dk8hJL az'Ju*-H=S5˖|i }1f (V$3%  4ߗeh*xF@a}ij@LتդHjR{+pG#ʟPU{ \d4J޴aTb i zRcAW`}`PR(pӈfƈ (Ӕxm>/<R5\<ĔjOTH\һ }'ЄA(p,dCy J-W'w#sA)ka2QdXJڜ1wϼmQ*]_BRUo^yT-mPsKd93ؒ3#3ݼJCbv9doΨ dX)Ecp: ں+c(( f5 Ma,9?JMH, "*b~ś;U1*y>~tdz51/Ԑ./6[w+>~=B7Jml&MEO#~CuaX*/FXiI0s:h4h`E}bfr $[I,aikLK:Ⱦڢ\ JOwf"s@Ks8ǂT&`,]0ϧʏ3g۷=;fp}xXY 4fY~aeT!-eGhuC)]d NCmP 6ѷabG-7W'f6qיGU7&ㅠ=qg\zWE\^p级o~9w&΂f,`7ԋ {DpaӉ[zg;[nT N8GOJmFoB3[RO?ȾAS9mI7HNޠ柙.' Xg{26W1r=c`mCV3 a缦, yףkMpGbU".sz_j_>p#ŵMV v-Zz0S~3{%K+AoH.dw YY軄b͸ ~5l zK/ wHrHhir5WΦ RO2qSi$ BӤpfXyo˫R%f$~/>ubr.RM u MP:*)Qh--xa\;]{$|Vq<Xz[B\Rղ\5ƑG vPӄ9 }{LՁ+ohviw ml}C7N׮e9'y52~3_g5T3D*S(h=]ˆh`ҡV ;1mO9 n/ v'?I|f,; }?wMV*\>Jv'r}| vҴ[hR_FrfsNvP.,~ˈHP hT#m!^U;eQ$PX4 Ry?I[p扵˂_dZ}^C7 Kc9l|*T 0ϒ):W UFVzxY|ecɻAV֌ @Zv'ZwrLqo.?HQ>?Z^`G"p((jNj'67%E96(="@RqqMdWA. [&MZGZ_b.Eܙ*(\G#n™p;r9A5$tf.Mh( gc^3bo26%B^DK&w?F ooyS4W" Z\3;+Q#Y?!EM![~%N_C4?qoN."JҠLβ!P$<73%H\׳f҇=Ȇr9Jwx̭ϯ=PeC֗@G~!oJda!' >dhgֹwY7:䫟RSe MLm/]9pMȭ/\NnE3UYsicP[9UAN[!gc$}x("b(zR_9}S)~h.[lMA%P xp}Ct0)+eQBM٘vSdv\@mE;n|f@&F"x6êd eVaC2 +{ݓJF>Ax7$K$%؇‘4Ta3[c+m\\X6Z]x>sUj JϞVN>a!5IOi1F!R~Sp'ᰘhր]s\@>WdO>YZ c<1S^^V1O2? ۩δH\u6 }b J]H:A\x"0']B ߍbtoqԞ~$7$k0:Gp WJ!V=[5)qXw>:6AMj^wM?KFh}#*jG G<첖c&~J-1ty#w{6ejzݚRbZ49znkZSq8"wpy& b=|~@%rz Ia.NݒGJI=r!q`sL^4^]YA` n!!HҼ=n0o6GVJU9,H:xwAwgMm_W2o<[Y1}]Re{R 1 K.O˿-> t֜r.9y[wfIK% [<-:YkV@>Wj76MoxFրfYRd*~2g;OBIQ-*Q0V0ǒ7gdx@kP>dK M,߈qg3ta]hByO3\fm5V[oVb%T2[V[U`R>8wv"E,{;1t v()אYEp'yb Q֏;JIк$Xi39` lb'.Vn⨢xEEˊ}-4V}Tl78e!Ȁ7tи;2kꑬ;}.=ʐ`4.-ȗi/9s2MĚՐo^{3Tt-&T %_eRry1 `PWQGΐ\gD KJH7Wo֠CA2p>2|:'AށO%Zx(`0QmACF{ 0;vc$/`n {(KXW78Jk ̼\ JV ANs0~ʳibDk N}SMYMDi86hY z[BTASH(%ĹԭFǟ.75y\[9ZO*N!1 kuG<Է1K5ֱSB!˹@&MP,6K >%-:HS6vkM ,&%Շ贏İh)USJ~#JEh8Zw Y{lhPTl}9٦_7c/b'b"Q&RQ|q\cayBFr8MڏN+[BAV4eKL.QS- ^Cռ ״/ pMHea,\\v}l6oJs%7c֔7k)_PyUݬЎ ~/uU;>ʂ_5WL(U|jFQdehqeYbVSf Qt4j)`u.Bhn/.QmalFg7FoOnL]@x&%=kK\"0.OKO =ƇfЃs]C%%FP1#ӿ׶#[ʹ*c$EL-B~1,'>vWҬFY]ʖ~SY飭xAILrzu/EQ ,4?@jwɿq gw.x~^JeWYTus>V9I "RŎ*w5 OpedJD oax%X֦^8q>9"IN]:%[r-\uq+r7JҠ"Df =sݝϖ[(?08wjJ1>s$]k22AMܶvr A "nlz^z9fH,x i{LWhM*&s/}(YVMu 6H̏JgT[96MI'3fF>ڀ=;-,5œtONk3ހd IƬZxAW>]A`UGRE8mYi羚 x08Y:;=>AMZXl491ƪy`Er+KyMo>Nn╩9m{rL7~*2卒ɴIP o>z(%:eU߼EYL~{/颵oMz;eb`~QJ.ZxV07~ɴ`hȽ^ئv,Q.gP/#4AYDS RZDM3ViJqr$%kKT0Tq0!+&ڛjԱKHu20 pB0$zEr\TYyne/Y'22p/)3QƝ2=:ax2q"/R!2r4#| JfOQ> Uw\]+]Qפ{/(\5Æ xCPĤ3^vH{d|vFo!7ɕ+)LA^nm#'"S36 * 7{"HOCuOɳo{^Y&5C~:ajZһv7;vοбѪX>*5ZC{6e 9ϧKlBm B[5ݗqa) mUDþ<+ 0zh믿 1ӧnKߊ4R^^&w4LڲSXTfo=5{8C킐ԋEݜE&#[FaaN|A:0 OC GAN)y파=F"{ϯfFxE,^G^j2a fK^Fs9BZDe5_E~fn*%vک\2}e%JOA??4d9SQ? ?c}shJyruZ|M^C 51N nG:*H801t3x/Ӊ2L1%xUh$ ']Ea+[t"뭹79(ZVg$AyOKSrk|yDݵe- ,mט݀D4T qQkfUjU? b RV(UGY1b"5 QxhKK5hn۶IO$1aS8ĈFP 2SS sh^HUYZdkبђg(˝>_y$1;)Js>}q^y)c^5C*}1tOkk/ឣx}P SIimb90[n/̑!հH(Ie.&K'o[ iq=s6kF_M,S4nzgcGw9i5쪻 dQX"'^E2ǎ=⨤l~"/<@͹lF)Mch֭EX|| ::61xaBD3]̝4?`ڮL5|T ugYZ7zXZִF! S]ŗXiɟv \t>1~y׭b<`la6{;Sp91}XYދGp+VbO e<<6ta&Ԗ>ҁKvMuy:)! O4tp$E6N0c &@j3Ǜw~H\sDwq3_4 wc@ӛ٫[>28!.RXgYZ7zXZִF! ]ŗXi%L&`E!BXsR&S"ノPK6ѝ@h?!y;m6Omh p$G N$xmctW9iݔqa*ǧ\`oKVDn0Lc498TrRfJ(;@wszjxGœĮ9 CJNvE!B[x/2f58PS$h; Y5оn RB'J8)>>)өIP$WlYS%,f1;jtӛuIgq{ ~Iq6țeߝgAވǯFŃtSJ͆t6dez*}?땻]1@mJW$Aݣ#LUgLt@=DQ{h7u& XݥA~x:"J8C7 b XKy+Dx#lފ4&G4@͘%?ft1Mj=HUljnSzK9aqr7/P̜??b',}yVhz0]#%B4k^zU6 !r2}9Qԯ8C[WЌfDhU593俱w{VW|uQ8w='|;[B`aʹo@eCTW9;`cfY p 9ȟ*|ebVNO~TP4 sg$`Kփ %/"iBkoo!EIϨ#[!2_%B^_蛓 QIm]/&6KM_ϫixaIcxb} [IT`W DZ\]2VS<*fġot,wk+C\ÒMci@;QzR ~#XcA2h _b̭UcKqrI.oo^(ʗWJS]LE{ֹؕFz2<$/+HhߢUOm9Bft%*M[F=mb6͡:`g ? f* 4lCY-x϶7iDOTԪORqEڶ ^I[+ے [3h̲%+HxnvCk.1|dx˳ ¬ F|dP{8F܁-h}mB^c oa,IWc.Z7KwZz""C,8 CŖ8,@ޫ+k`uP8@߈GEt:&e*NƩizDV"^|_qy0v W' bexS¬O4n=Lm`P]q.kW>#us/]Ä.Ď3(zmzk|Gr=wR![] w.#0W>Zqx9Fv}]>#{8u\z>gk.Z0v#>[܉-V8/w$εf`6[3t=[Jt`t6ge W n ^&B?XY}~#ɪP*k<-=2b42U_Ȓ"?--o}xNa(Κ?nW.A)[-`Mk~+}Ǟ Q\M7F40\ǐ̘"hc_ba,5YVŮNu@X!/,XMBC)q[ʅW u;m5TV"S|,E5z 8L0OsbIBʫ>+E9y{ʦjQLBU gt¶"v>ro<@C›Θ`틕'8JwoZ K4+ _1 6jok">K2Dk=QI k}K ']Y }M1p\ yO'p f8I&Y.#|Sm5N1U |z"?V;J 9 cgNp] :YFVkԲX@CলjD4H_o|Z6fˌʮ:DTd,cNS]f`2`E[¿+L ꬥ _ e %9GA1dT͡ψ^/6x!j6ֿGh @?-j֎su YaIˁCoo3gچ3K w_FFa;jyG@I"v*s`{nUfE=TR({[[:MNW. 6nI My5=N+-6zk!d)>`).F''ۈhl)őzCքj)p3"yZyhmky>== +FN'E)i vӒ;mzro1*!ݐtPޚ lUw5C"M`8Hb{:ږa<.vSd:\X]j&,2ӌ!Y^z]IW8hK2 {E?ˮd#ڵ (^j 22"#p/:.:2A Nvb3nP)!1'ow0اiB]v B?H,z8F p.z\T ^eIJ(L3uVi -(