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 ,,(7l d ]/]MSO_Regex_Equivalence:threads=2elapsed=808.243cpu=1044.504gc=43.484factor=1.297zXZִF! n]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQeI Юm^'O-FD6>rJBEK{EUIq\ l Ho Lx0 "_f)Q"ZDdy>0h>]wǿ>Gfͪ_SۦsULCo} (]8nKGO^*+[H +y?+O+5hy!DVYˮR,ȭ@+5,ExR5\BN2ܯ_ݲ8ǝo!jHC"_WC7h;[G7Y!Ik7"dtM5KJY ByT׋Z%ۯtS\R죑7V4I1{1cV+OE͇Ue N%Kb]쏬g!˘Keg3]}{a.- }J3]cP}K:z}# i>w7ݝlR,zG|}>16+֪+H8tH':x1ۃ}N I0Cby*^ӓٗCm.NG;=?}0Csg<'VkJ.`~{`}9*:S2Woo dT+gQK|?G CdZB+Ky)8</*B21dQIf~#bՁRֱ4RQ Q+8:B 0`Z%V204Sx y[Ię+k,4kπP2N6y /1j$b$p3Čq#D2$4/厮],>#yg b>` a+` 2([\YZ9Rel ѱ'H*$<ʋC2Xa0.R_c̭܏Ao)F ,gVg\JKug`!MFjOnJb H[QDݿ%Rţcc52Ω('{?&Nؿb8/Y KtV4oRC x4i<_7^L'%*Kd}|#SM~E8n6ĪDn[M'->P7Ǔ?ga^y@6"qNZ27" >jj}ϵ>f|i!c VX(3jk2Ybh4W3 eD|&5E--ÇWht2un@"jUJ-nShhX-z-gŸn9!\.+y|Īx13ysj҃|[eSk\xF dWo+ 7 MSO_Regex_Equivalence  (VAԠJSkII*mڐ碼EƇxrx>tZ Ƹwm* NuW%]pzNJJ'uOq`&*08!Gz2r4XXG O- '/ Bv?9ݙ=6t+ֳYޕ)<$F_hאHxd4xυ5Y 1wNrr+:w~ Ռ(`N"e]a sĊ԰!:⍜YSuAϑCnIf`hLʼn|zZ) gѹ)hÎŭlKV_V/jw\Xٟ S=2*4C*1Vx&ȆAnaN[i䂜U. ݀-uSQs fybBˌ'Z45a@5$k2ykEJ^l<ˮi}-"vR"h:bftV%{ŐXa&>s'6me'mnF!əU?U83 <^AdAJ y}\ ݩz˂2qeK2ѱ+KEY>}x3$xWI[U^[c&u8.o< ݞ)^T9ۦs6{Aٛkp&.-ډj'Utb{myκqNvȑ*3['Ё(!h\Ws>$ cV,D?_a`'tuLS7seYiٔT3s-*,pY0BGkd9ğ3OR؂lc7r]Xj/Z37pg.,#L3> X`J"Q=fR!{/齬1F:#jL @?]9n#E/]Ɂ깝i!Vwa[ <;깒,ĀR%ȿ-npU=#s8XG*G-tD?o7!5C;5䰚s54=b$%sGҕ4UC>cP$qXLE۹- `x:C!@Sv:eްv`4Ya'vįi|EIEhڔ P'q{Qw?ajCHE}#W~9Jl,X \tȈ'w CAfA%pGVhtBX5W4ᮔW]|`/JV`h^ݦsLY3DgТ"i܁ np V] ckMÎ}tȯϤ7V? My9GtU?2 ҍs<lz/r_5Y Jw &n^]~q{g M0b|=0Wl͑dĭc?جa˺K 0煹v77f`VDMC2C7KrY#|] Wɖ RzA{1A( Nbs^ xaL`&XMN4慖M[!Q6%=DOXV [,2,ѻWzm;1|:Fx]@b73IպSbRN:ECڝ*cPE!?+OƄFP8і(GJ 8;sh膙h6RöZnykqTO]iƠ=jl=GgYZ7zXZִF! B憩]ŗXi%>g&&^ :JЈu{ê@0i\FR5} M18Ʋjͬ_RN4DD\8.K+ ʊTcP?_.> JP?x)j"\s^J:`c˻̙u8n")ڌ?:ꜜ76SϞ \Lټq6ăe4߽)SH#qQBV˨H}s0P"BgԏR2l\֍r20wC9?wt%WC}m^:bЭԚ'n7/BR_ꂸmt>qwVL $A݄9räč>S{_1ùK Z|Vo̯4ű,x`(fX7]/f۱ĕIsfO!w]2#d44{>FKIkp?Mmnd{8R2XV-cd 샹 oc*ui27/L929gQ#|sM%/q}OhoM7F{8hٲC&hN(nASn[vEۅ@12\uMR>V8i$hC>{Md/i-\5Ջ<n#w<[p ރ=椚ŘK%|~*qʀM;*[~5dvB"xVJw_`mZY̵lDĆS#G))4&Ţ0|(rӻZy DέVB^~ix%E~NpUDhq-a Ť/3f˪BQ2lWo"7x;,Ġ ӉB,7sU㖡pY&:&|3bl@dB6`|1^^.4eW !.k6 BQFr_p6рjBGz+ݐͻ0 -Y?MňbPD_7yLC$xjsW*A) @Bdݰ8T7ꡩ؁ց5GE=# $N&LN}2@_q@#b4Dm`$&rm< wMUCA,:ї,U5I7˞'C&!uEI,/ӡK(]#P鯋I;v /GS*euP {I˦@!Y8f>' Uat3[J6h“1 OjbD ca/m |x#e{&bBO{;~[=A/(nfemP+> ؍}(oO;I#hg<2G`U΅@B^ 8++귨] +mLXA]6D 50[0|'ryx<+SRm"r;I,q@MAdStq. c.7oAY7jVEABϕ孙^/1'^q;Ts|! ZS 3,Dy(l. ߪw֯M@`o{@vmyV'&>LP L C d~H>:^>3P<4Wwu-/"H̥Suڔ9{d>#߳b~R4Kf}8tdb=nTM^t8AEwb٦J{z6c&Z3Pa@Y?(JY+?6f!/\z}D"LjX3 &}H$72`{D3TM!F$.yUZeʤa ( Mm{H~4Y^? U;dy ?NxY˕ϊW'Ŕk oQɭ-dRO'_B YXK;rz P_wv{Ss0 _U'X*aI8,edI50ΚM;X}Rezs.vɊvZe=Խ^J)G 0/AXW;VH;dӼn.{'׵5K6I77U(UkZcySa֝U8. FGyt;eʖu첰/;7J;4u0kP`GG%TUޒ9g\1]q?&[NKvV#o1xDG1qY#zTQ'!g:L=\J, Ҷȳ1:ՀIJ698j^^13ޓX׫Op(4DqnC9 /9{}xZv#AzrJ3r!%E#6=G;/Z52ӫ5 Ӭضſ!G;#$:lnW.ݧ40 ~CfqkN,ktv2K JdDe؄dy -Fn"?gXLޟ{.c4BAT=g~s1m5߈A_w=~`hA(ůĮ/ 7m5(7 aGI-8RxrZtpXD㣢b?(m]2F dsHp(d}!Η(_2,qh/͇iaCMWQgE}B wnui[&=hymQL.v!+*Cm9e.']Dޘ㛩>7hY`:аlM fK(@,2NRdFb%b=+1)rF6d#ǚzu! ]-g#:?? Q"g&Cp?UCoZ7h J:(e.OcF:r2Hy!bv 3 X XrG4zYqu}*ěJRwbm}, b ^ ( OP$"zQs1!Y) Z F݁1" #J) _`tWO\UɆj MRpƞqE}:<0Id٪u c=;xZKvCKĢ@Cڳ>}h-|̤hY!W%#qiB3evfXTzWF*zh9K"jJ_΅ul7 4 r0Z-k&Ѧ7ԛW"_ :OxXW>ZBQ^fڕ %34ؘOiQ^{_OCP(5PB$Xг"GKd>xBf$`uM&*h]gkaWi |V\b t#Kn# }R“b\0Sl{Z&@PT2|ΞOfE3{\Y0S00MF3G+0 \FY&ǔf >,Fn{n 4ۏy`IsQ iEqt`=:ٱo zY_ z3juOI (Gk]%c'OH1SŒuK[J976!Y"*բ"mY>o]\N`p Bm7|6Tb?Ym mevKPa[@c?ෞ BN\B\HIŸ,Vt$R鯒KEeXͣe$inH(=Ơr+oa #yIb1Ex忛"Gv3o4Lve:?.Sx?V` NqA4,Bd&NBτ9'PY4^ Itc<;i1S-Lw P醀IXw\+KtQ,όG`7q,㏐cDpRl o"uk`i1 w rJmJjɬq"Jy.LO\z 4XT&/p;YZؾTEz9~y42b۾CZGm=LPƍuΛ vVDrl : 7  ,9j M[~mJi9ݚiv?h/.xQ^?9lßVA?έ`4Nf|`H4DHƖQkd0f0vC^hP9܏lB.p}vL,z7=`!顩M>oJGa0|kXPM"Pf$Jʚcz\kc|{Iǚr1mkwx - J^] 9p߲ !fcܥeeOio7[^#6JVAEf?2JMn#yrnż`R=e uڗ0XxI1+N[EO'bH$EM L=v>p|dSEf`TʨreHzx YQAaְrWШч p0Ѻ"(dn] 5UiIK k@7 jemYym\@vlORb_=φZ]qx!qli}%SGn}yc.UfW{εG?@!U n(UigT[ƱW3A✪kf%Ӟ.U[Y:8 ,E Kc%|ygYbn^ hl*~6ĴiOW#Vy>B|HŹN,- /4\qh+ibZ:|f:YcBgj?vqcY Fgn\$K` RŠjjӿ}-R䳰DmCzN~bc3ѪXT©S{M=L,& 6:8ySqX;D((uI|6c*eZD[RhTPb?g7G"o֎v)#9/6ÉT'lul%nBN8+Zױjx NJKLJ3@>oGh:M,H}YԠZT/Pf$)xutL.$\ |/sbmqvK0+ΑcZM?~R/ F󋗄wi8OCIS )ZCSS[IYؿ*Zf.[nytE|7eDZA~<'O|e@aHY<aGnj>_mۼpfpx$V7t.h4v\:AL<[H>;kWF:P!ۈn@0 7( #I[lps1#bb,ZXHaa+GǾF&tP}7eR(2/*2W?\PJDVnF9ao&pJG d鑵J$;%l-#˾ۘi PxS\d߬cZnHlL>JƪwpBrܽ>7SuD;dںF !Tn$?JV)c*$`GuG}BB< RB>^C <,OAb<+"\(6뼌fSmnE{ :]-Nj}/ {cѰgS؋gJ?췶#晴HkBvweƽ V~w| RB>ӱ'QEb+՞}3+jTҗ,N1$~ g!{`Ge^PT͕sj4+@n|%+l+#j[@+rSK[vw˜ ]'Up|W*g)'{ 7;SV)ugQ(BbبņH>X7s`d ,eq O>` ŴK n 4 rq2)K4fqr*^7*' duf=e$L{Yr)lWlS` ~>Rܸ}ϲ}j)%)_# #!Yҡ7؈!~ B=VO>rь(޷R i5<φ"~!M*!c6/H~b Et=e1@ڒ5h! wT Uu wG˹ȤtC/z 5V_u^Jz0G)a K,y3.4:s `QU9: :=pD r/4#}|4]L6䰔{VjA5D9K@`:_(ѫaijl̕X%' - @XK V>^ n01Q(k"{Q=T1$`˩Y^MU@:V8BXCm^ 4r'x^q G"ou!qW Z 4A0aK/YVxm.XĆ 45keX4V+3xMFc :Sa_6Ryuا=dLjoԛ7"O{V/ } g<[n,x`Clߩ NSI$*hNƳMZO8bfDoNX&3]~ s#}(&p|i~~A"ZTlõX,P{S7EoUg'vi3Y9DD:Ph<0PT |Wq{JgzH`*1)47 #Jp{=uF6^Qu:7pxlS>q\}8yGeء8~ԹIq=z@ (-S+ T=${*S {0ҥٟ 73w~οwz%*蚝Bvx+ÓKTUA m8h>?}ԉ&\N2OcP;j4<JNO8]Uɟ(jH7o$]_:gM-B2w_Wh$941όSlaOjfFٮWV%" yj`o@qc1МԫH|nEYU X[A 0.=+뷒oƒ\ Qvր?PNgL?|`HP˭9_<>ԸZ&N>r74]":W*+c:Q o*^%?x K4\GsbnkKWRHn(10 ~ܹXJlm [[X/4aa?4 ~ބhC'i GD (AAkBO 瞈gO)J/*MO</Z\TxwѨ:e'8]y(:[5ag#?"Pܘ.S&5fd32!ӊNXf3$u:nΎrb E9_d%tO{ݻ`qR,V4>$oD t,n7/ ZeaQ11j_PL`$3^#Ka| ^?pKXuvek%F{ftM0b0&v4!L{O#^RF!S,!6V 1 fӐuNj;I?햌csa /kP=ߏwʪ͎ôo\ o~ !YJȦV6d6>}I.;\ap1Hq9.&YI|Naqa=2 UsG YyjDxWƺq,zF"znry+C;mssE8[OIm[B|,ߝF*?Y:eQh =*׳yErf8a(\Jn\mm1\HG"5Un:g A|@`c?7F+mft)#x/@Q0MC>䓺h#fAeSkS/,Eg^:裩*c^ v3X*RWFci zZza׸w_K,yz=*dHZ[VP[VN:ò1S9H,^-u 1nJX]3qn3Ij Hg%;ѳ}ߟ$2e.脫"mB'tDH0#f.ۂ> -%rh <9ۯôE>sY2; Gk/z|V? W(}YR1I3m4wIrӵt!Unj#(j fq$gؐ HJ>jsΫt"{atsi$<' bz~tfb)h粊J*RrKĚܧ3>9QQdA7S/o-9 ,{[}p +A ]C ;;KZ)pe鷼c?m:B+1~׊80q2狶, xJݮR$_KO#P-a+vI72~+>9 jAǒMlf^&3-i7d,E2fYH}}pS: j:줐#W>]1|]JГ{^S(@V>juo#/h5(+ NI$oa+E|[ꟋJ8dCs PCxG`e:xD7QOʙUSV2i"ip3z+'w4u=m2%._ws+@("]r1 l[DtCKSmDHojd􉾢i.KSQB-ːj;r,7I|ŀ*hVRّu(NI6ԁh F Y"bE/UZ|rF l:)lO"2"Xt <ʰ:}A"l,4BC5\I͐xXL*Ƭq*A&ׯŀq6 3 Vl%6l:HRG &W(ឭF ֐Ixaա-f,oZ9^ֵ6yс@r,X6.nhF8;ٯHoJj@ k>?0,A/B`B-dX.m>YwCN?35(i&;`e pY,/D<$'VúD`g~Ðx==WlF{5AȾ5D)G}x=Ýw/{ޒ,͓dD4tD0!^^RTm" N5lsJJPd\3b+ޭwژG/PZ1j"q/ީgsot8v8LP X4-aV| OD8Y)*Bm-cm=8iݮ8o)j8@пCn9ggjr*z&`wcЮΔp&2^JvaJmZMb?}sFzXa:q$YdZϪ٢#H5sF~ևPxdBȂI3N{Hީ vL;*ng?UP2:]xO1zY@Lwa\KRƄEEFU`Vx◧? bQoTrfFִ=Ӯ&besۤBێq/XJOI,<UdiUeST@l58(dSW޳GPєQJE5 ͭQ=x].r`'UNyqƊ&CL 4A`P132`Ua=Eϒxت.t  .഻HkMyK_VʌeS%XE5 2D@A iś!xFCu߄$V\sOݺ- @1:,znjb0QLW+jOfRL@; {RfEν[e!p?Ʀ٥ȭ$'RWNkٛ+sRL:38?ѡѳxYK㻊{hg˹8`HeJVZ[CH6qa$<17z{NM `_F5 q(N\W=e}hhYiZB$[o+^DQ>z*Venof!/7YkҮ}9\ ģ-#|K!y/8mG+'YaR h2&ɘ;ﺝDR[{P~=tBRjzrSD@h_1/^UJ}7` `rՁY3c)[vEmPo҃;Tip N`_O MeS6(BhV>;ƫ6(LI'ӑ_|M(]E?Q:5)|QO40UAJbFaL'wcŮ3:7OTn巯]FbvάkJ R({.7oҟ0WLK%ewck@$z8bRAɯ$]}Tr0or´F  _{W\\(@֝q Q8я.,Br7V>%ۙ"Tv SMu{f{Hb臷$ ޮ\8E,&C8 x=x S3i-̹U}i%|׽U6%;E) rp… u} 쓢/|MAojG5&*ńkwIPL>O`A ka7f0#uD7Skǯ<[*W[<%* !M[Sҕ 3)4]ƫNUhҢ{Yl$h3.4S\ڃ@~*pa1AYb k!U/?qUB MJ+b$m4AC(a1D~vflEc^(IE- =HΞ*"qJ]zVzOCE c"$]#6~H* @PTDlOv> *b jAsh rP'w4#go${cBr䳮ĆہZmXJ/95XXEl bQ!uMS ,h'SM͟%ce3y:Xn}TU'awq =5 ,s1 ?ml@$jo~#=!"ψ2)kz#N S3qx+_=l|'nhc \solg/"WFc^4tr< tXAx  H?df2gv?%&X7gr)Fx*%D {(n,zlҮ[|;Cћ•H UQ1@ʻOy6S8%3v5IkV"ânEׄ "N ')4GJ3bt`ۦQ~O= E1n۠Hq|v`Vh'Ya72.x"H97֊8rC %yZVs&P"7 A Q{P1 ^>~dT`֟Q@aep]=Gvy#V*_'n[|>rnTU5ԣP;y-)~q3HC J1ϰU#5֢ٗUB0 6B`vMvͰmWi AsRЦ]ufE a)s ,Χlqrf$7D |*+1\+Cpo2.b;\%po$GQ\$GshL}lG Щ|#CuVl!eG!8σѰw +9Ϩ@aȚT Wuhݪ%gF`ɹDg5+sڮ 'v5J'I jRiX!=j|1 9n$;+\+ 3Y0䴥ڗ‡R8_!_kY~fӱ )I߷29E9 c)]Oa=B6‹ Jo*wlB6ݗ|Lq~kbMꈬ#wKXJf[L/H&w,9Lq03oD򌗩bc-"URr4oɷ(M lRBQW$FT .5?0:FQ~8VQSB^}9Nv'*vLKL7zy7 M;s>^WF坊 FϚciuZ[ub^RxZH; 2 /\oGD / Ꮼbwe5AJ\LЕ|K8[:}*ƀ¾QG~ "bTBa`l}ծfSpB~J|4A?U*Gk˗X7< h%-n@(K0nKT'#kVR@`Qyp-p Hfmb{e9@r&wknpǪ#ʫuzY]+۔R @22pm'uK)f/$&4iv`;Vƍ*Q"Z}6`,[-r"x6Y#Q?vIW,<=E e?[%9=ļI+'$;0$l.TyD_k hv碸W@SY8pzf Z.B[}ä0džCDERnoBs%w#f5J kH T5zbD[ٓѽ>16U "մsrs(JfȮc,dD `>g!%u 픕v+k H(5n@CaRXY^|ސNXfgB2:?Ba:onӴ51(~#SMbP9PTRջ{zˠEO.Z}:Ij!|k2{T.bМkD1ٔ3@칡lsIB SPNql(l۷#gE@$FyAMB?:296eL\p?3%!tTf8Ӏ=1A~=-=7rkX>rtй pVB?V+S}q3>ǩˡ-Ei8g= eړRT\^q!_G8 ܹAbJhOQ"[ +U1Qhsv!+:6*jx c.iX3kD/:z3ΌY OT6"tr/d0QؖQ8r>&N3 VPuݳb,y?t_teQXM%H:Iz{-BxFngЖ֖gZ)qQ>'br%ClWH".cBfFJDމ 0ɟMMp #YR ?xj d_[?4@Wlmz d y>I2_~ö7:vC2A#,d?nvNܸ ۚL BMLDarz+|18[IvRR&H|kԗ" ![äxiVX8xɄ 2LYt|eQ.Ɩ6GuBј uhg *}ܒW>B6U _ξA9"7 AlmM{6LWRa'2dGv4r 8J`v]fRMrF|ĕ9d**?1-J :W]]5,*2Gb~fd哇IR!0u?Ͱlg?a TZfI!UPą׋{Yi i/^,+O KbLrtr.D^4+Fv$1fqJaЅ\XG7~~޿GڍMM+kZw#:OEgo /U}POUP1Iv 6ǗJ.\MNByIe<༷s$G Xv۞\PՄjIz0 P2FRMaky4n5`(mvP%02Լ + =t[fI5&OmCS;{"DQ|D](|j0U/``[Q1{5($65y3ښ]!?N,e)sd 6!¼U4\*H ,WXj/ pr‡xcj'&Juq8UnDci,8_C= jV|;QԡT>80 <:&* DbWFFV /[[jw?;;fC9bl>#i64cµsÒ'@Ft{0‚-2U:PDl?M1 djB!#GdlU P+muDbl|vg@S@SflB2Gpߙ+wm]Y[QH{u3:#O_92Xx"KFlO b|d]V K%?6N`#vȓPCGe04Ch40f GA:neeփ4V ^PڀzoH9%'OAA͆# F\ fan..^10X38STѣAlkm0LBP3kNtdDAL>O'+vko\`>m' viHAJ?UJ|DLUqXd{U:Nbܯ/ABu^U v\qRKO2-7r[)YHJ#uGNf? cBEg="?=Q<:"4Z=Hlim.}NFviE+y?] @F-Γ?&)5% F!3 2o i ꙼,m+׀ }3._Yn]WV~Ҹy Nj5&fCk?AD< wͼRdf3:)"ƕ0Btxo3˳,(ʡ,sqX|+i ׀mqh(b0ڌStW]ےQ/TA~M6`< K"'(Ed/O$D5HX 涀&D Ѹmf`ݮ A>?$."Ev^7+H/cv By `#SuW9? ic]o?fђ0.y3T*.s~Q)+,h$ij#wJ@ͦ4FylƲGy Xo6Jk/̛fbVWO /dMlC:M v(ѩaD~`ߚ36\ t`Nþ^PL_iJbKo5\N5چ6 7Prb5w\iүfٱi6(8 j8 :<^@ vYiS" M-旡ۖ~"<&!p?iݕRIbĥVŢh:a"ޏw&OqߵY-,gx {v¯:#f&=(˯!&:j9".Kr*A $嬎9s.?i7*+Ji+},!%$' U!MRwsk7M6P$cuApӜ%oxm(ؙg{ns3zSYJň<{PS_S)B [: z>Bm=L̋hyGkȅ0rr0tivq_zƵNv+hW7T\?ʱ-?,B c![,|s~VV[.Xw~KKix`auUSJlHFn;F*rTV;Jtk;j(Rݏ1'dD^R\Fd Cz^}4W6H/bC)<$!)PNŔ't /&5+bEpᤩ{,nZf5 b{q&XQ}&y]/牰j}=Ņbj޵p;R#x~bF 4i^wC\Bokċh ,%5UHcp"Ǧ[;\1 +S=Tz6Bb{{L5˽( :K1.gjX87`E/nt'8N}|HPIQgwf:G4؆m{\#[8m"Y7Pdwܬ ءU#v3mADBW 3+ Qf/ywСݛ;Fcr->uvBV5ϟ;L&NMUT:hl)8@e`,_pu¶,e{ixޔT$zhऊհZՀ0a7gR2(b Q?˯8VʿO}_/\ܻpL?4* Ư]F G[{%Һ`1A-f/~Ny2E\W㸈Va~ȝzc>O].cg! N/,xS4vZqxnCn5Gl'OYmQ{sk1dl3ZWAiVSYޞ#2t.04@، "E!ڂޝZi:_f){@jjtX1\i~I<.iUʶ :]M!jސ`1 M{*8}M[񥴊*::2 P'JY`,4a(Ifh:f]s+cr7^p}ZcOlQLdžD[[,W)''C8AbZ3qK~Vׁ՟K9%vL*kCR2 G- CZK"[;f ;b"ءy/@(jeV35 bى= y_;M"!e5"_ػ qBՄEq9.HЄDt ]v=K@悤)i:T-`+\]0Uz-M>/pI@ʹ$ +Epآ6VQycz*+eU#P5):N MY=)͔wp:  h˅f 7sLZ} Ɔ@U-G+Y`GwZ#{BaYbfsi9U@P?j'l L([lC[?D'f'4VX4S{UtzJnI]#&3f ?jƞz*/atAD;5DFzI6˕$$b.;Tm 1:@_N]9Hʡv=^у͂NxDYW=pT3peK{$CW|;E ƃwPh6[*ߔvm(=fG#8??P =Nl',/i':Evz-"ĵ'HGi p>^V77im)d%\A% C-rJd&+25T}ή礪.+]nGIpvmW`?Gi%CXs_y:)0->6ܴ&4J vlC[HUȷw],} ,^yҼ/C gdvC!ec>S;M7ӳ5S 7 ,w1Ի\* z>y+XfwgŻUKPL/e=eRS#5:r\}xl֟Ry>Vt~= ִPWHD͙Lw."Kh5 0Y9e6x=m}QX%f x"f>U'ҨM)ZsGUFy=6[m.l?t8DVHueyJXܠz:_NO;'UBQ߱(FTUު>Y'K# y|$嚁fS#wSeWtY]~Wm!P͚*2yfl6o"~'. 0wm h )~r43!EYE[\2 a7yeX?Mg:MUv~چݪС Ҹ cُrg}nF|E%]5p" ]mPoba"ԅHOtlezl}5VTМug?hm\ #uT? ڋp鑳S -Ii Qk MFiVVK=tPK!b|Hf&0:N(>8#<7 SW :k `I`Q7_XKU\(~ԍTU"6_ ăH=gQ ^2Jky\EBM+qto\upP7ԍps*dG*SeGޅo$TLd2CϙtxJ@Ҩ=5G%j@dcUW|UX?{5T.g+mv!o{i &DNsbh.rso"8Eå;Mh3A ΄ +iG䛌>ܡ|}0&8jc::nj*  tkKB@E keXL[eJoOuexfm6{ƎBDtT&;{)i !t7v9[X m{(:,}b]_!TQ1/O^^CT06N: L| ;|L|tEm5#|Ɣ%c|5 NT 鄣qԲq*w!Ye$am^e J`"[OȪMGn7n&rs%` #^[kEbykx? a@ KMw'.Y>9QƜ C8 _~?Mڧ4 tgs aFqn^㠏(s-D5E萧6UXP=>{kW+ Fjmn0ɟ0ϱ:>}Ydtvmα߉n[5@?g-s3%}'l(qWeD(Il6'AZy.Y&S^g6&IJt_:薤 2񤡽Խ 8] ٫ 01Ȯtw(P#ma&i<%Q`*tx0L BNjQ+>b>,e ERu_ܑ]$<_ $:"nJ}ʲ*2cF^3 G|_!ΩM@,]Vh- [M{cn5cX_zL ʌaV^4J4NIbx=d˕B̢$rcx /Ug` ʕ:Ь"0ԡm4镡MѦ˙M#Ȃ^@ſG39S.>><rɥTtcZ$yz z Q1cbq[rS?/^T_ޒ=t{ɺ?K1uNMɢUrxcvPkcW~yT1Q]_G@ȅҥl;&@y#*#]-p8jƜ~?7b ~qQY?HXF!FuTC.ԞZ1i2ڑŮvu Z ~M1['R)O#EZ lCYnC}۳ قg 8MaN<}64apVo _r5pgYf<2+h| i]~O+fʖE,(,<CV#g6I7L ->rVJHY*! .I}Rƛ##rcd>V @]z)ʟAHߐ~)M<vsGcVTƐHoܕM LYO׿ <+ 5LW)Xx-+߂K~.& &SZ=kG ;LciUI{e{(21m# ։E!b3dU e*q :)CCoaXUОRđ Xփ~Ap`cEjTfwpmOZ)N,A6WdCFJ+WU@ʳf~bM'02M'H2]8&62.}npe$sʧz%QanXi"qC7+a>$LXCi49m"1D34ez(ld@5RPW J9l7yeJޙIg4dя ;6?-fzj[WMT v,Q%ڂ*8/ kx!Wr͢ s}D͐O0U#9F"yXN\ ?=w;k뫐 QX,6anL<zx,ɝ!Gv.s]vr${z^7,``ӱgYZ1beda834939757cdbde865b8a84a92614ba5d1f997833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3dcabab1b1736caf82a23c37fabbc23966806c986