CAT(432,1)
Sparse6:
:~?Eo_A?G?`KBgL_}COS`SCGQ@MG_O`ICWJ_qAgH_eAWO`ICWE_a@wv?Y@wG_YAGFc?AgK_mP_I_qAxKA_Fw`AiG?h`UDGRcWFHG@yPo\aKEWc@mG_YcGMWvCAOOwcOQXBCmPPIbWJgoBUJosbCFw`BMG?q_sEWN@mB_YaoFGl@yIo\_U@WD_uBwM_Q@GCfO[xrfMShSdM^PqDUTpofCThle}ZhWEiU`kdcYx\dmVH^EqY`_dwYx`eMWheeQXXleyZxoEeXpqfCYIZHcdYVHaeaUfOeIYFYePtf_]hxFq]pvfs_H~GI^a@gS`yCGa_qEgcbIMGmaaLg{ciPHQcARdASXNjAkipiEgibj?jYnJIkQmhygI^i_jIhImhqiiOeyeHqhQ\j[oiwKMlbCj{mYyKEmr?joky}JUnQskiqJHk[rJDKupbJl?sjRK}sRMlgtZUlQvBWl[ujZLeRHMcu^BafkwHyMEP`Ic_QxFCeOPBcGPXCCANaWhgNYXB}M`ubo\WzFQtpHlcQzWCin?xb[ngwJuLarjSLYsBQc_phOKiRBMOoycOMxDBqRonb?SWmDAIpyas^GkFmb_hgoIggGuH?faGHWbAY\rYfcvHwLm_?^aC_g_GEK_sbWKwpBUF?|bwFg\B}`aPg{aIOG]HWfaYuZVlaEgZ`erjOk}NW~bylywjYDwW`ZKcoRFJspqxKZkM}{Rmms{JqMe|BjnKykgNbIbyqc}ZtPrFbvps|k^QVGCfqDHkaNm~ScnpGz}P~?C`n|GKBOV?cEoD@KaPrFccptG{FQVASfo`HkIOvBCNolBkgQnIclqdJKQQrJSPqlCKTPbDCUpLD{mPfKCZq|EjbmUxJemax|UUJUDct\W|cTnWdYuLU\fTzXT\uXVL^UVWTfu@XktRbLsyrXM[}RnOC|r|NL@SROtEsHP\IS^QTKslQLLTBRtQsxS[qTNLDTrLTJamAw]EVvaD}w\^}?Wb_eFwD`luUf\Tguh\LjV^ZDxut]LyVBZt{ux]}CVN`TpwL[j\l}vmNXncU\x@fMWXnee\xdfMKXJbeSwtc}HXVauVxXagAYPfgBYXgG@YTf}`?Dh}b?Hi]a?LiN