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 *5L$ ]S HOL-Nominal-Examples:threads=4elapsed=365.603cpu=1309.500gc=84.376factor=3.587zXZִF! J ]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$AϐU @iKzY 2'?Զvir{أ(YMJv!,TIJ数|b .H0墧.q#]r?`Duw`znpܹĦ & 7ԊA#ݹ>]^pNK7T?gUmn/fڑף;K25zY_9E$+s%eŴQ@ :s@>#w|q"# Hy7 k(C୤:鰻kp1_Y=X3í&o^LpRe8-Z3x$8^hɰOI\*HFlaFhA^&Dkk;yr~HM_P8}p;O<@U譁x36YTDYMRv4WTW,CZ@}qfnv~>utn@Ns(Ǩr,98fmd`q}݇dW>h䕵6R nJ%B#@svHoʓ)ҔCxMZ:a4h,CHU^wX[s[ӌ?WBgݛW"A#~%*"aN:˺&;Xal4u97<!M$9S]e¹Ջ}qdf]S`e:hH~ !7'|a! g̫݌(3?{Y5}xB{۫lBkID3N6p3.>^]D2gVG 9/G𴧖+k2崙xyϣyrRv^*|.&RI@!ds4FՀ쬣G#v.ʒ\.Ҕ2bTO1DŽLDTpVv(50שѸxxSiL3~*V&=;  7!'ۄb5Y qPZ4ueFrN##F0)qLDV pf%vd(sc8w?_m.4Uvo״V4!IgKl==a3X;58UdS;>(:l}mDqUkl˂ ŝ+rѸ N33t|iԒyo] 2pVtA|8jO)2 \!hDoα?'K{VӬ$^;Xsq6M`|L0HpzH`rm9L 5 HOL-Nominal-Examples  &8clnA_JZWMȾ07T4p@'SH?{&!I91Bkx1}DmVaгWIrY-DTubI|byI^Yk㹬ǹ1uVքR+9&j!D<䧡ؙ-~ͣp1N^RUYh @GY !uJ oXB3 ΀~KY.ʜ:lyzu5(ϷrՈd_f:r !ػKж[$,s3;9Sw5q.7gAl *IfR{V ?#jQ-I^IIHIGW-oqrQi·1:lkٕVen5T :4w</NN@:)SbH s_H&ge➟@ʜjt) \}v}:8alyxNnt!M3\}$7xV;W]<ƹCUw]^OUB)RmKnq޵צ*qDCkc**lwRkl`׈t:-Qn/g-fA1z赘Au\z1(&DcIA^LSa|)qo )x!wX"]̳*TCyUJnbn17vuj;WȆY14slȘt!B.Mq :$ kH?YqbĜm-8إ$#BuСXd'$E5~BU{ڬҭ錇B[Xd:.`Cl6_VwZrusmQ|:*a.u\o Sl`Ã|3(H"{.17]=YݬHhlg;'n{j+ Dca< XRV3|a!; ExMóqSNDN獌Oh 6AL~EazOf\}DgծށlLϛ7Fi$$*u\`,pNfhY>-B YGeڳ2S%JXC+)7S%%%pim8tx̧Ez/bz }y`*xTP{ǶBmpBʍ 3r8jd \80֕0*\b-P(+7$ix? ZuS?ƥZ5oxROw u?Y V1 ό![\QJR~ |EתdV*uh6T!c?$:/.qRGtEViM+,L/.(.*ɾ GdL3 Cɧ(S2`|&fA=wyjBRhOqH0{o(u5uj G!b%& b,KNӟRqnmk&a q =_d|Dy6&92|hXg@h#N&xġp |6& *1̋rg`LdpW}f6QƋڜHpJ)h҅Z9Q 0nb ݟ>B7׋ Ct֗Th(ZC̭ u;VݩjdXdȻ!(D~Bb !Hf;2C\?n,6̽u&|9_+-bcKdxW4-wW6sڋ3{ 2P9ʪD u_(?[ӅY{]xԯ&f 20bnVޕXr"wVى$P|&A:24[# (WN*%Kc9P+žz?}P0afgDI|:,b5X+dӵȠuxv\:En_b]>#*rI< me8sc1͙W9#Tw')>/|\dGlΒ*-cx.PZUd$!,k.gzӂPHS]+t") 0m\xf|oڢn 6&~GivhFOi#n1vNm96“T>Tlr>ˈԀ_2%zjgv=챚HZ00lg3rDRWX%ffpOQ1@^*0E2x1č|FT%Mv zxO,;EgUqXzEjtYIT*H|[y8|iidT܅2ED̥<[T?-zEt<=͍!~~ {JTRRiYf`Op+Wop LvFx`RsQ"شܐ_әuဣa7~~%%YZb:YldiӶzw ? =U gVɗY =nX)|{ `gPl7 |9KtLCmZ7;خ&=ȋlRm@t!S ~=؝ؓ[ dD@hU4[dh4TeU[ҲzP;.1<< +2 )z(}AVPWo/N̒ږe)GYʛ5B`z yҍE?gR%`?q/lP;4x,ׄ끾Q$~QI˓mxwtaxL\G!Q j,ev x$Du1?pE:m|{>V%Vx%qC 6dFeDtCٹ,Jlʋ6zڛ]Ī' XqGphA+.p!7ʌ|HWkx߬wI$C\Qq@bCZ 4jxٸ%pAb`R}fW/'ՃؠYdSe)\ZF,CC&3p >~yq9&] ZU`3 `2BDqNæ^OWΎvVI^8j0e W3%U4$6aV>"`>7}B/P@Eީk>Uu*T/Z p%rϧ?:d <˝ Um%nZw " yYrXoRFOu:J(ӻm7% S%b:yh?k] MZK±xFiܙ@?9+훍^GPm:Q[zr 0,V枌6+v 6^dcINvLop )Rt~ pbk'&Yc92,+W֧bJs-')\}NSC27rY+Qr-\mdFR/s:D3ȫt!9+;Hm'5m .o\X700zu*o?09Bط]N/$8ݮ>Ա~Uc3>|Q4th~/u:tKTJS  as܏rmq0cw:9}J# 5c:iO@eBu!rl)1&/mMPBw㾽Zc _,L1PÃ;ⲇA˯$hXrق:$@X-:ۭMA;g 7 2AV&T?0T?R>'qy1 ?4,p鄪ոQF|-#,8'Q4 /[#nJS)Cȍ t+;xjKυbo1'̾ޘ~J)L% v@XLV9^|j1>OӦ3 5gcʺ`MmKs'`ka)[+OFv\g'~{ ,+WEdܷkBk[F8z)`(" g8E[6M[k bM9#H3a] GODk~zMMP (8EoݳVg;y~/')A9jdL@ u1&<]|=O^c#{B 2e2{v'OUT_}CV(EWJO\ 'l*Z]RΫ<ծ'X.D_vC.cq^8>y:nS6 *-est.x"v'nt0ҨJdnt }jyÚ 9تyEl`UIW,rWvx|Q)&_#kT KGk <% /UQyJ2!& fkݝs KQ8}Mܲ ~VG#(0Hz"uB,KT7L (oh1K`]!Ndݼ6`LvyAN0#$s';1R Y͝lI ÿd{ƌ=b^) @oޕ0/5IA)cKbmǟ\v䞐o @^KXXϸ &^˸˵GFQ@EbT+.nGr1/nnۇ`#^QZ)OWLr,SR@SgYZ7zXZִF! v ]ŗXiɟ1ʹ l93攀Lx3 a$1@|Bﱍ6^}sңL,0j"^2U7# bƖ|%&t+x[~|z +)ƏkY }*)p|f$!ь}Э [Tԉ+GwE-XZ!Q/>r{ޥ%Ka0\V v T/ ~xO ehZAZz\l:G]x'rkL itx@Os&a!| hAJ]AlP=(WT|gx89~}~OD2;߾ ^e)*EΞ3-VXՎ-un{Ѯ"&_Qu$\X:\pUeOAhìZ9IT1|S w}4eb3Ȩ9nUfnn1\hc#^p= 1k1/xֈk3$JgYZ7zXZִF! 罛c ]ŗXi%B:b#!3u"9}N nv(KB\S8Kjg"n$pa20ɕC8}8 `͌tťH/[ݭ|+]Szx3RѸQZm{uM ˭MB4oWNZEWH3xrb&!)$0>8^enn(Pq\;{AjZ_>8ؽi1$9-w)h,1j9F&D;(6͠j7^|A${#И 8`3+2sKN6hMƉ wrgR(j}B E%uEPw=^z_6&`)hzҋ: h_fyJ C@Rp)nڭJd7ެ Wo"iP2FĬCK %EVa0ׂo9(|(O<' z9D\aisB.C!861uӜ[^z^"LOX`%z  .i^zO$$ ɴMr wS)x5I;5Tzf'^.o3Cy*<_0+~.` |co<3 G2YvNiNL\=qT EiDF3lnЮ0/VEG3-LjJ)Oc?o Wqr. Ȇaэ}E_>"cl" i/#7[1?0%Yf3 釨5:zi 7I`BLpR<Xy_K`678-efGPw,۠ Y]I R|[NwHLEe}feU%i\6|x A^R 75є EYZƚIL>BBp^y;nF,p+]J-`aP7c3lPqG*fgǎ[RrP/2Xҿр\ ǩ"ۻj8 Y*֬,Afj|رlfWcpi'.FO,M5`Ia2TT6W`o"El4jNDY t{% τqt,`Lr %:VDz$)/fxKf{c61yBs.y@( bz|?0o";ÛVґ.X_9Vs;& 4/@GL^B %?\$n/>Fy55Cn+#;~k$ [Gf/?W9C_<x0&dhvR(YICt͟.8se!4꣍a e ʶɯ)܇^RHDak'+sh8 nY7TCINm{g̾y+vjࢴH?4 іcgaT̞_S3}E.EM1'ה78gɏm8HMose_`pyes}- ʁ;@;D@7UWVNe6bzJ_]I=f%<`wcFZRn#$U+IՁ2!,|"pBNOHJyߏ+;rL(/ѝ-)=d$h/̢BˊzBӊ`8RX{י/|"(zQC+z3:n $hL\?b$%wItWBP?\KÖDa͛:L.o~Or+T8n=BUq]ٓ!ߏ~?hՇY7 (|_u.E5F635ӎT^Y$ITogW.uHaĔ+xSƸ vt3RfZUP06ӻ&w[-lic-iHT ֖R:Ŧ4,2n s,٨TiD$is"  pY)PJNj+uWQD8>.bNѫ*(hUё7NRy/8qC`RIo 0ʍ[kd$GYׂnǹ+#GW=g~*: YY%DEJF۪S@"4tJmzȔ VUș dy/:j)hp>]񷸝MG+`f-y+GNޒa+RʒԆ.2VL\6ӝ<%غfm_ō-c?@[Sw)G[ýihgl`Ӏ5)4bݺ*KKPmIklf:!.THWi&ɲ`b]<$0Ko]0$Vt5=Sr? iN9 Y@h"uV*&hU=`z (b @V ";@gDJܙ^\RM4f<["cu W٧'Yx"LMwgah"F6zU q$|5tTL3c{1,~LJ#.$7v|=z\*nHlXӉ8h+1CHV"q ؄=rʕm b6Ly[pDM@v(HfLi;duoAe9 x'<SԛA|) x"z)\># bC=5ZUuw}sb޵Nq\ Y*~CnF6̓D$q~S谵4ň~|ÈV_6qFy'Fġy O'Zh;J?&|wϮ]dDRdd~bAnFsˋl0utD DpӔg[‹.Mn "\d&Ii#n1Nam^*vs:J(IS;T' ݪaҋuUF`[58iC(2.mYP0%UaB֏ϭ9+6H=RB+sяn1 {~tA|Zϼ&j ,bAfr~{]!;G$Uo ~^ u2zӐp~7;v\?q~g2+rQW8{Џ;WtkG]Wq $,Xn]=~]Im ( `s5]Q. LgD6l"GSrNy;(k<',,f%^01=٢^=_cO)('>Gu%uRDx W~kE:2)s*Mli1g*7,qOS{DIYut(~$_NÏc:MٞU%#l3?"t͇ |>?K94FĶBz٫=_ZQn;V'ߕ?w3e˫Is0rPa!m7Y0`&ED)L4e 2!d*`憩|ZlW/0uJ> E)-u â(;N jr}@HdؗCa>jߚCzjD_!Q6݄XT<Utf]2]cʛW P#S v~4Tj8vzOfngJRV4a&(Op VcP0fP.K"¢(Pص/cbu4dJ)`%أNPAJ EowQN<<ۀҰpfnU <9Pft׻a~+'GAՏР9`]EEѰc;]AL|GWgi+lu/7jTdoaH<لC>E[X$C?>F ݂ϥ1c؏ދ-&oz}P#Y+FꔃC ٯ"f8/O@e.-B-&!vIP(lW_bUϰD$ 8?agmwUMYE\*!WBF& XO1o#a$ΥY AT n2K2%jsf:sM*/ُm Xӏ4LFI!pxQ ,/ԇqSsC nI5Ruġŧ唔uڈE)D<~+A zX> `L9BR`e.9vX݇{-$,M]o;@RvxS7Zp,Zy1y EދaPd% n-\IZ셚(4]] {4^1}s!]L뿋aZ+հS3C4]"LC=S`+:*qT Z0Ijޙ0` tU0?I,-"X0 .%Txpk䙣dj?0l):%CLUą y3*S$\T/xbI\< ~ 8ƟR8^Hŭi `'tdDBYyГDPp3c^`; QMp]4YܳLAЙ60~FW5ܠ2v`葖VK2&?j쓰(HwmWÏR.)p.b*% |6P*u1fHҗ-;2gYj"a|E'Gy.VubYVI zWa/] |"Ş`06q,:qsvL_FujbGbAp1ٛ 2aob4"O͚Yf>F 2CV^{Jϓ!01vBzu2 /|j֞Մ$[r&ͮ! '%J1?-z;7.J (LyAe7G]/X;$׻pgdEibfOU(!K2ucqdGO0hU]0hIƮ-Fֹ7)D*ˤR<>xtD'Ji&9p?5u){Kb@Zp|opRU+rf]&Z) B֪# +;J QWt;eh|tI浬q!;;}B8Pd尫%bQR?בrHgO)e'~h}yhLZqC-v4A0#k='SuQ;°1/=^Qi 6(.LI56﫻iƠ r "iAPTӠ|m(4pʲgk SS&e83f#F :V:]"9EܱoO(8|KgO 1 3O@s d 9b2a=B|'^]UxYB 1X1aZJ3)3DbmH—w1*kY\ ^&ICѯnp6msoZ޵aTZ}'.ѹ|wBg4 k{>Svcp(pVovϰZQ7 &7^ckfpacBI.VMds7{m7b^.Ǟk|]l Kh[L̥n1Cm 6G42琩׮$y72o_˧/&nXJ밫",sC[;tciGj_D"+1o'O~e<зOQğ&1YHS1RzL~m5M]7˅XkΓ{ ^e.:oI bl2͌y*dJgdLՖy:yCHQnt]2 Eu*Uo9sEwېD{-م=U, 4 TӈP(hNt''U:5)!gB~%"uq YwZ5UTs]DY ZpɦH@;AxJtZS6q{vaokK/"U]jE!js 21`rEKDvt=S~YWykr_؇bB5fq'Nu Rd$t_ZrDuE6$GAKQ 25";=&DqrȹC@ /e/u$;8:BAԤ!`'Mq:sYH}s:uzMn,FŰf0^gg-򢰏nur*Npqdީ6Α:SnVWS8سiSuA(zmf"Wa9Iwx gH9;?. C@dYFSW>W3 3Aa|4^6(!ِuݿ?'۽=BsS*jeźb  rI3=;ׇյ`}"9))7L-wGZ4dWnhjt;^d__ q_\)Eg>[G94J"*B萼ABc֭;ANٛL_F11ϕ~,OؠagXܖ@ ;I`֦ ć1 ~+Ivbơ-XC΢b\bjm 'I_2_@O\ 3WSJG}S&zW3Y3ۄ5m)c{^hdf'k=3ύA-|`4~{#tqFU Χa2`#!cIr hhNEWI'S!-&ki'Qyo NTu18j B d4-._C%g+S#cJ*˧f68B;T@*fܘ#r=f m&3\/5\,O_\oU(cKeLe~IO(V2  5Yc:H:e|WbI$_F^:1yJ)׋ž t9O  H6z~Ԧv^9i."œ Q)R]|u 83#DsK {cB%Yn@u&Hnm>|;߲WXKfmY SZ$ J4(OUpq!lOG Wb[Q>В˔8`!, b1 Xh?״ ;1؉%"'ϱ΅9e5FQ-R#,eZ{ezo 84Dn08Z\(mSmCovK3! }K}{k) R9dTBk%_M=6cH2HUI@#Q6mA,KMc? QD† ST ;~(LlrPuA|Xkr41Ǥ Lͩg"lkH̹VBDNÿ2x.)j/# y3Ыph5np4M2{ʿ >8ml}kM#W sVBQG o?%r~;t.O( b%=4RVfVaJZؿxD³UBHt,SbRB*~q`[ imA:LC5Ri[*qs7-o,/*v '_-83Gm1],/:3qĆHxRu@O_a}9f!&s&_4=5>G~zT '=R2;EU-UD{aV ޕ^0i6:A\[`|8KIuWh3XUA^m0rnwG/a>GE48}wXΓI'j}P%hWvM2#0d&!`!l2ddisVsUS)̖gsu Cbig+'0Fzvr+诔|gGq S Vu4Čm-!ʳ1,N.(86]b_.VVs;:>+9Yw[1^j:]ޅ# .cXIRKkd RÐm6nFRTkZţo[I퍸Ʈ67uky\$`d+DGw9Up91_BH_bQsaQ5ț 7G@"5fQR'l?U"oY#!j¾"(O"5VѰ$txԼN-pS~:.eg'U9g?uCb6v7 (}jL]'m mS-e ǥ`Lֹ9PA6 *40EɕkWY[GlABywӑ5VuY4?Sn ,51S䂇T piQT2BxZ 9Χ9B]SlENB0؅+^N*+?^>._.F#\:z4K1Ց;?Y87Dcdz:f 6NV$keP]-z ;g~ de$K\&O([k\ ۉ9x0ɥd]q"7OiwU/8)Q{9*4A+a}͖f*3u˰?/J|Es#׿I@pc^GTNMUDp):`%),%֖_`mzc| >>4pGۉcI 9uQXs]ԧKL_X D>Ogi^N[#,f]!aR/4 yc)\萶C1.62*̧G8c '84]@WWS ,IP2̼r1XOP 3@3QTг(x%h_|F c~6'D-F P!$-8XeDR(|WJiiV t5N`z 4p/*򵽇Aej`lwg%O` ɹo#Ǐ M )ᜢIAo.1gVR/f`ɡ>P1!F zA5i\Y:< ~w-:OJ*K59w3ٮvYaƳ8Ү?ukzCf۞ײ3ҧS٠'W]0Hd鸉/Po,/4zszI/sm.Uʌ;o%"FPR\yIe&YR9 ~iH\d=ȏ[:BE<(_U/YzSmA@boRIL2 :1bOx],Ҥ@! y?KVx̋t:61 0鈚 X7iYygoJA4dԂ["ANE+ƚ2]+X7w.^,ĎzQh7Dfek- +X[5~ueU![4vr ^ٔl ,+Dj~}^GY0Ic=k^WM.dwKIzL .4o[\O-v7 n>`2j|9+ .Z:옹u-Bw)11yt>^zdUA~ yv|+"ߕtGk:˃ڄ6bx f)ө\I opJkAY9g-_m%I3ZDpI5ddzݮ#{DB 疜#D|kc$68R0> 鬙JV5kqA:> 5~pi9FiO`;kK{p9.(?z׽#S>Bzg1Ng_Gq I:c ;R+F~Bپtr4&Y+h\;j4,WzoI^ HiQ27^C(jWuU'),GV=#M¨#! gyzmHXߐo Dn#]L7@nZ^PH}nKhxiTFY3kFx}|;h#\ `Ya"XEn/[rHdTVBnŖں f"r.gދ +ݳfq4[W MxLnyʠ'2}(8}K-D, ߅55$.#9ru½%ڱ =A= 8RFh5s@T!qo|lKJL L}8 k&P= ŃxY-6 f}K@=Ė ,x.[f'OjR8Q?fY0ͳ N0)?NeE&4LH%''<Ӹ Wūx*196vӂJR[ 9^F9QRI4Y^"#f,X3b^p5 Q6\hzHr%('[N ٺ$G:\}M:97I(n EneE(`ug 0w/ şNޞ[-p5%mux?V To_J.%Up@R'yeʥo_#{mס\EA뻰t } KXcݵ;M^"IΜ2 Le27]3e-GV;`Eit3HˈgFh6[@Ϟ/nHQx1oP\wsFK~*~NCȃ++>,:D. b%'4tilc[10Z7|_l x< GgL.P>62$j}W%(wl\3[X:쐛fGWUcH֥u9وu;Quc 1 KEI݆A _ϔ9K6 X+|RGlDD|7.[=B/uhC"m{w+V»ow,Y!lot&YI ¯Iʕ)g0}joWnWV/  vF΋9Lb7QyS)ܒj Hx{,K߻8H:f(2l5Ҝ3_)Sɴ6u4PӸU.MyDyo3e(H#9lȃ]٫!覤G+T5f5=Š{Ox JQh1z ]RP.j C6yv,uI趎'65t_1FL6K!<}%B,f}aQbۋ&t S1d$Ș7.oJEMLJjݴp%\UdŅH"7_A\zP坉9V(¾x8 ԆRjց,ߡ @cl7zǬἉs Բ속p ;Ye $R"{`BtEXħLbcOIB }X&}‡L|?i$Is㵯[$؅^ d'q1e6gATݗT5_%b C1x{H0DIer`Sz7mJ=F2YVtlaZ C72?틉*&ztal# Ϛy D0~'{AC&z]xvd?d=~$7xFd,-"|,nN,W92[X.ӕ_kSzxB. X@oceY2i?AԞg7eW^! ^gM>͝>,+&`ƃ_^iWtq"y_V#[꒗P~}j-ܦ=E*ȰqR\MU*nuaE޳?yLn&gsnR8ŵq=ch0c:F}XN_(T*[zߨ[ ĴAHgZ2|PQN-9 iz  y>9AKf;V.ٵv*C(b#: `E!JꖫkDaiC2CnPwU,kKJtؤ.B.%Fu85eʯ]/ d|jSp2 *Z|(?~Bu SKiԞ'zQ?bt+5 @wFYE ?-K^vӞJ ² p;'pB(,)<bQci֮[S<ؼfQqJl'ZE] ST>qʘu.Pz=rB̉0oy.$r1+'ΔdLbcS쫱)rhJB/#HOY\@ iڙ+u$Կٴx 5}&65BXOac{u{mqXR}Qiu3x|4Cw IcU3JVs~tC旲es&`eݱ0g&PC>BMW_ht|sAUmm7yZo(^3}%LuhsY~kBȤ€;fIm8:_VRDjDA[?Dƍ}a@{@R'>c(3}rt@,evNVI{P r9Sm} Mx,VUx8opOhRx5" #+hz+o[S}߸-۹R"-jPw \N-vq]=AMMF҄:_t3<~] `Z&{* ?+ų[?9RZL[OlLۖwD̽I!*PÄLYzDf!XJJ팇ZA{*ȭlͤ]S ;3d%/6,i5 jewI6" }Ķ4qώTPޗOر ˁ2NaW+4]mCHLg np^G;+u2Lp߮@j;iIE} 6SAq5gJ &S.f~i,WfG FcۣCcUkѣl(HSTp]ܮK>l2K I$!hAHإu4i` )$P`Ip6H򁃄t.F^;w>D@Џ6yg"B~ר Lp#MHbW7 m/ 'yNZXAXlݐ/ϐ#<\ւTzFA{Rfvq$ڛe1=}wk-6|*4K%%lD8^g@JsDlG)߸dwXzTwz$CpYlʪ4Q$7Ud4E Ī/RcUÍo;o8F_Q?,u^r|?d^LEHKsdLgV5 de~t'̡y2maqZJxX}È-/M<^&5,2 -q>og$ =nfս5'BᲴ_;V4"Pt KN{=NvںCu<'wW:ha&ظ/CagtfZ9)ʆ5#ry /5F'qhL p4?ȸ};$d^*Qrx -5rLB^#s3@H8M|xϕݩߴcuoI x^$n]4B7ݳ}LuL}d^ߟ6&}`0z]h2݉;NiO@_HBv65H/Ͳ萠u`0mM/m2lo*(1xDHfg f Yf ɛ){@;nRhGbVm e;.K|>e ɢZ|vW3⼛HE%1[, /]c8 7Ku?6fU{"}BaXƗG¿C aO4*K?S!;#Bky-*n:H%C%gƐbLy6Q_۸.=~)Ʀ-1E;eԫRk |HB弴'VQ6:PtZpLyEm1.D.PB7Zk?X :W j}|]?PjasCD75{ɱpls" ''hKbIg;ycz)lmwRQw7\(<#288^6kڂR(۱ט%\~L:PIc3hIn0Sޚ K7P8= )xC^ B|y/UZ{ҙ^#9k XD$\>R% \[Lj_$W9ho"8@` +qzBWrCGn:V"\kE"+%C,&S ^@!N_sI(:Zy)>SQ5 >:ֺXU֎}:a(WE?CA7 XҤ9 `kueYH!x6*چ{77LE˺wFȍsRã6EDȽm&{+{Q"rƙE{g t죛:3ks|ە)H֓!<]-H!n ?9@BhS6FB|8xrEWQ[BGiF~epѪ(/O.,CݙD~ _ZԢ!ׇZK5~/ c^ݐ08y* agz =Ft.]7Rhݿe0ۇ9t5BhC|T;WF\wjQ]#p>9P5%i<XXS:D]>~\mg(KToj Km 2.CNS[#>-_Չ[n!:՘n]LBz%wtJ ޕ~>hBȿX/O8Gٛ,$a=bMXZKG+@eޑ(u.LsYytHf_P_EIb~ &hzq!+썗7^ݩ5 x4΄MiW4*S]jwRXie%JȕIQ [|+V Cz:L4M~soiK'$X a 梱*֐ϢBE7_c\t2_ycBtDY^Sxt;.^Ҁ5(sR~f3ilj%Ͼm i~I3L,̵N+&@)y˴`@وYB?79D&yKzZ9rOdJ' O>į"ΌI$ Hhūhn.-%yzo5_'L~*7\Um^0yy(ɠ `Fn  /f:MsBhw _X*%ҤͩمeR-z=5եG|X"_uw =oOkdDo%etAM7/17%8/Q<@ϊ-3o3iM%@ZۄV#_SjRT?lh{'\ mԥ:&-)]5?\\b7I?'v|4"ma$Jbcd6 ׀Cfv쫥ve ݛ,A?ʛI&=Gtl[OJnD;e$v5fMK]ÓDKQݾx;?BMqb1~]&+I .]9:2> I+9 }|ryeJc)rv& j)k]?c6=Y Dxҹpbie2h ܷ(E/bE8kAsFn[NSww~ |Eag<֊ʪ \+6H`ᐾJAWbnM.!Gvf ĊI~7&v$rdAާM I Ju)|>UYi,KjS$j>Sc&gB 9I;ME0##veVM-7+6ƘE75Mu7~yKL!*nAsi;N p.rx wàiy]VG\JUb84UvݱRT.WlȶNMzxHY-g(#E x; v-@nΡmh]b:jSZR '4-TuKFƋѤ(b!_Pm ѩ#-=z!,e{©O# fVBooKOe`ъ1ɭT# }wi4bţD/o^]&ȓАmM 97 l+R̝DѸ(SNS|iVh5K+NՔi܋C<_;S(U hѬ7!($iK2Z3V>P!/ɻq b É#k K9ruLxy{yozc*4WO >*YVm_9z;:sR"5&b\Oj RemֻCaA&v\&&;^gV-liK /Δ~/UR -n {]Z j{]115E¿FKX]p^2-I"ܿ{C ?'vC]`ƴaOf&VK8 ոzLbRH E>nR_gr q0oޖzIl/7Hmu1L<6싘zOswi2iNj!pu}j䩦` IDrM4up(\\ftݜCRk@qmn˼CI9,5"?Y>y229gpZj\)!=E !r;؊%}{*e"Ӫ_kxb ^( "}hPX /Rp ( VGh_-f^ۄЅA`ӑxf7*)N*30\2(%W 3ar̗5{˒Z}J-3YX>Ŧ>{R3!qdշj/Exp!̆ZҐ4/?qoH+#{JuUiA ckjkweDV؁[4;Blr#2V: )oӐ" zdsSiBqt(?|JQd|*QO"c ϽM 7V8F|HFe%}0^,Tbqshbd6g ;g!l u NT7dĿ/=ynTč#a,'t1ԛДo|jc,9dˀ,O.bmA 'V_<ygYZ88037740e4c00bae9c728c3bb288e0c32122f2a213f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 d563eeaaab3ae4cc4342d7cbf659a3e3e589300f