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 J't, ]%]Matrix_Tensor:threads=4elapsed=42.283cpu=81.860gc=6.3447zXZִF! p]ŗXiɟH)0%o"ȹI! S#]]D$ ߔQBOԡDa2u_ȴo?>67GTK -4YՄ +uQwtvԵڍ R֞*H~^h ?_[FD=Y(q\o4@HXZ?ע:S`HɭgozVڈѧ=C$I|A[C7t $o*jL~`a|6d'H3~"k + li%|Q10(8]*DԅB&#K7by1\<{iFcoI1V}od'˱5?2zҦp@e U-TqmDe6 y1X_p߯- S-6|4 6l R:\wsBC#AOr-ކSS8Y2HnO`v,ENWea(䑙-P`nLϯ:"{Y"@1~vR>!ݟ]+sڪyx+ 'omȐ7€ΔUg~5ҥUN \#2)Ͻ ;7U۴\kuP)EV3472E: &I&wkZ4L2lI.+NA!O^!_M:M.?3 }K<-UH4u+`1mFbɝXvï-ʂ>vx`[ `zR]PBɾxpXqi SEa _ ݓ6D3-;<+}Ct[<#[%ޔZ6ZRހObZg#5B:vnctkLUp1/oT[6 }lUu86ö4GX6Jɍ #ݸR}eJHF[^"lGҭY<ͬ 6gѽ]+qoAr6gD5y@ Ū!|ժgcMمd2[8\V[ƓxO1`ˑ25Ʌ^i|e'yU[:N`$E$[raf*G )eGi(M<#}w ~:%ų#Gvc)ɏp `\ÝS|u 73ݍk9?NM?kin?Zd1N6:""kyNw${ڟVHCFp)UEHDX\Eq)='䑫C$lP ITz_vfQ$D lQ%f8N5>11$i+(Z O.LCz)Z?sh|ojTS!0.HѾLB72Q^C ,pqMiaVD|@TlՒFۓ AV&Y \M{)M3u˜5)Ÿ.tpWfuj`0h81lOqX51,ƺ?RuMO۰pb7_VbI{ D  *sj=mV=8G?ETj17d5⌝OHRmv>@i5xZcGsz^Jƿ)13< ي2RV*è܀72=!]WNCq"_ᗙkP ֔zupHBa ~neNgH0tަ2fϲ{=uƟF~?nB "do茵O|?LGѧ+?Vځs. WhM<ݿ^\\4M3bB:½-/[D[&Vɬ-#;69)T afa CrQ5Blz>#O|5851y]+rIzH1G0f |?{`{$ehڸyMGlcf># BeO )iij2H% iW冒1Ũ$: )@C8$yoHFUW\60 d )׺%'q9ggt9.ˉؐ3峏~Oy]} b؎WdEE#j,2ސ!=,o" {B/x -_7fX .}{,;9o ٍ[$T Fj?pC/B[>{j=8 ȴ2լ*(-'pc"]^Qvd(hQgNvcx^I٢:Z6tSš82__` V\CIE79VZʿ_E+3b<T;x>ԾKcpC1$]) Q(ך4s,?ȗ_")y/`HWB6tdsΥhbU8 N^9/w{}ڰޯ OyH=L BfgfrҐ@Yzy83 Tf (\_3, ] P6ف-ڑlֻaGZǰ}c g5_*Z܈I 1U&R62MM`#Ŵhך]NVsf8Xa0|.=j`}At-6|&ylN,F;RfOPG,^VW2"*uSFP#: ‹=?䕃ݶ.M83i71N~ f28 Ul~8Kt,UZMn奌Ҝ״dR26lB86gBA l>c|zhٰRg+-W3\=bj F~BÇ}>ͤ"k,w؄,Hƫ:{qGq>ʿ QN:(;S;Elg@::RM>aWwلm{$1$#`쨏n rpE<1`2zHΦ`'2̸TUQ;pw-p)S +j 3A&YV\ ڗ%_xɰ-omT'T @2R?tu8 ./3>zh_r<%7Z8lbsȴ>$uANE\Y{8 qɳ`_L1b+V?)U\B? %ٶ{o-%r!/s~zpmP3b `&ϟ\/Dl.t gau@yxPdk"'\NG'6wm24OC$Z驊v =QsjserybPM ɣǁGD`Ӱ*ڣُG3 zWu/⊘H}9G~#Js'^eJ7QL9߹0[i5AKFޭo l}՟aXyf}g:LMׅdƍ֒a* {ЫP.4>QFhԢ:tN_c}&Ӊrl)Ub ZV e.@e_~oz;%f$ޛrs]]Piw<:Ǧrw֏B^ tz!4ac) FF^xn^4=^Q/11Zµ3}ZVԊ6=z7ל޸PO"WKU0gf_J4 !0;a WIo Ty_Mz\4 3dNC 'dλl}k5I~l _x'W}i U[yW)7JՎ[I~qb=:v<eK9K'w@h0[1*tW+>{FN<DO "8/F_ԪD"m1JC+S\K{VgW"0?G^BPzRg})y퇏w9oZPUo1J҅"̣_a?C2_yRA|HI5C0_eA _~l ǃ`{JMeO*}D'*1&@XΦL!"q4y_|Qv .5 vfM#쬰[[Hm߁&+p@Kߪ\I+I.s닽hXX;Ln&/סl¼ޡT';KNyN}Q˩1H)#r[sT7.AAbICkYuL!3NFWgJ\bt;k۾2 >J7X;NphNم @{6s#S /UK*/;j,9ocm^zO2(4;u\7Xᵛ&23ғǍ/_ Zm}$^g߄ ('f[Y<~5!x._QZu텠Aȕ+_H#h9 Kk=09Q(ɋL38#QGؗhrYet]\vfX,b=$b;9ngEsrq@(Tdt(5O,ҡH:܄  pkJv h ר Օ )5 JG\u'g?P9)uEFb/8͈cqՍ@}u@0BF.y>usK\,3`bBiT-g_lJ1\G^m#L\kd9΄H՛Ix(t"~6"qf4ǧ|u$hOYs< YjViL)ǩ^㷿lV9xUFypJ#SAc_*b-\k͵'Ot[k&Ntz#4!VLՁE=,o(b8\=q ^wFYq_wʖq>! 5e#]C<{oZJB%'ݲȓ Z{\MK<\(C@ b@-UпY)azo[Q;WwW{KaI)n+dթ HB{?auL4eyH wQ**(`hk#> =b#Ԟt~ʯOfbB 7J4_S#VL]DxnW̿m6i]mqARiwXȂ~l.?তqtexIwH{A@l tztUfzAg*V2T| \:Mω4t?D+ kh:ǧmRږA+WG'c$^Oy^$Kš&eX'm R_12]; K ',x"L5Z<ȋϯ T߽xF$J2>ûd.i] 3"o,pFS*u2' -Xݭdʨ:FÎ*b؊|!&63bƌ<.M4AKU~"e kp9 X 'Re1iu5~g/6b]M Ut*XPJ_3YhE"Vai$tKQiҬKq/w³9rEw)t ncߢ+|` v ʡ={]?O?k.\֎Xdމ<`bă"L!LhS7C(]4XRמBg[Q3"Y ٍ]ԵX!k;b\ҦSHnK$K@aL!~%&ꑯz`" cP_)vȼ]IZC,_I49)qZVhdl^9+%_!Y2A̞@BxzNуC> _=ߙ SC^a;c #̜ELRW])/ivJ~PL )-A[S]٨5< Թ50#:39>[hvҴca,Y1]s6C>#bnP^&ܗ) Pbhz{74$"Ian` @&JS$•fsl#&Y^M_3^D:(f rx>$N|{XGֺ߁*'E^[50gEVT'Yy{p %Rdk"]B+y~h̜6c*^\n~NSJaITkQ",QZ̈́hxd d7uwʡW1f P2`<#щYaKA%Jm¤/uC4xy_6rng;Sd!UXWx![)*oS68dS1;`1v%32QbcWpI2+-xJMs"B@?K>9mi z'q[VM>["Yofi(>q#Q߼ъ`;DEr=~og&ݯgLp $Ȕ:rq2Iӂ󍇴6y8^Ȱv|дv\1٫rpq撠 |$,"F Bs@d=tG)]h= S(Q[^H܍t>b-M-1ƲWd)Kdaxb:7G~6/:~%9r59Y4QmL΃d-`7;-ܺ#350J{2QތX+"x=`)B-VQrS[MYkdnƄ(] &5;μFw_gync 1qt{5ʑL5:\2 ip_Ids\-MlJkE -4 3bjkX9H,\R>? "bHoB(jYx-tUgޑ"TU}V8zY |;oS[b}DlR*ـR?>7씡M}lLfj}4] ;`t!r&n£}~*'x Vʅ(fNwvVkd\9!Yt# ~yѻЛlGG*˚u1Jd /!u!D_dܨ15ЋuL+{t@W]VN#ZCpj)Wtq\^h;͸J!)u\j);yxNy8iySG#H}+z&E2JX={ NsQEU!P4M 'Ʀ64b'MYIx #[vx_&[J> ˺K< T"n=f< / -m~ *~+6]1ufrRk˸Q|<,QTR9q{sr~x]VO^3ؗnNAIR;/"V%i>ME]5*Vt)[ ;b#Kɇym㓑\Hm?~rI7w E#=իu 63,M@O &riiVa=(+.<ۀ NÜik95jݏqBhV!0"3l{2ja8U@{S4;:mOI`ׅM {yxNθ{T]׵Zc2tu)It Edyiw(3#mʨ˧G"z"_ZZ!=2N~C YM:C4y8X3qk@*Hy;z}`Q./;%1/B;QkYŀ_۞ݼ$%}WeETp(_Y79^R ` ݱC>67鞺13T{F?ӋLeOXq˰F{7Ƨ/>σA~e 7qNAʼg u$f@̰*7p6fjt1KWq 6jxqZX3\-3YBEЏQ[-5E^IM p]} )+[qvfdž6PAh"FZZ-\|.I):⑹R+q04Ň_wg>o8NW+{lFug VeC1D=v$dQ/Y dSi Fr&(ڒb& Qc=eimD'ɦ TILˀd ^Ll`OJG) I:4cRliBYw7)2[W/!)_[4ُn(AlYMI9wy.cz(#1YITJe:}Oy ۈ%Igc.LcUdGKJ5o_.{Z:K`Q -"'A<W.99c2e#@U }_X ) 2 4)Â$~~ۑ_Iφ"WkVU@SVDO=u*1c2 gXa;=tȏMWkMdaI7T?Y77o)8ͪZ-/)y WaTwyby3&\nFAm˹MMO)[^1E" %Ք.k4TIs㪬3~^dLDR$ӻ!ҎadmŐBSg0NR4"ްawI͑ r~›)oRF࿹ gGt bP)@!鍫v^Ĭ@iVS,/lTW#72LiL`XspCC)qUl誨 sD=VUvg#GҘ-do,zDEmXLA|FPVVf1!x `@VD@X^1!kz(*5a& _JMfT_+[[\(䡙l[0YzuBu%)!]WX%CoUu˲WF TR;*:{ F܂׵'B]ʤ괌YmnM.X+WِڳuW:K)6'j'K=ٿڠ??q=9e|=j Md2'AZ)Z@ɻ|SL @RT;ԙKR!O$#jsos/:c:Pm䆽zqeWhs|=8%-Qn+Z1#$ (%igkU`{D mn53n2Se{BD ^SgrN`;w$KJGʮclR Q_r$Uݫ%UDcy*̐2O. ۼe ͈ލh֝[C/w?'C:Жd)T)(#`_&q+ZuxE/gtp30rSV|7TKz%3-FeP0%hgil [^]Q,X9^ΐ SUd&bg`̉tJ1 G<6@YҢpü#]r R|_v%TrzKl+e?،mX)n痗-ƌ=J̈́ni%y3G M"YĦY1_ ]#K}OܜS>VA9 y &S" n!Q l5M5+IP i!>f-W[lU%L9᠇ ;=\[>iJCX;F,m̷v3vip${r6y}SRpu7{^C'{siA+\.%ned_*mrnEk, CՉG>%cD,+ILdgd Gw뎡06 2[#Ǯ}7*<3mZ,EMS-INu!>AOxOWo W$R| v[yUpK>LB ϫ}mR MrGLR{ݥCfO $jD^ӸGᘲ7\)M~omإfQ=c?r.zV u'Щg diH!0@‰K~Чfq Plj]dNA*+Uf@:p(<}RגE[EK\ڕpQ*ԋPGuz1%+(h!JT5׬ k)rHVo&M0^pv')7r{'43\$>~]>Hd OFsё**+  @H󯒇L]2)& 玗BDҬKaDw!_Bl4H0JCRr[+xU-] _ 'V[97o<}`TV7gtC&:j瘆9dө$,͋1W^F%sTMH$^09i X[$zIgYJHj7WS# ̵bF~Lq®&҂+%ILBnHo7UDp8& @DǍV[%8jwSjh+ ?2۬ d+L@Δe5% *N Ȃ O~Inpqb++%XDܑ8 mNj| d@譩J`|H Ԏ̲1ͧ&?l%1DU3/TYKuW.@_?RA( Gcp[$ۋ}aNeeڤahmDŎ1jٓɣ#y'Y +"QHf_u8^tGAZkp2 |q|AcJf͈;NGIIr3ԣhCֵ` ;cGp왾0qa2ZWپ8Ke'"YԐwnpn;=#mKi[ML&=zELExHjJPW)bIZr7&*t8k[1cT&rPC.5kEܐ}[ءnkನ0})ɗ N {:A;kśU#NxWlY)S1g7Dk :{ aH 6v,FUrt&NRcUU߉~2ý9qds.x9] [AȆNJz/ JC3Mz= B|$ !lJ͞;UP,Ѧ؊lޒEs .Aޣs\9 "=iue*V<~9-s*ie 9oPRʇ=/:;<y./$TlȊTj͗W m@A}$;6Kq2'TȱAVDvS TZfLMnYCȘ'h~I%)ƉH)P.Gerl;wSsyg. ] }9\ W_0 e0{dl۬IQKx`ayx RHjJ>[o׺V(Fs;MЄУy{vHNqR!8kAגhM">qυ:wwueK|9C 30DVdRG8JqBSQ6]}<6D0h ɈP Q}r)V;Mgs-Sd ԁm`sT$~93mF.Z9k47v1z>1(NT>Ⱥ5餎Jjvpm/ E$&`5og{{Lܦ6T . ;ia4&ޠmXp@kp$Ƃh+%k:{; =#Er&8*"[Y}GdIjNѻ%;u:D?pԸvfyJIsy L7" =Fzi _:#㒥~]BM7k'q ѩ@ C&CXj"مa Zc׸`)JN߉qp] =Ԋiõ\T[,c1jF0+niK'}69Ç4cf]>ZZPLrLA-7ElMN:aՆ{ѣ'z] gE/lŝvN>fdRVD. 'bJ3UwUom[%){U5F+r[Pek7*$]XjӤ%̜ޮGAbk!݈]#]D]Xhw8XueMT]@c^] s>U< xs)OѬ(8pHL1"c(8+Rh:ӝ @K)q'9Ac#o#ld<,*K#01q?ZW8WB^lŷϷ{LͫP$ (PגU rs l<rȗP */a.Nw {4 yPޣ`)9WTm|Mlkf1rAx?ݰLMzgN^6$RE;ynGYyd9K>DyWڰPL [+'utNVE 1/2T1v+uv _^5=680-E^TRR%19y"3lHrg‹o܋w+Nyd',-6[Q?Y_?MlfT}0`dfn4+['o+dF. J|ӝJ!~`30/?ƠN<)HEs.9\\Smt:B:}F -p*o_YpV|XTpƇ*d_{}@m}nV oCtD{լb]ֳbZsuV~Ÿ#J/^G*j͏~*l"b`"Zku42*fk)"N1Q><@V |M] ֱ`F;H8;zc$%Aץ^[묉zDӇ7'nee/&~Wb/K,2a!~gߓOceVkn eu;p\K۳ [/2|P/0wDPgm^@mutDŽK۸8 5Qi!$oՐՍ{13YY|1eOK18<"yjO mR|) Yg=hl*wj \E'LʒO߭]dwmD@m'#Ua:a *L#ϳf e'\臖|9 u3(Y 6u\t:nuΐefnn?XStU =1 r7sofyljjOH۾qsyyLޞب:4fB!= 3g^f{-1ӫ_,K[ݿf'GXr3D|)C%xݟ}]*BtF}j,ʴa4,@mȍ獞# ,j&AV 4fXS5d!Lm!Ԓ1nfF6}Wf]Nq. N? .kHDFռ.N.qOH4. \JTu-4Q #k#̨lɑtlЁ}GW}X9;ٱ+2$~%& DU Ҏ[3#%pcItza9,εwE3\oê->NyzĒgK*@d3YSJp.OY]P*SΨr#QdVrC 4$w.Y-auS[srIbIVczGP=zgZ$jll1 wĚ(rxih,QwuXf:7=x݉nL2S{jz ;z6P%m&coN'7?1qb.:8':ٯ1~ai|ZG*6Mdzg84S{P9Mg@Q7De*U_=n3AXGݮMSIpKIW<)5lvq`Q="~qbYbZXn:7X?BI ܏b0īsoفHp:9A1o9^v󏣴Hȭ6aloу"x}ܹA|^_Ӵ~r[w)2 Cfj`߂~{KaTYmhl0^J 8Gb PW }7JK,I-7jEJDj~xئH \BO*ɘ\xwG[EjlXTnc/ӳiy9yNIWC&@V^܋oWd+0c`v%!"$328}"!c2'9VM/ t^w5n61a9Kҟtq?th{uZ8{~61ue;&C"ҍ?Edx|iйsI$(>tcI'.wI.p֥< z3P5DRq\$E62P~UV:\,TG WYԼ'~+q$ėM^Ruk("+Q/Eɏ!GCb) qQyĻ`%Xjy!*aQ`CMܝԨK0eX)u%Z~YQCFWtU!JCP&t-tW= f:*v1jl$&hԔީ,=le@_w_&n' *b-10!zGIyCBo@=|]:!0-n3 +2m- u+_u0 lE?;x.--feR’:')9NȠ~ъ|㊢q BءyA!yw3Ăm*nM?[doѩPCŨ1\ Q%#s3#&vJ Vf/,3ᘩGh@ĊrD: 4 .yqv`qIU84tGkQHﳂXgR3'i#:֠ =,s^af7 JAJzC*gx U*Eoi8(p ʭ35K{9`%N8H!sK#c{A^6ʱj*SVe}Ǣ@(9aPeBW: HadK!D*^&~J!(FW|ᨷ<}I؂WHTQZ AWº#93GyئVhdIZC@c u)%}5S.NZXEJ=\Ya t sl|3ʱtcu!SU9*] 4`ESc]z+oDYc H2>$ccVR 9G0;]+|O?vN67zrBPhQ̝l sԬ%7[%=qU_#a4<.%-Tۡ7m}rU\ ZQ~nk6X^e @_~>Iߥ5a,Z kXw vF)[\[m⪺TuBS+f̯LPwԜrBi^4c3U4i1B2!18R`Jl@a'uvqޱ̽n^N1|etWZr-rau&ׇܩ̖^̩y;;F#TϴQl LKᄣ s#چaI옝SbSBL~ӝ,ׇANqI-:{ѡBǻ3J=9Gq.}z.PRIGMV*1^wCm2*oN6sK5(QIW d\`!`e\?"¾=|J!W Xϗvm R;Mm(?؟`EH4hO=s6=uFG9Dz{ Mz$E찮QՊn +æestɜl T/_pNSFNS8gݑQ?GG%]|#u﮸-SEV H5ޥr/29BS:ȴ |G/7ng^RY{n{#t`t%7D8["V9tM2>5M;(b[ڝ5.)"0ѯ/ɺ%ٟ$e( `?oəރį KO\B'V1]u*+2&X6ݬ.sE;W&f|ϐ2ͨkv@t ˑKE\~7ԁ[ӗ%zhˤ4'˯-r j@-#F)31<4͑R+9JɵD%ѶnT0Bꆍ3N G#D6SsdB\ nY D-5<4u0djʀp>=gG=+͸s8ܝf\h嵴0E!*3־LE916uWȞvN-uK.Fc`-C&MxM/j+(v xC1u#:Y$kRIdwȻ;&[?2O,-MڅE9[/CMu2lÿPtL qMeru=:Z"~G :lI,sv /^/A-) p8x?AпQ-QLv3HU6R5sc`ELTw[6ٵ ^]ٴ&M^O3)RuT< fQ]D^Y_A@!61G@zRԂ%;{/ kNKIu3'BnV\mum>vĐ=&o蚕w"ţu3FfRW j7Y$21Z;)cVGπ?YӘ ٹ`4K{q_0ڸd\F 7{gϭ [شZq_9mc@Kv D@G)+ܕs4TQ:%Ӆ#eg|2v堦#`nFMWsbul뤫&}'\}4(G. M!IQ6yةvH Aܮ ΰ@<ރpBӽp ϜNluЎ}6@HV}@LwZ&dS:b 蘜$.9ts}(H\ƻ=O1m(ÒPHbKx1%d/}j }\Qj ŕ}'!"E]QpzvmI3r `r, L/b FxԤZ%iY.cJg|ֻR}m\Vy_LQF$ .^_m y]u:渥&8V3)栧zPdf.p=UA#a/սT@} (͆tw.n$D(9kW+(Eԭ@Gqd$.$z1绂b6#[@[=aX{U&|gn0~L#^6FFڑuUwʽ@*G1=jϺ\VEVY<+ 쟧VfGX2T^Yz1j _1^uhRbW^gM~1.k@BW(hx9 c t`>߼<CcR[~cEuwHp& U۵SODbu;Rɺ!_%0g! bRx\[`cuYݍs>Dq1gWS!EepCbå#3<:Xy&66]bvɡPnAf" Ő(hX_P dEe$ MdBʨ'.?T u1hH{HDvpvP2gʞ=1]Gjbkft>#:weAqυ>B:!F٪2"vt7֥4qb?9^Xgt# _Mb/S'Np\^NparlaȵW:J 0 h⋁5e ZT AEIzj n9&Xᮊg%[[ Iݺ W 8ER7 !|:+zQ:&4+L[Ti?@ ',w'J#krkduů_7&#*Ew$ YIQəe"bzK:]\6C sڑs𛩌jm"AMA{a< LY?Aow³O$cњhsiV1IT$xUwHccʹ*B\ q3s2^5kעPLm;KDr#B'ot^9HlFd#l VBtmk*@#&;z"? &i[#!C3QXUS&R-οmunp5h [NA]z?iIKX&8S.t*\2%R)dDAH>SrZlMa@II^ەfK;"$zF^4#[DR1:N 5Ŭ"%[ǧc9B4) ~oEqTm)VA)[IYD'nBMlMSB_CSǃ1=S:3ԥKIv2o + i¥GTn"^L&c{5b6ƒY%Y>xM]epڞa|P#Ǯc;.ÔC>fsBQ0qFyZ,O(C&2~-]l3/}.'j=% ܳ燫њxǧHDԀD_';e}"iul:Be "20hZp=a&~KiZU&$ NaƢ(!;3wxaq_{]Sq*9wl~r5$R4clHMk$K0T\2'%v(S=imv7*f=|(w2ͧ?@'7C:3LvIwuU,L~[#cqNH"2bY]/^x+|m4Cn&;CE>Ã6fegYZ7zXZִF! PF]ŗXiɟRepE@$a qc!+^|©l֚o@l̶Gd2 bQl!k}YZ7zXZִF! ρ ]ŗXi%L&ʷFvGm)xu)POKCn}FYӇDf[|m3jo=-z=ٽ19=TTm;sY +rz4trr}:(8Dbx|B jTTs70Z3z^TͿe2%6L_"r rޓ 3̪"/s! Gb6L.?ä̍)M4^DE*/v[c`2@h6m>4!Hy>L3=5$HT-)n..Ia#A-4lVZ_YA4z] .˅ 5j- *@C08:wiI I^ &q LH٦d\ojǵ78^t%vA}w6 %_'Her cA_9X >hHyso+fxX 04$0"nIPZDq!<}EɉDb(0M%9vH1ә˖'3u%*y8Dr}0ZNQ/u@3+o& j+­I(WD).>/מw5t!,\;3֨_T/~̟Bc1#A* b^ ;O%b Hcae sxkFyIلPbX;3DB}6p떼 .zQYR8#)]UտNWnDڸ}7+ #"PBw9T]!EI\PT#**2R̓gxhomn^oD1[dO95Z5lĢ#<-Gʒ{rx2lF7ӑ' tʒC1>E @O'u&HR@\8Ɔkqk{o2 v N}R˜ܟ 6-qhѪ^㪩%1Ƈ/ۇSQL^xy.MQ:+ 8+AoeA}ϤD Ån|Ҋ ʉOݧoa^Ŵd 9h̨%4ܴap!Kĸfasws85"CJ=g^@c'3/Zf[Lg.'h{Zp2e|zF+V^0D+@of)9T+oF~NM2bV:(o2f$b <;D5s\c7?@ⅈ}$wasܔ+[{L&7int^i&/="q =7t E~#*5"g`$z#AۊXqE-۫|'ςߍ>8I|uc`" s^Br3z~i=U#PigQr  EϊZe&1)]zfcTaڼ(GI>0b}erShVMp ;Gutpbb\iܘP+s+-b!@W;݆"-Pg7-=+7A>QV!0J+M\W .Yl)K'0fbDXp?8<J]Q޵U>=4hrҚP[K S=%yߗҎ:Qx] q*+ ԑ`%#]6/~Y 9 dU|}U7:pfPkD..cỎRiL oHXik-Ƈ7C:F&}Sgv=;a&'PX`([P?5.l)OFoe@F /dG12GEEUS5#H֏d 5=K{K ѕ0R<# 2]+2v!b}?Fe,k9k9/Bi9Q 0ѧCcm3mċ:j>c{.,1lkZ U19Ib_ѺӯjITJ =O7(NiŪ\% Jde=Ш5-R?qyj.p S-P7Z{}{C}^%AT)X#rXpvlI& /rrl jvG[DMz (CzYCEdXX1ԓ! +>rAR @ZՇB#v>)Lb9ZX/ 4ziLWeUaqafNF^iߦmwH..tw_/*D3o~Ԍ>䵻9#5Ot7^w'.oQ־8>U_AiQY@bZ 9DDm*E'.;]c%.4M_jk W }9]}d.!tu1hOgYZea0a0d8ff48d09dd3d95906d7b1b50a1a9f9f91e9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 4b86b8345ba7b91ecd478c16f77de0dff526426b c2059a7d81a22680cd1d216e26c30dd8c1b7de8aa3c6af7b4edca107edadcfe5b0a655c100dcaf97