CAT(254,1)
Sparse6:
:~?B}_C?_CO?{G`KC?{E@CD@KK`[I`kN`sK`[I_{H`CL`{M_cE_kC_sDdwmBKmBSmB[[Bk\Bs[BsdB{`Cs_C{aDCcDSbDKaA[TCcbAcUB{`A{_BCjDCkDSlDKkC{lCsjCkVbCUbKZbSOaSPaCPaTUHxShpThhRi@RiPTiHSgLBgTDgtCgwqhGsh?repFhGtexGf@Ih_yfHJhgzhw|ho{i?}iP?iG~e@Ih_pdxJ`cI`[L`{MkPsk`ukXtn@pmXvnHqlpsm@ulxtlXvlhxn@kjDUi|ZjLYkh^kx`kp_j`gjpijhhnQKpp{nYLoYEoaGoiFpQ?pYApI@qH~px|q@}qQWrQSrIRraVriTrYUdcld\[jt\kL^kEcTUeTedT]eS}dTMcTE^TU_Te]T]fSMhS]gSU{IdTi]Hp]Io}Gou{WU}We|W]{V}}WM|WEyTmnVMzTuuWUwWevW]rV}tWMsWEoV]yUUpVNYXBVxRXxJWwjVwzXwrWyJJyZLyRKybMyBUyjN{BYzbazZ`zjbzzdzrcv]yvNe\nf\vg\fh\fj\vi\nVzNW_Rt\{B]zo}G@]vq?Jt_Rs]~r?Zu