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 uuk9\D< ] HOL-Datatype_Benchmark:threads=6elapsed=512.961cpu=2024.064gc=753.300factor=3.957zXZִF! 4g]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*m+z\Y8#̗"`@ǮzF1<|)D$gNOI(Z<++><\J{m;IhG(E W.њQ̚7ÿeV?vCMGb]! M^*\+ZitO٠a]УfT7"uA u4 dװ:2Ce=wC ~oAmԋKpDrJQe;`Per-8fM-knLN: s. @Wiܒ)VwBшBf~\Y9|l+7R03qmDNXZ19< y%87͑qmP kpQxCiuVH"@0vM[sjg%BhV ?:vJ1BLޑtNM%yI*wJy00jQQT@d0مi]|*vRZy>aI=jàX@iA^ہ_Q#;_v[[]xʇJP#Mo_|0y蟶KNzRZC2f} T4BwRQP!,e gXVTz3vܚj$@k%26¿,f=:lJKU:istrP̥pXO0oL_>Lnǒb*e9l MZ25B%CPm֊ ax3m9z-SRS^r": @0,a j2CW ʷ 1ԭ!l&3-ϊ ģ`> j)<3>)Uz8D0`xICl+AO(bq|{Je~gNXG"A:pDւ6'g5Ԑ!%ȎK5r0ȴAjnC +G"Ljl^J:d 1it.?^B^`y%|wEZ$F7tW '3VCHdփ$[TPS[LO{W[U/1Z!~9mMbN' ƾWLt Sgtp5 2{/< k1_z\,#K}L.#;֫8K8#HΎN HEuVHpB``5잖N[yinGl} Ar9&+wX9ũxeGqoj W'|F֢Hon, 78_yq??kWlYBw|~Ubi6Zv3Q^stL 0!s;wրo(xcѩ@Oyk7 ft_Vu%NrlZZj ?C('N16=Է-WKlWEz>VH/Q ;ҪNa#2  T5ÉPr_PD$Uk`:3&yT-= 6IK"F˔QT|^\Ql ɿZ|J-jíd+eֹMa" - } u3eNFuگ4'MRA] ޾ l)xm`q.G6T7fJ@c; h!y=tysɱጐKC &xhwAr~@oI@H|ÈG9m.vyVZk̛r?-!vg.m2#W6%fW&~񟵹Fbez@m2!"mx.q7T >)ښ(,1iz v$"h1͞@cz4tH,t]2fjlt3E^L4hI["OVU,\hyre'wGJ G2 Hg{moy>+LB%, >;}u.{ږI]oH>g3blsTlrlVgq#JS{x T>}?6ٍw"ͫ$vtS1):ݪꇐ-Yܗ[ /j:vR2vHsE.o01f3?mmGAVMAVrh t 00J찜.Q #K宜T+'N<N=2M찾$!m=6bǦ9f_tҵ$r<lUb;$SJS|7"xI$ .9ׇ4 d$kR|n^)w{o4W CḮNt!!BHGiVyFhQ]78L=w)ljIO.kAw>,#wY-UT敥SRv!ʷG[ZVQ| m KG=}԰z,~B׼gv7`>HT%in>T s*eP$+Qf?]3]Ʊs{.T>S@Q T4nS8 }S}miDVxudv\/ E,:Zc$!E7bۧXէ8r(Q(A+u ڸ*l8A|Ltee:ō= ԇU[j=)Ca 6#gtv}Qc9 L'ɟR28&{dO)WD;g п66VH@B~hB薃5>A`M].eN׼_{h]eny<#ft"dQݙpi2cl+Vt]DwehC&G,q(v"IXu' cfm+[p& nJo$Q]VղSV;[o*]$OB{d=>|y&.Wd!p$bAp׌GOx(,{@8cCsh^p("RܼWrJm_5e&".[У"{%UW[ZŤurW['Oˍ쳪',:?-T>/Y*LVno2FNG4@쵃Mk!^p8RdyK(&$~nBcmlW:ޘ &)^: Dio>{~Wc!y>XA$;؍t\eT[de@,j~ks6s&apO-BCBt cl5]n9ҞmWDC1|Rmƅ өuk.I%u{3iE0!䂧6?gykx 7{v%irA7z)ڛ@,6{fKVЉ$3wU^)v4?ҴA~; |+wuQDM)hf\[{+"{3xy__GGVtch :[̙LcI D q2ov`\ i 4h'C-]2!8dL_(wk!1zg뭅ekӫRMXp GCdT>?lu^z =)~5wX*CiA&c՝/.n?$mg۳נ!gen.4Z?٦T)+O\<\p-Ѧx%pk ,3zJB,_T#rMa+Rt2$(N3TW^r/Y#%cJ/zឧ5ġ+8QWl-Yf*)lY4WKw9⍝l@0 뱐^N, Hv߸<ͭ[9:|1W0ʝtS-%9һ$$Isb<S$RL^SwGhajCPbFV7ũp'am Z2EА*݀P"AH{(Вس=.eü/}GUhZOӡIIX)Ξ!3UuP=ߒ!Qz}S".{2a2n=){"Omr -rNT~ Qai_YEkNGQF%|t ]_p1u53!-6cī{rquD5UfzQ+11,S1ڋʇ]fq*˄an gH @|% '9|/ΚKMS~$*I)"m-U_h=Jd/lz"Z(Mq enNUu[zeO0tϘ-Y4,%t XA)맨Y8U1l0DS6m"OT x ^.NGM>+SZ-uC79H8"r7ߊ*kI@t/ ˂ (n*bh9 y# nL[.&'Tq,@lߚL1ő9`;Gq 3eyQ;%(Hɏk9gR=* s9O+gE,h$S^+ҔqĀ;`݁Mg_2+d~IQWh%sAVpC@<mef _nsϾ!(܀3چHv8u+@2DH756<_b'I;y(v]Ņʱ DA$$ =**#چIOl>V/.4-4Lo̡zX^ []d#K#ɖf8 \񖚛 (_1su+ ՌR~E<6r=(Ne.6V>3c{gl&}U\vmU=/v$^P/%&@^\w*,pE~(dË$F'07Ou)piMf:uRt"x?\v]MUL//2E8ѾI1^Rd\[RbZzc"PE#JxZJ!2,tGX=tQ=h=P1w/j-~piGfd:Ԩ3*WDZ5 v5fJifE!jx(ߣ޻;aO QRG_q6L"o>!%Ť[4!\ZnGDα8wH&4~eƅlBؤ'mnoK@2 'ڀ;jh,#upݬ$ )m·Λ@^(!^q0ed}9XY/oZG"VF/}8QHW0;@־@ln>#[xgi#]P*Z*FwCoPR'#?.&I:hsŸ8wN@Me+3=" n\\"d5#"aSaZc,wl]Rr vN .Zs1jԗV/v"TP7h:'blǙĉIxP 37#d Fk#Q1q2r_x?ˆRK,*xC 6p [b V9&2L gDS?`N[YOLh`{ Hu>I-V, sgӣN`]]&AwQ|qVq"z= չ@YF(ulZZEf\P }X4lC7>չseo%T;+uߦecz0X=ZѢ1yOnMhɊE qSجDA쇏7QqGVjvIV莧;: ~V& eXz2evՃmsEeM^,lPFX'MCõD5/ՓV-<#gqey~TkRG@J$4/J ew< sg zoR'|7rTnXAso@6YAU~bw>iܛ:7Y.e"i)\t#a¥thgz"(;\ѱ?S; HPC@Hww'Y>RIKqމZ}9;ϑن^PD r#(]BuUc74B"u3di8"P\s]ĆvqP>s#7o/wmRI-г+)4o` 5C ?%Q6j@x2T41r,-[~-3=O(:zDtNɢ-dEsN! <2Z%IU:4a ܖ!Tt͂9 #;Vy/gEf6#7n X3 A 6'qFr\wm))9#&B*MKTNI2|9A/@ggQtxG]9xz_u1Wd06<*Zh v*+P~+#XuG˂FQA /c8(X1b((5 Wa*u,l mY]&[t*nS+=.be7dvX,/3?v%)jzk %vW]ʑxJl8 f;M20@-[$}fpLVN[= 7I'EF-̗ 5lE?NϝtQ$`掊 k[ Jx %Ԥ^àyxA0us =YlhF\kHW`2w{)arq l'!օѸ\"]H Sϴ0ߖ%dw^Db(đ'{/#w;3ɰ='^.5k_(e̘{Rlμn~brS%Pg J]>"x͢z&J :̬Q}85Ibࠗ@:?ʔyZO-6rmrP_4mK{{~ږ]g(t]HƊtO^Ìr49wZjR,3|촻Rw ^6A\O!%NsLkR<{+Te|/y*~4s6wk Wt~*/=*5\F.bdo)cMleُ̐#̳|{MP2Dl3v- r rBYW5W;t茖ɑZ4?D5;SC >`ltߢEFޠxꞗZ"7Ŷw+@uG}`{Ek~_3x(q1=f*C"x L׬l7~v١J(0x tR~e2Lþ^vy5!B Q urYof3:a(]l}d48@rD\0yǫ_-KCD ^- >2BiFb77覗i_i7CM=PVDE^dfʏp,Q/Pbi@vD%o ҈9WIr iKdꨘF@@`phyeTmzN×,`^!U4:ld^e}J} 4jRIq@DZ ˻^5mR.>0_'Q=0)\y3J:RelzI7Ҭ0*3d5Cq U۾يxïgͫ)%6Nzm VY6GBLd26-qs_Y\{]UA2(pπ5D?ԬZ)D~ML7S6ͥLwK&Yb_`8a&˜՚cWW('G2^8&_ ):&㲾=`6xI D'] oi,b2RR߬kZ;uIN 7d2I[(7\I^h) @/`荩k/%xWA-w}>G/Usk@ Qw^~,J) /=1{w슋|#H0Ȓqj ݻSZexfX\mАE2+ ,PF")}>xCXaŚ,ݣľ'3KS/RIцrY2fYd"|9Rz/+d_sm(ʆDކJn싒7^: X I!q~o'xx`goJosOy<-l:g/Eʴ/Rɏr*Dtҏ6{8!3 J-u_28`I~MՋfz+g%?N}wFj ~ ыp>rCq; ?1gRkX;N6z9lJO7]a|n[PV0l@gg)kCBiI +i.)|/RfZCHcb[_0%*b]d +G#]'_3D;pX>ƞa%W&e!W0Z0G9LXiBS^(9Q 9x|¶V&/ He'z'..S+PCm[iN܏۸}iu &nDͭc 8yN-8Gh$fzP>kJR We&o~X8ǟMđ/}asI|4WKE}UÅGܜ(Gˆ2*a_v"7L?ء5?8q&9[Q6kKO^ygo$pDg$LJ;= LiPI?-){ ]MOx.s_cX"?EBS`~:*pQ $b{# ­2O~gƵ Xt/f`^"IhW%RUe; U|% NЮ#(6*dmg iu-ߧI($5w0Pi@!.l.sj&˞ˤ1z g!jlEƴ[[^^Om֝falٌ7 Écdu4PM#%tGͳ`r7}qN*Hd#Xo5'Gqe@2vLǥh^bίɠtωj}Isݾb(L9<>J]4) OVBK6F:rx36nkOcy sb Hty^4ԐjQ[Aq[LL͔:XSl-IW+W[%=:@H(fDp8Z[e[b|IBhn^ ̩kK1лNFlټ^n]2(ZM8"2Na}aQ궮 "?K06䨦] mGjt97y:&v6'\li g:uA=sXl}(8ȜQg!40 :j2ŎkA|!f$A*mV9TYf5 G#{"kƷŨu^U ]O(鬺3\A4Gd.? PeARߙF+UAL+ c:R$DgH`hʶMტeCbueJ~ gX˯G[@@ 0l%[LMC:P8!_S5,\^|ބd&6X}m+g1ݛNlN;J?4bґ5% j 05*2G#vOޛllJ>:PƿPo6 p -BUJUGݺd.` ߥ 1KJf a@=ҝL2pGi3T`ğ -{Eq1{]:'{0LpZ.ҕmjɹ*a y22z > u 12L*71޺gx~v`WS!^6͝e b{͘AW}O(ZG&Z~5(a*SHZ`[ї0/W_KtY[h7iM^hWѮsG,:a8` DLϲy?>^1 *x!n 9t;:k>vx;%)%3py`g.3ol7WL=r_U8G|RbdP_jBҢ?:{?D`zx X4QgC?)_W\ąuXZ6+} ~WFS#7 C)16C^œ0?ͫpt>+`fgL&.qQ0<@(wCO l)^=*GT+1Q@c~_acWHSȳt<]}9>:)Rw|5=+BGRKŔ}<í4훓;>WXHfbl>R6VX Vcq*rdZ1PԭPy\悂férQ~Gә>m)HM'l/T cEi38DoAd_ [9G. XI g^!EE HJɽjJ鿃v:%;b1nhϟB{$Ѥk$\D暐pTNj mnd :3k o#]5pndinn^ Zϩ{rRW iF7.g^Px)P~F`77jSA7qH;NFd!˥as3ތ!dv;Se9uAr1MuDs;n2&XY֬7k~kfz$S710eoG0-(4ʠR2p7mCa+ z&\?dPQj '1>up7䱞*+ 4RzК+ֺJ`7iq[QY쁭,.ühE+_DF*ǿ |/I,q]em%lVyWi `-fNJnfIz%<(Xk8yM៲Q%6qT65򥎴1x5/eAS/Cg^쳘;?Q ;)}\q^\LRRv9k.v "ldA:DMT,HEz_ڤGidGM2FԊaGzڱ I1B`ȶNJ$HI ^~;+m]{N4"8s׶tifd8[`E6B[/ 3,V-.3UΣl*)Mq7b 'pQ>Gj:ɧ_GZE 8hg3N2] ܐH)8/ϣRwU*vu+ 5 5 n(8$ ft)6>'x߇u*/TpwqYGJm>,8NXP3u:r慑Gӄf>ItzQJY0+-Dn^:q*id{E`Fjuj?ׄȪ#6+pJam` %\>e haQ;pF!`S \/}K3]`*{-$*R3HvetnGGN- aPa5*S,LJ$G:ec{l5%u[Z [/ƕo*!Ʌ?ҿ4Ұ0-^&G=#c+55N3 3:e!^Nfo %`G]ʞˑ0$Rg˴/G_|<`t&J(Ҍ```M?7ʺla9q4 H< vc  &̦@9vmft,G2BEi\M$hjg+;Ȼ \S 9o!ff4@8Pr nt];$2QwBD#q_"lWPCyNU=tQ!"cp/kj]&UrA`JAG;{\ 4E<$%:Jr0=ov.#mx hvv6vûEp16Гǻ~SUa@ O p}3sT&Pkw:uRxFaxA:%{1F;jE%Ç$4|3/~6oep;;m!a) ծKהUPh#Fn|&,2>a ]uvAFiLja科΂QE.aDyfҬd C]j@"jGqJ8mΈDDiE2qhESE(j< 6&h̤`[ƅYw]l2OGs ;ӼJN+!sw,ַW,t..SGY;"﨣q̑vxg2h l,8z`s^}i!5@ )F+P4EHK?;RH5rYlWRMwRw$6ҬٔU^ |y=f~=/}b7Q$9iF-3A𖻃*mN*6./I)wj~x>6uu:9KlLKFr 7fv#1;߆*wD4Q2չ5+b~5t_:-rk $N1>}[D"ȌIʤ klmEW{t8$QU-0D*SO@vc? /wWz#lۧZi:DZgڢwIwx53nK8)U u=m 1)_"_U')eNo$^^o <ž'}[~ Ags>Q,%ЫCl+PL zVR5@ы)kF/v(N9?f~Ss̔ԧk;gTg/;7JU;T驯1N#{<< V}0XkMmFS")_Irqp&`ʛM787e{ƾf.G>(йBJQbVNq| (l Cm2OOʰ%[Y+)1j#cG2i^p U'}%c i:Bt j`D$ɟ֨(Vkg; 6ū6@YhNG@;x3ٮ.E*Mm@' ֑aQ{:u>^~zl>Wݞ-F:û0'û*En7GN'ȿ3}Ƚwn&g18r4iǃ6aĂY@3yh~pdM+;K+֚KJW:x,KAIVڱ>3 X&51M0l.ǖ=|y]C&I,W;ao2:_fA 愍gugD.|gjP>)6&aN͗z2k=zb9+WsdlLT-W#LHVr7WIA}.׉u%3vE6pVXmU\N }* e2MS#(qw DH>Nͤj ƳK#5Ju)1vߪT^j ,Kqbo ީUshߴ@II RaGGS% 2^Iaj)(YgA%H LIeAP/oG C &מ+&TDG,/O#hqt eh[#k Mѧ5o- P*&ztlƼUEA*O3|wtck!Д>k7)ȣj}Hsuf9⌷3_H>Y`tG޴ewւIj$䔹 8+zAmwi!k#`MߨH合g&\70p B)0^,Xl0]No S`sK~уb gsH=O߀b';-m%ZC}t;0v> Tgv:}#la# ƵH[dTdߤʸ('62c~E3`T!"{;*CĮdG;Md-O>!=/(*j18˅±Z+~jѐꚗh S1XFS)@= \mA(U8هZׇ DScï;(EKVdD#r`X1,Ggb֫Sg#Z'TK݆vc vX̓Ƣt $N~'nfI\lgG<0BƲDRF2.YGy\gSBbgڏj CLʐ Ǧe,Ep4֥Kk;Py![dOQuB`qglYv^łR-; V 9byt$kc3U$7;lƮ$~m[ҫ)ƙ0(-fiQԳb*)(ѵfu[Uk !53+VPpz4SXL#bgDT(/= ^\.[i-;M;Unٕ.`u52{+D9Wn`4L¶A>6/?!?-jLp%rv,!O#逬^@'Nk^76eyVMȨ^@4_Mxk^S @ĮXsy'#=afqNVXVA1yd,sy0 []ɲTi#AQzRR\ҟi.A-'uzaѨ6烘*s& IzKmp՚#y)y}h-tH{&/ʮ)xV'eh`<|^-M14])p ?۟ }C|(B24lpCv̑m5&n;fG|w"Wg˂uy-FQYMJ8bd ܏ - `v* [VQs`a5 $לw˧.`Ja>]0zLߞJ0~&)ۥ5nQ8C-=U.5ou\rk/F}]]]7D0S`<7u*IҳxڡN{.۫fqD?/;_|Myts:]K:vNE'qEg0|uH3"E)?G?H1cZAH]z еV,c+4q]"M|3"jBq7D,/|}ȫ1+EI냥L. VAP[M=ڗW4[Q$yŏ=vt,J ?i3?J[\/v %VTnS : ]pw$r8QBycB U=!e.䥠ZܠFזdHP-ܴPυ&rb;+9W?sįXXL!ދP(90&chUK& OKaE]r,<-~i"4;iIaFRsAӨaj$GW9װ9IػW愋oDѯ7!'LqJ7WAy/Yp[&FJׅت(3zPlʯ#Jbڛn^2.ڏ#Ydά_5 :haO8e:q V&)dRa:܀XܟYre_K'.ݑLp B}8^ʷ+e Fwg-ꉞ55[z[ϖ]#u[{3>x͡ŪvKu+ ƈA2[}Ls!q6cLhzd:$ORژt,͓<1/Fz$9 "43JK@ӗ X(~ep=蟫vtxTyrL9ОFTr[P4hʒTq}%t *`#2&l:grƶ~P| 'Zeˑ7qY/ʹc 6tC GG"P lw:͊ݹh@bM״bmZ缣\ݼ#n j5m=]"[&e^;&ąLO>it ! rHR{O ?6u' fK PqmlÊ,[l+.fmq:a9@&E)wNbԶP"?5BzŃ/eg{aͪ:8#$gy#0s愶3`{5v'HiԀxJHۄzsW訨#l;*OEo$C[k|Gi3m鈉bR! *Oh-8O<4Y5X3lag1d&V#M6QMGps޽"@ᲤaB.Dc 쓋N~ pjaΏ!X!mڎSŪUPaR5(')=AlV_Q٘pqrw{2c mnCUrv46q e%ŤSUXn] :­E9W504Xʧjɢ7p'z!PEGɽZ:n@M_T&JwVdWOL;lEb@OZ0_3~5pـl"tCS& Lk'#+2`^䝄F-6]n=te 9TA)]G[G_j^KIimD:G cK^w_=ދpwNei~<Z)܃o=~cDT@ 0Lx/h\*Wbw)D::[prWٝt -|#Wk }j J!CTISFG06ب܈֗e s0-$<Ԙ>oFC}p+$6Gx~ ?-La#~5ArVۍ S<-c.2F4&Pj}|y#pradrqj-?$ecsƁC5gII~R>kqIQT՘_R_^W:WX^~wUu \G{Ә%dmظre:;,LAxᡧWޙ_ʥyi =Asӧۜ4לgG=/MQƽlIEVjd}{8x[eʡ?9xxRJ#ė0rJ^CK9?n < ؇ evm[`^̷3 4ut%QZ 6V;=@y[)MdzE@ HaK*Q^oM\hDIE'Ιԧd&'adaiH %b*ǖ¤dШ=‚]ޮ>g_W],=#}x>5C bPt?EZ#J$$?g}hWl Hoۭjk5?F/nťYD g+:Hx ,KA&J H}8)GÖ2!:#|e2TA{'uKLØ+&GYwRP!{|rj-ؐ#lfA{l/Sbq8vJ^)|J!:%+y|fd7[cbX!|B6.k2 5o= K7hq/[qd"{ zv\Db$L^q۩u2UR$%o5xl3K~2z&־'å :z3Ÿ+hZ|C r37mt1GJTng *_͵P#Gv @$G%&}}ƾܩ,n {q8bod>pO sӀ_%3nCUXpO^|:ĹUб1UB w :~.OսMhρ֟Cy (=7r`Jxx^ RsefGW,$%VW$OoE]kTqc`NcFݗ\xg?-؍5G[DEt//~~ M&D?W*|[tY͝y6)JgPi3)!XJpE|\a+fReAV]Swo@5Zlׂ%$^kpD%ksWU,?6)IOz.ոzKp拥.[g;h_{fZee/("S(رY)C1 gVAox$i_E𮎵e3seSTN?bހЫ!K^qj 2PQ[7 97@zO.\Ҥh-'eS qlG!| $׌[5ؘ*%$#Q䷤"\]H#Ֆ¾ӔtxrQ|2Yl!V6nf| qPqq3ÆJP gy8BL$Œ-rhS.G}xCyu~dOwjەK+,$9 y(@+;ِ|*P!JuFtVLJguj n@[>^F[é5aƧ›y)%hbXD#sDƇܱ*MSw܆b~bvGns~r,5I"9ލX`DRyوyREtM{qEП$W\saܩb vr6b1!9 c6+ʮgyHen{1ɴ66څ?U ,SC@fPUTZSFZ |*\ %`h,‚FjqIXuOU掖vK ]pwKij >zmEKە˗+bK"~G/uWĵsWXsG4p&j,g& :i 56R|p"?btnx$43enFh|nR{j]ChPONw1M3gZQٵphY1KL0$=*GO*Sׅ$+i {/22\aqN $0DVYDtccS3S3w }/R͠&zy 4 .JGv~fgWbH EtULy,ĞVU32}Y{u쥒'6$jr?ZyNAv _-"NF?u} ]/"/v Wѣ9tC|v̍&jGҞz!r_Yc`#'~9%81u˰IY)yy6^TܲV46`ČѿqRkަex#q‰[nZp1[ⷙsȩJPQLgi  !ʖ#KI0>ePHq(V;k„/f{BaN[.q9$)a\ JU8<ЄޔӧчBA *p@ *{G%-Md:jg]ܬvZ~XM٥(,0*<͒H-Wp?r@"o<Kg2A% n[ *pA1F!a;R"qoYؘؽ.dy]Ǽ*H7"ےb^.ΒWVi!O$P.~oE 4\u%*'גDVpM+K$%a,QW]@hoWYoӯl)K*SԂUyǨ(vQ}v$y%x'*uo6]ׇ yLBP%\ d㼋)ƓUbYphBsa{KR^rSn,yZwv.dQ ֍h]zβPo['ȭ\SeC97?L+3 7{)t} xV޳?!7mF/GOOUcMI0|D_^ S^®V)sXLǰ,ѵ3/uq嫹9h׊D$پ$x\=A ;v ~0srL'k )Xo"rʹ'L p\)Ȱd ȣ(pE{Fw5"{Rv쿄޽>خOb; #N5T5/nl 1c+2cz+D3bh]I& ` "Ә8V7Kҗarb1B}5R|fJӘQDl ^4X]8#bnG+QgYZa5e2ed795a8a4bb8e1fe0d78cc4ca9f62b3dbaefbd250b6fe2745d27d692ec1e5be14c03860b016c ff7f952b4b87130fc0230e1804ac75502f28965d a6f4395ca58e1eca5a9da4204f61d313ed481199