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  $ $<4Tt ]% HOL-ex:threads=6elapsed=238.236cpu=1061.604gc=70.780factor=4.467zXZִF! ]ŗXf1-q恉<Td.ͭJǎFƱw[sܦ, :Rܫ=lbN! fs@IPC Q)Yu ^랳ku$OK+Miq[*H !i_nOR*qs~ONdž-ƣZ΂3dg թ+i"o K9::|T .MȞ8D }U2(KMX f}pM@JEAI;OdCh@HV񫨒9Bff#,:i~Z}Vr?u)~Y8iԃlgHD-:k{. DM;̠?Zz&'W'3aYu yid"9gxRT: mbq nSK|;ﴰIx]xˢ6Wa?Gud3 Yzt+jQ)ɨkS:6:qx6 ɦZV;eG7u4&>|wBXz/.?h$wN,g]sr^(}Zg'cdGPw[!B&w18& ,4u,5q#Я4E@1.)$f@Race}O 81WɚF~LEY*mg 09aYmCJ,6b>f>5.CrXyL\fSpE_~GH\a v a;`|{ؠSv/t_NccH漏$_b} SWn,dcK4ݫ&#;|W On?OK,"&S_u_׫sXe.9"   HOL-ex  67+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.ML7zXZִF! ]9IP3mE?,J.鬿X=gm9ZAm{&>;/44o_%(+ jհ4 4͊T9Xt?̡D::v1&y0,D^F,bC6,Pc E3A6jq(QnM8 I޶T;*.>*KA_71P5j2rhK^HRqm<{Qn*Pn"omR. -UƦt^Ls^ )‹E {oLN{dv5O 1Vh +?Jȑwןb*S/nΰFbF ! ԱGagKQi'٨Enxͳ(]YPEls1:!kSv1B]wS%:y >":Iz,o$ ! HNb7:}5 BE$Z `&b{&4<-l:3;KE%4m^wg1(q s"HcyX Rc(Z\`0P'ƀ RYM@E.TeeC&&´hGIbTJ 3n}qiBo9|`ѳpF9zf54"D=&^ ggYZ /7+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.ML$vA}=  V6 ^u2[HiŏkyA_u> ],Iҿ7 lHa/WzHF)2A5?k xGWwj@{ҦM@&s~9LィApښ(l􎚎) `99MݷXaAZiюAizU1=*.mؠ+G :9RQkFkSp6=ܨMB=Lor  ӵ*Р>S@^Xԫ=#w`/sEs㲪 x X"3OUBZcNVe&6NlɐϨ`#a[ɺY"pq U}vlfGU4fgךXeOKE⡶C$^vx/9,m2e$DgDPH{ޑYNǯEC75Z5C<=Zz!Lx\X>[R×)z-n$lz/)Éӛ4:qۆe3n.hR9zUdH1tqtч4jvs+h cZ]&j3 VJhSz% ! AU͇ {Xfyzo@&,e2+>zecF("0S )&΄|{ Q;XNZ?Xy-:j+DZy`Lo=Ƶ+o ( gt|/ 58| Es ܠX렡Y1P'9 kʉ8 Z+A!\,]+kuY; Ȼj1;f'.UA?,b[:$zu:íow_kvɐɥ$ru9gm~Gn3Æɘo;v^0咃޽[q/ҐZN[ h9%8Hj5] \Ui ބPv/- ! J遮s;h,+W?:/] bf.b-2a^gb㹛o+hL{Fa'mzXJjw-p= %CI9c){'ayܠ W!cK'B269)۠ jbU\ORGz5c*>\D7ڛ.x v֢b3d1U7aKmn~nvGӘF@*i.ipa}8/ҹn:٩MvIUp2?V<8< :CV{/]tרMRu%'!82[/ėcj.!!i~6?>&Z'Әz)'~X(1\8" <;nmOM` 9!WP!uO{; ۮb_ I)uijȽױSBgd !)ޠBHNFfI?TepIgwOIs%T)fOq_g'a$ do1|(3Aؤ,rnWaHJР]hBKq?غ4M|(ENisl\KuRpQR;˯{fR_@ؒ/ڳcZ/1*^d kn&D׿KMzeȞl#B.}tk2etee9tc,lB3*u- "0TŞ&Q>sjY/tX[)R#q&<˛C/-,?٧W=OT6)j(ofoe}tuE|l 8?0IZR"Ή^M7+3|cJW>ߌ^.=.:zTڷNc" ZL.Daaz93_GkH~L3)gbAݾL +WG^&^Bp~ry)PeԭU)DZfKU`Wj$%ײc:1eׂA{t #E3EK0cx0iIp$XtyrAdc[q姱ZƸi}Oem9UhY!{Evq):E 6Xޣ6y,c 8o'9(l?7]ԟ:|5i);~W݆6!5cd~Hui_>GIOUGƫ: wi[mВC-,F͟Rߙ JK =h5qX`HSO: 1DHQD}v,/b~^v o0b`bYp)Li-j! `- ^mw'k8gNhfrۯ$ZGFM 7̨N[r*w'|iY3CciBX} yXCNg@{NZ]r3TH 1>x|MnN% ei=-OqkMTR10% y܀w v{H!ϸ'D^pqP)%epKq!ZJK5F>K/Xo[1P}/}4cV_iV(ggoqh`qTg )0ImVG1 4{KqK`L7mB SqcTNGX>ȞXxDi-L} ls4#p̏J&9M*)?-!opgs|tseH#Q684Ov_k~ԀTdHJ=5!E/[cxPnܱLaf2%<ñ&tKNVېl}>EtƉYÝ[$;5Ay-]ʑjYGU=duFB<#͐M8c2X /Pת"ǵQ[:>wVlC6TL!Hxù'D|Ŧ{D,8aߡY~.Z4E{Ah)?qH):3o˩5b @ĐE%I\w8{x?>k+oOU%'(ކvylgrm 8>ⅰwLvL`?L2%ϧT,viUW !kMN&@n(*c8B%MZt=׆=5R͉I84X:ʔ~ AXN]Txv|mA yIM戅\rLq|=7 dpl0c^[ <=F42{: f+4zC?0[̢[`ɠl VH7Z-tiv/m`׈Wz_FhGlD&>P/~fauQ-X6{އv.Ι2;bZj'gV pugu#"? /TQ#KG[3x*m d7@|S忛S˫l0_GY/]΁ag7af`D>4} 6IcuH_X8c1ٿI˛LK{vd|i{f@:j+3#`gYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#AfihbҧV*6yBm Ӆ򭑩HQߵR J`0vqʼni9e}S_gtHoqbyB}:|BB~질Lעm&_ƤEa|/*I(ϿS<~6*KM?kS_MwXhneMt>;w]X0t2B%6vE<\d;7H#*wdrh'1 i38r~T J,eމ ?`s&j: 0{%0*a hB2:?]2JAv8t/ԋdQtY!WJ*iNSf#0'":65m6\ AaY<-*q:DC]i+aJ@y~A}=%DlKSϓ|x@{FW@gc%m>j;ަ _:,,[I 7\{Q'QAIʸ ,]Kt`A{A㎰bt][itw%:"B_Ā"CjtDH奖ELf@OƘr"wѮ Y.̐3`{3\K[@ X:Tʗ@m+(~ޱ֖kR&FDCQuY:q #uDn*qP(1d`Y +rĄ춇G%zy\M0K[]kQvP3%џp,uV3ړ7`-M2[PEs:g([haVx6hiʧ <iV{1h[G"f%CudðнTdr4_ .Z 6/ۓEt]Hg--8)R9zjw,4 V 5tgYZ7zXZִF! lFs]ŗXi%J6`hUBdjEE֗ӫtJhЗaM= 8kZU6 {)'w\S]4315XPaSl}Lr՜9UN:`&-5Q Ȟ';snqqMs%uDUR fv%وx}u@$L뀣-L} j5ey'ʂR^`DwfPw1'U姫EU'_\VD#\ g=^gYg!Z~ےւ.+>5y :^WiCnPK:O8uZS>޳-&=#^3\Xd~jg-moo\i_kϺ1R/ܹYZX< k$ uAT ,nj#Vf#{a?P#7;Am6oGJN6B)ĸ QVY!ўxt4taWumvE&ƸTZɅnqR"s!t6O켑>}I8}W$S_ Nْ2ݿ‹C^xc:$oO)1<^ݘcwIG|};2>GR2 ~yIUȚT2uKM٠[G t@ 䓨b)1mw뙶x3R >)yS&3hQkА;+_>f_F~*$}" c}|Cp5Of⤂u?δ̗73^ H.#1F~c@buKX""6Eف]mJFui6+9T`?g@h *ѩ5_xCla/2kjX3s*Y2Hh_]w~ӏ$^~Rȫ㥵fz29Fn9Nh}7@ }R.n ^y{G~ "J±kX>:>f}I^ Qe0C, :r+.=+tb^$a!}P M#=OPjZ7|A]8 oo~7U:WWŖu ~i`{&O2 HYˆUNSYB3j!'dև0YD X[о ɀN^zjMn ocЁ+j]u|@h% |O(!}5OS23mZ 0]\[=ryDJ 4p؏z$i"-^\x p?Wc 9ͯBvTT6[,Jr5piڝoc|WD0FUmr[&M< c4̑PgTDy*&uՀ]IdmˋG3DP{VNMҫ0D\RIH^ji-זFKީF6E` hw<.s D!V]t([h  *~ 9XH\;rCOx&дf1Ɔ px.V; '`q'p),! Dy32jk0 K(~`$>@ZT-@V0oŴE,GEBU1r4&UXfk Gf0nr0P 7mŢ0!^҂!(ܤٯȿ[!U1%Ӿe}/RW/?~vfxLE s.Wy?g#ȤZ)7 { ہM$/z1g/ o@ Q,ys# G!48gEqoJ 6X^o')*ws"M3e>|Є@HY\d@PPQQ:ڙf.ۀfK7d(ѮȀv$JP@nX?hoXG]Q ;X)1_&r`R޻ ~Y <RljPJAט» :#[?E^%-~Kb02wnQViS2gAOrmsFY&hVm“^p K@|뇊9>B{^WԄ1лAUР8;l'}d~*?svqD r+59:c u/FEtK6RY;в0=tˏ}DAY}NlL؎KqisE QGAF^E MyJ;cL{~v%Rp&5"='ZqANԏlJi%EC@Lևd=bxѻfe_ f;D8)|RP UOF-)ٛ*BٱB`c zB4J4Qt-> ^\0X2ְ x?9%10c/QR/Bz[PRP6"F-,`ƿܤ:uanlQt:SЧXqI"UJ)g*A1dI͎#nMXǴ\h]d -$H ZHBgEX dh۸X+o f"VGzt)IBW ͼgb߷{j}Y\ZPG!>فQa曶)E0~ E<2YtΎ bK#2ɶHN4@}}ʑDz_#ztgi7VDt0䎤H8絛7ȗΌDTz\ @QDYKç{?kcÛa>O X7KH!1s?I5wQܹƥ'̙@&3k % y<5%I Sq4V/ T7ZJeʿ'C0یLv `+~ģ2ܽX?Jk'޹(3^2NPD%jDl G"pnRK bh(S/k/{u7WQf\Vɺ! Ŏ7SډJP vRX=ѧvqـR7h@}R-A(T^[ulq A?QlK&ܛƭom 5 $AtݾU(D`tO"@HXA*2}裚 V"}g-rL+Aj[ݿ¬ Q@v[ЉCClUt8S@ObhvgB[O{!RJ)S̨ˣ0ԓ{؄mg>mdm/?(OF!ޚu+P꟥E]SjRܪ/o _gb0bN5eCql4qnoz9(Fri߲r.ը8fsP)XD-?K잍G8UVV01FPڪpKw $gf&`8KʶEL0OD&:sc3RC`؄}v3٪zS:zYޙk:TFs #Lo=p vKI?`XqHA^_t2?Ʒ+#W1͌t^- \fµU2e2Q3,'yZx!# ʉbd <M72D|8p:al`&Ilh v8*/$/spֻ6MAer9 E_Nn@ip= ~V J\-4yo؍k ۏ5Ybk _93q|3wcZxW=\ x(R4*mKQuS18Ҏu+{˺a}@@-/hܻvGwnJI3 ȡ{.dr5p|"}&CXLMPU{r\\ ;mH~8Do~ 1᱖wiUyrGGX!!r(6wT{fMagAD˔ 2Fa~f/_p \*e qW?ܮP՚NX{^*( *h 4%8P0 JT굄J |a+L-n{8KC&fHEU.nYlQ[67לua(4C+A.RLerG%S GosJZq kpBk'\ S 7KB`k4SHr^gDS#O`BK6k+\*RWM*oJ1<:UQJPՇxp9EyK2TZ=5Pk$L8%~u'gosl6@lN43ؖڊ>Eun*g X0fhfg,7(ƀ6 MςG7J_J3_C*FI͙(z:! )Gb/z&5<(, ` iQP-/h, zdUR4l&sM:pr1M[PavrlLwZg-]xKwxkO;Z8ϧUkg}|a |qT5inz.Qb0eU#~;kVҫ.,o,ǐIry{tx ZS'CƏWM~=Jf*e((n5ohC0T9abGI5KW!@vs-)aB2@pL{*qm_|sff!K;D$g̷ bQ,B5ʿQ߀zXq=$4&A鲞;3IO2+QST蛒&hxPN `tžT" HYi'hx"ZkS pF>ٰg  a-`D`lvRIxM(q/coHJy,P8)tuGFk{j2] >JA,g g_ U) 8V,$/mg 6]tp8$~sy% pZRq=_EYɢW鬡D<Ӹ`XR;,U+ջ>Yc,*V/L{yщށtE0Vȡ \!F; '-v~޶Eׯg$* X Z˙ʷJ&jo<AI+֢5\ k8#^e3*%"C#} .u(C5 X V sc7& &091miOb "shF[qT}E77h\x`{a?o}qІ'01T@ 3:\8C j\x(NBoN| 'iKt ^aND_ x j:|-Y8 NPdDw'V @#\4)W;+uy|s`Y듿Y,@=9q1s )҂'XhV*(dT806kð.7~u:9wG`~&'[(#Ҹ\,`IɭƅIذBx/҆Y]N_?z|9V+4jۯuėLPr0*pokHoخޜ9!} "d0{0JI8>T`49\ȬLNb :1Z#XIժ_`Q \aiwLpWBS_r*_ -S[ˊ[n5ن,$w4Q=YK/s}\5%"z pjx0}Mx(]ֿgr;Γ|ЏLRdfZ4AW mwO]ҼINWK*_Debm5K;:y /2yw}KQVc9kh^p*݌NRTW Ɯ憲M/. F5<(NMED>~fo]D߿Fsi)Wݾx;nݸ..T)pr&0=ULbMFr ' }zOo>o*f:ni:j-,SJ6:IhOBG5BnS&AivKwǠfi s p@B:Qq*_yHY~ߦ1;"Ӕ&X.Oœ`Fc" |[RXmWEwJN|!-T㏷S\5τK2[2-BD!Y Pk9C]l׹ȥT$m%І'J"WD΂@ jx2})c0z8]VfC=$ M@iHx}1'@_GX ˓pE%T](-RK׀^1 uG<0)6]D~&1*S]";)d 2}+"Xց f# U5 d ep4? gZ9;ʐ"%$~0c)x`]z ׀9:83LC^6B-/硬o%XI ^$U 541 Ľ~TE uoSVQ(Yj]W{) jou(xGș!2RHK+x"4!u葑og!h*ckdN䪉jV_W |-6LV) ROBγ1Zs4_4t isQ:%,PtPdĞ+EV*m0:-CTD{Vn(s ˧XeQ70rJVGI)M P fiAET7oh(,Al0%`< BF]ږc)&Pv9g/)h!ppJc#c3CKVL'o{A&$H&oMڎ d"`$5~̮w,2WKU\$YFmH2/(9HYsx-[=3<6Hą|2r(9 +Wkcİy k|o!}1$(t^,lX}~K-C '(c+ ~ȈhʲB#DsN>0NІpdTP&Rka]6an(3K*T(`6j3xX/ EzS0/BM(,):pHV-,h#OSxIkKNYXwEKXA@/nyfDyGÛ^|K2hir Pڀ,#젢a;=t`Зq @[ *J,0[CFk]IإHJ3VtW/c),tvc9^ӌ?h,Zq/B6 m~\W'p_#&lJmX3O%uP7s /&[1= eR@v0cm>\K*{ &%z^K$Ӗ@*[i,B YQ<;.wD+(8I%4g*^gQz$l]}݁=*US . lVo_Ov=dmO٘G+mCf*5$ڠLsK򊫼uZo#WP+ +YDPP}<MB,Z`sJ2H5px;cY}}:9Ot(qCUI1~ˍxPFͶh%0)!6*G ɵ:}y廒MkHCaHwr8. 1(C8tx/6' 4BEN*&]${vrfcQ64&Ίn8f:1HM%Zeߗhϻ@g9t=Q:G^]d$_[ԋ~rVa7]js _t|jj*K2.NJmfy(]+ZM\Ҏd9DɫZ@տp9 a/f-716oc@`9?˝s|"#gO"'kto&&4;-(_s2--Q [r9RM\5eDQAX6>+? 0D vX1$(9yUL,.ʏ`!sSn,Df=]S)-Ct݈]2cӒZ`!ł!LdSxӹ虂*|/G9.IX&P?Ӹ @f],&?62KT9 U!M{ dς?TJ#1|v2E.}lZt {~Gr},A7XDY0c{*==$!0ROK 54~]XK*9BfoV|DDmw$kƯ|(( {'T"N٠Èon/Aׁk:La%:U.DŽ jrGO֙aAu^d`z_TUf}}Oxj t _~IsAvj_4&V BG8Q3"]OIz DpǠzC't"{ˀa⾗>/ ^GXsc=wћw0IrR>Y0`>bE )xQ4Lz JUz("Zfoh>.o!Ǥ>'xD:FϩUU| d^\=](Ll&)8Tt 2o>P0ەp)H9$%ă0szOYBw1O؆c>!cY3&]a%7M"GG Ǥl/WvSk4II}#wg)u&%kPxq3m*j[Z&E Jtvt6R0NҲChIilϨ Ui/BUdANP'#N ejg!C%z9SC܏QlExT[,փ^G>S6W*koaElQKD~$C&~Y9Qwv**9Z0$~ectTǎɢ20;?-aL `BtN̪)>B.iJgǧ]Q>`qfZŔ-y㹥"Izazrǀ)صK×QQ;5l3RM5nyW]Gs-%;) Qq=,SEe }wNSwߔ}.ϣц{&ָND;HF8,BLI9\_ /(\h1g첩@FL8 דP9鍎"`!҈]*`î^uiIFyq Gf ]%~,x^}=g>f0/ښFIK꧙gv㸍ܿ KmXC`]fٰSuDZNkgOCWeSg:i.VB6#VW 8jNo&OI[Rmmk4IOj, Z年8tsV]Ƴ`J!a1l8I0IՓvB~̼u(f+2"j_dӗ6%/:!Ҩ3v~?8np?$tƞ_14K2^Ȩ =NIaQM;XX2jBIX 6*^%Ti+l3my A\I,)BTmr]x~!/}zq!4 GQK8m툭BkX(л#W{UH`RB4үyk2!ՆHؔ;d@>M^G#P)\i)YXv9w-w*DgzU@[:Yq8\:ǻbRMeDEnqXD y2,S OIȍ\ ni[4{*0(aq pᒺh%:[KH^2)/=?[@!Nۑ1MF5qJtu^bTRJ P B [XbW};gV{ j"fet94;`T쥠Y|F㰚 0{|pe?4BW^->8v╧ϻil.n~EN|dG.H|ئ4GQ =ܘ])NIGQVw B/D6]A: _z`!/x~uk+^-^n~y\QVc.9PehpD,-ġRCh2':X-?M>nmRR_Ni`{M/uuV.Ǫ9بn{m>njTvmެ+$nFB"+J5m#))j{)GSIJi ޏivG5)0!{~HMel@FK[\p' :a_=/Բ<;Jxݸ-x\X AB !#=6ߜ{Tkci* P/BjsmFЖ9#д(>g.%٘7p+\hd|iԑ sȊnIjZj+Ə;ˊ*Ӳi*mR=ogL)"@蟭U ^ #cuv`<*Ȁ^QX7&!SQ'rȧxAHy%| p`̉` BA ]0TJ#K?vqLAd9J]>a=Jd6?xR N5yлB 6t'W 0վIXqgdΆWg'N[̩E*7HPtyMSҼtwFRz"{QWK_qWf~? ;{KmF(Vie0K͒;pN7D 6T&ȩ$:/9!~("'PZVLoTεBq va$:ȶqqx +G(f].[I2޿MFBQg:.MCb*95ؽnFȻ4ZÁΨaqGF|,Ւw,a]6M85dO 0$ ]_)2;qiS )Nq>ud6VP 뱬~dhY2EER~RH_ ʸl9VOQWtm;;;3t UqOʦ=*u!s8bK ."e>7cz#`OJn{okq.0I+Թ!pO wՈ8v=z&Q.Q/70 OWw7CNŪbх8A@}HuSZai uV\+t(yYOʔʮ;0A^JH5Y1hN9-i.(}Bp0¡LzXTb?ũԶRu^My(Dr`H- X-WKy l"Yq59Sd @+b":/ΎL)k"sy)ݢq؋ S|V(ievH襇ij,` K~8܊}UYLɉU(-(2TEP VihA20fijΪ,V#^7HоUT;ZdCD85H1^I:8" ~c6Gܢ 十!xo@K .*^؟zZqYN$ႈr['_P\KHp<,yAVtfzgWZE}ڪ&G;rq&}Ny@U 'pة!\`EBh1ONɨ:rArMjSwr2iЯ3mE?{so ѮZ%/Q/bd2ڱj ߊ4߈%oTR.8R53bPQ\CM4vոѼkoa,+҆:|׀ *CP?{i][Jgص(̅`:S'/&fpVg̡,ݏhAΌpx>w!1'=a8u>]%boVZBrɍj́%*^eDh1C܊cs Ζ>0VI}pz;M1۱ ?|T 'IE;|0ڡ쵲_@4h)skVq*=gDKs;5 ȁ5@E^:Ѵ*Mc6j"Y'ҍ&SD;دsPdu/WM %c^sFPYonUۉlP.a-l~e{ Br,k NI-DSU̍Y}ZNcZ]ݮB;~+[gd%=%0^P8~~qѓY^t?ϟ -~dlN{ `swz0]^vZ=O++t<ݤR1K]3u`b̥uΈ)衻]0-R\9n'=yT7E!K -/:\܈?"׆kEΜY>M|[%F1]6sQێgSp'8Zoa"9On} ;*aG+ޒX7"{ϝ\wWicyYVP{zr[^2Vl2*^+K8" d0i;ip%{la9Z3ef-(qPܘAL3F0R$1}?߱5HI#@IњդǑ +yiw< awozJ7 L"3x]] Q"|b> !Oa"1&RόIV:z(}f[N+_>X)'5-phQ.OɒqMq&EV.eE40-=28<ژU=^R!ۺe}|{T; 7m*JΞN?mȔjMSypPmcw9M'xCb; aO?/=B! #_;jNto2-jAsScކan\r<$OC*~$+s^d=7J L?NtJ~K7TIb)dWŹ4%l?`/y7?ui$p;znɧS]<ѿrȄXhG^#Ls)4z =@sKNn>ʰE1o*Xn)%ůZsmj@":7W0V_AdP;C1S%- 6Y-cbw!K}y^o`d 3]`̮D9)[e2sF1OO-.G<Ѫ~yY'*D0r$!m:&6~wK@(5XP$qgy>i*w iHhu*TNaGtZe1do7Q?Ĥl"t3*͵_rz>ڪr!#-Ǔbiu]Pic]|gYZ16d849d8eb83e287c261d2c7ec4dc34ba684a19b3d51ec384f4fe0110890543589008d84c8e75ee4 0172210ae3ac6aaa94a4d31e666fffe9e67224e0 39f11093ebddec9c3adef02c7483d3530704eaa0 472960f7a02db52e7f8a983349237e03973e9e95 bb298413c130ce3d6ae3d6b7197be728b1a33a9d