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  T Tp= Dd$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.081cpu=31.520gc=1.736factor=4.457zXZִF! ̛]ŗXiɟH)0%odժ0hK+ P w0f ߟCƽYluB KWA|':*]MMscbL/ج^ R2p8[ 2FN(sF@) #ΡTWF0PT*.7k%N94L9ʁ'_m#_0#U̅a5LyUZ\L꯶i P+޲>(\وr~%Ӆ>V8oZy\X|AY^}PUkC؞& M'n1?c|4Kҁy~ [/F%sWºj^>*_RFuTYsjxS;>2کpU>o=g6eN^?W98[CknN)0Vt'g([{.GŠ-s1K GDťf^ ӑOn7! .d{G-n~;\CeTjJ.f?rx473.Uݣ#m՞lሻi&Lc8c\p)}K`D@̕kţ;ɟIa .vtࠋoifAgٵ"Y%npReA|TESقiZ$Hl\8Jf~X1$aIxfj I1SO|1'BZy,7S1fd SH$H *\ H&SZM7k!#=pܮc = HOL-Nonstandard_Analysis  ޑFNb5 _Mf5\ģBOu?U*e fՠOmNpf1zudM.>j_^dl{rӌDcNWk 3 ^=Y3 RvtraVBW8_J'(? Nr=R?r4'q{xXpe ^շvo!.).p}xD&f6x F^ zOq#i؛K[%QDwI^s|QcPQZc*t" ֥3ɔ7ڠL2YqD&% (DPOr,$aSXC 2GDEG:O4CP%5f63٣AX;Zbk7&#9-ʂf.>O%4]e0AչnX320@^CIpt߄"`^>#Gʒ|*4wa"I7y@Kr7L<$pNd1Mп)rObO}'HOh(YDY\{ﯣzQ'<^A??'=o_s*aqm]xa:CRy"MJjV%c~cv(+Q0+|Ʉ'8KE,2 ɂbuEfϮ`C"h =Ⰽ0yG( 1*rPRvZJ 6MC{x'SfkԚz9K.πiԿt8[}wc 񾴥o+攼I1i3p{9TWW|v#ѠI*,qUB 1՛H1_{7Q{ㄔ&CEh;>*l317I'N1>W#k&2̒L׀`{ ?[[nlplb>/?So)MdQΠEyF)wm؏S7IͰssIAu{$í_ L~&~9r:"9].ml*)aIjj jxTv;86:9( :Pp] Ӏ2L?A9|jмŽDSݹhD՗jE$8&d^υR~TKZjXRO"9 z Lqww(~  % &vXJ0Qό @ze] _..qjO| kn{ąX#S@3P󂐤ͲӬ3Ub<ܝA6Գ&DX[>r"i7mW](AV aVr#SkWS% [[ӏb6^7[C"njh ԢOHq͐H}7MH`I9T!J`4x |j6=b FPweǧ3~9u+v@tGe`G߉$  <aV5?\&͞i͆͏=9F`Ri†^!"ݙ {1K6EM\4k9RԡYh y+Gk _?LDc5@" mt:I'K#h1ɇcHNnpZ,6+zA * jɇtkfM>T'q%3D 5wG1ɛ"Wcj*<0Ow׮KDOLG9=]#86zO\4Wޟ_ %T #3C;._iFzFÂKs@aNjW4IgHK #̛jFJzaD 4ⱄjکYqfV3: Iriiq+Pt(hwQ6XQ[85{*iOl8#'9.5qG΀sA' sr8Kg^ dXsRDj dI.!פ. \# yn\׿-|m, 0bE\'N $4?氮:ڧ$De. gYDpug޿yf|BR^8_W-1U׭^ql|?p -)U>=||Mi V晽Y^ $ (Ґm@!OFfUFRZE¡"^~%TD;1cQ\oq9ƼLǔ9CR(͙^&)DiĝmEE8o:PH*[njeNJV"%rBn#s4y`2[N6.c "-|!\X"c*ʰ ]V*8ZޏVzx6$ 2 o`U@sּ7{H^C('n>,Zs[?쁋4^w~m-W }<@}cyFyհx*tZvhRj`V}QrXӖ# HiDËfUb7DY-(4B!Y`h Uߴ".;r jes* w3}^!#Gyu9/,R|V¨zaXUw^F^[9˔X<2`I-)_- pFrMrODWOSzÞ@feZ9rcUðN$ ]C--3S:g1Q03cu5b _ (asEΰ `MTwe!4ϊ~w=۷8H\{'53peF~P d4斢B;X>EL8X|`rVjP}E C|Ca,+O0RλkNP7madw]$ dGMsoO<NS9ps3<1*U||_GvhGme? }ףSo3^" Is{x|iC;fyq}łJ?Qc9]9n(8( ҇ҜZ@6%1LsEx%Dz)SKrY/WeһŬ$KEwuLV$uK1yw$}e4`z}Tw=QP<`:0Ѥos><3)\34Yj^/;X8\D=r4{ׁxbbFPAD_~ LyEq#7(:]1( a57N.`:<[Q8gM~e[khytI54*grtg(M~_-?X~p" 5I ؄KΒJyeZni3G~nXop>)'P[.gXP}m*eK st'ehAhaBTg 34#2v[_gC]D0 **@-vn(ڌ)*7gy.&6ۆ72*dxqۛ"XuTe>0O $ya=/ٟyQӞh2&İNV+oB$o SM`4QD%?Yxj|"Q鑓,W+N0!/ʫv읁̵kP$ Lyb$o>2Hs9T ײm؏jZXc)ݿ@Vp (rʝfn"&[<\MN%W\DlOK2`:F^K)X2i R, ッWv՜yBg`Կ_ü4/ڭcTωzg Q5?`07#!|Om&a.npz` eunk p#%ewaj~ m\,\V}.l)k{iذs{G`U1jc٤ B? qZ}MAb+ڳcS$w^I9 rOl.2צ)QF3hؤGxLO.uľ[JWqTxz묆c!C9^{j﬇1QrN:n秨MN$Hi?com@[nuM`0SR?cly0E&@iG@Rh*{)qU#``uö#x:nL訧,-q8;K"AEs2_X L|VkouI<$} o7R`?[ x=ͪ^n0yEtiv𶄵$M g;|MI2X 9!(\"ʪ ]CZI}Mz%:hG IO|Inns󾄇)VW2cݔ|yDL|a oցkȥHxf̑fR=W2l R3v;Ֆ(Y4LfAy y7}^0Dȱ ʰ)4 [$@.fTߋ\q7 ߞ#edЎ3#t% 5i:AyWkM4 @$"PSUE2Z-rG aBl͋ȑ ~M>{[!x`bQ8+D#P*i(ajPa'2ۅlE!#zIV+N} [؛ݪvѨ#S] .%:w&:cL"yaN]($!fE/YEN@>p?Z4%63@4ǖّ bn(+Cx%FPIYOgP 1AA_{ۚ'Ӂq\>9b{'uaN%~|k`d4Oi /= RSf雹mIF.tޫp@9o`+4(aM5gUKw1ֱy{Dw&Nk)tEFAσ,,wH~: l KQ,ZK _pv=|eyHީs#In4嗢Wd4&7j-{(!P%+a%e$vlg.,[~UqQ¿;T(]puOf ;m,4v9uo^ueL* 㶤C \bW2zn[ԝEۜ?jԅ I]b֕7M~g2idTN&uז /龦$Yxn1=e# `k 2Uys$Wnt,~ЖRKIVjie>Wg*[Ed9i8&W8'}p^s4U_NqJ r>kdCa/q}ئA=0ծ^}WU GUÌ^8#!'뇀RlIyf@[{$`d֔Tlpg,bAox}}2XX?_?ཅ 8FEwDΔ[f1!EC;qܲ Cy×vIF/4ر߻X- Ou;'1 aQ#RĻRPZ)2 n-SYut/TV 9䉯wl+J!-!;4%T~z7X{0/ؖ uIht(f: WllʐO q@\:~>qY`kVa 68gAk>)lmW9*, FlJyd_K ) r @ ) !9'*ڱ8GMr8uh*HsRSVe[yo/ec]qy9e789atXKN\:@;ӣ"|n];/m ovBn y~dtB.`{ŐcQis-$!eIk 4 ڜc^:鸲^֝: LԞ`@ɓ C"NZ m-,*,(yS@@K܊KCDlTY^2mێ3;7&-#?#7pp\W*ZUJFlY_=DH*aˆf$d w)ʍE3thܔZr 3Ƭ_FnNlY,.kvRf)Bn^4ujt>ʰ HE6eTGy_rm IB-ot{v2RO<SBag4j"N hTf5@תx,(`wJ&]¢!NaP!z G ,YaHPU]"%fK\$brbo|@|/fr'TOu%PVuCJN z;P1iZieֻkChJ^@ڹcB_k7OhLvČ++4ST}督S/V9T7Շ5Yחڡ W.mMN?\M/i2?M8R~ԱL_1\DC.'N[~0^>;1׈1>*s~xsvȼ H/N]LXE~&RoYb I-\Zt|WNҞjbRB"@/G17BCX"yo*=VVZ_VQW3,pW@HZ7]/ׯ nPGr;TxѼZxp5ۼ8ljݎ&갼Pd{Iز^;Y"c@\Uz(:] sz?XJZ*/]:c NuWMB9Xh[UOqe'odF%prkIPRB){#3pb;9V>PJrcjj@_^iD/KLPOn/ݗZ."oVsٝD%{ЛuO'*NCT1=zHVpQQ7ΞTA&zۻѤ"h8@sX/Py67cM^9ܞ:_dhؙzZ$"5e`T5h'%\~e4Ф{$.><1NY.$IH :&~8nFL0g:1*% R?HV:6 b?/,4Yp#MO+',BP._vap]㸧`x1KӒT_& /siziX8'3>}%ZZZ{.dp{UxQ5aӲ^8}_ݽӬjrQhبG {^l},pO,t Yu惋]jB&O'Eb-9!@z6fb^07öQOX5§39p0M>*)3?`0OB bw諃1Ʌ%JYWBy?;lZ0rTLH 6H ˄Dt8%D&wd\ORN y n(Kx0xM_%ӘK2]mYaCø}Ź KHeYrXg$,D^.巜6IzؗȑAAd[ÜRrQYAl v^YVTa ﺽK`aïE !FP,X: ۋXvT&00Y _&>Ak^2 NVx{ӕouLRRw9D#e ϧ[x1}JF]S'1 T))VP@1d^uI`&́sP2(}Z= ]en|`^M)G@Fa>XUy@*0GN03g}dwe$0ɦ!Y0`# Vi6>2N]HG$S8n?bF M N8b6/v@4Nn`;RYQIdǭ CcH g3.uFz~7ν#u|8gdOUWڮj4|'0 hMøJk#?&98,{B%P(~2X琢y*eWkw/o~΍ӣCe+)`PQe9\g&J \ȊcB@zobVE|RG WLjj7dvL{Y"t QM::dG^r*4JUn.|a_Κusغw7@8>UV6 H+7"MZzPƯ!XU{ݿdpң3Ȧh@ДN"+rPPW{Gez1?͘?ט. M֥z=Mh Q͘%j*x3bå5_s?%N7x|1@6צ ]lZ,82˾ohݥa3zh%;޴bhvBԀ}ìl&>w6`7e={S W~YQ L oR+wG<>CzD^LH`_q%2rNt%' Ԟ[^OgPaЂ,Oy#pG԰vW`s /ؒ/xjbToTADe􈈎"Rj~>hz :ym,'{.\<=> QCSx>G$X>ԃO_{s {]$<&#пPyURy@Tz-׸]B0h)m)Mf2e.n`$ ҧ.0%?S)NZ;ozfTA,VN8g M:7"ɭd8j&YɗE]S?UýLz0w[͓DNCYM3k4|RWԖ&{㋕J&dQ$Ϝ um-f8wKBcY)TwbZ#y3ۿZIݼ|,{Lܜ_c60ABd]!][m3XXrcO ~6 jHskva:Lӌe~u6<"r.7zx$}mg po4Gc{_&ghki+r 5yC20):F i2l[=@rUrR:(}=K&{, iWhk4*KgQً(b]d`N ΐPbu;w2G4߽J?&zÄrv2^1F7L)Gֽ.>iuBp8#V9.|nPo;_ пI.AI;$`puGE;oI5Rh?T7D aF>Hb3SVn E]r_&x#.B^xfWhMs3C²_oe>nɆ5GgvɔI1)G|a么yEBHA~̺HGJ}W+cDE ;CFgnL*A&?1^VDO4WhIA&md4_sכKϽ՛+<` Щݻ{X*͒u L,=uN/ĩ~:{U?,44(-ˊ3ZLclm)/a}w Q+w|%N2$ֈUм:C"sG5,'| fyVѽ*n!STƸ/hCo^E\?&6RW5` /OxsS:DVW<ڒM\rQ0ׄ+ 6H dވeF|' CE7KN1[텉ԓ#&rNޠ}'@l45?}1xLq}OWpd'HlahJuV]sn Y/נ?G+(>SʡO3ngKc:΄^2!$-t;?~2ac3Ƚ%GD&bh˳ďh@ 񰰁QVe=wQ)f-!?l p:ǚcy7g $O㠠=;ƒ',.KŰ+S,nu`/ʸZj3IkXs^]jOG5a@0=|M1%:[[L$d l;ĂeM:o;Du{;dwMЅ(VPdv 9׶|pt%meͲ%IGQI2%Eo6|t*:I&Af5i7s8=ٯ؆.K+EV@r œvͺ|rLLAeO!S*K3a^0e@JxB 4Gj36~ sز^Q}_kUԹ( 6R@@VgghIJ6O6A pf3WU5>33{4@ޫI'^aBW $/cmv1˪o]oTȤ=ɀѾ rT RvH*7W_WI$(f /dS6 mՉڈnew\'{T+>8̴4z +]@XN)Aښe|9c, csFpK)1DAZj2jf SӜ"p3Z ˷Ϝpgk=0:xcJ9ٸh> 8OcdjOٓ݊]sCN(sԊ@1BѠ ,!z b#Y`WM21.# pC 6RCkndP͉>iM\+J Jy9\~- ɸ!l)xg@3p#2_MV(ЧS;$y̝whC1{jG̒Ejud0T#WvGy%wj+ьZť̩?)#F[ 60i4>].E b/ PpZ_֠V0Yj:&ِ).]kpU=.d x%2-O,5`K;U(4 vFr֣_f$#{N9~CeW~"+ƎYu0 ˥̌PP\iRu2T+P5X32/ܥ^_LK.^]&r#%j˰c -桒L.C!}gg[PR8guet fYdyXޢ(ѹ~EH0iR!iαc4Z2_qB"qT߰M_utQŚÓ_~M^+P +Qr>Z(=bYj8vO?TXKz wݛx5`$텯vGiJbl]|̰(.O_i_w"mYΖnKU\ݟNt >7]G\hOH 8myz!Y=,BF4Ic㓪"h@*dPth6Kl =oXl];JL}mWٗ{Tdqa:74haz0DwLi7/+y @kr< s%3~%b =LnMZ~tEARK.n.ŰAFXK!,#EhKũj>i2Y5b٪ִG|y 2 QcˬKKl˵ lz):.ɕ6~vʷg Ca16F"">CVNWGK󦠨u~"c/1.ap}hŠ*-A:C^ (<[dpmm_ `K ް8.Y mxhƑ^?۞1w+y٭ jSK}+Rb}ذx[ 6I0Dʆ溰AxzŢ/> *5hRVꚲАrJOG9 Iճ?RԔVApOȿnvYW8UsL T>-/O7w}RZ;Gdߺ女'?[ȼI63M* (&6 8|{ h 8Yҿ&zZ=JZI(;콡?MF.' 9gu{\?B~1gyfC/u|o8O⇉Ԭdg>K2g hI|7(*ɕo3x$9}Y53٪ػ40(m6 Msw;؀w3⣊ջzHgniP2‘'Skg 9!v~<4Qbhl [[RhKj6̼Q-vv?▓cEyecͺ5WS89 F {~0T"CagqODX;=E= š:R<"@QW1nuϵh-5շz .|WD~G0 KGOa{=#G!5- )$di4ׯ:Tx::G[*!sf,Po}H7LYf8D ФHv Y9|+gN1^L&Zo5fD}AY$jb*]MQkJ1Π? o=F$K6Y.*H v{%/ڈфP5[x9R c\| v~[69GbB; S  D|CeݲR-M 7 jQ>,,ls{֪$L̶,WQ0*"dk"jI;\<#ʆəu}U4$x4{ )htժ,E4+L]2옸Jx6M@G:|eK'5ol),2p|uߴ~xt?(-,04`+.*8JmM^ɧ{EUs^[,P /+Cl]DCE|ɴ}$'d1(BP=J@"ب4@zNVt\AsJQ %& wwy,#:6&_G2 z~ h ]LYlv@TP&?cW~5_f#<_>9҃|x3=%kkd+-`lI ZXEfAmkvҫЋZt2icMUO+aN$w0 Oq-:Jd$lvȚ $*ߓ!qzJ.˪Jj4+}<6CCY^G`RQiմ#jK/wOܦΏ2e?kς-˘ǃ8wRFXxu0 w|}Ta)R-scyCS!tc n*7%>şZ)mt#sU>>=_Y+W SͯqɖbzD:P5$6;F!!sU]՘)#lE*tbI -5Е}/!0zȮXT+_ه]umζ팽,I%:P|o$-l,Rη 7fCzd˳]5٫uݫ8p]=-{:LGr4ҏwh7f,M]-s~]TC*Js\nH(b JܹL#u<+l<& Rk&\gdVٚF)[@Eo'èڃymVUO.pV;zH%%0-0&EONKge0>>ϧ>H )Lss{tYˤq=2ʺR1< 2󜴕V#Į>tAQ,ɷ%2X5 K ٿ!\=ҺP^hQB 3/ <UyZF[F`DIb,\XNccz_BtXl$Gufzl(15r̩$)v8˾brVŞ;Q LqUrآgW3Rlc2o#!i ?-c.U.MKgՍG]]eS9W99'ʼ{aF%D6Z`Bۯ|h^]R2_JPT<2(uBhQfB91_ E?zjɞ ?E?9ic-{6>(Y>C ڃ L67q4)/A"EZ".BgPSj OUޠ\2AdD gX0g/5m 溅Ci(>Rk?LG0uՑ4s&Ƞ2ĭBwv#@4 W!R !R0?DM!O^8EH׵ )9x0ǚ\lV N(sl}9+/b%#/@M^=QA,2LvnVvMMp_X4Kn>85i!N0Bڄdn*(xveknv'[7X-ё!YRYؐe@M#g1cJ}ŀ} ΨMCT WE_?ԈW='XƦ#W/w7 |+ī+QAMdn ?J'r$M*3OЩs(PĿ~r*KtI~&vu &Ie90zȫ%5FH-Ad˔dc%jc-LT2|~"<q axaoSIm)V7;NߪfeGmȌ}<*6+%Œ<_CQMv3J@ISi;W3݁o$V?8)T0rEPCSU80=Cy =D~bcƸ9+. ؞u yBU>.Z0 .K bo{fm|Fγ^))|TYN3FxG2`OꖰtuD+{Mfd 'J#g3f&P!璎+[1F͠3?n7ɽJl!,]'o,Q鯞ϒ0|KS3%Q?l+dA&,7y(3#Gۂ64Ndbu(d^,Ÿ?poI ah*~4<&Z' "le#^ vb.d\ ݆waGaL>Pl`75ƃ/OHZ;V Zq9֜h|,5b&!r=nRjgC&5GVo0^YuTJ_@E^•Լd:YG*ڦ?IZK ۵l)eLhNj"=OU92'hd_b`c5w9J6=9_^/Yg.UϺC$f[?NRǽV4⹪NZ_Gw `Ӣe`lڽ>ngP٤I}=1Q + ;ϾLIn{‚ 9F0Q] Dѕ 6f"efr{6aXuڴH85wdtoA%\. NTE_.Zh)["Wbr<?"S?`{k@S۰ \$"V}Xڇ v+ꑮ޻&eVu=} XSzWuGh eE0dkiauȄm%m4í>7.bCK^tDbGvJd>`FO7qFLzq{YzpuJE~EwyH S^!N ܯᑌp([s`nԖ?\ e|ײd(J%xIsޮ~8a OŵV]+[J#rKL17ZbPe@? l!bd7ۮǷ=+(-JHI6ߝ=$oCA1?755W99=g?M\%1]`LD^TDoWd{zxA=jAZ :Ĺ1`wɯ"#>]rʅ8! )N$.Fa3N+48٨}-P?Ndc$~1#I&,Z â `\RG>JYC-`.f,5WPM}%M21;,DSG "3quH#vD,HĈ.paN+HE&InqiT+RTa5ą3hx_r #>z4bg</bRmre  J<}V؟M}a^(lV7 9)aOqUB'}u #RGnōi`D n}-z1^? mN5L$>|jl%5^ӳ$iȠvej$+d_qmy- Gh1XޥtBbU7\%p'HK$i2ǐB#t#p&-TL.?B})#z*w}g߉n† V:4j^ HZy̗P-IХd% ˱2D'7$$qyDrS/N?K@T@%h΍|q!Sl̨DȼT }CnHKgոj 5t,;mtr#3x4j\Շ '8f{kE8n.2#qxOܱ[uSy;鶵c.:)dMx?q5b4OuUއh씊rFq@qLVw1@@nyۊQٹ2@@\4=z)J lA^@h/C6uHz^v-hѺ}~7^'>6" w)-}[~9mo&~gghoBԿa6댆VÏf /vQIV<+ih#/ F@8SԂe7ˠXUDW~0-5~zbS~pU)d̘n&.. !D6 WZD2F??O/3BeR<.b"=Kݣxo즕)PeE>$L?9vz;1J761>S@Oʂ.r^Gdlc"I6kb* 8&3=fBN._9{N]ZT1F2mC-frX̸vσʓ]SdvU)6|Pܲ*n3ϱA-~~KmP7{ZwjcFJ=C1] ^ J0NKJ+Ἷkp3™#oePS-ӒyLd ԭbI~[$u*iǍsy=9ƚ&PRmF=ɵ9kP`]dk6{h0wU!R t0(ODApFPIX$E^!sa1{?C/h9+[.ImD"=:Y<&ΦiLǛu]T9.S IJt s +m˥'2ML{AjQa/+S .j| jdfD2oJff啼~gO20ˈ3|G` yPi≥>ԭ{tDx6D exzX>V,M4C)WtnӀC4˹ pO%Z*@{~q}zz{졹Gf`5 %ą #{g'͍93崖k$H,w/^)x!8CKu>V+xSeFۃgaӼ$`Đ9ìet~yL+gMbL庈 Sy@ }psRUBvvq,JdM&Ff:hMQT=8"`a;nFQS&\?a};cn?A^N"h uKn{M(-NOtӖR/#n4g.mc?a6MjHb_4ؿ;:7(=t@';? 7WYixd <,!zɤ"'.1 ^{{T4>~n/v.~ -Ӎ#dd.xQlEnxC0))lnz /\a< Ss}zJtl.opy(8woW1˝G/U6])hͯIм5ej|_jzHB*j-|cte5d+ +8MK iO_{&+eeJ[&p K;Au :Ɔ)eW9/~ 7(v3 Exlh#{|il:RVvJ39E\%QZ6̸iF| =?sC.cTٱ&Sb>OH: E=uY/ 8U6 \Y_)6􌿔fP<\'c#G/Ol*b|Cɾ?'ф%{,l*<'gLZzƍ0k1L+eZ8T  ! ="W!1+ƨL>S\Pe[^ $2wjHO&LDp\`J !׶H\+L/LW쳂 EU_)AEV [VYSb9Y3qhlVchO-u{wV#v 6~>L1atiPUOe{E*.AY$p"dwZ>gWJYP1vzDX 7F1}s?3#% |(,cC022:@MjWX/?|l+Mk@?2DF]'Z_Ѣ֍3۰1MY΂oF+B&(:6ĈX}%*/ s?]' HVX~Cy(džz|I( kF-il>)nhęXHTAl ~n;zehg00!߼Y+ujx 2Q`'~OTx hfF$R~j\BVoq(z6F"q2*H^l3Vg3Ux2^,yW#=6+ EY,R fa?vJC_ua4JYe$/ ~UPw ,(olA|1Zl knZ"ISiHe˓m3L9-Sp֎Evsϱ];j8B6tЧw~>rjc;xpA:|[bl=m :n?+n25#YWoh&) <|qgA2`X VUCegK`̀b%jmB|B[^'lsjVS}.r7ȝ|pqHd VmzG_n(24ndoW7[G*=( 97Q5*25ĸyѮDˉĨяQ^/5ʭ0ԮZ=<"N-b(c[6XyZbiJM(;p~X@Z=E;MJ 'y|؟o)[XROPZ|驏1+ACkTgyQ`I*&d'`zD:nbӕ`Pƛk=zΗ3GA kZ F|4LYut(Lv%Nw@f3!} 3"R W| dz})=*)Ugۃp-Նr*KyQVG8Z]OO*!8cK@AcR9qFĶj\<#C3Ԡ.])d窾lX)."̆,,ŵ^Bo+ -xqJZ Pj˺ҚW~o`3.יzWD!kmMo8}t:ǡm@,ZQ)XWY) gNGmIہ4JV(u^~{`5e5\ ^1$^7BH$el-,h4l\sZuu dx+SO]D0=|6YshRE,aml$tt Վ%Qo)Qmvu &Z:=p >p )>K+ ǜ,ptX uap S%én&!swxT^TLK 31${ܕ]B:'[#LX36vr#avCѵ.F3Sq p^ L eaOҘ¨\^ɜC0=Sޣo/Go.pwJ;c4WFI8oz ]&B'QsmJ2=z LEmXQ,UF An2 uf_D.Fv&Pkƃ~IJ+ ~Uk-HhzT+bBEEx;-7Æ)EBUR(w)ASA_GlU˖հՐօ(rZh2!@+= xFݖ0M= od D*sB g-@;)ZJ-vOQ3\pvhlm='>,cpv - pUoZn!PR%a-vSy#Il50PI7pxwL#\^;M"li(F]y">7^Ң2_ÛI$vD7F栆VmQ>`f!';YNxJ^tܴqGHKF,h ־PNo) Ѹ飼ѝDf̸H_Fc8+cOT@@ Ts_I׊k,`,p%h_nI^Uwݴ?)kF8nhB(zE$^19^ROz}]WwYj==_׆UGƮray849wЇAeW"}p_$s<a?8F#`#] ^jYʶqNpq{a;Y"M8ILñ$Bp co"3x<וfT·Dz ^8fɳΡՊ= 1 q?;l!ҨL[*kyheBC R9eLmT{" "^5p. ˵%ε6(ҁeCHsh~}Ն&.wmtU3A*zazZ9NG"㭿Fe 02rg`.@ ^!$S-{g@Nggk qze>,]sLCeyt/Q@1W=hg^+ yT8 sS;#+10R^MzC,dA8 RR(5=[O%dHRqp/U+!TmU|:Z W5o>L9Q$灩\1gY'6E!P8QTF'dgk|XXMf_鄪S{-5OmzgLtLE[ hkbjdY9)N;~N_;%/VʺE$k܂4@P QL%цIʞOog$=M q̉kbrpa?V04wnйLQg,$r1m+sl$ym?{4`Xhndzƿ u%lb+W*jl<{&' '=CÏ[O1^< dY6_yU\kjoܴ3N ӋI4u0ÇQɖY<}4)Ã4~ H$I:wUtpB/M+R&NUl6QILq!.y/RojOFd=+Rbm5:>4R BRB 9>(g \%ZKas' Ԫ-XV8*ۯ:xe4Qq%ɾkVLhz^(L+(Z&Ξb҈25׋RN`$=,1#ģˆX& ~W%2Ֆ fSa4%s#G/>BͱǜXQuj:U[TO`O54-Ro3k)NEZi*JhfWܥ<ճW?ʊdb_lC"xc~t>nƍ4u@MiY BE>tT h*k#GuZ>˯mq5ϟ4P+1 }P7eю=R KB;4Ls٘F6 5Z(E/۳*vW)tz>Vڢ^0mL q W kzl&7hz(]H :k'UUl,a$ {`3k@XBuxzEGlı/M,7Rf}SEeBr4Ѳ OfQ@Оz]|K/ssשŎb QR#"#+)Һ V5̱e3"ڢģt>t^>qλ#;ާst&E?e5cp}N~;aQ;eG"8k#F}32}22'mpRZ[Џj/FC>2HSXelv%gO{Pۘ)&iPEPw^zp=`2Fp4RPDzԽJowfOW[Ҝ32  e;C0s+S Ghf#slh2jb-) e!_HM[i>E: & Q 2tz9; ;S 0cV-FSOX!Peb2aY(4 ޫ$ƤekCL ~rf}b{z'EG#5[̛aso{4J:~эځ"ѸÞ ,v._Gf$c*DEU"]}Emj7m Aa?)gS oS2}u[wZjyx\OQx/:/Ɂ |1|h/(}*EktǶUekڽǺ-KrPf,5 82p12;7D&k(svwYN!D=*KA n1'eB# '˙&ǸR:9%VkYiUP/Vj"`[{yӢr2yRUMU*yt/%Ʋ KN~d^TYbН'(=+rh&֓u @ys5V㨕#T\'P)t ҍbUqk-: 2Sm󚡌DhA<9J-'#@HW C8':O؂7< tS3 ft'e\*_08ȚnN 6zcM8)/ڴiE&ؖIhi{M64E vɴ׏@} {s3Ggs "ٕ SjAط^v!zWl;؞y^Eu=|+y-xlz6?;foG2&SŇ{"l͡|4OP18¸¦ø ~(4T>xqXPQ9~>, 3@ $ǻ÷Da!lC{N Q)༗ϒ%>tFH1Hg}:HڶW>RbY?Ƨew1T|D}m[ K:ϟx)aXb 5=$0Ƹ?N-t`($|#GkŠ22Mp 0@&;L+z42+<<]qa8:%k9]k&vE1>62VGYǚHñ^1ޟF^VH:DFijǏy0y~O& ;WK}h;}8 3R0 @lG Sw7s Q 󮘰ŨŸ]0*(>Ps 雗8t2ؘ'?W.iݣ &ѧ*PGyVk$AbF.gM?=j5h) 4!T/}E/#P;Oh81>]Bzjeޭ 6"֫lz`n;_2?=Lz3hE搧@P o'jg-4p$Q3pojs iKm![?;ǡd&NKyWsAzp? 4{YA_S(~|9}uh0I)W++#_/Mdt)=9mWΎPx`/*Ƞ(AA|B:*}Dq ny (> vU$iMIvHG#ŏ:} 4o2Ն^.4`:H.SܬJ:sV4|Z#mj(*"a]U먋}v#_Qm/Eid Zk}Ax&qD nryhz/ 9dƤi|Si("\P˟oWsn9eA߀I6!zrw&`"Lk^@3kP.Ox=z@[6԰*y|  9&ɯV3 dWsM{?xA]ڏc^KIwLk_eEA38DKai}0g֋p\ uނgxV= {sYo4F*ub1bC 1Y_,XU4DIc:^R|BeS݂)XS`M=KO/:Gz4~UKbN7){b[_='gQ'BN"TWZqFNjsq @.P8W5 U#Lj2҅DV; M'$ӱ00놲zRnK}ZӬJ9mq,j88 Oia36d4`&䧀?o݌I^Imbat!ӌB=*䜳vJ,^〱ʪ#"w ]xQAcPNşfUCYx4Md%6lqk?ɑ,Q0u2/s::vB -)j!HFGKEDtd2g^`#fxt1T8OzAz-&i6his{i}9j#Ru䅐 ɵvms)7 *7E!耜'8"|>?ޥ9v}E&4~{/|USF>-QA{AmYR}?9 zT]NZi6uG׽)F.;9oJg~>rJ7$=Aݤ,ߑOq'"7$S:e-LCRIZe xݔX\X='0+CZL1Tf7^|NJ|Xyľ:L6yn1=B gquN&c#䵍)C0_# Bƛ|TTBZj/ؠMȾFB=jEAwSzr|%bt0r<8,TV815[=ӏX Io#ȏS@vYFĒЪ%4&_(uU;ffᏼΡ(xCU7 .-#\]kí@?ahϻ8@DɞG.y Knc(zpB ?OtGyUOdevc*L?[|moŎaNcjeG&c@۹jCgj%9Yn7z#L4SNkG{ě0?i6-iꤋ*ϟ ab *w<P>@o~3ʌ'oEeSTզO`_F{*5]^J>x)C ]>q8NIN% FQf_6q,'#4sM$N<"9 Hf64b糬K'e^t r1e1ikqC}qD `b Mra\ ZSlûrHJPT~P-М|<<"Ҍ`l#v#E02L'}+#T\$@ٚI\ڕ"bTsSc KgK|CjLvGY+2KG:C†Lri8QU0 ̛?%e)F0[^R$74[ct h61*0-̟4qt9޸V&Lp9v"7Fѐiwx݈PɰUgo+֮hߊ=s 8o41B9ZR0]?h?!Rc 9+S wAbDýܦ-ecnpz!7LI2L {]ϒB2(ksvI6`"njL{9QQhQwXIMWdPhX%Z9W8HۯcFciBvf=lRgHCABE^m}NrtUvVT3`xX8B|f<3~RU^cN_QR];k;I+g]^;JN6s|]ELN@i.0e\⛲ˊR x#-O }鉃XYw\|HjvoO6"HNTeKY?%)2bV–E룟wTJjO]hKDWL+w:(c&+Λg.!Jα&=;;Lp%b2ȍzn2~5xqސioxRt6 2 d<6^3_ 縧 lftHSXԹZ9m1N6tb#/>5/|zt]㎰c^t'fݝ7bQӾyhv" ewSl饟Z.DdG"vw4m7[%פXI96oaVBmFAO@KcgH2PJ'J}k /-1Lnգv=_&@>@ue$8ClhxǎMlU5CV9Enu!6;~"hrkj8Lbʹɐ9=\lM3"%!ꍠo Ł},q}5DP".&B|wIɅ[-5%ha-% Bs]GSQQ%htMue;!>͋RQLE(*BOIOmWU?WWM1Frވ^~1a`RL 8Fj1ÕqXU8b'O]\DH2! ƒ+>ep\ .YNNKc3;(PK\8*Gg6>$M8qJ/fխgE,Qo3pݗvkWU G`j]pbz4d$ lG4(F^mCο} yll\{lLbqz>j%N$QҪ!JXB'-#_G8'zG}A@;{ЈO Y<öIߩIS讼<"Meq1)Y[å(^&Xi YR`󶕂a?Jv$+w<wsXbI4߸Ͳ X.][8RںHa69!-D7 SnJr,!uTtŗ5&Km"qF5 O6B,ΟC_ Yyp?YnTVXӌ]K ԥdxB73qN%|u$W#dqv ܿf t7t4O_n̕A`Do rkfQ`c=jC:gɽBNc6yhi=WUW-MM v@HQ (qA[nbk'/di[-Qɮݪ1ڭz۹?@`6cFj;/eq5j}R2c&s/ ~Z)F)N3 ;;φК!2?5sK|7H>I ZgB|/#d'qғMڂEOx$e6r틋%ys  Z 1zPFnsYyk]w9b4EOk wֶnwr=D.@m1g:S_N-KIA'ʦgċi$n8Z\jhf({sG}ʤvtih3{fP\X8yD>&Fu:2U옆wp!i0# ޣxVs\:TU8(fua[ VcW59u>5B'D pA[3TL͵ ]BmC)<[mNjط)I@=DCd!G^vM:„guVWaI.ev!BCGoޖvZ!Z)ʀ͔0y2>ֿe|C2U}IH( 4!()0]xliE' CsTԡ~f|~q`6&׷9ND#}I| (N=]JL1WXN1dY.:X}Ѧ;E\<7ًE4I 'w9@\-ZKL1=C~'ڜ~ljeІFbxݣ*>{9 ۖOޣ[#6v@7ʖ,\fǂbo?dV=">Zmc$6Bripwd8@BJa{ 3::p_7;MG=I e#Zh鑇Ƀvv rrķRg 7/!s# = Y}ITYvLXQAXh ɞS!olw}qn6n |=LuË滺m0s2eݼ\Ҵkx؇s蝥H"I קesK(%a={+7.DrlG56D '˭5seN+>_{'p?֤Zj]+er`tQbL SLyI򱟄8+wBE Oc}pMbMH3mUޑ|Y)8˗tB 9}bvuSb' [蹍R8w֦ҝ/}3'JKXF y˸u&*37#&9dH$ς*/F=0iq)1e)|e+=7!arA󖱔QDޖ|*j5,UL`iBl>|Lrv#* ʆe_!3nL3+;DfMV!$ m߉&TEp;uF5Pw8]Ukğ :^_+j$N0h*-,J((OdU7K#G60c=cE)SƧD!04fZ2y\ 0 I_80>2P uw\yNz6AlPjS5~s1vT0#H|-UF5tCuY Q6{(6\h[n*)P3A`I"b›NYǤ4`&Hǟ>c,0F#"4ְ3IewGLj!pMQ1/%럽s8 ss ҲߧJ,y._3̱vhh SX-Wukr|S5^5h8ȶK!{Q7dƗTۅ9U>4`n`Qh8"B2&Mqòb[11M:c°~ղv+k$Y[GpBHϘKIBojv~c2b\(18sHm*1H;RSh ;mi͠ 벗. 'i؊>PB_+ڱ絹g[[OvOac((xv@P:0s6=d:&^`Ve&Ք06Gh_Լ ^T512Co$*m|[N}@0\wFbUsέoVhHdh1-?MNTSpЂ>a"P/vO 7&Ѥ $|H<Ѯ#3$Ͳ{DcE[4OTiv*9f,J͢0xwb=j+ t{%GYVHfZbfWƤxTx7(ͤM `%gU%L7'qNMCE3tT˙x-:6-˶bbA#na<# _[Ο" jZ9*FqP&ߦm B*_춘ybǒE cYb_T2t;٦E|7`U5$#BPDŽ7bAarC,/kÛWz|6 Zݕ VʧEN&2n)P'`f|#eȬ.4pwT퟿ KxbEdCa@K@X(es T)>{(Q0R%t5Pѡb>k~X͏K pf%H')|}e.Ӵik`ǜ7t! ĚG^(#$@V.z.tYf.$%)R`謁>1_U(=`? "n]|J#2C\wQ1ynrobx&0|bs4{/MOfюԒm%꭬9 5:Nl:Իcxh@N!z֟a&;}Y8qdtR3CfӐ{= o/scsXPvO+3U!V;O WV'@7|':yv'OyB,+R몈h[U 4f Px'E_66A /th+Z~_L5]< bh\}3&\I}~sX{19xyB55 (qrc ":d}j %ROA }fe Pu DըO s&ɨA6}}by&YeC=ٗosGVs"C&!m9N;gW\g3Xi¨P:P{({ ;nkНkEƷ/XACX彫F[\ T([Ʈ&^,g,GPXYhL)a Z55N}uJkK4H06*prJ "o:-`kjnx)bUlv׀ޭP~n^4 =ށϏQ4ÅB U NӲ3 ,ߦ=O* d:)&ʇdEn_ 9LHJm3K<]`4OQ|F:B!!FrК4[yfOO\BT) %6L֏0"pHWBHFUB4V~,8 է앱 nLYRv e'B*(R(cŹGz9-$c`O H̋zZbv7ΰ ?D1wж lP٩'d iVhg Z88%$vWdxp=\.-a&i<\08 +᫉3n&&l?I:)fo !aczzC~9,8/#4=QƵ垽 I3E}4j,)pIJԤ Fj7 5?| ^a:Q`N&Fx-V/SÅ ,!O`6njs`!dby}5_a,I/Jq gkxیi|+p?-MlLih Q' @EܹN Pnvgo Rfz,$V+WA[yRo|xO ^v~ La]B#j?y#;,L*`0*wމ+̺%X+A箺)+TL"}"OA<ۣ1cxq;ZW={p:E 4/hQ@_j`)@@Jat󅮒5Hﲋ5!|JKx̦D1)r=F>v@jHUl+îKtmlt-a1 ~eA Qr;3M.(Q<#eU02(2hrŠ@ NS>fJteؽ(.; _ÂB|sʅr.%ktW`Z|?V xb%>x+(G6ڪ6*򋡋ܫ@靝(f(;.(s(UUT9zvJa@k;T5ƒ' ;r#,d6.!@O[Y\_Uk)$ Era+`dj?&Q6mYVsk.J]iⵏm 7vN :>H?  BVSit%&a^Bl PZ񫿈l gAA:8R̴_ՎLk5LQX /- oQ_.àl*g"O5ـc, LU'S&_rڃI>> j(S3[D#.D0FܟWXY$m+ a ] I_EbDq5(w԰Tcc*r}3tJlJb@1鐟 .v]uCbZ&E9c<!3'Fz2Կfp'P y`SvC$w+eL{K@~K>6bcyxTDaa+W40hT$y,#G 1_f^.ӕgYZ7zXZִF! l]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>w# >Dh$>D`F`:Nd XkK>4G35XC>G ?7a<ҥKKLxswNZ5)40n^ وOc@$zY :Y`lid}R/σn3ll§h<`33Ѕj]ոjv d{ˣʳGͯV{Ω̭;2ޞp[j8{,!"XLgat]u,~,{7 $[=`,,E`J؊.ᆤmtd2=v{ =>[ CsMb鷝UoHcNwHzb.6B K +*7nx3g셢bI<]Y=5?(Ȑ}1޴XuL^g̟},]PgnEo`zdcj1.𡈺c GZ[Mrg 0ߗ%zOO1-;vwwJ"*!Jh9X"64/