CAT(816,7)

Sparse6:

:~?Ko_@?A?CEoLO\?x@{BsH_OOb`DAUCcGWV?k`ZBCECM?XOr`hBUEsLwa@?aDByF{Ow_pOAXCiHkRogpOAVCwIS@gAOD_J?Y?cUOCpV?PD_@CA_jOIAvDg@KCGFOM_^@A@{CWIPh?d@UAWYwJ@gaC@aAwOG__V_qByGWEWK?~aG@EGwCga_RaQ@QAoPgI`G_t@yB[FGNo\`PA]DKIgToe`DAKOsHGQaG`@ACPSHgRaK`PGwDKIxG?i_sBmBWNW\?[`o@uFGFw]?]`?BICGKwQ_s`GBUEwGwZ?adGEIKkXwppebHIsTcihTqCc@GEOS`X@oo`bAqDkJgVpIa^CqHkRgdoL_V?q@kAwDoK_Z?q@sCGFrODaKyUOrxYBMdeK}UgrhWBNdcKuU?qxWbJdeKqUgrXYBKe?IAV_fhNb@dyIEVwgx^Aad]HYQwjXIamd]HIQWjhIAldGFiTG^xQ`|dKFmSw^HS@}c\HAP{bHGqLcKHyOwfxCA_cQIEPOghDabdMF]T?\g{AddQFQNGhhQ@t`^AuEKKGVOk`dBMEkLGZoucECQO_PhA`GaIGEHG_gba?`qCiFWQwe?yaYBqF?Rwf?|alD]JCUWlpYa|DqKKVwoP\eTKUXCqXbRFeDKMWSpHaRBeIP}WpFhbc`eOQMc?qhccadxJyWCnx]r@dlJ]VCmX\qyhkJ]ewmH\czhoJeVPMi[aubEPaKhEWqCYbKPmbgXwpC[dTIiT[ixUQkhSHaRHIxLCkcuQuRhJxMCmbQRqL@NY^@ih}EmLhOI_`kb\FIL{[GxppaFCIFsNqsP@JLU[GDW?gTaAdUKILXOit`AhUOI\RaQTNHJT?ctSaRshIfQ_iL^a}twjrVmnT^HOq]c~IAS[gg|p|btF}Nc^gBoF_N?Q?s@WCOI_R@]BKEGGoQ_f@QAsDYBsEgPOe`\Ai@S?gJOQ_L?xvRofbNM\{{jZEpKxYwsDkbMu`L^Z?r|krNU@KbWGqL_rHUOJ|XGn|_BGT{KTWwnLbA|uJJpWsnlbq|TSLhT[udUBYTXLjTSulTbYt@KLR{pL`A]UFHzRwolOBCUdGxYObLhaKS\LNYGbTgqLuMHFPwpTaqNuKH@QCp|bQPSKKJOsotBbBuCG^WcaLaAGUmGLO[t|ABWSHLbOku\AbXUVFjX_]de@{uVFlXW]|d`{RqKjMwq\cpvuSF`NKqk{RIRgKrXk\de`urjKvXc\SyRLROLTLCt\j@hUlEfLStKtBSTeJdU[m\YAyTtJRUkm|YazSuIZSoe|Qa[TJHvScfLMacSQHJPKc|DARSTHHQca|IAJSiG@Qk_LJA@SlGFQw_lJqATYFDTk[\V@qT\FJT{[{xanR[J@UCZ{vapTbFBLskkwAqUglRYit\jJUuaPPYPDLhSTUbPVY\DdhcUu[kzXysLfzOTwjrVin\^Y}U@k@V}oT_y~TnjZUqlt[YwTMi^TIiDSygtAQBSLG\PCaTFQJSTGUOAbWsHdRTEuLQWWwHbRPFLKsZryPtbk^[~C]R|PzN|F{~c^XKEtcsZKusfRUQ^dCZCtsgXjRTetLeZsvXGRZcXLUPsuXHR\clL}QctxfRVedL}ZCqxiRLe`LmZcqX]MPd{xMWBdX`MV[tK]WbeWsR`bTMM[cZXrPnfTFM\C[X?PDcHC]OSQWdQJa\G]HcaWIPtbl@]NCEWNP~bt@uNcEwON|`T?MCR~wQO@`P?]Cs@WUNp^dA|}cKVzOr`k~mEb}XQNddW}}SrxxSNhd[}uTRyvoPd]pDtzSVvmP`^DE\zsWxFNLc_{}QbsXENRcc|]QrtVYN@\k{LvBpVbMz]Sz|xBnWGMn\`?}@BiWDMj\d@M@bjVMQX[|HlsCfVPQ^dCy\scgVAQr[LJTpClvDQpdsw}VBbWlM@a_veIR]wiL|akwMJB^uvOxZ`BlmSNW^LlZlCLmcOZIT|j|X]oDeZ@UZkLX}odfYdTfjXSelTPysTDi@U}gTXYlStipR]jdMYnSzh|UMfdWYUUPhdW}eDcySULh\WedTaywS\jdP}mdGYzSbhLVmnDHZTSZg`YEaTgyIUdglYebDhyATLgLS}`DSYhSJilO}idBXuRxftM}^c{X~RrgDN]_C|ZyVhn`^]~TyzxV|n\^}|d}ZlV`mx\EztszpVTmp]]ytxZVVLmLZMxDlZUVDl`[}xTlz[W@oDZn?dnZ_WFmD_n@Dn{WWdpda^EeI[ZWjp\bnFEJ[KWLot_~BeC[NWRpD`^CEDO@XGpy?RHUNoBXKqA?ZHuO{b?CqfcO?US^