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 \+ T,4 ]S]Quick_Sort_Cost:threads=4elapsed=15.024cpu=55.612gc=2.392factor=3.707zXZִF! rc]ŗXiɟH)0%oo#^9 ?|@E+/_Rۮ-fbXl!fj q6,Xn`LSΜeX%.s/l 6rzn9*"ߌ d,imSDze68Mn x1WG?经iW;<(V_HsPG_4^"5\!N5Xcz]kU&uAB"wh[,'V)jvm~TMl /1*mG"vHxuPpXo3IO]YXwLPwCSz\xHkѸ-gU5Qa#4nv$0}9Qii];y0m9p΁ bҽ Wɰcz l8-؇4'd Ub!YJ|.='w*D&G0o"Sl\lIX(r V8Cñx-@"><jʲ{FRQ%5ʪaYF09hJ')brJJd䭃mF1B6Y2IsՆ Exl>heN.NH2d LIh#=t،'1a:DGvݯԔKګ$=d`vSI YS- -ÇQc\H+NtM2oȟ\W2p+eDBiAFb%ۄI"Be&0\|܊5U<"KY qj?t`s{t](3o /yDf CWGgl ˌ&A2/ֹ?cp/yA?!%>>-.Kw,Deө ơcijc;epgҭ KH:Xsskd^#E9Ǻh&67uO{NgUu-jxxҏVAP m_^fSr HunXja@ֹm.͈`ETc oi T09Bo?HgKYJX|qҳ 1Zm|@}\Z1 Vi8rv<ԘF٧ .T~u);t>̾gVQ:k65>5dHAZNCZ=IV u!d,XԘy5L3Yde5y˺w׳XrŽ7?3ocU&k0Z+!j_[Rsg~yd"U8i^L.F6n8|;Q2\3Kʨ4FtvHٸ9' + Quick_Sort_Cost  _A ۗL"\A|JM#XM/8 ȥBy|fۋ%DMD,M1pWHMAhm(5'5^}QiC1HyMx*lI]s ػ@giN* =DyFD.]>uj)po+ r5K/9$Zvq4,*Vx҇^ AbO ϭGEhR!f,$= Pt*Y;%<4 9^l1@sBkWiNW0okO|x퇮r9+LP t9<`}2ؤQ{Pl3or&ho^7,YN󍎅3CD[0Kkf hҩmD<٨;u7Of..\73Pfqc,Sbm'a͙T*M 8jSL͵I`j sޘ7Z4ؖf _nOA,4.# 6)*)60;a(M4t[QdЛ&B8k^#͢4\1l eѵ);G\Ւ9TE"+\)AЭ`MfbE'Sf;_=Gϕi2qb"bhdP^Ƌ@"Z.Y5}ԅ)1LUnJo}-[z֍z8 ,g~5NO#[VlAO4>ԤY,-!bTκ .'~!:'I3\;T%/3g CYrW'ho,}Zxv,wV[uX{_8(-ع|!;V_s${{=r;WÊOxF6d;X7jOː Yy<0]Y3Ʊ Iɢ]k_âWm.٪4/Z'ȥ(J+m;uF9pi6%Ord0碁TIcYd%j. >_j*eX-d TVٻc# vjAs Pc7h9'nS9#oyR+2M u3Jj&B>PeiWK4b1Tϯ)el t<)*Qb,I|`dEյڵwo=ڠ[3'ӋfHƥmbLd/9Wf.k>gg~PG>_EW=sӹ0 PkKhFccR̉7M!b\{/kTE$UW>'E؁?+ G }#:?ͩZ=7'$r`ߒ \gZJt]J ~,!a1xtR~^k]@3'KܜfjS#0xwA-kO,1/B1ț{ِӻ\Fpp:6_t46zmO" @Fи+x-ݗCBց ¥wim֖6 B*=jQUZ5+R!BaiHI"m?}5!ivak@ߥT4L4j@6"ao;Y*z#i[K#p4jND OM+B:Up f)}26-?x 1C4:Juj4$g,4E ׶ޙɰGԵ\$=KQHqH=]}~lf8'e}Zs9>' iEŸ_Ԓ>)*(bVE\u<gިGAx,qr_0QVܮVc Ƭtz L< te^iӽ9 SAOz;|CNUZ14,1.KyCB9tVs;BЌ3s,D=5'{:do`aBtbMmQ\_I2$݌0Șc+f>Zxg@]N&$w8ҽOv*N."|we2L`O% ō&boD-pjX׾e5ikS6,ViUM VoHTKx%->Mpoh2Z(o!Q 8e'uV<"^|p2T̒\Q5`@@o;KOTguoë!?+1ҪEL">7Q2/ˏ0%5^uߕ-Az9M< Ŋ"؍SjJ|C ԃ/cǂc1$(R(P8 L U=Ӗxb{nKsl,ak! Qŗ6\W;efgG8:,g#u rը)gSRAZ3 .̳OB)Pw(rP nhxZJQˑ(φe$Ms:\ .z4,EU7,hқ|KOryc@`ab㬹AR<r114ȟR)8xs)ն^DH[qIt\J1)R3s˅˽ 략E՞\_ry,pxx+ܺN׵P΃Oe obvy4F-js%C M 4Mzp&~zPV`oYW9703|d-[N$RQbɉ/9J$dg}:əBb*7vU2%*~l1?;E^֭)i.1To'ac23Fp9" )Clv̛P&ұRc Myt ٫MzfC!kDF̦I g~!޳|Py=^r F{O(Wj#d 3ˤTsNi4oB9 P']N]ՇS28GV6gP{ H؄ؾs>W:ʯSH(+WLNhim'6ETmf/0C10KP6bmCq![9 CdhIUS4Jך+*(ZtrЁ#7S5&zMmˀt;%#[%3i{@uڞD8Ba=xe `))k[q@D.(YF́dw;zZY Q$):F)LJ>Yyro7@Zq>=V'q:BSmMK5n* >Yex#҇cdz=+OtZ&ɏ,guy-DF\E{vIlBrKMccXaVӴ7 UƚFR K+FyVdv3k7 3y`D$f".,I{E80ԷC o'(9ip`-rf[qlقwqlK ;Pj|X?V%Rlqt3712\UTIJ`ʱJІ~莣 Sh`3 !c/MIN )&x!N.GY6!@(Yٵl杗IH:I\j¡;/s{z"aG 4Ԁ5W!럣>V&Kv?SRſBOȜuRj0N()-έ=-΍5Y,!pqhmH%!P͍x.yR7@TQLon}۩ân8_^MY겆f~3X|=[~}w!dܐ]X]kdz^4xDmneOQ_]8@'i0H%'M)rSXXf0%žo$oM-<01 80d*v }촇'f@̚|L؏,W:4JAk2+AmZXXnVY2 XCaH>IJBW>7lyYmL>RG)ѺΧ6W%"P bN(.̝+3U\_%]o;9/x_U*WHDWdxK2y{%ݑE0lzlRpm !FYy' Iem-c%mNn~f!mp)e[:,K0ow/ۢeJy_(4dA7Sw%X:&GO,{iI@;*k!pGبA{jEvȥ -ůjiL6ؠr{P/Yf,7>ʋBN9MK#F_ArCq*;Znb[Xm/]UuRPN:Rm~3QƶI☪_GIG< 4<< Tf9ܐ$3~R5u*ch"avUA:_1:I<êj۝<*ZUrk.%:b˚l#'n{[| Rd,9A JsGQ'R+d ԐYBLuVxNҐ‡\|p GKf:Hפ:}|H Ǩ?S!z??⢥ B,;ϻHsGWaskTkR1k5k>&HܒATi¨4^RQs\Wjݜg6y»|uðiYDiz5l/Ui%dM_{vI@_%2-"_M-7źM*lH"UDgF֞11Bv;kUjLX*8p? m }Vǖ#黎be8DMcϚ0-U(H{F~9z9W, fliJ1*|Tf:C**xpGjk`YeE0tt/Om? K,r(;LF/"wNt-blPpuCz8di]RlJv%O^y.Lqml,ݵ1m}$gryyHYOkd:iGT0Ec7'V$@%;Jx%puP MR %eR҂wԼ]Q}c:閒UD<7i&TlD 1Ըf:!nd|$Dx^ 4IbkG~B]H|E.&ʹqiDD48Lw1lB_ E_:`CriH-6Bndohİɉ˛ˏ\ajEܫʤb(>#%]ԃ"̳cL!K:Q!k3||UKTdpʂ8S3*vCoq|~^$2L56Zd\v͘0-vPL!@,Y\Az LܢM&|1VLhїqvbl%@ıAo-{ȥeEY_{?XU.DBu_@HqϽxO^ (ފm^9_vݐJ!q3-s6Lz7<i[(ouU-{C>]'4 <ݨL5$Mx/@O _=H瑚U6`zԿJ,|=:ma޻ N"KTEWP%hmXݢ (:+|'l,2"@N4l: =w营 ƿ&HäqªJBF%|?]V 4|1aÙ N(0)\gt>!-z ˤ(?&q0V"_hiKX9"g^ ڜO)n駟:BM+bu).ЋXD!ߎmV@8[*y^9;X9y`5yyZ;pY;)gg@2۞D}ކ"wsrJQ˞6cn'V`!n9^N{~ۛ "V80٭p,ȇ@H{nՊ"Jm, xs~afnO\qcY" y.QGػE# !vy8ZU/= x_┗N.M-@@+LqU|ifZ9.΅QV\!͒C DAX ޝ9m;o8w U-(h2{8_54c_%Lr+j%v uo;4`J}t0D˺/yͬj Iɍ!Em/h g}k!~ŕU_̉9Fn>^ ! `nPp3!tçMC> X#Q(:4Kwne= aCozg:6cT;LSsoP,3ATڳ}`ۅNڅ'T_oHT{s7]rCKědHAaÕ;\u8졁 xҨ{8fXIW[ fO[xcX[įW>fs=Ѡq9[oRP^M"j>+9>3E z1FեN5#11EH䞖'O!_m70; &:[ 3B:2}5w6Vr#篈a u~gG1;KWP;+*#$N<83Fcy`BH7~o8 I*7kRH†T0B}'m.Ȗ~rJ|5.B: #ZN&:te~Ũ+yرD&g+s,*TK yV~]qnCҺb}]yfsJL+$]ZGL!l61EMIpF'5ZmQ\^*xG.^j>x(SZc//OO*PDg,S{g>[4[٧\˻* *|P3&Dی raJΌB 6 ٱ)) 1q~=gap=UƄz+cX( `wyh}՛Ccs6 "U:44PsF4Zs5N Jc[24 \!9124p 3mb|:)&ԽJ'>#1)$<ZMW 2A dE"g/jP(0Cqrr$R[*5k:l!p`?3ɑ0#OԍХxB4&D.ܔ0~~,`qfψ~"'q@;vȀPxnn4Uq$/]ۗG۶6o*_jl`oSQ1(~dhb_3/%).ػsaԣFJa-6/mCm~ZvlgH &ydNS}T}N`Wh?\ IEc!/isYN.P}AEe@FvҼk8o]ߢ!'7̉qA3(,c3iskZ\xXeg_lDb|lfodb j \萙ʝh,S8 iL( 3JB4WSˌ*S}>/W&-J16#(^P^` W= k.8JfuxDDц[(3@.`n!h'O*[~  | ^Q`rݯuma<@+Ƴq'HF֠t}k羝V/ׯ=2Mӵd *sV%-q7= ;[R^oOyq!"IŘN[vCs{#fy;Z XMi F`RW|nίX6zfTJ=a/)~L' JQq^Ŋe-q'e*ixv|QwXFj1 +F8@%\_DtBv|"5C(:33o)I'70T6L,i~6tvuFf;YY_Bs.hx֝KBT"{`h,bG2F3?/'|wF xu QNU'L/=NŃ Eh&&_Ga]I) ̰l\i0Z7| 4NaSd= *_"/M> o}kA=/*:rRDNq+XFQJꭹ=RzJlAV̈)J+MUJiAYkMWTpb1|vMͮ=.<0'`ع^-,5jw|3h:H3k[%TZ=M ؘ,~u@I1(p"89tj 8]@"nsㇰzX vkT=5óR7jwnQk5rMICϢ*aJЙZxGaF7!CnQNFwkE3ogP[ 9$<.xC*h0ᚼYbhҙ* <0b2|?&sqbJ%n$nnGC6t7~}2{s9R&PḼ-Q&Kz2^íh+&I*ҖfdwBBˏ"L ˝#NkOgoӬ67[ο냐T,X1Yq ϱBjltTGُC$G2Q5S0z.m'4%;fYN.7qHũe+}íMn)eRcݹx{d ? l( B' o'_WtrX مХ#J}xJԕl8 JENөyD6Up#*(iD2t& > 0):Z4Gbg|ViG1-WjFʥH ɔ&'Ua/ݖsib 8qFĩhg?Hٺ]j5=CEfsyxTDŽԤӪ yvQV;J +-μm=y.߫mk..`#W]TVFRI46ei^iŠBY.G-2U%;%JC?/'c{KT|}#K 7y}-˜ճwݨD*8rٱeXM))װ$2VՁA7,˭ %DhNvYŜ!O:F*͝Sn9U1eq@ ZRٍUwK(0bq93$DH:[?OX,>{UQ=eI"Liuʷ12> ._12k4geӎⰇ/o Gf]Xh=1whbߥc觯^(3RZ|E/Vq*JUepe Rdہ^mSp /lnQc.xc?eE)oEooGKf8=jq:ʙ#]j#IN*FY|MPi>Bɇ𫤶)py}q\BB p"DMavr EGHTZdz=6JoOZk]婑[B |7 &&rm#um o$Ig9 a 0,7ɐ ~TGŗqԅF2,SpQ^Z͆T2:k p,om Kǥ@kD?4cE9f08`}k@!{]Z"rgӵJw/7`^;""(jd@Ug2#NJ'QaLڙVe&%>,ߜ@R. נƕ{+޷DvOi}b߁|;+]݋V.t!k֩+C<^aMfWM>}?2[z>*c`mX\5Ѥ`(q-h_/q@?\<↪[^HڈPt:LϓP;sa e9䔗X ؖ 9Ej6l5# -H@ _ V'Q*ޜ:=&u#7xu_2P ''g7n0fO\zj6\Iy&⧤,Cx:ػbBŎ;—iM6ߠ:v||`k⮡-]Ҫ#'5Z-TqCWSth۰:g1\޶,-Z[|QT73]^Aݠ+CJRb^b?2t.E.4` @S5X8\4Elq߼%yR]fˡ(=y&od9\Aη1#;(:v݁30; }5:B AqX-B&OF:kG*/,.Բ$ +zrl .戧ku@F'Q]˥PJX/eD_XeFYK9 ЧsGk9kWHBE^k[ʢ  rٽ8Uز>9ȌE J3WN»0R 0r]ޢ^s1gejƕ=jæҩ7% ,tU'v fx4? X!7} ]XD\k-(Kjg| YaɊQ"oY1ٯ8%B`i YjuW@T\MtgIJ˛9Ρw$zR|4pG)\vsO392|ʼ6F[!;FHxggPE'u*zj woA#Ʀ\V^*ܪdįwDJi C{zWҞ!ޞ~ -WV֡AFß2FD:~нLU a d׻-l-SQV&NFqkٿY % `U: 揢3L?#zpcA h=nVKS-h)-Ҝ"O\W梪-Ю޽^iR0)l!{+ Rt=GmbFE6}u?VV ΘI0WceܹiӶmpf.Zj~jܿݪl"Ayrߗq(%V=}">,D4gQ;i8D9l@f ឩ-BSsI7_gp%=hH˱B8P\t.ީ%eӣrv!n'Uc?lM)x2h-@:ER?jVM:&D[9~DžQsJꣶϰsQ3u3}4&oH G=8YY95,QGXP6$Zd\?hjf^Yhu//,@5..lр/T fE]N}H1xBf[ U9mM0x}` ;'o Iv He TKw}]&(Us7+LtquF#;Xv2)FŒ>ìf/)yw)cgҦv'l*;a~44!z!! }]N7vc A?Fs&Z7:MU@!w l[TQ*>/ 씬AS(,m>AХ|*h2ljbW2s4|;_5N{`n$  *Ŷ+5@DIŀσۄ\a&:=?[ju:Cg Ԧ+b \IVYPc5c<@Կ#=D_^soj`c*q-GIp*<אH)!aox y"BL;.Jճ:ѤU_ q'"N}Κb ~RxP-'+^<* Jgg!JRCe"VV(m" ,{:#W?롣"D>Pz3P񣝹{^/BϺ`o LAFEa77xȖ[-It犟6: |ÊbeQ؈]d}~Pa'F;ʪ0<0IyMG'w†jGAc? ˢ5–ڍ+_LۇZNJk5%@u_ǿL[l{摭y5"# F@a0a *Ic-`IԿ:"ij5SF}nWL.rXM-|ΟMKU*7= Q7vRFM֌:G1Z>zއi_\v Uӛ&y˟V :#Fe1.= I策)IMdt;):6bs54ȅ]]MjGN, 08ب.DBh:tzGXc1<0Ḧ́#F /.Iϓpu3uAg_Y_ruz(f 2u1×`h/f˄Ruߵ%(RpRklQ|SBk @.elIj@xj.SuV'6z*p LX=CPY=^Jr> o4W.GNUo^soF|'gPz/LZnhZe'#'dA^.l/gSu BvɚCǯ$䕍R1vJ9}LxoR7Q// .W$.)l;x,m7@#RtZߞ.Uh0ӄw>t=CykRGT4@ɴXKIrRfR%%IvLV0eV͎+9Ys0IVB=wTjd 8Iv0|<~QNP;xh+Wɸ^!-7ʐl8N(қZe#EMc\CM˖ ΥU766 |j?q.8nP5ź^߼>wVf)V]6+Z/TŔ鵓`E}'Kūi-G1IA|VX/(]Rޛs;,3[&j${h/&8ĤTQo4uG2f+_0qm#6M6Ȥ`.x rYF>͠v | "NeEsipaRݓCUd#嫒p'Ტ'gO"?uZLL^ Yun/Le!҄whvؠO{z@0!%/F"Vo̎T(ſϟס9%Z{A{ܔ'lkN]R:@4D0}6|9 YKׂ2^Q)1_a/dBFΖ1iD8IIvQԷ'|C = P87+iI֘!CI\,qy ? ݱ~kǘvY5;!R8)!P; &PB#ka|DdC0(H aUp&^J"-gYc| Ыھ^, r`o [}!X&%`rpF5&<,x;D;J*Jk } >(XQA>5щipD$ X ;mN8fCUTl/E*Ěji|S,}+5"=6`ѨP7Z%T2wԛ8`fO^lK21doǖ2tDe1b-vZFlMѝF JѣIʸ6.MY\ߊ1aC\͸ZNC{2e!qo\5܃9۸暃 lT!br V"`R[%>:ru\XSs'v">҉RG܇7-1l:cNjV5ߤf_5T'Bv HkO>U*۳5@;7϶aҐ5.`⩽MNV=Xöe:I%VJpHڪ~…sSN>˂rn^W}0C>=zoߌD-$N#A&j^C286l)kK+}v9ZCӪGF@nHGt;(/ğ I@w :84[@.K~,^ZakR\aYjH)^.@/u !h<5;] LHͨ/68ajG)'|붕,nh"N.!)_F㦆\C5A=5t+&jB{u[;W5d  _,-BEj>%6J!~lUB,Ȯŷ\ic>/^ 8b]('%9ahvDq$>嵾[O(}%џ89r=q0m0 nk|D xCLDߣ=ғxP`|<[U"yLkRaHwW\_5K>u†cZ 0SjOK px *` 7pu.nN{"φua)Ɣ_ҷxXP*Yk©Q?l, AB-C}hؑר~5`[wo5pcX} [\U ' ƥ9-#g>!&;H%S#z(+ShBOW1{*$=f@51{Xk#>ϜZ N\j8.<@ˢ]"I\R0Z٦LL/R 0*zs,ȉ.GB|;9hcPV:`r.ֹFUyx08^ڕm'(4|C)VouzHMbkS.p8FZʂi;>"N}d)WZMBd1冇f Uf$p“ e6%UO-HA XP3Əݬ^G}]z}ph3dX<<a멫-Ȁ lW(v|pA:ukq!_t(mK-E4FЋD_x_س$O6B~͙}S@"eAۼf졘lDW`EEHgPwj!ӼVK8ۗo̵MI!fixz&Ș6 HL\ޓ>K;*И%sߍAK_(>S1]!Q}$@))ʋI޸M,[08eE;@K\kW|)II_g@;8d:KVo鷥`L}kv/wfm(DyhxDn"[b̹ei;6%zRa2$`kl^*мӃ%χ1SLTǽW0EYu;SB0zrWwgm#& \k ډ*+nJ jTA$͋CEE]LG:L^^fh8I0v-#,o2GL?$zWu ht^ 7 ʪD 2`n_R ۻ2W! ,Ö>F?c,y䂫#<34^\=eн/z_22ԛ_lDF!Ҩ#=5M#|[⇑Fu|zGr?LזU;qHəQ'jgeO{:S2K%P<ÔRsWBb&`<W4zP?'L~ȿHFȔmZ+8}oċ/pc2}SW\pnu14OqB㊱QHI1ۦUbCw>vknŒ˳>x ;ҲѴM'B+DO._,MyvIs3a:fJE!7>HmGvOo7" M kXĮzT1Ir¤܌ݚ'w\י7ۙsZ bcX8C(kA 0hAZ=:n&͠񼸰vj5CiͿ0fYDCǤD^pyfА"D~ބAq[COx^Ms_Uk/v>&V1AVZV]-5k5`[xbY18+G s\b5OHE}RdbNVOeeVK+C{*/-W} '7034"^Y7̎ϗlgcJsVԁ<Ķ0E9(/$ҐABA6q`` KX#ó)^5YEU4."D\[vBDTkt)5Px)< f* |T<#rEk(2\U]fe<&NH9Vj)fօ)F]{w#5wF5cH#'A1@]eV+3K4=|nhIۡ Ev*qvʪ8+lg~N_JlYHR9;ţ1a4^ G;`Tk?^x\oH¼Ā8dSS'm7 ?RNԛ=LV7Hd0NƉflX?@I*>M/e݊ϡ'<׾o8S#'hJ5ʒE(oY&$wjsj0(>IRM͕/$${xrcO/SOޥ7cPٍc}dsUM1uAf@i"$DH̟'jp"3Å-3nJ.CSG ?m[ ֗|tssbYv7[Rd~ԼJYM$($c[-"UyF7#E^1z.LTUu9?kIkrAua3GDjE97B2'A `B?>^r矔PgSɒ KM745았eK\#{"o&ڶU 8D=kx=xАq _ط4A|ZqzQ,i[tuQ~v:S ZI+bd;OM@6:y:`o9%ȅ&2kK9ͭ [!s;9gUTf#=kn`hC0wX>("`\Tu4k<0wvi=0aZ_7J2͑mY3ҥ-ˊe4;M`~aI4㋈eWSLjߔ)Ѵ.n9seH9Cg1J#sHwCj!t £L~Ço,KxqMTBE̪sf(9+'Fbel}8ZaFCK*rk @B"P8oS*Ba7}0cP7 p+tAP* - Í/OPhυ R PB{u*50`'.^nȓlw_0mtϢ"N\ȣj2X%a.}0UmJp8WWS%Hd6p{5mw w+u[Ŝ%Y< +v*iak҂KWhŬE/u bބ> *6=$O|9 : 1{/oP- *l4EhNBR䭪4px,:L} ]I$+޺> Wfj}Qo.57k55flTqB[اtV`GVfMP|i2.f$C ^Jc _m(FQ\?lwXI=?1OXjMHtj'ʴ˜4F)B-C x>zGJ-"ͅMɌeͥ-Ob)!K2AxG(6ՎޤDe06g$Yc mHl{V܆GV/VBxTAŷ,{?4eeӑ[+g >tle'\+_T5ژw)ox=;-Jo7faef%Rq} He#Z9^֏vRqrC7]] -{Ӻܢ 6nw5<`?E<^/_s!tVn'm2X=dOٳת IBgz^(./CEݙFm$!'vpW'r3^xPV(^h,9kTOg#j ^ה$)JT@ہZЛu{0ŰNV7T ="PAS?QI}ktiXEh.MgX5h]_Q3ubnKiE!ӳu^1Kq>0hY<^v|[WUZvU-KKEк; > Q!5"Έ~ʗ!"ڲbӲ=);*jA%a> /Ŏp~0LĄm> b:a!Z`,ܚEL T6X+ȵ@ms1e4i IeC_Z2l̰Xj$dA!n\~TW Zm^"b>eOnS\ƐMDs;ߒTLk$kaX=m#vUA˷`#-e Vʧ`=jNA pM![rʏ$2'~ث&9pz>P,Pʵ":ցaԓ3!] omkI÷S*B?~wEZˋ+d(S|0AQ ^E5Kn;x!" Uw.zn jc~VN~x[(}Y ,i62^1k"2Pi ea:L[/.q4#j'psT O+ gH SZCC1* zO6xаlY8< O(OHO;uPd z##FW t]0pa>\~]%A5ӄDhx⤏`Yog Am`>V-eM9U";z'4*xw^h=3njYiUa*1Z2;a b&<υ-?,'ꑥ8kuA97l#}R\9i9oy4až{㞒$JQf&c bcܺj?`OV0OeXTy:RZ|@8[z VW 4.SPɪ@4\ dH">[~U?{:Ȝ 2X(YGR%JM$/鬄hUmt T(ubQf(sϊ׾ ^BWN"G łGaK ϥ'U{҄Љfz^|yɳdP`9 MosCZͲˢL±ݣ뿑pe4zH|\P18`lOWt_iKlm忈yO~w++"ZWRk v(3/"=z/2S!z/sʏVu/BQ[}5]C;o[jDL:1vwld'ےG4#O10*@FP,eOˊ3њ4+:u/rkytݬzg`bΆ/ܝt$M@@(p T.#1Iee4˹M+Aʜ@>q0990r$o+{P\eⶢXaŧ~16+J0ae=~M*)n:]$\R%*oA"9vw" _LJ]@,|mp-~ORE~?b.Z rD#3,hc*pk 0,#s "ӍxgI 3v櫜$ppPI!OE۵G8L}ok0,)Z㿝0Y}ӼVR\5!dSb\XMZkn+xEGŽҮaOd~="u,eK|4zq!ztMlF^"£ l7ȅ"#= Q|X͠w/ <T]6#.:tލ)ix]у&q@oBVq;EXxNvfQ[.-93l'˝= 04~en[8lZy%;]8J9-:E Sx۔uun%fi<Dd T)}FhLN{~i jS* Dȫe&B;gtx#i|$|Ore2B|v+Y"OwL'9֪ ٰhj*t21uh%?yuDzXOZd#^GažU>401*12+j^M`j?Nj>,Hu]\׽9qͼ450l+AYU ]x66UnAJm2Eeai 2ѨP Փݦw9Ky S_sWD`䱏V#uM M6-aϐfE$ 'pX+ 6A*&1/SǩQTC_NLԥB}Ɲ~ȍEnJ!v~Wa[]o,ֆ>D^Y#)SKeAJKXitqhXb%I?@RInn~ȱ`V<<_kԃߴMU-r`x~\ČUi8oZ.?)~tWCo)to/g]ACj!m\SY TմǶ t~5QO P?j^dt^M$%NmL`*4 >.1 ~̅/OKuQG ~DI/ǺRcF&=?j# IcjBja @9Wr8bxWY}.Fj/[wM\jx@KA:CyvdFoqdLBS] -ړcr,;a-yg;X PSoB׊Wra\G @}C|Q"gxC< ^Mf2̚>ǦxCıo)R$^~[R ,y^*O"f*)ƭ$v0`mjA4c 츑ncqغ& i1sD&>4Mp󣙝}C:TB'L2(md$K>;T,ىbC5n&(|?L柶śåT0q3 xmhŗD;u,I8l:  /^n\}qy1b~tyAhٔ~w6q7844 F-|jƿPiN2]LHV'T\`bbWx cuoZOS81i" ͮ# T4HU[>G/;eYWJo=LF?gԐË98U a\fl>(kW})seH묱rΉ?,)/'* d$^z_C>K2bJ[^ M&`µg*]:"VC#WIbY>-ǫmi.~)Փ`N_?:#mY;&czjEc:D)6Jq#q2`0cEo 5E`>2+3g qҥ˴Qr*kGbPp?̇m-Vֻ'X"fV#dx4ߌ{󳹲̇~3. ~bH㺰JWF}Em0;G y=C~d+6M`3E۹26_dbXj7_{F$X'1hߕHUFHH1^6^%,-e8`DiLJe}9ܡ0*gDbcl ݅lo] ƨ?O`Gf|7Vݍ3N;1Tv2ą( C:Hu(u/L%7"sA{ 3GD1z^EPa8?g{db|5@^@b]xE5a%J˒92YS/ʬ#.XJF@N=mP뷊\lw U/5wNEwt EhNnwH{(Y5J0_VU+-֮ h39b.1L\34gl\VY@^}Crv;WnHB)DX=j٥*3c$=Q9cjDdZxE=𷪌FmѮU?-/Jikd@K hdyr]aǑom5W&~ڽNא3v#Ka[3E+Vh%l<.#&^(snv]]h <T&RKRqDV1>I=R:#󧮡Q>MK^!j*KzڞP_ icTi+}B4(%qB"Y8ri?BtF)o.`DvtP#+m0#֯is&O I +ewrdHAo=գ}U6L6٬kf}U]1>Mv xnޔ +oUU/pVq3Qh?A].iX+N"klpLG *vźK=JQGͫe Y ^wlRw/2R5p+p +?,Ԩ.OvVvMˋ|;bܷIEP~;;nf= O?5o^3 rst DqžrGnQBPv.ڋ&,{QÂ4E*o&q'SԀ+.L ^$@ (F^KM-W1V-8߉;Zl/:}$[𮦾\Dc+zeN'Z"_^}/yޖW : ʱR&$$up+ ;}=Hu ֓3)MB@1#UMrjp./x-HS򨙔!ӏ#aB/_mb:%Oct.QoP<1,ՠY;xqlbH/v? 7 3L D!J&-FrZtBiy\" АJ|eL`F8GFp+l'BO !b> PWFQ\G-Qk{IkpٳSVcX8XdxoC*y;Y x/ 7y`)AỤƯ1l'Zp\ #0I= t^,ᓋie2ŀ#L&{wsQEzҨ v"pVΙpk,[!W>}IMV;A[_J: frԦ.4 a#2z+ꪻ/j|q`l1mZܡ^J&nGN?{:[\U gWQ~EW2}_X{mUK[\Slmғ~>yz"-KSS̫f_c,V3(t{ťIxײi *Emsj;A>#`+؝v* ]gRZɚliyf5"Tb`L=d?29}o5H8t3i݈wI! @V;kZ)pڶ + 6[X͹[FhpWΉ{gƄWF>qPwlW6i~{̳kuZ $4Gt1AFb4m/z}c+ p+Q4QíHnJ~I,<&V&^( !`qӪ)1dU)JhE,`nP8jdfH,ACc3 QX1Aj &Xm7 -Kqܢn9/C>"f@cW;R!@q'\ мν@Xe+AkU.R1@2-ͽ"= VcA?A2Î7瑃PdCϵ85Q;pNY5|pU v\On@[%} bQWU&fLj@N5N!u87NBk:ƻ*{%`,S qDy3Gt6bs!(XK5eJ QA30>6&G|zL_`K%eCRP\Ϧ΃Xf:Mz Քq!ogQ`RDu ǫ`R@3{g`+fnVK\ޛmq<^B͹+)]uHmnC%9CZ{}iw˳+ȿd1L891tIR&vL5^6]HnۊAOF3G[HGi;k# C$iTm2+gcuI'}}3ȌEZ4R1~'GP{ ;"r{i+d 6U+RV>ò!C ݳ0`ֶ9UbŮDn:L벫F' ` 6l<˸a&΃ߦZ֤(h0Zʯɜߠp:v\{䣡u+*a4`XQ2/ v(`_tNDsg7q4WlAl<}?5ke ʼA{w`Х6iSrNH(#52.8bΖV9-SU*AӋU@w:oyMi |Ws^4y%yA`r)oC!SrL31T)uU&o|A;9Ic$0J`yaV7i)ou(N`Ա R踓{`9ۍw8dTf q|:C,"1".杆S&M:ֲh˨p RX{ۇV{aЏݘn0w/˓kI 2l66!RP ߉ǯ`~~db~" slp <[lwED'Pbov7'V$dpͫ,$,L tnD[|sRd=!>_i)hHaS-YYՎI!|ǻٌE&./LLnӤf&-cQE~w W)5@As7Ti1?_hdÀ'x%3_,A<=X?GFB5-5֩uȹ& {CtG_OÂ2QǬ;œ`A֖ MJ mS9#tΏ8hu`F_V+=ST leV,lM)@D"dh6 }iq=B/ yf ~5]ٓcw|UɏZ.ge~lmY}HBkm)$HV8n.,pup^*zn? \Ţ==F3.aDK0qq|"DΔdRӧ"9jQNI."$ôI"GQ4+RIǒFtMp|̕ց&~6`CH?D0,{"JtCd"0L .z+5G$2j KL k~#ׇqGNj,$Oď=ٸqm/EsPȮ^{3+G䊿Xn %rwL8,x\H ̰bv(S.Z((2 "+LIcZ h>T;_&ڡ. ~UiM}t's6QՅ2<7D%6_lX~#} J`q1CE uƅZ1Oe)^EJC~**ܚ4\gbd˰7l83ܤ~/8pZݭL*ɶ-Q(u*[^Ż |1^ |ܭd Z%-D@2և1>fRu]BS\TH'[4 l\YC[L1t=Lu;'> bil \ѓuK⋟eIn4˓s9}M/G]݄c F?շ"*>}I0{_U' e6N`[pac64a3K`G鷮^#+;_0a9cZTϾ+Git "5z!R ]zqpC]4'e6uڄžÿq[?eV\e*Fi$ܗ;AT$I ЛH߹~+;v3Ratgt=s ]T0q` #PkV6N@0DĪb+,*H~CZ]3մRG8W'ل hh'NUXtK!* & c'C&-bRn@ks'lj$F m^G~LʆfOQ#[܀89ԫml*Ҍ-CUItr ' *Lh/*3iQ\BTr6״cMy]_$Y\gA]f*B,?C'a?Sո@6 .4 ' /+ U[6+1@ P_,O#LuœY"ߗeb80,/Pq dogWVh!t':xXMzKkdKp"W7Gh . *w% "{\g$4rϞt[- R;Q,رk.&|lQTHpz؃{vЈf+]E+-υ>*|3L}QjT&qQL(K:*\Z<f1YfKs2Q ?nB~j.KBj?W`s@|GiCIތў8qĔ?>>DnȳP{ s Ҡ`=xH8¢`A? }%J-b#`N:'sugnKro׮Q!{W=ìX/eXV^L 3\h>Y:+VCr!FT3x <,(Łs9XĤi0b|jB''$)\OЊR8 <K1-zv:؀JRiҜo4ȯ*u1Z|kc5u0OSXƗ7qɮTamŲۖz^ 3G*OBQuF"Uz/\,J,3uǛw%2p5V4b*.Rh䞅[d!$'Eo,=/ 4fuw{T NƝT)aXnp `,F2ucؗouXҶN+ Y7e~197]`}Tޖj}_t/% O}n~\Q|< d&qS`}ipl8.8/It}cF/h oC̱zg'yf,,qTv;+^ԕ#!?P~?BaGS}&yׇxp\d,KS|Xٌ{<ׇ՞ddXOOY@5uN%U̬J X]"\Vc#>6#AQܤd@WNzBs}<-b{R_e ͢JybgL= _S493\Xa28o0c]uo\ Mz4V[6ko0y9t(8yOӗZl,궘M}sTz&L7v%teN'&qktgH!/]!Kn)M1Ŕ3 q#ʴ(? ] OoNsQ*&{N#0R -+ʵPp٭tanZ!!{qǚ*n}Xm_t%$Ĉ99eb\%p Lpa~yՖ\$+?dA?Bĩ> #X~CEj0rT^,bcפ+Z;ڗKW gu`Z𾫟>b6Vk+ߕ;JՑias#wҥ̙'b~S0?,)+|m2C!:y.ҵ&[I$Gj!ayv跇dכyR*'Îa"!eQr+c_` B8a3۫c}특0ơ)6v^YSݒLqz[0m"rt%C *hThv2H9=;"@*Gz bճA(H@Ci{&G?@[7ȻaL TL?nɿcziO\2a{xFP9熺%^`L|#zE,(kHzo36`7 hYn[N zdq%٠,j_ C=] uʐO7?m2 Q0[*"С}5X("q'>(>I+Zts ߓZwMYcIQ)tl wسNiEU> mvcXuڋt6Ng*PW9$!D%<Yxk~#1$v u\8B '5ǶW6aZ "%xҟ/kum\F;?w)毄4k.FG/ԡAApBlّU).'A/Ovn9໗Q3gWS=mA S!0R^6\}HL>Y6ZAL#\"t&\|ܱbQVwlmĭδϠIyXA*w1?D6†RyL3p"-%>wH/3ܛ0 0y(ޠtSd [iW-m.AS@8t$/ڳ$ij)yX%ΏBw.ӚcEiUc靦0CNm2#Dzq{u դM ȩpA[<+ĞVLpb+Ն_%_uW _ipIWJǔ_T:{@#\AQ7"u٤fsjWnL#Ei{LPDm^#,E"8u|bny!24,ۣFX`]9zG }3Agh*gYZ7zXZִF! NN]ŗXiɟ1˦r!q=4!pƹ $7#YK+{\e»!g,qױCn^TZ6ۥW 7Uojr]ƔQx}*'YY׆j+!OVٖ#~ m)Z>/"[W]c Y-cyL0~>IOtxF Ǯ6$g5wn!2gzϟeV8~lG?$a/k|o <XĞX &؉T!\NcC=$gYZ7zXZִF! j_]ŗXi%L!3O*tf ʼn~63'3(*ǠiWYlldg"ƛ™46H Sc=u5LҽPEoNśRbCtqv[.|Gu9VХR$4ѮN= 9o1TRб@=Dx,43 @210wM@wacr->D8BBlsVrwrc~R[zBU ™j'\r-Zn٩m굥dܖQMp6x8JD 5BMbu66Ϡ3G?z^VuHBq L9~D!DW q)2gn+2fLjW~ٵ[3MWLzFd6Q]i -[v¹"~NVPav]3ԂȮRCjbRW2R0*_/2PYABVLF5 Æv~ytӋ~LhE\o/+ HЫ5=x= NFb2oL m WՒ!Xt:Q &ԧɐ@*k (#-hu6:jwR, ; ki+S/88 x)ΰ],m>nLrq%@ܺl(3sN} ~ͪ;f|Uq]>K\f+# Ni5,vXWZ݅x>@">dJ zphj7MMٓj>ΣxJs mB֛14ϕ&Rf#MUP_EV,rgUnWm]RlhKy"x]&4쁆( 3K@!W[fY#e[jhf0pIb! :߮3\WF|Lq C8N )q5\9Ě0x/ ]MUߺq\ˋJ}BbKʢFF!+cLP9bi˧3T(۰;,wu+j"rj^0ʞ1$ + {Q p_=Tx2Įb~e-n,B ݻ5uUM}t\]А:F +oqcH\dwx54@ﻠ0!xB. 8{]k-hGgYZ9282c5adb3eb99ae0172dc8236636cfb359331c98215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b 38f9f4ed2bf44d4e2a3c3f9f4761a59c5b0bdf6f65ee3c41568c922b8e2f5f88958bda8df60b1654