SQLite format 3@  .0:  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 ZZ~5dT| ]S HOL-Nominal-Examples:threads=4elapsed=374.900cpu=1343.004gc=82.464factor=3.587zXZִF! ]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$Aϐz,N$BhU2Ta jPψ .`Z! U~~;HƉ$/*Cf34 ehdm?5QpuM*-xX$@ڈv -T| T?4mKʳDVxLiBބP"lŪP"\j$ְQֽ%1r֖(WFA/B㴱ιo c`V@zɒSŸ+qBҗ (oh& jjfP^)kfuƕRGSm8k(+nY!4?׮}<b!Vsw&P#ܢƞTb֤Ts1a3_S&KA-Ϝ-*,|Un0uy:NDE! D\NdŰsQy82;3".$ZꩴMwh~]gʚ*D3gжs |*^0K\ݏbԘK%;tD~/ۈouJMՆx_yv;d$ƒV)]JAkwTבVa%qqʦ#~a.N=1ś,KRpϩbn`[= {pˉY v#֏"uZ< Wj@Kє*ki&fWsuPxCQdoC^` ,|sQ7=ݒE) kS[j5LT"'8/jtBc5\Kn&RHsOˋV~;M%+$lڨuZVEAԭ0 p4N<لNsèދ i>p, Ana<7Dg*VC/gǘfHVjO,4`uYpWԊgv9g6e:e*,s:hg7(dOݗR C ynR踕T#_"3u]V%) p/IbU|+NI(](a4''[u.2&G~X&0N)* Z6]3ͬK*4a6BG1e=-L+m"1]ӐэqBsbnw$T ,8=xzc ~+܄A[ɾpF*׻!ͮP>fpU&uagCzpV#-. U+ǐȅ-.>rVKB]q[Xdb0P/<1ھNr* l֮:4\IcN>͵\v qC`.bϣ{ ~fn1@>BY RADR;". MDŽ|^0>K44Kn~ORzj3ЬZo"t#>CU}Z]F/H1';!ӧ>gʊ8=U*IFrb;96Op܌ NS&ꏲ'[Qh0 V6_%ar:B"пp*!\b]Awh3&vd1;ssi "A.܆Cl?rbR?$VUUKrJ{<G RĜQFy%X&So0WResɗvRʶL{\ϓ- MBZ/H $@ __eϰ­[5%/JU4V>seԈJu&ΆF.4 e>&yLLf f;|@T԰d(gN ){) qEعg_\gǬx.e1!nDc͵|`u 'vD'C(sx|.dȥ8fx?HkOU/C2fR&b1uJ2V, AbLI((镣K. 0>~,{ۮHHA d}̪&=CsԟUu6+xuHղ" #gN& 5 HOL-Nominal-Examples  +#dAVwr~FbtB$P[3Vu!\~SٌR3CF) ?7ifީURKiڶ 4aWا~^:+ o(T Qlȣ-F &(,pдa?z˺Rg[ڈPq Oq)H(Se%yf6 ς <8t[pˋwXm?gՏI2(Q"B0>S'gkd`en}2"R-eLч n&_s،-W  P65gjBG^<;E"6KF%tDBE5(>%0+w =HO ߌeBhrY%]D)< K)̔`!)Zn&PMnA]gfpτ2mG䅳Hm.O)5cwl6]Τ$ʈ+(hq;W%[}%N^ p}F  ;8= |zc1A@_AK}Ye? s.ґS{UrȮ#dJœ+@ʜ]Y_[<(XuN矿D :XʅHߊylԷ0܄W7% ti-_hMa`٪`.zw TYGZ~It(c6+SbQ0֨67BǼv{Ib5ŘB[:} *n]5IpPtk}fؽP^ȕs_:ZǽLv(3R!ӤaIlw 3w}ju:ㇵ 8&mOa{uA\@,Fa pӏ-Ѓ8ߛ~aH=—&ޟLhRpQ< .Sp֭w3PEEal8SMP r[\ Bo1-7Ԉ \J3KT  JK`>]a=pnE-xLu24/ؾc-0GXG|bgb;;XpcDN39m^:ԕnB,P-o4d#4#Z޹8q9:=j QSv嚻ŰŎ@n_RZmx}a. v8 =#J~K?e;2p!<=X8'ڴjG(' .ΤF Lni8euác Jᵋkm Ka6Hl)-{fĖxD[$uC+\L% .FeYg&v Vr$Q{UC{kfjYG͘XL_4ҧRU/DɏaI*"D)ی99w\i(><)yA? n# U2=6$@,v/<q!̶A1 >^.X(a,mn/*K;CB0Y97Y0]IЭuZGa l*NCT|G:Rsd-fs:[<ZˈspP Ǣ V;gd#oR 1#F؇.dIw\ ±L$K`d6 7;3PǩKKt͞d{{A]t>zAxCAqC16::3T &BMX2q;;`q&l<,8LEe^Vh\=2r9n𧡵)p^YI9@܊T'ddB ⽌;g$>4#wI1S!2}F1Ny[pWUĂ GMۛ'0.ʃ#vD͛ċSJEYF۽ J)ah|9[:'=eU LJFf\GՐ 8OPMƘQ~JTk%~SuKkuqeRe 2b MԝNaљA6^fkHnQqElK-)HPm+BwW3Lw cT+^. X$;,Ą gNEyr1OXݱ$md b+EF҇cufo- 4Rf⩪YҠm-㘞%B0?.Y }=Mh R~F 'Љ)z!f9|GknFD2(.$F{̥".R9#%W]d `daez%;sjo)բp j{[5eᎿzm4.5Ǻ6!e!$IѣD$w!] vU'gq8hL|oS){IMCc8wޒmag6r%HR yB,Uhsnck㾤W̱y8-&dsL2Fv,ȼ,vu->שc64].T Gբ(S\I͛o [\[nvgUxe◵3 z:Y瘑N7iU:B\6/08S u.FVd\-*u} (җ-:lYWJ=mf %6WX+u'uK oCbҷRኲTȽprҨ#B׮ws9™{~O⧒Ӻ Rٍ|ǟ;'F)HJP#+cZ-V[א6Q%r.R߲-⧊pB'PawanL#Թ >5L+;vO6^}$_[|V@0su4qV]Q "$l]DѢStޢ_y QNYApFܝ_cmz29l{fsrKR#|fm`:+7 *S{;PEOY+U=s蠒,va=@Y)wr8S*O[NlY@!=ݧUbH3mR ,(e }eJf pU G7Iwm)qf/4I,BLZn.7 T-ȏ[ @ 'm;|.,G|>J8簫XلNyJQt،;T-m|S(1RH~DZjmY\n/Ym sDE G}Xh8i-cwL%pME|.VNZAqwi.K+WG>#ќ1+A,6.chԨ^4<^&tے{dWRpÌ\; FE >DrQMn4͢mу*il0/UrZ!,s۟«Cف:ƬaP`N_c8+1 t3]߀m@/;TWsme?0O ّ۱F8U/:J aHIa R433'.Y^ txlHgBыGޱgYZ7zXZִF! v#]ŗXiɟ1ʹ l93攀Lx3 a#3U_H'|p;g p-8GF>N,b/΅!{GI(KftcI:'^HK](7Ped{Rm0~z5@,)cA.ΖI5IEj||yH[O)Dmr"dbZORqH Ս)5|ud ];:dModP vS #?WT2J6!ХU7^cWԮ.W^+/P~'D D:qņd#lHZwܳd V)'%:>>؊4Gc3e* #/':slB-MP[P`83FlUӪ;y 6"5+.P4Rpx">{Ԋ!B [(ՃVspCl?3s^5tĉ7Xމf̱gYZ7zXZִF! ew]ŗXi%B6sR IsMs=<ԉJσF8671@fsrw U0M3:X{5I'rytVg?G3m[43ԧ؏CW}u7z^g\G1@ŋ%{W>_pTHʌ3q *͑P O Cۚh^PS^Й*b &]1\u,߶獪\ܦp7Zjf}8 T,v eL"yy< ^W @ϙѾ76ɗ7hq87rx`Я(Շn\>P t쟵8jU^ ^Q3oGm%hA XT }t|L۲`|uq3S8ɤXʈh#J0jzvlΗ #x|cW瓇#(B[?X@]輡$6į jGta=w0xngn@-yÉ"0N~ Y ZJ4n 77.B#]%8MϤ #} )-t Ot{6[THzu u/\rŘ+ 2R[|Y4(5X+N ݤ[EZ+?g#[xZ֫ySf- Ӱ+D8`+ epeTUQ97Tpjܡ>(B9tY s[GVPB+'HU9hmob2PG ?nunj) [Ì2|Qg7+g n |c+q&?g0J8tz@ʯv : /y8jg,9e#xO[QMjhcSS!E p]V%Lu$^X^(ͳDaiuBϨGjo0 q8rxZ"3$_E;_Bg_Jlxd P{\Ƀx zQ3ӥXF蹺:S `] Y[;/ 蛉r;כyIKz;ӗ|SU/Ιl1vWN rT2שR;ǕXl~l7Srt4ǽ.ɰ|])uȠJ21v\lK)&BR \G'rE5jtol]61:HAu ޥd PI [ A=R[k_E<'?cX%<7+h} D)r`G>UIC*0JKK:A*=Bga'J*.sch#ˬyf=6 C ޠ#6^=㓹̮g""neXh^WVmWgq}tés||E?QFXͅ#UCdQK.??=]ar@[@oR+~J[5q: G-W:6ALJ^Sط? Y$|պߧ:&F]n&wK#|\Map=4)~J$л1c Rc HjDکP.sT Tr89XH"o ɖ6.z}!tCrbRb`eu9郏sd2\2[D&tрY\c#0_ 8AB;SvI;wiY08ael -۔>Poa2Q1°4_*S$nKro1lʒEP oׇ\WSZk+k^X3ԳlP/{Qa"󆃓JmQMPw@]Wgd4EJw<U(NINJt?h71z?Nqd ^8$uw-4720aߧ=!qgVµ*gIP^fBc+T0Gb^"*df8^C6t{slxKqvS2I AA[" dVO`:#q'iӁGiܡw3oq74Q ޻5+At{G?21$V Z놲F9?GӭDu#yr஬K[e@ |rԯ7e{"I"a kvI,WXz ҁ~5c*~'Cx|G fovG2KAFEbP4#@.5|$d&u2S3+88=$N>!ʓҾ0i,Oy!I-ݍDJq,cUe`o=%_tf["Q>壽)XǺhqP4P$n#ɌhYb;@iary]_t LB-0tGeENV!5< &??ooHXt6TBҢ 1_`Dg)'uɬooB]]w 7)͙r7RK V:#pEb$!ѼWp2"74sߍ]h5As!*[j(NFnr8ԻƇk5qQ(#-S~;K[ewA-ϐ(%]N^0G#Y] $V:pWXؠ|2 HK%$_ȓA6k oof U"\2N 0?S7/z !'ɒ@K0TU2Y+(Չ$N$'KMJpg͒KzAs[3Dwɮ|ɠBxw~s^QL)HB\~QWp LC/v lp=:i+>W@P]껉O"n:$ sd.%2W'g2M2iu{:`K$CGm!}3u|ޱ3XI^Z)to b G)ݛwm4+'?7fDKyuc?_D ix5tw9ӵ=Řg1EyłKG&djU 6rw[ b~K4^fFZF_R|p炲>r;o > =DE)hP!19M0 mu^K!dc.'-H€5LH4KxО2CB [yb~Soy`yQ(;j4 ,*]#zC X+b{s]:%2o4ODg+aGjl~ݧpG'+t顢Lm_Ō6@-)a,X7"BWjC8N80 O*UdQo6bo8!pƈby BɮymH,>w -gQ[eځ3A k:%5%d?8缁E ~xkw1ZYK[y(;aw2^P4ք@߿۫^ئ~kE^V8;M /2zutW/_K"3r亳5yrlIB_J\Ҋ0^gi+<  +V7N/K[_'RjnBgƋ?Ң>be(&ez% Rhr@qnXݜ]ʷ3'HVaN K}[&#EbE`;׸cmXȇp$E> #yr͸/OXVwSG &._qUYxOi0a$g虈'WN(tsRڂMYTːoe*shU 7\<ޞ9yrSԂFOyԔ2ΑGjEK{|9Fq . hˢK~OWʶPI&lt˃DZ$T敦\m) q~NB:Ȣxv#ujVK|GdԒxzK9jalH`4(eBIWN yCy!ٌvLT?H:cU;n]+y9j*rOzC'T+L_֪XLM;='SI|'jf0"Uݳ] +R.,,γkl[[džZ~q7pPo5tIXtMU%~y[\:d Uņ Do hI&ӦdC ٴ_ ZfJd^Rd4C;y^P%vx a ,{6|ݼT<OJQrtr* YTmX%6Ƽסt_KiA;lWiGzVEjK;I)0)f>033lφ b2 uFeSi 6Zg6zW;SFuGIfmHFۘz̏hu<" 1An:8%==)R-u綹jp!MϷVћ85v  cȅsB Z Yceޮ!YӚ"s*#܄Dm]U_96 5PsH##.4LBgA|õ G)ˬ O?dҮa?3:<5€zv :d$s)Q;%,)%)57ɜQt7Jigwjɲ,CwHaOMΙ?+"݈ Ø8ЩG\*C&v,|u/u*ƒ˓)eu<_eHHJqtC\?/ֽ,̳}ԡ`!ܸ(2rOw0);p~H'cLL+]$>Ρp(BuJ(V{Ο{7c8r .LUƧSl%ǾA@| MmŠqUbM5t:Aڈ ,Op8jᗪC+@as`%ɠ gOAS-U ӓJ@x+FUDt`<.s z=@CC֖ƨ@^H#PQ6;|@Qvdd,w1dup>IMa,D8+*Q.)PYPبs m8ԧxB)1U<'l2d\XW9U`K/K;DJ8!qyZ6.Sm/Y^CvR,׀[ o+:H Zs!MUEH2JQΨ㾃(x(`NƎrRu/DfFRUb\r<3y?t%| cеp[\rP&Hzi [7<&٭rOY FK#D]oދ?] *}1ORqyDUCxne<5|UyNQ@=zȷV8"&łz!eGl6^YIS+dS9:^8KFxzR'M|ݤY"Pb2"=皜1 [sq]ϬWEUccZqKG1/"ۚ&Deom>641 ̭ؔ H<uQC`pf.SYd]s7 WmEF5!9jNlH:Qc7uvnO=h"AQ44;)g;q(>>#U« Kݤ$ ,K0ڏD-`\ ]Zl\[)c-`bRg:>zm +[==jvU)3ålu0%ǮGއREtZV"-{=I_D|["{<$FAkqe<2 J;"po(gCˊ('4hg"ՇV,Cפ.E,rXV9uNJmԻtg0/#}*m\ƥ2sut닮[WMk\ qqz_| %jֹs).m-$[ivseDujvڜ$UiDJV3o)iުZ\RM%# v4k709xؓ vQ8{T5QjtO;":oB] FWA(,Ġ]Uuex +mݘ-xCyQ;$cA c^򰿪q"@KIы 󛅨~&\ԑd' VTV^Zy,1N1#AsH7oI:L>TnZL] O.D8vͬ4s,~YZ T4P8[4薃6Bb(5YLv4W8Ǖ&] [V]ot1H1ʣC aNܽ0Z۞R,3p(Ў.Q^=*vdKߋ^C, l ɐ+t4ֻ ZQC-Y w7Q^vw,!i2A}g+*O’cPGq(мCpw#:GAGә9d373 i9EKQ jr% lu{ Y{e<&MMbvY59CeKը2I59N#&%| 4l#se9Yl28ڄ/iV1͸Y+`FV==Ur’ة9Ԣ^ (cZUF<#ϩqNAfAAi9n'qUI[BCT":ndIo%f]"9fOI;&#*OF+9F#% Hf [+Pr `dΝ(Lw vX[~0z(a=%y)婰JCFԪ) Ry6LFn1,?j>kȸb|'r"Mi\NltGf/־1 Ƌ;u q;#N?y!_c؊'(}}z E_\o_rdk\n5.Cd[d ^ƙ5zSgyG裐j٩]B M5Ӗ?~!kʓ 0Fxq347𺩰%cq!2X )m)wc<.~$n&6Xm?ɥ:37\ IOk0N-O0& Ǎb8R|^XZn_U%$=ro^qK4&XҢC3PbljF \/Ԅ֧f 6y717@4L-n?fRj|qb^%&u{EaGmd*wA=R1V8 5cFC {Kk5 ]!9%9ɶ[ELL BΆ' N^Uj#r>]hr:.ND(kpC,&dF$X¤([b9⸍NEܺ+Nkůg@zY.sSDYht zd] )>-P96TNFGb8[y?΀}ob!Qo1Ȩ"Qc0h9£_ҞZ[5ͩk xĴ [>OgWHf#r,+2 J]Š_٫ò$N2q}{0wjBPlFB.vf9Xat=`<@6'¯ƚGr* '+0H;Ѽ$.z)[Z۴`n#VvTb5~/ZX>uێ\@ƙ?7/QO>JK7Wtejx:BfvhRP0mͽk-Di{M1W8/SS_= :=a?4ѐcIb>.XY^S]ڥU B>SLGC ';a%c5 1FDMEnN!r82 Ijy'j6yV`TM 'OQ &Qt+^亻+XhBY?KsmtY|R4,B. ,='o`n LVуߖf0_{=Lɐh$Q:a:LQ_+D w`) pYGPoKu uM@)wosgG( KV3Mo('D6(`Y@2xΩiم:>r4s+ Vpqa }*Vv[@Ov{! +rߎ`D;;_,&$rfCF0j+zHl^iBT#Ä'Z0Ԣ}8BݶocT'WiE q=F 0eV[v5m7ftqhIoz-8kYOE,M,`d/=c4jC-T)>$CVNmDӋLv7쇜c5~-T9g0"W8$.sjT(Q~ɰbN[C&[ywZQ]M;}?h@W?拉cXPqt`H$,;&_NGnT#鈚הEl[sfζg۳k4vEH`q,Q|YWh:#/!Dq;QLq{{[Vy3N_p۠MW-5 ͹C$?ր/DDQ kI$axMPxKi#*^ )$G0`ՏU@ ≜^6j9cA,fk9!=&9K3,Y #Di~~O2jىe*$:2F[| ,~ VZncDIu#RM9{Ɣk!"u70i8ۋ, ebe z: ~}'b/ČNuFٓʵ]6J[>orxꓻ/ă\Kgsq:BqCn䉃cDo}e.~߲p]K3yS׳ǧ]~Te:{$Ey,5|wm`Q Kn5vR(Ӑ;@ >@#ǔ#v-I3.?R2}*|)L C1 w{+}%Q5"oy蹷78s-bU^ ݞ9,e5jK<#+łweeXgDq=s]ۺofqu#YbX"so#Vw30"w/8`?o[ m.*X >:սZwtL E I^Xԋ d"L3NM[VYû0).JF'?VUAjVo&F..tԂyDXê?.a}9ĺm4 hhWN*(%=&++|(L wîyC|!g2?TgB:x[Y&!+gf PdG&Cky]zuK_T|GɍNJ3PKU)Ϣ$273Ғ3? ٷofājp_?m[!~b 8@7:=j~U#!4DrӲ Pwg=/KZFhE=RnȿaܡHvoF`73oa0TCY'6%lkt9 E ?QCDi[J @]Gr m5>t/FI#z&(.Ŵ N˵Y?mjRNkڊT! mmΔ i\yH9O X;8Lrٖh$jeg7U&왢Ս }ϏZѿ4'&\NWPaovBR?hx!Ns$* ,c<TR6Xpuk`V(>8<,X:8B fE:@МN򀪾0/ٲrZ|yNTU*#O"Lömk'Ί9*<:~]:Y(u4[#EC=ﲵZhէeN#JLkw^L9 D7{kʏ:+6TZ+0voH *#e7C AAd!tY/mOy-ĩCp@6X yl۱|)^폆 4QA5l DJZ3~a.M:|!N}lPҁrk9f:8^]YJʻ|K;;1H å ;t+"rMqgוi-8zlmȻG ={m@F z'Z)^$֩a?}9z=67V6U-LcXAک |n^[^*sud8Lmw1ϸm(7UGBF>xGخjx b<=HU7.9śHdK\{!ڜM͋W9z(RܧÉNWэHK*W6W{?<:Fr{VY}.L\j!jd?Ss?倾qV4-j*lؑ/.T3̅Go5z\O ӰZsǂ/Lc[w؍Pi0bs,f3=&\(ft8"e3gus?ZoUs!;f!~}N>uVB_v؊YJ 7N _zYPkʳ0E1@$mVnk 4vKXɹalڇ~%30rU;% I״KaP.#u:e7hNgnE ӇT{]΀j햐)|?4NJ)S/wɀ}cT$K qU7B ~y˹W9kЃ-"ª-$*Jx[Weq@8-  O@ذtti=}BfVݻ ;=rI[@.)ӧIZBݯ ] ݴW!f0aX{S`Vܗf(uh\:E8M1eV(S^A*Pd?je2ݥ5g/8?8L3W4d`CF"5wd*W1AXāt߅S̖! 7ɞ V CA0Z#VUݪ %OJ՜ a~|l},[E8<}wc`T$:fÒe:u>cZ0i icAC-l&̩q>1 9hsZU!k;J$G_ЖJ3"gbV3.ek PĪm|52鑣1$/V_lT=3"Mmq (#|vO_`n陽{򓼀@i׆aPĽ1yjDl'q—NmY;?*p-WͦRaz?Zo myF! &=#2ː>ݔ~NR(U A \ ZU A1`s4 AET4yh6}dtY|,e.MuˏTtG5={0=6E<]wO(궵AȿK@U`3egۢӊE<]a_ӅA^@dBx]3]۴zA,gE˰Z\+"e_ZFexfv-+yYIЎfBi2˲+b1:*.Un=At d[^ L(A%(׏w^slu&]e8'ibݍYt1;DdI&E:*Pk)nN3- 2)E20ϑWp җ,,U/75;۾~磻{9^0Cg{43Sx"\fx_ll!޻?o|p 8T1ԗyL1Ƣc9XcV@ɣƍQ~;( {fe8{k cB{eg ~tQ IefY:6#vxEP?{W(oFbUv:5#f| NCVaEH~oĎnZ15=w"voXwӁd,L?u.ECD--6Gnun7%YZ !<];ıiLMlM1ɚ]:93949Pup |᫓0xYzXʱ  Y}c{@D,*0g篸gKP ި6M{hg :p-T%=yxܨJMFYK}@%_ڽ ^J{j6;Q ThS_Y!LPuG k^]b;"mU8Ik92@YDԚi#[?͙knr=Zq&~:?vfb]EzL`q13搣 tw_֪9vűO_`~u7?H`Ij2stC}%NX -Ne/VU[1-s5)_}?olc"blML)Xa ܮVN23*KR?.#S^Bԥq%-go-m1gU_L-3~!s^e/F."{X ˔sf !q] < 0@\ ^"1T[}yGQhM2TbW<9_ݎη׸wp5U'Դ^й핓 w8 ̔ڤ!Pb,KmIx xw-,n<:yiޮlmOSo*$@H0 m:'Bl&eV(ZDZ7EO6{-le#*8_vZoav0ߴv5'b0rj TU8J`ljl4s2v:cNB#~ b)mŲLi]Bl%a7nMU-%nc3/'N3߂ b%euX⬙Doj/~:4[h7*8$ұu./T!mHc[} i4 5CcsB@[&2x Ic Ƕĸ}aOzO>dx?n[A opF~o ްkymZL(яiBRMkG cA2osQZ$u4:-3<BNJfR͠E%](WßMRJ[l M!eGN TǏG/9̝ " BoM,fC_p&I/tuS|V/;Oꞩ=R&A:Dgpᰈu$%Co<} i(֘_'w(@}7GmmQyJ0[n S#:G>+ xUTEڲdf|{r*^/R"ƃ܋\$َBMǯ@ʏh졼g +PZPVZ|=S!z͋"DgP;E|TŻ eҽSR`,!FWӧKw˶,{n%̀bvl*2iuZe#]  uͽ rF'E2{'(Z~"4zuR.ǭ=̮2/\? f5`8'x_MfCXJʅ~}TFVyBb"Tp:{!࠰~Fۯd۸[`mGmKOGv "۾npj> j1&~Uwx橔"6~\Y_Wgr40XӐ{t8<链v|QؒY/r84@_*|13;4 kdo̼R\bWq3hbpǽOSde/=vg{|_$]78"8t# 8g 010ԫyog&U40`^c@]۟FTҏz;f a]yl;ˢUQr;ShueI򡹖~}4`p$d2"Gݼ0[u/;liڧ_cJǃiE18NSjt ', >v`=C#E۝I<>&}.%)?Kof:({Rxr>ٌKHS^Xݑ>܍D?$$dm~ vxkrdA"ժb3y6BR#2#|bvYDc-gm  =ϳYQ U \t: ֬Mb˻+o>S$daHˆDp߽Vʈr{ I)8c[H`8nP!WtdMՊVVQח66z3T湻gFmz89㻊v è-'(2>}ԭ;]οc).!k9G&c–u .ZqWnȀjS;w^i^)-dhQYi) )jfRRp=pFT1Il\4E1~W_Twɫ08FV*;#auԧ> 9嗿tԱ& J+ m  D3Y.`ET$Y~W+KOm\ C*Jʜyt a.Fo"Mw\dòH-#t-=SK; bZ`>w]HVHfUQcuyL*+/V8(I7/)rKr'$D 宊+w赆a37@B0Ɓ- /vi#&P} ) 9ƨҮK-E;5E9s/`vhp+`w-+v̨ S# 6d-`aa$krɈH6-yu< 3Pl1$>D%Tj̆,7CSI1*v0E|O3PnjMAO9^$ky$+V5jF wjm7R!)(#u܃Q%CF;r: DLGct m6&60p?DF:C;LZ]##lfbo[Ag] H)P(xB,? o׵@\u/2hl]3-m'Q|a(%SJ%2:oj)UFpSGfUL쎐e ȱƚe ި.=s[j_ʛ`E,7- DIBg- E7䀄8qD|`(k]S:L2MNL" tjy8~K;^mgp{ K֨>O.թ̞_)*)H[ߦ@MtNսW:Ϳױp*nHȻF?:ۿ;66z{$k %[ķRgsT߅-&:Wvצv.c +??'ҏ/|#3*:URȸDgtSD BX!t:v,'APKk_+e{Cͥ'L\ǥr!F{t|Z$w1*Y1b) '/b8Rg k5>jw &p=mQi 'PX'ȿ)#H+'$ѿ}B1&V\yuT7@{LĪdôLyn ^t7*3npOV"4#*I86N>.[&4&w"[pҲlztUgG׷yۤa.Tw``*b1?TSP+{ɰ˽G ٘^1PiPo[[,)=m 3_[#KOȣ(EE'1/[L +?:Μ"-vĆr^"TFe҈d7iڦX?et{~4W}&bV=H]_C1)[-~HK<t[,q>n˰8J"I쮝Q9jqĒAB& YwP p! pJg)IXc";͍$'%ѻWHb cX]20a!ힾ'w;b%}% BB% `:Ɖ"oj5&XRaD*C$:w~Fί/~#hWZ#_C/!Գ"G\ؔƩf~Kbs-Ae +HrD{=w3oAc#0Z}P&/BɚgJp('W1SiTE%Ž,הX4t!ăȾl dslZjf RҵǤUUdj j݇#,ս_,Iܐ)9C~%ypJm3op -u %ت,n)rtlal!RfhB0NLD,E@c`0R=?> !Bey>MS(kպ$)ې _!GFr= у>60Mڣ k&'z {ϳ,b_o#+(ZKBGZ)EV>E`>iTOy_$#&LP6^V=%'s I0|IɗUY% ߣ7k]Y6'R<0 !i"/Wzs}I̙:P(fa+!NZqLdVC8_7\QhO[ި1AHm7:tEEEp7_"}ƫbMpeyp8 @/Q⤑N~tе2_vHƸ bvվv@߯nJ*o mz-&JnqUŭ uƑYo"glux}.] ΟE1)?8Oxߖ?:a ^nrE_Yp)zKG; A@Ė:"ҡX(H}Ȃ鿳_ N^v`5> NDupn8R?*eKSPZ:[sJ,GP\GAgS=qC*]J߯i궭պ3R}sfAXP> d{cî[f˪h2Բ~']PVQn-EvۏzD wQJEVOo"g]OV[+4b~TuC]a*0k2Qm ;`4tq];ͯiڛ ˻7`!*Zfǃ+~<޼Blse!PP03o7ss*FMskh\`C\T&M0hkJDE7z$UӔf\戦^@54lnbX H8pFA^"5?oP fO$Kh@TIb#!lkh\;]kV\WB4VHɹ sSJ>[/9I*]gYZb5b7adb12dee75ba7c8aa3f0f28c285346895474ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 e40e94661f2a14641442f74982c2d75e28ec160e