SQLite format 3@  . BBh77otableisabelle_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 YYw5$$\ ]S HOL-Nominal-Examples:threads=2elapsed=660.812cpu=1220.252gc=131.624factor=1.857zXZִF! ]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FQ[h{{hk@u]5B)s"MyR0|*!}>HixJ F]y -y[tcjhCֱ `X{TOgKuרPIzqjB'o;lzs~Kԇzbߺ&c/~|cӿ[FG{.69%E z?]C"HN6^4@Ʈ5rcKRI 9S ɶRڬTBe7?#M Jl?<  -YX30Ifȝe-؏{ ~#*[ ?# _TK5OJ[YٯX5 c ̬4,V"xHĞ XH2Qa&Ī'XAR3XҾA߬_u[j߼Sqe0 uӍőN39R`1bW(w`[+Z$|:U5 M# "1uV\\u^ɀo =RI  #JPYv9٤j67I}2Ej-(/=Z0: mQlߘhs k$|.өYb44GœSy9B͘Υ7=̱QIO OR0顚&v,-Ȥ /_@AQǓu'bM 'Jյ6fm6I<1wjown{a»؇>ȗ{dJֻ5qXdXq^M1 XO H8/GQae/R|u8X3 g?՛#IaAk.慗7uk/(@}+U_7-hO@AQBCy(.}+)^]1߉OšWu_C2 ES|̾e'qr AiyO;[ 0H73`@ s/Y J?~]$vdL7 nRO E=G2g"8n ѨS7yI֔hb›ctId&C +e&JVj<y69Ƶg'lt`Uij0="L,4W(JH,q\'hgʲѝoC9Gbئa#?ݽDs<~=-f1r+sNNJăuF:LK<EN8:c3^}7S[rހǣtE`Xm\!,Μ+Elȫ9CO1^qL+RIQk[kϗ1J GI?\T(Y{G&Cܷ]nf.48f K9jٷ}v%UQuR #+8ǀ&Cr*o>Sq, }iJF:@x:v.^k`1Gט<1q] ڧTRѳA*hTnդO;lY 庡TtR^.ӂv.`"z$8 ǿmOB0u9~'u*a'PlutG<k{ ڞ7vJhӐº# 'G'?幧4q_KoO58A/Pl 5 HOL-Nominal-Examples;J$37|CHjXxɇ| t=*l"2M~@܍C]DfP3uI7)˶dcQ2K]@ eYbDU/_ǝ[mZx74x^\q)Ruɠ(;3d}1HU!}_+u$ۙnHm )9AwʋbT!TB҂Ifuc7W7UyK$b-LpcxDRLj/ ?ó5X'acW`\Yd5 J_aWr3WA³=O!sGȳ RpA[0Nz_@1{#jם\R^s2& HPoeצx֟i=W:o<^^0o rZ5S&sFi/f%K`;(zKpyw}qNɮ%R)0DsF_ 9c: } 2gU~YJC@wtU~ J8j?y$ >`@bшx V^L=xl=^@<>t~]-ӝ VN Xad)O1ܚEEjGJ\i\N{+)f\WÎ_mX YW8??6&B cƓ>y;6s,TeElqyϱa촧RR/Lk/Ӝ9S4E @hEy._zGeUs -0o"ey}Wʼnb/Glm/l-jbuZVp #NuARBt]k|.]< 2߄cfU~ PWO`d6Ҭ&1,Cnb]Nm˸G]&随8a;`~Զ?5m1MUJd;H1ni3w 3)~>Lj`ѐ2l;jh~o㧇RϣaX9 ;Gr 5 V/z]/Iyy.ppݘ؝AM1} 08ZԼѣ +$ D.Mnւ9Y}+)\PP*1GFs\JNdvӦu` /DY[U,UiYӞK뀁 ,Q'|9x9q#R1C`}oQ2ΉLޟګ*3w xn^]_ZZ#`Ox] 5oAQK~X(_^O}I;nz~z=Ư%*N*qk'Q:RsYކiw8 OY x| v ؑ BJ Y5kQi)0-oT`饥93+OZ:La523 tRc:@@O:}FwyOkأTƫixJP ia56Xyr3i-r:5F,cV=?Z3mb);mRǬ?j+5}%0 "jCnsGj wD)g,3YgnS1SDBQ''qKeXt!K.5!"zI˓%Vu֢J g9%^T-GCu9s# ;j3H<,@4۞43 QhzP`YچԑrиW 03DN¯;-V!s'TB-@v4ɟƾ~XTW9d Oyd| ձ8DX(Ȓ`\4g5\tpI[xtn9n.d"c6HLrzEΩn}(w(Ӎ~<Ac< d`"ҙPr QV'6,wFKr>$tE^G}pNe Z*GF=\6uu '\u@g>8iA&LPFt1tMwa/m[`}B%]jRU9>j1SGQeYj~wTf]?d?՚d8}wdlÀoq-)' sYe^:3t2B+d#ψ7zHdc8TB^"AvK59u.K4t{մi1N|$ĈFiѐbj5]ѡ'韇JԐmt8Gz+2,<5&5A!n a(L4R8Eَ WwVx0ʈ|{;F ~-虨 58qq!T)vDFBϳ9q`HVu- N,=;!/:RɊP]QXC7#ol9ڀ=!TV.*.k@gBX>]gisJ0!"$"'oR( "4a&]Mvg4'u#ebAmΡGѓ+nt_sMݔ\JS5ُ( >`z wPN [t@5ιdqAtϏOCNb5?̲N^DFGXfJ@?qc< ayHf?x[MП1"@4RˁbGl:y5b)2T?kbW~aҰܛ̗#F1&HxsbiPV,0RΕX,5TƵC&Gxrl²E`)M3B.=j!ĭ=V7"Zʸ&$ `^G'RU>lC=غ K-l- T3;_ilRψw9[^c-iCw9N&^y0aV;)jsa:Pd[:xnА+nFhN"| (X^_Se(0T8CZHg'xVT 9{Ib3C!w + 77[ZM5Xb7!7cj3#jGH"zzrKI@= W$Ǚï.je,ktJ !jc56)z;`0Gth[ 1_ D&;ATƢCmA*:Bh K. _' e=N|=qlvހrbHaMq(Ԫ*_5 B`Au$D,$9~6hܫlRLOq2 xHv-ؔKB(2|gkII^#'k;AKS~=P?dg^Y6~uSWyZхhfȔ6Zb:Śg37~[ڻDZySZ)*!}W>Ɋ J+nV˕-tro Su4@~ۍ}(gYZ7zXZִF! 2]ŗXi%96z C|0.&2v|(N1_q D,Voz}Pڣb0'c,mHJYSGw؜7qz,ec6$FrI i/+S͟JX;  l_R0@0ﱻ1S5"V< +;oWĢ~HͲi a(Y[= K;NL*Y8{]C2zn|O+ хRKh@*4kv;bD|9丅Fkݗ9#U͍l2biO1֋~2lG먢ܽL(ҁBp*^'~N̈xKݺ'Vw &(iBFnƒ/?oƤXq[۩v?(WlxN-@zIl6\c g* kgX7cNgS*f6ju|7U/~\ΰxm|)7^hI8L:&3[ ltODv+zga݆T( d|dG&g~ے 4auʐʳoArdurEEfFABҚ/5 r?Cb.hE~UrDlAr$\ڌlJ?* HCQ?S>q߯o8sNy8~skʅ- #YpW }D ݈bB_urN~FlpMbw rGs:pEUR^- Eg: {L0W3,JW `uRޔ2j[x^_Vrƒ&ILxͬ$$uwYMZgKOIcDL;9bh;MJC5 -3=#"w*l/@hmTl$b\(["et|:0XaϱŮںku!o(w/Mj4&ƌdS-nq9SR'KӟD**ݛ{ SRkÌy6T]ma@ciq[UI}Q_tb#SbOb@D˺[@clJ_ h`a]@CY(X!i}6qo5Ц%(wXPU(^6shHMr{r6Yy%K7vogC4IVޮís<\/&%zcza̧ VVݱk4AYTx䭓~g5A}r}BV*ݴKx lGu>`jç(3>Ylcyү:wzH v]9] Ϩ@~# 'P}~\t3]\yo-'Mޢۙ럊xP^O@L@9Ȧ$7[.Mbb|s+Q6~i=0Р/ͮBWfϞ|=',=&E$8~giG>Mbi)S]m*k wpw$o ڈl?ؕE4Ml15_W)zCƂE~ZB(WF 䥚=t 8 %">ć֪:B.`P6ǢˆVjn9>SՒj 6DWރtWsh=nRT۽|$@3@DK8G=j#~3HumO4ů yz0!P3Y+.sSl]}Xgψ%k9SίE\Z,,LW/um OTf:Kp(=W~|{=.o4քd2h6ԗ4aD!Y-aW d~Pk/c+N <-1lXC 4.\v^/щQFHZAeK6& Ѫ٠lRYxD)D"[V|l J+Cg6~F^jƥҳ΋U[Fi2|mEE5VJ R7T%R6y 2|m2͚iJ> +aF븦)|M#N(S&t[3ےҠrM,V`q?ɳW͌.j~稛O|sJ߼EgPV01|mZ3lqqM *BfQ]}ZoKyH#U!˽jZ {6\z ]&#Ьp;VyJuZs2{ ..7orK[cͽ*F&4t "b mE{GaL$֪&̽QU*M4~Fa Pv+ Z?peW (/JoGâ ԍb/GoFJc&77ׄ!|`6{=:nf憐:Wƫذ[xeI;M>v'e&߈7Dz).g>>0' ӭNC?!抁V]:4찚:2j7vM ݱPo@]0w璟Q56S5.dxIfiuca8¸Nрz^R"הckLS٬ؔ=)L$`QoV4V[*|n{3ฺ ~1]ؚUFH| OX~5aޕ=^|<(+I9 $2L=C8Xht&Nd8m[dYl>SAskrg 54ùg )mXc܈# v`*-fi޾li@W+%9+* nc >Ul$ Ș!x+j.jW|l=b퓛EUxJՎ <3iqQʞ;,mNPFAbP^Bc19mP@$,{jR0sVG-o&sd95~{?iu)`)F|rlz(X4ZK ,jdAH~ 0m&Q=ǴA?b'ZC8g}OK ]Vk~H>?ts~>f7v/¥X1)=ǧ/Dit< "$r2W ig2𵸦:gT"m7{ $xaMjKXFuK˯ؐS!x-y퓆W P+%5 nܫUD"r-NO]ؖP}L+=5ĭ-0 tI\T`ZmNdU萬u7h`bMIInvo kl69vD!W.VZ0Vp kmFރd[~i[{B%o3zlʉ4\ .dv(Ә\Vg/p >tw)V,Uz&S'oN:3T??Ec-XLy(EvV{\ưLW#\`ٸPʇ C+Zˍ5}Qe }7.sWg~!gfh (uug!-Jte){xO FhBTar4v@3$xH6pިP<꽐|X}@'lhsus~!ȟ& ™]Ш3i/@ǵ؎6U}OaEr7:ܝwjg ){F*ki:?H?~[XxF _{4अV#NCjFw5f}ti\\$\(FMFlƌl TaŜ]k' bqfU\Y'YRzr0g^룷 ˴xŜ xr)N k.}bl3U0@#o*; UG*P &ܐS8 9sxFHiRր/~6lF_jOJUVֻ.?H?Bqk.x0%lb: :|w_itoxNU* /YM"~Wk m[ GCFU#עIO5s6,Y_]͛IKcu>H m_ꝺ?w{YDV'(]LQ%A6G˔x+^S%UnW3w]zE,B}FV:JEc_o2ܙ1 5)5&Dl%,K^*,@_4[\MkvI%CxP)!.eZ.$"١lD{h*ׅOFfV q-_ݩ(Uzw:кhCEkK26aܪRP,twͤׯ(y@Q[dId H{Y B<:yoFHհ74)CR/]SVkŸPUL?W2X%i_m o:`効ŠÖU&efJY"q#XD/#~(Ic.q)E~]xi0VZ9{$" 5鏒%|f hŨ6-{틗CT>Oe1kъ),I !Am\z`,jIg>Б!=íX_jZ|( s QoRc|;0k i#dvpޞ%i*'|/OVQ;7PY7C.~%d>ߡGFa!< 5E꾡H$iDGfsCE(x(!Mݍ9J?A #5\ktߜ= wGÇk/Hjpx.eYc[`N%Ynk  ܦ (NKAWeu}UX: t]=&l?@"PT_uȾ@ͅ1 L!J*>Q)ZRQ\(-SZ2bEpH 61wp<{0!tm{" ?ߜULoTNQ?tld@a RYJl]aqs\  CkdFM9CgBLp&awEV RppelHv5r@ :GoOƎs՛@t{J&HR6RBϊ'4z p'lAvǻ⦀ "g raKE;(iEQ8PdAs<ƞf7@sؑ D${RR=Hh #7X̽Vuf!W”~&O\*a4Đumڱ஬{[,dhH]hEwWl0:۸|VUBĉ \+:D M3RY=V<^mS+z* 8(g(ƞ({f@==Q Y%m|[C-Ѩ7T'θшۼ@bNh,@G 99N'c2F`Z_OtbxsA ޏo« Vrz'x -q~=Wwd)ka#q2m9yBb-x|D*&ʞa+rmU.q}\wJZS_(@tRV7ؙa}.sTAg h܂ SܮOL6[c]kK)`j @v9N>شLp`3z .JWG}8]# SBIJKRWTD*ݰ#{J%- 7uWir+xi/-<>q 6Zft|XB^Uh.L'QyQef+H7.U:~E.3ihiAG(BzNN>z+|:?1@se(%b*Q|pɈǩy6y<2˯HؠƗ,|8/N}_o=d"qL6ugL#G^7]ev+LJȭ5LBnK:DuA(^+c904  O&fJZhۤi F-Sa3 rwPcdnLGv،7p|0ż(b>ZRԲ0/+M:c)i$VRB@ёOv'AGFu<TXRg80\r_ؼߕ ƳEoY֫vNb]8BcI+sZ4+,plKʮQc3#59P<'bJ G5ĽݛNѡ/&J>l;m{ÈzUh_cX4z˸&Ȣ-Ri:pZ!YsT+m )/'bjvM6q;)\c(Ѻ"ҾOV$SrJK)қW=XE މFe( 2]9W1P6)MG==8auaTiZ3W_&E[2e]Zd鰙y xg !d bo:(EMeS ք寨Yau笌Q ?|6o0Qy:ƒ#9#Ny|CS6o ITh3㻱F?\M?Է65ձ_j5{E,GkSC9ݡ,4yB#tBZK=a<ϟYX.ܛK>/ cB2ё_`'tp }tN8aVqwvհäMka;SO.$%K^=BIF݉e+Z937T߽nlk Y)NE#ktO G"hY=+=!m|C?2-1@/ wFX"{d_"hB1V"fV3Lq[C6r{/(r_JE3]''n߻{Qq8ㆶQ fx"܉Nn1|Y1KSO^խ.%T.MzS?W¹|$0=I,JIR_#;X\уP3ʋjLE{^F~HFe}<t,O.VB1)^@z٭En CXfLPk+8d+nУW:m9ޭC4(߀[#MIYWP CUs_3DîdbxjAE~ 3qip5ۨeItʕaU@KPIKn(n^FI[m Ui$Ȃ)`q4DÔ2]|njA% T)x5:;ufҟ+O2`U\)˲ />g+.?/(GpӠl,3>ve=#?V彩9E /E2VqO̵?QZ0ܞfWU|ч sz!om:v=\(RԼP#n ,ˏZ\,}IV'v?XxSx>'oM1ԡ|́=Uލ#W6[mcEϲ'QEx\VN5j|5!v,41B 3Ӏw^O>"CE:"iq̝x-y0Q").U ud .M =t\Y!J 9a"1HpH&@k2ˮDy'``UN][ӆ0 i;9rt10Y^e\7?08|s`&U:hpUUXuwт<  #=UY_r"ypx2UWHF/*?gYHyw}EkMq)!Ix50I 7g/P%EX!i< ^-z6e%BIV3GWn!67O^ J mOՋCUx]rCL GA 'r)-E!/c39+8<)`7}Y@ <k)⽉%KO Ծ0{-jEm["T!i=ʆ^Um}2]gڜk(K߫!Ə̅\.ܽ,*! ӓ>thGڒ_pp-_Ƭ.ng+))܃}}h(O2tV/=ɚb*'piSFh\7 ߢ}[o'0~,~QNE-gXKl_vRs xamBpsl,F@i4B4c_v|q-4*m`b ?PQ ,̘aI&^gStn {]4BA[-+3ƍFZ\+r?)uzէ51" ђ ݈=&Js6v}qM [#cλShg.Z*-E 9 ]ͅ ]Q22C3y`(2z a e a93;>UHnqk]|Z-1=XC ZHO݁V0RX'ElsQW]#?W͚AZ[6f?/T[[Cev%JЩ,7}¼D*;1cȍtbFR. F<9rtc/"CW֘oviáqѦD0"ԓ [&7W)i2p/FDʈԹ[jٜVlg3QkW;̱d>WTس90!V< 1 0Eϑ~ao .~/r'AK~NC)ʣE Ue \6`urӫA LgϺ[|vp_e{$.7aGÆ a^qBUɚi~U?I;%] 6!q$J~ߞGZU}]+7H 4 ї*S=.8YIń9Ρs L&_{䤷G-,k^^PvcLT RkX %=|8co#P5Sx N,-N40D!?ۦѧ3, ¢2p#ah 7@{@# jH{d^s2a!/sɌ=t7Sġ&vQ=ϐ㠡<%GVyY6. vzȱ./F]eGsfWHMM@=pL瘅Cͪ(q#DeRXg/6oco>VL ╆41Jt^Pʶyb} e!T vfQN-vC0yZ4d4xJݶ byٜ=d>oUhj駷=ijAY2J8S^@@DrLdP_T_0Ǝq'TM#!#~8̧exM<j #"j]ȓ)K +DYa&G^ءw@İr5 mݓ7GKS鼍ᄟ[S(c_+1ÿX+_41H3HƊGI(}PYt ec`3ЫLVPalAtԸo'$W5pk#ʇNBl`|/:WL* sIXT/ҕ'IsZ]}c_`LӻH'V` ܋Jxpcr#%<_K+$lTdMaᵳ2S*- VJVeba}F QY7)47{Ӈ0"P͂Ogr!/}DJ&z| JVc@a>:w?/ Ge cӣL1[ke{.vʈ84}%yp m9kFfɚ/j } 2 sm hܧB5͌{bXkƻfxHe ɘh\8ƘP'aENѤd&w,=5E0:٬%8+Ջ(eН͚?9?ԱFk2(|oqS⚳khb]yl q9/(8B{[8*] 3`r馹L')4KaXu4m Iq82T ya c =FXհyNH?MH] !ܚY0\gE*ESX{JSPT B a6ֺpUd0lw3L,iJx '?IyJXX7Jb fk'ߔ NQ߁d7yOiڔ;?CՍwk"[yV)!Q >KjĵvV}eN̶QrO 癩y|$pe2ƃV HG=Pf$XQ !#CjN!3VKna 7ahL0)'pRm qs(r|x\Dh'FV@rj)8M0~T o8^_y\n΢$*ۗH 32m,-ʛkQ {+ݪP2\uHKFr9snoXh*{)YUNʃ 3դ4"F-- ^'h3{>ih yIeWGIB#H0Jeh:S;#Tp&ʤ cn-{1fճ978 ɟ2_"K7 &&b POKZ?yStFh`ZO./P,7\uϦWf : ZG 3bzS^_'HOv6m' w3)e9JTBZUOame:E%"Qe3(}s"hUoID? I*{[fyL9g]g(a"6S&ᅺ j"]<`+I!f,k%diϞ`6T"ǰ$}ʨ^тG#3f~^tOzeFd? z.kpʅjG&ex_dLĔL,}V-HGw]ކg96/ޑels2e4gc8/,,ɲzUB "H𡨓z|wBy+bJnnW:3' `th 颳^nCPVξ?D ٳ>K?Nat%+tQ.XqYbQR 詻O\_?DEhN"'7xɆd6!$a/Pԕӆ rX_5if頱eJ&&7#lrh*Ƴ &PY jtv"1Yit92`ND!NW)5jUi5UAA+8Os@{cX>dL;tQGƍҒ``&Dz1[X?"Sv\-Ǔz,fTyJP*{ȯi[ |uO9y|)Jso yˣ NFxB1l "gZiP:R Q8RsoeV$ 0!t9d%is8"s?K* dW1Gݻ+>ƧvT  2 nO9s(Lw_Ht2#*/4eۻ3IkRo!&)8e*#!G|3'iw,~/K7 'a sH\l.D D})DDY :ސ9kjEF.;Я:h_%N[gLJLl? IV1*Lp ]b%5lP֒gH=N<2N5-Af}ZhyZ'dR_Lu% T (3[?C0#:Ḽ+p[b{hb`' wP.vkmT\ k[S`ֵ m9%Å=$rmE SZfT˳p#?ZTf,w[XHJv6𲇲7^89~{]H|o PMASZEnk$(1bg[ 'Iz|jUQ;|(9@}BO#>ӕQoqEu˥%%2w2of,K4&w:bs! ,5˟Yō}}Q;BXD,az`X+c6S5l0гس 5OC?"$OS#3GٌSQ̺VW@,]cMָ͟O,5kU"TR}s9,=ʩX`gŋdepw:wЎguA6zw.{MlX,tx PӀC0- <( p滌lpR Tp'h7nFEQҦswdw,#Vla @tPuUUs"T6'E6^ q.jՈ e=u)A?3cdLWr#Ndu>%;wFOWb"х>1YK.jwYkb&qB7Qv2s-($Bc[Q%uPj3uk@Z2F} fF\gXP*`Lr>Aq ӳ|D;uTv2ˡ&Mq;Y^K*i [sgWqxMX?#\@8Պ~x0qR$*l{(Vmsե< ᰔC(qCIٯ7 2>ʼnR~ Me^j_Q @Xo ׌S3a9!} |T *$MuI;\樛 QA6 0ƻ5 v=o(u^yb b GQzelPAq )%!DD>QRuɮ΢guf:SM~53X|31I@dіsiyb MC[r\q/ l$y@lJ:\0Ф!N@-yWo/8recd;NV$j8ӌr-8F X]*$_YJ| % wට&m#a%7,f^_ھ};idOq YRT9xӘs>54`|}zvrݑdt`|FQV|܁iw.盌Bڽţ߮WQY7aCQ%˚3 )  ]lp)/}u w KUӣhM(ZޞAP罷Wz#\OhG+%MY@s>8gII:c1}*n=N|:5, @u546#Cn$w D *."6*3(| %/|eAYDžSMruNa3S VSϘ|kFyr%!"K !gqDTV"Y2Z)Qvd,X1^[ĩvtH L8ܐ aT_gDVxUMy!@jI*|պ_pG{OWzϲk'==j}M, +2 &Q֭躙?1=]QY<^k9 fʓ ~ %,pY67E[!=uKWUN6%7/M\nvZTE*(0J4GX!uw NVՃݵeVĮYXlD fC%:mOԐ_h k }u|Ȫ]*SB(W/|($`t+bI Es򢡃Q@bAC> x$.Ҏ!1[3" 4]pv WlɽB$= j-7䕺Z^'CLD  </pz\PgDq*k~:P1DPdl\e‡LfFdwo&Jy RߪB4YĔ72 Z%6yxYJy[s #A u b06&@5z=H m%;H~Ѝւ*91}'1OΨ0mON¬<Ӭ^c]qe[RM(,t/dV lU_S_JP\s~Aʲ"/;r:'~5iTv&- GO˗_ˊHB R7' "" OME-#4'ݴX84DjlGͯ??nKX)8$7-']Ϗsdވ2"X > Z2f'ϭPV^d2f@G7b gڽ$L{Hphl+ܞ0JFy4jw>fȡ[0jzO}Q?8ð#Nx; Pv8yn O;4,k|kԏ: ՋC1ZG1%:NFL?YPO5@Y7F[6N2t6F\OE} :[a8tw3|n̼VtOF"D6onǼ:o̳07gq\,SX-Gsғ~jXvX{VWҎ 7 e-0ZaE'?1wB!DmU3`ʕ"Ὸ\kf3JDS{. W $Q?mKb)`k.Z7rP.u!z00O[x miUʒ%h \1g_xg>Pd[|?.H@zH\|6Jؾ^Kyhͷc8Ԧ]>33XqbMfLܞ`G6|U8{}$fILs&<:½_S*Hm7ưRXVn9~F#DqEx?fuZ`X*yřhCfLvGrhRP˙ &J!̭x QO[TlX;ĨtE% )I\e-;CJpzZ:ec.Ӛ APʧP2[;+8W Acgf|ۿՀӅ̑]6p_}g~=ժ: 4"2#I?Dh -aa%|-#PhE{GXt/p>Ad473|˷&|b]{cVPOe78f,?^n_~<µ>c{ ,@޵s]{Cll 0^}+Y^d ?Y *f@ųej+r \^z;`&T%JVm՗I@v,.!] QVmjzӦ4U+ Zή ֿi7Sw}$̳"n H [:{d}"Z-_99KF:hkx c#Ѳy`;Hk'o7hˊIu5S:g>z&J;1nWg%!xNMo%'/?%oI,n.Q%Wx8pE-,S)x}VJ"E4sR4+(ꑈv6c젬F^m+>|KPr`Y1վC PR~3M|@VH~M˂~LTy:f7鮷V5C,me3Q[(&UC2@y3ViEV@C^aY"Ӷlvk E:@F!bR Hc<z|(xtv_YEE=Vh.S2[S\iP -A{<YLrʒ T $If6O+ꈥjKZL~rtwܡF]cN5o2Vt,!KL^or((Ͽ?9eu[+<L5[,qW ӟm[Rs> ^uKޯe7ͯ-511T0sd#4F^xw͟@\ӿ S.NWfnȵU~,x0=⋼꺹4v_"qxj@r/7+vuAB,tyŠ)@.E=#d:N \֮ğGY>$Efkqjm?&#<)Jɏ:]')8K84;xӧq ssAg)ޢY-0-7(+}q6h}+k'IDԹ!kX4筑-5CI,@1蠿G,?ݍ-oUP[[2e9h vz7Ѣl7wʯ0p|#°kLB?{6VÌ'jhl/OX ~K\| Q|rXQD'Ӟ.[c3DPl&;Mxpe/Vu/[#-M$C|iaJv_Qec; 9ۍC_;9@ڏ3}%1 |Vng:j\YrZ*`.4(׳ᒴ~:s%Ḯr;*:i` bZ,?q04 ٞM"4~lGWE) iD X;M'wv5D=Gn:5%Ob-8 >tqrU"Q=&Q*Y ϩ;X(҉[_f"j&q˦xhcqu$ȠG,ʫqiDD (#5:;EzL2۵4=M kR76i)}{;tjNQ6ɥrsZh~SdCAcA9}, !l(Pv&JhE*mF; bo>?BtïBI  vs7Xp=i XRJ :& e7CDBXܷ)=sΎh_馆ɿ#_bHO*$mGq"Q6ǜ~81DUiI g)☴14O/8×jD?&4 8 ^й3IPK鐪MZX7?bێ#nGUaޝ3B^~ea$ytrD]z aG`m-cdlCQnT4W7!- /F&g2 ?xC_$}7fiz!(ۛTUK> ~C:%z,j\rO ci@ϳ_ZIBN6K5AwrDS؀lEt5=oe]C~_nKZQ@hJEvw2}36T q)%ȋZt91;lPK`sVbV oQw`mgyi3 KKA$^w:"ꃣ8;v^!#,2%oH&M򃴫`X;BXyc zPuxT@"5 -0!LWqaNto'G h9WN4ZTNɅ ;B9ױ9Qd[ƑuҠO1.ɞ njhX&cqcs>ui`PCG$ \fg$ؘ j _$$МH.#7Vlgž_Wr&UvL9sӝm2\fCthVl^3/f~uHc m=7Aj.P& [|P4zX2H8B%\c~Am3qcqs 7]uq ۠@{ZCT:K7w6H+%<Sǫsxp? OQ|8Ս&uL-93kI*gQDU}܏ڬIf7,V)˚0 Pb` BUHv>R2\W#`,i @W@ ccB6OR4N lͶ7%cI gT:ςN'OP?jwmM(+SY@XnRQT \_Jlr:- 5w $u]9qCS"1'yNs_Rf'(TBLBt_L(Fę~ޞghãȗPinv`ZRb[eNє..ccV]!6[*`6ma·t>сқ+JU K}i ;R$n55 phI}{;Xcybi2#0Q!PYD- gVk%7 fSEw gw|W4'/z,>(qN?ƹ,Jb< ' \HXKf`|jb9&'0F 3?cO 4y\b2cv擈KiC`VA]P@*}ΝЍRM͡dq$ߦ9iI2l _}j"K*-C, q4a˜j _Lt*}׿% ֏ ܅/WQx%D93J,M+ TğDoAotI^f `:@꠹ q+,ۦjMi&;zlT?B;E#ɹ"4 2t( 7ek3Vq)w<&rPq}/v4"5v@~}a?okF2ߘA̿Y*M01p}SSJrT8w|2m ӪodlL(?m(;15b- mŲh^[}.<=Dr_Pr"bj),˖o{3soIĦN6=Z˞"B 'R ̏*W?˜P>뻋LS(S:{[ LPBٶ,G-(,+xCTf q^I75DvSnY<$>\ x4ۍ$99s  B 9ݳMǚV{yJ"/֒ŗi=.Q(.O}=YcjEGAr┛- ,~"/QiY]^_yg8}&/e.~?}S[[IG? Eȋh! J tq;ٱʫ4<3FjYLl}Z)n*m5uG;i2_$Pಝ`uGVpH3z-i] 7@B{T(UT+Bll$Y/<~( =Ήz]NL3f+ v쩤-y) 5 ȼa/wE_K~ohT(uC 81C14l4ihqgtؠ9_{^js ^?!౭N2A++ 3휥&#Xy9.KR8e0DxA:ۼ͊|bZ,10|Y*P#3jIS)qo@+m!Somv~aILaZ6ɀ6% 擞&΄hP{?΅j? si cwH:46~Lir~!Nb<{-Yj 4 / >+Kx9a{6 9¿}FFjr}h_+QYF63$aр-Ccmy]ڰ~(FK4%ܦAr dqwM A*a?)b!t+·G3Jm+Qs 4rpIGХ-+HisJ- k2ÚF=KAԄaG7\.5m%1o1nClT@ =+eEVp=M⃱]Oո*c(wŨ; yX\} \01[uV?aR9T);8"U/R(Ex:G8O&kfG XkV8dvP vΔ;XK(yUdbQuA,!'8fKK\|/ϘGE~4h3>Ti_{(M4` L?[|u>C~9ӹMp:5R0rZA( )i,YE#[L*(C)-k, 'W1߈o0PΛ TRL5#f/&b #b!f裌jvE+Zz۝Od6=` v+XdT|+}bW,UtPtA@IoB-rSAJLW[a 4UGIC=΅ %BqWsg+4pv3Fqpk01ɡz$ĨqzCOQ$[90K %eP|M? xUtgσthKrm(Br(-ꄻ9p3k-Rh*3#> :'MBٶNgrlQQ{sê1 5$ NK!TmR5w^k9WDdTx}u^7!AXԆG6(1)PhU-!S7jc6 И('_{CZ~-pM$3(cM>) ap%QŲ5SJ9pԇ_G:_b"Xc;, D 8UUr?]*d;cl^lMo-=!IÈ8}0̖s!Pfcɸm`7u@' w8>g4KVs4/0Pk_+f{eib:ǥE%#LcQnzj9t^16Gt``+xu'Non(= bT:}QQ<ك݋PH]o)F<nfY~զz8r ;u% e-$jϔwD1WOьAvoO R~ < Xn(moJx`Cfu,LlفNk4U{˴ 3lnmeOQ,P|tgDTt+BִBɼpJ*(Sը9xw`ǼGK}`!0Y#d#yl?'˩Z^GnK2烷1_ VJ.0/=6vF`>S>,ĤەԜߛ3R05c`^[C a{&~1꾵PZ ԰Rt 㲞@,ݚشـ |:A* z+X2Y~w?I]/[= @Y3l!j˶C/`ટnvDCiфDxo;sThH ڡ ˋ㥽t܎uo_-Z"P2%̞y Ә>Y}Fp1AH~_eo_2_N-l[ xIm^R\&qAtE1;bo^cڞ1&;NK> 7ّfP?ajol-X|Ո#ŀUÙ!U[ J{H}"31`+.z/)G1!k h:Y\̀1cg,|N@ߕU2Cs2ܦ`JHiv?x؅yx?\a6g(?r[Y&^H=*IZC pY"";͌T=t6Ab59\XxA32y9PQV1\}?i{.a/e˼KB ˟2] D'^˄#Q[Ԟ G$k حX~~7"AͦPhÊ&l4rJ9񣗤1鹰qL®*;pr,~öPf-(ҏzH\P XVlRW.`#ݫ}YT{ ^.]cnv.Ӓ_W,ɇO-Bg8,zސφD!!Zb|;L~q\|L#lMK#2M,2S(!FCC}U*{bv*ǀ(3ZSx =r7[[Ж%tX3ȁ /xN_ S?NCzQw"PV>.Vפ`h%;77>aq]BcEm ^)T|0^U?$ I>Za_bADj;I~r riG4@*0eGŀ7G:zyòOҟ:kb ː:C.< M~o.4œ߫<"ưx)\%p2 @騄C,ج Ҟ/'rO6rNi_^85g׆j?~x|PK1x$xg>+jطg_vT%ظ^>4jUt [~k>G)qDYUPӭN4%$R׼Br y=Т7U7$#`ZrhqTH edz3Wm/t^BžoEiT!(&HJYRYoKOpR1W1N`u.<>o/"^f?++?I!V<91T|LuL#ȔYƙZsUwfFA$gV }m= Q:2:ܝWǾUE`B m7}dn!uaHJuZ}AF3un]q+s"Fr $eX"NBOo>,}S/@gYZ6b4c33dcde8032c709b781234bd0d1e249e30de0ccf9b9418e9c76b5688e2dd3ccca778f920a9297 2b81ca4de31fb7c354e77106786e7248d054178d 3653d2dde4cafce91f7a86412f9a6c796dab12b3 f2c22bfade9733a36de860511e922121c96fcb3c