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 @@9L<4 ] HOL-Datatype_Benchmark:threads=6elapsed=669.967cpu=2630.240gc=1352.132factor=3.937zXZִF! 4_]ŗXf1-ĚEM@ٚ|3Vզ|T!-K =zQ~ɖ$ G24̍t^*m§L79<}<ToT,Y:9o'y`Nʈ`Ij&4XcJIv]tzXLYo0yk觬)M?XNlڕOGZ⽵LΈ)}ԺUA#TlmyHJ-X3C|uLC-%%Mu(fS"9EBb [TRqܣ {uyf yq<}T97#mj6{8,Abp?MitUv[|E[1@Q48_iob#G ZŏH΄rS]\J!*o#x--%>/yϫ0GA= CtE&N|_&EC8Rr,2aH3pޫ{/#M*Zj)& zMva9˱Xщ'rmZf  !sMe&#Χ4̮Oi)G7֥*< f"*Xԁ!`7ٰd"Blg=S@du(C&̈́sv'4z}p[`v(F/H]oH\"v=P%WwY{ze-|@\ˋEj뗄ҳ OdSWqGg\ѴJ$rWLRl;-9:"Y`N+"g3 ]g>H+< 6ǥ&f0ҝzc}^%`P:IHzô-Aek#sK:)EƱgcp9=zl%AGQSҊ+~=ztf60"gv. w]It:IȑzlOU*TշkG*sfwgɿM|Ùk҅| %SU 4 C.bXhx~d  ywCPTO8~@A2R/GdG!9! .hgYZ7zXZִF!  ]ŗXiɟ1)*u%9`΂tagYZ7zXZִF! s]ŗXi%B`TVY0FfCPc32-6zmo3UWi\LPwާ߸Q@)Mw Y+a~ ǖ`pՕ7ӒR'^yuK87^F閝Z&U oJG业W-nazZ('Vu4},]["L29+9Z~tƤ/n+08bͦnlڦ[Jy뻿:+%.T,c.~E?WB=H\HMaaM nwkݞ XY}U vcFqgB=DH}ɋG/'BN/ `NFT%23_JYbx~M7m/UWp燘-GDY}!\T}="fWLOkyMxBG y"ۿmMڡp{8.f1z;FVX{.e̠ӆ4k ?88DyW1sa][ɣ&/}W/.H;ݓתwx_&֗گX棷_߼<~v 4RLx8JJŜo 93a 10u79c!Fz#=(2Z~|Epebxc" 'W#gϣub`~Y&WAG= ~q,b Y]:UuVqfxwpW(Iws B堹)+D a^Z|jCxenY<^fu5)*Ⱦ"{X`̛MB nez2@c?qN+^0&fNeb$Js:PqH7"h 7qy7tЫ6wTP@3Ss 0 FW8]J>!^ @t׏ߓaU }Q`j5}{~x檄BrL4&(',%/Ԑ5g]N/(IY,I$To5/ê-h}׵0  9 HOL-Datatype_Benchmark  ߤpk+mJF[=jɪx`b %ھEFA}6kNJSL*]^઀!*1}$T].e:X,v;zTmI<;n7t1ЏGy7qS&7۠y'IpX#\ab,$9}]8 pqJq I춠ǪQ +T;^O¿aE0s;ɾ<6SAy,8sukoWċ ?aB_6%مBSu)UÔnKW Ŕyxģ]F+8*dр/hh|f|K7-VRY/8rGkTw@gdJ^ـEp' }k.4?.'g3P87hαfw<ӍśÂsLx1{0V!Z*!-DV9BeDlQ=27^0opyp[ƅ s=[qks^`ٽ^ٍb<G}&33F\zbjV>j,:c}Ou#ڭ/st*.fEAH C0V PS!~SV߃ZtM.l?q޽Di,}<=Ѱk﯅P"N)Sk X2]o2eQmې4v㦎ٶAn׀GT^7u_f؁gi ma[2c )T7855Qy{[D*T`"rxz  V_ȽE@xiL h!sE;>#|:@(MQ_&'t1Ū(}a*C5x݁i$> TKL&T-D5fvafN8[UJ!N'Oo>Ijs^2xܩ/~\66Ih1V.ق0ݛDiiQ^B$kߧ͑={oE\ OUE0= !ǾDz擳9E%`Q;ȋ%'I7 6 <$&y&ϾE>-V-Ms6*ȾW3ym7XY;Úp-+}`֯TMHHJ0D.]E?20(O3Xͳ}__c_e8AzEK.+9j]h-/)Oβ[Bו{mHZfqr^уuis%JڦM=WD).VղnsO2⭹a)^|]+u{3M% %wbjhUXDUpK6TA/P(ǐܯV.jb枔[0p):U", ?)Fm*ߌ />ƜH'don-` \Fmt$Vq:\ܼh1[ Ё^IG{ɧnw%xyAxNLn_c>Fnx'vluC:Lɉ]\K?.@2G 6uؿjeC[iA)4Avݤ0]ӏK=o&wtĬ ~ne/fYua*U^eOHMlFG*]Ƙ{0:Bܻo;.-'nU&-KA;Ǘ$| =h{`fctSQ,6%@S N'(Gy,X$!<-J /)94 p΢qQpfB 'PNXHpiMPW%^b“s"P7s}@9 8)r~K>}fD71cXu`˿ՠpj*c|ꏎMT=(p]P%5.rjG)˒ Fgmb{?tvIx26"&.…s}]b@/|#1dG8c>A&%IB`.2_U1L:Xj&* lnN;ìSNFH]ܡ:J-At `H9H8 Io7]zЏ=osf3>?g <Ń,$/r{05ض8hwJQ 6 NxE)t؈RTyW^ř{ś mxl.^rq;QJ=2Nvh5d;u ~ݻ@T+1G"5iD'CP/,rak A z ݩnm[²KQ0ƖcpFuN?)у}d͎d+bY1es'OwBY,<:^|<ܡd.XCKh&:x5T#Д8bԧу햽tyw.S4D r绌@ Yq#WY7j]żgՀ}_jŬg^/JpUJa>xnf`iIq0ȩF&ѳ V Y*5h?[)>u_ssVLyq8O _yRuh!J gAbZ\nyb?|~M"ӊ|h7Zw|2m +nϓيM‚ &kXHN5GY'N 7 9pܠʹ̞H} nZ{g7=>YkD yh9Vӿ]Dv,eo[ݥDx7 (Bx.$Ŷb1S}iZV*cךS\$Az'b;UZ%7X ;ph^JZތ)窞@D=TD|H^-EVOa!oVT}#zP{&@g5Nqڜ4ne1R85y+Bj>JSY_ڃM~Q{ns1St9_B—1[oS hF4&ƐJd BwicܭN$0-0> `VZݘOֶx](MoD3|D'IIKFŸ"RSv<}h7:QQ,5g4Kg"laqtJu\JGs^a6]z-hR>o7?m4ᅘtv  :tt"7~ Si5i#æVsg.>Uh@QqfAV~,U~wWx3Xx(Wh}jhkuaoO6[H|sX.?[F0Hb3~IXCauDJЏ+̑:wM+ |eojۙ1+ѽJz3i5:OK} e˵O;tր7G<\_JK:~bW>*V39*mVڼř1AJ/! tn+Tu;֯(n8Id MxX'ƒx[WTouk ˟9KHށFe:,Og{̖/&J]%% 2H)1sϒbmq;~ uΤч1P Jml_t胁?xٌ^? 1gnb?_R:hI6)֒;DD"$gOƾ;3 Z|Ul|5͖/SC`iXBmDIa5 rRv2vXn?07`k%VDL`Vȋx/S"ֱwLr\RrbmmlKqd[.XZH혰U-'Eix`LUi=]IT(4ë0o=Gڔ &㭉-*-" }XOK J;&."FLg9ePbŔ AILEIg'5gp˕dX0*i'nUF;sQHl9Zx5,4,o|+*sRyl|kS y)%ItE!@9_B _ 2̎JC1+ zZJr⣎C7U?FÐp ^G+hL G4(5!Aϥtةo0 ׊˜aM^;CmpΙۉ:p9e@Ϩ*|][,\* @AV^WelZ?WںΉ)$ <=~3`'!V|+g}jtr'㞒Ĩ =rl5g d8M-B~;Qۨ i4+*8WH[zgzO4Ecւ@":O97:]{&/áO ET٣)Ǐ ` -BN>r\g֟Jl+KKN]q.G\rp1Ioխή/Zi/w, m#G$#,Nbv"xEgkuD-%Wy6cK*6q%f0$z_kXb^&eG$ސcJ+L|ZpSj$!18[4Lq_-%"6D3} QŃ߇g6audv<)OKi:X [6BYk7Ub*}CƝ=_y-t3Aˤ4Ț3j7 ʄuP=:bpt2`0V-aڠE4uP&Fo5\Agp Ȑ)xAwK).)x$5 ,l]q 1س͌g =_i-$e>YPG(ʸNCߞbZqѹmE[^AQMRXSh(~фtn诛5R'y+{8d :wPWBX!I#4vNF7,f/6ꏵנo~~V4|ZVWvxl0utjEGGѶC _ Ako3[GG,?1revF ?(R2pVFOEX @wp$t&&YYyeuT-ȣ=k–讟yy0䐂*f̊{zHGaBp7)ͿlA }mv=>'MPr|ȣz+JwF7ft=3GÍE,%S)奄Ma (l@ƨ+R]myPGn!'ᆪIh)Mϡ]O ׂh4 e{a!y8r c sqm6v%룉ŀ`AzXa3V1q //&КZ lmp%V=86eyhySj40o4IN} a2d R<K6?֚ƈj=4 RQi?yGmLҟ9=_lj܅.V! QBAba>`?p2l%-^J?>F;C=-z➰IQ )GAֹ, korn@+dV΍;Ҝ{fI|%1a;}OjZ*bw^Ld"ٳ'/8 Ԩ$ocqak/~e|#pQjIY{7TĀ Ә2mPnĎqXkd^9|% =oGC׸:I]ЍdÉ 23΂wx2zN-y4+2J`L.sRCr(]|C A'[XJˆڣ ƴ/, gC.ۯRQw LlVF'7hL~c(r1{tdG L#d) d* Yz ћ3a*â~, E,DToW'4^Ò8IGk-~ S0Ԩ$ 1_Deh I ;#޶ Pe?] F hm Cݼ%0 2Rp+V\@ZopN|[m4n Л/R~kD_Og!/1ڏsg'9qPEv=q@&Jn':J~Ƶa+(:ȀjAͣEOKC`\»LLs޹jP{۔9!r diˮ锆 ^å N|Ӂ8=j6thQpA0 GH:X J'vȎyƯtv &b 22S.A}#VX"a0=\|)9s)w=iv>~GIEg+X qu)7p93P ]GHZ[wl>Hvߗ` 󊏊Y(qZ%O}wy%D1ʛa !*3SZy*.N@T@!Nέl^4{)O] D)`.:v A]*jռC\e>W 4R}3yWǃn dROcRxO6"(."D+6?bSP o]fGȓ5eLe@~ߗg/.? \E r5ly~셸Ba|p^@bBRlz.6N" K dT&puӶ9ۗ$wAtqwL [,S gk⎻X}|T[3Cn߂MZy &9Gn ug^+BMDʪfsA~\-2SP:尷z9dOqn8'<Y]R'P*=ϙRΊgk- ,_pb7twNSͪ_޹֊s"7{4OTW.ml4Skvs$h1gwGUAeg4&x)nJܧ3ZFWKʬCG} %w, @ɳjsm"Ӊ@T)XzgJ{!Zs?Ki^+rN3>ad+c}N\R1 G>)" +xT*m qGJAbo-y,$;EqDTǕk5rU[qQyyЊ.FERSWX}db)DM{ }=="#Јr'7xy-+c 9ݿF\Bh%/ĝXTŎ")ݣ_CX5 ;Vw >s8b/5/. ?N #Mx˛Yhfz$d a,?4|/G<."Gp-3ؘ%%Q:GxP'}М\\I%b15`.ߒgkm5V4Ӫ_ 1>9GXo ϷGlf&j#%kӋ sED(t䭺C1tkQB-բ >7)Q3b5@|"_eTWz.2\Y=J1qsڙ LG f{hơ)l]a8]rK` ڰkhmuhh 5Ve@ҾSl-ܝJ%+hJBN[eU\9E<鯏ԩ!\V{*rB^],rV"" Y*h۶*߹Vӛ[%0&M(^oWXz.vH+3Ra/Us7U)PT[>VV#3m*8#z/I9~nF+Mף+j&"r+PƆ*KlXd4! ژXpahv2*Fuwk<`E!#*&HEOxB$rhb6+.c-&s,{ḩIz/Al/*L`p2[ 8ﮅkWvhɃ|K'`E V*eE8W2) j#J?k;,RiVίrQwo%j.a?`yJ0ɨ}o{M b}꫽OD n N]M6J@r)>U[5oTr0u;/EU6̓cgW-egI>0 a#v.M2g/,x&[ vb7`Zٴiʝ3 YB{`8'@!QjoWan?M"(|%j%PD *lmv8߉/^$}8dY7,K+j<`BRfI W>4B "yBuS77sB]xD9%Rt{-3wU83G th+nj㢌fH5Qsp8ƔÈ!X/UuA7X}&k3} #'{:&G 'kMRsã8Ae3[ߞ{ ׿\ p`'dtb n>I5Y?ZNrtavDCZ&0YSZ2rո&nߎQ Q %KhH /WqpȰʜ2ɟ#"r4$e]\=ʭ3!B@QNH[G Ĉpe gvt@F x)z 2 UL@p<\ :uuxgu*=/jsCItL<;-62_ʊ9 _\U+|bI\c5+ʌ}K MJ\$PC6оOfݺD-[rQU/GT =θi'8.!u*MnG$—=y͑}z. 7heqlLw'ejpJ]{!O ]cf]:_)[EqMoǩkzAt)5kSk ʥ5ҒeGr^UoZҦ-fP%>Zjb pS6t1j@}ٴ}#A-$ӝ%6`bҢAu 8]NkwLȎ6Ig<RP:SAB5cj+0- ㍚9'0&&?Q'BS] RvubS~v' ޞ` 9@b`:;ӨCf>;fR#˩ݫHMi*J5&v^dC/N4 $,ZT8o]L1 -}Ȣ| EXL#V(g%ZsyF3 ҭLܡA=l$jՐIelQJVFN{lQmMS כMP\0B[D`U)F)$a3sV]J ;E>"etVdն۹$*W!x9_9 k4> x3TMX: Օt-sI e|륝 5+쀾 qO<~ ,&Uj!HmBҊq`r?u\9%^Aɑ@1y SVcvi@o' +bud^ 6\YLU|b6}yqK)BzG8I< Q[GSn;LY,7r N"{nj u<&UgF \Pʭ@QaBaYN8'478sTҨv ϟA|Dkȭ\PcnjT)&@!!DU*k#H7_|-5lkCrxY]ŕ\p;)ң :hɣOښSXݨ̹is#J6#B,&9(֕>Y"q#OL֛i@8<D Sc0uhD:-R`?#v]RT~sGAϮ \9e#QPŷQ| (qrcuHiUmf%O@'X_aӃcZ-F$ZO19i3MOM\8&sYpѣ%ݻ(^ϣ5<\E79 u8BS*niyrV9}eϦ}&O2q+&;oo hƜV (w%M#ya~J09u;H$?M1`_ٹrk~վ'('VHPWuE@1ge7b65 ut@)  #^SG,R5E{ X?=j=ӮeVV"C*FP}e (EIt.OWErri$[ᩨz]τv|G'_8Mr&v;JWdpHaQdb7OGM[qCvCP7IR0qkH˥&7lw-)20?c4ĹIZr_B/8_'yx'iD|g6B^c=XJ&#F<;[;G/au,ItycYN*)kPCJVBX@>Ƅyv-k2rǞx%`pUl̃[Bzd-j&WGSwUı/J(ƚyj0/?B"O/T!(EP޹cdFɀ%~3 SI[0FޞcHc≥ De_ XyNWV>C3io̕Qҗ?>-|?xRor :)!F txW|뷨cYE!=xL ר<'9Jd/Il$dQVfW4&(D0 4;fͮGfM<ӌTЖSަN|{]} fTլzdĭB9)Y Ar< f<88rnf0\ӽCcBx>"Qa1v6a9xgv3[F{GR痦yٸ7>p76#έŌ*mAZn`>ǍCD鋖F!}Koن([)lrH3.e, Wt/ έ63QT| gq%6fgxhgH4Ù!\xWw%yUdv<4_[e1WQAx]fz\yϚ]zvhN2IzaB0;lnC"tU,=s*#$tk/,{)bк9r4"ߜ˫!Uf GȾ#/͌hך=NcӀ_{7}6o*%䜩,*iT+ov^QkfhhLHYzxO<=M!{jcl6loΪa2>&y.&0 6TGk͓!. ]z/ "A GE2Ha w' ڰyHDN.Ljk%X\ktb(O: 08j~)Su錺!m g0 ̸\|D6^͕/ )h;LYm+c.<⻞Α$9j68/C17h^ۈsfǚb ĴкSGl978!{ +Lm^E1otVcBŗN.Y)!cY[8?%59"W0 oJA-A "E,FXkVSL(=[\ty-y}uh+b{vڃ#u<1r\I5*Lc;J< wf='KW_ѳf,:;jYKBOB-Y &JSeO'n[M\2q7jҘv]N*d~oB>Zg2e4+y>A0 gZu%r-GD lKz4Gҵx>(m5̮]w=!st-Bvif?1 :4ŏPGcNgH~'?bU=Y@"PCq:j,YoR3j*D/9_D_u"29w>9_2xF0RRr^;N ;Ê$_엤K%%KCęۋ;*Њ ǹsg=1woRbf31N`&v>yNcnKIt Kzi-Y{cTX49T.d2m[Wۇ8K!2KW3[Z q]P  ڿ%Hٴ˛?vICqSBU7;$8:04 '&M|KtNa%, IJ)V `ǠJѮÅi jGBI !=/ /I0ۏ] ,2A0*izKzU{wj>'wiiՀ*q :LFb$vR-$h֣ V26mʿxbNY TRVVo( \.f8{4ľ=<;Qv d;~&Y[$cīNcF;twq\˗:cꐀbzկLd1j6{2;VD)FU&Y# Pf Q U8h+KUrDlQw ݪ?fX?35`*-,m(&>Du|a^_~JS$++ xD6r{')Y8Fo8yM1b"e;A'J,&gF5*儣} Q| cxpELف# *W%ƾ?*fm;'3+H5Jz"')B1WZy$ܐ#>33fw4bѠZq^lJP );k/.r7QǎBN { Xlv~LG"*.i"u>yeMw?-WK,v}'F|f?+2jk^ FTU["]KIya@(`kezР!)sZe Fd8[A<hS5 dz.a⃙vã(ǟ cQĐ%EMI5pLh^̅‘c^k418uxieho.r4!mjБ {Fa83 pZRxED>_ӔYt_ߨn'KCy&MqGЧN ;Z@3vG2H`9uCYγ%=F Wj%~u[z|OQ@\wE9F^{ItnCgGH ' gOXavL]G 4Z_i&fPÜǘ}bMʹ= c^EMva_e 8{Uh˯KN/=׍^#K1fTNĆ^Xl4;iڍeLU"D#}Y $,e3j֎?6 (+@'bƱtFp0"al:E3OiTpzt\aZ  K&$rp! H~zjN4̍|uQ *tLZ=$̘_Aͮj~na|NuT<&{] C&N#đy]sS~a)Q.`CVw tcI}BΘN53e:&N(M^{$AԾVPkU1v&Mb1`4 %Zѩo w_5[;~T' j Mh`觾'=lѲCDŇ"KEe_\;!S/b~ d֤)hg SI_ﴱqG, + tYKHD4Rd5Ə{I} O4vȨw*ޭ^&ұVi\^tS2Ch\FUó9t"-[ olm>%G9MgL6oR‘1uxKkI1Ȯv땟_#k7TNO, e)F BѶeiv(5GcŅtƴKbxVVKR¡g0N'>KPewɖ߽T12GK._-OS0jߗYJZ&$MB3sPY2u9ꆼV-&.V՜Qxiϑ)ïQgNߠ\{=30څقv`ٞH+Rɸ?w ']d&}aPF53 73T 4nhUM 8Jw=3ćri;*Fڝ ~` _7CN(1zH"gwp=Y5a]s$~cF=(NU80kh^P̰ a#эmkdco{V;K -0}kt.d2qXu!kg1'4ikKGᠬw,KN9}|LR}5TbEyڇ4"iM[Eyc8ZhZ t>ڈR$K`hp"*sπT\)"ۛu%`E Ǭ,[T x_`_;*0#ִBb* ({Po yk_P7䢫0~.]'S CIoʐxhۍrOP^U`ƿ \jn1NkeG*Ӫyb ;E)*ZU,:UUٝb>S{ )Lh{Wx;3ADzIZ$jQTOҿULax_fL6 %{΅A Tt@ Y>cOf.|W}<;w*.H*zΦ&y tq_'H|EF\~ᅱ?gZ m`c7R{J@}/WZӕ_ВXʹG[5ߛ*o9ƼDG-80iD70i%uX5E3qYP40ҁ$/##NBKjkz;p˒Rw {D9=6MF8Vl @Rq8͎ZLl_?-~ÄrA qzQ%^pIhi|>콳GnVCiw ~y;тNhMLTe: 5:{/d]?ȹhS۷z4~g8XQӫUO,̊_}<Ǐ/d<Ķ+6S\"xQޠatL})J33u?W, џ,ətp۟xG Pp{j]Z]8 G4q݇c[8,;Df b͚y|ϯǺٔ޷oNgmz,>{Y~S<,w]@XRo+U஭sUˏ"G /6g*5 O?Yjkn0MJ__\KwS;fa!2ߏPo1qoy%.D1XJ| '_Y:3n[xUܲ| ,s4HSKW5a?bWR C|{/V$7X`+eD0CѪe$ §GIWz/C%+sN (nܶ` [$biމ wTKWXX:_!xÐlIBOHF|tD޻Rz4!1'LMhڶsx:s q[괾Y9(J #@AM_CPƉaY(7,sm56 ]WX͓l2Yhh^q YECE^uPʌ he>cn;8Kˬf|PX>ٜCN{LXv%n֪壗:ccb( ԺZrWcv[Gi!61aaiؚ n}+&$49岹 /~+n1}s$ o'S]#OU3ILK(3[Rp p;*1uV$tޥQd}v6KhJZ/񷝚A壻85`| Em# v{ByȮ N5Xȹʘe(8 enSuT֫ Σ>:WђUa4:(} -+uS"|/XkOlM,(w'$Z.ʨ!բu(GjYgAs_}߳^WwgBKV*4pL{}q_/K#wt( B:kV]T-zU0nHoI!Wx匱#pAPx,mr$Y>yjw)*v~03mh:S4 j>V&ʪvvAWxMg :b*`a0S_خxaȧҐQ:X2=I#&; ^qm-Dzs]zߦ>GF]t;[7(P0` uZoKbG(;?< ˮӄD>qZt qq3bULVbFR( x30(~y,dMAj8A$ ۂ5L0D|Hp <4^0 &v4%]=KNdtVR^_CЗ8zM0s'xl2zI\zc~1 K $NV+M{F"v:?/DRIN؎&^fq*9bQ@/XܺCat_z-: ֌kSɤPFC2bȟzбM鯶,i"}^WtG$f f9~%` ~k|<(L#ZRO^$^PϘ&i9z`O~f|l-sGGe-[{Tk3࠳Wd#VM$*gD;k6< y} Wvw93{V%+|U X+EI{'J5epq|"܊ĉ_l_jqC ccYT4\!ƻ_FV?F2l f1^9xj+}3` WBb8coXkPgze#ºrE% [wRgvc̰=#xLqux0mTڰ}v(fϼU>A !`:`UfSNñY~fMpukI4e|qȴ 9_? ON >Qm*R/vB\GMa=-DQ`,l6nc HysԥfZpEM+Dk`ve'=no9Z-gIAKR)I2섛Q[/pfoma+G O~З{M|OZ w #X^ B+E'̌{2=H&X-96*(L.D28 ~l4]ZH.gH: \Дhr"%'ЩKAajPi| ?,ڴy8ߠEEw#)հ>~H'=){eDkp u˳l׌8 12^rLx Zؕ I %3q\9weqU!K+$|F|B LkZ,OGX3/سW:vOci};7q5F{-Cr}J4HHv $7B1HGc#R>5"ǦwurUغt(lZNjb_Wʋ<3vi(D7@͑$=~=EͺkBB)]+r *uz(={"?1tLyw]kN!NVS>-7 6Eɭ}7 X$/)ɊN$ mGLT.cXo/;dр1G]]t-Ա61v2ـsI57@HE 2Lݔx}`-(^+aq:hi!r 4gah`xmrrŶV@5-+C×/;4$?B[K#S`/vi̱d,e=<,I%t|4T.Gww6P`(a`"9wOltJC҈RvjߘJ PekV;IW1# Ι C%E̶n%$Z#λ]RSeAD!\k;~Be $茒7SCqu?*bS,NtX͟tq6GQ*R$'K&s73㙄2ه }ƿ%np9ar]a9Bt] ~Pb7.} e3Yj r8uVpϭ2MͷA{NVII:3vͪ`Ce!wP=5&î*BgbתzԨr#vRcܺW#Ut#3, {5$sL.8&|h"+Zjcml?r, CL[-7HG]9EyibO%?Uܾjg6F RǷУb1L, Sї(LNiϓtv <`yH7_u7E<\ndX< w%.ɉD釚>.|y/}eiF`\0] oH\~D1&X)U%_IqNC!2yk'=.1ׁjnd|.v4m×_-?.W;PVwڄM ieΤi˘7F4u0ck)\?Qh(@~蘐:x+v? 8 v-EÓ(+F( ?JV@?0aN[L&k\!j vU[ $?w3K."~)3ȣx]#3YcY/7 *XXCGCKF`5$ %/'7{V>2|[~:`F)2Ixs;6kϒ"53.n/aLk~Z5ֵ<ҵj4@p .53AϖhPl]ټYfD27(3=B0EQjzI5wI}_]O'3>|'%6;f˽!̞NX&̔#pcrpK3š["z8kwc3m%#db7臿)h|4tx!ʝCD[w2$qoYt}q%{u}XVX9Z%P3:r=ĝJ՟vbDFtYYe?9nwʍ-Li~FW+ˤZ _yO]MkO-:T NN[2T+v1=l+X=A F^dP&8OXᨈz-LnSڐ ;a(V۩'fFYKo@jŁvQ(~M Rw:߹cns"߀zwtSesi ~kN}c??2I2ܫ3?_:S R8RE@ 와ki<[y7`&˗$]{ msڗq?*@kXKQ C9:]iP1vnmcU:ihr\.j~شX8&=Q8y!~]`;swkL;vbX5#j_L:CcıNwg튿dDfH_ҩ 0N3E$g`t QUE޿R)&Jjfyp-`^f\GZ~:Z3h2h*|Х|(n\o* s\X,ٷorkOp4C)2dk`Bb57Y<6 1+{/[:jGH` C@fԔjKRp]Dk.8sC{nP$(50Z-3:|f+ІRegr9iKwfZe 2WIZͲ;0kuS/ͨ8ˤvn|\W]eQ`;6:}Bހ7k%( ~m#JP'M^:18=;\WNh;.p3,/2V8Hb\YÙO>L \V~0fC Bt7|X eG14.os$-RVࡘі]V/#v1p۞Ĉ!7*'yB*M3.o4EdR]RbBNI'N_ח815(WU'LUwv8 l?kzi8Qwj*edWlˁSނނvsoaO6T~oޅɮ2:ȕ!ׄ&jW6۫T!% tA hfDz=T@Lc[{BֲFgDW?7?laLώmݒ6Ti GiT5W4Ͷ qArS(1wJ{r۾f EfeEnW+wH-ߴ)I$V}Sw $>Sљ!haWKdU&=nXP'_ q 4DʕH*w .F2װn^0($D@yn7 WNr_bHŎ*'ڱ.0Szd8L!Uն#=9/;VސR 6{RXC|_*fWԦ1 cO@`(h:Ғ G8ʦoU}.3Q-]2&OD5ly6XmHLsg+jGՍ>U EnȌ)+d|ˀ ,MKX-C'(u;v;|9la T.ظKD>wҷgYZab6ae5905aba86689f2fd244c47774529738d8ac2de776be54086cd6f5d576144c34608108120821 ee9cea67cd24ab19209e832e4527fa2462c7f652 55e887fd0b0935631105aa03de079dd586c8ef95