CAT(672,1)
Sparse6:
:~?I__@?A?C@oAOE_J?{@sBgFOT?]@IAGDGG?R_j@YA{F_LOW_rAOC[GWPO`?vAKBcG_Mo__~@yE?IGSof`KAiD_HWT_c`wBiFKMwZ_m`oA}EoJW\_r`sBUFGLGZ?p`mBIF?KGd_L_X?m@[BWEO[_z@mDsJwUpUajDQHSQGcpMAhD?IkRojPLAbDKH[R?hPK@~CCHkO?dpEAbCSI[PohPAA\COICOofo{ATC_FsNOcpq?h@IA[]?xpsbdDkMSV?yPYBfEqLsZWspjbTF?Ks[OsPnBNEUKcWwpP_bBE{Jk[OnpoA|DeJCTwDOI_THoMKZwwOu`pB]BsGGNpZaxDiSgghQAedMIMRcfhMqYcvHeRGghQAZcsIMRwdhOaWd?H]R_dhNAVcyHaQWfxIa`cgIAQgbHHaIcgGmPC`xCqBcDGESo\XR`vdIFYPw`hAaLc[GQNW^w}@}byGANGcG|AQboHEYgAWCOF_R?a?{dxKQUcvHeRSQGdPH_^@AAKCgIOR`VAqDSHGROd`xByFkahEQJbpFiNK\wypufINm[_}hrBxfAMQ[owxpBdfeL}]gwHnBse{NA]Ovxwb_eyNiZW}xmBxeuNYZ_}HmbvejL]YsuXlRWfeLQYO|XhbsfWLa\WuhtBXfMLY\GtxsBTfAK}YGwxgBaeWNA]OrhwbLeQLQYWqxhBIfkKMWg}HzbCe?MuWGzx`Bmd}MyVozx]blfSJ]\_mXtawfMJE\GkxsAqd]JQU?lhYamdsIqV_jX\ajeKIaX?ihbah`tBmFKGwPO`_v@uBcJWVom``BIEKTwkpWiSSQh`PiddDiASugXRy`DMf{Sy^`Rx}dLiARagXMY`CyiSRUh`LydcuhfRIedJyWsoh{Oyg@CI^cNiQPMgxCYHDGgIS]_xQYBDGgCSQ_`Pi@dDi?OEfo~y^c?huQYd@NY]CfhWQMdpHYUcch?PicPFIOcZgyP]bxEYNCWgkOua`AyIcKgOQe`PIyCcikQ@aBKEhGQQcbG]PKaH?qBcDFyOC^wypvblX[pLarJUIKjWspLbBDUJK\WWqTaBIUFKfW{pDcBBuEKbX[i|UBIuUIlX_mLeQxUYJfWomDbQvuMJ\UkrDZRLTkKrXKjtVBIUQIzW{jLcQluOItWKnT`Q}UCJvVwmd\Q}tuJ~V[lDYa{twJRW?kl_aru@JLT{ilWQhtSJ@UGiLXAhTbI`\O?c@gAoC_J?YotaJBrQehLM@kBGDqnd`IyW[pXaRAe@KETkixUTajHUMkDWYnvmN@]C|dwbuvbN@]S{TxBovjMn\c|TuBsveMj]_ytxriVYMf\oyTurgvYMd\CzdurhvMMl\?ydrrivMMn\cyDuBfvcLN]StLwrSV\MP\{xTvbcvFM|[Wz|pRmu{MV[svtnReUxMV[svTmreVnL`^?uT{RWulNX]wt|jbuvqLTYo}d{rTvnLLYO}L{BQu`NhYK}TgbxviK|]ksDyRNveKv]_rlxrMVALlZ_wdlr`urL~ZSwLlB_VJmZ[qx|sJfVPmf\I`tByGSPgfPJEaMk]GupubVEQMkWg{pubNDAMKSgvpSbfCiL{RGwpMbfFiAk^gKp{_n@AN{]gHoMbz?aO{BHDoIcRGQ?k_g@q?_NG@}J|HAnqcE}qPJyhDqE^^DYGkUgcpWaNBaJkWG]oya~BYF{OgXosaBAqB[FgWom_zAX~kIg?og^~A@~KHF|nu`FHAY{bHiqMerKI[KphprceJMYWKyH^q{fVKyU{mhhqwebJAXKkheqseVIIT{jHNqidBIQRKiHLqeczHIZ[dhnqSezPY_lEiCsWgNNy\l?hws?f^PA^K~IIrygfNI`[|iFrsgY?IdtFOBSqhA?QeDFyS?AhFQW?dJYT?EhJ