CAT(2808,2)
Sparse6:
:~?jw_?O?G?CAw@D?c_PoNoFKBm@t?z_[oMgH?B}AB@?_`oPGGSBo@~@@?^ONOGCCO@|@A?]oOoFcEK@p?u_ZoLgFCB]@p?u_Zo\OJkDyA~@a_oOWWIwEYAo@g_k_XwJOEeAw@j_l_YgJ?EUBE@X_j_XGKWDiBI@[_q?UwKoDQBO@T_r_TgLGDYAi@j_i?YgJgCeAO@^_n?QgKOCmAY@`_e?WGICC}A\@Q_hoSWGkC]ALAj?YOLGEcBU@j?t_WoKwESD]Ar@W_lOVGJ[Be@v?y_cOQgHKCmAZ@K`b?m_VkJoD~Az@^Om_WCJoEDAz@_ofOUcHwDlA[@Yog?UsJODBA^@YoiOU{IgDrAg@[OkOU{JGDpAr@[og_TkIODVAk@PoioSSIODXAl@Poh_TsJ?DNAn@QohOTsI{DNAo@RO`wPKGaCTAK`Do]oSKFsC~@{@OOiONsIgC@Ag?~o_oRkHwCBA[@@O`?UKGWDfAD@XOewRSHeDy@v`^_\WVoFYBqBA_{?oGNOKEBh@r_xOb_QkG{CfAS@Eoc?Q{HGCpAP@JOZOMKEwB^@o?uPE_D[Aq@Z?j_UoJGECAy@^?m_WOJwC{AY@J?i_SOIWS{IYDJAY`LoeWMsF]Bj@y_{O]WLcEyBZ@n_wo[GMKE}B`@q_yO[wgwS?HpC~A[pN_fSR[IJCtAbPL_gcRkHdCrA]PL?fkP[ILDCAKpE?gkPOHvCUA]pDOfcS?GlC}AIpNoacRSGnCuAKpLobCQgHXCjAUpIOdsPsH\C^AUPF_dkPGHFCRAQPHOaKPgGbCRAMPC_b[PsHRC]ATpFodSQKGvCYAQpH?bcQ?EZCa@fPGOXcRKGPCsADPAOeSOIGHCBaBP@W_{OAF~C@aF?}W^OPAG]BzaS?~g^_QYFyCf`z@MG]wRiHqBwaO?rwYGQIE_C`aV_ugZ?REH_BX`l`KGZgREEwCn`n@AwZwOuF?CKaD_wW`_MIGYBb`h@OwgGLQEeDAa`?twYgSMIABU`b@BgX?O}EMCO`c`Hwd?KmESCeab?pGWgSQIIBB`w_|W]ONMFgBo`r_zW\GM}FOBm`t?xG[oMqFUBdb[_GgCcAM@F?c_POKWESBM@b?r_XOVwJsDuB@@a_ooPgG{CUAN@D_bO~w_COEFlBw`zopWW[KQMrFWbjps_usZ_MfEvBgpl?xc[sLfEtBdprou[\?LjFMBYPkOwKZ?L~EqB_Po_uC[OLdFBBWpj_vSY{LvElB[pjOvsY{LxEmB]pigtcYmLREfbSPo_sk[OLLFBBQPgWsSYMKsF@bK`nwr?[AKkFRbJ`sWyOXUKWFSbF@tgpg\UM[EHbD`sGxwWiLwEEb^@aGvgW]KEFJbe``Wo_[qJsEub[@^GuwVmJmFGa{`qgn?[eMIDsay`pwmo[YJUExau`mwl_ZiIlDVakPTGikTMMqDObk@SgiG\]IYFEbb`RwwgSyIUFIae@qWhO[aMgDFac`tgygSaKuE]bM`gGr_X}JaD|ax`^wmOVyJIDgat@XwkoUeJGDnap@[GkWUyI}EQao`dGk?XMKaD]bF`VWq?TqK?DXb?`UwoOTiQQ?j_UoJGDSAa@R?i_SoIGCsA]@J?d_RoHgRcHuC|A_`OofwSSIQDFAg`TOiWLcEyBZ@q_xo\GncViJvHoCtAZXL_e}RUHmcraYhLGeqROHjceAOxHocQQYHDc`aRxIGcUQGHOcbaShGodQQOHRcbATXGwd]QOHUcm@{hJg^MNgHZciaOHIwcIQkH@c^ASHIGb}PyHNccaMhF_cmPuHIcZaUHFGdiPoHXcYARHEocyPiHLcWaXhEWeQPcHdchAJhE?dQQeGncuaGhLwaQR[GbcLaQXHW`eOsHIcJQEHA{`QOfGTcHQCHAKeOOZHdCFQBpKs_gQvH\CEQV@@[dwORGFCoQVp@C_OQ|GECoQ@PJ{eCOBHbC@qW`?Se[N|HhC?QY?~{d_NpFyClP}PJKeCNnHaByqWo}s]qN\Flbwp{G|{]YNPFfbspyw|S]INBF_bppxW{c\yMzF^blAZWz_e}MuHmcQaGXCwaAPKG^cMAIxBoauOyGkb|aIG~gaiNwGhaDpBG`kOyG`CNaGpCwaSP]GrCWd@Q_xOcjyU@I~dtaeh\ghqVWIZdJaxXRGmYSoJfdIAxXQom]SiJedsAcXQWmiVQIQdFAyHQ?miS]JhdpAax[_guVEIKdCAwhPOmMSQJcdta`X\gg]VWIEczQ]HM{fmRrHyc}Q^hNkf}S@I@ddAmxX_juUUI{d[ApxVOkeTqJGdYasxYgj]TkJSdmAkhU_lyUyIrdVasHUGlIT_JPdUApXTokYTYJCdSarXTWk}TSJMdPavx[GiUV?IcdOAuhSOlmTAJXd_afXRwkMS{JAcxathMglaRgJVcwAiHMOi]TKHpeWrKheCq}XZKmdvbIX]?q]V[KgeQBGXcWqYXCKdeLbLhf?puWwKveCbDX`WpYWmKIeFb@ha?o]WaKGe@bKx_grUWGKseKB?H_OpiWAKXeEA~X`on}WYJ}d|bJH^_qiVsKjdzbCh^GpQVoKRe[a|H]ormXsJtdwbFh]OqAVeK^aJPDGakKQEJBBcNqGXCC`qO|G\b|p~G~k\iMxFZesb\XlOvYZULvexBYXm_umZeLievbXhmGuaZ_LferbZXl?uyZKLke`RPHg[uUZFLcecB\XhOv]YQLuevbPXmGs]Z_LEexBOHmWsEZgK~e]BZHfouyXyLlelbVxj_tuYsL]eiBTxjGtYYiLWefBSXi?tMY]LQeoBQxkOsuZALKfS@jgtkY}L`EqbWpkwucZULnEwbZQtHYklMU`JQdgqrhX{kuUTJKddqpxXCkeUHJEdaqoXW[kITPIfdRRkpxSzC]VMqFcrk`uszK\hMpFYrj`vSzo\`MnF\rlptsz_\`MxFVro@tkyk]DN@FURnPt[z{\ZM}FURi@ws{[\TNGFSri@w[yg]JMhFaRopocwW]JMDFaRqPr{{k\BNIFORf@ws{_[|NFFMrnPrKxk\~M}FLRn@qsx[\vMWF\RdXq[xQ[`MQfGrlppkzc[^MwFFRo@pSwk]DN@FERl@pKw_\lMFFYrhpoKwK\JMeF@R^`sky[[@MeE~r]psSvo\HL|FPrg`nCvg\HMbE{sE`GccMQJHEccQPxakp]WlKQeIRCx`{pAWbKKeFRBYBxAM`IO]gQCFYC@@u_}OagOcFiDP@i`UO[gLcIYBPAY_wOggLcHx{c}Y^JO@f~s?IC_~I`INogPb{X|hAe`UNngTBzh|PAY^WOgftcHyC?}]^OOafscGYAw}E_qNbgKBwhzp@]]}OWfoCEYA_|q]yOTgJBuyA_|a_iNYgJBuXyh@E]mORfjCChyP@E]gORfhcCi@o|A_]NPgGBrxxp@A]YONfeCBi@W~q^{OLgEB~X~H?U^uOFf|C@h}p?a_SNwgCb|x}X?I^iOCfyC?yM`EubVPkgsSYiLLBSbbOvGxSLaM\FC`dPqGYS[qE\F?`^PmGWsZqEDAwb`PmGUsJAL|DWbJPVGrsUAKtEGafPcGisWqIdB_aTPKG\SQqFLC[a~P`GcsQAKDCsaHPNGbSRaGlCKa`P@GhSOaILDc`|PZG^sOAJTBkazO|GnSVAFcyI\HMbfQrhxstGWdBQbHCS`qSTHmczQ[hESbiPlHwcRQ^HDSgAP\F[c|PxHOS]AR|FOdBQbGzS\QSTH_cFQYHAseQOdG{c@QAHGscAOLFscjP}HJS^qQ|FgcdP{HIS]qQ\@A_\ONgGsCyAT@Q_lOTgJsEYBDIOeJREHRShQW|J{eVR?HesoQXdJoePQ}HdSnQXLJceDRCH\SmqW\KSdlRFH[SpaU|JMdjQshWSkYUTK_dZQnHdSjaXLIgeVQkHesiqXdKOdNQhH`SiAW\FAb^Pmgws[yMTMifVRhhrSyI[|LgfXRZHvSvA\lMoenRmHkszQZDLOf^RpHjS{AYlLCf^RpHhs{AYTM?fFRdHpSwQ[dLse\ROHnsrqZtNwgHSEI?S~q_lNkfdR|HyS~A]\O[fpSHH|TAA^LNSgBRvI@s|a_TPKgTSTIETDA`\Osg`SQIFtCQ`sBy@x?|`IodGQ[HaCnAUazp]GnKVQJlDtdQQhXS[iATBIae_rOHf{ruX|K{fzR}H}{~Q^jNrgzs]INLFQblPthoSwi[LLue~R]i_DPih@SIiATFi]dOyfxSUh{TCi_DMigPRqiASzi]dLyfpReh}SwiZDMie`RqhiSziXDLyeXRehoSpiZDKIehQyhgSniXDJYeXQmhWSpiSDJidPRAhQSniTdHYcxQuhWSeiPdHicxQQhCSdiSDFydHQEhSS_iMdGybpQQgwSaiMDGIbpQEgyS^iJDOyb@SUgmTCiKdPih@PmgsTFi}?DgBC@]?r?Z_LTa?Bc@y?zUM?OOGWB{DUAl@S`royW\CMQFLBdbxP|G}[^]NlFtdvq{H\snMVdJpfAR`hokw][RMGg[SMiFLBm`xO|hTSjIT\I]dRQghxS|I]\NUfnRuj[dlYuxZilkUwj\dkivhZQlwUrjVdlYupZElmUojUDkitpZQlYUrjVdiYtXZEl_UijUDhitpYalYUfjPdiYtXYUlGUijODhisPYalAUfjQdfYsXX}lGU]jPDeis@XqlAUZjJdeirHXqkoUZjIdfYqpX}k{USjKDcYqxXMkqUQjIdcYqpXMkcUSjFtcIptW}k`UMicdbYp`SmkUTIizDmIn@ZijmUxj\d[ymhZujgU{jDD[ImPWejaUGiudaYpPU}j[UGitd`Yl`W]jSUEj@DXylHWMkGTgj@DXioXUQkGTdipD`ykXWUjAUEinD^yk@WEi}U?ild^InhTuiwT}i~dUIoHTik?TXiid^IixVyikT|i{dSii`ViieTzjEdRyp`TEkUTOieD]YhpVmiYTykQ?Ag@c?m?Z?N_FUK?AC@I?bWu?HoDWAdbYpnWwkZUMJE|bKl|WtJ^uLAwD`wnPW_JtUFq|L`wnVVlKOUFq|db?nJWqJruKQ{t]Gp`VcKXTwrEL\{pZWnJotwBDt\wpXV\KTTvBD\\gpTVZKUTuRD\asmlWnJkTtrDta[mfWhJiuIAydaOm`WeJhUHQyL[spNVNKStrbDDaOmTVKKRUHQx\[[pBVHKPtqBCT[OpfVEKYtpREd[CpBVBKPtobCT`GopWYKIUERA\_{ojWPKJuCBAt_WoXWFKEuBb@D_SoRWCKDu?r@T^go@V{K@T}r?L^cnzVwJ~t~a}|`knhW\JzUFA}l]wnbVoJxtzq}Tgg?l?W_JoDgBC@]?r?Z_LOEWB[@isw?]_MOFWBc@y?zW]kOUFzRhiIs{YclPefJRxiItAYclOEgzPXhasSYUlEEdzQpgusmYNlKEbjRHhAscYZlLEcZQXhesiYZlIEejGTcQqFXDkbuPjNph}s?Y`k~egJNXhqryY]k}EfZQXfasiXylIE]ZMhgurmYNkzEbjMPhAreYPlHE\JPXfAsSXnkwebJOxbepuYHk\EaJOxbqsOW}lCeNZOHeqsEXml@EZZLHeMrUXdktEXJKpeArOXakreWZJhdeq}XVknEUJI`diqwXUkleTZIHcmqeXLkhERJH@cyq_XIkceRzFxgUqAYCk_E`g@S?q?V?I_EOAw@k?}?\?L_FOBz^w@E?`?Q_GoCGATg]sRYGi{t]ynTWQkDUBjBt`iolWmkZUKmAe~z_Ho]w?[Em@F@Z_`o]wE[Elue}Z\xnmv[Zyl{e{J^XnIvsZplxe~j^`nQviZ|lzE~j^@nqvmZ|ltFCZ\`pMvU[Qm@exz_PmewGZgm?ExJ[pn}wAZdlzEwZ]xmMvCZwlwEvj[@nIu}Zplle{z]hluuwZslueuJ\xliv[ZXlifAJYxoiuk[HlfusZYDlIuhZRleFCZXppMuY[QlcfAJXXoiuS[HmFEpja@kaw]ZFmDeoz`hkUwWZCmDeoj``kAwYZ@l^fBza@jut{[MlTujZTdiyt^YolWukjU\jQtlYtl\EhZV`i]tuYelSElzTPjetQYwkOuGzCTaipXWjkVUJzDlbMpjWsmwfHjmXqazc[fm\fYJfhuixw\hm[F[ZfPvMxq\qmsFLZexuizQ[umvFKjm@rQz][rmVfYzeHuux_\kmUFZJdpuuxY\jmwFIZlpqmz][imLVFJb\puw~[]mOVGZcTqMxJ[cmrfTZkhtQzK\RmgFWjk`tIzE\PmefVzhpuAy]\`mkfQjjXsmys\KmmFPzjpseyy\GmaFTjj@sYyI\VmIFOZgXpUwk\AmJfNjbHsAwo[~nRf\JtHvY|O\tnLffjrhyA{w]^nOfeJrPyM|C]XnDFjzpXyu{Q]mnCFijopyq{M]jnIf_zohxY{G]VnFf_JqHwI{_]@nHF^Zq`v}{e\}m|FbJn`wyzu]LmzfhJnHyY|I\wng_GWCC@}@B?__NtyI|T]enVVljuUmJVLj]ttY{l\vwBzT|o~D^`Nlvvry||s}r^]NkVtBzT|o}l^TNlvsRy||K}r^QNkVsbxt|K}`^PNfvtRxt|W}`^SNfvvRut|{|p^]NZvkr{DzS~D]sNovkBxDzG}T]pNcvqrwl{[}Z^ENeVnBv|zw}B]|N_VobvLzk}H^BN\WC?A[@U?h?R_IoDJQthasnYXlLUezFLbmptW{k^UNZj|uAzB\[mnVVZjLtmyt\UmkVTzf|sAx|\@m`vOkByBF@A_roOGKkEA@r?{_moVgF[BIAV?u_foLGHkCQ@f@G_ZoPgEkDY@^@Y_WoJGJKAqAb@S_WoSgD{AY@~?i_`oIGGKAA@r?c_\oNGC[@i@B?]_QoFGC[AY?v?i_NoIGBj{Y?^?Q^doCFxKDq?R@__EoVg@[?IBF?E_ro@GKj~qAV??_fn~gHkDX~m~y_loUF~KCP~b@G^yoPf}Z}iAb@S^voSf|j}d~M~d^pnvv{K@P}r?W^moDfzZ|I?^?Q^joCFyj{y?m~O_KoDFxkOPnevvZyl~U~Z^dxU{l]VnHVdJq\w}{b]OnEVbjpmGTCVaLPBwbCOuGTCPaFPDW`cPMGHCbaCPHw_sQUGHC\aCPGW_sP}HDA|`_PHwccJ}DlCVaLOmwbCJeD`CP`YPDWUSPMDTC\`VPGWTcP}C~Ab`OoeWRkHmF|ARa@OdwQcOEFpAL`}OcW^SG}FdAJ`BO|w]cGeC@Br`AO|wOSNUFX@z_~O{W\sFuFX@t`wO]W\sF]GD@p_xP?WLsN}BPBx_uO~WLSNmEtBT`kOvwYsLuF@BN`qOsW[SLMEPBf`eOywXSMeEDAd`bOiWWcI]LpEZbNpfWqkXeKnEqa\plgf{ZQHzEqaYplgfKZQHnCmbUpKguKRAL^CgbUpJGuKQiL^Eea}pigoKYaJ~Dua_pPGn[VaIFDqbOp\GskVALFD]aqpWglKUAJNDiakpVGl{TiJZEGahpbGi{WiIjDKbFpSGq[SyKbDEb@p`gh[SaKJ?N_HoCWAk@e?nGKbmpwHAK\yO^Ftb{p|w|{^MNbGQbupyHA{`QNVGQb^qDgw[`QMBGKb[qCGvk_yLvFUcBqAgz[\aORFOc?ptH?k\IOFFIbpprg{{[qNJFybapqG~{^qMNBl`wozw][N]FjBx`}o}w_[OEF~HScKqUHBkdYOvHMcrqShL[dARRHYccqRHJ{dqQVHAcoqXHG{eIQJG{ciqOHJKbyQnGvc\qMXEKbUPfGiclqJhJ{aqQzHecRqHHL[eaPRG]coqGhKkaARFElbWpjwu[Z]LjIbdRqhXRkiES~IgdAqjHPKiiSNIgc~qjHO[iiSBHwdVq^HU[fiTbImcxqkhM{jARjIOdJqdHR[hISrHkdDqbhMKeySZJWdeqsHZkliU^JEdYqqhVKkaTnJ?dnqpH[[kIVBIydhqnhY{jqUjJudqqyH^[mYVrJidwqzh]kmqVe}\^OnfwZKL]EjBP`horwv{[MMBExb]pmxQKhUSfIJdFqbXdcqEX`KdeVRGxbSq]XTK^eSRFXbCqEWlKdeIRGxbco}WdKZeNRCXacomWpKLeJRAX`CpEWdKLeDRBx^cq]XTK@eSQ~xdcoMX`KFeVR@Xlo?{?a?R_LoFwBkT}JFD`akpVWj[aUPRGfcNqGxCKjUTrIvd\qnxVkwq[fMUfGrbhqkxa[VM[fCreho{wA[ZMCfGr_hp{wYZvMIe~raHnkwAZjMCe{r_hm{vaZ~Lse|r\hnkrIZFKuerrLHkktq[fMUeorVhqktY[rLYfMrUHr[uyYbLSewr[hi[vIYZLmefr[Hh[sYZRLkearYhhKryZFL?eqrOhk{raZRLke]rYhf[~w?Q?J?Er~hv{{A_FM{g?rlh~{zi_FMwg?rkh~KzA^zMsf|r{ht[yy^nMkfyr}Hsk~q\RNyfRr{hr{~Y\FNsfOruh{{|y^VN[fsrxHyk|a^BNafjrrh|k~A]fNmfgrohxK{Y]ZNCfd_Co@w@C?]?R?GsSiHdCEa`PDgfSOyHDCuaTPPgbSRyGtA}`dPJgWSQYDDCE`XPBgTSPYCTBm`LO~gQSNYBdBU`@OxgNSLy?t@U_POPgASCy@T@]_tONgESEO@G?s?U?H?E_AyQcuMZNLdesrZXl\HIcFQMhBscIOlGacfQKhFsaiQLHQbVQWgvsdiLlGabzQIh?sbIN|FacNPyh@s\iOlHibbQ]gys[iRlEQcjPehKsYIQ|EAczQ]gnsWiR\DManPTgmsUyJK~M^nNtf{r~X~\IqezR_hWsjiZ|MYeFRah^sxIWLMIdrReh]sxIV\LqdfR_hZslIZ|IMdJQ`hRsiyTLKierRMhlsrIY|LAeJRShcssiW|PIfRSUhutDI\\NigNR}iCs~I`\NYgFRwiAt?I]lOqf^SOhxtBi]LQQhVSgiVtHidlPag~SaiMtEicLCuabPNhlsuYY|LEejRRi]TQYgDSuh|TJi]TOygDS]h|TDi`TKygtRUiHSpicTLyfTSuhpTJiuSbyQ\HEgNSHiDt?Y_lOMjXTxi}T[YnTU}jXTviwT\YltVMi\ThirTSyiDUmjdT`iqT\ymdUMitTxi}TVynTTujPTTirTUYlTT]lPUGjPthio|WQlJT}jQt_is\YYkBUUjMteisLXak~UOjDtdIp|XIkZUgj\tnitlZqlVUojZtjiulZIlrThittXywD[umDVPjaTrywt[}mTVPjcTrYs\Y]lJVQ?@Tvyy_?YnFVU?ATwO?d\am}?AjmTwo?t\inB