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 % \,\ ]w]Sepref_Basic:threads=4elapsed=24.080cpu=53.644gc=1.924factor=2.237zXZִF! 縹]ŗXiɟH)0%oxÏJ q|wC{/<9hO&~ܸ/JJ ^p(=LZ!t!x.*fme brvzMlqbYK)+>6+ x%Ɛ!QBe"%~ߗ([Nh_fWy:bWLrs|!{[V=OKfUJŠI 㠼EV%w1FqDw_uos9h|%3!4Do`Gk}υɈ\9 ޸t`. ]մc#0FjTfQHH6VrZCwa #FU5+֯ }qj]e~U` 5P͉3UJڷB@b+HyMa'N)6 SO;'Z1c&*10z6Vưҋ}p 8Ǻsiy-2 AמJjȹcňh) i1-ho&QvԹIQV㯄c57#a 3h@o9#kr% d#?Rf6TIАa(;@H=GF"ȗm+}ӕذ(˝@^u|U%@Ȑ@f#c0;[Xxĥugo֫b*X?`歸2b)Pe{%n^%/i,of*Tɯ^Z!lzoA7_6d.uSaò{ovօexd,#|))J#k{}+&oY~'|4RV"qVJtmd1AM!fS\v"-׻Y=/r 0i0~}JWqL\ߑ"n@.=Ǐd<'(Dـ3KJ:~knW^05T'$*UyoDGy#$!Beb #PWV'(G<)pϐj2YDJb.Px\ݬ^:D:%2>+oan(ZheNOys ҿk/ 44V,QW >Թkt>5x&) OGh+ˋ+`\57'[^{1 \H@i6>nTJ> M|1hJ_̃PI|.L1;&C Wm8<5;qi',}a6չ"?@Fh|s"j[gw#-pA03QB[/ϾZKtpV h2FGmǻ%xL #UNx%lCWITj]"}ݦ``va8Ѓw--3-Ț qHRyxv/Y#Ͽ'':ܑj^,< L,QB2 GSA޿ Rz@U"JF4G#[}UFtcܟ<Pf^) _)Mmנ%U<1b/*n^Ty}DQReI5V'-beۭ~bz~KZLٱk缫pӃm؝?a_uK]7bLٓ֠ kL48tb"(e-Mn31w*NT~)3; 6DqID<8X 8Qo@ XSu3EcZNN*"ۂ=JIp~~=&rDQb> sp["4ۭTo\FSV̵`=',Ƞ%7Km~0uYDF?헩2Yaػ.D2$4_cD:5 k< &q>wZk842KI”sW. x U2,ܽQA#U--G|L)8$JJ=%FLI[=2-IuYJ=6g𳣎#Q?Rpĺ_:I8guyWe%-0 AAmp^щ_RX}w1J^Ϗ= ͘¼/A' y$p@pV?- ,5몠;|돎p l>eU~u1MYT.Z*]DA[;e = S)g@j ?S|.T+]vi2"ܼ Eyl0l)}פd3U\'R2Wi pJvɣDm]>.?Yu^NqV\6j_ؓ~Ҳ(VZPy*5 .D]2ycl{0v"1ؿ`@{ ÛqV'AaJD :cn MiU>.կgIͻ!9̽:› <.|`t0mo9;wh!4rsg&1X2ā֤Ua+%u %fc '51W]8J=AK'kC͔@c.<度 ľ:9w޳1P'SQY>L=W̡+@ lWRdlIPt CUԅ$,4o\tUYJc;VnrXmLj,ҋhph{fV%Xn#Q6 @lNr_І(A)3Qڀ~Ъ(7`dy 6Q4nHl}2+! exao^%=gj 5eq }!iHp; @2DPP✒NlA:tT Cfu3:J*]=5 lR8[+9 OW)O%lM'dɒPRM? +AIdǼ'}C[ySy.G0~#=oEs@{❬a4>,Z5r:lJ6JWCDoֵ?#`Pb8ɉJ⑥,d!@[Z-Tt S#՞Iq5ZgguHb3g+$rU˚"4+ 6ظg$2qhr!8-dQc~ [Mm=L#;~*3kB{8L$prΰ䇆7ݯh ^ ҍ\="5Etm{<#&CH泵YKW%xc+"5WJ0q^aqV=]2xGKO#WgQ ~XM99*AQ^9BɛxR:#ƂËh>ʰg_Ut a΢NGI9z.x٨w$,8{'[J]yN; t ((T/$& {<X"} tVIc{0}3/psWi7 c̻fۉ8fp>j ,Ȼթ239ϲ 1;~u)azʆojZ!9K/JG_~%LE` t4W 뵸߬5BWF]hpژ\N3c*`po4̊8lnNG9!5]7p(8K H7_Xf%T@>w &:~oXGf p4?DGp1-NcO?hc0 LFLIЗLO?W(׌P+~N688N^[m@{",=8X_9/TsDϼ 3tK5PR96%k5,GhzW?leGAJRn 2tE ~UW+zhRVĊJyoJ4I`BAC"BJqӿ1:RQ]6Ss%QL ,TSFIVo~Z(Xb߳dW{z!RҞOxcX uq1Q IP$z4捍t#.Q4JRԹC+|-?p`IQCp6ݑP,OEzLu֭ JFF 111 ?)@Ӹ!̔ߙKHO]43 @ L;ioL|lܯY OG7,wא2dHBV a?]+znx@G%f!vD%w2/Z+/6ɔh$ah\-Fiʴ EPu3A)钩f穱Iy+bڣm܆Tyk6Hd+s&oAj {,Aϐ8u~20 n(S͈ՉB&*lTJ3AǽEbDBHN!; jiacƎi=FV9* F"R`uAB-bevkNO 9]'EDog,*bˉt(-1ԏz.cB "F#Ӭjjlu*{8B|,c.,&{OI Kv!ŴCDsxc㸮Wws4M܋K}6a/jK̕d7_^e_ad6F<ҾGʰO36 vMC=iC\\7m%fuBR,Ξ,9Sv̨K3 cI~@gEB1Q+H4Z0(J&YYFƐv6Iu_m seϓʀ9lCΕ8L]k'>֤sݰ3g$=Vj GPܴTGPku'{}Ca j*v՚E[Nd3'Dڲ'ҚκbGU)7`e\7S 0.DUHj߄O|*EVT \!䶈o?"&*xCv'Pg$; |ũ4tT-4~5k}g 'p?1un}1y+8 Z^JnT;N?;qT́3E_q=qۇJhZd%ͤk1nOuv8|iu4a()+pgakNHEq$!Mؚ5a_(~ovb?ťdzeK.#^7)~fR +JKM's8eQf]k>'eX!V&?/>.Y, ȜMh6@=]P='&-0"ÕQ5ΈmG&{+DH6ҙZl[u{m&,Sw]5sMA>}xTG >́ gpfH\W6)mׯu<ڧ䝿 {$pٷ[f9hda#v5S2z>W}V Lx>SUMJ.xw`c EtX;= f|9SMɭ^!`9Y*$#U4F1.|?${mL4c^14 fQΗwȐ~hރIiyW8Mtj:b'c8n= va8h?CD- Ӣr [@0.9SE 9 G[%&P3k] u[-@rEiY;X%B'|ߏ i\Ev?rFz/hAѺ) G*Q9;WX85!oO3z8\'8e;GLcwWoz ,kL>o7 d.H,U .X[zԃ~a.xt-<̩H=Ooy%nwH3fߴ8vI"sI* V6M|2^=j'#O{j"3VL䩡y (ir{6"$P3ovWD[\NHʰjy.D(\Z}6B.F9k! )^aAYdԙF Sepg3 &?}K~xd޸@Pek@DIh!b(e( ߧ5GԦDYrifʣ]sRR+71mRzL?^]+a,E&D} ѢHGُ-޶dd]\ǣ]w!ک?la;M'u¹•AlR~oo~I$˰Z bR&xMS'3n*ijS!]{)ϗO6_ҏ yRv=7JT("z`x1 }#MdDc&C!p)vom o\1ԁl8OCZqt7=k?ruj!(Tyiz2zˍe3+_&6l!-өŠ 5]XTv\DE 2t/JM;,,(`1,%&LC>-lH%J9ɕLLx4BsOоaI, PdCqzSϯr'^56dQ,0uˌձ:yL2ϒ\N4ZE[Lb4oZ HХvh!Cf_% (< gt]C3G)Xd-܉ǐ7K%d?^R",K쏷roL*,6 s0a>P毭ZE#M}&DJ7ϸMS'sJ3'oq}WB9)FUcɉodUhdj4HCApҤUI9 ƿn6P~@kᳱzYO+VpLW_?zXI!b$3YdB-=5idSu_KZyxԧ㍄~zy/i{>3n& fTOLlTqXs9 mD僥=1xZ>DUHT-g8qL *b)lYxHʾ}#!\m7wb.D]v4+ Gf sDߕɝxϘ ܞϋq:7qV6$oca3݂+\QԺ%7Ko՝=NEAmOQ|JО9 FřD<?"hC1[gl+?45ici#h]w@;AG}N<@(5v!iFXmc~nnチ^0W5&Y)Vƭg{5'*L_wZ&pOG%:IO*Ut(ylG/$ۉ߀4!<99w=1'~fxs2L/ځ0#CϊMƢɯ(džq`SBpqUG?hK5nt*lY"7J,SGsg֠< y6]c<Щ{Y'v4ΐ6oò ca<V [#I-fDV(#u>|BHTf:䈃CKRm$t;^H\aI*ukg몊IZ VYYդH)e[h5A<be‘Eˢ (Za2OaI-40+9F3W]ϺEm&O߫wY%+m(s06e]nlPx0Vn~Wqs Frv^'AGa`Y#ږCBS~5a%dg%5H%֜*4[F+렉KGUǚՎ>m(WHY"`Zj2j8~1>B6ft8an\߼G3݌==JsT#m_nsHO㖻IU:c2cej:Aؙ jJuH"C/v79W 3w>}BX_][-M2sKm.wn-;!:3/.ywk5B+7trw}Dqe# vl_i"qU秧PoD$#$qQC!QhqJ]Ekcg_Ll|>%?, aȶ-s.;EF mG+W*GOgVuQKϛ$mܬ2?7[>dqfKZ4tʶ:%Dpb$S$On藠$ؿ0@ rU;J#@=ediST*i HM@(_ahZϰzC"#ܐI}3@ MmU̍`X9F#+_J绋ҢTEs e>M\GYywx@$|]h4\oIb3mjilm@,?M_<5P5\끾Bϒ[EbHxFT/wa@v{.L tCOD c%qd6j{ɿ!(!ˌ/ nUè( Cn~F5X !+EJ>/0h]ߎ1%'RΑeüwA]+ZW@Y`ϯ¨JHa!\ger_+5TJK=24F2NGMƥ;7]KMfC8,ԵuOiESlT#cemfA'e0)"TY& +Fk+ T3z&<}Sq~ @9.uP=xpfҺX4<<ּd/xk[!`u8acb+*A7+~K4Y )22 Mtt"#nԮ\ȋ]q~_a^ q dNMWTQ[ATUW>nhqxKQf:;B%3T\&$–{-nҞ-~MV ƒƭG8S 'HƩeMI/X5Wpc6-}oxh "+^(qʘrQw 3xPZ5|>s*iTǤ塉HXGA*y3ܫa 1w/`?ƯȢ]P3 +g`|d> nE gQnqTN$ߵ]1 xp/ 6.N o_64jH,x 嵷zHOhY!8B¢ƽ-lj~W˞BVv /j&Yz "@x_*w4 Pne'|.CKLBڎw? /eKp>OIC5468*ydUSzz6 u S|g7rT}hC"\|?WQJ5S8\ j'c|vѨd+;3X"8ě9978- c"HWSm|#ͺ|!dT^$@jj8).&`eΦҧ6E7o/b=s1~^p0;;{n92e/e ֙*q5N~߶uJwpŨL]PH?0|X>X5 3Lω]5Ɖe^+x`bqP-jc`7pR#m4ms V =;VΡ쓖_' bwo" CȟEv4®4CWeǫ/+Īe8Kxt\Wq9ysMEms0 {M1y}65|{k,*̩C_XfIV:eZĥ.4ĸ4E|OO>؞\(O~NDMPm©<j;{#qeG|113]gA B\u~ﲅl"NfyABKЛzC؄9"EI-}QdRA~U //]/S<kLi52tSsq}}"'Rc ľ>t )w$aXjU܍C>"S>Mq>*mAb`+IA_TF1)pq+ AE{Mq\sa7GSEyCQse~{MꚫNSH'M#ykme9& T/O?޴k",YxIK>;Ja0rzJ e4 ԇN Zөy~~s3x9pZp*0=W,A|gkHi5+zY2q8j@cFx.Q|( Jێj؎!͍EʸAFխ<ntZHiM(5-5='Cr}(6BU-^|jam]l/o-rl P>m8MٳT!Dnk@Yj?.C0eHi7M$v&caw@_,wHGfxV޽='$p*L< /5*;)m6{ܣФ L3/M\ QZ?ȵ(㫼&F0ځD[uӭF5: v1>4DqJV{pbI8ۼv >픷Mƫy@{=m)tcrEAnW.<꜏Z40 ߠLNLye'CnK9ïr4uD:/,o;0 ab[/fwcafȗm_-!y`ѯgE UC'\KA>.[a "ϝEz Z9E c9AYq@SA󠣰o3ܶ\JG@ѣcGAӒ(!9@̺s5$1x%B]9ݷUNHRpx4"7`}XQ葢?6Oy{d=6ɢ \{ ҡa ؠT Zr76sFRw^K!ơQ,i3d.1)?M?YGZDӿÁh31zal8>]vTL ah ]zq;`vAǑXA\FZݪ0c=WW׽im[X+}3?h-Z|g@dIs6S#`؜SS9 &(iүpqW{&H*‰p9/D*%|3M_DSaq@o XĬ /P;2t=ze2xsmfoƌd=J֮ȄrFQ|ǫ=fk+[uvc dɪ%2d,uzxzN\Q܋.:4Yh77}J'6m4l7A]f#]7f<{9ȽZF7<pw'F 4 _`_KHgX*Yv@CLU, bAy޿xtbӮhjwb; : Ԣd[xoԉ$Tk6Yn@6]B‼IN#we)āvCNl?">0(bD[iNԟQ48bvSe7._}ߞ]d>'s_*V 8^pXl"XFXG!c,#p8-`p6pBu_'ժWkG^PA|CՅT++p5E.``tL bېHrӍ` aJ[qfSpai?sv$xW?F|&Xl9W]Cme.LNTRh4SQ*Ys)xWAvo*DPCt>a|r61lj{L5;3 59ZbbWyLρGw*`$w"YI 1uxC$ !$ɟT T"f)Ϗd4cȍ02#z`lTM#"@u2Km3'ϝPD\d_ ƻgsQXPP Y)3Bi!k\6YiF4g}4_s9h!oBS_@0 -3 r@\Cyyƫ S`ՕL8P?FΩ!>'Y>q(Dȳ6s =]_Cd-T,ؖ&{Op%˨㏜TZ<H3)ܕ ?_NhE{2Hv gԋ1nKuDpĥ_c CCjN ηCf&y{5d!z9Jƭzy>8`.{LVA`w0);*#773 r(Ur-嶒"4jB ̲TA!Y6dցt6j]D'69:90 Ky]1n0dzM3Dmj͆`R1' (|&`HY6Gݘkn{-ܺ2+&e} Gm B68n2ߊOBz-k=v9ϖRg ]uGJN ձbQ4GjISKṙ i/0IHR.TDP8yl1wGEEЃ5,mة>ğLE*ǹvsQX5 w cLˊtQ(2QPԌ bZS'qI* "(eFV߰G({cU!_6xlQ^y"ZY Z!f30j'\i) hg^K bd0@ۉ>ŁaJ7`.i]H;7OS H{F #*2TPo+WG\_%U9Ueq/ǐEi@2[tiGI={B߉Xp\z`F(:cʗ̑ ]8 )OvAeBRPU$Z!CgPzF*زd柔 5}\0[eaK^Br#jiWg +_T>n^=)2*D";1 vZBٴ Y:Dnᰐ;h?䒀ܔ]Qqe@h07}!ȇXrG^ ^Z栻_ rsy7ӌu4A˫iKEbw礣ùb0 !sDva*A$٘u8D ۳8¨׬u*۵Ua3ċO O$#UVQ[M>Ik߰+a$DgOzRc WwW <'J( x*-x(;+W e RMÔq ]w_fS/$gi)NA5"EÝ:z3mG%lԥ t@#[ J1y-y-h zq0WYDd'Xy.l>vTד/룸rCLu8N/,£1:G*˧_~PBŦ9{~dH@.oa#kii ڻ}6T0l80ltO4c?w_My0hX֒TU Izx:xYנ7|%V+U^%;H&2ڿ ;/pj^>>P0HJ6)FY`2jũdZ31kaڋ@e4]L@Z*{M;tb@@&D/p--{U/ z8cLOe}On+vE=a::s܈ k1X3!ȧ9p Yr&PMKuZ >ޱp_7߹Kv>*<,^*n*"#ңZ{X`~րC8 [O7u%9gl_nXE/dqVXδYa}n+]Bʻ v.i7q#k;s^zSŭ \v!uiK]'o Vҩ Գgxm Etxjv؁ UÊ[(kbbDŽ5O}#f_;{oItL[(=Lhc{ OeatC.~n yڪ*p.e,}YM@l-z!攅3@<G%ɭim~5ox7ӗd~A䓨^ș#/#,k7VvS/b@)~N GS L`m6Z8(@exoތoW׽Kn,+P:tūEXtzmqsW;)m73[_,.4G@⿩{{_&E*'X:׊,_ i@)DJ{Nu@)yN@YdQEŃ7@a4OST]-Mdc؃I]9{5}B"YӬNq3Isn-NV Mv¨5.8.K-y1? LHR|" ض$JΛwǗH:?$?aBh#4ڽ4L¨ߺ \kBjIk ;_*'PqWx089rs8+t\-",J\1%Ҟ7(+Mbb[R؂Q(X>@c{Xv0,!Xl>Y*>(SfDy%+* "U.3s:KhN08S۱9-?FTR1yE➙)!B_d9#PKEwi%iPXЈ@PSU(*cȣz#U/uc$D(yXƸWqiG 7 ={Wz/+d_}@O;tǏN̓Bl_=5vp4pv|t, $CؽKѼ@m w^nR/L?XSLԷq9(\^6z1DY_#[ Hd(H+ሡaPt5ޏ6@¡_$|oHC LڟMKn|zF{GiЉ} LJ<}ɫZ|;N54Z-l΃9?I/:bTI 食H~2NOi&hrnxͲnxGG W0p`K1aՎ: "_H ceTs|쾯$EʡN'q?4 'Pm)OM5a\Tk[[֙PڮoiLP/ {,XQGwr]Inl_y>eF۟[~ZkA, ˤf< ɂ*YR:y3=IY3 2zm jr^'E8z%f+D l{h&5+Uo7=|YB9n#/E_vmҙqͮRB'u<x*-ZPWTf +H\^C%ɿ\TYĽb~0#)6;b@%2ΈV>$!o_!U!˙D cnyFTlk=OXuTlVA";u)fQk`F>!7!N I?LNd1a>" L`}pDg$`CR/-} -Fgt~,U0\c=܉*?ouk=Kg8&G' C ]An!UqcэS vłޑInJzy/ecЏm ulcաWz/0|ybT{WsWs 10K@_olW~] =@MJ̃c"R=Z6P'qCa +UB'FPٙ9%Yd b4j2=D8x 6dwf7钮{fWDf+p ,q(kT!+/r0Z=LD_ƙu5G:(Axٮ=BEӀA=] JCq[Nޥ{U( ORuژԵ@ϣң a| 8T}/ #v`@l]RლWjE$1 ><.5O6GǦRYJ+%.e9il8SN ge:RWݳK}A])/Jh }g$ &k76\&%E's۝t.ζvGJRǙA'M%ɞ5X}.xS!?%Էkqhls6}hQʍ<ϗ' ZmRE' _9(giمi !LPM%~'ڹg_7_?F<KW)`3+ko$U |cuiD:Z#N_g n14b@QobrKb(~ie6LOD +ԭSIadGFa 8}]+%8 \zg!t8Ϊ%^emHӣ(<t CTyz]oYHeEY 61 "i.#!>-Qt*f0 #l d\Ks7'Q !] czb\ƒůN}<w@86pOC\>F>`bXeڭ%^ӚǾ N%KXJ/ij PHXU@Ԉ!5jJ_S`&Ci ZbmʡJ`I\RǑ"e|d37=H[a\{u͢m?2-ٟn5;QODl` zv<.rKF]xabm|Fa^-/a=,|F1MVHb[tH~MQf~䞫sUT_l%9Dfc輖Qܗ*R-s="/=PWn$Te\)7xׅJP\D\GL˚~!Hiz[,Dx!nE9g2"R8L6IreXy Y1@$ʜ@@@0(b;M~ꘙ_6GB'c"2(.O}r7&x`1z8N&6)׭D,+YwK8yA;Nj2gj>/'pb69帼,fkXѲl\W)-[̶P@[80}ktY$]%?= Wm*X9.8}:bC?LoGVu)adUaeS[ c89˾ʔ'\00뵊l DTU[ @%ei|Sӹ+ ,K#bQ݀p-~]|B*N74;47Ŷ]\p@2r_%WxI*[d#q%2xR] V:2<;a~Ch~n 5<19EU)ohgtSY~؞JSsPB$T.ilcPDRqeϕ%b0wkɛcȯrK97Km ̔T ZG΋呿za'k*4w럹y([~itr=T{n/I䫒mX?47e I1=yD5iCpdߺzJT&5o PI"d8!p.郸m@yL?7 uO'ԬAۣkoT:HQ=iGe/]jaW(G@>DxK0kM\}WLW(j+ZgQI~ǁҢ]1d*o>ӛ ZHAm%Q󪭠=`{_g6u4h _5ҟ6Nl#/Ls`U⦆(o\tY=&TGLcʝ±Tδ5VmlLq7RHt,eØ"^$ai>3 ߳1Ag}LX,W\em^`MkG9]òp="R);iUʹ>Fjc+3w ~5ΠEAāN$q0,\` ELUTA~eGRGs6U}|T1>Xy%Wa,VsA0gpbYnLv2qk\\ͳVƯSRR=H'|+ѠX՗\9+0/Ȝ N/tz "X}s-nv1l8׳I92T>d+i6$*1: >{IcZq|:=0Ng@(AJ;]EUҶJJQ ;n4^ -/"U~Ru'mҌZWel L&ʁy_^OZn!-VAd\'tzږ:dx97dMʬ:\sw[Q\Pi.U.3f )Sj.N X!7AzЧo:@a]оMtie'q<1}B{p:Nխ5sէgKDׇ :e֋3CtL@{*1a(;vfMy:K 60.2mȻS9\yX˿GVm@-?\#meݢ<#OЃC1X )c ,JbuҸ\irsI<]ɬs% DB#{*q³5M J=wR M[$} zP-F]hiMP}4/Dй,1' jw,g %ty&nw*zNYy^"`yh'ec!Tq=LrADk[l ,0@e138P-7w8qǜ!r::;Gl[`ƱnPUF_CVP\1ppZêy76 XB=DE@Lq6T9˔itđ3]!΂ Coj.ܠJ` ?bb+';8VbV=ZF֛*npT{PKb3en@;'5uYB)enb<x7'$\H7-`/AG}^[PxҊHPY1Oר8X9#?vV^>EV*h.=``^K\fl8H[mUAxА!ӌ{RxT{gu`@ 1nfL*?1!p@4[Oiڴoܗ^5A&dIr}ֲ2ZΛ vA@ D.B^S)̯$,ߚǔf|w %4dn!J,K JaYI]]j[H& ]LLR[\>lb]!M QAF $WSl*boLA`@4y[^bk; H I'0i5 rgpth;O!oWI9i |[2slaHK3s>֔Ξ֝jF3$? XotA\lI="hzk.1}0%+㪲cP7 Oa-4!/>z=?~Cp[jfMC=` ddjƄΟ]xkjE.k~DSïyOeD}N¾'Lt}a(@F [[+3[ ]_Ta@ x#p o{< >#}aK>]_rt2&U'c(–Y|3-U]pA.zT]JtCb$1=髹b<b6D^7 }~S(hdPY+I8V6:]& ObQmCڐ聀>fzڢҷ߻Y2 ɲit`18uZqW}iq{䒠-+NHd:o"tI-Mۊ""YzU6v H>g2ߘ° ZMč@oV=<ɱmX.GLIk9%Ay5#ԸA4I]~Apx !mё.(ZϦ>qMV/vT6޼""W|ΕU[Y5'o"'1FElc w@%+i~Ų![gNp agVJ Ǖ r1?GLD9 %u2GGAwFIoxx^OR{EB$9_,a~v>A=6h{D?y{n\xMl)1rwJa.0HMP{%^ɹlsêR/ @P*_ᷲp@Yg#XK =AmmD}\)Ŕn mK[bS| w&\^cݞ9ͯku 1O$=u6#*^&M O:-y{nwTDoiHBk;ӌ6"fqa+ݣqjl2 В\svj+H~£&e2͎Zo|a_]Q\xB4_[2;C 嫋s;^ 3M}ZQ*j<4#*am:Z{ ,;C0rls$Ma?YQZ A$Th Ș5gT?9.`50apNc1z.kl WsH琮e--*WnۭDH &_*Ecy Y m3S[F7jA[ngwS*ܣLU$jKMyY`5ÑIʄ85}eM1j t0Slߋs$2EbsτqÌns㟬޼>ҊW3tebICȵ  A ֕,#iTøt#5G2攸5 ;"g8F Ƈ~GD'wa%%P,rQe#>Kd3[TߝD2ƙX4(9q^ :%T߼,noE,ic^KnnzpD5c# ]UUf҅"ʊ-" qEȥڣK:g:2U$=HM=dhU@ k{ӆhh]rFq'cr{l -\MMrИhL}ҡeV!SL=ZgI fHL,QޙI@ Rw 35fSrS#;6Hn[>YB0=DHM6q>B i_ͽ619~,6Zn"8 #h+euInB9r>JN_,?Fw0F>*6˸48Rfvښܞ$E-WZ°?V‱gYZ7zXZִF! SO]ŗXiɟi%3( d+%jh @QNn뫘|4Me>T_ɝYkg9B+c/`+4! oM,CjwR#A,VOmɕ]1rQqC"jV6A^ߣ8>޼/'5GLJ [{~J&9=`tdX*\` -svՔ`F񑜸C y4evsCnʙɣwQ0)[)Y^8002* Yj/eW՟%᱆UՓ?KE@v~6lGI4qvn3PB-9yK #6v&lbi{R!(S7e:@!^cHHf*p<"d_T݊+i;nU>>" ׏ /0H28kq="*yOMC։VB5vX5{|9Mqm?6F:Ҟ7Ps 0n"Ö*L^ݺd a:Z@*SxdgYZ7zXZִF! ne]ŗXi%L!l/ +")&x/.@nm`azB~c?7I vmKf|i7_CL+. O< bz?D^ȌUhDLS޾Шg4jǥSj?;7s4+%|lk6M]|J]0GFUh +*}χ)%y8|{eՀ( j{٨َ?|y%Qo1_Rkӑick}Pw.Bރrxxi꥞<V<&$,aptyCl^<ه{H{r.E4.4.ÇhY"SS%7vc7 a%ZPq|7VP;gs `[߬mzn$Ne MKϡ)=!Q8*=8gjCQȰlY II |b2b :ush˨3.R7ǧS)c?)A X?Oyg a14%igq/5T+/r^ ]tm o5iz$Hu*LTtDTt$T[3a<Ȣ޻gGk - zs䦉TǀGo_iV!xao5nJNm:޲_V0HJFp @dlrbkZ\53Jщ1NJ+gt_mSS#_36 JYRo.gѳ m]dWmF9L :x6z巩}d,4ێa! OT%)uzY+7[o8ם]Z[#ֵTf3Sm2;CuA'b<i-XvCuvWו 5x<*g#-鲖Vs\ rdZ^NLכ~ׯ?PItUL-筆O5*iT-/Try+ =4a[Ɉs$YvøPu+TK.s~]):JVCE$$J!7_%$,v`t_̌nƽBX"yLz6e^ 1'h,.Kc)8 W4qwS$oabXQ2IzÂ%Ѫ(ycp#g 4('B~.ʖ Y\:'عOC4x8>}ιInn͡*%Y#E6\&bqasRU:B#H8Ɂ}6DЖ̷2x@6`%mu\aAKZ7F#Mх+Oq>0\kkFA #wy qet\*])Aa! 9YiÞVޓf-K.g)y|<gYZ412db005f9a4928dd6cc8455ae8013337d330d158215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 6ca7c2eccaa6d6c3222b369a56320daf10f59805 8ac046f77f5f0b646672f561848283ae23a12b8f 284185a5e3de38e8daa38487ea5ae87edff6a975 0711080f89a6d3bfc97cf74e2b76a34f2f6f14f7eda52014f6aeb265e5f2a023ef8df887224b46d9