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 hhl!\\ ]]]HOL-Proofs:threads=6elapsed=627.077cpu=1515.748gc=248.208factor=2.427zXZִF! gC]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb_.`3&}u$C<`T@ $CM"WázKZOV"̞m-*%Y!];_)f4?44msa [XlIi@/FV:mۛ2nV)[ sy{Μߏ7Z;Ő~ xTL>`ffMGpu/4 I}: <]F V9zeƣ(h.#b'-,8HdݹHv%\#:vkc k ֠}Ip13TY/Wy6{Mrճ^ |G9m 1"AaH w gRjfĖs1Ǒ%p!;'21]sk[xQP᫜Rw[|Mpm߇ɾ3W7L#JF#cI0jح$cjVtPRSnV'8|Q c*+oRy=2oE@t؏K|pa"Omb+ Jz R:BELZ ju aJn*r8Ȃ# Vy!J}heR׈D~Lr4TLP7X2\8sK*Q/FjR?U1m)1- fyrÄg=p̗HU;1#_6HEHd3hζp:cfjBEWrQm/׋)gOtUyњ+rT!'0%6smyEѠq9 ʩT9]_vծzr#)EEsK(GuYvzH;K{60G^禰:ԯxU_KΫYIǂ|y DvM. 6Jn ژ]F⹢-$掌&;s<7N %OޞY\X>ī СE%t _# 5X#ZS*)DQ"}y =}|$oʁgɁ|4PJa s!~H+:-HHmv,h#U))=6 syβzl:[<+Z֦a *W`{h^>'Ô`O}Lyy&7ACĉt(4=O a-Wp@(Nc.ٺ-D_BLrQ>en*? }'N#51juIYfڭ *QŲq4 i*wKȠz'Z+n] k`kpC>b(-.PM!. B$bM[s=L-x@TQ%F4߯Ol`%L\adQI։oY9Ù5*4(ElP0F̆b"+H{EmƐ_4o:6g_Le6f;-S6T2Srq[ab?*rqLiyVW|(q$G1u:}.ܭŒ3Zp+đJ0jqt:}Eǿvhj}?*nM0qwt ܧ?ts|NzB}%F  uΖ7%zRUkx<3jl<ز!uR%XB:<2?jFA̺,Z&hz{Dua!hIj~ap$ݝ8Ȕ.?sruQ4hn5Ffb%ܴ4t~+=U(*ou Paj ~> eaiWDj,}՞*W`IP<1\X U%ceRgʙXU4] HIF?L0px0'~lPq#'-/[FQдJphR-ojfib`S ivTLQTu_dÚ(ӗY{ѕi?嫑q,_CŎh9 fj&c%$aSz`J[2k  j G'=8c<~2L ~F#} 4./}$SqѲUEIK N 0ҟb5`_#D!4\^vcdUu0W8j7$3cG(Ir :/i/$ ̽Swfz9ApR_*H6}T6{*HNa/}wYniE (ZGXO_k@nk>@? β5 w%9ӆ+ɨ /$3Rk\N+:6aIL1 enmXq(:-:C#iт:QDi`p!fVT/>C;4Fӣa0߱Dnpn@!Y.H~ 3\˜oRFy UpRs~Ԏgtwp-`Xk=O!ٍ 䳒hꐄɝƢ29nz>8 /=Jh&$L>V;C6'i/(c߲|J;-:cCN#s 8'V"SVe /A,+u^֓k ]VN۲b/ЅH${I6rY"w+#_n7h98Ahrwp: Ab˨UMv4sܲD|?'3IB/k_"浢c`Eĭ^€䃽vtI25j| |Gnd, _"Q&/% )dq>_첨 "66H&z`Wr ߵw@׆ɶN퉆M  eZpݻH;1la^P5d *Pڡ^"99G( =Uǥ"_'M/BXnHgٮtbFt@(Z0#CRUJui7x!ݟNUۢ4"Vo|$átNKCm'4f鴨6se7/|[+Gw)dheގgTJ8u'425e(J߳QQ$ WceZG%n5_@ެYȄ>МCʯյժG۳CwQXe%LeݼXծRWߢ8Lb{PvTKCS O@DwK`?OT|V3֫.e3Ʉ(a2 o S5|bU!ʒ9ӏٜJ[lXB#r@k,bf1 UI;{R˞(yTdh*? Qߙ5_}p.=eo=Z~#XJcx` ȍz߯uE yΞ9@ ּPMqu?Fު.VA[  гS K4߰P^J54'>n:'z4$|9Bӽ5@xUx^gk? =>m6kڏpOUbv蘔o 3JOOvTQi7vFNC0Z.< .u?I R5&ң+'3:cމ8%f,B|CϥDTHgԅJTg?uD-./$uSQזy<-Uoca!YםTCi$jWR«%G}K*1nGg\~EHX+|D.rwt{ll@DF+m5R_};`f,drX7a_s:f.3 'L[89%d&ZZ;:ҐtyK9h]*nF3hBN41b6귞$>tWfǠvB##*.*,rsM[R5mHsT0Yr9bǪpfo6' J3\F!;JUw=X4v< ^O֋TMv4)ᶂp?,-ԕϹs9wC3P. ܔYō t|CC[dŋr$"jŽَq0)Εi`0žnטHNT;Ax|Alv?T?–EH$E0bS}Im0)UV /OX8=F #bs-x #.w!`-V p_9 .Gp|KqocŃm/㞘T|P4{t'Fkj&zנl}\Bh0ЄQ )o M*+j'sRn*s&2,e yL3M/XV1s]rj3YC dk"˱?tkï)*B̴;\ZD+QA㠠6~;r &4!*ngJԲg1}(ݠKc7Ies;,KK=y)DVa:ܘ4iYe f,Y(bzw]x,stZ32==yh)xy-(bOBdK0`chb;EM!!B$x]0"ΒLVoz5_6ϩD/0"@0ӀB~Zx.~$q=bN8H )b6A5º| w %}AL:h7}<.'Ғ,-R@yYtY|U9CwXNέLPTI)ʷ0,Ic3jm\7sb.i?@{_,W§.c ߙ抄?gA} >uTzlAX(nAmZ*~' gjD 4wfMtvdɄW7Vkd-d8tccj;3aE1qPc5ցnWCF9`K+;4Ve-gjthfI&V'~߷T[L=tRG?δ•Ldd%[)!3dOmemYWB\*cf`Ew:!7ò?W>SJЌuoycC}.ȹWA HZN3^ =$.CujQk1Grd"7* Ux:eRLo@:T NpPeh|bPЩ6fBA&+tȲ_3ɛG ڽG=98-dy.݁-4V?Kϗ7p]30gطiw$4cYq <,xn; pg! K ]1ދ"_2+CíYe0VKZұohNQ_%qzz*MZkvT49lXtu<,Bj#R_61W}YYv {r$JPlw Lþͪ(G׸6GR-4`ht}iMkZNANs+lG->ts$xpE\sJ2 ?\m$:%L|YM9>)2d !⌸U(!H?t}+rЈoLAokʉ: SϓA&iuطV?QkAnmOV2A#+n yfaCp;yu~?S ߵ&M|T׃v:$'u~9wHeVZe ޚJ]oj4;3)BM#`_u:N _QƌVa;ž@Wf`s-jB/FWN8F-"]YCf#{^ݕZ;?j1PLfu*a/onxbv%YEa,Az:@>m5Q #[7B@w{Z"T+&cq%~TBpɜ?5El&9[lF>Ѩ1ĩםAPhqB w_Y ϷZެy̛l-Ͽ̉,AyEp_HYL#]BR 56E 4qՇOQeN65T+2ZgYZ7zXZִF! Lx]ŗXi%@fBK FBړxxVGY-]Yk"H@p`deBKλ8;+ (y#;O@AY7s v awcPad'܍X,F|LWiSV5_3R-ua?1D.@X]ڨUY$G8^ZͿM!Nb2LtgѸ,s<9;8hC֘&gq{rhޑ\ԗ)*Ўx]i| ֓[0~ "BAd9gH^F~cwjuYQ0QЋ aR"7,D`;"`X YOn Ve6i>y8]4YiV PX$5*G,6g/bdj_phf6NhX yh|\AU(zԡ2q`@Γ >DNJq\|5h#e>{#bLOMOLO TK 9ܚl$  V wbQe!~neAH|\yAdM?\傕QEx֥r΍\1Ku>~(^`ΥD~+fеt ~UNRnw۵@ EHs-* ,Bwo`}SߺMb8,Q.Noz~ ;Fg!o<ޥ#:]C6) .>Q%'X^ќlwî8F:E,J>{gol_Cvფo;tϷݱ@)}u5QD , XHkDJ|z g߷/,9$!6lLUTdHnD7S KDuZ<Ӡ=2~/9ܞ9)N8ȣō[ ,0 Y/p Fx*zu 3٢j"Yn҄l"NQ#owx ']QtvI%r(>ᆢ(>dy(ܽ㽵`ֵVb|[}Ƌh`fŀPJ7wK\{Y@ "OVx_3<#S]X}<$KN»O!X4v xL:{䨡O9Jb#9wUfnz^Z_9~ނ%v؂}82Y%ׄ7Db#Cau Ѡ+b`5}wg /hj-5VXn60VǍz\͂PTGƗs ")* /Xkm5M;TҰ"6Jl ׋ c9 uj bmX2;dCqJ-Ȅ+ۆ];TBs~`'.2:eMMi@t~56ǝPHrR#ߣ1Ә+(|b FNkl)^h@$Y'yn_,I%?7JG?@'Dvy*mzBbbPnJ9ZtZ∋A <<[& % f~d0wi/" 'CAЊFŎ VO"=*Lg͖9n\s?3aOcv3~ؒ>n|Ovbk%k.n?lm*yvu6Z\p?٬:ayB 'm:?2{kN9xODJCI65IF1u}!c3aZ'rf4erU:rǨdžfdςNgJ X 8LErJIFla B+] ϵ>4 Jm /+ͦץ' %{,3,yv6n4p\n=Z'7sE'е7a/Y(XI &} /`D{%c;b0+C<>cW;{; t?Sl6 !LkT%dvʶɑU0z sVmT#Hʅ= -m@nA(|x%%3ߩu 1HQ3%4-}+12q, Uzxtwf׆J 8[ބhSd凕|hߏ{=ȝؿ? 8HW?Dg^ Ak84BYdV)SosԾhJI>W#}&zc:7BM9`Y H6ɳ],U';ZaGU`or6||toYq#9OvM_{3C/q Ljic&s0O ' ػ4|ݾ{8+TIҨMgN"jSgv_Ej+[Ip8#aL(i!€E[Y:fjd/ $ɺ'$kܒSяl8LOkЦжFxT^`1VHUo1~(?:>xo}P6M1*~HGN8HD- bz# xVOۅ-%Uӡ#:̪ vBs\Ocxy;E?Hf=+xb§gADVi6 QRqY%]zh5 > ggTrcjIJ60"G>oCkLe*2l %ihJ͕0ԁˈX$#ϸ/XFR郶<:;gGqn'}zpRhyHz]'TQ5v'ja8x;G<ǖmP,wI#ݮiۧw#ZLX ^ZZ _q z׍ajc|޷t Nz+TV+}xXLn%:s1 䮴qD%QWVדrQ1\sQdP۽] *bn )= G[~+ Q++5Xac_8KTy:2T2d44$O*E\e`dm.BG !jO`;#5WT`6p|Z7gXLKq_b$>UNu?!FZ3PqyD"QP&dląRPذ><`S]KӱǾ49ܙg]m4"OI wLã>t>p2gyFcco'aْV3UKmghe^ƬݢN/||MazR Y;'摂lx1~Әk@j=(Ģ!\+@՗AJ(H^̝ %CUq2ϕەD7%Gb]|M<*Rc32dF ށ/?L z$n4{ tkYgƒڀ%[{R;8] )Qv1ڡwD/IO2gZV^)pJ#Ѐ`1,(1Mc^;), A5[<'n˻atVX8!̀$Z Hax%Jɗ{IOL ˟p:>L?$}蒎36s?`Ԧ 4L* ]=E(v0ح-||?PT0Rz1^@ tR,g}@HJE57-xFg䪧dTtE,MHXşWiaCDybgnmU!e22?\vW)CyNye}c+o؜ƚw/iYn  *i Iv"ǵl 11˾=/PN}xĹkL JLE_(f" L"Mr4?$#;[C;py⯩V(*2G`◸gdBM)0LN~y6oX~^.nF*%{+k|gg=N-)fG(DnZ'c̵jPk#]{KC)ETE~87V03쌂gVZklE+ZU|#%Gc.E Fw/}\=wZ2FVj.zi65M%5jQ'>|H'A "i$gu%@:=Bvڐ-X@HeY8 LJkuO`9_`,r4$pկo:*sl+ͤsXęccr:Z\jwݗمFt[s|c/4ղ1'hǍ:}LQ9, _EC<>W^@fcrIȚ+SF.b?r@nhq"rgAvY&30Nm5r" /2u"{]&zaE b9L9='TؘJyϧq]XRɚpϾ\勰 0ؖ\ |;pUYy(!^bIM{5O"","snj{ |AyUܗ:S^N7~*B+_w1dTrPM!璣&t\j-ِJ^> 1q5Gv  h&6W6_&"IOHrs2 < xч${`AO#f6}c sJv;v@lz xc0AIAc)|%߄2ШΨ$yT8F$MPAE.$o&1^z!u++D^#9HmzW7 ?[栚pK!3xR|2F,M6VT).Ao3Ut{t&{%9GaN Z0erdWUN]fD5E`^ܛr+|1mb;C#0Fo9Ms"K<}/>dM"dfӮ±t?'f= ᵾ!i ?pF4Z4ij/g9JP9ȡV(RD yuTj6ZfD>=Ϭ77X쾎պ ??^_'Ȧ:$˱>ZX'. .93RZ3/T~ aLrr'dx➰ZXuhۙ0nljޙj<$tܗꗖ:zo)Ѝ^9)ω.P8M|H'_}{̍묫ټKLע,Ho6DkaMHJo` %**v_* ӎZDs8/h}]:E#]bǹVAS&?1ͫxg=tb|Pb򚲓L2όAl4iyY|ɉ.p)AgMaN7/Y ȫ#Qo4~Ǒz>g1 OgHCrl2!ӄH&)˂LCj4<ۋJ|`=D>DZ.{w-DHFaV)cawN0yMߙv2*WV{xfQN@c+9Uʼbek' ZBZ&݁: ´zeW2 ]Y9jG<:}vX\CWCzK@:# @ xw ơڵ|r(ҌvfMgU:·MviG)Z*81nQN H~tn8> 3Z X`uL$*.s{ Qeqw .[7oFvN.$t_r:sTCDPIdwP(%86JlGFoI"L9vS"TeLdJ}Xljng={*R5+Γf8fAFș&hn%^Y PJf `f$pWDv0x}E0"ثhQ٣"E^#&LvP?cN:Kaǡ[X 5DЪM8M䣼p\j`+zJZE}KUiM]=˖OyNqzE]HUMQpT I)k+<Zq>bJ#-ʷd#2mQ#'J3n77qaC&gj s)VBsEX{02>N(N26N?Q)CGNiCIOuFGaZV{iWAAU|iCiG(4TIA=gA$ы0`Y;ggUQ==O<Gt1aj0Sd:'AكK IBt3W;@v[k6~ۡvx]XTSh SG1 %;2un?"9Θ[%lepy4r"ե-!]pr{)ـ㥭7 @P.ɤ M9BTS[I69eWb =FZZv 8R؟ܗMN==_%$љ?`=q'i<ߣ"FW"6|PozC_&Q'oZE;xZ!¡ITh'-ٛ\H?GbcTiƵZ[|$*|)^ř8-{zAo+?CԹ$y+XC͸xnwyzqsyoh2v*;0 Zmn\MwKw R2=baIFWXerJ`jW+Cҷ_+HiPͬ_k8lM[]Dj e9Y7\cI*G}rAaF+=Ii17W \;."L[2-p"W5[cAODgp,G87f ulWiJg,ȓVoiOC@C73 ɜ?a  Ȓ(D+  xbd-I;s\PPm pMw?>v,6wNm[ u:1$jYgEC?{|:pr"!m?n?oi&`lϺ`N;tU`V,@_YMMk =T0V'+?$ j+Q䣏ܺz@zp0q~ȝ~aMUQeg'+7DzV&8o&Q6iX?򵱉LyTnZ#2R?o:>19Cّ:G87*tU߭Sf)ʾV:qW@OGڜXJ!@g9t$]C-?%"0roXs#4R fe}0' Njxɶ3|~EyVƲ ޙ^ÒM5Z+8)[R\$]m fzI ]h2iaւj2]\g˒fy}5Nl< `5ם*u\'dom@<0$3 43M D!!~ A..0ٚ7H׊3Ɨa/Gyl,'ABǾ;x辙ΓQqAq18rmKnV!5 ΧG0 w2nc=ƨp^+aL&P - ?pǡQ򘝮U$ˢ{b2=$j9KMH!/:eHlS㺬|Կg'1 ׷IMP:"_W9GJ+__™J , T]θ` #?,!`( ~C( Tb0P1L{VI(nH<4 \}tNkx!] bNFOBw(*4%VnrvǿH?ŌbѮ2bp ?gB5Wȍ-8Q^@ qnb-v𣊁fݙD|5܋QAaӂrɐ1, 3WZSxpr=Ε,5iBrfC"e <׀xO&%WF߶9c!1}O`SbZ0l(rBxlBPs8P(Zi4ݶ9 U_Ƀv2kyҙni'`HpmlfUyC[ Ӆ)x4+^JPEYG_VnRc*B6}V}o1a:;-"8ǏKO:KƕMPp!]c.uM:[hpmZ2Ur`@&x]foYS_fYN :ߟdYϠ8\%c6p%\Cv&B F6IV,/9Ave&R9gXȵx𷺅.}o}]j"?QA%l.E+_sgԱ!V| r֚j&97 ʭQG$O dQ͛]¹ \qfYw j`)Ñ~H?t0%$Cgbre'F6Ιcn" A XwCjŨw?caa:`FihkG{TbSG8ؤhiү%k5]ebOmk"3C!{t]nU u0\]謁Nzm|5{B ?J_j.ޮu0^h5$ܐV N܁Gއ}KV=~C7zHۭTrmo/?g:ywt$Zs&x}\@F wцӚm?ty|4Hcj6׶6,AF\P \'Sv]Bo $rψ9r4V[7ݼu9a1͒d eAYmSrqw`὆fVVsT4V7lZCYZDAMPWT}? N3lCSWYg&b$Qա;q!.5?G1W} ͭ']:6jΏz#Es/:EKё Sj]s Vȝ~[ݞ~94䵡@t7s\FI1Urn^DϞ fPUhXkPSvE &$vdY 3CUȘC>"2b$> ?6*5pɢ'%}aHKIYcwz&N]Aҧ%A#1zvɝXDȽC"ic+yC;ޙMwy=ndd^hrH7)]W.ysTz>16`1JtԮ/nHĢzD[[vcYڵQ`ړt}u̶*XF@T, '{ 4JLf$gfXEO6B4t6LjKVA6PR^.HKg*n T;O$a1:!ZPܖm J-/T fi fa?],C%vk< GI]6ZϿU(Jd>R"'4TQȻe "tss>ڌ sJDQsG+ UzJ':stxwG `TcUlfb h'A w/r-=s~"!st@'k/27o; 9,0֭oIcMxr]"N)skZ;cӳDt+_sNVF:猬XG8)s^DimC\ P`dFE6t{XvGf)}%{")rセ݇ʮ73rz @h D^CߊU Uc^)9֕Zl&zcx]Kh5͖ǯ|Xkx{ l_+܍{LGxF2RK'SsEs<7F}eٺChGS^]6M=8IcXpvZI-~^HYԶJvBHS7f?ЗWDe򂎲#xIk !E F/6A!IU_JY޲En30]:3xc ]  YR,oXEyX:U&acqSO%2z`g(M3IMQ/-$!ˊ+$߱/{XR1~rk2we%Z[d?NΕMW5UF1,jnDIu!Juf1[U~EH>Mߍ +H` ^+4 ;4Z@GF qd|j=ePC$OwzHx:Ϧ.U7\s"Ԅ[ .qSyO|0C Oz N6fyL "yxNџa[TQ_=SD&IĂEOJ.NmDNvzrZš{QXĴK0^(/K:һ?D[}s9zP[[ZɵT&ƱtW{*)mv#|zka>OP 4 & :N"K{ Oh.{nvͿТ IHТ2 pӌ/!h`jOEÀWꛪI~9gu>B[ƚ(3obh6 .[ |^.ۇdnބ.0=͓_ϩ ^Cmʋ@ yw)B02 -щnFhVٰҝ% m =l(G%vQ5.3ϕ/~&V</XZ:Pb 4g+Bznz+ ٞr10} VRfl{?Pk7ScΪ9^hz +AF} 969e8Kv+V΃F{sδjm2U'N t'(%zDǃj8 CAAbut^7Lr[%H{CW2| IWz܍ rS<z] *E`("\2)ktu;g^Iwa 1#m@ֿTv79Q' u0چ"ǐ3_V?u(wW|P=at煏Rg&ym fH^0¨O$:Yʨװ˚r;2u S?܋Ҟ,HPyŐPy7Y 7AwuDxAZG>[Po7mX*ܧ5O4 ')xU|[ww` GeBC GY(04bhYH/Zt@k:Ob/A~hJ?TM+ts}ٹ[htqEhj>(z'_ u"K&Eag)z&cp]?&|wZHvZ@AEXָPN1?Fr䃹jj;\_<5iu|+.pl4Xۤd9 q{8X  {}Z>,\gޢgo%`3賨Sl-̭uA؇. Nxc8 ##-M >(ٸqGS;] */Op$W=OQ}`"P/gO=}ˣpʡ~T2u&~jζswVe9 Jq=@68d}H]}sվ6ؤoe7V>pl.0YNhRD/ftϠCO HS sBw2d UAz7rW$).y@'rqGM"V-|1RjxV.s%R<@S Pq;8ed]WXՂ(23 !GwCz N8 _)3 Ÿ9 BnzVۨI 5;/c)7XuVܠEY<'D{) 2/[_ak%#a3e99$Ϛ*QD^Uɦ,lQF*xO$^:NGZz<{ɐPS Ͱ*/sҖz91P@S׆e Rlq%t bxfq*UߖVAR)$$(,0wZ0r~~vB51\,:pidTv{]Zɨ睐BR I^8mM~F7 I]\œFulMxsθI{#v=cc襹,>N6 _$՝&#ԣ[S)ES$dxUa@Pg]pn]}G*lI hLc!4>2 t&VR0Ɨh5PèOF[BpYqi_Ù$>|vЎQ[i6޳)ql{^o 8c]Sm&Us k _S*1vJY[ʉ`Tӧ%Q>[OLX%Y~F%zL);kTy;qy[S$Kaf"Xy+IOB4;goDwQ-ɐe~sWw5jyRUX/<[~oP}+5- >:M؄׊ }r -%pO OS8ǘxPrG$N|:窫t:yOy¥\? ZYgGS++>w573~Wd 6%k>£\Wfo@آ&Oc<,˖GۥI0n?ʯwo8ķ1~N:ut+M+i^'5!,ޙnK~lqVdC~ٰp#hʝ:`;ۅɢHԷnâ`͡cZqs@syP[T KQ_G|hkUORV{LFh3'$85$M,t.^gq,Y#+Y^] au)NhdtSa׎x^R|J40m /}ͤ(`]qu>eM^/vV3L 'mqN Ĝ$;2^sT7G69F CTb3|gO%FKm2r ~rWTQX`8hێoGPt[H[j `ಬH az%~@\y&Jғ˻|Rx[Qϯ46I OB 80:SOts;nHT\ & Z@so. xdygg}C9N\}Z@]46 8t)(ХMaCׯNe"i \ᑬhqyhsvbs%!$?}.ř8gv=|v1w.P;S8KۭB nI(t&5Oe8^0QSGwZS(g<'xXi| iʨVtOoMoyS+д{>e|)ۻĝ,h05 r$v+<4ZbEt%擐lSD;/ۆ hInH,TDyu;މΐOknx֍ F5lHBgv ͪn@l Z]IՃ/9N |ݼ( ѕ aqMr&ױ'HITfgy=eW@tKuY& Gm| Wd+Fޣ[wfq'.Ot<mDFMU z%*P[w1q^\!W;%ǝұQnNTaIk7|':/d\v S0 @$9Kpv)qBۆ:^/ҡ)vtnLr %ۖk[8{.-w A}ЋSZyN`P2oJAȪK]_M2C6pǐ69EE8Mnbʜ]G;5,ۅPqSv4,w3䬄ޚ1zH^D!Ldɥhǃd[wMzG;ȩtZ:s4؝R꽐$WW&@:'lm S?y9C6Q g[MZn nX܆iXhOˌ{6K^nCjM.X?urݼpTdY@+%#إr^+]1YbzjV=#)Bd>[GP,g?8?اSכnN~]TϔDX\ǔrw+O;N#S88f(bcٲ+/n@J"h>δ Ɔ+5$1~O ΁ VZI%l Nrm{W5fkVK0 D9'"5-DYg0mN+RcIniVvW,@s7Y"2+7\vhc([+aw2D!@ʂ[aKu(Qo\o|.S8=ɑoڤЖ&$@ǙֶMn:j84451 Jj77ʋ9) DțRH K~jRIg,t:VΕ̌Hۅ^1^|tzsV@ þgqCl^v[> +Xwh-k;XZHN}ft8;נp:Cdj;Hm4&&s깕Rt~jeVv6_'*-*KJg2&sϸO=5kFAPyV{FGAH#|3=d߿4 .TBprN>R #ZVc(ȫfp3½nfB#TbϮ=s֮;'<<[x:N$0h8w $.İ^>BfŽM">"qхUӨVł::Wű3۫xr#6l i4`\}Ws}]0^08%Q--kC3U4Ar{NG^-EBvQ7>sq~ej/<̓O*4$ćk>yBS&CC'e#* .S)%| ]8D) ic'BKɒ|nZ e-夝 I^ֽ;OU@nϢZ l%sc3`yoޕJ3ɜ7F"ѻZ_]J#9p q-b/fjPڔAWs%?ET*Q ᆵvrQLJ%,БÝ|LP|,eQXsZ {mFm 1-Y@RO\=Z[{TN}w+Dt&C @ !&2[I!fq3)^VD_.ڿ( U%Г4mw}%ZP_hߘsu܃$ @`1$K\`y$Knb ݹbC h#8Oi9'廂^}.aQ.p*8}4{Xn HD,ewɝ<ߋXM,?Ҕ׎p|gaMEML{ikd!qT3k_9e8@U\|HCQzMqBsUVDX=iO<Dw(bN蓩N,gFXdQ'FBK`ZqPcf@l|>L;ʉBdYEbV*F)TܰLbMc0.- 4˼ߟsQ4Ӹuul8"$D8hHyEŷjNTc֟TQ)]J 8a#:I @B+1CC+zRc\Z:]CPK'HG?5Q&gb;{{ OoG"wl*3nGqG@uifY8~\!~-֋=>|>Adkz(=?? D9³}vF6я9Ȟ>0;"9f설^|dC= Y- :I _و ( :;S?{Xq~X֡y<}rVў_F f.؟Wg&_9pI[RR%C.(SyV!1:؂鏆3|]9(FbD OB σcܩ$Sl,|qqck=ްdsxl7(RZF0[a Ka4J#U֎=9Ž5&KN%qͭg)¾uvw ^-$V%G}K1 k\@GLG9{)C&se Nj.uu7đ+ӫDnT<%YAa#(H$@ x̗o1r@o fԖ} Pȭn2C{&Y)9 $"C.2vXHu9́vR q B sM"*Unv\,i ʓc㜝vVS,믪sJ/M"ɚغ5_(.&`[h,dzu%_Q.(Tp#WcϽd}6.j> aRhqGCk9m=HsJU&xsxp 6x@; f4=rAC,[:QG%$ʤdbս~oWΟ=luOt7^J5?W\}C|EvlsjvcR)ZK|xf?+o8NKL_Fڣ@Tsۏ0 X9kp ݐ"\Sլ(~(;fAbS8kN%=abbr.fȻ+ؤ}W!;yp8# cZdpw'lW*byKx! NᡈkrT V~%1n%bJ|vog!0Emz? y }d= تg4BY_6Ї*g(EHԳ`G6w tҐx h㋟ztR(N*=,ZzgpW WP`wm޽۰Z#uI'ѥ/eR};)ͱwꕷۖƁ܅9\FC* ij f' Ze~^ce΋ RtҴlD_iAWmC &&WfTb{\&ؓ8#F՚`wiG6!8"wq)`aw[1lTjcFh+ȃ㗯 8~1kT`p]?AAt)NLRf44,yd۪G/!?Qxe5>s<j>^L |s[2aD -3^B2./ƱC/ L§Z4f].&V#= xtRĈF|i<:e0Tz64 y$$ K!=L,95IU| } er9M~ 1#8`djx]BVX'5[%Ejt#C'_ A'On,F8;Ӈc6tQٓaZGz7Q0v*ެg{pI& BOw+9PNKܾshєكKl@qn# hXd߭1^`3: uz(K۽?Rmz|6zι2~¶E:sP#I_%>TX63Ӕ(sy\{UgbLג!33l`I )jp\k͔&LA m彮 kU&~sh =in1ڜ4*MW71jS$TAGLAMo_sicJ/ |gkHofߐ~QF1Iq+_ XXt](s$KEYTMy&DRl-1^׷%G0Ḑ._lMaO6\'-^ _Hi59o)u:(I ) 냿~[*S :\}ﯳ&"UhAPt.P ZNp㹞G9u!J{Xg=s1!GKbey%$hӝ}#6aO`go,J#&չU=u#QSqfrHh8GV![6aӐ@(ig)dܜWvqxnhO. Gho)%%@r~HnR.$%kJ0FK)T^WɆD*/~蟝Ri~ 7{ػX{odԣDD.Ҧȭž{挥%,Yb})*pסIسf>^K{>H>m?WU 3E`{\*1 ' VUD 'Ə_ehGR]aNu%&PK=W ۈDnZGp<. lV2a`bB]0厷Tڲ51{ ,'XTr2Ś @ڼPs5\wK8 BgL./~ֵ}yF: [c+8S\FevEA NR`j1CkGvUlEL BACZiy+N)ڮ~ʷr:/[TJfs e}]ȕh }ַoLH2K]_ԚX\3Ev}߮TYcN Zi oPh("}]Kr A}z0H @ Q~\- RQ:S-Fω&XMͭc8rc ,gJ]=ntbAm?pS+%`H8"*7T)dDmz <8} _xۦ[yi#߁x12oBM9ۛ*Xf6zMWXSuuC \dtf@5>2hKÇF+^;5 | I7.=:vZ,)؟D8NL-J&KEFq eJfwl5g0bcd*`HYM󓇺$O˗],lI|`S8!f0}R:24FUa2GSz$AB3&4;& %fɱC+ 9Ld j\L`|04k$O-إp5.xrADLD,%7:G5=zeZ_?d@BR^} 39oVa)#otf֐ Hs'|{+'HwℲmWnb3l8b8|"#M]BpyK3<F$_-/@_*%lg9X/f鸁z u 77K0 61Fษpb 6/ !"a陥mj6Z{K%}= 8$QU(1u!潠q=9ŭ ~)m/8(΃ hwSWbIғd+B:NOV^LTkW#pEU쫛:)OQBG260_nbFT]jl/|t_ MK3qI¼X?p٨pV/S깂$*<]SW7Wf,1JǛXbK4:L`-LD5]!?@\TOM)OPH[s7jqu|T'[c5K(;(,WxЏ Um^&V8ۻzu؟$ptZ1=.@JLFϚ'<.uQ7--׿ `BʈTQxX(xd)k\Rr /. b m_06^W s@]5œ7c3׍ `L9+-H{]!dc&UP5l1(𐡊-jviv=:d8_r:!nH}Tn]"-"R!aP^ _D?p+-hԢ^F͆9<)P<̂y iS#KA zQ2d Q7?9?ePE{C|yfZxgcSA7  3iZ TA^cb)NR*$yd i ؼawFXB2 sBf3{sx2 R 3 "X3WCWZLO oJΏ4 HqYF\N|yH< Mco4P/F7̟Qc[<5=ж>0kO?BN>.LA9ɒdj#Vq\ߜ =O%lNba!,0w7ĆդO%4Und…5I*,qgAqC (՛HnЂ$|d^G~p_L T~^/8(i*ʆο 0d.<'8S/v3ʵPo23j1t&dtj#uר̰"8B̄XI>dqt-5 8oTqG%'ggIU@I5.`'P2TvL^rv;pK(4|)Eh0e:YI څrձ\M'3Qydj#JƷ/sq3'Lȣ. ,|pgPYGgL Rcij4b k#r+>ba}afolMֺ)V 2ZQ؀= ' |VJB!SR){ǭWWwo`J ۾ތLjqN>4}\,mh̩ B\4PI/3U+QчJR(p`coH5^|_Q8psV/GKjs%+"aAx-o(ufJ|Ţ 2k+Br\ ٢mI3 ˠ~+N.(S IڸblgP:6t.TT;ЏH[/c9cK~֋`Cj}RL_E*|2?8FS.W4 i-e#R(!p3$RXX3Ńbnc74%h2.懘DrA dA3$ނcz$ʂsAz݅WD{]m+(~1Bz^ 5Wv`yC)*ՑvM)7"ͱc]u;N"xXi\:v$J́z-"Ok؉%-j(F/ 5B-0@Fx0 ǚda5~*'j0uA7pzL wz(co`YG^LQ%~RQ&LΞ9 |oC/ а>*:U1WwA!y$˸qIImhvB5!t+hG[Ja+lB2eu ݀R:cR9˟ jRF(=[,+K3̬ZPցzYEO=1IeD}VαR-?1𦟅 MqS0uIܥsGƎfa?J%D!ZT{?-N@-Lp ˎS SXnxU<G!ORvv#hJ!lP K