CAT(2184,3)

Sparse6:

:~?aG_?O?G?C?_?N?F_BoAG@S?e?P?H_DOK_@W?}?Y?O_E?BgF??w?H?N?BO@OAC?k?H?L?BOB??k?Q?J?E_`?OWGKCEAO@A?bOP?G{CKAJ@A?aoOoG{COAL@D_boPgI_CyA`@N_fOSGH{CaAT@H_doRGHkEKAu@S_m?TgJODUAm@\_k_VgJ?D}As@\_m?VwJWDyAa@S_h_TgIODUAm@P_k_SwJ?DI@d?s_Xo]?EkB]@l@}?[OMgFKBm@x?|`D?NgF{CA@|@?_^ocoIKDMAdA^@LoegRKHeCvAY`K_cwRWHUCsAS`D?dgP_H]CUAW`J?bWPwHaC[AV`G?dgQGHaCcAV`C?cwPGHUCMAS_x_^gMOGABg@~_x?_WM_GICE@r`A?\WOoF]CI@u_~?agO?GqB}AJ`?_bWOWG}C[AA`A_cWO_HACKAQ_{?WwNOEUBq@c_r?^WNWE]Bw@g_v_^WMGFqB_@z`C?ZGLoGeBYAF_|?YWN?EmBq@i_p?\WMoEEB?@v`l_KGEKA}FAAP`GOcgZ_JUEyAu`l_lGZoJ]F?Aw`n_mWVWMMDwB``\?wgYsL]EjBZ@]ovOV{LoD|B]@_Ow?WSL{EBBC`aoowTWMIFEAl`o_jGT?LaDQBY`T?uWZ?IyD_BY`V_uWWoK}EaBG`g?pwYOKeEgBJ`h_qgSgKqDKBL`R_rgUGIIDGAr`X?gwR_IAC{A^`M_gWEkB]@l?t_ZoLgbOP[GbCRAKpC_bCPOGnCUAKpDObCOmGZCKaB`DGaoOUGiCEaH@?waWOQGCCPaD@Bg`?PAGQCN`r_xG\?MUFKBh`~_|g_GNaG?Bv`}?{G]ONuFaB}`x_}W]gNmFgBy`u?zw\WMuFSBm_WoJwECBA@b?naa?]wNkFqCNAH`CPOOf[SKHzDAA]PN_g[R{IBD?A`PIOgcQkILCiAapN_eSROI@CrA^pJweKRAHWCzaV@NWdgRqHKDFaS@QWcwSaHEDCaQ`Pgc_SUIQC_aP@PwcGSaGvC[aLPFWb{PyHiCwaZ`MgeoReE|B_`nouGZSLeCxA]`Mp]_mcVYJjDOAyP\_iSVSIbDjAvPZOmCUoJ^DaappXGloTeJ]DZal@[GioVEIoDraj`[gmGTMIgDrai`[ghSSqIVDLafpRgjwUaJSD`ao@YWkoTqJMD\aq`VgKSEABBBn`vOzWr[XuKxEZBNPfOsCXoK~EHbDpago?XyKAE_b@@fwngXUKmD~bJ@^gp_XIK[ESbE`cwpwWYKaEGbG@`wrOWUKEEXbK@`Gn?ViJmD{a{`]wvwZYLnEwbQ@nGsoZuLIE}bO`nGsWZuLCE}bU`mWtwZmL[EybX`igt_ZULgEjbW@hwuOYeLaEgaKpDwbCUaJTDhaqpXwks\sMaFVbk`swz?\IMcFSbh`tgyG\UL}FVbk`oWz?[AM\FObfpq?yc[gMlFHBippwws[UMCFJbe`pGwW[qNoDBa_pOgqSXQKfENbGpcGm{VeJpGFC@Q?x?K^cN|FyC?P~o~C^kNpFyB}p}O~c]MNJFcbv`~g}?^}NaG?bv@|W}o]qNmFlbsa?w|W_INSG@b|`xg~g]aNwFfbx`wG}_]ENcFabx@vWzo^QNeF^bl`|WzO^YMwFvcT`nGvsZuPJGfcRQFHBs`uPUGUcUaEHD_`]OeGjcIaJXA_aqPOGLcTABh@waePQGIcTAAxD?_qO_GacHAGxAGaQO}GXcLaGHBOaEOGGGcBA@x?g_eQ@H@c`QP`G[c[QJHGCaQNPE{b{PrG}C[QL@Dsb?PlGtCVqKPFSbkPfG{CXP|G}[^IQWHXckARhHgdiQjHUcjqQ`JCccQtHJCkqS`H{dCQhHRCgQIXDSaaOHGEcAq[@LSeqRVHiClqVPL[doRXHfCqQYPKse_RJHbcoqWhJoeeRMH_csAVwz[\iMxGmcWQJxN{gES@I@DAQ^pOSg?SFH|c~Q^HMogIRoICcza_xMWfeRgHzcya]hLgfARcHncvA[XLke}R\IVDAqePO{h_SLIHDJqa`RKg_SpISDGqcpQshSSdIJDFQbPQCgoS^I_DLQg`RciCSvIbDMqfpSkhwTHA^`OogGSSIQDFA[`NOfWcCQIHBEBbAp`GncVmJtDva{P]Wv{[EM@GQcGqCH@C_eONGCcAq@hH[ciQRHxc|q]hMSfER`HlcvQZxZ?lMUiJUdjatHXglAU]JPdfAshXOlUUWJRddatHXOk]UWJHddaqHXokQU]JEdeapXWGkYUEJDd`ApHX?jyU?JHd^apxW?jqT}I|d\anhWGjeToJBd`AmhUgjaTmIxdZAmhUOjuTgI{d\akxUgi}TmIpdZAkHTojITgIldUAkxTojATWIpdUajxY?iYUcIgdgahxTGlYTUJVdTAuH`_AM@J?c_ROIGC{p_@R?j_TRF_DcAy@ZFubyp|wM{FUBlAC`BO`WKCEIBBBu`{O|wisTaInEfbSpiGsSYMLBFkbvPzW{s]]NPFYbmPuxE[bIPbH]coQVxOkg]SLIJdEqbHggsqYMLLebBQxg_sUYELEebbOhh?sEYSL?ecbNxg_rqX{LAe`bNXfGrYXuKve[BMhf_rMXyKte^BLHe?rMXcKteWbLHdgrAX]KqeVBKXdOr]XkKke[BIxdwqaXYKfeVBIXcgqmXKKkeQBIhcgq]XKKheQBIHfwqEXEL?ePBOXfGqEXEKzePBMhbsqAW~K^eORFhbWliUqK[dlbFX_osmWOLLeBbRH_WsaWILIeABQXb?oAWAKXe@BEhbGn}WsJ}eKA~XawnqVuKUd|BDX^?pQVqKRdzbCh]_pUVkKVdybDhaGnEW_JreFa{h\opQV_KRdvbCh\WoyWWJlduBBXaGmaW_JieFayX[woeVKKJdqbAh`_mIW[JceEawxbWl}VAK\doBFHZ_oeUyKJdnBAhuG@e?n?Wf\?EgBc@m]??\_NoFhwoAA@D?`fbRpxxC{Y]PNFegBpHho{MY]NDfVB]HnOzA\]Lxe|bkHngyyZwMnf_B\XwOv]]ALuf]b\HmOz}\{LrewBmhmGzmZ]M{euBmXuwuy\oLlf]BYhlWziZQMzesBmXkoz]ZMMwfYBWxkgzYZGMtfYBWHuouI\iL`fWbVXuOt}\eL]elBoHj_{IYuN@fWbTxuOtaYqMrf]bTHvwtY\{LTegboxiW{UYcNCfSBhXswyi\KMhfObghs?yQ[}MbfLbfXroxe[wMYfHbeHqgxY[gMVfGbahqOwq[_MJfBbbXpGw}[OMMfTb`Hooyu[IMke~B_Xo?wMZ}MAgL?GwCcAU@F?c_QoHgDCA]@L?g_RsJ?DKAm@T?h_ToIhtszA\^OkGXSJaEdAs`fOnGXSKQEdB?`fOYGRSFADD@k`NOeGMsFqDDA[_|OiGOSIqCTAC`ROcGSsIaC\Ak`JNQfiRsxyk|Y]nOMGVsKAAD?{`bOLGVSJA@d?k`ZObGCSAQCl?g`HODGMs@qBt@{_LO_G@SGa?dAC_FN~GLS?QB\??_xNIGKrqQA{{k_pOVFeSEPxt@_]ZNxGGr}qA[~g_dNuF}R~`~C~[^zNlFwRzp}S}w^bNgFyr{p|K~O^NNiFqRz@{s}k^JN]Fprw@{K|{^DN\FlRuPz[|_]xOSFfsD`yL@S]`?W_KoDwBK@a?n?\_NoFgBk@}?|QN?LoFGBS@i?x?ZgJsEYBCoeWVKIeHRDHa[pYWnKTeLrFXbdG{cjQPHJscAQtHKclQQHJsdAQlFscTP~HDs^aPLGGcVQHH?SaaOLGKcXQMHAsbQOdGWcXQMHCSbQO|FgdBQbG|s^ASTF_cPPxHBS\qO|HKblQSGyscaMdG{bbQPGxscAMTGSb`QBGvsZaOdG?bVQAGusZAOLE_b|P~GtS^QLLH_bJQYGrseQKtD}bBP_gpSXIK\DodBQbGnSVQSTH_arQYGlseQJTDWcvPVHMsUARdH{ajPRHOSfaIdHsadQZGgsfAIDCsc~PNHOSRaRtBq`zOzg^SOIF|CEaFPAgaSPYGtBSaVOvGdSLaHdB_aNOyGcsMQHCzQ\lMtfZrmXvCzu\~M}faRpXw\OCdlSBH[T?aU|NweVS?Hes~qXdKggBRGI@sqQ_TKSfpRFH|Spa^LNseFRCH|s~AWTJ{fpR@H|SoA^LNodzR|H^S}qVdJcf|QzI?Sma^|IidXQjhVSjyTlJEddQohXslYUdNSfFRdHzS|q[dNOfDRqHos{q[DLsf^RpHns{AZtLgfRR[Htsuq\TMoenRmHkszQZDM_ehRfHjSxaYlIOebQeHhshQYTI[e\ROHSsrqTDR[gHSEI[tMA_lRKhZSkIWtKad\Q_h\SiIWTIQd|Q[grSdILtEactR{gnS|IKTNaatPKhtSTI]TDAf\QOg`SQIPTCQc\P{gZS`IFtGA`tPogTS]IETFQ`\O[hhSHIZTAAelUC@X?m_UoJgDcAuZpLye{r]xnkvqaNPGgcsQiH\CqjSToiuD[ilXVEjYTfisdZilxUajSTciuDXilXUUjATfisdWykPUai{TaioDWYjxUMi{TcioDXYjxUYjYTEicDZylpS]iEToiad[ig`VEi?TWi`DUigHTeiiTNijdSYipTAiWTQiiDRYiXSyiQTZiddVYhPTql??a_OOGWCKAI@@OfgSSHiDLAm`TNHfdrqhxc{y]ZRnhws{I\lMyfXRihtsyY\DM]fLRMhgSryYLLMedV@JVtoquL[Gl`UkJ^tjQwDYwl|UhJYtiqu|ZWlTUqJStiqudZKlTUeJ]ThqvlZklPUwJRTmatDZclNUnJQtgquLYOl`U`JUTgAttYGlZUaJMtgQr|Y?k|UbJMthQr|YOk|UXIxt\Qq|VOkpUUJYtlqqdXSllURJ^tcQwDXGl|V@JFToqqD[Gk^UJJ\tbQvlWolxUwJCTaavTZckRUDJXT`qudWWlfUAjAT_yn|WAkBUYI}TfAntXkjzUXI{tdqn\X_jtTuJLT\qr\V_kxWQHCsayPTGqc\QLiQtHyctQIhHSbiNtGYcDPqgzS]kLeDjBh`]owWTkIeEJBP`]oqWUkHEGjAXaMogW`kHEFjA`aAoeW^jvEGY|xaMn_WakNDyy|haAo}VkkLdyJBh]iowVhjqeEJBP]]oqVejotvy{D\ymxV\jlECZ@x\mmqWOkEDtiz@_ummWMkCdsz@X\UoSVSjhEAiyH_mm_WHjee@yxx_Ym[WGkBdqix`_YoOVJkGDpzAH[eo]VGjaEBIwp_uo[VDj|d~Y~`^}nsV}j{e?Y~@_Io?Vvk@d|J?h^YoGVtjqD{y{P^EnEVqkuEVZJ|dyqtX[kluYrDla{rRXiKVUYbDdekpTXhKTuXrC|e_pRXeKSUHBLDe[pLXeKQuWBHtd?rDX`KfuKBH\bGqZWpKeUQbKlc_rHXHKpuNrGTc?qFX@KaUPRFtc[pzXEK]USRFLbkqfWyKhUTBEtdWppXTKZuKrI|bSqrWsKkTdyrLXaktU[jLu_BRTf{svX}LKubJP\gisPYFlCudbOdh_sLYVLAueRL|fCsvYYKwUdbLdh_r\YVKuucBN\hGrzX{LGubrNTgwrrYLK{U\ROLf[sFXuL@U[bQ\fKshXsLIu@j@D_]oTWJkCuBJ@t_uo^WOkGumbRdhwtxY\L\uoBU|kGtrZ@L[UlBVlj{tlY}LYumbULjKtxYzLXUjrWlkKt`YmLaUizTliqtTYglSuhRVlj{tNY}LRUgbW\kOtHYbLaufrWTk?tBY_L_uXjK|earTXjksuwz[LmIv@Z]lnuxBYTlOvLZdLhuxBX|mWubZdLgUrB[|kwvRZLLsUqR\DkkvRZILruuBWtlguPZXLbutRZ\l[uzZULmUyr^\movrZiL|U|b^|oCvp[?Lzu~B]\nSv|Z|LyUzR]DmwvdZnLwvAr`DoswT[KMCv?b_loOwN[BMBTVij|UAntV{j|t}Y~D^]r`XpkvuZJLteuupZYlkutZY|lYxK[_mPFIJcHq]xI[^mQFFjcXpuws[_mPFFJcHpmwm[\mKfFzb@pywu[TmMFDJappiwm[SmJFEZb@pUxE[MmQfCJc`o}xK[PmSFCzcxpIyM?S_JODYrtX}kzW~k_uOJFdbypzYblQUgjR|iEt@ZjluUyj\tmuv^\XMjVUBj\tgyn\]MiVVBiltsyf\OMjVUBiTtCyn\LMhvRrilswyh\OMdVSbhdtCyV\LMdVRrhdswyV[hM_vObd\sKxT\XM^VUrgDtgx~[zMmvNRjttoxx[yMbvMBhLrcyP[vMcVQRets[xj\EMXvPRedsOxd[nM_vOreDsGxb[kMbVJbgdqsyJ]N?HOCWA\uw{^\oNGvZrqDw{zV]PMuvcBldug{\\gNEvYRpduS{R\fNDvXbpTuG{\\cNEvWrpdwcy~]JMovabkDvs{F]DM~v`Bntvk{D\{N?V]boLw_zp\xNBV`rm|vCzh\rMzV[bmk@Y?h?T_JODWAdzc|_]unXFlzuHza|e]unYFlzuhza|O]rnSflZsxzQ|_]cnRFkjshzE|A]lnPfjzsPyy{{]inNfjJs@ym{s]SnHFeZqXxa{u]TnMfdzr`xY?b?R_HOCgAK@M}s\@m`VOzgdsYyJ^PNjvsbzL|K}p^SNkVtbzL|S}n^YNavvBw|{W}v^SNfVtbyD|S}^^PNdvsbxl|K}X^]NdVqBz||s}R^ANlVpBz\|o}F^^N_VvRwL|w|~]xn\Vmzvdzy|z]HnDvajpdwy{Z^}NrVyC?D}[~~_ANwW?r}M?C~^_@NuW?r|u?G~Z^}Nsw?B|\~{~T^anoVwZ{\}U~H^vN|v~R}t~S~x^qN{V{r~T~O~r_XOAWEs?u@h?J_ROEwDS@}@P?\_IOGwBCAU?l?`_WOBwASAu?`?n_cORwGsCmAH@L_^OMWFcCMA@?z]un[Vlz~\~u~x^wn|V}[EaAz@k_ooYgJ{EABJ@]_roVGK[DIBN@S_poXGIKEaAn@k_loYgJKGp|]}r^WoHwD[Ae@F?d_OoeGPkHqCbAY`FodgPkHACfAS`FoZgP[GYBf@o`Co_GQ[HYCJAS`@o^gRkHaBzAY_|oaGMkGiBrAE_zoqGWSI]ELAh`aOhWWcH}EDA``bOgwUsJuE@Az`[OnwTSJED\At`UOkwZSKeE|BL`mOqwYCLUEpBN`jOswP[GeCNBk`oo{G[[MyFJBm`ro{G\[MqFRBB`bopO?SNIF~CA?BO|O?cNYGA?C`{O~w_O?IFy?E`|P?^