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 $1tl4, ]/ Finite_Automata_HF:threads=4elapsed=15.716cpu=46.300gc=1.4927zXZִF! no]ŗXiɟH)0%os@,rfGvLXy"W'nzzXS~::?XnrAyuw4XB3 bՂ!CCi*r҇XkM4x5 D)Mg[AOHޠi΁˱{"+=u.ڶ;^\'E9vw"!ۏn[?p>KT禮4~ʪ<6ZSXYs"]Ռ9!&9-, A~~ovgZ<0.P˄EWڼ_IIuK2;|TI " ቡ8C=wjPi" }+y`Q3|ܑ):ǖ!MuWlHoͣщɲ{Tb2S$5|lE9=4hJyfbZ;.t)u_Hp܆ى8dG83W=ݟDЖHPI/:%g^% I%iat* @Q޺xʏcձVv&)ٸyLb+ETcb@B$Ke2zv5[`MϦt 9**p!NYS)tZRJqT!u8sՅ؋/X#Wba9T2<؛Aƍd ^OZٰCt>h Vģi=~g{@UE@e8ac7Ig7es̛R*(BbI,K#2}Iċe/f`qc͵oU^-H2ܞ 9.Ow: }Uy!,,`BdSH(8|14T', IIRJHR"Dɐ+ŷD Ӧb  FXY lOL&W T Xњi&ĉ ؆  7Gӧ]]OV@Sb=-'_hv4 Շil\Jc9g1tg-Zb9*,g&I :|zn3y٘.Zmni;(oK;rS(lg7 M RSH&(q涌_0Lט{C>gsL8 @ًpuwXa}5@yHE `ZI4/qh<@g[,2ؿ,?Z%ZÐU,X'2W9n%n Sv61 (^Lx *7`U2S r6fqiW"G{NƆ-:YFSYnqf!SBl$'7v*%=w)f'B~KCJf|Xq 4vжUG>]ʙG[4;(z@~CV n;ne/4[{ /JY.nBK!ibvbP<mS}+ta(G 7aV!# r ?T/MHӵ D9fR&&ghf ر s8 F\2( O&\ak OL5IB/΄mOKL6j}k@eQ3byyɡ+S'S$&pfo?_68Y`އchjə{97jU^R+vޅ.ܲyexϼsҎ u4OJ4YhǏ_S:+v6}##m3j?28_d6uiŸvcZ `ZS+<ή_hj=l@w'Fh)IJi$<~v|~rUܨ< x:tsT^֏O%Q`9 b_I k']Qb)WQcZ'',H9za̫rM27 Cm_H.EW,8%58LJ% ȍ쩟xHtTzdW}W MtS&Kb E!V_ApDe G&S B-Tqoظ s#tǨD| C!hZcLcv`kH/[}I#qmD?6npxۓcu$7/q¯X:#3c6@|R{ %Bb#O7b8Yܷ]e0]1\|a x']x17|([ۍn0n9 r 0_Dcdک-'LG&3ܹUVK9kb_k (nMU*#@}!rb?O#6@>{h)"c?]%VeB[f=tED/bҊq)'[/䘶Trm{ekXdccI'~9xx[ si7"$(F?)鼮y9Ox>fG=d\eвZp. ^+QcTw[uNͶАHBc*%!VXvMK $N)fo LA8'+)#Dըs@" kiFRUa9գ $p2UƸvyZ`9 f&o"5HF6@!Q!:0LUqz1Т0U eocK]>-#(.D{}\$ɰ8먋 9[ G "]*Ĉ^*GcoI#_m?r'S$\udfZ~osv|L°s9LY˽Ue4gw'sӔ^yud{C?֞K*^(a`f.҇58 Ƨ^9% EGg*އ nvkv/=Ʊ^)A!`, F{s?"O+2jcUe"֠Ybs@Z\9;eMKzGj2~bT렸iQv ]g[|ɝwr?!IʥFF[CVF0JY7OQk觵g1p[Yr=l>|p#}e&ɕ[;jI1ˆlٓT5ש_ڰprN$uj*KutϜUؓTs$lMM!%?>z>w_!q?2]HL1e#]^m :|Gؽ wM|k^{ZGauȬJf/ZUz/W<.^{h+[#PO^n +]}!0*9×;ը|wnWac<" *\|4' 0p//A`nf?ДP.3iDmfdxZˏz{^/i7_Wo)ehMX0ŀ`3]mQp A!yVs<>؞k MV3oݯ:aצh"8ChAO.}74P+9R'aq0렭"+%8$%zV:5 G,DFr$[SyX쿙/V!饾!]{KkA@ B5ϾqJK6_\oYDbY +˞cԶȇ^`hJ').NJo,i<]/ f:!$!nnp!7[Mw@DLaK`&ǸVxImx<"<|-AVrlﶦh~B&|:;VƐ Ihzׄz%[2ksDf;XFHp>tΙn% ^H/, UApv{h8r7D(-2[Og'ɗ߰j'YT1j*ͥgq3`~س6ೄ$g/~:܉U&$LJuh]W %[:*Xv8Xa9ZrB{Ϊ&k pz}چDJ{E¿ iYF)ߊtfkm2.74|Fo7#xCX1 Xf by^q`lħ[hVt̼.O"`m[ӚP9%ƝvPGw瑃2n|4ī?3 }MoG[d8f){kz%([31"tĪ=ߕ51 r \PC$=s֙k dNZ1W8T~/JX31> 'hLUn-72w$sCKw Paok(tl a*`L}}fA䐗m#O)BޘF~MOp]1i\ꏆg#UJ Km/q*,xk!|]&4v!fcHT x6* CM)F \pAW2!q:{{D'Ȳe7IpRbjMgh*=jfzqav6$aVjOm mT/ɏ9Uܼ;~]Hm8Z6lO>:#qsGnwN6u%H`ێ;f#漶~CO` IQz')1i$V`a& ) (Tax~!9.w1uu@p KNᘶ5t) Xo]&/V悭 dʟUu5vD9JV\|T(@x&'yAfQ nxd$Ҍh nָByׂ ڧz ~#H-UJ1o`1{;WG=?\#&E&Ngg|l 9]xrXPRS:D+?lQwˇʄxߚ.ćqdfr/39 )Vdo9' Tt<~ӑj=F[5:mh˗^ ]r a`vw(2NOhZ<Bhn9zNfv[l9GhSg\=ohW̞6cb]̭]E !\G֒噏t$,51vpӑrv[ʝ]_KXS"B$`y*T`:<:EgmТ‰ <?h+R#6HaB~DGJuRIӺ.+?2eQ+(܊qI̹iU^Et֢Ư8y2{E8YK@I\"dL `ᣓ$T_zmŸ5y?'0--r8r(qWOBdnAІɵ;z ^(F9ucÛ)' ̏` $3T%AĉƏ1%(7\.kH70M|v᰸qluLIXHCWU#2YoTA3~nC$ZUtݹDsX*RÎZ0*IaZ7$%(= ޼Lu۝>'eFsk Cbwcfs"ɺ0PytpBEm9YzMf`ߎ /UՉ7U9ӳsaia /ܫ<[)3 7 5 ^VmfM*j퓄(ƝO/8Ck/Wz𫞲zg~P"F y䪏+=9ux ݱnN@ba P}?Gg~SBqS^cWH\Yl| ) O׎m#g:gj$& Ig+y{m̅Ee֪RK >{bh<1u"KV݉3 Yw{;:kyxWX3_>Ol]̣J *GS9V,ԱSLPf UoFhhKe~rb"Lr~ Pj (,SXsYG&9 p^X$b,F4 @B}+Rqky_a/3֜RZF}k+NpF#zG2aNt^R'Y>ZC:?7[[J o_6N_7\a&IlS!Ԓ0X66KrhK);5>(G_^R䖘rÊ厃p6Dztjbל(-mJ:$IMP2Lʊ]C`= t 3v/v%83 ?\C+͝<͹.tMh+P<1܋j?nOUkߖX<{ghTYPGbnR Gzog9kLlfş{m<٩sZ7֚|;h*;}gQ!hx4gQ7._ߗX51ɺL]ѱa/yQ0@WԎk 5[cW< pF8.tDI=/ )shj;eWe[-'`O4!I CJD 1~J\+D $96lH;> oq(&?JUZxֶFYί" gm`Wۂc3Ļ4FJ- .\蒁[ v`RBTl:N&܂ot"2($]LI<0QT` }L~8%!3D`ıɸ38tPF<v:=2ïBMkv9H>R}]Sx{"+W,7{Z7 94wC VF8hxႜyd)EXƠN/p =m{? Zꅏ)D"%pVͅĩ+@/߅&jo\nʲ @ʳK:ɯPH 7 esb-ϊG&U]o);}UF⯥dsP`'!'$GH%B.e$\nvp _u0ܧs^CtxgϹ 2ĒZäJM26pQ2ORbŘdRKeb'~/u&vse{~RL݈(;'x| rV6#x-=QOCA~-d+CiE~ F'oԈc/XT* XhYIjOulŘVkszc~4V'6eiNSԗJu-&iNV> (I e}gU-(W5*EАӚU^aX^$b:5hPo!Cx-oSM| ͚zC%Ͽu@0*~R 90٩F^VF݃A|ڎBpkjHKY?oSjY*<׋3n f_y>3yx^`8.Qk)\ LWҩ%fyV(JJq{y13FeUį|}v"&7_ 1d(xJm^PS<"mT(Ucu?R zjѝ-٬-Ix@>+dDҌt1R?L9Ka&R2X 1"uޗɣ| o(~F& wA!n-4ĜPN 7סF6Fk׽Qi?A\ @^ZEG,WV%ytM+īSœ? 3 Eϳ4ŵYuh"H=B^L~cwJX7bvUl|UG$."< {KD!HZ"T2al;4O6}z[}DrD|S ?G fo6GB=@)#tmۦz˴0Ыfj[.{8D]?/vySV@b,@s(?S4`'00R u5!MkgA]$xʄ]jq]~lM$N 1 Nшn3l+',gvLUXV)V6:!!wMNg[g y ~\?h V^1BcGwz,w6?"m 5vIScr=s&ǯ4y%70pl"t\¹/\Wsdp ijq`l1N=5ި*rzKuYӎ` rHA@ I,GԐĂ8/>Mb66ݚkW0߫K0PJBO+_|saF7m0R΅~hQbHӲts[,@[R`NӦlP@* D!KuBMq)bKnE[@lIlB$;M'G?v¾\dKA/ Ӑ@]{?FR?DK* ;[s3ZC7~,f:L Y)^9Ay`;[ tญUa sE?$@h>-vq~J_s!c-|`/]Y֑aՋ-NZjZ 8ZÕD̘Zd jjCl%_+u[Cjrz78c*rH W_i1VM> djB46r ]V=IBY~ܣU/ٓ=ZC`KyTu36\EҪZ̞bޒry[ӭ7- C`IY߼#@MeBv_`D\|]΁;)8KIE*4p|8i/.Dڹ.ܚ|,9&cYrx6i^rFV=XE=*B$BC(?*sP6X=\5(5b8UL+v 1s^5vLC]ӉgrދXA. .U|yk$ ^{O#G H#1[q+՞V ] Gk Q~pL0f4Wj"2KCR5&LMF&N8fNR_@U1:C(xBW/Um6!UL$bs;3i֡OߓO5y9o!y3#EX})5pA `%5g?Rllu OV1ifKbE@ , k@Z#D5ּ#8qW&a~W9❺B]#L U˳ kbPmWBxT k`4jFܬ~V }lb58MM?|=qF%֔j[Cv3܊KT\yn}OqJi$2ϡl8ZjcjMNk^jNfex6WvVtƹ1iQoc+! w8<اdוPmGgM@\&e Y?g "us;k,m؄|@?^7/ .MYվߍOlN~8Qij[՜J}%ggT`[ ѧxtYPhũ5=t͈6Eڰr{9\r*e!r7#@g,N hfz%{^y X"5@5V7@~.9׮'+a%o|#r C]YZQ#8+cU7\Hތs_L}7٩*ʋMBq?k>-$P,eHJ}Ə:#6될լ5ɴ?*~gM/ s换7tbE,=D'IT_mFB!Da<@.Čc4u@{e{2$#c~#D~Lx aX[_2GM@ѸUST4AΛ$ye._J;!dWsb^ ]Wtl?^V(݈'>\Ev4&8!~ǓXfÚHW%.>Mb x}_&4(Xv74sKc^_ \:[? cÙ21P| )x 64;$"5]CJ1|%OZ`[aH􂵏a6N(y㣉 3~yН&13$z8J '0^QmxyӬg3vC=@R5*>M"nआbDG|P6PMP>%Y>ŽS y d0l_,jWʢXhHS[ }vaF&/IWJWSHz`6JۇT$KP!?խWu8hYfY je!uJ̷|ٝE~cFMUr2P%ݷ;584u%_©طjK*|{0g'\3e/X%֍]qn}RUC`gR[q,u3IfcBx.l]qXx('ðqr7.y:1܏ (a5 р&$(15~:%x+3U# ^X)lm+b17kR)A?"j.0unnf~7SlT8Xl"^Zq(g7J%P/[,e!lxo7dֳ06;V )2@T/vPԕ/[ OEBqF]=+0(SBsn&J+#Y I4{&)iǪd0: KSvJ+uSBfNtP ⇤D xmNdbƖi  FFfh[ 8>LܻP?j̖/CMN3<1Mx1)7 /:N!Pӯq,wY}*C 6Žت=W LheHh{L~-%.ܴ[=c>"ܴ, kpbiyߔx"5->3э]ŗV8"G3ȸf Lm.B*Vܝ+ DŽT> Ne֝!c-½ d Pϳ+p‰U3kjJj%7#Z蒳;O} | HZ|}y1}"~#CB V₳ED{|.BQF 1ds,Xa5-92yfٕdo{>o "de"[Qѱ˻dبp>n7Pzr 6ƶu_ByA; :yͨB#g BzY!UR?mwخh.Ϭ a.!WP2 ?͸?ɇC VEٗ?dw j+a<a۽ S6AيN7"˥UĤnvP$6 B5n~*52x].&V*n)OVOJuEϭ^C8g"tuHc~t!)_,BNJ;uM`k'; lzG"%̐"՞={:DǙ/I2ڤdb jİZkS[^ GzV e|jHxeuk_92@rVlEo.#wRdɕi9a}m$@)c -aؘGFPn;KwowWc]0f9ѕWUAI).3e,evQM/˱D܋gQ7InnojF ďIdX GJpLQ։֪,n<W㵫E E`k)VDӂʤMR#S`i00=QՊ**as[^S*ֆ ◖5_*mBqes!cmKQ`UA&$5go F9ɹ!NiiARoka1ZGTT^Sy0KcUM 0-x~*pU]ǰ~d.VZV2I*(}`;},r?Sݯ"'e5uFA -%8Y!GoƏhI4)ei;O$}+հ"泧~S)O-pk7'`}n48lveq)*#HR殾ms"pݍr~g6xx'/@Ι'Bz.;/c 7E[\XN6*N=! yHZvSJH Ivke* ?LwPи>cN|D`&هjMQ~nol2tcqi_(w|گΔbG^[8jm.p4WW]f~E=|#H0#ap^zC\Fdwۃ8Пj7bA@s\\y)&9MX-n]&_94CcOrPvp!IA` (z@g|[gb^5 A3럟Rq!/0մW VakmA3XĬ,99 p >ҾfmI.32NM  !:۩P5=lM^X)}[R661ög5Q1 ÇtcPKL,$WSF>9G=.ϣHVt6]Ka!Bnʬ3]+UyGmpNj)p.y2ѡ󨣴ZVMO4,H:زbũz(sdaKi:q_ّjوKCbo3ءGeEEEp*xAǽY͟E:uc&jQjfnj%垂^Kytb>>Qnu(*?!$=HbPzy?sZ% MEn2c't8cgu5/a7^Y9A/hk%pbOKxnwߵ =E ̡-pzHy~[.ELoXҗN=F1J2BǽK@đ vE;DstlYWL3JA7I ݴ&1XyP4<'G}F٤UzJ^#hzzlo% 2q\~ ݔFbǣe*ZP0r!' 4o/ ap5K7嬰;@i~Ѡ~ 92L+ΚYK62fE=+鏸ڒ:Y[p`k}x=?EL5vg \\RsvQn?+4V(,E&=ٸ!'*1!xWbrXJd\r"hr1,52歘*s8 N7Ou. J,/4C7Uo#c/nk>kT:n;/0-a}o)ca;czϠ &v7~$N=J%4ZH x]:ZЎ{Ce?vNDG:(op?*)ͶA+N?H[z5)fOFe(().EaG,ԤӁ""=2[9 d75Ҋ:sl?cqd~ԗ1*Qr0&F+dBM"I~g6XM eӋQrqM?\8O&v& IChvEpN([nR`t X\Q%/앶F4 #^<3+ilHq^*CPLbW=\֘x&*@+Jk0i<JP /dP&j낂ZgDv؏Y|݊7n~C!dN]grHMz 1(ޤ:qt8GrYYx"d%0;)yǶ1 NRbbyH'Qb-MPÔtM吆yhu(v{ -N%5BABr o!OENt( -)f:{0U}6h3 A- :Èzhyt̍ ݏyEYypGmSV4xyNmj܇8Ev5urWrRmRj$p|eEp&c a Z- 4:}G(~W"@5MNC*̱ϝ{szVW* 㴄kr\+߼!x}߫PѤCO&2Aӝ~BͼwU31Kj2-6!jωI(#<;6li sTxВ!M`pqW;@])ĕ[-~DӋm{TCV# &sV )6ˢ8pbmV~ ƍc]8%$Bum|=FDb T>׭TQM+tn]ޯC(8A._(N} $.FҴtH"d?0$Y2_ӗGmL<}HdODk.]<'.`񘅤Z(du T2vMى0ÖKF %O-R1px]@ݫ7 (NJM1rAl,Iɯ߾(U )E%KZh)OU!<3f||4h_ZUT cMw RQAƏʐ4 ]˹݂pIpڌAݢ bԁP[W< yr=$ETnJwCLWv#X;x=os>_'Eum'="e]~@]:tw}9`7N*O>tvؒ ;$TqN);>冸E}pK a;N]:6$`<`qd0KY,Si|cKW}6|hU5 z|anrf9r7KzᴰQ٨%d" l܋kyplkAAH{/TE@xsw2%8+Y8WLrޠ{W-dJ 0ZYo\]MC4C Xن-#nxqGtHQf&sᷙ;?Yrâ&N` 7=U ^lU1dFJbɨN̯ib o'JP6&p0R4|h1DexK m4(3ivbX&,L)ڬ2̇w;Q`5Vk} P_E'zX0E>d,*NM߂6#93_ֹS7_P/&Ɖ coOD~G#~:N'$09B,gQaߎ/4ocXCa{)/Dp/镳om /=M>ՔqL_옝ЋR/O/:Yx޸~eGA4soX>f[d@+a Y(1ds̾IeMv?@F,IlM^a]iK84C*fd5'6S"J)2]-)ofObvixG]—_8F7 xhca7Ajj} K0%:4#&&.\8bJ^滊)6J%ե y z@S_Tdc#n |Akn>gm4U:1%CVtcDn6 a"dݜ+I8tbEC[Mo)!Zzu E-u%yXk#T/,ɀp1e8.&/y -lM3`g<9= U~WGbon $Maa0*]/bB`NAYCr K(M 8p]}ǼeIg⊫鵏VJ./ m y_oE  !P#Y8%BFʍN#oy59(J%v`` RCo9*d㥾+IbďIcWNS: zyG!ֶ 3MRX_mM5*1L cSٻ>Y<9QqZ')pYKx[l,,NtӏG᜷ --,gH7jɘфQ D1n^H;՗{>$fƾQה 3].ջn'þCoPK[&?B@ 6 sũ A[ Qs y/v XP +j"4+NM<8Dl32~%8`ʳR~ Vg=+[6 G㋢p|ɉodSct1&Sy.3V̽8'oمʈ:_ !U%kŸL;;.ºPq4l$nfÆjbđ# 9K[9abF j7|"pܟ`Kdsj5<`Pb臚% j{ eIf8D(prYP6$F#t&<t/-)g s(D9 l`A***i٣fq3pڀN!XrNN5O)3 2R["' ҅RH,Q}5`rtTgw8 XU5AȌMie|C];@#ai%%7͐#3|98~]I+5eί ڏA65CeCO J]74cG YI'B,pUeXƬX&ԔR}r'&X1HI-@ғSI#뜨ɝ0.M. Lr;SwumSs=dBb3FeƓנ4g}qZ:H9-JtL˦:'mh&RkȸcyH͊ɫa|q"VKzj dR .'6gU͡jԄ˽g#iFH؎tfu]hGs5fAr*'TAa] p(~o>?QjlJ͍0,|Ce)JCƛ(ّSrǩX ?՗z j2b ʹZDulٮ4쌯hVWz@$PK>Ggf>~ϭ}9S/=(R_ŭIW 9. tTKEH#2lMZolm ntK;;hf2}G-xYo<!:w{Ǿ&gP'j$UתgŽr׈o{'r.(R=ue~ 2{׊ 6uymҼ{ƻ74K土:GfIF"LGжrm-q|MfRNz(Wna=5 M<ʐ"rC+ο戜UvŧDb"jc[\ԋ{^ xU>$CF~'=KШn$5GR_~^>u043=zD5e5D>\S*j*Tp _ݼ? dLmFji~nwqa庤+!u[ Dm4vב@jZjXvh^M8i+~'pp7]EQs/A&@@oA3y ~  KVGo%/ wчַVEWZ$VtWXu_4"Adj߀ P8 p x25D5@OE j#U(LxODozMsȿҠ Y 9RZlU&{j*8wa\@6}!fLP율Xł Ifpj;3D/j a96)ه;Gr%KN}k%QqH{Axgc1MȰh[}T!!];oʼ "c ǧF0l+RȎi:Ni972CN'hڅ׻>^-[DYr,+#~Fr18T0c#qphF<> .C".Vj_PP9ctYf-hfqz߂sFaQMYڞc} V[+P;j_0q6`yudꧏExG$mh0l2xG U;WOy;'ݛ%gmql"2혋Mpi$ z ^goak-]s%O"է!G|m3"2PdM|lZŒJ A~V@_=!T5•^5[  ^6wFu EzRW&QglIpYESdsJӻ|%~ aB埥P6(t/ב+aUA-]KKH:ҶG(ogO5Dh?эt:E9?=tȒ+vA5@Pf'| :VGͧ*{њE!M!嘍(+fS;JplA_]D9M+UIP`׻J=rgYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{5/3HJj&)$9*{BRO4?SlpN˿hZurU cD:!] kS)Cg܈UЈLHB4GϙkƝ#ɝ~MϱHjy4w&3V=W}Q?\!9B(lx>9\ !gc̙аʧs`&ywb {Y&Yo<͈gۿ+4ޮV"A?4U~^R ,C}"ZӺDc<+*v3rY0:3&p'*բzAlvRٝ^&G7'辰LRBaF2vXuC CgY7ZLAFUS.Vp\k6 \\݈lk/Y3uwUhKe+U/=G-L1@D0X͙ߏ ~AٙXQ2+R粹..laW _ rݤ]#ՠW뱜{8 Y<5Nq [}, ׭83F!24:ȍ>p5Hӎc &nGM V_SLcN#/SV2.-8PɠvTY):J2'Uo6 $ %ʡX;k%[%L;+鶉/[:%? +F$<Fe?[O-JȠLr'0|s+4G Njzʯ=]z %RHl*{dxD$x4OfC8:p 4Db0q)cmY2H.0"u<qKr9T8(צ!6cz6&DX-*I\aٓ# '~0LSCU퓩.,%d4,Z:qٞQ[w}jiebYrFx狺 쐼W\bh08H2Yql\&28=Z$_inYGo i'ng|yJH5#r63=L%N~K'Ɏ_yy;@^Hy vįׅEYƞ r?\ңuwl=dur{".7VL͆Ѹrb+.Pb-+b$_te/ ze,2C2WӜ|50YLER-fC. sHl롌Nىg!, N@f-+T7]ʱI[i\\(]pF=?EfUl*kC}0J*'ʵGӠc(A{Ѳ&Ȓ}k' |<=ޫml[d {v7Ƈى:*]eIsFrȮ4*4gYZ08b89dae5ac95e8d2aef05f82a938e1a87e23f0e9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535