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 W-tdt ] Lambda_Free_RPOs:threads=4elapsed=13.508cpu=51.216gc=2.1287zXZִF! ꆪ]ŗXiɟDYK<;!lFb4f=j}o5fU15i&IځW+W5픧fjD㤡~bLH/1-秌`. "bV̨֋Z3CBt'}bCQnDG9up T;X+=YQP)%9%=_^'Kbu{ՀdLTELSy^O„sT)ymZke4:Bk Ď(yBmIV oIfMsU[hRr d[7> *^ǎQѨ67"e)=Rk2r8%×Ҝa^lr},7IvFʕU*їɫjߊ3.pI9Rxw!{^A ^HFRP^U#ȼ|], %d# n[j,DmkA<Щ(^S xt)XnIGe{e%XvMCcTb.ϋa$hоݫTC]m^9\z4~3EIZ󆷵wJάU3(x6f%ewEZ%ٚڃ rc<TƠ1s}s, 6쵢nd/S)2 -O^ }Ŧ]Twğ ʔW,9-fWPsdD}.,:6 gr*t;z= %^FP䵋l-0`b!&!5O#u*iAm|쒯$Ke-ghj6D@Ys8Rkhݭn4:F7?FP&b؎HG3m8*SJ+Seᝅ&:Ř~O5gOXy 6oGGٿoՀƠsC۴&p?Eq^, `#|>8nmj\x%&'BQZ+ܢ-=XG(k_3nz/H%)$Ҩ`MdVlwehQ-6nٶ%@ߘu%ƺO.UEWKA;A7]E-N/{]K{Ȕ_6;YVH̛fwu.L_XTڰWG2}5тHO($`٤S*gxOM)TeT$V2^٥:bKoD~7#?HJoG•`BN8 H>DB~V{fQ!nC]E=>RWrT bsGkT z| ҡfX2U%JL>p73PW';AdsRDIV|ȎּU¯dX7΂wp9ܾ)ר[ 4&wəպ-HhRX"Ҳe^|B?`,מd#}3 5/CK`B:IG8o{ K+Ju>Ч*ьt;νmc!.2W.:oI >s5[m0HR:ng S ąM+I]xٹvtJaM!72PH `ߞȬ ) ]ڽrBgl-ri6*)$ؖ|N4E ӴptJ3SІОgd)#W-KE]*]dDV[ioόify$a6߾SMܪ! 8'wV( ~k^_N֢bJZ^ yWz$Xcʁ=Oa2UB^e~і|Dd %C?A}v|j9c.M1=Pfnv(㸶[ ]ʈATh(m"KA"*oH&gLVL#k[z.ygqޔFUbzJ['/hNE}~JJ5<;c4\%bZކsm^']A8d""1\DzDH:;䄈| {ْÔ| F~ٴ5(V7]' bQvXXeekr/r5#_\8 :zrYqxnJl CBGBjHY砠 (S֛͓4cv܄mEXnUB{~B2 =4;?f\ F#7"*PY <\:D[ƍ;Md(x"H"ٕ{BNzEנqvzkhS&zk'0U,:/ҏ~ܲNq^If8]gTizXDsL*N*aL,mۺ jd]%5'ڲ & H6<%p隆7LHe݀Uz(cIՋ)j[mźkXf>3/@;u:wGqˏY>Xlrz92GBEnj *[,wA?p y َ z/ILrܬ}i@n ÞPðۓ"Ku5+$ΎxOlY ω09BzjL@Es~3SSxצ|в{(:$7|\gH Y]=7t PtTӂi:~hA~ͬXJ%lktalם8 |;DjquK;s)0 ~/4zod >;hr_=ؾ]P_#Ow]U].MO.xG0ԘW>UbO.{bق vJ<xjv:fe5qyVc Saѳź7^,6?Z/`j[8&#*> K=K9S[<̉B @4?(6!gr7`*BɗX`f'|4~Ϥm1IC Wˋ0YT:Mmms 9ڸV_mKk0)#@(9Ǣ ?XqmU˄m!T&R&6E9lUAMS+9t 4R)eK -)Xp(+,@% # !r"F'9T+C5)`-%7Cim^VʢO|"Cf1菸.ȖzllD), ƓW1`q?9y"*H6Z)UmAH@7W079Im>͓I|`~u4*rZ~4Gϸ 껵ZJY<& P! llK^pBwo߈sMq91Q "b),!V"0e}R$b|SqtبEI0&Z.gmW*-1UqEМ;#HgyJN˝:vA9ةWqFkV^`y.q&'=/$f)lKo]e .FG̑Y nw'^ccfVl_:>[L(6>[nɂ, gvηVƷQt ֫arH ns}n%K!kZx:I8犎f$Xd)uҬp1aY{}!C% (5 EPšf2PelBê5fW$ЩsrpŖ}( FfUUs@]6ޛAOFz3zԴD4 #~Mș:Ih.f%|NrWeb4DL]N+WThdzd*Xٷ&c? /#}r#8DD_zs ƈ|d1!'{wBXco Ց![ǦRhUwV[_($f<͂+]J9}WY [XhVD?iA'ߎ0tbe 9#'ujԫdm=)ա9hB;aQ_(uJ R"o e4wUm=_uAGF+pWeLlT>BWha18GIϢpAWty=i`:Zg~M):NH-|aoȲ6mwLD'gTKJWe9 cjqzd5O=EZAX(k>ÂP`,2L$!4+~, X,B(/85`cL9ZO*#?^(!].;E?6mZ/O6z9k~sJMn;CUplAbiש2QLW⾩ =XǢHu2^2 ئdFrG4l#)yF= ڟ:ŏH%;w\Gz9Xܨud=ohm.}XصrO`.VxX;)A'" O|5QiD0A *00rû +k)J"a5ny^J<6xe<[zcW%]?[_h;(Q<ΘqbG?*#rbgU\).8⚑rǓ,%pp,L-=+6yAJ/̂vfGSb;0 i|;jGIеEGZ/k%U4!v+tr^PWMd- GP ߆Akc^8\T?QM8DJLIP;6}RlJEEAl_#WFM?lt![[F\C`1=gi >im3%"_ n͉5(dL{8|kmAyA\ irO͐5|]371EsoV[^9QҞYV}>_aلKy h%Tox{mWMuBwffW Y+ 'Jwn0;J`%'pd_;K7>yi /-xbgb$I5f֤AG ߊ!;wTM!4+C+S=^SXEgYs۽uW7F^'A vX_,5cqaW_Ӵ |z:)W\o%Ђ;ÍFq͆_Z:5 q%\LL(O'o]ޟoQzG0IJ] `to%߸Q% lob[8ƌZr'Wi #ۑq,n5(EEPvϓx@`eF6tOJa+^ Uk􍮿6Ԉf[v]-[ELU=:~19yE SzX:6}(8Ch`oW2$E"[=aEWeB_DܴM~( _N@I܅<F]-|*>GJelBpPB@iTJD f}P?iBwxxcIK3ϖxCZ?x&2ЧzxY1Uߨojs@!csU~t1.ujJw<2OZG"Xv S;s07&- X.x?%FdjyP[|瓌I1hIPs{3*dEڮA4p,]kʁ-Tu HQų⫙d̹ͩ9˯ џh( UUשAs%s *#J{=Pfb 8#q޽›#*ET P_B^3]J;ޭj +:O 龢TAt́]tmqazTOlB2BRQ*I ,|ۅ7EN/( &9$;On3ZsHXN=șYwd W!1(ӛ/eq1h NtSԶJN6\uY9;}O"S#K=Dob7R,TvSC23-Sy%ގN>ctJ/Hf`=[jPEÖUk߾ulq)V(姃0rYKաxw1==#4UD^Ģ! H]_U`Q!}$z$|ѓX>c.Y (Ln/z.6ChDn'u>B<5hҕ|dMe~JZ}QxAJ"ܽwpedЮ(X?"튱 jQNZhR^[F.8tffk1TkO*?f+_He^<[?^bp6#2 xaE`FLЮ2އRA?~Sj..R dwp-`'\!fx C0$*bTIDXWYij?:{`HNpq*.l*B|:04~}]Ee W f%_y~v?<:r0.*2HDێ-Q#ź+Fryp>ri1)6/韗)SepBݮv5}Qhyjgهa97j+3I~ O-+6а gZqB @ܥK"斒5"@E/-8 \zl)R=ӏ[ÂEzQ0Hʾ 7vqtAb\p0vSuE tPuV{)1o툜C/xfD\㶚RS^P)%%?.7.C iϸUm3.$H!/ _`iO55_mb1d*: + x}bIj+q?^aeT[:l4_PsZWn.{9y/ejJC0ٖ:k:DSSDr΄ۀS2Gz(_'9{ҮXv4s2W}YA:ڟ)ȩUEwI/ Խ0":EHkb<_rg,~{UVXү =\.?EsGW1OOU$Q3Tr Ҽ3q46 }D"{5hg?^l>ůY*/WBxZ&$_آS+HZ7/:efAvc` cUkJ€(+T C5$U Uy)9nj? 0W ͓O>D5'<OpP0Cqy@'b"!l0vsB')ny,IHo"))X xR!$aidAbX+̨xD8$-GcfmzKJ0]DM&¼bÌ郵d3 S 0r񏥜J+s G+7fM%M$)9_j(2e $0[؍U C+{0*!!oN 3rwK~),ڕAAp鮍zGm&Ƌ=\~]>I43颚#{hSH)5hbĀdu¦ rQ!vW)veA~VǾFw8LU&l>TYfFQc»`] &ՙ&!ݹd;SaYՄ'YݲlX3}:iQD\`(02e)P'ąYvnEӤt]q PP[u%XF h0[7x۾ϒvV,@0؀z PCzK6aؚ9g7ǿQ]z|I4>(Cl?mu1_\DX΅+HgYU# wnjX кKeIrwlpCpV]oG%~)'+c P~>,kג$<V\v@6b}^Po9ʢmW C:T {~T &]F,fBId s؃|J= `)n&lBfoڷ2O9L.{Zk@q)ȗlnl51#)פ_Iz3R$|YVay*|?{S0Pp%M_ճ a&Js~>_E?n vcyot\U|P擎pK(|g#'W){*\#Hw#[p }ܰt 0bARlhP4 /U@7;vLc %p_!"A %tP]oh*aDaIϹaG2˜ż4F<?gٟx[TnLoY* m'$|g,(>8׏Kh6|+vIȻ9\UW2 8.Pʳ/tNoIb&yl~-PW FЁJKAj4e8 q+ W =]Y(z2uQn\c\YwOn 7 =(V൬CW#OtuZ7FhpoidLEaaE+l39ƀ[Fvpe/% `PК\mۚs`YI̓_3˴6Q⡺G 3ͳEU"x,S9x8O^i|gg&>?c깪\ẇHHþOaJlok{g'Ovg}\ '#,f8+Q@nn: sӥu-3fj[;WF $emSk@Wx Y msH;TXd0Kש@x3UĮIVJ+$_^`*x'.0p'){ھ:nk4m|vb1и| RW8S>GOZD#\`Ңt[B_o7ͼRѝei!v$Ͱ1](:ۦҁϟ/q٦G;ŴLp;:4KȦ+AF­v;V,gz9jy2]"lu |ؚhE_ )ƄΠfd}1%.oe-t-w*:I/TyZ5:F::#U[Ó Ia֕"Ʌ;%AeDb'p u<ݙOtt.mZ iY$#G"kWna lzٹ6kyz79@s8#u]%r% 0zݟC 1e:O1&5 ࡃ:<ڢ{9CJ|^%@e*P8:L܉^,5@ҢŢ`I@q&3Yނw* \VCO|nRik [΋T/NL_`9UGr(,+OsiѨFɝwͥ"*67@>3+h2Ȝ%֪Dv],a9_?vo"G8/13Sqbڍ$:$=L1(Wv\"&D|<ۂ ʚ̺W[ YnӋKq 7o] [4k;>Iӻ%3gd:s]V7TBQط}(65|-Vje CX:pZoDfG@=$S\Nm]W}5E vtWƳ(X?&9ɦ+1B㨛MMzSGjDXI96,nHݗ: ;9e3&B}%AӫfsjkC'=ŶX_7nSYљW?QJ= ?_ڭVo9[^{Ȕu_[^,xr#i;FkKIl;~I16FM/窐M){ q\ʠ[jKWYC 8$0J+fix'/MVP9dC{ |K`߄"tTY5FƟJzGK`֝EtigZ Rw]9كߣNMrHĀT 菶C<^vo>\bb>lGSԷ+:V%>z$E)af*.Ԏ94W8cVov@0Yn7XKC1t 3j[t=v츧dEt c%n&_RZe}h˵7UTPz0-*1[hI 6(d"7b UpXomk™,_PV OYe r)D /]\24[#ꢩ~EKYӇ[v?E| k_N"K[REd:~)E&t|vU~.$')DiƩk&E9tq"8slT5Ϙ< ^9sR֑BB,Abx{`K~Gu񡔏N(Eפs#M'üYjN>bM :C PB)s0DJ?l۫U&ׂɐ'߯%w̖# DVMdZARJ*yF7ĴFaKp=J(jdh&(V_}OGc& PvD4DG7rJS|x+Cn Ǥ}_wyה&X>(!PֹN/:IkBY*ag4( 6PiEL#=Y98/젃M!iK<_!EmHqSucZrCMq2C%tz:M0+r0|G{ޯ́%Jd'Ծ P +XmY3>6}0J -˺?u^z}sVܯ;lCN~l%h !`d.m2W'+"B@kkq@RCƧ9P]|C[#щz %aq0:,aӇ'm;]V/Eam'QlELF}ed4gBXxL,ET: }6<0LQt~W}_hYs sK |`Õc^Wܱ8K{8P[ny^/J0TdR=m'ش.@mem$;1\ T8Z2ʥ*357 hP@l\tm'Dݕ "*xN-ᴤl4xNX.'#kb&)W]0|j@~,ͣ7In % .8+8!8 [֍ELzrЉRhQ3iL:BcS1ǹ^} bCET"3j@IJǭjm^TE"TBܙ`,tW"[L}^]5n7A I. p~ %Eg'q#In:66@NCcb[~zq13C' VH{Z˜.o~"DCx蛼po@L ͵R$\Zyߤe"q _IFx})eB`S VcFsH[;uJ4o웫`@˰6 J&9[ >>1E$]u i yY"ձEiSk^lĉhz'޹;,!&dĎk˨~BaL G1LufRϚ$̢&;% خs9,˳F F7ӥpj=A%[.ziԤU-oBwU% ޴(X:X @ -=Kxn G@Q$`/rAd+aO@^/a|ici ٨$6w17MN%m &Mu2/믄" jmf!1 9$ՐW6E{b *xqs!cuk~w qm7C[ʕ+2w]>sluWcFۆŏWտT@GXVxNXRlrz GW!WLE#e7{fM{9*Z 9Gȹ #j ܯ" c@h%t||v-ҘM!xMlV0_X!?7ض6mdL5EyN 嫝jf "a+:pލN+L5h'g6JO똦13G&}dd>]\C*3q0˚jmi%ڤ-$O4GG$b~~d9"G)O-pNKՅ*褆ۋ.?KL]JP_IY soB,Gn`(e`nX5|ogqB5>z;ʯ7Sm#xߜqңգ}o/OYhYWrپi(6D;̕% _RniLyϴʣ3QN񝆞5?=Q=_C;]"6{`x U3솩%uON^FV~`Ȝ÷9,}+Q0Q+IK?4E0yT]E LjE:,Pٜu֣RT^{ng炫yH↷ g&!r@.qGS"QS4oPo#:%bd 7%Y.o9 uu9wȤJP+$,IsU\ө!~֋y*yy2l =υAARN3sUb/$Xʱj2Qa0 ΀bSA#nO?\_`DۼȈNi ?p?k2"}E; |(l/]I'$jbS})ۿ>y$ME|ҾW%2op5#ۻ{$W^(0}Lޏyu+[=\c[۫hO ڬj{wUsTbғaA^V4Ʉ˻PdD:6k3Ds | &oDVU:sm & kcFE+^NtZ[c3O'~y^:,+du,΀Z]0P_0R'gU/@4Y 8 ʠpioL)De2CSШi{=DJuյ/16R|9  ӆ;t[4 UDQ -m=򣏜Sm7?[qd`ǧlXǿVċtc]L¬3kn^)NZk9HS]5_Α>N!HPy9iD5 ,= }ꃮ F^UZy^6Nomf,RlRa`޳tMX <\$,e0 fb#T ~a ہ]s1<0mc3%>I;LMp@D{̌H[آ3!+.{w;YDOΒKPHv}&겯oDTKȨzߗ{{7sO?B 3P6]PdGïNJp$B'׃+!χFY{B걎ن#)c7jx>,=9Чtbyy~vV7p x^0W$7۞pR ޘN*BinP{6yvz}E]!\Țn遾T":nh 0unU.{eۇg1ZBK2=N~rbO-d˜h빴 ]lG V 7U3$;mum59ۗ)])y4{: s8pyޱI?Ē:e7h)]g#/e C9r T'5Y_ j!ܵOf{ De͍IC~ .y f\x lKc1o:b1nns <龎|13 XDxz@F:6Oޚr%3 `@j>V]u4t\ XZ,T%Ay\:ZW [S69^ċG~_+Ie,R-KsG Bk\q2UmX[=vWKet!FfBcQ .R |i{;<;}C5,(¸9i# BskYP-T+˿Q{ۥ"i.W@u&":KY܁Xn;;.Y&˹rGFҀ7#C k^g QMYxq.@ Y)<]' b8%Ug)?N=<^+ rz:k[R%t$fCsLY9dIq(*1ۮ9KU(,ʚϥOF3VGKQ?]mPIOzCxQ`h#g_ !ve%@Utc|xgp~QO+&!P-gPM%Hꃹkm o\5Ƭ aƾ*cO.`}eQuxsΪD ͉5uf*"zwgJ ?NwZw$6Y#(T\A:Ӌ|ɋ$@ Z?2XZI0Պ1A{GN0k&ZDv<,*3.Փ׋H=8ek(({yd$2==#a.lYxԹƊe&S\"JuFԜ 灠 3CG=?XψQc uxގP qt SߓU])P':jf 3!,Ĭ8^h1])KM:8C(_ۺd[j sKf\QpcS,s"2joHkB_ކ_ F<(qYzGQyr^ml0tWoc1mu4> ٨u9k&}{,>si z<" v0SBLH|۬"t|Iͥ<CӞ;>U:HhBCOLݪ'`ѳ3J4UćS3WlI A=5ɾ}d_ewv~KEGoI6(v׫.QH sZxʀ; vaϒ[ys4C]%͛Ly3ZwI.Z_~.ߚ| QfTO7.Ha@4"`oL]igM~o&RxCO'[ƈcA1h{ h_#ȧ_ ޼ o{_höU*[p[A~r&,1Nzer ԣ.d1R&wxV{ĕ0Ddr t0va# !NPVigx|\u!vO/ێ~DV @ZAP}xX#t;섹Â60o{B!V]ųN{(!Ԇ[Sg8{vW˧6ZoIJ :ɔpZy®kݳZI>AsoybXdfdφYZ=L8j.:e7 [ɢ^0/zj̤u ǂU 9c\+PRkA?Y%oZjZʞ%wrN=>uB `! _@.?AX\~|_q>(erzӂw'6?sl~pR3f@>SqTX+ja7Oι%M!$VA.yN* 6Faۏ04 g9Y8ҁa{K=J U!|C)hC> fkJ `t'ᇈĵЙ\NGv;T JG̗;@^UoO댜 7lI^ yUUWg5y-'Љ(w2}gτ4g0sOB]@~q>YZ:lk'FyGlq[/v'v7l#0_{6O+ƿ&L-$ -uvu(na{BΓZs};pOo1|Tŕ&7cO\ ۴@B`ZPjըe8l%`'nPQ1|?|{f('=:`11vK襅s+LǑ7xc?P`8 ]ޤ1$W%#wD BZ-c2*7:u`$B=xoE'fH 9~+;ʧ n+ꅐ<1H'X)YLv`(6:Ds]Z z/CP*ghέ; i2`0X_n?p1}a.-9aL`<՝%͸Aݥ=q$kDy< ~MM]j+'1AA<[6|* "Gz"ݝzUsI,1|eOM "3LݴOD&)z}i{Iծφ2RF֤Y۝GLhfC]ϫPaojIĀ^ p$zW}н^c{ 4.$}KMMR/#}kv+-<'oau/m ᔃ W3n}NEu@;ަ olg_%CV V~[\3c1[FwO"7F;΄6FպcBnĻ+"^AM71b*p!hWVJC֞6A``,YJSAidynl _xʘeM;&#'> . 0x֌9?Cݷ91{1<;o QN%ᠳ|Ӳd(TU:7Zv_g׈EȑչtVEIihVϷ黶cb]pw2Ȓ(2BU)?zו+ $ hpQH)ﵱ)fwkL/TK ]T":盯k:d>rH:p,չ4\>5>z ɨG3DUմ {,M3uL;&}l2 F3g+pHBAv|٤AvRSk?afBL}ўclQ #@du`.npXrwT\Ԅ<حm8/K+CkpWM 2wTA$~FW V n ";#ι#aQFfhbON=2"G)TЧ]w9ȳ gM w] }ɀ£ VV(^vi!WcJFn,NkO' z4ZehUUG䛙#O/>k Ռio R_x_v&(>SZ gU%8FD8gDq}I0[uAB \l)M٣פQ؃Zxumt%{F׼2=9HT=VSIC^ (%C=Tc1nMKyioӐ[\λ@v]VlrNxFrW":q8Ph5VN@n=fۂܺ4 ';oE 8{H)@p ]>wc#I ttѥNkdOI@ET"j',P2ה,J핮1M!Ε-xfMaŌeNALZ f :}rWEٳcrHJ\36хև{ ZIq90dXxxS*WE2`wd^oTaq8)66ʂÛvn2ۉM?I !i8N2ٵ4;.CЃb`֖NVi*>P }*)> -#ɋF61ܯ俊=kj}i'+_?җvL,CWLHZR"kVU;=ž<(e8FђȇtĐ?w3֘Bkw6܋xaRe (dǩS7{ d*Y-'KZ$Hso)~4snxnV z놳 #ݰhѳ`a z|''~|Ӝ`1c]'ka#γʱP+TM8 cج>}*H8/[Iq@*o)^k'+bF+ǧ͜0"Eɚg`j+m+(鐅eΣ#\6Yb JYuVJ7XZGJ,zu+<+o .)Do/OǠeX_\r^='@d ;qvɢ~|Y@0vY'X^DLs:Uyl!J'~f׏؆g,4鄣YiogX&M~\}/K  Ӈ?-F4.&ZU@Ұ9}Mɲ&b~ ^Rhr]~K GFn3ʼYU#w8 }Yxpq Vǥѣf%@tWF@0ضk.&x9 LdPgǤ^]MtS8>a z3Dry0 _J"nf0zjW?#ҷ0.!h%W 6Fg0|n|GŲ Lʭ_R۴]Dgt8vk0ő&ř#k>DX9JQ>r!9]^_@ÞEc~<Х|#Il_(-F?]cT uuVȴ]/~<'ݺ8T~N~|HI0cLLr9bشnBiÄqe72H}\3Qq\;}xL# !aX;VCq ,(>lx>јE(^u5JH" xʓ /qɦZ<}İ73Io2c^5s$|ObiOe۶"2fv,Q8:a/La@+hm3zU * =d)GZ8[,1^qwY_("׀`n[BF@:e( q`J@LʻdN)obL.Z>blV ; ^]-7AghTHk)I'$u!wœGQLǜd8%sy>)k9I*K>\,NlxYANe= <r|2!D0͛O**o6hnr NDv̺}Pd=^A\1 ?A8jL+kNBL^m.ڣ!H%GU:fWSJ=P]'!qY4"=(o/ߘ[5CCy[6wEiAI &,31FFHmKk(}y)N W-^\gINM7aY}^ ԨHAm (C81oLw[DW bhzS;Fͪ\p0I3{'7rw(ids؇l䭻})`1bO@XoQ2(N3霂V8=w&{J3mn3{Rh^h%\&V;y$I w^K5]&q*F8W.s 9PF/BшJـpdؑE+HGw8e{:ݣ}XtEM"&ANLj]( wqj+$v} k`t]]hO,Vjg& OETnP[ &wWw8qf)ϕ: TƲ`P7йA2R_r{N4+-*n211Nq#I=>ind ZU4s4 1E6n|lE311k 2F6Z'0]_/}tyUь'Y|eɁ_Ȭ7zlg}14wQ,nx\O ^@Qٰ9h4I?H/_J?76 #-GTӱ^Fgߕdk&) 1z[ȡ-y"K2o`L(􄆤NJջyqs_h7TzӟGuJčYDfJ8e]?~p)pdP/JH(rSצy0;9LmT1P!{a0ҹq.~7.rI>W61jv kq߮O%jK_5Os&Uz< 21@#l)U[RLc]Q6H=gJ'0qj9$yt*{?vw]mڭuitZHe0\5pe sqՒBb'Y1GϜZV~88k |u7^^w [!.*`ZEp]=~/0%fJNJcEINd^4Z@-kB CxT$Y$;*q:.KFe0d0y$; bV/wlm>m nNxSL=d̻lg)K2խ:Fl 2Fdsi}o*_`cKC2 yV\  ZIOk8..0?.] n_kL |ΓLJ0 V3rjQ3Lٕtv|xr8k$>!~GpgmdMWyX@n /VE;ILpO? W pxރtkHXʿOSS6;R҃z5Ě:p`{g28YKqrFE+lhyt?ӧbWlTT\qdx0ȉrJUi2+hȀoPp(Zп.ۨd<G66ԃnTY}>(8kQz!q2..V)@ldeZ`qAeV4F,{X}O| )TE쌘C K+|KRSA, i@"D WM>+E!cԞaꇛoUw. }MȖbsR~ED]dn(Y7#~|pb(:ؼ `.Ҝ!ǯ:zrIz]gu?VgJ>#H_=Ʒ#pyÏ 0C8e'CZAh! 8&|sd,\*P:+{66՝/ll霝[u2CCPf]Go$=Qup a#6k͜0g& qT7)'.z%@WKx㯗K'kKZ=1\2g]H/#+E @aY=e%103ecj-EQ!NaeM.-aѠm-&DmWI86K}%06q^ 4h`Zs~00B 6pw3&>,/:i6&?yV|K6m[Y`)Q4-b?K9OJYa`Lr편[Vk-e \({~, lWwXn܂, W΃5F˜ޖX3{kCtIByVngӱI`gB{Ha7d4ELp>~`p(SZ0k_G. |T/WrY+`S-ΟU*Z`H=A 7]F05ml~K鰙PBSj1YjG;*~DYA%']dK`WޕQ:y gjCp{!$bE"Ghh? С%eCj@H]k}޺@7׾ƞtԸ&Lؼ?q'gq/R#A`O.qlR#3 F"\R;or~Q%wYc'UՆ2-m3wYVdԵ 6cɒm\Q^>t-zE:y\m燴 .AI[X2 @e,ѨʋQpO]#sQc[zT+߭dp1*֤GRֻL<9QU$6FՒĞ#O/J \)4W"k\*E.ׁ\QqL*0p3Y5GbELO,JZT\ED?v 7mEx.!N1zI},l6F$zs_gIK2tFfXЕE{,YL<·S.ttܙj Y٬ imRކ'HY寬*ˆ?JN3¥0{߅sn哊3CDӞ}"y+J>7Dkƻ&E՘b=4N0op>stU!#ut[wbq=mQo/78/q2}}g@XFm~~WS$Y,\]9A :.sqL7?6"!ᅨpKRy%BIk8=&%#^m͚Jհ 9^IpřBҸ7_2GuQ!E&sM.>ˆc *uuHo~[JLu4ms pB`u^^J0,&Qb JR >'v*k5%aB*Waz4H$Kɨ,:+rA Grx$;崏g+lKJ]`rx|۵S`n42(ߋaK9btmO0W spA%-p?yP;Q=[?a&11&KL]NSѺR(zyP]ۏ[좜gge?|@I|}XdJ26=#×Uﺍ}=W ЀrR[OIrI50Ikר'ܱZȹFwc[UVkI$ﵷpuk\MhmAۧPR&,wT:770ّ1ujR)$1(iK\3HToa7ʮ CX;}[f~4'un2)BiF2 H#fU:0‘C@I 1LO3zygQa5؟.QU}Pw4oA9Nyaz7)鞾w|zS>*Tqcۏ۱5jZڂ$>C'n0yCF 8TkfG.ÎvչSލn=)Ap{~rw}C`,}cwd|#&w6 0w 5q H# Tʩ0; B= yDZK/jǼ@9mk9ӥ4^APmmS+a;&PWydAJ^I>;7Xh.`U^u* ~r(X[ ѻk5X b#[ ]7}Q6Ii-T,G&ģ_7Z3gm7TuF!͙Y>tG"g!2w!4RV%c$ޝ_0= p MS`!dX?_lo%H{6yf4ފȉ6G?.\ZWlwauwsmӫ{DGirkѭ;IKy '1Ƶb&ۯ8z؎S/c*)m-D-j0-`m5ݖDIA1տ:YhFgFW1 V2f[{5xZhzQKB /GD[d{77Z,Ǚ3+_wN0 *.T=D G3Roݎ\^Iڈk=GږR- -ʹ&T}5I&a4d퉴~m$Q,`LҦha,0i;G5AԒUd糋x(6F~W&=2ۜlҮ[Vٻ˽oi4xmЀ&!|X ܳ8}`H5V:-&7@zv5EVگ_c2$g(CW( x)b8I )q(=6`|@}{EϚ.WL <E*#vV?^>TP;RwB.u.2APܯn8.-!BMla8#}O PkQ5fge^y^H"j?>B|sw{0(Yo $ґbQzjUFidGuzݤXFwqVcC mMN۳gnU=qUqh#yϵ<.ilrlffG7@7^=~%0T,díR2,z=#{0W3#MR>bKڌ *D)z\%qW ^Pј8ۥ[en숟V'yNUZ/XO v.Ӟ*l+rOb%2gO,ێq!b1}39xY_7܇@ץlFfz(1 }ŨSM97C7/WdQP?Lm%v[ !EFz8|[|9C1{ާv߱'v#T0{RF /푪 `)HmgPi*M2:Bqr>3"uHvOd2qqcPS"gEA{*Fa%vOp=y_,I3 0\!c:()Ys4ѻ$,F6Y)P]>O^7_sN} T_*҉Ę@;sPE|?.SgWL>`fU<ډ{qCSDNC'm8 ]:r3˚BkstK7=f]m`m׶U="Ak#g Ka5ޕt*GNjm9/?-~ĺōQD6ŝ.H-tv2і 38|ɋ~9Yྍ!ߍqKнb{Us,GF> TP^s[Wy;& S9P"3 JCWQSЦ6nn&f 8FJf*c~+yƌ 2IF.'na/! o[0#]^ y[ΦYå|U(6^AbahǰDռt;տd{ ߺ0 *k@t =HBB˖z[{ed:>uQ;1i _XN06yM&V50̇|A<+`utx8V+C=\F7LqH-ri(L Fu@&77xeFN62 |]%g]ÉYY+vb}Ƨ0uU{.M?|=>#iP;slK:8AAKq @4/Â宯/ `LM"023_~YMRkr_yyqc_d"Sb,u;;t JY!ق0`~ fR"y1 ]DKiASJcsf簚)03'foP''12hGK+=}AEza+Q5:]gqHnCAFA>EvJQi5 iV@P"\r١p֡tˇֈOI ëܞO؇( Qd ?źǟHXO3FmrPƞ yH@H/P'"-~C\hUZhK;^&bPih$bq guj(zxہ]kwC$$!ToX5g)(.7b؍B 䚓->mXW8v\):ݻ9ѦSey  3z(`'+Q)j\#Ľ}4llhh.]"0i,dy(9҇0(]h,3 5pYfpFk]+%i* 93ނlxrM7D| -54(=Xė+YS#M} [isn 2wIm =*7O xImQh$w qc$Pl'e $սiwL 4w6[0[ Yܿ+>Cjk &2ex[v[W~je K5ЄKL>"A{2+$5>({҂Nj#}w\~A|7H$FdqemOFjje8Xlԭ+rA D2Y@s#`Q|ݍ!_M>~%s<’dҷՁ8;U'358nq 2*$z'g|0HYՐ\ɢ#?iCx}l[W]l]KGouz/TS6uE?sa,bW+(͢CLѴʕn3$ .{D50=u%DT)*;`RO75^HP %΅!BAkvڴ?8JMҟfĜպ[(n/ad)kN},V3mpf:m b6(42l<ϡ&<.f&0lylI.}%/V9gPwLgtr,$>ݭu[˼Ѵi!@Iian^ieԕ`Iu&,#9.^wf&|Wΐla&/=]'=v+/J6 Xնa4]ą2)Lp%kKN!?);c9[x^wS2;~9Qe 9vBK6p?yq& דQ7j9qtH^WF 4;\LfҶv1:LeD$ R44*@ L֏?iz4Ok5U`_J[kS`dx?l{#T{NC ?鰠Rq6 i?2l=)o1{ ˉb1\WtǀX7+y8*L:v kՎ 8͏5Ȏ 3[c/xϥېAf<uH㫻n@!d}H`zoK|@!͊NUዷ-ÛŖ0x[G5*]Jif@z|p]eO׮QY+n+$.*n,se\C_AVJg!T`.wI#K譆c^Pv?{]$ @4dw|ĖP1|e;Von yhO/.ZF{ -0Z1ښ޵BW WD@{. 4fCXoHS VFf8"žC/]:#b ^3@"S6$;5D3߿? Y!t'nqq?ĥb|f>:wKr& CYUt7B-VAw1Z@+!4_"hxѣ -5@ZƑ6)J H;"[5:UE1GBէ%bX*EF. ~lRO ~G&\vYpn̈&!ȪW"KΖN8$~ec8xL%CSLRCnW|ɚ'@}+ A ia'>/aUHP_{ږm:CVc60aV[jNC-s0 c)c= -a^W|*]"-gMЭ!~JX6b&AšJ<$5tȥ>28p!z01uX[T{E. !?=#!X:(ɟy䭻_{F.415lqjG}wnC^Ś=`ksgJͯj:sҙ ;]+Qz%Vԍ#%N!hҧɳ Cb 6S3̺3U 1lݮQ(C7^oCg>@zX6 Ix57|B3_B[RC+_ytZ?MSoï.? R,]3"Lt_Ϻe^fR-}uS6ЮCR]U:-,}/|,1(fNHqC {$ %e6S Qөg+XQi2A&ÏU/z D!OVJ'_B 9}<~m Gr^5h8Y@ АZ4[h<0i1(\J|co8C[A!Jtl4r#5v -#2x}{dtTJ{\zۛWCxE2(({ W(|?+Q!I 0Rz [sZ #JhF!{YH==vV@K.~oڣJΘJ=K_&J-5| !'^%VCEl;.+Ć4ģ u0(w?dPjDv IX{gr?U?@hn"yvjJŗ>`5SD0-Qiv40nlhkDV$vтx~KǂȆz/f2Uo647(/"GǪ[»XZoC<"R D9U} Itaz ?1!>?bӸ{]xuu#VaDNk QR2q0D)ͱxčuJFeI66'QM 0+Ƃ*|_C@ܪ2#!Jy×;^( EfO FuGnsFgbӨ!> 'ڙ7S*UsCqT ԍR|.Iz'؅2JnOi]p6UG:7.1,4xZxKLM<ӸTb%>.6PGohl‰?~g/yҕN/-nt۫!In:q'p"RzOQsgEb3` $*MS8.qӞᬗ'6!A Dݻ1wݭ7pv 4qT I|Uo'ML> R#́XݷWϢ澑Z(ːr\M6ϗYX֣j4VZW pHaJh{%x~Dw+ =jlbʶGh xe\=ڋ%{-X>iu4 #F|
pSm.1 ^KgѮ46 $EW6йWNM}~|#mْ}VIyCs<'=ZвEYAhe5ϫ%6*[."gd}C #$H&5o mfj5 ~RyED-ͨP)f@rxE#( )ZY2/ɷ%S>ܽrYPi]qLuR%lU}a|~{v/5Id˝ɱQ6-ZD+inzꑬD=.Yr<4LHSI*Ldwؚ9|P;#2 P[InkBjz' Wϒσsb(QHOLJuѾfS]ELAyiBu3{p9<uPV!z2G+/E}(oUg"?6נoGdrpN>`SN>NʷdU|an#j#`ۡ9xb9QLFc6R$FJK#HrA8RKSNu-:Ҍܢ:Z|Ve;.kER[㟪W؇Op-/. k%!P.[28_ KJ2nFLͪԥ^l=h0FtnB/J" frq(<;K|7z]1}RF8Dlx(ё9qerAy6H'e%lǼڦfDyYr?DE"g}6dh/Hf!*&qTˬz^C(WtZq[|׼l{url0 kޟ3M0+Vx7ҥWh D8zXZө,8TAn 0`(]q4D#\d6߽Жb/FW@c{,S+w{IEЀm{ZoxH .IJ 4 ,FiB$0ASM;Zp%sKݮe'Jtp*&pK;!D_ s\ˑ[2ȓ8c60}$hW!S;7<:!> Ҵzzׂs(*MS([NPd- wYˮք-CR(eH*ztђz{f k$q$?INPY1<źJ6~},cd-վGQrEbPY[x@,Sݕnevom> R]D]wc8zfW 9מ ܜ\[CE]rN@@ o扆eyTzJ5,\XKj~ C%''E0ߜ̗\p) ֗&EʕL&zQv{bLN#mD[ ~Etem̌ɾ4u{/ ݅*:QgH P 0njVǭ0-_#lPnϣMA&f I^WDIͼED ussVtJ,H ׳{,/S x.ȵGVy4lc<yn Emr\feev$@:;&H28N‘tbX\ 9Zc,js\:~7D )TzY̨LA'`X oeqoQ񴞥)(Yćq3ND^*DN5lusW3Y òdAu7`M?13餙+#\*yߢZD/y2{Sp㛳 eT$|;TԦtUN@f >)yMU$j劇;\uÑgU86b>5y"OEo*xaՓbǑppUAցWſD~Es4O&N4o]YI{5=@9aM\8EVvE}#O:ItA4e Eb]H$Ol K&3u #J)C09ź[\xQeLGZavAy~j#ԲR/upg38kQ Nz,ϰ^{rpe[_M|RXGLx؍'d@mgiQ(g}v(X,e<'cwkИU 멲e枦E7Ȥ]qÊ;ڌQ̑l_歂`"dP7ţu/a7kwOS]{l4r"/7A\p ȣpSo^/{j'rk>)x$H 9WY ŧ.%"2| $(AN}40sT~@S\tű#+!fZ>έYx#u͸[Jv=oo!X0Z{F]djxCD*|/;X> >#8HtYp2"!* BC'Ad7GpNӤa~ cݦ[t@ri`ewn悸dxEʋ:{WЅi٫$ˬCߍEh Z@R\k>Ma8ik{$Agؘ=0 8t*=8/D\Bh4W瘸RTQ*R+U^ꓸ,Fn2{k Ԟ9v/' c7RAplI!+M-|p5x۟Jv醈Bqx,|S YTV̌f+Bd}FkP; c#L@Άrcb_h۸3EKSɎ$-(mArRn&A3 x}+zasi.Ot w; '<{J=pUxw{ɛx5t(猐^֜72S/ o!ңF?nhl b`Q`c5&[; f-`㫘lk<`g nN%݅C'2LzӕJ ԣVhփX-,|IrȜȮ3LpR^;(@,Ypw60ϰQFRYywҽJDZf[$">DU3a<Ȃ=0^& s:PV+E{}=.iݷ5!R]E7&%gx=I"{ƝhPu&F}$MtII|)-KҦ0a~fGMe2wR|@%t͈o淂vZ[OTW"V@H5KUi{TKr- !݊m$b W/gT ᅷ9ߔ{j/^u@$JoPvZ+%w?['21k8(bff֐e%MSUypn%kT":E,)(@(o}߱']pmXV11ooe],K/C+?6d4sFY咰1`*~ 4F*r}y) q;3,E#'Բo11N2͔~o_4[ԽU,1er>!%Ҫęh B,ljJ$<  :lZ&TZitOj^I9[<@ֺȖJx#4jJA0 Wg hN yl5ܷd;!G7R,I4&NK>3՟  '\%- Mt ;cz1CN$P; сfs aQN9 vc.*q,.ure.ɚ7>o L%2y79Q[DIplYy c h/AQ.F~~Usܘ{7/Ag14UB֗E]@ܩH2.cuw%ncm )J>pplnd$z4ESB9}ʾ 3ۼ:>$j^`R("aJe7"B CmsG5cLE3 !0Æ{+mUpFsWJ1KK)yN9ɞ\EW1[|ALxа"!iŋ^cC~R>͑z ֨^`I:[y%%ɨXPE=M:Q^&QSo.hv.=Y+ZZ (yn8/[7'qqx]4yFggZXyi3`Z%5ڙ gYZ7zXZִF! U]ŗXi%L&ʷQ?)hnqi[N]j;1+!z|1mdӉwxܨ[IG2oN&0փcJ5aW2pKՎ;fkՔZXtya1WPd<],3wT}Lx J$T)VO'&vߊHqA*};(1OI8,?˅Х2ѻupx# Q!\FU_ԉdp;q6+PrE]zj>Y]]m*v-v K6QSGrtb `&8]YB3VDf<ӥ!g=s}Kę,ƺO7 )ej_gD=-@]I'_xҖ@\f4ssM9X0&8zv9q{%7\ ]gRw9GA?) "wcU.JXSԀO#/jKhjsJU z՝ sP Yv$js+C )m7KК,d߿J_2\8:|+" }дcz-i)CWN9- &&*u +U6N;(Ƹ Д|p(![XDi>3HM[bbn̷~`@+Ȉ v[}g]32%WUo⒉v4fqKъG$qPrhato~dD U=&N0!֘l?=YmՋ7<&Yc  CԗBJ~g`3(d5e!^!78yH`&ul VQ/0(Lj؛5;nӼ8 DL@!e}n*8I Jd ?Х#R~9r2-p>㨭-Xs߭;Z)h7+6ӌ=7E@7ji*Dvݖt hbE7 p7b:it⩟SZue?ZoTl SD\s,0K_{-Џ-DKDZAh X0#Z+KODsOwg;_9pvxH,Ѩdža.wDS=Q%+U aUL~L u3;4'ngg;bb%MFJEE&v r![qsMvKZÌVU= m ުsg,K? $KMin#t+$=ȾB4FgiEuh|=>[U$ŭ2]aՈJkr r?UFᣯ7{+r|EQ9swuͧHL-[}VU 6N0o{Ymfw͒sydžSū*R3`+EŦLm3l)x[!٤PY~g[nuMo9#gYZ1fd3602e2d93c90b7b8de8fb5f468046a096111f9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f