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 x-4$d ]I Perron_Frobenius:threads=4elapsed=240.107cpu=807.176gc=21.700factor=3.367zXZִF! u(]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^e6OaI` 0H[whp.9P$;-hZ|jN@-yɢDN*Hd4 cTn "WxWQ:Ht)Mqů {Ŧ) @uk-* d)K3&3?ԅȐLA*Q* <+H?)ˀ5sy=4aU5=Tp[6vnE$wN+9+wOƘQy#ق|+u+ - Perron_Frobenius  YiP!I/bM`7"%t#L,o>z1 C ogn^{yJEW;8FmbB2hI^_B6]e(tZ +,5cg6/=YQa~-ٿ*LLaZ(wexCj^BheށJDt[| wX%7ң3ӘAڡu""ɛB,N,e5N[wo~8q &Y2S /Xs M|?c e'sUv K/T<3i]9I^T;(8dG@f8` @砮[GƔ'YA󑵌nUU7) `h{J˘Jܓ ܆dK#UcoHWyw-C笥_MsFF_2DPP$?/ŎkTEgH5N`?OFݠzNJSΏI HżF§v=}@ LG)mHixFDGM 7a\ dBf[S9z;Վdc0-^O{KGІkc;htQ)8`=c*P.Lw^>Ҥ ~Ac^>ziNwzOuU\tжDžc D`^4 MVD mje"| is*B:,Q_mKMF+jYS@'%-Fg:kp;mv #._0q*2O&4YNLXJi~%/dȃvzx$ L@H;+'yJDǰV|*\kDMoDxne q`o`CuZ,ȫ~,;i$A/ދ(8hyk{r,^Ddп\1M8GYxT U ew:ԶXq̝Pw9*kSW8N}#}Yl$@oxqAT&\#߉D `e\Ås%MKk4pOm<,Dۥ a"Y0cqC TAkh#H:-F'DMǍ|~qx!%) QL"nn|@f鏽s~D'[o4nq"F+ᘋByxν`V+"<.9;}ӣa3rx㗝q<]MhtcT)m`aE!3G"/ "-W՛M8P4e4": rB:EwX8Z˧㇁+?&7 o&bުQ'Ius4dWgb3WS&莤@|觶˷Jǖ3-0^0/@Q,zR U)g޲{U~գǥ-6E иu/m_× WIn|u)/5riTU6tfUj ۵IW[F*B熑;yb@@<%z71lDBł X}J &_^+ !Ml"uI]oeČNOlxp'.@25>tHJ !S,QuZN,v,=M/R$:3rL @t1̬zJ8._RX48IxZZkr!uwȝ,>|V{H%+%˯Bxa8C6Kg њnȶ 79' v:Gbg]M8|FzˏI/OFoOD/oMM̐g V5MTAu~ZYc.Os:!wƃ|WHĻ/F?gqM=6jԮSvRCyQ4ilPl?RonP.g4] ZH smIyT8dlfU;KE'Ԑ1)u\i 5oAj5㰕(^ \Dqz"KE[OT@N#\=R[f.{3%c{LeWOu䑻V]=Lݺ RrE էSc"|*p`t`E.F=G%[ tMY8`E΃ "?8MsXkŪFHM+˖ 0&jh'e\$0sײnǢK@puh*VCVa`Vɣ7%@EUy[?O<*pԖwU8S,>#WdԸ8|[1%@rtWd<ݢӝij `myШ9[=0܌IN٬Ix!*IY}VG8 @?9{MZ3V`vc"7Kxbv'鼭|od5`ap`[qzn)C+\ݖz hsf dV]P OeD-X=xp;9Ƞ# ? 6f ĐHF`&OX'wЁ~ݱl/Y&_ kM6~2P?07,7ئ8}պ,\/rul&h* sJ#j6 [WolgܶK;СVL4S>R]1"S$ԝ![gpH-2pϦŊnμ -2 b po:QZ؟1<4M.,y}?7诣O^bfC0#@~@m&n R>QGKyړ`^5,sCvF44oB^!|{o%tuRTl^/@"+2ɔ~ޠd37S(ѵBc #֖3%KI/S.f-]A{o*:QB.k:y/R6Ɛy B ]P"J jV] -O%??YL-0gl7=4iawB~ J2P5qk9g#N=E"TJA䅙0iX%9X?r( SBH(IY%)ZpFڅcvzJ”ΪFp:NJ6tt^A(+`8.~qw-kqAlH!,z B8׎aHUu-C}aMȩdnJc=m"Wj8ӧm=G08Mw|ځ.@^Kci  0#d FQY,ʚrRkh*d%Ȧ5?S !,]{ dbVw4a -aCL}bj:|poZE{ӵ@T }Cu+1hj=$$GmvEt=XѨ^T3Gn4}IE3pLvw'߳\y0C v&xVKDER\r,#ʨ;RcZۓ# >yVŦW\Ϊ]҆e)?v#٤gD_ h=x7\{R+V=Uwr|OS=. [F$> ݞz~M 4?h& >EnK9B-% њHT[d61K[4LJ!O}i0؁T_.8E>|6Mu)GX-%WK"ceXRH4 K !4wz-*(pbfPG5II%9TY_dF5A|ko"](Ʌ`=݊.;4]$f|Nv,Էf'c+_+}I?0,5O;&.Z1)SP"8ؕk0nMI @"l qO73qM΃fJиGr$ɉlie-{Miy>БՎk[ 5?<& @Em\Fby|^tT ԩvT ^>cX\@8;o??˹a:86Ž[*W&(ʥFӅXq%.Щ1=+j1x+oxrF В5`M3u9LmcӇuŹ~'G>rUCCd{f5a:8k$S+%{,k9M> .Oc&NݷC^!sG@IY6\lMcV~'(b~X !Bm&}Jbɳx}4n j22%ӲJdSQAkx+[q6fTjcr~TN \MGH b-[0yٌ{FHU!1|hf>e$ a]2^q Li>yƜQ];Τb-Z=>qC?PB4Tϐ$xpr Hnhws]t]-bDN#֗t鍍5G;rE#|eyr-]EU؎`d \ %mpSmj])!.{LH2(0d=_VjTa92純J7 ˉͰ +BoV) b[D P nՠ^B2)[r ~Whܽj^%A^IR@ђfzϯ@w򶤮~7a-R>Rᖕ}䃬U@Q3-+̒{gVz_.66V&79A`ӌܥ|8hz[*b|fp3F!7 ._ȏh \$E7…>36.#bVP%Pz GǕp'n̍AlQa_Z}t6:_qѶ]/^kfTg ui7g,qǏtm*Y -S?D ǡfSʱ#9RɗLk(:2Df#XY~WVU`[C3;W%(%.K B4XEqEKa]d>147<:gU ^ĘxCL~v]>C+P<×6pܡӏrԕLɗ @#WI1?3 BY;nRz>FߗN!O Ytl,AٻiJ. vx''ү픟K9*xv'j] ;]fqaw!+=Œg/=N8fV/@J2Fa4!_^x-XEKٚ(Ix \4H+uZ>ʺdB'$["&ڸ$zoJ nvL;4q-Vɖ2_Gg=0 Yia:DȂ3#!V}y']'19=o!c4]jY&/|!m,m"85#zz0Wq+RZSߠ#9'E1  <㰧]nOD¡V -[m+xԯ#E'3b4A9ET~o2n  ZۗFWUbH Ֆ;z,&x8jR)i{b,Aqwb3d 뙧&-ܲA eRv0A_aI\+D[GviJ/sUDJXhGO nwF!폠B$A^ytP-A[ ík GR5>A+n^@%9p 0]lmŜG1eQM;1(cLby{+ƌAIvw6 vm`)ZىR<1WK)IgjɉΔZPsqKEuusQNX $=%d3>Jvypa=n6 HM+ʮ) ofT6p }ƶug3rؚ!Q%wЦ<}9MKTېtNm..TwRWn~q<6z弆D~P0=G,Il/grQq~ڔRZ|ZTUC0懤Iq{X詔ϫ8}1oAewjUS̊rVڴ.O}aG(Ik;su2C <~:QJKgYZ7zXZִF!  ]ŗXiɟ1 xupk^ EAo0"Ċ# hW6|cT4P`x.v_A]RΧгⅱM-Uo䙓4:H( *4}q 6+ `Z9G]#gB('!Q KNP:";v}~"6 b=:&2d5Dۥa55Bl#GoCprNXvzGn_`CLP8t/9CV׫o>T2gTa1nj1ko.g޺]èq+-ҿֳ; h>j'roMφIT7A^=3 N+Y Oϲ(x"5j;OQ <Q9چZ}+E%=ư)wKg<0l(Mp+;ݍ%|DDM`9,Rϵ Kf&i! L\PS29D]|a/Vweq7:z|F)RS)n=#;8(e!EPKKG'u^tOoAV&[q9A[HF(7DA VXI掰GqxJTs6cSi>!ͻ o!.Z꫌%y6*k'%>l`g ,}S'h`P h<( '*ygYZ7zXZִF! ][O]ŗXi%ES3XtM"tX԰hb L_m jb/>g' *3DBA14uQ) ٍxϻq#(hZ1/>'ۿ] !rxeU{pJa&yW<W չi`{x 75KNہE AK);u눮f<Y( vqE0b0-A.zI>ͫLߙrT1)I<9wj}I=X4tvW]/@u&ntɡ4|F8@g3hc7C5H;8ZJ $ɑ6*ߑ:Q4z" .(ue͚G8̀C>:Ka@פ25'W^S'wBt%pXMc(l~BX!;?!MȣaU2[,vW0H'oĿ xn]M7抡ӣo\-E8;4cJCG: pIU;Em)OM^}}VzIꝼj? dlMvʠ1XC`'$f|äнC!?ֹa\A"!DAؒN{NOX{ǐ(t$F#w6V U+{-:ԐfϷ5 |7D7TLN@CnE__OZ4/h@TnS[^k4 y gTyhzǙ-0E%?zd3mr;ƣ5I "ucw%B-TfR_z0 %[!A)R㬤dوuo9j#M>,[ձ=T# z=B*3Z5suA[F%![3@42z.rM7^{10nV}05.q 'ΖλyyHnXcJ[ #HնVJL#9_%EPwA&QN{œow{˞4!/%_QQo G`-Kᨥg ]{ WtA ]_"r|&J ,>ĆޥmG 9|FP%Q3k2)h ~33]璉7=a,Z:`CL+Xh 3G|T]WfP㾡<T!QGсڇxHՖ"@6Cdv_5p 8~T,\q18թ۱O>hj}ܵ" qX$A[w>F4~ ~2zۀI2j<-ǛX/W{rmv}LS%_ȣ nSQ?rfA;"(?Aa&zKM=g*C\m"p'k ظH~;$ AR>'_溑ys+C>EQ8-\K1ѫ2 -k:fÏc@[V{i)d$;+wC"2l;S0degzs'芕Gv Nq+[xI$uٮWzrO`|DNႲ '0q|T;WEO!P g[L{$֮x[*?݁4`4y c- /$c&opSS)7a․ԺS!y0T>K.U/JFqrϮ+#Bgd%Nz?(W-_JZ<ΥI z687!9[ބ͙p/еg/x6;y[(!tTEs HLbǢo TA&ҏM'J8:OU%f;juxS f`O (|ZgQY..6zTr3 Z$/zo,rE \o*F /]6ր#;tpB̥`hpm*lK^uJtޮ$۞z)FZp@2\M{r/XEH|e\4X ]LIfۓ,],)oׁE緂jyg6 ˘!浄.%A!d5&"P(i:YIXӍN 綽$YD).{ YI$dLU:M. *Nj$WoP+lFߛN=4ZU @ K1ự(&RT{E_ؑPCyӷ<qj Cp?'wlHngÉ^ Jh||wO A!QljH/=Ӣf씚8ΔK!1ic5E{ e S4 ]5RShE6l^,ILGˌ\Рj/;=<2;W%Eo0zYAjYZj^Q}_-$i`LaS`^Z <$iU+JcՋ`{b#`2\YL?h,7Fn{v08_ꖟpqs0Tۏ+.xKsZ3#l%eTڐ5>n]ۄar你9^*gTG6^@[YL+&9 pYz,pM-/6P:i"0Ns[ymd$eWWBl Ӥk-[%#-pyS]׭3LXw'GA$ b#Y)0ڡeF^:cS4xE8Y7hRi8BC@??F|#ܱyAu:PxЄQ[zR~c 19yڧ&vZ':s : # Vg]7H[\! Dɱ1 k&1 L?!X}^T ^jK@'W:׭6{ dZԶn7ȭf%w0"D]ӑD |lɂ>(k}CF $DolnUjąq\ Mq  KR&bDaa;< Ө]?O bwAIQby_D1iڦbzr|+8 sx "k>,F?Yvc$$&7)>v [4Ys7l[ n qB(qQpEI>Ex `:BrwJ~H@GrUnw<g<+9 Xy u(N쨁x*Rd)lSbrzM8Q&$ha _m'\)-KA RjMLb#DCAC6#u=_X٬;Hgos)-k`Coi,۾)@"ʳqkuY?K4~ԁϬz"ΫԊwhI\O#R,_zDtcHI 0٬5+8]oC;])c_w[y}&! Qد79 ~ޟqkbl?nkwċt-!t3E% TE>*Nb#K8\/ߎJZeh Z>I2+ {ʌDwkxܲx' 0X.L 6_%q,~-RMPlxZ'`4|@&^dčYʠ^ۍ[}Gh=-ΐ].0[/x~Ba:6n*$`rTowxuv/i񳣕qDTSKViwONŚMH~8Fw9^jF?,%E՜YfYW4n(ONT>`aTQ6}_gH5iHZv{ٙ) 6gv{ e gEK7H3` v%H>bhe\~Ѧ$USl&; pj/}m`^.A?/~`Y" u~SAf"본l76 '˗/i״ |hӷay!&:5 `'Zs㍑lUH3J~_An/R-k(8/iwy@q4p9 B<:t3W<\f\%7KS  T3HTy)d~N7KI6iF+?R7bYT.վ&z!ʪ9k v-; /DnVÏ\a E:,ƑN'u/<;%E{{ d#X 007ڟМH&)Y,ucϾ_ !5Ox`k¶XptCk &߲nZE)͡‡3Kdo sa.+~ˉ=^A`LXX٠Rh#Jͼ$N wpaCSixPzah4wKw4'Βޏq-|{{2'i#o{3Vzw-yvAlP99{Ѵ=zC]SoYyCd2V1~9s}Z*pQ kpl%O`H׹kvWO@(B}0u4!ioz:+&S۷^~Ukĉ6>S a}ύ@o)#vu( Y] gL |b7$2zg9kTԤ([ؾMRy)8)i 'T@eUyӻ'v$񈼢 ZFx*&?yɼPV ȓo K( U柎)枔\n'uuUw"wg(e5sƋtL򷊎M=osܠŰ>Ṓz?_{fOLphPKƝWо9jyǥq'nջG5'o.2!uv7`-A8O;|>YtE^hx`I({ls\#Y܉JI~B5Th:6~7^u\i슨_ #pԾtV7"~и 9Ɂ" )P;Fa^T 3S zGfU]rB|2W hp@R3US/C=gYq~QMx]{3{gS] 0,suXԭK>IX # 莼w IQ9<@$M_x=GFl$d()D;2pNq*^̠}I9@>ڒ($6&@Sۭp ?U3J/X<b MU1&@"ȪJg*j"b#d->Aikё"*ˀmu QY|צg/H s2+rv?yD!+9ܴl*ȲASA~GctQ3A_] ~"ghS*i $99$2xZ.ˣ0\F e|ᒶFS-|_0G 8}XL)ZOH@cnC<#1f\Ɋ9]Uh 8B)Nsg4Fo13j>bl; `UrРMfw[D"؜Ges1|c@CMD*x>㄀oL :*fv{m3)dVB8 L8^p[g vpp9·<(V쭥̝~XŪV<긘+MW9b7.uOČ1`7,r j͏ansvCG`$uKC{`;44Jf }F#Zh ׂ9]z$EJ"E=;pt![vL%QĮɕ$O8,ޞ$jQNjO6gVS;=B(8!U@kȓfE@_iXꑔǙ:lD*ɜYZh_XXڗR"2e0Xd J;-過J. V ׏Wb*I T~m[8I[>׫41>ozHʴ TkX*V\u\@uYjB/oXJm`d%Ƒ!yqc|* )s| Hz擼w-]H15,4f?89fyY}} o ΛyMe5L(N!#n= "/p/"\za "iM%HCXfm&Tq޿GgjyKTMnCš1gOT!^=Lz"|*{ UqMLZI* cbv09׳O\ƊJaf=Mya\0di'J?MJ3D]޾a~%1m&tX"9\+ӏwZj8i R*8ߟ;= D?[ZcC®!j#5X[;%41Ğ>u3x [=};*Q`~)nntuˎ`{t@R7V$ c5Mq{Gw!Rw- !Pĕ.m̽&\PKE֎ Ns!EX=9=gq{' c%el()2#0n`Pv텦P@/@-Ce Q67ÑTe4uigNƂo<铺C%rSl=OSF a,w}𽈬Vu)${<=5V,PڨqVIy/=[훁M.'*g#Ts~2`\уGx/d՘_ic?gctuL i*Bx KHTQc$$8L寱~.s5H{Nc)QXR2it zuwP_ڝ/>#ofdjl@xXV$S`%^q.F m~ً=WG Ofk5xxl:K%PgNVVXjhТo&(j!Q`nH.Q}=6Fy_Vx4tnfڂy[1o4hXs5BTȥYͩj5ûyKj ,3 SXp4 0cV'zثgxa܊ε=]J1)k"T@q5({iu(( n g}>δ[(~riGLg7sџcߥbj( ''uCX0;(݆ xAx.]Dґ؛W~q*ōtJⴈj]Vb{R\>)9-_>Xn?XʗDO72]~t˟1.I Q;[bؓ{Ia cm]p|BxM% NA.oZO`&ZX<9 @:q_rYu d?gO`oiSbI:&SGx 6B .J!NP n/!vX]_.l0qIO˨1 X{3CWar@~4_1E|TRb.Gv!E:4.6&lEysmABy5vQ :r&(^eX^uv2"|w's'%nى0'rN7ǬbbK3”6jq &wT=ca$g9P.W~ oM*mpA漰Q*dGZp9r ā}huIn"qW/j6=@U\;{QIJ K@FSL+Yz5SȠiu`J@b`43' R`Aa-rw)\E˅iH1k[D5)Z2WƕAZ6= k q=DeQ>\ \t- i [t]fĕt7d/hLmt*pS+v T T5O'`t^mN`=y&dZȺ4Ǡ},pB4C (2N.Ymب18 $^n&lw&jfr_&߲`#PaP1hKyُ-"/`l5Wi?)6k ZgN+}A۬) 3ڇCo #=ˬ \EY,v*x$IDeS 3"* qZNWkw ACoI0N +rǂf&?3MڀlL,$@=+8vQ,M qY 㴡]a).-geUZO*kBCA!#j̹IM일&aunڏ'kR!؈zpX>'2lʱY$NU=j ~< ۙM gRs"|jdJzD^^N̨wB (f wK؛]Vb.(lJDy6^1ĘU*z[{i\끧Q5FR|򬧛^è7m+sr`5F)@ffd_nǤ nG,#j9"/-{2y]gbK[ݳoCn`0rbޞ9%½44f &E؇Ps:ͺm΄o'Rڊ.j`F})fv԰h0x8(dxuWTu\Fo>*6Ft =iT!tU/~}rOH1=+Y>\`UیD=>=3+E.}l t1-6KDn=!>u/VQ HcnwZ$p=너 7[3̾S)5(ʣ/{1ګR-M7-?{KXvN?VWHMn TA{حY` H~A.KfϬ 7?y5dӓٗA!β {!L:_f^buȰ=n/{@WSa6u? /x7x{ڥ$>Uf"4nJ[g* d9ЧRCBۭIUlGI{JoP#8 IaoħKu>'h<B'tq_֯,"O'h3S1%ǀ^SZlB먔|PЈCRO[W8RO)Gn(|*`F"()8t2T]:WAM0AׅY!qqRB[:; ]!j֗8*3E1 YԀ)VQH% nQ7($bpms%dXװD| ۇPhVM$ͩ;|lY'9 z xw*Oʈ2'ݧ |Z3 JVH Q<"\`{R}@jsΦVHR#Mt8waHq B.L>S,Uq˼koBQm .5QfRe |Mh`YhW=98 I{fR.qY4W=+ܾ&C;T928+XQt$=nSDȫϯ&)Ŋ&q='Pd AWk7H|xG 1ͯ_8`x`avVMvIdYW#aM%)o~r7Ʌ5.iם8 11+v = g8bbnhe$zq:Hjʐ`Bʎ]D¸` %H,G+[f47^Zcs|Rl0SWH$/@MA*vd슜=%Vdbl5)|<N  +^v^>9Lft2WPGGoD:TeN/0*oK4&=wdY)hSl\UcҬR,0V2R<4.5c(,ީ8s%3i1H; i^H!^c8|(|C]<%lpg9DgY^PDqIZVZT.dVx|TL|5> MԨ*~tvBؔGyc rF KstfصJ9IfPbo>E8+7$+Ռ♔3hvΘUV&j6#ܙ]F% zLI"46:onC15uBCH0+n)Dkta t K6B$,tr4bc1t;kxӗ-깋+i|ޓuN4Hu9_+H(͙jlx B x%ZrHL5 W('fL c+xaLv"C?2%Y Avf #5̯v;~rG6TQ"|(rVj4z+fF51966%h#o*]JO>_OQZBPsSs%Ķh0|[*Q[.$u9fmC`v9Њ6 |TsY/P3Ӭ&\$,{˳®F-5sՉ dt-Ԡ+4M6W+v$Kmf9]`{뢠x*3>E y:F"Xl%*T9WeMơ\#x`|"ءZ6ڎ3_ưP$a^"l?IWEr>ݗ ^Ak<!F UK6x >^0B7C@j2.$tY{RߗSA1wL=Z6I WB"j3}]$1{6ɸk[ gёHB֥aij% \O4Fsۻ ڃc jx 6˫On8HYQ>66O 5220<8Ӳ_?L+ !iJ^g2_-E3n9o`7pUQKG>+%frt`0>3>OąCL" ݿbQWs=1WXIid2%IG6m_m'2t #7le3#s 1ŧ|I1ٟ6P{z A@hПwlo?,Nΰ 9qEf(=fIk-2T\Gu3ܫ p,y xbHU?&JrqbD wU?2>c2oFu|zE-?8)B{ hV.!J7LHR4Y-iMX=,7Y"~l䈹iS!^ wTF"SSiۣʤW7/ =pӴsV֜1){,è^p/c'jhKM!&Oa' y5m^h WE:OMʲ$ IWu'!>~n CN`NQeji@e#{A9=0zAٙM $v ^yMYL*-Of'oTuXlN|TQ&4РnCN3&(n첞s}/Lj$Y#icu~w紡~@JfODVm7USG~#+oh>ebء_Mvj-bWX" WM>:N'na1~/UTLTq+S|µ<.?l);VZl.ݧd fS/ٜ{e.qˏ4h[^\ոO][ۄou9lOIpcaU'#'^@\0vW(krS <9i%P=l'7 Ufp)kcֽ8b.>g3n8:x-Y :n=\:j]mDkߗ̵Lv 2jkȕ*h rؕb? I; [g!? PB) 5k3?z|z)YtE4p+q|@;شM!5H,gRt66Ꟑtt+.!cQηz Ct|`ܭM{pPA{а>˺{UZ~MG-Ļ6-"zV~ZЁw󨴽eצt:lH䵴j>Æ_#}@OYeJ3U9+)ܤC% &eq$ i<&SkËNe Aڒ05r(Iՙ_wҕR5C$풥BnxY;Zgwc?Nsr |6}Wi{_,ArwFT3L>^h'% .!θܯѹd DۀĉN3Ehj#M: fU6̉]~Xv?r.-X6_dxA]q4G*?bnsy:ϝ-n2eg7Qxàwc%[L~Gs]0!GvJ[ht.-jcO͠粐ɫM]EPnD{ӞaVY!ACx a DV#f GM*ɞi6xm$ኺx(9HZG&yHI!hT tܠ9:F8M<,)Hߒ5#\o]nD4딋 " ԭle2;H!,Bkfe:vic>^̯EznM{h 5k統w#]&m:j5Rn %i~( %:os}DG$,1Er}uE 籪[K/k`"frKPF&v ?ʹ0!cl~dQcZI=-ssN }W4%ʍ+*4,dw[ @ L3 şܺgYZ788f08489b5402a7e130f3ef588a25dde0f5043976b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 ac9adae6b4816d95ffdc9337109dbec3aa8b2fac e66e4e93b356ed170679d69d2b51f8f86a9a83b7 a8c401f78c0204a4078eb13c7e001bafa8802bda 6ec1834f380b18b57cc1e1fff0b6ae0e5e1804fe