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 ddt#\D ]S Psi_Calculi:threads=4elapsed=336.627cpu=1122.612gc=22.624factor=3.337zXZִF! H%]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `ט-|X7J9 ּ/JV''B0Q;4 &7P,u[+60OeT7?vתC F1ŨvS'J>bӳ *v w[)[Yp0i g9ew"Pe`?Aps.4|X՗iRgsQB V!/-=׶ #1 X4иΧ¯3wg (E >0NxFF\.e5i'C-)RTmVX9ϴ5._wU϶ /&v:YR Ü,*]`Z{FVPQ1^ D42qhV{ᧉ b&Py(/ [i`XvqVΔ8Zw H)~j5Sz;d;9ثdR0kV:$ЮyrP.5#} '7/'G@KK@ |:&GI$ϗj_3sD*jMuJȫsYѹIFA:\n%mÄm e8# uX%Lkk@HFǚU*;'F z+r;lƹ%vJ10=pg{1^hƒ\weyf(DA9eopƜ0ʂ8+ť qez,$refkN*u{[ޥA6bFU짰 =iM4N9٠sR̘OBiEW5zf8hV|7|KV"gQLnyF8@[~|~ϧD[2יjȂ1+V*JJAM,4/>wd115!IzF/!0v4+coJ8SAW@A?02S=0yhM&kdШ7(2G5m{#M )Dķ썴Ћpk@/}=5{zĐAqr[T!m¦*I! >ܷo5z٬X`cm)/w :g6<:_m<* dGʗ3 }U-{-86c[ٱKIOm;-Q2tݏiqo>[A ~v4cۮW|GꅲoG'S6xEHɕfRoğPdtf,$+i5[ALGN-,l;\e2ӄm:2T1t\ |8&M!5C, vSJթc Eea!Grhqi2{hߴlfN8éYWl/@ָ 8Ήl}P0!mdLQ3x@wʹoc\? c {OaSj] x+ !F>3?I `4lzy}Q `EeG5F= r;=WB[ASe^ԩ3տA};Tv?Xw[Ԭ?hH0#""X^l5&Q2`݌S'SXhkʳ=ipfWd餅pB(= ?M\Li96]c(D&,%:=;wN'P폟Bo@&*[H6W,1`Ŧ[]lR M%Rx-n~m1y\3gm^~|N%̳!/"7[WAM;g]m`$>N ã2,LjI8pby64g:6(k凟py"CDaگL*s.[qxaOlef:.&+mEC+Ej7|Y:L|'84X%7z1?R C~\ۊ[WG^%z*3bW5*9..#F cBeqWҹ @=xv~ y|/^]~sJJf 5=ʕ+|ѹ> DV~r"wDB5[ w2ۢG^TP^Jr{f0Xbά)AVr3g%y ~an*Oč`)X)֒d Ӷhte*$;|GR9eHuWB|.X8:v&AO#¶DR/ÉL+E_r^CϦ[T21!RkT?r(y"#n:ȗjq)XA{^PN\zo~iۜS 4bf1Oc a[4-zFN%_aRӇ=a<1ϐSWdAF( QkQ)ˡّ1Ɛɀn˨4\9+P-&Sy.d:Q~=7;D 2]7εS1gD;wyab萄ȥVHK&sfaJ[jN϶<&m!:NO[>ơLǬ\ϣLo;?MvP#"/J,J/&{胧Y]X J LYkeAW@HP$5_ƚF0cJLAlv@kE MHjP}%<'Ϫ,3 =-X!p-.c4$99z1[RWtҸlSO ['ʤXFT)B ;䜐6㿬/M+:nK޽#5 {#s(P&o?'VtN&uYĢVN:kbm0'CFFɖAfӉCԾm_nܭ͸ ̹\`"` [S;iTtҥ}X9u1HF,xhIFUScYLJg[@u-.J2[Mt9{Wh$# sɯ>G؅RPCPHhDv?˂8½$/*<)v- 킋!_]wtylu12qMSZBi6֞5N "WbcFEjR8>2&CM$≡5bK؏ݗ[j5KQjG&G S#1ύΰ67(/ *.N}x8J&O/gX.S9Mn`Qr q?^F\Um+S髖-(@2bAXHi:Xq5h'-:Vˈ1ٸSj}A5O+ )rGD}p\Mz$هSBBVkb V%RD2$A? yBwyʌ\FQ;rѳ^4UJl3lԧi5~bk~[V3둁dM1u?]y/ѫ0y_郗e-Y8&~*ht9 {ennF3D-W@ޭY {Ġtԅp & ]{SϞɰWVXI5&0xD]_R p!G* ##ںM,a2זW)%VԐ-}ĺfS4^*eL%V\J~#5; ߟ3) 7HE~(J*qrh?8٧> eDN?DcI G\_Kbݫ-?`qP&_qPT# ?е1uP+kr6&.?7"%Sv~޺xR!5 My Lusk"; K cӕ+xԊ KjC1 (ΗZڷ">VAK EԽPYz"=Ƕ!jkRģ0_v_.u 9h&sxĠ3mvAAe)UG*u7SS$yl.5Ij|ilx}B55s<TDgYZ7zXZִF! K]ŗXiɟ˗̵w'Sɺl!\d'GsqlmzGǻVy+DT aC9 '"D3CM`AgY52fWAo]O@(85kT }\l5gLwNtRoJL99컭{0@;l2١ {쎝OwTpܡ/qM'2漹G,D)%YbUE>]njh'+qwVWe` 9tVU(iD: =4Y%-#R򠷁=!f*9Nai^W3#z!6jQ&>b óMh$^LDU cDx_#Rqɦqp=*ZMT_p>RI k-{}SǮ#b%'~~?/sP ޝV,fc./P%a3B+qb\E:0K`avzPGn#}.5bCCg5ۂTȥ+VvF$2 ^xѹf6!͖xJ*E?ՇvE/e憕x" W i6@_V 9|(ӽS/'2&3 rm`a$gRHCA,۝`JgQ|5)H)|V>rgYZ7zXZִF! h]ŗXi%ES3p?%=l޾k 㜍|D-/ڟ ۇu>i.d_0rq;6Mg߮xu ڔҊqWOXx2Z Hbg1C60c!l'.JNb4l̊0PevL}E'GB?O  }EPSGXI(NJOءkvI&÷.(fF6ác!I8dZ  ,{ H-]#MnD+8zܸ)QVE,;+{%.kIOatpǑ覻h r xƭX:= 8͆P{s$7!HZ#ɇB ְp`cUw/-4_w ZU,- *7]%1**+ZW4V_L)`?miw''Ag!zw]CO!0+ +ʹɒ,B]s1bRnoEƨ3!Fe|~܁\7[w*>vbˉ\PZ޳^͍9xvl"8uGeu05doR'Y7 o{VNEðE=KZEzps,=-ZK+@i8Y˰G_Fd94QO 2^meIuYmqG"<.J݁mZ& HŬQ?^W{ Ġ埙@?׍.ؘ(ߕ*Z !a>XV@M#a;2c :y#C#S8h[RW{g ]w1aOlW/&$ ,A9h'KThQLOd4{g'9V%}W|1L2D)]~::~Fn&W[uޚrqJo64b0Gޢls ۱p武^bxldC[!륒HGX6nY[ iP LaԦ9ozOSo|<- *tנ"jC(C(LUe\A?AAq>|u22W-tpMR'\*Ji?P3!R3L?&JQO}9AM1Ê'`eO^S;Twx5 x3hu s(J#2qJVA`@_l*{ uQ)nߤ<9*= U>wSUm91oX,kGdOB:SFY۳ޖZXpgYwDAIM{w J'jqkauZ2:?.\l풰wRʤyxM̿-UUkFpG0#X2h[Q@aOdFb46㏞T >YҲ@l:7Zɼ|S?F0*^_]tQ".X]p@}cVg+>!& .ת,]J@cHUP c 鷥UBME:Hu g1 NEhgH`ٷmj*&Mr${hyR '{kEr$E~rA;=@+p,Ӌg=H~~ۓ'.)JHͅ'/h@Z~@oۻ]z.#]tupFKgkަ}M#I;R\R<*P׉)]VFk:t!u,?Y C77{K<@)sɚ_U]dxK`Ǟ_=Ikgp Y@uT/eS \)"]l示xO34>q#~AjD^[VX?Xf~!螊ܬ92Q oɻYljMnNlG,yM"* hʢ`ovhRҪyB:~)w@`ye\ʙeQ J$D`w]#H?9[}y|aF{e`-Vk6bH[to).fj]2y; szmS{K1 П(F6|"FKFSYs5/- /{=uZSt\㴢SP¨B59Zߥv:OL]eX"̢.4)pg}j~oE`_;:vjX-*ienFd*&l b$,,TdlCU(cvFs0iL|W'#o|iգh.LdJҗYo|7\ANhdyf9#e"- xZ"e\ cŒ˔ X*jޫ{ZeAHam1eaL'w o +?Q.mۥ;_}zjgwTֹ$ H8jо%S+KRWQ?Y0zOb2 IVìK\%1rqk2r4_^9I[ʿi}1X3OGMoN%Y<_ep= x>ֵoQQgŊ#6L`=">F# Cu?3.aT8aglAOw~?O nFܛ2-{0Љ90쯪g@|IF=_Ѱ-hQᝏ|R;c6rcκٹENlQ/ 2O5P$o.KK C>t\"r+l{#斺M S`ǹ\{g {d_N=&2G0cQ:,8ݏJ^k,i* KZW`u,Q}TBB{B =2zTl(`X7%e$]@0yMN&Wbwh-񯱠WqG+XwU:}_qЀ:-Y[vD% ɹO3C:V z鿌 źX͛0à~~0R`?Y3B(e%r^nn|xO~7<4B,?Kvs #8=]< ə̪i43qDnxyN0?0@{8 9F*PW.L2r)N]/GNw+6Ey_]bۘ)1>{f 2'b3 LIrb3%@3SԿި7Z/θOuH*DꟋJgJ?Q"pЭ"'B^f_C`C;*,x.R֗Jg/@h&zfB9(J$4%]ry< |QR':A 0ZsqxzK@e|XJ74gw&ª$L5zZ{Ѿ\e%ytcmJ)_ABc޳tum@^|gͤć(0mLFy]"Lx: G3 䤮~dx\7o0^ QA^RJ%_/CGijNh$|md s("' wX Ƃ|&B(xz2.ڇur}"o^9{nJ!))FPkzC1i<3&2XYj<8B7v`o-O)^;n,GY򪊬:? 6{֓_ԋ O+Xt ifP&&(]b2$9@L [P'w=%:KөhbHBn q{賩}e [@(<3AؽuwRѱǨ.e_p_sJ(rW鰩 z:eœ(56y͑pCz^.>KA`ܭ sƒgZD=%)Z\F-rW!nC_z1Y C>1 qHe+HN)}XC{3t2}e"O>ujRrɉ='?IW (Bŏ{q~շ) @Fa?-&E3ghBf>UAr.LAS3&+O/epāmmu X ꃌk# Ypڎ{%엲ϫMLQ ʗh*y_Ϻ!>R/%zR:q9X[loYQG Ey"2z5ZG{2FPT bG; 9vEЭ_/eq#,e%uS6㟾thȀbfr+|@q= w(.4(rt{DY>ү_Uɣ`;@jG}cUY\5@૗:S!gXbV!1Ks}*֏H4UV 쌠OϥL)7H[XrM\\~ }^u='6X썏yRψfܳg}PťeFM!{k"ClmWjbRHZ-ĪXlVl_DZ;@&V/e" xlmsW"  Vϱ,%7m/ʀg]fy.9>+"~);ks@2ȯ/-y$rRI(e~D ojՁ:T8s6z{4j*~%2gWv-;u+Isoʭ O{x]_d"݌7UR01þT1=W$X ,,H]A\T wx6fiI|<7^P lG$Tٝ{OvLrU4}ŶV-XwEAU "+]y.PIU79=p>KFB,ϒLfnmKh¾ko  r"9CnU &ް<#4G.r9Co%F0Bg Gg_/6HQW(U B4wn؏_RZZۋ:B_X2D89?7}aQ1H::6(?hw>;}ɢ^;m: FqD~ciiPvu+@{OM+Z)m@^ـ/ 8i ֌ *m9ȟցzdqnkM}/]8 -%k~[(-z, L]@58FHm2*N W)A;`N<鴬/>}fm&An3Iذ B5Ҿӧ]7@~/' z͕F>>"aeU3!Kx%Nl=s䯐x(ϲ/|hz.H-;8B q_"}$W&zߏ0,ɛ_vq>Wu~CzXa5јEwW Bl#S[`8^r]6sUϟױ91;b. ۗ/1X@<лMsDzDW<0b4)߻vFވ0zRm:^߅Ikl8)eci,<uRaV2i:AJ^M@[ 1zXÜKҙTBݼ)M|=Ztw I' 0c*&]JDj/$x Kβ3'r|$r.%&, (6@t"hz cTN& ^JcfH(I$$jBURQ ٭@Ɛ p"m{ Qp [wTп+4+h#iWPUs5-*I7 C?2pJ|#B["-$m˿"v~|`rX$rOczg{/؇$X-(I\3@$K7FZޑ];:PmUgF(CDe5aWM[I3?n8x .K|']ɓ fݸMmJݣ̇‹ENH[JjE<aS_;b72Y @Jq,n#f{ãV HUL.nNlp<݆Ȣh;PjyPXi+#P,ګufdLty~RrjO))36N yKANw'h&S)x>>b_*P ^*W֙mk'^cm'o_ OLD kZdXRe#Dmϟt?G2hrJ 7* *kF0I l)Iд4xљ" bAok B|ݼ=/G&Q*<jr*b.Yﭷ7`UZ*Yv t-DU&esX´"陣UCTq}4-M}[<Ɇ^Q>ӱҲЌ5YPڽf"[}WthP%P6+Bd1b,_X}DQS`>F2 FFmɲ-`0;I)m|gJfT@f]+*-uAb2?\3^2rSug{xeD,MDL"ΰXܷF3(e]Ί}yJeZ ũ_Dc+>ȡm>ܬV Ǧg٣O\$Nwɲ^$Pُ rzB+8%rs;C,3nxcKc6*ŠeP_iׄd4ONp=NP"r7;i-|B'Ե؛`]c\z\hwDt:/fSsՄr,jΪoEek5Ĝ?6&iu Rѧ^B`r :D;:`[t•w?a`b W#m^ic4'zGT>uRt5E"9]nkɠ=L"TB mČqCI6ꕆRU|bցF8 ʸخabTZiR&b#gGƬY9֎4RL[O8ڍ͓Հqv pT/&KNp.v,?t@i7gj#>(-Dizm'c}$*3P=Ģ1F[(YڨqntPQϝPAr]`{Jw9xKݮ,FY}DCBE*wXM y.*,<@M k!eti7p XyT><=p6!C]lIxؔ /ڵgji'Fe@1:Y1<8206SN]nPpk`mh] >>PCټ& /=c`oqSqz}tҤ+i;Zz>='L8РkqSBv'Hd픡TLu :~fCc]^aWl5D% , +RCz[f et$˳_(jr[??Y={ Ol%|BΧ @lmA>NJTг~T:2?4f\w`3-iR.v}DŽ!EeOp-37=-n~G*K>R|lKիnP;VEd {uÊTc:ЯAf~D+X$B^?O߭쬙$gVտ}U+}ytQYאeZ[KwGPGhy7DigܱYtAiua;&s(4ΕL3>˖@cL[CS_ >Sȓa?vA7y ]XPխlE~pQ̚K;U0g/,ֶ޼mH5`xg# \ZV)8E @I6Ba^>.곾?߆6;EϚP~hA'L촜W @Z -A%ý.+C5 t*˴R J7(j 5&L]Gs{ElR%:Bn ; x%zDqVIoL}(ETd{\h6P0[[&2DQYý 4 at)6'#a-SIJQd0C Hqu(Aw_@? '~ _OzÝMD۟@cb߮IFF~Po \ròV #2l#/ohH rT2$$7w_B$+5[`[Rr{֦ 87z.b3“TL:&[Nq($X6iRN{Q~KƃGDm;YF: W,;ΛcjW4YЙG$TO?CRy H3z&gksV* Ʉ)9=&8 %8q3-Wy/C~M0h6t*-%6`;Ers5cnY$BVX}͑-!rXdthCt{1}i8Kzj.=}hN@"*'2yZRrP_~_d.?ܯFWsA2_/d/e&[2("5DͭqO^E>Mڂb45ύʁSF~:2A{9K>e C </m-KХuUο&op#t2J nZ}К*\DbUŕ=o/XSA#PPl$Lo,>뛸L_vd{{ВQ`mbw gts|=ltp枹B=WK;By}/tfl‹"i L[nPjކlW,jB8c' 1T$6z**,`> ׬P/ق(ԩ7Ds(ѩ{ "i^ek@DZ}D%;oVE@xgIf8P[PYC$ƴhfB Ӱ ՆM}D hfҶ&m3,^Zsmw ^%r5_oahٞ*+L>ƥ_m\+- _@n2JGA+74JO08d)Qnh]>>lu2nG['sR*[{C!XGoP'3 +C܉sC+,hB]i sKh w:_jZ|UºW,)EC;XHtp_ki?z$90"("W(g_@JdEj='0[(r اNj LT:bF+vKn!`rXQvڭL䫷Pdž2!DgUz5F,_T̒ltU;uMͣT&5S`FM`9 +8-#kI=U)*ﶉ] sf!=֞Tc!9r:w?'#Z uPr^ jv[&l cuuľC+HǛJKFk`e/IRa\L"oDžR}J"f'#a`s,ՄV[sGoFG]#z5r55bعrZ)9._+I廣7([kR.H@- f7ZWARPpN+e =hih C&4W_YQ <_2f9>D \~I1>LktfB?Ǟ?JM x}C/~on~9S\gWK.cuxbcobN,`Ov 6}g̤n߮ W@M:_(9`̈́ Sw.CJJ\l2, ABvb n\?ON{e*#AQB`ARk!LY1|%_g֡ۆ5&ܴ)=Iקc݂eh-|[w' /,C/3S)zȊ47Wm\Ŝ+vqC~VJ'Y:,.f-tkwUSŲCY$X)g\{4-*r8 04q\]'vA6U4 n+p$XMS9!;;Eفi8:u@}"Wf;4:RH ?‹Dl(!7M 1-q.9W!>$r"^%>꥛[D*6H3+I+Ēuse7kY|Rɸu/7 90m* D B -Ru2n1.J!yZP6*#xbszYe9Ĥ0@TeJ]h{^"F3|3 گv![W] (/&wB#N1Bmj)jh_WAG.hw-;{'Բ1=I6NjZ\UilFmJ %r|igi42L'1=+-I#19rPg k`_/:P{(bx/t.~Ms Y0ORO33rkdf$pM|6B::2(1R-T4 iD;CtBc\mťFSf"1L!}P:eڭ 3ԲlC6WT<ؒ*U3ƨL"3Oh"aRn͑ wy4w;iYd*6cSJhxs~Y&;@uY?u.}sta&%nU8Tr@p~ (H^8>&xk뺳z#E?<D585y꓊U1ˤPKO .?k+THQrLGb91G6iM#;'C6Jj\ "@u 2w׀vŬ)$&ϕ58ɮߧOD5]=t HAZ"AWN\d[8 -vqN+!f5GMD!9x5 <_$i@+(&ӪI.ˡmTL.4Ǝ6Y N5lܓ]@4A&pCU'LT[P,2laÕvylTriIPD}dDid+ cMj Zo&`dž4C(ŖP+RFJvͺ ?y #7 E9߲WF9'׆`i?nHIYd*z6Bպi_&DxF̾Dѯ9{GFO^.X9rKQ0>_%, i[yQT]Znqd(8JYf\>j{c\f$s\}!wJ{&uͿZLAMdbϡ2gv]EBQҫvZ`Y ƪƻA 슦QA삱{HSFx/"M*CM+a_(Pe?3aY<8gs8k tzF_Yj-w}űG̕z_#W¿e.$c=n㏑MQ0 ,aj;wWa!܆-5 (nA|o飬EiMKPp*7hN NN9 4βcC#8V]lTX"|bHw4z9E"y47cj]IJ'3]F=`/݇eg-z tEReJt&;ȌㇼDTKpXTɎ37e\[&0FnfC]UOOyjw/J::ig޼ :Ib0pV2Զ29[vbyn{f) OKo!'}5} 0>7Bt(!ݘ`Lon|e{ԑ/Wߞs_n~YH!M>"e"y̯v֛6QP=A;vN: cܙN8s4!;Jp̈ӣD~"]j!m~Рsǎi1jbrrおAz\7 Sr?.ۃӪ})O2֕-VVGvϐP]ׂ;Z!T\/\Tt@=*S|} |k úJywP6 M ،5y+ 0ӑ"y^srD uSoBpk6."q/<2KKkL17^Ϩ-/D'*+5l1^nW%.&)JفA'/ ɟmlDei:AjVG_j޾h> Fl}th4X#뚴1DT4p}k}h"lЬC]%Bxqjcy 5>WVQbeZgsom+)D">qy>;m=Z|2shÆ*|Uwmm; ~@eHlK%Ԭ9tm7"'%6QgLE˸3{G5gi#X'"5;uvۚ#dueWJ/uwTUE{p NIѭg7X;DmBVdSxMK7/?QFtxGj;7K}rX PGu; bf H p?_ 6dLMn^Lc <[ùF$h =aLj3O!HϹѽ3 궙-dtoOJO;Yb2dWy?\J(T7n?tp{ECD^5^ 䜗AN܊dd,SupmOvI$pS]֡4;ٮ{jM3kx+<~-S8d3kGQ" 1Fd4z`sZڧ- C"_S0p> j͜dh΁b="hzw/y0>.|'PR1 e1Y,twjsԯְ7.O2!F: =9*})lg t]_;9n!Uyk~~z",]DE TfQ vfc' G"[69fڂqqUVGpY@Fi$b=IjQ5W-i#a6WGg=6{. Kd1TD-hY4H؊p/6g.3t~&LB ܁Bm/)+< ¶_N aQv}Cgסz;De[6hZryV,:cB&Z@s<aD[EO g|痯?ub&ƥvC=2v\&ALu[pVP,`l(`=1LkT 熈8 #9* "ʿQI! 6[)jKKD$5ϐ|^FH;̓)ż +nz)_J{:+sb%Q^H|ߚ܈=>:kϥ1H2AU1wqp`;SSh/@PtG;1?ScI4Լ] u0ntG;+tޢ1RМt-R^Nb99Lx a/_E_!É4$nsQTU÷ڱÅ-l.؍|ƻaHXE5EحY؝ZWqf>zT$')~ԍP5ڏ.VKj9A*j0LXq}iD[@ר-A\g)Cz59I}_e\;z@/XfL`njZ2Pꒌ)E,> rwWVEbah3X"Zt1/]p닃# ZQO gMIXxD|V+$ esyy/.7,5g^[1"ސM976gڼ*z^E{ ^8}rz1$0120H6k!-t1#"XI. -$?lܘ)p綞]$- Co<Λ%nrB _h-:zvgNAũ~<1@ꃌ;O()oV8oo]F RCͻjvy! jVz۟iVC^ ( u`_ɴ†S,1[UR/ SmQ`s(t6sU%`Our$%lxk|6o?k0\YÄWnJD} Dq;`a.Eq3{~߷#lGzOptJ=?y|1YC2? EX- b'z|Vm-%oy\ m:y`塳ݲ8Zs3l^p@^v2Ol/a3,FEネypR~I=$jn.HvcL)C+W{b٩2_yPUB+H {6pZ lv'Z>b߭v U!s)xULfȿ_YT/nLEB pWj~r .% @gJ6ٷ,y"1s0hr.JKj[r6 stƥF~7CIW@[Ҫڡs470%)94ՅA$F(3I޼\LEaag\Ajy۵6(|bL^i[ :҅z*Ǎ8#)g618WRO}rN2gDJSp~?j'#o"p m_> ˀx.-?Xf.W$<E۷ m`8H)cݕTC8c+XGV ©LW0{U(2DKMۛ ܂867?7S./Aěe&,T`0Uo(TYq. u(zz`$I u̅fTwY=qe\DZd`/=˜-~ؗ8&ɉlư$]&uN]?uVҌ|USuh<ў^[cʼ0 c4.;KRZ2w%38lEC u>4߭+b)BE(j=e\=Dre:D;zN )}㥐L?m=2i+]/ҐEwTW.}Ȅ=mLꡰE* AmD$ fۘysǖ7Z;RɊ ٓ Rjo> 0`ZՋ ^j1C|{eƋpaiIyR_)&mܬxm$M-G 7H莕7cŴNK}c]oNM9/!HS:)7k_ djBQia$%sџ22-Vʴ}O i `CQvNVCcjtluثrV@u(t!y]{ [T.+dhms])x&vYëo(-ДK'Cs]Gt\XnGuD 07vZDEý}Х3abm0kjG͑6e<i/n1}"Zᮎfz€PP1WDU6W=oZI-*.@vu<>`,5$/mnS; Ч}. zoP ^xLZG _?Rm!΢E$Cلpx`Zv1cI`pEt*F ɘLm"4K %{0PXS7ojuW5F0kQia[qmj|F_1˹ڇ,6nJjw4a}¿ t2s+vgem>j#ROݐ ^v̬M6CL-. U7͆(Ū .:;T90l8v,,TP櫣$OQߺBzv/f!t h˔2xL^ۇc Ff``Tb4}@r)bNUwKR8aE zGOg|N]gC<# ޟ[A/Pv@}$'%buQ*HqT`%Cfhg.+ TvEꛠ% ޷-\{*>ReRA׋8w"sf_)m`=dDGܸ./NIyErAڬjZ"fSj6'<d[2 rqHf@nG\џs scX! 8fa.k ct NXe=|j4/U9jC0ibDsb횙-(buTQFB]Y?6ᶼ9Na:u! CkU%rd|lbacc2mv۴s,I{CAVNTE4_Q59(MLIo1-TzSKA\XK)*`:L3TXMpK%R@SZO#rjdOfӖBf n>l (ټ N|Ys?p`?),0v):ORPZjv6(2<L|tBl C F<?OG8d@ʮ}OHi!ӭu2CPPz͡FOM(w^ƛ.aXȶ#Y4P ڙ^q ,*k!qț:^YoaLUDʼ_Ni fX#ݴOR0&p7Ė.\/\Wc,g+% WԹf-K-`cƁfpakge9S'_v)?W b:,GXUs@ B# JĵKuWg#lHCYDbTZ(s>Ωތ)" W@1 wiR堯faB>0pg! /mYƄՕ^e5B3~rKUVA<Þ;My@Q'xl(dN,z^Ȅ5V-,) |)S 7o:A#C'GIhYj{.ï^Wn}5}xeY#+) DTsfLD ~foܿ\OFUI+z>4*ڡ|<*zqHO-'CVs:&tk,h/0K%f߱>|?Рگ6z_ِ9" vj>4~(,gZS &N`i(8{6L}}Շ7lL0 3515'ͽ~=FVM؃ )eӴ:h:Z sZ$xC;ca]XM:'΅xK*xZk`\ %Q]DecqlEi @hؠŦ JY-ҝzFz]RnGT$Flou# S?o<3J_ 1$-r(T0o!J|(iL_@&|WU_Vۖ1) 3tHgYZdbd5c00ac4d00a4d9c1a6b0a96f9bf576a7963aa76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 aa443a5e13d86bc4ff8f2c315ea6a1522ff6b534