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 |%l$ ]/]HOL-Analysis:threads=6elapsed=299.300cpu=1451.904gc=61.908factor=4.857zXZִF! kHo]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jpqn\Dns/GmX 5d é{AΉW}@ɼLRJESmBWtЄfx1˯T|LL-8kc t/ T(FJ{r1ǟ<.ڏ{]5cuguH>2Yl&} % HOL-Analysis  ap,u*gpH3vlKt,QTnFۗ;w=&w!;-mm>'%aF\!-$eȏlddPzfuF%ҕ ļ+vl׵%mSؚG/6ٟC4+i5+YJTj w+m\4G UHщiyF0=3o \uW{;mSϋ"(H6.YL)y?H`VPDt'#dy6,H$Hf RDo]z۵)B'm _ pͱF-c6,ƌ\r\"Rm>Kvr%^V-P(OTJQ'~*wBfvʧ/; ĭ"gQLJ1 fs*{7sDFw_z*G#$x ,ų헚uchqBx6̛[@?Tؔ)U0q0EB'":[16; p WV%Cۭm1D/|{mv{%2,*"鷔}s/lsi@]iV4喀3Uc]3%CoCKgS39(lD)ܶ7Mz:pø)OoҺ_ YGza8 4;iJP2Fe\rTaSGHg6.f| ԀݶJhͪ6˄KlIruA.à.^oFBXO-ʒd]-0=G]ݷ|%8=RU8Mb:'GD^FQql '9a*Umh&6Zd{~R)_=B7B\d]yB3:wZt~-"Fgy jd# wA۳{lF#D//kDz$`O=r߃p$Ȯb8='޴1#ge5 6u =[鹆xcãẗ+[jq=MбDڷ1ꘉ´^25Be˔%o: Ez`+_P>,gx29hz.?[ɴ*ݥe{}#^mk澔]B`!>"X΢έ\G(DѡEοD|~k{v R+H4isˇ3uj dw֗Nn|gg޺@"h?#K.l҅X}ċEpX 92SࠤǢ>ꑹU0]\k;d׿S,ɯ ϕj ߒa1b 9;Y;Jh\%.ݭ3PI%?t Âyr D+ګ%J6bt BZKx:GFB"ˏsv9miC:u{6DӴ^ٿ\3J*r?up *~͟βk D s1AT-rWY=mpM4q oq{9 !qh=&NGU{ptȃ %oHI{zSG2QȂj1_Gi*/5\gb<9#qhga/oBS$^ƺzTvhqY&"@v=\"@AX D sN/d_lzAE36?3\T oMkRמצ ,h;};*xѤANq:G'dp\eʲ |e'C_a0peYg16+ %P >ܗ$VWI.>*ifYC!D`mqZh-g7 5 =#t''Ȥl!n8.J>Osnh(Y%Ŭʕ,imi\!yZ9 V% XZ]Ц 1/rOtTlO$)UvB3s `4 8zvt-D"WPOE,N\l2gi_HXԟO.tԿ|o\zȪ]o F` . U{;vu52ms<L0b޽.{r/$&B\HL5McuAr%.^*BP3%`Si3p*9!z{8Ȋ*fy=#QP2/Bh5lrȦգ ց`4JrCTd%\5Ď^ uDM{ݺ;LnVX4$^ ?DZGB 3w 1SRz ;3JvmeiT~jo~7AbAWZE nWaƳitqԐL.RLLQ\|>&-JXNUw ^y%FFY˯ ӢU‡*U-e q:T{ߡH/fJ u\vFzp|"h41'5>tP0p<@}֣23%/@Pԓ-x}dtX#| kvaV V- qb?P_o~0iX-gh*&9suˈܓ0ku- ]MB6 ݹh㡕U /_ݳMt]PTT <mU7A|d K*I]d>|]IέZhžE$Pz C!B6 *'RWhH- ˿<n9|?r&~ρCF6׏~ xO[ym/J 45s^ke6ᚫAxVt6Ʒf)n}TW`U8b xVd<}}R$qo_+-yoI_%}K삵1\o_][jr\;k&o Ib|B\~5<6KFTPߟ0~f V#멊<5\.IЎ"aa -q;6% 2{xf`T_oo| bIx&Љ&)'Z@p >h D MXk,'O$uU)?EN2SalʱV:>\'Uje.[ VdpZc8+L04^gi3&cG :a&[-Gɦ&Hs͒ǻ&!1۷Zݩ(S |Bc} 5ĶQ$NZg)'/!ws !m8 ˕̒3fS'(3F! [xxY 7iG^kY9E(aВZ ZȞb\ps4g ,рoSʮu#c=0Ւ /  RPttCc9K)c,@a:_.-jg9 cy}haۡw;=Gf^t.2e?&wGl3, #'q;$')x腰ae->)hv0\r5>1M~] :;%w|L[6}9aGBր7UFk#[7ҽd?6-)- fn, QbPCN&ONU+SqIvU}k9ˣ 1 _5ǐ^YU6n"9"uHa)r]5`n.//vj.^QY3^3 wqN`C86=P-7AU8*|tPZRL[$F_cOcմ H 9F(aH }}{?M8̓k̬])Pb0* hF=Gv`6 G=q'U[lv-*KQ3u>dGRn>< ~skmhTc!w3=ϖ=tk+HX1R93ð._7Vq9A0K8prW~ALLmܫԇ!)AٷE$hjpQ1ꅿ?t(?^7XF13u nɸovRJFII?z]];.2ڂWsLji*KasJ O=!%-e—~HL`^gt8k=LwWggb 1\aɜZ'X sܒ|XAaq Jj?\钖8NϜ0wuNr&>wChIy zA/.AsܫR|Cbw |t $u0N0&ЏW}È|_Y߽_q:4"z0y )+s^9? Vc.!5͔I!9*\'OfKWiXn?BR':S {&L =&:ID)r?{F+3 *i#iRbc;i6 *yž ,z ~:(6ÞjhKA@4Z8.jƌե|}r48^;Rlri }`4P(86/>} >VcMQXMbsm, 3ٱYI 9rߌaB^޻^/OnQ-.^ ׍a $yojd CI<ڦ:1]vqy y/%؀r%'ssMWk9_1TVCbJujZLZArb{ }hRNX=BsMTqEC\jDzy^YFi?H ^IV[#j6泫@-H9|J4 \Կ* ( "aVpRgA }bJGv8NV<*[RgbgKn H8ͱC71nmS]>DXm'87cA~'$\M{`f㪝 PRQW7KCSjT{} zqFt8@9]jRRPZxA+Sl꽖OfeΣj4hyZ^a~#B AKa5{9Z+bc0WVrp#QТ^ d)/"0k5z<ώ52:i7^`,, AO~nUnyRkPoce pyh§ z5{>] =/wp2T#BVuZɉm &=σ%᷃'n6p 3DR|"qA-WF!TEp+My>0rärY CTj. X?N6c8Ͱ lz~[{F=ZOkAV4#e 07$ 9 !}nZe7ķЧcñjAAU'kpr\=ަv #ǘ!I|Mj?tvߋh Sm /??Y_vCށ'G,r)5u5_XPzH%=i HdQLO]:Xz-#׻UwH;0[WsZ=!!v.񶂐 鑚 +{C8t.q.׍ntքٙLڞp vp>>_7O9"=)q4ȶrUﭜND|><@kN85BIK*XYIbNu[=0p>͓chru{y'jzR}u}AÓMjP_=z\~Dnr(KTx/=k!zu JkD MIbODڕ J :r6?oոZWumTUV)ϐKYxYK h>{GC_Psƺ]| x h }#juTv@}&"?Q<[hr1*;7_y,J+jY Ed^2Z5+>J `C#ޏ4D;HSS 1{D|0@Xrf58x`Wմ9HFc Qb JF=Kah߶V2NmAڷ,;S^oؑ^{zsK1|h~J('N'0R%{/2>Ɉ=`;aj$2lv9&G=t5|0vߣW#3ȼh"H 2~s4BHDP#LӀ/2̪%]16'gnc﷔q_H`p¦K8YD{1=x)iFǜJq> :w]և2̴d7dYۏo½ye F;țM}:Ӆ=<Z7XzpȀ3+pu-'fэ&|O;^ifA@i  AM&h1Qd+Ѫ8 }J[NАE}E.bxK@\^luU)ŀ1Saq &1.-&'˄l׮@xtҽ&wYVP<@gﶄ3 ;j3ga USKbbZVտiEy0A _ŵּUt_; i4(ZCӀR; 71ǃ6vUq6T vXDґlۜ$" 42#׉~lj}$=r~6 }5or1c K J~ڸAWv!颕usNVƒɼhG|Z¼}&Yx%iUsZ;ϝ;Z`?+ ]gY}+(Dɞn*WJܕs&+xT?,aUnY*]#>*  eMH(wX^0 LK>KpakQ;V6 dz38[HD `gzMPs@A v|#\0@bә&ƺ- Od 6U)obhN%%9Yj^zO=aHFYtI bB ɡxʵ,1#=R8) >LMkS6/t^譏[)`$FmV7ϠkzގOHM(>33o/ 'M;h xAw9}JEaX"S=91́١Oko/z`T2 1r'}P N:X|v~Eu~)VU¡]|o~ס+BJǐl߀pQuH6Z8D3N X @Nl(,OK@,+Emdz 6UX~4>lu}=SGl+}ws\t]s jʵω;s({g_M% _}S9)!m{~͆vj!HP ZNy n^VTDAZ$׹!=ȃ fԽPED&w{L:SπVAŹG6KZ>. YIZ>NMp9/h^k\#+I吔~N@~bƄQ KGDLY\HacoPNugc\o q U]DLu*]|49>4Ɍo%l>nD(HX%N7Ӣ(4Dw4˖ϛ]_mRW^\[/&aƷ /.1x$:7k1zi)I} Ut&M\9NNO}AE&8}Y6XxlhSIrO>#OCMs;/ fĕ$eӸLs z#C*HR[i/a.9{ q 򡶈t{̎o2.X/)߲$*>PȅвX~eÓ92DOyP+=^ 0>@\LΥ5 { ($#};+ (̛M(3I*^|i^>8S/⍗Oj@%4=axXOΎk\p*%$r)W1Dz 6=_MW1J8uKDBGgahm_hl%NZ^~g}}<$+Byc||y4n\Kӆ'"Џ/v7C4"PDn9_CstF |czqhtjJ:Ntd5cs4?HgJK:m|lST &<.A5Դ|I?6z8 ЈTBI>N;*hZ9返g^3[TDeN/1&£b?53LҦ됮}PKahw31H*e\;,R''}!-<;)d{wm "9#1# oK*.=KkO 8}!56+gOe@kPU:8?M; 꺍Z๊6)@gE~[$JҥϙOHXp>ݝc\3[pzk]JvlKNSR46 #A;k|D=BJY~Qp?%Jפt9"*JJR#Y]UjNxvj|lBs,D;`L"h"= †>"@A@N+/sB|Mhx AٰFw]ŌGrN*مKJ;BI۾:H?ж+DhY><^rԴ&*?wn`1Vm j >8@ʷǂ239QCu [}$-㠱n|RI4GVAT jY&E$cA^"W| OWnQ%hႈQg=EkT$07}CƠNwXowVusDlky1Mq*MxJsCEvTE`[/yԖQ7U?kGt-3qF:wpEkgbgD-"|'DӮ(fk9A~UMWu16=y٤ eYd_]NrCo R1XQi3c3Rk <ӵG9GAm۷ahȃM]ju3Z >4"YcҾ'B>N%<]$s]: 0E:RU{TCe 9Y!q<k(k(o[7ٰwK:6.KE2Օ[Hv. j75`] Lu9E,6m ~i`#$*8ZĎ1A̅p7-Y&oP(0Hd4h&կ| ᧢ƔuO¾gqinG>\y$~IMPu5=#3Y+j,~aSTs򡛮bpX nżVdhH闸!Ocy!.9xl<Ǭ+nv`)UOgO# ^X!GD9őb{CS@;l[[ٴ4| Dt*[n$>F7Cs4O2.V+syaGy~|؅4ZmaoK7ɫ6fZ *PNGX o^;b="l w =Enyo^J mP u%U9Qz#_&"*J"TfפLʠ7fZxψnPS_="qaHuE>LɎ^14Mk3n}!lap1 xL|:"R(3JLݥ#Msŀ{9"#?hknj^|Dm&@A*^)!Ze@(%y,3EA qF*~ס٪խ]o4o4wɉS`I4깍/\t2j`4 Y-aѽo-ץRq!+vxIb}SS,7Ͻ7E:Ѷm.' N*I4{WqҰs5[TF?ƹ'&3U7qDɠֱh"QU{\2MEBOGmyi<޷Ӌ29 O֩3:exi|S?QLcɦ?$b84;| QL$gtKl?}ȫlB^Aj!:43HMwGD7@`{J5Xk#|)ו?hR#u6ŜF$X Q랶8G|ZzM Ⱥc}.k']}7"=7AjWPheEBAv+Oe|5)c Nhn}kjzHHSM1zѓ*D|좵IaՋ+ۙa3: 9KVaO=;Has#JJ 47q** .V ﶅ/羯ďvW߈^ ^ƍH>Rt9c;I&h֦O(JGY_ ݊GpҸKus΍¿A~ЊncZ:\ނ ɩ,fXfŒ\vʗ8q,Wri7^TTr G4g@+-Dna!r=糲o[)O+Ju?V.7rB&{L]@eADׅy*v@Ax_d d}r >K?*i8ۡIgiR!c c(;8m|ƒ䶣>S`4bv[/,͉` qP3_eF3>Wg:ʆvۡwB)5I\$b͌o|E>HS ‰?Ի;>Y/AgHMQ׈րMQItRx%|bG# Prħ ιy(R4y}{'WqA/\CdS2tπxtkxYN<>:3CE4X=>A u>dT0by$o8۽u!1 zOAfs"iCpV;q41GAiT().0gĂ{NR#R0! ϓ> TG,9|>v;c_ ߮LMJh=$Otuլ>utp*;_8yI Ek'`xB< ~p`8okIi]!mhxv)l2Lqtd.iY#)Uى˴-!o,'L:2eBPzX12;KEWyLx @bP)/a,f|HpY8BG[fϩ+ѩ.lL5X*2MEc,cFJK +rפ$YOn?6HhoYIW)Vq]Q,2Gӡ{dܒ CRa_oA`uVZU͟!n?ݿ~v-&Z3a/ ML3`>tFp9nօkS:!G)XI)^DWj[ͩ:pTq<"#WP:+dTZo?WX*.{;"oDon>\C8ug#"X=D1nxO7ZcJEw7l|pH'C ,dp`JC-;7u2a"nLo;/:֯5c;8Wz^x*ś1-[87leǩ[,fr/t5 mLa>,vOdJF~Z0&5S{@HaiT '5papCd盞B!h1L oBVisQ/zDUz=6w#}!Wɱ6޽pE F&7ߤ.2еơnISMK$N"vZK>Q=byl]X0~#TopUj*y|ۤQu6SEBSٍg Z q1-ƀn\y>ķɞWV8?m@ɿ`iQWJ1m?YGxy )Eܐ3 Di*ahgi.U&GE҈3`iq|7`@?HY G2Йgܞkȃ4BLO#No#/3Zb,$e m6n@!FWݽǴLZ4[Yv!aE>*?]v^Sa I>a!Ҷ_Ԩ4-ᇣ_iY!؊+QfݩMܾJQ0giUi E}׽ׁ #P S^qOӹ#,MܨȏAa!|Q9a`f!t1SxnԅU=o b[U;;s (gϤgYZ7zXZִF! "9]ŗXiɟ1˦r!cHkMeBd4YS xÏmtΉ\TnŽ>ȀGkv=h-*[ᥰ?"Waw_k6͎yvDgrM imrf({ Qw~]~`ȃ7E US;4vW:>Yq|/D\VB7{&.c>4-DlDkRn5p}ȦPm26Q5aޖ _;ș;Kf諨4hVTdi.v𦚭*(oν$iyETZ\9xQ^7 mS'Lҽ{Xx) hlwTU$ZlJ]Tt%%Uy F5*1W_d"MlWURT!N'^^t>Rw"j 6Q:-f'DʳrfUBLR5&LW}Kvĥ.Uv$&}D=|(;*އS[j6Sii LIȷ Y bJ5%buo](r_ 1m{2C3 Od|(8nVI}kO[)?QvͮNj?VaIFAf|EMgY {EGBrva}Q{H' ݆/om [>cC]E,(bqCEpE;M6[c%U%P R96H)% M]Юv}dk%A(''Eo2XՓ0g'Vߚ)׀9OAiEKf>ObbSNz{L5p ۤȯ2}RJULwi`w#9,e ۗ޿&Cb 8/yӆcl2>Yc06r~iFnT3M4m=1p7, ĕH 6@>?r@ka YvHpoˬ?b#5;vg7D5=5++YS1_*k g)ӡR]Ε]S%՝08:rGEѣ[z>2&N&X.[}l H/I d$Up_e%UURM)rh $oVE,)YU[V B.Op-$OH9 lfaS">olف(Uy.OTiT)jRVi֘hj6t;Io.Qj&8"YSC ȵLU%t ҠÜb.G ?TGG"@ڰc H9̮|nvJvO)ys% Xua+ )3@bq޾8oV!)sO7}Ab@F)A8jJEkJ1UC@+x$T&*M ,d %@;Ke;3᪴ʹXu圡A!5LeP7*<(#^¼RM E^ձQiUO.mWAɆÈ8Sp (gnKS%Ρg?!|bR`B փm_㊀ @SckɝfLe RC՗;I)Iݠ.ZvmXܓ~5LޖJAHHHu T4T` 6ӗveг8Kʲبהּh~Ҟ}K)JpS<\:.4>HJWvt@ d ޙ8=~Bdᐮ|݊Z>MBo+Lwy8 O@Sm As2ò{LЌ(<7v`HԴJ-+l2$ڐĤpi"S-)*+$On d++A(?;?m N!'{u`jCNF~55 V.pq}DwXՐ c|Nd̊EtȨ/fc_7\WD{@ + h>;6ea2߹6{^]Ԟo~BPWD ~ ΀AC"2]|_p77]QW 6.N= *kEy=+Kn3ovan'<=EJSxITD8@eu Zlpn~92ev"a_P&6?வ<9ۣ#oe!L\`>㹕'#d{Å DJֶZ +Tr:ehr*mh0{Ŕ"#,f…A< ӿZiu|@ fֹAE]b)Sa)(Ž,e, HV(tZɾe}9N~q!45 uD?y쐑j =?nvD]$l! EQ'޵{Wӑ=4e3Jl?rrztb^j/1Z<%2JO=N4/T@%["|jI /ƤDZKYa&J -!Z$zupN>4":iR~S,RQ|^_'3Ԡ#2hm,T/(<7b?Sאޗ"дU685~Ÿ%>xҍyyIٺ@Iq7 \}|fVf_j#m^"WT1;bGܽiJu˱Z:x-jpd-K,.C7zCReu'>GmK7hEwB\>5b ?=إr G #Aw^GZLY=6XH tMWZPz\ՙou\΋x9gd_E>.q"|lFUՠ#}4/[ Eq.qjWf!1;k߸%U933)Qv赺(~Fʽ61;ή1NWr𨱦%F+cqpi=V^Pdh*Q|-'S*ӰSaӓ)aC! + Ր"U?濶@Cg8$JzFS,PDWE eaaj'EZzk~S?"Tzjܘ@9$=U2Wֈ!ПbL^ g6ѝu5*K.ݡ}H/A?]KtH2+ٲΈBJZd|ۗ Y 2,o3KʘkQ0m&jJʼQ Vr3zvz@Ĩt&Pa#'_q nn22L5ʶpR.II뮳1/&FtƆ2lC<p0N&-U`F_q{"7Rʽ0]+TcWy-GXuR5i.jwvBp0M4DİxK)AX*к@X JxHhL8cP+q#5=6id ?þXWʮ1+)|?C!<<֢m38E#淛K[E|SΡD9@}Ku&Ae;G3Wx,w:0V1 ,C)k"4- ]S~,^/(a&#:2B=##u;Hܚ#u}3wqm[5_oa"nOl~h aHvj ^ȃD(xQ%\Gax!BEC`j1wD2*Tb9㰢$Fvg dl4|+>gy9e^oelOf~nMgta(C0o?]XrF8Q0; w"6Rt?gəsI:u ] ~]eki;ZR䃜F}>M6RA>s.<-M !aA K zAG%G!>LD Me]/=.g[}Q7[\ʂV4 *IYY"ADy9'Q'",2Y{BY0=h9\M:ko%g#v{Sk|EvQ,]fjBK䭥¯‘@ GBPuMTYN)u79-v_{_=Pd;lбPM, H/ǏlgK9?1Rghf~,N] i(a`ܔtPUL537H q>ݤ "bE 2{P 23S kotclMlfD:ܻ%Z^b5b.+GǿYs-`- +`Ϫ)<M=@m&78ܾ^jy| Րџ)ūsT68nqZ ʬMGOR  RDԪ&ٜCռ^>'-͆bJMF&d{>?9#gYM#[0lfm"7Sy\Bu( Way0np<(t|1}XyKۖU!U~Q!臒2׋iG - )y[5/hÒֲ;`9+CS gW,ZX[\aqPA芬 v)޴0 6$7jٽdq YP6(&OWI&jp3E:9F*ґx٬ؑQ5 Ydq) 'TKDiJNqw+96"205Gi! tN:YP?4@Z2dAv8IˏsW[GUX,x/0$s:KǏC=3eV^%4J:^dY8򃷺5Bh9W׷FhDh^- Rd,']ɮQ ߮ (Dς#d'H6\_0zDڽd<NS5uw(9Չ}a;`ޗBwÀI3mcya> "b S=_7ӧNӜԅ69,;$oqxB f ~uuedSi .-1j>p'I1~S>j+wO(÷12$qf\qK%Z#܃[!TYƓܡw`BHLBЯޑNs>'E*"Hi $03,Vz27*v$J:lmg_b"mJ6cun@0x7{x!Q'E)z3+wA<ڹĻ oz8E㍧!5CQF"-a+jЫTZH \@f`_`lmdBjZ&PtJ0r4D.L~A/?\~c 9&d#f*byTzXwF0\_L0z) nϘ`ڛt :u"8Zɖi0PpW;h> > r}]O=KzC I$e )Ez0}}隼Ahdxa~oԣJZygϣN+bፚ U,{` CB{^u2wSxk[%oi0}Fi~77}>EAlMSUwZЇzuc'wSx V1g4AFK7tB#paL\ Q-VA 5h;*\KFT/-);8 Ί dz)Ǔ)t3'W#З)z=/5Ilj $E]A+lYS,[_s2GX@1u˱2H"~ZAm!"؏Kr{NhY^flʄ1OB^"jQ(@LON<4Y,f&IXc^`DaV$փZ#8'Yq74/_u%{ {^؍.6.i^]h6v1h>/ý-gĝe'A]Zq.[(l't$5d}ygrUsjګvG?=D 8^?n}1ٰ+sky 쿉5b/sU1včB Ues-8DݚM(W~DM^ǟcR/h*OM0DbHPb;O}^pD\M`-^KmddoitgLn:l ;?NSܖMTx(z=Gj<^\.6/}y9Frkhg# DF0VD%HT1 pP.޽)`_fAJ5Ԧg>eV [; "`sw0ˌ7X %ִG-˃b=5Di,j`yçr$3jj!w:P'ـvdZA*_#Gw2 ,rmN8J~i d`(_Y2fa߫$vlM1QKPJ  Cu^3G& ICPWS .L6)vnD[ S Y毡pkX VU| Lpe=]-GeiU:d%zPi.@ʚ0K֭ O}nITAr™´%?qf"N8:,;-X}olfY&NtKq:5v|JiI#;UYb¿MmȭWvgH#64J끼 YC x~? cw1)`."@(^߆q8s4\վf+9jh0_dAɶUkDJG&r5E xlb"Eؙ$`8&[Șv4AHSo4^%L#᳆EZ6v? Z8}9t+],wNq^'X](-"S07*jvW߀i#; NUф7ڏ X[H=2s!(9ߞ61$>Ȍ6fKyxs& >xK Ltzh޷DA =ɣiPpvwjNx!azX'|~^WUշ3E<ݪ>tZLPdd梭Ư[$]ufy$Q޹h-00<.jl[gMRU+qOnUfOً&M5pnX("ydHD 32B%pu`~:vc_ү}NGfLP0-Aܮ2@ŧͷ <<\9wD*N?f3؀*0U`1rѩN}LGZE~ O8=!3`Lf.)C*8Ɏ;2)epn/]x<<^rZ P10ln 8r^QR\'.w *bǖ^[\R-= X돕[ `{M>όD}x6c{w5(td_9qO՘Pǹ4=J,h`!S>6JT˼wo^ GJ՞dyMݓߤ񒻒D SAތ.V^;Eb0x!C z; P# (HK5_Rڱi.։;v1J12]->Qr*]yK^#DF\;gf`b 2?M@-W-XnC86G"iP=˟f75 ƉJWt́4=Ki OQ3P`Ѕ0{ "E h\aЪM+WfȎbsCac`I2~xQ@qe7ѶH%ղ]PC"&1Í  6 Y={w)Qqbj-Y@"rYcv|Nd/0%G-vqjlYmR?톎}>Y%{g`XNʲ;G2@ixD~@G,]Š0o&[zLσӜ)c, 2+$@] Q 5;WV alVYDD ݮlLXd8t 濭Dl f:T6~%܀ 79m -1++^eŬ^ |`;v}pڒ]ЫP邞Sztx. ٘oHJ  ]1:ؗ^B 5i D3wuVqŸɂp,$&C$݂`2}WLN);2 VO^PDoFgO*KVK 7~j 2M<FvB<`y :kܥ-b@JDNTc1XweEFdPezk GrXIX t: 1!<Ќ*֭URˀ+Ufj!% 4"rX:Wi7]1^Mz/hBj#;_D{!)4A-XgSZ69ڣF1/sUp+4מi `;ں;?CmwMPzX P],Jkw¸O)H)|t{#W2lIO| L*PD{dB1M# d -ńGc!0ݬGr.h/ /S=["Y=KUoSW ˿ jy]GZba?(u֟'viงhN٢5Ƃ IT%U-bn,찱\[F,G5rcVy#trW4]k0O-IUq3!Ֆ:IJepƈӠRc G4 #xfnTxJq̮LI]&Jbi>f ̟g85!,9K},> B|A1;7`Al ~:Q玓M;o0}v3E⯋#708Z;<%Zg6Qu\ Ulۇ|}HInYm"DjvjQih!=6֛૞x2"Xϓ%m c4 FKT_fudocp };`"YJ{Y,3΋`"Mfz\hwPXГ^eU9QGserV˵ئazTt*c!aҕ5EMruIr{XPA}u[}2$\mH$6"%DIڧ\}yMhY\`sDZ.ƆFW쌇1041pFc 40I;){Ax_qTUE=;zKK#3wUաZо.p ~fO!s$L ]}u2LEqaCP/`2sBQUb֪ݶ"bD8`@Q3d h* P釺PBi?'=w9i $htCP:̑ecXkw`07&caӇ{âXYԵKӶ96?@C`$"?gUȭ` Ayw.YjTA 0Imp >-u#cZFK^/q5:H-vxWX71ۄ%6C_\7X`ޓoAm)Dx =Q?>OlpqJ(1WXJ+qn6U˳ktތS8Uu?oP KԖ(@KFDIi]}asl;9CS311 I|f!wTH.E1b Fȋ}F@ G}p!+[@/ƾ(#3#1!\)?,݄H7>(?)fҢYurQaNA"^BDR/ql{wi8`\$©B5FɲX;0Pzl׭Q .2jWeHZmbƹ~y%P޲b#Zzp'Ao` $-~xN"oo!D V2\P鏿FҊO 'pԸx" ≰ݿY@O`NEPvBIJ v^gw!&L.2)(q\`#`bg"㥯_W&rkU}Anj#&]ӗ7'+^rFz9{){-*-^Е&odCK"īIrRmh 8#GY23W7kF|:l>IUPQ`?e)UBҞI<3R֘#}q gV WzὋ[zT$ӤjJPN;JK.*lyIwK{vt^X;|Sa.VFί#vǪe@q VH{Qu_n 3!tji4dĜ1aZt'N1FR)@ `G [>ͧG,GtKܤodQakCQpNu"\BC`3d1WjTr7o`FC2lگ#uDܝ;)@caECY0|YaN)>nG|}Û\@5VWD~|E!h k`.c\!>4.WL42;}ޢgXaou IK9HǸ^Ɓ*2پ%lܓr::AĿ?{|sW543AÅbG.ExPܑ{}OtpkȬ;0eg!U9"M\TL S$|}cC[lFz,,csƓ$BIuxz~?0d|Bk$ ZY؞/J-S^*[E6\V=Ȥ>ި`\eiq> XwBU GZ ^ݭRס*PF٭ԏ o 2pPU{?o5E KMbBZ #ëjDp7;ekUذ%9o%(rG| $[2뉋w)Cñ6}|j)ޜ)TWL( TVdQ7Չbo Дs<;Ad1l,`X5c4t4Gi W5SFTs;(? :qĽ@2YpkcjÜ>H+GEi5`9Z-ʏ倻/sJ$6ZɄT8A`XjBz?,O΄]?ALelצ ~̮̹/碽as{čUBO婹k2fgYGjqF!9d>T=M9Sxp cor o hGc.?Z<[x@vvX,)rnY`9o-FY3|J#JuѴ3ik/W3}I!/=@Ovu["Y-3{L 3OcBEZԭF]B.E\ZcӬqE椸u j3,28%%wPFoneW_nkD#^Wg>wR'CW2 D_À6SyDrS)pu@Ҁ ;)9zd$)%=Y-mxe1#e6R?}H7,8-:jrS8R!5Ru01 d]v;: BTغQ]69S\%B\MmG&© r5mAF7>޸`(ͺOL,!JiW'z B2FվEihkGag6n2h(%Lk`oisK{_Pm@x2BZj$h|6}6 @ *e`]T}HyJLzӧr \!h\AbxՁhB˯5Sې9o|RhYu]|F$tNM_"]0$js" $ſSY-R1<Iʙ7i}ͭ#w:}3gs֚wS#lnܕqe|R,+$(Wkh-_Z@򁍏|˾0)Y"g ٦*c䊸JDN1U3eد*SZ|Ʃ;\1x)<}G@L󕂀1P>̪ 8F!HtuD~JYEXfiM DMWѓ22 -+]Ź^*ցSiFgDRNUB}\ r:`1{|=Mk7&Fa!ϵ񨹗EF{uf< F>@nOhWmڔ7s1e2vQmjBgiKf+8Gh~Y\>'d0sm- R/ efp9}]ffQ+(D4i"QWGDqe":T5yPhbҭk0ӲrM`'~,/d?㞤gk#WAqu5B)Zܤgf {h% 6qy[X,C~S~NVnj6 ~=8a8}Ja/_Ї?kV(5:F9:/K4"ae$gYmkʒF%jsË]{e$%R@BAÿ+R:_R3՘}OV8iw@DnȆ1.sY۵hxI=ƑDSz;LJN#y<qõ!fHw9{:wԙ[}!!]x_R[{\͜\5g ZO 0$ո2R>4-6#!Iر(Z[u&b^Je'RT" >*IE %z[A$XVb;oFZiiNxsiXW T );i:eqjP?޺ z04 x-#C!tK =[&^y5GFLgg 1-%͵(t!$ idc. W&~ZٹO]5 pQݞ_YVy7cMu;N2Qf*>y?&, ~_ځIL)@?p+]'u'Ygm԰ SL'$yVPgZJb3s#{Kql7-eoN!aH}([FS$^EI!)D. "RGzR6m,-&VJ6v=_c7ZC7ޫee#aEW`}R%tM³gS|DUlz<& ʨޛ] h:Q @uE:ٍAd>]^? #Fu.2=BYWkwv%XjC3s;y /oX gWha2윺m ~.BDG^X\ ˍԋkinpPA=,̭ `BrޙD绻08xTVsu% 0$ Oh}҈՛ ґHXN)|Lj SR9CaڎpIvώɿ-í!*1 W{ކHFyc!`Y >u\7OeȔeb$wrDU᫬5| )珙zX\]Y4O gT-FHCM5Φ*ڝ_PwQy!h<\vrEU #S K75J>A50+P >@]G|u4߲uo.9M(\S3R{h"?bŸ+EiqY_ܲiANm$%pƃWc )C#ڤc)St@K+>sFLF{NHn~ˬO,G$#"|Sd9l/y(rTȱbb [EsfyJY"ͯ[N|Vtz&W4vmBBXra <5Gϒ='?bQxa$(TwBm~-֢m7e@K^5R.2Gnw[E }HhE3qf$(<j&iVÉB־k٨V,% >4ϥ]·e5 ";l}֯im];Ga0"W.QAF;K>'t[pGWͽqK&StS]i8iΔ$7B$/Ϟaz`^gHH{7*QrH[(`g@+ 釧4Gā"w gIA>.C=咝O N8DZ *%ҿ,(SȆ^9Sie7*dД=#7 &!cAS8^L !8 :LZ7 ׁgFG2_v$QQN8hv[!9WRCPk"mcR&GQ_Pe@rϼҐ-0p+=f8Xj'I=8@Ш,DɌ~N/8tk:D.`^U,Wj&ԭxFnY:ruo4sLTWߔ Ӹ꓂Y_`z;MǤ*M,؃UMgPd{6cl|t| N\ 閏\շڢJ_Xʼ#e.K-~`Fϐ9zחT7 KӺơ e_6kZ'.ozeù^l,2_ ةBE +Lw8$MU8#6w2C9ӬD IX]:ߕ%:9uqcҤ: (i2#@:mCtw{ͥsl\f[k֧zM:gh#׮Ё?W{.'BK˲獦Pz0><9ZI)@Zk(cX/Q;% &9_ 6LgB{ ${Xp5.?K aqU`\N"R6֧Dя\m6+&BwwBP ,]H8ԮM?g9~=%hJHU3Jl`cA?~'MM45,v 4ex_}DI nSٝARcc]Wsf⒋~ u 3=1M\ѮN ..e)J|XJE}̖oBX(]) uy`f Llg Ǝß"WRYL7Rvc1t-(| Kolu)YYGHSQ_c9zSehMa,y-}D52< |6mČ?/(16e{olT\`Avkwmqr uPGqv'#q$J~[#gk94LU8Oʠ-2~0= 6k=mć*႑Xi7 Ga"ByQ^[@Q|26Zn]<4 hX G5>aL r#稼5"Ws⻁]o\]v;Ù&И['>nooVҋ_!QL@̋(L4uqeևOx}qSS wǚh؃򡎬RAbKmq J0*C Z 2"xnTjj!w? 8MHt:ª&cmc$"^E4(Ӭ?i@:6"$(3NG@7N{*Q+ͬ׳<4T_ֲ0=B-q@ϛ%hV"cwJ9de5$>~_#vP__msk۷`*,HӟzuΘR7ydCL?:z'w' sXX { :1w,HYaYW]jE^io׏ Зm5O$~u4لRf+ʣDeݓn͙!;+?y_狄IsC:rL&ڛQɿ#rDs4V +_B+!x ' St\p쑉QhVhYs2i(o!(TIj M$1KcY"*~)r.}01ba%`%t~e PWMTWmLIS0;N/86f]H (#]vzdQf!m9G\8[V6458?jdfz/r_#)aB R2H/w?{E/҃..@>ϰw&Zfv|?ѭZLI'ƷMۂj8 9G荑Bs&aX2T8 &©EC.`jn w˦ _aa\. :a+]4N!(Xgh ilQ@Z~ $Gn N7EG:.yϾz4~,>+<*p#q0d -׍$g؇xG3\J͆\ANjbAX3N2R@NSZ)s؟ޭVYU@-XyeV0W z'ĥp#pPʺ?c%-ݑ~KfxK:ˈ }u*^Xz۾!:y ^u1c9Moz4.IJ)L%NP$8T1YDZ^`#M\D94ݬs3J-?;v+5~vD@NUj͈ڂ 6׎>α˟ .]5Ga:r=7-ߛ"IL=ښhoi&$~HU^3F~N\ npr>vs2Zo= daVD L52^93jk*)>{r'(>͆@jkO|0*!vp0Z%'Ȅӑ<% {WwRW9QuͪŴ/]0Lz۱Ӵʑ˛s#xMZ]h}ϲg>5hoO{d#CVM*,介H|gJω0A /q2ѷe/ yt8Jj Ys8gYZd685634f48d40352a0b6a6ce14c4be6f008bab0586b56c8a9a539e895ed8d31c0f69ae143fdf0109 fcbcb977e730059a53bc653bcc4acbe376acf6ad054e41a26d0a04a8190e52259c711fb34cd94277