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  B B9~lD ] HOL-Datatype_Benchmark:threads=6elapsed=522.525cpu=1937.964gc=720.5087zXZִF! 4o]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;oTۿQQfV̀i |AЋ \%y46ayGÕ;s̶Һ -hyᑂ!r`K(׃䤄%v;$B'2OO[T"yq.A+,dɔJg8z+"%>=@ozN&]/S9o2M1xcԭK%HPЂU-R"( bw<9oDa(ڴ`œ]\cR>ڙޞexli, bV}`Eh߳[lyP<\&qT0iPlU"O?47v.Ҁ(|"DK,> }|F5ܣuқ 'kd8U%]T[T0}szTg/'V٫_ },)L (˿[99i>S1jXf-X!=^N!DQC46 X,K;ڠA r۩"ov1WU޲@.XU~Q j1wYogE"9 M< `I\#{,x]1ke?ҵU^wIha=&!b=h~ޫ9%HNDr)MC#du) :!_ي;A~]/ފ/Q8Ǿy-;EyFwaQ>XE!xv ;6 QT8T҂j7Zύ+/l_ݓ Z $g@`'8|I@8jDBQw3Ftt܌_ ްS'LR0fo.%2*L J-Va=3?Sb hgYZ7zXZִF!  ]ŗXiɟ1)*u%9 xgYZ7zXZִF! ~]ŗXi%L*(̔yرl8 {1`ƙ@5MgC1dHR'uI|]gQт M6=ak4fAo(dqn"7m[GR޺ԏDDˣ.4xuleG` u "jy^\֚&@-+ ō JO)=}"Ϧ5xe֗oEHℎ\@L 63IXmrwIW7F(Dt6E}ɲzCǞ!m1{c-.MF793jPB)dSluǨQ f]En@#ex2'dX h(#]!O; ><.\ 1*nAF'O!z:g~?z4+G@)h4;Dg' XԬY2ÿ½$~(O7Znh!ءʛIs.9ݜKI6M|ĥR}2b/I9÷l/h_5iюDd&^4iL2On 2St((Bi`ڞDV>n7hOá(5z1={܅$1AUI NyԖW m78FsVPj\b8RA1݊rIa+OZsHå/ K|qxU b^ad8P7g\1?x g gƂ6#N`}b>C dV_"; Ӿ7Δ^Z bЌji66 3Oɭ1>3$vmVԡ(yI !(Zזĩp%+jTfc.ӟgw6R}0;"9˂`˽)ODJzǾD.eDX)2qXٲ>eVU) ^^q|ff*"XQ&ؓfsɣ iqxZa3&yOg]XM{kaHѽrGq;OeWgm3߆,؝bU1Eg ۝GUfcN+7J h`w&PqaC@"vέ/nۃQcyRɃo>}㲠8u /C~UW?䧱脨QNm,=tea|?V54ZuzVx i;RKYhKx C?K3>+qQمA45pct$-ܭZ!!-GWXMR&N6Wح3(hjˣ;tqIS=9F] |ԩ)r}4Ȯvgܝ/%mWuf'W{E:v5,eJ)׎ 0[Cwg0 ɴ["f8xg5 K+w:!s`Q%Ѳ.xwEN1uO`įmfgHyԘzR6mïow!Wnixed  Uɚ}y'iq5b_!˩ C.'VTT/\w3ٗI_ P`C=fV0(|2/щIGEئ.ey*y 18#OY8ӛ"xf4gĞnK? ]?҆\{ t)l olI@x ^N87O/{љ˻\+hwjk\\ˌ wTг&!`݆q@/׀|)Dw(`vP~Jzk =!*m}u`z)[(Qzl>s 3"ԠG9LGkᶋ.][ FR\PxCjB1EPPV[F`smvc\'(M:}_6qڞ8xxǻLe|!P Mvވg2G0ۜ47EuhQrIдZ||cn+&N۲I%P ?Ԏ5{>5@nHyBJT O#Ip}sImTAQ I_KuYU2u3"V@"}~3NiB&Z͐߹*inloN:h۝ S{'z6F,W2R΍+Mw~<Ũ^xK$Z">ZT/ %WlRO)uqf^ \ id7vm(\ΆU٩|I$UiH7IA(iBL~.M}+<0A$V/C}yCVWچtk5{. T ne{V Uj [O-<5$ Tgdw,a2I K^0mDw>nk#Bb}` lS56d׊Pŋ.C^CO Ay]3gLH +kxA y i0V z$W.%Q06D@SGCK1)G `8O+VzJlHHFWT:ǥA.$ܟŅ#=p/_ᅣ>*VTOC&ǝyT@wt}b):&[R8+U19\{D3SॶyaCq(&QNmuY7Tc푔rc`P*%C4e.0![7-u9R9, x3 q(TToaB&q]<tx&Xus'G%␭Z40*vyX1d99ߎ&jFZ.gREQ"ě`}Ps>bB7V,|bRl2y5{r*)N $E01 tRAYxcvGbG=T@E-w}ɻ#=A,R}q<2?4 1 hOʟK㼗*+x l3bwy2+ޙiY%|QKKؚTtd;\  GR֎R>&_Oʷ2g>X#ݮU@ ̆G& T1geSI_f0[.9"v;}#t"_wG 8],g|ӨKt N]duxN&C]s*;8qO/zm5-V;D!q*0Nbbp=5$[csE):3y'gě5OoÆQmj~YeHdb7 _N#\̻=~_ħO@Oκ0sog03MP MTt]x[jQ^a&**r;9'̓6>tq=jy>D0u@r<\<$1rGI?ha"KQ%p5 i+1eOM?Eknl/\l$PՋJ<&bZ\eID>+Cc+Sy}@ɈlYh_{+.alE̹U_6!'PƄ RUVw!B(ߌ;nq`7#B@^"633V6]{ ٞ^'ZG!&bIo< MWGg gO ?"H`~!~(iS" 0eId!}] ]Ag>~AeOQ-<,Yɳқ Z%z'kLO TbmJ{F%chЧ]L4{>AKكS N?΋`=8 SU;MC hW`zOV+wC \7HMXhj"۫9Yd/;?:5q`ySب,}A|/۰l_?[ƿURғ^Շ!-ᑖVfQd7IԜu!!7eeg;1pQ"z"˹ k gu_!T~xxr`R>W #:# )4#:zz8(!f?v1.Hw@VZ+#Zz+vʎO=Y|ڱ>8*2·ӂpS:AlJ)Ͳ2wREp ϯFh%ɽL:AlURIU5#♷2a+0s94Y_3 džl}w9KHk6(/un80xNmAfTenTc;VއLl4\tv)77BPOѠрEWw+f|3/û2>"@[NF',;~>C~w^4rxѨ4EÑ/0ND(hdxO-B ')#vʌTrDn]l1.Z|Dne('!wwKٕ!ٶ=2MSrNO߮ZRq C3U=K/5f秶HGAD([F0 hlYt:Iݻ432+xG~LشP[LLޏIo_EǎuZϝBXlZ#񳈍@s[4OeC2++@@8-T=ފH:c4p+u pFRLfVz,b3!32S1a ,Az ̠iOH8h ~XWȘ;hh-o /z%n%=*B7*Ȧ qJix}Įq'?Di7r<؊;?-Nf>7uq"pl9oy䓅$G oAen ᜛1`hD5f@AfO/=Z~<^#Ģ f6viN~ki1JS2OS1zـ`rh~l5D̏*/$0PDt W;7`7Jw D箙biœ_e!MLGP`eE$̻r4iqbXJ1ډAtWo R}TӢ)azw#{ \OߤSU&b;~$bTнے.S\w^0eR2 [>YDcf\nqXۦMF4zAf: M~QYfӥt%@  c)\aZh BꙊ3%3Ok8#?NOv.URճ4T.ne ) N H^ gLDW?hN~nEQ9KSg*L xi!h& T#~*CTD$rQ\Vj*pBlЍ?MJ`*$"(hj#>2{ASϼ50vHo 9қR`u=@[\%4 RѾWNY,Rt\?o@Q#ds;K.,SN(_+D-'Q~o~@Sexi^o-1gˎR^;c{jIc-MYHS:Ě ]=t2u\$ڸՃXWB-vwH.Q);+a?dP當1בWȨb8 -1JU^9bS/ lEтCsjxϚn>2%_A^TgNezyݮ *Z jzimy^ Upz [gJ*3ݐxdQ#Q1j嗮8eڑ:D#]xwаrV+Ϭ=G L<1d]HeD>- ":i_C;-Cf]b36OpPXڏ|b| !nlv.I ;,X; Q G5~e{C  VimDۖ<5,y"xuhOqIy2e 'ZHa{r5&n|x˽px6;y?"|{ TJq|Q)1>X$>aRC@F]%;>b5s~7s1N&Ps@jPCv6D [g? rΘZB~j'4:tkeb5eŦ@Jy7U 5׳zJ2r :̷i(TͻTHf~_YƵCN勴d6h3T{N8~;otI^D#*H裫V>1tqq*NC]jj8vD N(4caR!$bNevY&}Ն_0g&cQfA IV'1ql0RM6.͓#j/HT)ę2GBCwZ];*Bl2RPDzxIg[">l潐ZA_\ˣgP/;; H'PDF}7I;su!LQv;zsA4FpGPMm_\JcU„=HğT1 =vۤPXg -}trò(N쏒9՗MSA?=Soy{f[AC!%,bi&oO+K|k?U>JAfh;\frߤkm.8 rX<6k(_ ,&אB~n/2m2Pb5K{\79%F*KlK2Pej퍺;@F@lE}Ӓ_aU7B0%?\x&p }3!p.>Ǚa=(%Q;49ݦ>tS.E1'>:+5d}UUFSfA*\N1DV+Iu.my j;g_ɇQ "`  vlV4KiAeT$04Bw%HPr!!Y 61*-9~UU/.'_l[ .JF%Ԝc*.GheGN EۖIss;>TlyI)~~>Wt`n'G Lf'k6ӐzPw| cqNS̓ V5ޙmI&Si;c`n~7 L0 )%LؒnHufs^ L | ]Ԏ# <ƊǸxzpEU0B]+_@V=&ijCф/uB} ֎k eo!g̨*W2AŇt'ImSRg)LſavG$=m({9mhTHL:IƘG\N~7TLK SXQhɻϮC]C l^$/R;\ U"Rp;G: h4Y``qYAKh q2ی u+Cf]^t~NF6o@bٹx5x&V@,.6ЉҐ~Ez;?@#`=8mD+ZK+eW^`]-`$_'_?ŮOrͲCoh(fXGm~+ځj@@DG@>Aq>mc&3>B1hY>d#TY#j8hY{To?a&w V<7)F3ea`p.le}+ Hiº8Hς`{GF{ۨw>},k<޾5\Jg9HY`m#)l5?ޝF¹.d6?ޙc/Wս~m ~XhW(&T?@~r0NaQ6h{4RFYvTO6z!"XיZ3]xsdxym\24X,_B"B!/;AZ45ټEt]hln4D^˯Xd4}t[dE H,Azfe?{'z7=L 81(ZZ紪w-nh&U_JVjHb_nCfl drFCM(1IfHaͺWq u'=bXԚ6XK7 ,MS>h:ƳQ9 2Lf4 "J5`7y@>UH;m[.#㟸e##15S+/R`GT#Hg3\Rwr*4#ӵNu69z]FǪEL?aBנi~JxHz1xI-A.ۆ;;^K Y?vqw.+R Eva7Hc#R=Ʀ"&Xvc,i' +Q& ounGIpS\&d@bQ {r?qt!3J "k #uQuPXJ{.h/vzk׾Y)5=MjZaN4܃$0LP}AYD" #9 3<j>arGR <\AU xQVpFJ-";+HZvl֫?yD$|kAh!D]=0|>lt&vJy8k`I iX?'}aYL9+Ty޺BAPh͞u`Q*0^8@"sGd!"s)RfP&t<6r tJWh`']g/ 1.%u.O5,[f!W*ʥD&BS,!jg#FŅnθ{bBdKNi߹5XC!ex|?YkAp#TZL .:rϠz[wSkd_v ;1SfFп^E2notR]P/S@H&bD "s?$[[U*4t 0~#Y9.g`^/CS1]?3dC>?B٦ub(uI'p-*H|OH #}` Qdy;e"yPvB}jWٸqS:" hFv_l|A-yv~/,paoƬ#o0>⡋6*&#Ƣ @ʑOAJݐa[JP"rtʀPw15 JݞWa_cW5-o`19DCww&Xܪ ,;-jٵB]֭ovݯҕmz3vܬOXQ%z92cҢ~xdVԊzgxz(u u \~7# '6^tg`| K-]zGri, Vİt R^mXPZI7q&5yvn->cw'D3*:{'dVͩ4_ fHSFk#j-E5?9ZeA3@o8̕& 9tA$OEuсtBİ2$ mכXQ67]忁@w3]-%%'+ QalJ:z L k5}[gz2v;s4wUq `=gDvkN3<D^H)*5\ٸJ@(B>Zt4F~!1!Y5g؉kweshv 29:w+m6>ˮ[y>Pc69,vqޡ0BgFc GZ52}9bP%UaċA c|ơ {?Y'PxXBvۚ_!_* uԈ{Kiߖ\1}, lٙg (X-YbOE$R*.?{_%ʈ08Xؑdmw&_Y}i_`$l'ѦZmQ@T?jtčVU,a S< .8,WLPKdn;!  ɴ8~KG/!rC,IZV wP$:v嶙$.dQpwSWʎ'®KgQBtݺbEdk!w2@~,=IiVӗP!Ies PXj֙(\ f}9gcJ#CY/? 7t.y YX=B[LHfΨ{LiEFvÝi'(N:\-vIXk,'W*nu0u PfQ{w2p垎?j `w jr{=pcsy~.'[dJRkX)o*lvmVE һAApF~`?4)Zdf~' "XT @uL ogb~nh(oh)yw0VR `1 yN\V Pqӹ^DÝ N1f _i݊ۺ@SpʸW `.֥ngװ~ )yZ /,[}jj6 `\~1!Hmć̔A9ʉ97k;yb=d paO-ܝ~K^"GBI/Z1]} c2IUYr0| Dfa]div%:<,MW ᴼ>M@9k+uJ tAs~L)X>,0fZ5 Vj@3D pQş|XCc:Aۙy,46 q} &K ןy8 53( F> i{ F]$>QO܍ͯ 55v;3yњæp xdIot] 1 A0R ؕv1CL[ #Ct* e$aSO@*BKTqnJHs+_rqɁ]-,AjX> !t•i(`sl|?%8jw)K1D] 4ÞX~ek V[n$/+tY]BPK0׵슇;vUA< t֓)jYNjLO˪Hy1?DQv mL7sE ,x)խȴ8%FnItdMnmW>6]MA!_;pP5A@o18T}gM|1,l%0^x?II8}k)<.Ҏ)⍻ԞiphPi(1%a_ʶ7T r=,`g35*f:,L+o]gI/qD{BkOˉM Y9T[ r@Kɔ p9*( d|7r/"e]=c7.(Ud+F#peܜsca׳P'>3ˠVɖ躪p :ɠy^1st6։mnW϶ܬL.Lb-,ss2s0o~C@0|8kS&{!UhXT+Hl+uǔ<>|}Ȋ<|n"hXFPX4n@FȀw {S=*'%OwU{$4D f`Zdq+ӐF`gv`p`g8@aSgÆ xU}4W&ؘw%w_Wص(/4E ߉S/I>Hz%_(!I)eb.;mG/MC7qruʁd씡ċ(=4)֮$v.Iշ/o=]/ٳMZp_4PQVߵsw`CGj2Vm: 졞Q" ^>8P_K L Lp%,vd:e1 .H2]5R"9nbzFE뤐GrXݏYK[Ք 9Ɣ-[{w΃ggED(X~M1~Q0G2סW&ݳ{LdD2RpsiF.3%6 +C+@pF 1쪕*}vĕO]]dµ9h1iXTM?C3I9]ΘJq;]ք oY[tts4EmTWAtDOu`K7oEM/SYvySl*@,)Aa ]!k6Ĥ>b '3X-'-Hʁ7̃ ;:c0 oLItUqݫGp;:IljקQ+GjaXp}UH\Wb3蛎<_hsSJSOCv{F"3T 6dvu E Vzh: r(*,lyҔ̾M+~7]刘8SDP4\gSZ_vSڡ kJ,] ;#zH^9n|Phy冼|+MMcN@dHVcO,Y]W!F@`ViR n$ǗPo76C 3eNB{ љ9pk zt_k\f]&j]m1G>CM&kIҲ6w5N?\dIjEה Τ?e_.NR"vdH6$zlҪ5Yx+Ej9`ߩ#[CX[+Y"xIɋy@LMV!kqB,oe^t(}eT%@W}T8,6,Ä60^c/^>xɽ(T6^xwӹxhэC;G[2u# TyyLj}1xL3.Y4嘹Ux)MA{x \/%Lp"pc`=e[,K8 @(VIAlfN@B\]ӡ0Sc`@Au#pmFdVҜą$md`럝e"g0 e$A1]ODW*B kŭ>kE24&wt,%2:?mڋUKZ(o L,aҳBYD Nz.rm!䘈khkDnOBbyjwj0͈ǖ>3kO(v*`B/ҷQ/^CUtJ1CzJ`.=׫('0P7[ i{3{{Dx \sM@ A])vE5X[zBE": {z\xo#C|C+Uw<".o71Ue'Zs~LBNJeF uQ+g1 c}OK< *>pYQ:u|#6ǴΦ&.#LJIrdB8WRxwQp lw;g >)_t2b@_ +ιhQYô;  Ѯ]s}/eI:dVwN2Z3EzTMA6حu-yUI<}[&wLʳd?%`xK/jdW\,/l:Yj$>%AP;Tcw e"%:?&DR<͔\Y!G_'Rm4'ˢfc!v=?7K0L͑8'9F I1N0 3NoyT עwHJ鮸+t\3OIf޻!~(}5ɓ%+}5S^l85;UTq7؍§|i i%w-*݊@zADX=C}{,<xx +k[8E=v+7y~S~r%WYλy z#>ؕ 5MLޒ!DD [^&Sh*ee.M&Q#Ppwf-:.5` Y/KѰ+P-?1iB'^['Z#Rګ 9dhp@ ; 'DC|۴k/%{$ ZmGc0U&DX)G 0Lm=T]񋛢"9hG#|딘 6: S+H~~B+N(kl Qv=-gy;dgߴJ8.: U0ݩ|m$@)GZp@t/!_m~u^?ߣ6^)e }Xi[=WRˈ+Tz][ʲ$#zW-R[6>,]u(P'OIcov.: 7e1ѡ1!nG +ˊj 'x1,PwrN*̆ОdeZc خF^8HK1=˛@Fhlh: 5 .+L!^f>8PiRi)5wQ~]MBq,"!sgpokmL/!'LLAA EkEFtt'# J-^#EvBr9|dRpJDpQM 5#բIWNudspmsJGk@<6nmp-:{L )ɨc`(^X2~m f5"P/fjaokQ (fzB|x-(do1TN7Gn=go[f:IU Z ҔmG:.OL&BNJiƾ;#v4XC)b^?BNUFoJb+hL=RHú; %NlE ]4pkCJQVzT8oʉkcYmsTm>1FDE959Y/Y6sPChҿ4^ Q?/ Vg/rw๬D t*D3& Sz'_8EGUqgօ\a%|Xiq>لH >pf 4~:!a5٨:Ã!Xn7y/w*rAi>B \%!"l nP[%,{_SzZo8ۯIb>[VkgKwŭ:wvwBd!pӶPǥE }^H|БA+}raSAxVQjΖrQo\ȝqd|gI/%NK1wxfw(#%q%9ZO"&I9 L0z[fĚ2(2+%~8E|n ϝi|K[L`z椚M"K|1qQp6,;ь"6 mUJq}>`em k{;t>P$uH#f Hݺb(Fb*O -f?HZ[bCi^5°-7givR#,w'^21EA_>aY1 6'4y43'y9* iNƬ$(Cj+6*bh45<v@a'gdeǧ-X {vllɼ2VlhjX{[ aâl? l[b&k9<~q8n=$&u)1nsE(w4}K[yT1M?.4R:TJZ\BK6aImnD<KVdʦE9] acX; QQ)gǍkE|vi&쿻EպVM||RQF@ nfν8u*VP>NP>!_bY6*pۛ~>f '~,7Cߚ ;= ߐWoy^h@̋!L~`+!H0H49Q_۸37ԃ*>ZQPϗ!"y=[PPq2VQ A22.c8Щ&_3z'٧e]6r{L|kJ"^ dY)ZZu;x1X0/u"I`"Ex4Z"`sX; Ԇ*"Ò(veVIދ/CWڝ:ڻk5['t-]Kv 8s4DB:.eBO( P,N20k`F:Z9NrjlH ENY.`ځxN;Xkf5NÜG[DG%#+$8$r;^@(oh=9# :*Yb:CzobЉS,TX_v{^i}\$'r p{ZLvNu+֧~Q-:'Ԓ @ҩ~s4"61h#/`WI}3!n hтl܉+ѼfOܹ5ټG.œъi踼3n`y03n Fy]8L(G=ZWCfoz Ku DbF:~'-6_ʧĐanTdlR2 5b Od0F@m?"aUbjWCC~n?܇ \]N9fD~]~sY`jZLt梋q;tR.s|b}>]E'=Šʖ=%6ߠBy"/$q_%K2~_ zG4YT?;e|Y |s3%z uN≠P ,L[̵5y I<&m򭠯4IQNm^$}0dkl} ڱȓvtG d̐%6})TUڡ_ɗMQo-}T/e#%K Y=)U 2"E0:GV8?a<2q/漜2!wdR/0,gDDEÂKҹs|ͳ7hY~;_XWTS[Mn v@gu6*q1i_BG8xâgD-76Zu|IKERl …]lCkM- S2W?YqxV[B(VS.ݫ3tɗ@8]wNF{lfMH[f_/.*QfU Y!_lR! ?j~^a[WwrHëVphX}" Z_̽+} [X9;! w#9s Pl0v@$P3>YȓI2&j54^ NG[ĤX 0-NQnC?JeBq=hE\^|3BL[ ?7щƞSEāG/ $oT~3/NT@xs|W {mZzEp©f/1Is9DZ A<{F:r-Rp:gbd.~ |Kr~ndz[1y֢nJ* >F7=rJ̱]f !g@k ŨTIDO;ik&gy(xk@j0HqjR 괧 o;SKL|c|81qLݕ8?̏;+\ӿ{ k2ڹO0ri*1=yPӓSibjm.'tadNm(ޢ@\id37,5)ٖMC&$AopVpz؉ԃxɯENVsiP @lo y D=PqKT,& hֵF'n3gC(JꫝuO(=|//@V]p(ozuLoi\cT /֝gTo Mesё|HuxiOvnh~g𮖿r""ughMF"x邲nKl?ZlPި0Hگ=t |'rqOq.:ls]A |MhՔ溠6L[C{! IX7ї2e͟(7w|>w@\m`I[-*Yu_"|gs: ģWK;͛"5 롇t^7fS"Zdfŏɗvh6>mڕ'"R=G5۠DD d.0?%:ϕ~*z⡭|I$D^G'VR;k0Ͽ10քOBf+ k_bp%\пYv$%]j!H4-"7ڌ)8UGc1]׽`_$\:m LyԀFU0dU0\;GW=]0(#3tTT=pVz̩>ܢ^TS8_a&s>TQ6Ŷ2U!@:I >}"aO4ȭʯ"h 8!-9;2P˔+LNC fVjR9m/U8Y;io܊{L\JY&2;Ԣ;?fr0 M9B^I ;G}:$8V /&nf*19ssd؄- 7nsEc#'wWUwcC ݬhovD0EDQ5 iZ3l͏E5)H Ke%k bDI`E4Y%ǭvg?ۢd*nm SGK `ꩵq;p|r,Oؖ:f (ux 'g9LWwUvI)N X^e2:-ƞnrPc |٩S*Y}* %7 čb*ݮCrv94un}\x?{K:/$e/)+4$+0y0<wb@%cƬKC`@LFo36u-ߒ`ਕ߹"2gc4]~;Th! }'Aڜ42B| X$96&:Yi]mRc Z"3cCvKWH oi`S<ٌⳳi1٪mtrIӘDEBd]`}J8-'xSԱwq~xeyC^hL0 {]d7nI&&lssKq75Y‚տDcjQ3VSޥtlӌOU8Y*^,&&Aornzå~FϹܙ+z9"φ-4WFweBx-\aGwuE*b6*/GhSk 83F1cEDrD'HBq-U5O.rgYZb0bbf801a079fe5d455fadc34c3a9583c838254880c594587f7c0182fd41f269932ab98b52794770 f36e5dba626524370b16749666a8ee92b5ffcb3f fe8c3462a51b97f3e1a44c91114cce0c5c222a7c