CAT(1344,7)
Sparse6:
:~?T?_?_?_?_L?F_K_J_I_G_H_X?W_R_S_U_T_V_a?E_D_C_D_E_C_J?F_I?K_G?H_L?P_N?O_M?Q_t?n_q_r_p_s_o_t_v_u_y_w_x`N@F`G`F`G`F`G`E`D`B`C`@`A`D`E`A`@`B`C_~_z_{_|`?_}_m_m_m`r?l_j_k`x?z_|_{_}`?_~aJA@a?aBaAaC`~`x`z`y`{`}`|`u`w`w`v`u`v`rA?`tA@`tAAaB@raC@s`s@~`x@o`y@p`q@}`q@|`o@z`p@{`g@i`f@j`f@k`n@h`l@g`m@h`~@IaC@H`KA@`LAAaB@J`MA?`b`a`c`d```e`[`_`^`Z`\`]`m@X`Y@j`i@T`l@U`W@n`V@k`N`O`P`Q`S`RbU?Y_\_[_X_]_Zba?^_`__bj?a_b_f_c_d_ebv?i_g_h`q`p`o`H`I`J`K`M`L`e```d`b`c`a`[`\`]`^`Z`_`P`Q`S`R`N`OcJcIcMcHcKcLc@cAb|b}b~c?cOBNbOCNbLCPcQBMbQCSbPCRbvCMcJBvcIBwcKBwcLBxcHBxbjCBbkCCblCEcGBmcFBobnCDbpCCbqCBbsCDbtCEcGBrcFBubdBzbeBzb{Bfb{BgbiBybhByb_Bcb^Bab[Bbb\Bcb]Bab`BbbUBdbeBVbfBWbgBXbZBibhBYbsBUbpBXbZBtbuBYbqBWbrBVb[Bjb\Bkb]Blb^Bmb`Bob_BnaDCPcRAFcSAGcQAHaICOaECNbRB@bRBAbSBBbTBCbEBTbDBSanaoapaqarasbPAbbQAgacBOafBNaeBLadBMaVaWaYaXa[aZc?AUaRCAb|APc@ATb}ASb~AQavAmaiAtayAlahAuajAxakAwa\A}azA]b?A_a~A^a|Aaa{A`bFAJbGAKbHALaMBIaOBKaNBJ_S_R_V_T_W_UeX?W_R_S_T_U_VegBLbMbNbObQbPbTbSbRbdbebfbgbibh_o_p_q_n_s_r_q_o_n_r_p_saGaEaIaHaDaFaEaDaFaHaIaGaza{a|a}b?a~aUaTaRaSaPaQaMaOaNaJaKaLfzFoFufyFsfxFrfnFtfqFvfpFwf]FhfZFif^Flf_FjfmF[f\FkfyFVftFTfuFUfWFvfYFwfxFXfGFlfBFhfEFifFFjfmFDfCFkfLFnfoFHfMFpfqFIfsFJfrFKfWFMfUFKfLFYfXFJfIFTfHFVfQFGfBFNfCFOfDFPfEFSfFFRffEpfgEqfdErfeEsfcEufbEtepE|eqE}erE~esF?fAEuetF@fnEdefFsfoEdeeFrfpEefqEffxEceaFvfyE^ebFwe`FtfuE_eZF\e[F_eYF^eXF]fZE\f[E]evE^e`EweaExecE{ebEyezE_eVEgeVEheWEieUEjeUEkelEWeOESeNERePETeMETeQEReLESemEFenEGenEHemEIeKEoeJEoe@ELeAENeMECeDEOeEEQeBEPdtEvduEwdvExdwEyezDydxE{ffDnfbDofdDpfcDqfgDsfeDreXDhdkE\diEYdmE]dlEZdjE[fbDbfcDcfdDdfeDefgDgffDffNDVfODWfPDXfQDYfSD[fRDZdPF@e}DQe|DRdSFAdUE~dTF?dJEgdKEhdLEidMEjelDOekDNclF`coFaf`CqcmFacpFacnF`chcfcgcickcjfhCZc]Fic^Fkc\FjfmC[c_Flc`D\caD]d^Cbd_CcdaCed`Cdc~DDd?DEd@DFdADGdIDCdHDBcrDzctD{cuD|cwD}cvD~e?CscWCxcYC{cTC|c}CUcVCycXCz_^___`___`_^_M_L_O_N_Q_P_X_[_Y_Z_]_\_c_d_a_b_f_eeReTeSeUeWeVe_eaebece`e^edefee`i`j`l`m`n`k_u_v_w_x_y_t`H`J`I`K`M`Ldndodqdpdsdrdbdcdedddgdfc]cZc[c\c_c^cTcUcVcWcYcXkQJ[JijgJ]jjJ^jkJ\j`Jhj_JljXK?k@JXkAJYkDJZkCJZkBJYkOJNkKJNkMJMjLKNjLKPkLJMkEJHkFJFjIKIjJKGjKKHjGKJkCJCkDJEkBJDj@K?k@JBkAJAjyI{jzIzj{I}j?J|i~J~j}I|jGJsjIJtjJJvjKJwjxJHjuJFivJQitJOiuJPiwJOiyJQixJPkEGLkFGMgNKGgOKHgQKJgPKIisJhjlIrinJiioJgjjIpjkIqihJsiiJtjuIjjwImikJxjvIlkEI\i]KFi^KGi_KHiaKJi`KIiVJRiWJSjTIXjUIYjVI[jWIZiSKPkOIQiTKMkLIUiRKKkNIPhtJEhrJ@hsJBhuJChwJDjAHvhlIzhmI{hnI|hoI}hqJ?i~HpjyH`jzHaj{Hbj|Hcj~Hej}HdjaHTjbHUjcHVjdHWjfHYjeHXjmHOhPJnhSJrhRJqhQJojpHNjmHMhHJqhIJphLJrjnHKhJJogpJ[gqJ\grJ]j`GugtJ^j_GskKGjkLGkkMGlkNGmgoKPkOGnjeGUjfGWgRJdjcGSjbGTjaGVgFJRjTGIgGJSjUGHjWGKjVGJiwG?itFzf}IxiuF{f~IyivF|ibHxicHyidHzieH{h}Igh|Ifg|HBg}HCh?HDhGH@hFHAhEG~gvIDgwIEgxIFiGGyg{IIgzIHgdHZh[Ggh\Gfh]GhgeH_h^GiiJG^iKG_iLG`iMGaiOGbiNGch~GXgYI?gZI@g[IAg]ICg\IBhgGAhhGBgCHihfGEgDHkhjG@_F_H_I_G_K_Jb]b^b[b`b\b_bqbsbrbubpbt`@`A`B`C`E`DatauavawayaxaXaWaYaVa[aZiPiQiRiSiUiTnQNkniNTnSNnnRNjnVNmnUNlnvMznxMym}Num{Nwm~Nzm|Nym^NWm_NYm]NZm`N[n\M[m\NXmUNcmVNdmWNemXNfmZNhngMYn]L}n^L~n_M?n`M@nbMBnaMAnvLulqNulsNxlrNznyLvnwLtniLknjLlnkLmlnNllpNnloNmleNWljNZliNYlhNXlgN[n\LfnbLVnaLSn^LTn`LUn_LWlXN]lMNonsLRlNNplONqntLQnrLPlGNclHNdlINelJNfnhLLngLKnQK{nRK|nSK}nUK~nVL@nTL?ntK[k\NqkYNokZNpnrKWnsKXmOMamPMbmQMcmRMdmfMTmeMSmMNPmINOnKMNmJNLmKNNnMMLmgMCmDMhmEMimFMjmHMlmGMkn?L_n@L`nALanBLbldNDlcNCkuLwkvLxkwLykxLzkzL|kyL{lEKtlBKrlDKqlCKskpLFkoLAklNIkiNEknNJnFKjkmNGnHKkkeMmkcMnkfMompKdmrKgmqKhlYK]lZK^l[K_l\K`kbL^kaL]msKQmtKRmuKSmvKTkVMxmwKU`u`w`v`X`T`V`U`Y`WqEPgqEPhqFPiplQGpkQGqFPjpJQKqHPIqLPLpKQIqMPMpNQJo_QJqLOcobQHqMOaodQIo`QKpyPspzPtp{PupvP|pxP~pwP}pCQ?pDQ@qAPEqBPFqDPHqCPGpOO}pAPSpPO~pBPRp?PTp@PQowOAoxOBoyOCozODo|OFo{OEpUOkpVOlpWOmpXOnpZOppYOopaOepbOfpcOgpdOhojPfoiPeoYOqoZOro[OsotO\o^OvouO]oMP[oNP\oOP]oPP^p`ORoQP_oSOGoHOToIOUoJOVoLOXoKOWpmN|n}Pnn~Poo?Ppo@PrpqN{_E_C_DbFbGbHbIbKbJqbRdr_Q`qdR`qeRcqcRarbQar\RKr\RLr]RMr]RJrNR^rOR^qrR_qsR`qtRaquRbrdQwqvRcrDRPrERQrFRRrGRSrIRUrHRTqfQ~qgR?qhR@qiRArCQkqjRBqxQZqyQ[qzQ\q{Q]q}Q_q|Q^qTQlqmQUqnQVqWQoqYQqqXQpqNRVqORWqPRXrYQSr[QRrZQQsSRwrzSRr{SQrySOsPRxr|STrrS?rsR~r}RtrqS@ruSBrvSArkSCrlSDsERmsFRnrpSHroSGreSIrfSJrgSKrhSLrjSNriSMsUSasVSbsWScsXSdsfSZsYSes[Sgs\Shs]Sis^Sjs`Sls_Sk_@SsSm_AStSn_ASuSo_BSvSpsr?BSxsq?@Sw