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 !\dT ]]]HOL-Proofs:threads=4elapsed=389.337cpu=614.608gc=69.204factor=1.587zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3\ bv)# Y#*4^B1M z(KpNV칋N#6a{r3Rx ȝh%!M(%nKt*j"s +w({Jg޹ 5S݋11A)0c>Ρ kiS`>5ŵwlkSI ZeWj9 Toh}EgJ+ ]j˫U; KN߰V@LA]V&, s&C93UKohH\3%|ʹC.{砺=86:DVƲS &^ 9iXȋfzjsp88*)on7 55s IppQXFܟk6kƜ  &m|}Q9O.ܝ+"9cuEԠ*YRףl {QXJdUoT>mIؤk*"nDLF ҕ.m566W QC$Րt\&%G ;E8[8J?>IsR0"NQ$ vuM}Zr}|DG|+4$qbמio'E>QH=¹DQL#@H֘m("Z{h< O5J|I˾le, [nVj,Y}} т(q#<$fPj'^W~ВpDhw0 t>[,ϰO p`ų|coSt7 A5laXܯb:6 ϲ @ Lpl|exH|1|i$ypep'ot٠<'pW":0lRNدgv'K0ユbMiiʑ^ qT[xwh;-,8i{z]B*KMuM` Bb]; z>2YUS{BH@Pgȧd1Zfܤid$Q 6D'ڊeP gy^ s/V\׍( bw`_|׉GE;k\?Gcco`RMԴZI_%{Yb gvbk ~O 8>U!t|BS 6ah d_l0[2jHIMrẶmN^MW@_1Of8W|u8SVJku7مPM i~"ظN#Y!#)(PNM>w$|xʚVK'LL)Ǒ7BH{){ Z A,-JH텕H'yit3DE!V$:oIg Lpt\J q@IxF3z;˖}xk︲ne9QV~O6ib.C12u۩7Ӧ3#l@!o'#%co {͈@#լ']ϗ 5I?^^J#mS2xqч'Vր[%#= ֥ lR(۱ 2bcK>ЁF+&m0Wim>G7N` =" K%( K겕$cvt|.M\E@e59!.n',tL)|Vޛ[ƍQ: q1(4.[c>3*zD 䇺{+Vhvź7\/F,?YlAtxWɅ_Ăb7ZI9Y1d6!*SI^};ST:( !JpjU ťn?Fi$5u8z}kLdbyXMWS4* 'ڱIU & vʼn/m9.;=pc"W99%_gE) ݊w?O^e'{.73O>]0^xSe6g z!WFiʸ!0 t3NU\eݿ|kR砧&uŸtO"p=qߥBUD~-An?Wp/P 86|)DHlUfgmD?f2=mHsn aMq+Tۤ[r} gG9=")\9I[etl"%10`g&{ )Nmʐi}}$dM3Z' pr){-UTEeh}όzrZzrDYg,H&vra<8$=Ȁ63*'ƺŒo*!#c' `KRmc녏o52uW>i M4c^nҟaK.wn?jx&w.xrQI˪@i&+i~' I{WhbAsC#eq"Y`$$QOr.tj;1),٨,)uue61E6٨&=Kgj"*u/cZ<ͤ??ST V\Ju*o?gԃ\ZOj߇7ڍЄuY|f0CﮣڏZ >{u1s !*01!7p0ҊK"qᢣ(_ƹڙv[ɯQt or(Sq]zʹC|{EN{.x4_Ol>[y*mQncJ{.xd. d ЄmFT؈d_z'g׵7i'#06G} tf3;LB<| %[=+[I( kz W%cM)»8! = :H_Rhe}6x F_ 0o;dnUvؔvV >q|@VKZwԺ5*oL{PPߎ'lw$Ӑ =3Mgs!2SBRctQLܤ'EdDǀrXudGUuF=^cfă~RL [Af]Zi3H!#V(ґOM'{qDHV3ؽ A?{L[QF,|~SPsN& ޡeLh!SN̕nQߩamIPs#mA"zRNσ#ǀ5+w| ZNPt)2f0!h28`(\-ӁxJ+zEL]mB;`H"ܩ`.zťx%YKi3;P\Yxn_nYɦ$RhO : Zs J^fJlv4}RRkg*MƝw:btKPb-"tOJ<֝S+ߊo 5C+BʞoZs_tHSq|NYl jm=D.+@9><'>"WXz*Hȓ§o  \ +Z]ǃDM40 ؖՄE0KhNa i4"ͣBJV@ :{eq8xL6BA璫d87"΃.鸐nHފ+3glzGFlb.::p><]9~Y"tȩD@XnۈUT7a#dwK\oܢK^ĒO7uGZn/yiQD֤Tuo|1us,><0z'mڄ,l*Bm$tGynAo`f{8ڙ{.Iʽ畈u CƐc:[& }UlҦH,HtY.=z>MOLB,LR H8US.HSpZIKukR!ԗ3zҧSG2)A6"Z˷1t$+K:@+ 1.b|Q @t-iAu}y&@!EV#6u/2aso0·z|t.v/*RdtwEŹv_*r.T]ŒM˃$'۴7qzgYZ7zXZִF! Z]ŗXiɟg_$N%Q KβO%_H w]tHIKqB\$ @R9icP,3tT0jbN!􁑪,~Ϧ9;I t|5k1Wqtϥ}+bhD]*ԅ ,]__pHcv B̤mʨ5N`vL'M} yLS߅MH J&Im9ǖg|.`w$kb|?l?Uİ_fy3{3?`r8JTp)=)D#chP5PXJeS\gX/S2+{s(BҺI$Q9Ȋa zEWb E;`f7By,ԁֺB۞۰KxYtOƷjIkP (+Wڑ)Vf_VdlL7Β5nZꬽ&Rz+PvƂ6LZoG&h#L G| &C&cQwV%e"2$xbqքVIɪ|2yW(̭+D&HF5 HGh)-x¯tAd|W6tX7Dz>PM-[?y7F 'Kp9IJfE_x ֑&<'\fQ YflLK%ʮmU”Ŷ*Pg{ "҉e< !UtMYo6.A-(E|me>K^| Nj8]råMi9r]+b) 21gYZ7zXZִF! =W#]ŗXi%L /GMu6g8Ui! .lo/41î87]0qL &+TӫoZ |ԥy&'c<ɕJ>i:(!'-,rZH0\gņ-ュ~ǔ_yƤQ4JP0(xY$r|-(oWU '@;x6 ^:Br $k6M26̋1>pD?>$ j'5m/mJz\cMU("Cwk /9Lz2 SL^49FIPܝ{dH:V$S}ҔU2^eRJ!|`XmјYt^5w1S1雀fkuu|ee9RmLFfz~,!H1*s_l2,t$KFv A1ߎA;zclۆ.ܜbEd*ͻAoG,W6Z).{-M_f[!Fy`h#Fwe9 \-(__9 @x[$#xDcZ W@_ J"VoE:Z|fqpO9,ve0q~ݨ`G`o=9aL/1|[5SM:a˪AպDmIL E#G@dN":Eu v R~,,Zdd>[j0.SKj%-\o!=[}DӾ(*q#Jr"m4Y)+粦eMϜ%7+xdXa$\mO Yd/3":Aox(Qv$gO|HX|P v]DR"#uqjEfݫ{8LA2[YLrE65!D"Ftjw0*V҅ Ĺ6 fJ* 3sc)\, [eZG3]iSVt9ùΟ?rJbB'ƚw'^sAy.M.ϡl[JRE?O_iO{3XfF>n~CA|?[2lWj*-W׳MMBD;V{ܛګ a+B^)tOx &Q2y(<;1PjiJ"lUhGqN8AcB5716o-vgS ,QS٣E}S0 3/+A-' R׸W DO&5 OǖP_p_;p>p#`Jڪ@0i38ChNezS-eu ghIgI'2(V]ɸx{i.?}$ky١Nx{x+Y`3y4|dXH U`P6㍶(\wbeA+mD4z>ȷ=)YpӦLN.E=nbwNZmo*' mZ5+iPT'@{B{)Kk D<¤w\4#7x a9Fmv8G-ϳ/OݞPܬ3d{~u]Ғ^F;%u үj5rkY%tSXMУ۷fK j =& b F#? Z+9\ 9+@𩕋m{GaJ\;KeWDVH? jGUW[{{bٍ0&kσcS( ȦN͕퍣q*) |\YhN29Ly7y,K\D(Tll.6yTX44}TjS"Ӛʵv(if${B˾vq'#EA6T WW8S ڃʼnV'd y8zӄ#@:ãwb4).:FT] J 9XY-@Xs=nvrYm.*:/_GeLR+䇩Ӳ*K*vEBFDdŵ6E6-\-[P1SACO%SW8lH֏la׸[!!~ɚ:*ПD7V5M@c8B;·&Էye9$dII]^Cse9[-k:]Hehzv|jf& uo ˬfn')r](J575˺|d arH:EMsZw>}ɱ>ԩyݏ mttuf#pnC؆]{(_Y\'a w!wIJCӻk[LJCҖGCgD&@{#aჍqJ"N֥\ !-d.EBY0v+gS}smْx=uR><7IQ)=*".ׄB@^xj1}MPo{~hs7[挸@?F=@eG{ [ &DlmIS p^"|sr bI͒l>rcRkh4t}R Z?gOŇꊟzRf3|Π!M&\TǓ̼՞j4o=D#Qp?iAUeK{s5<-ު2"]^R5n(,_K"\C >{*.a?a.B5oW`[8!/Wrh!NC|4\@S(C8O6ǭcSifhh.Xp>$%fbtxd? HM(ܮ@( ZӹJ|twwa;\1cVj,N t";D8 tJPL1 |pVܤ;,W-mT!H~W1ϊ-ꮔ")Mj~F,g#=?;SQ}C5;6VVjT!W"⃰pEdhS9wp)0t'+4/|G@y95;ܝ471$j҃ڛԂA{3S/m*uA@_ҙZ4y&>ѧKf~M7TC͞yQ, 0=vXe//*S$)%Gx" FLK~r:P al.!NcGT(1ļ=!WO)\ʼn:U]y{O el*ρQz n:bJ"){,P6&zT+ UQ^OEEϚjx/#G4 ]\4w SבAp;7K//I;e(Ơ&Jn9LiWk|Ƿ{N B&A'l32*[9ʙ@Y|m'՘h޴]Dm@}T\ԃ*z0Tvo+ZEh.SsEwWMuK["jy`'Xu {KMdg)\V68N"pKx ؤѕx Yä]}.-%@1u"ݬqC?Bѭg]pld>z9 +/[eU*$!PB*]mwRs27KDm@f\RlDa5LQgrӕ; Mj杪sf(ګe!a7~ :wtV)Zr~tEyÅ'R&] _8${A8aBiHozMѤ *0u͑s^]$m O\=N9޶ƃ+/槲FfFuNz*}F/ YpAXsB΋"/b?|7ՏNJvr%׻QeR[{d?7Qlz#đHxS ˸ 7k](dǶtΑN>fQGC-JdEmVRWf?Ao&P6K$TӨ|(.AⶂIOyd[+J:R~>%x NQGcI%B]*iZȉ}h :ܮP2$?:nFߎp 7Lkct>pюzY)L/۟?30ܚZ0 jƚhe0Ah+tHci;L:t35Ծz@ƕyd)ARā|ȈJu)zc8Izcʌ72R܄oGW~zN1¦DG}XR+n v *c&CY,u/L #_70Yz"/V'́*ljx lcB\A㩕0{ll'hba zPӾ~d"Xlje_ϧ+b fnkQ N8P;o6ue[BW-X Ȕ 5Nw@Cr(vq.D;"$>s_\ٶJ4K!Tӗ_?2QrLn7)F804L+~w-EQdѹ[Pq FZwqI%zj#/C7^VDӱڗs1{2k鸕rAO!L x󎭎_V |v&y+jr3|@XLKkfxDz;e jH i.~hw1OPISHVɍr;]zCVW8:ZEs#LJw1B4|j`a<lO=A]sGVT-簢-xy \җSrQ,q\~4:X~̏g 2Ug6f8-\eYSrĐHε9_Hsȹw¨W"` Z޾G#)?j~.F |ktkL~I #6~&44JsoEJMV7num蛇nGt6-ixGjȒhA@E4k?L9w1G"ΛV3~oU'fˇf賣|Ϊ Kf>v֒=:lqQQJ^ wœ?U=}nPwV1;dOv3GġP+#ޚ5t%%&GHN s3¹Xqg@^90 p ÐG4&/d0[6\wo)d[]l?fJsr٤%C\AU?5}FYl$nOgLGwOx*NU G)_Q?ySC +׭arV| DpŒW^FCQgmLRc$aK}uVX~$xXR ލ`P6`}vvɊ%oإ[PuT{*Uad8DB 51R[dJdy1>,k`ąOg2e13kg\W 0e߿(WwRf~<"?-eD"ѼFsfVeQ䥘9&)Sf8 4'x=:jU LPҝEA T2t# qJ8g$.7!`]-]D]9&?Do@71 J?ʙ5Q4%5LI|ѽ#|yc]u[@)Wgre@65R{ʶE6l~tɂd|Eزߊ;y›;ttw+q0IINZ4lue sSѭnM9i :ٟac7ԲBݞG_?RO5?i)^ )P H+L+c/pMaݒpiM$[}rrA4wsØ>@Hk vJ%,$*!@ vTؘ\k8TiSRBo.P4ҍ39~VT &V=%3ܟ@` 7ㅯ.:oX>uM80Ъߡp=Cr&Lf.vHHͱ3k$YA:+c BP͒bVVtMJPv5E"(0Qkl~ڦI-a.41{77d>)H7E<4>;spYMD-A~yqGǒ& lpΓЧ6~! [fZK,-TS e?3=r?<<1ARK\ДdEWwM]kuiI^YqgϽulXW_Sx2r-nr$׫HnӳVc{bX똨o wQā1r/vcDq](Kv_|qHgذp_N]r}Pd.vq5OwVdWP 6l;,q;qW^܄M37aaH%bWjv> !D#&2u~ 2sۖxi~tFbmCϥ 2r f`3O7'NtcP_j1x'NS/8Nv\\t -M;&8Xh| 撧gJL1/ MN9QlpρDmiXT!}ƠSaB$JBgȥfB6$+gQ/E'[5ß3;QjWFӱջF2b d).(]m7V 1'pA# %lB"ʐ-3׏OH`ҕ6@`Z @/aC.`&la6L@:"Df6KD[poNPL$\FT7bƛ5qHXe­:sgI\w uEz\0s9΂|1@S?O@ܯsE@'!ճ/iU|e:/xߑzTR}-SP4- ]z-CYzO`"? $Cc4Gs#xvsIQ ASAW%k ݜ-(#Cۄ:UqtU2z..q^bEZ(9Fc)?KE;}MћLB*a(]#S?6|+Vh(oC 52ϧɠ}(=tIZk ]ź}H #0PX~R3(/{%6_Kf ks3Rfw ט\ yVe ٰ @+q^Wf @X&_#(x)sa3-Y D STq`mE6!jNy>%S")^Ɉ7#xB;WA@Ѝ!`3$kڭ H*U;bi}{K$vV@UG E,/V;8ǩT:I sJOZzض6[d]v;uJ`Ɣ̕z'79ꭲDũKGM"pgp3ؤ{oqmʏ2HϺ.Ri"؎g6)8A"LJ+Ua@fn (ٛ"m\-ffoO. qS\.#Z)@؆ʴ=Ů:aєE1b^ǿQFoz !9$c/Oc bݟ KHv .MJ~D/nPxM\F 2MZ7v$r@iJ}ā@m9 c,$@&]͙EpTM yFʒQ(dӼ }7scJf*w[ א&a͋E 1]ݗ566t-@k {uYZ kjf~?5Loۤ;嶵ţv ֌xnRrL)^ `}=HXP{]wlJ1:sg:rVń\& ^:w мa&M՜VcbÎl=Gd/j"Cs,pq[νG!/g/bnH_ް?Cb}m,T\{.ږΨ:QXZwB"ιHfh@y=rH]T98%u1%>Dr=ZL FjE=`'p1C hWXLSAuޔ)4]0`˦ DЊSb,XdGJg.yh<-x#yT\nB9M}1}.*?!'8pt2fo4 qC3@$%iE 9sZ- ]@S +/3z>9v B&Y5,/Hꔋq9e"i}և_\mb\s^l{VQ>A? QάͷZ #qԙ~*mƼpiuoW6GW=EjC?<vqQM;.(Uq)Ay,~BSX,!UXpifpy35Y i1~+վv?tNR2G)%*g\.#:V r\loXM{K4Q (*pϵoqk h$X>+%e6q!ys]V`%c 3oznxlfdTkX+V@yܐ7`>1Y {iBt + ZڙPbJ1Y<>DZM ۏ WvHfcCV lyJ=#nh=}C9=OC10a'磲xf)UO`  yS` 3YYV bKxcc@j9!H t|KJ+z<>%Qad 'eDF}}`Yi?w:1y g^"dT oOXlcR"Ȋ=ԡ\?o[* oҗlLfk֢֞˥ˑ (AC>ZD2%mU_[ k D`sP@!_Hi5A]q=mTuW QugLۛs=2()y+~&59GjimX#tix_g :|Cc_~y =e,=v`ymaiRג@2'kZPD&]zUnpQE ?V~Pc*plSyZ]f"cI,o 1"Q_ضoru0K,O=&6d1TQj*޺ &6{ІʞlTQqjɏwg:?a'aHXKDǔzc|O]%}E)󧀬[x .E_~H\YwŽ$kwvi5ziM^dPtϑOxCXK{wɬq4iO~ 5Q|s&zI]dL`^=EJKCbI\G {}@}xUdS= 2}d2z{qg;eT )wʗdqf:[ыAcm**q)1%Aݩ *(C[B?ڬ?xg ӕ$g.U2VT!F }]&|UԦKNhsDH1+!Sg6ws#DWKgFayjA%A͗;l4ϑً`|t)q?4rޞLߪ`[MTf f@#<':^&ƔAѬ2Cz!h~FC;_O>spлi,OֵaAL~]U<&A$#?U{(uq3,PHu/hdeXyJQP(޿eiپj?sbxdDHa\hCY NPmlb3}%"hh0ayQ߉+խtsOh993Tiz=?wȃ؟q*&usynZs׫]0ጷph rp^pV#iRV%Sژ5]xn,H_|tq_Җ1c N7(oypHYϰC%1Q ն4 4iū2Vf8΢,$\lkj(lxğ;꣹.OM!CI*uM"[IHžWnva~C"=~=EN4f-B!^݆[bW,:(\O k0sQP<2eUA8%DiuQD~2-(觶\〝'Nl},r\y14ܧ"I$q_>$QU}? *X1 *;(.!*a4Snpy ϝ\.z3e*91HQuݟ%['؞$;陹PL|AX檐`][2,}-K=48pwKzc| dcWQdg6(҂@PcH pΫqobV 8R C-\ |;UXi[[_1/mUmL,̍@9a܇v77tiixØȡClӤW}i, TBHʛn _h~ |P{ \IaٝQI -Ϡ !{Mb[xBLt?*;oԅs|l=;^7qB 7;Z fTM/B]fFS{ZGK޺U4kzb"1IZJO.3NSm~_;&C"p%J bԴk#|"۴NAj̼E~\HC@lK,Z]5q*&{;J.JJQYy75l9)ٱy8@ ]QO{Y޺c#/Pb\x=6 YY6AϬ {Gc4e2›NelXAmFylj 4 3SE(7LH;22G{VBI$Ec}5̼zq2_11JCcvlK.+̧bٶ._K%N.|t E/lƷ9?h@4cԟQ ʄmWH@ =#.7v+h9Ȣ[`^ yࣘr$#ZA/S2P[jy-<sr]H:p˝-i{rÀ>i%Nު˸Y ɝ'X>0zN8=)1^l?I lݑd\:U eCa"HǸ 1xLAesB9a wz[3s%9-ҿ.;$՟ +xYAZfDGJw\Z[xDu&/=Oc+- lxRdx0C2bFB%/24sD $Ywj?:~<3~I=E4ؒ+,fQ! 5Q-bO; P6`dlg: `-Q&Y->DLQPzQ%u)dE(g2qo/ ˾XM|.EgQQrTvr | NcG{StVRXyoxiw|SXf4Nl&mma3C p!$i@Q|d:ji. V3,rMA@G#\W ^؎d 1n G2 4jfKvR/J7`Yg!*3|6dchfvR^ZM Yݱk5&NN8%Cɰ2'\a!X"?[DE]J\XZsnBLe7QQQNr˩+s2AN7?={pݝe ǯ0D W4-Cߥr (DpSU%GY(s9=7YHrT,XNn\Z8#>Y *c-l#7UBEfi>%=4FȽ%l"+M.QP.aß o>򀃢hnn.vcO%7tU:KMO[i„$GhGT YƢqŏT 8N!׮ aTj04~\hSb$(z/ƞ>v52̿"v0*WSvڥtV(RqlΛ=&4E3&䉉 M j L_ЩʯocUG TWQk˹1x^*׉T)\dc'tuzr_9( pY= Gh6 qx%|9l-wK]CعPxn%fYa-61Z=a-[Y}e+l8g)9>dk1^eLYqY8^SA3~u]'J7ڰW#$` ò/$O1\sƋ,>)>b.xS=,m( Zf/.p2._Ժt}8G t P5 /O^$GqKqw'Xu8zхPUWRWjDNCow! s?q7[PQf''!JamaJOc[(EIT`613L8JEOAEB>b M 6Op Uӌe=s}g޴xn܍ 9>i1Dqstge J%m78B2|ӄއ4`UsB +/jtK';t > ~vGd01dL/ 1fkX0s.tNan z-K?`ߨLsKf_[EF:#t&"{a=>jOeT8D@zN|T0)Zs@LCaF(1Dj+FlHΧ;p +Oq+3xxo  ߝobM P/KmRmĈi#dr^E|0WK|Va5*fGa}" dDy~`釽O[u|M}Lʁ23d#C#DgXnrgmˇ~Ss)-<~) gx?>E_}c$j )do bB邽酘ie"ޡ3 P/pSsMvnOfdY n{F c;.y"&nkXĆHg%kct9JYط ~ri|n,߅iT0t?f}9;ӥ%~\>Ƙ]A0;]T@zA 4 vvs"!GUMv4=& y#R|nG LtT*;feo K*A#ADL˙5qMK#7ZvŻr.YzeҘbqcM[,RuhB *eEPGiק`J}F?Ga`b!AJsMӋ~@AFvIU6̔*7X+jZa`8/ޅ>soGn ̢͗q7.[( 5N I4Y 7,dMx//Ev~P[uQO&a.s0Pa+.KyA]=Ķ,ݣ*" YP PMN9A`X̤-9eH5/z~Ե))*ْ)6F\Pkq;YliYiN5n|-K ' QOgo!Y^1n~N#7L\[soK&A0ދͯ-k]/wUIMc \}y^9I1l?Q3xeZwaRmEWDVt6i0癇B͑pW2 MHEE,"Ӭ$LZ"Ḳ>l]TM#~/@ F(Y D{7ݥ2ǰn,l*z\rN;b]鱺DE/"b@AjG߷i'̝yul `N:ve@,ѮeȀpc's8̻/@uOr!oqA:-骄t|SJά[CS O,O1fe:pELCcp(Y8bؼ#7וׄN_')Є 8F? LRF! X(Q㢽Vhz03'oĸğm ;rŠC6,%(&os8Ei'ْD&kǩ(y#'̐tâwuyPe8DFdHRSuh*$;fszu+%jjDeQ&g/8Nc)!biQyaԼ;IDݮ\wLF(3t/H ;Z r,GۿE'CKjľC4d鍲p܂$am%a:B5T1n=&~, !~,{'Q_l+Gh{@VEarIȫwR/gaV\"mx8+I^z,[ůu<[K"qSn#Ey?$^/gȦW@ GySQB)Y fâ%i=qyf ;2)L꬛'>1ϷZ8L0S7Ř.̯s ΠT"0@/)j̾KawgYZ50e0045d1b08a8accade40c490c5c42e568aea70d3f90704504dab3f9fc94e3d143d1180eb260c4a1501a8e3a634b4a9dae4cfe2c504ad67c8df182e