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 ^tD ] SM:threads=4elapsed=166.088cpu=299.652gc=9.336factor=1.807zXZִF! ]ŗXiɟH)0%o z !@'FF4]Ǎة7T P4wljұ|dPn:7(C`گ򱂩&^X\|x)hyN]xYag}8ކmPcAz/=s 3d?6ŀsPU_A,G>wdte/>Fў*U%,K8Փ,[>8#G8kSBw`Cg >b<ݕ@*l_3;cJ$z >?L8=؜ < '^A hU^h&܁H"!q?=6uV}HRa4,\iv,eCRh€qq3"G^(XUrF޿hWE R~ ozR8$ ~D+c vqLj]cyBkKEoq J#Jg6s3~ WIu'B[O/K;@: 炄_[ۍɢBF/8+`'(ы3w{"ʇfƥ` +YW-zf.,>NKfɠw6[M"bԹk.ۼpmCV )xT^(jEEtgg3]:,GdZ#+1.m/W3Ye ~M\;!7`I/|zqXӵ̗lLh5OQeojD ,jlB6^*aSeBm`Z,WsF*%K*?XhHJ/h626oD0OE88%@PV|ҩ=)Cإ& (v.?zIqJ(,_z( 8 <꫽6l tIn@^$#1jKo=)/Կ?N{cm ݏ!^$I=F?.r\c83$m"[w I8AˋuGve׀OEwh|)kw@kgUHCVT-Tu`#!&S+bS 0d=g@ Ǥe˭waAû L!̂Ǣ{]L價=|0Z=(GT6 oq%[jjgX>],j~:2F$I!rx+6 Y::X\e(79]Cу_e|zm,|06iLRݮ,Ǔƍ1rkV[ 09P׏)|"b:r@}6 u{h`NFxLFp F\F;+%aT/6Ͼ8upw&99u[ c5-i QpHIv0Y }V~0Sd'G ^}I.aFuX:Bmu~Ԑ0Xcrb|, /{N-T0)bICeVWM@G7Bc\$B߭tCOL^n B¹\/فolI݉]?`zjxm[ m8OiO1$*=] n6V:\W,QLiv|-ߪApSY H!+!<_cI[m^v;SZe2HY;#o?Y:ɴaS{Dn&Uˬ&ƇQLJ SN]sUc.bz6B͇v\ܐ4Җ9M'N}۠ ړ 'DSΐb! ]F  SM  S$8ZeBڙG8K |-~ ;ܽRw;KGbEOB)$)~f@*)]KUݸ˺θȉ[P3'HRm"W]L{*K+ZWuJrϞ6 %h um {e, ZM]*淯;%%.(0PP!]y#8#>ি7.QX,m d0jԟn #%]ej񶩀.QqxfQՓ9!ɿ#\Z^L@sIk8>.s#ת'n>z 2c"϶i(2asTAhxkns/4RU[Q&r56*'`aNDBni o~B Du^]sƮn\1^%Uj}=^=ˈ9jϭ5sNH%"F&uQ@TpC\\VD );HMV'{!$Ls90@4 \MUzPݝp,_ؑku@lxj]N̋B)ϻ mLJθbN ڙk+ $=hL􈨿?Kݙh*]at҄!ĈhёmcܠpXy k۷x縮{|X0g }' *Ր9: $0SoE*qFgSZ{a*6K$"v@?uֿqa-s}k0ZV;1i11.wEFx'TG, x꾗uu5hy? #ևOK- 2 ˥X A3[qr`Rt+Źӆ]׽}ƒ xz џVcF.Cû# 3sM\M9ӏXσЇWѣ_m6 h Wo_z~hN>wb'a7@VsM)CCxg"QYVZ\ԂCe|ϕ,7_^C>w-p s&rhIᆙ<^faK`6;|+,WPnA9|006GoVG݂H`jzqՋMZI9D>~/ƣj#{y2 N O;? a kƬ>Pϻ˟R4pLL`,'譭3@+ @QSP&fP*S/"!H9pF4Vb\04é1]J1w1 إY,Бn%rrF/y ׬vnma4֜.86Dvj4@x?CN6ْ.֟c(}-I xrVEهA* o2JY~q7 iss $Kxs#I]&:"= D9Nđ#, 6ZPM(U#eEY$HXdp?Q$0+#ZrPʲx;S/d~=>Jwp#xuixgxsDInD`;#7y-P1y{]ZbN?5*ZHN$IWi~xUeBI]xM:VG:8' y^oHtOg<(T[L5B A# q1O0'[L헳 4?@MN7 K?Yk2,"NC3G)In Esvz䖀3 ʕN2Z ~yG~}3MnڮU wk`a6"F{E[ݶ 7a/Ėf.ÐTl@Ǻ2^lyxա,;h FE$ゥIG͑˫%va3r4c% c?1 &vr92uu{:Dqo߭2 EJ'_6@<ȥvõZcn4#e=tH*mDHvPz U%xyF{wJNn *a} J_0QsC[0xAn$3KQZ0~5s]:ߔljm&Uug-k5e^6}s^(c:i~h ɪ?h!='Li*T*p'EjM47*W ;nOZ5)F1n%w>k1\~9j?ߺr~)5}oox9ĦKDmýJ%*ݎ{C6 +MH1VTi9dj8Lx14B/27h5Nvq9K 72Y(1_ IXʂ5-=$rC,zOAX9+k&pٙ?ڝt3ǿSV»OoǺQ}q8g'нAEpEHiJSa)2sc;AzqTí{{S  XDUpX5 =n+HE2<' "gJNoi$ 'Z)E=85WXz ~!ewYc D:=}/%i[ԐE?k2K';Α(1UTk7Ob+pu0us2L~ #0A"ؕVz&Bf 8wnB"uEuQmv$Bja'q TSf* 1 m}C`@ZD6}b ?B--辺D %I"~naEz|򽶙2Ei O2C@o.X4|MU>z6# _?BF{נhɘSveP+LRQ̞SYlA2X0mi~/vq<qZ)GyҌ_AU3/G`q0V3r P0;CbҺ P% ,TH ⛆.Qs[0Z${`m΀n]_rl,G/KNugZUO=~WF: w=kQ ʕ蚖b*$L'Qʟ*Gv{l *g ⾳ں`HˀEe9:OKˤ^J9=fOݞL[d{Nٰ%TJ#0be 7 /Zj DĚ6/GS`N#U%.`0|-ZMfbғ3zE#D<G#T)ʹTW_UP*=r|> Ѧ޽ CDDc*l;$(uFo[8.aӍ]$#Hnm6qG[fCU=M-ΐB #DrsdXӌvwIEg!ϳJAqBF 1, z߾uG(MTu=ّ{fZPC͂#ddu'곍Ԏ-BǗ5/zǚQ ]MRL%XoW-蔱P5 w?C1 ,](8#^ >EeM]VJ&LAEiiJr.NػBR}[^IiA %Wrepw_j/@i{aE'Evb-"pK|V1ҘKрЙFDLik>L]ԣߦZ!!vU:mpD\oB?+e3fy@u+$P%7C Ǣ`O7I.ukbLW$ͣOĉ)!@͸0DRcDtb+j `QhqAjLPNJmIl7Euxā-ck &9Ab0{4ה  "Wb~QMr4'd\[+SXF] +`} c3'jsE z7[.f ^qVDVvݖYkKm74QeD}&8z,uMqΰXPnwg7A0DM~+jn|%?dl0["@,Xf 9|VfWzh2̚il1@n&5yJձJƻegQ(*^SWw~NRN$ ׻Im&iCm%I'-H<%SE"o>rZIJȴxzl~> l՚XaJ T!cfl2$X6#]e7VMVDŽѼE2,ltTN^7Qޘ05,`:2 SC^-B}Ԯ?Ӭ1hnXzY/LCg{٧~Bӡ"+_QQ ܨ H6΅,O*"6y8zݣ+%'3Q/E†E/2.!*;: #vW]9{/".Q8]?x3\Ȣ*f9Bê1# .3bIVI?tuC4e닯1ZaYWO9ܰy^A,;_U&x'++gYMW9"_罤,n8\Bkx3JPsfG:i6! :Xeכ*k-Yz<0e GVʮr'i,40mn%R z@NGyOp8ZpBDR4]`-#oZG_y%n"0RIQ+LoZWlO/ J)L(8 zʧiG.ޔ㧉L=b(Be/Fh ,*'KR1sd#nV5}yQP-fT Us'-|cRj4rYJM)mT+M}l_U͌0w4>=ܛ+xtużjKa4'* F#=n|$Lmg%3ܩ$b ϝXz>rE!`QuȂ0kO~L $v;s'Ev[hŦn-eY8$(TV !2 Ld2Vߊrpɝ[b ݮ@u2v+IګZkMg{ҿφpEΏ{䝡{SQ>~ZC־8<\qh ھ)HWh0gX?<7_$Qa7+:jqX> "C ,͛c}ܔ"#٥L V] qwyN=KCkwqc6@zi%<%|iI>E ~n$4ftHb?ӀT-TXBjzߡR4Wٜ'|h": Y5=ky&]oeL}M8z fe%|hr=|=)@>lJ b-yg(/ k;B5ieU/G5,t\.?-/yI܃gM^,h s3OŤQghSܔ<ր/]J%?{WmgMKo{O@ܡ'{{@7ʱ;fT]ZY+< A_7l)TPSH BJ8VSЙ)TҊ> /ߕ66~Xr] ]ڸρ.ԡ[Z9|xIudZ?dS/ @I'loghYlT9U˼ =yV|:pC\ЦbLh g$45+b^PIy@ C( *RܓeAoaOpaN ]PA1< B_ThA07v44?gny.!S49 pWD<) 9.`]ruF%}a:1M@f%=l_4_!6)B.RC GIMە&>]u‰'_o?^JƟMu)sS|07<䷤h96>8Ky6>4]N3 ruo6街wGfq?2l XOMtut7TH/&Q2fGڗ`}/DdA7iRpuDvpѺYH*㬐T)870蹾Sx-OTPXbl[}:oiojJ7uRaYژ{;jwǼ|Pܲ(,'~F`TW7-TAb>$K.S AԳ.("V>}90;KA;J\[Un.G(f>uwQV}.h1 DŽTP)NFE%WtHn~&Dt@?1L`]}Kĉ`KWf+­.ۍ)$AǏD%B*PwD%z2_7u8]gZD1eBXiܳ!|MȪ$>K(! 9:~aehAR^ELnCtDoAl20YZ:%yp{okR@oٮgȴqMl/Dj?h\uŽ~/+T~EDn빱?H-n-ht:1DUY8H Ʀ`Pv ȫ+NB[cV;Nvf`!6g54Y\D2a\y؆fO5W }7?tfodik0a64Ljʭ .Zx119EN(ft"3GS[ը ZoSQdF\sja{+lmkdc3+n66cGA(&$|p_} Z5nͪ.>&ݱ 6: ؔ5g'1NYcʜbUO4K؏l }?;J̿5>|Κmrs8Io'82HӑN[~rIDxchGpcIŰ?.>bbPmyVj ` |y, |=~^}$O'߶\!I|NSpC9*G76tJrR}<mM23'"\ -5 7i,$@wt\`$!!LMH  aQ .Ӊj]Bpap@zЅ]Q!$!h?`=-b]<)C5+̕X'WGO>^Ԭ0z(O\CmM?<[DUqDLG@vQNCFÀpDm SG$ ^g&[r[+]E3S6eq:nR@ 5&v{+C =hao.|:˵Wl9u;K뭧-\o دx'kvdlm=]6"*f2QLk/KhݤP]q د-Bd&eJ-O ?H_~-:qVf3ɏڒQ1:pd%@F#NlNΟpb$@yVFWLPIUI&ۂ!o4$~-iUA1y F\k4mUsMrw259@DaDX> 6S1%Gǚ1 .)M~<%6XQ0 i`T8ͬ ,RJFJ8̙G,eչ 6+;MdnlUK4e%5YoC5rlO혊?ivZ2Ӟ F+0G/H5wx`7׮[u oU)??N  J=e`Р5.zI4.9.ŞKY?7<>vpR*FN  G ն9vI `Fp;w'f2;D2;~`1&d0@oyKq=QMX_:6/iE p˭!zq=\_r+?׻;P 05+¦ T'c ͜m؛-RWdDz~]T^#=Ahg5DɆ _'ܹv"h(s"r}(7nY:t U@?`•AwdcJuYGb/`K@!iv.bt^WhU~0G<bK cc$v3i3$T#!@ Jp$[tOl ϥ~˛ ezְ{߰gőp/6M(Q@Mte%: [ \口 朶2pi҄B~k@`>N,زaxOlem*SSu$&w%Uɲ ?vM; Zt۾ +VPL5mo:4se&Z ~?QlԾN(Bi0gO[QM}D 4e SLE)Y"4-Fg|0x{vJ^"gDhRpݥ,? һlݞ8ƅ߳* @@4!o_8P 0$9E## Z_ ÛjX3%t6"]bsi[ƱSN%N 'C_GǖY:靣* em]tK>Zէ7*'Bļt*3#cI? |Z9²?Q$K76GT=W<1zCQ{'sA@#?[۞y W+c,vR_P']~=,4P:g&b* ~FF)ek@2 ZXw.ucXQXNQS\M'dKw޺P D"L1k>+ԪڬM礊J yVE2f_9:9.mԙDN䱳o^Xz.E]偵I?I)yzGfݾ>Pp$V?$4+/n3ZUj 2M:r7ҽi,(tb-YD^u }8O0A?NW[{K'M̳c0F-M~- ĕuCKH7[޼DN/!CF8|Wd<. b̍SQvV@0kZ?r u_n en4ՙ6kR\iUi%VNo3ׂ" 2rܳ-c?b1,eFN\ѽSIZ7T"hCG4A9ҤU'7k qG‹eٲ;"GyIe혅Se}R/ ER a"wa<$x,Yڃ b(4 IzّzLĽ*2$4~7TYk=sOGGڒAGRiH WvhqW bhKqQJj#:2d:@Ί:GH*\ŬoYˠI:hĻEddRhp̩duIΫq rvvt/aqU:ᴺRhT IO%f;x=ʅ+.FWW# m! t%9OP v?!g(Z>T-DHޕjx.bC*9^Gem #YʘNC$2 vRk}U}}4@tT>*' NM b,|t޲˜tM!D5Zif״=8J:r۴=3>96 1/߳wz%BHٰ[`O r]?Q!hBvh QFxEY{)t!Y`;:SFڲrXDDtl&E+/b_УƧM7Ҹ\ MTs:a hS03aP+QJ'g=XwcWJiPTaf׺d]ċ3d`$~vqV=q)dE'BΑj7]a S?:UkV8& Ԗ2lR8pߣ"1l#mrҊ_vzXN)-G7Gr ]m5sWH@wz't/ :&l3$}7}HP"@9>ҳfbQnX!ʲ#LS˰7 n1]1Ny#*" d%}7`Q(Ϝ٘"Ax\K:B;i|hӜs6AS6󚗂Is< :xwӒ&ŨI$0<uGݍWc6&t.ɈצFAbolLJvpKYԈ혓\oZ/pyuBg8h-kUl߇B"r'⻱gbN%<:6R G'qL)˟\l1h)^ }ħU㏆B7KpD(!>/~ ItF`MP,(<ѭ+lS1a(ծfD kڗx4N"UWݝbLʓQB_r0růqaOs}K7xh]uUd ,s"pѢ)J#-9ě6z1F7wx0/9abVQ<0.?#o4c]CbIYѪ5Yk酺?ofrߣ/ On=L839Q:{_h*T6iLma;M 4ǷKs b-嗀G"E)/ZbPG7}WE p/T-<^Ē߂P^j*/Ep{9}1D+ ȹ+;A^l "&LLg8|n P<9ycلcm%cFsI*ta}!C7PE |/nH XmU:;Lz֧:ҿT%U/:UP#䕰6”<Tw'>?ul , lm+9tY+lt~Jrޙi.2؅y"Efb f!(V2ƖUeCpvy{z:{Kޮ`Bߟҧ N3ME)A`H{'6X^ uvu܎[gJ\Ƌ(Gbh@Fo.kO٢Sx{+pLZ!Ya@~l7[uB5I[빭?_U[mgv tI #YFpLa&$%sUd7B/P% 4[ų<)(Mtlָ RC7TV^<k:[po嚢NŸ AՊO{ Q A^ҷIknD٩{_ 7jR6?'j)s"T ͖T4ev,\{M%.'qʈxs!x\ZH'5nNmSҕEKΊBx R<pWb4B`β|SαbO8d>~E`OJcfu `:LuI˲n\q ) oL˒"~- _mc{->cnVk)vjd&$߬\ Όe^fQqd(NWO‰Z?l8r}#4avkOqHFN\%F5C=%/3*l\y6b@`y@?΄ EA=Ks/Q#2pVnKQ bzg&'C68C-6<\Wu,h-@#jX9f>|_s*CNn>qc.[ 8kfb8A03V~ȃse$0ysDC9}MsU[АѲ3kFVPmvWsn$$&D3;\6XRUtTux_iT$r2Sr nX~oihs8<og#vy/n*HK,%N52\=eΨ{MPhc)-$ }_VA}/hgpZrAWR~a:M~MG :& 8ҙk^Qhs^x2KO؜E_ҧ]~k%۠냑_;)(;idbcnρs *1?\U`?E"̀~1B+uIʀ@;X~OmNq%D>P :%c62mnS~t%mw>=н񓼂Oۡ$;~q%Fޠgħqi`I$MLR΂y\ęcWS[MCGƖs$O颰v rpanLy3:3 1z]gB2b^xDԵ]NB}]zew0 זh0Hڲ7q4:>]+ lƘTn4XVS6!dC-iY2=EԔ䟓mKDhݕ,\]kaف~ߊW9=t!ItAwJg߭Icz ŅL\t\nM 'GWLOl"pբ4P@;G`*ɍmrϞ]_kE6.ј5dAig`Q? tiC6չS9v+.r姓݉ xUCArM3C5u:ssmRppSD14uRzS˞ Rjr1~uK4`hVp},1߿G"^V*TϊkQ.|soWK5EEr78g#h۟T@l#B$zqd 53aFImBJ&92fh[R+<6Om &GFhN7͔f_-iqTw#֯;w{\5f "u 6BvVQ `302sP0h$ R 7<6MqT ]liR.nUTY'SziDBOY qƒuFON]ސ v+l\ R`R{HD>LoW[ (kGf|Fjf{bKLnPIc %dW~aY ¾`")5$ǦckIou؍>`߉1@wBAM"5,K\ Jյ]oXѶt, 8IݗR0ΌÐ #nMdCY&?Gվdb&Pyu٥{į4z^3VD~ g8cB hDQ%2Vn 6P2FMsI1}Z-+_s[m(Hk/!X>]41,g\R1%eƟh3&;x@[^c B7ndW3-V%Z0a[ƱP_h ^I'9 j̽2vپ9$c_bG *+Byɥ@Q@7{HsK,3yhf} sm[a^,B[}'oͱ]rՔ zZms_5N< \?:#yrY&`w]Ǿb_ш%в^A[/7nUa?/q8e>6`C[Z]hYef(YD@T*.`~'ogxVQQufy"HJ)aƗJ&0hާ`##6m &##"Iw&9%$:Bz8O{#Gb$|/(Ԝ-8ck|Ss+8ӞLr6"luqe{Ii4I+D6AWAH]!.u^K`0Q $3iE>$\p5/ 쫒 M_͏;l{Uw 2q㇡ @fdym.6qN#N+#MDEGÄCՒN*&ɤw 쏕ijN*:v"= 0-kMzG07W͒o!u*"h;(PE ,AtS'DֻWvb `$(o#k8sk7P4hv?a'u!TJeAjЅӈk]@Ӂ<|ON@4Ng+O12 `uhsL)-^+ |ΚQBqm1cCʑ9(#j;fF" -0z^[LľMk)`E! 03C._9q~*f%n$RA{j2+5ðh|V\ bEU Tq7WcνIıi?Pd3."jZb.1 /z_A = ܞsWs1F.=Լj6m0'3B4Xnj.Jt_' qgn qy3{`G}y2A+14 ݣRFsxC5R&~jKFk5l/df.mD\MUS#=0Wc_Aj CVQ_A(c,J ΢ᆪ#7ٮu/ޙ |ML=./ DcӅfzq*N 괹XI5ɑI_Zabr2eZ"4u ojm+.o XTR,`}R4>HJ`ae3\}Ѝ#g7-W#V="by1 EJٌlHqU組/QT)@@TqtrBd[~3SM7cW7ϙhbE'w)"~CBpD`nJź|5]r* ~Xxڲ/l"ClgEe ;N+KH\Db`š1PT\pRاp˱%z`2}y/`;/n*eM q# ̳Bjck9; s$P񬼂k :S| oHoB݃eJ» -Kx(%u8j[} F`\K<,`իD€Pg;{Z)k5nhMTt)vW3?^^dtOZtOlWV'&Lсw{,EE LC֤/af 0LǑ՘%Qxc:ߔ#=T5|JP2+3IQ,t?`0q-ПC`B?|fry 2:{u.Q'AuWIyx iڮe'yXQFwfuܹGIf{tƌ$.޼W| Ԭo& pA17w5UUÓ NrnZB7_]4v(ڦq:Ų"=uYy*I ÐF6CUCa*Zn 8Sxhy!2q,Muf]$x!o4x*"R*fi9d]~)^16 ~qtweY,XŇ%|;f@DZ\д6lrwJ,ݸ)*ߩ*]o"Zc_1I~:e2kuDž(~=<,I^΢[r;d(z~_`мj,NY~y_8&zޝ!1scg|&q)ڤrHS[\T m ɦmZЎs<χqP]&T^I<↘8n'zGM ) ~qtzU!Ɩ;XLi]wa ѯP=ˑ"T~\Wb\OIG.owe: )Q۠GQ)KvR, oq1I8'=+{!뭯OT{Q`n*Z̑2c3Ŵp"1 0eJ̅޺ɻ(Aǣ‚.QYʺ )fk#AT&:E Xg4-eS9/`0~uDy|՞ިq1oJd\PaaonXIW2p6UA$! Vc/W[ aL'zWT>b'Ph*Dixy(i2}w˯hXB(5uqXy+eX+yfg !1z^݅ SIg$M挞Iu&İszh%r5|}9R ,Xזm5K) KO90ۂoA ^%͗z Z5:}0~_Oidn"ocŽ9p"OAK5SUSp 0Ly.05'}K k}^"癑r Z֭< &Rx 1Z@MI"RCI+__h8mH!]F,|1ԝ#dC̹`i4N%k_SF,,-@`%\ɽR<ژT3C(<w@6sPcF!Rl٢[-7.HVЁva],27k;P `.gQ0nCޒHۨu"!?t?W"}yn3,/;ǹ%eK͌]ĠRmV%l֤z/1 \MpsmU5L2 4\dO>(!}3'o$qo(IYlu Sǧ= I MSF/ L^{1wbWј Mv$NT;c), Qq=AFeRdMF /â["x=eN֑0]#8R|tJ C]Fh9T$H{r]CLEAe'?/Cl@*x`xŏ_9}bS=| Ә)>cn)@d'J !Wpc4O7}n?YBۢKo4,2_r"º#cA6HNjvu 3ё,cu(MpK*B#N#0Zy4{{~W sui-<<+6+WFep,})U[[_rN=:Bwy !y6YxLW j=rM:e,F'ɢΙթYhlys21LV,ݟolVxeNzψL#lK44}.)X+Oq br6T*^IJ uy x(sI,f}rrǢdt >$~",qr*CFg_ mͮtU9  Z llǽ@0KMLN2߈A85rc4>r~0 I Q[4΃~n?eVa*= A9MA!3m\oO-tt nyP ˏ袈>lCYΞʑi dOMYCwe(TZ)w Ev~NC2(( GNPMLT('G& S;}fwy-5T@5gX[`I}NtБ 4w\"ӄ,@@ˉP63Tⵄ9ХvlUT1V]i&ybLK\P-iվ $֯6OLFRέlTكbB.5:)$r5[# %M=[ p(D<ѹSxs G@c8Ai3V6?m-z47yw3^|w4<ͭ|-69%Prb4V O#6Bnl_0Md*X+Udr 6>s! Fc5O1<9;'Qْwz76?` Cp ud,"@e)"=m>sn[恎ˆdRCyRɖNINL5NDCqU[䎃VQ[!]9s2>S̕4 tI&ܐ.mtRy@ږ wVji0 Bw* c~Xw~bp?,5*3~rt]"͒.rJȽ{;o` A6JYJ?q5w;^|}ۡp1ऍ>m/]gF~"{cg ֓B`^7lIMYM4#|+I@.Qtq oo |U+0 TFezM왁KSF?xl8`?-)@LKro}W8=(bKE#Bl8B!կ 5h7vAo}E"am]L\ԕ;̋H@l4&wW" |[Fґ7.-w&FοgId\/1kV*2kΝ)rl#xvw`26}vh_Ͻ9}D-GJ#%ޖ/HVaۿCaZ?j9nH<x-tAxF?|sGrߟ}~ssJGuirsQ=Awx4u Pq%VUc;Gl>jRz&1d0j{独bR f! 5fRXĘ0ZDc*Ӽ =\FD$ܖe?drȲ-xk=t. \ʺPx=u T8b|0h~Ha_(fQNi.~_N &iJD\|_/I/jkɀ*- ߮g3(s a$wkɹϘjEװAmAEe3>'QֽOs spl^9[(* 8Uom6\sP/njÒLQ4thH+iG|0^hJ WV K+?'|'ZۈA+r%i1Oèk'&K-wY/.΢lbGGW FP.{]2Ͻzb@Nqm!oOٵ@f<読*)MΓ1\VNaCUɖ5a|6_w٨BwM`ˠfdHLY"{uF+3;$ cڼce@v>'tg"0@~i!ʼ|MGx`}L/ovykq׏O W)liw&q$,HN-^A~%tV+[oE'v'K,00/;vO-oRy-?y"b7Fқӌ}Sj?Lv(Q+ʎ]cW{׵cp&4vnC~)T'3/ӌ~1Z4GA3S  A:/H+7>p[?ke30d 2{Hb#xk!D[W +dާAV&_J4}WZDzJql^ޖ;.M\Xw$f}݆\&Gi 6 RUb~(BN|>U*tQ1G*{mc\دh^JIT $xS|7!(m7`qV$n?Yʵ܌(>oL5myHfp )aNX߿dg%F͒7,ۖ Tw[B)Qѳ/TJi!&:M_F\*q,V#BBf@PUES {BkEg;̅Tm]Q+F2CV<=^qX V$ph@]dU ?1`(K[smpnףi/ }{uc=\GUEڎn5'r'@ !4- /ٹJ׎9;InVar04iq.aK fc9e4nz%6g&xG`~%?epdVf$zR=hNbq0TX. qҵvjF)Z'Tso"V tjsXNtr>L:'&ʸ*%տvX]<5Wg+… Y܄ @e} zZ|/>dx^4bG 7ŧ}R[u7n^=-6Qc6dT*z K.Ln5nh3\BAeS k_>GJ;Ǔ (lH᰻U%zg6tN‘#|J]Ȕ *1ř̗ڵ²_N73ιU't<{lI[ pNDB)f/m'xg],YU_"YxX;9(}>|:K5ȏB\ĿHtD1oD!9Re BWJ=ǔi^ߏWn`ڐ "K7regvv'HCe!g_[Uob kϥ}9B6K\"2SJ4O:x/"#=(|EXW/@Z}ڟ̭["BH̒ ɧQu'/iFڽÂ'F(~ ]EXuSXH w{J2aogY~'3C[9n :bhPAyl/CTpJ"~bFQX!rs)c-hG͂_"栯Dl'@^GjnB9Al \Uj;4ZԃjOh_Y^=͐zM,4kj]Mל0 n\E t3էHژ~."?E $}$E;|r Oo$ nxGfȐ ԗW!IS 獚[]24> Nj u|y<$]T֥ʊfZaƳbyHj}kr(-G H~i,.'Ⱥ &J<8 /0fi3S4'뉸]UrOO4"++1^`8ɀgH5M] _sk2Y^-x~-|&!0[Zk̽t ޜy %&/rk4cC"h+X*IP"-e lg~/S V;,@yc6tv'O`Mzp9aAЕo2todf`֝Nًۀ08*71лդ~B@A/;҈7H/x`׮r#x1Q#&I椋a(G-!G傾v:-RbS6ǰH_p ݧTM! d7y*Khh3s*_ 镕o?F'r5RvE ]oQNLhPᾉ̕nۇeNҰ=IvG:o n-/o1tEԺ9fn7aƤ9yqD-lvYB q!M`-?( Na\Q2qӫB+cj.tF:3)6 ve13K0qz#w~(ADl@?E'k_6i?7ǏL9$eK ْ<HE"1WcB(?spJBgQS4tt&@whJ!YOYSe4P9i`haKh=1V.ԙ_ t_tjDW3^TBT0ODn"Q$PT4Wz;7㐛0  "lB "D[%)əZb@0zG6hqsE6TחRS[&ӄINvFg}{ k=`aT02XsO uK9.wU殂N߮V C=I ~c&(jlԾu>7h EۏCws[hyr@ [ LTn4Me@l}Z&!"k_*úpco7.ɍeNo'T/ /(XebroutOYeaZ,)ug_j`R6f&Dlf6?v$r vRin9)9 @V̯ΖK,r2XUY_HuIͩݢW?@DGk˓i_e`2>;0Nryib#'I'3Ml'Hs<XVDZVș 5@CQ,54)ȡJ(' k*3֣6WO0RW!5\[h8D(pɸ#5k] (ܢy+c30)mu5RlOgjbP$~DsFL2Qp~_GѶG d %(pP?2e9˔ [2-#GwlXuu1V}Ϫ#L֚̆= b"A^ɍzQ N0pT9NOp.LؓrHGuF~%~xV</`zsNL~L\=='VPy-U@ɪ)Sq'ck{ѭWᭀl<ЍRqA,Li&[lyyM%#lc4(̮LU8VW/TNѸ_S|oa`7+Pmf59HbXkZH\B\⊤'*)+rm¤(.+k@ X,mny_\M kێ"E$jصanz!$Lg>t7>)[Gѫ;^bborV qh ߈_0i\&BL "# Jӗ+%y)ܧGw|c}eЯJ@'|~WwDwd6uڢ$+l^h ~uKwYb|z7㙊x )MHjW&!L6gm#+ހeT(ڑfGËnI@IBDٞy =Ȧ̐dye$ᄧH?"\f[DO(јțZ-L8/koףj r$(¿]kƑ,%bE-|%kjʣݢ:Ncʚ ]̜JKmCƅOa3}xN`-Nk2>d,1Q3gă -, ,|E˸&kxz`,hF\SK7o?-3p{eT|3ڳb J_77Z()\P+ȺO垢gu2##zHg (Ha (XwfyRZ:BhŔݢ`$\w|r!/!ט-*ˮǑt>Ǫ?!cQMp$-(dLPRB%as{Ef'j4&@)~.Jͮ!ar0YO/D;ꛤ4;ll`H5\8.ov>byGm$6d5,l/ EiLOkb#iE ,t9Wh.^nl85ylhB.QBI?G^qԂcr]|hR ,g>Catd53{sϽb=<Sf.fwej2<9N.ޙ4ve6P.5(!?:7)Qur4L-CuN|y@V`+)Vlfl')Mat/8cгjlƹe苨m|;W[6IFh=7"HB-̥)t%miG؊f\lKkꍷ4=tZC2ڝ֗Fa|Y*E[ Lq jӼS(zk:&9Wʟv0 5bsz34X4;* ?%aBJj,$7Ofi)V_ U)$P 5gL5l=~XrPBF+(&_G"Npb0Ƭwg6 (j9@K.9RV;ƉTz"1F=6|?mJݫ̶z L+Ō\ 4m1"M2@TCG(IBED%!rL=gZE:{Hª*:dxm>q`$|jYn6”ѱK >oӤ^FcTH6caw9t >Opg~7^Iラa:4wya. pl5:'TEmg$`,mNws4jt+!܄GU2RK2Ӓu uf!hM4G oεNgoL>o^-ǻ]j Q4%Ⱦ@qGYdLw ޛ >?e9Q[sEu{^1q"[Vϛ孱A-axT כ`cbO+orh4йK{.̟_źE~~i~ F(H%1/$'&1vO@|mo͔QBc~o@ZE]^M4hr"s 6m ٯWVG0/t%뭱ŐAbkmCn7Qք<[QƑ7gcBDvh0mD/u^ym?bYLq*Ɍ@/#!}!6ՆŃ gᆁ)_1SE?{iV?24,ham9Ķ,*խXn"Axrܩf*@Nwe' 5f f'sʔF5C]ax"(FK])ӟk#,RԱ 4 ox9A#%х@LJf i'F!5# 0拣^ŸիS~ EeOei@YT ;ZSl~ ++뙑X yhE]nZ" ,1rNkimjPA_LZaCO׏q;a.p{p  ڔg9Un,M Y㡢;p#t۪Wb'8}y 0v"@kK ktƭ! VteDF=_6cюPlXA1~E'I#忆Z|BD xm >QCn8vO~ %PSr9ٗ5_fc3O2}s(KwF bbvQ^ ̲.Wl߹$Fsbw8i+E\Yw( J[=Q4,>G[M͈$]|'a"bwp0Dv^(l~YKXT<3:c 1Î %t`>M48VLL*GM0+Tp\^XbC KqDPT%ҏ4>ESM>j Nv)ߍ|Q)Y:JU4EۥGS’i3:xtV31,TUyuQл,`ῨY|c5m"HJߖPcKMz)AQi%m7{i5M,6Q݅1PUlŠZ<|SАϞl٣)`uw^]MfhqC# ,}ö87t;}m2_ى"J3=UeeXh$ 'JG g؁JѯTjl)9VC=8si{벓cdž.?iI@iv YODS əPvr(&pr_ gh)+䂈:K s .~I0v52^ԡqva7n6Dj# N t[.X4驤GPid/ɘY9`ГN?fx-e)5ƁLPq2~h{zՖi1,VNl;> Vf5DDmϒ%O/C g@Eʗ$07^yW?eoذ~GxR꧟3.3XVM0el 2M:ACeYSc('jB+L͕ꜾZw_̐EC1]-&|F}9l ]ZlOXi0&2m6i,"+u,yRSAԫ< O9P ,$UmGž~ߗ^.>f,OCLx@,bKqŗp(ke ZVæz)л;HX>X Xq&tnvp?bP7ձ%YwfgQ¤t@?Wm4*R[ y Y}YD?J: @OuYH& ?߇Y]⧿hr<G+cK|]7sIɊ_Uؔ|2p_mTN]yQB-3zWw_}zl]lv=_j. KSh^Pi Pͽ_sfAatNPUSZA(OeIH w8L#!]!0$:%h-g\V)8LGup4C}z#%ڑoTި٦qimhz;W^bV+>  ̷[X'_=;"7;U%.Z  8ŠȺi7i>Y VCq:10aԵ:Y Oa: %y؜U&p]wQu؁-^w1{VM$o!,S7ҙ|Kq\\ɒED <ւqU4X=re_:MsŇ_4QgUʜ!RQ?V-ݖ'ࡱG+$u`^i8~t[Ã1`TB\+=TEQ>ggE (JVxZub&Q,?5nK X 1b4:m%n6c6>l6_|ެ'r̵-(.D͎ad;)YFP%&$УGHYebBES?[DJ=:.']BFV TլO#ʉ9vf7RW]igXAFf%7n}/=n; \ulm{[(y c9阞ʻkN֟F+J8Ex[zn]DM6T4+ >rGhxƇob59|;/p(;}|~Aoÿj{Uph0wY;}/AH˶c/𷬨w∁`B.]PP`lx Yrm%q֦OdMG@ƦGݰ[>#*'Y qGg}Лx< $C秊'CݘbJ='$cJs 0^7p,?rHdw[:59riH杆l',ʑ=h=V|H>mylf<2jcMZ}CA 4*d ޳\`1j֕\wP;u}_d))&96p:KXt PW {pV Ԫcqc e\Kj__NzϥuՌL;.$S:6屣&6vCfoL&= ,jN%GlJqeHt-\0ȧ$% Uo ̡Kur\X[5*u[gN~eNb ?;ƥd loyfWŠƘ9z:,H'HßP!w=*ỉٟSOlա,z"q 7ckQ/9W01 貑lANڷԉ%tD?/׳HF+F?6'R87QgPpZZB^V +()ww.>^J>A}?ȗ{@pq4pV|M 5R%>E;X _bpüo\Ԝ4&TbTk:ox'j*8 {<=yXhm^=*CV2̤htBܩJfoͣ&Ue.{@_0a} 2^.6e) ^}}ym=ꃥ~fD/+(wek+1 !7+<w8oe͞{@%PœJwe w$3+kn:67S&@n]XMy\BL *00[^y_\ 4 ++J]FD[8 ȱ=<ݰHuFƺ -mWsfzm D~t([LQ4J*m#ZPQ̠D8U.4 * He:(JQ)4M8D,&vµ,qb |%Z?m-dלGh6$Iש9o ĝ[#_J\'?.zI*`@Q6i.i 7/X+filIz ?]T$< ˗'xb  | Lܵ'G+!B}$9^0Ӱ`OK'і{{|梬7Xٸ׷:hI?jwmK[I^GO(R`36PF ;t.ڝ s0a'v GY<; 9r#2J1_sa[8l:Ͽ" CV42KIw=byoI "q۰Rq$pJn}|R a ;Fn=1[`oxkH Tk{%+< Guhqݕkk`Q~`!p;x`FNa<2\aRZ-Afc, ~)SY0 d]*!]t.g3R抶|vDbL(-34sh 5\w;JכXte׾($Ux|/}gUP8}SnP+%yzhI|/$H%D:E"IL)䞴{Uga#:xr)9`_?p&}{@]M::\6 }Y j_8 *W,+, A6r7 lq[e<@co]tc&?Qt6{B.˹?*nh+!y]%.MXvؿcVR XE VMQ)TK~:(_^n]r>]J+]gqZkkӷ*sAT稐P|d1V2 b@8OF^yԓ'bnz'\Ϊn嶷]ž@uz/`_/aR"1AQY5{M ̫m}zgJ]'{WT#[&3H~[ b×:L|tnt5&D ǰ4HI랈]gJ퍉(Ϫ[dS5g0oYpu7/#/jBpf'Ď0Ģa鐚 qm-J>qXыq22ݼB1~nÛO8Skthz܄F1ysK?'Oӊ.G xzs ca=)~ls:\̗'' *8%i 06Ԙ1MEnG3=lD=?fB SQ^YA+>]) <>Y|nzX)=#B0|8LDH_Ǚ v:+@ A\hF[1j1߰63~3 )d#T bx`xQ{ΒB. 0%m韹N]uI*<j0Y9ō ,#o&3-R2Zݱ [ h'fJts mW؀`mʳCw;i/{U $ r1W :|l 薨- )B@ v. E$O,d)||#/;HFq7I_Pg1j,A¶g=Ny SKߝҧ)nBJ2=2sWQY9@_W)K$)D˛'K`ƋUB<(ύoCc{p-xARږϡy?v.'N#X!q6""R0@f o 9פY#0gYZ7zXZִF! ,H]ŗXiɟղh%"F1]#Ak,Pgu ԤXx8ȌܳGNjbX+wmxo{PJDnNO3 w:pRcbjcف7D V'lpsCbXE1\u?/ 11'TNpwk"2dۙ7rRly3q >@|UyR$Xke葱 ^on*O8H\}G2W)b1}Ś}DF8oe}k[^Лf]{ٓyD[TqpwmUN_k`4<-ᖷu e+Oxn ypaѴ@k0zjQ0y8h_7\׈~rթCB/} ?ɢnˊۚi\0@ױͿq\)p![{}HH_`#>~р`. F+mЈ4%+)Dַz<(Dqسw5# _&l߻U|"q<_8F6ema*[ǟgYZ7zXZִF! 㘭']ŗXi%L!l.舑دYٲc4riW_$ %/WnJpgEQ%Bޟ\8b A'JkDv@:5O/\n2bėI[9D"qpB5ԯa>Q lsE}1mUfWPeK"HehHyWȗ2|!0@d%N7LGo<:T,f^C 8ePԻ/d/$Jn#>iSyM-K[+ ς=a>:Nˑ cK~a#]eCt<9Kn8CD2[ʝeXUfD{&0߀HJEJtv~`d v[X ke k S.OVK7lLį{*L(ZsRѰk-P+ml]L) ? CNt]Z.ih0չE_7Z)a]a7_܉v A.m:t"[tރ<#)5N5f6/M݅Bb?c?`⼵ӝ3uXq$*pVYRH[r} rϡ.aܝjiN2K>GHȀa'u (B PuJDaH,rxC.<7B#'h}GDkU;]^; ,.>؞8~3L_f4Ş$)LD)g{AWY:i@ Jo{ ތz_.&T{PRO΀0c_F[Qz'үplwl C] J|-@; 1(U]ԓ3:`oَEՍ]k%o |x4x|YN.o6Nĝ.:u`90_/}KPS &Qϲ,9"ۉT={ut!_D4y^w[( z06w 0! ̓lxZ)@HKׇ݆nX $E\jY|4,R!YP`h~¬i4eׇW$4 rHm0*jR7/B$Lvvi6,-a`:p4*n.S|67XDR5(30sAm+F(# (3gDSyNmW Ù  P} )Kׅ3T[1qT́o}$Cd˰zᢢ Pg9јz%IY_Ic*st32GJO}*d|7\!;On5z>ñ5=6IU.3^P7S.<>CUC^w-M=omԷ I`پǁ5-eJ6U0FBteg͸}K<o .9'wEPĽ+?%VS}kiD(ltI#ߗ_.$ِqKC3Pss{WRy ĨL/JZ4H|ȊpH^i#OgĨ@0h. }fc0G gUA)B0Q3%n xV8^&xzKA5_ԑsG/>(CsTDtpQJ'pq3 0m$H8Gvd ZB/M>a;bk1=o5UZrRl&]A93.q{6`uaקm=akԌhslH \ʖͷ1n9IQO5GspJքkj5] /lg[[/Q㿆jzw$B4MXL^dĿO߼'zj֋a-bXDuY;qxwܑ_M{W36!oM_1YtYgP+_"m<w]֍B1qND>ޫ40rPVy=}%X__lQ)\urSGhӎa"0RH ~4'3tM: VCsF#aV:cpJOT* |c7S%״)<ުrV%bD ^;\PB8K Xgt~ s =Ef΄*NJ *o kyh3+-2[* SakyTc#dYy !L=. EWa$Yj..ÃaLwe{楣m%s\g5sou$OV^k%G5*pFn{рL/NY~! :ŸgwXf?=P6cj^FtQ36??\o=pQۄU˝ha>.\4ZXn#oM̖ZxJcs~]]DBmjifZ?+Vԑ9 N#蒭 8\}fWÚCU\P1nNM 0AHW 4o-+l{ʼn-\[ P.>T_hTИ';>PB͖y30L9`um 5]62<8ǠrhdfS"a.ȏ&[Q40ѯjF\XOX^61ٯrjSF>@ʅ3hހ~d[u7I|}L)M/߭\O8Q"@TыD.v)WN+t ;€i1nԀVVK6 | tF5?HϻGl􉺦xS=^&(kc.%HkН`K<}~P^#&ڏ".*ZF>azƝ%͹]Gn/IHK5egɳ?m-ujz~}~1:a"Qw. qkA{(3DG8lC衳̤.5|}Ӭ`hX|Y>Q-۰1 bd-xKc?fn_ ~ʰ;}6(HBI0N! |[MߦZQ㟾ͺxw!mF-?,]0Ne"zÞ"0^sfB^}Z`m7hKPR nY|Aқioĉ؄z"FӋ<~x?U:Nbڨm%MINorqݧ6]J{{` F"CuwwM&:iW9Zlԭu jC<&ꇋF ?5jµΝkx|!S<Mӆz^ ~϶8mR2L'*cLK}Ϲ`2̢ tE<+}'iEDā(@v)wrNβa8hqۼa_[T m%=2MUOw'sᤚIl!|)|qO'1x C[vޔsVZt9ja^9,&bjLOJ~oRz#/u`D\fo{VJ*9%OF|-zoS8}0ʸ6I.ՑD>{gdU%^x.@|<g?|y;UJkxߙ l '>QXڵ aŃy4r/pdz۹fQDN%FХ h-g:u{^k%h'=q4a6KǮuZ8!DFM7",ViN6,VN8Q81{S]H׋ʣeͦ$=`Hk,NϖRĨv)E})Y..$Nٝن^g YWVb\1x fmю(Olr6 &/4y*q8\2B ΊHFU"9ˑm7/ue/~"hb#:B1TMqFm^>/\~ M˰)"@3wT \I[jOn{+*I_=Ɔz 1OSm\$$} po/0Da귔a b[N &hťH bQSnݹrsO0y​zOGk ׳@xL|Zk= P^^o55:q$*%)iPPGBCR}GAlxeLkTצ:$f*@^e 1Dp:[Ac ](/8@Y*3qNPzdNoE*q|IINf2kVbuڲ/v:Đ9 Wn_?۱zV28>cX@>DIf)/Eև!ޑ |Y]L!X(uum}hI)Rz#!o.F=̘.+)  |~1y~(_bTVMb- 41CYp7)UFy_-mK}@:wx/4f6+}hMv^Qo+~IP]`'чč#g ~'Ob${х&̜tyӆIb$X$Ӛ";jQ>[/vTº$)^Aw 5IrdOe"8Wk Ӷ -ȒM Y=# o`rO/?t/M'U+ ұ+ ܊s(4q*^n7OVgpЄx˽ h(IKMq_( f2quЭ)vȭ(yd|mr4Ƅ183ySTl Şj*WqN=0S,9Xo6wJѲódRamĩgQ8y.&-;WLOfǧɪx}FР-Bv6 ='8_RdRPAJʂP7S٭I+>i TL<_׾t@UB1flXyc>4s'4"b&R⭖1`87b;%F+od-;F]Nkv 4ށęH O<ҥO[C<(VJÒěV-O?[JL 3j,ș Qƒe[9/Ɋ;d?o~wa7ɓF î'~T)D9%bׁ>{&4f `|-S I3Y'2g=Wxod8W#t9@>QJ,wdjxzz\4Tt"u` Fgc*I]pnjl% o V6~Tװ;9.3nנm^뚳}ⅰf⸶ED:]i"~ ~a4__2=Ta.ԡQ$'ۖuL>q^J]\va2P ǣ_,.!x7[f3~vm $YՂ;$|=j`F@Hɰ kdr]}_3wXr )Rנl" ,h5W,cVؘrnׄ[#N~3}q>ÎT&E[[& M-uχQWt5\2;,Pxg^3|Z&M΂,(~g J<o؝'H}T_8p9+(!l+ʑRW UTTҊ;l款),|*%yФ-ُR8r]0aXM`A8E?kK @eU8_:\jK&6-ϷܯLOw)Fz.QY]ENt4΄R S*ZW}nuM(Ǔr9P9v޻+GƷm}'d.wVdvNfuM-SދkJd-0 ;?qb.V՛/vQHtBt<-J3O"IB T3~F]%I'g ^V1a\EG5]ssH;xT{;W_:O* V$)H0NgYZbf3797cf8cd1bbba71aca9abe947f158c022ed008215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 6ca7c2eccaa6d6c3222b369a56320daf10f59805 8ac046f77f5f0b646672f561848283ae23a12b8f 284185a5e3de38e8daa38487ea5ae87edff6a975 8dc2d093a2088478eef31f2795dae11e984e043a 6d5e3fd8b2f2f3b4267d8f17d15fa28fdb742b24 66e5d8dacb8302273fdaaa572847dfaa8f12f376