CAT(2600,3)

CAT(2600,3)

Lcf code:

[-1102,211,-746,114,1055,467,342,-368,1088,-710,1082,-716,-391,-252,-722,-258,1150,-55,-847,-1055,157,-714,1095,157,-214,261,-220,7,-226,-53,895,-789,-932,1060,-7,-101,249,786,-571,-103,965,-301,685,659,84,1138,86,1061,-232,253,1132,-1158,-1082,-1060,603,-715,-1088,-626,-721,7,-632,575,280,-913,609,-972,-7,173,-1061,651,1232,167,-145,952,946,676,-829,-1095,201,940,1089,-131,1083,289,-131,-127,1199,83,77,-312,429,1195,-1297,-896,-967,-704,936,309,734,-971,338,734,340,-213,-758,1137,1131,670,-764,-269,-310,-770,544,-411,-294,-861,-575,-114,356,-1212,-1218,248,-762,1193,190,-1083,-1150,602,-84,-1089,-734,7,-86,972,1110,-837,-544,-603,-7,-740,932,391,-1132,-1138,-744,-482,-973,310,-1222,-248,-486,1081,-248,-609,-469,-931,200,713,-835,368,-339,875,-384,-339,-335,-77,-333,967,971,-274,-83,55,-213,1255,-943,19,-215,-157,13,7,-157,303,-659,482,486,-214,-7,-212,-794,-800,913,-13,-1081,817,-19,-460,-963,-1131,-1293,1267,-651,656,-1137,-800,-1110,469,672,-685,-804,-602,19,847,-211,973,13,226,7,228,232,236,240,98,411,-7,-451,1205,-55,-13,-334,-19,-824,-676,1098,-340,-883,-307,-508,896,-167,193,-173,-905,1217,267,-911,-1199,-1195,261,508,255,-378,-444,127,1264,1274,460,-448,-670,7,-940,301,-275,-1232,682,931,-7,-955,-458,-401,-456,37,943,39,963,-944,-329,-1193,258,-329,-201,586,252,789,542,-921,-249,-261,829,-927,-933,-1098,1198,-939,451,861,1196,746,312,384,1254,1192,1248,-253,-786,-490,-542,39,-37,639,675,-422,-39,-734,-982,-190,-734,-957,-948,145,-98,310,-963,226,38,42,698,220,444,448,458,214,672,722,456,490,716,232,-656,837,710,294,339,-280,605,339,-39,-586,714,-342,335,-713,955,553,333,-1030,1297,-200,-879,-672,940,269,-38,-885,835,1030,-1022,-42,7,107,-248,944,982,-289,911,-7,647,905,721,-504,-127,715,770,1134,1022,764,-553,758,401,-1255,542,-1205,883,378,939,504,1146,933,1140,963,957,762,927,-461,921,630,-895,-309,-953,422,948,213,-542,-959,340,334,274,-1019,-965,-1025,-1217,-971,248,-951,7,248,-682,-1267,-639,-605,800,-7,704,-193,1025,794,583,734,1019,-338,740,744,-226,-340,800,804,-228,824,145,307,-1198,-232,-1196,-1192,1158,101,-236,103,-310,1102,1096,-240,461,1218,-145,-675,1293,329,1212,632,329,131,626,-467,131,-356,-107,-1134,-1264,127,213,7,215,55,-672,-303,-965,1222,-7,-1274,971,-817,214,965,959,953,212,53,-1140,-583,-940,-946,-1146,-647,-698,-255,-952,275,571,-261,-1248,-267,951,-936,-1254,-630,-1096,-875,885,879,-429]^5

Sparse6:

