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  k% <| ]/ Completeness:threads=4elapsed=11.612cpu=33.048gc=1.640factor=2.857zXZִF! ]ŗXiɟH)0%oljm$e"d{#ȴW7fUVo!@R ް)Qݕ[jB'r֐, % Completeness  }k0ru6#վ^dykqiF 㳢ʚr{ǟ+f Nz|kv 7x/[p1րzީ4W1$5[اqFm wS3XTHZt.3+,4#9O *72#+&h꿸25a6δQ'Zz)%l%ɋ؉[T4Fs~M ɥkqVXb2n+0CxnΕ7`"28NI,CEe2ҥn Т2l|Og9:RK*bQ~150' .PmA@(gᴦ=nTL% bcyD> O` -EoN=<لkG_CJ ) \e99M%t (raz]6o^n. )WNzy6ɦRvGD\wh%$LWT'l`=q^91m8*~ÿXp;q+eþ:e*"E:; M.o8ouY-)l\?1eajOaC)P0z^rV)o$m#4`|f~314P'e޲,^.Y[_yU @WpǙ J_Lu諻(tvX H2 -g 4kœMGhh3P@A~ic&okS2AT1n8G"# buRvEā\buy_BͶI,*v/p dCAݣGc'/Z'ɹ ~L58ኽU1 `s34,_h O~v7D1qGE,Dad6R=Ii] KH oР i$<\̄X7jeZ "@4[H G4ܯ UDz?b56E:6W@*q2zr>; 8"F* 䜈bV:Ʃ$/( nNB"!%ii?+S-];뾯mfXioN4ZUۍ4?ȧld(b }A3Ž5Icy2Ɉ0jtޏ+=.Y5%PSX8i?@.c̆"j/S5qQ`GF&SGg$?PSj ŷ5ZJ #'[pɩw$KU[u$۬qrn ZMl?1Rkɺ2ZZ`kEJ4ЅF xme+JGkÛjѓ^/ML2Zxm&&w_QZzT,JR򈉼-ɞfN6kҍlSt\e1R&R{3:q7rC-Tw~ʭ,tƄ{X5r>AɥHiUq4NE=Rg>=KfQsنXmEs?q0m )`[l+iu|}jPӶJE-*u ( xokڎ2حq/rAwB$h+e04 dV[S߲a:daiD⡣4IuJYۢ{ŽF4pD|Jݷ͂Tkk5gRF>*UIHgCLxvBW %ŌoCQo!wx}[fk@>+^lwy = Ӷ_+Jf36Sk 't4cQe8YYk!Kb!ОmD}+u+欝&EV޽={Qrc=3%Fr*KcVH }YAC4M4DxQ&Xt5TVAMT0\.HPQ>C q_Kxݡp>s=g̀O?^ C>PYDOЭ᠓߱nP2Sĉm;mL KQ@ Y Hw@vD=8Mot!9-ҿ ( f1G9opӔfRXl p͏T| c6cQft@}i~z4{/= P˯hRvF6@H*=d@1Ll5A_ЋU 'mmk#;[Zڌ|K1L#ڑM=Wci8hb웈wr pχ7rR9m`]PL*s@fPyA.=T#!Rp,`j-|m7sw/V$D@6A$a ruO(ݴW!Fh֎qN-+7J]0\y}g,{2jNtX̎-H; vG fF,:/~pD=^ *}Tޑ!Db3fq^S?9*ܜY@I,Wz%JNE^hRT)9VyBXa*~1-v30O!/q Tl*RA(j7\ǢKJWR:YOb2!LştC .&+2j]@ʁO*:RL[ *۟q3p#V,Rt@@R@p ̸͛GlPAiڵfRPS2=bs!OU1ݿ?Jӱw)ph3_n@jSNMl.hr3R{9hb!V 3_gn_S3vRSqԀb:e3#6C jzO& Q]QW^/V~_)89CRH_ j n¦W %`x6ߥЌ;.$׷ #?h13tx!gwj?w/b)]oBaZ(#ZEs39ߠZ8ɜ1)S&%z[s}$"l7˹!dJۭcnM}¾L<0híG1Z  N3X3NMRVbyaJ bz߻v0cj* m{Ld@z %/DĝI]/3Gak*FBZKR 0aiRr~e{yJ)U#z%?iq*ZSDԑ+N-)Vf]%mQ厌r5R%@uϔl]!&nb9E>R pW4Wng!'Q%p^SQkQꐂU)ڥ0wȥԜg p;E"2^EE%FgDDP|5ݮ [8KRP\AU{,H,~z+Hg#S%m AVU'V<>4b z۶äd3xEy[A\,R_`op,4zP 2E76׻mR7HI!+ 2*+Hȝ;P<q(V JVT n%i'L|\F&#D.ͦQ)n|ץ9q@$-}+Z{4|ڷ)H URMLvm8,0]n4T4FYTJ6kEL6׎ˊi*wx7Q#Z~|5m1N+abl&z v Au0{,Y;5;X1qę-i$M(%%:. "sy(N085߸Q5xPyMvMW3M>j9dQOIo<ĝBK9+"/OxPnXO<).(߿X]sD/6E`ߝh4]qֽg\H}xrο51 Ee5}':օ!;h' Sދ+} N!P"O.b UE)M L^{-d{J@QO7YlOɘLVkAri;̾aU)բ_?S`vڐɡng>P;X\>l^TOxl 8k;,N֬S9zkҞۻ+N-vVE&DTN f2?4s0;@I6mS9 Uer#N*y{'6pc8_748UE2\ڶ]HWPӢׄ`-u=|9Q" Mj&A>T|.!2 F{ke\ݳy0/ J%ϰKxN3@`.]|ܗ1oف6U`QZaPӾ>Zl!Hbmm9p=NT`< lVq}ZE*/&FIlWюV[$XFʪBQ{4ڌb_>#c.b|0)B,);_wዯm-{ 0 F٘v=~n > wXUB ո[#@PnnƸ-,n%LMƗXDr- 6?ӎώSf=C|߶KEUUoݸ5P9qYh}BKt6 gM{23aF1$5'/*Q=AY0Qf#XS3ߠd09$Fsk'ձMÊczpy"]PW6sBbRg̍ Hao.eLX3v?1.6i{boT&/ FE]֏e);.K ('@u*Hc;;xJ3yq>GtNTZ~.}3oQŷΉ04Ps1,SQn+\iVc9 2$9Z{Y! *43trYJ4a_[Ҁeqe\{nǨ?'/S|/w#-љf`>~ӧ? 64_Q~U@Bn 9rw(f6A gnކJ wmQd=(_yS=AFŦװfrV"T6(&jSw@dg4WAEGd3^3F1z1r&iʿ{ ]FJTn} &W9pq,2)l# Y>I7(6i"`ƒ@D*r" 7é91~8d'p+SéetMBM8.oF03@k"V7 M LHUg6ӄM1#2~bSQ?j [ "o@}Zw/+!12*IKwRo|UPN`>G7FH ޛv V8ʹWV+(Mpݹ`4f'F!鑝8z2Nm.-OLV +9 J/^V?5h+ 9PXC7udDǡd.",❨z_tpO61/~OnJf He!*R^JZ"!#KΠ{DF-a*rRWҌ r QH+[YkCfǏVu2&>uU֜lxQ!^`DTJ03i!Hڕp_l,SI"xSrRP܂׍%@KgRtz}p1'bI^zjSmPJf1#ÏD~YP n2~56HyŝDBbYShPgEAY 0klz)A:'ɦ1uS2:`lsUUȇBO mulEnz$L}zII>03[>gva eg^.n(~,ibjsh"Pݸy~Qu|wfRTW> cɲ"[Tw1 ]=T >E(DԺ9hvUs| ^ ŵǙW0WePb& mdW6(8ڃqci=u‰kiSC2D Fxb{Y~ 7)OÀr/Ʋ҉6HI.¡ c%WlfwolU}.!yhKJL iPPM?#/d3`.[ S1M53=JJePpt>E4̈́7Rs뎓rP^s6p gp? cXAa"{XD Ui?)9;gYxaq,`%Z%-'||]Kk P +eZۻG^efWmk?ϓx dZWR$xKCc@F}(^DJL6+%^`ueA vx<5!Al^m]G}8"["س1Z֬@twC:g55`c]|ef~* 3 cJox9GW֌Lg!]\<.Ly?;ԵɐuMn^A6ol3CBbv?ptш1&EaG+ W6!wQt0V4^:Nc 6\:K10O`Vr l*.s_d7ܦײ IЇt:};ѻ.g]-Ȯ|0w7!3N 9 LB)V&4M%hf(E G >Jy1ʠj0k@zQq`qP\2]]IBR}oǎ&!Nu}̼ƥJ_te4C=@ʶ8_$mS{hbެae'a9׺*͑|9^_‡ ۧRkwFi#V_g%i#>\r &I_m1V~tEկ.w&`S&7::l%[=I"K7GCyUޚ?JC %GXN/|,4ɚ1b86W( GЫ{fex sۇ7@#ȉ gQ]k,̆FyϵqpSF?qjj)Y+:z60C-"r^S_s U>Z;os¦avVyc^MD1_QzR;sQKzoȩ&)@Hp({ -۰Ç+역]rl,3nZ0ڼvy9: N yE 0"jև چƽq<έ{(a7"P/rD)Zߏ3ߌMu]W-(xQ?$jxhTZA.Ք!q`ؙ*͖2-w ?Nh FfXqA+P#Ơ]צ/U2~Sd bsp @m2W{5{WH EipjIV搆~mDlW%wŹU![ Fyx3ԇ<=/d26odb?^w顫1hlBiY [?&TDЋ|h8 &p y,تj+|GWA<[? ܾvfD1AэwM,.TGlX^.ݙ*֍m-D1ӫ\.J¿@nO~\uń2v`ŇyԪ-U= !a6D]<ڜ ӑxk.p'?ы4qͣ*7 AA`d?JY*3D`#U< 1o2=Z\nsK(?we%ĉM~R-OPDh/ =O4>¿ RyoE [`BqāK{ }m3<=G+ck8EZî[Gxa6(m!9S{i};\7O)HA7w9`W,Zy~@ũs5L>#%&s͜i} i2Nh*#kD%AQkj&qˡsWwp@t+9 xBikԢZ?Mf7uu=CYou`a䳶^;9+YPrv-ؑ 7wǗvRԏE=&Yn7$e/=8[v3M_ h)'څ$fI폗Ȃ<$q\'m%e#-MC2Q-9 ݽT ܡk ګJ Y%"?Ƃ, m\,|v!MEQ{s+E f2箌4nc@s >-wa񵀕o0)u?# \*ח pKC W}- iŀvD\0g$] J>4F=JS}uНVe\ 1,.Dy/@ 35V IRB2M Pif]s_nT.ӳ)L +(I3v$_9=*Ʊ(hmw%s6``l~wv у8biH&4 kE1BٶT7|R?G>{2"3J["T*:XN#L _Od.NJtdw.`&6˧>]Q,SĶrP*ڠ) v#L˴ݛ}8 3UwUWs{ri|d R_!ou޻bۮ?K #7`f>WKd֘%rJUSc($pU/ćEuw)",~>s"ubV$&G p*H߿2;"{1” hyGGqMi}[N1 Sↀ/#[L2t?tA!DFּ"Ng)ILwR(V aj ԆY#Ml/YqO lO N!zM/x9"FXł~4B qEHu1Y W}c#Eb:ld~b"Ȃ 1bbLD,9 algyS{5,r3xȐ>yO:% 8cZ)%/շqkfx, 9f3'C~D+-F|st /LR[ "S0/ɺ3BA`!>#3Ef%! #ɀ XRBz\HF%_jTcܹ tRwвw<>䙓S7O;pΫI@Cy*> uK aZy1xBr&}|)5H-z~YEm3o`;+m Sox=aԑm+N} "fU%@:d?CVMhr)q_c5]+{'XA|p%^椖%MAרd!~_{m _[>Ir)v1ɸ+y1h janf[{ $q$ ;Msh<)>2?&-fO GM7)!r鲌jD/3ɍY+FRwEowCD`~PB%X==w!Aƃr#10D*F1}h LtFSKT=?jc cJbj{t~IxKp"f?am%u兓 ],}@,bHz{\JnJ6-"UyTi~r6a/'Ŝh2JP/#hwT{^gN7y-LB%wJzwOhas nqy^Mf+6%yLe~:NSfje?4 jWk %"N_YQ ANj\yhPy_Y2Kݕ]NQІzQ%,9 N]B5d)ꢑv6z+-dA6oG:^%#Jd 2&%/2[G3(h"J*}uHL؄Q m503 MD)?;o=@ ,=p]&G?. 4"S$#:^FZ(Gn. ?A N|8(tcykGǕR/a((͐MNκ'הr沲Img)SOPD#SM;V.|nlDFaa!uдt%;̑w s|N+>^?_>XBO{@|]KtSS[W vcUlu-#jh0!KoBJT!nK^qBouI[g:Eh8FZ@"AĊ!gP9$5_H:'N, HȮ35 &H+̔[~[e Qr;8z)4mۿsB a 3y[Xƛ~gw*@UE:&xXG.L$Um'ؘC- /ʓ\eZ~/iudL f!  K;uT.S1/ ![socJF0<ՍoQ߁]DCOLl =(귥ԉk#Ы[ ke^ste8}o})"_ӊv+f[? VE-sCݓvÕ3},Ƨ,YJ%%)zf]dTKSaMV=]H9 /B] ,<4C 1$ V%wd DW4x! J!!xݻ|j*G%'z P<,?5MwT?>ȽCݠS/*âЋ}UX1I]3AA*pEf=YC8[ 6-r;轫y^);+"5y߂+˦g/,U#VT|{mԛ5vX jJW |7?hv~ hBbڌ0}4_6OLVŇa ~O!q9v|om7kd4ݜo8nɍn0sbGq;(b(]c,6m3bDBYvr`Xtzk.+f̏*jD\cA-t83Nv\w3DoG='jf?1k`etS;3X> E)K-%kA\".Nn忆kˣm" -J7F˪FCUv~%yѲGjq̟+oQhk\c ۉnaŠ}!懰IJ63ϋt^I3W7u2:-K[F;(0:g! 1LHV0PEk^2:|V%3 쑟Ƶcqȉ&Q9XՑobQa#rvH+i"ڔᾅs~^<\S},9L('j.Ia3D;M@*iݛ0ACM$*R۟v 3u1e6lO/q\2!8#S% )݅齙ft!^M50o:n:ӕ.?¯HZ'E z"EL7#2zՋT16.u"XLH߿ml t.btҷKNʌHiMT %]c!Yl+&m*#m t רpHִӚ;?h߶G8 l eC(i#l_E#> P ~cz78io(b7շ]^C4XOD1d %Nb٭LO B KшLIP[nU4+n_.UjG/kq`d ͘!e<`g=O/:k24ő:屺ݍ|KoKd;QR%LǘgCC1&ιkiU' ٝ!+9U#߆va|0K_;[E3QXF3B52^ r[^ETd8y!nXhCRE@䤉4.MFEcEff1[϶r4zwtXp O,/~В(жuD>r\kWP2l&AQ>%Wq$vEX׬͊-tH#ssQS(8ntXF5!v3 Ο:p: 'tc?ZUW}J'ݓ %^_97I{_;D)GX"|3vt??. &o6XιBHvtq=kZ&m'd9s)M Q6!j~A}n$O}J9BAʼnKyo? FI|z䉚xiن>ylIj7VaRy86kv}V>~ 82xkȮ䒈EM k9b)e`_ cYU DgHǗctܘ\ N?/J^7}֘ 2y Y͡C@Di=\*LǍ:}d~TA.@>4GKYx*C[U2|fIgmrz0ˊX1SIA~an#S79;iUQ2GCl^mWktU W\N|7չN(wc.sɮlK  ivt9mؒo -uJ(&n(/ @K?-&! 42YHns~a)\Kyv}ؑΙ8@U$" J%e^\gs*$MqeN_RQ{%3$tA*\O/9es&>bUa<;ײ';W S$ၨ]<`%gfeT_@ Sy4kE9 2rgI;%bS6Q~5Qy*\LRc{<`Nvמ_3Cr'FEWenМĔ+Y8eO_Dmc@]q۴zTѹ(>]v0cA9?W`^n2j27tCz@.cx@i_,կzU[\"kp2Vu\-|x~@d˦;r}<^aH³.etLɡO_};b ZcV-1kFs.XՐhRNj JW" ':JҢ',(;c :9[lQ6;Y}j{@:DrTu9St(wPbYG[Լv*p I+OZc=Rvʙn =i2~ohfWTFAv=[p{/#휃#:!lSMѬz+y *kƚD|R/\TTWE'26Xw'Sp, өAn`)2a%(_g+> aYob@1S<:PßMW-3EhX/V;ez\z ha,0&T1֚g$.[!Zw Y@ &PI"'X?]h' KnʗQQ9{olLj@y5G%݀xD =LT6ڗSFc!K5b`Io ]# GY+נ/(BYzj*<sx}_q8qikV #H]s6 Tv\:(Wo@Y~")"i8ͶETk+bS^Z`UYuk=1ꨛ]Ab>YʀisIv(5 ˋv-CSKN5.|yzJW Ls,,K/pm( 4jjך˵|: >pWon*:W~?ݣє.uK׽}QŴr VUitYvpwZZ| t@Ab=>q ix~ftj!$DžKt\~AI=yQw:%;Ӕ[K|Qg^d&=z1D1-n6Bo_?M `n cߙ)ݎlHt'So&z}v9QgǤt=_џ@mZľBtL!imk9l%_=Qu~+ye۞,O0^M m4}8r`06 A4eɆ72jLr0U\Z ]/7xHY7!N z7h°yE5OË\&8rz*w5|rWTqq`JD_ OyЁM>!F EHu<^ `VZm;|1H$N9c@Vf3H?J,d+MeX c)"C(#՞B[Ž,~N%^ZW ½&jdzFBRemd]dܳ \Zo$Q|D)օ|9tڶ;XH^cKӅE +Shm'akaY>D"ٰT}Zӷ4J;QK"M3j=%13qY;Y q85"RTOj·λ=kC!S=DՏjuI$d=Ph@FWfYW¿*Z-E8i*aR('9"&xױnseL"j<~ˈ-En0n$ 0Kvk`dP?)TYU6FdЧvg`Ozg4atQę/މ Q*d|戮!6]N:K(2balkf)R˕JJaR>Rj|IQb_A&B=֊FJ94mkMO;s|#E70LUuޜ'h.kID19oݩ֦)oӶl&?U16?S^nز-s95U@!ʝ([=I 5;lsOunr`ڝ5Q"^5Чח k lFfYJ6FÆ =m;]ݖ7pwOƾ| qv8OY"ƛ OQy볿hy7|' `xL1֑'{ JJ*(}sࣈmk7_#3=iZb6̰l6`> '%+C ?ʊpJC.:P,GJj~TM{q (:А,܃Y QoL*\7S60ʜ`;Pw;t^BSj˻h^ɂLtopA+JraM$"x0TAB1cΞ]Y3/] U?4Uw;.*qwƺx*8u D-N$+X~;oRv[A I:}̿͆A8(d@*>:GkqSÝ/((a*os >/,):$ecww(ʕrGDv c3K=)y U@_}62*s!3jל!_)f>_ҧ0'je)Ϣ=F*Yw# %?o,͜e$:}oѫt/)*-ڋ=8{v`sB/-pvX*o54X,-!xvRHA+cy.6r9BlyxƤӓ`t OQa7sPEK3ۚc eրkVWֺ?ٖ@6BۿBKH50=f;;2H`ihy@NN8m z 7+~(P_Q1oyTKm:?39/>R6%I)[yrA|Oƴ{eM&fn_sȈJc0_8wKC{jR`ȺiAX)΅u7Z19jqq ,z6')@ DYYS=18#{`x&f|,n@: !Tx2ÕY))À(Oм"IZǫa<[:}[j2͂ȅ˪`ݨބZ6%'az'.79eG&z-)N0?9Ns.zmY㯊հnd[]4YS U[S쨅lYBEԬŏ v"bj%)G cA.r Rx #'t 5.Йߐ `PF`DdV8.C؉Og֍tyUq&=KϷ}m\<mwsnkQ pȟu+H5Ӫ{0 f@68M%l:k~BsK1=s_&zLvc!:6skx ǤSA]~ey^d) Tj%TkuJ8|I3"rb88T^OGr==4#g! wEQB>yBJ3*r,yUq#SX"qF;ӹ`{UNt'ª"[" +dPPJbae}5을M?8xU&=r.g- Lb7hO&:j!y4Lakhәr/`sMVsaMv'"thWݏ88WR }0ձMC^4>(b,yP yy( ^@QzZɨ=9hwa*;Az-/2([(= UvH! Hhh i emr&2p!ݨ5A3.@UI8ØFڿWT yH.kWB{&¤DFa5&l f1#@Ȏu0Pf!1Ȯy( aozK~x#OV+cH f" Bqձ' a|sb:O%&c~DM#͙hچ%^梥TcjB 5jN[}ѐ *m_(dogGVԨ^0LbysJi>LBQ=g pp紦PQ܆O$}XUZ}`h\aNgsv:)#^~ljVi%2!ԡЫ`zM9Yx^#k' aPȥ2PO, B8d;j*YkзFɝԠ߅!-Λ`A 9DFjߜȭAV \P(-6Aaj>-4XAp=SZjC=Ί?Zpm^wk1j4V/`*|zJF;4\^l O6}x#Eߔ(ZBU73F\ 08`g פ+J^*$ZW-'R仌ѤC4bX3]x2-1T Vs*x$Y[yg`v,g7XtW5#3:?Vّ^.AZNnqi͸ MlXUή3P`s <dӊ e5S0|ޥ.wj?'k/%V*7^3c\kɔ1|H1Kߝ؂1ݿ~0Cgb6_x>{ ,b51O X3'ef#=Ȃ7="g&`kPUR>'[Wg+ q*D Or{|_{ sqBmp9-8° EWg~"4vɠWyu/jԩ@]er>r/w;1oMMTu]da(]fv+ `гdKN0G0E6JЬrr3AmY^nJ9 ̥shyǶ{.?:`+zKvt`1@G<:%XG5$NF|$s#T-`k6]Z-ę,wGۉoWt@I?B㥴23IR 28w f ͽ(kXѓćS#5Q_bxhI"1f]X]S%7`fOwl~X.eƂ8r&~<-6@,Pan#m6eNEWR3khU+f1 /1L[f`UoQp oQƉlNW_^*Eq]F\Y5IFabR~+(X\8XO}8 U6Y;_J r?~Αx "kr9_IK:9npɠh\:LE/4|y@}ŖwiZ).WpbA3V݋%4 ɴd$F׀_ vh2 eYNAacZ1DaYxʬ@5E)R)ǓBjp@w!(&|ۯ^:Ʒi:!=)֎ڔăw"0.ϰ17-Nz~J:U2] P0M6)Q[LmwΉ 5ᵳT T afiѡR\{a"<k]lD%#; }-R@Ȟ_ l =s:YZPmt딨+8k IJBLoa@yw3XEt WȨ+k2ydSLC/(b'Zm"] Pa& K9B`VU^B¦g88VicUT(R /# #|xkuEx`s2"?S j_@|Ӝ oQ|O-}71;.J%[VN¾_;\[N-@`ώBr/i4Y2&i I٢J5eUrlyGl(r:R$O5˅2< W/ZRQHf#g';K cO=jilcâ?V?T*<\S (E9J.ce>vcD? AgtYQBdz zޯRPe燚ᵋP`R@֧^@Qm}y\]2WjRV]7mH4! D*GBs>,@Mi*X%u@uķxRϮHűGqyXGjyNv:9 m yM1PBp_xz4}1|B狠ŵl?3(\x/0!rlf?䓳yWkVbP)~j֒{b},Y$x3ҹiZ{5HixźSxq' <_:]"-ueOFΈFO?DLiHNvB7:ۀ% :SmY(8YXkfφЍm5G1>4BeDsbiugaI!,a=m*Ӛf"ʘB8&C+Te& b7O{*- (./QhJ jb%S\@L nB]i46R❝ӑapC=>TȖ{{7\c!?Ʊ7*_+$ Bz(OrT"lX[pC.}f>chG8f}-^$K7QT`9VagGH<Kzק+&<1Ixpnۀtyzq DY~ 2}ۅ1;#Gx#&?yaʱ< G3ő .((0Ԝ2ao*Giv#\chR BbbE Ht M]O᷎o&e[dN[QHRm 1PM=SP=*GbUp\ ;Epng6H{;zUv0I_!K(!E4?^eiSkȂ*[D7i+C:[W!*'!mB]El; ۤ\H|oEP gI}(m'$nw+!)ƹK6ԕ} wO\&Tma^nGJjI8Bo!ȧ G${]Owcx?H E&eDf2Wcs(^`)>Ģ]oEm |#dN| !10C9!,Dshwjc{2bU_=Jwf^P$Αy6CKԥ!zLȠ3-Yerx\oXZz-z"tbX)bKD>;4&+s}.)Z)Q ݶv"vMҝy-t]lVpTq_zU~etYyZ×%M5^qxT3?jяjaIލa6cMNz˰6#TCހXr vZq=e֒m|UۯVON~f6ҤiQ6 ["LƴD0t wkbq0W1 z! yށ|B@P+ ivoQOlףF벇{p`1YD8ny:w]dzLy;<~P ʓ.6C`CamB6.,h_0)}E|Rdqƭl1׵/brrqk.BʇEi*fM}d*!уܹY@k^#)[8 L[0&권lRoS8Ay z+rW>Dah٨K{^ nyU.Sj{2 !}Rn|~K>15SWg6o䀛%^?ۍozo# C_| 3MSI&Ya2'!pD (K2#߉L2MT;5BɇesBo/d(J,95"佱,G.QGnMxH pWRd:Vز S~($$^A?&[K.v&٢HTgƂ |Ϣ*2Qԗ (V6ӭT3ww ~<-DsI%13Mq䲾?ScDڙ0ʽ*p،U9X*Hq߶zyrtß$^7+sq@PAbЁ@)W| 7 }JfpoKPVCꨐ#EF1}MNB9)P?>o8x/qH5 oьH1^ 1ɱ"C‡4%i0Rs3wcG%hDn&|">+Jne;x/<0GG 3%[wQQIH#8KBvOC2̚hJZ4YOeo#2H/  4t/E#a=㜕M+ž*P aK c\`H.ⰿÞd J1$Ll촛p*L^Z <\5B Vr;^^‚+ǔ2m3eHfzeE]"ʦQLHlh ӗoo#~z\d{;dvXp""z2c85'gh6$$ܔp# ~7t_YnX911[g~LsJp/Eсop*YsPx^kc?@& j@s`6)8n%[Ӷ.npGy^1 -;/vȭވF6W..&f:v r8l,##׳y+Z(Z॒rBDEU#ׂ2Z Dtl0rSCv} :͂ ) c9dmp&[i8*"k|؄6N)mևV+,@E|6'A{@(6^346! _)zvzqy"W`;z?7'y*B>_0;F`_.kp/G)J`sr ȧJ?V= C p3 %']wM+/Z]td÷ւEhk;AbAҗ 烳Փ~ u8hi@5z*F[B]09P \06+CrvbGUCNRUh릷*n[/wt2̯jxOg#`Hh|qEd˾,¬Ȼ:ؽxNL7͈ zD ")!97~u*Q'VKZP;>kAS5SX +Lʏ8/]jﻟ :I+%띁Z$ImԹeSyOѳZH)xG4^ibQ/{o\8SJw ,' (7GXo'pSrI[cbg*ScQz,;&U"u$6 ʬITR/x'^57u $ 'Kx#\9:X݇ S% *v% Z8a#/ieu)z/2>2rn2rc6#A`|箠Ls s`f4!|֮ ~ 8(,_pDN|@_>Z::~KiÊ vS{]wmG +w0m:_ %l; ,ݛrΖ-S- {\NO" so?\^Ƚ`T槽%K0`cyE;G鮆Uͺ ALE},#[%"a1tO @7\yZ kLL~24m$xgcf|`&7'ΦZ #@?U]tum4]' ݺ*􁓂5YʳʉD>@ 5̋qcZ? WAxS`f% FNu1SYS|q9'C%AWV/ڳ ^l0ض@Q*>1 {Z*| DKy3#_A"\ xO}RA= 8WnBڐ(2ȒPIp6E 02a'^3l'D56ghN|'W]9fd3C6-\J.?F?1j'Rl=y#1>S|xL*K%V/y&ja%(U,q."ٗuр䋗 "UG}h~Zrcոݱe'.={,'v,F4ÒR^3լDhdL'̥""9x>HqgRUSl]\߰_kqߵUYCv]E{_+vҶ^jYnǏ՚u{%!Up#Ղ)42Z!M"w>́[̱=B'lBc.8'}~F7̡xnO 'mC g!f2ܽDRgr`DD4P{hjapSגt7l2һ-0i鹛GPѐ]h2 6 1Y8~?P쨲[f`m6jSuct:+vr+ u TcO: z>zGLxy zzqwqOi e%5]QY :Zʬjyڣua{jө}<ˬV;qw~x5P9^q 0w\ןEkjWrT%gJ4MeH@Ax%w$ $/;I} X#gi@6m4:MK,2hB=06xtJa9xi>`;5 etE?h 7H"Q燋n9I^\nObFaD9o5[5.edk;>76ϡg Q+XC /TWpWrDfA;pVd:5Q RtaNz1VZF dJ~߱{,֎n5(Toww%[I8a|Q} N[{8e4GY#W;ZT8G7"0lN w-[%F떊A TUhR$*lk\XLZ%)ma fy66` Z؁4<WABhY7v f\o^ˆc5C:J4c3Z×.A|`!'v§`_ r9q- ;Z=һ̶۬-πq@Ҋt7O 7d])cl}7](4C56ĸY1S{$J939,W? |ĴUl"0T;ϗD6|P-Ga{j+㕎ةꐻyМfd j^㣃sty_jm^}pB42s]=v!)b<XWjwno].x6O4Q8dS)ݙ W,C3B^b՝r1:&)mcw}d 3*9H:4JƸB ['`^7:B|kqܖYT\6 [?WivI&A"La;t1ye0kp v6*!.M 3*!)"HCQƘ * ,vw޾j̨H`SxǟuF*x5@lgxr)9~U;.KI"^ WPg+0ni,sst.c., 9mWr~`Be5Hc;9 rbfI5t#F.-mE6v]&QBxq '<q"9%.,|bJQ/G9VڔJ& ^?rl{D)b[=A炲 #ڶՎsI<BE6ixCDC{ÎөzQdmt16إ:8 cu_<,^vԠ{l~D&<߇֐T*~bO^Bm`[3l܀ ;9UKZH4‘!ZtAc+ʳ9>ɭjN}V3Xa%7^oVX jσؕcrwՁu |3`מi*CM*tO˦( 6:.HӰ51wQWP1)Q# gI&ݩf lmVYMrL HSMpJ,N`q̊).;?__/iP.0DD|p&ץW'>!6/_?gL̙SE[W]Pu =Uln-W嵾 V/O? .nkRDN& RkXk.À " ,f%.Ea&Ċdo81}tHY %^ ~6I]-vRYt4&3QV d~i|$aXPc.)0Xf[΃A7ϰM)?|uVe2 Zзe^mzYQzl7c^vEFM'Fu+|Y|B\~G}T)VL9(A2z{WCV%p2%|!Cz"IejiAFU#aO2X8Ǔ52(۰^}J'{3&eb1ɠOC2 GMytB& 92cuK#UWxVY5df=[ g~PqG0*:̥+cu3X#/>Z#ӄU\_]߭W=" 0 wZifwxW#xc\\ vã^ȴs:wҚͅu &.دYra??#Z^CXط|Aq0ږBPn)yp5"cm\I> ?~9 Zw 0/kbm ڶx>{1UrZiRmQVMxImP]w(@}GZy}[;WJ) r`5eHn/j&-ۜ pgxl# /~415Ӻjy${ޕgP_Đėe=|[M@M(jܘN-5oz!oqs jJ+ (hJ#%~2溦 @^P_Y4(tsL*A؝bO(q`g*$2|V¥S]`DGE=qG] &tfec9`q^dBuuB? 㘈K7t\ᗫgM*n:ϑZ Yr gp6u{Zv54G'Pֱ >h.{ȌDϮU,mX>wsuJ],i GIps+^a<]ǗGbyGX>ҺAtu *-߳Dna_jNfO5<_:be)W-GEL?i)dId,nZ ˁ诜Фv(JjhdT1bJ/J]jXynR:N4emtpqoB(J{`6NuMlE翛v W&5}U*8J#m+ki|n"$7oӌQzBI["NOA"Z\O'OQ(r-o:$j vՆ׮]O,)h,tb 5N 䢦fCpgt4tv$c J>ߚ!c9P._ ,Q~-.KG(?Z|4[$oH͑u7lke8.κL,B{^"̴е&ϜP:ぱcG*# me^y}٨-ڶq/I!v3ψ ࢐߽TQ+ q|_rҁ!!p^&pfZVAf kXpL&/6g >lS0אY&ՆS cT8Қj®Zvt_|].H*;\1sbA 'ƵZ1lS]]hY 8kGc܃%1ȓVLm0 `c>WJ#:T~B"pFŕ.3 06o4r|orوf=n6Rm,8@&@}19A)Ss8{UⰹT9`;լTyr6Xag䙍Qⵚ-g>JnhJLmg'oxqaZTM RJNcY՗}Y,!9ŀ-.4ÓɯOZaSWgϞ'VE7PU+p!AǘRU7L4uuRAST⠲* m{kZI ?(/mfHo/'ׅ>h% EZ4BK&X {3*'?sq(u"/uvLzhßo W,Rm4hBd/gX!l];RQU/R =:xԄMMr;>$ ŗo)1gl*C2u+z_ Mqg5qR!va8}S;Е1߶tn#J NfG'sHUDu.g6v:#u!JPۢй_k_rD KgSYqCٴ#M˥TūP)r#ϵm:s0VKP͕Y {W[A۹F# S >EK"J<!zRȞf[t m'4]h8E")*jb &Xsؔa(΄Bo3"ʮ7[}l%Os qwx$4e'RESl.zX;w1+̳:? yl]!Vq'd,풌ܨr`K7Қ' ^s〣~};'͗wR :Wz7L eÁS5@vp_W|~ϩf|2IIq Q]`sLwByF` pXVp /05|:0t1]g 9]y6=CJ*->p=Ʊ QXZ2J;,ږ;C ԣB0ɦy\_a_VO&FCG3xpy[!-3+TpէĈ.c+w>U5%"&4ԌϞ*+Y*)cT ܵF)l?=fc LU./|ˌ2"In/Ywo*G]A_):9M8y8ɟI*Mp*Y^jFs$rl"(JJ 2mR1pKMCծH Eu@?^H;?yl.-}Ǿ ][e~qיފ{(? 6j|GvQjTؐhB @d4 ^0m 6S94ADX0OUG!6I3$f^mi=L0Y[5f %}Xog[r_3TeϪ>w_[P, R 0MAHܼ,lF>Le<\qEsڈ.`s'51I!~J's0{nn™_z%:XD !NH0KܰLW-̸dt&̮]E$l_S5~}a)Q'R~v;TCz\"dٰZwY"(5` :ʆ N;p氠> mU n%sv(pjccdW x/B`6MU~ +lh!QSDn|Y܁X04qKP%׏qQ)ngŽc8,3~/H14Z6d BjXœHW+ m {TZIrols8"ru0 chs5ΠBPpS#)`9g8; []8~o|hE8xpԻ[ rF}X+6yŮ Y=` ܈] yE*E4TsA;H@_كgO}Y#I%8FR6KY <| bÄ+Au/LR/5:YB֑ h~Km=S3 AgqdJ,Ȱ 9َOi@8a(EU< ȍ:g׌E7pG O{3*@b2!NJ' gYZ7zXZִF! VA]ŗXi%L!l+ 5o, ۝tOD+a1^̐Uǭ~CffCܛE[`@dl?zOEovJdڭ$b- No  aCҤ~&/5-X:]ϝ[tw>ԕLMDBÁʞyk (KvL[zp: eIWP%eOio\%)  r9.jd'}|+a5{n+.keb7o֝"dD7,WG0׎>5ɤtKy4.I#_wI?d{1/ ]*z_S UIHCNbd[lBJQ8%1v[*xqj@N@2Auo6ty$^JVFzajkhiZhv 6S|$P=Inģ:.m5 A A'N\<5_f1BiXqYާ.ӡ@~cV>bҥ~hM < FХBbRJߧG[fk&Bk+/4 vϥ:9aȊWiwBܖY6 %_uO&Ƶ^26\^I^Kia@w 2' .}螝ȓ~qŠ Az--z 0#\oxϚ-:iG^I+IzRjTc* R^SS|۳f}}΃"`9s6fdQp}_wAn_j/Xy^ר-|"̩vlℳKa_͉Fd,+}6 Ah6 ;&e)ž 'Xilcb;%3Ɩ)z 0C5A%˒+ٔM>cs+0@=7LDЗVV}J:C\͖⼪ҟMQWݮXTvD1t3E't [[Q?r8cZ>yeyZO8QY5㺻Dzr^cEy'DL|, C\ bKW2{@$^VV|#1yJg&mٙ4 ,-am~tL