CAT(2264,1)
Sparse6:
:~?bW_?O?G?CBG@L?f_SOM?EkB]@l?u?SoLoDSAk@j?r_YOKgDoBE@W?o_U_JwHOBU@n?u_VoKWECAe@V?i_j?SgIKDAAZ@N_fOSOHSCoA`@Q?doRoG{CsAR@M?cOP?HSCoAJ@E?doMwFkBqAC@F_`_QWGGCa@~@?_^OM?GcBcAL?y?ao]_CkAM@H?b_QoHGFCBi@rAQ@@o`GOkGMCJAC`CoawPSGmCTAH`C__GPWGICSA@`B?\wNGGaBoAF_}O]wNSFyBz@~_{?\gNGFQBi@v_|_[WNOFMBw@q_w_^WMWFyBc@~`@_SwOgDUCG@S_vO[GL{EqBZ@j_tOYGLKEWC@@f@@OXOOKEIBH@b_oOWWJ{G[AxAG?nO`_JkDcBh@Z?zOU_MkD_CL@V@Boa?IsLO@\?k_UoSwIkDQErBW`jotWYcLYCeBX`H?twQ_LaDwBS`^?tgVgLUDvAx`\OkwUcJUDZAn`VOkGUSJEEaAh`h_iGYOI]DBAb`POsOR[LKCzBQ@MOpOX[K[EZBE@eOq?WSKgEHBH@`os?T[IoE\Ai@foe_WKJ{CpAX@_OfoVCHwDlA_@ZoboQkHCCnAO@JOhOPcIWCZAM@QOGgCSAI@L?g_RobGPsGuC^AO`GpDwbCPYGeCTaH`DGa_PUF?CPaH?wg[GPAGHCEaAoxoasM_GpBeAJpEO[[PkFJCY@qOvOb[LwGrB^ALOv?aCLkGdBYAGp?O^[NsGFB{A@P@o^COcFtCG@{o~_]sO?FnB~@yoz?`kOwF\BlAFo{_]CNCFhBr@voyO`SMgGXCJ@toIWDSAm@h?q_XoYwLkEqBJ@f_rOTgJCD]FLBg`rpTOhcT[I\DUAepQOhcSgI\DJAepT?hCS[IdDEAhpRogsTCIPDOAbpMgfcRmHgDQaZ@Swi_RUH^CoaVPRockTCHNDOARPFoh[SgH@DHAOpFOisPwInDTAMPO?e{SGHrD@A[PG_eKRKHFCcAXPIog[QsIHCkAapI?fkR{HTC}ASpa?GcCYAJ@G_coPwCsAa@N@?_^oNgQSHQCfAT`JodgW{KYEJBA``opGVcJyDzAx`\omgVCJYDnAO`GobwqwYmKqEhbK@igqwXQKkEWbK`dWsWXELIERbQ@cgpoXEK_ERbF`cgpWYALCELbO`bGp_XqKYEYbD`ewswWaLOEIbR@aWrgWaK}EIbN@aWk_XuJKE]aq`fwsWV}KAEdb?@hGn_YALCD}bO`^WqoVeJuESa|@dWmoYYJoEgaz`hwm[VUJhEMAwPc?mSW{JbDlavpZglOYmJWEiat`iWrWUeKwDfbL@YGkGWUJEEFap@`gooTyI}EFao@`Wo_TuKEDZb@@VGoWTaKGDYb@@UW~OFEBf@q_hoTGIkMqF\Bl`wO{W\{MeFVBi`lOvGZ[^{OVF|CDP~`@K_WNzGGB~q@o~s_ONvFyCAp~@?[^gO@F{C@P}p?K[QMLFDbmPvgzk\?OFGCBgq@OyS[wOVFNCCprP@S_WMTGGBeQ@ox[[[O@FHC@Pq@?K^[MBFxB`po_~C^cM@E~B{Pn_}{ZkNlE|ByPn?}kZ_NhEyBzPmO}k^CLjEvBxp{_us^CLdFrBYP{_u[]{L^FoBWpz_uCYsN`FmBVPj?|{]SM~FfBopx_{C\cNDFcBlpwozS]_MlFWBtPyOy{\SNZFRBuPt?|[dOQZHKcdqPXG{cYQaGTchADxIW`YQeGScgaCxIO`IO]HMcGaSHA?c}O[HOcfABX@_c}QQGvcdAMHH?bYPcHBcWAPHEGcIOsGjcUAEXDO`aPMGxc\aIXD?biPeGccRALXCgbQPwG`c]aGhFoaMO{GlcOAJxBwayOyH?cLaOXB_b}KDECb@p`Wo{WYR{HecsA^xKwgARvH|c}QZhLkeqRUIBctA_hLGgESAHVd@aUXOOdaR{HUciA_HNwdURmHccyaXXMoeMRcH_cyAWhMWeEQyHwcna]hJofeR]HYcmA[XM?dmN\FnbwP{W}[^INhFubyp}W}{^aSKIfdAAhhSggUS}IddOahxS?iYTUI[dUafXRoiqSqIgdTAexTGhiSkIadKAhHQwiMSjIRdIQcXQChISYIgdTAbxTGgySUIldTabHPOiqTCIFdCagxP?iQQ\HOcfqSxISdEURJIddqpxWskaUWIydfAnHXgjmUWIvdfAmXXgjaTgJNdZAsXUglAUaIpdfakxY?jIU?JBd`ApXWGkQT}ImdWAnXTwjyVCJhdpaxx[GmaVGJZdrAvX[glqUoJQdlAtHZGlMUiJ]doAthYwl}VeJiduA|X\WnQVYJodva{h\onEEbBR`hOHGCkAMDHAe`QoiGS{IeCtAX`KOewRkHqC\AK`EpHWc{QYGxC]aMpuWz[\iMhFTbhqTxJKdaQhHUciqohWCkET|I~d]rHpcCqGXPKeEOrH@bsqSWzKbENrE`cCqGWxKZEOrDpbkpcW~KWENREpakpoWlKYEIRDpaKpcWfKWEHRB`acp?WlKNEIrCP`CpGWTKRECrB@`SosWPKHEDr?``soKW`KCEFr?P_ko[V~KEE?R?`^{oCWHKBE?Q~@`[osV|KKD}r@P^knoWNKED~Q|`csn[XPJwERrH@^KqSVvKbD|RV?As@a?n?Z_LOEXl?@q?|?\ev?GWB{AABl@s_yo\wNKFa@Z?m_UOKGEKA}At@Z_ko|W]{NYE|B^`mpXgkkUQJTDkatqEHBS`eOvG\cMQahPcgmSNIHdCQshYclMUjJVdjRdPrCx[[rMUFLRepq[xs[hM[FHRc@qkxW[^MPFJrc`pcxO[\MRFEraPp{xC[VMOFDR`ppsw_[XMEFErapocwS[TMHF@r`poCw_[DMEF?r]pnsvoZ~LyE}r\pocwSZrLwF@r]`nKvoZnLzE{R\@oCvW[DLtF?r[`n{vsZfLpE~R[pmcvGZjLpEzR[Hlsu}Z\LnewRIPl[qkZZKiEuRT`rCt_[tLVFKrepi[xsYjM[EiRS@lCtGZTLPEsrXPhks{ZLLMErrX@h[soZFLIEpRPplCscZTLGEsrP@kSuOYLLDEprXpgSsKZJLeE_rN`j{s?ZBK~EoRNPjsrkYzL[E]RMPkKrgZ@KwEnrV`ektsXnL[EZRUPectkXdLYEXrJpl[rCZZKoEuRUPdcqwYtKlEls@?@S?q?V?L_FoBi@g@A?d?PgJ?CwAk@Q_nOWgJSDiBD@][{ORgIbfyA_yA]QO?f~Bqhx?~}^}NLg?Bqx~o{q__NDfbcCiAG{Y_]NBgEbpI@o{I\}OOf_cCXw@@I\{OKf]CAxvh?i_WMzgDbmi@Oze_YMugFbmI@oz]\eOFgCblXu`?a_KMofXC@XuH?Q\YOFgCbjxtp?a\WOCfTc@htP?U\OOAfSc?Xsx?M\GORfRCDYA_yU_AM`g@bgy?OyI^gNyf{b{h}W~a^mNnfzB{X}g~A^QNefsByx|O}]^YNbfvBxX|_}Q]yN_fnbwhzo}E]mNZfkbuhz?|q^uNPfhb~XyO~q]kNOfiBrxyg{ybS?Z_KoEgB[@e?t?W_JODwA{@a?lP{?MOFgBk@y?x?\f~S?H~|GOb|QAG}s_qNdGKc@QCH?s_aN|EobnPwGtSYqMtEwblPvGvsZQNDFcb`PzGws]aMTFkbjPxGyS]aM\AM`HOagQsHyCtDwc@P_H?s^qJ|DobzP\G~SUqNdDgbfPXGysUAMdEsajPUGvsTqLtEoahPQGtsSqLTF?abPOGxSRqML@gbPOXGssXqB\E[_xPhGNSYABlCwbLPKGqsRQKdCKaRPJGasPAHTC?aLPAGcSOQG|BS`~OuG]sNaEdBc`fOwGXSLqELAw`tOoG]SJqF\Ak`POiGUsJADL@{bBO`GpsGAKS?i?X?J_DOAw@c?u?^?M_EoBw@tL{?b?Q_GOCWAS@AbNPhgsRUXjStmZDLceprXxksuUZVLleuSxa[LM[f@RdHnsxQ[TM[fFReHqSrqZLLke\RYHesuaYDLkedRPHksvAY\LwejR\HiSvAYtLwepR\HjsyAXTMgeXRhHdspq[TKcfHRGHpspAYtKWepRDHjswAWLMCeFR^H`SsAVtLGe@RPH^smqY\JoehQ|HisrQVDK{dtQxHfS{QUlNKdnRqHZSkYUDI}dhQrhXS{QTdIwffRqHUsyATLMgdVRhHTSha\tN?dPQfHvshA\lISfVQbHuSzQSLModDRjHOS{AR|Hsf^Q]HvSbIPlGmc^QOhFScYQTHMchQUhIseaOlHocNQZHBSeQPDGgcnQWHCs?i?\?E_VOKgDSCIAT@E_fOTgIT@aiLTKgPSFIhTQAb\PsiTS[IctEQiTP_ibTRILTQAalSggnTHIJTCah\POiZSRIeTRQ`|Sog`SPIdtBAhtS{g\SLIgTAQhtOki`SIIfs}i^dNmfzR~h~T?I_TOEgFSDiATLQg|ROiJSrIbTOaeDRGiHTBIWtNqdlS?h^T@IVTIafTQohrSjI\tHqfDQchnSgIZTHAfdRwhLS|IQs|AcTNWhFRtIOtFa]|Q?fpS^H{tTaotTSkJTSJAT]qntV{jzU?I}T_QnDWKjtUAI{tYQplUkk^TiJFT\QktVWjNTvIsTaqklWojFUIIqTWAl|UGjbT`IwT[ajlT{jfT]IyTZAjTUwixTlIltTqo|TckRTWJCTkOB{AE@@?`_OOFxxK{i]PNJferrIQ|HecpQ[hLSeyvP[AmCU{j_dmyvHZ}loU|jZdnivPZQlkU{j\dlYv@ZElqUrjZdkitpZMl_UpjVdkitpZUlkUojVdlIr@ZykkU~jJdnYwHXMkiVAjIDoIq@YakcUijGdiYtXYUlYUfjUDhisPX}lAUbjODhIrHXqkuU]jLDfY}?@M?j?S_HoDWAdFablPvg{s]yNT@e_vOYgMsFiBdR}iBT?i]TNYftRehtSziZTMIe|Pyh@S^iPtGicL`Kn~WPK?uCb?D_{n|WOJ}UBa~l^goLVzKBt}R?l^goDWCJ|u?q~L_knlVvKEt}B@d^_oPWIJzuAQ}t^{njVrK?t|B?D^CnxVqJ~T{A~l]sn`VnJxTza}L]snfVnJytza}d[KnNVDJstpA|D_wnHWOJrUBq{l`CnBVbKHtwbAT_Sm|WFJnu@a{D\koVV\KEtvB@d\_oDWCJlU?qzL__mjVVKDUAQyt\ImhVRjftsYyD[snTVMJuTrA|\][mRVhJdtyAxT[_nXVFJttpa|TeGerRZhlSvIZtLujjTvizT[imdVMj`TniwtZIltUurUXdkreZZKpeqrOXdkreYjKpeeraXakxeXJMPeMrCXmkpe[JK`e}raW}kxeOJMPb}pyXlk\eYzF`eqpoXnk\E[JLpberOWtktELjLHb]p^WpkWUJjDdauq}WikoeIzDHeAqwWfknEIJCpduquWbkQeUZC`dip?XXkleGjCHdioyXUkNeUJBpd]osXUkMEUJBXd]oqX`koEEJJx`]q{WUkmeDJJ``UqSXLkeERzHXcyq_XGkhEQZIHc]qeXCkbETZGhdQpgXBkXEOjEXcEtwYllVujjTTiqtVX|L[u^rVTfwtvYxK|U^BV\jgrvYuKzumBNLj[rpXsLZU\bVDfStnYsLOUfbUljKs~Y?LLufROTgCsxYWLWUebUThctbYQLGudBP|hKs`YTLEUdrPthWsZYHLQUarStggtJYgLCUiROtg[tNYaLAUgrOliCsFVfjstyI|T]qnVZMLrUsB\Dk{vNZYlmUuzZLl]upZULsutB\TlSvVY~LsuyrWLmgu@ZeL]Unb\Dm[tzZJLpurR[lkovHZ\LcUvrXTkcu|ZDLguprY\kWudZ_L`UwbWdmCuFXVkkUTjJLdmqtX[kmuVjKLd}r@ZkMDVBB\tokvZ[PMBvCb`Dp?wR[LMAVBr_towwJ[@MHv?radoGwj[JL~V?B`Toov~Zzl}u~J^TnavrZtMEu|r`|nWw\ZrMIU|BalnGwfZnMGVCR]Ln?wdYul[UlzVLjmtt[pmXvKjeDq}x\[aMYVHBetqKxj[sMNvGRetrSx@[vMMVMRbtr_wz[vMKvMRb\r_wt[hMTvJRdDqoxT[UMQvEBc|p[xL[yMdVNBhLrkyV\EMeVRbhDssyN\OM_VObh|tCyB\BM]vPRf|sOx|\WMlvUbjltcyx\QMjvTBittKyjUmjWTjzHTcqqVXFkcuQJWDkEt~Y{l^UnZdDqixR[fmRVHZm@vazc\vmwf\jmXuuz]\tmvF\JmPuiza\jmwFZJlHuuz]\fmvFYJk`uizK\kmqfYzk`u]zI\gmrFYZjpvYz?\wmnf\zmXuEzE\tmyFWjqw?]?P?Hjutzi||g}s`YPlEUbjPlnIvfZslvu{Z]Drixx[zm]vNzftyW|R]gNTvhrtTyS|\]kNPvjRsdyW|@]gNPVhrsLx{|H]dNMvfbs\xg|@][NOversTxo{~]YNNVerrlvg{b\xNHv]rqTyc{\]ONTvbrtTwk|X]KNUvbRttwg{r]GNJvaRrDwS{n]ENKv`rrDxO{D]CNJVdRo\xCz~]RN?vcboDvo{h\}NJV^Rql|{?H?E_Avvrv|{?~B]}NoVmrz|zs~B]{NoVvBvL|w|t^\N[VlRzLzW}v]vNlVvBuT|w|f^\NYVuRt|zC}t]oNlvsrxl|S}^^SNfVqbyD|G}V^PNeVqRwL{[}F^GN`Vtbwd{W}p^VNao@w@C?e?R?F_CWAS?Q?Z?O_@o?G@{?Y?Z?O_DoAG@z}y?M~q_Dn{G@J}a?A~k_Anyg?Z~h~E~e^~nxF~j|p~i~_^{nvf}z|H}I~S^cnsFwz|X}U~M^lnuFxg?c?U?L?C_BO@[DPxE{f]QnIVdjqmAd@B_bOSWGcC}Ad@H_eORwHSDE@T@Z_VOVwDcDu@x@H__ORWFsCmAD?v_bOMWGcBmAh?p_kOLWIsBM@P@X_ROTwIcAUAt?^_nOGwJcAE?j?R_JoEWBk@l|e}v^YnnVvZzeBXA\_wOfwLsIEC@Ab_~OhwOSIUDD@x`RO^WScFmCx@r`OO\wRsFUBF@`_qoXwLKEmClAJ`LObwRCGuCHAP`IOaWOsHMEXAh`UOsWTSK}ELAz`dOnWXCJ}EDAt`_OmWWcJ]D\BR`jOkwUCLUFHBj`vOyW\cM]EpB^`mOwwZSME?Z?N_GodwR[HeCbAT`HpBG^kOaGBCI`~p?g^kOQGBCE`~o{G`KNIGVBsaEp?g]{OYFvCC`{pJGIKDMA^BF`doqWWkKMEBCoa[pNGdkQyHvCsaUpKGe{QyHfCeaHpCGdKOyHVCqaOpLGc[RYHJCYa\pFgfkPqHrCSaTpEGc{QaGnDgacPWwgsU]IHDdarPNwkSSMJHD@aePTwjSSmI\DXamPSWkCTUI|DRa|PYWnsUuJxDjawP\WmSVeJlDnaTpIWc{WqKBEOb@pbgokWYK^EIbGpaGpkUMJNDdbN??gq[YG?LETbO?@Gq{Xw?HEXbM??gs[Y??LEZ