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 ./tL\ ]]Affine_Arithmetic:threads=4elapsed=345.062cpu=1191.552gc=54.368factor=3.457zXZִF! w!]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&WeM/M ()`::!@ Ui_;l*Aj=6L2:\2 w.CΐFL , y&EX̳1O/6]o2+_7,M& S$`HT`p}0!^FfQ"EX♸rix5iHgAZS>"\zRc|P36A4 t˝ Sͮ6:!jzީ}:Oȷ|O0%hJ #tkF}:@8/rv8 <|"uwb2z;ɧI{)J˓˼zPB4s*v*d ׏4{`7 #\ 'UW veJȅpSj.0 T(DFbrf{ Ѯ7 $6]e_<]ianе 5pWTu*JH9ZtW#mRuvml ?~ _GBDMjA)Lޛ9>K{<']ND$nhOe!YW裹JܷmG{SQ1@a AU(rd~\("XȆY]K wJ&|Q ]zhbf]W?ձ-]~AC8ۅESN>#KMң304Qh<t!Uako2:1LQrg6bI p~t6J75]jb7x Uedܫ^p #a~^k zAͻ2-Ռx'm̕f7ɟPٻ(zAJx[* oy/d.2Lُa62\V$ߚ^MqBR/=Hc5a %:o6Tp]: mC:J,C.Gȅz"Q(AR&NUdZc-Z`}ol `.eJd¢*6ot7v1_  Q+(Pw۝`NlF'6 ƏעBq[cժdtˏV5ED\8Ħ鈿%@VziaQ5gZ#J5᥈)]F݄48h=bԭ:D5;vXX}08ϝ^M:tC[`\~1'{Zl2R\}vV#2Jǟ*o4H <^\0n ۿ-,_=ĝBw!b%\\Eˡy=!ǼDFLM|$n@_zEn;bA|:YAds.zupw!-!] ]d@j̩p~B kY\<ēYq&zz)RQ0ue3UR y0"TҾs.Q1Om Pct#pXHpcg$ sJ56$0ݘgE.;v.5AE|f7/!~lcȑAlቶWdŸyu^ ihkxz yՐ}1j}k1S$'IiI zreF27) FĞ&z|Ps3^HhRm&YGΆ,>A,?x@.@ӥ8e)F :F|?h;܃#|zl%λ4YB佸ýP}0ͨCnx>gyӀ aIN׌#= 1`[]dzv,9j(`L_TWK{8 zXvĦAL`p{y[v*c҉sAC#L%,/jӊNU`FX~bkёi [o pcpe겝GU~9=BKf:ve˭tRu"(7M "(og<|x0/8"ߪ" ߕkW ?V7|3@ 8˰ɢ웹 [ݮ*R7w\Y]malT=Ywv*j|G^m|U ;C_k{)4GPxf7INjcfPz5V*@?>9o)uH yw!C(ɴa'kU ©n )rxJ$s óU%#2yVЬw%>DEN4 ko=x rJ6<8Ҽ1BS/#%0^-o"TshŐI*)j*5/5ҭ\EhHyǒdibڔQMX!k-eQ&A"j{XL> DԸᐃZ!-4&gO;x׮QfXj-*(:W/|hc>FzzwЍb͆b=(?`~g|켯ϋ/A[K؝o"DrP"'=<&JW㳀_ˤ7 #_%%{ڑoC4F{<4YW!aoTlk~y[yt<򩃨+ @gFl^A I)ׄ tP/2 \>-2G=``o4!5cR^P7\գl5bz PqZ\Hޯ .|U6%:e"^4;B@'M;"JCp*?E[06x810XL7;?jԇT#MP|x%},JOؐUU1݂ &\SezoX+wl)z*ZȴdM[?F ѭ6AEDj &)_ڣ'~U/i#XC9Mmf69!ڗ' 6iB;_'2e Nls GAOsM[ ]`@L}}1@"pWyLQ7C7 K)]d$gUNd@z%xl} t'+gxdR[D%St#egzc̀Ūa`6֛4Z&*RhmP2~@VT,05t򇝌ZEX[[Y +cy~{Ejlhu!J y [GhA^{xB#$KYE7wPr9t̸/:ĞyN) l\jlyZ[MTs"UUDE4}eر\4ct>p[p26pÞ!a{OEQ9mCr\/EjDs+j\#9w y9`p=|cxf.u3E>ӧz+TWUz@͛ 2+[e_0NovF4]ՑpߣB<ڳxp:F<_ep`cZkԳGJ0p.1o:I)i%$UМ}v%@Saic9^n|pKR}G]U#XʰzÀcj;PKq,оNND]+' `oyެaUt.%3܏'W(SGF1`;myѦw# gEs.Aátz3-'[)Z?YA (UM IwٔE4K$ ۹ A^P\]{e hKP~Ex2], q~q> *\&>_ДaVfHf4 [2&NHq$K"eG8X<. H;{LY2K9ѭD H@ :%#^yh~6$}㷗Ҭr@JV,cűJ=bZDNw`0/?a[ g|w9ZFG<&cVBw2ed8u2kFdgʼl<[V2luAuRy3$9rA »]=&CC9h3s/Z }zV^1DkTp(xրr8o*K_?F?vPv/P1Z|cq4x*+C8uaKiRiZ|Ƭ]ríԓϴ:ӦOH*;P0L?^|&9 >!rnx`-C`A$PqJ>\FdC3Ro!pzqrQO:,kX]VxW b3 ͯm:{#&u>uYm-IDo`B*/uK/H7A|N})BonoqqeYRrߘm9tKBtW.]uZ:%m^,k$aIʔB7Sۅc<7Qelی!TB癧ӧh?C%x0*Qfvb0WP:YU#҃L  _:c{:D Gq18=^a`NK!MѮYo|aCv#F!ݹF!]-P&h0|ϩe;5*;4rI~%+{19*cҹ[vY;櫰Y=___\G# P|r)b[US ϴDXM۟:-{:hsyGy3LoTz98ChE\TA=$> -0WxR*\=NT,|,Dgh< irZ(H㣧{% [8`VU8/lu;4vFXI0lF6-]K<:dIMW_²#p\yٶ/=(tV"jo@6%)Tb85wRSM[<|b9<4Ct>vp`9"f&W2t'f}Frlao: !6$7~22M # vj+c\o'd\n&]r41sx"`8Ք[\~oa@הL9K1I80]:|7{+,]6>U0+an^T9LS&D$ΦSD&H&KO0@Bqgvģ4{p wKݕrn T+ #23Y ܚ>&FnL|; ]D_eA8c`@(LVj0m$7]&r߰r%hzˆϥ/ Hf"tt>0v2vO*ՒN OWs|n ;l+ìtگ+wrݸR3M $ pȇ=F${2]t8#XZu[iPc#c?~|ħD?ukPxF7ˮ 秦~ܖF(g‰?Ba|<Mo%Ɇ޷xP4qdgt@@`f}aBo <}hW)*1uIR^ʆ.辫VCf_Z0ҐŽe'BL5CHi1/ UݜLҋnKNgr9 i +Fڐp4ijTgf7]nPޕh'GSXC1%z=s:)JYJUgn T 4@x JR|cm;ws_cxfhWSɖSlH^1DıgYZ7zXZִF! x^]ŗXiɟ|E\Ât+.*aphG)%uG%nzC~EUUdRY}rIJcQy~27Ē( Ͷ&Qz Dn(BdІL$tYt,x:O&U#j'S8 .c"l.u\S8~gaz&Jg1AJy56D`jT;rP]FVsj],d™[s1yV Q7v2zH$VĽcb@ O&F} ;%y<:g}HSVmRfm^db+`xe^y-Lizؒw=xFzQjj0Ǫܖ+<'q 5ۉF:L7V hrMc0gdFH:F7WRT S]% Tzpuq٩43ٳN[w\O/O81*6m R^j şFdnBr4<")8Mz|Xnh*5C@uFsi/31=ݮ|aM~y|V~;<;K;R4ۼ%Szs&Yu+(qTwl -`ve'Ћq'ӣ"2G-ßO@JrP-PagukCYL=Map_GKݼ`  ˑR9kGz-}(yZpY[`LpKBhv HXBB1{δ{ IHtLmĐ^A0+"P:lwr30'\&ʼnO;t;IDm#-o.-Ϗ)F6sR;C!veÜ}@ػ>|mz_ui_Rgq_+v?b*1ߎn>4*>bZ3ľ=YA(9[L/i DANe@ c7/DJBb^FxFXY?WZzc˥~1!]Lx\ca^1&qzJ|44%'x vĔWG06tTI :dzu_n_mq+R!DWeMSKQ)ȒOIXG+x#)ѣ4yJK{ МɾaVg#%&0KsUH_e-)rXDr'wUc̤/wx-f~4Sض'o_E\ 8-6)A=IEhU o(XFeƢփJM#Ǖeʭĭ/[aR£[L23r#KfqqCVIp!Ni8ml%O#J5@WO휝t.~X۟ف,^PLNj+& 2՘лys~T@Ѩαб*1jyΡj/|~a ⚯@lNb(XWjO7M5N3f h'> 8 ¢6+M@# HLgBfs9[sq3TIщ ܓS¶o+aїh$ jToYb!r,{^OfvUŽb1P@}R A&7[*6wE@WA+H]Z SVg|܌CT8J)/*>J,ėW}VƟ?gݠB8 -j>1Ҟ%PٛW-=q*ꓑ¿V0Dwگ7 S`hWjYmi1ӎTW'fT9E}t~C~ U9Btz2 !t+xUseJv & }bNb=DmRST:!5qaVcZ "5:ޤK{H+E׫jI1`28PǏ's6eQ XFvSu .gܚ4D) 2,\[⟍yU諪i9-DIboʦMmdQ}", S>T*~hZs$E}po+$ K\ǝy7`]H} ?r1JPP,?:;[{hӶZ݉LOtX|ªb!wV !7lv*d&g=ٰ7y28r띔@~/%pr#+\ EYpE} }Ϫ}/h= \UO@u%cbq-v@ &S5p0I?'ʟ*}1"Q RpCԇH^ԏ%,mb!\H#ct` M4v6U&8)(j۟ttL9:!ͰK!RFVv&\ 19'wм+MVCL^WNΩ1|`satoA-QFi֞ګ|GL%$AV8`<X@sxUS5HWRu)6d(lwB8'[ydP&?|\'>(Z ku[1v)vcP e/ e4n; $K@Gq7OmWU]Q_>n<{.=ųҢo+.W䏚q`qr3(6[x +N8VLXl+|IJM:.3Kei 4i`Zd*jȐ2 /\O @&'q#1juj -]>$*Oy?6 vk &Ն )EDZ~_}jkq]tΞ2{}TtejuPf)|| 8qD(}+EXZ.KY!o+2,/MY)X(RLpr4Uu»Ul lL!\b~iط̆~\{x@35^fej'TsJiQG湮hJH.LSG5[k~qW|S$E%6*F,RyW@IRUT:.YYpj@.iQ;\eW˯ f V9I̞\0Œ#洏0LѰG lBrxEU:O׀ZZ.}g[jRZtqũ@| r(qt="z;pBt|# Nhj񩮄@D{z#i禽]1ke 9&ŠiDj6h|ƨu*A+4{kF'-H!nע>0B=7gh 6dԟaƊg9B~rxWLUwoM1KٍҀar짟!=Tтz:C eLz>00Y> wԼKݴ0'Er zeaa}D7\)NƷ&vRNjWJ_ѪWm-ɓH.G⽚lW޾R ٘;f\1٠\ P@Jf˱P=~3%D6Q.)  T N3m]x<H.7St;ׂ;/9ӶP`Ihh;Pj:6j䬸tkp0Pz5P3{ٶIbW"UiVtűG;dywOSOS)Dtw潱Q/:ICd< .Hj:\Щ?jypW _E)>'31FV8fqk53\eա3gj ޼s2NT^,R c$]@z_j~y_*V25z:`xI:TJDe.{xR$'r濔^kU]'wZfӆ(~g$nSd~+ P愢) lc7 `oS9ȘDd1dmq9 O *j}[oQӆ IzjANH2 ZXSġLwԫ.qfB+|-tNYc NE~{+kl%:=y.>Siգ :QH!Y*tvZ>jY2IK |6DvăQ+$dڠ(?gˆ#3:'xX1Y^+W"ۋP%wLQ:'yKu{-tW2.UFFH_5w#_b6y{!u0W&3}+ fՁZL}-AEdp葌GH?Y5;2pz=cq@`*'#dT?:?%NjCP2iC;9>3amBE@@nB+k̚vBs,̛MD[9nGU:ꙟWNhXVi#u;MT%#+}QYÇ j9O>ri\Eƒ>#Dԩ@ 4aU=H(KwzRsgD|GsO+-"O*ק.:% s~l\˸E evvslGСWU{e饞#\O(j!޴,w{dh2Q0K0Zbe~寭\kbyRhe0`ckDZ-{ƾ6ů#p[lȎ`ceͨ:ryrHB˵KXBC[UD 8 #*eہp#,ۆmzH%rEO\p LPrV}t2 #Юؔ-1NmotlK\#稘ǑC#R28EA!N@,A/֔i_8_ Pɖ9$G@{< U w\3'E|iBCV W^@=!;M7kzO.ZWW;djfNp"٨%c߿8R0$_Y~W=*,*r %E ӓQn ۷O&/wַ\uboʹZˎ_xClϤdY:/%|G<!biXФ9PwXbB53"C 3UʫJ2rofC?En㻕el5jrVhZ>vR9Jkw.zo^zWN~vU xK;jX_pU)٪${$vPk!=wrIF|B!e ^QC|<ÃQr}MyMy Z Lov5ū( 퓢IR0PM@OVQflr'tXC@7#hBObv7. By22B tmHF}oS=ݦ- =0%NyN7IGP#ܴkŜ `zXblݯ "/HPY'X[ہ黌DNߕ^ bSHRLi,獢~`;nqϯ}/ݐDw:,I7_@KD,nT{50fģ}v""k`|hF۲R`WP7Yn0*2*v`T xj5-01nDr҄2O;2!޼&eY(^;t͛E2ŷiݶ?Z袶7^m8XwXH5: x%^6&(W*׎HDln+bY5DuD\Q͂|$+D 3 C+xH+="(f 6KD/8q\T!i~26䎁 % ͙S1.JJx]bc{a#V)QkQfy a lEn|]|6%Ƕ \3CvZs_DOѠ#$iL>>({_?;$ғ٥r4j܉6 iFdWÓk0FbQ.h=7%t~OzO1݈هrO|ybTW#A\%  o"57m7@)c<~}EϪif &Aن.פl1$fUhϪX,e =QRQDZQٕkܾ_Ǹ2h3S)75ΣԋaD:{,k-ߚ`m2 LWSZa Kn:CmKs>ʭ`CW>[n*CEV#ptoc{ Y5gHbeA~, 7P"Bm%4OoLk bl s-mTHPk:H#֑ρCrFbhRWl@rTАynҶ;~^֯Ccոm8|bv[8++$Ikz'Y/G;ʤVqzdO1i32cwD{@sxu%N(_^"չ &51 ~?h՟8ZsM_CQM1pwS nIy=^ztkаqy<&֥oMT-2>zl Qy)A{d[ _$noC/ Nݳ\PcG6 t蜷&Jmf^ϗ&M,vLxy6>R/m&'9˅P}5҂z>Gj21~ |4EXiT qx=yہ y*A-6Ӑ<6)V 8[qݩ8sʏlAqsXI-)I8]oM@Pm(vf+%^} J,e}8v~b꺕2-X1بNFDJ,mG5(W\Nf[kym-mldz| $"D<C}a\3# OX>N0v4w\e]l<٤ ݁Y kY']T)]6|$ȉpڟW{u"m<{B#{\ۼ:Bԩz~W*L=U|ϫrײ& w  rEPj^MG' ]DnqؠM*C]:@F>mt#~ܧOR%?BY#d0r,%1R?˜ҭX!=ujRDEЛ3h]S|Nˋ_(`lGkkl)ٓ-6a J'ܭ){țL ҆fs5:݅C2f*,0K*'5v` wu_w x1[k8g\tٜTF8(,=1{|xphjOp&ѹ_a_ZXܾfb_W*zvM>&[$ \MG cWd075Ǚ"L{ۦ_3 H`6SoQwiYn\؍q!Y]n9H`}CcUrN [+ O WDPq?QW3a+p١A>lTg6gbQbIuS lVT7PN ovZFț+O>=PO7d{K rL:J0p~d)OۗP&vFW?r &q]5eIi3 gB 9 햗-Ovy; B$d% ٺJNLxUŋ L%yNSyeU6V:@~^1.^hL݁.Na.x̾/҉VؗPnWCOXC*5@h,o[v,;.hUXr.=XMu 0b IA%XaFPŵiz\^xBAI.nq؍i*< {g˭q},og|lEľqm1jҢB ?wٜkזaZ|l(U9q v͙%F '"kwao2rWm<6_8Y{yeG> t8Hv*-'|ĘO(6N ?/$5冷|V:B j؆O ++7.l, (p˺ eG(%OȽsّ+@?8_wr6@UUn۩ !&yt\zbtƒdpm`0vA M = v=4k/&;2-L7h(/B:uc{yC5D#IafY,hzIaj5Jȸwʥsr5LjLrDx>?o;̕]I:z^U&rRfc#h,A!I1Rl QI6#B)C8e"ڪ>G"Yn=; %t~Sʏ-!>ve'1sG8.r!Xg5`qW#"$[F'N#rCᏲRS]RQ%νHjɜc%.vI\yjwkS#x,JAtkLzbxp r0~OVo wt)⅄ Ǫ7Sh- C&rh  6Ḙ0]zEKvH_D1R [@i, x-u4!+g:v˕lj~D+c1+"y{lYw;oM#D@uI c$2b8U MMolh24s{@4Dž>{-/ȯ 1u%)ć!*1X*i)Ĺc@DeҔӲJN[_oAWʄ U1dOW{Hm<;ճ?{ʱ@J(E/Q_eҰR7d(.C(Xp}_^fϒnI b0_w=e3Rt߈+n옎=fl N]Ì `Ӗtf0/ց*ߣs,&ӣ p>Fg\sFgYg6箏޵ tD{sV:˽LmrI CG<czА &/C;_fdy> 9m+AOX~kZgc-L60 tOeO#Grt&TrkĽ=c9Z`Χ" z0u)uL4kc2z"%Cɑ8p=buE:)t \Um&k9,!4l=Kz|~*h9Nw% w޺up}Ƌy,zFV[>ry _^-Ec#pfnDr h{ձh[}L]#7O+u Qb g3F%WRhL&焷fؠa^#Tg!1+N1P=$NK蛂va !BiMy V-{[GiK\_b$_BzUnM7EjJn~1veBn5o`7Bjv cK!@lWO5fTjCWH-,SC  nD x{6&π#7 Uȧ,kBR⳱4q9cA5B!s$c;maZT4e+JU%/+/r=Qy VEݍJXFUd` =L_G|صF';:ɤib{P,kG|@3#l3PI~-:i Z!?FuDpjdPCh yxW 7 T %b:^Th>0gb3w9 bU38sSLyNxeƵDlj60)/DBtP;i)l)G`ەAx jen 79߮VC`]MG T d">hǪ"o,9LO'qV18R ΃$_m]K/Hqw)!3ήx\넒==e0:g:AeyƬ%˫.շs8zƙ xzyw{h266neLwJdn;շ`x1)FL2,#LNɸk-JzW)s,ix8F~ -mDœ9ώot#@" BɻdҠN ~gFq~%DYB\;ctk(n/ɐJWꪣ簉˄a/oPllwρsJdy ؊ &6~zr)sS41\|¬m{͟_ScB=kb9rVF!u/lc{;;8m: MhP!+s-vL_(u/@Y^JsympTw-1>2XAMzXUQ@1E-wl!څyxkՏ: - iH$LD)<'v{O)L;XEn7o65G48b.ZO"L[J{a3%IJ-ǛϡxnZqtX%@p" j#9xϺުuм":׬vˏ&Pȫ|&ER=\I(Y;M|^N6X\J(5p55?Yؤ _20c@οv|N;( Ӕ &)aN@Lfw~4<>[RtvZW1ˀ\sfp%mf۱/hW3 z)lY@^avˤ.khR!+EHz1FU3ܚEj Ω#AD?*1uwDJ$Xаٵ7 Ѹ5VI3%V>J2J~;]e%\j"فyXO_o(P[ m~cM{ 7|/A8aq,1eCAYC)}mR˦{tT3})ʧk8_QhN'e <884n ΐATӀ0)n[Lxq2@~<&c aH,fp5c^<؏A%it4>u:xPu? b! Us۫;WHi^Е.'5mQbߦ)CrM/@G*]CQ%mlS<{WZ0=# lq _LS|i#DPr K&xo`WvH 6PQ[qh{¾F6@+8IࠟHe>f]Y0:vӁȢʺq<6k)p d2󏛘_@8;-xኰ<>ˈ2de +ơ#A]#W?UgкWY7$W҂Gp ,wO%]T!kA3?5JXqqq}&Sj(VAZS;Tp^ާf$rnQ.`dVH9њ:% nQ8 G`6c+)4d$dfU PNB5!AjU*Qp;y䉅Vԯ A4%I8M#jJ`(%`JhR^|bxEfڨ(G$ ho}=܃Rq0zWF)7 KCyq`֖xB0KVG'h_&MzQ;+fy2pHS؆ATe@#Ժ||ڂN=@a~"Zԋ~ = {P{wI,=g7p$:}/zpIR-QvtGOsnՑP 8QK9$^]dY?1ۇ%HAE$l0$'$ks  5PWQcGnqhFu3ײ8P؛Ӊc}KStqAU.'!/χ }?ԛI%#[wږK_]S;)"Cc.C=*<26Vո`:j-Kob%;b+Ayǥsa@ç0qP*! P]MCmnWjU^W $\u8 OZhvʌ)ebt tBTXYןU',鰘Kܠ[bxeG=TБc鶴DŽk˜6Y4{of&c=/=CQ_B0:UGrTZa:>CɚOr] $9ҧǟW#P/% 0"]YHbn_Kf9g;O㰰t!fb,H VIf*FkwkqIh= B+_6f~ޓRjDgt >G+e)%Wb=d5LZ1٠'`,jV 7붌vX'LL)"P=tuD. d&Oȣkn$ޏ7_";,w<ދ%h=qMșʃIg/CE!$e>࣍^"DRksS+gZnBS jsAAط9v.Ƭ/Qf/ފ4 ޜ4;l m2w噝+%ucWb~##@e %$..(HiIA tŖd+ p&locF>ޡ7^_&\Z c lPaץxΈK(AٴChc)* a, &:0P<);kÉRrVN7uOL5LQBƪUS*$վDjKc еb3Y Z xG>s&kbnAډSFljOMS'HlFfYy)^cix|Xd*Q/]ph /% =11n3Su!TT/rI(\YMȅY{FD? E Mwcedv(&nr M֬boh>QY.c.ݏƒ5.F CYCVW=,0 )wsiۚymT0w7.v!YQ 7 ӽߡO. jXAT o)F-[)^p&d3 1:MLwtqϵ@c + E՛, c OW"{E8.{r :]伺v(+ j gDxхL:G?!&Ƙ`ЧE{ Ε'Ǫ],atd-HGnBڴodC'wb(BרpK/ B1ԒJ?x%-,Q)a3ۡv"!K!xTZܹDHמqI حWZ7nno:Sf$ \q窩8*5knCqA:GA MĬ:PG^5t:ʯm3OizgNU& @z'Bt)ݞg g41wĒp;Iɏ"ADؿE2 Qw]7-T.ppJtEyе*L㳼-n}vc 8?k"z/a7;E"!mj/}ŒQPݾIo=j׿UR$4 }5I]0kZlwǞFe7<ƮjTbH( Dhwk~i,74mS+0wB;? Wr5Dn4ٰ}X*m@L!組 MBsw!JaCEeežc۴Hf0=`(8RGŦֽ9Zz񞕱7Ak틗:Φ\iiLeXreL  94=YL =^a"/}d4Dp > |Rq98ޖy{l',sȦԓe +˝&,hG~JI Z1h^%o01Sms2i1իfݯ##(Zfvä [$S;X;SM :9Y?FG{"gN vC[RR-hpS(sz7c^U C?.3c.޼X}qwNF;F;}PsunS։W$7,H"S~Q%@WhDØ6]Gע+UpQ*P]Ph`io'78:EĂ2"P& 7rbб}'ئC P6f7ѧ3jG&L! kfv*{O(QJ+#Te#އ`Ξ~ɖ*g`_hb,wy$' m_F$.zfUŸ-`sMGAv~vH\@LtAX/@T?H{ y+& '1hNTϏ%ϣ0&0z1?hD)[ ?wb`NO'q  {YF>ڳm* {7tjOxY[M+;̜LXr梪z2AlP{r͘pN"{pOLs"]\ԛ[v󠠿7nszr:eyq/B:h.ry&"Q͟rpBwS {IXjc{5)o @vT`L +~Y")ʿY@:Qv~Id,۝~W2̓%gqUWOO+gC$Vt=/_ v1zfriǙgL.l%:Eklk< 0n|Gq<m_/Y<OYRo%B='y-8v"_]xG:|ym Ҷ(ctU E @|d# %,#k} 'ޡ*PF<eVqWXz5>A&jFo^$ ;o=DƉѥ/r3Q㸂SUP4l8qL{7r @*EݘߪP߼% mkVw=kgYZ188aa672089893c801eac3b585116c297d3b27bc31f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5 084dd84dd5b6b00e22e43a181a74fc2ea6a92b25f4d5410eb2c7d91a469da68bb8ffa70ed03a6185