CAT(2232,2)

Sparse6:

:~?aw_?O?G?C?[?H?D_BOC?@k?}?\?N_FOBWBw@q?|?\_S?GWB{AA@a?l_ToJGDkAm@X?j_UoJGC{AU@L?c?TOG_DKAK@P@H?PoHGCSDgAb@R_hOSwIKDIAY@O_f?SGHwDAAW@H_e?QwH_CiA]@G_e_PwHoCYAG@H_`_QgGgCmAA@E_`?QGGwCA@n?w_[oL_HkCw@h@N?YoO_E[BCA@@@?XOS_FkDC@~@R?^OMgF[BqAI?o_`_JgG_A}CS@@_`OOGEKBM@dA^@JOeGQ{H]ClAW`HodWQcH?CnAQ@JOcORCH?CZAN@Gob_QSGiCVAK`BoaWPCDSCDAB?jOT?OKFcCR@y@CO]?O{GkBnAI?zO\OPcFIBh@r_v_bWPoFAC]@p`A?YgOgEmCK@h_s?_gOWE]BKA@_p_cwKgHQBGAT`H?WWKOHACa@_`H_VWQgD}Cg@]`B?VGOgDiCG@Z_j_^wJGGAAo@}_|_ZGLoFuBY@{`r_EWB[@i?r?Y_LoFGBs@u@J?f_ROIgDCAeAh@U_ioUWJCD]Bb@n_wOUgJcDmAz@^_nPAo^wOiGOC?aC`?W^[NeFtBx`|o}g^CNYFnBv`{O|g^_NAFcB}`w_~W\{MuF\CG@upA_\sOcF^Bh`royG\KMaFNBi`uOyw\SMqFVBb`oowg[sMQFJBeABP@O[kO[FHAsAAp@oUsJSGLBr@jo|OYsNOEjBRA?ot?_CLGF~Br@fosO]kL?FhB_@eovoXsLwEXCH@dPA_X[O_ERB{@bO~_XCNsENBC`aoowVOLyDwB_`\_vw_OJ]GGAxa@_mGUGOIDeCC`X@?wZWIyD_B[`V_vWZWIuEyAj`m?jGT?OUGMAi`S`@gSSIMDHAd`ROhw]GHuFcA]`M?{GRGMECsBa`L_wwVgLaD}BY`^?uWRwKADABA`O?oWpGLyF@B^`rOxW[cCMAH@D_OOGWB{Ba@r?v_ZOLWEcA}@`?m_WOJwDsJuD|A~`XokgUKIyD`An`QohwSsHeCvAY`KoewRSHyCxA\b^`ngvkZqLqE}b\`nGvOZuLbEqbWPm?s{Z[LREgBZPhOv[ZcLHEyBRPfwsCXyK{EibU@gGrwYmKoEfbL@iWrGYaKkEbbO`dwsOXUKdESbHpbwqKXAKXEMbEpawpSWeKHEDb@p_wokWQKLEGbBpaGosW]KCEmb?`jwo?YuJuE\a|@ewr_VqKwD~bM`^grWVuHoEsa\@lWfGZMKkDpbJ`[wmOXUJUE{au`ngl_ZuLCDcbP`WgsGUMKsD]bK@VWrGTqK]DRai`cGi_XEJoDNaz`RWnGSyIUEub[@RGuwSiIODsac`\gmgS]JmD@a{@OwgOVeH{EQa_@dGfwXMJkC{ay`NWfWVQLqCkb\`JWvOQyHQEraT`lWdOZQKWCeaS@bgpgQ]HED~aQ`^gc_VuH]Eub[@KWuwRAL]CqaY@jWeWYyH?DyaP@]wcGVqGzC]aNpEOpSP_KREJAJp_OasW?GhEAAIpkOaKPKLdCQBWPh?`{YWG`EdAFPAotSYoGZCKBTpUOlCUgIvDYAspT_ksT_JNDVAqpVoiCUCIdD_AgpLOlsR[J`CuAvpP?bSSWGxDDALqU?As@a?n?Z_KoEgAs@a?n?V_JOEHLgVeJnDwa}P]gn[VuJ~D}b?p_goCGICFA@`BO`GOkGaCRAF_POHGC[AU@N?e_iOTgIkDeAp@V_|o^WNcUQJFDaaepRwhsQeHVCiaUPJgdkQ}HbCoaXPKwecPuG~C]aGpCwaSi{T[IgdUAhhTgi]TCImdOAjXSGiqTAIYdPAfHS?hmSrIVdKQcHPsg}SOI\dNaahRogeSJIFdBQcPO{hKSJIEDHQ_POSg?SFH~DAQ_`NcfwSFH|DAQ]XN[fiRpHvczQ[xMkfQRcI[dLA[XRWfASgHodJA[XMOhUReHlcyaZxM_eyRTHkctqYxLceiRLHdcqQXxLKeaRAIbcpahXKOiQQ}IPdHaWHJohIQyIKcmAaxPgdmRAILdDaWxP_eIRkHWc{AUhMwdeNyHXb|aUg~_daQgHTchATxIWdYQkHNciaSHIGd]TUHKdSaRhTOcuSgHHdJAQxQgciRyHAc~AOXG?fqPzG~c^QY@FSboRRGzCrqKPN{bKSBGqD?QdpD[hcPZIWCUQI@KcagRLGhCqqHPJsa[R@GeCnqG`SsaOTPGbDRqFpLkaCR\G_CvqiPACikOdIiCGqgp@k_{TJIcCFQ@pN[_cRtGGC{q@@Rk_SS~I]CBP~`Ps_?S`F~DFp}PTs^gTXIlB{QiO}SikNhIiBxqa?}K]{SRFoDDPyPJ[dsNTH[BtpsWy[\IQKGmcWAQHGwa}OuGWcLADhAw`eOeGIcIABHAg_mNiG@bza?w}o_IMsF\bm@vwzW\yMoGxbkaLxF?\]NIFSbp`tg{_\UM[Febg@xwxw]aMWHDbeaOwxWcQMOF_bd@wWxG]IMMFkbv@pWwo]uMCG[baAFgwW`uPkF?cY`nxE_[EZcB[`mouw[KMMFD@E_cOPwSCIEC~Aa`QOgwRcHyCzGscZQLW{{]aNLFhbtpyg|c]yNZFpbwPzwzk\}M|FYblpvGyC[yM^FDbbppgv{[EM@MgFGRchqKwi[VMKf?B_xnowEZ}MAe|B]xngvaZwLxeyb_XmwwMZkMAexB]XnOvQZeLweurZhlcvAZbLnevbfHm?xyZaM\euBehrGuy[uLletbdxlGxYZSMWfBBYxogueZSMCfRBWxk_y]ZIMdfRbWhk?yU\KL`e}BVxngtuZuL]emBcxjWxUYsMSfPBTxjGyQ\ELWe~BThnwtUYgM?edBghh?yQYQMbeabghgwyQYKMbfHbNHfgxU[gK}e\BgXfGx}XuM_fGBLhf?xI[aKvfDBKxp_rU[UKseUb[hdwvQX[LrfLbGxcOxeXAMYfNbFhsGqA\?K^eKREXbSpAW^KPeCb`Hooom[IKIeBBdh`?xaWMMVfMA}hronq[yJzeya|H]ov]ZkJtdtbhXswmu\KJkdpbbX[Ow}VGMMdobaHowl}V?MHfBaxxpGmU[OJedsbbh\Ow}VOMLegbOhg_tMYELQeRajxdGjEXOIoeMbRXb_smWuLKe@bKH_grIWGKpe@BDhawoAWAKTd~bJH^oqiVyKjdxbDHaOnIVaKReQAzhconAXIJneFAuX`glmWWJYdja}X]wlaUkJwefAtHYgtAY]JResAsHkolIZMJPddBNxXWsEUWL?dbavhZ_keUyJGdfAmxXwjuUYI{d_amHWOjeUEIyd^alhW?j]TiI}dbAkxU_kQUIIqghbZXlsuqZ`Lnewp\gmcVU?x?\_NPXWk{UYHFCdaQPHgc{QaGjCUaIPDwbKPaG\CNaGRNxgKsAWXKMeEqrxXkkyUBJBd`QmxVkjqTrIwd\SaQL\EubXQGGsS`aLTG[bRPdgrsXiK`GUbCQCh@cWyM@Dyb]P[gvCVYJ`D}ayP_gocViItD]apPSgisSyIHFuacP~ggC^iNPDEa_P{g|cSiOXC}a[QDgec`IKHCMaCP_g_cVyJHBya?PZglCNyEpFA`mPmgYcZyJXBMaqOsglCKiDPGa`UQFhBCIYOXAYcGOfhAcIICXGY`IQGgQC`yC@GA`AQ@h@CGiMx@iboOZg{cFIA|@e_pOUgISDX~pFYbgN{gyb~YMG~e^sPrgxB}yIo}]^QPWfsCTx{`DM^KPTfqcTINg|m]yP~g~BvHzC|i]rNQG|RtANc|KbvNNfgrsHxHFQ]UPufdC\YMG{Y]OPrfbc[hwhGEcCNCf`c_IN?{IbqN?gzboYKWzi\wPcgpBmxvxEa\{Pif]cYXuHEmbWMrfXCZYKwzAbKMngqbjiF@@E`sORg[cCi@pBm__O|gFcNI@XCiaWOLgdcBI?W{y]WOCg@BrX}pA}^oOpfzcKH}X?a_SNtgCb|I?g~A_MNqgBB{YDo}M`YN`gUBwhzo~}_?N_fnc?Xyh@u_}NVfjCFh|Oz]^UMwfuBmXu_}u\kNnfYbzhtXC]\YPHfUCQHt@CQ\SPEfScPYd?@A?d?P_IODWA[dUQnHUctQZHL[eURLHccrqYXLCBi@x?zbppxW{c]ANDF`i`DMygHRqi?Syi^dNIfhRmh{SyiZtMIfLRYhhStiTdGid`QMhYSciSDGIdPQEhQS^iMDOYbhSIg{T?i^DEyfxPehySYiXdDYePPMggSpiBDKy_hREhcSCiVC}Ie@Nih]RxhydJi]xRAfkSnhxDIy]`QufeSkhwDIi]HQahQRniZczIfHMyhoRliYCyYehMmhkRihcdHYXPQYhMRGhadHYcxK]eKSehHSdIQ\Gqc\QLhRdAiTHOqdOSJhfDCIY@PIe]SPi?cqy_PKqgERLhaD@y`HKIgORBiKCoYVxP]gkR?h^DByVhOudwSMh[ctyVXLedsRWhmcliZxJae{Qvh~Cky_@JUf}QshWCsYUPLMdaRQh|cjy^hIud[R{hiCiiYpIqeiQjhrCfi\@IAfMQ^hMCwy[hHmcyRchLCvIR@LmesQXhoCdY[PH]fAQUhFchiS`HEdIQOhPcaYPXIEcSQa_FOBw@lZwKFEDbAP`go{Wac^QPhGSaYP\GimEVFj_dqYwP[amKV?jaDnywhZymAUzj`dnYwPZqloU}j[doIvPZ}k?VCj?dpinx[UkgUtjZDdiqhZ]kaUtjZdcyupXIk[VFjGDqYpx[ajUUyj[DZIlPZejQUzj]DXyvhUal[U]jUdfyt`XukqUijTddyr@YekMUHjDD`YopWakUUAjED`IphWMjkUei{DiImxY]lETriyDhYmhYQi}UZioDfIjpXil?TZjPDVIsHTuiqTnivDUilhTaiiToijd[iipVEigTbipDSiiXUEjGTPifdXikhTAiWUnifDkYhhZAiQUsidDkyhXZIjwTEicD^inhS]jqTBi|dPYnPSQ?V?I_EOAw@S?q^|N|f}R}h~K~mo]WWkLECZBH`AouWKkFEFJBh_un}Waj}eGy~paEnsW_j}EFy~X`ynIWWkLDxzBH]YnCWZjqEFY{X`qmgW`jieGiyXaMm_W]jhEGIyH`}mZVNjfTqyxd[ioUWUkDEDz@H`UoMWRkCEDJ?p`InOVsjtD|i|H^UnUVvjud}Y~@]qn[V^jwDwY|x]AoEV[kAdvj?`\umqW?jle?izP_EnaVUjkD{yyx^IZRLietqtXYclMUdJOdgswI[TMEexRZhlUWBK\eGrJX`KqUXbJte_q~XfKmuXbJTdkrPX[KruWrJTdorJXZKqUVRI|d{qrX]KkUWBHtd?rBXaKfuMZF\bippWukZuKzElbQp`WqkWuHBGlaWqNWdKbUTbGLdOq@W~KiuSrFtboqdXPK]uQrDla{qZXKKVUQBDTcgpXXHKTuHrGTacqHWgK`ufAIDDEadMyf\rnHvkz}\|MlfTrjHtKyi\PT{i~T^YnLVmjtX@k^uOJFlbypxYulYUlZU\jEtdYhLUUibT\i_tZYmLRukBSti{tJYaLWuhBUTjKtFYsLNulbSLjSt@YmLMUfRUDhwt^Y\LTujRRdhwtXXtLQu\rStfWtNYTLLUcrR\hOsrYQLLUeRQLh?svYClAu`jO\gIsBYgK{UibNTicrrY^KuUgBLtiCrZXhLPUYrSdegtFYJLKUdbPdggsnYFLEuaRPtg_s^X|Kxu\BN\fordX}Kvu[RODf{r`Zu?COAW?{?a?N?HdnqwX[CmIVHJbdqqxx[smaVTJhhcSqiXLK]eLRDhNSgIR|HqcvQ\m?fCzaPn}w?[PmFE~Ja@nyw]Z|lzU}J]|nevvZymDe}Z``nmwYZylzFAJ^@oivm[HlwE~z_HnIw?Zplve~Z\pnyvYZ{luE{z\PnUvUZslre{z\HnQviZgmHEvj[@pMu}[PmAEvJ_PlmwEZ\lkF@ZZHo]us[EmFErza@lEw]ZOlbFAJX@oiuM[HmEepZ`XkMwWZCl_f@J_XkIu?[Al^F@zVxoYwIY|ljExZYxmYuiZcloesjY`mMvCZRlcelzXXjeuSYwleEmjXpjquYYz_GOCgAK@M?j?Sj\TmYvDZmlzU{ieTRihlSeiVTImlfXzjHuYys\dmjFWjk`t]yo\bmiFTjj@tUye\VmkfSJjXtIys\Pm_vOjg\r}x|\?m\fWjk`ruzE[{mrFKjkxrQzI[rmLFVjjhpqyw[ZmNfWZjxpywy\_mJfVJbHtywo\\mnfDJapuEz?[Tm[FQjfPsqxq\JmefLZexs}y[[umVfPzeHsex_\GmUfPZdpsYxW\CmPfHjc`qaxI[fmSfGJcPqmxA[inOeeZR\hihJSfiRU`JOtgUsBYBl@U_JN|fyrvX|k}VkRsdz?|L]dNXVhbttys|H]dNVvfbtTx{|V]_NUViRsDy[{|]gNNvZbs|v?|R\nNSVaRsLwk|F]INPV`bsTw_|B]FNPvkRntz?z~]qM}v^Bttvg|Z\zNVv[btdvC|V\rNTVbrr\xC{z]ONMVbbrLxg{X]LNKVcbo\wS{h]CNHvdRoTw?{n]UN?vYrm|vczZ\kM{VYBmdugzl\hMyvz??c?Y?J?C_BO@W@c?m?T]^nNVgJ]\nUvhYvl[umJZ\luuxZXlkUujVTjqtv\vm{v]JmdvYzj^sOAV{c?t~L?J_@Nvw?r}M?G~`^}Nuw?B|t~{~X^qN|v~R}d~K~x^tNtvyR}|}g~l^hNyvyb}|}k~l^fNuvyB|d}w~L^nNrVyB}D}[~b^_N{Vwb~T}C~r^]N|Vvr~D|s~r^SNpvtb{l|S~H^QNqVsR{l|K~F^JN|v~Rxl{o~x^GOAVqc?t{d?J^DOBvps@L{X?P_JN`WBBw]?g}H]{ODVnc@dzt?V]xOBvms@M?_|t^}NZW?BvD~{|n]rO?vlS?\zP?D]~NlVvBwL{?}v^VNfVuRyD|_}^^bnqvxJ{t}a~N^hntvyjbdpiwv[\mNvFkHaDJA[`SoegS{HQDRAe`HodgSkGAC~AC`Po_gSKHyBv@}`PogGNkIiAJAm_bojGHKIi@~Am_`ojGGKJY@r?{`\omGF[JA@fAs_ZokgEkAqDb?m`XoKGUk@qDn?]`\oEgVKGYBjAI_{oaGM{EyCZ@q`Go[GP{DqBF@__roVgKkEaAn@k_loYgJKAYAb@S_ToSgDKCi@B@M_QoRGC[KAGZCM`^pAgVkNIGbBuaIo|Ga[PaFbBkaLozga{NaFNB{`to}g\KMIGBCA`ooxG^{LqEfB]`fougYKKaEjBU`douGXkKIGJBEaCopG_{SYHjDIa[pQGe{QyGzCqaOpKGb{QaIBDCaUpIgg[QIHvCea^pHGfg?II|DL?BPWgiG?QJ@DN?@PSgjKTo?LDVal?@Gin