SQLite format 3@  .0:  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 00,K4\L ]%]Transition_Systems_and_Automata:threads=4elapsed=242.648cpu=878.208gc=65.972factor=3.627zXZִF! To]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{FySf]0surE#3fdG 닏b](WmjhBToXm89Qv N6ܮRq2eTD_kBjn1W:P_@@;!pq"=/gvW|2A~9Dȣ\2CpeLm߭]ؒGۂ5DR| 1?@x LI]s䮂 dόZ6TKǏ&&&!ݕݡ6Y6|Dklơ`(c"&}kT"s#fn_iYY)GW]9ɠ*˚vX!!1j MI ~鮐wnT5 {Ȓ9!pg9g,#R{gB ʥ*sFB_@5UE&R:p@"[ QΙC4WHsi0hO1C4_X]=P+ZEBeH9M@<|J1˞SZ6/fahPcN g*C=+mt4:崒dJ-&$+.RV'1q3=9WB m2u|`lեhnA0DͩM{+W0~Pl`E;n!Bn~!=z`5; ld9\eo θGdv${egX+4S?_eSSILa-d/<;T' E۲ih?D>(Jʛoe3- e>o4^GBp:>- \eu r qx<x3n Lw`gsXn8t3{Q!`fbg.5'o+wv-(kjkb>JReus-y Ķ~͉$J#PSt"e)hY`VaQթ8c1C)(o⦕h.6xys8`0a)9SC!cd]Pqeliƫ㐡a*YH/e(EV4<17J?az8US=cbQZYQ2T`9 aD46 f>+K(h?) JMABq D2VC-/<sy=3/CFh-Ydj;%0J :8jl~vX|sfՉ6~&4O!!/s~ucP(S?] -uFwGJfviBљ%$7c?S_ܽI Rg= XOĖvJ-y 0+4w*2a0d8Jֺ[btQ.f; c|ɧ"o[dg"0c ȍ-i.xŽ^YScwH@vqF{ g"w}/xrHs \!z] n}_r@7I -\bחNAxFk_5dCUj=ڍz-x74)Ԯ (LV[6m(C&_e /}ڝVۯ0a|zt]DE $Zq0Rg;cb'weE4Y2$pOlM1EнYl_#EԬPZOo:G$D&?C:ur2~$?M&Fv8Uh[ƻ^o@~ڌ:薗 )|UEJAUS0>SioY4/1F&_94Kf 3X J!'J+yx6c`,63U3\Kmgs"^ ]Ĭn(Tjuԕ bq l&_4V)o#.Pqa~ʏv؃2 6Η$:!:aN/fEL]P(f2OS.cĄݮmF█62BeR=msg1 !<ăr&q "K Transition_Systems_and_Automata aaKA+ $Transition_Systems_and_AutomataCAVA_Automata.Digraph_Implcode/export1.ML7zXZִF! ; ]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%M7Bp1{y ct4A I-dK*X_9=LJUH_Vv,NgVb~j+bb"/_6{ տ69N뼖7l]-cr X++hW<~t`0fr~Oor?iؘYɴ\n"_wmO{xQ֮ ~ohNtXr {VpΑzr9*P[1T?Yxj} e{ -gE{M:+7[et9xrp V,=#?TZM*]);wLnNK C2Pꜚt1:0;az͇7s\?u3x5O ۮ6u&9@bُaBjPz& tfB$IPki}b̑ٶ`97w^9ϼb(ЅG(krOHc?#0qkwRtܖfBGu}*Bz$7M5־>iՖ4(v=ڦͫ~ma"+qnGՕpSfBY:˼GU\(.K ^<.ӽ CDP4#7MJh?bLB$:V N%Q-|: M.ʫh%, _(=56V0| zVB;ڭ+iؤɈjG+<!sek9N.W2%WbzkJZ-z_JKk荤>F~h6_V>.C@.*U`+u'[ a49`pxBvE85 Tg[ur.VH$Lmq1Qo?轚(0@mC;ڷj0I#bqȤ]QC;بw"!E4 0ibD]gfrfXbպ| 7]PDA0+h!0;vb@(Npmkpaݴu i\=!OJ`]wm&7`t%#=&v㰎 b1A:YB">$a9آ{n։#rl|Kz#`T}AAٗXl: aFVݧg9Ęy VwZ kY Ź(gVSžSɀt օ]#I%—.KOX+;2~XE%kT :TOw}M)y͟Y({z/2B(NFfZD.k1cR PG1ۯ6*+d&ks~UK*$[`Wc\LV"8vin4/ +݇L.< يiٍ6oT L!Zy(5śhC 1Ɉl$nM\.a(CaAmM^TO_7Iߞxa|"ڢ7J(a*;fݥ_H=ϒ✸^FCGtO6[ut 1{ YvMM߱YkIKKbdސe+V ݚ3%]0#&*'r0嬍pcR|ʚ]4Yre>h=yu0B}$Gk?̡VB$أktUIG\9G=oRXH}ݽWac&1gS/DJ@b7erx{LJ 9bv)&ualׇ<#C}EM}Z\͔jRףQPF(˕+6 /W+~6mٯة?a˩;ߪ1TcmDEc@: !gUp,µ%Eك\Rƛc"qii6`Lbl>Z+pV4Se*X} Ub/HT;5gz9k*ݓE^%Hسޔ'#g^tx0/g)@:3窛3+zdnm$zZ  7ah:?|H,tс[Erη(9G!`=^gYZ7zXZִF! B]ŗXiɟ>P++ \D;?!W 2XFfH72LrT֚N8ec 5+E}Ysx+;:L6eH0ka!a"h{Eu 3M͋4Nu7S>{Œd VsE@ {ryZJ\:)8&Rѡ~+A S=EV |L;^4CjvalWs A${WM͟Ñ**We]2?Q[%׏q)}}ĞF9aB^֦sbmuT91 2.4 Вa" ͮت>;d!L`V@V!([sxs%dNf)V"}U.MbH=zq·Iw}QEP#+rrE.DeL˳Qt*x4#~'W.Q1* ?w<0amZ8wD]0n#={}'}+YJhG h3EzYΛT3N8 9] }ds봿$Z37: -m\ruƹ#|?ȝZџg!"{ݚ+̃E넲i ~)}nKto$5dXJ'gaEshl爏s`pYj}1sF۪1 .Ax=Fdi٪Q8N 5,;©1.hg ז86hGŽ9]&L_@|&Y!.\$}yv"УQEWK:LX#} qIoL3P8< ?aj]؝ RRw5ױ{[,v7]xS"LV&,۝/0HP_ uSAW얓y݃כ׿exeJxH3{P`4ܯg3sûhݵ٧Y>7jY[idK MV]acƯcN7H?5Hi.~Ԡ\ +I)P]54Gj=F.5Hg"QD}"K QD0taI%7^gFO i[> SEcJ)weG~eչ 0.G#=ŇRr\kjڊɰb?[ 9V [Fk~@;jT &6AQ'0,[ 9 U' e*@@Ƕߙ CrP{UpyP/ڜnQ<%"KO\Xɫ*X=j.|`=R'Qy8OLz4C_iC)~Һʶu0ł}F5C BTF@j~'ӉZʘs}$,giAsׁR. +e;#u?L_> 8a ɝgYZ7zXZִF! 8S]ŗXi%Gfxfr-){}xWcCk)&4/4}MG%i~ 3n$>V>ĸd L4F v\uD{43 $JG_N#{<#1>Is黯k_KCdod{^jNlɪŻWƩ͏羛PHd\i[sk~[Y;24?ZN 1˭CTVɊb-Ma6Hi,˽0A;KRLC%4R`3l[$̐k1a^Mm_?><[o喼~I籖>1lnm7)ԃu;Y=rv]32PTїwsx{ZapL@7#*T_([ XI!қ9 dO#R,+*[ŷLo^ 6Ǜqe쯱a`1f 7y]%i/sO联튳Ro1Rؼd3OŊG ׂCt֥ lt$\M[X .>G@=yAJ |C IYJbC&[cý!-Xfg\yȐ_>w Jf Oi=>yak՝$s![T cJ=;zkn[p1S?] OP:ReCj ǒ]),m Jn0;~(UUaMz碍V^(]%ɞD : @ ixv[eBrR(5L_P.#'.gk!G@1_(Q=: HxɁ\M0 qbGo[춶VaXĞgͅΏw~+% 9ǜE2XG#a-;yU'9 ԟF ;SU6Hƭ!b,棅\f !;%oJ$zc )*IavPA*B_zM2Hj-v ұe53};o2N߽EZҍOf}BlPAnXdu[w֧G;rI/ #C> ԍb&IUh. ǵ}]ob8bbf_o ԌE/Zt`0~uC3L6 Kbh4ЬstBohX5 a*jƾpG3sfzPS⻃-tZAy W7Uy.Mcs4Tz^}楠.7$VJ$aO͙R$'Li+S ]@#?Px*SW(2zǫ?M]3,˔dTV=Yz)Rx tJ .ޖ>O VT:XGlwڽTb]sѺ8s#I<&Ho܃ D@{vوmɴdk;]Fl7|.jm, '0h89zwPCO'.`0GK˞f^ ܈k].y_(]z ߆Ǭ4uMO]%E",ULKr&k2l|CLޫ*glj7ѿk`o „27yװ};f# u wq/2pӽ5pġ=<9իH(݂%fXWr?hFw ]^/=ƄpLnXyr3P&Po2>Hu!QQ8"skMJoNWo7N;(貱3 bD딍GCn.̳E D"?oe΃} 2< Ӭ )V?6ltmmYm\X1*VEWVO}`M] Ǟ%uv ɖzFLk\BVoA0 0y%L&-`+8(\|VɃ8p`7 %FfǶ/˾F)b(5|Ufk%_V5Qexy/`cS/991 I26LhhAliHoD+/q XǦb5fV2#c ^ ~S..rvWM[ +;wWeD#3F``XNץU=vg=1H>T`Si5'-y'*߻m$xu $` -eױBn:R5{sۤ?#׮i^LhɆ6)|bǬp+lP-6҇B%*/ ^ pX{vRbw!$ɥ˅elwTf;C{̡v-;oIɊqktVEaH&ng,ԓ#$.Jmrd"ڥnǒb_W oPG7(XIJ?88N!.kڀ#~xܵ=-6a1{rr;!4\FYo% 90)pn9D"BXW5.O• K"r=.ɛ5փRp-6!Z$ J U/N0*>뷠::)Z>yʍfC SX3w(yOʎ}_A\4.ǕO#.t X6%3Ē0)q.n Kg !ge_`Q(-6*9R)9 U(Hwu'C(GjoAzX$}cd%rz~[*&X=|lSkk\}<혉h`W}D;1rRچ 7)rĎu4rY;kٙՠOrꥬG2YOY~8;c,ݐ[%gWg3DP y)Sƹ*>}rbk]f`EXu%֫"\2:**lmIg[h$gCv+M/78AdOlvHߤAl҇Aǒ)wAοO\ܟ+6>WV")yOk ͙p0Ya/ 9;6]ju6zx0fnۑ*g-ǔH.3C9X[tF)T ^6eM}aMPD_WI4s< Z^|xZ96Ȭ|p݋+#To.W#3Gkje&(Cx*ܿ&XA@@)yQ'2w{Պç(S ZƲ7iȁ&;:^)wZ5Iuި0;.Kb ;N0/LG7עKK'?hQS=?M#=MDM@0n5dHV h)űwH,{MMlX(~=cƋ[DL<\0!GGu Pd;=Jg3;VXDG ykw;8v.z|! -+3= x.Q0J%aKsk5^ϝkEAxu?>ߚBh6;$w,uumes89Yb6d~bXNY+o,XZׂPY` uaj&B$CK9E4a5JReRL~NuN9)%-Ѱ&lP{w[%Xy32+oXעJ\YG -Tw&7[_θ9z%_nReunvs:0 uڿfL֗dM~~^f6$X&Aykfc@8$zgLӤ8]\QGAUgVث?Hbfm(^J=}`zH~o(b]IMk3 ki'\_[ uekt -V(8v iosy"lM7[%heG=_nTuW]uY%~ Ԁ-m^߶:aZL65oPcJ[B:8x)oi![+= fu=5iB^=Sq t+cnC{]nd>]15abRR @.9ئ̶g!@̊53bB買؈K䢪IFL.a@fd wkSGo ,RK|^Ll >1%J`3c3kxtSHB0u:Ty3hfr+\q]TUެm@',( %L:<p:tpG 0'eMms(ֻp;C ?r\uX}M#,j:눔.ۥֈ|NR?7lvB<9℆Bl*#>ti`PK8IeѸy«v ݌__YYoB)ehV;ύR ,G\XxZ$CJIԹ]0 X#5!J,.oh|` xQsɻAt5mLF%!;E% pgMd4\XU`phCYmX;o j$+]ޢ,wIyq@t!Q0:cQ@^r5K5`Ú&g7M10T}nJ7KgP9BJs324ꝴ rZ7I'Sg_&#n;$`P_`aћU jPD4SPe'bOYY~Rc3 J9JsbF|w}={$:rޣQX=[q?X +Yn /!a6ڔ}<%%r ,ѻO9TJ>1}Dpd/ ;?@h#PaBE v jL~R:\,](-{|8LzeUt ©T$:161ei(y,¯Z*3BgR7*vEB\CRedq~ _Ż }ǮN'TG8쒢qPblDdlSy%["°X`"܋_Wzc*~)>gbڞu{7#Y{{z\Q#Ϫݹ~"<3x2I?bII;M R6h b'V{RO07)=5`R){&}=s{X]uVVݱUZkn<;eǢAj(,/4A4%fI[e"0NJp^H}aal '؍ +W`en%/bOif,K+)rGv69JmP;2A% PzL`S4%ND F1/3/$/"gl.2X^Txe_K#|4\S$U݉,@Lm2FJԀlXuzo9Nyxs0(gcZ ra0?(Գ{/ ͜Lw 㵜#b+g2pU}OR,[`LZ&K,A>q=V^H\E PҾ*7țr [@R}NUt/qQ̓`vqNz/,^?$إ_c•+وtLTDOupqkn/H /JZtqQ>ݨ1wZk\j($=136[LvD^EɌAr/L ٵŪ\O {rZW mEM2Ax`̫5+Ʊ/\M-g %JO=^ ;D'ͽeOa͆ Py}NVP;P 9^^>ax'rJ7\ μIs2ݷRLc"qHhCW34Q'h(V;Jo7JG04Gdt ΩL_ ~(lmx7ĝrxVC4Ro)3|xzŎ'~XH{j 'k1kGA/f& +dz%\֞xBz|Oi3@uu^M)OVfwoN0*KJ ?ק msaTt@6b)9KGrOro 1 :G^pȬe@<l'6 SX"ohrd\,S*֢֫rw?˶eFg) E/Κ}J\r#(f6jN]A 9~Cs[>#p%1knfFI4ぜƅ>U+pd P2-l9½:Bӊku#?24=;qrz@/_iiȦtVX6s6}4_z閒ϱjY&3IϓT.4vH81Xfif+k3! lʁqţEֹjk#k9{cѮJjXj9'͌3=pK jA-O11訦eL=CAJ j.#H]hW.mbK^-f }w;CAp-]\tm< {b%ah$w-QHMHsR!E1$ ? Pz;xؗDZhcIxTV MxJLxKe #(L^O Uh J z& h&Rs?U7KJ?tѰC=V55K*2`ԯu(vqt)pMQ׻Bj/Gbj<ҹ>y_^8Q>Ʌ2RPH)G7c߿Uݔr=u>3,e2, ^s>9QV[/??1*I6P%qrtANn0\rE&P.t9xeh1X(|Sp,*PfWʰXi\_Jh 3?krb%h ByHBr!LA7unٙX&>0љM!7M_5^'ǽcAn4b,RW) D,-霺R;-KR!VLK|Q#hu[Ŕir}9R-^<'Jb8 B~J[h{Pl)RA> AccM5sݾJVwFr;?ROv"elFvz-ϝ;VpYB_6SyAܨ?kˆU!%TyR6'meq/g0Zu^iHE4 o4Fz{G;hp*inPiڟ#D86K`;Lc]R2龙Fq!-@l.t9[|Y>(Xn#q2=JjZJY>õF'HXm=pA~B^⼩$ ]Jw5< { |TTUwzyޓ=-~WSK AR(Yz]OpA]=*E[{VQ.L:+yLT6ߔRgo*AdD̤pɞ?,\8**;ڇZҽKNmuْ1G< 1Pu\Hu|l+^(DŽcrp؏s)e&C:s (R*EV1|=i)~ ar޿ɯL# A`qP_k5ŃY%\kdgǛF{[$p4E)*%>l} X'!CF?i͋M&H '1 O u]$! Þg&f l<5Mٳ"%v?JZRrA)1޴">Q9Gmf>r& `Qj?ҽ`v_lPq㼲~dtb@wx^u5cJ}2|ft B ]+d"E|( p<- &^$WAz7B}62*x_Xhs; p$_7Z&Gev6 (9p`p6[T+,?_P*`iVwxZkǠ33kt 9u `x~ULj8JvDu5P*#fiv|G3(ͭ`(2w)xul0h+½n%ܣ7Kk9!0' eM(iI \ lsD)H.Ds?:MkE}B`%'lxDV;hOo0=U)q_Dmfiz>S8%aBe3d٠0`;isrCmpcyZa!곎]s˲-F]^LjV\exp dc58Fk$>(i!`ݷ?+θ%b+Zx I$V0 jPHObދ% Gockv~QV_gP'f#3G? F? `>-xj@V~\&}nEj> zNf btZ|+۽ׁ5k-ZX[ ߐe`TؕtzB?_6;)VXF+&?+KE} ( i"6(00-˟9oBvAOlF2cObL`u%iQVP c/Z rRNH]Xjt 0@%H% loA=F:6WGwc듂36tr 7HޓǙtը: XHH\ б|_`[A(06"#Mߑ!B|ZMmCC=^Vߤ(q[{fiנV bҳNL>BCB$҅)u"01ʚuYSFߺQXJdz/3V +'-XmWYbOdɶz[bGyPlÈk\jr٥O3ݹ@dW9L(QF(z< xx"-ku hUyv>'X~ =]^uu&nJϸq~ڸ~]n?9"؁T%vX鸥,d8f`hjϜi:\P89w`-J^;D;k'ƕ Zpg^zE#7 4 YkU𛖎g7,pںERiGѾJbpY;wNӹ0SHh\m3"d߶]-ZC0?;TLrg57Gη֏+|Mʫ lܷn be.Kd3a|KWP/   {ێ F^en!z:zѨi%Ws@=a\;_0b@?T!?1uiqQ`8ə|k! @MUf=y̳4>J۟ĖNk.陟b ڠI3eUc]Sf^?1,}b.`k4OBpMa!GhC -tV'M8%gGEc!rЌMz*CyWrnS՟<Co]V Ͽ#df?+y=oʞ a2(p|zpDЗHSy.=)8_ FJG!6R=uL*ۣsҙ 5z=F:ED)YoW,9>WvC7Ua:xo&n ibQMLvxဩ쮎NޥH8YJn;&Rp# B~${c{^hn Yhnt}6`h!%nkL8ʇK_WM'J׵S876||m|H$( v!(FssuY fӍbkp5jOKJA#' o㥩Gz ;~W әIv5,ܕ Hφk FnõTYw sF>j½+i4(SޘvCY@T%b1su416k8, ?Ǟmgf)o2`UPoOM el]ЦЍ҇iG6DT+GC%-%|@%}Rm ӁY@Mi >I=2֚|hO+uU8(?$l/ `=\;#!OE8S  r,r7dC֏?=M]^ 1ܕ9Rg~:nGY6ho0SJsw+4nc|YU'G90M/nkNN@[b0yfaV)usf7&cbXwNap?Ѐ`>*RQdžܓջMݤhUMR۹Ut?;mRsC^Zg='"bWW&nUauwtjAqzH] x(T)N E#j7iM5J H zP|N|\pDTx.nprr wc?WJf #eQy+DFV5h1)<[`ۛ2uXp&ѫbvy-}~uNgW`T,z;<卆Uq-vO R 1'|1+w *Z5\*WSA5CRouGd鳗G=i㑅)[bˁ-9W|Q%ȝߺcH1cTQ|j%Y{ ԝJ=D!ѫEP&FX@HA" N -lW-v-',[?D(iBk MZS@YÝꔅIJ(6토g*^_|S'2{l<;&'PyWYZ'NybZgFd"BMaY^k'i`1Rjz6&bʡBʧQ#W3|RB]UVD^A :q;Oaj C1'q~Z1'!:]lGԭ5}W)DבnSm~Gx4ŭqhj nHsM_"z fPp wI+EOP>=L)DQHTF@'(CC32uRO%`'C&-k~a:tcUf fʠ1W_UɆ&g:oQ˔$GH=0ۤm "\?en! Ӌ˳yyØiVz^[lKwsT$d=s|%-OMdflf옼P6*SAZNor\˾5]xɬ2%q15۞}B"d^]@M5_&ڎͼ#CKfeH-W6Ypl2&o1J 6Q9~ciUPClq1os?#}b'gC@øXOmqU:,O p\(>Pllj%CSܴ3K%X(`ǖ@=.ɈꘊoR*&3؂qQwS? i ='CdSU xv#e/JVw ku1ޭT97' C69`G1^y^ w~.9y4>[v7m)z-Хꦁ~5K /ٞJafC6,Cr+NųD 32_-_`Ȃ+Y؁hLSDcHWWz87 Sl}nr286Kgd+>J3t\Ͷvar(#"Q8iT֓rum X`ihu7*HhdZOv=rv.bcN"n|T50:?}n¹YW<*?Q_jsAVċ'(e˨W^eӮ ['hPPd qtQ"(xGk>7;S:&hZߚ4j|"Ab'6p똧K맘;bL{yeb\"0Udvx*ҿ.p͕^CMḱ P~qf2hz/\MffN~VYz&⠖d(A_.}gu[ڗ]INnL&ٽ oB;(o@/ģybGI8SY\ ˏ,+Y ݆mUG!WV|LA~zd=xS 3ҭWb&Ym2uVnyYzڈ@(vh)Z 8;fEXl9ͥZaw,U=A !'ˇC<4 Op,rZJZNqMnqJApS]v,{"}HOv$474o-j&*y+9\< 8'k ;*8Ellt>s&>-nhZ_7雹^aL(-Rfrم)S% ϘI&.+%e訸I09}{Uv`@M34ME' AZUۘpfکrڨ4h;x&Hr)HECJgAe8 ێI\Ӂ;2ɶ%MgAOY4jo77)U&sԛZ[^ C'dChWW&bs|cY捁p~ަ;&bå cH-$&xkNWDu1c 9TLؾ`^owIӯ '^bJY2o9*ԏp{lsg$R{{ mWLn󡤡S:"n*W҆ߛߊ|eV08PgU)|=ő>᧕((4@W_]鮎)pe>1-M?2l 4Cc;":0Ғq e >Xo;!>#[RĔ^~(+v3LRpR{-NԨ[)qM1Eh#TTSM|4+NxG39 Tɶ9CVj6"|!RB]xE5b]y!f7v6$}9)9NNV@2e1}I"+" -k8;;S zה9om0öX/tӂSɲ9p}Ą3kX3#ېA Bzu^.PR_l dng++eT z%K eGd_˫Jmnx}[9X+0U'QI=)k6A9% LC_NpU)K>[yt)NhFc"U<'^#08Dߎ+狼;2Z ZN@|c]ꖷΑ $#suI90WK*X ֆhKr9c H@*1K 2Xǎ/~X١Oi&F*.d>S;42 Ͻ513TLfyn׃PuuU %~+N٫TE^ա[|˜όUj P+jߊ$C}PqҢH1IEդQȂ _%ިz[^|q$%'V@c.*u(Lx6n#+r?\zOH#s J{r k&,&2"7/5(ÔP"RáCiFnǢ3xԭ|P47R6WCV9]rXיWMa`^ h:O' Ѷ쿶 ~Z+&5ګm@Z$1C|TP4}.m5?Ԃs1X_h?F5tK$2` -e#ʷ_\wV̎BUPÀP%'+`o|7f I^Sf,cE؟JB6e+# ֜mL{6Z\5tK, i-tȑ^VWB$)}XVhE^a gYZ96d4c4504071f62c66d7b74258c145feafc713c41795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b b15095bc975f1db30190f9987ecdc07992115d11 2573ec8a11e13efc9effdb7faf84c87b54d36a0e e75e4b6f2f0354fddd10bf7070028f51b150c3a25f1a630613ab7b4ab9c2f9c74f1ff9dec777f7b6