CAT(2752,1)

Sparse6:

:~?j?_?O?G?C@C?I?G_B_AW@O?Y?Y?M_D_Bw@_@A?y?[_LOEwBS@m?x?^_NOFWCCAI@B?p?VOKGD{A}@`?m_]_JGDcAq@Z?l_UoIgD[Ae@T?h_ToJgECA}@n?x_[OMWFCB]@t?{_\oNGF[Bi@{@J_c_NwFgCiAQ@?_`?QwGGCiAI?|_a?NwGWByAK@?___QGGOC]AE?p_a_KwG_BIAM?t_Z?QGGoBQ@t?{_\oRGHsCuA`@P_foU_L[DcBX@W?tOUoLSDsBX@[?toX?ISEWAh@d?hoXoIkD[BR@g?jOWoJ{EGB@@]?ooIgDKAmAd@S_hoTWIsD]C[AJ`EObWPkGqCVAK`DobWROHYChAT`IOdWQsG}C\AO`HocWQSHkC|A[@Noe_RkHoD@AZ@POe_SKISC~A\@Poh?RsI?CnAa@KOeOSKH[DFAX@QOhORCHeCnAW`\_lWU{JYDnAt`ZOiwTKIiDXAm`UokGUKI}DdAs`XohgTCI]EkBF`coqGX[KqETBF`cOqWXSKqEVAz`]onGVsKAD~A{`]omwVsJ}E@B@@eoooX{KGE\BL@aOp_X{KSE\Aw@`om_WSKCDrAw@aOm_WsKSDrCN@Ao`gO{GiCPAH`Ao`wOsGaCTAH`@O`GO[GICFAC_uoZwLsFIBb@o_~o_WOCFeBv@y_}O^gNkFMBj@s_zO\wNCJaDtAxa^`IgdcQmH\ClaVpIgdcQmH^ClaVPBwaKPAGhCRaHPDWasP]GpCYaKpDWa{PYGtCXaKP??^SOGFvB{A?o~O_[N{GJB}AAP??_sO_GDCFA?pAO_[OkGJCIAAPK?c{QcHdCgAWpL?c{RKHRCgAYpGO`kOoHFCaAFPB?csOwHHCLAQpGO_sO_HFCFAPPA_csOcHJCJAQPFOeCPoHdCZAWpKobsP{HjCsAOPBob[PsGbCOAMPC_bsPOH@CRANov?esLsHpB]AZovoe{M?HpCu@ooyG\SMeFXBl`tos_^SL?FxBP@|o~OY[N{EjB}@iO{OYsNKEpBq@joz_ZSLkF`BX@vo|_[SNOFHBt@po|o[kM[FrBe@{Ps_CcAU@F?e_SOHwHcCyAZ@N_goSG^[NqFtB}`~o~W`cOyGZCGaBp@g`KOiGVAM`GObwQKHMCdBU`kOtwZSLmErB[`nOvWZ{MEF@Ba`qOww[kM]FLBi`soyG\[MuFXBO`hOsWY[LUEhGGCFQC@@S_{ORGEB}Q@O~s_[NzFyCCp}p@S^cOPFrC@Q@?}k^OOFF~BzQ??~C_CNnFfbspyG|c]iNVF^bnPwGz{]AM|FabppwW{K]INFFNCDpsP@k\?OXFKCFPr`AC[sO^FfBdPyOxK]_MVFGBtPpo|[[WNXFcB_Po_{s]SMBFDBrPx?wc[KNJFWBapoozS\cMHFWBcpu_x[\cMTF\B_Po_zc\kMBFFBmpuows\oMPElBRphOt[YoLLElBVPk?t[YoL^EmBWpk?u[Y{LdExBYplousZ_LhEvB\Pm?vcZcLvEzB^Pm_v{ZoLzFLB^pn_xc[wLzFNBWps?uS\CLfEfBjPhOy{YWMjEgBiPsotS\GLREiBjpiOykY_MlFSBYPs_us\KLjD]anpVW~GUANuDab|@WW}?X}NcE_bO`{W|oYIN]EcbP`zW}GXiNcEZbw@eW|oXqN]E]bM`zWqcXUKfEUC@Q@?q{X_OFFrArP|Ok{^OJPDoC?p[P?CU{N~F}AyP~Om[^oJdDtCAp\p?{VWOLDwBzp]_~CVcNlC}CDpN@@k_oHzELBBpbopKWwKPEPBDPb?qSWkK`DVA~PUOn{W?IpDZA}p]ojcTgJxDOAgpR_i[S{IdDSAePQoisTSIZECAap`_g{WSILDIB@p_OhCScKDD@AvPO?lcR{JZDiA`PYogcSKJRDcA[pXOf[UKHtJS?KoDwBC@a?n?X_JoEGBK@y?~?\_POGGCKY]LLEdbSPigtKYyL^EobZPlGukZiLvE{bfPrGxk\EM^FO_ZoMGFKBE@f?q_YOLWEsWuK^EMbGPcWqSTEIfDQajPTGikT]IrDWalPUwjcSmIZDKafPSGh{R}IBD?a`PPGg[SUILDFacPQWhSRmHrCya[pMwfSRqH|C|a]PNgfkr[X[KseWBLhdwrUWYKXeFbEx`opiW_K[eHBFhaGpuWMK^eCbGX`?qAXCKIePbAx`_qQWKKheABIh_gqaVlJtdzq{x]SnQVbJndwQzx]KnAVXJldvQyX\[miVRJjdtQwx[kmQUaKjeUasxYOqqXKJPeRasxcglIVYJMduAsH\ok}VKJGdraqXXOmaUUJedeAyHXgm]VEJDdqaph[_k]VAJFdpApX[?kYV?JLddawh[GkqUSJ\dcavxX?lyU_J\dfavxXolyXaJYeXavHeOlmUmKsdkbLhZ?rUUiKRdjBDXa_lQUgKUdjBEHYgp]WqHOchBExIGpiWAI|e@anh_OjqToK?dZa~xUonyTqJzd\a~XVOnqT_KReIAkhUGpUTeKUdYbEHU_p]TSJBdTaohT_kQUEImd`AjxTgkQVuIcd}ahh^_iUV{IfdSb?H^wiaXcI[eWaexeWhuSiKCdJb@XQooYXKIFdCBHxcggYRgKjeUa\hMgqqWWHpcxbAhMOomRUKOcubChL_pEXCHmeQA[HcWe}ROK[ctBFhLGpuQeK^cibGHI_qEWYHUeFaUH`od]WMHdcrbAX`?eYUsHXdmAUxZWdiQyKucmBLHJorUQ}KpcobKxK?rIX[HaeWAXHdweMQZHNcfQQhH[cqQNHHccQPhGccUXOGvcZBIhEgqePcJWcYAuXYwbMVcGncWa{xE?nQPUJtdzaIh]oaeVoG\cNA}h^G`}OuJ?cLAnxB_kEUAGWd^aEXW?`]VqGSd|ADh^?`UWAGPe@ACx_W`ITAINdPacXSOhAS{IHdOAaxRwgiSWIBdFA`XPggQS?IWd@AehOGheRsIQdIA^HQWfmRyHvc~a]HNofePuH@c]aOxF_cIP{Gwc_AMhFwbePWGbcQaJhDgaQPMG_cSAGXCoaI`AJAdaQowBS@q?vIFdCQ`hMkfYRhOiF|SJ@~\Ak^xNQGRrsADLA_]bO`FesGpx|AG]\OkFUsI`ttAk\XMiGPsGPt[yc`DMAGRr`ADKwK`PL~GNSFpoLA?[@L}e}R^Xn[veZtLue{R\xm[vUZhOZE_SFPgT@oYBLDGRROqCksO`HKyGLrMqBkro_xK|GRSH@ftASX~KxGNSFpe{r_`@OMGCSBA?|?s_LOHG@sAq?l?g_HNvGHSD@~K~__fOTFwsDp}S~K_lNmGFr{AAK}{_`NgFyRy`}s}c^jN\Fkrv`z[|g]xN^FjRwPzC}?]nMqFpRl@{czK^FNRFVrkPyk|O\`N@FPropsk{G\HMeF\rnPtCzo\NM\Fqrfp{{xw^LNIFORr@sS{k\BMVFaRePwsx_]JMwFLRf@vSxk\rMPF^RcpwCxG\~MSFDrd`pkxS[XMOF}r~pps~w[^MDFbr`pxKwW]PMGFYra`uswc\nLoEtR[`lcvCZVLfEurZplKu_Z\LcGKRXaBSuS_rNjEorzPk[}oZDLZEnRVPkCtoY~LQEirT@i{tKYlLPEeRR`iCs{YZLHEkRU`h[tcYTO@Ebs?`hD??YL?U_IODYMPJ]bgQwh[c[yMHJadqPogvclyOpGicIQKhACayOxGEcEQHh@CaIQ@GAcaP}hHC^yPhFmc[P{hFc^YL`JQb[QuguclYKpDubOP^grcViKXHMbGQTgqcdIKHEmbCPigscWITpDid_P[hVcUyIxHqaqQ]gkCfYT@DQakQihScTYIHH}aeQ`ghCgIHpJEa_QrgfckiHXCYaYPDgeCPyGXCeaGPGg`CQiG@ImaAQlhUCNySpBudIO{hRcNiFHHYcoOzg\CdyEpIIdGOwhPcLyRHBM`iQZhLCLIE@FU`aPugzcKiNPA}bqOlg{CJgAK@M?dRiI@SzA_dMkgFRfI@SyA_dMcgFQ|h^sniVdJidvRoHxs{a]lNCfhRmH{s}q\|MsftR?Hosoa[\KCfDR}Hksua^dNsepRQHzStA^DLKfnRNHissQY|L?elR~HeT?QXtO?eZR]HcswAX\L{eTRZHbSvQXDLoeNRBHqSpA[tMSeJSqB_PoWwS[MMJFC_vOZwLkFIBb@ofnrwX{C|m]rNYiYdOYexSIhkTBiYdMyfhR]hkS{iXDNie`SAheS~iYDMiePRaheSxi_dKIgXREiCSni_DKYfpQ}h}SoiODMyfhQIhAS{iMdMIbxRig{SxiGTBy`tOugVSKiCTAi`LOUgLSFiGdJIaXQygcSliSdHid@QmhMSiiPdEib`QUhGSZiIDDyapPegiSWiz_BG@k?m?\?O_FqoXWCj}URJGddQqxXkkqUfJPdhOGwCcAU@P?f_RP?g_COEGJCCa@osWYSLAEhBR`iqGxCcaUPDG`cOSQIHTCeaJPFgbTjQrtX}l@U\jLtfIqpWYkmUGjId`yqHWak_UEjFd`yoXYQkIUejADhYoXWekSUDjDd`Io@YEkCUbj?dgio@WukCUMj?dbInxXekoT|jLD^inhXMj}USjHD^im|VejpTyi}T]ymhYQjgUeizDhYsHVYjgUbiydgimHWekUTrjDD[ir@UyksTojKdZylXWqjYUMiuDbYqxUajSUUisddYklU]jLTaiptXIpxTek_TYjGdUyipXIioUSijdcyiXViiiT{iiD]ynHTAjmTQi{DSYhhX}i]U]jODRirXS]iQU[icDfYgpTqi{TCiadVYhPUEi}TKioDQw?k?]?L?G_DOAYB\@u_xO_gNSFwtkYqLVEpbXPkwvKZ]LpE|b^pngws[aMNFHbdpqhzc|y]zNWfjrthkCt}Y|LTejrThhcsyYZLHedrQikLUAi~T\inTVJDtbAp^WlkUUIzDTaapRWfkRUHZ@P`YoWWVkDeEJA`_qoeWJkDEDZA@_]ocWHkGeAJ@p_ao]WHkBeBZ?\_EoDWCkBU@ZEhYapgUhjReLjEHYilWWrjTeKjBh^}o{V}kME?JBX^uoqV{kLD}y~@aIpGVyj{eGzBx^UpAVvkOD|i}PaIngWbkQD{y|x`}naW`jwEGJBH]qn[WZjueEjBh]mo{VhkMDyjA@]AnCWQkGdwYzh_uo]V^kFDvizP`YmwWWjleDyyx`UmqWSjkECz?h\QoKVUkADtYyH_IoEVRjhE?ZE`[mmYWujeELZEH\Am]WrjfEKiwhammMWkjbEJZCh[MmGWfj`EHiv`aipQU}kSDnYu`ayp_UtkVdky{xZ}mAVgjrDoIvH]UnEUyjqDmyu@[alcVHjWdqiupYuloUnjZdjjTwkUULJFdfQsHX{aqP\GlcVqKXECaYPNGgcSqIxDTCmaZPKg`SPIG\YelNUgjTTjIt\]YnPVfjqtwy{dZAldUpjUtjyttkkulZKLkUqbY|k[ufZHLiutBXDiou`YmLhUjRYLicuZYjLfuibXtkktLYgLeUqbS|iOuNYdLcUqRS\igtLYgLSuirS|iotHYmLQujRS\jwt@Z?LPUnrSLhstpY]L[ufrVThgtdYsLMUkrR\h_t^YXLWudrUDhOtvYUL]udRVdkOsbYRLbUcbWlkCs\ZBLGUobP|jWsZYJLZulRPdgisPYHlBu`ZOtgGuHYCLbU_rWlf{uFY?L`UoROLfotdYsK~UkrNlj_rrYyK|umRNTfWt^XwLWu\rUDjwrfZ?KyunrMdjkr`XqL]u[RVdjSrZYvKvulbLteqrTXjksuXzLDdwufZTKnutBKDdkulX\LkUVBY|dCu`ZQKfuSBYLdGuZXSLfuSrXtdSrBXVKpuTbKTeWqrXcKlUUBKlcoqDX?KfUORHlbsqPXEK^UPrF|bgqFXDK]UMrGdccpnXJK[uQbFDiQtJYblRUiJS{taYtLXelrVXjcs}Y`LPehrTHiTcAqDX@k]uNzFtbipxWzkZuMZFDsyy`\NmdvRZhduWvb\gLxvXr]Ts_yh\IMjVQRiltgyJ\[MbvUrgtsGyn\WM`vURgdtKyB\QM^vSRgDrYxp[vmXvLZedtCw|\RMOVSbb|pkyh[\MjVFBilp_yn\XMLVUBbLtgwj[VMmVDbj\pIwh[RmFvCJaLowyX[LMdvRR`doky\\OMDVRr`Lnoy~ZzMnU}bjln[z@ZxMpU}BkLuKvhZuMqu|Rkdmwz@ZoMpUzrkLmkyzZlMnuzBjtuKvPZiMqvXB\LuWvJ\gLrvXr[tqsxT[kMVvJbd\r?xN[qMSvKRdDrcxH[zMRVMbclqCxx[bM^VGbflmOwJZbMAUwb_\l{w@[@LouwB_ToWux[FLnVABZllcvzZZL~uub^tu{|t]{MwvmrmDyG|p]xNQVlrs\zO{r]ZNZVebulzC{n]rNKVkbqtxK{~]TNOvdBsDx?{x]QNNVcRrl{?{Z]NN`VoRptwg}F]KNavarwdzs{N]~NCvnbpDwO}L]ENcV`Rw|z?zx\|NVV]rt|ykzp\yNUv]RtdySzj]eMzVhrm|y_zd]iMyViRm\wCzX\mN@v_bllug{@\}MtvYRn|}O~`^qNrVxR}L}c~F^gNovxr{T|w~Z^_Nvvvr|t}g}v^\NuVvB|\~W}p^wNkv|rzT~K}j^tNjv|Byt{c}^^PNdvqbyD|G}X^SNevsrxu?o~t_LN|wAr~M?`?D_HO@wAc?d~|?\_@OGW?C@}?S~x^}OBv~S?u@h?b_ROMWEsAU@P?n_UOKwDSBC?u?V?K_FoCG@tRAhbSniFTCI`|OqgZSJjRtiYtDYilXUjmTvJJdTqexN[goaGLSF]B\@z_uO]WMSEUBP@p_yOXwJsF]B@@x_pO]wJCFEAx@t_lO[wIcEMAl@^_hOWWISDeAl@\_iOUwHKCmAN@J_coPwHkDEA^@N_goRWLSBm@|@n_]OZWGCE]BP@D_`OXWYo?k?Y?N?I_COAZT\ietTYklVUjYmlVYjhTeirtXYk\UQjD]RnIvdJqDxI{b\mmuvZJlTuezVaHpDwakOuG^CPaBO}w`CNuGTB~`yP?W_cNeGDBv`vO~W]SN}F`Bz`xO}W\sNUF`Bv`sP?W\cOUGDBjaBOww`SMUGPBf`jouwZKL]EvBX`mowWZ{LuFBB^_~OsWOCLUEd@|`AOsWOsLMCDBT`uOrWXsMmETBh`aOwwXCM]ELBdaGOcw`cG}G\AP`CPCwPcPUCTCV``OhwTSKEDPA~`OOlwUcIUDdAb`UOewUCH}D\A\`KOmwQcJuClAxb\OtWYKLL[mmZVKjftsIxtoqw\[LmDVAz`MBz@~`?o`WO{GMD^Ap`UokwU{JUDzAx`\onwW[KENTFpbvP{w}c]uNlFdb{PyW~S]]M|FpbyPww{C^MNHFZbsPuW{s\uLzE~b\pnWv{ZmLlF\b[PuWuc\mM|EpbXPww{CY}L@ElbMPiWrsYmLLEjbPPjWscYeLHEpbXPgwssY}L@ExbNPlWrcZ]MlEVbiPewySXeMXEPbgPdWxsXMMPENbdPawpc[]KPF@baP`Wos[MMPD~bdP_woC[]JpF@a}PpWnS[MJdFRazPtwmc\UMXDlawPsWxsU}NlDfb|PYw~CUeJ@FjaqPzwkS]uGpDBabPFWgcPmItCzanPLwjcReHdDNaYPSweCTEITCjaVPRWhCQuHHDTaSPUWcsT]HDC|aNPOWcCR}TTEhbUpiwu[Y}LbExbYpluRzILdAqhXQkhv_joLwM{@\}m~wbKPuGvDHadpRWh{TMIbDTakpTwj{TuIvC^aOpGx\CmEVTJddrQwx\clmV`J^dvQvXVKjmTnItdXqkXT{iuTVIldVqixTC_ETHF|dRP~xWCiMTxI`d^QfxRCk}UdI\dgQexQSkmShJLdJQqXQCk]S\JBdaQbXWCgeT|IJd]Q`xOCkMSDJFdaQ`XLskeRdJLcwQqxLCk}UdHldgQYxHcn]Q\JrdyQQxYcceUpHDdjQPxFslmQDJ^c_QvX[sbeVTG|dsQMxDcmEP`JdcVQwx\sbMPlJpduQLXYca]UlGjcSQuXCCnMPHJvcPQ|XBSjeTtG^cMQlxUC`eOhItcJQkxSc_MTPGFdRQ@XNSd]R|HZc}QUXICfURpHTchQ\xKc`ERLGRcpQBxJc_eOXH`cDQVxuSyqWFJ}fWrjh_Knq\^Mod{rjH^[waWzMKeOrahb{wI[^MEfHr`HqKti[~M[emrUHr[tI[jLUfKrTHq{sq\NLOfTrRhtKsY\BLIfQrQHs[sAZJLCesrOhk{uiXvK}evrZHfkvIXnLse[r[HekwAXfKme~rKHnkqaZnKke|rIhnKtyXFLaeRrWHckpiWVKUeFrEH`kpQWNKCeGrCh`K}y^vNqf~r{H~k~Q^RNwftr|h|k|q_BOCforvi?[}I]nNYfrruH{k{i\~NAffrrHwK{Q]bNGfirphy\?Y\rOIf]sAHv[zQ_bOKfZrki@|BY_fOwgIsMiA|AY`^OggTsHIDl@y`jOogPsKiCLBq_rO[g_sEiF|CyajPQgksSII|CYaVPKg`sQIGkieTJIf_}o_WN{GMCJAFgxSXyMdEeblPjgsS[YLTEubLPnguSUyJtFEaxPngxSWYMtEUbhPbfWrjxtkYEK~E\bPphwsko}WVKLeArAX_|IedZQjhPshySlHAczQ]hIsgIQ\HIcvQShKscIQ|IIbrQeg}shIN\GiczQ_hFsfiPlHYcJQGhLseIO|Iab~Qkh@siiOK`UOrGVcMqFxB\Lae~RahmswIZ\MQefRghjsxiYlMAeZRahgsriZ|MYeNRIhssxIXLKQdfR?hWsoiT|JQdvQwh^sliVg?c?Q?HeHrDXaKp]WvKXhVskyULJUdrQviFTHyaTQmg`ShiPTCyaDQEg\SdiTSzYdDMmhLRniITAY`dPeglSJi@TEy_tP}gHS\iQS~YcTOEf|S`hzTEy^DP}ftS\iIS{YbDNMglRti[TTyfdTmhtTXigTQyhtTUidTLi^TKygTR]i@StiUTPYeDSeh\TF?@TZijg?YjdT`?AT[Ij|U_?HTbir??illUQjS?F