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  u ug9< ] HOL-Datatype_Benchmark:threads=6elapsed=542.502cpu=1994.596gc=778.152factor=3.687zXZִF! 4z]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*mnujzzUYjRV0(fNbcd fQ+"K .E/&Ѥtڻ5R0i(f媺/%lA岠[7FXPs+ \w=/QxJAW-; K8Z-Z/E{>9%fPkp9MGQ~u1 ꂎ 0( fJ&O7>C]]3W=r"7ҀQ֐]1ime Ģ]1QɯI1r*>#hYR%Qm7̷GcjݾU֗`&%iY\+'sTC.C#Y}AJ.i$IԱ_ &Wx[g(Cٳ.[rp!juP:2r bLZ)5ٯ/ޯpci~SDHo6!Q[Pzyuk\VyP4 9 HOL-Datatype_Benchmark  %+Y[lWA;<&5Z1vd]R%$2||B+ m F@% %>_U7IE6߹l;8]}?X%}@6]Ϛ;-Ϧ HkЕA9%%N]Y*[Ҍ?qp"JQ=ܟT`f(S '`3x C}.*LW,tcf[-كNU(ʎG(KӢ01+ Cl=4\( yV+y-41X5w3*}di.m{h"iW'AytР% >'ف+h…ݕI8 \K鏤s4 kqtV3!wG22KZ`Eݍg*w$)qAs9Jx&ս J;{B$A)``<UIiN\lrGzق' oG;xS2 -"H?jX׊.T2 yw-B ji[ѬyѰRF`!\۴̀(>Q CJ%a"'pX,  /p#r2p&JYKFAUp&ڵ,mC@Q-tPiY(f7RN+0xYͤT&rR6}C 3< wRꇧYǁ_K,9=㇠ڄ- >sV&e/ _l4 4{:1qOYa !PN7m < % #6E$z&dH2]Kֽ|^rȼЕF7{'$5q#`aWHRx)!Mz+^%*V o[z!VÒ׉]]Μ1ew ^"˜:aK5^#}D~W(m5/ iɅ}r !fp7-G۽wY]fP%U{Dq|8 SҕT~s+Ԩuyssb=p/Up2VH6Hc5 >dUolJc+TL* kYId'OQt"7%Ҵz z\ʠYoTϷd*OwNz\뫫7`B/ $ q!&g$]Ld_xec-JSȦ$4_:!H 69xcu3$J(bpL#q|g !_)M4G8gAar69&OcʼnH@ 'U$10em MU)0uI E]t(u)wL4O=#C߻nCv1TlC9`%Rv iJ(j{l wn:H>'&x|()oR<o|>@_2?Jo׉}\|oa`K`@uzva9=^:u2 Փ?MT_8VV-AqgNXqiJx(̬>;A\}gv(    ך-?F%h-mc h~ [Ae 1]h/C}@?H-ۂ%67-|<Ɲp3 9\$&͕-<`̲w`4_iFu6^tfDC7z1h&@'W]6 i?P mBkD$qѢeuf.( xG |/Ӽ6Wyd!TX=/o\tۤJVy>@"N L52ܢdߙ KYFo,TPNח!|{W3 )bx&|rxFW^1f_բ]v&N5WME]@8<" `F0!8HzҎ(5d?`* h?eA} Q‰:mv'f~4 <Ԛ@w8FD $[&)4~ v: ߆<(M| ^v\o+Y`"Xoѐ!.i.΋e:4uPouр.8q36U5k|9uBݧSȕ)PnSE Re`9%sũJ.u:98H8MKY06p嚹?gh"lx/8;ۮy({ $I&Ap}pgӸص4s29~)u{*Zij:xW}v3.̲˙ E]tU.#P.Kk^HP2]L.OQMj:4+3;peK1B;.IYJmwLFk.;ǜEb+R^y%.]W~dWzCT6%pUzL"Q$3w{խQ]Dᱹ`u _4{`|2Gc.ߝzw[6 їNIF z|ĈBSX5pn>/35\H5gxO=o-lP M3[b#]fWrݭЕK@m(h†o=M7$Oȼ蛇gA?к*;kue}ջcQ\T; 6uzp yZ#.Q|Sn_~Q'x@{XW`l,^̝T|~.lzgG Ir*sèmyٗtB~?kj B"Mv8:BX===LpX2S|n%=CS#84AعܛV pg乁+_(4CΥ#ʊȌp g7/a|h wƋo#cPx{zi2jTJt*zfv VwI@ꌫ2gk_P T'>8|j%Xr,p,v|CL35NwayM 2#Ons,EË oH g\!GSYOVƳӭ''SyhI 5CWqüH-@Dmv^l W23k,ʄvd/p(` HN,W5YϺ.Qdd(Bnp [.VdqL^UsNԙ2Jc%3.Oq{6yB" Ijk8`HWCTadk~ ,mƌ\F1D$0;~^JIoS'ߝ :*mD85#^? PnxF ]1!_֠Ls'@ 5iٟ=$9HR,t70(6 ?[t׊\> aL`Ni`K-Xm۔Q)2N~%;\{jH pzDIK;Z_Pݾ krѨ2:~m4&A&e6r7pM4t=C'k_F"`|m8 gv.QQ@H^YKltTK $BǮ{Og %SW;܉:,O.,$BQO.oL _d7aH02Ҡ |M}O&ʇ b.Ο7NeX`:3?󻳈I cR}|Oc &+{ܱdvUMiLe !h!C+רݩ+Ҿ^|s:P/HuZ.q?u_mz*+䎒YM:#RtƣHO~0 .ndHam:"S BS%N='En*V!TM}Ŵ2~aNeSS0P;qG9uw2;{U5nձ)qrlGe029@nWA$F+ЍhT!v8Cd D#RG:1 :ZCBL0b^q} 4Z!4Ek{?a"nMyf(?B= {TnPe*eR3~L& 3-K@31Cݬz]{Ok )uàj qRrP,k# %Ci|pBf6E]lځe˰ZW!ʗ%J'S'ͽ͠5⡽́k:۞]JH5;x(:FEWm;;!xËv1*ֽiTЛyg {G3|o (J2ɗ7 xIaJHw.ثMwT؈g`M6&BeLB/I_p 3W-Rndox (-x#xwÈz'\t@쑃9DFMcƀR?2^/K$FG .-{!1Fm6Rf_MB܎?]w_$ؤ<〬^{ldT%]k[3 +Z8dkf%eYFOkk豻Aھq̭tj{9<|xz52UަʤD̅H*-3ZRui+ ~Y=) <r.9iԿgJ#It|8F0pj6HЯ'-L4IzL-_?K o~Gv綸{Ct侂XA%Gy%")wD쮯 bV<(xwŰ7_,XboGOwp0W0YVktkȿdgebz!B' MH/)K48Ř~VC^b@_Ul~LdKaOYU=.ty דXo+|B|H #ݥ,:Qq _cj_L7XE)y)c̭d;yB#fHi8xha_}$RJ0N~Eʄ`q~!Ȥ-/}('vIN[[5.]4Q~F/zq]5R5R'o}f.xoa62S[;\L!bň%2UU' pA1&}ePתiv&..<:|^7,}Ӎʊ=Ԕ]kGS 4{_'}А2`;cx',KGn%P-1fg$3&5N"3L٬AV]ezGG(DO4Dh78MYŌ7ADBBzn|[f >/E}q Y nott~gbnH s<tn1gq`4wJ/{hN5hybr>UV&!\g_$$L^S!' CEV4:%BGCzp/Tn%& Y2rtb0\ .j}*(mm8ۉxk3RMZ5-ݨbṽMiDkƺ,\hMp&H ye搕u O! QOaާ F(6DhRe-*us7=o0s@?)Bf$"JYYJAwd Uݫך^Xਛ!ԀeGJFRp)k3E3 v"X ї;;[ Q<_Դ_1.pAZN}ܯGy*?Tl%pQ[勖k&± u ~g,AI8k 7zHp@ovYSp躽wy'=^GŰPp !B'H@Yev{~G[ֽ^DB~=0)Ns*޿O[=%{ϐ^b2(LIkN| ;)eݴ%S>ȿZ}+K.PR㎟G.uzJOW"pMO$Wwiu&bUTwʅMq?Q]l<\3/#3q: \UDQ'Y\ٝsx@#ltXEa bJ(&.ˆmV!W]GzT8wܜZlVS 5'UƘ/aXzIl_MiN'mk [葰ˈQATlc_/&@׈"BM)FHv+_UR>@^c`S(ne0 .6z~]}l߯4G1 |)N6jn3:K&I(TY]Ț#h!R()СnARbe:z 8}UU@XHX:-s]u\qbi![4_.N#+?NӼ!k/8mrovDpR8Zk7_0--mqW{D[AVT]f6n2R+U4{tSRbunjuCʙ] gy-t*P3JǤށ`'zԔv6e &> Jm:I!>1d:OV}z'ѣέ(PZh_X-($h^ δ{-|g5Qb4JnF/th>rjQ#\u (!OZ+BPc [~a9 򁤬adH3Ul3ح49w듓YLY?RS޽ՈԯXY"% :S,V\gc^8nj=.lʲj0\r 嫛=iPM]_M67< 9IQK-\@ KqCEU;wncw c<2#[_L_K#j>$Rgrh71S5TJGq6&1KXR]sj#~_(˛WH/M_/?y +u&eG /sjFCg=-J>{I/M7/G =:# 5(@pe;,5(I_sw"~NPka<. `1ȩj] {9MF j3@7]zȱJ3Q׾LZ.19h1 eCUzh6=5}1$e~13F.#SZY^~;D [e‚'Yoy2tӤ.w洲&0s z@p O㈒J\zbF6%WherMM݅ 4_yןUh|2ᨄdjHX~8!Uh1g`Ze7J kNϭ9[~K?D@]L/ވdrh^h8J`tI#l{&!XhqK寊2M՟kT!*͓ ?Ѫس_-s8 2I>A8& X'ڄRKba1QECOo (F3AyPt~pLw-*@G:Aɱ(Rj ء$Y׌^Tu)Pޟy/gVn 0F=>#_ GCjyoxe4@L#̪6Gr⍦NpL:_n9cnM{)[#5?4$z"mG&bSWc|1JD%vhhmt #>-ȿ׀tvA5 h{0RM\ED$Yp#.-( t`wXZ_ሉ#%/}14f]a&|GG. =<Q7S#|/;Azw#0Q{:4,&Xoɓ0?ė |M]'kD2@,+%&h;0q4; Ps AјA,A2.EaXvF'uXM~4{ƖXUKgeXyٲpٱ"A T߄ Ax Ϗw[J!<Yz8_弳Sx]H0yRUAԛ4fc8g$V,7DI뜟fE"~4`y񞍉߭9Rr k7Uw@ڈl$rEiOfztk9*t}ˍ߳0z4(ijeuJeR+En[88#LD9d&Ml B!qJ:p WKG ULǃef#ۂY T ꔄ,u*D%itr @͢@ߺ'|47IO:Dzn̎l[UB?kUiHJW /V 拃Uڼ*cb&W Uʆ=Eh~{&Uq#H1Jz<Ƅ+3y aұa2ջepr'$ `x<@Qb\;X'"}H5mQVCS O6e٦3kV,2AR/MMd%i@:3~"IQk\+EG<';阧 cWC<j<"W[+ICpIwcJ1m{\)렼/0V8[*KE0b,ء漌_'v"d 7JjG3h*3'IJ ^dKvj!J^k{|s7*!}mEtrgG@:?~rz\:ePVAC/ h&nv!pQv/]-x#2t 3[q97."ñ?,Ek` Idb{橱ѳ=,yB9ҩNWvy_@I֘Yjh汻:Tgg]=l2h!9>d- B=Ƽ&F(K!ܽoؽ,|\@x4o4q_yvbVUVY :rwCAxZ ŰN83YdSDG߰c?ѓ* |GH8ٜ\Yƺחu1/+5EUJ@Ǡ[.]R~oa*edypQ"JPDE>pג)Fؑ5Obpy}TiDu{ВULDS'<;Z=} Net! 6=O^(<QqMy&Zy jVm~.p$lƂhi7ƅ0m|`1n21A:T _ h/FJk=Hޡ|) ڶS`CCoL(3a\1-QC ߮CO\v`b ˣǩ8)͝pࢺo V6Za "ҭ@<[OmTG \9x{{0Enqvx7l۫\#̸ ^~e5jÛHJ#NJӆ~Fl3ާxR&Vk"&qmijvʥ9+px ^nj}8ieȂ ذM >@3n= ȱ=gL&:dum qE6Vuz/Ú{PE' 2ESVkR%TZ:^q˅r+;[$_E]z|ԲD{;:b;p63Ų%C*ȱ!v&8q%C^cEs_> <:eP3CnYIf9إA $PVAE)Wwq>9*~ 3_ynmQI`x{j+Sh18e,;"tJ~3{No?3D=(R]ZnyO ,x:w;p@{=o=y!xmC8s]8N&ϵٗ>Q]zʲg2brڔN=z:CNA=iC >p޴Vsa``~+ ?&;b2^61 zWzz wbOL,j2gh n;^yo}D항;T]5UϾxQ} ԣy;cb/m|Z4 105n+Oqr+-ڛ>K/A։gXclxUpluGEW\*Gq\L\f)zaL[$MbNo%}zs&'̒j{=86Ew)Z?VYNy(ILm<ƀub x/)Q ]JSGv$'Lh\sߣ~`hUYf= ^$KEpF ҁ{E= )raY$2*s9X"e}~"ԤJ7}i*GP1n`"A{Ud>B"GV>1~nj?11; Q_";- oK >ْ7A71͓jVU TL]Q3kja?! ~mheZ&ŖJNŁ [Zl3M<ވs YZfnr%l5~ڏ1k:Ao.)_/Fi ReZi̹;X?i[$" RMWVanկ'άY[v))SuWj .xy Dي}͠h fv (*cG2v'dد 5y)'/?ϩ4&8w2dZKbgMbb)Ԅ' Ὧ TN@JV )Cj' oh00y2Y5A]vR)|d2$z_V" v᜻@oʻhjK4=j o5i2pіqG*q56 0K(ɡEjJ;թ%W, D8P0 {≊I|?AǪ|.~u iTN'Nl0bldw*Veﰳ^ eS17Eۯ,^u^e0] 9O`=)wlA1W̢\yҹ)9W. llBT-cf܊]Əb*S˧֘ZO> J+kSΪ4 9x[Y'GôJ; :%5'M>$;W}cPmEOit1c c^[aAn\Oݒz8`CDSՐiQJufR!*ΗWbݨ յ@v5Xϵc*|'p\K V h0APy4?ZGck OĦ 4blY9r$\& =sR0ze`;5 ʋ⢿J#栆mY_ SLU9l"Ϩy yִ$9|JUP`OZX'yJ9HʨQ[ l*oFJ?:4od[,SJB1LY-owhӨj휏]/I:5Y_AH͆isGqט8/,:!]\D@3 UebjJdx N,1&kFol^ y~6t2Zqa+b>3@ď<,:+=THF?:گE٫AV!ϩO9pkݝ]%)vWGXAڽNq#0{#gɰ{:H'3lo誆TH-{/7IĒ"uq҈O,5a5<^3~y}*8Vx&TDB%J\ʴ- KV׾2: _8*qo4_n_nړ1$͟iPW& X+Yx!/he 7\3 iyYbۦ=F~ЧDqXo6}h7Qe'qp42sX<OF!F,]2XGﯗG֐iflDy>DOY&XDD*DՐ-,lSIg<8pC)Jp5]-VS +b H)}oD,Jl4)`)H^s.#ѲVyT(BꔭGiP9!-m>aMӏ?/68/W~6nâC'ĝۉ"*jC*xh,փm۲B.e6r@ΡFp^2R1]7u;B!Mk+7.#f3$%LgPMrfZ]~(NX'{Oni5P1gQ?J|e~tDf{:G0FKOX_1؈ hx#ӋO,vo"ȳ/ e°6ג;nvR?i fހT>Kh %_w *t JZ!|BuA=K"iio0g%6ҍ#άd_e&SGڕ_P{*qW&ZsexS.W&к/gNeZ ;GsF(K[qԃC!͗(a=8Bf`XyRz?Х3E<œ#=kVo|W+6sڶI 8pJ!Tkb@!M!@.xp?}wy!@ {s25 PqK-qFCɌ~{CԆ]SMt̛xwe8#BA sԗ'^zst&yaJBo?DI81eEQ*=i;eXj1H⊬MB5#XmLFI=0z]\2 $+0Gj̹]ҎV:-j\S dz{A_4>Y A@YKNz(,C|ҽ[guBmhwK޸UN^2t"\uĤ8"lGv~A}Ƭuu^7pr'i mjC1lCElkDK5E"`N1 ]`k?A)ɠKΣc ^SrZQS"3݋PI&7ie $ٵO)8teO]g䲔}N5#AQ K0w\WC{ij|}k;v.ɮS*|8 Z)Q+5zgrCHxtef_˹,9!5asyI}EȆxPC_ib5y}">;蛎L)Lo>TW] NCdDx{NDrޟ$v$y3|ΰ6CJQZb ;BشG$mc"ehЛob5Ά+=u`./d]؁6 g/2&߄ГBua~yTg3Ɗ3 P>0ҬqboZ_H-Ex:g^iI у=|bF26i/݅HmH FkㅔڝLTMC(ã|W#^H;wۃ[<݌MLhy|-un,OnY Z"[w ̡wxtB~RrG39F#Eұ"%;=No:qSx"%ev/_SS Y.Fރ{:?O;9&أJuL@p3ø3da|Ĕm"YeLjE(bՍwY[~B)$艉.i/^`ցInh5p{L-fT%bpA,(l \LTiTnAa::Ƽcw [Yԏ&>?p}i+x@qa!A b;ic0H2[JO?&@C4-V~\cX8fpȦ{b*YkΌ={S˷, ߫Sbc+JVH&+$ȐhgOk9@ى^[M'-E& Έ 躷AX]p[8w7@xwLʤ5"hϩ=kF(.B?+(ݑRrRQ )Q~d%E, ꑅ~)ND ; "yeFIw>}f6[ QolQt518{J3-y|"gͅVx>BY}1TAd@W:Jh'.vY_fC;ɸ:rv,dJ,ۖu Ϊ%z˂ܱ^﹒KhvP҅YUYNpIcLkBnRDRH.{g!㳂 psyJTB>eT.mĬEַJI\uqIP+& ߻\WW fhjjR[ BOC$61k 'GmˬC iZkJ6ص$Q>LCw:^yq殱)EH4Jq 0o xͦ}ɀ=c("Wy,D'ߣ1 _1Šg Bz@陚RBI3Z[H.LYj={t ;CTҹh1K5Ci?[R[KHnH&\RtC@iukG"U;՗_HEˍdyWR!Wey O7OliDmpzsp*Bbٿa3щUl ΙI/Qq&)@T]B1T"a e4xgn7}L)YI$wxNҿjM )$!0R/:6ἕ. Zl] q!">xcY7md0&o?Bz:(V }N-e̿ط,}б%Z0@ f{0}2jP=7u_E;œŦ Rҫ>Tz;9~BչYz_B$ :6/)52)#YgRc2 V@јK,CBmTvK؛ό9+g˜A/?آ*=1t }TEepyN׾V \ @`vt(c mvE\Y$7=VMŎ[Δx{ا=g*!1 NB$󈬵+9Xo*rŦ)sʝRFJ*C0!m#_49ũ-&E$>{`E]M6(X:Ը2¨U[؜`9 { QGf t1P`3b0v^ȔԳȋ/=_?BxM:PpZ %OlK.uݻg`Qob FhيԔ{g]~m1 {kYm’k)9ܾh?~"0|~PV!6av)!"6, FӫSxny+5w.R|X$*lar.\g%԰ -YncixbbrDk$Sгy7L%bM 0 h. r'T41ӾqM˯8f` $|ywpe( fVY7aI{0w}pZ<4:܇1):Q+ӦNdYO1;s#UVь`h-oS 糟 ZUwD'·P.oGq"y3Ì! ]Nj0FQ7tì#JmwiŠ58fyPͯ2,E1Iim}UI iňYA8"Lk:k,ĺjԵ=YoUu2 H-5v?+:=KwQN+~a p)}_#zlݟ2CU#,`(s +2_4~xM 7D0./99G ފV(-"OnT=6On8)dLp`{W'H$v[;B" j`]Vuym?wrjdǵӣ&݊X"x"18 9^f F굍Pҭ~{ -4WC3>?.sdq3e ;14"Ť҈ՇL'dl]IM2 Rep_E'`MƭTؐɓwen 5p-A>ԏS5Lm0EZR"e}TrC,\ MH^87ܯƕDJ{PjՃ)+"c\1y'("mFBl iG_Jzwٸ*}{)Z 5)X}|v` N-k, [aN\ؚ_}{ƇK{.YS6Qmgc@evg:'KHx4P4Bl C24 |Y=Z2F$*RCHr7wtC{>K*V)^ΔΆv_bmn*-C5n^aD2hR79 |{ iCKl\uG>%_aWUTs)|{}iLB鴾?bNl9Q׺ӜKu/A{ QR/^"]ɿt9ڶ Sf,?P!{K䝁}v `4?i0[2"~jFH P]7y)|X 25PqY)Pct6KA Mҙ1̈́s,r'B \x&|!z3OKyN%wZ-,g[nݦ+>(?vh[ }ͩb:' KljmGg>}촗$+ Ѡ+u!v&QPÌh >}{KBYehҔYHt 9c9D6ṿ+"8[ äCrAP?vU*w UNo%/zRh| /E6x_jy&f!,*.F6$WH gY-73TCRgc5Oob>afcq-D ;gy3CM#fŠ9͟}U+IOl%|7c{ :#Yɳ|3 0w./fүNJFhW'ƱΗftmÊmOxv>חx4'D?I cL\zÔZO߽ڞa)w!}n-f>KSizطTRЪNzXp_|93kʭ]CNK#)}5$՛pOfĹu ȢSR!ڏZ(h=Hf$8i;a:ŵC /τT?YB'r+ĵ` +t#SC"6xr[lOs3+t gtQ=T;#<).R2Gpɇt'ַi9pB" zxz?3W륫2tjQބzPX~z"‘;diŊA"M_u uSTն:ʃ4w^mJ?iL:uC4;?OR|bHTȕ4U5wPtܕ <Sj(,K #SPI{ɵd*ZG63Dt |*OE3 WߝP7{t 6gy;n+>=&~W>wPRΛݞiK(}q%;#|5&ONgA̋<\?`x%6H#spJm~$sȘaB5C:fV%wnFoo*͏Ύ!-fߏ~NN7 Kb8E.7~UzlKȃ昐!{ :&rg>QazE)u~)#|S=f3\V_3<鈰1IȞc.ʳ `%gMځyo!7{>3U ٵ|a&X ٝ.rQźljv\193 \y1;x!bUCpnGD]m9ay̐]͕%4cwa8D_eDlƳ:@JE&2?CZy{\?P vB^ *7W6gyoBG|*R1JYn\8D+Yxti?(K&.r -Q{~44!GThOBė)s{"vٻ^D*HRي qOsx8l2RB*7Z|4#زh& & nBlۇ#IMMqa2dZ%O%̾F\lg Cpf 'peՐ)n&Cx0P\ⓩ=ƀ5۔][agU>~bس:`xTC-1%@ua܁bᐝ{ߪ5QMl ׌AYW Mi.!Id}MԿ}ښjnKbi_0{6) m#N/NRjZY\9wTaQKN8few˃Ity\$.,QH̛a!ba.F 6~cVŔ9q t˗Oa!!` S =R5MRQC9QenTv ,\TK[^30RvAHy%5hVn+|5@*&pOR <_ڑg @F y8$о?XC| 3[[IVɝ-51&k. Rɋg?1ξ@':z)E Yn!1'o4!%ιЪ[`&]gĜ.*7FqB 1v;YHW&< Ͷ;RF @a\`at!l^WV͔w\w\\o !srR-S*nPy#wK|"h&368a%p^I٨ψ v"/G}Ƚ(ф 7ni@ {VҶwԷ7cL5YH(a)y(c\,w&8J0'vI0)W3hwI Czʦ䓣~Ԉvɢ9lEVQz$D mxk;?zs(Ƅ=L*u׈!Z$X2\*GP%l\]puZwiD [ Rg5<ěEu"qH'/A,%}nq2An5_|!ug È4ן\g(QTD̫ R`;XˆG dVqIt]Oy/Ol&eF[qqv162nLxi>Yq\b/n!,`6u[Sm2p^WWX4i՗ 5gYZ057ca01929a10f56f1a9782c5b1a39313a96218dc5db3dab9e6bfb790b454ae78a070e672f73382d 0419e68326a7717df44289dfaee028b00cf0bb57 ddfd458c78a066c1a3580336b37bb2f3c117e3dd