SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 iiw9,4 ] HOL-Datatype_Benchmark:threads=6elapsed=540.028cpu=1924.712gc=566.352factor=3.567zXZִF! 5]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*m*&EjpS)h ˛paV ;)njfߩD[B;z$5+=UMƋc5+);ƈn63ZJM~ K6""tza): a@$+$u"^([3.\փsuΡPd#;ۇ"ǀ+ m-]ABtu0&L?޼#k~sb@F]cVQkL9!0@ 3[M:3MԋqA`R?MU94Bt@gEa;tU e֤:[w{=^})c≦@4GTk~ P]zm1srB(kHJJ~V 6M_,rp:0Nb;o`,ɂd&p^>-j_~#3d,0 D+xn\;󣷫8u)b^zJqA`֥T+qH{>T`咜unfsMpI qkR閸|귣zȊ/QwÐy֗>puzNh.b"rͫl%V&1Q!H LJm/+I8`\g"2YO$.Tv8k؇f*̉qN(}CFbw~$=v\o]KB! ڏٔUYɋInfct8&T@%/va΂WƢ@.,TGߏ-SHٱH7ۢVt.騰jh,KSjPf3TztyvclƅDȉW( 5nJ w:<#ak tH!@80#&P_$-ݴ\Y |g4Y^Sۑ!TQeuצ]42upV:=-+I:E, dR ~]hqXhB4.z:INVT;YB6F/^s٣؆1peܴ kڋrgYZ7zXZִF!  ]ŗXiɟ1)*u%9pы.:VO qX2E:S2jsO6N<\2XXHr0%gb~ͽw)S L:Q\U 0΁-q:-QޯDIX"aG߻-IV tk\eHEJ"˺G^`9߄|2\YL&ѝ Nrr/ [ cPn 9 HOL-Datatype_Benchmark N R _N9G% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.tex7zXZִF! "]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEya ƥˣP/0ɱE$W$m{4նՐ\yB8<^M{?RM 9ql` VOpRTG>+',*q0}leFn:MbP?RңWNB,l\T]3Ϩ̫"uGukt R5Cn@m@-@$!NX/JzI'u{(,N 2IX8]Hָa}pt3x!9SOQ~,>%HB"Fyư[!X8 M<,qhLCOA$Nj9N'?^VBc@K?“H?$Gw>8iygλ5{q/F͞8ʪ8իtdƥ/~8/%~mRQ _R1^}};X `x?G eNOÉY =CzŘ~|3YX;pGd30Ĥ%n:6u-ضbSy!,z@*=+z/'Uj@z˕!A( rl(e7Kt-ewsD_ 9+b4LX>%jN 1`.F[~@=376ZP J(_jŪ-a㌚hNu(~N~OJQ[8u񪓣##tg0QXwx1{\P#ߺn* <{]l[[KY7u㑨% qwuYiN hRqˣ4L S962kƢ]RG Vp3*|gr֛D0ŔaIv[<`-ݥďL+aX%/vOx{TyP"nox9'mn}3zlHMG*V›Sd8|89GiR`$(52pj^؝m+V>h҆Z6sgڔA9@r(I:gcN6 NdǓ5ERJȿl;]W~Ar LjJ| I*QypB ڦ4( 7H[ oc&/4Ms `;;SNZ,a3O?A4 6&֬q :Z0jh?zB^~>9pox!,F65k2 5*l|\ɘӟ B;wzهYcYotc)dMS.px6G wB/r\Sөp'BH[D;+$Y6+ꖄND+9I% THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.tex7zXZִF! 9$]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7J@7H%Sm/CAġ9STQeu1E3^֖=(tMbr7$J`B[znz>ȈqWOꖐ?=Y+OUDGAe@zM\"zbjdٮFҢ]13Nmd[}*}{G'M6Auy.'oNdhoEǂK0v!22 h C[?W*n ;ݰ\~9Zѫb4h~9b`{Eqa f\3" 5(k=x>YgYZ ,,rE9G%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument.texG9K%HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument.texE9I% HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument.texIB_:T'nV-( tHecF"N?GbvlLuаXLQSwF8o *' sN.:vk"8簟k$ڝ3p!tkR=WN f@wk\+kk=S!G`4e%F^cκp.;+GT)l+nL ɗL굩@vN٫w' LD˪ɵŕxɨz$OnR:|8A8?Ѣ`9&Dy vpوpUeѦh*7ZWAd8TM5F4d1t%A-yQ3 8q?!ڞ5\3m a2|w,؜] +s!d )A:^Ax" Z>br6> ]'nw)Gۥ:22"y5 MR/>5Ȭ ~Ii?v/62}UQŭ0إ4aM7H?8C!0w#'AkᖱGy m ?"Df(}Ui]e#6y¶Px {'jUen}J7Z^BTx*`q=ZF\Jkk J4R7`NsjWAR+;q#A/vgc.KU@Ӕ}UoE2c9Y.珝֋m:bt+4gBH+9R(rܹgTG->⻁47N$7_Xc _`2쁗{Ed3 I;8AA_o2⏟p}#Yxrk "[Q ڳ"jЦUs'R (\=dDp(ha}1RI4ptՐD)ISlfAtǬam\Ɍ 6Kź 8Лs+ #-mMgPJʍ( XQO>ouz-Kܵ,`Bv/W,(\ƚXFrqP~u/R.nBrYN0ڋ$1-@7$nV\ER.7Ŧt{6VnQݩ/@0WNsC܉ SG|ITL㋀!^5)ne5y\S˔t<Q8EPٻOMMգ7RH`@W@lȩwWm &#.ĩDXڀ 6է֫Ҷ=5 xG(ԕNm c]0l)C/zB!DJ~G%$/k$"|n$Mn\uYE}g[زd_)TE BVa5RMzʦ\װ''!sͫv0 qȎ*_0շ,vK"*\1S]^qdU#jvD3X#aH]JͪYݡH:\8;kvo}"K3k &LTcV^IEwف _c.G9IU^vs_sWYC6uLz>j5qF%d V9 @P]ec"BG vaݨ,EUu}c—ANf+DYo#%k 7{{>IQ4AX_$/F49 *Z3]ox ##bu"]D-8S@}[:y4_ 6AʴlMNSFc=;SxgB_+MjJ$~*ԅWC %XuerB_6H U<"*%cه k 3'Nk~#m> ` '\ҔID>h}yp{FcyPƐ[aEK(A!ܷ\8i %hwJ'uOy)A- =p˽bS!kdNTHDĴh,ydڨH 2$Q9%ܡyT7-ɺw3E!5'hXeR>,`-&Xt!@}lNՍq]78X`P?6 9vjo1Ѧ'X; rˎ8 xjK߀9!љuf enzȯDP1q 6enPHw[_~Ǐ8ϰA7sid# 4 ˇShΪuJQ-w ƾPð2zpP=V+V)g%9xkKs%PC6|E #ӱ "=MF<~^ 0W]#wNɎJoX4U%T%6©~G cSti~j(w8,535g9vXu tax7N_vZCR{}]]o&~,.#>x.bupӀ?$Vܑʅ<@B$q8ڨ%kTu!lPC!G>'TLߎ1DʻpK6Ab_aO,9jឥ}OV;E7ERn>p&rC hGGX^uJ [mtrWOKmR&AayҖS S8 xUoHû@.i:ciJ i`CGt=[bZn /_-:Us{fL7g?%?+E19b0Y}.;h`mo$ B O"Gh~: jw%==ҲI,ZiWMz-vA"MoouyN0Y^Ua]vdM5PHμ Ĉp l:@wHeAritpA#Ñ1d XR "+o.Y˧}2T$U@%yvP*tMNGD!~5A/ͅ`A@Zk]M#z3j-SAPd%kU'BwB#eϪy{Uoޠ*zJYb š[2>d/xtIwߛݹR"peF}m82G~ _Gk11(7##1\ʮwVE+4}ܹÛߵp?iTίIJ`n.:~E{Ҍ@((Qπˣ=]#|E k:CP1@iLhzɲw*+2—Xƴ:Pj @8X۲6%|~x>Tq6K[b!O|étjʊ~ĕc ؓ#dpŴ2H%-s'|}8F^% ?L_%ͻnѥqJ#^VUTڨ7A#_Tu\8k۱4ƭ\y U$Z`?i:  dXR\Mᮏ#컠Q8euǀŴ׍w#` ]BnSMW%yT%/f gjXXIdj/v^uLqO{ȔU1i/ H/E s42Ibe7ip9GWlk*psUٞO#M7L_ҕ=MhK |2u%juY 17K-сnԋ= {X2~h]5+x=uxc6}LC}@ "K,<ظR">lsX#4vQtn+4}?oa 7{)ԣIr>Cbh8xB_pZؒFږjop;z|g=|`R*p)Ry(քAdC̺64PU|Kp-Nq5^}.m1T<EE;_Ue)nsH\E]˜"͘3b1?b s}໵EqfeQNg6[y`%(:ohDvYk#ϙi&6*:CnHMڋ!Ӻ>3&p7@|Fzސ+=u.$'1˂SD1j/\&7>XQւ4l^Pӈ#C4U%jaL wdEp IVab6n6T GV7@S6wb-;@ &سZ }2 BPʏ=)&ˍa5_c5r*n@K(ETԧB́Cr8`嘮Vs|:x`CŚ gl?"GtMƐdȃ"$9H$i߱;1ʭm<܄1$V+9=sh^ MVndx>g%fM̙ڲnQy GamLw>3Y2 >#l,2mpB9۞Q3C̓ZM˙f}4Ο6Ki:BwdΈIEz$ 32 x s}&5@/pr7j"¡vUjf)"&Gowd⊆gW?CB!Ȇ5DmcA"#}֤OnZ8C"eP-yrXm8Hϸ?%sU7@564O N gW\hkB3dgi` omPlr-:=" o0DbGKUڹqŚ'g"wcF=7ɯ R~GޟpwEk99TҤ"\J(BbU-9tKuwRYxAp#rHBCwQKEs[&C'GW>0}==jP*a~Xѱeca8y* q`YZWl5nX& 煵Uq2Ej"RӨLXOU\G]!>4LǔAVnPtɱ,~'Mlo̭1I;c֧QMd~(EpPC@3:ؚ|ݔN S] [bY 7\We[V N;!V1A?BA ^ܜ8hƫp^yqQ$ ֗3m;/^p}#˽f_D#áP!^DmC**Dˮ j][Iyߴ7JGd=PEjوG((n aϣ}ߨ:Bfi""Ԅ^)e|[˥sf@/T0sIlh!K̠H^?aL[[<#/Tcb%9zVX ~0np/"HE%_ؐ* f jyQT^*A$N4BUI:~ͱQ R㧅/H&V}.e8B=mN^'f NunUglag\y`XKsrbVFbzS & ) 'cSD>Yy}'?%с!`X &ƀB=q۽{@vt:N,~#H ²?VdkUqt,KxT;^͂پ@\;w|Ӻ ᙇmVyH%&'iPS\(av [8c " a-vN>BV6e} y~gؿ%Ag'78! [Rd.PϪᕕ{z. ~+1H&aJVXhVwd}WXz͆h6/MKb\7F-eSKTO21 q)BAvE <|kQ Ss;}œ v= Qdz*y}2\{_Y50jw7!bgM\s]WQew(sVt!cv9qK‡FL#$%K|}04hXT7@Z+h40B"u,oAĂ6=8"G؋< Z9~k5Qu=oGE90uV&1Ic!A ~0:wbP0d~p2ԶҘCYPEo-ۉ\zl$%/n9nu# #C: ?`R*:9#ao5JcUrM0E]Bf~ %w1T`*ϗ3JȒDYR 1j]~2e'=+?&| {iaߧ' piDC #mxs}; ~]jc F#WPT%TI#Y-q&>V%gޒ 1:jNVnTU@a[<|N:,+=sv/2=~g ~؉ 9bϾޘքʣ5-w5b N=WF$2pc }x:̀X٤f5.-${ RS:%\=y L)Zo(#Uv(, Mpx5~A.Zo`8o-I}Tb:jqމȕ u3κH:mms%9xؼ \/e nkR*o AF2܍_J䓗=*3`s^~x.!+_灺9C.ngkMyN':+ײ)kȌlc7KuxbZ"VPAn`Ul$],T`,(2NhEW@o \p@~ug'CɁ2.֧bxSU?PV=PxWZ2kp⢋5jȟcX0N3^k5YЪO;UQ%Y[ Ux X,o+Jn}O?r]B^)gl ס/l/&Atkdg}(K}an6h0D ?𥛙 ֲ+h#]f`f~˽5Qqa}jx1פ2t鱺+@]\a[Ԁ8v&Y3ܟq|@j0:c:[(UGa;::O9ĺoiใPROo r;]"y )_TFx_w\KXXTĘ>B5ӿ~ U{N$!Di;;GŦ35XPY 6|%-j{!UnTJZTQy| VeKP +d{Jc/%#)nIᅲ7O`M:c}L"L5$cL >N][Bv}:(V IEyzU,B 1©wLW$uB="%rs?s\aW*֯2Pd>16ly{#B3uΐ)/yv`rwsvՃFbfX?a[d.ڬ[t]>(uɼ ".^aRRv^G.us56+݁Ij^SJ*V'%)d'03ص16¯W%pl~1}jUo¿eAii|ۣmF4WM*K['kcF:a ^19!,QBKrqL ^4`Ի\tZjka4VT JEia3ߧUC\$6T`T2et}{Y·.~PI Xĵh_<82ִ"LD'mg,o%n83FYW|y sq5eD)3 ĸWkd!U?p?0t[W(LwZ -?x7ț[GV:vͷ#~(C2~ה[~H*"}$y9mZ|Xn>W#EĆ|^GBKZf)1$@*NcJWxv?+w?jnf3AY>+W 25IP_K^K kW* xhڈ85Cfm?{PD%:k-%:Bw^A4<`(7lj'<"}+3j G6V`efIS!{}Š@ ,x y_JB'[YYQkp =n5_v.>5m Y`|* NT'I:n$3" 1' h(/I؇Ӱ6ZߖVa}OlQ򸹮Tkɓ"x);հv(M6NHh|qتﰪIF~:|U詐]} Rm/6օ~R^2'.HS +ّ/ i$Z]F$3EeUSbN4OE%a#!d6`|*w+ALW_j rdmi߉30 `w| y<^+tMX]}Y &8З&E*@yjF6!#`N1H 2!-lRxgzӤRs>nLGnM =_yEx,I7|j|u7ij{ 쑹}M+6My0i0;~T_L`ݱ^>D.sO!TD݁4w- >Ź${2ҺSaH56*w tϦ{Ud RjklxkdwnT"Ed4.pxs9&{&߉FdbezuJ#@hNbƚS\Kgh5| _/XX ]w7;CF`P@s%ݢ;r}!C3ا *}jcA*ݸV59U7d2ծ/۴5jMNr=T=y{RDh0c,,AbT$.N"/8\/lvX JжBz}sK?wNe4k&]ъ(`;9&]g3C$~R/9jbfRh[¬ǹ%~@LW0IS&Kci!N_Bv( slJz+@K&)g8,Y-oѴcb 5+UkRkbҙw^N;ޓ~9<9+v& :&S!rutQ%B!zכ"%)Pz1&7PLR%-0ev5HsXH"*"TN\7Kdp,6vר*##AE]pTۗv[iU]_r3PLt39[9VfM'bul41ɨ IE?Q%-}/!{lHa/wҘE1<@] WSgcMX(ᤈ0ԐNOHHv}h{Nد( 󏶿F:2ThT@VIz(}Z0ѱrA5s2e*,H/mMosM?ħ)O2"K̈́҈:-!kxP Yp?іmqVSڌv_/hmPI9^TSc_C0M ftWR)1G90(*+_b2M sQ \X iy_ǝ#U|2#̻ݒQ9]>~ Sv$u (>,8 xx n!~<!)/N=IíI?$>g_&m$5&I᯴6\p;u@MC&wwPY+;;IcGRuP'0 1 } '<d/f?wQJhqDX]1J~j9L:$zyJ-roI S(B̥;Pvj d#DX #ENHLlUryn1a?XHX5]Lj412Fmj*c}M lJooر}m3 :ϴ¶ZӁeM` (vV 1ATGn-޹ Jy 3&% }q@{މZ2ȂJ]0 F郰" ʱJ~(V^(W!1 x,`:D3b5rL-\`7R&\n~x5*:5B] 0)M9]͇bnB<ٳPB#f SnExHI:_6$Y!ƪxo:K7s˳ijE\+s o!^J).~PC02]}2n2tm Ԙ10ӹ_t(%{M%8>F 4+@9|ţEk" cP`HΝZ[B j\E͠{$]!BZ2:iOԉ!W,L\e, as@tpnghO:#Y`%cu'S@:JPk]=>rAI^f L?v@zIt0Z;ziAl,!>>{K ց_l^Vl뱵ܶYY)M3Rᥬܲ K_%@pb&P)]^ DPDEC-j) )2}IբWjCnξw"+b&fZBݡ|:U/8Y/?=[m rh{eFjO/~mliV 66(eӎ*])N~˽Zf2ۭd\4v+e8mwX:1 Xjd0)iEj8 DZo啕x Ô<8!>'$3=cH/.j8F~\d_;rEsH H0@6K ROeG{WeB4mNDՖifJ"0pT7 \t3w@XM/(%>׿LN;22rly/odͪ  J}Zc-C-o-Wx%*iAz\yދ]ǽQ噶jcPsiC!*y!sx!O\]D7[&h2~IDH2X.@CX@%ԋvNޙmʇYHIF~&T􍜓rkS(}>)2b UQ~P_b;@'x;MkQaYmTMRU!gDc/ex +?Jsvy3?{N1nr?G"PArxr/6ͯC[ے`;ؾ:@nԐn&FI&SO7?/pfj}ctA@9Fڋ[NL{E2T0XKB?Hwƾ,<{1S}l9(5F|"-jc ^e3dtrN 16\{Ĝ%. -|"Ftl07ޛgA-5unl2FٳŊ/B&٨yú^蘍l>}H_TwtP'n$C.,jQLI)KСy# `C uqR5$`fݾOϿyd] }Z,Y1|N2m$9 !zBԌjps4G*=Z3l6XU"=D46Slwo{PWF>yDxC>`՜2,P"4Yfx :m4fLjz)a5e ^c!;;٪O}y!@C)<<ʓ|4KO%nŠaSgUMIfh/gDQBTt>>Tk}Ʋuз j[6_*P4z*2(|ґb{bx?B ax{K&ZŒigC)HqgK \ ՎC/eGHy Y/zY/W4Ytt=tXgW@.ۍ:5O!yevhʀ2iY=JHit"&u]@CC1|c^lAPg[~keWe:sRWPW:pyu@3U]g;ȓl-vUCϊwKE h=r$HyՌiP`8dȯN<2 @H|&:T0Q===y(}HvƓkH}pyL#`ųlϲ_t4]y+ea^H?e.eAƇL\dTCMz}Ǩ[TV`2Vk%;8f Gף+eT+T,3~!SWA6ȮMYoe6g%Zi08Sлi!#`cۤw\Ov"X~PsߨCƺ+:q1ۂx uM(-:×hf{ϔD ˨[֋BIUγI;?6WG˳܆M YА=0܂)s e'Lg˹2$/g,nB' 1iGeÂtdm[g*m䪃IG QFq<`jHc@t'=Gfz}So2kܝUUG_hF Z sMtCsQ;ѷP`Q'pW鲞Kb5I).^T" sS4{r'~e3$+9|!DdNTA] 1a]sAҷ#$dw`o5<;-CdTC"i.;ޤL3Jв%>RFk# HW(vp\-:}og ="~[.m+M Ak.˝S j-~ [ \5.4'?nXy s(txfH9 :GShn`2ݢm|]݅!{4؃̼9Yִp]UOfA?78ss^{Y ޕ\hjH|'PPr+Be/HO/ܠ?Loca dC?h縻zV.L l/qC&l\U,7[&iwu9^K8S>x8L[xi6;g-DPKdqX=aXBqF0]/5߲ڈX:X u%_f@uysg#4nX%/y͸;9$ >[3,svb,ϙnPN|Gi!4i:_JD.czeYn>F/ܹ`@koʁM)\:LڀuπWde ML f)Ѧ*|k$\/}}A fiixIoIRDB{] x31*F`B2t=Z@+_J=X A@`?LXJ 7tU慴r̙n@ZPI( | e&<\#Xܮzr8Nz]g֘Ct{]vX } ˕* lja00`@.,%([Q);րMf|k.x C>&BÉHBoc `| # GkPsedt]$SPvENS=$/H!YY`rgta\] k@/3[-zQq(my:&cRw'7'On' 7ݚ/%nZGL'VUT떭 9⋻e_6{/Nq6޲>Įa1 )ǀ#(Ȳ&3lAÄ}#߸f{Tc*-Ńz-g%.[@"kϾpаN% iTiE>d6>+3WU:屓 g08"ȄzP2lmE) AE\lQKld!!QNBDV},-a$9GRCvCQ;7T` v5Dnb2F9(w:-`}$5N&@>F1Şlׄkf#mWv/Yuc8WMb<)w 3Pj$g7k2 m%9K\0)o&Wy/,gx uӄ8w432`$;GnFr?iMѭ(􍥸OmӠuOeGQ妌?Etļ@%T<,Ut-j~UަW/; : -SzS?t-כ&g[d"E`lOR}0Q..ZniqD|-2{76⪴Eh1\|-G|g? ~,2륝p^ $LR,8{bOu[֨Rq8-"Dg )'Vv`кIGx=?-DH#1-N!jq"T 5>u*h\/v@G%JN~@oa}2̘~aG_5廘 x[%>vKٸіrFTKI}hD/Ŵ[sDU֐(Xpd+^n .q!'򕞭\Yit́nZ;Cp7oN|XsT]<2+۪+{/pZo!\L:A/=G:)QO_E퉨jY|Njzݍ;lU<N,b987jd(jz D앹9X΁o]p?PJ~в³udP׿u_zJfLj)>D ('vj^CAnjկlvm,_DIyVo'"doGra4ZZ*|.zc ;֭\4e>Zxz)]i~qxZ>I;oMξDXD "kzőW o^Ǒl{A9_nY $5&,(.dޥxtC a[ Ft )\DJi7 ha&Wk qzzݘ!Eduz5sc 8G%j޶HH\u={ⵗ!MQG+=HHn- b 0z%Oj"+QR҄PU%+bZ. B+_>+O^0 jJ;8n0^DvO6L1$L& 4D~(z1/'8Pcf&hW46 Ln XAhK-8o)oI0L6՝`^CQ;+VGu?x%V텑@_Sr+yUVh;Ӻ-'QGs{r!Gmu#F {k0C_<o;<K4Z$7:n =V0,"tu̟ʾ0s,i_=^]$Î+An3BJMCWx=a]*I BbnL8ʭG//Z*ǹ*h}ۈJoAz\Ʉ_X:F#vDzyn$aZ^& DM[m" F^/;$KLNsLP ߼ttOցu^ 6k]-rjwԚ|zaؼOgQX9ȵjQw(ْ2/( Qڳb>bgȠ<)+"I>Ʒ"Rl'|Ȋ v犅*-,_{\i]ڦ[sjyFGw]OTR_(42)Iz$^1O@CRIoEɿ (ߎqؠ8]瞇gb4F vL d'_5(L2lPaS􉒬,' #ź#!;f&-46 IsʰfS'ɲׅce:t-h2ĥCi z!l|s|";KS-X""刃bf#"%6uR@,'@z0 "=T 돞MW[O.ؑyӢ_+cofI/qX'kGr07/ u]/kdgR).\p! @^5Jou A'SȰ p`=;]͂^+vd>2wAoC]FS+ҎC#ލ0*[ i{\]^2Gtav^er]9bhORA?CV2ao֛CvXU,`7@bLbfݢk_PIqby|k޿QN"oxE3Et}+ &`7k(T8QoTƽVƕ4oϿ|SPn14}:zu,GEP;SmVU70 8\2d86ՇQW3-߄?B"/+2T%> Ljd%5t" $ur vXV5`Ty&6כ '+WE`?/Z|>^ԑӁxFͳe[roz\&.}ٞu_:XRC= ~njeSOz@S90c>2"xvDn%Lȹy/Rs`eG4R'Ӈ:EN%O` _xrv-=ÝYu ;ns0 ̳*eEag_`-]>:9݇&F EQ fe93/p)-Vou-qin|=Tueiʁ.Zľ H <KK5jءb襽3N<ROcm=|hpaDbzV*Ʊ%/id$Qd/1)P&NٱWt%e\…[tt0mʁy׃%f<_5fNN@-u5/}xwC+ @q&º~:zkDxԱ}LJ-1 [s/h3dH{5uuUҌkI`MXx? =tcdNx (Cڏ.-`/յmڌ. )gvR%MGE s?< J۲ ꞛXʠo,/ponbаvs]>.uB$Xq`?YzaǴ{)X%4n-^z="`j5{l9bS7hTG`hAD{(l@k1Jn8ƋWT~% 'B*H"^>&5˯ -aq*rדE奨 !op:fvQ=CmAxj3+N9ЌTm,nG*ڑg4m_/>\riHCaP* bB(+F t?=X~: [(w%^`{v^Rz32&S#4$n;Ԣx:=y7Uj( (rj6;4+<Gkpo^As:MW༇M=f>eQ e%CYy{3o&`p'x 1,M Zt%ȿ`RWF5m6v QSsIX~,L4v  G5蛞&~UImIRrSj1f`@ 9Lv&osR{]O,Vw\,@tHmPruI'R3`.&&=f60s캣>p?hbZ GX=EJB:;/ΌsBCxsۓ\j YاBPh3[e*`8)I&z3eӾ]YD=TK@|TOQ˖EL-~|a0ԏj7z栘:~22h+xCWs vBzCP\"Y@#0F.rް_G*Z|zėϞ "H]}S{'Xe+NuA  UHԺ\tZ&O g1'Œ OR$ B5~ 6ПLGP ؃OM, ߈M2X1'!R5 p2J>7Hu)y9]O_g.z؋pcD(%=5xrWկ)4 R%$1d:2k[³`&2O)Z ikWJRTڮXO 5, SJW!RVb"p fӀm:'{j~~9?ʇj/&2v2cqRfʈP&H=yW"!Q+ .wbEΤV<]4غp)sL1Qp`ۿ+or`kı;ttv܄GPq΃csm"NV75H:Kp?`AXg2$nZG$8ѮX3T"<`}* Bq0ij#ZwjW2 ZJ֪z u*G"b1ΪΆ14fw2KHꑛy퇅R^;$~"?~h!m2BY ;-6>~L}O_ާaL>Nyl۾9D%D FӘdKS;y1$p7!@fe>2 mRCkV'uΚϞ&kWu,mX#"-&DQA2 LӋ*MF`,diQ@  ʙYcwtmbM5GT2sc"bk?ЈtO "kq4@'LܓQE,փŶv7?Nx|?dCUC~=E2 t%}N-$EFD6݀JnḇER~n;i3CuA<pKP[fNۉ( в(#[ꐧ[##nA[ۡ }L/*úeY'` 58s"S=_-Psr &9SIxI:DK6~-vFq q}莓JW`VyTI 5LCfYR, & cʢ/6L#uX mtO\0t1aš>44zQp3pOJoa~x);;Sљ$k-;taTmGL7`?PDI&D)R HRm4E֍Ez gU$AhOkA!oR{( Q2)\l&1P^XƛRbwh{x lјYըc5%xAUF9&-gJKv fՆ?vXؽ^4ay J 8ʩz}LiF0p?dD<7 &= Ob{x GW@)r[y$K UW OsY!k4lpLtu69cC_ܕyU<#V#8S `q<(>$>,ەR͐Ľ~tW_%E(igDxP&[OA\'4>a/Z9Wxm=s}% pjmBq}ځ∡wS&[)q~'"L gO(&3a쯐gnt2u2 ЕAht0&Z"$RRX,ǬKOIg~{X9?yr&! #J.( ;ڒ4KGX|[^ "68g%y19 ~jeFg$axP֥Mw>UB('dz+hI al&ETUkO>Σy{6N1ԋ36J,2:?#S.m쭥Urmй,H/*G59+>>Sk&>5l:6@Z¾PɆ?1UOOyeCΙ I 2%?fY^ܪ("[b +ڒNӘ "1}#Gebd 'aHWK 8dH`` IqL&JAKuIc=FoNژ.pEt4-FVP{N!ヸZf'aegL{ fEVc&Vj>5mqQ#ʀaPbo9وb9Nt9Zf_YZx?ҵ%_!c8݋+LHRdivW]Y_Xc aDn?tflOAܡIIM~8ԢE'J{(獋_n>`X@"tHu ;Q79O逢=z<[nѶbZxz[5EŠtyC=7rW,DQ&f'>R7cd8]ٱӣ 8q%h74|1uMp|hvPi*Gc)mW`.qp͈VRГjцٵȊg'3LO2nnK\X7LtNb4N6uJ%gd] c\>96YĈ4+si~sQZfKks6w5zp.ٺ(4c=ՔŇde;95l"#&~sh#E(捁NhyHK `j*@qr7)PU[O셼^`'*^^ЌQ=/L4vTF)ij )@mTb GÄ\67ӱgYZ7bf790092a99396137081fabfacc8650e390649c275e94d511fe2870fff5f93bcaa57066d115c4cf 36730116a36c57071f8a7dcd0a475921707491c0 ecacb71b69b0da7d4e559568ca28357c31fb703a