CAT(2106,4)

Sparse6:

:~?_y_?O?G?C@k?b?O_FoCgAc@M@w?w?[oLoF[BW@t@D?__OwG_CAAC?~_d_NGFkByAT@G_coQGHKCiAX@J_eoQwHkCqAJ@F_bOX_ICCyA^@P_hoSgJSDqAv@T_iOTgJKD]Ap@Y_mOUwNWF]Bj@u_zO\wMkEqB\@l_ooWgKCEQBF@d_moVwJsF?BP@e?woZoK{FGBR@s?to[oLSIG@f?t_YOKwEkBQ@X?i_ToJWD{Ay@d?o_WoMGE{BY@r?y_\oQgHCCeBX@m_uoWGKKEIBJ@b_qOs_WoKeEOBJ`b_qgVOKUDuBB`]?pGVgJ]D{Ax`^_mGW?JeEAAw`Z_ogU_KiEQAu`Y_qwUGKIDeB?`X?oWVgJQD}Au`^?lWVOJEDwAr`\_kgQsHaCnAX`LoegRcHyCzA^`OOgWR{IED@AS@doqOQkHKETAm`WOjwSSIQDFAe`RohWR_ImCyAl`N?jGTwIiDOAm`W?iWS_HaCkAa`J_gwRGIUCsAf`L_hgX?GeEKAG`b_`wWgGYCGBC`A_owWoHAEMAQ`G_qGWWGuEIAN`F?pGT?GECEAh`T?_gO?IqB}Al_~?iwN?HQBsAT_{_cwNWGqByAI_}?awfWAQ@J?e_QoHgCcAe@N?g_SOIWC{AE@F?a`JOeGQ{HiCvAX`NOfGRkCA@~@@_`OPGG[DQAj@U_joUWJCGiCXAJ`?o_wOSFmBz@{_~O_GN{FeBt@wbE@ZgmCU}JfDpaxP\wnKVaKREJbDP_WoSWAKFECbAp`gpCW]KAEIbD`_go?WeKUEBbA`aWo_WiKKD|bC@^wowVyJUEBau``Gl_WUI}Dyao@^GkGVmIwD~a}`VgjgVyJUD[au`Vgl_TuIgDsai`\gmgTMIkDxaz`UGiwVaIkDXaj`Uwj?TiIbDOahPXOiCTCJNDeAhPMWfSRaHiDsay`LwmoRYHgDwa{`KgeWV]JsCna}@KWnWRAJSCqaY@YGeWUeHkDaaZ`WwegUQI}Coao`KWk?Q}IiCmai@JWd_TMIUCjaT@RGdGSiHUDLaS`RwdOSyIMDsac`\WmoSaIHDEaapP?m[SWJdDDAwpN_nSS?JxC~A|pN_kkS?JNC~ArOsGYKK}EWD|`f@^wXgVyHODNae`HwhoQYHFCdaQPFGbSPmGrCVaKPDGasPUJ[CPaH`[GaOU}GUDgat@BW`_UeJCCMaq@CGkWO}GODXaD@Uw`GTiHWCDaB`JgdgOYF~C@a?P@G_SOMFwDFac_~g^gSaKKBxbC?}wowNiF[Cz`u`NW\wRqIABia`_zGgOMmHoBo`x@Mg]GReFMDI`s`RG\?SmK?Bc`r@_goGMUFADp`p`[w[OVIE}Do`o@ZwZoUyEtBX`kOvWZ[LqEmC|`j@NGYgRmEcD@`i@OgYWSMH?BuaP?}GcGN]GyBraN_|WboNQQi?[_MoEwBc@u?v?]_OOFwCC@y?~?T_JoDgBS@a?rCwa\PMWDcAi@V?n_UoJgESBE@`?u_[OLwFKBm@t@n_wo[GMcFIBf@__pOWWKcEUBF@]_noVWXcKyEZBP`fosGX{LEE`IVDIQdhQkhOSJIUDBqdPOsgKS`IMDAQ_`P{f{SVI@DEq_@PcfOSdIRCyq[pQKe}RZHmcta]HLOfYRWHvcraTHIWeeQcHgcrA^HNoeQRyHdcoa]XKWfmRCHyc~AVhNgeAQ}H{ckA]XJOfmQqHycjaSHIgc}QaHUceAUHHodiQYHXcmaSHIGdmQwHNcnARHK?cyQ}HLc_A_hGOgQQAIBcYAbhEog}PiIOcWaXHEWeYPcHdcoaJhE?eMRCGndDaIxPgauSWGkcIa[HMO`MOgHpdCACHPO`ISQGPcFQBx@k_iOXGJcBacX@?hISeGHcAAYh?oemOIHkdCA?XPO_ISQGBcx@~x??fAN{Hpch@}w~_dQQeF|cr`}G~OeeNqHgdJ@vhQ_\}SiF\cx`qwxgfQRiFKbdA`gxGg]MOIDb`PpGw[esL~HnB_QZ_wKdoL|H\B]PnPJ[ccKdHIBIQQoq[dSLfHVBYqT_ucYoR~I@BTQ_?t[cgL@HJBNqQOrsYORlEeC{PhPM{Y[SbIRBSpi@QSaSPnGfC[qH`FCaGPtG{CQQMpC[cKOrGZCaQE`GkcWOlHGCKQPpA{^KO~FqCOp|@CC]{K^FoBGP{OqK]OMtFbBmPxOz[\_N@FXBopto{S\SNXFmBiPt_|k\GNTFRBtpsO|K[wPzFOC^prpFsZ[OxEwCNQFOusa_LvEyCTPmPDKZ?NnEqBypkO}sYwMNEnBbPjOwkXgNNEWBsPeO{sWwKvEKBMpbOrcYCKjEVBPPd_s[@E?`?N_HODGA[ciQRHJ_OoGgC[AI@B?b`OofwSCB}AB@?_`oPGGSFiBr@wcAQ@h?k^mNzF{bappwws[EL~F?bHPdGq[XmKzE[bNpgGrswCZzL{e|rYXl[uiZKLhesBYxkwuiZILqeyBWxk_vMYtL[elrZpi{tcZ`LpEkRU`lctoZ\LZEur^`icw?YlL~EirW@gSsOZDLBEorVPfsroY~K|EnRM`j{rcY|KzEmrZpdSvCXXLoETr]paSvoWhL|EHrBxaKpAYgKHejBAxigoiWGLWekb@X_Wt]ZcJ|eyA~xmWnyYaJpeha{hiOnMVUL_dubWh\_uEVOLkdtBZh\GuuYcJ^dobSx[?tEY[J]egAvHhwluY[JRefatHYgtAZMJOesAshkolEUYLbeqarxk_kyUHJDdbQnhWCj}TpIxd\QlhUkj]TcLwdYB]hUWveT]LudWb\xmgjAT[M?dUB^hTgv}TQLwe|AixTOveZiIeezaiHmoi]T?L~dPB_HSGvyXYKue[BJxdor]WWKTeJbBh`gpYWKK~eCBOH_wsEXeK?e@BLX_GrQVsK]d}BGH^Wp}XEJxePA|x^?qEXMJsdzBIXd?nUVILJdrBRX[wsqVCLDdqBPx[WsYUqLHdlbQhZOsaUoKodjbKhYorEUAJmd`a{HWOm}XGIzeRAnXcgjqWoIbeLAhHbGiUUSI\dNarHRokmWuIYeMafHb_hmSoJGdKaqXQwk]?V?I_CoBg@c?uH\CkaUoKWESBABN@g_rOYgL[EeAz@^_nOrGXkKyVzJ}d~qhxSsiaaAP?G[sMAFtBg`~OtG]SLqF\BW`zOxGWsJqFTB_``P?GRsIAF|AW`|OvGPsLQClBW`HOdGWsGqEDAO`^O{FKsNPrSxk`vNxGXR}aEc~k`fNuGRR}ADC~[`NO`FjsG`ytA?]jNSGNSFpy[|G_zOlFgSJ`yLAo]^NKGSsIpxtAg]ZNHGSsIpx\Ag]TOkFbRqADs{[`ZO^FVSFPuCy{_|O`FUSG@tlAG\VMfGYSKpskyW`dMUfKRdxqXBm[iO|fICNHqCxI[bMAG^SO@oKwK`~OTGHsDaAL@O_dOMGAsCA?|?{_LOLFxSB@}D?k^bOVFrryABK}c_pN_FuRvp|S|w^VOAFlrvQ?d?K]xN~FkS?PzT??]rNaFarwpw[}C]HMuFqrl@{szS^HMpFxrkp}kzG^hMgFuri`|{yc^\MaF}R~`scyK^zM^FZrgPvKy?\pM[F\Rn@rsxs\vOYFEsF@p|@k[\M|FDRnppczw[VMFF_RaPwSw_]BMEGCSA`ocwS_RRD?BOAG?{?Q?H?C_Ao@W?k?Y?P?F_BOAG?{AQ@L?d_SOIWC{HQCjARbEpbgpc`iOvGXcJQDxBCW}KbEObrPyG{{XaKtEXbIpdwqs|U]nNUfhRtHy[{}]bNOfeRrhxkye\PMifErbhp{wY[HMDf?r_xoTOMgBSAh~t?I^tNufvR{h|S}I^LNwfXR~Hut?A\tOWfRRjIASya_lMWgBRgI@sxq_TLsf^RoHnS{QZ|Lgf`RpHmSuq\|LgfRRZHtSvA\\K}e`RMhgssiY\NkeXR|Hds~AXlKkfpRLH{srA^TLCfjRRHzssa]tK{fdROHyS{qXtN[eFRCHys|aWTNOeBRqH_S{qV|JofFRdH^SnQ[dJwf@Q|HpSnA[LK_e@RIH_sqQV|KOeRRIH`sqAWTGKgNQCICS`Q`LJkdnQxH[SmaUtJgc|QxHOSmqR|Hsf@Q[HpSeq[LMSctQXHpseA[dO[cXQMICsbQ`DLsc@R]H?s_aZ|FgenP{Hks]qZDEkerPlHjsZAZDLObPRUGtStQLLKSbJRFGrspaKtEGeJPcHbsWqWtLWafRSGistQIdMWaZRgGfsxqHtCOgHPEIAt@aGlCCfXPBHvSOa\lIOddQoHRShQULG{dfQOHYScQUlIKcVQIHOsaQSTGWdZQnHCSjaO|HObjQQGzScqMdFCdTPrHUS[aT\EwdNPoHSsZqTDDca~P`GlsUaKDDWaxPWGnSTqJlD?b~PPG~S^QITHSaTPKHJsQqQtF[aRPxGcS]AG|YK?V?H_DSmYVTJmdzQ{h^OBG@k?y?j?V_JOEGBS@eH^CpaWPKwecRIHjCvaZOIgDcAm@Z?n_VO~w_KOAGDCBaAO~W^sNqFbBq`wO|G][NUFnBw`zQvx[KmAUxJ\dnQeXQ{ham{VJjeDvYz`[imYUtjZDryux[ylcVUjkDlIyxZMmAUqj`DlIwXZMmuUpjkdkIzPY}l]U}jWdnyu@[AlWVRjVDtYth\QlWUyjUdmYv@YylEVQjQdsYs`\Al?VFjOdqYsP[al?VEjPDpIsH[UlEUzjQdnYs`ZqmYU^jfdfYxpXykwUijTdeirXYekqVJjeDdyr@[ikSUjjSdaYp@YijkUtjZD]IuxV]lKTfisdiIsxUajGUfirDiIspUUi{V[ioDvijx\uiQVFiddqYhP[amGTEjbDPyh@[UmcSxjgDMIex\EhgVRiZDtYeh\Qg}U}iOdoIc@Z}gwU{iNDnYbhZmmASXj`dEywPPiloSUj\DEIvHP]geVXiIduya`\ig_VUiHDuIaH\]kMUQjBDcYohXMkkUBjADdIqhWIkATpi~d[io@VAkUTljEdZyp`UyjSUOiuDbylXWyjAT{ipd^ikPVuiiTZijdVYipTqicTriiD\YiXVQjqTNi|dSYnPTAiWTWifDUihhTeh{TDi^dPIfhSMi?Syi`DNIgHRmhUSpiXdJIePQuhQSmiTDKId@Q}gUSdiRdBI`PQYhCSNiEdHIcXOyl@U`jPQShI[dQA\@O_foSwISDECJAE`AO`wPKGaPxGyc\qMHE{beOBGBc@Q?G~{^yNdFsbxtCyalPQgbSOiHU`rNDgcrtYGK{u\BP|fKsZXqLFUabL|fCsXYJKwU\rLtfSrXXuKuuYRPteks^XiLEuYRPTeksXXiLDuXbMle_rnXfKzUWrNTf_rJXxKqU\BKTfGr@XrKouVRL|fCq~X]KwUKbODb?r~WpK~UIbN\fspVX{KUUHBOdaSsLWeLAu_RCLgGpDYBKPu`rBD`gsRWXLCUCRLl_{r\WOKuU_A~lfwn~X~J~U^A~T^orvX|J|txBOd]GsLVbLAu_Qz|gGnBYBJoUPRHDc[qTXEKcuNrGTcCqHX?K`uNBH\bsqZW}KeUTBFLbkqlWyKiuDREt`WpnWVK[UDBEl`KphWQKXuHr@d_wpRWgKEu@rDta{oPWEKUuAR?D_koDWIK?t}BBd^cozWZJzu@Q}d_KnlWCJyt{rB|^Cp@VqKNT{BI\]wqdXPJvtyrJT]sqxXZJuTyBHtd?nTVhKftxRI|][qrVeKkSnyWLKAeHRAh`oDwAk@Y?p?Y_KpIgdKQm@f?t_YOyg\cMmFZBn`vS^YN|FybnPxg{VEB`DpcwR[VMDVABadpWwT[HMIv?B`dokwB[LL~vAr^dosv|[KL}vDBVljwwj[UL^vDrVTpctv[WL]Uir_\oGtZYkMAUiB_licwLYiMBv@RSlo[tN[ELRV?rSdoOtD[ALPv?BR|oCtBY_L~ufR^dhwvzZ}LMVCrR\pGst[PLKudba\h_wbYVMHUcr`thSw`YSMFvCBQDhGw^[MLGuzR^LmwvtZnL|u|b\dmkvpZiLzuxr]\nSvRZgLyUxB]DmWvdZdLwuqRXdkku\ZILeurrWtlCuNZOLcUtRW\l[uJZULaUoBYTlOuDZ@LhuvrVLm?tnYwLnUlB[LjWvFYtLpUurULjKuzZ[LXUuBTtlgt`ZXLVv\?@{@E?`?R_IOChHkcqQ\HNcgqSI`TOqgVSgiStIid\QuhXSLiFtBjnhwez}]Im~FaznhwAz}]Am~F_ZnPwYzw]Gm|f`znPwM{I\znAF^JcpwAxO]AmRf_ZmHtUze\RmxFTJlxtIz_\PmvFSJhhvEy]\rmfF[jlpsiz_\KmvfQzoprm{O[|nBfNJf@wM{I[ynAFMZpHqe{U[jnDFIjchv]zq[bmQF]JcPvYxA\tmyFGJbhv]zq[^mNF]JbPvQww\umLf\Zj`s]y{\HmmfQJgptYyo\DmaFTzjHsEyE\Zm`FUjfpt}y?\`m^fWJkhrUxm\fmrFLjePuIzE[rmqFLJdxuaxa\imWFYZd`umx[\lmUfZG@K?m?T\nmwVZjmLvIzf?K_FOBZyH|i}w^RnhFuzxp|i}w^Onffuzyx{u}U^XneFuJx@|]}Q^WndFuZypxU}g]VnifdjzhxI}}]SnnFczpx|U{a^UnGFtJzxwq}y]MnnFbZwPze|u^Cn`fmjvxzY}A]vn_FmJv`zM|{]tn]flJu@{U}K]pnbfkjtPyQ|K]knQfizsPxa{s]bnOfeZsxxy|Q]_nSFfzrXyu{y]nnMFjj{A?Q~C_Enog@Z}i?E~m_BnzG?j}P~y~e^~nyG?J~@}}~s^on{f{Z~h}u~[^znuF~J|I?^?Q^joCFyk@h}Y~O_NnrgBk@`}R?U^doDFw{CQ@r?{_coPgF[By@f@A_ZoOGEkAqAV?o_foJgHkAY@B?i_QoIGCW?QAx@P_i??gKKDG?L@^?@OTgKW?QAt@f_k?@gKn