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  75d< ]S HOL-Nominal-Examples:threads=6elapsed=300.779cpu=1283.140gc=139.744factor=4.277zXZִF! &]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=hŲ;T2Q5-[ S>;.. vi)$^lJ:H-$uFiCjRvę l$ڛ 8ɭ' 6.wpH;Y })ʯ]؏w( f9=Xnusfg#O8=@,l _Θ$쓮tчn&6rvo>gEH_o(U6|ka #]۲Ms}M]pg^)5w!sϱiC5#rln +mH=>NP:Lj#TSZ[gRwAvfV|~~j"䶘WƂ/$.{rh9`޺4¯z.kB0%w×i!_]|@+hߧ\w=e-'^12}K5"=E4`bbJ d{(nSM,/j_'ݛؾ  N](8@ʨgݞpRC3fō( ||>:i-KZ"-zP W_ЀpHJEO9NOf;GxaOMCthJ aReIlɊI[flhyz,&x״ˆwDH\lCol+tHҗtZ_qcSiyMJaOFsTFI=18K X,6!?MϻߵȴT:͝ǃ?ǩY 7#\v' Zڛ%8H 5 HOL-Nominal-Examples9 &Q} U@P3vA:o<2>RQ? CCH.Y{˥e 9EWLWAV4 2C/%/f'&ǖ, 3'R&Et>`FZ{S/=r4!jV'(Cӓ |Xj(h2$Itnd~:j,ԥrHUOva$#s#$CJ?J9F J.$lU+ 8ayZ*]elM 簥}9p4QV4(a[Nrӽhᨿe6ݲ]fQ\@Ŀ&].2"c!bcunS'ӷS1| ""~ {=^:0 nK;x+K >g wykmqh }#Mԓ +=&6L]0K%?$5gg2u}ē5MiOm=쀟̰Xw{ @Ubn3AB&-]hNL?[T0 zlۣڣj!,<{O]c~* * ::-?!(wa^LְZgPnF $?yU ݤ9AsA DTLNuq>IQ,\j{/)ło4j4"!s+zAxV= ۇ#H)2ZV@&ڀ~P %q1/O6:s-bz㨾DPCr$6hhV*ҭvƹPP~:zzx\N~D"p\m/L2xa:~-أۊlSϣ rCIu&B'S.4,IY:s3[U.KbA\һ yLO Xs08.ڭPn..;"ơl+L`g S޸g7Y p9NA46ډPS}kIQI7D`@I*] Trl $LZF!N6.3@ՑaS srefJB[04'Ai 쏊Y>r4Q^+v][U-CW3r $Cĩ  WgѸ}Kjv9*@hg>CnAJGI2ĤG?2S" N#o~_Ivl[6哊~m[0aLUv/L&``15ilW7rcZ.OکI?]s&6~?8'6[$D hd^z/F2Ewv:pas *1*D|Wʈޏrl[cIRۍUI] eHi *Rmq|S%_깝/?Rd@0]]Lb^tQ*F$B.D &hRU|;?h @yһac?_'Z \gBU_rWmhgk#DCzK<-SǍUg$|:04? [vSnjE"Qk)f8|x7{b9pd #4KD]F7}P&֚:?KDᘑ]jU F2L[ Z^$@I1Ok(=b2r1.|xBi"d$#Ԗ޳JBwOzGo>!)*fQBCxS3hjm$fʍemeN(Űo,s XD+Ts&S'^bzsaS$MuD0" \G6>YJ `kFm8"?,n`:O]Ѩ{Dž5Hh>ڞIɺt8ba) +W}=:*%.̕^q `Pj@rIV"ڇu{(F(0rM_c{}78Et~_Ng\e`t˭/DALfy 5VUF00't[3ַ'T%ɲP"7 $h 0P9 FiR"3~2<47+º;R1Wm|؍p;@a sևW@Hu6.oK Ln%4hRΥRcKH-ќ2[2?m=fAXޚMkT8ˋ~Au%Ϥ+iK{-'(sb%#ppֺ _ c_ktnYTj. 4,.XGP"݇u_J‘|l Cj<갨?lTتb"7\Txi@.8Q//<a$xk]͹buuN`L^xㇱϻO|}=FsEqfCyk,%01 *W!~:MVִlKXoDmKRo+ ߫GkB3gcD" ;>9pn C{8Z'ؚ~v<YHp.#ވ/80xzu#zDG֨;NdL1O FDC}A>[[H'y|\0JjAe5 қx0DҒgߞ&q2f95_BO2U 8i#8tcY&WNyJ'QاDZ!j'Re&"=fdWm?#t\`#2Lr*G!m|E <<@in7?c$5:3S˶@}d"g:BXS۷rXpyi ˧_kZ[kU/^+ MSjhX_@E/Z+oYؘѮNྀSFwBuǹ+ďrt`Y+ Ja=?1#Z`S#>=.ZKqi??M }! `u~%<6- (jr rd_i.opٞt'$c8kC3K{Y5;-.۫ ם 6.Br4gdG􅅮T5=C>'4` /F#(8~dʡ{j5=ye3aK WOPv*SJt EMnZW- s8[OKvK+߮Gv|6W1іD\ i'̑K2(`9|> xe׿ }EMIxWb媹x~JYz pn5 fH͏d 38;[]9"63k M!j5? Ed7)' Y*I=/q?nV-MJ=H+u\WP?U=ިe5xW-c (̝ 4VjPyD~Ɠ_8V4L"|KtZ&m~iDC~>_&Y<M4-:?|UAR?$җ.]p}??3X,W <~U6{\^yYnQUf?XAXZ[#9iҾvcM_lD1ZkÎ0&)OTڀ&''qqmɑ42_jZJ,:ڇs 6*G q|Yu(:p0 +"UMRZ׊W!2,oM4ێvx1J`x[!iٷUvIʙ:SUѮRȸ[[[Top_U]819:)XKSARXɼ}DI*%)4h#M!YwYAI&#bƖIn!~!gg-!T. PgwC~7Ǥ6`#H|bPS("L).E3J9FSEBijB"t,& 20˧ }zWvճܚQ+ nQ_@Bck(qLD-wQg̣mЊTiX +`?ޑD7PCg[n:Rv5C$/ӧC4hYb-۲;E0*fD8ѳG&ʦ}b-p@BoF `hWۺqL,mlHZT }wJv ɒ; @Xj_R<*O*h BpTt|N 6"1[֏4ܳJaIɎ:EAu+Phړ-.G7BɤW~dak,i]C*]]&pWX7),dE7IƵ8IoH P8x~(`B> ~#'*зx=XCrw<ݲe2M4Gԣi0XLh#92q ^i6 ڇp^-SМDA\:k1FQYџӪhG8eezRA˽. 4 #]z)(f7jI/m*K/x$sR]>[+VbޙSQ.s$}q1; Dsn0kjO\zZfy[߆wb+8|!f/|˼t b@'t@PБ\|;drvem O+BiVnd{28d g"5g@ ^ QّU#Xiur@3Sڶcej[7մ@ 5] lV?85=zEmYq.W EA62 N/zy70#/r:dgB$b(1CZ ˍ'#xyHY*6I;t1@Q3r.(<phD"KnL %+Vz (wd'BpQ a~Ok)~x}Xa[ZP932dTph?!Q1ʢ5d@;#@".9b׫]0DAr_qtł) 'L4֧F1-V3>z69 >؉HAԙK0UvybB֏RZwƒA3JS+S-PX8WN!ܧWkĎVȖ WJ[6s_ovh8j hln<ϸ/cwOws6։cqZB]/x2!Z~(fn}QOx+ 6 9(0xe^Y͚t: rxe=JxS&H< 1HN=[x]gG{Qa$͌Ɗ[J[yXav2UTvr+ 1aާf;|3)8QAJLFײcd.X+s_+]:Y`M3{Qko=;ԗĝ ?rm?aC*Nǝb{&O9#]#k"l#WWs:DhXR4MŗmgYZ7zXZִF! u*]ŗXiɟ1ʹ l93攀Lx3 a#nJ ?6- ![rl4`0GĎ_eXg=/@ 1 AJzFxU xf6^.-B:$ku f}֬;\YOeNa%ا~ļ9ʈAiY[Ѷ(N!wY`1r}LtWA Jq 6'A1Ȃ 6CZ~+}|q7̥ 򒡕S,g&6܅ݒ^~"?KK~^˶muqejx6&g=_ܲ\({Lwdjh6#Eֽ$MN_S"Fv7Ĕt-l`IV{B&w$;)j`0M>@N[itQA?I(n9w @6 ϯ˭m·M']7,Vye'uԅ!"rEHN $CroP8{NXgYZ7zXZִF! +FIV]ŗXi%9,}yU}b$~~ƻ1 *]8I4OW<$5ހ"9Sc5(Νi7եf*X +VzQ alm;JmvbZ֦G_y]zmK5e A27/P⠫8<G:"7]^,7dR 2nK|#){gsCGe&9H_e9-]$Υ+|", #@ Sqqبg7qō6?ݍ$"m[GEmpPc 7| "(ouH ]Dž~Q~GɄD&U| xcK<%S5犽W:"P0c~%£+рQ hY?vخR P8pKDu]dW^=4N&'AGQ5)1#Ahւ5HcAZWYDxӥzzaI)(t/ʴ ZgA!.0G+zv?&8JRޠ[jO|X<*9t@h|*1 z[dXk}2(|WVqظ=9<%mPO!f怜txj%)b*,{UūRX*turٲa -)5LYHωaak33* `U0o\sp\F&U+sBPͱ[HAE*>6 u7qtѠUcڕ(VRAHv®K~G,:J*xRN#PQ\[F/--BZS\5M`랮N_/~< /G+Si gcڗ|.Eneq] EF:gŠm,JMs3m{VO]eمVDA ț;́1 ,3_|eX4|k$P!&Zaiժ(4̆oVFanL)jGS2'`Sn=]'kDGO n$Y9P7  |O8AI"LK' jKT¨haH3˺&U{&1v LF֠c*_Bā&r_,S5. 5}*ss21F7Hg2p\\tj\& r)]/bڜ>e[{tG,SFzE6Q?zg{D/p|st(7}'^A 2|^jlk$101'vEԴ+*yzreXWS޾^Y&D-u}PbeOE^FaH':OW9*߽,qly~% ]8[YW9;9 5}s,ņbfxٲ,(Oe|L ;4bV!voCqge ovFChtS, X'k,, :a_`[z$/d[MŅW 鳐HDWkp ?P4ȡ5ղy+s/)@Q ^t8t|"4peE uӧQW0BHO:Vi1`Etiջ!Kt3]&|pYM o<p Wjvu'acGĚ*Ԯ Ӂq}Ɨ#5 Exl`od|_IL zlPHaW R?I ̘֧']W_ThC9xn??!9x8DԜmni<lGXX )-t1x =ߨYB\✩B>:~wJf@l b/6RÄ~)C ߒ0=T]k,C[Z%,ؤkw^B?7fY QK1Vv}Yޯ6 WYW7"B_=<vM EA jg=84n5zrOxP;0 Z6j;+~ DDCrߧ24㌏WI^v3:eo^)ʢ4]Wi >>#h:Α'gg8fx0Y}6]­uDoѥ&#:7N`V[6ƋV"n83oF9xfg9A3ڪ3GSbk&,οÜ%p v.2:=3]IvZ4c-D1dߔ,R8{ṋxhV]Ysk{ựBk Vg_ě=)Ը/Su1纚k$rTW.fŚ0 ^遼>v~$N 9p%PaL6ZR>yZd Hbsƒy 0Uʱqpy|pڬs*:nheLGn񋮨CՆU!ՠ*;*s&)]YO/1ꘁ}G_5H]PD$|IA<*c֊O0pQ 82"!¬7]V@fa/NoK^Ka5A7V|ux Sy+&_R *\ex ):ѿB r&s]5XHȁu-pd6IVS:w8MdzY{>@ J4+\G:j );ֹS}xSXƝ4q@r gokV@ubakNO8g\st?3 "W27Ue QBO E?TKs h:yoAoBb GHPÖ hrٞ<-A19"ܘqG1{]N@/yUK~4ÄʻovF%wlMu*ZKYeI8I ޥ[OS<:,/zS\oh_Ȃi,71ufX1F6,CZɺXA1ergVt N_Q_a|91SqL6Kj 6b{фa$ۿ<HI\!"w+?\yi||yn]UĄ`9jSɬu$)I9 2⓲,OYn rt(o9yHP>h+$n I XM-/ kVşB#@5σ$&@ްى̑`MR/#)U˂Ty3ᣰʞc,?؁'K'Q3 UD3_s rJ|2¬` '~1&o3(TabP q/βM#b 9+iT/:UR2@-?<`LfLҨ?}~O˰F? iW4Ltu_ _Lob ϧK1y2NPoev0Jpۺt!0:|4'J"&Ju" &oOm/Aj`(2M 1R2 ?TX^ e!4 pʫADq,l~bV !xT'7!t]ǭB*JmBRNx IJy׶jzHsO"-`!5K_>pSv{_:t@&N6=aa;RG¼ ^Ϧ&dhLMFhrgzg"Գ6v (8uwkp!k}aӷ|{#G_<$WLtl!UV"v+:9js铋!B~<*Vor"G8 }l'#&C (o{bҰ6p.Pxe8,^T1IIk=7)_"_C%Q8 /wmkiĞr%܋À5QG6ЗScbD4 \{ @ӔH,:F*=.K\D8)Vm7re>dq xjx.J떄*51,bt)b&𲑫+ZhhRi:*5%t߾m+;^fD`)T/i)1fk7FNjO36 @=4>e<=Xh|Y+N"Aޚ5Ѿ|[JV7zd0&i&%l4콍ñoEш~P[>?C\P)a56@Z}"ܺʔvq:D}w3ԍ 8-C)bqg-Nyo'aCħTEôHB;[7CxثC4n(p4ߴG'V"Vyиyb ?h5myYr^лwY"Dn]|jk\MJTbtKɽ ™&$m$kvjU@Uz%ꀣ^ $}wnwfkX ǒ٭̓aM$oՒU3V:`<,| gRr06]+R^BjqH:-jd` }FeC>c:l%nJrL 3)ea'G zad(Xښo.f,RsC?T>B$iU=zVQJHJ\g˓ Cb$Fqa%)yhnH,*tcyPю8Eexn&p-)vEu/G ! I>B$Xz ,J9߆SXg; *知)Eq.^ û)ӨWJè:GSX]AMEӣA{/wJ5*EW*2 8 >YeH"l5.n M> t# Bz#x3UeuC-GXЩ&6mu#G9ʏ|$X8dW1,v]}t#".>]ƚfJl6Y` A܊501>#U.[Ǎf$*3s޽RB!$aa>J]Sb$B-D3Ҋ2N1U vL4Lx*T4|9ς FPrKykQ\6[XxBsur.A?(G NmPQ |La?7rYڥFt@>վR+ėg: [1k"G2& 9AIޥ/Bgx}o-s}XUXD49:UCԈlTS1 lҫ& D\ 'nI=LֲsGi>ӵ l՚Ӄlh؞H޲G[H/p?ɞȑ uy;VJLsJ9_y|G{<#'ُ\1΅w =Ŵͣ߭@z@wA0Q)NoCſyēN k *U˘=Ja+Z[d '+uL~̔I>k6mF_f;cdd[!aTڠVᢖ (uM`Z Mm%Jh+qfD‘pn%1 fiRLmCp.: [3Q%M%~~>u釞*$ٽ8|y&fI"p-(w83t{6*9mU[c(lB]F朝uo4_/؆!ebb.Lѓ7u D$Sa\ًHXۋb!e^fnfƱˏX$w߻8!r磁2҆w.tr};T{ȖCy1[ gTـYvmۇ'O d :9잤)0ٜ&F2Hk)-~͡6a՜\ЏUۀ +H|m.D;DBy,&hS NLSOZFG'>WINw/|TEI4$Q#o4&9 :vCSlm0h/ YIw>R4zY4;qnRVVf;fd; ~N;S9Aj8m%3Y<\G.6l0u= "p&&JP_]$kD$TU䱞˖^ɰsp"gΛ_ wQgs-)J.D=Fk P56)DWkJS1*e  D s_> #ogEFɮ%wOuZƱF 6 ,u)Ҳ'ETraqv8Bθxٱ\ ţg5K@ШOFh9vz,75>NO0o #5e-i0$w ~t/j#|ػIe` ^"Rtem.MNQ+_ʴ;ىM͛3+fOE :_=l>tc[+ȭg$ٶ/;#~T:vG<:қ+~h[߄}0,J\ҨWQ"f5q},W;duߪt5A)t]_c+dS.Dp_.b7ڗۋ~7g=.pq[-்bqC^v@ u5p3eD ZܙYR[$N,G~D7MH&u8ʱYoR2~ȌyT~>yJ冾(OFg{dE!uI-p[2"J]ypTʼnWzC ,v1qxwy\fĀKș8OsNq :{ǿnWʴ5vbLm'{IIGćg^Se$0h2,6̠45](Ymq8>>dڏjz"JT$g>^6[s"2RdZ("с.{rg1] v9B'`wb)J};#dK|zy{Fb*Af'1N}tr=K>W|Vk*s9H͒XA5[,ehRq쒯Տ_n"pvOj,sj np`s6P% 0H>ACS!7? QԍqӚӃ>+0aqsu=m题rIªo Vh W֘&W[6S>N(NY4SVVn g!$%hX?%= $)޼\P] Kttb)S鱣|Y$UHqW-۫\+IU."1{Š&If|p@Tù綩(O)Bդ|3y)@$2(5nO0m8_Jsw̸{ '}l Sw{N3*Gˈj˅okQƉ/RRaQwI!ܚ' XpB@4L"V^BO_Ʊ+{ ފnEgJ$> /Sб0qԋXA(]/QXla a(l߈S\"9tŲ*  ;(S4#ASH)'}+CQpLtMC9aS%g$f M茶b*qL<>::Fy4=nD̺K` 6]~$Wc:%SijgMQ#u]z䔿-= Nr6uh~B0Z'xu|Fԏ$u*"wl\pߟs8Vq1Ԁq{;Lg̓< 4>$kfHXt(F.r8 ݭYS Ҫٰx%' {-aWV3Ӻrf\V9jy̫NT:Xsblrp:j [t-R}|!z$- a@Cj/QYf `{ LZ^2cqxH\yVo̧>p'Cϡ@Q'TuH@N9$nDALH` ĊNMT2cV;Tzko1< K^:0cӰD?!2>j@92j[s./S(bye~Z!0e H/ŚBBwqH V sp ~:0$ \^a ̂>F/J_&kdF5Z 3+%V" AAĈۯKlteIG nZVb#<nI aB)RK%vM J3>ds*pK_8m]:5IYF&5$EOD}êGZz:n|^m$"k}RkT7ߠ+UOOez;h4jLe6I+bWNuMNن8N"֖T()Kùd@ [Rr܁֬E}+^ ICoOڟ  lb^ÏѵQGxW&1Bzђs8 ]=ƈ z[y,]::ȶOs? Q#|Osj1g0 ɒ&5MD_ 497Yio GZ.,IFہp|c$V;ky{k)jT? f &cW4b+7g 72deTVM=4ߖ*>ix̯L%:}и xJ90-vKPԨD2jJ9(zq|ʶ_ʴ!Bw79}*څ S∝`khb3<~ 5% ,П]2 B-8-o`^, o'A<#)F:Yb!*lusU\qXEx55˧CaI'>:FV'6'6?q=#vf\O#Ds|fEN3b~ Nz3?fe53n5kxZFh{Н=2d`XGŸ/P`h6srsعsMl7׽ʮ0vUL]* 6c! W= Ho`@ vi=WP:x;h `՗|H*-7 =|MB-BNEeZy;OG<tfoޣX#"kG_ 榿Um>`r߰ a,YhSh 9_ڵZfG`_ {f#kn(L'B_n)6Ŵa*b'B0-RYDn>_{0WkSǑ6W"/{T8ٶ -LHe `eT %z KjXpKmAO /ws0S*-ͭQ 6 /5ORA!L<gglO-9MuQѐؑ?p2X Y8_)wU#E8Fka|1vrƲ2}C4J]&z! RYpst9ߵZ82fx4 +"bp9mi яڑIdNL-]&;7 8["$fczRiq'Ez1t+/oǡev:/ T!t+,>uYB5Gurë-9//Oa4;- M_'zLǫc[{+jT+h0)o:W{=ls-.;p8dZ~λ@[jϳ:k/tO!oAOZyq-=ߡ|_kjĽ &#u[ G{( yx0@#72'7#P &ލ'^U XTU9W[ug~8 %koMH#H9oecK^>1IP5wkt@a~lCVwY-&,N1%sEPa֩Q@%qCiefN /vEo kѫQek&h rD5O vlnѨ]o/B>_:NGyP#R?f/ uOqY_5 G%ywMP+jJ5x}%6A8 $aiΑކԚSjpA}3ccIΖ+ct#={i;cAR@mf# USgwon,9Xle@X$J%(aLK}ۼɄ_%\]n\, (^N㋌d)BE= ۸.r,3^/+T*qӧeC( JP5x^H(MmQvhyX @,AG *]u5:Χ=-̏`.<).14QWFvv~]GϤp>~6N%&K;t[ as)qC Zx|߭(2.b e;V{Ŭmo4_ݵ96&rJ`T*b7F՗*$@`BHs,RևsS=K=ڣT4?[7_gg^f5dr`+R͍6rXݾi念j 5>cWI:-)xWiFe3bJƅA*wJj~[oӍ} QV;By7b}9jj*К~hSO6aw|7za[¸0f^ V$DўVSƀߚJ;zfC/ͱTed2+$y]n5)8aL?e'"Cϩ(:v9!bo0I&9\~[[}?EgRn̍ ĮkcsQǴp9Rۀ@ ߹nIjFZ*J+TT&4_B:%{Ә]@IԑO:6ʆRQ=,dU$M]fhpVz8>޷?#|$"^-W2FX./^c3:m/Q.#EfcC/SZUV\'?e(ؗ][@tmxZAGTroXy(Y_J0*1h!16O%!~1͊B>f{ҫZl)r jt!]쇈yCVC۷2hf!ر@rGAD'7B nꉻSa}zȕ+绲j']Nd GQsX-6]IН7:_2G+oR|h9Qc*>w;F42r}<8qxlss,J-pt(!ecn3%Tľa F5}'.7*Ƀn{0R ̨^` JC=D[rx_qpu2xKrXbqB XK.9,O1SuEL CEֻ as⺑m~4@;0!ىo ʫX\d kIЛ;#QW|Æ0Yeq3Tey؂! qI`R)D#ChUVMBGT]ASme𯐻g\Y=FQ/OR2HPe4c74ié5ɥ.KG*:}jbz e}ʤcz'7ӿЉ #QR׻UVq7)J UhlP,;dl/:MOv+mZ!^!-'wc$!RΖZĖ}K-wǺ|1h+Q2C˨2Kio2H y&֏Y)Ig{9  (Hڴ̢vk ۟Z6ӹ<d.v0HZw^2}` r@;d\f!{U-bMJ1E?aUzvQ>5 A Oٝ9Ԏ:>>jH~'?ajAy}c憶“/&}^lB:1z\xV؅oķ:UJqk˼j0OvZiIϴ[֝X y#qb<*D#! )F,f; )4xTTIE2_ ݡ 9#+W#k@ N29*;37[ևgvl,Ζ 63E1єktgDtX!֕:gBtrOܬxjԻ$aaVA"]ZٍЇ)u+y =>c=o͚N;i2"H󁔯&TirjC%4H0UF:br;E(QsFee5ULGqaZq0ѿYR_B&z͊b1{z/ MRz9zߩIYoWCK );aDl%'*:k>VxU9DO.[ 7Ja.DI2LJ ϐ[mw3"1 g4h"7$:G  na+'tܧ$M성f=v#ǂzӾQaj5:Z!cG1D }Z$Rc**Vҧ <:>*B׺n;2 & w<m!@.]B -_AtmxTK=rerw]u5 h)2t. Bft-HXkI4``pSH2"5Wq Ox""jOz|s:?Ё`H,Kcڇ:C Պd23qXv`V Bb)~J{wئ=)H_6v.rHqS!tpsi 2dTbPB|1/g\q# լ$Bp Y;cIրV4 D&myp|h6ҧ&3ZyS<_]ZGgysO_Mbb3{_ئjcVLeL~- if:I5POI=_|k`2# !*Z\BoVS6ZG7=ec:;6> -gͭ' $bS-\H V{?!y?2=nc[ο]efO3C. `6IUҒn'N0[mc#,MB>ـC.z{PH.ne .aq&JEE6 e(!`+(5W_pM̺Ǧt44=A-U/皨p$}hqRPA]ץX!5#\HASC%_6Z:zpqť6.ߠnu52Ieه*esV$]lD/6cE\H(ψJcb4]΃>-0\>÷֛{\wbwolrPsvI@=gNLf1fvN ؘCMm }9-c@_UfaXl7Shmdo:Yp.G"g%_w0xX$Y4uݣL ׃u7 4nFZI5'6TLkp8LU.\~_e߸h{ a:AW.e<*+ib Y? U,doV}U3!U'ĪӶHO.p4]`du6+*͙_m2 wߟsy;6P ,NrpؓfJ~d@ ॣKߴNk`^%ֶwKn.e}e5Og1C7`eg:EQ_I-ѱgYZ3635a764cecd79b8d0b462b8ddbfff0bcfa938106c234964d2ce00acad8abea2736235d9c47e1057 c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f538 18a3c5dbdec0ec1e741fccb19894f5e73590adf0 d1cb745f4a10c19e3014cb4fe8ceae452f0858ea