CAT(278,1)
Sparse6:
:~?CU_A?G?`OAwL_qA_C_g@WI?Y@oG__AWF?eG?F_eAGC_Y@WM_}CGd@EGoRaOCg_@}G_\aCFgVAQEOd`_GwY@uF?^`kFg_@QD_``SGgM`ABw}@ECwQ`MCgP`QDWUb_OxABiOOxbkOG|ByN?~cGMxBBuOO{cOHhEAaPOfa{OGpB}K?}aoPGmCYJPDb_IWjBiMOibGLWvBQL_reG@GD_YAwL_qAwL_qHgfaaX``eSWHfD}VpiecWXgEAXPOeWShPE]V@gdwYh\EeW`ZeKUXcDiYpUd_ZHVEuW`ReOTXbDQQhJcqRhNcuPpjesQXGEqBgN`AFW^`y\AKgw\htGuc@|g{^iPF}b`yfkbH{GubpvfccXwHAZhoe}[XrfI`aHg_ayFGi_q?gS_iCGEcq^hwdIQIAfQ`hogyZIIhqWhgiYXIahATiWdydHYkAijGjIpImkqli{lYsIyNW{bm`iGg]_yDgQnBCjwoi|KMnb?jsoY{J}lbAj_pIvKMnqxjkoYyKAt@^eEWI`iMgi^hygJSLiurTlotjSL]tbXlSuJELMsRFkSsjOLetrMl_rzJLivBLlkrJGLMsbIlCqZqMG{J_M}{R`lszzpL}vbomcwzjMUybcmWzJgMyxrlns{zsNm~BqnS}JvNe|bylMsjPnx@[?OY~sCoD@KBOZ?cDm}{Zoo[?cLo_?sN_DASM_DAcL_HBCN_LAsM