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 __}5,| ]S HOL-Nominal-Examples:threads=6elapsed=378.739cpu=1409.448gc=130.956factor=3.727zXZִF! Ѹ!]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=hSe,Q:qբ|7#-b}GdlP$8apFB l'e, NǽQ٠>Ib-D.vտ"GX$]rd]W砝D]y5w,9Ɵ^yfM"Yk5řx Iga6 oe9{wVdF3(P::IzZS2c\pͯǑ:gO[Ƥ;#Kt&Ȅʀwug7|X75j1|WW9Y/.m$n̏'y9ᜪ4.5τ3!N-ʮUdD`u&/)a@:ëxdrT [PIh5Gy|IWo@W I&si'Tew3-ЭNtAlpDӀ2T#~&L%TϏo.~@*=1 ui(Y!k!_ORv9nxeC [ԘMav!p$_}}}[$9Цfw%OQUFJ(M|}-'PFL̉7pʬt '9^Wf32{6;iy#T-Շͮ~^tۘYHݡ]HHqu$lȡ|yEG_qf OUhI?OyK(]J:Jb3mˋEjƄ~S .);ل=Vx8!hN M]J-)mT;{_j.1z fv;>妖疤\/FX5CF^ s; n!rzAE} .٥)?Dlx~:𻼡Cuٝc0~¨kh\9Mi~fa#';zMX 9QoqU[ƱO>Y^:#!emLdGG нQgֹܼ"vRۋ^j両R_ ~ȇ1{!a-f5dv _`Rs*NmlJ8g!ØܱN͙lL蠮aXYڐމ}2X9f~ZU6ް,x<6frx+fe4j~RT)n3u mLgv.ʳݟ:{2uPdNkݠ9Ř잛nV^ vY[AT.@ưrʏ!A"3:V@ɹg!8Ζ'|ř55%cۉ)RK۠zB.j[9+ rWK7H"L8:i̎VtLƴ]MkYˤ\SWm,ܩ |u;r,in]>?"rw+"2}r)$jܾZc$}CEiWB-[S9p[o]B>qKGa+(rM2,C_:i^Q`x=k#!Dyȅ2M׫><+"H@kyc}iS]髴K$nllVM7o!y/ < 5/w+jK y⹙Vjo3=)TѦ˻mV.k+#`ǠaV4YS A &2\_cM3(` 9}ʖsҼE+58A(x6 EMcHLZu¦]q;۝sz##J /*Q^\*XG`cVeAJ2`DMԯe˜ZZ3FII "Boݫמ9"Z\|IBA|n7XFC1rOUȰ]8 ܔ 5 HOL-Nominal-ExamplesX9QV"8%9eǬ"4/=Ǯ 4^^NkU2 W v"em5CuR[p:}n\ hќɛ JJ=˝0Ft8 фl ˰&`o䮂EPM;ir+P(JI#V^ f`?Jv!6n, Fff+P=%gJ(0mw5D9~wИcGR<{G;Sty'`Xm--% qm`P6vgGtdwC?SA;å"gr)[탉;@"Յl.HNOf8R- `?ĝ"*N\zBI^ ZιPNHAˣSG3JƟ5`Hצ>;*zobY ٲy*nl3CfcrbjCMA *18m*s|tQZD]dV`S x{ #0ȾuauRt "P%=KU3]q%QP\@W,:h]7FveĆg.@ARG>"% Ry IДtc[PE哚jP>t\ͫ*EɏKߙX7Tcw)X[|GWȮvw>w6q;<-b3W. iJv'e-}V*s7%6+iBJ}b(9PY#$\U< hk9DsF,~>y [nL㨞y]r_6`2?sz^*J9#>g|NV`Wg"DNݑӶɻw'cbfN\nC_}:fҞ)GQ*P79[}8c0_i!ʖcb(bNpꇠ,h8[ZE9H,ϨR&d.-v`I' ʘo69Aa/*m 2+7ҹ$'Ӥ1khH_bFF} r+U^3HL}&Uޛa hn`'1HˌդyM}Zߞ[xsq8[[I|j/.it$`37kDS24JfҨ{ ݝmId䢅S@y/*>jH9f$Y_;@,CASpܺm"[LOZK,'ݍ;ƉlƥbEDR: DLXmJRx9nc(3aii>]}^6XK!к<%ZQl4gm$f._"C6wstt\*wNNvҕ@O  $8*CroJ&"/?h^;"%k mhXt’vIAyt⓬s`fG5rGK.A^BξL2< /싎ʤ4[ nk8l?S<=SVߖ*#J>E֝Sؤ rCnfyMO^34#N fTkSm9)I"JgXgZD9؅_ۿX$ mL>7cW s xU |6<ĊtEdڢ L޺n4]uq4 q$ W0 cETleBJϦ@ ח5bN9.m?X A+_ aQDruHߑ%8=(?6@.9!טu?C?fG3;.$ 5KfN>6A0Q{|}¼{R P! },X=LqM\wbY6W}96Rm/$+Y?Lѥ>C;|N4 N| .u *2+2&SBw3^4~Z. kFa4!CC"D%7.BTʔEZ5M- "+^/tUW겛MYt4Y+WXe4Gw;1,GJs8}8 fWa'p~w :t#7.|6ش5X֛GN(tnG ΋ s6ɯq%5o&% qas?00`vl3i I 4ᑑwq1/*_kmuuZ(fa 9+t#"Kʝ(zx@܅yn(@р˭E)2~9yrH'AjV[dՋF͸kƤ#(8-? WU"|z!ljoV1HB)D,O]Y`QMR98ʈvk07_Ёf7G+h$;K&,@ 'J/\2slO4+723G4i}u!)}lgR4WvZD-{)0qs!xWwihRj{&ָ+VMl4P명շC Ȥ.}q!Pkmq/I s~*0+qdQdج./6^D@14f[+Mz`?d \}X`|\abYX,sE^>[I]\[-}yz/*Bj,8wRՉ6=Ab꼺}.*Fe&˕aUoiʆ=xE&>MYR}-g*D uDס5ʙ}^0'$%mňV8f1蚀hL9ت`RsoخeiudwJ"?pLk _1Gx>f~%)9Ҋ9#SuML*]rbFS<丐z Thpk/7y?(C#6ts[pXEV;|=A'`=}6h Xvl۸7l J-k>R L,n@6Oh.+CI,b`C{2"@Bw&Pʓ~Dr[}4ֲ*h۽SӗI+c:[* o<ʼV7%-qq!{>WJBrHMh\jk²Q<.Hm2r`5BS[.8^6!<* >@MX˵ 81a }IBEt D_#ywIb :k(6Ah5(5蒹Pg2Lp;(=*E՜ZtiIa([.W+51t"tM PPFc~2 7Y܍ )1VaJDMSHN8foBNkx#,ewPP%81 sۋo>{ޑ F1FK ÈM}NtiQQj=a*!%6bδIL5xT] r-sJm.hL4MUFnM\$W^bEUg3 8KNΰJ%Zw,f~/QuշbNc|n 59 BEdCsH5Tӥƨ`b QKr嶚wS=wێ epu^ʃK#.iYNFӠ"yg-=>^Urw=U ?ƇXNmܮ3NLV|A օ!J-tE taD"Z@ͤTfU]stzQlPu똧RKCpΒڕHd{hDiUyg ᾕ;Nn X)"R=;W'!ч-io5,C>zj]xdwԄ58$j/{6?:/Ӎ~2`_NKcl8 |}s7B&V|Yhӆқ@*\ _Wی)T/JВi~z3>>dLuKskD[W, JRoűV#W"ڰ .xz> Xr䨥ŧv] 3C@;5ǎB5S"kZ)0Z:5'(09mm^)B ]%l4V]79[U|r ) h4,)0[Z:yʶ})w k*#'ქoW]=u>tt2[zpY}h2P|.nLaX 1Vvm4t()̣cgJ#b}7d{ n3|p "90 0eYf6Q)98Nӡ sD4]un0CH0 l V*$N(1=(DQC?[P9A7=<ƣ|o( ӢCCh'̿Eހ6 B$8vkX*`򀨓a_vY< G|KRo$9Aع}){6VJ/uuݷ|f^6`=~GsbdA@\zz~r ؎=u>j>?*z 3m+v?"g,w=g 5Rq!QD-ZPG7nXY$%< .^|$ ӟ;iijS?˾12~ӏ2d_/5d4}⼨w]u|PMʀIgUC"gYZ7zXZִF! 楀X8]ŗXi%6s8aZ&+@D 57 zrx!y\=X[c' lZMgcК*G[[{%3^fU1D>ܶTȘ DEO~~i :k]G.zet>KC41S^F̚Ƨ+.Aq'L9JO_#̔ZEH',\\)V\PIcmڧ{)k&2@/h`lg_QJt̺CcN}2v/$-PW ;G@R2Q }G95rǃ OqONUًr1 ^Ed&Y?]t+]RC;Vu'A$N+Wj_mF ;`BsttW'&*O -n 1[]<. [r89DUj:SQZÄ??Q|' M9ƀK?˅o5$ͦ8,[CB85"+C&TwT-:Mgۥғ:#57 ܘuikߍ!@JaEdʻ6^ԋ!ME FHŅ>ٳ ٭7 :1@ZRߐՈE!8ĠnYRAPUӠ1K){eץhHЗ?}C[X2)#z<3,ᨦm B=pfZjO֢ш7U!# iM%ʭ.?0~!2!t&7;CӸ#Gj܎KѼi:;0Opu ]MQ<[>Et,{O@=(Ҹ 'OnMY_e6JPomǁ^]':U$J5 ~?ƙd^ӿ;*SDaYmА1Xh)"OAoVV-!ySp=1dplTK5DF=OwUVK6a kEkeH+ &yOcGmL QiK:)bohJV@Yj}tԞFFpG O}S0- 'ݛx^ծ=։V8Qz4"iyQ](ݰ[ (@L>n]*id'ƂYe*||%uo,+暱û ZJ#}R hMEVE:c%6,WhǙPA"rN:;Uч4(#wqOs/Z d&8R,DdJ2x-0͍k7{b_GcC\*)_=X]7"Bv䪥WFyag$~#f0*NVcfر)2z,o1oD" :!gGTkg+06pL6!6t(9 ZG%C'XcoveUᧂpw# E96)TQu05( @qtkxr |5.%ϫzJnvoLI_o$l=o_aakVJრm+ܝn{YGcye]lWzc1f)>3Wv=%5[a_J2!9f:3*-z5y)nя3ׯ/{,zP-&-H 8UI=*"'E$g s:/6Nx.n^KZMK}#Q]`2́ifŢ2<wA`|6PxT"WM-U##\?>&52fbs:mC %:V*\` +bwd^TkHgےĜfi1D !hn4a@EG5˿zI=8բ Y4о$3} @1:@KRo T#k̷J|ʂ큲*x\" o `X}DE/izDK[Ĵ DnXۋpښӑjE!D\&w@J49&-@B'PsFJTR6VP=MDbƒc>s㊗V.'#*'#x457qLm'i j¸<+{^dV~״ַM`3e0-QsǎI܃W) |]7eʗxYZ"k~`cjQDžvW! gPoH~߇? _٦⥚r^DS0=jZ?q @;'$8!ktgFŚ @ƾ"Jh%f؎rtk޲)590%^"T$$}xߕםDk/0bڀJqD߯ЍBD)yg֠:Ѯ-})Ư%n9A+7Z[j, Sh'͸N @5] $z`E[A+\x5tW5͉呬AuQbQ7!U96l"o u 7AD@Iwviv)o/_̞Zh "q!Ip>2+)GteRnZ/,*oDsgI4jF2f'Yrr&Yݻ)uZY^$f>Vr I .tK%iwx%x!6#.0$04}{}kՔk|_|>fg7'9G:#{r4ɡH (x>!cͱ?-jpAA 0&y YivS6N/.cy:f- lrVAY ՌB &UHcapwHDsc* h')G~CW!;EDLHn% ʲń&+q#3sAb?ͺT<4~dsL@SYsmr/p-V=,~v$뫐eOpJ#8e%BcܸP]p-%T>tFzCMJɏ fAvQ[)=O`+ẉϳC_F|*=;.I*8mĒDOSQtCƨ='䜧>G[59pw,ZD%[#n& roVdHm;nk-d;b>C9m%v ée p-KЁ;SC2/e8NMLp`_'H^MHѺy6.0I_fǸØ־ZYKu}J+i^Mu @d753[2a؜/3 sbo>*G4Nj+#ʚHYb (5}_Y)sg qżyT"j* N(Fg+qppݝjŤJJ"]uZnQύWņJ0QyG$想xrc!$q0]!{MҐ53{X5 랔_d 2, B"[9D{v1gSmUw{ $\!$\r".&#e`h$07N>1/ AC}fey_NxG(VWM&サ'+9J< VA'zJWZFWr#{jS0fbk@pGuѽ\[ǝ63`{1nxvtΓ͠Vg'ޮս4dY~'Yf? \ ?EPH˟&ЁXRaz$?bZf?gcB^'X1HhM^q$}ν ydDjfKA74/Lz;S{)"(wΏsan Nb >VJ6^c4Kg΍;yR2K(EAda8) 똚LxXȅw_N=vxr0/W\h0z{cV i "D-2vz ec)겉֞$G,u-_>*h#T>|0?tc&G6n)>**/gT1Mͱ:Y~ߠ0.BZk5ZC*}UfENUx @{HuHFͽ;M}ϿPP$ ~FbnV!eC]AD<180;cHߊ"x0.˧0p ЍVnf(&kEcE/;xӁL<(KU-)^1:&%ͪGvn1YL(rf>$"wYa-0rm21H؞غfpH ҂W%~|(v,MEqD\i.\M9Z:,>~e\*1dN.4Sw㑿q>3'n~? Ƽ|r"F)GPy GY=vƞ\"#7騄ZP";YB^N8"hnux >)l%@0.Y:;SN<HKL;%lE:lQy )Oo! %fE>,tp=8ZqFǨ/8VM! 2R9#*"5}὘d}!9t @;E?ΙJ,+ 8mP"t1>""jR;֎Z1 x?,j'q}I ؞+|FC\.g?ְMf+;7whƾ^Ε:W}>S @`jP.W&y dڨ k][O:;;J%3$(Yb"WZ[53HAue8?@nox&Gj~h J X]nB^W6ˡ^O񟻩 ./ CDsW/33GԷ u_oLFeDp׵sŷLx߲MeVOFD@ NQ)dKE„bK)jH&L7Mo[Bm;¼0x>8VBGBnmobiX3m \VPo>hұ7RisϺ8-(,(=Gg5f)asw `z"_tT> jSY'0nV| WyQX+xr)'.=?^&'!kRWjh"2 d ifPdL%fܿ0O0c!pәWqZ,jܵ%y3h-6 g9kWe4Pv}V:ؠ\Q@HDDz3"T{V}Ga_R^*[*eܬG"LlM׾ww}鈥a42[%:SA=b) k[֛9sٚY Hx {S܍; ٩^)I?DCx7eNV;>cV)'Xxێd%a GIoutҟe0P3:~4?Cwo\{jbxcLOvpP兾JB^gP0v쨥4A*x{H*1/֖W{FtvT-KPa"2&*Ւy.(eK;R rH9̅3Iȼ f(mT,fNm33ۻvP@VоCӡB'J\,yn `K.% -d5ء>}ƿeIuyKX_ bPxZ:,EmͬRƀ`D/ ]5h]ξ[&-x~é@ b izXM3;Q4Êu@UtWK䍂W1|/͠ >^ע#?n C[lHz?ڲ_;mb&٦!jأM 0{pm(0d - xdڪq hbC|NY,$EмەkM=7`CNKCٕ%̸iᇟ|5(< ,NC{SZ\_dH[܀@Yicg„ OqL5Ƒ`O'Ȣx0M>uuwg eՊ:CXOcP Lf[sõ㷽XMyZ@auJMcu1PbܫׯQ} wu7OwRӘBMkA`Sl˫yM//P'YB/}WHw׳ WsL&n+lSf H 5rR]C)Ml#х4?zw), idCbft]_Zj-e֥Oa?uF/r, ceV2^ҶL+Fcɷzt3hy֌`f6@ǁLn R9ҲAx{%TT7y {څ1*b?c(f^rV@}C,Ru;8zc T{~dXU_1@f 2j-3(1_S;)PZQ+cqZ E:ieaSF, b0ڡ'NI?˼PAW 8>N( ~ZFYlrY0&^os,B<.[j`yRf,[xMG:p+Y$V{9Rg*>zk~z~9e5FᷕmUSd:pGT<-3Mc`jr$Q S 8RX{bXv B;7.3j')7?%¯oz>C\[xW]k8{xBCFEuew4s7F'O}lmA 0=\'R2ռQ(R~CmIO?hCnNf-Vci/%& LڴcLm&8 }\<0nJv鍯d;* STuUiW782?ͬq_;u9ۚ+i(91Pbܟ,Iy@Υh=khc&. 8_Xo E/FE^ { 9|Ż5/Y x ^2йkIRQ7ؗKnfMpGZ3Ng*ÖJALf牙(bBkl@Ke<F-Då֦qEq'(l$"B FUd˖6tڡ/4]9d(R^T1xf iA9Q lͪ nݍyTeOVվGω"ͥV MBU]24+I9o3(Y.ɷTOENAH#U "ZHyIy W\DdNcJ;*Fh>jaՆ[gJZlDϠ[0ۄEhLLjۭ1 z| ];sA: tޮJI<3,io+V~*6_r-gR֐ {S(;PKCPxhHtN}iD_Mwdl1` !c2E̅z .$ay2׹,WŴDY~w*V!v {6-}ɡ;};%t- p a61,Tܵn둎p]ă|U:UJG#kPd$t/wc{;؜Qq_VgK|6'LR}FzdzZ% @ UyC P-w*M*gfЉarJn yʳʼycx$EI$'PGFwI쥡Bx&ұBUpHB < ^72I!){hUŕ/*`sk, jBBRqbP)$ ,Əv:={z&ןѴ 5|Q+'>knP2ގqPv^sa"PUj6͉3պb;ڟԈIhZ3V$x=%bU8BJeTS?;d?i| 4YQ;yLz?58P&R@gǼOZxQ_br|E\}3F6J^}(vR t^ׂ 5ڝ1`iw=8+p*ЗʻΣ~D+3*7ȶR?癃鯡5M'"Toybe_ߊY,|fݩ[6Fm9 @XC)=xS)W!ӚPl-OaobsE?ܙWY "&$c=i. =;r"FZ#IʬdN?XmY$#UAYE3}Smx*}XV+)Fd>BfG<^./L?b/瀈t5-X Ox#Ut>i!r޵YRk<մwu dX2b->'uڊ -W#!oοQkyeY룷Yպh8R=+QRu@81ylt0 \3,-y S:R>yTnfy9aT$л9]N> Rȍ VI~;_.(A$F"/k|Ӊ?Ț-)GN%ep<4 {ig=|-x9B>cTUDNHoZR?Bd''iU856Чm49w4Sx$C R w'Vv, <%|Xؾ_ʁP|_iW@Qr#FC!ke;HvR8#]"rK㕕P21+SᡲBβsjTP5z\_"^3\ < Hx>UO(oBlGq%Ob5"a#|*qtmY^c{~>W{w#66 X_s~Gfą*IB&qG` s#+\$k-=Acd+sDn:s.Ppw{DZ.W-nMgsꪍm.#G\2T0Lztmz w YW*)3Ǿd T]|jF:fNS#e PF LmY&!BpXayFJmZG>?::_2$ɩ*. i4tbjVepܶ\"p:nTU T֮ש pD| CLzֈ 3RJg)Y?JT~sCmc$pY2}XһLd1J.x~_*$-]^&DIĸ+*-7%b9`U>(Wxw(M>dϋ͡*:tbXaM=P1CUx^q7X HH2O@01:nHɨt? Ɔ27 ]>JgXM5PZGҿ&{HXaZZ:4 LRhǤZZdeAWxD{+Vʞ)Uؤ~٤⍰xLYA8 AÃrMx*jFC #rn$XͱZ%}v\Ġ%#@;8w 6kVKkElY)ztMiV'yIϩ^xN>FRJjUĴ[(MrQiLҖ2!$VAb1 m4]xCJN[&hÙښyFFҬ{}"` {9-j$ QW![lm{>0azꁤT|pXȹ?1L.6@kCha92s9߅g4Jwrn:fk9XG{WV[i~L-3-ɏ &Jqg@q(Yn}[u`牻$R62%O-#a,8OjM-hS:WfH+wpHt!zK.OsI٤#CsǹueSO|0#`1 UYC7W{e^Op+#$0=>ڲTf[PX EQFAyTz@_eZܬ%u>]wb| wUPDbQljfSa5{rIRDs)IXM%=16ۆ[qV.ڟ%[<:') \~i\果P~kU*Ւ41>,|/ VNq[ %fݷ2դ~a.%cxC`-nZPt~oe(NT 5Kd 'q1eΛB{,܈i=^U(q,_^_ut\*{n\+6*Edzm^eh9+XT1ęFLjs;wk0(q܊]7dK׍[ԀlwMm-ԼJZ2L9s'~ BZ>vd'nkBX^=(/ge"^MtIJN"'FiC&鋠✙ҎjW?fA Ʊ`Ԃ]&<D6 ;? y9-WC$Z`a7|2M*C4mmoJ]Ϊ9FDp`'8TT \_cvj"V0Ro~ď7yR vϴr`MHc$=9;)}5jcWs [q0b(0ߠɤ^@\SiSA _5e G}fOhv͊ujr\Phl'7r+K ;ԩ|;E@{b,37PD[yHWIC7$6Z3-q 5T|чV4LIHNѶ<+/׋N'¢NcCmO O;Gq &zwnzܚ'D

