CAT(2512,1)
Sparse6:
:~?fO_?O?G?C?_?N?F_BoB_?c?U?L?C_BO@W?c?U?L?i?P_FgC?AE@C?^_Q?HwCoAa@I?h_Z?DoBS@_?x?X?LoF?Ac@W?v?T?LOKWECBI@d?o_WoNwGKCA@|?|_]OKwEkBQ@f?t_YOE_AK@o?d?Z?HoAo@{?o?`?L?FOC?AK?w?f?N?HORGH[CuAP@I_coAoAc@W?Z?T?EOAoA{?o?r?L?KODwBC@e?R?I_COZ?@C?e?T@r?wO[gMKFcBj@s_xo^oNGFYBs@v_{?]wL{E}B^@k_vOZWLCE]BL@m_uOZWL[EiBRAV@Bo`gOkGUCNAE`COagPKGyC`AN`F?awQ?GuC]AK`D?_gO_GaCEAH`@_bWO_GmCWAA_}O^gNkGEB~A?_moVwJsEABD@`_poXWKcJwAv@[_lOp?IcDYAj@O_fORwIKDMAdBO?kOTwJKLoDdAr`YOkgUcJMDlAv`YolgUkJ]DpAx`\OnGVkJmDpAx`\OnGVkJmEMBC`b?qWWgKaESBC`b?rGWgKmEOBN`c_rWWwKyESBN`e?rgXWKuEcBT`g?swYGLQE_BV`h?uGYGLYD{BT`h_oGY_J}EmBA`k?owYoKED]BB`W_oWU?KIDXAm`Uod?WCJwClA~@Ioe_TKHoDVAZ@TOfOQ{HwCpAX@Noh_SCI_DDAf@OocOS[IOCfAd@HPH?KsEaBNCl?`OPGG[RKAN@D_bPMOHKCiAP@J_eoRGhWEiBV@h_toYWLST[EZBN`fOswYkLQElBW`jo[GMSFEBl@w_zodwRKHaCvAY`MOkWT{JACzA^`NOggSKIACbAR`HOcWQSHMClAS`IodGQsHUKGDza}p^GnsWAJ~EAA{P_OnSWKJrDkavPZWlcUuJ\DrAspYomcUgJdDtApp\okkVWJHD_B?p__kSUCKFE?ApPWOn{U?J|D\anpVgikTYIhD{Agp^Oi[VkIdDnAfpR_mKV?I`DKAsPROksSkJNDbAfPXOiCUOI^DHAnpVOhCSgI|DBAlPO_jcSOIvDYAapP_jcTkINC~AkPOOjKS?InCgAOpIOc[QGHNCiARpIOd[Q_HXCkAVpI_dsQkHZCmAXPJoeKQsH`CrAWpL?eCRSHdCrAZPLOfCROHnDAA[pOof[SOHtDDA]PPofkRwILDHA]PQ_fkRwIPCxAhpMoiKRgIdC~AipT_gKTOI@Bm`vo{G]SNMFbDV@qoxojKMWIpCu@uoyofCR[FXC]AQPG?csP{HJC\AQPEocsQSGxDxALP]_bCV_GrCVAwpD_mCPSJ^CSAePC_hkPKIVCNaGpCGoGOqKCCMb@`BW_GUYGCDga?@Xw_WUeJUCDat@@GmOOYGODsaB`[wmgOeJmCJaz@AgcOLiHEBX`l`GWZwNeFABv`o?}G]_MMFkBc`y_wg^_LuE{Bz`m?}g^gMaF}Bi`~?yXBgBM@j?s_ZOMGE{EMBJ@c_[oMwFSBq@z?}_^oOWGCbkHFC`aPPIgd[QqH`CqaWpLgfCR]H~D@a_PTWicTYBh@t_xo^gNcFuEzB[`nOvw[KMAFDBb`qOxg[{MUFPBh`tOzg]CM}FdBr`wpBwaKPAErBZ`lQ\@LsfAR^HecrqXXKseURNHUClqU@JKd[QtH\ChqV`IkdoQhHQcgqSHIOemRYHOcgaZHHofAR]HNceaZhL?c}RSHMcsaRXLWcqQSHlcdaZHHOeIQWHccdaWxGwd}QQH`ccAWHGccYQJH?c^QNxFkbmPxG|c]QMxGobiPoHCc[aPXEOcEPgHBcXaOhEgcEPkHBcZaOhFwa}PaH?cWANhD_a}P_GmcWaJXDGbYPiGjcTALxEOaqPeGmcYAJXDGbaPUGycTAMXKOZ}L{Hcb]aWxCo`aPOGXcRaDxCg`UOkGbcIAHHAGa]POGRcRACh@waAPCGMcGAGXGw_mQQGLccABHJw[AMCH`co@oWwWdYMIHWbaATxIW[YQiFGci@pwxOdeMQHZbdaUhJ_[qM[H]beaVW{S]MNBFZCPqHOzk\oPHFWblPuWy{\UMlFPbfpsGyc\IMfEyCOPn@CSZkPBEkCMpjPB{`wLVGYBLqF?rK`kKtGYBJpe@BcXWOvG\BHqFoqk`wKhEOCvPc`MCXCR^HgBBqY_pCecKRGGBxqA_}k_cNhGDBwQ@_}S^CONF~Bupzp?K]wO@FiC@Q@?|c]kOFFeBnPx?{C]SM~EpBYPkousZGLjF{BSP~_tS^sLREvBQpmOs{Z_LLEaBrph?|KYKNPEmBMPk?rsY{KzELBNpgOp{WwL@FuBDPb?~CWkNnFxBBP}_oc^kKJ?p_XOKHeGJmDzA{_wO[gMKFYBp@vbnPwGz{]INFF`bPPhGs[rsY@K~E_rN`gSrUXlKse\BKXf_rMXuKqe_A[XMOsIReL@eSBLHdOrYXQKte[BHxcgr]XqKee[b?x_GraWCKvddbMhX_rmUYK{d[qmhV[jYTpIvdYQlXU[jATdIpeVAdXdwhYX_IVeVAchQ_q}SeKoeWacHeOhEXeINdEQbhPkrwSLIGE^rNPO{qsS@IAETq_PdcfwXXKlC~q^Pd[p?WxKQENRCPbkp[W^KLEKRB`asocX@KFEOrA@b{oOWTKKEBR@P`[nkWfJ|EIq~@acqGVpKcD|RGp^KnwVjJuE?Q|p^{pcVdKZDyRE`][m_VRJjDrqx`\SmwVHJlDqqz@[[m?UtJaDmQwPZ[kwUPJIDgQrpXKkSUhJUDbqtPWsl_UFJXDaQtpWSj{UbJ?DhQoPY[n?T|JpD]qzpVcigTZIkDVqipTsiOTNIhDRQhPTCiGSvIbDMqgPRcggU~IJDmqaPZshwSJI_DAQfpO[h_RtIYC}QePN[fORnHuC{q\PNCAu@\?n_}O^gNkfERfHqfbbnhxG{A]OM~fZBpXuw{Y\iNCf_bdxwWxe]CMWfIBoXqo{M[iNAfbbZXlw{e]OLmebBpXgw{YYONCfRBiXt?ym\MMie}BgxnoyUZyMcfMbgHroyI[}M`fBBaXowwi[IMGfGb_hqWwM[cMCe~baxoGwu[?MKfUB]XnWyyZsMlfWb\xn?y}ZkMoexB[xmGvUZ_LsetBmHl_ziZUMxfXBYHkwzQ\eLheqbWxkouIZGL`emBVhjguAYuL^eibbhq?t]YkMNefbShiGtQY_LReeBmxhozu\wLLecbehr_sm[uLIe`bUHjOsUYqLC_ToJGDT??_dOSG@S?QA\@O^zN~GHR~aA[|M]hNTfgRshyL?c_XOJGFSAa@k~g]xN]F}RvP~[~[_^NxGGr}AAC}__LNiGCRyQ?{}k^JNlFrrz@{s}O^^NaFwRwp|s|{^bNrForw@}T?K]rODFls@@zS|W]ZNWFfrtpxs~S]TNuFeR|@x[D]Ap@X_mOUgJ\C_IDDCa`pPwgkSYVXJmduqyh\[meaUPRgecSYH`DIa[PGgfcQYI@CiaIPPgbcSyGpDIa[PDggCPiHxC]aCPLgdcPIH`CMaOO~g_cQYG@Ci`YO~g_cJyG@Ay`SPBgUCPIDXCI_|O_gNsEyBd@u_pOYgKsDYA|@Y`kO{g[CNiExBu`AOrgYcGyCPBQ`qOfg\cIYFPAa`GOogRCKYChBIAJ@F_bOOwGcCIcY?d_QOHgDKA]@PGYcMQExESbQPfGtcZqLgWKKMED@y_{o]wr{YEL@ECbBP`WpKW]KPLpexR[HkKuMZDL]eoRVxgssaYNQ|HZCjIUhIudgQjhSClITPJYdQQthQshyStIIdHQbhKckYRXJMcsQqhVCdiR@JAd]QVhHcfyQhIAcgQ`hMCcyRpHUcyQShEsbyPtHAcdQPhXcaiUHGmdcQKhWCbITpGmd]QIhKcaYRXG]csQGhACdiR@GYcIQVhGCUiQPDqcaPZhBc_YOXGecCQGg~CiyO@Iub}QkhBC^YOhFmcGP{g{CfyNPIEbqQ_gys\yMtFQbdPrhTCYyT@EidQPhhMCXiRpEacyPfgpcgiS`EUdEPcgpChiSxEAbAQdhEcVYPpD}c]P]gjc[IJHFEaoPnguCTIIpEybYPT_NOGGB{AM@D?`eWRJhd{QaHRCfacPQWhSTIIfDP`tozW\cLiEvBXcwq[hM[mYVPJfdpqxX[cluU~J]dLqfXRchaStIXd@q`XOcfQRjHugwS[YL|Eub\Pki^TOIf|RuhvS{i[TMifLR]hlStiXDIYeXQmhgSiiTDGydXQUhQSciRdEYd@P]goSeiJdEyb`PagqSYiGtCyaTPQglSThZdPiVHSQiIQwh\DOYV`SMduTAiODBicPO}hASOiMdAybxOug{SKiCDJI`PQygQSliBdKY_pQ}h_SDiUD?idhOQh[SBiMc~ybxOEg{S?h}DGY^pQIfyS_iXC{ye`NUheRshwdHI]PQUf_SbhudHid@M}hMRmhtDEib`MqfUSZhrdJy\HREfOSohrDMIfPMQfISxiZCwYexMMhiRaiICwIZxPYe{STiHCvIaXLugaRZi_ctYgXL]iCRUiaCuIZPSYiIRXhfdNiYHSAe_S~i]cniVxRqdySzhzcri]pKqfoRLhcc}Y^XKmeSRyhbCsiX@LQeMRRh_CoyW`KEeIRAj^aKXECa}PpGyc[ojWTsIqNrFzb|PbWp{WyK`EQbGrXHksuUYvL[emsmIVLJ]dtQ{h\s}y^LNiflRwhzspiXDK]eFRDhaTwqzT]SmxVcJlttq{|\_nPVXJrTwavdZwnBU|JoTmQztZkm~UyJmtlazTZ_mxUvJlttqud\cljVWJXtmQu\ZklhUyJYtlavdZ_l|UvJ]tpquT[Sl`VEJWtjQxt[{l^UmJgTjAv|[ClTUjJ_Toas|[OlRVBJSThAxDYWmRUdJdTgQx\[slFVKJPTfir|YAkvU\jMTeAyLXgmfUXJhTdQydX[mlUUJitsQqT\KkhVQJHtbqydXCmlUOJitbYptWql}UHj_daypP[AmIUEjbD`ywxWamCUBjaD`YwXWQk?VMj@DsIoH[}j}VIjcD^ixHVujsVJjed^Ix`VmjdTpixtwqlt]Sj`VcIvtYq{tUsnPTkJrtWAzlT{m~T`JnTwakTUOnBTbJoT\AklVWjNTtIrT\qlDUgjrThI{TSQjdTwidTOImtRQjDTWi^TVIfTQqjTSoivTIIktSqg|ScijTGIiTlIulZMllUwjZqfxSChyTDIbdOq\xNKfaRtH{c|tSYiTTAiZTNifTQihdSmiNTHicUVzJteAqxX\klu\B?T_KrjXrK?uYbJDeoqtXjKkuTRKleWqlXVKqUXrITe_qhXRKsuWRH|dCrFXOKpUPjHDc]qFXDkaUXrELecpfXgKXUYbDtb?rXWnKtuWbDlakrFX`KUUIBKdeWpTWhKquFJBt`uorWYkLuVbAte?opX^KJuVRA\dkojX[KIUAbMDfGoXXpKDu@rLt_cr^WGKuu@BMt_WrpWDKzt~bMDfGo@XpJ~t}rLl^sr^V{KvT}BM\^grjVxKyU\a}lf_nnXvJzUMrFlbop~WyK^URBE|cwprXLK[UQREdckplXIKYuHRGDaWqDWfK_t{rCD^OpBVqKNtzrCTaOnbVoKPtzB@l]wo^VlKFUCA|L`GnVWPJtU^rW|kcsBY?LcUpBUTjOuLYrLauqbT\icuXYiLduoRSti_uFZALRuhRUDiKtbYcLVugBTdiGt\Y`LUufRXlh{u^Y]LfUebY\lSsxZSLLudrYDhcudYWLgudBYthSupZVLJUbRV\gotzYJL]UnbPDk?sTY~LCumBOlg[ttYxLBUlROTj[sHYuL@u^BQLhKr|YQK}ubbNTfcs`YNK|v?B]dnWwDZtM?u}b]LnovfZzLxUzr^ln?v~ZmL~Uyr]|movrZlL{V@b\DmgwP[FLsv@B[|oSvL[BLquvrZLm?uvZ`LlUwbZdmOu|ZbLmvFb`Lokx@[^MDVEBaTpgwh[XMHvCRblp?wv[NMMVBBalp[w\[UMEvGRdTqoxF[aMTvHBc|qWxR[dMSOHwDKAa@J?e_QSPYG|CY_|O_gNsFYB\@qdpQxhZsmyVdJiptW{k\uHZC|aYyg\DMcVPrhTsWyR\CMdvObhlsKyX\GM^vQbgLscy@[{MdvRRftrsyX[xM_vMrf|rgy@[xM]vMrftrgxx[rmYvLJedrUxf[umZvMJfDr]xl[lMbvJrglqwyL\AMWVPBeTsKxb\z?OoGwCSAA?~?]j\tmivLZql|U|hDsaiPdFUblPvgyS[yMTiMtJYclOUgjSLfyrxX|k{u]zNTxm{t]XnJveJqtx?{Z]NNHVcRptwg{j]RNEVdBp\w[{Z]HNFVbrpDw[{T]HNDvaBpdwO{f]ENIv`Rqdx?{F]QN?vcRoTvuzx\zm}v]zndwAz|\~m~V^zoDswzp\yMgV]Rh|vgyf\PM{V]RiTvS{B\vN@v\boTwOzd]EMyV`Rm\tc{p]VMjvUBqttO{r]YMjVeriluKzb\nMqvXBmDucz@\jMpVYbkLuWyz\gMnvXrjttgzZ\mMmVUrld}szp\ym{stYY|LYepRYhkuDjBD`]ojWRkIVRjiDs}yb\RmhVXjlDu]zR\jmtVZJltuuz^\pmwWAC?m?h?N_HOBWAs?U?t?H_KO@wAB~}?h?B_HO?W?r~d~x?H^|O@Vzj||}u~\^lnvv~R|\~w~T^kN}VyC?D}d?B^fN~vvb{d|{~L^_Nqvwr{d}C~L^aNqvyR{\}_~D^fNovvr|T}?~X^]NtvvR}t~_}v^[Nzv}RzT|_~v^XN|Vtb}L~G}n^TNwVsb}\|O~j^RNyVsR}D~G}^^ONwv{rxd~S}\^sNevqR}t{k~p^INzvpb~L{_~v^FN|WArw]?s}J_KNaVoC?l{H?N^@OBVfBttxs|^]oNNVnRt\z{|Z]}NUVibvLy_|p]hNZvhRuty[|h]eNYvmrsTzo|H]bN\VkRsDzG|B]rNNwXR{l}Y~H^fnsvyJ|T}q~VT^iotWIk\UIjHYRlGucjP|hAs\]\nNVfJudzY|j]vn[VmZvdzm|t]}n^vnZr|yE|@aBP?W_cOmGDCHaEO}w`sN}G`B|`louWY{LUEfBP`forWX[KuE^BJ`cOFWWcAEEL?^``OwWZsJ}E@B\`\Oyw\cJeDxBh`vOkw]SJ]F`At`UOvWTsL}D`B``TOxw[SI]FHAh`QOxwSCMUFDAb`FOyWQCMmFXAR`xOaW\sGuF`AJ_vPDwLcPMBTCT_sO|W^CEUFl@faDOVw_sEMGP@`_kO}wJcN}AtB|aGOSW`cCuG\@N_hP?W_SD]AhCD`yOPw^CCmFl@H__PCwGcP]ADCT`lOMwYsB}@xBX`gOMWEcLU@lBR`aOGwCsKeEL?d`LO\wRsFmCx@x`IO[WRCFUCl@r`AOKWOsBMCD?n_SO^WOCAuB|?jbhPrGc[PyMbFMaOpFGxkPaMbCYbfpiGfkYqIBEia^pggt{YYLbEqbQp]gvkVqL~Dwb\p[gukVYLrDsbZpZGw{VAMVFGavpXgwKUiMJDgb`pWGokWaJJEEappUgqKTyKjD[bHpbGjKWyIjEIajpRgq{TIKvDObKpfGhKYAIZE]adpPgn{SQKFE?a`pMgd[RaHZCmaZpLGc{RAHJCqaSqBhB[`IO~GOcMqBHAk_iOrGUcCqGG~kaQOBGab~p}h?k^YONFwc@pvg|[]IN^F_bupyG}[^QNJFebwqJGzKayMvGobmqHgy[aiMnGgbiqLhJ[dYPjHWcXqRhHKcYQVHKcaqSHF{dQQFHQc_qMHJkbqRBGycnqWhL{eYRfHccwq]HL[eqRjHgczoqWWkK\s}y`\MmgvSziUSdIFdIQaXQsgmS\IHdDQbXQCg]RtILdGQ^xPsfuSdI@dJQ`XQcgMM^FPbennvwJzt}E~F^apJwd[QuHJChaRqqXXkkmUFJFdaqnHUKkATjI}dXqmhU[jQTrIodZqohRKkYSzJCdLqnHT[kAT^I}dUqhHU{jiTRIed[qqHR{kqTFJIdOoLWFKB]@~?|_\q~h^KnqWFK?d|r@H][oaVjKEdzr?H\koIVbJ}dvqxh_{miWRJgeAqsh[klAVFJ_dfqtHZ[laUzJUdn_MoFWBmHfCtaWpLwf[ReU^JRdgqtXZKl]X\LFeXRQxeCseYDKre_RKXdssUYTKLecRAxgso}XPKteURMXdSr]XDKze^RHxccruYHK\e`RGXgCp}WlKze^REXbSruXhKPeHRMXacr]YpLvemR]xjSveZTLpevR\XlcvMY|LRejRWxicuEYXLdegRYXhsu[?DMMe}r_??sxK?HMOe~r__?cwc?DMEfEr`??swn