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 ttD ]]]HOL:threads=2elapsed=315.926cpu=586.004gc=63.684factor=1.857zXZִF! t]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbBϳҟ4-C-y_urib}Ψ>sr 2}m ~z) 682Õ*^:p7Z]J:W*O@AiM@8/+dktKQLw`ϋ9 jJb\6!OC˄KSG&CWyߜo &>UǶ)'XI%R/4ӡ ̶K2#TVPƎwdx}M,wBM"LJZ뾸pҔ`Vu$՜^̩*>q?1ȎִˮN#rBg?|GkHjo8d|!f}XvO{':Q{$[~ozj.GS-_ Z˞tާ 0 K5 ֳ8kd#݇t4TN>&F/si v~3Ljq_c&)hǐA?A$1Dۗx繛LOXSֆj~, 4┅o'YL؁ULI.52^Lo5 Naqx9F4 nt?xumj` !%R \7"Pw%[Аƛۼ6to@ pT|!TɽUFU.yͰ .53c#%C0j.5$،L׿u\z:2 _{ZqhCgw%dK ;6=ͺLgdUU)d67MԩWÇoR l kzջ-aKS:ntU|/Tp4mjF J(m<+`q^]]HLOPu"eLTN_j!T!lghm{4-9#ÛGvbN::wfu>@2$7^pǘ> A!v2XU޵SXIjkwi@ۻsC.K"SF 曼Gh:SMe lR*5 v}zⴽA'&Hf-W5Pп~;qz' wxXæ=h͡2) fgG  HOL  6frB'\ZӻyC(Trwbǣ9S݄4Lu+N h_йrfpȃxI!Tgi<ڥV[l5xofx M9`f:2UJC[}MR0@XŅ=ƧCLҟ]lJb ;oJ%-.X$3BM;3>P8c8+JUH*#|:P:[*KaST$&Q!&#!5}jAwѼ} dŷ5XMv ΕATZ-"'$Qhu K?uH 9 >"3/A뼻Dc,ᒬHzcL@YB,$ ɏ>Pl)˾$] ATB:" V!,DMcyY_ qO7(vm[?h/W=-{)P4)xAJ=R6tvyАxZ9>GV 뀚ğEUP"<54׷|ӵsӄҼ֟nX Z |Hz >=ߧ祳pN3TL 儷#=%Bb r̮oч!5D Q*sE(-2;izPj»h4(͐ח\/`ͫ8H+(EB% ZrBT& Ӿk4,UH-Ǭ/ !ֵOV)򦙺3M\zsYMlEnWLuƲ CV&Lj4=.IќDh;D06G@TWV $yܴ{%tеr Q7+`o2dm|TřOήd"]qq _GzeHb]8>*5X6IjgB/ !گV)"m?E+#r LʝΆ@CO5ID 'Xy\ el!4mAW| =Y(%AQJFwGգmQ+gf# RQĽ~+Ȧe*fvIo{EtPqFu/ɤ6G~RnG،KMWásjzGv"AJ3HLGǢЯ@TO Ae7SV*I$2kyVnHL{ʻ_ZGN+K|†VgD\:‘e(u?u=C &Y"RLn"2Oe_4RQ=3߯QK*r{捉΂r<|2T>A͎73T:VklAqe#5fI\1>6XJTw ~ZWªD,}$^H0y-67_ СgJFR Iʦ.h2?9/;\"m Rъ~3^kմRiudQ)<e73BVO66"mNWg7C rVw#sa%")_\.EgO"LbtܰXa}Ks)g X=J[quXvm_(iJ(N 0)] e{W;-oy@*\ak tB$.]mL= ҆>(T![C, h knIrO١Q%:Q%6h +>TUj#p>󜠻[zpE)ۙ;My<gi0s$@y]N*h:sL,Stu70B5)gwod[j`*}f[XW 4'x7ڰ`2149 9Ns,j+9:oY\F7ZX&@U1Mw'R Kz>7hCȫ;,ׁfX(|)[Ɇ<QI@J޳ 4ZJ^H&\Y[oc2RE/U Efb8 xa'G]ѥי,x轫? !4Tc0SC'䙤, ᗯš^z Oet7.v47K>:SyLu'O_H)vS2IǜpSZFЀl! v=P}WeTL 4+2}<],HB z~f T&= ZvUǮT_?lpv6#4:p:9^*4;I{JwH WUp7`6I1BCA:a-5jq[{u :)D4jzQu".:"Q-oiCn葧zkډNx&\$esJgȊu ͧ2 ݳ$ r/=SD˜=L.E.l8h6\$ȿfmhAg&(]i0F}%,Z k9^;( )r5"}UC- lZlâ봾(*IM_+{4"\t-D(+*kE&u5/Os䪁6gYC}˗7 @¿BxFru`vRU{]7x@7=5@0][toK 9FRGEcsɤ̘G*ks/,Zn]cRU\Y-'y\:hETgNU 1RpkCL&fy iIqgS~QlQtC'1 49{ hx7ɧF7[D!WX@=}bIŌ0Sٛ,jqI[RU g6:?S(1X~MכH]t gOezt.' œq2(zң*4+ ^GTCEԷ! 80LnA1^|N_& 1owWq,Q#-{COU&ܭA6ER8pt D|ț%dDO`gl ٵY/ GJdgF4wv&QS(&KeI+tl 8A P+qbEqڎ0\7; l[eQ N: k0+YXs&\&tlFh6HZת}d)qI{tí0$[V { ]=da ylDS6䪟TG3tp_1\1ަԺ]|I]1NK_sTAed^oFq(QQG4fYw'+n/=RDhu T.$;W׭luJ'2Jǿe&w" gQ'Ъ{[D;2yLSYYEZzuBir* i7\Ͳ_'*_bIpZj7.~M9!^w?|mvPƸ20yY%)̥E~ǔw0d)3k]0GX>:عg=rr#I~ipm⏴woU]bLWh]d,K\ tX7Q&B8Dr/("?YR1Mt]tϘ"Wan}1ĺqs15A?e<r#Cfr~?pHJT8km`r,EM!!*XK ar=Px ^* C3RbJ+/X6Yj^#?PN-.e^0[(T~Tk bqu9)&;p~`o駉iP@K\(l)0is2_)M.<!BIO:,aDžVUhH? dzd1k%&>=p'!) 3FU#giĄ3ϊ M5ܯ&2b .# nj8[{݈hA/9]q(#K|mG>B@?5S5K"ږ5&Y`Pi~e/RBy)U۝ BNIW&pE.e!"ܠ qR\Y}\nK^zF2@6^SLH˥ ~M;54_1})o-? 153ewh'[.=:IҢB5(x)tf;BzËi'r|WeظQQSYc'׭\WXƼm29|? ?{=PREaS9˿,同[5dw׏e /N9He r.f Щ62^✂﫪F֧ mi;0Ϋ)z9`ijJl$_]_& V9Mk- jg Ʀ> Qv/NTx67U%ܓ;L,j>zR%rx#%eĕǞ<#dnӘewz"3a*5/?u#4> 4XPL3ȀX X-Q# =^%-!zՕ6^ Ã6zT HWա֮JZg14IQ 0nbќiE{i*%xg6L-vf8!`z M.||BRp/ ߅0đS=_?L.`$sktnK,Y+MѼ{Q zWn` 2M'*a2j:GWK<}19;s%+`*`+vu7\0?~벓DpV̤FrTJ3`Pkŗx 4Z.A5v8ƚрg53Y뤥]PB_a\^T܇(,MGo,Vls b #ik_r_)#BWv`:@hti{V:!'qV@d|I[z׃l>De|l'Snm?PfD$.ZE;w5?ӗm$"8 kP4@Gg o1u-\ˎf";./\jC\D#eUPm7,N17.>wZ.?Tm{$E~ftg/Cp%:AR ڴsөR3aFYAP* @K6Bm/ONC} ~U0kg.nu. vI2+L.~^ҷմPlڥg0O8+Q°@ً3qɪ̴FDH 6TYkx>Bi) CR# sɣIO6p%$a|x?e|#]F|6N#9]2 )3$U,c5#go}9deg ib(P׸D' 2ϪG,eW}Z/]xEP4 V*CX,)xq9LiWΫqЧ+E7_xO!\ղe98+ 3sOFu0Uk`'=_ka.$8$t#3׶ZwFx)|rK<,^̄ /dp%6z4gԏzVP(G(WօL~J궪/)z?ޢU#n׶ms74U v[z 73;;Y>U^b҆9u0aN-rvC5i#V/eB5րYFs!O$jhO,'([0|^f% 5McљD@*;,~%{c=б5cnxLcYCZ ]_b8M=$]/C[S|"J`>@xM7/,-1*MkNȸ4ktޡHX>0(5c*7FXct/Z;YoSb^ւ\-e[b߿)J.!˃ږ.N"et%PQWc_PW $.`Z !so'GiqJLuEڸg;rOnG(Y12¼ׅ3:m*+>W %^g΃-(:LE>Θ,k;*};Qob^{dȴ52(4{-THޅô_;' }Ey @id2ݜH&cBkuwDJH[%q#"Ok Qڲ/E9/Sl 8`3BJt&tVaK8<!Zd3eoËӾHqσDmQ!bj ueD*q ϭ%q ]qNj1ݕ(nQ]҄zQdHpIxmꖾK};OMW  7n!J$Gܿ2DfK^QlBO7(L=zF)JkByR0Q D8n-XP׮(a M FaԎĸ[u%i| R Zg)q6غ7%112~ޗnRE wv߉a `TlW@+paZ<-htB^޿+ ̦1ۇHtEs!.}^8.`u=Vx@1݃p?3K͜Oxfk_oPmV2}k 2ex0S&~soMfΥt5( 2ovsx6(c(eb ۈE=(ZsQ ޘZpѡK -2z ̣1,6y=qvɕӽ@WU7rA?M$|$R0oAJF[4o8žX_iOkRO R{^ÝȋF>聀1:<4^6hѤԢ7sFARZz\7q4ebXb-n 8IA7p;' 0-gx)-_1b 얕H`vY 3R mSׄa|],o{v?aT4 ɣd2/b뤠,U` \2HUx餴>s%u| Z]#!JxT]}`a]HMd 'BKEMpdٴu˸[sn@к/r'߁vx˅3?0c6N!)Őe}|`f DH`dX]h Ţ?Aӎs)U; F{BCjR^+md^!(L5Yc_"m㧳xY׌Vou;yQ?$w˘\Su S/|?ƥM'n/˽'+빂ڻe )n !{ԛ[տDc"(}kcD1[h)U`R'=4δ"Y5g4?c9Rwg~E$훾m_f0ߠ>d$rDt4tCzdR3ذxȜ3(uA4D>?S7dʣf܄t &ՙQ&Ag`$>vhC,Y +_D S6U0kxպ4, i4:Ί{U<:Y<{hKaI7Ֆ/RMm>¡Tv@WW^BRW|]* 1d3rH$_sFt+iFKs{5!#2A1nS!*wbd>3o2ys kGč+&tA|qZw,$HeB)nAy+M2`&s|cPj0۪a#n)VF67zQiΰy EypQ1PI#acu!zKBM'd/wъcqDt@02__JTp3ͦ1&\u <;ZqO}nWWnهMKDB;+ROKe9}%PvrvYU iـQjd6¦ Kߙ޽V`{h9 S8wdkwGq_> 7o^m5soJmqN\v-§I7(-~mkVNw "4Li\r"bTbޭEP)'U9VcwrS q=nt}H ZȝQ>nq@tB:Ǹa[Jɵ38g1+iycF}8@f<\[[`?BdaC'kD%\uh 45rFN>6Zc:hLGNni5opoGa91֭zݏu*'eyC@29?"w~Þ-4͘PzAaV^FAlovS^cmlb <@C`Id_ JP\l}ԝSQwqlw <c[X A`=B nƐxCI<gx{,m,]E@4lw.IdsVlc8v̂{"՟` j/Z %QmAY صvƳH9nF*@L@[~F,2(:Lτ16Ǩ_n^Jp~UT70 K-r{VO)5iqh}GO\Ч#U'^c ļ*m!1/!=HE!?sgdme,RP5lh{obTiFnƌpr*xv`6\0 aFrz/&U$.[U.闻UsٖkC # 7)38GDsB 0Igs2: mxm]WTGs}L@qx֑80yC5ዓg4܊iMzl$kEA.lOI^!KT:뫳`\-HM{pB[H :QyvN1hŠG%ݲƃV\1-ȟcQe_)Tѓ_n]X>`CoLw( &.%`\դ%S3J&k =JBIr6W.YY-[}~^6k~w2}`CRe@;_ir3iz|d8dw%w~SL q4JHSŲk΍@D/K'w‹1B1j3{"Eeb30\ <\pixpi%N!ieF*C9qp Bu hg ElNb6m4X;z,A=udM#M_ud.yRcc(ȁ[r";LGd& D3 f (A2[0"Y3rE2e~髸 [IUU64n, b&.ڧ7Te~:R7#zϵ|sߙ ֌d=RL.|xLB;2;UH{c'J~LmNYusC+!O-6mlR^Z5Kqn̋8E?Ο39*fL5X$1&k9J);\堏]G⬕1D}>pBO?lZHɘ)-VQUMoEe\>nU?Y: ;Vg_G Ox 6x>D3A(|oܾR%45;ae?=|kƤ~{nl#-9 حU}Hh( z`|-}?:Z1N?S9Mm7[JG9neɍ Yeɦ,[>'aGN,gr1(3",!r-`^ad3x2CiޣoĮ]~ ;Q{ m/jw>ߠSj#Өil 3?x+nԸ)-اu vC&TٗL@LdJ?{OCȔ"H3sfj>)[CNO* ؊y^ ;X{߫i-~!K9'_ElII J]B#9EWX֠m\nbia>7_gcj]NpnyԏO1(vÌ bZk0U#aPm}>y[uGYG7ߖm,#[-V,:=RKZQh~vFũq bi^acVYU )&괊.gG(<|yi:*I=z>DAy!:֋ohn䵠 Uv*;ׄꁜVICrzN9ѩ P;v540OyĘ!xG N^2t7Vx;z,&V ܬ5FG!vr9XmDTZ`%zny)p>{ 6C1׿CJE[=ᆂB AbD"r 48ɿpvKj-_|QTbBlrs }x:rTWlLk!w1CTD7(b;-xTy͂qbn;hlQj-\l`RQۥX5v[:d%8$E^(D۩QҒo:=uRWS~}y9mNB!OߏUBc$|$P,'>ghE'%ww}YPJ3' !b $TT2D3=yxXb2ێn 'aOelb 6agq6*Rq鏣x %iA/0FXhC?S#;5j"MߡeX!lrSOL虠S*yX ^ݲP!OWxr BL0oQ%1 @ *z2QKxBRˊŶnȜ4oC0sLد)޺rO'y\_1_c+H1orTqX$]m`TEeQ%^Sx 9j 3cu\68iP  vXVEڞP)OV! / k#8b ta%:j,un= G\ _9I /{eb7&RЇk[cQb(EK1}G̪ڇtwNk@W[P=M9f`x x(}Zrmn޹<;l`+^G`âT+ZҐtS y׆@le[~-'J@Q(,uDA= ȋʃAu.VP9(판}[_q2kS+%k ~3Ɇ+s1[￶{ [!dT#/ud1XxV MҬ A)^18E~'Gzߐ`22s32U؁$Z nOue }쫛{fhَElf%=٠ rBi"KŅ9bwG^mm{ӝ2m&莧T(U/9)uuGg2Ь 2;HcbvۜS.I?s:ZvJim>QY&=Q'/ ]A,̓HD{ ==Sؼi0 A XNqGQ TKP+v|y#~A<t"ϕ^Rkxl z{ a7NÕVW1L>|2'mVU]OD?( (sӟ q*Abh] 9d3F-{1ӍnΉN+I,5!0qNTuDI:_~b[xZ:TpxxûDkR­JfH؃tPkgSCJ.9FquD ۶شNGltZ0eR5SVg2mVi-w; oA֍H>|0oJ82GB'6 5z&d56k ^c[:dӹ]OHmy0A\% }SՒv%:>܅kcJZ 1\ 0jҘt1;Z6P 5,}%Zu ~ҞC'@ 4wN >8u-.LU(0 S- u ~S,B >*tmؚuWW'_xO]P"{eI0K~_{ i)8ԃHhDzL-]gyd,T!:^0+P珐p@BG0 l424 {&p^uVo}l-U0LInu:ZC~#Kbd*#s'YA72; {k70yf_2S-j?© LZ6\B +J[aP&H%-~ACw ()@#f(6"..C[<@ X^3#\3m :c}冲%L0 #=Ht}bJ j"Sņ=p %fzr`Ud7W'!u?Ciy:gum]ϧo ÇO2Xl߰%Y8clue"DH1BQ"6͏-GS!M*0RWഺ4kI~Z5FSVgW? 6WONfpppPTĈlC&1^eҜN>މWa;PPʃN BYϫdMNYkS Y* | lyj-tȠ7B~ d;pepM6܌0 _lc9HJz4_Y,uxrrsʝuO֦ƅ٢ 'ao^{P.Q;/X?W{٨=lȱ o1exoZn;"r0 cN91*űKۋ-DX[Ɇ;!QZ~7r\ZX|o:*4~N;k;-aT\Wx}7:-/5hA;pI!(S7O̘_D9BbYʸq]&e3Fha:) 7mA`5㥀$'7EO6%a(FzH0+{v9ZtjW{ ^mD9BJ ,m~lHsܽr2t8dbM+[\ɮ?{gTr3 ڬ$gDG! I4#z>f!}9~cSIGo.E &q Ytk0'GZ<Ƌ4nПڟaÜ~̙޺XEպo]:-f&S)JI*viD #MD9aky 4`tDmTktn0h,ݨ؄\;e1Iyo,  JಗXRqb9U?ןY$Iմ]vORg>MsߢJ| ߅9p<`Sգ0z6 &C|td#cOZtTl*syW(Q]'5UI {q[ D&TRm\34I~{ TjĂ003?F(YeƊiP Fg`@g6UazzPhحf MdR62DH:/׌}ބo$G 1 7Dtt6 ~zOb^w8lăm UލDkޔ|$b +S*99فnu$4I.ti6C)l/%F] Z܍ꐇi<J;a XJԠyn~ H as +g#ނO@kq hڐIT œ.'y 3ϧNS{ 1ObXjT:7<@]1!eby@_7j -V\\v;J1@ݓW19`_7JȟmY%Py`~@stfu |U+&a_]󟝃F6$+ bܔ?ƞe0EOH_"{`Iu:#@wHgq2`:|;-`P ga8Ō!V;P4AҾ 3>zkmtpa-t*5FHaBe2Z}y)cz a1Q7uO.:'H iFT, .*.TRɄx"u~p~*2:S!UAs_qtɖ #bu<~n8_`|5S\_|SҔïURɣ>j2ugi^ﵴ 銠/MrD\wbP}?&txhYDٗ- qb$>y~Z}ئaQ)me2ʻY Ib*uǺB#4B];[x ~MsoEѠvJPxx6nLkǻ,'R;Z7̿G)ㄏ\Q1ձ]֘+\00^i@5 ゚mmA! N[m-ߕv oOt>lw*<' 7AKłnR22ç5Y1>c2 4Aǒ&Šj}ղfژAH-銝BF[hӰm yR<ݽ9 ю76MbcÉẹT=R몱pe ד']7ӷM,MYKhkaM=$N__9CumRHc#~Qk3579k&VN""0p7p@5ԫ"u {Nȕ 7B^zb_PMjV~E :'WUlB%蒡TLqEEV(*wn~bSs@}GmW9x֢H/Vt> o; ltm" W½O7Ղj7uDxJ?~kծd9;B;Y볠me)XlɋlcYFC.Z 4b"HՙE=7؊ "RW~Nhysi$O(_ j8*6a"A.'[)c=﬛Uގ[VЗ*3%ffXwHHOAٹrhFzs ?#+t-o!|&Et>8ͥi*幃 6D+RgݖB6) oF7mS|qy12#MUu6}/ᒉ:PhndvdvOCROf@ cGסްKIuaam;kmr#wގ7h% rojs4Uii)@M H>W0%NoǨWq[§[-`.t@<;0JQ̕ \C~iAFwi+UPx-B(9h ~W? _ :%-ql9gJnviz, !fF` 11}Q\ й F1f%ՍyebKj 1:&ɰ0*Ǵ6H+x-QG6uW_D3vBQ-kf]K'PlC PE[*[ٹmV|ߣI\j?un tܖtv*W\/^^n do>? $CȤVp@ZgyDѸr$+%˃ǜ;&@XA\:&pA}(tY1uL 3)kh:뉆e]輞Qn,AdKbG=RM5Jb\ڃw@_> =}~nas$*QB, apAWd]5B4[rg s<̯iKX>RxuNkKJ3m.@| ϔ.?7#X=9}WxES͉G\o#~+>W=zƴknEvu$"sQ,9[YHbJxxcХ. %q&Qq绻_L"u4A7s_S0I?$PYהe Ϋx{9:*ۦY銾Cud$4=MT96P nGR. ֿ_[<0th6úej4$h,AHv@Q5jX;6Ts! $#N, `ob!.DkC%_dVްkchy&Msw6?Rd%%9W%`?b1S>P>G9XZN3NyfQgG*\VF;L}Aθ>8H7ߓd`$ 9Ǝ-a;f@-kx$%e;PmG: ~]W趤 [Suu[P6Db<|L;8wx/|f.W.+u `#bPFi HJVq2 [ Vt2lS)0il-y<'e}qc[ 0 sLW*PZUȳ?qiQ rŰJHHK"IA|=Uf@ֻ8|([+TZswD]vxl nȃW"E4> c`1ǵ/ .%߉+GËW*K;1Xb˴W p_h[{!lٵ62u-)D3ʡM}<4p**8i*nACHm)#_#,¶О&ENtHp}_:ը CyԘvE1͝E?VyX%6=ג\\aHҚec[Z#l[ ~%Y~9!8 ~Ȕ 68-YjAb1,J ߧw*>RMdK]. <շR} -i<\AۤvIPT.#..8&^Vgs,ͮ ބ'EĂ.=dղTUC},u<]8(kͽi,j \ 3-sXU^z$UqGmjo;" /HKOJe3Ū>lņ7~omUc0؛#m}'= NU@G:VoJ5x-GϲԆ r`93__[NX0N\qةb.31]%c];*-K8=k,a4Y7Tk],K{ ߭лv!43u(qepDn8Q+svvf۲5PxLzJ3tDEv+W!xO^(t_$=[-`qh$zBr 0lS^NJ: |2{i^|e$\r|xC:y 67yRvDi3ϴUb;zXT $WUbW}竚jr~e)ߨ]ek m?+!:$B5L>@ⵙvSNxڻ4:W~AAyd*&Z:x2!KZ!)+Wh& (7,sUjrsYfx~y(b&NqKty Du8G}\yN>ΞQ$o7@G׼"QZ ښMjU9DǦQ]UJ nbOz7"༑qWm\ho̬V}fI/*NeoXSwXGo s9`b/qU \cZw$Ԧcv~_yTvZI;Ʀ TY^ɦ٣ti}O~ÞeU`-bLp[-bH͜mԚk{B(a@^\=iD@r{G\h^")QK@G f(|SÅ/+uqjS7I& cfW=L$Dm7 QY;.0Z\RN?v_ZHhK\jy$|&&h3Babv+\w}k7Ig HdWO巙&Xoy*<$U?8+\Yy4.HwU5ƚ=a=V(Ď W_#YM̔}FgK\vSOII5)?#)Wt1$N\*T ˨n$8r2;plJ~,;>@VQT];f>ܝR[&Bz0S4r(+qhW!G#[}@DžEcXpbyX>O"LKشh/G@56 P\Z^ HWjX.rDIv!_*ѧBL‹JDhTuKiguZaXp'>ǡV/mhq+13&.ـJܫ Þ0b  JMFV4tXb{֪:B :~ mZG^oDan޸k# ݖOmU77hZ$SU#o`;C]q V}013i4b/ (D\^Į5eu ›l' 4IZFٷvA*Տ|qP>s@ٷXЗP,=-_\E$KݼQӃyd됴WoRiHN^=*9K5 N 4vcPl r)_pMtgh⢈axyr0$7]lM4cAiD|eP=P=;JNh?>>V)}JX^%u1LL=d_ӝJ4cne8s'B?jHG['jj²6OM؏6 #}@9زmFYIXzdI kEo^9iC}S:־e'y)5Xܦg2εY@9D.$bE5!?˘o5\%}PD_;6M7]|}zM˒l-|bM_s:~s([PΉOdT!c_&EoU=rN^-Pw'1 H-GkGc꛼1Ũ| aziMX֣c=1Ld#>-4dcmaUF;ߟLE' {vR$j0DTvv 4FĒqT!JQlRm/yh!j+OO2YbdY 7tIXg.V|lQl+АT_$*?VN.[.Ápsa6 [td.XC/$ dB&MSӄ<8~@`)Ҽ&^J17>VFzq.C% XO^}ߟsbլ^eȽM)9R ӏlXw(1su8 u|'ORҟ&ɵ]>2 ՋT9d^Gs̲)&re݌ D>f}OI_za}a'BOBѤijdN <"k 6TѠiϊv@AVq0j4w0"u@^mB]D^5'! gYZ06da551a23e9c1780b6892a8800d84129b07fcecd2fed5b8463a719e2f3fe546c701ac5c0e920ab5cc137faa7d41fea458e730d08d19187f36b2fac8