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   E=l$| ] HOL-Quickcheck_Benchmark:threads=6elapsed=301.905cpu=1469.384gc=103.952factor=4.877zXZִF! .]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*t`(d Z~KM=%Y3mN֧_3bX`.,c&nbώB;)cNudrsJONwf Á H)6$[!IGԨG)G_X["4=@l[s16v#99R8g& j0waX䦋G GBS.%U2 K.KEi Mkpc{(oq!AѰ HZ0¦4γu!Y3͒# pc'f{vPLJ6ZYbs_N4@iM4I;{&0Ar.€a5GX..~Z?bfjL]!)a ȳ7j rW{UK :0E͠d5A!mh{W:z+%P`gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Έץ$8rҕ*7޺3NC F O)^}ANMJ$s1Z^ Al[cIAyJR="ՅU&OýMTWi@_[ S$gYZ7zXZִF! tuo]ŗXi%E`%JƟgugrvnH/>˗y 5I3'f-w䑐; YwSLc:o YǬ6WN1u?TD~邮/R3XP3[{3)d"ڕv]u;V:$κ>;S|y!/)Ph|2܊)^+st/KJW]~ C9)\ER [˒$tg> Lp4JE)9'f!V7̓NqG?Os_P*^<ݙDS2  fŬF)gl>N @*>gʰ?FˠeSiּyU3{/ 3Ǭ^n7B&ҹ-tۃxpFrH>Ufq D, 4rl20ovby* شhw5Vۼ%1Q}h&G):0{> k!q*e\뽛As:g@bzVh BuEsATG<}  nWTZ(-Ԧ=yh9⻎-::˨܁muڢ9m/\r)w9@tqI37q WMB=ܜtyA)zaֲ*Db\SG7lؒic_Hө,?91nTce'YnfS[!e[+taƓ": li)&Q8k\|DlLj\T5;jI t$!?;F4U9a6=V h3Z}[  [f9˽6EsUS+^2Wob+˼LpN$Ozm !h󴂳?nI?#TpCv{ ~Q0DMk6"f=l9Yr *7.\k.L=A *rjJ~"[|R#9 ;\޶4ʍKUZhὯ T XX+m|%@t|_OyI˼ƅʆd`F [.\&E?F"МW(`½O>ǂEQ8ohAA̒:(tUJNfv {{Іyl0iur-cc^ٙWSrp9Яt ,`cS ;HTet7ztgfxV=-*d?Ƴʱw#1At WQ|(v爄 :x 5vOs'ةe!;537%D`U!ĆlάHn)H#T>AYe:esw:*Y FRVҊYGs:QA~_19:vz酵0^ E_cJ̬f@#l8|4&Ӑ1@F8]AryS5\B=0|Eyɍ q.a6_k,_tE*Ցw{ͷwA0yP<x 0 FaKnɧ5GQR>H(G*6yz1!7qm,M'azbY_ e<5#B!Z !2rP`*K~O?cG,ZycUgIEz#h^(+JoJ@9ߛ#f(p{V1rwuq"ZKmk%_x?J{qc 'q%"xWSLQ_зP]%~zH>6׫p4?>l,=TUVX#`OE@7ɯ>N:K^h-݀ R>ZZy4{'ZDR!A9SGMbF RF@pҬlԨCQ!;Ae3CdQIr&!@ 3=_ЊTvzTa??h uRY:FG=t-c KmG=Bb'3c՞#2bMsZ >_XzD5w-}ܘ,ϊ'!rZ|gЛ\dUa;<׻ٞq{5j &m}S0DZ]}!eg# 9c8IT,~ϩP b_Ņ&!gT۰/x/GjHpU^.ƥ{ҲՍӰ:wivf)!u<Jt{JtbEe7&8(Va_e`Б "Eh)8{5p!YB~imP3Ơ"YI&._P(EvC6I`\ّe73U&f[X 3 &HI6s0һ2cX{$4ꋆ VE랯æ=6Z"X~ <V"'?ͥ.\ [:dVEfh 3^H^q|,Q$LߘH/p Ƌm'%(c}Jrv,J!)xqGfrjPU9[g& ԅ 7~зl&crX)KʼnYL;U?S-~)}*aqJ/e93ϚnP lg85+q9NVEY3ZZ֘I5Kꑰٱk6 Rq"E b9}-:8eaݾ-O;R Na|PC1n&16`BƦ[$4Ԏ,1lbe Uu=![f<13%c IN~y'a  J'ufcV O8%(vZW)ja>-zt~ :$Nd#N{@xRiii>WFZCg\Vf8+g %ÐZ #'0N;lB3";Z.j9|ǑO@fxaѩր gWDH;O%9C4ْɶ.T&5 ̼kW{()*U1"#uk4יGTo]ݕ?Rn.f TeiFXw " -tJv 'y:'2xуԆN vS;ڜ!I,xTt Zogba>#Ԯ4mhg;ehq{X* 4鿆Nݞ 6 ƃ@M]?-cos Mn}ZMM@8#K1h#e{9cu.~J_Mسu5wϛ~i w 7_}a稀Lc'}P7V4f%d'ꇯ1!n(l)MCx !6?ݴI;gTzgO $C]z/lkabVoy/|"QZaN|%UY}[oI!UyWPhE2 ]77?dE1<-?n&1yUnF0YRE4v6i=)ZZ ګnH4 sl$8ә$ՠOjW2THsht IygpN ډ-{v8t́蚜 +3XFWcYW#Nw.{|\bI35Xi)B W")9rds^3E}ީ\:m&11ٚh" A[Gw1C/3д0ަ݁FNȮ1貉6.XHH 8Aέ?6TnJX*P9("R{NƎ:`&]4b*7ȗgf%pa@Jc_s%Ks>}KVVu/X,|&?wd(<<9*;?^pL>&&H2J/H2aY@*+U _=[__~K2WgL]RHڒ.|-s SvEEq_FXLOʢ$l1\@eӫqmpj9$LDcr؃ضW+ f0sx]w/0 -o6~ZS"m9iwBΥ%t{ʤku^ dt,Cd8Q K窞M?i*:%^%Jex}\Vi=F3'Wn'L%8Jf`RgOe̼nz 7̢7+0<բY'9[+`|HC2&Qrf",\H(q%&k$@z2e{D1vV[$ I~a-XG]4,1 !:޳r@ DFVi8aweTk/0-x.i3uu2?L|hs-W:? v &JJh>1¦"|.yqL\Xr&JҶZFmhAr.o!LL[~e QdqR8P ';ؖv^i2Jj;[<1R.dOJD.L$\%첽C|"0R.V=#wB !|R/N!\v3H*B2 Յ&^a;y$?d?X.GZT̊Ijᯬ ='JN3=A5>$&# *deŒ&[ my)jH᝽d1(&q%S5tdcAJj٩~`5zuL1JˈI}{lX2Rv;r DEP2g_9#dwg ~KnΘD\T81hy~Lp k}ҏ"uM+`eT4sz HuTvMN!XcG2QBC$QICz XF#\9;3oe'Z~ WE)$\ MrzI]9 [+zLc5uSKc*[op faHɸ" .azRX8ǝww Gs530]Sj;fVy˴?Ϟ!08U >y` ǖrRZΊWD4LjH 9wÖ{#3TgD$E 1%eQP#fW/%̕mہF,k+-5N2Vm͋ʬKi~mx`UCJ: 'R$. 17*V_<{$hF-6nEL3:?D+T(u6W+SaH9qjU5/VOL?ްFbI٘0sB|7B ʫO_龁6xW`@#s|h?Mfoᙂ(vƁh'.{Z(-qޖ^^wKN@;Zf3-ۇHۺg9 \=a}Xس.OZNlU9 5o۷& 9&U>;}݈6>*ޣJ,v:*4JpԵ)yxgi&!|MX# 6( 5K7k}tEpvA*KP{_+ע-cۤ,yLuk8A5T  Z~ȦQgc &y>4(;@ #n04d 2jg$.ϑ̑K,6⸶9x!2®X%ELko lan25t `dSwHPz8vLD-M'jہ٫ g90 75Q A4h+ӶL6&+2M(QãjI53ҋ_#:ߋnݮܜQv8N̕n سBwQY^$x\<{cv{@6*#\T~2A^,f㻃G _cOH5$5MM8/ Cvo>ͧÓ\]Eղ4Q+"gPpߓ#+rQ(!#6⪂Vkb*:Lr"N\cѵ\6f`нf!;&@Af%ܲLTǝzÅwX^C DdM$>s"ksS\~dV@.J&_n:i])1KkjWڏ&f6Śikż vl;Kp|elFԒ:~~dXo^Ƅvh11Q.DÇ#(6y+{raDrk@}M^="FUMY :Q mD/:J$˾j6U[j<钳IW=B!Z*Ơŭ]uD jh&M'K,ޏ!RpҲSOtu 6H41!7pI0󸗀|> 4į Ă!U\BpVS(q9GD.ra(R;֌7!̄r|~~|[ lhNu;J3aԔ#ۈraoyhݖA a)o9IB@vnEU_=dmlAؘHd-zZ_9O eH#3&l?#o$fWgKD*dj7<!%W-%v Tb=?m8al]YhZ!Lgڜ2\ƀC4o1`գd9W42faΆZQVt3L?g7NynPQ* ޑack]"xީIL~̗*Ю'Wu< {$13LYZ2Uį)i/QW+wۛ#NҮ)N ~,0Q2?Pk*W0yZ7>AI`[iB9OnXF_Pqfl 5rpDCtgʺh);d N||M0 W] *>a>"PZzqH-LB3+ZOea.24&5ј3+;p掑 (b#I>軄Cխ'tw+Z ʴ)賠)L#u7̾XGƩ.M3YS 1VT%m98GJ{a5}4-QX>o # i HB(2ŧ07jeRB2,oѥ@&t;nXoIw'C|y j uC~3|ڰN?*{ LEߚU0|tln %hI6i}pfǕ O%IFFYF$Է5JH˅e(}fG}+PI<6 i? 3n蛍&C/jP'[3zD};R {dj#6qŬ{)#e_s؜WDyl%㷲J} )!ziV`],"\K~XqBH-ȭPm8.֤féoH$>zfvCiO>/|Qc%/EaU,m Qh.s%OՅZ*jZW='?QF֨VEx$BJW'̈́P۷[3z J<^HDAO Ī۝u5y}Zաt;&R.>0@v #3Q)YREvJ *F|}6iʺKDhUy[-q|%mQKu|"",3q H& HIƝa/+yYRiLvh_ŒkDHuYݽ{]}q懶MS(mZe;;rM1@*1XD^註\t7<Gu񈰽zJl>7C1M=쎨F^X|c?=̿(wxЧO=<J+4W9l}ٟ7n"VH{'-PEzu>[pu2(7БO`Aa2!g.-ޱ4RnZ $̐m!~6CBPsܨbjۏ">V[uCw4/\ؘ1I ƙ !GCK,YW8C6 ^f#a}*7X_%vXՄ 2Ț.uaBd1DaipTB.2ate9hw24_4K0p>xѩ ~Z}f1oy{P k}S>c6@7C*TH0p5bmnhH[Z3VF:{KYY}Ū_׀z]"'@j;tJ?Wq_{/`*&ڗ}x[yM,ΣEWcnSɂra{ *cd' Dh #4~rFs%Hh;W[XTZ Y|է `p=bPz$9oYyVn!B?͑|lBk|¬ |M6}6𰕔I?XەaR(;]s!peR|]hl`•,Vx',y_@9k_k"s,˪@LIǪVUA4Q/Qj(L0Ps,3ߔڹ- nG7W'kVE2%pV?됡$ki=HKhG->LyQj-Ň; ApfE9հDžMۊ P~${I 0h5T83\Mʑ^ hCO.2LaD pC&7W 1b}nQʸedԖ̑8ha?-*ńt PGVT ;!彣B`'9Ϣo?0Z1j6Q8sg&(E3{kQ/'4St:}՝_˂CGcY9s!U:s>Ycn3 &h~ҜsE[UpyKuCLε<$F75p_ނי*V?akǚߘ+ȓM-wPJ& PTױ*~&|a*~nYnÎSzlf[\2]UJ$ϟL|~[ާ~C`JqudKL:h6͠ViIAD:OJ$)AԁĿ>y q !ۆ!>z#AiHơ8NV az4yΨԺYssЙfX7 : |QZJԳR f$oycIDpcGmaw*1y4sFs S1%`T C>v{+$wkH_-)jgbg"Y=讆玚+s3y؅| [D?Uf5|hK/.?ĻѼC'|@WPpUD[UW#kL T@i=xsOqb9G`ppotx,xʜ~<'{%yCD:> J=TQm vY?w혼_힝q7dXy $j+OTF!bzoY|L^O}'Q}j(HiI5dqtU{JON XA0HpL`*S$4Z+.zԵdAyQ?-]RPC=Utbmk0C# )i|<(sa`}dz|5 5;?)P,8vAdBůcnX& \xs]BP@+U';ڀ'TUWELlܖgs:Vu X&TX,+FVGug6Ǖةi|1?> \ eҍ?l z /-v8$<$WJ<6i^ {pkCI-P*h W?7 Ow6l&y [wAiB`[e]a@Ƀ:^m;Eu[ |3[?Si_(ېFy4%3RgҎ%m!>;Lq^CDh[ϑej [LHix,~=8d`lIds?6-uWʻ,= gCMwbxYǶUN\~quLp`׵}ok3OB’"2InQf5pv \fK`t#$2d}t^4mjs+5Bγq+'rNxb:lv&$M\ K*OP&.#^%^!-?q̶>|+i \!$8SO s{RySb5בQ`"`/1tmP!5м "Ct&pp9Xح5)%A3Jp͉,"&ɐ&q3mV (vMap'5q%(' 6Hrӹ3x|;vY _5&Oݬ7*G~^Ca4!6.mh+`n7돿\"I"mWtUE˅F EcN"$#c⢓ݢCU,;1_4>nu)C^g9^FҍП©_҆Wו@lB YEc0%ggAx4ܲ/)"&l gF$.o_.:#˹1O8Zd'gG!8,-0 S;VatgF)L#j2>>3K>k!"YD t1<(xJY"%TޏvX.dךlT?9D7i*UXubR^f]AuNsVΧi1[&_($]V`&N~d 95Bxj ?Ju\"pIxΣSEҲasŽwipmdVM, qiogcU%N1ΰ 1ʞ:*T%bf^#FvjMv V=IhȢ c .Ȝ) 7~0TjVTwῌl[ #U͏Uڶqq(*}L[Et:Kjqƒhaة!:VYz%W%RĈ{ymV΋L \z.J]iUGwcџeIBIp1F+%Su|p6#d_8,XwXV{E6 Fc.9X6ZxMFxuwN*0SmtʅvrFf?s8YH Crj"RxÑ< %`V?|ﯖ}V;M*bR[㡼ԴDYXxkh^@<_ cYl i#RtƦAƠPzE49Ϻ!,)@1žQR_M̺]˻mK8*¬&y/4K9)k\d*Ge*bƽW *Ruka ]R|윐 "Yң'Okv Y`<4MucPy)5t!/"q\tGv"W)0)-=B=B 1}ާ$]kHBR96k•?v l". N+65y#0wP~FA~`tmhyW.9fOsvQr(3MH;U'[;XNvj|@3dcUT7>b n"@#2SBb,;G`'4kSvRA"zC%uiܕM1e'Hf<[DD9Go\ & BX9(D<UEYд2Ĕa[/u-Bmu[{Ć66z4`o>1P3sa,Po6 p,Ir&/sCD- :Y4Ǚc oEpؐ]i<$8KFA jih@[Ҁ)d▯$FU8sU2,% 0H 念L@-9[pzՄnl}g4+v/VhN7!?}-E`w/vc@9(j\&V8`a7_?{EuI9~z{w4Yۙn UsL.A$̀{C?£,1pEm?d2h`Q"yvŭ(7\3{^]7@Lg[?c><.>yg酎ِԋ$/VU]*ld$$޶(X]6OijeH - fт 0PU"1A 0nsmBܝ) Ctut}[aĔ-)tsa؟ғ!'̀ ѕ%x!^&V)UGŲ[PqO[P5#dIu!D͢rP{BwC@Mhl񞼧0^pȪ~a 5anXCwz0fq{.v=%ٖ2V PhM*O9@s&m s4u&lW;8ʦZz%3"M?9j;+Ѡ!cɂp·Q\ߑވ}+T*;FPل!8~\iYJf&o H!Ǡw`qN?w¨#=-F{VF19!b5R*'&4ޱ`3 ҿ1yR@YB}Ư9Q7t#ӆ , >sf? N*+>䩐EL_ rFypN dǵz~+R#ExZ҆u)t&֙ɒ_>;ykrbMh?.f.F%P$ĚoW'nlO|M}rDdoH?Mݟ$0 QvF,RLQ*8Nr*0{ Z v)&&Prb'tMpD4Sb*un/t75[Xt:o$&IƷi~vH| ,JQ\'$[$_>fBJPox F)'Vg:-9KJ4?0d+{3mKm$J^賬 +?bW]:+Z?׾{IL} rZZS~3ry0MVO,^A7ΦcWtPO[^IOXqĺav;m/Yd/*>x=/I FcDWs/vk%5$zK-P*>8q@ٴ:B:"{eX)C5-NIOwTDDPéQ9-Icg09,ZmdXHq%;lm_b.{7DO>YR# @h`*4[HnVydB#XՇp1-UuL*\*M]x2zQ"{^bC{/[to A+[: @;0^@.i cceq T r1~2#հ_$)bFϦ=X5IEsBɴoɔ0 [k̿kii EPCD@Lc3uK@w#S`SY?3^P% `6hKJ@$~f *MRx\zojzrBy-rτ'|޽DTCй niGq4?t=#c!nݎoIL4aVT A7~+6Fԩ{y+OuMds>E߆mc^+*cY[P4!xGEDh[ȝPfZ4 7Yn oZ󄬏:P[WNv"^~97Y}Fln,^Y^V@dG>Bl hł1Oۃ~+FF б} c|Kfs$6@pN#n|'ULQvt>l; ɨ9qsTyrܷl@y@1w﮲"{AX;m`}GJ>wG |s@ց6N**6^5$:5~ 6<ߐZη%OvV͖Z+0LyERǹ'?8'-ap\~̶Kx.I-r[T*_$ ̹p4dڴ߮;qر麼no&\܋Oݪuc,'T\ w[ j^R#aWRYr';B(ɴW][j벋ejzT ,܈+ߑL@I[!+=/?(b''ҦR/XU${F5dU?)cclR[L3X#q` 3p`6>h 㱪o9(~_.)Ʒ!? MM9Áb˷,wmfSzJy4cg)Wƫ|J+h1OG RQ^AKP+WSEX߼&^N\A=WQe֨M[-1ٛsIRfm ,I#Qzu0:53ۙ1yV{))"+6o(F=Fh!EF~ڣ,r7ۮNL ^ڎ91\^@*H'ʴA=Ӕk^ȸجEɝ׏K(ltF3j3^g!pLySI; 9>/Y.=\o†_%^aqSy$߉FFnL0f, mNn5d[!f'kY: _w/@<,!N@u]@(9ĐȾ;\OtPؗA-8~Pb XFKbŜT 8C"c$G2s"OT *6a W+ڇ ۗ6g*sf9BoH"eFG ʈy+ YT<ټ1p086ԟ[ !MDP%, @T<ũ]ιz)Vﺋ^>R@$B7Ztp^= ,\Ck%4QcMWtLSc;/41[~vZ}{LR}f]iF)S-FO+*FBqs"08d{Uqa{p|iL2- ?UFf%71a{Mcg#j.0)%nCq= lg/xhttP F̏ O~j`(u{}=}I*w5p~p"~b`D'܈ZfnZ~ ̜"yJ9!bG A>~:v0QndjZZ78 j^M=IQ7&S]̟ȸj;Ld8@"]1f3V0U6p,m5g.\ I:QvR .'5UB {`@ +E??_zccy@}#[7zC~̶ oh˼0\'kRW3u (-LɨD"wh^LJm%>j*҈-:Ҫi#pԼ{D9}HFx9c)o6ZkOڱ-Y5 EP7z=ʖa1sk2$ ܥ(f͹OآAτ$u3Ӽ]q>=mѥjG3Vk:l0og@N\;Q5+W@Kv¬5mni|LW_BnM^+$?.`u#w$\;"‰=cwmvuX;0Sk,)8E}V|2"z>1XV<_udq>YX[ BݼUVƍO}%֑ⶍ5CItkwYu Jn2GTGR^w(H&Dn$`.yψ_Raޑ{\#MI=m1\>Y 'u%֙ol|ZP)ΣwZl)KsyF rC ^Sln2($[- lW^z$e a|Og29C$Rrܝ@8*嘍NνZGe<] ! P&=J ZlaB|i~>}%p^?]ӧG&sB62KT0yn<i`ZNfFoioH``*v!#9n*Died^YIKlvaqln_q-~{$f Qpz-d65Sץ=$wV.+qޭ,ljF n. xb-UQ?K^-,4Е5OH&}EvR<S1K̎&X~WGJ2Itq) bDh@gT Βi^ )+ϜUGI8ڙ66X5OÒ5/X+tRT)ө_KY/ZT{GZ16K'C~Vd '=S$ s-MVYOoםfy5Z-410IKI#TQGq![[S v&'袏2TaKqRѱMٟ3ܕ &:]KOP%5¬Tl)n0^ Ӹ-C{2ħp7BCXo0jt+i+ёlƍɳ]܉4}_e1> =%Ss2X!a&Itm /Q+X7FljXƹv~;vv1BWf̯@YYEˇ8#t\n4D1 ?E,YZ7OEpj!6>҄EsV8uw-҂,C,iф" Swmkj>rz4&V("wHE (j']lȊP.TϟZ)QUR@x_‚Ī:eYYC-޺0ﹸmNkˁw4Y ˼A?801ARk29ǔɽ p8oH(GʛB|Gή԰Bpգ}/<*;]_]X`Q0c+TI)v%Kv|&K%|F^1F%) r1)~Kf`T[i[FFMOvw"my M51U*Hz.WEbn:WR):~ _(6740*.Dp(=&~)1/)Sr ~ZsG|%BBl&4QyϨw+ȼ_K?`Zہ>SYehϼH/9Ά'{yqpHC Z7b &RvӅ*)6/O^(Q;)b>T~Oc÷k8h2O)ٛeTJo9Cwή,`pvmةj7n@_T@5wzF작S O;HkQ_7#Du[8fK֒o4d7èSZ^vmjK6 ̝AȦZ\6a9OW40[-Ih k,eY?}ε[\.ݴ0Ճ^Ҩ v 5]#4$"V]ŹL۬:?U%J|y@|G6#R+=P.`{w`ǥoL}ˮSgHR#g{/s'[ײu %t(7k `X[CS\>&#)pbTS_inJ NΞp'|61y@n挏=Ńux"]N/*N.ΐoA"EY农ul|U|d W-^t[19cnlEd!H?R@yB R>7JX-)$ř$cP>嵋sӋOt4X}/e8]#67+r-0Հ5L->.Lp+j:45_KIݢ'Qa4Ahx<0{%Ժ^੾\/Jql+o ŹbY:eոInrF|x}UsX* [`1Hֽ,ủo`Mآyu$k +ى^wa['_3=He 1}G,9)Bla=/kPE4.Kq)VZOM1GЏ~AE$Wp_̂7dC Riu1OP$G)ܢwR'F_T Pž 0-R( Z`:8e. \ ?2[v>~?=2wbb 5uagJe .]l;h5xo-WؙsKKp,4Q%|x'Z1р ~kaA\aG!d+d &K^$ND\ d)}UH&t3Mу%; +LΒIFךS<9e}k-̘Wd,­uyHƐ2Ifv}tC$JD)݇6{f}K`S\vR4;Hнb{F P%vPHPwMB!>ɋ\|HMKΥ9=1us|(1/"ӿpSa/-KWN<$]=qeE?)f ylD5ߍ0?+>:G& {ϐ̣hOXR'c;'f`\l"{VjJ;vlaXـy(d?Zd_8DbȔ Ze/P ȫюP)ٔ!ѪHUGkOQ+ۡnAmpn7,y-D=u\zmm*?VEY{>;/,9RΙZïfk0Wj^M TPT$ efHg67 })6exg "'M橇=k''1dR8 6̤Xd܋Y9)_EL=US Q9*+N(/+|r+D`W`Y;Xa[h^rCgu[ƈY.]$=Wu|:R3ճwL${?".RCxI5+y ͐!,9p[ڞ>k2ƏPG|.qtZܞ;jc;ђq}ST-Wcy:)GCZ(0?C$at/`¸S7lVW4-˹ZCPV0S90Y3i 05D#1J+N4twCPeD472O7$4>>Xu)aztgܴǤlOFފ(.[rsqGk' PUHvd&E#SrLb9 #r|nlO7<ّ~N2BLK5ю!ymOd]f7% U~ F6o^NS!W$Fuw.*e1jElz;[l6:7Ve7 (N"4`wXˆq8plP''!mЊ#SKOV佪;ދi).JcQ0 ]Wl'`0HU]B_篼*z[R<9ŤK@KG/r*Z|% 6J zL.`;a`E;aZ!{`'GlmgQ7_3uo doQc|lLo,xQCSsޑļi;@ٛ&f љbl~ Ǚ"mt-BN sys#,|5XCDvo>Wy'bMMvxxR6.g?a5c;I{7,0-uAtS=C$]{9.kR*%-[9K\>d$`&2F.~mχ4fA8eަC9A]֡\4O-C(jO5U#(z)yhE>9zBvQ `ta?E[LyhjFwhkmX&/asW ˌ`Sу'RE'y/6.#DX@CoHe}2JgYZ626ffe65032703654a13c1bf6dc43dda6ba4de625308833e42188b0b8a4ba04cade0b78b53662f37 097818033c36579ef3719def6578f0b87f850de6 628d31ead85c4f9b7a48f5927b08c1490cba7ac6