CAT(2184,6)

Sparse6:

:~?aG_?O?G?CAs@V?h_UOHwDCAi@L?e_ROJOE[B?@f?q?YOKOEkAw@j?n?YOQ?FCBm@l?x_\OLwIGCyA\@O_gORwH{CuAR@I_doQGHcCG@x@E?]oOOG[C[@|@C?^oPOGCDaAr@Y_joVGJ[DCAz@Q?noV_IcEGAl@T?ooSoKCFG@B?__POGwCkAQCG@q_xo\GMkF]Bl@n?zoZoM[F?Bd@o?yO[OMkFCBl@b_qOXwKkEaBL@k_vOYWLSEuBV?X_KoEW@S?q?Z?N_FOAwAC@E?f?T_HODGBS@u?v?^_MOFgBk@m?t?[_NoFgBk@i?v?]_NoFGAs@a?n@n_wo[GH{DAA\@B_`OPwGkCQALB]@fOrGYKKuE^BO`jOswYcLUEnBQ`bOqGXKKiENBJ`OOfwSKIIDHAb`ROhwTKIUDTAg`NOfGRcHuC|A\`WokwUSJQDlAt`^_rWVwK}DyBM`^?rGY?JyEaA|`\?tWVWLIEeAw`i?mWYoJ]DwBV`]?owUwKMEIAw`a_mwVOKQDqBC`X_oGUgKIDaB?`X?ogUoKEDgB@`O_jgTWIMDGAn`O?jGU?H}DCAl`S_jWU?I]DIAj`T?jgTwIYDOAk`?O_gN{GMB|A@_|_swN?LIBqBT_|?tgNgL]BwBS`LoeWQsH]CtAW`H?rWQ_KyCeBN`I_rGY?HEEaAO`c?bGXGGmEKAL`b_agPwKmC[BI`AO`WOsG]CRAGam?GwCCAI@H?`_QpZ_CSAE@@?c_PoHWo?DUAb@Q_iOTgI[GACBAA_~o_wNsGUCRAC`CO`gO{YOKdEUbHpdGq{XULBEabOPfgs[X}KxEWbKpegrkXmKZENbGpbGpsXAJzD|a~P^gn{V}JxDzazp]GnKViJkE\bK@\GmgXiJkEXbL`\GmgXqLCDhbP`ZWroUaJSE^bO`Ywl_YALCDqav@fgmWYAJ]E^bO`[GsWVEKYDfap`cGp_UIJGEPbF@XgpwUUKKD]bB`VGp?TuI}EHbD`WWk?WiKADdb@`XwkOWQKIDeb@@Wwo?UQFaDO`y`SG]WTIIcBo`x@SW]_TEIkBuaj_|wj?NaIuBxal?}wjGNiIXDMafpQwhkSiKADCb@@PWoWSYK?DFac``Wo_SaH{Dva^`]GgWViI?Dxa_`^GgOVmHzCwa[pNGf[RiHmDmaX`Zwm?RIHkDraY@[gegVEFyDX`}@Ugj?OEIkC?`~`Tw^oTmH?EQaO`cwcOXQKmCbaQ`dWqoQQKKCebD`IgowQ]HOEGaT`aWdGWiIiCEaB`Sw_WTMIiCCai@@Wi_OIKcCYbH`Ewq_PqGyEUbJ`FwboXUGgD\aI`VGaoTyI}CVao`EWk?PaGPCJaCpAg`kOqGeE[bK@BgrOO}KuCObM`CWaOXeFTBj`vOzG\{MuE}Dgau?wG[GUeJSB]au_wwlWMIFPBd`qOyW[sM]H[BX`m@JwdgLaH_BY`l`JGZgRE?`?P_HODWA[@Q?T?M_DoBw@c?uRk?V_JODgBC@a?n?I_EoBw@[?y?XIG?CoAG@C?e?R?GagPSgiKTUIfDSajPTwjCTeIvDYazP\GmkV}J|D|azp]WnSVaJxDz_UoJgD{BI@`?p_]oNgF{CEA@?{_]ONWFsB}AB@?_`OPGGkCYAN@B_cOQwHKCiAX@L_poXGKkEYBN@gaePQwhSSuI^DMa]PMWfSRmHzCwaUPKGdkQyHbCn`~O~w^cNuGBC?a@p?g_{OQGJCE`tOyw\cM}FZBm`lOuGZKLuEvB[eIA|x]cnUVpJxdzRB``Co{WRKOEDrC``SooWbKLEHq{X]CmyV^JqdxrB`\SmoW^KRDsRC@\KmsWbJjEHQw``SmSWPJbEDqx@`KooVNKLDrR?pZcoOU|KDDnqw@_so[UzJ`E@QtXYSlQU`JRdgqq`YKksU`JJDhQr@Y[lSU^JMDiQz`WcnKURJoDaqzpWsnGUNJpDcQl@\[jWVZJkDZqy@USjSVTJhDXqp@USkSTfIsDbQlPW{j[URIuDcQg@`siCW^IaEGQgpaSiSWfKPDQQfpVCjgSzIxDMqf`V[h{TzI]D]QjpR[ioStIlDLqj`RSjCSxIoDMQeHQkhYSrIVdIQd@^sh_V~K@DIqdp^chWVzIXE?QcpZKhKUnJWDHQt`QKlkSdJYDGqahPkgmSRIKdCQ}`OSngSLJyDBq}pOcnkSFJzDAr?PNcfsVxH}D}q^p^sg?V~I@E?Q_`ZcgKUzICDnQ`PZ{m?SNJ`DBQ\`Vsk?RrJ@CzqnpNCkKRvJAC|Qa@Vsk?SZI~DDQo`PckCSVIHD`q\@VkfKTxHqD\qm@MKfSTrIyCwQY`TsekT^IkCuqjPLcj?R^HmDWqh`Kki[RLHcDSQXpTKigRRHgDTqYPSKe[T@IbCqqhPKse_TDIcCqQY`MCekRbHqCuQ[pLkfSR^HsCvP{P`[^?WTKGBuRAO|k]{WZFmEEQ\pJKdsRlHwClqU`N[d_RtH[C{qTP^sdGVxHSD}qTp^{oCQfHUE?R?`HcoKQZKDCfR@@H{o[Q`HPEBQIHDkaqPTGjcSr?`CSoKPFGfEAR@PCcaWWNGdEBQV`B{d{PBG[CoQFPKKa?RFG]CpQw_}{mKNdFrDqp|@[{mONjJeBzQD`Ss`[TNGYDSqE@TCikOrGZDTQ|`Ak`?VhJxCIQ|pAKn_OdGRDyqBH@[_yO^GIcEq|`?s_cVjGDD{Q|p?{ncOPGCDyPx`Ps][S\FgDFpypQC]gS`FhDFqt_zSl[MxFZDkQuOzklkM~JYBnPt@NcfwMjH~BjQ^Oy{\cSBFWD?QqovckwMBJLB^Qq_v{k{M@JKB]qV_tSY{RFEkCnpjPKCYwRBHaBTqO@Dsb?QDH@CVqKPG[bKQJGqCaP}PEc^oPrFyCYp}pEsb_NpF|CZqP_{ccgNDFbCbqQ?{K]SQVHHBoPsP?S\GOFFNB~Ps?~{\KO@FMC?pq@FS[sP~GzBcqN?xSbsMXG}Bdpoosc[OLPFFBSppOsk[WLNFABRPmoucZ?LlEyBXplouSZcLjEwBWq[HMcfMRdHtcwoHwDCAe@T?k_ToHwDCAe@X?i_ToTwJCDeAt@[_lo]GNKFmBx@|_|O]gNCFmBr@{_}oewQsH]CpAX`LOdWQSHEC`AR`IQShI[dQQnHTcjQPhHCc]QTHJccqMhF[bqPzG~c^QAh@[_qO\GNcEp}W~[^qNpFyb}poGvcZuL~F@b^PmgusZ]LpEzb[phGskYYLPEhbRpiwtcYyL^EibUshaQdI[cjQgHJSiQQ|H_dTQXHTs`aTlIwcNQAHVs_qUDGOdbQDHUS_aPtGOc^QBHGS`QQLG[cfQEHHSVQSDD_dJPXHOsUaSTIKaxQcGlsaAIdDWcZQJGisSaPLDKcTPVHESRAJtCsa~PMGoSWQH|EKa`PaGgsU`aspcarKWGlsU@adDoWjKVGms^AGtFsaNP}GcS^qHLCgcBPJH?SZQG\CGb\PnGaSZAGlCCbTP?GtseaFTHk`vQ[G]SfaFlH{`~Q\G^SLqMlFC`hOtGxSMQMdB_bfOuGwSfQC|AOc~Q]GRSeqClHg`DObHMSBaNt?{c@OIG}SAqNl?ocBOLG~ryaTlJC^NNgHVRxaTdI{^VNhHWRwAH|Co^DPOFqSR`{\Cs^BPPFqrvaKtEO]tPdFlsXpzc|{bRN\GsRtAKc|SbJNUGrRtqK{|cbRNWGsS[@xtFC]^PqFgS[pyK|GbjNRGyRrAMtFc]ZNJG|rqQNTF[]TNGG{RoaLS{KbVPmFasZPws{[b^PkFaReAMtF[[rPwFLReqNKxsbvM[G|R`aISw[afMGGiST`p\D[[RMIGish`lsu{dNLoHSR[aTKvCdVLrHTRWaQ{uSclQSEpse@ksuOcrLfHIsb`hTG{YVQOEeRRqQTHKYZLMHGsa`gKrwcPL?HDrNqPKsKcZLAHERNQSKrkd@K{HPSgpfSr_dJKxHQRGaKDD{XBP]EOSWPckqKbFPaEQR~a?c~{_JO?GBSAQ?L?K_POAGBsF@}S~K_zNsGNSFp}lAC^nO_FzRnAAD@S]@M|GGrnaAS{C_fOSF^r}puCzO^rMtF{RkP~kzG^tMrF}Rc`usxK\nMSF[RdPvKxW\tMVF\ri`oKyk[DMkF@rj`ocwS\^M?FUr]`|cvk^ZL|FvR^`|{v{^bL{FwR\@pcvS[ZLuFFR\pp{xCZrMOE{RiPjsyWYzMfEmRVpskuC\HMgEoRf`isx{YnM`EkRUPs[tk\DLYFORPQAssO_nOWEcSEPhKs[_vLEGLSJ`e\A{XhOoEZsKPekrW`fKqGXSJ@eKqw`ZOgEURJqDKqs`VOiEWRIPl[q[ZXKeEtRY@d[ucXTKgEurS@bStGW~LPELrSpbkpoYjLSENOCGAK@I?f?S_Io@W?{?]?L?E_Atp_kSUMJHDearpXWlSUmJRDlauPYG]SNMF`Bs`yo{W]sNeFnBy`|o}GZsL}FDB_`ooww[cMUFLBf`sOyWZkLaErBY`mOuxacpeWlKVeIrEH~C~e^tNzf}r~Hys|]]hNTfkruHncvuZ|L~e|r]hfCreXtKze]rNHcCqEXDKbeQrHJ?l_IoFWFkBU@I~`^YnyVvj|d~i~@^}nqW@j|E?I}@\InaVSjxDtY}X\YmmVtjhd|Ixx]qnYVOjvdsYxh]mmWVmjfDyixh[emaVGjfDpyx`[Ym]VIjgDqyzP[AmGVZj_duIwX\qmIV\j`DuYvPZQlwUtjZDnYuxZmlqU~j[DniuxZIl[Utj[DkytxZQlkUpj[dkIt`_qlUWLkCDiJ@HYelYWIkDdiis@_ElAW?j}DfI~hXun{U^j~dfipPZik[U{jDdmyp`Zuk]U~jEdni|xVIjiVkjtD[ym`]mnYTvjvD\ikp[AmCTfitDpIwhUajUVBisdoYyxUUj?VRiqDsikH\QjCVUipdtYi`\yiiV^ijDwIix]EnETXjpDUIeX`IhgWRkGDLYeP`Eo[SpkFdKIdP^AhUVqiUD{ydh^UnaSniVD|Ibp_ag}WHiOEAicX_mhCWLiOeBIx@OygYVHjbDBIwxO}g_VJiGdqi{XN}f{V_jnC}i^`\}fyV`h|dwi{`NQnIRtjsc}I{pNYnORxjrc|y\P`Mo[RgkFcyZAPMuo_RkkGcyy{`MInIRbjrCxI[p]efMVfhqdyIZh^]nsR`hmD|i~@LynuR^j{cwIXP_IoERJkACrJ?xKue]WDkBCriWx\ueIVYhcdvIW`\amqRGhbDuysPXAkiUcjRdcisXXElIUSjRDcyl`Vyj}Tlj@D[Io@UykETpj?dZygPLYiERViaCuIghLeeuTFhlDPiqpRqhyUVi_DeIfpXeiAUZi^deibHTIi[SWifdEii@PmieS\iMDSY_pRYgMSviCDMI`XRmgQSyiDDMYn@OAjqS@i|D?inXOMjySDi}D@I]PWefeUFjACziohM}f_UGhwd`iYhP]e_SQhgdCyYPPQeeSUiIctIhHJ}iOQ}idCoIhXKEiYRBieCoijPJadqTZh\DVIVXTui{Q|incnIUPQQdeSdhYDHicxJUhQQviSClg?c?Q?HVAjaToIwL[UmFHicvQYxL{euRXIAd@q`xOcgYSJ@}_~o_GOSGECFFAb`ppGws[]MJEobYPkgukZELf[`M?e~j_hnuwCZzmBE~z_@oQwEZ{m@Ewz[PoUvI[EloF?Z_`mQvA[BmEeuj`plmw]Z[mGEvjZxpEwcZ\mKeqJXhpmuQ[YldfFjX`pquS[\m?EojWXnmuIZ{lbe~zWpnuuGZ}mJEgJSHpUwmYblNFCzb@iIs}[SlIFFZQXpysc[XlJFFJbPh]si[ZkyFAJ_xferm[IkyfAZ``fawUXukre}JKpnivsXdl{EWj^HeMvqXckjFCzaxdiqm[SkkFDZapdequ[WkfFAjHPo]qW[HmEERz`XcuqU[GmEePJGhoyqK[OkbfBzHHpIqO[PkQfGJCXqAp?[^kQFFzCHp}pC[_lfEkJXxjEu_YqlXesZU`lItiZRk^EhJFxiUtOXBk_EhjTHcEqCYflTEeJTXhetWYYlUeezRhi}t[Y[lEE`jOxgusOYMlCebzPXhEsSYOliE_JYhgEuqYBljE_jYxgUuoYCluEZj\he}reZplvE[JMPm}raZokmExjJhm]q{ZgkneyZ\XeEvSX_kie{j]xdMqcZrkgE|J]hdQqaZukXEljEXj]pgYwkYemZExjmpkYykUE]jDhfmrwWmkVe^ZEHf}p_X}kREnJCxjut{Wgl^eIZWHamu?WikMeMZBPbqo}WwkLeNZFP`qpuW]ksEDJL``UrQWUktEDzBHeurUWW_Bo@W?suaZRLietrZXld`eojWWkIUDjA|{w}K^LndfrJwx{u}O^KncfrZxP{q|a^?nXFoZuX{I|g^BnZFpZuh{Q|y]Rn^FdJvxxU|}]Un^FeJvhx]}K\VmkFpzjH{ayw^JmlFqjjX{e}?\Jn_fRJhh{Iy[^BmgFpZhx{Q|_\smvfjzm@ymza]kmxFjjmXyu{y]wn]Ffjuxxe{s]xnMFmjvXxmz[]KnDfZZoxue{O\inDFYzpHuqzu\\m}FVjnht}z{\_n?FWjnxuE|I\PnRFSjsxtM|O\SnTFTjtHtUyQ]cmaffzgpyAyM]`mdFgjh@yM{K[}m[f_ZfPwIxu]BnAfNZo`rqxe]LmYFbjpxrU{_[um[FcjexxExY[~mVFOJdxsEyC[omaFKjgXrEzE[fmqFIJkhqezK[imUFYJkxqmxA\tmPF\jcXv]xG\wm|FHjnHqV?k_loJgIKDI@b@S_XoUGE{DY@i~}^no@Fzj~p}r?E^po?F{K?H}u~o_[n{gF[Bp~j?}^zn}gG[C@~q~c_anxgGz}yAU~g_cnzGHz}iAZ?O^coCfxZ{A?Q~A_DnpG@z{Y?Z?S^YnnGBZzy?y}w_NnmgA{@`|m}g_OnigCZyq@J?e^VoIfu[A`|a}c^jnfFxj{x{}~O^OnhfyZyH}j@]`RoigK[DqDJAk_ooXGTKIyBNAW`WoegU[IIDrA[`YogGV[HyDnAU_{o\GPkFyCb@u`Fo^GQ[HQBv@g`?o[GO{EiCF@q`DoZGPKEyCJB_`iotg[[LaFJBY`rovg\[LqFRBG`]oqgV{KAEZBA`fopgY[KQEbBk?@O}W\o?QFvBo?BO~O?cNIF~CA?@O|o?sNQGB