CAT(3072,19)
Sparse6:
:~?o?_?O?G?C@_?n?Q_HoDGAk@Y@C?__NoFwCKAE@@?e_POHwCkAQ@F?h_TOJGDCAu@V?g_SoIwDSAu@X@E?WOJgEKBI@f?n_[oLGEkBY@n?w_^ONGF[Bi@z?~_eoRgIKCqA^@O_a?QwGoCAAI@H___QGGWC]AC@I_u_OgGCCEAF@D_aOaOLsFIBZ@p_wOZwLgFUB_@u_v_\gMGFYB[@t_x?\WL[EqBT@i_uOYwMWDYAc@r_j_\GM_DUBg@S_x_SwKgEEBC@g_p_XwKoDyBQ@^_q?WGJGEQAs@d_l_XgKwDuAw@h_k?YGBs@y?|A{?LOEwBk@a?x?X_iOTWISD]Al@R`f?kWU[JUDdAo`YOkGUSJEDjAs`XonoW[KWDzA{@`OpoWCKSEBA}@aOjgT{IuDZAm`Vol_WKJoDpA}@[onOU{JkD~Ay@_O`?WSGSEFAE@aOpOPCGKENBE@BoeGRSHUCnAU`KoaOUsGgDpAv@EomoP[GwDtAK@[o^OSKFwDD@~@Poh?OCIWCDAd@?ofoTSHkDNA]@Tof?TCI?DXA\@SoboNSHKBn@w@HOc?NcFcCh@z@GoBGAC@E?^?M_EpF?A[@I?n?U_IODWNSF]Bv@w_}O]WO[GaCHAE`Bo`Wf_QiHPClaSpIwdcQIHFCcaQpHwcsP}GxC]aMpGGcKQAGzC]aOpFGb{P]GpCXaLPEwasPOGtCTAKpC_a{P_GbCOALpCoasQwE\BPAVOsod{LGH^Cm@fos?d{LOG`CS@jpC_YsPKEpCT@kotOaKQcGTCiADpJ?`{QkGZClAFPI?`cO]GPCHaAP@W_sNyF~C?a?p?w_SNaFrBy`|o~W^cNIFlBv`xo|G]kMaFRBi`roxg\[MMF@Bd`ooxG[SQKEtB^AQOuockLwHNB[APOvOcsK_F`BH@uOq_\kKkF\Bp@eor?\{Z[EbBM`fosGY[LIFDBb`ooxW[CMQEXBG`coqwXkKiMiFDbbppGxC[MMLE~b]pngwS[EM@EwbZpmWvcZiLvEqbYplgu[ZELhElB_pnot[Z?L|EnB]po_tsYoM@EvBWPm?t[YsLrEmB\Pj?v[Y{LxEaBTPh_tKYKLPEcBSPhotSYSLRD_BPPWOs[YSJHDaBRph_kkYOJFEZBbpd_w[X[MHEYBcPe?wsXcMJErA~P^ousW?LbEBBYP_OukWGLdD{a{P]WnSVmJzDnauP[GmKUuJ\DYalpVGjkTyI~DUakPTGikTeInECAyP\oo{VSKLEGAxp\_okVGKREOArPcOk{XGJPERAspYoqkUgKhEJAfpS?pSWsIbEKAhpb_hsW{IdC|AcPN_hKR{ITDJA]POOhkS?IXCvBMpf?f[RgK|CxBNpgOfCRWL@DDAWpL?gSRKIFCtAaPK?g{SWHdHX?BOAW@S?]?V?Gcs?BG@s?}?`?L_Gq_?ssYULFEcbPPhwtCYeLTEkbTpjwuCYyLZAq`WokGU[JQDj?^_OoGGF[Bi@x?|_^oNgH{DAAX@L_goRgPKGmCXAI`FObWqKXMKhETbGPcgnsV}K@E@b@p_gnCVeJtDza}p^Gg[SIILDCabpPXX_jqUBI|d^qoHVsjgTdIxDWQm@UKjkTfItDZQl@U{iaTNIcdSqhXSshaStI[dLqeXRkicSzIdDMQepTCh_THIYDRQePS{g{T`IODWqcPUShGTfISDYqcpUchOSjITDFqdpQCh[SbIUDHQcpQsjWSLIvDBqm@OsjcSNIGD\Qa@V[i?S@I`D?qg`OSh{SFI]DAqgpOcfaRlHtczq]XMcfmRtH~c}Q^XNsi{R`HrDTQipL{ioRbHqDUqj`LshwRPI^Csqg@LSiCRVIaCuqZ@S[ggRxH~DEq^PP[gcRvH}DEQb`NSgGR^HqDAq_pMKg?R`HrDAQ_PLse[RHHbCqqWPKkeGRLHfCnqW@Kse_QrHkClQYPJ[doRTH]CuqVPL[[{QhFPCjqTOyS\KQpHRBgQT_yccWUHJCCaQp@GSkSQJH@DaqpPG[bkUDG{D`qNPW[bwUFJAC_Qo`F{csPrGuCfQLpH{dGPjGwCgQSPFSacTxGiD]qIpVsj{PXJ@CVQo@DkaWTVGdDTQj`C[a[TZGgDVqj@Cce?OpG[CpqVpA{`gRDH`CKqEpKc`CQtH\CIqV`Ac`WQrH[CHqC`J[_mO^GKcGQBX@s_UOLGHcBqAh@CggODIHB~qb`?[gkO@GCDEQbP?K^KQZFsCfp|PIC^WQ\HQB{QSO}{fWNZFoCypz`Mc^CRnFqC{pzpNCdOMjHTBjPuPJC\gQlHRBjpu@I{c[MTHKBdqQ?xc[sQRFMCdqQ_xK`sNNG]BsQFo|Ka?NTG`BtqG_|c]CP^GoBpPwpES]OPbFdCXpx`Ec^wN@FxBmP}_zk^kM|FZB}P~Oz{yO?H?D_AO@W?k?QQdHNcgQRXIKcyRJHfcrQZhL{fIRbHrcwQ\HM{fYRpHxcyq]hNsfmRxH~c}pDga{PaGrCZaLOZGL[Ei@d?n_VOKWE[BAAr@\_kOUwJSDqEhBT`jOuWY{LaFfBu`yO|W]{NIMTFJbfPqWxk[qM`FQbhprwyc\EMhFNbgpsGy[\IPFGccRQHxDCaUNHFabppxg{k]EMvF[bmpvw{C\yMjFUbkPtwzS\e_kOFgAS@Y@D?e_LN~f~S?y?D?E_DN_F{RwP~K}K^xNaF|r}`{k}O^zNVFrryPzC}g]rNSFrRtP|[}_]lNOffrshxs|E]fNHFerppx[{k]JNGFerq`xc{o]LN@FrRnp{{}_]FNiF`RyPwc}k]@MxFxR{pvS~[\vM{Fyr|@vszs^lMuFqRwPu{zK^DMwFqrl@{[}?\jOIFQRiA@t?k\JMeGERiQ@{y[_ZMpFNRfpuCzC\@M`FWRk`s[zG\DNTDbRtpXC|OUNJIFkqqpzC|WURMiFJrcpt[xG\XMSFUrdPt{xW\\MlF@ri`oCwS\\MjF?r_`t{yo[HMhE~Rhpn{yWZvLyFQr^Pscvo\PLoFmR[pzS|kZ\LnFnR[Pz{|sZdMrEprXPvCu[\jMsEpRX@u{uW\lL[FfRVPyCtw]bNREnrs`kKu?]^NtEjR{pjC~OYnLYFzrUp}Stc^lLOF^roPiktC]@LQF`RT@wctK]FOIERSApc|?oXPOLESsBpd\?wXTNkEIRzPakpc^^NoEJRDp}Kp_^\N~EFS?@aS~wW^KPG@s?Pa[p?_DN\EDrBPzco_]tKHFlrvp`Soo]|JzdzQ|x^CneVtODDyQ{q?{n?_HOEDyq{Q@D?cVdMxDtQypv[mo\tM{Durn`\{zsV\NmDsQx@|{}oVJJeFwrzP\Km[^`M]DnQw`sKmC[~JbFORg`Z{m?\FNIDmqu@wklc]LNFDlRq@Zc{cUvJKF{QrP~KlC^tJOF|qr`~kk{^xKyEyrM@mcrcZlK|EzrN@nKrkZpLgEXrYPesukXjKsEurK`lSuoXnLIEURJ`h[q{YXKoEerRpeKqsY\MKEORbPcKxCXJKaFFRGpp{x?XHKYE^REpf{poY@K\E_rOpbsp{YDM[E@r@@rCoG[zKDFKr@prSxkWLLCD}RQP^ksSV|LED~r?Pg{s_W@MEDhRa@YclS[RMFDhqt`p[l[[T?K_EoCWAC?}?\?R_HODWAc@]?l?E_DOAW?{?m?PEqbYPkwusZELj?~_^OMwFSBq@z@B_aoOGGKCIAH@J_bOQGHKC]AT@v_}O]gNCFeBvA@`@O^WNsGAB~AD`Bo`GO[GYCPELbDpbGpSW}K\Dqaxp\Wm{VQJlDJacpQGhkSiIXDSajPUGi{TeIjC{a]pNwgCRyIBCpaXPKGe[RUHhCuaZpMGfKRmHtCya\pLwesRaHrJEdbqqXXCkmUTLaeqRWxkku]ZLKAe@r@x_coUWLKIeCrAH`[ouWXJ]dnqwH[[mEVDJ[dlQuXZ[luUpJMdgqrxXckuU`U]JGdfIqPXukwURjMddIq@XqkiU\jIdbipxXQkWURjDdcIphXIkSUPjDD[ipXVMjgUKiydbYmxW}jkUMisD^ilHV}jSU?itd_YoXUYkCTfiiDXilHTUikTgijdXylPTajUTXieD^YhHVmiSTwidd]YhhViiOT{ifDNIfpS}hyTOi^dSYiXSEi?TQiZD`IexWUhoUEi[d`yfXWehsUGiUTIid|QyhZSjiRdUic`TmhIT\inDHijxQehOT[iNDOibxSMh?TCiPdPYcHS]hCTEiYDGIeXQEg{SpiYdGyePP}hCSoiKTEYb\PugxSYiSdEybhQagoSdiRdEYb`QYhGSYiHDOiaXSMgkTFiIdPIaxSUggTEjJDBYqxO}gaUXjKDCI``XmksSMiCdWi`PUMgUTdiBdWI_pUQgOT`i?DBi_HOqgCSLi@dByaHOUgGSOgkdIiJXQqasSjgmDJYJhQ}aoSmifCzi]HTAfeTPihc{i\xTIf_TNhmDDyaPL}geR_iICviapMEeySTiDcty_pLYesSFiCCuYZXOegSRWhgD]IYHVeecTyhhd]yYhVuegT{haDdiWhX]eKUXhbdeIXHXmeOUYicCnihHJ}iWRBidcoIhhKEiSRAh[SnYVLJidvQ{hXDZyl`JMj[QuiuclIUhVEj_Qvi?CjI_HIud[SAhVd?yUHOUd_SCg}D[iNhVMjgP}iyc^ymxGEjkQ?g{s\iNDFibvPvgvd_iLpWMbST}i~cYyLhWEbWU?gidNIfhDQakS}gjdNygHDIi?PRgfdMyI@RaaWSugedMYexDEa[SyiuCPilhC]j[PGivcQYHXVEj_PIiocPIGhUUa?T_g_dWiGXUMaCTcilCLIEhTm`kT[gZdVYjxBei{OwjLcKYqpBIkmOmjKCJyrHBAksOrjACIIohAe`SUEgUdaID`We`UUFgPDKICXREhcOciXcHYehA]hgOeiiCCYih@IikORijcCIA`Te_iTWhLChyRXIacwQhhMciySpHyc}QihICgIQhIEckQahPcdyRHIUcoQch@CqiOXKmcKRKhACrYXxG]cIRMgwCwiMHMMbcRchqc[y[xFUfKPshuCYYK`MabIRhgrCyiKxMufUPggnC}i^XD}fwP_goc~YKXN}bCR}hFCMiFXHMc]O~hGCNIQPBycaO|hCCFIPH@ucSO]gNcayPhAA`AQKgJc|IB@NU_qRugJC|yBXNe_sRw_KOEwBK@i?z?[lh_XGK{EaBL@h_qoHGCSA]@F?e_QoMGEcBe@n?u_YpqWxS[qMVFLbfQFXBs`}P@GacOqEHA{`eOvG[cLQChAk`QOlGRcGpxw|C]eNTFkbtshiTDImdTQfhSsJiD|BA`bOqgXsFiBd@u`BO^gOSDiB\@e_nOYgKSCYAD@Q_fOQgIvHraDpEwf[SmHVBz\XnevWZylzezZ\pnmv_Z{l{Ezz_HlywCZZlke~ZZhnyusZ~m?EvJYxnEvcZRliE{z]hlUvkZWljE|JXppUwoZLmLErzaplIwmZOmKesZXhnuu]Z}lge~z_@lAwCZMm?esjXPkQuUZDldepjX`k]uQZKldEqJV@letqZYl\EuzVXlyuwY|l]EvZUxp}wuYqlXfFJU`puti[_lZFFjT@pitK[TmJEhzTHp]tU[XlTFEJQ`oUsi[Fm@edj_`h]wKYXlKFAJZxgyv?YNlpEcJQXmEvGYPlHEwz_XfArg[Fkwf@JMPoYri[Gkxf@ZLTe}r\XjkuuZJK`oerI[IkrFAzKxoqrQ[MksFBZIPpAqe[PkiFCjIhpMqm[SmFeTjcHcYqQ[dmPEQzcXciqM[ckcFHj^`b]vuWwlzeLJ^@bUvsWul{eMZ[@aevGWklneIJ[XauvCWiloeIzb`aMpM[_kRFEzbhaIpG[^kQfFjCHmeowZdkOExjBhm]vSW^kNEyJcH`YxCWVmPeEJBHqQou[ekLFHZ]@`UvUWOluECZ\h`Iv[WSkHezy~l^inpVzj{t~JcH]AxCV`jpFGy{XqQnI[ejqFHZ``\Ymi[HjkfAiyxommo[LmFDtIyHk]m[ZCjfepiyXkUuQVOjhEqIwXl]ukVEjaeuJY`[ImGZRlidpz\@[AmAZej]ExYvpmevSU|lrdnyupnEvkUzjZe{iv@nMviUxj\E|JWPcuq_ZBl^ERJVxcyqaZ?l_eRzG@gIqAYBk`E`JGXgUqIYFkaE`jFPiApwY`k^EgjFhiMp}Ydk\ehJJpayp]X^kWEWJEHeEpeXbkXEWj?hiyoQYokAEjJ?piuoMYnkCEkZN`^yryV~k~E?JOH_EoEY?k~e?i}PfYneXvjyE]I}hfenmXzjzE]jRP]qnYYZjvEfJRh^As}VplNDzzP@]YsQVflDDyJPX]esYVjlEDyjJ@ZUleXYkmdkJJXZQqwUpjXEUYtX_}o[UnkDDiit`_mlYWLjVEBIzPYQmuUdjnDiIz`YYlMV^jmdiYx@XymQU^jODqisH[mmYUbjeDgg?s?]?P?H_DoAkEPkuu\ZPlfusjYCJYDnAz`[OmWVSFuB|AA_~o_WOCHUClAV`KOegRKWQKJEGbCp`wosSyIdDNagPSwiKkaULJHdbqqhX[uaZRLieurYxldcqqZXOkguRjH|bephWtkZUMJE|]enVVgjrTxy|T[}m`VPjfTsyyUGXCJaCpAw`KOeGVBj`so{W\kNMF^Bb`oovwZkM]FJCC`iouG_KLAFzBY`~p?gY[LYGNBY`sotg][LIFVBk`iozgYKLaFbBa`\oogZ{LqDrB?`roxGVkMAD~Aq`QolGTKIiD^Au`RojGSKJADFAG_}o^gP[GACZAC`Fo`gQ[GICbAS_wodgM[HyBnA[_yoeGN[HiBr@j_qoZWL{EeBNAk_qojgK{EaDf@i`WoZgU{EqDj@]`[ooGKKDyD~@_`\oogK[EIDyyk_|migNJiIBayc_xmhgM{FPtR@Q_XoVGEkDQ@^@U_WoUgFKDa@nB{_Po~gCkAYGBCA_Sp@gDkOQ@U~}`{o?G^K?QFv?G`|o@g^[?IFq~k`}nxg^z}aGBCE^tp?f}KOP~]}`^NniVszyT|F@Q^HoTFqkDh{z@U^JoVFrKD`{u||]|n^voJwT{FBs]vo|fmJvaFnBu]xo|FmjvYFjAS]LodfbjpyCq{c`MnGGRzqICvBC]GoqFa{KpwrBE]HnBgXZpQE^A_]@ohF_kIXwM{G`Soif`joiDFBE\iopFY[K`unBI\kmvGXkKxuvAG[roafLKGprUxm`Hm[GP{H@rZ@}[qmUgNjdqCIx_`Bo_fJ{G@rF?U^xoEF}k@h~n?[^{n~GCJ~i?~?I^ZnmG@jzi?^?O^]oCfwK@P|}~Y^Bnbf{Z}P{a~[^CnbF{J|x{U}i]^njFgJyxyE}o]anlFhJzHyM~M]XnMFzJrp}m{s^gnsffZrX}i{e_\oNFdKBxxV@?]UoPFeKCHx]z{^bm}Fxjo@}Qzy^`m|fwjnx}U|I\nnRF[JsxvE|O\qnTF\JtHvMyy\tmnF\jjxv]z?\wm|FWjnHuEyU\VmkFRJhhtey[\YmgFVJhxtm|g\GnYfQjghzM|a\EnZFQZuPs]yC\emqfOZkXr}zG\?maFYJgXu]xq_bm\GHJfYAUxw_em^GIJfiA]xW]jmRfjJthqixO]mnWFIZdXy~KCHRciqTHIsdaQnH^coQWXKSeQRFBL`dOqWX[KqEPOSgGSCiAl@E_f\tm{V]Zmtvizn[fmSVIZdTqqxVekROXg[sUYNLJecrFHaKpIW~KSeOrDhc[piXNKWeQrJh`KqaWJKieBrJH`[rIW^KoeEpfHekYAXzE]eZpghfKryLNEce\q|h`{mqWJJmeBq{H`KnIWZJseDq~HS{oAT^Igd|qhH^KnyTVKAdUrOHRKsISvLCdMrPhR{siTFLGdOqSHfkdIXnHWeYrNhIkdiXvHUe[qPHh{sqQNHGegqQhi[cyYnHKeiqJHh{ayYZGuejrTHEKbIYfLOcYqIhcKaYXFG_eMqHHb{aIXJGgeRpqHi[[iYnFAefpoHhktQMJLObbrIGo[qiJvKka}rJgnKrIJ~Kob?pTHaKpIInKSakpUha{TyWvD[eKpKH^[RiVrJ}aXq~GekoIHnK?a[pCwa{OuG^CPaIqYHUKeiTfHkdYqZhU{jiRfHod[qXhWkjqQzI}cnqoHKKeIUNHcd`qDH@K_iOnGKcKqBhB[`IOzGOcNp~HXKlAOFF}ddq?HXklIOJGEdfpwHZKlQMvJUbkpvhZ{liMzFadmpthPK[qSBFMd@psHOk\QSVFQdBpkhGKbaLVGybUqNGtKcIL^G}bWplGqKZYKfEwbIpmgq{ZyKvE{bKqxgl{VIVJDodsp\h[[VQVVJ_aupWHPkgyJFIOaqqcgl[hYJRISarpQG{kSiNNDObvpRG|KTINZDMbtq^Gg[SYR~C{cypPHN[SARnHwa^pHGokWYHREGaTpagdkWyHNCmbEpEG}{PiNfFsaMpFg}K^iHFFwaOq}X^[nuV~KBe?ldUrJX[x}[|M_fPRgXs[RAHfCpaYPKgemNrFpb|p{w}k^]MrFZbmpvw{[]EJ~EBa}p]WoKVmHNChaQpIwd{QuHBC^aKpEwc[PuGZCNaJpCWa[PUhlSeiLtKIcLQIh^SgiMtHIdlQig~Sei@tII_lQigRSmiBtBIeLQqgVRQhnsxIZ\MYejRahjswIZlMaerRMiGsrIa|LAgjRKiFsribLLAgfRwhRs|iRlHyfvQci?sgI^|IIfzQGiXsbIelRIcJQIiYtKiO|GyhjPch`sWIWLEIeJPehcsYiW|KibRRig]szIF|MyaBRog`sPi]lNIaJSOgFsBIa|PQ_nSMgGtEIA\PI_jSEg?tAI?\?QgFSKgBsAi`\?agJScfttGh}K}ygzNgiNtEh|k~IhBN[h_rviW\Ki^NN_harwiXK}QeNRufgs}Hy\Ni]jR{fjrui_K|af~Rof_rmI\lMi\zM}hxroi]kzif^MGhnswhp|MA[VRcfEsxhq\Ma[bLohir\iY{vaevLqhkr]iZlLIZjOagus[iCLFY_rOYgvsFIMl@ybbPGhGsQiQ\CqcjPMhJsSiR\DAcrOyhTsKITLBIdZOshVsMIU\BYdbP]ffrpIIk{YanNGgkrrIJ\Dq]VMkfyrjh}{zA^rMqf|rlh~{zQ^zM_fIrdhs[xa\JMYfRrfht[xq\RQse}r`IVlJYZ~MEh\r_IV{wIdrPweqs]hk|FqZRLig~rZiO[uqcBLWgTrUiDKtq`NL]gUrWiD|AQZB@b_ooVvlJuLzU|l]rnXYAL?u_^ORgIsDxjKtmYzL^eprWZPDferxY@l@U^zOdfUsLXzlDU\zLt`ErPWRkKU[ZAdfMolXjkuUBy}tgEsDVxj~U`ZOt^msPV|k?Uayzteen@XjkvTwzMD]UnPXrkuTxyqDfurlUJk{TbZMdW}khX~jHU]yfte]rDSvi[UXYfTe]i@Xdi]UWzBTb}q@W\k`UFzGdaEqPWdkbUGykt]mjPVlitTzymD^Un`TniuT{yyT_MmhWDjjU@yzD_emxWLjlUAzDtZel\WfjWUIZDTZMp`UtkUTlyqtYMkpUdjRTeytDXulXU`jTTfzJTWMj|X^j?UWZItWUqxUHkkT`zETVMphTtkZT\zFDVejxW|i|UMywtTmmPT\jdTVyxdUEjHVPjfTWyhtcmi`XLihURyiddEipXTijUSygTZmlxTDj^TPywDSemHTLj`TQzZtq}xPZTmTUtzddleut[rlmVKZedpmxt[TmZVCZfDpMx|[Vm]VEZ`tmewXZjloV@Z_tmMwTZdmCUxzgTkMuL\@mdUoZhDj}uH\Dl]VPzUDketdZJlYUrZUtk}ttZRl[UsZ^DiUvtYfl}UiZTtoMw@Yjl~UjZRDpust[^lMVGZRtqMtD[flOVHZPdmusdZnlzUcZ]DhUvdYVlyUbziTwMyl]FmeV^ZiDwUyh]@mfV^zqdvE{l\rm{Vfzmdxezt]\mzVezsDuU|P\lnRVYZtTu}|D\jnQVXzpTuEyp]HnEVUzpttuy|]PmpVczyD{U}d^FniVqZyt{m}\^ZneVuZvDyu|t]nn]VkZvtzM|l^Bn_VlO?T}a}y?AntVvo?d}q~B^a?AVzz{o?Y~f^c?BV{^