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 W5 L ]S HOL-Nominal-Examples:threads=6elapsed=273.170cpu=1234.300gc=145.456factor=4.527zXZִF! $]ŗXf1-q恈ބԍW_8Fkw!39ڸɖZXma [U*U3.o$(@Uj8Uq NMY#'i2^tIˉ%hh8eyʭ-N"ؿ@ m E2^-KRoje?-:UG#p`"T9 ڞUaHvH!-4`kX x\4|2qf`(^"好s#]g;rCcVff/*4pmLʸn;4n PHqO8bFCaR(? !tzqinL@Jǁ] F~*,OmYEУg`n_ 7T0oSq*l''O[EjFQKtF<5G (c+^Ĉ弮$~hJK9>H]$FzwA٬S`Jj6P7$_E#h0Er[i"GO$+`![7l !K{U\XhgP ܒL*I< Z6YsVrѰa q8FG"96+|v'';͕ 1q*ɑUsy~P3gj].cԠ&͊pvQ9JSxnc=0fg{xX48㳓W% mb>ԅ_M}*E36xDk(&YE*w@͊>J8NO6W*]l +0 $IQJ0 /5kM5jB dU,1j_##.op?`DWbfp H4K .Oo%NQXo5x6 HsM/f}5Sz|Z? 0eVqkGY/@ȵ. Bn9wD9[ecSz 󇎲d·C/ ]Nɐ?:S!K^iF 7͢o43M5fzHzT k~]Qц{ ӅnoqZ*ΕȝFtN#9Rm)#$TD٘`n \B}޶x;HSmBHf)5bCi`3gȿk|u>B+=LDW[}DNf@KG;*!(iAFqݶm A|䷕@?:Ī'x7)uY)f%_yw+?cn(@(q*]܅QW iz' <%`jb̞YKyF;> y[cb^YCUO|H6DE.]T`Ef9bP;3#{î2ahaХ^^߸jov\\A'iyl/*ah0nLz:}"CK\$jh4_zL:d6H]5SbfiPtaU '%@Q+/z(IGԀd|3@#Up?|p+ =nC56Zuwvbkge-TaJ 5 HOL-Nominal-Examples  R`RWi)r'f>[i?R2ԡ,h<Pdd3IR_{_uNm>TOoi3+EVw"5yx!Vk/n֥)"쭣N]I9? ѣ∶[7s=]-U>d٬j4330)ߺ"QIYyb B\\zXRPou(K[el%US.wl$~;SQg7pPTq/諺KHS_p brLWO-j m &aүƝX30 дsE}Z\#(YA<8YggM4 7:p/t6bш&g) <Ջ%75cl9hcx&Rm-ڹ%'Z xҫ~x"OJ;6^vKfEdv_rU1:V X{Tܐ<3xR  @+2/:z:Ja cMkSq0Xb8r"" xRG&3CDxy.{D^HA@hcGR엶AsfT9)M~=nP ofMAy %4DD[hlH HnZUd#!Ѓ1>矊deZ Ym_5SL`HY;-]w-BKSFh~@s[Ҁv9UQĚfxh_+„ܹ8W,VE$|0 Ofy)N;p)|/b|s|grݾO!~D0R1(`:GZ/:|7f5LK-"?Z egWhO{p5ǔ&@Hu=e!(L 麮19z; תgAr Jmr\e(8 a_nWيwvoAe굍ev@N۞++m_&ڶIaH ..|E^[[rc*ue̥TY-·4L喏&9w~킊bk8~$v+nOs67@*il=G]_sL(ӤŨԌVcM C>h]]e:Ăp_ ʺ œ|8.N Ήq^CSZA]#*&Hz[75_$db#-׋8wdN`PU1¶,'ws7&KVh Gٌ}$]BruUpAyjHy#Qll..'g|eaι.S?2-w(w^rN=x*MzQJ5.ک!6NR 8Dìѝ-׃br(`iMMƢq #-=7fg1q gp#>5$d7bE$qv2gX z㈚XePlUrECE;6Gyl^&^tjB 4o!OD4`K$V VW޲z̋J˩x'i"X'psXG__Iɘ2)kz^WV GA yÒ`3mOkg|ukf5'¥,LK ({w"L|wR/!ԳǓҳ:2]AmȬT8<#ꗧO 8!L5xX*܈H>X pE)G`NA/I+4A'InٸkįxCT<][K!RT"9Agb߅"!u (ء.I3rO%ư;t]솛|FU( ~4Fk [^X+h=kI+* yN¶iuI-gR|f˖K1M9ǶGϛ䲰Is:Uef7e[+b?݈~ *mx;]xnA i <Ű:v)Y\܏v|E?UI2Ǯ9A>#Of7 esݱ"˲pf8w +J<6U1* ACơs,țWimK>ޱnabqlotRx[x]P>*pA1-g0Q8 vy+!ݜE6YIBp#cs xZ+Fov62?0?{V"ZX*|ME4S`*iCtN\@:\r'|IN"Q;Tr'9Oaz.?&܄>'T2 X0/JYIsRRާͅn|Ѕ\ 1:eʺ2pYLÙٿJpo2Qi^͐<#yM=n.'#cаi0*;xEvjtJ&^Kn]&X\pϺ< Aq0~h.qo= hS%8e۩R1n@A">SvtO<&kL Ŀ>"iW<s~)3]jihiז%hb9Jښta+ {N@Qױwi"],%M4$*MC)<ۻw;M>]QS#^RIطVlZiB|d*I)MYo{!V텂Y)0*qXҷ!ҳ5LlۏʙO/TINYbk i, MLQih-6Cm w}2 Ժ =dv@HSun Ư FpeY'y;xNikbU^,ebFbV)9/%MTH2ץЄm ;φ=##=Y\FNс,XTwx J2V2y[r 0<=hU@jѐ04z!hsjN(-Tiz8y0IxJ憼}Sֆz·ب5nܣBQ[j :U5I>Er߶J vA r+ 1+ o+sR-ԺRW.yJ.~CIFsM_;')Z FdG. hd@%,u'5^Cpx@6_ʅoeaE:*@5)x0x8ݑc7ܽCZpdZ$)? a QjJܳD 2kt8Z['pBQ}1 fZQIz^W!5CTNYy [ BN^ȃ]Y/Wf* SAV<؀ض='p&%bͶٗW1ZY f6="J]CK3h ͑0tb.SP&v)A(%t:5*aO0rxť?/h㥤(5P&9',Vs֡T\hɃ:{:8AI (Q`Y\?& URj4e34M?|:ݴvr .մENm,TOsb̟h]Y5?bv+ 5< ŀt/mIq s٦~OP:\zѮ=JI*E ;e]W2lH`t!{T'Db9ޱĨ!?f9mnpm|qϹx(@SDA}!! eod 2]#"Qтy ͅm&x2|_pB-)M0. M:QF(B>UO/):ֺvL_ȵbdB\t;Űo@";鑞^3J&:'ܲjE^K7I/Q~)`fo ؉uBQkV]w 挻(M tcO,/ŤsuL^:"cbc40BX? [4rrȗ.H B *]SAopp@|CiDJW=}wn!3ℨϝHjwZb}qn|[薇Ŭ!fqDӟ N=Vd`Zx#^'Q:-6KJ4m=eF9h8/,&;zAH9@~~GVGaN'6&]k122J EwPoˍ@Ѝo xBx'2JÔ{ImغFtt @55?jBHN1WVk.زI99 uf7Tee=ε'Pr+܊YQDy=3w<áH>(e1aay+ޠiṢ Jc#بnj0g Vf5hP(RT|tѤKֈ7֜ d9_8Iָ6v3P_bJ䰯?y**W%C/3̥h},Kuc[?2 5K]81̗زKO: _5X{>sv_= L8ֵG);H*t y@jcR&M7C |> ?vT &c8ameEm~N{=`Iq2-wRmWw{%'Cs>o7\- =mM('j?ODA krpQr2yeMJ9Y:,p Wͦ W,wק~啓BTyxCSVc@~v0+5(|҄7Y|>!2z9`Ua#{|J|т;V Iz!gYZ7zXZִF! t ]ŗXiɟ1ʹ l93攀Lx3 a$lF*냨=Cq 4̮rqTe[竈)ɳV)v[Y{QJssLY[뭧cpdk1# b!sP& .^tܞ[Cr9u}~AJJZDq*+(kc& ב.i.2+;c@eqR ;A6p&L+y4 ;7yu (e$^i > lMnF{!'> %]yF]lنOtG()*J* hn\~HΥlHR^=z|#5;3!*WF]fu*B=cg=%8`cOk 솩a= >S7L39DK).'ZhQ >c%T bFIߖ<(&u<^>jgYZ7zXZִF! _]ŗ Xi%B>ޥ9o0+rP/w~Ӏ.($65}yF ODS]Go +8/%@u h'T|dzei&QXַmkx$jN7Bw8GHF+ӼztdDL)]?\]F@)xtXVh6㖣Uk}d9 秿w80[a&θ@O3 ~7&yT *XKᙽ qV]30BkN %YԺJ\j?Iȧ|{S }1D—hmt@A2AnR]{0QTaHT!D cdU \(7Ÿ0, p+ 0SXUdRܨ.⿠\3XC%ŶU8G1+iwWzPiWZuhhR0tFe^MpUbUk롕NρF<#ρH{Y\>^ǟ2,+u]L1w8p@]{ ﳎ(H>qQBxmdoo#I%6!6|:1e$ Z5Na0V[ɏ7|.*!'* N WpA> |5˦ߑtؘ Է֊=L0Bˈar.|C~o4wB8{R̉x!QtD 5ԄDT#B@=1 d=*dQ|yp:VSB┃YoϚW~AD|8\{<(J=|Ui7ZG\WZ塨UyKL@Pc2L`)u91l?&y%M ،dL4!ý{t0.x.ӊ:@.K-nHU(ЛrcW=L)Y>z?jΜң]&#˰s踃mcY뗶HuH,^ťĵ,U,܅ r\cA xU,DkQ٤pf>N_ƑmS !xh3ҡٓR43BLA *\ aPoqfЪ<&ٻb?.W f4bF Ҍ'0N̸4jȋ.!\ZM +a^qm󊲳M,MeN6+%L4GJtꤧpF {zœ]V-ˠ⟛==K9ӫID0WLj<~CzW;a<6xɗYwt rQsAljhve@AfDf0J1=;k݌s`P auU <-ه[pBi`oT>߰`UUC 2pAQ-QK޻[4B<`ϫIVwqB~gDtхq@<}Y^H`}͍^%x^ ! %q/3vM_pGSZ)p+gdz~#G Mkʄ Ib(iOVK9yzyΦGRܨR, Rmc%?ydq"XNȣJ]-XvSa&3o,2VvON\)iYM5Mx$^ +ecTZa12X\⁸ra擴@b߻0Q&3((J D+F_2O?*q b(tA߳ ߀W(;d1q{_H9P7IVH MSL=qU=VzR-%6Nj>>jP }RhG͎Do;ÙIMUw@令QH>) S"v1j]?zf/-WaG.KZufzb篰)[hw°:)l(YB̦++Cn㣞6GǛ<ԙ!\v,sVuЙ#1C^ݭirkf9t{i89庋>dkJ*2'+C$ Ƶ*Ocõr`]_X_K+ROgg ௓4#!*@Yɟjl!-HJ2bh8jaXoge\].έnC0PiƗׇ5%Ub%-Q`JeI qt& W7qs*46R6͘El_!TϪ1`Hjts9yR4=g*pJbmeWVRUJ]A] +87%Ҋ9lzKRq)u|ZR}F퇁'dTΑAΜcJ h/Zr<LDP‚?L sh߲ȎzSZ~lŝip%9/e=T{y@[-NM⸶Ary|mOe~+]ܔKn5Ek oaV|@2;s̬ĭqhѦrM #7S:=>raDZg<Hzt|Uפ{#V6<_>ahPR}kt \q$p5v 9~:-=&m[xG ){&:$AK)TDK 5j=3۽9mu)NL|'͵lPbb3bOSz|߿$g1[׊Rz#TzhMde -;ݐ': Vs:nL-8<1ɚ~zk{yTD~Qq{;ʦB4hɪn\AT"v2#A_UWK,+`Bp&SgOuq&k5xv TآfD!zn: g1T1n_|+ptsA__B(^@|MT_ Y"4W!x*˂ɻK=(Wl3xz+q;յ8 B} &s?5yA%Z|+9ĸ.z9z:{DXю-t{+Cr^˥0Ywsk`Kuq4 .Y\aPk ƻRj<&BMIff+@NtG \ #o\J|ý!!;ɳF?^VX[jP8`Y,.!-'3vuy4gܣmV-"e6jO&å9WrcgAiξ?uD 5S.9МrMXxˍjrE5"[ǤY:庌fR/%gm-]cS' 88? Ev{J51<4[7Y,Qy)ɽ#bqǢp`%̗ [|`qWl+݁]M[2!Xqɘ5E &`Lџ7l`Ѻ4H'3#[۝Dm(kk, i3[,x]ClpUŜQE͖HcFoDI625?Puclw9:j8{13JS!U8^7Slt$f{y?Z۴b-7AcjQ56aFHz,/eF׾UEɻ+M[CV{7xv<6WQDom0&hU8}g29_PTTIqs~^8*]ouM^pC@e4/e-՝âkT w֧"f[g_4Knk_E'2,19D=XH$oNO&n0%+8"=]sf|9t*q˪\Ι'˿f L|;{в& i,S*iqǣs&6((D4 BRw6p5:[7|?`ȱJh;~zvDjMAA)"MPjB3kq& wZ5ky9 qmR(|.9R, jqLlb'$LMh.VlҢ OW1i]_CTzqGT(pZ: #G(lOu(*S#NTJ!=X/C + |jdP^ @BNMJB ۂWH;"fBg mfGBRRϴg뮀@GOAcF)5#LrͪFa=epO7M}4I=}#~?Rg~AY'S(;RG'z{e b&~Mő6 eTzwl<@J$`79ȡboVcHSުM"DgaJCh]$@!d ĈVr$92NV'I{\A,韝Ccճ$eKF bqz|k"B&?k?59R12Qڹq#h;ty[+;vS%7(o wvrEeڱ87w1b]2%C  "fAmz7\KNTf 7Hc3>d1ͣT_jy.s6˴>0J&[O\LWnG4xϦ }HF8lM+҅Z 6R;Qn޶9RɈ~6XN|ШK,_yO#FpC[n`iWf7'⡯$!"7Lb@ء\D!Ao]@'P{6XZvߊ}c xmb6W#Vw82lVQAWlW%G\(Y 5=zZۊQF-qѰձ^6晟Z$W VP(N &dt^ug*HS_%-"DjX'Ÿ~U(T)hxұ/s {һץiV3y¶\:;/'gXR\%b%CtP9#UQVUյraig%&W5šWe&˃KǸ b~ۘy>ʍ/ a3Su:EAԾXjYDT:nlo7Vp2Mrf[N-uŀ|r)_t:$ I.)O(O{$K(0oہv[oT1٠qF'rv'.?B= Qaeq@W°Kf&qwљ#HƯW(Q`h~KlPn-@[6d߳FqFD >w!ҡ-bu2+a^2޲CEz({I.`l7ECK4iv@ ON n\o$usyOWú^kBt{D>i^9iL+{yhfԭ u (B/<pfs@Է|a\{6bKɇ S}ғQ,B[F7|% QT*(]E/B B[_ UoO & 3S%k&gs]θq[}xe0c=33?&$ȫ1r\F\%ɡXRQxu^j& Ct^1D~;+? (;['-(F#h1dތrwlRXw[t oj>K8Оel PfJߘo `NpRZn>W:,cͷQs2`̢7P6>;"8.x_ aS!?M%a{و]a yVوX2w,yCޑ+ѦuC8r$B3\<рQ)5 =^+R4|A'Q?WQ0ڒ.VCvHbV8Yl5Q`'~*:4T6:9;ȖrK?yc߈U[h[SH0ݍy8/VFT} s 6yEo$_F'+WQrq^lCK6INEuG&We#cQv‘&K|kCefn(CөKT |F&ROك_?1I]7rj#nXsը87]9] X_-- +XĀIڮ;wVtHo/==:5jgKB pdl˃>xCNy%)!:DfuQtGu'8º@)B ;:v\@.]g^v.}޴)=+pU-J=O,aj~C #c?y_4Mg\My'2渄hw䮍>q  rs@amq1= c `{r5gn J(XHC^Z-"gY o%m*9 sewUۂv9fO D(%9Eg\\3<N<$Vwdodś *alsp э>Iٚ -{W4="ݛ sz>v*` tc)%3&S` 6׀Yhl.2c {OŏI6{+ϟ-`r4m_S__r(y Ƨdn_ ZhV.M %QjͶEE$>T s84P)㱳0Y9.FEiB)ZO(@*8I Dr0qQ0)>!n ZIaر )>,;k{@Ƀ oYFzNS l[@E@p5Zy"$wu!!녂 ~2/M1]K5hN^˛*7Af2tKZ+Rjq=cPRO!9"S ٶi;Tf$Y%XbRM(A{Gkj$!ViPQGdjnfɹmK{ȴRS(ӧe7(į+{ɯBf59u}~?A0}.׶!Q`[=oSڻS8#oc7WΩ¥tl4M|nγ;Ka s "?Lhe^ ]tWm|X/-2|߸BWC}ag>C!g%Wu$2_( k *xv۫?`qխfظ>~Nj]RcFdu /^Of@Q7 0Zr|apMRʨBśo@԰#Eφ+1Ռ}_:!:}K:kYnzn5:c{p.x#$9^#]#2*y=TA9dB&- vHVNa`$4P-xB˼m-E)V8!Ea+H=69#I5"TYQ~Yi$_hM`ŗ"ޭɾkuC0Ԙ3j` 2W#i@ vWh2`w)AA)2TQLVlr mofYl'Q[:Y{rYB{JfeоnDS&"j$SStVŽB'Sv a iK ֣`YRgUxQk$7~uOpyil8ﶺ42n+gŠSK/Ay~&s}9m>O~}:IfN W DJ+C'(XZd dMk8ۗi0Nga{ASf3|]$Cqn'EjVD']B"FIiʇ3\JQ"/oDA;0$ :*^ט+o:սDV ߰MATָGPƗ~1ic-kz15/>-YwEq)s*nG'ʜc=w?JL E c]|my6]NP w;cjL<8$7 !x0:3DTL<.$<ہkiv.鶌a-oၥڹC.ZUSb.]IoLr T.Sɶm)\7Vdb=?Vy"#SăB);}y ͒'nmauxפehr^<+p}_K~p%u)P> z֫kc=LaO{jM*)mNΒ<3"F苈Ug{(X4s5S9R!T`= ԋ3d)DR C͌A-oyC;,w`,ދ`0vI6?Q}` U\ ɖx3&Vzo r! B( CK .]zQ܆3r}8b=3!-eq9vbi^m!ːRBB`^]ώVĭ1& ?;Z3ph){*@^D yU0: s\Ƿњcaˆ8_/(-.t|2e$qF&0W*o{! gL؅##I8UT??t&i)kތyL'u v*U^ vv:d<*;9RVT=~( <7 .U ѤĜЪJ$-X#ZDɲUEz AtEhs}m3oi } ȅ\<|'bceNVH6~ʉlc~\|>`tKw+2fx5li /6MM UkJZ!Te[6.E}.zae2gY{R([J )]A2, wiА|%j-(anV)$>D$ܸ d2;Xnm+L|:["j#_J:h۳U Dx^@7\č0uVdsJÇq7-ARY<Ϣo 9<ŚPĊųlDl7buEW{5$R}dKfk`(=[DUf˄nR:TlȮO2Gw q/ B0%wpυcd#MYB&GkÄ_k~rqӆJI:t77 ]x#܋m <蠘f1pӥ fxzOA 2!UŲf]iCˆ&PgHʤI:[Q B_p` cTsoL#|=z'/.s-'eN=%o-öf })x >(zt9FGZC+͇2ƴ(R6i*Pb1J*M:#KrcI`^b6NOG܇Y# Y.ҡHS m,}iL׮.ܵ ymMRlI@^w0y]2G-T?1PY @a ̧YӿDpTS^ȧ+c\\N] .?N} 'gƪ%fx$y n>U\Lb rߒk-S7F3Q b_Aם0,]z{GHWãuc:v*M%/QӢضl$/#|vB.v~.c" $<=F L; .#IlG*Ti0_:$;ݹL:'G lh`XOLӱh Q-^ kX'T 9͡8 Ab<әhz%?߄ged]Coj;ޜtp[ͫ]HD'/Fi| ? ^\M5y!_+1V0I)pd"DUI1:?= kA½V@A"Ihao'T$#t0$W/ʖb7A\5'1;7Pq GWU(8gtKGĄ1@]:Y9l%1\p;O6!`7\U#:F!KϿ&(|&48cܿb'YE_zFpTcxjVځNR)nB.@,XF_81DⴊOlhA-wl V.tm(H$rxE|fLW̗-#A͈{ z4 f :]aV'yhT0<#eE׷ߣ̮ nǹD9r[0:}[lUg&sF GҽN{aY d!WGRzIU/ג? s,'*4n@ J1=Ӗ.J4d&>]^o9'EDfH`3ɦJeXk=` R$N5fY{(  ip~Du?/lE#dL/hF[O [7'I)G75?ӿ*X"^yNE7kkKrHP}\Q% PJ3r?Ne,0kFhltBz*92X)ew ]h!Y7{Douw}9Gt#jmCv 0a¡ Kkg1v:_"XkdEp[(zQsPF4nXR4/,"O35f|WgƓmd7%?7}gnkMDrG-QѲZ]dfͭ5/%Pk )cX@2 ./g0I@|gW—M^q6`ZAOW\!Aw)uB7cED:ucvf/*u^ջnAP{:V}f&ϐD噸`uAhϾ=A=Și2"] T P A%iՁ1vqdA@$vqy9>:X 3u`SFT Kj/u3J2s KyG_u 13X@;}1l`˼vze;^?gjMwX]v;{B15dB9Yʊ<2{,S|*U(ߣ<ܑ0uorQ졾 *R/fڀJg Fl5b;?+<ɳ2yэq󉛷W/PiiP]O~b1ztff^d4ߘ>2-zx]:P,;4N4ڐrN26ؐRU3:ևX|S$kSulC-m ||PY+ Utoh}{n"@)hSvn7pg!fp0ވ nr)x\[cp-./?z9cbH8AֱР2 B=bS$yФzdjmwE\2'g謠%T =@sf1T?'WgX\`C\U\EB*9`g`OH$Ҳ5EWw{|٧;p j$_k9}d<2 mzd^?#<7ҙy7R*i.0WC|BGVRD-{+`I|8_½dC/I-9X?J݇+zdow$a=\ M(|6ϻu ӱ:;9A?E0~2{? q|cm} .myӊ5^j9EW|aw0^̰á&Ucv-M߱esm8OPL.t84g)ܖ%ʓЅU\xmϖ B}(I o4/i#! 22]CF*RD6DQ*L1lsM emOXUn* 5<32n'g _ <&r]bi882朾'wv}ʨzQ5 ۱]+l(KFN#atEmbd_|1*F&\˼SSW,8]0ve1_t<8ɠKzZB{Ųm0P?O-~$ w}@,ūi_Wl,qNJؓT|-}no17&55%Q,zGUU:a R/HAWllҬ(m׵S#/!ůlqK "NE(Qp Kc]^-PAn j`UbhtLޅщJO' V_62$H?g=f!=E$]0:knKL[&0Zih.hM{$dԒ[mtdoqȸtB;:FX njoqUkSM~fDwHŷ§𕔇]{5w-׎Ttې60Cu, řZ|TOוTk29۩&9`+f ݅uDCx$Y!WI bG.|luȈHSRS7倇wϡn.e G (ukB:p1zI[]~uaڇ+ᛀǓn!r ;"cGF p S{ ]P(&ap^i (~̮ :u)9c?g2?7mq^:"BܹL'[iD_4 DwGo.PDeʷ1o^7/Fj0EAAMcRJLX6Y/KK=ˉ|5Q]Iؗw/´VbRo&Iݵ&tLi '`A4cflLai֐AtykDl5u_@cO Ц (j0l`{ N`T>yn{^ҘNnC 6h81*ycʃ FAT@dO0:HCv7o&A]e wDM,Rp%m񜲸'a  j.UOF (U 4rwȬ!|!ԗvXK2QVs`]x.&.@؉8sH 7gMě'AziiN8ôrx_.)>3)&2m6xzWžHD)ں6Ģ_RH>b3dj 7S]8fXp59lV~Et)xЇ6He qS`6}ьPŨΏB3 {nT@ԸTؕt7-ZZNQ,_egd藺45$\j-{<\ F# Lr grWAK´oG"D.7Za=fbꛙ~п'mkYIV =g)(h%6y^GnZJjHV|}ϝ-c>} Ԗ;sl29<&gc_ڭof0x+ !&1sWtΉ oCc%ށ%8Cb &D.y$6g"A@sbm8'‡92bJ8ZM#,~B>Ll`grd5R-ĵsCEY^ IM\4Һ/](@^aߗijQ_;ӿ㪼$%O~o+fioD@vgzH>l"ejUP4P4ܮKXd7o9)t! 9dȽb~v-fd Crp~,ic qeT\z2w9iXtp[-g/.רe*eRѓ٤E4^y-蛖qmCMs~˙&HGTJZO ªTSnDWM &9i·ѴY"N5vdajo@[I )^3#B WW!:xW)Rw\eqƽ7s_J/ȉN^0>WMrF;@_/^QדW@Wc+Pq=cS7]FRS0r[A*$WśO+襚ܠ8e mŶ‡]pbب2zi0P(pL3ǞT"i b}ճ?vFҴٗm3a MZ 蔥 M]V T{`aε1f"H!@۷ιAe t{jMX »7O`7hPXE{Y|]QaDK!ïD%/ww9An-?Fl֤.\3"-釖^.QioQ%줭^J\\[y!/S2czCBVʷʤ>wvnze!2 cfH0IۡS0H!sp\?g$XU>*8O= q͔äbySjQ 6?dCgņeDzٹ=x;^O5vEHG>{hA 6^ 50*lQ*?3g;^y 1'z&㴃 eD>i_ Jo~2<a(&N:p5~egjǵXO@V`^(=h*ͲEZfύg󝇭ĚRŀJtlnE7HyiSO E1~B.s;tiY-Rd#wQ^e)wU{|E8y*|3nM†p [# g/ |Fp۴bW,-\9}j;S aUhJQcTD/ ^DW@cZdε^N9x%|f!RLƭw(Q'W=rAֽpEǝ&B!ݻ]CbP%3~U)KgPCeIaW9I+ǍEch )+d+hݛMLr~%]xGt_"#Wءpp%0.r?}ңW>! ޅ.g}SE59B4ͤwZ9aax?bBTF,a8XO0Qlde'-‡o(շ5)Xcq5C"fMdmU| +Y gc9G" sG`6"r#P'tbIKGxQA3^ᒴV#$udu)  eq~B7'v, .hRRL^zE-m>Ş  x=Z3c5zcܧހ/gYZf2af059a3cb4ddfb40c14dd22b9b0d836bf80e1f4ffcfcdc02ef3f1b5abbf97520a085cc79a504db f6383c732bf7a95b23155f974528a61462f86e5a 6a3f5f08c6ffdfe95ce8488b42ecec24e61ca1f0 0c13fc440086458a844659efcb797e16646a3b28