CAT(1012,3)
Sparse6:
:~?Ns_@?A?CDOFoO_d@EA[DGE?L?\BOEKKGXoq`VAiDKIGUOl`^AyGgPG_p?aFCIHWQgq?XAbD?BSD_hoUAdD[BCDojOTAZ@SHcRoLPM?r@_IcDoipb?NEG?sUOCPW?R?kJ{A_nP\?RDo@CAooOIBBDk?{U_BQPC`G}Psd`IqScqHaJ{VgkpWbFEIJkVGlpYbBEA@{CGIOR_d@E?{@gCoG_V?i?c@WAOD_H?US{hxSqgdLIYTKiHTqidTImDolWVasdmAiDWlhY_qdgBMUWIXX?gdeBEUOKGUav`WJYGGexL@?aEHuGOfGaa]aGH}SgQhQ@JaQIIH?gwbA_aMIEPwNXF?{`mHMEochG_tc_BQRGMw\AW`qHYF?dxI?~ciByPwjXFAkcaIuQ?jHVaRccIyTwdXIAmdaH]U?dhWaWcqJAJ?HWk_c`ADmC?Ugm_^aw@yCWVgP@^`MEACoWWp_[bC@uRWSXL@OaYHuH_fGfa^a[HySgTHQ@TamIMSOTgha`acIAKgbWqAKbMGIOWXgsaJbOGiOgYxA@ibYGYOwZGvaHb[GaO[_hAcXcGPaO{`iMaHcOPqP[aiOaLh?GqNk^G}P|cBGAN{^g~p}c@GEMHHWwCcbeQ]MPHiS`shOFUNXJw|CmbqQqN@JYT`uhSF]CKGGNo]`NAYCSGwMo[`JAQBkFGNo]`BAAC{HgQoc`FAIEkLGZou`rBaF[Mg]o{`~ByH[QgcpGaNCYG[OgapCaBCAOk`HDQJcDGMO{`hCqGcZGqNs^x?Q@bzFqH{RgepKabDAI{TgipSafDI@{CGGoQ_f@Q@cBgEoK_\?uV[mh]q{d~JyWKoH`rAdrJan|^j?U@kFWIol`JBuEkRWanH^y{D}kAVao@]Z@dzkCVinhaY}EGkMVuop^JAdzkGVikXcipEPk_UUk`cIoeQj?XEkxcyrERjQXUl@dIteTjSXQihdyiEUkoT]ipeYkEYiqXmr`VZMd[iuX}jPfine`i{YAVXNX\C{h}JqfonY_A~iAJyWHPX_DCiEKIgOox[DFiKJebHQIccWgySmhPFIODLiWQEcXSyPDQg}TEbpSIfcZi[Pii`?Yic?imOMip?ikcDioOQ`HUyCDYgMTuj`@incJgSTyqoyZJbgkqMmr?yjLblksMqrgzzMBmfaX}ro{JObrfcYAWhZYuBCeMU}WpZhcdpeOVAXX[hdDrjiKuX`\IzbNjkKyZhWXmD_jCL}ZpWxoddf?UQ[XXxpDefIUe[`YItBffKUm]hBXyCKfmO}]pBh{cPfoPAaW}yHByfyPU^`DH~cUf{P]pTajDuJkZWqplbJFuMk\W}mEKawtljWbQmt\{ZdrpkVIml\K\dnj[biflNI^s}iBSAg\OiatCiNSYhII{TDGiYaehaIIdgliSaqiIJygGmpaS~E@RkRDRpMTIeDKYXSrhjRQetLy[SxhvRjFxHK^CdqAQ^G@HiShBhOcIdYQYTHGhYcUdaPKbcnqKQyYCsXhRRejLQY{thkrWevLjL}ZkwxorffJMm\KzxurrfbIy]{jHyrydfJA^K~HYr}dnJi_[mI?q}gNJq_koiDr?gQDCIWToi`ZAqD{JgWOp`fBIs\gjQUdlNYYtDiZTuilZYqyYclHfQsi\VQ`tJji\mkhqzYezlIYmqhazAe\Jf\sk\rRqTlNhVtAdfSAULPhZtCdjJah[micq}i^JqhlSh`r?ibRyQ|NHItEczSQR|OHKtAcvIQh{hieqaiVSaSLShTqgibMYI[xGgpUfFDQ[KzglrkarLyJ{vGmpaffEA]KRhtpKfRBYN{LG}pIcFGAHKcgbqOaJGyG[bG_o}cVBqPKMhBowcJ@y`|BGMsQ`fPAELDgTsS`RAYb[HIKokg~PqD{GiPo_hA~I^{~Fwry^i~Y^J~hzn{fjOI?\?G?sE^^OP|j}iDnwgQ|Y?ztGAoY]v@`zJvgJn[_i}YAZxGGn__^?p{[AFsoI^VLXp{tFErM[exAXjdhdmSeQxqWzfhamYefL@rJghlm_eqwXvz`F]nQZy|@nz]F`ly]A{xoZrF?nEZmvPwjqfDnG[QsYKzPGqpyYVF`hJRgxlKbbFXiZSGypiYnE`ijUgvlWbZQ]clIySX`h^QrKlKyWsurVRRLMVi\x[hqt|jjWuoXxrku^MbXUxlps?utlu_utyGZRazJ]JKkxKqFczGMSk^xOpzbjI}MKixEpncREmKkdwoqRgY~|~LAwQsF`BOM\kFxsoZgj@]aKCwErv_RNM?k~x{oB]ZL\xKsvyr^^bLl|krvsrJfA}][jwvmrF]rKMVjtx[nRXyv|fJ]uqlvZAvLijZuslR[Is\oJOvElN[QsljjdukmRWZC|`KQuMonWrAmEjDwWkRXRDLdkTw]kf`qqLekPuWpBUyy\ZJgvUjfVAylvizv[jj[ynLrI|t}nF]Anl_jlu?mrT]ilUyktixFUbcLXyqtaw~UBbnIin{gizqjY~ILizgx^mjdmxMR{cvNmJb}wMM{auzlzcMumXzWxbgzW}bLayau^iBXmfldy[uRjzR]nLKyUuFhRWMslHzOsbiZ_}hMAyywfjbaMlmKyswvojUMkmC{Ut^pRTnBlT{KtRmv\~?~?[@v~nv^V`|{]Dvlvv]f^|x}OvbuZq^XNG|y{Jvbo~_my}?znwzm^[NE|m{VurpN^mt|{zRrZjnVmY|ayVsbkNUmb|WyJszg^RM_{}ynrrinMmh{wybzzq~nNI}i|^ybtnmnR}c|r{Js^oNO}]|nxrunenX}W|b|ByO?oA^Y}M?ZzFpO@^K}^|W?vq~i?C}R