CAT(2474,1)

Sparse6:

:~?ei_?O?G?CAk?G?E_A?@W?g?Y?H?D_BOLOE[BI@h?u_ZoLWFKBi@p?p_WoKWFsCA@~?~__ONgFkBm@x@F_coQGGGCQAC@E_`_PWIWCiAV@K_eoRwHsEk@X?l_ToKGD{Ay@\?o_Vo]_M?F]Bq@n_{?ZgN?FIBq@r_w_\wMgF]Bq@u_{?\GJGDyAs@[_l_VWJ_EAA{@^_m_WWKOEEBG@^_p_WGKOEUBE@f_q?XgKwEiBI@h_r?YGLoEqBY@o_v_YwLgFIBe@k_w_YwL?FQBQ@t_t?\gJGDIAs@O_l_SWIWDYAo@S_j_TWDSAa@RAo?rOXwKkEaBT@h_yO\gMkBI@h?r_XoLGESBa@t?x_`oOWGSCQAL@D_cOQWG{DMAj@S_kOTwIsL?EVBL@fOr?X{KcEZBI@doq?XcK[E^BD@gOp_XsKSEDBF@aOp_W[J{ETBG@_oqOWCJuD|A{`^_mWVOKEDuB?`X_lgUgJaDgAv`W?kwUOJUDaAs`\_jWVOIyD]Ax`]?jWTwJyDyAm`@_iwO_IiCIAk`N_pGS?KIC{BB`LofGRkGWDTAG@UO`oT[JGCRAp@Dok?PSGqC\AL`G_iWPwI]C_Ag`Q_cgSoHQDGAR`Q?dWSoH]DIAU`S_eGROI]CqAg_}_lgNwJaB{Av_|_gWN_IMBsAa`@?gwO?IIDAA@_QoHwCsQS@n?t_ZOMwFkBqAT@K_dpI_dkQ_HXChATpI?ckQcHNCiARPIo]{NSHZCk@zOzw]KNAFXBm`uoyOcSMkHFBiAQOx_cSM_HFBfAQPFo[[QCFJC_@qOw?ckMCHNBaAROvOb{L{HBB]AOOuobcLoG|C\@lOtobcPwErC\@kOt?b[LSGtBUAKosobKLGGvBPALPD_`kP[G^CWAFPA?a[OcGjCFAIPA_aCPGGXCJAGp?O_sOKGJCAAAO~O_CN{FvB{@~O{_^CNOFtBr@{pZODCAe@T?h_TOIGmoMAFBBaa}@]wnSVeJkDxa{@]wmwViJ]Dsay`ZWloVMJ_Dray`[gmGVQJNDhasPWwkKUIIwDqaw@VWjWVEJ]DYak@ZglgTeJqDEa|`QGnOS]JoCvaz@MGmwReHeDiau@KglWREJSCmat`Jwl_RAIiDNaj`SWioTAHiDKaZ@Rge_SuIgDJad@SghGTMI?D]ao@OgjwSEJGC|a^`XgfoUUIECzaa`NGg_RiLi?d_RoHgCkAY@NE}@QOhWSsI]DRAg`TojGTSZsLjEvB\pn?usZ_LzEyB]PmOv[[OKPFEBCppOpSY}LbEobU@pGtg[UL[FEb^@iWtO[AL}Ejb[@hgvOYaLqEfbY`gGuwYILAEubKpdwrC[GKdFBBHpcOwKWwL|EOB_Pbov{WoMFELB_paowSWIKHEBbBP`Wo{W?LhE@BXpk_n{VoLhEqA~PkonkYKKzEdBNph?rsXgKjE[BIPd_r[_?GxC]aMpGGb{QEHDCcaPp^GnsVuNyGHb~aAw~o_iM\FNbep}`@K^oOVFzCDQ??}{^cODG@B{P~O}c^wNjF~BzPyG|S]eMwG?bnA?gzg_EMqGBcA`ux?_\iOKFUbkAAH?w\]OKFRcC@tX?w\QMcGBcA@sH?g\EMNFHbcPqgxc[mN[Fdbv`xw}?]YNEFlbq@yw|_]INcF^bx`wW}G]AJTDkatqMxFSbePTGkcTqEHBS`ePwGTc]aDxFo`YPwGQc^ADHFg`MOXGMcEqCPC{`?PRGNCSQKpCcaWPjGdCYQK@CKbGPFGpCPQF`Dka?P^G^CVQEpEs`oPpG\CZpkgucZMP}H`c_aWhK?cAQzH^cnQP`KSc[R@H`CaqSPIcdGQjHRCjQQpHscoQ^HLCgQQ@JSdoQTHHClqTpGSd_QHHBCkp\WmcVMN\FobvpzW|c]mR{Hwd?A]XNwfiRoHzc}a]hNGfqRWHzc}aZhLgfqRnHtczQYXL[eiR{Hecra_HL?f}RFHccqq[`L{fORbHrCwQf?v[ZuLx@Q_goSG^CNiFrEGbDPaX@{`EO`GqcWQKXDka}P\IsDTAhhSwiaTQIddPAhXS_i]TEIedOQgXR{h{TDI`DQQg@S[iwSzI]DWQjpRchwTVIlDMQj@RkicSNIHDTQa@TChWT\IWDWQdpT{hASdIPdTabHPOiuSUIkdKa`HRWgYSsIDd?aeXOWhiSCIZdIabxQ_guSeIMdo`~W~{^yQ\HOcfqPhG{cUSZINdFQ{p\km}V\JfDtQz@\KmkVPJaDrqwP\KmKVPJ`DqQwp[smGVJIpDtQz@U[mkTdJXdlQuHYKk}U`JcDcqqp[kkgVLJ_DaqopZskOU~J_D_Qo`Z{kCU|JlD]qnp\sm{T|JnD\qzPVcmwTtIwDlqmPZcj[UzIuDmqlPZ[jOUxJTDeQtpXslWUZJEDhQq@Yck[UfKeDWqkxUSqYXPKfeMrFxbspUWlKSePa~HcgnuXGJ}eQA}XcgnmXEJydzBHh^?qaVmKfeLBGHcOpqWuK`eJbCxbGpEWoKQeFBAHa?oiW]KHeEB@h`go]WIKJe@A~x_GoQWEK?dwA|X]GnMVcJsdKqexRSnQVjJrdwQ{h]KtCYfLQEirS@icrkYZLNE]rR`fcs]YRLGearPhgct?XbKnEhRK@iKqoYZLMEVRJPh{qcYjLRETrT@dSrwYXLIE_RNph[r_XjKyEZrMPesrKYDKqE_rOpeclmUxJ\dnQwHZ{jETfIqeSrIhd[tcZlLYEyRUpmkvCZnLrE{r[`nCvsZ\LoE~RZpn{vOZVLuEur\PlcvgZPL{EtR]plKuUZNLeeqRWhk[uCZnL_E{RVpnKvgYxL{EnR]pjkvwYpL~EjR^Pi{qQXJKbdwq{h]Cxa[tMXfJrdXqsyC[XMbFFRg`pkwg\BMJFPraPsSwW[|MFFNra@sCx{[FMDFORf`ocxs[hMZFHrf@qSw?[^MPF@Rc@oKzW\`MqF[RkPu{ys\rMnF\rj`vSyg\HMeFURipsky[\jMhFYRi@u[zo]JNFF^RnPwsz{]DN@FaRo@w[DmAr@Y_mOVgJkEEB@@^_pOWwKcDEA`@Qa?p?w_SWqKZEJcLqFXBceYRNHgdeQrhXkjmTxIyeVrKXeCqqX\KlfIRcxqSw}[bMOf{B{h}_~i^eNxfzB{H}w~E^iNnfvB{X|g}}^WNofsb{h}_}m^eNifsbxh|?}m^SNffpbxh|?}U^GNffoBwx{O}U^ANcfmbwHzw}I]{N`fvBuh|g|q^WNZfnBuHzw|e]yNVfibuHyo|e]gNVfibsXyO|Y]eNSffBuhy?|m]]N[fgBsXyW{y]cNNfcB|XxO~]]QNufdb}Hxg~i]WNxgV?EWB[@i`g?[_NOFWCC@}@BP??PoGgCcIuD^Ama\PMwfcR]HpCxbnpwW{C\AMdFPc^qOXGCcIQFHCdIqcxQcgiSXIJeBr@h_koIWHKBenrWXkCtqY|L\fQRhhsky]\RMggrcYiL`EebOPjgucXILpEYb]PdgocXyKXEebCPggqCViKpEAbIP^gmcWIJXDyawP^gpcUYKHDibCPWgjcVIJhDUakPZgkCTIJPDMaqPQgjCSYIxC}a_PTgecTIHpDIaWPRgfCQYHXCqaYPIggCQIGpDEa]PFg`cQYGhCiaUPCg`cPiGhCaaGPFg_SOiGLCAaDP@f|cNX~hB}^wO}gSCYiDPEq`QPjgucHYLpAYb]OfgPCMiCXBq`GOzgNcLyCHBe`?Owg\CFIF`@y`uO\gKcLIEp@m`iOYgJCLIEp@a`iOVgICMYAhBa`mORgGCKYAPBM_aOqgEcKY@xBM_[OqgDCJi@`BA_UOngVC@y@HBA`]OGgACNY?pB}_IO}gTc?yDh?I`WO@g?CJX~xAq^{Ojhj?BW@{?y?`?Q_Gsw_A[@U?hRg?JOEGA|MifRRghsSyi\LMSb`RfGxSxaMLL?ctRQHMSsQR\L?czRQHNssQRtHcfDQWHqSwqQ|HSfHRaHJSdA[\HGe~QRHoscQ[DGwe|QOHmsbqZdLwcXQLHmSvQP\L{cPR_HDSaQ[LLkcJRYHBs`aZLGOepQBHjs_aYtG?erRZH?suaN|FsepP}HjS^AY|FcefPzHis]aYdMSblPwHrs\q[tLKbfRTGystAMdKOeNREHcspQXDJweBR?H`snqWTKkdpQyHeSmQXTJodjQ|HZsmqUtI{ddQpHYSkAU\IwdRQjHUsiaTdIWeZRNHSShqXtIKd@QdHPShASLRo?r?Z_LOEWB[@i@B?__NoFwCKAAi[?]_MOFWBk@y?xROhhSsYi`TAikTNiidRii`TEieTUiidSih@Rqh{TIi]dQYh@R}iST@icdOIhhSMiUTCieDOihXSUiYTFieDPi]dNYfjRvh{s}IghRAhcTFibDKYiXQuh]TPiVDSidPS}hWTOiTdRicxSIhQTCiSDOyfxQQiASei_DHYcHRqh{Sbi]dGi\XRefYSzhuDMifHM}f[SzhwDMieXPyhiS_iYDFyahPagmSYiJDEYaPPmgySSiMDCy`HO}gaSJiDDCI_xOygOSKiBDBY^pOUf}SBh}d@I^XOIfwS?i?c}i]HRYfeSwhxDLw@s?}?Z?M_EoBwAC@I?b?O_GoCiuG@M?j?S_IoCwAdRmhrSygUsIyDdBE`fOqg\SNIF\Bu`~O}jZdkYvHZIloUrj[dlIupZalmUtjODjYtXYElWU^jUDgithYQlUUbjQdkItxY]l[UejWDiItpYil]Uhj`dfIwhXymGU\jZDeYrXZUksUsjJDkYr@ZMkmUqjSDcyqhYilQUSjQDcisPXAlEUPjEdhYpxY]k[UejDDfysHWql?UJj\D`yv`WaluUHj@t_YoTWUkLUCj`d^io@[Uj}VCi|dnYnhZ}jwU}i{dmynPZqjoUyizDnYmxZ}jiU}j_d[ym`[IjcV?ivdoIwPVEmAToimtVyjtUAjDT`iqtXIk\UYjPTfiuDTylpTejYTWisdUilXTqjSTZhiStYY\Lqe|R\hoswIZ|MUfNRejkEGzCh\ipGVXjveEy|h`qn[WYkLDzJB`]iouVjjreGzCh]epGVgjqeGi{paAnGW`kMdwY{X`}nCW]kMdvjBx\}o{V_jmeGizXaEmwW_jetrixd[}mbVOjhTtIy\\UmnVUkBeCz?h`EoKWQkJe?jBH_QoEWWkID~zAp_EoiW?kFd~JA@^uo[V}j{eAy~X_unsWKkCD|i~@_ioQVvjbD{yx@^UmMVsjwDqY}P[mnaVIkREUZJXaapMXYkgETjIPdaqaXVkdERZH`c}qUXMk\eVzFheApwX`kmEMJFPdyqyWxkbeLZHHb]qOWukXEOZE`cMpeXAkVePJGpbEqIWok_EJJFpayp}WlkheIZI`amqiWil@_GwCcAI@F?c_PSeiRdHmczQ^hNTYYl\UijXTmiuucbPdhOs\YRLEuabQDgksbYHLFubBOtg[s\YGLEuaRO\ggsJYJLAU_BOdgGsJY@L@u`rODg_sDY@LBUYBP|egsbXhLGUcbKle[shXeLHu^BN|fwrtX|K|u\rKTfcrHXwKpu[RLtfKr`XqKvu\BL\fWrXXtKuuo_As@a?n?U_KODyhDSiiRTKietQy\dMufVRmhvs{JA\`IobWMkGUBz@\_uoXWGkDUAY}D^InbVrjyt|J[XlEvIZRlqEsj[PlAv?ZMloerzX`lauYZXldetzY`kqukZLlieqzZhkau}ZIlcevjZPkauSZ[lceuzWhlEuKZRlbesjWPk}uGZOl`erjVxkIuAZCl_EozVxkUuAZFl_EpjQhjesmYzlJEmj[@jYvCYwloelzUXmMtiZdlYExJU@luu}YqlWevjYxiuuqYnlkEjjTPlitWZ[lTeuzY`i]tOZUlSetZStiUtHYblOugjRpjqt{Y_lNenZVHhmsyYzl\EfJRPjqt{YXlKEnZe`YulXUjjWTjyttc]qRXGkaUPjGlcEqFXAk^UOJF|r[xz[xM^vMBftr[xt[xM\vMBfdsSxj\BMZVPBedrSy@\AMZVLBgLsOwd\DMGVOraLosxz[NM^vBbftrgwT[KM]VArf\o[y@\AMCvABgLoEwD[Bl~V?J^|rCvzZzMXvKb^dn_x`[mL|VJr^LnSxV[lLzvJB]tnGxV[lLyVJB]\m{xRZpMTU{BdDmoxRZmMTUzRdDmgxbZjMXvKb\Lr?vL[mLsVJr[|pow~[`MNVFRcDqGwr[cMLvGrbTpWxJ[WMRvDrctoOwf[EMIv@Radwwz~]@n?V^Jntvuy]]JmgfbZi@wq{U\KmefbJhpwu{O\HnDFQzpHsiyK]GmcFajgxweye\smiF\ZiPvMz_]AnAF[jmHwM{I\inBfZJopumzI\`mqFWjkXuYzM\]msfWJl@t}yu\ummf]Jj`v]yo\xmlF]zjHviyi\lmvfTzlptYtrYzl\UnJVtju|X]mnUvijtLym|K]wnSFmjsxze|u]bnQfnZv`yQ|y]Rn\fcZv`xI|o]MnGFmjpxze{y]tnNflzrpzY{s]qnLflJr`zM|?]VnPFeZsHxa{g]nnWfdju@xUxR[imSVIzdlqqx\[omVvKZe\rI|{^bn^fwjw@}Q}q^dnrfuzzP}Y}y^UnnFuJz`|]}e^bnifxJy`}I}}^OnhFwZyH}A}Z^NnfVqzxd{i}w^FnnFqZzh{a}}^CnbFwZ{@{U}A^dnrfozwP}Y{P]InCvazplwq~P^insw?{?m?Q~g_EoCF|j}i?^?K^pnxGAJ}Y?^?S^ooCfzk@X}~?Q^joDfz[@P}q~y^yn~f~J~p~n??^vo@F}[?H~b?{_WoOGEkBy@f?i_KoJgBkAq?v@A_QoIGG{AYAJ?a_\oGGFK@y@n@Y_coVgHkDqAV@S_foSgJKDYAasBYAl?VFJbtpuwt[XmLvcZq\xI{\]OnFv}j~d~m~n^xn{WOcHEChAH`BOcwOSG}B|AJ`?ObWPCFeCH@z`BO^WNsFMCD@v`?O\WLsFeB`@|_uO]wLcFMB`@v_vO\WPSEECX@b`FOXWQCE]Ch@j_sOcwYO@S?q?VY~l_uoJkLuMzD\]mnvWJvtz}}@^@n`vok@e?z?Z_NoGwCKNIF~Bo`}o|G_KNYFVBm`|ozG^KMQFVBm`sozG[{LyFjBo`po{g[KLaFJB[`soug[{LaE~B[`poug[KHaENAY`dodgXKKAFnBC`|oog^KJyGBAy`~o~GVkJQEfBU`[olgYkLYD^Ao`iokgY[LADRAk`eoigX{KYDFBI`RoqGSkHqE^A]`gogGXkUG?]?R?GpGGk[QQJNCaaqpEgk[PyJNC[aqpEGkKTyGnD[aIpBgi{TiGfCOakpAGi{TiGZCIakp?gkKTqGNCCanpQgf{SyIFDKa_pQGfkSYHvDCa[pKgiKRYIjCsahpIgdkRAHNCmaS_DOBG@[?i?X?JplgscZELhEhbXPhwtSZELhEnbXPjWqcY}LTEVbHPjWqCY]KXEhbFPhWpSXmKLE\bCPeWrsWELDEDbOP_wmsUuJpDhayPYwnSU}JdD~awP^O@w@K?a?N?H_CW~CKeEVBF`eosWX{^QNNFubtpyG}[^QNZFubwpzg}[[yN~FQc@psH?K]ANZFcbwpwg|{\yNVFgblpxgzk^aMjF{bkp}gy{[qNrFIb}pqG~[_AMJGAbbp~gw[Z]LvExb_pnWv{T]IvDXampWWj{`QQRGOcdqChG{aIQBGecaqHHG[`yQVG_cbqFHHKcAOnHCcLqOhBK_]ORGDcDqBx@kbqP^G}cXqMhEKaaPjGucUqMHD[cyRfHOcyqRHMKeiQ~HacvqZHKKeYQrHgclqXHJkdIRnHycjq]HIkfqSRI?dEq^hP[gySFIOdAqchO{ZELjErc]qNxF[bUPrGvdUQgXScjET\IbdRQgXScimTPIbdRQdxTSheTPITdUQexUCh}T\I\dgP|w}k^MRVHlcvqXXLKe]U`J\diQwXYSl}UhJXdgQuxYSl]TdJLddQlxUck}UlJDdlQqXZCk]T|J\d`QwXWCl}UXIxd]QqxVSk}WXJkeBqyH`[miWRKGdpqxh_{oiVJK?d|q~h_knqWFJmdyq{h^KnAVnK]eErGhaKqAW^KSeLrChbKpYWzJLdfqqxeCqUXhKfeSRKxdSrMX\KteURKX_{omWQ?Ae`RLo?ssYXq?CeaRMxgO?QXzL??@RPxfssO?N