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 99'!DL4 ]]]HOL-Proofs:threads=6elapsed=322.282cpu=558.356gc=109.072factor=1.737zXZִF! x\]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟZz3u=2OkDC ^Q?n?W+&뉣 '/ ir&YIj|~ Y|iWlͪ y !fL Ǘt2Co 4 dtϩkQCyK+iEx=rO Z*1rMgjT62I?z9'>kQGM"k`>.f0JLd*̓xuV@o'Gkqxxg8]fÎٿg:YY&Z2Ɂ.أmuT~EDx;u3ʩYB0/uMUI)N터ZЁ3ɎSoл, Z ,GHw q}cWaw^\)>|'%Wm ].H`P"0Ih =5X:>߽X.?(Z?Hɥp-4?og':̺Xaс_픹7.< ҔuJNe ZL`»TU'p3܍y Q J<7qP8ĉ6jlvtw~3[ v~G1R@|ߣZؽve'scuh5$;xTڻy)if="ߧo~DdT1*OJvtd)bYa@xKhW{ &Zm*]bk6kbў5tAyr<OّaN]ADs*e;0wCliDB{gڒEx`׃rN++<|gWI›Uzn:Uzo#Z<7 #V* 7ffXYxPVdgy}W ݰ37UvA{Е~ĪB9J40`eED<.Xl-=3geKbhr9z'5N_jxh_t%𕏮l_^WVX ($a}`+$iٖrH$"CIx NϰϪ,Y q|jqŘ8b&M1 OѺ;V?N#)CSlBH~<&E:l uC>b M0q3:"\~})Fgz]6Ǝi5]E7W\9qcfA_=ba/б0ٓ̅ O'uoCG!Vg}Y8[yWE}r6iӥ4 |ji C#P1lfp%qNp~Zi?_>գ%s9)9m%\=+)p,lyVqU0>tgw ݢyfzj`2J0|eluQGLK!P&rhd^ i?.ies,-:3{v"y+ꔚOZտp=Co)N>d8`=73?;7^0,l 6\1]ƿ{l V㽾KͣL̅UH>]rꉋXgHzӚI`a:P,Xɤ?c|RRZ >q{x7g8C͜yso2m–|]Zlh<e7W3e U iyTeoJ(E>fk1F,=P7%r9Zt«F꛵Xt96n54ݰ}$܃jMَ %CgYƒ롗p0K {PWt;VgwT3%Z} ﬒RQZi;8+Ѻ TvJ3I `jf~0Aa칦y~Dwfc⋉ 3[ ݰ`# U?7v!{؞e"gb'"y(YEmonjj|󪺧A?nm·5ɑ1\o^b2_4VjDv!tK e+0l:;ƾ/YeJԣiC"bCw*8RFid$}4vFI_~Dđق =#[Uc$>e+1^VBˌJ([˜?jWf(1Ε]OyLa8H^"vn5ת}GLR_0P$j1DxD@Z47P, B-u~U^}Ai*4OMsT0]~XMAΚ;:cEc>!<2Zfj70fn%ҿP<^ ]4p fV.7ڲzog7c $|'ޕ/]ś_7rI&a%^Y$Wۚicԝ6ţ6<50/݈R&vxSs-=*P)oB~+ٱ^gbDFۋƘ~ŅJ@!hד]2I  V“!h[UaHqXpHK>+-WA^g} S$.)ȡh/3unJq$y:J{i`WHk)c-i h$N)W,sXSe Se+^"Tf]ͱתXy5h( { J9?ՀU/-X<ɤK(a8GCMGܔۣ8ZCQ.:.욱[.-]$TeDG(d qgm9H!h38n쩎D}e7byrAv斅vnw} ^\Ze7QDG&-{pX4>@btM:gG gI@*)-jCwb 5q%tKQnY5Vn1(kIiA!7͎kyekv&ZJ#$0`Vxx{񕆯1&0b`mҮ 5 `k՜ʃ'RuhDf ?dzo.v`Ͷ@WBG@r{3:-0> @cMryfVmc}Ta>Ƹ,o -CS hύCS=\.QlǡbCnz_"<&@aU]9gfh}ԮNz^:angqKӟ/6 p!L*r<'L;Iݛg 33:^jT@=6`(]iN6$t c'%$@?)2ѭv:p@b5cb9cPt~nG4BiI707 "pzS~pW6 6FS|A$ZM(Pe!r>略) ײ~KIçRaJK4h㣮'K5u$-'o][n&kI2޺Wk)ʀY&SD hRw AbfBf?KUskĽMu&Y[v+?j]TA,IϺLm|٨ygцU0a W$I҈<ɷ^[tt=M6\rXUz(2 4ZY=X1 smZ[@@97.MCgYZ7zXZִF! P]ŗXiɟg_$N%Q KβO%_,:"{>zIV~?G- 2vk:U! 1Qeܜ+8Đzswvhga J{*]e=ƅ_u6Ƥ֨i(~5>њrSL\+8kilPbCY>̦vu)\}CS%j 7t& c(P6'RT[OpvMܞ_9w\/e2|Rl?W,W 6,x@shh}N[,Q2CQp>팺\S%5kRcnؘNßLI{N{l+l_B Z韵9J0Ig/1b *d/H/д;D%7*d"*&(Eɑa/ ;Pcg"28xkZM -'+3زbyGLbLbAl*lX}B!M]sPu ld OB8sQ68t HnK@͠!kRN6/F -JTpOͧdrSvB]&ϳW_ ⢷h`ȯ~J?5;cIi!CFb1![~<̏:odYO(hYNSFl頃3#R6S^Ӝ)"!Un-adSh3QcN#sEocMHcfVF -N3gZ yGV{E2r/vv@x)w$OɄ<9RHjraԛec#eS <-eg99GNMZc.҇Wn3x".z/;7)tRZM/siZЬD4; |}Y`,ZQU+)2W2'֑u)lI?w6ԷYzĩڭ_`afmɢ\ªw'g{M١uߖoaNkKKyǔւBz.`U]hRv~ =խn3)t?`hoM:W3D #= DfaiC-#>!wNt"Qshl _Y>ЪBevNthw>" x'!ԘEm38F"uhŭwvMBH߽(2QTUA` @084cO=Q\?H %bL?t'czv?Tz ʸ%h9a0ϹЀv2Ȟxokx(C-v8#=\u!אR~^Iq =[,wΊ Òr:V8P|ba$ =%࢓+2(&灓U/6\_JS4&ո8Q'rxon=9]S!,=7b E#c9"rIY>>rͯȻxNH.=T2m4,gS:-~ 2gYZ7zXZִF! PK]ŗXi%G/f7NvC|ɴvtsxm "RF8D;TjAr;:8.S(4'Y5 u8f"Q}}o:7 }hǵDyߗQeHV ! v >)whRS,jDl XƤ{3QDϙl="l2\֑$)x%dy.‡pGeV!suXo1AãYqhsٕTMnFJWyAQ_Y$ޞ#$QuCX5F4Z&oź/^.䋕ϙo!j#JP碀\zPhD\G<[zҳ4p jL͵}m;72xS j_׌$y7dNAEe5K=֨.4- -YJ.p^XHGSqC3UTj[J˝+\/ICrK>8Zo2OoaNr`Ar_?*j 2;EuB2zZ[8#? :ӼcC3ӌňvFYy&ɯb\μ~70:e Ӓ@ѯy5氧/IacFb։WgB`%DÙ2[ b,$'"Vv ?CcD?,xƸڧ.MK$DT`C(Yo~ y|Ă;֤ T̝I s'7dZU7]P깫py&˧Z`Ccn|V^}˪!* CG H=7Fg+q OەFvP}'9*ኙJ/?+H2 u M}.(IV )&[wX>yR2̄`/% T=42[;'8 5_hǚ~g`:sЫ^ LA(eSpwlOH-ϙohKꗓ=S_a̯ # -3&k mG/?Pc~1"L] 2Ҁ]gJ`bqcL#R*/qVǷʸ5S0F&~oLkGfN퍏jxLp86$E r.;+Kt` ;yc`b6 Ϩl9!r=N٧r$n3M6@dv:hLzc'L,(kl} (*\4`" E¤:ۆ1b!m||p#4JjC=6 vE\ =nYt4Xcoj#BP!qs2uΪYl^u vd6,$GT$B>XcfcF=OJ<6:>_UDUړ5!.(Bφm]޳H+FAC$hp wTŰPG quUV>~aZ|A0ZDjE‰پÛ }X!45\QY? z+_EpzNUaF#/s~v x{A9#@:"*8:HQeXRX+UfHZO88f}磦vJ G&c[1[&)/0PO{^W*:XIJC/ TD+IڦP!tc%9gT:XMM RO[OpW#8 } b`P11RjB\h3FNJ txh#!4_:1i7\RIXA9R..p*WBVYo T_E!BO]AHK^և3,i.BLY+UF\fH$oS*p4$`Kq'w7#[E%ϲW"G’|h]rhGIf,Cc %Ƌv0c[. L#Y.~)J<U?@Ȝ&fLK<:?T|nKgtA59yoA4!'vLAb7X3"kQag1?}IHs 3+mMz -Lh/OjHi9TFH3D4{vC zG$/W-xF>ʓ(]kŚ TuXEagIթ=)f-X.3zOQ)bL&$|#9xw>읈M[2-YRpg=^+Od/4VETǰ6}kଭd0֝?${QҌ/&B~ vݴr8I Teexm2l4\'{b}}3*T/uXC|b8ÁH0C \vY}Nxbdy4/ofNMr]PαH_e <3S~v=2I0?N::HQW݌; Cͱ3 y00Pmc~tcŜ!mtxfbyJxZ/ {]9oI`q9mH|{82ߪ+0:+kw=c*81'Y4йFhfX='Og9< Jμ~\;]r`)N'?@OAlU?B-S|Va5i[;4nYӡzGM -hl]_Йaўrq|`K`]UeD:wE@IxB-LM7P'P9^+DÁF,s"'^˵W G3J:zueJ 2XF,Y虮 %z$E`W:M 8]>cc| ߜd}WFݩ $l|rpmgIJ 7ޗJ?EdVn)AF!ŋO8DJ `25M*RiϘ}zVkR: ]#x1 REuc=w}UKހfvXofPiyP}:N WF}B])1K*H_ylq 9O0 h,g]Z~ X5;eTXܞ[6- -1 Hѹ dΆ㕊Y,( }IcՉ9ONA_⣝Ϻ-20|;HC?7u\:|HwPP]}>GwM캇XPy+t7U-LiIށ.ad81w5+Ouf6>jZ S6v^SA6Hih!?A$&Z:SX^ ù4Ozx "V(,BNl@ߚ&򶝣K}xwj[j)OkPʝ!e2JY3|ۅz"7RNn~!{ INj*4MIVPxpY .ss7÷68xUksk3{*C4Ba~?ߤ̕ iO` x.՜(/VG î@*G:F(XsI#uMjѲ(d⧂ƶ8=Ŵ%fmv%6S%Q:rp& ҖlwZ8 [@Aze"*áJuK(^KB@l@o4ad,lpɌ1p%uZ 'Z߭T=pJW ?"d[0&aH1?@mHek\4R^Ρ*n'oȨ$KwA:WrBot~9ԧM []3{,=Fq6o kn=Aᒳogx,^tn|,ˏfg56"w5PyJ7Ɍkꋇ @[mWz3k̓Nm0>ia,IJISKRRBiwTK e§SYOt4p[kYa[~@~+ljwmS{UV g 6N6O_+`w/aB᫚ś189S<ײG+聿mYF18vk&= 9]B-8j0;d' Opw??`RumrxǪ =a3}C!GV VsoNS\oAI[kĕw+awuh12$-2nWY|GvΆ?yNcּq>N]F[VbI8>-ϢmFNv:\%D4[,l }qҧj-fE^G423odڱN?HZiKN䢙J>s!vG`,QDҹ=PY6G#md4jy@2r)5"=4o莃/ $kWXW>OY@JҋA~cq5:oj *% F![xY)<G#hX )229?J*Oʣ c3#˻*Kf|:x*:Z$[VAxx~텼p꘦ !^rQXT%Ɓc: N"td!0αֻP:lB$y[Iؕw98NNOrwmPb,Sh:;! /Hd4]3G$mr}'\LG| Ȉ, =,(Zs<ZsY“&v|dOWpyS/u51% lVFZvbKhpJ*]Vah3oiU1ԜXe\qpaW}pjl:‹jրע #NW;HBfm[zS{%Ky!ŭ Y)Hao`.ȧ0lW M t0KMڳ%NT%\^iA>JRA/dZ;\BAÑSŮGn>>4A]:[ Yfȼ/beOMH v=yhe~ L= :n` ` QnIZH{ 衍%za+,ujEwjִS,#k 25 VUsݭ aivP[tE.REmz/_%DžvxࢺQu LTtzu:?&WX~q)5+z[t$-:O#v0?;"|W3y<09M=MBS;DM#Ϣ8iԸw|:-@0X1lz?P%H[yEÛ4R)ÛuU^UG4mnZ)%}^3?MR8u> D6Y O$uLXuAs|L:A{&uz3iA G(C|x J3a_0AZ9{ ߉>u@Ӿ)iRDK@8o*9de5N[]#3Q}JrGc`,'qۅQ/ZPYN osXIoģ!}-597uZ4DӯRUóqv x70?ڊf]}[ lzVN[ 7F|3ŋzrh;kK&)^6H9]\*atɓS^O4?D}SR'ri׶CHPFdZ$`U( hq%ro2&PBV%ԾGr[Ьb@ n.v+0RW{2yP`UA1-Ǒ@`'F'fqĊY&0h`z0YQ_ATJ~+˯"`y?_yv%:<1t9[3WF[Q9}!m0$DϢi:b`VT+ 5HvjrIKuXt\\$<|m;r ̵dj1q\OGssŃDž +oe0-/|>-eS!sc൥DBFT!gX5&ϰ{r٨c}JOmoBPA˜DS&۲٫7N2Av8)S=I@ ş _\ X.Э=K\^ 3)Š֢2~SއtO{>6W]nfEO{̒NS23'.e_OOS:$/ob@̤dᒌfQ| oU5|CQ 8)F|Y3XXx`oа %]\mA4p]ܩ@G53<a8 FYiGcHEeӱ|ewr!$l}ߞ6rISgM1SK 9ov=+20ל6NdT5 bjѨ8 |3&YZ~nfR0K2n,*-Á&QGREö=%M?,2@v2Sqq< :$Dc)NҶ}0H9OSAEt$ʙΓN]jXOKy.65r K"- !Kmu/ {opUH-kLk\3IJX{9|Juhm׬rmNT;n[d*pAS /uU\#XKr i6A j0R]kMPv;[9RrjVǨFNK y4Q3nI ^ْq/t xQ^hMfF8y9-lYf.y:Mtއ#r|Rl̝(pP&!Yj sۀqdNZ߼;8* ŒI43B`=MYEXB(E5s-0Y5h>!h'A9O> = ujTݑN}7\m&k5_d@&w9%}hiٸSțH#>+N3 E[6AB=\1`ά/rXKgݽVf kwcQ~3'NlB[[s:P#ħppAJl]nOVnv*ި5윷 A⬆Ctyq.UiP\C T,R`͠`n(36|O`+UPv`:7}c  -hhԸt! )zFśQ#x#oi9ZmѺ&,Ȓa.f_m3;Bg{*CZwZ{|*PI>R`1B*vm^tޔ*q*T&F ~g$ TE+F+Q2ʟ42A:s'>q}p!zV{[XZ EM)n[8 FkP\RpwĂOgI01Q}ݪ1N[g .ϵwMГ&xa5[ӸԮbsT>Ȼ0oE>(0jd&mp6Ĭr*t}G! AdJDnoMaqt)Q*i{ {;˽X=lKof4~˘-)~Vq?/MBa0^TUSds`Y#t͜70)gt,'Yw#~;\&4H8m6LSL $h˭Yxr]y)9GaU]t@B y,"]d89:?bӘZDrj?ڴ!I*jY^Cw C gԹ'$j܅|*l/{tsd&mdẜ[JKF i7H&?{;G4z=UUr|&zt rӝN7c428G]OBark@"~@gĊbN>gځ[2MfӁEx&;"$KWbrsJ<>XNxwQ:ӏ=0C6N-jF=CLUoӠɁ̖Z0Jzڔ%.rzN)ba# qD Ů slx릈*Uùpe͛E"|e1LyHwAY}D41S)y4'Ri_Mq{`E;x|~mWJ}mlܮ̦j;NQYW3^].KcvH~I7SŸ)vis]G"N͓tB Yi ~:8!2jTwڷ-)CNZ3GHrFiO xHmҊCy>B3V_"LyaP(GSB*3'ODgKAGů>HO*m {pY*Npeаf"#pҞH!jysc,:=ySL _5\d%Ceb9tXnO+ QQ6VnT_nVkP#*;[fUVT,=R+ȿk*K&ֆ޳%.4 ъ X9EM)Y:|{Wۂ=բlSJo=Q~H6|sCśMJ'!*F"?dP~4} 5/];+r8!qR0rX7Tİ~I^G 6aAUÅW1`jlvjGKiUlBa- ڞJղ׭+wI r3Z٢?솮kПRRIkZ ZV5^tmz69yTJ$Qkv5D=Ep^0g|B>I8 ĭ6rc:"WN 93"9TkFFoAJh*Qѽ]qn~C~K,;@i*3A=O q]B06̹ۉ[BZY+[K,\!t[%ta6'&\-g; c-2Bkf M ?@z6J` m 5Amҙ͒v)[ѳt ّJb/&"Jm:sj?(@ԇ@'nO0eZ&׏6W|AeT?вEj]q :vDJn-VfVgjy4?6rETPe'M'PVpq~ kzypk[@f[+Ra=CL~&I {Kً0Rܝ"cyeG8( gV<Џ}; t} (P"~pGU#&%kS~F h I ed Fn;oȐrA8_(n$]ůy>=7f!&..{]濖cI?FttZd9[MSb1\Iߵ&KA W*wbqQbjN`DgnL?]QjIZLeey%iy] ^mʨ8qetIc&АvZ9 +HYarXиqRsYYm 8&F"dWZvR{a B ߷"[ٵFTc=oFd$u/ DId((;jZ6akZcMįU+4+y"иI))K{T}7VPC/?Oq T+iQڈ?Ik@zy'0yp&;,<&lqֻZmk =xv!z9W(%ORPW*.{q7+%s9F2bɨ5_=,_2M,7u$L. e0Z@š{u㚱ܰDIf$zy)(Is}Xl}9=$x̒O;ǻ,54(Vk'<.T{ց/[gdˈѮݻ0KXvBIL*ȝ5#yR1&yq%=4O%e6iϘr+b,5 ݫ7(JaY=~Ԋ<6e8\Uߐ"cAP&!#oGHx@ף-@"4+bbY|B"^#8TN!%v o՘<jvzt#5hu ]A)a, @v_nv$F$%3uV-b6M.%NDeVd?rlSrsV)Ba`Jc+T\F$).LkT`ri_]7/BC{^ HYRi64gQ]_IT;WnqVpGmn9&;M}k1kPbACI|qhUb1E`o!q\_J+)2D./짇{CU]Fzws~XC"d\adѾ _Ԁxs6ƐIYͶ >2ZJ.pFٗzw%rS_ d/E_K+&^C#JT'Evǥ{v(]qX Ѩt NQG%fE[(+ T 0 #3C GXcAs9eu`orL@ Y+9YL8@g4kr+]M,S:!RGX9K3jKZ{MriڰڙLM@m台Ű? q'1i >练Be%_XY($fNPI-{ n?Jۮ;zl Ϳd/iIr5p閝ɩzFȍɊэ&_ V!*,oO Y6DҊSͣ{VTxC_YD57ߚ#:RGB7p1BnD3d?3D?)+62v9E> Ô_uw!yO"Kë]^FYQ%y/lQR$bkU2kebOДӴfLMT6(ZvBcvCHuQҿoU'ov¦Pt4]6Dc@(Ζ=~`l rhCAKG !\bWouҪ<;ίr v^xx OXWT?:d>dhwmT%xӮ:x뼝iωZ(b!dymq+:Z~l<];RBgJ/0+R_4x !o0[2u@l^WjbyPzS4:8) VvcIEX)S]Z//ox].ESw8% whcHDv+%A\~'(@ho'[^#k u;[ǣr E*owԙuTF9-p=yP9Tq̓;WQ€80|k?0-j-TTy hr2ءm( [4 O#=0 j%0R_FUϼSlHp*wEuʈbsg[N,,/gC9d 9"|A"!zq3d.yUO W)5lb T=Wz!9<VYW!MЂCF;j<"0A#%=`@RDv񹭓ZOc{2(Bp;@;mL_w'ꢘ-: am^C8(z),J@Vpizhѩ一,AV/E=Zpvs y[B[h~q{ڞv:&hy@ˑCRbJFWG<H\rE3Yɀ#ix+nl0twu~Ap 0Wh;fy mMJĔ6ٺ'96o=cH#EfkJP@o_ ##;') "{s3?v_z>JU;ql6Nj;W7 %Tk\>^XۉS_:fCVl_Rҕ0!Ǐ9ou'N-5(` q%4MG|!I[}mUVz3_ 7*Ok CڅZ|sj?7!uϲ]fa&V%iG JOo0HV@v_ͨY6\,T<=NVIU;e65##|o^Gv^驪0SVA"(.s7#ۙw·^+2PuN^etޅ> ma\ 9327C<+.dǦţ7Y&bkv_(DR*u"?D d%Y]Ì!50"xF)fߋ}EF]IPvMe&{krtN,+x1 u 4Z41dEFi> (p?G3^ PU襋* ?wVݵ `[t.}AuW`?ouLǞrUTxI8OtWpϔKDO#%6VS9X{&&= ҔEÃ;bʻCc~(Ao߄}s/>2otf{O$y\dagȐQ\5Eۭt|%fA%1E9zx7Fw̃uN~hB|5 qB .|r{q/Ϝbr^~Z[Ɩ*+ϭh߼Z p?"x]gC͢[,nS*T7O/R}VAIC ^;<_C+'/?VW:.STYrY̻8mЙ)ܪ-K<¸]m6Zj^h vӣִ3?n[o#xɞkKgl1FnjR=0`yi>S,ưSexH Ƭ{EՒI~~sU9nz!6_}MF賅 ͊IeR]iO\#U;OEzs-mY!eߺ$vZЫ^sSNA)*M'Vm58O%ÜYI0۞%Lp &EAkQ@` ڥC/sz~@**ן~?l_mHNEZ,[ -Jy1Ѩr,qZL8[t0ۥV5 jDm%'>>lȎ.if5L($s>>ģl-}8WYu6J `8&tBj:=H}={2XghKL7MlD?Ax5o>al^6\/t ^`:ta7~ۀ|uQ'~-{|e4uWz/]`/8S*ngAԮ䣿YE>s{C=-VgSP,Lq{ɡK a!);nGloY@-49{~)Q .(X&05be_[;ɔF-uG]gyM}s[z ϦОQ`AC]LGI)T]GŻNfa'ŏ 풓3p}F+-Y>)Kf}ku>D">+Cp;DBih'*uӺՖ0H2ί.ҕ6)fS%KtZ^vQkzdqsȍ6 _ii@юs3wnKx] ]"ǶWvc`J*bd@5kK] ˜:W|6Ro=F6=AN,Ejz7 @E2~?xaTAu'8JmFhH=pA4˱Å!6F{VQzI Nkڸ$v҈yufQ1@#2)hmOо8JDL+Bp#YoM Og "=QcW4ˉ45 oޓchڔ6τS N=oE%axnBU*ò!uDwuYXcP\%3H0Q_ް:|04 Ƽ C1~Ir\Dդ\8X{_â^!Z3&f Ɉ}/U1f5Iwhyh)DŽJtxc 䖾L)YK9w0ITemP/V9U_`'I Z3oeو#;th ڃ!Yiq#i-~c&".[F#W#L'c$A=hs&,b(xpS Ř,E/| W;%9bZ/οrc~G gYZ6fc73618cdd1c6f4e34ad6c6dc5d9aa1cc9591556ccf3784ca06017dd464fef9ca771f74833a3d84093570cadc728209e4351d71ad8d5b2690ce8757