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  /\l< ]]Affine_Arithmetic:threads=2elapsed=518.701cpu=854.944gc=79.596factor=1.657zXZִF! e]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kt,b޷imd.DcB]{YoG#V4m!W̸x?z`Wv+Sؑzc# i|iXXЋA\͕uDm~AK&HhX.uql WF!K&{Y= pzf"Jb$Ox޿!R"Jxx"׈fV{˧s}A2+,[#T6YK_P`IuY@z4%|R>a)YO2]/#[%K C(% '8-|>l̖V)s4GX ) Y0 AU]$,0Jr:2͚'DD„AX(Ćz_`hᐘ54pݠ$<ȶL .):}^pJ'tHr w< :$]9̎"2ۓQ5jGs&{Zpv+x52Z! $m*T* R|CAonv!  SY6nc˩23$Qt+5gj_?r3,a^: Q*z5di2dՓy6{,4hhBEitX411KV*:`LW}W 8&|B#-3g/8-zBUttS P)n'JV3ES6 }'p?H%Ce:q{p-pϬAـӜ=bRuG[a0U2"HF]?Q~D)IBHCtNVko®z3 L6֙rK r,ػ JLZ{g%5\/3SmW"kcd:YjٿV2:9Q*:ϰS=w`|{5bmn zZfy)ρyՀ3Iw+e̻أ舩P }X]=9Ep8OF3&POxkz,~!p'k4c| Ӯ'@ =wէa8orn#j[PV~@{:H/y3H Qtς]J^qfغ%rD*gZe2HtOBz&J[WꆥCBIYj̀ Jp' T\ N41'rT@0OTi!v@ *^Ru%|hRDі*PR_[>7y}j+)04QvD<r8r.?v9]ɝ?NŻߥV F& $D0r/@vbG UiQzh߰+L:TYvʑM`[K&ȬJs|Idu>ەv\`+/}Ex]2w"+m5 "&sbMXoi3`|^xEX*o ng / Affine_ArithmeticeBq_%GK!!! 2tn,YOKܪ裱R6,xzkigK%E֜e''Mou)!0W&n径9h@~,5_󕤸l;SPҽPޟ|f>ʙRutUCwW+C9ɘIǶކ>F4o~'gvA]~*3>9H"\v< EO7mюk=th+?Zٸݱ8hPiY]ϽV]|aɑ6 dNK8)Uڄjh VĆT ?1"+Swl7#2|)iZ8-ł h[("={\8[]8G3}x1|JID9 *ҍiU{"<_k'åAӱ._Dp94{n^н;JqAV[+YKZK2dCx-ZNUi;5d+ʗ~Fy."F;:ߚSڝlj^\YЛRc,zإv%/DW5 Ʃ<-a͘& ܄U‰YT[ O ȠK1JT BZa}nwgLu51XhEfWҮ{.'aM; 񀇛E؎,I;v7$3K42Ζ{@ysDZʻ]c1<:U[8˒k+J6ƂmC`ghBOtKF~lۥT 6wz8nN=vZM;YOD:QԮ1h`0L2]v#\NE^,[ees7zm./8{~FRz?~",8+gm`]'=流疡YHd# T:lW?5ߐ-_uGGa%E#٪8;ge,"dM.Ms!H9eO)HG6vޮ!6mKMovFmCmVěvI!I[e{P, 흻K}.\HK `+G"*9r% Cdw:宛>`<U{.,Q|&gxcc.r -ts@trNEv[.Fpqo_.u:+`q3T"u Vv5_Pra=L_LnYMΆvI$N v\MXd!.򛈠o}0::尒#ǑB2 53vU>Nkj;oZ='G&w05@rsfl< m/ݪDULkğ`,s !c^mM8"+bڑ@&E0^P+ TfEG-֟"`whFTM$8R/*9Gj\Y%Oo8uL.^IiH.yLY3jeF=?j< .g%OpMGU{Gi{zTA;C<rRHtt|Kb.%;i{x}=73rxWpV].M>_rl̉\V(C1f:aj'^X#V  Vm iJ pIFe T$E?zE$17R\QʓNV\n7uZj5j*#8q(p M" @%/]!V Ŗ9y(J~S?&*hdžk"J&7e9N.YL?ހᨆq>0I5PVu5?RUuux-)%o6 >ڒb/jh,an'BxJB%q?QIKeͦ3e0d{PӦ~t? En>$Ѽ4A XkTM+8MxKK<iZۼM .U+;=kWX^fui&(-\wLs,}a ` 'iA+^^Ppvk#(69nRzz13fr|ĽpNcBbɷBQ^&8|?_㴤 FrI$S84@AWhj Ў@~7E8k#68͑Pi&x=d/#E+ˑgIUePZuuu j=QG"}[b0g(߬k]\4e@h=y`ANC袗S%^Muœ,{]!.͋&R`O?doO W=Hԥ((cLMhL`t-_pF$wI XW%ǫqc3TgYZ7zXZִF! 0]ŗXiɟ1˦rnzx <@0+gMLS  LjhCO5`eJeqaIi Ͱdv MxHpzD?lݯYKbPUն*yxx։gTaCa V2kXꕌ)aV }2TwnZA0mUA .HYJkk5uJdv_JvL*z;O De0MmiSi+ @iқ)OCiVXBNM+ $_9/=C #QE~Tl#9RLUwm]%eo{r1*1p ŭ+Nˮ7J1S uMUeI) }7Â[Yw̬lFG+pRG'HAm^ZɟC!!|0vQ^N[Mr+Zz)xao9xAf6?,Lٹ#Y >zP,H\ze.?sdצfΡp }#5j)hYgS|w*LL-j/gԞPb?AN/S \ha|_9rYNW͊B[V4Q޴j3Dz,J&#dz߇ [F"EWHVX1֬Ɇ'ffnքՋZŸu6_uϖ)dJ?vwI z<) P %4-L37(3եpL$U@8&`ST!-ik)v]iZd' m{Y/ݭ cWKv=`ZD> )YZ!l&&j,Y$*: &w2&|1}8m+*pon-\8;5{4?ȣ=2j;ףg3r {9xꡱ?]uPK ^XȉR㬥~Xxy=n.hRk)|(G`꺱Eo;z=13{Uvf)v6}x}w~+^1Orl=PTL@<4p AzmH˃+&Qlʦ9(_ȵɨ"SXEE|Ҍ㖝%Cx[ ,&3]X-p|4nESY &U0Q!lP94In)Z֗<^/5Fk-:-Xj߾ɇ1liظ}zY+XǶrE.&߿?e-79k@DG2X(bJ,A{ΉΗ5S3h9Rv{>|20s준?'@2ÜSD +5*N$rp(}&<1'rB>4 Aĥt}٧e\/B3tY_$|u;C?~F&WM3a7 ! A)v |l(TwI5djEެV 献1ÒJ[~h(1]|SBܑL MQkwCҦl0Y($?ͯO^f{uڣ-GqoD'zg:ZZ>I? T5(mZ[áۉ5 V8R~MXaw}5-5R-{|R );ʟBdK:Cd%Pf>fA1Mn|^nI6xFF%Èr׍ފ^p0DD ]IQ y@[HtiPcy,)%ߋ^))Z5:I(I"o2O.:;jUbԽ+'7wNuS C-;@+'ZpZߏZ4? +d:8|gEujrHD|nes U^Ɔah+K.3`#>åUdx.g{XoDBp% xB_ _?t߮<>ñ$-i~9VG 4kVԤGE[7ub' ؜i 솯Lb! | %ybVg_Z) EX?nuَt.:mjyG@hUEVJ1Q;-v0P #هE'(w6 2lpdI8,`hğN/ZMMb@o|`Qd^QĈm+HLѬIk^ODzofX{GPnP5XFYҴQV!4B:.~ ??]ƌq!Oڙ71䶏-'W~zNkk9"E`蜤{hƕwZ6UZ|PR&x TNEmT (dA7H0$[ZH,s6U% qU'횉$R=!l oXP(BRV%JaYy%$QIWBslO촜NV8$:/J5wø~ l^fBϹ]#6MY=٠x)5 eb}{xy8;kEÚv} _w 7mi]A]c{6UUޅIP(! OW.a F{e cVLLjAX-iykZ 냈xT_}#a.⪽ 2܌kޞɫ=ڨ+{ ѽKE5 k YԾ$}ѯCF'E4}7tOTf,Ebt ]]TF`Ǹmi&ЬYw9|1메і%K .oStl @d?$ [wݿ{5K̚S,W H%虪 {x"&_4fOpŷ,$`U!:oMu%+RS^R!݉9ʛ>J\Y6g^vZOe25l[@<se(Tw/Z?am(9 '?cE>YNǩS[ԫSM%7*x=?vwJܻ|^_9U> `+DwKW][ByDh/&g!sP1sµ 5Z,_&ŀmoʾi&eg`~X|=LE":e.%D'y s*ةhdq dʾ~]7G4VN-F1t1g"N %6vQC?<nXӘ3`j|!|#%[MD\LK2W!|ϙK0#ohU|͔DE#͵ B\1 TpmRC6mqHK.!-(is-0h+;tG4xF^xG0n;r7FkNࢳh-9gtF˝>be[u;[z)ցl{-aĬK)L,Izz7XՃ4GdU*a +m_Jm\h~з8QM=DvI݇9'u㌪Zeu1PA/^$]IډL-A\TH->Ն1JD&ϟB1\(M9=8tprE㿫Ъ+B>sj>\+T{O1PHy\ S#JUTR;3$tm=fS~Qͮ*E{\[~;*#rAP:9XC_6OGf ݹ2\DR]%ꜟ[1sy>':+Z,ܦgr,*Ԁ_h1! f*<'B"" C.3N(]3@)tC! |-qONDٹh7_0uA<9%Xtl3pH\ z՞} 0tWĚ@]u'rF_@"w&hXB8""YA$4WZ5#9ִ~qG!݇ G5g]Cq1ߜ/KϯV0 "+0{.z&?xA. 8#è#J?| ̑ 옟v4#79$^[wm>QhU2zMhPAݮ\C(%jܥ5N!l_>Imp{{>Dsb 9YcEuZȾk$bg E2('4wlVY񔥓Ս6P!CxdȌdPEW_5fg-|v6gc*wT-:a=[pn CA]6ƒL*7%RE^~bC9XOxӑʞ#:+L9 FV\ıD},ϩtc~E*Ƴ ؞cy<вT~Hy麺- RTm-f&UT'J6&auu6w,;GF+ [ U23W|bq<06)F4\m5HW?a@ ]I1.Xc5U_rFB"oB}}wW}h˥ =BdE9Ao6u+(ga go[0}jg),SXsM]1cՐm;@ad*[.ݐ"E;wo8Jg&;+'4zu:5A;Z$SSaf]hO;!/ 9=lJKW*[>!o!<`ٿ & 6E1\ Jl3Γn|g/: m/:/,I~x^E< [p|wZnu)?XX&- F'BQ<t.[M{<hŀ <*)ĦkG6rD-^r\A"ú |F/Х~2緋{uQH2 /$.KYX =M[WRGJba @O@C|tJfyQVrO2 ;5L$$=P#Qjhz3A!]\M+WXiWĴ 7D+ Ca %݉J`B Հr?F8k_Ogti1B e.I ?hyT;GV,~P ,<պH/ mFppƥ%4wVc`CCJB2ڳpH1'y#AŌ{1AS~I~,WKq'4̪v&奣N3+S7p[@dbH&Јo pu|S)dE AglMh{S U痱8ڊMXJ5AZ'CvLU}~!UB:"+%ٓA*&_Y W#FWeeWM7xXe`=`$x^$>l>C=}VUҚLΌgX"g&;dbpK, =E,'iǺ WH<3V>3EFUЊ*(TĘ!ڬt1!hvL>lz~}#Lpsn}.yRn]Ģt +&ףfs#_OU&PM %g^P;Å|u?xBC\)hey@<ⲹ10f>bQaqYg6{HYSUCPr'j.AhDv[GlCeY2R"y(c2keBMp sF(?OtT>Z&.ǞLa2`=,^B@,AѿHl KBOb~nDk_?HjZLBM8hRTQB]q49XlE5 SpghzLXc,ϑYB6]\.jJ2~&YrCTz ߗ nzwIؽaEg(f*L9Q*|=3VG^:;NN=hn(o_$, 9pNt ;k pU{<]h_$;G]@8S77dyo>?ֶ-[T2Yz>݊lVWnc]d4YR̈́gto,@|6oiE(iԄle2[h%NW/dPrvvgCnΝzƪLs}i8k4ď/m |ܲcpH% ׬€||{zvOIEr=@?f "НVu1蟹O"Uy6[*]mfN! XA "Sʿ&@3laȞѧAI̻|EeZU%W|UujS8r?u>F[6S8P#HG̔.x"8Y׻vқ,c3я <_KUǙ -%i~ylN7p)fcm[MO`G T+A5M 6g&IFm1 <Ѯ!%@w5RT!b"d~"j„9.3.F{[3ʅ^,S" Y S ^25f'm .ϲ/%d?`HXH M|FM{j(<+?ʏ1aZT44! uAe="SO qu3`wÜ"UX] kmo=fUǴNolC7gs87.gjțFYy&Ã:#_ U,*Sw8wb7AZFsZ"&:?Gf!9?g:,:jfZE0mȍbų=n^%>pӛ?3͉s;T,`mq݊tuy1W;o!'!d!ɋZ&r({ ]՞ߝƬh#Y5#OT`ethC'J/or7l9+ڷL5(iVk=qNfzC%Gg#ϏiI*͎mF6#r#bJX;ab=ﶄ"RK8wY_k€2/XHz_Q|F;ȵ{}Пj9`Lǚ>GL]CSE,2A / )QVO a'~n/证דW mc- Үl)=fH6 {m&0E /i *m3\D\GJvME]=Ȣxv{;H2:e.c 6;>&Q:Y[\#>)ŸR \^/Gbw9~d*wW7Ą%wU h ck$¶j\3̧+ y\ 4 jg$"qX# ^,nXV\Q"4vU6ÛbcZzlrziﺾa()o@00WN`i^GWn=.C|v\՜+=-a-g{f(^U<`lSʊVBV8ɈF́lk#[?-bu )3c+˚OSvhGq,!/ӏ 񺢫 AtZgS%^mcD]ץGPkth`r%z5RJĨ\}3 >X!͈D`THF8`5O`%uXs3,s0,kBxr)#&CrO %O)%P@$[#YZYhwIx#>j `7^t[n]+:|Fс???R&]r]лhWzX8uiGq2ud G{Tݾ7( ⠻WVc =)oϽm j ҪiX39iTRDFUGjFzP+`MBL\愾/kBâz8zzΐf<̒ƽv>j,+I+1zO&@*NKp]T9'KRo )UR?i~5bSTUšءEu TVD,|׻K[YGph4 <aCQۼ9c2AfFMhG*whpˮ>Qp]j-&pHzgR1fBMg~OJߨ1T1;+efQt݌Q ez d_H cWJ^+@0蜓Q.^UI{Z9$}6V^%7fQ.^%;LE@**'Y"aRaCm{5s;n!ig!uUb 7XtWD8ir1-Ϧ@ ۝B.b[v < 0+ϊ2 ]U.I< G5j/ i5o(uj\>7/mQFG!6H(FT,`d6$~#0:\׬#d^X2ۇk0fISqL-Xw $ c]_8^i/ѣ%9nA.U ,)l݂ib$Ȟ}j]'L4WR؍n$G52AGl/v7u+W`gK2DhmH$U&YVB\:F^Tl_mqض[P[P pZFF1WKֹ,d1n}󀈏yT`Ԟ I : Ԕm3)et2pp3**ܮL4ت-y|So/|7訩F! b8gNK Dʣ1>> %*Hec1ɧ. v 2p+: a/Cq:zut8܃ӄDF68P))3_ y>2@DMOa,"c4 RayuP#h3%o 4j-!B$s&ܨEY6%sJq񻕖P!q u@{@T8 ]}X OZ]jy l4l+%q_`rBpmP؜c4/_i&Q$#o"o9fTAuq akښ0Yq)o/:ӓ^.2}S5T>iH+'kl3_bCk+]Βbƴ[ykmcypJ 3sj+ن8s-oۊx|b/W,VpOH3wn65tIc ɋ"TtA cKHܾ:b7xS=@ P/#qcX#?՗IУ3!bߑ!((igGQd#26(n!Q9o gj^϶=8vtgH|3'GTvft/FV8鶥1J\&YǸ#v#W5\-_k2H 5eW R xGꇺ#sEL[ ˱0@)iHX!M*U!a*53Q'x[H77 >!Lle~2??ZS+81hg˱8ȦD,9?8;D̪xI҃x4 e8Q UR_'K%{Ed,7"Q̋S8]~T B FJĈ)-NLdwAPd.]?AA\eU;|MY]2b8VtTSFfe2wƇ­̜"]*œ [OE>]Q^9Ҹzf" )&YaF8[@䎣 k]v"eb{I`<%G$hEZs5F~OqjhV{Tע0d3e(g _vF0Hݪã­/Xœثǀ[3އf;~= >d!*>-&aE 1Ȩ,n!Rpxs RlGX)- \FtI8z`3pX=m # |-6'aK|yV&w Lm4\G~lƿ&K}+G=]-J+eEC8Mo.!?ykb6"jN|$ S\vyw$hv6k[aj c*26*:15aOW|*ŦL-+Hnb_ {&6!|$s}cfD/Wޚ43p5v8.+# Ŀt 㖥_(<ꖧf e'I؊d"[ :-1+!YyDZ$ @@QIh!"ы'C6IM a(R9-4[wN./J8׊N-t$9N(/WV%bOʲKbKZawH7k~8!A"L|Ncngk+53GO9k67> <ݴ?W#;GX Zuy$/yђR &Hhթ-TBS 1F@8 6Qzr@LSW3?'V$C0k9UKߐ9(}=, *9zٺGP&ֿ} w&Q%Eԗ  J]g}ת8 Al,CF\iclLWzJ ZuPט9a@^?:]I:A౮؅ir-~/cQ'g㪮*/x;:Hv53q IdKiyQtY7>@5x, N҄~;~1Y!?Ҩaր0}E(q'&y g ٯœcL _>@477B]zLUXv㳆{GUiߘWc֊Lq3o K/:u yjی$L*USߠ}4lD瘓FUƃax=~^s~)?C ukfQe| Y*am~WqdмWō5)ljCmW\4TsHXkj<\s͛OD)`mŦ=|)NWROC;oq1ZFHU-;Q\6ǔE͕-$#/6' @8 kc-E`/G= xX=ᶨ:X)dkXR1p } yM:WIf霖pm(ΊjScX^հ/jgoWD?PBPy%!m*,Ka&i_8{kϠ|@qg6t!&62 Oxʳ!BjC3)*$;ڠ"3UA2D YZ*i]wpIt ty\JI5Rt,\wN!LnO<DvjMHԴrMI0PV?~I@8tFOÌf:7I-C,)7f3<ސUD֓"}B%;|vH׶B㺓Efga<G4 sDYG dC')lب#\;)eqc$&Lԡu43R¢Yspfg'dr,@xo'$Z޸) RLv4K(:e]_ѵ]:QUu3eL>+ԯc0ZoI^ƲS?%kE`UE_ WW!yP!j2d-H'-:c% "RΊPXVyD'An蚛TD#j?]L.}D BG8](4__F."ǶAsOBPt&ȕ`dB'QQn98]g+ O!/{ό0v Bԭ =k)T |~8|qYv^vv%z؝ m!l`n-G"'O#fW!Ooq{^"珎L,O'wLRl@P%b!0JM} L:#B.PV6s_,q Al> 'L"jCsTw$ӡkcnV꾶NX?r h' !E'ݫ,:9f*_Q])|A>ޠ/&~7exT"`4dƴ1D9E;C_[ѥccنLB(^nBaC:_5UNNc}wS(OՕ;oTCOnw9Aď *E0׋q0RF3$_48w8K"Qrwb%Ӝ..S*w.ya#\xq_12~-LJ̖) —mA16!ՈYEjM'[-yEmk cNACx?ve`؈;KoqH?s!^lnPay9XNu2 8S,ο|*Ͻ F˖:,E[bɨe3ß)Q~w&go25~>DmVe`Fa3=LEAfr=1K&$|?-&%5aE҅Ұ`12"O E^0%2&_PḼ~46> MkJS ca>ば|%E8GrMdEۤ"]2&/fԖ}|c<=#BNGx2|^Q`-O9B߂u ̳Uq7j< )O2/{-̴]1C:#+M0!}5WDE# $tb(RM#e=DMualPҡT,.*Em3fA}1U[)BxMv56JGHNiJ#`QNA3YVo @[9=!DjI{^g sl޲KX27e^%|7Jj% C*lcUk,u{`A(AUԺ联wV= b؃((gs [l$!ayO) ޫkJk(UP9*M3$=gtQ`Oq7G!I2fIGҍZ蛂TL0sxyxW&DA$JsG}{ǣMڒ2VqUI3OH"Gw>Xmliƛ8CbګpD4'l)5xHuDzCmvHى)en@U}j6G&ϦVYGo9xҴGx`$ݧ YӗN=@zjmCغdVGS!lf$wI9ЂU ɞ6Xj:θ$Ջg uu}A?xVhB.~~*C)M (_Xi`MU wO @.]3Yu[S;ֳWlZܬ)}J1H0+b/0uaB1$=j)I:CrԵխ^!@ɝ9W3A}(n`v!,$i =_Dsnkwxˮ +)m քP">6,hܶow}f(l(|+D^)o XZɧ/! VALUdǗV-KA;'^$P{`?nHm糡lVEt B+eKh 堪$ ~}7\e}lx,P̅~c1Ob-T=(8ԄzMo>G&r femSԆMy2mfS E_0p[^j|Adh3y޹4Usꄬ~@ z4I`Ѽ(*Jf6U JWă"&)jYyJFuo,kKۓEῲoU| n^'GJW!.>h6,Q4؏V7|u[ 8V^A sf=(DF;1p iF'g3l+ |yEPn~0Vx3G|~OLJTpVbx6IWL056ၪs(.[UjW؀RJ&8\\|8R E#`>D24K]abZcqJ^?Dܱ*:d\7IɵyRaWT&Ez[]/@&&{.)LKr$$6gn*kʓx gCd;mQ5Uy+AxrUI=9|֠ yF%HxF!?5V}W CvWV]da&ro h%HDgqFյRJ#,`%C0n.6-Uxp#T6"th%;RΟ&<'WW++T_ W/.z&`I;PۆQf~hݖiJ'n9KOkOmn=EFK[x.s&9Ku1kK``#~RYdH$F dgu'4.//aR|3|| ~=IO#D%PwƊJeO<Ř 'eQ Ualm!qJZR +O? &̟d)pF*^ Xej9 փ!]U 1v2˦\ ƞz?CTI?OU{] "Ív"~dm\3&2fOލ>)2 N@Ošr󞃡)e)o]&qAwyE2r!Ld Տ/ nxIb%b~LAss)T~>z60Q-K MjZ2_P/y뷆I_Ðr88u\7{oS(q׺c힌0 ?k|hE'>dCQj^1kKz:F>🆏/M82p=ʍ9qTF!~|2MSf6;P oft ÌZ}xۚ@3R/q#}9 5B8,FўC7\P&URl7>tL@Dwc~JΥyT蠸OρK2fzoRpg,z;?cre;+1* 3#C8;ID)WR@dq\>;ٺYҭ^lnLkncn߫'q¬!x ֮ȩ$PJ a3y|CudN }: Q+ TN˅]E,1r 0iEZo+>KJ~iycFNiׯ[lWw$lc ):d|%Ԙ,eFqX/ٴ:HchJptg-JJ#9' (U.Rrw0N U#ExfgMrPDr2uln )J2J 5Ot :Y~Rdv5-+a,GHOcjY6 v1'v[6!dh/*yor%aQÂX[#`tC`ynkJrr\V%SkXVN nYS\?4o_V+``)9D'+QMe׉jiDZZT2k6a&'|@DoJ':;XT%Y]y$a1X K*a涡>^ÉX׳io}xom~uPC>D*c79U+eʄֳׄ}!N) M FGĿX`M+'w%#IIB)" { 67JP0 BJ "˳Dl-D 85I,r1I!{7D30Ӛp҈'1̶x 2=y]Kmr @/ jH%bmz)CWtJt2'61po{BE־QTj {]o+2a`J!{Ucf ct#! 2"ΥPԧtBˆf"o{pn̄"tz_7;&jLCl^W-c9K?\mY)pL