CAT(2280,5)
Sparse6:
:~?bg_?O?G?C?[?L?E_BO@G?k?U?J?C_AOFoBS@q?|?\_KoEwDoAE?~?a_PoHGCCBw@Z?j_UOU_G[CQAD@b?goRgISDAAf@N_iOTwIkDeAp@U_doRGHcCuAZ@J_lOUwJSDmAx@[_h?TGIWDUAm@M_k_RwI?DYAo@P_bOPWG{CaAT@H__oOWGKBU@l?v__ONgFsCA@~?~`N_MGF[Bi@r?|_]OkoQCHEC^AL`HObgQ[HYChAT`JoeGSoIIDIA_`R?gwSoH}DGAd`Q_gWR_IICqA^`N?gGROIEDGA\`L_gwOwHuCsAG`N?aWR_G]CqAH`L_aGLKEiBV@l_vOZGKWHMBOAW_r_dWK_HYBIAS_r?dwOcGICLA@`@o`WLwGuC_@o`F?[WPwFICc@s`G_[wNgGmBwAK`D?_GNoGiBuAJ_~_bGJgFUBq@__n?\wN?EEBs@^_p?\gEcBQ@hCL?XOJwE[Ay@`?p`HodGQsHUCpAVaN`?W_kOIGFCCaBPAG`[O]GTCKaCpCG`kOyGbCQaFpCWaSOuG`CMaFo|g]kNUFnBv`zP@o^[NoGRB|ADPA?_CN{GXB}ADo|?_CNoF^Bp@}o{_^sN{F`Br@|oww[cMaFJBe`rowO^SLsFrB^@|Ov_^CMGFpB_@{ongVKJmDzA{`\OtwZKLaEtB[`los_asPKEfBPAJot_bCPOEjCT@iP?OX[KoGFBLAAP?_XsL?GLCD@fonwWCKMEBBC``PCoTsPODZAoAJOk_bCI{GnApAIop_UcK[DjBG@XopOUsKgDpBH@Zoho\kMcDRAk@vOy_TSMkDVAg@uPe_B{AA@B?a_QOGwsoAY@J?f_SOIgDKBa@z?x_\OMwFcOeGNCIaCPAw`cNiFrBw_doRWHcCYAJ@G_boQgHKLuFBB]`oOwgZ{I]DTAh`ToiGTcIuD^Aq`VOkGUK\UM`FSbgpswyS[mM\FIbeprwxc[eMJFFbbPqGwcYoLvEoB]pjOvcYwLzEpB]Pjov[YYLREfbTpigtCYYLREibRpiGt[YALDEdbOphGs[\?K|EYBgpeoySXoMfFTBNpfOyc[gKhEUBepdox[XSMXFNBKpr_rCYoKbElBHpjoq[YwKdEpBHPk?qKWoKnEWBFPd_pkXcK`ENBIPaoqkXgIPDEBNpOor[XsINDCBMPPOrsWKKLECBCP_?pKWCKJEABBp^opS[OJfFDAyP\_wsV[MNDwBcp\OxCVIJ\Dlavp[GmKWoJBDcBGPb_k[WsJDEJArPbokkTkL|D]B_pV?v{TsM@D_B`pVowSYGI^DOBOPgoiKYCIdEcAhpT?skScKTDKBApQ_pKSwKLDJBCPROo{Z[HxCwBXPLou[RcLhCzBYpM_usZ_HDEwAOpFovKZgHHEyAPpmOcCZwHbE~AXPKowCROMBFBAZPo_ekPkLjC\BYPF?usZKGtEvAKpF_uSTSHzC}AjPNoi{S?IpDAAlPOOjKQSJNDgARpI?lKUgHRDkARPYodSVcH\ClA|P]oeCQkJxCkA~PJonkfS?v?X_LOFWBs@qSA?o_VoJgE[BI@bIR?KoEwBk@y?x?YbAp`wosWaKTEHbIpdGqsX]KrEW`KoegRkHmC|A[_`OOgGcCMAH@B_qOXWK[EYBP@f`Ao`GOsGECDAB_zo\WNCFYBt@x_moVgKSEAA~@`acpRGhSSuI\DJaZpMGfKRmHxCyaSPHgdSQUHRCfaKpEgb[PqG|C\aMpFgbKPiGvC[dvaqp\smsURJlDfQrP\skoV\JIDuqpxW[kYUPJDdaQxpVsj{VPJ?DsqypVkkGVTJkD_qlp\CjoVRIxDrqm@\SmkTtJkD\qm@X{jgU`IxDgqlpYSjoUhIzDhql`UCikTbIkDXQjPU[jST^IsDVQwPSkmGTLJbDRqi`[kicVLJcDSQePT{iwSzIoDLqf`TkikStIkDMQ_XOSgMSHIEdAqaHO{gmSRIKdDQbhP{hASdILdGqdHQ[h]SpITdJQ_@ZkfwU|I?Dlq^pZcm?R|H~DnquPNcfsUtJUC|q^PY{l_RxJTC|q\PUKfWTdHvDXql@NCjWRtItC{qcpR{hOT@IUDOqdPSSh_THIVDPqF@S{iSOpIeCKqE`TCigOzIhCLqbPL{g{R`HmDGqc@MKesSdHkDFQxpKse[VPHgDtQypLKmoRTHjDsqS`[SmKQ\JcCfqx`ICdKVJHPDoqQ@XKkgQRJJCdQr@H[kwQZJLCeQP`NCfWQFHyCaQPpM{fSQJHAC{qN@W[cCULG|DaQN`Wkb{UPH?DbqK@VkbCT|I~CXQo@E[kGPjJ@CYQf`C{hcPHGeDLqHPRSa_SxGhDMqF`X{`{U`GbDiQG@YKaCUfGaDhQ[`AsfGOnHsCHQ[pAcfOOjHrCHqa`@kg_OXIJCFQBpPK`CSXGODBq?H?c_UOBGAc@p|@O[^SSHFuDAp}POK^[SLIAB{QtO~SlWNzFzDjqu?~{^wUtF{Dkqfo|Ci?NRIaBtqgO|SiONZIbBuPxG{s]MNDFfbqpw@Zs\wU~F[DmQw?z{lsNBF\DlqT@JSdSQvH[CjQVPI{d{QrH]CkQW@DcasRHHdCVqWPD[eGP\GiCpqA`FC_[PrGECZqL`@[bkOPGHC\Pz_ys]{MnFYBwpu?}C\kNfFXBxOCGAS@E]q?W_IoDGA{@M?l?e_QoIWC{Ai@PNg?ROIgC{AU@P?hdCQaxPKgqSTIFdEqchPsg}S`IP`}o~g^[NqG@B~_goRwICDIAf@M_iOTWIsD]Ar@W`XolGUkJYDpAv`]OmgV[JeDzA}`RoiGTKIiDVAk`WojWUCI}D\AqgFSBy@l?q_bOOgKB{YBW~A^[OYgKbzx}X@u_wNqg@bzy?g~A^eO@g?Bzi?_~I_CNpftCDh|@@M^UOQgIBzH|H@]_iNlfqb~H{o~u^uNff~Bxx~w}U^sNefyBvx~G}Q^kN`fybwh{?~a^mNbgPBoiCW{U_}N@gObphwX@y`?NCfmbmHug|e\sNZfZbvHzoze\kNYfWb}huO~m\]N{fXb~X~wzA^{MsfSc@htp?]_UMlgDBjI@Gyi\UOGfMrgXsSxy[~M_fyB^x~GwQ^iM?fzB_X~?wI^mMBerBvHzGuE]yLdflBWhzouMZGNZelbvxk?}QYwN_embwXjo}M^CL^gEBQY@osq_]LIedcCY@gsuY[OOeaCDxgX@IYIORgIBPiAosa_iLFfjBNXyory]oLAfjbNxz?sA]mL@eNcFiC?qE_}K_ePCGXc`AMXEOaeUc@Hdx?UX_OBg?bJHdp?I_?KjfhbLhyWrM]gKtfibLHy_rE]iKqeKcEHbP@eWuOYeMCExbp@uWyO[fsBCx|GpQ^SKTeJbzHb?}u^UKUeAR@X_KoIWLKBgBA|X]p?]VsOGgCa|x^@?m_SJxfbbrXx?{y]cNJfcbrxx_|E]SNOexbZXm_uyZ]LtewB\hmGvaZcLvfGbXxlGxY[cLgfHbYhq_um[iLkeib]XnOtYZuLVe}BUHjOvyYqL|e]BaXogr]XoMEe[b`xfWwiXsMGeRBbXcwwy[_KieSBbxdGwqXIMJeEbmxv_oy\yKNf^BCHw?pI\}KPefb@x`_tIY_KGegbAXi_oiYeKJd|bgx^gyQV{MdfRA~Ht?oA\MJ~dvbdxr_nEVgMXfLa{x]?xaVcMYhz?Ag@[?q?Z?N_FOAg@[?}?\?L_EPgWsSYALFEdbQOZwMCFEBf@s_xOVWJsD}B@@a_opZWlsU}J`DqawpVwj[TqIzD_anPTWjSTYIpDXajpFwcCQEHHCbaPPIwdcRAH\ClaVpLgeKRMHjCqaYRHhdKqiXPKdeRrIxdkrAXXKmeVq|x^KnYVjJyd{TKqctQchjSfIYTKadDQkhnSiIZTGafdQ?hpSbI[tHAfTRshJS`I\tGAddQChZSdIWtJacdQKh^SaIWTBabTPGgvS[IFtFQa\P{g`SPINTAAfLOghpS|IDtBAfTOshvSHI]S~AgLRwfzR}I`TOA^|O?iFS~I?s|qbDPSftSUHzS}qbLPOfrSVH{S{q_dNKgDSEHyT@q]lNSgFRsIAtKa\TROf^SvHvTKq\\RWfXStHusxA^TMSfnRfHzSxa^DNkfRRgH{tAqZLLggZR\ICtAAZDLogXRZIDSmaftJkh~Q~I`snAgDJsiDT@H^S{AULIwf`QnHws{aU\NGddRpHWSfA_TO[dBQ\I@sfa_dOWd@Q^IAtFaQdH?gvS[HGtFQQTP{cjQRILSbAg|SOcTTGHFSaqgtScc^QLIatIANLFshLSjG}THqNDFghTShG|s[aglFKiLPsIbtQAMlF[iRTCGzSWQddEGhZPbIWSXQeLEOh\SnGoSLaadBkgrOvIIsMAatBcgpOyIJsIa^dAogBOjH}sJQ^tA{g@OmH~tBaDDASg^SQGSsHaaDPK`NSPGQStaXdL[eZRQHfSrqY\LCejROHiSlAHDJSaRQuGdSmQHdCsdnPJH[SaQ[\GOe|QDHns`a[DG[fDQGHospQODFwe@RAH?s^qWLGKeFQAHaSZAWtEseNPnHds[AXTK_bbPmHcsVASTIKatQcGmshQJ|I[a|QeGlsRaKtC{bNPOGsSSQLLDKbVPQGtSOaQtCKcnQWGaSeqGtHgaNQXGasiaF|Ic`zQgG]SiqFtCCdZP?HUSKAIdBCajPUGXSTqE\BSarPWGYO@w?{?e?P?H_CODgAk@]?p?S_HoCGAC@E?d?Q_Gs{i]LNAfhRthxq^HNkfmR|I?c~oMGFSBm@r?{_]oLWEkBY@n?v_ZP?W_[OQGDCEaAoPwGkCaAL@H_dOsWYSLMEhBU`iqIhD[aqPZGncVPzg}S^ANbFrbvp|g}{^eNhFwbyp~w~S^mNxF|b~Pwg{[]QNJFfbrPvG{C\uM~F`bnPtwys\eMvFYbkSjITLIidVQlhSSWIK\EUbDPcgou\BLlegrjXjKwU[rLtfCr^XqKuUSbGDdKqBXSK`UTRG\cSqnXUKaUMbE\b?p|WpK^uJrFlbkpdW{KVUIBFDbOpTWjK[uLRDdb[pZWhKZUFBJt`sq~W]KoUFBKL`wrFW\KpUEbNDfcopXvKJu\bAt`krvWXK|UMbADbkodW|KIuCRFt`Kp~W{KIUEbE|bOonWUK[ULRBD`kprWXKZT]bJDVkqrT{KlUUqnlV{qzX[I~U@BI\_SqdXSKCU@rIt_cqnWEKit~bKdeWn~XfK?UYR?L_KrJXgK@T}BGt^oqTXHJ}t}RG|^gqVVzKcTxrHd]WqZViKfTyBH|dCnVXOJstwBKd]CrJVaKrTwrK|]SrRVcKsU[QzTfGm~XtJnU\Az\fKmxV\KwU]Qx\[srpXuJcTrBN\[crtXvJdUHqulaWldWdJWUHQuLa[lfWeJYTjRCL`{lTUjKNtjrCDYwpBUkKOUCAsd`ClJWQJRUCqs|`SlRWSJSTfbJLX{qtU_KltgRJlYKqpX[JPTfB@l_wktUWKDTeR@\XsoXWNJLuHApdaOk`UNKPtcRCTWspFUMKPUVaotd{kNX_JCTarKTeKkRUIKotZbGDU{qBToK`T[RG\cSjdTrKaTYB@lUsoVThKFtYb@T_wjVTkKETWbHdUKq\XOIrTXBH|dCjNTdKetWBL|UCrXXiImUYqjlTwr\T^KutUbD\acivTUKUtURDdT[pTWgIkTSRDtTKpdWnIgUKQiTTSpfTSKWUPahTSoqRXFIduQAhtcki^TLKdTsQv|[CmdVRJ_TsAvt[{lxVMJ]tla|d]slnVmJ[T{Qv\]{ltUxJwToaqT[KkfVFJITdqwdXWmJUTJbTuAod\ckJU?JiT_QylWKmlVVJ@T\A}TVSnfTuJyT]A}tVcnnTvJyoIwDkAm@Z?k_URtxys|a^NNdfrPawpcWuK\EObFpcWq[XIBR@i_toZGLsEu\^MofWrkhu[zQ[nMWfKrehr[xqXDK^eORGXccqMXbKqeYRKxesrUyc\amhfWZhxuAy[\_mgFWjiHuEzI\KmpfQZhhuazG\GmrfQjkpsmxw\SmiFNzg@tYyi\@m]fTjfptUyq[um\FTzfXt]xm\XmkFMJj@rez][omwFKZmHrIzc[rmyFLJmXrUy[[imgFIzdxtMxW\NmVFSZdhtIzu[cm}FHZnpqez}[gmRF_Jnhq]xC\lmsfFjlPp}zU[_mvFGzcHuqwo\zmKf^JbPwAzy[Zm~fFZnppqzE[KmqFBZkhoyzK[NmsFCZkxpAvq\]mlE|J]htmvk\[lzfVz^@tuzsZom{e{Z]Pv]v[\tlvf\j]Xvau}\jmsevJl`lyzSZ\mvEwZ[@uuuA\Zl^FVZWXt}t}\Yl`FVjW@tqziY{l[F\jVHv]ts\wm{emznPjusO\nlCf[JPPvEsU\qlEf\JP`vMvC[QlpfCz[`pQvI[TmJexzapmYwKZOmDetZ_xlEwOZQliFAj`HlMyCYqlXfOzU`sQti\DlZfPzUpsYuQYilaehjTHkYuGYflTepzT@kau[YclPErzSHkuuSY_ldehZX`iMw?YYm?eez_Phqs}[DlMf@JRpoMsgZylIe}zQpnqsmZ|lKe~jR@n}s[ZglFeyZ\PhAvUYPlHezZQPmqukYAlje_zZ@gQuqYDlBeuzZPgYsAYok}EjJNhius?Ynk~EkZNxiy?f?V_IOEGAs@URfHscxSHiCdA]`POhgQwJcCY@v?{_coPGH[CIAV?}_boOGHJoy@v@?]KoPFa{Bxwb?{]IoOfa[Di@n@W_VoUgFKDi@j@W_WoUGE[?iAZ?K_foBgIK@QAn?O_hoCgIj}YA^@Q^soTF|[DX~Y~o_gnzgHkAX~q~q_Pn|GCkA`~m~y_Un~GDZyx}I}k^dnifwZz@}Y~E^YnkfxJxx|m}w^OngfvZyP|y}g^_nhfvz{x{e~O^Insfqz|P{q~W^MntfrZ~x{N??^Co?fpZwq?I}O_Cnbg?zv`zY|u]tnWflzuPza|g]ynXfmZsh}u|K^mnRfzzt@~A~c]hnTF{Zvhx}|{]_n^fgZw@yI}C]cn_fg{A@xb?U]RoEFdK@hxV?[]VnJGBztXwu|W]MnFfjZq@yy|_]QnGfjzoHxe{s]AnLf_zo`xq{K]]nAff[OQCrCM`Pp@gR[OaCzA]aEpAgSKMyFFB_`zo|G\[MqFJBq`ro{G\KLaGnCO`iougakLYGfCY`npEGZkJADJAm`[okgS{IqDvAu`SoigUkNaCZAUa?o}gP{NqCbCA`HodG^{FyCFA?_yo`GM{GiBrAE_|oaGNkEaER@i`doZGXkEyE^@q`ho[GYKKIBJ@[`]oVgV{KABNBE_popGKKPqIrDaaQpUgb{TyHND[aPpWGcKVIIbDwajp\gi[ViIjDsaep[Gh{RQIBCua`pPGfKSYHvDGa^pQgfkRAJ^DcaSpJgl[UYHVCqaupYGdkYAJzEaa~phGoKYYKFEEbTpiGokWaKjEIbJpbGrKWyKvE]bHpfGqG?ILpEl?APmgtw?ILxEpbX?@gv{ZW?LFBbY?@GwN