CAT(1512,2)
Sparse6:
:~?Vg_?_?_?_F?C_D_E_O?L_N_M_M_N_L_a?[_]_\_m?X_Z_Y_s?p_r_q_r_q_p_f_d_e_e_f_d_j?p_l?r_k?q_j?h_l?g_k?i_m?h_n?i_o?g_m?^_`?n__?o_a_b_c``?U_V_W_U_W_V`}@h`j`i`m`k`l`p`o`n`r`s`q`t`v`u`q@t`s@v`r@u`n@g`p@g`o@g`S`R`Q`N`P`O`\`[`Z`N`O`P`W`Y`X`h@^`]@j`i@_`Z@k`m@\`l@[`W@k`m@Y`l@X`t@T`U@v`V@u`V@f`f@T`f@U`d`c`e```b`a`c@s`e@q`d@r_|_~_}_y@``b?{`a?z`K`M`L`H`J`I`E@S`Q@G`F@R`D@^`C@_`B@]`A@n`@@p`o@?_x_v_w`i?s_u@j`h?tb`@U`V`T`Z`\`[_Y_Z_X_\_]_[_]_[_\_z_{_y_}_~_|`K`M`L_u_s_tcAB~Bzc@Bxc?BybsbtbrblbnbmbfB~bhC?bgC@bfBlbgBnbhBmbeB`bbBcbaBdbZb\b[b]b_b^brBYbtBWbsBXbTB_b]BVb^BUaSBvaTBwaRBubuAVbvAUbwAWa]BobqA\bpA[a^BobqA`bpA_bxBNbPBzbOBybKbMbLbHBibJBkbIBjbGbEbFbTB?bVBAbUB@b|A~b}A|b{A}b|Avb}Axb{AwbZAsb[Aub\AtanB|aoB}b{AmahagaiafBYadBXaeBWaOB~aQC@aPC?aFBcbeAHaGBd`{Bjbi@|`zBk`xBb`yB``wBaaZAkaYAlaXAjbSAbacBRbQAaaqALaNAraMApa@BCaBBBbDAAayAIa{AKazAJaEA?aD@}aC@~dpBTbVbUbXbWbYb\bZb[b]b_b^_U_V_W_g_h_i_k_l_j_^_`__bNbObPbBbDbCbAb?b@aya{azaparaqasauat`}a?`~a@aBaAaDaEaCaHaGaFaIaKaJ`w`y`x`z`|`{`|`{`ze{EoEzeyEqexEpefEiekEhegEjecEuevEeewEdewEQeREuevESeNePeOeWEOeNEYeXEPeKeMeLebEHeJE`eaEIelEEenEGemEFeDeCeBeAEse?Ete@Erdydzd{dvdxdwduEjekDsdtEieKDpeMDqeLDrdqEHdrEIeJDpdmEzexDoeyDne`DnebDoeaDmdkE_dlE]djE^c_cac`cbEEcdEGccEFdvDddxDfdwDedaEQdcESdbERd`D}d^D~d_D|erD\etD]d[EsdUETeVDWeUDVdyDRdSD{dTDzeeDQecDOedDPdLEtdNErdMEsdID|dKD~dJD}dFETdHEVeUDGewDEdDEuevDCelD@enDBemDAd?Ehc}Egc~Efczc|c{duCudtCvctDsdkCqcsDlcrDjeZCne\Coe[Cpcichcjc^EZc\E\c]E[cTE]cUE_cSE^e?CVeACXe@CWeWCPcREYcQEXexCJezCLeyCKeoCDcFEqepCEeBCCeDCAeCCBdXCecgDZdYCfcwCYcyC[cxCZclCOcmCNckCMcGDgdiCIcHDhhT?O_Q_P_R_T_Sdjdldk`N`P`O`]`_`^`X`Y`W`R`S`Q_Y_Z_X_v_x_wcncpcohqHnhmHphlHohjHohqHkhiHphdhehchfhhhghQFthSFvhRFuhWHNhPHYhXHOhLHnhlHMhKHmhHHkhIHjhiHJh`HBhbHDhaHChTHAh?HUh@HVgzH_g{H]h^GygvHWhXGxgwHYgsHTguHVgtHUhfGphhGrhgGqgoHQhSGmhRGnh\Gfh[GegdHZh]G^h_G`h^G_g[Hcg]Heg\HdfqfsfrfeH`fgHbffHafYf[fZfJHZfLH\h[FKgUGXgZGWgYGVgCG|gEG~gDG}hGGAhEGBhFG@f}GIg?GKf~GJfzGLgNF|f{GMgRFwfyGTfxGSgOFhgPFjgQFigFF_gGFagHF`fcF^fdF\fbF]fXFnfWFpfoFVggFRfQGifPGhfmFMfOFkfNFlfDFGfFFHfEFIfAGafCGcfBGbe~FTf?FUfSF@e{Gje}Gle|Gk_L_M_Njm?d_f_e_a_c_bfVfXfWfOfMfNjpJsjuJrjqJtjvJmjxJojwJnjjJpjlJrjkJqjmJhjoJijnJgjTJdjfJSjeJRjHJtjuJFjGJsiwJdiyJeixJfisJxjwIqjvIriVJiiXJhiWJgjjITjkIUiSJlh~JLi@JNi?JMjDJ]jCJ[jEJ\jYI|jZI{jXIzitJ^j`Ivj_Iuj@IbjBIdjAIci_JaiaJci`JbjII\i^JKi]JJj?IQiRI~iPI}ikIOimIMilINiGIeiIIgiHIfi[IFiZIEiYIDiKIAiLICiJIBjWHxjVHyjUHzh}JQjOH{h|JPihHuijHwiiHvhrInhtIphsIo_J_I_K_J_K_IdGdFdHcucvctlGK~lIL@lHL?k{LJk}LLk|LKklLRknLQkmLPlNKclOKelMKdlGKTkVLIlHKUkQLJkSLLkRLKlMKBlOKDlNKClPK?kALRk@LQj|j}j~j{jyjzlBKylCKzkxLAkpLFlEKqlDKokWK]kYK_kXK^kZKik\Kkk[KjkNK`kbKPkaKOkKKukwKMkLKvkfKHkgKJkhKIkFKrkGKtkEKs_^___`aXaZaY`w`y`xgcgbgafGfIfHmOMUmQMWmPMVmOMRmPMTmQMSmRMNmTMMmSMLmJMUmKMWmIMVmEMJmKMCmDMIl}MLm?MNl~MMlhljlilelglflbldlcl_lal`lSLtlULvlTLulpMBloM@lnMAmHLlmGLkmFLml\LwlyL^l]LxlYLzl[L|lZL{lqLVlXLslrLWnKDmdndocScUcTcVcXcWcGcHcIcEcFcDinioipihijiilplnlolmlkllndncnenan`nbn]NYn_NXn^NWnVN[nUNZn\NTnQN`nSNbnRNancNNneNPndNOn]NKn_NLn^NMnLNZn\NKnMN[nTMdmfNVmeNUnJNDnHNCnINBnJNAnIN?nHN@msmtmumqmrmpmgNWmiNYmhNXnQManSMcnRMbm^NNm`NPm_NOm{NGmzNEnFMym|Mvm}Mxm~Mwm]Mnm[Mom\MmmlMYmZMjmkMXoe?G_F_H_G_H_FaRaTaSaUaWaVa[a]a\a^a_a`fvfuftgmgngof_f`faf\f]f^oqO}p?OsorO~pAOppBOnp@OooeogofohojoiozOhojO|oiO{owOeoxOgoyOfoaOso`Oro_OqonO\o^OpooO]obO[oYOdocOZoVOboXOcoWOdoMO}p?OOoNO~ovOKotOJouOLokOGoHOmoIOln~P@o@PBo?PAnuOznwO{nvO|ntOynrOwnsOxomNpolNqokNoovNmouNnotNloSODoUOFoTOEoBOQoCORoAOPnxNfnhNzngNyniN{n}NknjN|_O_P_Q_R_T_Sjijgjhjjjkjlhxhzhyh}h{h|qJQUqHQVqIQTqEQQqGQSqFQRqCQEqDQGqBQFqHQ?qAQJqIQ@pppqprpopmpnpjQVplQTpkQUpaQQpcQSpbQRpKQOpJQNqPPIqLPLqMPNpMQKqNPFqPPHqOPGpCQKqMPEqLPDp|Pgp~Pip}PhpyPdp{PfpzPepsP^p`PuptP_pwP\pxP]pvP[pUPRpWPTpVPSpOPZpYPQpXPPrPNHnJnIhQhShRmsmumtmpmrmqmommmnmjmlmkrSR`r_RUrTRar]RUrSR^r\RTrYRMrNR[rORZrORXrVRMrNRWq]RVq_RXq^RWqxRRqyRPqzRQrPQurRQwrQQvqmR]r^QlqnR\r`Qkr_QjqiRarZQar[Q`qbRYrGQ~rIR@rHR?q}RLq{RKq|RJrDQtrFQrrEQsqoRArCQqqpRBqZQfq\Qgq[QhqWQcqYQeqXQds[?C_E_D_C_E_D_K_J_IrNrMrOobodocnfnhngoJoLoKoHoGoIninknjqfqhqgqcqeqdssScsuSastSbs^SpsrS`sqS_s\Sms]Sos[SnsjSaslScskSbsXSdsfSYsZSesdSZsfSXsYSes\SVs[SWs]SUs^SUs_SWs`SVsgSOsQSisPShsiSNsgSMshSLsRSCsESTsSSDsSSAsTS@sRSBrzSsr|Sur{StsjRwslRyskRxrtSzrvS{ruSyrqSvrsSxrrSwrkSyrmS{rlSzrhSvrjSxriSwreSmrgSorfSnrbSprdSrsqRcsFRnrpSHroSGr}SIs?SKr~SJsRsTsSsUsWsVsXsZsYpIpKpJpNpLpMuAT{uCT}uBT|uCTyuBTxuATzt~Tou@Tqu?Tpt~Tlu@Tnu?TmuDTQtRUFtSUEuDTNuFTPuETOuJTKuLTMuKTLtHUGuITJtIUHuJTEuKTFtGULs}UGuIS~s|UHtiTutkTwtjTvtfTrthTttsTgt]Tct_Tet^Tdt`TZtbT\taT[tWTBtYTDtXTCtTT?tVTAtUT@uuUOuvUNuMUtuwUhujUyuxUiu{UgueU|uzUfulUcubUmukUdu_UnuaUpu`UouXU]uVU^uWU\uYUSuTUZuUU[uPUquRUsuQUru}VIvKV?u~VJvFVRvHVTvGVSvCVOvEVQvDVPv@VLvBVNvAVM_@V[VUvW?BV]vV?AV\_@VXV^_BVZV`_AVYV_