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  11 D| ]% HOL-Decision_Procs:threads=4elapsed=483.945cpu=1653.796gc=139.868factor=3.427zXZִF! X]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bCW9fwϊS{^ x)Erxȣ/վ)Wﶶ08"/ \Ѣ^udJSx!m(3rOMon䧛T[I7R=5tҵ(mp-`W5eJJRUxq/"wƔ5`s\ g|ۄS LQE\!֥lE#乜e[P F־AX U>YO=<'[~ јֲ|;waiˮ<RLTg'\)㶽saҷc_S u]"NJ#\=7]S-en[*Rv8׭:v+o(1 EeDc PdEpvQ8Ac;9: |lNM"c0Wy@Ċa.utPo60|g@Yji4A. % ]Fxc˩!d&A9YDYpJ: @boJETjh ^caVDp,>6 9Tpy.ypk ޡV#Lt2V۾c cd1gh!=˹rxm< e"LQ6ZVF>bi@x7[ U=,rc3CரWҌ^Sӭ0w_^KgD'5ڮ#и[^x<[~E{-Q5Mw/SAD[|4ӮCƼJ"R;|lB9EhC 9/zZHvC=φLT:텭x!Z 1f7Ǒ0EBc3ms#E# Q]$Y\n6KWرﺨ>q@gg;wolH 1 HOL-Decision_Procs  g|ݼ8\3&H[lO$`+ӻ5qR8(kqKơ..j=]uFK)Y4D/f0Ȃm,-l{$CVgU 0(=c0lenT3hDJ) cj`hfd)$m[^S5F(\ f9 " q$@>*1>}:w#yeWİx67l Z` EX7'OgpR5C^ٴ5aR%˷Ap=^:\h;H)C  #huw OQ!I 4HL$gn;:ވpN#܎k/{9ym5.u(p" R߂i?+e[cq {XVYy?_gDM@8 ̆ `lpU˗Dύ|$]-xex D"8(𒚐MIMF=J?]ǁA/J*9FKemYi8 Fѝ7ؤ؛gjK+ak^ 5qI拉.>]-qJNWYp Q3w;;AM::~ZNo=B% Daiw XMG7zCzZ"5SׅkOky}{cL)~CW1t僓&({4c`RZK:S5%4an* t:rXF);-V.P<9f ~z4ڐ,ukDyQwm \|Hρl$2*'q3MjfX 9VxadkA3Y bNr`ڞ!3ܱRs▟H{EQ謗SQO"i B0.! ȇs{ӓ~*L;K"mTDu>TUEJ8SN^9 뭚u QS B .9R'ĕ;#L=ˬ ef/ :nwf:{ \mt`z҄IR8]PYsXյ|݀\^>4EP1eSASn4&0Y|ϦI&5Hӎκɻ;Hl2se5&_v/|t 9Y:b&ìhM܂\Ԫ[l)tؔG?2P\\絓 Qd a~R*\Ӯe5_zn%.!!c@{^Y?'6{\ oZ[vжC[&,;Ta 2+oUty"PW'wA^o/1+Fv!$wm3o}01j^_?&cuOK3U#M)8,BaeBա:PO 6q /|BmxTY\s -{LS4k,Y8c"=L U DXer9t_&+xKRA~8nU5WZ#oơ;J%w=X_+ Q]rAΑf^Gkv6BE9۸2֜X ͋m שּ;!eo5%v p-ga`LA }A'q2 DA2hN0_j -xbff([f'?`EOI!Ɨii/$e؈ՁpLw_? p Q59GMZ-Vh$~עi=ek0n5c1mrhm%0Z:WFuӂUM0z"ڝwBc]⼵C@S@5 冯oX#>5:j`kW9;_8đ$IR08G֑o0UxeKIPQ%Ryfͬ]#-"b> x)PҟH80_2߭ju`QglN@ Op\b ;^DlG@=ՓZφb(zd<:ѵ<7^C("51מƠ F;d̢wD2'Aح6ƥQd9ӐjKbzl_@لn@tWNͺ{]heluҦvv~nmclB#(:WaCD64!%P?Ct2Ƿ6|ߡ{ʘh+}mL˚P{}wMHrEmT4w{J*s5ʄ+]v$FSd``Fy FiFUTG%|] jts 2 ;V̩s gQ"b.vW5{(R`d 7;peњbm!zYt%ҧ"ď9\ voQ}ϯ`8e, PGb0 f^'h,}Dž<4#\7NyBە p-d(8]2KsJU |H ibQ3''mٱlUU|1Nd] |1="OlN{LZ5y8U*@9,%I &%)%58~vLڥ>[*/jЃ|H Qb`3`4_\пbc"O9~/b{f#*rS.n]hr @[|OuXl-@{=)u~C~IyҿkW(q7L Oy,b_62N11 L|3s=*U+f H/!xN`m⼢Ʌl5[g$@, FN4t^ԏܺ7KVBq/3<~qw< vB l]$3蔴G2Mi) N| 놃=6 ؟$8њd,ZaVxQh(-/$nQn!9"3|HwPVZ &G t,\ +O?=sR-%Yڄ > h.ƙ>'J9?s@f|-Mnp{X#3V`07 ɻ8 aw!-6 1iH7ʄwR;i;X6\mƥz/RU"Q $cc.Xnyh7k7`z$r=<>Ua&Yʗdڴ[&,\ eZM[͈'pE9L`,i\mq߉:lP\<=\B 8%) ]Du]! E˭[(:~Q7@ L}-.:}qPf`my<ۈ61.!uri[K$X7̭5g^F02\(fyQwlp.nNMf8ހlf=+o&0!5:VR3/LB[;KL?sӨTv;}o2``0y;>o TXBLu^z j4E:ά;C.^x*iK̯s-r g:Z oOqϜI'W2Z&P@=mN}_L컛ɃOR ;OMkkPWi=H]?Z*; CeJnq8Ëm+qAVJx6SO]o@"x`}<,j> d/̆#4ޓЬpE$pyhKgsWE'9|2q9yHgϴɋJfQoxTS39b͋=Btb27p94 (Je %p~E"nNc[OXm@$Rº3kX.Us .XQr.aJs% 0=iEH^*g) Ů˟p娚ל쓃:`|36ơ}<\Bɑo3*SXʞ'l6ӬԦ 8.ScKKlHPo׭+v|fIm!V}M!|k`fgN@m}wgD0K =񕊭[1 ,eZNnoY}"0Pb~m(ǝӮg7|tʛ6Ѻ(ʾb|'A">bT<װxw>g5Seȋ8=V|oϕBP٢H@hve#-wUgN&h.]Ϙl;S "-jrM||{S+9&I ɕbUX]KX1Hx~g/eA4.&@bRAҰNoǭU-|q&)Xh_*YOJ20/-{rض bI<-\P~=>k]#Z'PĚE-ͷPp xRrcR.p* ĤpUWJσm? ,liz :Lڛ (¥ yE1!,Ky<@K Lm@ z[sD@8lfڮjpLֲ='Ͳ7{  2V/ZB=+>xȈvBs`&9*_o1lNS7t2Rިu ab|J r$#X\G}{\r耞-K|1XTwG)Ʉ<A>lQ5+Jx]3TUmh^ݸQ2~g&Tݲ:wks$@' cyM*]Ijay>:IQ}">wxZp1,l6JtJIFQͧP\H & $pee~Ȓ S0-Cwqmx1!: "N 5|2^?6ikp98F GgYZ7zXZִF! \]ŗXiɟ17L? KxlWP8SաM~>fٺdO.b-D0c_ A#}?'CIkr>ޕ-R mSjl\+;4;$gYZ7zXZִF! u]ŗXi%B4>Ɔh}I+aڲJ@ӿ*8=˚~>\!P+9ne^m]BmlWB,m-fK>g%+A~JgdDWr/ !tnZT_pTvkc EښĂ_kDJ$O}HcfUf՞I,Bͪ|jv%F暑#\ w\Űsbq1rΆbٸt 9w,B'/h{kޞŀf%Ys9wEB]]j gb`dy옸7ΐXp2p-^E, 5 iU>?J7K@슌g).%-P[aVM*Y'=-m1. H:"nQ('/IG­tKAq}]A0dh~E,쭠MCY@0 kr^okƏN\r8$(?k9`uB"*-=D?JoB ]m_'fR:"_/ZNY>$oY<{G%DW hd+`_|tö=3Vɷl\ANV50vkmcZ-SP$]$7NX Ip_`[if_ SX=$jfQѲm7.&RIC񸗡`ΟLY lHY'6 tKm]w(S"`?F2dСuĐ |·T+g9aP&a;deUƳ%,H[OTx-)9_%-n_L] ڬ`NxӦLCg_>VGǏ]}0FWo` STe4`RHu8Ht|[$*i1KjSu eTYBp%v.4{ td^n'U]q2@cdgqMS[2EjZj&ۗҗ8ϣו>Gwv/q>^6]o0;"р^Lc7$ӈ."1;w nNn`[8v_3lkqSTY@ /n5ظ#~=p0kȂ{ 'R8c_dě˗ ֿ"^>\* *{ ~^p QjDӧSWhP.PGE˗M2#\&p(G(v>sK/_*@Ia7)gL m?9!6Zi]a:i9vw$4GX91U[WCK>٬ v|ɵwN|RML al┴_grضD6t.n+֬ZiA)IܭE=)UhL{C!hgrE3$T|d# V_{+ cR6<нq*"O_FVN+Β&YO"m3IˌsRZ"EYO691.%QkVu&e c{cR"`iAЂ~cn⺭h]޿?yۑv䙶Ec>S)4& VšZ{[$M&.WuH3=ӆ`%F"'$b@. ge$,5鲟ʺG SP?KT<Ҩx[ΌB0EY.vvrtvТBFͤb;HG}9 $Ya֊gcGo>ငs4h ^* :8;}ˑ& R{w?~6w,h~ޅ{}87J{6ޛ8}z {T!J'dz(%{rM ^vv|av;e(§mS/&8~Gpu ="yݩ3tkTbO9FadTe r]JK ~c-}M&wTJUEL$ SöePU3Õ<48GPB_ e뾊5Bz!+>;%= n"/bV,m"+b!Z.oF-ziYrfzgcBsXueg`Kg,ۨ~\GHk]6Iv?=zO ىve0>#8Å̇TCۄds"uЕI[K7?AhmI%Sy鐪5P0 D29Q"6K]A~"|µIL5ʎI瞢Ll| ;^QjڝU4D/V vBo*l{,:N{uɹsL-jQ /u A{~l7p+d{7zsAnxb@ksK- lgzGqM&B=2kgCQ©2e)jebùܲ|~+1#vԐaF}kع[SD֛?,T/`Ppm)mW /TUc5gWż"/*t"g;$4ʞuֽ_K [$ 1| Fyi mA0IpZμ.P҉XʙVqчN>͐vgoP(2E|k듀]gJah΅=Ⱥ ch*@Y *b g^Ra;:md0=Vp _!U<7&fh.%|L*kYW%hTߴڹƎN(Bkv x@^۽6QL;ZfӮCH5CJ-2baB66Y-jFlJQHgT1>qnUMbܘOfgSEnI=Dd$nωˆd*PSx vw)?T2ejI{8eϬIgVoa9K0`/CkΟ=| "3);AѰn}׾э莂`M{G})vq5W]A\ Y@͹*f4[(ZbY;z]^5K*aBM-MO =6xy"p(?EUa*lg6C#) i߲>;JnD|Yrִz"ueW G~:^Ly(1 zwO!k쵢i,q_p_Rup>lM<~|t1`S>j|~a}ܩ'=mR2,`;yx:J$h~ Xƫ¡W.p#횷iݟӵTI,,ׇQ۝)$]+w >`uF2(SY ljxo=Nh84Y}[tY`HS᷸]r+usIͧŚwE>z,CO]KȓJFꝲ^[B|B^pj{?g :jQ_U ""F~M-MljEg򝊪VPԌ?7`bZʍax9.|/ '^Xf߄Dxe!v7YΝjr.'JqS'Vi'g89y?&c0<WPfKxԶ#iLk1K#q]f/[֕r48d-3W LǬ7sԋFjEcb)eHѧy8[7p#39υƒcw2  |ò|ʞg( t-Q%BtR`=Ӂ.Ub}c24 ^)Mjզ KY~#3"fJw8A2K-ps!ȅw4L=L)l:0A0 %x\̿h#nE'R /bշ7}z0ϫT%ńvՃzat T [XMw8MYj fw0ZL=J&M۹?竞s +y>+7dC[œd<4Wv2LyQ~,LQqG Ez 2pPFI [0~)h.YGᓑˏ Ӵ\w%Wi.I&L2Hɛ-|` WMG֥,__FGPo8 "IXiLU?jm$,6 E)=C8D@P=,f=v-'pƱJE.G z 棵9st0p gэ1SA?@cNÝ_Z)TDYմNkI^y[0O xVaNe*r,j2dk? &e@Zy}bLU@.q1?sezJaC]x&"#ؑj*,7Z2$egXLHWbyoxӠCnnvS;15|{4g셲o|*$q"I{QI¬ cʚTw_(t|F"`қcɚE6A_~Ǜy3ĕ&^ W\VՍL{_qQISMJsPWNF Բrt/=o \YE|y?a8WcD$]z# @~5$Мn7\a3 E KuFz5/\yD30Ѧ;쯌}L\+ cΫ軪#Sv& B(Xu_ CQe~Ea?q_37U^.5NqLhn(2r-ysHzHacM MjK_e']QQdN).F'RBrW7}qtn6aԂ$ &/m1Fw uwHL(0V4 (0p`*":HHVg%Yǻ ^RnJ*Q0rR'u|O't C韍E]HV]A.|.NpށTnO[; @^oFJ;b})_.MHmSD .O~( 㼫VXY]٬eQ0{fmUy<ю:ҀPh7ӉY~%NO$n7@Nk%a0"+ c: .sXa)ɚ O=d Ʉe9y Y ΜQܭ!uf{pP{ku *\<ⰐxJ0LY. | M~W/[4IH*'T`) yK|Y."W 9U<#X_>L#a!YvKc.&/q5ENgnr]"<ЙPR;mv"Zޟa%XP}\vȏ{{OU®D׼Ds$O>$v4O* q YQd D-`@^*T1SR!o j% CmT<4_ _V H0)KgSJ28g\3O2^Ct³ yGēhFxr^.q+OLٝb]+_tF1(d%[vT})xɐd] :SLϼ=!]ةXumOL!\KvԗBNme<;% 5JeXabY]lXO;C P=-{򦪸i2IbIy<;@>H6&=9aқW(8# BL!}d4vR;` tfB|RJcS1e1#QnQ,©b%bxOjSxpt{g~#@d/]l y Hy/ZO4 C}u[&`嗇7~HSXI  Vo?|o?)saJT^DEd"e1Eyx[T߂:$vv4I!h@%~W^(ᨵ'*`pb{ hR9Kxhl6S|o 8FSxR0I}ɑwO%nɣe m^C,1ZG-#zD1y#dO+Z\ !ݭDߢSSv_ hd830DSoR:Vl]@e/Mq'XuKX6zb:po `4㜔}ԃrij׈%#fR2Ts%~^P[R 3)ѻl<*!xo|B2(T2(yϓnpc4Xp6k|2$,]- 9] /Q Nq}k+̮uNtY^| .>ؑ {TB?P=ȱ)]Җ0Ƒ5<#GI(ůS)yZH}OC.)x׈;8p)XMbAT~x|w~+C"mJy&JʠtᇕG}>:M'}2| 1C:0y$,;{=&I9Ly))LEj:ҧ8~q-]K& 3>./VI7r%| tN^='HRNSWg#ybp}zS}(m?[R V|RII="pVi`x)^˟v5dNZCXMP0øPx91ï`Yфt>{މ½ZxL՜>j,߄ܬ822ȇ,4)YMv>ĹJltb/HZ $٥o7Fhcr&5%1&>wqb9t ‘)>1q/׈Aͷ-?o'x .m~q_==N`AqBű+;^ͮar,l.iEh}pT!v6tS($XtyCQ̯c$ZQ~ ݩ!s(_Q3]?>"]e\LFAP+Å`#@P X q //r;%KFէD+? c/[~?`TLÏ3K݀ܠ*5IDv;~-ߑ=gz/+amv(auyzўx} _;==MPܘuj~>dIPԿa#RM@I ЀȫҨ|-uϡrwgiƋMMk- xƈGnM5jwQͨ =w\ ?Zܖ_?]ETME#p9}1Q [4W/-ڎXR=tnK,6iY_[lQv9j P ? sDQ^ SP:K'Z8T:ys~)^"JgeԺ::'# r"fXzT110DKvJ`AX+Ylh >Rv@ȉM֞"IBV1]1׌x;`a:>8<VH]3bц4 EߐigPcDĀ,_&xx=(v!n22d ]pZL}퀜@\А͗e{ N>ٜK;)CԆa W.pߚ1[6_y vDcw4 N]}wsG&<#Ύ->4H}nP :sZp+@H2Gi8mY3%nWEY- KpfO_gt!P[F"lCaE,P5 =c.u_uM@sG`"p%O (&$Vە/i,#O)&.+أ(OՍp1)x^pyl@Zq^rq:c{K,%J:Gsʴjz qű˛8 d?ՐVM*l%j|Oh1g2fgD1vcL!!cpMl9FiTPgjr?B[#_iN6ߠ;?H*O5rM>y+A9qŃ0po~xV8*^䳧D7y6FTw͍6 'se"UjA):\\ ȮS^\MfǞԊKmSY0t[]t;s))ɕc0Wpf3_q`{ iUrFDr&Ѭ 0%u y #+Sr&_;yD+14V;M/9"א eGo7m*{2}B {˭53&%ъv_gc񡂁-٠))Gc,C5`RqWڷI2_m$toY՝)lfW*kMf4]^[{jO;"R }x*(KJA Ėt.>*^s4zn=))kOe/nḭվ?Pi -6Pr`[(H:gw5",(*ЎqᅇgVζɥ*]ᄑ NO^'ʟqJv._%xΠSRkVב;'аbۇBY}8\s}{3?1AExaL[5v6(""WUڝ|:5!XeO=8Fl@Sز  &*VZCŠE 7|j\c2&p A^k$ $s拋5QA@jo7bG{~ɳl9$M? uo!ǑzAot}?u>v䋞gWEn2OB3ܴQ|$̒/\kKA* M:Fї]8д\O DJj7Pi q$\ۤ߱)Jțku5YΈ흗&ZV^;kr׮-qo>ozL!qEj 5VE%#,o 'g4~3y!(|c$̎`^LƘ(:B)TXvIYtn}B͈ G89#kBvxغb:qqT?5$DF-i _X5Z"bxq }ybDW漛s%]Ξ\FW;/d$[ Vz~!Y$c0+ =bL䷈zw ݡ| oGQ}3 %Ykf fba3}(G U]P B6.a x:PBFyhnx\(xdSE9c/6D4J#&;OYXh+4`)<Ƽ]U`CK`Xpms~{+mc]ݰMcEPeI̚V+Mb4:[k̍br|3⡒ "KPz^SM?8]-gz(z)hc_On{&JE#@PkAt04؃H9j| N"& A|q9'#LO_[Jlg!&_ʳY~`{β |4 <-!Vvy#sצ"B: 0O2΋ 4Δ6 tᩗc),*3o`ӆt^T'䧒҅gTM=>HN gR`FvP ].&PIN2v?".Ԧ0׼,Xm}T/U1p[5͇݊K DBsnxFP7mK'^xsumU*ȹD9wVo UkVC* A|2!IZ|;ǛT{糉DoV91^d*_PRP"<㶯j VlÞ}˨|Ůqr""$x9 YA~^4Z`( @E rzחN{ɰd={n+U1uذuH~:x\M\̴U\,d{@Rp猐!x1ϕU2@&)!`Y6CNC)=گ| $NRKanO׺aHkFh0]^+1`XG7o YOݙ0akdPtԓ=~iQLg;.;=@ɒ(ſ攈 s`)sO;\fw0{jmٻ'v$.Hv^.K)I]C8"5c3="+w;Τg6#{6q%0fJ +|H eS ҝΥIVU|7D յhR[T], (sL7 j?"WpcL]E7cT^ԗwӹD9nRrޛ0m㪨3entcDTz'lji"-^5DpzHJ= ׫M۴GSuc"aYR6l2q)~잌J f _R9IVUC0e6>7$ i;Md-9?y^!$]A6ĎeU @@E5}ù IYa,"mbQ+K.ڞ}v7AC{@GVʵDJnCb^"6h j`Xi0j\dijc'ӚUܘDόyw{ Zq58͉\rwl8ھ-JUG.anfF:}-YF9 @*ϸԏ1H$A¶7=1'TK!/'{HGTvK%>S!yDa߅eeڮݒ5l4h oKZ%1&8W>EN2ٯiEhg( &m%U)MSȽqDIVlƘGfSԸ^P.uq738 r^׀gs}Z />Ҭj+i-FDޑvD#چ?*G3_qPk!J,:D) rׁ_DVW#EɿϣS,MfYΝ 7e[ vr^C&.@ai_.[?.X]_7է88 a ^9!!F[Mc9pMѦuKmjrŘ܈8N&p90֕|\"(•㭲#uIvӫjd>/RW>Cq֞EjnFWNQ&@#g(0_ruNe }H4[X|Ү?J؈S_=p)NǨ :=m~Yf׺Y lH.jB79OA5a¾x˪i3ƾ 4ƹXɘZf^yKq|{W4({|B̢xu\w&mRKWSh+'Xw&!0 9MjBA}e#)rĉ5[n=tks*,P cJTm?ǫ5bZ/(e dgF+\`UqΪ^o\4W'u&Xe.T %9Owϡ;6lCQ,yHQ% p ь՜MH=ulE~HeV 1R OdDioK7륙ubCj]ZO+e!7[C t YX`ka=0}Β%/x4ֲ%/ O"LzOW[(\ q?I أmcRxHpP._,6pYڮr2VfSJEX,wﷰ)OX)׼Eky6 ?|V:i/Qv XX͔\ӼN +t5}/s3Z"12꒓Q W C`THHItw6ː)Hs޳KBIqGdl*8Vl1m?Ns1!|{fcwO`PX:JHPF ^4j;(Ky_ (B!&Ptvcj63EZ6W9ZE 6FP)#p^)U㥆xq0L.&Tn6 WbdέnVGNDqۗ#A=sR 2e!寛Fq [JgYF{4z>`5=Op@{'"0>Bt}Gk`v=bnS:>R X}:K!ʫ$†A(A: fPȿRe+R]= Hͦ:<`,X2s|adz,chIy]Am6Z?)IAζZnbXn!tWa'c9g'X JO/&a׾xmUUU:ĹhJ{GU;&yq 7s@xAuEs-aVǠKI:Dhu EӭB p,F~΋nEH逾@%<`s-Lj$,O  rk,3`8薠M`ln;8^EJvq ҋJ(vؒw;BWZ4,"!MIDz`sT0JPiy)utL0(oNy'eA;s}cgڤ'$=\~܂Kw ͯ6دK*Nh`<,~I큏jfe,^t{Yg Ӥ $IT|aϮHHjg[sоfB6Sŝ_#5)>.Xt[,JS̬}]Yє3.tuVnWvt_ j("pL%R?-ƀ \T}xM4b$LtoSK|O;NS_1c讞sHn'pȒwGEV\O9?50@YedX4"meϡXr̴^Jw2^i"FbBH;LC21̒&GO\:AtGEaci H"D\@OJZMnˁ =Z銚v $NTyS^$dsݰiK4nm-V]W%KsK?WiTq)G(c6j& jQ D4>#:МW+3)tuh2'yoW6&ʆq uOߔr%2 (yX>,h7pZֶ:{&lk2t&aJːRK"VqGsa7*JTT\V)Y!5֚f-0dz8"B Ԝxwʃk(cQ'Ej:Hpmog@b/5& 0C(η][: @p(,Ifqʈ0e .hs)YvkRgNtPuU: =*Ǧ`m8RUy>7q'!axW`<TޕC.Q゛(Kj.0)o}\7YB $m]FƳ6r^KʮӢuބُ!'i<R; _kçJTNQGM~5]bW1#~rm|`;VxK#V ;*"f.|inJOxȳk"^R?F8xh^,jwX.J6=|nU LW^NgeU 4GF|Xa5=$<YkN~adyNu-↓3TP]t~-YJ Pޛ6 >}tVΰ69t2&'$NO-$||ѼD?y̥*ecf@oFmMgRa xhQgӛ2/I=,2ܵMi15o}B[O t:: beEL6{ l,MGu|z}h&*Ȕ!p1U 2V/MqJmSWFM\6W?z7BQz(,D4w%UUT&FS9Zdl_EHlmav0a󛄫P}+E9(_Fcm7Ia8|GEPRQ6؀ղ {챟DWlص/x-k=VJ`@Hhan(^-7ג6X&IܼR@{2IMy5'5D kxS{PyZLѨ_o_c0}4e 2!)#KG >0*oˍڲsQ-q +jĭ𢭣_.NҽeTDG ŹR5b{f%jcqH,aI%\S+ޏ{mh5clQX+ӯYAs О01Ă0H 3=rcjW>f&v!槻mZ_.ZәݴB骃ۈL,p6iaO_ezcrE`m .uOLx |;b;ueLQ*far"41(Nʟkng q\ ע,(mM:Yvo,MF[85q~WAY," J;IJQcLU!r?xA-!,d~8/@%||960+1:A-JX\Eǡ_d[MfT5\k.o +K<>TO+Fxj{V4<,u}l6_ I9/;°N(g#K*f=f8`u NB%uDXKF~'D スᗓE_rpÜzgEQڟ^kRױOg`u i73d/%.uPf<`cNsMkv͏8VGf2rƷ7O;"=w.&:rD W3tՐ{.@Bl:+ъ=Ʉ-[q&¯3Dfm3x@#V/ NdGp ]阄`6W[{f7<"$wCFMr2hs*zXq3Op֓f wݣB$ai:(~`Y7KL(0h[ Ґ *A;Lao7U= ۊ[M'fn m}Iɜ,` hL~Ach&59>AKv=7$6>VGTI׭ R.w`6Ul,a0gYY6ݙ;wMFGTB+|V&(3Xsdrv̒duz{qH.DG䛣A;bUmk8T-1xROLլV ו>zP.w9npCrϊâ#TY[{ u9A\ˬ;!]^\ FqQmwߧOJbo'LZ#nD` UyAolhK1"4jn/y7 VGD l_H Pr]7K:Ҏ{M}J޹O8^tRQi>Jde&K.x[ju_N1cuJъ(N]%3臅Q+_~ClPM;A=~#1D"H^My3ٓ(YNq+U)?Lƶ8Op 3$V,gktK2܎!r9s׻yk/0MO4Lޛh*} ^rԈ02(L<԰Т_' q_|]O`;ou$} MGc+柷`Xg ♥Nqؓ!A{;?eBrNu_qq(ݕ:=43sH$\J\Tq5}F0 J}EkyL_ a0(ބv]V.Q ?ݙ6AP9!=i8*'\+0guyw?31 /zBϼz^psDQfgA ]!1N[QKUcVd0k͢VF< 'FHˉZ#z,xR|%C&xK4|~ \Nç)P= N&IAW[T[w X:k !aXi("b~M҇Y-LK'&",BoqNߋ$FSEi8GB4#.[ZĶF5x9XttҠo /ګŊP| +2#bF^&9`f|ǰ9s4oe?q짛33}GUM059B =tQGMҫ{*,QYv$6'2B>u?VHC54q~pkL-gGv S#1,Xzk#FA^8 [PD&Xz ^Hhפ^NZӻ֩jfe`׸{P 4wu[z[F.lMܑi8o'NLƺz <,ԑ4RY}3Q0[ h{<ۼg(kS;Qi4\ne;2V6l7,gF2?g%l21d! /$٠dƭg C9Ieě۷! ۸<ˢ71s3(I($!;ᾧvtk"ɀFS/3[#ا64PsU^@6"f}&8Hp˕AvſL LĞ4X3LLiHgk҃֠=ITq d(Dm֣0űKlU%B,+|tXx2x.DKDĕ x]@DpXσ.,$8pfjB4 2@ψMfBPy: Bnh!OoVproQauw2K vX_/)9/AhJ; R$p! ex_F_jgq#rgLu]arƉ fNdxh:P&&c>*G]||(,Wo+A>5ދKåQ!]{[[MՔ 9իof+55@:kfbYpz;{jSaFz4.``fl!xa:i϶S@~d my?7;DT-o CL-R["=8 WaNo{A+&{xGL(u Aû^_߫*y+H7]&M"UPX)M$zobGt}$gb4?]£&ݔ5mlBPElM;O&Wl]P]/4T.ƢÓi]GY+ɎhyƾN##/q:3B }*.i6Լ`BWA\9{1 Ev7 !́5 X,Eg߷ $L V,N9^ӏt|Od@?\OIhv[AZa+e00) /=Et+ڽPZ|%5]'V1EYpꜴ^&2u=yۢfR{zO}^ j*BrKmݯ+G,w6\y5` Z?OhoIgS]I+l`'JQe<`CqiQ{1zY2:Jk,3_.BrCcF lD:,oG78N@ΉLcHRH5A1-ryD/wf"R%WhI%mvW<- 2$%N4aJvpua깽)Ե@uY W8Qg aS"H7oOU7%2ʢefU,KTC$@Hu}B^ىԚ#T {}3Ւݧ)0ft@O Wu3JdWVfOfhֶ_+ ҝ%Ūԁ0m]X `~w5mIbXl6 3 | M6gABfЅԍ#K[anS'c<\sy[潨f9wµAmAkzbV g xn6\kݱĠ Lj΂8=RDzLt)0o:akU½[ ecb_e Jèc1u9-R[!ԧx -jUFx4ϽYw ZjY!:^/)3< Hlp~9 w 5&2pUsXkP%WlߣTOe"۰`E*e mV$ǖ{,8.{s(taN_󭳡K Ttn浤a~4{,Ei~?!hò.akM7Vh_/l7P' A2 <0*~~#o dhu=p]i8cåBD:YC,H)֮qs X3(l2ZwZ%=nY.oeX"bWVOlV ZKA0qjaؔ~?Ӆ8P! c" ϰ<-V3>\r*lĝe^~/#&g۽:\|^!>&Y'R֗r"D%dڅaal(K e2;!*9bAL߶"}n8}-+h >g^x'D^]<ՠ\5l%ەgJfF ys;){9y~z);h㢅V01 .}?飩]C >ֹ"9Gb/nTӍ3ɗwuvZb4pe &w1BFo0 -R%x/Ù-"zs5&01t`'͵LQHwH0H Iu +|꩝jqxQWPd!xe[X\ڨ{ hs6Ds&vweME\ >%S v[X[LmVn "$u ee_AkąNK}d]zv+s8J}i/>\smy eMp?Y{>s|mˢ[ʠڕ(|p2z7if<|.K`=cHD7ikWX"ZmДq@6N=wҺSt й}cO:]'NWQB=Ϫ00;Zҁ㜒*Tr[W@r-^#R05fWC3}sj@VNԅ`CC;Dko83^ ʬUz]J/"#˘ɉAǖ;a~guE6')QnTyxh6(M96fWi3xCEz^7 T'QKUj< Wf:5'2Y_JL9x۟q[- hX>pϖV)6);Xݬ^GfP(f []r&npR?M ̑LYr)kۨ=LIkPoR1>2ԤbѺxfƲY~-0PP,.IP5 >`Hx ٶ|VcP@S%"Kq<7wW;&9Drq?,)܃h{,4ox6@dVFtf”&oKs j*~/,+=7Q;jc/`"xE~46KQgo Θ]z@R"vή2y/l k_U;U?]XG]џFqr6-ĮJwM8-d[B5VXdA%b^I1-4ԚMKuo^|q[9[[lr<ڊ&l\)nD~R4TH"Z3ko \T.5Jfc $9j֤P{Sx(RMAc|&T]j'#9hؠLT1#&W>{$+@ypna|66C`KaҒJ A]"?Z ٍ?|g0a} aH7*C[3Ύw Aܡ . +"VN+;+ߜJЇ'w}Ta˶Qyg(B~8T7ӝʱ:*EA-E5eKr͝J{MA_p_CGo|V7&YEEd݋1@ARZ#fJ[iFO p`;e6Nyܕh d|$[^iU7"Gl`8AgA ("O 5mƎљO:Wz8?C'Fʗq%-*2t9S`.ZC"q{5AQTNqH;F/Q2B[G̛1U* d).v4_x2k.^z(!bn;qΉRpv;Zw FDRg"_K7~9"_lIPvw=J'e6my}M@ Y)Ao-VVNy)EboOMՒ(fr&$O.K3kWuͦSq aKB)˾٘=cAfAAݢ d\vbCTP-Yje˙Mjd&}z0?hsόM&ǚc%y+IĠG|@ͦ!Ժ.rjW{xmhI%,P/f*8Ĥm<8YjL'&HfJ+[ [m.wÊa:n6kw7bTYFGםe'E8*0ٵGզ}wBe c>D/4#qZḃc xIfȀ,?bEA)*&j2knW P=_ֲ&F|^z:*SˋI no#L1B!_W}A&Bȣ$ز8Gv]ZE& AL!?s5VJy.YJO;,J0]݄Zg 7Y brӳ M|Q)qqŎɁQܚE_;-e%г?hwEKłwPv8?R^ taonz*vpʬfЅuX\PN*fNcT6Q2Qy49!&so$3@h^BԉFNa Y%Lܠu#jŸw"WĬ4_z7߾>>*Z2dLpQ Zr-O{!E-\QH>I:r,]ƥ,cXݧɠlq3dm =!1!;+% %1ꊦ L!E]CK[1@$?9Wmy ?^ 豇ߌ5ynۗUa9e {CjKa@Br% 2JЧ73eGHjN)[qiy ʆ)FWʾ@ّyO,IMgaPn'" kфvgd(8Ҵf" gYZ5fbb903fe595ae94a668ddc54b46ff5a6705c4509cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c f83d9d1b992c26af0df3bcb095b2e78e488da3d4 1f0c584c23ca9d606bf3ad7bbdda9df9ed423d26