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  7xt ] HOL-Datatype_Examples:threads=6elapsed=81.706cpu=390.152gc=53.8447zXZִF! F4]ŗXiɟDYK<;>Fb4d~w6nE]4Pt-JĖGY߂A92HЫD%8L79K+L؟>َ|W/ ddTz3Ajk>/S$A᤿v NGє:qgY2nrfkm{ƹ ?pFC#f^weLpđk:ѻ'D}Ol!y^<h)dC&\ bu$K}]E̓VQĤ ;`:H@s8k$x_)PQn][V@bNCi;DS@Ի9Zr06QNŲ~6WA%,Qx`b͆&qS>0Ǡ7v"SeBٙ!|Wش.GK^{'xr)s *n'i+4pG2oᔄf*@DԜ$]sT|UM风 U?NYV/ɉ 7\[+ VGI@3?X)K6vL#2FoxpPP)%QNLycjyΐ䡠H*@龤 wX[MEG1MIjhX53b?tnF4"|]xy$尯#]zY9d?Bc~SAwŬi[wgh<ک;M Z M敄tgݰ!HM\OtfgQEut2Qz/k|/TGAގԉFOqH B{# "a$p-jD-As5^019$ ҠÛE@teDM÷qw$ZЛ-洞,bwaJ@k= 21 ϻ ٘3$A]ǧˮg#]PLҬ`ѳg5}}t?AȂĹ}&oӉCp!G7 Lٸ+6}TU0$0,A FXy7JdX>A ng'q >#e e#-/NrB'0k~.mmRѣOBl6BwVgSɕ}gJٮcg4 ZAhܣ@w-4e{A]3,QxP}c7F>-d̼8KS x 2LR4jzc9&!9-Owt0[ڇ R<|Nv? u7\֫5cf7 7P*pf0XvU0mO(@S/XIlsAB3+t<zj<_t4ׯ'&4iۇ+˻ ījs.3 }*5REYWY2+1͇NdA&JCcN H?B+l7?Y;iDپiFbpa9Jt\EZAD0/Om׀O"G{1[ r'{w./6@aȏqCV==Ƚ6U-u 8TVtw$xrdV[Wµc+R…-7(tYdƸw {mE4~*j MH RmUqF\7mzESX*NU"ge^% /EM'~*}0/BR;4hΖ጑RM(2Aͥoo5c7O5ro D sAL#ؗҧTd\v+PyoYQ7>ߥ'YӼմ"y24Hm6Me!7nE{XLz;`%sn>,q"j 1!%l У$qW@ךxhi*7_R 6S8ݯ%-omW S,0eL5Sf؊Z11*4 @QE_g(g=6nV!4(TR[{ ,D!"X 4e.= OXWz\BHI')yyCp ku[0b"tL8VnF7 y% etmv~ H֯ kphfUV,؏'Ʃߏk~Ѵo-5?'"ni(&b)uؚh3n aAuDy(.+F@d&9 H`V7M_# [fZ0 qyNvikK/j+=$xf!Z.̘FuP;b|sCr(1v5QʢT`e9=u8pLd 5꯬K-[v,t` *hdlO,fE' ~PtvT׋\)n|PGF wxtU0~OV W8HO޹og#j sm](Pm}b&ă\bqWܰ ݭu$@q T !楴ҍ>ኲ^NYr}vBj.-x'ezTHw̩|k![0d#Է\ڽV^5܅VG4DHlyoq-&5;)okk7J<9$1my!DҬOGe%әp\:թ *gch^>+ K b8$}ʥ4S`n:/H௎v1-_/N_ MYGV?we_7UfhY ґ,֖dWKkH 5|5zOC 'Ns\QI%vOv*(d#߄z5Že_6͚۞ҒA .Vbά,jz$s|c,ֶx\o'A+.[XU+F0;d1 F)&#1֠?iZH,qg0d򊥬mhU`\oa',:x >W2fj ]ç ݝܛpۓ)T a|(ҀdȤQD2r=Ri db=f}V%$B<)g=r,nYfU["(PYV,[uwfEf-}8M5SsXBpD﯈69$۾9ۈ:Hrd6b9y+NXٷ|INs)@]i: Cc̋c촱XrHI_2ECtO]dp9G^>%$V@ļ 9k|zԭfB rE &Vhwxa\ei0a㮡2h>5? HlDvCZANg!yJ͐ GGnCr*D.#b؃Zgϱ^(?0w@>5:OwgքЦ9\$`^[ R+e)Q06Tc2EZl}'Zu|gig"J7)ROz?֩'|Jaժ@Vn'esL2c:]70W 9aOLka˜eo~.=k;;\=D(떎mow$$Ho>s=Lu +G*$Ƞb%1Y!&Q Q%Ua s~wo\itAOo{L vS9QkLPǽ"mR"PK4`qV\-^(jν{[e! v׃(qG/gH}oA7,g B 6%9PG&EINb~yIqw],) *9nňCt$& )k#s%c@ʡ- v\F5YDž:O8,)tE&DHj8}ū1G~Zn8? o4ۓv=&b\<&$1PQ8$f$rۏ@1y57h0Z}gh9UX<yӹ;>rݻ$St='nΜU\t黏W%/htc׀$xMK/s Ҍ<.ڴHljEdXVv?2gL|?-̈́4pmӕv fФ3CZ۾Ȟ{Zv#(lcn@ HPdA8kJ߼*Z?0AHz 6"!^*KpF[*?#.|0bGx;~@SIQ]%nm`O=&έ,O@ d`gн ;MCz=KeB\ϲw{y@4Ph,Qq~ `Л@j?se9Iųv~J.BQ@|Xm8Yow sNřnčebY<|>l/hJcAZcS)3*߁8"ͳ^ovnT7VMw;?2;( ̲7 KeY"{1!N4Ҁ,(OP]!`?@\|(sy=G-ZS!pW1q化&"9NyL %R<.uKkX|K4==^A!|-E"bc02^dF[Bʞ`^e!#/bwUK} d%Ѽ*<)U|blw]mУɈm.Y:lgvLצm@sWCB2CM?KŝDn AEEUd_qOrwS5Sk3E@#N7ޒ,O mG'U]KU:9Pם 9$Lr0?FkkhN.w '+/1%;̚Ul-^x-hw1/aK I\ Pس~GL$_w+L;q휱^X9N1قZH\06&Gx&~-w)/r10ǥ9!'$uq[?c@(s/м$J6%'-ػps# `$K1VdFqɈN6-V)!"QhWmKʒ&Lk 4@{p7 WxA#_dF .{%e!EyXE1-ȗf(ږ*Qq)XFvdd=@du%W0E,KnDY-I"cTUu|`ޛ_Pnɡ͡x}A&-6~"*}q|$tLv HxJw @ N:6jg%vȊ8ԫ?Mknj \ٛfֺlo]֏ |#dYq&?nRQ%oeνH(N?ld/2߸P <2 /vmɏz[4-`-wcV:2& Ls9ƟMg0H魩A_}`,B3] h1+P"266si?nz|fK衉7}b"Kk zB}G߁2kQf]']j[@eooᚍJNQ_Ԕ fY/?>EBNH4/&d Tf0*MTqq"BJ̝bG}r#*eIު`fJG,-?*L)5QSXcáhdU|E$ûͺ-kta͛-=`f7){U/jM% ݭ{ˊ1lt~D]_J4tp/"&^&+rkTto->;p |C(EKxOo;!5/MCr l&Qeg1Tv~l>&1"e0 й~E \O[2{M Q=ܐ; "ViTpZN0Ed}ff՜ywa{ݠ3`1T]=I\:;2uȮl/{{5ˉ* ĴRnd'p5^kx *{Y;$5f!)%\fg5t}.%tGءopP4)"3=H_=koָpw((,W8K@T<[j%>E_68]>bM{8|%umIߊ6iJۥ~#P~Mb"<mzf ڭ1$ٻZ unMяu.5ƘP1M2mT4]uBau4q(e0Z.uV]3np:^92VB7Hc z?#o?#F b.Hvk+g)_UM3޺#Ce 5cJjLeZM\)O|v61,S*:\Av,"d&wawaB25V5P j]j[/^DN^[% |9zBeR*.,!חx&~Rj :Ѕ௏_ږpQ0XQ)LH /5$A!e3;/]+,OM @a@o@g&v(4 ,ĶnNᏝN3Lr 3W2M*F,{W?ZV! l4@[y uNIN1]s^~Ğ06SHh?mFF ֤2X}ᤑ\4#0.5ֺIѤ[F0~[j+|ZG:R`#g(M6E̞pC-JKInђ WIf's"禕u9bSKgϖ(GMy/Aܴlߕ ~r# (vYB*F&M +y3_LCv39Z;ۇZ^8?AGo| ( Mb;g@ɠV<_ߍnZŧѹg6s!ewDﱐW+1-Ά2= q$lMJ R6dv'λDv9HHxl`XIaOͨ9"juUU@1s /QcՃ}i.Ny.*FT(a=-U,F^4e+Ths<̈́c؏wUFg.'byދ˘2ɫ7Kr%ğXH[^9t17 g(9(טf$FZ樂tS14ƂH-wiFN.%a 51ʾV$'C^\j2Cm`_ћߑ! o>(H[@!n9Ȫ|@O\ 7E΀ğ+,d&\:͕\$ڸ蠔JuGZE\NG?-&)e2yh)P}Y:0CI.]3Bۋv1raf%>ƻ|4J{޸ˇ6dU|p)"7G27fk.=7ζb-ud,CPaȿ>\IVQ `y}F+m֘d0:/[7s#zVP$ε# c psq4U7*IfXHRLO{I?ɟth5yJ{}BHs(,MuWYpJ]nR֢Ka~N &4m13D"2R샊%; l7:{T&2o\QtwqZ5ɤz>&([׶M663,LQk[NHbEmgLmjκԋ)Lǁ'#]2-otAWx*$S\شuV&IlG㠜nt*A[]3ߚYz{*`z5囈982vgʣ{\ 4:bl 9[?r9Puˑ`%~3G-3'օ;[#W&W VEPXqQe# M{BAa923MJ1SH%enT>W3$Uqle\(]ъf#Ku~ \~niŢZzBʅ`v Wo'y+ Gz׻C¨amQEenHBvRJyD] i)-dgFd u'OR>\ P v)'}օpGD"Km)ܸE#I쨚x| }9DW'N|@"֞}UC]nJNVB)_!dV>;*|=L<9HYl _uin08<Ѭ }z*j Eؑ>k7$,erUϻyHmOIZˎ5ApǴ K̻8lk=(F3|φ! +`KgUT?N?)D/ĉ9j\΂DNƤr1[/n0v['au:9^ب0>̝bA"2Fa>Ga+w_h (Zjy]g9nyG$TH49ێw@%\ n}5LPpr,R%e&ݰ>t K"w]@Y6~Pb#ZF:aC{/\w#{k]3kwgDr+LgCEq%SU pd.X]nY5P#%'8+Aw]ق) Z".s+R%\E[f7WRYTbt;b01#P04f#GW R^N .|tI# @ք أDA-OdcV@Ȥ‹3;%VF5¶fҰn*r9cO'tٽ%KϺ=%s6iZ:>xb443y$ ܬT|?K\}ѯ2%tr P8!xvAS4-x BJ`Pnw cRr)^ݾ0WR {8cUn*uD6 _7;y*\rM%٠§#-z|4;)6Y ݖmʸA UX' 6l2ϑ$ѭ5#3B3JSY3_KGBzr :q CVOMrf4_I.Y;Jz/BX0H>fP=H[q] [@R:W37mv_j(܏|B{q075G$orDgWM|/A3^m@-nZD21\^;fO݇/S$d8{ձ/!ŏݙlglp;;eymE(cG&Wpt8/I^(OZФә Y.κ2oTV+JqɨXSaCa&"B^i);\@J?ÃwH[5/s<\ӓC>.*ao9>(Ҷ֌M'|50H$}snbF$aQ#{߂pѺ'!ݵ`k$ٳfݱ"i9*GxfA o!ע u=N &q& ADq})dY| }&(^s\W@drٖgRnأ^$!T\IOW[&"P%9J^F!SSZp(y5W>v,)I4I_4fYkRRnOX(nv^B1ghAc^3:@gl]B0V 0+*<)*gtU]x,K޳YJ8 %Kr{7,!S/zhcLs~JWIAXDJwjU6j~& kSr'EB+qq]>-99Bԕ O/C:jals}gIp 1*2wYmm_aD7i˪i\<6#Ƿ u {xqbZNOm(nVմ`~A1;/ٌ-$sd&Mc8B;ʝ;+i h.yOȼXbi0և1G_}ɣ[;W?ZOw' ~ZlӆA4E"r3һ5y{esA9n[矠3O{*Wuqk L w<(C)x;JxH8a`CR9DgôM@ӝ8zFA,B>Xn- /5Sd^%G6y3#tzkf{Mr>#b2|,Q}<_O7RyȌ/89eBitAP{݈c'B6iS΂V ,RlȉClgJX!pt>Xw[uN[3Pq;=4<֔Z_r2 CzGS:f5Apn~|ǵຍ[=6Bv򆔖n*buz-!ݷc/Xp먖`V%ė3*ஏ&߂L'_f03I ?oWDvl^TZ,WS崺nXx !r7%nj=wi\vTW9bgzF={k+b^lb* !ylʉ7Jm柑lB7Rb]i*Ӱ^h2R5P _Ieon77 u-`w0…@1Vx*۾T^Y,sWXA DHmîBsu9Lv u2U܉SՑ]:e߉!{4HRfiXZ`7q,{MV\8J=F2T*s6 l\Zюo2Wɳd!x-Jz8 d$zHѬVd qk+ <;Xڦ1kW"\Ž"mOBgLѢF\?dRhDh");'}Ct^Smn e`jd*g]zy];z67]Gpƺ)u=%Д^ QY4Sr-VD1,,SkVZge\SǸ -C&Rgeʉow.q1*FΓбV?@Ya,ݐ=<R(t݇t?Sÿԫgʰ}iՉ9I tygO99 >j0IM3Ujj(ɴ7_:H Ð[Vᆆ~= ,u(%%v.,07JKĞeR A7sX۸KFU~ 'Tδ(&2.zo.qT%8A8?tfB SYP: pフvw~+C$2o,'k@|hPX$GS2:S0\,xe!{P& j&RNG$F{:/hP2Nyk4p"(]Ԕu,wd:{;{HEi'+wuPYCNͰ>;\=xyS=za@tЧM$8:w+cU7erEbUU5T~΀xad,ratYF:KuCX0/mq<]ŦX_ߵWcP=iO4nfٯ{!kw- Pq(#i @t-Pc2+Ev"Z۩ t"}%cݭ>v9Ms:q,7.LMьZiEP٭ ᮦ1vP*AX_Ɩ w޻P('6;\K{%TW9@ώTE)DJG^?+5 לF w2 xL'N4/KQlLmW"4S |m?{ *i;%7nS)fіګW.T^7\(z,mt:fcgĮ3mb?|ܸm~A\{בǾ>)i/Igaf> R?24z_i+~>g]=CӲ[,qȋ ؏$4فEU RMƗy}P/a_cޕ-!M%\Hcq^)MpmI`Ą.qo/}z7tD7vo+Nh[T&u!#c2U [RUcWt[ 249}F.RdVBZi8 #Ey5BKy+3ALՠ˦R]FT]uBhߨs Y<{2|#7s8 l bPmb.n鎹&JMp(~ /[{lB .C`©X13H:ݛΌ‡b7hT;as{ʈN'OuGV_W6'?SIxAQϿVœ~/`B"X'Cb6rT5R>pv7 p/Ʈ/ BeHQJT,t\ZqX2gC2h*_Kp񗱄ԙ`B]佽7M,"wI]'gza$չ;9 EuzSe >Wcj=;5 $`WxIc weaM'~tanoL#ݔ0'x( ?S{mPF>Lgu/3fH,[}@p.ftX, g%3y.V o|=sxno8]OK[sH8rai DSXlz^GYD(Mh)@ vz-FF5JQXG0%=K5julP1튗,~Օ!WQ2aN˜9MsZy}3 aO3IAZu0'!N`9jM 0w-(ۣSΖ N4k+]$w"c86<⑹K(zƠj@i )2IյXkc+Ll[UZ! = +ȩ'*XUV7yF | nBNDop»`KhyZm ʇ۬B)#M@;6 m>ԧ5 dz҉ 2 l|DrO{V9u:A*Xt Hx~_Ϋ32gm&Ǯ &8>CP6"ڇm Zʠ>8N6&ׅ&^je&Ӏ4FoNJ AS]ףqN`;+`4f9T |tW m fYP%9^u3 {v'u Q ceM8Z 4д"KnXE]Rd.UkFܪ e`pů'kBhᤌ cˁ=|@ ܳBmb3Bӄ8npT- 5Pv|4-%V9D^9Hz9AV)]w<#^1=SLΩ?tDfTG%nNrkKǓ2HQ^a% _siX5i帯"{ |qT2"l*71:`@XNo]⇛d vI%{bzD:]N_?hx,AfUx0vac |NU PV-ϴQ>:yG%eM:~7ECn /S\H {X1:2cBĕ !8 -+ m GkotnE@NEΆXdI.w/o>͇|6A$<N7濷uA!^6ZI|<3qc DbDeӨU;0HALaSchb)mtz?n1Q1ks]Q!ߕfH9r6![!L8Ķ(c2E3u6c^,"iܡ!nZuyHGcui̯D S̳WHS*ABfRͲJЃa$d"$Tybޣ0ځCYHV%[J)HgL,r0PFPHT5/6RW)!ؐ"7Y\Hp>6@Hkbݩ!%S">)f9"exUw+{Z>;h{Rz4FO?6L/`dhd!ȗV# X;_sbf&qW _)zXp2&٘/ʘ"Ye&6JzI;0rb/IcZs;k ntɑ !ϕUb!=fPxJg Ύh+Ƶ8g䋁)k*,4Bxk]I5A;ggY~C3Yc p8N[{P6I3m)* L,٘99{M8v$ ZIѨZe)+OTRE1 UCֹگF EL>hm`"/fr\^haD\# W`e&E[h- +lW mjE3O$O3J_Ω|pu%%&Rb#Xo69ڵJ=ڸpz@`>@lOr{ pVDJ"j19R×}F &ػ5n[kѰ\%5w>7'hyqQJ즻 gƞ!i0y=3דrKh=%Y-oN:kC@gDv8e6svɻ u#20iWmOoyC_H.7g)xn"$ƈzI84F?JlÑ79Ȯ^ c*}LEE,=9yzj\cUJEk XłN{^XAv ~ 5Ϲά{ي W)*؀O.RETO^|QQɭioV5+]~S%3'#cm$ ?!:(^ť(Yn9J`y6-‰P ZjJ^o΋l6$Iy˶vL=_.MQp"w<.WI p$?A\7 )r ޑ9#S'5ptz>LҦB^W`~@9c͈!|Qo[3n_w!3;m+Q-nu%;l<5mfϧ`}`l*{3HKt?AN$TǨ;/Π\8PUѥm&%BB{eiǀo(lE}dWp}VY!}(6y)Ql7hN>&) JG qt>u)Bn Z%h (! D|Ev{ގ"A*of6=`5i|]%KF3sl^c-dP g3G]ڍ>X2{DN}BJJ)$E ڬjb[SDvDհr(j俗} I(\NrX&McM1\8gXfv$tS 䀍ci'q,N|+Vibkâ E-_bkUHR0w*¤kj)gJwvn(]4X)ZP+h OWvB{N(K%ߔ]Vrۗ>4EZ:$rOG֮)J[l {i#S Ev /ZmRAžwND+g{^1eDV+XKUcxσN$0inVWD9ZO|B`;J /v 7q 7\D7bN.Yn8G8V[4iNi&)ydNϝVD.1i͠rn/f =T)&% ˞Z><Ļ,a|q2) Qpo8*1qUZ,Lhņwh-HO V#҄/d'1,3VW#O1(&Ijsh6j5b(T} v)it0U"ћ%:Tb[BOD_ؑ俪f&Z-.<_iG\;$>a, K ݞ9E;@)֌4ޥůNk> ;g>z{ '֊cB<7RQKؕoeM5bGC,E@+HBԛX#:ΊO3|v+a*[t\(.J!RD TE眕ٻ2S~Xi/1H Zw\e0:`j)S-a>˲kU;4޼pƤk),Mǝ=r `U #<"^ w}%wܗ'"خk\5߰Tjrq[LJLm62bpҤs~3+z e>D}} =KڪpZ9 vl jO. 9(cҙY;NSK=k8h`+^Kȓ6gyO 3 1{yo^මSLܒ ҎZ3wI=A'|5~Ju*FDNEdu鎲> B-.Çlg[Y{/L֪-Y F8qgR4H_% `lֆ? ٿE5$`iAa+Ü}nbPޙ)n qze@PɃŹǫG1ǐkxuJ7.b`:Fj6 6eb:zگϮ4)( n +â?DK4`AXp䘭OfT. OJ[o| 4&J DHt&Gr!QIXxq<0%\M>a-uj' DCZw0k\%jQkdSyyrWPPh0xճxpjy)UCH6Q%'ƠSumAanGԳъ@yR{e<xä$:yzCPxQ ^n3Wm½55`}"[f)58zr*GUm;C >G(hNXE*yt%$..`ըTD2`~anxJW:;Uֵ~zsϮ=ԺOs3^DoQ(-tNyG^]凞RGT.IZH/'&4,Aۃt7vexP)-̞qSxYŖi(6:wz58ڔ}]f?D3(;"_[{:"FK3uؼxxCͨ4K25n+'rfWS߀^f%9z$ױĩ2&p )GdH`):.0N.9ɮo s*ChGQy ܇ZML.gP0@_̦IXe>;JǥarI*^A73iEQ ڞMTy^~;1T͵:X 2=c @hv<1o;+R~L>-qءNBtUXg;vz7 <3.Zyib=F׊RA3H-ЎaKGՀC)n"|O XHGk6FdPj]@hqIf;2 { VƃSe5)9)S8s8c%/nW0bAå{)7dՙ;?|PE8BOGufO! `А+ڗp~CiZH@ZGMk:tB]T!pM gFm3SD͡l/{[gђ2^I^_Z`gm Cx;?oaBZrZq^^Eߕ ,en1B#ǥPf'WY6iuU{n>4{„>4j=7u[7 ;8J))|xQFsA_ rraYe"ܟm`[B^4hL.]3tkۈtPj9<1HY5,H ᪢% I9K[;+k1")X\_ç.4}m{ e[X) ?%~I%(I>pKYmtVS ch `t+a'ƴ]1],5ʐ~` AG l9`(dzACP1Y G82`%Q~.)-'rϬ/F2<;` &v./k).Zix-8(*Rݒ"pw=-\HYD+oHZ N-y0I#=:f_N-lq 14| yͰ89da\zQm1ԳuL DMO7V3XɋyB~$;cArdgPE]Mx ̒BTq=BQediѻ? Vdh=sfX;`36@aI;!i'2ėf~m [dt!O"$$d݄\nq[C_/60`9,"nv$/pJrKޞc \3(7NGٹ+9\\K#`*vu &(,G2Ҵ;/A ˭!N/b ;'yܙ`Y_y#= B*E+1 !$PMeg_NRY{4u/~- '̐OUhC,LpeӉ|QZ¯gVm Љ7X};{|$Hz=8TYzfWf*r`{:Z;uOr <1R Wa]WvAU3gY ?wd#ERhY_TLS.՜LLFxvծ B~PM!d \y*W5,QgƃH]Ƞ2 A z!0N+e4YWmi#V(A<w3ycKq! CH^>sI1 2fa刔puYOKD6'Z9R)';z5i^vUσw 4?TJ&zxQ[)ԫLjm@jNkxnAFþ6X$\&S+3ZknJ^/2]zڞl?阿u ;!IwUPpsL~F ٩L̀6hMK#%A=5/3ME1X[Y]g&xJ.ߦiIJ KAf #Izsyk Of#OG {{2:i  H(ܩ9X†ˁe lToTE6/qMY hjj"^t6}LjC7wպ~|IATtɦkMbU,0|rVݢSeVek㦈c=92eb5DW'Oy9m7Tt cℼpdɮB9zƈs(Qcj34{z JҫO@ȨaG]B=S26Qƫe?[߱;ZB$WL0f XjԮ~Y˚iS2xg Hca\Z8sGgH\U٨ȃ|x/O\Zozc IYA'I0VHd#/GNJ7 ;E" \!]HlSz ɱQ37ıC ee_3]"qC"M_99Bjh ܹNNNܤW*uJ҄R Op˚L= Ȗ7^չ}o.lݦcz򖎘b%NTGO֐< [Qx([i<4jIb$uMwB~enslvzvJ$,悗g/rtB9А:5*h@ 4%\ٝDž NVIň\m /:͑Q"$Pjt x 0`tfiJݔ*zxeR$e|,=WLO6i)+ߖ(` C XD8HQ&>5`A5S{;.13+/k&ti*!d2âUpo W i6#*'EZDbɇbzPE7߼.x%,+aA9c x׹Fc3fTU<1px(r"i7|lp55?UH禖,I5ѕ^9q `I ,he[az)eKRKH<^ W0!8 L>tp:8'waMLXK+k=|KՂy=RSy.N#r~L6ȹBŒ^ǭpb4Pvl ZO&7#,XJ&gް>'_0,M^IYk'^h Dd١cJT21VmK\7$o#/N|A\+ ruTrF<"FV!^y+b$ݙ$+\ouzJoۂgp/z|?%| 8 ҋH8$3nyd^ӤW(#3n¼Ch;AGν ֡KG<`D0W͸i8Wډ8Cf0w`2aG d6RhHAXbaK"nc&2CҚKmOu%56$cT]\G݂ZlI?[@ʬTH$!e sp;R@Vvfisy<,Ujӯ~ y|ft^@;Bq{c 3Qi^;Y4'U9H%HQY ~uNeUw>V Lɋ/S>fR44dcM'Ѧ&M ^y+sSHU:Ks8Z2lnKߡȨ_oJX1urB[? 8YRjY~*~HJC{y*[qbCb{I/3!:Y pk̭\WHe4E?~3ӌgeȄeKBqE,W&#E8oo @֫vV_P<fIATb-먿;mB)Tmg9).IKZ[L$gtAUNdD^МxFW1k}GC *!Zc;5-ٞ:o*ǪV*idn tiu:XzZ( 쬫= C{l={YhWye+D;mЖ BCGВo@evزB(2y\ɫ #qA4(iq4~$~)#عI=#fBa7u&VI#J #㲍Sҫ.=VA BԐ?LeX\jc4~TBo]3.r٤8k0HkPF:OB'ó/?3&1)&J(bIr\DBkEET> ䷽=FInD]S)Y3 B2Ҋi~mIGf:xT-X ?ϣQ$7, ]6^|˺ YYS̼ .BNLخWr,3'B2%HIh,|*V~LlwwAol7{!3H_؏o㍼ )X ʥ+?{|9; m'SSd3BV4V# OIN /=kM7{~JՏA#sk~J%r}#Ƶ3t+b 6;])Ŗ -ŜVY`܍}2[f϶ɐ=UXIJGVsen*J.aIϓ}٘ $!3'-tx:(T™D\J57cĊj{Sgg[=@D ynhڸ=.'zTѱ( VIgd]#y hY5TSq<.[G2~xVV-G*Pn6k ˖7~Z^Io 6_,s/o^&醡EOb\s?fx4slY-#$[!Dq=Lj'5Ϥ$8d 5aވ202[в5'P%_r~ܫ="G|E2fC?f34Ñ%[WO5If'pځ`v;eFl-F,$韲$̳oZ?ײ&y=Bom #ZUSAz0 ~[u~vFfxӸQJ A ['a{2Wi憆D+n^bik ZzO?{]!k6'5Y$+vk2]40aВG;O^c¦4 ro]Neb@6?i'uPf!??:r<A'v7I}WEq\@rU\se ׁvMu&e8lxIʠ!$Sv֡GX205,gg `UL1L{>$$WXɷ",jWY^vgsR 66[LBW $zh|81L=,Uy޷n߀r!{Vq4y \Ϣn'6vdpR|uhd\ZkH15;qK,6Q/^XԹ'aׅ0[qus䕋:rwQ9< %n}˺Tj<$4kLP0WA z##l%tUy5^m~wjsCףn}qDhgR:n&m%zB\*nؔR֨MCYAɼHq/ZKڥL4nc ޴g]+" N䱮g,>ٱ+4+/yVd]viSJz5=Nyan\s}[e vtZ7 =0@QVDR΅ Nփr372G,\qnxq)qDYcyLݰeˉ(}ǒy ļ٪1~؏W7i KPK!sN.|H==f #. i]""m0KxQ윗RZ6Oٴ!WC$r6m=ȵ[y~ ɽsr9o<պRƟF`쑃a'NO Y-Ci(y.30lp|P? 5Dg&'2eGMIrTq{|އ:=n gz%(\G~tܷo} 31L"JР3d/+R m zB8ؘ픶AxD+ 0%) 8C*Ыf(bK0qu9b' ,Q6#\R^qdyo29~?2Idʷ^%KcHn գx(?r )}:lK=:&t_@=3 Χبl/grkW;@xGW5ۛ` ~xS:\QX\GraE䐔ekoX/ZqGdCiCB}gD@ʳ2a ,䆿GKT^Qj0Uט0^gr<ǘʀ =-$:L 8k?vb%RIȱdN f#z$x3_ i_gٓSG]kjjxwnu9F3rZWς_8>1%>֑[.TGYBdz*i@b(aL2⽨"[9KZyp0T[c`]D,wc01B`62Z^y4-]N[)Zd&\/#U^#kzF%\(,]kqiW!?=,$< if:)xZCXӃ{gsgP 8nPAZ agT9P#Yȉ[ >B)`(aGv)V=Q% -|Iy+_DÞ/«&1yƱe$^kFdL?>U؀$&"ώ(~$r^($) !&(I埽ɾ19%j%U,dM赠vd$ge6xi RUo2K(c `)E3(|uE$m0q(+8=^j|N8+'mCVHICRZz;Lkxn4웢qznr^WSQwYh]oԸN쀋BIՏ6cWmDNVf.vO%]8lEjvC [:6YNYz:V%GұR^nP%U/I7;bz㙂OtͱS@N1چ wjտBZy>J2w L=",|>kĶ9["F[2MY:,}!fV rX a.AYkgD9Cȅ$_, 5"pVt$)C~}>xn-cQM{&2Q~,fJ3KyO M,y c:tJYO"2u Fe]slMGpJM3`V4sp2Zr"lJ ! .tUF´XFJ!R=|HY1E0mBgBM]Nƛ>$~H5Wjf -Z3!4{cq#=%nQ.Havk'ϡ'veOr!~^Vp;Yȟ&ACdަ,̊/X >2U}G$=K^6 #RTE; uu\|sWݕ75b;={nĕ£ÈJj|s}tj\\ċ d1TM.SPA^z*bצE#8'h&XFJsTu{o!y 1bav"?eMӆ:XUU6SN9DCy{V5Wۼ"ތ/t)1Kldp6* V2,c7JIZ|g0*35IL"zh~ E Ox70\~[ik~ ;Nˬy{K8l*%=,2O/ 9z=e #l4+pJꆷ[̻rSO(*Ϣc˗F m噚A#w#"v0I~KXk3Ht 1jBY;b $~9 Eۿ6 nQu47J@k?9czo<('GҫIWjBv0LӫT'"m|Af`åղ3&u;6vAJv/l_Ǥ)}Tsgց K ‘t< {ber!AHb`= ]䎂o3O3b<( oƩx*jYmb ϫ%)jV8FAx(Φ}0BSrdű G؏NJ7{U-4Эw 禸Sp -+$?%x(,On]b8luqBX\7:K@s|bП[9jŲ\[C K}p;ptT@mC^g=[ hv"6shuvi/1:L1ǁ6Ѝh/pO|1{Q|'r{5Zm6 $˄Ë$[}/m+`aC!↾<S98*,+ w7 .l@U*m$h?:gNK{KU'ǜ򳀳Y^Ỷ8.8jբKF5 mARʻ݉dUFET(JVbz#(7C9dY|lZK @YC/v*KfaJXܐq[IHv9󾊽i_.s ݭrȤɨ *Ր1h4?+YِU(v@!`tmgs_X ی/)x99FVF1`僸ZE4dRab"4#QOmcQqOxV|v|!(ZקэPJ8D cXc.7 :V%/0LlUcqƓZG':'SZ9Jt6w-]%o-3*ַR|䀝!K?(O`f6gYZdbd61e34696e1405bc7be47d3b198e2d8db1e63a5904106a4d189718a398af4707433146ca1890af 45bddc69c5b5116a3b7296b1901d051f8dbd9620 e28ce8d3c229fc80deabcdd3d7a131303b78bd4f