CAT(2984,1)

Sparse6:

:~?mg_?O?G?CBG@b?n_WOKgEcBM@j?v_ZOMGFSBe@v?|_]ONgF{CAAM@@_`oOgI?CiAX@J_dORGH[CoAH@D?dOP_H[C]AR@G_aoPgGcEGAz@]_mOS?JcDGAz@P?nOUwJKDiAl@W_joRoI[CsAj@M?iOXwKkEYBR@i_sO[?L[EsB\@n?uOW_J{EOBB@b?oO\wNCFeBj@u_yO]_M[FCBx@z?xORWH{CyCWAF`CO`gOoF}ByAG`B_^gO[GUCHAA`?O_WJ{EEB@AY`KoeGQKG}C`AT`JOdwRGHMCsAS`H?eGPoGeCUAK`D?bWDsAy@\?p_WOJwTgIyD]Am`V_jWSoIqDIAi`Q?iwS[IEDDAZ@TOf?T[HsDXAf@NoiOSCI_C|BA?XOLGE[Ba@t?x_^OOGF{CaAR@F_sOYWLSGECDA?`OoggS[LKEjBP@jOs_YcLCE\BO@hos_X{KsE^BO@eOqoXsK_EZBI@eOqOX[KSEPBF@dOp_XKKSEDBF@aOp_W[J{EjBU@_ot?WCJqD|A|`Z?oWVwJaE?Av`W?ogUOKQDaBB`X_mWVWJUDsAs_UOIwDkO[@^?p_WOLWE{BY@v?{_]oOWG[CIAb@Q_gOSwIkDQAr@Y_loRWH{CyBb@q_xo\WMsFQCnAU`IodGQ[HICXAM`EoaWP[GiCRAJ`DOlgVCJ]HsCkAWpKodkQkHdCsAQpL_c{RSHLCbAQpH?c{QGHLCgANpI_cKQcH@C]AUpFOd[QoGxCbALpEOccQGGtCVAMPF_bCPsGlCRANpDOcCPOHBCTAJPCobCPOGnCZAGpC_bSPcG`CLAGPC_`{OwGbCIAEpB?`sOkG^CFADpAO`cO_GTCCaBP@We_OQHkCEaY`@W_GQyGECoa@@Jw_GREHeCBa@@Kg^wL]G?BX`~?uGdONUHOBvaS_|g]OOeGMBsaC?{w\{NEF`BkAVOz_eCMsH^Bh`toyg[oNqFOBz`r_~W^_MMFIBz`}_xG[?NaFCBy`o_}WZgNaE}By`n?}WZ_OAF{BY`l_~wqwAU@L?f_TOIWDCYKAH@E_aoYwLcEuBD@c_poVwKKEABz@~_~OfwSCHyCxA\`LozG\sMuL{EwBXPmOu[ZgLhEnBXpkOucZ?LdEvBVPj?usYsLjEkBSpj_t[YsLTEnBRPkOtCZ?LNEbBTphOtSYOLREbBRPhOtCYOLNEwBOPg_vSYCLrCwa[pLwnGYALCDzbO`]gmGZUJcEubZ`[GlSUqJVDfaspYGk?XyKyD]an`fwjWXyIwE^bM`VWj?XqKuDYbL@UWigXmImE[aj@egrGTMIgEVbK@SghwXUIaESbJ@SGqwSqKoDMbK`RWhGXMIUEPad@cgpoSaK_DFbF`PggWXUKkDDaa@dGg?XMICEPa_`cgpoRiK_C{bF`MwpWWaKYEIbE@aWoOWUKGEFb@``gmWV}JiE@b?@\GlgVqJ]D}av@^WmoUQJoDeaz`XWkGRuH}Dba^@WhCGAQ@D?b_ToJWDcAm@X?lcW@MWfCR]JBDbapQMPEWbYPiGwcYALxEoayPoGncZaJXEga}PgGlcXaJhCgaqPKGjcTAHHCwaiPQGkcSAIwzC\YMnGTcJqDhA[`IOhGhCFQHp@ka_OXGdCDqH`@K_gPHGpBiqK_ycb?MfFOCOps`C[\CPDFLCOprpC[[wPDG_BdQFoxc`wMVG\BbqEoxK`oMPFCCMPpPBk`kMLFBCNpo`Bsa?MBGoB^QK_wCbCL~EzCZPnPFCZoPnGWC@qE`?k_OOrF|Bzp}O~{^wNpFpByP{o}s^GNjFmB|Pzo~c^?NvFgBtpy_|k]cNXGPBrQBo{{`?NJGEBnqA?{K_[N@F[C?Pv`?S\sOBFXBpPx?z[]KMt?d_RoHgC{AU@L?g_TOIWDSAa@RIa@|o~W^cNyG@B~aAP@g_k\YMpFVb\pnWvcjOT\IodVqfpTciCTZI_DTqb`RKg{SvILDLQePQChkSdIYDGqf`QkhKSzISDMQd`RchwSpIVDMqfpHCiCQTI_CcqahPcgmSJIEdAQ_PSSgGTHIbD@q^pQsg?SpH}DJq^PQchSRvIRC}Q]`QKfcSdHwDGQ\PPkf[S^HuDFQZxMKfATUHVdUaUXT_daQgIdcjAhxIgiYQaIachahHIOiMTIHMcfahxSodAQUIgdTARXTGcqQDHCc`qPhGkc]PwImc^AkHFgi}PqIgc\aihTGbiRQHkctaZhLOeuRMIHcsA`xP?eYQ}HccmaXXJoeMQwHacoaUxK?diRgH?cxAOXMWb}@D?c_PoGgC[AQWgEMbGPbwqKXMKdESbJPdWrkX}K|E_bPPgWe{ReHpHGcdQQXeOqqX\KleURJhdkqWXXKmESRJPc{qKXLKdESRH@c{pCWVKLEHrB@aSowWbKOEHRBpa[kYUPJFeJbAHbGoiWoKHeFB@Xa?o]W]KEe@BAx`goQWWKBeMB?H_GpiWuJ~ePa~hc_nqXIJ|dzbIh]oqeVoKjduqzx\smiVXJjdpbGXcOmEVCK_dmbDhZWpQUwKTdkBEhZOpqUqKZdibDxYwpeUkKWeMashbwlQW{JRdfbFXYGp}U_K]dfBDHXgpUUWKUeOAqXcOkmUSK`d\QnHV[juT~I}d`QoXWCkMUHJDdZqmXVCjOXRIuETqlPdSqcTbKjDXrI`USm[VfJhDyQy@]kmOV`JeDxQxP]KncU|J_D|q}`Z{`mOzG[cNQGHB{auP^GmdXQkxUKxy\@M^fDraXpSwW\@MGFNR`pr{vQZlLtexr[XmSxkYlM\Ejrf@jCtK[pLSFLRTPrKt?[jLQFJRSPq{xSYZLNFJrR`qssg[pLKFLRQprKxkYNM\Ecrf@hCryY@K~e_rOxgSwoZ\LoFFRZppkw?ZVM@EurZ@oSvsZPL~EtR^`lKvgZLL{ErrXPn[v[ZDLwEprX@nKt{[FL_FAR`PkKto[^MPEnRc@jktc[dLZFIRU`q[r_YHKyEbRMPgkrkXjK|EZrN@esq{XdKpEYRK@e[q}XbKofmrvxzs|i]vN[fRbyXtG}m\ONifsbgh|WyM^SM`foBxh|?}I^ANffcBqxxG{q]SNLf^brhwG|A]?NNf]BpXwwzy\yNEf`BmXwWzi]GMzfZBsXyWza]cMvfXbwxug}U\gNcfQBkHsozI\aMdfiBjXyoy}]iMmfTbtxtO|e\WNWcUQIxDSZmLzE{dxq|X]cnAVdJpdnQwHZ{jQTlItgKcHYBXA]_sOegPCEYC`@m`EOYgOCDyCH@a_}OUgJCFIB@@y_mO\gHsDYAd@A_dOPf|cFH~h@y^wO\gQb{h}`A]^eOegNbzyCG~A`?NpgPBzIC_}y`ENlgAC@y@H?Y_IOGgDC?Y@`?M_UOAf~CBY?@?}^}OMfyb}H}w~i^kNxgkAeXR[hiSxI\dNQfxSKiAYHLEear_xokwQ[@MAf?r^Xn{vyZtL{e|r\xnKvaXdKseXrLXe{rYX^KpeWS]QM\FkbjPyGyS[qMtF_bjPvGySXAJtEWb@PdGnsWaJ|EKb@P`GnSUqLTEoaxP\GtsUqK|DsbRP[GsSUAMDDgbdPXGwsZQJDE{atPmGksLaKlBSbLPcGYSWQH|EKabPaGgSRALTCsbVPkGfSQQMtCkbpPvGdSZQGtE{aPPmGbsOyGlCQaDP?g_s]QFlFk`~PyG^SMaK|BobROzGsSLqMDB_bdOxGwsKQIlD[`fPUGXSTqDtB?ajPUGVsIqITAsahOkGhsSaDDAgahPRGSsq`aKpIWfIpdXQkxssyU\HNDfbrphwS{Q]FM`fPrgiXpLeeuRLhfcuiXxLAecRMhgcrYXPLYeWRVhdcuIYXKieiRKhiCqyQdHYcjQnhWskIYpIAemQahOcuIYXHueiQ^hiCfiRPLIe_Q[hgceyRHLeeuQVhKCuiWxHEeQQRhcCciPpK]c_RHhFcqIW`GmcYREhacbIW`GaeKQHhacaiOhKEcMRBhBCoiO`KEcCRBh@coiVpF}e?Q@h^c_IN`Jyb{R?g}cnyUPIqd[QshXcjYVXIedyQjh]CiiSpJUdOQvhRcliSXJadsQdh[chIc`PmgzS[iLTEIbLMShBRfIPsxacTQCfDSbHqTGa[\Pwf@S_HntFq[LLog|R]IOSvQb|PSg^SPIJtDaaDM_gRRiIDsyQ`TPGg@SSI@TCq_LOWfnSGH{t@q^DNOgFRuIAs|Q_dNCgXRrIFS{a`lMwftRoH}S}q\|NsfVR~Hus~a\dDIahPRgisTyItRWi\SwIgTLqh|SmiZTKigdNIiXRyhyTQi[tMyfTQ[ibSgIhTSqdLSwhHTOIRTRqclRKh~StI_tLAgDSGh`TCIWtKag\S_hZTIIVtQQdtQgiJSkIbtIqgtJye@Q~h_soyWTKQeLRDhbsqYXDTOjdTsIjTTQm\U{jdTsIwt[Am\UojvTmI}tZQndUcjpTjI|TYanLVSjLTvIsT\ak|UMjJTcioTWikLVSizT^IztVamtV_itTxIlt]ajdT[jvTXI}tUAndPyh@S^iOtGycTXekvUYjHtdYqdWgkxUKJNTaqrlXokNUGJNTfQpLWOk~U`JBTgAolWCk~U`J@tgAoTXWk`UWJHTdqqLWsj|U?JFt^qptZ[lbUxJXtmAuTYGl\UcJWTgqt|YklhUuJUtjAulYSlPUfJTThatL[Km@VAJatoQwdZglzU{J^tmqvsJ}E@B@a}p^gncVYJpDvcfQSHH{cmQZHKemRVXjsteYvLYfvr{X}C}q^\NlhRshiTDIMdJQciRtIIdLQQhLSdjGTciqLWuk^UMjwD|i~@^InaVvjud{y|x^Un[VsjwDyi}P]qnaVjjudxy|x]en[VgjqDyi{p]qnIVjjrdwY{X]enCVgjqDvi{p]AnIV^jldwY{X\unCV[jkDvizP]AmqV^jldtYyx\umwVUjkDsizP\QmqVRjgDtYyx\Em]VUjfDsixh\QmWVRjfDsIx`\EmYVNjbD{yx@^UmMVsjcd|i~@[mmSVvkU?EGA{@Y?v?Y_KuM?Bc@y?zW}?OoGGB{OEGFCAbpPxG{[]EM~F_deQrhXkkeUVJIfUrjht{yi\XMjgZSLYEdB]`pOxhsSyi\LMmfZRkimtVyjtT]irTWjPThIs\YUlNUeksEXZKxeirKXhkteWjLheQrWXbkneXZKxeErKX_kmEWjJpeQqyXbkneUZJXeEr?XYkmETjJpdaqyXVkheTjIhdaqgXVkgEUZJXdIqaXYkheRZIhc}qgXMkgEQjIPcqqaXJkbeQjHHcqqOXJkeePJGpc}qIXMkcEOZHHcMqMXAk_ePJGpcMqIXAk^UNzGDcAp|W~j{eMy~XbunsW{kREYJD@eipMXhkteGzCheupGXkkOEMJCPbepsW`kMeMJFP`}o{WxkLELzB`bUouWukXEDzBHbQpeWWkIELzEh`YoiWukGeKjAPbMoeWskFEJzA@bEo]WokEEJZ@hayoUWkkVeAJEH_ip_WHkAeJJ?xayoKWlkSe?j?`amoEWik\d~zFh_EpwW?j}EIY~pamnyWili?Ag@c?m?Z?N_FUw?AC@I?bZe?HoDWAdmYvPZflrUyJ[|mKr\ZdKwUxBL|h_u^ZOLLUrbRLhsu\ZOLLurrRdmCsjZ_LJuwbQtm?shYQLoucr[Tg{uzZ^LGucBZtgoutYMLmUbRZ\gcutYJLmUabZ\lssLZ^LCU`rZtl[sFZXLAuuBOdlOs@ZUL@UtROLlOrzZUK~utRNtl[rtX{LkuuBN\f[ubXxLhu]BYTfOvFXuLqu\R[dfCubXrLhu[bYTkGuPZILaUqRW\j{uJZ@LbuoBWtj_tzY}LZUlrVdjKtrYtL\ulBVTigt`YkLXUirUListNYhLVuiBTtkktHZLLRUrBSlhwtBY_LPufrSTrg?p?V_JODgBC@]?v?Y_KoEgB[@eyW?\_MOFgBk@y?xZMlfusJiPsqyY\SmfFSzhxtIya\SmgFSzfPs]yK[{m\fQJgpruyO[~mbfNjg@smyC\HmdFOZg`smyI\Hm`fQj]dnIvfZtlzu|jdptEy_[omffJzhhqmxW\MmUfRJg`qayI[im`fIZchruxM[~mRFNjcPsAyC[cmPfOZfPp}xA[{m\fGJexmevU[xltFMJexmqxqZmm[EzZeHpqxe[]mXFFZbHpMwu[TmLFDJappAwo[QmJfCZ`ho]w][HmFFAJ_`oiwW[EmDf@Z_HnmwEZ|m@E~J^@nyw?Zyl{e~z\xrQva[ulwFLW@S?q?V?I_EOAw@k?}?\?L_FoBjtw@A?d?P_GOCgALr]xr[wkSuIzDTbQpfWqkYuLzEtbmpzW{nYfjzuHz]|_]unXFlZu`z]|e]unMfiZrxym{{]inSfgJtXyI|S]`nUFgzshyy|Y]cnRFjJt@yy|M]lnLFoZr`{M{u^AnXfdzuPxe|g]WnIFjzu@xY|a]TnRFcZt@xM|M]QnOFbjq@yI{]]`nMfazrxwu{{]KnCFgzshwi{Q]cnAfmJoxzi{K]xm~v_ZoDwI{H]Bm}FoZnp{Mzy^Am{fmJnXzizs]xn\f\jvhva|w\vn^f[zw@vU|{\sn\f[jm@zu|w\pmvfoJlpzy|}\lmlvVZjdtyz@\^movWzkTuQzJ\emtFTZlXt]yk\kmkFXzjHueys\glguszYTliuxZZlmuvzZtmMvJZcoOftkCX|b@C^VntgEJ|i@i~W_XnsGGZ|QAM~Q_aoKFxZ{y@j?q^eoNFwkC@}R?}^bnngEz{I@u~?_[nmGEzzq@u}y_[oNFu[C@|n?}^YndVrJx\{u}^^MngVsjyL|M}j^SoIg?{Ay?R?k_Do?GCkAY?J?g_@n~GCZ~y@A~y_NoCf}k@X~r?S^zoEF|{@p~f?Y^wnyG@k@@~Y~i_FnaF{Zwp~M~c^DnbfzjxH~A}O^nojgHKJIAZAo_dodgS[HiDNAW`QofGQKHQDBA]`Ho[gVkFYDv@s`^oZGUkFADn@m`[oagK{EiC^@g`Eo^gKKGIBJA?_poUgNKDyBz@[_|oTGOkDaCR@U`BoRgTKDIDZAi_gp?_FwCKAA?~?__OueJRThesvY\lMVXzlLuazX\imtwcCPUGpCdaPPDwbsO}GtCRaMPCW`SP]GpCLaCPDW_sPMGDCPaAPBw_sNuGHC@a@O~w`SNuGXC@aCO~wbSKuG|BPaMOrwWsQMETCd`cPGWWCNEEHBt``O{w]sMmF\Bz`uO}WZCL}ExBb`lOwW[cLMElBh`rOtWo?A[@Q?j?S_HoDZgtsayN\HmdvQj\LmivVZklvUz[AM?~?`_KoFWB[@M?n?T_EoCW@z}D}}~\^pnxV{{XyMFEabapgGw{[AKrE[b]pngr[XQLVEUbVpcgtkXILREcbJphgqkZYKbEMb\pbGvKWqLbEsbGpkgp{WaK~EIbOp`gs[WAKrE[bAp_gr[ViKJD}b?p^Go[WaJ~EIa|p`gnkVIHVCeavp[GdKZqJRF?aupngl[UIMFDebbpXGwkTqLVD_bVpVgtkZYInDYb\pmGjKZIIfEsaipSGuKSiLJDMbRpRGtKSeIJDFa_pOwf{VQHvDua]p]GfKVIHfCuavp[GekQyJrCoayp\gdkePye|V]inUVjjtmC^AL`Do`WPKG]B~AB`?o]WNkFmRTHvc|QZxNCeuR\HrctQ\XLcfERHIBcsQ`xKsgURHH|csQ_XKsf}OxHvcOQ]xNC`}SDGVdBQExOc`eO`HtcIQ[xASfEOTH|cFQ_X@cf}N~GBc?p}w~k^eQ|FrcpP|w}ceEQpFlcmP{XJS]}QdFhbrQTxIc]mN@HRbqQTw{SdUM|HLcgPuxHs\uQXFTcgPuXHs\]M`H`cpPswxsd}MPHXbdQVWxcdmPxGtc[QNxEsbmQHGrc_QKXGSa}PPHFcUQQxDScePDGHcRQ@XCc_]WpJ|d~q}x^Kn]VjKQdLrDhR{pQSzKQdIrDhRKpQSnIOeEqchaKgyW^IGeEqbHaKgiW^K?dor@HZkoIU~JUdOqhHZ[laTFJOeDqtH_{lIWRI}daqohXKkAUNJId[qnHX{jiUZJgdXqzHU{miTjIkdvqkH][iyVbIedpqxhT[iaVJDnaxp[WmkVeJnK}exrOHm{vQXzLTejrUXh{tMYbLkecrZhhkvAYVLqeNr\hc[vQXBLkeLr[HbkuyWrLAeZrPhf[sQXrKoeorLHkkrIZFKierrYhd{qqZRLYeQrIHj{tqXNHLcgqRxI[d]QjHXcmqUxK[eEQ~Mse{rmHnkzYZvMmfcrkhx[zA]NMsfSrjHvKzY\VMaf_rpHs{{I\JM[f\rgHv{xy\zMVfLreXqKxU[fMIf\rbhv{wq\zNGfCr`Hx[{Y[NL}f_r_Hwk{I[FKLeGrBxa[p]WjOBgBs@X~l?E^~OGfqsBH|L?i^NOGfnsBH{\?i^BNWgFrvIA[|i_bOMfhsChy|@A]jNofer|HyK~I]^Nuftr}h|k}y^rOwgUsKIFlBi`^OegIsIiBLAa_nO_g^sHIG\AIaBOYgXsFiE|@q`jPUgasQIJ\CYarPIggsRII\CyajC@`~o~XFKbUPnGrcVqKXb{qMXBKZeMrEX}K~U^fNjfvrzYPdGEc`QDhFS_yNTG]cTP~hCS^YMtGEbpQDgyS_yNtE}bdPzg}S[YMtEmbpPlgySYYMTEmbXPngsS[YJdG]cTP`hCSVyPdEMc`PfhFSXYXo?{?e?Pa~p^Wn[j}UFJ@d[qmxVkwU[RMFe~r_xoL@U_nOXgLsFyBlMqffRuhwszi]lNafRR{hts}i[|MAfZRchwswi\|MYevRihnsyIZlMAejRchkswiY|LQevRWhmstiZ|HIeFQUhbsdIWlJqffRuh_sni]lJYfrQyh}smI^\KydbQshhssIU\KydVRQhVssITlIYeRRKhSsqiSlHyeFQahbsgIWlHaeRRKhMsqiR\Tw?Q?J?EtFIj|QAjFS]iotDij|PijFSWiotDIjLPAizSQiltSi`\OyinSKiitUI_lTqgRTYiBtSi^|TYgFTSi?tMig|RyiVS{ictOIelRaiJTAiZtJihlTAhfTMiWtGidLQYhZSciT_BoAW@C?]?R?GtkitdYEl`UdjVTgystYulTUpjSTjystW}kdUjjGTiYpDYEkXUdjDTgyoTXmkLU^jATfYndXUk@UXi~TdyktVUjPTpiqT[ylTV]jtTniuT]O@G?s?U?H?D_BY}dKMeNRDhcsrYX\^InFVojrtzi{l]anfVkjvtyi}L^QmVVwjft|ixl]amzVkjotyiz|\anNVYjptti{l^imbV}jitsi~l[QnjVGj{tpi}|[AnzV}j`tni~\ZMlnUtj]tmyvLTMinTTiktVYj\_qpzX?kGuBjF|cYpFXAkNuPJCLcIorXEkMuPJB\bqofX?kJuDJF|_MoJW@kBuAz@LaiprWmk\uJJE|bApJWskSuKjC|fIqRXukeu\JH\dirNX]ktuVJLLdYrFXWkquWJIleqq^XokhuZjILgQsVYGlFu`jPlfar~YAk}u]jOLYulbUnk\uMZE|bEpjWrlMUiZSDius|YjlMUgzSDi]s|YdlPUczSthUtHYPlSUdzRTiuspYjleT{Y}\]}rNXjksuWZKleMuXZXlmUsZZTk}u`ZTleUtzXtlMt\ZHlbUkzUDkmudZ@laUtzYdkMttZXlmUnzZTjuuPYtlbUmZXTj]wPZgm@v@j[lmYwJZ]mAuwj_\oYvBZul}u}j_Lnav~Zoltu|J\|nIvZ[GmLvFj`lpqwV[OmJvBjalpIwrZHldupzcDquxD[pmQVJzctq}xT[pmSVJZ_\o]wJ[q?@VNze_?YyF[u?AVOO?drax}?Am]VOo?triyB