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 88 t4 ]/ OpSets:threads=4elapsed=15.730cpu=53.260gc=1.4807zXZִF! }ÂH]ŗXiɟd)&]ThR}jsnX@5 3!ZjD/ö92a%s|e*L*=q( [ɥx4C)ruw(kNiį{wmPʽYo<;"t]}6'L6QihB}4j|s= 9}엲Uy(&Ɩc Bb DMU[~QNkRi "ĀtVf'Ϭ+Pa#u,ڞCFXcd#6OR!iAӆx%}W .LiJzO^R}s^- [0ʑ=ןt4aԷ%̎qk/{ʼ*"kr"ة*ʪAi5%LppliH`UMk'}FkbAZ疌ZLA#y1,ڢ02)B;&M2DvC3 4ve9!fZL nGČ.nT~3&<=: XdVˡM1R=mj!'>Jxd8|pXy |Lqú0d [H,uDj23]bѵn:ldsaĬ B \M!N^HLگޜDz'c.@  {/; *N<"زTGsq3컞"D"ćɻ-\3POQ"+cR.Ύᛤ*yb=-unѢm\Sqƙx@g8Va2>[Tz(zbkI]) k5Ch]H~05sw'1ެ}G(<2\iJ [ZB9unH n;霻Şn4jz-| i@,wx1d0KX#JUfv1!F:\}WMT&ЖŲmlu9+?fQxDCs+׷gJ{JqYT1JEx\[{6=Q?oQE\z-,ЄO/>gs'9MzDEBu3# |er;L  ï~_rY;RхS|iqAAtW-n+Br/{}6`3q^FLຝkE*'٤]^q##Ԭ#z&{b$TT3zUD2jbI_rqhCmZ*[/n&^ i1fդ7AQshKpCI/,k0,JS7A;g0:xNK^{.^ϐ{yq78l-$Z=a>=oM*jj8Lt#|ѯgMԊbjV)G;!7P?tJĈCzDc|}^lI iP 9Ō-KХ ʘ,\kpx0̺A:cU[xeq[h خnjL, SV1҂(P$Izh} |i+ :e=20NN뜴F_/^e|pLq? }hPVc[Ȋ tęnN QxҪ<"SϙG냒ꓬɃUEuhK]JN12]b VT$c1vAPt+M!jnk2VA䂴?&VQ.by=Ԛzg6rDRjUgb, aMfzic}j }Nk-YʛN!ATg[7Ά&'u~5J6E:F8zOyRbX(2(C~ e V "84<`w;ܨU(-z&)sSy0糽 UF"=2Kr/c sOtNd\BpPjr5&j3wy?V pI+`.^-ͫ^"|ff}E sv63t e~Ad6Lgc& DE9kl n,d'@LZT莻k?k׍*z+fW~02;n XR}Yb_Z/Y @įS}8n!ލ[te&#/n3 r^Syv6iH19̩qu & 9O!p =K<&;stuwqj!O,P6LGã'   T I7f˗)$3Ny"yTPu"7uc8#g Vс@UWꌈ\4 q)l j@rg)phI@*o;Bn$&u'dsbb(Jx]f21 z>AG'dW5ȷ휅2۴HB /91T7 +U GG ]sb-g _tnV6!FkC nʮ8[̵v ZzQBFO& O2.@XDq+i֪ZS[*&Xڴes:})ݻrEpFz ^,2XEM&$uS='K 솽DZoCbkQ<8:'.A%Prw(*Z݉iW?i.= = I. .wk(];M)?\Sp_HX#TsoNu?Wصf\i3@X"h~{: !-)E7CkqL?8X 0%{w"K>4αBVwO&lךxk_[z1괾.,D\9Ati-t $y>xN. \ڤy''lorEGCOS Bc顅AZ'?#O!1klTRغ's̯H zžt&mOCcZ$]BdD:bp>EeRGC814~P+F ً^ D9ߍ@g#6Px'R`һR3R@,xB հ?gKugʃ 2|ϥ"= |u![DS]$΄|Gd :pOA;%U1%Թ#Jj՞<} 8yPʲSZqtT/Hs[3S>z,^qzD 5@*gDPwiގ2ٓ o{07k2 b`ڨ8d?Nn]34+l_ٱ:9 -Ț Xlx; Wzg68&p+NTwɑ\[rJrhSKn9+=NA9v o6Η—~5^T5 ;@!mA7iHoH$ rVjE 9:22[ uedrdܟK ,F2QT[E^y'\; =)L7Ydgg1J"-R/"r;o׺$CE 95иQOGc8_") mM[>QFe&]ea4$ƸR՞iFV;  QGiRu):"m$z6QR;Ht ;6V/x9 ـ(a$62L-8ͬkh_k</vq8oL8w@5m~ߞP Y}y [k|!g"Th)0>\xpA7u *USKLϸX]jbا{ LZ~N Ĉ\(4y?Av-tgQ LvOy ΃ᕶm&B'i._¥ڜ^z6?%}XL)}ݞVXZlp)b:\%~Xlc*jʫX)?y..+ADWjA3 E FOXBЫE{t e`$2]cQ.('AJȀ!/>jS%WsGJ%6 QzJWΊe|/ՁmD^"{?7™i0& ezou_\X嚄T'\\1\ڧXrx3 1yebc<`ofaF(gK]O<8gg W#{!aÕm#w L;>qVObsIª$J15h 'a<Ӹ> L3HPDec A@L!SO囤pea}Ʋ6eq@_^uKn^Iʹ[7)7 5RfhZA.,HYќ0Q%v??Aָ L3SϰŒ?s _zLa;,AJ_\3V׫t#Sr 6FZJ34x-CpQ2S =}%iR (=B_Zj[Zs17_5f=,<[[aѣB/9q+F%uCjaZVRlA x =PF1g1s^\LVyvPg:By|q tj%8L-OQvrzhƮzGgr.a7)^p7dæ8;kiQ/m<^9d1a~ Gb²h\gwԬͬ5QW㶁i@=ZU{/I(Cw۪6(R0! !Kvs68 HUE㵷  )h%"ӷdHQm+fM7, sq.gUb,jG0?h~IjxCC*vLs5MK9?M<3?ﲺ:"'h4Ѽ88йb.+|-veH )X63(œyUkگ:{._A0a4&?JG\^MШ]JOq[KM@VSw쪋PotOK(zbf}Opǻ Q"0R܏^h.WIvJJg71ނ,ZǺc!Zệr &ݘ]-b0{RN:OF",>>[&Rü&,"Ϊox`\n#DhڶG=E#v+Ϟia?Ȝc( E*,譗9 ^%:rSoQH* ,tL A1)o+$ꓓ~!fs[J%8#q1sF@qǦ3Pۥ:LqIpհjm Ho`Uɦ]u)FWBl(Y`[ \9:VtK27OhYֱ^#d x7qN~&epT$_@;TOO-cS?:;ϒE\u!>uOS#MS 5@Otj']/bцh_KYXL-ܢp||$I_X0G,~©;<^.L9zNGv$jXkkcxtp 6_= b8GE/v(2.#n<\Ծ՚̬HCKڛ9sԻG) H9rxJ@c-\T=itVZۄL[i/nc sʹß'c{-@_H4XgQ6 0}M !>~Il{Pudbg c[ 3XYH#Wx]zjC޲@ o C~([bEg|Q1Dj}y-'^麡VrRJtBrK(X,XNnI/Yo4.5N_b+OVn<|,:fQm, ~ gc0RP%@v^nSZ[J#b ,s)O`60"zRE8#9{bMpi(HOyFDGW!A!;p}y)z6uAA[l#ÔZ O\e#=^B+'RL!oP_2븆hV-=C,r_7 u9;6VHtd^V%ȑ1M/uXWkFu1Ž2orOJJRdֈdAs:?O=$78\Q `H{Vgh dF$6؆f"*0y  \_D+ߌmIIY%Fg@BOSi(:8&r,o3+飮ɛ|nE]JA; 3qC1Չ{ qu33ޭ2AYZ-*}xC`?<6 i%6 ٶ]wlNIgM\8$fS@HxYV#nUc7iwԠ-{e>Uպb7B[G=GoЂTCG*BNcH ȑ)o_N5{;LWW\{"i>lJ;/fZ4a\oRp86OKipNT⏺.^vfw(8Nmx>0. &n :vwھ5|iȐ%]X{Si@xA&FE=4konڷ]lmHz Dl.Y$!u; ;ŏGܳ]N"M|G UO_Ao}Yt Oz>T{u-Xk|i_,k+ODٝT[ @k]RmhٕeҺc_-ᛚgtC#{=w#S_>w빷儊wK xm!L{7>KG~htNx ᜈ~trTI^eζ s La^U,bP?u oq \d.8r⣶;+K 1@CXҨ,=e}\qk2ë8Xv$^D(#Gu蛌8=e>'jz @hLvYl^_ee05.˫{DHHa#ME+Ru{{|}O]m[Ws,O;Vl4,tU[$"{q)a"?nipY5#@Ӣ=pԀa\Wq+X@|@ "4TdK)>הfX1!zւ \ҽÎN!sH`oˋ%0A|'l_J‡ #Jn~Ek_Y0_*5Uf Őlŋ8絑,,]H=s0BuR5VPe$I WL:j:,|CjJ~.9aL ZU.>UK. ȣi^MbLGhnҤ=y HhO-mДx:u_OYWfRr9sp F#s>҇M[c#wdHssܗ@[=Af˝/Cz;VW|+,ҋ>MKj )K |Š:zE]fItv.:`%з9ŽeRx-pr-#.O YK"{m==HXmaӣ#5bv~d[εׁX=Nfyh3=´F.S@N`\+Pq(yDl°vI~@g ;]m|5ʼU bT*y3; ֛I?qBFSpn~$ tw84,8Qb[ptr02-ȏ-JޏsH+pI}JkͤB-ov@Ui2<1`5(Vx~+0 1^'1a*=%5[X9Ouj }jJK?7_q`?tV] {|+c0 .`3Hҵ+>AgӉ@B#hʓޝ{Kc 4[PHFҵre㵷 J,h4UT7L1Du84+G)j!?H69$UtLRP%_F`Pb ՕP/^n=;_۪[iǎۄ;+;en~Jt D@},ۖ@*02ֆqKۉnX9F̏} `*]Jɴ+k=(7]oV ;OXAqĒK.Nk4*8tjMRaiJ &03h{A> y74eSGe56NjBYݕpɛG)Cӳr<rqvhY8#zn ٣uk;MuvjLgKa`XqK-&2-y,-9zpl{:xtK#"R dKo5E96D 9m7՗h^=Qn8PDԷIz0/LgEڟ]WWs&/r%qn@Ŧy 7`a]\y4֯S 92PcI9E~4a093Q$d$+L>E 1A-v|!t+#4ÙkcyU>:|l3 &aPm&@ѫNQOW*׽dWGFR@{c=CARuR,mԬQoFGCc[pjB ėj1dÆJup|p+GNy$kT * _s" g<<Η9P[IO?x_zq6@y$ZʏU@y.}l{eBU`ͺ@[L_Ll|}#K `Vv:9DAV+JF2pFduH80 \GEplL)-bmjC2t^g W/tul_ ac5 :#W9grqW JI5<^fXcs= dwtTYizWí:zEoE1fwr>@ǘrϓ =Q/wgM=.,1Q, { Fdd#ܳrːk@?dGgNvi{{HFqmml^#+9=lnOa}&~HXr8(!(*eI_8Lr$,0± p"-`bpB Kآ*)@lqq/9l #R܀撎kP$PĄn(RCX>:{-g^ {7 nBQX0[P#(h UI/up|}5LQ ܒ.#uTJ)/Iv`Zh'^O,XsD ¾ tx`p^4- `z'3S'TIKlװdeEgh1J {F @% ea GUNFm7Jӆ"xO߮,85u^X6۬)SyH+l"Y5&183bjdmw:E)4Ջ%^}]zOߌ܋%,h !rMQɅB攇Ds"7Mj@l:ZꙛCm`˸~xNmWKY* -%f7"nTWեh (*If'dx8/;֩!v]9ۦh gnxdT ez}ObGdr7MUִ 2µJyJUq!5;'A#9I&v0 9]rҐkd9Q\C<5j}a}sM,Lԯ6 l\.EVwK.!jg_R?[ L0s|=CJ0߾fLjs1PnƱ(^! Ecĺ[JB=d@FZ@b3LҥCS 8Xw C\솅?6:8SlG<&H+p=sSboт.lԎ4Bبb>qf;(@3l"U@c⛱Lt|=L}w: ^&~}se< ;/1?`8anҮHȤZUkUCp$Mp\ys­no^Š ko[ S P˥i6HfL0.klFvKk-[udG;W/]Jhhw Obvm]mr^ǁVu=k[a 7 &"a%qvp'vS'Ğc6wc'|1~< T} {]89r[ y:Ξ[yVp@@gۘw%.b^nfQ9ܔ24|jVc%jI/tS | ҫbQ<%$@"ҕS׭^Jݗ`X`YPe6{獾PrO5=;iR`6[ JS}֘yK|v+K.-HČ' wn?E@g<-ɭvne^-ɧoQ fʽ50TE!g(.ۏff2"ns /Ri$e6z(%DC#] tWəH dΎ줾rm2g?vc{Xm9*\Tdb䞤}Z(IbEǻmҋ~/upy؝T0jx$xocZo|S_hwuI=Zd'[E9ԥ K^Œ!T\,*:[~ﲏHng's "qIh;XHbꄃ]Wl`6 ,wG~|S=B[ޢ:,mq.+GMtzJu"MJl @KXVHUam/\4ɱ=Iz{_Gr\s(sE iSqǠޏtHT&չ3h]V0Oq-O|w|<0N8[`2xƏWu "2ʲri!qgXkiY.($媯F3 qֿ;}gl|a2M-F(xj'˳q~=ʻ6GUS&ll )#PnڴgF61fX)uYqۢx7#99|/:*@Fc  sGx~U<إꄿu,WR`~ՋTu_8$TCr“&x(߸[r,HaTvPuawP[RژB|v$nB$n@43A<}OvV.˄5pt=46$cM~_‹'j51E*L%&ڳcTdMtUcgP0/QO߿0aJO||Ge,ڷOc58K`k(7^0]W3vW dk?G1cDiTJõWL,~]D0RČwKE6\f&M$پ͕#E\8%4?@7v@nlDEB^,W7ɾu=Nr4-}_CCd-t1" 4{kLOջ6f{%wy{yGs%T{kh]#^xo遬P%b*Y@edz6N<)w‰onTvW蜈!Ga*>a+,Y;~봸|Qvq?P]'nSnԉI90oopF6V߰H"UBJJQ8IKD?ϴ63.C14=̏V’1ju0^\zch\*=n3z¤H3.oJPKt#7Zx3\a]༟WhΕ\Ms9?؟#X?⡜j}?l[`m@ʲ_}G/s 5?f寉ẻ?^'iW.+Pn㲅 ewsm{IH&^VS)h<,aYє '?ocNtZ 3v{~8AUN1`.މ=Ko4jr z%P ΡAMti yv%uW:ӿ6/:5wØ:SC|+#4bBrc5S4+[֘6BF?$S5QE޾5=헢b#Pp NGzpdhe":sS={ok ʍ3hSQ8 $ jmeGH6-86`pO)Y`w* sV*Z/Bw26~R퉍`=NimBe,?E=mu,jXTii=1l"ɤ: USڝ8~b3 M u?LmN?,D]?Tɦ82'0f beT<"q)1+##u%t8,r2eUvx;>u.Ȝ BE51[cՉDuY@YY8;BF6{tKOK5ܪbA)uM+ډѶ1᳝`0O=\iTYu00VFjI2FSv;T D`"u޿,EBQ'ö[ul = K;L*:#͐ʀ|m 1o#<~<ןJo)"1ѢRȠ :i )4a^:KeP.&JhȊ&ѶO f}u[46k2dBhZV~Rdo $ |P&y&ON*A QITYb^21B t C)m1g?,_´v>]x+#_s1=t{z+w*C?q|ȳu J"i#S>~9Xa;ssaj׊k { fk3|!޳eYx!&~%%U މ+oæJ{VS[j^)sb4z6[w#l.4 ik{Ӣ0#>g UOz^g=\#Bb+ #2tp5|PncWQVȞ}Ά+),n1J;bHnJLM#4Et$ISNNDń@/&9d5n>?;WK X:!cn? Ac#hw0KkÍԓR&^*v{vCneB˰X9鲌? 3O,Crx"zv_,dY/gŢ !63Q}4Wfquv=\8T爗YnHȦIgL/3~w e%*C'ͨd"b|Q A:MHz$}6Y\7ZJ]u,u VidOpG@[QWE)IܶH`ҳGܿyOs`p>X  BI4FC߿(j7Y&@-?\?BZ$D54|)° fvRAXKd[O5s-VP<+P>H1⏁A(BP Y{rlU$@lB:ȠuEjy2J[yEjbKYnw?4ҍ+ 0cnw8{$pAC&hx}Zr59 M]SLʐQB<9 ~&֪rHlo+dr3:G ?j\b9@9L U`z˵= Qg*cTe\Zmy3|H>srLgޢGNP^™j]Zs0!KV!V*=u `@')@W4kV`dܭuKLjeܯglNՠq43o5n ED^f JV Q'V2):#ϰ.C)Zh Lu1A*Ԇs\&bR[<[cYӏIwvkUs⭵7ß<aT"ER^^9yi[shAܧb(3%?b:7d ϮAgojBl4 (V; =W>iC[h($lb: mcx܂H`0"_3~ܣ񻵰4խ"%/) ]68̸5XŊbvl!$/AXP,E0aH l*OP~jgѤQ2WN^߮CLpAY U?."EeƨTd? tmN(1r|s%D%0ws]LLV_+(&X,)nwU& _J3cRlQcUʣY(lqXUQѼӹ.NͲf?c! ']IJȷ WaZDt)[9Mv=WVm+HN|}JRją;ƟEX<;D<Ԏv m hYn'.vħkUBSBJRf1JkcwuU[``խ+M 0`t.3nqq$::E VIGLXTV)#AjGBO6-<Q:O=z}!e^>9z+Paub{R|p)m4jBuo{ChP(zH ;&TvDea Գ, Az='?)w"$rDA9#8WJ P s 'ErI=ȩe@?03`NYC+*مK:T'֘!j ͖|nl2-aM+ }<:%̳8'av)Jn.Jw [pcoRvED^k2 *pZF}/3}s=\?ju#,t* 0e: Rt"#UHKV2,KչliK\kEP{U 5CxOuDJ2;?drybUU HLg:>UnIR _鹙wuwQ!CM_8sRqlw] tfɎm'5<6+I Sv-=mEGkiRoߨLfr~ʤumu)ڦifo,pƓd޵;+UHg p*Xͣ hU#$nwշ#6?-[UܤӓM`;p_uC*=vPJ:ҲYѷ֌*2CQeP#Y8ㄞy$d4Pvlwu] <:[ΈCSK$gYdp Iw Yq^K %H+H[ ee6Hxx D!$B쳉%~<ܧ`'дq %,wfN9Y_k#v.ˢJcsUUf@ *ޒ-"/4aKuU2@3V1mP]ؓЀ&o%Cny64_FyXcH~-4;׮ 49W[tc*rkM&1"B"{"c-zy#};\ =&kIrIZcHIwzGl aݼJ!@Եw<T=cvD_[EbI|t29ND`rihY+U2tS}ӃÚ :J0s%`-x`~wR`mnĿ4T2 2ԚmZX<Or3fSb:!FBPWz&>NBOLOש?b;ƋNݶt󱝣J fhv{ԘȈW0r{~㿍IN7rߢ] R0[y'՝,EYδ1*8/Tە v>v#Y[ ՄcuǰmH$< ;jJ~ +2!^MV2ܹHjMQ>2Io;ig!'S1bd-Q+9,P>u_Sos"rTvqfP;8UW2y&W,L  %!ݽMȟr@DKRϔ&VdQu X)b^@qf0{$.QCtS{ ` w[@^TAŅ`PvjL'2yCC앢ˠ}Ӟ,ʠg`Ki~;#5Wrܫ0PlΪ̣B;=^]qROt?R7{YVaXt0[(}Q>Q *ԍm[{zJ6`qA{Y.0gGNVYi:i!IAW>۟3`c娽绳K^G$5 V`&]ݵQhʐn%[{ wB8:`˜M-=2o2EA.G\;/~PrP;vpOz7 `cVg<:<' ߢj@L'c­zw"1>ѠۧhEӐsf0?c0%Nus\[ort~=G3؄.ZEW Ȓ֊)N_Ge䔛GD@;Gw!`f/Hlu' .FIzG,vQ;oKe2(}Kr8xCSJ&8ؕMBEG[.In%T4 Ty1%m:D"sT1{cp}ˮt6"S4ϻ4ܐ6/ nL<-'{9S&bzyR4Sp$ȟAHa)ҩk Z;<D~)T- }Vۧ>]0rVa۰Uاn>nbCdx^w{ԯ[ęDl`A-i?kW:iQ[ZϘ>RkîN pqLBu8HLmÊɧVW@1w?m><%8QRPc:]uyǒRT"[Rv}/_|oZS둛TD+ qCPt\@f0 ])ӎn "ֱA`16ūG$G(_VUvψsI l# 3uh^ύƞu & oq*~nOI;Zn <Ō fP速[\j@bϮ/9R.ul@`fܰ @ Ʀ]qAa8v;KՎApe l`q5_[QɆ:-ϙ0+\ IuDš{D8|=ddVCG?Cs KQ|w7624ؚI41p*I>H>}$g/ŌIt .$Z6B4t}'҈q8o@myiinABLY^tGabJ-xV8ry@lLNPmbA%Ԯ =AS@CU*OM"hCA&!iIH8Hb(j ̀./^]5Ro<0SF AǵJI O_ O çeIxk8݌#`qS XNl>Kڼ`ڽyշ"rHmg320B:u[k#8 )oQk=*:miy‹ܩw[%EWT4݋fJ-IV&7ׯ2|T=B@"9:}+w\"x aͫ/J2.PMd!3wRQCthŜanDs2G qh?ܧ+j ~`i!a߼MLϲI@N0)Ӷʕ5Q/l Z+7<}s`M|OrwXr@=L3~#d>DUpr$CcDW(j]$L _{ tf_^n*g1n5kaq]I>Զ;/aEv Ϯ?Q6=0bzhA _g KtqlJK4Lslǡ?`4^H[ qOX P #S7*,ۀ_nap.zOas11&I/Qoe1Pt\b=&h(ܭ9$NU} 3sST(dԶ/l{c"^-,^F)fB]K8tl~D>[]>1W9@H\lM~A֕ jB#}+LT Hh@ޚɡQ!O'tQ}1%rW=-(kǑ)v6S/d~jfT<[vm>`@/XP.P N7(!^˹kc M5!ntW :AĶ= p$z#XLwWYZR|uCb#O}% *,Ip+'*{Lpi]H n}{e|8l*Jhohk:*2= ~;;:7Te9ξ2b8CyOX13i*TE !瘻U-6,n/슀,KMm4bY!ftn9 @z_*l{Yi{_ܦ=;[IMVI5^P)k"%!N<<:1ID*@3ڨNNOH>ks6_p*Jh˵ n i!_";P1xcb- VrpMD.F)N74qPgR|$ 1R& we$4,nN0T+C$SھM(_U^BuzNY`}[;m;3weXYHSzx=.zp{ߤ"uc0%@8@uy[x61"Vީ(;ĩ=QFckfqͦ+0!I*]Mnc[j$oo\3ώ/)int9 NRl%}eJ~ Y QqO$4K=zVniJr(0U-֋ͷ~=$هTwis%$«v~4?2>6h n$\ϔvvVY1^?MnôqQG&`Bh:x!c#L_'Eč7 #N;9nzʬw܋NB_{D@ HECyբ0xk~q '={P9l JмS5q<<\wv5hW.G1ʭYp7Eg<5vμ`a~slgeMpFY؞ub3H8:/,`XF51Ec|'@~tT7"9" 3LGv0+p^8JUB F/KL4j*56ɝW2=Ki`>N%Ka;uOESJ,jn_}l붧=WӖtGr=VrȚ f%ڷБD-U!W~#BlHMx.y0ja4B(`$E8M-$$&xT_HHѭhxZaaR\X WC5 KdD4H zyJK>d=AdČ!FJRUȜP)`; DiHm!^| ,U"|f`,(C-y{pEi:H{Ms@C]P"o:K60'z=J=K]~A j9j]@\2ہ}UD;c̣LMw-nC@j Ixv U"cJ˺d8"Y:ȓCv|O0:5i4{D'b |;d X@N8 )!B5;b5It+\}IgUfɷKr|tk2D9 i '%]PH!܍ȲQ5k+zI={?e5$ҋqhuP\{֫eޘB߂z@qR[B@/.]zvP*ryBL_n۟nYGa͊ɲ{6b957|tn=l0&p]'%$t%OKm3_~XܿïJ̭FJPQ+dw <ؠ@f%Ha TM>ԕCkE-Y2Iɰ?*^ULa Vad W3z ZI>e (WJչ(ӏ. ,$M!8aC㚨WAD\*қz3~允LyB*j} ql̒%JD6KsՂZ?L˸IpnޙQgap@)=y"ަ&uOs:+b~ )}y1dA1teٝgILZX`Y5G$j Uc xo3Zidt~xP3* ={ ' 6jBg~=1!>4 h’^3xJZO;0qs"p2=RWP"eb{sM][lhyxLKDȍOxlM#Mt_m"?^|IUuMpj@O߉7ȡ9cB3G#HiEѬ ӱ$U)f|qErB4 Eˠ3K4W/ ̞? {Z"?9zU&t{fr24bTs<#'/3:vTٺy:o*L-y 9kDYAjkbXAjTr/lDZGxr$) חߝB~f(hUSwwgYZ7zXZִF! ^7?]ŗXi%L&k24WԂ~_g1:GC}r),vuiPVF)YH,nZR̜>ګa7 v E7i[T^(O0m])^80Z]·gk\&t-T,/1Y5PK sh.FQK/tL$iݜ~& p]h,Sd^d:g36ʐ?|G[zT_E L|Rk,׆95z2Mh:6Ts9l2s*g8kˮ=ލK>ZyMh2S\ӕ dT%mTbZw:FʼnwG?^Nߎֲ_By9(B\qy9eyx-gMj {PLW,9qkC-\['pHCdIY4KVU!?`u+eϽw[cJ 79Xʬm<1dZqTy3ygVI=vigWq,n yVHn ^%mN)u`v*K P{V {Ic+R5+UZev7hS][DR" |7 >.iX/hoO!᭛БlK*qVTy!k˙%$1tϓLUQ`]?Se:;Tzhf](C[;~ɠA^Һ4h 2Oo&ø$[ʛ+B疑ChwLcy6"@FE>sR<^(2)R^|S7i!L9V \`u{v}i{dinQG7TscnhSuoa4*@{1AFK_ 1Y~*wrA2RL4 Q )_$[lG KFLL?0ѝF R@9lI dL7`dB/aL 5lG+|A;1D`-6YC|OP2o'J)nIRԬB @^zJP[*֎t; k P]WB5RŭFOSX3qb{Βz4 Qy烚A{8Ut S]mmn\+W 5ݸ 2uGC'u gYZ1be95ec12dd6a8870b4b8ab85f45be6908e852349aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535