CAT(2870,1)

Sparse6:

:~?ku_?O?G?C?g?P?H_AO@W?{?Y?w?O_GoCwAS@a?r?V_JODWAc@m?t?k?SoIGDKAe@P?g_ToIgD[Ai@V?i_UOJWD{Ay@b?o_XOKwEkBQ@l?v_d?PWGcCYAN@H_cOQwHSCmAT@L_eORWHcC}A\@N_fOSWICDEA`@Q_hoSwISDQAj@T_iOTwIsD]Al@W_koUWJCDmAt@Z_lOb?JcDuBd@r_toYgLsE}B`@p_poWgJ{DyBN@e_qoXGKKEABR@g_uOZWKkEQBB@__voZgL[EiBN@e_noVgLKEaBD@b_wO[WM[FIAz@[_uoZGPkGqDFAa`OogGR{HyCzA[`LoegRKHaCnAU`IOdWQ[HICbAO`FobgSgFUDG@s`\_agVOGmCOAx`C_mGOwJ]CKAu`A?lWOgJQCEAr`X?_gUGGED_A?`V_^wNoIyByAl_}?jGNWImBsAi_{_iWN?IaDK@v`R_\gFKBm@t?|_]OMGF{ByA@@@_`oOgb?NmFtB~`~O~w^sN}F|B|`}O}w^SNeFpBz`|O}W^CNuFxBx`{O~W^cJsFjA{@yOso]{LGFlBO@wo{OYKMoE^Bk@fOrO\sKoFZBJ@wOq_\{KcFnBG@zOpo]cKWFjBD@wOzoWcMsEFBA@vO{oWKNGE@Br@^o{_VsLUEhBj`tOyW\CMYFNBc`qoww[SMEF@B^`nOvWZcLmEtBX`kOtwYsW?JBD_azp\gmcVUJfDqawp[Gl{UyJZDkatpYglCUeJNDeaqpXGk[UIJbDoatpYgm[VIJjDsarPXwkkUQJBD_auPZWk[UIJnDuavPZwlKUaJvDya~P^wnkVqJxD|a}p^Gn[ViJpDxa~p^gn{VyJvDya{p]GnCVeGBC?aJPDwakPQGfCQaGpCG`sO}GZCKaDPAw`COeGNCEaAp@G_[OII|D^alpUgjKTaIZDKaipTGiKTAIRDGafPRwhSSmIfDQampVGi{TYIHDDa]pNGfCReI@D@a\pMgf{RyH`CpabpPge{RYIFDAaYpLGe[RIGoDraK`[gmwQyJkCnaU@ZgdgU}HUDgaT@YWdGUuHODkaw@HwmGQYJGCcaq`HWkWQMJCCaay`GGcGVQG}D`aN@WGbgU]JKC[at@EwlWPiQ??w_[oMwFSBu@x?~_^OOWGCCMAD@D_aOPGGkC]AL@E_boQGHKCeAP@t_yO\wMsFeBp@z_|O^GNkF}B|A@`?O_gO[GUCHAE`BoaWPCGmCT@t_yO\wMsFeBp@z_|O^WNcF}B|A@`?O_gO[GUCHAF`BOaWPCGmCTC@a?PDwasPUGhCRaHPCWaCO}G\CLaEPAw`SOeGPCEaBp@W_cOMGDDHacPVwjsTuIxDYalpUGjKT]IlDTaiPSwiSTEI`DNafPRWhcSmITCXaKPEwbSPuGxC^aNPGWcCQMHDCdaQPHwcsQeHPCjaTPJWdcQ}H\J_D[qmHX{kyUZJKddqqhXKkaULJFdaQpXW[kIUBJ?d^QnxVkjqTvIydLqehPsg}SbIOdKqeHP[giSRIGdNqfhQsh]SzI[dEqbHQkhQSfIQc}q^HNKfaRdHrc~Q^xOKgARjHsdBq`hO[gIRbHoczq\hN[fiSJICckavXJ?lqR]J]cvAvxL_luRYJ[ctauxLOliRQJXcsAuHKwlmUsHedlAXXZWeQUqHbdkAWhKGl}R?J]cnAvHJwluQwJXcmauHZodmQsJ^cfanXHojqUEHNd`ARhWgcuUGHKddaRHXOcuToHVcjAmXIgjyT}HSd_ATHWGdUU]HVdfAThIWjmQcIycgapxWodAQaJHdcASHIWkuQcJKdCaIXP?aaS{G~dNaNhFghuPwI[c\aexRObiSoGxdKaMHQob]SmGudIaLXQ_bQSeGrcXAchE?hEPaIOdFaJxPoaySYGldEAJHPWamSSGibja[WyofAM}IFbnA`gxOgUSGFJbcA_xOO[eM]I@bfA_HNw\mR{FYc}`swyOfqMYHzc|@rGy_feRoFTbka\wz?fYRiFPcy@sHMW\uRcF[c^aGxFoaIPMGlcRAJHAGamO_GicOaMXC?baPiGUcYADxCgb]PkGccLAKxBWbIPaGXcWAEHBgaeOwGgc]aDXF_`QPuGRcHAMhBwa}O{Gmb{aUXJ?^aR]GMcFaZhLg_mRWGIctaAXLO_aRQGFcsA@hKw_UOGHecqa?xK__IREG@cpA?HKG_uR?GKcn`~xJo^yQyF{cm@~W~WdmNsHYdi`xG{glQUkFgdj`yW{GlQUiF_btasw|OlINcJPbxasHYw^EUkFodj`zXYo]qNEJOdg`wg}glMNgJQbvAsW|wlANMJQbrAsw}olQUiFvdZ`ixUoYiTQEXbKAiHTgYaTWEhbMahWr_iQLAIbdP@gGs_iET?EdbLajwrOiyLYIjbUAigsWjMLCIqbRakWsojAK}IfbNAhhUgY}TgEmb?aOGo?cAQAEHc_`aGowcUKKHCbJaPWqocQKeHBbHAOgpwcMK[HAcd@cHHWXEKUHJcd@agoWceKCHGcc`dHH?XUQMELcb@bHGwWUQKECb\ahgvOi]TYEpdU@kGwgj]MGIub[agWv?iAMMIpbbAkHTwZMT[EqdP`nXSOZqMEIjb`AihTG[AMAIgdY`nxU_ZyLmIrdX@lhSgZUTGEsc[qMHFkbqPnGucXqKhEKbAPRGgc\qMhDsa}P~G}cTqIhDkaqPjGs_VoJgEKBA@X?l_XoKgEcBU@l?v`]onGYSLMEbBO`forgXcKuEVBI`coqGW{KYEJBC``oogWKKAD~A}bhPswz[\iM^FMbmPvWzs\}MlFVbkPuWxC[eMXFLbdpqgyk\QMbFOc@q?h@K_aOVGIcEqBH@{_yOBG?b}p~H?k_QNrFwcBQ@w~[^iN~F}bKpeGr[XiKzE[bNpfgsKYALFEabQphGssY]LREgbTpigtkYqL^EmbWpkGu[ZILhEtbZplgvKZaLvEyb]PnWv{ZyMBF?b`pogwc[UMNFEhMsfIU\JIdbQohVsjiTlIqdVQihSsiIS|IYdJQchPsgiSLIAc~Q]hAS`YR\HicrQWhJsdiQlHQcfQQhGscIP|GycZQKhDSayPLGacLQFhWCTYUHDQdAPjhOCYiTPEebOQjhXcXyUPEYdKPdgqChyKXIIdEPagocfiRxEAcwP^hMcViTpDqd]P\hQcUyS`DiaqQggkCiYIxIuakQkg`CbIPhCMc[PPhFcSIRXDMcsPQhGCQiHXHEcKO|hBcNIGxH]aKQUhAcNyO`ByaWQRgecciPHCecOPGhKcRyR@CyaIQJgaCaiG@HUaAQSgacTYG`DQaEPZg`CUiH@D}a{PHgkcNIJ@BubGPQgqcSyFpEmbSO~gecVYH`Dqa?PVgjCOYIHE]a_PegdcWYHPEAaKPhgbcYIKPCybEPNgucKYL`BAcEOxh@CMIEhGE`iQ?g[c^yF@Fy`uP|g\C^INXBQbsOsg{cMiN@BmbmOvgZC\iEXFU`cPsgxCKyMXBI`mPpgZC[ILxBEb[Oog?cEY?@@a_mOngJCJiA`Au_iOkgTcCyDP@I_aOhgGCII@xAY_[OfgEcHY@`AQ_SObgDcGi@HAE`?OGgNc@i?x@y_GO\gAcFI?P@m_EOYg{bmYN?zab]NNgvBriMw{q]YPufdc[XxPFA]QP|fcC^HwxEubWNEh@bpYOO{Q]EPrf`C[hwHF}]?P}f^c\XvpFQ\yQ@f]C_INWzmbsMyefcJxhpAyYEOcgQbOhihAaYgOhgNbRXh`@yYQO\ecCFIDWsU`SLCgKbQyB?si_uL@gLBOICWt]`CLUegcHxi@AY`YLFgUBPiCGtI`?LRf{B\Xm_~e^eMFfBB{h|GwM^OMAfwb]X}?vaZaNnewBzhog}m^SMCe|bzXnO}q^}Lrf~B[h}wv}^kL}fyb\x}_vYZyN|e}B~HoG~m[?NyfRbsXso|A\mNffZBxhug}U\gNcfXbwxuO}I^AMjfoBihuG|}]{MofmbgXs?|q\ENYfPBuxzGy}]oMmfSbtxt?|Y]gMdfibhHyWyu]cMke[baXf?wa[}KvfNBLhrgrU[wKsfLbIxdOxiXeMXeXBeHeGx]X_MUeVbdXdoxQXYMRfHBJHqGry[_K~eSbbxd?wyXuMLe\BbHfgwmXwMIeJbZHlgpYXML^eRBVhcgtuXGL[elbFhjOp}WaLaeGBWxbWtaYqKYerBCxkwpIZ?K`eobGHbgumWwLiePBXXk_qMWqLheKBYHlwpUWgLmeFAwx[Oo}VcKHeCA{x\woYV[KFd|a|X^OnQVUJxd{Ayh_gmUWGJcdoa~X[?nqWYJfeEAxh_GmeVOK?dza~x]onyVaKJdwBAh_OmuVWKB_MOFWC{AY@B?__QoHGC[AI?|?^_MOFWBs@}@F?a_RoHgCkAQ@B?_`EobGP{GyCbAO`HocgQkHQCnAU`KoeGR[HiCzA[`NofgSKIADDAb`QohGS{IYDRAg`TOiwTcIuD^Am`WokGUSJMDhAt`ZOlwVKJaDvAya?p?G_[OIGJCCaBp@g`KOaGVCIaEpBG`{OyGbCOaHpCgakPQGnCUeGrCHaSpMWjKSeJRDxbKpaWvKYeMRFXb{pyX@K`ePrGhccqUXNKed{q}H^[niVxJ|d~q~h_KoAWFKAeAr@H_{oYWRKGeDrAh`koqW\KNdoqwH[[mIVJJcdrqxh\KmaVTJjduqzH\{myVbJodxq{h]knQVnJuk}ELZNhbQr}Wvk~ELjOHbes?Wwk\e_jFPgMpyYDk]E`JOxb}p{YElCeOZP@cAsUXBlDEOjGhgusWXCkbebzGpgyqQYOkcEcZQXciscXJkMeRZB`cqo}XNkNERjI@aEqaW_kheGjIPaMpIXTkQETJCxd]pKXUkSeUZD@daquWjkTEUjJ`auqyWkkVeVzJpaypaX`kWEWJEPeMpeXakGE]jA@fmoaXxkGe]JAheQogXdkreDzKp`YrQWRksECjAPeioeXjkIeZZA`eqomXnkJEZjBHfEooXokLe[zBPfIoqXtkyEEJBXfYosXvhYeRYU`cqdkXMhZeRyVHdEq_Qwh\eSyVPdIdyXSh]ETYVxdYd{XVh_EUIWHdequRBh`EUiWhdueGX[hbeVyWpdyeQX`hcEWIXPeIeUXblIdtZQ`\QmmYVlJDtizHhemoYWjleeyzPhisyV\jmEfJRx\ys{V^lOdwZS@]AnEYbjpEgi{hiUnGYcjrehy{piYtQVhlSDyJTX]mtSVijEeBYp`_qoMUNkBDbj?xXEoKUOkADcz?`XIoIUSjIe@Yqp_ekmWGjKeAYr@_akuWJjLEAir`_ikyWJkFdfz@pXylAWLjOEBJ@xYMo[UaiyeLYm`bQjmWuizELynHbejoWwk\d]zFPVikAX@j?EOJFhVupwT{i~eNjFxVykEXBj@EOiohcQqIUCkbd`zGpWYqQUHkcDaIpXcmkSXIimeXYj`eQrKT^inEXykHeej?XgipeYykPeijIXliqEZJLpU]jKXnise[Yl@fAjUXritE[ilhfUjWXsive\ylpfYjaXxiwE]ImXfmjcXyk}dPJN`SUr}TFk~DPih@gEiQY?idE_yhXgIiYYDieE`JOxS}i[YElCdSZP@TAieYJlDDSiihguigYKijebyipgyioYPikecJQXTmscTYh}edY^`hQf}YVh~Edi_Hheg?YWi@eey_PhisySDiAEfI_xh}gKY]iCegY`@iAgUYbiDEgi`hiUgWYciFehy`piYgaYhlSDCIaXimgcYikMcrZB`Kqe]W^kNCriY@aAeaW`hhEGyYXaIpIRTkQCtJCxL]pKRUkSCuZDHLaeuWjhlEIiZhauewWkhnEJjDxL}paR`kWCwJEXMIpcRbjudhYs`]qn[Ufjvdhi}@YenaUgjTd{y}PYilYVtjUD|Itx^]l[Vuj{dkY~@ZAnuUrj|Dki~`ZQnyUtjZd~yup^ylqW@j[E?IvX_IoEUyiIdnYa`ZqgkU~iJdniwHPegoV?j`dEywPPigyVDiMDpIbp[Yg}VFiOdqYc@[ahEVJiPDqixhQQmWSdiRdryxpQYhQVPiSDsIdX\MhSVQhqdJYd`MQfMSnhrDJi\HREfOSoiXcyyePMihiRliYCzIexM}hkRmhwdMY]@RafeSzhxDMifhNUfgS{i^c|yfpNYiARxi_C}I^XSIiERy_EoBG@S?m?^?M_DoAg@k?q?^?M_GOCWA[@I?j?S_KoEGA{@Y?v?YbopwG{[]INJFcbrpxg|K]aNTFjbuPzW|{]yNbFobxp{g}c^UNnFub?p_Go[WIKHEDbBP`wpKWaKVEIbEPbWp{WyKbEObHpcgqkXQKnEUh]snIX\KidnQuh\smiWlKQeRRGh`soiVLJadjQshbspiWLKAd~Q}hpswiX|KyefRQhistI[LMAevRYhgssIZlLqe~R]hksuIY|LYeZRKpAGPSJmCPAx`EOnwPsJuE@AR``OcWQcK]ClBD`LOqwRCKeC|BN`MOrWSSLMD@BP`jOhwScLUDTBZ`kOiWTsL}DXB\`XOwwUCMEDhBd`ZOxwJSJmApAx_nOnwJcJuED@b`_OWWWsE]EH@d_tOqwLCKeB\BN_uOrWMSLMB`BP`jO\wMcLUEt@z`kO]WNsL}Ex@|`@OwwOCMECLBf`AOxWDSGm@PAH_VObwDcGuCh?r`JOKWEsHE@hAR`LOMwRCBe@|A^_]OfWGSIUA@Af_bOgwGcIEDT@J_cOiWTcC}D\@L`YOSWISJ]AlAp_iOkwDSDu@P@^_UOWWDsEMAt?p_kOKwEcE]@l@d_uOMWLsBm@x@p_^O[wLSCMBP@@_aO\wGsFUAP@|_~OQwOSC}C@@L_hO]wNCDEAhAD_jO`vlSNlzPBx]vO}vlcNeFs|r`{N[VmsN}Fw|t]{O~vnSNtz|B~]}O~W_RwD{DC@a@N`vocOEGC}J^CP?VpsO\{XCD^GP@w_bxMGK}VaANdWABr\xh?P]DOCv`C@Lw\?V]EODWArpM?g{P_LNDwBBpU?s{Z_KNEVbs@}?w{\]OOGvcSADxL?\]QOFvdSALxP?`_RNJvdcAU@K{r]WOHW\rlmFWzX\nO{vZcNEFWz``vMww]BmUFczf\tOyv\CMdv\Bj\uOyV]SMmFOzp`vM|w\bnUFczz`wM}W]rn}Fgz|`zN?w]boEFg{D`zN@v~R`loo~x[NN}V~R`t~{wb^}MGW?Ra]??wd_BMIw?badpd?B[WO?VDs?\pX?D[\OAvFC?dpl?N[YOBW@Rb}?Ow|[`OBw@bcDqK~~[aN~VfRilxoyh]^MjVfbi|tc|B\WNOVUrs\tg|D]dMmvVBsdy[y~]eMnViRkLy_z@\bNTvibkTuO|X\dNUvXrt|uW|\]rMsvkblDzCzV]oMtU|rflnWxxZtM^vNb]dncyBZwM_VOr^\sGvt\FL}vPb^ds_v~\HL~V?Rh\o?yT\LM@v?bhds{wJ\MMAVSR_|t?wL\RMCvSb`DokyJ\CMDVHR{lqO~H^fMRvHb{t}cxR^gMSVyrd\}gxT[lNuvJB|dq{~^[mNvVKR}Lr?~`^rMXv{beT~Sxj^sMYVLr}|~Wxl[xN{vMB~Drk~v[yN|UpRxlkO}XZFNfupbxtkc~B^_LcUqr{\kg~D^\LevvBXd|{u^^]LfUsBzDlC}rZRNlusbzTlS}jZSNiUtry|lW}l^RLkvsbZD|CuvZYNgUkr\\mgtdYvLrulb[tjSvRYsLsUwrVlmGtxYlLvujB\tmstrZkL[UkR]\j?vdZ@LquoB[dj{vbY}LwUwRW\m?uDZ^L\umbZti{uzYmLmO@G?k?Q?J?F_BO@w?s?a?R?H_CXQSwmS`MHdLR^xRCvu[LIbfAQgXTSw}TPMLdJR]xQcve[HIHfBQaxUSvmT`Lxf?QjxoSiuTHMLdRRbxPsv}ZxILf?QfxoShu[PIvfDQlXJSl}QpJ\dhQVxYCduSLJNdAQrXKckmRLJHcsQoxWCemVLHrcwQxXZSe}UpHlc~QwXNcmMTtIBd?QmXNCl]RtJTcpQnXVseEULHvdaQ\XHs^}QXF|c@QQx?CcePTGFcSQ@X@scEOXHBcbQAX@ScUQlG^ciQFXFs`ePxGZcRQSxCcdEPDGrcOQKXFC^mNpGzcJQJXAca}PlGRcGQLWrsq]KxKdeZPpxec[ULlKnbYRJWvSp}LpK\ePPjxcCYuX|EfbQRNXgSYMY@E`eLPixbCYeXTFBeSPoWvsrmLxKxeXPexeCXeLdLFeaPkWpCmeKTJjbBRDxacWUWdD~a}RCWmso}JhKLeDPdx`CXUWLDneAPZX_SXMW@EPaxQ~wmCnuJtJza{Q}WlSn]JPJtdxP_x]CWEK\JnbEQzXkSSEZ@DBafRXwhcuUYtDbekPWWfss}HxLLedPSxhCTEItLTejPUWkstMJHLPaaR\Wgsv]Z\DJeuPQXmST]Z`DTetPVWjsueY|CzemPMWxSQ]MPCdaVP|w}cQuNTCRbsPCWes]]HhFdbnPDwac\uHDFpaOP{w`S\mGPFXbhPIwyCQeN@C^aMPwweS\]H`FTaLPrwbC[uG\FnaEPzOCGAK@Q?j?R_HODwAs@e?p?Z_LY[DI}f@QlhOSwy[TIMfTQBhsS_Y\tG]fXQDhCSxyPTMUcXRdhFSxyQDMmfPQRhJSzyQdMuctRrhKS{YRtNMf`Q\hzShYStNUflQjhSS|XytJM]hQpflSlxzDJU]DQzh[RoYVs{}dxNLfnSoxzdKE]TRFfcSpYXS{]]HRHhfRwyXc}EedNRhgRsYYs}]ehNdhlRyyZC}e^\R^hmRzYCS~}`@N|fxSHx}DAU_\OjgESIYAtA}_hOlgBSKy?dBE_TOvgCSLYFT@M`pOPg^S?yFd?E^pP@f|SOx}dCUaLNvgLSQyHD@e_|PNgMSRYISxMa`MPgjRdXqtDU[tPZfKSUYJsx}axM\gpRgyKCyEbLMfgqRhYLSymbPMhfVSZxtdEubdMrfWS[YMsz]bhMtg|RmyNCzeb|M~g}RnYjTWmipUHinTbYjdW}k`T`jHTWykdXUjLUVisTeYlTXmj\U^iuTfYmDYEjdUbjRT\ymdYUjtUjjST]YntY}jxUlj@TkyoDZEkLUtjATlydTOMhPS@iVT@yddOUhdSJiWTAY`tR]gXSti\TCyfDPEh|SVi]TDYgTPmi@SXibTFygdPuf|TJh}TQYcTS}h@TLiRTSycdTEftTVh{TTYzT_]mpWDjsTmy|TZel|Vnj]TzYwT^Mm@VpjbT|ywd^UmhW@jjU?yyT_moPVPjdT}yxD^en|VNjeT~Yzt_}mxWLjoUCy{T`EolVfkITxZBD`mpTWbkOUIZBta]oxWdkVUKzDdbEplWzkYUMZFdb}qDXFk_UPO?TdiqQ?AkdURO?tdAqi?CkfUSzJ??Yq~XU?AUV^