SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  S Su%$d| ]/]HOL-Analysis:threads=6elapsed=342.099cpu=1639.628gc=148.592factor=4.797zXZִF! P ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VB(\-QG\cC_!4b֋tF>b[;3 N$ɥ{o\Θww'~Ov狒GT8dַ%f-\j#r4GC,6R!oU<+3u,-~uo0#wMi/f #RuFgKwcGMe bjainOEx+:4@`B)Q6g{Y5Ӵuq͘ѲF jnm dS$G)""Dl B j`e,!H-R;X1DztoG&=8ytҚ.Z}AOuFY %MK$f?Krh'cOHʵhړx 1\^h=$=eEk gӯ^]7h5`ݚA:,r(F4'#3dqG3]=% h=y˳>' RJV1L]aAF ƞi|ǮEUk|0Ϝ/3pz^;=k9#~q7r F&f-sh yBE?+&f&o H^ ;m0!r"=߉0/6qwڕw 1ҶRp2(/S=;CN_~YOr]eq`P3U52vˊS W£vITL߭,N%89QTN]k1?.rF5x[Dgjvv0EWzl1 lo:Voǣ~T E61xo3 "3 gQ,< 24.讂|ۮKXsEjZ# Bmu"2hʖk ]$k aY¢$R.4 k % HOL-Analysis  3^jBt{T OeJ=%yvhl`_K`SmƱYp7@AX-,Y51PJ [s":Gk?FP"KUvt#1屝grO89UAa.V _hSmA(CzÆɟ#CS)\[Rc倪wS3C A娔qp#Q(Plw|3-?qڔU]Pg]&nEc`8qv&n~?nsT?DŽr+mfVC&QzFxC_ـer;D+IzD[8.$/]*qbIJ`EK)މi4h|vZ/^ad[9MԏF_P$2`l+I \6ws1{&(VsJc@c@3k`_VZg 3k`i 8}Zptq\ `w!¡6Z@ذTQpC;wl?K՜CwI'ic,vw82>?/STzRcONZ"P>6?i݂&mV3{vt8VJ`ܛߐLy$bgT!̟qY^2T}׽u˲g I@7v^a aW*l-g-M.SU%% S-$oXu?קM-^~4y*MaY4Ja s^Mu%:qFWBB G$I6iU;u>k7.2Gj/E8vlL_txZ!+"}5Jv TTۖ>$ƈ%%r@N:!/֌(WH0bFoP5GS)67*jh,oIc/w6gB& MC@;-o`]>^'(gFB NHXKg]xn -"r39t.ѴT&z9[ykzd?pfLSd4_Y cK[;-z'",f|)kZifzHۋX4vj~IKES$ihe27yA6R`5$6l*kG T)m|pI _EAdF&PV\OԚcaxĿX<-(IlhE@Q CɥqI;~WNiԁA䷇Jh1M+E><h*fE #zJt!ژWg2 #5V @6Ý4G$5} 5eCBuERyG]Ɖ́CeRYDLHN2ħĩJ/{o u6r˻Y-d-8bXcBٚ.蹑(Vw /e.FJslp͈ʡ@{Rl-}G\K*/W&3n"Fg 1#piW̑WꪋԾ:f&XX=WwC|Ŀ@:ZeY,xw0LEvo\~̔A  PN^Wb?,.{{CX|U4bR NAZ]yH]34 xŽ*7(BA.K;JYJgՈ,5 ;)h铹 BKѥElMٔ*E;\}ZwϪ!m>^#b!GiQBwcLsM+{bL ~WS }ԛW@&} I&qԧDZ4!{8>ȉՕP܄Ǩ:cV`NTQ?ka& &;1iU}4I>1fj'vj1Vx wb7DL{`Gu]$،d-#Y!q_RyoI~&mN,D1%ӏS`=ҐqY_9z cvh~~Ͽg} t9z*ŬZ1'+vku㢤ғPKkTuDn:hw r-?R"q&i&KkEjp=.u&ջ9%f?-؅L}m50i\9@P0 }?8X1F\+%0F/;PZkt֗[X۩ mһk A"V&p 5;`k6F'S+{WbLMqBrHwO Bqcuos#r ۏh,%N"\`=@8ٗq%nr 骪.ˢ{. ʤ',Rm1‹{r5C٦- 'sʙAk42ԙm]ΟP=UOԽ۰dPK+ CE6]uD/`К 'XvN-A_yŏ5Y\# @ӻ%GlE\ز/d`:#Oy54 12;86l4ޖyL1!bO`>1dl uÍg7ΒmZ'C\ʃ.V,٘*НOįqQզa>*ӓHDڦ.9!O褣 W$>GFrd3l+]GDԸG[k9 3+z~$$]LࡤfKɴeF9=uq$X[1'/oE7B?Qܔ*(*vbM:U!ȥlm&aaIvn1e ,ac_etԨdV"iN#Kos t35'FSSZФ<圜;Ia/Pɣ:eÿi>eCh,Y !/?a7}Ug {9pbηS3bkQcmܢ%C!-%!AB[ayxF)4"(sE :.*~YCX]2+@(7SO8\G"=$J'bCg"_X<ͼ dR+CCY$}&j  uĻ5`=]MYDmr3oRWxyG{&;L3'}hW6̛dqʾ0LXED>IBڷI/k Fw]:46LBfFn8^4s<@hg,-\kcs_B:eޜnE(Ũq1j\ч1d3+ %y^$ #oh΃n.D5>hr-w3lQRgg~R +@goaI<ڷ4'e)ʟ;)9:T1gmWWdfk[`ƃ+ TmoÊs3KƶКPak[!RCG;.ZJo$L-W?82~Ij"t`F>NZAnubۈ*a=p|.,臦-Ydg)\`I J&ؘ/`TìǏatD}5'f y o#`M\VW\Ŏi,9MlSgʋG8oWA{*dG"3f^s;$VOq[,}&d-6so:br4YT[yM/4cQu)<7[DZAHڜ"z$>2`֫qPH5ߚ o 'I !uCәkQ)+~ؖc\̾x t0;Cб՜C "ʌecRΑz,=}[9sfcRVį,L \1 !M+xy๿Li7hby?:y7Ia Hqw'ߑ3 qFC(l *UYJi8OTΒ> WKPpj(t tyة{K |gkb]{Ų6gfBz)bNslF]4JG:E1$/R< Jy#۞*5Lu L#}w2 ֌9iwlن`G(ᒻ$$ 垤r+O@G!vM-Yb|  MP1ԕh(s$Uvc0Za3&Gnn4d[Sde02W\cyr%C}J|NOj!X$/7nVbqQMYp ⩋P/9 Eʻޖ8*[Q׺qAr/?9Vo5ce?$Ls7-^-{kpLMg1fOUJu%N2j@d o@X̚,\45EȬatA$eOtoHJѱ3--3g~V`gϹAM -HHx_;*lI&YC(iR]um:m mN״QiWހ R| 峵W)Q".i)#] Ж ]:̢?Ms`3p {IFtSthn&W nt{ 'WcժU,6tl{5֩tZ@HI"eYkA dl.|ѻ#q&KSz]8dgUe1sSL*Dn:/Rftքq!qtLlN[-/ґ\Ͼ*"dDX2!QVr h/I~-C$}_OP1};=@+O}A3º{\9wk &06[֘C˙[E8*`ZP5bt'u*ᣫ;rvMv?S4,.kvhhx{,<?FmPG2FGC-bL"qEߴ~{`Q&E!Fi$1M}fcWi vdtU jNU,*fYlj؀#a!2[j \x`Lv.X,va4,-wu|r$wʙoc6 PnM"4@fؔ­  Y\SCm|eO1̬ J@D` :WFl ёgeZg\'Qg뉌M?-7X1V[j2."7Ir^k1zW9 FBMf{ޒ-h4F HM2MSbB 7Y$)Am@T>|N󵃪׾'T w 3h1?vMq{.غ` *<6ɀEs `,ۙѱ|jFTn wMȆwJ!ql{9Gg{U 7LHk ],eu$=AiFI~-1L x Tف5]m"^w c572 oPs i>[UA9od]y] ,9եRRIb.v=[ [A%DJєY|ϚbP+*8LwDS.jH@35xׁ9_WY?# J|Vt;+`?{$_!p Zc*" zEQ+&xGwh}MzX#ZȰzٹ պ@I1q'G³=,t_-ėx%N{mu>x2\\$LUnCE^`Ld%Cx >O:I&ʋ;Ȝ4T,#먔ɏh}[zlX/K;3t9h+;0E5.\FF>a{1G]w(mHMF_}k}z}tx6Yy0S|]Q=RsN+ D+xA7lk 9^@Y2ᱍ^h v֣ ;Ш麚%H.ʆXgw"-a3jeXEţa9_n ]M \7^r6JQ-HH?e_9^"Yơ]?SZ5Y3*M/x|Fl#b(#W xofzlRoSRWesYB*@*l u|$b83F:'+;ŤG<0%[o*ҳ9mÕ#n˯DH^kSN,ن>J‹~;Qt5ך@B逦 >^nQA(/֫+v53 tx$%[n/KaZMQ>f}9p ƉfD.V/ztJF]5PO„?5XlHٻ>d)6L͏ekqHwu~N*?=ڌ(6[|X,SrI>Ih.^<Cl~9Z<$!!5ae( g[УP_9`~%ofZΦ9{=vMYK_7Kܦ-P/^0Jz\2vP.s*Ҝ 0ۯ0CC?rP2 ;QCG9^öݚev^lF'3|f,_HQ  [B[aJzհv[v]*R•1&RwM9<tFExJ's{_S_ * /lx'bA&1ď3^: jXRebx" c.{̰L/cWvFA;+W6^0 zSGzIN ӗVu9gEͧd6ddkdfȫAvs0.L9y\!IPrY pJSk's-Mm2DpD#6j9 yF:!_@fk^rC.=k=+>4SOpL\iٗ2TXkZxb39zV9p3 *W5U:94k> ĜY h===`/{ g{e;2  OZQn&>qRq{nܨ:L譳ר9:gGqbԷxHz),SdQ{vSBldԞHUI/]1\tn@!YoPqC˵9V:k=T\ :`,Ѻ9lHn|<ғ{HGb$NoEz,ҧГI[EL.8tZ c}iW#7U[hFCZ>Ciaœ7v)(_XI|>뼰rXkJ B+swNV:Je6`Ȗ9desp?gO_8w(.hۤ^a6pv Ī%S/p D ԏ.| :,brIskncrx9k MP!i^ʏdJX/7*s X_Q(ʽ טQx=HD' pIv͢$JBH==ypeλ[!(^_]Iw8ZG16Y@|px7^wOB}zm*{&bVt?FN%MQ5Ə <*NK,P娝Q` #[ l Lb |n^EHnh}(In eV (UO/-KV^5LA{vއ)틼2.YJ-(pR4߷e Sy+1|'1?.s rcV5!1zoPa-ey![{2A⛎B'Ծ5 T_<Ø`x?2)B *$na~w+#p^5zb?gljJN93V0' Ei3W,DO\LQ.h$\սowO^,CQ*>N/Ud{n DuQ6i_ު<59* %Kڍ7|O>kơAO&(9r"i |\0YQ_KRB35yۭ1n8 glu˕Q?e1 qlV~ZOX{gK/;cOv`X񭞚rNgl`l=S@n ږ R*f%?\c(=aXqA>lq .9i91Q;|փsLށY?0Z:Q?*>zMii9tyA m}!rKk{7|Ms1E !'U KNfԊ^^ LHw[9{LbHX*H7a8gwFj| N2VZ?X-@N& /P}bs2UgsU? G ;[YH!103WLXngu7y4MpΡK?@XR?[_ ^ 48,eMD =CjO gz -^Yo8f0nHgg3=[nOxQG`ȧZ ֩= ֨vH+"~hvwDEz W#/2lI/7^/J0FC֏ƃ ,{B{ YRDmZksL rvډqx.H#U!Y!6F *5avppMiY5ˁ0Xyhe†ts˒ -.[wMKFt>JfT{XCB8||[ZÊo9BN#=Sh(uȭ\Kǎo_b<$QCn)+`h-UOvʫ(К2"h~c-cwC-) ܈3LӍqdyʹӱ}ezgV`[ c )R3c {Nk]E#R~ɗfW)꤈ 1BX> ׵`ڬA;Пz|WX/2N^c8%2H%< SRL`Bgw>כɖ q"Zr aIJJh 䡱`&Fv s$d5C .Z]'A=EEl{(QSuͭ}o7wmAtu WK{E1#pT5rA,o BՌ2v}7>Fe(v8'@c_o;siMB1 V+qv:ᡏȖI jUWuxrX-㥵# k!d9}+YWG@-tC$-Hs<;ʕ|JAO7)b-jRAk)ylE?nᖳ.@PΆ'|R28\//BxQm}"KPɌ\~2LE"ddUg_C?W/db$dm5pՙa{xrr`S!_,\s˟Mųx>ɜSc‚ҡJ(y$h "$ӄDF,q:+1.RY,~wgja 't IPc/"jFc"+H&}f&PGɾ!縟EԽԫ\>DYMm|e#ołv뙙g 1(m/ @C^9Ӱb,8a52B* Ô ׭|,~-02C|%slG88,GqGCA$O!#q6y+I;_ě٢ob b8+fySـjaTaR0Zc%^#5o? SBWB*"³Yڔdy1.(%aJea F1hxTU&7^.1-J&g}3aYkwv&[bF/"Gyfju}:v<2C:`AoG>g7vlgYRFsqM`]240CCM=3r%V%z;dW>n(Nބ^/AG d<}m_JfR,f,YVq;9btuNl.Pgg"jY!D\cB? oe .Ϲ_VwRrZõ p+<#[kTO!SOsTF݂XuCIJhW1=WǣO>Oe*$GR5w.ںz֊$Fң˕䉜kLHOx̅=Sp/1Wڼ78[e'i(Zufi<gDHEW, ^' hq.t:rХ[,φ % 8B 9Q(F}^ a.ڒX0*(W#omJ}-႐ 먅; b\8CTL39siC}%n_TD (9Bm)y2l*k=8}]$MݧKW5m혬j/HH/?S|;K#w <̬ubw~w^zR]`RXL "k9:i#rW?ꓨ'sG1Yԭn닎U=3҈o;Nf@ br$ųf{7/iSS k&]2ܳhoF큧]uX;Q"U{ /ԭ|X_9t=1 \kP_#ewۅ(=zb;LI1n hlʃ̩9g?m>Ӕh Vex(W鴲=|.L22"0:Kzol`بX䜔 PQ;X!O/|s"~yVxSbO#QOg2"UïiڀcTɓX@0DuPuT%]DN<:J)!4:L;/W.X}(ht,{Z#Y+b߼qG2xbz-4gૼjm:]E/DA$FNvb*́ -P+Hz"_XnPjlN|iYՊ>M9Ňo%mG/ 0Hp>b YdTNlˎM.9 mۍ8'Գ鍬h(d^<˱I%i\<^L/ϳהSNx'Qzclܧchn-Me %5ƌ2<ȸ.ܯò0Tyݴ2I(??fU:H@D-F"9I0-Q'd@Xw3t&8,^gn<+e'^֑=& %@S8'Pf|Urk6(|<}5r()K~pJ,NW۞ $CZFxa3uJ.ue&>*)kLXxIb3Q?SMoP3㖻o. !:)ΐg3"DӒp ZO0{sG>`VlA ºhP(ف~8v5b|N9'}S1\|gGM[*KZ5\vKv^͍1:Z[PP8aaMVWW6eLGfSxR׵6`#.+ z%kYr*7??urj |6ƎFH~R(T/ |%ѻ:NpYw:O2wN =0`OVLSHBH kn9.zk^{babF^CɃڽ%GCt۝K2)%/vaPvl%;^ѝa2CwxH3]1o,׸ҥn$^7%b-NȮ 1sNoϾ8.UXy^}67<+$66GpǙrW`gYZ7zXZִF! #Gi]ŗXiɟ1˦r.Hil c`1X149HF̻εrk(sL 'g0&K[K?3{:2`d>:EUD}]/ ]̘Sc"'؛TP.o햢৲3542IRkݥ_th=&!;'zN@eUq )hlI-n]ZHǡDzWޓ% ٍ@a_Ď]6m"3[ZY@y<(~aZJNnqp| 551/w̿m3?0{&^4>lͶ#yQZuq}bPq^C "[dU ry\x!Ϩg+ Tڈb#O*5\Vl-ܯvR /=R~5<Ű?xFfЮ$oY]!G%>ss=^L[yH"Qh<,d+GtnGċ>PEJ5g~fC|9 SX".V@LjvЍ_̈́E{ d]u!U$<A1 ";S&5Mɺ<l=)V׶!\lq^DD6!n21+Ok$EnI{pFLA1!׆#2Y J1ϯ P`Ηdɡ" MIArfhx8U*;-P?=RZv~ yqc@2Dg/Uʅ<twNxJ6]hdw\U%Naoוd?Hg7z,(OHq]@A*\`iAYXOx?Id㚉ۺ) %]4)fP7vl\F 1[^?Y½{&ۼzqwFs.yI(H[ "/]܄s mkѰ%B!Y/w2&zYXS|N U> 5Wp* k"*\$zcQY6+}DB;9>e~ eYGi ek Nji%ažO,2ޝLx 'p2wi Ud+ B5bz(hnPT,wJyLY| ai 2!3FU9Edږ> UgFݓv;wg/!B-71M' I{N1d}3vm}}erǢQpB\Pq%,0$𮝽ONmL!.H _V#x=(gBCA957ٺLfe{f/&4w  ynH0'8lൖS{J -1ֿ͞[G3'rI,s)\il;pTZK*'s+٥^zv48HoӬY;tWOVfU7 dfF˟MT@V ( 60W ռ++UXP$Du&&fC*5)й"MfklHm5M| Sopr_U'{14 XR8-¸\=ZJeHgk-fMTmXi[7$Y@|z)@pIݡ^S7o 8* 9~*8r(m=)L6ǏueFFgYZ7zXZִF! 1Xl5]ŗXi%@Z|$5L̏{%aׂSJ6Jb8E#!n⋵tֻQL89 1IU~*Bf_W>4/rم}>Z˞lk1㯐 t.F7gT55H͈$G;5-s)2g˙z]Z9h z6(⛳&xCV_[+ XD"B9 p@27YqKi`H-:RO\+^6+;bcf8ߍe7W +o'Ёڲhm\X~~aXTN %-HA\wNz}eʿiٱT==T뢨.^A 痴xT-{IA4pJIwMdɏ HSr tg6J&ʂ֥Ӏ7eXPʠe%NS@ٞG(&]DE5AʖQWL\8L Zh51I^xsBLl|\I#C8 #qe4T%]Va"KgeQx_1GꗗELA[ѵn}] sVpR쑶l R3(iD`Ճǫ:F#Nq&1 ?%kV -r'u@cV`4_/na Ǽ=WƏy(*X2pf:X@4;QF4Z?Vr$c`%G`]w6jS_RP!RKS6| 9z N\ _7f|8!~eQmv*՗f_a';G6C0X{5zNw(bZόpr{m}7=%5!a !=7<\q Nb5=ɏ ˇn=\70vOYvzzт跺Rf-RTZ Hň*y擡*G dGFƬHrNxjHʼn/ITY.Bw{au_0qMĉfcZqƋ#X`A T,g?:͛M -PC :D& |i=ufCސof1H.@5_lW49Q1yB_Y4eNb{B٩pUJ:%z`9[/]u>e: _F מЈ7.$JI6 ),ʬAH eDlz!ֵ#9Z= _ipN&ρ;ER&rgJuXwCOs7R<O<>-֟ϰ'[61Cp!$8l”|8%v-=lްKbF>DG3D_ ^ځRBsP5,_*>y,| DV#&lzb/b_5RћGx__u^)ԂG;ʘ68gS!8V7j%mߩ?rr60kYax]"pj{Zbɲ6Yjޛk޼!X}kh^"-b_ TRDZ]$ T3B40'n%jI>> |y>f9qh&qsnIrrd$rM4 ܘ1X_Eduu,7b|-i ơSz*1}1Pi":_`'uJ[t}Kgd\!̍fl_P2(sbE _ Yx@dLA}BB;sتXjc0M'f^ ~tvXM#]&+M2Hn ;'Jɞim1Bd{5!J+9N$0Tm=CG|I G$a#G;&eS'dZmā^Щ𛣠]d[bZy~QX-%YsA}|9v{^q.M101+Q6W&l-kAU(:@\Ls{%IY츠 %K)R.MinP 6>V'ccV@3HTIz^UWBU=:3^c\kitf2gNvb-kxt’()!#{S."= JYQv2jwy2:>jȓMSnJ22[y(@k#ZRa uT%(9oUeM:"uwLҡ$6tP:tT$4VeG˼ 3#]cDKDUG.pC+&$GΣALxQB- 35?/(3NFWC1+qP'c Q2AMkgi6(erQIjǪn=d70i ,be%}#*4_􉋏o 9sz*5P(3mtWiDXsX0.كT\|/$OUO%Mh4~`d}*y=Z<8-5F)}*O/JF=_׭&UF숶oWɝW3y& IaHz.SդFl`u^jGPKmhԓFWﻘިxM3uŷ qD;4?֓l\8G&-˄\ốfJtY0 I'QTs}(+fpd}ˊZj6Yl,ǫ 7탢: f{[4d ҉wv鐪Ro eȓ-ȋi4:bh(eŖj-u(]`f?ğjLKUQ @I:yR, H_">)B+ub\n(>FeY~LT~LV#c/6mF-Q,'ZD'eZrI>sJҞ2qE?X:CSjN*\]ןVX ~p!P:6lf]mpRzPzߛ-YN{ٗb 4="̩MQ?˕튌1 xPu5;=v 9okdBrJN[& ZIHhz޳nhۉb;^Y cczܻD]Jw^l+opVc>:[Ie'T4Ao[m!<`DnoјTn ~ppZF]ڏ:olq(̩baɰp&G|LRUG5LFy!$~v/t&ƈpDE,UJޑ\TA 88$x_Vjl5DMkBUgOwhʙI*6'&XU "("v^-pe"iVÝ؆$M|BMM%.)gǐfŨ7^n44:VQVKەxڞX8)OiI8 @BW{}_䞜xIlv+VaLm9<[2A/xm: {Tܲaun*G@ 0|ut,4vw/$aT *{ȔiJ?DLΰji3>VxT㒯$? ]ll:`Zh5U{׍ QܵeR=s2ZvVJ SRLKFR4d%>=7UZ5z#: q*.Q5XUG5²~񳦊J)kvʫ:OO&m*SEŚCfDdfJd 1t|=L˷xvfWg-9s5Mo@`UpW%T:`l羣RDZR.x$il(("O}̭yZD/ɢb5urkhϾz X|Z##Xg&8B#H@GV-!tdb54l<@sz: Q$|a~6T"4sZQCRy!8Mg%T2ہfvG?ΛNܬE]޾%ztGDK) L0џm9m~fݿN8CXIcfܬLg_s!J?=Xo9V u4,yT#̵V+QÉYW goX2Ȼ7cwe VU-_lVdMLYz"B`q |}g[Y Fk[1v]H,Tjn(R8 o6ΟȨZCOqܗ8;!C\3N:LuF_ьŘ1u͚,"֠[wJeq{XŜ??Cy~ hDϜ 0_4oЈ4'QZȺs"dhj+(]Ӕ٢O ʚ{^R~Ir$ʢܒW)bh~YlWR[Dw<=;t]R持W[0}ԨFG $Uֿi2p^2Yy=vZ+S Cb;LJ;!-7i.FLNZLx+N "@xK L9L"*?U5$枠t,0>qۄmY[P#꜡?2Q1fY1 cVFы\tIXtf "<"&^ mEW (Mj'9YAT;QS*kX&g2u)nu:2hjU\/p.[.{wWkuiѴW ~ȠgI=87ϯzFI:dr&Ou6=r=nLvG0^C2\ZS#h9ͽ!uMKjmy8;8mtېlk+վE//Q.w,d3pɚXs%uܮ{ ]V/2VA/%?:2Pjxoj]i.3܂@X_#Fog iME;HW!CsF͉\aGMe`ﳲJi"($Gݱ*[;mRԨ|I#T1v*7dULx $IZ)dAq1hG6"2yƐEYO N'6"n:!zӍp'WI}yuc,KUlZ';l²UvɃ5q,_8T|N%.k?+iЍ]j6#!P @~$W[}j-?\үMknqJ0eD a~e+*H50iYX ,9efZ\s,uj :a^])$ O FC4k}_IMYԨDS<]k-崽¿؄ xѦu cuL\広5a@fLYѥvB/U{Pb9#f`:u@B "Up[,g #ޔ+yhAw~aV/AЬPc@ ׶/|=(/uN 1 ( ]CӠa`OZ~ﲉvTG={_;7 4p+5%/@,lL@eLParV7YGU6T?W'ildoF,UN[Azz)gC&GSνVl~#ygQݳC[!gAC-Ǐv [f9V¿~heQsW~)h.@O9oa[fRBHFv8+āt]wZ~$}&f{9ZvjdF|WǴR~:Buo ^?YBF"k5EeM:2D ՝"a#Ϊx2kcG(-!\'ȏxX?.JPlyǁ#Q)fpQ'IZT_J5?ϩ4) d*{ޔYԴ$f KL%ex~)SP#bzށ6ʭ5tᆖɌ$WT*n|IqIÓ`|i!s?ˈ3UPiǓ(6oFi& ٓL&|߇ nô*7?-(u\DCZzGlӰlOԓ=Yj$DK&,_=n q^]>0E;#S NzGd)1\ϳV%67/yq?Sd?s?4u/y$dV<”ld%@X,Œ+7sn}]wꚛ2p-ЏU4~nfBԐ}N o `ErޚPV!a>Dw5 5& P!D:|YXebQ8=6` |R,^o׆b9K5r f5\˜WvMH]דWu?*O#NBxFUV<M(ZB#INu-iȃ/9%޸IuI7?i[`oa)T8l%93Ix[) h*Tt[a (z.!?8ڟ }%W~0:z[f1%;?=o"<ZT6 /J}2#$}0-rNՙf@黨p/!u'ЃyJf+gL+ ~+obI=~`aԸkd?Lǽ/gsPo[a2;$.5CgݮX=I`m9ta&j>;ے&_``Ű.y ,f6O  *F-k5BĻwyvZnH+㜙sE6=6KB[JFn !udib Me ijIy/sp!A]+ !7_ Ss(1Ã6vu/LHj!EGYVTW $p ot)A%kb?aL,EY)3g^]O/#M\:GydH X߷lT,ؗm*A6 )\ltu8;w%vd(L IRi zRk{|5:L A8oKv|9RHJWX(|r6Hڏ߭6{V]ƷFBl"8y/@Tߴ GC98 +1nᬇ 2P8{Tߓz7"0^^ к#D{f@KDbv JnHyWi^ԉ-"!dz3zHR!\ xY~9ʭUUSmK)Y7)bÂ0uefӋ#;-߽14'?C|e\x)\f`v"(3ҧK%m5=R0ҼE1JVl#Ȁ#F cCzTσ+.v>} q-^CaV{kV$♓XaՄVBm;S#Y-r9:HÑP욵E3^2,O3cc !zJL!۫FI-M:jb"9; 6& GLwI˹#5A2jyM t_J撚h&!2M/@%II5o@h, k\4lb\YԴmsWTj]^!e։mHU #:j*Zf,]%y#:clS"ȗJtz'{G fɼ6kwNA TZTfy+Mx'>jZR0y nI4XIz1ItHo|Ά8 OEs6kyqҔS{k(;)!/X<7zd/6,^><|½evX1UŮ+9!8JLO|w#r K;,m#8>Pe"_9+Q}3UE,-p +m cN:WCGPl@Ф.l#^@gD$`Ζյ!YʼHRQX5 x${T :gc cA_[ZW[ζvHx&V=V e2sFa3-je-ڴvỸZlN{wsڪgXvpION* tj_dڄc$G擏XahgC Ieh>A؅!tVC8G씨G7mfj[h]ÿp1٣R-_UDYCgP9HφIbPZ`0t6"FDT7sQܷǼ #9*Ekw~Lvlo+]8TYT8uQ2xDЄ2Ki+$oTf>OۭxD%>Sk*-OJt*8l zs=|fSLkESe9a?m,ҰNΕ/ $dM{K;s,972W[k ȑ'f67gX6 4e%Byq!3 (yֿq|~S ջTw ar7yikveUFm/\DV6uٰS˖kvqVN yTd,6ebw%&S\MVm΅Mudޯn36}~j@?DTh ^vɽY ǦZ𱐤5f#NXr@im /JQq"_Q d^9vJc?Js`KM&M?o!"Ϭ"_ӟ $S^WU3)'.%}@P:͹ }TiA4[Fr\Ѯr4-~x+ *q>)Ӻzo)E֩dTTևZz~vZh8*KL(B:C:G4DS=W<7ao%/ɛRO7U!LgOU?!vNjc ߄dv=:7?Ot]i7qHBWa ߸ҾHoל9m$RoZ~V1 Ke:PJG +8$S-{5<*-d5#bZN(ib.n]GQp A MJ$7 bz[ J%T%y} )$57wa>L ,Bp sN߱;Se93+U)H /BC;[al z{C!7!)^Ne84iνHT%N6Wm0EUd4*O|/XRفt*XeBQuI o=Pd><4]~gOA "y'sԻE'EhPyjCpn_A?ayP3T3=Okݚ}<-Uin6W_{Q2z3rM-]~squK5y%`=ၢPR^ p*G@eG}Xc&9E\gD7zf?-$dK3kA@r@NG<:3m]<&Qu;)V[.DߏF]׃VtekLzT7ac.v_g|;^6>'Iaw ۝1|EA7a-,מ.pr>uqG 9sy 1U+ yElNN5?g~=\?sD Y羷O-~R)=v'yjጶf0!/2xbCeZe6DRuڀiqv%)7L}Re_D ,7GRD]hw =¾3VPS%q$tj pv}k?\Q` :vX5a~@bhegʏ*JQsk\j~&&qܦ͘l5 U:{.^8vL9ջ,v;S86?vۧ~u8-N=DB2us`C;L#'x{K8Te|mp7$1J8Fn\K⮛GO+!JsY.E"oDvArmOw.oY~Rx"_` Mnw5KH}kchZB҃@s•j z`x;TɆa2"!'N <ФP 2`MI Z%λۣohLtپ.@oGV7]A(4aX0Y\ ˯΍!( {㉔JNq=דLA *˜{Z&iCX8GTUeVw+KY֮-C[[&e淾~vjmg` laHʰW"霡\hb'Y"K]C:d`4|ZbniyBamHB*O/6(?251yVg3&EdPeЁM\D贰JPi@tFY:7}6Y -|lIc$߮-'pOZ'3bϝ=osbdR_n̓ (nAZ$Ip-$6%R;[f +r#JSXM*8eb󴈼*0uQѩ:pT]u`Jtdā#ɬCR0n# k#Zvi`M\đ`ڔ%O!G SAc#p`O aϨ>?2ؙ+VIj 6'iq>a0j.[`J6Џj t->,uHeڊ9s/i/FeԆ ^?m)6Sf]q41).&#ЯT6>an& v[D\; eMl]*? z<FU[\SZN#ӭ9˺!(ǿ{+^i e=~3a7eIXX{@["hbOāsҧ|ݠN?$CRyTک aMV}N}Arؓ'm9VyŎֈaּtFp ~sg<`D ghC)Zmx(A@,\] YAMւ:2CA$ xef+P)hTp#FRrm~,H ;Oz"f?5Lz,D$p8D@! =G!P wdJ6"wZjDv]e6ouJξ6~ucէ,چ$?8Fk,.RۅI I\[^?w%Ǿ^>҄ FiүzP9[9@?Ს\Vdw(OydA1bMuPt<1!E[)Z,ch)Kq 겷rK3T)N%r^yn^JgeڦkUnCϺwIy޳s uʁd<(}DA =t#0Ul12؝T3GTWh[> Eq>~{HR}ö>210tW֬6g1gȷe8+ ˦s/#~>\ft>$cm9rRB'6wqK`pPTz|^ wleQC>_ޞQ^n2>#I,uz# e+9ݛ*3-TfMYHQ@ m h\Fg8fp"̱ 6!3^h2yTT\b&bv:(d ^>Pk[q~n ӛpW/=*a3REdʆxEqDŽpA/D)c O5)tMxzjizj3O_ǯjc ]#㹃i_\M^*`.\Gv[ ܓxۅ;u=l$R]$iֶ61Ӡ~{:ICt\W)AL.CX@-ߜx7v/8@N/- & q4?yXj> =""=x/nSB ~ʐ* ļQäb!rxWeLBX&BuAy`2"MĨ6=1R‧:ʱXVݺ$6yޘ $ޤA>y-95#  RhnZanJzSnSI"N4SDPLٺ2=ϰ.<,PxH"vK3^Ѿz;)6;V6!h g};E %>븴IԤUDڨ2ZMs17 - g>8Pܖȫ߀<'Cxuƻ(d"~Gb!=Ρ>hjyog).?x-\Y#NƊ^>:mXk\-8+~*\F pk% YJA8x9֓ | %,rW^|},U6ĬD9b$B T7*@JyǠD=bKjf<FvlT$HUܑ=jNա+ba槟I4uѭ_&&q/%Nv hquaV4)(h-$_ :e(BqO+^m y#eV,P]Ui ?bн#ߠ#('pͿw*;4'y+gOk7][riV`G,ύuL' ?ALZ57\JN0:d9H-svr%3?`ڦo׳/hЂ pJ"!AJ$jHTN |j ;r>f/wnB d=۸P<[Ug6P,ݕW[=RY\6cX33`Jxsq@+xz6Mts2L0ئD>zc?E1~oo>ޒ!tj ٩&?}" hYH RGG|>!Zi1|sz crձ ~UeЫ֙ƐNxm]xOe,Gɟ,aF%lJM qXc")P8ό3`DzC(<fo'5[GPi09ew-Vz~p}=P2iYvOKne(rH\=gEu81#F"6 -j?oZc })Y\5Z-:snilqgCV,oՔ(ߜ=*fo|.C$Z '(LRQΪV5 '-T* 0)ItqArKhuXH:ǡ22h61Pdu{XT Rwp}Pӕ^V %q$;gʾ~w߁?02O)vA&]7һR>~ҧOGY `f5>u-O)(!)o)4U>R1^uM͙GZ[fAx^hXSUWl?[#-yC# LA0J**G%`¨ꊇ{b D슲k[c) [fZ\j7 (//ao_}}e}GTg@5>хoZ27\ Su8_׫l@PNڨH`[o_Oå3zEʐЗdX{)NPגmz3KJMd:|+7%Cx\+?+I|&糧|9֝@> &uйaAWd,TGu4z޼TaIpV|=2%=r#^Qi˜ӡ}L$ƽ䜼3[[w 6l DeLk:׎3y}O W!3[C)-ؐct :n'h !8vO}@"RqTCfA(< *`p H|:_mDI]F/CvCm4~.a9,}Ha׫cr9Â\zR-ba$0rZM#`w7z\;CGAA(4|vtBAa=5Li:D^0h(X.`(i!׌P݊TIg1i+?eOpE+/kY[GV;)ivsf;P׬]}WH9=_c{IJEWY?%/)짓:} 0^1aY X*U&v .A{d] n_Uر8?\'O*f3L2Etߔ$<M!_N B?Dl+Yhɋ&{zriCykVP8n̙ Ci6Eш&uEuLi\ɵ rT%{_"26Rr'>4,([G>hg\H]:iz~3W^&(m+tI_$5{[R&: 5kXƤSvhCDΕH>j,,$J<U:RV%in@׍PPfa=EIEDsr _-&2+ХIl(۔L pJ +iٹB} vB]]k`Q n<ޞ&jE X"uW]BYۊmd5IQi˕AP\,ϑZCe;tWΌKY4]QWOV 1ZUڵ/hTOp20x"lPʐ'l{X Gj#|5!Lp`nf a(?h?A ETա/@PqOa9!֎Z,i=#PE͑@¦&bj'Rvo 9L4cH*dlkEqmʺ[((Ex:Vس<˦ALZUi;-Ї gs3؄J@LJw7a+e4RT+5Y%ebreavSŵyS ß-^qkx>PZngW/PF -@x' e.Ǯp,~fz&sM,rcuf`vƿ~ͨm%8ONR,iZB˾?}${\vw 㔴gq"t*uE)׻fg)%MY5*lL&] hUD3X8ҁ"`&J$9<:S+x>jLyMZN~nVtEk{nm2FyI,8[:߶čE sIL"JWGi~P2J5> DƷm /HQ =iL&3 -Q ؕ#I{5'Y5vvR9ÆI+#77Qiih^|)|iҭ)glIpё.H LLۉM?Y1 N+ȌdAYCzkQMսWI8h졍"tW"Tl +L#zw짔Ѥ W2ؼR4CM[7墎@f#ኍKu'pWDlmvy:JC_Bsб-gP 0^ $Z5Q*r\o.ӤG H}wOXaHm{&$y&.Jx12 yu*@i[WcM`ctu/X2w>.} @-Q(eɘ(m U-N/Z,cz,'Ɲfg La\1aFoѱf#84;@B̖>$˄íY!1g9!V$0aet* SRL&c qb]e|yyE/V:Hý'F)PH֛T^lL/7r;_13z6LGg}5XÐݧ2 BrDSvmXVxzK6}W; ҎeHrYf``O ),=g DUv>}p vƮPR# QυG.TyV a{N@Ψ篤xiq |jpKt~;<4%\mkfn']T@/c S.tzI;R-k竎vk 7PB핒ASu:= aL>`ksd4 U8Nw:Q]鉞R0}*>([)z@8lM#RIB!`I#k?o4\JHHb*R65U}x Y#dkVJsCNL:w 9'"P̩_ΨT_Vэ-Ihv;0n7euvHڼ#>ēP@"3vKnwT[U1_ _wwHx:2zc(W!,tL'*wÚpw'3;լfpaEƎ\.t7H\k=lЎ5@3!(1>?[X*U1ؓ6նSFaCrz\^-OrgYZ7bcfa1ff061b3199563c3e3b5c78881dc747c4e64f9adad097b83b48748aa56278725eaba3e0de72 4407b64f47d089c8dc6c9340ed5b51e835b9101de2eee2e0d3fd9715d93c0b715e7ec6f02405a16f