CAT(2472,1)
Sparse6:
:~?eg_?O?G?C?[?H?E_AoC?@s?}?Z?L_FOBwCW@_?r?U?LoDoBSAg@K?h_S?IWCwAe@_?k_TOIwEoA}@Z?m_WOKgEKCk@x?}_]oNWFsBq@p?u_ZoMWF[Bi@h?t_XoWoCkAM@H?u_[OLwLwEYBP@f_sOXwKsDiAx@Z_mOUgJ[D}Az@]_nOVwJkEUBF@c_q_WWKWEABC@c_cOQWHSD[B@@a?kOUOKKDIAb@R_doRWHcCyA`@N_`?PgGWCUAG@F_i?OGFwDYAA@T_POGgCSIS?z?]_MOioBs@u?xAp?KoEgB[J[?~?`_OOnOB{AE@@BE?ROIGC{EABD@`_XOKGEKCQAD@B_aoPwGsCYAN@D_^oOGGKCaAT@H_joUWJCMsFBBb`pOwW[[MIFFB``pOxg[kMQFJBe`qOyg\cMmEuB]`m_wGZ_L}EcBW`i?ugYWLeEkBW`j_ugYgLeFSBN`g_zGY?MmFMBK`s_rg\?KuEiBK`j?rgYwKuEVBI`coqo[cMWERBI@qoowWkKQEHBB`aooWWSKAFMA|`s_nw\?JyDsB[`]?vWZWJmEKBQ`c?tGWwLMDOAk`T?jWTGImDaAm`W?kwTwJIDiAv`Z?mWU_JaDKBA`R_oGSgKEEOAv`b_mWWoJaDaA[`X_fgUOHuCwAa`Q?fgRgIMDUA?_~_jWNoIqDI@y_{?hgNGI]D}@t`]_\gVoF]CvAY`Kod_X{LCCpBO@JojoQ[J?CjAS@VOc?SCHGDBAP@Nob_R{G{DBA_@Eom_PSJoCXAz@Dog_OSGCDFAB@QO`?ZsGSF@AE@noxoMSMcBhBg?xo[O\SF?FX@n@toiOLcEwDT@l@SOYOUsJOBVAt?tO^?O{FkCR@|@CP]_ScIIDFBB`aopGF[Be@t?s_XoLWE[BU@hAO`HOcWQ[HUChAL`FobgO{GeCP@p_vo[GLKEmBT@k_vOZWtgYOLVEeBTPj?skYoLREfBTPi?t[XuKvE[bMpfGr[XiKpEXbLPeGrKXKKREQBDPaoqcWKKLEDBCP`?o{VsL@E]A~Pfon{YCJ|EbA~pg_nkVgKLD{BCP]oo{VWL@DtBNPfomcYKJpEaAzpgOnKVKLVEkAxP[OtSV_LPDvBSp]Os{MyFZBn`y`dWqwNQKkBr`x@bG]GWyKYBoau@]wlgVqJUDyb@@YGlOWEK?Dhaq`cgkwXQJKERbQ@UWsoTmLIDYag@[wmOTIJaDPb?@QgoOSqKADJbF`PwhGXEK_DGbF`PGqGSYK_DDa_`dWqwSIKkDBa^@gWfwYMLCD?aY`fgewYAHkE^bR`Kge_YeHeEgaS`bGdOWyKYCjaU@`WoWQyKGClbQ@GwsoQULICc`|o}g^KNWKREJ@{O|opSU{G\DoAGPZ_`{VWGZCKAyP\O`[O_J`CHAvpA_lsTWHxDWA]pTof[UKGxDcALPW_b[P[IfDTAKpT?bCPwH@C\APPFocKPSI|CUAmPD?jkSsGbCRAfpC_hsNoHLCg@~O~Oc{OGH^CCAWp?oeCO[JBD_ABPVo_kN{HpC@A\P??fKco?l?W_JoEWB[@i?l?W_JqUomcVYJjDva{p]GC{AY@P@^_moVgDkA}@\?m_VoJWGSCQAF?~__oOGHKCaAT@S_jOTWI[DEAd@J_eoRGH{DAA\Bl`vOzw]KNIF`Br`yo|GhKSaINC\aNPFw]sNaFnBx`|o}gaSPEGfB|`}O~hPWgySYIOdEAbxPGgySOIOdDAbxN{gES@H}c}Q^XNKfiRvHicuQYxL_gIRSICcta_xLGfYROHwcra\xK_hERKIQdHaXXOoeYRGIDcqa`xKGfARcHacpa[XKOeuREHncoaZhJseAQ~H[cmqUxI{dUQlHVciqThJSdaQrHYckQUXICdEQ^HSchQSxIOhQQeIUdIaTHMWcqRiHMcyARXLGceRMHJcsAQhGocqQOHMcbaRXFWcUQEGyc]APHDWcMPYHDcUAPHD?hiPSI[cSaexCwg]PIIEcRA`XCOfARcGccPa[XQw`}SqG`dKAGHBggqO{ILcMAaxAWcEQ?GTcIAOh@gc}O]HPcFASH@OhESeGKcDach?_feOKHzcAa]h?Ge}RYGBcvA?hNg_AR{F}b~a^HFg^YP}Fvc^@|XP?]}SSFpdC`{HQw]eSqFjdK@yg{ohiNOI[braew{WgANGI@bqa^xG?]IQAF`c`@wHFg\uP{F^c^`vhQ_[mMYIUdI`rGwgfYMMHwbbA\xOO[aSGFId@`qWwOfMMEHtbaA\HJgZqQwE}b]aUwvGceLuHIb\AQxJoZYLmH_b[AVxGoZMQOEtcb`lHE_b]PkGxcYaMHEG`YPeGWcXADw}O`eOuFscL@{w|o_]OOFkcC`zWygayP_FUbiAJwxo^mM_F|bf`~GyG^aNsFRb{`sgz?[EMqF?b^`txA?Y}L[GQbUaCWzOZIL_F[bl`kXkWbuP~G}caQPXG[cYQPHFccqQxHSIaDTAh`VOjwUCJUDlAs`OogGR{JqDvAy`_OogWKFYBn@t_{O]WNSFmBz@{_~O_GN{GECDAB_xO\GM[EmBT@h_uoZgLcx{[_MTfHBdHqGxM[kMLfKBbxqwwy[LMCfAr_Xo[wI[WLxe|BahpWvaZ{Lxe|B_HnwvaZjLvezR`pmSwcZhMGExr^@mcvGZzLzExrZxmKvAZZLmeuRYXl[uiZKLhesBYxkwuiZWLbeqbZhk_uuYvLYemRVXj{tyZ@L`epRWhkKuA[MLSfCbThp?tUYcMJehbbHiGwiY]M]egBfXhoxqYYLWedbTxjGsqYOLWekbQhhGt][wLAeaBfhgWxuX}MYfLbOXg?xeXqMXe\behrWriYyKuenBLxf?t}X_L[elBKhjWrEZwKie}bJHnWqmXKL~eQB_HcgvyWmLbeqbDhk_pUZMKResBChkopQZ_KNevbCXmGpAVmLtd{b\x^?vYVaM@dxb_x]OwIV[MCfAa{Hoom}[{JcfMawxr_mIV?MZdobehrGl}UrJZdlQs`rCl?[lJPFJqq`q[ko[jJJFIQnpqCk?[dMPD^Qlpp{jS[\IuFEqkHUKi}W{KHeDBGHbwomWWKGeFB@x`goYWEKZeAbFX__pqWCJfe?axh[goAVsJ|d|a~x^_nyVkK`ePA|HcWnUVUKfduBIX\gqaWoJgeLAyhbGmeYIJ[ebAvhgwluUmJLdkArxYokyXYIzeVanXdojqToKrd\BLXVGrQXwIqdYBNXfojMTWJGdUaqXTok]TQIedTahxTOiaTEJRdiahXS_lQT?J@dPAoxSGkIUGI\dNAphRwkU?|?[_MoGGCK@}bODmawPZwmKVMJdCXaKPDwbSPqGvJHdcQpxXSkmUXJLdfqrhYKlIU`JRdiqtHYslaUnIkdVQjXT[ieTTIfdRQiHS[iUTHQWG}s^iN|FabrPvgpSXIK\E]bLPdhFcWIKHHEc_P^gocbiPhEAa}QKgrC`yOpE]bIQGgqC`YKPGMbEQCgwcVIJhFMbcP]gvCUiM@DmaqPngkcYyLhDmbWPYgmCYIJpEiayPhficbIPo|]cYNUgkCZyIpFAamPmgwcTYMXDMbcPSgeCdyQpCiaUQThHCNyG@HQceO}g[CciFPHQ`qQRgZcayEhGi`kQHgXC_IOPBQ`eQ@gVcciEHHQ`_QRhIcIYDXH]`SQUgQcdyCXHY`GQTguCFiBxEu_yPjgLCYIB`Ee_uPigJcaYBHGm_oQIh@CDiAhGA_gQ@g{cBiN@@AbmONgDc^i@hF}_WP|h@b~H~pGUcGN|hCB}yOw~icKNxfxR{H}K}u^^NmhFbuIQG|ic_NXfcc\hxPFQ]UPtg|BrINW{ubwNMfhc]hy`Fq]cPzgyBsHxxFU]aPug_cPyGXCeaCPGgaCMyGpBuaIO{ftCHh|`Aa^UOffsC@i?w}]^QODgUBxIDo}Y`YNdfoc?x{X?Q_CNafoC?X~w|}]{O?flcAHzh?i_QN[f_CSHwPDI]APPf]cRXvxC}\{PMfZboxvG{U\oNCfYcCXup@I\gORfbbjhtw{Y]OMogPBjYC?yq`AMjfWbiHuWye\cMif]Bhxsozm\sMdfxbgh}gyQ^gMbfzBfx~?yE^mM_i`cXIKTEMbLPfgqqOHGScE@x?|_^Pugzc\mOdGPcGPmgvKZmL|E|b]PlWu[ZQLnEub[SGICTAE_bORgHRmhvczm\bMqfXriHtSye\NMdfRT]QkDTyi~TvIlt\ajlV_ixTYiktUIm`T]jiTUiid[yiXSqi[TQiiDRYh`S}i[TPiedSIg|SaiLTBiatPIgPVAi?Tqi_d[Yg@UuiCTni_dZihHREheTJiXDQidpS}h_TPiVdSIhHQmiUSlidDJId@TIieSiiiDIYmpP}jmS`iOD]Ib`VYg{TwiMd\ymhPmgsTriyDEYaXVMjiSTiyDDI`hU]jQSNiFDYIlPOijWSKitdAy_TOMgBR}i?S~yk`NajKRyiqc}YkHNYjCRvhydWy[xSMfOTDhrDPI[XSYfITGhqDPyXLKaeTRDhbspim@KIeGTqiwcoylhJ}j]R@ivCoIjpJMj?QtinclIU@TedcTYhWdUIkxIujQQnhVDYIl`IqjSQjitciikHI]jEQhipCiIS`UQdKTdhQdXiRpTmc}T[hODVYSXTUikQ`ijcgi_xQUhMSHiCDHicPOQgKSciPd@Y]PMAfgRahxcwYZhM}faR^hwCviZXR}hyR[hlDNi^`LefyRWh|ctyV`LQd{RUh]ctYYHPYeeSWhhDDyXpPAe_SQhfdCYfPKueWSzhddNIVHMeduRjh\Cyi\`JYf[Qwhuclye`HmhkQ\iYcfIR@R]csSxhKdMJB?@A?d?P_IoCwActiYxLZemrVxjsuAZDL`ejrUXjCDmAx@YdbQpHWkkEUFJAkWEIjEPaqpaWjkTEJjD`aup]WjkOuGzCT`yo~W_kMeDJBX`IowWRkFeEJBP`EoqWOkFEKJEP_upaWKkCeJZ@Payp]WJkRD~jC`^}pIV|kQD}jCp^qpIVzkKdyjBP]anQWWkLdxZBh]]owVejmEFizpaAmyW^jkeGYzXaMmsWakRdtiz@aemmWgkRdszDH\UpOVSj[EDYvP`YlqWVjZeDiup`]oiUtj@T`Io\VyjzT{jJdyy|hXekoVkj^D|y~H[AnoU~kBDmz@@ZuoMU{k@dkj?`ZQoIUrjVe?Iu@_ElaWAjUD{Ytp^MlYVqjTdryxhYim[UhjgDhiyHYamcUfjPd|Ysh^YlGVsjODoYsP[MlAVAjvDfY}@X}n]U]jaDeiwpXqmIUZjpDbi{`XAnEUNjEdwIp`]EkUV^jCDqipP[qkQVJjAdqIwxW]kKVHi~ddIqpWEkiU?i|dcynHXIjsUP_FoBW@tiwQjHVcjQUXJSdaj~U@j?T]Yn\VitmYplXemZV@jItgYmlYejzUpjAtYYqlXeizT`jEtOYnlTEkJTHiysOYwlCemZOxj]tKYElAEhzShgUsCYdl@ehzOHiYtgY?k~EljUhf}tUXSlUeTjT`dUtOXPlSeSzIPiis{XnkwefJRhfAsqYNlFEejPhhmriXzk}e\zN`fYrcXwkyE]jMXferKYRksEdZKxhQskXblKEXZQxeQq_YOlHERzHphEsSXJlDeRJP`cuqOXVkdEUZHHdaqIXYkmEPzJXcYq}XAknEPJJhcMrAX@k^eWjK@cApwY`lOENjRxbupsYck\egzSPberQWukteMJLPb]peXkkYeZZE`ey?T?K_DoAw@c?iftRwh{s|Y]|NYwOZ~m?fAj_@oewUZ|mEe~J``nyv][OlufBz`pmyvS[PluFCz\XpIwUZTmEetz``lYwOZQliFAZYXoiuE[PlafCzW`pIuC[Ol_fBjW@o}t~Y|l^UnJVTjmwCZxmAE}z_Xnivo[Flzf@Z]poYuqZdllExjZ@mQuuZflmeyZZ`mavAZNlpesZ[PlAuWZolfE{jXhnEuQZrlyeqzXPnQuKZ]loEqJZxk]bBP_gnroHwS{E\~M}f]tqixd[mmNVHjcVSBidtGyj\PMhvRbitt_y^\LMjvUBhdsgyl\JMjvTRh\tKyX\SMdVRRg|s{yP\MMcvSBfttGy@\PM^vIZd\qixL[gmRvHJc\qUx@[amOvDBelpWxn[TMZVPBd|r?yL\DMWvJBgLsGx\[lM`vMBblrgw~[xMNVEbf\poxz[ZM]VDreTpcxh[WMXvbAgLSAiDQ]hOSfySLIMdDQZhMsfIRTHecpXlkvUZJLLemrT[pmWVJzdlqyxX]cnQvhjsTyM|B]\NKVebrdxk{r]]NJVfrqly?{n]QNQVhbq\yS{h]ONPVcRs\w{|B]]NEVgBptx{{Z]ZNEvfRpdxo{\\dNKVebk|uW{r]IN@v`Bp\wS{R]JN@VaboDwc{B\smyv\jmTvMzb\gNIvYbqtuc{n]NMmVcRjtx?yz\XNHVUrqdtg{f\yNBV^BpDvk{N\|Mzv]Rntv{zp\bMvVXBmDu{zD\_MuvWRldt{zV^e?Co@w@C?]?P?HfcrqxxS{q]\NLffrsXyC|I]hNRj[tmivDZUlnUujFtbiqDWmkZUKn~F|Z~x~^??^unxG?Z}a?M~e_AnrVyJ{|}e~V^insf}z~h}m~S^{nrf}j|@~e~o^enxFwJ}X}I~g^`nmf|Zzx~]}{^unpfujz`}U~G^ZnjfxJzH}U}o^bo@fsK?H{z?C^NneFzzxh~E}U^oncFzJxP}y}Q^ln~fnz~p{F??^?nZF}z~hza|m^{nXf}Juh~i|g^xnWFzJuP}y|a^lnUfzztx~E|[^onbFtZwx|Y}g^DnhFpJyX{I}a^BnSFmZvXy]|Q]yn]Fijvpyq|y]j_HOCGAK@M?h?TlSuijTDiqtZYjk]UNZFtbepvWyoigQ[HYD^AS`UohGQKGqDRAM`Ro`gP{GiCZAG`Go_GQ[HQCFAU`AoXwK[EUAz@`_noigI{IyAvAk_koPGSkCaDR@E`RoDGRK@aCz?U`LogGB{@qDF?Y`NoeG@{@ICz?O`Lofg@KII?ZA__Do\GIKDQBr@Q_zoQgN[CqBz@}_foNgL{CIBf@?_woZGF[BqBR@i_[oHgE[Ai@n?g_YoJgCKBA@J?k_PpGfazpTweonWTkJV\jmlvQzb\rmxVZjmDu}zV\lmuWdCSMHTD@aaPJWfSQmH|Cla]PIWbcRUH@CxaNPLwdsQEHdC^aWPFWecJuE@CxaZOnw]SQUFlCf`yPGw\cQMF\Cd`wPHwZsRuEtC~`mPMwZCSEElDBaaOtWWSRMH\BFaWOpW_SPMF|CTaGP?W^CP]GpB|aLO}w_cM]GPBjaBOyW`SMEG\BdaEOwwXCJ]ETAz`eOmWUSLMDhBN`WOsWv??c?Y?J?C_BO@W@c?i?VaMpGWbz{\}U~H]fnSviJx\{u}X^GndVqZtTyq|V`foswYKKmEZBHbsPpWxC]uNTFFbpPnw{s[MNHF@boPmwvc\uM|ExbjPpWxC\mMpFFbYPqwus[uLdFNbXPqwus[}LhFLb\PjWvcZELpEnb^PjWwCZEMDEnbOPsWsc\ULDFRbgPewrs\UKxFRbEPiWpCYmKTEfbBPiwssWULPEBazPyWnS]uJpFjawPtwmc\mJdFXbyPYw~CU}NlDlaqPzwlC^EJLFrb{PUW}cTuItFvahPzwis^MIhFpbpPRW{sTENHDNabPvW{CSmM|DHanPdWkSXeJ@EVbGP_WqSV}K\D|bTpiWs{Y}LbElbZplWu[@U?r?V_LoFwBkfaSJH{dCq]hO{gQRfIEczqaHMkfyRBHcd?qWhO[fyQ~IAclq_HJkaQSVIMcSqHhPkgyO~GadEqGHP[hYOrIYcMqeHB[hIOnIScIqcHA[_qSbGOdIqBhQ[^iSnF}dLp~HRKeYQjHickqYHI{cyRZHQcwqSHL{bqQFH?cbqNhGkbYQRHKc\qMHH[_iP^GicCqJH?{_QPbGAcYq?HE[hqVJJedOqyHR{lIVrJUd|qtH]{nAUZJqdfqsH]klaUNJ[ddquhXKkIU~J?doqpH[[jyTfIydWqnHT{iaTjIkd[qihU{miTFIedvqhH\kpQXNKieKrIHa{nqW^KQe?q~haKpiWRK]eErFH`[oIXBKEeQr@Hc[rw?DKle`?@HeKsAX[?F?ARKhfG?IXlK|?BRLHf^