SQLite format 3@  . BBh77otableisabelle_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 -d\4 ]I HOL-ODE-Examples:threads=2elapsed=753.199cpu=1380.028gc=53.936factor=1.837zXZִF! :[j]ŗXf1-/6vR[$ l0Ie1 ڔ8e N 1(0 ?Y/#R=/J4  y3G0XJ(<,o8)W7!jV`A*@?'v'E+bLhb}AQvC~֎"E /=7e.4ٚ OE]%'!w2h&~ ;6{3>Ŵv# ̎~@fS% Xfo8P <KQ!w OrӄP;Xݒy¨`ZX0c gR 0QOOe+sX&Rti_3 2祺s|fqT*S: %4 e&d,_!SPG4E3tޑ|dU2"rv *uT-ú@DЊɠs:I<9%?ixQ2QFuNzLB/P`cit-\M7CV5բxF#uQ.4rmJX_ ;JV -\fqi ԁI˞Am=Bia4|DdvEt3d'^)Nů1}Ml~sِ#q%w\CQMxKb>3#Ií^dy'/\Bz(sQ! d[{vF",S\s%aBpx& a@^~Łqm*&*V[>JIDh(o:OM;=SnzWh1(')l|%BDr+wS2ƾ=O,w; Y#몽o+sgI%GIaҮ C:zy(Kg륛ųm͎tlU [INwuqZ[`4]&ơ(Q:]򡔖 ~ėwӈ=HY-YgFb[W6FkTXA?Bk-a?K^(Hff^;t?ݨ3j!>r[XQ mZE?Z=`Պ*/}%<á MBj!kAaPewZu)_?vܵǵHaS Ol!=83zB]At>ݤXP5DAvNJ\jb#?aɷR|4H?;d9u#`!OwIΔ-k\rebLP|%|[En̄,9;Rs_E.8PL¬pECJbt_SNv4=AtCD"DŽG"G}OQhA2!>_u zZp'Q`MBPR.mŬ;\>YԮ REMVohb݅a`eLEl0,y7! rCNҨXġl+ȴGX%绍 ;h(9S^$RA97Ď nO i#9Du] E8 V1/9P|--ۤZVyV"mX^hءYs&IW'~ufϱa>TK֓< ,Bqc|lD6"8 4F45&Bb}glso 5遜52&l&٧8@4)y?OG=ujbdbMAv$ YK\⚷+ Wq<>t)ƫAѠ(ٳG!܂!@q̌j5C&pP1"k⛲(8 jr(~Uj^In&5ajՑn6t`Ҍ/h=a0 u3ލt[ iR$]{Vg{++O-V羚t-MqLɊ6`x v7ZQ`{iUǭ^P.hWF cU{ow:R32yd=4EOIEg7'UЎhDqwszŻN-HA^'e|>PP0wYyiOx*P <;VQ,gR䳮8~?#a^Ri1*,AunYkfX/󯽣ȞzoXn:q0<9˕Ysn0pd L L °z#$=;³L_nSYH{*y> 3̷nь6 M cNDSL Oe 㺹)2r|V?M_CW6yxѭ7ݘ12Et668kx|AXG"F=+q!dwIБ2Y=)5eHV"FOrp t#y%-I)[s#e*o|*"3lr8_#}sIpT!ѣ$qH.XR>5`tZ*JaW(y\sɯ>*h۸"M:}/ƢWߖs@0(svbT9'CEa:sgJ\WdA QOhT9{W6 ң:zS~#E3ti Ιxc(NqQ-cxq_{aKdySi9dcK&L`J?TK{ "nF( G%DxRuE?Us)r\hBI  ZG* ޘI~p,84,Mc}(6"%HD< ߚfN^{1F@վjN3՝MyZ |G ~~, ֥D\ҐslFDhn&"UyoȜ2=9K#CG^X7}^ &a ˛m BytVD!M3\FnDޓoCIz镱J0لj4VB0R*XFO:+? yiN si*-N2b! WMϸѱz\ՔbLhzv-Vទ0bC.̐Gʹ(T23+X;Zh :*d~\qMÇf0H} Ņa1-|UEPq6Z~;o0ɞ{ M)?| T8b*3ea$剔+H~R('$tB:7RS8Wʬ>FGkDL޾Vqz"Agi겔9]d9qsݢ`]̛KqVg*%&; ևh}WtwVخTrT}IgJIG7 r4xW*˦Me)z>@{־@ZcU uba߹m'll0!h5E(:"ԂOY{9V6 ž:A+iǒp Fͦwʼn"54ZǦw>E_ @u0TJ54^6{s~Ys#t18A:5J;g@($0Fsf6ۃ H/!#}QiGσ8|;T,ė:+ RͣVVN%Cfx3тYDӧ=TR?C++EU߰B dP}^ld u E wv+Zt+x)]gY8wWrEFX{U \N8g<AЍ^f޻>*{6De]F"KrlgSL[>~qocv% h Ldş`~^$_cpB6Ah#QP-eK> ~fym!}ت,pBcm]_n ǁDW7,tmP{%w9Q|T#\@{ag|lizHOgYiظ¸ b[ls@ (([O0]MʢҪ b Bރbm{OhV5Z<w^G(ҮkڋG| 'z5"gg cx+ɘ`?U~ʸūt$aV%qG;+|. <՚iBظx;`/ `-)'顷# POVu<3j^$P1R1؁^>܆y+ְ DnGmDULeDBPCpɦ\ܻm+: Q* zCh-?syɷS8Lqw=%!N_:CgZrJ_ly<`kSZFjmVUyN܁3D~O<[( Ę!jX+ FK V)lG^b&yIX2,҃pb]rpKwyc]~2az"S!0C@Y:iO&B}q^2%b<5g.: MҜ厱aE `F ḡR>7qDq؎PO`y"N;M8FYҲ|G1Ş}2CRZ9^õ'…@Ӎ25ufGf1l9fbX캰 ᳻ÆtpL\^l,d!%L"[ULڊ.S5L2kD`Vн i ;oXюߞ~8[ώfTiXxe|'? EW3^ߋuYz2ĝO*G:J㱛==K^[0=ծp&zAKB:K;CiZ-De͞Sx{Ʉ؎ 3h=D:c)gJEpdB)p*@*P,K!KOvI}ѓ"[?Bay 1gva oYQ j cك<9EaJi]B>1R/)W%WhEB;ƗSFVR;ҵ߳V`)=>m㞍Y?|'r4 hATZ4EJ! 1ef&*e惧Sb JtwXnyd݀0VUߍ2Ε5h-, /"H%\EѐS&9+qy^&cUC=;)֠?J8S!͜YXvF+\^⤵pzɇX[|>Rm'CԊt2]LՓWy53G0[ >y)Heݧ9_XF+24x!d f:'joZHʹvN*q9qbhL i#xyA-f۱V)-*L/Y[ V:;E8_Gd| FǦػtkrD* J`w2pEЮB0' 7M_O,Kp{:g֎4O9t;i4E?oMձ|/v+xx؟oSc$˜1 ]"}lNZTZ|>j7$*?UBQX mM12(P8RXP:~ o'~E*(k 9]#D E=%pD*PC# G֮ &Iɞ+|G^ZDgXHRoҥtp"5ܠY s>AY GszSݕ^|[l\j_4,4j]C }6LUNqcOSXT(&l`C=Eq<Ĕ˾U8`Wȑ I|&0h3i%ѭşТ%LjhZjYa?dz&UL_`kݦ=z  beo@_Y#.&,;uU{g#a_D|'=K+2x!c46L~,]a[9ynsg_8˪Rr3z`?QȚ;HX-ek鰊j I\mI蒤pt}5'Zh;ZL&rqRe mG9 wM=/MGu =ͧ* gAd:؋Pure+QWHb13x. _lt"[Yxz_d\#\˵9:1&`~zPSlP>^Xi _-kĂqAz X PMY䑑m1/j˨LBߕ@H{s#;,̚GMVX(AK ҘL/wb.FG}VYIs] RE1j)EJE*@`EQ=G .Mnmնb<ϊ?;aGٳ]uhY%BPRM{bN1n5?{1k1hһIқ1Tj>e$ԆGC9/9Cspq,+gBU`}|tPL <^LU Id(/Vi))pl@GO0%ʗ]DoYSc|L7by!N ʎfB!%dO+HDGAEs"W0 !QtK(sI۲d/B6<F2ΗR .ݷLXnϪXE Ldۖʬ3d* 0ie$|Le &lS.Y򆁒fC C 1vz-.ĸ,^"BwjM4#N r9r5 PvO" l6C;:db 6>9+鹑*\ G\g H-?Qػ Ujaͤ.-!=2vH q Iyc;ë=$eYmy.nٲkqFIzӬb6!p|0Tu3bH3'">f˔H'A[0K wNLݭDŽg]k sx`Pn2ewTHO?b BPA5P a>|^qr>!&ΙL[9n}身 Rh;);ʦ+gĮdcyx;'ˬ<*kŖuF\C,ˮCc872/[ ~1v'[oM?DOP0u"H!Y䶳 A}摈->_̵w"WlH[z]g0.S1 ֝a x-tէ2nbTwGK&H}7֩ʮBfǮBr@or&?B(qkM 1eN8p@ĜN94\uC ?,cVNEM 2g`q`Kτwg6@~4)DɧA[0o0jfk ھ;18N*N|l8Qŝxd8Ɋg #(#h`/vBQvn s YvMKkx#sX!]㌿ "Q#hVI)BI59H%F~ig2bTp]il9 a$jÚug?Nj4iLemv[PD`P3VAdOÿ:2B{۽"uo$0sDl%;Lۛ!QM,ɩIAK?ܒJz,֕\I[a uLNHyRWPIqRudSӔAt #t8EKyЉn ]wj?3ieȓ\D悏Q' 3)ҢuMޛtA.nCx`j*ߤL߭2Y YS0fqC J~YXv[RF$'jrn?hMAe{}V+L+Y-gy'@wżuuvG@z(Uf~M^pA-V _Fy`Js (w'נ1.b;<,֍C;xHe;n٩7VTmPx66ge%SSʗLt8S*|j; j*HIZ$`{/ϧ|U98M,]ymkͦ/!/k#ÈZnbXAMWȘΰBgs]宇Bє ݼ?W8*G[ z %GyQ57G5d+UʅChv[(Xcdy8kڜ:18q [i%co#_O  F#f~x)( } e&R 귑nrㅵ^G?_W]=s_ }{5ձ,7uda @9qȦ@%}DA0, 1. j&BC4lڕ}Xb;4>7?T8:P_#kEV1H B qk)FoW'x{G"@]/=vwb-g-~x,xV& ~(I'Z}u Ԇs\b`2)n&Acl,_юmv%‡9SSV;f(*/Ռ=:1r􏼚:7?Ca jOV%_^ 1GL;kڪ ӆ*5¿@k{I`uO7S?X:>B>Z\kIC-LY{i<hM\ejTZ.5IiNðsW9r zK&Z3dd% 2qE;W11GRӨ+. 1sYec*@an#ҧA2R8AxG(3.d03;?xe~A+%] vL4QTs{ d\?/)]xC7pMB7`/wGc5h7e-J_ BrU`FңCHߚtDV<䒇7 M}-.)lF^R)ۮ+6L#Qo%O(\|X MA4f?P^%](#hj&8ϛ$ ÿ2+-4IUn1Ƅѥv&  V5ؑ1@),mKCCNK?6j(x JV L{RĠ|mYcia{`bG,hq7θ8 w [hbܣnGH+g@kB %՛%LwLּPBmDCZp|"*#4KYbJ~~f0r7ǻNf}wR7z]R%N*%Rע %[AL8g]Pg :(.< tYEsŵ<_ h了CWOkmL Q: |S@B%~hr!6N*XQ}f 諛\`>Xi Ga%GcM JJ8Cl|>[HQ쮏?>5QYjnTߍ7sr,nX$:ZQY: n+_:]yi)Re ݳnA4`LRI*Lj%/ӵשO%°`uŃl_-.Ȍ>zo4C;m'rQCR"3;q)H#Yu Kj{o\$˥SliDIF2%I;+D,%ĘwҴbb,"$6+b)]!W6C0-';pJpVMe]Iw) #mԒSxiQO~aw+0(H~9̍~&âs_Tnko6jǼ Ʌ.컾6;V!c^\@r4ie7;<2e֍jRVkq &: }Xy~ :*HcjO y/Ce{nj .uvI ŚOp?&/!CL]$O>&˘ϛJ?Uj$ͦdqV#Y#+Zs1I7tjTi /VG$-y-D#=2ppT/Ǘ"aIKA1 8yRD2wO'KM{1l+љ"JdUQ>G(*~+/'6 dp 149 VynCtȾh9z5xŚJZ8lW6;W 0S㱪qW_shE5+̴ ?HN WiDZv ̔Ggy:y6SULKF;\ u?s%$w bdn>)d5(=.͗'ǜ~Kb:)ΰm|zCYR>NH_x'>6fUInܙay&U|7mnxd~FxsH7>DXSq(kT(}6Te5(󰆖?>R8`:l]Ue K#-Z6HBu%A.̔ͱA;j[zM4{rk|-Ћœ%zq/8BD'8,aJ?Lľ^)ot[|!jE/?>`.‹ 06{&֔ڒO \jh.;m~ M x5L+>:i;-ChQŐ% J)qJY }"R*mǪ_.BWP<'$ 4&K s"̪$4ٶRnW}yr"VnuU*z$͞)|1ߣjmwˁVp{'%į_jqu8>ϔNg>;tӯB޳z,MZUB9_1#)ctyo{Z|32$b̠!kT $VB1Jh{w0uadB#FDՅ'V{5޶@jOͻL!ށPi&{O6.ɵPۚcNa-I{ej6`?UzКRʗd]_ҳ0XW 3ZsZMc0rI( @.N :1x`J֯]Z]^uթx0 {ah@^qPL7Bdq_p:)m+5hu\Q}rdSjH0F5\ {/uC.߃X7uTGstQn[MpǒyqlcAcS% bo]cw(jc>+ j1^d4j80GXMT/A^Q КݝW"f§^@X*N1ug:AKǝUQS#=ﲂjB3pq(Q~'<ͬ fyt*+_cؚUxipv,{)z`Uv׻تZt^v P lʛt?#'Qy<}W;\ _!S uUfTحչz!:2uFz]Wi۰*&H It.4Jt , _>^"TЧ?7C`Qm`%y`0g.+>vK,>b mHq9< 2a۫&i:F=r&#O"Ng>q&&t*8uP$F0hk|st(`+@;wyx aI)s-R=Tٞ^.J%zǥQ4NÑ1R'R,k_IX- qd¸u9Af_[WjD-z; Eo<W78'q$Se#DAxG1U|1$4Ÿ/f$J ?Q}Qx·;cK{5xS$`CMl=Gљ)0 WWSLKu)$Ҳ&uXh BۍQhd&*A޺xΝ3g2^"罆>TP #G.-dYT @ z|KQIOG/jB{4G <&|6hf𠵊 A1Q4d%gEr<`,mpA ^-).P0r֝{P dǝ uw :EE멹o5Z"-ev:w5>ЕBƛ@t9 )=!ZZv1ѻQ].'NeKU̓ln>ZKF߶{[%ĆꥣfȘ7fQ/<=~ hLFa1'H[*h?Lr*qs&Zxd/@1̓3:t9 F(: U4v +[q@w-58H"^[Ue@_aڵj,9o,KY~g+ VsQɬC/DZ~NIy7 Y]ֳ|5 Ǡ@s֠2򚤚>~FBOr%A%PD!LW}E 54 V-^4WSji5U$:(F'Mm??{ EaF!sXˈG%c8P;{*17C:qԝt_tB׺5}EeVm(lL= \ d.<:N6[_uU-7ݗݸ4#J$?KToR\VfFy[*Vpg>^i QYr(4.,-Ɠ[(e ruї8&$4y+^}HhЙH7]e61?džd>y"fqTT=Q3rFW}i_=͑} ҃-!Y`XXS$#7|J 0{1d9H4Ln+";x,^Ù)QZ5cPGUKkMibKed`:1Z<MJ-$A:vcui7Y ];kI eKMͶ' l x\P$?i*{PNeɃM*zNnyd[bݦ# (xAr҃à4].AhD a9f7  60 ISCӇ14k( |v eۙ-(S." ",Q%Qıy , 9:\cB2,4Xvѹ{L^g)Lt08P}Ipq~c`(`$C&qpAآZ@m:%KՎRx(W,lHإ,hX< C{r(Yo]c@l7z#=!f|JrTKPbk%V_TͽX1Ae>_¢^bfFY2=NC룒19.z?)85dxC\kNvϾۖNEYeNjUU})ɰ&{yh៺%xi§2X!V YY֣UE#a茊IXj&6sb5QlRG_M-  r(S=\Z$e{UX AJjʥJljjp^e 9Kr)cǴ64Wqi:\q|~Y#29?}2jaeV!R$`Fnǖ8c:M=Կlj *W<Đ_w?C xX`),p"AEo/!n61_֙&Y ի[ry ]#ɉ0{gx=Týd+y>f2"ŭ [SZj-Gˋx]>=-nA^lN~޷z@RP9*H?ݯ{(b#sZ'2j~mA ~%+8x$Ӛ(|ٲC:3 :!,ZP8({GVHӥz,d3> >eO՗N9K5֗{ .|2V$e,|UD_⚖ kKA^! 2ދɆ=ʋadU 2nr"3 `\ dQ7AyV32>lJ]C+j(S])QZ){ta`n~Dc<}"r4]:|bfȏh%2x"3L.0_˾ӷe:iŰ1/`! <!"$CQT+ҪN0^m qPcLCTu3AwcFuhM>`; h:i/g(mAka:% -RI+2565Ut3EsXy&C^UKjnJG|[O{)غtˌ9.2T4aGaN3WA!IXdu ŷᗂwGӂ#QBӅfw%ê]ba&B_ch3eۗ9:Y)ܨ*L/?\ Wawa)r^#Z\7,vjNVd2}Usq{5-@"j!|ʧb_NWebkdU ǭRk:9t_`SgLyU`FV- $U@ > ?b;h"e|e:o;\g4^MڗIݮ﫽 [Xwd4 `tn pu bXI{_ =ܜgП(%G9za-(Sd5*.Ftqz1\tV9"$AA();CTwn*=ˍgS($5(OO}%ÄCg:^f=ԛ0S8hiɘN :q 8d!{)(W(@q*JfɜRTRR qRtRtf+&~↊8u$|`qlJ7MCC\{CgR5RYhrVHy>X﮲lr4{ f|M"^lu3ߍ6.^kloK]Ih cGFPwJy2F|aں} KS1-e 1D-%V3["¹CEܤnٹ <b$Ǫ"ô,džqZoè ]ěyƙ6?/C.|³ZI;R( ( R@-4_!ӵ~oޡ,p{ǖADA{&WH6AwguNEiFkDp }`(y3[*_,@( 3S`aL!XwCjY4|t܌]2*S,O93scߐ4Vg𷣸z*C@NLeo]Tݫ}8/J1VgŅB6 Kdhii ;u(CdbV Z AnvOj)Aئwߩ84b2kF5Y[8/ [*#9 wxbqoxX=sE@³uAJCN;6d^4d!C-^*bCN$`fHac 4ՆkC^p^~ oiv}GK p*˛vڣ;Pl_>ӲE.t`V0geϧ,oN6E\Xg$9(t\Br+za6@iR[S?PbI 瀝q|+ `>c䛿K 8oHnW^E6d*֞.ùI_;~{{JGcbLjgq@ǭt]# 1Hܶ\ yS4b4cIrӂnފq-\JoJ!~cG-3t#iFiѣ݃$Y%5 /r<xYjљ5ѱfB қW dgqwH RX?^&CA+dG\<׃\Yu^ivW~>^CaaQGxtR=!_pQhW ṸO?Qnr{c.ﰅ9)/x,/CeULf߆S}u|D*ׂ1PBF? :݆ux#0/B6ĥ{EnL1׷mݍizL1^ xǏE׻O%g^t, C\nշsv5rNyeߥoGh m\[@v x ߃%6pfqo+;cy8$.V߰%Ф.`ݸrBNvj!S fIm_Hԩ'&e[d|}nM !0_;-$^Ɨ_Gc?b^rϨIG[E-a,x)`L\XɎp<6 k5f(7v l(JˀYl1*qrۛTGo([oܒBw47F.Ɇwd qp۵lkv76 ֮vw(!$՞[4s +w Y,y!Ǽ,W\u7`,R>hb_ %5/~ʧXqP:Q4{,qxXՋhـ{EE-<(!2G`撡Eځ0Zݐ[V3O [hT &aD+S7ɱ *&eZk؉kpI/f#=m&GI~+E6zwnioF[V̼8\Ku2óPV*MO'Oo)@Yذʹ9!撓SD/@>xdpu#TRs>L GNMd|mtCǿ o W|l犏dx]x$UB:-ukq'xi):4-jc 7}l6SV]֐&oB2lK8Nj^QwjU~w3urY0I(f%Spu ۭ G3RMRZYLUݍ:O*ş7hE˜يz%–z=XUTi,eq~sx4#(|M%EW<*NiO+SB/\ *הެ;O&|^nz}u0T**Fwdhܨo ӡj9胱{(V DR[^ ֘eR'ی9jc(Q 74ĸX@~K/n5\؎xDRN/C2[ &$axay۲!;2x׃% ( 'UVO@8d*j,팔ԥ.ܳEvkZu K(~~lS|C,DZǑlIj"؛ՇE}SNkQqe~ "]Kko[Ϫ9L_U)b#^8_L/]ÎcX@͆uD bҴ؁&f@.u\Im5~/m~)ל+͘>A[ճ Hۮbj?c1cVf1\{9l{OZ^9c֒=3EAbm(>g/.D(Uh֌(Xka B^D1[ o?Z )@ؽYr.8vLašleD{PBk[jfqE5 R|Ԃles^p^)[ቔ1^$ӛC4&oUTFn $E'/sGؖTZ2I[2; dp0$3A2Lܦ:q.kg7lٜP`/+T'8a? ÓF7t?\u] <۫=ATx /1JjU[Tjx f&Lj[GyC0ZϠQxIY׌yn`*WϒwK_.{h-#_H^TqNT}Â;7JN2`k#fPy1"`yaޢ$NH9ONU`: )(\ۯO098P)x;|-{SRnU'\Ys|B IF@a,ՒD$Do3{ۉg!4K6"@P5nJݘ3PVNNBiIJ(¡p!w5$~%R n%ĠYMi;v&,oYC\L;+j2-np~"I@Nky bת~8yuHE>]8j[מx;&sct31OS|saNj@BZwPX\hu"'QqǂG;9zn! WW.ȂAΖFo :i8 a;g$:Ҿ<@Riׄ{Q AsSWAAN][4uXBev$IB0eHxf W*ޤd>RV"rN\ :k@a'|B[v ek&!ߴ0ތۖ*]([[F=;#⭤ iKɻ(ljڐ ~ i`C;lD$FU퓩oO. ʭ{lhiӛjP.ȋ,9TmEG2;h*@|*(efvCF=N+ː9rC |3 ~JabHlӆ. ~͆,Bouu׻}yq 8#6Un&brMBD H$Jsiy{t9`0ߏQPO0Dr,>t93KߥWLOm]>^WfcOs2QO8/(g2,P+rh ̛i"A>&a|%j ȿ㶁ոLJdAagJeO-p;9qʴVAAglp;dz![F~2,#`%@TE#.2/'L)' '^\jbYf5#ָoA:*xXP͜6cyo%Y5|$;f Ge!#M,v8#kes路I'Zf:AZ&;t`Ŕ'XqЀ&Ay{f̛gn;<&8$g::[*EKj2 "盗H=etDssoRCs4cyaI7GڂtTݤPtv[2h #R`Uju6fb/-Na67s]Pe5Cٗv?dH2C (e8Хanm6Ak3oU)$[]{(%J/{$'_8{c7Oh>CpW\F)29(ELbf51'I>Tx[֭PSd;M,[#];z/ڵuZ*`~ ݏq&{+1ꉢjWg].Ky$g!ESGW'rgC M=Eo/^mR2 g;$XթQ8*bdBnԭ^(5Ƴ*̹\qt/< OPE#7y%-1A+hzU{ FE1&Av6u ~Q.UppjZᛨAבDte=>fp6## hOҁr*\*xӚ?b,sN?!\/hWVf#qit-2 TSƏmm@mޙlK&1nРHV Yפ>R J%ZT ڱ`H|洟$ _G-XQ_!Xf`s v@(sh_&92x上弻-TUjF˺lƑ7)hW{oE0_</1/;d˻S@+]ा&6e}چ--\("A UQRaؒPw!4t! YnL9?n,uznե#l&DO?i;eI:8QPkl};R |B{&7ott9rl XD a]Jpcx8ފbD~ty6YH->ŎR,~)dqw6YRt0aѓT7&/\pklfI#h IeRK-3'ZZGRh+wS^MaSK