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 =|$| ] HOL-Quickcheck_Benchmark:threads=6elapsed=285.481cpu=1361.396gc=74.1167zXZִF! t ]ŗXiɟH)0%o=P~Tl1͞#`.X[-(̈́]`vx-, = HOL-Quickcheck_Benchmark  GAv(KfnhI?f3^#49B"!hL𩭯-fhtiy8F)1czƑwjU& 7oaon#I݋4+{d ƺJ17bNMs| +Jz.-Qi|/WPyLgF@H89]Xd>#XC1XߠD d5HUmjܸ{L`{xt|CJehKN#yz|XGC) njYRuKZ/ @e[hMs RÄJ MP+Pdd\_atLK@iiJ '/|lqh+ҟhG[[73L 4]V^'(Xt= ݇eJEp* yFK7{nr9 e#q[Ui|Υl|ajJ?/Wl[7KG/?ߥ ŭ.3@ɓ`;1a u ZgĚ4LWM@f%s͝=BDF@lEyccF~u=RWttnSe!EMq\|+3{& pۅ־Xҋt,l珩v8(ѢR踝@*Ij,~zZ0,+$ԏ==s tz!'UX?R*d[[)Bklh3q6"ؤ9A!Zn Sr Ы-*+cD9]TUu!ǻˁҮ'j1*fNfyK)3e$k PEu^ Im%$y-3Go3i"4з עQt1RLsDSCi ;uF }6~no PIk{ gW]#sj,VzqCDc=3}'Xǂb| SC_k>~ð=xlU?j ̽n(ki9c8Pb Z>Dk ڵ wï>JhI.Md5W PN>Iʤ:UDN{5\@!P5&,9ЌH޿*'T,̜!A8sا:NK41X A~ 7H-.BL+ÍFtU>n:L3%!eC|6Ɯ܋*v+q /XÆ}#t:\]̩&R\s'ȥZ-8N"c'Y&VnUf +t_4Y+A1k,<G||s5CQS/nک}>Qqe0 Y]}&jV/ӳm&A?9W4zRmsD t(Zk}~h+ō7EM4 EyKH>uh8.F גBR ߮z]kw8].-͏*:3x MT㴍s }#e#Ŧ[I*#)Mf0 6fa$iث|/>?q">Gy_ig XymL17Eē͗z@ޓQ4 0i YYtCv\W=Uٮ:=֟QN':E߷ hH駳h)h;25vN/hsZ#es1+qf- [/ӇW'WKN8McN~:a'v d\^n|P J⣈^`ݗ07IK˫Wd&ފڶJyRLu;e%1ܮ`a aE#qSWP30DQZU- c Ư-@8׿ Q֯P 3xuԈ_jwսʱgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0. y,7x^bsy `?l u5}vkwOc-Z@3ܱWjC%(mܽF'HǢgYZ7zXZִF! cu]ŗXi%L&U{\}J=g;E׶ӚG84Z46a*pC;ՌtT ݏ4bRzM|U%S\΀-]iroZ5bBp!V1VnZ\Vь9"  ƃ֤YN,g|wu3#_mn,w'o}VJa/I'qM  T|[`ߢӪ.R@-[q_g rb/O39-2ц_ ztnNKM'<K\աs^Rm:ca,ejJО\'k)=! (睧=~WyPP6~vM VDXB*Ū)ݛf5fOEI6^e[ua&jNKh6L!1N/A F[>OvLg*[ܞ{-Y}Va޺c+rf0[ HM!ĠڅM$.|^ D,S]F nbU'&u 3CY8Hs^W{|L9^L v2Z Ŭ Dt3ZJ=437|$$/gL@+x8<|^ES5Qçy;Yu8=2r[wj$}Le7$Hj9 cQӳ9&-B.ȵ/c {P85xZbVH,s-7ijRK sˮaّ4 .) (Mm59'N *ܴR?NO@-VВc-`{gxg7tj̼);؂‰QĴ$,t) o)"ƫ1<~۳Q_#Qٹ A" OliacnJBe0z#陕ns:d⅕U )f/oJLԱڡX@c4o/Uiz7@m4H'Ƃi4QPlFdb*|&~/)!}ph:"ap'hFω:[5tpr z6M 98R]H;I>*ALMԐ]>d¶}<0޷ELZۓ^S:@й/.VYM)rKKš=_T`G܇juRؙ(yew*:-U$1'foE%?LS:>dԟhU;WLOuouDvQ$ڎ9O>u"7sv?O V=A`>1LC2ahĹa5,9n)>mJ准ԇl{ʄ9Qv`2̋(b@'fiQcF<{!|? @jig%""PZ]|+ <1Bkzb:a6xK $gڢx,R!y|[3 ޭjkGB=t=pi uTqHvƟuV0t5祋!+t  |ĉ6Zv{ϦsUe`+ kbmLr'9Q< Tm#;h\"-Z_;R?:Fw6;Pp~,Ì]q@?Rgw 2崘DWs5LStQ7랕ϣί}tbpC jj&;n_%YtR_G|l6C;zҺr+<"`U{x7+_WkM&]r)&*B}\: > A#@xA7KԵ5VOI*hsqr;SHJo6MqKYb?"z)GmI[fxpj>Hv&+egN>uidFC+_l̩OQq[=Z+ݸr|HjR/pk׋J#^AF=|x/1(n.-:|'nu:e޼~DJv u}deHgi [oLc|FLpULœ\;{+nPUV$l٦ 1J oa]!>T9\&"^Z9ykQ>l~Ep- n^S|#-BxИd?9#|")=}6 xlߔ6Bw|oaLo;-Y1x4-㳠y[cÏn"۷j|/wl]\ϝRh 9rq hUTBxUE jmlu\h*'7aPr%=(8k >aRjPAh_hiC{"G,pY ωKܯvnMҞBGduU_Pgj?fqX\ -bok$. :z` .(HA\X`~8|#B<L9Sak /Ԙ j{'45~@H aa1N [r-,`mwGu˞^Vh!4Ilgםe/Ŏ_Ma3OSN&Zo7-JDvKÝWV:cېGSY n`1 RG--WBo.WAqx`=sc#.OQL-kG@P7qw1LweeΈsCOVHJÏp2vêG5ĐQ^`;;h(;̉&OkAޕ D]u\ƃ3-T ,^ȷ28 304ĠH.֛]׍cW}.]d~4ɁJxиa:yJ wfy7~b^t_? ?$UK.,H"Hh<`((i~%w*W~._ń3<,׫\ʔǜ$ne->/m0UsYTTqƱJag;YdjEiN$P( R]ǽdsY[Փ//كU8Ţ#DfMtqhR8,R1:K)ߡd5_v%zp%Ģ<2KK~cjؐT&r5%g pY9cWdaF¼.~ϘH2ًBM7׮ l>қW[q`<꬙,K!,\.΋mkyDk$Zt#\vrǁ^Ktv5uY>Ix]PKQ y %x iQX#3½NR[q!t,$(O׭-,_ybw]|Su[/\eaC*K΃wr;fh/Lhcqտ(TzH87zjw>+a|6FAÎa".{s9M6iN[5,~LV᥄af'1y׋MV/{g*JK؇t'}]x[^-ܷ-&|Wz'8֍5aC*L":O/r؍$;v>nc2\wE@J4ڷ2}Eid?9uX-!<#H,+vJr&9؏XTnjVIM_t.1;㺚`alpuuAB_Q[&Ob+Əж/g*_egc+&fA.<7`)'q[d1-C0Cqa^'jַ`LL$Yq Yns' $W[5F*-vj_jWlΐ)dG eh3ʒ=keج?4;" os?<-Ah7G_p Jx1VeSfƄHhY̥7AI;C.<'$Q^ CR2>q,,z!YFf({'@%i&AFѽg__]?A6Hb<H`pNZ)NHK/5 ]_2_蚭!aCxM{=zUEh` SW-İz˺f"* 5~;X5i } q=*"R}O,y8嫈b7} ^ fG<|\ z z/t"=ۦkӀS|b86I>V#Ѷ1@,-&D sr;ߪ8(Cv"&&졐) pۦg {ݟFzix%2̸ƞ,\ѺWL@qtp^#XRO;}[e`Y}Wh㷁.ބD~r+?p2PaܩEnzeFuL R>!E#7zrO2 <Fxw=aa(H"wErw-VafesQ%sy5ӵUB-z$Y5`}in>F[ߚrp3e'&R p8LJ\i#($ypbp#ٯ/$dx>BPѻ؍dBOZ"ytj20 /ܬJvH7eE'jMaĨA.aZ2$ ůd'} J~>CɈj#M.ZټR-`ffm_L2c*`2"0mZIr=.޶ u %#1'|yx !V4s;ٴϢ…Őd&_PAPszaz5|* \e@e\yVT^k̢I֫=SR%H݈K$gSSz-(v"B꛹H(Dzߗmӯ>78CEw?}q(]ֲ٘SI G ,G6&Zz$e>BwV#K!Ņޑ~ R>y]#)ƕS1C+shKsA%RSkq t/ʶ\eyEA`EVXFPoEsԀ(qR3xUqz–IAoc6}@-@G@iz2ϞᦍwKX6,hu?t|,.43uu'f'G_aX+J{_LƆ{8b_õe@FB MȺQt%V< ÏEX8Jʦfpu 1Z1HԶͤ?R;@t|n6\4T$VUkh疣ud, ] {*вV"|dml8@ PdXh ![[V%fyBe {hZ2Gs~Fy7bɧ Ġx>/n)f -k=/X, NQBMiQO#->*~KFSGmoy e A}Zsjo@pE/&US27ND}FT oKyFqbdXo~41y(PXZϬޔłm4,S:lCyN~|IX[Nb#?bU@nm~`;e>:q@"21~J@>G*@f:ztaRBXl=LU0<ʬƌ㛏Ɔ yifa$J7E>986s) <vq~* k썊>; u؞7-O Aiz9,O٨wؗ FI͕L3 pln`%8ޟ nɄ oQJ8Z0)U<3,caVdh ,nz[t q+0^a"E^ick`֣֯}Uܘ^%SQmp8/[aa6RNgb/g4  [pZj# * 4 ^8b#r@8 7"ͺ3J~S>c:Z8!XdL g@Cj])jC %)GAaL yVIK`dUhr̛j (|FY[I(VY)X FEsF7C!Qf[##",HuΚnD%uOpz4[0UEJ#'IW7{ޙ-4F lhqnE8$ _=\8:]yt:HƷG] C?7m-ΰwruF1`ԛcs,,r]4/=[p|n:f!F2c*#v-^W[# } /}Caܗ=CQ}x~BJ3"=|T9CCg,;҇] OЧ֕um/]0Vڄ_~ďO`1P~"D{@·?OCy'zHY1/\ RkAh3g)]ӦߚMdfRi N?~<5'Us..E|ܘӻ޷(qRM=7gثMV UG)>P|71bd;ZXzwFiՒ(֊G kfzf5g|J}S ,~("\ȳфSFR IF9(Ff>՗s gnjӰa9t-hdq%@_(HZ; r6nܚmd6lpti5gIPVI}`YjF5vdV+KIvRqDW%M/Η5yZ)zX, /w_ ]ڢ+VpV('mGh99k-"WtJսs>F{ӱ)qҞ8X R8&?_( ͨ)GTe{V]7ɵ5X`aKcXQ^FK@p4Koҟ۾JI_wv N/;9],v=uvvjd;"W˩k.K`fzI1)o̼FrWѣ$ǟJ7 $#Mk>i5")4O\]ǐoeԖ6]z U5|"c[!)3X6+9z v^DOYH〞q-]RaXꉢS/ VN_{7p_3B24ڰzY{"2gd9_wmW-FsV7?k>3 ()VerL3` [s 0sqAs%dk +]AV&2*+O+>tpِ(a6.s7;Hzt2oT[Zo`t".(-{V߇KȢ~LPѾBF(XٓOs2;e쀽\n0Xy Jק [#y5Ǯ;BF:>Gi/֥eKD*ǡbC*t$,G,yWb8.3ȂwW;kΐKaAr s1>>4eyLHV,?zjHȺIu+%b߸/I4RjDJ-Z09ل" #0Tn]9Rl'~iȃRVyDb9s] iy܉T`jntԭKW`͍ ev&=\jۦ6eR} 0s-F>N%Fi4| &iY(`7翡\\]!JabҌVgpOKUŐJ|dx艈l#F|IJ,_uƢBPoAjq ҰBc!PrzywNN@<Z3F%X_zj: 9>O?zc?G=ȋp,U?m\tdMd +&^E|iIyR]L(xվgdz}8iixف;@xM?e}Ѫ[k~^;bP:7'e'jrwrBn&s ə@X0!4].xw۲Ϡy%As|:_'ݶ{-١EoYP:vƱ3vhUV="~T3ɂD uF޷A*Fok@DTa)0O9< ?؊}ΤtE*yKg->,.5DLNq'H-ņT>~ڕ\4/!H`}֪gn 8e $Ln #KN];g UR` =x^4&,LO e4,i\!DZP8$G!aE"z2t+ rUuY߷{G2Ch&Q Lp ]=n߁Et`H [*(BI.igG/z F>4sZa3INIdW`q[Q]uH u7mP^ IS/@AqZiFo {):|(Pxr2np9x/A2oQ~sR9vs& cgATةHX%淰}{Y7Cg:m]7 NEƮՀ("/_ hАv]f>,59~v`@]j*uK 0Dw8t^lqB$RN +l` kr+UK!̆0ߕbh 﫡>}8 :(W !}yT8Md30sdo}Hwy>}ݬרM} W[;&Ahh+ȄV`ygu_s J1eM; mgQy'^AQT1Ɩ2[.X.ߞ)ʰZXDoM4CcRtRd/ff'"c. nYil @U[܇ P4ʍ:V! ]/Kx"C["':+>gh敇S)O4 :~VI!r5Kaܳ8 rl`V$C3M'l[3%_ ;4a'%Z KW 3Yh}pLo`wP&(S:W iiMo{2sR'e6#MmGQ#m&@fF0 pZ K Wz(ADN5ZS9^7Lur+HQpo8ؤSNcc k d+;`'zֈ䆦[MCNRzB3]/ܣh dmJR8eu**A0~-A{M>2Uc׫n@@T1nu4H;eh{̏LDCӝl_DYCmg_}k'„P -/" L1h%oJ):n`,:ˊyu%' YNeKAbovp怄}㩝6TMOQd1D٬Y,+K,QgdZME{rm^fb&#aBGI`Lmf:-Tq FMzR91f? N,]WQdKdӫׯ@˘2 aNT,حnt< 1[;:Kn& O/qqꅳ|Α~TMS=rטҝ6װb).c*j=٘[G6S,3wYԶX _Gתi2[K͚*$5ބYWdfZY=ebhr2068lB;R!_oJG&: Q7D/PuU! /ۣY7bTłQhGQ(,K`]a/sz`41ߵE YߠPsmEtV$e#p 炂T=?VS-k$ΉE>8%E3y|iLTw֓CUǵ=C&Kuw:7F;-:ܻ[ڎbo50 O_XGtBaVb>Lb6B>"xx6,Кɮ\he'/* M>fͪ+دXl8=(޴5BѾCG4ϗTU鴒*w!}X|+p-D!FrQURتPQɎnс^wkbkLG_6 j% |OK[aq>wSq"`whɬ4@J?~X\]Sd=l՜r}(;ڌ-aJc<|ˆ#HKL!q+ZIt|CqOUz^gxC3feFc@ ҍ2ZV=r~q,P\ʆ{ETue)8Ѩ.[脒sB7k4A-#peGuZjʈ+ؙ)Xs,,L;0ߏc%ҌVm9w,ň >^]m"^ nQ"eo霫 |[s17)v-/=:?NIޮF aJŵ 89QY}oU44yz_zhdihW^8 rM9ddLs|ҹߘr/\M "1>rL[ 3+s>f@lEd 6LXunoM4=o`n2hj>Fb0BJ.$mHˏg;(HGRИ,)$8)W;#_g.~s,1z!\}}#ѻiuHpRcy(d9(>+/CG}h\0 a5[>۟41(vlvMHc?ggXs aN@@mZ! iC 0.kVpok^~O!F$^- \S;נUhi#Wcj}*chۯX?'BSڐR (`KP}Ne%([dȿ蘒 c*}Nh݊M#Eo̞?^CK.ƙN(pZ(EFh+T%$NU}nk T֓%}zߎr?TovcvV@5@E GLƭ' I?|Ω1$4;Q,qa3pޱ MoC4{v߿"_P9UvRR+{0OK)9D"ި7sB+Toj[Cu*~Uףv-p zگXi9o ̑,>eq!k:0swT_%tñQ55D?X_1~w85pS@ēX,)wvrȢ\ 5lpK(aB]\ӣTTb:"64a<9FQK؋z* 4>z{(Q٬h#]6;NCgh^MXCV›ix )ؚ wB <FG嚫TVV^ __eNǿ"-pQ\ތ 1mpQ[OLZw+ ͬE*NXc:t>6@f!7x0^866:d3--B&p[dpDv ">/Fqk6<%N 8,gYV9Lζ A`N&c]?5vh2BRW=W^*{iÿȿ8I"j #J pNW9@D8mU"6bS)+_;ohϖM+{h0wzM1{b,1znVxr/} X_z27u`ʜzF&8ARtPu9k|5 Yy _Q2&*HGhlLgc2qc c-^H! MihS* )E#}@::P&ٱ =,lMZvH)#V\/E)=es8jkn 1S;IKVpyi\]LΛ}zzrAǬw&!6[kHTT#Gϋ7[K=S,ez p9I Րb+ImiRZ 8 `>Ϛwhq)鋮~PwW"?*X9 #mdyQ2l.D;*SHTO!o}]$Yۧ;3ªql'k3˜ɦ^g7Lz";tm>O4,~.l 8$c0je40 ,WGNZ eܢM'ZVZv\.MF(]eȬLa s!wK}g& .d[lp1A߭/k2h @ !o*d*ʹ$ vl[Ս ( At\,?!!Z$(:rdduWGQƯ YQ7 AzsCZ5A)Ii#(!@0,2k$Ms:klJUo1vkm [MT.!yT X~<3_&L#$yVzхYNC W*9W6HZ>At$TI'ZJ|$' S3L+IΨn/ iU*C&H*7UnҊFvpq{po/MQ1 1>Y%bv:fv0MM~%UI(e)h(”$|ۊHP^~MpIn{g$)(V{{C~4C"ݼ1y@w C n2c[i ɱ=lMzt:)0\O.ܔ郴M::TɎ!/< g v1|| y8Fjn2|  &a+e M|O)\UϢKi ?nMX2^ҙ&z:ѧ;EEeZB>E=tle"Ac{\b0Svږ>;Yj-hG}*Q ѓjWLjj`Pm\&]Z2k*H!CbvgB°9 6hCi_)jTXFS 'oW8_oCrlлl4e4:,:ƆUfљuj@.{PnipJnНIX|ES6Uۈ&"K ;e@;%fjk ]Bm> ZC#3$Ej0k[$b}]L//UVtUKUQ7AQ"j.jؐ\ay*yUp٫]*ZreVl`1H:)Z 9[D큗r*{"znS;H/ a}NW ӞmXO3qlSa c]?h PD*onT}Xw $J_G%-VWC+D  z*ד;8A)MMТ62$ե4fjZYxKlŊ@wNʪ׍N{= B/X?D0I1 w~r|W,ps6e-FvR[+g_csbGfa WڿīPZQ~<& Fɍ7\Dbq2e2 trHmDd >cսsZΝ/qF;k3ו6S6;(Kکx{jn>:YC+(-?IDć]/먹4bZp41:S2XD4mqs1|^D uI6Z K %a(p:b"goZd_[~YFMNBǁ=܊"MA@B(w!Aȯ}%VFMcs!<ƩMb?cFWGߟ/Wh>ui55+M~ g"'*$2$y7B/ҵyI~VĴ1YWfO_[:M=[[pHK$CW8/T4ADw,E\IŚan.<꺿 #2;#È҄/+\0}s5AT_X/-0:/E ǝ=(?5Q&k*,=7`Co)^2F6loRr?:yW@ӝNK׿,t葄 OЬ특64D}D"(?6'Td*h; %Jh(- SQ6-o/8aY@~5Z><322Ljf!zH/uEuI$N>!1.y.[ɟ˾]1dd \꓿0RP3{#8 vHo'eya6Z|0;m:Bk9:ᖎGgfT[! @4u7 ?r%`Q/K." 3aTcM{]+[gS3\Zb _8qg\bb8yZHs/F A\dRA&Re@ܯ[ʪviE J4PbՊ!;2l_wB~M4-F۠nn+JUl42Qw i^cFB?e}=@g#|?0Gg>@=`C9_z5K墡mj :!@F.st77t {wp{׆k)#9 ͸ٜ~]m?~_K4.~ְI{Lw7/ 2**|3 ʹ`C:az- &+.ABT=&͐l҅}9i*f a͐@<}R-J<ˡC((%Gw9 zx +Јus[gl0/A|'!Y5A9wv𙴍{0Yf83ǕP4tֳUU;x:oԲm534>[R3@X˓#^]*I8f@!"Ç7삜EN?Tƴ9^iCFz IopjT<Tx7l&30T =bx/5=)ɴ‰K jfp\)X~#蒐 C ٳ[.c7Nl ~q|m[2(7H RN "5.8-15@4@g 3>JdIf"5}JD*<-bh{;$sJWs8>XXm~92:4/7I%2$ N=#'*`k=uijd:u]qֿ6|}fo,¨!AAuE1݋:>.bYnwS8GȊ4p.PJ眜xZg-i ektLXD-:$U!VS[R.{&:oL>Őa|<K;G ]cvUl7֋6:lMTt!j*ӝHAg*U!'KNQ_.x_XqR-ۤ;w+@X5?4/ID=.Mv+ڝvCg r|דj;Z,]w-K ʦ2&s"b5mcDjH@mP\v%٭86dtT&B>:utכa";4efו1?¤d(uZ306YnF gX Kk7iIJ辶gq@e.4$c9[{8QhIHݴGSyMSR!U~g Y?̄C(ތtMM@I*Cw&etܮm-e|+>zr5:~ B6en*uT5kܹ7 3;~lk=8"2lįJr`4 ꑯp(8VjVk(ONv$1=qݓݪhcMv'>0[S7;\ ڷ=ˆus̿›y#n<^wOe'xfK΂bzt07 >,i$1 K&Hi;Wj,;!W ,ґx{KȰP?)lg@֥J*~ =.pc}[sç =k[~<2s,Xa*pJTы9MHc Ɨnvw59cvtD:\q gqcM>+qR/ҝOF{n%`9`I1zdc-BSkvGEdz˗yq /]zm>[lIV7 hx_-(wvL-$ 26\JjteCic6q]X@'_;ả1]C,GZUa"дx6OqCmP5uf ABm'ZPXK7f',ٟZ2~]eMy5;Nu)c+I9?ۥ̃4>qĖ~%/pu(pE=Vkb2( LaX2ߖWg9l?6ӀKRf(^!os%ϝ1.xR,^.O~po׳J'[_]vz.䫖8c_O3>Ʈ>tr[Q7S}9DS,"iau-ЩyB"ԞՎ)M(l4; }ۑ6#ڊrQGeE!ٞ(cKR ' {y689nU^ ՊQ_Pz)%~xPkuoJ."e j%R}mPךP ]7^Snm쬡jRZYh,<qb? u(Mx݉ lA j_1xtкKi9+n5@߫&Tv!5x3+5 άCq&D 蟝&e~vl8V *C"yKWAnq2#Ⱦ"Ŏ$2%|6Yc~;Cʗ!?<&z 9T La<( 4YCeh1wN m'&8"}OeX ha81Spv?^uz=z5х2ìeLa8ژ5uGIJ/R;aӄKYt`{1z&wZ+/c_g <2 +<LHB-Ha~doEP!:zf /}'G k1ίm pR(!R=MNO2 FCb>O