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 TT54D| ]/ Concurrent_Revisions:threads=4elapsed=34.591cpu=103.196gc=3.548factor=2.987zXZִF! o]ŗXiɟH)0%o\zL[an/ A7Ѭ0@y ]ZBmvqٝ6f(*TySR /n$SPD7t, quKkQ 2$k+֞3@IiەVvs5eg ٠&UӋ\6' ZQ,&~3{G]4o~~<ºpWD3l)l`L\wcX<^ _}-V*=h v"Ǡy:7%hAme`:+ϐ 1og6s#K?[:y_8b=H5Ȥ~;KtѳQNB]3ρ:7)uNJl: 5%hhUS$WIy݂ay=kp uƯ}pcʦ8tKWOdVˉKkYByo{ D}գ < mxȏTO6|<$B{ 3MeUlp8>Vfp=6/: ,+ Sv]`sg64&y\fB_i<;ݝo,iK{o_ٕ3 e4JZȮplfo#ba\IX=LAQ ;s1fX|! {W1{K(fp*0j WƟgp*r5Qh/f BHaJ͜ҊPLrjpN=+uV n/AUG(05 =HO$qk=,{nN%,#nXt` P+9nPyaRɌ5fgWK-jZ!O(G KdRW]B,N^ U< 7?2 E;@zNf1Λ۔'K͛=281DR0gFr[t&tWL"kiJ6=YSL ߠC~hWeo$36QRD+J5A9VbFpjAorsRTB"Q,5VU D q {yZfHk~*-d #v@ /\w ACY:=OW)|$+?A7H[Ǒݜ$>=W2H46KFY}dF#8 ;PY,K_xý\k`~"|F?lG-%^<2H 4wF ae&aRrRc}' m1rBPd kXQi=$@Ax;}Nb I0'D0=@_0w>H}ء&h$}0<^yQ٧J-=f%I7%5"\fQjH!"^l ӣ%F]c[a*Buƍ*Vu٫4E..ڬS#yc"O o%*˛J9C.׎NmHm$H_v&CL8FSF4MFE wN߼mUcZzDS{zh#Y+r$ @t 8Ցy;q3-Q(oHcZ+`|Dz# 7G}'S>^xZ4 39\/=_9g\eܖdK[mVtSG8 Uxt7P`bO衾8)Ʊ9H"p",~|#E|ΜpKm. ڗ?N1_~ |<}h}_UYC\uLc`ޙP}`0Q$M!> h券U+/Pc-)u|r ?kalM*5s~U#; "H{c|/Z!Lu -xbÔyf|D9;cF^kn3ņ}z=C\ 4QtFeZ#>I߈VWxMN[F#w;3YV՜#o|j% |Fj0̂쪷!hKY&{lOҞ|(c࣫vp #{|"z. EkZ7P<M4o= CZMF W4 pT`/]ېL庀 Q%-[9 _ɧ 薊HpB'M)`o EVxΤcK˻3uۄ5I `gv)63Y)"I9%'_khK3yA-RRӫ}ۘr}AoOb𕴑6״f mY[iSJ-WyMv!/X@:֣2 ^TQ˟^7I$mxZJR@\#_/A<[1Secm8җMK-<Fp Y(^Os[=Z#rtL-zbw+ (J[]ҊHjK-&$8_0Ee+;uuftkڐ =tk$9P(@V [̿Y9Ij#aJR 5 Concurrent_Revisions  2Y?DbSOi*Y9 7&Y1+(_|Wls}%=?:9Yo_/68 x0$dXH-.{ӄTn<fh-GWГv/wbH("^tyFH톷^N\VfDLfLif8@C;砤4;4fšXj5֝Oٱ`M:f_ TP0 p 6To:@R]f@N Nz)^tծ̔%fRgLĞ_Z. ZԢ{~2Q;p1.Om^{N>A@:;2Ά1?T.-SQDkq& 5N iu0'eDlT3C> |ɏs]zN}jh4ju\0k2Ag\t9>']bVKGJ tFxzʤ`y-Z @Ozgen &.NeuGh` q{!U/V)l5ۜק@Y |)(V_υn_=˓DIJjT`^1(~kFZiR10baG $#`½3'U@9|ɧYn|_^ApS"dSLfő k)NoI]ܑjp"6}HɿZ7&`3xm&紻ҏ8u~:lszOБu}7ƐF YM\E?o:8ͼoIgnΓJls"V6U«`7v4*YhY_nȊC]Jd3 GLUTP8ԾKuA2-HSq/ք58yQᰗL;\xh6W^J>PjtL#0[Zs9,4 6Ih8/>95#ֵP k|L_S4 uL@&y.t 5|_dc}__Xwrr`޵x@c]Ñc ,% a u28fpk$JfȓI~sGd|DDnrW-2r+5sqL)ѫa[%cybgO$Xyğ iA[O)M3ЎuR7jIq΀by" @Zu aKf|IL!CYmOU86"o}m@Jlpm籙$m=6vB g.%a7Kqrx Xm8̋ɕV+XCI"Bny5aa:P.Z$=ȶPw@;cf8Fϱ$K>V}ڸFfIkYڇh>8" F gkE 1ƒN B__bq+U$ \ݬ\l8D/;A$|PC쎱p/(ǽo+%Pl "h:-Lۖ(W;2yrr3^J5A6*h9Wg:56Gȱ,}ٵBO#32 &ecL{Z\G c1΂Wp"?V$u"bǮ뾯ZYs%.!;9tJٱ=8B[.̓1fuO42~9ڕx.gguY|kA>Tf쩯]jْ*褨+=R"GO6a'OgE>d,OYj4W ?AѰKeJj1<YSn Xѝ1ݎ# è?3ZNbY{zw[=l#pȦtS?S5 ӵ0 dUQt,"3\G 1EԺ~F7V&t~7 ҭe/ %%6qu,T_+D7B} FE`iɵC!m,ʣ5J76Ki2GĎ z'*` 尹;WTV̈lsx7덶ew_1\6,iްҋ)~TWpf=4%%oL/kG?R=54V|(+h^_|a?{l?3`sVX*&SBŇ8ZƎ)nvkܶL}R ?fVD3}7Ke}(;^pq>.X1L= VD&Â'V{[\yKU*pD=Tl-`m~@*$d7G-Ir|l'_~RF֊T/GC0%(}8oD;pyńaɆh${H\3DyBb:f nkQE %X$(@qujH8yY*\B5J5 @@b2}N8A|R6pٍ/Շ;u: 3rISd-Qm,q yE_U(%lt}8 cKg׃A ]6$a4c/ej,^u(zCj> hfD t2c !(f2pܧ(wDxRu)- U8j/NI/\3zOa_z3㭲F1lr!YQVEW cC3C+)! Gr`[kj\g4V!Ѐ.{2}7L (g ͉sKNE匴ԟ^C9ccxí*³2$w_#oIO=zA?G/V=Qɺn%/EՎ6ϱWX4F%AH 0?"٫n5j-w"| 'a@0ƆJygOYOX oks [)h!Bzx,+"1嘙fA6o$b916t^a&dP1w&ʾU2P,u[yk2Ov0^,/iA&sU:>+X(1K&Ģ٠Cиӌ;zWՌ#Rwy3>Z#,f^N^ ~Ua&<OFA2ycHcW%|acvĖdÄ\ x@slz}VX|{[:oSPn+FCqj=i . ɬCQ  *;)`#|LϿ~:Kc$m6e%m#IJx.YxZ% g +nlM_'o9\ͭ/QʗDgƛ4(TO*4$'/ i{<׽e){ܑYtT`h?Ņn9#dR #" Wϡ ӜڦqY ZV֡bqվ JvU'o x۲TnъsaR"|wvE^ ਤAugGZ0 QBB+ZY,+$H2Ҏf%g%mi+k:n$RO@AY2r+%@D;\USҾ^z 8} FZ4"ؾIƤM8U2/I~(]5aLVGcijrOrIL'N4'J=FlZCIBhymSOLЉyTXd `V?(]N_ ĭOel֨n}GMD)gk%;;Z``Ӄä (KO^覵a[nB8i q:AP{@9on񽠨^u}1gy8LokW`$@qex@vSc3%pv x-xQb(('Cx%2jsaB狵p.(xqA =esQ=Ю5 (6하yA/~3(IR"v_߿{V})J`~H*zkGOU^>ZծN.а4|>gഓ%eo(XV8"ue#; ēfĹeݽ| `AlL6D\s"f/d3h{` Ցqvӂ}V.qd+lNU-qH=AkŶya뎶s 0ˊGUnfyҟE"x0 u[Naa)36b{=/XRw1-1QqTYlQq|O ՆDS|  n՛]~t/80A&d0LӲ0*:SG*[ι.$!@L| *͟McUS=Q)STS| < kVAɀehݩ;O}rmٞ;\C`dߠ/ԙ|cCsp>2̥P rQ=GlbJ}EFSAy&+'yb2"uvBCr U~6V_{HIcq2}fWYRG9I-&aqՎ35n ϟ=4u#ix8Dvx8uq ,Ű%S:8u!.vG}5q!Cr-xL/ڟPھrC_r%)BOXϦ5:!*uk8ǺQ3s} ?A&4:[ۡ\Nգ Dc<.us)(Z^=8Xv#Hx N#m&L#&w8g|@E?Jl- XZ[oA:n}!E&! myC?`A̎ (} e*  7"<ɴnY% 75_T1.W.vb 9q(Lh߰qPMGc?_82PpGrF4:BOs 7P֟2|N5 !i87uQ8DQG<E_~drz˳4,Yxe?BTw}*t|Pq~/ҍ#WdPz'eO+ϼQJ/0>kuoNaXI\?s?O>_O/PG| ͫoOaeBbchMuSO .bM,oZ30aVSyRnk'}iڧ07kL<8s0d 9yM 57 c5hwz5}eAmf0v59r&Ô¾DšY%Dwƛm)7CSԽ}$^n?MޡpdJ56 N]F:.ɷȔFyqBxߟ#y66j_NhbWk~mMlZO s~?J/WYtP{8ea5Y%L*B^:ӹ|RKi<'yzQǮ[0犌f'FcuqKpgg~!㋣l}&yёj̫N$տr3w63.S]ڞE Yu&bfPlDWg4~gT|`eL)$j(~>FQ hM7h@lv$`m? 2nLugufUGHHyM )Urd"DKAij0HqzߢR츙rR|o wCG[4x@}ɓ:.z64Vnj*&k®c<~" ͡aBCQH VxK֤HBR*dبpB T5^hRar̗Du BCo!lOsFfA?3iڣ(o$b Я7#LN\ݝ`pq5J2['q̵fЇόgعfKTBerCv%~lѲ֛iC&m@:lXIfgUy,5qXQa5qHĬQR;)G5|ۜ',Р"9/Vv<*,]v $ܓ:$%̰s<(4)Ipϐ^X|@!=8^bzT] zkPssS}; E qk?]aa5h5Ea47\pXU?j!4;'#X]@Hz5"ť{ƹh^\fh",D?t8{R51(w=>3"j5KIJ0en]/e7_.5bLdЇ>H=Bl|d@NLLxd'}_gu'^:}![+`P%h.ZRk+ҵ{i$7s.ˍa&{ڙ{] FI|=/Y0VSފ.YF B_ZUJ\ٻDVzhd;54Ӆ b/O$4R2+H6| [b ҏ<\ӌΫ6ms"rWmkFi!Y[ᒢ1G;}'`pHmJJH,Z!'g l={} cT1T8NXA@|֓v.acaT;g:Z2+yEkh%[]؂!pҡxs/CWmUҦC8cf Gwȶی^;mL*Bj(cR^yqv%%?b/Ha@P$ɹ@Eêuf|ʛ 7]򒨪HVcQ2C] m3L:׶N#ג̒1"m!?\:iԃEfV=nx¨4 OhdEB&X`./ٔpnK ԼѵNxH6@|wEQ@Z8CSrӿ3G~S&H.t0(@U(Q|L L` Pa{''OiāL5$Lh_RZ))BN߲z ^{1KE6GLyv{kBz/'cRu+ҷL ZQY^6&u. Cbd5֟,Y?;p.H9ӛ[{iP97 5`w=CEڼ L[YOl,@8a<~?v2/d1d K0I^]WoObȸ?k +@*LKE`#7E4OS3 -VrpW P@ΘF7w쀿D :xx|S\f}Llͧ6e&#bBeJ{Yv{ݜOJC8 %6 G )7M3c,138]K3.9"Q巧XϺumBn|RvPTzE8ɶv̬r_=xz 7F~Myb!vn?UyV# yrB n:" *1z?%)2HW{{GyL+'d,FuIX=xݎA{;.#*2k= Z$-mj4Mrq#IRHJ6N)yPy?+_U/ ,&$))հ1 23ZGIFcF{MϣU}M an_{] -E@Fgq%Y䇘~CA4hi4Gno6R漕f|@\oHT7S\ iV&/j  JrI%+B)*u|,jx]x߼ |5^"S 9x ;BtnD{u {rOHBq-ܵt=(Vƭ2T_QDZ} oثM!uLAaV-MkyN]䒥fso&+c f"^+ET7PijE#~K# !6Tp&4PѯUQL w ;:>ơ<:XUgrZZRCx28EN-L.HneL-м/ +/p.!;NQVsÄ9bkUiIL\z8-]M+q EbrG0\0B3Yn5Gq2,4rRHJ| 5t.OB4] 6H~htF1]Zf]G HgV .) 'CrRwEc+m+jg";(qrhRGQ~1NF EsURa. Z l/ɇmt=MI*' 1N6- 0;mC"RZUМp6r4z3X6{AiHTræ_V cafU c-Q5*;,؇LgˇǛ䬝h:!#hh?.R,ocybS/3nFtO\NwP"ߵ~D]+9o,eK*j.]%Xd:T,֡mV̽zq-]h9q[h4eCQ} 8ojcaN%_ݷzC ܃.u |[\k4m@QRPї€.H-DRjwb‡CCr$_JG8=FxrEPKEoK?tV0x ʳB"Ysշ^b—`A {GJ:0D31`濙V{A%3FҶ9ωf@f2KKo KjO<@g1yL_83 ^ˠPI%z*1m<-&tɖcj hFJ5i5t /W n{twJxoY|V7)\{6k=$( zkkH n]"L3"Q3N${B3XOxD+2IN'qa}xGdq6bCS;ȟ~mszw\6*UEOB0^f ؟{7`tǁ sE#ȷ+v$<= 1RN؛rN; o ғ 0I.EK?bw3෷="[&Cс*,Ϥ"G0i-lH]c1C|}HgE۵\\?Bgy%qQO b@H팍d :Lܘ7J6}6$jOk \8aOm-E"܋ܕ(&x뤜". |ٵ )<͊3RWITcO:h덎 zY9;nKZ9QTi̿ÉBe(|0rj:"$T i΀;|9fdP&RCWحJ̋`cJNl~ӋݙŇHÁ.UKLo׽5V>m,>ZAmd_"+NZYjIWĩRO7(irmG@mҫdK-+mnZL,}yoV>*Tgm8$F3g*֬W^5XZ]Qn_Wj$~S֕)Hq#gQy%@GKR6 ^‰09`*iN GO %L_`nb{Q5fJ]6?V !R1wɠtI*7tҖnS,K> z1uykd.qޫ>iHO+i-u-uql7yԁ!$zT&x=z:}zS/ 1 LoJ} ] * ]xH[t'L -=e"qF,v#jI_QEӢj,$Pûˠ z&p[O /c4O:f4,R#c뿫&rYGUQGLR,UCDJ,AhKh|ZhGHM:|2f-^ek_i7R=-a$z7E˄[F-Aa qTAޔRLOBB^Dk˱Odm>W;L.Ʌk-O3C Bpϕ]JzMԟ*!i5p 20 C1M[ȁI HK`Ȑ%vpVU;bv_[D%$#5M!\hs$n54l^ F)3TN L^60_Ta̒A/ri?⃺PRS"DiU|L?uB_coM 8+B$K}KdΌQ/xCIs/@W4r K{ECk_N1mՐưFd ^9-[R+oˬ4Ҧ{Xw]2ӿ- ل Y1jn/OLsi 4R>a8'C+S9XV\bt= [ eTMz+ej$lfsGhV"uZ' Y~z}jN N]I,>QgPw<`NYlG0SUWe p'-%3+O3_^E!3nM@'x va{ Li( zn>L-vK~lшbNTW0f{3;]Khyذ%ಞ!3!>r>BZjs2e?68{nG$1A O!P<)HM\,ỳH|ߺitSmsgC>b!#[zZE<' e B@Q\*s94i*V2ֳlqBǚ]ʨTD1aL I=Q7B|r3V#_ۋRD8N-:ҾDMN*jIpN`CIJ}:|kbǮ/?9zaVȏUf~KFnEKWB?/Ri^v{'\ߟ#ЊPֳe/zS7 ]_dbHEX<[$/ӝ:-ԀJ ˦O'ݕbEbBꯉF$q/8zhgx)-!P\"jDd#f doEƗ-o~NO 4M,5 jhg}r ?_ aJ%Ǭ0W>QażwF Y+$ ُTB_ @IZX~-|#۫xr汸'mqQ6bMv=8-kkY8,lyC`%=tyBdCOs7QP;J:}KkLGT<dX0$q ?֯[ڼ628 ,z7T6ArSBǯn`ňHʖ>sCv rQFMDԦ4m,Ry.KD2Ay:zd.) .Ɠfz-K=NWuC,TwxbU9jhu' u&-D[ [P &ZL8L<LsR ySmffsk)%2aYCvjN8 U!UMu"-=%J$b-!?a)]e+]c0>1 T떣v\B%*NgtԐ7Sfg1EI Xr Je㛁2ءwR/i-kpf $D01 \/ ު.%94Z6 T ۄ&An# < ON/(ok&sMP2jbS ,[5RסͥA跹.tk}T*ruk_hi29xkZCbƀ⯓v~YO2.晁pGZ>cM,8]-*lV h *#Xi nv&6ǐQ+Aj05,my":Y08ޡ\HG/(Ks%(\ǥ"a}4;?`tt+EGÅ ]Z:mv 98-:ir'u2~ɏKK cTᤋt>w\ww/L薙# 88  ^]F%kD?bJ^HW-_ yPE:m2vEsRT=7AoqbGf@鄄#cHB^`ό9oEM>WF%O0PNk7I"8Ns9m#皆͚Cxd`59HlyOqe IjAa%hеwB6 4|[vZw{ޖA'indY1*MA,{}~.D|@g)VUj\F/jT>f;ӽUxB!7f׳f~㡝< 1URmw_luUFœopqRH(cx.{AK5Ksζ*ldj {?j\R^[HrH1o=Zܸ݊K UxܮK }x~$KN IZs>Tt@E.Cva9r&di0+4F$p8QaU#=Co`*%gSLR,FT^YtE 7 Mup-4^& s#BDWƁ8t]a7 5XSX*yV1TYphm{DL,^;[kaUq7SW,G}>c'm=~e6H* )۸y_=(89eH 9\3 Po^Ͱ ؠ|?w@i4|>ޖ{2z˼jvYJRCs~Țjz*Ny!.Y=2+y-.+H S;HƎ$m7+C}="Abh2"2E3T.SI iA߭)喽b ?8P9ccV3HɑdFe$Ǘ(%bZxkBfmFPvv?qyfhsN=`ܴ]6s&WYW~Kh&G! sb zx- ƥwn7L0@þEVIAXOʥ@ f7u"/\I%* w.ʦ,-`s ZY3nQ/gbdf9:1 aFDM3>}K+a+Fefx>"I&# ʃǿ%KP=S e:=(jwk"$j#W4,cU4MExTgvO*?Dlpuh@R@;P~~ cv\N(vRSHwVүG3)Rԛ:8!!Lnf/{ Jď⏌ 0RoˎGbJ@EK5k7q6k"Ydb3 -tz2/ e'UZ*SYJ`=rS'Hg/|FO [*H3ʄh`Ϩ>DI3@fz쿝ax: d1M}a1$S?>]Q64b-V-plG/g;r+=h0nFd(C,!{4WI`SW[VYz0 v1tz$Aun~q"!nJ< 7N͐O\;x&iu% "^ #{±x)a\9d7`7b;_˽K+MX:GSp0 )G'p@BDn1)f=*z, +B/`c F"&մjibTMr"󁉐8NԢ2`DxKKg ;yyDŽG(< %KJ a"+@ђޔZZy+ޭ8%o˶lClČT =u'cN~d ϊYxw17 >u)Ep8Di< C;؄}͚zJ.n`& Wf:leMɄn9Xk_Jxh}p6>&OI1Gr5ߚ)xKuo.7T!\ɡ@Ҹ0 DLALzK _@}P JKS;:M[wLJrdЦXiNTެ񊞁"ڠf21ϕ$8)G^~mJ!nlfbYpsy["oV%\, + %VIbRC&W /*Ņ)%m]G~FEzW jo뀒#Ϫ5D;É VszVPKU*xY  O!NJ]?Svl*{* \z$Rs[P0Įz,%7̈5gW魏?ALITMfD;UI* mgg>W.#ur;ss]ifeF[Bql" cH^:K|y~׷6Q8کm-Tyc!mˆRaXkoJ (ž4\$UpȞ:y2/Ͷ-"mf`[>=!fkXn`hWX;^༦2 =\ viT.?L]*#`mi{dg=0J)0_DɗDPnO)y@~:N³{fIf>\X+X4g8ͭdzTkw͆ >nP!_rX:,5勬p9ɸ ٖOS~Xt8=Z4d \(.<]Y^0@<*6mi$_>\(7<ɟ@y%'Hcmm^{A{#X(-?h-0ohhW@MW$GX6(Kα Џ PrDg6ZhE#+x[`+f(gYZ7zXZִF! S]ŗXiɟv \t>1~y׭b<` jl%f:zq x%0=ی&X'3be:|G¦?]HlnnTI,SޓC `B%0M{#@#Gp^6oCĚp|:gmcX|zs_bBb3$vm]RXgYZ7zXZִF! 3 ]ŗXi%L!l+ ҿž]Ao:*O7wL_eoHy(4" -f̂@ȑST;Ցl简=" rˍ[鉂{^>>Ԍ5xH S? ƍ2+k / MH. oN\qgz_K]]>$;dfӨZ<}JҎ؉꾚j`j(y[lN#sVu^amLV?kx:Ҿaʔ*~K4kR|r *"{w$͌m1k=!=$rxZՂ:W.I] DQM%6Uh-KjzT=+8lz2DgRY?xl㤳8 0pE_pq:ky=>l.aI[V*$~;#"u+f[A]Sgv-,J,XV=FVIĻy ;U m`Z "oK!bNq{,5FъPgw\(zT:&/s]\\xoP'eC/q0LJy~p:ͼz'LmD zW~ Z@Ddj SVڣBT~ۼw2[o#aWRˈ3,? 1!s_W.v ?$I))؁?\&c#fYv+݅Ŏt=;Dցxć%Di! Co.$?嶻埐J;;HQ89N={Gvšd sbMBB 4N(t##Bւ(ٌiտ*0ӓA+^1*~fE8sHfI:ᑣg{M+mpepq+Hk|[d\=^x0#O+Y۝5| uCUP!A1+/^xtw5A& A=l[.ZQai?Dc .Ueَ24 qhB֝!ms[I`J,C=aV<,aWSyelF=g%0ۛ$;'(sym٩ȾinpQQvuPq3EARݾ8 Ya*8@I3#꣯Ҷ@.YM*5/ E1_'3.i<qKO1|LPp]vuF8埡 kLbP~C0UF΂_JLoxFi3phy g-c jO Zix v1)FMD>TҖsܖjqʼn<ҷ,y(.j+/6㛨e*cd1Q]#ZF!qDUm 'X~nn`3b$DQ0eW f։j+Ω7ĉ4 \Mbh1 쟮h!?B\ݩA\ :ʿZ ?L! /BK#ߞ6rY$=S= m.o}TxAFHvVZJ33s## =P28=_ D)V԰-*4t%0 >ͫ6q\Hi!DeQPEdEnl3OG48F@"R&ٚR o@+R7+g#R#^C*4<=sp-~ez~ԶWHp &jVmef&~5'E62FbWrZ}k +|l$2aWީ؟I!KL|:quW$=L^ 'X/\TċP&hZVli{ [?1|Qead54a4vL֖Puh.ќU|[8g}zUkZ