'hP]'{{ L9 &tA i=`V×яԻG(trM[ޠG8\B۲ 3E ד1Z$1y 6X*pSi&>cge6n-1!O~IOg?P_Y2.j|{Wiu|2s-G9ͼVQ{.vNI_kr F4Qި @E |l H7(H#lNE)ODe1z9jF@A.xkEC!lЧ:elBB82J`C,~FqCzc*l -op:lTۭOwgB; =LB 9#: >6N#*uWY Nyiġ"9$Vl5#H6a@ct+afi0o~.-HZ!"Sg_eIy#5t4/Ԃ#$%%v Q{VYlkrv^,^w= Mc\H GG#8_+be·m1ԥۀ9ۂ1SZVwO`xrWr)h3-bV:"E5YWDCnIJP3Fb**|=SMsxn+|mwF͉y^g ̧$B~n@e ?XϵpՁ9\ŨFzѮxw /![.N{1wWR~pܽ;)Gb ^(iT 1o{;T%R=J = ^ZˎA ByⰝT|i]zVIS.q`zȄuLأc*,̻(5*{w1/r2S{Ⱥg鐬; y0,wklja2b> ]mɧc򨄴klI),eB-qJė\׮̘I9FC>yýSW͍F'k< H >Wy".x=Pz3 |h(VDw`I9iPvL啺,٠ Qã0YsE_y+qT!7uCTRjge&5i[ ౭UN 좓 ʡN:M%kiJՇ@禈: Cb66?Z')FuGY1RBg⾕l)HXAlhQ ܻEB%)*y|ʂV,, >`9GEfa8ɻ\'K' tG^ܪz a4ӨˎmbUDq}A" LEbrT~`lmp!Bf]f ՉpcI%׸} &-Hok["9z52-{NcVLBx:'e#r}xƔaN6Gb'ܘ߾VÍ 7v9Z꼈D(Y߰[^Y ]Vl /˨6n-6u[0Ff)Oȥ#t ֺKgpz,hcf"MJF %[t})w,~_cS`aog.8 ޙ$?&x)SnMC $.h΍{OٜɇQ0֝S0Һ#[b$pt@U3|YDDU6X0аl@_+Qׯ I6ɆZJH& zIŽw\]Su}ܵ: 5sGծB4z35zΰ&)nl͞4% ߃!##(YOa!+<D ;cC+HWoӠbܷp쓢٘yf288<&zHny 愜B-Ss3͸vԛ@L̿MSX\+VGV0q G︘)T"-Im\  / Ln/K`7izcu}r"x` rR{mlѧЌ0lHٵL@xҦ p,O tIT8Z![`{L5ؿrP$#Wr47J%j䄗l@x%` 5%R3˰k7niqGCY,c .unң,sQP\ՄCm9~  \׬$%p:zzbL?(«Q%|5IjBԌa%5ծAΣyO-Y^;.90|Qp.Q&9OfLnS`pۭԛh-hXqaHM&'ޫOhռl΀?AtO7kҾlZ^3WU*q-@P=M'6fƇLULꑁп`V%iiW I*8nXs&E #Z?]`k.Iu;4$'IߴOR_TB;;mNhPW r8tKi-Vm=%f;vaA6SW##1uI 6#ݟ"{" 0lɑg q(U_FlUeTT9οIsg}[Il-0Dngy}=>FVĩi]м\Jp1\3wlӿ@\+^j KOq$95H?~6vv8n/0N<jb;*X~<}j;6kOHjvM\ء $nകb uY9w-i=95P.zHg8N"~zcy2"&ObU^ (|k<^1_e@"{ֱԑV"W0GV+2$7u(n1ԫW{QY/֯':qyJUwYq )Ѡs2Z1ۄR6ڳFHXg.&RʟZ(Aƻcy&_Rj08/ɺ\kp+TF O{> R4x;i2'iTL.IQ 5DzXwuk W0`bk+K^l|ٳ*=⸵gȀa;Wl۷_ev)dn]׏8Wb &NUFm3A#N3]λk8U׭7F 0BrÆG[U }SZ齠Z԰cױgYZ85514e786a07b180e2ba4ffd3823ccf8e41df3accb9068c52176507145e624acbeec2272a10e4f6a 87206ccabfeb1d393ed2571f867fc3906cc88dd1 fc60ea1877710c55efdbefd683bd6d53b3f57175 5d4ece6fd0c18f2ca96039c44582ca6932d18640