CAT(422,1)
Sparse6:
:~?Ee_A?G?_sA_J_kBGI?qB?H_k@wI?aBWN_yCWQ`AFoV@MDOU`_DGF@MDOH__DGU?QDoD`_@gC?]@_H_SAGC_Y@WnAyJgmbSJorbCLGoBIK?sbCKwnBIKgrbQOOzbqNW|bmNGvbULgwbiMX@C]OpHcGQHCCiR@EcSQxFCiR@Hc_Qx@ByOo~cGOHECAP?~cSNg[`yFXa@}GW_aIHGbaUHweaaIghfCIwlaqIwlaqOG}b}^PyF]]@{fc]xyFM[P{fk[h{FQ]`ufk\XoF]Z`xf_ZxaEUWpeeOXxcEaW`ieKYXdEmZPfeWZHpEa[`ifKYXsEmZPufSZHLDqRp]cwVXPD}S``d?WHXD}Up`dgWHnDYU@od[Zh[DMV`TdsTIl@mEWYigbIMImjALg{jYPIyjqOgcjYnGmaamhGiiRIqdAji[dYhH]iAUgSiYBI]`AgiCeIYIMeQaiOfYZIYhQ[g__YFGI`a?fsfh~IA^a^`qFg\`yFG\l[sBUlSrzSKysRTlKtjQLQpbPk[szDLIobMl?pJBK}qr@k?rY~KqqAxjkqiyKenArjwlY|JQkQwjGlioJ]EwY`eEWZ`i}@^eEWHnfAZjtNA{Run[zzqNY|BtnK|zwMM}bdncxJrMu|BmnGzJhM}{Rjmg{JeNm~Rgnoxz{ME~Ram?}z\Navrylw}ZWl]uZYlquyfieiIiiqi{]OR@c[pt@[^OvGCMqDB{IPrFSJpxBKFQBAS`o`F{?n}~kBoF?kRPfDSZpPEkQPbDcPp\CKtQNLCarXHKrQvJCqqlK[gQzIcoqdJ{vQVMSfr`Hl?RjOc{sDM|BRvNtDrxPJSlYt[ZpjE[Wp^DlKTJTDMstS|KTBRdPstR|NSZSTGt@P|HTJQtRtPQlcN]|jtrNKkpqzKKnulXlkUVYdcuPY\eU^XTgtTW\UUJTtbu\Vl_UfVtguhU|kTvYt[uLUl`TbWdXwH_Tqv@^}?VFZt~w@Z]@Uz]T{vl^lyVv\drvT]LvVRbUBwl`MKWJ`UGwXa]FWjW|auFbeTxXb}OXRcUSxXc}QXV^}@wBdoAXve?BX}?UXXy?UYXu?e[X}?uZXz