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 }}[5$< ]S HOL-Nominal-Examples:threads=6elapsed=273.017cpu=1249.588gc=146.416factor=4.587zXZִF! (& ]ŗXf1-q恈ބԍW_8Fa/G`|X&9N+!3N_Wq4Zc"!L) "mݶ/x"gCK׈$,Vx#WGwHoXZ(Jz졃[>xm/YDkΏ5_ o6.S݂8ݒO~-Rt;/uiziF{an8:qa(~Y"ބCen?SĂ[J.)밅$E eabf_3j: t` 7SS*km@7N7琑9m޴߆CL9:;'\7y5Q;82/^DD8 S*m ǟTԓF`i+ƚ,& 8{m`dencɠF(/5@Υ~!`yX 8mPv,a&3{n~xZ+qAW8$|AYfi&oֹϊ *uw<\9_Tlq/u\FZϻ2p;Q/3.Ԅfx+Y(H{_9}Gvr[(#i?TT[IYeL{mO)LMUC{|K = jg*++*ry6 42L׀Axj<,9U2ŝW|~1(b-B/cZ7j(mȸ7i,% 4=sQ;MYB OA>ώ=WB /8*e6lv\bm?4L1uzZ? yQ^ s (5H9#!J]EO4ݲOT;Dn v$m`c]B+mdAؐFduXւRy ʏ)` c.3e﷩ 2ah_aG)>:ˆIɆ~+0{ɕdW荃!;n gRWob뮿n$c?F.b9eU/aM[ x/ r+'%N( k>|Y)GK3N87ŝcr^-7]@ {Uz$#qZi xڨ0"uv16"s<ڵ^. mFYBQ̠Sls&f%#A?O"[^M$YCjmZ_F)eݛ2 V9 4QW2Rn %#@QR4SX 2'~ZE4۷Qt멫4G Ɉr6lƾؗ}`.6.GL(_TUވ+H _zQӣ{ y Ӯ>Ê<;_p9@+O%P*T` A׾5m#cVDU}A0h4d{Axja֣i#۾}?ϫoOzjek$GZмJQU='k`]LZV9I &9 H~h^s/0~mD#'ڨsiV 5 HOL-Nominal-Examples  kS[v5\[؞K X@?0VĆ Yy33S?v3 lx~Klg'Y{TdѬ~yZ}aԖaBc]%^>1`c)uPX*X fq&]sOS"|]ƒ{B"@Y6ؒ: Gf>dOi~"u&[0<0"۷)W8GBt&w O'D;Vs !ΰta kҸȟ/~l!oۗ |יj[nTMPI"N4~q OWT2PԳ_v/X'N!%a.krӯBP ;vz/gXD zfd̛OzJRhd{& e1C!vx6i 87CfM 'p_ AWeC0r /r=c$$مd%[\u"m8mOR8si.|npaBg1 Y%1#K 'xYn.K<(lҰ`Zp( U8I.F%M?SvW^y !(p3%3A(vij-OTv4a:.n V;2fSbo:W ۪(KR. CoJ;T v>lmM;'0UɡsgKkb^B UV%Y j}@ iA6r8Iv%2Ukr i}f]8Xp3Ƨϖr%e1ʣg͹NtOi nRD,i*(a9YH.+ B ez2h{x38rY#.](z͔,t:2 $j>eIp˼jB!?ShnU뢽 2=h4]S[3Nn,?0ܺ&'K?aTq:ɹc/Nd湬-C#:[jS`f5V$+lI(a*$Z[T ]CoXX/3NÊw|p >p}vJotCOɤU ӱI$5/$<0 0%Xx_eD9F'9(&~C8,|n*-gkkrcRtZ/\GgxRxIWwuxH|?5F!c*hDuDJƎa- {-Fm4:l/{lsnMw}ppH,3o9Hm?2ni.PVn,USF2@PN2+%,eQ B>L>, :͢Cxm'5=ƈKM_>D:BQZ3=' XK1)FTA |H G  D fg h`R4'ݪ PS2%ccÖBXj8^1bQ^ ۸0._NGs7뇡}4ӏ͗gp4@~S& J/cFjΠ#2۱,3.%>˯5Tc@10":WV5J]Β \>\;|\f'ZdfWO@⊕ZM4F.+Rtufn e 3sF)(.F5J98OM>V)7 3e&raW$[v%x&xnЂp)2A`W;b8\tp/4R9 e|ƨ7X5.4S QF`;VgR ^ZB4`ێpߠW:+zAy=w0OL)ĉD%[I @ۘۛ+Vj Qt_B6I\BCy20/XV-NDl;wOJUdmёXTKWe>XTޑR_6B6oJ4ǯԎ?']EdE%w+Ay,a mAWIXKZL5 @1}F^_.<(|o#&K ~3E#bq1 Pcq8"`.z+ ~h8a;"H M k .7bG$Sޙ/fdGTud LPO׽"V΅ag2YY:UXGߑ8=:vѲ"ػqyt.f \Kx(),鉉c }Q}O}"u s?kA |p5Ǿ'a  qܬk$"R!NY|2Q 4F<\I^E!C:v!&kcw>QIZQ_W`aeCeFĨ-ߵjZZEљ^@l+.sl檎f fI\(Pa%!#WZkrʚ ]|vn8\C<PMuLK;?zrO:3mÙI"X2LPdٽ<9\EV 8-݉kS2zRH+PI {?S,|ea[ȑMk#. 7q|0@pF9ɍWR=c|;DDo +G\ik4K77OǓ'ɌkVcNNL$tg*(Bg31Y jԈ iU\f@&)j=Y$KY''6qTҨٲcS´vti. i ] K:g|J?Շ "%Z &P`zz20V%ъ6՗/o4w MĐh)S wbϫ _l]ePh9@ #WÑus`S~zM#d45@rpG<fZ n{;] وH[ve*.>luKw ?&Vjƿ惎cteMp~pyd9\cSCڏz?YWu EsxzkFθⷥ!l)eAѳ>q$ub+>Փp!Iz!AG͑4ӓZWq5;`(}jvў/ tbAôUW"WR=Ԓ$ ?<}5: C\_^;zEj,Y:AYh@jgɓYN: tۿrS)ZDu2q fI]QECq5pE"FH,0`ɫ3JO~Cym@D!pn5۬!oJƿ۝F#.gAMlQ=%pIWiig;h5#"XirNW Z !\ pBhE(0x-[5+-]tVA XP/y*_sS y,.1Y8q\@ ,~0kD+ax {31 No@fE-]Yـ<}7??P8znVl(PW莥TYP=c,S/h 2(I؁哛񨎱C[]?m I*;WtUؓ?y+*xAĕү[22PvK:|1H ME»;BP;&=cSCdEd+BExq5!.^^g+YDmo<uP-É^.K;x[!7(} vEfAfUhq eTD00~EOVc o6q:GHjlf@ͅ㞷p:h9pop@rTTqj\}^-QC!Rsگeʭr+.?;ʞDt='I2˟c/HyŻj%ht-6▂+,LD1TTx*h)=ZyPCdl6HWPVy6aߣ$0 %HSR9׸/*x!j֭(3T0H 2۔ЯukHŷr4)x2pyCa;h@Nc$yV'H\|iRԩ$&aOTN v8FG(qyN쓈e`gDb.*2fif>{M?518N 3*bornO| ?d7e!#/AH-9xg?۔2OyeGp)M4nhtLPW7w9@y%&PhObTt;Ygݺ?◠RAܓNi&t1i6X}gtBL_nnSg'iˀl&!kc(54 Y],Uېg1ć K:6T>ټㆤDarsߎk%Ė $vI;N4]e]n#a ;3;5ҫK`CG$3f'g P= iuᓌf9FQɜnp+W5VaԞ N oĖ9컾6I*yʐo rU9vxZ(Y ΧaӰ5fǍg$_5~?({CP5,Tl "ΦrE$3) ǩx+vC`Rm8Yg5|ˊ/!ZC'{ 7U= ͜a3jiIih#S ,AmCѳ$` sI6IѧE-457,Z<#TLJ xgYZ7zXZִF! r]ŗXiɟ1ʹ l93攀Lx3 aO襯u 5V..5u)`v$MwJыsu*?afJWV޿c&v-cj4{``m2`M*uY1U(ɓpk@^p4rC2jRr:D U4r  QixiJo6ggqqi픁?#&a~BœqQ'q"lM1Ǔ~YO)Jx7C0J'iiG\5J:DvijC6TH!]tDR/~k=BIVn^o t/<nH?-@JH 2?t{}',uڎ_htp}{dv]2m|ueobӹm`k'[D+ݤ6˦D9 {YNak_dY /vN v4gYZ7zXZִF! ^?]ŗXi%B B-\T pE-UdA't0(eȷDAr%nI.X2)|Y=t6X.٦znL?n_ф%~vZ㒫'eF.?'"**&SuP3w$ۋ~,nnJǀUf"Wz~AE}bF`~*^-y~Xo9{) }35a`@Rr.Ym&ݪG \׹U`O\p!z<o"coQ5V B8$UsԬee WC3ME۽<WyZS})0g8 %2bn .S-aY2>kܛ-_8[K,4[ϋ73/LSDH|voqfOo<<$Ľ8:n]L(\5WA8#vt5K[kVĨ FB`M:`J=Y,s *W#F4G:~mK&7ͭF(Խ:bľJ 0EE޴kHǜ(y@ZW#ӡ ^Wd0s\{2wc<:Y"'p-$ITķ0CL թfĹ5O_ ٟ7 ?[B8K̚z'o[E9E>AH E X6([ìkro}qFrfyĒTw` XwQV̕)`?-fx;:e<d stn 2.ۧC_RÅ$E\s6F@9fﰊ"X&ozu;L_jڥEɘn$Ms2鼌%"Κ}+kwO[ECf,M xQDdf|On+Q l_EГ@_"zjN 5.;ch?ZsO^*e;2DT6W[-8/V!XO1MWnY=e6pCC]AE8V@X tS(d)ᩲudv[j#w3GàR4M>F,|ks7d(Q]&Q9x:o?"sTJ5< gިƃx x`dGoFlDPin.ml$E7w 3Q/hS o0ڡi{fT<_IZ;mì N+34%no48Xs+ -FÅV=;\CyCYѨg/cs`LkcꦖALt"nLeʑry 8l7F lZ9}1N۰mNFL*iUѹbū µOxgd\(D"L.r{8!E[7HũGD8{~- ore:[W 4.u֨6ֿ#% ]ج}>((rAR!_u[BH5LgÆ7].1s,x$sl~5 3^˼$F *gm9!@=9!T8\H.1ރ6]~B/TEYz9:]N,ڣr cV0cK9$mGY,$IusQl jV;M߯bu?c[v#a햯z9(-_NT"-2YYN>qzؾDCz{`mGƒHW `u+oWg'İ#L+Ci"O䲍6fN *}c W> fVCnm&sNV`,i0x]`, /$#A Cb,.xqc'zXj<':|nZt38yr$-׮[hcZZ]s"¼$#QtE#Bxic<`1@AfT؋5&I7|3x DoԌӺ(?2-e}[54VSaXDcһ~CdyA6Ƌ?F|Ǩ6#f[ ̴RE*0YYVQ'LoGT,< sd)YP+]lgaL>PyWeHΰuVj| lrm/*贯_R͌rGGIo q1H3Ĕw{l2B`ZʤQG~ygD;ҏ?Q/ipHh񃸝-طbq {O ?[/=Όޖ&tsY/};ywS({( rğmwc{U"ٮjY>=` ҡ gjE}ɋćfg6jrhи!#WQДG d(0A(Y0|ӏ5 1>K[rиxP/B5 sd:,;YN`G~mYǐ}_Ջi'Z>PƅSz% [qm.“G6p 扞ȒTFkэ/*Bc)/itm a:КZ^5EU#!l`^hƆtEX;gM>ОzY7j]K=],YQQY$ ddΑ#f0 hŏo?ߍoiQc;k dž$/XcB֝:&GCCe ځ,X< T8ȼ=[i?q误(S-!e>w__e6K~K\i3Qkxad;'GMr]/ G<YHBi^x\2Pp"G>lAqÖs^R7P vXo<ٟPlBj$ WFw*ꊂrnjPM.yS-͉VEy&TEmB&wpx:\wΚ?<:?j#OucŮTZ;Gd;"kv5 c\ p? 8"ALgxg>u>:B[kޒH[|dU{fd#/ikD E]=ZΤK8` ?&ÅuCn'j znNFT[;~!6 BO2o7Jb};:ǯCϑϪ0,@*5wAnиmq@<HjY˺>Xvuaٞi"j|}"$K3FUN|?n}eI1Cb3|[sP>!Pt0Յ11Mϼ]tSl,8^ AMi4vȲfArew 8Oë|7tu-3.%(>hŷ(-#uA3W a7G*"d%(& RHWgk rf.ȒGW48Ilq\Rw^@)Eܰ!XhyuD>MdUB1ENgt;[6I&H;bB^Dkz8s&"*? h5> j'E󊡾b^ω4i`PC4ݗSQC9(ӡʪD*2ɮg4+N!#Z oչa]JS_AAqxڔ7ryhaq;?[J;=Ձ\4_xӔs~p_oPzg#ˠCp$?}L}J@ 8^ĺϲ[1Aeˀ?hIO֣X.3AJ| ڃlbؑsq:U)Hg0ay=^3 /\0<,i /Kk.갦K!59H$C2#%fzJh2B#~#ti!y{gV?ޖ~$- F+! 0trNc5<8FTgNhCSWӒY1rR7\ˆQSw;T*frS/k:ܢ>$ Oya2%/#Qxѕ49567tj$UW:?JƏ4=7)H{mWY˭n}8?"J<+_(5 Y;v53yB szl{F8,!"!E['XtZ(eobiZCo8J$"/a=eIR]$=kA@pp}0[E$pY};|ab*dU.sHhPZyaNPw`k5]%6r+5Qg؀jXW[moŒwL-ɴ)(w/C^}`8-A? S Oi|侂σ +3Ʀ+bߑ~eT( ~~ U|*YVebol^CLfGZ<ۖRy '/ln-9cSLIJvk ՔNI4(pĄDJ m $ @v2Ě(7Mi4z!vMڿw-9QTaGgM}5JaksRLى&lUKiT{J>T{R!2}&c$3ec6jxΑFhYPɽ{}su6GTSW B̘%t)fd=K,§OgN^ͷET}pCW'{kcws(29P{koބѱ}? {7rW,2G|5Mvv^Жa'R"ZD"kX`dua3weu%O^3R `A9"Ş lo}iE$BtY4g_ Miy0aEx}U,v./ıJ9Jbbl1m`vcIa.2R^_mג ۥ1U5^M[:%܄C>+*Pt)ھPȬT:^|DL* =$&E XN=0DνŒ!" Fr $o0B: L Iԃ} C_nCP]=/[Zrgؙ)_~07.O0`f!=iWQӐcL _'! ZyHCH,8J>'gq̠>8^hE2OHdi}l 9Pn=>xaI ^6&'iYK|@U8 W`J.UE[q9?֭]ˇEnqnݧ|$8%>c\j|t[n"׈^th>*惻JJ Lj1Dʼf|V LݬJX^x"+K@Yxۛg$22G\%&)stBt}=bzx}}An/%[Q) i2U=:n(fF%uzUc ʺǃ븤Xw$[J]g݀6?פ?SG}ƇpPyGQyw;k*jcsl|t$9l?:\@nmé"+Ml\"tڄ *g=7؂M l3>IS @؏($N~U:% AM_# R0ȼU\*v C &5VȕlâH-ie׀`-y9y %ÚoܓEҤs'O =R~Ŭdv4y_20j >b%;e(j??>HV*\eZN Ka~uHO,' 7X^!%cp2]mwFlE g;> ǴۻͱBHs^1?DCD(;ݨ_*4X>U8jOϾ6^:P|E Z-K?)T-_ ժ*l=6nG W] ߈T~͸*$^@y>N\ψ!Ⅺ[)5HعSQkTˠkf;\!|TXqڔA@KI c@yFgQ{Ren&rXCd= dx8; :; h3nv Z!|%GйKd176U < ry}jbvmDiUeq,֙O}blCq*ٓV@v.[@#W04ɳQ xf3~^Wra-C؀sJ(Ό"dMpvxխ:4-c c Ǻ٤m{B8t'#ȨO,Q&;{4e~E0莠™AҒ77zH5`!L \IdW"'(\&r+3%2I P!9Nz'~@G481k$3e:=؆h/-c~&VHɝ'$$/@m #SM'끗WPI LN wʩ*5cDk.tƙ34! -Kڦ٧?v*f(Џ6e^_#4"A ɮ[{Kө1Myaoƍri%Q}N (bWߠ#gu 1tƚ i&qo' -7sÊ޹ gW L#b x-۫k.E#TROvҹnA٫O|`]CyP4r_\I[X^)ˆ"J×<PSݯGMQa_7Se&:8u\yC"E(OYt< ypj-܂~NXc3æ @c @MKPQW5}!^){p=fnaVCNhmqog/dM"QdjIvIehx0;LgC&^0S>JNw-]k_&n7v{yXXAk6R4[ǀk1JЂI Μ+)R-LЧZ˩/0sQZ2^o& ZgZB9Aq.;2 ڟ*veUrY'a@Gp(uP2?\pIcOQp7_5L|[(Ai{nǪG$^㞻aU]>'.K23 ?Lc}I+Ex͙HӰhL3bZHdC ߢ !2m1 ԾOhVbF@No;UWܜdJ`%DcY.> 2x3<ĎUKpl;٩Ku)svcvBQB9}?فYcK!g߮jJ-=.c2H/Ѥ(oOknKh۝X^nM)hea+/$r]cMґ0#u&y8N1`}i1Xƽ7Vߩy;b-@͟R7{ls'ZmXKGB=ga{#^asYD`MU9h(Rt~"Z×P{ eYK#.>\8"ҔdX4Hq?+"aWj<\gRŝ}f&<]/`aJN|#]Ca\\8] 7b[n-$/HvqS85KZI`)EP鑒KW_}[49.' eORD13t-/j(;Fm*Z)idRuiuAN\ u$\;J$y ;d5bi&(zywB9?Kɍ}sO(Y!ȕ URo $] (r( P% ˤ"K7a6-hQ\}Xlf/&{F Y x@ۋegI% :Q<]{<$*n:il<\\'aP0lG#.ȮT/`ill!lv21ͪpiÀlQMč1|՞%5^7vïU\~`dh5{|S"6l:Px(CpoL#~A^˦ax `ތ%^eĉN HmP-*NcÙr#T}Ua60ThjQ{V8 )XN#>v^\d=PHOSq#ƳR 6`Ҁ^UԊjqtѫp&t[@ bIHgSPN\a>Bl6|<׃9՛,HnXtN $RP{!,nwcyxv&wKr gW@SSؿ>٘'"M1g| 4U +# uwmOj5\046I袍} 1HiY!O'Dݕ;@Ja9'G^(8մw4!gJ k+^ƹzQթNlܻܡ?Iw9Ԥ4ߠ[hXb1T#*ub{5Ц/B ,r?CJ։Zf2- ?2b{ڨ[{z\"AK1&˜K\f w r.AHp>\W!JKU<^41|$*n0CU‰|l@&KbaХ:f9߄axJy6FU\`۷Fp}$kTu5gC{N #ňWF">#ɡu-ոSJtc%\g^1^66;\ 1- !._ܯ\ʫh+^qԒ ī{ uiLeKb'Hui0J e͡mhyK mx=< aʑltId2(JJ[x) >rˈ]}O {PvX"2yayy'+)%<  iC4[St4k}Ygd69;8sW.fd%]V++v@At̋\Q2iJM3ӕ"O3r׾i.!ω0&Y\2NST^Iu$>aݧ|]o*OdOxR3tO\6|o2 {b17}$PK;kr{>3,b,8@ T<4(7.k(n\k?(񿍜'\uB'uPyNV^a>T` *%z\ĉ[x-9?'PMwhsf|QB  W!p9μm}D(?>aq95 Bq|o0r/n"Zz.AT);EN%^A]K щ No Ɗ/NڛUy.1BޠTM>23`̛NUE0S61#Pk>wopkrlY: =@_b av)k0㳘z?KQĠ;/Qj}ZrN z\BL|xTĦK"5Zw/t $/ /(],b}5ރrSt-o-p,o@pzIܕz(P.Jl- 5r^Ɍ=@F0VCJWQ[,3Z \ME)-|ElmU=I%CUx"MQ[b$u`]I#!2F q syGQBOSh_({5c_&"tyH6%C <28Nmk۵)뎬r٠L_(ۊ^n JE\+4s$(F6MrWrgRT!w21nRaݸfFH]PTy˩w56Fwg{cCRD'laҨ<R\i #v&Ӈ-pbb5CB≛an@Ӂ:# -׍'C1_o?aٺ3ձ(F~8>+o:&&-5쏙{ T/,N1}Z42n>h!q>1Bqi[c l&ћ Y¤*A[)L)_q(͑TX,ƗZ\K0Ҿray?vΠ]\FƎ&E>č.ʲL&YHn<: ;殀 SĢD֜3 يXЦW6 \Ӊ+5Kb 4ZB=JVq2^>y~ӫ홹DWIpZv[V+OڧzC0VAی:M&YxڰG ^Tr3 _?F#HNw)y`ϞA:bSA\=Ϻ| XDhiFC6DwB$@kgI<ٮH !b$Vy҉)΃)u T3.t,Tʢj`}$G|*%SEʡgb~/S9d@zYZ$`Ř&;׉&=B| ׅ4WC-o:͞>/"di48EOjG&txQ#"KM@2H-o&j}V{gw> 3wĜ;QqZ'3,,:2tZ_Zj0d]ӤN|Cd畒crELA jR |LDM'KTj"tLq4jj-L?d&ѫtIdC2/",uw.B8y;`g >p 1‹T1G2RFhK8#KU !y!hAdiXDnP;DT }-uM}:SMJ(g 1 og&eE~2WC }x+)*t̳[~vTFh8:?+.{%Wvkh- :0:SQi#Y1`V~>& MTj*.yjg/7TW%W'm/ 'nxS B[fLko&diF>7F SrӖUڿ,S X hIFESj}#f/ƸjWJ8k!8Ӫam yWA+AZSK+l!!'ad9?/t[^#t2yOD1Ӫ(kI !i'1B a7 :x";TBA\ш7D=r."wnթ>RhuyZׂU/|E_se 9}z.L%~Wk|B`x袳gdmFBSG&Qn+$EZkiAoF .y̼񃓬)OՕd\ O wE]'ӌrͽ{SMe\Q9u(dǮقP1׮;"#ϐàȸGF!v 5ݝUmz)IґfۃOW|]Us?H#+gT#Ӥ7:A"qŠo~,-6v-*jm#m 5#_)X^0Ay3 U lf${16ݒZ&\$T:gt%WKT))4-tѿԖhcMҋYV:-doom|z?*,oK}S$^8KV]*9em~-Zx"l _H[Dibt=O}IA~Vb/yM8ᾣ)ndz(:Fd Y7̔+ܢU~;MA@7 ǩaP(dȂf=ڜ{3xPNX٢Oݥ|R1v>Ȭ$S%m)}X^?l( SRs/މE>ىDu'mؖUVB降>uP /T ]>4'+v[ZvT ëqN2w$$uIB_=z6 x+/hLIy^[ºfr_]o4FH#$@xh0B_ k1,bڕ>1cs`91MݕGO`x1isM,bLZ@Џh=38F Cn*t)=^ht..,:(om~k ބ4A:e /8#fC;Waa\R{,/2f1\&6-F[2GW:V+{m vy~5'>O US͞P'WSjK2&YN-T[JƝp*EN3>kYDe`W`[Mu D֚BG q.écet!};&"C `i,!9,ʼ9(ěsJ;?S|TJUz ։4=W oD<1'pX_guuP46YviYF&_aK(KGe,VziK'éi"*{#X11 G8LZu4eCp{?E⛒[,ݫwRɊ%U͌R#o_!uO$H.ԟf1^'v] {blJ:?'#QU|tƒVSnP2aLwr^N@?E%N vǟ#kh5 4H:@f횷ŭjzɬZQo*pز>e堶/vO9M֋zJX5sR˻(ZJL52RHZ'_Rh3:OZM+a^܂&7_j{V)Te'2bjC6 )C g@Ƒhݰ[A1 $VBB*ZdՆ1m01MA:v*"v6$7H5rKfYi\iΨXB 46A]|`gDg+ uz][7oD\y3($wJkJi87)D~h`}xξJS\Ujm@{.Ct 4vaեW}|%}'11^[dԑ }zG֔@2c/l60KuԹ"(7{gG(4gZ_ûMnT`|9!}EEpFs;P}5;т5u /m~EL3#VmsY6-8|vu`-ǥr 듲[\F^\u8&9:2.K4 ?9TN~@0lzE3W!'cߘq 6E·==d4aw+skgh,j+*XNȁ_7:)Ar Ă,m*TyF*k ith8\)n6E {L=؊ΤL-Cu> )=~LyvjQXpѰYgzAe}:oҸ%S>u\y| N~I(fLqSm7[`l1_({UfSRw{񐗪$V =O%.H˫yMy4 ?; M3\Ȕϻ=h<4xsGj*wL3mPmO0scZ ib0;`+ т )\_]e 17{L IkbcS%YBuOUβM3p:DDy肠Ԍ$$F?F-c{ 5ʹIX(y"JU \W-EHykm@u8F&Pw+1t"٭8I_Gx3A| س! !"{q!qV1M;{KYg*)*S#v=*\\?kɽl+^YI͸GbfO!1b\ R/n7SbN0 9d fPyRi^ ,*9٧SmW+v,̠.WuǢP(9 .Ĥ,zDۊ_ڒQ!Ş&y6yֺ$[J c'6?6'F/i G1&9hZ]LٳՐ:^ȕ/&&dWK͎VX)N PuY(qurhҔ=:oM#EbQNʀ|N,yzѕDv/CtaEp0oހi݅#֗n@.wg%&$R *D/H#D \wF؈Wr8e|r+ -mToޥl.!*{t X =0"oda?s0eB kb#T;a {wn /+:|b%WXȭnTmœޟA6R.%'"NMg|Dhw6m6rCP<,-;.z-UyG ۤD7qnwiÈG2j%Ts|F#F.̅8V 2*L/sD*_B԰e\HN]62fVZF] gL4XŜiP:5UF1&7B S%.}^r v6}<) ]%NPŽt8zUyhƩ~uFC0HEz!P_e5[e<$竓j>bbb Z5کFoPbVڬ& 90`xH{ S(9}lbSu9&S$^qJ)Wr>XuC 4"@>V"?4$"Y24Q&^(6i}8,lluGxQE!lUW)gx xZ.c&C>> tB?OX^}ʯFx# 6%]e" .8q' 'nvlJ]Mҷ1 O~^nzuPѿLݘ$Q`JOl0WZXػ(y4p;#YftF9+{j8αli v)-'[!ysp~YA%s˧FsihAi4c~šNd<5Ǐdw{sD0_>%+ Z.Ӈ:)kMAEjH K֤| du@ ތQUv }ZJ&+A~<|>hA./l|x,N7ΣKIQ*wk7| .h~Tf%X $K5L]@tpHAd7^݋b4R>WdYK̠5jR5>O9AJqc1C= 8Ҳ%, 5uʹ&ۺCcRp$!#tۡWgS&3)iIưry(^P\=!h۽ˆ 4܇= G#,׍Tɬ9m$O%wsq'+()/~I wvV01uN ? v`qsRbhNJ#%@WRcJrkIp971.1 oG%8LҠ;Wqޤ/{Dl9-r}Wgm)vlrPvJۀ^m"pńdHL}OYy, /~ $'LI$@XZ!8Z68;|ID6=nISʴ9zt $G1SbZbطlCs!~[y8 ^n f331&7A((aNV7F!=0CK dtյ:ͅ O5btM vg:?#}L<8Ne=2)4  0aP\@K"~j6!q~J86iy4ChsH̸V? ~ $hv6cvɔ+ {.2D ~\~gIrQ1g*(NFϋFf9\8tB DR'[7=`/$n-t+~6+?,T: }OfbW(H80 zNUɽMtg6=ao"50Ne^8VaiH5n_msxPqelo8,9t"N7% 9yCq,Rkato.~f[kR~k]xadAG!?h&r5w Z߰E8p|2^ #{btN&VZ^ fyQdٗET/ jmZR>vic">bb|eڿ5Q}3##Z ޱ[-,lD6 ?֋`y*# rŸG{s@`g,WUiw`,8_ʹW~g§W3IfU=;.ųW0kf%BmV ʔ+7Jl+7:*BXIh7ڠ' ";2MW.qzsBnA*ϔiA oJ@5yeg`/mX$B3$vmA}cv\ƁfEÔ! [_i dXȚn`e[_(~s+[]Ћ4ٔcz8ۡznHK9ڲ9^W𒵱H{b'pV 9q_C& )9cm'VxΈ`{#iL#Pފk+|?쉟W~,vP09&tr2zbtkR^f C3ED>=+/RCv[`.<ڋ7 NyEE"neݙq;GHsn'Ȁg*BID,/fe1/ 9=J<]X=y I_R"$̅Xq#-nH˲NNQSNQOT.+1 I*Q|L}`1rHuc>Rȡ2ͣSZ^w L]\nEM+[P<c\")C=~ä~ t͚ }5*Yw.rE!;At*G@`J/nN*8lݝGB74)XH0g{+}(u:;oVۼCgYZ9a5d8c615797303e431e869bc2064fec9df165fd854150d242a026a9a55d66c1a84d9e6fcd361b2f 4058a9d1c4ae0ea2523ff722e5dba8fe58289abf c2416a6c71477c6efe9a104cd5970825d3ae4174 15d52be8298587821d9b41c3c7e3f81eb8478723