CAT(1536,12)
Lcf code:
[567,-229,11,-523,-183,-575,-211,-477,763,435,317,-575,145,-11,-479,-705,-489,171,443,-267,-91,-133,-157,-711,-555,149,327,-373,-167,229,-219,139,-145,39,-215,397,537,-447,519,205,-67,-595,617,-525,-125,677,599,-481,607,-449,275,-271,-613,-663,83,27,-567,435,227,361,-147,741,-607,-279,71,211,105,503,729,-417,-591,-603,-39,315,-205,-279,365,-231,-691,313,649,-163,-27,-639,-609,625,403,-385,703,-333,217,169,73,391,175,-283,-373,-459,-333,553,-419,-589,247,555,305,-211,-607,513,-701,-711,57,-183,757,613,-163,-199,517,527,-209,-557,639,445,67,745,-481,191,517,-173,755,-497,729,639,-537,191,277,-71,-639,-83,305,279,-265,347,13,21,-391,-563,-749,451,-157,319,551,-573,665,-675,639,-13,445,-145,323,-617,-281,-437,-575,-277,-21,-73,-179,-57,-673,-577,-139,-105,-279,-247,-149,625,633,585,-459,-415,-637,633,467,-457,-543,635,721,-365,-171,-67,-257,27,-421,-761,755,-641,-259,-203,-591,505,345,717,765,705,11,-389,445,-639,-523,451,495,-759,-699,-275,739,-11,-577,-569,-27,99,369,-261,13,-415,-717,729,767,-603,577,-425,-273,649,619,227,193,-13,-573,693,-639,355,697,345,481,651,-205,485,419,587,185,577,-427,-719,207,481,-447,11,579,-765,-229,-329,-169,-513,413,-587,693,-643,-11,-571,-763,-175,205,759,655,-677,-465,-497,-211,749,-623,217,521,223,75,89,631,-227,421,-367,-719,-379,615,357,421,-391,529,-719,517,37,-567,487,79,-609,591,91,195,-463,421,-217,-611,523,585,209,279,-555,187,409,-191,-719,-99,-755,-543,247,-535,319,-191,-275,-449,-317,527,553,751,315,385,303,-37,515,665,245,-377,25,443,283,293,-395,95,691,-495,163,739,-247,-493,705,-589,-327,489,157,-433,-75,405,419,747,325,737,-593,-25,727,145,69,295,739,333,79,-89,649,369,-639,119,-717,-707,-79,201,307,149,13,537,-697,-571,577,-315,-527,619,-419,-313,327,-91,-651,-13,-527,295,-555,-609,-457,-407,275,-419,537,-557,-431,719,-305,575,-277,-559,193,633,577,621,699,-279,293,-361,741,-671,455,-551,569,693,-193,-539,571,157,467,-397,-185,-637,583,-69,565,675,-95,275,-365,571,-305,-435,-593,573,155,667,59,-79,145,323,17,475,587,661,365,703,-207,-227,-443,293,469,403,-639,355,85,-319,75,-17,639,757,449,-633,-205,301,291,-757,-493,203,-323,-715,-645,-391,729,-605,487,-347,-403,-741,249,-435,-711,-751,-119,-217,193,291,-195,373,-187,-763,667,-223,-743,11,539,-59,271,-163,-145,-157,323,507,677,-661,-11,753,269,-209,719,85,117,-619,741,121,-649,373,-741,573,-149,-751,-651,675,685,665,119,83,437,391,599,405,-713,-75,-345,677,405,149,257,313,701,-85,259,673,-575,707,-519,-733,621,301,423,79,67,49,187,-445,-567,-247,613,-503,415,177,-537,87,-683,427,123,233,643,529,-201,-245,617,517,77,-345,-157,505,-369,-651,-279,453,527,-355,679,-145,545,-451,-615,145,-445,-155,667,517,-729,-193,-85,-667,713,377,-615,59,-49,-707,65,595,-719,139,13,-513,-83,593,463,-283,323,745,-661,609,349,-67,235,-13,-517,-731,-293,-303,-681,-673,217,-117,-79,-319,-517,-527,-599,-315,-121,-357,-467,403,-445,-553,763,429,-607,-119,281,-555,-617,-451,-87,-77,-295,-743,-419,357,83,313,37,71,-59,567,-737,157,-413,163,469,-275,475,-65,393,79,-203,-685,641,-325,689,-307,623,-193,105,629,-295,181,301,-703,-149,291,99,-123,-551,45,-333,-505,-495,-37,-421,201,343,-625,107,-293,-421,739,-275,291,-385,685,-767,-327,165,-677,-481,-409,371,-613,-421,301,-649,-485,499,631,195,-481,289,461,17,239,471,-249,-71,403,-369,329,-145,-749,-45,269,-177,-83,609,-187,319,-17,-293,447,-139,705,-639,85,-79,-585,-405,683,401,389,561,-291,615,-639,-763,153,365,143,-323,395,-301,-419,523,-271,259,329,-443,591,449,-487,713,-269,-291,457,-703,581,-639,731,739,-105,-729,-99,451,-625,-521,-741,73,363,-577,-257,345,625,-633,395,-233,-259,-517,-633,191,433,-665,-107,471,-635,-355,-365,-529,407,439,-577,77,329,613,649,-157,-523,261,-587,-579,-323,499,557,-163,249,219,625,-489,461,-85,705,233,711,355,-515,-619,343,217,415,-527,-217,533,481,-729,653,-301,643,-313,627,81,-235,-403,-745,-757,421,655,379,-373,615,-181,-73,401,-455,523,-649,183,-553,-755,253,391,-165,171,51,621,257,627,381,-591,-651,-585,369,225,-467,579,507,-373,451,427,-77,-615,257,-721,-705,-201,561,375,149,231,363,-631,249,-143,-717,187,409,-537,-449,691,443,-153,663,-655,-195,-475,-693,-391,-469,749,711,491,189,-697,-281,-51,201,147,-537,701,541,583,-81,-405,-323,-755,545,11,-405,-739,-729,263,393,-693,193,437,381,543,-11,223,-577,403,575,-765,761,93,169,113,575,397,-487,613,-437,-239,-349,385,639,-313,595,259,-423,-575,-415,-377,759,-291,441,607,-577,-767,-569,481,-301,497,485,405,-571,-665,-565,-427,603,555,-191,-291,47,-619,235,609,357,-571,675,591,523,-269,-583,-573,49,-507,-649,-357,-289,567,-749,433,765,-301,-759,673,351,639,417,607,-691,-621,399,177,-259,763,-587,717,129,-453,-539,-633,589,699,191,245,-343,-403,525,-47,-705,25,-171,341,-219,-149,-93,489,-183,99,477,271,719,-49,-217,479,-319,-329,-393,131,441,191,617,637,-233,-751,-25,-429,-113,219,-463,-739,-147,-249,641,391,-727,-505,-261,373,-371,361,557,-737,755,-517,481,-573,639,719,-187,-747,-739,-529,-639,-329,719,-675,573,-667,-699,-661,563,-693,-527,-517,-225,575,395,-189,447,-719,577,129,51,537,677,39,719,639,449,-253,-365,-169,-599,-201,-545,591,-231,-403,-469,-257,133,59,75,-193,-345,361,-475,-389,181,-329,643,277,603,-703,-741,-257,-99,-249,-401,-363,497,85,-667,-395,-39,-129,459,577,119,543,75,481,-621,-51,-613,173,569,161,-223,123,417,57,373,623,-677,149,305,-343,717,-461,117,573,-617,-665,225,-447,-355,-395,-131,707,-59,-675,-471,-595,587,23,-729,-593,-177,419,-263,213,-685,523,-643,-677,697,-75,281,-673,609,-757,-499,-407,571,611,-449,205,-23,-609,385,-567,-719,-191,-259,149,259,-235,-57,-457,49,-433,-451,-379,-701,-75,-85,459,259,757,-129,373,437,93,457,-707,-439,-369,-741,567,-191,-415,-667,-753,639,-381,-679,763,-391,-363,-401,751,651,-133,117,137,513,741,-375,671,267,391,-471,-421,333,177,555,-119,-245,-49,743,589,415,333,-523,715,-219,-461,593,421,229,63,-123,187,-623,543,497,-117,271,751,711,91,279,-629,-713,535,741,119,-641,609,-561,-409,-427,211,279,637,147,51,-499,-181,-271,-481,425,-381,-149,447,415,465,-161,219,283,-393,69,571,389,-451,-93,215,-173,183,365,427,-609,733,639,-631,-385,141,713,-443,-403,-357,-397,-745,-63,-581,645,-591,-689,633,463,145,555,105,231,-351,-615,557,-51,495,593,559,-533,661,-149,493,117,-557,-437,167,527,-117,-341,157,-523,-685,-405,205,527,-507,13,551,-91,265,729,449,649,281,-763,605,651,-69,-137,-13,277,145,133,539,-491,-225,683,279,211,-441,-213,-625,719,13,-277,-399,391,731,-205,619,-613,707,-119,209,379,-683,-13,147,11,-417,199,-739,163,125,367,743,-361,433,-433,-11,247,-705,183,91,329,-625,-373,257,-177,-561,737,259,275,651,-481,667,-579,-649,457,-147,-391,-485,395,-541,-105,163,767,-615,173,-627,681,273,-497,-545,261,377,-187,-305,-713,673,661,-259,-543,-643,-141,-281,419,67,-621,-117,431,-653,-361,-259,575,-441,-627,-395,615,419,493,179,-145,-731,-655,157,-583,703,203,407,615,749,-739,685]^1
Sparse6:
:~?W?_?_?_?_F?C_D_E_O?I?J_L?N_K?M_X?O_Q_P_m?\_[_`___^_]`E@C?z_y@D`@?~_}@?`B?|`A?{`E@F`H@J`G@I`P@N`O`N`N`O`O`K`M`L`_@[@\`Y@^`Z@]`Y@Z`\@^`[@]`b`_`a```d`c`e`f`h`g`j`i`l`l`k`k`m`n`n`m`p`o`p`oaC@tA@`sA?`|@~`{@}`xA@`wA?`r@~`q@}aB@v`uAAaB@y`zAAaU@V`V`X`W`X`W`P`Q`R`S`U`TamARAUaQAUaXATaSAWaPAVaOAVaXAPaOAWaZARaYAQaZASaYATaNA[aMA[a\ALa\AKaCA^aDA]aFA^aEA]aHA`aGA_a_AJaIA`bQ?u_v_t_s_w_x_z_y_{_|_~_}`?`@`B`A`D`CbXbWb`b_b^b]b\b[bYbZbabbbEbFbHbGbJbIbLbKbNbMbPbObTbSbVbUbTbSbRbQbVbUbRbQabaaafaeacadakalajaiahagb\BBb[BAbDBZbCBYb^B@b]B?a|BXa{BWa~B_a}B`azBbayBaanBEbFAmatBLasBKarBIaqBJaoBGapBHauBNavBMbPAxbOAwcq?n_m_r_q_p_o_n_m_p_o_r_q_b_c_d_a_f_e_h_g_j_i_l_kbFbEbGbHbJbIbLbKbNbMbPbOc}c}d?c~c~d?d@d@dBdAdBdAdJDCdIDCdPDFdODEdMDDdNDDdKDFdLDEdQDGdHDRdTDGdHDSdJCpdICocnDOcmDPdNCndMCmdLCldKCkcpDRcoDQdTCldSCkc`C|c_C{cfC|ceC{cdCzccCycaCxcbCxchCwcgCwciCzcjCycRCqcQCqcHCtcGCscrCLcrCKctCJcsCIcuCNcvCMcuCOcvCPb|CTb{CSb~CVb}CUc?CXc@CWcBCZcACYc\CDcCC[cFC]c^CEbpBcbdBobrBlbqBkbtBnbsBmbjBvbiBubhBxbgBwbfBzbeByeo?s_t_u_v_w_xdzEidyEjenEDemECelEBekEAe@Ene?Emd~Ejd}EielD|ekD{dmEodnEpdxEtdwEsdvErduEqdtEsetDsepDreoDqdpErdoEqdbdadhdgdfdedddcdjdidldkeRE^eQE]eZEheYEgeXEceWEdeVEbeUEae`ETeSE_efE\eeE[dXEHdWEGeJDZdYEIeKDVdUELeND\eMD[d^EPeOD]d`EEd_EF_X_Z_Y_Z_Y_X_R_S_T_U_V_W_h_g_j_i_l_k`e`f`h`g`j`iabaaadacafaeagahaiajakalgCgCgDgDgFgEgEgFgHgGgHgGgNFqfqGMfsGJfrGIfsGLfrGKgTFvgSFvgQFugRFtgOFugPFtfwGBgAFwfzF}fyF}fxG@fxG?fzG?fyG@f{F~f|F~f|GBf{GAfBGJfAGIfLGKgLFKgRFJgQFIgNFHfGGMgPFFgOFEfDGTfCGSfZFffYFefdFpfcFofbFjfiFafnF`fmF_fhF^fgF]f\Flf[FkevFXfWEuf@FVf?FUfPE~fOE}e|FRe{FQfNEyfMEzexFTewFSgdHThSGcgfHXgeHWglHYgkHZh[Gih\GjhRGbhQGaghHUggHVgrHDgqHCg|Gxg{GwgzGvguGygtHBgsHAgpG~goG}h@Gnh?GmgZHFgYHEg\HNg[HMhJGWhIGXg`HLg_HKhHG^hGG]hPGVgUHOhvhui@i?h~h}h|h{hzhyhxhwh^Hth]HshrHhhqHghfHnhmHehjHdhiHchbHphaHoh`Hlh_HkiAIQiRIBiLIXiKIWiIINiJIMiHIPiGIOiVIFiUIEiTIDiSIC_K_L_L_K_N_M_M_N_J_I_I_Jeiejelekemen`\`[`^`]`Z`YgXgWgZgYg[g\g^g]g`g_gVgUjFIrjEIqj@Irj?IqivJHiuJGivJBiuJAi~ItisI}isJCitJDi~IjiiI}ikJGilJHihJDjCIgjBIfjAIeipJFioJEj@Inj?ImihIwixIgifI|ieI{ijIziiIyilIzikIyixIniwImioI|ipI{i^i]i`i_idiciZiYibiai\i[_[_[_\_\_]_^_]_^_`_____`_y_z`D`C`B`A`@`?_~_}_{_|aRaQaTaSaPaOcHcGcLcKcJcIcRcQcPcOcNcMfNfMfXfWfVfUfSfTfRfQfPfOkjkikgkhknkmklkkkdkckfkekXKckWKdkbKfkaKeklK`k_KkkhK^kgK]kmK\knK[kZKjkYKikRJ~kQJ}k@KVk?KUkDKRkCKQkBKUkVKAj|KTj{KSjzKTjyKSk@KEkFK?kPJ}kOJ~kBKIkAKJkCKHkDKGkNJ{kMJ|kLJzkKJyjVKXjUKWj_K[j`K\kbJ^kaJ]kZJ\kYJ[jZK^jYK]jXK`jWK_jIKHjJKGjTKLkKJSkPJRkOJQkNJPkMJOjNKJjMKIjLKFjKKEjbJnjaJmjlJtjkJsjjJpjoJijxJgjwJhjvJfjuJejdJrjcJq_F_H_G_H_G_F_R_S_T_U_W_V_a_b_d_c_e_f`t`s`u`v`x`w`z`y`q`r`|`{abaaaeafadacagahajaialakdUdVdXdWdZdYd\d[d^d]d_d`iBiAiLiKiJiIiGiHiFiEiDiCmVMzmUMym~M`m}M_m^N@m]N?m{M\m[M|nDMYmZNCnBMXnAMWmOMwmOMxmPMrmPMqmRMnmQMmmpMRmQMomTMvmSMumtMTmsMSmfMImeMImgMJmhMJmlMLmkMKmjMLmiMKmaMNmbMMmNMdmMMcm|Lxm{LwnBMAnAMBm?NDm@NCm}L~m~L}l|N@l{N?lzMzlyMymWLllkMXm\Lvm[LumZLtlsMYlrMVlqMUlpM`loM_lnM^m]Lml_MCl`MCmHLjmHLimGLhmFLgmDLfmELeldMGlcMFmELbmDLamrLTmqLSmuL^l]MvmpL\l[MolZMxlYMwlXMtmsLWmmLVlUMnk|Mjk{MimhLFmgLElDMllCMklBMfmeLAmbL@maL?k~Mdk}MckoLPlOKpkzLLkyLKkxLHkwLGlNKvlMKuktLJksLIlRKrlQKq_D_E_D_E_C_Cbpbobrbqbtbsbvbubwbxbybzb|b{cFcEcDcCcBcAc@c?b}b~bdbcblbkbjbibhbgbfbebmbnpRO~pQO}pVPBpUPApYO{pZO|p@PXp?PWoyPSozPToxPPowPOojPPoiPOofPToePSonPRomPQpXOhpWOgolPZokPYpVOppUOopJO\o[PIpDOZpCOYo^PNpMO]odPHocPGo_PFo`PEpLObpKOaoTOroSOqovOPouOOotOVoUOsotOXoWOsoNOqoMOrovORouOQo@Ozo?OynxO|nwO{pAN|pBN{owNvnuOxp?N~n}P@nzO~nyO}nFPLpKNEpMNNpNNMpJNPnOPInKPFnLPEnHPHnGPGnJPDnIPCneNpnoNfncNnnmNdnrNbnaNqn^Njn]Nin`Nln_NkngNtnhNsnVOBnUOAn\ODoCN[nZOFnYOEnTOLnSOKnROJnQOIoHNXnWOG_a_b_d_c_f_e_h_g_j_i_l_k`Q`S`R`P`U`T`}`~a@a?aBaAjnjmjpjojrjqjtjsjvjujxjwrNRTrSRMrVRMrNRUrPRWrORXrORZrYRPrQR\r[RRrQR]rRR^pmQ{pnQ{plQ|pkQ|q~Phq}Pgq}Pjq~PipoR@ppR?prR@pqR?rAQaqbRAqWRBqXRBrDQZrCQYrCQ\rDQ[rFQ^rEQ]rEQ`rFQ_qLRSrTQKqNRVqMRUqPRXqORWrZQRrYQQr\QTr[QSr^QUr]QVrGP\rGP[rIP^rHP]p`RIrHP_pbRJpaRJpdRLpcRKpfRLpeRKqdQpqcQoqfQrqeQqqhQsqgQtqiQuqjQvqxQlqkQwqnQzqmQyptQ?psQ@pvQBqAPupxQCpwQDpzQFpyQEp|QHp{QGp}QIp~QJsyClckcncmcpco_t_s_v_u_x_wkpkokrkqksktkvkukwkxkykzszTFsyTEtIS{s|TJs}TMs~TNs~TPs}TOs|TLtKS{tHSytGSzs\Sss[StssS^s]Sts`Svs_SuswSdsxScsfSxswSesvSbsuSatHSDtGSCtLSNtKSMsLTNsKTMsJTPsITOsHTFsGTEsFTJsETIt@Rat?RbrdTDtCRcrgTBrhTArjTBriTAreT@rfT?r`TDr_TCrpShroSgslRnskRmrrSjrqSirlSnrkSmsrRvsqRurtSprsSosPR|r{SOr~SXr}SWrxSZrwSYsVSBsUSArzSTsSRysRS@sQS?swsxstsssvsu_R_S_U_T_W_VuBUYuAUZuCU]uDU^uFU\uEU[uZUHuYUGuJU\uIU[uLU^uKU]u_T\u_T[tRU`u`TQtTUbtSUaubTVuaTUtWUducTXudTYucTZtvURtuUQuNTzuMTytxUPtwUOuTT|t{USt~UVuUT}u@UXu?UWt]Tnt^Tmt`Tlt_TktjTbtiTatdTotcTptfTrteTqthTttsTgvPUfvOUevMUiujVNvLUhvKUgulVJukVIunVQumVRupVSuoVTvBUtvAUsuxU~uwU}v@UvuuV?vDUzvCUyvFU|vEU{urVHuqVGvZVfvYVevVVbvaVUvXVdvWVcv\Vhv[Vgv^Vjv]VivlV`v_Vkvm?@Vn_BVpVr_AVoVq_@VsVtvx?BVvvw?AVu