SQLite format 3@ .  YYQ77Atableisabelle_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, "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  5D ; HOL-Nominal-Examples:threads=6elapsed=362.338cpu=1362.536gc=119.696factor=3.767zXZִF! 缵w]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&kK%Tznx!%d#MRY.?R]GG"O֟[~] i,3"zӓsѼ ŲC<3cLdF*UUqX|up |IMm)4(KBU8ZگF~\UпL 5r!Хx/ z^d1u%R/bq~  c݌,%DzPڠ92[;1) x keC%)p";rڛ[*%'MQ|9Z:P:ЖNoԿ8TPb '~[)W]sRҌ w>J!$v\xW,/ptt9s8OzhO/x!q)-wJ-$6 (yOFrm@_Ug`NMG+3Ij1 kC&bQ6f=~w[.qt9t3-Nz1BRӤ'iWpZ$Z6W&_$ xV; |_љW^}H09C*.Eo\tz 5 HOL-Nominal-ExamplesCuЮAڔ#-G!Bw@3'X00=MBWʮa&) 3N3HCh8cB4FowZєc4Vu_~إKyrC"b*9qfFDĂUo-}=nW27'!?"[VXgJDalPPWmw`̇x/z0|τVP%[=va: cҭ%YtEMF qab)3D;Tx mgO˻5龲jHhӸͰT}f;KC~~r ЁkOP҇$COGu*1\FbsYQS@ïxcL6vi׳k%߰M%M"Nh)$]#eIr'}u6QtzK5;_oztҥ-XȟD|{b"s#VKMQV\`=aNWI}j~tIl2Pu HX.J(l+f0X |F|<[a)o~gfk[1ùUk*"2Vgͱ8-UK9NZ'˲ "EPþWe~.b(,vI~@0Cp=Wjir Q'uզdT:Q;(ӳؼ̦B+׾W|Pz/;6igwx-B!>bGIQ-jbcX?^]I [r%#$"¥ϖ&iqĤEcL"-5qdɵe| ;/0>L(])I0 VR›|aqX8Tύ' l #Z>;F!d58cǡ:Fĭ4p Ey1 C䒟|Z_Zƕeb(< 'AևG" ֝ZhEA2MmZa$kκD At*py5-t),=)+~CuN(ҬjG!$\yL^*qej{2qO{5)vm1B3=9fk5za<ǖ?AzWL<}| 6^l ?˼R<7Y"<ʊ8{$x[>Y 7Tjj9:?t`x#x `U4oK"h+C zWg^M JFB k p1+YJ^[̫|)$+4`ҶxѕhwfTD KrQ3>CBk ,F񂳽5_(1-ij>ol\ؠ,L"_4)5&d/3aygԒC֗:D7k"KAJ`!NΆo Bla})5,pFLv\zM=P(]޷>9W\~alqȡ-*8+ {;;f"AujLkt (JBZ13qxuH}Eg@t_mQ[>Nb ,r='PMkXnHC  u}kmPX 9_D0?rly!"mu zQ$r`bS_'# A.ᢧWR˴b1Q*1'%|ǼW5@U^јH{hUde3miV;߰bɲ-'|dܙ̚N%͛a"GIed~l_M%I ҹw'˒ 6`*3pu6fkZI7v.g/vBZOC&ԲdF;1Z[HOa]Iv4xKkežÊnV 8ҍ>i ?ޙ4ZsR̢HbQ^`eظc7^SU%s,WM&aMo<~}C-1v#53D7ae׍m3z8XںNձɘXlq*S-9gz\) , ?8JugS?6Q%3AXA֏6r tk2Ro,n4`Ǒ@?R۬v/g~#یvņ|y:;{a8h$8FLھ1":mqs-v4Utrڨ^HL?C0tfwX]榢x4L# eȋTɵ?PTi%.!l9@pCx5YmPtA L ;.ʃ\,OtOX[|ݗK!2q+ &t *n_k,XXu<є63 7/qpWEa,aC=@_Zfyс`mœzy~3M8uZg@o^vHM$hHN7|U.Ѷ@!"&T];iݤM#'nacvUyCpQȇ*X,:{nNj iDs Xp{Z5t k;GyׯLS ):R3CjJºKC"54?R>m4i#v}U^b-ۄFM4fx)(Iz=NO,A>/z}Wk~9,>vA >D}rF+\^Gjڷzz@b4WW.A\o:{7I O`T!}1R2cHh9F峇Ugt.okݳ:[7]JgG4soKS@qٟoHr;-.[\WScn;$ H.W.ZИj>C'{D)>WY._^V dbտ{iՊR3hyNo-aókbrqV5%s~(&7eNS{'" >T酭PF2 ~)62\UZ6XD'LGNĹT=[DQWsBo]k<]0`R촼iUe*L3DT_7T[*ܪ8ڕԓT,@B 20lT@#:RL, ]V ]!9KkZ~iW;yp/xfH\ .6>v@y-}%AQ 0%i:Q21]I߹oE\-}bzg1V#҇Ze^1CbfB(a?-1h7Uud3~HsV6mwΏ?M#,@V(\ B8 !Ѳ!܋RNjH.n_O.5ٶyĊ'kUcNB(japH௲H)ܶa7Z#JkZ"# ·:䭵RZ,-Mlp)x v|9CW%`温)P+*Y-V^~ّPto 6|y#hPbB_N[ 2% 4=.ArJ{ =~OVgnSbh H"cb[{/oz:⟅TҦ+{A+˄^8 Z\ aL ? haD;( #qCtI@SĪs)@0. Gwǚ؛!8z7PȽ1n9t:G','z%}zx5[ʊ9z!wv3^85-Y7,jY٭y/Ӗ &vT~wd70;Cϯitð")jRmQq)p$V8GݜN>F'q(jqž7ji+U+v+r$q U4gЇ$_ pf7:e?x,@.k0SWjP:cB Jx[VTΙb0*Qd:7J:C/^qn/tkD'XJn{"_[( oj3L >fYކ&I Ȍ?k${ۙ޵'gS̗pه&,F!%壸1(-hʱ]l>,`(&mihdpJdzw Q[h/ܸy_ŷbzi׆wmX Y*WW2z6} Xglzhz9t  Th5{DaWyG k*FġvE_oygE(2] Rd,Ι^+7Sqg6U;ɮ܃& KJ.:s˖l /9:V0[{PWwq{9n$Y3,F\0A)gE|p ;Y+EaZq ij(ȠbZWfܜB9hrmҙ)9- k( H[ژ^$O#qQ.ȋ *oL5s!љ X|JBJn#M2K(/. ߾h`~뫤Wbsgzu-[$[aEWXcJx/ *uS`+:ȥ\rVHC]h'Kc#qH,@a8 dla2w&j&bWM32^#)-֭.A!V=0YLxy3lZi̦/.ER7P ~4dXWJN+Ė7ƯzN"/C.jpΕ,"Sh|L݀w9uqjq@~YhAPPYpFq80suA&8pè"胉w kG릗3]SHLL)+HPS B?oܼ(Hݢ4!<&4(;=6EVťg1{q̷WO46ai"TщEU_Yo>H>"?mJ۱L>;-)+⪏9At7Sg$Ryr}%eEtyvgt'qSj-7*5zpMv8bV0 Nؽ[tGw^X9.6:7Hpi[}gj;dgl'kiZ4UtiLuz[TOY zC sc$ݏ,{8zZ*R.ݥ:*#/p[6N%8VxD{Tq j('[95t]q?b!C9g8-}]u ∇L6Ѕr^eBr'LL_Ԗ>f d*9ֳ,LJ`WWɗ4v >`{Sg_#MAF2:YƕP8"clO+qCeg5VF[ eVhEUjBne}Ox$N-Z!(TeF%?GAa? h*y{=u\zo '']_k 0qn7F˻C]ϝ~vK0XYN쒩ZBD/ϕmI+QH`T60J|\(tw(xNV8A9YNmR{rHTeMÇ0-m@$qR50j{X7ɫq};;Qr{a-dݸƀ@eaj%d)"6ZJSi2OJ|.^jvZH[Ťw6m(>̝:sTӴmC1 GfmG.ݓ.5%@OGg{ vnYT~ZHψ)WL \i6CZDbxwtg-t"#ɯzmS[MM>|]; SJ%ݟJ˼[/gW>ZYtԭ9956εoE ,Dŝ`d}=/p*-Ӫx+]􎘇d5S1HNV+ۊ52><`ȓۍ Cìc`Y@/zR;T)<)ߢɶG:w*TQ΅fG0D n 8?nutQ4..d8rV?Y =B@S̥Q$p NfB30Բ]{j%%_AA⇮n7[+OP5>qlo-}J<ȣ{3Ksq,e4CMLX*@C^뮈&GWW0ԗ/s#б4Ӟ1fo}5#d "R!ְҳJ-ho+h"ͬY v-E.y ŋH Suu%.sE)E@ދ`q z)U.VdZgZ0R׋LIU;":bf ޛ_c$5"5}5T{xn #:g% vQytaRE~s# m1n?4T){*ӡ? N[ v=;%kGM%8S  .>+I~@e8^s8<]R۴)._ڲ뤓N!x> 9f<:Wr?uՈ4MZb[&1?$.U$-ژ)Gj% #Nig ~ڄ?{_QPa)хץ;LLBh:ZPH>__ӿNO{*m>C9w) ,&cZPҝ'[6y {#ldlSFI, 6tI@W.tqet9vc /Oj̑hlҤv+o,7^--pIa_qpZTBco0 ݺ~zp4ʏggʻ>qHe?'$pGcn>#A`e\1cX s ƄwdmoDqXF$x1@lcLeqp7!-rza=-TS|u\+.`2wQ-h0\#v* d|y/ ͂d^joՊdy6bG򆥛[C5,c_t6 4~cCQ¾V% DZy8pü(zMR1tZEiV%_3m^&4Q3/Y_R#h,J nKL\V Jm2P5 8 VvU.k?'nD>CZ(kã*?41.oJ> c>F:*o MncOBj*=O>Ϥԡ~}?#|–Z@{8 QT9sk ;2g؊X{X3S]hG\d:5ݑH\9#í?'mLYU Bc=`)ȳjp9?3ys1gGDlMA 7|9|`~DF(dܚ6;%pY M y*/qzx%XFo*BWQIpItHHWX4+рG5LïĸIDHW |A ImtU9.$3%xH)ڗSM mDOÍc~ij@ڿڰ3.V;RN#~×܁D[#PM4"=TK 8F b1Ҙ)֜ F6؛Qa ^Մ5IF]b jhkL/vA}q/]c7%(4[P">92Z˲C[wuw3rN ;hVxG:V5`_&,~1W\n:4_ѨZ⊧uOZcKcDڽT0ߐC7 z=?IVnZclOnp81BLޮH(l7ob r\R%|U3G ǃ]{F7# ^ *:fN,8}ɛ+Ε"r"cio*Ytٕ$W왮xZ+XR^jK^M*ȱO=%\~_5I ʔCLiB|#V][6,iPf\0T>y't8C]sc) $0_le+&U*Ϊg|"i=1yprbD\GO d_f{@7Ȱ?|8'tjpK2( [k=)T^͖'q05ęu/bT ;Ir6*0%" ɘ![t'JP$k@j[ZA0w ZwC2t`~4 49gL O4S] !EWhఐT WigFtyV|U| .! GqF/fm(;͗4Cv9 ѱE~gBUUwQfinolq4Uxu f2N+-ZZUez>(Hf#L~IZM|$>wEfw~9{X wpD_i[,'p`g[~8di5OjY(I%@vZqB^#ݴw%( ~UhHXýmϞ}<'e0Y}*4BSAPTY%GהPk9ևАzl1R鱕q/1/ʐx.UfpTZN6I( R'0E)'aVu?o(}߻Tؗ.Hۏ *YI0?*'d֧;$y.ET _*m 3,⻖39p2Tq[ U1 YԬj'R8GSŲ튫Ul&iT*>zC:,'">ėQĵj}翵=0eE\ص:w'F1V~F?%a$=0xՅ?.dѳUPp0a/5 +KOb\&s\HoR|39˩9OScx|qD15_ND)uB-d&d*C*'MHݶK2Z}ghep{ڸl@;NCn&xeey4u k4'M Hپݨ h$$pyY.wyP~FWgQ9$Q W ჁF(3zU VOc&% h H _2}-3v <ZľRKwcTaRT1MM{~Ny1ۋ>;me砟_, ҫ8$P,󨪴4ɬ*S;I@A뷝?Sin_`6ci?cO(tzT!mfw5bia| *9Tۆ\e0=˳{|]5r'ҭ_xߪ`/KTޅ9D"!jO?FN-"ЦėCwy$ȿ_#M|摚\}TVVAJ#'B!kx2u'ej@t< WKtF߻wb~jhaۄ$IE_ _ .Qxg1"(l@&Z]hܖ8k:h)%Q}];A4͸E).#5_Nq a.:^kj4I䶄TڨWedw3{y֬:0;58dnq?U̥2j9~-/_G]{;㝛]Ń~ y!Eu,h=caL0V]8YY)$ܶYl(U4JYo1: 6c9*R'{ϋXZ>z^#?}& jrVuv;\#c=}7p-ѝ+\cBT+\dɣ;=z꼨HU ћ=%r`&K1`PoRg l܂3P8//pV#^Sͷo P0|SQʬ ӫsw`c|zy(eG67{h\e[gbCH uz -LZlYp!^H9=1wHL LYwihSH,e\TUFZscN"W1Q‡p{,l@sfDSrEJҹ'C̥kVeEp/\ %7ǫOz@iG5/2Zfp=44Aֻ(W.Ĺ0Kg dߺ72yhtEB0B +90vmT%՝QI,$®湲 DJ ?@ F{-] I`_H͋+uV_C=ifWi[zVYhmOHs/M&:/mdܰ9ÆOYsfa$}ұ;KfSEQkNs{JN%)[0LgR  º_+[U2qJ JN۝^Tep -s:e Y   (y@3|K\ʈ %;p/} a!45k?-T{915 (ڼQ&`bBPH (*He!@D=i/LL@[&򷈧ȀЛmOD~Sc} 3B؍or9i&[A8D0/^t2tp\P5_.PУv7wuq'rЙhY ܮ] !u  }{Q3몟SkyiW4Ӑ<:;ǀ/}߀OfȲˆ8V}$[*{cnDzf'f72 Ao=Mv.N'z:uz`@ 4104:+i3 4nPnŬAaci[bp Np(P$ sԋ8_u |* Qkf^H)ނ^) ʒ_װ0 Gw{8zHВq/ kxCcCL7]*pHhkavaN?k60 Yw~TU'Yʾ7u% BfISܞKdTągߛCi iRVȠLN9H9t rZ8U8P&i'vnw3MUԶEt8\ w֌&Ղ$!nٲn)؎rD(#l1|N3_1*V  U/+\'AE!񖂏^ϝ.4V ';R8yU|L!3'0(GPLp  %=']-'׿^>̵ 3 @bˡuj%$B~UPg`f%Ne0k(Ov`fo3;X ՔTe)V8I5pyY3B?c(L%k/eTXoQ6ƇF_}Yȑ!&omb/x̅ll_) }><_`'"}2ksթ#5ݻtʠ&G7UP0=EW7@YX–zŲRoCԗr.W0lt1O̠n4y,Ȁr!DX`ʜ-DY:F,9ӗ&FxSW:ܼ%aS9vC#2^c';i`jE1[7cа)eO-o6ޟH P傌_X@q,6jFx.=\|$77f۸:QUlД/`UhRŪK5ɨ ֔βEkMEozpDarQ:mGVDч`.49~&Lɦ4W Ag.\[e"jVk8lOJ#Ak :im\u>2k:dzhuW NPX׏P Jf^&]hdNvR!zy$Ӗ.uIK'q1W VR?s+-|pZݰ=*2dae<ި'QouHLӜ,8C>ɥ͎}-?$VB]McK n*bӮ Qd2U2sVK 깱}SU')\r6>zcqRh$VYyf8Foi m0bTB8 !W m`o8Eh>/.1ܫ.?=AL[Rb̸]ߴ(-f0*IF}0T دkc6bDP33E+|s7Od5ƌ ׸L[FQ~^n@@BûA$Ljeȥo[ї&ZRjL 3:]ԗ+qMbӐBKSϨw>މR,c78'x"{n 4k#}o3~( 6oq;R ̆eIf o@?ѠTy)zj ׇ nݟ0NF 2ԍIz^r/a sAU7Ԇ<9]F$,ܡ!Έl5r*":h_1W_dmcv=4@?==cUڔv6˩x]\jDdLtl!'dnkDk6^O{CG#TfnC<0K{&0_Z*޸.oLj)m Gцd;'8tym:jeވf)&A.t7CF;)[e ?B[tA˜^5pYK2m!|\$ ۩v?89#]t \tA˺7+ѐ|iT.Tֿ1l.'gn?EiFͤIK9%|P8 *!nj P]O$sm~m@DbZ1ډ/kbX8O瓋`oH %̷؜]myIԺ!&r1&ÛBս5dE93Twz>deN_.$rtHҝ cbߑ6o:|]E$ 'm?ByIm- ڏ7"2ʞ[]]*6c#(--f҂QmOoaܭ(I}dVe82Y17f1?MOTӲ$ӜJ@^ғԁ/if1]Mh)yqN;pdC7},8)1dr8ӊm17YMbBKV۫݊\X*a/H TN),0PqWvޠ5mX=8%͛&¢X- 6zK`Jywm0;D贰 !MO;QUDY3a71BjZx5Sym|pKQx)$_ү߾('NKe]~?nX[Ndķfw.v=>q6Y~r]Xk9;y$[yV`j{}\bkNUԀU:Tg_o W=N/Ї26̀M縼VO0t 񴪙@As7XF}]`tݤ1.T}1z^p"(5,xB Mr@=xܹz:Y Uc݀Q_}i>ƋI4%3+鎶"`|{&mMb/?m%j{F"bjԃ_U+%ɜZ_'MH:O2+puc9ґ"ռ~{U ]f|q'v#z 7,#Sc0CIŤP|ɳJw?IzVglG8W4:2Z{N@TCZ Vr|uV7ޡքU(7h/f"\&} w:.'0lZvKǁ?I~+ ,UHܞ;}`P+|˄TZQۏK<..dO8Zn؜'}sIH_$_񬨴9sܠ$ҙ"Q涺`SXH2 ֳ͵3"wN==z^Nd=|u^>Dۛx5Fjvƭٶ]bE"f}Mw\kVGsdMambohQ%Jpp<@?)Ⱥ &ݼ2* ?WgLGc9j WYnU05`<Υ3p$ wH8ë@k|%[&RntErÅJ6T^2NT:WMA~IDn CKH^ BT vEBvQS-WTwj!#A3eKӖx_m ƺJNѦ^2)Z[lyR8E\8oԯ2]UhB^۾߯.2ePJeAcS]b*s([zj` 4 huzLAɻbfNӺ.Y'b]1 WHI.u) ;rP.\I2BAܰ|R?pK Gܽk8uq`U60e28gw ㎉n+mfs渣k=af֫n~}'AmJBp4m+|'3VH=鈎9N0 l+ީhգ6:ƮS(]|Ivc^Lr^nEb ȘL$].@Պ?=*YDEʵg=Je8p ZZ&ܮ>[|jv@ NL5.u*jڋ;d:oRr25̰[umM~rױ1Y0턊;'TSr{r^`2qqP֎afEģGNMدF=EX,K)58WI~< 9ψkcOYcADGQp3 DLڒ)DAn pc3U~$4(_O ܏fh=c]cգu9V<١ȤH5qEPӤq%zk :f>#-s}'!9s)34%'̮!69oE?-}CTX:D\>QAI21!z<= 5IC{/5ȏmihI7.~LTU\Vx^~`}#+7_!08Ú$菿G$J.5y= Fpr%r cJfQJ|4˃!kOH{ 6m05M1~(" om뷐Tr7t2cuV\{ -1ua 2nj ! ^ kF "^s+W#*VnK YuSo6)sжkM&SrįѷBǐTži{c`fqɬ$jlſhQ˵JRߙPTdfz|b)9}Ȩ}5Hw t?b9*JSQG 6BLKg[lgoMdZjY+ketU:N5b TY).L~oIZ kƼ=̎E&v8|2!|,h?NyOr‡j.p*8m~,N)ؕԁY1}jhǡN19%(ܨLxJJk/ 33] kzD9*<byb1ՅӡzxQ-U̧@y ~ - fU"1H8h8dr0KhK*Lu/ŸvsȺ yfzE_抐4|sogؒA.@mdiu%T+iy0tH:/? tͣM ^1vxu6b1IKkȋB%%%=^ h17NֶY B+7神C:+m~p@C`W:UL=j$ [We0Zv~ +wD[@[H?kLc79ct.;wj?& ݦ0tPF46YZ9aQ)Z !p F'WMə,3G.J$qeH?T=}5u`ЖU)zɉx#%z˂Å X,:fߨyA52Cݛr L^,\\ rO>x$eA /*&z_tvv3M1-qӺZjYTW)sȼaЊ»"}Yy-2;nþ]F4c>D3dɫdA I^?Lߍ;LHo-`~@ D0VtPg&’ܢ<6$7'ŮN!5PĦߵk3){ۓ~hآ|j$Qgc0q|o fYR4 <;TqYl_+ H7:X}y`Aj+8$G@z.qNWpS,ɷKa-55i'>̻U0i5[ 9=VPN%OEI])oxF J%^@[\ۚ:)qo^C8'|ӊ6-=Ñ.$F~ kaϿd,)'\2%^uSSF}K`]&bB {iL+L{W%D%IJdrmg*9Ǵ?w8+|E1,LF*K;~C78I4/%g"?Eqne?\bL_yfm>w7z'1걖^1=[}QKH/|džP3o߻&fX?65! E)n; 7zN7``.tb$d [ߘTK5Zg')ykj6,OcsdȮ/N٣d`QN:{޻k76x5|z) jIa./(~Rzz߫РYO: Ҽ6T8h[2yh.@J>28/gX5j@+#Wa?M}_]P]yp'nJ!q8F7rxg[NCB۟vK=^@vauw%BTobWLTٮ!,l\erm5{EԤU]j G茧JOyi$5"|9&wq7$|~x5" }z̃;aƮBȩw :F0=ίʕq8w< K|S50, 9h1giIJOj"oc1ݰEʭ]~V2'6&xl){`4}ܓW+3в^%*K ۈhWrV2}{v@sd{_ßL4{hrق ^fy?DIa?VU iH{LX.SOEbpѹċpQ'2e z |t"qs@OB5a%OtJ鞏Ίc0~fQ!<x0iZn6V2f&{ZLDvԴE\w~zQ?XjG/AګaHSq&q$30T-aߡ\5fFi;--:' vͱ+nP+mo@wo`],@Wj4즴?lkNHtg\uZ@?puFRAE{wܲv|l=4G?`wPLa?l1stmv]&%5J#{*cҀ!<}S^?vnL3lxkMY6?)BFY􁓻MN$I~{Y2SP)<zYԱ!ґ8|P>q0pj"\C0wWul/1y,- ;8]ܩ~_Su1 wHn'pn QۢSJ=\J}+s,#30jO{Ç ͑vg̿;X11FHWH\1'>~Q~r&BFOO3FW`b#%AFM<}[{' ED5abF˅vRrj78:!?l%G44pRYlg qqb5=Nr|s.t4N=XTTIbv4 4jQ ԕj|>JH IQ%tʃ"QDg7TOm#U漕kI(+cZ hڨ{9)>wmhL f, c Qx ߍف䛐^ߵ:Z2@1ȦtO"[\^)8t,<*dqJ_a'2[7@>݆fQG0Y9E"> r~ 9A`=XkYCpj{Uj_lٰS= 1vH@ۢ-NA?s :"#,l&@j ާS[@؂?ԐxF͚QC"a Џ7O ibAфralPKwm9֑6JzQVMQu=fvP`͜O6z*jg\.{Ya@SM /յW:gM𧉶 gFȰE}tOY˟,{O̰}.B{ ޓ!H=jmDxtQ`pX759ؗk0vIӱax q"i[qd7?o:~X ԛyp3; 0i aCP=KT&A3=- HRP~55l&V39KjJx-coJVYE;'& `%]J܈K1^cwmN|q oqMXf`UOs7~J.zi­~O%ĜmWAZrϙ D&ˬ%N ̽e?,+_& TxMP92\ދCЧJCHxI6# 㟼D"2^9daXzLA r<*8:l8 XYLOPKVtǛ].UBxy]sfINv9wA֌2㗿B݉Uau? 2+L飦$(1,'!aWM̚sɔ (҈S+qq7(%;\O=;۔)EgU,t] lSnKzpj"6av'ƹ.㹭O{) %c٘^G<y^MB>!殺ڦC(ؖF ԶQ|-]V*f om%VUAm)S \P41`^S N!8Ow_g8`onlT j#c]Jh4RhrW\Z":ucl:+ͷ;]BD|/V7F ~= Vk?v'piOoY7`.z;S/b)^*B|lˈާI(^i>~pt*)g)@DS\up 娫:U(je}aߥ˥UU(UԢ;dyBF<={ӎ+t.VȚQL;z G)ZB}.8Ҙ\I}X J`9nWnm(bb!AjвLƾRim7a_eq$uI &Bu`s e&K,!Ѡ-:2UB wo-R0km_2VR$=1^I~{rw8@Q^W)U øS&Ԝ0S=Y^8q9. 퓑nxD Ƹd;tC AaE*w$/ lY& si,"S"VIflVl"\,@3Asx.ۯ߂7ڷM޿"H]E}zx ,vql@ov]k:qHIy(Ȣ!^mtN:)Kk7X-:R SlL!rБlȃ$ky-0 ,{ f<7X\׺m*w9X#^INt0z=e=8vDǒ Q2ǧxi W^MnVL 2YʖZ/ױtts'F:-{n`X Txp(1eF,)$iat)G[uJ( Z _4؉cY˞구Y&q]s9TE5ۖ:n)Wc-Pw)2\KXaא cZ-X5h~Q& v` dm>RӤ?pTFȒ׏ץ[VzjyDI݂/cr/GqߨtxFCKXi(9I<49.|C-[ tyh=|ⅴv 20o20_Va{zK5qDkLט24# p?űaEk|18"&+5 W8W 0Ǿe2 YkrcP:J/67$5͔$sͧacz8F uM?ԝ_~$ߊpZO.1b` Ƚ4spțN޾ysT3j֐mU^Y+ٍgSe|N?p1Ҧi/\)$&Cb A Da=۸SU=J$\K6Wuo*4,qM@<9,|K{-t?oWo*<ixw L:udg7m-6w0C+$A^ϧ-}) ]8Ra(ڛM'BUr݋ddt٘3IU`(z? _涏 0/p.hܪ8YU9{^+oYuf=6,SqYAjtGZIѓCo\q@L:?l|e;OnHJ4}l>'gl70}Z ߨ[$uo tw9W8x0TKB5p017Udf<_-:Otm׀/ WSpٌQT'+T+脫VvThLAZA^ ݰVcӟ8_Q#ODg3y ܑw`~ OIS25e2id)f㭉aqN! aD6V[̀k^5My?5{Ne­t2[s^є-ڣ6hjf Wu[)PK1L$+0]l/Z5/gY91GPM҄(~  vND&01}o>!QxjV; |fK?,,gϝp滣'4 uthEHKJF e$bݧjݤONNrұQQy 15+.PPD;ͬZWf b42't_Oe;_i'ah0pxT~2 a԰r)o|C#7(+Z <, g֓'&g»Z;W[i!JbYI&Aֽnv`^D+ny:oJbxj]w.]q,? X?IU2h@|%NT0+xk{#l(w:v24[o fvKOԣf)=P"]d}kƋ8loѡ\b>* |կ J|I')ekGچwUM]9t Ww Z;Rt^Kf#_H ijTOFv iGKoj shf2{U +2T#bdamY*lpB o)䔹8h!X,5w <~ͻzHg0AР/k+a2rPnniȳH7a46G /XkNbr?;.̣DQ^ɲC|z<X_7 /xfW ZZ8M S~$91\C YF,Š%H6\~FO:,&!32dsXYk68mw9k!0 @ ~wmr :M)FՌ LM᧵ڧFi7mR`WONjBPߩJڏCϱT|-Z q֌~K)0=̾{Lj2U\3Q>P(!WӁ]ŢYD<K roe'm *9yy(r8-MF R1@CX#Fؙg3N%Ҷ(c)D(ihRTk{j`;.>5fV{ 0-Y 3"P<~-xe*0luL ,BE ev]-òQդnIǴĈhYH+%!Ty#D@]TDֆ7hJ­WA,5rt`Βl6R.0=OqARq1 $md~N,znnIl 7!މ5ߟWGduF]bf\'[̏8|AT(<]iŋU9AClϩ !9,Pa@{izC,Gj7Of [{+#*kq+;!b*ѹ>F!;WlB!~g+ 71''L!1o"+=+.\|LqG.)M~w*&$` M3SFO֮ywD'c'r*Y.)eƍL oX%=ڤJn|G.PXH5$K~$#m4d W\ݠb{r-YLԤM$Ībj'XslHNoe M;i%I/#x)æ %ƹ{d^3JILф?=׏cq(Bx:t Vt8YHDuvdTyhվ tZm2 T C,vkkV7Sz\POŜNsѧ~ۄ~b@?^jY۸N?U&tkb.hoC Nw[1g`)H Ar',')zAq7׆RڣM :Y;OPi q:ʅ6j'7u h̥Fq;| iK?ˊ/a͠ׯvk_e !ErGDN:}eYEӂxOs &Pٕ'g!wZiJʐ c&P \/0mnKWdl6__~&w˖w&ظ& !]q9ɜbJj!jR/c [VBې7=M;I7}%_hz)tcX7HЬӼGהE8l|EVh%~iї ۀtdn**0ٿ:uyEA-]qXΓ9[z i_qс%эv^]+l91R }#eg 7%Z_M7&VGWZnq/!GI?[u)D4]Fcr]?V1Njܩe:<׏ ı\}p/\RjL ZNKf3q 䘟K:^15VC|,%1r1@x/( L>4`_pz"nm]!UfvTƍ'ٹKp "2LHMVٴEYDp/Л}&67^Գ%kVaAcAٵ$ 41I7nM<#sURJiUe ǨM߆P?;hy/9ÞX$-.FDUz"w"8A@v=&`~n#6| c9@][MdI5`Splu{M zP7qƅr%jF;3 ߌR%oڎ@M;iOmlkd:eQ3s_UNzi,Yi~wObFgυAR'U|4x3IQՌfRsFH8o7Nw6E2pdN:U)һ}"$ÉIPQ'K;-CvLb9[qpB-P_ȳ1/dߧLNoP6DS3 F/֜RW wFVuC^(S/kB) FG bs%lẒɩ1cK5sQ=2~PkAi< W5At.XZ:b]IevG>h{9{\T5)>/V Kj͝RFg(%VXBr@޵n2khNE~ׯ.@;4ĢGZO>& }C|Q?]Y'mZM*OG+dOU\F.Q sm5Ӽ1DiO F;eC<پ7;fOM4KZ+(/[a1 j OS,NQ=؁?9`iG!HR/s^1}:A~.AY`Y!ԗFN9ynW'VHB[ه'UPcS@2AF1^DQڰ4!)רCB~{!>Eha׿#B$Ծ \Oj#؉T:Hģ )l)}G~j`44jX}%+Q:/K$蒵#؝J2ȧ3ƅrg>L[TؤQۗQ@^l.ӏZ!e "$%a% ؼ~G'$nSA)[-spw}ӝ"K7Zuu|53X+%+>x-j pR+LkgzA> M[\{ f]<=!7T,{Fd &.n aB#oүS#fe ߰Mfc:hci4oz%n7q*ZP UN[D=,H[҉^0"%jWW%ct#6:22hV1_4oܱ2xdH:Ke$fKosB.4{!4=tm)=(:IDTIb܁$*hhv:kji!I-'u.91>&wN*OI?+9P !0U&t)AkbA Pɢp6 ƶU^Ys45Bdc^O5[Ulu* F;Oh,yJGIct&G`$fiZ~}(; P9oXmJf$<[ɲ$Hc3SKLUJʤ*^7JĮo{^c/ :;"6-= OR CDwR?tD,*#ʃ^NBGyrǝ^_wȔg% Ca{6yUd#p1GȈ,fE*|CG(t 5阴: xrr pjEeZP#آ 1h7%rnATk{]"~(wʓdau'Cp6-T^;Su>%ʭň:X_+zfL ͧ]܌ȬfBbg˖;\BZ"@8 +oP JK5j IrwLD(PqGEdÛ'AKvئBP+8D6뱜 3ꀱ}` `$ !qr ,ѾCcA tزm{0u֫$\o &`5DdK"  K~iq4[a0jXNg O%%=*-mˎl9緽=OoE,T#epJ؆֥^aNî4 6 `'kPP<eN:7϶]9O&gԗ[AmL%-&,^!oT4H]9_, Vn#_+ 0 |wyzl;۸ԘkΘ|ѰN&Ufڄ|S 7^-Kŏ%y=bUzFM$nƟܛj ;)R͚4+.S RV?\|z@(g쯡kNKmkaF\-.VQ_@ Zގ4C9_G69&n ApUoAWbL1\M'zI-v C(AB*Zڢ;*}A>40YPְi*Q!U j;څka$h4؏S!M.{?h<|Ӕ"xZw{a~m -U/R'g JLZ^rD)q_VQjr_N3fh[yKW|XZPd1 28bg_O7:?ֺ }Pg!@ߺw4x'V'/iGM>} \Qhkn9g'.Ds W;nIlZ7vd\4-$y [q(U/u^>m}=.[C>Y>ЯF K:˕z0}#y.,u0) dܙlC]ɃJ.p]zGᴜH;̈ô{ikpYܰ iE(VYGo"m_>X9ԃ7>_NPT-ݢ\.` 8:Ah8%.sq",hxz(bMKD{]N;&l|hI9X6v*~8:-!A~#VMD͖j:š1}(lVXK?EAݖŋQʓ$DX8Fc<1Uȸ8‘Y(TM5yIuQPO쾄Ie殏ܬM//]sfک_l #~A斪E}F/W%'4]VtI9GJ;hwm3?C9! R@.|ڲhf.jE|fٺY VX6}gy<᪠1?QWe,G[5y~KБzeSB@6iSNέ:ZCe]}yԢ%ũ}MA}&$)`ק؃4LWc3i lIP}QBqٹ=3h35MZHv{Уj[jՔHe:`Z:;Z\hxꚻ[ry_cȼ13`ñQ8J~ u & u~U˼7#Ѧu/a9X5Iey1'%UE=6NtvYK8^O/?'U]}֮W|jp*دԅGů"[$-5c$E#e@"+s]\ZkSDm -smlau .H)]$4 f9#$ # s.M@R%Fv| gG2|ݓ;C xBH&䡥O|shk˳À;)E5!9AOHS2x^3ɅbMZ{ NEre.7]s@0q`^olJF6iNHc+L+>dWC#tk1VNp6g3 b'l֦ u'+;( iQۡb,fk3AFl?̈́_8k*gkܭZ,i ]ʦ;&M -4#T0 vZ(Ƽ#Aq0X]6-> .sv$p.t$f&QF>5R `1S)#qs?E ;C4*L p|ф\gMĥh"L;<1\ %u2?cT j&}UIA#==wn|9U#™[4P"$2Uޑl4Pp_G_ d>!%zMs9NZP4R*&p1>F89}\A1];hT:* c.z"oFMZ kJ®:h?=NMLuEO!GxQBzr:Dm tq'8BBNlysMI|])9dd䥧gYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba52567e6021bb7b814ab9adfc5310b79af51ba1a473c 3791192f5692744166c252b916c12a5b93aa3743 043b4a54fd8dfacb08fead90377e0d61ca4eb34b