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  X3,, ]]LLL_Basis_Reduction:threads=4elapsed=456.929cpu=1208.000gc=90.504factor=2.647zXZִF! ⦌6]ŗXf[&+M B; q (Rd|5KnƊsީ~MR$G `!e؊E}, eA*Aߔag&T#kJҧ]"kjī3/N[%M_ J`C3tgdG豈Ƶi`1RFDv3cƲ,}]g)k$ 03}%{ <Hw\G_,SF`.Ê\/&}}5Z\S9!vk}ћ_[$6%=y{\vyb.$@è`Gq[QD_gˆY[(s-JwF0a+#w< m61?W~]+Тa('YMmԞfw ;ASԜѨE%mld>vrֽN9^b R:0^[utW$BN\;rh.1r޻lE=b!` yB*4ުOd 4^Z-X"hុf&ږm'H{55kWAupӇ8Dpj(QNxAw/\8 &QԮ b"*7N~˼3{x*cx=cىT=|e4B~{e'ޠXt!3b59n#o8l*Jyԋ`9Ć;Ԩ@7!4܉"M_V/M*eB Fԙu(g8nQ| /J"ٝ<βj- nޱ _%ct:xS#҄)$ׇu5EVeXdҾz@._TWZ\9/rJRrSLydz%h͚~rl\+.֪vHȎS^9EXm;Ce@/ {J@;P3~eo'rμfʞ`:/rAtf~Z;f͂R"i=Ty{fJ;TE2fH|AIEDfU+(SG Erfµյ;٭e䀢XLV@b<"c~xx`dX`E]~ߜH2Fw~'~+N)gUfqsӠ7dv|uZɦ'_Ҁ䨴}Z,G/͜by 4nu6χ Lb FtݑETm!)8nCm:8*VcP0񀧨y<)UFuDU@`G;4b&󠽸yGJjzm~ Bo;,9o4"u)0hS[ &DTJrt~ؓCq34;Wdx js t3()+}SK[\Vk$Hhg bBly}UAVsuuM3)B`嚤10 XvUL?Ŕ 4ѼꎜcC ]y'e^uݗ3&?ffTYcV[`D(I met:ì\g`}_:Q]];=v=΍٠ub_kE0w0ѻFlU]!=y m@zj1,Qo¯RvOU+ob^SZy}rMs:ʨxx'ѹ+0ҽ w3%os<K36qDN fp7"٣i@Whd#gW燶ME㨓("1yPuĹM-2/c'a'Z>+$w @* Bk75 gёh`j=@ms5(mo&J7ƭ|Bd1{2}BN2ᝁ;'22Q*v%sXKwtD-MU^^2d؎pVqWyՔk\4KfWMdY_$)Ѫ8Mӥ Ky)Z$gFyn8Ad1'%^I3INbPGx,Vq׶M9Ö-+`mLB ygG` " 7]BiYb U>S&<vs~t)uUƧ1][T0 ;RHɑ6zu5T1m3UV t ?g҂W?^Ouuoў]ߍ#\NtJON9|ye p o.[HyM\qח3oOrF]exp߬q! »1_(;5[,Y&TSJ-\=!" 6ZY(thh~NO-|lؖN-^]{" X0}aNvo]ǤPqiK` eg:_!l{.N5;v Frj&D.!*Y s55o3}>sm s_0G%2~ȑ=՛C( e&9kΊ`3sOԀ~`,K|)%y[dFɋ*ciI=N'\h\IRZgd.+/CW~`4ԁl(s=.&cvzngǢ xS4Y9 Aw|ԎYU}bH&P Yc}*±iGB+:$6P@Zлy1%Y YdU6Og>o˅Ѩl)"oa( s ;:4 uI9Y|Udz '(1騝nZ3)Լ[ҴAVYs'LWް]IYV!َYEy͞"he{>g*yBk{؜5U4郇W^[HzBwOTsC]bYɝ \*h z˜ B՘6m}wGmд}D?=(He}?_ l`M+E l2X%v"T|oFŀ+~'{vtv k९.n,E 8 ZT+Ur9]sG! D^2b) AgP87E^7?D66|e7y;z::88 Ql4,zٴG _ĸ;`,`q r zBJrgmZ5>bpjVDv6ʁlDF Qr>Q>+06,%Нd'tpQq:q@@ՁrJӛ@0޷|u7$fk_uzVo[cgkmy+9їQep,N҇5,Z]A[͗^z釺F<#reai7̼JZ'FtޑihvaԚh<}B5;oχ)vx㘿ZIaaa#׷ZYMns"]}V#d"jۚf-1mӲ,/;P'3!P'~#hr򥱡vRxu=`זO 1G͎UiؕUgF\2iqXyV [JVN> Sxdj2Q&2j5Oޱ \GVs9Q)by/_ zd[r|h3`R1 x2 /վhXYp-hx,ok Zam:vr p|x ZY${[7Qp4i p.zJp_4xx_\Ձ@%k$ȡ D >1M :8HX<&02E0jۿ[ٯh FjY};`Qn%G#}![l~}Wlb wz7>r4*N3)qdk y"=^y= A[C694OhWZ) ԇrn(^Ď ZMDtO9*1sduUT UmQx}6ןJ);xaYL{Lzh9r&v&ݞһ~Jj j&q.<K3 -d7T:Jvx$(m1'+i/} Yqi?)O8kgTZAfr6\<}21񸉤ΣFXUxڵPt`n:T˰6*ҤgeI88r>F ".^Yz)X sC6 AIM X }$!) 64M6j;n$|BìA! iJ/#-ɆChܘ#'abxk)OUHk /"ϤZЗB K`F`QEcwl2&\K2je8 -=6GD@A.; D1ep!}PasI֚MhRHN=G| $ gUҞu30c|)X8^@]ق2 OIk>^5 '%]Lӈq~}Á hx"+ca#5kTLmOTެVcH' gPh[N/q{]!`z< Xw8cpkHIOFl9L"̃pP xAs0OuZ,ח,Z =?D[ P!K+.n3Nkol :OٌO!{apQj)Zط L]u C[V|`UoM.fW1~ºPXok,|FT (\ҍr#zk,xmH$rh%k.1,^[䒆㧤NwxXdSKA8<׎XaPg6 ZAiX( 6l"҂} 5xq҃AD5U0,(J ]ҖiNT2q.|@q|'Vs?Iը4N:B͟sC!^>K yJIӛEe0HƓ1vӕw|[;.jE渗d(`Iޕ|d\Xdه99?`y<Vw;qk &ɿ]=aY2ZHC.Ԣʯ@5{)Qͺ``eC8t%Wm>KO]*k:} }zbƠiRxtkӽHI,gs@Gk ,^t(4WtL|S\%;UU]dI nR?^YCٍ}4)%-,빨,@Nf&v s_)Y& ]mE+(?%3*öRQxѴߐ6 Mo\;~s+f ߺֱ.^ZV5Ŭh)ZK&nP .ၱSᓹI6M4j.Pm*SXlR -|RaKV6I|_`c?%T aYz)nqix68f>]ۆy,CTyلjU4! k ܯB@A9W{H~'GlTo9bh<4g4xLjۙ|A|sP:֐n6c: E-$}1U f brX/RQC/x}G)׵Q(;lvzJ3N "0$9kk/*A b-] W_:ϞRGԲ =A) >g ^edn|-x:4\B\нsy @NIr&wwª3Pߥ",o MT=.NI0g3uF{âE-|YSs+ڀ~U=;A0;>x3Y.WFJʞ屏ŠPݿJv__m1j5I{'|W#EV>[rӁtRHrTX51֪\k/p[k%J}-u&Fށa. O~q\Qx\\ K,%?ЀyP':oaEԴ%kFU ~)7cJI6su4};]:.<u04KߓuD7CcGn} -D, Vnv*dd/6y~l#NO0L( SIQ8FSuP,vOCK ܚ6}E{ {'d;K|x![ qX^*$'<tgVQIۘ.Wtf#=R7kĭN`M˚X}X!b_ZUPQV]߷\['=NTfmYAr(FSq-lC BPD.`kU-دty^U}GYI UzWvOCe%`kyo }<=tɾ1{#V!&w'BD]򇪖.CM@ԵimwRpct`c@Ϊ@zu,Oipgp#lh"ǧu!@Ƭpm6A^ˎeNmMtޑ?SzV[XZJ&G ;矊 /R3nK 5 ކj}Wy~ kkHO%ә%U7tO)y V$Z%,iM](1/8XSToJnX3i3OM od~Y$;Ȓe+VZ;[JIxҺB+!O"f &=6&ccSOʫX#TvmF/VmoD0|kOɖ445 4{Vۧ)~ } ޝgM ^$͘Yޙ::sE;~KdܿC sm'49޿/\h#RZsZX_Rx W4QF#K=@<0T3qx)k_VJ/KO>#2EBUh8QYXfBrvf>={zX(x:ނ2hUf|+$ʖʡནCB ׬Ca;yԏ#mr[ E<vJx+p1 v"+}XN{Ȑ,Kij gb61v,) A,o[~_k5悔z.\HhRZJvLq[VQ;qWҋ1GֆSZ#Á|Q1QS- $ACQͿ:B l_R4ŕϐVk%8=@` 0}^X Iq2ѽ*h vb?My* ̭(F9BSmF)Ɏ9ȷ  ,T{>=Ș=z9v NV:eF 5kbK:OH)em%녩\s!boK/V7v p ySyiWz~t1 q2NZ_)2Y'FM4V248#n}rp$s O*gy);AN(.OEρuj)ۥ1#jMTSq.. r(|9ZW|wH~7;9[N"h$qJ(sOOeQ#rmj'{6N]? .IѪy IZbPaw&ZE(4+y?$Z'F~Әg/ոZ|f@ndhPƕX@ 뛞Ac[<򩂩pSb%*TNoҮʧ'Bu%n'n}Pe=b"]8{},{nu1(Q>UY[V!M (mJ9t+ SP: pwJQ#R݊m&L**@OQ[3[ൣ=Co.T0ݩug5/B)HŨ'>N󩔸-~D3$5e?ON-5Eës_&\|i?VZmA)CPrƖuQt|0?3a[SGF6D/{F&[qc l=&4뢵d2 ȃ|r56>B.> ['gXon?ql@#t¹iJ@R !LPgl & z{z@2 Mmt3?x'@1'vgb[1 qꨋ@?ߗi bZVQ+OIAݨvVCZX52LRJ"PO!/O"oyNnX!ߘ;dK. N@B+H_7mV/)\RH79Cl!|մ *ͥAή!xm/M 5TVؓ-d8C[Mzm"3M`~"՗~e4ZB3Z) tډM'1 X}u7s@g5i `>R'u9'X#EWq&:SD^erkL I0J, a{ade)tݾlh~7$K;b[DV|N0YN.OEiG( op˫"ɥa64&r LGDt~G@.Oe\q "J͌+G5LdvzF,`Fjp5TtwJ\jCYŚrQFXp~ofSNn5ea߇o&gB${5m@]\1$+&L\;0EOmdŴ_nm ߢgYZ7zXZִF! 4<]ŗXiɟEY-*jNR%%uX/B0^G}xV$U W~ӨR ACܞ'Y:P ȻݾE<'_pR$Y)_7|sT:)@x2 =TH۫=hg[7SJA@A Aʘn!~]}sހ@'4DLJ`>s<~K8lg/ ck␂_qghS\642HJ 4$dR1;To;v ޾aRher&`%c!O6m9S>!jU i#n |!r7;<fa\%"l8꧙%M"$"K=2A gG_^֢1OW^#&Vs@bΎ:a@ti 5]a jqtJ_}Qw_2oxσcmP`kSnvcAY Y!ը;u.yЏʣ>S=a/^OQ"1 ?;/"RJ2ҠڽQh7o_rrj}m~>o87SIRv;6+!h몼)䬝 Ҧˎ@ |}y2>-< -$>Y]cPޮh4[~QgoULcnmT(ھ}]TN[^%Έ}NRHT` %`=1Н ” caS> f#;YYUR@k!m-8 0W?mWcb DPjr6ri!l< iu6sYLYD-"- 8E4MB@))sŇuƊPatAsb*<@8 UH{?(c+^9 O\? k~I 'UͭMtDx8JOҽY1oOmWQ>Cax.{zVxͫ|~eId4}E^"} >G&:9"=sR~936Ás6R8zH Yp6HqɳE lĐq=lJ@9V#3'dw]޹(ք_s܅CTC\gI,pDw{"Q(PX}49:H$qݔR #<@jKzB O`1]9tFAAfv')X]9<&} \lZYӌwPM~6祥2zb+vu%)Cc n捡$uT:Ac֛AyHe }~V|g2}UT~꯷>2{)( z"m@+o57*J`p$ V!f>EtZQ6Ig~yDʁPM~!c{\;GNU.Q|YRsKn=[ Q>6c׳%xx0T_@B_:rN;$>-8Ys NRDoyFc{[[b ~,qOG1ħ[OY= qE F֗_rxAz^5ԫOlcΛ[_EÓw(Z<>2tٝ]LeO`NmT1 =:~bǶ-Z{*BO*&^^Y:+y]lӧ6`'ZĵMDij$:|/)$Us;C;4|B1Y3ectI;t|(sۋ(ܢ䘍TT9; f?J( v ^8~5Un`9Xz /}ԆrIZi_k5yJMy: w^ Ql&7 -7'bGw'z@/EuKC+mS>uEi*r7Yvs~.ZYAx@&nt.O+J^P||%M'ն@}kԚ{/jV]zp6kG?iJJ~[=eTADd*Ye(6aNw-%B Dƹt7B==8ׯLѻ~hzܜ+og[#pʳ>1:u`BB7 :$ϟk$#qup7$uS6&"ȃFϕYQU{S)FhZX*&K]O 8(mg{F/[mxUo7ޓ=~~4L>qbG]`HP[laOuyr֯ˍ$?5\p&oUx+J] @EwǀIsL^kߞYp2t ;AoiG%7Aw M9i+B 4{-pE8Nb:Z6YNC(Cg& eoZ 01%ַY68}}/@Cbڲ2 s`~ F{ R-9Qa|B6ᬖMSG^oO\4`0VN/tnٽoA(DAz,+vFY(WD =Sܚ:j{])bȘŞoATuZݷ{BG0.zd;hQi2gg`A-QT@M3(;u]b][,1r۟ + p/4ϩG E(^,Nxg`٦;-A"}WT* ΀#0/5brޚ 0([+h2 D͍ǐOil/>1]XvO\< a+=i'Uk,d0ma)F^,) <i:4HSɬ-+9OYDt6qߩ[QG 5C>`IMqf]7 ov9{6k|ّ}o'xr!g1 Wݠ8R)ͨl$Ȗ2'!0""oYOm;ԬOdV@ l^j1u Y Ҁb'EDLepMèqyx~h2C/W;7Az98 o &Ҧ;&cOTŎ`QjR+ |O,Zi!رpMrje YC0^# 6׵* BxsAh9%=MBw#q-8'[Q_>Pՠ~+,/jh <ܷǓ6Ї% PT?vRST6'DTx<x K(7N)ϗsI1rx,Hi܀ M\V#٦[砭1݀A$CdNbwvTX32sSY+"lC5 JgFO:UBd9:7C}Gѫ&U\Ϛa\Y0+K+('CpsuݓqqSB[[ ÍguTtG-c_.mh\Kh;TI%,|q1ħB]}RUC>:s~V"g\`A{@dѢgZE ͠Ws"! SYS{xb 7{c;\֤Lx mf01;jyݰCRZFs>j8&01:p]pؼ2oAd@~ m?< .R "%$mcA2|#~慦P6.!&x W Yu*`oʒp. ĈwBÜӉ[ e.ke" %( f>n`Qa]j };#q$u=b$e& ۏ}YR}7߯j%tD]+:,wk>5T(4r/0MU `䵢9 KS 顄(Y_H@#ryL!!LuUSEb`c-L__0ivp[X!olZegȜMpM=V 7˦Qwg^]BĔ_EϘJCHo-?3dFؒZ)v 07a76CMv: qV+\Η5 6e@#b5x.l4yZ"?htާs0Vjx1~J:eJS|*o1@y,oݗZ=R,j1 4FY*FHeY{ṯ[ E q}L сŜŢ*2۵y֚ ]% =I6s[j\Ys. "2*z\yزgxL,%?&qM!u!H5.W+XaY&beDs,̸þdb^|Q 7;ZQPDl[e^$GFW16QH]2U DKc]!Q&sc#œ":路\!g&K`tqN!NV 9:2T>"w~+=܎E>H/v׺ǞnX~e`D [D/O],LTPKAtsWOY(䩝h0²oB=9`{ws \MO#wdK$x.ڥI&.Idm%cJð`\Odp:]9xQ8ӗO|MfIPO`z^rctXLS6IEAaWT!jw0Q@SJ]I\++wc[ٰ[eV0oH =M̍4jSo PPV~8wHZ]E߆4/G"Li>~B$s;mP{#.((_*g6yk?'8}goIJ }K|>xIZ!apɊ$E}"|D`_6r/yz?њCTÜA+NqPi6U'-|EҬEj~f6͎aI vA-3{=GN : $3[*aݭ30݂N=yvo2eO{ qIJ.sν%}g\sZ3\*pFgS#M0iF;ӳiES^mA;t~j-ǃMP_<q6Nw7E5Z~M@4CP֞`nt^䆸z9ߞf%|fB9{؋lYZ9KӅMͰ̦\sNz8W{C{n/+[Es"#ō;YF]<6w3r?ֻtIgߥ$VI<@'=gu& GL>Cc㲴*佬&o][4tOVY1r6e lognݭU&!zRlGũYʲXX|}_[ ؇H~z2B|#@`=d/[GfV51zcT4JuwDz_3J+0t4 [奩 K1*z|:mb=gק#!E=\2 .dX)œ=kn~m ҂)Ml2J.MH2Y,|HHlD."M:Lٟ\r\g+{4^G$ >=f :Is12м8ʾiא^}~d f\3gxշ yq$Wk(ܐDMH.#Jpiɛc. 2$1&N6s륷  :4HN/{(Z$W왁INZ,hؤ7`&XAC@6('>w;Fm*W6ex8A`&qi:}t5:5F~mnn؜c*v|:G/p-U5 RƒV$i\-IDhf ّmqr37IR$u]"~s4|G[0pO-_%ϴOܿHyTNG|ZIAw ?)i-l[ z/)xt~BJBXfAS*Z[ajPd ;y~L݊1wW/Yy#P}+z%Q~,RfxZ)CD":꿇9@2:46s!e@ `|-?z>@-5(jB7پYo)MT9~ 4_րcO8ÕcCGiTVs1c ޘƳz8#eWT~PR/ @M vDZ7vޛEOufc1*3],\=cc@lX:D)װ '2W>^j-$>b(Tv/J)듰<%I1sJGQ-*i43ȳʹ7HIJ?B(=`˂[p(܊Idd UNP2s  6N,!S@ Šҧ]hn $b얕HL6[)r{g#5Fcr溿L$ϗ )G̺5>ߐJwWq!DZ8GR4LDu lCK$7_};GoIţyNܺWB@ @.!8W9 i됍2:b#ۂz8wx*5My\#@WMcu4$Eڍ~".?dq枞QQ•oͨBۤ1ixLZ?/'@K,SKh慠:8ˆd]cE ѦA7T& wa4}ց@~s"w$Hމ㶳t845$JN $#Mb:ˬr}ϫ!;c*t–Cclķms r;X_Y퐟lW5WS]04Uϵ.q?tef$j)ZV@&)ۥWcycgx,FV#ZwXWxs8IS\G9jˇ_ y-M -棁S ' Ԭ)e37]yee+O qC>H:[F]]OIf MtV"k&(:γ>fMӾvmH qQt̢~)^QE_)pTQyWǝwcIR@ș K@[v>R k¬"Ԑ_\z)#Z>qgYi<ޗDovߋ^i[y0 XG81r!Eg`ݕx`mx̗;e4]:S?]%.;pK}!?¨M/G0Y9&2ū q'3q]ޒزZ6F@f;Uӧdtiyk)p瘄Öztw|}Y nP;=w(sE;g(y,c~`E}*dbx5-l9@>?*w>y%SV|g=-/RviW,Ѽ_~:" gL3;Fyt6p] lc$@,٧w뒻=-4d q@f|#IQ`KQxiu]%QYt E(XWf}&%YyMAQ[fS5 V"l/Jzs^`0A褦*ɯ[S;l?Ou ĄS`2ӄ]p ݭ-_v RDv0#o}ݑ+aYߣXabКg(+sEG*`l M6%l,2T:$gmKf`KΑn t)I{won'ro{~ $~6zHt3EI`_%܂y^&]= ;6-UC|Ho 79Hl|\7xV?Yk(cK8CMtj<z3_:;^[H-F[z͈tng(!\?@ 3mWČ+(@ ;K$+kp' M.ck{ODU: aOz[K f ƔȀ/fa29yPRL7, Ba^2?n/y474'ϭџ_b"A4$5/58Y>Sqkȵx\DO Qv)@̛=cPPX)`"XWε@HCkiSgr޿iI^[, Bnylӻ܉Sk /.V _iQdf+!Ɩd<,2ZzcsH  9*[9F*zwH4W`A>c/ިP*ķmA VlX4;҄Ǣ mr)p-)ݝDbַL}**[A'pd.(#3]PIi;`/%x*q1#E:7nlf۽e3G.Nr)=w2lϬ}USW1oP܅ynE@lχHB]ShLf&"԰g1XN~ʖ/'#WAF3Fb2_phU/&&L&66ph_{yɊj}+@tP c^QB'e5m>~#"mw}MtY͊r*.W-G*I04}-  oyPH%idv;<] 4y 'mKv?eH?ZJŘS7]5|W81I^;`ފ3*%((Iݶȓw ɭuDsmRJVxhqZZq.T5fڥ `Y1dX):1ql8F`:@ 2x;w-g=L1%%子Gb X4o>L d{{@ |cR?ӊe}~p Oߙ1"?j왺sZ!y ]kSnߏ|6rp%]6ك~L{lp =\ֈQxpQJVFyB܅Oa6g6\Xhϐڍ,M"kۘ &&+Ps#M}=![p^j9hBoN :c z7Κ68_dMRjjl5)!O'iJ|v ݆\e,@'NPAHVrQ̓ykfGҩzO1Tٹ~sf~'8%>`@O9VY`I#?/B::|`*Sw&]U@ ^L8P>9bF1Ir~}E3g[! j~SEdLvC[E"xjܖY%v6% Zñ-B)9Nr?8Q&qcoU2f R V=4-:- Be%-(!v؋0oo{yȪbze0Owm=ry\K``5:wHzeS =C?U=h߁ fģOZgfTu̒;tPV~]{gಡb{7ǽ 3đwO(iYH1&I ?θC uʂRߤG<Ҕ溰HMq_$3p7<9A%[.T2Ҍc0KQ9<#p{=a4'boQ՝B&;QM^@,S29zm{΅=8K/2s)LLWI|35:2i\ iS 1\Sƌ}mՂ8XSWsΙ;,B]k, SRU#\Ke|A_ }b(oz-UL7Z{7Ϗ Я[tۍlooz(;';j-RK·-]b đ(7L-4Õ `9qE)t6@'m6"h{=N,- w3+cп]4Y{<7z p.۶ݺs0rn]8ZF}wϐZu N.QV. J]_EthTrns b16U0=VaV&v]=4筿 {*ݱ]N@aaK ѠIF7& fU̬(NC<[[,L7Ş(|d|)؞Ox.at6[G0q6cf F_os F}uP9ulfAܔu'jd!pՏ5VإM6A'/ֹhI'c8F ~ӣoVYGfcR==yG"+Π$9~&w>&09XweՊosHDTD d硕i9ei*cǡbE\854t/}L%2}㙣 T45J[qf>3߾ųQ_9Gy̓=y&:kaf/N Iv玳NhGչ|cwT͊D$'NL78 \wbj/3;Ar u H6Q. 6_}ˆ,jXeea64.7e, fx42}RlixdNj<5/AQ EԤh݌{(J?{;: Ic YX6DM2r_mXXdQY6 s-#,SŢx,q&Q mV.(*F1pO h5m_Lܜi A1">&Rm\)aZ(Rj: &Zg B:^pd.}EcحQg#A v) 7]C eS) j%c}#~.~% [ehº\(S3RTN,]H?(~̎G2$9Lg35TВ/b먇=:B,A5+&f›uҋSl*z}Ě  lEA2sp%.^j^&m}ͬ*γ8i Dݱၜn,:.O%;0*w`)F?]W{B1}Mx)*X.>& hj>{qh)g2 K9B@T|HQx{@?m #{#|4Z>xQ ϓd;zl' |kIO)Z3G|~qhG=nC58l?K_XNYoy:4cC0bR$P,geW#]hҨGJ"'&'ɗ gRj b?Ҩ㽟~8a&mӡwy@H GYQWju%)EZߵxkw{B{.@EBԅ!DGGޖKl1=LُeQ/-#ߨ %'r"=X>ȩcX)G #"%a U30̃GlvZ䬀172!&LX^6 *|!ǂ0b鷊׭#ٚmݾ#NEcŌҞ|ۙ<(:miE\7I8 |}϶e w"Zϼp;d+l:!l/>n?04+fZ=Q->*qdohcX2ҢL!DFPBnecN&4R/2FFO̚o)Ԧ3Dﭿ EZn&q} و\a,V&oBR@, |@$}"p^-w,:MTmSsM=:*jAS=Z0TBh$'.#Kc_թJy%:eeNk7؛ 8AD\<+˞̀UvGI 2P!nԚ%p>RҔIfv*{!11,>{\e8(lٚVVWrBlm)HD!%{ vN5# )04be^F(4+J YP{#-bFX][$, [:ym$VRB1O9ʖ̻]G(_i4?f(5mk~SJIj={2ǚ^K*K<"FMpjFC}hIJSpP5 Ad bCbxZ\Fl: Ӄj<'GD 5+:Qf^%ҮOs^1x7ٮ MrIVa)G:*-.,8t: +V߆7Ϩa N*ؗyҥ=Gw|[BNHZw,5woyhfV{7T U"XASe߲BW-BˁKLnDy&S1Ut@%f %kZ#g6\wk'=S=`/R7dP-&c. 2@PEjސ_l?~\p0$}q87@e *’T_P{y`P Se{=+ƐwMXuiSS*gk&x6ʥ^$%BjF#IޕFj/3 - ".|x,$|ZCj`]A'm@A^ZA +TΖۉ.~p7uϒ\gT+a O}֗Ԙ}19>ڶئcڡ}m&ό(rEeQXl55q-'iȣ4o ^0]VBLYPWd,q7p1mʸT WmU0 ng4r Al nKî HD\֏rVY 4R%߯Gb·ۗz`X2xAtp`5-yFHF_I&|%X[y-Њ<=ZܬHh5晣OΩXY #HnU ׷lod{a9eLJ/t~RzAdL1қCBW K,OQ!t{J)N+S>Ǎ!ՠp]p}偬7ОYGCHM6CT'af-΅(L=(: v@̞x]]9$Z4JQ$&*5֔YȤY"g y Z?6? ![[[[Αsp5P[30j#(~ZH#8^) L ig|!N jGP˷&;H0 qF`#b I]Dfiԧ+h%uDLٿp?.3kBr@@P`|?m3nDžZ؛\XN̦KOU@t1LS}O/97;4zt͚**8E"tH)XWI3 "R6|%Q )Oz Qp oFI a&s䙴W9\=%/Jzo6ۜI蚪̠tYHHA!6| ?d܊ѯ23knl1[<)Co<{-^@ (P-xAb cb"sbfRf [BONӟZohJ,GǼȥ|PB|m\1[D/}vio> O;2Gd]^PU8N8pN`;ۆ4WzżQcȤ*ZAkZؔb(LMHig&gxk2 pY{\hv_k Cxyep'VP?]q'f+0(?ڭ2&cW\A / @Jdnȇi@CYtNɾ8P-(<)MZf}ڴg{W&є1qtl3(+B^mR.\U0Q-@gr@(4+k骟Xm a?L]erQ{HIorIpq_sw(ߖ ]1gɼsK1W]=E?V%^w| ؛^%b %HxCJە?`Xxo:j.{^oI-] A/E~lV) +LWFĒ  "_ ~_6KkdZJzo,z]!8^T%þ`%zD%kW8_{\p Zw]uj%u걥>"Z;Q$.\=2vZi$2tMF8V,E}EBEBGLv2v'ͬ(SSГa)eY/tz.HؓzY{ʐ%$C-tD;&GtbHIIf/pS?241DIzDeoH<;N%zEUh P+B1pbZpxxso]j#Dݬi_*ƾ[ȿvx;ii)aE=f`)0g0lF6!b:oNjB;}t LCܚI0{)խ[V(HEixېŪOkţqz%ϗN08x 0JCeL;*LivZ.$m}' IvĹ~u Yo꠮@;TT2ufU+V@$Gk%͓1m\qh煨+wJ4@Hd@>gf;|(tax5%7n|NyŬ aa@TQMt/5L]c{-oVϗBT_:}Tow|:hGJ\LD{u8W3%Xm]p'Ngs8^Y6-ؚ PvՔާ/sq=tӔryf%0LRZl =g_P/ΘYmձ< ܄^. /om绗8;+H" ͲQL*9;ҒK łt8X~M  (ߌM(= C\Ƃ$(gv(* 窪3q.|v!n/in{:_,i,[/:AJ>=6)]Ku$F (W)yHe2Đ}^C\pxbu4~7Fle0炙cldƟ9]@Ԛn9P|-B'5ٚȪ!8e;莨tsEٿf4{`x܎Y1߁dŬce@}L59*ş,D:I~F`{rbf! 5 #&AcM<=q&?ORΉ"Ѓ.P\ Jݺ%PۨQMZ]FUץ?&.ZsZw8vE&x)-U{9,O 2V4Z`u3~BS>>L ^:fmvLQW C'mR-DTPTFWBzy,nc '͢ p{u D/C$Pof[}iF\0PPKG2,PФ5}QUɄOo=DɴHmxK])Nt}&X@X4L\Ċ\\`Iƴ>U^C䘮G=H8 \|Y~*a7xI9\6Ӳ'$̼W0T&^RZ #ř%_?^v|

j_NU<םB]:S;~Uz 䊽|iklOjC$>B&<-0yu Żfu&#d)(jdg4rj& 5`0s0[-֬^y 6{-Cij-*?GRY%뼚`ȚU>& FVEuܧw.^:'xک2WkL"[%QK[3zh[N9j9:^=C!\2]Wդ04> hܿ'͏pi{AmR'Npq.q-_oVGŃ nkB  %t™%E}(i.%UWe?%Յ$6dXfE3!^Cq!8##= ukV13f;Z y:xO8/q<ֹJ`9&KXj"aNj#YM9 rt!J^WhoI,y{>Q~IËjz{[WI< @9S%Sut33·\ R۱|!-z0"Q7CVF n)wA}S! c_Kar|:&zGԄ "~:x+Hl-5&РRϳ@N[횗_V`7] 1 geg3@ 淦5#?b'xNNuF.9 mhd %g(.qWtS_+?Ŝx}6u0sv,9WdN/*fM_5ߏNрOXku-\t̺ [3/5/g3g<k2|=7=" )51-Sg3] IM߳Bb15<7g.Qh+1b)gk<\UEUs$0S:`93UZ>ont3nQJB\|`,ˤ㏗b!/"չI&8$٫]d]u>>3%41anhoTҘBd{`? k<و#pUf7A:?=r9ͷ:yƒ{FL~ m+47c 5Y^̩vچ3}Drݞ"ְY&N*{&I@uMj1O8/[uW_! ̍y`P른 Š )uZEW䀚ݧ&cڊSCO/_7|=^nABwI hg"yCL9H$ÕXWxaޑ^)y-qNV%.{y#2`n4\O"9D CeRڹq#љѫԢ)# -^I/gM1;/̇/n<%Kv@6ӡl5;8CQ0(c=X(97>b#ͭ*%)ُ^]!|=a:'0&1 {9\w&pFuK@_A;)bN0 uТL"Ρ-P򳕑 Rdu1*eUzMV.>"FO撙V$hBwmVȕQ}@f> jD@GP9G;E!t{x!ykK3;`#ҔWy or.OZr'4C#2mM^ ʳ&wκxy` M>*ܡ 0v{ ?:3h^FI9Ҁ!״g&ծ& P -/zN(P`Ofs$`PTRi~_&yQ $k|D6eA#2 T' dqEg)Gm|_yQ ߘi `kƬڮmz[#a!b ⼴2ܧRa]?HUcG'@o xZ%|Z04|9⢧Mà9&+ޟJ.;" @_p@a/MK@*b٤.H_R1 ;[""-.ICO?2F>'@ڞ8)^Ia'0_n=ٹ{bP*S-Ck󠄖'O8 h>bemwbF#ypԺ7i: }:L暢u*'2'ж㲀U܄ٍX^ Q)REC4 cx $(tw}եvAO_brX6P+! K||ƯQ!bW aZ3oO ou()H4K12dѧr QjUEs -q\QB `19uҚ#Y6 xw8S,-ߓXvH2> ǿ`"NˬrgV2 HTB0h&7;4di|tlBH֖jv) L亀mߢqvQcOѫadr]2Jjd1UQݨoˏ+}>8Rrcp5R fL'?MW(QQ\#74IubsbY[GtK1)LuIӛ"k s 1I1I|!Y,|/3ͬX6E.u=t(bDsjuDBJ߃Dol< 48Z٭&=ْ""/Ʌ rT뎭p&SGMZRI-rըT$w4e4zT(LBJi3Rj+!Jr Rw?Rhg@9{ܠmR+ьn$žԶT7[iw^Z`Ȏ`=dlqXq R_4RSJ8|2jJ o M < %%eBݛg6aglVgW"x@{Pd=AO!Ę/rBm׼YBp [Hk:`?1Jah{>1X򫒬i:HNAR*ax?dކލSpΪ?eQ꾨 "YoQ=Pi>ɯx#vm:=&L4qczB8:1*AKGA%nzJ4}#'3k* q㫿< Rk5F~C k3Xwⷈyy`>cu/ѼkU)}H㫒'l6AF]1my t',k.YHd ~Z2qƔvr)#I΄ Rpn-Pj>zgjǝPnL kKJԤpLQˣgd%Mit?٦ ڏSurz:SY6[_ 4؊`*`]9]\8yiT$}>a5i'r/dZk=ĒۇzJ&ip#c+wp9 # d-5vkm*\-AL'zҕst"ZoiNھ6^·rk,}+U/V}97K@}|Giel)jK?%F$uIg/V&q{$ha vҋKó_CkfK)u)CNJ8狴 wQsϿrDL( {l`?Mf@!~7/gYZ4a366f2ca37b4265384a78c77b33184d9cd99cb49cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c f83d9d1b992c26af0df3bcb095b2e78e488da3d4 1f0c584c23ca9d606bf3ad7bbdda9df9ed423d26 8d1402ff98d263a7bf0bba373c89e32989916037 e2aed4d212587cd5b44cb1e225d1cfa4df573e1f 70bbfc926743161b4944403f4f51855f9de89b63 9354dbe8a518013cab40c6ae5ab08ccc6d4561af 6a6cbb7c93cf47119f6feb98471c60a8a8b79faf 8fe0b38e6639b84da1df67089df94d416e07a14099b78521dcecff875b2ac7885740a6acdb8b60c1