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  ,| ]]]HOL:threads=6elapsed=202.011cpu=692.268gc=56.640factor=3.437zXZִF! +]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟu1B.!3} ygA(TLtWðF2etK$3Ў" i z{2#!O&w~RXAԼ†:~s;6$X&Ӻmݮ ~ Кaږ>C(GgOH3Qh)o?$ UF0hg,O_wt|Ng:oŮPSˑ=7ddx5IHV60'*=; zc׫1~%oN_]1fM Jdl(S@SS6k6Fd l/&k[ HT JWNxC(9͖gU=_?TUE^Ŭ@W":?ax(FC=8F"{@YGJUq[W]3 /LDtj~p|rЫFG$&$\tʄWNtTgybnK'vcRĉ<׾gys}68_ɘX ,,NǴ>kڰgu\<L,);Q{Yf,ԭHD"~Z檑bvX*H9 󁬇킛mNRB+5;̐&B+ڛM~J/qz0_Ų$Ui t_A u {"189 yaTLDQ{J 0)szRhHjDz& 8K5[m#dCթ&FEFbT+tLád1D^'RϦ~,Feܐ])_j<@lf!+jJk{&I v >  HOL  g):-U`W qjR:2I0&Uo;x߳ {{!4 ثOMߦg|fJ]Ʊu,<|ko6Jm'ҷD2`Klɯ9.@1$8j'-Z8 8vN+,/UiI*R C\]Vxz(51 *}O=߷SO}vcؖ~rd _/.\ibO&=L,gְt»IN|D+'dui.v܉ d kE<=˩ +aunLS|lSQf)AX~]LG߱/z>|ԍ[>UEh?7nY= EL+t=Q~eDѓ*Y$< {R T"@@=* ig,,v|^hKΟ 7>.=:|'Lq`ƬA䏨RL^@0懶G'6ҹ=tY;ᩩS;<_dQm]̯ACE2GxMSC:6,#rrg~4åЇE˱wiV> ҘąФEjcAZ`rzN%7@$W'KX:,D<y8ӧmUtUBʑBM;8ٌAnvD;NnkN;2%$pYM{$”ˮ*?' =;qݲ3\(g_L ~(5EKd58fB( 5']P}Y"[9TL\U_l`|^'c/ xE,/G v_E&lc*D+zdZhY>f_32N@e3 Q]b̡ySGeVܱ>HLl$ϝO&8vUG~*eܺS?w:eB̺1̋V͠>="pC+fpmWhP\A;w BĤeV E j;4K]Ȇ.On:nib`@֫#KH 1r:g`\p3b7E;?=q9ENKo Njsb* s6pٜ*㼱  RG\#I85dάyE{&OU?luz8Vq 3X1jQq]u (XRsiY ZqD ",ѷ\^SOϹOkCwX#ۛ0OpѼp§ͳխIކ4,&_2 _܌ٓ 9ZRXhnj2fO$1ArH2-k?ڥ|0[ lZ$]ڣт1 C@.q^̈OQFw$ƣDQDR^[=8emE$%P!Og,0b _ v@E}T٫sv$EؽOG7[31>{X-rlV8o%PHdnkRN_w`Qa ( ݋\T h[bq8zg)tC^%E^M CXR۶KLGo'nMDpXK/ëLxؿ ո"UC'#:W"T/"Q|qћq޿B |;g=;mˮVGV:sɕ 4hܹ#j:Y/[_ 3M{ޗ{v^UB z8'}J֏ty|\˾lh?".L[Zw޸+eR=[ |1C=W`:5T{Du&8O*l

VvunXFeQķ%P?#T {;GxZ_JE%DiI09%S[g>!VWrsy\"ð 󭫱~*ZAOKm1Κg3fB)T%PІ^bmeJș<G_`t!CJ+ oBKLWha: }7锼/W60674S]k,m:1UOV̗U쉬V<5(QW ԋ ʩt|s S%+­1uTvBߵg;e>nu#fbk3>b棐`?йPaBbMׯO$CSfǟ iCT>D8*(&K^I@l)ħ啊TP]bfo?́q|" k4B +i?X=%X0Hd7gMIR.yHU)2OE|:iGvNB_i:ʪokRmckD agH^qG}jkX}^ Uv_@ >/`aPgtkIӛ1픀4NhaD.g'{^wH(Zk(ex ݒU W8D3t}*ڭ(&Xt˗FB;DT߀{#&z|APB^l% a#tEy O N-#}>_NNd=!ܳOs Oy~q(j.8=᫄vğ lZQ9Q0fHB%>T_fJ!&`L~kd|nhUw~ig]}40u|M 9lw0đK9阡UR8G!|tx 8)? pף$Uy4$툈7ݰ}% 'v@sILBRUJ12pQ:KWi >*Zm3$!Top|n(1@D B0Y9ˠ ̈1 hVx!;nZڗFUu}Ms uh:14|hO}pM]|` q>oP%g&x}AYNZGv,0n H X3݄)_JJ6SԬѶOT@ $yj!@[Ft"Ѱ9t-Շ6K9e4 OKhˋj̊wʁD2HfMhj1\L:Tg[j6~_?(ӦqDJa:ƾ>8_4~A@J*3܊Hћ__rJ Qbl֡B+`I\WaENZO8<yPKoql<#NpX. U!3 tr@xGZ^7ڷ4HV& {U" rAM"p8)j/mDTaYf]MS,6t}gXc V p= SfEfŃ<#;U0;E$ñvpjtP"x}Ň5ɏZ0xsE'B5_BZcңu=~Kܪ ա iZwo.hZ?9⤙"0| F8C8s[[o>R.ר,J6AVY@vbZ>d"̿Y8KP"ywD q 6hc^5{н棗3G{&ɴ@.La;\'"c6ɲD0 qfS{/W-|aC@%EȒ+X޺xk5l%}tbK.RW"+dp9~p3q]_]YX{X`tYOPjLĕ:ܙVM9i)@*"2澕9cT'Y=tml Ս֖1# %y"c_~$|~dL㑁Pkb}ҿCw U9aV0A}ܫ`7L_FzlEdCRqmbk5/W}=EK\}LRg0&~|"] ̓rJ~T8}Tk'`A$)S"* <ګ1 dXTmP|ci`dRO ɵf:Ic)&U(uB u@т Оwsow)窦ݾ<"8JyŁn>.51; TlM 9 j@]cq@m0RߝkiC݈mHQx;_/qBϰH EaQeg#,Oʋoom_g c7Fo}@A&nNR8exWU[c"H/l9q?`RpߊL@xbLC\@$KpCy'`$[Ae!OUXbMa2o&>Cbp}M75#~Go,Ӗr샺.RkSo~{E8^ 2tkT 5i WyR>걼dG$4[ٗf]$GC"&)‡*WJDlPQm;p qp`/WpS^U"1'U2blz{|vmI=FvVS-_+-~戻:] s)NzwIK˩u H]CS?fgYZ7zXZִF! i]ŗXiɟg_$N%Q KβO%_M­\mgӪezG@!]*u 'w<3rk=<.1amiRtIZ@8-v՛c`1N(ξqh9 pP1c;q?cQ.&"ƻ%i辰 0vJeME/Jm[~at4Q |RDkqTOk/Es+Y4DHy9f[*R7U@A|s#@ٶθqZ} ȳưf2?[MU(nS[I(wO 6CQ"/fMAQ#IlNtacI7k#x73oHDPaal0U?]>'tSQ&q<{{9qˇLinӈl.O6aD^@$fnQ62]s{ڲ W&er:ECέ{Z_Z[߳& oûUƫ)ݡB_udt1ťbiDzp#%=q{2uY_h-B0hLٮRU$oGm\_G,;+]#~o#}ia&'34+́&O$_m}+[icYʍ]r B!*0y1Jqz ц<~BvrSL ˼D{ t#֑@]XN煤Zݯfd} xxMN=0?chD$rf8YC7'ݲ좍Ex[pQMfP(eل)\?mlv?xeާV_};I'<71]!e J\yZ>67exȜۓw*xW"Yp^qeuC!:b=2B4)3&0ш!XȊ%jz?z ՑnsXqE ^xPU ]MI6PBŧĢLh $aU1AB8DXؕV94C*OYbf ~DㅼGVCp 7AF:]@{gYZ7zXZִF! NK6]ŗXi%G„O},+kH5Tf8^^5aj6_8`$NtjCĥ{;eJ&UI2ZܝdJ$~~6N‹L$Ӕy'y"H9<( iY+hߛtNnt(rz,9@K#]9$֟8D#ngG09̠g+q:r`ŕe]`1 H7#QƇT), ,Up*1?-ƙSM?,5:Sy4!paD(,tweILQ؜-te.֩}Ow4Qw"ۡnG s}֮ŖJU92qM/Q[P F2v[+]-t cm+vofMA |4 -OlI?.H0F edHe:fəVqNVyȧhUݟ7o^6袝ts.z_t%t1b=_W8 ΑM{䃣F3kfO*a\2*=~^QAWGNAPww=R1Pݏ@)@0 )Ώ5Na$@f/T׮W=FR`֦l( -? sLԋWo Vcl7Q~Bg1^oU>$>':@wݙ6#K,P'(Kq ~W$O u(F۾2zr$bupP|5j#+0zz>FrIM``?6= ĺP})JElHI zV2RjfEl4 EYN;: 5; G`[ԽX]D 'j{\hCJ8[@%:&+nss,HTEi,23J١M_p":KoMatR_ҕsw*& EP?zfP2\C^N_ XgDx(/<ރ$k5ɢ٩]9c=6*c2ba,b2 KJIW,2hhf<+1N>=̢`lpZ.OA{mgm7x1Z*)ՠvv97u~/iTw<6$L{d_L1+z`eZt pHT4]5v[+<;TjlҨXUUM)# pB=&>$V 1.7BmjbTZ4BFSU5 p5tb3/+ɷ%莩@FՒ8 \}DoVP4El[]0ۍL{55 :XS]$rFcʀ]}OxHM>p Sthmity)¾RA-a ڔL|⡜1fqA BVOUWW>|Rv=C`umf HR Ad8hzVPN^[7Z!T qX=_ f(WЯ? | KbE^v^S@|xɆ$1 H `iFۇYVHݵGUJ v\_M+iW?mْfojoPSPVTWȧ'P<> 58LҨ?0Hcū'̓Z)A$hƧpk+stq%e51|N갣Ix܈5rBq2&s<詜_[6w|h %O4RusI[K,V4K"3尿UM<~ypyIX-<mz@}q/c91חImÈZm{U z۴hSJES [:, :7z0k)s8Q>5s[$vV2ڴҕRv'P =1 #k*+W7#J%-.ܒ]e/ش,!=|ȳvkӿf}FA F;d *<Խ~:PRW6˵4qMZ'Zo07;<}k1ezX+5hon漬 G@eMFh4?d䁲^sk[95+pS&#-5sڟeYPʠ4>-)-.,Nڟ9L7T +K[C K}e)qoOgI)ix?*:zwf^h ЪV4IN݇0RNC;ؽ_u"QfӲ3TgidTـިimwcHwcKEqg[/y=}[ܜ1J/vcP% a!N׿PNs!8$֮!s5ǗR Cz5r;v_a5'9"u9=\&Ed!_tnsGAea5}Se4iIT]~pKp_P(\\QDu5עV=ojm f$#хpx4X ;mɥ /'Nvd' CR|*Vu(A0H~ohs:+I!zY>JY}#[%/V}V3~/to .Wd/ݛVM+B9GΊ].3] ^)ߒ3WۥwI(gM04HIJWٷ?HoyC?Sن0r;RR4O`yF8J]=ռ9t_q!-㕷!z`x% -jAe22n\KOQCxb6ωF+w`[-)s.i#h~'$7;G~‰N;#8.{SV 7"w]t@<"P:4(I 4I?'$~_;=wNjxj J[;MѭZі[±ck)h}N %3kZ- Zj+F='OU % }:9i3q?s 3K'Al4n ]"ͻ e!OIl1L攑ҳg~ +)ԩI(@Ob2f92=&vRhD%qp71 3uD qCQ]ҙb|H&%MV0/r < +$'DsKA+zIu5$k,N=׷$\5Ð75J$̉LK) ӑ"cy:d^!LuыS#,9BxlmE0Lm,O.^$9' Lv/Pԏ?]R]ЫR~Ѯ̔)ai~pRB;H@ǠZ*JOߐC2~>Gw" nyLB8*8&o jע>_eb!o"sB[:JG%.眦1ɝ:*3J|'PCyZC-Mj~Mp4`/]5zB9ž^qSPՅVJ:_ހ$ #D4je"H=E>_-<L.FXտ@#LKHṢ-Tk~|!w~x<Tre?ɭ|r%QBJCWO #M}n ?փ]L@=9| uwY|5`E~fKJV>nnoqLYKAcD5ggB#8g>SO$r~wB0/UYԱJ Bd",ӹYw;;;@°_ ;Ao#cô$!|+ k;U,s)k}]!c,K1&#s~joLdZp Nly)Oqq%t_wOmi-FD^#9j+4#:h^H̍ V=4ɗ2 7ks8um{L4_ tV?Mn ݾEќgi|Zbߡm c^tVTZ\49=ʡ҈*VօD}wgiLl5%`|k g1^UWs@ͪ{{X;~/ VwqIjfxPה'{Er F7Gˮz}+ttL?Y|R!M#*q NJ5 y{PGǜаqRw}E,8Ʈl`>d멛Hxtiy|$9?EKàm mQiXQgs:wL`pSHLBq3eeobioT${ @uF>0')q7^* 2⯺Q0|ΌpM1xHOަ}tv~/ƒN}d1j_ tNuKm:0Y:g\aoF =ZY &S>,:t傏m-m[1}{6SOBLji/JZ1蛽pQ5aq.AdYUI,tiHˇwiǛV`p;Lc̗bc36x^]9Bi!0em͹n, _ֳ 0J ,0tN!/N ˶K"<3Ga+ݸJ [d#3,úvzit8 g!dopSgx.wC& TGO>Yg!,`k/Qi3|b@;}/9U0 BWZB&62/vC|sLj&9x qL5k}S:~ & ̤ MCSsB'hw fecG+L9kg>?Ngu'X@p /F31E0*憀:oA}%@uF -ªG9>%}GA ^ -K8SEϐ8&(zv& nP( }Z=q, d7"!;OJu?Wgev E [Eݷ/8I6o@pOa3;&8'>?tsKvWE1~a-_I7HnR`9go niox. JO4^2(\6)o?N8ou0uuRwđѨ0mX03]i9ڒ607h>MYwG$ObiYݮW,קF yXŰ$*yj3Nr tu S^L\09#upBRn4R`szh8ȇgm=Y۬J}6IP\g K6[^%y$}X v Pw/'7_,WV)ߟ\dLH'0+߷2Iii~#IH񬻱Ѡ 襡P_T"VȠH[֑5Qz6R lmFMCX"BK֪Jaalao=v0iu%Ň q9ǔ,4 U&ij}(Wa*qѕKc >@kNtHzʩ]жcҳ~.M7r(m]@|s!bԒq4l;dujB?0%8E)|a]0W1r)HB")#}P~$.B%:@KBPaR'N#3985F{V{Yo#E>/!UL;>5R"!E=\V_=ԗ1N!hF:xYB"5A")D=U~)p}l%P1N Q`nW^4:#Eu#<-BC(W>rI'i_nu(D\JQ&B"ݠ@n S4u&iv%'_=ҟ{J> 6%(=Z_8r_ 's=8$` wjEEJ*̥2i^ƣ!zi?sް',fqruV>f+3шn#;Dcd&LEwz&J(Dz1|qf `ne Ct(Smw? VCS;f<Vz ;#J\AV/јib~N^f@V"YI}o8/UFS2RP,Rd?ȺP}QKw)J!O,B\T٧EBX,݅81j=п4/ G0ݨML8CY`l.HdV+Ypח6%9J@| Ɵ+1ۆ[UFCesq!y " 3QmW )<f켠=Uk6CYOACk0-s &9/gNrf@]Ÿ ꑞ/fdF^b[0LγX׷MȘPp=4I( ->H#2Ifg/Ó6H 6%#A"ĬG$Cf?{7کԱg]Z]zwa9_?+kt+N)UWJpSo$͜!Fv7E",?oя#6-ٛSr EnY!!G8*wXɃ> Hr!La:ZdGAY^MQ6|3. GALa(p$Byebυ0`z'_,pO^m Ϻ_z Y;$" cS7%qV1ERDږW_cj uHՑvWT9@1 8.̏{ OI}=_ wb*x(.-Kl5gAw)vS ˁSu_ RzYj.f]ȢxKPq ZHHb)F$:BTwaW~"ꕓ̺9XfЭlcj1I%k }&v&%LT(_W a9QG9ZcB'!`' $hخn{ľT&+W5KV ) 3.=$ 0&Y׃-Iz2}/ IbA9TQnOy"-i@ bzg(8% / lt6%<˘Ic-8ֹvOǶC{Fzf9'wB9aV˼!7Ԑ'=(W?k /(_m RrnO\ߌFUSL¹XM Џ),2mj;wG#vKKڤ'4I;"CnJX *C&Y7f7 ^ e'W *2܀?,|dUF"ǭ")&DU+ͼ}rW8Tu y( JěcdHU`A_*A)$͙\6jzdg^?53AXl۫$>4|/.Bh4S_-rߊXh2{uJ'8tX&~-&[H8Gl]߼>Ѱb= ycp{ug6 zsX{I^=@HS3ɷm/~4!ꇄ x2n/=G %/eWg8\3 zdw?gf8ikPt-(.lC۝ޫ W-[ԷvJ?CJy,h4Y8*sE9Sv)Iv,$kCеe{k]:<#(j\B}F2l˭ɟG\3d\NtlA : 5oո BÝ.SZ%p?7,T M=\)k$Br'3'rPC(~ )_}|F(WśzD i jR8|eѡZ(2up Z4X& `"|6 34;v`y3n1\JbD)l"ӶH+M9;1;)o0=>f,f}hXR]FD]{Uq;*[Q䵜PCI4j(>&/tXJ={$QGNJ-=GaDOU?f-Ε=sJ&Mؙ_ {8?:@EEgrV/SI{H0+%1VKyV::p[ڽ>:#vhS[Xud?GXHcH^`aYr:G{\YiOmT3ɾ 31['yU zKsnxAuÓFg2?Unc2{ed{n @kA~˚}+ךnm`,4<^\U4Ɵߋ;(#eR raj%ԏ^A|3e=^ƫf .B>cL¬ Sgjxھ/\׾j|,~\l9 !u{{[S#G0WJ 2`X@t8u A ؈32VڙD e&+rS< lUL_ @Eaɻ=?\2Xr>& Uu'~I^P8Q@} cЋ zҿ8Ti2[T%¡쯃_`6"NRLw?~ JOsz/ēhdH˧xݿ49R6hFUa>'cS6:6${:-IYƺ;YN5"w-Z[:#D9DI"l"%3OS}߶re?$JÛHdy/t.grSڎ"k{)Oq(aIaȼF ;Į;40:*[l[Ifv:Ehs__eORx1RڶBz[$[$Q 󆚟!c?3^9_t$(<CSZ댒𡱋Dd *!C 2| WTy&FT2SҬ՝AkNsҘF`o XW=EU+1dL-pFjfi]ix ̿rw1oV7mt@.g gnee߶E*{Ž TprOaYJf31e ϝnoCqLx- 9 xiJgv e#ۑCgw̷Pq.̍l/!S9h(o#Pa".y.Al '3Uq5fKůmDݬU׸ٺ2Ve,t`,t ]n] * 4hиnӌo}Vo_rs$< ݼ0T w&#Fdf!B'bU 'tǝc]7Sكܣh q,hXȦve0[q ԌxC/9nA 5DX.T$&uA*JBM;U{l0RCEbKKiOT2۰EV(FglI:TT\dXH7M3d&u7Fg'˪ {%+< w]D0"k;`ۚ+@A:ڧߙԍά0x9X`T16xOQ Y*$g̓E$iVPnz;ummQbv%$"l:HX7ygQq,֬wRM:t.4l(",2BRߴZQ*o1`8v2Eb9)h7¦n>Xf:[0dxayIE )ENiL+imfwj;+:Dr: 0@~ ^ޓ9Ð&S%yU/211}Cv>;AXj=R.R_ːo}9WASF7Ǝ\^p|=lmS[H-bEq(J& %i6!$1{JB~ʮqITc؋"H Ixs z{#yU: Vyi'T?%> kde@u k$dd* 5jAqT uC|IQsS88CMJu}{qK2$rհss ?DlzCG~P#Ꝣ|ꗭy0P" ``pr8a"L[q ' ߺk0 #NGHb3\_ a B3΀Ego2uͿ`!#Ճҡ),p f3z+,W1mgfD'T=v[43os!k4 !r$ \1 %w[lSP_sLJ 7\k\{]zL!tڛY$Jл ̒^7>5} X< ";>zF6ʝA_c\`}Ӧ`K .cNO.~~U]ƙen#'fCG󐸄U^h%o [h]:f2%&^#6jFozQs8HSfvzTuj2!LlJjrz{_oy{5s^=UlϽZV>eWHA(w쯩Kqn0k:TUg UMpPM {W(E^\TNG0C !G~#5O)MA+i'.fHñوVy-\l#%nͦ8V0k#H:tJQ}+(a` 8!2Ա$ܶu1HT̓4Zokho92oS1DwB!adZN?D׉)@l+f!>\L"~]Z!y~a0E0 ].zC_FΉ̤̎QSy`W42n@7gV>YU>/ϪT맼 Fr1~ϮVqw~@E_/_\u4ޔW:`GҳEr_y:yĵ ͞Fz̮GUr8l_RfELɇ?Oh߰N' ɺ,9r$+NRew.[DX1S a+nJZ3:xс:|4&ᑗ}x0Îc4/fֶ Y~[UwdL}[Va^NF`ժY؋C $GE!RγP skVMxo}pczle3M$b{ ِPkY:~$%E߄ɣ9 y+~R]d"CBR{o9YS"d5n`t);BRCnהV$&G6랺[xADF}kHSۃJ e5pBrR\bi3DGIif/g"ɯQq/(A뫂]KOzI^9njv!mT7pǜ%WO<ډʨZjma ftM^xƕiɋ&3e#%+PƴV;# оeD4B.x&{nVDJ0|΀BM4Y) ?%RL[D~!'ȩ2Ev|}K3MRB5M?:A"E|/E~q/vVaaNv.St4`Anhg]{Ĩ\j͚#'!4'-R;3]m i?)Hy`յRpP(Ȉ "t_>uW6-p!RBʦ{ M032rI1P-47-A|{ P_CNV0Q>"1tĶS}Zmo8^nO.<^2o2[>bf<҈Lw^}:Y]0B@n&3X%0̪W CNЕ@[T>?ʿ~Z?M4̘.rd: akޜ' ,ogh#)ZqoZw8EV'"j"\e%%u033ѿҜB΅?3~N Xo4_sHpxqyk&nR(,e8!6X̻؍1rYö fpT!9d TE  E.'zn Y䂙&;LZDLhxkּI:<: dWso!Eu"Ei2Q*yG^ztp00-bX*-8sfttCD9jOY֡S~"BrīwjJ]Lw\Ol_4L\{b).QLMX{5i$Q~TYt%[wƈ);%Ɠ-ѕaJ~7Sj)MކȖ)ԓDJg/ ʟ\Tp1rr5b@تSRq5k'.H؆mHjx}3"fD<:Qm/Jd;dMhEmT R3x ܦ_Dhg9t\LdTC*|n* 8>8͗UwZ0}w1;C1Y=T<␙/`J)LjUrRQ*7e#YL54-.;gEjDsu0U _ЇLx7αvv&@t Lj1/0w_ q`%꜆n glGڱEv9IʈG;)NniXƽ-oOl~".)x84"uM2пby.At%GRcgéF{c_ΐ'3CxȦ bPڈPtnWoqVfG#EؙG]?һDi(9@$U (2N'IA 1b۳eW~KD pF\L_eYeDuw)mf}!NCR 'b̠R09vNjF{AX2߬ןt`IVjLf |s3QÛZtQ)s0 &q%mmfhERza8>Cu 4uǗ Ì ZJc p;IOHWb1eTEVԌ>_%Ɛg!^4yw}w<:: &VjRKKhrf]A X0r>՘y0~ar8Q(ŦTIe& +1eUUe{ ԉ{ant&t[`Q򱈟IӆNȗ= ?2ؠ.~9 nt$p ?Z"qM;y;! Gh6ĘJTh,rꛍP3&n/3KHmB 5` uF2B6b-CޙNXYySЃLfnNI蛥X{(\wNGH[U gf4;^ W lO|;$;,7Pc`ӵ.\ Jt6X#-AUa&Zj`WQ@۔ɱC֏j3;ڀ=lj*BJ5/9AWw7Q;vi W7Ocv2)'`XW?C0fY;w9ӕP M>;Rio](*\TXKEqs~N=qA#\XPu3;5Vl6+$4HpUEԒ(I;ʶ=2ڀ5cP"P;)#YHyWra^0 M'QJ(rv6Ф0y|X˨ ArAA.}q[-~8n2I/ZW*f̛7_>04y= \J:aVLi: ᚭV7,̚A8Gb0V\TG*+r' ;A jG+=W >ܦ5-'-P\ݔ30v#:ܓkIV;k筥%?qRJz&$0vB]Eb'tFQ<{Թ['d)+]wy+h{Ov^+xU ֲͭgddzMFuF+L!M=SQϖ?_Hw:ؙ@ʈo+;gd-rAh)6`.MD,_ĚuR*{N@]j\wK[;Pm45(S:'Kb+f NX9cH US_^2mia]3 󁳢/ M#>, zxv~)e[£~1&`K_u۪ &`kP Ӡ {YL:@/F63{m#I"eiSgRIrOxM`;i7p ݃x)o"w\DYeM=o|떍'9IJ)xWlHg%G$qm}|~v_+ ^$){Y܇ ҖC6gYZ1a54ef1e9527ecf61ac8308a219b88954cd36208b051f2261d6f88c03646aa313c73a7379e29a6597633af7870dcf6daa19ba6bd207628594e3663e7