CAT(446,1)
Sparse6:
:~?E}_A?G?_sAgK_mBGI_mBWN_yCGQ`EDWS`MDgW`]H_aaMHGbaQGgaAUH?daKHW_AEGO^a?FwX`mEg[`uFgqbQKwpbAJwvAiIotbWIWkA]J_gasHh@B}Oo}cGOGwBmM_|bcNG^aEGGL_}BgQ`ECG[`yFWY`mEWwbiMWzbuNHXDqUp]dgVXZDYU@Xd[UhQDMSPTd?THMDYU@Nd[RXMDARpQcsSXKDuV`JdoQhCDMP`TcSTHKC]QPIc_QwF_eAI??mBGI`UDGR`YEGVa]IGeaeIwibIKwsbULwugwcySGqcaLgwaiJGuaQKg[dIGHM`aQgKbyCHE`QOgO_IDGI_q@g__IFGI`a@f{WX}D}^P_g{\IPFUc@ufCaXrGm[aIew^xoFyZp|foYxlFm]`ke_\xxEi]@hfgXX{E]]peeG\xxEQ]@bkG@GE_UqAdKIhbCiOozFIIpabkSgZEHypq_kSfyZKIfRChooyXJ}eb@k?eJ@HYnqVk?dY{IeiA}i[nYrJYlAvjSmIlJemami{myoIikakjCiwH_]AGH_a@znMWzJfMyyBlmczJjMyyblmcvz\Mmvbim[uj[MaurelSwJUMItB`lCtzRLesbWmKrjOMUxBNk_qzIKuqRK_Q@WE_Q@gDp?]h{fm^X~fz@sMo`B{HOvAcMopB{JOvCBzntCZ{PJAcCop@kJOVDSApL?{SOF@r}oc~{GOBDBxpS}kRNa|SOpG|zuPEzzpnA{jsnMoZ?j}pzEkVLC[ptLk]RVLCdrXH{tQZGcxr`HKvQNFsvqDM[_RbDkVpbE[ZpjIsprLJ[kRJICnqhKKhQzRCysxNLLRnQTBslP\ISROdOs@S\@S~Pc|r|QK}S^UtQtPV\[TNTTWtXUlVTezJmmvK[rrJKKnqzZDculXliUVXDfuXY\dUbXt]u@Y\^UbYd`upW|jUJ^CNozB\HsjQ|EsbP}CVr_t}wH^]?Vz_T{vt^|nVnZdxut]luV~_Tww@\}AVN\UCwL\LyVB]tqvd[]YX\amXWbeEHx``]VW^eUExDdMUXNceTwlbmLXBbENyLemdXrhEZxxgMaXvgU^vn]lxyphmmY^jUgyti]mYnjEix^e]W_Djutz[?uo_HkUu_Hketz[?Us_Lkuu