SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 X!llL ]]]HOL-Proofs:threads=6elapsed=650.036cpu=1547.312gc=259.436factor=2.387zXZִF! p]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^};>< օgN?G J>P.m@[6<ãcJo:4ګ],7 ϖrd (y}Ґ-sI% {ڢB43 ѢRbѵ@fû3v7o.~w'o]q6Cm[z|ÁX*Rtqe5-ĸ`.^mp5\.ҐUʝ˟7hs3C]TqqG0ssZ)V~Y8<҈BNP6zmVdc!W 1px6N= 2 [&-2EGRSI厏%M50b1:p}U|qox-=eR~ae9,Hz9R5 '=ķ;IBR՞btW_Qa_QfU /.8/7jr 4]LPK_{ "<Ҟ%jjV-v1yTnfY82zg>$o4M=5KxckqO>o!#i΋uӦZn@z{oQ66xqlj =adkY*sT0gHT8Nا'q`F5OE%, 9%^mnz0Xph*<\e\ #?m`zYpOk@ Z7qWq3GW{?lz苊ٻʨHS$;IIǐRh >U FEsJ+ˆS<*ЕR=)ԛL=I.fC(&Aɑ;JDVTWNHd_EK]srijղ:1~2ukݭ(t9д5qqq+K>GdxB͞dgtw%Fvx'I*a+FԍwD0x1{_|,o1ܛW|m>v#!=?fOiF9r 5v[BzV*D;7K*:Q~"8g˄ 1߬ r7#Z`>Td_wu@p^y&~rYqf|׀fbV4, BLi_]6 ie@J1)Gf0Z%:觐X?o~"lmV <7W=/\ yU8.]A5kf ZpmɎ*QvS$w CW84۴lZa 3èڣ|K"ž@DZߛRsÊLGq$MTnIfoQmbqJt~{O8}1K4MCVȪUz d|Sj$: A|Ԙd6@LIɪE}I4=wanej.BWʤ_: G9H:d}~OB95jmi~]k,:7'yP,jТBjf<ռu= w-]lM/h ͨ;F`ԧ T73ީv]kP+~e C- sYܦ|)n(n-[l#)ܠI~rDta@j8[xʾ  ׉.L-(1H,33y3J:6˒:L.9M@?\Ӫ%fӯWrh ,'ILή\Py܁VN`u^(!_TaQh wu/\9\ոTD 1KG8vqud)/< ~`?9+Qp=!X$r7'+#*.n "G:rΘ#]nӱ$\$:ޢw&WŢ~huɖox{kkx :ɯHpV N@$&!kZ=L-]q:dow>Gaobzn&I yU@o )bH dJdD i]3UƁ_s紪M[1.zHu?x J@ۼ걙R2^-w*h>i5ʏ4ܯ7\ӽj$(F׉rIT7'hě{2ɧ [cr˟CCz?LL_&ʜMVŜۧmshFʅPs4l#̳P"ĚPJ- 9Ģv/,7|Ԟ$.4f~>IrT0*u, ivq 6>0=8ẝ@H# K$"@Pg Qr]fv7|QE;1OtkDF~y';hBE7h;m# |~fʠQ &eWX[Q!ݸ- wn3r3׹f3w|AZ֔mIF.IxضWј Aj V^$ÿtSU_)qD__,ha`)LHG2و\DIdY=Aa:m :)}&H35i,KѺj Euϊ@͵gDӔz..vJ3KPXm0LJGVb25G' ZVw+quP΄vedݨKxzo\_16IW>R/ HbѺgrj1)fv'MsHnH.[>%6|Z[gv|~|0A2,+pQ b1+6n'C_ fͰP UPe+ZyɢI:\ִ7m1RLk[K!&v7=;oC}z :_[SMjZmCÊRhʴ禲^9xPзW+}Þ9ٳ~~ܲh$5f[" ? &nMV5IQuW-Gt"L~VT!y>AȀǗ'vXOtJNq/DŬ7 dB"~~.Y%G?J?N/6^CKKQr(W;1/춪Jxd%w4> Ƅc1\@45J l؂CηcT5#M[Z 0ܤm2j}z̯J!e"-¨-b S`Z#{B'<,ZM il*K3rϧ/e T 2+ Ma =zc?}+:Q<ۼޜsw 'P倳GB;̄9ȮB^?7?< Ih/H1bHSQ]?EzM\z(ZPlbQsjOnS#a/6X h{hȏsJގH3 ~]C4!K쑫XlC6>CJ{_pE0kWƩWKN?Pt29t>#I>Cg7 &Ix% -PCzVr)rD>#.3Tpz3~?팾 4$i{&4~0Vx/2;l6i3"[=d77RJ"DLA#Hɡ-S]\,9FL/>Tp0#b m0&񭫔OrbBHY`Wb6}();Ye'17PA*Lw?vxGc5Q7{.Va{AQ' Yh ez7QhE|N. '(_'Tq?{S3Os6q^!RLGnB[UZS7ͅE˃{oՊ'j&,(%t[{?I`OSpp7 ?rgp%7wK8pB/u G^.ٓ)~q;5$'5}~D9ҵ[nXβQ S#rd4bS[/VC Y@4|5?.4g7l W<܇=ƋیFgl ]_>Vxl"ƽ`'Wn[̘%3c@\5cYgkͫׯҡ%16Y">! 2^āDFFvbe}83}KK T0T|+%N,|3R:-¥KTysL]5cXn?ޥz魄1IYMQ֙LRMK{7:i2e;,%1Scp=SܦTyR(M*3vQy 8S |T ֡ewcޟeoƱ"@*KH>%zmvXSX9"{'Ӯ-4|ΩdmrErZ!a(ZKXC+d%Tf0oSO86֓2"^s .PR)n ;T Sp|oOti1MCkɵ< 8/,jenCp7&?[3]rKQZۙS4'_YL$ׂ 9Sc8#ε<Pł2M.J7ņOgYZ7zXZִF! h]ŗXiɟ29aoʼz[%U>EM!!B b68Zڬ_|~ڞX16֝,R}T9KEWiVDE]b|z~T@NwZGӅ^̑ $&_bejz]M4;B|\p#獑/ $$JAlnQXs^ĴCtoOޠkZǧW(b%i\VZ5l6&K^R(v+7t%UOfQK~j]2oבF'!;czBq࿨E%1%gL OF LT$J]8 g~f%*"cX:JR}'9SޘH!r7[xDSdѩ1ZO̽ V.+j:߱GI6&iDZa 떡l>ŒYB$RZ.'Iup7Qt{]Ê,՟$rwI6֝"4,(<P6gmht|B cur͊kx%gŀC|QQI񱀲eBCv9/nQx%ن^ 9uDqb͐Uˌ1ʡ-ځ(T\C5xXܝ6Ǿ/U?2N3B^OﰘD3"HVЃP[NU(Om3vZ<6q%2ك}(4y[Ȁ&x;i!9U:MI@!(O)tXOYowgBBc96BlZlڎog51O;mۀTacR0f;>vt|،j c0[)$ÆFqq!ԥuB,;¬Tj*_#f]Q2YkA.lDWH r "*2WR u`!h|Je&EFx.t]C/yCzZÉ$~~:qV&H~!{`>]::CTfbs;cuevBT  5UsBvia ׬KR wa$㩆(^Jw?/Ԗl%|:yj H‚3%|1AAlSyS䖋x*Wfiy)B*pHtZ)@>l;Ҿmz1rs4 -x0CdQ)NPZh ݆` AR5}F[9wV;Mpۧkpһ%*2SgYZ7zXZִF! Fy]ŗXi%@h[R3x7ξIy̧31—оBS⍅%#t{!v}`k ]W~룙,++|ٳL2k79 'Z} q:vjܽpBaUr=GB8WI0bRئZ/ѬJL3mL6<'IC฀&!W^ [~^yHds#Z,~eS"5L`, 5#d)Hӿ7kv|/'y}\&֖.]TYPzޟ0lV΍ݴ%#|4yMػl4C"MlTfA9#8|BwPTW^!!+LחG<~.Qc0k)Op7\4WZ$2hԄl߷7cRt/R\Dek+VG9Bs,IpPN' r^"8šH +,bGn\Xn>S{~ 3nGIz:%l`*tt{wR@bLN\@ίrp}>}[cWƓ;&)t06UL"/7ڽp ʌVj7 +NǂU} JI+5|%Zp|["bw&Ür6(2ņwFfMxnmz!\SxpWYkD` vfDq+$=Qzw \lH^oY*Lqo/݅2j-}֓Jgϖp۱k?DK~oIFZ ]^ڂWuZin'5~qC&EvN rtJGb|=8Ӧïǒ݃D%dD^@ z8s"bkODN`̃ܩ*xܿ͝ǖث*ʍ[5bo qRU*A*ʪhTè.vNEI~ǦyQ- +]b4L.thYŏ7F4^Jsbi E'rT<rB'&CekS(f&$ܷXw q:jvt/TuNt#v5aؿí~jaEXFG,.kR .BȯU ;EΤtdլdtUʫBoronN]ɨ4u C"/r}^V+]~5W.dM~a*+nN\r@|\y:3x8F8W>`p Ƞ+,^LrBѱk-|(Fp zU1`J,& F-*F]znaہ;iգ 3?M`igsylYQb9q0^a|kevt%я7pŀF6 7ƽ+VEL?lN36*_(I$ 6R["4LZ jv誛QòAlˎGyU&*WpxDtdDpX8X>o]w\*j1/c)]L4E7WQ^!Jy@ey‘mvpڜuఄrv+*RLmOth)wPޭ>nW6ec (4eddQ*_Xj:3R\)S"M9rKQS A*e5%GR?hO|e`R }RqYjFP"*Et͐gS^ >kj1JQ7AiD@:ozb_~\xTd-qT49˽a67{JB!n(Ά2;y&d\>HQZ.4OovLJRPLs.&HQP7,e (һ 1 k]o%29gB*7%>1eXjy8;{#}7ᾮyTUP=W CxFp: UDptc,'[/ET.1-}"2S~C4-v$Χ&uǮC -"L՛'b +cjHquP A*' NXPv98W@40fo9BG"PaKs ϗȕ˲WKxCh9k*A/j].[8Es#UƑe#Gm\:!|U6J¬= {!3_9Sb« #7a'U}{`A҇σhKeJu$ o WKӯk8 8s-) D ۍ'hZ&oq4[iG|0#`APF 6&>*Jk^9ܟ)O< !$N2a&B0=GGMYj3݋4Q|ʬ؀m!Kt\ׅ+v:>0An?ӈEJ?ZN4 m&e6H].Jʆ W<1Եm:ٝ[^eWbQF3\tLX'뉸ˣ^u1JkDZϿNObk$Ik69jѲQQS/xis` L+57)PtTwELJ֕F5i^6.:حl7i#Yi%HqSS /$qlݶxn¬]t⩷?SgˌjVB_4x~=uXwv˖$#ؾ>cZ*| F7db}^ا9YIVX *zzUp20cϬ0J]x|ekx @ޟJnmX )j3ޓyս%& (XEakZ&.T>mKa13 SoR$Rx.  %0KK>߸΅rF-o4tg{foOT:b(HrzO #UH&bs8.KY]SG{91>gxAR0}շy 6 xP[ Thv\֛fղrzZ #2\fTQ#z43ND*}:fB"o ٤^i.cۍ*2ČAE5o-Ma%?o+ZGƮ`qFi|@ʔ~2~E'2)rXhESKXWTp_$[䯴EӄD T?= 5丕!>xr]l6LNܪrIKZ`cF8ƝLRKSԆ6J+Z<8xQ0JQALtD{>hy ~Kn`ye@6?[ +wPޱo1Uk 0n 3ǪKHkPNZkN]>489!qoq"fBL`pͅYJdug pY]9K~A>*|ͱ HGWSI@;+vU^ƢvI_$r4?/**H.q( F:ߠ3`S]ʆT O }|W`ڂP8Ra(Ǔ!T ^*2!KZfun7X3n)UFZGhL⢞>.myKhg|ʓ[`UO `t\ 7nܕl{ک起.ڽU8Og?ჶ񟌎Պ쥓 l[=OMI?ʁxF)YAKFCZ8!)׀q9{h dQ J۶Tϳ CK.-:^82]r'39zγmtM*OemO&y]X]6RjĨa-d3@nnO`n'܄|}&KGtNUx s SzdwX}}f7fUIYd2$7fζeB* ɼ3f4ǕLȎVdDy =9$_@,;eEMw9YF@fRQsnP;d ڡA.]iƐ/WRޢ6qm,_"m6nm{aաXb|%Ԁ:_@mSHvtWBۿ)!T9C.{HEhTwYc0p9wIpr@r>ކʙ#=F*ӂ=ʤR8<ڇ,'L!Gxd֓qM5NAW|`Y?JqѬYY{-[j JeXloL1j!SZ3CvՆ.ré?HBCfy|j+EDUDs9ӪzK~TbFઈk*uG`z: 騽9u҄%k&)sJc' z;FXT E;(ig{#U4܊@1Br]hSCibE)6(fYxK{>kb$"QK~>},3mU+f\H2VyY|ð|sH'[ATsʅ̐EY 8 i6ϣ$ FO}0ˀnCcwU(9mg}FWP'8P>L|7GZH{Aqn 5.>𰔏t};Ri|~xܡl~4RK[(xDݎBWn /O2bGPw+q'4r1G#:]tpqAݳŲVN~t 8iO@[鰺.l[8X3{ =EԿs ;Vfྵ鞕zN)/D>%P5BGkCB :i[kz'ݯ "CըhߓYJ]s9$hpL WGxֶywkPF?0<%J-VB/aa5n7-{k0₺g'c>fd< Bvg iICҵ !k-;aRsvsJ+^ɰj"rA.ueJd b ';\H{Ӆ? ;Uvbfaj&BhưDc+wjj4YYIu6 ׄ0+vӫ; (G%2f$iP4EeHlOLK8Д /'CEs:T!`GeH*]jOq *W r&{X`wzL6C @-Bh-|po( + a OĖ>3kiY|i#ljJ7k5i&ܒNHtmfJSBPg-J%ju5YNYKJ֙Z-$>˙ŧ=NJQD3T5]n̋ X 婆>go˾=ClE[O殒=cBp8.c-i-jo>L ^f͞}QrJQv{b8?ph7%c EU_\9I'R$\԰o{Gw-_,) ¦#񸹩xEsȋ`)eAk[Y5%2i<6cyl 4g^Ro6 >"虵)#8Gpkr0Շ>*h)ҿqR ><.ѥrJO{aK Xz.a'Ä+Nn͍yEJ\>'ha< f>t"_V* zb_|0fP`NWگh1+)rO8:XAAf#(xlݝUv6VYtF$ zgt{4Qh:!mk;'j~BR ߃7pq.J  Q`KEB@&^/<-=&Yf\ ,!E1jcpM6_%Zv>ʢ(=Al5)/-T;ŸM/;H3'o!'* LJ)[|*Wؑ}*jrJe늬XlA8w{_m?q_tt_0{ҟ:,rc=hwp0#2,?O$8u3ei#6;WY q&%<;owj ֎Oa;_Rp4< 5akweǜ`#73˅`\SIIR:}B)mԾt&XW<0.'BH.2Nku3sa7I,w32 OjNJUdeMJD~ZƻvxQjC\ֳ0YK<-@ƩAڴ E-h. 'bɅ{[lt, rlQ:Qܩݵs̆3p[r < buKɼz5 ?;?RhGIQ4ڿҨ*uB9_Pi,08}>ph\^42ۀn 炼!J33,ʗ*Go% S~Оwqzn#+uu=Bb!syJ AHsh\WL 1f}nTFG N\\%eKq(sp?QaȀԷxf L\!M%9D k#/@{KNdg"wUmONAOL KŲ +G:,Y!`UnFm:o֞cj`-< 5~wvrS 9+EOw;#nKz0,@ݥgx$!aF JыFZ,\4 ,Ye}<yk9N$IXl3!\ڟgx^ٵB<LbO/4yהEH?AHp) *A`x $䐦4[1)׌)y0Hq΋ ABsng/dkϜF֛ͪ·+ z7<8\$:j.ֽ59@sD[ѱdYKhky-b',[isSy:a=ܟф/{O5/Ef))~US{f'H3OX=pyt G! ,oC=!a .1e0x@eмZvJ>|;;~)<8iLZx: X }Ӹ1-  OOd AV՞ʁf'-3c>u霞XCwM'#SH[)dEmâPBm{K9j6Wi*=+綼LW3@Gz| 45 s9G*iTFW/ڔ!3H*#42{zU\JisbH\`c䐄DmwQ--H>q6)mIUFs,r0}@n1v8-QNk_Ʃb[SĀ'c-K.>j8 G`a*2 b)p$'YLX C6稘"ܷcjFLq фWBn_ j -35׎U#LYHoH ZD5#ٱl]7^41<.zkB[b;K尼R`_bSh͑cvcw*9Z͏7rsMRpwWT3 MG ԿPO0jKONI(@Z:)41o"հ6&\9nEWѠt_׊ z"K1./U9Żeު&_ƘDܜ]#;EӞX"SԈ`m}bl$un|`Q!$Mb9;r(˚X~Z=ͿxNR \%wQS-cc%n_U}V]ztĒ7yLgi z޽ڟo/?ahaY&(¹>=^,sbmR!3D߫bpsxTr{e߹k*@o->)##IBBWZf;rD2:N9g+;v#S'USz> en;1.{)/d GȬZ*]j(ᵷAtHx֦laO_˷P&VԚZ7` Wn-{(84jG 拠'hGiʛm["9c1A@u!nlU<6a(Y?Pbdd4|R2%p􉟗54khjNBNav=H>igXEIƅ@ų! ϧܴID@rI;Ļi(&'_ ^ |/L8Ҏ[I_eP-0;XFG[;Y\(Y[Ҷa3arv͓uJ,|DB G|@(y"Wg2]?OKS+At=-ӽ7 HK{.6K߂ ]oնSmP_C_%B@-a2kʦˈK=hRPI8q/p$ \y "Y"!A+du*fq1C;+z6>GR(` /k$L-Lcr\T*7s^bAe:f^ K~},)ׁrݻTږZ!ɰ5OA[6և!Тf-t8d6Z2FJfܹv a\>!´+ɎRq^9*b`!G9=Nm~)rbV=/;K c;;q,Cl8K.KCIZF@.)Y 81LJL}_G D=x`M")Xz+,#x1P<5gs0C|{VKV,ϧ_ iEe~zA*Ysiw7&y HkOs|`Us ZgR{Dt 1v !R/Q͍jb{MI>N.X: Y)[]׃}:Ib=J]h$Ed65?%ŪA=`sø2*ZG첹3&8զ< Fۙ{0)Dq\I~1mX0\?n|_py'*r\x 8QF\=",kE|aS10/dۅP`3PcofP `/J'gDlX$ bO+{aX00XFt5vp[1>]j2`P}pT[3PsO|Im/I;TΞES)b"us  [x-;"lˀPQEqL_tls*_^Z3N8&n* "(';߂4>iaLa%^kalZiX b 7Ö@!%˥PP̲Z!nInfmnzNF~W/BlKS߇a|4U>1&y0 Pt^#:YFDg@1ib ?=IjrՑ~03;LylZ $Wihѳ{@eNĸPwR@W.=q*LƵLU}7 :JS,eg'{`p02N:U=^T-#;y\ 5"0lBǚ$IҧÕx*\,כd  cuA ޽(dz<M 9C̓&׫Fdlk0Jޮ*ptrqEQjOl$M&R*`rg ݼoMʩ`햠!<^o,K`l .VJ\t`>W0R9&n㎀K+ %6Ag;-dE`*84vCro^3.;=e%l2#7[2p { 'Uԯcc(Fg+ ap`*LVq-Ҭwn+੫||A RZiL:>`i|[釋^1 x?oP\t/ ^\;!7yKq}wTKDښMS5]z=crTM^S_d!\>%׷R6ZxxoU =܆?mzcټY;dTqAw6 6Se2*pJrvq&T s _le,8abR[i_:LU=qï9s- [ijd-T&҆~s#:<_|P{m@`"COXvvjDvj]oj5"oE 1@Nqŋ JSNEOUba5ynib|\ݧ&8b5wkm]OzmSp{ DBIa$d8%eȼH:A|tpS4;G- bJbgtBGeq*=wUw8gUN~(B#{9md왵$^47R:jU34M[WU4sէ=,>"sՊSiB30hn{P^))]x4&ZD+|_ssrzy.I,ghOܯy0[<6AIQE}Be"9XyAhu8ENl\' c?Gou n(T蛿!?3hGJ Lk+zZY`"%7|3co^]GxH֟X{- BFd>]醍1 ??H{" -{m.3$T*eMl17uտfwfCD p%|'$KWX$lh\.; {M&D Lp@%}^ Čw^ӮXxDf+} @M6ys̯=[hҜgXSk= p+\4Aۀ4%"02P |+-)xtj${B6x iDl뤻|=&z .fY,7?Ȼ^0菪UIQKL?N~*8Ṱ4.ZNA>~jzs kl57x9G#zHAߔ+9MO;VϘ J2 e,RNſvW| zDHB Ǽ?f~dWx.ߴ.b'$p_@cJ&UHdUv*E Q(3_̒J?H~e?GȰ;cksOfyV7mc6BODgőy:P/.m&`G"~LoAcT [?c:xpj:Ɵ[-3>UyK ]yٸC tQRS!IRvk ȯ|_~m`TvQt),֗WBtrA'Twn 3tKjS(B2w`:^* ixnB" %GTt x+bGjX:⌺rjF=leОE̶78988+4KN T0G=/m/ kBJ.~ozSP\ci;:1Dbsp]pĺ0:~:4 0VrHG>w$2ꂰf܇yHz ޹x9QuQjDA^|O`lHgH8Gѫ qκ8ۇXJm5TM:e#{ !=.]:157-Ӄ,k96Ք5ߊGo{m?@cӦmCIR{9:Tl[fV7hhK9Q塘QB!s4 oA9kg̈0u"<Rz8xVRXC:!qPԬC k76L!, ,yKyeB8K*-|Ξ^*S65 YF)wn r*W 5 UE yKߨڧ-ݝ p;xT%>:v@3lkР,,]tc#"?$ QQ]*,46p*JOPѣVB`O5mU.@7oaY?ڛ3oqU&NF'fIZ`bOt ?D*/?݌g͘p(Ecud4.hHV; J A ۇs<[+Om'ƯKFH_E ''bQ8<38x +}H >Isݺ303zzq_8¸yfU 4+ABh ѹPnA\Lgdyڴܗ9=ĶdCB .9 ˴4#^fA}<$t[ϳ@bQLs5 g/Uir!!`SB:2N$ n+2琔|ٗ(HJX_3ѓc-B,}jT,W dC5:b)E00f-̑3d6+|axN@?~+~*@4g![zdX//%@:ˎn ɹG4Y@ Dï0.Z.MUAoxa7Pa W+I Bڃ T5dUs+Pp%-\h D^o ~m\gԿL1I ^uWqU啀0p,{RDvJ5@a(5[_0 K y!)^(0k=RzW-=dwBURMH,sYFdt>}smoҔHn!uVK:tt;URr[:&k1kK!m< ā-?iV~j'X T[ZvСh#ްX^*MG_u/ <\rrȿ(-^ &ujn^K_RN"rRs`lQ L{:hh]90qS_$99^#@ V!'ϔ9Ȱr7^ .{|"PQr!2|z}!&ox',CW"q ;֘֕=*S(Rw\G 3A$Sz!jK*7Fs?mɵYz)ܷO"0,1UxEYwB=:Sf|1ҼwBGFbG5)v<۰6-f'43~_'J_.*p_MfЉMz=l:*EH?qe@pr5=DǐP*9~P*3 *f߬wcBm Qcݕ% zPrÁL>596ra,{feP2^:D?^vJ=UO7y`HF'1VF;"^Y#XSծlF|4_ifi<xn͎D1Na.(10>=ab$FZ26[66bēèEW (BFdu5(V NhKOxց$f(>Z2=u2A_܂ ao} ,AȎvE9]VuQh8֡mv<bec~3՗3 C-g/oq?xML RiF"w_ܐRaUJdL#o@9Ux*n[2ZO_PH0VneꑍxM]c$͎1h_7EX^4g{SLp˄.gXHEHݯѬzK -m%@ οb*c. LL_ . zin&z+1'.)N :1#g c49ߓ pbҔyGd" UBk"&,~FWJ uZN>Ohr'FKbE!'u?̵ Ke&BNVj AT'nS-:s&դQXXKP:CjwtfrVg஼{I6p8R6:z./*`"A?/$`B"lgV۪)4^&ύJ*Z2nʳӐQ*QJtcc #÷]ǝb<:0"aն'hL5K e/SF4iv&:QǷ_&ʣf0}ҁUޙdMv2?&'"#SouS@bHWX9`  !{xSԋ_&ێ, "OxP!P]q[^> v'rZC7+w0n&BQ,'ȧX*H߶7[Mb03k5Ab֭ .qSY,VD*fg|nȕXx]sT`@p5zBDY.K3l4UB* )m2x<PNE1Z\E)٘LȀ=?^ W7 {9:Ώ6uPp!; \/j XĦ6s)ztK46,!xI+qbSZ{ԇxl(eGȫ]2'a,cSF̄Z^`WR49OwI&0nv L 0Bqae~8T/E}l1/n&95D +%EZgKe\~<[`I=Y55p^` ,}m1yɬ*-IMQ^Nkt*Tg A}4\9Qmv( 4}!q¡,S^PՀ0$})1+Lzw20*0B,;g=WOl ]06 \C$q56hW] :EqF\dԌ0&7'*K{RH۟|HS UL!K!d7ib3@ =Ӌa!ծ C3}"26C{7Uv \h(KĚYϯ u2JgеA{ru%8*nJJ4M b 1 /}1@*DbÝ6\O#\ hoƾr|3jHϩe5?~azj}DAQAe~Q)4$e%JN\fpO_5ڍ]v{m)N tvra}1 :~i|W^}ž /%[A,HQ3E'dy1\D֣ DgzWxpdw(Z]nz;Bށ:n3`Yw+C1%7I(y#aF"Bftӕ.se%2dKidx7s{D R$Ꭺ:fH 86!h=4 ƚT]=(#&{/ s !3'[-"ˁd !('}҅\PqD^&')*)/ B>SJ:ӹzg1H[8goCִ&;peħ6} z{iS‚T/y(!">#MjR B/Xm=珲'B6L]$T,=wuzPj^q?Nf+s1uwGث|932Ukp^W͗!zTQ!GXqPxB}Ȱ/0ԗ"٤"eO-s7wH ?n}nxwjpu; lϑCP~G*"dŰ9xܽdz)R}$$jtВu?g\-|m'#ËCɜtb/mj.HD(賨Y_ Ez34KSfľ& ȏ #༁XJ-2˞`%A]עz7xx&iqʴ/ˊؒ%iwSϨPwB~Rz}WB q~<qy52!_x#g<ҨfoT#(0LAt%e ^IUr1O&ŴJb"N+}c8'xt4[t 0E2)sƺ̊A:#tm^tYA XPUIv+/Rz[2^%~#/ H(mfBm׳;sq8{@"H$X燾mP*(p!{tMW@@etB$6YmV]VscݿuiJsե`.1Y >W@zk 4σܲ*IKo0뽴 \M@[ >=HƝKχ,wl+hUps r ?O } ݼ%cT$4GZ){w67~D?_2 @n>ɭMҺ0@1;XB/%m/R\}Ø2;HȨ+#|zG"g=_IL&ni $_Uߢҙ lДp;Ӧ, fd-եcF 2ije)~ cMo3?96H% n=i(qŃnqE F7J{SAݧRy=,|Z~Hs$ ^0ﻑ~DD_>O*-\՝lɬ+iaՁBUG8꣝9B [ɿ$vpv6h 㽽5A%a~k5K<'Ox yxM%_fwԪ@L{>ƺyp O.]",%ŎRzwL O2J`,W0  (/xB?tMЋp^Z(bs=4ݖ,,c+\lȟ^^Vu3jࡔ3?e*zvQW:-1ݨ-(|\Ԇ\S-}w$FfsA|ﭪdѿ2R5W˻#UcgՒf,|yDucBWIjD{ņ {MJ-JAPgS~`,#Kt7{NԽP[_j#0xᛑ:XֵގbO z+Ç~E`㡀VVP705[_4vvS/+6!¦[X,{1zѓ06a5;`!"ycc2Y­⏃tkֹwh.fvWJ:HTHBkkc ;f27Ko@3m( , g\32*i{ܺ >ln>"`<[w_k=VG0{EЗee?O,,rj{;]ܶf"CP KFʻD[c'JDKs_daO$rvEVY5gsH {iY -㨡?n[@"q!\ČVGWtB+ow~OvMK!1[xc` 2 FR3CpW@jPyw(и=< p|O~9=}]>YopąN2L!a39,}z\9XUvXV~6RQ1F`B pۻ9㞜-G>t.zu .\ 7Q_E#PFi ;F{xm(i IL{F&Rv k]|sDQS䭭97J;jLq\B꼬,޿j"cm&= cJDz8H͕,Sgn:~vtbq~$ 4Aϋ# Z"6[LXEM$ %ݵ}t<خ+sF{J lo}%-bX(n~dAu1''kzjSd-i >8NYLe ("7Ojp1)/Zaʕ4YS X)t䋢\ڮ^tLnuj.6q ϗa/!`wWq_xhRH`$CEPNG~y9D킏 Oz^E,r\ue?W9 C.4jK'l'/þ4i(V,I]WNWZͅUΕ"TH], hiM7(-K5ʸ:AgUsAgrwɐ'+#ܿоn?e@b;Bq~:}F-daj9RY<O oz8ďi4 A*UlRxĊ()kt:GZB[b4]d[ZgS 0UHڍXR oIo[rTeUiiTW%r%U:^trqZ0fjp蛿!+`#RzphҪS_4d^-lgHcж/ X! K_f7=J'|w:Vv6w%\lgr=+'@ OoB~+`sK#pg-=Y-q|Iwdyd",)y0푍&xKNndMt.< y/#ܞ|ެq}7s[MAxT|R\Mtvәv9#(UV|"_ݔ5}p3(wvpwxEJY4?69őS*"7i bϑkG;6|09cFڄoC] Q+Ċf=6e0РecI Sw ^ؿ}B:U/Vzbps}yώdc^*e hOJ`@N? G4bS9U꜠úM8Ǥ "ҋBbhCS.t̓i S%^kk޽ J1-IEgm^Q{L-0g(igEx ف{?[GWJr+/yϮޓ]eSn =# d.z.H{`[|l姀b9?fqL]XJ"]mlתN羯hWȕ!PzYo蹓/ISJr'} ;g"#9$ClvC'5<P?Vȱ#Vi*ֶNp|(hxf i,Xs~Ǭ+1gYZ68c10402a7256fb38a98956e3107692e8508eb7fe3a1ccee455624b3686c1405fb0ec62cb06ce178c3b4863c8f5b294ccba4f456f958ba5066c8e8fd