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 !|,|l ]]]HOL-Proofs:threads=6elapsed=362.798cpu=625.280gc=127.3967zXZִF! B ]ŗXiɟ{h4R"Q)ȇ-rp8 骎B!q$J{)e gy<m<}ۊе۲^(_JVYѿ22]u &:Nc%v*_8$[VAL:hxBxe׵W1mIgJ[7tlt gz+QJbp*桼㜀9z9E^njtq计)Ol{|;sW76#󟢴Ng{U<@ %*a<:0Ķ/h ABW`$ o ]+ ܉h>m͐<Յb5@f]oI .y'aC @^?B!M'=1'21t=sp#VC (o?BᓬnP:I! BjyHiQU?EکqNiAښx,r`]!-l 5>olu˜~2zDCB=LԀw-! _#^̀FHON|k ^\PS8RD^P-tҗƹ1^;[4WIoF f#tBAj;jJ˙KxQ#~ాzX%Q}o?U}$52_Dz$!Ǐcͻj\/"EIc<*O5^c5Ûٓh EڴV$/QpݷL-*[8e_{aiRH:ņ$WP4ڂ3\M*F<Cbhj͂vzN2 q9(\ $s+@=$+:%DwvCޕvmv]v-+.#!qh1pr65 &Fi\ :Dl\J[a^|xMSY8$X}+tOTMЬtK͢#sa.-:{':uRN8\r+ESIgu-W';+vvE悟|+fh lZtFiYYv3TF^cOƟеvTiaE $Glظ ͭ/`DEmQ5%5`㖩1OHn <?q5}2hٚܲkGc}CInj,k8rZ{ Ve4-ĵ.ŜB[_i=sGm¢Lf;+?-b?x4 -t~ l@ߋ7&ZMU> x֓4޳:HӉÐ']uXr2|#?Ron ̺/݆v?=K)<9֢}" v{e8/FrD;|1b&ixYɈ6("qt99w. Y/EމDN;t%WDP),v*=vL+π9-Jƍ|#I3SX'{(:I- {;2rX9^i[]LJ>2GɶhG&MȦ PVҺ0KLj3( &:2Xǯ9ڵ $ck7e6-~!QZxZd/Ln6C0ngޡ-آe~Gu/vq#00\o]`ђP2ɾB[6m|U 擂pBlfI玢#\m[p3W2I($X6zozm8H4{5*%@.-f6,I.sG)Tx00Z}0d4%zv @Uw`BR B ' 'z"O/TA=RK}7";UسWFi9%[o,E  ! HOL-Proofs  ~Š#XA\d@{Hf ~9=sM _Ldrx(γt imЫ˭𓁤އ6 ,mV7 `OtQ՞CjXy% 74JjmѨJI"ޙ㢴g›{c-%&=Y,z6?5NG4IcT<.IF;ϯt%9CJXyt;8<U=MynGCJPY?tFYIc1Xwϊ7efAŪ70p<96tNg:PKGCUjv)1Ung"t3[Ȝ[]4o*"ȗ+5Lغ>2"?F۝. V%(ecef| d}~l]EeտAP3r@}1j^G9yn^Dvb.W (B0"^n͟en!vFNR  nEAhZ7$a^:ðr񱧃kWE8~:Vp+rRE8fC1ygρVGG}2C x:u>v2Ttgr3̷Zѽ< @bvU?|+\3mz/F*:2!\Vٶz~<ĿQ7YVk@Q_%&^Oݛ)BW˙p|"f\P-t#Z{275_l9CicX`Hr>|u i/3*}+[ي %y5ιiBC١ 1C! m0IUoR?Jn2G 6La.yԷV-Jb/}Q F@ 9Jȑ'0qȟ#X$}_ZHCt%@DMb^!=QIBxb\a|^bjiW釬K_q#;WA<%nBuK'͘)G/c6yg>o?gVhϣnn_ђ֢QJ~oaUPGO):L&a`R8gfIkjB9H5Ea:>g:Բ5#[DwC!twX \$u)pv^XOg׷;lOyL  / G%d%TvG?)avvdDrqg>,bð1Bʳ" @(%rq23Q[%M8VQͮ pM,mvMZC؝X4C?'Uay/mLo|+zA i3|eSS92JMYO#;7Xֶ]&yg󾠕|Y6] 8ly&PZӘu(ިz r@ r&l(Bmq 6HP `iW6N)ƆZq[k~#BHlbc{wup7觰ą#_Xjmö K DgA~f X \/6YQZпBp}t*Oa}F tw'kmރnBKqٙŋ+Hg;NRUzt_ z5=o`GmԻ-!ƀv)DW!fÄh2&_ ro"a@7hs 3Ic.ټ@<ZD\hbBP; G,,Ŷ>^^6`$;^FJM*8bN_!#~k̾֠ҋ u.-Es;07˞1$(`}BOu7kZk5tU#4B,>"yE]fKY8" G>Kӫ +wܕ;'uH8Z #Ǫ2 uR\nJ-*GgC>nI 7J+-Ap;9Pk0jI4?MyhtSȷTU Ant^{DZGF?8w9+*Qu~lc%Qd5]1dP6ރA"HGuqxgac.ANW gҶ zWJ}#dR0$nN5Ԓ4egYZ7zXZִF! Z]ŗXiɟg_$N%Q Kβ[I5?Ƿ0͌Hg>ULfƛ{ޗ[-ubm"NavWJ$NUrQf{*'7JJu:o.XD-l34yúi Zr>u^nj=lyBz;A\=IN_4Rz`+2{ ,˵ >ࡖ{r3Ks0wZr땣O\j,qsrI[+Dof>ϵT%n‚Fz_z˃i>s>{ f,m*2B_ݾ#p$zά,n&CNgNzp h#_ Y+D?젰]RܯYo'a`Ȯ9'mnЌ y,q[@vD,Lfe6XPH,=Se#~ l:=esr]U ~K: ~0HF0`󉁛kIk4F2J@7T,^h/w-S~I(TڗxD>n_q|CT0%OlẎ?s kiߧ̧{.s풳FY čwY:83U` ^иvt.\wFV[;,]g=d!tj3:-W - 4=/*H;<$,~0b :WxCD:yUv5y@g}ܬQ!\k{eBWF30e'q}lDCM.> 2qygYZ7zXZִF! uS[]ŗXi%L(hWA[Pvu;XR܈:G4П.3N<"JyQLDU\HWj3JeSb~\'%pc8⏌N H# sDhXK 8mdˌx#`T;2=U}FaI'i9f S{:*ӎðF˾e ~{qj(,K-&y/ٮHԵ8C֧]ѹܵ>nY0l0\%ef)qt=ƾgIT!0J?nD_K3h>+ύ#*TrPYڦmv0dd_C;|)tQH Lt؜FDGȌڙƯZ^$zGGv:=aK[D)#,Ex5t6L%䰠L"zv48 [DX0R t]o/;8(!-?p * bͣyB]Ela y8e čRqFoz f%ɡJ= ͆$Iq8zt2ւ ax,5W6."_>m_S^Zab$]7|]wpǧ1,uG'ݘ7:vL"c:]Z{Vk'C׃oD`iO-\e6*S0|j]RńSI)`ZX՝u&WCicR]BƖ-(w98^}o*E^ /Ofo7W臢Hš1&!;eMA?L1Mٕ@Ur@Jڊ -Ba&CӲڏEc"D3X)8 IHʬ/";ln,> __L D{ 6a8؂^_쎰AFB"Puղ.=-?f$;%UӜdb5n_2E6 /ы%7P)A~wURn+RL q2YeA%aƟ}[_&e'! 1[?U0ll?zIA 6W4(3%#Hह5ENJr'ۛKSC` Lױm݅}b?hJ{ &#} ^vc'LSL8#LzR`_ꪥ, Gr RY*sP|6xH9ZR lDzb"Pш(' 8?Ü蟘10] fktO0lON/qA'XWSLKG0lMB')(Ѹy=S ?20~>hF.pT# Np37 h o.dl&NW6[FqeiL35TnY,k;µίnJ>L:5Fŏ-sG&0F 8ABH[fNQ2.ҝesNA6k }u/Ӈy[6RFXu^ [*M<*X%K^gr [: #-t+kfuB6jq<"DGk{uۄAB33q,5v,iFLkJTMF91dJ lGb$.1,2rXʆoO^LzTYE+UqV]G??(ct'ôTIqQ.=%10[j:;z">B:) fnf BJ&ffi&$% E//pa\M^-X64v h?}a-iWs@}Mk@nîoԧ\ A: McWhKpuew>>ؾ`,WIn66{@R֌q% lsj?yV| Xb Gs8}2F_/SSӰjፎd$;9~5?azsL6 +Ī2)=Ƨ'B}'J6$~9M ȆzPb l )r:Tf1Wg$Ėİ\A|1^#lױȊ2ϓ_j>V1K. u{&Ym 2MGS=,]鋅 Rpfi;B~B(:ٞ"tc]ʗ'dXĺR=1XY{-JՊ(Lw8-n/ ˆ_Ju]' @ K5x${u vy& ϙƫlsw;DY!O )[` kSU#JxܣK)42R k5⟠UӤ!Bq;NUpFIm #qs4N9R 6̀ m8~VdQ>=j;JMK?aũ)9 (1M+QkMT>ũg*,  E zM;_d+F*^%u灱w;aoW\ml(<_a57 XEݠro3"K5ϩM9V̺b6Łl\PM_yj}Zlޚ&Jq&\9Iy.DdlkL,A.ac~7zh԰BE">ð)J2猐be-u` [d~f]i0E'M-J07P:H\Ⱥe\[i n&^u5,4m%#{DIEº[tϤ V!y_CwcB[fh!_08W,f3_ Ps1GLԪx0$os`J*&QW\Ĭ6lblCxF/hoqm%.e|꿰Z%YHm:z\z}C[#-Eo ~7+Ay[ɗև`',S{Ad(NkKR"+^Lp9PQGʣ s9^ 5cџ㯷]GtE+TP}{hR:ޘMw+Ԡѱb]ir!f;cRրLUD$X|3=ouUD>+ͅ%AJ(Ji C/׀G Q p>6)r*gKU{h9=d"@s첺1aY۫*DF63p3,7A(:I2*}˝LZĜR4^1@)ގ3t/Hy]ZV𖘦\u0/NK`WRُHTK0r"~2^\Χ!ֱEA5@rtܑIa zsVPmro]&;`_owm6%DQ!Q"7 6HGn 6RlFCr)-"ӱ;NS(1uI&&d5@MVRX5_ؔZ2L,ø^}Q#fZp @` ,*Ad>eM3D9j:xpT/ o'A9e. U <e"U#r"lѓJ]fdMryM~Gf(Q"?"Z #C,-wl'# NETP8oƕhU!'skςd@'rK6k 2b>V0iU%Wj0 LV6вxX.P-[挴f^ܷcg2 &v<5i2Կ, "NVwny$lQӥ`ɧWIƟ(cDVHOO7Jc;UV k 0y_9(z8 u$̊1V *A؏{Xqf7~n{< c1}05XLUN?#9'2l:b]5D p'زdIVT*25$~MMCq$@y=CtWXoȯ~Q9/k$\FY}&+LJ5k',BZ8 mtvv($Dh}{g^$7 !g1||sw+[A!4Uq4&m*0/֋A@\tb@-NXf;","Y5>#V8Ѥl_l~}ZܤDQ72Oo.!E ʢ=,r6\^rLs!>򛭌7\GVMh$">jJ̻_yz@VpmqV].Z=w;5>H.@b!ng5hZY\-[. I5a\C/eڻE`r>bT(-O+ >_1{1xt0@cX)٪*U!M}=+$+X$V\geV,jo,n*B}g茐2Pz;!) 4 js°sqLMZa IY$ 5'2@GWѣ3kQY-ie1-;HV۲ 86R aHUi6ty(\5(yG}M3}.Fje )7mZMe@_uExI?CzG9GoHRS(c >+ GJybhg(ڟx8QB?TsP_ g-[R%GhFW\$~&@˾yknN}U]/.qP6Kɛk? (7) VN d乸rJPDvo A iv"~7; |/>8Ϛ2i3V̽t]>!ʭeo>;ZH-?8t5fC39c-3r !Z5p/\/p= ٝ~kV,9l\:|<ۭ :7Z~z1;S/{AGM&C3 `ݓSG^$D^j{N0yƠ%aaH;#Ҡ4L/)C0717G)446.A0Е夺$R\mS 3i_*&1sl-Ȼ Ez)AUHa d%%&m>S~kd <#srLB*SKcYݭe\^uS,]a_B]|M06^rRWPcL/YKIJ Ж=: ba +750d3%n.{Pm/+Y\,~;ɄUbyZ<ⵜr5G_Jv75e].NW+}~ҩ7 QK:Y (:kۀ[2e߹X,}#\ΚͦU, b֔\pNp4Y\Gl]f[ zh'72\G?:-FW j?سQ&}޾cApa)Sǐՙ=21.*A:(@$qOb,#y Hϩ\Y'^Z,rpr$qI%/7bЗ!_&,m[s,g1n=y?)٘4c^s~x^nIQ[e1ߪv c)k 7=;Q*g,UM+;Q4)/|a0IjkZVe]3: 62qFA}A9 E ʚBk!I8C1`7U4Q~ OPBrrfrsKf*Tq# v@D`}ɠSi9vHvR_18 f7ys<iIW+˓/YZ$M4\eihC^J(t&n<')wIT]0◔$ nkQZ_ոu 3H7LЏ~)$~)%5 (YA]'.1l`sX3b! S-/o}ljuMm; N⋝[ m*c@vg ]Y_Ԫݛyyc_MDsb,5Q饒*"aqw5+B.FM+ ;H.OT ,6-в!1MݜA"9;E47_>- xU,ê3K^CV{flIbe'k S' #Rj<@Wʨ++UP> ٽp* M)J;C쭦 gҥz4! k,fp K)S;=_ؠ^cD2}6sˊ!4=IYkvmjw6ۭօPuV_>n=YO 627a\AQ!dh5[Ʋ8$KJ6n] a9Y ]k)_Kdioy;iK .DpD*-UЏ']M.b@"0S.<w])s 4Je9cD8WQvw1('@R l;S Cm:7 Uv^}aæh 1ɚ2zz-Veȵu>ϥo> g?y,Jd)g2'udv z dHً/Y-Fナnt^c]$Kfmڌj&[+lӳXq1!19T)ϭ|dK J,VB߲mq'=l+ˣ٨2fh ì p~ͳMWZKT j28*\^ \f1]'ob =CHL)N}^2yyDCh;MuLoFB`"xiMݣjw%5}9d+;+ɝ64_( +Ԍ OAk<wTP,qt;GpW8E2 {HT^NqSwʱF|Ifd<<7A$E|OF{CEWb.5oCpoQ~X$AMj†23Nb e,]U};ک56`_$)v _:0 ~\o/=R `Kv^[Xi_4ѵXK]nI[ӿվLlHe`S~9L'قH=EO,esϲhd*cXTFP` W 'ZHǫ&ݫZӵ0Sdάt0B%&= yemx_\I akZS^sW\mBxY=ba׼Ug3:UVM} {7`9_U F0Sc2"ay61s4Bd3NZ7r0YsZW,HX3w׻B e:ݨ`,|2ڏ 5;. , \D}M#||$G=fj X1JUy*'؃OufE8(`MiӼ7 =xc.W/ z]?%c~='^PEl ;e[IYSW't*W5׍U##[C؇ݟLA9-#V8oSb& bD,Ϟ w] /6R1.PMo- Ϳo-uoDm[L t2Ƶ]gOVX9nDu%|â鿥BxcCɥtr:$4[bx;쑯+!\uf)0gOnb22N1K.; 9D?Sfi2tn'~RLU{/s5Hۺ Gf b&{flNNaPj̿󶘺Qߚ"]*.\p&dU_6s|1fz&ȦQ%"X2}-$>g?ڕz-3Y6K 0fP쒙ZP@ak+1 9bR)`®c! ԞE";qS<$y-k e^KB2]v_U%¹{nRT]/ ^oG'aC|Ԅ a b4{^b= \ UZG5e5JN6cTsg1/A8>W͡]1~MгVߛTݞ4OZIhC$Q=p.ۅۮ.ڪJI$0e)=fknu#Uro ǣ,Xք_nU×_Qؤy"s*W`yGp޹^J J֠=M< ˎ|PO^ -J  ,ؑ9C DJm><' 8^qSD5yd(]xu DWkɠerA Yn|_V PN^ ųҥ`^ ė[Ik61J18`m |"W[{lDQ})ve3F\%95(r }gMO/w"q_ޯ4;Vr%}+lv ڑWnWJ5`Xu7^O$7#B0;~ n{Z7MA/0mM2@P <:髣M1Ygj}삙!pqJA##ί72[tδql>~X ͼo;~(-9;"7~G";Xڇ? $`'F"9Srob^{7Â}U"uw__bZGI@gƐh VRS(v&q&{A9FpjSPM` `HLcڢJBϮsDVj2|;[;q{et6nr9I&ֶO@0-RS!&OOdL-gK$&E9(jZ)^Hsݽ@m0i)q!Wg)'"*v~ ksfھ2kPʎ>d)K[!$;vX>?>Jv)m %5}(Kms/tOSt-&Q?9e47Y bDS2r< y,ʕĶ5G,I9#rU'ga׶9gd6)ys Z:}q&+`FᙤАqC 4 "d,vNrhvFD" 7{w9yc09~ֈ)DHJ> 7KTZjS5<3XMU͵]M+. 0b6; ,Iw) ^baeX.*YWԺ ʣH\H|Іޡ8 Ԅ~?:v'Ibi`ݓ.xAnyg ^=RVI\t8' hiSq.?Rf-Ø[;0Xgr`?ߨ3fB{\v ]dr4ðT#Ν{\}@ͦ B}_HXy-ԭVgzdP!];g퓣V )bomH9قHܟ;Kd~[%Ў,suUbu0rny?3'`">(|,{1TF\pzv:FL͟g:7z5Kk^Ea5 .Ǐ1&z ;ʺ0\yXAB 7.ZkyoJ#;`B̡͐n5B~'OÃoF~K}&q6y+; R^ C9t4hxݝ;FK E,hy`MC7>JSr)+Oj-&,4_)b%)0YP'" бO)9*%Gi$z_HfP.o:qD?05QȊEx[E]4yc3?ߢ!w z֊*CJRcĀL ΚSljݺOeu!e ,ۏa,eQd>lA~ LosSvuL`+6w4i̜JطGM6L聽*ӌiQÛ,mxow|/g۳ɑD=$zAhg'(S}c/RL{Oc'hxvAᣐ6 6'$Ҽ{k1"#㏰j#,UEA?$">Yo]\1e&)U4cJwGؼ@VH2,tL`żCmo+?&any$dCs7e}~qDD3->葜/?p(Ls6T>ը3u0La =1An? 9!XTJO@ Smm'r֒&DڌON9%]{ `3ﱛM .d.D/2=*ƏNsj'Y{ƚ9/?dy\- l6W-]MEv *zADɁY]xFX#TPgdD1 \0 6佹X@BX\>CZU⊼h)! #{wV&+o;'3 i|E_+ Oz&ΌwsSƐ%$(F5ҽd# 03BttS'(BhJhi{I270,8 Q%us6DK]KD;fͻe{ 맏6&Yc]Hl-P35&yv3+d3fg Ìr 0*GO#/P@a&_rBT iё3V 8[?/{$U Sks]{ȏD>6Ot4W}:a%DEaEsi45qTh]=2 &u4 ILIT"ÍH o?_Q>4BSfd=B_im+7Mja2R*Nbj|zjGrJvP2Bا\5}s)]@wݽQ76.&ai0OPv T0'x8{o :?_Sd%׾dIQ+X8>ٙ-f\/5 ͰBR/t7$4a 3 lPw'(z`EP2Od3 u{aIج Rk2xϛ/1 5ZM>*ó9|*=gTx%Mc]Kuil5?7elrOu7soB<+,^ϯ^\{'^fg_Uڑ?پ;j7azt1OE-6aN@|$ǩ~:{v* )4(V1;QbzZv `*(-\*NCKAB:U*XK$~5T&0:f'`dʽ&O>u-Djcêmwf)xٜm+^_IH p iA'gN")a%Rim8:iP\|}d}`wm}e:~x>$LB{jL蜈_a@[%`jj٢LI {!Fݨ8" Ee}|' :7bk?4s&+jFҳd^  mXJ3(F {RYog"a,"WԳx4O!Sp;-bn`2"z5c`6A;9` +X= {DF.%Q[3vYU0ʧeFC0 C3$PZPD(aM;k$"gSѬljo/xqm{ظjCZ ogZ#+ z1kXw Y.9$Vy=TA;OQBk^p)XLE @%eǢ(q &eY-9vF>$ >t#햠΅'^)ǰJuHbELއs'y) M |6Z>ӄx%t:JKZfc}&<+7_#OVRpJ">W3 >ߚ*gF!={F%h&K.[/$]k#gU/ ge3siTBYՍͲX l K6 Ԋ=po<>qK R껗/-sE\G%G3h/ gP/D QnCh/x=k_aiRy#: OQs/3v5V;yHV/!svf!#(RyCOysjNSKNf(cܷulG( ȸj%u.3$7ξX{;OX^- ryVAtqZJŽ30ǐ5,cAĴªAQ$RVم!9N]^?U9T;ofBi/W_M( #HMnRbAi]L}NU>{\n0A \4[q{#KgTl7:WB̜t?ՃM/Ƞ l}~ h86gnRcJAs0kNY$9f3=?ēX*Y[,"L)_rouw. <,4Qo5xͶa6Mw,/g"*8O⋝ʣsEۥ>]Fɮ iq8V"ؕ $`uJǫr7jl-Wʴ:GqC@=7K!nBbۤ> ۋ"3+Ma(dOAs'!B;tvBscN7.N,> &оӂю6OH(";7ȐU_9;^RgC@;^+@W,JxC GD#Qty 5!b=:-Y@rlu-j,~2d&*9/I]Rސq*ɑ7pVK E x$; gZ~Tg<1J%،r~jD-`h Ka4j ;\FMŶm譳 9dGc"[E߇JQdۨ2urlX{#!#X{BGTaGZkQQ@|.L c`? v ])$k·IUWE^b ף}Oɱݏv5)}V9%Ş~A=2`@E5 H'dgݧ:}ױ(I.,y<F*ux;hBzlͲQ /ܯyny {}`/:tq =TC92 ;\=Ç)~(>D7H=QNb ݴxӽe]ߦ8 C0|Fq!=NG9*FxZ o`‰hi#qmRjZ>M»MHM*ę^}=@Ot=~\T8IS:ѧK 튛^"Ԩhb6tepɋQ~~yzFz~.`ڨ(/'ZtH5p}T-蠆^,yP#ۗܿ'muȼvP9U2o7k+]%Eև],KGTRXbgﶋ|Kp4\,n03KV8SfǎB;|^\P%]{[^pER0CC!khlp{[|oWpZShC,"6|z#]4.ujĶ̧ U0E$XQXzcCB0KL 00dW8l &0e"=DYgΓ01ox(D+ν]{ǘqn?R1opK;8MWE/݀[6H-~GtPS=B>XR r0m 柀eqWG~nG Z~ zD?vSp\6]!5|aF [t\{B0 O`?).Ye܁3Tbj/#CO>CUȺa~%p3Uz25&,ds#CB?$+,h䝊 Bj!cUf_ӵ J3ΓjMk$o(5d8}LE)i5McsQCW)-HN&Ov*z#uHi脍5R@xDVIRs^R׃7- a&:X4F`-Tw,pSHIB&#k>WVaڪF߰IjѾ͗8ú7ѷFCn{U\i$E59u\wcu 來hi/l_ Z,uH`Rnj̗9Vˠn$8+OӰn8$F[K6l5D('F+JpyOX7%iFOQ [7K,';x'xL]V;p_ PG-) [*-´mBp"NiƮk"ܴsQm.lXG[Xma\՗no^~)~D)&PJjY96"MH7k~"c%-zaU0^SӇxܫ/!? c)Sw/"|;r$@|(˩6fznż nl^6\vjDCn5 ۅzt(Z_Y^nLռQ]sT3ؾoDz&QJ*>r»SFzGu5 -EUd.~P+,3HI;g6T [AHk'CARIf0*+)Aq#|aɠ/&z|d18\=w2}1, ɰZBيP֙8~HG us}kK ZKoB5%^e ^7酡jMiB`B|}=jxfd/DdʅC%nӹz8y=sũ!ds!yEǂLotdCtqLGM(z H#Huh̭y$KTo797#D{ ;# -,E=8}l?B8^&DDXXZ(cpwKK;I4nZs6C8bgm08QE!I/ Bd P4>yčNTxY@aƒK_t}2~  g[g2pśeqԗD&8C^ Lo5<9K0z1bx|'xEV34}xCH Y9u$kP3猘# 3 z=1wWSVgvf*da6!SƴܮIպ[=yCU#b=b4,RT*m2?ʻ.?h􆲭7S@9hNG WsïqńX dZUjkxߢ4OD/P?S  )ƕYGɣpL덺TLԇyQV7M\Oo\pD,픜w|}.38"L ϖR/  =zfOZa֨S1kGp|O[ ~](C5NB]*E,g1!E6s[$Z䭵3X{l٬ǺRUcmQu1 pj!O,-lk8Z,:o5_z Z@f=3+)>J]k_ZaBp {I\On(Qj1Ԋ:w??ݣ9(^}>xCKu\/ N"ߍ/1Msf;FS;AfkƺG 815q R^nZcZZ!]N& k"N%'ߕjҚY&>`?sD2JLڔ`*~*Nl-⣂m(CC#c7uwr$o@:'zs+lWm%$ލav8˯A;Y)Jw*Xr\*%Ȩ㏌vJff%JÑ?`DQM־i:4P@}k%Be_8kK;.L瑸^reÄt N"*.i(WSӴ?<~ZBq @fMN܊w -MԟrE<:]qL?%4K' hǨVc7/ ՁG,3b4.8b~#xt iϙ=A  8@߱ʽ=|'}5 k ^L-)x q#*UQJR;pZrJEyn^`e,KxLrz#=‚h\"HPq[ cW\_##iw?6MfRNKH7i}Ra_vg&Pͧ xc؉Q8#@4` Eo,E"7𤧀 |lXb\b̤!?ہon)*x֧4Uc oW5DO&3lb@Fa-9e6w7ACH+abSw_n~: #]gaUdUKiZ7ZmR/'~,!*$'08POǓI5jD kͤkǦQ