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 ?)rd  ]/ Card_Multisets:threads=4elapsed=9.039cpu=23.100gc=0.7847zXZִF! ISui]ŗXiɟH)0%ole_(I7'GWg/1NpOU'Z52"^Qƭk<@ai2_:"΄>K 2ئZ:v0%gd>'nn 1;F wbQ%Kjuip}7Vί|C] g6 b\o/6QAt2ع^O* vi*}!hF蕙ǯd=:,&<UWSN Q('{c)[rj!(, (5SNmAPy*9,uHL6y_;&ޱ*^JL#Qsl%KIueMh^ND%GvV%dN wGZ 6>; rgy|n!q,] fcn#$ՂRAQ,#+Hw7,ھd΁S(zmJq5!Wo{@ɴ)9 v>E*W#<kJs ,(_ӉlݦBᇸ'48=|NR acЩ-jwF;:#KRU>ev|:IXz-f0*y8 5,\ЛsSK%8u 5 D+TQk|e$0ޢAՀߍQeYAN2P;s'q@k@6(qA4:qo AЇ=&EAi8ޅ*C"l_ óu3:؇Ԟcfzy_dڧ~ykvw8`stLCXYM,,eOݻ5!uGkj8wH +d8( H)lϩ-BC-gn2B)a }$:̝Ћ- 9_\O.ff}~NV|KlO4Dkx4(e;x~aZE|5˭B2RCoXdA6yi3JSE t5e֛is݌+|.7wU*cP1D2 i#@hӻڗGIKNk4AP˭ "UW1fHw{fQJeqY<4Ru!)}LcG ] ࡯Z34v&0tDU(=ɿ͌7~߮wVȴpv)勮ҥ[Io͛!){*OU=C[ٯ.7TV,ķK *ior1E9x#"d:kjUbkK# nJjaYx}^]HPz= F 3""Tutz(@mO9o{ =v +.w~[u[ɪ ;8ꙇd 6ੵ5!)3 A8OdϹ{Q,oQiܧq^l:AB.0H""  ͛u$>p-BW/ѱ{ZDj5խڐ9 ]k4D2dİ>5W|b+p+ǣ I]tTn㑘!.(F=̿zx%bJ!R)Aa51q/>#Zto6aABعVTS07Mk<,2,;˛X O?))ǻگzH+0g+oFS7A0zM pCS~xkKxuRw|%&gC :_F#LBi:uKT_s6>!XX nHHilc+d>}V [-,e5ʀi+{rrѧ[ʴחK}17޿b{$2=w&L!+/L}B눒 M#@ kE{484|5i:w{ ) Card_Multisets  sǔ@x)sb.9oBCcSzjƁc̮P'6ƖyNSdHBdyk?-I;or]UtUZn]%daxY #F(=I*ӏ✻" ݑP%f};  ~/&]^g*",?ZyRw5ve;4Fl3jK~o_ݍi(k|#21?+Py}1\  :nZ3ayYJK@!&!r!Saz(W J8𕵑EH%x)cңUD~] _I ʎO hNJ-`LX ]&TGK-?G&u5M ^ h9f;7we2Oj`h$N~^gPŽ2a"/$}DT4\&P=vk}2 Xn][/d]-€՟ާ+M~#ýQj^=?/ؐNX ]df%jܾ,wQf˪mki7JQ黠IadSC}"dO 9Dg y i'_ю 9PYb=tDBg4)IG JM ˡFkPZ5,)6oa#H&N/nc xBh R09: XZq)-Fߖy ~+`\_e[^`o5_XE LqBQ%Pbf喞κU;*PkT/)G Dsv&M^zq L彠XT`w "TA5'Ig|*Q1f8NP@殼 o ;lD+Xt[B~H|`֎K#RJf.pl2TmGMA4uֶ|+ +`7Mf娨 s 3T^, `ubWy(]$'~܀'wpwzT=*/xf5 # : tyTԌNskG>Ngr`Pe*J=4R`61f)܃l܎'֡YP9wqy.S&GZ2͙줶tIU=)8(]?9ΠQ'O??xi*]WRY0۰(b[q:2W2]vn6uF~4-ScBz)@uY"{* 9If#LZp~M6[͋gMOoR@EF+%ڽ%8jyN|gVKt4`Q׌jo E5y cOٗBIʞϚ AIۓ3E4QVuIynr|L ݟ7NT##4H)=mԓ:!IJ\zaUl2)O8FPKO6 IU9Tlz~v.l dP^yKg!hti,}uAAˋz =J6S6/ǫ=,ERpgV렟> K- Tə~eZ#6®-CtӫɬkY'`:ǜ㥗CsT\dzފSr.QWYx@K]&!`(-cLݯ OHU=l$ؕp[\R4ϧnm( ϹJjq5 : A]g;]ei/  ֥NCf,fyYT菋ߧ`TpYN LHE<m\av,Aw K0}#`;x -R[C3[935p:pA2lk`8q>'/VR~nnkzj$RFqٟzgœ>J%;fAb.~^M_"6KIN ^Q7,MUzNT8a%c^#K1k0Nv*;?T$͕잼QoգC Es"D< ?}yLuihopx8ڗJi_>lG9jr:2#<49_>6nЙl^C(qµq- %P,*f䨨Gy?]nU#vM?aA|M|ٶ҉q3ۥ);WbS[/\1BeT1QR꿋r$'AdpqZ).cx x%iI/]r= Lv߰<4۞L#i{9v K QYTGܟdZ`;#zY'fq2_I:*I` ޲z4vJHmv;ekxEjヘDJxgmy_,-g=.9#)2v= MsC>Tv?i~a{c0to4^q>zEaXvnXK8$`/Wq;+$OiS]GeȬAbiF:|#/bWƒU+aހf;U>}qnwH IW/ ywePj5gz<|E‚8jΛrroj0;ҩ2V#I>)ۛ+<]nnKMDd(0VWK.oOzܾr⇑S2rIZ"@@/ ׭ QÃآ1&T_ 4q_% RcUN{6r9,] *chNtQ>rt*6FC'W)Rզ79&dxYy)yQ99vQ{߶2"A_Y$erǀsyZ7+,!?W;C-Aa9}Vz!#c `aqۘڝ-S.J9'T%ϱҰva"l|n=_TW=\NR?su&:]jʇ6s1P$tN 4%7k*P%*g,az.'iN4G/QU1U~7j~l{4YO,a vKA^,n(gG{^Kp  "K4o4&pYe}џ洸I-\57_5|pM ro'QKk4NW;\J_E*ݙ|/nMWևF|$1?7zwvz?w#6&K씨0Cٯ!+cs.뙊~e7ws>X"H۩71)t\؁3w,|u un Chi)kWD>/9 -u70}e-~Qs ʺJ59MrpoMt̑.ď)#>2]K?ܭ_4hӬ&m2E)<|7">gMHx\2߾:6h+Nc ߾f8I Λ=~4S,/b=l^ FUl`Ǡ{i5^lbt:kJR}st, ^<gXn[R Tz1%d`C;D\yUr#@ݠ `2X@&"FI*0hP㤍 oApwiJ N5h*:cwhR7hoG@cr&u=r[ "rcLg@j/pdp'z!ǩ70wsݬP@QZ6-wUZL‰餤[`k/(LMtTR%Šű"GaՓ_mbTe۞$΂† ͵ oKF8-\Y:{_8onT? x6izRdsb6J GFRTʁhO{)v;95 ^Й%I*6q#ʲ!]2, vl!y|z,tz .OTr䔚\&&p;;e`]s!pdS$$UU y$_nv5IkW8l8bZ64;oZ[Iq h]yDv:\&~WΔztQc 9Cu Cˋ.3V?"D^ۥlwZxhͮZYрL2irD3%Gb2z(;l$:QRYt bg{0k/9cɶ ;wD?ϜЛ/S6bNy^q!F>fW8/p'gl2~H9FV"!f%v{Arn<9?@ݜ xQ06XBxKVqN2LCAfz"BuJ$vⲫ=s|yH˭>+$8)!m]EiP. ‰vrgݢ,XkDk',-@eXv)#*F&oCD' sHS<S ݣcM,J]e̍5Fanf \0ZhD"\ku*d .- "|3ܦ*5tp |˄J-[!"N%pq|b}J!ݰ=}x8+ 4ܽ=y}: m0')1۟Y8^oGv}#Ëp2eҍ~áP~f1?>?5w*nDWj>vP*3MWkQR}L5!)BL%f=MI{*K0\.ԡJ﨩u~!jvITK<<eT.%"k ),MT~OP+) aD߲<@MU#C+K g۟rqU"s9Gd&>~^W&+)UQ"auRުXGVNT$W桠 ATM,nCo=Nq׏%$nc`ݺ N8\0ҏ"3_J+Xq/k+,WW?7 xԄsʑ03POԫ(5~^?_`B,4PAlڷN=n΄#q]%7 yç b{JGB]\2V ?w#kez}m,?ӫhoF 7\VIHٍB lKr"J/n)L{ ]ETYȯ^c %?VC3\"a%X2҆$&&iIŕ8ʑGxhEԗ?~0b]/5=PbZ@}l>|?MGakpg1%w|8.-IS7Qgb䲹%ԭYGM ?p#D.,XyT=:!y*vᇊg1]2hYH-͡}{ ~>f V-PL5}^ |dωJ+OsEr9i!]RN/>.㣸f|y$09AK ϶} c˭sV ~sZ$QJOb |$ +atg`)uB< 9U1oSw}@ odQtjhhJ0i {}r d!=ϚS8tUA=*;hv֝;dSN>ПQ͹gXe, ~5&nM aAuOmW,߳}㦒L C}Άɩ#.x};KCz!>ct':WQ~|sC_3( 7Ф(0|޵Mu8osynNiJܭN$S.9#+0/Hsg`1/?T*@;+_tR1j}E!wC`:TlMJ 64\Z 5H/+'ް_y?Z|iw#,=Y[DI*S2]衕)R,)8,vnp(yzG$˥cg*C@$Vd͇GȔ,xSx^JMg橎[6I*R"lJI֌5jo9h>ޫJ9wGkr2Y31g5J"SZc;-eȆ A9k9%@7Ȑ(`dZ|>2~Y{`Xq}jWKFKn⌵viչѨX+2?7j ihZu.C@Nk!"z(EWdw:gwpJK EWD&fSXA&}t/YN]%T]Vצ\GϸQ-4h1k~FXdy9ЁUթ{h¯IHڱphƫ#ϋbmŲKK(jdizUƶOU'",<.͔ UmtրISzDS_E,5f1ͱrՄO@ںI_whpj*Uw'2M<[9kCh&I'Ca/P8bvt$e>,g&rI͖z $@.2[Nb^{ӿfp$>f{ =ݒ}8b"bڧ Bk]_'4 ;!:^Hg*3r{ģn(psN?`H4<v,к,dF Qm5v-G`n/[SΣ,6v̎dzg `V+.VBJ=n.WX>G!4g}0O:Wz(fG f[6${8n u қxk+CDGE*FȁY3~*zsxOVV>C'SK8Z] M&x_-@M`7*Qh o¯[l#94]+ke6U*q꼜̪4'~>=.Ύ`Rx$e9!NOO'b+ȺP|hD _iKD%Gj5۪Zޱ*4*0Al Νz͙ nœ8yZf=!(-zc]̓U1 5 }'S`kBxwc܊[A/ +hn87tNuD,ZEOM1|Ye@9M FU`y}"ґq^OK1zFbcQ~SU߰}1 &ߔ36.c"_7&y8i2޼-OGA,a<;s={TAn+#׆,EGu*%#2&XɫZm7P*.%d˫Σ$:K(=2X1^մZTߙ, D^x!j+: rBXn qu_0Y =eszWȔ _}-uZ 4$^{&TNI"IRŪ1V-S9D| zPRdnndP.[ qD%r`Eb yJF싮A0R^ i^W 8SiQ.+ZD,k\ޱMMxr;?RgLsc+iBv#+-dTIȠ&w :/2rՓʏĉѦkVAwf-fP^gd)/"SDyUS^=}$HR5?g3>̂ݻnC j@N:=#Vg4t:(}MHM[JDz);ʏ/N1sNU֧mxwӸ~=b>Hv ,Pvl z?~?X8`(N!q2y>qRQ*)=yDLyvJt!u:2'K"I@KLo0qaju>% qephZj>K(2,"r=[Qo $T%KXѰw)G6rH@@>Gs8s Z],vL]OH2e^.uD B;1жK&kIYA&DG؛ek?aE!3ƺp>oM .#D`3X.:۪'nx@Xӽ1}|U#+ef*!ܧD:LYd zycp\kӂc˖Co*!|}O͘l)q* [*H!؅=@p#*C$`bljbP=? bfj@Y@o~,G(}rBܭj=3s-Cç $,F'(᎔L!k$tx'Z!jsaeZeo9:עQ¢ opVP'?s[O">/&68G 1(^gibRWZV86A ;-(Wf'kr{Җ$ x.X#hYv-*= m qJS3=ߵa@͝7f-β]-ItxXy?Fw x%vY}M&^{my9afu#m&P*HhA !jttAD\s <.K<U柳Esp@t ?2XTxڱ6Ӕǧ$NoTȯ'1iH 35"r0\8> t˪s鷣WgyFiq Mb Fa[Tg0lswg_>Wk#7jsp;G*Q[$Rab(-ՂdT5x 7\L6us1Mz ?:eMа3^M#;pw#^B%a8V:gɕջ4M 40IH\Jb+g6{E-XA1aЈS iC`vSjl{՝8n+wo̞ʵ27(TdH^SMh5AU!s&/SVsPp- ML^ I3r"1+å}Ɗo˾Llp?j o`h_Py~RWG4k+YѣNtn1OOOd)4&-R?[}T$DŽj= "5}yVd eくTۥIWG!7)_HǦ5+Ncz~[,͋B; "=/BË=LXC]8\¼mf{ylD#Wŝ@?9{)7dWȼA+תByq΂tJx-,n (8*b~nu{G^Xcd ѯd&]9I9}G#[ALSfcxTQ[\; *x n_}hr2`o Ə,$G=>2}px+6XDr-Z>u-\4'<5LOUڄNFV^z< VRq5Mm!F9m"w´k)/6.`VRt_90ę+zڻc*rqXYZ_; ;8Y#I3/]b84.@t$=~Q;H0H h~_JD?  HX˻ǢmC~ YnU#379ԧX gˮގt* [Q8X604AlB/ufKAhFq<> OκBDƼ#*A:+l@_WNyrk`Lt? Mg]SP9utВ 5:z-WBsRWW#2JA{nin/CzLb)lY Of߭ w9l1(~Eل&(.ʃfT?6Bb`N׶fZHK#rh@5W +^NΌ]1YUMB)U w;m^9ZGg_q*n*JR!44R,yQg&eOdiR'ﯢ)ZLR/e.v;#*,شM‡!1*'9 3@ck}_xt/S-2}R2 guyn>j~~Z:~Zd/0Y%ɃmXj{}|{V9&Pg3Hx$ ծ\3,z%1~jhQmbĜS?A|睴0wpIIbW^`~-lh ܼJ.!JBĹgvNH:0ehʭ RK ))`_h}X{MMjplq6 y680[w;_„YZn+Nb*,}L ;9>{/WK]]ErH`9s štY( 7l@X}=0hP+u;lC@gB%܍Yɖ\,mWb3VUE$-{\Q2Uzc `h {J"uwv<¨6 ?bTQB6^#k䛵}r. (p?h"?^=@jYy}Dj{& -Thچ,w^D%PQ 6 *-q7}"flۻ꧿W{%tȿ J+tI(fA{uMTVD,)a].L1c$F7TX0ڕ͋yGeqҗCSձ0 K~:[hNhapm?㑳nR[htN3}Ӧwh iTg's;Qyj4 %uC8E@r7)'yjޖcD> >shmX_syC.ؾJ\G"x(>( c ޞjLj=?'Į/r$[ab;sn?|[5 I; K!\F1: ԗ"kLL&o%6%s$2j'Ry/Z< ȅ0 Pn/z=o@ 3vN7,ҢApX:ဲ^&(.#R܎ e ':׭2B]k MgfyRieapjq XycG3 Xp/G"s̼uϻuN%Ib6O SK\Ri-4$H^w7Bkj+v+@)s hȇ^H*SX2LH Y?NV{XdԈ*`#2kq c~ E9mr7Ib.ADYZR)r UCƛW7;ލu yv$giig@^A=OQř3V;8z GЀg#}E=EKҸ| Vwbj4q 5 , zqb*,~SDPzH`Fb:[(FBtf?E:o?ԕbR KٞqY\G[dkxL)!x)Ї{3:CS~f+ UwHZJOe9|0̖)K ݹtay!>Ʋs+p'gkd O[teh@}j$yu%vy~@mˡEӧ=(SwbvӅFR[ ɿFJɐahX{桲y[9}*l$,QVh@kC2֞akJBw%~žCC7QJ3"oaLYegb>3SsH?;DEjtwZ xH"SKf5t+؀+qVQA{ j,i'C5*1zuhvI5 .b8>-[qw]ms\.Ԙ"fHZC4zQ5*$-8%q~ o#-C2jWF1T-*[ëz]ƎnRQvpy&k<KYe< SE.g6!ػ֍~&ܑ:15G?=k[!å]3.եV=N#Q7Ȅ%6 ]Re)v }8ۏbP%#YTFqV9IXzS`R2⨣_bfZG K\ɍ{ʱ#v7~&+-{vۃ6CUwQ(`=u#$y"s&p^r.'pk.kfg gdFm Xsi0HLvl|n|2Gt (Ъ W$Tvf}|0Zh\!kBDIU0 [=;hĒʜhƎf|\E䇓'"1sS`17U$S*}(8SŐ-sF{{fh*D'Cܱx{G0\{ UXk0iPaF0 N=Q &cga_{T>r2K?@9ꈕa}V`vRM? guH+ڲ߳"`Ijgr-KSb6 ~~#=k :X$uspDTv/~I נT'w g\yF<;rWUd Xt8حN<)7 62Ku#E|,08=$M3CE¬%"6$quqvljU^b3?i1-A8" ,?R~)&ĺ!n.XbVC ;ڴl1È,wDsw縬KS1B W.:%RE6I+8& >Ŕ0qcˠTE\ p' gٛ%7|3T!1{;[rZY3iZA#m7%Pt<󒒠 5uˊľ^Nl]agh RWQz*@-X$&:Z|LCǦlcS<Д=iE8Yi a. sXE8T6ɬp%Dz}T|V*6=@^8>ueVJ ~R("n"+YڶQGB e'i"{U^=Kd.@<8yv3lG3ItY7à,W{TemXի &i9A4E%q؝X"ZNjݖK\OG-}B:pa\+!%%KuK( (2zA\"ѵȩ ?1}X  dk9Zbj҇vLf"r&u~2G(Xm-َM<1fj:᫩^4H!-Ic[ ?FJx|n v?yI!t8-4tuS-A_v'v{(3"A?F>RMXIAuр;(N*s6&}o͕mUf Yr>"X⢘M(40Ml{D0@_&G~B;7Ƿ㎪PmYqrzz60)E.kգO Rng҄߼B@l6m$gNsGGf'e=??*'؜՟owWf4tŕ:ܹԏtv/z2@w̆8hw#sqczPҗHWBi fq{s)ţLu6L"qR螁,;L~ f?_:51HguYe>₀F,O*ߎ rS巖|9+~tX杏XD!'K'e1In$[s co  9/PFjPN#9f*w$K?q36ШPmG;a_/HZXIesB[O>_1a`=,4lxCty D1N|#p(f8Á#ȝzEj,v@SjMՈ[@j ᬄd9z C4ՕA5GN$g20lm4 ²L_>G"h2~u[Bia0a(|H:Qؒ m \PsC UA4 /ed ߝj&k/@ @3$BGCSOWc>9iu^MȖb%&olE36g 8g<3N%,?f 3ZUfxmSLy1'7Ҍb1 :Ѥ-NDO2*ו_iXCb ._N1ylZ$ 1vkBDӲ-:EkX3z nVID9'a]RWݿrts e@[LTgԢo;#"NY}q@%f @А ;3q?M2oQ/Dg%htXvv":bZؓd\ ҳG(gIe5ṕ.n BntUBHh˾ *QST⭚T Yl; $ђWQybFiK:XƘ5Vuτ['CN"^Zn Ew)Wȯ5QCKu*D>NA+e.lXmS$KuTI?i]ʌ,TdT@ެB}γ-II|S75 ;LJ;eG#??A%ռOǂ7[saj ['w+jtp=/Hd<[έ2yufC%<.u +t,]l8 ם}y}{n _5l vy9{~TӬ~]9[;%uU,c çڦ7~݉WMҺznjms;i{aDw1$m1p$ּFd-a=L_cL$j2'eM}qy>٪@vl\2}I# :"2GFҌ l+vNKJ<f,ҼA$qwfBJ]Ý*>QM xxz8(3m#W6xc(A9nrV5=K-VbRa{SD}ːͰ%E <=\ ;BQ3ʎ%P`F`J+$Wh5Zޓ7u_!+2@@iA![wdpi iv/nT`K:*Bt}&+GK,צ$CnqIɧW\S4aeXY+GTG)M&,HT^(h!PHĨ;[xRG"=VB#״,Ńebt`E6sx'un`zkl'W*}wazXATL,.YIЈ=HJ{Mw_,Y=ޡ4'؛.-9{-]c押M F%#wmh.Ed/Џ /@Z >GMfr0<ڒXJQNWM"LyQz|_[;Q6ͤjJtEU8 34&ZY=]iq멐EZf#چB AڐjK G8hh{sbUɴHh"#cEOS6 qoGMҰ3]o_`-<dג2YbxL) ϏjS3BQm7UYY(\YәD6&WQAw),򸸞2M+7lPe-b|+`[\ܲ V_#V`J:| vU 'SZȹ4 @dayYrE- COnt;Y1/!HVV.c)>H(.qꨎ'Զ|XI'&(yhhH= otA_`l>ܫl荟VG>ϛszLgI -C04@Lhdov{{-8dR 6Lit@U`^хnr~WmI>!6gO~Ay8@P.iof[ߌ Q9FWQnh7Ng20~y;å[u݆sڙ!ҹ6;4ל AH a(8|gEr&+w?W2.y3R?\VV3r.w`(BF$($ 0A.)e䌼;$(gk0euFoDߤa0^[K3#Iʹe.,0ʢ@/ _GfU$qr ’IIh_4\ɀK"% gt/mBt׺gtIΧ͠`hR|`Ku,yI{m!Ҡ宐>DpEC $$rXyBi2XGkM܉*Wf -'t!IM2aʓ$<ϿEAv-^odId/vn ¼{!Śsxy.Zu륅)J;-m\ m鿴iWAHg ]#7sA3?po¬ꘕJ־->Ɋ2]v|yx|R>\1~j1m KԽy.\'Iޟ$gCZDĆHNXu겘|Psm~L`A_od 78W{SeܬJ_4aa&%T?dCYy$\W;)q.yQ`}=;w.4$=a.JMW\~ Ķ&,fTRRc-NA DG~qz~ڰFi)]i.pxYt"8i>:5H,AgWxz%v54|[B^bj͑ b뷾!}<3܈g(F4C=v)+q˲2z٤$`|1:Ğ4hj\C~Cu U;@-yVH%iBקߤLj-06:`nzKy=sV!jR rPh0<ĵS] IEn#̪o"!i.T4V0mF1`jc6bvq0b ~_1+?Zc0_.5SY{!koazb7&% ׎L#bIJ7rs*TMY3/^eV 5=5Xjy _6w-bU~T͡Hfu FQݱ:_յ2xYtDëw2E:g/8Hf_i^r)N7UQIhw)$ϣC>+C.ڱx#z:1wV1!vc)R Rj)7!_5J^sS5{l=P!T[n'%/-i\d7eܼV7!?}c=u/1)HXԒ DZgYZ7zXZִF! }]ŗXiɟ1˦rYsxgp9f閷W(v5sh4V] Z$ݠH+FBH|E8۵2܌#4{\ACTe 0tcngYZ7zXZִF! 6H]ŗXi%L&J|b#o{l#"%ӮMA( vݔ¢] *5l7Wuޙ0A̛N0@`1|tUEf<ao!~wWV2!;}⚽-K90J&cV3m{jH_H?<$ھ9fqV:d%ES=xnS rIgq?/1ɴ<A6*J!JUuDq4%~ 0ۤxWx[;J/vz\mYIskZS:CtFӎ4޺{b4_5-\A(O%r}κi[uJMOuYqli5:efkXf~ QsjM}uQ,=qQm M@Gb˛"l,+oz:#lկHU05+XL'60s=LQLD>-.2.&8Vg1O)>%dʓ10QvGpÍ|cr֋@񵖌ClX3Gտb%\PBA{ F%&m(V?gr{֙=~W|w5ywl>~1oÈT"+bM`ű1wa2<38G KW h@hU X=N$>Rl.r4g 0N|YTV<!R6^, g{v҅j}RLf&@bP mpgYZd62faa148925d22b6113f4d9218e544463f0c51e9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535