CAT(912,1)
Sparse6:
:~?MO_@?A?CD?G_Q?f@_@{BgGOL?\?sACBOFoc?J?Y?{AWDOG_V?m@[BGEOK_\@A@{L_Qoe`HB{CoHwQ?g`IAeDGIgU?f`UAaDoKwV_t`YBQC[GgOo`@XAkC[G_TOr?~@wEkG?YO_@`BGB{KONOZ@f@sEkF?YOl?pAwBSEOVoV@`@WESDOWoa`BAMAKCwHOP_f@IFkNG^OuAzB_J{LonOyA|BcJkMonpSalDUIKSwhPMa`C}KWNw_`dbGCAGOWwa@daEEQHOWGc@`bCCeKOQwe``aWEAGsPWbpVAtDcJcU?loG_T?e?k@wBOy`vBeQScHGqMc^GuQ?ahGaKccGmL[YWtQICBGKPcap@QNC@GwNs^pEpybpFeNWZGv@|bYFqOw\XC`vcOFYLw`hA`pcGFAKw[gr@sbOFMUwf`YQ[DlHsUkixUqkceJUQ_lhYATdaIyU?kxVaqdOIIS_ihSabdMIESggHRA^cqH]RWeHLAU`|BuFcrHfRLeRKmXSoxaRDdyKyVwrX^BKdsKAV_oh\b@eMJ]WomXcAwexLuZ[uHlRXeiMAZotxnbUecK}YGsxgBSfMMi\GzHsBjfCMU[WxHrB`fk@iBKEGIoV_l@YA{DXAQEcJF]Ms\Wvppb`EYLCXx]QzdtPO`\BYESJgZOq_\@I@SAgHOM^`AH}cIf{Oe^h@YBb}fwOY^w}Y?bzg?Ni]p@h{CDgMN]^w|i?bwg?N]`?|XxcHfgOi]WzXybnfgMy^G{HxBzfaNifW{xyrsdhJYUkAgCoG_J?]?sMg\ox`xByFkQGdPHdJI]SsdxKQUchHUQ[tXjrUikTej@UyjdYijTQi\TIitRiYTAhpSifdPiXSih\SAcTFIdSciLPIbTDiHSYglOqkt@IvSGjTOQetBI^SGhtNi^t?ikRmj@NYjc{hqPAfPBy[CMgeRaaPMi[cPhiRmexNYZC{iMRIhHLIXdGh{Q}g@KY^coiUQYd@QieCfgyQqbxJiNClhIPqcXEyQCYhQP]dXEYTCWggQAapGiIc`lYRifDMWNO__~FMMS\HorbfDMU[sxIFsMg`PIaLCyLs[gtPub|FiJSTghP]bLEJafJmK[qxhpz`fImG[awPqZ^fImO[ExHoJae{mMZywpnZVull\Yut|jjUE}lwYmvhijRe~lQ[Et@oJQE^lIYAspfjPeelCYUsHhJPeflAYesPiJUE^l?Ymrpij\EZluXuvHfJKEoksZIrHkZIeukkZ]qxmJIEtkcZMqXlJFeokaZIq@kZEEuloWyuxbZ[eHluWipXmjBErkOZUoxlJAFJmYWUoXrJ?FAkC[QoHoyzdajoUQkX]YydpjkVMmP\ItdyjYVql`]ytD|jOV}npYYvDdj]U]m@Xiod[i}Tyk@V[QeelHYUs|iZSUklTYmEsMGZq\c|HqYStHhrNebLAj|WYoTajHUMnT^I|tmj`U}mL[ixtgjTUfFiO{^HDp}cRGqNKcGypuc^D]J[UWgpTafCmHkRwdpNaYxqGjgGcm]aNCAMKOgxo}b^BaKkXg]pa`vBQLkLgtpg`fAqJ{WGWomazEaD[IGuoebVAAJ{WGQoaaz?yL{CgxoObb?qKkAGroIbE~YQZ}hJnwci}QOJyHAnecE|yMk]Fppu^BGXzJvHDqG]u{qN{]fgp{]^Gpy[cFjqM]i{YOJqHAnIcFHHwKdfaqS]EziJZngkm{amzYIJlGimwaeyIGjhgcmcaN@P}J|GKnq_m}qBZzgMo]^U~ptzkg?mo^}ya?ZigAmk_NTISDSXPTNiXH}RDRXMTPctS}dDJyUSrhTREcsnx]Sbe@QUec}X}SxftR]]TMy^RvhxNU\dPxwTJf\Se\TPXrT@fPSMaCwXqSTgdMMZdAxlSNe|OuYd@XkSFelOeXs~xhSBe`OEasqYLRLgpKmWTFXbS`eHP}TSlx\QndpIuSckxRQtdPJEpDgZEUdkTYMoTezBU^kHXuqd^Z?UXj|X]mtby|URjpXElTVyvT`jXUMmDXYsTtjdU]jDhzTT\itYeiTjYjUpihY}zdkzoUvm|ZUwdqzcVNmL[uyDnz`VTm@\MytmZkU|mtZm}TxzvVbn`]U}dyZuVxnl]mG{QWag\PA`|CiHsPwIof_bA}@kIwEoZ_jAMAKFwKnv`A~}Bj}wQoB_RA}?kItLi^TDfjOU^lFYEsUT[jXVqhdNIVHMR[dxBqNcVEUO[WW|phb~EEL{YWzpdbfBEO{bW\qH`nFeI{VW~q@avEuH[\Whppa^HEF{eWbqTaDuzmVYmz\}zvNE_[|YBrxf~Ou[{zYDsPfVNuZ[wYBs@e~Ku`\CXjsLefKER{qXRrDdFJeT[lXXq|d[@GAOCqpdjJMU{mX\xNqfdFImU[jymuNjJX]qLWyquBkRUMolVzIsVkbPmblbystRjbTmllTyatviZV}hL]y[uFiBWMflayysnjzR]nLKyssbjbQmllHzuurnjZm}LlzivbnR\}zLxz]ufmJY}wLizKvJlB\Mrlr{M?Hns?vCm?_Aw`n{?V?mC{K?Ho^`O@mA