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  7x 4 ] HOL-Datatype_Examples:threads=6elapsed=81.814cpu=386.496gc=53.7007zXZִF! 汅]ŗXiɟDYK<; FcFE%2V)gZ^'vJ`ɮ=& 2RBCxs/簙XV^u s %x,c.K6y{b.?Ý$uH0Ȑ뻯h%Bz8Yӎ+<+o=+l,Jhgc^vYq(DN]7g# ؆c(ʣB͞ cg`y=M_qyxџzBD[҉/-lR9hYeVP}l*Iұ#H=M%fHib: uyׁX!жݜVơZ$z`.8 ȶ1h5-YTӧ z_{:JmƏ^ 7[҂RAtR:5A &N|q)G Wq XB`x(|`!LCeKmWWNw`:gJDks y~DRϞ k76FVd_R?ݚYҿM>x'U`iq<`V 9%{cc{l>8)54&]WS7tNWv[[:HEpEe^" _ޜrԞ!bp*;tyeEi]Y6/ 濋L=cK8h$Q|q;sLbu!R Ye^Ycf@9x$H1@3| m)RNlk EΌhjlX~1)?4~yُtN,Z :(*d/ôQD6 7 HOL-Datatype_Examples  8`\x쀘L&&돋>mKv%is4Hh1葓 Qe{RqV;'8t'^A,k9v;p 40vxR$r{p-YҹJU֣[<3Tmc1~Z6.3]~QRWM^jhW, $)CĽ.A˚sKFwŤki1g62'7iP$wz Ť2k1˥bǬ'p8h> 2WgvE1綊g#)04v&=Jy#"%%Vuħh-bꣻvcs\LcXAЦ%aMc-1#y,XRUtmp.-(zlSD~4!u8`H}91\, ;}ڙ~O=Է⋽-o  މHP\HMHB&xL]4pQwRH2T zafJo[~Efa]B5S[R&()q Q1pO[ =C 㵇uxsL)ԗ29ƔN\ 0zgYZe&I{~X:^%E)K[}`mJF^ f PTrS5vd$/ҳV\[TѾU/̶;l =1ۯۨV' ;&_7PJ5Ȭ8Wkb5`"zx>t3bH)) G);6St566qӟfYOhcEݸ /N==WN__l)p*AKQÄw; lԭ,[;mWY!U> Gwg(kZZe\K͡?—3둹OG{̾(i"iZX6%vcyKΡYv Dc`Rƒ[F0~y+>K:x(U.M]cT7h!@A}AB,[he5oD(n. eYk3*LFShp\jze_RqQSL tSy@fx.f"CSY{;SGπºLģъm'BCк1OI05ƫ+O]FG@a>=cU^YhIsV761c1CՄS=fvTgz>hP{s;Aد=_#`8licĐ/I ojFo}ܦ]$p80ul Uzxv;6]~æev|}dqLGA)HWE*m"Uݺ^WF͟>;\G" G"҈/M-Y[YFLN$q*m愺necү)<ɗ*TOXw+ǧ ^(%wD,{7Hg41A4GV`O;K=Vh-^ayuj?GaؑOT.:T#39 '%1b-MgHNhͻÀ+ʐ!pdE|]ITn(Dob|w'tȽ_wM xk=$ HT)[Δʼ7 Ԃiʙ5rUY+ovO=9A¼өyX$nA\j8ǧ f#lJ)]=Ϩ"}uxo\D<:k:~oPzzI⽩? wQ-TQsmL ^Q+H5m KBy4 P# 8!hO& K 0,nvD:Pllσ,BՉto+!=Ym nyT'XS +R6[LB-R5ғRC2^"b/7\׮GxҰ!j&`bڸO %;Doʅe4gա@F#̪A71|=Uj l9{!/9QI"C7>U6t0`_P<{y c3VYn5`dQsh+t-/uD `+:/΃s)vCz A=O{g JN?|_ʈT4 ,EӚrD99&i?ZenAsCn* fT-`c͋@m[xRcYCL/4, ~+HxO$qW>=ڨZ)[8?KBGRTp[W{AeT[tkZVc76EefS5'QuޕQ $#ߵFO62 E5푱UjBgW!aQ %]xIls+9yaEAZ|?KrB9bߜ%o1{ĦV]|8J…Fwe1^5{7 *:1R?Tx1o֣BqLavL2^gZX=A.p"2S Hge]<*2%NAh/\ԧT=ȏ Ue] n7,%n+LGSo(qu`'$VB#^?n6ݫknOFH hj _TL G\;ē_e?Vsb_@ߥR%'8s#L3t3i1$?_rJ>޶lHanPvq==H̖FQѬ+aH`B4p[Y>ښA3Xb|֘ul6+.C g8<-axzӶ7VM O9&:5Cr`yӞ&@OJ}>Ԋ'/沖%Is s-P_wB?X͆d eEaYiKrW#cJɼt"k?%Wh94dg5Y, uKfM!&>-YXN¤~KWY=;\,jbD-m^yOAD M'=QVAֶ$ NzprU=+ V,1G!tvA˖瀀)d! PɬUI֡RK9egn,{Fu\ 2P<"k9\w6Y?[\#x7\Z?o/!jQ8U2Mxpdu-9͟#I%T}.ufײ_Tc|=)TXT^Wkw Ak۔;Ƣ5b&jZK 8F]hr{UrPI>e\Le䐂cÑs Gϸ5rSʝe,z@}m* ,e)vzg6FD!ԣ;(=7to  ͍(ryڻ#E|j^eWn(>]=qr+2 K P?F.)o j=xc*@Z#nG! K.c(wUUVd.{RJ᏾\<WA\0Ho0bO2*b'G#rc˟`a6 .DuH,=( O#&!&QKc a&X׵=;!`#J']b5 ]l,󀐆ڣڵ`Hv㷑 cPSG(OR#ng%O.?=Gz{ XuIެrtW B&,X)nvb%y0 1[hFvz$\ 4YȫbLT]'*t< 7Q'BCʜfߍ%NlK: u1=r8^>G }acu'%ѠF@=P]bb3ҋh9ͷ7 6`p#G1ǭXqa_<Չ77Ð\+]qI3-'æ3펪K{c|AA)#]AhxA"DjT |3.^"]zԯ X5{ H:y!V?+k2ĻMfjPUX(,m6rn9 }m^ 'F”遶rƕ-.ZHd Ni"Qn[_$ *-LՖ&JPUD\=zPyܵ5[Xlp 9CE:XzmjsÊt}Ipnjڂmp: U{OqlH lP>;~Q:~STmv[*0C'!Z.'}Ho֡n,aC jWT cQ!UqLp/}zvDcv%UXv^^geGyl V'є.SnU[l\ Z`wNt7J82W 0|󘥢EO,xf$ qXvs:Sm]TRZ}u8Qʫ.;x{) u 9Kڎ{kzDyGs2?;XHC5x ݇E5!XYx͍ܫUCؼXb\(o9[L*kr/BP$J-١zQ>p0si'&^5.8Gpq}L_Cฒ/Ħ`<Ƙ=;$ϞapkjH!@TbG)l\֠.⧛5)Q ɮapODjxWɞÂĨQ`8*.UAP$v4FPȸ~9P2k[yA2KzYaUM=$]i[&xM?H-DPŊt2ap@~*wg;po?)>50 c"uT2E&-X[9]p2uvVéJW];! T n,Χà#z2BFPJesKgla4;`Y=o"FwKbNB^^V~kQ{Z:_ ΛK&T, bkadAT:K~Gl1"6ciJCbk8JV},M * v;O3SUY=`u>VpCTW9zn+ f/opg.+m&ѩ(n7XmL|spXq i}H2>yktb4gUH ?7E[s բe&6aFa+u)A-͕>=sBQkl4i?˥5GKrCY 0 š`^璷(DfVu/EwL]Wj%zFMP˴8(~xFo 4`$cNz<>~΃&5]L(ZS+oIC΂M4n ^U-"b&2r;:~T3lQMqHB ~q!?*6408L`w$ut١wWi;:@q;e/~дxN>:̑xӟ3ܧ5ت6xrlqg$)P#3kY0A͡(bٛ+Q>,gZѹ? Bs{Rtv%M>kJ"T5mD|b&N6k .t,Nv{?+g4$7cVgyȻr_l,lȞIŽ̀#eDL#-ZnXبљ:A&P p ҈;$kY~#*e1P eq@+vbvhݰ|W[ԿMyfV/ >!<ÔA'^HhibFOXvG(QbORSkLl-Qoag{(igAb bPä}~[(uݿsZ]A@']EfV8=0}tjAٰyllfBELbFQʃV"n#dF~(9#+ D `!WYyQj8QQ"6g6^! F^^mnp`Ewi9xpn`Aw#.Gm$ZsMަ/6 * Rc$ y0&Ѝٗ~_@46'brsd!_%2YȽ~F5gx貅џԒֶpL CjR6ˬǮ;B]c XЎ$RI>L|I$]W"B>_"4e7Z7+?:ħ>;g+>DĜ>IͰʚ66꞉RF`hIRz@Fl**z2p){'Ty,޸Ƒi3~&t>i$KD8^%6 &N:|7#QV6.,mV]-VԀnp8NYV1,6몎[lG:_D2g5G z6? W _@\cKJbSL~*V~2o^`duCgn&a"|['BHiԣzunٯ W1O@" 爉`Gu#UTݹ_8f=wd4AoQcOܥ9@VfP^SSUQd E%1e^}Ua 4}n7`QS[!"):4u$>zچ[sCa)Wj=9l11L!ضg*u|v,9/!<~Ls Zxt|!`@d7Hs1>ӊUWT ȼ9 Οhr쉌3qS˥ΐ2Ca`jV\d2V:`lӠMVW nEX^neS&"pp:%9ְE<X>wZLnsEfqd7ɽ4x{ a&<#ΦWt;6ȡ%jx˃Ұ lJr.sBP NjIFʖxRwv'w1 ~sfA,'P? h3R UOOR0P+c(вɡ,@4X$^ɠِ--=֎AҟuM<4e zt解&K9q̟c^;ҒH}ܰX5~joY.ޓ|pDZ/QapH'6Hٔ"v^Ҟ GR' n>>yzir#y,P7_^s4f8md!}s*%_ÜʭF.K5TFaKb5˥dO`KK@k~)ENP# g H¯ ҽbc"IٟzġߧOuX5rIט|u}B=Ya?L7DxԾ&}dqnƥ{ lvD{]в'bPLZ<ӕx+i#{Xl@Q $tb!y0UZwv+ǜl/f6_7i%R3B~dÆ{!8DbeaןzSf#7qқW09a.svl3 [z+. Z,,zb T!¡l .7b~=Y^rzs PHPM.%"xb~&avRa0"B]Plk>]@6+(hfջAQ%w>_WƷ_nt{@6\BΈ3iC[@Ϸy-?P8n La?I yV7$-q- ERgs%V1}t{ 3qrT+q #fP2GCi4\k1Oxnz('W*GQ,i0Uv(})e7hSd؞\t7=5n VoA{@YOlnq';Y͇.IfD\yWUFw^:L=ɹOd߀s~.][D' K$VYbx|5&)~:|Xd0iN$0;DG14M:5%cM5t+$F~g]uzjN' J_)kmC8:RYGղ`OvpY\5+=z7)MUh'?xP5sQvKnC(Eؕ9>t7١:5q@]sKw(0|0֡;A:Ȥ, z(@<52>p]A=>-)afϮ?ZO;} *P,Qe(x5:Vo'g$ݹ}C1up܂_)`ϼxL/L%iqk!j::0zeF wq_S~NUT&vYM)j.dbN5iNE0dx[:O8[zAVRJJMFȪ%t:q¿޳q]^˛,Mo@ns⩀_= LuVDѮ@-]OuV ?Z4PZF[\XH##0ZSރ':֞c.cWcǔ΍m?Qy۳Ma-.6hy|P'67?Ų.OgeMREUgX GV,tW$nVShUy5jUuyKƥ GD4+\fmSP*<Ɛv9WTДq$+l{3/BD/&.]gjj8_6QW}]J rckh3m:&3`Z^Q/Z ioan1{9O׭Ύfs4E!gj [h}T5*)0\Tme&P"<=b7~5INg kvRҠ 2{*̮OO%-x\##^h_~m-?wOC<8:an/,&"eU琴\ZzI *x6TlKXNVZ ؙ>1rN$2S;y~Cw\?^ pϷy#%Ct6K VͰ=<0Y -:0n:8AF} o]V@>pf԰An2]jfG/iq[=h9!64~txՓyՆ=Y'DXs v}=;j$"`tA:͆ZRF0XvjS_WO"¦cmMn/Tbi5I$*I"$:E$8/0:D C}UeI=J%pvː5׶NHY I9=ZZ]1/yU͏PE jVbv0#cT3u8yn-'@܀ez9ٶeicqBf0@U&J E,C~q><=^8CE[$*BX(g9)o:7:np]`M:1 0l)#.to3,ZS[C*qCKE@#.݆%QTs٪S".c.xrCn[A/{ O__Qߘz-4 S/'އ%n< ARGrPEY6I(WS|%QjZpu?Gfs!B9.+x#1m5HyOEcq e :fP;RkFI0m,Lw3 6ķ“ʩ͖XUAg ٷ+PtEIfDbΏ #qBqE*0D¬ߏo=9"0w^P;g{,Aw[1B)3埚kĘ`|bLiLَ`>Pn[6AC.\17xtB 2kO; 4 (!G Z݂uVѮaEDz]Jƾ '8uܙd&E4dV/Xc*me(y77I?axL)#1{#S I&{\}L5 s$F wW+1"DJg7~Ǔ//Trpv'=v"egXz!ߥsM2)pH{ 0f-OXt a]^0 4(|Z%¹&-G06/el{Krš`cCsW ӊz<;ݴt` _| 3nE;-Rokŋ^Ww~ L ֌DJoa*B2dTEͩSS+u1IΤ p*|9~[le/8sxY٥:M *3v$=dDᧇ`+; #獻4A[q+EbJ}K7悶_Yw8| 4ìNxBeC^UA<0 < "GӼ1W s|{ȉQ05_DqsU)%m^{ =^S.Tc(ثf-}ɷQ|!ByT?o߹Vd(|]D~c㊘4^`]*N#2p ~9<*yn_S{w2-Wt7'#tؼg0h,}d넰[kiY7_+ˆ^#Y6sZfb֟UQ 5t\ЯMQ q%ךɠp3ZGHD4\m }H΅G&ҥ`b]3WR6}ƞ޻< WF75fέ`͐,H TH$@|6 jtํW@+gws 5éj S2>7\h T*]|$9f7{mfսڢ@ (sp<8}[ 19Vt\MKUDn6ڥ&r4GZ{a&A!>dWR}M="Kyj"Q/Jl{Q֔Abc@;5'~`@&2v1TbS|6h*MSueaJl1+d_n\?Sfr13S35V<}qoKQz(I蚏SJ Vk­ %D;W4.4i;RN{[O`}ub[M{>YDܫA6P@Ut^@{$?ꇳKFUfe⸍*a޻AGP 7G?O@9{{ / b:[ ;a{&6JlhPIl yz4Wi8ngOLMێاapTok;\VSi_vh5loA3  1繠akIҼ̔)[ }1?D`5T6ú@ݚ( "[ш) ;~dq:}7RqvCn.iRpwd=(N&KQUS&uȡcr՗WmKLL X*#,):(†.9Z?+͎c6Z gFLԘշ/t;M6/2j0%Qe=xZk ^u `2gcV"6:xj-v&̌1Ff '̒-Iԩ|Zl]oSn՜E~3\OW[+Pݎs`g큛 amh6hRjOH̀;vy:T6]1&YM0"6sY5T} DgQv9޸PX~rF!4H&Q٭]̳ ޡaV_E_(']FeYyսCw_Յ[Esg*)sLV4|PNdGRI]ӨHdB6~k߮֗ZFL#lWYYdW^l ĺjQR>>xnw8f@ p,ǔ"[b"Ch;T?6>izN8 ;o'jnvSD bNl譮*!i5~(j8B;G_C" `Pv,[1cwS¬O& ›ajFjMٶV!۰<¸sʞHzgY0)'9&)fI[TG ,ˢ9"[МNݻN4LvJՑQwAG N/GH{̓Cʹh8+k=%0[F4/:]j,PV1}?yW!5۫FhHQY>}-wؼ%Exy.yc̫=ʌ循Y'fS]ޣWƨms[-jJi}2@H-+x1˒'0³lA ¾Ef<rm(x8@ɲ!y&Hcy?` [hR@ɷPOFWe5X|X:BYtv'Vip`G'GNZup{مf(`?_LW;gx B\{w[#\ zdU@+ ?-!^IvZY @B^?;D<~+eV:88FMeWyou<^.ewRs  ͵p rɆFIdOC k\h`ejO}i"Hq6_y1{3_zA^ճm&2<*&l#--5wCY ? R#>tI}FՔDIw7e ,dҺ&\y~$'KNKsYy/,|&VdE"V[\|W1θ)]N4Y[ E^HR) UvVro][F Dz"73%?vs˴ ";:)ԧM9#cM\6nq=5.Z 2b8jQh%$ dKPkPsUFW%݉P^z!K\qVc{CM`ĘXOB?|_I8瑜r2 dH.*䧢TGxeXmu_z|Kꕡ/C %l7Yɔ,e]iSt/c-o4ӭT!ǜTuzMP׳ִؙm8Kq=H1^݈V 4 )k`d&yPJK bn4ŽA$Y9ieltܑyiN'ܹ1;I jRue>?cBa Kٻ LلFs鯉˥YZ$U;\kVC+HZX:dnd;R<ѼOk'oܸi 25yALȒtuqBCctyt~@ rUzd"+YD Ha4~-7Ӗ:EBuoX2[܉O'hfI+ 0.xvx%x)VEY:p`=`W҇IN0J Ҏ-D)䵆i3 -AmUtj-HD Q߯\.21R6PdVMk )r#ρQfN=Z-5)9'(qj}zO1}>Iإ =O5 C"3 Yy* G$W6oDWSvj]xYPF-%1JX7OgH7 K.pӓ7:p;!6umw"Xu`=$_PU$'XF)>w"W;MO^._"l Vك1%T.Bh W֚~Rm S4S$N:(1(PC[Nt`uӠa?'g+1cZcXA]z[܍Hȗޓ2ݛZKӫ}ۦ gqV/&H\$i 0On`tf(=v %^hS]IōLkޖ3X`n)|q߆fXW5-Sj.De=Vj.WFpzɚ[1!o.(M͘2[-pz :xw+8.$Ǒh.uRMm7!3`B^]W5tFy@r.o' L̳O¸£ȧ=~>W0x@5K8Ț>ልjuHJ/5$͡k-̽mκ^1{5!v$n BsW]qWkUEZx  ✵pʝt5(~ͯHfOp9Խ uօD"?*RG,W-:"e`nQm8 %ҩ4NJ)j!#R䒌b쬄j;<f732z஄KYb+S/ 6+#\},,(`suh"peRi2|Si3S 6\|ƿ FEZ.Q-΍Kn4 Z!ꂴAN`]k6&X8.w[41s4ђv8JkMAY(R؈̠[S" `kf8mtzw""{;i ֧Y5OP7@ }ޯ]5& fbǫM E u`Tw~:"#{9$!տ'gwFTc&{{Ѩ z% 8Hpw76udhn$7#'JMƒ\)S,L~fޟxYWo ٙwvfLUlz 7^EITs;naV1]MJ(?" >ܢ>3{@yc V?;ے0M\CH[GEvB avȲZƈ݈,R7Pq~P&"RЧt =rUbvirRnof:'^NSŸצ.jcO6YjSY”5F7IA[}3@"`T'@خY/w/]_z\v[@1^Ƶ]" FH b.AÏHE T{? S{ c5s?pFLo8.V Ej8+!rc^Ps!wiE=.ˢ4I f&Ձ&AFK#FvvQzxNY%Cb yE_m;k<(~0HՄTUF0H ϕz0fД3@0jٟ[M3ݢ J R "r(O97rrh8J`_l sXw8`g0JoY\=eܰ^P}xg^ sb(,mG~j&-9 x>8sFos`GEJi؄&^ODb0Q>O-AB4 7_v]U5%qgT~J0vuD; pʻjo1N[Fۉqy9G>(RaF w^}NI3jgA(^<{n5.6@=Q8MAoҧ,6!CZ֍wARgJïfRMrnjOjg8,vx6q RXsG@Bju3f;QR[k:4Cnp)/J#ۢcnJĄ܃ d1Rlmݱ܍a3#чa j<6V|ٺ_a9HAk6>UQE(f$ڧ5lDX˝.@]0n=imڏ0wLWņ6 u/ Σ~J!cKcrbXr4lQܞ-0[:eyjYK$60]hV5K.2܄ +| YBo0L#J8WW Ǥs؋19ߩ(x%9 lR{zd'ra}~ēvjղ p^<>T@nAW0m"ֈElabZ굄YE>6d?/ M “>cLHï$-Y]d 4 w^#5Zi Q?NQz$̻>xB"7!-if s؉9렫g8`Mٿ{ =23w7i9{R,@J@FK7Z|x&;<:]8ziV2B3{ʖq "Q'x7~y)MIcJ* /. u_ZGw"ڹyp"t#')e+ n^W'UĢRٴמBZUHuǴ, MJl w>d3稈w)4N Z٣{,({.^D`ĐǏMDE>^WZTL|:չ_ T v:D{!TU Dngn>ĭғScG4;+h3 *2*rH+?}ގHU}nUp& -q=uRםpE~K+ jl#% *ɚbOg0*"z(QntJޭ-8gH)|i:Mڬ/PUnVS8i||ЫThg,J0嗸t.#s.L}!=di޵C3Xї*1֚K?4?j_ioKy~,PE) FZHEo?wi1[/6gB=H!I/܆yF\ۙY,t`Ю.ӂ& tȖ7& -I:fSlO1ʃ;;[,& rюiHY͢ +=_RXFMLR[1.ܮ5\Dx3T\Τv<8)4ai^_ܿ#CCk_bΔuYB'=ץA2u0}=v \ƛ6P$?a;Zxtmҥ`|}>NNcvIr!hb3.en@+cu#HK eBVT. ∽ qo?jN0.0d쓷6-eXM0x0XS6;]􋅥 lJoZȧ0JҤ%ml/d9{SZXuɅVl3$i(2?7驛{7}q㵄!i G3G'!K yy?#,U2e1!;aGaA[$ '?Q1R97\7D#>3^eXuCS4܉D~6)Eo./s C:$lr:2q?*q'y{rTf7+ cKCrQtg`@ǒ#[ +IŷMϕE_u'-Ntȼ =ek;?aySԶ3 j _$!_fFEۧ 10O|w /D>&wXg'lP6ε> 25c1>"̜eVJJ̄ -JlZ6 jm!%OP`ttW9ݯ~,-UfاHlPBV<>VD|&ܡyԘ!ʬMd0G~=Q[%w*g拴s~G̲KVy~1u6u[Q4 N#`d3R|dLv%RL \ ڲ7ˌYUO/UuzIp b洮Fnq(_&wѻ r":5p M(Eܐ_#H"IW|ƛ7VjV9_.ؒ#|BNK͂N-w}8"O }ęDi+kqZ&K>O qʂĈk_ݑ6JC@rl[g{oBd9?BKQnxFݶC-oK!/XND%7tkP"u28z +S„w2z(M3icAEXٽRXj32qs_ PYџש:A2jOb\J G蔇r)eG4hisn,cr>\&+\ȕިx,_0#/3E.'=V쳂;pw}H,{,w8iVhuRsԶyx\\bX.h'bЮH&OlEeɀi2yӫΜ; .F(t*,ZF2Qq?fPgK7aWVv*nP~ ̪ U Y䂬KCrlb^M$,]{pZ#d 19aZ:CB987nK6= uN!7摭r9Ymu"iHTx?i޵ӾB^" FXbh!eR@.!'?=7zدV*'6r< bqSoѻfn|`Vn2WCbT8 fE[ф4i'ʾEko};h:2iQb0+\tʁ<䔈ybΎwѓ\*4$cqj#,E#MBf(Sz v0D3(z1MDMH“$oR?!Pmn&de۵p假B̍Ko +kA2PJ.Yl#t,dyAI auP4h]+XS* ϷP˔#^=RE ݛqwUW{f>2 >>+DO!(U?rLQ!BY]Չ8e6?=ƐATB{P ;Zmz -b=KjˍO}@S]{ĸ9oވq >R%!W}=Ejo:یl=N'ݡΎlCJgl A=HfS]`=4~/:VGNIYk%И$өcq&2ŦLzA#[ԉldb?m-U.RLa5- 4J}u)bv?V},zx UԋW'[ UZFBr̘|TĈ2?KjEh:w8_՗?KW׹e*?g"*w8_KHѴfNᧃut{n");hg%ϻfR;|a|Ôj!77ݦ,Ke4NN$[d[&fZmЌ?v(Uf}t6(oQĘ0"3 ܌ENzi2:|71UT;9bWhSIGc PdqKǘߘ(Ktb}.rVr 6H}5&asN {r+>ImsѪX6$ "ǺD[ӘˀK\)HJuiЄvs 73ŧ}.)6iyѹۗϚ\AZ+ѷMUew!|ߗ$彸oŮAI"trvt{{-7n6 k/GR 5[!h+ zPP C3{a.y=k:k "o6ڲ\jrZka1gxnu0uN\\K V:B=jP |כc7n'<);CbHt!=gXMF8݈gS('"ua8[N//ִ_'xh{pL4%%9w!H12V; 8f3%MjAu`i`Z˜Ǥl%gz1)1z!W X 4WKALr1' IsSxp|UVӐ: 13 RNS31SIn}g䬘1ῦHCe YZ4Cw "2ZMSM\E87v_cIŒOh#z w~ 楔bqPO]D|N:=WSQ Uu?aL9W^ZqLZ(c.-J!v%EUc '1E6ޤ.Jp]*hPG\Aj=?(BOx'.Wc}zv{H4!2I/GF3GyMY̩՛>/xy_VB)n6,,B!~l)eP1CcLԫ Z2w~iBe>c,2!4R<U]d+``OBF)wCKNsaiqC2[W(q|؂Y$g?*CFH,) yq`˗oΊga)Yxo?of8.ןuA\c3R Lxl {e?b롷5F Ǩap6*ɲ=FZN`DJKEê+V̈́{37N'BVOJT O2]CUBiL[o6LBoB5%(%v_mhIF.Ӈo>R[iJ Wſ$>w 'SmؑPUi^4I$t 3}ƓGTHfԧ+4aQ,/4ţĀc oGw#U\ ,虜a C-Ml*&RYFT: &eEBr,\eh%3pslhm \߉wؠ_1n2؄|W&]+.)a^D ZXQB4Up3u$|E?P}EtO1 q{!.Qx|%?ls׹H2vP)/Goq{\T{zndT_UE]FilgDQ،%Q*e1u$6!("ת($ZE̺hZ+`] WZK7*0ۋ,] C.ϚMz~HBPxgUt7ɴ*6ׇN?]REHŤ^0,QqЂTooSXm$kp͢F/7{{U wv*ȘBwnXV" DmfOTx` 4Zc9gthy[m{VaIM(1})yL~xjSeF*3钬1ձ% ׹s]Gmw<#Vde0>bƽR?s HwWa)gYZ7zXZִF! V$]ŗXi%L&.v`.a/gO)I[ 3[) @@yFBv۾ʂh.ɔ1JP'жx'SoZr+#9FÆ>i&v7Af$aݱ`= G>?ZpnrtLLeZ˅[&Zqou'nZ-GsKIZbY2hr?AnII"[PO%}d\|ܜzKܺ ohp?UՋQtyۑ4D Sƫw΍޻"MX J?:pC*q1}Ic5!/MO">>v6&JV@le~(y@̈'y$Syw9kq%2 Fa1<ӺH*ξi1P7 #I8v`GF@*[.kH>쪤Kzm]ܽEqp0(i@)p3&",R҉®^-cbcJ3aE ykyIsO;u9 `N%u/_# FF Zbx1݂a7̿PT20l d!C]@ӝ @X{ܯ9m=}b7Yb Hڶy cE@ud[W;}X^)F/-1`riedQ͏qzBWW8> T\gD7xoWy:XLQ0}䕃iy maT.Dz kzv%CB36s W$]Js}L, \yzqAu9悪fZ0×[ UOa/txV1*Y}k}{a0@"Bؗ[/qљ&||338=fA8{K"FtP5tO+G_e-A柝fV\h!,"%\)ɍodE>ї U\u|+C&S\AAHcCsX'"^yLmF4;r_|w\Lŭc 6EmښZw.J"D~3sp`(F'͛&4Q򿉱 RBaŮEjs МDRo2t)%` &(UhXsOE n>uuhTmYP}]i"KыNuuǼf<&m B\6H}ԫw r8̭ d=\;9oG3eخA1]U42G 8l!}y&2NUDW/|p˭BV/^7oWmWP&",uV,Wy=ϓ}ؒ?ɛ^%_ <ޞUfWq;%MT/a&}܆$\b5-܍LQ)3,q}S]gԷ$#t@wqd, T`9 h𛫍Eey- zS@زb*b̚.rW1#^rm+|V#_ȿWJIj Ed>Had9$xi-82trc >^o!5'٬@26 :+?ոn_JՕ.vZs]_3rpdg`"Nig$ 뙴ZoxM`K-9dWomUD4mMIV€|qg&XVg Il hPlMq P9TN%J7H^1L8!jN+ &Q`t*lBy|e¨L<ϯ[Wd`bybkp>e^=9f@>ս]Kk}v\P[0?MxJ`OtS ލ|dl)6kgAm6ko9Ÿ4Jw|5Zh:~MԫhT^)A5|v^iKD3uأJjGЧ/8Je/'Vsזl@S0ʢLʹZgϫd\je8$7F[C@wdxI}1!/ 0,BlȰl|_aw2; G4f-ךߝb1٫MNgW(Q=@WnʭZDp5,U9U7Y-GNpwj_4}7k vIP?ޞگ(@Y@y$O)t ?Q ] s>i^et"sBAdd*![WZuiO<$;_ dNbo#e`*y؏A;02=T(73\Z2HImKb3 ^ }E0σ3);| w{XWl*"ozi:? sK2O\C|E"uzv@K}13.y!)Iwf0p"!8PTòD@#o =31ɴbRӁc= 7COrO䘩]1> B6-6EUHfbz)no}3q _\-:B 7Teraިyӭ߭SfP#Bw۔j@~c4г5=RSgBwcMBP~ Cv}-7P>aqn Cq銦m߾iv@7k\9*Nkvoڀ U& S#aۥ Zp @5=t%k{ A*} 0fr`'{Df~Γm b~RNqs|T)@(eVe.i'֩wiZ\VRbMQ!-vެ(4ULnzQRwO/R a"Ǩ{"HTct\^|ŝx[AlƬ"T{ {eiglDH,_ .CPWC:xBk-4.~|SzGig# 9͆A @R'ѩ5^@D jJvnnmm6lA3`d~r4N| c '$IS,1ւ v/zBn+UwcsznJZ<: ; ; 2Xl(a Kd\-S]J؇_3b@\!ˮPۘसj\D١lr2ęVwI:W,rڛrv#C=(91 鉟v|)~kiC_F2ЍeY'u ɗ)GGo\)scҁP$$1f>c[GK /[{BpI(RFmjS4E"C/"(38?%!P8  BpR uyҹ JM!>hDvAvu'n9bCl@ ]4 ݧ\X?MR}Z5=m^19ShzrYOE<ʲAeOv׊i`H'KzrIg<7̼柜Ĩ>"~#ebقGտjd߾mB ΁jqӢ/Kǵ˾LkGz }lD~|umWri+JOR6Bd_9e1BRoͭ5)osRvϧQp$a/ogYn*zԡ\ bKZW[6=GAiU$j(X80)^$O,{-d5!RX-]#f$S  XDr`k4IROUQd\u%E'\dݑӰ F',Vpe8dsxb?gܬ]W((@]9S۰Oҭ-ΧG3<3SX.k; E2b)?gv%7ԄcAٷ%bS>ZzV(]ö}!c3mawE?uP,_9P8 $zX DR|M@ ^Fȥ<1 ڣNŃHIG M.:x%rzJyC${.Uias~(&H.8U=״R@޲:2;EIZ;ȱ;7nng^ nin ΂hO'} qZ_>Zn63ZFk,v} WXψ@}e'>å^Ih PxZ^3HyRK)f_:|jdFUhT;\jp]~V#lUE}b۳ݦ`$:2YF\^rb:tMk~뜻~Wm3,kfnGeݶ--iD5K۾i% {1~<*Ͱ(LO0ei/0 ۆ͒@f,|ys?"5=3Y2x˱qr4*