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 vT4, ]]LTL:threads=4elapsed=50.842cpu=161.824gc=6.7487zXZִF! 'h]ŗXiɟH)0%oP`׺eݖQ?P3G!wC*=Ͳ/7x܏QL8l~Iƿ}#I& M. qmGa*d)=9eYЍ߳'nՉ\,3*61WbUjJ[-0ayE4TsR\޶ O<ß-7{XyYHz@I=\ئjBE FΑ؎R}@#:@j5u:E\-7FM (!bN53 fwݨc tp>%4q8mǵ%j.*to0oe2)zxX]Zf5CST'8EQ6H),ˆ0;nVi!"t B;+JRM*HlVdN僧K|\ '~ih]P{=f(\>T 1xNU[/a{p } ?:g_mx/dxV،ek2Ǵ/ 4l ѽ6|r,+ eCv59La|(.tzDK^N4k#)sU\+nɌ6Ta#heՍ{R>(!n\XC2" 14t@^촃Dy9Y` gcgX7wSXCVrً*W6Qo#J~]oY~he k˫I&%4qcK9%Zd3 HFö40@N yaqb|H/. F^i'ViѡYĻJ 6Ih>I*ھl})yD $_QҺwۡsp9D>mAP]ᮩ袪JoBJ(iyȋ`ݨij5C "Vep֢Lfts8@~C\y6ߞRfGh5uDPGr!.f@ͪvu)Cz@+DX FzҜi a^(|` 8嫹(*LdO<,/r3GF2EchZ?<3'ʼH0S?ǕN[5σA[0q!{J)2WQ7LzKl 1{Av~D3Nθ9'+B3 '4Dz(5=5dPiɤvE'Sف+W'*@^%eP׈,m8:0FY8P0\Q74v1`X,FPW3: F,g?7{~֣͚z*.J[IJ8-iRv?XD$5NX5]tiW16. :(kQ1,eovC;q 9|?pz5gs$] MƒR>  LTL #; WYH2xc7т3)T)m :UjOٕ\×HWfKYdYZ%| g4w90Bp՝Y@Vz+NQZKUHR>c{A x^qLcTK_"l}M-̃XsӚU.( LK)'iV˙1?EA -SF)Ax.M(wL 961DLR;` {unb~90pewcew~q6qۉf+"L[/j*QUy:Q2#mX?e@W)VSɕJ%3˦б+Ue1RoɵP%"'@"fBOCMm#8&|rH)u>0l''ҁx>4`I8NҏnTC'Vz=5knt-e/2x{OW k` awt4=!cҮX—ѭ_f3e%8$:` i5i.` ^w:CVqb|׬ r>8?I0ݮY2 TbӴK+dry7ue,A&7#ݦz!qd̓.M2bEB'+,GV#+:&h0: ܁Dʵy8)8սe T9LXmG+rߜ`,ǔ3H̏x$Rf +A Zcx*,R ?ˈϣ`x4w8Tv>jl0@&Ld2H,mDtR'6]ɏљfߩnoH91&Rϼx<<Aq[2@W2jsD.5!Ae lprdRrg SAsy'mQYQM8=qܙ&uoɥZ3!@Dhj(>; 5h~mHtY /~W;-e(M%2d]:Q??> ġ t0-TU^ԭUԯfs^]N#t eV"݅~,yKtЃ! yA4=Bz}(u?]IZ7J3P08Ui#.|#0LޘZˁNqy\`.b?o{E#sPCC53% ݇\(29:q~g۞BDD[\C5z~!mE)VPv/{:̏} VTGp}5xQrE\tfd-L.?Z.KAruG 52MR?~_x*!8h!&yWe#܎u ^oS7 I.V;q g0cR\BbOWt^f.938Z#ZN޶j CG#jښȩ).R =XݑߗT{6n(Ji#Nԑ5i O/ZAlG"DN>Z#0 |LyԷ)ԥ׎]}{{oeVn^=~j!'}@~K<% l1霵?I@ZAq]N`kuLq4F\/ p7x'SΧ) KYC+r|Ve纉cj>w[M4xU4}4~ۇg%rciU7.'@̝dJ"eU+Z@)w`Kɕ.s:u^#'\m(SY:b#4V֔fڌ֮7#`u۰lU` Ych"Wss|QD>n0L"p.7Z,qYFU}$k= hT7c6`1-ۍvwiD\h){)L(4 "WM}%- 196Rat[('C|T_m@}l5լgG8rK+.T/:%Cf#ODYbݣ]y63t/+t:J05Kn*dMɬC[>L(sfԽ_ ϕ/0Td|HƼǶsl+| DXYU% Lm?}:¹vFd9<*KtrcLhH e)`v!Pj dlRQ`~Np7wZx ldlV懯Ȍt}g 2k ߌiW1w])X:#pePJvMr!u `b׃KPad,U 8Kc:t '}M \Dy9 xeA/.!NQY:cq +]=Y՟lsFkIӖ,31@H0Dwv8O"؞X{E GciyzRW6.u!vDYYE.@DG:N*(xc?l(uupz{Ɖۭz)">^ܳSb^=+)"Un| 2-{ȍ3"v3́X@>\lȕ/m|5Kl"% ?7V=.Pwhpob˛[g,gw#4;8̓P,E2,^̇]ϬC?ucV_B5ʆX9*]rzheeK*ȳMqe*v~O#maԒ |!X8}Fq- LXX .h-Z<AbmdUC˸͛_o *#; LTLLTL.Examplecode/rewrite_example.ML/E lh8@)8<|r QϪ '8շڇS43MAaJMdwA滖''8FkVh+6t#=W""y.e;21w^N<y{ \i6=5ŨUYD>KvlvUm5wgA&`14/PkK7۸bV|*ug]CZʒvYB£G h$57ۍҁGHl9#9_kAAttʭȿhwհA:z"tT" cUdUh>4Q4EnR%5ksR'}Z`.6`vl=c]Y uf!SjQN;MmHH z!KB0DlCmHf1Lt'ǝ:Xk=O.9}hȻiV:?`]^M,6]_ 7HҡFSc%\ ?Jclf(Q2 8 Nl-V`ً]grjDϟ R43~Mu`]2ݶ]{Ic y%xv}b}=z Xgq鲒πڧ(q¿ m4=sR4-靗RD)QH(ծ͉8$B˔:.{m}'É=k"Fkn)Dbgq,*3yP1|ׁ,BpO3MG8 ed`:9An͙>au@Y\9N/G|Y¯@"J*c@GYD ?ɰ+})QGE$+[JaSv)c@w(3ޯQ"WHŏ/w+\{C]}GR%ȞJ38Xk!oIXVFij;;4"&}qh`YnF9 wT6YqQ>e f]NdJG܏)"N\_t] *k6ɶӉ3\Œ,#9̊<=SU>O XA0;ł|M̻~Y(A\=L '\?脌H4힉#-Zj |)w&llsyV*PF9}axljg}:t0 Yj H0|h:RDw?iA|*54O!aEL\pR"|2n[ĖB!=/6īOcjO߈yzUp9]@tUQ'ٷl3HւϚ`\S;\BZ,vc߉۬a[ BB4<>N}׆I[#mআ CH01s޽N!7^9@l?`(:zDY#Jͯpv:l48TSG`hÁBw rApаԦ*tvv5pE-֩ɜA&͟SJ]/Q1p)3\a^EHKFjsc+;Em$9=t0}T'N$[F 3At߽\fVTC#'U0,;w学7@7/ӗI0h}k.ӦN3EF(W%ї]>0/0>f*:2sFEfkV3x1#FSreFW5޶Cv&CcW)%vi[ 发ޕwګ.En2S:u݄`Hhc`:K8nMi?B&9faT\][uI1e6i¯^y 'B R\b|1,y}(a6,=GCfduL EYNnH瑫yzFs\^rLRZ Pc{Ix-gFO%͸#73KTUX%WԊs {-J1`.>=XckA:lzp35)s/FK%Qt/jTnP^[ FנR(єFV{CK T?:)(HSf>NgNq:E`+|, FER t )|e_\0-;@ptJ-*6֊oq6gB a桝 u.%6ݩp`KȖi5izD\fPɑ!0to9\jzo}F.j'1X`JĖhrysƔ)g9YW&Kq;+x1F(Utxӳ;tXLgvm>C"$bp1ĶΚEqb_.zhm"BOձ>l5S,7-iE4&g筜 '$`۲pc*ܰތTCZ/X#c,󱸇jXT=󪩰%-7*mL9[@SތJyrf [OThsOv._ *$w[u+ȏvvLL _Rb p x8'Aj= &i+PƭepO2m bNo r!VN d!JxcLŻI$7!]I&s! I6p)~^u! ~#P(s7 Tc=ojbM zPG/U?Tht k:{!@hQh=CL=gYZ8QD> Y!3|2y צQ1pyr_-]? {VVwt>3$Ÿ1SONHЮ?}@#|FZG`owuꭰs3 $7o3_]V]AP%La-dl*__}ϋ2@z{Zo.A>&.e{uk&{ ɌࡐÁ^)LRVU#3H1-ɘ\0X[=hsx0H SoȼmD PLZ%ƑL?u-ꘋN0hJ&ދی>bIepOã0g#|.V3@u&h R.TllevPvh@*ص4("Aw!AʁgUϪ& *6 y/ʤImD ɪjk"";BМIJEX Q }vW1b Ԙ:Hs3 ߧ*L Q1_@rYXy v%+=k?2U\lȺ ȃ{8yv)*uthu$H8 V*21^aīN UX@B yʀ+hщ8vwD֚ȓVp'Z߆1tZd9q=AQ4TуTuyEg,5 ^ܮFdX\d s(? aa:Z[;d8AB3èGٽV%kR[<zb p8t͵8T0[Y1)ʸ!,)8mT*.Ist[P1͆!gh\b~H`Y$z/ɚC.y2?_NB8^ :/8gHj̷]޼[.yl,xo[dcf Jx<،gB=VL n[5 $+3Hٖ:{mn4v!1Nl/_|z=Zm;g:0w1^搜дD$f(lse!=^6]2+ ЈWqηU45Yy,9.FIv?= FojsJދcq.>m/:Į9L̹i)~zpiMRY.! zu\Cg*[Jfg>mGseF)d0P+ OXfd,wUi8Y R|5r쐦QZêFCkȗ?5L.@ V^đ>5sGɲo0'3ek@Ʒٮ`sp MDR X-7 {wF{~rցď1헟|d%ؐ\.nmy vXdc~Oj̢I#bhogZuT*K|6DlDu\i"L*\`^ZX'̱U@Bd;6v('n J` gܭw;N)E W־5|}^s:,_t܆Rh@#c3삸 "斛=s;Q$$'gmm>kFi:~Yxo)90ܾ9>dQ>x)gi2ϊ^n1ގ~ȗakmV3G\V&'[y Ǧԥq6}fWk iD'x6LtӁCzP HmV$Uħ})))R_1o-8w,,wDfs1-\ꊮ9wbvٲfҝWvvEc܃A7}΃D8Ss@ K sw{H'[_ߌN|7<]:3[O6$R:3!lj[`&9}QvT9umN٧V %jgO%pk6;IMG;)-$'X䠉e@DTԫQ8?{b8scÞS, JW#Mć7ᐪ*ΚlXFF=L 03 GL:] n'5_B,MH"F( lA%ujjZM6m# 3n:cg7ʜdFcEcՇuTF(uCr >bcMp+p;hGM˲bNG*=げOkc<`(GʼnM{j٬@g/krKe@2 T32{LbJa}>;TF5L.ԙw )Fv{K6۠K 7Ivz͉w ^6hF._572vOZ܇9{Q]\&r⨓*"M?X՜ߣ K#R&K*4!ft8ǘ/XN<}avi7Y$Ū= Ⅱ?@Yx+bD]XrF2J2P=혼fM\{q܂I>1RP=Oq1ѣP'8E:}WH6٨Noqϻx+v xx4?%Ox5]h.nG0H14*Is=^CP6ќY?Vgv&$*4i0 s߹+\#R'Y&ȯa>&}-:Fsf'8D"2(1(G'o8j&hS;VGiF2&ޕ>G]i粤*Ŵ-3\`p!g)>< b!=ؽp ;'0DB$DLfIv4RJY9.XexLx_Mx;1Q2 [<RCHf0Y҆qm$DTC]h9@M~R5~oh 9%@,LKKtOBky!]l(yȵ#:QTfDҌl`;*,쀋z9R~O䩻TNzo#O;lS$r U\ed/ۚ)rIUhDq{ puhnW~C*S[YQƲw;DZpg_n(\ZeӞ;97*~8G?Y cNiz+m0؂ZnlyFq:/WVt@ N(E';yƺQY*R o I15MJNJ ]XO$ ,sV ɜdRۈgӳ8hv4v(CѨWdtYRWN?/8cH.Мp{bv$*w!>?`Lp0kB҆Mt B c7&O_ ]=`%񆮉J96W.= 7;x~)]1_@hGm0m F= 1ixdqIpXZ}V#e/D)T:D?OLfChV<0g=m@DHbdzݣ#R5TpywA<$|CTIH0䅌D,2eQ) %h Qq ;G8CYLX20ics7 ? 1ܮ}4܋ m2i6`WĿjpEѥ46'HA2Z.Im#Ad!)n#cD}CL C,\u (y&w2M{.&\0 i34 ! -qV J`0\; ~eP e`ȸ wұPi N1(I ѨU[{)&5/-T.PZ*.Ց $wIWiRhʤ͗B 0Ov[=O;C3VL'MnU52]Ly F<ƚW3Eh?#Ȣ+mjk<ukGb}ଃ4ȋU{ nÅ,q߅NGtѵq7vy*T7/Y{gv"~IM=,Eh桨GS(I" -+MA 5Vm6у{2!9Cw__j)֋VKSfg"I~h6f( $ __֩HG[Hp1(p^IVٞf0_ӍMp;RWŶu!鰩o3ܼMtn#O:tu1 'ˑSDnrKf6 k I<)b+c'־Ob[lO`ivpt%: x5Л?]/fI 5e7r zClsQwZ96erf\JDoR)(@ug>zyZZo6S9^$D:jTj_$P~$lgWv/7E' 2r?M@N.a)䄟$1ˌsyXr<-$=i84%RGnrA$oe]lpܶ.wj p5&o' 7yAb4e*5N}W L:sD# č}<JK۠Foߞ܈Mge+X؂Ot^`lriӫ$:蓦#<_ؓ4&ڑ{ݍnV;}VToeydfBc9xܦʗPr~hwp7o#Wxww~]gҡ̿seZ%IlxQ@&\ܦ&lԾ}| ݷ+6;p)TVYI>> z N; 8{,<_=?o I{qu)g#@0ht2ʪ3{z_ҍa0YX8&4>!Ʋ`ja"R[e!߰dbχm?,MHmV~D83(EͯMh%/1ZX)hR }bxsQP-DtKRn3MӜ(AţNR -&O8r\@9 Fd*BL&|ėUWzJ;B'o䶻#S5Gs5c{фcXijExk&QtὃEZL\FDwS@5(}_Lvׅ\_.mJ0 (I50% &ͣ`73X$1ːd옵3ldMC 0\`EEu&V_1Ln8 Ϳ yvCg EvIbg1L dhf C@ @9(%"QA+X{ I>de~4bxjjz]j Dh"䬫&]2x%G&yРVF0IWa}Z8h,+6gUNI]3eCbP m(5k!>Z8ա6 5Hl௎r%> %v"ܙnL8DeS;`)!?MxI{Om H %u :;$$2v\l)U0$Њ78v6.DL#dh28"g]U}Ůuoof6r&yKWUL8^U^e|:wIa]w{8iSm |Ĉhz,qm+-Μ57OK)/IKG@#B[QV^pۨ7M\{@"ƣ u[ZHM|<4˻}ZSG~=#; {? !N#t?Z: plnV3c2} ;G23ϑ-nPջP\\Y,jC]N~6\"Y S:]_I̛nn_~9(hNދ)o?άpC :vn!( r3n6𕊓Qc">)OXM\o"jtfL@q(Y`W,zh]j,]ʽ(#ReXs+,T#Uu iu>&nww$/& H:fEp=,I, q(uGdȈR{^l|x[$՗n2ULP՛y)[ $G@ZDsSz+CU jk"%2}P(0^]F~oa6Kجp4d|bcQA խOA̷-@" TVo^5s, sX{vMB:2~hؐ0vu8Fm|Aj TEX@?j^@"S`Bs> .OW8W~|EؼR)*E8vDmVWuyz3sE4?04P&| La I;O)G!:R6MTiOṵzd+)q6T}R6cMTp4PŏzOέ"KCw7K˔:*COf~"1I#VAӄnt+#GZ4icZxn*7SnS@|? e@ &)=%Fm C ݟLbtEIe#AǰuBZ+/ϿV{q O‚0]>!h5=pxrT[p8~Gr֥M [ r/C_A~8`d7"TqQ799rj (V=+nL&^4zb?ŪD *_܀RQCLnt䢗W)^W<-У7N+f۩v]@ ^\X{8*wjsoen9'J@^UCZP49^_Pމ '[T꛰ps҂iD[-|dCՠ 5,砕<{0c?;Kfflv8Jh^2CD- ѝFWh#OAGZfA{dv8whݻKD:$][a$`v"tpW}5١$Z`,D+%3"K` aq[70itD;ik>ئZhg/ 9HuژʛT^/gcZ!#q i avE&؁R/aCQg>a P]kI)9PZ.P#܏M"qNpY % 7j}H cO ж/Siؔ3_hနh:4c4f|5$D'u#uP7-S،` ('5h_De[ X$mruH3&H&G?wU*7F7pä,;}mXjr8OcITBxdBEwqE}\/VoPGd)̘ Z~+n(?<&g9 ea@18O$d^^݁BWW)^"hVioE$AsI0z,\XqJ-V͞a(n> !NL8;g WOL R2Ĝ">HĦo Vy.|Ăh6: 4r؆n"5PzuV[7},V 1#K9t5T?[â~Ԑ 1}R=Xχ1+' kIv`*G2TW| @-ʣ7 5ް+a,mcM>uP5"~? =,LvQcb8n^9}r`$V2y c#2gRZ1\8HO0Cmk[0:J%8J H O+ q%bCQ6`"/]+Aߚ{k/H ]x`Q?iAodP:k@ysmB74r:0J'\^H9iy!phTAf-շtK|{iP&NoJ_hB"Xxvly{G4Ro*##%+*jbx'"鞈Cl/Lq<{=]j3EG_"^{Ya}&jZ`FaahXX$Wix-\ğoW 29j+#'ڍ52+x<@Eڬí`D賈kO Nf4/I.ߝ5&ee i:qle(rN" \i2pq4fG3ܟ>l_f&ب9 *188_}R /T'/!ʼP. 4!JIHߊ12I?hega}xvP&I8օZ&14JwSH*e1"^OOpJ8c~~jPj<֢2i#$˙i#䞆 lQ6o>٧N!J%<8S[6aޔE 6){nP?xeq$W~ݒb0mtv^BCSOSl JBc󨒓/1?l[( MߞABާ_;P +pᓣĄ'aT@tKW (VpsQU )R4ǽ Ү5& 0m+_JJ`;r9F? l C'TS\^bG9q@ӓ!n37)6D)Ջg۰G̠=4 aFL_'Mur $WR1ZS8B}mh ږop`@9Rh Bω-Lk#Fa8o{еg|)t4>TSM}yܡZNNɅnFЦMxQSmDNHczUI3,o|B6U;*o1a |q{)/ Qy5dRcA=i8Dz' ’z<0g/yW}.7]]e/KT+uq ǪvO@Q(`Z^i0̀A1¹cWrbkf>N'`^vϋލxINzE+,q,xs@go!_Ft~w D^,hӈgVr^L`*VHď!51Q%Y b]!O B.aBFS m&YJ@ƬY,7S/XYA{zu`&)J4rNIyJ(gMGTFO?p#9ί\Q.9ؠ1W%!p5Bд6{e$t.0p_|T Ĥ.6e5:]BoͬA i#[JAv|!f>Ś=c[zO=&lR{EU') "EXS}>N6ΐB`L^6C{> R0deoAv윽M?d_`4M\ ~?j+N;z=Ú'F4T,8£hŝ=F#aOhYQHT_ţ E=s7Qh5iulFcZ-(n^ g,I5-T-H dSXCFA!SL jD-vY ]݆w7u5h̡X_c5;`}do5N 2<7&DCnc& ER1z9i>WZuVۣ8Lx6@ڵԉCLݾM{`ggRb*̉bg/V?qH&>KjlZ=-?z^yk#sg SϐVX$_O5k<Z&J#=Wr\%ӊ CEẅ́J&I_K~]8IId+7[A-Bfu> Sw%eXw?ZϵLW` PVfqQm t idXJnF7$ʫ6_x {`$y>0akIPAuϚqݭ>b6d`B朲z uڛC*gQP%J&B5,E>S$뛞 p/sc|9J6K|ȹf f]W]TI^t0b=72OۡY0QP+_h;GsE""&h{_q :173I*ۿ /q|,sO@EuHo!]qA҈)Y&*2l4Bc:ܺ0Xdũ+!*!b hNc;Me%)v'jeMz vlw @U{쐡q's.E jkVJ˃XO u)x<+'}V 3ܞ(XdVyY=*mNuos吢[h2X¸m^XOS,/&gg!+ASw"ӑ+A_+ݘ ou9Ui`1v"}~-ȕŝ -_sYus&/Ռ3Iz]=[=Z@m5.)=R)|s=Lx>K89eKhֽɕau/eOlCd#/U˩4[]oBk43 +h9gM9ŧWө$+9r1Epwl ާD6Htx 3q~J}&p笖B04жǙk D2|:[HrwSaA^r.R@: l).SƠF#j!cR%|Tj[h#|} $8ЈpQ>S6\v}\KYN@?2,όMT%69 jrt)Ksup]fUݫВy9n~9q,oZzJC7H)mQ$dE0g'D]Rw_}nDif5`bgͧ@6ǎ-nQk"9Yvm/y+ϕFIɫ_˩SֆߛNi႖DҼpaM ζCm!)^?آfr%L-YJ&NHM#2DŃ2$a|C*lCbQQ̷݃8,k$뿖;n|9UМZag9\#qH܈3m(ۿ>m#)PDQTy:ץT:.NI8ݖ?"R(bݴ8叅-1whS;HK '4d\|RVO-L-\@0#үTnSࢊ{}\d4VÔ@=$r/ȦЬ>pCcr+QPKQړŔi$=+YewcQўO0 `N%Q~pMjL7Uˮ_W1H:F)S Io a09G6ODZe&8_'>Ofx  /Z'f{ |S*plwMDpcr䱦~ʤ^fa5z!D4<8t83.9X9>_Oby|OX~؉q kUtwf@J1HobH D0h#|"-#Fkߍ ͎<̤?Is%ktLtv,g@Exz*iMt0\E /N (Kv }%H`4" mɯi;!㜒;`539b,{;:;?oJ1iE)]{+HlP齬X)Ć6 rs8*'2w9]}+0SA=^w@™jao6u,3|t6vXU69g@d@&U~!C}~\d$8_+U?#:ѕ@JDz@8*P(xN ДQgLأo`']٩jӗAn~8]Ole )ej`Zf MoR:k!mhkq`6$FN`i:,${B>nMܭ~9j{"0!}kVD;K+sԞD6%ru?(LvniC uorI.'& 8 +JC.+ě^~Pm_5ü.>k6]uW6筱2% H{߂k!gX  gB5(KwR}$S^s44q͗@dn"MNAtH-4[ɵ)ro߀.9ZSy.2F ޮUC >w» ]~JP5^>vr щa8 SaZG+5q=[*hZd\FV_/'Xp[!a*)bȍLLѹgq؊芳PS[ ^utj\ aEMD:Cy ~zu2 !/vᙆp Kz:_,n-0IHGzds.A)5lH>V%Qdž|j@4OAV&rb7p1-c4|9h\wo3W@| 3䫙BOpk /RVPiO<=^\Nqv R & t^߅UzwU(g.V HoyQTzJj社}o.=8vJ6܂cyZkaTPV G|B蝱C -n,'p1~4]QMb#܉*@HR{SJ0 |.KKIC N9Qم'à 'N̻iZ[eWuQ?7{ m"BwǓ#;c JY20Yǯ<􏬳߼$?_CA"E8hd:k˥t)7ݻgl}sc Fn P)`U)Ql=R I=Be둕E&7INrDҒW3)˿ԗ]Brk7DTxp 2feA9;0,ȕZrJb-S5C]KzyFZ*HyㄧE<槝jX>q$`~)kBu֫ I7 TWip͓h!eQC]{TmqEh칌}s⷇~SMd$kDw\ޣs}eW 0ф)G񟤧|7ǯzƳ%ԒfL)Bͣ%-5p,f_ !<9vfu;6B5u7wCYAkǒ`n +-uz L-{EyI#lhNo"H]" ڕdQVv0TJ#SjB#!i\|geݖyqeB=pYz6?s϶Agn dwBEtvz/ć@DNd`a8 j,FvW❗dzרʷ;& FwdhqdcmVӵ͹m)^؜Yphtكucgz_^3o)W@EZd.^>fH6ӓMˏ:3oGs.'QY*eS;5`blNncy=dBXÛL_" dי#+CH"O1G؅p[|9P@G잞TF78msih(gi _MN`>FZcAӁ_ŧM`#sUtm7ԕd_*F˿[?e,+~.Er /hꓧ%7 $YϚ"fXVhI Md<ߌ%u73e̪`_{ juXl|7Dwpf>iTG=aV^NGe#P>XiI2y:").֗/*!|-׸j+:Ƞ{Ɗe$Y z034ȏX9-{{>r's}BnAbqY2#tqgL;n_EC" QMhIj5K5C׌i\0I r>j4\(z`Me MX˕ !(ìBܽ3h~6*gYZ7zXZִF! ]ŗXiɟ$@u$lA{HAu aCԄ+F=E|x%qkۺzHqqZ k'F}B;Aa}3v},:[)$?M= HB> 鍟}->[}c)?)^퐯xejs}yI秨io@8<"B3g-A"o;k",xyZ\13?ޓ&t]ߎ8TgYZ7zXZִF! ]ŗXi%L&䏇oԚGz'&e|Rc+S 3D=e7h dtGej zWy0;.i0N\gid]3]NQcՍXOGe:x׾[(z-$b^S*nȫs_8C8Jyc4L> 양8ԙm7gҰ~w FPסN9nGbTyBjt^R6{*0=F5ST# JNN~eGƲM*e{NLAX=Q39 2& ]_;(7Ty N9KOL^bo'7F_;]S*w=Xyvbbmxf ە_< /? xu*yY0B(Xd 'fuoXTcu%~DQ4fƪ872B]-l$@Phԡfuoogq7AW;]v_n+f`l <1nuAAJcӣ 39ơPg}l!brBT0%w7YSUr26Kp!qIHHUI' kwbg\ 8 (ũ\Nta3ذ%ȮI? !{Tj7NS/?i dҁ0y䊈 h[Nt䅑#N8CK*ߦz[Tro'd냆bAfR1\&?}&Q=Ƣ=M燠t =jC>5"oP ͷHƤ‰tuxzγ$<. aq wPkp"BW(F*[ U뢴r^E܆3Q 50mfͮgsEQ|n*VlϱG0ѿg/p%n褫${b~Fi/p-Ms/Z4u.5a$ѷ 2dx&K~xD |2ΠdV}qN%{Od^QѺC:H@ܣ`U5*gtWXr"@j$ b~6$ IL>O?^mb0yv\Y@ǻANӅ)ʬ!YU C1d%G4D ByO"GMOȬڤǞ72xOSy;fT!V04f @nU?4*ӑNҊx4 oAԜ#8}K:>oim|36i?c|UuSM7e Q}k@WT}8d eM u{LòMp!u{u֓mWqP49[B|G+㸼*9v,xpǜ3*`a+ҘUgN2⏵U\nORDpH6JuxdK^&J;kI^װh0G tS^it0=F2:j+"7x沙|"WLwz^`f(=2ilLz{4d]D^C\z_F9 s^XgG>8R8=o@+'I̙1O;mz6XcgAz/éH ٹj2M;*3%7(bZS[zP|WR.Y5{Y8yV|>ld#Re75X.kA!gtu$Z]b颵HZjQX@J;22Rˠ40:[ъFkv "DŽǯnslm3u5䊂#C[@W)}T#s[Iv64D |aQx;L=q"AZ{~K$/x׎*I~tBS>  l*2$*hK ^{*; >W*"^薊ET a+*rKIE *"'l :o`Ȥ4|6-EG([Ib 7Lǣj=Cˁ*:Еr@鹲>|ðY68tdple)Qb3VTj@fj,+h|v+jETvfx$xYKlsPI^¤,wmXvS'^~) *%Ѳ"nr9]= W8LVTEmj+c;Ϭ@ 0QYtցg!?tFEMB) fa05vpHa/ 7I:GU;,|~#W8ᓨ6|ڟL- WXB7q2(jo=ԝe2Q 700/2 hK_H|OԀ\vNj"wa3ٹ{j7>F}Oc1\LP5>_RRf5*GN2ҷZ\rG\S ͮ ?z+Pl SǑh#KW$E-LTMqʁVi(T fyH2۔"lZdJ]%t(`9a~% $aZ$Ygӱ]ٛu#x:(oI"N=AX`/6?WӳV4y~O7 $[V4ө?&'o=)`}S=Sp92p9??l+V/l|[򧭉6bQz)73 =u>ޗPzHJ~Q.Oԭ^,2W$Y`9T-|V*N,֪*o:s~rMmtJ L[3]qk70wE't,kH[g)pfO]3wDIE/T(LPEw2$HvUaZ~"4bȓEA3I%/1؋g]] 0ۃe ;01.CL2,{T\2E~xbY!Xz^PGǸc  G 42 Ǹ %A]9"+nG1QnyC'%s#>+)qj!-i*_лPvjy:)V2my>%iχ|dzq`~ʌS'L$Ni ٕ{{+zY#,:1T(,%W%ƭKmS f~,Lwg'^Gom\F#:u,cO^:Y5<ПU SdN'ytN:Z'`IȬ*aL @4soFEtQ y}^rz=jpb2~k9D8 6,T 2t{G)@f1,nőAgǗحYRphn07om<& _з:9 ~UAyjcWZx{%7K#OQ/4ڲf~e $k7{W 6rx ʡ/./7rUiZ ǒZ`fib")M5 )L.rfF""As.͚UAnJb~UgPOH