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 33$\ ]]LLL_Basis_Reduction:threads=2elapsed=449.480cpu=814.564gc=43.640factor=1.817zXZִF! ؑ&]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^? rmtk{[W?}rPm^37BH0rvFG /GWϤEVWi9i?fozP}b>DAxʝ w6v ;7X lكpΪ1i-e| I";7 ]7SlLwʊˮ g{W[lp++5Sp`"(A6"?/ǦAraP-~5#аG87~Mb:ugM;-]w860%5UѾ-0HC R UA>,6mtL+΃p@ٔȍ҂-oYfEO}],gYvR G야C7G3/_`rY {{egkBҩܨ"4ˍ6s~%@j A?s˲j!+i&:Fzp5LwObbj|)ıߗeNUQ²!tvt^ønqCY2^V:F$~E;\ m S9mN9jl\ ”?*Qh|A'qF~D.#.>5rZz a`e3e_T-A6AACt%AM"G2SC凒#[]`{X ߠQyAƟ,Mɥy ѝ"at<:|%Fһ- l8BT)*LՃXhG)@o4Zt-j)'O02]OoESLo4m_]n܎>,5q~JFq]bW wr(0<< [4 u;^0dړDI_+}($&wv-uP ϑRQ홤hwӷ E$̷_) {UGh#sxb csD8'ugMSzy_4hY&oKsw**D qeJOkcח}Q}(ZScb֕sug%=Urڈx*h$`K[Ae(MĴW,?>R@ .abQP-y\3z|_En9J}["A7K!\Wл},sAWLYWF]3L 5"ґ<+TՊmR@a߭_;[r % B=++[H<Z0ar f n`투L#.v.Yd;g qvPU(~Mzeh.zZvZ^hm)ߠXi/SoTtvxxiw9 8o >rTtMFe<~x^ܖj pUcG}TGQafCej'z3 3&,vd\U AC?fwkpi5 SR\>we_GWab>+fi_]jILu&bW^[9(M}P9*"JP=kh*$)%@8BVy1my``S&ˌSRfm )4j=o'מ^ZN!'ێCV,c[9*(Yή[U"՚grs\kZ:bT۴x+ܺ<I=q870iy(XD܉?ѩxj m:86(]:B؃5\Φ."I3|˙#cg® j?['(?Ἥ;o (@V9-LVTA{I" 3m&j  3 LLL_Basis_Reduction   _s#qv-\R-@췥 URGxfI9 i?u65XL'DVYgj.ȓ^@y;k9@#ܨq́Nij$co!-嵊]UsnZI<v\$j@V}.^P-˂[%:q=tN\|~ UBe!%jBKI!8~ӭ}{CLGts?IVa~ü+A{K*KjVs:~nGH:_\ WN''*vK0WXBй<(Kj׌ 7`˥(w,;ĠW8BPO2_"jQ=UMt(+7JҋzBhc\/rNғ~.[Ɯ BUsm]5ǣQ;7Iӝ5@䣚~ *BGX>^} ǟvlط:_9z1ksrIST-ݨej&}VYb$wvK6G, .0_L )Εy‰P/0Iɸm=ڜT:p.dd56M/NA*ߦId`Vi`Ⱦ~Nlq&hW+Bg0yrJIpFfI\($ = r 6P5Jk vgdۃ%c!0Uyκ1|wBr2s>M9Ӟ&"k, P>wpSh}uU7U>TK Ŭl|o^"Ƕȱ8 o oAkrĖ RDŽf 7ȁ: $͓7 ښbB (3܎5 b/wvJVWLGK63iY Aט^k_4J^r %L?C Dg<0Y_..,EpጇK4Khy.7'{¨7AAW>j#SaN r+/\ak߆0鯻& JKhv)#6hIRעF>OͩѺGHIܽPm )Y?CޫA1&/@(شSkoʦb>Z闝9ȕ &xQ3! g+`[8db1VLWxoM $%c_QCZТP%L1A8, kwg]Jr wd{CPEƾ5O"FlIP ΒmHDf,-Ԃ?lI_غ{aAJ7/xl:Su/ e#2nd~! ,A<ӗap1qӤ&.IQd@Dka'-zY)odFn7XNQ`":P2=^|t-e[Cף- ﱇ)IN,H`);}:>O^" D`LbG IN0<4k ^oag#c8tC'!gf$ !?2ܳ<ؼ+etFr0\>԰-qo'Yb$RƐ$rsos|%4̩Bj vղh3#)7VNcKfЇv|Z9и7# |.uTTCCaj MXp•{# e pF&z 3٦c\o9P!j64.aN>FWn#)=aj 2f&UB?L絁#apYBI_I ޶Dic)*ik\do]Jz `Jn~w֨Ƴ_ buӋ159>gEJso ws6%s1?@ac'$>s*.T' ڙ6~9C}Gibմh=s_03~t5)Y򂐐4EP%ȣ4;YҹϓE0wS_Ud Tjc-jfS=EEdmrC,.4E+Q]EN8*!ؐa"f2B·.D <9̫^vr0lw*N8sg@7b;hHj V=VVp5UIuխ!oo#6j(:OQIi1 gKn $*ƫq[6ƻ![ϟ*~ [l Ċ#"|U%D!Bn^\6+-|}nVN5s/iV>^y0:U&m z*՚E9+z?yו7 hZB(x|$(2˞-P6J|P k.ֳ `b8 p/)nm42}gv8CTRo4=[(tn!,hvd 1%62nFVˎ֩e-kXND>ͦW.u9voҙdM H݊-6kwcم[Qyeֿ\.%~=:F~\hJlJ!=&&?7lid@z(Q0k@֖ӏ/bA2f%PD1N4lsi!A<7g&@{cTmʊpɻ/7 Y V14w >y>B ɆՕdOzw(6aam!6`-+ͅ |Zc.icHL#/?n6Hp/8F\BY\MrY*+A2_HkXYKZ`|Z9ڸϧu rg2ňAm NOЫ)&D\տ+ۏNBB2D#@dJ'd;e_Z5]*/de*m4{0T&z>ݴgpW8E) }r! L m_ _?_0+ :k||7O8h 7?Cz5Dvo UǸYb\ۭn]oixEzv[7SG3 AvVV#<.4J(,I۰UPdCmإRiQf0Mo7ilre[e'tPI3z/>Alx*4 V"Neȧk}:v/'`ڢ=^gϛK׏E(eڒ:".:n$6W}۳ڢT}dt,G r䕦K~ч> һuk|^۲ $ãUmUٍvHz/^#Ժ8uQ抴NMm$!3mvesJ^3~H;^;p:l58{,ss<5n#⛁ oիX#)K 6 Y9 1Ze@KCa`.uRޘDKywN~OH{#D+e u[qA1;$I#']U[Cv /Zc7.4 M׉{_K':dž5f|M2,QF̲RJA, !{sZo Z0Զi@spCn=HAe2Uvۻ2=_ ah+dUȚƽUyKlbAɠyu0'o%`*y-U0\ 9wu8n 2%OBOaGht$dnM{ ;w ,^`dm :-*XxTn?):wKpQ@Y(Gu?_&șe0_NׁEj!7ibf%u] 8JrD&ׁiv }o^s\: ^m)M˓ܛ_Mjnv9ɥMf \9ںAM$5@: Ln2BB 09A=`wH今 /|.駔)0Z( ie\:Z^.qg(gR> \~Xtz~G]אU1Ԭ dd=В, - @B;/za5 65- ǵXL,RG7-N}@ڊ?$j;8&)ȬWf4M@TS_Tu&E?Ow238ۡz~_~Bdz% 31(xe %/v/bR+q(fέ6[ :nۨZ{OlXD/ B ,S˳K kqӎ`f?lUAw6Gpj.s%|55lcu,R>ea[F&" 7޳0$>! KsPJǙ l_:[#ޓvN .Tq<8S6j_ي 2 A'>5j!ǝ5?k:XF[Ts1?5zX4a#hzĕZFm@ԴM˱tzɺj!Ҝ2`6|$'Q0ʰ 4 RC3v5.[rXE(m[3×ܑrۅ 0^6 4 ӪUN=&o}ĦAIryiLNm=`US3 K]0nRT/2,X8y_\.Z嗌 SĶy&0w'0no`.9M*֫:Y%hVIԕT.N K-mlV'v2zPF1]d(qY"UQzb@o7չ bwLLV<M-ְFQex99B^d:PNȅfj1UO3E3lpSU~!*}(Yϕ. 7K37Rl(|o4LٱgYZ7zXZִF! Q]h]ŗXi%>gw+VF8*eLz *'WU;sKSJw@qt]v ԪCksUO"IDD_jAG7Xs%x2(vy`#*':4{(#4g5>4&I8'qd|`S7$4bVVc`żʼD9#!?L:iH9?) 9rV ]㑣aV<)%kC[ 5Nj65ax 8O_ؼg'JxD$e/5=qM ؂{VKҎ 6r 6=*k4'yn\ы*f [Ƃzu&*n0hx  1f8HA0Ad=k#Kہ3kͽS#Zq2^,xDMѠq?`hs]]%gH:C~nZȆİ!dM w?WivD 넬۬Y$CT,";nS=(ҎPO})H{o>NH&BAg)}3{Zcګ1IuL$;=I}ab$"MPiP:%S4}`ifrT:p"!qyg3qZQuI<Ψ"7Ưj6q3=r0#;ٚ?EL9TqV_ݥD^x 4F]1ɲ'#a13oϚE&MPRtf1C )<æ4Z{OQIZǀjoV0@[#U8?"i~' O`!VqKVQ)hցbO&[jZZ{-`KF0jJ܃zu0$QQ^;JC3χFHs#v b͙M5x9 Ʉc$*waa^}Ed1-'DHHZ-}{]E, ԑS85C$w6͇0V|_,>Xx2]V;H42 T$P`p 0tMwEZ3%E.Wb,I=E/tje*ȵOmE|V@7QZfIF Bhlq` +,}!s.m_֫,d~KF8A#MC5Gޕ·Y1 +n%>mg6y$)m  Ƅ_ ^uaJ-?RhcΣO>mxxp}K*-ؠ;M-k\/:^RnvȧE+[摧 1qBRqckS"X/T =+Lpe@+Z;^OJ^Q %vo+1cO,26S +UG#(ǜc nes x9Ldt$2Chw4TefZXւ '=^ w#K<4E95Vۑ}ʰmm ͽ8 );R豗t fh6gdr\ZDh^L\?SmjmşYE* ߃w㜊:[6nA'w_{sӌ`?5(l pe0]xkJOK0{*]'N'…e5L؏ pgw2$ڽ_k\VDZjcWN59vή׬C[h{dHmux8kO"JYpUqPNGBct+[K ,@3O[GmD:rNKƉ=&t-2v8DY*GŌXvU˖8ܒӚ(N+!ގd X"18-O mfކ7wgqj%dqk WC~ Utuw^^9_m!P/?Д;bՒ.AZ+Jq=+P̜RrIJ^Q(͟::uRa3V< @6r">U*o|z?nM$E0#e^C\U6cu(md0}KS7*"{Dt>G퉍 ;=Ec ܙJ}`ǻކ~X}a1 ?qh{U'Wru ){,]Xsx?gDZ&cMTc {l LN">@Zuo>U8<-[E"iJxc? 9&UWoq:Z{Veh/+c8xHQj7r5BCo?gܾ9a@څ^8u֗OQ9VZ0?2m{]mH/T#by_Y\F,6λߎfT :|`'r4 M#W& 4Pnܢ@p'0.Y/K[clPY;w'0 ]$vf<] $-v^XՙAz j9Oxb*ޥ%_=6!#"oXmR$\.EG#&X\p5Dm.ܤAW}x³Y^#ئHu~-ysLxS:PЎ:> @<#s}J{9a39*q 9ݙ!d \\`R;m:mW:{yŹnUI rt%aقn))ZC0z Z4>ex'^>nn@A~5-7FtM'v?3 S@şi`I !{_\rԈ! AnaUL[yKU,b~! :Q۩H BCf2u]9TYȭE93jh9ֺRX3 A ܨʏ*`)YjϝYj t_Sjv,u{$A"Plh !(y-!ЁQɣICr%;x}G:=1K#3uSSŗ`TaGq:[7пϵms+yO?DIҳI%q K!FWͽU>Lذqmdu ,r@c*15maJ?ʦP%d -7h?kl%;C_$ KbT,G̈́6_|1v>y9.$-5h. B&ɇ>71 ؅#ۡ A ƕSQ$ sk2S7;GF`uj.lYk#<Ocʊadg~kG t/@\Wt{Y,}^nuV IUreY6R1c`BFS emX,NAq!(G{̽`u}O:u/P?v=0ƧdfLysUnNAAtUa*xk.r ǑߨYJ ?ݜjCrVB`8衩lI͇ `5 2r'BV1V7ؙH yiBUrZ H|x/kwx#fp(#lteU(_']B? .GA;?G٪fA-ÃHqeIF{rwtI!EC&rk~#?S,Nn^Vlq3 '4b結DE.%!넫Ia& ^s xKA n 54&QN'b Zrq `n2"88xW do J'g^6|œ @\kSHH `C ;U2PѼ'FakA3+'D!qvC')0=#6zXT kݼ &5Lc,#q5+43L/a`kqs{!r`QJ 72HKt*e܏?A*KS#mfKD3Bmpp^S,S* mA߂d>c6xmk68`_LvBFﰶz)Vb7[rdqWSp 6Ma0lG !R>k) j> B @9 ̯:/sr-w x8+m#aOna-\{%2%*w9HPBkf-z UbE6;Q\xFýF,)+ƿqBwAl瑰nn}J~~*j4pCтxՙ(^O)0f;@Ҫ75j7v_H~2Dt|C8U&f$"Szh1ZO~OC˹)Y֜~32sWN'&շ.4s;UJ K\WyXK^fLn<Ai0nг³Tv57uSѲfHhPS „|WwFcqR\l;ueF`:q"oJʃ0I^dK]%ߟ >fd%xٶukYEv K 4MOt7ک֧\(@zm\x1:#لdJ&PX@+z<yJkC% us瓅R1^OUаbRB{TU1)S'6qN/|W7 R%*(d%XM~?E B36$jV]TrՆbQbIu:T~ tw nVs:.gSZ6h? ,wLm lgrb7VV0'H7s3)`SO&8Btd:V(F J*). K.՘@W˱0Wы8qzy:o7j? >:Q0"sH6U9w2f僴% gJM1֠W]n{G Qũʣ-F A${Zra5#&2[3G: TP@E,QkT/4| "Wj3~*-,IQD,nr({# j+=cl)p O1}ReU"5Q sHlϤ:pxlՃ=lM^x𡥴fTjO͔뎄q/ /ri.[bi'Ȍ>tKw_r_T-"m.6'SI$/4yf@MvQ']Ȍٴz>",R /)dg@L~Hrr)&gd^rA/C +Lq؅|fY&ꊥBy(jP 6jX ^ҒI#nHĖ#R>\,<rgOLo~LK+@D$"s G^@ 4jFhu/(6dGy je![t{Cr{sܖ]ͩR- ,y[ə;o]L63L TS;~L 1p4zF XE./uJ~ 'ws+&p[D#+*n9GSh0{_Fxj-i9lZj;vT螊T^|Ab~:AI3J ?a^reAr;&uhjS%rYn^~T:Nݓ/UlZFB71 9ݱ- +LЗQ= `A='K۬cT &Al[SlgbQ2u>hC ݟIkV]%K{EgkW Tl3\+ v'UNY-]Xox@03^CRXћK'sR"i̠@xfX;s7:g#`psլc62xT1Xi*g lr2]dz]pMS  6tM߀uջE38ADVUnq*kN M){ ]-Ɍs9\Ivyt^<w Pj$%h n].RX.3ΐV~}͈jkpt.OPO[ܷ_`(6Tט5(%{mP6Ii|cZĎCkg6S/q~h֡!R]䎇ꦙ-xd}ǶQ7W,`jM>|60Gzە՜eOuN]k˅]ӀjlA&@O3ޅǂ#>/)#\Co "k98zrC:U:jf:ZD3[<ﳫ;6|?r0+)FA ug1Դ2`~s|6nSYjOX8mG+"Ε&ZF1_Aܪ?O'jMrKAf78 Epӿv)1۸ ersh]MSzbb\sR~Y۰dvz:-ǷLSx/D^oY' SR c8Brr?:_i3qi@%W,Oݐ iP$%zK|[feq(f$?p6-Hf-Hs\'x.Lo(J&)Ғ߅ }Ee{ɒKbHro :}m;rVbBKT^t(jKHZ",zCTElTC)IQ!jXcQiIa~t'.gȄ*lqVfɸ95>#8NFE>]`}qy!qElU:-ATUo)MzPbW4Ê{f[֪ qϪЧpL&GtMqb>0zgC#=;I-tOX7,s;/m߮*k|U{-ZOlP .N\ԐEX[-ë'`Y#gTMў7;=̞RP._Zf2-4H |dxvSҍ6?gFVdEpk\9IFhn hpF^1O/'O~﹅3JBQĿ| l<a+p;\u+^JA,XE8ɭ@*>e1 B[MuZ]81kBjn,_H*%I6Ď+>ʹ0p1"Je ؋@h?W=arsQ͗kت%9 uٝ{=~W\Kl%Nl}΢%JMb4Po36t#m,ۉ;6RDaQ'KDT p%kRaG"3#gN,r'!NU (E'g2v n"JtNխ,}uz{JYƑô{Dr![P?lpZh7yh20ld@S,oXшY!̞ vG=wo浊|0=Jfnϥl4{ l7_`]{վC_0`?_GPc%o~hLu4"a=ai:ڀ9 O)ܛr i!Ukuib itaEs[ h Zh38N~شZ$aԝZh<N3T䅝m.-palEr'cC3@{O@p'WFU9WG+1OPʡ 1xS_YnZ<+p4T.}bKWxb':!~_"++--! @'\O 琭v8crN˂mk*,P*G,Ywa&$ }? 5%x(H:ԡ!GHR:s7q>*szf;0$Zm0t1^rǝ>+g6Lp"DhqTI7V?it 8ɳv1Y= 7y;0x67nCۦ3Ym#zud"yt)κB)ǗX?̒č)wLFoj` Ȼ" ]}1zs)^JqHxBpn֕e{O=hfVvċ^Sds_~VjOi?Yp"0`ۺ͜cUtt[. YjY>2Re, C`-M-EHk˨SG,CMgV4RF ΨSVF\LY+&>Y.&M^pu_pbb9SaТ ʢ khi\}WI>q?$?l=XCWeAN3}"?- ,GçGf(Q.c)m?#&7ф<K=VpJ7^x~8GD@ NԚ 3&۴p0Bqt8^L֟ϼWӢHec4 / Omg؜Bf4:"bA48{= |@vG! ij9'u.ŰR`cMrv0=2dQrNJ$yIL%|4r̊>-=4I>| &u(m!SW'0<8kS)-x,p0j'8s/ j2&!XL|_%xvEjW`]d\{WƒK<^+ ~톳-=vJaXsFHZ(6\J&@Ětw+7AZ/\ Ҋt&'*R@Oka ?;UƒFʻE0 f k\H,v"g: x/f`RG@ yABe\el2`obnD! _|3Ե 'dZd/zQ]6O祾?n]n ao#fB x_,HWv]Iq럸h"52P>Wrb,wc[Iǰ%*y{ ?&i&ȌT<̔L";ITATQd&9,:XqCv{6DZ_z_Lm=.cߣfÕ4 䐺4{ (s9 `vS\e93<% ~z%TYKu*lښR T:ʆ8;v U 8z7Q3Bwp;\W!51k? 5se]LDfoX,C(*U2{S 0^LѰh⸂\nHc' G5#?I">M^^97 0EOa4CKFb+Tҩ9?;]O)$l0O-o$,ܵ} '^FnP$$U/Zh@":72ZbfA"_^ThȥXT]cʮa=Ŭ+b+ 5vj [68OGr{/[mSA5eY6'^pt8Ykz[Tp[!-,[fx:KF,b\0ڲ<[{li̡=_,J ""=8ٞ>N(յZ>9obB@)( \m h4ZAQ XثTp:0 FchIB}r4BYA-U3)~'d|Y)U ޽gAbw |Ynj[Y1=wޙ|[u$xܿGgY8L##j?8C:0O CHe/#x.N޹aO2ү6/;H/'ס.wRX#t(6&ǧ=y0KI׃es J0ksrGbcOQl$AqwPd '0{rMR켭*FHkTҌDLX[8'*'Y?bݩ".`tDj:#l]f~1#찋|LҞiJQu粞uwe&DYJy1~(tiuޠ % om"YW 3|ف(T@MW-_ ɍ;Z$IdAx+V-E9J$#gYJe$lǏ)χPXApX|Ṛx1Rkw_DoTW(hUMN͉T|=CIn+aE9 @pmWɘfU>-& *b+$NW7=>Ӣ}X%I08?]č)^m2 C, c6E{m\hdk&ju'FuSX읒O[S;P8S.&$;tA@ -ϗ=^k)9xɁ'?;{ֲ$TN[k ?C~'2+4KjP~/wtR}=;mKǽ߳CiZT|HH'y.;͓73BJh)h$sGR[Pcy| Y榵WB6p=},KƏ,ڲ;3I&)m 84VٶAfsI&d# c,<q\笟co: 4|`͗9m˨VVBʨF\J}/#g0({_]K^~ <B:oKmW53c?ZNYc<$g9BsVE PkcA:U;mOjoLB3b#9Cn r8RTD cӽ3:j,qڙ1O&^r7!d\-#f5G?yR\[F4lw:0"QOyw@*GACr#jNA\@9/pX{q)QUOF^QؠJrZaB"(a/MqF8|L1l)_V^Mm)5,k,q㒆%Ah-~тKځYx1I"'Ǩ0z7? ^lYpv#z ߔ0Ҽkn )Y.15mnFDbBq`j)o ,tzi#hn*t\Wv=1ճ &=>Rjq[VAڱ ,yGߖ3,WV]E$vQ_Ja7b h>*yKuwZ3%.jj>% -&hn(~l}S,O8ty0L%$Ҥ: h2o㳈 ] c#>:LۈR [5'{ K>|YPVLAkF8:g?F$R[ A鯅ҨzM|Bz 3 ,QKK@q $7I I,v8ѩ.j;⦍w&r;h)* eI 04zd /wg%+#YIґ9KTȤ׬򺒄r?w}l|0 DH80&u<>  Uuǥ=_GqWFUȗ!k>l<:V˾]TY)͊IʕIl-p7ʨ=@oayfj"nƉfNU!°L<JF}Q6ԀAsDIrx!w@s^C4x&3ݼ_=%ECr0l2ֿαesAXui.e7,<%MJcim*$Qps4+pE) v<Imw,=i傧 np ;.8u#ыK₠r3RQL:_#¨ l\[/#JH_l,m+gH'[RB۰4DkhīվUO"eo)0%q-+&L7K` 0DAGәBE9Yu,x}ikC!h-!B Tq4jbghLW.Wnsk"i[uHHTӫ4 m RYf=eA<hgaPNXb3bG'r ˰es/I/+4[=Sc H1,/pw"l"%S 'f^]\MWr>xIk e6 ٘ HU\mu5=$QPZQ;uI{=柩s)y))Xj-Tc'7/*5 ˝<ɷ \'"Ǜ+ Ɓ?&v!p#M9e.uנ L<W^N $k~A ]%zLYpwi3H*oM l)sl~7w8rT -,D-(9jCbz-i:LG+٤⚱ЂP; n,M7NPU6>C,'~m.d]NψN{EL;A|cٻMDvzNK&&Nzƕog;BnН}JMTi8UypҪpV8_'s*չGM~DZ}x4't$@ 92 B f[5kem:eX᷌b&ۑp`$Cm;`,6 kc[rfj2TA9wރU`V u/ٔD&8аE7+,.OLde`.ɣ-$Q רLVd{s&O|GJg ^㞃i{̯d- i|[2(Y2!#[GQ.:0&60F) +*0De2TVs(B%o7k}H?E߿E}8|/!FCSll=w;iZP|̮8 mo|C|S!p4g016K( 7VDgR3* 2ʕUA=(V[֌~f@(LzX*pY@~M:,:@@_Jd;ISm$0GH2tI^Sx@?F'""UcRtBM F0O~!cft>c#1*jd@* #tcUÀbL˻NKdh@!$~?G\`pд ps'd"ӫi$ %&vXނܳA$e{Q۶ǰVzj}4/P+l<"YG܃Ec aK)V܈tv6z.*+iXDy z`kd19zI؝3tLhǶi"!jzrYWke}6,_Bo"bp#u8u?Po.I``%YWMFi j'1!L] vN{oO/U4$K3ʎBiVou#P%@>V+f2}Tz$efda!NʄNK=GizI[Ezwx2/D5[B I_|# .3tK<JKRqPR6Q1XbzՑе,?^2ڢ(3Jӵ(v _T9LΨ3Lku+iPd ItY~6@&Ā[T[T3aj{Od58fa}ՠb$KBD7RX'rMڲuMF% ӧǺƹEpv™1t|5_,O Uxӈ{zBaE )p/|Wк{X8)>7{*:4Mb w[!TF0 gO< *άR Ψt &6ó/(+Amr c!"О8 l frxBYt? &2]àԾ QE"Ch /EdߦJ.čݾ81FM)<-rԜz5}vdѻc^!8gYZ0e23092ab933edd6ab15e87e74399acfa18e3aa7a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 e526feb7bc7fa8a4ddccb1c996dcf7cbf8558af0 51abeb4dbd3b86d04a030fa0677f03951fca54ec ca47bca6bcf04c6745db803e48fb87bd71fcffdc 9ae49c161251515341df1059a24a9f2dfbef3da4 3a23f0fd298397cb04753951171bf9ab1532edc9 28d792753718ca68d67c00365453c92002c5e1c1 2fa2986604be1c67e32e4b01e5f8a0d9346c35e0c84529e804423671d10247db889090839b4fdbee