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 xrtDT ]/ Matroids:threads=4elapsed=9.657cpu=17.612gc=0.2767zXZִF! 43]ŗXiɟ  Q dIW MI ҈5z]&a3r{ XnV>j;юA'1j/!xj7Z BUr?Q/G,_kٌH!H I pR3u nw 5!+yHE-FNuk;& &;ŬY!)&foi:[v}w\oeG&@t_Jpu+F$~=_Hā=Džo~t~pN~3F96ogYZ7zXZִF! Y]ŗXiɟRec#^s*^!i6R_P~&GeyTAg)'i { bCQg2bޟ/Y`ugYZ7zXZִF! VP]ŗXi%D8W8NUzmQyulϧ6 $a=%j(RQ֚^Yhգ144ci ֟+ n9Qhmj>z yTLq.vʈEJ@nP~jH Ys<9֟93}xMϰjāj 8Jkwr2&|4ϽDG߇6/G{n/c( kʸq)tSlA M*q**#)@_nZ*Mpykn Pww 6l^?B~p{R& -yŠ_b"7^{WQaֱ? 8wI©E욥>,Y}oBryHZi9˕Hf0,q7:vAhXw5C}_Õ87Z-QAv"$'y5\ :%n|F]ؼcS>OoQ^+Vt{"1wNL=y~b2mm>"e2qhT}K]˭Rˌ{d}mqܰubʇsDQH~%`pSZVЙG&2PY}t;ȿi*(2E"R8pI}Aj'cUv.JAV-S~Z\PI1vl䒿`֍"i`KTћ˚$s ƣ 3/nH+Tz@\ U\ӵ I1"jP} @W@Шr[ro⅁BN?v ,ڐ\*YvXt+[34G,X;]nnZI:< SQbyoVhA2ٮ>BڛJ l.#/Ol(4Jb |> V BAbHQAE6\7ίPScKX~X-OR>I0XFr0?]9|>:m#=Q184MʏT%qɐ- |pU[n9 oly 3Vq{ ER.6ȥ^BQ?xul]|7'C@PJbUȈ۞"AkwgxP=^io6H9+uUz~8CYR>,J%A%a4]6"p\}hR5٠fI zQ⃤vr)?rjg!vۧz^>f%eNE %rq_ |:oY3Ld m*]EPc(yOx1]ٳfStǴ9Tu:ec]*(vTѬ5D5gYZa946188d36c7a2bd69c1410c151be3b0ac521c01c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a   Matroids  % -% |MatroidsMatroids.Matroiddocument.tex7zXZִF! 䵀E]A-MՋhvG"uIBm54dр472 VJtWwZ3_;{5Tbik l1|XhTl)z:wRݻ4"[T*(o:G &lq^ِ94LVwE%q@T[~ѾޜqU5[DŌL%GjzO5GR$Յݗ slg)g'ODzUdu%Ց{re,5gr%˯8 x}  v! c'mAL(9OrbN^07h܎"n Hl;EHJ5C"|o ]w cp'*]LJA3oUź_6عӘ"xaC%BiB\x /t_ PeOzە4dv wf半 .pE$ _fdi,y렽U*()8{rS."Ͽڱ EZL2"n(5l1d .|E| mni'CBI$BQn'-ׄP_Ūʈm F-t>(Mf7I݁L)7 ˎt7*-<<Κ-8(#,>n: 48sD8u*;GY>`Wf5bw6?bY! OnbC>{.N]=liL%y1/WMݾ!H! UH\*S*uIle4-+D[=;e4W -t slṙǐg5x -8 @8R@z9fDwN.壠ss=g;OV/Ukyc?:FW596ІYq`0/_iׂ3)g(i4cK:"}Z`Ҁw).J=oXԪ"Hf^/! ikn\~a>d-#Y:$ZaLR{[, :jS)0@J|@~a20-~޲$Ξ`HocqU}1O[6Wece- ȏoX -#;( ۔1ˍQ|ee ˱ OxklƇlRĸ tjm2[#4M,Cjz˛nUVs j8\8xWЈ_ptwRsN#L8'II&P(!>,YݽfmjDS[2!^:kr*|3Dqszһq]o P1l=2$3j9@/W 1f+7m<(T8#g*7FNjO,"zf I3VXS#Z٫=W"v@o]hlA_WV} ^Z1C?J-?g_hﱼ4<g3h1)T>yX2ꄅzV+ *-%MatroidsMatroids.Matroiddocument.tex.7% MatroidsMatroids.Indep_Systemdocument.texk"E<: =|iv!5J#F{IyA_Rɿ9+WB1w^ޕtH'BdQQs僄(Nf2 ]ラD+4'ʖߕ8?ʲAE'mEdڮY [8ԅg3</C@Hxgp7BGKɽ);tC˦)'Pe4?)լz '(U jڨ6.gh C({N ]{#ˁt9Om.P\1]ܯ?+;䩱e1ҴϬw3x(tI3_!˼:d` 8G1ʴM R}cC=ڏ,ugSAY"8F}MƦe5[ZYp,DKUnp(ɨꊻ%Љr=rRTY*R6L*ee6[8[ xR ǍMVM/Q%#E* s?uCCSw|CU7Ql|Ȕ12FJpͬ rE5+7vL?_&ד enXj[eDe\ ʑ2ZF8^ Pm op.azV9+FvУ8U!~-@vu*a] 0rFy{ħfAR UdV )W+jVt_k,5*~Q, R'-%awqv!mq@;S RǬC>e3X,vg ˌnNbf(Y7\E V #qcmבљOw,۵jה44mW0OxV(l|.ް s;#Lw >*;7aYv[gWx3ؕJ Ei:*|\Z/`ܜ5j=z¿>::twdze˹>-6FO: pf4\3iDucLX >瓄^8׫Q6ܟVwvls6ɞݾ`:@OoyF갑yU0ҙjUkq+ڜ]07 Ku˵Nsl2.nTm"NK<[S…lg0= bK18:-Ungvռek~xF9cg$g-P@845HC;/& 0u6h+ZUtN; ܜ)m(/0'h F '7"t U ۔Xp*:pBJ´ewI;mqpଘ\<13Pԃ$Z<&p+34\j]}_Bx sկJ/t!pdq`J:m76q@{|:7@s7u?fśư*딊# D`jFobGAwXxj41F\ṮD nP|y"Va Xsv1ڬd7VI=v =AVXJ,)kX*xUezT`e_toA`ed Զ79DNӾ@o17'Gx.d2?縢ț(C5Rnd+>Ţژs%Vc" D-Ɍv 8"2-;LC[x䐝<7tH)ߘ^F-Lqd/w.}GI-bBH+ :_8nΕʏd2ahMTD%5SlPqoԏgkϨXgZ\$b4Y{j}8^qAyq@6:xF\ij296k`^ɞ QJX:RVU R5Kk1V*zמ<} y5í*)XFQKW$> ڑazöΒ! \T*3@ȊJ+wZMTH`)5XG7A˞FR\o1DŸ~Ғg18@ÎBvCE"F&)'tGV9cЃ0G~>nS 8Ô - b/y~f5pM#u~"#GaZ*L5)Wo?n;>vIVVmC/h4NC7[|ʕ^_.1c5ٵDyt:˲/#.!Xݏa}TXi x:D=(iSZ"@"/Qn&a׮3u,Ap lVV%]cQsΈeo{A.xE'ğ]GiR TPlpm$% )WOPKs'>oP+3ٱi ْ'psWYn jMky\ۧ@|9@w9$ j42#QNuO~5 4`fÿ"YdeiBEz6I3^,4)_uMl<ΒFt;jsmqfH?$f}ܩ -Úҥ 2x5X|-@=pU/F/Hx eu!Awս&,!pcLY))Cg0_Nm7 oH!ggƩ,s {fؽhtG,U2mu2]|f{>'6l⮿5}ݟnVˁbt$ĦFmIJ1tvw QF3\+k|E3$y{u 9] -HJEL0)9VX"9{yk=fB ңU,Rx7qѱ^G*CIuRW=HBn!i.C5vd;ѼE>Lج#YGskFgf ~qXCj0lֹ{(#PbF'E'1%͖r2B8eL/ek$%;!8Y)NK)ʯvTk sB8zI 1mč~NyeCm. /D܇*wO!BWDI;7GѶJ7cJ`OM( }Px9 6rbJn'd:-WY1bp1$?k/i¬ q3(Ij`OCdtwn\͟lc,2"a֬nP!]XL;({v(q_q4,HӋ{8F/ЬHKWC~5t 8GgȼtV{Sך9FԻ\g-^3V=%Jl VjfN9ҟQ8{goT֋CU(kpgA.G1εu"j uˈY""m28R)˚ ^%ʽOU1Â`IeTSYD$?%̀F={?LOu'BT`~>Aϊ(v+'X0&~}& .V~(z"أa75j hL(D ܘ=ܮߒO;uU?͇{t ̦R?QY#. ԭ>j\*Zu1m(O@I9-LvO5],t2 ZlƏb_Ϳ~`Q^[%7tV5{ݚl潷 Y <'@<nR-b"zj[4xՇd렸%_ :y4q8}:WӗJl@͙Jo%>SW͗{g*]2~$^> ?, ̓C` $Hyoavmb2p0bJU~H ÀnJ / FTf fg^> X5ȧI`D˖ʼ>"ɼ?^>` S6x]}n W1U7­8xpJN`A&}8baUyspwiF*xx,VtgHgЖUhj!|i-#"$b@*YGK_P_ROH 4聵M_ {zTgeR7iٸuJX}c]mJ0/fLn8f=udIuﯽ2#pwpK3rs7{A"s9!_!j.OGYMDD>oo3wrnI2^3)V4U1)gLKnݭf@&q}9܃}zÊ#-&aF`ty̳?+qeóa{_T'mBTյÙcoh R;!X*ݥyWhJ\Xс_4/Tųv'1a:(3FU@jYhF% +̓LfkK0¿2 :+\參颕ȶh"lk8,zV1@#2* :(S5&"Wy>Dk qa8Z<˚1 Wt&˛: LI%'{fWĎ Ĭ݉u6uWS/aziVIio>D6v ԁ DY4L 69I쮗Z(OoN0^~Z98baqw[bH15Gnht .P3d)5`]F.nyǀ szC]ۿ IQBvdj ,x 3Fޅ jD'9W%xE^oW tR}2egYtmW}?6/AgKmEkg"vGķG>Q,x sis N6J'l̂܆P"lPn :BWĵ3`9uؼ]vxKhƴgWL8)4; F 3wO`ZX'VS+'h/& wBg`&񎚱PSK?D" -KZֈ"$u&ݷER+#7tOjፚ]vc_EK7( &R%"?f7p|']h5\_^\9EP:<ㇸVZp yJfbi"AЩ/fzlc +k,Z'&?f@2-hlFPq5v5uy>e86qn\<ߣ IX^޸~J;\Ͷj?b[;(ӶtRPP^8iygf{ȋp*=, #[ՕƑ_pt@zB%+/u!ݺo=2rEБܳjK`B>%ZSnzX]wJo.Ђ8Ed!WrnΊF&$/R$G-~Q!MC[uF_|Re)Asƨ=E ~.o&L;emK^x4Mf!&Ol}C_G;!ނp~*m }A˝_ ]S)#F[):QD 䛱gYZ RG v, d=)@u)]F3#i6G1B0x 9 ~%k`wڨ% V.c]_T_eD4._3+3Tqs?tZ!<Γ=!E)2G.iG$޻J15'hC )HF#KKHܰe_e;c~nu3s2TӲgW (9#eKx>ES(, UnZ,EN"TL 7! g?Gמʎ#i|.J:Fj*{}sZf-Jd ;;֬>zx" { 0w>+6$ѿRP {' OĆOY l.I%Wb+§Z`WR%t*<Anj)uFE9D!МB< o*||UsbN[3y]{T$HHhoQه?.LGu,Vx{n"^kphf̀8rݜww6A>kfrwF!|g Zu"ASoO8+fgHoŸM$M<-lgBl@<2e9Mʏx,"$$6=. X`&6K2yDM9X\5߯z~wVMjc +O՗71r;ډ2y~$!$)׽ 謹򭲳o.> D9;J:]'#K;fµch+X >v9f+%uGijjɡ@mMXFNs/tZQ /~N(8O$r1W^ͪ5m `P Suu(X;MH4>Zx.jv/Gzc?G 9uYB; ~Z }~E+ЕzLīt$r0ןe^t8'Yj~e2̓qYZ nle7(#LB_tw;8ˮֱ+&5Fk$!]Ͱ;-^EˈR1Ř՛N%LuthxJ l66U_N \oޝ^н'{ItpD@bwſN<' `y~ T8p8c^a10NS\|9v@l;`R_Ԗm[-v[n*7jmZKHhl]({ ol) O_PCF o#UB;4x\o1 R C&Bp$PCKRs@S{@R5d,ʚ(#;4\q=kM&|Z&8=v+ka)Zse /)6lp\Tff#zOطC?-2/`H+rVndU\[Dbι Wi؏#n=C oGRR9)6mcPՇ']WqSv +a( uo= ͉#Rmn}}?J3ZGH:Pj^^B',_?%PЮޓ tv)IfF$*SC;VGP_ 8DӚy)89E-juz똰Gy- 6t;/*qCk[5C@ƶ^@$8!ͷa_~{g:AtUIĈB:X|y\5F*z?.ź_wCBR7ӛX(P'?B^gMD&}?m~pd[wS`AqLڐT]Ui>ס@D`]-U%Zc?e&ayXHƛ+dWYNu3r'O0"ˁ'L92)s21_T%tи$z_ 6Ł1h~mrlUES4 x́* 9Z.E?xr[^ݻ&뽟4HTM:<ة e;ބ v<S<~̧vPdT(G;d ԬkU. Z A th&'oKC-~ZҠBE\ZZWmݾ/|̈-#$j>$ƅ(=u1< ["Jn3t8V^X|T@ys=$"t~Ѭi\أN<dlQ,6" +̧hGX^%YmdB,|x?y]ɲZE^jЕjpx YKIow@l=53A"D\CM~V(v:@%~;1dea߹X !ϺPI T91+c7mymm;57MZ<}?=k -VTF$AS?(jt!!?(\&'TH '3^iϑb1H| *M|d<Ǻe5W;{mmEڳ%$'W&~` #~Y;,5B -װB\ nI^o DJўMp(w&dgT2(8Fm`Ŋ?lbiAJQ՞[I1ws'+x=#7w` ΢$4W?j=7woATmQSNXTv| ,o|`n@G ] b.=)É C4 _&#;+1Ij_彬(N4qP)gWO,coZ]#WR^=F_2XRײyr_#l.2YFڢ7$+e׈Dد[}v I Ɏѩqҡ}W;}{"td:{nf-y']ڎ)mȌ x Pgb%"}"Sms3 vډC0υ)g7:>r"M kB Ԡf^:D8*jPOVҾҙ~5씍+[f폲TEfVSD uA(ɨEeCNoA(MT~QLYtQ6ٖC!z!>VOxdip>*ysq"S*Z/[@& \[p¾|2[1 SF!q@D(JP5,{y̻eAU}Lk'k{/s!E@sU¸)DjH7B?\m߻dau%- |R\l(@Ɂ agoqB9g%s8NEqҩ = Z ͕fUIF^ّ)sk0E B?z\9a%+BQOE[t 6khpƇptcevM1'L>:0G k0 KW9nO ҥ-~iylEE D>9jqB'# ڷۈ,.`9se|^M4Ub"d"0mjUKKDZ-g` ~3f*pvCžqhY+P1I__䦥r\GUC*(ٻSR\_^g2Þo?J`ue׫ %-oNu#hmkUSžݢVN ȑt$U<\Y,|oJESj/i tFbD|$;▸f$"Hc䕏˾Wശ0*ظq囄^!@$VJ9Gĵ<|tq6rİo/ĕJff#7lG=<#}^:z]!bGcA Ql!E)w4p.J/=9֍pO gSL-?xɵpH1~ [(" 3-:Bf8ࡦr (xzX=t(y F3$ ^2w2S:>}/A:E&w*MQ)$7X)˱-fjv>hZczoοu .ո1yxWEsolyfPhxbJAkDKFzR!z(6&Ô@ (ӱgXA?$!a_EBo}IUu;j)'WQ&80l4&혼sXGtVL6Q0fA8vpC!5Ь^όJhGBӲ!VíMn ~CFŇ2GeƂ8<}@9),:F0da' e7O Nad]=.Ր6ǁj@QцL^U"ΞcYv?)Z F}_SI wT̼77u/AÚT"36KCzsrm);I~~vBz*`;ѻK d^x@YQ{mѝoXfAeG(Wfwbgc;=bKj7XXie;@u-H%Gե t(#3DG)oоψ\[cUe0ȳJ1ѝ^!Pu~LŢ@Ys/XC[dEdJCvf.6H { ~W9A GEhXZٝ-sOޑ@"473S 4)8nZ a~ 62(pxi8(p^A28YpD]eh1ToB BU7O(,|3+b{80M59ۑvLh Y白ʔgc6'կL+ p2-nBoTPޖeT׶# Xh>.Hj}Yg愺uʄwZOAÑ 3: r'[*[d扫:0;p9 A'dAO!m"KǓWJD҆+U7Vw"i<0z.[AxS岋*1ze[xox<}'egyJ u h s{/.K Ih)L-jv7Ʊ[oBĝ|u~L{[-o;ܣ2l"J;㌤]/YV>o.8yVkr.{٠(DYh2'+CyuƍyL:xfjey=I#/5=.P&5a~ =VKFe HN!Dۗ/$tNY=%`d̃%txNZ<=(t-.%2 m}g]T2Uu+RKEnjg#fcV 'A1i(C4JPH-rD ,[q!/[[~>YwB2 $3h!8U-lea2Xo<@fu34K&Hme q!6=ŬΚ6V }l9I!+֩`=՛i."#,m \2tUzB}0S]x)Rر`́j+ECVG$c\NV & "B{˰^a>@DҶʽđ#lHk݉5?EٟCڝzW֜tVʚQ$[(( lj5LFQ;1o3,%?<7pp1v7nw< %j( Z!="鄑:]{l @-\(X/ϋ,p<Môķ4YWH}8iR!z5!\NHM,aϠfs?ӔŘ KHک+m<ր {bR+Df1-QJ#BafFoBP@HNd<4KwkGŚ3S  &X)嗚$yJ957Z6A RKڹ'.V._1b4_ +ЎskSƺd۰,N#V*>~`"f9Icx)JyV 'mˮҩdNp]hm%ݻf 2o >Lt4+RLLc dU '(7Nੑ{JcVXj$%$Obv)vwaup:e_i79@ajQ#3Fl1 01NO_%%Սa[riK9Ӧ)e ;QpQR*v͟2F#^g8r[=C\:.P) (=WٍskɘGiq""SAYmՇec Wܢ͕͙+f^BKx]>"2֖_߀N`|Tn` 6#yr1cDJV0%;lnah&# Jʦe'K5!66 a*VʼnKŖFVӹa}uZMnO^4r"Jeҋ*(!$g b˅M߀JaŵȬf<.Ka6fAᬡ3փ݊X!VH9Bkπ o~ q}wSY}=՘ ,J#^o9fܶB{|щ(y4Ύz).JlPn5_&\ӣ!9ڕ¿Woӻz$;sZ#Ak 훐A >SxY10PtUgA,voY-CGa_d)Ve'`Y=h/ǖR <:}wF6@;*er? mv|m~Q2x2zRP3 u=_|~yv+OTMۥ&=^}kSl귏G"M{4~1\Fli3>$nkAqU.yL0ąZ]qߔ_l>ܔ=r)ӯHvD!V`qWD`8h|+7RIFB98+L"|/7ԎԵ<#e rkm˥X݂Ib=1 l?-SjYxKA4fzdz?8d19كRaʥ{qw๨ټ kTʦhiG/2K? )cfwZ_h_rB.ż}QM>:˖:c\)-6M"3M kP;Cj޻L}VERcϥciTJKXzj[wc3麐YCk%I!' (9nWJv!K^ET(EIHb9TFw"uY,AÜ =Iy\| ':XMmn7m=asj殘MZy!CLI"X,})BKZJmΥсG-2 Exd<mKp܌LG"j*°rÙ"SCފ_aw >< 4g:7wBR JqtEkeJweu蕲>9n6@ vtsd2d \%Ү,.1GL#,/u-.l[F;؆@Ixل2#B]A6h ^U)[_~:4ڛ!Gb.I +T Z5aBmT^BH+ǥ.N%6qE+u9G ^˥u;aGD$p%iuwvg NJ?~&y%lo1(oM.jjb|wI ^ _1$'=›2ڟn% ng*M0LP埤RaJQU\.}:>5KE_`)xcGlpc::P?cS] wx=JC[-+lw3 {rf@됏%wkv6aet人W={,$]eՁ  evVA4HQr|M̫?ܦHF-Jc}=3\wYPRc=x8p5eS3?d{^ >/NpXvBSGP~Z^: ~/6.o|+9c傷w#6@54+@=yTum8Rs~1`sfkCR!Vv~WGI$lEWҗ~U˨9b*Je 4B~?q] ˍKDA?TtUZ#ޤrc9 7^~ēnTgByDɦbQ!.A:j ptjD#>*;@Ҫ )Q#cJ cA ]]skCIC@Fd{HA?N&IvZ櫺 d˭G3!6G\'u,d.1_J[Dd-j,U/B,m28 m\dwzMQiU,鯻jz=ܜDIצ6>^QOw-[`c cq5k9/B vN2oAGy{ݕw..,{lLlަٺ<:¢[XQIH42S5q#)mtjwuQґ,w?'h%{T'bi@g HTT̾ 7<-L#k+p!&u{%Q<,AUR9]A_y!} aPowW2B (%5L6&cGdm*c^F-{6OQV/3 jdy0*LIɬw'3B$oBQzW_ܢ&Ex^AlS;_W&2Fs^#V'pഴmƼhHpAnls%[g`ZvR ]YaG cʿ|2:dWs y[6) b;g28$ F Fe*~^|ƾ*7CL^Q\AhGMK. @gXqSvj4K2Z>Sjk,X] $&W =\RJL@3fրYbP=2KFReĩzˊ8ተpnkΟ xUrhFk^09m҆nD Q' pY&@ ō,[nDH½ʗ*Si>dxtY6)j>J^\ 7j'ߡOLF2IrB1"Te͸M_8-xĞ Z[uJ"_n%e{-|{^ƪT;c$~ׇeRcM&HɅdRE-M/3*SOI(4-ھGU|7腿 Z$t m^Ŗf|hF~/ICpV nSS>m ('K+R@<$#{)*])5 0T¸2ti M~KY*F%.<"P+P*Ƹ1l@l訨p:l^*(TDOH/#=އz!g7zA ӸѦMi0j]˃KK3қ;hխ \*@]Y ku-$6e.̞Iߪ*,UJtPNz" fFY܈Be<[(Bޘ .J -e N¯٠${F,\9Gbta 'iE~ɩE~3-qi<嗔gS_U  ^ͼpXߊN..(M@FYFI r9(9M)ؕ1+nugME7Ue;R0g8j`Tp2ic.DSvЍA~Sڴ UI^ 4-TJʹZނrNڹ,L?5ЯEr>ltfbOBaŋUxܴΨֱol<[ȢO8I0'9)2m#oCnn rG\co$}JYxp.\:.έu599\9C>xuH3b A} sRf.P_9VpR8g'iir|R=eg؁b{Ot>3+.#;hVD{MnxZ}O$F>wCDƭ%R[z?ؙf-C]p Lak_aty/3+fH|g |/M33nh ?;Cң?%4hޣ|< lѴQU" ˆ:TÞ~( >YkAdq3<G5R4"} '0V3HF%HJݵ mM3]7jK ì{꣛8ۗuCj̊`(,mZB1Nw󯞆rpٕ+mw =egZӋbvgYZ