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 )v ,, ] Sort_Encodings:threads=4elapsed=58.326cpu=146.092gc=7.9407zXZִF! ;ـ]ŗXiɟd)&]hS.J}+%${. ">@xz S\WG_ gB9%*[28nۅҨ\BiKEy*vfO< PMx3 .R\7;tkP@mΫd|LQp,b$kCCS ]Z?k9VogVTΪ`IMcx%e!%g=t4FLBf~}<dp1V<I"8鲞Xy> U!X9"FrtikHXPc/,}k.DOm"NE5r|zUq@9vUӃF,"k)ãR,U)g nDvD&ҵl GV-d|K HN 2Y4,KZD }3^C]y)Y"0[@g hy= TM2,C^2~*L6EZ91dOww CY7@0t9^WzjwuF Hj:Lt}:/<) &vʞ73.e%ļIňER[aOG?h7?)sd{8h^$^!1?F!Λg|c&eJƠ7s7Ѻ!Eq^[u3ZevLK`-P]~.SJShau` w˜>\Ex)tPL`1SㄢM&m RO%$Ҩ2JFg>W ¹&^XN!i |\wKC@z|uZ6%񕟓OL^C:,C~.'A(sό'idWWXlk4uK~&#ntq@*& ֣qҰɳtv⼣$99}[)Øup|y>0RYܥr>Ɖļ,Hl}F+F>#oTESxRoHĀ@1hiS/Y(ã}Yݫ Teݲ3!MU pAThg-I]flsReLlw=>eۥ}"z%{ oI-F瓒0wNV\RNAjj ^˚UsUJstb=Z o:ԑWk [` 6{{woTGv^+fcxⶃER Lq k l0iQ6J^5mwBҴ)9u*?8 Pֳ)2Hр<-@pyP0?>."pwߓ/`s7ǜDo~]bjZfg:eMZ Z(;])R0R{{bQ3 ĶoH ckK*~Yb41 (^YYj*mԖEGi( x"jM[']JlM*7E,J-O\=0,l++G]U1Rq_9&|qQt޳؛ %2M Q9'F~r=XZWIzԚ[cKH@*mTߦT<ݔ6UasdA΄V&>ELb\L]($}bos,рZaxSW#pXj1'[p_מ_? j|80ojwiCNu5X ^ [OK39 du*Mz3z A7\HdD_X';TJ 2έ#xm^?1"n2%Q}Ah V(l4 Zq 0X&i~jДejPJ)#p8D!4Z;#%@ͩ=jpNLޜ-pI0T"ݙ~"4xE3 rC1 ,$:L̲(D ) Sort_Encodings   \]} X(c_@ip`';>:7SE;l=qyؕ^4Ĭd2]C{ GU:1y YXTC6`ruq >2=!vle %:E@uϰi>n/3rÒfjl}>s a~u!~Yd'Tldz0?L"_S3> }~du.9eFkOa[78B*nav{hj)Fs}Mm<"?;sUذPōk5N~syь O$s%Yϟ՜sRl6N| =Ϣ]* dÆJ['"H1=އ ?Y-GJ+NhFjރA#4v9T{trˬ(*.qInJZuX/-/,4D;|D+fOfʥ(&XEARoP (>1{Fq/M:)r&.DG!Hi脖pv9qXq} y G]>~xi:XHj,SUbTܠZV>[Vkk ߂Ih4T4+%?[ܼ* uX$ :#U)H.@QD}2EXaRY@%OQUzɦG|ɏSsIdpAlM"r ?Vs/|^O N,X) qŵ,"-)_hy} t;f1մ!I/g+gCIv9 gq$]NȲFcDLs`#ZTODNgHri6Vϔ6%G=Pۙu=ChN$kQUm̱diMiVyj BXt2n|2e͔.ҤT+0$':bPV'tq "ii}\k Y ~+|IX JL85le~'Bn&OT(`xP?0+PFS6[1zԯj"zG>桐E"ń'Hvю't޽qj*ݠ*um1D\9S_[[3oyYum.V9 ?㬩)f'Tmbدwj?;g@㙃-[% +9viLr ,WmL@MTcOGZ+j %﷾]L* /RQ U BM8j=K䬖}" zhݿ|̻ZgCӯ[,Q*mUg/AȒi]{k=7sᲗ6%P';~]G)Gch|".lIf̓Cso>bHlXOv SR8Yo#=dSI%>=[VS/3YlwaM lxZg&ZKxTt $;=ރ4~a28-ǣ9POD#3h%k#+PґV\%ɘv0@.Ņ(WZ\E'Xk.5}euh#焃-}e"7eh., ]dȘ%ZʳQkab`sliň׎rs~l?4w\8vo9+סg#C T:abh 5Fu`2*4fi0jߪi?Z#3<73+ISAV[ݺwqZ)jIVSݷv>wC1]F@~ɫ1Ɇ3Y vԒʯuHU%<̒EZϑƳɓ\xLUcOOL ?klIb}2vb<U/R1Br&%}cO|~o:o`z?j K]S+~c .mP$YufulNpxDC1/_lG,`AƔv-X)ro~!d8hEBHњ)Y顜zxg<~On9M!Yg *yh|fpUHR-wWC"}.ZAtX3d~zv$A+ln`-[xjaJ@] _QvXq ߩ{ic /䴈6W]޶lI9c3&?}N{YA͙^&N׳C7@^E*aj:s^$ v:b 8rl?gE4ru6޼9xIQN.Q҂n Qcb&Lt}fLZtp, Rpe(x3Qٸl=̙-A"{E/oJifP>}Sfj3>Y#x/Q`W*a=/{\O_Wy3rR8Ųdt? ?Z,2mq{C,{|9*W ʺQ.Rvc Zp]$*T!xf-З]%+Os⭂ F·J{hbA"F6! Dև9n>Qcb6ͣWסnVWKW+ i~E^An )Z*.}ӎ`!.i%GRZ(Maa}¤{aŷ /-wGXC}[筗ABu5+W$ SQ`FogTMScƘa5 t&?O3pj9 |{$IHWCPM X!hǑ1>C棑\HR2Jɺ8$/{ Jwb RWq*'иPT9悅kMV[~cR8? 7tMŏm=|7j߂TzOrø(qs,^@ S2K9hte|E#J(7W)߲vh}9fs9UB6s%'/Z æu=W3])}x2xW>鍀n]"6{F9;0f}3szo}n<8 RU$"(w=mg̾ ~֧/ =VXܢd&ЯՅDmzDxt2,KPcHnnƖY%W<[;SnTZ+s Rj-2%!AY)eV4&v s.v Ò|cb귝e^D9g {8מRIC,b6Jw{𜯷LJV 07\%d }wVVGTj㧂 Ryqavbcz+KzMs[Ig8̻n Tx3-(+D)CwqO Cs^%1؇|+>̽;w5#<5?z W zn?\ǟh [gV\N@xEU?ii:ן7Dy;ckAoϖZl'JŽ8Gz,O}AUk`*QpIp] M mw<B3J2~2e9;.8"=QI Y?8\k@ʳ `Y/ݨ"DیOI9$Y.|"5R_܈Жu(Vq-붉ʈp#1*6o紧CZ! '8YTGK%*a$dCōMռp, o,d6du={&C~vNTVcd"Rf9z z@0珪S7pg;GJRBt JRy>'(͢l2ߖEѬ qϡɗlC%9>~a̼hwUQ1_K4jm[S^q 7]/B<RBMGOE/M!mgdү} _T%_0X%;9ݤ4)l+7IM4#j1j,[ȠCb#BIfwx#V!);)A}vLΈ0@i>L!q l'-RQ?9aSplMdO! ޵ 3 1vqO󦭧7X&}yo!{"ϑ*.Li/~+Н48.( @^%'KA^sm];촱2X?W]nqũA/gm`HOq%=SdhA/:"jLV]@Z:d`d}unۍݵZ(TNWFҘUg;j#{f `'.9VY q)sIrD,bGOMhwh#C\CG)h3b8$MtF0dbiop'4{-Ζ󐸅Z`t󁰧Qa6QȒ%4dc#oŒc0L]e*dTnkcl$<74l Uk?q-- ¸ryӘE[p<~}1%W*'(5X,]޷4Rez.[̤}UӒm7:6zar/#ht-a4H:= XtډbEP$%dN"bިr>y_R~G-B\i,z͆hx(f} Zً8C@f{/&SoXИ]`6Kl'=WlMo5=%WKZ2 $Oނ6YĸWe;p7fo DxT[IV Lʗ9Pr ?ο]lLV h 2m%+}t\aXl|x #mKVU3@opjzp0!FW͵5,GMG}>TѺRuQ_5k k8 Ƣ 7H6ty%gTp nN?w>^'U1;Fٵv۹GxxD0gw-yH=|j *Ol>\!W#rn`bl %xT;\jS]ׁ~hz/W$TGw+RQ,f{%bF '!}ze,֝gxS?Icު~nEy {h,Fii{R Ҳ ;m]DA NƟ%UkΌ;ȍ crH =vQql,klfM>,Enjv1&yR+_[]@(bP(`T=}←Ud;#|gܦɲLsa:!ø%Afrۛa3]K !WuάR+kUN,}fV Rkz]^o{XkvA ܭ0[^HE)Op%9˾^ݯ J7F9[qAe9:81ěfBa.mDe0IXX/n.H*> Eб=UqLiI .'pX ap緘F2hphu˧ P (WҤ^թ -Glk:;N-]kȵyZz׺&U&\X[sPO}|h '%P#kt ߱(0Z/[q=s a_-"tf)vh:K1mGtRYBe/ ? ŶCWr,n5 ˄4p[?P%3-Hwv>x(h;Juh,ͷ4ޝ%)" xnrT\y 5TǸw]a(9ybn "zeXmFF0,aO$WOq|S[ê`]Qֵ5 ҡ^95^S*`-qfl>l>HYck6.zlRf'N<5sC6-#!iT'¦o~-I==\>{2ݞ(HDnmy'm~c] cnWY%gZT8|~12."{rxmrMVR1aݬ YV-dulevmY&2ʕHz?ӡ7H+YКC2' _|F;j[ ,c4d'҄so=U`qT\Gpf<ȞWQ\FDn@2 D"y 3xe20룑{g.R/>\>N]sZ9v%IK@teEWU M8E-"Y5ek=Ns0N$g]] %F=FU|Ow7C=@-ȍb&[ܒ]'U%sbC_L| jBHVfb#i-ܻ} :ԚqAA `$뉡Paf]A؈eWߡ͈ʯIk/C-4-jZ+%}AôGhgicBcRm80l˜J=Z7rmx(d-MrmwWm:r+ 0p=Le<%4t-ƕKs+D=cZCTH75/dhk% ۪h.[K\GଔCEߢR(Bشh\ʣw*%vq˰-o2݉X\g;/&ͼ\8әcZgОm=~̵15%lb}?0ˍWR$Gq @LpL~JX˻*sjf7m8&j։`? >#>A "=El9u@]1bEi=Mq 1KZVL%[-iKOx|uĚ[\|&jsi3Y-;k8ΦlH.ACar9#6o\Y]${ݎ€Kh!9^}2HQąP{^g_k Ƥm{X! \vŔ3Xz5`_wcıv''r,/h\Fd4-pAexSg?Jjyp_L/#9ZO\p`F{%QL5T2=WPN.uCdJ'*Ƨ&݁4ԥP!>pd q?׮!g^-jw,8Α 4.Fx$ ma!W`X0\W)q4'|dr3~7-vk&=z[b9%@߭a2L{KiNL(:n{y⩆a\ѵЮy1K᱿RWJO6E]#``OܙfH=?%ȳU "S8~@v]b<{N WGh/h2xTK//{9tEo8hvؚe?<Ue $ u7Z\bI{?S_E  ^"3tOJT߅tA17vɌd\Ȭ=sWWauV,H:;\"oS\nɺ}Y$\zlpV?Uhz oW4F[kH٥|mEKܝ|k%& =]sPD t=[')#  f-1NkNDQ?dUQWGsCJ71ޯ;BۦT,N{g} pr+J:T):Oõ)Gvp{wf)^/ x5m~۾wἽC@j$ ePybP}çiKCUI=G; ZP X^g_CnFJA]dÃɘZpCUs.մ÷ɲ \8e˹q5xΓP(ZOw)b9NDGy,౐6fr W> EpI^ "TG$(;8S8ҘWzυma_hϡs fQh+u-mN&%Z0ʔFe~GMK8vY[}H^<8J(]v (6CWߍ[p@'P-^9\E/tMNpY_k^h丳-Wb+J^ݑbH28<,P_>{e;s)^K'e%&ܱdUyPY'YxNt/y>]r=\.g̋zq=0pœlYK#G4ԡ+%VLX 1t OG%Ff #ļvM*(t `fS=[eJ@עd y{$ (Q+bx,D0 򪶸,ルޙi.}d9 (}چD_v;x) ,uWkCIpZ2JMLg/I!e;ȻOZT3ś6yD/9 9(&hսQPEg IpUmD7$"8KNj߶? T n L8iOC 6=QwS2E C%nm69 ebտvy ewQ(ċ#q7ifˌ>LlpZA-(Sm_aB1lvaO]@eV%SmjRC1G;S2,YnTE)Ų?4wJKn-ulIz\edbFz2R߯cM1쯃nlXxmV&Ox-4i,Yb n-a;//{'Ys0TL/ZlM+zxhQ.UQVIg(Ʃht[eRDjN{a6.Q izbAf 7, ZƖe63[c]AG,N~["E@5ן]:V|NI]9 5] ߥ)0]?΀ ЙF+(qˈƹh{ru6hM&4rZdz'[ustMYE7Χy|ԬOp 3e]-? V+bu\= bTDQ^Ju~vx(,L)kLr2a_Ly{,$c6JD*bΨ2x@*Kx:`O Q*|Wx"黥-Ea"k$GF{xZ{E'vCZs*3] ;50i<^60ZI8Er8s*f ^0.ƚQ0"K0]zi, ]?}Os|J &A ;Ydd#yÜ?^L Vr뽏W \)u jЃ'Q jHCL 4[ eRZҁ7tS4h7֙g8ɜ'(0:&I!p`(͎}G%/pʄT԰V &,@X{2'NbejPɬKBwلyi0_`OI&dp^zϦ.&_ˍEn ВN0ګzJwN#@_%㽒L-VHyqpG0Ӹ6IfPG9\hvl݃a|JSݘ_3V*m䍠Z(L?fs˥:9v)>dˑqdK"46"/5Z4u e R"M% _ JmMܷe%-+HLlx@YYvpAF Qʗ A@$J awYi?4K)>D)ؑmCQB^PBh’z=aVUL88?yރƒcuD((W&FxkgJp$mZ.[U>9[^=CR0>.mu$]!Ճ&.*-r3n[-l7WÁ'7>ʁݨ#$ @f#VB4^9`")̈́&mkZܜB|Vo|KGA$}t|)c{|@ iBRqyeV<$z]T_UhSΗv깂d6d$.DeX$F~)u-&ɁˆR^<增h ĺw.Ӆ~F$7+ņW{J(( P:b9]cՑ)Z e vK('D` qq±0ښ5=KoVc[/rmS>~_s3n*|yv#ߘWa;7i>XUl[+ۋ_u44F>ne*=hEN|B"G9ފ~@='ul}~_-hb8`rzW\Gd|Hm;;o4fN^)l   ҭ[@Tu@@cFOL3O"XMp{y#C)#P1վ8+W3E/p\d_oJ؁d{uEޚY5߰\M֙rpk n:`+=Q281:JN.@*nYoςPy ĘZU2ʇ{D;V8iMv%ΠQK% L܎]v'[+  e= id` eHdP1'`t(-mEVo?CN^,+<؝y5n#Jzt}DX TU]EfS5YsYF=󦼾1bSǷp-fg cvj4!.IUc>O#$c'G4AaUڍ^1<[P70}F(LtN)QXQ< x~\18L9M>ZH—Q*u8Aguj}hDzN ]1}OvmRkZ5(8AnVWA$WE<\Ep(pE$3QV\bznquTq^1rJ!͈K^=UgaGTըi E!՝A `$~l>o WF=#pO+tsq H”8۶;/LS%t$v#/!0~"921ħ2`)p~O;5:] r[J{Dw!0`68 .:|(T ?),ųmߴlL_Ձ LzXɱ aGLx)&_6]rs<#fPwV@m&L1q$kNF$O*#PH=␺ꄋ7ޝ;̮R3P_yyPOzFK\L8kiը95U6V? XI1j`J qu$wmNN4cq*bG5^Ww.YR7a:5uª?"Avq Sol ML@S*UҊAtӁ ?#0a/QrCOSZ`V6Uh~- ◪dՇՔ)5v]xwL#fuCS[O{'6[H7 5.!+~8 YAaT1_JKwtFY&!t 4| sj::p@lx2Um7qkE##H:_7>rC!w'E9^Qe]%x#1V_Gu8 HfPq| mcraPB O$߱hL:1oCXBC~oت~ >kP?Շ[:bB܉А87%;iI)9Dq,]s"k5aCŨXd&EgʕdN'9⾆3W-mrjqA{%O ")rVt;r\GhcVh`a#<=Nrz{3[պ '4bp4I3& >ue7,Z`@Z4/ul0Exnph bq`2lb:DX5#ڂDݗr%3= oJ{NPܵ "DSkzJ!aLv*T{7"scٟIش^r@?,(J6r\yY(_n՞9<4˦B瀷neSgfb[k E$R>xn;M=[?MGAvw3)IhSU3H+Xj-lm'??"ߘQ'}n=\?<|M;` 'yk8@`Qjwj>,'u3-{9t\k#{j W&j,vW츛I2\@6Iwt!1T*RCX%"NWZY<.5(UtIs @!]6?$ޥKG?nD?]ZĈőb ~q$MKn.!ҽA XL'iVҼj(+_Jx1D2eG0ktdOIKH71 R4d˕$Ku$ͧ⇠8ymA ]fAC1rQz"r9B?8#>kUl$:ݎYW/۱bY`q,cZiIQWUdӕ*74}e4M3~xQ⦗:Ma',hYuٶ=4O?cg@踃$`~Vv?v'r|hHAUmz5ͷh_/l+M+&E#V۟ 53m"6"紪ED:Y qȪfIJW3|ǕY=6NF2WT%;) PGʄPLW> =1QX<_P,%{E{#J?ӿ- $\!a`5d<4>]$MH9{2HXS) n![s J)AǼ{Tn[Ww[PὩ1!^*Ć.4v&gm9#5wCU1oXU$d^n3w`xfL\DcեVA\3bX5؝CM 1%WKNEZ %꾳^zݣ7hk8=5nKw(=('Cc`,0q7تK;|Cx&ē(L`Jƃ|[VS#Hd\gL繃K#/JWEWZ P{{0dv0S~iO$1S40 *M מ/k-}nį$\0>aB&Lt $.xSʎ 94>DoE)`KXbPQfH$:d XxВ7)Sbcq͖Ζ8Gzk7#Nedq陵ռ`. gdŅk^m[73Do6뷾or?^WF̴N9jNh $GXbȘcOC;3]~k! $UC99"jTT奆fr;"0{ڇ!L3-Ltag6![{ BT@ا5Fܤ bNY\>lf|xC7hGcRMU"&-Z+wbp$aQǼ\͢;곞~-'$gfCn榍X{|rK)(fX.Q}3mKlɐ捦4vZOLcFmюȉ^ͽ~Z_;`NN3g6>뛿i(h86ڨLm>nkGtrv̈́ er ,v".e{6K'voA'u;>O/\-2X:vtY\mVYBnׁs$? %PKPGh N' ]Y(&cbO0ad ՁЂƛn2b$.K*xSo?1plWS܊LEi2l۵{_$8.xphe5&$м+&}!uFA*Wx18^ՐؓZj7 ثmIʹΉw aq~n}K % ~)i\198»X uVa'{W&J>I#-,uƮhȀ44h (ZQD_Z'bQcvre۪.QsLb@[MH`8'7nS|76FK7j)!OTfs Ez DJ{_ѧʚ^?x^!-cxx67ⶓD1 `k?jⰄELF`ʨCX"?Y:bŰ|4w/NClw3t4o +С}y.ςq|ΝzEi X6/h}emxp>ld3f }aj׃RF#|~/qM-^`*`֚no1IXoBDAh'(%|Z.3H>1"ÝaCʌGY;<y2$`03_ӈQoswW]^|n#"A"4LZ');œVCcD|1+Pe;'Fx!73OEZRgifHTK tiRq1 Zٱ<=qi3:$ʛ*jlP- 4e7|_ݥk mrjsz1ެc=Š;eXmaܽ-b 9]m )KAD}KGۨz>yd*w֪KYۧV݁ʥ 잗$__1[Az(AvTPjOhW@ݞbZӛ.SH惢4$@kCă7 ®ΐ!EDhr:?B ؑInY<ᵇS^Zk1'[K6X nT `=Mŷ+V+dKv`Z=^Xyk|T^Ť{=:o Tome@aWhT^5<7꺻U/W?YASQ3WVo#ӺU Gp((v=x T)G,(huz`&%!e:<bzG}"[ !传aqct+.([35SKΧi NDɢgeFEÙD '4f5g>L (1:ⅲ{ U升^e 0>"˗ncd^dbH te;5$٪sC Vj{NjEI%Κ@I EEԴD5v]in/p{ ~৊y?)di|Y3lkFG2aYZ9SKk(Z6"/$+D_rr-QCbxv_`̲ތg3 dڠrNcN@UWbuB~NeO =OA.Ŝͪ[x=n&wlI \{Oy wR+?# ݗ9\M,ִUEI;@UQxoh5"\z=AMӲ3qITyC9lZNiZĽIH1iy8~-B%ΡXD4yϷ̍{Bu g!E?4ݠ0Z$ h)t Ա:&YעcSۉųv׮Jr4)G^d|#  16zĉ@KJ#;ԉdjCl\AGfvtn&W+g$=ّЗ`mcme>Vnzz aY`!]: *ع.ri ,Zm5Z`k0¾_ꊝwğ,Wk⤾ l2ţIrӥTxAض;;b~rε.X%\2tc 2d7jk#1pp.2xi?|v$أ=؄۔B* vJJF:aq42 ],>_ubS~dX|U"\( .@YK2kɦ*ސ}xwy%dj"Ÿ7w¨9V4Ew)G$0'mo&yЄLYSe,}ԨzvoΟnnF1kc qiCZa5(lPd_*ԦPЈ욉RKDZ;s!7_#U8Nafj(}E >x9js%זTSo=e(LUv,Zs e9SP稴Ɔ%i+;A,"L-|MS/ yCٸM{Ө}D'[@ط3xD{4]BN=D8x /k\r!|Sү[]k!hflk>æ7bv҆%DwV\ϦTz=.vfp:iwpV?Iw1t*~α B@.aXMU/|Jp@9D;"ք]~w2KQYn3=< ] \o]2=F\GhWA ׷yQF l[iP͛ܚ(*{΄NƳ>SZ"Hܦac§* *=TkYG6~ *wԣ˙[DӢf F "]]&W1S=2tFsB C+g$ ]Eº#~O؊@pG<@nA*&|[PնSGK@7_wuj`&!# /Uhnui,Ѕ=eK"qC6Th gM3̒)3Cj { <[}˙{j3OI0K F~TXX1wKQ8E?0>ԔqFKbl*AJVo]DGOGx-:Z-/|[=VKKhcf&TXͻUfz\[]S͵g.U]u?I Br !Q|[x;Y挙gsE_-Ba#K."ale^G0*?~x}(hl շnC\tm;-2B?Kʇi|Z/$ӻGa>&ʖ5\u+!*k-yB,( Ya/wX %آJN` /L%@亶}!L6/ZUf*{* QA'RvyEl~JǝenG5_n;h.2^)ѿ$&YXNc2b\kzH65I_ⷒx%mڶռr*I'n?H-IϘJ^w-p/ywǸz< /͗*0UUY`xG"EQ$@֊^zjS,cٰw=fB+ls6bfMR#T T~N o7vQGSCzcW`nɫ%blڅM]OYՃĕ[5HVJ LrxY*S]uQ6$Byw_e8fR0..tA>n8%jg_p"%qZT2@ |g!x1³NHvL;3j@EB]gX+KZ271Mɑ ('> n6*g]nL3/r9>I .rϜg^X޺L3I%qTo=F|Qu)c:c2a߭jV-eaut⩐81ߛ%(X5VׂxxBMѲ^]c/s-p O:}4JbNC T'k)Z3qhqV2 QsܫqӁ_^HR`(KOذ53 P߯ 3aDp(PFDN>+ 4.|;D+ϣzְ)d zc]u^ί*^[H%; ҝOOds ě"/گT,)V̜Wjֵ0h+B"J494U DӍ [e<rf{D#$|1Sw𐡑7͜aii܈Bm*gURtxZ\zf:#gJY0m"}s9鬔 o\܏H}qᇘw{[帲i8WyX΃3 4KL!GA̵α.һ-4(BxZzbJhKa\X4CXwButu̗ցW^\L(B͠`Ŋ#oybn $> bkh ۷K_ڗmt ޛA[w֤߻w^0$MShZpX{Em-)&|^R.Sv4d3rvB5dQ0Sf_6*VЫȀ[<'m0t\AGVdbl !0/V~s3RGdfBl7XF.37LHu-(`['!D^m$T9jn wo=+<}ٯV6 ̬LQ7钂dڑk/?yĄ7'1![M,Ȭ)D _Sx!ˋ)!-GLNBHa̝ ; '=k)d5}SmS{:bԌ`Zk߶kX.ҕ2ZDA|Zƿ:-&* '\+r×# "]bu-|z^Usyɋ Dr;v ( AfupޤIO=C]?WtI>yChR,RB^ׅ #$&ȫ"j@ڳ≯3d<*\W4͍]oH6 H2݀K`-bbJɷ6Ghݹ;jlCiBvK⤴4UNc8 pKE@流Jg+)<ОgN@>֡Z!̑Szsl|_X_<:ULﶓLp*Qx1\s+]BFEc*tt/:bb؄-KHtC)6iU}n*1:1 _KߋQ كiSK<[ F676kSdlW?(Cl΁gV$YJ[rn8<\"v3|v뷠Y%PyjdU^b+ThIJ pm{V( D70c#c;7cV|k)jE1S0o^1+Z-x|alҠ4*_ӑ+to&}f`x5zܩ%69J/0פXHٺmz$e%2,s?āl;%kpzGtA͒DBlTOwe'r4&I\Bw_( ݃HYZ"PKpW&NUq\lKpO|>q JS#̼gJ./;f'vK-R:Gg6tWv>#N OFDmm% _ā>s BzSӃF˯zD@ϝ5x>u+t/YBK) tĔ/Qn$<-#ĐCǾ8Vxxh.m=v!j7(tK ],?lC 0 `|T M+$e b¸Tu1nac8 ٔD 2P3hPF?ꆸ7bM_GZP橤>;+?Ĵh[fɏB*siUvKђϕ}4Z n3ˍKF^ϙmZ&˄!o+q6t&UwBWp@a{Jԇlql6YrE#(p$ &z)D6.(=~ "7 iЙKk1渚mqMc8eG>M|-J1ōX]>1+1oe&\t;xgO QE4V%g;:?Z̞(nzMN0}/7NOHVb8TpkPW(SUpCf2;6ՑƄ"9ߴ{mgRTaVcDGx{ ;BZḊ޺dR$CY+Sпˀ 3ϨڨEPl 7뿁>I$BP_)RN}>vFPBдuWWQPFvM@um!lD _5D\o. <|ܷD?I@6a0rb9#f8˞  }+ܙ@Z}Znߜǜo ;X^؃ZD R7:lcV*s},j|2J!Bz}RR~Miͨ ⎷.LQ>cCxt] F ƵPiMT Ul)@+&/~ancr %t[DYffbD, Pf16qbUp7Q@Mm}Næ&Y.6 R#} ^6He Ҕ/Q~<{j-8BJir˱ Do,90|uKy;#U쇻E.lw9_54Ħg#}xDU4wNvA5\ehqrTvݘ(fs=ł2( D/JQsq/ʂq*[-Y" XE6q' GDŽ?Mp୭\ 6Ȑ`jAF]Q&҂ ]W׬ӣ!}bTW=yJE|(TvDiTeғ9D! =7se+nWAR>? t(4Vt\8 41hM]Z_Ӌm} Է*^)? ڟ(>-'A(hH̛ 0Go騟Ho_ =lǟvXv> EOTF1ʟ6~ksO,?>9tbZ(3ݢVnJ}8Ϻ嫑߂DSNƿ~p' 1Y)Aq}9lȺM \;(寿fɁ]GtU 3č&KcUWL{ofЍn̆8f&>QiB5ɋҘI4NSי!e.is3?戩?阇JfAeJRʙRFo]Fr_i'' S"^\ܞ?_}˘5 U3߮NC *j{b@'NV)wԟcZ6@EF1030Q5+y$ n0,z"S^8 "Sk;v2+2&;oGr")[:L?o&ڟ |l_BquR 9-\Ir1_1E˞KiW׊ J7;k@POZbj6~tœ-@B0s6h'ԍ?D.<* srGyu6_C.b辂#~j;$*+{[<_+L; !%3CōG^ᒀ(hf2< W%)h7v2JG y}p/9&SB,Gmbņ%D>]7~Ox(^y.꿐׋+͎x ;8nRj=T]v!K,Ԏ4 ξU (}O̵WEAVt9|aGyA<]lD5"qmU!󿤳Isp]ʺrF }RxhM8[x(vwNIJS= HPqƐ3g !X5{s0eey0ФYo"=N==,0J qjf9ŝ>!Qg nwIDmmAq TO )1%ꝴž0!bjM0e}_Q9e;@6a3çeɡ>ᅔ; ˧)O!Xi@{9fu>ͯt~zC'?|Y+9Z'ҡԳh~~z hn ^[a> a煡Ǖ0{$Yn+`-WF2edkKHhVIFMV`heg\A-دխ'V&LNocOۼM`t h:{Eع3/e i?uDHOY#vvy_.Y4L9˗夫s(/ogc%_kp:-H6۳2@0g$|NyWkTAjU/'x @?kzQԻU0 ,ߊ$c.P6utՀu|xx% _)pE 8ۯܐ` sy&g~@ >MT_hZhLDx~_Nxven~tzQyjH>%CM/! q߈2 ̧?`[)fBw-6D#'_447%iٺM#Cݐ!IMY`,-|R³Ġ%;ӧv5E[U`|^>oD>Sҡv`![b{t XS ~܅M5 sWmriMFg9=H_~㫙Wˣh4)ӨAG|xw7&H)_/a%`l>^WR ؑ4O;C@roEa࠸'"/Mǹ KmZV0b-b_\s]O@N"FxS^TX-o" , Qhs6*]p5{<-om KlN8wE O[[4L[)9"'-ZD3; 6V~s_t$%f6J8>h E'78T`} 2.>^t(P1W†_ZrɌ(kfie2[ޮfV&|HדFUn6֕7jڑW<0pIED!DOߛ'yDu2GZH{e] !d۔UA4lԐiz-թ_Kp4IUɢư +،QG^T jyK=H6y6a@)k.\fRWbR+f@5嚾%| obz"Ƥ}1㜛YTai!ɭRFcп5/9>#g.*i馒aެ[CDPߘ9@R8 xu`}}Z¼-1l>Y ?C;pI_LX"'SA(5=CQZH[- /Z>\35A_;[A#Ϗ?Cб=+?N&V6]֤Ps܄ivi?C Y9Gp}&9U% ϯe{̀4u(rWDL~ry<͌ ՑMm"\'$D^m\w_~TXyMBP< UV3qU-Stnd֡JKIzYDʩQ>T5r힫d~'zSH4dz=ShD V pg}z> 0S%|%__<WHIwCDxv@\ .mYJ/ q_`r~U͹WӛD0=6M-\ho~Wq0 ty÷ lA0Q)0;/=H|AdE~oa~"WoLXm <8iv񷵶]Dxdg>lڥ7]-[0}L~tEK_!yĮ+˚bሀA/uXR> #vi @|ɪR ƣ*WS`YwI;06',$+"@vԔ7JI'=EowBHjqB+)n]ᶎ}-/ɛ%44\bhN_e"]h1zlLs2S)F`;^mݗfstӡI#>Ab<ĺ,)3məChA{t9fdW3(ƂCl45`0xqjgn`;Hv3un# oBфGht[$_b 71Sv@4D9۪ϴfҖj& -LlߵK85yds/a~C}z}/5,f^-QeAos͏!_XzA]1\su.]yxr@zEfqh4y\a0cٽ;GQ,A:7=N$[CGBX$!žn JF'5{ZF|֕zo#۸ZK7Jmx7_`̖۾6Hf/6Cna;sm S6q&Cx8WaUt[ X\hKe 9NRP'w`vbF&ͧN\:V؍B8nYnd;S (y S"7Cc7* +ZIa +tX gVrQ+T]B }vXF,Ao3 _PU\V.AU֕Pa6hZr Gj\І9_43]_62|؄M8N\Me+R} peƭ"/&y{67~^SUvk+R`-#K% 2a}4-ܽYUo<^"HTH^(SԔ^<8+yFƐ@b-nTCd aﻘ4.j))Krm -CgOD9ٍߣ׸j o4tU:6R/=aG~LnVZ9\ *^Rec-c%T4*whJұ"R!Egu˦ÈciNq@f{xFc?C S F5qĄ-;r] 84 p(h`k~̿xb`y#m2|$4fOhQx/mEPњ>E]zfKvy# J;%0i-!`? Ču@rdh;m5nCrg9JB]JKcɇ-mPdRs!dE ?wM=Ť(N3wǨՀO?8L-"so E>408Դ/OP_E ۙ}wi_l8(%+G\vMLUw1GM׽F/j@ |1 c/I)*Q/q'o1+0O b[ 2QLdCt"`WV%ؑgvc4}Klۊ(0}(4v^Of4v98ه^QxckOuV3!'!VmRl.Xױx~}9-w:'qVK/VbķB?$*ԑDqUXhL@דz BeO'\:؂|f2g^kzwqH-+up֌Пt#aE^ԇ DU ʻO %Eyܐj] - :Ay(Nus[wp8F>]JyTo2ԺH}YGt k"$-Qq!wU`vo)d(NO'ttp8j!x[ПfDg&3&o2z^K ~ ) nKqz*f䙤fPQ]ݺF(tuܴCljkl\E)_n^cԘI0NqVŧ=ٺ"L68cFnX >#fp& UӴH?pЎ3%V($OžЉ!〄*amG%C3z}QxbNB)0=R-A9:onFDC`aplLOL8"҇Ia-p1wX@sxv,.{BM.?!<}2%Zhg-KX?T#4MwvƇ9wۖexr(WHDD>ZgEw7 |{~8_fPo96 (4لF7Tweç s|oβaYӓ#&_)B!0$(P@I;̉me?^S.?_u'b E 9=+[$6D1zj,<=8܇tl.:'wwLm`bb۴Eg%Mv#w`StA ݔ@mX c;512A`OН1°L?P'sC9vzב?0R!*㐏w9@j%~v6|t$Mce%P_t ALΜv,E6B B=AI VgΏfp$A,]eUGl)ѣ .!pq9F'iw؝2Ge7Xc C SKZJ/ U$ IЦ'ڇq3`gFm\rA9ݼ 22 0RޑXRj0>'*fM:yθ #Ɋ0 \Ɂ=lW,˳VO NQT~oiZ@$岉ю#)%˾XYKRxtQE{Uc{"?j ^Gb,^GA]i 'I-: u_GaCR$PY{/`|eC+` BזD<`al4I|OvGJp'/m~A[eL{B :_0N "6,@>#RɮIX/]4 >(G-7BN+ &[W[1XC*_u8"@2:yʱl0:2a^<6F[.5eKb`NPũS@F!`,ٶYmO)&i a=ԼEnd~@*}*`]!zJaGN ]iQ>>2hMDSJ_쾙J~ N}֔* &̕ x#Nȣ$="m-FfKvU4v# :U̓^MiUjN22x?CW8RPD`“|dtNz> l48#ǎwS+bc駁g:BR󡑦)fc.bl=l8Ud 쑠cg! BTC=(-]- grV/6NW4[cX:{Q-m.?zX_!O<[>{2$:=-5m&qbL狎I)-aՒǫI֒4 ?^O+Cv8^3n[QGi*ʾK!X .&>fEܕ?͔. 'C7,gB<2Zuq*^I?>a'{0yX<:=Y0$UPOQx]ΧO{cR]y{$N3EIukcu?2{-\u &VN- )يmL)i>$$?kmw!S#qy'%} { -lyGNO1e^>VVK&+^)6HgVV2jc#[x4 I5訵곲AQ1ţƎ μv٩SWu6Lr.mH2%97Yl̓i#Gl%a)9}=e"8 5R)£] 9}K6_?j5$ޟQ(<3 a@H@@\(gLvBS@u0e[G&:`|Π?"#\:(y(4?6kEwaOeycX4j}T'85U,Kgа6BUq\`%fZ Mzؽ|LP@^-88Ѣ0Q:"pHеlX@j^%qXd qd^c1*ɠ9FE &=(8 RV,8Ii ,w Ǹ<_jajmՏLDb} >53[.&4¼jK :c_ϩԓOD*匐U{_*nGy)@W`i9G]bUA|CGTbr85qq\ lMЖe67 neMV_aG;anOV+x5.Ϲ;C|效ǚmkXc}jvZBbף7 jf 6֣6HYZ+P)Bd{$,(sY*9-1 u!%hY\f!/aA 'Ѻ+ѐAU8Ö.p=ÔnQ=P49q}3qyx%9 )ΞFv H[^8I4Tہdӕ뷛t!"|OYOڛ"WQ~ɳd_z*%,zUhzg0.RhMwM1wVd"eYw񥽊=?*ҧPꉛ qm-)$Gf5EJ Nv)@(f+& e!N7T.C ;g'­+)J)1S-'}FǷaGMώ{V?))cqje "uwY+MXMKcs i'$UhzENc3Qx5W䒞_ʆXl3h_ibÞ[&Wnj}ԟLh,OW`9pg3&R48Qf#\6P^myDf)/#C+N]@\'G۔= nI67&1ySqwйG%8"_LyNjOYw7KNՔH^P!?17 &X󩪲!ZA+}l[*/CfפkLx;,w<~G>r TW2im|3MZ_T˯?7k(.h"pEo611:T /_#B8qrb|P@Y F\ѐKL"-+ŕGJ&ؒh[IלGW)7'9F`0AbTJJ-M}ٶ-_(!ǫpFK[ ?SB+aCoޔ 0č )^lTYy/HJT&v=:ZsX'A,ܻ54asj`y#)Ce]H`fY%`6Pek[IՐ06| ^ 3,d'aSms&#b3i97U)'BJ=kPE`bJHd::tA@M !t?ȀWBY7l0'znkiNljֿz'#DuzaLqb5WB[rS(Oʁ~5-ę>QjYO]}<]»tw%x\,t_5WJ8ЪqD˴_EzA1>pc6~Q}3 |&|&L;ԁRRwrlX?8+;եSѶ%RV:%5˜`IbS@IU촶n0s^>I`A\lԼrZ3Q唙ppw3ar> +?jLYaTW~%a vhѭs1GIbmOa=R=ӘS?t:L;hZHgBЉ<-',y) |D5 +^qdz;_=ϐ˻'H4>(lm^8K1tцj`ymIXtA!N%]x(53rkյj5,lp6ꜷ[J*Da/`Y,g9ghhp<wleg ͆q[J;=ƾ4Ejd2m,*e*X>|C}WəhԒ02QPUrLdw(kx[zX,B}T_;X.Rt/\<4GA aD,7~D Tqw5Z 5xD5GL)uߟxML,Ѹ96 =)<yx!M8ޤqm]/Mjh:vW㹄.Tk^ (J4c(fOK01%Td 7?AD{(s'Jʧ)C`XYaTF ߩ7 ЖDȆZԯT8.B6<׹K$'Ӷ F;eirB=(q|cud ["ն>6s'+h/s j3-JE\.ez" y ?:4x" VP]D<(g8 `:ZwO3Ux!=A=^y7CUs\G'XxQuȟS'IJ}v`zN oe:~#H"H#| x|Qu6C{\5b{(=gW _u 3JEW6GpVR Jf LIBsK7ٯ6;洅j@a| Gg[aqߚ ۅ\ 5};{DERD8eZE #sԈr&Sz wΈsuݎ)L6OlIe[K~8a4YYvjCtN;BńzFu6cHBK@ͷ1P<~}OyqBbU:߈:ԺZ/} @Okn>nA/NX*exO,U-_cSY{PpΰfIvX#}Ie2s#1#$4}[ϟƭӁjZkVQ9۶)Oԩ)p9!Pb,7t2$t97'5O`Nu%HHɌ%k\"؟;ܰt̴K1T@eDM/;=I77nE74Ŋ2?ۨuSm*'eUWb6y̮sX%чF ͶϱgYZ7zXZִF! ]ŗXi%L&\5Ooq@Lza#FiQ-~kg"7+STjJ]:!Vq.|_ea wp\-aiK](ePWH ZV݌PǏl{ehhOJ=52io2Xa`T h`֥ٵm5bTl[KH3WK:77QGi3F*{phoc!. ryly66g APᥓ9F s5q̢ͽ_&C^Lj:imYM8^ `3~w1cInoM[ٙ\NQj 6$榵so.P;d9XF{gYFd~ō=ΔW Aayyȗ?ߗTҿVEҕ+zmZVҀpe8^#5z=Qx wb1J&|UiT=dJ*ą}!9qFz 'ND(hW%2 <%M n}nABOSL>G\7a@W[u',|7W dcM2$Nr cThB18kPUx c'& ;P'Ѷ0=?kofrKiq UESMHgX%t=,W'Ixˊ9jrstLC 55 d}%;Rr}.zOșsOĮ[ #nzlWvHU|g. ZEuBo3PSGM:\iԒ]BYTM8< $w圍\Tm3q坽t퉦ঞ31bLIy vG8Ã٬&I +ðSR>O{C>ZKvKmx1at.5 ?p<G+<N^c7ꋗ yԈ/n :Xe$v !&2Y9\ٞ eK2=^v.!݅j4xfA~oA)*qܐ{ktGaRK %CK󆳒 ї`UjjI(WSC|%մW 84zagͶ}6Rv&/rA醂V9uBi7,B'f;7Ub'_O)alzniraD:>LL#lJFI =?\̕bSNOOXlׂę@ r9yBIuqciq{OՠfzVa:Ϲ +ˢ+|@VSϡi/P,jZ+!FwjH؃*/r X\DDI H(i4|׿7k$<3\x'I6+9@ :~.g @9UeDT/* } jXd/!azC;oko_7=UHOxW8|*;F2//6&S.)gL ~ 옧~ESuDUf)%HEw éR)쩼%6wzWh\x*q5 QGտ\&a |gt/e8.G)H: )Go zeQI T27kJi9 r][_tï2++s@oƜf_8`;@zd\I8S{5;tyWH/ 7xX J?>_V$K7:k*TT LfAU{ye9{^ zAlD79Sp(n.'\81&yD6Fs=(+3&dBx7_L袖Π.P[_6Q$Ad}3&Mnw4p%yu >8jq%ӖkGkwi`h=ݱ8)cgT39kʣ qa2ԞV2'B.K%m Q'ԍ.ݡ,ze?!k&RWע^IJ{wa0,aʾ]lH&o?r=VQMowe:@HWfU3{J1gÍ"vXgYZ4413f1ad6430929b87136a81e65ca55182e2c6cb9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 dfd8ad0004da8d0afc564b4654a7485eae3cbd45