CAT(2128,2)
Sparse6:
:~?`O_?O?G?C@O?S?D_B_AW?o?a?X?J_EoB_A[@??b?N?HOAw@c?u@K?W_JoEWDoAu@Z?l_\?LgEcBU@n?w_[oNGF[Bi@z?~_^OOgGCCEAF@D_aOQGGsC]@f?q_WoU?IKC}A`@H_doQgHgDAA[@P_e?RwK_Ay@`?n_YOLgEkEsBF@a_ooWWK[EIBJ@c_rOXgKcEUBQ@T_s?TgIwE]Av@\_mOUOK{D_BR@Y?sOS_JsDOB@@R?noa?DKAe@R?c_QoGwDCAY@NAS?ToJGDSAq@T?j`S_IgDcAm@f?q_WoLwFKBa@t?{_\oPgHCC]Ah@R_hOTWI{DYAl@V_ioUgJKDaEMAz`]onGWCJyD~Aw@aOm_WsKSDrA}@[Om_WCJ{DrAD`Bo`gQCGyC^Ah@aOp_TSKSDVBA@Poh?WKISEFAe@`Oi?W[I[EBA|@OOmoSSJoDBAf@Yoi?U{IWDlAq@OOkoSSJODBAc@XOl?S[ISDfAn@LOeoUKJ?CxAo@NOkOR{I{CzAU@UOd?TsHSDZAk@JoeOTkH_D\AM@Doc?PkG{CXAD@HO`_Q[HCCNAG@Hoc_PKHCCTAj@JoeOTKIgCp@o_xO[WLgHuB]A^_v?fgPWGICGAL`@_bGNwKQEKA@`a__GROFqCw@}`L_^WNGHQBuAU_|?dWNCFYBnAG?xo\?PSGcBjAu?uOY_U{JSBVCl?OOGgCKG]CJAE`HOcwQKHiCxAZ`MofgR{Ay@`?n_^ONWF{CAAD@@_coQwHSFABd@p_~O^GNkFMBj@s_zO]GM{EqBV@ial@QghCSeIRDIacPMWf[RiHeDOaY`Rge_S}HaDRag`Kge?TIIUCoae`Kgh_REIWClae`JwhWQyHADDaP`PwcOSYHGDDaR@PwcgSYI?CfaS@OWdGR}I?Cka^`IgdWSEHWCxaT@MwdWRiHkCca[@HgewQUHkCfaS`MGd?R]HAClaP`JwcOQyG|C^aOPC_e[ROGhCRAYpT?`sTWGZDTAEPAG_{OYH{B}`~`NW^gRqG?C{a^@?g_GRuFgDC`z@Ow]gSIIaBnah?{G\oTMFaDM`x`SG]OS}FVBl`uOyW\CMiFNBd`rPT?ZcTWE|DT@mpP?XkSGE^DB@fPE?bcPcGvC\ALPAOYcOkEjBRADP?o`{OSGbCCAGOvo[cM?FFB`@pPDoZKLkGlCT@lOs?]{LGFrBP@{OpoY{KcElBG@kOq_^SKoFvB{@dproKSEMBB?p_XoKgG[CUAH@Q_hoTGY[LUEhCYaKpEG_sO]GPFZBopwozk\oNDFYbkPuWxw\}M_F_bg`vgxO[qM[FHbe`qwl{VEJ`FGBhpp_yc[[MdFWB`pu_wk\cMHFSB^ps_vsZsMfFMBHPcOxc[sK`EMbFpbWzoWiKWF_bD`vwmSVQJfDtazp\gnCViJrDkBopwolsUsNDDjBgpY_x{\?JRDeBipY?y{U[MlDbBipX?y{USMlD^Bcpqojs[gIzDXBmpuojCT[MxExB_Po_vCZ[MBEpBYPkousZGLjEmBTpjOuCYoL^EeBSphOtSY[LPEXB\Pe_vcZkKvEUBMPe?rsX[KzERBNpgOqkXOL@EaBCph?o{YKKPE@BAP_oosWGKJDzA~P_?nkVoJ~D_AlPW_jcUCIv?V_KoEGBc@i?v?^_MoFgCCAE@DDWajpUXG{ceQPHIceQQxGobUPmHDcZAPHGoaePUHCcTAPXBOcuOwHMcLaRxAGcuOeHNcHARh@s`AO^F~C_q?PG[_?QDF{CdP~`Hc^sQVHHBupzpHC]wQNFfC`pyPGK]_QDGcCVqHPEKb?PFG`CVQJ@CSa?PZG\C^QF`GCb{O~GzCJqNPBKboOpGSC[QD`FS`SPrFoCCP{`@K^COTGDCDq@p@k_WOXFxBzP}_~C^kNnGeBxqI?}ka[NhGsBtqKo|cbGNTFcC@Q@?{s]SOF?U_IoDHOWhISgIDdHa`HO?hISgIAdHa_XL[euRXHfcrQXXJSdeQvHUckQTxNgg}R}IPc~AcHMWfiRcH{c|a[XP_f]S[HxdEa]HM_gYSOHucya`xPGeySUHodDAZxL?d}RQH_ctAWXJ_eIQ{HccmaWxIWdAQaHTchATHWOIMDJAc`RoiGSsBU@l?s_eORWHsYaLTEhbPPgwsckSUbJFDhqp`YSkSURJIDbqp`XCkGU\JCDgQopX{kkUDJKDaQrPW[j{UfJ?DhQoPYKj{U\J@DgQo@X{kkTfItDeql@Xcj?UPJIDXQkPXKiQTLIddPQgxSKhaStIXdIqdxQsjcTxIzD]qm`VsjWTNIhD[QlpTCigTZIkDVqipTsi?SvI^DMqf`RcAM@J?ceD?BG@[?uW_?d_PoHG@s@A?^?Q_HoCWccQYHJCfaSpIGE{Be@p@Z_moVGXKKaENBI`dorH@C_iORGDcBq@h?C_EN~FfbspyHfgrEXfKqeTBLXd?rYXQKseRrHhckqwWxKoENRJpbkqGWxKcENRGpbkpcXVKlELREpdcpcW~KZEORE`cKpQWfKTeKRDxasp?XhKQEZRCPekqwW\KLEWRJp`{owXVKLEURJP`{oOWTKKEBR@P`[ocWTKFEDrB@`CoGW`KBEHR?PaKnwW~K_E?Q~pcKqGVvKcD}rGp^cn_WPJyEBq}P`KnYVnJtdxQ|H][q_VRJjESrI`\SoSVLKEDsR@@[{mKWlKWDqRDp[kmCWfJ_EIqw`acrGUzKpDnRKpZ{lcXNJWEQqtpcsm{UhJUDwQtP]KmoUvJlDmQz`ZSAA@D?`_NOFwBk?U?N?E_COAg@Ko]WPKHbdpqWxS[uM\FK`OOggSKEyB^@l_tOZGL[YULNEebGpcgqCW]KREGaoPWgkKT]IpDXcpQXHK[nEV^JoduQzX\szi\rMwfXBmxvgzQ\wMrfSbmxvgym\wMif_BhXvoyQ\}MbfOrghsCxs\FM^FQrf`scxE[fMQfIrdhqcxa[rMVfLRfHr[r_]HKxFarLpwsrg]BKzF`rN@wSyw[\MOFUrj@p{y[[XMgFErh`p[w_\^MpFDRaPuCwS\jMFFZr``uswG\^MpFAR_puCzSZ~MvF?rl`oCvs\\L}FUR^@tkvk\PMfE{r]`ssv?\fLpFYRk`mSzwZZLnF_RnplsygZXMjEtRiPl[xsZNM^Esrf`lCuW\BLcFPRXPsCtw[tM[EoRepj{tk[rL\FKRV@q{tg[hMUEkRUPqktK]FN@EiRS`wSt[]LLTFaRT`wks{\pLPF\RS@vKxCYRMREdrc`hSvKYZLtEeRR`mcs_ZpLEEzRPpm{sSY@LCE`ROpgKrwZBK~EprNPkSAY@P?fg`@GWc[QIHTCkaTotgZCL]N`FqbwqAx@k_qS|I_dNqfXR[hqXrKve[RMxfcriZlLwezr\Xm[vQYFLDeaRNXf{rybEPYgqcUyK`DqamPggkcXiJ@E]bCO~g_cWIG@EE`wP\g^CVyFhDyasOyg\cVIFHDm`kPVgkCMIExDe`sO{g[cNiFXBua?Ovg_cMIEpB}akOqgWcTIE@DU`]OsgYcJYDpBM`UPAgUCPIDPCMaIOfgbCIIGxAeaUOcgecHiH`AU`APMgPcSICPC}_|O_gNsFYB\@q_sPIgKcQYB@CaaUOTgecDyH`@Ya[OQgICSIHx@M_]PPgGcSyA@DI_WOrgFCLIEh?u_QPDgDcPy@PCYaCOEgaCAIGX?]_IPTgjC?y?`DQ_?PGg@CQY?HCiaaN|f~cSx~pDI^xNyf|r}H}{~ebENmgqb{IK_}}^UPefucYH|`E]^AP^fncVh{@Du^CP_gpBxIKG}M^gNffzBxX}g}Y^SNqfsB{x|G~E]yNUfnBtxz?|q]sNOfhBuxzG|E]gNIfibqxyW{q]ONLfbbrxxG{y`pOvgZSMyFLBiIvDYamPVWj{TyQ`HQcgqTHIkdM]rNZflRvHzs|u]hNTfhrpxxK{ae~R_hnSvIZ\LufiQ@h@c{yOPNQeoRchqcuYZPMYfARVhicwyYpMIfMRShhCyY\@LMeaRkhgCyyXxMieLRGhbsoyWdKUd[RchrCkI[hI}fWQjhtcjY\PIqdOR`hTCwiTHMMfMQehRcyYShMadBQ_hNsfYRdHyf?QVhKCviZxHYeuQRhmCdYZhHQfkQIh{CbI]xGmcMRlhCczyP@Myf_QChwc`Y]PGYfkP}h{C_I]xF}buRlg}czyN`MyboRrg|C|YNHNQf_Ptgzc{i]HFYduQ|h]CnyVPJyeCQwh[coYW@J]eUQuhYCqiXHJUdeRMhWcrYUPKqcYPqhFc\IPpFMbaQQgvccYQ@FAbWQchPcZiLhIIcqPhhLcYyRPEiiQS@icC~y_@S]hcTIiYDRIeXSmhQTCiTDPidXSUiASeiSDOycxSIhESpiQDJychRAh?SkiPDJicHQugyTUiNdUIbpT]i_SYiLdSib`TEiYSVifDEIhxPeieSSiidDii`PUgUSwiEdMi``RegQT?i^dAifpOahiSDiBdLy_pRYgCSzi]d@I_XRqfySMh~DCI^`O}gaRxh|dCiaXNijkT}iyD^ymhVujuTriwd^InPVIk?Toj@DZioHU}jUTviud]Yl`VakITgitD`IlHWMjIUEirDaIoxU]i}TXiodUyk@TijCT[inDXIkXTukuUHjDdfYpPXql?USjHdfyqPXykmUPjIdcIqpW}kWUWjFDeiphXelAUfjPdiYsPYalGUijUDhitXYU?b?Q_HoCG@s?}T~J?d_qhhSkiQTDIbdOrLxfKraXxKze\SmiV\JqdpQxhZttAwh[amMVIjbDqYwP[mmWVBjedpIx@Z}mAVIjcdoIx`ZqmYU}j]dqywHZeluU~j\DoIvXZylqU|j\DnIu\ZUlhUrjYTlYutZalnUujZtmIwPYumGUnj`djiwhZAmMUqjbDkY~W?e?T?G_Ao@w?tBy`zO{g_SOYF{ouW^KMdzQ|x]knQVfJqiPtHYcdQAhDS`h~S~I^lNefvRykKuEzBT`aolWVkGEBZ@x`Io[WPkHeAjA`_qoiWJkBeBZ@x_eo[WGkBeAz@H_qoOWIkAECz?p`UoIWSkGE?Z?X`IoaWAj}t~I~\^qnzVzj~U?I~|^yo@V~j{Dryxp^inqVOj{DsY~H\InsVRjye?Z?X^]nkWAkAd{j?`^MoKVsjkeDyyx`amoWUkKdtJBP\UouVUjpdzy{h^AnGVpjsdwY|P]AnCVjjrDvi|@\}nMV\jlDzI|p\qnYVZkud}I~T^eYdLSehrTXi{tYclQVhKScyQlHQm^VOjfTsYyT\MnLVgjrtyY|\]inXVmjutzy}L^AsOYDlBeajPHgYsUYAlEe`JP`gMsOX~lCe_ZPPgArwYAk~E`JNhgMr^XlkvUZZL|eyryXkk}EYzNpeirMX~ksE_ZLHgAq{XckrEVzK@eUrCXckrEWzKHeUrMXakseWZL@eMq}XkkoEYzJpeiquXukme]JJ`f]rqXXkkE]jJPfmqiXokxETzMHdYqcXrkyETJIXfUq]Xokge[jI@fEreXKkyeRjM`cuqQXxkde]zHPfiqKXukbe\zH@fasUXBkaebZP`cQq?YDlBeOjGHgYpaW[kXeFjEP`upyWjk^eJZFpaqpOWvkTEMZDHbapIWukReLZCpbQpsWak\eGzC`bqpAWmkWEFzDxaAvIXckrUXZK|eerPXkktUYxz{}E^@NafqRwyaLPMgdSMiGTBzBd`yozWskZULZE|beppWyk]UMzFlb}p|W^kOuGJ_@oMwC[Dm?f@J_pn}vy[GmBe~j\\muvXZgltUyZ[lmYvNZdlrUxz[PgyvGYOlpebz[@nEvAZqlne{zZ`nQvkZ]lyevZ]xlmvoZYl{euZYpm}umZmlkE{JYhnEugZrlxEsz\xlAv_ZQlvEsZWxnQuQZulyeqJ]xkQvqZEl{EpZUhoewUYvlZFAj^PjItgZ{lXe}zTxnutaZ~lWE~j_XiqwIYmmAEjZ_@iYwCYflSF?ZTHoYtU[FlTFAJ^PiMvuYdlQE~JS@oewUYalOfAjRhmus}ZklNEyzRXmavSY[lLEyZ[PhEseZblHExJXpjqu]Y|leemzXPjauWYyldemZWHh]uEYXl`EeJVphQu?YUl^edZlHu[w`\gMGvXb`|oozL[MMsVBRk|tOw|\UMOVTRb|t_yf\PMjvURiTroyz\]M^VNRj|rcyt[zMmVMbj\uCxl[vMoVMBkTuKxf\dMYvXBedsGx`\CMXVOreLqsyL[mMbvJrgls_xT[kMdVQRd\swxN\OMSvRrdDqOyV\LMRVHRhdqCx~[bM_vGbgDpkwj[VMMvDbbdpcwd[YMHvEBadw[{Z]NNCvaBptwO{T]ENEV`Rp\vw{B\~N@v_BoTx?zv]QM}vcRndu{zj\pMzv[BmtvGzp\yMyV]Rm\xKzX\mNIvdBlluc{l\jNKVYbq|yk{r]YNUvertdy_|D]iNQViRs\yS{~]fNOvhbsDxo|\]oNNVfRt|zC|n]rN[vkbvDzo|l]sN\VmrulmQvFZajfTsIx|\EmfVQncfpZxX{Q}S^BnbFozx@{U}M^Cn]fqZvx{m|{^InbFoJx@{I}M^@mrVYJk|dyr@X^kpUWzKLpUwn[UmIVCzaT}Q~L^dnovwz{T}?}r^]NkVvrzT|_}v^\NlVvBzL}C}X^bNfVwbxl|S}v^\NjvvByt|G}|^SNnvsr{D}O}^^PNrVxRyDhmsxYYlMufzRu??~x^|O?v~b~|~{~r_@N|w?B~T~X?F_AN{V|s?d~L?D^tOAV|C?\}[~`^qNsvyB}L}g~\^kNuvyr|{?Q?H?CmKVEjbLpmwz[[nrvyZ|D}i~X^joJgG{BIAV?o_coOGE[CQ@b@A_VoQg@[Ca?Z@E_FoIGEkAq@r?i_ZoGgF[AY@~?{_QoOgBkCA@B@C_NoDgEk@i@r?W_ZoCGF[By?j?{_HoUGMKDqBj@Y_xoYgM{EyBv@k_{oSgJ{DYBF@S_ooRGKkEaAb@M_r_@GPsFuC??E`Ho^_?SHC?DAA`C_@GOsGuCG?E`D