CAT(2138,1)
Sparse6:
:~?`Y_?O?G?C@??S?F_E?AW@W?a?Z?N_FOEOA?@M?i?Q_G_DGAo@e?o?Z_J_EgCO@q?|?\_IODWA[Ak@I?^_O_HwC?AY@C?f_Q?HWCWAY@\?n_WOIoDKAs@T?k?SOKoEkBW@b?q?YOLwFCBe@x?z_\OV_FkB}@|@f?]_IWFwAi@O?}_SoIGDSFc?S?C_E?@g@W?U?S?U_D_Dw@_@aBo@s_y_\gMWF]CI@s_yo[wPWFYBp@v`G_@??{?W?R?D?COb_OcH?CDAB@FoUoKKEKAz@a?mOX?L{EsBL@m?qoG?@s?{?~?`?EoBO?{?{?R?M?COaOOSGKCTAC@COX?J[EWAx@d?moawPcGu?H?D_BOV_KKEKA~@a?oOY_B{ACBV?_?uO`gO{GU?l?V_KOaWPSGaC\AO`FoZWL{Ey@x?y_\oKWE[BIEY?a_QOGwZOLWErBV@kou?ZKIkDXAh@VOi_TkJwE@A}@^onoWCI{EHBE@WopOUCJsEBAz@`on?WSJQDdAr`_oowWSKkDnBI@Yol_XcL?EfBP@ios_YcLOElBT@josoZCK[EZBG@foqOXsKWENBD@cOqOWcKsDpAx@fom_XsLGEXBO@dosOXSOgCfAP`HOdWQsHQCnAW`KoegRcHmCzA]`NomwVkJqE`BP`hOuGYsL]DLAg`RoggSCIEDFAd`QOswYkLQGUCeaE@Hw`OQUHOCLaT@BgdGO}HCCOaH@HGcWPEGeCaaI`HGa_QMGkCdaJ`Hwb?QYHOCXaT@EwdGPiHUC[aN@JWbgQqG}CjaO`JGc?QuF|C?`~p?W_[OIGSB^`m`AwZoOqGYBa`o`Bw[?OyFECOaH?xG[gPEFKCTaH_yG[wPQFQCU`t`EG\OP]FYCX`v@Ew\_PiF]C[`w`FgbgNAFgCD`x`@g]OOQFiCD`z`@G]oOYGQBwaB_}g`?NeGMB|aC_}w^_OaG}BY`m@GWZWQAJwAD`Bo`gPCGiCRAK`EoawPsHAC^@~`?o_GOcGMCDD{BCP^_pSVsKREJA~p_OpkW?KXECBDP__pCWKKREKBBpbOosWkKJDWakpUgj[TuIxEAAeP`?hsWKIZDNBBp`_iCWSIbE?AjP_Oi{TSJ~D{AnPW?nsT{JzCoAyP\Od{QwJfDxAWpKon[VgHdCsAzP\oesRSJpDuAZp\ofKV_HpC{AxpM_mcVSHvDxA]pNon[RwJtD?AwpO_mSSCJ`DBAwp[?gkSOJdDiAhPT?lcUkIfDlAqPZoksUwJJDHAopQok[SgJDDEArpQ?lKS[JPFUBeprwxs[qMTFJbF@tWq?\MK]FSbg@cwyGXEMcEQbi`dWqo\MMgESbJ`sGrG\EKoFQbb`oWwW[eMCFGba@kgwoZQMIErb^@iWw?YmL}EibR@lWuwYaLMEubU@gGsOYyLAElbP`jwsgZELGEob[`egvOXqLoEZb\`fWvgX}LwE]aAP@g_kO]GRCGbtA?W|G_ANOGAb}p~w~s^iNxFzbta?x?_]qOIFlbla?GzO_IMqG@bja?wz?_UOGFUbq`|w~G]]NKFwby@wg{_^YNEFtbw`vw}O]ANeF`bv`vW}?\yN[F[awP[gmKVUJfDsazP]Gm{VeJvDycBAHHCo_aPIGFcOaHHCoaMPIGacNAIhC?aqO}GjcMaIHBWaeOwGfcUaEHDo`eOsGncIqDhA{`QOfGQcFaIhAGaqO_GjcSaBHCw_yPOGLcCaJX@Wa}OSGmbgPsgyK\MMjFScdqRHHkciQRHGc]ARhFodAPyHNcgaMXFWdMQcGycZARhF?dAPmHNcgaKxIWbUQcGscWAOhEOcQPaHBc^aPXGwcEQKH?cpaXhL?eURMHccsaWHLWeIRSH`ciAUhJ_dYQiHZcmaTxJwdeQ{HWcyaZHMweyRkHlcxAZxM_fEReHo`YolwUsFQBj@r_zO]GM{IeDTAj`UOjgTkFeBt@z_}O^gNkJaDtAx`dOqwXcSYIPDFadPQwhK\eMvFYbjPuGy{cIQHHBc_qNxGCiGTPIiDPqiPSciCTNI_DRQfpSkh{SxI_DMqf`SKiGSrIcDLqgpRShwSpIUDMQdpRkhKSrITDLQd@R[fwSDI?D@q^pOKgKSLIADAQ_POkg_SJIHDBQ`@O{gcSTIJDBqa@PcggSZIKDFqapPsgsS`INDHQb`QKhKS`ITDHQd@QKfwSlI?DKQ^pQ{f_TJHyDRq]PSsicRvH|DTQ^@TCmCAh@Q_hqxoIkD]Al@W_lOUX]?EQBL@d_roYWLCEEBD@b_loVWJcDyB@@^_tOZGL[EuB^@m_wO[gMKMeFTBj`uOzg\kXiKxEZbMpfgr{_qO\GLcCqAx@SdQQjHUckqUHI{p[WtKXEMRE@b[psWhK^EJRF`akp[WbKXEHRE@a[owWhKOEJRBpakpGWVKLEGrB@a[owWPKOEDRBp`KoUWNKEeBr@X_soGWVKLEARB@_[o_W@K@EDRAP^{nWVrJvD|q}@^SnWVxJwD~Q|p^knkVbJxDwQ}`]SnoVfJ}Dyq~P]cnKV~K@DyQ|P_CoOVdKBDwR?`]KmsTzI~Dvqz`Vsl_WtKZDlQuPbclWWzJTENqtpbsmoUdJSDtQypY[kGV^J@Duqo@\skKVNJDDsQp@\KkWVRJfDcQpp\CmOURJIDqqqp[skoVHJMDrQrP[kmCU^JbDgqw`YCmCTtJbD]Qw`V[jcVTJkD[QypU{jOV@IuDnQlPZ{lkTfIpDmqv@USiwUvIoDmqjpZcisU~J_DTqj@ZswWAP@E_boQWH[CiAX@M_ere?ICDEA^MWfLReXrCxi[rMTEORd`cKqG[nMSEerRpq[sw[dMPEeRQ`p{x?YVK}FERO@pkr{[\MKE_rOppswsYDLDFHRP`qcsO[fLFFFrcPhCx?YRKzFCrNPp[ro[TKwFBRM`pCrc[NKrF@r`PecrG[HKtF@r`Pe{rW[HKnFCrKPp[r?[TMEEURJ`pCqs[NKhF@R_@d[wCXTKeFIrI@q{q[[lKbF@RHPoCqO[BLpE{r[pm{vGZpLsEvR[@mku{ZlLgEtrYPlcugZZLdEpRX@k{uWZFL[EnrV`kKtsZ@LyEjR^@jCvkYnL|Ehr^pikvwYhLXEgRUpiStgYbNk?lOUGJKDeAt@W_iOSgI[DQAf@Qf~?TgI{DUAl@V_ir_xokwQ^{OCg?C@h~x?U_AOCg@c@i?P?U^WNxfvB}h|g~a^]Nyf{B{X~G~A^wNqfxb~X}_~m^mN|fzB}x}g~q^[NefsBzX|_}]]yOBfnC?Xzx?I^{NYg?BvH~w|m^iNVfzbuX}o|a]gNqfyBth}W|U]eNnfwbsXyO~A\xM}f]rnxwK{A[uNifMbyxr_}e^UM_ftBfh|Gx}^?NMfpBsH{G{}]MNJfebpXx_{Y]ONAfdBpHxG{M\SMofXBjHuGym\eMlfYBjxugyy\QMwfSBlxswzY\KMyfQBmxvGyU\ANbfPbxXsO}QAV@I_coQWH[CiAL@G_boPwGsCabA@L_fORGHkCyAXNhftryhZ[luUxJ_dnqvh[cmUVLJndvQzYKHE]bEPhgpCYIK`E]bKPhgqcYIJXDEa]P[ggCVYJXDIayPSgmCSyIxDyakP_gncTYJ@DyasP_gkcVyBXFQ_qPtgLC[yH`Eya[PngucRYJ@CeaUPYgkcQiGxDQacPGgbCSyGXEYbGPDgaCXYKPCIa?PbgocOYI@B}aaO|gfcNiFPDUamO{gjCMyExEibWOxg[CYyE\BI`bOugYSLYL`Ae`SPigSCYyLhAUb]OfgvCHiCPFA`GPqgPc[YBxFA`APqgOC[YM`@ubiO]gxcFI@l?y_^OQgGSCYA\@Q_jOVgKSDiDp?]_QOogVcAI@PAm_WOlgDcJHoCwI[BMNfGrcHqSxQ[fMTfJrdiX`IIeSQ`hdcgIYXHueiQ^hiCfiRXKmcwRKhLCqiRHLIcoROhgcdyXxHUckRMhICrYQHKuccRMhfccyPpLAeaQOhFcsiPhLQeeQJhicbINdFub|P~h?s_IOTGQcFQDhBs`iP@JadsQIh[caYWxJUeQQvhcCliW`JIeKQshackyTxKIdaRBhWCoYVpIqd[R?h^cjYVhIedwQjh\ciiSpFYbmQgg{ChySXFedGPzhQc]i`XLagQRViDCti_@OMgCSDi?d@I^hNifwR~h|c~i_pMmgORliBczI\PNefORvhsc}I[xNIfIRrhrC{Y[PO}gaRchpdCIZxOqfASMhoDBYZ`Myf_R]hmczyZXNQesRuhycuYeWFABd@p_wo[gMCrQXfKqeYrLxetAm`ZOkgVSKID|SGhxS}IaTNQg\R{htT@I\tOAfLRWhxS}I[TNQe|RKhvStI\TLAfLRKhbSqIYtLAeDRGhlSwIWtLqeDR{gpT@ILTOAbLPSiDSVIaTDag\PGhTSSIUTCqd\QChHSaIQtGqctQ[g|ShINtIAcDQsgvS\IVtFAdtVGA^@P_gORwIKDA^rNyf{R}x~k~q[vM\fMRfxsCxyeDRBh_sniWDJ}dvQ{h]smIVTJedFQdhQShiTDI]kAURjId_ioXXQk?UOi~dciqHVyjuUGi}DaYoxVujuUEjAD^YohVqjqUNjFD]iphVakSTwjED]ipXVejiU@izd_ympWIjgT}j?D[inxVMj]TqiyD[Ym@VMjiTnizd[YmpVAjSTDitdPylHSYjKUFisDaYkxWajEURjIdXYk`XQj?UOipDcikHXEkST\indbIjpWmkGTYjBDVIohTmkYTVjFdUYppTaihTUiitSYi\TIjWTMiudSIlpS}jSTJitdRYlHSqiOTmicdZIhPUunGPZgmsVIJtEAa~Rvh{s}I]dNYfjRphxS{y\tNAf^VlJrtzq|L]wnPVfJtTyQ|d]_nVVcJxtxa}l]SnhVcJwTxQ}T]WnbVrJ_Toa}l[CnhVpJ]t{av|^?l|UyJttnA|TZknXVlJZtzqvL]wlpUpjXtkit|Yyl`UjJptjQ{L]GlXUhJoTvqtT\wlPVZJQtvAs|YWmzUcJltgqzlYGmxU_JktgQzD\gk~VXJNTuard\_kzVbJLtea{L]GkrUUJnTeA{DX[m~VKJftrayL[sm`VQJcttAx\\KmTVEJitqAyt\[mNVBJYTlawl[OljW}KWuKJD|aypXWlk\d~zF`_EpyW?k\d~JFh^ypwV|k\D}y~PbanqWxjzEMY~@bipoVvkYeGJExaIpkW`kXEFZE``}peW]kLE?j?``qoEWZkGeDJAP`YoeWTkFeEJ@p`eo_WVkDeGzCh_upGWKkCEIZ@PamoQWikRe@z?haapKWEitTYylLUyjXTlkgEYJIPeiqaXhkmuVjJddmqrXYkheYzI`euqiXkk_eZZL`cIrUXBktENzL@cArQW}kneRZKHc}r?XMkdEWjH`eQqUXbkbeTjH@d]qQXWkaEXZGpe]qIXejktuizD\mmzV[jnTwIz|]EnFValEEZjPhfAs[XnlCedZPXh]sSYUlFe`jP@hEsMYOlHE_zQ`gUseYCl?EbJOPgysAYLk~U^zNlfqrtXzkzebzN@hErqYOkyEdZMph]riYUkxedJMPhMraYQk[UMjFLbmpxW|lXulZUdjIt`Ypl[EhJUxiUtkYelOelzV@iMtkYalNEmZS@jms}Yyl[eezRhjmtsY[lTEjZT`i}tUYmlKEhzTHhitOYXlfEqJXPlAuQZNl^EpjV`k]uIY|l`EsZW`lMuEZQl_EqzWHkut}ZKliEvZZxlYuiZ]ljeujZHlquoZZiWTKieL[um\VKjdTqYx\cEqFXAk^UOJF|iitVYklRuiZTDngvdZxLyU}B]\nWv^ZvLwu|R]DmovdZmLyUzR]\m{vRZjLwuyb]DmwvPZkLrUzR[|mkvPZiLruxb\LnSv@ZuLpUwR]|n_vFZxLqU}b[lpcAF@D_aTZymDVEodWRkGuBj@|`ArhXukyu[ZM\fIt|Y|l]UoJWLj}xY[hmTFIzd`qax][emWFHzdpqUxC[gmQFIjcXqexI[_mOfHzcpp}xC[[mQFFjcXpuww[^mOfFjbhqAvy[Tl|fCz^`pQw_[jmUfCjd`pEwY[mmFFJz`xrAwU[XmEFEzbPoiwu[GmKfAZbPo]wm[DmKF@japoQwA[Rm@fDZ_PpQw?[WmJE~jaxn}zA@A__OOZg@uEyC\bm_fWjfhuEzE[~m^FWjfPuAxw\^m\fVjextuxq\Zm[FVJk@rYy{[tmnfLJj`rIyy[rmlfKZhxtUya\VmgFTjhptIyY\SmhfRJj@seys\JmkfQjgXsYyI\GmaFPwGcCUAF@C_aoOzpXw_{D]CNDVaRo\wS{P]FNDV`bpLvc{L\zNBv]bolvW{D]CM{V\ro\vKz~\tN?v\BoDv?zx\qM~V[RnluWzX\dMtVXBl\u{zR\fMuvZblCCAAB@A_`OOWGDyowj[RmIVEJa|pY|S]bnQfiztHyQ|K]jnSFijsxye|W]VnVFeZthxa|O]_nRFgZsxyI{y]bnQffzrpyQ{s]nnLfkZu@xq{k]mnIFjZqhyq|_]PnWfczqPy}{V]LnEVbjqDw}yx\\mlvWJj|ty|o^OnhFmjyHze}e^@nifozy`{I|{^TnhfoJy`z}}c]|n\fsJyHzq|d]snXvlZu|zY}Q^NncFrZwx{y}K^KndFpZxX{Q~U^UnufuJ|`|]~M^_nofxZzx}Y}y^bnnFxJz`}I~O^Xnsfuz|P|i~g^vnzF}Z}h~a~[^pnxFzz}X~A{P]InCvrzxl{y}X^JndWAC?E?H?N_@OBW?S?]?@?H_AOAw?r~U?O~x_DN|v~S?u?_~~^}OBwEBtTym|R^fnrVxZ{\}Q~D__OKWFcBU@|?r_YOMWESBm@`?v_JOJWAcA}?d?j_ZOHWDCBm@L?x_]OFwGCAM@|?`_UOEWDs@u@T?Z_uORGK{EaAR@i_doOgK{EiAN@g_aoUgKKDyBJ@[_poTGH{DIAr@U_go^gLkGIBbA?_vo[gNkFYBr@s_|oJWD{AmCHAP`IOaWOsHMCTAR`IObwPcHEBN@j_sod_?SIMCo?E`R_@GRSIS?HA[`P_?gSCI[?LA]`Q