SQLite format 3@ .;  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 ;|TD ]/ HOL-Quickcheck_Examples:threads=6elapsed=76.974cpu=200.028gc=11.096factor=2.607zXZִF! o7]ŗXiɟH)0%ofA(5"o͘9^ @ZzV݊PNcʧFlߒo!QċӪ| 4niYHj4VoHbрpXNz&;AiUn9E7G? ˌPDr ᖵedлv* t6MmIS/#l, i΃?̺HMHf_98ǟMޒ?UsC;6/OE<8ͳn2,+2H~ĎaA {1Q,bv/Y}^Նaev|FzVm4pI²6gKt`Q=4fDPrV{aYj; '-Y=Pa^(1}6eDz!>LO+ZW{([O(PSDK3t+(^\e14SN}pQR(5fg`gHvM0F\O@7#"ӂёNNK0MEYj'Pp?RżÙdR mc"+sY*M{edG'uJv١]cwsdznήh-% ЧSd#sz8aOh]:(=lA>$6PN{2lV{#_7/lgK0R%9ϲ`yk'"C.f6"ݖ0j )Q F!f  X] "簛vOo';(X2Vy%MCFUIBT GGB&li39g, ,8u:vN-FwPU T7~Eq;̥s Ҡ傯f~K`i@;BW{LJBX.TMܸG CI0D$(q:׌.(Z2.2Dc QcM;:PhM5P3sTl踈?y\ h$.ŨE3x*ŤI@~X\ob]\U*Q,[vkc"GJYw =j MIqcrH6b ƶ'N:&?Tj9yiw$SA;tIRoAѥE?\&_sd #l(7{Pԉ JÎr⩾l6)ᦔ|mfʇ+N z'rƀQs4HQ\ ߼ \#tU#>d32ԝ<4Z[VHTUxgÐ/:x{K+JՒsz 91umF@Bvgg'_tQj`gQO E)_9UP[-.\**m Vyhy͛㑧?Gpmu8ʺQ 9}@pwY#C @í-@/q`*;q=io:jR'iSLp.z#9lax`UKJDæ' iZ@X^85CEl`%^fnGy &ɽy eDfvm{\fta35=Zit`獚76T Ax6KZ&H+[|V=߭{ ty k*ђަ*mzvc4Ƙqנ{(14ߨ%3R1` %bh#9T%u͆N|˘T2ciTF91Ht|̦ XVJytKdKGZ;s&TZV_퀻Su-uT$a4ԏkűRCGAYFWL+N $\>{Gne`kѹzG ˥^0bX)cE/@o䅖W@%QnCIyo OWBao/tw!2frvxU@$f->%H頭KdȱZ! UeFdMӸkbֵ][ޑ &38UnOy*")+Ϙ\5ʡA!GP ġµeMܐ8n܌j&Gsh͵M>6[O B6uClzUs4s2E$橼4SvrdNެ\8-մ@C6KЀ`3b(Kmxu{'4ۅL0iAݬp HG db5,< C4sR's6+T6KAyf/ռnũtkgB`G9uH*,PP~5Ps D|u Ǘ pғ$D LJ_EzCľÀibڑCp5Xr f߀|zh](r$|Aw-7}Yi-n vCAwPn_ =Sݴzo 8fA^HJ_:Tn,8iu^=P?DЬ3!ԝa/{jmZ8nJ_ Q)R[qOGH̟ zi%2S{ xC/ug})׏6 !v&pΒ &5Ab< .v3'`a*]}R@ (4Wj!F{1v3DC쐇]yL9TWhOoPeb6+$j:&?ʸ5Kmr`)6ƚbuA`4BP6 _rC fN]㘙kl)#婇V-R'iP n$76-f`$w bևuvW3 9 Y!E4!`%M&.1 SLֲvݱϏvFQ>s `rdc"+o'яiI<#JHw|f\:܋a:%!{Ȍ1)( pMc?X8N: KsAmw,m~r2ĚvvmDZw}x9Ѿ:OTJɞfKy8cd? es w6=.0}4YG}N@`;_^0יVpUg*r ,+rYIg!9aRnS9kƭE+܋ S\&d6hYB7Pxj'&mlW0ܳyNf$2*桽0?O1EY[I4N6A7_L"(×x, ,y# Cj?%mp|=D1ߐNաuD Pz& -W`Ǭb%=?@(_D7)\z鿕-`D.%kMG0teAQ.qR%_|,_qTЌȆv׼*XG@6#|爉롞9@?2VB>|'TUF_8xW?X|TxJ5}9 P.&FQ9JzBA) ;vJ ͷA,0/~3:Kp󅭬ߚlJ%7[[Hux (qͧ<CZ#BW + Q!qgbE't6 ٥δg jMoVK,ڲ(~0-u$/Pl`Nm|uk!˪6#~2WͨvnD˰7Ѳ19| wE`Bj!׷)v&ݫqFJRWo!ŲFTe*QA$kwr)N%l/.JSJuѸ˜1Sg}V5Wpc(GC Wu;{4^#ZwS8BxCf><- FAʜo4CŊ:9m*'xشJcK1V7N}q!R@,' Ĝ Am:/4qJ>AH|eSQq"Dd(Ԏg/ty(6T*}QQ,И8Q;Q9eȱ.ZBU! L0%q Op~W' 8jzVUzN hz!,՘7P<i]ҙ&=_pG"qCJKo| AO;U4okH=C ZLl yg1ʬ}5kVЛW{= J<{ :U-v葚D*}R!攴sP^W_M>{9e(0Ge7X 1m~֌V0󾣸> =c=n ^~jg'./%mB%EL%hcp͵eis5TgJq$HyѤ죺VH${0NViD7/2_0Gze?LD7ɼ•=ˏu~3O9sC>'vşZӡP\0-uft뻥[lR8IoNDxKF@A'~].(cN䫋:~ýzHa>am;BGJ֖xX25Q`m86 P|sG-†&.@sosЈr#أW`.z"Ⱦm|ͨ[uYAVP҆k ,녮m=9NX6D2V }B?bdChce{7;e(jqzc(0҇S$>/M xh'ӶUVGJY蕑1)G("[[(hn3"5,$ڪj EU\F:&mc8Td_2{!QyA%Ed%K4jJ;Zud!ewIҠcBY#-YG(ɢԢoaFozQgDð)EH+V9gvʒr\;z<cVo #q&ӼhDouX8r^ymX#XyWb GE;[ (8qfN*Th,Z"0!SbeC?*HqFO V-wA6}\)zn?+93 q Z/ד*b&iL Qpҡ4)YPI)%u&`Y`۫/}5Tl 2uO߫U$wDz偈cnjξ2z.nu֬8o=GCEȠW>VO?,9c ^˂,%9%qynѹ {x m n~I RZ$Gܶ-Rl*'og'-1Y ؝~T&&r~4`qgPey;& pz$Z,teVg Gbljj 1my Yv{aAYiYpJd!|o6UO\{J툲RU5Ná`JMJiUA_M90# qMU_M̀c35)[z0A.:6W԰LJbP|k;?{ҧ=ĶCغ^3$MH jւAi< 0ba4ߏ(UiU7nqr{cm"Ì/sۍ *m-{; %$m*#yClAq;b*ch6s)(OѵXy\ceG S( lb, ⢧nqciʛkN܈Y!Is{͕rTK7k7p\,X`5]VJڒ-pC'ܵMncDŪϥ.3pPIA(5K(܃`8(q.cZr7ɑL_&\'lf3UGsc^l 3)GB?amF>̷Ot |Jڧzwь֭CbKЂkT矏AK ˡҗsu(]!.\`*@wA#i)n+.^]TYg5&~nWb~]dJhJd7^yD~eg04.p*bا%~*|Djsj4D)%uHh<*WDB"ť.(@)CVY|j]״&GX1mq P:䞼+L˺ʗ0 9ԞwԶ ywb%oN }TkRJNk!xU۔gfp{{uPRh )(>{oo5γMQ, g\\B3B{q n 9$f4MT _;t~4\]<bX|`r'tZwI ѱ֦T]h1;P t>!KN~@NK y[fBe5Z]Ky6lJ-0I~ )e ȐxC]dzs ?1YL5O_ ^+(-<ͦLi(DĜMa>t(I'862+=fԶA MUT1R\3WE"ƅ,HyL@b#P)j'-d#oIQ8౭.Ⅿw*}e߫ +]?%5dvv4[oVa3D@QTa&rDS;'2^qnX%q%B.<uo98oc't0^5dy"}Ì8~(hQM)|UCaAL%{˼`;DL|("IThy`ƪPtkA΂S䂌~$ Fo4w,⃟<ު5־kI6g 4^JkE\<Zu E,dGksʔ&70~X`ʬ6X'(#?S\9;UY\2w(:ZA*"y;cB3AB"ޕ*A&W#RĎT~GҘCJiE+(ڗ&TEFD [;W*O\EGǙlp$+8^6H:Yn . $`o޴0P6:?ޑּմJ_UtMEExP,"`{C<"bFtݞt8J,bGyƣ>I#zs;3b%'ݩEuZL_䲦Za*0+-),2gy(GELɎqыJz.z哚ZQג*ˇ:U k8Bd84\&QnN)0ISvZ^Mv9gY2u>uSxWEnڕNXV,l=WRQ[> 3Ss{cy*8BP]u{TUsEF'6"턮Ay@|qh/$Җw6hZ|ة?rg`4%}qĿYo gD}CtX2 Tď rKP+[\:Y]jeR\}MeP}"1u =-zcN@k0:3T6FĢ6(TSuo뇭k}Iܺxcǚ;b ]Uw3Xհ[\?(}#4/͜"f^5YUW͕ V5VOBauhőB7|Ϣ"HD6N+:DԔѱZRXn/.RqLx&ZH[̎4滁&)UTtאּL޿ӯ6ifH#}x}7~TM7'*m<46s$v,lpr!T$IԌ'>! u]" 90P6,H_6Z brCxq7xm/8w1/j.m!*4p.\"qNQ&K&:M4 $WŴa8oA N>CO5VGe٪bE? W}y\Ģ !a1dYz!OD= n^׬6Ł4iE^2*P4Tp9$D0ŪUtK>7 iMv0Y_^|O <|ś#!,h۸.w-`Tt]r&AȽ9軁40*q Ȱdl\{eNd:}>@}!,yyOb(G[JfX]N +& N> l=P2q9ޏSU vO fᢧuZSMrV6oM iI Dfed^?A`+\ $w n.kfEO)|hXΛ//smcPah)da/J9wR-anȉsDm AO]%92NPe"Z'Ց~ Ɣ3AEPJվri* EHu\}{U^N2.Ո.}'aV R.to{dYȫ 4G7͋È£֊Y-k]=tN~*@A}|ï/MßF[)pG@N@f dj đVTquKSTL'bF)4<'0g"3ȭ"f/AN4i5KG"&8Mň?Q'y9,>RHI). yiõU9a7WIx^Ƌ>-Y u2A_m7D ,L2Шo#XK:_]Is. hO^#~y8)ѾfJ~/lUc9KyYypz; k(LYƩF8SOSSe{;y[?  >%zf@#R]hD9DeT|U+bX"3"GFrrO--,vgw+V_?_hR*8b|bbCaFq5LEV #j4GA`כ|y03ZA08%K1ch8v|1;_#JOsm7䁛=#{YŠlLG po֛!sOrcpg?o1:xzK&( 315ڑeJ ؜Ml 7c(BPkX FؖO, @`I(Yo(@y 3x'2͡&WI5BQ?4-gp 9_;~/LP|a>QŻ+y0$(P&Ag8ߗX 0mX=H~Xs: 9ld`~Ie:+me.96mD M'=\ -Z&xzP%~VOk^+o<~[g HC6D%9ɊCNl*Bf/mkY*Ӝ\Ln`j=>tL¨"pí?QC_J I,|:hz B9~b n i*?P $&Aw?0PP#4sX6\F(jDȲZq0?0DuO^9{ Dn| ^RwI֠%7ҭw[BU]!Pwc%GT\~@Kb Dhw4דs^CwdD%YfA`T&ډⓌlB5vùtĹ#Dye?*EL}eSoB&~X,'>PpQKA+lai֤*j> ~MXrvƍ4kf9P}%*lЀz67~ATS8l +F /;6@R~tSnt֋n {t^5M}8pl-q8ms{#G㎹0>l2o[(ʷ[1xeEdF=  ;m30UaEQ=Pt9n܁(¤[7=C0Ks܄-0+o_UG#i]a#KJK#.ӄUt?tn1^6{٨Iy r)g-݈_)$vCQߒta +9IHc mbUG'mZ[PUdٯw oAw*Cb F_Dl2&\ xʄNC, q 5 /RʖU_ʛ0췛Oa%*׏/;X+$'-\/ݿ.w?| )>&.թ'l y%w)_!ZÅWl%yp&D\3XDקɆ{xZhx{kn9Pe˸D\/GjV 7F-9T8]g.!')@ )+!BmchjD6<Hgݘ^BIxeJɡG6qv첏y~-˔x)L+#%פ,L~tz ċ?1SRP1zY]V-e3kA}є9͸H0NsJ}-@yIoAb 'ȾUVUBc یd*#S"Bn 'CVV[şT0{h[. ,nkRL!5#nչG||({o߄Ty^R6".hHmoNo o b+ B2>s [ YK'*a ܴsB:!ĎJQ<@xzZl=jI'@7&J|ה]Ⱦ+ɼA:1G1\)d:A],avb2^J.z[]M">Cڞ'H<=Dw١Qfw;7pMc#)$k]q+'^,k[#mϥ5ꤔ(2 AݙD͡lވ&Ų~ȋ_**d$}o (P~Սq6atr-Y|p )(O^B!zDKR/9FCNQ_s ݳhm/㷗k T}?Am0RB ΀TBб}1ϼͧU Ŀ('i=ZH#w:Q s*8~2eN,PSnߛYj&p>#D( 3(m^g##HF 2üF}UuA#@yTͷ}3_R\B3ɲ@yMuetDӪ'-$xfGX<0#B+~{$5CD{9ڨ~Rb@l0\Bd<Q9C-8lqiV+Ő9UcIoRJ`< joJ5|&C E.Z_|ߧlKZ|sN1/}Wzs3Iiޱ)`R/Bij=O|iyp}Ġ39vC,Cg%ufXc^7!M<]p*[1DOzꑷ~GT vZbRth1r,-?A:̽k\,[6QW <+tY+ZhW.RIm=8^a z-5.zo&I҈ImOm#WbYLi єMq%mj"810 &\DM J Ϧ;޺a2D流8  .W=%|klLAT†f<1LT2|HgFf[C"Eԙb L7SS k}WKlQ,D0*Q#G N:2f!E =H튥WtR!"D&+bhkog;! !\RbYyJIMd57 ׆[;٘VKFIkHԕΣGzo1OOe"Gz.WkLkYՇsOW{C]]qPᶌ )R佩kpsv\R !?]f\*-ڒř[@G(^*-N?+Yݓ78a=$<* XqrU9TD렸?]Cw\-/7LĦ#X^@5g4&}o aY[k/DS7upħu?GL6>nO^ٕ;`/3!G\RPWSgĄ`M նv Dx 4MHFvsI00'zU22R(u#44ws;g0$$;&^8e'38PWN5'n(Ꞻ}y ۨor[=%c bq3U:N}Ȩ02jt0iڟ_ڕј>^ @RN|o8.W Z*XGK,PxL֓r]*iYn(LL]b\ɶ]dpU趸 §ځi{: w"TRn09X>-"( ks1IL3#w pex*DXu1/JC>J.lvÑ&}<0X-u|Z;a ^.g}*,-Le:3م?ʎ_yو-_@RI2O^W*B, #r6C KUkofs*HmWpOS2R0pXB3kQ&N<%̌CɺBf-x#;b/dAjMN_ᾗgI$QC^n"Փ\`A+lW??CExPaXl#+vt[?)ǻ۳|y,"10=9},kPE&a*RD!{7Ęc^lŋxZ7_CeUh 3[;opImR ?TP43"$'0eFSq.KrAu*ק e退P(V 6u޹~A/{ָIN:hKpx^>dNn_qfcV@a)OXѺLgZ%Q27| =MP4bζ|98_VcZZr3K\` @?F8r|Tϯdɓs1?kdo'pd c@z`b8v># 㜲պLMzWɒBZYOS$~B =UTeiu.,U1gӆ97~v,۞+ 3`ܲ.oJdyE ϛ7$Y]S2 { V9u&uiq^ypt2Co/`7C;Rq8?&C }I˨FOY.?/X-~O'YweӥSֽ,o`Rivy0hab@eKfb3a- tꗕ4(;pD,%λ|s %|'pB$ua{?E?`vX8WƇ>+"Kn:ubI;nUg'P}WbO{s!sGl!ERQ@ݨ"_xILEY^$CVdoZo=xSrת0T8SE[*荏ljR-6Z5PX$elM_H)m윴/%|,;vV#fA-E|O~9'+To}Zٟ3I6JgK%jaۯdbջ 6t;ˤ0)퍪Ae~(|ΣYSLOq| l:4Dß3D[_nt )~.TmMƋ'Fy=CQ*bbtN/JR:79*pYfM$,B@w#tkwi%p@ox t~l(;pcnQqc2TR[U, ~;_MY~Mse8d)9HV ՍFt;&D)Ԣ jc3nAɳ7eL".(C<2d#j)~L1Dx-;ӠǠ&-CQqM7II\cϚI[G R $eG~zf<+=cqE@VeetI;%˄fDtAKY顺271BƮP~xƈz`ִ3w0]V]l#\a#u{J!dj!f\[vOø`wq܎Ϛ|:ؔ "J⤫oKJ3&+%̡(*QaqL;l4||;;ʲ[j[$rL3c`*h N@9>eIQ;ΖPXOZZ:%<ֻ$hoSշ;ܾ]x8j_ 2/.3zPyn?%_R xx ~'h~h=A;8G<e{ 8Iܩ%Mts3o/JԖT~w/wWYbH@vVTAqX_G8p iwFZ†^sNϩٰy52q ml?*w뛧uNvS?IW_mw4§g:j&p"VʹQfww\ X "HY2 aŰPi+T%ߣМi<بnNr^Dzs?vRŢns6et;7nm-Ğu=|lv(b j#aIشd_6Y/ň+߭-0g2-hfQI@<(\+FP ʸ0RQ@8[}Z~J#!7)M*H8+CW=`;1%chBwodpIx?9' k5o5Vtr+ Q/)dӽ__U~Z|ƻZx%(rji;VT$Ͼ#"J>-ӱ2jLss4mWr.<˴¦ p.C:+]& ~h|ꤢ3CvJS&c4!g75dQ`,pR7̗V%¬M m]1B&/q|/y.׾sr-Xޠ'H Ш"0h8>9©ׇa$1 ּ}#N^vm"&W:DKr/E- /SH N*7_^Q Тk #U1]b#ē'*݀xx;2EY-c:#\*GAi9n+ $ʘ ױ#E>a5;~JxJ&5ycx.._Àa5彃-b.M;r]Ԁ K<\n>= |^~ˠON6cgR=ȼvgZ0D/$ǃ7P-3Kc\9J*m c5 9q[VR"N /*gD8Z:m,j#Os^N=a 0id[|Ģqz^fTM6v0`]8 SCw0\14$giXOX+aR7Ryg&tHDGD43Mpv!nU\P<977<llț37Ougp<@kyu`wX)q.A,!w9;SGl%F[^k"rAC*(Բ~6(ǹzM>GoEkU`ṇk%"s7i7TD HQ.X }!ï`|?PwnzצfVBBUݮ+Ҙkm`pA^'F?ِ"їE;(59ݷN>*mȭa cT$N'tcO=K1M>+xO)s) 2 ltE6RejcrPߝ`~a 'H]NJכ7n=Xtl02#} =UMxRp7?EF+眕^s.lH5\_'MIqg@ #9ja}{S`V@lK̘ kZ4`q49/DrcF*iQďx0=#?:1TJ!imφk钀McyA s@t/3C hEN-]DOq:5?Ƞ\ТA>_0np&>?>䇊E~[E}jSp@;5;YrrTYf (:9SW9D4owi1.xIB VDuI~?%Hƃ!ƒ~0-:B_-<;r'R ~Ӽ ~*/Wf& Rw`IxێWCrD&^8H0Ag9|T,e):fAgNs!|v1KySzbȫbR *=簤97A*4 2,"!>ULpbOKWa02A.%Ѝ]ߊDTl~(ln q?^vI@1V7]Ͽ:թz+Kr| [0U{|"Vo{WSe ғC!BbN!rs*t'8HnC]\W^YP kI_=hIZI}g>Y^7;_n7$hj_0Xq hW`w|mU\PQ+I#ාSN؆N+`"`x6h dTngo2Q5dM=T;TY&g9DѬ2GJX1'rSI z)"d?\Ր9I+ʵKJx79b\˂ͭO^L}Hᯙ$դvs5CWw/>cʘ(u%:ɧ alBPc`T#'Uؘ S8Յ*WF-cǠK#%ivX+Ď4*|j N}AkUuAQbޣl$1x:/c1\w6Kmρ{V޳ :TMX^ 爓?]ר,re^Cj.ӉǸ3Tu~)Yf"b~ UH=c5x~wTHI o]n>*Ļ3;3XݿEF' &s"r`ձɂhP.N]h~!] ;ҳZ}tzMjH8 W򺤥Tr585mȕk_g e=n@ub\XN1CMW̶ݶťNx>3:+Nb~,5yd%FbS )ZJ\+_NawW{HpO}K?V}\! 0hq6(t(L+w*G̵W#m{1gVKߵF1;yT 00IB`} iZ3]vT 2_ZJ4}kx\YH/ћj{(˙6*tI_8\ł{^}d!\|!^ORy}F2<k'|LV?AU>"ch,3GdeUvͣ@2K14$vZ 7!Vj刦7 yѹ:՝ߕ򞚳5zHEj;O7jPSn>ugO=^?lT_N_T9YEV+v0҈$ڢGlOam?2!\s1C_\px$qeŎ^e߷ڼ8тJq {5 $;S6@|BVľ~*U3B8<M͎tmMMƜpuv۷5aE>v[iWi_t ZB3B|QbIpbT vY U9 F4F&ʷ~@J|naZ; ::/:miM沛1w& y|kz'*uEUEȍSmA0m/]A,ΣH I !Rԭe#5j;\T̛WELjy=pP ~'(Q(jB^kı^EY|P:T-Ͱn@tQ٘RWVҿAPԹ@;7m/p&M(;nX ͽӥyr%n+Kֳה<=J6M3`o"q)$W k4߽lĮz`f-8,3NʥT#JwIDFzg]Դ%~t AIq>bnIտ.ܭxZBиwRHvu f ZtGI%fMFSnyD ,Nla4 Wv# W:vА ݻ,~pOd_lu#lD]PiR~!:N=un;9?oLqc5:} œTJt?k<%ҟA?Jծ_- %BQ-=Gߖ4W{ұP|OjuX< |B#fcwjJcEƵ̥&΁tڐͬ ZOaZHtI(J59!ꪵm1pDR氆zq.Vxޗ]):Wv!H\8\g4 |Wfˮ ZꉤBr|WSƪ-%J<VN/ uuj_SDRk #v=L_e)1-T^N2q@6rz0j]ς'*Ѽ9X%Rpbc`W@;lj}uEx-ԏ@Z1N oW%K7Jdva/.9zVT7-f -*:,Lw#y)ZR\?ߓCMj#~PuףqgYsݚ]09*ú˥e=WKK;Y,CCT~ֹy/F0~Z;,ÜRAa9>U {Du҃fPEi=c:@IX0v&"5Ozݛ #prQh z黆̝ОrX`-wSϗ/nJ+݂ "FG!3U}Qcq'w C/Npsq !ȋaޑ~`lHo"[ <{j0dgOz8l/&I:_L!lRBs.lsqzJtmgm 2o76q=h*ŸOuP^ɣt̰bv:7F7İsg|+3dl9 JMΈW (SKp=TOtv5롹)JrA.ysLPȶJ#}Jб|$DrFYM & α}4Y1Я(tJC ` 7;r>A.tEHLBJyV0t8e`S4J8/uQAalu)k#ԜDƛ 6:,Ӷ2;hEjťMhr>]9&١̔KvS<Ӌ'x8tĄ*$ۡDiA̅ J;tbD+vz߸9zmci+}q~L= 8ν7Z_ j֏pcx]҈]#J3{|b{JAFږY]b9sas_54Ÿ #B&u-P8mQ a_"dzaɬ_<)k:3&ګO *Wk̮90pyPSej" phj.ot$6q8eִNP"{dahy0=q-2Qނ9LxY񘱄>rtg :%R)@mG>6q\NP XLtwrUt֗B*ƟTJo|ˍL䮜IgG7%TkX e0 m[.=q.I3ᒜQȻX@ވ*ÚOD5^Z˖G@7èB'٫ KpBM~8N #brIoIw,+thS/*O3,578A2XӄZLsC i~ȳ`^CÓӠRp͊7fu*qwQqL4g"L JйvDhvnURH#TGt>݂6yd6—^dodK\,;L(_LǩIq>[u=~<8 747ipGԾ* sđ eRŒ.&J u礆dZP7l9.prnHɶ~*u#?S̄pL1s;*<qנc |#;̰;Y59Qϭr (K:g|Wwbi8*)U&b΁ɾ1f1v#3Z~;Fߚ.їq(E~KDQg2H7 oQnbXmpXwJ\7ln}51eq0M؋Snyg]`?>a uMA8OHjB~!}ULr=:\L0ŪC.jCΗ:]4mPH% gv`2l-Pz_19 DsD1 >s^Ә~q&lzJuptbkPa@FyAGEQUqg6K#& eVg|$r؅)-WJ[*EcwV|]C/Gq^02sm9kvcYgb4SGt]bL{s@9vzI3Yoj8ON)> #21=nч3 @~^ "f,l5\Xf0I^5{Qa_nkpvP@|\M*L|yyFHchф| րw銿UVS+$b灱>r!ŌUx2X%BE MVqB.Ye߂Ƴ/1Y}B܆*WF<~S@WbpW+3P`@ǩ! Ȗ}@4.VM.q^k8So/fbu}:q.<5Q Pd(p~|{n=Ez Q? 7 5@O.YA ͠Hqj>lE$g.{[#8S2'$HL:Ith's}?IQxWFD/Fj0Ȝ #QF+IT ̫T?йEm7Q@%ωg,?cDyh=[LH>g߬Vkː|<>@- 9YR#U*N_An&O{w/wӐkOy\MǡBZs?G&u蹘C,Fa]Ie0hW_Q@>,@38 k~)"_ v p?:"@E,u͐>kRJFn /PkLFFDMME;9U77☹dN1NhK{ h)Ryxl24ɱCW"OҫJ IC?z&Rvf-E t<A=|]^OFaklb}X?T]9^xѸZGㄻ~Q+l *5j1?> ]S0c{"kjji =*t.HSX$ /g~f|m-Ԛ_;$"]k/ h7H=IZۤЈq7ItS#=\:Z.%;d;Ixq ̼&wG|B}Sί/gL#vz7q#˒A̲a(ZG=Cdi)T(fzy Jᕑ %p.t# !E-3A yA ɉB16qdLoQ0bQYX y Ԍ~1 \} R2Oe3n$ޞAɆvshi7 %N:I LyKSd ?K_MHK|8%W3>c9~c"DZJ[5qyPዂ5CN9P+6=(L8R+7?(PJSgB X_7aPќA0mi`v6#bWiJ`:2?xڣ6Я"za/d[ȼܝ7~m( $9L?-]SX8lHRk=+Bt8mKT"ᦶuv"~wz۬Yt@0R95}Mv$ԠZ4VoJτ$M60(rLTZgB-4#B7bK4^OuIi63+۲ݱը6CfqrR&̋pW͍d a\M|g'.\.VZ0*AU̿sZ `֝# q}oɒхd*d.L׽ 72G\%{vE_fuWFzqoL sNcDLP Cy-ѧ@~5n,I3\;cG|@lfw .r6!J(r.Uy) Ft4e_i tej^NS4j`DE_p YB異>BK&__hPTXK4bL[zz:;1v+L+\-igN*_ê%eryuKZ6;qA+څ*kbI˂1XJt:W ps'YKT ImP?{(ZR]PMeh&Ga]YQ3d)籫AuE^ TaOYX䚝@u(M5?!%v!Sv`~ 1MZYH8uF>95ⷱ:d=b[BۿdXډfk>ͥS00}>+PҖۻdБaŦI,˼Y^¶"Vy\gp޾I9_ ɋ=jlɨAf-5k|MP3h%r1/j m@+ςCnC΅2L1`2?@Lԋ'$kX/jì; ipɏ/o ; Y2EhZ ^DpnH wcxx1'_7MыC'2(+ af\45ƞ/eS4L5#ܧ0&cOQ*hyݮq `i}KB[?#q -L' -x(SHai`DR tYKb-haNY L9eV>?ʼxyi&6/mglhhTO2(!+se5zDl {m[6j.ԟ,+!+q(z})R4qQt]ȏNy(oa39SLB$NNhB捼q_Gq>du ʜ}+rk;8&'scS/e)5;n .E5WPgapLZ{*ǬP+ߞ kLPD( ]F8F 7@[H gmu KIS*Sgde\|!j,F6fxe77;)gTRgev:XO 7Y^q8,V/t]S68q~z*^Nkzzf gAk*s`mvV%'_3*ιfќ^=(gr>xp8`QL`%"iٛ~F1qU p`} \@6+[ju'9{ho&;= YX*L+-u *sSqp,N^8'sh܉eȝo⡽iP6%ۖ"۾,jK`E4/ 'r(:! ByϔF |;/6`=jߨi& 9G>] ̀'mLh9f6`G璘!Nj[]a|nf&"̀Oԯ{q {;C=c n$P^l 8f׆RBuf=;6׃.D F AbU6=Pߡuf0Q)2H]ĸ]~spgD.:#Gm9;:br7w`נe@ޮI9KP_z )W;]\C5F",kLr˫0FK`}8 p-Nk쟔7oMݫ 87jSf֮t|)Esؿn\?aB*KI|"0u)SUXunVa`0pݹ'L9ϰ %֬zυbZNMG!PU^%ƫcu0)WB.>YvU+9gE&x.&Nw0FFkZKfj8[d睏{!2¡6.Ş;gM2Z@Wo&yBFm Zyv. MxXtߟP-RÃTOTk_;G[g'y q5#T4VcSgTvnAlYS#olKarE:Zeb,#kll2ީh2jf>VcM0PH6>]M`}O10) ̠Yh '+ϡK/15e5bS'm:"xbA]i.c-smч:X~@ 﨧#)ͪ{!U05xV\E(i`)y&55pS/] zKAx|ttIm'Ik4o5EHpͶ>Pa1\qH#IE#4i/^8]nvz' ܒƤ5rJdq)|#Z-m6#͵ Ͼ_~xDB2?3r$&ϿuI4'O: *PyۉŃoZ҄DW2 ʓT8t?hix!9. )QG!l~_gnQ8<{a _{:*kbq&i9C,1MTm lFC69Nϖ)agЋ3- `wAP$+1Of.B7dlq-5䷼̿W)M.t,(q.)^J 5HЇY)jO$1i4R[fxQ]LƈPN/,(J0I%Q?U>ođEpq.34[&r(8?6lz[(^UQH?+ [; He\ρ RS(el@Exl4UEݳn!dN>s:O*lnӉ 5Hodct4XOHI Y|6x*p~J+6jűr^FaD l̤_a[ _.eC}h*+~ɫq9@\ -Q <ví{l]›VyF u|-FskɌ?CSMUaPlVK&{bS-ZՅ(b81q`Ae)F&+~@Tm3bXa3͏Cj^4r(X+ϽS(4d~y5 8~`vH#ğy_MP~J~5oku ymD:P8c*[Ms0GB b9tuo.]GX?~'2T}5Ӊ!]M"g8! LozF31yjera|4[Z\pm's"M~NlZs*QdMz AD;}Ql=ŨɎ5FD(jd39zPC/W@uVb tĵ/ȭ^/ (7Z ;K̼m## v )j?Gx7Z<n!Vdىw|:Ү}TC`hD*+9e8Yg&ؚ-ft @d ?)qZA-2\ke'A;3 6U0??YŶ ].67ݵdаݦH[FwV hvu!s*8K#Oɏp׼3tuz=ᜃ0j{YɥȦ/3Hk x^d?LHG;UF>J;.X1/lTHV4ʠ%x  DXb*^3f?3!3/DFw h s}>Tm7־Uش/.DlSaX=x(9M,|A>jpMۇFja"sifk!KY~5b376B׋.AjXᄇ3ǵۊM|$P,IZ.HzHBGH1ϻDH +l 'g~Z}¯p`$\lҼ>Zպ TE-n%XvPDupL7K5d !:^'`6mAЙDWх"gԺX Ulm4xWj>"›73WvC6᳥Ū z&lɯ a^4I5~3 6(O8V-2"Ӥ YJڴK,-qV‹P88H{'VEIxk`+HeAvc,Vw.^߫c/xbCu\]Kř ˙˧ b;)b8N#mGD`yc/E2Ѕ6q~fz4ĉe5VYE }hҺHfop+3R1rHb{Jz0 AZv$!d}fsT Oapme 66G@!Ez=e\k~KGQNꤖ \(Zn:_ kk̡\sQL\5y#ͽ4/ַfA!4{rgoF`dXSWF7hXe6ZkX4h?W츱*#&R5{m5z\[,Kĕq$;KHƭN'!ҹ~ӭ91SrQ(ٲiO5w}?0,h'ey MGޅd!o/[=Lerjdm}0;~(p7B Pů"^Z[ͱskxETXyLF3";NYg7ei1c2Bfr%DZLU[k3|g׍AZmZ}$"Pv Lј)4bT`?v HQh`aRϫ1HF"wm F)jR4w6LzDQ{)g M׆'<,)׀?ٸ2ߥ隿Ca'-,BIA`^zC m[=pܣZ .a',n{ KJiL7niђUu`1~4ћ̞qHm#b}!YwZVĠƧ=܊ίhS#I_*#ρ MsywwT> ,L islrSF􋡿ѱ{pY!M4= Hvf /QO OShʬIDoMkhY B ك(jMI@CX#(J?ydž9.-bcsm3X: ͓Nݬ )xvPe{tNF6:Vo G3N0y-gqA[l)IoZlsڴƾeoBm|/4g-a0tzY`wV|?NE,['6?ԋ]gfkˁU0 A&[M7/e00O*3eRօfح[<1l淜%=MeZbcUF̑b.zdF(/Uo_%YTg;K\I*G1HMRl2S]цg\)=d-ʢUA` :f ;SXD/?0:):Cv-thD&>JPˀv/H~R/1tU8B؉efg^De.@ۛF`kjw98۱I("*ꣲo/1κE#xqgiu=)xtkLȀdPpcqod\D3aԗb*~~4&#ɻ{ S˾SAL+Vܨcn`  "{e%+{fz\{3MV}ӔIm5 1`I37ÉM~^4o=$iہ-r ɺMŸKq}(ܴ] OYqe6Bu'mHP"c#{wӇqoZ Th$zNEB-]ќ]5+|d@jzN'{'m뾤(GM(En$T?h:Lzye|2ݩsf~oNN M#Αm3I0P ;B C'bhnZuب^q*$b~Б"7;|Y vd|su4`!NDeǐĠ㾊Ջ0QW~g-ZAVxWh |fz6=ƻBwto: jO u u-zQMdEO1sε[)CNp#n\m Z 8Fp.ptm 7v.m-=pH\0Am6Rv}UW~9<˒?xzTӯF;f3?WPwe-vzX\ּ g'r˰wwMߏDGT pr6x gEI";:Hʃa`[B9ƃwʲHYL+Bn[Q<ӌ+b7MrŦ T*Ab0W`#r^p}$N`5kM ~Ų? ߥk]jVA1Ys Z W'"ǰ89/|P~~fКԎb(S~+<$UM6~U oN`Fr=5?1g3Z <7ɍsZ UFg?(hNҔRliǔ(<{9tBKaz->hUY A %٨N %eXʪx2QR=xDr!?y~]RVP)1ܓ1UCۥ]zN/]z(.uRU*dt|z20pқBaSNL3w(Er <0@dt*'ʂ[n#ԹW&=weze,'{0c=2bv QdH!Q?8st + CmtTC2GfoB,]K^D?֔ } {ZA%OIp#pvWEP~dCPȘfIA-Cr4w- ŃwŋRq$ <  V fNso!A>g9M<[O\9l^Q"y3}UZLF(H`3uʫ&ā$u>3ZW򛍘`Ra֊)tԦᙇg26ˡzVXzo@@vꂻ59v°o_G''[>U twHJs*9e4qOTX; R%y w0|P}B VK&Je:u}}!N+̮!`! 2サeg5`kTW2V%:xC>եG R{S/@hKz?Tխ{Hl? r;0T+.06>EgRx`I8'EP[W=!Uo!O ȶE.?ƿ0:n!'`/X[ +=Ҡd{dv&[ZlAw_oi(4q{rc LUH+:l֙>i޽/y4:j H(FD9xB. Tm` ?2{e sgL`QA+-ra`xVa҅v* qZ5y7( ݅ !KGrRtjLUUzʟs %~ʼn6**0Aċ ْ&1{>:zKo^yZGf~B3㳗.UN[ :ff{t\PB4`)N.ƩjlL(0p`T~Fc QѿZ>mT16ḱ2Oal7jZ>txVc3MjK̾YsaXᬙͫ|S{Lng|ic,~YƆ8Q2;B:if|%)iohS.7nmHE1G5b%T pt#UkЂ ̐&M%ZpǸxev>Z6`k :! -yգ#0+;Qs.(~Ձ*'H#I@^ae+tӗK&ꞴD@C4T45AK'zF<1l>L4NV B`8K)Bo8"leIge& Mwu4eCx90WVz_ a؟NNa ]tp MrRDY>}3*wDQ^+䄹)gbe( E"whYG:0bz E ֣ )߂cFFˎ u9Xh&LЮht6)Cg "2S}lhy %y}EtfzdF8m6 ?]\e@f 8&LA}x!z.nbz2-u$X͢6T10z,C{J4aoNbiwRUXxde0A;h .-"}4XhʕPy{[BXjGc Z*.lЄ{$T8~6KAO W}lOcHKL.}@+=f\, .HR P8q0KA,md[L -ڈ"\_DA:nZU2d6yHyB@f7p"kLhrO.~J+h.￟BmnG{CWMH3(_ =5BJ]]|fceUPU"f69w>Y`i>QP(AsN"2~r最IA.jG,SDjxb9H(@۱OMF7}Dd աwZ++_ QfE͡}we`ф [NO90TrP7S :X䫔]ޘY?55o {T~x W_bh)? o]Iή쮍~.${WTVe" |̄+B)7-%pSJnXoOZ\mۉs3b_ps)4_ḅx4(Gm!Rq bWB0+80a\{2\+W% A@cz/#ˌ3,1ljʵs"+Ҹ $Y9mn;-#f^Qs.NՉLhBo (g4KƇU08.<&rD.(:Y=|$5Y2 b_wM9'QBhN۟:-ĩqn{Rqۦ ;=u@sӃ?ik(ףՄ8ըo$^!A ܆vΕh74MnuD\7m֊V*M\ij>_r] .h@JtL_> 䁋GcwEѱUz"c.QӶ:Hhm W;M5+$jI&;>b@%7m>!2.PDMm1GU]uLd5ݡ؃۬u%n# h /jIӪP=<[PO3s䄳Qi䁋@hg_?߇#ӨuSsO4Y>ޏcK Ԉkj $8w>T!yڝiF ov"},y<\͡_l80B7iEKEcz2 2Wй4km$Yͱ(L;q6GZD[ZOq7x\trz!"<+!`;[AacPD#:^1AcmPӬ+fdޣe073iX11e\e*:lQ4/$TSa.B?yTπˑWh`PkK9|`nbPx Ga_'xEq,34mw:2ཛྷzX!RnƇ $o03 4&ߦJ0.L<n=Ɲ;~˩* а I1Y:u3Ӌhy'j1z˷+F=?uDPoB:."O) o) \+Vo3<y1hMlJp9oLEq.Ŝ݄2p%vKlH#מ2Rw im*թϓ.5QC&kqys1Idž POr6ȍ {?F)#g-_Ad?!DS"fsfӆ>1WrMj)и1 .c2dE: U+fUn\zɣ84dI$i户RD7I }/"K|r:ۄg]-"[1AؼRqeaP;+Uo7 t6PG\zBj#+氕>L"g!;D/]24hjRc}ȩb{E}dE. | @"~ޠW!9/$l5kHx вGB_+!z\5}^;`irN˟{V^6~ OFb# xgW,G04V/lA7QȰh/66PAjr&RDj5ߗC9:&A=*1SEn˺ (nJL潓fe-2mfcbz]WWW[hJNbzSSrq]S62 %gcFTbP2{ Vˣ {߳IEF wh=,~#݃h{eiP 7J<ݑ0 UMaFo-CڛmlS增Y+rCn%pcWCM.P+r=|t ̹ $&3=˻?U،'膨$˻%$>kd#dUyϖERQ8HM$,8ӅCՍ> ePgJE;DfNg,D_CO:6\D %ihj^J"l%]R Ӣ)tVgYZ7zXZִF! &]ŗXiɟ1˦r+ bVj mGe+>'Nk ;Fm6M1d2x:^޹\.|**Ѥ_B?K~ \~Lx#zU~?\V3xS޴=)8f3Ogkqc`T Ģ|>i X 4ʸ߅?Δ sde1`HXd3étp[T=Ě~\$Ns&)[0H$h}Y7(>U>bplHfkXD:$= Ѕ R8J6/ {Ϸbm$X=H!kju?_JQ>te+HEi8j n ~vgYZ7zXZִF! ᭺]ŗXi%L x^\-M|Mxo0}q^(C۾7' GB䧪'r͕b*0GC,n97h2ۊRS,*0ü& F[h'*5$;ڨʋZ ޺eb 4_5o1ʹIԶHFhTDG8sS<2be[A=)'F4T-sce+<Js鉥e3%ϢF8.Ap?ʘ-qС yz/6$CDJ%@웧, ̪Ŧ\C M+?}i!UnH] j-4%R/ It #J%>n.MX(F+(s\ {WF ֖؞V5RRҩ&wXπ%]K^CAT׶i`^߽ agSMz 1D\ E}h(LIeO(P-}l\_w~4ςԁnz%;nwGĆdhQ-R=&Ԥ uFC}{sBTr3D/,C/ d{j?W^_Rr v)ԂGåa "ߤoKxS$:d }ʒwR]NƦ҄c=@Y?F䘱hDn0\AFf+hQPI9IVcDC%rjwԠS™,0E )[51Ѝ[[H#0*ڡ; `Lk' ܼ 'iI+a^{Fr_3un\\v ma(htIgU vG:*Mm m2p Q4-=ϪHյkIně.CPO,QAkɧȻ|-jMWl^!iCY z{ߋ OeuSŽ {m=, q W E}@DRj| )LCd ω,Qc ykOgAzP dH(PZh@)jISIN8aT$r;?Atڦ$YdX`ʩṘF#zxM={E3STx 1@Qp mpNսjn@Qh} 3@:~xd7&_,Emv'NANjҰD0lL*ѵ?3!3~25ʫ0Nksʮq3!ҡv9 ^" H)+{ 1ڀ.go~?H$t@.V侏O:X\pGquzb ^ǎjl௧̜ܶczGGO>i#< Tŀʳ>n`E^eHJ17dOYF ~Mٜs:.9<Pwj6I"G57}w#H!,6vJHJ) wRadq\WNr0(AQ @(Cq!K8ڵ5S5+Nev_}F7^7 NýzߒQՓq_%y@PBn;Nݹ޵"H7,H)8op^aJ~,R:.geͱ*4df*n~QOQV4Z6N1ɢf$9d-hXbKèsT$֖?Ύ+(.a w\Q64̮;y 1{|}nZLH߃FNWB`wة~q3 c̷7O"MgÁ, v (R 'DYA.`Q "CRd3An;*ܯ76b@4% a˚pwt7ydA 咝[g .[0'`S18fҳMԅx"JT섧ib\'vdhSkYtg!6kh236,1N뾏F@wrENtzį(!!B^ r<1i\%e2*O0=^4)"H]kzwgGDH4Ұh8iK44tMªI־9KKc,d" <|݇ 7 2l/ؒswkrPN$;PmZ"=Jhl`̚,g5wIwR'-x Z ~'4d#qKfXN|3hq;[6A;CD`e"Qׇ3oji$=\?[n*fYE5S(Rgbr8[zOz-~. 6lF1O`նs9ޮf 6^IEwyKuUU90ʹFZ(BhgCj߁ZÒڮ:*LE-ꦟ:)1`E_1|+Z55%)21Z0eu{n4)'4unxBi4UHrW49h~(7u ͝ae d8ᅌzWz@E1 1 6w F洁UydióiÖᅞ;x'ȡuY Ct l]ӻd;*|`gށABخ5e*rI 2LӫL *  ioOgMZ>nyE{}dae'wZgSal9g˶"u^gy C&W5M![ lDk:5xX0x<`nK+'J6`:Rc0XJF}%nC5* dcw<Jp/t~fG=A>W'Tc[En;p5.͏RϨ+X,@{4)G~NUr,Q| XyP ku4:(&c1"& pp 솘qhKbXKvlQw~[;h+CO&{fi3q\S6+Vtڳm':l"c@>L= J_-N#l@We<4wqL/Az%͏3G%wlO#N22]蒗M-([MTrUBQ{4 sxKVU6gK2xTm}芰t/"D0o 춷m<|s0i5hOL=udX(o(9v,هY{YpPbH}6E!N#EOhU"hYY#Su؇5Rίy}k u Qpڹf&&ȳU }}`WF Qwhe!⬮8˺? p*N1Tקg. @9{ T̻Qr.u==,@J@6xS&ZT=3%GSRԲ*+amF-pJJ7oL"hD} nCN͑ W NH6N cl_:D?{o+I߶Uj7C}j,U?|m4BKP0]MBښ谭e5+9PQ%/^-V@jmkT8NKC)зGJ~~j5f/} #Y֓a{0tІqաl@(@OHm~)d]Q8t,5TdIL3i,&6.:+AЍlߓ;0ڲao[~L냋?yQ =nZLѕG ~ڝ4>~0aqzQ  b*8jBǩCFkѓIIЖZjfJ:l$u +U7#)0oF1C$eEdB5&װt |к!l`W3vZ9ɳ( vN%|IkiQ7b#YFK \)*ҁBR%! 6Scvg 2}HQaڡԓ͍fOHQyBAK:ƾ'lȖ8U)Ac(cI4XxjaURwقiFy.HU 2=jn:p3ǵT6'n:#E[?r,Ѿ Y\Łl]n(kn~@DBN[n.HNv&agncJoBծ{Ip::%ZiH24=N[|k$)z:YBDoi}mOF踮z4^" ~)#Fit?^l6<6vo%"!}ތ9dK7UW3ҒHa~ ގHކΉ2z@'I`xpZ<86  p.,9 Ց+)TA\;cw[A;} kOm0P޴[BuM}˂̸`{Foo?S] yAM<˖#?UjyAa(vz|܊!& ~яΛNލ:e|Z=6_/ׇFPS[{ A~&vPdYeMdp5dž-MrY5\|a:oC(7)p%RþꚷO!]TZ]۟?.U _qvp%Xf=kxMA~ Go<k7cp0xd=mE$wn|u-i>gYZ47b794ace48dbc356db6b872330419544309aee15c7f58afeef8c5dd4bcfd5c31cb13ea46e11f362 8ca9ee974323b5c8c0c6ccd32fcbeea7d0214f8d