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  L L|3 $L| ]S]Applicative_Lifting:threads=4elapsed=26.906cpu=79.576gc=4.280factor=2.967zXZִF! yI]ŗXiɟH)0%oҫH8.vHܓ2@+s:!H)Cw1Q akn?d0=\}?}% Z5Qpt+z/S82yƃ|]QآQeB.d`VcǦ#}&x_?JwjiI K{5iV?ӣ:*hC Hv0|!© sk-Fů߀lR[5ybd) %&v#hc ]OO2LK N39V=XDCw8'Oc*nd @Sh2Kuf͂K5IL=ىAZoG,$ H2v_FU oVxaPW{u>s `L`81䨼h#|vkP_R.V![!"Ǒjp3.LuSSGc4慄q 9zk`?*`3Y*mKЙLl bF=3[dvU dl ƛH:ψX+ٰ,wNV<܉5%e8x}6.bPtNbramXڃBad܁gN/?ػŬant4c'/zRVxr: u]q'b2}hmf{M!#z t x"' B @<g-?Yb byi%=ok_b6!i@}iB<޴ !&2֥Ps=F٤sjEZ 璬d2'zR=w䵧t +_V=VeѶnَ|(ѰHa:L[>e%Հ|Ubzo4#v Rg[!g~u3XMN~cBmNY7_}eiAj./%~Cti?0B S*BJX]P z!Oc}IhgiV w# 1f@IXAzuk )~?C/ 2Rs6bG.Gn'0IkèHq 雱]1$Q5m˨@;ߴst=L,]P1QkpBTˢ] >iA>e(llzй,uGzdC oQXLiB@b>Lx(MI)EOxZۉ-ղy3ʴ{'zH LTb7"c]6K:Gph ({;Qd(N6a:#uu>2|A|+Wɩ|,1]G$ÐLnSyA;g.[j1^Ҡ]z{ RO&vbm}ܱ2!l9_3s2ȸ×E}CRrgs>D5ې_p/ ޡbƵen~GvHf` zwt 4Z `c97OHT7P6Ɇ3&C?r[L`QusTc̠0^dqr 14K h~&ٟOh6b:ZbZcreE5׶Aʓ%аhl "ʰ #]z!\b'`g8L᷌]C=F/f,LDk -Xq ʘRLv8+{=|s @vG4g>H Xtډ\JrV 6j~9FoR,G47!T4-xxX3J%rQ!3_̀+U쎆:[;A㦱{Xqf5ݒ1_Ѵ[S_-#!i+-cNK=ΊM Sft`UaЖXP ޑ΃ N ,)"1}cTŚA ČlQv%e\}|\yJ.jHyߟn*Y6(qXs1^ u@\ρ֒E +y)mIaZVl.jѪڀ7cP2#~JU$+ێ槑-̪ .NȤBA>_ǢW w)w;oY~9wєyXVg'pAݷ$UI2 2SuJx5 ؆ghgY*ժkgO4z~RxM{Ǐn7Pa'c~jj,ĕo-9 *ZP#|6Jhyiu,6D: (1 F*|P8@kCh*6#hbebqRh  ~S#|ŝlK[3oiT%U(rc4`!~-[KZ*[s|Fԓ⦞ZF:H» `C4lYY7c>ؖ}5=G9qRHg?fjsxH[АӛF_כֿԽs>zT[JBk""'| ~Ko2T8ñLi[^- slXwt&aEWleߠWc0ű  y=)hU@ȇfn߷Y\J8Pݖ>)6onBGSX+Hg!mM7YjO'׼ucBEc(twah v?w>IXZޑ9g@ݦ݅i9{szk$O@IwnkG&v?5]u@/ ̀ۥeyE/GiETxӆ#= eBp-Ӹ6IEOjP0za{4ϯtil Naza| |u?!K  re){b0A#TY"ӣD+5 ^X6 4D"U@5ED~ivքH <9uj*de,#٠@"l?؅ƚVOlp"L:dnh0kh7>"Zg68|gL<K*֩yPd7ksnZԜқ,}D?히N+fI E!y1a2hedǗC^>B0"kau2)˲ bL2?iW-jeS|jzJI0oX5FS 0xNa KM3\IUxAP#E))@xѬa-3T$R3JE'ځTd7o;eiwZc\>T[Lև#\{8v #aRte!#\x f7ե |F]#&];s;#~~zXL⎯xS[1.fF;_e8٥HFC?')Wv|C` g6{GEbx<"Z@6k<|*pߣxm8]g~ݓyſ>-N4]NmlQ9 O:Jh1 {M~ܐ]%;/ _GbXZ.%WNb5`k%Yy@Y>-*f#`+Tΰ_0KB! iAi56:@Po&44BM + ϯrX0/|y]әM[% 6 1nrF/|P0ї(^51ܦGkL*_{>j]xjh {83nΒUc꽆8ЮBqbWP2)|\EzX8u@I !%y\kN̓Z#f ûGh}@6 CB&!n;3R< ԢRrETRή2ɔɩv)n')*͸rd&Zn;J+6{}ot[~SM X3Q%~nFX=q3S\+aށUuAogÍ,VBD%J:GsvU]Ə|4@a}Uph,y|_{%%<S9׶p^__f=Gt(] O5~O}/} b=وϾ魌/6aXOV; e7ڣBas% ,D% ~-A,Qwŭðj}LRk{Lp>p|# ~wg!7J( \ii =C^>sHVǢ $@ ?lO*FR~j/Ω2{ lAm¨ɃVgpQA !31_ѹ6 es P)3|i`֬dfd= |t+}ek봝Hqyp CDp=T63F5ً);=+g%JSim{ ~ȇ-n3z9c轣ma&/1i|ºQF%(~kZj t#%qr!;^;.:*'$va0\jRr.ʲ}yo{ ݐ'Pϝ;(CV}y|T 7U!ig7Coo7DA?iܚ:%xLL z[s,iԃK,pG)}/fK+kζ;U+Pѻ؏E/3Qr*SV§ Hڇ>8@/.?3P;Ks+1fٝ3 MmI6r\`n&f2Kg{,h5㋯v'MiN+em2RV~j]x( #^_kz$y_44Qaʞ-Tbs72$["qn]g=4d$57LvBά4u'.7}"YA?r':sM ndܽ ߏUڢS)C]9;S[%cGƋՕqv=Ϛ#8o"0UqA)h<Q[$+NO`N"K9UX J2Ywwa"}iTyg̪J;VZrWVT"0b4 EYݬt\qC)Э'$Q(+0!yn>ܑz/z XGx S9ݓlݯ>W=` R裵3D /!-sz%!- sz_JD $ @Rd/0y^1OP}9mĶm/n2b3U vCbRVӌYd5-߬oK!4ڦf [YNS a׎הϟ뾤%bri4󞲎o^)eHma4gcdS(܀eYq!em܈ߝ7cim|T 9#邼5WSsP$?6-7|JoNժT)y"Oe2m7N,P|X"^dչ@+Kk ,֞UT3pϺ:Ob/cFI7R3ƧHUAuƅ s/WpC&{Z7yp\twas?`PҤ)_A@~)R.b-Nr_ N9@O씦FLW@i4F :t( Cؖ_4cYfDB+&(gF= (7Y6GBXDI`ы:=h˻txD͖kޡ 'P5zʾ.p)L! *nvu.W; FSYg?*o8L{q8-ss5S?UTBɊ42B!)B_1oBƜbk}?=dL불Un( 5{scRHhJw} k!{gF۪̖[Ֆ\2R7148PĉiT*|m-^rR¥zB-w߼";n,jO逐|KUD&d;i%ZҺ> j[-NCB:/}%&D(?(lUBV[5# q"uEN1cn d)d!*(@r0 d> G*w @5fFOKJp [9AUxxHnΥ\~N'Au*9:!an\53@9GޢVG8*!ܴEl:s>^eE⎏`O•] /<ʀp:**ĄЌ* Ph˄Oըd*y3; vG7s[jw A" N*aBGF VvdI6|tVF)$bf<܉F-s=R?k7a)2&-mD#~/aQ\ o <, ֛Uoid&W\2 -ASVgm(@܊dMpRzKJWpPvIL@%w*$q-1^ -ܳGsa]8-rT7 },8doId Cj%஢(RA,]$qu쥎{,wcVklmͺ OlŝzLV[ޱ٣x9|c.eX@+l3A%o~Iɔ%/z%o#cFrֱdaxo`ņ.le?&a=0wayXx'$,q:T=@ jFJ2GC/>+Bq;v9%E|8If8Ct0)% 0ndoWƻ@Bc;#TauIKa*t}ST71n'Q @m9E4Qm(3jwMfRoAkDdJ3BmC 4 !j7h';'}%KHElǜ >D4ڿ- Bð :pGGC^#>҈|[v63[A5Pmqlc^tK||Ega`=h[QT= T]Prj9="@c6/ّKϖw_~±*#F7-oYiej lYg'DMTVoOn#0)w'_~mENR| 0x` }QGMm3}Ӡt!!JiG)ޑՓ2+b\hl {?5&5^$B@U2WuF";YʴZk]Tnʊƒ'Ai-k|KI ڻ?q#=>:kUleUc' ;qB2/jٔkN7`+M W1k6%0p㪴R  b)ۤ?'s*]=ʀaB 3 \b|8 w$xOxVN tEpMx6n}d|uТ񼾀[x 5gYiAǾ؍g=5~]m2z4հ0;;n.e?e*ֽ!=a\*胸}MPO[_bS!\<S{N=N?0 |*P%[N?vkgMY0Ѻگ<}h|2OB)"??ۃ.ILzs {W󮬎-̊OE E:^`uQ?sÿV&nZʂ/u۬5gXt&,ۯB&-|$wRt4 N1WAR#K|915u =C@a.2 %}F̼=X=VN>AXy9Yhg<ִP"[3UZByR U [h_ }L 2+HμJ='ҙ5uquJ6Q¢[6ғ4 8|2#v,)#K n 7Ø1B'D6h"[IP_W^f]2c"$j_ Ȓ w(3\p3$IƷED[ o @!}AD*[=)xjn.d[Cߕ-P=&" <@$`E$nb9N>0"PF_pn@"x^IVX 9́ޚišz2ͪ0~ˢP,1Da׼5yLD2d`4)5^W *U/ƚOÈAy{IEY,|񃂼}3'9PKk~T! ׏RBrK pB̓\ȴp5H -=s΀_*䈞o?0)КD($_'`goL](;1b~/UX2r+OHLE遺h5W]/INOE4|lh#Fk?Cw.>4#K`=i؝SDTrǫ꾵8NR(he7Fv.}%I)J6' ۤ޳_^>竽u?cD'/ћ/M5G$11c 9WWO;qdfwinϹc;fLw.-iX&EҰca5}/c.c*['TQ"|z!˛׈F 71)x0TZA҉p0rM"kť/BǀLL SNxq=&#I4oYC[~ lelOB+b@t 4X:Y5/rRs!wu_y\Dv!GS^E Y.seqYAqOYfJ5]b dOz_l>ϫ,?U7%2ü;N"b}ԉPWh.ْ5Nk> bJEqPBtzHl0ՅV/w@cR_#%X+L EӃ]h]ePo5sR ] 0vM@#=0YIjq-Vpny@9ߧ !iCIpXjx(>aj*ҭzŽíISF*|[@?hV|t-g"bd]˰1gl lT:M؛uQ+ysaא ^(e=q(G }§Yl7DaPW^}rZ[0ؔ7Lj*r.CJByR 1zṛoHqfh# ܶ* ԸV ^KSzELpaoalxf'{,a$(U#72Xe6 U'r (̚ 4F g{N52"v '2U뉩VI[$N% wr {.bWN}gFc}˛98x DŽm0A=;%>"DX ɎO+obT7 : \|C~p Ae Xr C3% [)aoKDq?Ei?]2vCȺxp>,}|fJ[u*J p9['?@b% նE}x:iv3_qӿ?E*i I )8AQHpCL_δ$*>3zQwPq&nGO0*WbK}Դ"]sa'$FO<%{u9LԻX;pch{rRBvxEڿvzu~.\o65m$X7 U걦֯ЩgIr6+t4dAfoŒ]*CS0}SY@-(>K 8OuXD^zl${>G E }1UJkomF> x|d`P>*co;\H$3G(ƭYT+-%:Eed+QSQǎ"ivNVM t |ԩMnLധf;0s|H!R/ܧ$5UE,U{v6+IyaxmgvPՄb-i83$r LzE`-/-HaDDoKM ~6b<9/V{zq^iz'@@UwB`-nptӠM[/{m' Id)18]u3`>-( (c ;F' 0ezxۂM2ZiXЄB5]acwdz7MdӸG6w>k Wax_>C툁@.Du< kǬ/+ w8Z\ApGjNFp/qY/bǵx?pݦ"Ι#m"M21nRj݊@k!U%|@42p&hv4M"]!(͸˛sα*pf2 ݳ5˝WzX< lny >70־wuV= rY_ЭFPI;bc 7J1zc)%[JJaxb1)K6OUȌfu#48J˫yWn~~Ddicy+ZG7V 2?@.2IuUjGxJ~PtMDX\f*ˈ$t Q= 1œ\ J@J4躷6{ip*? <{[wbN+f7g^0ਔU G3m1i)A&>7/l]E= nOzwO7K1yVҵϹ(L@`ʟE 5odzP$uO Opwl&YUU?}D lb/qZr90? P_øj Aǩr?<,Qn8 2NNT*Cb(3TAG-=?^if|8h//d@HNr᫜[rɟՓpC+"o٧  dϑB҅$:l4d[d;.pp+Y'WkV* َ?2#lFRSbwL]j Ǹ91J!  IфߏVd_aUCW ikݹygffkaoGCX52މ2a)>E7в}pj4y|٩zՓ3&;<ƖvW\_cp&XEQNZZ(86O0*-̈h{hvFiS>8@?4+,[,^Ɨ^9jF ʦ~&&E}\=q>DmY+8+UVxyvҴ\LBa1tH>,/]:(|RvA:]\fYN\6'$- Y0DBp(G2?}{-vyKJ{]\)sthAIt[<'syz3yxnKucl%}4| -uڷ襖]m #81ȥRY93Եzfgc6p7E-. n'0Ozw&QUmQY*(QYvWU)eC{5j'l0n5 K5$jB`RDLJ 2lbCXDtwYivQ0pefw>#TEG+0X3e\N.@`ip/i"7ծm }xsN_nN̕ɠ{9ie\jJ̉i6Z!`Zga+'hob}/JxcXOeRJ,lg0<ύ[j!3A8@p 7n3{ kA|s}q\h z} j\P|bu&_b} *{RgMcY@1u7FRu&D>MuZ@,#:V*x9Dn9Hׯi$v2D?F"kibF]Q}G~ytF8c*-Vc:L8\䳴(0UՆ5ILgs7xD ] WJcg62nHηt `r98C(u7eW7f#qB ˷AvevN܀WڠՎ) 8‘~{Gϴ*&lod#F|0T.*^628  ήpd섢f9ЉmM3`. Km2S#?_?Ŋ~iH?F@D u`COn%G.1h*[>2-Mt*vyۡ+lWpAĸgIYjmh!pXiq/.n >n>C{OЈ3-,ׁDbMzKiM[DCH.1>hS}Vf(H qI:k#YH٬c:"ٖ* O@IO9(uj xch³)t5Tx<צݹ^'+J!ސ`QJO?۠ԟV/,Eh 0xWB]w%B,a:,yrGɣ%i3A#P8 uC-ܔw?Јԯy'Q'j*1k:nl|\^P~QѩhdYuO2XϦ n|KZ E54k7Ŗ)=Q}ڙrrF .^lg;OT]¯Zm>UH_8:2ka[d2xQNhw ?XV4Ny+s,K ϹP%wdL*cgeEmTYVY-<4w T6u{LH!^OYj1c8Ntb@o ٓ*XӄY@/ܼ!tU>HUeELRQ*-6Ĩp{|=0rm)ȟke9 dO`럎`S@W !'w;+B =tQ9:wL<A>[ aAQ3gx2t=XZkl{'Yl93n\X5틀*=؄l΀7QE`w8.Y#?&lgpނJ.G fWm+1ɯ C.┫‚M=:"!<Åՠ$Up.|wVmա"abUo'F2a3YBҩq7dҶb-~B#O2ފͭM!~ψ -\F\L>k᭳Ҥ`b^q˳ׄ2nnxY`l8H*5ljMh@RO3uN^%_m)pcAvtEvMq0*.T3Pa彌KvQJv55<;8}e:q"-B3a,>f:‚}Ҕ-xRZQ2/XADjdz(U'>y^pC?Iܱ$Kq3|n$OXyltw$)AV]Ӎ $6晆Zm.+6/+JL0w=Mq B#xwxS֚@,LY~~ (rLDek' Ni;O3_'OnON<w7 -(VǼ2F(e_%>5w` &h;7urm=pOH_!ZsJLp.e4W7N!1p2@yS:p)V+A>O6`" "!j`J`|D!,.MU*xlPҞjj@I#7ɁZjzthpT|^+h)y1氦כ"N( ˏ )rvX]S\0EO`1! Ǿ$=YWˑT~zAmGoY^~i~J˴U_\튆/bÞ=dnJk9gG8T,Ii?21 KdR]8Q ud5Ź%,/]8P'7RV#厤o11e`XH-F*2A}7X !xܯ=t@BA֫Y෼͎u=]0eUo*j.UGZMJ"(X&t#8D5@dO?2a. jէ(`9}]UGZ+ 0gZyuVA>uM?\gns9Ӽ> 7ZPlݶ2;?*|M#AX&s宬{qf*g9w(o2T]@ ~GZuyqTs:)ZeVPyp+%mӧ_]w Lhd(v BShۚQ[M\ms)|BdC2$}D%>-~LB!9SM䂜2 ʭׂhؼ5Qs?F}9.@A4!|xȁ,om@ <) ;N1fJeNJy@ 6,E-uIvZ14Q 9#Ji;|tϖ yi."g"4!tW o`~ŗ*wr ~cQkqfQ'%jLȻnϠ!-/.Jz] -E8:;&{ f7n˨v!䈕J;*oi ,_WR +R5^P0"`GO)qf=?^5S ΓhBRFuG/X@_^f$H7̡%] iqM'魯]bި,;pc~-%eb BiǾ[3u@Rݛp _"OzLqw 9<;-V01YA5eaE)w H᪂cď݃ &TⰘL{K#рIzRk^"td"i?"|8NF-Kt*qC{2F ۏ,伳C[*e`6k=;D p i wJ @s+lJʵ9g(n1_gjasobsx\xqmc*떧ߛ;DLTQ9yYğٓU]3!GV(8 7aLy)eC 透$Y}nl0 eфt_zyA{PmRKY PGF+|@7s^ކxCyXu.T5goF7̘ [*MkbsZz-- p˛+ xmoT; #qPB%.G8N`UJs"\3ijLWeARh4.:ܖ6OS ]N횛p<U[J<>u'0gO>&<ԅ픂L}Aϻ̃^ gE. v|,!҆-r?e 87*HWezeCHWÔՊ\e{hۿUöK9b4(?z?p2gA3f{j.h(,O_ Aʋ!d"֨!e,Qh:r7PPpW"unr&`ymӞ^^yhLsmDP|=#d⻸D n8s_\X ʹqFயkj_GwD_Ɲۋ}sxOm\gIV;0; ʌ4"k&45:=SSwŘ 8Dwo vTQ38!|[&KfU,CSo؞- ,Q NTlYCo;vd2R3WV۱4DOq W="-Kdf/A~*^~i=nMTn^QyM}3w)7ƊYক<ƙVH?Hem LZJZ֏ ӛn#R}TeR׃̶k}u4G(We}bfPPOXp "hbe1aUDOlᙂ_~Qkz1]n+/6`0U[v͵SEoѥ#a=+#x# O|sC!zm3;1\) 䑐 [*sy%!-@ju7%ˆ!&:ptEaxȈqa\[V؊%"m w+cz [o#~j$f;2Ճ CGK](t;F.<[0b+lEx@E^._L!85^τRVBA2DY𝸱-w\ձCvD_qݠv tڑZo%2"`SE 笲q+|бpWm|M22?]NXaB s!~ܚe-z\3AA/%9 9{rB4% 4jx|قIN߈[.x [2(""N>d8o)p+| 8tq֚%b!BzNepn|&7S<.{p9` }a:p&::߅jAnjI] '4ԩ>ce66XK b{ڟA۪4ji]7xcY= ě0GӍ=aDFN?Dz^vdRc-J+/@k8DD Mzf&S7/5[ID9)MXCJ')ʋ*@`H}9- crBgYxyj|GT{{k%`ٶ!rHL V]YvUFhB\bTKQ\'"RQ_ͨel35V< *#8kp}NkL'.QGܹ#81.Wj6u o|*Ȼ5eK _%E6ipaVKKSs ݇K ".R?LIz 8nĥ4 H ZZd@ tm;`}W`! ƭZ;2esY!೷dtIT6m4-0S&RPз)!ZdyH}2pDyXO;\[&& :)} [[)5*um!gǎ6avYKZN HPmHI~% }u#qTNf~"|zy0EKϚ4؆U]x|aOO; *&5HM5٨˵S{nZqS7^;%~~PCBz3 B+۵/F^7K᧹Qpn0 !ڜN ȡi_Z?2c7X J|9-.d٣(F<KS]ux͑ HPbş͔mĀ=:Lbh>2#ʳtcҔ%M^\zVw/Lr1mMzYo# \ܦt/ꛕ Ba'Y{$z'o3{D60CU.Ljm  9$ ࠐ,uhW)E94"9LJS5+D)[v{~tz&;_:Uζbe;o`${HThM$6/lh% :&L`TMN_VwCN{9;L@&j~r/moorHQ)kųhu y}*L:l,K-XL>J6*vΰ iC,D˷V͛Պh& g++JI)TGdoaӁ&},MKDt;jC[/cVg5ZV!J3QoGk3O&+9}b|t1Ov hAk +,V{r޹4,Z'1gy3*+0 `HBCwh8b frʉjA ̻J5Dabȹ2*xgko$\>lmbK%djE7?{(~uVN7ZRP}j6ZG#a\iyq-}*NFaH$oAo8_qٚ:7K /"1VF]`^dˉG2{Q'LL1ٰGĥ֩hThrս_Z[^1v"*1sHhe]1xFAZ h[Z@XGGUWp}a^/)OFKdX7y1(:@fH΁^@7\y8clGs'A W8gapi~p/N01,)A=Bh6c9,7ρ2 N(eGW&^Zq6[b?c0ѩ..s4\7qdB4,q[=2t2\PHZ̴e0K'@V:}o$S<;Чgc< 9E'#G KƉyPnm3UZ}ჭܔ19g rkܙ*0^=.懐[\P{KU݌T z$:VPB;m9+ {q%)I=ߍx7>A%&Jw:qEZxz%Y9,b $(u 契}]" 顭V_=wx_MA4Z-4MJJOOImf`xϒZ's4$öuWl'^2kt#cb;\5&OhGnٵOByX`9mtgM忞P|c򺼕2p}K+盶$Cdb!aہyZtN/cˏHd@<<Qƫ0@ִP֡yׄI1m6rgnE!+ERVZ4MM7n9PO- x7°ҬS"C^5zk߰/1JImһ~1/kBI$"hdv)R3+]\1t|\ e'@YE)-bU8$1:;.EYnįmp*֡Ps:u h ,w@ 4{FA6**89OɊ'V$s| 1|#5^ ?:VU՟/Y_,2c.<{Ծ&"ټ !;2pRXUD2I a/1zxQ-AxU0@^%G}ytkzyj# XH w\-\V!72~FtHE.]npY3R@|N9HA=1CUH7d nmz]@hMbaY9uj@Ǚ| yȚԩY0c\8:rJ[}q, 2b rs)7' vd!9^kI?`a+ieիA^%G_zdĀpzO 1NLw:Pd3o'͐Ct~ 63cAeS߭sFèL9x[ Ra"ʄW!ۄ@ZoCm{QS+,Ji_q`hCMi7Iy'ZF#vk0.* 0K &F>b^q)K"(+f%N)xC]JC 2l6Ftc 13-xu #Djy_'?f[F1k"wvR3E!Biǂ6+NZ2W]mdo9ј0e68#{;HFliV%<alQjXہ^4c (]1biO-Nx `TJfڞECM1rlZϑU n*c]7?<ڣV{mStB91V\2nGs;dEΨ0ru}j5rwJbIk|I1Q).+4o {bԶjİOd! W($)e36 pE3Ht\0oW M/+[9a>BIvfUnu 9ݡ FMfh6Юx R;/ A#76 GVw^}ߚQE @v~<C9yM>,GǙ%z+Jb 0J](C,iψc|a+`{R5"<^I(7O-bzcr2UDdx<Q(]i 7g #0D eʖc{ϋAM'*dO+~aqҎωm/HN:"i*[&{ M=osgU/O&Ŭ4mH$.7875,.sF1pP ܖtR X;QWU|3qX]xTzMPqAiúWF@ k _s6X;r#83~eb3@j H&X2Q 00|yLmX.T$-YPL-1Qɑ>;?) +w^6V^:(^2: ~~e0Za 8bz ?AD&j26Mӏ.ͪXV-yD' C_Ҋ$p;6Bfxc&dnъCTې\1_ MD7NkopG> {c]o&=51FUΨ lUlyK}p{ &J͘wqW/>+2{TXe( `t>8S(*D9>pQ>_uY[U!do% ~OΫ>q.%GժY4'Zn34K%L[ D吨xb kE1J)5V~ D` >C2ՎEd"$3 ۛʩSuOp+A]=#Ndy$L*K$U$iqWn[|LiBaAp&_- kH7Hϙx)]Hՠr_J mXԱQ$T]'[o=*W*%OW 4O%UyF+Eܲ.f|@TL*c;/l"/!wHKRf*c!j?azq,lM4hq˲>]i~dX-~1Tx+.<@ ٧E*ʭMa"M#7!)iKcajcmdXnXگT~Xפol8B!ЄM&7WANשU)&Vo.\f\X@Jl#G'~HΖ}?) }:O ⟆M!/vv֢6\EL]}.AbND/R+urw 8ܮfKy}La&\I]H(*R8=$1=Ě.c/-)0fw 9!NrɐW!eH6[c LITJ(|U]O\MvKN㱲ɯȓKo#/m-/P'3H9:u\Yҟb$9Ȋ0/ YWç%^TZCi?c158JmDᄸޔp^q)3$RcT` tlSBD6JoF}pO#?b*%fC>z qψg j#d,/Bz8l!|0SqXi^o*q_b5s9o5  ^ÖwT5 Ge^0vG/u$u Z0h?o=KZE $E+hPc.{%$5S2co& i_[L}Fk!OλyGq_0Ge|<; jP BfH3.YZ}CWZ 6 ) 4#'H9dy"]8[QJBt:+86o Kddtr-yU9|$Sk2](F$ݮyI&9ǎW'Gw*RAtTjhW~-l@ DC3 thu<[T[zy~cc?J:Ɏ.m{u 2C|mp:=a9^ v7$YJ E'*-uh\ ?.hUY=9ZjvdHwDj/,) _c{l^y61J cc7[hcP7'ί(OoYN)CzJA{071(O&L,{{8- 3\6k @hV<:n+lW2U~d~P#ip{KTpr1]dof] 5(FC{$; "|ymȦtaezh֡<^D I0=þl:Qx }P7+x-Sjt&%_k ctgivfGpWT,QJ1Z_ ߨZsБ S̗ D('W0/1Lj\P\m &a墒B(,`[X>:W][.tIJ畜guE*> AP5E_sę%. ]]dc>1 G dWFq}0$͙knm$NM#0T8|^*:{¤~X H^Z6ƍjr-n?_8v(^b-ur1y:759`X0rWATrR*5Ezz4֒7u?@A@ϿR꯸RyЋgO,?ڃ0%6hnJX+#; Ora&'a%t >^N@BQ֘A:-v{zEpg{. "Bv]i}a}y|"'Zȡ[4[4B 3G+sK|̞R-h#2|eɈjK8|9K> hEJ̽/u!`* TjÍ/7TVT#ifuЏ9\m&_kHn[(h3)fQ6"F!YedDKq,gJR Ov eAA\fpJ'RǰdL ן[6|?kHu@4..$oF5'0Dc4`aQm,'~d<^C/EӮ8!ԩ%υ\]_i@z=ZŋL\+I8&3|g톘snkfdsZ8 .YK#Z==c4F8c1VdVЍf,ٚVG'!"nS5% y;-ou8Ql t!ʔf $v%w֛4نl@HhACf$~ũSd5 j+U[?QӞDJW#'suƧZeI#u tl~V}h,E y&l־9ZpX(yH~C~0(KD~] b#nISoB< f"N 9m.M{t[@0J#`7pZ<ٕ|Ƣz%\V'֝U_'$Am&\6 ߃6X$Uifi75URC'6 em{''> `b8Ap I' =o^S&@6Ágrl1bԃ_o7XT2z8k<Gݱ6eKڱNϿ*;j1S E"&dAx>ƀ($-sE &2j|&)>yE/Sy.KMq *(~ގ-i e OD ij,8uVp%9:D _?b\٭DtLkFT06 edE Jt5JY@R?l w q1( t'ܬj/۽=n1"dV`ٗa "; R\胊0m07)+H{r ,{uǧ# Cױ Hi}L'AS +?GK15]=%10_J(xگ$) kvzYw>}e^n8$ORW[7a{LCR\sa@zķ2ie eT32ZC /4TCYeP'}crGC\tl VgT 1P8= !*x0[e(6.V'ہN"P=<ㄓØiVSWl!9+kynED[.ws|2PRoSӭf8Wh ߥ7=FS5868LOXVf%LD ~ḖVx0@P%+>E*9@8驓K$NPZlD[˫?nVQF!&GH;1/Ctߝ!B\Ddp nI6*9Φ%yoe*Z=&w@~[~f qnz+NhRrY,[vsʖP;^sܶT_4ta`ee`++q_yvq%Z BT2]2WU8i,΄[Jc|u‰"u&17FOR,5ueCri@uPDw)/T"7QM/nRnȂC,aV_M?+-^ i- %xzXM:3?b[Xq* i##K&,C+9s=p;|_fN?*$EޮyCÐ?,5&!SE@[T=[ՏIphw%ěYSͧQqqʾ0 mz<36݆$,&BC}}We%łMǨ,ـ|~ F3B epEq~$r3;ey &4gai"#O%@\|{H0ļ+K꼲zP{+7$9eVâM;xkiorC4F˭}a֘({op(ɕC ?&1Lkujlu46B4Цe`E1)'![rߍn-3JDF)GE#(Jqӛ&ꟳ #J"-PCJۄ\:Hnc1ժtD) =u8,NPs7OO)3zrzZY67<8+jsO@}˕H y99KQ.dsW%8=,n'̞yTBͻ# E;}p.=)9sKU8TB&ڈeeF{TF ڴq@d]\R%En?O;iS'^%l,5a:S,7B ['r QU"-M&]7k_Ʌ7>Ᾱt6†wAp0\HK)hX7 Ru iώ'БpJXYB䐚du}nI0 taB8$X\zgvbmd_e/򗞜Rx!Ք.V ~4 // g5(=w1/*K IիD12]ގۛ0q͚|JŒoTt~(-!1[%;TA鯞j,BQ-/<,!0~zDMi˓MVn!.x "#@?<|HpdhB0(5t݉_߾nEàf9~A/BStPx-cSZM2|E6#*EfqѾԮ|TLa1݀a-JC^PQgQ4~YjJbiMfCo`uWH`+a pwC|ny\z].yx @=U=";/{@l.;Xe'3SL$XFt)BFk&i>Ѐ1;Izb"KAWT%%&\`eL۹>q$  N< (|~wFh"yϘ`^u-gEh \h$?R̶*|4D4BfeW蟎oߵW:c~;$U}WK2X;X&Kޒ]["oO@" GC|6=<.5byXWrHvBW yP4 ^߮cף8VdИ~DyIYоK2I } ?&=++agv5IÂ\~fWE]i>9ǼQ*+ґ]?^+H46dC[j(-򭥉-E%ak?fg Gk͠ #{(M傓\4Q,/2IÓ2p1z!'iUu e? 墪9a\lp:u` PV \M s:x/.oC _E %n6\bLRoנ Uk70S!*[K=WY'5rw3Zۧ{o#lR-%ޜk[UJ7몆(P+`*F 9[ `agm UrЗ}[Ix$Shچ> eW0fJO )7/I5f[<,z!oivl/7+R^XǺ&$֙6xnF`P5Q3rT8Plv%E:cfp7պ~GxB#}8Dh_nS~E=9 eWa0rhK*D%͍C(bGs*pM!n7G{ޚaDLI1D?'IgBn*Pɟ;4Pt8~ky_}+wZMTybe _R2BIsQ+/WW#XM+[i$F_IsXZμcEC;WN1\_2.#TjYGҩ5KC߶̷u#KDS<}rD=ꦭ/Q3ቹPZ%ŧg\_)["92]Ia2ByG)9x~8[xAsA \LɃJ H;^~Q"^V@b>?\"+H2!C4f];x+D{Žoz-S/7^|sfTrQtdֆJu$)0t&_|Cz:5 Ya9iK!: [hJڦdƧ7-nUZnb'POQXjTd]Rl`fщ=i9[ClL9DJ!'66VڈC`^/4A!! (`-Wܞ R؋΁nTH}*[eYJaϿ^g)>ߐ*x~)$;"#nU6Mmk@>ʱXnR30%,1i#Ak)T7ICwl;숳A-88>\&#}T -5]"-,Y8h-sNPW v+y Քvr.2G~aa3ݴV6f q#2୭갌ns:\O.OE PR-TGSq[5li Q'&R W=> 'WUL#wSQWrЧ m8M Tƙ63xKyAyۯnV>hޛ~/l[{HAC l,trWA-N@V ~~iG,mM-[4Q&hT):|4 Bx}0g]S:*F,2^0vVZ<楼4SϻuFїTzh"̩Fz*wME&,6<-ԙ6?$R&dqꡅR("2Aƹ0 +b.CԮbˊF]xr1GR;o^6-~r-"Me{_.GC|E3TI ϺM*YiHro1RO>J->!b U=%%3ju 58?qe\qbmy3 d ɯ=včc&)nUj{"_:Y0\{ݟJ Mp!oy:X t;atvMb>J6~^4r_7C5i|<#1dAziU >/Y"QM\捹<{b^`+ !Efeدkٙ+=G,! `vdb #W@n/.-ލք5Y?^|B]hu ٹ j|tQ~"\gŗn;BWj_5+v֘iV \#VOuߌrQ^5mu'FGT,ʍuwWfBnfYf2?%XnkBmN+&AZ7dԗ2 )E&nA}UQRâgb" ]G rGS" ڜ-l& h4"#a%KV>ENDC$I.SC{ |cp5Y߳))gZL{ $.AK>QeC'Q{jp$Eɑ7tRaޝqen-K"_%Y`1ܲ8 ?VR\XM;V`-`G?I׬&{VEL{]Sܢ-vB}-iZP䔆7q,Nb--@91ކ5Q_ZD "^Mc3{J <;#Ӌ6F@M=":ǭOE]c)rfCleU||'[e[F OZkqlnB$c$K=+cT?8\q@wъ7EAXh28D )TPs7kn_Ms(K.jk ǐ(F~v:QW;zbٮMԌ, ;AsAaf92J:LJ-'SDplv1N9Whn`)men>ލ%#d^+4]%lgYZ7zXZִF! ;]ŗXiɟ1˦r+ bVj mGe`~"|˼Z:q %/sP̦^hM`AQ+)wTҝ~ mGxL[i8CMpBɲ||Aej[ !SD@=O7MB6(\@)bWHƱI<+6#Ʃt r_X8*8'@[>oi||?w(d1,b݊BRvzâ)gۤOq T1H~521Iz 2($Y5EY<]U-ݽ-&D7U-/tm¦`yɁƟSZ3ߙ)u-J k{`A/o*1 8#!ky^c)K!YVJNz} =e( + \\x4M&ՅgNqj]BWWĿd:\ÇLuKsoni<mvt# .à?~j& <1+ hB|)mgOv4wV{ (~e&㎃e2gYZ7zXZִF! 5]ŗXi%L!3ԸNkҽx qsx8cv".ګN"5^IV LB72r2Xj>.'Dgl#IlGןZ秨8a~;ȕ=u~e9fH rW7ѵZ烀F$a:`h\âBN?fvŤ_1[m%OuJ2og8I<$7B+kIK0qf (m3qyw@ui>PPkIn/]e0]EVXUIS!5ӮKhCf3xqf?;JՂŶW2%cpF~(b84}:Lh Y4xy>Gk{B&B$c3rM5t@Lr;IR }+Gud(_2(i < Ʋ֦ζg-394x㆟KOJ榀{=FTlXs*fE!\|$?,(}e.ZP? Lld6Nu@%˂ࠀֱ [ˡ"?e}^_+z[Laf$[ uuVeL;5-ϑ|n-e%H_Us q$}]Êq~0-VPϭV>^nD샕qs96ƲP^^ \y"yP&K|_w4O<X_ki!avQda[$٧;oxvR.?[Q|) ߥyH]p-ɋ.#WCPُ Y m&_ڨh+~8F Tkl̎E]aD-v@DGy =K%8{%a9'16L^ߙH؎ɰHxnJ$oL@ELJ+}ʕn߳8љIXkK}8P5NUzEiMo} >-h7ɭ[p鸛 ESY1NxoP|8ր؈P7+uJ[("t'xdR 9aU UǤ-c#HRe>-\^-svBeWvkBLw  D>,/Q]2RPnGbU3 cx(6;~HKV]O> M/?_ӧdH=hЖ**xcH(S;zIFI+xp'AE:ɏհ%CW}9I 7+wU*DZX.i)(JM1AJZԺ hJqFJj藰ջsrgRvZS>'|R7[ _<_UũmLĒvCaNL'4qK~Eů|JTO#zzx^x^R(JV}G,,7=YHv >b!оq'i= s_,-F#IC/ɔ8/9[{n>v.*o%pވ$nY+tOQK5fT[ `$Qgo~0|"XUSyŴN~{ǦaX"0ph a{jn硍؛Khn"{\nH dqדld>y@XkH#/SVtM.3DR(K޴P@pdt^ "i@8(lJѨYsN&8`c\9.򈨓Y8`ؾ\x9qM2@{Wæ<r6lrs֘6g[sΚ[,A,ߟؗ< 3*r"݈EbqK$G_eb%j5/]?9`K̳i<֕3ЌD-s`Խ`?Mņ2>Ȍ-GlG0="_|Ie&_CH; ]G<<%z5zq6q_]s҇Fzk%zX "ҁ(~ V(Gn0e~ӆX#{~Y eW 4RF