CAT(2186,1)
Sparse6:
:~?aI_?O?G?CA_@I?f_Q_HgCoA]@i?s_YOLGFoAw@b?o?XoJoESBE@f?q_UOJWD[D?AT@K_doR_HSCsAV@K?foPoHSCoAR@G?doRoHKCwAN@L?cOOWG[CIAH@D_bONgGCB}@k@N_Z_RWHoBU@q?z_[?NWFOBq@P?i_So[OGKCMAD@E_aOPWFCBi@r?{_\oNWFkBm@x?t_ZOLwOoFsBn@x?~O]?N{FQBj@u_yO\gMkGKBbAD?xO`?M[EsBx@z?to]_LcEwBt@o?}OZoN[EwB~@o?}oZoNsGKA`AD?hO`?IKE_BV@i?uOZOLKESC@@f@@OX_OKGSAzAC?nO_oJcECBn@x?oO]?J{EGBb@c?xoWoMSDYAp@V_koUwJSDKC@@S@@OTOOKAU@N?e_UOIwDkAu@X?j``?SGISDEBB@^_oOmoWKJ{DrAy@_On?WKJwE@A|@^okoWSJSEHAs@`oigTcImDMA}`]_iWV_IaDLAd`QOf_UsI?DpA^@ZoeWRSHaCcAu`I?mGQWJ]ClAT`JoboWSHCEHAO@`opoPkGwELBD@EOmoP[JgCRAI@[opOOsK[CNBE@COeoTkI{CzA[@VOk?SKJCDFAq@POMGFSBeFXBm`uoyw\SMeFsBY`m?}WZWNaEgBw`j?}gYgNeEPBI`corWX[KqFiBM`g?|w]oK}F?Bb`p?xW[GMQEyBn`w_vwZoNAFcBV`y?uW]WLaFKBP`r_swYOMaGlCWaJpBObKOwGvCNALP@o^[NoGRB|ACPAo_kOoGHCIABP?OaCPGGFCAAGpCo^sPSG@CS@~oPwHKCaD`Aq`WojWT{IyHsCsAVPL_eCRSH^CnAWpKoeCQwHdC^AWpKocKQ?HdCjaUpJGcSQQHFC\AYpL?bcPwHlCgAQpI_c{QcHLDW?VOKGD{FAB\@n_pOXGK[MMFJBc`movwZsLEEfBQar`VgjwUaJ?Dhaq@UwkoTuJID[ao`UwkWTqJCD\akPUgjKT_I|D_AlPVojKTSIdDSAjpT_i[S?JNDAAspOOlCUCIXDbAfPW_hkSeIVDIai`PgioSaImDFa``XGggUYIGDdaf`NWfoTEH}DOaf`NGfWTEHsDOaZ`SgfGTMIgCwbS_GwCcAIL]?a_QOGwWKKAD~CKaDpAg_{OaGRCva[PMWvcZmLzEwBXPm_ucZcLfEqBZPloucZKLjEnB\pkOvcZ?LzEVBOPg_rKYCKpEbBOPgOskYGLHEbBSPhOssYOLNEeBTpi?tKY[LTEkBSpj_t[YsLTEkBWpj_t{YsL`EPBMpcor{XGK|EGbCpagv?WULsEEb[``wnwZYLmE@b?@lWnGXuJuE]a|@fwmoXiJmE[a{@ewqwVMKoDsay`eWm?XQJcETbJ@[WlgXQKkDnav@dWlOXiJWE[at`ewpWVqKYD|bE@^goOWyKGEOb@`bx?o[gOFGDBdq@?xc^uN~F}bea?x?g[}OGFMbiPswyk[OO@FEC@PpP?K_?MBFBC@Po`?K^gNnFxB}P}o~C]wNVFoBupzo|c]SNbFfBxpx_}S]_NDFcBtPwo|K^OM~F_BzP|O{K\?MlFWBhPsOy{\oMNF]BcpvOxC\cL|FZB_Pu_v{AI@H?bafpSWiCbKOpGYCYqL@BKauP^GmcWAIhEOaqPaGjcQQHXCsb?O`GNCXQKPAKbKORGtCDqL@@S`SPBGUCPQDpC[`GO|GSCOQCpB{a[OXGhCFQI@@k`kOLG\CCQF@?{XQKjEUbLPfGr[XuK~E]bUPjgtkbWQnGwCkqLpJCdCQnHRCkqS`JCdsQ\H^CgQV`H{dOQVHUCeqTPHcc_QtH[CdQQPJ[cUQNHEc`QPHG[dOP~HUC_qTPGCboQtH[C^QNPJ[dsPrGzCnqV`FS_AODG@c@q@X?cfmRzH{cyq\xMsfwRXH~CvQ_@LkfwRRI?Ctq^pLSgCRLHgD@qXpOSgCRFIBCqq_`KcfGRpHsC|Q[pNKe?R^HaCwqWPMChKSrITDLqd@RSgOS`IEDHQ`PQKggSlIJDJqb@RCgsSNIHDFqa@PsiGTJIcDRqgpSsh{SxI]DOqg@RkBE@f?q_VOKGD{X]KrEWbOPggsKYMLJEcbSPhgs{DuA|@[`jouWZCPqG|C\b@P_wocVMJjDscGQCX@{_eOVGIcxQ[xMce}RbHodkAshZOlQUqJRdiarxYwlEUkJOdhAqXXWlMUSJSdcAqXXWkYUSJFd`aphWgkaUGJFd`AoxWGkUU?JCdganXVwlAU]I}d\AnXVwjqTuI}dZamhVGjmToI{dYArHUokyTiJLdYAlxUojeTiIwdeAkXXojMUYIqd`AjhW?jAUAIndVAkXU?jMT]IqdiaiHTOl]TQJUdTauHTgliTWJX_JOEGA{pC?r?Z_LRE_Bc@y?zK_?OOGWB{TIIhDRaipTwisGeCVAI`EObWPsNmFzB{`~P?G^{S]IPDEa`pPWgcR]HpCxbnpwW{CZyM@E~c^qOXGCbePvGydAQ`hOkg]SRIGebbQhhGsqYOLJeaBRXhwsYY[LDecBOhgWseYML@eaBNhgosAYIK~e`bMxfgsIXwL@e[BNhfGsAXsK~e[BKhfOrQXqKreVbLxeGrYX_KteXBJHdorQXYKreVbIheGqmX_KheSbJHdoqmXYKieRBLxd?rYXMKtePbMxcgruXGK{ePbHhcgqaXGKfeORGhcKqEX@KadlbFhZgp}WyJ[eCBQh`OsqWQLJeAbRXhwo]Y[KEe@BEh__pqWEKZeJa~x_GpeWoK?eLA~Hb_nyWuJ|d{bDH^WpYVsKTdzBDH^?pYVmKTeGa{xaWnUWcJsdwBCXaOnIVaKRdubBx`om}V[KOeJayh\_paVUKXeEAxx`gmaVQKJeEaxH[oomWWJddobFh[WpuVCK^eFAvh[?pAW]J^fZ?Ag@c?m?Z?N_FRnoAC@I?bNG?HoDWAc{a]TNHfdRqHxKtG]JNFEgRSPwszGZxLzFWR]`uKv{\`MqE}rkPns{GZnNCE{ropnC{?ZhN@EzRnpmkvC]DLrFaR[`w[v?\|M|EvRZpvcuk\rLlF\rZ@vSzsZPM}EtRn@lKuS\rLfF\rX`vSzWZDLcFZrm@k[zWY~MwEorlpkCz{YzL]F_rV@wCtc\fLZFYrU`uctW]JNFEkRTpwszKYfMtEirl@icy[\TMhFURi@t[yC\HMeFPRgpskxk[|M\FORf@r{xG[pMSFLRcprKxS[^MPFJrc@qswc[XMJFFRa`pkwW\ZMGFVr`ptsw?[FMDF@R_Pod@o?l?V_KODgA{@a?r?Z_LOEWB[@i`[?[_NOFWBc@y?zMofXRkYDpBQ`kOogYcJyEHBQ`kOrgYcKiB`Aa`SO]gMcIYBxAa`SO`gOCIYD`AM`YOcgTcGiDhA]`UOdgUCHhyk|Y]hNVfkruIA@BE_cOrgGcKi@hAy_]OogFCJy@PAU_WOfgDcHi@HAM`GOGgPC@yC@?Y`AOCgNc@Y?X@q_CO]g?cFXxX@e]YOZfeCEiBG{}_uNOgLBrh~p@M_iO?gIB~x}g~m^mN|fzB~H~?~I^gNyfxb}X|W~E^SNofsbzx{W}Y^ONdfqBxx{?}q^CNmfobzXzw|q]yNYfnBuyAw|E]eOWfhCDg@S?q?V?K_DOAwAC@I?b?O_HOCYQG?}?Z?M_EoBw@t@e_vOYeFRCH`{pQWlKTeJrEXbCpuW~K]hGcdyRHHMcoQQhIcdyRHHYcoQShEc^yO@GmcAQKh@CayO`GqcYQBhFC`YQ@G]c]QEhFCaIQ@Gic]QHhPc^IShFydGP|g{caINXGibsQHhIC\iN@HYbmQThHC[yQXFUcaPshAC[IOXFIcCPpguc^yLxGEb[Q?hAcYiL`G]cKPjhLCXyR`EecuPggosWyKTEQbLPdhPcViShEAdGP^gmcgiJ`IAauQ`gkCeiJPHqaqQZgjCfiIxH}cyPThMcSiRxDQc{PRgfcgIIHIIa_Q`g]sNyFtCAaDP@g`sPYGdC]aPPEgeCLyHpBeaYOwg\CQYHXBq`uPIfXrlXuczu\|M{f`rpHwS{U]NNEi@cmIVPOUdqSChec}iXxNqfuRMhdD?yX`OUeUSChbc}i^`KefuRGhbC~iW`N}eIR|h~coy^pKEfyRAh^D?i_@KAd}S@h\d?IVhOIdwS@hUSjYTtI}dbQohXSlIU\JUdnQuhqc|y[xNefKRwhzCxI]`MIfiRbhxcvy]HMEfcR_hmCzi]@LyeyRnhlCzYZXMqfURXhsCti\PLafQRVhRCsyT@LUdMRShgCiYYPImeaQiiBDMY`@RmgMSyiUdKIePQ}h[SpiTDLid`RahUSviRdEybhQegwSgi^dEYgHPii?SWiIdNIfpP]hySUiHdGya`QIgcS`iNDByaHQAg}SOiEDHI`pQYgYSdiXdAYehOmhgSIip_FwCCAE@B?^_OR^HnSvmZzL~e~SQYH\Cia\PKgetZAmTVOj\TlIxtYQmDUkj^TiIwtZAktUwjPTlIrtYqk\UcjJTiIqTWaklUCjFT_IqTWAlDUGjLT`IrtQAl|SgjbTHIwTPqm\VOiJTEIxTOajTSOixTBIltTqjlT{irT]IkTTAiLTKilTTIhTQqhtSsi`TKIftg_A[@U?h?R_IoDIDDAi`ROjgUsJHx[{u]XNMfgRry]LNMfdRmhwSzy\\MufXRghtSyYYDLIebRRhistIwhZEmEUrjaDkitp[AmCUoj_djyuxYulUUxjUDmItXZQlkUljUDlYvhYal}Uij^DiYvPYalwUij\diYuHY]lIUrjRDkisPYylEUnjQDkIs@YIlGU^jOdgysxX}lAUejODhYmhXijkUZizdeYqp[AmCUWj_ddywXXMmGUSjIdpYuxXAlqUQj[DcYphZuk]U~jFDniupWqkUUtjDDlIvPWelwUGj\d`yolWYkHU@j@t_inxXqk?U]jMd^irPVmkqT|jLd^In@XqjsU]i{dfZA`GucVQKhFScIP|Q]hRSgiQTHiclQEhFSaiNTGIb|`sonWXKNuFbBD`gonWXKMUErBD`OpFWcKJUHRAl`WpBWSKPUDRCD^?ozVqKNt{RBt]spFWdJvuHA|taGnXViKOuGA|\`gnNW[JsuEq|D]EnFVajnTvy{D`CmvWRJmuCazd_wmpWOJlUBqzL_kmjVVKEuBAyt\GoVVSKEtsr@d\?oPVNKCtsR@T[ooPVMKDTrR@L`CmRWQJduCqxT_wmLWNJbuCAxD^on~V}K?t~R?D^coDWCJ|u?q~T_SnlVwKBu@a}|]OnfVeJytxQ}dewrBX_knuVJJtdup_XjkWeZZDxeqrUWkkuEJZLhayrOWhktEIzLHaipKXgkSEYjCxeerMXQkgEXZKpdEpcXLkYERzEXcyqSXakeEXJHXeMqAXCkbEOzGhcIqMW}kcEOJHHb}puXUk]eUJF`d]poXXk\EUzFHdiqeWtkieLzI`bYkrUZjLTfIrtXusAYYl@EeJO@hesXYMlEuaZP\gisuYElMeaJOxhqraYZlMe[zMPhqsoXmlLE[JRHe}ryYBk~e`ZNpgQs]Xyk}EcZQ@fmsiXvlJe]ZQpfascXslIE\jQXfUoPWIkCuAz@l_qo\WNkGUCzAL`Is{Y{lOEnZVph}uCYxlaEmzWXjitkY{l^EmJUxjuteZElYepZU`k]t}Yol_ekjW@jEt\YnlUuijTdimt}YflSeoZT@kAtGZElaehZSpk]tAZAlPepJSPkMrPXiksuYzLleqvFZdlqUwJ[TmEugZeljEyJYhm]vKZPlsEsz[xlIu[ZhltEsJ\Xk}uUZhlterZ\PkqusZ\lnevJZXlyumZGldEuZXHlavWZzlvE~Z\hnqwAZwm@e}Z_PnivcZ}m?E|J]Xn}viZnlze{Z]pnAwY[ImEFBz`XoywG[FmBFAZ_hoajBTaioT~I~t^unvVxj|U[ZM\fIr`XmkvuujZdlmunZXlkVGbdDqOxT[bMSvHRb|qCxN[eMOVGbblqOwx[bMNVERb|qCwv[YMOVDbbtp_wx[VMMvEBb\p[wr[UMLVHRaDq[wd[eMGvIBa\qgwj[hMIVQO?{?a?RU^jOtgJGLcMqDW}k_UNzSdiYtJY`lPugj\dmyvZZnlwu{Jj@tmys\\mkfVJjptUz?\UmnfTzj@tIys\SmkfSzhxtUya\VmgFTjiPsqy[\SmefSzhps}ya\KmefSJgXqmxY\DmUFPJjXsAyC\\mmFOZfhtyx}\_m^FVzfPsexw\Im\fQzfHsmxo\HmZfQjgprQyO[umbfLZgXrEyG[qmafKzdpsYx_\GmVfPzqG?Q?J?EnGf[ZmPxMz_]QnGfZZlxxMz[]QmtFbjq@um{]\kmrfazlHwuzO]KmqFbjq@uY{]\dnDfWZkXwu{W\anAf^zoxwE{K]?nAF^JnpwIzy]Bm{faJnXwizs]Hmxf\jmhvazg\v_Co@w@C?]?R?Gn\fkbvDzO|t]rN[vlbvDz[|t]tN[viRulyk|n]iNZVhbuTy_|f]fNYVgrt|yS|b]oNQVgBtdyG|\]`NUvfBqlxg{l]ZNIVfRq|x{{r]]NKO@G?s?U?H?E_AvvBg\sUyH\EmcVPzyX|m}i^XniFujyp|m}o^Xnjfujz`{]}{^HnmfqJyp|A}c^VngfuJyh{y}e^NniFrZzx{i~A^KnoFqzz`{Q}{^DnbFvZ{@{I~A^@nnfozv\zu|x^?n^vnjp\wu{X]MnGVbz|A?A~S_Ansg?Z}Y?V?E^pnxG@K?X}z?I^ooAFz{?@}n?C^lo?fzJ{\}Q~D^dnrvxj~p~]~}^xn}f}J}`~i~k^{nyf}{BY?Z?O_\oMG@{Ai?~?k_PoJgCKAY?v?g_MoEGCk@I@b?U_YoDGE[CaA^@Q_eoQgIKBqAF@?_boNgGjvDzi|r^~n~V~Z~T~q~v_uOWWMCEUB\@b_oOXwLSEUBP@b_jOXwLSDeBP@T_uOUwMCD}B\@\`GNkvuzzU@V?l_VoHWDKA]CxAP`IOgWRsHMCtAP`IOeWQsHMBdAL`DO\wMcG}ClAD`LOaWRCG]B|A\`@OgWOCH}CX@x`DO^WPsFmEXAk`boigX[KaDRBG`PopgS{KiDJB?`\opGV{KIDzAm`YokgVKJADnB]`eowgYKMAE^BY`iouGY[LYEzAL`Foaw]CMUFhBf`xOyW]SMmF\Bt`uO{WW{KmERCA?@O|w_o?YFrCC?AO}w_O?QFy?AaBP?W__?YF~