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 ?!\| ]]]HOL-Proofs:threads=4elapsed=397.940cpu=657.320gc=115.280factor=1.657zXZִF! K]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǣWe+Wri+j*[B`I𞫾^Upܲďp@<[hc߽Zj&Xm®YO11i^҆ = uÀ@- ۮSt%>(? h\ԭ_ײUrI\1j%#4VI M9lSUb] UOE6R"aG5qx Э!Ca HޫNJ l}i]Ii@ 9 yy1@G8c>RuJona#7QIP ?n!;dXXQc(4ݮ^xvE6 KoTV fbI RvNֵ!c ,$yB@N>8,CZԲU&Jw0 QƟ 6G7]+o)PÄKb?^9ʒO `}*`anna\~"3kES7&ޗ2U#4`M% 8>,E d'|k@1LnvHڜf! ]޳R>׈Aq3|]zN E`&t$Vq/ UI3Mwj]aAc b .oW/(IqW 4'V=j.ȋ!Bd]1{.-+i5%tHӜ/]4Z&v!)l_:IcS=/0Il! nBCtp]DW!PZo?@)޽`+%% <||C3խu&1IJ@`g"1c =à[,(lx%vH l4 GiKxjNv Z2* lnuQ;oE .G-X~׭7o^rsx*PtLs8tf{!ׄRQzയ_ :=-Œ n1ns&o.6#Tyq_1U6DZz^ ^)> 콐M DvOLHmHy%z=ijF>̌xMȘJp ;[JIt7;"깥u3uf1DlyG!)9]3Rra.Nʒ}|迟Ϸe$á3:_X.\ ?  ! HOL-Proofs  zƪ9w `ᨠw[&U˫Nˬp>3D!*=]!:C(Mp}Нaݗar*x~o¬P L`+$sO&ċp"CZdo8Zt@%4cFJe3a0n%wׄl`W+ϩ>"n_%ؾ~)YP't!$R:²uW.%93?આq@v^h֨,)ו<¥Ĺ{p̐dw97yV$ca蕘$9')D=Bhlh/8E3o*e9ill"n܏?-83 !Pmb{ /YSvEQ:z V$72 -R5ɁT+<yϹWQ\Frצ# +%dp%t"Le0SE= 0!9K*`ߦײ5Xk_^⋡8=-aVÍէR|{XlB%eQ{%!݊->RD^ lpm=o2רi B؍{=)p\guCO Q9hS:7?*Nud߄~VF~=ϊ j>x_m7eTDEQdH%4cչMLH Kk /pJH&|r2y)%WpG#ws:b2/%5pq4IuTw4LM5E/Nr<5"ώcsusC[ѹ<%蓢Ew s5ƈ3 .nkL+IԘN1 ugr\Z#lp,.:jnw_szAH&BMNNΠ;\FSͫ*1Ip"k|uzk& bRA@mҺM O!y耖(V#g3^f$5;Fma5| 7&'}ߨrcx^p3t>cUEUfUr*-/RT?;T VݎŸ{:T-i|P/VeJ39&z3\$n4 rCJ ~=I[L]2e^Ko-X]J7Y8("`Qp{%:Qm(DZб;v, lw%:o4:W݉0,A4]MFV9 螴_hd v1tw% [?Do j~CJ+u* .4#DHdw q;{Qg=IMlM*( C߷RRhDx62zTY!<菼 rqGouH \YPJ!>9"ϫ }0|hoʧ{j~!D(3I͓#dh~֥ﴑьAr,#tVqH:ywyc:64N Z$jIA<(8ȒpVy,[ʹ4H5mȨ#h S0+.{CQUiMTyw2l,9xɤx9C,% 'oz;Ήݳ ]2!& 5wyvfA'zy=M=#xK}3ۗZ;C*Y^!`>lc|i<8.JTQf3]MG4mKYYNj3[ TAtC|I3~>}`[s>˧&^ŧ P|'Bl)T;j.(%W:XbO] ;d'6^8*k!dY]YcgקC|}ص IQzv_ D8rP^c -H2_zPE"4δn *wX>H+.z{dwYަ {#A^tJ@/FDѰL9] =Uo;:L?fݸmV`@F?'r ~m\K z=tKbMݾpΪz$UNQG;D,e,JNOJ^1:bLEFǮԤBԩ6Oް%ˀu$ȵ ?I3W'0>[t!Yn揺ЩuҮYf#Ue&7| ޏs`^ -_dr;qvsSp?M{!jYdbez. okx%^(PJKl@NZ>Sy5u7YQ)o1S|R!T,CLm,V5N!gݔQ(2;Œ+įRS!fD~7J+)x\hHC=؏lS>E>&vCDx(A8EI/-ԑD-l`o^V<>lH]r#XXHxe fnUպvgаE]3O#᛼KI`ӕO2qU7ul%huؔ+aH&uՁEٗ-.=gYz>Qy_ ,G`2۫-)sbkYyA} В5Q֙O0}< }r"wPhJ6WgDn9C#\_sC |5}U xYFV۟姢TMQjNpjL!SJsxsj1kYQT)(K<|-bweu7g/gYZ7zXZִF! ]]ŗXiɟg_$N%Q KβQQM"0|"a5"xhum x<⛾8+8::jd䉓9t7Rr{W "j4;G {d;z/ @6М/<\FI,zcTD)[:99U40 |C6K 41Ys3呈A:`yP)h1ۜ[)Et|gEՎ$}A/X^e1~ݤR3<~'ϋ&g+?y"Vn S q,Gkv )7zռ3^;Gi#a+A;{8HgΡgw{1x"%wyu؉U=h]_f~7 +V{ɘV/Q.,Hy0qG/~;8!57ql';r;Ԝ"KMewF|3dI n P۠@ No\Qkhsv N&3#n9y.nI_:GCbԵ䣧^PV*Ak l I)1ѾU'ιL{1pu23<k]i?N/,eD@r:p{u\ aEto( U^^d#wWymj5)?=DͨL]ز֓\gDb"5\gY3>`IO鷦JҝoC 'G\HK\gFgNY׶Ԍh(h|c}lѧK+OGKMć TEOǢ?1'ؕeAGHB1^G x;!MDĘ 4ZkW5dҵ͌7Or5b= 7"ta 1 s7\@ָZq\RC_w6inJwݞwV%σښiݩTt 9mQCCeʪp?uT"6qsUU9\Zm{SsQS5"r^\ 2C+Eu+{㽃1, p ="2xkjScTWAѲx@=ewRF&՛=* QRڏn\07E` 4GX@jb1hn^Otex6^]!H\d: 6::4xEf7|E>"vCT0o\kW}j 52u5kDXQ (NԺ`Yaw/Y!_dw%w v})ы߸CeE^+v&߀XAvhǞB$%'Td{&8Z*IARpB«/M_+#A7hΡtD+ GC_ xfx>f FvYKCԶ<\合n[,U.\CK%<5vN-;xbY>w2H<☸_)1'E<(b .˔vxo!F=L<V@ R,Fy=kd+dGil|0 MWLTZ$Fn+~><L*rscCjUx%,C  UkLUZ2I<8.ubC25E6|^g◟.-)vN12\v**+nU4%~pθ\<றE4lX46 `(K8kJ}4,}frk.5bt=a2\8as*xY#Q>fv\w1Ka}(`V6*ˠ*jQ\P>QjTDcB 2[\Edt_e c ռ |:C]lCFbkԴ+~_Iȴ y.R '˧hdXh6jH$}o' QzHqJQ>{S~/JZȗ <`E_aﲱo?ޘMB:)5QiL᫮~[$Bx-`PEKTK9C̚Xh.`~>o'$MoQq [^N3[z52Xk 2eTx.|$KhtCKnvFU_w>V!@HBp\yStGy(ߖa>cKT牠PMqdCB q8j0ȷ5xɾ& @YJ3XnjKt9tUO~\5>U~QO2"q+\s3ZkzKeAžJ&uح5v%{/wE$";q+C.R) /v6p6WnD9PE0e}!jh*, I/I?f3\F F0"ϰU4L 퀴;}jU(/HaP#*'T𻼎ƐK}Cy$&vx9U{%}i..5Wˢssu$| K ry)Gt^ld+i*+ }fDbڣ~7-A ]`ZWXOMM:cmǾ$[ Oj`V߫(j-~bhzg-wH?LGؾ]Fbwaju>0Wj|X  <V^ٹNb>C€ ԤMdءxe?I[HSBٺ-lLUeUbn[r87o8iDPغ쳐|9=Z0/: ]x pM>?3&3M8sjq}=zщ`\nS9/Γ8)bPu$^ l`cQ?\G?44 7逘mQwD ̇Z-HF;AGjVSVC|Cيqp<TT 3,A@Z4.Du>aV0-p۝Rp^sqxJ\ wh+| 8b0ИWk|^61)=(â`Wۉછ%` [A=H4yey%,K\F{/ykei)kҼYuAS:L1ig [G((=+E 7gȢbql3n!ϳILZcm--WB؀*qd.剾tU'睖4}WCǯNr\)+XifQϸ8сsfZ((d^F?9҂vm+G,C ;}Zc_^@2,(cVNI0M#B\⍬?fdayD25Fm9 T"'DA9RG*E$:ZN_a|@E}@:ǀE)L)ϹRϦڊ=ope\h.p/TX|s3q a#:I*4MI o*,=']s:3Y-9$S`ܭoehh ;mM 4Aѱ Lf/1Aބ $fٔʒ╫޽u]aYkpbsCg H0 D?~|E8-  L*~+ҳ .">bWH?IgvNq~3^^r$C_&j͒oq}' %NZn^*KWI{/KφF~bD}ip6 7WDdL8'> ;\,.X )!ƮT9S֒rU)-aEPnc)3^sʣn>c ȩՀMF1+ʖ: UUmdh֝hYaSuM2t=j#$n1 peƏ9K39ލSS {c4) vt"4 ˋd9䜤 ]r-g4]!uYk'ܣ;dZ]BXs 4;6OLҟ!+7iG.g-6C"hc%ClE s<^P0}[x-E0$>Z㕛ms^ߥ-+[b83l[ {\= Wc5Uy8b^,WeS?b0 k8gs. gN%8ܙ{ChF>+&`fЫƛ",6g1%s>T!-85`*mO f03)(iDh)|!Y(l84E猢§0]Ci#|*Tt,o Q]֓&5YVu3Nܓ N I[GSFHIW]-lm%~R7ueY J~%Ni;oqd Pzf2&08NLᶰ;z50/8yq\lK_O˰ .حZد Pky{ ȿ.O"ql(.PU2Ty qn4^t ђepTNZ .4x`~|GYF*'tQ̅K7w-^8j2+7]kNlA4yWIe@7Mܵ8\YC";R@fJRC5xLۺ֓,[ہ)q@9CNEt?{D \2| B~B7$}#=uͲ~*PUa˚`kO 3a4P)OB:kw#:maZ L4 VqX8c#CBOڞ*Tpikb\NB$yTʸ+SceGuJ~Ӟ鮦\l{^tH,CةSH᝟R(5G[hjc힞-ʴS#@0Ψ+ lO#4rYTG c:B874,$r;G!c%~GH oo5꬚p}H񁥃ԐZu1g K N@=B΀UbIMHӺ5ZEw5yf hB,ЅkIYRPAP!%PcO{&E,"&fo m v=DZrK>wd{ z, IO1 dpNvN9$S^[i"*%;^c'DN IEmNAjC${39W:VR~OQxV5Zfg:ϯ{JH(@ ({ńo?˘9οCsյ&6-G5Ӟ6- 8dڣ+hAE%Ӂ"3|)VȽ}+ݑΝh ;z)5z}ޞ?&p\~k7IeSloAlxɁ4qhga:gubg/햃{O_)@8HexCwQC RaSTe?rm&07}\ٵ'h'DQրR0 (QyxMڝ`J#-%OАz3*[ꖨ0Um<`a& YwWNO{kgtoruq\ $aϏy:fp,seo BQ:q{uc-œƈZֺc4X9F_P6Ӄ+ g\@dN  e9y4nte .XK"u<Q́-Jz%=jM$F}X]s@r?"XEEɄzF ™"˸(__mtpD3TX!)"9ZmOj֒]YCawlJz斣%kpH'A$dt@C߇2K:7tf&gݥ^D+x4(Wc[CU-_eG+Sn)?kY/lڝ;Z B{ ȏbB|KxM]&MFXT( sK4.?ҰUK$xx엎 d.[WzNIu\.|(Z&Vxҵ8 s{iIkK^luu&pN}fT7!b[k4FsY&cVqF)OVH uxJU[I2N{|ϣ:c2}Q*52H* rdέش{&Z#LߟDUZ링RA,6FzYJ/ DnD/:IFIw:F q{ KToI>hc 4l:ahQ Ơ+ pi`̀WrX= r*a}7^lgEXh]]~[@uJ}N`D:%@h*#AS,X - \ @XxUk黓>ErN~. ,΢&#'rezA,3󲢌>:A> !oSᏈHE!=>Y t+Y/7|1z>į.tI&ˇ)nQ>~~;?_{(v;-UjiaTX5ڄpbpTϥY\3utW6xٛAJmbɫ>;%;,0O ዐ f@Q׀ jЪ-Q.f" Ltv˫׬l Q'i]Nɀ=Zb`pua5)kD` l4~*t%[M"[2EBzFƔ ϑ}RɈ\x3{ĕv"vgYDƺHp{ٜG*\dHe}#xW>e:ܦ>$%-Cٍ? "M_-ލ[ (Z扢\Sl?(gROŢ֨RWsLJjfXs t.y O+<8įrLϕ+t~zf#A 4WKE)~ڌUvJϹ%-mp!*&- +DFY/.YU5=JF4z"P;6'QKj)BmpKX̘0mZF7c܉u-{1V|yc{ wN.op]y^NO. 2lFW%UM!ktёu"(*\J԰{KF|Ӛ؛]k>+ ͭ!!Nq^,i?T#Kc2(Q Q]ͤttX$b56 *Gr+nBmKU38q}G (qaeT xHQ`˱[>dL }߫o%3\𫄳/>*RP%$_s-fZnB#Wsf?mlI[]zc"6'W(DʊZtbR\Jm;di?dL{{laHgL:L7i^W^dƱ1x*B?SH,@A }3kr[K%-`"zTR!EiEi[<[ڧ%:?mCƭch;WCHndnQwn A~JfU{ʽR)ef/ ͇B;ʒ$+cJ.u2EC|Mw5elFCnSG>7 Z9c p)ѽ2a^!$յfsC?2-z6gwJi5d-Av wQG<·RqCfܱsRxu辱V*'g2V*k)s!l=Y&KGp m㴫܀Il>(Qc*WvܡK?fԋPu5!53AB4A1yE<N=ix@ڧn3\vK $&pȘNblx 8 ! Ym-pXu䟘Hn -|abHdԿjCf=4+~ČG־A½E0 D҆3!V0ߜ |& ujѠw}3[!Vh&pHߎI&+*7H)mSqɹp !ZÐ}ʿ;s*$3jCr&tkZ^ː-c6 QR f5tieFrQ_;b"izEa.,XȎHqgwTuE/R)~\"|e!jk=$DQYc=f2f&}djRB/L7! [v0u!6NMi`,<)r/z /\?27q'.nD_ QS<[VphH%!WnR05)5` M!o ~T.lf8bBVk{b\x7ZzKjs',* C'U 8r 7z>{!])BaPs9$ ^S2: D  hG/_9 pzBO*KfF`ݑrg8G^j̺ژo?BKtϔys&7QE"K(+*)lRt(BfZ@dbrTyVE=]#:#,P*Ëfp? , 䋏g`-odڷ[('33HI{\i(|n)-(VR[q|a;چ)PS)evI:pL\ovٺz헫MYjomsxp$d" Hi֍AaK`w yH'59b :ir("cͱJ?6X;`$X؋"aֵimÖsE9')t׳Eo-O[Q[Ȓ۝u)t RKU {b1nInk)`VƎ-*螼ŹꕖK*H6 v؁osYN T=:}ύYj)Top(۞ 24ˌ-|qxgM{6[M4D7)k.A$yiy7QDa(VX]olV'x nыn\Uj%Om)[[_4FAR<A?uЗ1J|vv@Up%%"IXP%jwm7Gc@/FbV୔Rw(Dfh&ԙ+CE>[rL-ɳQV+VN_z*H1w3CɜrkԾ;6oϝ=2BM%25RтQ޽{4JJGU:Q8XgX_VI2@fRݔfC7hG9Qt|iQA#WR'-sVd ug.k &͍B,`x%BTȔ?(rzpVproAsZN`JaMd)]7bhN7XW6!*,[32\:b|xe,l5 k# x /JB!NrP9F`ԿU\E |3"bq8 s/K R@&z9FN輻2E Ok*)<oN)ʞx$_T*9? X=1q @5\jc?+Dqkm=)0|/?HJc]XW3)=Y`EwRb٦@t7 ^ Ht lʲ<ɉօ0n Su js$wSWoIKXVokOC}?HzH 9b~&q/3 B}A1ll_*h}@ |bUJK%8נr;Bq垤\$Mܷ.>ڳ+-i #,tkEzψlR#3/KAVF[qnׅV-ň%;d@O 6@ځGUVb&gp Vb&~^Hx{=@؆! ĜP:X"Ї(~g%(!g׿t$8+N Y]M@XezdK83Ձ9bڗ&e#[K0s.|sIq= cu9SHv%ƙ 6>U"G'!rW24Q*{?w!?;,A0su!xNzCђ4Ѡ4/W`)cUO!gbsbW߂|ZX7.EJI*r&Unm9Ruu Yfrba.EcEkx%̀N4aD}˱c5"f^ɐL64jqfɖA -PE eN@5lS-PD`3l t 5fFEy)&զٌ6f;Pc:| SF[X4g<d8gK2{c1(1&j=(Cq3X}hl8zt%)>} .NfCAwX bIpaL"i] gx0 q2#tOؗG<#ki|T^xMg<ZeF\_qE)iz@Qa]9]@y)RzD1P>׊9ތP# DMυRыMvYQ{Yh$[bc:Zq >l:egt5x ~6#XTg`H&HsL`p-+)xhi;vϺF;)y-w,c8PnZհ"#Mp#t,&ק8mA\ TŊFI`@%0y!aFC3 >xU=<Ҏᙵ1`AxHʴYXom)_s=BE ZXiݦg%9P=Dvth@AB2t*F9x 8M,#GIzJɺ%ַٖ76C!=sxs?]?1>E}e*pa<[&a +/Iʠ-v&zsezK*E’RXGwoܨj^odU^C=_-%sx >GͳQC/:L(^{ZG"sW;jG/nomsQԺW 9+nCl*WEF}e{U7a|OY`k1Qy=4ͤ+է/\8P^ϱ4#h{v &6 u Mw>ϲSFL&q_fyzmW'hs*3~[ˇa_(4rJSB|5fT[rY挵&f9GCOxion HqTۃ3.&4^OY5x=gukC7[bHIr IDI3\:F TLJHFZZ8$Vh H`|,/`|sTby~,{2YUтd֩<)QY#dZl,SEb[η%֭ek1hacpׯ24'<\z (,-/{i@ORxX5ڞ N.3^sMqCʙ472vd<P.-O7#r]Ma5(tFH2~jzR{?EY`Pl[YOݒn)ݶ̊T/]pd8)&DzfOJ@ch0CX3%j8КtyAzēey.%u70q/A'HnJ=st({*+ll? ӼpCw65зJ,~ P; 5;d@9,E\i)/4[Qd /w)_{;Y |'tOV'WB 8^B ayE$x͐ cHil)`=Xio;GdN|,V kzg6ԗ?zKru`?T0an+ Ɵsvg :Z>kN8h(˻$'Ǒ]:' 4@+V88pύL)vh06,V bq0~,VbPMuC_G% Xƹ2MtBh!+v"z,T_ &4Q-k`L#|t~;ޛ 5 ⁍)XMYK3,+fu7Xa#f6oe^9u)M7jJhNJHtFxXaTZ~SqW?}9|q`[W~12l$r~.MxY+& ̈Q9x_S`yB6ʏxmRY_R3jВa%ž5Trg jv @x v䷪ɸF5pUZ]$ŇJS-N1|n?. &z3mZEɘ*jG8 )yU|хHf|tѮ<|eB wo;IWّ넖GwٍERI5 |A!o^ab$ v2&ӓ(~~2*pcve+Nj87*&80v&,\=+@VVfŝYkwN%5$O%Dì4PmrL~׼S)J?)PnTPѮU_!pVx]VH KQlŌX'}c5v "ekբ}j 0ۛ3^,HF]mo"" ͯ -!/<PWk0W[KnBzh {c1I$4SsjB {^:%Q 1ptˎ\[\ҥoal~&|?-J,-"yCuxoŜ"7Ǥ2+,P,bXSidB4/7hoQ- ֡=#_k K1usBU揟vWж ^hs\'ɺZrKk?:3hhӲIHKLR=;Qn&_@OyouSAxqr v.od!pi<}wSTgv1L?dc+g0q(@zVEyw )34!:؃"BmrVs ?.RטyIT׶nv ȅ| [>hp/:d̔EdZLО Y+/`;m(gM͝Y@VSaYzqm!\`Ef)52Y/pCPuO 3f:с*J:x>]vFYhd ]T`"_w*L}PJKkY߾oJhj0,>G ?TaxN<^gT1AYy|.E\n:f{vu4_G8͝/Dyh(uQ8s9cBC*xādLjOo=<-E|/p#jϿN'μqAvnRB"w ?h LOoZ(HԾ Oؤ&1GdQdrk8ǃ7]ȁ>],$[ty!~J,=7~ 623=~R A$7SQ]l/s.ĠI^ݴ& F~bȮ6EbsnB>Yl;t3P ljP`]O(|`=؟ \qVprԦ%5h>ub»JGOhU*F9q js<#W /aO.?(3Z+A!߯f+Jk2O3,t<`-[gcp{/Mf=\/dWR&`_T赃7| >FJlHZ=wG>1XSjľ^gx&.ckf:<= EL:>{9QboƒOֈNR5fQr@8#G:ueJwD qAPZY:];Dd'R*'htyWᾘHRyl\Z.D86dyƭm dCa4:I~lɮr8m apu~X"$=V zz: ) n5Q_YLͤnjd~nrorxxUH  R{v(`QlsfT)W br uD!(5! L ^Ӹ$ PLfAXސudj7c\spϾڴlD-]ͶbЖnO0@$ktQd")getn*5CrGm;%٫߮١oyoFzuhI \}4ar fY50SUjgt&diۊܻD=L[nIE@U: E-,vM0;8'%xO}~o^=exnL/xXj.~=P %4w{`4`~?0s>pKX\J{R =ca%"J3:?}m}vzv`۰;5suk-"rpp83\^({Ç-q TY"E9~WeE15n,.,ZL$ |h n/`A8vC31Wx|7%3׺ כW.JĜ8<=L*t@\Ov/Yo`*ps)qkwkb-IlAƑjFq9.%q#r<>͡7-*IEGW~qkL!_SfZܵ\, ]44h T8(Q} ͒d[qeJ" 3[xi30HM~I:=u:pW^1`P*K֗46Q\mo J>xDUa9{ #rvo]y2HRZ\$Yiiˠ;&i<]RWset|MX*`ΤNkBzSau9gEuU'LK<=}Ic/r0K{xƶ΀ݳ\D@lsiFݠAc]C{(GAsL(S%R ZWb[3? U(܌]Po3벥,]r(?qUAOaϴaQ(9|Y;3 v}IwI-1l"3[?OId*,*wQ֌(ͱ5RZn2vԞ4y- ^O4rGAփCJl gI&^-mgW,4\+-VN 98ȅ/pj󸉴WS*ma(C?!Ro'Z.T1v ~Lv@%^nzz-Ȑ~K{ 3UFvp`&CȄ!D~@zgDvF냣MRQ-%;i?L.r(.#m 7'=Egc)e#='*:뚧AdG'h3҇Ě85/3Pb5y+X(4HwRlGC+Ero<Ƭ$5A<}|%观(<wK2gxj|\%CML'j#+Yܚ\LfI0VJ9~ B'e@H?*Qu EjEF3 0ZFP˦ʪF8E IhԄڅl~H7; 1 -i?rD]J76}kt[@ՄI/;GuxI#&'A wVdmͦ'u|HξUDz:)-rS3r'='qgD,Ed2"2ls0&d >)PV;V؅d|o{^o1th]Zf cHgW1^a>"fZ2 &vVkuD_?}Dԋ6svS-+6-a3fEB;g n*Qyv#'f2`%xk}̚o/&ӭ|#k%цpHud*പ6]f:D(GSTʦ"^:ͮ7(bAܛQ me8!])Tz3}x"\jɼ=qA=#ij.ԺaO2^> lYǘm2S䒯*r4I# _T`IO+.Af76 ClžE$e3lNαD FgYZ526a196a750520073a95086dbbf590e5304e73b05a3b6f7b3e61510e7fd7048ff8c15610e20e90db09d1b0b24e46acc831098f9cb0ca9d1ecbcb2d26