CAT(2352,7)

Sparse6:

:~?co_?O?G?C@??G?E_E_@W@_?]?O?H_D?Aw@o?}?a?Q_I_CGAW@Q?l?W_JoEWBK@m?v?Y_LOFgB{@}?|?`_OOGWCC@q?x?\_MoV_DoBI@]?t_W?KwEGBQ@k@B_Z_OgGGBi@u@?_[?NwFGByAI?|_a?NGLoCWBV@F?tOQ?L[CcBT@j?doY_HSEsAZ@K?uOZOH{CwBX@P?uOZOICDGA|@R?ooT?J{DSB@@V?poW_IsEWAz@[?roUoLKDgBP@X?qOU?KkE}B\@v_zO]WNCFMBd@o_wo\WMcFiBx@|_~o^gOKGABvAD`AO_wOSIWCNAE`Bo`gPKGaCPAH`GOcWP{GyCbAO`FobgPcGuCTAJ`DoagPcGuDGAQ`Q_cgQ_IICgAb`H_gWQWIACkAb`I_ggS?HaDAAV`K_fgRGH}C}AU`N?dWRwHaC{AV`L_gwROIICyA``M?gGROIUDGAZ`Q_fWS_HqFsBg@toyO\SMWFXBf@uowo[kMGFHB]@oovo[CLsErB[@kOtoZSLkElBm@vo|O^CNOFrBr@zO{_]{NCF`CCAAp?__[N{GBB}A?O~O^[NoFtCJAEPBO_sO[G^CGAFPA_aKOcG`CQaHpDga{PUGhCuANpFgdkQqHTCjaSpIGc{QYHHCdaPpGgcKQAH^CmaYpLGe[RIHbCoa_@PWgGSQH}DBa^@OgewRuHkC{a[`Mwf?RiIUDLad@RGhGS]IKDGah@Swi_TUI[DNag@SWiwTeIkDWalPUwjkTqI~D]bB@XwksUaJRDiatpZWlcUuJXDjatPYWlCU]JLDfarPYWlCUmJTDlauPZoosUwKNEDBMp`?rcWGKvEBBLP_OrCW?KrEVA~Pd_n{VsKhD{BIp]_pCVkKRDxBHp]?qSV[KTEJAzP\OqCXCJhELAxpb?mSW{JbEMAwPWGkKUIJFDbapPWWkCUQJJDdaqPlgusZ]LnEwb[PmWv[ZmLrEyb\PnGvcZuLzE~b^Pnwvs[EM@F@b_PfwrsZULhEqbXpkWuCY}L\ElbUPiwtSYeLPEfbRPhWscYMLDE`bOPEGbCPeGrCZaLPEwbSPuGxC\aMP|w}s^iNvFxb{P|w}s^mNtFxb{P~W~c^qNzFtbyp|G}c^MNfFqbxPpwxC[uMXFJbdPqWws[UMHFMbfpowwS\EM`FVbjPswyS\QMjFWbkpuwzS^EN`FnbvPzW|c]mNTFhbsPxw{s]UNHFbbpPwW{C\}M|F\bmQEXBC`eOpG[cLqFHB[aePPGhcSQIxDSaiPVGkcUqHHCkaEP@GfcRQHxCsaEP@GdcQQJXDc`uOzGbcPqFxB{`iOtGUcJQFhBsaIPDGVcJqBPD{_oP\GDCaq@@Gc`CQHGPCaqOp@kcGOXGOC`QC@G[_cQBGGC_QBpGC_{QBGEC^q@pFsbwO\G~CFQ@PFc_OPzGzCBq@`FS_cPrGGC[QLp?SbWOFGJCZqA`EsbOO@GtC?qLO~{bON|GrC?qK`?CbKODGqC@qKO~{b?N|GpCDqK@@S`SP^GTCVQNPA[boOfGzCHQC`FS`OPrGSC[OhwSsIeDPAj`TOjWTcJuDxAz`\OmWVCJ]DlAt`YOkwUSJED`An`VOpWWcK]ELBB``OoWWCKmETBL`eOqWXCK}E\BO`goswYSLUEhA~`^QPpX[cWUTHHD`qQ@WSkCRjJ?CyQ[pX{fGU\I~Cwq[@VsksR^JKCvQZPXKeoUPJTCeqR@YccgUJHJDaQYpWsegUNHhDhqY@YSe[UbJOCrQoPKkk?RHJBCpqo`KSeCUJH_DaQr@J{dwUZH[DcqVPXCkkQvJIClQtPJKd_UhHPDfqr`ICk[Q^JECfQnpIkdOT|HRDhqS`YSd[UbHUDgQiPNKf_TPIcDWQhPUKiKTzIaD]QgPU[i?TdI^D[qf`VCjCSzIoDMQepVkhgTxIxDKqm@RCh[TfIUDXQd@V[hSTtIRDYql@QSi{SbImDGQlpP{jWS\IlDEqj@PcgkTZIIDUQaPTSg_TVIvDBql`OsicSJICDSQlPO[jOSDI@DRq_@Ssf{TvH}D\Q^PS{iWRxInC|qj`NSigRlIjCzoGgC[AU@H?a_PoHWCcAe@P?f_ROHwCsAe@P?j_TOJWDcAm@T?l_UOSwI[DUAj@Q_hOTGIcD]Al@V_jOUWJCDeAp@Y_loUwJSDuAx@\_mPFgb{PyG~C_aOpGGcKQMHDCbaPPHWccQUHHCeaRpHgc{QaHRChaSPIwdSQiHVCkaUpJGdkQ}H\CmaVpKWeCREH`CraXPKge[RUHhCtaYPZwlsVEJ`DraxP\WmcV]JlDwa{p]wnSVuJxD~a~P_WoCWIKFEDbAPuwzS^EN`FnbvPzW|c]mNTFhbsPxw{s]UNHFbbpPwW{C\}M|F\bmRhpk{yWZLLgFQRYPskwS\RMgFARgPo[y?[DMjF?ri`oCxsZ~M[E~R^@tkvs\XLzFKr]`rCygZrMjE{Ri@lcycZZMfEwrh`mCvO\XLtFUrfpmsxwZnLjFPrY`sSu{[nMUEvRepm[vG[tMPFQrc@scxs[RM[FCRgPpky?[XMTFKrd@rCw[[~MEFNRepq[xG[tMVFFRd`p{wk\FMIFPRoPk[{?ZDLdF[rX@vCuS\jLcFYRkPk[uG\`M~Eorn`kCt{\vL]F\RVPwcto]JM|Elrn@jStk\nLYFZRk`jczKYzMmEkRUPt{{GYlNBEjrVpu{tw\lMpEoRWPuCzGYlMrEjrUPukzOYpLNF`rR`wStS\vLSF\Rn`i[z{YdLPFVRS@t{tO\rLTF[RnPiKzoY`LNF_RR`wKtK]JLQFaQ}pf{ngX|LDD{rP@^CsKVdJrE`Q{PgKn?Y@L@DtQypgCm_YDLBDsqw`fkmKXxJ_E\qwPfSsSU~LCDnRN`ZkloX~KwDuqz@fKlgXlJZEZrMp[krgVHJXE]Qu@fkr_VLKxDrqtpe{lWXlJnEeQz`hkn[YTJuEdrQP]cs_VjLEEAr@@g{oGYTKBEdrPp^{sWV|K?Eer?Phcs_VxLHD}r@pl[oWZTLzEYr]`ecrCZRKoEsRJpnkqwZxKlEvrJ@lsqc[FKgF@RHpoKqW[@KbE~rG`nsv[XBLuEORB`k{uWW^MDEDrA`ocqSZfKcExRIpnKqgZpKLEurB@lcvCWRLoECRKpmkrGZhMFENr``bspS[^KSFFREPqSp_[fMJEHra`aSpk[RKYFCRc@aKxCW`MTEMrd@bcp[[ZMKEJO@G?s?Y?R?H_COAG@[?i?V?I_AOBw@s?}?\?L_Eo@W?k?q?X?F_BoJgD{BE@f?t_ZoLgF[Bi@r?w__oOGF{By@z?{_aoPGG[CI@h?q_WOtwYsLYEnBX`kOuGZKMUFHBb`pOwW[CL}E|B[`mougZ[LmEtB\`mOzW\cM]FLBh`sOyg\[L}E|B``oOww[SMUFHBf`rOyG\KMmFTBl`uR|QR{~Oc~Q_Fwr{ASC}kdBNiHOrxqSS}WdDQeFbRpqSlIO]rQbFkSh@y|IK]lNTHTRtATK|KdPNQHRrsATdIk]bQeFfshPxs{odRNLHTRqqTC{gdNNHHURqAT\Iw]vNYHUrvQTs|odZN]HVrvqUDJ?^BQnFoSk`{\JC^DQqFqSkP{k}cdfNgHXrzQUc}odhNmHNSf`||JS^dNrHYs`aJ|GWa|PUHBsTqO|H?bVQNGtSbaLDGsbRPfHCSXaPDEOcXPdHESWqQDEGc^P`HDSaaKDGsazQMGmSUaP\DkcVPXHCsUAPLEocbPlHGsZaQTE{cfPpHIS[AQlHKbfQQGxS\AQlHObjPvHKseAMtFccnPwHJS]qQtFgcnQXG}seANdHkb|QYG~seaODHkcBQBHMs_aRdGOcxQDHMsHaWLK?`NOxH]sMAVdB[eNOuHbSLQV\Jg`hQxGXsKaVDKc`bRGGWSJqU|AwdlOlH`sJAWTAkd~OiH^SpQDLKO`POzHdsMaXTBseZO{HeSrqF|Bwe\P@HgsOAYDCKefPAHhSPQYlCOehPFHjsPaYtCcerPGHkSQqZ\LgaTPLHmsRAZdC{e~PMHnSSA[DDCfBPRHpsSa[TMSajPSHqSpp}|KW^lOHH^sna@DKC_NR?GBSqQ?lK__HQ|G@snA?TJc_@O@H[R~qV[~wdtN|H`r~AWTKS^vRCF|R}QU{~_dlOJHdsAaXT?seZOKHeSBqXtK{_\RPGGssAADLK_fRQGHSDQYl@OehOVHjsDaYt@cerOWHkSuqB\Lg_tR\GMsvABd@{e~R]GNSGQ[LA?f@ObHpsGa[TMS`JOcHqOzw\sNeFpBt`yO{W]CN]FlBn`vO{W]CNMFdBr`xO|W]cN]FlBx`{P`go{WeKPEJbDPbWpcW}K\EPbGPcgq[XUKhEVbJPeGrKXmKtE\bMQPxGsceQPHJcdQRXHccyQ^HPcgQSxISdUQhHVcjQUXJCdmQtH[cmqVxJseER@HbcpQXXKce]RLHhcsQYxLSeuRXHncvQ[XMCfMRdHtcyTxAvt]Sl~VZJ^tuavt\[mJVCJjTpQz|[Om|VaJ`toa{\[KmzVAJmToQ{D[?nBV@JktuAwD][mNVeJbTpa|L[[nPVHJttqA|T]smPVHJuTzqx\]wmTVpJdt{AxT[snfVKJxTrA}l[snhVMJztrq}t^_m^VxJfT}qyD^gmbVPJ}tsA~d\Kn~VQJ~Tsr?L\Go@VSK@U?qyl_SmjWCJiTtqs|YWmlV\JRtvAstYsmvUkJlTjAzDYsmrUjJqtxAtTYkn@UiJotwatL]KlPV]JSTvqtLY{nNUmJrTkQ|DZ?nRUpJtTkA|\]sl^UmJuT{AuT^ClfVqJXt{quT]wljVnJYT|Aul^SlhUuJztlq}t^clrVwJ[T}avLZ_nvUvJ}Tla~lZkn|UyJ~tnB?LZso@WBJ]tnB?T_OltWDJ\tSq\|MwidTTI?tTA_DN{ibR}IgS~Qi|NoilRzIdtQa^TTcfrTWH{TQQ]|S_flRtIbs|AgtNKiZRqIeS{Qh|N?i\SBIlt?ajTOSizSCImT@qj|OWi|SHIotAAkDOkjFSIIpTBAklUOgZRlIrszAktUcg^SMIsTYa\\UkfTSPIutZAaDPKj^SQIvSyQmLM_j`STIxtDAmTVSfNTsHrT_qbLWGgpSjI}tIandQcjnSgIzTHqnLV_hLT~IQtHAntWShFUCIPTGQpLQ?kPU@INt_AbtPskNS[JBT]qb\VggtUJIUtaaddWsgnUKIJTbqeLWwh`UPIVtcAdtRSkfSsJHTKaqlRKkhUVI[tdafDXchnUWIZTNQr\XghxU\I\tfAfTR{k~S}JNTgQg\Y?iDUbI_tgagDYSiJUcIaOJgECBI@h?u_ZoMgF[Ba@r?|_]OLWF{By@f@@__OKWG[CI@^@D_aOhwSsIeDPAj`TOjWTcI}D\Ap`WOkwUSJQDjAv`ZOmWVCJmDtA|`]U|RWtkWvhZpLbu{BW|msuPZkLcUqR\DkcvRZJLpuqb[TmCubZ_LgUxRYDmOubZ^LduqbZtk{u|Z^LfUwbXlkovFZ`LeuwBXdmOu^ZMLquxrYTmWudZSLrUxrY\lOvRZgLhutR\\mgujZjLjUybY|l[vZZULuUuB\|l_v\ZmLlUuR\|lgvbZXLwUur]\lkvdZqLmuvB]\nSuxZ\LyUXr@LeWoPXiKIuYrAd`Cr^WOKvU[b@\fKoTXhKEuYB@d_{rZWMKuU[RA\`Gr`WFKyu@bMdgConY?KJUERNdfsopWZKzuEbMt`ssFW[L@UFrOl`wsHW`K{uGBNDaKrvWaK|UHRN|aOr|WfLFuHbPtacsZWgLEUaRD\g_pTWlLGuJBQDa{sfYQKVUKRP\b?sTYFKXuKbOthSpjYSKYUkRFLj?ppW|LVuNBTthsqRXGLMUgRH\i?qTWzLYuMbUdjKpnWuLXUiRH|i_q\XPLRuSBStdStrXSL[UlrHdjWqZXRL]uSbVdc[tvXEL\UnrGLjwq@X\LTuVBTTd[tJXULQUeBJLhcqpXZLPugbJTcSuFZAKaUoBF|kCp|YVKqudbKdd{tZX]LUUfrKLhwr@XbLLuWbRTkSqFZCK`ORwHsC}A\@F_bOSWICCeAP@H_cORWHcCqAZ@P_gOQwHSCmAT@F_bPZwlsVEJ`DraxP\WmcV]JlDxa{P]wnSVuJxD~a~P_WoCWMKDEDbAPpgx[[aMZFKbdPqWw{[UMHFNbfPowwS\EM`FVbjPswyS\UMhFXbkVfrutxw|l]{NVvmrttzS|t]sN[viru|yg|n]wNPvgbvDzC|t]oN[vnBu\zk|d]fN]vhbvl{s|F^KNPVfbxlx{}X^HNSvqBtD{_|B^HNOVqrtl{g|X]dNdvqbsd{[|N^ENRVprt\{W|T]tNavlBwdyw}J^CNVvjBw\ys}F]_N`VgRwTz?}B]pN_VkrwLzG}@]hN^viBv|yS||]}NQVMrp\rg{T]HM_VaBgLsK{N\ANBV`rc|wWxL]HMSvaBdDwkxV]IMTVJRrlqo{x]NMVvJbptxCxb]OMWVcre\xGxd\DNEvPBpdxSxj]SMYVMRrlr_{x[vNLvebetrs{r[{NKVNrq|rw{l]SMhvSbqltC{f\ONHVcRh\x?yT]NMcvQBpts[{r\ENKVRRr\xgyX\NNEVRbpltS{n\SNJV[R_|v?wL\~MCv^b`DwCv~]?L~V?Rmlo?zh[BN@v?boToSzn[CMzVArm\vGwT[LM}vBBnduSw^\cMFVXraLuWw`\hMHvYBaTtsvz\[L}VWralpOzD[VMtvDblTpczZ[WMuVUr^\tgvt[ZMovEbkDvcwz[[M{V]rb|vgw|ZxMnu}BjtqCyr\WMOVZrc\uwxD]DMQv`Bcdn[ynZuMjPLwesReHpCza\PNWfcR}H|D@a_POwgSSUIHDFabPQGhKSmITDKaewWR~}E?~|`bO?wWc?EET?F`cO@WXs?mEX?H`hOBwYC?u?dBT_GOtwZS@]Ep?T`nOEwZc@eFD?^`oOFW[sAMFH?`_ROyw\CAU@TBh_SOywZSDmEp@X`jOTwIcLUAdBR`gOSWXsC}EX@L`dOQwXCCeEL@F`aOPWWSCME@@@_^OnwFcJuFL?z`qOMW[SB]F@?t`nOKwZcBE@\A~_UOnVsSHmCo}`^\OdvvCHUCW}v`FNlWPRzMCO}p`BNjwObyuCC}j`?NiWNry\|H@|^zOhv}cIT~tAb`ON}WTR~D~dAh^vOfv|cHt~TAv^sOlV{sJL~HAp`\NwwVB}ED[~^`UNvVycFT}l@v^lO]vzCFd}H@d^bOXwLR{mBO~H_uNrVxsE|}d@r^gO[VvsD||x@\^`OWvwCED{|AR^MOcW\sTEFXDRanPQwjcSeItDFaaPUWhsSMIXD@arPNwkcRuHpEfbQPMwesW}HhEL`xPWw]CUEHdEJaWPaW]sYmFhEhaVPgwsCQuFtD~`{P^WrsQmKxChatO~wlCNuHLEVaQPdW_SUuG@DnaPPewcCXeGLDzaAP]WbsXMGxEPaDP_w`CWEJlCNayPBWmSPMJ`CPbBPEwbCWUIlCVaiPDX@SY}LXGHcAP{w}C_]NTGBbsQ?W{S^}N@F|b|Puw~C\eNLFVbqPtWzs[}MXF\bzPpw}c[UMDFnb_PzWvC\ELtFRbcPlWxSZ]LdE~b]PkXCca]PXGncZQBx@cbUPtGrc[QKXDCamP@GbcJQFxAc`uOdGZcGQEO?SbqQU?Ac^QQO?ccIQM?Cc_QPXHsdG?NHKcg?@~