SQLite format 3@ .0:  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 ,,$!$DT ]]]HOL-Proofs:threads=6elapsed=557.328cpu=1338.604gc=131.444factor=2.407zXZִF! v]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3!`+'\\ɃaLF08 flW{ tv*F}"4tihBg4}Y-AYb16Ȟ<Ŧȉ(r!B [Ľ DN["(IIM5I!iHqlS42JO*6$ ^ʇ\r!Zd_ea*S$J0":<;.WZlŃPrXC^DUo;~ W:a(4OQyŧx4+9ս-um8dC7gJoV*3 Me=n`'(#֜x`c qmzA5$wvOO+=7V w{\VRhd~{:iy:~W Ù7dT+ 6*ύ;1:1׈ I(ծcͅ@ՀIrj몹6mCt j]ZAB/*q[͌3NӐÂd8\MzV2Z=?͐a)ρZ+yYe6ճq5PYv[&ܒ?`b({>츢b^$Hκx&gXc@t Y͆;Cm+lR9H!@ Em<@4cK'%l{x;KM5^=A/܅DXwݩ y8^m39Z71 _|Ո7Ӓ{`n.gӌyZ 1zY ӣ)a( [ &ꆯU] JڌRUO񶕛| R!Ab@Y!!1ucB6ށr F#y4 opc(d3<x \T@iE%'f-cj7fO=Du\v'WKwg)F2`;I!t}P@RuU3X`!/ KE+tᆄ')B$q˄T,"WDjPLM2LD+7={z<$iC1[1m\TvRG7ĬIrvl}y*8E]`?Pl}ߞQO|ҭ6:9_ch l!7{p‰MkP۹/8eW\P9qMTp\I 5xBYZӤ|Gyԛf!T!l8 9ڜlxI~v؏4 <^UI8-!OXD^[!Ȟpm,B6.(##سMm̉Wr'j[x/+%/Fd;%3S0uvW/MR\1=0E&@qbޝV6=8|ƽ{rYDaV2L1N>2i_lteJZ,a1"g6Tk)?-=[ \ӌ/syת+6G{ 5$A2fxjCr}762j:!Cn''W*D^y}6_Nv;mK)00==b  #rnYK_g-(#6 891,*Bw| {sk0c=8KrSՉNd۔mn!IpV}54#2˦6#[C^ '=GªzokL2Lt֑%]܋mG3jŝRIUwdEipN}:nPXgiJg0  ! HOL-Proofs  lTTsbދꏴf.0p4S[Q.r/wyl)bJ;j-ζ~9$EQml:ǁ-z𾆲 P[51DƐH6@}WuE+ڇZ,V`_ON ɿis 81ޯs5#9Mknjto$@G°*[6թ^-FH=5%:D1DH&؄,Q`!gDA7gBh*? Ǘ?A@a]\ZUPSt?ߏ'X35AJx>~r8R;J,{jflRo8̿%KosɸP P>%]T-LV:9n?mUg1 __e:lj.jW%_Ok{ezFij/ &R"FLT=#ph\|ʗevD]ZE$+BfbmSF:+$_m֚i$`pNS$ b_gl)]Rj@ȸ'ow$j'Tz׫#tc1.}JXc *(%t'nqZc/ l:ބ4P ]1 #+3jN8#QqVӔS]*wh;qvw# #u%Z ka5k{A S׮͘qUB`1Zpvlv% Ie# :08=5:xre6ܿ)چz)ua!Ph,ݙ|f.c)~:\^E# V0(4p3"샐s ˭JՋr3T`%0[jn4vbUsmé.QܧsϫM0Woȱ' gaFEp9!YADӐhΏ;^ . aLv`|3~׭J#.r 9&wUhzH^ 4wȝݐnudZRb3[ᕝU~:#:=dw$u ؿ:'߇}7Ush?MU2ZP$_O v3)>͔|M / ig??^QzQ&t3M'=OJW:Us[-^^Hq!##.|$m+5lOQ'aiX#KRV̛ǫH tSҘ0UݚT}^@@Hh8K}x4x4 dbÂZ<8{*. |FƁ,ky IY l(y{vw& QQt§ҷ,OG*K ˆ?>=V23c%~U ] ~ިI*>qzb;WIylc4"7xP7ի [ xQ-d 5>~̜Dc)@{ؠ$g.4\:WHҔl?yL:غsI "c"5TXfZp̏S=LRe/Di~oa8{jXd=܉*EN04dn.ֈhEM!!*X9.sr2`h6/d?>P@Z`tΓ҄8a=h$):8mHdI1C4OW _ݡx&g@ec!C;v')&1xfų'P y\d4.6!4U#O.^whxgxEIfX8nKT_½f/csBv55GTMoa30\ W9Ab$n4p# oޏ(d=L%#X -,qs2gj.hXPe4}\[i :]G*褶̅OLHNf A6[HE#ҏqgP9@eY?9)~~_.śu)SWBhf;y%7T$oA-t*+"Q~]FEN=}x5B\O1I$t>K ͟sf*xDfX`"^dSI!YC\Hd5 7_ #z~nϨ9|UV@Ia^]LJ?M`\ uIr$7$Z22 b%KAV~;Sqm夞}1\)O:Dx? aB^Z&%Kiq,S2vn‰ wj.]}}0n1 lASL׍ΘXg:/RO!_RPчqIuVΜ< ١Mڛ2% ( J @) dMN] |KA@.,r~8v+9EMchWy [^v$oVW@#ZijoFe<1\eq|9jjÈ|gE8[Hx2Wf2 50'E$bWekyzͮhx ix@tõN|`ߦaD7/m/Oge놽M󍈟\;|3YT]|+(.)CVWBڡUdd*bK S0*ox/K"֟neRxsum2|UTg&m 93݆[尺0\'EN$ڷup57Wu "tK̭hL!3U&ցӮ`|N6d[3/X>[A)kJrKۍu@ޑi\p v_`n+= ls B>۹ 2 %gYZ7zXZִF! ]ŗXi%B0@|i'"#z9$a`U9@#΍nhCƗZupiuq!҈%}.\0*:۲?.NsY]P {g'4i8lVFt*vxIu'a֨cxDlV/VG lٵ#pT be'NcD}6Y*^8J̲bXu AT䇭h$7Jl)X+{Q!r+eƹT#!MDWG=|*O -d>|Bx]Kwz6˶&pM vP9Wfܔ&D7"՝d4۹/Xq;2&  O'KTT&6|Xn{RJ9b\_b}2?_!>&8\ T- yjz޻+\"Q~#r&bmlGL,hDyhEm m\45Vi[ލh^nAf_9lIDVޏ(ęv'yPnfrWF e~fnxF~.ɔrJxM]o`/ْpȌ/Q* (B7sz)38ɋ' ňe%w'FeLD_:7\ bFiW#J&c(_ sQnP0Q*̖_י)(#;h.'%~5ƶ+ϭOٌ9'peX T {;V?MqYh ՉɞW5!~tWE0z}fdhoUɱ"+׳+_'E$Bdop ArXLqd1C ]] d>tp$L8#$~ƺy]>! ;x{)m?oOMĢ>#CVE<؁:W75jv]7{n\oreyZg:aƊ`\JBIߺlvI #/X7;mR 蓰.*B Q%c1RkZ 'w @޸eP| s-Crէa?u #c` b XhaDPXИbU7'FȨk1i fq2ͣa-{jPm8.yC?]g:\RP"NA PId!}0ؑ2 _ 2_^'$6s!cD(H{jLC7>TԧھeOUR6kc%'KE>)i#UL*_ynM2aۘ۾^2oT@:'lAeJvƋ-y̰1ʹQJϚÎ"lĄ)\:ϚwmnPf"ewTx}2f3צ pO.m ;٫̆愀Ax 91 k@ ;\[qi9|ެl9qdBs @wJ6a?Mo]C qdP)Z׺&׆{/(ٺ-7LPɪ_e|є3_2?;[:2!ҍ}G pA Pr-ʏ$)[x` Ƴ'm!sFJ)|EN|q`9;D.%JCTia%"}*A] tKN .+r G2cjUE~`3 #\ln1&X^o` MːE'_>n6'l_WE(4(ۺ<3WHOF+*N̟<|N)y/܍,$!RJHyb0Q?dطnh{״: _jk aT 73]xbR@ yo6xNI HBݩyk(5\se҈VD;y(4E>Ѱk&`Q"~p(p-6 I8$`%R/cF|X]؜"AÏO%<heAp%l`G3z|*YX3,+Joy59yxwʒ0,*D;6 դIkФ6N;9MT O d4 ~)ȇ4f!7>M hl?h3wd* ٭"-)2*`tD[IL8 M{iŧlaEܟZ?I(ӵq4 rj4ڒ}&>y\ǑcCWϛ/DLMV9 W ?Vփwp}kV`܊@t5J@M#BN8ў@Sb/D|{ў. 7"=% B̪4zr%p$Y֦fxn.E XMW-H/n ,ߣig\72/j*\~N-YoXB61xytS/&}n>[FzDP/ q9$R۾·˶o0_~DyiC'Ty(@y7pd'a8H(o.pQfATڂ[:6Ǚ BhJ8 Tߡ}4ꨶMEA8V Pfզshr~e-&A08{7߷WSٹ/c͎2}|ebJp(16!Ae]|h|L*Ҙ%gK@x1I)Dɫjv*,s1 -I%+Wlc5V@HI%XDmacUU((HoC7Yf̑پ^R> *0!ԅ%7<-ઈ\  NxٍDXl.׋b. T \YGksP&ҫi eE6 0@+Pp5;G`ZʽMZ]Sq5rF=@RJgQژMLK<(m U5sbSxQTVZG{XCvCqvd*9.10|(fQ#A:1.W/qTbhnxe$0za8ʀ= %J 9 wrYj/sdimv4.}RퟧH`n0ݧS.ɾDLY5[l98dgV"˖Dn8R]0L8`L״ag;(//]$2pܴEv vK~/d~+#7s:/sGSs!la@yإd(}9LqYMS;u 3U| 㢝43ƕ]Hđ=w f8*Ufxgb>| f9m'7eiWR&կ;9 ti-`BȓUV+pS!nK-ܵ,?Bxm3ianU7|s +/f8D@L VTn/oGW #Z$ `.uT*!aϬx̗cyq|jv7y<L9yhW& pe2B0au~Ve&Qm-r%GԈ|)c=%ŵd=(›p{__򙿭-HK^ͱp<pŠR'8q v-r=# @zy!%O&VScsI}? {M}upPg,X&a{H5 ԵĶϳ[-_5/y<A;T>UShCLG ^#$_j})Kwv  sVeC!? ܹ81nPLVpyiYyBa->it݄k}UU%vgYa}q0D%!K8l9"%]Py'HvptFiQfʢC$Ew.a[š%F! @7J,`RT#`wjݒD߲~9*.yRuY|p`"2ʭaO^Ҷ AC0aqǗWq J=~gg-qWn@K{%J&և#xP ʁ^:0K>R@@P}Dh!t؋[|ȶŀTTGB͚!7K ͍R[$}T弯$, qĖcϏ/hLяzOזʌf\V#7YLOZFp( O㮯Ar{:NZgAlR,v+\bJ崐̢G"-7P;=5%E8foI#o&7Ma3 }5M󜘟:tC;#n[T _';~[y鉿q/.OBlt^+kݷLD479^-Ț?>6ȁX9DxJWR\'l+Xm͍ɏ)62bL+bψЌ!qBDラzwBN1~e8}r_X vz5f.\d7{ >JE+;T ~Y9^6d;'s`H{N42/ ;]0$ !BUpު֭)fn{Mej\3Rm]jZI*G{xS_KF#ǧlf%so@s"=xǝgb;! 2"md7kVJP%*ٷ|Ĕ&dYR*pKq(\)m8"4*'{V.irA02oXh2$%ӷ7R#:Åa`xYLis_MrPc sGs;>J'omB1Ҏ/yX3sX 5`gr%3]ߜoLk נwo"¸ mkcgw! HDXCǯҺ|M?.O'WH/Xhmyr`d/·b%f- nʀoD+K33s!`1^f~*Mȶzyd2!/$5&ˌo9e)@ES`(UnyR8hf+]NmmE%0GHm5m}\C,CLF2 TT] ]2AQ*eG;-Hh@ :mFv]8=֥{Z3{b%m3+:h$#РB^@ᔩn./Wo;tB-FJb6g<ݨd3a< 5Fx,6Mp؄>{(9{@˺}ر>ye˳k#9 WЀ5ʹm '}2ɡTײu2۶S xɨ;mvxu81&hHk}xZmi-x#/1v9=!9RoV%\t5[nS#^L( E=⽾!.j+oM"P6'vg4Bwkn^•燸B ;NRm(UQ(ӖL&|Lo̜ۿ`\)Xe/hD]o\tzcRf4t24(J^3gXgNǛ>\,<̞>/ԉJ$'\eY4AjҸ@Xt]FV^IЫ[9|.5_Hm@E kfgi-+4q#G fr!!F/2WƁ/j`VDH]įPbM d&x IHݥWw '1+wyd u1"Hčr?H-РmICuM}ב21c<# qLl/>p#O6[Kh0ۤMysxo<` rԩ?N o,rK;iO˾,m͌0_5T]̈%m-( ))P>=`_!VL1Qrm%5f +QBZzb's- RormL(FW3ɘw6-?,s_~QAchagc]>Bͅ.oߚSa+*UWmHF3er; J~8&"c".V:jY<FP؛8U_2~UIR/0\Th^lZi1WOF$#8V,!-/1R*'[Zl< u.bV1og򨢲޷5\Rx~?mXNUO%\ lalN֌bLeWj.Ȭئ34oA?ݥM f UwBO~8.:UX>Exe{zRl$qlh7>/wbyr6ێ7OB['+-CՐQI23<j6ߚb$1&YSDW{mY-.Ka`u]TԻ+\'m$5sh;]5SNg FYW0#omDn=XuxrE65%*f`iA.]ɤ_;"t0 pt B (l$hS"u2p~ #3-VtY{|>j3;^-OboB>-OQIHc֯d]Hhf%ˏhoes vw? _B YUzObv˥e $J>T :" C6} yX{RôaO~/c^n!V0Y[֞E6!6O8-r!F \^7rcy&<ѧ1z[L$f{K] 3-iR zFM Ya5Β Yhh8qZ"bN[,X:z18l߄Xp׎t=@AQݏ8ܿ?p t 6Yk:3 BH%")/a8O:Ld1</Nv%Q!6t_|)xAT,Ej.=>]  ?;쏈$d/Oȡ,lSS҆~p!_~KP c}ua* lޒCAqaTYkH:K 4y%;sh/ j9$y&5K(2V- j"G4"jQdjV]R#a]ΠvN2b@BGT~)PrY(-DblO}E>CP:A?٭Cmvڕ PBnq_wkj(-*}cO-`1LoL`SCK*e WژIyrXشU͂& Zhh3@[+p?nYDO[Q",\ nATgN#zo).:Uoz㈔-J/<ЉGKĊ恥biCdbX..<;kƾ~bvn>ʼn[C@BRoO`~%rٴŠȮ"t4b0E{uD#?ښ!uǪ;, 1(Ծ`W5 ȼ94& DBm1 #y\wqc5ޕbKd=Gۚ.R+叝snkjxUHT.8FƄ[N<رg S5!u$ [XZXVv Uݘ(wgDvWNIo OXwӭXvM=+qؑ^ΛIl#0ioC hz -.vݳX{zJ;q|IDs2 ` lP] 7:fSQw|O}W$ Iڼ+ܩUoX2Z^ãOv[3Lj@<4[v &+c*t'pxπѫ#0R@n\(D1v0eRI:#ϚT+ݒ/85"bQ)?KD[/iq;&b Ә]4LpLStI7U$;LA8nvz.}^ wM@eZ7C8+AqR">:D)Ƈ:!.TBUIqizpa\D$Q}vp"g|'ϕͳDIxsnDl(nC~.&kZ3Ѿs ͬF?$łl 4υRA /MuYw6Ű= uyzZ|gzKbRqPgUJ=W֙*2H`=.FXT|]W}<nY>iMev3 zBPl?sCWg[,Ey$]Ȣ 5MD |kp8a,֜%Xe>w %ݘ5npw(*faj/>YS1gzNF.,3^eqLTXg!Dk9"2Mx!WbS\&[\&/ l+ 'Fk ߂[#rZ j>wb{ :%֭/m^xZ+CS64*Lkf`943%7yˠ*? RЈKg׶C0{0r耂jJHK> E SQ/ [L7|B^hr2.z9eP 4v!@xOyӱNn|V=Q fKzk 8i#VJz@UyF]lYlw0@d˸2LôQ'83A~2ξ+ 8}hG 4 368 .M@"y+ޫ}æUQPxW b\{8|{e%/"~+LM*b8Csй+RJŻr]I"lW$v +s kpbJv8Vso R8XNO \ʻ>p|yO96ު2M|U0 "+/'8z)$%U5``5loUư m;]l&'u2pJWAxrMh@=+TOhw!_THwBa-Tqs?hZlÌ eTc`I/tLQ&ةle{IWؗ{zi-kkEՕTenM0,JcBlS᥀N7oF-~ban1}/YP/IGub澬 akKCu>,/"\h["T;+z%if8j_/Fݲ*eɁ¼'BוVHF _Λ'fP󪢚:` f쑇T7d; 0$Rd?"%6v>ۋ"SfxQ%uՐaICf?nӁɢt چF%0W W—?do0G&M4)=vztԭ-7Qg{ķ}u}?>0x(5{9x#?U72Ӣׄjs&'~jTq[xvJ +e<{@1j4j7[/S$+êfs萕S݁-} F_ԑ3hO d 6zvѰfk|xс~+*[d"yO{M7W[ɻ{hs$. 0~M3 \u1y>nìQ#>Jih;,{xtXs6^JƹH[?? Ӫ˦ug \Bf]a?~”^oCَsd ̬UwnB=OҮBZ;ڧQPd-vM{sά? 90/noa t,`\rtf;'~m S-[Z7&sվbRRF@ V^IcSЃ;bn*]Qk`{V9S~ 'NȤlnU]Nyu^y~ AX`7\&\u2lKPl=aHpDp|HE$;^϶, V*0!5P PK i=ˡ=nɝOMy`C8.nĕzs g4"ݨ,LLE\X'fl{&ur# 1ROi-kr" 0xJuB +UbRlhI?UjOFndO3 h{8ԫxƆsIrrl`[tP>/.P/F?>3:lo=>n+)sSHAMrpU3/L%acuAnS#*Kc0=UlsW{NϴƮ|ۊ uw76yF3|9-MNP]#tܿ>`JdAz}r&9|LշsK!45d?1G,&wIƙ %""?~hKqVfj. >\Ö:7F')Fq1nQJoD_iGbOzF^΁.(i^+tF"qg[\v%ez. osݞeăݓ\խrĜB^?ȨFpSEmkr]퓨˲: ]`v^)m3܇f'MpX7mԺ9s'QedH_Μڟza^j_i3ך@2$L*7n_~.L%&hש틒+1b5V&[[+ŝ!iӣ`-$ &""]3)g?AqX FĕH3,ccvM#+KQ{=u6E׌\s4 :*d˕|fi+<)e"1a-ҥbHޤ<@l3~e\oP; 0cROGd m/x9Si?JDYmE,Fi@?|28%yF8s6UIY4qYi!SR47Ž omeqM=zQ/l(|Vecx^ KyayLkb[_ | U KD>.}Js#4Uڨ)|&P5ݺǐJ1ۜ7)@qҶd\:Fٰ࿘ҥEPhfY\tp`_nAˌҿ U}m()k6;q#RӴէ'^]PZL|5~j3bb'vXcob˛7S+9cK3ik~ g?٬(2E5_Mdž&WQϳޑ"xbY9SI]POua4 1?}䮸O4¤f̶JWhWY4q 연$DF1V`w##kDJUX£݋ZOSST.ս c5RPE@\܎x|LF2ojRy5rևHYBkTjH503 T&%>9_y~W3Ѵ̄4,xo B+bޗy~Qq&_u,'gF64_/VwH{Z6hcR iF<~_42C ϸk.Q~# ;| 1ί|5 q-w\«cك0Y1r)oz {9[NtZ t'iiP)ćכd,yN`F)X!g.Fi/']6hX[T#wC|ll.. @ܐ^nVHrkd^ x~źٽcHw=7'o9Ƥw#A=޸ʥ3?C0`OL}Yk g>Ro=z;Н tf.k5L ,0Y5]d8c /P!fƜȹ9Y4 qwf~Z`pV!7!6S-?#'3:$L(ÌD"luZ4@sq`KPfr/sĐ9Aڝve1I &"ЩMퟶ6…4-P  ovJSe`Or t|0F 'Gjn27l+E}D5n KU"Fu Bcݍv߃#kIA~HI6'YxVmnӫ2w> [m cAwǎU4FR~O/`pMM /}&Ik¯a0R"VDr @fx$/'Og+l]1=zRTpe*aNxn"xZM%4m u$3XiӜ>v}v:sW+*yBW0^:( w#0{#iپ+/{ 5`:Xuq0nX? IBd+0ǚlѼӍNyi兪7S;澎Ss]?iva >NA奬RUh#%MtV SF[5<}AЋjOfΓWkx.\w6FWc37)V8lC! 76"QX \>Vso&@W e7fd:` {:FY} NE I( -7 l;u ϶bLbJsZ©RHw孏&8coÄϣ]شH(ռۗG_ Vǯ{.t*M?6NSZmh&Ȼm[bޟIjG)e餵q0 ;A!| EN gH5ðKLc 7L**@݅ U/kZ~)QH"ffK$|6M(qV,ėZg/6J{jld*^+ .ǖy4-OLmN)z3hm.{D!o:XjSrkќ d;BLue ;m%~ h1)&D W)l}#Zb1Zd]itU}폅M,4( ;$׮42.'\Z ҇sn svm8) p^+SShoGLYŋû/ RocEB)PS"  j =`G ֦~r1zKd=Ш/.QBٚ~oe /.\klj S;`"az?J?!Ib6uZdc:de BQBBRnK%xbt9jt08ŏ7Fjz @<12D&rC?ZVLlDLsNgi7%łbWLnNKFݶS(_uU?~if7xVa xp#nFE6|V&H1pk-E_ 1_E[iS@(c7 w tM(D( g"`^pS}|KãOQխxPOXСg{L}U6Q*VOxk@m>2) n.?"˿,zdeBgz Rͣ[##6Pˣz}J=Ȍ;P+']F֜I^ NBL:H@^_MKTo%nZ"eKc>1^X|ߞW0vcfR_8V?IuYL@v@o,lS̋-IߺNoAd2%j:ոd*gوRf`QnoF/Nmlon,ITޢÁiȐ&ҡZ_:JhthUF{vOxpU&0[$iTC Ҹޏ1>X,nɼѮyG*V_2REd_:0~tcZ۔X;Eұ ʳ8kc)3>V2gH83I }&6nYx* 828k(Q㱹u1]>Xy V6ԜyTg;LXd; _Bj Jj*U ("qlܜU_RW}wYw TssXW$mkR`(o|g]"+8%FW.^OunZ 쫡˷rM1j[ `lü]Fv'N^}%acRS(b=YzaҿMJ  ޡB`/Mxr!pT ֓sgRaہJ'3MEajw8a \Nqd^ _Ȏ%#yڑ '< 1 &:LG\G ?g"&5EŠTw7*{(EpJ`rZzLs+t{ g3 4"r"R|ݕ-.Kr^Z!ٓ-oqUxAfL~-vIx FAւz&h폀B@"" Tk - Mh.:-R3Y^J)*xu+ %,C: @nͻFFLd"lp28j'"ʋ:0sz9 @ u#63@6e%Usp a uQ 6,&<ۻ}֤FsqנʦshXdo+>kzN94/MFnݚ!ŕT?)bx,IBLt@?ZNJ![A !@Ч9!5#c~#Sy .}Li9Ez 'O?$b0CIYPGD5kjR{<2< gI f1~N1QfViYlţO"@%nCM^U3bEfx0BAq"HZ?x17F{Ufz~J8>6^G[1]qq8H yFe"\[J->,i̧ }KVremLP!auI2PEH #5xbM0&ZS ?>  NPS7UĮduM#aӠ +,r+Vf\'SE:ݍ/_K;AbAK(H֦-@|_~)F4vїd ؃dzL%g"js70c;AQM$ޒ6^;9my+|jv؃Bҏ)cM!L\-oAnoLu;"Z{s gaz [6dzBʑL4R&`rKU:c닅}3MǜᵅJ,^g/P '|(dYaeF 3R^ݒmet*8hmPnnC  NPg3R7G{T mZ,;&k#5oOv4F9 +!fu+Vci&z?Ot K)6ӽ@w"6ј-,lFñ3:2o\w}׆-I;d4d>nU=Ea6dyu0!>!NAKl3¼gzG&#`-)/|N8Ԕ,$]CAT/!B.x!VEډB՞U~{=ZcoSs3h4X?~0LꏂFlεȸ{g/ )IRE(T?+LS>xRl5!ȱF70 98 OmәTCFIZUIKգ TW8 ă-s'T%M'=)ؕ<%ܑs;:G$[Rz9T~c)|Jvr_̸la ɞY%zY";uMțò7T(kG'+'5"#CٹԮ|[y)$F3м>x@uzP4buj}'ib; $7\#(8a R QnTaEPI1%`H@+2JN^`HGҥWLG4h>FňC^[:E u փ@ɮ>6a^<" ^i^FI(dɨg]GF0y.RO] V\9J_ ͑uجQ{Q0"mb'O3KR/jn[[d?7} 'ウBmr 5"yay8NGa ?yYoRmd;B!gRU@q<<{&6J!J[8_z7繓 URY%N Ҧ!K!|(`QI ?/uE㐔55-{i8T /9r쒔w&0oHjhju-9G/-Dǂڣ.m{>zky7|*1.fEjsem"0 5A% `Kd|0gnw1<F*S}B3dh$_5¡_;qeYǸ*faܾUoþO=El2Vk);w#!ߺ[O""!s*vbBUŰ1M6 m^U*5>HqS4M.S52 G*dn/=s$~QVJr,tf9 *MCW-kr9X[#q`f^ m*wےa:2&gO7Z{ܫAZ p>a"twQ;٤?6k٥,zvA^tv~t?@x<$} 21DcX r0e@Ct 0*[I9&^'u㸒@8h}54 y,qfA(3+,\IQ Bf^= -:c `} D9.'4Ђ-S&߬I$%-x?WzZ2[>O$,rrl",~G/ PT/4v1.o`Kᇩn jiG̖Fu؎l3{p=nIw )79Wz:dY6^:IWL,XmʧHZ«{(5w)\ywWsvJ;ƠsXW@FDq,M NF)wȦ\WqNŢw)_xJ&ST65P%e|U?;;̈́S|'DcH;H:t[EA)f>}|)ljn$jNûuoX]6g7~agk讝[.Z1cwҨ [_ع@C[< 6[CĦgFd%]Kl[dfp9T7^'QPwU[(Cgitܫs8֝dףOva.ZI n4\TL8)vv{J52@"rQ:x,UA]۠&mxUv&+%٢ ۟)ĂUxS4˿xx %.CfF%Q_-Vݶ[>y h3+} H`ډӾ#º5\j>PmQr. tG@ Ii{=-iTwe^ +J̵ܻ@#[Ƕ󮘥b]^^{@T,(,PC]>mb:_a6IwD ưXjւLȂI ,kgzp xg4KeUԊjCV&Ar1HFX~)4l  n1} htySѝ|4 +읰BZIQްYheh"[tmDIs$8]2Vps4Q0ր~D3[Ö:Rn.47J2!'6zk|$J"g=y:C&$:0dY:`^avudw9QɨH!fz͇%4% ֕)7[|.E{~$ WJ68r8#whsS D7 FoeE䇕 |-F -c$#j{ O Б|F"5%5YW4U6̧}]A8@&:- S=m`߉I{r d4?8op}S_ֹٍ3|FVAm\\/v!J`š{ +g뮼 u[;-(xLd8U v8x%IJȧ8YTdr3&WpAKOA3hp*}-![498FNFȃ{ ,d4&.&8?5˻V2 > CȢܠ/g*Y1)(09:=M\ W4g0c gaT,J WȽ  o;(0~x0YB{C{ 1o◧b&#CX<ޖif# K}T9= `jӔBX巊k00$ce+_5_] T=De^ NVk| ?LfI+&a[-CZC󶩜W W]{t)?e\TCj ?kZzm b3yJP *<5ۡg&=i$%u[ȩʆ mr3R;#"USIteڰyS#NS3EdDa1=/=?ݩ+Ioa;# D㒕UGo3m '8?S$ s]4!Cg-@6SJsָяAoyf4<_ikfHѐ.{M>$9K4J5aY${k/&r%Bz,QCͤvSPUÀ$ѐH: b]`{S1E*lf,=+% MB}q~UV#D"$ +Hd%6v&Xn7 n!w%c !N52ڐa0*MB6fb??-*Ÿt:mwd-y9pA%hϞ;w`߉%,awT]妗?鿙 N%aZ(r 'A)񶢪cQ%C6](_rؖ;}L.~(r7G~q(@SHi1ϰc#.\$!:A1G8y>T $==W~/hMFͩࠆ1#b&,OL$;^/ŤSlolF)ʴ!q[|0~m!-ZűD6ѫhs.M2޲)ـDU%Ȓ ]C@UJ{5QV:Pz#>?gjs[GU=} z\{X,9;> @FMႣO3 ?:7GojC#qGEJҨ}@UyTc;Xw"76B1u춮}P# x5`gcP@(h钶҉ TknAǮMZ%溤  rBk#,}@3* ԿAFvȔBO81AFUadr.]\; _߂r:b;2l۸y[tF,=I /@nlUXԶPozq2(HާԺ(Yq~ûpǽ9Sڄ )?Qc&d2 $wW'iN[dln̮Er-BMeŻp~ m#)$܍V pvD ! cK[Գ}i](A }l]M")S:ԫKd[Ky(SvBy_'<Aeo[cJ$J '$ǎA0th8,zZQ6Ǚ &XGjwvSpEDk_PٵйK\z-A gZ*La'¿@|;4{?dG8gՔ/'o!GV^N>X]"AW]vwK6,΄Rж=,oa]bjҲ^zyț 2?M?;O *҇W-:r+T +sdlT<hPQ8TtqtޛBr+󟧝ٔwcD!"U &t/*!gjLx1s/"@<`W(=$H\f;G~` UNvCON׮jKW<ng?"&Q8]Vy,7tkohoq^Ӄwu*]'nN V ^:MMިz=SkƄL#G7NDEVJfSqe!7@H=H穏IF=b+LI>eY!aX 9e9vJ̅z'rOe@$Y}S@Shp =~_^1ɗ\IwU3R9 ("6@A50\6C ]^E?CѵbUʜ,4=ym ,Y`rvylSnrs^KL%:Q]̖zev`l颯pi_$` fYK )woYlq=F!9>#{)jݮ TC Qp3hh򌄺01058lV"r!h^9ͦ+v-fKBh!YM)߭9Va/lJ[mt 7EIQt!+i0Pt%vf@#x`p:Oّy٠?^iUՋ=Yhi<.qcŸ8lB 1 F߅S[L)*b.C3O~VUg8+^ R @<Ф)><@`CCF~nyNwI?cZhQKTg}=ca:f* *L B6KͿ.L7z|pBpӲ0s rG:qc)DreI݁S܇1ަ9TJ7xiaJ"Ah}f6d AU &dbKekv"kJ/[[Ogn͸q]dKRlfŽ zTxLe4Qpd? } -^}#Τcj,Y\\82 |O I|yp!hl{_Pu~b_wxb"]F(Y&,Պ8g}HXw?m1J -BAk @Lowx }Tgv 0"$ D$%(fW$Qk@#Snf$} 2#*4VvCm"t)7A/I<)f gyB* Bp='fuHZ~ PCjo&"J&y)[ASjϓ<!?i k* w9pp;1H G,M%YdbV@smdHF΋Eİa>;dQL*zGه&fO>#!Gi}Lj4n>ށRDp$x!HK?aX A҆˾2i} /0~AJmw]zUAn#0r"w#iʛ%Χ3|]=8Sz^Ҕ԰W׾ֶ,3 #>'͇[KTL0Rm &]ti~j_eV)CIIorUTlZ .sx4NGC~ Y`.}`|;oiFk4}>'zGKl^5a"1/Zs7 azx̪Wb~<7g8@ Q3o@x&K$؏[\wps>5.@%V-m9|q @ISH9]W~'zD ~DtK32zb鷗ܫrD[JW-Џ7 HzXGZhQd$ۓ?^-/=` C jxdO, }Z4F$'Јr?~ JVм4 mQ:pJZu31ʘTccd!,ѯ N)>,|IQH{*m`$bHwʖ9 Ѿ?Z5Oq GsbY{ukf@U.XVYӋVjkߏXNloT1aji9YmzY][O>Z"ExeH0fbtL2Cnmf"IHUa ۆag62C`52Q2 p,mY`-")W/3O,! u_;lGw/q6@?CK"L4К+:vڼ0"