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  w=r4lT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=6.902cpu=30.668gc=1.3647zXZִF! ]ŗXiɟH)0%oqPo;R` uojn3yɎSTlVAxm]\ M>g(>GSqɠO0ZL8Ae>JޕZ#71`b pk6{{؇(\$#A D6+J~w ۥՑy hd^ $7Ic[ppKY5g3phd>d6^x\ }H-+"pp '7d]ɂtyN|iߟ Ƈm(sRCi|݌˵VLAvKPPNf_Kԩ};ϱ_Pmh1hڷ[_(ږ6x¶"I`|Qȃ w7/.8"j- ٻMO v{&f\fQZ.ɍӜu["̅ bX/OUPR5n\e+<&0sۇ䢄4Mּk,'gNMjj#OJ(q9 Uw >A&!g/Z&SBvYXb8 NA!FH#%ԕIOG"3Ҽ]i3^fS5OW^vCQhk;ڰM8K'C&,ށuh6;mRl^pbQkC|mAcQb^1hO,eB͠a<6Tsޤ4d{T/fg78>ê1B"ό<_88a|PogTpJCǕcΟ8>|{Gd%IuuecbA!j}!R.[zpjICvV6t l2%`,L@vLM364%'1 DyRfKn^l~)H 8AbCocҍ6x de{(CpBn>WW4%{ːR 4ŃɡQBk25KtQ3#O v tb反9/P3h6N@r\~iٻ_3TmG?M )j q QIaq,Tm%o -HǤ qg/088:SGD3iavT .`?wv4[ɥZ|oHa `y;cߦgf[X.Xm gWVxW~j]snRϺsY2Hd0R <\=?pAȪ\IJƷaǧO֌퉱 ]6gr^=e`Q=u 7&^xYCW2-Hɝ"Q a,}:L$hײw&YTX뚲؈M1]}e>QW9$^ soZQK!2’bya~ 3H7!HL۳lFtZZ@Zѣ'< )q~qe~2KDkzu|@q 䝡fm a!a/t˨Nڱg%A^&yڍxnno`?307MY|Oܒ[w/ -ku=0(H嫦v)ЋZ6he `"?` YR@2B_+N{%%b"0F3!29g%lÆ:vߪw{Bh>*gNL]Mlt30תb |^(H71\6ڲцbEOV-!i3`eR{L#NI,G#Chp^5R]-HIWϲNV\F j)B+B(ظt0tR90(S*?a)J_0"Fe4T&HS&.|p)sE&Y%4>ʡRyA yda}r!MhE4 7lf-fBf5Ĭ>yO& *;/tOzq¯۞ޟL:Ʊ% IO(? OD/98l[IN׳]}HP΂ :Bi1aS~ͫb'Sk7ڷm[dž]KLT1EWD+HLb)TPM{ 2XWA:Q#Իf qzxG5J9FjǶTG) Z+ cx^?JD+jV{vsMB5S:Dw}ƛ@yŽKh hbz לdO3~ 1$o[ "'m5?nCک{c$K Yɽz$ Ā@[ZjgKDoQL ʾ#{ Pm33I’.u㋞g'h7,:EO"0CU6WwlXscԝ)DQy<qL@c=3Dh]H:QW}I6u]>NL,y*fרtΕWZ!3lvk{Qm-= ~res.YD$^8רc-;YGX;I}t޹z[t-+ϕckq.m!x+W;՗VPP6j(#`EݲYz CƇ`NF5u0x_ J`j<_K+w-LT[7e8O7 S8sO^vuD6gmen-g+3\ftSZIcݺחA ]*6bnqϦT׌ܙL~l~'s,ٍ^4T_ljk()4:>e$MS-3/Υf|>tYk'5dm|➦#ᱦjpybq.q;#0z\h0HjS㽌V2.8Beb<^_׹5TR;2Π줅Ta1K  7nM T!*@4V oQoQ{1}K'w.~6e YY[04W_|/f**DpR u\mn*y@iޫie[66`G=ucKF=&br&?ٸ:G{|*`&1aX8r;ۊ?W"ۏ]r'TkLm>d08l̏0P _NrAmI縼ʅQ/-Ic"BCp +( ^zP@@81qʜ&1qo=s7SZ\T]԰q7%quz~,}2RnHÊ, Ө TZa\cp]k-~)ho[WwgPżvo{e[df˗I+FZXXaI ^= ScvwדжUO˪q2a(~qbiBP(λdnE,\|DvXw($+CWNNi~OE.N򘏪~%cVT̳m6ۈGyPXԆby0[ u`}L{K2`W$QWGkntA>z;d}mԜh+6[DM4-p4B&ӗkDD]35®u?H u8Po\LT<؉ӽRMbD0w\\9 J4 fӁ._.?rTFc`ވ M VXF%͖!= }=ƧY QP}ѳj4 e./. pܽlbo2nL굓%_V2knYC9IDq8]b#QvJ"\dYx-̆ߑ9=Buڴ_>Q݌Ls. )@_ΖՀX} ] hM1v*=% @zMS~tUJUxvO8T=i* $ 5Se"o{؅ė傣j@1^k תץ $#3xzFWbN8n&Cj>N}#JsWE'/VZFTZM_!.zsdn]S؇!iDAE"Mͪ *~_j3T 8,HpɎDgE'm~#'du7zEK{)BtMzHUuzE4U`#.V{,azPyXPz7s°tn{vg-#x3VWmhq=@!Fk0ڼ rҀSBzwŐ3$lnxlOã`(q wcMK 17z %".п >>1|ە5&uohhhXwY>?xg ᯪ$ 򣩎kn$}]ݛy$%`R*%@z* -vbE_x ۢK-@ηoe^)Ȇ%%h[vb*z' -!|s{o4Q)-V }c: ѿ'=_!#j% u#"e57ڹdd*&CcocM1.ʞG84%ݹ;,V$wۢjD-IO>pTYD__y):Vtdasl*H)% _LhD-zboOgzBqD rh2'ɿH\6W}gW'a~#Ţ,Uː a^]z1J^MֆmMe~dOK]s}+HubMy>xB LvZ`9|% z)Y獷Ex-Q|?F3X3j>Ѐ`/3qTZ]] ݴŔ뚫oB .ξ2ʿv؝gN^:{Yhlh@2yc]0UڹH\dsdΚIR:UU,IJ3']F)[3 Ώ0ut~GՁ^ ( "+Y5+&Srdw6W? » !n>m6H7Ō-hRH Ԝ B^9Y}=z P}8\;oI(cHTՠA\gx|BeX$^ 6NM5AH05@!.5j]X@FΠػgWGDA+j0|J>%i]Kyk9urS& xbp4u*8@3j\$ 924ǡϰT?9+7dz,w=v`FGђB {26Xޝ䠴+YacD3{{)o%{c?Br$WW0 5=E .@ Ą?sj_WKҝe.9h Y]`džMRu7)QRCaХ =lԲdej?\fč˜zsؑ!l n _T(ukb*u)Yr) SO]j׏ә Dm\тoB aa24UɜtIʮ^jNlCt=LΚ0eq+۶KP+v{S~ *<­Hpk`J4L1CE=qzyZE:ʚ,UDJ>~6Z1O ~'_z{b3}MX&_*an pེ̌eΖ; qvڑ4] vox9?xVl%wb&{bz5]X({z3:?/2FKy&+@r)~9ی w3 l (Egh:-}vi+#8hUm#:J;#u` Y}LsacTgt.YvmM/oaY%M>^P33 |~ަ=8[Wݭw~}\5qv Z8E)-$C#kR$C#Aĸ2+ po쟙Ms8cls}Kvvu7:=yXߌʤ5uǀ yOD&m5v|]( &:,vKrlVxڠD1q`OSKF D+=φl(Ia8oopn)IQ~CrDUʊ+^ZtƖv;o!@C$ˠ*dz}lـdz| M]¤3\'pB4"\Ϟh 6ׄʣZm% kS<sی'dߝK3tޟ2$c=b 1g]SIsIՂ0?#'YqLQ#fH08YŮ-pp4vT)qu76449U>w} ^>rcd1CPÒ/MYyɕÚf_}?M\%`2^&lMמ$ h{Hi ] pFnЦP&ci(5ga{1 ہFT,Ecl>i^h _f (dwd@%:϶+ţ䋞RME 1rbo|PǾєі!:MIv]=3NŠ t8oqNKVyIo@dL i#Nrɾb,Uƺ!zxf' :\ATq ޮR)X㕐|J)/Aue^#=9X/k;5J/ƦKqk}o݁h>ʱ~tC$BooP4ryAhlkimZj~>rA޼ЀE_wW!kKj覆SF].3z9y5(,0 gZ욏ǍV=agRNĬYj6Mڪn1-rrd;?;`҈(3.u`Y=YyUB5Ƽ1GgcÞTq1Vg~"'wnYLwOY60Ǡ*@M ߮IQ`d8/V#虨f2|+&E"@IeA&>K6F,HCIfs{ǽ&|0n2x3 lqic#" s*v9 9}: 3Za51xZg6XΏ'Cw!pxa(zf.zE%c֤no5Ѿ)EG]^YQS o 8"";% muH6#NRAgY˲|US̈w-L󑎱32Uי9 Tpӄ;4 nĜθ^_VL&ƅq6*a'@+!Vt:G_uZlˣCcx ĪH5C=X9Գغ {ĉq| ?8-{!РMn>◫cV{d'ГPg )?"_m=DXBzSJ~/ )~P!S3еMI+T}x ûU^Ւ~>z֝ȜM"y̳vbb_ Yd<±cm*QVtss[1,4בZ#_Y@\fDcHv{cοd m++-% +Td2QUJ jv{ {eTH#^/qkOMc_,>X→ otb;W8D=:y,:c( cq K_f7u.cB(idž^V7(v?9mpPoF 5zޜ шCuX1A=9`m-.u^{ udZ^tϪ!/ZrZ3o=)l%,7טKOHN< R[0?X/IZ6)E1:7;#7}Iنb;raoPY0eў;C >%%)( >=D ~O<::fF%a';w=%9Wx;~`[|-un6ލ>ŠY͝{=ckki&LOt yHj$\~1~t HB`"2 Î6~VF!==rzO,K$p~%u f-(T!huD7w=7ϓ-w,rTofIȽzn~}X7D|Ѡp<%X67pܢOPoٛ?e.GϊnK #2p7gAw&L@7wv4CS] &V"XQg? /n .u4$€ή:3E[~>47zՍEnAs i?sUۼL'e^܄HLH=(l1~eROΧ{} tIp=^`fe{`IςIf SY(#H4 Q53xP .ziv(%(;! U0ʧqqF8 >^Hqk+FYCj˟;,;%sL:KFRjn,4Ѿ+1jY~+0K $waylk`@^uj9@*&YZZ5]kj AֆMs@k,ju0ɾcHu8ʹ8O} x, f@m'N|(ŏ!؆Qãkђ!A/>‹0AZ ^<.cĸ H$]?>){/D`5q]?Zuݞ.ϋM氰 `겕 ͓bJ.ͤ2p5p\޽h~6;070 qx[%&d>k 4"[~RdyGQ)y_Ixr\J;|߁`kWq~ @b 4ׯnpI%0x!5#lAQC "d&'tՄ9j{LJqfT53ujhV!"@=210^4͈gKKt1T0)I3ւ~9Pl lGL3[`($(݌f.GER]CYóg^fG{-}Tښ:&!*E ̍xUN"րѸ 8 馈'g-GHxNnEZbAL~ɷm_I}m,!\˃Fjy$ Ư} NɘJDYJn=[ &"U)Yc)>U딋4r t /mQvO1vEgE:(kv]F0'ƐmT=IK6_mUV/'N4qe*OJ}4p77kN= ]d׻,>HjzbqX4K}rn-rxNJ$quUIANY0jCJz+^|Й3ͼqz7d#oD9ђ$k@u4G[OСqj<=^'*f avFd/Ţ5>|;yOu1zcYT@Ѱ.fz2֨DzpΟ"~Mnb%?O,w̑ hBXIf5`y)$|s#1!'-h+~̪ww4% In BF9nzӇ0nG39Vr9m*%`]<]ûآ.WxͨM.n$r+3xA QJ碸Wݣ -dޟ9m[[iVJޤ:Q6{g_0[0ewu&j1"c o{%.Y/B3=I=!og&3RT{"uFEt+FƋfFܶ#͞fԌheCſTmT7qRO0Gٱ󠳴9`tb][Ї?Rz߅+e\g:'aOQbؙW ›LHLN{,9p3O@NA?iκ*r g|&|U#V#¬QeѨ,Js@[Z5'U3]wNO;hCXpQ^Lͬ)j;˴adfa]mY/|78P09z$CG|*,bQ1Ur<iT}P<ΣW?n0^&sKf`i-Epdb4GB8:Θs Ut~ J!I-Gam?ibr'_Kn/nDadHL*o.sFbǛ-uҌڶJdžhiY56s#wGz"L ~uL=iI)u*Ye<76N!Ӕ_f;p?-n.'a̺!/ЯZ̄BLl7C * o<,0(2dlE} \1Lo4XOE9>7n7;|uu~a[.-Lnb/c$X{7q>PtIIuu j*E 6w9 F+~u{4ˊ7o3HPYҒ^ b>9=^ nT\Zo]<_oًA|{ H 1 :o/ j/[!>]Aw كFx=)t#^ s[#a0tWlR_^rIz{ yr? Kt61p]9"N\g8#O~&&`*B;c\˝Rw>~b9}µB"-OJxUC5~!+e-bP4Sv1$sVÈFLTxe0Sm"aKumeX)p}7_|𵟧vK*I;kJl8Yvi{bxߐ4e _+_6Eh%ETY׸^=\7ն >|Bs7 YɵClM?],LϖBѠ aJw) 7IY(,$0@t ڀBkL,͜ Rvyej7=OO)m eJ̌eKID%c35s w4 5.!ڳJKm$6Aci 4K#l+NuA 8hO3+4!VUqNV)rjyl⏯sPѸa9˖'O  QM%bq"' ng07ODQ9ƒFg  Koϳ׈^ E` -$9ǾI(#ϑFqfjus۷-gϚ| ;kP(=C,sn&uȳ@ۮ-f9_¹QfK( *0duḏ4Qn_Aj^(Td'1W2\T W :Z^˙pɴ3,$*(10qx(g rTfZl'a7ߖ>RliLHw&Nc{ Z YT֊>~@/.YO'Bqy4suJu~*/#gPxK5x| k̤nC̺XdU[/Ɨh[Az SmYF 9e RtvfҒAzn?Ա J̾gXH2IPd֩Rٷ$<Ё|J3IoM& $Oo]}1}I%Cj`%2uoP[t6B㠸{]-  폥a:!ve8䀙>,c^%czR~$2VVh,EMF<J7h!_p@=s?vnO4WZpyyIQB>,٣1CF39?j-(UcQ!a?%ʺ M%}N2\9@_`prJXMxg:ڡn_}nNe캺VL]o^7)* KL [q9+ %T1$K(>"E7##-8g5Ľ<8Ґaި44G?n5/z`5ucbWT8 9b6i?YԪSgbHc !ӶNp`m|Mv|3 H'Qvhny(z)EB|fK9۞]k~D+ MEFFs%U*awkҒ.A'1 WwP]{v94O @+X deklxo^B8jVtԵլȣf\l>~r5=F=!erSݻ/Xr0GD)CI ѶY?_/j֎{, 8;`*x-VPخX؁؎R:-=11pN'Qݔz[qKH ~y^˅5p|KQm*\mۯdS p:%돬),Tmooe9LLvԚ tdy\,uEw IVK"6;ߩR)F XzA|%1'>(^=i E%<12agdWND =RN5XZFdYƛ5B<w eҺ >94uz C?5[il(Gj3eٲ Ԁ;m;<mVm[-Y!5!GP ~E`a5Dʗ]!ᴈ᠑ztan* gMidubI3~)/r;b vr+agPPb2xzHs 1G@!( Nybm&KSY}P;@9X=ɼ_1`^f!eCr='6vċy%ljhLu}V3-o7:r֣eT|3dzx@{Д5!Fr(p"7dR$ ?aMD$F&1!(,q 'OzV޹^d [XE<^οeY;>kE!XMsh|9Bc.e+S/T+m,Ũb_|TStĭ6`I"2JBKqк0 q=|X\O:G66O] #>9(Yi.NQϓQȘ&vYVvS4= [sfwno$şPW5LBaM9kZ*r#Ky"9L"495UkS)`|]f A D‚wM^O\r_͞dxY3m'GJμ}ӋOOpl7ϸ) # t vHj2Lu /'4 >4r8 u] gpy}Rq+M /Q*#H)AGIX]R_Ok؅ZsMtwՆ g O/scն 9I$jcXy^6NòA#7 TPgҜ9iԪRl5i |&|7D-2^7v$6; b>&*)Bw:v4TuE:$|6!V߬)Y̗H?b`nڿb#i`:1#p@ ;Dsʶet#kyڨvr%[ROl#ve6.;V jirXw!`J,muUՈ:.-C'ywlZ`#2@H= _Ō|rkEP_z'OA9p Qs((i?XW47&1Q͸*x52!޳yu a_؀Wղy(ۚ[:~.1ŲBoU"{rr\^" ifb 1pF(XikѝzI554tj.$C֪NEO|h0Mh=R@Nj:h~އ0iь;ř\\zyt@@XVl?ϾrzKuiJCj2[RD-xu9(;2q%EHHZ-aŚwvor¢{eA &eO_XQ`М(>@+ nU&5ZKV3 \A]m,V/ؚcR(*=xH%֚~oqw,']m[ψܙc*>3OQ7`;h #CMfnxtU1z C,/c)Rw9U1t"M9֧3b'8XNe3ۖϒgRI@X+U dW[}@:Aۦ O J)HG=lJE8pϨL v"CI;|bH|J(8uAmw8g(nDySCVhx"Tk m!`_r`ii& "hW=6fpM?j"6g2rVW/57R3 nrL&ҋ\'p@;C+E Hv"d ϥRv=yJ2pn: QqTvx~N͹޸1KkvN^zO>}FT+]N>gi}۪Ԥ5Xd*!_>8.Ow~qlo i&STT&FKwX'GL+Ɖ׭&hqLK/]zc!kxAl@׏{G\ xýb5ck@/~Iqun<1Б(?d)VaF=XW1DT$ :J$h i<}ftAnpU{+l]4 %LF y 59yiY`z=c[o0̀OXcɌUNb`k3c6 @u-Wm/u. U6C85v[ ,3FoEa72.]Kû /tB/Lc^( +Dn8_3§Rd~P| v)Zʊ3LP󦗅WUtͷGT$_Yޏ', :J5-HfVӑ2Zm &Pp D,+SP&D1{&dx[_5| T %xzhNE ?C }׫](+ӎ`u+|\l CV }uoq$veE~zgp4Olrd]  Ffљ`/sE>ܼgI9z.B=P꽻a=,P9/"77&Z0LͣXX)R |{TnLo=RWiIz4c eOǬ;[YyR򙢂=;l&˜8֩T$\cԮʹ^ cr#_3;=~hS~ 36n}g_Gʭ$ozޚ#O]3a! c"xpngYgQ1oQ,>?TV+\ CKfJ9@kg2u"}$DF̖lH z" E#ZS٨l'=WZspb i (ȴ,Z`"+v1Dhphs԰Z0tWݥ=1k;$X<=ҾiG5KIlN@B69F;M)=`E@e7'@YǨfCê%,}A:T_~0 19ϙ:m498WSsL:!-SkGQRK\UL |0 1F5֣ٳbwvUG2כr>@YL\2>9Fe#,$Ё)X+bN< }tu責 Ru`/tl. #*;Tjk Li z@(Xtr#,(tW"ànkn"D3~jua?PMjq'ПOw ړ8?vP'%h`!?)_F.`PrA֡XC\ a%Ծ Qin81F-I&cKp> /yҡhr$Q}3敻0Y=u0,PPP2nʕ.n\1v l]Uo:\EPNX֍;^q}ҤY~44K>B\>lc}X :V*պSL *h8#PSۤaMЖO)9gVcl|w_ _9=<0$AԮR> ʩMdH_5Ԟ|ZjKU~"! Z0?0^op2vQS. C;!JcXE+W"er>x&t4RKUCa yT0qRE]}=?VbȴV8t4MIHC!)l;RND`"t?|ӂFovv7c9]RT ȃ7u)=³7A`z^К[Wgʧ!sf$z E@(3_o1 r=?-zgf@NK ptEހf~ +FS[+SU4fVe ־"(ٶFϧ,?Hb>qs x C20:Nb6Hf#S床hɽs=Q\u+ npIa(mb5.+l;'Ō<ZD T{A~gcMg_NUԖW-[6sG/oL9&`kfadЅO^״o?l/B544G%{2Q1J^?Zp,$Sn@D4hFp3=jvn.uwmΡ^~})tJHl[(۶~H]2A+":0m1}%W{mf\sUZ6@/۟QMM`b#9 ({TȁngGu۱ĸnqaV2:oz~x_hen&!J{%G%@Aܕsm p 1jZ@zeh8L%tjjseJ">%">: |mJhik~)6N)`@.bSVzE)u@†UܑjJf*}UL#)NSΆ8y#7%!ꃅχT+F0 撔B{V4?@*}urSRFb}*ZF q\s7_Gs_>eŸXM+h'-}`Ŧ}exI"p'4:f!5yVv Ƣ\,S4nto1Hׂm)0IJmHU ? ]P%}e8. eoN1-xv;wIr*JZ3R&xTea&R](Ϩneē~VUQfr5cɲPEw|oL ]V=JGy:{3 Elz>uMg RAbr`I0j2i&+M_8e]\R{kbᗚΪ^ %JOx( [ {ͷ1WNO{{ 'BcޢLwF̅o)?{jlvr XVA:S)o +.{Gdn8Ra|Żyg+0 4cL#uxiOw,U-*#T{M]abyϧ HX{6nV,rs뚵GIg,iMNi?0@%@%]l Ȋ}6L qҫHՄ~ @ܦɾ" Z8?JrǰˍoKcB\sQWDl3_ѩ5t _Udž{/twS%CUʪv{>..ο~?gMwb2@=6xm#f+0+ĩܓ!)`?1>a =Q[i‰[pQ"-O^joϫhKaq &<Q|ocsΆls'p)t.ſtOid`rko hQɷ F4]#:Sܟ'.H>, `2q1iUE7ynu.JB,8m c i- e 2e8-Isk ~# DT`|s󧣾BdRN>É +__C=Y?L1hD&}, t">_VpJ BaPY7_Oa@O%bu" u]ph<Y!iD il.DD خH@]}q=rYǘ%ޘD"J,tl,i-||.O#j&hбEMDj gGJP~ ^K}(هyFB~9!}9kOB+;3<],<^k[N)0$}YÞѴ m)1?FuwXL?IP # ^9X(,g>b| j&*g&W[}gddq&`A3"ioHd;O@Ir&ʢN})\gŐg7ѯl ]vaqC)_{H>J-f@{&VX84]sUijO ԵE3-]PiD3LDpivKI`TrfVeg*N;gDKpY G]*; Dc47{vDȣ;߻k7EN!o yua`HO2,LeZ/d>>jyѫatL^}QS$蓁2_̟ڪ&IETwO?Oê"N1LE("L4yNX B<:\%9f.?7V^@BQs:*2s6~JM+!ƈ^$ͳ8|e59J((;k]yĥ @ՄZţ{$*=a#ǑIj0ncKiY^̓ -Dߕ&fXʞ/ #O"%*hǥy O2Tc4 KDՕXM &R \@uʷ6Q(ICAbU3XH<[WܫI9Qv ;u)`X>:BVhZr29 >j9rRK(NjaYL@?=H'W:D*pa_&4 ?Kt, Dm)-$h:݆^֎it|ԸAJ.G9!i[}v3hE?n=l`,va4'E$9n'qqjE(Z&B8VsąkOy\85 ݨ^eje~Ӿ,) 74n! U~ "Oeb$r&AN)Z<;CP a}-d7o_@Y/>8ޔy6[ TczA𺖡Epu-Ve'#d ϝ6n9WZǦ=a] CM 'OxU= ) MvG5qj3zުq˔eXXf*gp.P/ ;K#*Dr?k7`tyb%24\ yb}2i 9n?QVXZՀ\7; *)(ݙ+Wҋw$c \wFn'Q+^- Ol ;e;U}񃅢{̆0F@|[NtW/"uxwήq͕ǎy66ߘP5%H@5vna>8 y "* f9]CFxTe]_>-|]V@Ƴ4VXyPL׃aOHVM%}Cv8줆J-]RN 5ثD`۫3}Hϑu5AG7 MlHAEڠm\J+ֿhi\j`T;M%|Y 1Ts]i{`I"6ѦAؘkӦB֒XdW= EsxG٢>:YZy]9C`Ft皷t 1hT޺Vci=a;a; #0 #=I[ZkM<W Pi") |/'j}4"z归gt $ 6/D2/p-)OǼ>֋-d{՚].|tkY3^'BcP} umFZx&*~pYߏpOA{RbeÔQK.}.@[UkD=o[LNq\@maaoh兹~;\`>_LC9㥄 ȨBas"`4?)^:%&+VqCkDI|jwFU J3/ܐi Gz\ ׃jF~[C{+as(@foad5BQf9n1Ɲ7莄 b{!҉iy6gAyDtU"ĸcy.`ц3lBĹn7{dU-]NYXqߔOǬ vRe{ӵ3&FI;$x ٸBĨ5&TXJm+P %PUb@wg剧9O6GLw@h-m* d]P}}=iI$ux;%t5e2p䎷ZjbR)Yֿ1 YܭQ%ͣRp*2=ݹqd`vcH7&b#ܹ\rD퀞 eS_t1UGMm"|É3( X5(m{ ;X APθ^-"1-Rc"Ao]ivSM+wCf<-84 "Y@+)`6tL#'[O4D7v7;TeD=ZKXe%, `DK[d'Yf FI!hߞgKPވZ `Fa|O9dC_xV&CFYFT.l$ϑ4C.;B \->o'"=&#-hO@(3Bqw䕠DD)Z`훓!3{j=ZK)Q"gb|DqD/GeU %Nht) `Bj+q$nԐKV6Ւ,^:%rg#/^PC~n R0>]KgN(_ `~}n4C~,VY'S1% (d2fi?o"Bܖ iOXH}.K*?hxا%SiQl$9P;:QCrt|6)ZA<:^9@qn9ŊQ{g?WfG{ t>Sdz>~ 8Sy@{SV^ $2'9ԭU9ru\py#HKb-1l o|O{~ZIݒõi8MK_V!z>ļa'Pd۞Ky enfǒ7 J!P'MG\*KƯV(JU~3NδqB@p7M׿bb^X*pEs0nΞ\֌c m)l,EAfjTBϘ"a]r˹_ i1.B sKj`}ool#a2dKEM쉘ӡ`ӿUogW& 1.r s)Y 0"M;@$uȳ)59I=D2WXFyS貏Bн:>O8Cɬex#޹}5TwKv_"Yo! S8SenG8={Sۧ*Mݱj]n|F'gumӹ"tG>ܺxAUxXAǜN(wfH0!heknџbohá15>u9 ?: {w|: =} |BrkYzpˑѕ GAآ9Ҕcljp>uM3fb?Kz`#ObP[-dW&섁O`VBꙴ CUR,p2an mFycwx5a(s߱xR6G %pn@c[3G.B嵎E}<X(% J[ 볓TϚ-1 ?S9{vRҌyAh9sJp\KIϦ%f`<~ݍ{D,!5N5I/ 4؍Nhɵ'1~h꽺𲾗]6r`oMuD<%6ȟoN8ogVKvduvE!"Y1 { ߹9+6+;"9t[κLl52:SrJ'MkiƷȄwX1fi{82CT9Kr nk#͙MnEBK|Dފ@A" .vQ=ҩtG{X%@?ȝ/R#ؓy&N+KN\Ph$e2_m')Lr]ٴSqXjh4dr5|]*dAQҳU0@Ӱ1PxepwzgDb$wUU=&SG\$j?icI7Ӝ_ʱ۽ %p+bKijïJ-7+3.q[rrk_yn=],sqy fGE,4}*j;^> N;d99R(shbꫤ9f{M k?9`suK}ykH-X/,Z!Դ2G{Pj,/Q?1UNEqA؟GȘ1GJjp{9}l=/8Iur,r cb(D`:ĪO P(8I/u?euq' $1(em6 ?%mMp1nNda}֝ PS,xc% j0ǩ w^E&Zvks= ģQ ~ z;<Ų(/[6J-1=9MW~ryeg<>I8.jx;UʐZIɹ Ǡm%n_8O ɷF >J߾/[+b:kb @jʈگM /\C{`4zvMJF`MC XAۮ $ >.tyt6n. kz$%KVÍYB̞h&i/\@Vu8Zߌ deIIR8Pn#UwpT`0竒:=;8yRfg =3^iD4[m^hf2%âJ\Oci?gDzs"rX_av&$ w|eSWD:HP L7, 3Sh+H);ɋX5`ꜗ3v]Yc9Mp (CkYwV] kb#wx3nꊽ \ CS`Uޑc3dZUY1>0Om¼܊]q?R'j[`ᙵqxõTP[KRfhX89r.+zd@e L"T8$nr_x\>۫~!V]^KmJ~q`d CL{-EA6|ͦ+ߞk ,"_{ҜLg2y@kYsRVrq̊%E3tbdAntƞ[TPd/"'6Q7T?ALtwLZOc:y$DKKjvD66iK1{@!E^-3h5+2;sC5:FAQgx ӲOUS*L|_kT` +f8Ȯ;ͬV)p%TZ\LPTj7S$AqiVvÕ(r`gD 'tM !Ycָ⏠{[nFT'(DeL])hrU=)6fT徿K@6UVQ0g|c,̝{ma4CB7=Rn)Hłi#0LXP40 \^pPRKP5kWKޡ '/cr_{cfɝW*bdTш̣ߜY*KF\>r &Ýa$n& '&NᲳSB2>bXhzWǯ2O|PF"jjoZvKO֊LiDb_0]\i0pm"%g~L7!*=u-XI# #?zqA􃳢; mt?B׾ڴ#r=/@K̵~-Zm_ xH 94Օ R.O-]=՛-{^yx $rwι܍*_=Uy ~ѾdVԏWW0̔JVpG+C.yi܊zUEi[D} 馮{4Ψ򐰸Y[`ލF~S:8(rYu}z/c~Zvw7OU8Z]bgc"sNpi>>ю]dގ8J! {=hg , GIDK)BZ,=>?1زA9LSa _k]H%uZx{)s$!}v}ܗ~PC:8.(''l6Zn{ޢrU8;R 9"t@!LTheC:#&Dm5c,6WJ/Xu1 Ъ@B^vN BKvRU֨X{ŒO_^Hs&|`71[ ᣢoPrV+ ; ;UW!4}ZZިJ DzqĎD"a&Z7#2^FCbd5IfjG|{d{=D'k}(R4L[7xBb Z4s&;u=&||S_,/| 'u\dcD */`J(.|L>c 9ƌsSls"aord7rDU,l P`!ћ )8X76rZch:SaXzܩNgb`*尙7;cnQלzP1⺰ eğk[4iƺbPHiVTzVLd%1߻ \cB7OUnc?I1Rz$Ba /9!Ɂz8rI&5 X{T7|$,McM^@ FoV8 RŠ޵,?%^LX<엨v?7߿ykؒQlU#:*l㚢1_Jh~ߣٗh]6CHoܘqLwv<oa[D)7 6ru $}&sW#/P@zxϜ&zUԢI kZYeQԼ^F~eQTZMw!>>%l8L4[uG8h {ߞ:B}~փ Ux'$g:2h:/`/03B1/,P-,>0~`XE #[br۪q=c~J8G] Z> tA1ِS3 whpn.tQaTP'Goa WG@83e>AƧFc* >RF3~ +։ 3ϼ HNr; V~ʁ}N{ྋ 5zDM32ĺY, .ΐ:XJPfnnjI^NF؉vUxi/b6d܃u)=RIMH Z]v|[m [M^m z3Ǯ5m)-tże<*_ݙ/.imsh,+,aQPӐH%jIcށ'4Zձm`h);'1;7B:@_%B* `*a_5RQ >&,g+M֩ 7jv1OxS–qsu4<aVEjC%&\{y|r3\]@1 *a(Zmٿ_3 GrVyȒrobbX-Ӗ8[g2ybUA7qLTnh>ʭA@˃ʋ=!CX0!ꯘ:i>ƨۧ4ūx ,(ǘ[4u4?ݲ =}m'ZȲ[G*WK!J,jf*bO[ 3܎Q7J2i6cHEbn+gh]8r5ZU%WM]|gp?v|T>*)?US9`; XĖ(mŽ$a3ѫY-GIVnVQMu!`U (7\/N-fEq:!Ɲݦ/=t64`O<2J)~4 c'j4aF[aY;кԅΫf,53wh\X{7s+ (8{vcWI=akCYnJmr UQl%gZF~quL@>nym3fw>S)aMbW'6n+JvbN6:O^d @Y?\:쒦JSeBwbAq#R=ۧ;Mkɩ۽klo`#{=ExIkGnYī XH_qLŻpg/ ?e]aE7fCZAgO=55QB }x~%?W{v>{tM krY-piKT!Gqۑ< y3 qƘ*0kQR1i'WtFE+xCl ۬מIHyT/P%Y.KF ٹbͯ*7&S:-QG&.N$Gz5wӇ:tO2NzEмn]TC֑e7$G1.7 =*@SR{&I"wM( .YGwqwu.>*7BYPlqCɟ؆F{"gyg>yBh cb$`Q[#Y qyU,tw !~zw65uu"Pl^Fd7oܻښXMfhiB^؟Zxs'6C Dj) rM1tsq@=وU0 L> FGUC.)b7EP!l"OvRtZBg>z}nelIg@F9Χ[Zҁ`G9_3؅#ݪM9ť mLtoisC{4- qY_vQ[KV"]3/I(q,xcpj!}Xby‡/y,9JU3 LYH@^˅ڵП]|ɸ[ HKDDZ1!&. X U{h>hq(<$H&-MU֕0m. U ܁t6u!FO"h qP}5d8ڸj\dž eU"z|>*|ǧ@idy8䗛UN˄3VYSuYz~~EDM]br\Ns4 xWUMm W@I%tS9({@z5sXZEhG1Mwbfv֏_CNH+S!ӷK^h C"@~Ut [t3ًwЛHn+nDg1W RS$71'h4h+iP#︎E`oŊ`[y{\q/xWPޖ 4 r0pԷIa}p͔{g@(M6mfy;p3s7yL5/n1J;*ׄ '?\1+8A6Η6<}{4 2D "DUNsUxvSPqllʶiȞDR(#L.szA(OdTE,a/R 5AgJZL-3f2IhQ'cL/Vrò!/"roDk&o N={\(kL]r"?D㸣R#f:Ltq)p'D𮺞0ӠQ2?W>| 6XjT8n+J`gL ># fwTKI@5l*X$mĪx6uXP%p&M2g)<YsN)v;ST c>{<`eYcdVRB,J M-_Q_=)͋XTߖqӝ(XF'[.Ny] Ŕ5P4!X_^麝HDHE_EIMꋠ$˕~kMX}-Da!A )7A<_'dOqܒ%v_8c &!858=cLF4Kxsu*K3mrTA#rpՊю&AbRbDkǓ4fZiep3zE u(զӗƎ+yȉ{ [Ekn (ujϫ}~ؤ9fT'b+ο\Jt^[?4wZgČJ~l#5ut޽ӓr {~;ƹOVՀ[uL[޴a*4j.OƘ(ֈ ڌZ _Os` P-3Υ67Y\/LxHp%PŒ.D>^˪/p9X܂W`2uT(0j4BpHi¤gY# n&]ϐ*vycBN/>d\ mol [Q# Lc${lAQ1b, :35ߖЋݛEPˢd\xNI!k-fLYPn#&sM|Qr;aH#_{t.t'lWXdaI}>F%3>;Xu1>`ە a(mޟZK- !_>㏺_$:CroH>If e C16$e-XPs'TZ7v8mI4UxѣV^ywJ9/&Ft]Ы"qm$}*)eU['y/]3h0e-fI_X =#U[/~7nx .4!\-6in-₭)8Ul<6>@8ќ2G3Gsw}p BL\igӰpA[aq͞}Y)]mϸ[2NmV@w%f\[h#n.bDu)K4d"qԠpX 2J܄۴O"2_-wN.M9/rO"iUgoHhU רA~kƶ鮬.»TjӵMjIƘ /' ]  %1aUQ*EKiEbHT}YT|{wq0in,#)ChMLl0EaJZxS/((ޫ $kpɫޟ\9Hژj!Ӂ7Q~1nԡ /Ub,Ƞߌ+ n!GjD)yaRFd6g)l!zgv)f*O u EQL$NTP>AJ\kr[mRKv9X_dqѹ]M4%/E?Ǩap$n2ᰐX>boMD\'!2ki_Nz\a"Eu{4 xya6x#T_A^lE* 1ܱHOk}ݔ=tcyYָ.+(w|a7Ny`wj+Qޞ+"oa@*FQIƛT>]Ҁqng|5qXSv[3BXp$AF)ЛG-OQξ^LbO4iRQD#jD1綇|֫0 j\%Ю8AځU>I#e1;P3,n!O|TVUse@qOVݯJ2#~x98:Rlb/Aݰ|CLϏrȴX0?rw &~?n9u&R?1 Թ16)7]W2ߨ„Rr={s:sXs^-ʸC;4oeA v ,p8v;dxG 趓 &44U8u!:Xa.?" 规b \XzTo89Xj%fb(Uu-X1hRFK뙘h$ ~g{רNLQ^/eP ޗ`Dix{e5-9gR%SXTyrdR2rQP1;o ;pI7FgaՌ/6/xC4n|;?}e7W(!9W6TR- M).?#[>!]4CRN^ǧ =0ǡJXVU;+l1 Rg^]$+a+`=؉ ܾ4]dRQn3d7a+JBM i<F'XĮ1Gbp]-P7] CBBpx|Ζh6lU46Mp;BU>K#A>?5E!p7 *%MKL 9PXЂ12ď ]);#,tqEM;ܠ5FB^Oy>!T0ŮKID{a$CG՞YA^:G+Y|]°/V,K;:cD9%dg%V5~b(ep.RwcQ8^*<߲|;5nn ٫8sYږ'ڹګJZevȟBZl3Ѻ0ZSG^jȯ[WB}|ku\ Խ퉮:*e&}mҒ֝1iJZ,~w ( &gx1=¼Sߔ/~ zLIiq87ȍ8sM5-oZxܲ S˖\+!a3,ٵs#p~DfD6ڎcL!^: ֩7b-`7`d[kǍ?;)ATѿP6(D5`[ brcov*#Jy,ƨP4}oԦ*Rc.`2c3R YB7nnFPlu(Y'5 9'"߭- a+gO7sq]_@WK:lC܅&db+f|HDF5dUVK|L:.@NXkSV3e%M= z ÁL:H؂\` ҿ~Ub%7ם #񫬮eSOfWSͪC\Mn:V'PоꄤU\z}]C5Z\_cُxʹujHH\|'&uR8.MQ".W|ke?)JxZ՘zch@UC{.(w{&j2kfX|-}{Zܻ!)DbSWQ&V'KW`k OͫV\:Ng/>|eh526h=|:3HaA٨Cq*n#\Wd نn?ӧΜŏ%tĿnF٭/@4iӾ^Y v|}gV96Tz%RH ',Ɵr-~!u7[5cTy lG8D5Y*uVʼnbcQS`Y{n#؅u7C+lBpꐓW%>5@֑&q "urc^88 cWmʗ{zsn~ Dc$GbZ2d淬mԠ #W`5MmPkQ{7# 0 e_& 暫 =;{Tfs|^ t{%鷪R[ZKӿS ~'eqrmUhfʹ=?C`*UcX ME3xL d\hzEԪVTIh}ϻ7VLRo:x5DV+YRd9k%Jow4H§"A|BAw b\[Sy_<ᾏw ]~Px nvd Ҍ4Uk.egYZ7zXZִF! m]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>[O`JVEqfV]v=;ο1,C( d33{#W lٵ)2?NgR=Ack>K򞑣-rJ|d֥#7e^C*&\ CozRrV cCل\6a+v@E3Kt n |on ]#/ڞM'.ALjИUkmr]\HN) fʐNNxWxֽZH [  3s1{D ;lJ΅{e 'gYZ7zXZִF! "1b]ŗXi%L&ʼFUk[T0b~]WْZ=ʼBy<QT ==\LĘud{2fFK>:$xQ|EC6@u͎SkxJZX riQ6,H*$i!M˝D]L JC둊.{"B9K!!bJ.µ.v~Qd<&3cm,!ÞDdVjxI 3aTZ눺ZɂRG!ͱ+JJ(npc7c,E$IJ5BKbvmI210~uBv ,J8J_"^(q.)4g]}g:DŹHD5%ʼn2 spLfO3Va\pR/cy@LQ&A|f(>Xʮ>tO!l!UEkn- ү׫3p(EZ]g a痠-U6ޛ/qYo9s٩ِ9ɅHZ[Ef<$g.Ƈ@!e8@Ix/x{,bfCھnEyqʝc PpɲmZwZyPSԱAoq  }V~W-Rp>"h*Lխ. ʀU^HZzآϊ^k&/`ȎsN(?itIR`^<ɠdMiIW5^[ U Yxu9d_n6pK"/+0o@:FC z>Wy+Z>|1,,(l0=%Gw5ھ8s-~[&rRn,3R4BRԐ^C ol%+w6U+d+G;*((ScnZΪy6]fMI d` GYƟkץ;1cJhV FIm"J0TڐLִ`"81DxDUgYZ6786e98f5e908e58a8720386674fff6b7067b8a8b883a48d9fa3f48a786f69b365d44319b1384898 63e31ad1910c4b6b20266b2e8ac7f3c4064fb790 a46aeab6b5e439fd082aa1f70e7b3f1b5c0ab3b3 0fce940fc8846bdca0bbfefde21d9122613ab9b500bcfc58dd46d083dd856e94f71b583d203b9dd1