CAT(872,1)

Sparse6:

:~?Lg_@?A?CCOGOM_^@[AKCwHOQ_f@EC?BWDoK`K@yB{FWOOa`BAACSGWM?^_u@yBOFWJ_S_k@aAgEW[?v@jBWEkL_Zon@dBCEcK?Xok@PAwCsJORob@RAkCkH?TPF?Z?m@cAwEoK`RAmDSJgUOl`NAaCsGwQOdalDaI{S_hpOAjDCIcU?fPLAlD[H{S?dPKAdDCH[RObpNARCwHCP?cPEARCSG{P?dPKALCSH[Moho|AjBoIcMg[owaAByGWOG`?~_T?i@SaOMo^_|@A@sBwFOO_^@]BKEGLO[_v@QAsDWIoS_lIOROgXKAbcqIIRWgXMaacwIMR_chMaScuHMPwdXGaVc_HYQObHFASceGuPOdhDaVcQHUOwfxCA_cKHyOggXAAbcEIIPo_h?AKcAGuPw_XGaAc_GANGfhO@vboH}Ro\w{A_bqH}JO`wkaGcKDmPG\HD`ucSFUOW[XA@qcIFMLoeHL@ocqE}L[ZWuPgbTEeKw^Wq`~bKFyKO]gq@{bEFmNgVw~`_b{EENWVG}@]bsDu]O_xAqCcPGYO{LWZou`JAQC[UWlPZbbFMMS~A?R|F|N{^\?`{S@FrOK^S~`yr~FnO?]s{a?rsGFNK_Sh@uQeF\IS\ks@{rMFtN_X{~@er|EVKo^[pPzREFjK[]{zpaRpEFKG]Cnx_r?dzJyVcz@[qzF\Jg\kl`vqwF`NCU{yPXrjDjMgUcx`WRfDdJC\CypUqnFRMgTs|@SrrDNNGTCx`TRfDXM_T[tplR[ErLkZCvPiR^ElLwYksPprQFHLK[kq@oRIFDKc[LRA]s~h|RifdMyccMiUO}hPBYEDGgUSY`PPyBdJiQOe`@QiADGiKOY_hPy`CPgcSAgHCIYCvhkReehMISDBhSSUdHPIPCmhGRAcXJyNcpheQEc@KiMcXg{PmbPFITcUhYPad`DyIcfggQYaXHW|PzbxFuN{^izD]j?Vajx\ytTkjVU]lDYY{dcjsUUnXXi{dNjuTEnPSIzDKjmSyn@RYwDZjcTumHVIkDrjiTijH\IidlimU}ipZiodQigUIkXSxrRgfNMm\KyhvRkfZM}]K{I}E_lCVysH^ZJeYkqXqr@ezJEdlEXUs`dJHe_lCXEsHcjGE^k[XypxfZDuKkZWapTaZPeDlIW]s``j@EYkGXqoXezMd~kAX}o@fibTGiNSeh\Qj_vAmFZywDnzaEqmKZQwhkzVfFla[eu@qJUFClY[YtppZbehmQYmx@ij[EzlqZuvPnJREtlmYasxljkF\m{\Yz`tzhf^mi]Ey`wJgfImc[qy@qzefXm]\mxpujqFgnE]i|HwjqfjnM]u{pzGaPEaJL]ZKuHiRUejS}iLSIeTMiZZavTmZYuvll_X?E@s@WGOB^t?]@R~wCN|^p?T}c?VzOB^s}|}R~v}Np^g}d~BzVzNj^O}|}RzVtNp]x?]@RwWCN^_W}MABxwFNda[?{AWCQ@c@GIcTHIPs^hBQAoT`J@t~kBWAxTqzeVLm^[zEqM[\gwpmbjFqL[]gspwbNEALkXGwpab^EYJ[YGnpiazEAIkXGjpaarDYJ[TGnpWaz@QG[DgboQaJFaFk^G_py`~BYM[Mgypu`rDAEKLGhpM`fCyDkSgVpO`VAQHKRGSpI`N@yG[Ggbo_aJ@aHKRGMpI_vLw@GBODr]c~IA[[fHoqUe~Hi[[eHoqSerHAZkchlrQcVGyY{bHirWcJLqPKuhBrQb~LQOKth@qyeNJyX[nHcr?djJaWkohZqmeZLAU[rhWqadVIYTKhHU_N?e@CAWBoGsqhXQMeDHYVS`hLQudTKYSSnhLO}aTIyGShgPQE`dHYDSbghOMbD@yJSDfxPm_DFx~S\fHNU[s{XsRrfTN]^SzxuRx?Q?k@gAOE_JjhCMG{PWcpLaVVIk\[IrtmjJUam\ZIvtijbSin\^iftKjzUajlZIotii~TYk\UirtWjJVQiLTI{tQjnSYm|QI{tCjjRyn\^i`t?jzRUe\Ly[s|hvLMY{tXlr\erWqvlcJ^v?k^[Is\pjNvClB[IrLpjMvCkvZqq\oJJuSl~WMoL`ZBuHkVYiu|jj\uklrZAsllJSuqlN]qxL{JevmmV\i{|vJtv]nR]IyluJovUnJ^Ix||jhvsmb_R@]AKFwEoZ^a~}?j}vyoBQud|KZZuzlrZEulk{MWlp@afBuI{MWbp@aVBuH{GWhodanAeJ[PWVota^BEH[eTpjfU}{|yzsvdnF]FIEU[mXLqtc~HeT[gXVq\dNGuK{WXHp\cnIUO[iXBqHd^JUM{mW~pxdfEeQ{bWxqPb^PEYL@yErNeROm`knxasFeBOm\kuxyrVfbL}[K}xssBfJN}aLLy]sZhrP]cLIyQsrgzQ}Q{cxFt@ivSUk\QYntLi~TUk\SYlsFg^Omk_@Y~tg?ZW]l_AZ@?HjbVw?l]ZB?LjjWN