SQLite format 3@ .0:  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 %tD| ]/]HOL-Analysis:threads=6elapsed=358.885cpu=1835.272gc=93.244factor=5.117zXZִF! "W]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^E_# ۨE DԺ|¦۾3~oL@o=a0`LL?A$^< '!'ϸ.׷ S\֓2w\kVߥ:Cnmңk5pCYqF:~ nP+ +|X"i*TQ2-A|Em*x,pa.BWʹ5Ѝ>e|_8"`41LbjJH|qЗ$n_Ir  /Ąﯳ#F l_׋4=+sSH@c.ܨq5f`zle r]Oop7y[n߷ɎԿQ|b&)}o={8P:I'(^Q8 U {FƝ(cUjT gDlVU]HLI*}T[ n,\9h&YO~b,jX #ڥ#kHA /q)ж- `IN/C xtDVn[[= ʝ:XْnXo($e= 0(6g7"9ݶ_L\߬:cqVJpke;,~hNO\o-Ӯmx?xlf'qJJxvO{t rGn إR^XD-mRK? ZE-!FXP%A"K DrEXy/7Po^u)VXs nD;#2d^M W˲!'I-iz߫GneJէX* b֭Kd3NGHʛ v2ߓbf~oU i}RnF*=LU Ső'=H~WFY$2BI:>TF"*}fDѱTG4pH$l~zӻ= FSϓ*b<ۯ%67S@B28MUkA岏Vy7PIDP[t TAbP4 ) 19\K׳Ee7J$ЏfaL .X Ժ^-pjsRkhߵ~eN1HVG')';^aO6d{ǚ;M[D[pԇYk}~]p]=hvuuC>3`Ny(}'U"=-!+,Z5f"0jOҐ m_>LN7S{$ K:;i[mtZMȣpxuV_ݎ*4C DZLXb)#C2!UwnXV~<+am/ENs.N9ڱd6<#3[q8GL? e'foOv|_:lỎ-zrr#<{ $i|CMI1@drB1Kqn W )nˤ ȢSm94*=Ci{\K5Wuc'»(~VۂD2 "F>Pz~ޕrIQc912R`5H$%G=:_Efn&/>/BP\\.'ƫZvė(Nls>k"C;€)Ik+gb;$G w`XF~H9pk % HOL-Analysis  yX]{ϴ,#tR. X gjA'ev~D UsM  G4Yw ٮfb8e~}5D爏6 E@S%7bv8v߾lB9+)ͱr]<*^_fDe4*%m;nz~@UJ$"WRDD#4ΈM0#tXhߝ70O`޻ԭ<-( jom2WA@]e%;2fP6[ u@9FO:09!7_ B;f)IʕZ[ 27OO -^WAqgo1d~&_mD3/G xtT5[4{Pb/|}JZ;,Ie#Aog%oXlָtT~ŬP\;Ƶ̯üFꍇ{х׽ẗ́jL iqQ5} uwDF۷(݃ e$=64ˆ/ˌQ7PI8Sq Ozr R*¶Zm>~G<m&Ap0+ӛ=YF[kNh2s(:\uRnYAP_LP"q7g&8Eea2ÒQ%Lc;A+ֲhQr`d"OhHnٽߘ*f/k7GP"I[jķJ;H|1G/iNhiI[7=kZH]:s͂ԗDRGUk>Z_ܲ.$aTΗ?󂄷{lkT2O2CaT29@IgC$i|m4)m r|i\YזA%^BvxaINtx,"Cͱﱌ;1̨XP%*7Dlkx̖Rn jqbhoĬtEd\k6=:HuJ[5a[n{ANNO8J .i1y" ;][h~٥Bd%}RUcѤUNC>@pdV-:YBBٸQ~KSzp9hZO7%ܛt?I:k\G~9&FI^@D9gE` 4 &}LuE&+_)`K}HrAnϢMFts_qRմ~4k,G BA7Ly>7mMCE\toxWg!<&:`0fbK4 # ~җʐWVt |5V<+ǠDCX7a3m_=ʕ=ȹ& Td%7vd`2mumyo0A\k?iG4'4!1*BoBŸ0tyq$;#WsOL͏$&tiCAw={j']GE,r%Ý֣ Z\M-z+(0kW)4(`HgbC51jhڜV x{ut]|c[ V O:xZcbPHSӵOPap x2#n) ~ Nm9N! ~g*ƋPd0d0M θt tXg)e#yI1I{4t i9PI;aSqg&)y1(g~;8 fpI/(h~5x'4g{@DY*M8pntmDpy $>kjXg SCmR.&r(doI^֦[[~h83Yⰹ#)o(w &z{^ ڰ &yar5A=r$[=zaWI^B WfdyDPTmRV^qk)kK?(շ NS=3D+,Bڢ-Ĭ}&?%yf0]@㞅M`S { HbKP!R3=GPwJuoo:_R h$-ބ1tn*5*9J0xWnFJ࢏Rh6#B{F+NYTZ,cE}H!ޫ^ JjĐ?aѠ{oW%׫K!_AKv˖]ng&;E&fǜz;v۹}kVKrH!ױQ%}mx5 8jr, Df.: =.ksgH CO9&eW{0r2l/m{fEii ġAh-&O eR(0Oݲ.yqma#*0+;.粏spuS*7n0/uY[]v56fHcW*Ɛr:Ma.7ݜ!7\wP8Y{|l+(r1۾ϲ4 uW3`[V5|v#)YKŐMS/ A&M7/ݨNRj2UT^]Hgcip:PWO6+@n 6v^?#\c c#B51 "sUzUH-i,dRh|Yt͹`٢GBI7plw m<&h>k8\Mk(!KR;Oy! 2B,\7=r-[ l>ɦe8Oe}MwHEz54C8`y1Dd~v?35{jYU#Jdp #wWt.?9B8;s͔\*H}jJ%w{G8%=p{ǏyRfZh>6 [a䪜N)^{o 0M8!Z[ 4"I%$q@Czu >S"i;V`y9vB)h|g_=:ax.#I|4jJ+xnkN2 77 lypK׷rHdE|u)st{1|-rbe3#Gu\66濊v+zq27.'ЏI*U»i0V-GvBU kм J@8?]3CcxzIJ &cPV ?\ }]㙶 b۷)jUM>.\@ 沼Zw.W8  rMo񡶧=TXst2l9o*M|w]+X%<ӛx-7/[U8פՑ@]sY"9gv7&1rbw<0TM_0z'9ngLAr$ʽs4 I{_#ǟF/XtM8h\7y_A+n5b!T58q.! Hw~&p,#/f =jڐ|#t owwذV{ 1$qA:uHLz z8@CWɜ : RXs-})t0:-H r`,>}J}P>v%ii/ThC"$d>cuGהaq l ۆ-{|7kI y>/PtW(.#<)aN_j}ޥ2^>85V!NIޤ!.ء,&Vݙ.K=CG GR_z=jq@&MWW>5/9`["{~xb5lJ  ㉙TbU ? uHh,0_g peȟYOu}"7Xޖ2Z›JC ҉_[AŤVD%b{I@(9txNAZ.g9Լ~I[:UkPO)iS*2!ZH~SP ( 8*S*۸Ju%`ķX ]Rb'b e(V 9ߖO%R?J-PLM>26cl&;֨b{ 7QR8O}ɈA GD6], !KV>/6iL &&[łLS]rq-RmʑZ,縭gMPaۙ$C-_s4h1(p/e"KrQF28ao*L`FLKEٻ&/F[MDČ,%#11ߨq;J_|cDer0ps.,ᠴJq sԤД3x4Wtrt'< ;4!"ni+O'Ѝ{'Ĭq Y"Vd&"B5ŹF{P'Y9Z0cla̞v"#V EEA6 G?R JbJIN؊]! f &ƪZ"p8ΞlEt7l(%\)GYj}ʠOup':= e+jDb25i<ضIV܁Be2#KbalW 4N+\`T,I`Dg8t" 7][77W$i `ǫFn0&ѓBwe1|hRM,ay|mq3T:^:,Fi*%tZ告SFdD֭yKJ$A -+sv|uOFEB^Sehn UtEGJ.2wPFToLAY3?4pf~!:8xY繬T˥%fgҲ8{ dpύyO3s@̈vNjmqx}#/?ï-ewIu$SSk9݊J"& Z4*wg1d7 [φcsޡq0 k)9 5W_^CCs Rj ?<aZD F)ԃ;Nvulوf̡n@41UE׸c>hR1'I5Cn IyW?`)_Ҷ@Q?)فɐE:;n6u@qztEYuXg OEy 7_H#V mhuzD'$ҧ٩QD!?^Ȕָ V&c饃d)R1քE{(ǩ3BhX$5).͡`t*6y{m%nc o1#7Hw_D%B^BbB6Ⱥw;|n |œ"!r9p1]ԉy,AT)Spcxԃ̖ߵG?y SO,߇ E9PðYSdL E1)r~=>Xϯ؊. 2phKD+o8-r+x5$W9CԦߋ8HJ$ zLVYJ+;pvD%SHx8bj,IWAF1vzfm+1?GP__S0QQQ>$?čy<i.k$Qgߔ@ `B籠ZqRue cJ֭făh<[+ 4 S*@򖻜fct #$~ RR8UUWwmkFZgZ؃X9Aa~F]CF Kf[WրЭbl뙨YH܇,.ؿ[=`c/pǯhcFPJs!/J)Ui!ֈbpa˻e#:gnh WQt6@͍E~ $L &SEkHs𗶌YELWjUSR#3s4>&\'MG_D] =ju;E$;jO .+By79t5qīE+uj^ Uq̺HQS{Ӛ: w6m.КNZHx7B ;#KCW 7KIX̆A;iYV2 􂰦⟯@?Y$"_g[ e+ c]>Df\ٷ[u t{z^)Qǵ܁ 6o.mc!4>^aC'/YO OKɰ6}愜V]_PigYP`hB1 '2iJ * `1/NX UƅZ"Tr ~Y ˪ҹ5xSe;yd~j~/uG&G/FrQ'FC]|"B`zzG`;,3utP,Rv=Q_r]A$u\n?jCtp*weg-|dX\>i)4JLb&!-zKMDڹDiZ24@Vp '5 xJӴ߉[eqm<:+F#é~*fx`_w1nF6Ώ6Klд2r^}Bߕ$Smi5!4-x_!ZI/K˖/zvVD|Š]ճ^Ut=IGvQ<@+:7SBHؖﰖ h 4>a -ڃPpot>.MZbSA::ףz8т^PD$ 3jV[! Bu#gnr3qb뤋5 O h~T莌MJc[ߊO4k91 z5LӒ>h ٞh5Nk )&!kxWET˭4޶%1iD/>;=I\"'AA;W,Gi0 |3g HŚC;{ 1I!:m^bUp"#; cYlG⎮d{Xbc:dУpV-4g. vQ45vDsꂽġ,l,&.&a^ˠ=]6<y3و'ZrjLJ5&@ ul%4[#zმ]nS[x Ɉu-HrI ֑3EZ3Uʼn 杽ܡ˪㤱++?pÉEsLϴ:MiaVF^"ӟP]"A Bj@) iѭج6gy>Y?hLycX0Q-R -.DAmgAa(z+d9bhnߥܓyO2psE'5h7!,WƗ $B?zɻ(/EZu-V@wbnxX5fKkP:x/%:`;C{J|CʩvAw\ Θ+%k,C(;54.:2k qTӹ $ID9&1 x_Mݭc,Lcm;({@3D/' E۾aabl"[CAloi+y೶K\Urե|1qp l{(ȼ`B>bੵI^Ole3D<ַ"hiB;8=k֜gǏ![ Tf+Е.;.%Mhّ]6ѵESܱx2cΊ\j:ڈ25ܧA6rOZ+Zma"QONn.;{٬X(Lg4OUg(bSǪe^Kc0bҥuz~#_8lS+%]mM!!okba0aYwt9WϬ.pd:Z[ޔz]<*[jA uv, //?FTۇ|aQb* =L;G$3N2 ,y om/l k;ú|%BN-. c2jIjfiRBnypnD $kޚMV\.u/%af'$eMA]IM1F+ u?]s~*HA$9/:yp;YY`N&|1${?Ʒ"Pk@!&`?h{@$01T hBezg饝 HMk+SFrPqAS%q\Qt)uXMujAPg &2 DK uK}aupf!t.764-xOzM+Z'ѳ&sby3$ 8\EwLATqM,Q20gZD ܦ *![TkXQmCa]. UscO*Vnw|}@"{Mu>_<5ScwRJhReA4Lm" vsZA$\?'kGCZi{QzFX\o^ \F,R#l>F 0jh H?Brߔm]gJ#zsȨFw6qp@8Tj_NCFհġAxed=(^QzhQ[oBXg{ʕY\!`}AaQ ofZЄWC[!ϛ}Oh t=+by@&|[iKu0y ,}ra1,>Ϩ;nl<|zo%Λʞ ʈ1FLuG<%~nsbEg]|#awX3Xr BuG2Omzh^,_[fjQT0)Je'Lp59#4`1 |OC5ERopt/M`F%_\tHe`qbI'vk;%ӆ~<*ZLh ~@VF(ɽ"AMn hǼa0WJ<ieT"aA|8n?'Ti.up=Yƶt# цAX{u0QaXM;{qKw>ڹkdbD(Eqn'H4V]1&T|peT'2 _v`Fa+4kv >ݡ/ Q b r_nuD?0n'W՚<lXI8P b<;W4;jY ohCԽnN~\KӬ"ԱS{|ǁ ZT,֦:匴-"HjzǂP00ڜI'uCcfh]:siL gbRNZqk<NᗱfE Us}8|U E"U=Z;5^fD"7n iln˯Ϫ'k,VtQOpmQ0dQ[޿}ΚcFӴ@\G? c9cm(5xSs,^^`֯<9۔<-~$7iu{9 @Fx`7cO)L6:Z#M?L'+^l r} Tܠ hIU39C1T/^W]0VNQ9_7›83~&&&)mGuߞ.q2c"_9mK%,7.I&7c^gYMVK qVeѳQѢ!F!(?45cQZaR|}^VW*gGq&]wKw[A  oR:4UN;.Q Mp3U\%mYh> `AC,Kࠬ?#~ -KO Ǡ'4ƥ0?҃}K>ufM hjc"(se֍GBo~GwF0y )`a~U1AP x&=UrtD+/:;k!r =K<^8_湝6|A2Zas}P4=OeI쯯~ ݎ\glKg#InF)jU44x=yANݶNLXd e2*M_@ ☽wA@0x9ljIjwWMԊէ]ĮWv2Y U'ӏJt~% VH/82ܟ}IvݩR'q'V#!_3jQi^lbhQ(>= viDVxG%ҧSf$<$0REdt[LbYy8#p~A5v)l.2DzvfZ vo 7F+LZl4R L_$hXT5g}.e]ѢA칺kV+E"c6vަvHD3XߝsyozRe_E (yaՊB\Sj\q1:A'HPȩb>ܴp!T2V0W+ڈT! 5ǾjUBd*ߋ,̃x pRƖcq$fCR%N }|wKj&bΧz2na yf.Ѝ&a؄JEK.&EGf!O'X h_rD0y &cXC+Qg@KSuʎ`vUoKL5O{d]̥ ZxYv5 u?Q _H 'pm ;덙(̶wf[:ӇT"L%Z$c8*>?!<)ѕ1*GU"}p]${1lbQ3AлD ޠk>:6)pK\ol"_.=} =ݺϮǘ|v Ls'ܒ D[T z@6>0 (s@ŷC6C0H?+{Z| m?a鶔>/Yn55A=ŌeZ(|!5D >EP&s=[{4բʏ7G5nd߫s\fx>A֯7c.h_x̮!ktOw:gӐ4݆ ӐRj-0Tgo6CYӻWvepP\KʿLSA)| T;/|<%1 ) EC&l9MlSGJ"P07+5! US܂I!!%-<=J46SZ+%u'isJAmOha_DF[&,O(:Šcӫ |k04P[3~8+W\u?%~Jm@,3݌=0)͂X6xv$ȶtn&/W3_tOia`9D4V G~ t2ccC2Oz]z䢑3eKucyϗ[Mf @$>&?$W bZ!gb2+.g6ޠ7*/}SGm_+x?Z@dw7G u1,=2( fm5Pusۅa MA<>om]Ҩ'6_X}z~[qL6ޥg9ϝ|4z܏-\05@yc2nSp<[ԔzGs+w4]&0LDSwOX~^H̲ZUJCZ_5]FըXO$6eK1%/3 PBM͋WL&gbc,y"mpit#uOyo-Jyh԰Iec=( S L'Kc߫L}T"7L5VyXbiڍ̣YsaF=!^2,dbBx=Yн8ٰmSƀs56<uۧj%QH~W0%5v-ޏƞSt& 1ypk;shS7;%EQ[4섌㬺O~J?gV _1Q!%kW{$Ls.r | i^v Zy33- \deAo$5Xw8H(?0qƗQ(nr >P&DJK£î(²aL]岷.CdRd4qv="V`l %֗P8uOP PqVLѮIQ¦avOS#Pۧ[ Ŀ2˕dYAp zbh*s~ yfmr࿥J*N;5D3p!K7'vKV){w3'V~_$| LIɒ6h[PQ,}Eˢb2UuրлaA߇ W,z]qq7-'Tnfm=Z/ WD"/8j/4yIBbpHʘ2F/ǡoB+V>+y 5anC:S7.Qɘm2qNÙXwnID u"0\M^AkhE:Y]w14)3@GSX;5 ȥvY }~YQ.qޱgYZ7zXZִF! (" ]ŗXiɟ1˦r!cHkMeBd4>c1ƆۡW"-\43ėS҂/ *WLz&@D-`[6LbJЏT큛O67 je"Ŝ;WomR % vL*pHi~h^1ؾrlnKTjbo;ٴp9kY:6_Xl|C$31=reܙ.0l IAxoYɆ I1(?3#Ԇ#Pԑ$OP@lWda;V? Q h@.e%wzZ-[1v9W2-Q#E_B0)?R6#sg6_=w 4|%Ml/kC9"k[d\ fP\"EBKEu;L8VJX͔fS/ޣSTXθ.rwzQu_x.ZC[(9,s%\1tKT㠠m5/G3"/G@_{{RG`= #lm̷P٩.읻s"ߚeXi?4M =!S'>  nEPzY͝3>:Za; V(]gL#^JGOtO ءQ=Q$fY2"؍Ix5z)G086DCZ jސ̜vӷR3~@YWnVz Yy@ⳈsHU{ 'xo#֒S X󎓭xH2Xӊw ھ8ԠO }WkdF{Ok s@.Җ.K\i\#<@q}9`Zu(y{$^/pIQj҆wH054e1LWgij[eYiY ᯐbcq;}h,'s77Xĵxg.kT=M0<zi> KO-$Pc¨Kwr[ i/^*hQowS:~X w3(@3Hf]:=0s;)apZ%H$Fs<:CYir>ckZgQg~aKc"OqbWkdLo߉Z!}^(bO|<"mS-% ȏ\s(QA}># LDTTV{߇DDM!,L? u*(TmF\'F5F#ȏ *JGQT`a]>d4^D0{2Sb*L] G!3,a/m]':6 Qn?6f&Tw" #!)Xqp/Y EZK8I]5B}~E)$Is.Ef24t]`;j%k~u?Zi?53z3rG~=UӨ@E͛6b,cl&!=bcuc97ӨJ[s DZ9K?lگ@@}$"(ʳeQDMtc*$lCylbaׇĪIƀ^q Sܯ=Eڬ% Kʭn;pIXNv'iDƂD *)`,i!Y۵cA`MQ\ i3*k_{'l[z{Ք) Pڧ,"χRf|s^$4W_i3kP_X1;e)R=D7>oSׂI&Ӎ%d`"yDطx}'a0&@ OzzV >ɸM`NxG5\G |E :tu<eFj >-6S oޙ V9 (8(m֍0TzKBka(J~HވYd>R]9[̦ cE+ 7=,ڮ[a]*I'q'b0Wi*W m5Ts)]a'Wi xu)I+`5 [6#'؈ht&DUqj~F?"^Ok] %b4:H5uBJcc_F~gу3ĵYk5;u[7 "|ASWYUmK'YA~M:6i\fU~Ïj6{ [mPKh$<GR.X=N8W Xq)M뵼)_0E"z ێ#OMb6O4^,; jcY^</08El߲@4okF} x51P!Z4ͧO{O q tńO3".UdĬqgAev=P|{l@2';9AjŊ=$Gsfgˆhm:T1qnGyc]GLnPlԨa3F2=>k*C3j;gP船2hl٭ ǦHM%$Ieʈtb`EZw@p0yjP#ս'Zݣ*̭J.bZ 9#lV D0Ko[{o\fKjW_&6#+,  ? eJ)i4fJ@dYiE3liz{M;@cF Jo da3w `T FqaI B>4grئy9;hJ՗db2`̲}Ud˕OMb<OTӢHq^C^ȁ=I|pħ+c ^M+l#rm$+C/Zg,Cu~/ eĚ_}Hlon 5յB||sVHEw`l0F"=?$WKT%, }CN]H)iOAs 50"W>kLj:MsƧ7{ބLZ֖phf-̦5t ?E b!kae(-2]oV.[- 0-M[ReiX0FKڼk%wd>O)jOv3-K7> ֛"͏cX[BJd̴FhC5z( [^B^뤵2`f3=K. G7߼_Ζ”4F+Bhfg;oy'$ E?i?D`*QBaXO O_znw1uRrH 6įD`wvpD4o=mArvp)bw@0t QvVf8O1? k6YIVG*=,d*p.` \4]yk -l0(/)un bC۳#4@#|~z)HV΀a`)֔UHIkG}`2vM@ Z D*-Zy)e=8ϊjSN{CKц2x6?+&|9cb*B]'Uk9%>m[+9.EvγYuÛeiYCZc$#e4i32wiHT%J30Y3,6{H #B Z TӓƲxGa$mdFI$t:'΅U^3(x虢Do_Z`B~mcJ&x+мElFp9G|oNPk&F9= B݉QW> JAYԎ]tWų%o04Ʌyo$7.pyX\ 89#E{%49| R덩z" dHZy_2e4;G>I@HNů$7iۻkz6oEܓ~) s.~ 1c1a}sSv|~dlq7J;I/h7øhRZ>Bԭ7N5 p(tơhl%<%q3}qµ *LŒ8 jnWo+1ex>dW՘W#ϿFOdՇm?|&P Փ*l]  sjֻdAF)2Ճw93wtavg#4e~ytk%n"t^alwy4F_;BG|_Uҫէ"0jj˽4(Z:{2qw1'ϋtyxTP<g`p\v}!t+z¼34,E?rc.,Q3Vc)QЕ!UƝ{<0u؟fL {9TAr׆"![>ȼPzIbHy?,o#oެRCİœ C)3$R7]/Q}TQE2=rbdv0Vɞ-='ˣ[IT@y~U2 ]$<UˤqAS<àŸUmDJYƋ]mT5; ճ< Z5J\m5{6ԛ_.ȶDw"%Z՞91$I-kF)B V@n_ 80=%}j+]AV; y/qA@ ux7yai YX}nt@P ˞K/P.{FUui8 ^0MzeA6 X Tl c@b$vyfMŽ8};㭝$HKD| M=# Ul>`Ww0)ɢpa_NJ ^½$)JúFs(jf4,rYtSz&˪'_ m{e L۷Nt⍼ۨ?DҾWt0H xO)ܳg#>f*v$)7J]hWZ g$Q՛e)>Yfg:K9Hȣn%Eux8Ka- 0O!t9k0tcAw_P`D1O,\-4vAV8)Gv't[|$)ܯeA?r24pP: {h1IW"8[<4%t:S`ڣe _YF(njJ/jcc+!9%"%A[)A-U%ǐlas`W,9Y_JaDncR/|?,D>h+ՎAEcMvwq ڜ™k]$W@+u2|OXs`e% `-H_LF'UDo[B9!Lew'P W3=:aRdmԛ5k ẆfCXNNf 7&5Ȑs SՍ?zl}IQH5)=C$߲&&o9}Te\/0W,8t1 ?=䵼F5\k_<%bSm]W(IF)=t?cU)TQ2S?&:5_-4 <AȋvL}>,׀pEHv7,#{2'6|JGf˭L 1INu,>H%K,MRKxmߥ̘[3i#F $lYIjǶԌuYXk^+"iQ>J]+G=v_;H3aY>ݚ7驏{7GU]a2fgFź\|i$r,vJkĺC}'A5$ƛ)/nm֗]M7m-Ӑb@xF=~&VM=—jU\߉%V7L#FKWtgۧ9^&MVl5D<'Ӣo˞5K1T>1CМS,}RzJڏ}65N^<Ǩ٨ex|? (41 Rn C{3@ ܤ丣t35JQ*uȩ*A(H sHLvcX#|>o[k{.ڳ6Cb ;YpJ\,;ll|xu=Rՠý4p7p=(a@o6ckMB:-w4rŠ 'Dh98a M Gr3>Gė^rM0b2>w 3'$~NWsϢj2ZHTY:)h($)1n1^Hbb-< r`aQ0Y~flu.u?33#^,WQb TnB3@>J}ΰZcA&ZOa䐶v7{X9r^wzZmݸ&IiOR1(U1V; n=VRzq}3*V鈠C::P}eW;{ I3/Y,žTc5RʟlH92]j&3+[ 3q. %liV` ?@z.,zt)&5s/`M- 9+%iePI "o,B+T/U/3epymD:nA: ա֩4ѭj(gѓ} PJV@'K8 KwXDޭ'%$%_!ھm=Qx6 ܪ%T={$2@dJIWRac5G֬/?f}]Tm+۱C'Xa$I!N5-<`-̈?1{MَG wG-%G{.H#ঠj6BLӊkfH%w-ñU6.}U[vYȉ Ѫ"Q 2](k9kC`ZFp@"h¹-An:,30nN/0\A\RƲ-U0?퇓@ޢ%~?Dc\3>՛LA=3Ԗ5tMx-Ƥ oktgJojA7>%HY֖iF: <)-|/>fL򮌍_?牰ӕ2+lS Aa䢊{'^I0> lT36%%xy>SKXGAрṜc~A_)8!nk8&CMC.0?;hW@e?籽8 /vWwΐZ)SMZ 13L+˝Jw8+x 31(;:(=|ro:(.Mz=G{07>K 7@|jh7KQYt[ڮ? xmA.YHLQu /H3}};g~rc犍>eEw j}>&~Ӛv5任K˪ߑd4b7*{1&df}$tJ֊84 JS\KV;O0tzySMkI[^ﵪ|foXf{Dw,  <fXJ;37m Z%<o1٫>6 0zp+ ma"O zJCLs^/kO $űs@ܷwlΫ\D<@NYr>^ ̢5.foc U#aԩgS޹qA$zŚC[BXa&w`U-fMo L@j|RJ [eϨ @&K9CI`Kx屿0E\ T$?-Zo9Ѿ. _Tĕn:Qe' [hՂ6!*?-y `לw6B P%G)ވu"l(wAg&ڦJu+ HD,||siҢ"(Ccb s*Q{ CoW;O V#39䬆& C\X@;XpNTM@tWhrm& ت<= ,{ 砻!T\\rQD@+n-~ubJN5cW󕛿Ա!$]u*1ѻ¤~omgd-^P#m '"sQ(bWS" j~yS;wnJ*pV`%S[qdpmP8n_ tȸE}$x$H>2 6mT\GEʰ:}wd?usIá)V(fAn{5*) ˵/7j|[qSl8e[ r1Z9US_JHsTF3jM^;f_WJв }2AW#n=XHx1\ey;?> ,s>C;e2(ȳyy}- T,eO@J#L5=-Eg^r6|I'{{8l`gkPg,֓iz-I t12^5!.D:2#B% -2p$$Q5ey[ؠЇ+n"on FzƾI*E7k|Ln@r?B]٠]r?Jy] m!hbNr Fi( 7ʸ=,5@e0!ܥ4[ЧK3;JdF)?mʵ@`҇wǧy;hcAߢl ܨ5 Q9LCwo~x.a9ET=Ǜ"!dF@gk/8{ 0g^Fl3lͦӆe֖= ^Q<-1cW8Ja3o?^,z>^p5f.̂{K .kE_VٜEQ q%ԙ,|Tp66ұ{;Auf=Iٞ=XIa)+ 3PoFE9z-|b$uJyבSgCf]mGO%bAE*5TIzHj <2M,[+{VE 9Fc+:ٸV:칧&6,ImV!_k0`Ӻc'8%C-E pn〫>KX&l [Ҡ~J= 傀@krU)f-^ه;_*]Hp$ebڇԧLHxu~,K w*8ٰ-G ˌ=Jn'R.&xo: O,FOJa;@"{2˱xEC¨ۤIMK2w MpQ%M2h./Z$sDefv(X\%Y@)`pЪs 9̃.⤃s9*_;fBqF GZ*U ZwgZ舕b _x>eL.;bPnu?󒌗@-I^M}>w>g035y@X yz1[\!Dnh2wGIG?,"p $͂d}^+ζbt|}*Mb0gG0,7')&Ԁc ~.q>TV+[3oI͉֒Y]M23ۮ>>W`N㑥>ph/5`k'/bCJ3CF%>`9G3| 85KM3,>;LV^APZqPt?!|Zxb%ʅ. B3;VC$S@$a^:ij147etc+wiIdk^r0#3$g0#*]_"b e`u1cwhtJ;%w-k,e`{/3dXjWQn Q9pש'~JOs0w0NP^dh7w`n;vBcaM,xSCp=[e9 G8w|?;5# q94zjtQ|2<»>)Ǻ 0=rCH8dŶ(&Eʪe#> |(QM-mt5\;&vΛ}hl`YuM&%ּaL]6׊SRtYy bEGo30qf'Cgo] I[ǹP{P1V_se+L/ A)A&G ~bOɎ['B4jtgQ1A`]kԓĆewY *2)4tF%ʪ +{(VV?v?_n~Vls'ŮM7W>T蚞ꔈ_6ڲnЩf<8 }CPu);NV27EEgBGh9YBk_1M":F4j-&aBAW8QPIp}gp;x\أЌaDQ-312'eXv3^ vUV9~@(/ %-#Q/T6jn:!*%w{Wӗ?/՚R郟uieݧ-F]OӽͩYԢyd[J,X!̃D񎱑{u{h fWVjS'W}f Br(jZyKo RUç025`, vK9x l(#7ɧF1 F1넲}=zx0aC`[H }yW1ŪTFbPO.7S^ز2qb]~(.vJr`d@a& @tzEQ1@4-+"GEfQ~l׻4'#Q-eO0IIVjRK(!>p@7J'V( |Xl<`)wib-U>Tإ&G'foN6XiSܼcEGْB!aݘ6+Euygˌ/- ܩchuD*/'ڿ UAK_)Nq"ETˬlG(#`] -áJq,%uHBT P/Uf/$Łq(2 թS|"u %_[ zԕ%Hp Hp{Ab,uwfW!\l("w:?P.vP6.э<[&FU;&Aכ mo)'qU Ih*S ݖ*irhT19ĄZ΋JBEF[Љa#mU5ScV[C.8GJ<ĆyYuR N8oB+-91ۺy%SWXt3 x ׺%OIrud'd8v@wRi4ߓM R.Ld4͊4Aa+qaώth}* oޓs+ > X ? A\xXvrE[_P|-@YC2^Ph*^o7kȐ)2Q$xq~Χfd3aV{6Shgq]^|_m; mnFzX^# [GpaYeܴu S:l}:F TE/[οJw"n?ϔ=d')Iսҕ1Add>.*X,RFdH$+x@+&T{od`,DIw/I]-Rr1I%hn`9S i2?J"l-5D }*ne-/,aqC0fn]J氅uaQ`5u{T/5K/s[8׃n! E'Hs`׳=l;7<5?)=Tcm1sgF*fx#q  -kh^șagͪG_-Q` OLB;vi%EkcI.lFHΔc0"O6O?h. T)B# D>= iY r1&e\oZ1&wplm'йʪ;nԯОQh||VXH֊;* DKG+(R|xD+UCzm\@Nk=1mnkQ=twe.nUϏXҲѵ19rV1.{,L8g%)dh0> 4QN)ߚ}e-E2qJ;a& <,}I341p9s&H} +VNǺ:Am$rk \L"(:>Wt:u䎉J]׶Z?M8C=ZU(:I)^ZE&&! EGu Vp>czp'B#{t"4/&ys 'GޏLӮݝqE8|X9$ *~(b uA\=4\F#\nԨ.}|(BGɞqqH~%;kV!iA3qmA*0dk˄\}s3ޥ &Qe;;6H@Aqxn[}eāӅ/l{Ȳ/{}=qW'1k5\7gǕ $ό `ࣦs*xT[ ()H|!q_@9N^|",ͳ5z?ueWAn1/QK [6(4xGdǀW׼>0Mke|4{_5'a4o$_掾ͪrGlIL:V4@΄pbhק}^CܜB>m0̽%3Zp@ SWZ&Cz [^n% 4I S ?F@#~Ҧ@[>z8RJ>㼩eQrnTWZA\hU DN q) THG$_ob~o O ,AE>tUwkOǪ9?߇ ZǀhLRq^ӍSa]#"Ҫ-(!s`46G5d^J(>T{KQA>.oUm3/zզEUnB7>{++M7hWoS7#Z*Lq~"TfT{Q|* tĎ .푀;{Y5Ah"M*R3Sg{pghX=9&3X)o"wSt, z=T`=֯lxn K|ҷS_3caU?Wwu!MRz;›y><*HԹ*mPJ`D+:\QzdOĖ .\͸[v$"(7- "yL*\N/;t,ſ[,{n$u^˻kTY.\b -Gf!nuhD]F*,B5/n bzq n|)t+g%Jrz\udJWagX#+l7:pqY!"37)*캎й.'uwNC"3@Gg"BN(\]GŠJۆ\Ct-^4eC[R-0C BX#~. 5iI*ZjM^T$ѢW(%ݾ>n8,p(>C?)Hj+n1d H @X u ۷AbLRBec4m܃{')v.C&Erh+,}];fDװy Ƒ^Hz )@ϻuYY(lL_ AËftv.u=Ƈ%;& Nw҉(fZKl:D3i_8;Ta`CBX5TItY b[ԚC/T $I(S$ԬVOF.jk 'bAml񲛬 .v:BZrl;,_ӋW3C}{rԫܥO)!# Q9#^e+/T2-8Yx/K H-!d ׃ *BW޻ˈ*ncBz:)*3LθlFk)CMi#{$.~Z=@o~V©zc0~ NӇ4Tf)/OQw< 8\JW_.kݟndǨg(Ԫ"jb", qtL^u(/}ۉHcaǪ ԉL||SмxZY#wq=y1v Dxv+NƗy۽* sTDS TCY.6~vn?%@[ݡ3v?dTܒ+0NQ=]p8SՁ$Źvr\BId[B v fͳ=CkQ6 E2!L1o'ƱJ =S>)\ c;pH @695q0vGe3[s|6EQj;Ѝ '=M#:"R̎@4KQ ̒ñ!!rS~2USqʵ fPHXk6ay^*y[+L<ЂQpodAsz~n_!γ)Okh` d@g,@FuJMi)6'lۜ,@/̐\Tywٷ)3 ?uGB+ĨwdES܄%̎cVOEL$e"UN:o5Ҏ]|"tR7;ȢÑt {)In.@*=a5EI>bW)mF$ul^L C5+FC0ZM 5N''!\`i' ^9n\Hc<"Qk\F*l7ʥy?Ps<ĩ\ "H EtW4FLF=J; 5|{9_`jU+lx\N=yJz1XV30Fh1RSo[MB^WBʭ:XβE&[l;ecuZKT7\ەQ.Ծtឰ OWҭnmۆ#oGѩ-Ws\+mH Hawvy8'g*YԳ;XaMpx]:%t[mMC),^gZ9& l;Z̗?>Qĕ=#-qk/s9>aBԇ{-[/邭QeQ Đb ȁt 3cJje_5RGo4p#'2|nS|Ð2skOxX~+RSCiSϵ᫼y( aiJ<ʴEztOi\8oL` 1Jz3GwV :,O`92mכ f+-2C+o[B+3y]ZUlH6>ӎQDb] uK$]uH˹KRڗ:( hrz79vKƻ*s~\ݒ\;ybbԯ 1-Y wxL{9 W` {f|-@ B$ͦ8 Y?RHDK?-^2*\k HVM_gd]F/gJ]?#D^=!іG7q;&|엔H@gԃ#$ gn!˦HmN@~h9]v IC9Y}$;"in)!e> sQM!of3R:'wi"W/VQ Awot>P~wUY-֗0+? 3Z{D+ >RPii)$Gss *\^.e/qmxѸO0t VC_'·\OѨD+(cZ8qlW/b+CK"I\u 4CԡJZDDXAͮh\Q#GY;uP;RsdSD8+>OF"F(d_(Kvvo\.qrݯSiN? OZeV4?;L!;TqLʲS?n6q/4-9?#$?\vá22$w!_>eû,Ir$6]b"Yl > bњ=44>'U%|=:;]D)&T(pٗyIۥp ;hՇ89.m6 M儺_LXd5 q5}a duP?Ǿ_1OF_oe#ǽu?`k&oARPy/O"C*]E ڲޱEѰ4VS#o~Nm^Yӫj2 qھsYO+S`4z]5x Ʉ;`V5t0+Oҫ8r( AʚPV{w\pYb#یl`CpgG'̴:*/B6ɊC>-IS~0 k-Kӻ]|S tΐ8j\c:H#J+VٔHg_E%Yk Ux>4kYRPݏ^+gϜ@Oʑ@mVwΙţĮ[(Cq0IswE%baYEi#@(P@m+ œ':Jq!’9c r'c8:a$9Zkxrݔ@e.^\=cGizDAg }.7ߤ;[ߴ\k>{0Vz۬B,!:rGHJ#! gE3Ox :Z/`vQuKx'@jΥv jڬ+^LHn5D57ԨWў5vRBF|%~{nɏe=nYfo mU uM\%um|A&7RvL?U'mube5B~cGU&6B{1@,JzGgJ"nIZ} ^&(I\O#~cebK'HiBP1(Gv) 89Eu+>* :oسۦkLKIq<_1}򠺩<9$є6HQ$LU܆XP4R0&' M%'`.-}:JO)| Q *tq;PM5tU# St<.z!({̙ WC]u t:VXfruk~iM˻ Nq7~@wC2{sG$S"U6i= nձF eY+ޝ،T $>a %Gvrx P!I)Ue5<)nEΨD~K++|c؃>ݓZT){KnI8LJ ~Y803͉IROs%OQQᓺT"$ʨ$FM:샙R}P]i H5.n*6mb}Hb"jrp(JRIiMޜ;]K,7Wؔ~q!p S@\E6g%Q.~n@gNNT=ћL\K{ HBYәtZT| @c;D\vNQxGU'%FC~/ B{Ip& cb.}Io3%vݼّz_A_,'ن˽͏3[?*D4T0JBίtⷑtT][ucs*q G퓧#&N$ǬWe7t.ܖn4\ emvZVWB 3],!Ę U`A,nzFoC1VU xf ):]PX-"g"Z !a*E#jas%C\Z7Wi>o9_<1Ĥ#{\14hRc1 :vº&g.;Ы^.[|'!jy-h^`B%$djhn6=T:h Te16t\pYa VHߡ;#2]ͽouiyyy:9)<@Z^aApZ,)i@z^4Qa5k_9|a) >amHz?U:sJI0S1RdT6:Y4pSK׋\zF.ꣲ/ɻ5aw9}HLm}i-=MN*cEkr'Kwfs%BM&@x8@bJuJ[WWḁFgo3HAuCPsEP|Nx}~JwPdC]'"Qv@ ~&aRx!=TzVGt2p?~ 炻yɷ QVK7( SA_.BZZqB$X:?H &lG:+*|e'FZeO^o7J9!\OZHq2V5ahxη;R0u37u;@J hrr[*L 3c<+;χ%5vfZrľTb~dyP c~H[y>5VG" ;oG.P H%77LDSn1G_L?v*UM!9v! JM0]rj&H%f(bގZ]L|ˇ 3w.@SZY78漦֜kt\te9i쨾d :@@D*ny4qxgp*+v9o9OydMTj4(Shs_DZ(z_+"(FU=vɵjԎs̃}\?eYgL Z ~#Ly=WS,J-Rе@~[=i(UG#@!\BXH%opi JЂZldX: c:F!#ޘ2 ce,"OEYIR^6ɟM`7>/Pf[ T+K~^RT!ubr'&,,܇^&AV[PE`I!%SEV~/?k´zX Dh* rroGώ:⽭ҵ"U 0]σHÁx ! 'µخʹv/!yIQvD*m]\.sniw/EQ|mħ(OѮWLB;>*-]!>fͬIOƳcK%H )(wpNp Ǟ޾RBjFR(7~ 24saP݈/bT#0C[˿&BSk=?EZ)`NA⠪Wwid** ?bt^obHQƨZg̸Ƞ<,\]:p,ISW:*R!n$Z49t@)I)!L EB0Uc+!m#J7b=FBv~qDaYůh93ep}kzNXbJeIaͳJF>l%0Zۆ¡A> YHgUx$`k\M鱫 fّa0(LVXw(c&Bx/vm-1~܁ΈONKA IgЅ C{ JBHS<*2J,8!E8wA;4@;b 0W%/CxZCj4a-t0V'Wm5O b J^e4 p!wC2w]޾ k8AkEJ <a/~GdK[ljNtױ5]YWF gClqj/Z43ࡰX_҆:"\CJYyLjй5Y^9}@>h3eǐ꣹ ip9{v $ݳ%9˟(` 4yn࢝-J+_MI}]An z {mXy1'9+6Cz0:DewZ1Pod&HtCvXy2wL^02SڦģstCm,ar?=3<-D78ڡBHr=:oI'y2=F3zH -XGL} ˇ ʤ ^>ϠC{i h J0RP/\w-cغGRk`, q:n׋(wf˾a&>2.`s`Χd[rt+NђmbA^Tֿ! a3 YzlqMZk%RPQXkJkUPn Kfj>:TZV M1:u݋H]˓}pi;]<+0$8lx[ʦBV (x.Zg)חׅW_!3(zƠT-5AX!^Y_Q|}xv8!g0MsN/{%t?Ӈk 7Ζ$n[IMbFKhAx%iEm]?S0'GLG%|A hX}Ո(: yR.ķƺ% G DܹO\R0NÑ*gYt7^Q^2Sj[1mmHm 1+R ۹C#Y+7h;jfOEY,CYjS$2-F) o=O26ÓČU( UQ֮O١1# ۺW1$?L:[J%<.I(L:S)zJEM?]K(JD?++3duA'=!>逧!v}) ?g6s dFmeY ouh/˦wjػ8~"^U7CA=3-e_gAE#+(TX.'dή|l$/X\+mJ X:0IUM) jALy?F[c#~8 9"H[=Y*l2dJA^T2ʶ>B'Ypfw{(CloVֻy{ 2; ,$|UBhH&/Ɵ yِ݉ A90_$Iۡ{cB+F5դ C atn9mfs+yuguV/dBDC25+d5TOqCuN=3_fL6 *?%kRfcapμ, G;w?.N$;Łkps㵻4 I4Q;lTV,"]Ej~^Âzx}/ܔ5:٤7f_`G />7݃{%(1v$>`x9\ՊbɾܙF;e|TVQ-HwR6] )nGPHGq5/yga{Uu؋HnOe甭%LQx߷"y- v%9.[sQ9ղ}E`˼9tU(5i4ʅ:+ 8mIR׻0AP+klbĶŗdoi )fʄ+_+Aѱ!{[Xvbc#Ӄy]p)O 9^>r D$˂LgxfY}kE&'C-xMf9WT?~ΧgKW`;o, ;oqswELq9ky#.ļ\+;wQ)C F Fkj:}}'Q' \;@Ck$:ɪ0_Q: 8KJbhƢtp"+ieNƟo[K;3m?()F^ԢEu+Wm ;*%&yKk[t|bm3ET+}Ob/f}bhL6 ='gYZ68062df29d26a2fda002fd4b81891205353cc9527a26b1aa42c8d55e21b9ca6ce6209bf2a039bcd8 9a9151510da7705615e394657256d5aac04f0ceecc19e9bc671071c9854e8e35815af65a18238061