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  N N7x$$d ] HOL-Datatype_Examples:threads=6elapsed=80.944cpu=384.592gc=53.0967zXZִF! I]ŗXiɟd)&]HhR"P, .N gqaU_ܵz e,9N_W*@I=nE۞#)ŊtOQޅi; f:WjTAN(G^JvÙs8ER/6MN|dZѳaK M?apeW#Z m[ XHxC%V[hù N('k6oT耷'V8oSҤzio_͊@Мxမ.˧ R_4+[Om#(s}yԑU[ N˽ .jG[cBEVбPj88Cl썘]_3fLcZr<Tߩ.(\UHX﹪LDW2:E|Z;KX:ȅE&j^c~{e"IFvEB=@7F;`Ȃ28!`<˻Q/xtx۪&/| 1Ϗ%ӞR>`DjPFI*\p8À ~^]@aRbm8׼;LzѢؑT H23FݛfԼBGf0l&iN;j3 đ7<+nDy+[QRSԄfG@W0g3*y)ݨqv qXNl*$5j|:,9kM SSPj ]LP,:k;xSlR~K4ɩ#[2Ŧn )L oP?~=Jcf_ $]}_iSeg}U%;)T?lΣj\ֺ狺24F}Y_\ߧ`-q?ZY)9T>IPKy.8EWs ώ ,q OYev_xn7dn-&YfnD-+VsɸHl[ "ΗY+c_y:5{(1]ݎK&V~V3Ƣ :7a߁tpXo9,ӍwhB"gKܲV(Mʕ& |2o-RKB>l}Өf6Ձ DEjҤLNITQ8gAh:3%h5yUM?Yw&օR(ޜX޶9x6CY)AXrHr5wo ¦18.SvղyU_Հ`6H 7 HOL-Datatype_Examples  #5Zq`#PGV:-EM3uxCS7s'-VLQß>XֵSr`Їnoҧ{ o]rcjGaÍ}]ݡe[KZ3,sFY[Sn S"< d"]bIf#eԨt0"@ll </@#V?-a.4^^9\m:=:E'd`R762g}2,d {w[zcDOYN.Bz+N{`Oy2["RnDSpwZI0N/Y<1..`fKHZ2Gͣ 1hj2j3\&}GNۼiE䢇.ڤ)^f4bbJQ"49knG-G7bm%TV B:BJeU{zx K*nzAeoZ׮ށ ޚͰnm)k) Ty3<l BTpH"\Þҏ[YO!{Z l􈡝zޞ#( lIK\c9vxJDV._J9|gY6HmEÜ{/Qౠ㬿jDW>Jp3f)pŽ%kb }c9 }I*tܘ+k e8JO[ MКt$WIQj -TT+=Ʉ zp8y)'iCmx?dp_PDW_+#Zƅ\D)$?Ƕ5ʊ4{rlpO)g1'gPVVHiDR8RR~rDŽticvL-&tKA].-k%[D hO5h!ѩ=`󖥟>-hyZ3ma|^xAuv' vNx QPRWh!g,DG%iKWXǎ`@!aC{U>aȝX8Km+p] %Kϥ0fP]kRZSy4uWiZl4WH4.Tb5j"@U7 +8OW|ӼqR 6a>8{%~vD»PXlhur_M3`޹!/ZS)BDX$ UͩI:`MPdt bE#E%tkX[ܶ\bmUKjԁ?̜~CSm%H Mda9[YSԩ!F\R ,hMkA _@I}ox{ZE8QB"^pn)Rb~%nKg >৙ʐ_iQ%ZkM#fcWwrU>aoi [S>YtH͏|V Uफl3tQag2"_HŰrh !S6x->, ߼Zs\(UYa̭H*ɳΊZZ VzGtuC?/X`H6 h67`x;qzCc N휠~Ub)a='?@oP?i9v|#hˁ Q@wN%M:+UDhf<_Xjd'::>Ә zVƌFfyC'JT ׉x;Ql-dH>c ڊGي+u*lwFA-ٴ \9S~zN-"@ХZ,7{'j㖜Ye0:>!fD $[|ʵXz%U9 &^/'0U[ al إ-96rVD1uަ$T nSI+'<$c7sMb[ۀy0PDY|B5flRП7WxJU z P5)c* GicZ4@f9 ?L/^!8Է(z="iKkY 2:Za5"txf|4΢5qrhniAeAkH#B? bE8dE(1ҺmwgM.Ux1fè=h x] >;קDFHGl[_#W(g#E5ደA kKp2a7\6]|AG`gE~?yX h#5yA d>EP{'s:޶ӂwzNEu*/P<{?KQ=AV&: p-g]-G#@@3RIh'+a;B/_t 4v%1gZKhl(j= `:b{#kv֡3u8qReL5,ۺlfΰ|#-E9wwG2LQ瓉\ ܇ul2|@Dܩ).3sɼhwet_!m}lvIZ m#"M=q5ٹQݽi$ 1Ik$|Ί2BlCI'4a6$R@2 ){0 X6^# =Ԗ'r.y".!r ^?$\!K AeQG#+M_Y"e0kHZ+2]K;RxN-̂%cvvVexoysZ`e}S@ۓF$/-&(D&&Xe܊eT/5HtKxKd9>M(Z-šȰx>I)L钚m2bFd3r{E#0ܕ )qȟBa"j {t#G-w;d@б0 9ULf(1xYLl*:nbG/g#svdҢpeLvŽwmfHg ;x젬O>8FX‡BFω9֖~\earMxjRSvGfZD{XQ&u}7\!22~N + q.xbgr)uXWH ,DPY(r5ٯFQG^R~͇9V W#v0L7j:X\|tEDN7n6 Ur "-]T"*_kHن]jދO śS95UPLNʁMY>U]`=5k[\_Y"QocbAGc݂aHHMb. Zm"f>+ȈZ 7y@Vךfs` I@7KSl;M M}3(I~G ih] 3k-  g6Bf|i aR,l18=Aܴv<2o >G8#Xe}KYWTTO [nsX/h]WzP?ya9r[׈ 4 PTmT >d_Be> y:|'%&Ng72\A[1Ǘl!(3X3JFCTSUCu$->Ku2:a#n+^I"/aw,uѰ @XH=Z xդ`6'/gUF~$Yd{"d5Tn'x+oSyx5چĨ:Һ CIqjfm<[Q"ss*k MgSv`,ͭmL\KOѭV޹>*3rr̚u5+)y%3^8~+},$X!v{7jS.@TNrfu<-)6^40@I#A@'(ƪɞ/|[0m+x~tMK/H W0M?AKRTXu{1a$y(k&^lJ;I7GL!=@xL3WKdc[ŅE,@Fp)v)dcy cxG/=k$oq;y_Z^KDZ/y+5 4 'Խ?u pr&[,eT xD@LCZ[S`GX_Κ,A&+H>C?QcVLY%kbÄW`R7CNQFa4!|#shɧ d ![g)=Ȳ ;@'<"z~uG*p+a_?A r|$?O3V 6U} '۸ ]Th0+%s'H 9 .m`PTN1!!؉QcǍ!fyC)$-ͱ.6(G26W 3A2WNɥEzos/qǐAÂ철m"nf{y*u(q\][ނ Eچ3^rb <z 1A$@fB'BxG`d]F:%/ 7*SZ+<޼g~8(|;Rl!L_wP愣̮ݟ>)v 6ޑv⼺Lo8eU(Cʠ3pNmxTF>[j]b6m[^ϮLyѺ-b^Wч72+MޫfYq+C`#F!y̬=eFRl)O*s$eiN2rFf$`"#2u ˠ vD\( MPd*D'埶X4o]UC?=F\1&Gh.w\b6t㆓3b _M͟ڸ>A)Z̙PI,l)6 By%eCRo?D&n+ΰYUvP1=d xجG}Y(L$PRESŀ&>6~ 6/ ˛HmlHw9p" ;_~qіx*~{<,f2&HF殧M?I @ķ[ʰG2T22@5j.d1q#+'Czf`67('h]jd+ 2#& y>Nl1ߺJcBLv%z@y׏M:=v95v[W%rX?1U3m VLt-SLchЪfFۡ2Ys&p$բ&9ʴg6< l 伝%Uws~S 6 Mp[EENOrHUvAZ8^'v<zeu(9 _z鍦g/!"g?xӊKv{֐C_ ;KNi,y--[)]߯ay[8$> cǂf'wic= vVo'qޯE rmWCH =c[\KZl~[Xce%U@&mB OE #w: ߺr=!@aʌ+G"!6g!3+78iYɐ?"! ϱ$LW3BWMftrJY[ɛT>{c#v:Un撢 DkSY=w\ \,w Z}vGI)H "+U=_?kqѫwy o7PZ稔 4/fo+le чиs!0  [3sH.CJ"-8>1̪LPܼf\X =6u$ PPrP jL@BQIXD~Că/|Q\ fdZ]iXQٟR^arjda6VmJsc0m^c Khϥq$_&|/Ozo5eu@Ǧ)̞`ԯ%Np ێqI^,wunL ӰGGXovarux[~\ ml&Y"zg sN#j&N81 ,o}GϣH 6h@ʘf< $#>ۮ5<LH%F{p9*^ SW@5J^Pڀ4G[ 3U7ѽAE?n2 ӝ%fgԽ8 2wɡFD'vX;eI,d 4*G~@/ ׂ8w|^F%d3uY#Z\ȨZ_= Pd :oA)=?BDw~XK}tu<(`+LeO3C+Ϳת@* a[]#:ŭsg'Uˤ=IwR]ь=ͣy.wpdDOHC.^Yֲ-&Bg]ɮ TN6PKIţk-E ؤ~ܚrX`F=?jPsu{k# 4v Mھc9%gb,5%#ډٕL vR Xi_5]ꁬq@qԜ:ՑK׾ OzRJτԛFO h[:^<@Uk몦,_Ȫ.DxuBk^G~%=I<۸V&q U"Uwc- ~$o.׎/ WA[^ٛqrƫ7h "L:Ջ唼.31[ Zt RМb/CX" <#f+ Ic,[r׏H󇶑Wi;)>pKۉ TJʠ8ϞsT§խ,Ń1\>m'3UDt[:QP?Tbz@U´^E-lY,9!^NpP>ͦ\R 6a㜹3bP>NqAΤVCna'QR v2Þ{5 xH9ܻ4y<~9ͪv"'Hf[kA[аBRt8jU%zp/"3D%C5L<,LB O 4R-O@^X\[ [Zm[:,3QE61ڷ?s&u.֌Qn$$,ɳuMdPVu()0vΉo#lS1޿vB !!}g;BQ.O;#GP@ ܛi&'SB?BdVBBVuW$6Z]ԄEEx ˷x²ˀ@j=X3`c"vƅ4Fn6'm8O^nme$Խfվ8cV߆jzKԙry̦Hf#׆K>HP}hwt'NbiΊb*H&w@X]D`u,1Ibk@3hߢE]J`m!\|9~2ލվ tۅgP;\-4d| $'Ў7]$S+sCRp*F8P5T(?zז|%_X NGUx$Td6{6 4W89:,?6K9S޵% w;~կkGG+h;JNhwl+t1}]9-VI !y ,79?^3R /\x@S76u,<8 ANIHe]"=*H("jFu: GpkZKPi!2")tZ#h$映E$!|yGvy@da;VʽC1g6KEȵxt34.?$QIN Do2z29sQ41'Z$/Cu@vϴf.'D%ǟ%"&{ a#|9RH]T"__oc"38l&CV ?7^F`?Xt")8WBt %_"v@~j6%;Nݒ/Ԩ U3q5\{Tv[Ơ1 ,xEn M~ Og%U O~,Kd|ڍGL IA,i3 ݥ@ *khCޢ^8՝Cx8|W5.fS] M##X`Ĥo27Iz 縁l ă0lb ,^l3IMfI v\<n7;3wD2|W)9?*a~:j/<~;k[74Lurl]fBL/`S ͋_5.b([U8[{"z)1%_@Rv=B.WUX.Zٳ(t~j\cbnkl-%NN[w i!D|2`XwlrK|;DB\hY-6LEwspӲ֬|CΫuc* ͦv$=I $p*8+%Kcv=唢gF9%mi %HVp"7,Ÿ{N(iPUg<%A%%f'J*N`9^!/\`º7t6"*/^9ww v$BU.4 ־kƄY `<Ӓ*Wp_HAuÈ" 8{:ִٝS!_~.|-x\DQ+{pȺo'e7 rD9Ǚ7Ŕ)yŤR@R/79μJ"z"WD*"QXx.p| `9z\T+ą(L팟ap*pLq{kãzJmr<<*[ RhGW4wMtWI1=8 k3AxM)Uœ {BO)==c5.b oSD,zZn4Zp&^5+VMbnz>><~( $n?t#ȹ.{pBkK?zĝxKm/ʼ>ANhDj$}.,*ںAv< v~Q22ې$ۉIʦ%??Q*Q?v-g׹qvXܐz*B*>YpwfفܾXea_jK&Y[0>sKjOG{4ý*p mEצtʘPR_"@vV%}A y4v'<":9k>Tjos].Y1`LbC?I\/&gugٙx@^n۬[nl`S8u(n?LF0+G;¢UvZJBi;` !?mwtī0~Nnt?$=cƥK{zڟÕ67G; ^I#۵^]}zEVO)X y`J+`EbX +|:=a KɒABuJai~1!K6w% 7 !#)Ag8׋Q֪&O|c]b5Vu6DZk`:).xxFJS?ġ%ѾYpf~ )Gɼ3"̶q:X۫{epo B"+R*elaoE@6t\tW$(zN)mU񋕨:1%#~uёCp຋e28TN4־p6I? JZhP9י~mC"c_KY6/ڹ!߉ 8b WFi̢+$yVXI@ݥdv͆G~*6|VLj~,wt=2nNL?{3S~$kT>0͢b`/􁲐+(:Ɉðw3ڲ+K( 6FgKY* ƫnT/ O$a^kN*EU*0ޞLu;Q疒+n#='6&Cgoem4k6+D,DV]Sdjlt3[jxĦ7R5Ύ%(b89Ck$4.VOf@AE(\|v$I>4ms:xD=T5Ur~@҄jM԰¨gF Vaٳ)\mVA_̟/,&@۞Q&3D 3R}nr(2nX黌D}R;1wrUex3( N&c }$w^:\[tw YgwDi)*7Ad( \:'[&%ՙЮ*M'_A!#7?]eu dr M [nf[lA es} LP]؞WK?PF N 8h]XMΣNI̍xy*gԴ&~cZ7#㖄O7QZwX;1΂!Yγ[TLV{ 'JY ;>$W \@s.f.Žߛ1l Ne7{5\$tsL_1duMS]@CL=5}At1ğn5hNSH/u%n.V.nz8[6r6L \[W8e=\ :fcDCI@ E\wrF,h;in0*!'aQ bION~*3>,K}軠X9X殏Ζ(DW%qfknp% |"{OmM2x`Wc|дugqOTg +_PORiy[)"f׬d+K}e Lh0:Kʗ@>hfJ.Sq+?li$3`i 0%2nVRn>"yu'^lwP=82sRڨh 8zKyįJdڢ_~nMZV!Xsr2b]q7DF0 sϠC#ߥ7\ |)To8C".iI57a[& :ױ^&32tI2hSbڛ>A=. } OpdF(nu=U<;L$^ f!7$2Xq,_lJfy %RR~W ۙo+[בl6EoJs!xw=P$^L-4"FrlJE4@'W侖 CdMXY*|A?.An PojOy댓 GgN> >O?dP؆5XdF dW^Q%MFsLy*MPXEլql?ʘ@mW4V^^7gWd?ϋXOdQ ;1[$mTb{էZ/<)QbSRhK gKvArNĠ^m f09E Uo[6p~<* fQsʨD:;YKzEXb9%E5Y ‘6d.(StkćS9ho(Koϖ"q| BF>Ecj=T%\)MHm98H"*G?͎}l;Aq0zcuH f7Qцd!b UJON}S yWXuqЕxi+ՏE E#~?l}A@i|l7Af^o,΅j=r)J#)jv)7=Bud)#(8֬w)DZnj'[ͧr,gt}x$,cb̆% ͥKdϦ' YķOY[лޫ|b<;[ )"` 2BT3.Iib`Ɂ`;?xSD-x3LFd-iðDABc;FZyA8 v QdVDU`Eb\~Lzwt󹽑 LFB ǽ!&%XXt%)=$9=󮯵:s8Zb]dnTCBg&.x9r*Lq>t0iJȭIh1( 꼵槭$@:)0!bq^p*Y '@5?ZZ>y%?FeokIasF[6a; y~G_*>_!e2pǣL5YGFVRM,jP}&~-k,>8y ƹ,|H?6[9Ђ]z_ͽ!OF8N툵⾞ȓw-TǏs|OOOqa9vŵ (hI gFGw}f Y1TۓJݻv⼿,T,$wGp=bBgE"K|pm03cCh;]Y֨pWb65$n̝ݰ6r0wdlƢ'#y/鶳7nl-d;ZEFkj>ۮJvdo2K.fGFUHXwAAQv=~au@]άwo+9ED:Iy wt4r%'|ʄ[9uHJl I5?jc_?HYv#Uݺx6ԩDxOzƒԅrԈn-Dz s&;[8ާ9iA0x4]@gW-Zhf+uy6m{BӠ>dJ02p&w2TigVmA I-.%bˑ}ɛw _F{w')qezDj`WF8elȩ|O I3-JXV7sw!fa.H= *'hTO Ixp{;aHE* ]}e>%WT5JN}XV'`i'<*j| Oc k&ӡ_Dm J*%xmRi54^+﵌)P'2>n[gګ7O*;__ =G@;)8j$$nNez 2Tk^)T{/B\C< XMlRAI^6W}_w}έr); х%fPW@=)LSF5X/Vek9Ylv2C<ʜ!eZysS6TUCߣixM8u lh̤i[@Iy͊whOo"^:Mi^~C,𾽓?,AfSi{sFVd͡OX nTHr˷EJGiP݀tiWqoʪ_.Hf6Rp&F ')~GfAh)L/֨ ^P\DJfhW'WoT yI} G+8~1IkL_?[ܹ@7 /?NX8Ej9WdAsux\рa pT֧ W+)4FiY]Ҥu<v0K:׃?T`+ uރ}0\AS|2(qI ygsOXy7Z ~ 1fMo@eҞ {(r[{ GOE&G.O >&Ը5Cv2*w_hګHt6ñlE==).=^7Hpβzut&>1v?SO)fDQ*&]7_:d#ITEga-T2)zKOM46 xșQ? ;rZ1s_x]ދ MI2[D@ac+KfQ[Fo䐲MR*=#s*6KB[-Ux}ڍ^6W8IQxAVO!uLs OQԘe2>SPE֓ eg"/=+U# rQ3(PLާ_bzgOM3=t!@~)'u}EBZqa3O,ZM\Ԋ#nHޜ:я)j"@pLt ,8p˲I)=s譂cQYAua_™K{+N }GB5+[&!|%qCdjsCc86ꚑx% 1 ?:4!TjPc_;r؉ p.sbF^:`E٘.!ִ Q4ܲ7j&m7Ala?,Mak!%DEܴXsHÍv fASVNr.]JQ :]K'=,u'fBjT# ]aˍixۢ8sKn -SWz\:Z,}˧WNO69pB D~l t܁"׸`D@dƺ ['l"uۇA:6u|HmH G2 I*4'pPc8A$ܤ4Vķ$ͮѽխ3b?h~[>8x8gxex g=TQʑsM_Eu`MPR|5Ft]pp ҏ.XKSU`j{>Vڄ_R5T d4\n#|gO8 U? 5RߎTJm~N0 @lϹ(&v4 Bu+*w1{\dKC 'WIN+@ſCɭ/to;G~; ||C*-;t~6nڿO DlvWK6~A1-bYu«& 4r*_El'?r;ܣx9 V$7>p8~T$&Jv䵠Of7~vh`e#ꖶ[Un'k ɢDPGnWrf7pSqnM^ӂ?,9< zXȵdaXOpš%S>6-7 wH%ՙp9BkkMnJ"vzX(NZoz89hӯ}ieSwL ؑ=9ƨŀJæ409Wk<fJčvge= W*J90"Q?E|-iEX?g>X_^Eޕmsyӏ^~M/_j.nFPN) ;` fOn\Fg꤇q s&H P$wdT~MvFuU%H,T%M)Vǧ&o)j@}يi{7NGZC>ʃs&k{9- !wMb#jH=5߀˩7V`Icָ(>?)k,ikd[apk6U)-6MIJ^9\1WZ?k+:` G[Ls0;Go58>fνx!!Bv;'\?Jgf `IiiB :Å< &6&.nP-2wI7+3㴯N,|OgMx$^M3N.'ұ} R@UXHdZ#,zJ{~L;6JgyI[dӔѓkoo:eӚ^G wh-6, q 5Fo1at+CX!5QHJ8C{9s.\oj._k!*ϫ0WB$fjw."{eq?7a AϺt %3UfDv 2ډ\g4kMhqw'FSMZN$;<ЯȀkUv:{x=1 %h &/z)18mQٲ8*(yOp`+A2:?>_@+}Jc\YY/i ^(o0YHEW#7X(u:?Ǹ%:Or1V̊N+A`.Z9$֛ ɟ"Ne^h,NVрaE(5vAK$ ת7 "Ưٍ jj҉~ghhp8r8D:f-j5n#Slkch#uC,`^-/Pz qĄx1毡e #ѧr :ToO#੃LK`}`Ӟ$;!^J :Tˠ0H8%F #n{w%?Ij )T%@#} fX.~ys.gW{݌mƒW_n`&gUE&X€-/_!NLɟ_Gs idt4&0XOydoDZW@"֢|<cwivWտcD]h!KB G:ms]D%:;Q nQM=ytLՄaXeA%W"`صypPa7FOVt>;elp GJ Wd?{aT\~]@ӓ}/fPps:e: rE樮wt##<QQG:T:WjX֡? Y.GAXW B-[@ L 8x`_gulB- #z5,u12#PUThU j TKe>8;+m/zz8v($!1$sy$Y gxVaE b HWii흑XW. :8Bj{5_%,ch)3XIþnPŗIqЋwˍ%Gh!I,J#{2>v hZxW|VHZQjYCVbP7# i*9$0)3{ iV%?\h*gR[Lak \Zl3AM~ l5(?Y$HZ92d*Ur3EFV WM"Piٰ}jNx,y>+ { NQ^lI |yu.1L΂Up#8UH[k{s{=LHv?ߒ}oUG_(1/ܓBk4,)Yd u:ro akʸmaQGFCT3-}oxʞ5cV7̣tJ 1&8$4ڗ;b6$u .b|Kl<1)'c^Uz(t8jףI.mi3.]^No„@1A+]CGY:W sЅbIHNȌ:W?>}fw mYd喢Rl >@f.}+gɉp2٦#ns9W%{Mit櫤֚A{J@Tg}w|Wv2ҍG)SWH{8(${<$Q?VYR=yE"달a fygopshx^5AE#뚏*BTrkaT${8[1)S.13^>]*Id+2}"At\=sW\MB[(cFg~ScֈS{pɾ4 h\>X˥ۗ[U\=^?:jFuv%]o6CR4p?8);M7 L饁˄^ǨW}6O13p=398{Z;fqm ?Voc1Re|e""N`7CSAi$?yOLv뺠bfM% hR͟;z4>1bGh4~S7ywD!arqO`w.]!{d|y҃ǂJn4GP5#}^H8$ӷ?Cy p0 .aGcbC6Y$F5vcMO5kV14S~ྪ6}?c*0yZ<6g=L1g6Onr ^ ʙwlօSw }V|xR xq| Z`Z""yn~;P{Y_3h<,*XPi܌VnTW럆"u`p|eD/A|'o^t`ěʈ7slS\@D ^A7'}0zIc_J<,YͲ҆=&PZh+rv b ' }o_A\ؔ/ByInHmc+>N 9`,yC/ /.- [y_ϕȜVtj4r6{Ft3Hy+ԤS ΐ>4,&K|<p$n#WKP1i??C\Ԗ2Y|XKb| ɅGMNWXvaQǖ sVꊡ-Y.`/xɲCpDl&}LaWP湽O}}Y@E#^oYVkPW_}F֚h:9gbɍ$!GqNkXYc(d145O"nS m1>E2:kG03Ho.ܕ#DDTtkK`Q`YGܭȎR8%$}[yjQ_  d9'EVab RSbR/ sam] ^"6Sr`˭2BtynQ+5u?i.s|CѴL[>:{W[* Ij,xT2iwVM U]#b;RV8HH1%! FtYrHGsӜYb7s*/SGnPe0j%rw< `GapM#0e"C!am +˫['Rǿԉ-ߔW\VvG.Tf}FUٰbt!oҴӫ%I =&:^|Z]N:@"JĂqzxW+9ɱS)FeҰ[ v 3{] d/S?XwKc~ df͙s X'޼ߟ3=ĭY̐v9L84P#$3nU1 87=Pp4Ί]iIFo\D?TY,nyi/ 2N  gExp8;*|/]#_ufl6?~ڗ$s1I-x&͒ /G^49]Ehkh2qN1jt 1sN+HCi)|TMWgΐGA nb ی4ir S`-*C2ssD߶ُXȬ%zcs6֘B+3Jfrqhr.w3'D&X`R\Dw+Rrrmz5uW5*6%gԂ1׉11+ Isq[2x w٘Ť~L̵aD8ސEu-{w@?Ci*)sg.R\JA:wɿ{B^BLE7-b,dv@e=.J&( <I1d_z1IH~R;OhXd1p~zV7dž&b2cG})_RU.B?k1 :T75(!"t#%lGܛe珁A" IW-nU2S z$N^rSBc2Bmԃü :ȌvRf>C>$;*xbl1=u2OYː(fZ=4uQ1^]V^js'"ԃ/&,Od;:'y)2Bb8?PscCX]~Sޑ0CYP:u68\A)0[eR6119"֬Vjsg^Tˀ K+"2ߡ=N4F oр3QpخY+ Wm˾3IU'}63ůϔ~`gjG.걠i+Y#fQ|~Nd=jx7޸Ud 5%l-Xᇬ_)UcslKR)o^cx39x!{KCLaRbe`B3ZB"&zWԈ55hs5yS2g@9rīlu6[7:M+1M MzbF.RԱr̐i R>Kpr 1ڋ'0^fS.` ]7,ňc(32({5Qԛ;c+S8b$q09)7xi<:2!K#g4^->Ρ+5&ъo.e,*a8 â&iqϚqTM6L5cc8pOAoIwh.MUx#7{/|SN?X$g}õ$/~7w( !bSmOmJ`zr6;1蚙/#"1$.+] j9?"#ǒ.rEg7/=] Ƀ22ƓXVQ-UϘWBGA^&' b%XFtۗu걿vI0Ւ]``KAv[| Ah:۝Y:~ =?F<[ɻ4]7HJ°Zr;G{ځ9~/aM~KCX+Lc1^~q; o~R<ުx{YJ7cT 7FaT2ފ=rC pL  Mkij?6YBM!5 L:' nou@" Z4 8f`ָܾ\IT켒GR)>tbwXBHmCj|aQ2Qh̥TX< Seut.O-9l:uUdt~mYAN5=Fn7f|>k\~s=#3pƞ:SxU ;:hc YE Ha rQ}ң`Ԃpad4X "$;QqP$cZ:>c} .,E"^s{`7X3 "ւaU׋М""He =x-h>Njyd٠&5#<l:8,#fJH*?-:3'uX7.=k>CZʑd!5ܟ;]b3]CY= T4n+.!2zaZ+? YDqj+fG$Nz,{_TVjZܥ>v?eVOmKsxaUӬDHC4R`6-yTrָb `?M3!ӰAR5[PF\51"/Zjx/tX;?F|/nY#Qoy;Ux]Q{1x8cȾ,_*@ՙch7deCʃ:ye iFlY0.+|}v(է__8X0)!/GfIPq^n{Tn{E9#sXP{0} ٙ 'D ~b3)tYxRS^"Z\_`2j~` kSkFCok97W9qlY]]Xd` BtG G٣X޺ds?H^>bnvN\'!R]kN%BiŧMAw=bm^\u4sZď6x|z7C}d{DVŮy- _o6Kk[+|ڱgYZ7zXZִF! v ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&Xpr{ξp@@&$wvUBx:c(lGҮpGfmΑFR ^FE.&Hh'" TNOvN_?y^~m~;oEd+,.VO-I6Uۓaּ%wZՠ@F氙2D*k8n|o^bsH`/ǁfF&l,}f#ܐB+[F%cf+2CTM|17_+}qs͞1,!օ wDr -Ox:][-"5piـ%>e<|i)4ljSRz?W2i(av)~8WjΟn~@H^3/~q|]GԊAbx}Gu,"ha7+`P[JZ[?Y\#/vZK)^c `>_޷q Ur ![kNvA=tх).Fv_-=zb nwB[o,-IiWSUޝ%bdRivƃCVѢ|nݜ0x$UAmcp C8kZCJnmMh`2 Y!?* U'EE4[k4BwmX"-_zsPHú RUICcIèc i;-ad-羍XZ_AM Q̭aGdY?40f l t nGg&u[uASyggL'Iv+">BfQtY,l}PGx M%sgf-(WG72HmCXLoD> 90K(ЄpoaP¼$rÏȵlCw9Ki݊x86[Ac=wy6wKԯx݌Tغ8/l8`<׀nk2#Y]\Qik݊"7^ *P3,;)-iPxʥ)E1P66 y ^>$@B45 }hơ&m652gkgIy4%ٟ~~ńsPx:k*t-(=jD-2FO#2W0Z!r>,DCX5Z,16hyB,BrE!"&$j<[_([^_jOU)qen.u; 7+Vm,f1z͖>G[b|'P0S^i(`o8#ʒC\XRJΖM #p7&?Ƶ)"NѰl&yqeޞ4pci@S wvo;?Pin,\,Ѐ3H[9b)#VW~_i2jHL!E'7Et jZA ,^LLU𥃹KWt\ՖDl_s W|oBLCChj1 {k gȤ:1ʳĆYba*vnTBE+rPyJ6u&]c Ҹp7s׫VT9bzQ<\9ȬYQ+ "`[x"ml͍cG>`XV~FYZ,̩;drѣuQW v8{^#daOip{JRmxJA&M87,,/G'=lHqC8loNPҢ1l sw1urOyŊp+c.av+mӘ#oWGF7X?R9h.h6۹H2]^1I/`D:Awf%ĎhHdAxY z7¨z-rvqzmh_GΛ`)L /O:!#R{VAbM%Qs\ !W3%U7~c<4TskDwsяPV_a A)NE'wm"]FX`t8h.`4 [O9$ƹZs[+AYаz4+ј-q8Q1;%A yjʡk5j(.w;@j- 7Aɸj>bz)+siDsH٧es!M}BSN,| ~?=;#,҅ ؛Y<+=৑rw9 o0w.F5ve 8yݚl}C6V؀;nN{l 0&$<0SVو"tnv=N8^ia*q!*vbCZm12Yo?>Jd㷍GF^7򎥑O@:2o#"+F’k oEZ;ośrCN TQl b۳X>mE֖'xv7+,Sj尷&iۯ }b!7W XV`,wEs$; qíf`Tv%{TOT$_v h) ȱrS}3q=amgoXnզ[]F ,Ze\2:?n؇O#d c0EA|\lfm1f}jꏞFk՘F3 G<<,1Gńqmuaֿ=jLhM1\va2 yv[-UW68``^# ^$K6?a;]B_?q`ٟ|_zяGM<.< {3g(O!v+>`as؝~opP묌Y-=Z[=wJE}dvDMSc`D0<<9e\޼x7pfg-sg֝Q.O+f[z#*km3X#bI#xfޝU?AIP۸g\g\r#( -ޏʢx]L4iQ/XOG]d{>k/N4%j& {.*XV6+RM.knSkl]2wihH`7H@` dV=M&t+8JO=$BYG#mǧ/m/=C7$?"+<֏IF#oMؾ/ -D;o ҕ~"*yYM^R^:0ܪ什=\h_Dsʟ\5a1J[ck~u~# y^@eD<~IPWu^LM79b7Izף*E<)"Ȳۉ0Tek3*$d@w-n~n%TTZTUe4K65lY[`jX:(QUъe ]mi'zC^w3M\k1MØ[J|%W{9"z2nH_8yxھ]q:tE?l."7>pSr +%4syAʰ#}3y\LE;gdq.Cgolnڦ6' cXި+SRɱ \Q6fXC {wöbbwejPA F2XoSM>vjpcfM>yM C8}}/pᗪï #' fqiaR_ĄPA:~Ak3\0@{jXqs80j&hD]t*˟F/;Ȃ^Oլ*~,?v(Ϻ QܖuqAU7EGr``o94-S^U5>!00<+cE[Ӧ;;?+Hh8ϬH7U}:Z,9٠l %T;CD)Kx+{Ƚ;9vOa]h$Q(wԡHZ$3N*pw/+5)͓Ad-OfɆ?mdGYn}>ژ"X,N@Y<"L V"pRYMhO;v a@PYlCznڿ"I 񏊘J_"iNMs ~˹_5k l"X v~x<=@6PKZÚY2ٍ L=+΄_aTy5dcƵ8AԠaXUW$,ID.aqf݉` uL.h