CAT(2322,2)
Sparse6:
:~?cQ_?O?G?C@W?f?T_IOF?BK@m?t?d?NoGWCCAk@G?f_P?HgCWAU@N?e_QoLoDsBA@^?o?SOJ_DSA{@R?j_UoJGH_@q?|?\_n?TwIsDUAl@T_joS?ISDCAh@N?hoSOHKD?AV@N?dOP?ISCSAh@B?hoS_HCCWAh@F?hoRWHcCyAW@U_f?TWIwCuAA@F_c?OGGOCY@h?u_YoKOHSBKAV?q?coNOGCCG@~@@?^ORoFcBgA`?z?goLoG[BcAH?w?ao_gOcGMC@A@_~o^gNkFqBv@x_|OUoM[DsBj@[?yO`OLSG[BXAE?toZOMsF_B^@m?zoX?LKEWBN@d?sOU?KKEKAt@a?ko[?KCFGA~@p?nOiOAs@]?p?[_NOFWJCDeAt@Z_moVGJsEAA~@`_poWgVoJQDfAq`Y?mGVOJMDcAx`VokWUCJ?DnAp@ZOjoUkIYDNAg`S?jWSoIyDMAk`SoiwTSImDTAh`U?gwSgIyDGAl`O_lwUgIID?Au`J?mWQgJaDsAS`HOcwQKGwCnAX@GOboRCHsCVA^@EOf_PkHoCPAZ@DOe_PKNODLAf`SOEWB[@i?r?Z_LOOwGkCQAL@G_boQgH[CeA@@@_`OKgE[BE@n?x_[OcgQKHMGoCRaIPCgacPMGdCUAFpDOaKP[G`CSADPC_`[PKGRCHABPA?`[O[GTC?A@p?O_kOGGHB|ABPA?^{O[F|B{`|O}w]wO}FqCP`{@CG]sNQFjBrAEo{_`sNCGXBrA@o{O_kNGGHB?@vOn_]CJ{F^BgAEOyO`kMgG\B}@qoxo^{MWFzC?@pP?_[[OCFHB_@towO\kL{FXB[@zov_^KLsFpCT@kpDoZSLkGlCU@jpDoZCPSElBT@tot?\kLKFXBF@voqO]CK_F\BC@|o~?WsKSFtBs@_o|OW[NWEDBO@eOs_XSLCEVA{@fOnOX{JkEZD}@vOzw]CNIFfBp_NoGWCCAE@@?^_SOIgDKAi@R?g_kOUgJKDuAv@[_wO[gMKJyE@A~`gOsgYKKiEXBJ`aOpgWkJuDvA{bZ`jguCY}LcEsbX`lguGZUL[E^bW@gGsGY}LCE^bO`hGsWYAKzE[bNPf?t[YoKzElBNPj?rKXkLVElBLPg_qkYKKfEcBIPe?qkXWKhEVBHpbwpsWuLgEIbE@lWpWZYKREFbCP`?tCWWLTEDBSp\Wm{VYJpDya{p^Gn[VuJ_Egaw`iglwYeLODqbT@\GtGVML[DzbW@^WtwVqJ[Etau`lgl_ZQJqEea{@hwsgViKADqb@`\GoOVMJiE@az`_wmoWIJWDhat`ZglOUuJ_Dhat`ZwlOVEGxCZaMpWoqCUSKdDcBGpW_nsU?J~E?AopUot[YsIxEkAlPd_i{X_IrEVAkPeOiKXgIfEZAhPQoqCSsKdDKBGpP_pSWoIJEJAbpO_uSSOLfDBBWpNouKSCLfD?BXPhOfcY[HzC}BRPM_ksRkJNCxAsPK?nsW?HdCpA~pI_ksQoJNCjAsP`oc{QcKRCgBCPbOccW{HLEMAQpGOocQKKLCaBApFgcCP}I_D]an`RghwTuHkCYa[@EGewPeHeDGad@LWhGRQIkCmai`Jwi_QuQ_DeasPXwmcVIJfDtazp\gnKVaJt?R_IoDGC[AQ@D?b_QOGgESBM@b?s_ZOLWFsB}@zAN`GObgP[GuCXAG`DOaWb[PuGxCtaYPKwdsQuH^IHDAA`xOggYSOIBd?A\xOOfeSAHwcyA[HMoeyRiHnctaZhLgfARWHnczaWhN?eQREHxcoAXXKweEQ}Hed?AUhOOdmSAHXdCATXIWgYQgIFchaWHIgeEQgH^dAARhOgc}SEHLc}aQhNwcqR{HJcba]hHGfqQOHzc\a[XMWbuRcG{c}aMHNwbiR{GxcXAThE_daPeHVcyaIhDGfYRgGjcRAPxD?cePMHGcpAHHCgeQREGbcMaXXKw`}O{HecJa[XMW`eRcGWcbADHAgcQOkHDcbACXAWcQOcHDcDa^H@_fiOYHzcCAQh@OcqOQHJcAaYHLG_]OKHic@A`h?_gaOEIFb|AZW~WeqNqHjcm@{xJo^UQyFsbwp{G}S]wQxFnCnQVO|k]]NRFgbtpzG|Sg?M|IABnq_O{C]SQlFeCkPx@I{\oQ`HQBlqSOzk\[Q`HQBiqSOyse_M^HiBgqYOyC[WSFFGDApppOc[SQvFCCkpopJSZ{Q^E}CepnPHsZqLvEycOAOXCOcMPAHAcLaJhB_aqOsGlc^ABhA?cAO]G~bzaJxEG^aP_Fubk@~GzO^yMqF|bh@~wy__EMeG?cY`rGxob]MYGubZ`qWvG[mLoFIb_@wWwO]MMAFaeT_nWVcJmLnEwb[q?h?c_MM~F]boPwW{[]INHFebqpugzK\aMfFSbhRQPe{raXrKueYRLXeKrMXdKmeWRJxdOsEXOLAeSbOHcgruXMK~eRBNhgWi}YIIleaAjhaoqqXYKWeJbIx`gruW]K~eFBNh`?sAWQLAeBbOXfOnmXwJ|e\a~H^OqqXYJwd{bIxcgnIXMJreRA|H]?qaVaKhdvbIh\_sYV[LGdubPx[WsYVILGdqBPxgWlyYIJ^eaAvXYwrEUqKrdkBKhX{lAU\KbDaRH@WSqGUFI~EPrG`WKk?XHIxd\qmhUgp}TeK`dYBGHTciiTVIgdSqhxfOiEXuIae]AgxS?qES}K^dNBGHdohmX_I[eVafXR?rQSsKtdKbLhQgsYSmLGdJBPxgWg}YIIPeaAcHPGr]XqIIe[Aax__nyWKK?eAa~xYomIVAJSdiawHbGlEWuJReLAshXWliUYJ[deAuxb_kaUSK]eMaqXWwoiWWJDdbBAxaWjqWgI}d]bDXUopAToKQdZbCXU?nUVmIqdzAkXS_meVUIedQayhQWoESgKBe@AchP_maS[JfdEaxhyWVmJzD{_IOCwAkBQ@j?uaKPEgbK|e]vNYfjRtxzC{}]ZNMfgRsXyS|K]TNTFeRt@x[{[]xN]FcrvPxC|W]LNWFaRtpwkzS]rMvFlRl`z[xO]xN]FJRvPqk|?ZrNQE|r]`yKvW]\NNE{RrPm{vEZdLoevrZXls|KZTNTEuRt@l[tiYrLWeirTxistk[zL[FNrf`jkx[[tM[FKreprCxG\pMRF[rcPvSx?\VMhFFri`pswo\vM|FErn@p[w_]BMHF`ra`wS{?[HM}F@rnpoSzG[@MsF?rkpn{wSZxMFE~R``nkyWZfMgEyrhpmcuO\FLeFQrXPscy?ZDMaEprgPkKtGY|LSEnrSpkCtCZRLNErrS@lCsw\XMmEeRjPhksc\^MpEdrQ`uCcQQLHDceqRxHsbUPnGub`ppGwktIYfLSefrSXiCsuY\LKecrQxhTEca[ONggCCYHx@AaIO{gbcNiGpBu`qPGg\cQiFPCe`kPAg[CPIExCM`iP@g_CKyE`B}`SPJgeCJIDXCuaCOcgaCHiGXAU`?P@gNcNyG@@y_qPIgLCQIB@Ce_kPDgJcPyAhCY^[PPfwCSx|xDI^UPSgjBzX|`DUakNdgiBxx{pDU^QPRfsCSX|PDIa[NaggBxIHw}MaUN^gebwYH_}A`AOKgPCBi@hAM_SOZgDcFY@H@q`YOBgVc@YDp?Q_COog?CKY?HBI_cN|gIB~x~p@M^sOff}CIH~XAe^gOEfzC@x}h?a^mNpfxb}X~?~I?Z?N_FOCgAK@A?Z?N_FOCgAC@EXBK_eNrGxccqIWDKBe?qxh\Cm]^JNffrRyH|S}e^DNcfprvx{K}Ae]RKhgcriY@KuecRIhiCqyYXKednQxh[SmiVdJmeIPhgtCoyW`EmdGQ~h]cgiSXJyc}R?hOcoiS@KEeOQ]hbcfIWpHucqRBhaceyW`HiduQUhKCnIVPH]dqQRhIclyQ`JadyQIh^cbIVpGmcMR?hCcoiP@KEcGRQhBCtIOhLMe]Q@h@csYOPLAdkQ?hYC^yNpJUdeP|hWc]yUPFqbqREg|CqIN@K]b_QrgvckiUHFEbWQuguclILpJUbKRKgrcriL@KubERJgqcqiK`Ked[QghWCiiTxIedIQjhRcjYSpIqc]PtgzcbYPpFYc_PqhGc\IQPFMaqP[gjcUyJ@DibCP\gncWIKHDy]ZNNffRshyC|EQRHGcbqRHHScmFVBk`uoDgBC@]Bv@y_{ovw[KMAEfBT`iRcXq[xI[\MOfFraHpSwe[BM?e~sWyKlEQbLPggrtPAf\RsiJTEI]TMag|SchrTGI[TLQhtR[i^SuIetRAe|SghlStIdtKqhLS_hhSqIbtLAgDRKh|SqI^tPAeDQ{iLTDIWtOqeDSChbTAIVtSq[LTSfFTSHpTGAfDQGhtS`I[tFQfdRsg~S]I\tAAiDOgibSHIhTOQ_lO[iFSEI`TNa_TR{gFT?IAS~qhlO?i\S@Ifs~AhTNwiXR|IdtJA\lQwf^SlHvTIq\\QcfXSiHtTSq[|TSfRTSHsTSA[dMSibReIhSvQddLohZRZIVTIq[DQge|ShHnsuIZTLeejRVhjTIAatPOhLSfIItCacdPKhJSPIPtBabTPog`SNILtAqa|OsgrSKIKS{q^LNSftRzHyS{A]tNGfpRpHztl_@S?q?V?L_FOBwAC@I?bKdeRrHhdKqiXPDhatpYglsUqJZDpawPZx[[mUVHJ\dnqvi@d?y_ZOIgDsAY?d?U_FO?g@S?YZ\LuexR]hoSvy|`]QnJVbjqDyY{h]mnEVijoTwi{L]GnPVeJoTxq{L\CmhVRJjTsayl\[m\VXJgTuAx|[Sm|VFJntpazl\gmNVEJmTpQz\[GmrVVJaTuAw\[OmRVAJcToqxT\Ol~V@JjTtQwD[om@V@Jetnqx\Ysm\VNJVtjayDYomdVRJTTiqyLYGlvUbJ\TgQvLZwk~U_J]TnQrtXYknUTjHTdIq\W{mVVLJGtrAqDWwmTULJctbAxDWgm~UJJmtvapL\gkLV[JCTuqo|WSnVUCJtT_q|LWGnNU?JsT_Q{tVSnRTuJtT\A|\]_jfVeIwtxqmTZ[jVUwIutlaldUclfTiJYtlAlDZ_jJUvIrtlaktUKlbUoIqTWauTT{l`T`JWtWAuTZKixT]JYtlAjlZcivUzIktmajTT_l|TUJ]tTqvdUwlNToJStZqtDX_jzT~JLTeQntVgkvT{JMt]qrdV_lHTxJRT\qsleO?N?G_CsTyJLDaaxPZglSVYJ|Dyb@PagosXIKlEMbLPggru[JMLfIrVXikuUCRLl`?r\WQKvuXrDlecpVXgKUUIBLlacr^WiKvUEZBT`monWWkJUXrA\ecojXgKIUXb@|_wrJXcKEuWR@T_krFXaKEU@rKdeWoRWGKqu@bJt_Or@WDKnuVb?L_Kq~X_K@UWQ~|_?rFV}KpU\Q~l^krhXrJ}T}BM|^grpVxKzUYa}leonnXjJzU\a}\^GrpXvJyTzrMDfGnbXpJwTzbM\]srjXsJuUQRHdckqZXIKfUSRHDd?qLXFKfuPRJDcOqtXBKkuNbIlb{qnW|KjUTBFDdKprXQKZuUrEddsplX[KYuMbELbkpfW{KXUOBDtb?qDWnK_uHRB|a[pBWeKOUFRCTaOo|W[KPoAg@c?m?T?K_DutbVDl_ttZVL[ulrY\lStjZSLZUkjUdjMt\YllUU^RY\foujZSK~UtbNLl[rvZWK|U_BWdgCuLX~LaunbT|k?tbY~LWUiRV\iktzYiL]UgRSliGtHY_LPufRSthwtNYgLNusBRTlCsxYZLhUdBXlhWu^YTLfUoRPtkKs`ZALFubRW|gouPZHLDuaBXTgguXYHLdu`RQLg[sfYQLBUdrOThcsHYWL@vDO@C?]?R?H_BoAIuTZEl`UtjYTkyI|DeapP\gnsVir\XqkzUWjLTeZchpQxK[QmQFCzcXpExA[OmPFBzb@pEwq[OmFfEjaPpUwk[SmJfCzd`mqvY[jltfIj_pqAwO[]mBfFz_`pqwE[\mAfEz_Pqaw?[hm?fHzcXnuxCZ~mOe~jc`nixKZ{mQe}z]xpavq[Yl{FEZ]`pUvk[VlyfDj]Hpyvc[_lxfFz\ppmv_[\lvfFJ\LmavTZflquxjdHluxOZ]mRevJZHqixWZZllFIz``mMwYZclpFBjZxomvA[HloFAjl`dyr@X^kouWzKT`}pBW_kMUFjBl^InhVrjuTzi|lrczj[zMzVMbm|uwzP\fMuVXblluKzb\nMqvXBmDvkz@\{Mov^RkTtszp\yMnv]Rjtswzj\OMzVRrm|vGyV\LMyV[rhdu{yP\pMdV[BhLsSzX\mMbvPbllsOzf\BMyVObmTucx~\jM_vYbgDrszV[}MtVNBlLraxn[umYvKzedrCzp\yMXV]ReDqszv[nM}vJbndtoyl\ZMiVUbilt_yb\RMjvURiTz[atP[glsWIKLEIsVYLlEUaJPLgi|x]yn\vlzvLza}?]?m~Fojnx{E|a]|nXfnzuPzy}?]mnWFojwHy}|V]lnUViJtTye|y]XnLfnjrPz}{a]xnHFmJq@z]|u]LnFfnJppzi{G]snBFljohzU|g]@nZF_zuhwI{k]anKFhJqxyM|M]SnQfdZspxM{w]InNFbJrhwm{M]^nCfgZp@yAvDZclpuvz[LmA}S^undf}JxH~]~U^untF}J|`~]~M^rnsf|Z|@~Q~i^YnyFuJ}X|e}}^enoFxJzp}U~A^Znmfwzz`}I}e^OniFrzyH|I}k^MnifrZx`|]}K^mnbfzZx@}}~c^DnaF{JwX~EzR\jmtU^JNtfurrXzk|VUjjdtmyn\XmkVtzyl|Y}d^SnhvqJwt{]}H^Dn`wKKD}BF@Z_moUWIkDMAn@L_foSWECBm@|?n_]OKwDsBU@`?x_XOLwIs?}Ad?L_iOAwDCCE@T@D_UOOwGsAM@L@J_cOHWGcAEAD?^__OFWAsC]?t@J_KOQWASDE?h@L_GORw?cBU?L?x_COLwJC?M?@@\^~OUv~cEMB?~x^|OVwFb~L~h?z_^N|wXRutzU|h[NmGvCJaTpQwf]dnRvhjsTyQ|F`jOqwZSKuEpBN`dOsWXsLUEXBR`mOaW[CGuE|AJ`jOnwWSLmE@BX`pOmW[sJuFHAz`mOkw[CJ]E|At`WOswTcLUD\BP`pOhwTSM]FHAh`IOpWRCKeClBF`aObwXCHMELAP`BO]wOcF]CD@x`?O\WNsFEBd@|_vOewLSH}BXA\`OOXWLCIUDD@f?C_Ao@g?c?Y?J?C_Ao@kKeENBD_zo]wNKFEBf@t_uoZwL[EeBJ@fawPVGiKTyIfDYafpSgi{SyIrDOaipPGlkSYJZDka`pQGl{SqJ^DIavpQGk{SiJVDKaspPgkKSQJFDca`o|GgKNYHzBwa^pOGa{RqGfC}aIp@gikOiIrCGajpUg_KOQI~CAamozgk[NIJJBoaopYG\KMqJVDe`tpLGdkQyHbCqaTpMGdKRiHNCuaQpEG`kPqGbCYaFpFg^[QIF~C_`}phgt{YaLZEibWplGs[ZYLJEqbOpqGr{XqMJEYbbprgq{[iKjFKbKpbgv{XIMFEOb_paGvKWqLzEIb\p\gokWYJvDwb@p[GnkVQJ~Dqb?p|GyK^aMjFubhpwg|K]YNZFcbtpzgzk]ANfF]bwp}gy{^yMvF{bkqB??S`MO_?EcJqB_?c`S?DG?cBqA_?s_S?HGAcC