CAT(2162,1)
Sparse6:
:~?`q_?O?G?CCgAJ@E_aOQWG{CaAa@O_i_TGJODeAn@\?mOSgIsDaBC@`_q?WwI[E[BL@h?sOZOLcF?B^@m_y?[wMoFUBd@y?{oYgNgFqBp@j`K?cWQ[GyCnAG`DO`wOCGqCJAN`DocgOKHUC`AA`IObWOsGQClAH`@oq?VgJaDsB?`Y?nwWgJEDuB@`W?owV_JeD{Av`b?kgWwJMDkBA`Y_pGVgJwD~B@@`?owWgKWENA{@_?pG]WNIFkBt`yO}O^CNkFtB|@}O~o^sOGGBBp`wP?G_wOYBb@z_sO\gLKEuBx@x_yoYwM{EqBT@m_~oZwM[FQBt@w_wO^WMSFyA`@P_hOVgI[DuB@@S_ioTgKKDaBH@X_loVGJ{EIBF@V_qoXgK{DiBf@g_tOZGNCEyB^@p_xO\GMkFYBn@x_|OYWN[FqB|@|_wOZWN{EmCdAT`?OagQsGECbAR`GO_wQ{GaCVAD`EO`gPkGyCRAF`Fo_gQcGQDBAX`L@YWRkISJVA]`M@ZWR[IAD^AaAsOi?l{IMDUDs`RP\_S{HaJoAi`VP[?TkIOJbAh`U@^WnOH}DMCC`M?}GRONAFcAW`V`?gRWNUCyBx`N?}g^_IAF{A``P?}w_GIMDGCB`Q_~wRGNYFyAh`T@@W]GH}GMAj`x_jGSoNQG?Al`S?|wToOYH??S_I`GWAwQqHY?e_K@Gge?Ae?qCc_L@HWcW@q?}CfaS?IgeWAE@?Ch_P`HgdWAQ@ICq_P@JgCwQ}Hm?g_J@KWdO@m@UCuaY?FWeg@y@_Cxa`?KWfOBMIQ?|_\`MwF?RuH{?xa^_JgDgSA@WD@_Z`NGgWBIIG?}af?OGFOSUIK?~_``PwF_SaIU?s_`@RGf?BUAADI_V`RwEoSu@n?l_V@qWFcBa@b?uBeoMgEkCE@`?xBcOKgFW\Q@yFJ_^@rGGO\EMc@?_U@rwy?B}@fF[?YOJwGW\yIm?S_J@SgBgTy@?DWap_IWig@]?iDU_L@XGB?UY?wDRak_FgBGTm@CD[_P`VWkOAQI}?dao?EwkGA]@KDfal?IGi?Ai@ADd_T`SWi_@}DaAA`F?lwQOJMCeAs`W?cGQ_JaCEAp`A?lGOgJYCKAu`B_lwP?JaCQAx`?_mWUWGuDiAK`\?_GUgGiCaAq`\_dWUOH]DsAU`\_awPwJA?W@O_E?TgIw?q?Y@P_E_Sg@gDQBE?R_q_BgKO@MAe?Q_F_TWAGDyAs?O_r_CGK_@IAq?M_l_BwJ_@ABK?R_G_VwAGEA?[@`_k?BwJg@IGPCHaEPDW`SPiG|CJaEpCwbcPAGbC^aIPBwa{PaGlCQaLpFW`sPeEpBY`movg[CMEFDBX`mOxG[kMYFNBZ`noyG\KMiFVBk`pozW\{MyAX@K_eoRWH[CmA\@N_foQgHSCyEVBG`coqgXkKyE^BO`goswYSKq?h?T_JoEgAs@a?v?[_MoFwCKAM?|?c_QoHwDC@e@D?h_ToHgCCAi@d?k_ZOLwFSBe@p?~__OOWD{Bu@b?{_`OLGEkAy@|?o_UoKwG[BmTOHFCVqI@GCacQBHLC[qI`GSboQFGjCaQJPGkdSPtHEC[QQ@DsccPhGoCdQKPHcbGQ\GrCdqLPICbWQ^HQCZqSpDcbsQhHPC^qMpI{bwQlGOCqQCpKk`ORLGUCrQZ`C[aWR^HfCGqXpA{eOOpHjCIqHpKke_OdHgCNQYPBK`gRRGZCtQF@LS`sRVG^CuQZ@CCesPHGdCuqGPL{ewPDGDCfQA`HccCNpFxCaP}`Gkc[NvHICEQQ?~cccNzHTC@p~`H{ckN~G?C`q?PICc?ODGCCbQS`?sdKONHPCCQAPGSdOOVHLCEqBpI{dWO\D?CkQVohkeGINCwCkPR`JKRgQrCxCppOPJ[SoQ~C}CmPQpK[e?I^C~CnPO`KKdsIJCzClPN@JSRsQvHaAcQV?g[dsIHH]AbPQPKCSgRBC\CwPE@OkfcG`CICwq[_`CfKGXHsAFQ\O`{PwS@CLDBQ\_aKPGRnCRC{PApOcPSRtCUC|pFpO{P[RxH|AIQ^_bSOcR~I@ALq__bKgKGxGgBcQIOxKagMTFRCUpt@Ds[kP^GoBePrPDc[{PfFOCYPsPEsboM~FQCZptPFKb_MlGqBjpu@FSbkMrFYCYpr`Fk\kP|F[C^pvPD[bCM|EwAuPm_mKZ{J|EoAsPZOwkZGJRDiBXpp_mS[[JvExA}p\ouKVSMHD~B_pYoukUwLlEvAvpn?m[VcM@E}AyP\_ucV_LzFAA|PmomC[KJxC_aOpGgc[Q}H`ClaYpHWdsRYHnCfaQPKgecREHLCgaSpIgd[RMHXI_dOqhhSsiUTHIadRqghSCiITBIbdPqgxS{iATHIcdQqhhSki]TBIHdDQbhQShMSrISdCQcHQ{haSZIJdLQexR{gqS^IPdMqdXRshYSxIPdCQaPrKgm[uIKdErfPPsg}[}IOfKAchQchUSkMbdJqe@skhK\DI]dDBiHR[ygSxI\dKbjHR{hg\\Hoczq_HOSfqRvIDcxQ^hMcfMSLI@cwq`HMkgMRlHwc~q^XNKg]RtFnFFPxPpKw?NVM@Bop{@qswGNDFbF@px@ocwSNLMPBoRa_|k]w[nMQBwr`_{{w[NRFgFDp|Ppc]g[ZFkFFrc?}sxKNdMGBxrd?}{xSNhEaFWRkOrCzKKrEnFZPhpw[zcLTNABSpj`vC{?LPEYF_rnossYs\nEZF\Pf@v[zsKzMqBNRl?r{YC\jEbFaph@wcYo\|E_FbRposkzoLVLgAgRYOiKugIdLpAhpXpnKvwI|DSExPTPm[vgJHDUEyPTpnCvkIpDXEur^?jSTkZVLuAmR[?jkT{Z^D_E~pWPm{UGZzDbEypXPlsUWZXEFbCpaGosWqK`E?bIpdgoKWIKnEBbGpcwp{XIK\ECbDpdGokWiKZO[@qSGOZSL__fBmGRsD_ZKLs_bB]GGOvqBL@SFXOS@pSE_[\AOFJBeGHOxqA{Lk_~BjGNOyQCSM?`JO_@tSGo[KMs`LOZ@voyABkLo_pLO@{RSO_StGF`BpEhrX__ktcFvBqEjrVO]su?FrBsEoo|PkSO[ZFLc@zrUo_[tWFtB{EqrU_^su[G@B|EiP?PjCNKYjL]AAO~pjct{GL@C_aoPWGsCYAH@F_cOQWG{CeAP?C_BoAg?{?U?L?G_AoAW?c?a?R?C_DOAw@[?m?J?H_CO@w?s?i?LLOGqRSQKktkb^PpEorSaKstKbNLSGsRTQLKuSbrPyEpRTaLSt[bVPkEkRUQLktgb\LeG|rVAMCtsbdL]GyRXqMkt{blPvEoS]@k[uObfPXFdrqAJC{capNIGlrtAJ|Dc]XPYFfSU`x|Dk]ZP[FlRuAJdEG]rP\FgSVPyK|{bFNQGnRsqJs|Sa~NUGoRtqKDEC]xN\GorvaK\EG]vKBG|sX`^|FOVjPvEBsX@]CnCbPJqGsr?QLtESVfJuGtQ|qL\FgWLPkD{SZP^LE{VtPoD|s[P^cnsbfJsGyq~aMtFcWJPfE?R@AMSoGbpMeE{r^psKvW[tLgFKR[Pt{uc[rLwFQrepl[xoZXM\Eurf`lsu{[~LoFOR[`sSygZhLvFPr\Pscy[ZTLyFSR]ptKvo\VL|FUR[ptkvw\\K|F@rQ`q{r_[@MSEeRMPoKxSYZLNFFrM`oSrk[HMEEbRPPpSw[XxLMFJRa@fswcX~MJE_R`PgKwoYDLBFErP@psx?YNMPEcRc`h[xKYRONDtQza@sl_^pJXF{qu`~Slk^vJ[F}QvP~l?sVJN}DnR~pZ{m?_@OHDuqwQ?KmG_DJbG@qxA?cmW_JJfGBQyA?{mc_PJjGDSAp\{mo_XJ?GSQoQDKlS`|OiD`SIpW\AoUHOlDaqtqE\BcUdOmDbSJpW|B?UPOpDcqqaESks`hOtDfSL`X|B[U`JRG^sM@YKko`tJJG\sNPYclW`xPRggSTIGDCiaDPBgfsTiGdCUaLPGgjsPyHLCEaXPJgesRiILDUadOagGSCYAT@Q_jOUgJsEIBL@i_~OZgMSFYBtAA_fO`gPsHIClA]`LN`fpRwx{c~M^JNtfrRxx}{}a^RNiftrzH|k}y^^NofoR{X}S~Y^hMoI]TNPuS{?iXS}FYTNpulS?\lMrI_tO`u|SK\pTCF[rnQgkzCiLMyIbrnAhDSc\|TIF^tQpv[{CiZNAIfRoqh{{Oi`NDIgrpqi[{WidSsEOrJQdSqwhXShEOTKpecqGhVSgEZrGqdkqOh\KdIRRHad{q[h`SqESTM@etQ[XRStETTL`d\R[XXKnIWtMPekr?hvKpI\RKackrKhHKLeHdfHaSpmWtU_EKrFHbkpyWRUdEDRFx`[pOlPKKJRrBasco{k|KOjUbCXalY{WPUaEJRDqs[p_k~TSD\tWpVtUcTzTTD]TT`TCigjLIhIjqmajSikirIkIlqjQjdTwT\T^DVtW@UDUCTbTaDXQlAkcjSjJIuIkQlqk{j_jPTiD[qnql[jKizBW`koxwZSLmExB\`nOwg[cL}F@Bd`rOyG[KMiFXBl`vOzw[[MeFVB@``onGVkKAD|BF`aOogV{KYEJVZJHT`qyd\SkhUVJotcqytWwm~UTJnTwarDXcmzVXJLtwqrT[okHVLJAtrqotWsn@VOJCTsQpLWgmdUJJhttqqtWom\VWJFtvAqD\gkbVcIuTxQll][jzVmI~T_q|d]Wj\VeIvtxqmDWGnRVgIwtyAmT]cjfVlJ?t\A|TVSnHTzJtT]A|\VWnVTxJuT\q{l]sjtVmI}T^q||W?n^Q^JitrAQd\[dDVLHItraQt\GdVVNHJseAyDHcmbQfJosiAy\Hon@QhJiTwqR\ISmvVaHOSgQytIKmpQcJkshazTHgmxQ]JmsfQztIgm~SKJYtla`lZ[gvSUJ_TDQxLQCmNVCIFtFAxDQGl~S^J\TmA`tZcg`S_JdtCQudPGlvSRJ]TpQc\POlzVBILTDqvt[CgpVAIKtFQxTPwmLS|HmTNaZlN?hxTAHqTNqZtS?e~T@HoTOq[LSOfDTDHpsxQgtNCiRTGHrSxqg|SgfPRrIgtQq\LSofTTLHttRa\dS{fZTOHvTSq]TM{idTSHUSnQkTJOjPTiH_snaklTSdZQmIjSjqi|J?ipQpIkskajTUWeDThH`skqj\JSixQuImtVaU|T{dpQxIoSmakLJkjFQ{IqTYqV|K?jNRVhcspIWlKYeNRGhdSqyXdKue\RNhgSsYYTLaefRShistiZLLmetUjjMTjYrlY}k|U^jOTgYsTYMlHUdjRThytDYilXUmjWTkYtLZMldYAIQTKrPtg_hnYBIQucaedgOhLSfLAtIBOtgchlShLIuaafDRSsnYKI\u`qdTQks@YSIVuaqddQssZSmLFtKBQDRCsbSqLHu_QfLhWhtSHh~T@i_|OmgFRshyeri`DkkfrSALgUrQ]tOguPSCldC|y^DkcftRzLis~I^hliumR~i?UvQ_lkogBP{LKS^RRLGctHP}LLufQN|hwc@YYH?s_bR|GKt@QCLOs`RSTGWtFQILQs`rStG_tNQLLVUiAP\GosxQMLSscrT|igc`YjHGsbrTdHGtZXOLoUwRIldovLX\LsU{bKlnSrNXeLuUyrJLmwrBZuKiUWB[|msqlXPLpUSb[\mSrFXRLqU|rKdeGvbXVLsuybJDm{qtXZLwUVb]dd{vfYjKXuLbS|a?srWoLVUjRC\igpdYkKZuiREdaCstWaLLuLRT|aOsxY\KQuHbRDi_pPY]KRufrDLi?pTY`KTugbDdiKpZYcKVUKRSla{tLY?KCU_R@L`ksZW\LDuFrOlgGoTW[LGuCRQth[opYBKDu`B@d`ws`WMLHuBROthSodYQKFu`rADg_ofYHKIUEbQdggojYKKJUERPtg{onVojwt{i}\^QnjVukBt|y~D^entWAj|t~J?D^un|V~k?u?z?d_YoJZXMhuurits?uPZHM_vObXTsKuV\CLeVPRXlsWu\\FLfvQBYDswup\HLgvQbYTskufZSMeutRiDlWybZVMhUvri|lgyh\TLnVRrZdlsyXY|l`UkJULkEtdYrlYUlZUtj]tpYxl\UpZV\jqt|ZEl^uoJW|kMuHXgnCE]zLLeg{TXjkuFbJNteu{]Xuk}u^zN`wyrt]SKvVcRNLxGr^XokwfeJMTxgrfXsnME\ZM|xwrp\pK[V[BFLw[qZ\qKfUMbm\bkzjXJMzUNBm|bszp\xKeV]bFtvkp~\{K_V^RGLvwqD\~K`v_BGdcS{BXEMyUProTc_{F]CKfv`bHLwSqT\oNCVfrnDxgzt]DNGV[bpTvK{V\sNEV\RplwW{r\uNFVbrmLxCzn\xNHV]rq\vo{h\|NIv^rqtw[{z]?NJv_RrDxk{F]CNMVfbntwc{D\WMSVURdLucx|\YMTVUrd\rSzZ[kMmVNBldqsyz[|MoVJbjtq{y~[oMovKRkTuKxd[xMrVXBe\uSxh\fMZVZbf|r[zP[wMtVZrfTrkzV]hMRVCBsDpC|B[QNPVCrsdySwh[^NVvhralpW|P[VNTVEBs\pc|V[YNUVkRc|pk|Z[[NVVhbblz?w|]qMOVGRu\qG|h[bNZvHBulqS|l\LL{V@Rg|ncy@ZyM_vSR`DsGvv\QMDVOr^dsOvz\DL~VPb^|o?yP[JMgV?RhLoGyT[BMdv@BhdswwL\NMBvSr`Looyh[LMivBri|owyl^FN}VyBvDz{~n]{NzVyRvL~s}T^wNfvybvTzk~V^}N]vnb|d{?~Z^LN|VoR|t~G}X^ANvvor}D~K}V^CNwv|Bwl{W~j^~NfVqB~\{c~r_?NgVvSA||D?B^QO@Vss?\|P?H^TOAvtc?u@W}p^VOBwABzM?c}t_INlvvC@]@S~J^]OEVvs@l}@?\^`OFvwcAD}L?b^cOHVxsAe@K~L_WOWWIcFeBH@P_YOXwESEMBP@^_kObWJSGeBT?v_jO]wOSBeBX?z_]OZwGCGmAD@r_^O[WGsG}AP@t_~OVWISGECH@D_zORwOsCmAX@|`GOcwQcH]DlAh`TOjWRCHmCxA^`[OnwVSJuD@Ab`VOlWUCJMDHAf`_Oo_?W?IEHBF?AOqGX[LW?LBP?BOsgYg?QEXBN