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 c3t\D ]S IEEE_Floating_Point:threads=4elapsed=26.908cpu=79.472gc=1.9807zXZִF! {]ŗXiɟH)0%oh ^ K5ϔѴ.iɓP:hդT &ʿ޹zg6;ur ɒ+ya1HJ.D*D.hb?`8⦊:nӜx>90Ԇ ד. A)ՎgH'QS(ԪBR.J#} e$'!Q*q.y$QmDVP c zCB5*kEdTP(B@M+ 7~]:%\) &;\ܝ< ^')^*PSK|,{PN v<ƙvpn;S*G7cd U=ӯQsslalja@M:aLB>3d̢Hc2V&xzbxg˥EcQJL6cM"[G`z/se f}ʰHZ* @ lN 1&gYZ A3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.MLs.s1"X od[*`ZOo%Z]9hVBdD^!ˢ>I*7X)`97siExDwrX}~ġ>P R5ixM#i0-X*= ccwMEmH5e?kNFRNLm*Ygo8rm ӔlYIG=rɷqQB}h^:#[.C{~Ӆ9qVV>VZ-|?CeMN[%W̉T2^rnՑXa/V;z.C~k"-NYzdi{Uz:+ Ƞ}' u?F46|@bS˗4WRe"QMXԓpIs>f`4jøviV!L"mmu]:|2;"X= :C;ud&͚@D^HҏD҈:)j TQՎa(Dm;{ɫrz}]Ie9jY=̜a B u>\g^#2hg^u xڑJ@ZÉc~{Q^TktD c-T ⠑Xc{B:0#{T T秿HK-L|X OfK]sť:j:m_  寧9P}*󌿜[p?Mt djOfHHXg1v'J:b)6=U%˄Za$=hun%e@lAޭ,B@025CM0Q ?4w^ֹE*.<d&R÷ ɜE!4)$(1:oL]`/;Qe 5yRhb>8eWL vtQ`i"6iUpyEn5q$A@S46/>|H1_"}Mqz ì٢|\)  1Vދ\]@D Z!} К0,WƘĹ٠gB$j[U'>X hta`_֌y* >0Ien-Sz}=ROͥl2e_2Uڦ+YkD; Z4>:qy. gf-v)]Csdۮ쐇v'LeN+.2aC=3Pnvy QyXv.7Ȉw2-SܰH.X]O"s9o‚=;{+Y/#3)<)'DPkŖ@p+Piˌ OGi-C3i3/RLU0 |栥vrϛV~|]I:]%뇽~ & 0m'Jz d5UvgXś^J1s VI1xKF`[BˆsWU@ٺ]g];0O;n,`t?+(_w|4 *&2Fdw+:,EiSU&%Q2ŕ"OZakVpv I1$`<ۗOyѷ{e鮪-. 9u>2gRA.H Gk a~A"-_`/_Cm$-4hϪq&tst{7@IӍW 紩LtKw۷)T%q {/+֭EheȒjnRU?4Q吲=2*lV+UlTwkӣ1x㑿Kڱ@²& aωpv)} \[ UcQc6qdEGp=l.\!XMG[ܓtO6(/"+Xp>|M%U%^\@ym,y1S aU0S2Vp4( [SަF4AG;o&M(Z:AzNb~c%4ru<\̞M\JێLߢN9{ \NMxi`8N[m4(K+q 6.B4Ȣ~((BbV23TL&KԷӝQ[jytRbK)Xji);fl/HOv? X F Z6 w$O}'sE'4ʜZnlRz DԭC (k ѦE/|aqqUujum){3t@ CG)ETģ|2: w:dۗk:]e5G#V3bPW\|,Od HX%][HY7bEw'fd\(bMlyE?a9n5t!EN\,#N}¢)[ַ'̼G1ZӬr2ӏdϕc)dBg4hjyG?n]Rqy$,?}~?k ?mСURU LJ;F23m>&O\ޝpygL2uj:+ *n^,RDRL)S?Qnr~n/$4QoױGI@5n. [ƙD ɣ+I]$=`+wB.q9A%U|"$Ȓ;`!"0pU߼]Ic7 ­{ e0(.`~x;0yHzF"kpkzY]ֺsۦR? a~y3uJ->p2:6O(bP;4ĂBN/51# ?%O Q+ʎ< t˰$ipsby#_,:K%Fwͩf%|KiבlF _(l&z+2X؉Do { L-ecIv;xYӾhm̈#kX9~==7uuW=44+g8Z} '`&O ս+"k5AJK2o/Ȗ)ywg(,Y3//K!isqab\ҁS(N\Cg=?Fy?mQxtZچLkh92`1䢐Ѣg _7 ]@WV;e_v.IH![qkBsVk/Ǯo̿0+k*[~m3UmPZ%W^ 7nJ{@NaʟnۣFQm8BYy;_Xg^VN2A#FԌ -LEmеU[Au`~Ӽ7;fʇLš^wE5qW&x1_d'*=P_&rDX)u fw`"[}.t3 \jT=X.$AG`sNC~ R?a&-2qXnjHNC ۯY2p\ w^nQKn`Z$P] # m}73nt*^(c1כUt2,~4AH;nbĄ)DXnqJnt-74L 1 8qLf@:)KT Wl2gRZlnbY!hdZJ5j~ΈQcyrV{@aHRu}j_?D@۸NXnaJ )7k>*dX-V %/*I7}Kv;1n-rT u"T]A @뤼4J]5& YAV붕n\$^E_C(rZۿh|D  |@ *fF^J7ic־RG,k@VVt }s`+cU[<}FT^!<{s{I:nfjj@eLSrJgzJ:<ֺ1&^PQYԅ&7`SiY\+|L1ecT\-gSoq:X)sJ VŸ>#)ޚ#w6(fޒ[8#ǂg1^h|rT3!? L<_yi )fJ|ʭ 8I|eX.-3id-Z4g [y-KAQ6!tA]:~C^rea"SDfnpԯeG08)]8X@Z:9@CVڹH"~k*&jM! μ#tR =- L-sӶR΋Z ABKLAJ e, Tbu0a/(fWJ&+ycY>t܌Py9?L >Iv+P"I|T⯰[A^>8d{4Lƶy7=fe23 # ;^OiFsLzd50ͻ}jVv)nR/:|z" vh&[U"鋍!=ryx_w{ vL,u*{% ̃gǬ,6-$6QutJ 2 wehgv LHCYbw!ɋ:vl/E 쌲Y㚃X5v|i)0;hΞTo!(5q6HX9%'?\)aU&MzWʆa\,oW:ڠfY1C75Ē([,RzJ" 5@g9yzHN;`pXoW 1DR:k:ib.+&# 2`Mo ^1^TD$gi6i8e7][w~9Цt0aeBmq78!:.=يoZ}ʂ 8V8JLKҹZ7'Hؐ|AW!F 7y4oEW z= 60<;ޖ4gV& :ӑ@M"&+ԧ )-"|{RBS%3eFCbg+wx-ѾT/-MgO[>3l\%YZ [Rfj89d; 0n5 bs"iq=csQ-+a"ƦxdF񅠙7]ta FeC1*qX|,bvw",ۀ{a rȑ`e>}~;0X7fŮ)PU[ѓJ֕J+ՙ+k+aZ9 *[q7>$&l%K{Ӭ!Z:I`bf/vd2cꊔ}boUz|*=ӛU`ؘQA5n$z8V/Ӧ[< d(`rASms:~HvIHE.SaP_-t lCh:H+ KԕMSz|"S[2 +fӖ@ocKJߜ@ui1àݣ܌I wqEQ22ΌުffԡXmejit X0j?G>o5iURa*@4+Y4tҺЇ?[LwPl4~8sԕeЯ9LR3r0 c p=*wݦN:IhZc&-g[-RM~.Иl5r V1^Θ=7<4L`抡C 1#a!78ƂƌVx8Hﴥ3>Z:l2JgM8XMHbzZ ]N릷E?.T$^59jpQȳex#^Q͐KbTDZNY򲹐X.p _Rx5vꋋ*Da;ЃsyUV$U$Z~*Q!`|& Љ?PLHVteYLˋPC00"az($ nޱ w}]a[ŵy4>l0lhIA}3@8Yr~ͷw,frp[vYμEdu#aY ̚{bg(D9KY8?Q0hwݯ~h}+G2:ܭr;6Юs&Qg4vʛbLЉbW.(hb~g֥)p).n)YLJ/(tWӣ9s~ aM buZ3/I{,w1X7/Q7$ |fbygQ/lo Squ +o6DI2Nʁ,'f#9>Z5އ:QY4LH*yɗH-(S."_SHU*c?U-db[6d:xJu# xa# Hr t1DY1RˣwF`R8A[^,c>5X6^.!1~&# `E- ;TRi|+qFar4U4+ )9t^ a[v֚y媅-ך ݱP%&)FrUhpq{kWVmRvZ:M)}T2|%Ii/v~c)% B^8ZڭB*Jw~ga.bHcB= y*Ė־˜.hPi..:Yqg ||DM@E)\Τ~6~n꼃Z) A0N:}\bfQ0ҮaA> E(|?Mw_вn0w4͇9[gb:r$CF#,>h>#Z$'c `a|eq\EV:v p|F'L\EXA|65$vq(8CXVq,>} +-G|x\CI/ި"sڴ69zo(  -՜3ɀ DE"V9Ey{?E_Joz:;Xީ>\ykSP(Fp}/?Z46M`wYގr աޟZX]ή݉S BM@*:` h}fh< -; WZ+7yQ8-i Ij D JXnEjK#d''`1s-Hb9.Q!oG{s{]KC% oj,}=nZ[K6u%2mWw ҥRYm(gRggj ֛Lvp'VNNJĀT{b<9&;Sޖ!`kvk} i9V[L@mLؑƩ3Rߔ'L]G8Hlo#F`S$0[w~ ه׋J}:foެMՈ鑍-fĬf! 襌8<Qщ^4S 8`x,kP!DMH[5Kjo𡪘54CѨy]iddɼEUF}dqi OĴ+L0"'c @*"^l=Y ldc6nfݐ4Gwx[BO QM|* D#,|'b}GTRYF95a/L“TǠTh Nu[ ~bj=8೷!#1 A V9GCg(2wh@u\q0g(,b ΃Unȩɛeg/4,E9]A{ ˨zuN_;n)WzӍ=9Q{EfnQd&ص JBR }6i9("k\RYnWƓpNegG,-ƉU϶H(a"|,HX;]28F>=oreN + d* "^+9۲c+VҴbrr* Ð_2XT~Ee)7TO&t*-GIv aĜgxbL:A>J~N3;8S]=iA2]M)v,SC;4́@kI1'Lc;!eZi#qN +bB[i*^q PKO;$IA& e5s A"Ժsm?Q<00745 *p rg+,SG@5b6ɮ Xq̬8++LsRlW1DL,&Zit~gD[$w ^;l@  q&d@Ezw]K[5s Q-U@=7R㐦w^{*e: ޵Hȵ@t+fGc\&T3Ɖ6R]Q2 Μ@'+\ӹ`\j?m\~ڰW-rA ;uY+ kWׇ4ewIwHzQiO6絭F;jk ?*HEUw!v8IkGd^O\wwchFZغńHЇ]B2? nԫ'?nRjS c6Xc> !a|ghiml[9݃ (+" S: W̠ܨu; u0 e-+qTD<1pU$i6 8zaN],t1о8#`q5jm N,#5W7B?KJ\H-i& -O$kN.CN1m;mܝTV"t)8jt.y-Uы g$KjPC:ePDgkIq=It`ދ@_^;jôu=&EIޑS~y_GV>>iHII%WgWTӢZ,Ul]Q!M)p.!JϩEԬhe,9m껸俞Sv-7yOlY|SweZuUZP#R?&Ȋ{K.bd/"rՀd5ۇB"y8lwC;҈4Dʕ "ӯ'֨Oi/㸯VQ9Egrti J#SUD޲jIՏ>M+8@PxV R7d$ ڠ}KbfF`f Pm̮gNo:~Hma.Qs:jeSiZtE㝛j4r!at;[T`nao<2Rx.' Ȕye} ?GU@ `"H:)P}H sDIwN ']tS\yVS>숧t!S "FKݗaseTX*3IH)yžڵa[xAmA0ةbQ~K{7y[÷p =ed56%vKܰK~>CN`~,NŘ^BhL$Er1,)zNM}pDNٍ0ȵB2]-hk@1 zFQSȑ'L_,+JagSIjmɕ+UL# V6R2AC]s̩IbPuRhT4BS%yƜ"<A@$rPeȐ$л!oCU#TGMlBXtQ^·`TE Ƞm^}&Gft >𢼔@6jU< rHm]"SyC5_ 5 =% k YS NKx+[Ю]>>Ơ2#Ks%P'׬DFɳ5X4LIw. giseХuCpA 8W V h 3n8.FtjFf~"hBߖx{Lg i3W٥,/ tfǵjCzÖGuu`K{c/1Oۆ{ʰ6e=.J688Z~J%<p5x>u٧$49`YҋS{ly-R0/[oٸ-o,&4bRN~K`712[SȜ@vZ!NSl2r([Hpf0&@ERoKnu/YnNޢN<0Fsfqlo' _B@(L?*ޅPx7zTu06.}&ÔQ}:ҰH!*j$Q 9ہg\ef0}[(y+y(=ZP2ivKVk{h@:aP3OK2qqbAsKsc+ #s* } _Ӽ31 CR&H"XԷ Zٺ33G9M$DF꧴}ms(E=5Yq7y ѫ3?1CU Q|r+/nfJТ?![S[\,novFO/LI)P K'lj ja3L׍t+Ԣ;hsP솵 p tUY^][ȓ~eK%=-κ9|:ڴѢ'lO3AdDĉ[Ķe tc`"FL<KGւ?IkzȡIM+M-NSh\mem+Ph[&G,W>򇄲δd5'O'< ,J4N~^P,ɔ1kjd F^yF/ծh@UOds\W\ǂ| wXVk.X3@wZ{nG[`Q4'pA;+Be'R'f'Y E)$"3 {PK93ܼ;T _Y}-8e+c%1C4}s#} Eo4_nRIc~6{LU1/R.#*Z-y-. +N`!(1 Y[q3G- ƕ:uRӉ~U%z*ZD+6-SFJ{c\L*pSQj&o@9A8v'-bNklOdr23IQ-[ ȁ%lFO%,h!sLҎ[Gї0 Ne#9V19]+r|NrX,=ʷgQRTnBtSxӍ3M0H3 b"iEyA-:nWݮ5Jjk@j _+E ^H.>q0ژά#v6r 6fEnCD-_%TzϧBy~{v.rop@"J0zXP+]رdʕ<2JtY}c{>9x\0xm7R ϲq>Z}swMܾ[QҺisf+ z?9N֛`lTv٦!SXig${~Y0I !g{qk_JuvBG`)͚4Z㬏)ULĹ\$a =+t~v,aa3R&Eq)>ӛ*, `s:Vʹm7Gf-hǀ0?rΨHvV :0lWk=ductG\[z3 +z?tEϓjMm8[~ЈҁAHn.?639^:00]>CiɇdO <a_ /qz hox I}ւm&,]]kii!`ilo`ە9{;pS0/!DvJ;W'zsvEIG8#9붼K x(Pi} ޕd5YMv{,JYOBzS%,oG[#|R$t$Vu]Žu#T֡jjMI5]m Oΰ.zv5^C}1 ˞*u┠jdn(S7哭u#~x2G#ޱ4Z%b;(S aS=V iMG* P~KF)lqROeP&"ޯMBYyC/ <[˪rD-). _0>:%Ԕ*vNz1IʭE{:r,>Òa-bA-7#M|H黐J)ybzm?hta1'ˬvB ޳؏1dlCbc=%f|vQSo#ta 4O6.Q}Hʮh `qqSO'8>{ -thJ 0hܡtXxE-p-2+#HeZ}7W{y SK&aJHi8u|oZEDpᅩ$|4)M:< g$~gK]>_/6N6yt_(ʎwwjD.ZyYKc?7Q۰s[{BR M\gA9G}-0A}cwNƧA@~$kDuw"Ym4_Ǐð96q8r#L!Y}ԝt}2%7\ly^ tS9ݍqKHٙQT k 2(DQj+Z ӽ,X ?3R|=e8/zI0TeMJɿ X(x!EœMYr*qB) Ocv0@hdl^(|5 f`5p۵Z)!{_w$d8Mpǡv:~[XOD5 ^pT֬9&zf+:@{Zf=%lbfSTzܟJWBN6t#\2C5L^a=[G iMEˣRN`?K\ @W-kѯQ!k)3RK1 $R~DFjA4 kxQ`!MzyғaqQN<~3S27G~~\ Qcd6!(A d:f;ҿ URwVШX8m9CSFeP râX*Wʛ:dB']\&84+,bIHкw!DU˫kGK fu'V?_+[s< /~2m-]f~_Tq`7o:X;Ac@ٟ/^z֯Z )1޻=b {lxse8vv:(4i&)OP[SBPz윛Նk|J]mٌN EV6l0Fky$^+)7U^:Yݫ2og~lMgwYkw(Ghur28~'H!qdX-"u5c%zM// |.K6Q] 8!(du.?ҍHUjGA$hB v6.yAlΩi$7DwQ9MHfvTJ0;y (n"(Rsg}Gj[ {Imuʁ>2$Z]f ̀Fg48o->Swr' '; sՃNw[zSXu z枖S9eiPR?c_;BlOb-`YĄsDJ+52VG>s 3c䮑PZN4T 7m`ΈEM)ǷPG834pfB됀171FB4" &9l;a!Ȋe<wz%\qvf_g+H.ytDX 12eU UK8Hxxx70ݯKvm05Fcu򄍷;2boMʎ3Au[d/fHU0NaXNnNiVp Bޒ+]sHEj]Q:Tk!WkSw,8^iN?Dž|葎@g.C{2瀊f5Pٔ-(_j+Pfcvb')^uGj17Fv(8|n2^vWy)J9[Hѽ×F6wfS!ÈH 9 j)Sh^xRA;xԭqp~YS?Ҏ?ɽ1ΒijF'ɳ]ս?UGW0 i|ComJ47k-6_ k@cSݱODBf6=n@ͅQ?BgЬRX.-9/hsմ,uI)U|ZG"/8U a^}clT*cT^&Jd:>Bم">o.#70јB'zW w]E\0IS/ڹ[@oRzD&\wQ_d u&Z軤ef-#R΀NG+C{gP?Vlm A&X0Dqjψx ^$$Gᲀz\Ǖ]٭vHb[iՈ鿖hoZ6t>I.Ғߧx$ mũ9 F5/ γ09&}ԄΟƭ9' PV%ƕq/Qw[:24s{&b[nITYdb\*ձM\򌬞:#{zfBTy %8cҀϕވ8};* _ X "'+#soypwҸAPכb.wpHlrlk1$trm RUTi & ;%%n9uQJU:3|ϑ`Ɔl's^,bn Gύ[iQX{>:R 1]cRѐտƭhM46d9-hes " pG3#\u}{}8% mwl|^+nsy٠@7JKX9jΐY(8B !HQA[Ϗo1wDc\ 8( víCcVoJN2D?7I Ԉ[l^ng3 4bAcx9,sֱWQ8muAwl;~6!`sOZ'wQ<8QF?-GzY/L1L~2TTl S0LEwL\K J?ssn9=|6O$OllDE@nQ5V!O[ssB=ȝL#'KVĺ&H-ʮ?~RVdZ%:yhB,}@$]/PX )0Ft=/OŎ",d^ P8u(_8R.^kJhyQBB \7myGHC+vzS6hwGآ6.b* ߂H_+)P]TSL@4/{Lk/gH)R]vN~ HSo.Jü[Ʉz {òkŘ0̴2rO-9 ~Gv},TcɄ3em6rx&'kw5S.AyjK7acӝbt ' gwQ zmr'ݲ[q}Avy7ަ~]~"?76غxmA/$')䋵ɦuY|7voюϵ8c޸0'&M<;2Lڊ0kbګ`휗 e C /E'dxlr~قrbt@˒I9d#. 4[r!"G#[Vom,'s\%o6N=V[R^ ObE|iSoJ aׁi*j ]vZ9F'7qȫPL{wPqkV48w5[8ܗܿ>LvdofL|lONU!O~JQ A lgM;SFrqR~U1P]$vB=CO fFȉEσFj zP#Pa<Ә2cAvƒ AR̯ǻV؎ >D=nr-Z"vmch6EvݘzS?1~ ,Iw?촟*Pl'I7rF,D b85 y;smCIn(NϣﵪI tY~{u4goj۴G|"{'\zdH:i c_F 0 [6DnIsHvG~kyD¶WMvc9S|vGngzq<08?0Y)2fKC[Ͱ7CPI ۑ@%%uz5D{Y$2&ck9&*U@F?.~tq6_y!]RgZir:DDI5P_}aC!SY#&!LФߺ3ogU6#fy;_ӿ*?;Ko+Vrj p.prݡmXe޸zzRz&.exl?D6aDױjC!MSTEhnQaSde-#z"QX])r֊FVYO۝T  FОŧ=ow: Eu]Чl($G$q*=R*KpT9%o9cexC#F׶m\({~i! <@hk};:Fv*WnDʒ O.=pqh_-\ fnQ>o$ۯci?6˽m+> ,o3|# nš]gD>)aQ * SB3˜ܢ!iWPuMK0by ~孚j ֵ/"&//)!ʛs RBDѣ _n73`̇0l8 Zi)Rvul"M$2: u _?Iڟ; 2&=\iTɿXo =; `Ef:%Iੌ hJ<CŶ_-FY KM]Ql iU^Z\njnZF͉2kfLz,o\; -E; hpǶg Z(_nsuAOHo)/QYxѼiJ52!hrjX]Ej1~hp}]Ra3/ ޸Š~ ^XWv蜪p+V\Q6wW J]ɢ"N]ChЖt&x?Z2Q1=ֈh!e+zf& *l,Y<>x?0Z5M)80V's1F d< e`q8d֦ɏI)7WI'pf >h1ݷO_΄lm5X/_!G^j$d(ß J29 iDeY|NԦ8suWz.sSZwX Q&\Br4$O!fnZ0IiڴA3W[x}h%?J΍ gH -dM^ H9b_X o]py`רLZTXK2N#0Qۄx=M#geD"r!.1u8hes`7rWoq$m#S@hb wJU-З?TE ?i8WeF+l s۟T3Ú6=~rdA!ғb8h>+8\l8Z76 i(@;U#pxC<S.~Za@Mb!u]>[@轵 \/v>Xe) 6J^+j)n,J̧_-i%le$~޾ 2[xZԲ\8djBžV3KыogQ}-6縚;NhS,msM ĨPL\$*7| c2%j$֫kf*=)/RWBP2H)~Torش1N|$/+}#84FH ӵ X(;6 vE?n2 q#D(6,ΗA?A0p|H&DP4yO{wQ **p~"X!ĕ'Nw a '-#iK&Uz#'c 7!A%aVS-+V-5И;)K,ZJK-=dυE#i6g۹hEFW[_l Ջ5_޼F:NN]E%GfeL#X]%}f^͐&16E)lӮuȐK"IܹZw#;uB4]I WE1.Qh0F=ueiY{3eԋYԕ_;9Z̞JJ>x]Repa+tyDq2E)aF`u\)$)$1x CfȌٍ{qnD7p*<R!kz.EF 1Tye~J$6'YX/퇨QEq% lab)~DeQۓi7of7XkٲTGhd-Jm-¨<&?˔~eq 4,o aJ¾RY߀8#5p]rlb~ #r?tnZHβɀWP3Oʂh(D?z/tzr3RvnNb0g}=/a}MT]Pk sp[LGTW}!o;mBnEEc.L+=EǤ:i4]͙=4HIT+-{(9l+؋bA brٖGc$u-Ok%+BeN{@MO_4Mj#$syb=шos5\ a ]qevrPF7Gpf'-_^vڿtˊCًJ<'QV`>fyx] `x0{C9 h?H`v f9V6F`KG˭hlx l4#p{oG-qR"|zB{2U;)wi27k ؓGMjn~0BiLc^޻S|<(ɰ`,:(Z@`yg&[XytͽTMVN_ D+ 4MEx'JM#5D{CgЏ 9(BN,#_R>GFȌǙR2@TWOqa% VEhBH bCGV*P;Ǚ1EDF_r Ei}l`TƇ*ܤ.~cc6h\@'dn <0b|[EY_+S1{u_a$qFKs {:+a^#ѫm=bf`lu4g0  !bd7jM Ժ(5BnvȝeeqwM ?FbY֖rZDB^@&QcI vYI= ۓ}H q`~MFDEiq)0 Mפ=bsAp};B{1r"DK}MaqKe>M'p5#) {FrIBe] t`'/stU6BDP@r‰CD0 _5443v$OV}4?==9_e0E I9`vok%%˰;7 MybzAhj=Oxܞ1_ΙeOnIJ\nH]I媽gp+W?߮qJg[2rYs!17ʎ|4T"GOi$mZ^Vlg5TR8 Pg4Z͜]7c:;97ÚF}1EѴ[{;.]y6&يlt)Xp!".yIr#ywU(;$̐F%b +E>[X\O|o[Jz4=ƑXbqEMoZ,r 35Q79'#nsW}Wp7|L8.Gw:QS!U`7\J[o292UN +x@(Ɋ$c5{R#!Z1Rd]" qZız銙t<+{UiWD1aU 7ٵ}/+DLMzԐ3?p-<,-suFcFxM˧9TD4?"Jq_%I h,lyRc(s+-:S5X(g@OM}{ɾ׭{xP4)1]X0XڿVY<k{v{Ԑ0$?ϊ z<`Wu\ ᰮhhYJTLa~\q11GyOLA܍2);neM6]\+LT*A:GJ _4?&cm46#o qHӱˏ&Lx`d3I ]e;:=P*! xqmN(pٚ :+p@@'nno7>2ZEESwpQ}/c}K,zpE˵;d~9~E]Ng8"}EGmQ->{nd4~reBYT4(~$C2Yќ𷩌˷|P(*nLl`_>_tKDbR/."}̽8QEZ0Wk'℧ZZi'\oƉ{ߕרMsH2Կ'Hn` /vblΨfbxZMnC  ƲYa| uOdUKc'[eY 3dV=%k`4f_f&VAK54(9TWnxQ6ƫwk(~ ,C}xff8mHUʎ=kdUƅ}Y<&s#OK_L2ɫ=4⊆\jJqSzW̸-]Y)1i:,j}zZbXlGd[P?Ц[g,yL&VZ%g2uL'bMV="v=t'>1ƾx[ݐR{.w V̼ԫU$ P$ ٓ^t4'WMg01i.dխ+spV|xNu|'!eL\ oӲ*E6UJʠV:0M˄T<.(K -BטLV@% oTQK` }~k)e7@y'?v]x:/vGBmytք֕ ʤ$ߛ-vԮA ;*CDm1Gj6:(R =?2ɎqD.+?}d1+AצpSxhfbf+ƣ'xAEE d^s*dٞ4MKMb[Vn8YC5.<KJk0GQh}n6J1e 쌂f|ދ8YP߾7r6Wlͷ+MS2h@wkjOcwϱ V"cI;"7)+wk'Ѿۀ^䔏\<9qoDN؀WE0̬W ,_9s 3/}H‘rekIɒdqTw=ևn,{qSm*!?biϲ&Pky F/rgQi9l͂nؐSZW}F׳r$vMNlŐL }?ac1wﶽӡSLnq]lm4ӓ$ʲY"JƣUƋEnm։[޴>sjb \shFZ-bx3q%vG}\z o,o=X}hWEIS2P+M< Dl].t!}rԵ\ 1&`:6C h|ʚĊ,5Բ3NS,8c:ӮzA|v`<>3*Sg0 xbJl=(hX*(72 2?9qF e 'l e5tNfY'&#O^ɖtjA^qL U‚[(9%P.gWo{W59m1B^;of(KvqvnL8ոnjĹtE^D]l36njLw3"疘S϶`>R,fW$n/R~.l> nA,h}dЕT 1a}m[i2}:cA"+?-2hY;ZvZRॆ8AAF2jt>Q,jYܜM3ZE:fUzނ*.bU gUvEvNcq&ҥ [5-BBBc -ᒱB弙'VIY_Zp OOTDDiYf$a:DNe#p̀{- aN{q1 ~BQ/$2^.w4`O8lPrX)"[P~~|kɻ6Y9E\ 2 ĢPۤrMVC:=d(U\`BԚŋ7w%AWVcJؕb[ Ώ&1Ejj/h1^ϔ4psܒOƍDe"D:wWd*1f`lOiDckm%<(駛A ~a9P6o|}>=H'?v))2` )L$L#QL(qȺ!;UD:H[kn[I|= ylU=PTJuy()z虊jʑ1 uʘU7 ?Zr )ig(=fOڢ3Az^ :"J#Py.!0aۥqEؚdQѻ%+~XX j@T_w ҳ$#Ø dK9?՘>۾{(#8R˦ /'3>0.\O믜@=$|rNUt&Uay$zlrC􃐖|pYNPIm^,:4# Z#+&;*њCsӂqUQ1n˸zJAL sDq^٭P>{CEb'9_@Ӛ3Oo'mYꦱ\5iX nQ41ԈJ=̡dV4,>/lnw""T)n,x1}nW"E  Ck^. I[*ŃOoYt',Z]$ th2[؁ph琦n3RP6'I}Ѵ~ Z=>9>`F.}Ck>jjlYHp2A|eJm$4bSTN0aC. 7O,H fc$Q%{)ڸ(!3Wh|(sNNpFzΛd!{AEd0upLtpfxoH|AǛ:}09 ,`FVEPf_. ۋZ9dv!R[gYZ7zXZִF! f[]ŗXiɟ1˦r+g'Dgr>{pNa5R]9_"PD*G|/@~6b-Nƾ',I=K`[3GRLhJ -zѨDP,-u0 6ÿp.K!<¼bL,L[= 6Ӓs=Snj5 0̈OO[O#|Ҋ!u4K -wV)AwM$[oKg(s]}ӌŕW!nf6< ‰My|S s$L$%gYZ7zXZִF! f ]ŗXi%L&ʷZvb@TibX4:r(J =]Wڌ5-pWIf&W.<>@BK]nRĆE2 Cv̚02蚻|`'W ~j̒pb"PW VpI {Ś/#בM?ub3Ac΋qԃIBg~'z1=Jk'XE:H(7D\kIHX!HRVГx-6xaR$ȣ3Mضj5Xy}gJ1"㨘_*9: &7q xψ ݶ̺p\F 7 Ų.dkv[}}Go;Ϝ-ڙ$mr`gwfʿA.z[,E]zV(Lk9p"ps6 1 XjlYsvFч0@o4 9v9&l#$x)nr@:v_`V2x4;c_wTz%$P/xo!"1ki Ъ3t >|4%8({<-7ZOى3 dh&nǼP4k"ĖJtr>R5gacTs c?=# x)=rsZDNzPQPl3 kHN/;M2ZiNʘ4;tamԱ :Dv26:NCQn, $e :Iwvݤa{7Ki6 Q-TvۜoFUp8A<ӻK=゙{>幦,}hn@^ Q^xOB;j=dg4qG4nI^zvI)G⌟~2`'9&-i!1OpG!ԝHLOgX)pҹ)Elaq,, 6++\X,ACVs1)?ށ$ 1kB|ݽge"p+9dc IyYQAS4leVE4*GPh5'.E. @xbMdZ2 _y5nU.qRȪ uP1V1&wötcb# 9r~ҿepRTP: /$S?A[k&*W{҄L;cIxŤ {0 CzH;aF6Ո= O,fa;?7KC=ylI l,m➨s@T`3 9_נzGUXfkfWe=ho(*dX zz0b^XJ6ޅiKv#jePx/O%1Z~rtR|cRH&XnI<$c ֜2295wU@n_׭QFU@j1D&*f|3T5oxäAQSfH CNP`?ME|O^J6nYH!P!6];<~Só<k LXBlܫd pˬ TKE˱]%zϦ0^y!ECtDgYZa108fd062ad9bf0a3d69699eafdfbcb995c13a579aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 9162c9183281942654bb6ed6ea624a97bfff6718 d459a46adda1276390a700107e64b81dcceb5599