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 ??=l$, ] HOL-Quickcheck_Benchmark:threads=6elapsed=308.522cpu=1507.848gc=136.288factor=4.897zXZִF! 1/]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*t y|i7`cS/o2x+)een7"uD#.m0FY Vu~d, U.5<rPڸ#\X"^#B+qBTU Io3қm PjĸQ>e;#^Os!cg^F 4ޘ~!" 'CBo.D׼U`=<04Qݒ"">3}tyVBX:|4(9OO7WtͺJיy|f󂱟޻NT F=[P=\nԦhݖEKlP9&Miq~$k7f?Jm\ᾓ.n;S!M.Gۍd)P}ِ$Gs-hѽxDA;zEւ^E.iAY+خ*M[ϱgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0ΈץH5Etë́Qe@?Q?4}c2"+%>VVymEby6v(/PZ6-a<ޠKW섑|H|2 I>0gYZ7zXZִF! r]ŗXi%G|$0i/Ь؉b'Bzmwx<4c'oGDL[WcԿ˚TܤvR=sf7 e<>M \&;:4nIDa։º$շ`N]X,ߛů G 69^44XDy᠁?qGPꫲm jv 4yOuS -mEחghٷ KjЩۨb,2-7]*9/D~IRL6ލKSb@,sOF@L2ENdY_vV% )7 ~+%DL62B3WϏL7^nVir WRv{w?B^푠dHmgsdd{0܌#l*.aQ\A;K TCBHuOl^O>tvM4:bهP<>z@Lp״}"_]V^VlS\6{Ihi,VVಒ}c'[LxB_F|Wu )QxkIkMMn 5R6s[.c}璉I̧zT6xJZimf|j܉/@`$SB|[cmVW$#g1' [|l&'?N [1 gx(0{ ԅԲE,Uظ  v?dhi])qͤ@ ]+o´B;[,C,,wQ # U&9ɢU>*AliGy;x ,WHѠxf78Ӑ4D4dЈPXM ՆG BIܰie*Up:?tp \ Z`2_IdϴG EfD>Ii:6`սY r cF"sVVk1,9H*]pyc_c8Gw <%3ß-)ģ0fO^q,eT7iX!ɲ:v)&.d0UP#6 $anЁ1L9mDN?mwsꀡ]yʗ8(t O\^Jv@~_#XCKZ( 覴IM\Ueل-pGPhEA N(j3 }|q+k_DMR+&T^.4QH,77[Ƃb|"%I Jr!m`W5!ش" ,Z7~YOŀ$:l$iOU6h3?|t:iEj WJ<6ҽ25=وe>(|NF|WTg pLj= K8JNP ʺ4/hX<·ڲjXn,MR&8C +{c%͹C.){Ex"Rq$9hAK"د#hekfӼg:ac'M)OiPżat`N^ %20PU obѝZR8+@uڝLͥۋtWb3kU'+_ #oZPgϰЂ5 ?J5u)k6TJJ9[{^"IXL \MԼF)z=Dҟ -H]((eL) 0_jQw|ˁ:[ҥp#Y-&kZ}<ljjdbݡCfh xU:PxyesFNUj. ^T95iׯ²C`޳mfv"I[m/"͚P# DVCV`Z ͅ ƀٲ79D< M5fxэ鱾 ;eQFQn WURL* _y==BQ,X9=tOfn\b,q[hCGҎ\ .`8n7kcr9PGU0qDit _D%UTWe8YR}:=IAzVOg'txLˠ=#KofmX]3G =zV ;Ӝ-w8zJ9 8-$h1*e'\fDc,+37Q0$&+9]<ue%i$[3nưSQ>Xh,E:`)$#ӁqӓNTqIN7N&2a7}>עmnnT'J5Z)kh3CjC=N)![[:zО\ .HR/_Ey'8aw˝Rz7vv+j.#$^i ~&5u=@ Ó<e řSI FxIfP0W-r@ijп%D_/S'mYH@[Quz3SA>`f`g4z^e6ǥIp&vm~+NeX/\2a*um5nHhr-D@M ~dUN;S<Hb:=^7ڢWCRsh?6`{ql܃}R}yo?:$~~/wFA{%Έ_ C/Pwua9юxlr@`Rw2^ [3 `N1/.jkm:_!!x(6SJ 'Ž=3ᄋˏ~V*M .Əl'\rݝ]1;|Zϸ; +eXE#xxL>)Zbt= 'ykkIm~aR#Ecx,fGJ$%_!'ddɲt&ЦC<U4k`9G<[ۑQi|R(]lmLqQbMq!\fcwv*Z*X{ $mpT+.A!ZG#g#u>\.H[EլJi !< 7SWu#.Cͺ;!\NydYrMyR ŴeFma<W|"EYǀ0>BR&/77]:Nۆϥ7\,6IJaTx&;fvɮPȑeI Fӷ9%=iٲD߾KEm 6%h `AsE @;k5٪qE&Oq| & Hk1譍|ZB4f] "@zپWƥPe"l݋b>, sd?Iz81h, eަ_a3FqL`zuq(vhf"gs1_t(8%!k;u`6 ^`6]Ui1fBBJ=EvF Fete={) z<>gUTFng\9ŦvsXO7lWH*]0L6awU` +`$AǍoF/ 8G;oՎ 7ר)X7Bi$?*x;(s6ktJMB]FbXsTA4_MOeaeA@b&Et(Lq#2i;Y%z? k :&!Fm1~A!)V .n;DhB`ۖ3E͝;rZQ_:0n:Odjjȑ{>P1Pm=- + 㪛0!8aQv!" maG5q_Q$.!O@Oa_ԄX~hi;W|-fx6?Q !'.^顈R3upZ_o=`,C2f:5*t&r1WL8.splA6H 1:Pf4a %1 -BKRi`Fzjfͣ fAvn;caH9Fiy⻞i4bDD̄4.Y쭫#sw oAiMtzaȠ8/ޘvlxY +61Α>8m0m:$ADν8j`AE*7uL#N2C̿O_&⦿U#uI[d=ԓ5Fky>r]r^[v^S:Tל죣\=,}.RKy ,,k DI@,yذT˟D"ϚWgogZ#Qy Ck^&_нQ %6;2vTeP\AI9OGj@[1LSF=/N\81o'@,[xJ'vo"G[~[\Kz]k<U#5,d8I,Z,H1!9  t q NԊU 'cdP44J𼛚2D:tn|~߿R"*0p]X٠.g{'2&Ȉy}-Ad/Y} BK%ol;g33XDUz[Rbޕĭ%08=hUO^70UL/k>2ADAs."6["4!R, :eʷ*1q5OMȫA<@#VA RI oӳn.̾tsAMB|`GJ("FzQiR8lAY"Rbzu׽B5h Oا P weնʰn, H(Yx穡iT;rYj=g<![F)Y`u£7m >(y *M݀;~WORb{k1lúrcM<Vxhj~\ d?;@B.O_:kڕ=Zԑ̥$%WF2L`}`;QLXaQY73%;$Nk a6i\1`׹vuKi {Fw>z5IfLL] 560 UScŭ )e0%njqKL-ZD*s|zD<~"er8ozlOm.3ߦ׳eUe;u3['Ot:3~92&fHJ2C.={3ş[x RF\)v?86 .N5!WJPDkȒ$Z Kj%`o&ܽy!v sfw:y2ψbɄOzlڳ8Fw/69Zi~$ w<].)qT(W싅ʻEP}ysKDιW/:ir;ܤnhw0&AA3MY[A= XQ;*sOd8c{Fw2Vn;Lu/~JKEϩ"`Cm2ZU?ۯF ۇUtʱv(K[3+%tb]5̝|s֝F o6k4eU1@O[38>;G[ AC+\_CQODY7O_Ηu'@"B?I t鋎lLsUq۳HMfh| P (;#ޖ3;ҝkXSk4=)^Uf#0=&6rR#Hkt6JI1''4}?-_iYˈra Kcٱ~`0%3pB3ѕ.k~̪^r#5`.\*z@ s }sejW&,/$?rأ \L x8X]V0(b2VP~x=k}Yd4g>o)ȗ^ݖ3̠Qߕ/ f8w՟"RJUC}G䔊samyӝ`P>ncޥ!?wLf}u}UW9yH[ReGZ#e esZ;{ `?SD4ֶRqifۺ:u7d D0sycĕ5d`&:.+.:ѷCU<^#dXZ>(ri>~ioUt]>OWIp|ㄿIm,y3H) lo9_ҍ1"ff Z$p9~JĔN@dЁ[ҧ*Rx6_B$,SԺF m٨"l;37Αle|ZK|Ī5 X AllET8zy?z7m;R#wf4~SM!V@9Q!0g4<7Fq140r\cP#M,>o1ڇ}.w8źD8Q376({{zjmؿe!1Niy-2++~seqXr<㭷!ո⍫o|H]0(+VAlRJ =(*`0~ xOb6!=Ix~[Xl.SËQ㷒o03"] ݺU81=l+GI eGŰ<S s],0K1ŭk KPã\$24pc}hag 1qV=Ke,4? Lj#kwMeҋ.mx 9`M#SuDĨ7]fqČJp|na*A'%`>E>ʿD*M U5Y #7rDMkH ׹4rh"t}T^ %$mR"?V'q1k=v{}}]GBk>A !Xa6uU_Xy yha\pS E?}:P@]uk/=Z wBEZ݈XWKcKW@@#T}G0V,p0Wmv&NFYIFtYOUp8^ ]V&:?a2ԑfƈ6>u,ѡyN~VU) +l]~Vn6 AR.:kѲ;_yQYzyŴ)4L(ags̖q'd 1˽?VXo cr4׳潍y غ93OCM _A"k8AKhUu2j?!AkZ.1QYi;=Z { C\Hj~T V~(j(fːՈVZ t+/9뵙iJepTϱ dEU{s/jR|ߎc]Q;2I*gp*W9I,S$S/. k +`r0܎Dpw^?ӾKZ@{Kv i!h0撵/YCF媼QkYvS̼p(R}zP.$ȷ46Jߩ'ʈ/kڃI} rHݪAa3IjUHBh3_̽bF/EDgUaH/S@?AwˬhgygU4zGOIsrЃf'  S#o<!bŗp򕰝dӥR6I@|48Ղj&| &h8r$We;;BagmbE(1j S+p'd} Ft\B+s2?1tF>"v%<@kMܲ@ -hZ~2 1jܔL ].JƊC"4-LF~7W{7$K=:̳MÂfh{E%4rq]s9,5IGZݍ\Z 7Ρ-AvŢ&DR{!)M wbz$ϪNYUNn~ wDPL''52tJ}~s]J6jɳ_b7 3kەc ^*5U!J";$Yrv٦7(LpScF$9 0G/XlMt >ne(Yko#Ҫd'um%z#E"ˊr{uhj3~ČYKJb}:<5;v4ٍ!#͸0X&=B1늁\ЬyfVwG3Q֖Tj3S?*4XࣷS ӟ'[YeT6,w o)6Ű_ڵƃcDKLl |/sн!x4+[F1v! 0"ca_5 I{GpٛMH Lwd ^A;[ޱC?^i$w?G1º?ndS/fBX4 81./>|$a'+΁de6Fj,줦6WxG,|$eOe[Ĝ3-|%a:-2ylNq(.S ̚e!e{W_!Z':|_c,dO3Q$6aL 0WT{9@E.Oec¤w!#)POvM[q~OTql%Fƾ3 z/ +R" _mYs% wnզ9kfo"hn|d̅>FEHɯ' n zmHoKtoᇶ1xlhY%gVa)_yph3]UF6n:~!@1ݹr`<bKw\*o /UMTYGijejсU c_'S[B'LJ Z0dTBR0S=1AD| g!u"::OCS\Bk¹iӥ6,]ػb9͂O2BՋ61ţR@H,„\hEc<6N=0RclS_'ޑU;:13*H㽉Mhiho3K%5}T3RYQƽN,SQ8 sZd-[ƒ"V$N*iQ= M&8t`'B!k`Vg5dǨ3JaD2G?ר":Y܂{DуNA Hy =yЈ.?T9+cTUL?Vq^ XތixtM$mm{uoP9ВG\e2Ε;KsaUn`#ň8w_4rBa_y&K*h.bJmw>7D(tHc{AmUG ;JP%EULnnaw8ӱo'iaQ@]R.bƳvsrRCl'c<0|V^Ȯs8QФ Ju)~ ̼aQYCCOȓkYaZHt %27c'q;tw)}>ɬ<ס+/wWdQKK91gfi<-!_kyMѬMhH=t*5sw VY-lUMp_6K~WOKj@wJLeJ`v7 TM /KP^$5E(o"l?T/s Ƭ4{HCsCJ 0LșBh54{ȁ/ǥi})\?>.=q:k ]isȎQ}{v'ðFy?d:ϏxPġPO"w7R^VqXroɫWPHyI]$}^S']X uL>wKI*A zuJs) XI~FYN1plF5S V$$;Y=ZfΌ@Rۄ8i"UCg#AD i Q9.lиel&G je\d45e!ڤF,-PGjlB7DDۣչٶ 3zTޘ 2k,\ RXcIE:w y6r*`9a#ȱ05|EPIQvFcQ5NB#9*(XF/s}aXbo,sr}dBm\8 8IJ-Fo@A܀jqZ &YGא.Ri1-=Rl!fT6jTQBP5'Lh!IPa@bwF(4v(s1뙍!bI.L L= l!r Ux`و:L!lם"sz +=hvVaةvAV/ gɞw'V.{Ok|wQ x%a*I/SCak ]ֵy5E;'6,%cG(m qМ3__7sY'*ea{[M^Q =|wU&PjmOK1avMHi tPb Xe/Zƽ_ 4$S7nMRp&~(s<f_fCtyk٨'f [^sHarc2S3GjG?^>s-Ze)Ź6`O].|v>'@s*@n1UL=!"HCTꤜ#mxTf-itM:C 0+X+q,oZ ]2[=D?d@/zִؽY ECi-B\5f84}ls?ʊ+_F|"{\ju6ێ ˡW.7f[q\}|d.k7 3`fᵝRߗ,x;'`Dx< [s {:z C"e~z!ly_T)1mˬlj@ׇKgG6lˡ&dɐtFa߅S)tSITdt_gE{ٞFv;6y&1G* ,$@aѬVEbۡ`K?(uwE.ec&9/3ѯomf-T&w݌gs@_V,6D/0=ϥXjSEG\aZN!C1ǠL]8JV}R#XZvYujѵ:͢\K(i4RENծS9/H$ z@e+{E w.]0LR0AB$I}֢Ήx[fkX0 š֎띜yYIdpyN51\@gt!$;7:I6/bOIg^|!9Uc n(!?`^@")H@Pp9|aFac%;P &҃4~REPE?&=W.(tǣ\ˣR|#XjB W)T[a ӪO&ɦM[4",m6?6͍jL@(Lb˝/A W;ά.>\cee49vɭ%r2s.uAy7A8JՋc%a.nU0@Ž97Z::SdN!"Vez C2=gANCl^RVp %AsU,4ڶݯ]o.n0-}?ËjL$v) ~s6)M OrJ;2z~|fB„)(f?ʅ#4XJEQܢj9Hc.k E*9QʆD@ t{5g|zQ>b݅G펍r rB׻p][e!Lq>ef}֫0Qb:5ʋW0M۸V yx$ӀG$MEѴKe]A~.Lk?Lam:}QSё ⡍š^yLEH)"{RdŠX%P49ɝIE-ij iI[\Y]ac2W9*~3|M\ʽT(vU,u#?rF э.;꜃*v`x6/xAq}B!Euh9͈KH$$W^:ao\ 6a9Gm$[Y/JnVV(38mTGʚĒ!jhuOU{{6tf^vѫ53V~h7GwjV4(3d3yfW{̗$^$f9sIAOVp&Wgn7Y|Օ; dLe+(|sတ1u;woGӫd|uD2Sop) FCVpڔ=ܓ*u:F²v,nSX*'7lHx}\`ˢocfČ&C ;!BZ@mRߞ, 4p=6L0/V,$y*KxfB n4 #Bg2 g$6#IߘTwTEfN(s*f {0^K֐E>NR[C*}d-LaqUq~׽1V$ (N=2·; `A݊ǪHMewxv;@}.S}vzȉ=?氚J!W;UI ^kAƌKw \6х^b"p^G.FiI~μd8CФW9$<*}YFTRvSQ 1VI)M8lid]-H'Mh* }_٠:JmE0i2į M֒GI !e2eAa$۲dlV6Is8Λ";2UE!:δ 8iLOݨ:"+5wm҅d{dܵT!tw \19z4_ֈh;3)1I?r/WDH*:,p>kRBڃ A|4<$x+b$uTQ๞T/%WE+-g[1]x$?i_u+(Kڞ Mcd4 ,z*w(s;]`լ5,i҅fye` W|yQRB`}n%\˱ɝ)&DƸ2'-|. 0ɸ:fcgs侵(z{pjhdJ>^5T+9qnJ.F￴DfDfyޏ1խ1N\CKX 쓯hic9+D= m!e"߯|!:{N}2cJnOߵq@Tϸތ;j$@*~+ UR[@1j1u5-kC}Uqvxncꥴe_\Ű3'7OK6q,cKl>Pso7>b@![͢ hu(:ȵztPQi[Q>^=&H۵ҙ;^PjxgZc) HMEL*$j܉{d@f-K֠MJ# MYܦ}BT2tsM5qRuU*D$b5kGEs<'yG[I44A\Vi9Ʒ¡DԭGRVK,VmfZňAzpҞy??0"uD4mvM*ˌ^5,@¸œ̗< c/KYwûr2k$}^^f"Vw(X;fsL׷YL`oOgkL(?m32o':pVq?3%nad;*vI ͳr8Ezm9>'s OIn+(8imϤes.蹿ܾ<ܕ|1.-NWyLz껈kKuPEm~$W9έi|`A[Rn4ւZ_ds$8xC)jC !X`rΝεEjt>̿9b;4ـ YG"@6PE9MLDQGv@b"Of9} Y1Zf~|;m,w2R ?$\"M v9|i#p*0 Z;_~oFH.CDèw04-8a ⷽv9IuV5Cņi-V M5~'84\%.U\C*B8/ήS ?DŽAVs>Jso(5͇ܚWA<1&wXrp:%)?1֘G%4RMkd+S Ef\T/>w3j8oeV%ImJ$|}K\#rP]JR9?ux7}''%I7_F11- Zdse(Z (H- B V{rjWK 7^K4KȽTD?^]ʞ6/G$& 1 _#(/Ǩc-.)V-^;N._`aԌ٩N73&s{0gmXbm}{kk*:/k2*>Ol;7Lxm0Ҝ4 83a%F{Ӫ2>F0]PHW+| j"xSKk< ZFI7/u(P&c\ven ,환#s=v؜c9qy {=\8xyte(`t#2ViOd(w4t.3~qOMdP9xQE0|# hv轵LR.,3FjnC em<:FojAY5>6t `;(Xxl輒ij3&pw/2vLq/뙑xt١ q"Ψ<5Ot5!0ūMoib1v/ETfA#9k_=!`DC8{ -X sﲩ",^ VϢrY4߷B$j( #"$3-' 5)}(4^~1#ah'jhN= &vDc9mlCߡNfpE͍}n!^0kB*AMB&g}puic+?Ms24iF >5qicjNXhS TEI2b|hVBg m$ԒN;L#HqT"tQ0}"fcN%%R6 NW1̘bsH a'aR8`W镗ɞ.MJY:4~hy6;u)v֋=GpSa4UQ}#MsN/.S& q#vQem"]QC\BRiI{ h> ]FoL8G “)-;l=#,<ngl\$ N4 y?-?h,˜cPebx#b,u95 hT4mY)ojT3^O2kcD-ƿ i!.)޳J=4|T1*m] x.}Q>дl4ҹ*o;#f7?^gOiM #υǡB%AQ<'(Ӫ8,qqu˟ UB "`vր)mr?tܱ"mak3c q-kj=y.K$ $"̛2FPxFå YÊ)-owvLMĮT#!@BoS'?,g W8-.$|Hn+[UѶ w`S@;-hhHcUAI(X9Ô%9Z돉Jh>d&%>"Zk,O4^eu,1L1Pxm3'>O&Qրym?UKMJ>yԹFN tpY> u|t?/VᴯppjY|;:cgGH멱- NM!йsD@Y)ƮDS6quH 9h -'p=MPYt%(Z (nR|93gfn1$#)#hiP9!˻4"H.WDq6ŶkE۲5B^<{uKIsQ( cqeX+JiA|f|A4jvX H],& G}]pFT䤇(7*G`m6AUpF)H>a/@kq,Bpi|.\Gь%ؤ '"mO%VzRl|$ E66 ( :hhb%?O4)2=;%,#pM /~c}dZ}%Uȶ;%ce}I.8s l36fJy5}FdgK0MJQQNc:#DWݻ-]eH,.*xP[FĄ}ct%K~SZ o=pP-vxm0mfk~69cM$N0射5l+Uٔ$8MOos&7]6~HmABꢖ, }\ף|  aK1OƾH]1D5I =_8)8Ӭ0V$;stXQJl^cnYL>!jW2 :(T_4if+0#24G ,>MbTM, M\eĦiY9>#QE.З9&3z!E^JDǕ3! S Trg?2Q=`t`? pmGK'hytDL ' VlZz٬K_t׿x>`Ԥ+T&x0ە{'n6x%\M1ve˖Z}fBLE(HSв*r|of%le]-iP"_?'-A()Tkgv~b T8dP)sĻخoNWlGOk 3 VR兴&H^ȃܙPAq}\ˀ售1y TA>p+{ⓢv+ CqT/ԙ.d΄I Z%$nV{\+N ~3x v>+eľ>W hmcm۽U*nѥ*Fߧ)2rώ%|\Q/c >V;m4a &F^U_71'(rob7Nz6dge@o/O o2 yffd!C RRKR|h񔿩J)Q|-yBD(q ?3iмaڥ~5L9DFV]QqFDYL / ¨ri8}_t bwz4z@eGJ8;H F+a=?A{QQr8Aq0>/M-lT?6!J!c8nHf&ֹCI/l0jNcNO lc,aF'`hBwUe#v'֌zPPY2h S4CQw_X>jk/o&M^ ᥓ?znʂG*3>S콇jQmKf)S<  ߻|SQٯJ,ۢ QJof[Ō3nw`kthn=::z1ޚ=v R_7']J3g鳯145rnN31Sѿ\;\M/ .I=xX _飥T*"6Nf^nrVK|6 K;7"t#ۅ4ElFk|5H"bz-Ic WmIwսw7L<)_`C={R,>2|#,pSCYY/:Y3nv:t؋2 E!;k^ঝkKL?hGߟ0]͇\SI{|6GtNi }-NAՙ;+ uZ*M{Km~rs.E] QP8@ɠ|M:K9U˖osr=Pt<M\ +DO^B=VK(hK쭢 Gws.l zjFYr4t|׳ۮ14{ =;B 7Yn Xd1z!(1s6g -I62`UHXQuNQ|bw9e8ZAGw3F Ut8_PaKmVo^!6ܮE' YB+L[\xp0c&,ĝaהVBSŵꢏ1x@wCuibu#z1Uը /0FJ|Ѫp廧D+0:BRJ=ƕnU\cA`a?ESbSmbWڗGxEhPCOt?@*ӻmRtxO[W]y-z9g RDŽmQʻ͵Z;HuE Ӯ׿ZH54f35tdosoMgF$hu* 8+Hxx ^霚t%%˂DHAyeٹYg0J`-ž>UG̑)!o-A @Ձ $tqR5-j8+Hi=v\BNtkx+|&\Kg~ @!hz/6Lh^[@8L|76amk&m,Kt n#W}J%sVbrOWڙyE;Q9\Rh[wjhcwvzI '5.pGy7j ہzMQ2IЦ!'ҁᵜ%DQ4SmC:Z`(DꠧuhjxC#{WxnWAMC E"K5gR%EtT.%4C4P(ԟv(-lY[XuS]e=  GhZba\63xW&Ş?`m9M 6tP^$ *?E_!a<4H6Eqc̩fHt|;Zp[* +S&x{*ϯl lny8ȻֿcST,.u'yV5o".xVP"P;VB o4DϞ`t~xdlXNa.,*U՗oȜA|ABF.F몓xJ͔k j$\34RV~CtP70H$>@Sv\6eWc hbeѶ؁ bpgYZ99e587656b19e5a6443205034d413dbb692ca1ba6e17447a00107a84a0d911955493ae00a345bd11 8f7c907bd2182684f053246d01bc6ec83b1af4f8 ba6c7bee358667f940c2d372ce3441f58220cef1