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 G<< ]]]HOL:threads=6elapsed=184.344cpu=660.608gc=68.452factor=3.587zXZִF! X]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb"^$U9 |kҴRܧc6+e i.^|M^PM}- LvAdOz'[E1$J1@<^2gʰC ny! c&L7&]w5FtwgzlxnF􌠫E&z,(~d%5LZהJ[$ Qrǁ`)*"\~+=Wg>K#lSTAh@fI}+#ڧS(sg1 &mGZLvd9tN0Ukj~mnʸ"(=\kD2/h=ٶ~7}=ӶʲoZ^.xL1Id9g6º5VHGH*W8ut'>nxyWR?d^gf{b:Ci\SE|dIhaf"y&XɳS`.ܶ0Ø&9I>in$ j8=BK&Lk O0"*d؋6oP$Eܾn?D"@t`X?H̋0֩Z{h'o5 (SNM0~4GQ")M/XꅔS/O7g$Z;o'0AvCgÀ ei lgWn%rm ? 6voӚgR?M&_;5 ڝvAh-l/ha+|vɼpH.N*=(5 7fzL#xJ#ݐ>~;Ry 2Hdء>9ZyBrط|U=f&xq޵^kϒ kK(e'}lu௖8u0pkIӂT[:٣O^=2Q*KV[ ]`5v4ͫ;3Jd%a#4<cXUeƿ~xc߻'b&=2FQTOHvs(Y@r| kGl!B%]pmt#JN_cO%5?WwVn8iXU +t\c)6&'[ ?sNC V9Is[8c\f\KMsƦN +.6:[AMS gr‘]+cItp.k4X;wi܊'ؑ[@:nט֑hM fԗ:6/QgH9tadsPڬL) -_eypm9bWd`DE@rHa}1K.U vCIw--\0òDYM_û33}Qz&((#֪@ tt}%do.l5r֓\:~M\ 1_O;})S޷ud&p͉wz򼈵80MJjq;wTl}}FVFXBTjV>̻NE|jv޽s3ҲK&ԕǞdȾüMGpOQGQs29jQ&5,mv`ObEJF)oV4`h8O|1V1}3!)= ?gyo '-ϛA(/F [NiAu[*Dm['7w7\4D 0{g(us767Gfn`@I]/E 1[½ʱ`@MHNbW0.#~1CZܪ/?]7DbJW r3&Mp#^`8h  HOL  Q B Qn-+ HOLHOL.Code_NumeralProduct_Type.hs7zXZִF! 8]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C0 -U.\[T0SE=BrFA@&C M[~Xb@_L#1a4ԛ~^L2kqi!+]]S8[Sܗ+] JC}]w˙):SYcie4>X}6T~nn-#^oo@璁SJV^ͼ7Ʋ} H&vC2=oFo٨`]367mP3kcO,3Gl#/ a%?ڍ gYZ (-+HOLHOL.Code_NumeralProduct_Type.hs - HOLHOL.Code_NumeralArith.hs@*))jN~ ҟUNn/{Ҡ9ƠуHP$9p9qPD Ӌ[yVv]K&Zݝ|ڂٗQ{be=/E ӭup񀖮YNp5ӶmNb-\5~0(u~:O_Pk8ߧ`J79o0-1Mn@nR~Hu]( o`Dž;ME #)9赍1G %0U%H5Bj!I]ژ`i$udjZ,XmB 32-F4 &  j$r XRzAʾ#ޖ/lgFt(]J-3FƆ@U|OpX#sWQ l Z|;U6їlH*^D6r4LEDй*ib`?xp[6.ba; 9;9;79$w5u_c,4Cj)ᔼF-vLrXgf+ TVaҚM5yϨb2>QÕ ax:PC՞ 6 A&'$v.H6V0-?S ] 0fCl&c|~gbxRK$㩹vK$^vC( Dd5CF.~s ʾH;&g>k7381 Mdݸ|D:>}^D- _Rwh# zg+^S1j9ͦ%5ĐR0MŴ`QKA)G#"4Ͷa .Rw)ʵwK{;@a6sﮌPNȇuX38Ucvv|2=$pR܁`w_5'Bs)VL0@;cRv/;wXΕ[()/9_ў%ΗcS(U viF8 ,iAtwQYRY3GXGtz]&A,E^leOߥe^ˑQyᩧSVBM|Z#Nob:,34j3”D( ϧ }Uдqp^V@ڼ؛ 2feҙ=xȉa!o7LD\^gxD#ou3B wEBF-[($&f*ShrN^ e~[iׇ[JCA|sbu1 3a uq!BӮe pl$XbNM8*_w|l`̡w}PZ%ӋqIxlڼ:ALjЎ=%0KT8گZfh 2n0%ZʖCszq+D`dw 6@j0u݈T lj/pL^D-aHMI>z:w WK֝#ܜ"lӥm$-= ڦs;&|ߖtX>o:s =!]O i@ab:Hu|w!Q= -jBo.lD9e̲1L3rPnʀRG>VILlV tar☿Dʀ[5\ pZm "'7iVp'SrT8gz3g] J{E^k7']]_+›'[~Lu\re!wiXLӘXQK 7sO3O>(=+_V|p sjюPVN.MVx.{b]V!a4MKTǣHI[_ԩ_ǘ& ~Bd5KG?y9PήF :#nK=lPeQHrw?2d+~=` ,TDqc!i-Ap:< |H̚ @>+Wh5Q#E^/u".v7]vܱ,a74h~.9w7<~n?uS#̈́i)Qp;U { u͈e˾W^r.IG6c <˜nF3PN}$8,#M4'DJ Rۯ‘ lTsB:t`b(no$;w̮+iwoƞt25ຠnf䧑,I'9d+a%yQKH=o׍^F_>]+. t69Phʲ/(9['˽e445>]6}&wY:f{V H!ğN)y۳իV dlq .N• L$S:!Ú-3f5:{C!.S!ypٰGWDT\"h+̾N\ںE֒L:845g6=]v'mGU3 3'WNtƄ)AigadhUХCc@ݱ <Övލ0&* 2SM:{/Z. ?/H ann~TCa`R[ r4JmTf'yҼŤ!1U͜$>^8k3'>5hrH< yf-BEh_Zgg$5`[&\bݝ^) gn_}?&A+2oNK<P^u)>tjq̑cUV3l(̅wF}ts(p,UK\FJ3|,뚅cZ)amP_t6R5)MH=""!]fŊE#N=nH9a> z\78e4V@Т?@IvőK$_^/XFCMyij5V%sN݁"n]S$. 0ѐQ*?ίkR8Gh2, ?i@612@)j0aLY߳YB7a-W0k1| u S9k\b{(n\uv)%.^Pn< KSatB3A G x݋lc3o"8Wט^c>$ʗ)SiCa{pDPP"Jܳɭn _ome c=.8 k,3` +aUR "YQzq~5<`B΅|:D-.^NDR&͢KiBjd͘p͉͂ = *ъtb磐ş"]g?F EM!!*X0L+B\:3+*9ɗ6iusB$+A72o@|-@dm3> l5O_.[ QuXRHu;MO1~&VYQGGg.R_٣3P- iŁٯH s3>1’5Ws&Ì5I ><:fэ4$T65%/C?FGj!e{vS3ɵb8^TYu jaj}~h /By~1ڻ FN!d+=l7j!$aRa9*ʁO-WF,:wZ>_ w ,xfV݃i-v]S@W ro$/fX= 4*Eil|$(whܵT0+^Z,3ze t(d&QI6e5PW@\k~;֙z>D>jIS'Iqql 8/hu[uU'NZo'4I欵l8{bHt׬3T3ZVwڳ5bĐ3kr+X: 1Ȓ)=ߏ.L>#D`UO/2;{MHv#+b=)~T'v>ƒzh+˔N 3bUS^Ə wiUW„Wg#9ji&8˃_\$KZu Sn!%${n6v|0{]ɜoeoDyMWH `xTUiLBϋ`yۚem '~׬L92ב.C_`CM}2X _lw\|]CGF@h}tj1~o~d폕J}(:U.DEk]b4ϪCz o`NvɎg+T0j+s3B,40VٳsWvHl~x ˛ 81 ,΃5aajNB_lC{^#K|(_'7f98Wzr=Áb(Igڸ!LL٭r.R4 57KhDAFa6i |ׇPD)WtoiA%vtm_;J yeMg{DR'FdH#_*Xg v~DUb^xVŤ:ګN ;C~P5ӂ~?W-'ZD _(S, T^w)|c@2%M&RB "&%cj2B}07%1|.å YU+u[M"O5~g[d u}QC7Ip65K4iU6ba' ~N_`ne[VUEOŽ!h sC5 νL?[#.fc tm1tD"ɀN@AD"5dg,.U"^0NDpPjwv^s`&q]ڙ_Y~ńtFmPNJͮ+פ܌bGJ=medkN;U{4\J?pBpn]riȱa=ZKBx !k-Ԧzw7~b,SM!z"ĘI:G#ggYZ7zXZִF! FE]ŗXi%Bڀ nT%`V]$.9BywlEU+od=ki# imO&v< пĸ/z\G[=,'Lɇ14e}D)2i(+gaZ) &5ɚFޘCq N*kM\#)o\!m6-Ҭ2bj|V蜗ɨd"Kyi+@ 0#<(-dkt̫!.7K}L0MeYP/ni/TiK} NL y8~6o2|%Kh\Ԓ *5eŨ5岓_1+VhūB. 0-TIHPrف䢦<8:,bԯqڢo:éd2%C, t3)Qk"F[TBU{M͑J5qTZ]Wk<({R2q6ᴗi[D+2o8M)U»02/=]`}&|A *ɼC PďA4jh}ywc\UYwNq8s%59Kx:L'%AU'SfS&] i؉"7rKl m}8;M0<[xS#awj,+LrwQ"$pS݇CXR/ŗ*Al^a?Rߋ|!H WSM=r(ԇoTK~a[ T*uR-ZgT7;]xdXVe$Q"%ꝣEGr;}`gZ0OcEikϨhos4Dvz׆dTnC/m:2 oPo{@I⌚Dm@a0{(4ѻkI*1a;fLkxR( tTpNYKM4wD?} J|+vVRW‘dPk8a:$N6e{aU\<\3G޺fJ 䳲w{OW2v ~}R51w6"zYaWĭI:$e/״߆%J42K0}v! !^H]ǓɱKf496OӶE-l1w Qm+,4ݯxqG*֫m5U,LjG7lJ"w|e.Lvjb%;X9V{prreA%&֪]fRȸq"7s=zzqo`NJ9.×~'Dtڻlj*=(Dqs(ZDr,Ep-ۣ/HwqS]¹ִ7!'%fqO#X<./pJ)LO:~qG Րپ83 0)Kj' ]R)N)4rXs57vj{ܵR"J(\U63Rćr/[q]"T=IxQK .:ݒGQ%y:*K ߔpeY1ݯ,tjزtda@! ^ ZذڽcnVcAkA2m ,1:HTs cEs._MYM-H飌Ⱦb%3;IP45ad+ЧtgRH W.TJo݀)^=+ ַcR5}0g]Zʇ\Hv2kݙD=ZG7ٲwqQJ&h'. c-!)N~FC&h5PYfoAy`8m]LG iH/-`fkM0.Ob,s[򧏕H]u28V93\Pf _w&X K|}FmQ'{>M?%K0 F"v.G u'60ܖXQGB(vYtI{㽱4'ȓ㑒" 2@N AUM/vXBAlҿb-h(yƺKO?YB`v~8HY["HK\s? ݺtƅ*Ci߯|;cXopw"'-]gk2ӊ:tN [Jx-P;TnIDPVS/QBx?: >_dB#O5"m$r; Ca:7X7k;`%-)̷{Rc,}/WHfbID~1cx V|[ѱp, ןr Pt! 6L5F@~ld|_C*MۆR#}#ȑ'wsnV_dGK ]kk[1j=M䍶C%ҭoXs(V<$πN9) >..ј"q.2BUFv[oo83lDMirz&-4l &VKI%mx:jW=ݿ>xhwOcB@6z4? lk M J-zט㲯ԝԫ d0@mAUo}#^QP,06| sIrm-P;}䴂 q3캩GN )P`lBvaydžj[rM8J'&RkZ~ҔDF.!5kJA$I=(ezrENMz# ]ݙPqلj t|v,Z_ ÌWPYFq̲{"ecF$&.R``M,fj89@oT/‰G= kcc(bE"zKW]D~o9IU[qpn/pVgH%Z?N" Shf0lJ bJ-6_ȇح#"trv˺TZܦr!iX_!os+b|1nqI ep;x: MGH@WsT#y~\,T s 8OJe8l*\\>=jS5x2ɺ%řXx]3R`"h-ۚIpD+`/wvLVHIˊ7N^&JߺDҁH嶩@ ;~S5OypϦn>Y>s@;g356l-Ƚu7e-L}Ww^R2fSa _~Ďkown (x[⤲WaHh>b+`' 4yy_ ] _0+IMS  P3=fF>H]>r&)+ԡP$X27г7uv`qB$ǦjEBY/4$\y#̭CLҿ WȉͰ6'0Tb|vƥ FhcMC+ 45>58R./Ȉ5:RA蓾q} 0HS?nfo#Øhߐ+(|slW{(!hYz x9^ dFXJb 'ߟWln={Z/1UѺr|nr!&S h[׺S>5!Y0K31+ÄڑQzu-Q%IC H~+<@ɨft֣r؂e.Ir^j25%&~;U#а"ڀKYBAt#kGwF{`f1oVg@HFAP5ѡӼ j`+esTlȟ-%:Fo;p̢\0rs ZX;ulZH0WE@La¢$Rpp^;Ii _6s) *ty- dP"tyw4!%X:fpieTnԄ:)B_MYq.&T#MŚ)*Ab.=TIR/Ce< bfQQ?DSQ Czg<||1mTv_Wfk:AU 3h-/H'd [񑫨_fK SbƝo3W% bvu MMS R 26 şG#ªqGO@)b,Jȧ^g~ɻػPwޥ/n,;&`=>kCVSg # *;"X0E1Qˬx߃cebv]?uM@Rwae-E t ] >T&:F⍬;G SE~:0EOADWEyg[L&՜p j'tfUm@ ユX-kpG`9ʀ+O.>mJ!nƗilKteb5"ۍ[1 Qv?M,ex.?T#7siQ'(`[T D,oy:ܥ=_%'槝n%(N6X8l#hQP~#Ԓ26c$þ"yx{|u @hEX̊\T3FBUB $PeJl :_nExLK0XAxH`ޱ|K#|\i-׊7ϨsR?jU96@'(+^xW7)'ΙJPY WE_Ysօ6\uژ7}g5+okG)TRejL+D3*Gu͒\eW<;uie!n(H@8}}5M԰/}Uy0Eioe3akT~V%}O3ʼrkPC?m`Rˎ<O*i0;4Wd8.2EͱJx܁jbH GT3r tF79>"-eYƨWU,0xm- a1 W24<* ;Ar+?ieB o4rovv+]I .,{6Lbs1̚O5ջtltB6M(?TtoqPO֓~;8J #m4+0iv0}T=߮` :zF6.8ʖzFn1;(wi 4:t~g*W鸟iWgoHǻ1_ ԉ/%D-@Bm]]n+gCT$ԡ9!`JIv+)lBCI|Aq fD,,6D '#%*8ˊNVe@ ^*>D5.X5b,f{W_a,ъ%k2cV&HΡ" ɏbt1o`IԎ/G-/YZs?/uFrwYFn4; Oc;82> 9SX|=5 7>qZUoaAmb< R9v;\ߟ|S熹lWoVAе> ?"]-쯔Et$@v $,8PҼٜ4`H#9L^XwtuOn!$tx]FNŎs%Uv;P.)ol]~NɳQ=$y@7M 9B"G%[d}/O].hv$UqbA>l L!hQ]j 8DZ{hD_VAYBIqC+}߬pۏ d(zAB32X.((h|f8L"lѝ6_ )dTDy ZB|n¹ @bj;j0sv ptnTn$Ƶ:3g)hVΰ" JT-%##OL> m{ׅT$]X pd^♔ڎC3<=1]ۣ Odly v-"pz@=vi\] eKY%$ћB0ul ]@RA;^[L[b|[躬G~0 d"~6suJF\ͷU_ 1J,%⌳GM0Wv@{L"Pq4>;H^rd=3{ȏW!FaNLI{Dj= a`'JѮ7 BN]n{/Pɥe{UrfTf!$GjOAP4!YL[-ɺg5Ljc|zQmcÁ7 p%NRI )}4I1""N"VV":J%`HpN=-X;,>NO<DWf{l[6XDgOW߰>~5;a޷d'UQq$ +~)w7yJPz!SG_z=\@ْ—UBrw4˯KxS6gˍ<ۦRH~]Fw iR{fޢ 2c r !7ReM@|UP '>Ph~r,v=X?'QbjL2]hʓ6cPI^@q|_S¹-X4sRP{塜`eIij)EfMQX߆/f*k__M*)S3z3+Qⲓ:ߨ. 43ή6m-A>|o+Y$!4$-A^-";~4,#qcsnР>(V9P+pՐadRv\Ò?HFL+vty!ސj! P\T_)e y[EV{!4UG-#DK;X RڕB*_)V)a'2܉aS #RǤGcԓ 8r}0)[B`}cGW/1_LX9s9A6K`ׁy<(@ X:F_*esC<܊9F*1+L|H*wȚ0~rv2 t(Ь~`N&BH8ɇޤn)ȝІ3iG&AGy'VwY5}J9߭؅}*H hm,H}t3׭Uyc]L.]ބB\gɖ+1;YZ&שea|Ŝ(!i^bg]c!=4x|6VFMd8>jmdF82CS*W5Wk[š_W1 =h 1)KY>>" BRvjbc6R}Rz݅g:9g\^FJKXM!@Ҽ/vդ i_Ѷ͍e=`V 0f%K^ (/:ΐž}լ|otg1^┺+AOq\Db' O20KXj 9M {'lPGy^S+c&(/ Ctqq]qGcrBE@Sj ȅ 8&qwH\v18~sB^~+ NJ# :+x؈~$she,+o# *g45E恶HaDBD`Q"5{XS=vkx< Ƅΰ "c.IfXp^xotr? N GEcx~hSuk1b&րB6Us ~z9I1O=(Q qF6609Q^TRRz:a7;_+=0wȾ+%( d3eDHcB;7$s_*1/#|cC 9` ѓ_ 8:ŎL([Ĩ }"ĔL'H xљVXv jv (͹Oa(Fj|\\Y)v5A5GۮUqϿщmc0є?$>z?sO^)H_o7鿙1=Dau0a*( GϐG|{ogDƉ.࠮hNM_ %_TMz1^B ? -1QL5mzۑW9.$6sCf xB`)鯲%BC[GS:W"Sfi<}cȚ{BARȴmB_B+owG\c^'=)=9\ <^'.gj-L@[֌-'skaD䡃,M%&M&iشXMGNIU# ԃ =Kay 霅ݭ.Vs0~Tw,ZY=o:D|m&UԂ!+&(EU .ڨfU#L]3T}w6;"=(-՛k|"y !{sȘ2U_1\=dGB8z׻f؛M@n]%JDshWr+v%h [+QS7{a_xQ*x#`1!ĥmA^Gk ϻJˍ3dw9&BF"᷵\2c<> |+*Jm0S AQ=ԇUqw%5BG7M*5cXSos0_w(|RHd.6 c@RN3NA}l lU0)>/8 OƶN~{K6$LeE & (@W|u^@R='Lu,NBnxxP LiN\_Vah cD]Vt.čI shy64ذmREFMii2H/kr}ՑWpْL%iryfE+nx`1{MvC=C\ [-o:1vU8\onuf!phCe!6Pԛ_j-f Ptr,CyW[% "IOz ?Kzu{\n8ÕtIXgrp&qHӁS C,wzp+[ӧ4_'}0J^@JD#̃ >:A#TB 8^/ ]tMNěF^k uQSȶ䭱J>2ʽH2-vEÃM,$z\:O$;i{/@<ۺ|sL^?ݯҙ9윐ȗfAqbKQÉ, Yg7Wܘ"Y!nQ 4!] t<,CnH*N'u3•j.Jl qf&nQ, YSbTZ9t7=Tvo#U ~^>Ð%9E/):vi!ugeg|lNjbʃh~Bb'ZU\ztϮS]\/?_|(9V3lSu"p p*wlNj#)t?Fj)n֌FSV^ W&:f;k -/c=“K?e!ZDҳ%"y͟5hlb龧ʘpYx@e0+'kw9=|*l7ZFfr#s#ũڦ<h 4;. YͲR·d=9H:^^)fuH.FR~WZ;է.%{sdOm x]/*>vG`v.ڛ*Twzl}3WvvԲS;v@0gP@ݳՆkXkOGp3a 9'@;B*l> ^؈+4bw\FXC-:HP\^ja܉6 ]B瘣hު:/Y>n*U>yګl:_:4RZr Υ<;زQEʪp #k؃.37NY]L,@Ep^{* d}6@e`yS)O?4B ! p&&mΆﻡLՉx$^[ӏwc-GMڼ(U1: U$Pr4eʱy{a#Bi6aYb[w)Pm=4Fy[{j3I~Gs4$Q5[ο%#d uL2\*Da=PIx&D{z ,vϨFlGi(j`_ܛ{.S^,arqxՌrrx2M&UAѫ%J< 8kАp,H]_x*Ӵ,:,sT,޻WAcKUW#h-nek]^ke13-jFI24~zt-W=o,1GL0nAKZf,Ay%*.L)0[~ rjP~G8awp|2cnppUŒhZD{[Lx-|F5#I^3&˾v6'}ݗZCrcb0Q(Y4p(0h}SCʶ} _o)\«vN*BU9p-tgz-]OR;Z{(@lkY U<LO+y?.C)Rޖv^w O M8s!AM͍) =G'? S*dA~Ddo"9"q8cęi*j ˭aǁq77=I=$۟ĝFƊ>{l6f<=zZie]')dG2x(PZihbYi:J4e7G{iWzgv<ٜI(S*# ? 1:16 mq3*0Wͷ*kHru@t-](ŠxQxU꼚Wy&Ҋ۫v^R6@ ]RwH&(3ycBz6rnB\ϺZM {ln5Ӥ4Ԉw ޗWUgktøɬyh VX!a8VlTā_D͇y/އA{-wN&8Xg_[/AùCV:m1w|遄9Lf d#?Jf'#D Tkzn.׃"܈Q0ö_ {=XJ[E.::imy}9a# cܮE Ri!П/1SzbN< z@ )SZ[5x3CO/ t7VNff*\ToCd4-^4Y:PC:TP{O-$wvɩ SO&qW&&S!7T%uإKe yV}!mNkV_Sv]UI[͏6'{ A3l\{I|֚L)p4LϕYiݣ ~Q(Il㪐T굎|Gs|B鉽!g7iYm4_[^xvv^aNFH{Ƭ.e 61 2Koj-V~%SΏGF%LcUH|_"OA8wJ/IYH4Eg-*~#e1b*(oiv/ 0i{UWcZdYeip 8=N/nfX5g! `e فhr/D2)tq;Ck/%+9 NdVVW͏1#Vb$㯙:R,FdRg ,79cK&NZ䭤C̋8s[f&/a_Oݙ[~kl37 B1ق74ېIA񍀇_ % 2Z9^ÑV@&'^uHdAx\Fc<  AMKXE.2_ϝ{i)f~5AXWL1U"(Lb*ǿPkG"v6tMpmU!H^  lcZ4bX8p'aTsOY"9!1|:So@tvf>) +/9Y{˜ԭ/\B {4-@SY^a8ad7hպݾȐSK ˧؛;h% 2tSC"Igoۯ@9X tQ7jzl34-(W΂i!D;𭆳v4M.~8`Oc9`^~ ݬ>QmqlQ}3H}+~80 yC.@eExe٫Xg'(cakzI 5.4DpOcЈ y@So9gf?9`1?Zɴ$9@cF}bw@ʎFu7ch~-䟝?HTA|((L0X ;^)\}\Q K}9ը+¾U/CSVaeGCwM=^mMQMlWdxJq3* Kmo7BȡJq cW |Bpn|_#'\ qSu׍R~Կ/&{ofETzxty-a/zV'_|x$O }(\̐@7+Hp3J3ޏ1D"_#_L1yC%‘d- _F*F+(*9(ބs5}t:L=倿j$<:nƊzK*?#In_GZ_[Nܪj[CY4U@b]a #2 $K щ`i1#0;(یFj^Z\g HQV̎NʍPMU07N 0s+r^\ ,F8Rz0Xw4#\e`R :F03'_9Ǥ35jx lTJ]w 9%-'_4b/ch?DTJF>t]2%Q6 Óg+L8IƦLH$mrk;y3 0-YV>h?VI"( οiEWCTC~M&hՂX&A p+pm{RpՀ|^N苛ʴ [C;nAaaKP@ e&҈_ucRz}VRfMeP<.Џ/P-͎'F?g!wiwqS`y ,TO(4Yoj_)h y9 eVDݏRѫ43d[q V-( ̔'K}(^kr0;(ۆ)p:Val ǔLlSh5K5 Tp巴:.X 9/*Yw. +F1ˎG?0:|~+>>`~q&T㴮ZHte`F"%h,Wm7hQ,q}k]XOvEm8V5L}Nے#xbnFGB癵`n/~_ &1)TCʿTA cw7"&{iqIUgYZac8d4628a4a550e9906845bdef5477fc4882820f854150d242a026a9a55d66c1a84d9e6fcd361b2f4058a9d1c4ae0ea2523ff722e5dba8fe58289abf