CAT(2846,1)
Sparse6:
:~?k]_?O?G?CBS@V?j_ToMoDKAa@T@F?`OOwGKCIAF@@_h_PwHKCaAT@J_eOP?G{CWAR@D?cOP?HSCoAL@D?doZ_FsCA@~?~__ONgGCBy@~@j_uOZWLGEiBO@i_s?YWKOFMBG@p_p_[gKwFQBK@u_q_\WKOEyBG@o_p_ZwLoEUB]@f_w?XgMGD}Be@`_x?WGM_EAA}@u_y_WWICDEAd@X_loUgJcDyAz@j?jOZOJCD[BX@L?hoRoIkCwAhAo?\OMGFKBi@p?x_\oNGFkBu@x?z_YoLgE{BU@n?u_VOJGDkBA@^?p_XOKwEcEIBH@b_rOXwKkEiBR@g_`OOwGKCyA^@L_hoTWIcDaAl@V`x?x_\SM_FRBf@tox_\cM_F\Bf@uoy_[KMcFDB_@toz?[kMwFHBl@pouOZSLoEnBZ@kOvOYsL{EjB]@iOt?ZSLoElBZ@ior_[cL?FJBb@fojo\[MgD\Bh@Uojo[{MWD\Bg@Uos_TSLKDXBP@Toi?X[IcEZAf@eOh?XsL?DLAd@foqGXSKeETBG`copO\cK[FZBE@vOp_[cKSFJBF@pon?[CJsFDA}@oono[CKCFDB?@oomoY{LcDrAy@kOsOUcLKDfBQ@Yon_V{JoEBA|@_OgOVCJWDFAv@POgOVKJkDFAy@POk?WSJGEHAp@`okoWSJSEHAs@`ok?VCJCDlAq@ZoagP[GeCXAM`Eoi?NkIcB~Af?~OhOOCIWCDAc@?o_oRsGOD@AD@No`_RsG_D@AF@NoboX[HCEZAO@eO]_TSFoDX@z@To]?Z{LwBn@x@moeoQSHsChA[@HodORCHgClAX@JpXoCSAQ@FDo?SoIgDCAa@T?ha{_HWC{AYCbAN`GO\wNCFeKIEBA~p_OoSW?KHDxA~p_?n[WCJtDwAxP\_mKV[J`DwAxp\Om{VWJhD`appWgjsUAI~DyAmp]oj[VcIxDtA_pO_m[S?JhDnAWpKolkUwHdCjAwPJOmSQoJbCiAupI?l{QcJ\EBALP`?b[WGGrC]BAPFOoSWKGxCRA}pDOnsPOJxDiAAPZ?_sUkGJDjA?pY__[UoGDBqAro|?lKNKJPBtAqO|oksNWJJBwAro}_lKNcJPDc@|o~OksNoJJD|@vp^?]CNCJ|DTAfpToiCTWIbDKAbPR_hCSsINDHA`pQogkSgIHCsA\PLOfcRWHvDWAVPU_d{TcH`CJARpB?csOgHJCUAPPE?ccP[HFCPA]pC_f{RwG`C`AFpFo`sQ?GZCGAhPT?`KO[IfB}AZp??fKN{HpFp?[OMgFKAq@\?l_UOJgDkA}@b?o_VoKGEKEmBZ@k_fORwHkDAAd@P_gOSWISM}FbBo`wO{W\{`EO`GNbvABg}?_qN]GLbvABw}?`EN]GOcB@zX@?]qOMFjcC`zX@W]mOSFkb|@yG~_]iNuFhb}`yG|G^}N{Fibq`|G{w^YNKFtbq`|w~G]]NKFwbGa?GqW_IKcG@bm@~Wzo^}MyF}bk`}G~G\mMsFvb|@tgz?^qNuFVbg@{WyO^MMaFqbe`|Wxo^QM]FubdprGxS[]MRFGbaAAWwg_iMKGJcB@oWwW_aMCGFbUABGto_yLYGLbTpiWtSY?OFEaCApgP?cXkNfFqBMP{OrS_SKhEUC@q@?qkWuKXEJbFpcGpsWSO@EFC@P``?KZwM~F?Bopno{CZ_LjEvB\PmOusY{NDFcBWpwouCYKLvEdB]ph?vc\KKzFTBNpt?rsX[LdEWBYPeOu[YWKPEgBDPhopKAI@H?b_POHGC[AY@N?d_QoHwCsggC|A_`NogWS[IIDHAe`QoiGTKI]DTAk`TojWT{IyRoICc|A`hNGgUSGHzc}a`hOgfqSOI?c~AaXNwg]SQIBdCA_XOOg]PZGncVQ\POKf[SFHuD@Q\@OCfGR~HrC~QePMKe{SvIYCwQZ@N[fsR\HlC}QYPPkekS^HiDFQ]@Kse_RtHfC{qa`K[goRJIJCqQUHJKd]SeHJdIaRXQ_cqSSHDcbabHGogmS_HCc`AchGWhESeH@dIaNxQ_cAPwILc^AbxFggySkGxc\aeHQwbiPkIOc[AchEwhEPiIWdJALHEWh]P_IXcXAexEGhiPRGgcRqJHD[aiPBGbcPQHHCsaUOvG\cMQFhB{aAOtGWcKqDxAk`YQgH^cmaThJodUQaHYcmASxIOdmR?HMcpASHKGc}QOGQcdADHHG`MJHDeaqpYgl[UqJZDnavOKgEcBMGtCZaKqCxAc`IWWKReEbCXaOomWYKNeGBAx`_oyV_KPdwbCh]OpMUXJMdeqqXX[kiWCI|d^b@H_WjyWCIyeAAnH_WjmTmKDd[b@hV?o]TgKGdZBAhUgoeWOIpeDAkx`GjIWIImeBakH_oi}TUKMdUBBxTgpASxI]dMqfxSKiATDIcdPqhXS{iYVwIgdTA~hTGnuV}Jie?azH\WoAUuJfdmayXZ_maUoJbdoauh[OleUiJcdjaxhYomUVoJRdzAtH]wlIU]J]doAsXY?l}VYJEdvaqH\ok]UEJtdaa|HW_nMU?Jxd`A}xWGniZBL_enrPHgssUYeLLefbTXhotQXkL@e`bLXewsIXcK}eXbOHe_r}X]LIeWbRHe?smXuKkeVBNXdgrqXQLUeTbUHdOt]XoKee\BIHfGq]YqKbelbHXjOqQY_K_ePBShiGqEYwK\enBFxjgpyWmKYeKbFHb?pmYMKSecbDhh?pUJpDuazoLGESBMGxC]aMqVXJ{dyQxHYclqRhICc}[uMQfMbcxr_xQ[cMNfGBdHqGxM[WMWfFBeXpgxi[mMLfIbbhqowqZSMUesBdxlGxU[QMNfGbaxq?wi[HMBfAr_HoSwE[uLdfMbXxr_uY[oLaepbehk_xeZsL|e}B^xnWvyZaLsexb\hmOvUZmLmewB]Xlwva[KLjfCBZXowuq][Febqpxw|C]iNRFlbuPyw|{^AN\Jrdyq|H]CnEVdJldvqzh\SmqVVJfdsqyH[cmYVJJ`dpqwhZsmAU~N\FjrvpzC|w]rNVFlRuPzc|_]vNSFprt`{k|S^HNSFoRt`{S|S^BNhFgrsp|[|G^TNeFgrsp{{|G^PNMFvrs@}K{{^`NkFfRz`yC}s]^MiFuRj@|syk^ZN\Farppz{|w]LNAFvrp@}K{K^`M~FrRy@wK{?^NM{FoRn`{Szs^BMxf\rmhusza\nNhFXrypuk}g\hMqFmRu`uCzC]vNbFUrxPt{}O\\MfFdriPxky_]XNLFQRh`x[{o\JNGFOrq`sS{c\FNGFNRq`sC{c[~P?DAQ`hOkg]SRIGe`rOXgSryY@K~e\rNXfcraXtKxgacQYHXCMaGPIg`cQIGhCYaGPFg_CRyGPDEaAPOg_CRIGPCyaAPLgPSHIC\@}`BO_gJCRyB@DE_mPOgeCCyAhCy_gPLgGCQYHX@I_aPIgEcPy@xCa_[PEg]c@y@HB}`{OGgACNY?pB}_IO}g?cMi?PBm_EO{f~CMi?@Bq^}OzgZb}yFG~u`oN{gZb}IFG~i`oNxgYb|yEo~Y^iOsfxCLH}`BY^eOtgDCIY@`Aa`SOJgVCHYE@A]`]OegWcFIEX@y`cO\gTcEYDh@i`WOZhLCcyQLHIc\QOhFsUqQ|HcazQWGmSUAQ|HcatQWGksTaQdD[clQTGisSaQdDOclPRHIs`AKDGKa|QAGns^qP\GscBQ?HES[APDFGcTPpHCsZQOlE{cNPmHBS[qLTEobjPsGtsXqMtF_bRPvGsSXANdEWb|PdG}sWQNLEKbvPaG|RqHxS{e]VNLfeSjITtIueBRBh`SpqUdJKeRQqHcSpAT|KWdbRDHWSpARlKWc~RDHNSeqXDHoeRQYHbsiQVDJgdVQxHTSiAU|IWdlQfHYsgqVtISe@QcH^smqSDJsdDQ{HOsLIEtBU`nOxg[SMiFdBm`zO~g^SyAXTMceXRiHdsxQ\tM[f^RoHrSyq[TMsfHRkHpsya[DM_fBRhHns{QZdNKe|RqHmsuYZTLmelRWhjssq\\LSfZRSHuS{QYTLCffROHxSrQ\tK{f`RMHvsdIQtHUcnQXhKS|I]lNYg^SPiGTCa_DPOgDSRI?tCa^lPOf~SRH~TDQ^TNognRzIJTDQ]|P[frSUH{T@a`LO_gVSFIDTBA_\OwgJSLIATIacdQohLSjIQtGQbTP_hFSaIKtFadlQ?h^S^IVTHqb\PohRS\ISTMQeDRGhvSyIWtKqetRShpSsIZoPGGsCUCdAS`HodWQsH]KbERbHPdGqsXUTPIidSqoXWCkIZJLferRWhkcuM_xO]gMsEiBL@mczQ^hNSeyRdHigLSGiBt?y_dOUjWTeivDYIlhU]jQTbitdXYlPUQj?TfipDYIkHUYjET\indXYjpUQjCT[iodUik@TmimT\indUYjpTaigTYijDVIihTmimTPihdUYj@TIikTMiiDSIihS}iUTPihdRYh`TIiOTJidDRYhHSqi[TDigDPyhxSYiSTBicdPIh@SIiCTDiaDPygXSYjQS{i]dYifpUmiATli^dZIg@UylC?U_JoEGBK@m?tUm?MOFWBtZO?~?`_OOWGJ{EEILDGabpPWg[SQQDHCc`qNxGKcAX@KaeOrFxbkpy\fMtfYRkHuKzIb@P^gnSWYK\EIeTRJheSrYX|KygpSYiKtEyblPqmuV`jpdvY{P\qmoV]jlDwIzH\}muVTjjdvYz`\YmoVQjlDtIzH\Mm]VQjgdtIy@\MmWVTjjdrixh\Ym]VHjgdqyy@[imWVEjfDqIxh[]mEVHjadqyw`[imAVEj`DqIwx[AmEU|jadnyw`ZylsV?j`DnIwHZmloU|jZdnyvHZylmUyj[dnIv@ZmllUsjYtlYutZQlaTpiwDkylxZIkwV]jNDwIrh\}kqV`jpdey{PXikkUojKDjyqxYyl]URjIdkItpXQlUUOjUDcithXEkYUgjFdiippYekSUgjEDiipXYelUUFjUDaYthWakGUdjBDhyohYYkAUcjPD_yoPYMlIT}j?DhynxYYlCT|jQD^IsXVmjoU^jOd]is@VejiUpizdkimpZMjcU^jOD[ym`YEqS?I_EOAw@k?}?\XU?GoCgADdo?f?T_IUVJJtduqzX[knTxBJLdknLVdKlUPR@|cWo`WMKaUPbALcSofWQKaUTb@\d_oZXVKEUABJD_gqnWHKjUSr?|_SqjWEKiUSB?T_OqdWBKguSq~|dSoBXSK?USA~ddGn|XPJ}t}RHl^kq^VyKfUQa}t^_qXXJJzt{rHl^Sq^VsKfT{BHT^GqXVpKdtzRG|]{qRVmKcTybJLdknXVjKlUPq{|ccnRXGJsUNbFDbgq@W~K[uMrElbspnW{KZUKrDlbGp\WsKUUJrDLbCpVWoKTUIBCDa[pDWeKOuFRC\aOo|WdKNuEbGL`oqFWZK`UDBA|`colWTKKUk?A{@a?l?U_KODwBK@m?t?X_LoEjWO@y?x?\_NOFWBdcQqLXDlceojWXkauSZClbeqJXPkYuQZDlWEnZVpjItaY{lXenjUhjutgY{l^eljWHjau?Yvl^emZWHjmu?YyksUYjLLemrZXklQEpZSpk]tIZElOepJWPiMtCZBlNEmZS@jms}YylXeezRhjUtgY[lZEeJV@hitmYXlIekjQpjAsmYpknejZKHi}r?YmlUeWzTpeQrCYnlHEijQ`iqseYjlCebJPXgysSYLlFe`jP@hEsMYOk}e_zNxgUr{YCl?E]jN`gIsAXzkwe\zMXfercXwkyEZzMpfAriXmkqehzKxierKYg_DOBG@[?i?X?J_EoBw@s?u?^?MmQ_CGAS@E?`?Q_GujZTti}k~U`jOTiItTYelVUljUTkYu\ZIxI[jmUfHzd`qYxO[jmUfIjd`qewe[^mOfDZa`qAwk[^mOfEJaxqAxC[XmPfEzc`pixC[[mQFFZcXpyx[[OmVfCje@pEwY[gmFfIj`pqexI[ImEFHj`Xq]ww[FmNFAZbhoawk[CmKF@jaxoUwA[Xm@fEz_PpiweZ}m?FDZa`n}xmZzm[e~Zf@nqvjZvlzU}J^TnexmZqm[e|Jf@nMx[ZnmWE{ZdxnAv[[tluFLj\hrQxaZhltfKz\PrIxaZflrFKzePmavE[slqfLj[`rUudZRlgutZYtlQunZXlkUujZdlmv?ZJlpErZ[Hkqu}ZOlfevZXplyqNXHkcUSJITdEqfXTkiUUZJ\di{m\KmefeJhpxezA]MmpfcJpxuIy{]MnGFWJpxt}yu]VmmfeZj`xayo]PmlFczjHxI{g\TnIfTjqpt]{a\QnHfTJqPtMy]]Smgfdji@xUy@\Am_vOzglsQyL\FmcVQZh\sizq]Jm|FbJnXwu{O\unDF]JpHv]{I\rnBf\ZopvQzc\~mwf_Zm@wA{C\lnAFZzlpwMzw\im~FZJnhumxs\fm]FYZfXuazG[|mrFNjkhr}{s^InMFrJrX{m}A^CnbFozwP{U}M]}ncfoJx@z}}e]nnWFtZuH|Q|W^OngfjjyPyu|u]hn]fizv`yi|K]tnSFlzsxzY|o]bnQFmjshze|c]_nYFgjuXyE{y^LnNfrzrp{y~m?^_OoGGCKAA?~WNkGUBjAL`ModZ^lnUvZ[DmIvB_?OBWAC?U?D?N^|OAv~c?\~|?H_?N|W?R~e?G~v^|Nzv~r~L~w~p^uNzv|R~D~O~r^tN|V|b~d~O~v^[O@vvc?l|t?H^XOBWABz\|h?N^mNwv{r}D~G~^^jNjVzRzD}o}n^gNpVyb{d}c~F^^Nqvxr{L}?~L_u?HoDWAc@M?j?Sl^UnZVdj}uBZ?knuWZKDeIrHXbnAv`zotwI{H]Bm~v_ZoDvqz|\|mqVXjklu]zP\hojgP{JACVAq`Eo`GTKIqCRAi`Bo^gQ{GICvA?`Ko^gQKHQCFA?`HoggNKIYBzAc_|ofGN[IABzA]_{o\gPkFIC^@s`DoZGOkFACR@m`BoZgK{EaBZ@i_wo\GK{EiBn@g_xoCgJ[@YA~?S_moTGTKIqArAi_jojgH{DIDfAo_godgHKHiAZAW_doOgS[CYDN@C`QoNGQKHQAB?}`HofGE{IA@vA]_[oKwEkBE@V?n_UoWGCkAYBJ?g_poUgB{Dq@F@]_OoEgK[@qBJ?W_opSFFzcLqAxD[cmPvmzvlzq|p]yn[vlZu|zY|d]snXwkST]ItDfaqPUWjcT]ItD`anPUWiCU}JdDTawPSwiCUeIhDlahPYw`CU}JdCLawPAw_SUMGLDfaAPXWlCNuJXC@atO~wjcN]J@BzanO}W\[M}FZBf`qoyWhSL}I\BbaeOwWhCLuIHBZ`kPPwYSSMElC~a_OtWXcR}E`DB`fPOWWsReETC|`cPMwWCReEHC|``PMwhSJmI\A~aeOnWgcJUIPAvabOmWcCQ]HHCjaPPIWbsQuH\C\aLPKWeSPUGpCvaYPDw]CO}FhCR`xPCX?c]]NVFhbopxW{[WYN~EIc@paH?K^yKBGAbAq?Go[^aJvF{a~p}gnkVQNrDwb}p\g~[[aNfFubep|Gx[WqMFEObbpbgwkZqNZF?bwpng|{YiLbEsbVpkgtkZYLJEybSpmGs{XyMjEabkpgGy{XaMvE[bnpegzk[yKfFQbJpsGqkDmA~@\_ooXWK[aaQrGkcmqIhJ[cEQJHBc\qNxFkbaQ~HacYqLhKK_iQ~HacFqBHKKdaOJH[cCqUh?{aIQfGecjqHHIkcYOzG_cdqQHB{`YP^GYcXqEHEKcqObHOcIqRhA[ReHzCza^pOwgKSeIJDFadpRwhkeQTBIccsqXhS[iySvIodNqjHRkiYSjIidKqiHQ{gyTfIQdZqcHUkgaTBIcdEqahS[gMSNIDc~q^XOKiYRnHydTq]HTKfATfHsdZq[hUkeiTZHmdWqZHT{^eNzFzb~q?x?Km}VfJpdsqzX\[lAVjJSd{qsh]{nQUVJwdfq|hXkkQVvJ}dcq~HW{jyVvJ}d`q~HWKlyVFJedmqwH[klYTrI{dlqmhZKoAXBKAeNr@Hc[paXJKgeMrEhc{qiWZKmeGrJH`{pIWNKUeDrDH`KsIXzL?ebrNhgkrAXvKse[rKhez}t~U~haOpHWc[PmG~C\cFqBX@[_UORGFdmqwXZ{l]UvJXeuR]XmCvuZ\LzexRXxlSv]ZhLhewRWXlcuMZ\LdemRXxlStmY|LheiRWXjCuUYlLbeiRUxjCt}YlL\ecR]XhcvuYTLzexRRxmstMZhLPf\?BoAG@MBN@h_tpiwt{YuLJEhbRq[XMkfMRVHncur?X_koMWNKJeCruHz{|q^FNYforxhyk}a]nNcfhruHxk|q]bNYffrphy[{i]nNGfirrHwK{I]bNCffrohw{{i]BNCfcr_Ht{wI\fMoe~rvhtKyq^BNafTrgh{kyY^RMcfrrgHv{xq\vM]f]rdhv[xa\zMYf^rlHqKza[jMufHrjhp[zI[^MofEr`Hukwa\rMEfZsQ_@G?s?VPIgDsBIH|?aaZPIg@s@iH|?QaZO?gasQH~lCY^~Nug^r}iG[~aaBNogasQH}lCY^fO}ftsOH|k}yaFOqgRsLiD\BQ`RO_gUsKIC\AQ`^O]gFsEiA\@q_bOwgIsNIBLBi_m?N?H_COAW?{?bQ]hFSeYQDHucXQZhHSeYQtHuchQZg|ScyNtH]bxQTgySbYNDHEblQNgvS`yMTGmcPPpgsS_YLdGUbTQBgoSSYJdDMa|PTgpSTyKtDmbHPX?C_Ao@g?c?Y?JhoRjxu[zE\jMxfZsriZ|LIezROhlstIZ|LaevRUhmsli[|JifVQwhsstIXLKqerRIhjsriW\LIeNROhaswIVlMQeBRah^swiU\JQfJR_hWsxiT\Mid^RghUsgYR|IMdJQhhRsNyG\CEaNPHgas}IdLNqhVRyiUtBid|RIgVSKiWtJi_lRIgRSoiBtII^|QqgFSii?szy\lNEffRthztGia|QYgvSciKtCIblPQhBSQiNtUIelRaizTYiZtSig|TYiRTSidtRigLSQiZTOi`tMij|RyjFS{iot[Im|VijjTqi{tXIl\Uaj^TeiuseYR\HuhFSfiQtFYcLP}kpUHjITbYqtWmkPUNjGTbYqTWmjxUTi~TdyoDXekDUNjHT`yqDWUlpR\hnsuyi\T]ijTPiftRYvd[UmPUxjbTmywDZelxVBj^TmyuTX}kxUtjLTlyvtYum@Unj`TkYst[]lTVHjSTpYsDZ]ldUdjYTgy}d\Qn^VQjxt{IyL^ImVVmjft{Ixl\anFVUjrtui{l]amzVkjotyiz|_YnjWIj{uAI}|_AnzV}kAu?i~\Z]ljUrkKUBZBd_}otWPkLUCzAt`uohWXjvt{y}Lag?DW^kV?@jCLao?HWbkT?@JCg?Ip\WhkU?@jC~