CAT(2184,12)

Sparse6:

:~?aG_?O?G?C?g?G?F_C?AW?g?Y?k?L_FOCWAS?}?`?C_Ao@w@C?e?L?C?Ao@_@K?[?P?`?FoCOBk@o?d?_?EoC?Bs?w?~?p?VoJgD{Ay@`?o_YOKwESBE@l?t_[oMgFcBm@p?v_c_NgFkCA@~@@_`OR_HCCsAN@C?dOOoHKCoAJ@E?doU?I_DUAe@T_j_RwI?DYAm@P_h?TgJKDaAz@[_loUgLgAq@V?j_UOJGD[Au@Z?l_VoKGDsG[Br@y_|O]WNSFeBl@w_zo\gNCF]BJ@c_roXgLKEaBT@i_uOYwL[EqB\@l_wOZwMSFEBf@s_xo\GMkFUB[@d_u_XGM?EeB]@g_r?[gMGE]A~@]_poWgKKEAE??d_SoHwCsAi@PBK?ioTwIsMCEXBK`fOrWXkKyDpAv`\OmWV[JqDnAw`\OmWVcJmD|A|`^onwVsJuEJBC``oogWCKEENBE`doqgXKKaCHAB`BO`WOSGEDXAj`UojgUCI}DLAd`TOiWS{IaEQAU`c?dWQWKmESAS`b_eGWoH]C_B@`G_oGPoKUCYBC`F_ogQOKMCNAG`CoagPcGmByA^_~?gGN_IMDG@z`??ggNwIECsAp`K_kgRoJQCyAr`L_lgR_JU?~?__MOFWCK@yIG?a_QOGwjGJ}D|A|`ZomGVKJiDxAz`bopgXKKaEVBI_aOOwGsCUAP@F_aOOwGkCYAP@F_dOQWHcCmA\@L_}O]wNsFuC@@~`?o_gO[GQCLAD`?o_gOcGMCLAD`XOkWUcJMDlAt`NogGSSIEDFAc`IOcwQsHUCpAV`LOeWRcHmC|A\b[@kwuSZULhEvbZPeWrCXmKtE\bMPbOq[WoKdENBIpb_qcXWKbEVBGP`wosWeKPEJbDP_OuSW?LfEABYp_oucZ[KHEDBZPj?osYsKNEnBCpj_pCWkLbEoBDPjOn[YoJtEnA}pj_ncZCJ|EoA~pZwlsVEJ`DqaxpeOl{X_J\EZAwPe_mKXsJfE[AxPWossUGLNDdBSpX?tCU[LTDeBTpWoq[UGKdDdBIpX?qcX[JNEUArP_OjkW?IxD^B@p__jsUCKJD_BAPV?mcVSIzD^Azp\_jsUCJrD_A{PQWhSSaINDKadpSGh{SuI\DQagpTGi[TUIlDVakPP?t[SOLTEeAbPhogkY_ILDDBSpNotkRwLXD@BVpO?tsSKLbDABWPk_f[ZKHvEsA]PlOfkZ[HzC{BZPLOr{RWK|E`A[PLosCYKHtEaA[pT?r{XwIfDUBOPgOikYKIpEaAjpbO]cWoFfEN@zPb_]kX?FnEP@{P]o\sVgFZD|@wP^?\{NCJ~BqA~Oy?m{M[JlDt@tOyOmcVcFXDw@tpIOlKQgJPDjAUPY_d[UsH\DkAUpH?lKQKJPDjARPY_ckQ_JXDlARpho^KYWFtB{BSpi?^[NwLVB|BTPF_f{PsH|C^A_pO?cCQGIFC`A`P?G^{OIGBCBaAPS?bSS{GrDLAJpR_bCTGGxDPALpL_`cRSGVCwAFPLo`kRgG`CxAFovOskLwLHBZBQov?scYSF@Ec@not_j[LSItDY@kOtoj[TcEtDX@kos?hCS[E^DI@hPQOYKSoEhDJ@hpA_eCOcH^CGAYP@oe[RCGLCDAXPC_[KMGGbCS@qPCo[[MWGlCT@qoDwAs@a?r?Y_LoDwAs@m?t?X_KQkOhSSeIPDFaePQwhsSuI`DNahPSWicTMIlDTajpUGKkEQBN@e_soYGFsBu@~@?__oOgJ{DyBB@__poWgc[QQHPCfaQpHg^SNeF|B|`}O}w_CN}GDC@aAP?waSPEGhCRaJPDW`kOyG`CNaEPAw[SMEFFBc`rOxWYCK}EhBR`gosgYCK}EdBP`iOswYkLYEpBV`lOuWZcLmE|B\`nowGZcLmEzB]`oOvxcWoWW@KDD~r?``CoCWNKCEDR?p`KpwVhK\Dxq|`cCp{VjKaD{Q|pcKmwWdJlEGq{@acm{WfJqEJQ{PaklWX@JTENqu@bkl[W|KaDlQuPcKl?WNJNECR@`YKoSUdKHDiQsp`SkgVBJaDcqr`[sksVJJKDqQqp[[kwUxJLDlqqpZ{m?UXJIDnQvPXKj_VPIvDrqm`\SjcVRJkD]QypV[j_T|IvD]qo@VSj{TrJAD]QoPV[p_TdKVDWql@bSpcTfIuEMQlPb[ooT^ImEDrB`TsosT^KNDWRC@UCicWdKPDSQipacigWfIkEJQjPakiKVxIaD|q}`SkncTHJ|DRqh`^skWSzJDDMQf`Wch{UFI`Dbqg@XCjCSxIqDMqf`Uch{TfI_DZQlPSKhWTZIkDJqipR[igStIhDKqe@TCZcVhEwDxq|_v[ZgVjJwB]q|ovcmOSJJbDAQaP[sg_VJJaDBqwPOsfKT|HqD]qo@Mkj{RhJACzqoPMseCTJH_DQQg`K[iKRDHdDRqX@SsdkW@HYD~qV@_KdsWDH]E@qVp_cccSbHGDGQcpH[cgSdISCeqdPHcbwU`G~DfqNPYKboUdH@DiQO@Y[b[VPGuDrqM@\KbcVTGzDuQypFSakULGiDaqp@DkkKPXGmDcQppD{a[W\GeEEqHP`caOWVGhEGQI@`{l_O~JVCNQt`CKlSP@JYCPQuPC[`mOtG[cMqEXBC_[VxGED|qA@^SncORGJD~QA`^k_uOXGNcFQCXAC`KSbGQDGQcpAk`OSdITCJqd@AsmwOFJlC@Q{`?KnCO@GDDwQ@@\{]}N\FpbwP{w}Sp_NVKVBtRE_|KpcNPK[BurEo|c\KSvFQDLPsPRK\?SpIVBiQd_yk[sWpKVBeRE_x[pcMTFNEMPr`b[[SX@FCENpppbs[WWzKaBcpq@cKZ{U|E}Dmqw?wK[?U~FBDmPo`Z[dSRrHSC{QTpNSdWRvH|CkqU@Nce[QJHCCrQPpLKcWRPHjC`qY`GSb?NtGpB|qKo~kbGNxGtB~qL?~s^SS^FsDFQao}{ggNlFxDEqb?~Cc{NDFbCfQSO{{]WQ`HQBqpx@I[gCM|I?Bnq^o{KfwN@F\D@pv@OS\cRZFWCuPtpMK\WR`FZCvpu`LtBO?V?K_DSNO@s?u?`?N_HOCWA[@M?j?S_IODYHwBa@n?y_[oNGF[FmBx@|_~O_GN{GaCNAI`CobGP[`IOfGScIqDxAs]MNDFdbqPxg{|FKbCP[gocUyK`DybEP\gqcVyKpEAalPTgkSTyJTDebAPIgpCQYH`EMaUPcgfCXiHhEU`KO}gQcNYG@Aa`MO~gTCOiGHAeb[OXgucEiLx@qb_OZgwcFiMP@uaGOGg`c@y@PCU_QPEgECQI@XC]_CO}g?cNYG@?Q_EO~g`C@YGH?YakNzf}CTY?@De^}PYgjb~X~pDa^kP[fycUx~@EA^mP^f{cVh~PDu^gPgfxcXx}@Ei^]PhguB{h}HEm`oNbgZbxIFG}Y`sNdfsCNIFW}]b_NEgvbpXx@Ey]MPlfcc[hxPFE]?POf^cRxwPDI]APPfaCTHwXDM[wPEfLcPXrpCQ[yPBfOCQHrxC]b[MIgubaYM?wqb]MJgxBbiMGwuZoPIezcQXnPCyaYLxgeB^IHWvmbOLkgrbYyL_uyZYPjewCYhlxEe`kLegYbXYEoua`iLfescLHlPBQYsOpekcKXj`BMYuOqenCKxjhBI`mLRg[BTHihBq`uLUg\BUIFGt]a]LLefCSHi@DEY]PQehCTHiHDMX`KneWrKhe[rQ_cMCgGb_xoh?u[KOMfCCCHox?}^CNWfobtxzo|i]yNXfoBvHzw|m\gMyfXbmXvgzY\{Mtf]BmHuwzm\ONifRbyX|_ym^UMkfTBzhtG}u[kMmfIbjXrOzA[qMnfXBeHuGx][_NQfFbsXqO|Y[aNTfhbdHy_xM_gL_encCyB?uI_mL`eqCDiAguMZcLGewbPxm_siZeLHezBRHmgsmZ{LAe}bOXg_wAYEL~ebB_XggwI`WK{gTbMxfpBAXyOngVBOIDgr}]WKufdbLXfO{yXqNLe[BsHxwr]`CKigObIYC_qq`EKjeVCGHdh@}XGMaePbgXcoyQXIMbfRBIHcwyUiU@i_uOYwESBE@h?r_ZOLW\CM]FTBh`tozG^CN]FfBs`yo|g_sOUGPCFaDPAX{s}U^HNbfsRxxws{U]NNGfdRqYm`UCjNT_IrTWalDUcjFTiIqTYqklUCiLT_IatQAk\UGiNTIIqtQQkdGWj^QDIvTZQPDUocNQIIwsaQmDRmhxSxi\TNiflROivSrIlTVafDT{hnSuImTLQjlQ_iLSfIatIag|S_hRTIITtQQddQGitS`IltHAjlQKixT^IRTVaclPoi^TMILtFQiLPwi`TRIOTFqiTS{g`TMIFtDAiTTKgfSQIgtCQiDN[jNRwIrTYq^TUgfrThH}S}qlDMWijRdIiSyajDMcirRgIjsxqitSke\TJHessQhdLGiZROIesrqhdH_jfTqHJseamTHcjfQ[IxseqmTUschTkHHscamLHCj`TnHJTZaQlTcbhTWGxtTQMlTOblPwIjs\qitOKerRYIATAAZtO[ezSEHmSuq_lLOgBRRI@S~qY|O?epR|His~aYtK[gjRGIJSqQbLKggtSWHeTDqX\QwdlSlHYtKaVDJ[hbQyIWSmQd|J?i@QnI^skQg\JGiHTAHYTOQU\IgfHQhHpsvqT\M?dXQmHpSwQTlIOgXQbIDsiA`tI[gZQeIDShQ`LKOc|Q\H`soaSTKCdBREHOSpQR|NScXRuHDsba]TGsfbQOHySbq]\Joc@QzG~snQOLGGd|QBH^s`AWDFgfXPxHts^A\tFkfZP|Hvs{ANt`WiLTDibtQIhTSeSxI\dNqfhSKiATDIbdQqhHS{iYDTAh`QohgTCI]CZAM`FocGQKHILpExb\pmgvkZqR@H`cpQWxKceUOLGFcCqAH@[_iOZGKcFqBhAK`AMVFIbeprGx{[yL~E}b_poGw[[IfdRthzS{y]dNEbtPxg}S]yNtFurWX[KtUXbJLe[qtXjKkUVRLDdkrRXQKsuTBL\e_qjXeKjuSrLTe[qlX^KdUPrK\dwqVXHKoUQBKLcWrDXTK`uSrGLcSqlXVKaUSbGDdOqDWyKYUMrElbwprW{KZuNREtb{ppXeKMUYBB|ecp@XiKOuFbL\e[ozWuKJULrA|`kphWXK[uMBBD`gpjWyJ@t_RFtbkkDU?K^uNQolbokHWgKDuBbDT_{pVWKKUuJB@lacoTWEKKU@BA|`koRWXKBu@RAt`goPWdK@T~bCTa[oBWBKQT~rC\aWo@XFJxUQA}|cknjXHJzUPa}\cgnhVlKVUKQ}L^?pdVnKXuJq|d]wp`VeKVUJq{|b?nPWpJtUKq|LbGnVW^JoTwbBd]SpBW]JotwrBl]Op@WhJnuIAzt\gpTVZKTtvRDl\opXVVKguSAyt\_qXVSKfttRHt\cqZVKKHUCqxT`OmRWOJcTrRAL`SmVVDKqTprKd[KrJVCKqtpbKl[GrHU}KfTnBHddCm@V@KgTnrH|ZsqZUjKatibGdY{qDUmK`tjRGLYoq@X\JQthBJDdolRXZJSThrJLYWqtWSJNuCArtYCodU_KGtgrA\YGojURKPtcbCTXSpNWeJIUHQq|aOklXaJBt`bK\d{kRX]JCTabKLWkr@VyJ\T}qv\Z[nrUuJ{TmQ~lZ_nxUXJXteAuTXsljU[JYTequLXgl`ULI}tbAndW{jtUMI|t^qqDXCj|TtJgt\AyDV[mfTuJhTrqnL[wjpWOkGuCjAd`UofOwgZsMiFLBq`vC{a\pNWfsR}I@D@a`pOg\sMuFbBq`wOzwY{LaElBT`kouhyS|E]hNRfjRtYotW]kRUGjDtajePryx]\?mWFNzeHruxw[sm\fKzQpryxuYXm^eezRPsAsm[{lKFNZaPqewe[imUFCZa@qmxY[MmVFBz``qYwU[fmEfIJcxoixO[HmRFAJ\Pr]vY[yltfMJ\`rev][tlvFLjfPmevG[tlqfLjexm]xoZem[eyJ[@pywsZ]lpfFJZxpmvA[^lpFFZZXqeuo[imUeujdpluxWZ[lkfIzcPkExEZCmQepZc`kIxAZBl_FGJU`piti[Zl[FFZUppqtq[^lZfFjT@sEyCYjmaEjZgXiitW\ElSfPZcHiIxEYblQfGJcPiYxIYfmQEhJNxsYyGY?mae_jgXgEsE\@m`E^je`fAx]XlmWEZjeXe}ra[pkuFKjX`nMuYZqlwesZXpnAviZNlgE|JTplIukYqlVeszYxjEteZSliekJRpnmvoY[lOe}ZRhnivkY_lNe|zWphAuMYPlIeqJQPkeseZJldEdJVxgmsSY{l^EbzPpjusYYzlEEmj_PgQwEYDlBf@ZP@oQsQ[FmBE`jN@nqvyXyk}E~z^pfmry[@m?E]ZMPp]rm[TkxfEJM`pewkXukyfDGA[@U?hIhdSQixTSiuTXIodVqjjhx{y}e\QmefsjyHsyya^OmgFrzyHzY|e^OnYFrzuh{y}e]wnhFlzuP|Q|a^SnWFtZyhyu}k]nnjFjjt@{m|M^KnTFrZtH{m|W^LnTfrJrXz}{w^?nNFojrh{E|?^CnNfozv`x]{i]xnKFmjvXxY{s]}n]feZmHwM{G\qnBF\JohvM{O\unBf\ZlX{U}K\knbfZZlp{az_^ImvfqZkpyMzM]cnQfYJspuezS]`mqfgjpHt}{S\_nEFWjpXuEzG]MmpfbZjHvuys\}mmF_JjXv}y{]Ammf_ZpxtM{_\TnGfTJqPtYyo]SnHfTzgxv]zs\GmdF]JnHsezw\Km|fQyE\BI`bPIgcsRIH\CyaZ^qOSwIr|}Ag~`^pOSV|CDd~L@Z_hOKwIcBUAl?x_ZOSWFcDmAp?z_IORWHS?}?`@L_HOQwBCC}?l@N_RNywDB}u@W~p_TNzwEB~M@[~t^hOEvyc@t}p?`^jOFvzcAT}t?b_^NqwGB{t}`@D^fOOwHB{eAK~F^\N|vvb~d~w~@^|Nnw?B{T~{~B_@Njw?bzD|d?J^[OBW@BzU?K}v`EOhWPsIeDTAR`GOhwQsIuChAn`WO\WUsFmDd@x`YO\wNsJeDt@|_vO`WLCGEBTAF_uO_wMSGmB`AH`KOVWRSD}C|@b`MOWWSSE]D@@d`rOnW[CJ}EDBb`_OxWWsMmEHBh`cOtWYsKmEtBN`kOrWZsLMExBP`w?@g^KMo?DBza@??g][Mw?LC@?AO|g^w?QFhB|