CAT(2480,1)
Sparse6:
:~?eo_?O?G?CAK@D?d?QOHoCsAg@R?k?ToIGE_Ay@^?o_WoKwESFcAz@__nOUwJ{DqBC@u_x_WWK_FQBI@t_{?XgKWF]BY@m_w_[gLwFABN@g_soYgL[EqCPAM@EoaWQ?GiCVAQ@EO^WNKFoCj@y_~?dwNWHQAr@W_lOSOIcCsAf@K@M_SgHoDUA_A]?jOToHwIAAK@??uOO_H?EeAE@f?doP?HGEiAA@g?dOPOGwEmBY?y_v?MwMOB}Ba?{_w?NgLwBuCsAh?yOe_MWIiCuAj?zOf?MgIyBoA[@UoeoT_F]EYBF`eOqGXKKiEVB^@iOuGYkLMElBV`l_wGZoMIE}BY`m?xG[WLeEyB`_QOHgC{AI@F?d_RoGwCSAQ@J?e_UoJGDCAe@T?j_VoJgE[BA@d?p`e_LGEgK}@qBM`g?LwF?LI@kBP_]oNGF{Bm@t?}_aoOGGKCIAF@C_boPgHKCiAV@G_j`AW`ODIGW@RaE_TW`oDQGU@U_pOWwKsEQBB@d_toY_c{E]HQ@k_sPIoLKPSChAXAKpDoQkPWCnAUALPE?RCNoC`AQ@|ob_]{HCFpAR@|Obo^KFqBr@y_~O^WN[GQCDA?`@o^wOK@}@B?`_OOGGB{@m?t?\_MOFgBKLw?hBZ?HoDOZc@WEz?W@koDoZS?{ED?O@`opOAS?wEHBE?GoBOWK@WDx?T@]omoA[Jw?h?V@_OE?V{DK@P@Q?SoIoIkAsAl@S?TOToDcDsAP@E?mOVoH[CgB@@Z?coPoJs?wAz?N?oOUoAS@CA|?L?mOC?J{WCFbBq`yo{w]sNQKSEHbBpaGqWXAK^EMbGpbWqSXkKtE\BKpfGfKRiHzC{a^PMwaSPAGbCSaFpCw^kNyGDB~a?p?GW{KeETBJ`eOqGYcLUElBW`hotwUsJeDtAt`[OlwEcBU@r?v_ZOMGFSBu@|?~_]OMwIKC}AZ@M_gORG?{?m?X?G_CoAg@k?y?^?O_HOCWBK@q?z?]_LoEh?G^UNrFubzp}g~C]eNXFibtpzg|k]{NjFpBzP{_}{^gNhFxBwP{o~C[MMHFGbbppgwk[ILzF@b^PoGv{]wM@E|BuPyOv{ZwNTFABupyowKZkN@EvBlpm?zcZgM~E{BmpmOzsYoLLEdBTpk?s{YwLPEnBTPjOtKYELDEbbQPgGr{XsF^E[@wPe_\cXkFZEX@vOyorsX_NpFxBJp|Oqk^gKhERBzPd_}{][KbELBsPxoqC]_KdENBsPb_{{[{K`ELBgpb_yS\?K^EQBiPcOy[VUJlDva{P]gnKV}JvD{a}p^goCVkKLE@A}p`?nsWSJ~EAA}P_?o[ZCJRDiBXPYou[UoLhDmBZPZOukUCMnD^BkpW?ys\_IzFYAnPW_ykTcK~E`AkPgoj[YGIxDVBQPU_sCS[LTEfAaph_hCYSILDHBSPQ_tKSGMVD?BdPP?xKSKMXFMA_prOf{Z_FpEy@|plo^KZkFtB{B]PmO]{]kHbFhAVpK?|k]oHdFmAUpJ_|SNGHNCg@xpIO]cQgFjCk@zO{Od[OeGTCJaEPBW`s]SGJFcA@p@?{KO[NLCGBpPwo_s\sEXBGBloqOzcK[N@BJBnOq_z{LCJhDn@ep[_X{VCE\BOAxos_mCL[LjBTBXOt_ucLKLbEr@kOt?usMCJPDd@qOvok[UOFDB_ArpX_[[M_MtBeBjPu?\SM[MnFX@qoyOykJqD|A|`^ooGV[KYEBBA`aopGW[PSDjCY@[PE?UsPWDnAyAJpEOVKmSN^Fsbxp{W}S^AN^FpbwP|G}S^MNCJ^brAwx[?]QVAF`bpawg{gmQM^JvBiPswyCngMdJxBgqyoxsmsMRJmBdqz?xSn?MXFLDvppP[{[OVPFEDsppp\S[KVJFGDrPiwtkZAL\EkbVpawpCWeKNEKbDP`wpKWiKXEGbDpcwqcXUKnEUbKRDor[XcWjEYEJRE?rspgKzKXBMP_WoSWYKFEDbAP\PZKV_UzDuDlP\pZ[VgU|DxDmPTgicTUIbDRahPRwh[TAI\DKaerEofKpoHtK\A\rF_fcRwX@K^A]pKpaCROWbCtEFpL`aSR_WhCvEHpGWckQIHHCeaPpFPecPkXlC]EYrKobcr_H@C^EZpBwaCPEGdCSaHo~g^wtuGBB|Enp?G_OuEEuLY`kbTwZ_taYqBY`nBVGZgtmXrKyEsrNHfWumX|K|EurHxdCv?XRKkevbIhmOqmWQLLeEBRh`gs}WSLKeFBSHhWomUcJSdiarxYGlMUmJLdkAsHYoky[MDJaePRWiCS}I\Aw`YolgU{JiDrBC``OowWsKUEB@K_eoRgH{DEA`AK`EoaGPKGiCV?D_BO@G?k?Y?H?C_BO@X?S_YOBGBcAq@HY[laUhJTdjqthWKkIUFJCdbQpXQKhISjISdHqdhEKbMPjGqcYQLhA[`QOnGWcIqDh?{_aORGIcEQAw~s^}NzFzb}Q?H}ozO]LNGFYrppvC{c\rNJFZRq`u{|G\VNRFURtptk|O\ZNTFTrt`tcyG]vN\FQRgPzCy?]rMbFmRfpzS~K[fMVFwRe@}KxO^dNsFIr|PqsxO\TMeFIrdpsky[[lMgFKRcptKx?]@MPF`Rp@p{xG]JNBFFRoPpk{k[BNGFARq`oSwK]LMEFcr`Pw{vk[BL{F@R^Po[wW[@L~FAR`Pnsv[^`LuFwr]@}S~KZrLyFyr|@mkvK^^LoFtR\@|su{^VLpFuR[`|kts^`L]Fwr{pj{~OZ@LaFxR|PkKtc\DLZFQRfpi{y?YpLYFPrV@sKsqY`LLefRQxh{rg]vK|FkRN`zc|sXxKxFlRMpzKrK[rKsFLRepekxoXlKwFNRfPe{oG\fK@FVrkP_Cnw\\MqD~q~PuCnUVbJsdzQ{x]S|GUfNRDiQtPyclW]jJWFjqtpysluUvJYdnQuXZckO[^JAFErc`W[xCULMOD_qpPps}_TrItFqQl`{kj[^LNhD[Qm`{{{?T^NDDXql@wc{KTbN@DXRo`UCic^HIiFrQip{{io^JNhDVRy@TkhC\tIQF\rn@QshK\zISF^qdPvs|wRjHrFnq\`{K}?RnHsFpQ]@{[ec^FHfFnRvpLce_^@HjFpQY`{KeC\\HaFVqWpuCzCRHMrCrRk`Kkdw^ZNjCoQVp|cdo^^H\FvRy`J[cqQZHIcdqRhHKbs[rG}FLRepF{xoQ@M\C_rf`GS{oPnNLC[Rr`FK{{PtGzFgqN@yCbC]|GqFnqKp{CbO^BGuFpqLP{Sa[\~GeF\qHPvSzwPTM{CSrnPDCzWP@MtCNrl@CKz[PDMxCQRm@C[w[OVMGCDRaP@K_[[TMKCEQA@p[{sO\GOFgRr@@k_{]\GQFfqCPyK}gNzFzFtrz?~s}sO@F~Fvp~@|sqsXBKdEWRG`dsqKX^KcEWrH`eSooZPKHEprX@`SuWWVKMErrBPkkngWhJ{EHq}@aSn[W^JzEGq}PaCmkYbJkEhQ{@ikmsYfJmEjQzpicsSUZLEDfRPpYCs_UbLHDhQrphSjkVTJgD]qnp[{mST|J?Dsqx`VciKU~J_DQQwPSkmKTPJcDRQw`S{iCWPKBDMqf`_ch{WJIaEBQg@_{h[ZRIWEtQf@lshcZVIZEuQe`lkh?URJKDEqqpPcgkUNJIDFQbpXCpkSJK[DBRFPO{gcW~IIEOQa@bsf{WjI?EJRDpOKp_SDKYDAREPO[qcRvKfC{rI@NSfwXTH{EUQ^Pd[dKOFHQC?q@PIc_WQ`HPC@Q@@H{r{QFL?CaROPGkcWYDLCCcROpG{`KPVGSCUQDPDs`_P^GoCJqD`Dk}a^HNdfrrxh|KyU\LMffSRihtKwchnMFIZRbAfLRS[VSsFDRaAfCeshtHmI\qZqfdRsR`HqI^tN`MKdYQnHXckQTXJTSsOrG]IeQEahs`oi^GZIgqFQiDTwF^Bj`uozg]CMqjMD|a|p^goCVqJ~DGaapPgg{SiIRC~a_POWgSSQIF@?__oOgG[CUAH@Y_kOUWJCDiAr@o_woZgL{FIBZAD`Bo`g?{?a?T?J_CoBG?{?e?T?J_EOAGCCAE?~?Z_KoFGBs@u?tJPdeqsHX{lIU\JZdmQvXZsliUrJ^doQwX[SmQVFGXcLQExBc`yOzFzb~P~G~{_ANzVNJ[Dqiup[ymQUtjZdqyx`ZemYUyj`DgywHY]mEUdjadhiw`YalGVEjbdiIsX[alGVFjRdqIsp[alIVFjOdmYrhZUlkU]jZdfysPZil?Uwj^ddIqhZmkkU{jKdoIqxZykoU|jEDZiphUukUTnjED[YphVIkUToiud]YlpVij]TziwD^ImPVyjaT|itdjyuPU]jWUrjWdYIlHZAjSUsjVdSiihZIikUsiiDkIixZMieUpiaDiYg@YilUT@jUDOitpSUlYTBi^dXifpUQjISyirDMyk`RqhyTdinDJik@REjCSniXdWYePUMi}Soj@DGioXQMkASciRd`Io@QYj}SdiNdWib`T}jAS_iMdWIjpPyhATbiDDXy`XUajQSKitdBYl`O}jSSMj`C{ywXNQmARtjaC|y]P[YmIRuj_cxiwPM]mERghsdpiw`MimIRjhiDqYYh[iekVJjeCtyxpLemYRWikcoyWhTuioRAhbDUyW`TieMT[h_DfyV`Xyl?Q~jPCnYWHXulAQ}hZD[ym`J]jiQwh[d\iVXV]dsTwhWDeiUhXqdaUZhXDeiUXXmdgU[hTDqixpImmWQkjccjYTp[md]VLi~chISpWMk?Qdj?chyo`IekCQgjFCgiS@XMdEUQjFcfiq@IEc}UPhKDdIqhHekkQYjJceyrHHukoQ[hID^IQpVyjqQRi|CdYnhH]ccTzhBDcyppG]k]QGjGCaiqHGmcQUQhAD`yopGEc?UGjDC`YOXWecCUDgaDUIGhTeaKTYgbdUyHHTuaOT[j\cNivhB}a?U{g_dniGP[AaEU~gUD[ym`AujiOmizCJyn@BEjmOoh}D?i^pNafyS?i?c}Y_XNifuR~gOCwICHME`CRahqcHYC`MM`ERciACriXxOUgKROiBcsY`HLMgORQhcDCIaHKegcRIiHcqyahKuggRKibCbIPhS]iOQNhFDQYhXHEiSQOhlC\IZXFUewPugzcvYNHL}boR]gpDDiKpPabGSVgqdEYKxPmbESYg|CSINhDMbuPPg}CSiNxDUb{PSg[CQiHhBuaUOxgeCMiHxBma[O{gRCYICxEe`OPigTcYyLhAe`SPkiSCEidH@mhSO[gNdJYdX@yhWO\gIdRIA`Su_kTMgJdRyBHTE_oTOgFCVI@xDu__P]gGcVyKH@M_cP_gDcKyEP?a_QOsgYcBYEx?q_SOug@CzI?XMu_KRngACzi]@?UfaOFiYB~Ieg~u^{Suf~dLy?HRe_?SwjStjYtTYmlXUmjAt`ipDW]kTUHgxe{YLpm}b]ZogwE{iMHnQbcZrgjSTr_LDaaq[BglsUb_lnS^lZuFzu}@~Dn[^rZyF|u}P~Tp?jHTdirOJgE[A}@`?p_XO\gNCFMBh@v_yoDgA[@U?p?V_IQmxVcjuT|J?d^qShH{dAQfHScgsfiSDIIdFQ^hOsWyKdEIbNPegqsUyItD]atPWgksOYGDByaDPBg^vPRf\r[yL\BM\VMBhDsOxx[xMbvKbgLrsxf[pM^VLBf|sGxl[tM_VJb]\r?v^ZqMTvJr]Lqovh[lLwVBR\Lmgw\ZjMFuzB`|osv\ZlMFVCrZlp[vBZ^MIvDBZtpWvDZ_MKVGrYTlWxHZPMOVGRY\lOxDZTMNvOrTlsOt\\ELWVPRT|s_td\FLWuirclioxN[eLRuiRdLi_xTYiMSVDbSDp_svY^MIVCrRdhswnY]MIudReLhcxhYUMXUebeth[xjYWMXvHRP|qWs`[fLGudBdThKxPYQMSuYrd\qorX[lKuvJbLtr?r`[nKvvCBJLp?qtX]MGuUraLdowdX\MHUPbftrsqHXDM`UORf|cGyBXBM_UKBcda{w~WpMOVGrEdqGpd[`KXvERA|pgopWXMLuEbbd`ow|WZMMvEQ}tpknf[[JyT|RbtpgnnVwMMvMQ{|r_nX[zJsVMa|\ronR[vJtU^RV|kGsDX}L_U_RW\f{uHZ@L?UaRM|ggrpYJK{ubBNTgwrvX{LEu}rKleWvxXfL}uYB^to?rTXhL~uqrJ|kor@ZLKourbKTk{rHZOKpu|RHlnWq\ZvKfuSB^DdGvrXPL|UkrG|jWqRYsKcUlrHdcgtpYtKduMrSLbotDW}LPuNRSdb{tLX?LQu?rFTbSn~WuK?ULr?L_OppWAK[uHrWtkSpFWcLbuHRXDkgpPZHKRUGbVl`strW]L\UFrV\jwp@W`L]U[RALfGodXrKHu\BAdfWolXtKIt}R_L^gwDVzM@t~B_d^wwLV|MAtzR_|]wwPVnMCt{B`Toond[JJwtwr?l_WnBVaKBtxB@D]WoTVdKCutqyll_mlVWLktubZ\\[uxVXLlTurDT\opVV\KUTwBDlacm~V]KVUTAyL[{qpXRJiUTQyT\?qlVRKjuwz[dmUvLZglru_sB\g`?xYCOMwFbOmA?sLYFONuAz@aA]oZ_hKFuCJ@qAn@_C`aPPGwccQYHJ@b_ooXWKSEYBHHTclQThI{daQr_xORWLcCeAH@p_bO\WHSF]AD@n_sNrVxsEl}d@`^gOWvycET}T@f^ROZVtCE||`@v^TO[VtsFT|X@r_lNgWJRxmAw}\_nNfvscD||D@\^@O]VocFmCC}J_~N`wOBwd{X@|]jOXwLRtTyd@`_sNUWKRttyt@d]\O]VfcFlx|@|_~NOWORsUC?|B_ZOGwBsBe@@?z_]OHWDCCE@L?~_TNkwDbzU@[}v^[OKVvcBT|t?r^FNVvkrxdz?}P]pNcvlBxTzG}V^|NJv~brD~{{r]YO?VfC?Txl?B]UN[vcRulxG|l]SN\VdRu|xK|p]JNPvbBsdyS{Z]eNFVcBtDw{|N]DNnv`b{Dw[~B]GNpVaR{\wg~H^vM~v}BoD~c{B^yN@V`B~d~k{F\xN\v]bvdvk|z\{N^V^bwDvs|~\rORv\CDEAgzj_hMzWJBnEAkzn\qMsv[Rldv?zT\fMuvZbl\u{zP_HMowAbkTuL?V\cOEVXc@tuT?Z\ZNtvVb}Dto~X\\NuvWB||t{~\^uMiVRr}L~Gy`^rMgv|RiT~Oyf\MOAvRC?}?_yR_BMdVRS?u?OyV\Xmiwpritt]ysbHmkGpgnSVUJlDva{P]WV[JyDxA|`_On{LyLRBabTovGt{LiLZEc`oouGs{YQIbEgahpigikYqInDYbRpjgjKQAKrE]aQpGgr[YIHVE_aRpfGdKYAGnCYbLpfGb{PQKrE]aMpEGs[VQJRDyaup[GnKVYJVD{avp[gn{SQGRDEaDpQG`kSiG^DMaHpRGaKMQKBBeb@oyGokMqKVEE`vpaG\[TqEZDe`gpVgX{UAEfBUappXGYkOQEVB?`}oog^{OIERBCaBopg_KWqDjEM`ZpcGVKXIDvEU`^pdGVkRaDRAka\ojgfkJIH~Aoa`oiggKNACzBq`No|GSKNYDFBy`Ro}GSkHaHZCm`GpKGR[RICfAUaYodGe{GUQXAF`CqSGP[G}QhALM@fAR_hoswU[Fc_QUXGSdmQHH\cbQVxKScmQPH`c]QVxJCbUPtH\c^QWXEseMPpHZboQCW|S`mNDGRbqQDW{s`eNPGVcVQ@XEC_eO\GjcDQKx@cauPPGFbiQFWys`}P@FXcPPuwzsa]PHF\bcPzWxS]}MXFpbfP{w}s\MNhFPb{PnW~SZ}NxF@b~Pox?C[UODFFcePkWuSc}LhHPbZQSwvSd]LpHTTWiktUij\TuixdVQrXUCkmUHIvdUQpxUSk}UPItdTQrXSck}UPI`daQgxSskmTPJFdIQaXQsgmSpILdFQexQSh}S`I\cwQmXVSfMTxHtd^Q\xNCkMRtJ@cqQ^XKsf}RPI@ctQ_xLsg]RXID[LmFvBkoYWbK?eEr?h`koQWbKGeFrAh`{maUzJqdqq{H[[miU~Jeduqzh[KlAVjJQdzq~hZ[lQVrJWd|q~HY{DuA~@ZeNRLxcCreXPKzePRMxesq]XpKdeHRIxacquWlKneKRKXbcrUWtKr?@RQHfkrw?HLJe_?@Hhg?IYDLN?BRPhi[sO?LLP