CAT(1792,7)

Sparse6:

:~?[?_?_?_?_G?D?E?F_D_F_E_D_F_E_Q?C_C_C__?T_V_U_Y_W_X_Q_S_R_O_P_N_N_O_P_{?z_x_y_{_|_}`D@B`C`A`D`F`E`G`I`H`V@@_~`?`A`C`B`z@\`]`^`]`\`^`a```_`_`a```_`a```Y`[`Z`[`Z`Y`R`Q`P`S`T`U`Q`R`P`T`U`S`O`M`N`X`V`W`V@\`X@^`W@]`O@J`L@M`K@N_w_w_wap?e_g_f_t_v_u_o_p_n_p_n_obN?q_s_rb]?b_d_c_u_v_t_l_m_k_r_s_q_h_i_j_a_`__br?{_}_|`U`S`T`P`R`Q`K`J`LcsCpcrcqcrcpcqcjclckcocncmcicgchccCfceCfcdCfcWCZc\CYcXC[c^C`c_Cbc]CacOCZc\CPcNC[cQCbcRCacSC`c^CKc_CMc]CLcTCecVCccUCdcWCpcrCXcYCqcFCmcnCEcGCocHCjcJClcICkb{b}b|b{CJb|CIb}CHbxbzbybvbwbubibkbjbqbobpbnbmblbgbfbha}Cea~Cca|CdbECAbGCAbFCAcKBBbDCMcLBCcBBobqCDbpCCb@CXbACYb?CWauCBatCCasCDbhCUbgCVbfCTcQBlcRBncSBmakCNalCPajCOb~BkbiC@c?BjayB~a{C@azC?c@Bbb~B`c?BacFAmaoCGanCEavCZc\AxawC[bZCKb\CMb[CLakCEcFAjcGAlcnBcbeCocmBdcjBbclBackB`cgB]chB^ciB_bZBrb\Btb[BsahaiagcTAgcVAicUAhbHBWbIBYbJBXa{AtazAuayAsbUBLbTBMbKBVbSBBbQBCbDBRbEBPbGBNbOBFbVAxbUAvbTAwa|BAa}B@a~B?bQBYbRBWbSBX`y`w`x`oCB`pCD`nCCcS@vcQ@ucR@tc`@s`qCbca@rap@ear@gaq@fb]@k`lB_`mB^`hBcbe@j`iBd`cBN`bBPbO@dadBxafBzaeBycHAaacCJcIAba_AmanA^aoA`aXaZaYchAUciAWcgAVaOApaqAQaPAraSBKaTBMaRBLa[CNa]CPa\COaLaNaMbIAIbJAKbHAJaHaFaGaEBvaDBwaCBubrAAbtA@aBBs`}`~a?c]@zc^@{c_@|_W_Y_X_\_]_^_\_^_]_[_[_[gf?Z_Z_Zgl?^_\_]_N_P_Ogu?Q_S_R_Y_X_Wg~?V_T_U_T_V_UajalakbWbYbXbBbDbCbJbHbIbVbTbUb?bAb@bobqbpbEbGbFbRbSbQbMbLbK_x_z_y_z_x_y`A`C`B`I`H`G`w`y`x`k`m`l`u`v`t`n`o`p`e`f`g`p`n`o`j`h`i`q`s`r`y`w`x`m`l`k`q`s`r`t`u`v`h`i`j`g`e`f`d`b`ca_a`a^aYaZaXaTaRaSa]a[a\aLaNaMaJaIaKa@aAaBaDaCaEaFaHaG`}`~a?jUJQJHjJJOjIJPivJRjTIxiwJSjLIqjNIpjMIriuJQisJPitJOjTIjilJRikJSjKIdjKIfjKIeiaJHjJIcjIIbjGI\i]JGi[JGi~IXj?IZj@IYiUJDiWJFiVJEjDIQjFIPjEIOiRJAiTJCiSJBi^IIi`IKi_IJi_IMi`ILi^INi[IFi]IHiGI\iYIDiZIEiXIChkJCjAHmjBHlh}Hhi?Hjh~HihhI@hjIBhiIAheIghfIhhgIih_I{haI}h`I|h]JQh^JOh\JPiwHYixHZh[IvisHViuHXitHWhSIgiiHUihHTh_IViWHaiUH`iCHNiEHOhMIDhQIBhRI@hPIAh|H]h^Hzh\H{hLHXhJHVhKHWhIHLhHHKhGHJhAIzizHCizHBg|JCg}JAg{JBg~I}h?I|h@I{gxJHgzJJjIGyguJRgwJSjTGvgoImgqIogpIngrImgtIogsIniaGnicGmibGlgeIQgdIOiPGcgiHwgjHygkHxh}Gfi?Ghh~GggiHdgkHcgjHbhGGlhIGnhHGmhPG`hQGbhRGagfHSghHUggHTgzHBgxHChAGygtGugrGwgsGveeI{egI}efI|ebIpedIrecIqijE_eaIle`IkiLE]iNE^iME\eYIFiHEZiGE[eVIKeXIJeWIIhlETeUHkhmESePHbeRHdeQHceMHMeOHOeNHNeJG]eLG_eKG^gTHwgVHygUHxgNG~gPH?gOH@i~GKj?GLj@GMhtGHhvGJhuGIiTGAiSG?iRG@f|Idf~Iff}IefyG]f{G_fzG^iyFvfxIyiyFwfpG`frGbfqGajLF]f\JNf[JMfXGZfZG\fYG[i~FOj@FPj?FQfLHqfNHsfMHrhsFKhqFJhrFIfAGYfBGXgWF@gqFEgoFCgpFDfHGcgeFFgdFGewJDexJFeyJEetHYevH[euHZesH{h|EreqHzduHndwHpdvHodiHDhFDkhEDjg|Deg}Dcg{Ddd]HDd_HFd^HEhuDYdWHvhtDXdUJLdTJNdVJMhnDQdRHpdSHohgDOdPHehfDNc~GZc}G\g[C|cwGWgYCvcxGXfmGBgDFogCFneGFjeIFleHFkfdEDffEFfeEEeAFgeCFieBFhfRFUfWFTfSFVgGE~gEF?gFE}ekEnemEpelEodrD~dtE@e?DsdoFafcDqfbDpd{Dfd}Dhd|Dgd`EhdbEjdaEidmDZdlD\dnD[gQDLdKGRdMGSdIFudJFtdHFsdDF`dCF^dBF_dzCydyC{dxCzd?DEdADGd@DFcuE{ctE|csEz_d_c_b_q_s_r_e_g_f_k_m_l___`_a_h_j_i_K_M_L_H_J_I_t_u_v_H_I_J_M_K_Lgkgigjgdgcgegtgsgrg{g}g|`N`O`M`D`F`EgSgQgRgHgJgIgBgDgCfsftfufSfTfReuevetdudvdwdqdpdodfdhdgdidkdjd`dbdac|c~c}cyczc{d@dAd?cvcwcxctcscupxPwPmpwPopwPnpCPdpEPfpDPep@PWpVPApUPBppO}prO~p?PqozPso|Puo{PtoxPjplOypkOwp?P[p]O}p\O~otPHouPFovPGonopooosoroqolPdomPfokPepaOhoiPbojPcpPOfpOOepQOgowOnoyOooxOpovOqouOrotOso_OjoaOhoiO`obOeodOgocOfoPPIpKORpJOQoHPtoIPupsOGpPN|n}POpQN{nuO\o^NvnwO]pUNopWNqpVNppKNmnnPIpJNlpLNfnhPNngPMn]PYn_PXn^PZpmNVnTPnnUPoobNNodNPocNOpENMpCNLnKPDpvNIpvNHpvNJm|PXm~PZm}PYmvP^p`MxmwP_msOYmuO[mtOZo^MkmlO]mjO\m]PBm[P@m\PAmOPLmQPNmPPMm@PFpGMBmAPHlzO{l{O|l|OzltPglvPiluPhoVLkoXLmoWLlokLhomLjolLio_L^oaL\o`L]paKopcKqpbKppgKipiKkphKjkfP^kgP_p`KhkdP]keP[kcP\kbPTkaPRpSK`oVKQoXKSoWKRkPPSkNPTkOPRkKOYkMO[kLOZoUJsoSJtjuOToSJmoUJooTJnplJfpkJdjePjjXPpjZPrjYPqnFNknGNjniNEnrMRntMTnsMSm?NYl}NWl~NXlyMrmpLxmqLwlqNZn\LslrN[loMNlpMLlnMMnxLbldNylcNzn`L_nbLanaL`nQLYnSL[nRLZlVMClXMEmDLWjVLQjULPjWLRlMMmlOMolNMnlJMdmfLLmeLKo@LGn~LIo?LHlDODlFOFlEOEmyLAm{LClBMzoKL?oLL@oJK~k{OAk}OCk|OBncKukwNendKvkxOMkzOOkyONklMakmMcknMbk]MXmZK_k^MYkXM`kWM_kYM^lfKUkVLgleKTkrKHktKJksKIkBMFkDMHkCMGmgK?kAMik@MhmUJ|mWJ~mVJ}jrLUjpLSjqLTjvJyjxJ{jwJzjkNDjlNCjjNBn?JhnAJin@JgjaKZjcK\jbK[mIJ^j`MKj_MJkEJ[kGJ\kFJ]a~a|a}bZb\b[amaoan_~`@`?`b`d`caUaWaVaPaOaQ`z`|`{uTT}u?USt~URtzUFt|UGt{UHtnUDtoUEuCTpu@Tat`UBt_UAtSULtUUNtTUMuVTJuWTLuUTKtGULtHUNtIUMuBTDuATEu@TFsuUOswUQsvUPuKSauISbuJS`uIS]uKS_uJS^qiUQqhUPuOQjuTQfqgURqeUSqOUEqMUDqNUCqIUFqGUHqHUGuVQFqDUWuUQEt?T[t@TYs~TZstTWsrTXssTVsfTbshTdsgTcttSTtuSUtvSVsQSosqSSsRSptMSNsPTOtNSOsKSWsMSYsLSXsFSDsGSBsESCs?TAtBSAs@TCr|Twr~Tyr}TxtqRytsR{rzTrsjRxskRvsiRwrdSxrfSzreSyraT\t^Rct]RbrmRXroRZrYRnrWTgrVTfrUTerRQkqmRTrSQlrLSZrNS\s[RMrIS{s}RKs|RJrFSJsHRGsIRHrCRsrERurDRtr@TPtRRBrATQtkQ}tmR?tlQ~rpQwqxRrqyRqqtR`r_Qvr^QurgQqriQsrhQrqbRjqdRlqcRkqzQ_q|Qaq{Q`rOQ\rQQ^rPQ]q[R]qYR\r[QZthQVqXTjqWTiqLQTqJQUqSQKqAQPqCQRqBQQqnP~qpQ@qoQ?p|Scp}Sep{SdpxSlpzSnpySm_o_p_ndldmdndrdtdsqRqPqQqSqTqUxEXDX@xDXBxDXAw}XCw~XCx?XCwtWJwvWLwuWKwtV~wvW@wuW?wzVfw|Vhw{VgvbWxwyV`vaWwvBX@vDXBvCXAw}V?vAX?v@W~u|WwwyU~u}WxwzUyw|U{w{UzwnWVwXWpwoWWwYWPw[WRwZWQwqWAwCWswBWrvxWfvyWevzWgv{VuvwV}v|VvvnVJvlVIvmVHwMViwOVkwNVjvcWkveWmvdWlwhV]wjV_wiV^wGVQwIVSwHVRvFV\vZVGvEV[uvVTvVUxuwVUuuVqvoUtvpUsvNUpvPUrvOUqumWSuoWUunWTujW_ulWaukW`w\Ugw^Uiw]UhvWUdvXUfvYUeuaWDucWFubWEu^Wbu`Wdu_WcvKU[vMU]vLU\uXVruZVsuYVtyVXcxeYXyWXdyIYdyHYbyGYcyLYDyKYEyFYJy\Xuy^Xwy]Xvx{Xrx|Xsx}XtxlXoxqXnxpXmy_XiyaXky`XjxfYAxhYBxgYCxZYMx\YOx[YNxWYYxYY[xXYZx~XUy@XVy?XTxQXyxSXxxRXzxNYPxPYRxOYQySXKyUXMyTXLxIX`xJXbxHXaxEX]xGX_xFX^zSZLzNZRzTZMzJZPzIZOzKZQyeZFygZHyfZGzCYzzEY|zDY{y~Yxy}Yyz?YwzBYnzAYoz@YpytYkyvYmyuYlyhYqysYjyrYizjZdzlZfzkZezaZgziZczbZhzUZ[zWZ]zVZ\z^ZXz`ZZz_ZY_@ZvZm_BZxZo_AZwZn_@ZpZszu?BZrzt?AZq