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 ?94< ] HOL-Datatype_Benchmark:threads=6elapsed=490.702cpu=1992.140gc=743.236factor=4.067zXZִF! n ]ŗXiɟH)0%oߑ{гʔp9p ,S),]W@Hs&~Y\Fc|ymn Ufl̢Iz|_Ox7XM\usIsXPڭ>Ĺ)5nzL`z*$' 4,e/5T\U$wO. ,H9ۍȱR"n`ag/T2k1NDöYr Z06p$E],tCH,e#9೵Mg 9 HOL-Datatype_Benchmark  T(weNIPN"N MkpwB8 -N\+Ycx[0yvI@i+ |X22t|'+wuJb _0q\Q e#x/ud"l[=gF)QHN3S{s6i(G h jLd3a1PmpṲŕFR= b95- 5imNR7&H@vb ]q2F1ɚt&:&`h[;dvU X_xe+f^C,zIHQkN DdF,&pF.LX-vWm&/&@K&#c mVEmVi|64iO3w$)HMָ$#R*4m5c#^e?}a|0ɩrbt@ lʨIcl:* jt4wk:_-b˚2P6qsg(`#]ȅಐݵAqC Zx0ubr^D gkh݅Rk) F#Šjv jSӿFA)3ILG Gka'.5u1):Xhc(\gkn('Δ yۆ OMdKm3jG:`qu&L&]`Y}u=\ }&*<҂^VԹzRIم9N'[Ɇ\3!!JcHRH-(&mcټV%D-߮](#kIR!*Yʩ'Tgfz)Ip "/՘=:"Oe8f1g6 XwOX<~I-ͻa8? Y2{%Un-QVKhSxfs 4I"SBxcC35 ]Sws7~kO+VG}oDYOJʥA< ͏ZX_gu;7R }jL5l,(l675)cص%Tե9>їҙ3ػ&ɗŸ('ԐYt+Bv}2~EL@>VLz5Mzq11A^fuuBU֕ Ca%:3J2 9b '"K. v,Deߨ<|25xo亞y.ĞseAAŵ1VU* L&a,)Sf*: +QY -OMf"{gGTS_>$D;\q01%ǖ%$@Qc `Dž- BmTH$qs mpVXL&T2} +cwHW0aOY;Zo+DAHpSM TA O%H7C`V)K+>_zvH{aW$VCس4B%AhEFǁ [<I2uҪ! *.ė<e!֨9~nS@zbtCX*5 -h ; *Z E2755ȐB[&~kMz6HGϋgW_aҷ_=-Ųzլ6#7d,'}Vr#`LOpKݽy)]ݚA*g|?AY7Zu UVB5vפBG W|}Y :x=( ^ We c<Ğd~OpY9eBsO,4( p\v:N,5s+2,Ʌǚ5.5s<&K -ȔiN9|TQԧ;BLlElLyiŇ@6*(4yMB=t/gYZ7zXZִF! Jb]ŗXi%L#NZ>]~ލ3tXU`q% ‚y>$A@if5.-||y` C6J%'w;qCc=ky ]LgoA+8j0gW #!邾: }_c|VZ,Tve`.xy%FNC4)ebſcTIz%p?vxg-ݬPO5t3Ո4wE\?ʮE[U#51}#z^!4"y"yAO-X uK)VH"?l:`ğ]I:zM}Ξw6>UTEB8r)HJ(ܐéNE5>Z{_.c޴Oċg6Ƹg~rcBTXNgx֍)12 ;Yq-vƵ4YN, v3&xR?TAG[nbjmk:#o-imN-+= E:2g@Qo Uz:a$V0;B.)vin'0wj|OYPYZyeD>2[6y  aD X\ߐGܮ/䦻ƽFˤ{|/Xh9bFSٍKɩK#o.)%lv `dv=A^࠰iS̛/^*ļ_@Vk `{hs@͠3BB6}-% nMn&z(\HpxPl~mgQd Sa:yC5OZwE܎ +9^~ m8He /k%*Y$t sdpȚ7Hd2` fz{4}vGVG`_:OkDü9-o7a:ŒY2h>C:qsSڌbIܓlsm 2褻/)2(:P0jLzЦ8iW.ƫ"Ԁ:2ي_ ߴ!pya3*ř \^ma*wW߿הʑЃc.s7^TeAUϨ&Fsf&2ޮ.G.]WCIm̘~'47uT/QL>u֪)k_,f Mkc̖ը~`_Vݏ/ԟl h"fMF/Qk4hje}ڵY{Sog!|I0+Iw ^ܕ^z"zt .J𴛥8ޱ<V}~>Wu"Y_hC/AH9$ Ji 4 J÷E HhOɖS# ֐mreUwDOIcHD/GŒ Qpz^ؘTs,PN틜*Lu;sp |y킜gw_/]G [|SCVσD[DD s9S]f*<p)˶ֆTci`|NTo<:+%+*Rh$Mᑈ&lx0xS>wƜbkya2I9 ]( jP[8S<س+۴çJ/k;Ze w^tat75? `,42f^mjWƞ4!7ϸ5exH5i< LF Hqg ʿ7`6q {f\•E]y'A c;nڝ4{m\bWZ7Yb"lFrLU(h]0ˎ𰬯..x W]Z;q,¥a۵e}9>I˯ӧݪ Uט1\'91ʒik ዴ*Ne#BMJM'ʔPD߮8-x{ZռA(o6 +:9ˇē";TQF~ y2+,TfGd.Wh# 8d S@knI3L}샟xU#|ϔd|A<[+9Lq̝Lh)Og_))+k-DR1GlDHJTqPaf`-L2^cMjd2e>nϛRyO}̏z¥pnOcjr+@Hxeu3`EȀlGO!*{]6; 3&`>چ^"2WP/sΉٶ6@ -d'_B'>Q0*X :CVյ7vFZ9vA}͈^Wʥɒ fspQO*hYm)F@06FСE.tNQ@Si_߾@ey 9Ym墺s.k AosD ۣp׮vM6NG`٘P9 ͗k;A"ÿS$r >v(c"~&RḐW"{#F[ rx{7ܽA(X^ՕgoN -o8 Ѻ~+BBAo~ό􆭒!y"q;OW~^&os+?31Twj?ЉMQUw}Z,[ Zf 8+][ iZQAց[:Ovj :+Q4>1.8&G<; 7r(l-e&¬J9VNo&nw(쵏ʰ~>o0>+&&58t7nZ$}`KIiiQ6;)_%Bg!*>J[8[@(.Bk9C%LM,Dz0v6h$YC e,V{yh]=QNKWSO}3)KXhCd^f%pHrR\<><}DK}r#7v5Xs5F(IqHXEpC1o]j]s}rXwwXB2:Ez `(@qnc.:M+ydEm4+6Zx~‡E\ec- &(H3f6z_jH҆RvfM9lf9Ѣ^&f|1TVkn6YFWx L@XK+8梳~5`bOҰ(hQ޹yVN,j: vuwdpNLbH]k}U [9֝jYMgƇNcy0/:sdf)zy#jtqͷFcza (jz:ih` JK Șة[,vӐ.񝰋rZtǂv!Hsl|IY |3]Fd'rmsAuhdBԦwqX:6߮-x^/E `DfpuT>U% *SYܘNnN6 YɖO{H(yHEG(bSExJ^`*)ltOh4%Fn™;wo~5"@y 1.4 ?|׈>Q\yrŎ>%h,~iӑӧh2(6x0g~[.rj4T" ȶ.1B0[l-oCz󱈽^*{ KU $kQ̹X } $1o;:u!AMVm^)IЀ¹24)U5omŻ y 7>v [%?(gnE#_OF^L1*{^hlSЈ XP}kG+*K"ZTgJF/'ARޔnT @k;/a5%V?VѽY%^ܥF۾4V{I!Zİv~jո6ӔrB 2P۩CK!:Qmd~Sa-- v xo=UQ ^)۫K{H4rgN߶ ls,t go+,oaMEү˭y4[~<9vP 7 ky 1?=eM~%y *%@ E3@$y^ 4Te8b&60IQE־σ?-#_Oo^ĄX>Ҫ^)` `cpPw(J-RKs .d-JNn>ר<En5qz6iaqix\ gPBQ rưw//(YKL縎'i fO\#,Kꥣ&oc ݑ5HhL@h3eϬ5hs !,d:GZ. WVTWgc'":hcj&ŢsyZHHK fo?Dq JMNpdڇgOSOÑM*;CdӆyԘB# ȓJ a4gc/jxjufԐA0)oB jAR wFK?z/9Ť.[zjqND 7_H5Vpew)nZJGǑK/K9r3骪^'2DqGyăeN*k4b&q[(_R!4Msꂶ!Xfɒ YPyK澅Pitu*ڙ6hgoH~a<#_ BGE 'ATx;?H6'L A~z'Loŋ">*;xBn؄gNee8 ծNzg^((Fή _t͂@Q!jcp}p΍>=P_7&|M!D )~UQXXb4cWY?/l SR^M>_/ !'>ߍJ-RQKB :vHEdPQZIH8 >m^#WMb\ģypvms%s YB/70MvySZ3:5Tr6A\V= JPp.EDE4 WD,nㆈ"\L@i#sJ֏PO3t tTpIIgx AWWk.w:z9q?{? $] %[C ưy@:4smɎ;6zM cM*fVz6A{k;Ff=zP-H+@G RK¼ZLM嗗8qKUH`@>k;&fc}y^,|k|@,;l-6 jbz%Y!嚈<\a#HV6kV~SI}Q و)nHYY&&टh.kȓثb()]t;lGQҡK /cJN$ht:>vE~GΓ3! @KoͷPxO:&:>gE3@8*>`32eBW;%Vg]BQg2F߬;G_ʛG%(!g$RrҼq-eg@,~ L JH詝cmMAeZ.'\J6[n$'C'2퍛b#vqmϊ+"U$<>PɃ+4:Q&MN{,`[/}=A;y"ѡ9 }eO`-uik !~$#>ػXtxa:7 !q'1T6uwVFefD-*՚f̫-lZJx?8ɠTӳF22pR[ؿ]d6`L f%P[~!.0%ÞC -=wW\l$v!G #xZ(MM۟ ]gbQ2WY%A T)ltk @,O)ZQ a]_$MY<?U+r,=;d[vd~;yt'bdIeHB5Y>'P͊Fp̼O; n{R+ߌt4*-<XfuIJi6p}A=7"fc`M?k9u[! N>&JqDž35dųLu(S{44]UPVYLYe,aa #3Y 欂AcYi͕6}5Ekw8`N;3XeO0o!JpI>Q *Bwiq0ȎOpХ9ޖ;A9&dEry(3ݻ9z(t{IwF87VpBt}0c(e4z^𾲍8m[Ҵ%?uFx(Z)o?+@9g'% 6} ;~Zx4h>RUXv@ ?tFإ_EGɓ/8c 6\o8Wxi13QQw#Gk;dbn3]> \I8 Ztd ;/)I0I[j*:>5[\IO4[Q|G@9*|%}+i!C\?\T0w@o*WB+&OIkvU5`*{ى"`L[ҙ x1ʫ*)Iߪ3?uk@6as​HY=lyOXљI^Ek~]t]eKF1>{UN0pQ^ *һ2["/A Bĭw}(y)\|66Td렮A@kUh*Ype-G^%]f )*IGAOYt8( du2'uk+*G;Ò9DҝybR?29q\r.H< P >NrRe ji`>&y SCO,so0z?2k~4C~);P[86cՉY\p`Q{ D"hшfo>jNWxe Ngbc9 Uud}.Ƚm)q`zg>=ZuO[8dnXANzI&<&ey{ E2f+&a'oÚli&.5DF#xtDokvքPĮ&ՑU cO[+Rv ;o~{i3%ͻ M{[V2wMiib&Jj$Y >&ҭ U"NzJ*ÍLc̡{*Mb<,IrgLMl[R|L Tw@ &1(n8dioД!+c̓VIFqDOsF!P$&:)r5o(vgyyT:,#c7K* tթ Mfx\l=<9άYI>x-(?uX)|ufx>I)s dBߕWd7S-wyopy9G:5^HL<u\jW%#"A{h3z2>̏؅C蚞RV,[JjzٵW: . RI5 "2nQ n57Mtkc5 j[MCvUk*aYs"tR˂*ɠa%nYY([}b9|ӯ˷nʺ RG<.]д80RD3L>BV5,t YCpc#~_߮W5jsY9rܩK_}^*Mud2[T#wz*QJhd'bq^AGr8%&%#'ZNU*42Vy0Wbu[mfi+S:MRw>=CŪyZnwmS/| hk",Ë -X%k2POԏ B|Kqn^Mn's)RSa`(8d=0 Y +Eu/vBթ0H5i+as *:j˭^?msiዔ\0I]fN0m9@=\TlصX;bf&5ozdKfHǜAc4lv+|Bw),F{#wSp9z( 9n&rs2I2w'f2OWMS#\3okgzζM z9.FJӛ{yi\Ѡϐ]7b窵d \E6+ 0oGpxJ ,=6*r"-RJ4W -tE 1~Ig*P+p o6s:rP0Ϋ@$^y\sɚ)jTջ٤#QcJѮ`~s + \BI\<CϒdPe![xhoX\F\f=D>r i!+e6IّUru(YP%c{{9#(3쁈Q;i4n˘&jk?-~8F+%u_YhFG]%.sMW#*{88X&d-N ެȂpza@ZF*)d(<+RsD_. 7IкO˧ *rfՌ`9W[QΒ[cYP,]HOX[b֖u8G+盖D6do*='rYTf7t*ܜ~X-W6J.>דf{*޳lt◷Tv#_䶔h]B yul]{ŋD%DSqV]he11zͩ4nޖc ꦁ2*hj^QV῎w9VF+s %ƈ0ZxV=T*qWRqUٮ٘1,we\ʴOlG_aT6:8̿]m:@!aFh gAc\\Orwōq4zGF&#G\H7x߆a~VڟA@,f w?~K|O]%ЎbiB-$FHSrHI3FdY )$B+}Ő\}|M=$FK8d۲{:h_xwG5iCuiP8Z)7ZP,Gw\T{W1@+oePv^v+)v ط5wf#mr@]k<-jNWsG*OslcLTcׂ+ElyKz]{QnwR֤U~FV>i/2Wjp,ڨö03'K0D1$ٓ5j2Kڼ6C4wP)+0|T ۚ)@h{*id uCН~=wvoHyj+rL!93e?klRѥkl_eT,j$3S^ʩðrr -f+F {\(1_GcƓ#Ѧw;2*1 =4Qz+XTWOd]e>^?fP9$yc5H}02WTv }>!kyRRg{1Eϖ K<@gqzqe" ..1U?ɴ2(Qh)z7. !})7C1xJZZ*NZQ sUxqKY|g KTª{(Z9K`Z,|`vY}Se-ޜB <+8UĴ?WFAoH{\jj'=(eؖ_Ћ'E`COǖ9Ei3:1 \gv'L9[S2>bWm]$N~AxˏsG2Dl׹ɤ"".ZWj]CО} v[ģIՄ6P[Ķ*>@ٻN j Lm4O!c| m4Gis$".]j{n5*lk[?“Wq|EgHZ3?_L5?%Ub^Hgb|7@&nUNd/޷8-%k y@ YZҊb}}{^ f.?lo]%`<$̶%^w'SVR zI}aE"> DTvHph!%=h~:7Oߘ$ߪRk+@r{h #z zo >WXHd2J*||yt^]&zTrNmE{'b\#nag0Rf5O<o8AM$ywʢv|Hq@Ȩג;pKdg= 6Mak+~^fޥ6A&]-a+(Z>C{sjzё֫b֥0R.jy-?Lpv% sYlo7Yv٬XZi0~QT͗[KV^> .Cha|0K0P")j%c+ģe\']M&bZoiFM]?],Q 39 9JR1! J~!l&3Cj5IʚW E"%wC KdulbіB~L_>,Sabֺx%HI~*-Q f.A!jN&T}kںirq;h'+ۆ@* )t'$ȩ~/l$iRV!噠[W,N<>Fai5/]?JiPA/3I";_Ԝ~r?|<-cG3tvE֡eR+'PcԻ:\43AxC\F NSRJ! *ȱqDQ_ z A$ɯ/7g,4m=~}2 33@L?v4C•.:W{@AĬēq~H7Qv+OyzbQf; &Lf2MUYiW/vǟl'3"uP.sTLÐu,r] : T,SI"CB8Ff/-Ia>Ӈ,or}ͤRMCb2s3>a9_Ѳc i%L7J ԗ3vDY"d`a.-SɿxM]_ԧ?p)BD.p) 'ĴICum1(KE.Nfu\8{Ü';eRٍ d{,p%4AZ^v }IlK" 6 ThC 4fTΪ2zkhC؜T~Y w[F'4+lL$ Fo^&a?Rijߐ9z ѣCU(`$Ѐ1Η7E(E6,GCcBEiwoy >q EF04\ }U |kێj@gL\tACyW|{:ʠ*$ڊ :Yj'iXY`5xY', " _;HdU[Ó]'l c ^J5ǸE8kS{g! Kmߘʋ(K2w0}jۙVGRBXm ~6a_K&,x" y_&Ѳ%sֱ|;CHjݵ"P,VZMGT! +7s ڡ`I7 <.{I~-"]A󻪂T#JCk{1{Xkb??@d(XUYaE.܋}5<09i[q'7]5y/AB5Cx[,t 8n(_) Ksunz$אmV'l;$melo]vJ0[z!`>J=%-5:\ث21At8l&KxN)ۉ@T4!Y;vM+ @zGݱxFv=";,5^{sw[ޘ?$up&̹QV7x%wb)WWgvE[^8]m?/Ɂzڅ4xuCѥN.'NE ЖIJ<.}0-1MCY4`3֗̋l+tz +UINkܱ j`E} 1oCD% +#.AU+W m)9xC0zC ~Z␱h.Jᰩ f Lvn^(qAW7僚'L) S- l 6y6Hzs/5vy\( dڳp_*y`ˑ tq%mpX5⠐*"{Q#y0Wx 52NEX-Y8*eհxD53qj^N<-AVѢnÏd"H@n[19# I`GS;s -+V-G Ay0BR(!*kQ:JL>Fezzǽ"Y-0 "s*nɰ$֥wI0=zS??r)`rIfOmv$DUTP`!!:gu| ,(It ggT3^3XhvnӢKv }x̫%{u1˸`>{%OQR{_/3NI9v!;0Bd*#E߬^}9K1f4 2**os^q&hHvRc/|ǭCſ6=}ҁz4 41_q*P:!M 'AQRb ӊ2/(`O ] z;;GnYE_Jch[0,܍cWI1~|3v 9$#:#9G[mw[?ZbK`\ <+]6JqZ\Nr2;C ڊ9)KSN|/p&ώ~rU-Ti]%̋rB!p &AdPQ7 Dxo(6XiؿP agMXo_*Fِr1!JdR`_;vu9wPrY!钣4/ich|)MQsZxL|2 8f$-vkǙ]i80J͂ҼӴ#_݆6}U YD%]@ݻ->wtHЍƗza>B8 dZN\ j%w*pQ+75r<:Z>R_?K:;6NvgOX 65(ݩyR23Tsom.oc ܦ '~tl2 vȍfSĂ;Q}J}Tfjc]=_ sti-&kYcsw1N:GN&t`q;AŐR4ljćab쀯r˟xhmPJap@PY1$1HaA7ntRmY˙֣ `;PoQ9EayEv+۪GPj!؝aq\2|U#X=ںܽ$+r ~<ݨI~x7R׻ i"wźpU+l_.Ze{%iEE?cwsbuu!qY9o~12ҠO:Ȕ eg)%8!'8~S e2_הu#axۖ,E4388a]-y1BϭPX>HݦRlm5[gp? $) 7ZAaC'&n{$LՎvL.δ`ת!Ny")pZIQn#g؛Ia _Lt=ے-/0by#jgflaThy D2(Qƚm&nX (\,]YD#qXbD _AXץZV%ٙ~Ǡ87/P5H1yX_ MFqZ@F$=/ˌYu=phJݧoZ!zM7E/MR!>R1}# CTd=_^` UpDœVM_ͬsDfzI%wl`b---u~3g`}kMJN$lz JMc~YӉu|핡PM5ꊆyQT3?uڞ!jqx)Y QS^XHeØQn9ew]F/lfb0P9ՐB`Ǔ.}ppkRp첒Nd{ɋW]?>ze|eh1;g H֦tPpkIȪ7a'Fl>QX%T;;;pj,AT4_-dA%'' 1{gGj8 GW-V>G*A9\ 21e< GV}}"-&Ai8 tWLcNoS>Ȟ&()?s_F\)G w17aqXS $ʛ.I&MH*spD,k5+7)$Xsz8dv{{HW&NQIJ}X/5(w{bxUY$E.>tCB*ϷM+$D*Y .yHFɮz@+ jrJA&_:;־HN~УQu#NѝmK"JE` :cS^dCzcaqѹ=6UO*}!,;rmO':U f1;9t4ۑASf;OϗDEp  !6/ʛZ ZE114b1ſsIWZ-qܐKN >xab\P EkŴbN&gC,{:WI\$}cI3rx3bbH..`1f ~_F!Фcў6HN2ɖHL݅~NqBn$TM &ҋ @+WdM%dB+@c%}"+'hHX^^\>1\I^pW:9^A1Ll-~-3?!k 2 &gqx$\pJE}nM!8Z'tox]F#!]m~|H/R tʎ2 DE:= Mb蛄 epo\ں 1НTZq0E^-ys((O7t%c]k4P&vD 叾o%S {ѴN@օ"EM -x3CSV{ H dgAo7ͤ|OYy4=ƻL, Hg?b&Tj͎XL'𷗊(O6UaX/5ށJ 1&-/10îmRf`e' RaWsn3jٟ^#vJcxg>"GdH4+2ۉUq46NQ7@9*sk=oV5s9n#$85Yaжنߝhsr_ lLɇMdsM1:b?β B#LLŲP5,We䰢e@[ѥL6.7a"hp:O$uSV;)^f7\nFʩtk88yo\)~l]$X 7&绕Jˮ%5yh;)/fbe8œ"Lk%9%&"/]3hqKX7^, er sfQY4B fpCZ`EBP=. 2?.QUJmȻ E|B^^f<&Ф0|E9?`_M4J2z>y8'wuH94EQ~f@Lxd,(`!#\7E~\xƞ˦_s!%A\Q#akV{O\ HP쟦)INk%˱*d51 OM,O' A4@f<y#=<`,h"D.𠻅YNX8l1QLŴ #6fQxFZ6zqܡ:c s[#3{ޥ~TܬzA1xafx"5oDĨL%?2"f`ec& = {wܛ52|Ӛ$a\ɾ ~5! :B;j-sc:ѳeL0b.qDM$-IX_OD#DZ1*s8  >r} L$jPPfg)$H5Faӹ0X 6e0)dGgfG]]E&l`Ժkhy ;!tJܳV 3Ő+6`vS.CBHȚMnH^â)!0IOOk9)~T#:tՄƷc*ʊ^ڛvE^$*YP*f Y*5[S՛:2ܦ˧=ƺEm /O7́dW_q-d[.8,"&r:A.١wX A 4^wzRXZC\5b R 17MHRd+ &B3$_=1~:7BG NC+RbrʉG+iYumpB &M3T"SyQ6`t\?t:>}ؠ1,'+Y9bIp8_Z}P@Vpu6837\8q;7PP:*"^Gzcιn:U#li ;P/0!chR,ƻ;&ц#s_Kw~רƋ\3FW1MZGn}}rJc'--,A4hzP q%pXCKhԹ"|yܸUvcN5*G4 O|+oK‚w]~@t%Ɔkv*#d~>qJ&l)QFkȐCWYVЮ\Tudy]3+֞¥Bۿvy|B5^uydv6v5MS ڳ$qez]eddIE#Zq!>G]A{IG[ELC Cr+w։m&Y 9,ߴ"{33vOWwީPVAcFS%ތv{8¤@n@#q})Bb_b(F8D_Ψ'x}}ו '9yom0.A4,8s0¡t ,_W@9݇2-#8. :7xoKKC`2bY$>i4^9 _`uM]W PFO[ZϘq{H=x1^?Nq/vD7D"/f 2I5WjiHd5#c@U*Fۓ}ˆ59(^dKjyW'8 Sι|O6TkV^] Tۃ\AFE?q1P9. L˱x=Rj'iIqAtllJ;8 [`)qT6f:Y3Sćr#dHvƌ<:>8M[.-$q-}_ ]Tӫt m}!AŶrQbS-AҲLFfD(M[Ru( gxSa~#~ޣLI.. f֮FXrbD<@z^5D)K˰)EUbl2/y91ak눶㖫d'HBPu35d١0J*j x4;v`P'#/ K}BF#زU&a`ҶJ {N7EսT^H7 X(~ i>/A&ROo),e86Gn4?F$$n] z UӵQiji^3x)LVd-}'9u:G XL2N$ygr]Cī(H"Ǐ:i{4&Je5CN D<1<#QvA00M>'C[kI-Im:jȍ4r7t[2ѵ<xvc,*?Zjy̒oB  StWYǩXP9<0?/dAg3 DܢQ^ \b+aUZR݇zt 2G|+Rf;c*4g}7wޢal$Vj ̈cv)\I[&c?FJjG8Ra%.VBi]zGV,ަZR搢Rn~F"Sp"72uJqг~DzX jIP/.죠fֆ er$^ ti"F&A ٠=;- Υ=ԯ0r)_FUD.`cg7nNGZ7C<#6ݍfy[UA1OLBiFx-j4/vM ,\3)cm8o3:eYVhjlLҮ%u2,` Lx ԥf=\ [MD$V=V Hnm\sq'k@QŠQq:6mENCjRHoڹnE.꜊̀y`dוc/QJ-ڽyAwxhZ}A,P2oyzFɚ.!?Y2~qzMAO~Gk&i7n+_a7s1Q"m츺c#΂ء a2IS(FT%"YyPvzmo=\2B*sZ~2hgYZ257c76c5574eb47e8879e0a685b0f88226142af9e6482372651d25cfcd88b33f1b222ef5cdb71889 fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc aef5ff10096fa0ad7e3acd5dc0607ec20af499b2