CAT(3072,14)

Sparse6:

:~?o?_?O?G?CA??t?^_MoFGB[@y@[?j?SoI?DSAo@Z?y?WoKWESBM@f?q_ZoMWEcBU@p?u_^oMgF[Bq@|?|_VOJwECE[AX@L_eoRgHsCqAJ@?__oOgG[CQAP@F_coQgH[CYAh@R_goSGH{DIAj@U_joUWJSDaAx@Z_moWGJsD}Bd@l_voZgMCFEBP@k_roYWLSEmBg@`_p?\WKWFMBG@u_{?XgKgF]DQ?e_RoHwC{AY@L?c_QoGGCSAM@B?t_YOMWEsB]@p@Z_moWGJcDyA~BF@\onGVkJ}E@A}`\onGV{JuD|B?`RoiGSkIYDFAc`N_lwS?JaDiAa`M_lgVOHyDAAx`Q?lWUoIMDIAv`\?hgT?JeDMAw`TOiWTcIuDVAm`VOjWTSIeDXAj`V_fwU?IADaAa`X?fWU_IEDeA]`Ao`wOsGiCPAH`W?_WTwGIDc@~`W__GO_JQCEAr`HocWQcHIClAT`EOawP{HACZAM`M?^WRWFqBqAV_~?eGRGFiCs@zaX_DgAk@a?n?X_IOFgBc@u?v?^_LOgwScIaDJAe`RoIGDKAi@Z?k_To`WOsGaCNAI`CocgQcHMClAP`IoawPcGuC`AN`FP[OkSTuI~D]aoPWWk[UQJLDdasPXwlKUmJXDlatPZglwUeJSDnav@[GlWU}JWDoau`[Gj[TiInDWamPUWi[TQIjDQagpTgiGTqIoDRaj`Sgi_TeIkDYai`UwgkSiIPDEabpQWhwSYIUDFae@QGhGSuISDMaa`SGgcR}IDD?a_pOwdsQyH^ClaVpJWeCREHdCoaXPKWkWQIJKCeaq@HGcgUaHEDdaO`Xwd?UUHSDeaT`YGd_UQHQDfap`Hwd?UyJWCjaS`YWlOQ]JUCkaT@ZWbgRuG{Cza\@EwbwRqH{C_a[`FGeWSqHgDJaZ@RWegS}HoDOaZ`RgbGPmGyCTaN@Dgb?PqG}CYaO@Dw`{PAGfCSaGpCg`kOiGVCHaFPBG__TuJ?CDaB`VgjwOMGODaao`@g_KNuG@B}a@O~w]wReFoCy`{`Mw^ORqFwC}`|`NW]GRMFcCtaY?|G]WRYFkCw`y`LwfwMmIGBma__zWgOMqI?Boa`_zwagL}F?CWaJ?wWbGMMGsBcaJ_wgYWTyI}BV`i`VWkOLYJ?BSao_uGXkKyE^BQ`gOsWX?QIEQCc`d`HWX_QYEMCbaO_qgWSKEELBC``opW[oLeE{Bh`t?ugZgMUEuBf`m?yGa{PaGrCUaIpEgeKRIH`@R_iOSGISDEA^@U_joTWJSDeAp@e_pOWWK[EUBH@l_vOZwMCFIBbBd`rOxw\CMeFTBL`fOsgYCLEE^HQciqSxIcd]QlHGC_QP`GSccQHHIC_qPpGkckQFHQC\QMpI[boQnHSC^qNPIsbwQjGqcXqKXESbMPbHEAxQQOmcVWQTDtCdqPomKc_JfGgcSqHXDSaYPNGGCZQB@FC_[PnGJC[qAPEkbOOTFcCYPxPEk]WPlFbC[py@FC][PnGoBePrPD{akMVFMCUPs@Ds[{PZFDCePppHk[WQ\FGCfqSOxK[gQ`F@CVpp@DcakL~GlB_Po`EC[KP\ErbYPlgvCZULnHKBIpd`HkX[Q\EWCfqSOrSXcQ`ELC^pa`FSWkPzG{BCqMopcWwP|EEC`Pa@GkWKQ@EFC`p`@GcWSQBFzCEp~@@s_{NzGOB~QCO~{`GO@GEBjPsP?K\GODFRC@q@Oyk_OMhDvCNp^@CcV_P@DxCPP]pC[VgPBE}CKPm`AkZkOfExCJPn@AcZsOnElBmpkO{SY{M|EoBnpj_{CZGNBEfBspi?|[]gLTEhBuPj?|sYkNZE`CKqF?ssYGO|GYBPph@Bk`kLJEZBjpu_rs\_KxFXBNpv?sC\kKzFoBFp{_qCXCNhFnBHp{Oqc^KKdFtA}p|_n{VwNnFyB@P_O~CW?Nr?T_KODGBK@Y?n@A__OOWGkCMAH@J_coPgG{CiAP@x_|O]wNsFuBx@~`@o_GOSGECHENbHPcwqKXAKhJzDyq|`^Sn[VxJ|DyQ}P^{n_V|KPDxRBP\sowV^KNDwRC@][ooVbJgDyQ|`\SmcVjJkDzqzP^KmkVpKKDjQu`aKlcW`KLDjrB`Z[l_W^JCEBQpP_{o_URJEECqq@`[k[WTIoECqj@_sisWPImEDQkP`[i{WNINdFQcXQChMSdIGE?R?PPKgkWHIKEAqa`_[oGSZH{E?Q^P_KfwWDKBD?q^p_kg?WHJoCvqz`LcegV^HlDwqYp][ewVdJyCqQ}pKkecV|HgD}q~pKse[VxHtD^QnpMCk?RbHqD`Q\@W[fKUBJaDRQwpS{mOTPIjDrQiP[{igVJIYDgqs@R[lGSzI^DhqtPRchwUhISDOQe@S[hWTJITDOqdpSShcTHIwD@QmPO[jkSNIyDAQ`PVkjoSLHvDmQ]pZ{f_UzHuDnQwPNKm?RtH]DXQlpKSd{TfIsCoQlPK[jWRBH[Dfqq`JKkkQvJKClQVPXkkwQpMI?foTGI[DAAd@P`tozG]CMuF\BndNQehRch}SzIZclqUHJKdiQzH[fMRfhsCx}[zM`fOrfxrkxy\@M[fGRdXqSxE[hMReurZxmCuqZbLmerBdhkwx]ZOMWesbeXrWumZSMYfDBWHpWuE[WLafEbWxkgwyZGMNelRUxjctuY~L]fDBTHigwu[ULUfEBTxjGw}[[LWefB`XhwwYY_MFegbaXp?tMYcMCfGbKHq?rE[cKqfIBKxqgrU[eKseQBdhcgx]XKMWfLbHxdGxiXOMXeKB`xbWweWqMCfBBEhogpq[OK\e~BFhnwp}[?K_f?bGXcWwMXCMAexBQHmWseZgLIeybQxmwsqZkLLe]B]HfgveZsK}e|bNxngsEZwL?eUbPxdOsIYEKjeaBJHdosUX]LEeHBLxf?pMXuKTeIBLhawriXqKUgF?DgBK@]?j?W_IOKWESBMOjGUcKQDxAc`MKDD|a~P^woKWA`QOcgRSGyDDA]`JOUGMSDABL@O_nOTGKSDaBT@S_vOGGNSAQCL@{_TO_GDsGa@l?o_zOVGEsAQBD?g_xOJGLsEQ@D?o_tO`FzR|qBk~__|O^F{sG`~\A?^tNofwr{h}c~U^fOMFkRuQAL@?]tNZGHRvAA[|s_^NQGFRsq@{|O_`NTGGrtqA[|W_dNNfersXxc{y]`OfFbRpqDC{_`JNHGPrqqCc{g`LN?GProQCc{G`JNBGRRpQDC{O`NNiFYrz@u{zO^VMwFvrz`vKzW^ZNdGBs?p{d?O^LODFrryQ?S}__LO?FVrj`~c~{\fMpG?r~`uCzG^zN`FURv`tK|{\TN_FTri@{S}K\ZMaF\Rgpv[yW\xM|FQrnpscy[\|QKGCSAY@T?m_ZOKaLpFGbkPyG~C_aVPJwdkBQ@p?x_YoLgE{DUAl@V_koUgJCEUBF@`_pOXGKsLMEhBT`jOtwZCKMEBBD`bOogWdJCdXQfHUsjaTDI{dRQqHTSkAT\HgdJQYHOseASTIKcrQXHRSeASdJOcjQQHXscqUlHOdlQVH[SdaU|HCdDQ`HESbQS\GwdHQNHRShQQDGwczQNHOSeqPdGsc~QOHMScQRtCOc~P@HLsOaRdCKczPEHNSPQSDJSbhPpHXs[aU|JObfQuGys\aVDECcRPbHCsWaP\Gkb@PcHDSaaJ|I_aNQhGcSQQTdCodTQjGdSQqS|BsclQTG^scaF\HK`xQSG^SOAQ|BcddQoG[SLQTlB[dbQmG\SLaT|FgcLPvH@s]AOdFccJP{HCS]qO|GGb`P|GtsZANtEsb~PnH?SZaOLDoafPZGiSVaIlDWazPWGlSTqJLES`^PeGWSXqELE_`dPiGYSYQE\AkaZPMGSsJAH|Aga`OmGgsJQITQw?\?O_FoCWAS@M?\?N_HoCgAC@E?V?L_EOFWBS@m?~?]_MOfWRsH}D@Aa`OoJGDkAa@R?j_TP[WmSVQJfDuayqFxCCaEPFGccPPvWz{\yN@FabopjguCZELdEnbUpkwucZaLjEubZpiGtKYiLVEkbRpewsCXqKzE^bNSPyHLCaaTPKgdt]AklUGjfTsIot\Qk\VWjLTvIqTWQk|UGjPTiIqtYqktUojFThIqTZQj\UwizTnImTVamDU?jdT^IwtQaj\SkixTKImtVahLU?i\T^IetIyd\QqhZSliUTHqnTVohLSiI}tIAnLQSj|ShI|tUAbLTWgtS\IitUab\PoirS]IjtFqjTTchFTUIOTTQcLT[hDTWIQTLYe|RQhrSwiZTJaiTRGi^SnIgTSqeLRKihSoIgtOQfDSGhrS|IYtNaetROh~T?IZtFqfTQ?hvS`I]TGaf\QOhxSbI\SvAl|UsenTmHkT[AZLLgjdRZIwtCQhdScgZTJIFTCahTSwg^TLIGTAI_|OegTSKiDt?QdtOGh^SBIWt@AeDOWhfSqIAs}qc|NohTR|IQs~actQ_g@ShH~s|Qm\VOfrTwH|T\Q]tV[fnTuH{TXq\|N?jPThHwtYq]dNGjXTiHxtNa\LR{fVT@HtTOa\dRsf\T?HutEQ[\PgfHReILtFA[|PwfPRdIMsvyZlMIe|R_hossQg\LOiJRQIaSsqgtS_elRTIbsrQiTKki^RKIgTSQXtK{ifROIiSqaglKSiFREIaSpqgtS_ePRHIbt^QW\Vcd~R?I|soQndKOj|TyH`SmQa\JgghQzIIsnAatJwgpQ|IJuHodCQ]HXCjaTPIWC[AI@H?__QoGWFcB}@z?z_\ONgNCFUBh@r_zO\wK{EaBR@i_uOYw`KOiGVCKaEpBg_{OMGLCCaCP@W]{NiFrB{`|o}GXcKeEPBJ`boqhMsf]RpHxc|q]hLSemRXHlcvqZhws{]]PNHfdrqhtsy}\`MrfWrkhscyU\NMafPrhjMlfYrnXwk|U]ZM\e}r`Xskwu[jFPduq}Wxk]EVjFpeApyXak\eWZFxbepuX?k]EOZFhcIp{XCk\EOzEpeUrKWskreLzEXeMrOWwkYeXJExcypgXKkgELjEhcmpeXLk[ERzClaQpHWekQuHjLHaIrYWbkteGzL`aEr[WaktEGZKH[eqyVFknDqjJx[amWXakoDqzB`dMoyXSkgeFjBXdIqkW_kieFzFx`UooXCk_EDjGH`]osXBkKeOj@pe]oQXbkDEXJ@XeUrOWKkrEBZ?XcmoGXKkAeRZ?pcyq_WGkBeRzDh^]noWmkVd~I~HbAnuWqj|EKY}HfUncXujxe\y}`faniXxjzE]i|xeen_XmktDyzLX]qnYXljvEZI|He}nIXokwdxjM`]]reVikxDyIzl\emtV]jltvIwHd]mCXWj`eUZJ`[YquVCjaeUjGhZmqKU{kbdnZH@ZyqSV?kcdnyupa]lqWjkSDlYuxaqlsWhj[EIitDYUlLUfjPthJIHYilWXQkiDiYtXdMl[XUjUeTZJ@XyqqU^jMeUjJXYEl?X[jPETyqhayp]UPjHEJYqpbIp_USkWdczCxXAkWWkjFEIypXaak]WhjEeIinxcUk?XEj?eQIoPcikEXHkbd`JAH]AnGWQkFdvy{P`MnEWSkGDwYxx_AmYV}jfD~yy@^umcWAjge?YrHZIkuUrjLDkIr@ZQl]U[jJdkYz@W]kIVTjDDtiyxWYmgUGjhdaZg_wa[HMFfCr`Xos]}N`FpbxP|G}[]QNJFbbrPyG{{V]JxDwa{p]gn[WeKZEMbDPbGp[rYXrKve\RMxfDDeatP[glsViJlt_x|\XM_VNri|sKyt\ZM_vObituWt`YjMpVWrTduOt^\fLVVXRTls{xb[sMdvJrhTswxd[rMeVRReDu_xR\hMTVYrd\qwzT[lMuvJBldqKyx[cMmvHRjtqWy~[gMovHrkDu_wz\hMNVYbb|ukx@[aMuvGRlds[wx[VMaVEBglpcyL[YMcvErhDpCyT\LMIVCbh\pKyX[UMfvRbalokyJ[OMcvBBgto{yP[LMbvPB`trkwT[zMCv@RfdoWxz[|MBvNB`Dn[xrZrMZVLr]dn_xtZtMYu|bfDtouvZ_MmuvBkLt{uz\_LnUvrjtuWup\dLlUtRkTuOulZVMrvWrZLlOxlZOMYvLrX|r_ub[yLhVMRY\kcy`ZIMgurbi\kkydZLMiurBidrwtb\?LXUkrf|sKtl\ALYUlRgLgsyl\XLFubbi|hGyv\YLGVUBQLgoyfYFMgUaBiTgcyhYIMguarilm[tzZ@LsUnr\\jwvRZkL`UybWDmGtnZbL[uxBVdj_vLZ`L\UxRV\mstJZmLRUzrS|i_v`YiLxUiR]LiCvrYaL|Ugr^\h{vxY_L~UhB^lhcv~[?LLV?RR\oGsxY]MAUfR_\kKsDY@LaU_rWlgOuLYELcU`RW|hKrvX{LIU^RQlf{snY?LKU^bQu@ohXSliTpGWckQIHHCeaPoUwKCDqAz@^_nOoWWsKIEFBC`armHuczU\nMxfZRjXtCye\XMifTu}j^\nqv|Zxl}u`JOtgEsFYDl@WRsG]CVAL`FoaWQKF}BvAD_}o_WO[GA@ZAC_VoKgNkBABv@}_Zo_gEkDY@F@[_OoUgCkAiA~?e_ooIGJKBA?z?k_LoFgE{Ay?z?q_NoEgEjmaBIzi_roYF\kEpvazq_poYf\z~q@~?C_cn~gGKCI?N??_bo?gGj~QAa~o_doSf}Z~YA]~y_ioRF~J}iBq~e_xnxGMJ}aBj@m^vnzGMz{q?]~M_JnsGA[@@}f?S^jntGBJ{QAU~G_fnoGIJ{YAZ@S^`oSfx[E`|y}}_roWfukEP|m}y_unmGL[Bx|R@?^ToOftkCX|^@G^XoPFuJyYBm}c_{oZfrkF@{~@s^OnggMZwQ@A}E_PoHfpJwi@I}M_TnbGDJrq@q{}_\oNFgKBpyE|E_\nPGFKG`xbAI]XnLGOzrYC]{y`GnMGPjqQ?Q{g_CnHg@Zqi?Y{m_EnJG@[@Xwq{Y_FoCFcZqA?f?W]MnFgAjoqAm{M_knCgJzpAAu{U_ooVFajv`}q}?^pn]fzZvp}y}A^on^fzzx@zY}Q]vndFmJxXze|u^LneFmju@yi|i]mnYFjzuHym|e]knXFjZnPwAzu]@nAf^jn`wIz}]BnAF^ZspvEz[]hnRf[jt@vM|I\nmwFhK?e?Z?J_LoFWBzCLaMpDWckRUHW@s?}?`?P_HoCiDLAi`\OkgUsIz?L_InzV}j~u?IzD\MmhVTjjTtyuDY}ldUpjYTk{\eMnFZbkpuwy{LiN^Fu`qovG}KLyNfFs`pp}G[K`IL~GSb_qDgw[`aMJFGcMqEgw{ZINvEsb}pmH?KZYN~Eyc@pnH?k^iLNF}bSq?Gt[^qLZGCbWq?gt{`AKFGMbEq@gokWaOZEIcCp`h@[UIOND]cCqAgkK_qJJGOasqBgk{TIN^DSbwp|GjK^aInD[bxpUg}{RiMzC{bmpvgf{]AIBDCbnpwGg[]IHBFcaJpEG{{PiNRC[bupFg|[OYMfCAbip@Gyk\AF~CGbgpsg_K]IE^Fc`gpxgY[]aEjBWbuotg|[KIMVFI`aprgXk[yEVFK`bprGXKJeDnAz`]ooWV{HiOnA[cLqCgQ[HYOjAScMoeHBKUiKvE]avp[GrkVQLBDqbQpgglkVYHFDwaQp]gc{VqHRE?aUp^gd[SYFfDM`|pQG]kTAFzDI`{pRG]{MYKrEM`spcG\[MqKfBobJozgqkJIG^AsaHoig`[IqGjAoaGojg`kQyC~Cq`OpKGS[RQDJCw`SpLgS{qW?e?T?G_COAg@S?e?R?GmZvMZelrixp[um`VNjf|sEyF\?iKtEib\Pqg|S\iPtFycDQEhHSaiQtHic|QahTShlquwZ[tmIvFZck~u]zNdfur|Y?oiwUkJED^Ar`UofwSkIEDFAh`RodWQ[HeCnA\`LocwQkH]CvA\`KrfxrKyM[vM`fMrlHq[zY[jMofErmhqKxY\rMqfFrjHj{uA\VLafSrVHskyYZNMmeqrThp{tQ[nMQehrUHpkti[bLOfIrVhfKsIZNL_e\rWhfksAYzK}eqrKXd{quXnKreYrIhv[zAXNMqeRrIHukqi\rKgfZrEhskyqWzK]fRrGHtKqQ\VMmePqIhlKuqPjLicUr[hD{vAPbLmcXr`h`{pQ[FKUfDr_HbKwQWbKQfCr\h]{vaVrLyd|r?HnknyZ~J{eyqyhmkmqZnJme{q{Hn{nIZzJse|qshsKxaUjM]dmrehY{la\FM[dlqnhd{kAXjKodaqnHdkkIXnIyeXrPHS[iQYNIeecqiHh[iqY^Iieer_HPkgy[FIOfAqdHo{hI[VMGdDq^hlKuiSBLkd@rZhOkvISRLodBrNhN[sARjH{e`q[hf[raRnHwe]qZhh[sYRbHkefrPHL[eaYZHeecqUhiKeIYrH[ehqXHj[tYQ~LScoqLhckbaW~GyeOqNHc[piQBG}eMqkHW{kaTrIqddqjhXklATnIsdfqdhZ{haVBIYdpqfH[kmaTBJedNr?hG[oQQJKEcbrAHHKcqWZKIcdqRhB{aAQbGachqHhIkaaQrGccj_Ao@W?{?Y?N?ErFxcKqMWvKdeMoBwAK@M?j?X_JoHwD[AE@F?d_SoJWD{BE@f?t_Z_EOAw@k?m?Z?KhCsayPTXekxUVjKTeyrUTvI|d^qoXWkkMPBG^cQqGxDKa]hpTDi`TLyfTSehxTFi_TRYftSmhTS^iPTHydDQEhXSXiQTFYdtPmg`Svi[TCy`dR}g\S|i_TDyfTPUiDRthzTPY^DS]ftTHh~TRY^dSmi`QxifSmyidJuidQ~ikSoyitKEchSphJTKYRDRMc|StiYSfYeTHmgXQDiJS^yaDG]g\QBiIS_YaTFui\PdiiSYYiDE]idPjijSZYjDE}hHP@iRSOydDCUaTSngbTJYHDQmg@Ohi@SIy_dAugLOngXTAyEDOe_PRngDS{Y?dMe_LRjgFS{y@dMu^pSXf|TEx~dPu^|S^iPS?y?DQE^`RtfyS~y]s~]ftNlh{R{x|tNu^@S@fpT?x{dOU^LSFftTAx|DOe]PRhfdSyxxdMu]\RnfhS{XyDNMfLOdhqSHyBdLu_|R^hpSGY[DAMcPRPhDSsyPdLUcdRZhGStyPtLebhQrhUS[YMTJUdlPvg{SjyNTJEd@PLhPSRySdDEdLPRhTSTyTDDU_`PXgmSCyBTDma|OTgpSDyKD@e`hNTgZRtxzDBe]tOzfnSNxzdBu\xRDhdRpXvtK]]DRHhfRoYXc{[?Q?H?Cm\vNJfliIs~Y_lQUgzSM^~Nxf}s?x~\?E\zM~f_roxw{{UsPXzlDU^ZOtf}sXY@lAUcZOTg}kdX|l@TbYqDf}rtUNjIU_ZOdWmqLXdkrUNzHDeMqHXfk_UXZGTeMsLWZlCUFZQDaUsTW^lEUGzCDg}mxXvjhU[YzDfemhXrjlU\ZLt\]mLXhjcUYYxTemmXXjkuTsZLd[}r\UnkwTkZMTZMrhUtk{TmZMtZ]qlWfkkUIZDTdmpXX\kWUWZDtd}nTWrjuULY|tb]n`WxjyUNY}Tbmo\Uzj]UCZAt[Ml|WRkKTpZAd[EqTUbkeThYstc}lPXPjUUTYtTdMj|V^j?TwYoT]MkHVdjsTaYot]]oDTrkAT\Z?tV]oPTxi}UBYnT_mjLVvisT}YlT^mjXV|k?T[Y~tU}klTZjKTVYrTT}l@T`iqTfyrdUK?]?J?EvQJb|sawv\ImKvQjcLpYyN[[mbvGj[|qQvR[eltvIJ\lnAxZ[ilvv@jglrqwJ[yl~vNj_LoayB\Am@urjW\kQubZElhuqJYlkqurZIlju}JWLjavvZ{l^u{jU|nQtzZul\uujT\lqtZYmlnukj[ljQvBYolpufjd|iAxb[qlPvLJSlratR[ulRvAjQ\oqsj[MlJueJaLhqwjYYmHvVjsLyYyz\_nTvgjj\yayr\anQv^JpLxI{J]Im~vcJo\wq{N]Mn?vYjm\uQzb\umvv\Jk|vazR\ymuvRJqlsy{n\OnKvSjr\tY{~\SnMvsJtl|I|^^SnWvtju\zY}v^WnYvmJwlzi}N]{ncvnjx\{y}F^Kn__?j|D|s?H^inn_@J|d}E~C?Envvx_?t~M~G?Anw