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 }}O-tTL ]% AutoFocus-Stream:threads=4elapsed=43.205cpu=123.140gc=2.240factor=2.857zXZִF! ᨴ]ŗXiɟH)0%o7RK#PJ"E_z?lU+s]=$t-J\7AIu7btV40,[LvD :vꀡ͸|~#GY#]tmXJ!TEpj[Ћ38 Y\@9F3Auyo6UC`HD#4`KDLtʇ& +--E<4[Xbbi]TZz=2H=2Ɣjڢ;sV!?QZA7騠m:'sT^q|4 ўpO!Yr3۳bA}*PYsRwK+QIh%+7st:SUz}I0 y/HXD+mB+! 0Gc$<Ֆf?@n !Bd}\P5Lch0ƨޮE댙Tk)wB_~6t ?'89WA4Z5,)+%QnTk[ jYϹ1Dn$y6w#"δlb=оE@Cn}Op2\vȶ@7p{/Wѵx:yеr( *^de\ 3mc7ut־Zt9^[`^.&- 0+f~PIT &Sb+5nj"XC3\FIu ُX*e\& =0sjno玟R\sGDe* NˬDr[,<&Ǭ4haUxY%.&9~+*xճG9@3{̃#1H9ZGHڴ3x3u4m4H..Ogj;3X:vd\;nh֘p,1$/j$~ޮrDbr#|ؕyK.͞G/1S|󆚡 ޳7<DmMdW'p:bTCܓ뫸[ O_z_%q5áa*xaL-/Mݮ)Wi!B-޼n$c.$kdDW۹nڂrsq[ ̢wh AC;m6 _0sฉZEZ1`LoTՑR8F۪'ҩv5\0isR"PnKS0 o_ I?Pe70]29361*tꞾw_$4<QoI+SO[Rg< F<(s)v=z9kY%)"3;piBzŮ`|g\W&i0H V%G7z36=d|ĬxUf& <[{HkKx]p hH6y:3/Lv#-lpg4G஥q8)p^.6@RnH0pvX9T8kq=uxԐF&vEOK]WΪpFEC٤l/ ch+P$l_fr2݄,l;*Q e˅oࡦ!uI#ÑӋ4w 2|~bTzi vJb~P&|œ! 9~Ő8Ȓ{--;u@I7=[e('0R/"#,K_rA3y{|iBmV 1})SI(^rEXeg6%9m~qy3 m!1דĴ"#N%#ڮ$oݽkgbd$LvZf2ؔ;gt7<"=r0FI{[$w(n3UΖ_A-G7uH1OGY?9'B03uՂuPq4 +]9][<݈5 ^22(ͷp,v} 1{+vY,LP - AutoFocus-Stream  r_~ú|RU_|rW'qQ?l núR@:d8BE0* OVdTz!VG(lskU5e3'j>nAxSx7NBSz OD hQŵ=dWV}_\!kMr烠dzL'C;C ṔO r~)( ^{dnV瞖#x2e;$T,= ]"R Vg#ijlpc9+&+ G7܋6 mINQCʯ]s>'<'Ys0'VvvȢ {@:o$3O:R]JqVNv um⹿f`&-kb>ΆcͿk8)# TDyOI;{^i҆ ;83DvcT"&\]oIԗ8wwDt4v$_Q&D/,thk;5 2Pedtę{{֙zDװrF(TyU@%]SĴ\|NC~qǫݟ:n |zӿrr%;2 Ntu~ݣAJܳ񇈊]pa#yC&eP쿢&?>v޷T:s:[J= 3KgBDQ,{N~򁚕r@)Y!h"1%V 2<= OD%7al s7ufAA<54."e+Boϰ.hI5 '] hM͛HȢ@(aϘ=xm--X4BB~]*QV`Tf-!:tc*6{PJ"`b9$B56ķt{./ glo{#hHK]cN1Vpm[e3M\R1grsY{%#+Ä@?1.[+;SjO=~]}.(@&)( ,h"ks*vTpv7Q4"N'\pc2D-LcǂZ22 B'#azxOpvt+W+Jp$j8\XBq@#xm>)zU7'\ ӺNusu:cXGoQc<#BwnS^ٝq*Δ\3TI8sËF +\lut.|NǨI8 ;+CMϼF}Aفt1P9 SA{U{l;:i߆rfK0j&j&if&5㊊(rM WOac%7v2hbɤ#t/<|mJq2Km#GmܐƇ*:>S(F ]'I=Y4:hrPD$o" 8RCe5*%n`ggS\DCfl93U2}R̺e_yB bؖ'Eq&VBf)[͇J=zMrG%^z`Ep1cNB` # ΗVqe yέFX(^LX=ayH [OT/X&si҈jn g>kNΆRXWՑK /T\6J=U[́w*^2'3MФXX0B"3oa D}v~oMj hW,cBFR_q25%͵ƔY :a~]Hy'<+6͍HƼ.Q@%@>̥8DOɃ+n|?_ {bbςSAr$r  apL"`@qbrwvuZp9YZŶǬb.C PῇB, OTrC '1o׎; P AA[.x6-{<"jѸn9@u,~7>u3LtEM0'ƍ8JQ[5ޓΆ˰#۞<ɻ3`K-sRD2-W% $>, ZBWl;~p}_[SO{{lmx! 2>HzxUOx>h~؉Rj/E Ŵ\^'"(㐲мtcȿP PkZ vꛯ%  /F ܙaN1 7#i>͉01P)7 UebAO&)Ӓϰ+9-^x5~bPDln=pc!Mk+1z@3 i:/!&PSH:hRAҊr3"bTFO9:z-|n:b(E${2A9W^U|16BmE|8OFo,n)<6OPy3 }pHٓ|M24\V+|:~co2՚-!UL%kZ*ݚ3Q.Qa.M 7v"fjOn&i^K}ܞ!,Iiκ;d"LwA9 YarU7 #xDI霅HPk/ .H+#s ԘU_sibٰDK&k,'i9dmPG$dEOGhe3+u؄#}1K!TN.#tz̢S#S3 kt;*Iob^S`KǾVh1Q>Ar`jmEީu`15A5س<=!ַI\xrf-dP*[Y{XE#fP=`JSaJ >bE:L: K-Q`{ 7bq17J13l"rg<}sf"gUgnؒ$6}7kvI#?P:VnѱE09:s+3n( EJwY7> {'o݂)`t7Ib]GjT=J6n 8gOO?zx8[J 'r˙lrݨӭyF]5>s=qÖUW3 .p`i#ze1cCj}EJ,û\,U3on9<ܬ7xy/b\4͟<7_Q,"GDj5ma`3ZA>^sz=0n|3~*~h0BK;[`> >[#{~ VsǀA 'A [h7R?dM;CY/c@q%-4jkpemkY&Z#CwW׃LHvoU)q32h1p^x@Cu4v:hmY'Zs8Π#{@0ګ&sd_?.%n<&?a iʋ`B,vvj0r{HjQڪ ~%Oy)|PtQVb7^JR:|UUei)`0:AŇSo| ?RTǮg3Нn6і dg+@c9k|=0PD2MhEt "/1D$G}IYԒ&Qd$u5a(ؔ/چϮÃ!VWXS:ݼ N;Z7!鱯TǏ-Ӵ>@wѺ *3ݭ9v.,Y]נ1J׈FS²#..u+#v_f[Agh뜢5ْZ1i> oDC 2r0BڮT]*bS(&2Lɟrg09~;uG:$!x_Q3rq7ڐc!z35旻ODtdw$|϶h-E]Nn,ߺ?r~/1iHC!s퍢{K:xhe[Ov1z[(&-6¢9W5v-c ~I|^UA)=%gj*5Q.^Y:K#LlzAeD7ʌ6d$I)eP^w&;6wCP6mn@Y|E6f99|+Xtq cfP2G9iuX1^h9i }WF =QZd"MnXHT1/(`SgJR^ָ yBh" d?%'t"%,pt&oV=E!eg%BRQ->FWxс[LAemKb$SJ}0ԒLyŨmܲK'[enTBxS;W6P|W]VZ!`Jɍ؀cq B>'=ojRE|)]=Xng%$S6`)/9hD,ӹW."$=J\jFt&):rLȱ~y=b1XHhWLLiS|XrC]|*Oig<]6LZ{-'hLU5,*6o(dFr "֜B ͭy[|4[Rޅ!  bBԦRHfc-rN=5åx*I@mV8Bi0޿j hXș @kًZ9dGpЬb ~~*,|uDlt`;)t+ (ҜHZ2էLO"ӑ>hZB@%1Ӗ9)d#ۼ 7;T-.._(uk]!9$B,$eGzf%L+)9bU)U}.2rNff$zgmw9=ƬF IWV<Ɖ]U`&n#urnXg"HgHMZeƤ8 !@z"yHxAY6#xII|[[O퐅m"cdI ;.Jsؑ8 Džjur[לPmBϠLݭq Frvy؇Q6;w0v3E7@ |ZHL|/7 KDa4ңj*lطL9mbj[(Jmtiju>ՖR;.Ȅ.AKlk=SF [h2'"8;|Kp; K:_v|y:](9H;7ߡ;rXDv﬏+oEĦ Y !QWY9Kn!}Ʈsik]w5C떼fw}W*s/&|/XO:S0JAă`kHr/yߦ/;ba.-gw+{CeHПo.nlT y-Xro8RB[?aiUģ>ECqž9Bc˲(W憿!)\kxh &В0o,0?/TJ"{3t(g ]yM^Odul/Έ%Ie}`+@.JLRE߹q4awݍVsoYF9¸]\|C>!bɳ៌x422/(Ռ׉{fH'@4@] zw;կ7tr~rщRP=ΌZ \]}'R7?!Йp;G:6RgLmM:?OZ# m3c£ju{74mJEM5SM}Q9l/ e`@@,TlB w[Q_'Xt2R+(f#**k͵#%KMxQk@eVQuKvTh;g}qrM䚶#ّVMξg̽aR+q!9Q ?qwLٯ(l b{ < S,DLxǦ_‚@(I N"㓶5FZq]iҐұ /ʝ/J:7tҩESW^4Ynz0Iy&zf'4 J5^!SfsjgnxA90 &(ї]<2r {ûlDJfF>d٫gd|PYGeΆ0VN8HoF?%d!h"~|)LȲh+{T K[Rdav0`?0$g՞{4fb=CŞ[}@U H}))/Uۙ؊)qE. ItE5Z- Nϫ4:XaKƍT#VE(zfݭf$8qy{g{0/"ޅt+ myC1$P!ц]< q̏⇓Y͈ 8z;^6rr ƙR@H%k]tSu2&:}-IMovG)TP+RMn>h&bà5ވ'<P4I]{ <sl !Lt]XrPc9҇ot,Gix}zy¨2;Ɏ#ɺ(E6r -7*s3PʈuPJÃM| "E2/2Q|c%ï!&O6/[8`hs829>qZ'iEb`-T'}ɹfOƼ8 Q1Dr5h3~ _γފU:)=Pǒt%7`bY%ORVHuY3:4^v>8Ts&x@ igkyڳ$CTgir3!Cm~&x]sæ AAEq=PFLZZ#𯊅h!FA9Oac 6MD\&"Ɇݬ\7=n9eQ_?n` [aumO7)jtlcv|Opt8K.\",]D#X"j5=b(xا h\0͡L)"^=ͼ5ר]Iq =A 7R6X% ph}Vu!9noW`~o5-Vi2PKev]0>[ZXrkȿli"HKoPIf?MgWqIl:z F(cQ(%Hζ㨌̑OA ux0*6pMYOR>lJbɐPR͜TD˱ #ܢ)! ).Շa#.u]+C"pʇ׿N6%tLQ H&HЏ^cbYŴ^cl :U:6.oJŢ4m)}[_C<סIH WJ_'B^Q~"EmYwJV:.'=!rjbTW;@rTSTV?'da qhWh#+`g[VEAB͓o-V4*B3S捂CZ$1*Hor2Z6GgNd FϪrp .ܤ!}H4 @6YOleJ3X_wmYfNywߋma;dqBpӇ<x ̀yQ4,1:t 8,k_ǽ :Āp\d, Z֞6dҙ̐'o2R JpwZQyӾؕAץhTv/gˤU16.,Q ˞IiXM/K֔S]0.>4ZXne%Mꐍb}—gruW%#.Oy/bAaՖ@ eUQ1eXY.hcUlmܩM)$qsUIS[o5YrT[TΊcZ>{^+ |b&%s#=y56yMt1Ɔ8kК!|/C3GL4 Gd/;sLv`TEvwC-n#K-@^~PG0[C>e-/A}6%"kTˈ]i@roȋ&Ǡ5|nj4A5I@ S};*4߽a8pp5+4>L@yátny? dVvֳoKoFNczK%PYHB^^UpjL)ddegFH Vp;+vBx[Ae0Ɣ5K ݀QoD>#a(Yw_Cd\A!C8gʳIT"J[\+蔃+HcMS- sm~-YD/>?GDgGʜa"(hoZĒd0EWOn1q݅*ש]< a6STeA@2<&z7ծceqkʩl.-" y $f;h,?aP(g5ztQ1=Fy"*+xPס0xY2_%62ƘLigGr\ɪ i2&-C~c_.=coA<4I0AR'}"NYXˍBn}D42[)kPjZB;_J|srvF*{| |;vԉ' T((]J\=ZNbnˁ\!^aPUrN]^AJY~(_dbj y a{X흶Ih W3'#kݛ] T PUHqSs-EO {T  lRЇVy|%/֐7F3+27tsf,Ve(Qd请 4$ oimkH8VG(ҟJ6ﳚ}jb|) BHi]'?>S+U?on$ȍMahipx9$>`<ĕ-3T2`ٺZt|E 9I*zFma:s g .QL FsTm}`X CtD_Ŗ5S33p$IfXw|6lGWm9(8>eڸ@hn޻3\)'Wo G fu Tr[QD}8ߣ. S8'J p }0`}w6g CJ$Qa Bx|M&$i^c.o+nrX!tDs o(2k?R5_}'+s1ZHBqx|0ީo#; C߶لX2Rt߁oվ1/ j4##hmZ{/{(N s#h-WOf(@-mL -WRIb}!\ќ:; <=FU#x"nuH'73"Y+Mqs[Շʼ+'"X\i!5yJx2\ZxJ)G)e:r\63ΐ3Q!ʌڌxɡ~fbLO%}uY}s$|*\Ebacq~ 3Rew]džK@mKfj7 _8\ 4EYq+'ݴbDl v,@KS?V3ިĿ>Ys%'[] $jH͹69zo sq73_c@p| m֪%#SyMuG.Y7cE:06DBzo 'Lx*JOPe5ɚIF 1$cA^F1իU¨oMHlէ=O1 ޑH(@-43*\: @ŗj"j*Oty çsG% ʞ=I^oOJ,}XRZ޹yc`CQ26FA5\ȕA-Ƕ"~KY(N^>@B: {fHCJPU `V8"wAQ6s&Z(8 J̪)IӢxU]y{y!ZJFz ;pШ"**z;qJ[BNxmxV0/m C5wWD;AaQcv~-ulya ))N$rn-8Z~"|X^7$EL-ST+B_ߦR֗ړu9Y=`أ|#vQ-K:RaG֭P媩5\3/o\1*k‘Geַȹ+LYƜ7&laIQ)ֻ6,PԷfboB6{a ^[70hH4Mt <=:{G8F>]_SP/H~ߦ4t{1M6 =D]fj&˿;BTT`8mۡ.Z<>/v-n f]2YuOe97Fʒ}(&1mkjxiNmܶR 2Q3xnCtE "$ДOs#0j9l ^&|Ax^IŮ#D|t< rV"g``IYzNH~'5sGZWGM2ixچ>Uޟl;(e\Ҳ^)Q梶kr80U]MF"fL뽰ӌˌq4y-M\|B|֐- ksQ}ؙJmȲoJVMO\ .Xy!(̧,n%`o-@aӂPv N1u&nƮ<)PVJ ^! ];0]GhgZ@EDxޮ=MctyNw+}\N2d( j[n_BzT;z]B- G{W?P[5 ~PMjw$@@dŹϧh>[:mYA2Y1O?dѐk>M Mjt~J{莆7|;P}<g4|\Kǘ\uA%f5~ *+4E[iy5]l'R03V2?3 ß''c'Nh]]xd\wsGu4}I6p`?9D}aЁ]YBU;𽏵 ځ}5XR FDX(,V"gA̭esM!LE{DI?x,S.} W+ $_j-oVN+XR&6S̷`6L: P]Ņp9Ɔ":Xи6&} ïBU7YDڑ\D]G_jb&y-A6@v${CYW7= 7KD VZОj |Jmclsc/nD5a&. ƪ Q5Θ$uMIL풆dgtfPk &I@6 ki>NQ(0~L[1)ghs-<$LՑ}5Xsָ{j6pJ%]f 32ĠU#yO\ ?dCYV#{߫hk2DT\xGCcW΢fA\ rD7s][a J⠈ 0h丵yYr2Hy{q-Ai`GD19HDFޟU: yIB(Xh}]6‚C4yT Lu[AnC*sMndP"},=<1!0֔@C۠w'JG%RG svX!8bP |inoRx[!S(GM8?8ePgUڂ1ߡZގ_K5['=׹j-Ax)*wTaEѾ,RAwA'<_|%V']@P7h#58O|+}wlYz@!;HQ He= T), '_bvS]gE RX 9_ <{ 8PdxQ5&ѫ,xQPD;fp}]uZ,0&vm:]b]̳2-"b{B)ϻ B-PN;)e}qwWpwPBl!k^ ǢJm®An1>T>PHNǪh7Jr(0$?ҼZ>tZm嗅VdKWX[v9LtƢܧQtf׭Oc)h~r؂jZj"ao.˼jn·x_(}tcO ?S*O#x(XFhN1Js3ߔ5N)YyL p,a ;'.:" Nťx^a5HhEzXMXrnDɄ1éwU#~n뷭D[(KQ!ϯnEjJ:/S#jk٫;$=y.7[秢3~B`ȲHVs)X}7ud=e%UQ]pF9T`MXR/1U.cXP&<29ڎIrՁpf;n<,%ۿ.))'[#d lu<,bo~CaBgn@[ !*u]C,Q%$6>gi5b+2^XўFAO+Fb.Iu/ufS᭘{Ȓ53;vyjl|_WR !=:rChQLV_;F F䗅/haPj;vC$gfk:2Umobf*Z{۾Fs`O$+E»R!|?IhdZ%sWqdy)&ЦywZ XW ;j- σ{wq7"qU'?ug6o\MYתI91x&kRr)Lvz=3C%@J3)Čr gMfa!44j֌.uJPcsr hzEavV'YtIE?T_QO1jXPA&@$8Vԝ,bsuD?3hTwY̦ ?iB/sݤ|K@̘"!ҟ-60)Li!aW'E0bK4"4"Y@2%kz/Z SQߊpx;Tͦ5ݘ?'B"wZa6)v?;Ԗhd`~װSR6&z8IؠE\ f3F>`JͩD,A ihDM٢QCI s욫`H&_C\>kz+3z6F@ދS9Ʒ9UvWS4l)[A#po'vmm,z+ښURkLGΒΙU$빅AJ Vg&tDߟc)#X6,`f ?\6]+#fq,K=t>,TxWKrv;A'~(40{+'j(j9H|,A\\>m#r%QT;b:?)48v֥i+@-s mlh O{5lԂ9\!?po׼ng{sxqaȖP'=ڟ9K} Nim ecd{#8IZKO_hg?1ͱw۫&^ ҘĽ/!,gh@Ԥ۠`v7zټãjTnl4J- O :x"NمdP"֑ .e2!Y'lRi3hA 4xdȈkn5voҒ$ޛ&?:WO qSO̊_gg.7 \>Wo>sD<^O2448h 8ӱV2 {C8D:^H Y°־ ˰:"p}Ź[꒚ָ`YJW6$iOh~ ^5 ZC\zɪO4*_ϴ2 @4Q=7}U6I΃J-%}4sSx7J+io);~ݺ `pG|D:'̻"i/vVp0F5;L V:?'+p CZɒR "4ϳr7RDrr@OY,16MG)6&&+6OƐctM]33Q&L=BܛcXlIonMrMt.J?v/YLOY@Nap8U@і&qml/Mg~QrV~#^}!T1I6GGUM rIB/¹w}sx] T9e\,_o!t%"Gy'h:}'Ըf7w^RۥWQh _5n>i WXџifɓI`^]-Ibۓ=%5x -[!h+0Q ac.LQ+Z5)TI޹$;#H>*lT0#tJlޅA*|)fZA_9BߗA8԰O:S(E4DՍlGRE3/- TscA<ǞqpHaEk;A݀w޳}h%@ klE q-5oI̒ҽPFH8?ݝL`E~}FX@JZVhn X<6J4^s隍 A#91(dٛ +mmRX|R’I )tpN4 \mr~Mq澁y5s9|O:B8}mM>D]ˣp~bhh,)J?D3RNN0{ B- ϥ.7? !3⽉`N^i4nmq -3h@a&=N6Bi{UzC1bBw񆵒 ;WG@aTXm B̝=qoxo8@) >q8CKe=˸wPW2y{e3Y38@ܥ%oA/ut*^^({CxPPPE28,2:gÑi@/2m:͞r0O E̓Ea"D!3-.C 6E0;ҫ1+Ԧ̳ZT0vvݍgką2uyFڅ@>j2a"^vQ^K(8B]6э ;v=dsC0^g:hk=E' + ߥQ0pn0jbLOW$f0lgV7a&cᚊ4:8.lC"W yy'\ 10 Bx'"ȷXpeBv{E ǥȐwE4o6S@/[.ݿ@DfS޳z"6K8*zm$;˩څMd|>fRcͻpQZdy;5rE0PCf6Ko[F>g=;6i'!r FiNA%`¼u"Y*.-@S52U sϫ5'Q$֍;7ATU60rt/ȤBMZue'_IF<&EKRrW(̉ fJE}@\ʒUy!hRP\t'?4FW08α@m^4QG]Kn\@p29 YIY s&\Zqx6iY{*EG3u1HLG=.GaElS}afeHM_=)5j5ɬލ!1h_@~vjE?bm0#&DМTB<`dbUɥ&NcpUR߉Q莯?^+_Ϡ1TyJ4Pf`8&bhh;pXK+zЌncГU7'&rDl `STIH{;KBX+T! |?o-)S{mNO[]=-U-XR-`#|0.Kt~E>_~D]m?KvښwG2U? ^WDTϡڟ枞-q}9Z%h< P{ k7mZYrlq pJJKMb+kM2q5TO@RD:%+c ;H89%])Gmi\Sz/! @uvBJ_'q=C$ L}GڏZ`;*[l iȬ*ŋ\[D< /px8$),AA1c& yA ӐW_.+F;&Z/^^1YKaYTfV!~;uOV<DzhOEF*A`v]$$=놶@z,r.Q){a AS jчz*f:~ U~qE]#W"٫]0v~Jr@z_q^O@'P4ڳa}v#AlY{6떐%.O/lq@V+٠%,&;}&VfzbQJRiM`#:ԉ|z aO¹ =:,x?`̺;z:e#񓌏{vbB ZAOPD=) ,ÂwuڃƣFՔ_G#z6e:SsռQ*c[s:o OlGǣȸG= {.D*4 jyו!CqF|j 6ըX$9|B͘ g NSʌ{g´*h6jV8)͔G[ UpST=^E;~I%VZ/ל!8";p]Ti/$dž<#@Ihe vVVתĝ~5n*4$㌝U (nav>-=Lɢ8"NGeқ`9Bۥ;Л,1 9Œ4$Np'HgLFexoてWbo8v# AH;qid2N9?&}HX9՚nDW-^v.UّVkvkJ?$ 2Gd[/vk3Y;d/+~FyTӀQ?WVX`a8F#bCN* eȺl.)Inwg^o&lC# 1JH{8WW)8LRM@ k\T~H;3DIpL:55911Sf9 )9a 92e<%M .#h4=tFtc:S~OkL?b+Wzp;T\.Pܺ6bw:ɴI؟-98P e6$ҊI=+8CyDYxMR^=lC076*Ew"W Z)s* LVR^Іa:7`/.䲎HydnWܳL fScbvO- c;:ID㲥p"x/@ ִ|%FqH)wS^G*}Q^q|@ןpG%J_V'zz/ ڇS{K(}$veߏp+E QuPEy 0`!ߟ L:%@+YoU 8l-~Y וY*vFiOj6v!H*T6 AqD׳8+y.\$|тJa -0d? i5]F7&~'I-`wpϜ*1ą*~XYd@2.d}J>qC{ \ھ|E< 3nZ^EӘ鐉nd"3Cf$-!2W+J*C<h$=2IL0N/-lr̔MD#WmN1? qઢ6z6?(!(nӵ*Y3ˤXj6&RI}Av,czd3Wfꗬ%z7eP:yN޾UMLCxg.9C: Ѫ U>g(Ր,;`ݚq-VSN{ND[h/8v ])Bm:N6a (hm_Xʍ.'@ֳ= Dn}k@A4lFF*m]X.vՃ(LDQ)M/EŬq~֙C1|X"S]`"%gYrȔ ȠXf) [O%F%IN935j HgBTXUE\k](E`k(O= _n_3ߩĸ ŋ ̟PM1|= qktmߗptþ]Ӵ+, aNAߖ CI |7d?NEh>*L>8MJ=<<6:;+xWFlfr P/K*sD9@u.+?,D[ۚsAkٗ+P~d/ [N[ٵG_<^{5PL4j_iFHc,1`7]usy}ߜF^l0US[IxngPR: RKI| <tPڟF:3,d>(j, hpΈO:XFCS<}PA\U#O#%ŖN /҃s9mt(yt'-w,?wj v!f'Wp|D`:Jʉ74 D&0@;bÎ-[KcԸ'FXŷE͖xL~`.Jna Uˎ <օ';Jm^..ifAɣ6mfOSZn2ʌW Aky0zracBz4JEuMl( 6(4hȐgSQf+m䬖Zy# KlVNNŹ]5hlҚa-tPYku]uF{4 `ᣧ Hޡ8N3DRkizDll ~H1(2אX0E<(֢% kIx[8`3,MtU:1I$TuWY/ށkrmсj&K3Mm`Ml F-Qu/mOUZRt٪Gz[n! oԩ?]@ 0Bi@Ms#"vK5_tӁC?H{sOzfKҫf~iRfGn9P/CTcR5HZD\̉Srw xWO4 ccc#¸3sA{XgHDP[IuM Hwme>EfT`]yà Q4hg)s7U ϗQO'Ud2B>傴-a)̀(;ͥ:(o Z *<9;qgΰϥ VAN,ZK!FoS4 I [6C%ݞ!P DOy_x_L:$`2ڀT6#+5X2}vf-DˉwxʱfÛw9@K4o(Ʌ7sre{k l(G||[jn"fy Al 8]vo)tL[*7ȤUAtjGBFGQrU@엚mI?Jy. Ul7eq:}dAU<sF{Z[q KI@q92`H[:ƪREvГ{ꄈf$m<`%:+o$kkxAҗhoŜruhU+R0vIl$̛̛ ;M-U 1k7,P;ڟXV;yB-d>V܍}u=^m-pŗR*A %E|6eT gy)قЯ u^Vkk(*tu 4ѾQ< ŪsyA&M=dH0o戻T$U:Rv>}?+AYQ(sPJHc R__W&M`g;66 ˱dH2Bşg~|ci& nh#zܧ1u 1!zSSzMar%cpyR\07/.EZ>qݠyꉏic9L2*M%)!=ǂo-pQ%Lr:ZM{ip7Y1ˆʖϡƤL7rX>⋜,lLKז`K"+T/>ByTM:OxGf4/'V7B.Ѧqx/ U!ztRn%9;cP/Pi m;qȃ_V'5\AJdS| w k:%MEح0k o\*^n#Yr_s5/1o>6ScKjp}Kno cZ@`LiCM|)sHp;N/!q򺇄о \;ѬC|V:1? pM/_`n?%s`!+x"J!lU3I5S~c `\1lRCX{DZhOCCrq$=iXEӜ <%p>w&NF_b,3yc}}'"$?W}%z 9Дte hGTfI~F"RKm/O)< ع rġT-Vd ,ۻfIoXwR,iÍ7HhЍDҒLpL6Y yuۑOO+:Pl#.SExFጿ@Nᾃ^ir2ˁƬi 1mJvA!hrp҄x{wT&t6_uPЭ'5릏 |F3XW2rMۦj+y fOp Q4D1sxo yM ,lH7 ۥ}p.Dž啨 W jZ$?VD1 SVٓ0Q'{Ѐͨi fPb@Hč+r_uI+tlCz[DцG`#pmw'B,3vX;9ujz=j HF\L됾 y}^v:Ϧej+yc5GH`/Nۊu^'D^۹:XC'P(&{v0l ¨C?8_|__/!r+qрb5.w㶃U/q`+QSX0Y ;@,Y3jn-+~׬*ųS8$<(C}2= j8S2[ /ko}c++:(o_k <B@\VNA.'8` K=e? v6N<<:&"*YBpwJ;e6H8xi2LKu 6Gmv)0&=>F)vnۭS$c62^ӂ 0Y4BS `-rg6UaU篶I;4ܛcgSjN *7yEa+3UFB+/z{WȦ_g $,rqˊj@rft5$Xh$Y#'J{7*9ia:tr`hM,:i؊H E| \! Oz.W+wmX1Rrr֋ -%3#X;yIUF(I$u LV,#˿', ϧm` mgb?N]GmCq(_Ί7c㴮 =P(`Tԃ{scD3/dLWOtRkU$ TwjQoR-=rS!nu%UP ݔ Үh2J?ﻁ.j룿g/Mt gwBB⋣տ-6̮O^>hrZΧJy<:x3Up/v Q7NIP \Xqـ%Rx`y?!AU}z%8&q2J\۹T杮T9&UdGEv7r.̂jb;CsN2^P˘^_s!mÌAN;px߫NoS5|{pStϪpg25ޖ@:@gW$5&}m'Up38N1xsP27Zx2dp_2ƫ n<UK0:k(+pIt+"pZUJR'{/ዟ:J>֯T-&N/ 9HM ş01,xr@;UoN@QNj|Pf<%qs'@pC _TpWiuuxeG7>=ԅvZLꗉlۯ[ 6xY,sVBgLh6 ai+ay E+JP`ޜx^kom5ƪŧU"%uhQAR<10QyyJoȏc&&rXp'h U XzhЍ3$-w[C<J<Nxg {q8pfJ7Uo7 ?٣#'f9']u3rvqvP1N[7(f⦑/JfØ ! "[bd.%/G $[%;DP&yͯ'GdᕥG9ܡY$X>XIk`(&u;'#ٮ:SA1XtfXr%a [\^̧ 1 MVlPİ Be~thUoz/7;l ,i{,pG7PʭPP}tߎ 1]QuF䨉%jc]ɝ*0gY>=HKc[uEݷpamX*7i0g@ߥQe^K[8r~*#x ՂB4ώ5t}RUAEޥ$弑xç%.LS]&O@a\۪Ζ+El'—'bi+5:}]{}kJ7Jj} ݂N-h,E:%'(nhHTݲ|'r}`+PQN.ٳ_&P*D}M~0бuʀW0̆- A jO8a9멾zl }PDT `4Z {ϩH]r w0۔+ҩQΚL`-\V+{0lJC>\N&&_]EooGror--8%/Yݬ+܏YdNHEj Ws@'t73?]EYddt%.& ȸ_PѱmkCzԔ@8P.{vOD@ɨG-Pj'px>·+-H4/IҪHS8W0;' [Tbqv8ozb vCEQeL7re5Cpl-TѦHAR1s&OhtutKCT?> QmQ-`gsr ]=G`]4P?u( \n)}7p-FQ˰uiXDZMv-|02QvDq`H)D}Oaےy}U1m* I$K;t5\v_P(bI3k4-nR>"`/RܕFH[N~L~l[I~+ȭA[xEc_0*2SJXpz=i.|-C6N,VC[orF'`{|wNI ds`pm@\:~=aY7mM}~T1]sn͵gֹIVHCrLbf n .Bpx/JZF${.nCrn:FDP9{nk;˂tETbIșJ#1G%q0JJS3X杵ܨc2mMɪ7FAk-5geW/)M|?÷w򴟐d @n_[I0E38BI2K+ڪj(SgDI w@:-رƵPgdly2M'X4\_]<=Me6&ute lւtr=۝D$4rK6S(P 8}hٝYUZ "z<hÔoy!gߌ=?{P J&۱W#}љt^\"u|SAAJ5+ rPi X`'͉0P8/˪n.}Rj41Kn%3YAyB]pMzPҀ  6o2%{ʳ12ϗlYCJ1^0:ߧ(Str<Gk&B6t [dS=9ˬ,IP, NF5NMw"5 d;teF}>UBZ.̃Rĩ(ެǘl k3 u}FAۋ.+;e 1v‚CiKL=my ()HWN#htT"1P tqY֭A]%ejiq,?Mf! ="@KH7nw8T)1FD?<:%fwk%މK f;SY000U6XK`qҊ3'Uզ΃jul>7ڱy<<+:`Wg!雬iH )Ymt>я<i'd.l9gqyAД܄i<_5u{s`6l+j<89$f1z4L8vz#3k[tSRgب-IͮiRUd :zJ`!aHW:_ GJrsbz2V pte;#jVe XpQ(߉AHQ+$ |av?JAC'Lyvx1χ4J-9~dV3lPz}:p;;.}ZN FO aE(IXcvIU{^/$xKu"xyu">25{+% dMB W!RCjhX0Ԫ9[T=|NGp!%Olvc.䟤$9-G1)Y/.`jڧ^:'c%̠2/B8wdӗ0@|'\}pe1o(bRĘh\hɿyᄉQlUj3= W3;RҘ `YWv|ET~3 p$5ʢ&d#H(@ӻr2}MJLS8&8ݛ 1nEa74t|H ` 5Qn$>o0Ac2XӼT$&C=\aS !+b+[, j'y5[DXh u6[Vgn5t~Pf>\2ybr EQl=ڔx)Wz}l!U- 0gO@{0w5ѰJ@}`a?R\yC`؜n_ӮG#pb a`Q1Xt_s@e9 Θf2^];BTC<̦%*ăPѥ~& /\`J.eQGx:S4ڡ 1,>Lwձ] ^^+fb2f3=Zn<6Is1xUe[hd%l ٬.r9^)\>@d[;Oi;# O` *tǢU!`+Ag#;ڨ>|uu]z穮䂡M`g_0'rAHOk`8_O$Ӧ5NEJ0#-}2Pn[. jp'-񶮨uZh _9ucMlZ }Ÿ \Þ0HCi mt@'*p!#?:gYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6 _0nMhSDD;hSHSס5_# :PmY_68><L<3mv>Z&~aU[tW ]鶨zhE؆&>UJAc !gYZ7zXZִF! ]ŗXi%L!l//qn"|@jP!>Nض*E!Y9Saq#.ANeC$(rx[[v^0u»tky8 3s#_lb/>:! "FpM .ΠDrGFdE[nڢTxp]oj2fSTrOŝS@e⳷֪Ժ&I1La] `_ĭ?F>d|O2U1`7ßM`sѱ$7TL{@0~%TS*'V¥P=6SNlH!OnKCMp/-Ueu;n49۳O;I:e#3@N(Ci߹h^xngYY5?|S~87Xt"uz<"VG |%?4w йL){#Y.d 1 =pj6ͯvA]-RŸ%[ϖEyP L:%|PAϠuMk=BObx TE W f9,}'/<F"q} PKUB< fϻr q6(]-qB*[ۦ͏ԠBdqb_H8J Gp7O*DA:K1_8("'Vq#|5'#gZgwwq1kUX 25!L^Riq,Fz޹}VWtXQ[LѸCEC2dZ*BDsqD|Y"( *M#sʃ{.Z CӇƢV"zWhRLǤiV<63vSN=hUvĄCϕ"?#Xy'Z\?Fߣ*p^'sUNʞ6M*xi}dʕ. 6ڣGn'xEd+ f-18 K_h}+LIsGh30ΐD Y#D$[.Hr^lA3 㥄ŻtI=k^>3T@]qSm!nT5©j:~nN6qE`FZW`G7QjNB e4. 5uzq-~T_(e-`]1IQOΝRt&:0|5:5 ^_f:Ķq)`k1}] qN*}CNg#[x7KyRfHV˪y^b0 |JQ!3[CSM)VElv.2`W䎚LWFusO9 >^[C`"_VleBjxotW.7K^*x|VU(X#8,6T02mS{8?=ʄ3. ڪ=AhEIe0:Enej֭ޘ y`ӿ9Tdԕ&CEҁ3] \.p,( G`5p#Hc#Fwb^K}WU-޸ b:-M"q`jSq;.ViZ-I7qRO%hbd.%{E<0ΤP|Fbc P,&}$A%'m?>iܓz&HOl`;&!a]臞͕\[:>WԳbY:Pڲ=oy>YKURJipm.;_$⫷ՓT{dnrAUzػge_7|_+!mhP)=T<o5"!/C[fw%;"!Ư-,vGFTÛDmCb1rP5Ӳ#HZS'lXؕ Y"VMeu\x) ˯$yJlkp1HL>PUj=){ u ]JEHٙ)%o{D^ZԐ,KԲ[:gs{JGAis(C"h (1!I[_DeQG0DÃul/ zkVgcǔU `bXEW?3:^0Rop&OemH%!: 7%#o/jW&GDEw<#Jy18]ק:)&bWLѵkhL4:@&&S"5 06Ldhٸ ,o]yc &5{8Pm<B9zϻg Ž5sU' ](K›"2{9Ve?wR1-X&"2Me2pQ %`2vk4(cxqֱsv)eJU^ af_ffYnQ:.DB"2V䳈jI> 7mWz@mNfbDR ]8Ѵ&%Hsf]>Y։g&Gd/LstP;P+E죅.Ew#o4dQV|2l#3BEZʤ^ a+@[Zm^aH,/{LE2Kw;wCdZ}Yx 6 `!' zliLX!fȔe<~B{Ic')LȈ24T;/-\di\5aFN'XIV0)ɐ[OϢRɦj!_\ ErWw+Y&D 5SP> |^BI۬gYZe30761b42d0081cc136e6413e9a0d33511fb75208215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d adcc6ca84b93f939b0c2aeceeb429860ba27b4ec d83b7f22b56e68f2c191c25a95a7643ba5cc0282