CAT(234,1)
Sparse6:
:~?Bi_C?_CK@CG`CC?{D?{E?{T?cE_k]BKWbSYBkXBcWB[V@KT@[IAsWASYAcXA[ZAS[A[\AcU@{VAKTACLB[KBkMBcH`[IfGJ`KI`cM`lAFP?fW~gGxewtf?seorf?xewzeoygG^bp?c?~eG}f_qe?|dgtdwsdorc{hdCidcjc`?co~gGdcG{cW}cO|_cD_s]cC^kh]kX^k`\j`_jP`kPZiH_kPRiP`hLIhDDg|EgPbg`dgXci`JhhUh`TixOjHNj@Mkp|nXfn`gm@tlxvmHumPklpslhrn@hnPinHjoaFoqHoiGoAAoX}ny@aSSa\VjLWidUimOQuQREPQ}QQePQmOQ]IQuKREJQ}MQmNQ]SPmgEswe|qmdrmDpl}gTuoTUnTMgTmiT]hTeXS}dR]YSucUEbTunSU^T]`Tm_TeeRefRudRnEUjBwiuubCuJCuRBwirvivvyxvqwvR?vbAvZ@wrKxBMwzLxRNyJHyBJs}esnQZFRZVSZNTZNVZVUZFBwnCzW@[N[?ZbzgA[SAZr`_J_[[BZza