SQLite format 3@ ?- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 0| /]]HOL:threads=6elapsed=147.155cpu=467.144gc=50.116factor=3.177zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=fȿ7h0@rŞ7CKݲR] #r$m+ދқ N=*fڣ {tpĎ[(Ӑ[(sd~"Oީع p"FVz\!@B"WZKVdif0fPI.TS<0S*رАdѺ~*@NWbdiD*$A;{]]Ý61@87Ķ$Ց(Ӌ4g#RXִ';_isc PX'e @͙ƛU6G$Uw%˓-o*,R@  HOLg7EϏ/3U_J}deyםNPlpo:;uuM,[>jPŨyv8نM6$! YI}UC ,zqSn%F9˩`I0/ka9NZ_HOqm_%pz^50H}+RܤB 9XUIQ zLZͶE\Rvܢ?KDIϤ҂"A% ->_ӓD,&aZ2BYM@H@")=aSJ*jY֕-oGo %Ǚ!Ш=w :\1گh><ߐdT]c _V/qZ?ե ]&(ϗհsjQ&|:ꆖRl.a}V}قk78#< *~oGu0 ƍL$ς,M[uxyݫHs|Ҧ'>0:@+MSC;lvۘP =PT1Q:<c[?C]r sw [1md#)%SwիHcOlF4N~JKlf(\6>kWLPWzf*i'ZY?cENλ=y$ٸY'6N꽠f@u(u5!Z|~)GFKzeiH5)s!`TXc@xws/O]>p]*G qRGŮHBa#ԺJ[63 u8cRR|P QMxd,"QGU֬! d渾S$*{q !9r7U`BjG1ֶpIZE2bQwöIKz0~dO4<ӬW$,#ʭ`+AVӸ6Y@XEC"<3FX]9PGսgq!m#v=9Z8Z䵺p.Sm VIf(ȀnXl 4eS|P|"z3 RnP\%̓LgF9I<j KPZ&.2{ ~'WPYws8[53m#x^rvZ.7n jb]eHR q]ݵg 1M}@JgG=diz@TLi4f B 96V_G|I]BR>S _́@q/Z?c\zBvv܎`6ԓlO]U0DG,ۨ9Uo`kX}MD|;>v*h[Fja:,:NF~ YQSs9>#] )kjO8jhX@ 69wMф^l%KhIzR3k`x6lgGrTS~DF=pǾ>⇮nݭb; hXt9%y@#9]_qT^,km~9 ~їݫqkR97!+s/:2귾-7a&BzNlaeë̌"QbjJqYgЊj U!A ud8+zAeF[dݓ6ev-֒k5kn3ѝՊ@a2$E; BuO Y=ב3ER,w^6:1muU-8ki UӤ{;˒P3׳T~DEm$Oٸf3l:K$܌{d5 r< N\h^'_#HpHjMP$cd2Vtj* ҩ1gcVU*!dp=$# h4ޙov'wZ /n)Zl|!¡^br=JW KFsAh]9fA*e<2=&̥E'BUg་۞FA.Ƴ<9>~b%Md]{m5OHԼA~HԁUgyՖe nV(m^JEc@'/܏f/UZ*e(%m]{)شqCpT2RQ~I(ѕ\Tq ND~3B$)Sq♭:hyB: Y;%jl8ðGy9 S}7  *v均W#b\ l3܆>p{O!D^+q< WTCȫv[ݍ9u@KG̤_j726։]}i)Pz,c)\Jo3)jFkP+QFwh ϋ`ԥ`}Ƌ'Z\7%jKO\}VvCe$_f#^lZ]{ɑӣ`H5,?HplN,E p u~!mRь.Ra)\cz;W#"1.XIy+6T8H ъk7Lڳub4b`:^Hf|1uQcp" ϥ%H}T\uc{N:> L0 V賵yb$O m]aCvu[/sZh+8v5qJwܚ kw/Yr!HmWM(7Fգ@hju1vxY ,sD{3Amv ބxT/.;pXp}ԋ]i$~)Ijm(j-1j-s9J*1#C J+29?Yvi.uz6ʐx(=ڃ}\2,pg.M}_JST\6[CVY~lU"8tXô LL@K+)O@>.՛xp~,SUkLP 49&S..LNXBhw%*Wb~JL#!`!/ʅUFL'PEϹKY |AӑtVD Q<fO0ި0,p/N.]"Kp'q6Ic/ _-PR&ش02L(g;J'o&?};]ƷT ~G$塢GsZ+GLoAg:abU}Mڻ|]_37Y~H0A_uKKjYof `͠Ɏ|.3dj6f++G7>~Ԗ٨BA-(;GEbm]fțm Zz,k_=tⵁ*C&.*{cܿ5![\D5̯ xAܐb68fk>A҇|E =UIӰ6)((b+5N<+PyRJ-gѦ9lRbAզ<өE5Hj#PJh-G>E[-[t$u_{(\ Vb@ "%߹,Νi<Ɩɇ#fꝥry*@v¥v8)RESe-xMx[b1W9#kT{~ݭ/_B ;\(>',4=+FPOo?8nS)p-M@eGL42_EBf KلoKr*rMZ(yrf]BE5p'%^a*>m?8&(㎃/tFd(AH/}hFV_ yhM uN:ڧ\W&CRpD_6,d{ NB8Y46N93I%F&0\+\DQWi7{Y3r JUm.Bon7^iuX;^DThbnP4~vĐ.}U/AePKo#-_ _<ȍ" 9=̺mvT0?`}L}m-\4#%J˴q}('暹:pQf?ԸP+6E*1~X΢jd+ka?$skS[ٖ֞(me_??dꛨ@yA8cPlA;}aG)vO1SQ:M3B Z uTQY/x},oUmO7k<<|/|bh8ej\HF7jM*z<=02y/ۈУ;֝.&`mwji.%D71z{ {AkFiKѝZ&Hӄ_ kaCJ,rKYHN+ n@]=hتx"ZARgj0R&.}3<7]E7߫>[4F-Wfogb=]3 ?_$ /&u7%SmGъ&XaL4dqx7vT-/~M`Z7n"cNu<~Ɣh%?@6A]%RtFe'3^-.>z lVƼgKkPwgeU;N_DniljU 9EpGėB&'jʟU/JƱ+ ?j@o_5Lk I p̪ٱ(#jB^v2EZa[VK1ݾZS)-T (Ŵ„oe4ܙ4]fkqx)-NAD`@`EiRbM:,PdqD /@zXg||'%Uż%nhk.r"z=6cGJC y[)=t lhNlh`19db* 3n(+@+ _kZ-2}-ي@[OQT3W/hZ)D%($#ԑc~dutXb)n$M_dn^C~;JN!d|xRxۢ^`:A/?ʾ cpyBZz,i&1 2u r8 n+L6Vme@:/yE&[hT=ܱKh^7(k_.k]8=ݗVyͰ[%.ZdBA$Bu/0 Bd>k%2,_'qP5sIwNoId1^F e3ß:=j2+~1ieanx.87ψP;pJ̋6a97޾,Q/MU#X.ƆYuX [yX8]z;!woIgRB^|C \2̙˿̶%}cd(گVd;Ю# _&IVQ?xwS4k;7o{`e~q !i/r1#RރWmű* ܸwmsG[M$7;eXّZI僐@(:6_~BzO]6&^=z!K`</T#' =mwYc S&I-r?T%dNG0zTS9iyM6vqUwF9 [iyWṯ<=X"3DV.EW~OxJN,pd<[hXz ~M%CR:H@FcJ4 (=ge bËD{ur#Ⱦ0w|Fw,+Qt,L"@p}mEQQⷽk~,fƳ)r9/tXX \K>=:`kh- lyNk"Qt}>X%8d.T(LYBɺr9*ǤCCPFFJGU*ާmog.sbKZDz+mK1"8q 1kU<0aަj=ǃ3)pPuVs gUJOG0~^(f6@ Iރ)͹Cf1Ψԓ|>$) Rb"LZ)(D52Ŕ'>'ЛN\A9tDX 'iX߳V\?ƜYzk8یE ܍o*rBFۖombc(50.VFcODثHf&Y[ '쩖eλBj-P@+vU-;.1* qN}J£:Ꮉ3L*KXCLq>!TK~/e"\Et@\WwDb"pccxYFVC1fx s,v"VX<vK8gK5hj: ື}:1}Wssa˷prS c2܊|X9' pxrKcJB+`;.mtYsYʉ"$EF#r\<]Z`~}^@*V[zQ꿔v&w[PA)Sl&؞\puȶĐ 7K"l~vSU`H?; Z!*am>^b]u*Bfx?4ԯEK`#qLJ c"ɝr-+.\Y/M/i T_dAiS4خa NYjb:O_g4& 1c@6Z0 np#ןja׍Bro ayAWW&%bGw[0!B ad}> ډ1K%`p:SïOĴoOtE)mWUmIA0n#$G8DYoKV\l7ʿu'M$Yk_r:1 o ֹ}n-+M?QAǵ{Z7>M"a=~77kTѱY]{ ɣu .Ly r2l"K@^#h-HdQw00xDBJSXQP75&$V} H$C1;ڽn2&#]-)uY]fp˔&u ݻB^CS15"[{c>hCI v!U &5{ׅHt@#a H#a6%l8wEQNrrrRbDh#֌M,?FfPjJo|;'rX dp cn(e}X~DgAie7[uSEzȧ̾'m)OR6m* p\orп8τb0sy)U^A L6K,6;]r!9.>i&B>b8/ TTxO9Ybt/R151'* ;$; ՚pɲ@'>fS;.5 GI:T >TY{ĸĬ1K=`r(ڈ@~jeĿ#,0D "TЃTPgXb@&y7vNڢ,mD:?_3[u <>44- *Z$`>t g2-p3XvRtf^g8#ѡ@0Yww5xKlI\^٠9 ݯty"ɛxKZk[N)jh`AJ(Bs =7`WG8We5nk"\̞]Սs$Dr~'B?" V)?TikɯT:(\׌n _I3Ⱥe;Ƚ^x~Šr#tI[ўlX\mmt`g0r$jֽԪ?dOl_!eNrشh'!_FtPݥETUuTbȑʔ|g;aEOo K ēd}g-U>B[]!~,J$*oEE{Ҷ[ \-fUE? U&qL{s2MQd,E#ƫ=33(w"EYul,#^O/0 "t=5֫M:3]v'#E50,':U]z=#baʷuR+"Hz+Shi'W鱁X-%ӪSk A噼cN [k<2eIm S.c\kl /O*Ħ[Jρ4nȅc["<2S*5虌c:I`Gڮ;;Jw.P<[jXΙJSgW#w.^\ KLHѽZeYC{T*NyFl!%җRbhTo8]AMkիP0'w[;8,OwWb((+/)Gq^9^# [* So$-p6bzYh4$}G<,*Ta'OBf\6 I6UT[L>cC-MggbFpFV5jܙ5>Wv>v)j(ğrY.‘t/VDѿA3}D|eX\;5ׁ1Y Eb:d>yTcQ}ݳS}k-뗘2Vgި4Votn=SֲS"WYܞp(JD\9]B$UhHNt{(!=llrxݒ'Xb<aŁpeH+Yt7Y*Ԍi;ZV!0d.eQJnގ8l+WxwDzdӴRuB@O5WpRt(L@qszɠWe:W\UTЍ͊Z"b+N TF͸x]Lhr2za5'Nrec#p0Gu2M/c@g';]i5b&."#{kng<ȵl9 GbT wHT072^y_>{q1]ig*"i9̀Xu G/H* -v^g#e} #HBAWYQD6€Az@+FnUoV8  5zqljtM5 [|` 3 '/,˂oO=d^nuN6_;I>u5Z `zX7${yByMB^%:q$k movőpl a%4HD* r,zuݕj @@a_M_~<ց2G]>xyo K"R/VÀ`L9 2NHD]A)[`_DSеͣdaq0<-t ?\ ٿIw# ;d1p:%K2[J2ݿZJ5TH"g_jS F\]$[$( X{#ѧ}TOƂ Lgiƭm1C!:M/8+A;42 uZغ4t:cհ>:BN*_NCdžw+Jfa7$(,܋H;>J67apr4(=m41(Zg&W00C3:{*5wIm5x[7:pѬqrAGd˻ 7C߀4Wm ^EmmU<|Y0h3ԉ* Gm븣,U=$AOm$Cbgwcƌw!4[,餤3{~˟fP *E.1?*l$εC yZ\>[v]&bk^ 84E"S\oX A9Q>:FXXP'$U;a1KEʛ4J[,E w 8GaKzXYUa:Z֗!L$ַM]ռ_V2~B8T|Ҷ$3+1]'5S?-ѵr*dZM}H0LbN='VǪ])M~8imgP-c *w#eEpPa~2z=/ [J(ŸsVl򗒡aܓĽSPNxn aL;-C9l* 2ΑV!MlP xfSB"[/mꋘDo?TLcgriw1N?`M+['&YIcQЬ_NMyVA;}I ϡ/J^Lq5E_kF4bYJ$cCAlUжp _l|2T+?8 т9X 𝥺%(׸ck8y&,~8cc)6 >*j-g` JP-Lςn4⹃uq{&X2s r"X@#Dx#Smӻ d'tNKmh8n4wge_Rz?ă{%`+èҮ⪴zs*w~cr2{^JBU:.(uU"sjڟshA[{f#ŴIc׾^6ο Q!۸@6W&(Il7 |jO S` E]R낪[*5o?M^'~tag;]H(3}-)6`.Rs̹ طǕ@?1&@[rY(<\hv'hJ{D+aM5t^\#;rlihѱ>{'͘#7Q5 ~})5䯚^ʉ 貗sfB,A^.y]V=jcqϷbt0"rf7Y >PD~VBAC"EB 'xu{"wU2MM<vwUiJЊZa$cH5PU&Xя2\kc_8%)T>dy>뻽 1 PA~Hrbe?hU<\5H 119Soh\GXtKYY 8Pb-YƳ(/3T3\3YoP\{16{6Pb}*ߝ mݿ d̈rλT/TY{.ݑr&\q3T\ 0<2Ŗ2`qff=Q_"ب=d#3ĢA1lyvŕ,YIC܏Z[rCDg;{mA tr2k %%@޸znb5ϨmܚW6_n 51B貫m%YۖS)=rsT[UDܯ^)ˣM L 4b3梞O x+MBB)a-]>7p6pFjo,{Zfq ~ ??N>_LZ/3!3MrWemw9j.z 2Inn{RmJD$ӜIO]w//QE?aif 5 I!f^C0VLp^ۙN{筕5KaCC~8O&jL\4-T ) ه:j5!l#".>HJ)?ΌF14[ 1,uMluQFdK|ϮΛaKļ)D+՘@Mg.@-FLPl _:m]uo֓z$Uq&/d (NRDGÈ<^}jYk$Hz~#ho>E` a؁_"x"Z!XWkE/;͘k=> O1Ж[\`tWXNgt^c>G//6X ME|]ۙ^jyK!'2~Ի=2DV5 %1|5R=sT}Cx$QDS"_fEțBuH#/Oi.(j("1IIsO8Ctz>@5pw * [K &ar!4GVɒ{#SaN櫾zJHqn|Q 5h5`;Jkr#82g*Pw699\EB{nK-I_WN揯H!kdo?B#+w0&]э4#7U^ [_X PݏpݷhXc,I HgM[Oa@Rii(H.r(n9ZT`?aȺ#O~ oմ$3 JHe$؟i^u3|S Z/NL+yA?a:h̓eI-0sȉ1I]Ѳ/^ 5lQm+Rq?t5u ]p"XUK}2ڟʠl3+phKףMETV1Q/rܿv#6]аspCł%yōwfM_&(-!*ssg 5C6!Zv ;.t?}NNK9ylӵ2C:zXFpQϝlc4Zd )0{UC5""V{z`p e'8tSXCGX촂ō<C8bv d8W+,60ݠ4EqRI_5M;JNl LBԌ YN<aAwx9>a9geWM qPv':0`쭲"M qtb'ĥQA]O%/cɽYÉ bNGMi-%t "M,ćߎxK3f )IHM; /7_lMma7{ǴS,$..4l1X`d ݨ'څtyMbUOy9agc$)Y9}8+_xK}8溆{-ڤTI05q ZG k^]w'ξIȑm7mH&xκ,w/t7WJ _BROg ¤M33%8GTj;̕LEED. I2LAu")l9nǬr(]&v?0jpFj#߳=6gs<~9z&`xH< Z?@ #ᜉ'mvWy>Lϣ٤i$ࣅZԄoѹmS$LXS}8* L^cFނ"dS=# 5m_b Of]u}1]el X]rxgq3fcKÖ"Ȃ%~Oe,i:V[j {_1iTaGa뵒ezI0(6ǒCkoJʺ'Ll z 5 Xl6J6&{TWAB}5^*:-y Im! xUe1@G^DÛ&X ¤_ /[!jE?@hNw5K&q8΁@>-m{FsW6tb#BYl+8}G%؈H.ۡC3⍑G! emN%Pi+"/qNÝ*6y1b(mᯈmZ=×7h\ PU/ٙ!Rj=u, یlN7=32>K^hggwЌRX^/N J5aC)EP86s`T$¼zߋa$"IzHvه|z3ot;EEFj+N&U RH;h\7WyLc)¶S%/xfK,N%Z3N N,-BI|ҜsCj45bXO}]ޞ0,a]#${@2yG>~eTbR4/?Ŕk]GOmC(mAeߐtk>F~O v)o)Zu jd9-NFE[TA3ͬʫэ{ʘ+2'3%[˄i(FdJ2 FPU9,ì<\TD7IQ1sc?S I]F-j-nsmG(\US oϏC5C^=%ہRӨx,yRKKf$ɕ@UE??+V6P ʷ̅rf_'AOoXBIRo8G{]!oxyFQ?.v]^bR DkN䈃s]=P;P#ܳDŽ~2վm 2kM+oܫ]H% ;/⡮gc2ПuVG f/:cDEbZ}\jGyii25,5yeOvA3x=Rl"p :ːA8:霊olvpE5{|hJg(9dS0U@YmhOUtm I :/җ(H`_"nnx u{"PaU̍iQc씷δlJ'0g.3Sߗ_6'{hυ֥bsGXy010R9_L<.aeVO'upL@'XMEʰw&kbVuYV|`' (nS`,ܽv[-QlLAqCEC0ܤg;j+2/kpAa6Q f7\&?ޮ_Vlge#n o9 wUj+BKXKX#IƤ\ǀv [;'-kmfٕHr%Zz#^(y#Hv}y)/͇6,Cx0v'G`u2DzńSnB1L'O q7TjYQED' a)m?zbڐ8ME2|; _K^O¸mj![c v@&^AѨSmCۄ4Z; ,&?-~\ZV~$UN>̔"MJ3|ڬ'd&CvʔG:Wm}kc8#~J*SNPXtA9DzGթ|Sc9/f MOʶ*b]mEM@zwFwsʓZחz.epd"4pB ʎP7lHZp>G  Y4Է3mE 53v:6Τ]Tr\>B_*~71vx4f8At W t#AǙD4 ɟl<1Ÿkxx*ռ3ͨFA:,_K]"5zgmBj' I۬?&:Nֶi~m5Kppj6 K&HBE!x޲_ِ (wp2GQ7.y=s!F"ypNToh)pAC]!KFCKHzϘƖ/3xF!Eny+wRDj53OK+U_ݔU* h ue9bJlTk O%x9Eg>9]rYJR AB<֣F/E$ϽFg4'41 90 x?EWeH=< uo'3<^B}āuksv}v9#/r->Jt\68(i{WnQEJNG{ii9BV\6pɄAyI Nb7 T?K O]*:g-x!;g' dxL-nMܢQ<^ eW7\Cbah̚aN\y_Gi쬑uG'8la$ |q|[%$KiʓԲ,:kP@ogGջ5aO{eT..rF>2JC-+7/ؚ⯞꟡}"c 7eΗWa9 ;wNB17ŋ㖇. . Ev@HwfCg{xf|+4?܂UQUz,S$h|yX^"[[1Vzwu+nPu(iqaIUR ʞyU] >JmkgRL뗑PEks|I~5}_G3tO!v`')1҄ 7CM7/u"y1ڶ=Rڇk?Fa{bxANǵ[zetlhP3C᥮8y~en@;vѱI};ɣFSɓz0ԸR3raT!eYK!$bz;(L)C e;7F#(6u,L~r~ +OǔpסQ>Yܭ/v?(҂Dd(`Q@K&$b2)֌g $uʩc#'/Ծā4u$y,, S!m~7aE(up_L-r*\P|w^rhCVYS&pOx?ڬVAm˕؅~iR[;Y,[ڹ,y9>/ynY )ҥC?[ d'vN?Q"TF/e{eڔMbS -{Mbٟ2viOiR䆇yTO_'~>MA}b;jnus7w iRRdO.rFGw{)}LLpgP~_MB{`Yv@)'ΐ2WЏlt!:#wx+n9`pO*\#nRmymeW{UTwJs~tCQ|&qCښ|Lb$y|bkBaG:sY}IlW P{}COM`#fȉbC)Mk}[ R RDG(EP%&K!zN q z[jjJ#/WQ zB`B!(F5෨.(ho8Äd%A R+Rkƣ!y b: ^DG1ԙ1t0H[LȕޟӛE @2 5 ;wW*? }&4c[ {172JWLuy=3 ~"}f?¸Jsn`v>WY^Aicb:?T9CU3ɣ"jN`u\l%?a iCK.BWfB(t`2*OoJY<r-iGt0Ww+~Nj[kLCZY^^wj^Fޢ4, Hd]pP9!f87g3ħao~D`^v>c^W)&5]Ɖ/[Ro殔wb Њ-6|5>m`c 'K`gL?U|5&r8brnI x 6]͂" !g;c* ZF!”F}ݾgqъ&ShS~>qK;FqV3ߜL|*/ɛpFjhv7g?5kH`R9]t m4MN"B41,UbV7.~>Fӛd] i{A(3 [*LRS4C<s0-ڭ%hZ0{|K'k%ռD䋘,/6Ҵr%U)?ҠkL{pN?| |E gnY<|r/J % Daˑ-7:BƅO QMk>._g!0~sЖ_Y(5M]=\f!.(^ۇ|o6U 4Н*z5 yn"3쎴6vV5:?%Ki BfC\QNE{~uD?p 'ߤHo&aV Ƈp-Py Ss=T1jנe|ԂP( .3ڨr(PvoW>c^Wb=- ~X?p_YϯI+]x>Sį?ղtR& T P Rʓ/QX3Gm*MF|ی *¢X!L)4g);}$|Dqm>k£N{>zGo+$ JyL YQ, a3/1A`aʑhOIcY#//+aDQ8Clv[k9 #0z?+3puQF-TbFjsMx` D? *XHA?P¼\,lq9L5ܲ⮥ )g7w" ,#Y,ĺ;4T+p!c %޸Hޒig |?ɛl'"5U?8X 򱥗|2DTtl*M-Kpr5-XD9b/ V9=I8`(&xd{ߥGą,7B;d\Q7:ʠ$$r3`.! +C4XIIܾ`Kdg>F* UnUPT׏lƳ;#虍%HfK@7yX&6Nq/$ Th'e0& *^>EœZ{qz8r B|,A?{I6B|V*cb7{%FCQTb ƣFj‘1 56o2v1Æv >)RڝmaKta)_jO#(d/,s,NchkfZg16K̷~1ݪd\L~Fh:_="5i%14j*>8x(Zj?.J+A\&jP"nܨި[]!jlLOsZdK/[Wjt, g:ujg;k=,Ա9B4y;a8#ܞ^;^bu#MZhIA6[&{WnDo$Q  blmlFdGPfqM ~{Z"ža E}խf_ O"_XD0&jxE==ݠn:ϔ4 xV̟=W}C#x)w96"SԍXt\r[)UhZ{ o "n |J>"dU8 ɠ_>I[Y"K|: - >+'(4W(~{cC%"Lv4Cd#{ƬV䆔t*bd 5Rƀe>>)0ȝ|;qovtiogWDrux7:'e&J:3Ry{ Le,fd//%z6taeV'%AF-\b@ȑ;qn|;C.ջ֣p1zq,O2FbFy4Io¯2p[a5J8Ϧ|3Č<шa*c˞+(b9@5-Ki &K&vfkg t*9wxs"Ϥ4@'P֖_DEؗ{F*lCUe' q7w[:л>{aQ 0* k !MMT$4Eog G^ārIkA""vw&7)uR$Ⱦc2T嶠6yX M)@|6G9Z#]hQ8.徻B~ߨB0A#9tGҢlD1I{󨌁I: 6s&cd\>Yy/'zCE[o۾?ʕ9_Us[N`LYi}7ȖDkdLKhnt\IB`ƪѷД(Ɓ̕)3;՚!\b:&%*ӹ}om/-~Vg"2M5=M"؏7W2G=|чpW)BEDp ]t-ϼCT ~LN{*> Ӳfxp7H\b?ZMOLk0}z|pH|M]^y;,eIX S R@/[wLGD%N6N=PTd%" 4 '$eF.]’dLL0ZF^]D[8z5p,؄ٔ™o,>Q"GNz |RYnC04ne؋;qI٤{$8! E3SyT]h^IԷXdw3[^4@SjWߢGUE3a4NUJc/뗸:7)]NTȶkv4cZZq;x3RϚ:X4ӝj=؋T)"p'Z6L_b`-r.*Oљ %"oZS{5D6s40fq!b' 'sHХOV#R@3[+ H\fޘX Zϩ,ksZwF(5x8T6s-lf_ ķ{j)-l&cvajX `\lN39V㊜ιbC{/d_9Zf*(#? 7}KuGyoT bq,N @qcrw^nf̍hxE4촫w?~fF?we p?Oq K6U2{ǕMq@}Qyr_ 5ұ^d+4]mMvSLes q BNpfnjLsT@f3LzG0EO!""c4?4 h<hWJԩn8UP!󒞎7gGw^9eFL/fQg[RԀ >I:>T5IцwntK͑}n1(`U[p^pAk1<Ⱦ "0 ί 99l 9F9/mbCV|ʼ9 z5ߎoQhbj4!kYV$QŜ&a39's͚kd-P7ڐ<DIc-QoςzɅ1N4ˡyRWGG_sxоgSAsADM1=tuouެrX˧$+ (Ś_([dΎ(t.nyCBksz0Tqtim*BӯQ#A`Xg\1'P^GWd/T:r@;g45jsx৾LBA~X>m)ܩ>-:bjkP I++QOO_e9 Ck k6Wdb*` s2]kѐ>),%i@FSrףMз&H`Bk&جGHC YM-rBɔehT.7Hl~mR__^/! )Mھ->dMDgwGNuz=4{EIXu$YE߿$I={EV{v M"{@BP{xD1~>&(rYVaT+Z Q q" cڴDZ-#E?¾/ϷI4Yt>d6 00F u7L/Ƈ{'<K3)q*8qWmؕ8A#Il{;^}ľ%ʺ š'1g[isFζ2kDSvB?7_ba`wv,&NϷ!5wпzu!&X91J3Ernm#6[sIr D'֚d O3u}Х]8ىnłJD-$Uw2AiOa-tbyy=odmu+fB]h"&v:&&Ī!#>5Ջ7de?7j:c\*S|?Oܫ0<(}7({ҶQ= -i4 ℷmB.r<⯼(#ꭽw3Un&U1{ia*=lPyYO\j7fƐm_jWKdI=|cÿ@4S!/8̳o|rl!ޖ-1?k@z}aGbRN'ykt`h Ԧc%\ÿj'\` JE<"PZ۟hW5:]#~N\k9g %!ϽL|D9saͧ}O_w伵# q"ޱH)K͌4Cj@(YheC٩B ]FqRVM@R]4C.;DV[]+`qZ-H`PO["~ ~XzwS{@ a"8V̳EfpBs&ϑ5(=#lUa*rMfRxM㟓G*לmw䁛8Eg .'rP$`x7OҜ}QI㘦hHy}^Ti&L$F7zǥGѨ FG[/0q K&]L,Y\˟_@ ީ"6qAڭ>rOI z,/='Gv7DMzGOhTte~[WT`P>A rm\,J:]&\xdbB>ǟQOlfׄ7ÖR|)W['&N0{n$ Jz*@[W0N: [VI8=N^J9XTx<ߦ-T gpTk2Y Sǜ#ЉD!-M8|^*|~ "!'^8 0M6ᇩ}xORC+\Ddaݵl#:6VX<༄v)bd(tԒP`B#5du H؃l5MJr} q:ר1ߴƨSdLxoPXĈȲz[S sc $_wUR 5LP:UYZH6g8R2uS5CKARے*3Mqqhh'WAdTcjy~Re)yyQ&fO1x!~[&0?RPpJohO+%ʪ$L8A/E SZB}It5q"<`\Ln ;B^%GVf'jl 6LDk43BC>]foT]riEy|p/\9e4D2Ʋ\C(ez"9\ū4\?Y`(m~A- gv'y5|UT2*k˄/[_}<2evrJJ9Yep~YzFLɺ;ͶzeIr6(&*!v0-֜ K-V%$̈́ξ&!ޅKd(R{E3!u0N_kq_Tmh6Dp> N;p8l攙:-jQTW[ g| ܦqOűLHT.@_Wa9u ܺ#p3rڨW5os@~ 8hw{/H2UR?']{+iPˇ飦͘(DHt^-((Z)MN6>)Sq@Rv4dSf&r+hqҰ˞\;q`0ȩ[`.AU ŵ"ԒZ*`J mmm ѽ"O2EЧ|q,<6OAM۸u%Jt> 2o0Y;CK'En'<0Uo7#& 2<7g?F~H0wo0D|Nzz\ړ85wK@"?ZQ.㲉9=wR 5d4N?-ħe~>Q?ǎ-[O)f NA0B  om G<k@R~M}?ə^bzjFpt7;soǧ 9e]vG='@t ;$S2 #ҁaan}Y>eڠ@ g!2yجGj8x]1-|]*P.wC 1xy=_ɨyifXyշz !dng਻ @1i㨘R#LD29,~0qCɇ_C8ajpP9U>宰ҷa]~Cf0<)TQnKw<H }SMS.#}# /t,8Erɳͣ^`[&3 nmj=ymVvɼxFI~+,v%(z 9F|,Nb6T_݃1frC셂s݊N{ ,EM Uc m$vȸ@77Dz5}20<ٯ MHLs-fdW%SX\}F*9l$9! ǵWܬ.}0hOs?<<($ūO5u;WOA/3cuHCoTplv%vF*Rt"_J|> n݈? 5Kj 2c3:w^%w]%:Y^=r_ÙU+.@%uʛ8 r_V­@x&2 SΑƾ!=rq,`M2`L<o%nSRyNMI G񱺈B뻆NV֯8 %O kfm3 Adu}VBD_:+VQ+B a?[H9a3 r}#4& [JDAb\ m9XހwWK>=}qax %]忶d1+cٰ`=~,Lٹg8Vgx&^y{"2F_fD)VqY%:hh޴s;Vo1fwXJ略 ~&S`!Ǯ^VৗcPƍ; ^7-DH">~jbCɷ0)mi|ȯ*A9o2)3/>;$. bFTsQ:]/!^΁B*G$yָfxtQETԚqn{v'} LC r}p \d/* E2|gJ˿c:^(8pBE퀖ȝD^ԺV9ef9+nu>a°0abImd8+_.(Gթj /W@,Dbv5 *# YيK:/ իLOhD[|k^pa;JP&Kr@mBHtk1P(o>cpN9purC TW~>4us 7ƱvIN_bPeJF;*O:΄VYHA*vOTq]WyGg(fʓ:8mĥ!}0;*p* dGܿLTǡK1r;XsM jF0³Qy8iGEUM_8)͹XX(xCBPۛ+brEre/$U:8l K-h1ĸ6wFvư,éd&'SkwG t0s? ;p_qu3W)8b0筭7% ==_ *q2ruD #OVh!GJ*%&畜v};QtiX'OX=*|Q5n#] ـLifÌ,wx_:PuP|'o8;]%3NY-<5.F@+at͞`GoyߑI!ͧC(!7-)#byf ͌cz_;o xwj?i*2J+Ώ#Ea^H>Z-7h6U| F˝[7"J@8J ;eGByr6MEsdG+e_湞FDnJOu+J'YJeT@$'0fSMxj)紸Zk4{w`k\$~aL5d>k|䒤nn~4u+Ʈr=Gz !D4j`&A/{Ӯӯ)=ˑ{ t&XEQ ͍`j.5M^J=-EMvDKȫ&睏d#ǎǺ5;BN̛33*֒^uD;H3 h*jStciXYDQDMIcZnbŘ$R;0bu gP+ TDρk~Ƀeƭ0A\X@-oABevO.ĸ·&JI!<>hBa$] zeבyJ  U~7vqvߌQ}<*k/'|оTPfXH$*/(D%FD1r @@#.&T{69w?NEkEpϢW.m "hm I=D5nx5T9q`~+Y{"la:볷J!P"vM[@e8y/0*8TQ/Oܺt|;Df7pT8vɣyPxNz+Ev$54QL}zT +UG=(A|n< P/ps=m6xhe߱bpV䧴"Tɣ :-O,4sMnF/MH`vYw,ey y8QTk<T>0&FY*:kIkG^[PNtggQE7YuJr&NA;N[΄/l04b(ႻIDSDϣ3r,z}I]ʯ‰]H疍n`UjrY4i*O~ 64,TiLtbƭ@oBڋr4rYi+ U{̡>V!Ӎf>ق A3,7{`T?wZ3ŵ9)rjH&r&rՉqF"R cV-E>H9ֺ*[9J{\R0+] :oHoEz;7 _4'P7(7Ss . 8o)[yE[o83] ,:x%뇭*osW)}Ԥ\eK `٭!оw/4?): H6`Yf ĉ i[-w^*-ƣ{`fa} 9:yJ193pI;{`r_b 1ͯR!eOMʐ@T('r :9u- :{(;88ů,8i6AwN|߸`@i(b_,_\3bj\ 8AM%(_GƜ6{֩|Шҍ:ʬtaת(A*Sat2x1Nff ;dϕ2JNdX[ Ddls%P֣[y[f:.蘬`hb`F'V_ Yt$@'1{ 1jf@ՕuNQC/ɭnLIq^= *KW^N>£Yf͛,& ZrauLW@t%l<j(J烡CӀgnkb5kڪ|F@F$kx{٭-$鋞DCLz[Tx%4NH6 e^GIEu>{`vXDu#G i , dqE/ JΎݮiY #< fZ7/T7Lh66I0.8uhdp&/vqZΤ?wu,S ebXA~$lZ_PO.m iTRyכQ͂ٞ k:ȢGvo`+lhb|D[8Q f*Nm{+ ,5)Y^ ݟ IWV-T2 aX4#B:W9gyDzLP+"mBZ-md/L zսR!1s Yu~'5*-&Qڟ7P|yzxSp/:nz+e jo'^3g, A:\lX8>>s푭V t@Ym.hSvd7Nۋ+dE/K`F~)׸ ()Z#b EͼjP>BAmV3B`(Ux1ۓB%i3 #5N?s bcvO!N}M1c'e{W"'0 43L=m ٯTu?G;GMa8V5.X[{!g6aTyL+c Ok+]]X Vu=Woj$\0cL1ad}P5PksWg9ꋖD:Ĉ;]Յ$o'gi}Ȩj{y)]_< I)[|&u_[Z {0#R2`wt5n:Vݫ;R./{;jMR 1118UMnjt-\ }ٶ otT;.gG' 4}q=zW]*A;l|cζ֋F|cW~Oˍye|( KB>寲m u4Fڻ'%G,5) ͫT^"R|.MOgJ cҳlG;>qk#l$[98fyNj5jY^{oMIQ?ҁ՗*,Pj"K+G )`p|V隅X+ =ECݶ]c0%8H}9<^7}Ш_Gez)ۂhwi3FCDNeDKBY9lfO1{;!(qHZf!b,*Ƣ@"`< #W#^l,D o/%T1؋jp{H=XInMSl {*TYlnd:+6P]8z^[#@:yDh1e>׍qVFA:1ϣh L٬ =4fCz>J4ʈQUYq"]uݖu[`Jt, f0tdsau/wüfWSrTP զfҾ5J0`ȃk-^ҹ{08%Ɔi7WDI|¯f'bvw1{RF[1L0"A1lNqb.و-#o 6mϰ}^(w 3q?~)Sy'C`zSՀ$Ē ]_Iٙ{3?㐄$W;3 hKb 8S RD6~46@ME%ReSiĮmowڅB2TDʁIn}"sշ%n$zfF!m+QY2C@NQB΢qY?iO|DGKF_>0gpbF;&dn\&J jbk)9b nJK-)WM?6*/(8*%v#p]nuW꘦hf_:?|w_#D`SLJ5=ϽUk%.QvĻ;Xgյ1g)S(MεA*!BaI=`H]BxN.l쐯{$nR,+%\z[yEFYMO`|9=e{ U݁#`+5%͐ï`0G^Զ&*!)㜘xP166ca5abe7e834d199d29fb7c0e2 c9917f0eaa85e1b50938b8ea9388363b33bf330f c9a2df60089094094bfffce424ba1fb4b5138918 c9cf09b2178eb4b2b328e50120eb132a138b0543 ca6d3741c1dfd91d53585adc92d7808b06ecf149 ceecead55c31d355149e38b0991f780896669c2d cf3de0e7613a445aa8b96003f1f8d7c8f96a83b0 cf5488fd1d80aeb44f0f4a2576d4a6e57102329b cf59e7462917a831ff72f54f5176f976971933aa d29fa84f3fc63184c6d57988fab9170f68181b17 d36b0aafd81f5bf0e93f3f31ab18d9ef32a5e4e1 d381c9449169df4b0e02f097b8c7ecbd49775b88 d487fcd8b841e8410042483282c3dfc28fb2f48f d78af3193d09851402a57cf9704c8605356a3786 d7e0767a8f2ad4ba6d3adc581090c8f132ee96a1 d8292adede94ab5ef0257836f9002579788c8c89 d84b0fa4a441a9ae3859c4599c76a8c2d2da7b86 d9dbae4ec7d5be5774cd8b0490d19c92e0da6ce8 dacb91831dc2a4a5ab74c794fe81ed3cf79c156a db7947d90b8ab9a4cd4be8474a5f8b3f8355944e dc217076872eb986a89109e382c7ed9f08a0dee2 dd12f57a804ab5c99a71ff1eb5fda83941632114 de83180bc60e40cf325db337ba288758e8fefd85 dfc98146e4755edad293cd36f21a331bdf474b6f e01a06b3c65a5eb32ad29b8b21edb67c357c08bc e022b87?89087bc5e44635654e0c0caf1c313dfb1 e033bf4de41ede5a6fd99b700ce377c68b1271b0 e06f7daa951d315c56d4b6a28d08fec875b653a0 e0b01e3985711de7be7c7d268ca77e64bb1c8d46 e14053089b8440cb7bde4cd9176a848335e3d99e e1a813be9befd5d1b0240cf91ce0ffd6fa30b9e9 e3076356d70f35c17a47b97dc41c35db33db582c e53c6caac60689891ba3b4be4e55469d41eac899 e5d6cae5d66a9e46bba7dd35712e1f87cdd64678 e61dd30730c3ad4bdf5a92cfea8567acaff69888 e66c49bc37666a3668dd310cd1a9197cc02fde69 e6e0d130aa51012e646b06fc2249cb35242ef561 e77350c51b042f0d1d3b27921f394c0a6ab0e8df e7df8b637d04fa4c48e3ab63bfb0e8b2f81b4183 e807b21e6ae55cf947a4130a5d9aa2005b99004e e90e35e78562c766f61508e232b00e80187bb30a ec2963a5938cdf2e851b0350f519c352a02573af ee8462c818e1a47e72f0713a645c2dfd3c3243a6 ef3fc270338ab09f394a04bd09be955826ae4c6e f0de55cfc1dd5548723090aab035e5323eea205b f0fd2b7c06f457eb5c7ceb27d3cc0be2a57e4063 f22f0029f33e2e874f5c3f7a79b570f46171fb9e f2330a4496b455074dea2cb2e80374d7b85a698a f23a197d748c8038dfeb7b8fc61fc644bf116869 f25c6ca10bf8152e9b55f1fac6171e18f1f617f1 f2fa20fa18396f6c4807a694ea0639e42e4f926c f3bff9a86817070e29272c9d37a00e65eaea0f0a f4ab5eaea02e8e225c961fb5f512062ca171a998 f57466a6b2bba5e6f57deef22e4b3fff1a69dac3 f5ec7e823d613d2448111b3a7c146e9e7aa38d2f f686ff6458b587d239c8102e8f14fcf11ca3b644 f6bf49589bc66db14a6c8b5cfa468392b6ad28b8 f6eaf59f4c0f79d16f377d76490c36ecfa31c112 f9346afb22a0d8166a77354ae08b21a46496acc4 f999e6beeeebd90a2a798f3a0c4fe4962334fc93 faccb1059b382d536f7483a88ffc6ba6fd6bf0e6 fb12fd635c79a5d5f59b2bb3c6cb669ad0f0b1e5 fbd4792988f777dff5911485f88842943bba6670 fc07afc98f86d90a4706a0dae2f8049df085601d fc4084c5ff0012f0286e50511fb7ec8ea21db2b4 fc6109335be557c5901205ca25f129ea5418b2a8 fcf2c6fc7e522a9989fef69cd7e004f10ef5bd6d fd161e4262bd9c0e06f45181b3d5ecb1dd657c4e fd24b625cc2141113f0a9dac9833b5db73ee9c00 fd3678e17286d46fc356e8b71c095b59afdf7bdd fd7686a56a58e2d694330ffc2fd5fc1cf9a8b14f fe1b100e35d479047e872380ac4777e6d3f0ecd4 ff9c3c63b39b6b2d522813d09a745cac4ff5440658c1f5f7555feb9985fead5405c04acebc14240e5f9cc3ab8d0e17300b29fb00d1be15c061835ad9