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 %3|4 ]% Stochastic_Matrices:threads=4elapsed=316.275cpu=866.156gc=33.280factor=2.747zXZִF! #v]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^i= (+龗(~!J~(d.sAӦ$q P}; _-^4(usYKh$'d۝Ok?:ԣ궆a)ީQe/]u(L̰dCN?<opZaP@\m[_.xxJbk01Šg)Aٴ5v#z"O _S RO_ _"U\56\.$Kj%"~BHZBӱ. mJ{Z{xؤ`/d9[ޛQ~f+}"Kpp@&Ϗԇ-<ጠ+@` @!ty:~, dC:Wȅ>-o+ZI(hK`0 E!N韍)xlD1Mh1H,zjQ"T#?V?a݁nDU Cwynt{R^< (|Q69{ Xl9;#:A}!WZ+N'DR̔^@yCNcbcҨ'q4{f`C4N0w_"5|5@2/AxUz#*U=E$y1P|ƌ\H:r$bKSD"L̓]Q"'bIa8/a =o%Fgfraչ5ekOXIl zS#t-'%@;l9 yUj_f8*^&,k=ajJpw?uָCw ҳ6;J $ܷ(Ex>Ss=q,i1Br>976DB;s*/-šf^l}5cѬ<ےj堽/3݁٣{<(w%~P| H:rv[l}9F@jokdDt_ֵqeV&F)wy!d'S n?#~vkJ ƩbUT4fubtAh7S|?mnFLLj@>rƴVOu:, =:((SgVM).NV#Tv!׳5vOC=+$ %C{!؊NNvk=n`pQ۔R{t5Ar^Xo5uCO`3"MMTGϤIuNGLh| @fa%MVbڕ2ٰQq*!z zpy# 3q->'mT3]% fȒ&i,'}j>R-e#.@&_sA&J}oH/C$0 3󛸑ꬓEDnJQx締) mf9:IIo❠WlvY9X<=1›Dh-hMR=$tBBn^!}F1vNZr~5ϞHC3%omJh&;_Vz/8ǒZ .Ӊseo6ɩZgKp -:;ԲD|QChZ"~oRvc_d$c-NXx] [!., WgᏞ*R 1ҕo];8_#(yTq@shӌUҷq1E[)8"Ͳ =i2~Yg@<@D !z12wYNL`%6=[1[uE4_j9A7Hԃt!3 3 Stochastic_Matrices  T; B!1I>Exv]WUe W 0[St+TvLzQB& :Jex^-xk*S!WZT\{<{@yHcSᩯ3Iy#s&(5GZy2T㱿޸OgP-.-5i N1`#"嵩U:}kS;/ZsyW[? 6\/CΊt|gg1{ ECս/Nm3uc2/h] igb~:su@ 8X@/˓3;d P3O7R` &l"n麨,NG`;wC{w\D4,&2oD g OEԡ@+!A\:Kav.]'&` YGute()1B _;ǛۖKox9m%8'gjB=l[m{3:e8D*53E V[XmesnveB٭f<x!?{F<:Ӆ'Khk}/.sIBjC*taGƿUfk |_k h7owC|mx%JI.uӚ @* Dj!I G4rqyTe@"KnI;`͑kg_ប`ЯKS̭rF;C *H(O1m$zobJ;w-gYdDgtqO~:sw'#EI׋ *>i>nQ/ \gPxP_M\Ha"-xrxg$DƂ(ww2,x ٭heݔqޘH PPF$e^Bf4i]J"Uo37n5rP"#s= |DQaRыyP$;d en-RjN|eF*Io&кSOf~I$ h^nu#F\(onNEif9j.]PNEjg6m0Igס(yc>5vU=eޅ%_vt׫LΫy00[G BIN)! IO)my·zZ*Gþ:NT68D"Ekl[@}e-—2{:-j eG = gm9p SşO#Xf*L35OA3< ]) ' ]WHc2"/ON&|`p9;QZ*WuBZ7 @|_~ajGla~ 3s}u3xP865N WwPVAlqn0=[K)̃aTX6Bήgٸ*i%γ^){ Fl I팱pJm'yj5|vepL (XRb܃9ѦҝÝN._ kWzeҢ݊p/Tw"\0z%˻zĝ˜נ8@ ]O7 הVˠq5q`j@yՀGU2N0uq=S/aRY5P?4ZF mC7CA]c9qR)d%܇4h:P[fvK{!6kp,aylr,r{M_Jv:{xN= w^9eEe'+s^Y[b3wyn3@eW9aJanb~ vZ8--¥8).Ev"E=W5q^$oPiss3i'Rsws\X*.~NYVrfz/‰'DWM^_@mvU=zZmݕ_io4/ kx**Sy 'ٯs& WKAD<ճS3~{g$|TH1|3ESj^&H;WH@v4l}a{,YpƮ] E~K;Ҟ59ia)5>9}ŠFB~wZXzY|QA2w7@UY+6 ̒a2>JyysJ * ;cK9e7)4\Wvc}MFhglo*+qDnlV3y moNM ndohzt1m@&.i4jn4*ZEw82ĄpxE_1aʠ-wySIt2AYk₇gBu q,2"Ly`|9ڞ!T;Xifa 'HC0jfڛUΤ~_2>6(w0Lߜ _y~\03޵&@=-LJ_&ެ/WUfLIX!VMRQnCG4NXqgRv_6sSPKbBF<wv sFE-śh0Š/ =쌬FdO%k?I ?[do$ Akؕ}Cv.i"$"ӿ]AS;HiCbKiȝ%,߮A?m&I&+_mIX "3>ݎT/i˭_|x˔TABnpq/ć9#7PKZjjJRnLtJ/f>hO"G~'(C&(3Z @p۶9N[mg$1diGP3pqcgP6It_ge&c㈣uf)׷vBBJ&PEq]٭Q~F7K5Gp&t#)MyITv:$H& 9?0(n~׌MGie[i)#˵{k18&f7 d8F}]1 fsvlmSȐ )1r]R ьokhT댷#rQFdWJsNulC`عHһz= \8Huůy_+ᡙ5\;{ΦqϷ1b:t=g<@ta ?PFdL`l]eA`IĆ|Ξe* zQݪC?]2E:Z,U6rúl+0L+W|݀2aԬ d= ONEE} f\8wHY7/[{QƬ# S?na[_4+0l!}SipȆ( UM`jf$@;m?=i˶E@ 4%!xB ,ԒCiLGY@} T+}*:>r &W/Q33A:;̂YU/$t#Ƕ⩋ qu{ʠ5ژ0d =M[;_&#''@Vfueah-^7nۄfjR! ޏrK洲A6e2B)j`9iu,,3R^ T0 )E][㠻@5Zb"TGԯt`TgYZ7zXZִF! Q]ŗXiɟ1˦r!q=4!pƹ $7$郤?2ID8]j?1k#7`;NC{ooæt*bd>4" fRO*_M1.SM`C|:MJ9>=D:ѧ؊gpҊCbHS-{]f"1hBs`z6a\َ2oB+cy9.E[. ݼj53]큿isZ+$D^+Mn_(d$_8<5 qf\c#'$gĬoKOoŵg.9Ք x"2< phϗ/(WNjm'SJoˆz@1f&׈tVDнԅn3]IyxM贛$I-Qy(ŎEmזrN jNXX/{\dٓİ.qȢ+tI{ڻ4V 3լīDN8$5+oH'C }9.NغhCtFF7LbA$}?(Ɂ0`lPxrbN3Z`1Ss^&}\Z;&zGO ?ךQI|"CA-[E@O*M{iH9AS1 ny9gm*lx0 bKD\!IDf*>_MirQ| G>. SN ܢ\⒌ʁz Txn (EsuWR2/f5{\%aO h KRr=cT.{@"iJߘLa30^h^ m %H |8ܙ]wf@i 0N^T?h!|tLz⢤JAW,z"$x3w%[x6rH?׏ihheBԅm^0ٶ]? (9%Vp׎z6-&I$SPW#Bd8E/&ZvXZu0߷,A.xp~u"$M7_yP\SScMvK*bjE=X˜ `U~i:[~%k0N)Z.*^v|u"Dl{d3y aCLF 7UUi%B̊$eb*asN=H^{ V͉~A[|92,H*>VcJZ" {=0Gp%s}:Q+șj0<1 tJxn0z씦ZÅnf| L7$-|@J#j=OQWmD:6$JR 0!JQf' bT/8/y8Hr$nC/ߴyד=5(Q2DӭOPLV`^\Ji*4>ӝ/*v>4~@&kv8EQvCXo+ܤ%B @K3 엇 rZξK-S7bOn=sOZV05at 3 +4f6W,N`8F5`߼#+`o>հi齅 oWoXJ-+[m\N+$Cl jvd4Jeʭ!j遨Ni(b`Ut'(n^K٣7 _QSrN_7.D0Qq5qyzNP$٨6؟b|GqUWU5h5ݭ-ةN$1c*CELi\A c(bǪ֛W{1J=kgX&,nWxmfNC`fK\׃ ;iޢZYvy帍$(oO3Bd@ ɼ+|0< ԯɭkz\2 E:IMq{b]\%ݞ E&ʂ~pUt֬D> TI]X f@xyOY/=afeE:C=8!G18#N-ؔ ;E&ߦ쏛\2o-LF׻[`Mxr²cA%wᗧXNrޱ'.#c~DiǜR7Vox' \N(?y_~3vj*c׿[lWRDgM:D ӡ @g W0$ y,7YMF4""Ƞfv^1Ө<‰_>m_ Ck7#PK'Oo_cɊ[Hi//Sȁ3*> emsΉqYgYCDk/Ub?dDV!Qgra>|4{M_cqvp*>K"L>'C M:WӢHP72 :Kh0ɛu8TSA QCфxfVL@xWށj-A(,Em..1݄ˈU 89y$Yϣ$+^ϬBn2|XoL|mSKeݭtlay>.%x7_fBSDFW{Є;& e|v@jG|Htwƥ Z$g {=-oe&rXbwbg%n=ZWS(=|-b4$n,e*uVǸhț%;6 \-nbGIdH6lbQ]3 bqd"pgl jvzyX&1 -BIcoq{Ό+,zN3Vt*Mߘ+j%CxMֵ =*xbNVah)`72 e4c$ߛ4.u'Ev:SSb3b垪E4 ?:cG`SjFc3`\抩07l.ßăHS= e=!?*=U̖Y)s@Tlʼn9I&>:VoG!I邗3 ]qU0In$E{P 3:zgv֡0;'OK+D:ƒlaKr4;JY@ccnI#g3Dl= ߯E3}3$Vax4z"xOMV׸>VGE! fzP9r{B.ؕ̽&BQN+ &^Y:WtOKBbK._)α#1tYqp=Ɲb-ީIZ'Ķ +ͯl:-ЩOry" {v[5,V3vjc&ӆ_!N_̮A=v o.g 9l1[/;%z_(A3"l##2-5ٟhoMrc5 ԑǩ&)CQl~Xb+HJGJepZKjw4t)j5MY| q`ҫd6+'GkJ@_pK74@-g~% }W=Z"`wcn 2XоvÜ,?D]-."+ivqƐۛr1@jޮSY%Sar%Է"KRQP6-4(5a1ņ~ )g80;+b EqZNO?0[פYJ; jZBhzEI>>3A r %{ ]ܓ%(lz=~+/Y&W\w=٩cy%SIt,EϾ;w1X A*Og9P(( @[XHވVst}D9batNqcBE^ /}dl ~IvCU@2uS^5+?^;ѱ-8D=/muU@0xnDzE=a)9:@nQ Ab 8>zai~=hZ155G(Rs%R ԑI/F.UvOc6JZH q%=c e6Y+|K-"x*X>IydDzx|I 34"\N褐$vҤw6 }/VfHI=5VgV!OhVKJt09mā|HG e5*|@KE A,z0c$ ڷ,nVżnRu`;(7bCd{f=y ,tҡ)&'w|ԗ$Q`j/heu@[e!DO̝=Je߻r~ybb>ò]tN/zI ~HSzhhYh޶pAJ:^-xt6nP6 >b*@ :l"JIo(!զ-skU"dRdk& GuU# :pJ{i+whpB nE)J 9*@!> )~Yg,P4BK*ׂ3"eg F`ooat Q.=g(iLJPY*h;)˲; vRcEWɹ.\a}6VfaFԉ*ԭ9)Y|T8A1/ps8 SnDE~Ydg:k0]՟ܔ❖s7U.3k5g 1Tp6~m]SY菙nY Z$|_!<9d5n.EyLLTv=t0HB-LP;aR|IyL$/@$ĽτȮĉeۙ3gW [$8񜌛18ITg՜sHH׃)Edz4 j\_2˫e' -ჾ{::N[uao?\s2 Dv=+g@rf~vCz`绕c[UTiZ5gb9m}<ŭ*ǪS~v-x]ܘt3^PwLٌOTl\xX7$m:`dt֍,_ʿЫ hl6yk4KzG>(0r"`{}0>\zW 1ꖴpZ䜏DRy۟3a3)7caNC>09?`7vgVnЙUQ`qX? Բj:A)MQWDn}ʫI7nOmjRc:(?pDgӟUэ:X7Oc \j{J|^x[>ΫXi #K&Z04 l쎐v8Vs@$5Y5]aY5ܡw77*\%du sKnXva h4xlO^BLנi}lRs RuӠ4V9e vKwhPR7ػE^wq&OBk]ꐹ v86k5;-Jθ+rglI^3F~rjo.U;00"] q%6=4AFbs1~s'&/zJCzrekz'PDGnŤjcd8G mJ(`2 UQ?j)v8Re#Iݼn \L}aqB$[YQnO٢6Tn-zك@ Y!W!2?zlֹ$ړxͣjepِfv}}l!u޻bOOB1b [HODr7>\!Ϻbd{gPVWueմ|CFI ڥʳw[Xs/۳sV2%RNܞHDk¬#Q̓4ސzD5 q~X>pd{-py6&_f֢*x(Lotr@Z]KpݟjCb/Qv +ԅߓ[KD 1a gu 6WJJ8Ii{T74r;d) Ir9,ȟ >tZ*1F%g{b?>Q[Gy.W hq?gR pmk?šd;.F1i-SSPaGF.:-=/+o,"On{鍔E"Eu ؙˁ:`Õ#nJ4cVdCx)COo hߡD9nGI竿ʣQJ(Wïw{l_I70듘g0ɣK#]BeQǐ(>)ЬOn v1 . } ap :ʥ(Brh,_b6[j3 ~7:B\a6Py`W^Ÿh|q >L_R g]UAJv_ R$t#dJȑ`ʹk`La{r_m~u acmXN혯QfV $]Hg`ǯU 2W/(D-1 ܡGJyRZ5 ^[AKzGѹ^>G#O&vCtpK#;e:>,g@]y5&J̿?]qvBxhnКAb!#\Px0͞grJW+VzH<69:ߍd㱅|UWG NGF9C#Ӽκ(`Psoޔ/#o,]5i]2d_}/HdϹgkB1Ivڄt-FD!)ةOA 1Y)?Vgf!yP-gIǫ۫R7o~/:)(ڌ\Ouv_܆ Kp+SwY_6jR ̜[v#$?s;5+nYĿ&}+ֈaO;r+p!v:H(mgOE˝4/:g|-3B c>(fISz3|~<ŧcN&Z*0N+BTWx+XσHv2_^'Pp CP'&w*,-BEYY%s`dPq#>mRCCM%5 H/u|@h"\h~ßIQ{4 (HHBgUD0ASf2EEն5ȔK]~n'DװXd]" |$ct \` /[s urg36©V'#j2v}&\T7aeGy.<9T T$$^_E}uҎʆC3li 4!H26$zH4o D^6GA!f˂ʁ%{),l1Q*R/;m /:ZZP.:^JLil"3\5+}nͻ/i5Ӑ)} |WzLci,d6\Q'nmT|m6~dn֬3CnnΙȺ!Z2R#˥ ^l; #\>lC)?,{3e4> ZjL9fGKXJ, Zgv͝ Lr?ѫ(T  +a4`v#{ՠ>70^^xP57 @4 Ig]g3R9BZswנLZMڠ4H^w'1Ips q͓.FM@򠸳C͡eᙙH}7=!Q)*"M0ϝŲ.} I:Nh>0 m8ٚY܄ͧ i9de_V#ʰXN0DBm]%‚Mb ضQ?mA4U&q8MܲktZŕ\vmN難qs7N=C)HZ1h!9V^QQȅ&g !5H+wk*3MV]( ap'F['gβ:x}CWy~I?Q&MY?v }3jW#] E ~`ڶxћụ0dI-m|A GDNe^q*j8:87bBtRS\G<8=n#Csa .l*jDu<?jjKJR۽PzqyX)U^H.΍9pG|xќJ⣮Dx6Q7 lqɅP8  E)3I2ckz8fBw.3Fށuw'"!8$!K!CQFU/?_X?b(]&,ʙYixւ"AI]̮zaAσ"IX#/ezΔ_V¸/a=DS(?.6r??:9gTtwPv 0='rԯӝ# n/rfI]4qD/RO?xw&;0<՝CvLRo)W8azKlXb_9ŷpՑ(4k[iN{j |hVêvxvbS͍|(M˧:RT~(e򛍣%&ѿR[G<B.Dۤt' 0YN3>+B)1wu*a3@eoh+m`>v˙͎-9?ҹwƲ + ]^x׿>ze8GjL- fͥaJl|F S+&\ a+Pjn6B: f ,Mӭ{,:,%2< zR rw:y<| S-s_ݧՑbޗ:sttM{nU>G>AL9$aseo"{NX[{eǏrRzK655pG;>ݓo[-bcG[t#aBj/AYP=f1Ꝯ5d$% ǑpsFd2vƐܡ${b!6߇ 92: cEt#u=O6Q\0APcbB03{n9>$d,CGġYnߤ<8Zo B;Y-T[ãnQN*0*G|@k]A{BD5.̧|TfxTD喚_a&F;ؾſ #ʇ{j X0L$E4&s n1 u6nGн];w D(ZUؽ)IުרAԃaZYE-W3Q w@Ec<(( !_t2'\^eAWWRH[b@+C '&N-9)KS'ͫٲ@E6_?CN69lO#I?7\|(wIFKOE*IV9^G K=y @;e |=W㤙'RD7w? @\*HcMYVDMԏBNl֫kX8RsʇrC}7.OMzr3ɿ/3l,4޽uFK¿Fغ1v8 *VpYΡXȤhL>'Q\ #zsNKFv!7_fL 5:،( ]$K$2: Xhi11K 9>/'*>v*&caQ'ua:u~U)(EFUq\l*b,YhWLМ1`f0 Gd;t_o g{x\S$Ԣ@IV1xGG!FTp?!Ͳ$B4{=yF5pZ[8e|ϪK~(*\z8!CŔH-#`צYc[&I:DaX;Jt6A2 v׼ȗ<8I5ڇsH.0W-ѱ!1dHqYN 嵐#1'1@M tP 2[}>!Q #A/I1gےf14/V?mz>N?w;Ԫ+\$@sFu1/YDn萋sj `jPcY[\Y;y-= V?s\~Ve_&~HYz#Zr >OcP163@*uYXY|%)^~j<, Vtrg"]?6)&eE.¬`]QhHOcs.&~ 덨J4KR{nrqQs߇o>?ϕqN0?p5.ksc,Hw%+o ]h~R@?pp }6m/ΰxxs<68nbRn)ѥ%y'^f.JOW.%yaO8Rm5FcIG2 5Mme_߀pО(7 4OU놘s"kkcsD%~ S |7%?&\H1pf!\|NtU-suӝL b\Wc UVBW0D\E}K+d_jd}8? t4'\fw98+n~zAxU~:!id`p@ЄsFDYSh^)t¯zwG4~4("m>i"/PR'q y)1҅{ld13DHC}VcQOv$՝>ZF'#E缘uǢQulrvA) ydASF'"5?$keQPL ~ZY]s8ij@d>-[,)`T]-t8:Gvʚ>@`5' c &UE|ߺK4<ߞhq9䴖 GseL+){ .at,\lN,թ$]s!e4iQrH*fR  }/ 06M4;?)^&|[CJb]Ӱ@$_dx!Cp&dpW%sǛcbR]gLԡW05u[ ʩRC XK!66^Sf Ȋ槟\A3d%.D6-`cɺ`9o>b2 \{4&PSXJp4lKڍx[7ձ; ġMmӤ 9=+O阣B\s)] Zf2|hVЯIZޚ.\Cz~ﵠW]nF@t)f`/Q?{6PweR0Vzuc.+tDZ |e'T/mHs^=r~_͸wsP?=bI l @vފam _݊w}h78j@$ɄvL)ilSQP̘xUpeTH4qvF{Á2ⴙBz&q ;u*  >ͤv; },^x\]} uf\$-d#9s$rYdJI~V]E4].ƒdNW?7!tdwԙz];I#o6YBHDW!'u)Wq$M!hZ]tÌU/N.,z?90ˑBrw5澦^ޒ3XQ,s穏c[Л44ȟ uםl/;Q &wyh0y?3;0=ʮ29̵ʤD\罌K9I7홖w%w"!i9j`{\f1RnC8f,3<ݯA=\Y e"…,?4BEJNxs'ך5ڎb[3v֑lD$LUN"mq\goTo|}A@g\Pmf~isb8[Y,ZVD*w/ts/E&erO*.u+Erê]m5 Eڬ$34m(`<.tf[y(ME:K[kjל 9KʮF:0locy9oBʅRa\;-ZvZ?9M:<;JT'g!U:T-d5@F"B~ǔ^>w'J썺w~lF4BM]ڐxdArQgQfG[ C7T?3{:=)@5_ۇ Uacv)Lw<ًoxf䀔qmPMPT4]#WI;7bb:q:tO|?zs|XG*n2Ѣzv=dwdu2ԀSoW?m Ao>U@ktoýTrHU9? v%$wwD"76 {̫Y=R Z},HU9Q$-ó+77UGTSlJ0sOX׍{iI>HMlũ([€%p|@} Z3-q-Gො :Ku#++9:]2-PAjP(U9ְˊ"!l9QNΧ>k^ZU;dv-BL䣴M(OMf,1.VcڐŊ (Yp6}X ${? ?I`쾊8}6HܗHl>K˨Ap䙴x@StTʕ@a6%r\6@F:_U5R^/aphCܴGw ԏvn/[ L7F6fmld먳EMz 1l9 !HUj6_|EFwqO>O)WP*=K.IN؍>N̳GM ˡ#b /HcpIa_<˞FAMx篝.FA?s;P'LAFhJYt٥;ѨD"rb+Jo1UkTb_Cτ'g)O&/Wh젏}`hw\AXcO{ %~$Sf7} \=aR/.5H`j0m 'j9lboʉ_ϭ|=n}0})ԇVPe5Րh6ʘËu ,tT u6I1Ծ̾n=|T{#xISB#U[}-ݦ2;0sMr7փ\2@TDd9FP-bQm&_"%Y:PqpY}u[zr*6tOi4^PL9BUnsKgΡ=xVfNwyB)ՅA\Ql'~X7$)5Ċbi2dZBp$ĢP-z \**N|(Ab~u"~)k*}Y/!*~]9{\hE#u%7طҒ(͡\B&ح%q$94ko!3t@bk )1`xfTqsx4{ Xۙ>Iu$D;pҒ.,uqc4SU >9ϣ(,&.zT8bM}NJU4LxD76]rp4 z0H:צ2g+vW*UjN]2/PΊǥ[h|#APcѩO_8/_bdˊ|u> O˜Ii4: ,86G=ǀaYL *hrRnW7Iv:Y^wL0o MlFR({,Jf _anԭyӒvc1&TIDy<5%9כ$'~6QR |=zkx*"IrH[\q(}BW?` :U8QLj8R,bsI]2vK13bA `K޳2p<)6撧rA ll؟hpW8"o.dTfم3WH2p [`;"|?3WV<шɽ AW&>us[>92 ]6ZQDdC#ep1DNan2C)( 魦o`'c=[(a]^ދݰ|ղf~͛tqA}؈9z)_&.s:!*<{l}TIږH2u=;&OR?3W1T(Օ#3O%2SЌ0̆P۪r\2YIRV”%T$R0Aq;KRԃ9!mHy$B2fK_5BO YHz=Y"-bQ ՚µ ӚVfæBP*n{U.y`L&CZf6lB&A7h%2k ա"^t2A9@j= &1$#8,eՐE~(k!Uc_Yh?,s'L9SJ4YJ]2V5׆=8˚qCQcrpCvJ\/1Tp9 nZ3 L\J9+? Ll^)2w!K Vhdʲû G^fo&v2*R@L5pvlk9U7܈GK6H$`<̥D6ɺOۍӽSSA}eor`+bU[~]ln L2m5ʣ|He"-YhtJȋUyb᫘F^RtE/H pzL$6PDKؓiŬ)4㚜$aouஜe.SN 𺱡sEw}(ǹ}?s􊸨VR1É7=f\6$2[NI/-̠)W|](Z<U,]Zz$V@>t=κ]0| ܪu{ I^0k@b[W뼄Kk#GU K6Basٯ{J|Y 0%l`m+rH֙L8]- k@Ͽt"T阬a]hzYn#ԻPEt2_:9C >ez4w,|qKWWмf*b 5! "|;-J5D_/5yRK*~  Z^mt{/p bz#uZsSoUo,wVKϴ’2pDnnC5}SnuaQ /RΡC~.0 UݬviuA (;H5_QVԴ }:[N"d'r+:E.5)\%]B]7Ot1!d{n<"ɉ,}?!P8|ežH=B<qf%L]k+CWBĥ"MJjyu.}?RU%'z̚gW{M9BS %I~<)icRv̆0c r@޵ 5Gg/ hd3Ĩu/E>q)|2[, ޙҁ2<##~1+肏V]V@i jR?g0k&8bEe*HmLw> u r4[ lH:͆ ,爗_AfZָkQ"E iOMKκO|nL3RDA,8NIVd(r0=]uXT߳ E 4b i~C.}u%  MBoLU>W 6B_Zxz+[Zr! IPK1M'-8[7; Af=? я$s{]v8Mx`RSk,mJ=bjkK/Sǖ\ n}$*۟H&_6x<8g"{bX9PlM 8U~܊ߕQb sčJoImc'.rW͝[s @ӥ2Yd=Ⴄ` 8>l#vrX?+K zhb:!1 Ssa]?F;5AE{NOsY1O_`a#Ʌ ؼ2gYZ8a86855a67306dce9614bc92c5b250b0c834eedf4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a2857 db934fa6b5a7fb14b203060356e55ad25419f6d4 bc5c014f1d868b20ead9dc9fddb205a9f47a1cb0