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 95~lTT ] HOL-Nominal-Examples:threads=6elapsed=250.700cpu=1193.212gc=111.1087zXZִF! K ]ŗXiɟH)0!h]?W ߹ĭ˱_Eq8Fp7 6>FMbkH },obhiPצ1}i++d%0越u<$h**m ɢɨ!%"E="a/̧" +ѻz[Ȁ20i_^g wz /rBX LKQ=t3V(gfV^ѺM#MQj̍r[c K/1Y@ Ytݯk@m)Pph_C^莽,jvwV7&J,l|F_1(Չ%Qe z{œYւ7 'j\" =[\cۈh'H99#p\]}8PNXw8 n"jOR~ =uQp+X׶"fjk"x|a^CGuK4^;г/ۺ+F{ښ[x-a\"iG;r,S7&=ޢf ލl]'׽W$˧Ԉd<,gtQCNkeˈh4 !{emiA97Y-]L;63w[[`8SWII2W p i28 X,,_$X@ rܳ qFt@nzSݯ}(A{MyѢxG)_ w|>{D2BDJ>bJM+AU(fUQ?Sh  mH^9@e d4U$\I V-!>?Y4(|^9snH*J%BKՏ[~78h^pFyz ^W*t$svȋ`qZa3>qvy.ԇbLyn@ȩe`+l6jGFs)QV CF?`6 uS'}bXEh7d o}ۑBd Nݖܕ_=%6}'DRʜ5!A+U-ȍL"t6%WILU=A ~KZt{VnŚ2;Fw<Fh[(˛Y?|y`f4Iio~%w`=Mx7LaרF'ut Dh&hew뼝r;ʂ2 ( O׳sS_N-Jf*P \mi)vG)m=~ӏܐғɧZXtB&]xSh#nlXtXxip}Ƽw e&pY>n-YI<1D 02L=^/'.gጮhÒ:[tvw`cY>oj-h6 9I :EIC|=ؒ]$ _3ܸJj"`EF۟6n4mBFv\ BO+P#'kAfXGGDrȃ%ao0`kY zr~/(^OV\3,Kq^4$EAEo?" ˕h!+DSР/C7،`0KԢ1]pQ/Gr`c"8IWsv?H1]nxK|=hWSD!DLkۘ9#:[IuTxh56x%7BhM6gZE| zn뿗@߃-LhоD󵤁q+/xUc`u\ EFvM&HMaһVlKQnr:GJƊX}OSJ|\yyVI"ar{ջܙZp0օw~[*ļQfpi%}{c-Wg0ʹs8il.(QNbuxF52Zӎ P]:GuG<˔]҈(h>w@/N׊u4PV80$̯z"3ꂄn`/̳w}~`z@.>n =Ho}`UpڭQ͊B>kob BJ,ro{]+|ǵא}$H؛+*T#y,Z >9_Ќ ($n\sMM&s[{Ž8b4v4knҹ<5Ò WQVۊ akD]`йoO$;]L|B.mg/rE*!\ kS3AP",yuEң `3H3' zGua}Z'فQBݏ}Uw$Eϔpl^ RA/zYA3AK>$xqD{hz Ez|@.]ʱ_<ჭ:hOĩ!#WdJ>x砓8c$ d5v^SM'~M2.æ WJȉā xyk֌2v4GW[bԞ Y_ApibmkmNȿqH B24F!wg ?0*U.:~ +֮:OǡqƲ&TlC ]TF#:$k_Bkĭ G;w kFo}#ɩ-1&.ڨٖnО4xK 95pBUGJ3̨IgKu0k _cҖ*޹#r({o#NOcFI Q;ިBr]~5փR/'*T,^/7T-(@oR=;*gR.] Md"֑sM> qRzO3i8p{|EzYt2D+&$ Ooݓx5;89r.T@Dk>2`=+b `Q<-+sG{2y86ԗ%SE#TWYҷ)}VogSIzј찖GZz'ƅe|٢ݯò5!ѻ%j9[DEŭ6liIq< c"]QZR)z:L0 SbUsD~]U[B<2Wjk5Ws^?9eR~Ӝ[^R/Kx,ql0YKe+:Ct{OZ$ ˸u"'b5qee;24w3_ӊw`F-NSN[ĝ>ל̈́Gt1I#zԺ]0{ԢSut'O<0{%!|P#~=;#Rը7UHX"h4QJ#_&`$zj6?רxa"UҏgWUE,GMl5H`h>{$-|$ëHϻ$9рx, z͂ʥ3ɥö!D)I~.s9[Cum,f/wz$>!, VMK'wf⾌L\ɠ~}ї=esqڼY[x_Y a.9T6JS[w&؏u_%r EQ$_:09GbwX_iuF YtQ9Htb =n#sk,`֕ҨDuTPj3ʦ}B*%`kgVKe!*fȰr7~ta&V 1/p%#,"ʶ㜑;Ik~pSeF\@ϲῨ zr* 6f,E'BYaxPɘY݈KeĜvwBKt3/V)"Eoh2c쌠ҪJLscyW$i&,+^)ΑG.Ρ۹KAQ/0=Y|&e{ldOj.C^}*_n v~*vzo AzkȠ2]:'Wg*M, JLoρSj]W뎘 S/;˵3[SNL^|Sና(=0~VL'x:xH=bsvdB;c>>9NC#x,e{}R$컎$<0 Pn rɐKa 4bap7ŃUO4 __V sFE.a6||[ܰ2xO6> q$γs a @8y:o̐i|*b0oj=` {Ň3i݌kXgDz'i7cӱIw$^H#\1cfmQ@{=T"-2#<]+"o(e_`+cÂ9Oǘd UzB.f4~(~3_/ ¼)|T9:m&(fuY2ѭ$d-YCMl:d'ْ%*GM5[H`lxh:IbQu_=1j fMpo%m/n6CxD8.D4l4 [iUeDEn}ڊ!N=3XQhƷ%9u4abGSɦ`0.vY[qPت$F&+Rn,TK8 3t#q|&M"~8ʡf.o %릐rN>6tٚ3ɘ6_}WcmŘzsA1@`O<Ձ.'홖MX͐5/#&ʛ]jQ+p]:؎ק 鵕j kkoLcFOoDx J1nvH\i7ش++GU %dQ מOH *}Sf_M_%v Ȉ/d[h4M: L9pn䴡rqMJdToտM"w6aͳan3hLg2=bDbJȼggSeI,7O's=޼2^6rbnRuL Q4iuU3!sּ֨)=uvëngv)DzU&k~3Byl]ㅕI1P29 I-{ii1sSgo׈&xK ZYZU1G/H } 4Nj׏2m$/nx`n[cvrz|JU`uلD[Q1ԗhӧ \1, E%{Rq/K.{L?9~}G?RtyV\reOZ8S(|L&q$S[K/]䄦F~I88?jaM,bY O;Jb mOnуg-z`nVfCL)u-*YI NUo] p{䤑R"rhS֍k.U>r"5l! V+;n<\?ہlRrlSH[VKOȸv-Dz?t/Q:4Hd>MN0v%b_| aM#WZ[Cn)Z)Z!>'2bHȒ~t'n.rI7wISK+1αv>*c;Ϛf@cH5Ī 9S+lxI_w;ve1fj-7$#;%Ϭ*wL  ,oN-RTMk[:Y$,QWI<y*$}+zMP5`]}̽m_Yɧo3;=j7`'=IcȐ-hc@P(J4(L#:;RԾgTXGb˷GbF,j2,,'Ȼdrc:pyIpyq[Fבu_RY=<7zRknWZ< ^3ʧs#W+jL]j2 BFW98Y=HD>ZV"wvNQd }PBb'ܵjI|[$ q@uc r xJKqBEy٧SߔXߞ]I$תAwr;IÉHFx;5Ư/;Ho)D:lT?h:T!N{LwxL&pqrlѵ9[7E q?&ALsL`UsKbܺ*23 zJTsR!)bw*t1<O9:_fBT!0#{/ꋑo|xE[1eU{{ ̆1LX~n~=oo Vk3lFQO)hESl^lEZ%MmU1gG!J!He=#&!Q3alnZo-V#KdTŢa8~G<ٸgdg8scJeta'0#)e?Jo{p_r"\R*e,<`ڢC1&Z5=w)C! -z a%{WJ砣~WȝmHEd>B 0ojqwg=< q{ 5f3_b]5!zkΫ5d>nG+y.}/HƊ+U:=DwR|`4Yd ?Ώy_@ 7-}mBքKF 06'iV<_^}Ϧ V1Jn?ERi.lBB<A&`g;( )[`Ib1K Y Xn)_"<޳ZPs!~eZJཨ!sy-ߩnKdIX3ͣ}en2 B\> hx-+rI#:RV9aO9Q&cYP$ 3]7CΕwLxmҌk-mӋxi'`J[B@pW{-%r(tS\]2*w |ڒ COԢU-ƽ$/,ΙÅ7a͞&̀ ifΩaƍQHꪃ9n՛AXdtu6,ֶ^EHJRiHw!W9"nьu5XTZrަ5 :ą~S~ᐷL_!L,j'f0F* n"t3U&Y9Q,+*Shq!16vߐߑPqk4}N2bhg.~(IDlpɸ|g͵lSP;\5hh ]\ =@g6 @ 62o/];<y4Z'2-ڃSGb܇@!xʁZKu b M$fSgPɯ{~}'Br|tc1[0.^I$B+`Ӵ7-%B %~N#R~ Eđ3C %NN._!d -?C3*eZXHM_HF/MkZ*+ =އ`a>O: Ѿ=awx5gǭR>pz°FCKnS3 ~2eBrޅǟ+&BJF{? Z>uB(ةڮR2^P]n ѥߐź9kַ# *zS/{6uA{7%N!nݾ+QN>b;݄ANrpo{x`T.]rLao tcYgTdm4`.YAq3C:U<軯 w~2j&4NodO%潼6/e TL%J8V#EՎJd.,BcZ0)$D; H0̈́ hNєn3\áWXOM/z㟸;h񵀷{,9|,, nIXon$GD 1C,dW[M. pRSD6g7yѷ;&H+*^PXڐxD~z.BD(aW4^HB9`$IhX{0NrDvHeXR|[)o+^:q I3&8[ Ryl:$ WM+,t)OevܦZ @`eZR~?_5:RqFFב +U$P!1s+f-,9:nP?]Y Rмd:~Uj4GtO*fO<%SvWrm[a(3U:dܳ܁41mS|> B=?4kx찜:Fׅ>. BC;ްO<\=?ΗK;#ǛIvV"h.w}5􍔡I|H>t,D4|ǤϮbx+?ʵ))HU"ӈy *1X!5]&Q+hL9!9*7ӢsumuOwr1LُA8S:IeMO0ޞ"CV?jmB?Gݶ9+7R2|Iki7GXXqDή2'؁ hyg f{9mM/swG~9n ]b[֏rcpT?[?Xyu# Tx"Чi3%NU G y:BuCsT|SC7h2mS5q0C/sni]b}33a^^in6<_gV]%-Rwz1F[X3l M= _ACs5Ql] /9&idSVY; ĽCr"~U>{zdpS]j5ӡq K{e,f%ʀ qw u67s;W`]@a`qe?s.ZPpP:~d4{cS}Y3el˝6 q\Ȃ)jLw&%2܎p JoJ~~hqڋx'^rs`bR:VV^LkwQ6BXE;lBF27፤[=Y5l&1_VXsaI;>PIƝD boTڢ1pR|kk/SjMV| POZɖUSb'b/uĦ ][o9O&, _+9u >d0O#eoF op.ΥfU/CC37fP8rs-Җ,VhnO6@d !2",Q"\e@#Q`M`63r{PDѪ_$C9QJ*a~ KrDOAX"SrsH1QRxΖDe_vzs19!FƸW']OSoH-H;-0|JwW :%M(`og ЪL"F4~B_@Xi9su؛H9 &y<`pj̩wQnQPƶ&ƕ-W.:Nl"jc(PJc =onܹB5-iDmgT=U'j|&&u$4aNȐdhx jA+kXa!BJ  bg{22yLJִ8XhbJEGOtAy^>ѫ`apLâ(9FKJkT!$\zia3VT9i:9bxy)nFQ됸~R(,C~b翵wg?<%Thk(3s37 ^ <NK4,&^~c#Uw3w0 7=0ohŻ$T33 O8༻U>!?I AsHxnIc.K ˊ}geEN9d=ݻ 2`X'{F7> ͦc:&-c!ZX;@ TxZ<`?]a@ah/-WY'~<ﵴ0H +GQHkOK ,)5StnG,W/F.xI4^KLqA&e[cAcJuR)x,>yXBf- s}!25z9֥ &ynSRy }}}*>#ɬ\?e{KZց8St ^QMs"{qo8\ǹ4ް7$D/gP }>N0tDJy<p^d(WB aYcQbx^ݶ^=~*;FoQF݋F,Ech կZ <ڕğ D$_tZ2<!蔘DzqKpO+cvdSHAZL{t?xh}ubI{r 0RUI'lEW2f^턥7ޤdARMW wkHRsd %b\C y&zQBI@fH R)ΛV2Ĕ[Bȁ1 fYJJ < XD(\>f%5lZKμr-ǵLjrwYq $:;ÑO.R;\{w%4ۭ\;DI^p 9>e\1׎'C 5b8\C{7@̾py@ Dpϼ' 1x'v6ܸO/j(-0xTP_&c}EIGC.S^ )p8G;Í"~>'%K+C_Ok3CQB Pž#]|3/”:C:bn4^B.Bc|Ysi}²P,0Y@jDk9f]'I\S7FH~NR1\רMC꿼ŒK#!w wUd sALCA}CMn@U%/== F(ҹiy`K+K'? ɛFaD`4 !>ƞQ`<{ۥtszw`yPmt:Q谥:MrĸT^86~I0lRKn1 [B Q3{`hZ$$9m5Nn4>I~a7[I }M@gջqzMnބSuޑMvV`w^˒Z)^6Eٌ݈:5!NEpEbJͦZ>c鸐fu.HeYkRt x S{u _d4ds9m`zU]`ТbRYDY.30P0hq/R<_yXӾ[xXn~i )kE0 Ѕ=*5bt4hz[̐n $a'ѠvF}p ^w9HYN^D1JA !̽ʧZqBTeOmM e’NS?,*EPĢ>^Xy\L/KFEuuωaY`}P"s{:? چRZ>%|a^1]W0km{ !3tobr9RF~V6ˋRЋdGЩy_zLJ Sg~٪W"+y:n9|-#Wܾ йMʑOnθ\NԇG+\L@>9Dwր`v˩,J8PDLw~NK(ʒm/@+L=mrFf6*o'<6& irYTh (>([y zqDM/T\7k-$!dDBRJ0Ɂ(;RSG[wi-:dHܾ3{rJ}}w[Yr7D?DB=xJL$b`I3њkQ˚]ߑ4[Dʐ f׋)X)9IIgVU fC0dh[ϭt`59 Yxz^^YލF)CM0u9&0Zy 2Q{#DXSi9挸[)WS,Su 2M]Ȅ'08S?:y"R^Rxd{"ˍ,#N:}&'BD^ ^h_%4 tx%q\M#0^?RXޚ߬qmw*636BjG>zeշI. TmF 7'eH΋Ϯx+keY&Y"%сWo8?eZMCGUJbswu3V+.SH }m򰋄 C @"{N7( KY%utU(o a¤O/]c&\z7Gudv.;L-*qԓKn{V Ua!i{VecZ+F1`)ÚֈTx83vn,9R^H2=%qf]|U( F鼴S' eϻwWeo EwfGrv, )ԛc9h_DK#p&Cݩ?km)\L>sGuC._rtxPS>։ hΉ jĚFCcwU"LU)q:΁/74K%z+;.6,dNդBGIPo{%?N;a0fHˠ)f5XE~II`I>f,0gu-ul-݁doepfK >Gdi!\sbu+_%:!Gң?>{z#a-Pjz7Nrgv Sw$G+ԏk8Mr`z·gN]~I%o'O-k }ig xz'5eLVW{cqDYr(P,]ęjTAe-v) .IL8UeQqrg0`bw/]ge=ZCt<Oa2驕cCg%*2ZkKq)`&nK]|L]l{'[K%yWNBJvxW%V嘉C=U3.n$>rAΑl3"vёW&4b٣UE ɋ見5B[aC~:x\4B>E2yr%z.{1 nOm$ܚ©r;O|K傎ucOvvm,W=Mey@ϥf+^웄+HegÌr).0u)C=Rʇ[:[P;֑Ϭ2GSG $.hAiGs#gMjQ]`7b ap@p%bՆcD.댊TAaCu1jFG1P~/A*@'|}IN?q(B"<骐2a H=^+"PJ}*u`;fm8I4-;^AQՊ#'ߕ6F kSnQ?\fO *}`2KǘHɤnL+`7ԡ"ըnvX1cC4$ z2'2LO&U1 R$Yq{y^kg[eB֨%ICY mY0j+yKHw>U5'nC:cZ#Zɥ/Jͥ\xKXAէt0o_vڦ@+!mV-֤,Y,"WYvl$6QNcƶ72'?r{hw3xJvY6 nΚA\QWoĤ}0C4(H.N]zGɓq:H@2>V{#`@v3݅U0Xaj_I=`>aR\<"a#7BiIS8dԤ9y_, r}*612Uy&bwÂ;1gڇVPDK_wyP .胓qJTDvϑMfӑ%M7ԩ.cO,g xgePjK(JG-&ۏ+ړ/>QN_/A~ #?[J~1x_2AmFsq)U ?j' xIh )ߣ'<ZBq.KDTԪLTZOs_6 gytQ Xa/M$mR顇 p+?B&`2XR* r%ϒTޯ֏Ɔ44Fchuu8ԱcN`:kZRGuxn(=:yp$N҈!iUz+K2ɳ٪0d2M@nI+>(NQԿ \XczJSe*\3!DAa6^nu-&PCOd.lt]41d3ymU$W$7M]Z*$v%o*G'H">"b9Aܼclc^簿O\ig?ת?:GZ|XX% > g#pZCV9&{f׬;C+bW}p8[8'R5@W1iP@]ءv"o`-,<[(5䧾A^n9~QsΩ.BJnM;q`]}MP؜?;49PާR$c\kѨF w/_%w͠>KKtܾgoz>0f@=NAQ%܅[:o%*Q:1↕fBw=7u\ن>\%V2|@T2BϢNzJYZ !Lp<ʛy dKsiD4[E^ aI;LG(E(_ Kk2>j~ASB;M  b $׀Ъ=9A9Jh Iu3W~כnar>=P\*Hzu@`'s rv;LݴMִ=n'%=g!5WHSeW9g:V~8SAUrb*[/! *c>Chd irt>EE߭?`;2lChI-{)^'Y y՟7X[.?skFAW!l}QQvYqGC!Y YxЀ@M"9L+Aܙ$43.y=/'qi.H-ibEs:m!Cp. " ^jyc8?EܳxKM =;a҆*v욗|*ՓUi !?쇪)+'XNs:%PWF1m=&ˣ<#- tݍacGӆHz⋁jf. V(ω)K ϶㐸l0ۑWҹJ)b—Pv8/2{t34'  =jrw$h.o/0x "M@>'?>Kqr _r%g!2(KI/i-P= ;ʲGo^ѥ N!ӗE( 9d4dUCWlރF qp:^ P}.mԎ /km!A%떽ђ.w ƍ:"Yס_bH<&E,cjW_rQȣ^h5U4AZFSE/\ If6}H'bFI=$E2D %d9./+ UAtNMЋc31Ekzt`>^'+Ev aM&ܹ]=);8p۪7=y0yA&'KFӡlLIK%j$%΂Է&1ReE\Fd[Ex? rv ^d;Xy_ה{杼rgwua5Y>u:OӞwDt1 L=%D_(w5yv5RXgHHʆjٳ$\nw}[1F (u4,Fs= %>X-m=˛?B;< #3nm CLPnԢYmk:0s̹O(t *aC=[Ub-i'yť\!FhbwUggI$\J΢#x%&9 GԮA,8Xr]lY=! tmC>#G zym"W1S$M}^)(%d.17t*v!`³IBk$cճAG4`3aDf 랊&{hI"(PO<ę.WpҺ.Y5|LoX,~(׸zcl32H7?7N-rR}\_Lzc70P*.ٸZm>=S_33msY̡K[Z@0KH6/ɕ8Ä@JCt9@ G'[DWw{mȪ1r+7m/bE$ c#IN=Q rP':]xh +"u? X0S-o {( ab('ٮ &id.k~ K=KZPKRGL)gkp@^W)F] k\&G55%{*',{tw|3#>0p-7PO5GwDžWTKkXTĜ5k>#b"j ;+AocLhę|>] c?q#k=04Ģ>WELf9W~0 (FC*]a>Zz-RnZ䖤8b7#w{Y O+ V^;kjԔ]K(az ^`7uC 4Bo=6OLJ"Rzl&VdVre5dA\@>KX3vp1IMlYtdk>O[ f(t@W(ꤗ5m{S1yA$V]Ya8>;I2tiP\ ` mGEm}/ڗ6l4i7`]ۯƮƅ8QsifvB".:h6Nf \XDz ".;nGmĘu=-? pr+rwb{9( mEZiB|KDFqsNO}:OxYWjB$NhrJ^][]+O [3/E'ro+]D$% gwtjLVp a'oU4\qQTdUiðw7r?2{,ādkC^g<ЩO2>S3ئewAv|-}]ӄ'xV(Cȴ0v ?lk3]yUE'TEXʫGyD cu3NpAp%>ģkUaW{4?͜ÒϢa_BWU(B$-qIZA|#Z I1 /d1ԋo5J?0=#5tW2#k6-; Jr眷~M) A5 /-ݜ3/T`uݎ Q[4qySsް"SdQ yIbamǾV87!>%T@_ qqNn;'8ŎS\J[Fl9sõ,5,]X+̮o>7B}Hzh%K.EI!C"d@%{` m1f҉AkV7v@+T筕#3c5#}r.Ȱ9(l ԌRR & O~}N {yTMrܛ9A[ޔ zQ1#M15藕ZtnK.]vgB<^4ʷD:-e>2):N[1%Fh7^ShN#c@ NDY^AshH .OV64m4 | lRX(c5 #gyz:K6fNo-k4@EFAhңv |$=i_`+T rի{D'ﺶ~ˎҕZ$XcD$j;=ؐ(7!rܤ$V+ l9?دgCCt#-,t=<07:) p|^N'^$qܲ}1C׽r<|U'n#J|kftW'$.@EO@wVx2h: Zam^gUB}w)=ςg ?dr_3 U4ȤQEHƤҧB>[W0x[jwkBp-hGνnC(~tE!-qicg Q K*T0H{' _TLkE cK܁!zSWHϤb8(0 (6$NU0]5qlJ~5< #9[YZ+Zz|$h7B[_P'&BNoݕ+=ݩJ QwOJ<碟 :l܁%G厹g8GO}-bXמyC I峁';WO#͋ˣAH|Uځ>r|]؊Ȟ utcO J.jPZ+r7h`M~=#mrrH6})hs[9&WeyB"qjhqd:oc,SJecN{KzkچL2r*'j1s-ܴ=1]|LBاLT9]:jY<kf?pmlq=q@h< d)lK羦sU]A, vt=7c|sPV{3#pƐ5u9mI+gjWy΂+IH9^8h{+ r}<2fXBclظ*[<~^wz>3t/Ne4MsIKNcAȂro\5O'͵+lBFpA1}bDDҌ)WjÊd0]F1EtA a]9ٿ l[K}=aHd);+㧹b3oaWl [41(:97J@{ Sꭈ@lsȅ]wښ# XhcݦnQM'siÜ:oCz|-66~!$}+ގ_2WR"ۙ*8:Et28h|P}{N=Q%s9JTA-2~gYOSQ}Z$$&Y!FN{9Ǹofj6YDB?y')2[N ХL*3Ow͘'ʙy:_?1챮|u3r"ॸJ.(/vZOB#$J%_Ϲ r\66Gԭ@G> ޭ bFd3(\'¤j #v3&Ňn#\ (/W١B ="?{^=>%8X5xMoXas80aYeceYrBmcbT؈ _.}w3Zi)tkݚhtv,|3^>B+.CkȥoH?b m*NGDUkc U;V)[imufs,WSbCWu?2A&N/h%QR *d8i (& IF?@pugȭ8:YX'%ib~cY98iz͎]Qhej,wfּvjts,"RRb(SV>Iވ<@i&?$(ss]xgoeMbKCBP?(1B缓ʐ]l۱Jw{2\Âl:'5 Σ&nfc-."LiUQlە׬4yu 1q[|'4N=F-Bb_nJ,LbC$-׳:׈6e?x1K:}fYm1KeTemxb|ky=g(_v A9&uD ri pXijA_ȷڹnD)nmxP= 4=P؜}48"RmTUd ؒ.#[%e88 8$!䲈jII:2)[vE|mȰKXzۇCɵ|#\IүucɊX2,p5{؂BgxԳB4V F}VBk-@lS:i1Ps>[d E#H=ajJſEZ\=pPO?RʗHyA*T3v t}e7bܑ5)l 1_䁕1ՈԮHiLh:܅x rD/藪d7 hY"b)_~pE:ˡ j rS1mt2 `9pE 4é>1?xAK;)[jHc(fHPz}c_HvW^ gk5@v=wk+9SXW$DpWN}Z`1y= ;_. G_u:ڍ3pY%_P(w<%gHw$p ꗙ$RcS`%GBh"2LH13=3尖Gd@K][SB*i<[ EhB].u0Ѹf;ˁ?<#D#2hn ' &0]]doyhqAKqDњ Y]axAg'IMcCH?uh9WN~kl7E3 rQny.RM: 8m,̺2AS~ T6&sʮBTB|S'v@X*z@\g`5M^t ؗnv$^T4JZM$,̠ T-F\po8ǻ7/pΤ*4)h&vNmM{D6iW\z77@ksr:PCK2g͢5Ǥ3z$l[(Eon" ABM뫓Sَ08 IlOF*RPiF|:OZ}5t%\1I}kw0vWs {nKaL}tY1W)e 7tN4̆8F!(shu1՟wCT:[ 3* TZ b!l(Yab#zF=6+';KGlx M=Z4!{S4̿h5hGo-QU ~: !N&ج3E 4TzȖC;?hH TCӵw WkKnH:[,o p|`Łc萮Fb=}_vf&?orR;u;ևvIurj9CNd8wh!e[ [{i<%4}BGR2:r =[9ҧ|0oO,>G :G#wF~-S [oOT\WOF_zf#Y.=L@%وڣqH-FZQPUr3(hX>ZB#n/=Fx 뾄ْZCacI?>+y#|!+$''툗j m R*vhkEƸi\A& ':t;x}d\C!3w4>X bƲ*e u]f5bɻTO]pӐ vߒ ^>S TipB]-@zǽt!L^ц:KlP].*O}*)A`GBa pȾNʥY)sJ?Pu)of*-!=AؿYVh=`M424*$"!i+OZ[^El6mtX -}+ ۱Ke#PwjB+yowM%g)DGm,PH}-D{NUab#C~׵Hʼn e)3MH5~Xu4Qp?$q .2QNZ+oi=1,R4'U?ܰ- 0̫$Xf ͕;M⑊27(ͧ)naľ _M!O 1Pz(ƻH}@2t!X f14h;))'(is C'X]ycRS:Hv?Uj \nޖB ? z/5<Gլ_5@]$f(iykHhbCEY>O5KC Jݜfn .E^a'=GYReIX0Rؿ4^NAx(;! $ Y*1m>uueqTrmABnȁJ:*{y$)P);ScaiFV#9 }'3},ܨ? @wRknN=P̿nHra "K~D%5 \=]5vF5p[+͛FM&wW9{}0l,^[)$‘UlM8$ ?wai&,@}e |+a*kDw9B\u_AnL`x4OxY-G6U1v˚[ACZ r` ӳ~Zw (t}a5ڎm?!TEHPCñ'/Bcx?lL+V*" ⹷)coS}/WzfiҾl *S9F_K[-yqH1V9,~ey"s!FiҖP03Պ:} ĝk;v|.\"̀};x_=XoHBK%61Յ}bTViYYeٛm(4lijg-}vD{tIܸ|铱gYZ9aa48a36622aa84acbc227d626edd5d5d8d2dc9f56dff493c54cd66b7db0c38a40d271b408a414ea 15c9718b35bbebd57dd2cb739566c2d7a0f9df58 bfcfba2c55dcea4440a5ac284b0744575e70fdb4