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 .- Tl ]% HOL-ODE-Examples:threads=2elapsed=683.304cpu=1290.856gc=25.644factor=1.897zXZִF! <~]ŗXf1-/6vR[$ l0Ie1 ڔ8e N 1(؛AE{ oFY13q+^h2Ze0׎@۷ECWPng/$!CFOAߎc. :R Ze(KPOXpbGT L 8L0xm-rOFzǟWkr_~)+[[pX t?u2C p1LZ #_ܳaJcrBOb5ђl~ |D]Tsw1.K - HOL-ODE-Examples  T3 W#.-6x`>5jZ%Ub Sx~.ɋFNtBQGd~jFz 5$b-ۊXmwl~oN6D43l4Y0=B+7D'B~͏TΡ dш(iW̗&>Ai9l]J2XJ4tx;Oj3FfQ!,3_m@@i'6 /laU< yKWqtUy:(Rh< j˰_ 4z߄J_%إbV |jVIQ)s߭t5m~ p ]>$POθ["ps K ƽgv՟  xg]š *US=2+~GK\ţE]Tr?noL^M90uM5:jei*w^wp p15Du{y Df/a04J̒LϠ#tC5mL)x$F.#o|\i}PY6Rr W2v3lΞt^GK\6՞5MN^v'];u8yzlw y7|7H3QjJ@mȥ@ LR6rRgZ"؆p`D)?nQ/Hkz[FI׊`Wc`79-πXnP0TSˣ"Q*nе۲M@ y±!OgYZ7zXZִF! e]ŗXiɟ1ϵ%bϬWp,)B?cXrx+0c# 6FCg˿SС騂^]pkx }n{vPA2?Q>lAebB__gt*^CG9gYZ7zXZִF! h]ŗXi%;@hPǬӣ Iڽ69r.4nų_՗whݢie#}eMrWT'm%lkm6ghjn,#x%^D*sgO<ʃQU2sDA_)Jwщ#ja:+l8s|=# )Ht{Ѳ(Cβh~Xk9д.HDAxc&,q*dwCw ~䰄_>v}n43yA@A7x@i* ā:3H Fh ?yH~Z3dY'[Gvxi8"caЙ 1 :_F-YZIH! 2J4vex>ThEP:X#e F"6XӨW=kHJ-H,:o6 rkJ d4eD CFj4vtR>`u覕>04VB;Te.qg DW0AR#|3 oth0t0/ϖxDO[5M]DR %a,ܽ|#䠣8?<: ' A)sùvY~'ʾE #nNqٓ;s5V𣀦1l7m~G~d&jGGɫ5faVi; {jϘ7^.fj1n/_`Ϟ.ŊMyZZFܖeq&$+mh ڡ8FW=)!l=6lNsQEq{˘!f@1 (RWRX|; O$JFq[.!̚PgǡEd5PB " Υ5/ wv7 ܔ=雄!dj.qR`Op_ ݔHpTp~Y.Y'>gUb;=#~],hRI$SA&_QúKםB _v ܗL!:,+QqCk[(W_*7ar38bUH2,lG"2oi2{~EkSewT1a%/{=AK P iu?a_$6|1ҩGn4ظ#Y!5^oI$W̠c&?'uԥ: * S#TIM*e țݦ}-=GoQ4],X$=; )$"ȵ:i{GYciLкH80gB)ϯx𬢚_}iO=+D\,Mv.o; _\ `^'j$EE>o֗!aW]8#G~OVJՄFy3 uGFCԱ(dYFG{S~NB_`dm;kvZh׹Ko$7uiS&CHb,EJyCȴU0!Н~LneAS~|p⳪3'(By[k,W9 XYऐ%`j~=&fb܀8a|=VbkE{aDo׳Zb&յfZe';6iVj: ,,NA DB% Y~?q+9.E' NNDgQK0~CU S)v!-hݖ0GdMY(e{٫N9w,j5ftL9#z ̕ .v~ 9(a& ;6@y6N`n{Cv$m,,r± $C>\p^G'D>K}~< #}B*QUp9$*B0JV̌nX#LRRN#sTu#f+pQJI_sw$DϪ+bW[3V%W{vpԧŻ>~|F낎yo} (安r,VFn .pVә>(51EƉIO i[ڼ*e}N*BU1/ 3zY %y. 7:k݇CW-R^٘>?Ĭ`f]nLSi؄#RT?{mx`2#4Fwz@> YnBa!|`6ϡs@VP7&Ty|6~rϥ6J^8WOՇOU\_< bόpk ȗ;4B'Q* 9=}/Xz1&1VS H1V0CsZ!H߄k)u:^@y@;T{=:[s5j_(pAIߟM"d#-d%{*_a[[V?q>qcdi|? >wkž`v-ӛEB^3U3”r/Vtf5ag#UouxC+7qy%V_37k6rr>5%^zsd Sdޏ'I}Ic Ug!e㐰6ýk&@aPM*`ߝ.fㄘ'3:y`@ ,L2­9l|Ǥ2} S1mؿ uPfo:fPب>KiOri]1دyE|1s̠r7 uer7)6vD8xh]#C ػoEvO/S15X5W/0 iN@_vCvE'/ ڌܘ^@OkE-ܹ"Oʫ'u\ێHjL^!+Ï>\eL#󂱍bc|U.~F@.@TމtinWLN1_Đ`7g酮)Խ i& Hp2RH,xcŴS.:/\k͠L4lroP&ʩifL챿YRjg,\ķ>.N܄{%B%*tbn|IxjbJwͰ)l.t:cL5Lπ'o)306;_ZAf{))ks1g[s<Gt52d>[ 8acLoXoa=54 %Ҋ4ɉ:o[ bq iuIs\XɷR3Mw80QOÉV*JorѺb'N'ۛE! X5a郂9XG,D\ioa9g@Td;sJ.o:K-tIXVCob@S,DZ \vI fp@t #%g_,e)ltr0V7hseR`m(&(MMiYGj?ۀZ9|pHOSz(Zظȣ2ŏ ~-(2.~4/Ӈ,IkE8,[f+\@nƊ9.a |ȏiWHt,޺YEhBf3=P|:Rۖm]Q)Kn4t ?[IdPRiIߪu)Ax c\ԡhDZ7҂ [ňDIRUlꌤPB'#SBFlFz1sC߲>K0@kj|~?+Ox>QO 5w_.tD3(*R#vP͜֋2ʩ`7pd5抸.(zs#sҹl](ge ޕ C "` ,ڋӫs49&wEBp +;Q8k={ *#jR;g.(p! Yk\% )2qZ\"^3_+"]=P{aw? pک\#AyTzPd1\3ԷgGA̡8I^B(Lv)QVѕT48:wX6D$?%^^RwH1F瓝`<` `vׯ'B+S7=l n2_+S"ljC@TTK0)EQ0Zl{BZz##+l 5^xI$T&ABrE-#~JDϊf-j[n+cRոc#9vd<%z1E[ kz8=ED t "qSr͵+Q=vG.c.H|ycX^}ɷg`U*xqh[cmP[MUB ]ᩞ1wzE-T1fbqձr& czlQנnT sqҸWqxﻤyp5U} $u{ 7Iňx>}6OҜyݻBt 㙂BCpXzm`er9M"^rE%@{1CQN')&z{ bMOǠۼmy4LӦ/13iYcɇ!PV1ms=pz(9"nD<ܾqae`HuRrIWNh/^|5qnOK4qm`h;T{%#P1~O|aw\)!P_@{ -Tƶ)+'gdȏR rp]cզ2?84J\(e~QvI1f1 <|ARA8ˇ\ZlTe pH KBt3.D?k>7lUR3j\:"YWGaӈMxJnt} \Sy0|D,JGi[?Jn8j g:WuV @S#&܋N*j\Szpx܋=kװ4nvC^\ expóםÓlYVWK= sOgjgOl#:84:LiƄ5:% [2u6'V_o( dvmÚv#xe*VW 2']~"9'\q|JftO2m#60 XŘAcd B-nB;͜S^]ٙrz/X(dEeDq*LB V}J2pIJ&^ 0piO.^Z>94$w/,N;D,i?Dֽ֢Ga%c`MjuK'5Xy1Zidw,&&+%R>uHxxYi1J>8BrE yb1~e~r9.^CVLnCt~1(Dxse׶4j<6}4A5tx ʚZTCfi7}N)xՙ|ZQg5R$qѐ)>gyӰwHΘှ9(mJkIk W8:F <myГ_um:y!Y6T6h`Qe)mvO=AZ%\zv=#>#ȪlO ;\?Okf7U81~*S $9*4! !΄Em)S7]V6EI,k~Њv`zu)@ >Bf@-i/tjN%(;^Kjԟ>ёT j}e/@sI֧B|rS|z˫Or mCCP$|d"z:cn 3~&?i$WB[o<[XNEV:r|I *M?>h ) (O$Hh.dhm!ܴJl[mjh/W|9D:wlwh#bU Ps`?X9Sƴ^b$* Rǹ[_WQn'2o[[s~C@~jWHB7&dɖE?Gn]oƬh oLO??6sTȫ浯_1*\Coj}.Af_] hyo1^ Um9 ]\7)~E {ٿj1X#;2υ]3T|QkQ\zG(.TEFFΈ~ noC$р#^_ű#7 ";T0Qg󁃔t.m|MV#5IfKlj+0dh7KnlBޔդ"õɬlj +:XG s vak6Vڗq;F]낪ln>G4B 2O^ߥX4" Z( f5ω,Pflf1&g2~~MƤ Z&+^aiz?{]}!dE`U%7bsj!m*ݷi-,v(i'yY 0D}QW'0W)ќ\|-9Ɲg{0H԰㕖q;16W))ᶎiEހr0}M>ImSh<6Lp&>.}[^Ë^rr:'kuיTD3=?G!~3.C`P{cB8S;`")Hp]߉a$!&ӹ٘eZ"n_B(oMup&ٰ^ęPW}ڔĖE &i!O"$ʧdGC,Lm<}Ns4P+ݺ.MXf@GƂ3]8y ޠ,ȫ ?%qcyT%nm6G<u_̆g6 &k⭮I\bU|q/+q㩵$[]lRвfFF`DbL=*1˩vg=?yAZ塖Wm2 B6fvk$D\}d (Ez >ϫ?)+e65A!,&y0rS;g5ŷj&?x:ox0n(NuDܴO?$5M l|pKMVtYAX~ʷn3 8Y3W{sy%T8%t'lgHe m>O)Ӈ0SȢ1-!^)РOM[y"IvQgq)sH%ݚ=KI*"Úfff#c (0jpBKPUf!s|̣a.i`)5?e%>vly(Vb>Rep/s$ƫ]1Op ͱ#0TQ HA/ustH1(tX8 KA+O}۩_ 0ݢPܢr*<<8\4/'=*.![YTD˄̖) <_l+UAXPEh%<(cW@]mE)I V>:ΥtӚHPR)~E]L]th"hW*x" AnlT|S/>1jAwtG_S3t79Z$M3R:\AhI|ebD UbN+20I-<%ᶡ#q[c3!AcV" ~)&v۸9 >niwJEĎOKE4>B}a"X&DRuW -yeR?YAJ`koCGG3pYº:uMUj\<]D[YZS~ E0PYR=ZJKa@yc^דqH%vklF}{*]|5c־I>,t-+E`㈋nju[j 喜SPgnkq$` AB/nTȉw&O!F-Ҍ8ַmǬ79$Ph'̀.' eؽ:s&*bUk[//;EoWﮙiff;K]iAAp 7=)F5J8c Mo9 Ux(CC1M_,NӼx7%QC ^IKŲB vw2MUvj.%z * 8?9%`igm/"//jXM iW.3H)3d_ꎶ,,`ۛɬcDŽW#8q]$!XnbgNm1Q;y5*ZWZ)~e6A0./N:~iԼhr5$`Q0a(c͹h! GPxNՏ#QY0 ,)Kȸ=Vj78TXaf:ͱBy+*|VŠ~iCx/R=dm`!w ϶Y;?'3[Džs8YY@Ѐ10󅪕55 kx0f $,Eb+|nW]gt{:sL]/`G7LJ/cQ-[/(h^pY'6l5V+ ,y:7m\&+ލAc]γT5CӜ@|vQ3?{vUJ()`4Eqpa,ʊp8_j=JB[\K6Cg;XI$2zVEŐ kDEPU r-?/YBŝ ^ ^~N_~LJNL֪;ȁKExV5oȠ91".#͞ӲQXILx"2OgFb DIe=hdCo4ãbavۊ# 2dXm ! ܽȭ̻鉀(l ^0Ƈ}Svvip(gO!cEc&N^De}'*fZ9UsΔ4Ύs[ؤL ͮ*$  9<Nݣ͡qek` K Cp"m-F=v:fK6] Mƒ{dk20詜W$Ԗ`Z|sy PKIߢW} [?/\a>dZHNa X oF3ytӯƀ>+JQǓ8 llٙΖeR}H+܇򄤪0]eJ5z9hܑ D"Z%OT4Sҩ{} [wx;¿P1n>4 ~8*.ofNn f|Hw?lףgxUW+cDc7_ }~X(HL{i=ǞvO)(:2X3d`eHǵ˔汎^}aM+JCt\G[r2N6c:)윴Ϙg`GI70㾮b+Y'xM!hTKɀꆴ S1 V[ odd<Y7j-<7¾*aB+ŤLl@jd/Zm.HK˟!\/J'&zR[_w6[ Wp woy`#a fx]*v-eolPiNrJ `L5FC Rk|Ŕ~xS%NLe1>]bp^0ܨDY#Ђ|)oƟ;K;稅zc ̿kz'+(i2ݦт0s^ށ0Fj6B&vAz)2P5- DɝЗ܏,OT53L3V'^e:B:լm7ph(]iI!ȳں!ja6K|&#!` -#9wA>f=~%˩P#iảY|M)O=aX&NnصX*'qfH:rѦ5Y;}5+[n{E= Ǘe'}^K B[d:U3GW?C,*;;)%l? ]$YhDHx+Ur-xBuCGn)z!bsC"9$p TڋTEߘaN@?z# ؍)X;k|NY֑R-(OB\.HF+&ctm jSo-İ)ghF$]K`V*ŧ]:F8 dJ|m{{YFOG.i@1@H"/e\zqXhO~"m.ũ#"-!+̹wi&N~Z%[} GhդD{6(0Ev7`6vV#")c#]qj^VMCl(X"W.sOKw H,$)O6_TfNBE|3/zPXd9 U bD/](Zb-ZA9%8bP dS&n䥪S~C#;Nطbr=,Կtzp^;6owD8vKD7KiOM!?4g(^1HbUԐ[1ͣRaYrP [%{xD'ZBoH^HtԡGgcBsNQ2:=`FS}a~w="42bY\3Y`HbyE$.39*}Ʋ0Si΅;>Y~D=?f*IVNz Q|R48`W(#wlg]t2Ė/Amk0V\%AY2IW/V쏐}[bVNq瓻T% s f%cZTcGuj4<4ҦthhZpn_LLFMxAH#%.#Z[ZODyLvqU%T~30K$f!wt\s(Jc aSIAVx϶e.YJqKR"tL'eN؇-?^uJ@~+B9OkH'?;ay:if Tm_3Djz*;"pB<)jH74qm\Yn9{׬"C3*wQN8BNvkH^B+{SiNT{a!~ 9Ozı=SD^ zt ogf䮝Jw}o_k_/|I N|u)43Za(^JqSԙ*>N qRs]6nLHj\ěq#+_X"+ώ{Rz-")zM˷I9NIeA iHl!d6<,VXq:9uDĜ`]y Z\OIt =v^ZȉckAtøa8hjU^XLu5E9MQVWeK)YۻB0UaGl%nSޙc 5D05%yiX _'fsz6Q LJTO ȁMe E AU&m7%&_,]BtA|2\BG|M͗H4qJ3=v@"DO]vkXRJm?%'t!Z#uC*@+gRthˏoCcW6ٱ[$S g֑K9^m, ) ^CdA k2旙;ncBLD lt!fV*JL|KyE:4JxoaV'hO;yzB}\5[8TB8BF$>rX,=6iXEX]fţTY~ل ɢա@8vCN)&7C<k R"z*Njļ:z$0uh*GLFV ċl{|f6c:WV T (R,As=Zt"0iAz{ 7 #3Q5%" јrvi=ęA@K5DL4L6(%1p:|RR}@3<$4'a+O''6D"oC,<;Z, [ ~IyQjᅠDYn(FHlU,!W'8>@'0q[P%s3+яp"xkaidxvYìY 蛪k cg?#5 &綇~rn'i!Hˋӑ鄬b0.ckqpvr+Q?j]VAVotSjgC.w'*kGgSS# =U>Zq:wEw Pۚhg2y W*+1ÀM?J$p8s>,XؼJO&ClG5WщIVK'Zs됝K"!{IT-<&Ɯ`*ѽG94<#j};O82q-Qc昮֑4H5_`A>,:!UOQmtYZoF!Zm3_1uUȥ0I!b2癹OYt&YNXf5jC-Br`kO$q$^6XS[t).AC "gi/^Gi~OOGgc 4f'֤Z 5Ȩ%4 $\!Hإhy0/w q^@f˸ڷ&8g<+7JA`a=%ؙ!0Sij*gS fh(nE=-;[f^I>7_)btK#܆C^\)L UodF]A}AnFG4k:@T{\@Or8>&bUI4'?GOX"ܶv.㉫L!j82G u _~Z}A:n.znW|1~0m5]=*4!+I͓r*f٠?$8h)ej!0yԷv܉[LOqjaO40].@x*ϼ헀swb*nIAg.mбnC‚6rH̳mkA, 'z薱<$Oe1k躟Ŕ37zʺMP/#RFcEToa6"ctQAL@:yi[C>)Y5ko@ӎBj <ׁ Nъ k rfnJQzU4ސgpw_ƒv*8u;O5stSlP:g%}w#Hcퟢo9X 7p܈`4Kbr(+>Ud@]P&0ÒYgN TC6,G轛aw..uPƾtB(Y{qb0$-aχL}?y#]=nǺuNǻIYpM=!hwoГ@r>ll߭|<4Js exk +`5O&^X^ٹ~zj\fG`pHw-MS-ٮY>=˱,7 ac JEZzxO̲Y$A&͝h}FfFǸJ"UVXq(@&e_f -a r?ȼu7tS%yCq/'3LEXvUͣ R||r/jU.0u l"/ jxu[>SId@Gqgd,çhyį0 +{efhwO)}G,6bBPCYYBYinıMo'Ī#i!r Y͓kU&dNYXϊGlݘMror@ A\5⃻d_:~q<-?1M*pkP !8'F>ISJ KÝAKz|8< Sr%յ—=T5)͝ uަíi\AkI"?lȝx3.ىx;O= < ĵ^̱M&0(5": C"Dgst\꒸ͨ&\AtyꔧzV(Wx ŒzT+MĎc S'QmS><6& ky o^,=_t3yQ99"c|xҦ3 Q Ү~bXU:twk&k".%O-f R -(4Zۯ8 2 iڥ28V`7ֶ{1lݝY^Z^R(G[|{7+6Rp${HȟRi ŀ5x]Fj :vAaA!A-ҭl<( i3u{,@BUdKK}Wm|Vm޹sBDBxw6_YoEXt-k|RQ*j7 .~Ւ'b_ׂ0<) 2ǧU{uф~[ ds_׺i J; 3&ybU[(,oV;~m 5mC<]q;>͡Il!e嵯q()%FR'Lj\ Al+Ԧ^*Ȯ6R驵;wPW :nz+%NV;+*;/i hWC%G;CG i?<9*{v!}xR`yיs$/3u/Dvw75h܆ XpgaQʹ1Ӌ .&xZzP.&]Ub6acsHPA|wXQy<}D(2!-0F"L )Xz_X<3ٮpctz9C}{nOZ_&˞˝{dp}kv@Z.Kyc3n4:-P֭L{B6 IDCgWC7rSŀPmpCN2n(_ cr_KYJ.q3l*E6b>6ކMo-!.Y(?*/F@ T9gɝ^2(o*g'f7~݄S#cR) Ҧ4j-U~e{:UPD5/x:Κ󶽭(:{r<H9Í@ !w^СM>(ӌ/lvgl@tG=STߘ]4tp',܆=ZW0 0D'?Kh.dbwX 0Z>ș*am\g CF zi@,Hf @$!_2אd .H7HDžoB`B;ka VH VhSyFkZQL1:`idZ6 >_tXrL^/54NAzY롆f#{֪KUD6Il-ARE4ѳK ;3Ɯ@d"7"e:M̪е!_!;O\cnt5iW^TSvn+(m-;N Ϲݾ VK2!eg|V˿RŽnFM9ׅ0*DBSuȸ w E=6;Y[x)zL &=>W< 񈬎>QC1do6Ĩ0` s~*#Hr,J%$cNqt\ENBSt/~JD&}2rVeqU_D[ "̼5a$qs&ދT;t@ ۧy{w4"!C~E)7j˕-ipo%eK; rJ/dɈ,Ii12QݠWϮ\`':ϒO^_8 SAiE1 s/&Pt[$T!Ku`)p.-*}$%;Ҩ:th4Vfk7eƢ?Mf| |Tq ۨOFqŇ2B^7Q$+^u5 r68-` ob?SP[O@Ђ Ώ˝0d,rYweY7њO>m- pi~"W; k kw ߤAZ rq *o l|?iEwƩ/J07f JHVLCtYOQP_U!l8zjI:k3< #Z؉]hls[]'֣g@w,}7!Ws.WNAYu5B6ere5#|+ G`!IoUn Z[7QoD{^P+-2<VY^9p]$&^ٳdAFw+ -N6=|{>ŶebE7uGky-E?~hG F dǼ 6 RqQugwǯ9dM?Nxotˬ#sy֙ɠ `xz VIf)u鏁yP>a;yf)Ҹ.!GU/BOսzL5E;5wpRLoK4X\B~NuS`j*K_-i-x$VG/7ܲe H'Y({L ;y΅(t* l6eS ۡ%i%nMm8 c[GLn-q` e^}LEto^7{6+j +(| }&J\_ Fό =6ݤfوi6n`W'%3P~13ZMB ʐ@.ACL+2*8Չ^t|}݈Sޜ; 0aa:׹^Ih:J8Ca a>_p/V,nk&8fCq"S 3|1TY+ k?=`YƇ O+"SY}?GkG7֋vRÄ<`3#fjn{5A[4~vUBF;k`,2_%,;,Lc@@Lx L[gefԤz}1&;\qVE`ǐ;RʚpGg7 Ol~Ckx]j7)WE`<4>|B䥁[TխP7ʯ' skK^Y=ܖ2rij"BfP T+,u(P1 oH1-(p9Q\SEu:o^ V+VA&3Q3bp 8[/ٸa8xdt4irXsLs6%hi@z܉͝r:O$TUІp;Hՠ}Út;03߁5"g@kq_거ӟm񥶥o4:;hֲӔsbЌRl= C:vkUQq_5V#ΐǿM}i[ez&ŒҼY\۫/cs43fmKXeALb؈x+сԧ\.:_ \ϱrٞI!-}4$LO0>ù)WQ9vY+=iF2͝7w4㘨b- z[ LS!a.n}}n<˵lb&zdL,R>+.< Q#![9BlDh`,TuuA!M]ٯv#[h|:SI*7$'a(xoࠗn%}4d"]IƮ@xS[LX>[n!Vح'E.M4M)Ûݶ63d4_܂ P*/&M nHؙ\H CUw@1QDW 7]rT?liL5V־ , ]8U:ҠJkW55D#3+P|Š[J=zqmRY P[(ֺy5M>BXu[eq8)=ȮZ`@a 1-h =sk9\Oj`5+?s#6F!hSVHSƍpW0Rh*=SY%Z!9?XHS/kVP }ܮslO71Uu]T~Rd8H2ErIysE]mc(NwRj3Q5N 1D&qB"iY w<--oq8;/zZ gB`/u ,JwN5=r2+1KU-nxL#Kz+uz^>u7S\^Co&_%iZTx"$]L?\2fY"Wjos4w5Ve"E"QwiDw0E)ƆxF Q/hYY|~wx^QSM_{1I--ht0AS<[6ݜeJKˋaRxn%3=ݲ/qQ$ |m%,ħX!@GJkZ%"շY+͙!'"Km`K}/I}RS"7BEGIz*4xd* Q2=O%=[(`XVxdvyn[F+}ƣ~')xc>5 ~tG;MB?4ymI]gL_%DfޚMLxy.)Vb{*SlTy~L&18,Ǟ ݉k:moB.[ N6]c67W%[/'DO܋6!/APNh?IuP'0>o,>Q-HSKRk߽O** M5ZhR7F7u2c՗z8;H+;xUMBkSt7lx۵CqamqO@[5CV`8?"+ӋsyUD;!=) AÉiIJkވֽ2_{FZ"& *C# #&r\zPY$d-n9L@e*iD\5xP#gEK.AFO޲uo7cݱڜ,^ێZvoD>:5R56MQ;ݒk+*4ڭhiͼX77uJTIįZp d>٩W9Τxgzp2Zᅥnbi u@Vj=mK$--\W PZ2j]gYZfd428626160791511473d27a08e15263e360b7dda70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 bdb07c009ea028fadcca50675dca42ea3fd2d6d4 49bf364dbcfd4109ee4c62b4d330b85418134505 f8153e7806ed81ebdc6db4b6e448f2127f750ec9