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 (-$t ]I Perron_Frobenius:threads=4elapsed=252.240cpu=843.936gc=33.184factor=3.357zXZִF! ]*]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`Zvf+ƃsO~+pg*+CKFݔfՎ p2(Ry& 6앑1Ӱ:%+'xLbpmVmԞITB _kT(^Pϫ ^O0k𻇾oH 㳂0ŭ79cLK6*N|ꉝJU`>'~ D&Ȗ֡ xFs#8Rw[vex%il݀iƨVi4'pswHcV4TTB"pw9g\JOFɓ0uY`jbk-h揣؇3:{A(]pFO-{ z+,cIūu\',!S_g̳E+y3 %%fCY`1hp)%f:C]Z+tH;vh9,PS]%vHf(g3q8莣x*I ƧA%3d$saL"oKL>Sgi@{ܸsX0=]~ܒWsmRG]]QH!3{d~bxAَ~M&Dݔ1Qrq=UYe鬛OwA?P d7;6p_T\XN-B/^_XEgy0SstfHm@>i:ἀ]۴)9 v^y~/gBDf]fQqXhwFHJJ6XȪ`א\Gҧd&W1lxĊB'Lժ[&:z"X#xPK0aھRVJ/q 忛.߯\s]<"2mU-z~#:y҆y0P ꧂Qo%8Jt[PL|A||۬\ȟ _ W_x+0; 6ƈ[y87Qa(la30'FTqs~E}91 ;} : Panl45d $E&)<2%żDzAa߀aOIy9ݛ?{%]GE b d-OIBi[^= LiqhMuQI"wԏ^4ƎGO. 8V/Pg1Y,+V9 hBo]7twЗ!e KQCDʳC"hڮTW"ü16%""D{DN?7=+Ӌ ܾKon᳢#Dk1 *xؚ̭X*GAv$'[a$X3AR aHZߘq+]+DsEJhbb3KTHA6 ", 6^s]DQB2uF 8WhΥI@V/㡈_ta@ZX< UP@*nxIQ]+^Ǒ%GZZަSAlkZta!i,)FK s*7sR3xufދ{e$#5Mŵ>_*OD-$Շ4bX4zWYuAz՟._uj)Kk8nyeղu}S2(J7ֈSQ^fqmcܩ{i$:E,cn ͛hUnʔo>ykN;RlJshlzsҺRPXB`K0zdmi/-ȡ)EeL@rͦjKqR[k}!eĤr`5h|#xIm5>U tЉRƎ׌pm`vOr| :Vڧ>$st,ӣNȞJwmF;b$uΝZ \  ,{Mg9]?o.нlӂȂ{L+K5!لf#%S_,J;[mPG2#,إ*5rc_[7Ux 푧1 ǓQ:H|߹66̺V.w bQx!{َ<4'vg#]=5gnFk8(R?* plvRy<|1kX#!lV2Xm%N_$]CԲ':,-cy?1J#e`}ęn"ҢtSS2{ qqdULr-$k}B"5NQJ7;Z9Y PD g !ZeP0<%\4:&iӕ~ؔp'j02SD4J&B1$XtMDy. ~at\`l˹gnffs6(m௞n4?Dt*qyIR]ǽTZ-}%7Y汨r_{``ҿ)#2gekhʵAӈ h ch.>dG(m-7;+>OvX S|JQ=j~jSM+3fu/|lU0a\[C=dd( \^ѻde^N!4F8c>fCJ)P=8Q哅מ1YJ'G-F Q?^_8(W46G8uaFΐ\pЍDZp9M@>.B"$~գN{: CwX0}N80;DlV\W~T&!xG!7BuMr3$&Si#\W  =ޫ-AtL8yR?2,ɼIPAxl;`&;F_~vM]uY\W3HOHj},x31,Fibdû.( 0H( TixZz!5Iȃ' X GeO~c_ Pl(8i|P&\WXT )f54DT2 |2Ix @ţ~@؊4k؟B.[1B^g‹.<\-xHΘZ5m9`a^6'EXd{yHr t-յ"5ލHKh\Wg1Զ.s_Z̒ƤiG^}=b(_>&+ I('ZWd"&F *@Qo'As?,c 2p6K ApG"2"eKKh&U{fl?hdO(+ɭS:W2 ɢsZbΟ[! )(NMP؍;O^﮾?nX&/?1hnV289Dky 'Ǯ]5rm*ZK]B.D#6JKE_> faVqjØRJI*1xDwmq1"8k!S a;~MClr'F;|LOy6psn'5Nʐq?:qm/X*Nmm~ֵ^$iOaEd!M܃*މZ/ؑ>Cihw#*q=K<"uՄlpށcHhzU;@ ;M#rp.{3*{K0!PeebKk.@Dk45>t}hKUHUV96qq^A3,WkuP-赬wwYE6Bu77!O)Ya+W'z{W2"/MR6s\zf>+2"2rY ݴX#>VBOL@O2N̰3m+T-;'k-^-b0(2Ct_Zы$8aE[ȫepgs.{8xJDZ" ?#-0D%Q/ O1OA#4H&w&cIw5l²l`v0YFōVKqpQsRboΒ0&Ŝ#ڃJ3=xB DcfTƦO11JmKkWj~9.R3]Fi3m WHLk13P+dj8![d 6wpWuĔkE @UN[u?]&󾬁I3yeNwvGrD_njyYUI`QPXba.~,HRnne!g dBkb]Ar- wh1"LtC:忰1>MU_V! 3psw )FK ?L/>;kgAceW \"r\WsmhD0#8e/JEq vm8'ewH>{2w#{ 7@nڎ|jҭA& 撌0n3SL^c&eD" rHui(;K}>ց?u錸<4Q}U{Ev-*Bd >VF% ū4TM,`K+slGdJ'kӍsRU)+ X/<; QMToN65TwSkZ6\(& vצ:-IvTBrvWńHb_bC**3-z+j[6ɾVe[2g|vPm%y+web41sF7gRIQ=q) ޣ5|E%s8q"xK3-"z `&{Ԕ~KmEçRٌRI&B ߺ4<]ϹCZFMU@j@QZauUv(oawdK$N#|7J|H|/r4uD4awJ25θO[#GRSBY s~ )|LD>K I jj${xoZRpDιԴcc,aԌhE}wl򂪏d6y,Ww^ͥ&[5]7ArQbk6 ϐdb"-0^$>y攎)w7MAcaC,c7EX:|=Qܱ6~_M.j(+=))C+NQ_( Pٌ.q?P㔡3hDڴs'NRi2n$D 5֤$GwC0!(yP) >f:଒r)vUqg"?oϞO _d`0"- fY z @%.6 >PTʲ7pЛJ=AP嵱6Q 2rR{jL5-eFb[PٳRӯ.si\Aco/,ErʨcL2#qӊN^a|1g٫JK h'HgՄvʹ$` "QIoY[Z*uvksX/ZʹPo33FX ?? T[VHqJ8#SE67 x`MA:';~ryjFpB6KʚTiv$G牵4`Rl/A⯣׷Fi[DDNjWjG\^'%\&eiv)ʕT>A..G3 NH}7w1fN89g/m&9ȌB3d ̸6Pe.xh\*BZ$Ht7dbqQ7A<0[VǶg&yv~JorK쎚]ɇh?D:e 3Tj~M4GB@!5`%jѐXׅx)UTTϛWNf+%keyRoӡl-q}uR;/T<{P]زV/Y:CP|_T6y_ӸN= .{ҳ'HNKaCˀ}C+!:& 5"B`ƷI̶٢iZ\b4M5W|2A ܒt1ofcLMҐrxyGz:])˝-PŲ97Iat|x(hJYf_kksQ9"t~h56X8v8@1B8cx֬Χ_d)HF9|u2H㬩G Fw 2cO1vX'vcY)U!?Rڪ3 _Z^,Ru Y "ܥMWEu.HO5.]Z|߲1U7r{$Ջ Sx/#m޸D8l !J#q`ϊz51л% #֛@N=G~{s qgX{e1Qil'P8z jE`X6T!s  s;i|0sl47m@WfeO; 4/bO7u(~/zF9aNWA!zMB7Q!4v3KtX 3s[(vx~IeȥV gAu ~T@N-W_3Ғ@z\:>:ï؝c$>Sm6};.G;$5+mQft.3KED՝$<:nzrybF#VG!UF賉B8dVCBF쀾D8o*a8cInZȼPMK;:v]cD0r>M/(ǹ-x).VX`U:Y%?}\s1&3jCc`C֨ɞc.Fb9vPFs73.qzJtd%' :.o(=0Er@JJdR yT2;ͤwY/u +'l$\&,->bzMeTCV%[M 7i04,1Ϳ]W=e='nb~c_۟ \\ m3mzy@,<_y[TX_mܿv=NGd>=PM⧡L7ωgG跕 ̦--iqQgn\KOi>$FuoݍZBߙ0<}҉ ́(f_xc7f2Nz=lƙم|lL: _xƤ=aH -PmȽdc ^Y4`Gpq s띋 gSoKA`S^A2_J-\Z [bN~ݓ'蚕 ҇gAxF C]V_߅gYZ7zXZִF!  ]ŗXiɟ1KwCe )wG:ͦM!h*.]#4օpslSۿqׄcS415{bkuzE)e)Yd7hDcnV!}| .1qy:-9M F ʹrQ:D;G}ZCӬ]6y )f0%6X#7ǑR uV-\h 5>Vn3"EzrK>-N%,ri醅)3R?v)DP'n겣V-c0ҀqƣaeuN9촥vVIz+2-;,~N3WjĶvPJeokNbZ;hl`8w.FEDp"͕Qõ`8Zn)| 37˵4'A J͵Gф3;*Xt;TLu.Zɉun+͇s"2ƺR쪄odI5L # 2"`.1Q-k~ NT>4]{[%]]9iF]\%A@Ež wI#֝mA@&l٬Fܪpt G6~-4"JmtʮGCɭX?]sy]+*pl∘\tD̾Qdȕ eЗ>>~ 8:^,TjTq[71pK yB&Cb rђ`t)Y-J|xrG:.Pu)EM݋!p u5p#><EZj:y;u'NeWg RfRI `DRWvHNH4aRM`&&hy(I%IR!פ7X&,+p'4wH9a5 QgbK; |R7dM>}tF6OJ{Dy^ gq _4{(J;L:+khD~o LP*,h+G׊tW8lvkJZ=(dϽ6{7)nnC5"ؗv* v:vy}:M@RSKE$z7J>]Lŋ&m7 AG5sw G m9/AwӖӟ:3Gj9q=j*#JnPMľߴ[&ނO}L2f%v9Q9uQU"`vV V? AMlǬ"Ѡc5 Xf$Bqմ[(dd\4wΎ^D T[x3l ,0ӱgYZ7zXZִF! 0W2]ŗXi%Gf=ٻ)\ q[qj"d "M)%=)ƛUR_1V}("%30bE2$]PL ;@ҊRQ.+$x؈Љ,ySDJǐeH&좞~ͤQ QL3G8bZy'R2E`DH3GUgn"/KÐdA2>R+P&K*zLROP&#~NEH63x1|~"?? If`]SFd[L鉑GLZJִѓ>L˸(K';<$2"`sn4 :ocP^J .̺ZL"?"4 d#rZҁe 5wOI!:Up6 n\ a0r,~_0<8Rv#௺MNae}\g:'>D $q"]1d#4eG%E!QE+xttył^I M48LVq}@H^u '_'*`}Bފ Ít5r~BE-DiP{+K1H4 +v)qKe< 3OTxvr"j{n2=cj%O$SE[DI:;I f ? uws;6ܔGf?g*ni^cb{r.:rD)<'7"ozNPl >ސZIW=/6P{pC'?̯m4҃`gBޅPn Nu}OF͞# C%ˏVx?=%cїB ࡌNYID6@[kؤD>0rْP]0g  «))#6:!jb ǣo sO츴d 驀cm#~<+L8ιtm*`+R:gntoX&^5i-!O#l]rV{ [l:H| c * Rz5zF1uڤ:Jg*l `&?[cn j?N^AB2YLԀh5#etHt+3:3SMHQ5D(~EdHu|PY{cq5踟g¦&/$sOIsQM|N'!+^?DЋ715Ϯ`a |(2Q%h 9$BgVȢV2OqXNlWƘ%b}:JFBbKzٓ-& 5ۏ?Yu{yt yL"? ,2Jf]ߘ;އ]2%d69I]vi4oո_Opm-귲!MXIgn?r$)"MsY.w`̫__c. X]8q8(FJp8p(yy~N%W8@D)|6Eg6Y 5;Jo>PJqUƟЪ4_ mbZ<¡VR)슂g xN5v'_$TtƖ'E]-ϫhNA^;4Μ_(psVQ2k5iWU*+~EeB{LR ACdÖDiub D:!\XZTnTYD0gF 9^6z_hDO%=tq#@:q{d 늈ie!m(SI.a{=JR\:n xW 7q8ў,0c2Tw"V?*)-klDh bk`˷,gޔ&p~6urڎ෋ dۼeLýS< RkҟQm;&ULw}0&P 3\|)#IT['_@Dhoz X- Ü{l7UȣCV̉9ډsҥ$oiCᾛ=KlSwi[T%HLAmqٶ0kK=("o259Ny0. Oվ@ ]:` \O0%B}iN=))_i}$%L͕c.|59I&w& =]JY3ިMDYBK&arI 9eUr⎕ Ϣg1Zbv6J"r`zquЖ6{?6Pf ׿o* QWB w}ɾ/shD$hl5Knwqb%"2 _ QSˆVyz)Aѷ[uog¨)&u+͖%9'p?{GlZE`.8 5.*4ulH#^/O%W4-~0Wmt۫r'~iٸ9upP^n[~s FuUH-aWH@B^>g4YjS)2Su$2{y!UB]A$&(ΌI9?!}{ _ݵZI/. PcKKhDž|iPe`ŊCH:BQy)+EG0z&&z_"f Rbfz0҃`H<$('f1$4n7sCDvAAWێJنUGWA!\!ʦpm;_>bŊ% ?ķ;?h ^=ܰn^SO~]4A.N:~>YA;}o=&51'O0k/{R4JK- .YF%*F mg1OVZ‹:'Ӷqw@`Q]hӑe0J~@('2h6(?>Zw0LdAWҚݳ& _TI{&v[/UmHt1>!| 5yeȴeDeN`X^a DgRnD-dws)NZXW57DHcFRs=3tN#@?F?VDRN1ڴϝgm=; B J&vv[hP[Ѝ8*h$+4Ej3kK'iyMO&o]Nܣ,v1\&zhr]l"m2ćPӐ#%fp/{ QdM+kv5zАSѳ9ms^/TdYCoµ^aP7Bxxl~ zj@uYѨ9?i:4&k>ڦg\Ǚ21vo{c|R}&O}r CܠXYc l4'o}NྲྀDB@9ٕ \v<:zvzTio~B`4 a-G}G-!Y./=|NM! sכWնDA NPBIkfvUW7,=3azg;@߫*~_{[\8 YS9c-х56a_Z@jxYa^-VsEJd}s#D’t*٧~~)3ܣ转&66 ܼ.8VQmzh"]IO#QJIVwA浲.KaOE͝#l1 Cر+]% fe Brrξᙇf(phu^ܱlvIڶP13訇 B; 0;V @U1ìN2-`o Q/?l6"ANΑMZ7)4]I]2UuY ~ʻl (tP1Ϧ\Ss^e]lLkhYfŠ㛦]}Qu5H66πѠT,3w״k˝󲙀Γq,fQZXo|qXL, tZyZ { Q.biJMPO!KyUoBxYa?OP}s勬E$YI'v㤗5 Κ#l} J~d(֓ϵhăd/`* ZS)M/W NuIL<Ӎ<-&lAI'UmHh3Ƣ#(jNpUm٬"?bWRȀ=>3+\j SP%fo:0FV0b~FsRh!Ui/er/dk@i bZR)χ_#'djL ;^*J%Ɏ6sLۇ\i%<8nxbp꨿m%Y h>f"y z3FQolZ*Չ\+G@(բ]3w)XvBL^i⾳K[p X+1nV_*[)gZN"`0(R<4ѻ糠@&z[;:n6oco}f1n4&7,RBMo%}+E> Fw0ƀ.W&"t]s {?.exOоt`o @n}J1>I|F %= `ZEa9 ڼdk$*bGgGZpTCBaqX=I (40lexUSL0@BCIdu|jM:.4iGN`5 F4B=b:UDR5ِG}Mk:Z?f1\CNuSSݡU,$B!xi-U *: #M{V9IF,᠅0xsǾ"etnЃnMb!~xobCWmk,%O0c{-M˥FҟwuFx5ՐV,L/64Ir-tv'_}+=;H 1n$`~om(*7)¿ǼCRR܇\o_Z (4'_+!f@ A|群mSё MDF, %gBϴM}zafH })LbU(Osc(qs(ox?3\|kɚE"+v-x0S5Jeՙz;?=ӑ~n}&rC+UVG#3wL&x6­>A>;_r9fdBB/gkI*ϛr2.dQfnFB܆(zPd9La15'&l4x>lYH܆PA!eq!;R5_9I6TNTvgQcl<38m:L=ZRV;sFTd,yG`@|7+T|I#*rjURA:Kz-8 ¥=Fi&gŎJ=hiVbRׂM_=k`68̏йJnC|OI1K1JER ͚z%P x;;2SF~jCaN! WUkTkaz>"џ-#$0" |Td=l3{@ ϵ2PQ]A1dn'>3yޒ?Z9zMx`ulз]a>A5|!j{ZlJܨsWy8H_baPrBS2FSE 6[=A[b@f ucP5- [Si{kF47I`}EHs3tQ:xȧ+ $CCQnl6LdJUuRD<[&i7+/]u*d3jB>&(JaU¥^ {$jzWnzdXNI]P[tc*-Lz[1nrĴ Zo΄j8)b@h3-}\)4VEMЙ3*t5GI-lWT&:!0|Fֿƞ,R< vw"EX@D֩z+'j@eWVݧzaKs2Q$Uz ٦)n+ןc-F?t@Ґ#wh’~b5Z0YғKV_,S2Ϗ=D88wHe rfXCD[eb=QrFu !CZgF^*V#G" 4ӛ}0PmєL õj_Ln7B170!z3U561`-G,MHjf=šL D5&Þo 7@LilaLsQj SC2莟K;+lz9}TV^/=:3Z3v )RW5ƚMGoW%~eЛ׷->:oNФM oy+%5ͦpno,亶RB#/Xw^p Fh埒tt Y&B;e$->΋!=\Wg T9%h4R X-iT%a]q9y'=9Pc!G6d7<`vC}୞Tz9 uTtfcD8\ DHgR`++(9N̿([ӡڡ$Jw/򔝴e%Xk%l ukXީq7m[pǐ k+ 7@+ Zt!Guhq1XMcjuڧkvG]Ƹn\gaeTx+xU%nqa5B*L梑\-~:}T@OU%UPQR۝HRMqD&EjZE]qT)"Tn0JHT1U "1g!?k&|oDe>`iNY-Ⱓb:V^]%7~(QQu8b4=u#KPvL`'>yl\OqrO^6CD`cİV #pE8IVG TY1%&8`DC|5r%@헜$}We)R*Ķ.c `39[d(қq. "`2 QCj NR 2aڿۙ2@D>6R7uwrfJKi>W1_Q9u0Ob^kXrdJSԀ2*Oj KR+og(Fĭ !'A9sqzqà<xmrҧL }<Λ(J޲`aFx2\nT3q#C_ҳD',# dMFv_=}yƑ*%O 6&,_J6-.xsg8dB{JD Y:buIghRwiGYyi&StP3n%(bPG6^e}^JSapeol]$}N~ 4ϧW¹\bؾr! )l!wkR1#L(vwthLK,~JE+P+cuúYsyԧ9SVK{Zjs~~3:c+wTiŗIXV0;;(5IaZ8 ܰQbJK0%.0 r"gŴ'Y3`hV֫> $jG)ݤBd,)ګeƨ]l VL8oXO1ZUpW@_ a\ ?j/Z굱˯ܭMd:[%G̘]}@7J iפo4㮬F'J;$#Y4}c]`_!yM; %' Aj̈ (PGnF4%'DgJQEgd77o A*_zRO=}WnO+Ӿ|esiʔYէe]od {PRFZ^}oRF϶=Z'3+Y>-9CF_S*t;0Ais!ω @lI},6 e;n0i{V:fi&y*uo^eHؤHkU*ȴ5Q 3iH;Awg4!S4uʵB,gɭcu>_̟D+ KΦ#hsS0ycw[o&uY$\l ne/K+s}rD1]etΫlN΂,ڧKƙ[1G 3'szBHy[(6"4_̓nWbXqӸ9Cn_m:ϥ*x36l3ÙsQ7:H$ ֚l3u4|z" gQ$n`#wQWex$VBUL,S7H[[,8a@썧H?bMdCAJ' Sҩ e< *4Eqc;e!@GKU; Rz L Rձ6SH+>Fg_ frbL(=VjGlRrlؼEoέ, (FMOϻQ6u&;i5 L;k3wsol綣a&p.řr{m™l9unha[vĥdy:} Zt_:<6HệZN( ,dje(h:g 0t[7`1y.3TH)dQ ҃@Vel& Y|h5epvZ4OS: 0y /53SBM=M tYj)[t4WF!C+K,/!?I삇+M (#ĽN)ujK%5Lb#gDC|a<$u\EN&Ëe km Iŗlz5*~ZLbЌFu ̻CШ{r9 %!H?P.Ih9FiyQ4͝z2>/6e9ym|0*`lK&5)t:9/v_ףvi)ƀu&M}j' No|e_R^_zN_&ZhH~e,Jo٫&ř걊Ub0Ԟ7/e.qz\,sl1/|-iQcgVW*t:3*HQ!u՜l6#ߓI -vu|^LTX ?OQU4*÷#ٌ$Ůnp= ]xJZ` &E4ثJ2EZ'R*!97;6q q` qW3('&94F0B'}KWwz..@iqڴ@LA5y]d ugFTf$T. ӥ]?b&U~-t6:&iR5lhFs uJrXA;{GenLh쾀*܂qqaMDb.VSCQ`&-أcx4ou6lz&a?yKZ˅is7D_LpW wݖtTA1y{Cx[hTqk-fЏg;\s X⮕7DJCcL*fm=n㦰h th fZdVd2GZlK7N~Pp;ea&B6M p-2H݈eY4_Z#z$3۪91A 0S _q|pBg krR.9 U9re|ѩƒrMv}` 1+_ڐ德C677znĄr#L]gIuGі³M!np#o$,Hrc?FLDXe^R? t1D3m~1"#%YĠ( ;[6J͎ dUc`fе9s]iwmmMG}njz-V;U{(I*dM IkQk%Ao <>ebCnO"%|L,KRR}F);XΡJDtXSR`U1vI۬KVӼmF^^_G-ͲU@K)טw# ୠ55OHQ4d;r~3 8K}FLNTxo43q'ɩ &pq*ߟZu+'';c/SȰ6:RYͱ7mGCSz%ߣ3HBbLjw/kG?lC:s>"=xNzَS#a6x_t fU޽ESB ,eyQ]8ލEڷ#@8t$)&m%5rs`M=If5KRTz+">yic\/5ʷkp Z췧CS 1(˽s\9pύґ`)ǫ.Rb|Y^= Gx R+w1#rQ|U(H"GQYIK&2.iпܞw}I얶K[P ǿn[u 鍻rk/1jJE<]~lw"yM TKd;2"rǖUPob^Idre1j -+ A5R=[_KV]$rm[ۑ*-zS^IJƻsKK;uCђn[JTom_u#z5Z~(9 NUmGVi`"f,C}«b a `+pQBⅆ- 4:{E\Cʼnfv"G\!#k>׽-FJnCo hG[4_(1=xS(#M cWfd4!m3+-\b %}ͤ"ZcB f] 6zFtle-z469-YCG^8ne&dx'Y&/Gs}R@ 5sxF^9C[{aCo3̆a]U~Ɉ^TM i\R8I_V0! Iy ]-sS?\g/|@{+)O݂}ZHM57s!ۮ|CXǯm{lc1sH $ADlBvk)MRP/^`f.A0뼣򉍟0'-C0_<%2S U0]7}7&  ~^"`YL-Oc@)ؙ88鵏ycy6SBvbS|a͹=\Bw_.LƔm0J_,)u)Z1-P2۲#$:'X\IaZ¸JIjm: ¸A/ 1fDߌ?HlVpb۳yPb+\hѧRj%YH!E5T%rHBUpMi¹qeq{| 3i/]0 ާg8Ebl 1߻HogT T"JdnZȂ<97-0=R;9&ЖPD\Tct +tK \:FVxCy^9)ة3SpM1]ZW')銟D]+ ~%hwrG3> S6-/L=_GNBctsO)42qb$Ϯݱh]812U)֬t#W"n{9UŚˀ]vi ${qݹ=O ^IHa/>7.?W"2BYRo65 dڗTm=}k6. +4ے [$B79 Bwk Qj`+iEn^ i6\&D|h;E EQǓo@KW՜i{ḧ́e~wldS82Ew(V'cg $nOoۍz]D:&@F5kAO^_⹴tJSLA%&Piw>g0@wčlxpX\+mJwRRvC=- ^KTcw E /]C|+8d@j@}Y](.в&{t٬;.O|ϠrF3"eAJ#`$C\$ H$+^Q0#bjYFI\<͘f&v&%ā5]AkCYąnyWt=hUP84$!:HVbO(Nw`wX`:ѴM>,$B<^塊KU{De0N5S+!:MeD8p.xy:D6M; 5JJ~8No7BLE0DrU{/m"I<{+;iev ?Ʊw.bM]U˦^Q VL2*0/#r86h: v')ĒrGtS%..ݘT2S~ hŊ5β-}7EWž/g-cYrk