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 -4d ]% HOL-ODE-Examples:threads=4elapsed=567.798cpu=1628.664gc=8.904factor=2.877zXZִF! 4]ŗXf[&}k%3ӳkսOnf(٨@Zh,$c&ޞpӏ)uw{Ecuqnlc_zѴ~#1= ^5ɨÄzru\Js(ev l ?L[L (&Ro{.tH;_̅w?56kpus(>V:|H r܏z·-R#m;J4t%KfjPm _cKS 7Z|{_|~r{}HUf6y`Dnq9Rx@wi!Y.ig/D=dhh,=GX3U)ÐYPrr_fe}p+;}~k,`K?BaV>s%Oz(רͬ .%_kOliCDxb&c>8l33Ñpv΋(܅ .6v6i=a i!`fgYZ7zXZִF! f]ŗXiɟ1ϵ%bϬWp,)B?cXrx+aۮ$CӶ},j爡*6ܴ0) v Ֆm\/Y̓p탶lzt:gG{`A?Sü9@jxsN/ke[Q9C G)] WS4P|( Z-J@O4b6Ӆ>ScwS1 Ýtq"F`@M 0SM-ʵ}gsr(e3%=E tz(s,1#Qm,vSgH3Mi]gW1avFAJT] 0KIpd.X!#/fbJ '|p`ļ %b{o]T.uwhr)cùM2CqIl3jToK\>fUdKI=nIOAi^DvLI-ΕvR+@׆M KXǐb1K(B>062ԋw侔(E];aH&Km/( \49=eHQ=}%[PckLM+k,vi$Z1quTMLnj+ XpYb(2M݃ɫr +[ \hY/lH;ZE!`R nT-,=G@ l)d^yZl ο/X,xA^]#d8u"ɦHೊ}Z~UƑI[61O)rܛ)nO:|) =q< Z&vHf{ j gP3V3]^Q|LQ =-#W(Լl=KnD۶hϯòHÅ,X0EݭVT9Xix |$Km[lyk^T߉Y>.)}͞vx3AU:y`!}CR#,8HrJdD0@[^DOѓ|LըܙR *dh_n3)d74lPw-zˣꇗs9N?K>&CXJZĎ7ó u*SqQN߰ԹIE%Ack+#W" `?&?_lixS_˧Ȫ?}cLU|+P<*.`>k<*xбu "<\M##La)[RW͹? ;aBLQ )*̳/M(\&%C˩T%BKKCB?[\o &;#yMtǹnq5L?x`K%=nEd({@fTQaHh@ի5ZN{b1OkbxڳiObc{,d9m \85KF4A O褃:vJwk TlH!#E%t! ޾L@J!DmXٛA$J~}F~^uLր"W~C(&V9O0Yy87.L9<ԑ1~btdo9|YtwstF!S EZ\vN0+,;DH3ƌX**$ַ|+xEB7t4F1жjBۗ3Fy.2?> 5{Axഐ-;E귂~\EŻt{@͓]ωrYFMRkL3=q[tYQO6+>_CXZOji_`iQ㉡eK:79Q1Ʈʟ\v?WWnŦ>Pl>vpo ć'8ҺDoo Jq:Fs!{l:]_Buv}Q]٘߇d`r^#TҶB ,[#0DYeK}pu6"ؚp_ ^<&Yr%:~A2~ſ 6N ;`E)PE3+//1Ѻąڬܳ!g=E A84a$ȿݚo"$;D؃,gg?+ީB;Ff:dc1TS_wh`ݶe$}pOc +5u8 mNs?$+j $L hœ*8Pt0 7PAG71ԖJĔqTY5Ihan$[ch>&+)(d2nn۝M.{|kcsc/P*A۴Lb]Mq"a;S0'0+-M"+ߙ39qrtӌ΅$.;%Coۭ5c}JrZدq䨂]o0@CЋ̸P5L$md0aN uc҂6[qa]w Ty_x76 FG/4}x\ *ց(*p/^Famn!eleJ i1([R~d[E}*€gps9X'; &, ,o%A%LK O`Ġ=<ʓi, tzPU\s^G⢠.V瘂 D(grq|8CB'Ȩ`ci:T|~=_IP&MefOݐY@Fx;ǰ Uӡ G6 Iz)׍I<JSNrrH 'O# S@PJSX-8c/1Q  wNRע]c=!^YߖGp3^¸{ łp%`사)L,)$ÚX叶I:h>@H٫sVA#}h A=XG~<.NƂYmnk.&͎O_"PxeJ!t,*@s7^" ֍ly#M>$AbbV {HźNL.:dB-^P^b{69x^[4!;,%_2 z`A} +:tJHҮbhFfH\Ҟ\5xuH&2j$rOV!Y< ߬ՃI33H'ӖG×3912]bLӿ/FM2D%u|JWtw"xE4,2B$/Ō_~{>9J)CƋdɯ+_k3i]gQ{.^>©5nՐ0ddexk@vN`e?vvK%򩯋_"JZBEL}:U O" -ya*vL"|YLx*'k H s(?F{(w Ǝ-*y{Z9{FkWRZ4Xm39i%%%sGv̓_9DB|o槅'd (@1XĈA-[j\pwtAz&HڝL󪽦E9`J jU`U0@BW'JNh2JqñCbJs4oml 0>GؚOϠ}C}F ,Xh5SX}^ yI_{Jo'WC@Yi$L.> `7"H豊'vk<4;H&գN]E*{$!~[r~ Ưk^վB٭!9OgH ca⻁jY̥m 51,Ȓ[e!-XUs`;k^򠒯Rm()˱1"b<5pL'ppC.WeK}ߑyAcU Dy>RVdwZIQTj+E* sP%bi9Eew|C!L; Γ]HHi OE<·S6=K矎`#,dlX#òP|-i'䤷ږ@^kKoeu[p#S) pIE;DYE"̫NMu&ģA[v/6֧ޒv#'?bðr_,dϴݳMQ)C^ک Tȅ9ch! 07Z^* W<%`x `tXmņ9Q O5 ~_|/0FdG3ӕ:Q;V#--<?puqSYeŌc&(m8݅n;Ίh&ths&|hq*Bj ׶q[ӪQ{s9ѳy@,v߮ct$s;3D4h" @3Bi\EY4zDl胺 lpI l}Njϫ?uf8^?|!K*C.wKxz5hkS DV0 FM҃MsXѽtIzE ɲGيsМ>/HÂw^9iZ>|r k|0ǘ AF.yT|:WF1GIgJy8 Tȕ@0V4V&ò TD=G`2n!ה7\ȠrޫsPF@iw쫐pB13X˻A^S?Nny2`Ȝ$+ebH+ 鎖^z) 1GͣzPbWP !A{R l~Ԅ54l{[(:vQ#唛-YcNĜF*u,D8-4evZI䎔U_59"(D4X0e$u\25i%qW}wk*\}(YinewIDG.1@WB6Ϳo TgA͹izchh/hGjkY@M Ed#: yȽsCn/كD1=1%Me`1b  )4ӎ P*{0_̞t4LV0ޑA'\D&pKCZ_\L]~ym>5\Wp`^CtZ8P$Ih|~g8GgBmf =`lZ旌jgy)w؛ZAx0 l;FWKݝ-HI*Ujt/jn gN?nK'_={%4 n4Vf~IT[BnϺyҔߡy&bh l'쎷i?tktf6ILci8Is9y2h=! BF vB>yKMSp}sj {a~cg"7 RSzmz iKS`5)u;fI,cfKI֡!:so & X_.Z֪ ?*Bf`3=!>.ٸ"񑢴.Ѷ8W1V`>͓G?QtƥPC~e;D.v=zr֩1_э|gC6l8LM O""@',gk"׍ RO z@NHvB u@!Ԟn{\_rNC=]`l}1}J}މEW*2BDv uhtsZЩF0ie;U0-^ Ke#]gy[8Չ%vD>MLwNge`rg??SCu^+:2~T\֣+L2YRg '9 TA}f$V7 %ޫ=;(C֎m5qnoljW?߹ 5—!-XEVptu*B(QO:!AdEzFAIy^V%RsKQ;orւ|X[?),/'_8/ 5W9=A{=\ŋCƿ@?0?S~w֒瀉7(,}i L]RYK^'?WWs{𽇅x㜖, کO9,cn1q+Zc>0`^7YQW[ 4&o;j!z@Uy S"Oj> < )G^NSEbVąGX,o @ 7 GN S$P)3`šk;^'Wk(|mu)3 (zv;0QE?>C `kExx+guzR[#Z**xu?F1ȇ ѹjBUK\ء#CfӿT#V=u3 mHcy0WS@6(ǯ7U)j#_FE>L%SEDu SּOnj}h8|GXQ_NES%%BXI!"$B0NW=*c|xzou_ҝ iE58sDku% \wz5c`lΥCO?=k{{Frm;#18Y6zH_B=%t[!iG~FRL#{#Բm׊r ;tndyO}PN y}ɟʄ2&_N跻oa͊!tg'DdXJ~Lsq#uƅN\UK8 i՗.8qlw5Fd1 aCgR56Dp{8lX [ecO{Hopy`tDFϣ;a Jʇ Ĥ,:`jeX2hpv+Z+:nlIpm؉*_oAeݒ!)N[r~ըYlbMwQP'C(@LagK|-ЪڹDI]a wվQOwR$7ֳu7V݇lx ^4HzѾd#]@(*$o2Mk|o!yxgiĽvy|,gh`6WޗP6_Dl)YϘ3GI-4n@ݍDK]-u28_^=puf'gzeCz1*+,^PuIvp"TxGv^5t]g#;cY0yP[@DZ>2v8ٴ_f9i[0qX|n+ْ M5 l34xAϿ BIVx2w>~L'wQL!;Oϯ}@Ʀ>*ކ 4W[D_]_]n!C`jT]`kίϲ3X>'M 1[Q1:y)#$zuw\JX%;Fm,肔_ <{0 {M_E+/I^us蠞.9Js1hU, MqP)NJ@Xux`I@蝨OHzm=|ʙ3v&ݦHޕyIyf>$9x]ѐ]5^L{^z"H w-/sU20I'ďvo*s.O6<58l~ #x_w!m2Kl#qh~ Gr=D4[:H6biY oP%2K czW)Er^ck!y {lA7Et{#pM#{-̺&WSVv'G\k{dXj5ffP D^>f7Ezm" o]¨jc03kӴ4PIJg iU[s4ލe[,T6K< YBHv{Q7U];p[׊ˢ7Pv56~$l[+IRnIz>ź0t zʦKU]"סN2I j)}"Bڤ΀!ȔCy5u; k{6 tkXItx< n5B'щJO#Ih5L%653H#/g4 }үn܅7;9[.,"mIQzY)=Rh?aAm{y@2Cƅ> ̠0qr.K,]ew{ZH@KψP_HOA9GoE#ѷxM7wVYQBZ؂N)' a'hb/gA(:]$Qe ]-J:e ^#cXlN)Dv5:r) ɷ(G:^ Of2U]q#n[Mw}ICk0p"&+4w ʧ9z2bƞWlt(W(iםiʟ݃Jwc|D3a9|wE!UX 3yLx~e9V&[=0z&?]Whs}L=j k9_6g3:PF>M?J^fRj8 EA¤=6  W. b~gnXҡ=K0ٰkuȠ+m '8o( mhtMb+t<T{dl|Oh}z tZ4(1F84,äI~ᰋO=+22UUk K<" eGpW1ٖoOx#3`2#{BfBa_|Wowm|]+|P&L'++? Xm\fBح0١-_ıW/j] h5: ZL ,+._\STEJk~4if926(;Z2pJgVfR=hLL]a_nbeQ}[#Q-õ0zA!UCKCpK\v⠳pL6Bg^]==5EJ+H H&nK؟= 7WhaEf1 ֪'rMV[rIt9lYN9CO\K}rTIL?4]傮.OWii)1 =Y[Ԯ[ >JZ5}xG j~\ʯIt#,3"uL6yZU˾Ȅ] PԲxAuvMO@Y6E~i >Dta^6E࠰E彎xr#uHGƫ\nXE_2"$|vۅA~c6"5ۭƑ3 Q!P"tsa˂XIaGU7sXTLf~\'4#*𿴫;լWж B7Fz;Q,`to ckj~:=!?M"S0D)Ɉ{r i8v^5Bx 60^^oH_wv-^&g+btݘҼn̄``m"LLlnY4WDĜwkн$=f q 9VbP(vEc!A˦jo=,@ Dns 85#+3)@Ħ>h( ?8<&NU# ᗈ5)bUN)n&$ SakQ&yrKhfi'طŗ[RVUjm'ʚqHD# _II()D2SI#UTxR`c CBS[z }Z7GЈmͺFY!PYcRzg}3{F d`",Xt+ف& i{,(fH-xNd2! ڙhn/r%Eަn(CWz,DEf࢈}[z1֨:(J'h%`?#4:nhg}ǰq(5i%v[! @6)A׽- % Vfq>}j\>_}קA; "%yghH/5~?IeemF3L5>鯅%Ϗ9h5l * kKT$Ncν@}$wOZ5F.> ^PTCGͦ2h+k$,H9n%=`^f2t:kپ D:v= ϊ(7 X. u > wwgeZV[ 2@kzU%JEd}-"k,Ы{s ^cjUgk\h!"[:-уEl!Fv^n|6˼Ptɀ-DX9d zoϐˊĐ}K1^freAwEk#%U$mf Cay}n]|MVgruj֞'5dZd@s>a,l]T Ouv O2KZZҟ*6΅J̌$?a6C{]t7r+׍^<Œ290QKt,fy7[v{iKSFObMr_RsBJ>XBpeqD>?_E Ӏ@x>=\Xtƹ@Dgot iZV +RJR;]GB#Q[m ~ud7@9A9 3n: erx |`_C6֥nyvO1:0ĹbQٶWˀT6u׼ڒ-w1q#ߺ(#'lAKJr?NOT,gGRQt*/TV֧pӽ=, vʈIίX{*9 u\aEQb*֡E;&r`)l#*T|33}J" ]i/pox^ȒWHS! 4^[ujBC̉'{R죹 _s Pu#\ΩxdG3]~X S( 1UU&*8^X'XlQ p5j|F\X@X $WC^fOE1/] v l+%HʻNjU=F_2+x|})$U%c8Ѩkgly_|Dct}l\r?'#ATH]t4iߔD?+5QBj*Q*?DΆubΥ%b>]S([2]jZ3 OS[?bLe݉#Y¿1#N Q|ʋ~))D1 ]*KK-RO nHrxfjRkL"gC}eO~.6't팞xBoDɖ :HbX2O )N.惲(W:gAlE;L(Ji(6ʞm)F7Hݳ8f1˝UFSX4.R4\kKҭw8\FO3iTe Z '{hdx^Pi_j/'ڄRdTnxxz3F;w(J\bQ!AqŁ9btG,=UpdJ] 9NJX =܅X :()A$į"iĨHQ/,=@΀l%1xBml$h h= vKcH̆TJ ckbC gh6ۼj5McK^_zbm"@b:T.4Lc"\ OEޥNB'8k2nsA,͔&oA,p>>,渎$ dH7O\l4;CoI P['弡rED0%Bp>oDgtf0]]ŪEJN7_Via6kR2U05fAzy}9cl|CyG*L&(uJub8TBZ/|܈kY:[u庝]Ӡ&̭@',,h]v3ocW d3eG&mX'Η?IA|-qKG9]myWd²î`1qAχPLJ;)k*K+݈.J†rtq(9a=OGd!׸CLFtv(4h̄[­ҺV($w]]h8mN UVy&T(E#`aÄ?{dm#|+ƥ15]C*}(eOJ2<{ǒ]Ot||I|w >sD&f9\]_i։Axr"D@"8xzLq;$x-x8ne<-e5q%uco[W(ՖB=Z+ڀ  R[9=3/᎚# \ZegOVf(uR2zI6[aaUaơGњ<Cvuu ßD 8e#q}!~3Z?.x"2,l%O%红[%!S}Pq#^;7H`. klB6ĈjN]~ۭqeGȊy2R~ܗZP;(o7_15vՖuViaCji{y9[xK+ޠ|24lk|md0%D{:]iE E(Imzˮ?+bPqWZ(#W k IPOb[XUcN@KQ{&L(d@u$)TJ59:+原P ^xl_n|Rl  u2~\,?]O8zYUosĖ~@a) Xp 2j͌[Z3v8f7aR6+\c`lX2Mtz}w4 -|'Cda/Z b"0GL9׶٧?-W VKsRA1^)kMᝂeS`D AInU⬈!GxCݙ!ItAkaoʳX KHXu'=E5,;jL5 q;MYEM׌ϘB 94 ݲ4Rxan驨SK#y"bnJ.h}oNyK 1 [ˌ"/> d|%C@%ҙkiQsmܤNjvo'`RhP5c@xXEٖPcE-0?%,'/ l0H!|uL)#7=:zv H'بb2a@`IOF?3'ۣn U])6KlH9RHHrv4x \T3d(ƙ]tP!tv vuiWL؄u䩎J /2[5|, RdP_I_5˺Lõo0Y,l;q4wHJ|[DQ8Ee&vI,F ׅZR4=ɴ%ϊ !Qc*㑙cY`^ł/["{=f9߁,eAX`e>{HиamnQ*lH8 'F݃Lq? +ޙ=F04ٚSͰ&YB%n5f4h| *¢DRE/}LܔO'8rWmh2̬ގl9 LWJxK6zBKA4 5z6ڷyS)C˫Ӄ"Gtv.$WZ7溃q :R s핉OqBg3@_ׅNyALjP$^ۓ<6Cͨ%,(&%iǨ&@XSAL/B"w~ jpl+RJUz}Ն=bHkA˩%.W+kA)%ٽ :dIfQh+xZoB|~]%IO8EizWիݨ Z[`.#R=Lh}@A*]gje~ 3wnQXe (OtHbo)n%)Ҹ&KQGrX/~ByY>J7aฎby-wcUSFLZ(VHLcVPnYHvt^$JSXl$f=!1u0*_ "/F㹭T_Bp)iKuT2A,vCSwϛR\:vP4:`t<ߚ%I-乮O$nbqC9;DŽ8IBU.sR'39bfz>Ӟ%)yCb\UWln%e" 70\ # u}H Ϲ^'MmsZ@s7XbHݎa԰PPnbkT‡ Ho3D@_%G{llbÂTᵟ?uq=Z+zNSQ l^+EAMރuA`P@ #UtRf6$Bf 'YC9A+] ._ڃ; I}V 2[/q Ov(=2{ʈY*fHB_Pc]ӮϮ8 uϘ\`PgF* yTPT奁Y@ᴱ%`dO_0{R^ .?&zxY~FN,ز}8 LnaV{Z͖60u5 QKʷTb0 !Ofܷ]3 '%T*vEHs569)v89;w8_-ҼE6C69P@Ql͍9Ls.qe,F2WiqLV?j/$5kM4 mؾK/BaQr|ҨEzV9a%c{Ez㨨`} At/)w~="XPi{C{Hd#}b +1Vcԭ MVŖ{xy_3m~ȢOa T"|+MCI|Ů3?aHWPy;9zΕXbkE^*tބFzqxO?Y>+MI ]X.-+y6w׹ةPOCNq7',0PS1vK|&"^+u`]T8ڣP};Q3'q1-4XA-0 c_f dU"OڠcH <]H7ԲfzYST!N;BQOۣh3(UFZ(7S/˩}xGgWX6*'yp5k?C\Q..W!\j1ѫ:VYNXשBTL`? @ފ#Zv8M)3s]i埪0i_)={#V=#go]y Pqaх'qFNu''W$ EVũ7 KmCmԉ]ނ Լ3Mk~z[H?7--k gv@ܥR#MtO1U~X&|YB9X_#x䗘ϼ [Jsݦ8@a>&)=ΩT*&Nd=au-~WQS\_>?|,|O4{&(<OUS*`Qb@ !EN<`7/D@ bT0RV6PࡷNw3"VBxIM J`DT)&zl2K3Y^-XwmK6b! %vqQn S=jX vdP-QeN̉1.^LtnouH% ?A#ĪQ1\Ÿ2SĚw=R&ẃ~IFt+ _ܮ))Ȇjӏg*]pV9>7We07|oB,姣"Jv* &R_}Wj߭8`vw);tCA|XrR*ڜ"qhťPUwb $;d:!LK!P^v=s"+_ H /x򌢔AB?דRI:D Fs+{Q;%:4lhrN7ѫñph1&aI6 P \{n&Wa?4QD#l[ԛ N++QTOXTjP=+Bc=v/ueLu 3793*w $e[k p%$A.!v<+ueUP߼BۃctcUU_nΊS`:Y:OV'bOVarZk͉?1֭NyNٔw5AuYt˔nzxq \vl)** >u{+Ub`EΤN`;[']Kf,2sӴ6{,̃3hG}=I}'v>k1u1w] ]zkd%RH}?bV `WsF dx7\<*<݅?:W6RIX ?RD8_.SNiBČ)BrDI"Nv@6(?FAFy QBnIV=<l1q^*+2+'7x7%rI߬=gvt.E#w횐UHۏz2{5wk|CrHR&Lӑ$avJu%eS[w)fF|YJ~pOc$ a|+SK=Soݲqݙ6|O¡ua5 R*x36N#8bDPv2z$!7'͟0raӓѫxP8~'Ō6D)3U\w7,FXJx&~"~ 0%A'(0]\@>!Hq9Vkf5tn )g, 7!W&"mZ;B/X@3hJT 9?fGWo]a[JY;n D bP؇~yr$(7+he^^XkWG [xU"yf#wJΑWʛzI|)jHзDȻ%q-%d N1z,=O*^|2fC(l;cx$Exf>2r4Jn^Y*Wƹ"=r&pKz6vqYC{9Է 면"x $ƽ9!j+Lu.G7dm8lu5f 5wS'3 |A'7BOnn`$86bG=@m0T1zxte5P|O|>5O8('NY*[_F W`S6h$mR]!z seX PU]k>Kd?OSNeV*NʪB?_mUƍ[A]Dz֥TWcM޺:W!L,N m-409r*"πMϒ^uBaEWFZO92հ*li /Yi peGs5Bc N=:,b+$i㉘Chȹ@M܂?P;{'z7>Hu: Ю0)z߅j}5=XhHD{+fLH|B M5ʆj$jmvJwjŽqV& T= 3:NxR(aZUНap !˨mF0jF3iC[g3ر OzPRwʊ`odFO|HhymnX:^=`ӷ/$=@8٭B؇)n@UE{UO{/;:wIJ@@'- g=ƒ[| OsGo]wBa:N_@`/Z!T{BSOi`mjxEѳNb9?|NέO.eҝl{1qEQO}8d-6kmkR宰ڟr5 1 @Hd_,U3}^\9DFa#> Nhi'8 f ^ua)LfI(kx@%iù[$U"ݺ T2qҘ\vȎ^&5u]ķ sRդ s2F,HHZ+9qk>%~ԒAԲ̈́L߭nGVt\1t XI i4;ĭN| C^(O҂h?S ,. _\ݖ w ܎OKW4m|zng}EY̖gsTv 7CӪT #f%Xe_vPAS~_۵N(B(H!bWcgz AH-lyib ;vt |AUlE+FNLHn*heh}Be/mT|Hvi+زydO;9 3vy{l#< }!hJ!#7j;cyVö#DI67c]zq(弯JLeJ.q۸uFgD&+ڷZr]Sd,MքS|ÆC+ T{YE}| ;Mi$mٝ8Ƒ:\p4kaJ3OFTK׃9>&t* \{#9D @az :oU(3=`1QNls$gVQX )N5kBpe:Q$nmHhm hNA9e_e:FGP:0L~Ex:pqaFO$0ZR i\?#o{{&]Ova@k[oT0(~!Fgt"KW[q[hr?̃q `ͯyhF g\,uS_B䀭ӑGѫ!?j!F)Ka:BH8%=YI%3xhlň\$sz7J ye7CdsU&VLP&_R\ck`L@ RO!]U-$/;VfSC 2**C =w3 2=]s7j^=W)^i/I;؝o)В,|XЍL}a{ÜM ` ̏g6a0ӂez5)!sCAIQ?uy0X~. T{>0FN|8bA?+>i5=V+jsR"լu{za@:OSM8Ì%5oWQd ɑO3ӛt}9x2Gah؅ _+Ua qy-7=O`ENNZsk7}B8U8J3*DBGI0篡^bEH^j(k9=wFmi(6itP|1µTe=y$(Ŷ~]gH#pK˲z(ނVfmPb4n<~\/p%Z[!d䅡c(巌=4yP[hnCiQuM@1ަl!tdf-J QjfZ/W97d.y  ^aO'ٍoa:w琰@38"SqNH-~0~H L˕X+ܝ % (,M\RoJ\ ՚h+(3ġ6垇wVwynɰ^W. %Ο E댮shqL7vm;hU[NIeCf]Ht at sbCNl`ct xۦ~hb5[Jk+Mm׵T"vՙi^n̴4!* F/5ػ;`ldpDAyڤ/`>v{p|W}Õ@N^,VYYTEP0lyY/D}APըbdȮ!|'}tE,:uId+)bbjL'5Q늋W\o E7s>~o"ߙc\; ˮ"7߁((9FMCkwn@L;f5s)#xڣ%2 c ud <:UȋY$n9&iGT(!1dv3b~Δ$ܤcҮbRPhs'2{$&*&(4o\t!P#v{`b4&zܱSf(E3{* GYW;k <:8KE]BjX6{\Ǿ?}B[p<}br fITdQzȾo98 UȵGMg֎% x T N|B-Pl8y2NBV*dycRm(U1 # l2ZE#ve=\,esՂPDª (#xjƮi|Ll8diq<^fj࿢2#i ž:{4װe? Pf`(;m2bʲ-b"ՀF_U*߿-6\7mpYr1Th;JU/(dA|5'&Jwt[@9YG&?jrՋ V?sDaFպEavO$(LژY4!Ԡl;Xw GŁ;hɵ7I/R"mGM?4[k$sA1giQ pXi{DF J<gNLl^ZiO4A0NhO]Q'lOoV-Vjz̭&6j(/Nv)GE<`x{Oam͠9 riD\e}NM 6ͣV ;,`]P#[m4VzOY?1AF3B]uM 3oʞh#rm1C$aSDmE?%~|Z1ށkGCf p'قJ\¶,>x$rQ-U(c)iS+QD"]>H;"L ~/o?Tvg2{i^1R 2[,;dNBʔߣzJ#J3oyYyqm5ر <$D;JRks;݄d Lȣ< ɇĔ&`؏s"t!N>G9/>V73_Ӛøc bw+y[otlYFyxĖ2sEY,yŀ^#=9ky?&k^h~a7(5mBwOU Q4cdq5j@Jd>ozy6 D;=A;%%%3u@ulA5;1s'ol YPVeks}UM v[7\7K6xO*[ [#Wㄠו7 γ\5^Q\?yZrE]0܌ʀ F/iz7MA売ۛu5&c\j^n tI1ߠkWemsҟmO-DƾwBbORmҳmoQ5m3WhHf SL?M.vmN4GR1 _Mh1N FsZK 1[&'!RqʸuIlɸ|498n -ʬ\q$ 4~61&gYZa2cbe4b54360c4df8c2872fe51bc152df6842adfd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 c05ea7efde6d1d3f977e6a7428cfa66cf80ac563 ad315f784cea840e61e5cf3e43331ec9defe8b6a