CAT(2416,1)

Sparse6:

:~?do_?O?G?C@C?S?D_B_AG?o?e?U?O_E_Bw@_?y?s?X_JoEGA{@a?r?\_NoFgBc@m?t?j?TOIgDSBC@`?m_VoKGDsA}@b?r_XOLWEsBQAc?v_[oMGFSBq@v@K?boR_HCCsAL@O?doRoHKDCAT@Q?cOPoIcCWAf@I?jOToH[CcAj@B?hOPOI[COAh@D?ioToGcCKAl@K?]oROFsCw@~@@?goO_H{D?A@@A__oOGMoFABd@p_xO[WMCD}B@@]_ooWwKSEiBX@j_uoZwLsEQBL@d_soXwLCDaAt@X_loVWJcH[@X?j_UodgQkHQCnAX`KOdwRKHaBx@}_}ocWQ[HIC^AO`FObGPkGmCPAI`Co`WO{GYB~A@`?O]WN[FiCi@u_{?dGQoF]BgAA`A?[wOWFU@L?e_ROt_CCAE@DB[?QoGwCcN[@N?h_SO~OC{Aa@R?f_SoIG_oBI@b?r_YOLgEkC]AP@E_coQwHSCUAH@B_^ONwFkCEAD@?`AO_gO[FUBh@raQ@FGbkPmGvC\aMPEGbSPeGtCXaKPCWaCO}GZCMaEP?w_kOQG?CbaO`?g_GQIH?By`}@FgbwNmFyC_aN_~wboNyGiBwaJ_}WaoN]FyCT`~`Dw^oPYFaCQ`x@DGaWNMGgBsaH?|WaWNYG]Bo`v@CW\wPAFYCM`t`BW`_MqGUBoaC_zg`OM}GQBsaD?|g]gOmFYCEaC?zG_wMmGOBr`w`@g_wNIECBC`a_oWWoKMEOBI`c_rGWwKmESBL`e?rwXWKyEcBL`g?rwYGKyEaBR`h?tWY?LQEgBV`i_tgYWLaEkBX`l_uGYwLiEwBY`n?uWZWLuEwB^`n?wWZgMAE}Ba`o_xG[?MMFCBd`r_xG[oMMFMBh`r?yg\?MUFSBz`}?yG\GNiGABva@?}G_?NeEICB`b@@W__KQHAB?`^`GwVoQIDuBH`]_qGV_K]DQCbaP?iwcGIiDDA_`OofOWKH{EFA]@`Ok?U{I{DjAp@ZOhOTcIOD\Al@Poh_VCJgDPAf@[of?USHgDhAZ@Xpj_B[@i?x?\_NoFgw?KQEJBE`cOqWW{KyE^BL`hotGYkLeEvBY`oowGZ{M]FJBe`|O~G^[OMGJCC_ToJWDcAy@`?n`QohGS[JaDtAx`YolwUsJIDfAs`WojwUCIqD\Al`SoiwTSIYDPAf`MofwRsIADDA``LOfGR[]gNnFuBuPyo~C^CNNFqBsp{?|C]SO@FcB~px`?K]{NBFbBupz_{S\_NzFYB}PuO~s\UMnFUbhPswyc\QMdFRbgPsWx{[iMRFJbbpqGws[aMLFFb`ppWwc^cM@FAB|p}_wK[{LzFPB^ps?vsZ[MXFMB[prOvCZgMXFMB\prOvc[cLhFIBZPlOx[ZGLlEpBYpkoucYwLtEoB]Pjov[Z[LbExBXPm?u[YwLzEnB^pk?vsU?MvDaBmpWOzcY[LVElBQpj?ssYsLFEcBTpj?sS\wK~E`BoPvosCXoM|E]BoPfOz{Y_KfEiBIpiOqc\kKTEKBmpaozc^cJFFzAqp}_kc^oJLF}AsP~Ok{[?JRFAAtpY_wK\gJZFWAvPuOlcU{N~DpC?p[@?C]gJdFkAyPyom[VWNJDvBrP\O{cV_NlDxBzp]_~C][JxFgA}p]o|KVwNZE?Bvpz_n{WGN`EBBxP_O}K]KKJEEBpP`?{KTuI|D^alPUwjcTeInDWajPTGikSSLPDEBSpPotSSKNhDABxpP?}kRwNfFtA]P|?fk[OH\FDAVpoodk\SHNChBjpI?ysX_KtEVBLpd_rKWsKNENBCpb_pCSoIbDLAhpQoiSSwIPDIAgPQOh{SCHvC~A\PO?fKR[K`CwBHPL_qKQgH`CkAXPIoeKROHLCrAQpLOcc@]?r?Wd[_dGQsHU@z?~_^O^GNsFuCdAR`GobgQCG}CZAK`DoaGPSGeCJAF`BO^wOKGABr@z_|PdwqsXaHlCva[Qu`YclWUxJTDlqr`YKl?UdJNDhqr@W{ksUJJJDbQp@XCkgUDJBDcqnpVckCT|J?D]qtpVKlcTvJWD\Qh@VciWT|IdD]qoPP{k?S`I~DGqpPNSk[RxJEC|qr@M{kkRrJLC{Q\@XCfSURJICzQo`MKfKUHHqD`q[@Y[ewUdJPCvqYpXsesU`HkDfqY@YslSRTHhDiQu`Kke[UxJZCrQmPKSjkRHIyCpqtpJ{l_RBH_DkqOhG[cEP|H?c^qNHF[buPtGxc[QIPVCjWPVIvCTQC@U{jWO\GND[QBPU[jSOVIsCEQA@UC_gTdGHDWq@PU[jSONIsCBQk@?S_OTdIpC@qe@S{icStIXDSQb@R[gwSzILDMQapQ{gcSjIIDJQ_@O[gGSHI@DAqa@N{fwSNH|DBQV@GccWQ|H\CaqTpJSd_QvHUCkqSpTkdST^HSDVQgPICdGTFHPDPQf`Hkh{Q\I_Cfqi`HSioQXIjCdqPpQShOQRIRCcQK`E{bOPjGrCZQJ@D{bCP\GoCUqH`C[aSPPGfCQQF`CS`sP@G^COqF@BC`kOrGYCJqCpAk`GOlGPCIODGAs@UZMK}esbNxl?ruXwLhe\BXxfWuaXgKve[bLhf?rUXcL?eXbOheGsEX[LWelBKHjGq}ZAKjeUbWhd_uMXOLTeTBTxdGtYZIKeeqBHxkoqUXCL]ePbVxc_uAYuK^embGXj_qAWqK[eLbFhbOpuWiKUeKBCxawpQWaKIeEBCha?omWYKFeFbAX`ooaWGJ}eBB?H_gn}WEJ|e@A}x_GnqV]Jtdza{X]onAVoJqd|A|H^GnMYEJkeaazhg_muYKJidtbQHgwmeVMLIecayH[osmVELKefAxX[_suV?LNdpBSX[GtAYgJ]ehavXiOl}?f?P_HRk`p[zO[ZMrFERa@uczG[TMrFCrZxlsuuZTLketrh`tcy_\\MfFUriPs[yk\JMiFQRg@t{zC\DM`FWR[@rSxkZdM[Ewrc@ocwG[^MBFFRfPn{x{[BM]F?RcPncxKZ|MQE}rdpnKvk[rLyFKRd@msxSZpMUEzr``mcw[ZjMDExrw_]KNMFdBs`zO|WFKBa@n?{_\oMhO[gUSHH~c}q^h{o~I^eNffqb{X|O}U^ONffsbxh{O}y^GNofpbzx|W}Q^CNlfuBwxzw~E^ANqfxbwHzw~A^ANnfoBzh|W{E^YNBfuBoh|?{Q^SNEfsbpXwCz}\|Mzf]rnHvCzi\rMtfZrlhyo|e]oNZfjbuhyW{u]iNNfiBrhyO{i]WNOfdbsXww|q]{NHfmbqGCcAU@F?__OoGiDg?q?Z?J_FoCG@sYaLTEhbUpjGt[ZaLrEvb\PnGv[CuA\@K_goSGH{FaBl@v_xo\WMcRMHjCsaWPKWeSpeWtKZeKRDha|Dsa\POgfsQyHlCq`wPTg^CTIIpBu`sPRg\cSiFHDE`oPEgZCPYExC]`oPCgZCOiExCMaOOrgYcQiHHBQ`eO~gYcOYG@BQ`ZOngVSKIETBE`UPSgTCTiD`DU`SPPgTcSyD`DI`wOfgSCNiFhAe`qOegQCMyFPAU`APDgPcPiCPC]_}PIgOCQIHH@y_uOfgMcIYB`Aa_oOcgLCHiBHAU_nOTgJSDIAT@M_QO~g_CAiGH?maCOEgaC@yGX?a_EOqgAcKY?`BA_?Olg@CJy?HAya[N|f~CSH~xC}aUNvgeB}YHg~a^iOPfzCBx}`@A_[NygEB~I@g~m?J?E_BoAW@S?aThItdXqlhVCj]EXBI`dosgYKLAFHBb`pOyG\SMeFVBl`uOzg]CM}SPIFdBQ_hOCgEPLGgcRqFXB{`yOxGYcLqCXAS`M_`OPgFsBI@t?ue|R_hnsvYZdLmepRXhlStYYtL]dsRAh]CoYVXKAdsQ|h]CnyVXJyeKQvh[cqIWxJadqRBhaclyW`JaddQrhWslIUlJYaqRchrCUI[hD]auRbgmCwiJPMEd]RMhWCrITpKueUQlhccjIXPImecQghiCiYYXIie]QdhgchyY@IYecQahQCtISXLMe]Q^hgcgYY@IAcwRKhNCriRhKucuRJhKcqiRPKec_RBhacciW`HEcYR?hFcoiPpKEeOQJhbCbIWxGid{QHhBcnyVhGaeyQEhACvIZXGUesQBh?cuYOPLadgQ?g~CliUhF}bwQrhWc]yUPFubmR`gycwy[PFYboRchrC]Y[hFib_R^gvcviMHMAemPihicYyYpEebKQThHcYIKxHQcoPcgpcdiKhH]bgP_gpC[yKHFIbYP\gvCVyL`Dyi}EtbZPlGv{ZyLzCiaTpJGdsQ}HZCcaRPHWc{QeHPK[eNRFXa[pUWhPXgjsUIJdDiavQUhKSdyQdHUcfP_gpSWYJlD}a|UCI|t_qndVgkJTvJBt]QotV_kPUAImTVaoDWCizTXI}tUantV{ivTWI|TTan\T[jxTRIztTQnLTOjpTTIltSqjLTOitTVImtVajDTWixTQIsTYaiLUci`TmIftRQmDSwj^TIIoTWQhdT{iVTHIqTWag|S_jFTCIqtPak|SSjLTjI_tZQg\UoiDT?i^TNyflRmhxSwIwtMam\RcjdTuIZT\Ae|VShjSrIxtLAmTRGjbTuIWT\QeLVOh^TiIUTJalDUchZShIvTIamDQkj^T^IRTHqkDQ_jBTbIQtXAc\UGhHTjIOTZAcLUshDS\IqtFqk|PwjLSYiLtFIa|PegpUDIGT_q`|WOg\SLJCTBAotOkkNT~I?T?QntN{jzU?I@T_a_dWCgFSEIIT@qatPSgJSQIDTCq`LPCgPRpHzS{a]|N?fpRrHus|Q\tNOf^R{HuS~a\\NsfTRzHssxq^TM_frTTiiTSyjDTYinG_cPQGXC[aUPHGTcIQDhA{`aOrRohxS{Y\lM}f\RihuSyy[|MefPV}k?T~y~\^unxWMJPtgR@|YGoZVwKDT}R@\^goXWGJyu@q}|_cnlWCJxu@a}d_SndVnK?u?q}L^?oDVgjrTxy{\]UnHVMKDTsB@d[{oVVLK@U?qx\[ooBWHJdUAAxD_[mRWCJau@aw|_SmLU{j^TnYv\ZeltUvJ~tmB?DZWn|VzJYt~Qud^olfUkKItirA\`OlTWOJRuCatL`ClPUeKJthRBDYOolU_KIuDAr|`Kk|WOJMuCard`CkvUWKEuBqrT_wkrUTKJTdrBDXWonVYJnTvAz|\kmzVVJotwazD\cn@VhJiTyqyt]gmjVPJuTzay\]smdUQJ^toQqdXKm@VAJFtpAqL[Kk`UlJEtbAt|Ywk\UoJCtaquTWglbXgKOuYRCDe[o~XQKtUTBLddKrVXIKquXbH\ccrHXEKpUQBK\c[rBXPKaUOrH|cSq`X?KeUORHtcGqZXtK^uNRMdfKp|WyKzUNBNDbkrnXnK[uZRFDb[r\WsKwU[bEtfCpjWjKkUJRJTaoqrXZKSUVBDTdspRWdKnUHrKDaWq~XTKPUHBI|dWpFWpKMUKrBtbGozWoKLuERD|`gp\Y]LIUfrQthssjYRLMUcbRThksbY_LFUgbQDiCs^YJLJubBRLgsspYGLRUiBPTgctNYbLAu`rSliOsLX~K{u_RN\g?rtX{L@U^bOdfssFYhLYuirU|igtlYsL]UkbVljKtvY}LVuoBUDj{tbYkL[UjbVTistrZ@LbuqRW\kGuPZILaUqrWlkouL?M_GOBw@[?q?ZN_forvxvsz}]@M|f]RmyI|DeapPYglsVIzT\mmxVXjjtuJ]`mWvPZiLquxr\LmkvDZkLqUzR[\mCvPZ^LtUwB\LmkuxZlLnUzBZlmCuvZ^LlUwBZLlcuxZZLmuubZtlQujZRliutJY\l]ulZWlkUtzYtksvJZNLrurb[tmKudZcLgUwbYLpk?P?I_Co@W?{?YirTYiltVIjlTy`TOkgTsDyAt@U_fOSgHUOzGlcQq@XAk_uFJBl`yovWYkKvMZf\rixl[wmZvJReDq{xd[mMWvKrdTqoxj[sMTvJrc|qsxR[mMSVJBdDqcxV[fMTVHBe\qWxj[dMYVGreTqCxb[aMWVEzblpqwv[[mMvFjb|qAw|[_mNvEB\|mwwt[XLwVEB]Tpcvf[YLwvDrcTpWxF[`MIvHBaTqSwh[eMHvLr^Lr_vnZwMZU|RfLnWxv[yLyV?raLo{wJ[CMGV?B`\oGwT[@MCv@b^lo_v~[FL~VBR^dowvv[KL|VbRbTpawrPugzs\YNDFibrUvj[Tliu\ZUlhZmlwUzz]LnMvd[FmCV@j`LomwT[MmEVBZ`|pEw`]dNSVhrtTyW|R]jNPVjBsdys|F]hNNviBsLyg|@]]NPVfRsdxo|F]MnFvbZptw}{Z][NDVfbpdxs{V]FNNvaRsDw_|B]CN?V`bntwSz~]EN@V`Ro\wO{B]GN@V`roLwc{F]?NDv^bpTv{{X\zNKV^Rq|vo{l\wNKv]br\vc{t]PMzvcbmlx?zl]RMxv[bqdvO{j\nNGv[RqTx?z`]RMuVZbqlxOzZ\hNJVYrrDug{n\eNKverlDxgzN\bNTvXRtluO|X]dMoVhrkTyWzB\MM]VSBfts{xz\\MeVRRj|twyV\GMjvURhTt_yR\DMiVPritsWyj\AMlVPBjdsKyv\PM^vSbgLtKy@_DNBV`Jolw]{R]GnDVbJp\N}gBS?iAT?y_TbMpdWpkWUJjD|ryxz[{miVTjiltayr\VmlVVJj\tuy~\]m^vOZgEA@@F_aOQwGSCe@x@L_^OSWHsBm?r?V_LoDWA[@E?^?L_DoBW@{?lz@?H_ANVW?rt}?D?^^~OGW?C@t~x?l_SN}V~SAm@_~t_VN{wER~\~`?^^uOGV|s@t~L?d_RNyv|CAL~@?b^qOHv{SAT}\?h^hOJVyCAm@[~H_XNqwEB{uAg}l_hNjwIryl|P?x^QOLvssBUAK}^_dNgVsSCd{p?z_^NfWFbxl{X@L^GOSVpsC|{d@D__NdwGRxU@g}F_[NawErweAc}@_jN`WIbwLzt?X_JN^vnc@m?_|x_IN\Vms@LzD?D]rOAVkc?\}s}v^\NvvvB|t}g}p^kNlVyrzL}K|p^aN[vwRu||w|j^_NZVvrueGdCM_poVgaKOqBB@[aEoUGaKDiG^Bg_}ozGOKFyFVBm`po{g[{NAFJA{`~omg^kJaFvAq`yolg^KJQFnAkaBokG`[IyGRAea?oig_kOIDRBC`OoqGSkKYDFA[`iofgYKHiEfAS`doeGXkHYE^BU`FougQ[LaCbB]`DowGPkLqCRAA`^oogO{KACJ@i_|oZgM{EqBr@s_ro[GKkEaBfDYafpVgi[TqIbDIakpRGikSaInD_a]pXGgKUIH~Cua`pPgf[SQHrC]aTpJgc[QAHZCoaQpLGdKRIHNDoaLpFGlkPaJ^DeaHpYga{UaGjDqbJp\gr[VQKrEEbFpaGp[WqKJD}bIpcGo[XIKBE[a{pfgnkYAJvEabVpkgs{YQLbEwbTplGtkZYLR?H_Ao@u{J\tm}vbZqlxwyS[]MPFTbdPtwxC\EMTFLbfPpwxcZmM`E~bfPnWyS[EMlFDbiPowaKO}GY{@\~m~V_Zo\wJ@n_toZWKkEeBNGHcEqAx?[_]OJF{bwp|G~{_ANfFybxp|G~K^YNbGAbkq@gzk_QMvF{btq?G|{^yNZFubqp}g|K^aNNF]cCqBG{[_iNA|t]{n\vnjv|zvGwc^qNHG[biQBHCcXqLhHKcYPjH?cUqOhEKbyP^GecbqIhHKaaQJGccHqGHAKaIO^GScLqEHB{`YOy?H?C_AWM[FUBb@v_|o]X@{`MObGTcKqDxLsg]RdIJcwQaXOSfMS@HpcvQ`XHcgmSPHJcfQ`xLCfURpHlctQ\xKSfmRLH~cqQ^XOcduSDH`d?QVxNSd]R|HXc}QUxICfURpHRciQ\xRCj]TtI\dLQmXTSjET\ItdUQkxQSh}SlIbdIQgXScguS`IhdFQhxV_?IU^JQd_?@xYCjw?I?Cd`QqO?SkYUY?EdaQq~