CAT(2054,1)
Sparse6:
:~?_E_?O?G?C@o?f?T_IOE?B[@[?r?U?LOCGAS@E@O?c?MoGoBsAG?x?_?POGOCcAK?~?i_SoIGDWAU@Y?f_U?HgEwAw@b?o?XoJoESBs@m?s_Z?MWF?BUAE?z?]oN?FsBg@~?]_MoFGD{BA@\@N?b_QgH?CmAK@H_c?OGGOC]AA@E_a_QgGWCmAG@H_o_U?I[DgAh@X?hOU?H{DgAb@X?gOR?IkD[A\@L?jOZOJsEAA~@c?roX_LKESBP@b?loW_JcDsBB?L_FoBgM_F]Bo@t_x_\gN?E}BY@u_v?\wM?EiBc@k_w_YwJCDiArAG?|?_gO_FmCE@x_~__gO_GECEA?_}O^gNkGwCPAN@DOc?PKGSCVAF@Eo`_PcHgCaAS`H_dgQOHUD?AY@JoeORcHkCp@l_voZgPsHAC^Ak@Q?hgSgIaDMAb`M_gwSgH}DGA]`R?gGT?IEDMAa`\_kOUkJ?DlAn@ZolOTcJ[D\Au@Uok_TKJODVAr@TOpoVoKEE?BB`^_ogVgJaDsAz`]?mW?c?Y?J?H_BoAG@c?m?TBX@hotWYcLCE^BQ@eos?XsLGEjBO@hosOYcKoE\BI@eoqoX{KWERBD@boq?WcMkDlAv`Yo{OZ_MaE{Bi`m_yW[wMmFKBl`u?xW\WMIFYBc`u?ww\OMAFOB``s_vwYoLeEuBW`j_ug_WNsFtB{@~o~_^[NGFnBr@{o{O^CNOF\Bu@wO|O\{OcGLCGADp@o`SO?GFCAAAp?O_cMiFPBhaH@BGa_OyGeCLaH@Bwa_PEGeCOaIpDwasPaGtCXa]@F_b[PsH@C^AMOz_b[PsF`BnAMOz_WcKWF`BD@vopOTKKWDVAi@aOiOQ{HcDTAj@KO`OQ{HcCNAE@KO`OLSG[BXAE?toR?LSCwBX@L?toR?FSCw@x@L?\oMwFSBqG|C_aNpW?@O?a?W?H_D_@w?_?a?K?H_A_@w?_Ja?KAx`\?@WRgJaC}Ax`\?fgRgDyC}@_`N?Vw@gDy?]@__F?Vw@gDm?]@[_F?VWJWCAAC@\___VGAWCA?i@A___DGA?@M?i?P_H?DGBG@A?s?P_L_CgowAS@h?u?RoH_EkOCEnCA@kP??Ys@W@L?W?RoDoCkBWIrDW?YpToEcOCIvCAAmP??jS@m?r?Y_DoBG@SWQKLEDb@p_WoSLaEnBUbAP`gokWMKDE@`kouwZS@Y?p?VbX@kOsCYCLbEpBNpbotSWwLPELBSpgorsYGKzEcBMPh?t[YoLDElBPphOs{YSLLEeBRpcWqSXAKfESbIpjotCZ?LTEmBSpdouCX_L\EUBVpjOr[XgLVEkBKpfWrcXyKNEHbCPagpcWmK~E`bOPrGx[[iMZFNbfPsouk\SLlEvBiPm_y{\_LrEwBjPs_vkZkMbFOB]Ps?wC\CL~FQB^Po_y[[KMjFSB_pp?ys\_MJFEBjpuOw{\gMRFZBcPuOuS\kLfFYBYP_Wo[WIKHEEbApzg}C]}NfFpbxP}_{S]ONxFbB|pxO~k][N~FeB~P~O|k^{NVF}BuP}_}{^oNpFxB|py?z{]gN@FhBopv?}c\wNlF\ByqBpAk`COnGOCJQC`@c`OO\GRCEq@`?C__ODGFC?qAP?[_SOVGCCDQF`BC`gP@G^CKqEpCK`sPFG[CPPWGkKUIJHDdappXglCU]JRDjatPZGlsUuJ^DpawP[gmcVMJjDvazP]GnSVeJvD|a}P^goCV}KnEUbKPewrKXiMxF]bmpvw{C]EQgHMcjASHIgc}QaHKchaRXIOcmPWGmcTAJxDWauP_GncXAJXEGayP_GrcXALXEGbQPeGucYaMHE_b]PkGxc\aMHEwbiPwGxc\aNhFgbiPwG~c^AOHFgcEP}HAc_aPHG?cMQCHDcbaPHGocMQOHDcbaQhGoceQOHJcdARXHGcqPWHNcTaSHDOcyQaGccRASxCgdIPMHScSaThD?dUSSCsaYpKxQ?RaHlCvdK`MWfSRmHxC}a]pNwgKSAIDDCa`pPWg{SYIPDIacpQwhkSqI\DOafpSWi[TIIhDUaipUGjKT]ItD[alpVWj{TyMBFBb`Ppgwc[UOBGAc?Q?x?k_QUEJHddApXXWkQU?JEd`AqHWGk]T|I~d]qnxVsjuUGI{daamxWWjiU?Ivd`AmXWGjaT?I\dNAgXRwhqS}IadOahHS?iMTCIedQAhxSWiUTSIedQaiHTGi]TSIldTaiHTGiqTUImdUakHT_i}T[IpdWAkxTwjITgIpdZAkxUgjITgIvdYamXUojaTsI[dNAnHVWhuQyIXcnAexJwhiSGJHdda`hXOgUSAJGd@aphOOk]R{IWd?AdhNwh]R?IZcpAeXKGhiSeHbdIaXXQ_eQSeHecsAdXKwhQRQIOctacXLOhIRWIOcvAcXLghISYHndFA[XPwfARcILcyAbxMWgySSHtdEA\xPWfYSSHwdEA]hPWfeSOHzc}aaXN_g]SQHYcmAaHJWg]SkHVdKAUXQwdaXiCfaSpIHfWQiHXCje_`JWdsQ}HbCqaWRPhgksQYLLCearOpZsm?YBJ^E`ROp^[ncYBJyE`QwPfsmKX~JaE_Qx@fsmSY@JeE^rMp[{rsVRK{DsRMp\SmoXzJjE]RMP\sr_VZKyDvrM@]CrgVdKxDwq{peknSXnJsEZQ|`ekn_XlJvEZqupecrGUzKrDmRJpZSlcXbJWEWQspdcqsUhKmDhQtPdclWX\KlDjqrpecl?XfKqDgqr@d{ksXbKoDfRGpcCqOXBKaEQrE`bkpoW~KZENRDpacp_WjKXEJRB`aKp?WfKNEHRA@`[osWTKKECr?`csoOXPKBERrIP^{oCXVKiE?R@P^co[V|KED}re?ecRMHjCsaYpKwfSRmHrCza\PMXtORaHlCva[PLwesqqX\KlfTBkHuOyq\aMjfUbkHuGy}\cMmfKBhHsoxe[sMdfLbhHsoxu[wMdfRbfxtGyA\OM]fRbgXtGyM\OMafIBfxqOyA[eM]fCbgXpWyM[SMafBBjXp?y}[MMmfTB_xogyq\UMCfLb_HrgwI[wM@e~behngxaZ{MXewr[xmSvQZlLtfIbQXgwx]YOMUedBdxqosq[iLJe|BbxqGvq[_LzfEb]Xmwwy[WLwesBYxlOuuZQLkeqbWhk_u]ZKLbemBVxjouAYyL`ekbThjWtaYsLVeiBRXhwtUY[LRewBShiGuyZ]LOaSpIGc{Q]HRCgaUpJgd{Q}HZCmgE`Igd[QqHXCiaTrdXq{xYSNIGdCqbXP{gySfITdIQdhRCh]_gONgIcBY@p@M_iOPgHCCyA`@A_MN|gCb~H~X?a^{OFgCc?H~x?a_SOBgDc?i?H?q_WODgDc@i@P?Q_}NDfbcGYC?{Y^oOEgAB}h~H?U_ANvfyc?x}p?I_aNqfyCCh}X@A_YNngFB{Y@w~A^{Nkg?Bzh~w}u^QN|ftb}x|O~q_kNegJbxx|@@a_}NbgObxYC?}Q]~N\fnRwH{K}I]gOUfjCEHyh@]_qNPfhcExyP@i_qNMgLbsIBO{}]UO[fecFhx`@u]OO[fdCFhxH@u\rMzf\RnHvszu\~N@f_Rohwc{M\eNYfYbvHu_|m\kNVf[BuXuw|aX^KpeWRKhecrMXpKye[rNhgCr}aWPug{CRiMxCubqPHgdc]yNPCibuPGg{cPyNPCYaEP{gac^iG`FuaCP{g_C^iGHFu`{Q?g^c_YFhF}`sP~g\c_YF`GA`qPug{CLyMxBa`TOhgSSIyDdAu``OmgVsKYE\BIbSOsguCLiEhEmbAPlgpcZyKPEybeP]gycWIM`D}b_PZgxCVYMHDqaoPfglCYYJHEaamPcgjCXiKhDU`CPQgPcSyC`DQaaOfggCHiHxAUd]QqhWclIU@JMdQQkhVCiyTPIucCQehACiIOXI]dEQVhKchIR@IUckQahICgIQhIEdwQPh]ccyVXHIc[Qwh\CcIVHG}cyQJhEcfiRxGqcsQHhMCaiRXGacIQvhBclYOpJYe}D^ampVgj{TyIzJQdiQsxYsl]UjNVfkruHzS|q]vRiHvSyA\|N?fRRfHtsxQ\lMWfXRiHpsyQ[dM_fDRfHosxa[DMSe~R[Hosva[DLse~R[Hpsva[dLsfDQ}HvS{AWDJ{f^RjH_szQW\MoeDRYHjsuqZDLWerROHhssaYlLCehRJHfSrqXdKgeZRCHbspaXLKSePS]AWpKgeCRAHdCpfQRhhsky]\RMgecRQXg{siYXLJgusZyLtEibXPjgrsYYLDEQbLPdgfsSYIDDIahPRi^dJYgHQyi?SniTDNIfhQqh{SjiRdKyd@RQhQStiRdKIePQehOSpi[dHIfXQYhsSdiZDHIf@QYhmSdiOdJYcXQ}hCSmiNDIyc@Qqg}SiiODEybhPygwS^iOdEybhQMgwSahwdDY]PP]feSUiHDKya`RUgeSsiFdNIaHRyhySOi^dBIgHOui?SMiCdMY`XRmgSSyiBDKIePOagMSpiZD?yf@OUhmSCi?T?i_LNuf~R}iKC}i^`PifuSXiIc|yaxNegkRwhyDEI]pPefiSYjGC@y@D?e_XOIgDsgySlIQd@Q`hPSfYR|HycxQYhLteQq\XSkvUYJITdQq|X_khUUJHtcAr|YCkdU_JGtcArdXGk|UPJMtZAr|YCj\U_IutYQrdUkk|TiJMteQktXkjNUYIsTdqklX_jHUUIptVYj|TyitT[iltbQjLWwipTVJFtaaidWkilTTJETSQpDTKkRUFIhTRapDT?kRTNJBtQqolSskHTKJBTQQodSgkLTGJAtbQglW{iNUMIbTaagTWoiHUJI`t]An\VgjzTxI}T\QntW?jnT~IzTWAmTVOjDT`Ixt_Ql|WKjbUAIwTyaz\\umxVWjlTuYtX]]lYVhjUDyI{xYanQUijsDiY{hYUnKUfjqDhisP]YnGUcjPdxYx`]EnEVMjpDrYtp[el_VJjVdqiwp\ymOV_jbdvyvp[AmCU~j_dnYwXZimIU{jaDmyux[}lqVPj[DsIyPZQlkVSjhdlYuH\UmmUrjXDtialP]glSWiLTEY~``]oqV|j~EEJ@D_ioRWDkBu@jA`_IoGWUk@eDY|h`]oqVnjvEEJA`]iokVkkIdyz@p^eo_VzkFd}j@X^YnoWLkED|y}X^}niW@jyE?I}@`EncWRjweCiolWYkHUGjCt`ypTWqkVUNjEtbjBPbapsW[kLeMZFpbUq?Wvk^eLjFXbIpyWsk]EKzDxbipaWwkWEMZGXaypWXAk_eJZDLampTWekRuIJFXaMpIW|kQENJGHaIpAXBkOEOjBhbyp}W^kNEOI{d]UnLVfjstyJJ|eArBX[kmuVjI@eIqcXbkgeXJHpeQrCXNkeeWzHPeUrMXKkrEQzGxeUrMXHkrEQJIpcQqKXVkaeUJIXdequXTkiEUjL@f]rSXxkse]JNhfQr}Xuk~E\ZMHfirwXrkxE]zLhfArUXnkuEZjPHgYsMYIlCEazO@gMsCYDl?e`IZdLyezTwi|T]YmtV]jjVljvTzy|T]mnXXUkkUTzI\dUqhY]LQUfrSti?tJY`LLufRS\iGsxY_LKufbRTh{spYTLLudrRdhsslYQLLUdBRDhKsrYQLIudBQ|hKslY`LEUgrPtiGsZYcLFuhbQLiSs`ZDAQPHWctPmgzS[j^TnyvlZilxUzkOUGjCL`uo~W]ksUYjLLeurXXjliEtzYplauiZXlmEsjZPlEuuZRliErjYplAuiZNldesZX`lIuYZRlfEqJXPlAuQZNleeqJXHkquSZJl_EhzTHj}tOZ@ljenJVpleuoY|l[eujVXlqtsZZlZEpzV@kUtmZElYepZU`kYteZFl`EkJW`jEuEYql^ejZWHi}u?YmlTEojT`kQtUZBmE`Ggc[QEvW[LlvFBz\hoywYZhltfBj\Po}wWZglrFAj`Xm]vE[FlqfAZ[`oavA[ImEEwj`XmAwMZ\lnfAZ`@lywAZzm@e~Z_PnqvoZ}m?E}Z^Pn}vi[Clzf@j]poUv]Zqlwe|J]@nMHHCeaQpHgccQUxm[nMYVJbetr?xj[pMYVKrelrGxl[dMWvHre\qWxd[aMVVHBeDqKx^[^MTvGRddqsx@[[MSVFbdTpsxR[VMGvEBaTpWw`[XMHvEralpgwhC`aPPGwcSQEHF\WL_UoZV|kIuHZBmffTZiHtYy_\VmiFTjiPt]ye\TmkFOzjPsUyq\CmhFRJhptQyY\RmffQZi@smya\ImlfPjjhsayw\FmlFOJgPtayq\@mlfNZjhr}yw[}m[VLzfLrixx[zmBvAZ`DoiwX[JmqF^JkpvyzI\|m~fZZlxwEz[]?m~fYjoHuq{?\jm}FXznpuezy\gmnVWJj|uMzD\`m{f[znXvUzs\smwf\zmPvaz_\unJf_jo`xe{o]BnHFazqXwu{a]KnCFbjpxwi{_]HnAfdJoxxY{K]TnOFgzshyI|A]cnLFfZr`x}{u]]mYVLZetvezv\ymzV]Jm|zO|X]qNVVkrtlyo|^]oNUvkRttyW|^]oNRvkRtDyc|h]qNTvkrtT{Oyn\TmjVczqTxE{\]OnFvrBwd{W}V^INavpbw|{c}J^GNaVlbwLzS}F]vN`VqBvt{c}@^FN^vmrxTzs}X]{NdvmBw\{C|t^AN[vwb{@|A}c^`ngfvzzx{}~A^LnoFrjz`|e}{^Znmfujy`|Y}e^Wniftz|h}Q~W^antfwz|@}U~M^hntFxjw\{I}B^tNvV|b||~O~`^sNwv{r}t~G~j^^novwJ~g?G~n^~?@f}J~o?C~r^|??f}j~w?G~x^}?@f}~