CAT(256,4)
Sparse6:
:~?C?_C?_CP@WM`_N`gO`_M`gN`WObOH`SH`CG`S^b[[bkYbsVa{WbKWbKYAKRB{QBk[AcUB[TBsvEobcGtcOtc?ucgteocd_qdwseGre?qdosdgrcsgdShc{jeSse\BH\CHLEHTDHLFH\GHSvFkwFsxF|@FTAFczGCD_{EjLWjLYjTWhlOh|PhtKiTRidTi|Ukx`k`ikhgkPhkpkkXjkX[kp_kh]jx`k`ZkP\jXflP_jxkj`gjphjhj_cC_cD_kE_{F_tGg\CglEg}DPeEPMAPmBPUFPECP\rN|sN|tODwOM@M}?MtxPDyPLzPT{P\}Pl|PeEMTmOUBL|lOloO}CMKG`SH`{O`sbcCccKdcSec{gdKjdUoUekU}nUupUUtTmrTuST]hQmhQuXTUjREiQ}qSErSMsSUtS]dU}cUuYTeZTm[TunRmpR}oRuMSuNSuOS}gQ]QTEPS{Wa{XxRUyzMxZWyrNxbVxjWwjAwr?xA~xJBwz@vrCvjSyAwyIxvRQvbTvZR`cL`^^\^_\^`\fl[fl[^k[VX[neZVZ[~[\F]\V\\K@]bm_Rt\{B]ro_Jr]~q?Rx}GB^F