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  & &2 | ] IOA:threads=6elapsed=7.608cpu=33.796gc=1.508factor=4.447zXZִF! 6f|]ŗXiɟDYK<;>Fb4d~w6nE]4Pt-^G7*W(IpMoa^c7.MG'pݙhfw.2⭐ס!u‘2YY1=5?G6/uӃ/8M@{w&.'">9c7=d Y_Vbm0 B8f`|+6aFĕk=݃*U?2ɜmo!$]Xʲ$^iږ-qK40hWvvxvx<x q':K"xʯO 50&2ݜ(/jzRBmkNM]adߍ@o C-!ڈ^RI&R6{ΔQ"@|ߛ$he!YG@gF5Am*c%H2߀J^}F3r҇pJgTg{EDL >:mեv|l QBokK{OHEWp_.RX‰&'1~Kk껸+N[Ul )#,OΏ!#u cҸE˘H;~ 6.bRECMī J,P%ZH٥>f[!-Mң\GGQ#JwL@(m,g5yvn!g&eHxpI[>­a \!]k #FJB6 !(U(\G/ı'(ne;L 4b BE Hcmi*㖇  IOA  ;p*gԡEg*ȡ ]Xo^{oWK]ǏEJ5hֶYf#"VeuAZsaNBn#$`xG ǽ)0xn^̈́W >X %tkqWː1iybgIʜb2O7pj LehT2챞SʼȢ foOc6(+q7g54R!BĽ$(?yBtͫa.TZ6.`g:X]GO:i"CA: /e(=º{IBA T> sN;sU~8&A09֗=e8[m>+*Bl %-SQA!K y+Z@E]QPcr31q8}teKn!y珣b׀:O]#Tő1br֑Resmq&ޙ2y(6ymbˇHKBkw3&Xߦ˶Y ~Z6s(*4۔F7d8e(7#J*Vg>;zS&D ReB&O4pJN&vRST5ln6ts\lJD$t8Sh[*'F燫r #r @-/_4_=9QRiM:]ZB]I7x9m0gB~SF;P .wBIWID2oƶc t TbeZj!- _k&Y,YH*7h78HGYLB|NO7G Baù (u; .6df ].׾ TJon\Yₓ< iR1̡r֘-b ڭ O'vqIy8E"Sz"?/m}aո]--:GQE0,=5:ޤt0?X;_)2S%  g붇C;Эgf04Ft<<@% GN&W #WF :WÒ\й5!_p>Zg/W w*\F=b7omjy`>uEmɫP^ϛjƱ=ztA8N^.1*s3SL32(C[LTXft#GNJ`+ }c*soj77ye˻ٯ;'VgV~<="mw6P|r1t\^Ooph_^'jkX\dA2߾ ތMA6\p܋RdUu:eH{w;!NYF)EϺGE;[W:}A=`@`gP%B zAhu;cnߦ3nb#'"$6'?mO)(/~}'ȸ2}2/K%Ki&|ӾQ/, 1aa),#x%"{o"%/tn6ɚYP >rqVMeUg2(M!j ƙrLo\f5`3_ErX>5jG.nD haDfʍaLMXGހSR*.#R8Ny2 kC ^fRŗE $f,bc-2!QdXsYm7xՒb ?˷K$Dr6!lx-]Tgv=Aoq]0}1OoSHƊ"t#߂2moo8 jNI~ʉ0꿺Cߍ:m[9v1X##VhㆎiC%$Xsw94 Eg'/G V=v"O$&S\89BЉ7>zM%u %Z~F~voLfzt{So`Z7F<\^\X̰EAb/ӸVWI%,ZqQ([N/B1σ@WjM<-!3tg29]P mr_n_s$$\'M"!^/I/=ItjўUйHr-:K}=p]#Cs`dK,:oaZ j/e_7>P) TTuh!Lylǁ^UIhd6v/;9$f >%'r8tTv.xtD.HlA FJov%t $Ҷ8iWKFDí=jIJ>-ѽس^\!r`~fnxs4nN͹ReA2IgS'@!MD/5 hiro3Í fVI^&RyO !%VA57_.2=z.L#Z&,0.N YgPX (߹J| 9Q8]TRZ/__ery n]B7ூ:wi ؀kS8Iu.&i1KѥPA0yF6ꀙ@z_#w}ʊԕӅ= d!jY) z w8QC?^,/&[8q<|Iiѣ*lyP@I rk5z1, N4˩z {r`$wض-oƙҔFv(<$S4F$"IjyE$  C<yKZҁg <}J}DwXmm#2"^?s(M 2z#ADdRרQ[YZpwMU?2/&='Z ʏ΅'葻2%(ZNY`:"=)?!n௉d|9CLi:ه5w>Uk5/>C@[wͰ@U0 !˰{dL6a^~/= PK5M;]FhrBZдaS|TO6sv7M.=xW]}c o!1e5X?@-Y:Qg|>]"x߸!TCeX%m1TwE=ACўX,昲4HdLF<2)\< cdT0 e*\i )F}!%u3 lR%T:UdET'E)m Jk$_Rݦϊ3P[LX9e*\(IG(E{1Cݎ5V[nV ~phPۮV髾)K)j?$uC[;a!3b G*f yD{ӷ+k4R {qwe$n0pq#Θ?L1޳cd {^Y|+LGeӈFC_0?#6Z*w]zzIلE'.* 66ꐞohsofП fs)$(r$ty3ˁ?;<BlQU (NsG% ]N / {zi -%m̹jkKV=z$M`~-BG\ȉ/C1@1i@m1m͓-3b]?rZ +5Q'N2 `gH>\GJgɕ='<5B˘.LN">J0dvucC!6Sdj;1P=6Nd㍪BQ,/$TUvzvTuBgga~ Pׅ7 SeuxHNrְpNKfZpzdekk݌$Afn%o tU)M'R-D0:d_|wF0.MtlT4LNn~yzvuE{Ql6H|^~j`wF1hSڢᑰH bt1!꫑@n-AxESEK)U7済~q6q^#5 k {s7ǮwISqSq0pX1B'_VxY4fdz-qS^ffqTЮaK}ތXD $&dn:sۓuuqA|']=}ͮ) }\(ĈE/̻$ax ڰ ][S^-q3!s#1dFw@JN,*K[WR6zE = K62)VbIAMFLBob-wR\ <}2qi$aT M(! /}:ku6h #Caj{ Kg})x(?%$>wUˠ$4b~RPSbkbPp@O:x~ԅg?N ڤ!{$Qt-eKK+8y<$|_5rdrHp:5فԆ|pM縇-hPUA h8Smn+ \.JĠcuB>*9oX^w}82I7VAnw1\5,4>hPM#W UzbGH]8$?$DM;zL8a:|c(~p Y#)[$ItJ]oT(x ܜe+&*5Yls!<3"߼ A1!'> )ϔF93 ȓbsoֱ]1V %Q̔~W 2҃?>'dfp+iPo!=nxKm  :Tg66qұXRX8f@(v7-~.#{2=uSݏjSI!Q{*C8{M`("5;O|w){Kˀ{O:[6G`OZxk\yC7Cd1@eY+.0 A2$LhNQQfҦEF߬利Q [`7cXZ HBߒ!6 *[CYcO0M9NIY'M4.^&ť,ՋUԈʣTs.II<ŋ@ |s\rʾ"-ZCray#gjFP 2zeȹNn4w\`d-KQw<ć"4£=˷na5 d!C0Ҿx vu2m_ئy34N Z:sNssRn~Lc NRn5ΜΩOlҬ!"1&$f(D/tR16 >- g!?-492MmcMr" :L_I |űo (<[w֏̣E(s&O;&ȭzy:E1sK^A)PigqeLdFڗ:>Vw42^:eL4T&pcm]mB;:{S|}DQ:m7 Pμ?7%:X5sw %#!?#,$p92v>BQ@]'Oc j*MgPw~s  ?5eS \=z!緡[|"/Nc@چx閔nŴXΠ?ʖ&i , z?؈| &4Ds@=+{-Y ]yr %sL£zɏ5 >=BVmEq'&o5F#.A4uqb%y>E&?/-I ~BDu^5\\6u-EdyU#0Y [Rv)3X5HZm_j@w2\Ud k+\DK"#LAf7T92-Q+|@iIUS]|2-W$Y~JNyYKrJ^>w5}j҆2 0;=B_5}lĀARR_b9m:1-~@jkLnIlj& gUpwrϲ~<60Z| ^ ڦe08+%oO44v2Z& M#$EpeS'x6<uK!cYE#aHEkڔq'0Y(vYKtJ~kI7D՘ cm.WyO4H\M^ !ٹ_ceo{ 0Й;i"8Nд1ScEۃдP8p_L = ʈ#!C}XO! P8ҷO [ɞڶ1J̴7iEi_3{(M֛I?k"mco78%XMoĢl&R5d@}s o<M_~>5W<^yXlogM)unڪVWJHZBB rB5hӋ"BSRzb~zƑWy:y@[DDՂt1(Bڦp=rXJJ +!K`->f.y*8c8c`|[PFq;YBpok J8v2-aT1Y1>% >q.J('0jYV9rm{_zqxjCYBZeŗ@P|S Ѥm,Tn q@ׯ/r حy҉Ll[Z@ 1ն*H2)QPI"a{=VO|: ̺|g~h:e)_Pwþ,[Behb  o bc,AԼ^<@ne!:exi,.K_(h[d Es@Fv)EiQ阫QR%hࢢRzv_㯚N^ 4Gwb2l|vU*0'AR[a7(;l_0RV*mKۄ!N7.Z-\a ݌Fӓ+ ;e4~毇JeUn qݿmZ:jȢ+)j 9wR1P >",:`<yљ#b/4)jW! /ׇ2\1 -r~IE4Pok_L-$Ȧ|&-BS@ {'qyv.GI{췈$rd1Ğ-=ہS1(,T=>=Tܡ2pI:gw'/J)ΐlC)Am)$͝Bq @*d_Q2RPǻ+jE c(D  ֞;BCӈr$m\FFdw«ԛ_F^[QyHDzSŜ}or]T$d*v@|\!"-LCZB .6E?M KR%ؒGH,}/Bg8=)@VccVB]tvMctL_)ӏx(yR>7@ ѩV/]L6AkaKAX*)W+߂1e-Pd45V VZl#KY)9-PRz3'JxŒ^9iQzF|< C҅z{(<7梾D~u~ę܇ 伶aHoXfC`Rܪ#S\,/GK}0*_Z `T b@սn0RI?3Uci8S VWmlxMl"]!*ƒ'S3ol>ʓ. o!6!< Lr,@)117^Ƌ ƻJyLJ|2Sr$%- e͒rz6GRwzg#hPQwQml*j H8 s)rRf Bbnm0XWbl]L"z:BqyzV76T bfLOns Ҟf#[7W^#n2R6.Ͷ[3SYz}~>C~,sF${XWh!XẸ3:ōSbL<`dt \f ؾTYLN]e%epUr~B,*ƀS?܃ Ξ6߭%A̓AоWo(x,G"!nVHcgUፃC5?yxXQ` *#K&`b.)d7b̶۟Ut|-ɟ#ή9"9b2=bRºnȆNHKNA7䊨{F%I.%9|~g;@zYy`Qa'@ةj^'~]ƒDj69׋0FvSx,ܩKW &>In-]_XA|kd@P`-zsQ]OUOmZ_o? L7 SQ2)2FM ="c|-YViN Ʋ x֑l|xc|)HE __*S56(ivMW"7݈o%ST.X"PODֿMVzOZ/.S(H_%.OԶQYqܵ^ڄ]3^'}5?>i咭n#V"{خv?iS~]*wԄL…%sPWJښ(\X4DTw 5(9OZʭhڼR$$8ˆ NUؗ+X ġ5ֶW`ɷ9ĽaHǑڠaxk# aQ hFC^]uDL`a ܍N RF?+'.#.,73q]s l!GIoυcqʈjwƼJTyl·td+}2 kCڲEB؞"@*ۯ<] I^_,*і]i~OB'^>& sA V5/#sUWiV1\`o&,?F9a6 Ԑ@ܬ[5p{bDK>ԣ[A97ڨk_z&TTʳI"hD[sk{4x` ,1s],*GH1H=I)T/5h;O*7WM%\H2󱢄7ᐷ f!Us}o$R}6׌]䩺T"p=ؑA!4c6ӂ /*Ԇ ;8bsl>WMgDOd"_:O%V )~!(bJtvDYW5l'=p"corhɋ2N}2@jD(w6_Zn.vOSw 'vBEdc4Bj,(1'-CK7K"L;\8> yߧ=#_%UqV,?-|GQh$ Tas$mL0N0Η~sI}*; qFJ0~*Y9k kTLVx=,EЬ3vؐy?C0GFJDl1Cz9gPvO14fb#@1*B3Ё0kf,Yab5pv z*{Sϧ JeE%\ ,\! IOfBŻ&V̀?rWvMcѭb9~(H VV-*ǂۇl71"5e' v;> "-ig]Lr(_̴./a/8<K`/U3t5I(E½ӊcE>[ݨp0gTA \RAR2&9A_oYր16ZE>HL@ވiqQM9,ԡRᤚ(PgL7b"v8,>q2cj~@%':5[a합C>rm*Ȫ6'_?`;\tw?' !1g-wt(#v3tZ#1JgJ(nQxV2nO**̜p.=?Z$24wg ۍqŞUWe3(u$xc,iVgwVA` Q2K: Y B`P/f7j7}աU cA}a:.ru)~rM\Th>BW&$Ʌ ^n!!b'bVG jD8hO|v_73pE[g=77"{Oj%_!E{zbDOJNcbX_$5v =)-AZU5}p^/5R$[ז[^ńNV K=" AoTF6FL>V]+G9UtAzAn,&o~ %Ci kӻ;Qq@J% S:l9n0bp)rj٪,KF17<=y2Mmϐh"9C$_l{}I0Z BBoiVan҈*;&|hוNn0TnCy7?nتx7Jmh^Z 8aJ?,Tj'K 9tgGI7Shk>oۄa(d$h_1ϡFId%Ţ"cw@§@xK+ Fͽ =7&Fe|.ۊnw]فputlm3ZFWÚjsxh8nlT-_ ZIo+2cG_8y@{uXQ] /#GT%E]b81)3dDp#Z<]gl߈G0tyฃL=t0:z:.hvuI@;wOt~+5S՜",- x3Z~-+TZ^_ T<:ĚME\T&x,NZ1c[`a" ˅3NbK̋cQQYt8zOD#: Ɍp{|gSEb5l]A5o\Fp2g(S%@4N43) C[&HpJ"T1uƸ6}Fg%;(H@BdXm'<O=#]'P lFUB?r/:zS}2 Wɾڠ|%A"\d/l:eMȿqNeMrK_u۽a{V[Ĕt&qW.5'[)HYO?R\~ՁZ[IOzTD!&hpkDJ~ ke##G =mlT-Oj!ޤ0ՍOCsV+ә saGnZuܭc$~ׅ Z>QЁK9յ (`9Y:Zp8PoO1nU;ãPhW휗=>~`܄U]-FOh0났,L(8z![PL:sk$í-d*9f *@[(|Z߱Y!X4o*>H!80W_ѱɀs00lX4Ai-d G뮻"gApkNUUv)R16vZG{+9Е]-!-%6V;J_S]?1J2C+kS`Zȥc*u`=|oHnN"(+҈x=2+w`i`?>dB%׍BV0AʀD9iT16$+%m&o; &<ZG]"k)55/ Kc* }:&kɜ5fHB`WGU#Bn1q,c2WԿI['ō+z{pry>B2o΂v Da~ݬ`OAP(0G.2*4Ġ(qoF ;=C|E Z,H'6]/;a-gtT\pf5Ϯ+㾪#̶Q/mҍ̗S:T}.lH)|i gZmhpP;XjWz#0dY5MSAp̅[FݛZ÷<Ӂf]BDڔqUuY1߉y J qIY1?/P(~too] sCϛtto+~mS}~ mNerkv>eZ7w[E?nx70shMEb5Y8#g7k%jQz{.i[I1v6TŮ,.rf5x:~qi@ƒ!8tk"Te22{\V"6ǣ @Hep J _n1ٔ$~[tҨЧG+XD?/H }X XߕV廉'&zWS+SRzXQ6 $Lupv%>(Iƾ5nG >x(":;cgSf6@͟ N;@?_Vu e,">`+]~|}ԑ:H%]&5A786 &[=ێ4B&]7Pږ5N:EFBg.FtiG +fh>JZcVx5eHXI\nqq.XVzDn,Ĝ%96f.L5x+}tg ďeBQ]β!EQ\Ω7* [oMA΂l;E%Rȸ=/Ć;o\S0E9`o])vfdU';G x [h& rYGA+/qV82)>+[7 mcxL]ҞtEzSѸoل~ABԳZ^+~;ðVLM*xnczӷ.*J ]1v|W׿Q=.$Bt<&2C&+z>ԚC&u rޥX:OI#7oY:MfWϱh#9^EQFļҳ(Y5\xX˻Nb ]e{Rczd?ד*Gw\Iy@fJ#ɜ)N[͠uv #"1͂NN1WE*U٥)>p6b6t C'<#S2 PavAS*fҳʔkTO!78gԚ#Oo_ks\u-\ʵOCndh:~yu5 x]@n#HS--A+D4Wֿ̚@זWMl)trUfg1䠝ԦM^jmO bpJ0v/Ft7\ =(OS%V Tq-rCJ )q9"Udo2QĖlA\=1N_* ǼJ7W<蝈*XF e3,}A,=jg?'v4᲻ՍHPCq7 )<>Yy4ZR>sZwτ{7킔t@sث*UԖn+ ۶΂lpXk'.CV ECS XǜgRߧ?+K/4 0V/-@Zq W/|.ܖ<9uY|z8 Z ۆt/@¾$7dןJ5X|0)w^dF07KWK1s]ye_ED#SC+<.&n^PpVM 7~͵ O D弲;;Q TjxkaKqSCMP%k $έf3gr;Yd_!4O0g]"0OzdPMTdÁ..E){3 /Moh\_LrX5ж$5jCXuI#U$1EsWc魀zC<2OzJ NC3f 4}!kEޜGYt:Ī(˽s '?C9X&S{W,&n9O?k T[B/K6qDZf+0E\ $cå=?Lyy.\v)AC<`/gYSA#b?9kr/"!gcÁ-[jBct!G+[Լ~=~Zb)Fhp4Ao0{|cۈl-ǖ Z ;^m~ o7d]H.X%ǷIAޠ=~Q07 o$]r="MT8,>7-h)a G!Ru}%Z7"<Mt$Z峻2 S>h;0^ ayuI{01Q1"#Y%~ ` gO"sf3m[ dH唨Lf2ϲس?j>:>*] "JkyqJq8u/UiEmX9?"QwlT_JXa-ʹu!EaB-,Fv33 x]:V DŽm]r1}IK2~ r%g.0 EJ0׼ v*|aYfkYM"[_oQmBr'g4xH4š* H=YƝͦEڟևMᄚZHјƿLo!rСlOuOT7%Jl=xds?3rz3d6Gsl},:ީ/c:i_-D:~d^SHƠcK<f}:( M⫫ڡ3X$YP?@<aCg21qcp,l7Ƽqh8es(@jWĭ $0n#/X׉my #yN%: 1uI_jEa8˒l3ƍy D~@5̃ -[m#P KCe%-]j6kHn&oZ¬g')Bz2MN? 1Xvm4-/\ėПSK)|. ^Ld"7S8}#9Y\ArӖ[o>s\nW 8-wzJN &$&Hz fP'hbxv<͆`J-F='3n' ϡpUo9(a8K~)%5-/wc"/BSZ9?Lej-o {x7=ԃk« E'F,Q|n{fİT) W _@ϞWt4x7pn,}x%܅=Iݛ T`~Os{|1sN98ej=|gԇ_ה=Jy)#؍{gs^,3;2yƅQ}dcRǙocuM3\B:GmKvp=+ɶs 5w*įLH١=$$t1O#+RT0
U~[瞠5&ԞS>0~hŰP~Y$9䪹pz|= Kj{P?ϳ{G/~|VU 9Bk@VYx`lkI3t\cإ/N#~;DG7(? .?ӿk|Y3d)o{Çh.q2V8كLB>Ⱦufxci@|zvGNbg/KO?W!>WS͢ _> fMdCs@՘Q7rp4*1W}wP?R& &7QBڧAc7yP[".#.ZCY=i*nsHya\0{ahJ2=Ϫ(^4?9݄DJd 6#WnX̲Чxd_&oo I%p%6'WR oy$:Iwї?iv D`ȩspK|P.e!0gzvvྃ$0ZGIW았d ?DH@nj^A ЄQEJS ,N7_; "-L1QӢokÊC2ש(Wp^@-Ty5)̇ejt dHߟzE3"NMPtIZ?^5햞"-d$uB >L3U{֎wq#?]!pHKir w&-P *B{k{5NdydF"&וUwQ!̓a* )h#6FX%e7hsf5%at15仴z]iYw ~AM{ B^N3-D=?,{zm8&Ev$uO<4 "ܜL>e=G.Puvl['8䟳q0k 6k`vGwqB{[@<;x_S9ttdqJ .iK Zy&ڇ0C,/c7[M궸_/z(9᥸w|I[xȁw Pwf`Xr1 oElFt9Et&mJL8BaWe!acN:GjGok'EM𫤌$(xՀAJPbQvp3qTne:m4cQ'ݤ$jd4BЊp j{<'Dҵ:ӸXyZ(!Q$9fk9yͲtk9"&QwGli=xuvv04ٱIN AןkA*e00=XWB_o6E8ƋTvkοx"w+)< ^T,\!,W%\2{5嗺c &a,p1HIِ.m,%+Mpc>i8\)v?v%62} ЂdV d?, 3NkJq(<*W +oY"Xzp1g,cK`Ra{OMO]XcbP<.eJNBkJn&h١SW{;!vhd߳Xc;p1 nUҒi%ta =+wAP-3Nlȣڕ30 ZY]TQpYaWE f7@?>ゲe[ځg @<18t%o \B>;!ӗQ&d ]ؘK < (e "O)㕗d%%xhy¦6l+`,1JΚu^rZ/~_ ltn,]XElJ۝ [G70ZO@Hsih`X3tRԓ9r}Kk_3#R%ayzIKlIGʛ{Ef0*tddީS2=d&doFEhE⏱m/>hM=2i*.Ԏ6_]-c ,š/+,o+B*n0b\q.t+SfN"*htd+1^|ӽ-^*Vl܆EՐ/S7 IcnYXQsy :㫱iWI$)9<3Iw)Y-ϗ΍8+9`9J{3CO4W;=K0 'F,'ąp frE:RPiR"#"2 zr+lօNc#nyFwdXv@*qtK[M'F-\ `A~&Kbj[ihʁu6O#$,a`r4}:8v Q ^'qY1r vUy:@ @8bq%A4KP"l Uj|,U`dc ^81'x"̳5 )`(}mݓ/F+Z]hyUz=}28)|UYu~־dot&bl0^'>NocElO A)rqJN>KM]zvOU]*33w޿W &z5GYu*Tb"T&G\X>AkT[&@E y˻Zjkl\?v@Q2U^-\a(~ @H}=4 _(0CͿ/ $G%86]!-G`% > PYo=];%y$ e.ٜ by=rkVw x' D ^WRRYEK2'.?z͉(_ǰ1C{MQ6Sx@v C}&*hWJO@ ǰZ? oNlҮ#4u5D$d x{9?ϛ2%T;vOplѢFE U%q;Z/= sX?={"yw-=AjGL k$$n -3{ BEyUpٕbKdyc90dBM)GY0"Wl6.b&$DFeϓk_pU'ܑr.?wV.Zf)"pO;J\W]jo'nmeU9<H#rY~*ffm;; [Wvٷ_~{RsgYZ7zXZִF! `u]ŗXiɟdN'LvH۹մQ2Ǫg 7pλ'Xhy2ҀMԭW몑azi]rsk쁽ƭ^<*B>Q)Y;F(HFƍoEr9zMm@RZo^A2fNslo {qc!j`n⻿ǟKξLH CF=7ߺ]@ ٸ{Lj*ux\5A+-.P$>#%"AbXA^R3 Ae}8A@ v]EN Y[#H->}|i|yM6:jNy j҂ڿTYљ_$mp[e& `ț1gYZ7zXZִF! ,z]ŗXi%L!w]s@ /n4 25|pߟm{,B+V4+_-j;%:Qxۦ>rr (fjvKyV~Soye:kNf|;} +O3MxY_:G۹l_?r.LF/I>}\pˤ轶_ͺ =CO"5NcuQUc*(DR#m&RjvѢ b+7 !Ӄ޸wU%#Әҳdk-p cJ䴛c.+iء,7`׍OfUAqy{)bvׯplf6}*bX5*mReCK@6m9Ij|JS@Ӡ _:9Vtm-F=rܼsC@FR =;gO4ANG.{Piz|췁1xc&V2RJ)6`–K52QjX^I.EI m1<ŻbpB@'61Cliڪz qcO)M KHn~u&'9pL0>'Bhgl23#tْϞa\*0YSC)ڼHku!|c"SCf6ilX<=!5ܶųd,^[g -KyHZviv_sRzEE=~ѣ]"{-|h 3DΒm5viWYդ9(Yh0ޏY {+pҸ#ezRVއNe{ك ʔ6ʼxNWN[vee/ke_8+5~>x)5ڸl4zBAY޾CN'_҅ R&nh%)*