:~?gg_?O?G?C@o?l?W_KoEwA{@i?`?R_IoCgAK@Q?Y?M?FoMoEkBe@l?v_\OMGCcAM@L?a_QoHwCSA]@F?c?coH_G{ASAP?I?MOAoBk?g@@?`?EOB?Bs?k?~?L?MOBoBkAC?\?N?NoB_BsA??Z@e?qoY?K{EgBR?V_KOEWAs@m?t?}_\oNWFcCA@~@l_uO[GL{EmB\@d_roYGLSEeBL@a?mOW_J{EOA|@c?oOWoJkEKBB@X?jOUOI[DgAh@W?loToJ[DgAj@F?moQ?J{DwAR@[?dOR?KKE?AVAZ?S_eGDWHi@[AV_U?dWRGAi@YAU`U_JwECBQ@d?p_XoL_TkB_D\Ap?[ok_EkI{@t?v@WOYwL_JeBZAz?voZgM?JuDQ@i_q_igT?EaBQAk`R_XgKwImAZ@M_foSWISDAAABD`b?PWGOK]AEBG_a?qgXGCYDDBP@PohgSKISEhAc@hoJGDSAy@Z?h_ToOWGkCIAF@E_aOCGAc@E?f?T_HOCGAK@U?d?S_Ho\wNCFqBv@x_|Ozw]KNAFdBr`yOxG[kMYFPBb`royW\[MiF\Bk`uoto\{L_F`Bp@mO|?ZSNGErBZ@xosgYcLUEbBU`hooGWSKMEHB@`^ou?VKJgErAz@lOn?Y{LoD|BZ@]ovOU[LwDhB^@Yow?UsMGDpB`@ZobgPKGiCVAL`EO_oZkGSE~AE@oO`?[KG[FDB]@CO[gM[FYBb@s_yof_TSHkDPA[@SohoRkH{DVA_@UOpOTkKWD\Ap@bok_XCJ?ETAn@co^OSSGCDFAc?~O^oSKIWCDAd@?Os?NSFcE^BM?zo]oXkFoEV@w@ePUoisT]IjDXalPUG[cMMFJBe`royG\KMiF\Bl`uOywQkHYCrAV`KOegQ_U]C]Dgat_cGl_HECcDhat?cwkGUuJCDqap`Zgk_U}J_Deaq`[WiCS{J~DQb?`SWicWKIfEV?Co@w@C?]?P?H_CoAG?{@]?p?X_LoDgBSF}Bz@}`@O_GOKPUGnCUaKPCwacNUFlBv`{O}W^SZwLnEubXPkwucZULLEfbSpiGt[YiKbEQbHpdGqsXUKUE_bO`bGsOWuLEEMbF`hWs_XAJ~EAb?p_GocWMJrDya|p^GnsVuJnDsayp[wnCVYIxDZanPVWkCT}LKDOaf`hwiGYeIcEiai@iwt?TMLWDBbV`PGtgSUL[DEbW`QGu?S]KaC|a_`dGfoXUH}EQbJ@Ogg?XMHmEYa[@ewr_RqHqE\a\@fwfWXyKmCjbK`KGrGQ}KoClbJ`Jgr?QqKUCXbE@EgpgPmK[C[aN@cGbgW}GUE^aB`eg`?XyGWEZaC`fW`OXqGLCBa@P@W_KOQIQD`ad@WghWUMIYDdaf@Xgh_UQGeDlaI@ZgaoU}GiDoaK@[gawVEPkErbYPkgukZ]LlEkbWPjgtkZEL^EdbPPgwscYALBEHbCP`gokWiKNG{BBQNOokbwKNG~BDQOOpCc?KRCOaEpCWaSO}G\DfauAUglCUeJUH\atAVHE?TUPaDWajAKxEgTiPcDVcY@UWeSRYHbCsaXpLWcocQHOHFc`@HXGoQiHMHDaSaOwbweYRMC_aOaYxL?QIRSCccs`Gw^[NqFzB}`~p?G]{NUFlBy`{O}XI_faRyHXcjA]hIwfmQiHxckA^HNocmR}HHd?ARXH?gMQSI@d@ARHDgbiPkGmc\aIhEwa}PUGxcUAMHU_Ay@T?h_UOIwDkWYKJEFbCpagpCW}K`EJbEPbWpsA}@b?o_XoLGESBm@z?}_]OOGF{DuA|@^_ooWGJcHaCjAV`KoegQsI]DPAh`TOjGT[TyIxD^ampWGj[N}G@B{`|o~g^kOEGFCCaAp@g_S`iOpGXcLqFXBc]aNRFibupzG|[\qMzF]bopvw{CZaLrEzb]PnWvSmkVjJkDwq{@\SmsVhJnDxQz`][kWUdJHDiQqpY{kgUlJTDbqq@Y[kAUFJ@daqpHWSjiTzIzd]QnxVsl?TxJND\Qr`Vsj{UZJKD\qsPVkjSWRIuEDQmP`[jOWZKKD[Qlp`CoGT`KBDVr@@UKoWTfKFDXR@PTsigUrIlDmQj@ZklkTPIjDlQiPZCkwSDH}DeQ^pXkgKUbI?DgQ_PX{fOTLHqDPq[pScf[TJHtDRq\`SSmORXJfCwQxPLse{VPJhCwqZP[se?U|HaDnqw@KKmCRHJbCqqw`K[nWQtJzClqV@]{dsVrJwCnqV`^SdIQ`HNcfQSxIKc_VxHHD}qQ`^sckV~K@CeqR@_CnoQDJ|C`q~`GcoCQJHFD~qP`_Ch{OdI^CHqg@AciCOnI`CJQg@Ak_oWRKKCGrBP@k_wWVGOEDQBp`C_WTFGFDQQA@Sk_cTNIaCDQApSs]{VBFmDnp{@Zsm?NbJbBxqw_}S\AMbFTbhPswyckWMTJFBdpr@XK[sUVFNDcQq_xs[OSrFDDLQf_xK[[SvFEDMpq@RcggRLHgDEQXpP[egS^HjDEqYPPsf_PHGdC{qH`NSa[RvH|CSqI@NcbWOrGYCZqEpFC`_PrGzCMqF@FSbSODGrC?q@PEc_OP`GpC@qK`?CdSNhHWBzqT?}kd[NlHXB{P}PIsbwNVG{BtQNO|kb{NXFhC_py@GC`wL|G^B^qG?wCaCMBFBCPpo`CSZ_PTEzCUPm`DsZsPVExCUpn@D{{wWFKCeBr?h_koYVlJvd|Q}X^CnmV`JpdxQ{x]knQVXJidtqzX\{myVHJgdqry@[smc^NJfFrQuhZ[laUrJ\dmQshY[lUUhJVdjQoXWSkAUFJDdaQeP~[~gSvI]F}QfP~k~_SxNxDLQd`}S~KSnNuDJr|@RChW^nNtDKQiHTSimTZIhdUQjhUCjETfIqdVqlHUkjYTnIxd[PtgzK\aMnFZblQd@z{h?]tIPFlqc`zc|sSjIRFnQ`@xsgS]^IEFgrs@O{gc]fIGFhRq?~k{cN|FyFdP}px[^{]ZF{FePxAAk][_bOQBpPwqA[]S_`OSBrPvGzk\yM~F`boSAiG@?}_VPAGFSBI@hCQ_kNkgJbzYB?}y_qNngLb{YBO~A`?NbfocFH{@@u^CO]gNbxICG}U]gOzg\BuHyhBq]mO|fkcNxypBycIQ?h?s_iOdGMb~I^dOQgWD{BA@d?p_YOKw@S?q?VA``POgwScIYDJCLaFPBwaKPAGdDUajpUgjCTeIjFbbqPwg{k]]NLFCbbppWws[eMPE~b_PoWw[ZyMDMEfCraxpCwi[NK_ePRGxcKqUXHQ]H_spQRlKOdDQ^H`SpaSDICeFR@HJseAW\HgeLQXHasfAWTKOcvQyG}S]QUlFsdpPyHZS]qU|Jcb|QnGzS\qULJ?blPwHYS\qUTF_dfQpGysjqMDJGbbQoGxSlAMdJKbfQmGtSYqTlEodVPmHUSZqTLEsdTQbGrsXATDI[bRQdGrShALDIWbJQRGySbaMDHGbjQOGxsbqMLHCbdPWGhSUQIdDWatPVGlsVQIlDoafQbGbShAG|ISaPQeGcsQqTDI[aTOmHISKqQtB?chOpHIsJqQtBGcjOKG~S]a@l?gbvOJG}S]Q@|?wbzQMGASbq?lH?_LQPGBsAQQ\HG_PQzG@s?AV{~{dzO@H]R~aWD?Gd|NVGoSWpzK|Sa~NSGnSWPzDEG]lPWFfSUPx|Dg]`NRGmrsaJ\Do]bNAHYsmPws{KdlNCHZrpqVS{SdpMvGssX@utEW\pPfF\SXPvLE_\vMQHJsePq|H_[fQZFJRdARdHg[jQGFEs`PpcxCcLQFFFRcAPLGg[^LsG~r\QOLGGZlQCE{r\qODGKZpLgGtRYQL\EoZTPlEtsZpldEwZZP`EerQaJsska~LKGoRRqK[swbDKYH?s_`b\GKWxQCEMrFqN{pwc@QhEIRDqTdIgWjKXHUsj`bDIkWlOgGYSLaDLAg`jOjG[sJQFDAo`nN_FWRkP{KzS^HMqFprkp{kzO^DMWFQrePscyW[tMZFRrfPtKxo\PN^FDrv`pKwW]tMFFlra`zc|s[PM?GMR_QBkwG_|O^F@sG@ocwS`BLyFTR]pt[vo\XL|FUr^pt{vw\\LnE_RN`lsv?X~LrE_r[`gSsKZbM]EnRg`kKt{\BM^EoRV@s[ts\@OOEjRUQAT@CYnLWGHsDPj\@OYtLOFrRypictC^NNgEiryPi[}gYdLCEpRP`k[uOYNLdEarXphKuWYPKwG\RMQF[rg`xKzG]rNQF{ro`|M{EXRnPe[zwXhM~EZRoPe{{?XjNGEORqPcKqO]TKbFeRG`xkqS]VUvH^SmyV|JqdzR?hOsfYRtH}dDQ_hDsayPdGqcZQLhCDniOhZucKU~hCdoIwPG]mAQIgesRIHtC}abPOg_SOiG\CUaBPCgPSGyCdAU`NOegJDuyAx\}mwOYgKDvizh@m_qV_jab}Iwo~e^sVGj`b}yww~umGN{fydkh}xZMlgNqfxdlh}pZE^gUtjlBzH|h\U^]VUjjbziz?~EmqNojgBJHdh\EX]VQeWDtIxwrEX[VReRRHq~{qaXQW@eTu?pdTZ_W`KNJ]RBavSpClvUvEHtmPaT`OodWRkGsViJ|EAbBPbgpSXIKlEYbPPhgrsZILTEmbZPngvS\iNDF]b`PrgyS\YMLFIbxPyg|s]YNtFuSnIWdJQjHTKiaTVIldTPdGqSXEKlERbIoLgEkBe@n?y_[OWgKcEMAr@Z_lO@G?s?U?H?D_AO@g?k?YI^DOagpSwicTIHbCqaXpLGesRUMlFVbkpugz[\aP^GjcUqJhDcaiMZFJbdPrgx{[qZ@L[emrVhkKt}WzKYeLrFhb{pqlbUqjXtliulZQscXgKvuYRMDegr\XpKtu[rLdfGrZX\KvuVbMDdor\XpKnu[bKLfKr@XALGuPBQLcKs`X@LGuPbQDcSs`X?KkuNrItbkqnW}KkUUrFdbsqtWwLBUMbPDg[prYHK[UMbP\ggprWqK|uLrNTfopfX|KYU^rElfwplXgKVUKBLdecpXXiKUuJrL\bCrZWpKSuIRDdagpZWnKTuKBD\agp\XaKPuHBK\aSrHWeKquXbDDe[pNWeKOUHBBla[o|WgKNuGbC\aSpBWYLFUbrBD`cs\WZLFuFBP|gwonVxKDt~b@d^goZWMJ}UCA~\_{nzYJJyt}BPTg_nlYHJzu`q}d^KsLVmKfT{bH|]sqZVpKetzrH|^?q\XTJuUTA|LdKnNXRJsUTQ|TdOnVWOJotwb@\]KoXVcKEuBa{l_{nLVXKYTuBEt\gpfWtJiuLqyt\[pdWSJcuDAxT`SmVVMKJTrRAt[oojUjK~tjBNTYsrvX{JVU^auDfsl^URKJtdBBDX[ovUWKMTdRBT`cklULL?TbbOLX?sJUNL@TcbOdXCsFXsI|u\QndfWjzXvI~T_BNLV{rpW\IltTrBtT_o~TXKOTVBCTTgpBXvIgu]QiTTWrlTRK{TTBMlTSrhWQI`TNrAL`KiHT?KHuCag\`CiBY@ILtFBOTPws@S_L@tFROlP{sHSULEUbQbDgsgtYLIKtDRPdgognXOIIUSA`|dGg`SPKhTCbILdCgfRpKcS{bG|NOqTXHHzS|RHdNKqVXUHksubI|LkqpR[KkuUqZtLsqtX[HnuVQ[DdwfBX^HpUWQ[de?fFRUKpssrKTLOrHRTKquXaY|e[epTvKBt]R@DVSoJTuKBT]B@TVgoRThHzs~AlTNkjVTkH{TZa^TUsfrV@IoTVqwTTwl~U|ImtWawDUCl|TJJNtgAhdYCiZUaIfThAiDYKi^TnIat[AgtSgjbTFIxtQAmdScjdSrJ`tpAe|ROmJStJbTMAxDRWmNTbIUtXAdtUSh^TeIWTKalDU[hbSfJftIAyDQcmbSiJhTJAydQkmfS`JBtGapDQKkRUKIRTaaclWkhHUeIEtBatTOklPSHJQtBAtLOglNR|JWs~auTN{lfS?JYTla_TOCljVZHttvA\d\{f^V\Hus{A{D\wf\RdJKsxarTM[kvRiJNSyQrdM_kzV~Heu?AXtK{oBROK@U@AYT_KebXGkbuQjHdcmqRX@k`UOzGdcYqJWzNUUNBtlbs|\W}NVvkRF|z?q@Uvj]TmIvLZilvU@NRt_btDyWkFUCNTViqotyckJSxi\TMyfdRyhzSBN[T@bvdOS|t]zIATABvlO[|rRGNaVqQXTKo}J^EHbvpqX\{_eR^XDKqehR[hqS|I\_yO[WMSFMBj@ucXqKHEKbQPjGqfcRqXxk{i]XNJniFzjyX}m}c^nnifzJ}@|A}a^lndFtjxX|]}o^NnefuJyx{y}k^KnOFwzsh}Q}}]`noFgj{PyM~A]cnsFcjpx}i{e^enqfbjq@}e~M]PnkfOJzPsEyC^ZnmFOzzpsU}y\CmWFuZzprEx[^YmXFuzzhrM}w[nmMFxj{xpu~O[]ntFFzcH}e~I[_leFwZXH}I~?ZGlefxJXX}MuS^^lNFyzRx}qtE^llOFzjSH~AtC^nnCFjJpHyu{S]mnDfjzuHwu|_]KljF\jZHv]um\wliF]ZYhvmzsZWmwFnjmHz}ze^@mxFoJmh{Mzg^AnLFVjrXt}{w\_nMfWZrpuIzE]^mkFRJhptmyY\XmgfVJhxtuys\OmcFLjgprQyM[tm[FQZfHsmxm\ImJFpJax{U}K[WnbfEZxHpm}O[YnXFCJuXpE|g[QnYfCzuxpU|k[SmCfTz_`tIwI\RmBFTJ`@tUwM\Un[E~jvHn}w?]yn\f?ZvhoM|w[AlxF_j]pwYve]Blzf`z]hwQ{IZsluFYj\humv[\klvfZZlxnAz[ZplrFAj`Xm]w[ZhmEEyJ\PouvU[NlfFIJXxqeu_[ilgfIzdhlMxWZQl^E}zWHnqt}Zyl_E~Z^HjuvoY{m~EmZUpvqts]@lZf^ZV@wAz}Yzl`ekjUXkYtiZFl`EkJU`kQuIYpmPEijcXimxGYklVFHzchi}tY[enIEeJqhhe{kYYnJeezRhxe{oY[lHFMjQxruse[zlIFNJQhr}sk[}nRVizs|ya|T]hmqVXzkluYzR\glpGg[SPmFDGZcpPewz[iH}v?a_llWkRZ\lrDeZ\lnwlRZtidDLadLQWhrSmI_tLaiLRuiCTMK?HJCeaRpIGdSQeLpExb\PmwvkZrD_a|pVgn[VyInD{akpUgnkTqJ~DObApaGh[SqKBDMb@pagikWYIfCqbIpLgp{RaKnEKa]pcGf[RQKfCabIpHGq{PiKZC[bFpFgq[QAKbAMb@oagoKGqKJASbBpagQKWaCfB]avp[G[KVIFFDw`sp\g[kVQFNBSaJpBgY[LYGbCW`mouGakLiGfBEapoqGkkKiJNBKasosGlkKyJV@}a@o_G_kGIGNACaCoaG`kGYGVAY_nofGKkIABBAW_poUgR{HYAz@W_coOgH{CQAb@Q_boTGH[DYAZCe_ZpIGFKQi@v?{aUpKGGKQy@~Bm_YoIg\[Mq@ZBo_Vo|GEKNI@f?]`\ooGC[AYEF?_`]oHGV{AaEJ?Q`UoDGS[@qDJ?Y`RoDgTKIi?r?Ea^oAGg[SQ?VDE_EoCGhKSA?^??_wn}gK{E`~z@i^~oZg?kEq?FAm^vokF}KJH~nAs^{omF}kJX~fBv`{o}w^kOEF~Hw_}o[hMKFQRf@ucyq]gNKFiRm~b^qQaV{z}aSY~ldGNyqghS[iQTJIfdRQjhUCi}TbIrdXWyciETLFVbnQgxTC\uTTFXdQPuxNsh}SHI\d@QexOCheSlIFc}QdXQccESlHBdKQPXRSc]S|HJdMQQXACiETHGRdRQExTC`UTTGVcKQgxKcaeRTGncuQKXDSe}RLGrcsQJX?cgeOLIJcCQbX@Sg}S`GNcEQcw~CfENtHrb}Q\W~sf]RtGBc{Q?W{CbUPlFbc[PxXFS]]P|Fjc]PyXCC[uPLFRbcQFWxS`}PDFPcQPrw|c[]LxFnb`P{Wvs^MNhFDbzPoWvCdMQXEpbXQRwucdELtHVbZQTWrcdmK|H\bPQVwsCeERDEZckPeWtkYUX|EfbSRNWt{sQLUapPZgksVYJdDjKWecrEhh[pqYZK]efrGhi[qAYbJ{ehrQH]ksqVnJwegrQh^[nyY^J[eQqvhc{qaVBKidpqxhd{qqVJKSeXrBHf[rAW^KueGrChfKpYXjJOdsqsh\[lQVZJUdvquh][laVbK?dar?hW{oQURKEddrAhX{oaUZIke]rNhT{sATbLAdXrPhU{sQTjIxd\RiXVkyqT~JBfWQoUCJ@\_qoZWMkFxrSzu[pMzfJRnxvCxU\hMRfZRcXoczu[LMtfCRlxpSze[\M~fERmxrcve\HL~fNR]xsCvu[DMff?RgxkCyeZDMjfURXXtsu]ZTMrfWRYXicuuYlLnekR[XjSvMY|LvemR\VuJy||ZNyf~r{I?K~Q^zNwf~r{i?K~Y^zNWfervhy{|i]^N_firvHyK}I]fNcf_roh{{{Q^RNEftrzhx[{a^ZD|a~p]y@tA]_`OhgTSEYDT@]`LORgSSDYBT?M_HO\gBSFy@DAE_XOdgDSGo?TBa`Y?Cg\SJyEo?Y`zOo?@SNyEO?QaFOs?BSO^