CAT(2504,1)
Sparse6:
:~?fG_?O?G?CB_@c?r_X_LGEOBQ@b?p_WoT_DsBA@^@[?YOKwESFOB^@o_vOZgMCE}BE@d_q?XwKOEYBK@g_r_YgKgEeBQ@j_u_YgL?EqB[@j_u_ZwM?EqBE@]_q?VGKODuAs@^_l_WGJGEEAo@c_p?TgIwEMAo@f_j_XWKoDYBO@R_t?TWLGDQAg@j_u_TWIWEqAa@[_h?VgI?Du@u@^_]_WWF_EA@w@^_]_WGFWEEAK@G_a?PwGgCeAK@I_a?QwH_CUAY@H_f_PwHoCa@{@I_e?OGFwCmAA@M_`_RwGOCuAA@Y_`_UWGODm@{?t_Z_OGEoB}@o@O_\?SgFGDE@P?h_TOo_D[Au@XBG?aOPgGkCeAP@F_eoRwHsCIAF@@_loUgJKLKEjBQ@jOsOYcLCE\BO@hos_X{KkE\BL@fos?XcKcEXBG@eoq_X[KSBtBE?}OpoN[JMDhAt`X?pGU?KIDaBB`QOhgSkIcD~Af@_oi?WCJ{DBB@@Poo?SSK_DXBI@ToqOTSKGDZAn@aOooTsLWD@A]@iot?R{HkDxA\@^Of?VkJwCTA{@ConOP[KSB~BE?}opoNsG?DrAz@@Om_OKGKDrAz@Aom_OcH?ChAP@HOboQ[GoCpAM@Koe_PkGWDlAG@[O`oU{FcCl@w@JodOM{FCBj@q?zO[oMcP{@J?f_ROJgECA}@`?m_VpIod?QIHSCbaS`HGdGQ]HSCdaS@Hga{PaGlCQARPC?c{QSGbCaAFPH?`{OsHFC_@oPGO[SP{FBB\AOpFoZsQ?E~C\@lOv?bsLkGxC]@kPFOZKL[GxCIALPB?b[OkGrCFAAPA?_kOcGLB}@|o~O_CNoF~Bq@uO|?\sNKFZBw@vo{O^SNcF`BhA?oyo_[MgGDBe@zoy?]kM[FlCR@ppDO[kPOFH?g_TOIWDCAi@R?j_UoJGD[Au@XDo?gOSWISDUAh@Rat@Vgk?UqI}Djat@WWl_UMJUDaau`XGlwUYJ[Ddau`XwlwUeJ[Dgab@Vgk?S]I}DGaw@Uwj_VIJaD\aj`XwigUeIkDgaq@Sgi_UYJIDRafpSWiCScJBDJAppQ_kSVSHnCxAyPM?m[ROJ`CuAxPLOmKRKJfDtAWpK_mcQmHXClaWPJwdsSoIFDMAapROgcRwIBC~A`PO?fkTcHxDYA\pU?fSAU@N?e_QoHwCsZSDxA}`]onwWKKAEJBF`bO[gM[FEMGE}b^poGt_ZIL[EsbU`kwtwZILaEsbW@kwoOZyKGF?b@`nwtwYeL_EjbW`igt_YYL[EgbU`hwsWZULmEdbQ@lgrcXiKvEzBGpnOq[ZoKdEwBFPm_qCZcK^EJB[PbOvSWoLrEGBYplopSWcLlEzBApnOo{ZoKLDua{P\wnKVmJtD{a~P^Wn{WEK@EVBOPg_rKYCKpE\BIPd_r{XwKjC\aNPFGE{BU@lBg`rOxx@G_IO@G@c@A?x?g_AOGG@bnpwW{C^wMlFWB~p~Oy{^wMfF~Bip~Oyc\?OFGDBhQ@?yK[eMNFGbdPqwxc[sNVFNBupr_|c]_NnFxBtPyO~C]SNhFfBzPx_}k^CNDFcBxpwo}S]wMxFoBnPzozk^gMvFXB}Pu_~[[GMHFBBapp_wKAI@H?bb`pogwKbePvGycWQKhEKbWOXGwCFQLp@k_cPlGJC[QA`E{_[PtGzCCQ@`FKbKPBGtCPqL@CSasPHGeCVqHPDs`wOpGYCOQFpBK`oOjG\CJqEpAsa[OdGhCIQI@A[_{PTGPCUQC@D[QaHTChbOPggsKXuK~E]cCQ@x?se]RPHecmaWxJoeUQ}HccmaWHJweEQ{HaclQVHJ[e?Q\HaCgQWPH{cUQNHEc^aWxGGeUQ?HccraNhF_eaPyHeciATxIodeQiHWccAQxHOcuQQHKcgaOhIWcQQcHBdE_GgCcAM@D?b_QQeOlSUqJVDlavpZg}c^YNjFpbxp{g|s^AN^FjbupzHSOhqS{IcdPafXRwhqS{I`dOAfXRGiaTSIZdSaehRGiUSuIfdLAhhQ{haSlIRDFqdPPshOSZISDGQdPQShKSbHqDPQ[pS[fOTHIODBqaPQKg_SdICDSQi`OsicSJI^D?qgPO[i?SDH}d?Q^xNkfqRvILC{QbpNSgwRrHtDQq\pS{fWTLIICvqb@MCgkRbIICuQb@LsgkRZHhDKQYpQ{egSlJlDHqdXQcZILhErcNQFxCC`uOvG[cBQAH?{eiRVHhd{a~H^WnyVsJ|d{A{H]wnIVkJpdwA{x]OnUVaJsdvayX\gmaV[Jfduayh\_myVUJnd_QohWKlIUhJRd{AqXXWn]USJud|aph^GkaVsJFd`a{xW_nUUIJsduAmx\WjqTsJid]ayXVwmaVMI}d[a~HV?nyTmJ|dYAxHUomYTiJddqAkX[ojMVIIqdoajh[WjAVCIndoaix[WiuVCIkdiauHYwliUkJXdgAvXZWlEU]J[deAvh[?kyUYJ^e_amXVCj]XpKye[rLXesr]XEK~eQbOHc_ryYEKGeCbOX`OsIYAKJe`bBX`_sIXuKDe]B@x_oruWCKzeABNH_WruX{K?e?bOHfwn}W[KneWBCH`wrEXKKqeSBLHcwrMWsK_ePBFHbWqEWmKheKbIxb?qiWgKkeVBDhdgpUWaK]eHbFxaOpuSVIKdDQdhRCh]YILrewbPhg_vIZXLletr[@j{uCZ\LnEoRVHjstuY]LqexbRXhovEYMLmevbQXm?saYqLdelbXxjOuYZOLUetBUHlGt]YeLaeqBTXi_uMY_LIehBRHiGsmVBJbdpQxH[smUVNJhdsQyh\cmmZhLtezRepp{xC[zMOFMRbPrSx_[\MKFKrc`pKxK[TMSFDr``qkw_[nMFFJR`Xo[wQ[AMXf@Beho?xa[cL|fHb^xnoxQZsMTe}BdxnWxY[yLxfLb\xr_vaXvK|e]RNxgCry\tMzf[rkxukzQ\SN@f^bjHw?ym\wMff^BiXvgya\KM{f^BhXvgyQ\}M`f_bgxw?yI[{MofXBgHuGx}\kMlfZbjxv?yy]CNPfhbpHyO{M]gNMfjBsHyg{}]QNXfdBuHx?|]]UNDfbbrXx_{Y^?NYfpBvH{G|m]yNbfnbxXzo}QBh@u_yo\wNCFeBf@p_xPKWe[RIMtFZbkppgwc[UMBFBb`QNxGCcEPzG{c^QsHX{lEUXJMderPXgcsYYNLHecRfhsCx}\\MnfUsDaAD@__dOVGGsBQA\@S_^OSGFSAq@|?g_\OKGEsCA?|?c_dOPGCSBA?d?g_LOJGAs?q?|?c_BOAGCR~a?d??_LN~GAr~`~[~{^zO?F}S?p~T?C^rOAF{R|P~K~[^tNuF{R{`~k~O^xNrF|r|`}K~[^^NtFwR{p|s~O^ZNkFxRz`}C}o^bNlFvsD`{s}__nOWFrryQA\@S^VOSFtSR?As@a?n?X_LOEyJ?@q?|?\gn?FwCCAEAT@K_doNgGCB}@l?v_YozG\sMuK\EObFqBxAK`AORGJcDQ[hMcfMRpHyc{rBhaCo}WfKPeHR^Xn{vyZnLxe{Rohwc{M]JNFfbS`QPDG[cTQEHCs_aP\GscHQBHES`aODG[cBQDG~s_aNdGOb|QBG}s]QODFkcBPyG~s^AMtF[b|PwG}s]QM\FkbjPyGyS[AMtF_bdPvGwsZQMDEwbbPnGxSZQLTEob^PmGtsXqM\EcbhPgGysXALLEWbNPdGsSWQLTEKbVPkGpSWQKdEKbLPaGqsViKDD}b@P]gnsEQJ\@gaxOZGmsPaP\GsaPPFHESOqPDCScTPCHCsOAJDCGatP@GksUaFtDc`~PWG]sTqFdBkajPUG\SMQITB[ahOwGhsLQIlDW`lPVGYSRqELDC`fPOGXSJaITA{ahOoGhsIqHdAsa\OkGesRqDDAgabPOGSsRAClCs`LPMGRsGaJ\AOazObGmSQqCDACaRO^GdSFAHLCk_|O\GdS|?@c?i?V?L_FoBi_?@A?d?PiB?CwAk@QgPSEiBt@i`DO]c_SDhFD?yPxOQdqRmhwCmiV@M}duRmhwCnYV`M}g?Qti@Cly_HJYdcS?hYD?iUXOEd]R|hWc~yU@Nyf{Qkh}cjYTpN}dQRyh}Cii^XImdKRyh}CiI^XI]dERvhQC}YShNafgQ_hzCgi]hIEcyRvhNc}YRpNacsRshMC|iRXNUfaQVhKc{yR@NIcgSDi@cdiQhOQfaQPhxccy]PHIfQRahtCxI\@MMfIR^hrcwY[pMAewRXhlcviZPLueeRUhicuIY`L]ecRIhgCrIYHKmeMRLhfcqYX@KyfUR@hucoy\`KIeGQ}hbCoIWhJ}is?V_KODgAs@a?n?X_LoEgBK@i?vTk?NOFWBc@q?|?\hvS{I\|UwjdTsIutZAm\U{jdTsIwt[Am\UWixTZIsTUak|UWizT^IrtValDUkjDThIoTYakLUkjHThIptYaklPIghSRiItDyatSwj^TOIwtRqmDSkjZTkIetRAltS_jFTIIqtQQkdSSizT^IbtVagtU?iDT`IaTWag\R{ixT@IltOAjTOcipSIIjtAqjLT[gXTXIFTUA`lTChxTRI^TNQiTRKhrStI\tLAfTRWh`SqI[TLqeLQ[hTShIUTIAd\QChZSbIVtGadtQOgvS\IRTFAclPwgpS_ILTFqbLTOg`SPIjTTQ`{?u?^?M_EoBw@s?i?X?J_EOAg@\[{?`?Q_GoCGAS@EinTXikSQYH\CiadPSghsTYI|DYavP\gmTrqyl\[mbVOJjTsqyt\GmjVVJiTnQxLZ{mVU}JdTqQwD[GmVV@JdTrAw\[wmHVLJatrQxD[wmLVKJbtma{L]GlxVbJ\tlqyTZcmhUwJhtrqudZWmbVOJYtpauL[_lfVFJXTjawD[Gl`V@JVtiqvlYsl~UkJ^TpQtT[OlPVBJStuAsl\glNVXJRTgIsLX}lDUcjPtuArd\gk|VXJMteQ{L]KkvVaJLTdaz\X_mzUVJmTvaq\]?khUTJntuqqTX?mzV[JGtbQz|W{n@UMJnT]ynlVqj|U?i~t_yoTWEkLUCjAtaamlWojnUJIzT]Ao|VgkRTxJCS{Y]\NIftR{h|s~i^lN}gFSDiAUOQ}t^_qFXAJzuArFDbgoZWKK[uAbG\_cqDWGK_u@RFDbgoNWEK[uMr?T_OpzWBK]UNa~|c?oBW~K?UMq~dbsn|W{J}t}rFt^gq@VxK^tyi|d]mnZVnjvT{i}L^AnhVtjxuLRC\aSpnWcKZUKbCDbKpDWsKOuKBB|bCozWnKNUEbDL`opVWZKTUDrDl`_p\WXKUUHbAda_olWfKItxBAL]WofVdKHUBq{|`?nRWMJsU\BGdcWrlXDKyu[RL\fKrZXqKuUYBLtegr`XhKvu^RJLdkr~X}KlUTbNTfoqpXVK|uSrKle[qjXeKiUSBJ|dGrBXPKoUVBHldwq^X\KfUQbKdcorDXJKpuPrM|ccrrXGK{UgOB{AE@@?`_OOFyVDJidrQzh]snIo|WekPUIjDtbJTPjAtWYplTekjTHiut]YflSEjjTPiQtWYelTehZSHi]tOYblSegjRpiEt?YblNegjRpiYt?YdlNehJThgYsOYnlBejjOXjAsIYqlAEkZOHhisCYWl?EeZQhhmsyYVlJEfJQPgqsgYMlHebZPHg}sUYPlDEcJ[?@M?j?S_HoDWAdUYjPTfitTYylLOigVSHiETBi`lbApbWnkUUJjDlaepVWikRUIJC|_}o`WMkGuCzAToCv^[BLwv?b]Dmwv~[?LuUzR^tmgvlZjLzu|R\LmgvdZjLxuyR]dnkvLZ|LsU~B[|n_vLZyLru}R\DmKv^ZdLwuxB]Dm?vXZaLvUwR\lm?uzZ^LpUwRZtmKuzZ^LquxBZtjKunYsLkUlRZLlOv|[?LjUtR^|oCub[BLhv?bYTkwvvZOL}urr^dnSuVZvLeu|bXdn_uPZIL|UqR^LkSvdZFLyUpb]\kQuFZAl_unzWDlgtxY}LmUurVll[trZXL\uuBVTjWuxYwLlulrZTtGmRVJjdTrIxt[urJXfkrUWjKdeMq~X`koUVJJtduyy\UmlfTzj`tUys\TmkfTzj@tYyc\`mpfTJiXuIyc\]miFWJiXt}x_\[mVFVZdxtmzA[jmpfJZd`uIy{[gmoFIjjxqeyo[dmlFHzjHqYw~[`mOVFJbtpuy][XmgfEzi@piwk\KmfFEJhhp]yQ[RmdFDZa`smw_\HmHFQzaHsiwY\FmFfQJ`psYyM[ImEFQJ`XsYya[HmffAJi@o]wG\KmfF@jhhoUxu[|m]FNzfPryxm\?m`FMZf@sEyE[smafLjg`rUxC[pmQFKzcXrI|W]\nNvfjrdxi{v]hMuvZrt\uw|T]hMtVirldygzV]eMsviBlDy[zN\cNRVXRtDy[zL\pNHV[bq\v?{b]_NFVbrsTx?|B]GNPvhRpTwc|H\~N@V`BoLw?{F]DM}V`rntwWzz\xNIV]rqlvg{l\uNJv]BrLv[{p\rNDv\RplvO{XZVlkuuJZdlmut^IneVqzw|{e}P^UNaVuBwl{W}n^@Nkvorz\{G}t]pNlVkBz\|c|^^UNUVuBtt|[|Z]zN^VnRwDzo|~^LN[VrrvT{w|r^RNYvtRu||O|l]qNgVsbud|C|f\FmcVPjhLsmyT\KmfVRZh|tEy`^[O?Vvc?T|t?B_?Nzw?b~M?C~p^|NyV~r}t~w~j_CNwv{s?\~H?J^mN|v{B~d}{~t^jnuvzJ|T}e~P^yNqvxb~d}[~v^|NpV~r{d~w~F^^O@vwS?l}@?H]enSVhztLym|T_EoCW@{C]AF@D_SORWHCAU@L@J_cOFwHcAMAT?`_KORwIS@u?t@P_HORwIS@]?h@P_WOLwEcBm@d?x_]OIwGCA}@|?l_iO[wJCF]Al@t_~OZWOSFEC@@n_oO]WKcFuBD@z_sOVwLSDuAt@f`JOcWQcHmCpAR`AOawPCG}CLALY^lOUfjfTrqxv[wm[vLzt|zE|`]knVVj[BE@j?r_ToJwDkKAEZBC`googX{KiD~BE`\oqGVkKQDjB?`[oogU{IyDvAq`^okGVkIiDjAw`SojGU{IyDRAk`XoigUKKYCzBG`NoqgSKKqDFBO`RorgSkOw?]?R?GlmuvzZtv}{B]?m}V^jnl|q}|^\noVwZz}Aj@X_joUwJ{DuH\CzaWPNWfCQuHdCfaZPIwecQeH@CfaQPIwcSQeGtCpaNPJWdsPuH@CTaKPHWcSP]GtCTaKPFwbcP]GDBT`jP@w_cLMHdB|aZP?WecN}FtC|`zPMwfCNeF`CN`yPCw]SPEGdBj`vPCW\cO}GXBdaCOyW`SM]GDB^aBOww_cMEEpCJ`lPBWZcOeK{?H?E_AwjcX}I|E`aoPgwrsT]ItEbbOPUWrcTUI`EXahPewhSXMI\EVaePdWgcXMIPEVabPdWrcR}I@EXa`PewosVmKTD~bCP^WnCWUJlEBayP_WpcU}JdEPawPbwksUeJDDlaqPYo@w@K?a?N?H_CW}S]ANZFcbwpwg|{]YNZFibwpyG|{\ANVFebhprg|K[qNFFGbqpqg{K\YMNFAbkptGwkZqMvF]b_pngzkZQLNEqbQpiGuKZYLVEybVpmGtg?c?Y?J?C_BO@[bQGJCFa@pAW`kOmPDGpcRQKxCca}PPGpcUQKxDSa}OTGzcFQNx@cbuPPG\cOQJXDS`}PLGZcQQDxCS`eO`Gtc[QDXEs`MOPGtc[Q@xEs_UPxG@c^Q?xFS^}NfFvbyp~W~K^mKfEVbIpeWrkXmQ`IDceQ`xHsgMRxH^cpQ_XNseEQtIFd@QVXJCgURxHRd?QTxNsdUQFHDc_qPxH[ceRpHjc|QZxLcf]RHHpcsQ[xKsfUT\IJdWQbXTcgeTLIZdTQfxTChuShIbdQQdxRCiES\IrdHQlxQCjUUHIxd]QqXVSk]T|JJd_QrXWSk}NZFpbvq]XN[f]RbHtcxqyHZkmqVBJidnqvH[[mYVBJ]dqqsh[[mYUjJOdqqyHY{mqUvJidkrBHE[bEP^IfdSqixSKiUTFKWeErFHaKpiW^KSeGrDh`kpIW^JmeCr@h][nAWVKQe?rDh_kpQWFKWd|q~hbknqWvKGdyr@h^KoiVnLGeSROxgsqUYHKfeaRFxgSqMYLK`eZRNXgCrmX|KxeTRKXdsrUXXKrelRQXjssuYxLJejRSXics}YpLReCrAx_{uqZBLoeprZhkkuyZNLiewrZHlKsMYNLD?@R[hn{wG?LLtf??@Hmw?QZpL~f@??hnkw??LLz