CAT(312,2)
Sparse6:
:~?Cw_A?G?_s@GE_UE?O`ACGP`ECWX@IE_S`_CwW@IEOS`gCwT@mD_\`[FGT@uDoZ`WFGo?qAgJ_qAgJ_uBgN_uBwM_]AWG`YDwTbKNwsCAOOtboNx@ByNP?asKgnBAJ_pboKw}BUNOsbcJwlBmJ_ybcKGzBIM_paOIgkAYIodaoIWgAiIofa?MGv@yL_^bWGw`BaLoaeK@GE_U@GD_YXP_eGWxcEEW`ee_WXfEAX`\e_VxfDyWpPeSSxcDIU`OcwVHNDmRPIcoQHHCmTpDdcPhWC]O`UcOTHBDUBGJ_i`oF_eAGF_aAWR`QCiDG]`AHgWaIEGq`QIgOayNF]\QLgw\h}GE_q?f{_hzGi^QKfoaxxGe]aFf_aHqGE\AAgK[xnGubppgw[HiemYXkeyZWlayJwiaqIynH]kAWhWji^IykA_i{gY[JIkq]jCfYXJMeaqhkkYOhIcYRhQdYdImhqliWjIgIIhAiicgzEJQqAuk[lY|KenrJjwqjDJmnBBjgpJ@JelrAk?mJTKqtrMlWrZQK}sRSl?sx_eIWYjiujIgiiiZ^MQxb_lwxZ]MMwBal{wZ`LawrYmGuZZMQvBdmWvZuGY`YCkUpJBkEoj?ns}J}N]~BunW}zwNe|rym[|JgNU{rhnc{JqNm{RynozZ}M}~RmnOzJtMm{ripPCcCoHC[RON?SPpK~{QOBAsMotCKKO~ACDo\AkHOZFsTptDk]PRDsYpdFKWPm|JtnNGCfq`Gk`QZGseq`H[cQ^C[RpJIOAQ~I_BRE?SjRA?SkQ}?cmRE?slRB