CAT(432,4)
Sparse6:
:~?Eo_A?G?`cD_W@IDoW@MDOW@QCWO`ACWP`AAgK_mBWM_}DWS`YCgV`MA_H_o@wM?eBOF_{AGJ?aOoD_Q@gI_mBGL_}BgQ`]CwS`YDWzbqLwxbiMGtbULGubYLGwCAMO}bkNwyBuOO{b[OhKByRO~cwOH@C}SO|cGSHBCYPPIcKPxCCaPPHcOQwpbIKwma}KHEAaIpGaoPxHAiIPJasQg_DAR?\cwFhN@}GPPcsFGcaIHwbaYHYJBeNGzbaMgvbQLgtbuOG~cINh@aeIGiamJWkaAFw[aEFg\iAhY`iQgibhgayNH}eqLgwfIOHyfQKg{ciMHMcQJhCbIOHMcaLhWThRHaSaShSTIXDUTqVhc^h{HQ^QUf{dY@Ha_AVi?\hwIUg`vfkgYcFi]Qbhg[IZFEf@qhs[y^FUf`seGaiGDya@_gcVyIEEWqHe{`xmGI`PjgWZICEiZQBeWVHYEaU@cdcXX\EeUpfgaaiH_Q@WE_Q@gD_a@wHdMTHQdUThVgI_yCgU`yEfA[XtfM[hsdeUhWdmVX[nKzZlM}yrmmo{JpMm{bkngxZeNm~bhnoyj|Maxr~o?xKAMIwcBoCxJbOUwsCj_xZeJembfjkyI|MinBhlozj\M}vbonCvzrME{b_l?|JPNUsrulO|zTNesbwoOrjLOV?BIkl?k@K}rCBnsoj{KA~bBjw}j~KEnrznOlyqNUkrujO|ytNelbwlWpJDLapbVk[uZZKeqBYiWjIgIuiQmjCiynIikAfaMHGdaYHwai]iIjiehiitXTTNtPSLSTFTDMtTS|TTJQSxrXQLIR^QswstM|KRjKDGsdK\IRJKtJrTR[sSrGDOqDR{]SzFtPqLS{aTJIDEqTP|AQRPSeqdO|CQ^Cc{pLO[TRvNcSr|D|?PZIcKqlB[kOzJSPq|B{mPBECEo\E[GPjASZptA{IPr[D}ux]lrV~Ztzvp[lpVv_Dguh`M@UfZEAul`\lWNVDst|\|tTvWDuv`Vl`VfUdetXWlXUVTtbtlX|WUReEQxdc}YXReuTx\f]UXrbEEwt`}MWbbuHwlc]OWi?UcXy?edX}?ueYBgOAY^goBYfg_@Yb