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 l9dD4 ] HOL-Datatype_Benchmark:threads=6elapsed=667.907cpu=2648.540gc=1369.676factor=3.977zXZִF! 4k]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*mŠ?-֡D'b ݦD}KQ |˷|PrMMzl.En@kk̫ n!zoX6Cf0I]x=1WPI fj7PG@˗C E-T(AׯKOnĴfYM^P569@S*'Sn`zzb|S/GQGL4^0*tze8u{&Ej rfiA;r. Hl]+H}Q[Ǜ/gFmO'']_[ܢJag0Z5]lnؙ7q2W(Z.#GI*:냯)nLqlEtMg?/6-3^yFmƌA*jG9.P"V#&ºD©}IW;K4BSWAeC i峓"rmK|sAnB'GCyB$\&5{:`* tw"`j.|-1J=&(.yɧܠIl|%ApxWꘖ⛘LHB3 ).m+\f00\.E@sG~\ӉB% vwmVTcـOUJ -ACոuz2Ǻ{f"Ҟl}({ kހ?+0lQW2bNbj@j^/qMT"LQhfDwI5 { 5FרR% 00]X~?̧ik6淋(vBЉ`KfsG̚Ze q|66'&%уѻbH*(Z &Yhnfq6=vLƁsoM'(`eH^el|,2d}pfg^?](`dAƔ昩;ԊL6$w Β[0ʿfjW.ɨ h{/b$ٵ( jmX~ iN;gYZ7zXZִF!  ]ŗXiɟ1)*u%9FQBv6s !}kw8W"yO61sz]MDC*f,ԙ^: $N`)>yT0?RzYc 2_vxy|"6>IvV2$)%mࡧΓ;W ibHK}. NC*R"uό)[c?;ָ4* Fɟ?u%I3_Do+s ,@m.-\vkw.M~Oo7][%- d- S׶=[4xT(e"=8ʧiOVèN. BFѪPߗdZRf]0=ԵqNkHy _so?ۺF1w$˱$2\ud|npF~$ o:wRgľ1cwn1].(d8/,c.n\6ʲXQ[XTGMfz4%IKD?6`lm$5ِQR%oJ4bRV&2j;-M`w4 uZω/VNg2=g>dZ5IQu w4I;^:I/'ɖkq+iŷ bx8N6[{"]hB܄|B 64 55 dY JIQ0|"e>wJMB g XDdb'S-NxqU7Y;7-*Q*,h{vI/ . _ En%Z'vzs=`7 Dv"?TJL+?̅+8G;k} Kc7crcG] V_Wd cQ4iRVF =CC~_z',M2}D;g<Q*` <oUt_!!ledEFўLM?ڠmq?Hnӧl8_XVi zEqUHP r$IO3["ύ[VB"TQX5E źTo -/]-(hdr_RG޺#b#̺l<`OYi;$ ֡XLb ̬8c2]ŝ@s޺#HN,{Wͭjz bHќ/h:&`br;:dE eqrWT^։f]< cjw$yJ3yb8VosseђmlSN &l /;)r>v g!q_0j~'\2F&De ٪.c& Y-A[՚Xe G1ͥ! r':TTH@HtK2B٥44?!jWC iвi%q92m~z vyÜ [ 0#ިPE'\E tKޯBmm,a%LrzR |F2 tvy)b,3E ϯP9cYAGb9܀Յ$j~Y Y +aWdY!8ڙ(){9m8eRT|奔5=8f)ﲿu5@JՄ#]+ր@ԿK9CXJ/X/9?vk#{+m\{U :wf­1s9{+[Sl 8B^;AF* _I N5-u5Mmn5#/tp8aLQb2 a}ʒ7sI( [*d45;)_]+.&ݟ_\F9 =U-jx^ÜeϜ$?6L:QR4qϖ/ =c\_!>='UI*D `mY^NfAh:/D "_868!dF{VD(}M1<ΣO g[ ã^`0*d &$Jmz3Ќ8 vʨ1Qj%kc\[lgK~BC]+gHsM ta\o't 'ow/wX# PDNk(,{3J 84P$ރ987t1x. s̢RY0YF%J}EPt t,u4ɱ贜HuS%8F1Ov{BH+R&*s<6m —npkp% lӗY7A$­- }Ag/E{.$oP5k40++HD yWb<߽z?GS[HVMof"JH4u%֠X.Jrg|?s*K#$[R`n=\ݍEfY˟ [NwRH''`ۨ7[s_-ؖ /?6[/t_~cQtIzpPD/9׸=)dc C^ 'Ċy==nK-GpAO7D}0ZP !-Z ^eYj 5oٚdԿGٟ}^eja73\YiO?ҴiC,&)~H:vP2`ϫ4e;Nwn~}:R~-ߝ8n:+E7;5K9(7;D`/y t.jOXIk.!2 40E¸T,u~:5|Z菍28HnQSK{R%XAcZfxd%8X/B|+=h_QնR왎lq(z$uB~B<N%쀞;]L-P""N(aR0wV#rl/l2xf;o*& ‹R>a`ZfƄ% Yz:ya<}gK[ί![`T Y@z WYYATQ{[ Tz$:TzZEt/DuԦc??Kfa\Wq->=4Gm!rN OH(9ɾdD֥Ay!{:*h%I[Ђ RR]](%XX%MA3sɄ@ؕU}ig ja]#:6tujT <غWς:&. s|גrh]ʔܾb6TaN2j\MXk7F)/ > N&~Ȳobi? WAdu>"|` Hp{CS5..!6zJu`مܸ%p D֦\Inj}`lW.XD;B4ORB2!H+. 臕 H(Sc<'8` +xr,enB@FqOV֠?\7.F%DZӂ5O@*}1n Kvۛڝ"$!|8v[7c%gwWg!gpZ[eRr%@0t %ӾZg/-qɚͲ T9\*sh3eUA_w'D˸9)C.WjHA+3j:Iu 6evڄ R4IT` *kK>e@WC ܈mpCs77l$^6kϡ5KDzg=El$v3`Ss:[s-}8eDTG+7Eۃ%35~m'㽭>O#,->?'MZŏs"P Afagsʼn=ߑcT\fߥ8{(~UQwGS1<;z}-J _D+_ΙH_^)&ųy,DZ]r&;MaW.X*y*+D&h1pʝY s7)#ӌHHͫw{]>5}M;dXwKS4/ ,5h|Cra1ϰ;ӷYEYC3js/b@؋%g9qON(aB>d(AC_57b޿1J˓K\V!4ƙrL)p)Khmm߂\ALX=n΅ 12# AAӿPKgK<ŪcH,j9w*J)^BÃ*:?aFn 7+%﨩Mmo{04Uq{7q%ZP1˯X%ӧ$:ϣ 6B[&4܋W+J5 j0K 5m Yl#Tp?y٥s<_Kk:ܪ2Im= 82^z'n 6-DQŮ>P-luN?`8UEݖq+Cԅr&?gձZюLn9#vv+z^Qn >*VŒ^ B.uߨituLKanh:pTp3_^'ΏU3 URw>CLRT&~J0D`0!2)2Ў OZz-?Ɲɢ+FLK|\DX/NO߾XӵAfWM!Jj #X|_s<Y:\OT `K47qan6]vWiW:ro.b$ͤ3w XLKyUv7)ǢWkbBLJYMdǎ Dm㬒) E52znp`jH DO8!Cx.3e[5.c[>mx=Fv>z3 t8!tC4(KuJ+ R2|d*@ k]oM_̱~7OGI.,{WH`2ICbvTդȃ9=ڀ1CN6roN;zV}yi{6klnׯkZ³Цzp %'m ?{y9wKNWƒ/Ji؛{s9dG%,]ZG<9êft ]kE8KGdc3 U{ԉŠF_hQ1kwƭ&cAy~oj5gQK0%cjt@0I 7q(]quJ-A9+Z'PZ$- ג*_Kb [<]ٚ۞5wB #:V̔$iz%8y.z.F}h%./e},p=J̎?d([\zI/\vѦ|5Iw^c䚕0L-%t2r= ^rZ/iO߅Jq6噦pir[2Id(jcQdt"iPnʅ>Ph]fObOpӹ"_[NdyF}= tPɰ%zcTv|B-zD"sƉWqzKŗB_vr1HkO7B㤿4GO2co"K?~#{S1ղXpNvt gF45@Eν (ܮi6ob DқX b@Ꭼ#1ߑt*[ )5{Y!Ive$)8FxvSG1'ksbAi.˾]Rj=YBH$D&vmi11~t] x)KgLHDqj#*ю2qe4Y[s>9x:iK'K_kl#*]0 ~A};=NRK9~ {Kߧ&F\}}.H5!AsI{"d5OqKJDr+>%L1w~EdV"Mh$"6\ P?]-=n-!6Q+M&"bpx2/y&jf5&}@e9-o_*~Dc3.LX*.zT79 gSU$? \fPFězř}XU*R`!.L1>tOr(ifNeu--\.d M6&%t.}2hKd'$4SRpQF\}E+Fzc`SmQzR6vF]9v,66Qӳԇ'_jT`̮AU'\:`D fyM<)cQ6Q|8_i縈M9W^p'3|Vo͐'`J=Vc0uqq ̀%u(s1ʌ:"#êɌtu ?-iA~34"~۸-CI›J@p]Ey(<򨂵AӀ}hn6s#v!F'tP9M6m2B>蜮_AxVds3UΎ֓+4 1#&FhxLs9Qb@Ֆnp{_/!s"3=h=/5DZoƩgp1 >;\՞!6..y׿;:Υ>.!>&tAGi縋 Clw_rh)6RN*^kj !\}Vn\u;žqd0.?MP;tTD{| H4,9}f wtS=Zt @EfCEI<=< 3P=1$ 1%ԋsS*[ʳI˴ʎG._X\M 7OV}ơF*27%?WLw`/'n  u{\G\\UvP7i%#}4~웙3&f{+k32ȼׅ"i)F+'^9 8iolv٥x^juܒ 7baq)f]5 (P%:5PL*87C=-K\^FWȿB)R^K* !: b!)$h (RiS-.h/3/sa&rt쯠A]W p~Z)XSyQ!MQ{!C'!OXN# ;* f’3Pv>A멺eWoOwKq?%1sWӾ;|o:uP3Jdf6l;Z,.q/XwhަϏ[Fq~HAn1?WP lE :[]?0̬^_A1L{ m`3t& 5KHk㑨~ RN5ͤU_v|' Hѝ'%x}"LZJ7˼0vѬ%0;d jb}3Q9W V̿W5M,JG)W]OspA*WKZ.`(K3_;DkڦY Wz$Bb66 gA6jC zԪI(m2˔ʬ,,9FæDI ͹{4|NBք0 GӪ.pl@h~rNHq3C86=CtgMą \SN$=[.fPȌK-2tA@O3DTͲɝvxwneARӬgO{> +vpI$rxoτef7M+!'08CE+*r"A?Z",ۨ@}'8P9K!d]cϙƪ WnNOܘT5|xEWWJoZaQɅ& 3.LŁYÍ@ǤH#V:mЁ?Om(ֳ#Qo-0#%%|BJ/L8w$GuR+FN?F\P%:(j AP@n`} Ɖ\fIL=[4OQf+/iqTj)J;m+2}}2E !<_@xf7B-Bfj,y Kʨ,[w&0mNWͯbBzFQҡf)I)dtH, F: >CIwQU1G)~ڈy+ZfM ^K&'|㤼,@ U<[YڿRuԺ#7IgjJ/&67!mZ421z@|1mXkr s i ,N)MIq$y Pm4aVWz|3FvKOcm!ȅVoErt!GbpbeuM'j*b9|h;Hx-# z O:9+$bUGo6osȍ: 2q}w'*G2* ̐#b[w1 C44Lf`A-SqTbg5~ M6}/<'jRS)tf $Hmf8Ό '8(JvҒd H3K1. _)šʫ<׺AlfJϩb۞OuD҄'.;Z+d#T;KX??MW4ţ,9£}f M:e'#VG `_Fe]*>111yA$d 5IП wѼ$%}h`)7GjNP=@Ej|+|t݌;&9e+ӆJMd 2z]Yh"OR\tŬ6{9<4('~_@*tFɡ;3 hzPc)[ҽ=v۔&)Pڢ-1)Jw I/<=Ct'9Ƽn_6G#nwx.-&i*j*`@SF:k0-za ?%IM]RnW#u ҪB 24hi*,)XjGz=YH~ڭP&[9J3 Hj3s0Uy RP%~ P SHyB͍Ԯ:;Ycov(1H1EmjwvjxD<'~Of<{ koc+*^yJo .oY/V Z0Vƈ8۪Vs͗-Yw{_)ۮ-3wZ@T70!J9G 9ʣqwF/@< s"F}H雳zDj LJMHlm EǬA$RqZ@0dxp-԰nlOVP!JZz,@~g¼q$Vwt(}]vnxrҍel*$K[#<+NA#lV^qLba}FHog=`:@ʩouA=T  lWK&?%ksw)|-Ix4g{NfJ1Ragp<=nzV)~\U`ENwJKg-Myv;բZ_U)VQa4p SMf*ǰÏbxT1n@Wr)mާ0G YQi֨"RF$K4ڄ$AVA(~ػ/"j(ϕB>lyEr0 I]GfT8!N@1pVZAIM =±RYCs>G R&,:f7k/O ȯ? O|M)CAfv2m(&~$>=w"?Z$W|[^kFDTQQ,9Il<*k՟x)h$eNw/=0bߝ}p.|a77Hl̝;V~OKn\.`ޒ7dŽlT8'Av/5)Qä0=4:23- NoS?]6u3El":29˗3ZdSEUNd L-KP!+y 8q9Le s<٫ym4;1*4DvU"D0b59qO?jh#RrҪ;hо;` *SRw޴Z|^/J.X+E2Q܁04iޓv;̈nZt4v^#jҵ2|Z5e6DAOm&.δ|cAj ,Z^/R?(Bl53tKZ,Z9b{A<#c(zg4`z3Ҥ\Tㄞܒj>]@>~fPlZPD9C8lx`8e. K[p+YLl;_&e\Mkvp4 r28Yw2:Ȁ?bC0/yLZWppE1c ~' v;Q *!+HKizN8Tmhsa@qx12ڬ4Wi= 5hjfD-Rt=@d1nh0ƻeK"TgAiԦLi009i" b,g|DBuY`?q :Yx+ AfKdU ]9ƐY"`/z<0Jpr([OF`|dqOp{~d;$Y!3(]̵ wB%D~Gt|xF ʰy83fvB6S5U-zчQ#3 ~ ϟ(7{Tf/G,k Z^EYK{kP2oSAԯW=yAӥ;ؐ?jN S3{B[YCβJ(\%TA7SKZql3C&r1A$D@[dj$!rT,3 b"WYڂO/aSmvn{jsXn%Dx|//8h~pNvHQEIu%4NH $ھtw̠v]TaQ4LLn3|ZgNԲljFxΌUp'ܓsݯo E &(E'O7BzRQ26oqpH( 'w\ #JcV2KMXSmTP/n@uxC)73L)K5Ѕ9k2bgwOE .We*=EއQΤ ф%ބ_lAr=5*#_નMJzjz;D_&5XT5OW`zjj !]2])o Eo!=FGUQ}LI8f ^»hH-M=ީf̴5ϴl-@! 4AݝBesgK\1j/+Mvь /KoغDw_MEtx^ pS{"uӦN&<{+KwI/ˈxqx,Y44X eG;eV$|%.fb@&E2ȴ /4TSƭ6z-[&>OOS6DQ }gKAeMOv\r/ظVNH)[Zwco2, +˂*!K5JSm&erwSetHlJrOJĄ=ybX6AeN X?yl#X(ۓ]r ^ȕ)QT} mzDbVZhS_ҥN.ΡÝC[SHk_ ?vlԱ¯@oaO)U1yk5Z+q:qTzE(6hȄd?ڈg L=ևvںΗgԭ!SZ N ZVsY[2T8;Cj뮭7@c@mF4vryޟBۮϗ[]QTw%p{`wo .1V#͐dDĪ>4ݯ!O.D+o$tŶG%X|̴FMA Db0:ޣi|,ŎB,eŭ h#.AŃ@&5p3A{EJM#.E{+:) '5U&W*dwjhKާ)&guVgfgy)כ?^ N1SMx@Aps'4)쯥V//w f>-I2qjF{Su8y٪ݖ!!T <Ʌ9Z s!YjZTщ(i^ Щwikz 5!)C:(@%l9B~UtMhwHaIx*[ jk@a`"1dhb5$}lAgԋjNcHe.m7^+zgq*)Sfٱk~Q֬LN|ԹOhtYq<&+ R ]N 3,5Hݠ݇ͺ3/OYbfiEkp뇤ށSnR*J;w o,^W@ץT7=^wcՂLg[PJ1iWL&B2k Ofܣ*-"'{k՗oq/H Bȇi 5^47w [;^m^b}M{"EH9nE-;0ΠAݗXt KGpZ=YY 2N;+A'=D ^wA8LMךM'iJT~4_$=a^GT VY"ĨڽP9o4|C8R_-KCz(켈,Vk#4z0$%NȔJqy04 5EK|FxshlS,$ 'w5K#a49mME!'`;5-`jBͷ0轻/1Yyx\ cw /0 SBsr1`5t۞ՑCny_=T1-=  M.n%~ps38_ih*|;ikMυ]OAtؖمɍ!8V^=C+ 5/HM^D ʇ^U 6vd,Agl"0HǞ`*{ s+uA \10uK~a?1R ip34JzgU"} hG2E:^^,ǚð2NLzP`y!- $^$ң,': HI˛>]В6H&ÒAAX <D}~ 56 6@00(TS(N/h0Dq| uُ/ IaݴEZ\ڳY]^AM$v]ӳŬi??9/$X!HR38A:h31?f w1TTeX6/-6?b/R:Nݧ$=rg2*<~B 'vܼ= nI9oUs 3U=$2qi,c<ݺA%/b+gua²k1Nxσ g)]!ime82~^ExT Qd:thxjd"s>Sc˓]|p]-P|bȚVQ2r׉m`ZI45ORJDr2 $Ps>)Cqh*~ 8OVt3I*;H 4E'yc V+x,iZD9h`JyFvmԾ+b4Jh{[ z'O&HJ-mԥktll y9S11;|ZnD:;zfqk^+AW;d;ePF2yeoW"<Fד `eWxK 9>4];{u*{\-X*o"7b/?WI%MYk}(opc %S+ɟ$8L ퟱ,̖:N|L,$Jv9%@53ƪ`U 0Yia.< gN .` L7`Egy# LSXy~?F&H/~R6=qU\*&Y|,`ZS9("6 &Fa5h|fr%FH3 %z{@!ckO>tA'';ЭdH%t{^sQlV}^|cZeG`A<W (@Y0ө .OS\P4?w^ -^T4y͔](0WIb\} pE n)k&(wE~Nֵ<tCiC2χ$wv<+Etr\?w #OE^Ej)7;zG)huZ].,u]c&.P[4]~Ӎ_Dv/`dfZՐE*#`SޏM%(`yn51Ww4(:@"2<%w~.M`jr_R-uc+ɐACŅR9I@"gXUui.͙l !_ c!_4Y}娋l$1ӊe >nX^KmةI}=$nH9e ?gpAGE*Ӊi~eon*⬓dl.,|L~AM$$Ptx{]$[}:-.eimUD0UWąnUi7#%sƕ NNWJOIݐkZ?-q 9۸"oы]ۡ5uiMkG 6@! Wȼ!0O1>&B(q,+Bs Һ&G{Mvt<ݭf?9R60+D? ͆v+γV|l\D:Q! >,"@0V- A8 %gv" $v'dU_wHCW!m^3\䖰VIӵ tϩaM;գZ `Y:3@Y~W'ڲS_w*3 dOey#<BQ̙7uF<l!Y}XRPD#.HUFEkNQ)nA}(yy`4SZaab.@Q/-f '~78ʪc\*-U[A[dz.t` K8m\dS2C`f@Jˣt+W}\Ŧ`4M6ӤSy4'Q7 3SKgR>JFi;Z+HDIi 讞0_h qm]`f%K{EhK.M dݪ=;l}pk\r&|~J#b[o* 261-1NN 4>s'q:8[zW]KT\WN]jpɽ|qˬ,<%UsoWŤ5_-.)0$/6 j-x߽p]/+6)e,QwU)#J'ˉŇd3J]9 M?Qf(S u;WS= ҟA#@Qp]W7 D8>DZϟٖ3ecIR^te#"S3؍Wj%~/i;TܒTwWFꀻS/96esxv=$Y)?*Ċ=8*}= wW}p6Gv|$\G˱cVNOe#b;Nߙ5dG XZY8ޢa͔0 ?. H!YHBaoX) P1B-FbݙCoch!{Fk4zkǐqn7V*Q[*ЕXyUXl#B~N ſ2_S^ ".GA\}h1 7~ D=)b)qk< mpsi'Uv|5²(3¡d"{ D}F͎˷!Nc v@3b6v(BGI˻Ntҡ`0+R8UDw@@Nsf\*{ 1afnt. WzΣAKK74N_r4oXSzM~ N̙٠>g%_co=!&%[Us8\~vFL֔?v{>J G +o]9O&⚳ɥўGŅ2"И \?.`u{R3;S ֡:,9| ̖p+mRĀ T\e° e3*Ol"{N@QgJA"D8? J07٥'s;y۫Gk_"WN"ۼ30ר$<̔l.~em{(+JqW5cڵ @[*XQ5sXzHVKyzM}8h į>MRXfexasUɣ)v^]2b/AJΗr\ڇuvooX0il57ʻx x nr08&"y@J_miENuХK@*wIg-RmpƯ6am|(]YR9nԿa L6z'Ĝ]IxFсh@ڂ85@:ҭUf |Rjrł]:Tcypa=]漣yV EX&P.yz5L2̸/5 w`M7Tco;QȖǞw(/3\W`hrLvڊ\G#daڠn\"kWPb&$'{!\p`]qK%.MDk'jQzӊ(s~ #Nj0$NX㑅\9h+mItf#ܖ`HyX6_iҠTN@9v^Z\Ab|蹨wSE n8-b%?eұ`pC=Lt6g=_yDKI9KN5kaxSŢ!F E.:~W1 `4݉z8_Mj_E*caD^Vc`vz0]u<H2pD,]-'Gn-sP0ϔv xSus% &eO[+9 Wy+հy35~b%GGr3]RJ\hSRNU+1,.6\_'g o`%ٻyrAUj20?%c<Nthj U[z0=G4S39nnԙcЄ3.G<_X)]`OS9:]osQ]\2L=|J2Ng#ޯjqI=E茽m~d^'p\|p~<]*ȮOǶTF/9(Ц8oy*äWe8#]7~X-@ԒC!E=u WugoD8xD&cs 7|0e2x4i* KZ#=RB|ᩙ&y(|nV1?;\,+n=Xbʛ06f$z4B;`IRW~DF0.\j``XWHEJ$2VQc!ӲyhSyR#H"1He{(tf9! [Am-i! q4q@٫ÕFI0%QwΠn.>Ø#تw|8y&>lYO  @҆eOm>\HsE)ǁQDceCp1ſ᫡AH2lGW{#1d ߐVHiz8(#~O 㔽0w|6`{m/"pDwzt*LSBWDS6s8A #w:d,?t0r@v dm xkwW@M'*=naKFc<5cugY5 CUC^PDE.w85o%F ҙ-ӧulɛ;PF.w 3f#3?=/dfU'n,4Q^_s4\0ax+^Jp 3W^TVˁvsAui %YRG`JjJ7MB/bipJ\܆V [G#8; lLOX-9#\hz~ŤO 6sFVB-O)U ?2PgG`]T qGrd6/A*JƆ.E*J[$f<ԯi s }ѩ#}*y.GO4O:siv{"rmtS"c3xΩ\W(,)^5QÔA2`;=_KϣipwaU5%r7os{Gԛ98qА.nfwȊI&TD#ZsWC諃4mTS'е&U'Pq6E (s+Ͻ5nU烈:o=(,:P\Ǘۡk o5&#q;5/4>0EGS2̚vEO"؄w@,:->)Sw\4l`%P>~H2~RX%g{hv8Ep{WC+r+8m%9eʹR԰dxT Y cqHzvdEuD@_G`ZP+_ͷCඝ^aas}=f&G ,B:v,j,ZgLb+G85e y38.g]Y= fT0)݆]6ϷoI@>7@1xǃѩtxӏGI_j:nўSڞ<ϢThzF\_;[t"qkCxnt f|\.2`)l%#zb:VALʟyϹ5 śr@?Bv[%0Jɺ mi)Pr:&nR!\W,%|?U~yHـ|QݸqD{^CQYP.̆԰¦JS+[W:>\80iH@۬X* ^~1U?UfγǔZEU* /ln~-X#5/sX=ZH9M(xK9@D27l/tgAV [@ 륭c?᪓s -U>ݐS uzsElCH1d|s:OטbW׳,@#__JڔwI"!`-=Y9}u;b{ NS@2S-L4Av7վ9y?j818;U4pvsb|잱Q 꼷`c p;4s/E5]}3]g%Q>neLIL4fRnjd)D$7"QrMsՁSbxi_.3#>EAy z%DB%5_K`:re"P)V͂C90H(۷-:lQT(=H$gkYPxz 2x-89Sw/t9yI)]1c_"OX8[BKpŀ< aF4hjjb^xxpgwlK z>zio c􌅧|VWb<8hf(Hy On1@@ñ/M[q݈Da/ wBOA] ,s]i?/Qږ2k}[VS@kzSZꋄGxкոzs@wKCtQQ"BcrLAM T0Uk3tyNT sYOA"F7ϏqyiOuGsLzE' fKHwghBgYZa647cc4be715581a87676b33b23c6d73c2a2365e4ffcfcdc02ef3f1b5abbf97520a085cc79a504db f6383c732bf7a95b23155f974528a61462f86e5a 6a3f5f08c6ffdfe95ce8488b42ecec24e61ca1f0