CAT(2662,1)
Sparse6:
:~?he_?O?G?C?c?H?D_Ao@W?c?Q?P?G_COE?Ac@U?n?U_HOCwCG@y?|?^_NoGGCCB?@F?e_QoHGCSAEA]?z_\oNGF[Bq@x@W?\OMGFKDUAj@U_joTwIsCE@z@?_^OOgF{CwAt@W?coR?JCDcAV@L?lOUOHSCSA`@C?goP_ISC_Ah@B?foPoI[G_@n?v_ZOLgEsB]@N?g_SoIgDcAm@\?n_UoLGEkBA@d?r_WoTwIkDYA@?}_]oOWF{CIAF@G_bOPWGcC]EwAu`ZolgU{J]DlAe`RoiWTCImDTAe@YOi?UcJSDVAf@Yoi_UkIcDhAn@OOgOTsJ?DDAp@PohOU[IODd@y_|o^gNKFqBzAA`?o`GN{GMC@AF`Bo`gOkGUCLA?@VOjoOKGOD`Ap@@O_oU[JGB~An@KOe_U[HkD\Ap@MOeOUSJ?CnA_@JoeOSKIGCpAY@PohORcIOCvA^@EOfOPKHsCTAG@NOfoPkHwCV@x@IO]_QkFkCl@{@JO^_QkFsChAR?yoc?MsF_C^AQ?xob_McHCBnAN@COcOPSGwCVAQ@EocoPcH?CR@a_qOWWK[EYBJ@l_wo[gLsE}B`@f@UOYOTkIsBX@j@UoY_TcE_DX@Z?yoV?MsF_Az@r?nO\?J{E?BnDn?KoEgBk@a?v?[_PoHWCsAQ@D?`bF`_wocWUKPEFbBPaWpSWyKVELbEP_?p[VsKRE@BDPb?oSWwJ~ELA~P\wnKVYJjDya{PZWlsUmJRDkatPWookWKJLECAqPXOosU[KPEFAsPaokSU?KRD_BDPW_psWoJBD`BEpU?j[T[IxDVAmpVojKTcI|DWAlPTOjsT{IfDUAmPUoiKTOIzDYAhPZ?hsSkJ\DlAfpR?lKUkI`DiAeotwYsLaErBZ`lPa?VCWWDrAzB@om_ocJsKNA{BAot?n{W?EjBPB@Os?nkWCEdBRA~P\oX{KgJtDw@fP]OXkVSEXDu@dpZoWcKWJhBFAxOqOmCK_JfBDAwpPGgSSMIJDFabPL_nkRcJ|EAA\PLon{W?HvE@A[PKGeKRIHfCtaYPI_hCScHZDHATpQ_dcSgH^CmAcP]oc{QOJxChA}PI?ncVkHJDzARP[?bKU{GpC\Axp[_bcVCGtCZAyPDGakPIGlCVaHpS__sTSGTCFAgpT?`COkIfCHAjO}w^kNqFtB}`~o{W]CMyFdBr`voy_hsMcIXBgAdoz?h{SsFZBjAgOxw[SMUFFBe`qOv?k[LsJHB`Aqov_ksL{JPB_ArpF_`cP{GZC`AFPG_`{QKGbC_AGOno^KNSE@Bu@`o|?VsN[EDB@@{POO_KRwGJCAA]PNo_COKHzD?AAQUo@K?u?V?M_DOBHKw?e?T?L_FOBG@[fo?^?P_GoBwAC@ASO?S_IoCgA[@]?lDJaePRWhsTAI^DIacpQGj{TyIzDZalPVGi{TeIpDQagpTgi[TQIjDbaqPYGkkUYJNDmaspYwlcUiJZ?f_SOIWDSAq@V?l_VOJWDsA}@^?t_XoKGEKBI@h@C_cOPgG[C]AJ@H_dOQwHsCuAX@N_gOSWISDQAfAw`[omgV[JuDxA~`_OogVsKMEBBC`copWWsKaENBI`eOrgX{KmEZBI`dorwXkKyEXBS`gosgY[LUE`BP`hOswYcLUE`BY`jOtwZCLmErCua[pLwf[RaHtCoaXPKweKRUHhBs`yo|g]{NeFpBz`}o}g^cN}F|Ba`poxG[kM]FLB\`mOvgZ{MEF@KhEOrH@bsqSW~KaERRGpdCq[X@KYDyq}@bcn[WzJuELrE@^KpcVhJyELrE`^[pcVxK\D}rF@^{p_V|J[D~QvP^{ngU|JzDnqwP^cm?VzJCdbqpXWskeUPJBd^qnhWCkEUDJmD\Qm@\{jcV`JpD]qn@][jkVdIpEDQj@_sisWPInECqk@`[iwWNI_D[Qg`VciCTrIbD\QhPVkiOTvKKDLRBPRCpCSvKODMRBpQ{owSrIYDsQz@RCmkSxIZDtQzPRKh[VRIUDqqw`QshSVNISDpqd@[shSVHIPDiQs`QSl?S^IODhqb`YKhKUjIGDxQaP\sggV^IJDwQbP][goVbIDdBq`HOsgISFI?ESQ^PccfwXJI@ERq^pdKqWRxHwENq\`bsqKRtHxEOQ\pcKqGRvHrEHQ[pa[fOWhKVCyq\@asfSWjKKCurBPLsowR^KNCwQ[`aKp?RbHfEBQY``[e_WNHkECqYp`SecWPKCCrR?pKKoGRDHbE?R?PKcoSRJH]DgQVPYSe?UhH[DgqtPJ{lKQvH^DfQV@XSdsUVH]DeQW@X{ksQvHTDXQl@JSjSQpIvCjqT`U[jWQrHSDVQj@H{isQ`HPDVqS`UKdKT`I@DRQhpNcicR~IjD?Q^PTSfwTPIbCqQWpSkiORLI_CoqgPKkiGRDHqC{q\`Lsf?RvHyCwq\pL{esRpHHDBqQpOscwSJHID@Q_pHkcoSHFPDRPs`S{igMjFRDSQioysicMhHfC`qPpLce_QHHiCaqQ@LKcWRVHSC`QN`H{b{Q`HPC]qSpGKdGQ@GmcUQIxD{auP`G^DMqG@RkhwPDI^COqfpCchwPFGRDsQD@\KmkOlGTDtQzPBCmoOnJUCEqtp@s`?UpGPDkqBpZ[`GUtGFDXQA@U[jWOVIsCCqlp@cjSOTHHC?P}pHS^oQVF|CeP~`Hs^{QZFuE?R?O}{oGNpFyEAr?o}k^cWHFnbyP{w}C^INbFiClPyPJCdSNXHVBtpz`JKdWNZIGBmqaoz{gsN@IHBpQb?{KggM|JIBjpu@X[\cUXFYDepupX{\oU\IMBePrPQSg{MVFMDGQcoyC[{SbJAB]pmPVsj{L|J?B]PmpW[kCLtKQB^rCowCpOMBFAEIrDowc[KWlEpDbPk@XCY{UNEmDaPk`XKYsUJJwBTpi`]cYoVjJuBRq}OtCn[LREaDjPgPY{YKUpEcDkphPZ[YWUtE[DmPepZkm?L@E\DnPf`Z{mCK~EQbGPbwqcXMKbJaBIpd`[[X_VNEYDqPeP[kX[VLGdCWqL@DSacPlGeCXQHpEka_PfGZCZqF@FC`gPrG\C\QN@BsbkOrFeC?pxp?S_ONPFbC@pxP?s]OOJFDBXpp_ucZ_MRFFBYploxS[_LlQ?CcqQxHScyQXHLcgQSXI[c}QdHScjQTxJKdaQjHYcoqWhK[eURLHccvqZhLkfERdHoc{Q\hNSf]RvHx_MoEWBC@m?x?Y_|o]WNkFqBt@}_~o_GO[GECHAA`Ao`wOsBe@p?y_[oMGFSEUBL@`_qOWwKSDyAx@\_noWGJ[aqPZGmcVqKHD[_}OZGOcGqCh@s[mMXFLbfPsGx{XQK^EObHPcWq\NkfcRthwC|i]`NefaRvhvc}i]XNafQRVhuCuIZXMufSRXhlCyyZ`MyfARLhgCviZxKmf?RKhfcwiZhKyeIRthbC|iWxNeeQRvhdC}IX@NieKR\hbcviX@L}eSRahacwYXHMAdqRth\C|iVXN]d{Rxh]C}iVhNaeGQhhRCoiS`KEdIRBhRcoIT@J}cqRUhKCsYRPLIcuRRhMctYR`LQc{QKhEcfyPpIAcaQahPcbyQ@IEcMQUhCCdYPHH]ccQJhBCcyQ`GicFQ?h@S_YOlGQcERbhqc_I[pGEcGRghrc`YOPMQbuQUhHC^yNhHMbwQSg|CdyNpHUawQ~gmcoIJpKEa}RAgocpIK@KMbuPOg|CSYNhDIb{PRg~cTYN`DQfOPEhrCPIGhMMaQRchrcPy[hCa`{QKhEcNyG@GyaAQNg`ccIGPHEd_OqgYckiUHBMdeOsgZClYExJQcwOnhKcJIRPAucoOmhLcKYRhBAcKOehBcHyP@AacQOhgTcayDPGi`FOcgQsGICTAEfUOZhvCFiBxMi_sRlhscFI\`@u_QQdgDChI@XIY_YQfgECiYT@?a_CRbhrC@I?XMQfMODhsC@y[h?Yd[Nyf{cjH}pIi^uQlhVb|x~@Imd_NchWbxYUO}YdeNffsclX|@JQ]{RnhwBvy]O}AfeN`hyBwy]G}I]EQ`f_cfySW{U]CQ_f_Cfhw`II\}Rjf^CzY\Ozi\yRmhuBmxv`Mee_MkfTcqxt@Kq\QRLhfbjXtPKy\MQjfRCiiToyU\CQkhVbhHsXIudsM\h[bfHrpJq[}Q|h^BgYVWyAfcLrezCzy]?vIfeLthyB\y]GvQYbLNefRShi[tAeaLIhhbRYYosqecLGhiBQxhHLUYAQve_ClxfpJYX}Que]CmHfhJaXSRVeTcuHd`LeX[R[hlBJxdhLmbCOUgpcDyK`@e_oPdgIcXyA`EY^SNWftbuX|_|i^]NZfmbzX|o|q]gPnfic[yLo|Y]ePqgwBtxyPFEaoNKgkbrYJO{yauNOgjBsYIw{}`oNEfbcMXx@Bi]QOzfdcNXxPBq[_KofGbKXqOrI[eKtfIbKxq_rQ[SPIgdbayH_wqaYMLgfbbyHowybgMCfAc\XopFYbqMGgzbaYN?w]\gL}fZB_Hnwz]\iMBf?bmXv?wIZWLxe|BZXnWuyZ]L{ewb]Hm?vuZKN{erb~X~oua^}Lhg?bYy??uiZ?PgeocYXkPEiZEPjeqcZXk`EqYsMUelbeHj_xiYyMVfLbVxjoxe_[LSgFbTYA?tYYmORekcCiAGta\[LAe`bjxg_zA\aLDfXBPxuWsY^_KufwbLxf?~IXqNtfyBMx}Wrib~Pyg}s]yNtFq?L?F_BO@w?{?Y?|?__NoHwDCAe@T?k_ToOWGSBy@~?|__ORWHcCmA\@H_dOmWVCJmDtA|`]OoGVsJ}EFB@``OuGY{LiErBU`lp?G_SOMGBCCaArzH|k}y^^NjftR^hn{wA[DMBf?rQHhKsqYTLLeduabPDgYsHYDlCu`zN\fqrpXyk}u]ZJhfYqwXqkxeUjJXfQq}XvknE\ZH@gYqQYDkdE`JP@cqsMXLlCeQzGTcMp~X?kaUOZFPcypwXNk\eSzI@byqaW|khEMZD@d]pQXWkReTZIpaqpSXXkiEIzCpdypIX\kQEUjJXaEq}WakmEGy}HeAncX`jyeWy}XeIngXcjzEXY{hb}nKX?jreOi|@cMnSXCjseOZGh\}qIVckbDwJGx]EnCXFjpePjL`YelUXokvdiitpeyraUkjUeZYqxdQkqXVjKETirXdaqiU[jLEUYqpeerSUQkrDcZKxXMkiXgktddIpXfykWX~jEe_YppgIk]YBl?DcIohbepsUEk\d`ypPbqp{UHk]daIlheqj[XliveZimPfAraToiweZykpcyqeTbkhDXYkHc}q_TckgdWiiheEiqXdilEWiipeAimXcikEWzLPQqrQSnkrDIzKxRArUSlksDJjNpP}r}S_l?DGZOPQQhEYBl?dGibhfuroSXk{dEibXfmgwXyk}DFiaXgQggYDlCdEIahgYsOSVlBdDjH@OuqQSOiGeQjHXO}gcXKiFERZMPNufwXrh~E\JMhOAfuXvh~e\iz@_QoMVSkCDtZ?X\MmmWDkBDtjEP\EpaVNjeeJZDx\Ip_VOjfEJj@x[]o_VGkGdqZA`[imWWRkHDqzBP[QmCWTj`eDiwh`]mKWWj_eEYvX^ulwV}j]d~yvp_Am?WAj^e?Ytx]ml_VkjudkY}@ZIn]UsjvDkysxbalEWrjQELIshbUpkUgjRELyzHXumyU]jlDfysP\ylAVZjODvI~`VyjqVvj{D]i~HVmnsT|j|d^IupUajMUtitDmYlHZ]jWUyitdmIoPTIkGTNi~dSYo@TAieUBiiD_ZB`S]o}TDkLdPJC@SYiOW\kNDOyjpRqhqTZi\DVYf@Tqj?SzindLyhHREhcTIiYdRieXSmhkTKiYDRYmpQUjiSeiSd]IcxV]jgSiiSD[y`H_ugMWHiEEAy`@_io[SIiDeBIfhOEh{SAi_d?ygPOQgKS~i_D@WM[FQBj@u_{O\xB{aEPHG_cPqGhBc`eOvGYcMqFg~K^YNnFybyp}G|K]iNVFkbvPzWs{YaLREibUPiwscYELDEdbRPgywL[UmLVBj`TpJvpz]|p]xn\Vmzutzu|z]{n]vnJvdz?|T]pNTvkrt|zS|X]sNUvkbttzW|D]]NZvmrr|y?|p]bN[vgRvTx?zL]PMrvbBkTuK{Z]NMqVXRptto|H]dMmviBkLyWy|]hMnvhrkDtc|X]jMjVibi|t_|Z\ZNVvUbttsO{f\DNHVPbqds[{l\HNJvQBqlqo{z[oNKvJRrDxgx\]ZMWvfBd|q?|H[`NQvGrs|qG|L[dNSvHBtDz?wD]pM@vkb_dzSwL]rMBvlB_lnW{|ZvNNu}BsDnc|DZzNPu}bsLmg{z][Lvveb\tmk{p]ZLuUzRrLwgvP]ELqVaB\Lw[vJZeNDvaR[|xCutZ\NFUuBpdlc{Z]OLlvbrZdxWtzYzNJvcbVTxKtxY~NIunbqdis|tYjNZuiButzktXYhN[UibvLiG{R]ILQv`bS\w[tH]JLRvaBStiwzhYnMyukBmtvctdYrMzukRnDwOy^]?MdV_Rh\sw{F]DMeVRRoTuwxL\nMRv[BdDvCxR\rMTv[bdTp[wx[SMNvEbalpWwv[XMMvEBbtr_wP[LM\VMR`LrkwT[JM]vBBfdowvx[NL}v?Ra\p?v|[?MGvCb^|nOyBZoM^U{Rf|nGy@ZtM`vOb]\vgud\zLhutBndlSzzZVM~utbntl?zZZKMsUrRlLkwzTZPMuUrrl\rGuL[rLbuqredrSuP[vLdUqRetjOu|Z^LYuwrVLm?tlZaL[UwRU|k?sxY\L_ufbWTh{uFY`LaugBWdhGslYVLGUeBQLhKsrYTLLudBRTt?sX\PLEuariTtKs\YNMiuabic@I?f?S_IoDwAsKYERBC`aopwXDDYanPWgksUyJT@Q_jOVgJSEYBCsIYFLCearPxgtiItFYflQUhZSuGPCxaDPMw`cRuG\C~aGPOWaSSMGp@|_~PEwNCPUBtCV`?PFwOSPuBXC`_vPGwMCQUBdCf_zPIWMcQmBTCv_sPJWdsEEH`@baYOXWeSE]GD@PaAORWHCNuAdCF_fO~wHSOEGh?d_RPDwbCAeGt?jaNOJwbcAu?dCv_IPLW@cQuH\?NaXODwACRD~PC`^tPGv|cQ\~\ChaQN{v}CQl}xB|^pP?VzsN}GC~`^rP@v{cOT|pCJ^\PBVvcO|}@CP^`PCvvsOeHo}Ha\NavqCSL{XC|^FPOVqSR}CxBd`ROywRsM]D@Bh`vOhW\cIMEPAJ`bOaWXSGuE@AD``ObwWcG]A|A~_iOlWIsJ]ApAx_mOmwJSJu@xBL_^OrwGCLEEl@D_bOswGSLUF`?p`xOKw]cBUFl?v`|OMw^CBe??}v_@NjW?by}?K}p_DNlW@BzL~x?`_LN|WBB~\~|?b_NN}V~S@t}`AP^hOcwQb|UCk~V`KNuWRR|l}HAh`TNpwTb{eD[~J^fOkwUB{uEo}`^POuvssLt|TB^^QOwvtCMD{g}B]}Ndvobxl{K}^^?NeVnrxsfURfHsd@Q_xOcgUSNIEbIpdgrKX]KtEWixt\ImtVUjpTvi\TMYf\RahxSvncVpjxL{]}J^Cq`xPKgMSVILdAqNhO{biSRGudEqMHP[bqSJIAcYqIHM{fqPZI?cTq]HEKfiPfH}cVqRhB{dAOzG_ceqRHC{aIQbHMcQqCHL[`IRZGScvqDhMK`iRjGWcxqSgvkdQL~H[baqUgw[dYMNHWb_peHKKdyKvE[cqpghLKeIK~E_crpbHL[WyRZEOcwpchMkeyKnEScxp\HJ{VYRBHea}qWgnKeaJ~Hca|qSgiKdQIfHUaiqUGi{TiQzHYakpPHNKSYRvDGc}pQhN{gAI^DKczqBGy[[aOJGIbeqBgx{\AONFIcCpwHGK]iQRFccdpwhG[]YQNFgcap|gz[\QNZFUbvpuG}K\yNjF[bxp~GokWYN~Fwb?p}go[WiOFEGc?p[Gu[UaLbEsatplglkVILvEwavpVGt[TyL^D_bQpWgs{UYLZDcbSaoPWgkLhAsbYTlHUdJQ\gisZYJlFubjPeYtLNelRSXjstMYhL\ekRVxistuZLK|eoRLxlSrmZDKxe_RXXfsueWtLreHRZXacu}WlLpeMR\xbCvUWLL`eCRWx`SuUZTKLeGRYX`su]Z\JJezQrXYSvUZXJNdiR[XYCvMYDK^eaRGXgsqMYXKdeSRQXhSq]VTJZdrQwXYsmMUpJdduQvx\CluT|IZd_QfXWSh}UHI`dQQqXWsiMTdJzd]R?X^cjUTtJ~eAQlx_SjeTLKjdSRJXTSq}TXKpdWRLXTsrMS\JndGQ{XQSnMShJtdKQ}XQsn\zy|~^?n_vozwUSfINdKqdXQKh]_pOMgJsCIA|?a_jOIgIsCiA|?q_jN{f_roh~{{Q_BNEg@s@hx\?Q]RN{fSr~ht[yq_BMmg@s@hu\?Q\bM[gFsBHs{xy_bMcgHsAhsL?a\FNyf]r{Huk~I\nNsf[r|hv{~a\vNcfGrxhq[}a[jMUftrzhr[xa^ZNWfAruho{|q[RN]fDrwhpk}A[^MAfjr_Hyk{qZrNMe|rsHn{|IZzPGgisSiJLDAavP]gfsVIHlCianPigasWIFlEI`~Pcg_sPiK|EaaFPsgUsHILlFY`^Oegvs[iDLAibbOogKsFiFL@i`fOag\sGIE|@q`jQOhMsfiQ\IAcjQahJshiR\IQcrPwhAs]iO|GabzQIg~sbiO\GqcBQs?@SiYUo?QdVQw?ASjYVO?Yd]?Eh^Sko?TJqdb