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  ( (!Dl| ]]]HOL-Proofs:threads=2elapsed=989.051cpu=1695.480gc=157.416factor=1.717zXZִF! J]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb0_Csm t)=VO e{OC 49-mYIo֕)fQEvN6,rRʮIo: idQ̸6 gr:8G*|"3:Fty𡬵,9T t#<{lʟ5ɇs˷f%^h$ Lc( 4̇ިˇQ}gy:‰dE'n 7 l =mB8D?s͒cV{ifiUPScNu‘ck>=G\jtT'.u<LG`mE=f \,Y!yeTsj K_fFdD,*!>mOHChk'OMj=q8.ˋU-EӨ(ޢŲ+饭&7LXTpI|¡U`sxѲlG4wƐ,0Gљ1eꥈ/MO%.Ixn߱^V0owkZz$/F Rz0S`Ng+A^jWSzZ_Cc'ɨ7nOeN8B;gy >Gͬ0`A![Ք`6V3Y#uX? j*ˡD{Ħ4ohI-:np/[ ׻yRRȵ;H*mvy xMel(4zņrV+Ѕ)[Y]-5ihɊjCȂJ2wW)̚;,~a A9l2> m<$b ^Y&V@\1 vۻNx?r籭_κ\hb /L[@B RfMC0P@+1ݮ:։e'jʋ }PY]ᨥtUrq!vQ;&[z%:ʐÁ<?}G^VJ2UM3zRӏnnFb(5]߷vZ,u(]Y@:C7YT>%ǡ=!ay|Xni] eޮ\ڈA°cG®Ys4dw1*G!X(,l߃Pሄ7f3 9k)Cx#}XEx_%Ov0YpLSֿ$.) ]2uVyqA$VHV>uٙM%Sϱ9tqK}B=TS ls*_9OC a];4_vbd[`B9j,wiӐ|#,58B:9,ib#t&↯T0və!Qg0k[)&Tb4@Zfy@ٹ$o[ }jg>nYh# ]N^+ѽ/*E]8)M-,@HQ%gC0SpV$@zE29~{MM!(T'm3fVH4# >DS_ި8p@x|%TtCx(6Y$Sw/Z(}׌I?xJ=sO.>cU,Dc] 2i ,'<靿B74< %d=զz ܧ^y4~F1 8֫X4MY6]I4QrgPs:>G@}UAmm*A ԭL4N^3{jvK6kg\  {s-վs jDUFދi{ \O*0ȍMUM=Y\ּ?ҏx=w8X&ŋiu#˼lQ}cZ7MoǺ_N(X &X/$|?o\N )8}Pp_J>{nHLL,F[`zEy"xlC36+v]eƒy,IA<4$@_@N<9XOxT P v̊^<@ݢl} (P܏2)@ȊqEGDDDY5**=zA.N3<$ Zm \4#Үmϧm}]i=i-z$Ewrj,yHɷ,ԣޟ'@8*z]~D$cf>ġhR΂WD۵o%s8 J0"ヵ kJX(4Tdc%Q<ۺ oڹ?Ri@etGDoDj:rtEQ[}qנ)p@(q*1K  f_eo!0sfZnL%wF/*wǻF/f!]n>kјri1E} uwd7fM" ^&R]̮X99'|8׽L;7B]ebj,g9GL_3ΑZ貱w;y|GG_:KE2= Bv%``N1 ]GX5D~/5JضϷX~aȼ? [[>M/SWccbmвcL>;133n`):v\B{ƋqEV}urPtӉc˺ph]/N۫kGHre33qɈ`  Jk S"v6K;Lj1lsBH;poyK6x#}"v?̘֖!o"k/6RiW_zcɯSيJrs.x Egńp\_}Jip{ԊxvE,Vu46bN ';R%0>˰} U *&cŠW>[FCcUmuլs&r ppW8/=‡˭N2X乌 2CE U4xe5#&PA-!uy<}ݜtGLr|2TrC[꿂㔅ɻҺ_ X%Rۺ{r95WFxXŴg6m517-6{}%_[6l8Wnk~pR0Z]RVxz|"|KWkkqJʋ~b5?LtR1ܩh5n)v5Ĥ4Z>!hr[nrߵ+9%&ng^Hξ}+ݒ4?+ pR`g^QDm-o'.8FYyEyQ1= PPP4m yP8nIzu_>b~ar#>@ߜb"Gl`c'43H{`ۼQ xW\KJƜKHx⭎Ѫ˓ J`;_lf@FLZm( l.JG? sdV}P!Lqh.'q=IK|e7[;$`9;;b%x!-ϱUYY~t|7 4ځǙ_.|֫&`Ύt߹mOp׏Dly'JV&G}*>mL:tZȢHQ{wfWk! 25"D*9sV>`Gnge!hr3M+¨9HE:CbT)mduJ&ɞ" hHꕄ$>yyKVxUrz|Z0Kod4ʈysVJ5 n#1 c?j&!EWO-h/; p{z'wZWۻ7Uc<4?(dcK.91BgYZ7zXZִF! T]ŗXiɟ29aoʼz[%U>EM!!*X0M2~ivYy5glR~ bs"%5fBPv?W`OzAASI2x-e/G͖׼'}zUN6n4Ng>z`Fs8ҁ|6ݫٴ {P*rSKEګ1 8m&04?cLRmE2B4On笿0(b= x )gJxzVT%,˻=^ޘ*9kULXN8@s.UmiODOl٫\ G>,gNAy%<# @:VLw a 6Rwncs,ɥb=n|>F]8= z@ Z#H[szt Sg Udؠ5% +بB^=|,%jnbWw}VXP_xu^pþdK!Kǩ|Vţ-!b<@ZnՐ ~Kjޟ7_ШYAcG[5JdXQXi wVœn3I_Sd UJ')#Ty;{dbyJӯ/M4eI#bϩY[c t{讪`ؘ@fŸQMoXם6\1.'mQXT+4űq{dUm[@K䍻Pr|nч[wv9m6RY>fM5z:tHDiS-JI_ {ռ ֞kǓP<#_(鄛=^nf:GzK'h^LuJr=") uBk6jU\]gS #ХZ6@]ͳ/RgV:9a4韛*I2+kl 7c܆0J lf'j=mbdw#;y@Ԃ6MҖR:YЉ *"E {(Dp@ BpAnmŋ?<%Ku78M9C(@R]Q"On]ڈgF2  2UӽgYZ7zXZִF! سw]ŗXi%;H@E99D(LKs jj~0&MLT&=6EأvڜG;='!> Y {.l|R9*3*s)Zh|{U4 Gl](G4кG[MA`BTޯf,"e^rR'3rynߴA&>a؊8|x>]:}piLٔטhINy^]$ titUZ; zwZO kAxZA[R 63Hz]p*aĔTǭJ_` O,L 2JX-?F0^tEM428z;C%Y^^ښGZyϒA^rj#>&U@oݗnVPM5}v*h&u4;f[=R10.A;3UhlADxllm$H7JU=W 8>&0\~m%1vwPWګSrT]遜v:!"ZNbpWл av a5)t㠻-" (<Յ4?e7YgK] C" OùԌDg{g &/(q pz0SpV5B"_jOܙ;K[yĠ%Ys{^F' Y֣t$-I4/6P&+ [؂]=)Cu-ն>T߰Ay4~IT) to3 AptAW j{̺-^$һ )K;L6;s0m ͚Q+ y߀v'3a>PNx4^)4?xe杌(!HLI&M=BUr1"(e) :Hr/-pTfz ,NU*kyv `ac \DkVg=:CD2u#?b:IsG<:$(x? PgQfLP|%t_ $7JFPjZ4<9rs'(nlJқJJ =Ln]CvmiZ!I/6 y~tNbt%֙ Όwq%KI1+G%uol1UCDHN2I_]18cD=@ȓ=v8 1L-#A BČ 5Y@ZKa5\"d` y}V'Cg@5w4ΈW)ľ]8@} 筅39!59gNʎY-7^Yox6 1. g ޶ VI>by[Jdvp/c .wUSTqSPv:XQA07'oe\bJ'"sg\FHfU$I隻IZƇ UQoC7 RW(S+eWatQc˨np\j05Qi`*<\8dƧUn 7: `V@cc^LcKo4wXr`UtQR0#!7$=h&>yE 36g 0@ZBO~ ̸`( TGľvđ#r;o+xye5&k c# hn& !sDeEi8UꐾS_T'^8 lE䜬Xv7t•lᐾ:c]3M%em6A9\ımO1 e ²J~aRsRMve?'̗"'GͬXPC:moITiS3sBe WW q_|G0FLw8gi|([~ ,ip}$9Ndc(ZZcxHQypk @!o T>J Oj\+x Ak7 <_Qϙ@hsۦ#_ psݍ??99^uUT p^kƤc?alj*X̼ Z4G:[uWD!9؀x(HڶTˬ JٹhFXZp¤4V{0>WP+fU wm߀ˮq$jAnr0x3U^L1b5[Y `=#9xF,Y9&@IIȈg.PUCIx-I> z#Ef ?~c=6}2pp%;B2>WBg "U :6[AD eB?=`sUj qJvkhlظe$oZt B<%.&ݲ?\ډLeYr Q$DYVs}:%zc=8:8p'׍Vs1/>QZ30x]r˶v VpO iY5ic] ?%an_I N\\0 5b@A܉]S #/S! #B2@G9Iur+|@{+.%g0% UָU-|P}\}~٩rw?(bEat6 3{n!Ev? Fǵ_:DBλ$nk$@R(ב0c%&2S r\&Kz27p\Y24a/h=p몷gsRf9?uvmGJ\@j)7(-s ` ܙ󾕇|տqkw!x;|~$W\d{ Mkag z@])#E,JqɨPZz4Fg"o)/NG(ÿCIt nekq]ϼxhG*_':&|X)}Dxll(YGFH@ً G"q~Sz莘G>=D n#Q`^źN ~0A햛laB ^XdI'uSsXuC0dMhs@TXk(<尿e6-:8+J׸VusfVG!%F*.X+I\c'@[aD=pk̲XXgHU>JN Ѷ#O/yuxIn^ y|1@)Z S3G&ΐ9 Gï 7'э턿"07,DfsS! 9(M 䴕A |]lwg!龘C!!rlwΚC6$k22.Q]G?Pֲ}'Fecmx[>\zz k%qN<mUhV(3p9htzEЇ&! [xV)9u836)YX'j.3))a~ֿ& > gB|Afa67]6a]S/'uG⤣d?K&MOSf8Lj@T;=ۥ_lb!~vXA(ڂX*n1|]GD0ޝoJJ2f#Q,H$Y\8s-6Wwљd>4.t6թ;Qͣk:{tՀAaA4L21^x& x+0aCA6O Ky>׽̨ {|֥[^AȨ \R3%񈸇n-҄e-Ak]~60&7r}ꮻ1%dxI?z6sC+#VdqJ1xJ3^o;W|]A+M#eg~'l^OX|ѧNu7Rg$gd4ۀ/gLrTޤ(IZdoRPZ;zqq8ӡ 䕛OqSCSD\v H}jtvFbBMI35&"t3C0( ɷ[kUxz>ësyk%xnD}Nduu.c:[i£T&w"h:'xQ ^ڧ RAi ^Q,g𷸀| +=C3M k^#x%m+b8Î3:t<|)x{3|˦6ybiy4(Q\%uE!.R v#Zqp/!^'yE&=oF7lOʹVdT>!D,[3c[u-("}s6p"9p@Fx5j3d]so*&'&qtvl4Ϫ2u _m=$<ɸ4WJDEo )0cxvUpJ2/׫|}H*XfH&ukD ..poǨx&4|6}:m动戃0n9.nK vԎbKQa#%5t1͸ie7-i>sBDY :)-prmZP{NThPZ[ia%J^ ;v5QJ; u ~)y!=t[n`~cn~ ;+l^.k,S&̜VyP7`V1 1Ǯثq}8@CK=4Z[}n~ 1DyCgf"608LirFD ]ٙ8-[Yk <<ƒ'?a C"'HOwETطd2,1933k+8P˸Ɩ87B(BM0y-"Nj\ ?8~A]z:Xj,iA4ėB63ޭ<3}eZ swi%d*6yΏ P)?jҶmaXdzЯ8;q ;KHPK ݋)!h'GkRC&1S> iΗ{ mzRqDQBU?T(m[,8q5}{_&wQ?*g"溭i)Q\4#$S Y2^X؆'T6;WNZ ?Wl=IX%Wy" ekРUi+ԶIF+-$/&IjsmG\ZSza4B)W0Ǯ fɉI|w ж+lfqA}%fÚ|QRb&F⻙ ؊mPJTD:=NG9rt2JTZxdwE7υ6"ylv(?"Rfq\?AOR송хk/zbbR6w3Z}xx6m%c@]Fa U8|ԮĀ@vN@,x]RMGI&Ĭ9 wWqP^قy-HA8fZass%koY&I3YeR/- 'uhi?5W)m7t r<v*1M'VڸJR+"q{i>J 8:@Bαl+T-GgS NJYt\rvv5` vGR!6:klj~f~i{;%S!+.YaL:& |Җ8#|Q3`rlxlWX ٙx3U~2O#ͪ&DԒ2.|IO˥;Ң,rN<؍"SA HS9qEl~RsўO"pwb`D8$PԋU,U}Mݾ2YW6,D¾+MLc";yohi&{UtVnC3wB kkIWp,_$Y_׵H uiiiUIGt҈O9+jJJlX;'~p]C$V (imGT)`e]Wl?Ls nE;ٛݽz+d3f^F4f5z&kyk9ZBp'|Q{Y>:*Z7@r0/0bRF;7N @0=DLF(kY-\i+*-)Vu?1VAdad~^iLs5]9mjtNmc_'@Pduq\7;($M7&EQQV'v;|AXY{AtB>z0Mk6}n"eUB1lNQBMYC3{&*;|n$% CH+Vb$y'|sRr1ں]U]GEБ}A O<@^I׮h2\=Ҁ}{89r$}#`i'徂P/8  mb;bքO~L]\m|,ղ-vF?t閷q#DZ/z79e<% u4+5.^DͅhmIwXU-6:CljԉKb ^ ߪi5]%sqn(+t4{bg9}-pI"-t`MsjK;5}Ì qzj".BUBڴ4BjD~e r0EH2M2 l|Uoim;sj.dWYRhZPΞ{~-f?IjLqqL DrKr/RgrK?0svL!2*5}W9&0v'țxNLۯYo:WfV9 xh썃 ?.^"bR}M6G9mQꌏQX ,KKSn,4C,{hqhvSJm-Y+ybzT'dStLI.2\m-qSdUyR?wDB6,Pem!W{: 4S!3Jfu|jn/OoQo C3PǸ"׮Wĝy0x]hK g`5TZfrj]V c5,5"*v㢽,{8ʟS2sHJKv3̸([UAWu0H!%tx]yDZʨBQ$|ȩo, e03Ti U`~7\ώ M;@Qxu ӎ`<π~#cо![oڔ`1D}q2w$5'dFO4ex,ݞ|ۄMXGց)_'l,ųQ(v) Jjolk>/295Y)$ >f@8q=\N i]!X;֫axc9nk%t ŧ\}-@zqȽvԟ' O1֮^4 ةj$tXBJ!|^+@ O ;`>Cƚ_l&AC]KgGV;/ M^đ+Qn0V2YZVb#zٲ6C^Lݓ7fK./: 7j&w?:,!F*U'x/`^^jv^G$*5t谦N|@Qq^6Fxjf'B:;S`-VBaZs˪e4Ef bz~ q8̎c֎.R7v㫢ce-!~,+VPq-R|jU}6<.@mGwNe/4tD𖟯J]a']iyp"AK/޳g[zWMq!d4;Vs_MPiuVO oGz!, OR @1s>:k9O5֣UItJw(YL7CKJ1y TߚvYGNh[*m>ײ%OV\2_SOdNB<9՜ /R`V&2Ǒ8v 7yܴU CqY8stUSK'B,N`KŎq=wVwV+< _jHjiӔ3 ?3S|b^l۲IfPe[x=} M/=':#~fMaRʵz1N!a~2%]fWIڹҲzCRs Cq4r WlL8=M]K~el{Hb@lOM_`TЗTEgb664/{Y짚G\m32,OH\d|PwkGJƥ̄C6Zᷥdԗ=C3n$^/i D]W= uth 3t9Ǫo[Ŕ5뱟˄WU9POaރFqd;>sť]Y$VwiV ڃEaxN΀|Yg:J%@/οds-ꐐA蔲DzU q[鮇ZAK'7;XQ)#; V zX5Bɺ;gZ]68(EO\S븀m`L`@v qmԬd=m_T5N&00|&JE'k`,Wq"lgXO!kAZ <5e8$#! 3RH/\56smSc۪ɾ& X9Q(t$C'%䘵h,~ԽNO/_Gz>KAiy`L dUDNz( Ct)`-xP)k\Gk*2#u^NTA #[:'n'X)X>'C+ͪdP{m gA<\LB 1Kc?Sm:H~!eW:U8\|[cIV13Jxu^%I )Lm/f=5aZbH0j5mr%1R Otɐ{H\X ̫D*ҙ&E 1%kH=/a27!;qpQ=tٔ$`!=;㣔f!~!VN]#m`__'#:RPw~3^̸Ǥ F UrмJTH{_+[ڮX۞&&Kff빾V!#2FAi SQ> ݡ.Oy>`O!Uj!4#_Ih[0B: hp^k^6YDE] (lBؚ鬍9'u72(NnNp|% *:4 ,- KYoɖBf 1уՖH+ϊ1n.,a%wU-K[EE8^tU\~`vU>8>i HiirI_sū6[pmZXF*ƘB(#o^˸% •dZ (OsјCTs1;2jʵQS/hl3:(D63?=( :J%q.4(yu+1nC.iˮ 뎣Z ,VO6.-mz }]+%$ԧ(Y(# J{^a 2(N(Aﻦ@)^r8N;?fomNEҕ%gP̐Րʚ7p#xgBcR`:g0 7xhF |>iH$12o!H L N؏ի S\兪!Q(b%1i9&`!߁2t3 -+^u99l>ElNhc#? ,/]_$%¿tI/ +(\]7HqD+ڜJAM4sY'*S{^sEwJf{A9D%\G’jCaLv7Juw$k6exV0^q-}l<S}=l(y<$:x-lx(9&a Qyfmvxj8 ({,J?I)>%Iؗov$: ^B#9p7Sq [B1e.kx,b1Mq2U@La&7сf7(9\bL<3BXBd{;n% ,nًpˢ7ɠ *F+l-Ph)d3p%%[^)Z=rbX~N#6fyZgEF-OOa$g LtNew٠?2SHG-Iո8Rko'*\ƹk=='>5vPj", \8WNDڀޭW)X6!i?eF#bHy.dþ5#mMFԂ+P6F MPrpN :(E6{rSvӑ>>23p#߲zuYZ{+3(0d՝2mbzʔSh}ue:wE 3d{ wF_Bn2IFIDA_UV8,ia^R2`+-܁^0g[a;U<<Rb)&5Ӏ)YʽYR,?ԒH!E_ |_0 )`«/U\}rȋuÿ<0]vgj/z&1RBePPpk՘iZУ>Ǹ(ENS-WҲlŒPdfK% %d;GZɱQ@:Ax>Mnk,:^F)1Nʩǒ1˶dF\hQ- A$t,݀Feo Tg>6e|@Oʨ™%p-7g0!ަ9fȿgl%.dTht#+Ub `?\J^H.@`;g$Ӭ1{јRwPT8>{Slqme֮zk( 2H۬g f#w) Ӂ9@8.wZ$vg+g :%۝kӀXzeZ)ġ4\{9z| C mjx;m Yc@b1ԑ" 8;g_,CcwIv~ehדH?YO y⛗M I2)WhH1} *0Y{(꼆,y`z@B!{t%Y iGV(`@H̑\qr%~in̓H-;B )Uk v8k]sHp噂y !Us co1ߡM' UbꙫvA;51\r@@&\V9WeH6j5q?Zƅ@&V+m&ڗ/. F 隁>^P{_Z)HёT1ahYB0"¦6V">9i؜?&KMpzT3/|%A P/BH@42Y5%zN)'wD4=<̬*b\Nril=,+on yVW mԹ=Ev~NkS[0pArW}#G&g.{5ҡŸMx&vJWEJ5$ xQZ;T}*4m"xı6S|HLNC1n.yvP4 ֳa~˜B$,Z Sw#֢?7J 2P'^"#+F(_qhSZ[2ӶOKM!FyurG|*-૓<> ćϖb#n2E$5A|(qigN9f|&OAṆM"r]bdejNԼ*IKŶF2 "gTD?x-ynuf; = $T_h=w" %\~k,BJ&C9?e)4 tAO UK`U|#:P~[&Eg3AÂT1ĸQENS5zr\8~5!>!9 ák4~RXBqDƽ~evL`/ m5uD JCށmuW wwK_ظt< ܌=rD!uC)3\`}َ)D6kf{1߻1_E 㑠{1=o`>F\hXbi K2@ z'nhw WCM0j "Ǵj/xuAhg?$ڱ/jp ]Nsܼ _$TuAԫ& 2=g+fђ jbs,?菥5[{]¼+MR\cHX!1"SYPbwjI~!Bc+,~Dd`!M?xADλʌiLKe[&$Ҡ4D~X}tL6~{X5eݍ Dp_0l&sP%'T4. vCY͚wA0rg<21iynɥ#2R 1[qU]?;û-DITFcwE-#?AB4]jA WQg`(!1) E:zK[BJgL7?.>ȍR !ad?}MAC[G<\{*|f2A:ȱ"bG%t }]CTL%burKyTbx QhZ*ڀ[_Ԧ#=Wa3 H$t&dOKI)p\Uh7еET!:'<OW6bkF`6Xi|FGvx j\b~1¨c8GOi"ufT'œ]isG$tM&F.^N-:H o[W[y^:06}Ib8g >CnQ]\nZBmU \w*QHX(l44 yv3au;12X^~`cc&I8*V^FȌty X޶IԪЄx_#Q>:6/1v6Z%Ⲵw/YJUAUN6z Up)ef[+]y#,[@$Ms`rJ2fXZ]Yp Y*q>);5~8!k"*yrwhxw2]]^H[fvRFQ\㲚Omfߎ9vG7yh6>fv7u/jɍ]Z63J̹TF4Ht 8x}2Z^ ?/KC")CxX2`VJ\hڽ,~2VߺbMXJmgE8-3Vqv`Fʤ1k,EBc^)7?7yc.G{Q|rYY2K;H ~qb9 IFc h> O쯑nyVfw_,i=xT'ӿ5Sס J\m0Oؙg @ފSD=퐶eвu.Pz-*IG׬##(77ևZl<)5 Uj_Z*w)3\1HoҊ.5QY-f0¹^c6VbG~_:K|mIsC>7#V`5j>"zzR ay! $N#0WĹ]UA[kem;B~!o']})C`dk# H+Wjld~mͷߜlR,)z *20ܷ+ 1Tn~-$H"zhvfHh&buL#[s[ǀ8 4Xrv%*V0@~Di׊4L  `83$) ak"C^| xQh~*YeXmm$edݯ07-L_dzgJwnFnI2'DmpOE'vi#3کL^% .aKy}β<0)㴢+|ڪA'7Ǎ$lYPDx O\P v s/?YOt1;k>}7!~cnZ!8ꚼw=^|b*њԁ3elDZvJ^tdo)iPj-D5KEi B6{~  l螔_[@6audx6QUuvjhȄ/~ $G.g{ji& fs: "|bda^TU:U uJ9ol\(8 E\xޠGNbɡb=j=GCNv"//r ;p9Е{ QY2S3ez04HDONx\Q=:h`XX18~ 11qZ*xHI?j'hS/ݗ)\;^v@uַqd/@hy2t2T#Mt5uЈL;1N r?+,*bĎ?~Wn=Pq'ߵT4p|_dAm)FXL/0i;SbQ3y# ~.+ۓ 9e NȂ`z $1KZ KJ/&^|K0v[وGϗeYaeE5~lOf46d:RGM yo:n'0*l KƉ-%1P eTbW c/Tq~jP?âe㒔 ?ҍa3t +}Gjean0tM|À!SEeLmIE?ԙb}QWC{緍"+_y ૚^cn[ 3RM KhK]L7駁/j?v״#07$'N2vu89{/q;}dp%՜]iYE{}? ,jqr~LxD&E7/gpcLfN](r fxp.laD xT3`;_q00._ԁmX=fJm aW«CWB2QROO#^H֌Ӷ~`u@FP\Bzd1Ό܎Q 2]FFjf :In{Mx7 $i=WSk|+}v9]jH_rt vkOhv_L= 0 @1B}rHt8\MD*IŦooKDmxU; t3KN!9 C>@u.] F -nKս D=N| ]VL-r驌:)yK0I%qW&QQOTVQW99tnۃ x\Vڸ7 bI{*3Fۦ"aa,xa&K{磰1xWrtϐ P; ,LLexk6׮{EƲ_smj p?kܜZpv4K>i|z}^6h:GH}hk7"H98I#gC#1H3bDZ{cKy‚Q-3TB,9|| (Ȁ-Ɩ]v{0hkyK nϠFy\j(aBvlCZXd{Pܭ>L8pҳ+m&}7 ~y*@1 V`JmqL c67DiEVk64^ˣCoDM AkП)W1؂rhuq^0E=[Zb#=, ]" u23c9\~k'k d-Ls4D(QVtFc Q83[XxxA0L Q},D5$|`Qӌ3>ь=5R >Ak1Iɫb>x a@1yԑE uːg|7MlvͤMCJO֘B 7Ï$ m b4BhKՒ8,$A~͈I=# wkƼAmr 7WVHQq+d5r`%C)DsVh6M>@-w  `~Jb3dUPJ3 sis,zaJ`VY*>i{4TD :)>N5W֒f{Jqݤ kgǣ= %dpgMbHTa͓}P:I;J>[Ҥ);ImS03/@$ԫ82{T$|YGj܂G'-W<ĤβѐMsuiw82rفć\ÙyMbR 89 |bW{Ԕ|6.9Vd#Rېiaϧˊv*jq/'IqJ Fz#DÊpLTo =t=_ʫإZLv8UZ%Š˵:&=5o]&.MĕͰYf cҤGӊ6+ޖ̽x˅R21#1ҍ@jL;2ChbE{/PoC#Qka>_l`b DFkkɜBINvHqK VSNq!%TGH:_c l%MLƩɳܾژY (:w0vn,?"oX;&UPÔHLg*7QlCdRi6k ΠuS1/>&Ch#u 3UO (OG3{Ȫ>j3-`^qiy@ʅݸi_v",7s&R5xhP@qe !dthĄD QOA%;lZ%KI_ǽqV@IJ*YOddp )eD0 f޲艌|ꝔI꧌ ޖy$[;~bN#ih㝅ۛ@FQ$7 È,_]E<9xgG9ZG Վr'| kS(j ݏ˳OFTOrsffXozI 2۪o],2J3~1g˗΄;KT}.-kTUvx9[Dh)YQMԹ}e:[NI6LȘdfK&^n^H;_ ( WG 2]9M 1&Lˑ6ET)NsH.NW|/C gh!H'V%o'wu@^Qx'bXTy63%J镅GmO ho<"7CJv>pk9.%$_m nl>7.I =8ӔobOX6R(}T?m(s-- گ,y,+O{i{wO)"eeۿWTwc=Buo9ڽln/AK3C['TCl4MNjg\z7,NB%m O~\9!8ȶLiB _uR &9/| 6UWSdݠk& ]\D Lv ]E{>=~ž_\{NVNl~r5g 9\nR] ^5'/ e쉦c phE˓Md?2n/PTPf9v7f}RNW؇gQTQ?޵ぃ rsEp+p,Iie sFb7Sdq('<^ۍ$n1.T;<d;Yaxus'vQ܈Zڀyve'o"}(7a, VUbl7_>tJ.Y N3* `2ԕbުCEW??~?.)uu\5Ik!~ yR3*z[/*'zjOV_'WN#`q6b43FpfԼ*Bۭ)Pk m~|\8CF?PO)\n*-I/}Ȑ=1+ ]O}jf_BO 3S\r EjHNzV`yMmW.@Ҝ-&Ytș{:6!^UH kHUm dK)SOiB5a++Il"=|SP#'"jT`\sۂbcĔFכUyUwC|bitIc.UٙRIhUv g`ctD P/ѐ:R,e: iZ%_OtsF j'tE5-iyx)~kkʏ<}-'zkvֿ$'7!(@٠F\iPV6Ʀ o?@e@GI#v B!۴Maaa{,\ n#@)"BqFOơ02Z'Kу,ϲ ňM$B7jEGp;b鐟B%8"qǍ3iʕ|Jl&E<*I`{=qB}ΦlFx*-)ul9%h6H$>Gkp z1/ 2MGBcхb'tS({ }Y[YrKc$NN"=^oN*\Z솤yJ(aZ;#)N+I$&=ʊ?*H.?5}E[kݦ(bJMe0ijҔԽhXͨpX<^bhCRO!W QWwm0'Ċz ȏ)vzB͍ } q)nH-X|G(LƇ89F4^~c*ͫ# QČ~SO~tKd+r'BS8*7z:r#V\5A1uIWtw@OP2E@;9jƟ4ET"Vj"Iʦ|vki5ě|O"*"`&dzQ6@HOBUD*f?xM:4g] (Ew -P2Ju+Clyߐ sl:(#( V|"qBαa4 OI]FG$ݽP m2IIa#?y׳p3lĹ" W3UO>gD @]' ;mgw1;^iKѯG!wU?wasfXuezXC`le_86"j4OimmK|l'F5vT@ F~}MEkNNBqT`AaMW f*juq_6W:9gkD?Uk0 #HCZZw0F%g0mo&J4]S^"aDoUP(N}1YD]*:S^7W(WkݠOzk8}vKk/z/E0AUȳ eDT);Kے)qH~l]3^c䉦r7JR{ҲywIYL^so M Bif?%vڜ<^[ν"z^}ٖT#Z^]gI ֏,m`J G3Tcz,FV2^ScE8i6d͏S3uhS)H]XOZp-qVfk50֚upnXw~bOaXh-s6ZYl>|ZEr`X.FH:'X;HΓB[ 10¨ubY m5dT>a.Q8~Z<~aF?"4 ۣTKbA4M,P]i{MD>i  6xebb8_վ6SUͅa2EI=?"^7SSJ b$XfEa]-fiGuZu apЙXI{kS5Й+@,ˈ( t̔ݡ; rճkARM2";BtuVͱVZ& e}kMۍ9k"2ݷe9KFIJ.Ri`]r֖z NxUHCI4Wb"먏#eVY7/4S;eL=;fHWJa(d!QreIKk;1MXHXƕɻɫDKW X_2ޚI&7'AajV_j{MF1PXldk)[1R33/COS6$1s2wkk'fP-Q!w37^63v-xѥʦ7L.|ŵ ŰpR:%ףSt"}e-Ws ʝ3?߉w6O㠼xSlG L<&dd|{[O&aJjQU[DBSs28y 7͕bgoOC"^Mca5yԻ s&/!a>v6G+κھ&Rf鋣$޼GՏS_rϥHh&f=!&w#H4(OGh*<g' ʿr9AGu-T죷aUU:8 q{KpYlsyθ'8Z\j]_F?rOZM877bjd0K C##|TT T6BU<#ow`zR-cHnN57bˈ1E2aVրHq2*R9݃ŴTJFlFی ߮ym2ŚZXS~S%.}8:f;I'8B8}7ψ187~}EyN;p$QVa@v!'\y7 J8sAޘ>ժ"7!Լ4t6j_JYH;j .MQoCv–;i{TK,΄1=L<)R-%2OAkH&S"#mJOYU~Z|b.q0}I6OGdxzlP -SkL`+a+;n2Yj?P@tAl ĜՒBK"wqYJq?L0\# V& hc"HR0mVHb;3HQ/J[d6蔕2d_ :@6]/t˻T(smzEFDvAF-&^0|S"xW _[OC}:QGƽx 5#:XCkT[\q;HPzdgSNV\֖trMB4fMD~e{ezqÁwU9җkY_`7є?B;Ҟ~M{Zq IQ<J.,>"PL9i:O=7xfz73 ^צ{,ƭRA2 L3NeA$2[ʎ.iʈjw-),t`ީͺhc4I<zzDiGW4t^j3©ݸpePuu:aqC:ޯ ~bdYifBQd^ٷIwGXPN@;Cs\{E/O`:Ǽsf6ol&"u80J,]\ӊs< i )mffyv)_`OJx3 ~Z{kE9ˣZC{R۳MY| YޅI$|Ry H_/<VPZͽwmXS.oO"Mt*)0 Ɨ<,I5&Tаg)cF$.ogE؊,A1TC&"~`]lhG׬']7"i;:KZp\$i3x VyM D/{48,%;uD_w遦4B2TQAp>7p{]vG$phRF,YѡU]%ee1R\w;zx`PRq 057 2q%?0A+BIG܀5Q:]Ga{!W; bpo?rI'/]8oh'i#T3 sTX@{}Sþͼr'gD[(T}y4^]~I dP}T9W,}%IViʷSѰS Qm'PJLg~`03LxYX~D\;o@1e ^҅8fZh4Wلkds y(sޅg X0=SɅnq:= 9(t7R~eOuU8hnx(AUt;Hlp5-'~^WG!wx G9yNMѮ#OUО⟈OŠ6|<+҅#NVZO{̽M##n`_=Sgov vHqJI1yCQ*%CO 8!Q~(ٮux7>`cblջ$&@p5yaG4gㇴ;2/ z?):c4b oit7Ffvt`j\9dN;CKE65(g ũb6Wa`B PvŅfbtZe9՜ڈ̅r!a4NkΉRGp m 8|8]fS%S>x)Nṛ 5"Lu!0'\A2Mi@ 7K ' qau]!5ʜtsۅP W #ӭ}qk8|h 2{1PR9$ds.d]*5L]=[o+G'9|'\85ajt/hWAռO(p4 ߽|n9kL̖X v/_pr'Z>2dŒę$=dL],sI>t][+H䷁bMhF&cVi9> ޙX s\{U ǀS'zݤs%Ftb5S%,#Jo. VR %|ߐircSF͉^V8݈`xF8ώ*WtDJzX<5>jaV.rRg=h} 6-vf=FN[r7坝Y/udҌkل’ZU m~i:/.--g3A1 P\&Ds㏄*y{8ɬ8AҶnj"J};ZKvS\8\kʠtSvSojlk+߾y&fT=Aգ[Fnh=7Ȋs|idyvBEf"C:Ep+Px}%Ղunc[nK t*-ESˡ4a߇eVp]~$;ǣ w]qgkTT\ĩ*AM\m0H]vH[3M DS78Kd AP.xFnIƇ +[uT&N5s#mq e̯LqTd1Dz?v;HޖStjסM] S)(xW m8]x4[9- VJp ԰ek>oy &94Y1RU{MeJ>MbGE,X~MY8H-)u佼];MV%O*[PƨXHAc+ѨL!$Q_-U6cK%lyrij Hރ^±-}eTj{SyΨ_:WZ>xox){[:T_"Y9ZR\/ϑ Bl8˳40= '-Spјuhk݅3ycKR3SޞiY@U<қ('ND~}4qYd%P S[ M**H1[\ `&%1,^+B`G-&,1×l/ '8vk6Mnk% osa.EqMNO^)|1{Nojq)6.TPsqurjЪ0uW(e1²zAV~SXr-&hkDkFW_0]w*oDF_:T$ԫON+.40t*Hb':\3F}SFcw(Zo#-UhE O(˼cU 4Uau啤Dn53^%CzJ.jPGY+Ty{֋TYO<\, K]C f{ S j٘Hab-*EӾrqK&`N0jC[g"T\L6B.TTZPĶ,2kvenWİZVƃ =DΤ\1I9 wnhB4S<]6xC+>bX@?8$ʯK:cP&3WР=YPO1ղ[C P2GHa5rj]b#2l8/&ott?OZг?x#9!"0ܕ WO<+)5W$0#6L7@;/1o*b929w!Zn6SܤVjxo_, >J;IBZyFoL=(4-ཻYLa/f Zݯ[o7;4eteUqg3ħ`YoOչYf~ѝ .1,a%0~u[H1lyhiΊ\^U^ frŮ RPx& Ӂ^!n)aJbDdD.1a28fUŲ췱GSԁbuYK&PS!'N~qAiRn%[\Tꯅ 5-"l_A<,PEmɬo;L9v r*eO}uGLFGԁ:b+tEyt[EKҽj\ѮJnP>^/̰4FV(BZY&gUP 9;#1o͑HG{Hʬ *W|JRЕ{͎+,"j.9/eKE[e#2N  ->fhН:^Bt~"ђ3–$[*@)bِ|xU[np&q;v-4yZ]TiO aw4,)ƈ>PceΠ2"juIJzL9yk_*iML^/3u%\`~lCyZĥN<- vlfYN٥c /|h&זee:$cru i^Ǿx+vt@2c|Gc]YW*gWy;%cKTFyBO p̈́g3WCv2\}&u\fI/NEM0Dp/KKu `M ! ̞N$#d9|O<Ԯ`–Q㥢;#"g]_FS*뛒6~NyNy\dIA0BO7$r\z!OI>s :R&/w$[ qDU#;\anwEǝⵇci :@IRpsz"7נkLVӘT<0V=N1v?NVXħܯRI1X߉" bh, V.ٜ^St1K/.7cžPp-׹["=+ʰ oA)KG 'd%gD\Lȁln!#\Q^.))@Lg@5zfn3v5Lf8zrut73=w VC\Eg< N\;݋5„#$u4*c,h[^ypZ 3ZJVxg1- 2 ùgD\ G9n#N iB&X׼ʾg.dojϪ"rmgA pֿꖀ_N$ETk]҅}e3W~(j'B5%>{! Tf!"%XL@{r]5 TֵF3}D$&\3ccQU6[I Qr%=s`.?rnCpA"(oDƎ4sôFcU(鯎yQeEl^qG\:~n>>xٛA0HɁީӧBt&5B@ԪZ\_([(/%1ahi AjF8ԕ"y@ɜ=xC(A_TwvIG9Vy "ϊ$ 1 W_8u?t"KoZ@ulxO B`I/}p)NHR -/ m9,aO,  }ԧ*]]'{x$S@* =6]@s!h̲2sZ[c#UҕOlq>i [-.Olc^9#9r*ܷM?2K*4 l4ٕ4#/t?=ލ>V_jWmpRѱR@:kc+\a%y mwEC.V)%oC6ΐI qN` O'Eek#>v<|QШ<+M' rRJkVy2|GP:鈅xf%o~|JtEd|#֌s'ۿ;T)K|SJÿBdo{mm]ÒbҔ+2329>xWqe.ic%Ưn{sUQ_Cv{t v?-Joۄ̗¢fEeBq|!AF;$ro.Dj@wR~Uma+2+Nh[r̵C{G&m%e ͶI4n.n.Doj79=$ ].~#?cE@gTZu_ .K fk4*׷"qe6e؈PeXw:WiN΂qEҐSR [}W.#trIly5˼OK12v]?6+G_Dq$B=E/|JD5MJ/ ցe{U"foEL/< jRBjEy9hԌT]$rpd7a?JUKOktR N!X%1CB2gfaJ +Q>KY—>qTȒO"L3ooa(ǨR#n=o70$W{}g^xO3o]5R@ za ^ ٝGpcHVgmخͩfxJ;if|B|C8O\3_Pt]z:9|"ЖBźcK̺lp{:GK|zZ\Qj7RTEl[hO{x~dd_#DT27*9(xk@mXNKKT窲KڜN T Zh3,O|\*`:RpPu-uȴDܚ+"?5'(JV `>(U}hW&)P.:Oɧltp;G_Z PM 7%t; JcaoՌ6aˍc#EDE(fE'G&ӭ#ȫzQHt6Lz ʭ5%E7 vPä: pXNJ^A:Āwu)FI5-xbX_/U_v1,-4`6@GC?zbPb%ZT8,ISp0%$q`S nܥc ;Z®t!v{$ UN9pxQm{k\m4qGGf3B1(Aj;ם*2J8`w6 "eEglScwݴ%ϓnLxG9[|+bQؗT벉L.;B }:aӜOP8q"9(U &^aXe8N^R=E *0hY n0Dg:[yNL"3~N_EʛO42*iM(۸S,2M@#(=78L>"uoE0=Zk5SI5L &q"VUԀN^l+}k5;fn]yw[+ٺ! qY0X7u}! &9ɒ&=p~{uu||"܂R>F @$ :0=J;a\n5%(5ܭT1W!}},F[N6pf|isSQ9N?QC5dCΏ V EO.2&b p,yȷ6HR7=y?0`#![[޵[9x4Ҫ"pe[ߺ=hY;HNru'7k[*VkL]8I&}(/1ԲpQmB]󙦮,:-iz] :jq,*OuAaW2ziJK(EC$-[cmx[R+=0[#lS!b>PQv='G8“!Ox|X6^vuL`+~'B}!\k8҇[!6ǒܯ㟨7&E:$Cb+e8< zP|LGy!4~ Mw+s2d1L'(N7TFIBdY6FnC-O)8̉Lγ򪊡 hJ{~&l{]R_]߀6q@)P޺q%ӈآ ]dX藻`gi9{dג˿~ ƽ^ 5v.c3GUr]V:hM2c=MlIr6"aIۛ2.F,XkzXLYE.U j٢gm 2]e.nqRsM\=}h CXcN yп7؆:쐶])G>"ZCu[ {f O5ίy7\t~gA|զ?ӣ5А!zR,7;j@֥'p0ꑘ̼[)ehlʽr݁l/|XCnJ4K3dNr/u7ME& 3 raT<! '6Wd)o3&c,W׫rAIhE0AoR2BXl{ )fO/|>EYZd͙Gjt6+a,;Xyz }6>p&*}~DJB/`9G2T":A€E]rTNV͋R=>@7Tl u\_1gJ/ThFj k2p %s6@#d|j:+ nBt!Z5vYBN4@"3!&w$vN l+2j*OUlVgm.Fx[mrn(kb3IcY״inm ~L ?I.zM# _Ï$=Ddޚ-`2)v͎t|B;0h5lPiV`34w6#FOtr,A[g'Xʔm"_i"&8_*!}.-f1u7=yG N}L_cʈ%݈lbꃗǏ/ܽw6&׊z6YxYFk v0@߱*]WDy%TWu\b=:E?uBhɓTj^U,=!==~NhPg[Lg0: ΦDZs *HpյY!;shc*vefShK,(,kG`u>ᢱ]R;U_GK[(ճbq< ݘ}}γUs 9!q$Y hpcƭcj2KKɝ$G"UZN™*˷>F?^w =p;Õ Ǹ'岥ч1[2oQ"js[aQ޹P%QG1BIRGa ܕ&`Wb EۍCy&o&Kl!J+b{4% uw iqiy ˴|Y9&dU&59%Lw`[I:UfzvFhHTVj{m j!H@?Vq%Dq?yiP6ndo0 !kG$iReO7hDuZI8h o5Éד9fD@ˇ^aXl&E~~YTRI DV6a/>>6{\Rʶ#1tC0o6qnDXagrI`l|'A?َo Rw+fRvcг L/)*V 3%_5 EzF@LFȮ#?R3\mU?&BLXvN$ifQqaFIe4MA/<4'r;nʓP0JL^Ǖ^p(a)js7įN厀 All,J}t"֨Z-'8ŭ㤣w y`;" *rAvdfJ |.V"Z@ Au"+:$^+T*H0z @K $oԱ]a$e%Л^#6/P\M%c'8={k!ڲB)&,jM]uT}IIjLCwt(&Vm%=J¹9TםR~ TژH_%I:[Au'@/u#YL:-RD>ZL՛L*jʑŒXL1_k@9L1tNiCT͚pô(g#jfۡ:"rRAh&#[6)t721oq%r9oO'Wn߮\?P-D[O֎ N;q$״ENw[0`uH,Q>_K{ k!Y%en|lgGӺ@))ߍӐ ]@F)G uhֻwDzMmtD5أzc)2Dl`|pAѕ^ M&1mf6,8ކjm*ѧJlJHN^x"L:z=jVAx2=K7PX !Z}8ҳ3,/ǹ cr<ýFvܭn Knr=uw\k-hT|e!Rk)X#,dZP}7s~ ǣXYdP;y:WMױ݊KPK]WPKUۄNnO91 #~_/t`KY~ p{5>"Vr}_A]"(_L"ѯ(@0$FGBFgYZ2d887827de13d7128891b26f02cc79e9511d449ad2fed5b8463a719e2f3fe546c701ac5c0e920ab5ae57ce1e6165b11b1bb324d039a651633f9ad979