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 ,,0L ]S]Slicing:threads=4elapsed=337.339cpu=1128.460gc=13.328factor=3.357zXZִF! B]ŗXf[&R/jht'g)~Jհ[U)D%^$f.Fm];+ka,xC\f_t"A~w\}x( _Cp*j}GRCtY{$!&-(Mةb Wn7 |"ТE7/ȡAED,'&/3̧%oAms z?'mRd;ԕl=-rOHV寃Fm(eU<]T%},2>6VRiF["My եgp%Q^Zc*Lu3M)˾i9Je ٫|Z"r PˑE@3x)4W@3$*E(!kOY")b(ӦR6 t‚*68n ~hl*; ShxJA`{#5ß8Sx,5m6:m Q(@if%.3=w(DŸ>KoG[L)n2R ]myyACݶ2 \%Dka|{&g0xe8eDmT\Զg * NiЖ-I2:b~Ed\ : i3Q~V't~# |7Ƌ-alP%hG{d.?wc—׊V@h 5]{CͰk=!wZFJ^;\˺?8JBl^bv[UNs_eT5|Y.r?ԧb"1(wOE1|j8_PqlNW& *}KoR?t߹Ddx tn2tohՒ!p#P#Pt;:E#@2/`Ivך? EByl?pơS'KiEQ0w.)D6G*fkyoF3[TP);V\Ѱ $G̷y-@aJg:32>j=V*z}y[1!q}PGзW pv .4~*(*wy73}?]$ hWfkiL6gO[5yդ3JZ?oh2XtܱkZrL>tEc.kCлY {[5FΐPmrlZ];& ]ufc?.-|ġ s`XzK'o;VhM*^>p+!r"#6TFrCIB]EMn=h;ƺ$FuWM߇,`4f1V+"z9|QLjנּ{QN+I$6[iSq]$vvl9'-H @N,)K@䦉!-%#|AEP'T $X AKh5W\qR:vj,A@b9]L1蕁3?>8ZYcv0v"`QB/sGbp.ZG_MFFMo/"2Ju ELݍWomuٷ*"=ABԮj>t9PLW%_9qdՈ1Y_mhaƦ{ >%J- Eݦ ڊyXkILBz)ttw)`Q'L՛cwO w>1T0[Rc䁇-]atѵ^nu7S[)}t&Ja2mup`L` dk8jVɔ4Wk/u_ܗ8 I:U50*hp~ڰbp`VB]fKQ(VjpBǶ!>"rXjWw x !`۝U$L\嚪>rIf$',)0*Q4ýj|M'&rү(;-0>R]4UԿ uO䞏kgj07`D3#BߙWoCn԰Fj7)ҫ { Qį;X )zwpKOCcLM@B gz7!xv|qX ]Lv͙`;xԆ2`%M%%!lpzrHGn.L?kdRJ'׺ipot_gP pG X Hzin$t/^^nj,/p_G+J9AfnT*!B-*jIߛ?@̏TLƼ>ul*=osJrַOw#j6KRH8x4L@ȹ/|c^M  ~ ;-%0kM`W~)$qrMX_ `RPTķ?[z(D%V.R_gM$ݗ.x>ۚ$A{78A!0bYNboCߚM۠\dp#IZ aoߪbD#eF!{0p^i#q8V W++7AC˛ײ+txBu]6Yɲ#U^E^p;oŸfT7i$3#( V_F/L@v9s+u6Pj62`G[НJLd@1Y/ v+I$0?9UlTל,N+>g>E /at[X`NV(n01D%E?YJ\} [ Z~)K6qmD) OpmK[cv`%`M<%X tqz=Yö qo ]bPbc7"=?HEpLV>8|3Vbg/PIQ`p!gLH|k򧛿awjTDK??Wǜ6cd͵alIo htO!+)NgYZ7zXZִF! t]ŗXiɟ쀸6馀YTg<q*1B".CƓS aۛ203iG[$ qXdtp60)KyH1^O;N(k B~8Eo} x١D<oc2[)͚ Zx9CI aX:!M9\πFTOjv|IE\?n8rne&~2aLT-Whh?CRj٬,ʡ^a?{I01!vS'q3Ƚy<~myi8qds=!#{.'[*ڳ߇$\./5s^v)/!\uδj }6[0mem lاG/$pjz<tv5݂Lt^+'U/x'/(Nt ye8#D]Y>K"Wks` xuRPՍ3ΛUv?m¤j 4TngWpI9CZn*Tz4 8pIsG;dlyu-4/gM:=t2" 7^1}zׇe~r`<묮H-CpӺV޷7vq#/TT33ZJkV`;s8iIlgYZ7zXZִF! ^D]ŗXi%G8Z=Ig)Ɋ=Z_C]/@W.2V}G }Mq\55Ȝvrqf$ e(mBEV8&цzENuܗW]?&Y>0ZM87"ijl5: ѕ %0}(Ezs_ffFe %^=, d)Des٩ov ;Xl- uUVȿҸxI ogeWЁc@on0C F3-o 6 GVvbT@y!LB{O3+R}$)'qt`Lx$K ws=ݽp"F:g`+Nm~q/A0%gN\ЗH"; 8.N!O5Drӯ(-Leњ{NשH+.o$exjUw=Gْ턈X).e닺JGbP7ŕ̲-'+a|1|a0ϝŚ*4yd ;`okgsu?y}"Uk0se]p`p&eCM̰.AzԦMDdj﵃1tLfr /Zdӓ/\XUeC2$X0S57M.fr2K4w:\ q"gtMJVh:d *Tʹ`rb  ͘Bsn^U: sǞ 9X^ʲ=SQD|J6E[Z\@Ҳ  HBшQ^B Y $S6~$97GkmCi"IRJy@bx)F޺=8y`5JCXԞ#I9 $6H)n7ZDQu_hfjlwk{,',Ƞ&|^w֖FK2R>t-NN@*Mest!#kﭲw, t\h:`#~ yEijlAOJ7^Gi''r>.m ⴤ^C+I MxKr2z= [N Nӷpc>lK%,`O+"KeCa͙V %$Wy)C3ĀtV PAN*˩>K18 ''[vpCҸ`bAWouٚfp㉣\c^_džo'fB|<Ahq~ƳyFN HnnZܳo!xyjGWQLliyXW5W+ lxs,]`#,:B} x ]V*oL_*"j'mq` lظ_ӒyF'#VaTN4}KhLQk.Փ&$xz $Vu6/c m7! EpAڱ:Ȯ\ ǯ|Q`cs ̼|;qiSlrG{svxh|) ݥyP׶<[Ȋ1.pԀP~mbh[Bbd}an,K8 %UiThEqlEIɛp6|>JaԐLrF?|ï,OI*~B)dAvŬqEsIulj״z߮ i 㓯$G&oނ]A0l_?b7xOY(sc*TT9Ԑz5%yak!%gaꆼUGCO5b|#+H+7dч.p lnY/fmGo5xƝnHp+;:H'z)tE8Va~ "%0O,E8ik{&TϱK}e=M[>TʬH\;Gb@kȟv C^4 *AΆJB"k1=, ҫ7cti:=; G1݈zOeRzaF! D~@+:Dgs4J'rE{ /g'mڂאXOԒyP?FYcMiد26F7ޘ?Xi BM=9D)ω$a֝YB_fc =3/J`_I9m/ 8pYylަԶ`H Qwf#$OU(OoV~L 5M (v.sx ŕPs B`z09dhONBz6Yrn,k.nr8}ns+0N$szR,^aηPt޲*0\;RB4R;Q6b:?ToqK'4lM@١Y~8@#cdQ\Y#/!F`С6S,+@+RBNWoIߍA/8FL]ЀF_rOoF>x({wpɤO/n"&++kKC\a{zRV؍yNJ>Gҹ7l2]hIփ}$Mg*eVSb@ MP3ڢvQ7>4^7qGrꖞ%j--H.3|t- >fƧͤ5]E1p^g(]tMTmL+׬obN ?\&zϽNGpk #!6hdy횑wLcU._՘'Hvnt\fsg=9!(!F6daSK=$GJWtq=Q t^x:&}LHwhPuq{:"嘜o%26m|[$3$Q7>,c`&pZ[CVf =2=?n+J;(cx !=#ބ@6:o$7+Kv2\KUW_OeC $'c*bÎ{oGܨ*94XԢKSjc%,C2 OF1O".4?=#c>/ST0O֬D ww*c-F$ߦ*5 {43! &PyxW`]tv, oM5g͏yLYnL3pfN/ܳ~K0 pd>jʨa3Hȸc )E?ݠ3Eb "H71Vd>eY [r>N.գI*XW+p}$5 ,{K(B~qdhKM۵E;|5-zN%7y% Wf%=x˩,29j) _޵Qj AYk[e yFލ9^* \\x=NF Le[ mD̀.+-ʃagyu\qOFVw% )w#(~3xzb`FNj4jF spLsrkmǺCq:P%HgJq5s}U >#:m,Pu&@Q9T,n&#.ic_P~.Eر2@գct+@fA%XH ` Ms ^@'XQ3_,!ϫZܾ,g(evĔZVMit%sj_t(EcNB lXn?G(21B8D.x7rl*puC)ѩ ,b΍Kswt;4; \7<_8{g"op~]+pi'Ёzk܊1h' t ͍{,AitB6@2-H&onNV_lY-Z>^7j2ZWq8YI\-.~+AwzXlU$UZJ(b%=߲qd[uCod?؟奺m=qq jD]V)\/s3T'\&gsBDV (uRHBlEY|*Cb ̉ l|#b{zK+gA8 MLiK<aM(t<ʩ<ʽM(P'/ S> (N-#rs֗=gQ2,T2Oy%'8-6hOcgR=PYrK?RW`Y$?Rٔ<s Oٱ90Ϸ/2AK_|} L 6s[ y[5QPXdMf&‡t,, @Tu@ '$i)T *)/%k.D9RFm;<28)#!V'x C׵+;_h>a30U4C)>ٌL##|/=.(kRE)w%wTXB&rNSJPz)$9?}EN])mpQaD qCkx/kBΩ#q"U(k3rF:-|05` fC^%Ўn*2xj ).~$燼%jH+KT2ӝ nk7AK\KMD|xc`'-z `X$@ ЋD郤l1ڌDAQ! -7zXc7*K,W4'H/l97[k~8#o%3xWCoE $t&@\{WT&fsكth&PẖG¢Cgìf.?+PZ ~*b`WiG%S̴hl4N6Pdj cla…mIip(=-\n.-Øi9ZԒ[z/56|6q 3 J?v* $o($vSé`%٘L.v%[ZnOW{M:[)i"x߆H'OcYk|Х. 2Tv!ewiR#RvlH,ŽOvծs'K*\ӎtE$jU"4 _SDSVnY{3p57-de 6#S6 5 -rq 1JF ~?%|B $‰4C"Hy h:y"NՅPڇc]MВP?Dӟ]d̖65n^wփfKI}[=>,ᕇq i0l[À~Sc_ЧϜ(%x}3{0d٥c}6 l?ƥ(2ţӤ_zLXD T{ՂHߙX8C&o{x?[V9L |[L{Ք;DiCvZ,j;XQڷsW.81 &56,`zf7Gu>[]#4]li?xB5qӧ&d[Nd>Gt`4e+m џk5|*(E݋ ݎ Mv\slP#ȋT#BVT=@ZEP  3o _'H ,.đ.RDǀ<fi~GVaKj9#q N!ۊLϞntܒ%7 ӦEG=$ZUNP}\Jj|5[tFK rؼUT#zG'gGg xyW:$d9 仵 #<[~مՁYٲOq]®ՑP\uo}nsΓG`|ՎN4A^KMkp_>Ur#nI12ҔO$+/gbi >ȵ\Z #bwhsɒZ+bXoGN־Ửb<%vp@+CI0Q$֐\xW|ꏔu(a\B^6jfww1b5N}9w%2뉸'@(% - `!Lb#~ϸObs0pgIqlCX p;,akVΪRp\]2T\'*̕{K.2&|Mg =m H^j4OⁱчxPd3Dn _yUmUK4+QȞK ߺo&G%-[&YO{_Zw; x'_ß؟a=IlDĪ]ťPJC'`"xچ8ptD{-2SLM6"ׁ52F0]oN&3=[dBq1E]>(tLƎX{ɵb;62ZU<` q:R70+k-R0Wz7DR7"YH sQ y%`3PőHʹַ6 )NZ+de[ibߨ5ҝ}6 } `^U;QD/GJT9!~>TH؈H~H-dKʼ:95*ݙj˩1A1@gql;5[W.Q)KCk_1zDMQJ3U_{:[YYh>8-{[zht29>sBX±V duπʩ./+6֦L"@/O?Mȼ5 CF-FAkB9t=P/f6o,31@.'˷bb"OX_/b`8W26 ku2 ac]$ē&Y߯"ʱ,誧[0S8VOs͕`z&x~~MEzi&pQtJIs"YqԁC76rW*WH udBxMLYPɄGl)%"#>^u":.%#|Ms]=>[$DJ3z9B4ZB<(r(+G .}*enlfߍjJq9H<2jؾgcq,@˯=87lyAlE%Ggj cբygCX$Vc(fzuE6LZN 1ISorZ6&aIp@4Ij!_؏?C4)ӽ̮6T˺(n%RQ̍du3ңXnF LGgIK+B:Ipvl8'`G'AA8l Eձf56w%f< -v\pD$$9׹:f]{yS'lok՞;OH cNρ~ѵT"S\AtA[i %>s1$EDPKQ҄`a '['W+C`]LFpn 0t_ foOO:nE"""4o朗s!wo;dًʸMAGUXeKAsOTL}KedRGz|xkVb(FDݔGk8o+XW˞2|;I}]a9ӴT``x/뵵3cy '\{⨈DZs6UZ'XF*/}OG9x3a~^$Id'#щ ,fN,|dUYE\ևt(MuB̠+y4m7eiFE-џbLG#$.tI#IRcK7GF\? V5v,/=4mJ'qѭ7;Er=OxdG,n3o:tWB.)ߙKl,j Z4ͯ/ajh"G6YO=KVL._:iȂu=@lySaXnU*H 0 EGiﳹu )W؈ S_ƺ' |@Gמ%J7&yn/ lq<Nsؒkw=Se@fRdR8dCzc~go6VLN㰌?#y Ns[J9C>XRgou۟=k](llֶ=^+#4F{?r~o"wgacm™NE3g`-,,4rsY\[_˲`R|hU1>M>ڝf,^m@pl%#$bv E|n|b^JfQLIد3~@TkkjfO+5ZnU I-rL<ܭ'0S2Yhn=D]{ ;'ߨ4 G:v b&#ky.AJ``o9>=ܧ֪{Twt8"XezWj#00zyB-+l|^B$2g(N.r|ՄIea~⥡,-(N/+<~)p&a@=^i[ Q<|0)K I [kJWy ХkΘ|As`M|:)"mD;$O+)8'e]v6tM̨諦" G :oݵ!tE!YDPO_wS? ώs]mT"PgekxKuG1dI&r,,і`43J # E߷nJ(#sklO[$8o%Pj&ϷDH+@x`rzɑUPpp| 6PwjzN`/H/[R*}|Qz?9(e ײZ*{^eC&Nͼv 9CQi k5VCޚ,_{Ua3Z,^".g Ǿ_E~ uOp*^"jTRиtgc(pv2i[;aegA雈OدcT Bky̮Zy ƙ}᳉3'{Xc(1 W<$@elq1sJfU\Cf8=qTadJ!B7Di D~ /-B>nr8ch(Ѱ gư۱Xs%$|0+ |d_+?Nzs TA፺US%z̳~벖Ħil[軄R]i"V!wSئ qV~AQ= w4Y*i>jTC^m!9B,Rakz6_IoT7=dbz i]>aG'N%2kn6bɝT֛=ٸG#J.b+ nE !>`w[t9K,t/bYR&NhG:KFj9"M`FCxbi(R !)>ZEft, %'nZgB'e=o{ןauqR8=$H ٺ&@-)"=%ru;X*%i7gf'k:6^zaTuU7< ~>y,tWKWʹp}Y`AYOߛ sĶr8ֱ /G@xhEI=M=rnsd2b wM$?غgC$`Ƹ:+`[$FŲhᶁZ + j~6޸@9ӫƧ*0c!1{Lbw3dCpԌ4{moѢ9CDoO>"տ7;Y׍"7[?έ耻/S03Θ,|/tcQLJTCRR-Nv}/c?S(d.ws¤O >]KڴwYx {m܌.Cvu#63sۆ .by%H`E )Z5 dw53"aG5a n"Z |@J"7WEB15b ~\^eB"~}uGlAsyy{;4Q(EڲW=zun1z9JNگuy>R@v:.1#u~Ɛ 2s&aa3B޶޴'d!(0tb`I.(V_xGq+ިyXyPܛ#0QuZwiQ  'u,Ma`MlRۼ\*ntQ|>լc»#m*Eƞ2Et:!kr>t*'7.og2FPmwkH0f ѓ9Ř\Lϙ[Y.tTq~$BQafU`"+ctV`-[C`s |fm.[ es(ZWng7|^NPdє,RrA>T6}d(w\E[\z14M\wBq}BS9R6gРӖ1,["ZheUrRG:TV^QW IZ!sޞǸ -g 'P-_?LVe?Jg~Ő0LkRyQ.4 HIXV@7KEPU^"0mA?USh)fE+/-ribp[3ߔ 0K#Fڌ^8Jc,Ec[`pfQl`'uuSCDϱs(:MHƥ$Gڸo1Q, (C:izӰ{]CFR-gïDTIHӑAVE#tIww6QbTRw|ㆾwFs_soRs(E2z cEk'Q8_EGgK̙W\IYQS[$5{2b<Gi7Zbx]7iE+ɓ H.INsO5, [ `V6nne_1lva+r^83[jKTfQREY~BN!s?/Dcq]Bd]5EPK,nytg5}9]ξ_5PktM"+wb΀,f|ZrD$Y H3 >QS]*Ѱn>.C`u@;p/$D+ЪUH)9KJ"K Lk0qջZ7zS̱|kU zotѕU@|gmp8|Ӛ&e]- =E2  Z_rkrl [W?=. Vyw+I5Q.VX |Se;Sr-/K&Ck@2/~b%hCo/]E> %ƉI/ΐvX2>\/r]oxe۾WK>WRt)/*z4\>jcq ??$,؅ b|7c?W zyafֹh'=8htG}7J,ֵBn(\ F\/FG8 F͓/L!ȷ`w:v>I|Bgwl8ZMBSƢNFw5ܷȃ6m!t{_\ فzؠWx' N9k\baЭͻ 9HK5~|bNagHv +D |0G@Ѓ紝BhURKr)+.ytE:YB#=%#×Bן_#JqM) 'I!'e'I UavʈAD݄piGY u^.J]>ȨblywM`a5E5otaywic9WQ9S}PE)ywITlv쨕Z9t$JF8S+xSOdf.#ъL?9(/\:n-`I5Tĝ @2ҡI=FM]ݨ۝8bB,r0QR0[υf^Oz0--qIΈ*HX=j[Bʇ!rcκ2*.ųC8M֠-4\?Y;Zw|Z*MX/'FnNvsz7g<EmFpXq'| g/6Z. #}2 ,ۺU["VĎd|O !I-$ <\vl^:T3V/$@g8j.Ģp.o-bgXű]SUơnً]4 Y+, 2|}8=ܿG\{B1AK@w3ezVφMq/Nϟy nUz-:ܒH}uNTiUS_u::ݏ7$#r7tH~aJOP%~Q{E-=1'Qf /Hz=X[Ё2eZ eYt_4G9J+k'Y1fz: il_-&`§:돀'?'d߈I"NT]H٫t.NhGШ +/҈1SzBk!#Z?熛5LPy[fswݺ[4CF>kÈ4~.:uaΆcntcjy20 $eL KW@z@hk[ʫ%66+Sh!827c@<sBKN#d0wA*T#Rylިwz@5 1їPdᾝN9>)z1#P5<2*C!PcO?^450HJ3D(V*$'+}Jle&@LE{Di_z݈bmp6\dYנcEbAUgAE -ߜ* aRexV#1NiNKXCDTUA~Cɘi6֘[J*u:򯊔޸'7[qF̺  'm޷v;Lhy zPD)~$- _p*]frT/}!)0>dKcD*~Q4Ru$z0 QjSB2ORlG^q@Xt-um/S2?qВc~jѩ_ٷ;ui bHvٜ9:Nŋ0}ן6$m bpEȄrd0Z濹?A |(ʅo>ovl+x)V頒rmuQ/+6W7>UoS v]08͵ Gi)Pv@q"^n!mP\wAx+7[,T0#9+'2orG e}@, ]E!xceIpMQI/1pQD{U%z*:o"H8`?\c,UIb%Җz#E|^O6 9KQKmsV[C?dj33HFUcNAvG tfyl)8ryrӼh[ ]37|XJ -Ν;|:9h5ȟ^F_PĶy37nk1 s/)`aRb 7 .ǿ\Lc"GҼQҐ L.JIWbS}yPF9ؼUVM'knR|*ɚb'Ci[3I[b^4AGSY?G)yFѝ` q~{3ZMSY?;E^hS'DZ+5d6,!3I?ߠr _['%O@ߋZ)}nUxY?!Q^eҲ AFIroإXkB"{j]"Ŵy xO<H<|"4z5yqZf^}OA za*S'AZ<)[Jax#ͬvglO: FVhI|qޘ|WIf#9ulY)03Tb~dt&r%I{mۼJ=Wex}{'j 8{vN]2Y~lTF$$4p_ Po޵F~[h¤662>paq`x I/?\?SD`MZȷM6wqf] ߱(k'XGf/cdfJL*~ٗ(܉Y, Od TTآDBᖁo7LS-:DPB<#S讷f^ŲbAA1B:°&g,ۼ-ܰ蕰#f AEFBv 8WH.Io>*S}e][ShխhC& z=5YtV!M.SC0J$: oFlY7B1KUµ J>?^ >lF3eaP'-U}X֝_; ;DnMka׹5r$c >&q (jh7=){@[VjjU;teF¨s.qnEg^c-f%nSH@ۿ% 85U7MJ(r^K]Dg$,:Z*µ2HY$tuݹVQ3T@؇AXOc2Y5uẶo?+Zݗ) ,?Y|o.5$b*{74ͯIDe_@bX)*( ծZJmٔmضh;ϗq}7Wіc*Nj^q2v[= hWk ͓'E£$ : B;˟{YE4U kB;~_ƻ⫈" SkDܵ&2g F}sZ+䓕m =$)R-vU +܁XJ z SWg4@6rX w{J'u(KUt/a)@ '=V@"JwѶS-6`V\VLo F+8x5\M:(]W|47C0~GH+J AdjR]rL4`P_ JWu}b}=G2TCRB6 wk$&\g+<#U K6bKVyu[&Vc%T.rCQ{K(Ƿ .wP|_yrnPO{ T( \]xfiֹN4ZJKھtĸ{Tcy&Ϋ\bTak紦p~G=Aoqd=-p#Ơ$^d@HyJPM\Ep{; #KJ/ `hM_E`X3 趰 WۡKfCnfV{RggM[˞l̥mf mia+1풻뇠-OOLN*C]`Iƃ[;+ġ g=[}d`8 jKjE 85aFÚ9;Ywƺ>.fn/bMEwb_.x 37hmsaX "\tފ1 +-Vjeqåjhq' j)}9h$Z +h *_]}&k+ZFXIbf' XФ{ʥX/7 'a_.qCWE],I !BU0S|QRFD~tPX.;C5UckbA\hfFDN96k+4͒2H3?頾?uѓ+wA˻bNU;ٞLYaUMeuRFu\==VA(b3{,0~D*!+^Cc{8%OEX_[az4V*-?YS!M`JxoE6{dl𺈁Y-)W.|Wr'tDdN448%RVoWRZ,֋՗ML0#XSڑ(1bVk,']}6ӟ5K2b3Um~pQWȿ!iO!kAl%Y(5pѡoǛ3S- B+}xtVi k "ylZ 'Ǟi!Z:pMU 0.] q+tf'pҘq%U|! k& ZG!U^FKb{8Z*]c;LSCw/ȕ͍w;FVf5qZﵪl<&C\װcQ*0:ݣ-Ck?ip,2Co&B<T 8k./ߦU.1$AMhxn "'fsHxW֏.|"AQbGkfŁ~ }k'mx.1l12#u5a40$vu,(S7W zLkERP4RfuDhWPEeh RW[o Yj21ϊaO!GX$sKyiS?,ߔ%AEY:芊y"R (fHOuSIUr&yyW5}i7Uɩf7+sc1ysGU,I'ۻn9>)i^E/-]>OAT19 ltq:%e!`:Fζ @Pi:XA*1yϏ[Ƣ'?#&?봏 x))y$T1Noz\1ў=9.^@L% iQdH!aYnF&Wql 8al(YH(OHjYru[|$rǡצ=QL!E oDvJK"rrvPg,"Jxr KA3zWA)Q%G8cYK;\M(k)8a;)$n-A2^1*_snM}Iщu~JCgH!vs cavs K>-!jvs #(kEż@^0L_x=k" Vˤχ 8<-W%D/R\[ ϣ$S,e@,&$bԄ]K &1e1C$2e UEƵ6@_U<LcۘDE iyJ !e '۾$ݾEy;|gYZ14c3a6a665fa421bd9c2d00fe4cece3a67e6cbe64e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 b6308a4b0399b406e6c1f6bdcece95e904739661edc0a83b5e38da96bfe2b6da7a53c88dea00cc6c