CAT(2520,1)
Sparse6:
:~?fW_?O?G?C@K?`?Q_GoEOA[@U?h?^?NOFWBcAE@@?^_S?HWCsA]@a?g_TOIWEwAm@X?l_VOJwECBE@f?q_`_GgCcAM@`?m_VoTOH[CeAT@E_cOPwGoCeAO@J_b_QgGSCEA@@A?coQ_GCCCAV@B_aoPGFCBe@n?y_]OMwGgB}AE?}_a?NWEcBY@j@u?KODwAs@e?v?Y__oOgGCHOBx@}_}o^WNsFqBl@w_zo]WN[FiBv@x_|O\WM[FQBj@s_xoRwIKDAAh@R_hOZOMsF_B^@m?zoYgLcEmBH@e_qoUgJKDaAj@V_jOW_K{EcBB@b?sO[?J{FGB@@p?nOR?JcCsAz@M?lovo@k?y?^?N_EoBgAc@U?f?]_MoFGBk@y?x?f_QoHgD[Au@X?n_VOKGH{DEA`@R_iOSgKcEYBJCTA?p?g_COIGBC?a@p@W_cO]GPCEaCpAw`SOuG\CKaC`BG`OOyGUCL`|o}g^cNQFlBt`~_|W^oNYFyBs`xO{W][MuFXBj`tozG\kMgGLCG@sp@o\CM[F\Bn@qox_]CLqEzB]`nOvWZcLaElBV`louWZSLKGJBTA@ot?_cO[ErBZACOu__sL?G\BQAEOsO`kKwF`Bm@forO\{MMFHBa`w_vw]WMEFcB_`h_qwXOLUEgBK`e?wgXOMMEUBc`GObgP{HECdAR`DobWPcN[CTAG@{oaO^CM[CJBe@Bo`_[kGKElAC@jou?OSKSE`BE@hOsOWcMCEBB_@`ovoWSJwGHB?AAono_[JuDxAz`{_mW^?JaDsBv`Y_}g^_J]DkBz`X?rgUWKuDgBN`W@?gUGOAD]C@`ROiGS{K[DFAd@coh?XCOgDDCH@OPAoSKNsC|B~@Mo~_R{McCpBg@JoeO\SK[ClBH@IOq?QkIgD\Ah@UOioTkHgC@A[?~oeoOKZg?X?I_DoBG@[?iENBG`coqgX[KqEfBS`iovgZcLuEpBU`jouwZSLe?b?Q_GODgA{@a?l?W_JoEWB[@i@~?|_^OLGEsBU@j?u_YO^wOKGACDAB`AOagPKGaC`AN`FOcWQ[HIDzAz`]OiWTSImDXAm`UohWS[IQCzA^`NOegRcHmChAT`JOdwRKHaOuGVcJqDxAk`YOhGFcBQ@W~{_AOBFxb|p}g~_^YNyFwb~@|w}c^MNjGPByqCo}[`GNhFoCEp{`@[^COXF{BtP~_|c^sNVFdCBq@_{s]OOJF_bnpvg{?]uN]F]bv@vwzK\aMtFNbgpsGx_]uM[Fnbe`zgx[[eMTFIC?p~ox[[cO@FFbcPphAO[aMKGRcG`pwwW^aMIFvba@|gyg[AMAFVb`@tgvCZeLnGOBZQC?uc`?LjEwCIPlpAkZcOlErCEpk`@cZCOVGGBWqA_u[_cLdGCBVpj`?SZ?OFF[BTpjOz[YoMzFBBSPpOtS[OLRFABSPi_wCYcMBGHB]qA_v{__L|EyBopwov[ZoNDEyBZPn?ukZkLhCUaJpDW|OPiGqFkaK@ywsSYQLFFLBNpgOxsY?MXFOBMPsOrs[{KzEZB^pe_vkXcL|ENbFPbW{wWiKWFhbD`yHAGW]OeEHcH@aGo?`YOiD~cI@^gn[VuJxF[A|P]?zk\kJrGAAyQ@?mSVKOFDoBopwomKU{NDDjatPYWl_]UNGDmau`xgyWUaMgDfbh@XgkW\IJIFRaq@tGjSTmIxDVBipUOy{T_MlGNAjQBoikTOO^DQahpSWz?PmMsC[aM`uWhsS}I`DFabPPWgSSQIFDHB{p}ohCSgNtDKBVpj_hkSkL`C~BTpjOgKYoI@C]BwPG?}SP{NbCza[pMge[RQHjFfAWpyOeS]_H`ClCFPJp@sQwO\CjaTPJGcKQMHDCfaSpIGogXQKKETbA@cwqoWEKCEWbJ`_wmgTuI}Dvaz@Vgk?R]HkDaao`MGq?QQKaCebH@HWaOY]GgEdaH`hgaGRuH{CNaG@NG?{?e?P?F_CoAH`o?]?R?GeI@jguCY}LPEhbTPmWvCZ]?Z?N_FOGgCcAM@N?d_ROKWE[BIAb@N_gOSgIcDMAX@M_eo[GMSFEBT@k_toXwLKEaA|@__noUWJSDaAl@T_jpEGbSPeGjCUaJpYWl[UiJLDgarpZGlsUuIvD[alPEwbkPqIHDAa`pPgg{SUHrCya\pLWe[RQHXCjaTPGWc[QIHJCeaQPCW`{PAGdCRaIPCgacPM[KLkF@r`Pl[us[HLdEyRXpmsuWZjLpEnr[pkKvGZ@L]EuRV@lktsZVLdEhRSPk{t?ZLLGecrPxo?sIYEMAf?bOXmGsEYELrexBOhfotYX}LWe_BTxg_rmYIK|ebBNHfSraXrLMEZRRpe{rSYZKnEhrK@ikrCYhKlEwRJ`lsu{XXKkEprX@dsqsZDL~ETR^`d[vsXRKbEhrHPikqOYhKdEXRH@ecqKXfL}EORG`nkv{XBM?EORG`oSwCXBL|EMr^pb{vwW|KYEyRF@mspkZjKREprX@aSpCZDKPEnrCpkKpGZ@KME_RC@fso{X~KzEDrBPfkooXxKfECRH``Kq_WTI@EYq_pesgGXnKBEMr@@b{oGW|LKE?R?PhSskV~LIDxrR@]kskVhJjEhQz@iCtCVTKKDsrBP[{m_WVKZDrQxPbcpgVHLyDor^@[[vkVDLCDlrP`ZksSUxLgDgRY`YKk{ZRJMEBqrP_kkoWLLnD`r[@WckSZ\J?Ebqo`hCkCYRIxdZqmHUsjQTjL[DWrVPU[twTdIiElqiPjKtgTPIaEzqgpnKiOZpI[dNQfXQWwQ[IITdIB_xPkg}S\MDDCqa@o[g[[HKhC|q^Pd[qgRxKVC{REPNSp_RrHqcyQ[xf?fAXsHpe[aZxL_taR[LUcubTxLGoURSKEctb@x`oeYROKOcrbBxnOeAZwHae|aWXKWsuY]HdefAXHJgoaQ{KIcnbAXnOdmZuHYcmB^HIwqaXKHXeRaUHIoveQiLvciB]HdwcmXaHLeWARHjGcUQKLZcbbUhl?cQZSHAesaOxFcbuP|LvC\QMpnKbcZpGsEXqLPecbKXdGiEIQIpasaoWjG`EIQGpasaGWjKVCLrEPBkp_OxGYF@R_@BCwCOrJWDwQu`]SlcVbJuDiQ}@Y[n[UdIyD]qnpVcjkT|JzDWQ}`TsncT^IXDnQw@R[hgU~J}DGq~@QSnsS`JIDDQqpP[goURIlDBQj@OcikSJJTCzqtpMslWRjHPDuqS`\sdKV^H}CcQQPOCf{QTH@CfQNpICc?Q^GpDbqK`XCb?ULGuCUqM@D{b[P\GfDJQIPRCa_SnGdDNqH`SKi?PHG^DQqF`S{a?TLQeEErBH`[pEWfKQ_DOBG@[K}E\BL_GOCWAS@}@B?__SOIWDSB]@r?w_\ONGF[F}CBA?`@O`GO[GUCNAE`Ao`gO{GaCTAH`HocWQSGuCXAJ`EoawPcJaDtAx`YolwUsJQDdAr`RoiGSsIADDA`d?q_xOSmuV^JmduQyx\Sm]VRJgdoQvxZsluUvJ[dcqqxXSkqU\JLdbQqHW{kEUDJ?dZqmHVKimTZIkdNqgXSChMSjISdCq`xPCdyQ~H\chqSXIScuQXHJcaqPxGscIQHHBc]qNHFsayPZGncSQHxDKaQPLGdcOqGhC[`mOzG[cNQGHB{`eOtGWieDCqgtPOiNTGIHTAQglOkiJSIIatMQ_lOOhvSBI\TIA_DQcgDSfI?s|y^LNahkRvi[C}YexNafjRuhyS{QgdNKiHRqIaTHA\tN?hLSdHvtGA\TPwfPS^HssxQcLM[hFReIPSxI[TMMgiRaiJcxIapMMe}SohodKYePMAf?RkhoczYZxMmewSuhnDMIZhR]ekSxhkDMyYxRieeRyh}CtY^XLQecRrhgc{iY@NEeSSNiGcrIXXPAeKR~haC~iWhNud{S`iPCoIVxQMggQviHclYaPJYd_RHhWcpyTxKad_R?hWcnyTxJydTQhhTsiIS|IYdDQ_hOsfyRlHydJQbhQShQgLIKiFQcI`Seab\PscxS[HLtBAQtHSg\QSIEtBAQ|H_gZQXIFS~QSTN{d@R}HOsdq\|N?crQWHvSfq\lHsfXQ]HtsvaQdLoclR\HIruQTlIw]nNWHUScAZDG{elQMHjsaiPLGacCTEicC`IOXS]cBP~h?SmQNtJgbxP|H[S]q\TFcfRPyHsTNaM\S?bjS~GyTNQMDRsbdS|GwsZQWLE{eFPmH`SYa`|Ekg`PkIGtNaK|S?bPS~GssXAR\EScxQYGrSWQXlEGe\RNGpsWAfdDwhxP^I]SpQJ\KWazRCGmTFQI\PoahPQILtLAILRSa`SrGfsRAalCwgnPLIJSQQXlCke^PIHfShaGtI_aPQfGbskaFlJK`|QsG^sLqZLLk`rRYG[TIqEdBWhXOtITSIaY\LS`PRSGStKqClRS`NSsGRSDaZLLk_pRYGJtAQA\@SgVOSIDSCAeDRG_dOPIWsAQTLIk_PQiGBtI`~\Qo^xSjF}tN`|lS?^\S~FuSk`{s}_dhQrFrrwA]c}GflN`HytQ@zs|{iLN\IbssPzdL?]vRQFlRtQgK|WiFNSI`TOPyK|KiFNQI`ScPxtHK]^QQFgRrQbK{ogtNJIKSxPxDM[]TReFcsq`wk{[eXRJFbTHpwTQc]FSgFaRnqbC{CgtN?IKrnA^TNo\|RzF]tF`vLQ?\vS^F\ScPvCz[cfMuHHRkqV[zSdzMsH]TH@uCzGhJMpIRSj`t{ywdXMlHUriQUsy_dnMfHYt?`skyWg@S@FQT@`sLO_\FSFFPRfadky?h^M^IVReq_[xsgJM[IASqPrTK[[rRGFKRcadkxOh^MRIVSmpp{xCdzMOH]RbAWKwweFMLH`T@`pLO_[VSFFDRaAVCwWdtQxFBsOqFTCO`vPDG]SJaIlD[``PUGVsFqELAC`fO_GXSAaJD?katOKGksIq?LAo_FOlG@R~qBl??_xN}GNR}Q?k~g_LNwGAR|QP\Gs^nNuHESO@}S~OaDNrG_s`P||G[^bQEFwRyaMtF_^VPvFssG`{\AO^JObFqRia@kyo_^MjGFSEPq{xS_vMUGLO@G?s?U?H?E_Aui??c?Y?JQ`hPSgIQdHYcjQchQsgyQ|HecpQ\hNsfiRTHqcvQPhHscguKZMLdEtbZPlGt[YuLX@r_yo\GD[Au@X@K_fORWqSXEK`E@b@p_ghCSeITDJaepRGbsQAG~Cua[PLwdkQ}H\CNaGpCIH\CeaTO_gOsFyAd@U_fOLgFsBi?\?I_BN}g?R~xskyY\HMTfJrdj`pokv`[LLxVBB]LlSwPZVMDUtb`LlSv~[@LjV?BY|l?uPZNLbupbYLoOtv[BL\V?bVdo[tzY~MAunb_tootn[LL[vArVDmktlYtLuUybUdkctbZJLXUkrXTjWt^YtLVUlBUDi_wTYiMCUiR`LmOtJZdLRUxbS|iKu^YaLguhBYDiktJYkLRUjRS|jom@YzJ^umavthsuTY]LduqRRdkoslZMLKUrRQ|hKtzY}LIunrQdkKs`YQLaupBQLg_t`YHLVU`rT|mCsBZbL@uwbOTf{uXY?Leu^bXtfowJ[FK|u^R_toorn[LKyvArMtfGwHXsM@u[r_Tect@XiLOufrL\n[rDZwKoU|bKLdswJX^MBuVb_td[u|Z_KkuvrJDdOtdYrKjUTRULdGuPXRLbUSRW|bktpYxK[uMbU|bWvxWwL~ULr^lkGpjZ?KYUoRE\aOupWeLlUHRZLaGvfZtKPuGR]dnWo`WNLzuCR^DoGoXWMMAV?r@lmCoRZbKDuwb@T_WvrWGL|u@r^Tn?n~V|LxT~b]L^kufV{LhUtA~T]wu@VoL`TzrWL]SvrVfL|txb^T]GwPVcMDTwr`L\ouFV]LatvRWd\cvZVZLvtub\tmgmfZkJiuyqyd[Cv\VBLvtob\li?lvY`J]ufqvdZ_vNUxLstmb\Dl{lfZ_JYTkbZtY{uvUpLmtkBZdYoupUmLktjRZTYWvNUgLsthr\DYKtXUdLUuiqsdY?tPU`LTUiQsTlkkhUULmtdRZdWstFUJLQTbBSTW_vfUILytaR]dmOjxZeI~UxQnllGjfZSIyt\BY\UGv|TbL}tWR^dT_v~[@IlV?AjLhcsHYZLBUebOl`kopWYKMUERBl`Sp\WnKJuDbDl_KqtX[KAuUr?d]spdWpJuUKA|\]_pTViKUTyRD\c_mlVWKdTtrHL\CqZVQKeTsBH\e[m^VMKsUXaxl[gq\VKKgTqrH|[OrXVEKvTpRLlboljUvK^TlbFlXwr^U\KwU[Qr|YkkxUYJSteqtTX_odUXKITdrA\XCm~URJotca{Dggk\YKJGUaqp|WSsZUFLFt`bPtWKnnVxJAT}AoTVWjrTwI|t\qnTVGrHToKqt[RK\cWj\XFIvuPQllUonlTiJytYq}d_?jNThK@U?QlDa?jLTcKNuFaklV{j@T^J?TVaoLa[ivWhImuIAjdT[nbTUJxtTQ}T[[idTSJctSqxDb{i^X@IguOAiDSsrpTMK|TRBNLScqDTJKaTQbG\iUtNYe`hOsWYCGyC`ANcKqEhBD[qmTVJjatpiwdXuk|U^jOTgisLYMlJUcjMTeyrTXekpUVivTZyllTyj@T^ilTUYjDSmiRTIictQyhUDHAR`JOhwQcIeChAF`JOawPCHMBP@n_uO[wLSFECH@d`?OXwOSEMDT@``VOVWTcD}AT@|_fO]wNsCu@d@v_ZO]WMcBU?tAz_NOmWBcJ]?h@\_KOWWAsD}?HAL_BObw?SHE?@AF^~Oav~cGeCw~L^gOevxsHd|DAX^ROfVscHl{H@|_~NaVosFlzXAv]wOmvlsJdzLAr]tOlWUBudyX@v_{NQVhSFTwdAd]JOiVacI]BOzb_tMxWLbm\ux@d\nOWv[CE]Dcz@`YMnwUBkMC{yV`OMdWSRheD?y@`PM^wRrfuC?xR`AMTWORd]B_x@[aO[vGSE|pDAL[QOcVCsG}DSw\`VMFwTbaD~c~^^yNwv}B}D}d@P_iNtwIR|Tr_}z[yNnvMRzt|P@D^UOQVtSC]@[}B]~OKWDbwD~G|x^sN^V{rvl{k|r]zNevrBvT{_|Z^INVvqRttx_}t]YNmVeRz\xT?H]VOBVdc?lwW{d]GNIV`rq\vt?`\~OHV^cALvh?~\{OOv]sCDvc{D]?Mzv_RnDxszZ]ZMuVfBl\{[zR\iNavpblDw{zL]PMrvcBkluO~l^vMpVWr}ltp?N_HMnWABjl~syv\XN}VUb~\t_|b]qMjVkBi}Aky`_kMgwJRiTst?x_]MfvRcBls[{F]DMcv`BhDsO~X\ENvVPR|lyCyB\ANPvOrsTrk{X[|NFVNBpl}Kxj[vNqvxBetxwxd]_MYVfre\q{zh[pMzVKBmlqs}n[mNkVJBzLq_yj[eMiVHri\qK~@[dNpVHB{M@Kwt_TMMWDBb\ps}\[^NgVFbx|p[|T[XNUVEBt\y[wh[UNSviBamO@GFcDQ@X?S_eN|FXb}Puw~S\]MhGlbhQJwyCamNpFBbyPoW}sZ}LxGVb\QCwvC`ULdF\boPlwzsZULXGpbWQLWtsbML@FDbcPhWsS[]I|EZbNPWwrcUEKLDdasP_wksWUIxDlakPZwjSUmPHDRcSPTxCsTUJxD@aaP_WnsSMJ`CzayPNwmSRuOXCtcGPMX@sR]H\EfaXPiweCYeNDChbrPJW{cQmKPC\bEPGWpSP}MTCVaLPrwbC[uJlCPa|PDWnCPMGTETaFPeW`cX]FpG^cPO~XCCNmFdEN`zPcw]cXEFXCD`wPAW\sO]NPBfbuOyw|SMeF@Fn`pP{W[c^MPlBZc\OvxFCLuIXBT`kPSWYsS}HDBNaROswccLEEPGX`dQFWXc`mEDB~a@OpwWcOEE@DHadOnWgsJ}UpJ^dmQwxZSmEV`JLdyQrxYCnMPxJHc_QqxFsk]TxIxd^QlXVSj]VlIbdQQ}XSsnmVLI\dsQgXRsmURxIZc|QdxNCheU@HrdaQ\xWSfUR`IFcuQaXLsgURLIhctQjXLCimVTH`cqQzxKSmuQtIJdFQVxJcguR|HTd@QUXOCd]Q\JRchQtxIClUS`HHceQdXQScmT\HBdXQPxUCcUVxL@e?ROxfsn}XlKxeXRMxecruYlK`elRGxjCqUYPK^ebRFXgcpmWpKneIRKXasquW\LPeGRSxaStUWPLJeERRx`SsuWDKfeTR@xdCoU[@L\fARWXoSt}ZhLze{R^xmsvuZ\LheuR[xlSvE[LLbfDRXxpCuU[o?AfE_@HrcxE[s?EfF_?hrsxM[k?EfP_@HsCxV