SQLite format 3@ . BBh77otableisabelle_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 H!dl4 ]]]HOL-Proofs:threads=2elapsed=961.144cpu=1680.496gc=212.508factor=1.757zXZִF! =]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb_1Hל3 ]e)jJn"AdJItoU'\vΰ=cv\o~ nZ1^49͔^\ Y~X)aĐ 66 Z$25l5lΦvhD!~gn_k5ӝ?lև떴 SXq᜙H+RFL뉪n6|BRp}.|ӐuGS֣֙SU8Eq\;stYRy->K"9rGN-FozNR5&30YM^B6;=zCܣ0E >jPن`7t"klR{gT.uU1R]VYNL-mǥr~;cZ6xc<~ 4(TP1zH8ĭʶ~3ŠɀYGǁw #uVtp/푉%b5'ox,'Ȫ}aAQs5aK>o45eCjlhqEKT9]cSؑ`J7B/]B( %?7B0#`P!|V%yZ2$Ha?ذ$}M8\;!/yM+Un}!DS IށZiatí:lcRж2\ ኅ)$cm.}&(d*bEsF_K $j/ިkl  ! HOL-ProofsKx辕'O& t9ƞȋC|g$'@R+ZN}@Uba˷ҭ`h iuy)=1s;2@&st{MfML{(|TQ)c; *07XH;z Ďij5芏#*p 3!c@CEHN UE*%:E8kBTC,/`r茰}&ӨV$}mpq4G)sC8?e$V5aG|pUB #YB;TP,jgӺZL-,rr+iЫWۋC{8 %u#t[agς?bjry9:ҘHDKF35sL! sӣG #0 C~ MKۏLxQk- x.,-@!KL`ᩋ(Y܊d baoR%kEYg.܈s͵C'Z(zwDze=nc/?,"Yei HD3Υ;O= # Ex6\-}%|3 Ao0{Z+VECs%ޮ0 f$VDixRІNk:u]UA ݊j\e"kKy rB6r7<_8묮cu~+=^>@ˆx)q" ٰBlKl Hc8k߽ٿL#,(Gn/AZ-g˙F#o֥Baї}Sa)'ȋ_o>jg;?L}7cr*:#8{RE!@iCL%YiOY`]1xB P MKWz )l̂\Ļ-%gCv1}5NK>fDhWi~n"\ mS$^[ýnvIc RBZfnaKfqe^I242HC]fj1[aTӪwC 9:qvM͘"R]W줫 4ꏵ?3!lg&gϣoRqJA/p4*blfUƈer?i@YTlt %lpkG'dx $QﲨR+;ycC0V+A [WfQ9W'M"~ ?佁Ku("-YH#Uq@0v -6>>G$mu庌g0$vnX;@uRh|(Ƙ ËOGG-YniN%-/`QF|ݯq',}]q5eysW'B\SVّF>"Ĕ"L/Tʈ9~TDeN3O<yl VYYx5 YB O@]нVZjte%J'zOio8R54JP,@)^g'bE9|@Laq8,I?=ߴ9,r+k_ݕB=PQ;vD8fZH~n׫@Og۱MTr^$u7CQ %;Qd]^ke3jj5 u}N\%6)0ػQ-<_cӬZ6 ]UEk ]R`sG\; 1ME|ؠfmjS3!-Tc {"31 =^70CԯTcqK!3h?9)Ct' 9XqAL˷c{ѴV W3czIfdbɽ)h[N9egfRl Ɓ, u&ĥ[t)ރBp-}ήplhsDCñ:QOeNI7zz!*zGmK;-(#Y%<5=uEv FB<{q5)KUŸ'xhK=xad ҃,y}ınjZ'ZW@-)1vwJB:W# l/cvp2h-G8I%g ̟G& FkTd`߃o:Dj*H$U`X&ʧ._(gYZ7zXZִF! P]ŗXiɟ29aoʼz[%U>EM!!*WarkmKϪ#9 V:8KOѝNX fu1^ā#^cͽSUCn}2=e%]a3Wb$/PnRpl5"Ӛ/yf SHFuŸ EU"udLaفRK" Ozһ"$5;b6"¼pEC!GtY a,+1j)H0\l\;2Z8 'hMiV Ỏq?qrS`:sI޸_\RpQP祿15Wt2'M q#!=E lErG!+V~dB${Ֆ3L\U ^y!,s/A ЫAo._}qBARPʹGU(MF nF/4/c79;_B7d=jl^,bnGeжʓʵ&C.` %%St8-*jR]"z-I !ZcvUqQgǰ} :a/mN~ \|V{&K+Jުd˧_ 1B-#lI=|/GY5*VRW,\ʥ.iˮZӽ^9>L)$PoB\3LxeBVR^m0#G lEƑ4j76 n3ݨ_bH z̈YA̅"~ Ӓ61?XY[oVG;ch$\ yDc`K-鴓MT8S%cwal8E@P{EC윶CYyIi|Ǡܻ@F%gJ&AC3NA΋֓`* E^H~y3@:n uYT,C>JxGJig +9Z!^F8N Q_[ /:o 1ts ژ+ys>"mO~5AC G)A ⯘M^^" >W[B9bČҦ)ZIHTy2 >z<^ւ(  Nh0?c}䍓)1N6&%5y~E@FIvmhSʍLʖh5mOm7 2\x,'hd屐YJ1r2ۚxE-Mc_i.o?T.R~0A|Ée`zm4UqISW)2cfO|>&K3"[=#~Ƭ/ ؇PQO/&-x+ppsΥ' B#Db& W |uIFH_pxP|r"^ Tt+;3Q{i["D)/+ $7s-n`ʹvx`E~ $%?J-S{`sxԆ$BW4NWa<f}wb)' vQh@v+LAQ[M&k\C2]봓y)ӤBL\fzİc!4AJ7szCЧTߒᵇ맗:@Ue<1HpPHO1q0s$?TI* `hB-xęų17}IKbHOXݠ5H́%wDbs!jKTɒ 9X(0h)GʞÞ'Rz6k+4tN9IEھ/[n\jreAvؼ"gȍjEX~W6_*ED{Uw69cH.]ViSlEX|DK9"ud>ZDbuyAm5lg3|ضd%|k2 f~q! ƒ! awzPG|}ӧ7n&j0h@Q1*NBYܖ6kG12\"28oj1Dx¨n)kadKhMe`wiX;Vvwf`gߵFl{ț%s,.4R3l+4d릤w,Y}*MlOL5!,.Cܠ F.[E|jKv8D! Tѐa^[&;斅NX#؋oG)jso@7BRecHUwOaƑ*5^#)5<~`^5RN7Xh)xrQl{[#6* ?YAf㩪`8(b7(ˋۋg֬Uнs36#@c7]tq}tM6 TN0-ڴY(H$032$ipldRUnt#+$>1rSQ8uS%eUuy_c^ 4FUNR7CGO)LZF3)ms8NoaA-`(1rf~a],S,[t2XD&6A#%uaœlj`F|e>©D@}gd?veMQ*l*IT'`/)9Ow!@mAxߔly1U/%xX;߮&ϴ5ؚOr7۝^jP;8JH@qt3AGrOA,e|0</N*fju&-yú2@Nlߖ[D1ZWwZ,˜$rr$>QY~&kVqr%0@.@Ɠ)z s C3w7CUv{B]م Ќ1QqȋVNt^z$h5'6Lj.|HpsE2.i-lݝ%EF!0S.b,SY_mA9u3`sGA4v?6Q_2 WW*B`T6r.G樦,['ŶO鉲W G~ُ(WH16;y~"W yׄA6+GW%af d/g)S:ԺAST'E.8-e8> یi7Ot{p Kr5tP|&3[0Ć^O`EdN2E-5TiEĄ>s$iwV#nL2*,_H,n(D'  w+doe*,^+ֶi3C`al8Yh܃CzM|.3tKYduIs(tf=418r8߷ F{c6_~XO:cкs\1MF4x6jEU c'g&\dBmqFJ@ه gV_#~c߾_b $c”9Q q~pIW|KvviRlޚ΂?nS%Wv{׮Dj*JX`Q౐8ڭU)aꐏy)U0^<:VXpgm{O Y5󆀜F_qmP+ZoOg` ָH7K?K?V@&ڥa../j=D+'4E<^Z5FABv?+75w{~)p99tW*Ex-ǩ;<~;I"5~`[P2T4`H|˻YUF+ xdW0+N-eȩԺ9aN Ŷ=Nnd7EsN7:(R=dO˾8X+fLcU H9B ,3z]'}}3Ly8ׅɰ#>f[5C7sż^(R戔K^]%y?Zio{m .U3"x0<$УD}FmČg닐?5&<߬+ Cj~\:qF/SؽYBЊBr"oh pP1n;㐜ءI@L!hj:FE N z"ׂHcJZ^B5:bJ*Bg? 8Ȗ\QR̥J#qӵZ4{z]9Q#MZU"PЙ59z}v/&&ܧؤU@_`,#hF]-wM3oᆞD_h"kV/<5%xYNkyz6|E,Ni~c-F7smj8 =$0 peEkwB`핬cIV:$e]Wm`YpJ`]f'(gRpIdVGBgWK⎪ے9 2}3n]38>t,"'HOg>AVds<4#$\Lvr-C= t["(|m4;/^(;dIy>6rv%P6ތspdK:e*D xxk\zga՗^:xoIf5-xBa-4W$U:`/5;@! e{D"U%4ߠ4,JLTz_ݚ&%ʒ'DߦW5܋Q\q鴳oE \+0rЈmS]FĖ7TW{U>DU pNMS&:lwt{">OiNvL.30Ͷs̸m] a>VE *ܿo`4I w כ~XbB0h ~0s\FAc;6ߖklH\BYIbX DQOxzH  ]$&7j?O bHō2fVER<e6ñlwijIit ,;*(.a}\6nc(UY{x}e2ۿ~ IS$\a*Tran5Q8F>YZGGna,c{[,^$ ewfyn:sH\ Z˳ ߼E:˥  <'Qxx˂@l6ІMJ\硿y0;9pe?v2N8N[CtnC¥{Q1(E f"dҒk M\Np\pӏi1Dnlb@'t o˭$)`]eړr>"tVKG~S,|/߇NPܒג/8DM;azN*#p,bg5O.kMȜ,yDڨg* FqyrPb5D#q>VZ"sX)*c׸WnU Ҕ q: s_[a)p=Vi<&ܕyzX4#X7@dRgz)]?X1٘ ͣ-3Ðs#GK𘵢lYX}l:Ք @mKH'3Ipw$xץ9ޡS[ 4ް4eGM8'c8ymg])K7Qʖ]؛PlM.̨ڄ #i'+X0ۺW螾y Ua[Т_m8-lV?IcݜoNbW}bcGV/Vr1Lmқ2}|^6nhJz\`eҿYRX-cALud敹ε/d`AM˷Z̡EWK,0'WG" cNMO*.t!%*:sbVcRЇ7fR 4V,yi}aodo]U% تLIF[Y\0:~t"$&vO?j\[0|j5IA8t, TUY0T皻 /zU:uF1*-Mcq,9@~BrIr?P3Oø5FGG@v߮,TCڲXhULCMN$)FӶ]gZg>`hqh)˽!K+ PǧGc 4&9TYi/.S,`{)aOZ?P) r!̑jO!)?IN`9q%hH@;,w yOk(tRεMB$N_g+^ƂBF_?1yIP*FA3a){ؙXБJ&L`:y?$=*e#4JЊx!U9'X^hGd?Wz؋ֵsѣ 4!![{@m9~3nI[oyZLH\gJd*8@OSfDrtǃ@"[Ge'KkbV:sQ0N | ^yӔ!gw$e}S X`9i0Hn.vO3|\9*3}s/ "W@18#&d֏a#'Ym_, d_Vt8&OQct:BemO-v:A)[!vNA1BxZeVlUkj(`UQmc6[/1$v Lʼ#QU C w@.,Da[c! tūሯ;& Z\Cjì/ dg]kG4"2cx~ >+>%w(k6bklVIwV;FR2KR6 |62ƒD$EąZn*p"Ak|$@N8F˥C*B4HZYa-ޜRW73I* gɷD!8ډI\$PvRn~;m7p,Wd 0}-q1 2$'=ם#a)-QǠ25ݏQ-c*N]dU|J^ A'J.45t݂qgʗMXvЮ?F}RoV;Td >|6`AP0+? 8rT48ŝ"M=B`mV;ZHE-sE9Tfڅs0(vW8T뱩AM(Vob腲KIҿape⤑re]* ku~n*iȅ .6joJpx2o0g%}~vxOU˫W8a&WI fruqpýB>„ CJb)R%M)džo#bLɩ-b;gR2oMbBgzEO曽3c]u g;o'G79`*ȊæYewi5CӺy`G$p =8JڈAjp?3ң +F;1>LU' ֣D?uu<i=M)cgDGafP#C*T 5',}>lgH҆lʀe`."5O(ނ730B4;wʀf\a$>,uG'&$),+ʡn4R f:L'9ςT}B4Df78]s3hN0].9#)ߑÓKrb0g/\ʰW勝izƇ_AIOQY5! ҫWwѧ.09J-nbRQw2wF H/E 8bCl-$z)bѭ ޓ RPJ{/?)\X =~cTËű -6nCA[|؛ eD N[7o eJQ)O߾x-Ut78_Qu$iZqXBؖ6O&1xB՝AR)jAdZ. QCe\މoS.?~ )@c\*h ~i=trfCIM{STY[#9ɤ_'P@8q(x %קg{Z" !0t9SHO0e CL.Zq} _ joabeI½Dȑ=]CVeP?}y 0P8T]Z ]FHu{JZnY1" 9_M!iZƒ7S5p=YaEA/sKw2Z58@, qvJ"֌9Ԃp FP?žLO̯FK5LRdDek#5(=_bjW8Pt ԋB'(=3NVr?;Gq&}* z5{R]I FUsTXoyS..&y矤]n`\BA.>W>;MLh1xh\$>e9'3h=Yl%V2Uh/F,wo}Z]ZF3%m(H26]86϶*+dQ̝c o &W [֧8B >Kfo< %LWMCHαkY ,\<p* vj&RۭÖ ^']Ng6`qP) n:0ch2/qh1N(}~gZ΄ ƭ:;tPW ($C!q_[ǼUa*a4Z%ZiOűrG_OEmfKM/KAA=ƩQȡ0@PHG3miL}AXeK vZe`*OԮoFd镍l":B IS@Γ1C|zBhu/N=̤/Z#{c *Jʍ@e=Sؑ]|?c[qd;l :ψ#0pgfRu͂d_eKx[vtˑ9ގ)&k҃? b.wݫZ61x"(KwM@sBT‚W#=(x͢U DCѺ/BuS,,_tQ|̋D,)]0 z:G n6Q*zEbz=9aoIg Erp0~^VtQ0+sա5;^'+}E+#i ; y7k~fW LQVxk٭u)oFMNb8M} ~kj@jjI<'1LCTzqMQ)j5Ψ7Y1p.s9a)Y gs_pigݧp֥MЦo5f nܥ{aYѬ>iC VfAlK;+Pϲpm{whmfy}CRNGyY3s8f}DRArvkf dhĈP^O,x#ĉ8|_"G@qE(~SC̝^N`únygm#ſ*pl9PQyik{W$ky4n;շ& \%h*MDXU 䕞U?P;~ .a86HzbH%)DWFG!O򈚟TȨ9!"ONE*=2(Ԩ,be)jw),'c>Ӱ/raF/_!=n̑(jhEir AA+/GޱPw- bOj<rDsF[A*DJMA,/Օd`d8ʈD=㑐wuzB$FDH|ƥ;Tqy, `818! TO XBY(~쁊hn|8.X6TF6+JNr j7Z,jC)x%bb 1HjU#.xuS_KrjfjN h- )2{{D2)X&'FI{G-{$*< 498<1**붫I5Or?N GWLHSZ>ά?M4H,`fe&RoR?u]/[մ4Ym_6 CݣZp4|TZ3HTp?щ1pee{1{2s}( "܏}q;-k{ Ί'0I=uX;n!|?KYKAG4ff8bYFez@ck-)wpcC?1~5C 6gMN|!|Ũ\Ķ9\"MdЦm-rn?VeY+~ϰ [?y&J|b6S&]>/|"r&1ҵAlX ϧiq":z!\zޫm((8_XN[ JQ 7C0)6̒b'Sҡ})Pc,x~&0xOy Cqjh>Szޫ3wá p,6N!SAL#" d<3)/l2𨳚Qx;,Yk!]).{H%rU7]6}z;.ʜ2@s}tXJw~Oʹ7]! hY\f= W|E8RlH\/%l<$u˵Յhs=| 4ɴ'~)PIY51bݞM*HV+ ɋZ^mK,CT͆ΓDh0L@Pē~ #k˰u$ n3e-X yzEγhjhBy;F,7Ԏ2eȞEW)O^ dn>ydAw:qG[ Ғ-K칶uWK=R-/b1dQ$\c7H,* eѼ~q) vj}j]S?1B|v vݓF +jsr4khır.{\k&tRY%[xQ-d߳ݢg҅ٳ8dW~$oogʑhE~F)ZfАpn H)Fzּ 2g7_Nɘwl]UiCD!C[ ?7,={D f5N0[ D|4,] ?0)'Wˑ]c.^'iע# i5 l]/lmxǃmb4.O_fyu1S0K&M^TtEN|'f@( )QpPD7%v[꣞7?Ф@Cel~v&qbt>'0WD5aσqO 2bE'Y:ͤȫLZNBt~W1p-OJ>pӰOcT?^ө5$DIXh°j;qnny'uW=lIwp* `1拻NV(j9['M0zҁ_uq;\?F. gCwL\$4g&&ޑ⤇8Ԝ/sk9^CFO|`@f铲*wO2]09Mj"Zp%6g|axlCrbpicr/O[*Q*_81!T?H]e-̄ڛbm%"Jn;{JpI*B' cmcn9S1<3IR>$t}̉OA!TzsHvQ rg끚ڡFMFԄUqi 4]ؚ Hl$58Ϩ {k>n@y˥"**mo prFcɼ5%`M%nԩ1vKT'H3+q& ifz0p|;F=ћ"hITqn=ZyW"zZ7[%06nR] `X^"ByOJ6{["w٪ ʁ@+)`gv<=Oaֲ [m㘈ՁxI*Jn2>uvX'~M$wFPAe!DY/2˼Mئ_B#EsgHs!V7?Us)]+s ʖn`Ak ÃW\IЗj'FJb\7o:-˸C=pəՓ`o>Ԣ9-bY3u69ޜ}(Jvf ؟5y@hbhon*쵠zXX4J_1%sg}R?WAe921`FP~Xmj+QC+i;jxDnnV+w ׏/0>R#L枝N.QzW`#FYk}9V8ڂ6MnL a^X":]H>=vBR ٽ nTL|6 5Z-KO5SK|5\ǯK%lNFWW_2W1Oqh&g]:Ա-+=0} \S*(j72/q{ >li I} [Vj@²C#iа"Xu_FolpS:H;*/qGFT;[Js/wN*zg=*/UWݔgi|.~25ۊ0qt cHc-mWP%k pׇ eNOkKb%$ 5g N*FEͽxPq#ꃣOei4@ m\!I*Cݕ 6ȋ~&Z89`Pqױ0iIp"Z g.mU}=&CX Oltk vQIDF  slO(TxW.B[b7i[hoкhs&[d9Ms>msE$#˹IxkxHIdB-{b efy3VtW, ?'Xm6.|[U(?hrR#$83`_SbRI+b7<~xӋ"Edi'@N n1[s|fkʷ>_k\@Hi Ios~<'͕ҋ_ĽO4+!<^G8 qj@6=0-;O֓`>rDy kKimRз(QQS"IAscTiR \|E,nlV8Bi5JDZRFp_P3Ymc4cY,n|Q S \`yL.W0Sc0 AO7e8*.V=T豤"j63@jsYQYLRXhK?gg8!j5kqr[Q2u%FcDٛ+{z|ؘ/0`:a!f@ѮHěvk1bйrm8(K~|/#sz A>_YVkTUtyMJـzM@z?% a+)oņ€Vx~GGlDRwM!Vk✿Ϥ5,[6c,˃ݜ|˧¿:{SH@`KMPѕTiFp/M|AZYעqĻ1ш46QW q@d7}ݓ#6H}@ѹ[ޯHM%3.L*,y1S RP֜{泭;;$ l@uכM'wY0ƠBzrT kdüT }so>i|f!աrFČiO'ΏZW2vӊ&n= ]~X #׽7Vć,(W`UF.(/mmi =;`ԊNO{[;vʒOE+ގnG5!1U<'[躜)LeY'y&˖Ҥ}(LYaURH%3_xADK9W iOK%5iT}q2 bLh\\C^#IMj+j-=8&̢+Q6?+|D h*4!&(sϔJSX>NJ  AXrVkD ӉFݫ6G4V#]O9ǙeJoDI~9 ðQS?o^=DebM@ӅEWg1cVcy|1mXI򤂠[¢37O, l6AD↴%PW7oXŅ9QrD\iI/"HCуߐ|(y|-7xF {E_hbTM6 U2Ǭ1ZnE ن,=Il<΋5 tڙ37(%gYȀihR&{\6;SAm."qȂ=ՃYryNT͟L89BfJ '߾kat.䧀2TG YHz;k h7Q"Kqz*JW1,.IG"4Uo!m㠱rF<?\c/Bf\q/Ksn6rzRb{DVA()$u?-+t"g3M @zQHi,k#.zk_\xqUtW-.<%Եo!'%r2[`%[u-D| nLG~jql-{uxLSXv*uKXOrCFO<:lCdo[7fȡߌ7t/r~Q[*&٤ 9GǬ@`pL #`-e=G;W*ի阘nm'+ɢT(Ԛk|"c EPUeF|krE(5!*^kh5(m'd05S]Lv]J/)q+`FQlB_(@xLDf]:)W~Bbu"B3ѕ63#N٫zI!h->okq tdǿMގ䞍z%Q @/޾jחVѼn P:)騎 KȐsI^/* !@%\* { >(HJnl>K5وg>Q[m?7F %Oҋ(hׁT Ӄ[?nInm{SA *2ncp4yt*׼ 겝`o e8}6#XY-F`?f[`s{eѬY2t;*d,6&T ?ki l'U29I(بBRC1yvÝ`Ɂj\x <`)fzThIJ F3!8?9'hcb.0ͿtU;KQl,jiVgg9y&GzWY3ѫ!.M EEVB.KG,_̓1 vHugR"|س1\)ud#Ļ1=sz(򅚮R m)J6*3uL 4>HVn*aFLH@OOD[ܶ;AYǣP U*2+iH:/dqErR]'>P> ;ȚH!u8^'$qC|)'$UJE<1YDr3 XI{dq\qE͉w tǪEj3/U?Sj9!cvؚRΤɇtM!5(WCAP_z"GWwWkgZab1DPT(s(qH6ۻ-7}ZA'6XCM5>$kA{ET5\wEJ@ /I\0| mQ<J4RwVrBSO߃Brll8avgZl={\p|b?Q €ͣ+' j5c85Nc >aFI-󋁁TrMg|Ѳ9;zN[)Z%|h@vUeQX[X憎nxF*d_IJ,sy0e}g}&U: B*52~("{m ԗ.5T qA%P& ƒͿTK񗂯 (pzj|)Wak<)pBAJ)Gy t~Ux47u ۡJh#ͦϮ&\2*|"r8c-Mtծw̧QVaxQ08c%)sjy"rŒ-|+&XfHB;{OPg g7ȩ_rn~EBxՠ׊\R;A[ídVCgpC]ܳEXMS(I '+npۜ bPˆۯ69b=H~#)Ӂ]w򞼷256p5cȦP*jϜ01cCp~t|5^6AN 7xb00fh Omq7+NƆU&'9"1d qGlc񻓪tJٕJ}}eTNŢ) Z+hq¡D5];˹&GrV>G<?%<\c"j̀qw4^</TsCYQ# Gi&r^7.S j"kϠ4$^Xt>{,$lSwjWEryBw7ZdLSᗠR ZdvPmjf 6F5,øbtGc R6TW`a@o%y&^~4x$3oyT3P{N՛g X1usu+_J7]eR͢dܳ@OOϸp1$t }X3@|X+%!юߏL)Jj=d(vti`%TJ0U|w?O$WCE]&[^#p^z&”|5@&˕IS!GA؆9wBRu!֒A1++rPߴ}^,FgKj섰%S( ߏrr>kR>zJ}jj[D*zB %Fuar/GXΆj*W;!-",}qZpqn;SA ^Ȃ~87wʀ*h~Ӥ[@c93b9BK \ 1>gGit-!$8DmKl%n/zld|1uP{~dAU 8Dz50찑LS9D£= 7Sl.{)yY7|2In&qOVRz:}G7:ކ 6o /d@M;%YD_k xOdŃ%fBehGe$%hx*ѱU%zJ{yOCfG}gAjz1o(vhL!Q+b#Yrot5]0gF,=a( ZXT%/a Vqa6od^}Ko $4 hWxIV6FeD9+CQS5U~y@ p[}3_Y/Y.6tyyq8t.G Yn-jNYga ˆ]%q97-+[/aGE)BNc(稪+v _ۑ#raRQ+^`g.09qdg v슐3{kLyʬQ:8-(Gx4(W}Z^s<Zt3K4fSGSlp3&&i{|(y49G%*89|uH@ʔ]}~ ] cOu|ʐrJTyw^>T(]"q#^O&e]{6T#/xrGDeC Lai,%whn0XK/"Y+sY7Vjd;{y}+ MA ͑&8!w$D=~$xSoNh:L<@iecK="[+KvNO|y[0HC{O/4AKw_ʩ=5i-Ȟ0R7y*I=6Q)Sv7vFZު?h*vL$>6K YI=*70*ʛ~r7ٕ6B0Kd:g/OaeBdo\ҞyJH ׃/`8e~c9Lg qOѦ.g`3H? #t͛_ݝf3`v ͓sG6ZֲAzHzM]X6BJDq/.UbKh>xJ}_oq``&|TLEe:J:>F>PpHI3dew;Dh`iD?/#CV˦9 mG 7bW3^Ď/`l}XQpx,zlR(-4OSMu oD rd*_&+qcz\vC jlw5E]{Ԣw E̳NGUxvH0JlڣG /ȡW:Fui6%A;7Uʞ];{ik d͈$b TtS"Qqw8PXK9͡ 2F:f u_=17&ŃɄ? ,;DeT[=Kv.ՇU]xYF8ay6,!ů@_&C nk(3Nw\}.jgdžƿXs=:u_|0w M7@s0 ]PG} lONy׈8 gC8zo=|\w7B2EB3#˔qLw "Ե m7;`vKju>)S֭4]q#$-4o xRޱYx^NEY~h?f3͵!D~.V!z\re@U7dĀ^1gM Õ`77n1sWW$NXa+z ɕO:x+33A!ஔDHϹ 9j:u!C^AJSo?ㆷ^0hGw+X)Y~r9x~]q:ǿ)wk@.q=So[SX)(ۺxEzM;mihlhmN+l? "M`҂y0A=Y;P Fj<)93czTҰ^>J<充B8PXs٘{Z!hH},_U{."7/Ձ^l|A-T"}xTF[AƔ,i.gX&:vt3S)c/ަz4CL]:dxB %kx33`EY]\y5PC-ayh(͘{re)wcIh=gTN7n:eޥN,3 `9Mc.'tG7QN  24K?|'(R-mţ-tSwz@;#tI0W$܈?hn\iZ"wթ+#kOp7z$U)U&LX*H?oʂ>Bz*`*}j 4ggZjemao|n'JG= PGaxoFx i/A_Ħ1ѴM:m_NialJ,Wnqf̭)ԝ@2_MNXohmsVv2=|OE7iy;`Y銆yTTj ]aW#q~_Ű?[3ـ'[-DƕVR,thC߀Po-yZW.( `JjE,㩐l#>燶Y\\\YABmQ?ǹ֜b BŠ\2G& nMVtF aĕ5jkP)"ӡT Dp >@Ezq6o7q뗉/?Ӯ'jX zzE}B``.,[Q!tZ'uw祆}+( NJWC`-fЕ \KܦW#qe{'z(jT&; @baE6;$zpn\xolh3)^9H )Holw7LSN]VT$T=$oU[2*4#=Wbޘ[4<C BZ51Gѽ 99iaS"0_oM[FZ.^ZϘwu^o#^n>*11$jsމ۩K0i.W;cP5O(=;>7V်:o؇E]XGIR%B;Bl pYUx|RЕlz#LaL VaPITf$]'=dTܱJJ[ bO?Hș4#JzgRzoq`U(*Ĭըxn[S saORH6Wݞg95;u4n>p):)BS bJ>e)Hq/L-5 WwZ~@Rni&U,wt #*w%Jf13#h]4)ޙNP)k+t߶;P`0cO>9xWQ%[HQ1N(>U7sq@7?W|Ln):, b87 lZ+;kߠKkJjn ?2ImW!arWQjꝻISsԦQM܄.k|UGh ,=et \%yK%"2P^j2'wxﰪ`A3vx@yPZVLj!cr69eC z%uE͞|3mX>X1 U Coԡ^)/H2!e?LOG: ǧF[ٿK8Qvt(d9T 'ttL߂xi0A!Ljq\s8n< c?(Qʤ hu6gQ]Й,)!x#tʳumʭG _b~vpJ??A4@njd2=;pt| ABn$.hЋ7e щ}L(ܠӤq;/U_󏚂hVqnMQT>w>Ie|hV(aL PgMd%ɔ od:^ӎx;3N`uiRr!LFhS0!5x9U~8^]Wv|m<D [$23/JrG=vj%W?ۺ6L@bxI!;t1T̵*4= iמ([60໐84Jay+t4w` #Sߺ/XsC%6>y ~W[4q-5s#8ާ[r*Deל /G( n U F!a㤛a(W1N$49P<JQD*s#--P ]! 9@AR@ e:aTo"Ĵm`7,2}FY-*[ XWtcIGmuSNÖ$) lsLc_r{g|ٲ&]AK[^2EQz|t/mAPȜ1"1O;-k%qR$yE^{ 4W;F7&?@0'9>|fѾ좣ճ~jf?s0b!ҼJI ̩-z/$J(J,NJVF[A:4a4pλи_9fiT%imBMㅆWH᫓59'm#YĮ~\ԔѯeTԄi t&.#:SN ruy.J>۵iկE&~0҇"fjZn˅50X7&2N% yK$/'CJ;T%Q1|6gݓ0PoM;i[$ΈjR*:qik<N)6])qfX1\`dJl?uBb5gR>W@g|i9!fZQRe(Z1_ ɢ5kca7zmUF =M {+ 3eBZOE۽Y?r7 cjW&";a@?s|Os GC)^VRAc ]QOM*WTV-'@NSw A%UyZ'sQ45D&*q/$js->ӦrĦV/߻~N%/Q=z917)Ϩp==fыejF`}JN9AMèw%d p뢨+戔/9} *9<~ l(xs).lb']& /K>PD"#0[\jy(.:42iOM~`JK X#{-KIdU[!N tIA`i xS>L P+Dsu5)TY*V4b h %ts;'؞XzO *j)pY1|x Ξ؁/ل[ta4e^S$2M*%ƒt`ΟNŅ/o͌잷!Nj.(\fWn]h52L&>͵bͦWGuvڎ2~f-T3PCz9{\YUo%{}8qD}xYK s]yU2nd1_?\H*Vm;q6+9.a Sy;,]q&}$Ca€Yj-5zXF_MS@flj8hu7M h b@+j'Zf-wvZ;|/OMhX ~㻡E/& +|ėF6[`HŤ!IX OEM á?+6ÚP N]oԹYP}h9nV@yRlRʭX>oW5(6lF1zz˼<\jBS cc+;I4w3:xR.w#|P%XKKJvC7njIb첮+h8b 7c9!.ʎ x77T`NF0;a/J}H0B+WRbGͶ536DvOB@-":ޮA"3 %C+\D6-N͕;&O&>5zc_N(gAMQ Mi^h~'Z;Y J(if&pSQŹ)-9< 1qתy%\,c(?L1Co?ĕ}zKfڱ myZlϪ4AR謒jQz&%(oO'P1we4V5%+ܛs@lg X ҅P6iL tZ8]1 mө$uka>֛[ ~ߢۗ#oZw(Mi#sL½! >˒L-82&<ȼLe\^eA1Z_H=z0P9qɖUF 9Zzm/d.'_pnH#/p_.|Gs%w&[7޻ڈ< џHClW/\[y9z(Ԁ1ܼKO5Ot yAO'~:ΒQ{F.> qb* ͥ +/UYb7mȩFq]x1#T!; F'r}N^FYشVz֣Bjѥk!G5f- 4a*8LhDR²4\<:hgmYʺ]TԹIgJ2-Xm GN%GM0|4x, n`+`y@ZE:quȚ]惶chѐF 6nx7z}:7Г@D2p xnh<?:9V41h Þ ^l]>50Rq1LʲttN@R}mvZCiџ>زSϧಠ'#p*:Gߑ$;Dx~w*BCbݧ ׆#H\+'lZ%4,f ѭ 'l؇k$opp{jS6%ǻ ~ o&JpI6!yX򭂁79/Ǎ;ęXa8~4N^,zʁvc+w؅g|9dR .i)+ P95q-ٌE?:˞Y> 5cͩ ]>B{-/zҒm+J&|l;\+I!/NW8@'b9sʇ<ٕR**G`,sf?w}+pci;?[ <z8ҕӋ 4/-:Z袹>W_\ %o9mpeK5 Oڇ'GXyy[O-2]_j~2֢{,iSkF?ȥڀP✅#e>(>uw ͊[JSI/֭9Qt6z^7`fyPPzMaH#aP^u!դKsZwyצ𐜒\Hkcp"/ rCC`E H&Wi;7 ! Dx*_ >ETO\^>P S5k~V̿p+REmrmfڳ38;] "ĔzܟFɇ2{eO`pk <۫ Vs|MU}ыu_ױ{}fʹ J/p29_ E C+XIŊ~%tB՝ns|Ml٨C2A39|HЇ<>E;oIZ6 N('0ai,SV%M~TS^ްfc%"Y 8GTpMb;-T6)/ۀLt(dJncu](|Ԣ0yMƉ=UUM,±E 0;cjX,֪Z(EsjhԪOqȁD5 )r(p'oAPmXax0?l|5j,p9I)xׇ4AT-qLw4lbOug[n\OþvD1O Q[sDUBT0%sP jJ'B?G魋Nx") =QW!pȫ(t34zDy^mKkԎFQ~ht]־khN[^R:hѺ9Bl[u+3x9ϖ<8]?#7Klk[BLÁ)̔_(.=i 8 *V}+ׁVUwZ][rϺѨ_RNmI@jm$ N8Lj n D)!`L3-/,U6gFnնS0I$f!ތwz.HHH{, s33:Vi5%%sY/̎Jsbyv`[\m02p2N1LVSc#!0K#-kFL\GiZ?k5 ,IZIo]X7N5H+ {X>l(,*^!Dr+Č8jvΤcc*-J~Ѣ∓J9CAOɡXοdrSϾ:i 5 މz271:fI= iǧU۰27aR:z(4jir4OR7'SA\P_"%h$t 2w|7E0=[Fbֆ B_ڄO},e]y4&8RMKLVFdze]/jl'ĥrS'B6kHruG$aڕWDae*GC *ew!2buQHʲRp%T|ZڻUʼŚ#m$JTEW?NILb!1Hy5XxM\e$:աAH` iGALsd X'j@7~x' O'X*fB"R(#6M0~lNJT2J*XBԒPڝ[}?eEbb)ѩ7FX0dB4E{BG1I\:|R,ZEIMZ FZխ!f%8aJR5@FuB2>i+?eTU%Һ:N LC?t.g?=\[@A!,EB}JOfŵdXe+_^@{4.?"3Kpငu` 밖~ ǂt6v!-BM.m_9%Ѕb9XG`QU2b8;3S-ɖ\ک#rH\kLdvt"mi{a Mq 1W.'#&{ .|vϼ glh~Qz9/xZl[0p -DaKLRƈ6 "DﶬBZWv=:S`%Ì-)/N("L=P}~!%fff={a*+$dLޖ (`Y 6+Lr1#h%K~j_XXG}VhYWg?Z@}1$r;mZ'l:͜T }Hb?Q-OFʼnh Tjhb-cW?R^"-; :V[ᾔ'NcH @xԁ43&JП2Sc)kA_,l 2 e.JMϫ# ķr?=lhv-GrRtآ\)NۛДR`LVE٠^Dxj(kI״|7kpzBȩFm]/@sS8sXкQ%q!옱;xG">!,Ƚyar D1EtW}dVKS|31X OĚ|tLի2fDDT"blGî*\b |[gxcugtptŅ(lΈ˞(kLxm{>xZۨ$9`펠 ldQqt$=16d<2#څWeE-xOzZL- =Npg.+1K]8K ' != Z)}Bz f&K53 d:S^Xv n@ƴ\yL1‚IibWbrWOfcTSL:/&sAP`-[&}hSلL_Ay[P@~nPE)j4RF1S`0R&FkF[čGw8^ SNM%/ࢰko0:\#6vr?Dĝ=mGC8Z_F1uAZ˂g :Qvq.HeGٰ7j>7ӝ>v.3ZɥL),Չb ξ&xe:qm&PB:0T"sNiH*iKȔ[W!wn'.b6P5»[{|wk J%^C*՟EQ)MS+[C ˰jw3+%\YS9Kˊ ,C\Tn@{mQxtVuJL+:`G4b?~ *HL9 Ateԡ_*fy{P"E%PC佣1&^hCIW$|2_z G^l5yG`ޢH0{"NMont~XZo DǶ]M8|VAwsgnVk3SΗێ 5~Wΰ0oiAz<\@Ɍbc[L]Έusz|݉T QXte_shbW ?[/Q{xp+v1ψvg ˾@D<^\SW%hh8L&tޙ{>U-E -~Է]&KArIa126xJ&0]!Prj*n +zBToF׵^RcU>+=&r+eYafD 8u<̳ hsG3xUĊOWAJn¡sZ6x4':2|(>L4O$͎$qӯ9W<$U"h) BEP<1 +xA,ylS^mCv!i8z5-jⅰ gDuύp0ɔAGhAh$1gޖV3%Wl\[Ln3%0*v|{i#mx%lrip4jr ROʱ]#pFaC@Vxe^SY(}0"y]Ҷ1ٿ?Sꎽ#_z~Q21{iP9Qh- NҵA(2݀-iGFU5S%pK89 y)GiYg4 miY%\{SE@WGL_ʲnQZUeQF#] Cs ܬRM?f2@.5IjDvkad"k eFt)OKfhscGv @[Bo9dwysKZYOOyj~,lleyn{Sz  xI&Sb1P] R}i',C /C`)WWRa-0SّJ$t>d$Nz|CxCO9b*IhDWi竕xU@"R;L頀EOu#!MߤWD)M4 `7 2#x#譕d!/u|*I{Y.-;g:ML7k2LS|P%ZWR \W%T3))u|lmWl)YF7f%;DڴRF!,@%`+j sI`7dkq$gyM"9 }DhwVp 6Cd&+?T9kGJ5c| εsZl ,b5tJ*GSiĹLM]|ʃgIaXU+e }.0lx*Vl);&K"Vgf(Rl Rx~2)Ok2#q`ujt*7i\ćDI$U^4= C/[Z`;b|d,eU1dc16