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 cca!4| ]]]HOL-Proofs:threads=2elapsed=1023.293cpu=1896.504gc=177.628factor=1.857zXZִF! VR]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbcUoC]⒄?GJ* /e[4]Q$͕0)Ro:R:BnCRkVGm];(xa$c_4{ZE]g ~_ؠD 3/JUhNB#sgP֧%R%@ "nRvcr̨T8[zvq?MnR6l8g}7)[[sw>')|Z—3.+H醳I??6x(nhp“x;[n5w7|QǗmyp$^<-$TTHSoTxїc>l}YaG*IY< ;AQ?mA.fꭙkRV:781Zk1#~uʶ<>"O_^ \k5BOE 3y{ҷ"/$,Fo/Zbcf"T:-P )rɒ5'(Yp@ȭCoف8G 94Y8'.>Sݛk:jKW2 z!q54Jia"dїw C ҄&< o`‘_QJB; =Q*I\y8$v gHߺs41V(pc1l(`W%GwP`o Y3>gHo8SSށ] B6cz \caF 16Iɉwr.>bӻ!3 Z?Dr۱s`/+HǛį+@N!ƞnnRИm==v 7]ӚL@- ИRE m buރCqxE^/i6П!Y`bP im'h"0B MRbrY3Z ƃr08˺22!ԯdN(oK84&wdȁu(Ơ3H%٦Flcyl⽮/)#^$"G9T'=@;ͨdQ~q$|h<>U\V-Ӏr+} M3ѓAc(z!)̛&b%D&(SmGzX\vdz1Nmϒ0\]VQ|:!!`77ڞgBFIZ[b㸘U̘T4 QIVOCXP@"q4SOw4o6m  Bቿ4\H8r/.kZ!+P{Ce ʰZrjOkk^o'&8]9WVPnkf/i,XYB4 #aCJgî@ ,NґP~HL |a!-:x۴ 5L]fPzσWy#jN#t'1gCxbڇ>Gee|#(ŻNv3Rݻ ?J88+@e b)7 q|f--fI'"f.J9T߰CpCx3 5 rN7unl"g5IJXѡUxҞč֧Sp,H2J3O!`'L5p]9H2# .eYZch+哭u> N߶.H1Y?"^ۑrPia%)]@x9Yw:Vy@zr\Vl*0Y?>yб :o?-zyө>Ubϧ(qo <6}H1 .ޖvh:]rL[i$߭^rfD%b@hVޱ )i`*cqXڍ-qkCѳ[N,U!']&7I9jߦ18u\\-6Hcp5K~hu4HqW4QR0rҘd`>yWheudfކz 0Bׂ\! L[nS| m:ML7 &}N%F\wQDž(*Tf a::qKxz89ixOg)| llZ+ƇdáJևa)`0 53}JaīMɢ; fk[U7jB˭xA5GZL97 ;kyd؝NH 뱠(>8X&Ej9Ŀ92,m«^o~:Pϛ|'2e#vgbk|Hyi'EŒ%r{ PE2SA tHbj?`[38#FQ%15_^243հҋKu狂RYw.pQAeL$U%l*@F3 A=MEiYuZom骚iKv4ɺ_Njsst;= .#wBh6(s*jGj%O\Cl$>wW3Ckӂ]K1,; m4,PV>fY.*9en՜.q-yh*Tr|ޘzFmM}{цG'v(-o$u{p4K9UlG핺U ,K )'5\YF-s VbӰBofweR5؅ϣD"F"LD!vq|9z*KȝpSD-WMBU][Wf]6v&(0e4^P "MPi4OXv7$mLEb7LatwMq,QPMĸ v%%;aRL nhl+E|R4.ʡCy5Uj;|g*%yР?)' Lh6<ԺODPlYmT-g=R5@qL43}IN<(>&{U=e܍amxSA80@0jܘO` *U 5rbW'TR #>(lt0D$nAr(ZQ- +EU {}ޒh+*p"ڵ05'cGgzF‹wS#N ,3|FOn؄">06тnt+=àAN U)MeRWEFCn@w*),&p^gzpSC%-$/&LL-28S^Ã2NGWqT ɮ05r\^Eu8CvCK,x=65PyX &)\kR(QjgjfH^u|? Q<- d#dcME駋Ԍ6%%HW5Xb7W\#?\>yG}FIV(F\gn(02[OYqMdXM#Т'6܈03/qЕw4I#Q^͹[K?y l]54 -(wfrFsJ!;У e{ ~e8^ GאpZm{e\bjJ˝E[fS3fG\vEwZg sf3g)Fg!Ӆ7ˣ3wuCmMApC"APZH#t),:hQ!cLKkc^r ZE(IɎ1"߄w~WBO!3HHx^~Z&mîc#{ӇL9D bi9e"%Ld{TB\%13N$qfxC: E̴+eW>@&L|;j'  AxPA{ FyQ^\+(GpbC˔& N6W;ڣ¬߆M 'BCleʬkJ Ke@~.\)oS,{[Jy1H%uC#؋+k+eh۴UhbV~4p|>8";܌|F.צ{̱ܱgYZ7zXZִF! T]ŗXiɟ29aoʼz[%U>EM!!*W10sEچW$hQ:l* )u:?hlUçAZ"@ij1LrNW+˷i3ŭAs ;P]T厥)hF3׼M;`kQ\ ;;9ί>ӣu? u{+!O_R39_=+ʶLҒɛm'Oڋ,Qr4Da%ۄLjPCJN@A_נ"!ݳ֝i'"6k3 K1Y |@Lšj1.mtpyU 7ìdi| ڴr2qRA˼H={_~rS9M!Q_G>Sf6MB_\"{[ cBruL{=\ eG.ZV;V!\@V_\Gl򂉥ׯt ,F(ԷNsΐhg-h_|\ q!-aOffM ]5 TVr@|絋 Л䎮@քo7͋<`GIj4}) \c+*s Ci'X=9ORHĀ<.¡v4ګ% Aᅉ7Ό^%0iz}sx *Qihe;W|v2hѨcHЖtC(ĝ/rgQ0 d*/ O\{'U\\ATql~-*Gwub3$M ɺV1Z#`DǼÙ96QCl,Z_'C5U -@K nkVOh 4f H*?YIbˌs@H9[/v eAzG!E]s5}SCژuHf"~94}Qx}־qXc0&Cz=Geԫm1kD^VH%&8B G2- +| 6myJN+8ᠶ*{[ !E8L^ԲIWd=+q>މcl_@*']tWs@=UȷMP'ox?1S~v7S|y 6O`h+Aw .$$?['zw^,Fؖ- %W\pwqt<†  Em'ot}?LXR0d`#K~އp\ViXl&>5#+fN&2I܃t6ab"7BX+x9Ht2+ LP9ԝ2mtZ 7hJEÖ1LR1bLrTtX0b.Ԋb{+.OԣJmF+R#qШ:]dWh2RyhZJm*&tn JWoN DA;H=EXei%nMym9"><9P]|E=?d"g1tTΧ9 2DgYZ7zXZִF! *]ŗXi%>g#|EuFF7Ju˙;ACuzw+Kc$!V `?6lid8V}0  {*!\`NS֍kEݭꋼ2-g-5^^{gc;anE|+|~i V9mЄgϖ Ni .`X vبvzNQRo)@ S0Z99yڙ"YL]c ZC- ȖӔ7"84IDŁ= fLU*M84d?+M;>}u8ܿ7LLw$[ ޜ!UeM[5R"ߜm/ﴢ(S@7}NuPQa|M0O7<㯆*q0,U6KTE^T%rxZcUcazN?U[}{. 1YoZkpZAW'wm8ƙ`|Ȉ^qsQC}ИT l nWLfkueBzLov5-&Gz\01E J/j٠i|2iUuFl%xժ[S-=q1pi/s*ysa9.~q Q?9ȀggĬ?cGBr._c4ସ> _iv&'Aǘ׋#+zްq6"_:iلˏ~\}LMTؕ8뜫2wupS K[.Wwڢdq>xUFZǏ5i箂k3.= (9 ]ԢOvG``#:J׬UXJa%})0hmү!s'ey:wILt5 .lăTMYNi5 g)d{ϟ 8yA|1oS#2&lnNZem0S _mɜc^U\{JwZE`Qi/g u>)̛Y6s8(wUt5jH+v,Ď }ZCS3޿89(R2`ց eJ]r X0/lTʇZFHbWlӏFUwN Q_ӡ*\ͷ,tvF Rq ;$?v+uoYHM:PLk'݋ Ebt&DJa1/v Pk:h -2w]tE8,֖V=Y1L(,`§6}q=$HN)?Zs۳aGk0WUb(+S|h jL%X9 F1J<U 5zdcFÇZrHskUzn13\DC`b r8y  m~znK}MHL^rMw!Csqr,yBTn? h+O lbut﨔% 5YJnA4vҏu[rb,T'Fzs#e R5j[a2B5iy> 'ff*NeTf.ClbS;]YĿذ̿ye6aZPUP;{xFm>IAqy{ĉE6sg[^B$A(H2bԞj$>Ffcc%x_v<#šr4r8x4q,0y௔Hn]xMpԅ…CPFZ%~ nY"KP6*Fѣ,Juw:U* =׀RHsy>%4&灄q#/3}Dv|\Jd&UO ŠL1*kK(`~U| ;mgK֟wu$7:t'Q.1:)ͫe3m(ʍ0`|_q/pCSWCyb@hod?d;6tYh]Tdyk ROV Z"kf_:(YNUxQe!_ @S\{@y Wo0GB92b9qcuet̟ |;9KkWrb北U} f=M5xSVyv;ogK5#6{ "eա4\ֱ374A7>ܒ,Fjcs4ʌ`0!:)XÿS1@&Ӊ8;Cߤ^_`HWRܧcayq:60=ԣzs0|3ZFBSz/envi# lmq'6w*'9mDӣ?GesőkMoרzK=MK`'ÑỶr}B)0'%7Z !aeK|G,W@k+b4_6y}ZpGs{#gC+(n ^?ڵ%,iڥrHn^IF×m}s1'h%)ӴO٨SiLLcgZHѷRIU٠KIj593˽xe.@fJ$ : .uM\M~(pB_GXఊ.6-pa>VZ2ʡ1ȕSfY5%m}Hf+\,O/oE\?)@ :q>ђFvz_vԸSFݱ*Ws/ <$ =DnDg&C2A)|u-a`x+}t%=riI.7\Vm׎ÍjCÍz3|BʭO!Vcm ő Ua75НY/0ǒ S9slېef@;+X‰^79l`eCެ̢ݖR7 yp U=\5]Y+;(?PMGzYe66'",^X @>Hmh!,-H!Oލ6UW&v) C9mPFMRp%n frE O -v)3bL>(Rda3A -.5Zg'.@7|,E^p=,=04`e9 b}HDLq=T iVsU)֩eX~3|gRI~aq5> SrQflECL<݃7bìC@6g^McxeP!1q}uCm)vI4 X2uWw48wMHjq"Ə#>mMlZ#BY{ū}N;\,u4h"U7+lzaHy^Xwd1>n\P}_4LpE`, bμ&A?AH |_* ?Hs u\e/#yI^j}'kûr=#֣5пF|]AMXJ~UaFE3`%ȳ],Oi"9c'Εwo˪hxmA[PK={}8&>|&omΧ1ڗ*G` )7r@꟞i'.BY[CF`=pe" ZSV_vc[4&ӽ+uME)nHB#6+ieza0xk+66 3#d(Mcnͪ\`z;(Ba)+'y{̎n?kۡa sC`)HZ`_$BsH.#>=tzbn*-a^h3NLI?zFQoF#dpjr̊z1X!-h(h>`D)K@TtE`6p3w{x?7E}dEB6Aq,vМUqjn߾&'dD%B1;ϙmq+9l3ռO@h;)~+AB.&6h IesO&2jy%HKcݏwEPz9b,;EO ]h Xrtea´Zs?ʸTb#1,񛢅oZz?7ײѸ 'q)7u ,ɵn]y?M4Y*n `4A5u4rX)Ww]sZ< 3\ul4L=}׀`Am%k8!jTxqm7X{)7 &bG۩BD*7#AvGe鏼+K`X/݁ZWX(u:tㅆL.FfַNҁw;)Jaeb+9!ȱ܈N~DDo;o>Rj D4__&K\h4pz\6 㐃R$%[N{Lde-<|ЙV;_u0b\,b'g=n?v%kp~w8eQBжSEjͩjŠíJ$ !|2w_ߙ볣 zYU[(iD$GO0Q%PjkJիs  bQQn--9Q0B,k͹~2n+kN㙵aj`&> ?65E, V ) HeX:qb!GH18VB:RAB:iƘ,, Ϻ2Nhw} d@uQvˊ\nT0Uޘ9fOoxx*3-AzA// Kpq@,s`\)%Fo(w0y2[2M2<ʤbZƖ. 6tGkX=NoQ_la (>Ư#>Cj_$zh2IB|"#b1u,V>9;V'8dbA@Ph !"Ov4: j< w1u}i8SMI. ivo2AO`U2T;n4Ȧ_֩'ZL-OQw.LMAW[CF5}2+#lVЂ$2ajVE#vp57qZv'ܠy74e ԳkߴE44!G"s%0No>Ĥ9l:|wa;WIO6**jn[Yܻ?-}}ܯ*%E(#d޸RJnh+d9WGIz2BF{:j 8_ $i9 ҄w-m,c6/pH81(ׂ) cdB>ڟ(?gEn҄=buX*LBYE^ $ݘuvI ~VB:8cdl\$F7kcl$n;$q) +EpM'̂ x~4vCf*Yٺ[;yF PJ΀#Zq^A ΍)ԍ}aAK%&0qu$2;"ǀ.8eeO}D)w} 3yϏ 糆ZEX55bCч` 'z4G,USTfCk\uI l/Ⱥm3MP۫< #?:wzECH_xM}mk!HHBtzl~Т^enF n?yd0ugXP|Rʺx^!쀃1B?sTB;XJRE8^Ul]Zoyt2/L=b@[M2~j˽M*Xx[/l1 HP6 FJ )I0rM&f,1  e慡U):-)09*?;7X`;=Y"ĉX(җq&<@zoLd3(?R#6fTVTؓ#nl>x,]fY Ehp\?Hcŀ`0$]7"-?gM[ԻyOt q'e/l;Lwѥym跖T%jщ+ yZ "wLȻ>8LbC臀Tw[h,iQyeEj+6Mͅ.*Lvґy_֍Fu.4x4SEnWpϷօzV eؾP|_>eg9:{l 0FVsџ{^VLFDEJ5TIVmLk`23d9Վ=w"ah㧫(Zper_W<8,T+ϗ/H*9g%Q'䨽Ҥ{ MYK/J!ZOxnDܔKii!M3 ,Y o6nJ9RpF/A+ GЈ( |I3 I׎<fP<j'LG21Gk" $Sj*M'zfȐj\F:"% 8]Ƅ i'b~bޫj }*RN΋եŞb0dH1TH8`ne1C1c׃G'o%#֦)%cz!D-켯sB@xLNqo7QPږHr+ƕp $BІ2mNPrS3Y l2 ).)[0(h`$jwcgP@s|WI:zN..Q~viK'^ .܂%c4;.;mщ o(Gո;qO3w582]W 2;mk/rG'E:KA~XI1FoMTUNם涅vQ.#UQh=IR㴆̼p#*φEQn] ր6Qi&Ln!M| 'OgGP_3 xLKP ĒIib|bbtR\"BIM9hyWaVg&zfl i΄``ً Rժ= CrBu6 aXk"is΍Җ۫nmNWD[&K_¯'eWk'%!`UMM E -}k)mvV@}h}(ɨ밺#XWb 7p2}x:GVj.ӟN)C2wPK`dvo'D/MrB$bl{#"P,dz[4/n4~#nf:_1Y;ck\.%9J> xwv5Osݞ SJt9qiR ˏ_;Oq[!|MTB;nU =3,Sݒx8FD_A3?`7v[ٙp Dz}Bb=yO qD-!61"y8c')..M<2:K QQs`kL"^O' >?Ɯe߻8n!ܔ!۬ vRtb&=Aj+T_(zՏj)'G9۟pɂ; vVB* +l 'lt:q)ubh(#,uQ~Iǒ\HU&栫Pv/X߮h1/+b͹dQ8t&osϥGT|?'0F96G_i >r@qç,qp#22#jD>_;S\(ݻիn)[ǂ"*NiX"*eDւ(CBJjXMWn6= ]wIld7Z9]:Ҋũ'.BgD;]߹Y'Bӎ~zT8>08VOY&2gig4uv [?UH0<ކC޳mͼ<"\*F؂=iJ6o<[mן 'g.Bg4S Ӵ*Caf3zbn d0_{Q/C׬(@)d;]97)J -$.R-$(|%1c\9\q1{^Kr{JJFVGN->k.}nsĨ3M$t/Uٽvrin?p$Ia<K^0ۭf7$ 0x0qV3e(lWNPNrʇxFve:g^'tλ?YXފ|6 ; v:ជB fǔ){OiF)1 @˖Q;陚f4ƕw*Sx]ۛH[ Ar6S\RBw{WAHFgV?p3RteSY|S;|ѸI_ Ǿñ)./N2g-&M?ܯooO=ԭj$=ؐẇ>+l|RR=.21B`z5PNn,p He\EG@X Dz!KE3:~P+4* XXECܦ?_$K$E69'TTP?:,Bc@{4mG8W+\T$ЙNd+ұXU4'Mm#[1dͱSn.>5~WL~&ر3fF2VEc&,|#\5ڽCnzW€0T&5pM|0Rqpcb*@1q~z|*,Z6|~f+j[WўIhE^D0ުF`>CϘ5ʦy+Eנ~]OL.[+,xY}A2Q _iiJlK%If+"u/R]!q=nuo"s`ֵX6k!2 A&ZFU471S}FZAY9r\37mZG28ʁշn˦9R~{^+ |ޟNYR|ickf53` Ãdߩ|n >ATو\t1y-oE [{GH)C (}EÓG$*#l@AidETNű!  BT 2q3&1ihd;#\rP߉Wz%L<)vBIgiӪߙDQf2Qg1ğ7._Ӈ\U:~&)tYԠr kB,1KZyQ 씛  nLj]͒^UM'!}o BfyFk(V"3'˚]uL/5E8Hi7GY;0i'c 5Z@D;w}.c2v)@f,K3V ]$<ƘxBKס.$au*_'P|5ՋG~ "e*`~cecT. ̹㙢5Ϭ©IxH]͵Vv[V9mr ^kjydK唸|$qM#;<^lAcn%$aEslꍯouY7vmNRl! D{W(buϨzAKd@aK܂ MTuEL1b`+P Hqھ:b<$|)!)wv#Pc!zIlߏ%I`nrsx#_FQM2ub$pơ]oJSrP4_|EavۨD)oQNqVȎnƳQw9;Tz6O'u}'\\Rˁڰ0WF!ҺB3L1cS0~iE#$xڇ'%+71qodbw=ym[m}l JAU7 8d'2(&4MGg#M$ڡg 'niH)c]È8ad.-4RL6PRf)w~_:< _mRoG4g?QEY*`V!/g lUkC]=BЈRGSssX-}RZz'YQ.^`Bf2q8 Ƒ(E-8c7]uR忟/`ۆOER]ECQoW1rZ+{al[Xa5ׅG*0Po"~WJt|)>ֈy΃]_W2h vIfeIkP 9It}4}=~ݘB|Ul矘uβ6/pÑ´Gޟ2*F KM&sMΜl|P|Ǡp T\7u3]0)?fx^wf[%L"`-₶ITV11@5R&bKrղ.BP ۶sP 6Q֣hu@zsAI٠(ve]l{J9+%[ޖDChŸ5]˿ĕaE?:k*f^w3<')~GzUVeA#ߎR وɿa$F+:޻pGucNZYuB /OQ\\& -ȹJAphoZ`eĨPiG@prS\VnNIڷD- it)\UӮӻz4ehVRfUЃ7k{idyI\,(.|Tfc6pkwop8ӢE' =|K=sdg6'ӷ:ԃ 5Wv1pQrenje:.Hȥd xVYٯR~ۦ 摍EUq)Z@^J3vT;:-`yIFOtz;?d+o(5XV5Kevsi#mwU Хn=^9uN!f08ٶ( $<6w (a@b@͖] cHJf]VVuZM ;$ ?|Olj@WAK$K'E z6y 68P)tS zfxo` !qVguyo`'犱'[tx0fdU@X81V;Ůx$|FXz˰h"_jr~q{ټխ7a[r;I0^y{Mÿ_VgS }pX&T)hl(v{mv8.T#>-uЋyucXˀBw76ffh wUX UThH4K:{rJ8)h)6K|1i2_|Q/ nŴ] _fٞՓcE2 ',:u/!vER/n9yC|@#>hB$̓r n[>K̼h\- )NHul3)@ _C.ZJjpi9?ȴJ8}CCi.zs33[^WrGRgWy`:ƾq.4jlz ;pypREYBMvsacE>ōb%KΩH*V敐\G;=z0_WR20uB Z I^hut؇2#Ԁ@ut?_@md=tTpr} &6TgmV`LYpUb2Y,Gy-"X>F_$Z(Ra-r7Uhopt?iF0kvw 4KL="JvoCp=[.x[F<-x .Dm|c5c`M_X#kq>hob PTXܕ m2+9 Ե!&gћk/)88s<|`D ڮMOXU_8W[JOV>ؾ֔1ky51r-Z9u-@#˶ф_#- aSfuW3I-3h|6 Vk0wXi4$#*7"%՞Me 鶓 o2uM;(Cd ]Řht/Gn|^T P1<:vjIEA<׿Ksj;3ifVꐐ(v>$1x 1/\B;Rѹ %TLT/RspҦ+A%%<,iARsٞrqt' LIq3W}ޟ0(TqLZLB(\xکïaG:Em" 'Gi+kID8[BĮ1',a8I5XWdK:bu ̨Ȏ{!pCx65hܽny6{f'bv _qd#V׺$a6^ZZ<=H vAx`TM!}~ٶ}XMZA2l)so=z%މ8f+N[=>3kRy>g[co+)4hNdz(7+R}D_rWJiCQz4,(xZ}[·*mp&¤kخ3$/%"2fLQqRg#m 6]Fc..Rډrb궟Ye:성 թ"C  sE;SUrڈ/ѸFFʸȽ5FS[h8F^+ΦK.,ꧭYҟ7 u_Vc>?==j)ߥ]BcO:͎TK( ܪ{P-^XK$z=RjTMKj*4ETfk7n՜:sbah:g6%EB~f@3$|HXoں)},a /Q__ӄ?vS/}^ą|WiI-Ǚ$K8'NH8zzg0WYBٙ)=®@Ӕ!-G!;m eu+F. h6,\6N/dqSM tY ghdҋ+@ќȨ;8ozVw=.CWH8Gi4T%S7J4,,_؀܄6w=:$ %H+zy̺ cPR2 x7b5e,ۀ 2vIeW?9D7$QCz3MurnLr7n"H8uzU.#<ݐ2?d\:d쟨Ӝ}MEdGVgR6+16PjZu#GMW yl5˘Its ){l>f3"uLN.7l`B]|ru"z 1 W↣H5ΉW ?7쏽oσcIzǮշJlJ{ǟMpK$ Z-v,5l0|5vk. U,/οrqd&i*766C86}COieAk!<ǬX5z8[rcXzK&;``LaW,^-Twv'-xP-΋ndă Pl`kux;e}fA55blŽYk#i9[WCqFQ%v"$-pb^oc]:f̴:Yxn%xnڤ[*tډ[SK[VpnʺYrR<ǴhVjB 곸'r>Qۚ;F_NiX;;YR ~uҋ;Ptu0D:Uq=f)W dd%8 Ɏbyյq }QoFI#^X=ؽ' #,wI^SQƥVt P:q|pj*;0V_[1~M&&8<].,4!ޜ90G!S"0c}3^lEcKզfC1J*fQl\jdTd *]aTQcɥL틆'Pk/:Õ}ϋ eo^؇?Z0ALS<2#OFkX))FI&R;oT7Pn+zre|Bksx3%i|6)S2#zY ,lt3P*,0btqA^#]I(\ᇭ0[Z}_8 XH-c`(S C,ț\.>˝zȰ𬬹UhsBL|?qߤsOz"EԿRǻ>MM] .ȄA=ΣߊX φ'x5h(%Q^ `w(kQᐹ8A!dO/e?nRs'Wa݆+C8ފ,FuRm&z\a(mf,X2Aj 816Jrm#*רqH4]la0+O;\3-q:ݳD:xq>E (sABY~ ֞#S'STl(x8p_`] eD:efɫ&DzEM+B\<gp8[>u+n!!|};؞|w7l1 ^& G!ѵy$>)f^~7;ʸ1ޕuQ.qV?11]'xBI|\,?DG?m"n=Sjl0Ð:_hqۖy <>t˱֑ U4} E{~mρ;o\h3O4fr(IVx߽e: ġ3l͸&I&i)_>0rY{*ȫž0d@^V)ZeFh^Sf#kf 'C,UG vJ6lГt4X:hv"nͬ79EVs$k 7uW*tO业,~KW7LB&!^*%bexBU}ߎfC =NC+ Nm/+ŽpjY6ׇmHB@W(_u@yvowy>2UV2&5qKFk_Y+ً$?C+7Efk:DWē!@8);dp}Mԙb-)L}l nL+RX . W tCeY[؝)ﯚej8z]?XwҎц%uKv[@ wsq֞y|.-߾z: b4jTihx7;mr;w Μ4IԢ4I]!"zǘn_2>'܄Cn̷ݺM0Se{&pE+MmThToB5.h[ܻ:e oN-qaBAC͝f7ko&R_#jEuSr9E<_M, w#88VL|vb5fVL\w~qTQ\T ĠOI'Hw\>ҡʂA{e*D3We J2#d92yKZ=X7Zq1>YUdǠY܎;$XW a+ᵐxGƳez=+ 7/y,7GWr @uoW3^|R}@NpX@gDy.q_f@;Kb8lb~H?@ ` } #y_Mˉ%}oE| jlvkAoMG P1gQ}(CޟjԚ㗗;@'T]ì'CVA X2S w6k2% W6 جC/sZC0P/skמ$@Z,Vv|+$#q: [JKDxQ>ʥ>'?BA8k_@,=||'HZc>k02.0=n"̌-Abf[t()dMbrJIUfim;8^Gז;fPUűTVK@x`#>谭m7(_z–`B Z-9]ĨѢЊ_"ݣke`容f>+e̬9/@4YH{A*qn@fYr9v hD>~*U+eJ{̏u$9hFOK#^@aƊ aС}Y5Ngň"`"O)+!8pPH*H2Hyi*]ӆ1 G\I$/^6^r𛑽"ȭ[(@0Oi"U:z`D|Iv%ѕ+\^8 %qt7'LꖳfsD~%\F^jt+%=̄gaQu JԀ43Ϭ~>S @[`~FӨ+VP kW͋Bߟ.HWM j9$t^鼰 #l%%4h}+D8,R,WL"s'g/ rhK۩:fPoV6 q?Bj2 oU璵 rd<-Vȳ"ѝsH [צ^i0zQ+7; $4ӏF*-5K=O?D"n9{`T)B7yG5FbTS ஜt-dCΚoZ}*u#뗝n:=TN7yniUEgUȇF *}sn㣭QOQMiUSHCn0J'eB\wf`wyRpkI ):r)Yc+M4v\Wh x!&Ds~2TxAjБ>d󇏎kԒey3Izd= / -gs;y:&By1| ׆X&l)3I/ʄK~mG/ꏤpnZ.IE|fBGhT>Jl/e^~ඟ?Ee| <>Ma@32ƃЌX򏈇#JXB֧^q^1A>i1p dc.r핸-h5D6 3l{c{OR0WoxzD 7|ksc]Y?Y8 e fSJ-o\l9og[[~Qw㾸0C!Gn?IKBcl Qeض)!0V,s0j$yֻ=e(,X%-0tc?L vBm^G_!&{BIFFK9A?gpv6L$Рs#_Mp6 V{BH+ K{M@{a)H^%H5u$ %KoH\ղ5fWUʌDզy<{ HC]lB.N)&K>^g4 v{WUԃ)IlUtzrUd:yOA_ؘva+\beyg.'~jSE$p.QN#lY䥀Y.>`0%3fi/ODW#AVVcGgi)#&jUs٘[K_OO*.9Ɖ/YuZ^5i/V/g0z[`חp'2Y-?wv_ BIU zƘ!O2mtWJ]%O+|7ڿʻR .=I(zr9 _٬G_n,-XCRD] 9Lx=baA |ieI+ sIO5V9q~r1s2ڹ$.9 (nEw3LjwL^"c;T ^QMDIU{[eʲ`;ܜ`+T2ciŇŇ= M2Fהa 74? Яz$Z#{]]d:7\}X OXWcxSԈw>EL\I*{|-K@]Ve!p rY4{鎥m?-9 <+BX-}@GQ Z^[P E0R5lſ!c\By4J}xft-|A29j@у`7"!*V ڤj^"R~i5K $7|. y~*fV jͽǞqq9&kU eֳf{kE$*4b1y8/×fEvxՃOz:j(= ؛D9j ,o3/EEB}O?cLC[)8%W]b{(tb @a^D]? -L-q KYSƋT5~RtU](5Th 4u諄n.}Trh$v;5V&,ÐB9|_Ppr {b͚ p(7d1^O' ;T_J)$dCY-<5$ qU}+ ` j Q,Ȋ"GZQ e.?c)tQ'jK:3#e%9 kᛤ PڔSy&HKw*X8੉3[ 굪tx@¢p2ْ5ۅFY}sj12ru44R ^e"F,9bVG:A7HZ4F읓lq)95y I .=t,yTjXV ! = THBػ%>ULgp(VC&?nV<=U[*[>VmtbdP<=0y80KSH. ȇz$fJ+qs lV:1:" !]tn:Χ?C>ƽW>i@\L0\j@ St|`[Fr~d%E7vSL剃ܝ7g zYN%(AA[ k9^Yq'o"bUrm?m}R5W[fR}&~L(o^b]E pp7sƭY{4BRrk`d)Dmuz f)̑m,m%E^V,E[ 2ЄS@">L2j-HJNo{0A TƝ9#4Qx֛Q'%3wLzPn:ßq < \ߢX\epvcO4quTjK;"[<00{dڨdol5`xp_D9rZR161a-_ŸɅK/RE a `4ek`؄oʘA>Ff^ ̙0]ǯN%-]c|@ժ~A6$l=3I x?覦z +$ThhrGù)[[2]{Qt*#n#V߀(#h<u5 &/MopF͚LJ9n/{U;]bwR95n,$5Wd?`,COhv!wLya#t;]*3yX=o(+?Uz#s/` rwW+,ȋ4M%܆FC >8zsY*$8~AW \pxe\zsgzخ".#Jn@>_*F5e[MT=eߵu@ riu&iPiτCR+`d(Gqv7 ":1( + h\ҡ@ $n$D*v K;[PRGټ8=ze-*qOwnבO\_yҳ(tz~b(aSQAW#‘#ʈa DљTn vaqɗlIV >)|P, 9dxnu-අԲHCKlFXhAXZ {UMWזkIZn`H.p= 97uQۊ¢kCeRjgi>yE9*(7%&Kxlq3|I1!7m$ .Pw>O Wc%u j-99ħd{uJ6r z]`w-_@DC&WG [ 7/]hLp_9`Sje9y jVʠ`59M_XjO1 x},mnm/f9p0w5R> @>izjBr-ycLec$1mz5J1` (kCMB1WR;K.9F:Ī:#K=glꈒꓙȹ02.!Wr8HA(8TjUyQ-rtS}$c U;SԉuTs+HNg3gX@6Oq׫PȤG /i=w^O؋$9ewaJS)c*Ly^g@Bh@9H!l׃`Xگdb]ܡREXmXQMmtîCL b;dwOh,To8iLe̎.DD%.;]e)D ;Ʋ`wr̦S`M}3fY|?WO}) ua%nw`,4QЩ2Y/N(+_6JQ5Cwc b  )CW7yjsZ.=j$QITQF$%ߟh F``OoRw =SG5cATϟ9!zn{ϐQ*nB0=`±[?+U] LʇroFjUa$96n@(\>~Ym2w_Qݑ#kO-c ׽)H NGF Y*|})p!3Ƿ/Tr&ϝpE޿3d!S5URK@;MD>mVƞ#3K_yoe*9M)lYuW3qr9i"}c`c/ 8?3\(# I+qv H-4@ԣU@ӷQ?T N[ӯdFI+x@ 9}[ 4AH8|[/z mx@!'[Z%"klLc !9يLMnwGZLԯ̹5|dDKv1K#pk3 ٥\ʬI@9Y_Jr_ D3o,~.א= \6"vsغ b+3֙ Jȩlx0c 9 4-&yeSO_3Xt% ɟT޳ {OK/wB.-)D9{Щ!cе$+2ecIhn|(IWUwjneIՍWG~XPTX4rr̛f=nȹC'~ Ȏ}m<r Eu[kD>R(|JҺ"P<7DQv<MPJ/D +,h<TjKACSߠnE 9}*wcanlNJq,mT)kX0CQ7@tbYwu+A3++8G=в{hc[ ɬUbw/|O OS8viĞoHjBs~96auZK6LcXPWo{6]u5N6Tm+r_±$GBI$9(J ehvLs$9ҰCéH&%r dmiuna79iO1/K$Gw8D"J Vћzb޿nGTuDʦW7Y~6a[҈Y6&`4bм kdQm\![7و{+LhVXU'Iow/f  ?#yRZx;߾Je/z5u0=u +aZaPr;.VhOH,lĦR3u.DxvVuRIy27ȿLgC^:1Ԙ3uzPUS(uc!ĖuypڮB}^ehKx>zJ6v<LBk:3Zb lmZoCo]sxLGOfgS/vk>8|`\Vue.|\Q/(c`niuE7pɒ,3,륇Gx45;k,!cPHZc.5pʩ^nL [%W`k6 ZY!2 >L\ukD{xAUI56!@%ELkCiT.L e#H_Jm$ e$B#yԊ,O[1!6SF bEW }kvnUnK̃DxcVٿ Wi'}JEJ<+4QR. IɛA x\_V ͐l*x`GZY P~yh43Ո0qbDQK'WTvR=H zRF_7w|3?*Xl PjFWW΃(>\J Q(vg[D=`5^33iK.T1<5ey`<hEqNpS#D?'A)cw`glp]\ L:Jpnab;YoGt >81|fElmOO'Ma;haRhykJpjUm|=)xsBVt=TY@RYmyY6.wUzEetcFwj j;qWsU?س)4ΒHEg{xi֓Na vCPu-1"=MǏ{SB•DΙ-VBayfIC~=#B|.CkR2$l yj&!cj'v'#.m @0U4L1~tkJhx}xA OAR shػz4lRHP/8*x+ױ$(b*H/uxiB KMELC+M}p ( 9GxYH %ɚ/ dk1+pii(` >2S+{-XnUvfV}ɗ+=[DA-}T|1nE聠\rٻw=*lHWmvkixVW%5aFk*?lA:̜Vg]eB†{pb*C$ <:\e:nR?u+C\Uĉst~Im1"c'nƢ$M9!NlJ! EѼ3) iÐ~곞 J)W4ZΔ$ wXFڍۓ~-؊O/'nvߌ^JwWd^0+d{f쬼pICc!3 ވ_0~izѢ`lrֵQn쬤ntϚEES50 =!mo hm?RZ qMzCᘖWo0O{Ny1-e!w3[EmՔ rI'(]ۙpt.R}>lXDwr.Ζ:Hő9r2 HAlܹ`-HUoQz1PB6o{[4ۆ{,]B ( 5 Rʊ^gО($/71@ q8ɴM'usW:a+= Ӽ<:8=)bF` U4|'<[n{J0Uw5׌U.|f S ⥽hE[c:,gKHs׉ranR_-б.wi "&d3c^!aS<[mVubm6M(X5oO.eL+;?& W.rE7Hͺc_W続@$jC |Al<}ZvZrFfݷx`pcgjM{,gxa_z]wv$%F6,TKHӼ$kheeQ¥o%O}{Ҍ2vG-ĕ1b67%E&2X7w[Uf|P a%^)ݰ9(\CviƴunL_6EYw,fv=E_-SI^a%12h?@ '}=6&_^+") n1**/o(?Aa k9_Fuڼ! 4wϙ37ިxL3񛁡ٿI`PCn zb(S"aJ3,䣺pb<%i˚lZD &ޮQ~{7ʦMu/ Hic,!ZPElP/j0D%18&aʙg!F z]6:gW= #l:PEFK]e%zE•s&{U$t&O'Z#AWzsciioDR|!J>.f8P3VR4Hg ;$/$"myq_Lf"5:YfQj}\?ד82}p]9ۅ1q? :Ůi2k+\.6dUe9R{9lIcSSZgUL EF^kMoO 7ybX*7bTjt5vUF8ѻ҈#;u .S߸ED]%dʆ٦]I>#80n?% oAu>*Wj OcAΖ9 h\p9.\ e36AYL'>Cy?oG1Ѵ{X-Ix9Q y]m)g #&qW0ȧu850,&~-t,YGܺ]]E կ], ٥#ԩs(UZ1Pƕe5IaTw4q״>zy&INBc֧6p+CJ5U\g/OK"8 HwoA#z04ER-[Wl'إJ;+ǯXK*,>Gʬ+JTi=̞M&3Qxa&?kkDLr"n!BM%Kdơ(hX nHY@u *,34!ǃ<Os48ݾW!t5C,HszmZҌx`[2?7|sDž_K<|`_`lFL/-ןI7n SBٹ0:@nϩrg={USG~c;O"3*mC٥0Vc^=]8U6 +]U]=rdJ"xS$Xax5@v$+~#<:7'8{}`}>/1Xx~_vvZK<.|0HGOYfCfբ3m %o8߶ z^Ej W5S)Cpv#w- HTwWLba6Ξ.C;dXx@ 7,׻D׾ہ?L1EJ/6ڐ(C-d{~WvM;I9@}0 K7Q#3x!~c-M#+yiB, &>>#:ɑc4ĈS? ?6Mk| ʉ<_ʍr`ʧt@ 8ϲis~u&yO2x]e}zmlI``t8 c7[\=S :'.2LA;pg^b0T p{3 H|A}6 v9ԅ&g ܇k;C+Eɖ>Ҷa@ 1T>F 8[pz~9&PW--bK1Kp5n{afSA>ݏB8(bY/IA i/p BbLNd?͋GZA=ymI.CrCjW-1_Es`b@ $o)Ax8a hm /x;p cOH=]l%$ml,Rlxwo0",V~ ]G$7sheƭc)yr4EY2KXfw5Io2"3疨VH:A%ȱK K$vr1 ٵMMR'l(,ͮN,cc#YG&ɤ/(_ `$'P(A!n #%\P|t2=1RkYp-uFL-=d-a3QP_B!%29D6ICJgCO2Ǵ= Y##wk{AWN3t-H0kaEj3@e-ZR 7 )y~v2qG%E$e# ͸@db8^ @\@cʀ*7B;4 24{ s~;`E͔(;B L`L=K}9Hu7QQ+s>%/'2uVga>3ۏc!an0 `Y`@7P7E̎C`Zl_]*%I"Q8&+}kBOYu a!$JG*4'ݽIʘ"蝾$%V9C`}ĶZdp@Ē,# R\XMg#Dı0+x_%k$\8R4֒Ô۪"j Txh+Bz+{]Gho6T OF&#*h6 nalt6#ضz6_An);#4'8ƐCpںYR1:30UM%1P'O+~p1K3wN/y%>Wq+iAIĽ(+HA+#$/R,X<,Bh£hu@)CV#$|bUEƈڱ2oHoΌ"dR=aЕz-B@®޶moE`_Nġ@wWpofzW{xtG(z\S鵺4IA-Ӄ(sȀ#; `C@IYc%,K UH'Wۨm O1uwql(?N]EΗ堤RG7詜r*: BqLklHUL qҾ@ZɣYVi&^r&,WrF(L&18b;M9hUH:c7W4=޳ڒ0zq?x,HDS$s_Xfgn TU˙\9@r 6ۤWMBƧ&Y9(JS}`` #?PΥyrMJ)ŚI.(3gH[(B^SdiDWx{*\9s>!2fT^X*ޑ/S:n_EhN'竇FGulpgFKEA#S#v\0J!VoA( ddH(=D|)EkGh7 avڅՌdF4r!GSݔo6M0'7m"^ͼzk9_/g&|#mWѴ;_Do~ZyC%tZw^VBomRH l'ÿK B&khK80@#Eܥ(nД"e;i_hW1q>%xFcsh*I%SUnANڃV pNF]Ps)Db"vՙXGxZc*FPI.  &c46] M<ۋ;at.f$QExx6DA*+ 9 Fncw80*lNJv*eܚ#*~_?!bBB~qIZ6=LnY;aTj4RWKUV,0%_?"r-,$My|J -aŸᆪhd!Ay SWRKNx4߾巄8s`rwD ʓ>i^U/G+UԱ4ljtP>Ĝ̥{vj07eZQĩ.PQʞj*\)p1Wʔ# @wSO#+^՘< N<92i7 7V*ujפHAz|1 #8` ߀鏀uxmbL;&KႍSɺ[v6WyQ4FnZ!N>1jFEh{ۤ M-cL 8#(x"/_ ?0B)p#r'2n >u wpw]'i(I;P#ȺMYy1WTɲ ) xkPI"Jx򠌈ߛG`򏓆*[>aBFUgYM=ZF`sPZe𢴰'cTgz7 #*ġ ױ)xT~Ҥ#z|:||ȢqQ5Rb΢>HyxgyYԀm5%W?i沺T3=uZC4 '8bnr" ;u=Ӓ+yNkK|\p_{ hYmV43 WqL]`AY:K׹&9*_x)B3F:xwH-s3ba'ݑVG*xη=Ԣdmx$| 3ZxHSǑŮ .${ʛ.-hO[REra٤7`![o1/7Δ6t)! t1S.ZrMslA<|$O'im8LDryl[T(Ϳ;¦*)(C'7oL>kaCv!f߫uH)=T򱙆oUџvrbOO㋬ O;œyQ:?F^ L$xk!BYgq8`sYz OX‘V^/foOôkGڕ!9_my=ZHg~zMu,aG/n>AIUf.,\Z:<11<ӞU4 h*+L*MHE&q<'Ƥ/NsY_|jgUϷv`8%ȐzJj{J?G!ATml9C@["CO>r\dގ}S*NK^b#w*<9.6=K^qK#&g0.xjD[5>{DXMl%ڃ! y=H64%aJ7j`n/Ee8eA= ˡ} blVG_ua85QK6\` _v2e7c?M5k_&:vPJei ֔dD`\S2n7f4#N8; *`e dr/"EE(^Z ouFs(ɘziqzvY(t 't7IKYػgp,;;?vpbl)L2UYOz:IX7?wYy22KXJLm*BВPg Vj Hl#5c+A%u~4q[c#Lά9,29l (xuW[U` :R0yt1^&o v@Cs[^fjy Z" U/0-.Nl6nk`k; ]%;$L'}-U; kmiy sQlBrBEHg0%i:RY13P̳Nπ+L-@NmNTR#L'y6 p0(C{-gYkz?z%PJdø;+B:uKS$-QQ)MSrЙSn= h|sAA-x}ޛb!sR0M0a_bONbG!]Pu fAV;g<+(@ml@ 9.HvqsiO~'60p~BgNz614)2{{ho(23a dh@7D˙(7!VFo8gmHEmLQk|ER$25H.gYZ55020d88905d13204f09103d96fc464a11ee3513a9ba4fcb27c61f2722def1490d5cc6ffd820a523dd2db8241bdf70601525a97e276840cc7775c6dd