CAT(2896,1)
Sparse6:
:~?lO_?O?G?C@C?S?D_B_AW?o?a?U?O_E_Bg@_?}?s?V_KoEGA{@e?p?\_NoFgBS@q?v?y?SoIWDKAi@T?i_ROIGC{Aa@N?e_ZoMWFCB]@r?w_U?KgDgBM@U?p_U_LGDWBU@k?k_X?OGGOBEAA?r_`_LGEoCUAG?t_V?MwDwBq@s?o_V_NWE?By@[?~_\?OGGOBqAA?z_`_NWGgB}AG?}_UoIwDcAy@`?n_eORgHkC}Ab@O_k?XGJOEYAq@d_q?UwKoDuBI@[_r_SgLGDQBO@R_r_TWIwEeBO@U_bOQGG{CiAV@H_n?WWKWEABC@^_RoIGCsGkCRAG`DObGPkGmCVAL`EOdoQsHUChAS`JOdWQsHQCjAM`GObwQKHMCdAZ@Nof?RsHgCzA[@OOe_SSHkDBA]@PohOR{IOCzA_@Jog_RCHcDBAV@PoeOSkIOCpA}@TOiWT[IyDXAl`VokGUKJIDhAr`ROiGS{LoEHBE`aopwXKKaEHBE`aopwXKKaDtAx`[OmwVcJuDtAw`[omwVkJqD{BI`_?rGVwKmEUBB`__rGXOKID{At`^_lwW?JYEAAv`Z?ogUgKMHAAE`Ao`wOsG]CJ@i_uOYwLkE}B\AA`AO_wNkFyBx@~`?o_GMsFaBn@x_|o]gMCFEBd@r_yo\GUsJ]DjDMAcPQghKSiIPDHadpRWhcSmIZDKaapPwgsSGIJDCAbpOogsPqGzCZaLpFWbcP}G|C_aNpGGbsPaGtCXa`@DwagSQGkDBaZPMGe{RYHpCva[pMwfSReHvCyaT@Qwd_SuHUDKa?@@g`?OIGMC@aC`?w`WOUGSCCaE@@g_wOyGOCLaD@Bw`WPEGQCOaH`KgaOREGgCoaH@Kwa_RUGeCsaF@KW`_RIGYCoaY`CGe_O}HeCPaU`NGfoQ}H[C|a^`JwgGQuI?CmaS`EGbOQ]HOCXaQ@NGfoQYHIC|a^`GWgGQMI?CaaQ`HwdGQYHOCcaU@GwdOQEHUCa`vo{G\sNEFfBqad?zGhGMuFUDG`t@PW\?S]FQDEa??tg_GLaGCBVaA?ugZGOUEuCBaI_tWY_P]EeCU`}_wg^wMQF{Bb`}?xW[oNiFMBz`m_|GZoNYEwBt`o_|w[?NeE}Bw`g_rWYOK}E_BMbl_GGCSAE@J?c_Pq@OGsCaAN@H_doQg_KOIG@CDa@p@GaSPQGfCKaEpBgaKO}G`CTaJpDgbcPmGzC]aOPFwbCPiGrAG`DOaWPCGiCRAN`GObgQKHMCdB[`nOvWZ{MEF@Ba`qOww[kM]FLBg`tOyW\cMuFVBo`vozg]KNMFdBN`eorgXsK}EZBO`hOsWYCLIEbBR`iotGYcLUEfBU`kOtwZKLmEtHgCqaUxJOeYRMHXceAWhHWeQQSHbcraTXI_eYQeHdcbaWHH?eEQQH^ccaRhGwc}QOHLcjAPHGod]QoHDc_aSHIOcMQaHAc\aVHFgdyPwH\cYaMHEwbiPkGxc\aKhFgbQPwGrcpAGxCgeQREGccLANhB_cAOuG~cIqDhAc`eOpGVcEqBH@[_uOVGKcFqCH@s_yO^GOcmA?h?_dyQyGBco`~xK?_EQ}G?b~ADg~g`QNwGTb|aDw~O`eNqGWcG`{xAW^UOcFscG`|hAW^aOcFvcA`}H?w^YOKFvcA`~X?w^yOKF{cC@|W}W_iOQFsb{aAG~W_iNsGHbk@uwzO\uMqF[bk@wGzG\yMsF^bl`wW{W\uMwFabr@wG{g\yNGF^br`wW{W]eNOFabr@zG{_]iNIFjbv`xw|?]uN[Fhbw@zG}O]iNaFjbv`sg|o\QMeFlbx@tw}?\UNaFUb~`tx?G\YO?FTbhA?h?_\QMeGBbBARWo_c}KIHMb@aKwoGbIKCGsbdaJxEG[eP_FIcU@rGxoayMYGlb`aIWw_aiMIGjcR@qHD?[YPMFFcS@oWwOaYPMF?b]aOWvwcML{HAb\ALWv_b]LuGub[aIWuwamLoGicO@lHCOZYPAEtbVaGGtoaIL_G`cN`khBgZEO{ErbDASGp_dIKUHPbBaMGpGbiKOGxbEaTgpwdaK[HVc^@cHG?XIP}EPbJAPXGoXaKmHCcL@cxBWXUOwEScM`^go?`}O{D~awaJglwauJ_GkaqaXGkWeMJGHacr`YWlWeUJSHeamaJxEGTyI}Gocd`ShHOTMQWDPci`RhI_TAQeDNcQ`Twj?aQIqGbalAUWj_dmIuHYaz@hWmwY]JiEebK`[grWVQKsDrbP@]ws_VuLED{a|@fgn?XuJqE[bg`Xwy?UaM]DebO`WGkGX}JCE_bU`ZGt_UyJYEjai@igigYaIkEheh?EwBc@i?z?^_NRX?zC\iMrFbbopwg{c]YNJFnbupzg}C^INbG?c?p~x?c_MOD?p_XoKgEcBY@j?v_[oMGLcEmBT@l_voZgVCJeDtAz`]onGtsZAL^EpbXpkgmSVQJfDvazP\WnCVeJtDza}p^GkCUIJBDbaqpXGksUaJNDhatPYwlcUyJZDMagPRwiSTMIbDSajPTWi{TeIpDYamPUxtGy}\aMjfTBkHsozI\OMsfRbkxvGyU\oMcfPbmhugyA\kMafOblxr_x][qMYfLbeHrgxQ[}MUfNBdXnCvYZnLreyR\XmCvIZbLoexR[Xlku}Z\LlevRZxl[uqZTLhesRXxlWuEZWLbetBWhl?tyZQL_erbVxk_taYsLeekbXXk_tmZKL\eqbVHjOtIYgLWekbSxjgt]YuLTemBThjotUZ?LVenbThiOuMYgL`ehbWhn_seZ{LJe}bQhgoveZuLGe|BPxgWwUYIMFeaB`hpWsIY?MLfEBOXfgveZsK~e|bNhogri[MKzfBBNHn_r]XqL}e[B^Xe_wIXiMBeZB`HeGwy[_KqeXbbxdoxEX_MReVbchdWwyXYMOeUBbxqGqa[eKifHBIXcOwaXGMIePbaXp_qA[YK`fDbFxbWwQWqMAeLB_x__yqWKMmeAbjXp?nI[QJrfDA|H]?zm\wJnf]a{XtGlu\UJ^fTAvhZOx]UwMXdlbeHs?jq\CI}fOanXVwzaUAMyd_BmXWOyQUGMdd`bgxugkU\mJFfZAphuWkeUSMsfXAqHXWxuUYM^deBfhXoy}\aJNdgBkHYGxi[uJRfMAshsolQUkMgdibhxYwxUUqMUdkBdHV[jeTtIudZqmHUcjUTfIqdWqkHSGyqTEMmdPBjXRozmS}M|f]AgHmWhmZiI\eyAfHQwvYSkLvdIb]HPGwASUM@dDB^xhwgMYaIDegA`HhwgAYaIAegA_Xh_fqRuLLefA]hMwv}RqM@c{B_HM_sqY[HucybRXb_oiWWK]eMbAx_Go]WEKHe@BAH`gnmW]J|eFA~HLWnUVmHldzAZHawmyVWKWdubDh^?mYVsJgd{axx[WmeVUJddqAyh[?nyVAJ~dpB?HTGiyT]IgdUahxTOiQTWIedTahXR?g}SsIPdKacHPohISgILdHabHNgqUR}Kfc~BHhMOgYSOHrcwa`xLopMR_KTcvbDHLGpARSKQcsBCYUw@]?r?Wh]b~h~{~u^tN{f|r|X}s~Q^pNxfzsmpxlJo]^QyFfRqaVdJg]XQzFdrpqU|Jc]RNGH[RpQU|Jc]LNCH[RoQUc{KdlNAHYrnaUc{?dlM~HYskAR\Hcd^QmHLSeAQLHGclQOHJs`qU\JCcPQqHCs`APTGWcXQDHDsfANtHwc@Q\G~s^ASTIKbvQcG}s]ASlFgdNPxHRS[aR|FKd@PsHOs[QMlF[b^PoGzSZAOLGKb\QAGusWaJlECa~P]GoSXAJdEKatPdGlsQq?DCs_DPKG?scqE\BScjQSGYSiAEDIg`dQhGWsbaDtG{`^QLGUsIqTlAodVOiHUSHqHDAcaTOgGcsHALLAWbVOdGtSGQGTAKaHOaG`sTABt@{ajPUGOSEqFd@s`|O[G]sLaBDB__tOvGKsDqK|@SbPOUGrSSQAT@OafPQGHsPQ@|C[_bPEGGSTq@dDc_\PWGEsAQHt?ka`OIGfs@aF|CC_PP?GBsMQ?\Bk_JOyGARyp|s}s^`NkFvry@}K~K^TNhFxRvp{s}C^NN_Fqrw`zK}O]vNbFlRtPzC|K]lNSFjrs@zc|G]|N\FgoDGAs@Uf{TFh}DQYh@NufqTFh|dQYh@NihESeiRdHYd@QQhUS`iSdGidPQAggSkiJDJiahQugaSViHdEYaPPag]SYiMDCI`pPmhgSLiXDBIeXOmgySDiBdFy_pPyf}Sni?dKI_@REgORuiDC}I`HN]feSAhyd@I]`OMewRkhmcyiZXMmfcRchwCxi[hNEfMR`hscwy\@MIe{Rlhnczy[@MyiGRWibCuYZPSUeiSzi]ctyYpRqecSthiDLyYXRYe]SwhgdMiY@ReiARKi`crYgPKyh{RHi_CqyfxKie?RBhacoiW`KEeMQ}hcCnyWpJu?f?P_HTcAqTXCkhUNJHtbQqTWokhUMJHtRyhlSyiTTKidtSApLWkidUIIgt\qmLVcjfTwIxT\AltVWj`TtIvt_qklWSjNUCIrTYqkTUojFTlIqTVqlDUcj@TiIot_AjdTwkDU@ImtUQnTTkjxTYI|tTanlV{ipTVI~TTQpDTOkLTRJBto_}c^UNfFwbzp|gNcFuB|A@`?O^yK\EUbHP\gnsViwh\EmMVRjbDsiwh[mmYVFjeDpiwP[ymGVOj`drywP[emGVIj`dqIyHZ}mAVRjhDoIwH\Am[V?jfdnysx[mmYUgjeDiYs`[alKVIjQdqYrtYAk~UZjMtfIrTXakrUVjItdivHZMluUtj\DlIu@ZqlcU}jWdnYupYuloUnjZdjisHYilWUbjTdggCCAI@B?b_QoHJ@g?u?X?J_FOCG@{sqYZLMefrSXiCtaYtLXelrVXjcOYGNCGaDPAw`KLYEnBW`kouwZShASbINdFQbHPlKYePRFh`spYWdbsp\WnkWUJJD\auowWskNELjBhbUoqWpkLeKzBPbIpIWUkREEJCx`]o}WUkOeEJC@`]pOWRkTEDZDH`QoeWbkQEDJAhaIoZWNkFUCjAD`EpgWJkDELjEh_qpaWJkXeAjEP_qowWFkNEAZBh_aoqWCkLe@jBP_UoMW@k@eAZ@@_IpIV}kRe?JCp^}nuWgj}eIi~`aenoWCj|E@i~H_UnjVvjzT{i}\^Qo}VhkOdyzC@]inKWakQDyI{xaMnEWOjqeCY{``Io]V_joeBY{P_yp_V]jneJjDx\ummWjjkEJIzHaun[VUjiDzI|h\Un]VYjwdvI}@\m?J?F_BOAg@C?edhQuhYsmyVdJiNNFhbsPyg|c]mMdFRbiPtWy{\YNrFyb|p~G~s^ub@PagosUyJdDi^NNefqrxH{[}I]fNTfiRsHyK|In^VpjwTzY|t]qt|Z?l^umzVljqttYwl[uljU|jUssYelSEfJRXi]t?YZlPEfJSHhismYblKehJR@iUs{YWlNeeZRhh]sfYPlHUdJQthUuIWvlbEMZW`bapsZ@k\eozF`kIt[YNlUecJT`gytUYLlTEazTHgqsOYqlYEajUXget]YDlBekZU@gYsCYqlYE`JUXgMr}Ynl?ekZO@jArwYhk~EizNhiit[XxlUe]zT`fisyXokxEfzMHhyrYYelSEZzLpi]rSYbkuEhZLXiQrMY`ksegjL@iAtkXckrElzUheUrAYyl[eWzV@eIq{YUlIeWJQ`d}quYQlHeVZJ`hEqiZCkjepZIpkYuCXYl`eUZWHdatuXNkgenZI@jqt{XHl_EQzVxciqKXwkcE\zGxfYrgXBkae\ZMXcQqcX?kheOjI`cEpyXKk^eRjFpcux}L]eoRVxkKuMZDIXdLQeHR[huSxIQdIQcxQkh]SlR?h`SoYVlJ}d|WwkZuMZF\bqptXuk{U\zMdfUrfX?k`UOZFlb}p|\ZMrVVBlDtgzN\bMjvURklt_zH[{MoVNbkTrszB[xMmvMrj|rgy|\ZMZVMBjdr[yt[rMjvURelt_xh[yMZVMBfLr[xv[{MXvNbelrsxh\MMWVRreTt?xb[lMcVJrhLqwyT\AMTVJBgdsKxV[fM^vIRgLq_y@[cMdvRRctqSyX[`MbVGrglqGyN[_mNVFzblpmwx[WMiVEbitpcyj[UMhVSRalp[yf[QMiVDBitpKyj[NMgvCRi\p?yd\AMEVPB`tsKwZ\MMCvAriDs{wT[EMcVQR`Do[yT[BM^v@RgLoOy@[?MdvRR_ToCyX\DL}vPr^|sWv|Z{l|u}j^Ln]vp\bLvVXR]DuOv^ZjMrUzRlDmozNZ`MoUwBkTl{zBZaMmuxBj|mKy|ZeLwuxr]\mSvdZiLzU|R\DmcvhZ[LhUsBZtlCuzZLLkUtbXtl[u^ZILhutRXdlOuVZXLbuqRZ\lguP[rmYvLJetraxnN[fnRvXz{}E^@NUfkRtxzK|m]tZOlhUsZXlkyu^ZIleUqzW|keuP^]noVvzz\|u}x^uN?v}Bo\~[{D^WNqVub{t|c~J^iNivzBy|}k}l^fNhVyRyd}_}f^PNpVwrx|}C}`^EncVpzw\{U}H^cNVVkB{t}S|^^fNTvyRtl}_|X]gNoviR{Tyg~F]dNtVhr|dyW~V][nNVfZrLxi{v^\NKVdrz\|o{l^]NIVwBql|{{f]KNvvar|twg~Z]FNwV{bpLw_~b]CNxv`b}lwS~h\}NwV{boDv{~b\zNuv^R||vo~\^rM{V]b}lvc~h^uMyv}Bm|~[zl]|N\VnBv|zk||^?NZvobvL{C|p^HNYVlRx\{g|l]pNeVkrxtzG}Z\sNPV[rsdvG|F\nNNv[RsLv?|@]OMuVZbqTxCzZ\hNEvbrl\ug{\`IN~wRC?MCl?@_qOcwLCG}C`@f_hOaWIsGuAhAJ`@ORwOsDECH@L_bOVwHCEMAT@`__OUWGcDuAD@Z`OOMwFsIU@xAb`UOLWUCBeD\?v_VOhwTSBM@`Ah_SOewDcH}@TA\`?OEWBSFuB|?V_GO\wAcFm?d@x_tOAwLs?}BX?L_wO@WMc?eBd?F_PN}WCr~t~t?d^yOGWBb~\~d?^`uO{w]CMeF\Bj`pO}w[sN}FHB|`mP?W_cMEGDB^`jO|WZSNeEpBvaEOsWaCLMG\BTaBOqw`SK}GPBL`XOnwWSJ]E@At`aOmWXCJuELAzaHPIwdsP]GhClaWPHWecQeHdCfaOPMWcSRmG|CvaKPNWbcSEGtC~afPOwgsTMIHDPacPTWhcTeITDV?K_EoAwAC?y?^U~j_toIrtYAk~U\jMTezE|beppWzk]UMjv\zq|t]xnZvmKYaKTEVbFPewpcXeKdEDbBPcWpCXUJ|EVb?PeWoSXmJpEPa}PcwnSXUJlEBayP^wmSWEJdDxazP^WmcVmJVDfaspYWl[U]JZDpavpZwmKUuItEJanPbwjcWuKPD`bBPXWkSWUNk?J?E_BoAG@S?exv[xm\VNJflryoVWKkDT|y}t^UnfVsjxWG{CmAR@@_aoOv~Z~t~q~t^xn|xE[b]PjGlcVqKXCs`mPPG\cTQFxCC`UPHGXcPQDx@s`uOdG^cGQExAS`eO\GTcGQDxCC_eOXGdcDQGxCs_MPTGDcSQ@w}{^mNrFvb|p}W~k_EN~F|c?p~wrs^ENhE`bMP{wsc^ELLFrbyPgx@c]uOTFnbtQAW{c_MNPGFbrQ@WuSbEPXEncVPkWtCbMLXGtcZPiw{S[]M|FJbcPwWwC\]MhFDbhPowxcZmM`E~bfPnWvC\mLhF\bZPuXZS^UNbFrXTkjuTjJTdeqp]UnKVdzqlxQ{fbMpfwsKYMLNEdbgprWx{\MMnFTbmpuWz[\}NFF`eDRCXaSo}WhKLeJR@XbCo]WtKHe@RCX^spUWdK@eAQ}x_sneVxKHdmqvxZ[luU~JZd}QtxZCneUhJzdhR?xYCn}W@JNd_QrXVckeT|JJdbQqxWSkuUHJHdhQpXYCkMULJNd_QuXVslUTxJVdzQlxVSnUVdIxduQkX]CjMV\ItdsQjx\SimVLIldRQwXScmUTPJbdsQfx\SiMVLI`dKQwXRcmUStJbdHQ{xQsn]ShJtduQbXQCnES\JneJQ`xbSgmWpIHd?RAxOco}SDKLcpQMXKsbuRHGzc|QUxNsd]RxHXchQZxIcfMQ`HpctQQxHseuQXHhcaQ\XNCceQLHvc`QVXFseEQ@H^fdQqXX[kuUbJRdfquXYkl\l}vBZ_lqUwj[]@N?b_QoGWBk@}PrG|c\qYXL[euR^Hrcwq\XNKf]R~H|c|qNxGKcM_PO@gASAy?t?M_XNzgGR~y@s~u]rNZfjrsxyk|E]ZNNfdrrxxk{m]PK`faRFXwsp}]DN`fmRoXzsz}^\MxfxRnX}Czm\dNjfYRzXus}e\`NffVRwxtc}U^@MhfnRixzcy]\@NbfPRxx{cyU[\NhfHRzXqC}m^\MHfxRbX}CwmZXOVevSCxlT@U^hLhf{RXX}su]Y|NzepR~xkC~u_LLXgDRVY@CtmYXO@gARSXht?M_\LRejSCXid?u^hLFfzRQxhC~eY@OReaSDxgT@U]pKze^Ruxfc|]]`KxeZRtXec|M]HKbfcRHxwsqU[tLvfNR]xrcveZ`MTfKR\XqsvM[HKpfBRKxoSq}XPL|f?RJXdSv}edRKgPsFiYLKy`BO[hfssIBL@ieZQgg]siiGLBydZQahVshiU\IQdbPyh^snINlFadvPqhYs\iVLFQdnPkhbsqiMLEyeRPeh_sYiWlEaeFP_hAsaIKlEIcNQIglsViP|DqcZQQgjsdIJLHAajQ_ghsfiH|DAczPGhJsRIR\CicrP}g`sPiO\GAaJOygTsLiD|Ba`ZOsgRsKIClBI`RSMiLtCib|PAgzSSiCtEI`\OqgnR{iOtHI_LQIf~Rui@s}i_|NagJRihnswi\|MAfZRchwsyI]lMYffSehktIiZlQaevRSiWtJIY|LIh^TUiXtUIelTihnTMibtQIh\SQiZS}iitSIg\TIiBSwimtNIkLRii~Tmiyt[inLVAjnTeittZIk\UQjRNHfarpwrkYEK~EbbQphyqTW]khUHjJTayqDWekTULjBTbynTWuk`T~i}TbyqTWEklUDjIT_yYLK}eZJ@d^qnXW[k]UJOngTsJYClAe`NVHjetqyw\[]mJU{jWtniul[AlfUqj\tlIvLZAlnVAjKtpirl[QkvU{jTtoIt|ZylZUujQtiIv\YYlrVGjNtrIs\[ilBKte[rLxfkr}XvV}j{u?i~l_AnvWCjxuAI}|_YnjW?juu?i}L^yn^WEjrtyj@L]aoJVQjqtwIyL]Im^VSjltuIz|\Ymy?H?C_AYE\BU`bOvg\sMYx|\MmbVTjkttzDtc]pdXJkWUQZGTbMq@WpkVUPZHT_uqPWJkbUBzEdaepXWxkTULzCTbmpLW~kQUNZGd`uqDW`k_UFzAtbmopW~kLUNZEd`EppWRkIULzJDf]qxXzklU]ZMDemr\XtkuU[zJtdMqlXbkoUTZHdeUq`XhkfUXo?Tgyry?ElHU_O?dhAr~YA?AUaO?TgYsZYC?BUa~