CAT(2126,1)
Sparse6:
:~?`M_?O?G?CA_?G?D_A?@g?g?Y@[?D_BO@GEOBE@b?p_[?KgEcBM@d?s_XoOOF?Bq@q?|_\?MwF?BU@m?y_Z?MWEoBq@m?|_\_LWDCAe@T?n_WOJgDsBA@^@U?ToJWDcDo@n?u_YoW_JWDqAq@]_l?VWH_C}A[@I_e_QwI?CiAW@Q_g_QwHwDMAY@T_f?TGI?DMAc@T_g_TGGwDYAo@H_j_QGJGCQAI@Z_l?PgGGDYAo@B_j_OgJoCAAy?}_m?NwO?AU@N?e`C_SwIkDQ@~@?_^OdOP{HEC`AN`GOcWPwHICaAS`G?cwQOGeCeAJ`I?agOoHICOAS`B_cwOgGuCEAM`A?bGOoGeCMAJ`C?agKwFuBK@~_q_^gL?GABSAA_s__WNoEmBY@~_}_ZGLoGAB_AA_v__WKWGuC[@c_p?bGOgD}CE@``A?WGM_F]Bq@u_{?\WNWFEBw@r_|?[gWgAm@Z?k_UOJWD[KwEMBJ`b?rWWgKqEOBJ`d?rGXGKuCiBA`J_pGQoKMD}BI`c?oWXGKAEIA{`b_ngWoJuDJAc`ROeoWSHsEHA[@`ol_VKJkDpAy@ZoioTkI{DXAi@VOhoU[IcDjAg@YOgORCHcDFAY@POk?RsJGD@Ap@NoHWC{AY@J?f_RO}oJKDmAt?}__ONw__NGFpBs@|O{o^KNSFpBv@|O|_^KLYEhBT`uOzW\sMcFjBj@zoy_]sMWFdBg@yOxo][MKFvB|@qo~?[cLsF|B^A?Ov_^{LgFvB[@}ouo^cNwEnC?@ko~oZCK}E`BM`hosWYSM?F^Bp@oow_]CQwB~@|_~O`gO{GaA~@`_oPM_ecRYHjCjADpB?dkOgHXCgAWPI_d{QcH\CZaKpEge_PYHkCWaY`DwaWQyGgCnaI`KGa?REGcCraG`Kg`gREHeCNaF@Kg_kOYGHCFaCpAGdWOEHYCBaU@?gbwQ]HACeaO@HWcWPqG{CcaM`GgWSKQEFD`A]pNok[RwJDDWalPUWh{TEI`D?AopW_gSSCJFDTAePTohsTWIZDJAhpQOicSgIdDEAnPW?hCT{INDDAmpOojcSOIvCvA\PMOfcR_HvDxa|p]gmoVqJoD}az`^WlgVMJiDnav@\GlOVAJWDqat`[Wk_U]JIDgar@YWX[KuEXCdaRpHgc[QQHDEOBIPd_p{WwKjEMBHpc?qSW{KbEABIPd_ocWKKjEGbDPaWqGV}KAERb?@cgpWWUKYEFbE@`gt_NiFrBwaipTwisTMIdDSaZpMWfCZkLnEtbZPjOuSYwLhEkBXpj_t{YsLbEkBWPfOukZ[K~E]BZPh_uSY_LfEfBYPgwskYQL]E_bP@kWsGZAKsEjbM@iWrWYiKmEibK`iwr?YeMqC@a@p?gk{UeJPFXblpugzG\qMuF]bl@vWx{[uM\F[Bbpq?zs\sMRFABjPu?w[[CMnE}BjPu?wCZ{MnFCBhppOyc[WMjFQBdps?xc\CMTExB\pm_vkZ_LxF|Byp|g}c^gNDFcB}Pwo~[^gM~F{Bop}o{C^KNpFxBwp{_}{][NVFeBupxO|c]wNPFoBtPzo|KYeLTEjcIaBo~s`?N~GPB}qAX@[_iO]GEcGaAHA?_]OFGDcAQ?@@c_GO\G@CEptgzC\]LtExb[QHxDCaeOjGUcJqGPCcaWPFGdCPQEpC{`sPRG[CSQE@Cc`gPLGdCKqC`Bs`OP@GRCNqO_~S^qNvGQcIQCxGkc]QLG~CaqPpGKcWQ@G|C_QN@F{bwQBHAC[qMpGccKPtGuc[QLxE?cIPcHCcWaOxFgaiPwGjc^AJHEWauPiGncYAJhJgdiQwH^cnAUxI_d]QkHXciaUHIGcmQeHLchARHHOcyQQHOccARxLGeARUHactAWXKWeYROHdcraXHFcbyPzG~c_qOGOcGUCF@__noWWZsL}EzDBaapPGfSRqHvCva[pMGoKV}K@FKbdpqgv[ZuLxEwb[pmg~k^}N|GncVQJXD[aqPTIUDKqe@R[h[StI]DIqd@RchKSzITDGqcpQShOS`IUDEqe@P{h[S\IIDEqapP{goS\IFDHQaPQCg_SbICDBqaPOsg_SJIID?qapOSgoSFH}D?q_@O[f{SDICC}Q]pOsfsSJH~C{Q_@NSfwRrHxC}Q^PNSf_RvHqDMQf`McfKSzHqCyq\@M{fKRlHlDKqZ@R[ewStHtCvq\pMKfWR`?Y_KoExYg@q?|?\dl_FwCKAAVG?a_QOGwdkQmHXAU`JodWRCHiCrCIaEPAw`kO}G\C@a@p?glSUqJVE_bPPgW{{]YNJF^bopwHBsaAO~GWcLQEXAS`QOfHScjQTXHCciQRKPEDrBPa[ooWdKMECRC@`So{WRKDEDrBP_{ooWLKAEAr@@_{oKWLKGD~rAP_CoCWTJ{E?R?P^snsV~JxD}Q}p^sngVzJuE@Q}@_cn[WFJxDxq}p]kngVhJlDxqzp]kmwVhJoDtQz@]SmkVbJjDvqz@\kmwVTJuDsQ}@\Kn[VNJqDsQ{@\KnCVNJedqQxX[smQVJI^DoqgP[[i?VDJKEFQr`aCksW^KPDcqqpa[kgWdJEDnQw@XCk[U~JBDnQw@WkkOU~J?Dlqo`ZckCUzI~DkQu`VslcTzIyDlqn@ZkjkUxIvDkQm@ZSlcTrIsDiql`Y{jSUlIpDhQkpYcjGUfImDhQk@Yci{UfJTDTqtpTklWTXJ`DSQi`[[icVDJNDQqsPS{l?TLIbDgqh@YCiGU^Ly?EoBg@{@A?d?Pf@_DGA[@U[W?W_JODxpcwy[ZMKfFRbXpGpQ[UKUfDBDXm_ryZkL?eybNxm_sEYELueybOhoorm[OK|fBbNHf?wYXsMGe[b`xogrY[EKveYb`HogrMXgMCeXB_xdwwEX_MAeWb_HdgwIX[M?f?bJHngqeZ}Kje~BIhnOqYZwKge|bHxn_qUZuKce|BGxmwqAXCLxe{BGXngpuZ}K^e~BFhbOweWwMJeLbahawv]WqLweKB]Xl?umZSLlesbZHkouyZILoevbXxj_t}Y{L`embWHjGuIZGLZelBWxiWtYYgLWeibTxi?vEYcLregb[hgwsuY]LHefBQHg_siYKLKeabQx{?@q?|?\_MOFgBk@i?r?Z_LoEgBK~G?~?`_OOFwCKAAZhLueyr}@}S~O^tNrF{r|P~C~[^tNuF{rw@|c}G^\N`Furz@{[}w^JNlFqR{@{{}_^^NeFwryP|{}k^`NiFwreHrSxe[vM\fMRyPyc}k]lNiFir|PyK|K^nNQFzRr`}S~O]`NrFfrqp{[{s^JNKFqRq@{s}_]TNHFrrw@wk{[^DN`FbRvPp{xC]~MOFnRvPqS|{[hN]FHrtpwS|c]HNWF`rn@v{zw]BM|F_Rl`vKz_\vMvF\Rkpt{zS\ZMsFVRi`scyW\VMkFQrgPuCzG\FMpFPRhprsyc\@MgFNrdPzSx[]xMUFloBw@k?y?Z?N_FOCGAS@E?`?Q_GsTOA[@U?h?T_HoDHzk|}]|JQdiQsxZCliUrJ]doQvx[KmMVDPZGisTqJlDWaxPXGlsUaJlD_axPNGasOqILCOa`PNGcSSQG|D?aLPQGcsQqIdDKaTPKGhSRaIdCsafP?GrsOaLLCCbPPWG]sUQF|Dg`|PKG\SRaFdCs`vPVG[sMAIlDW`nOuGbsLQHDCW`hPBGWsPQE\CO`dOmGcsQqEDA{aTOjGqSJQKtAobJOdgRsHiDDAi`ROaGrsHALLAKbPO`GnSFqJ|A?b@P`GMSWqBtEG_zOXGnSEqKD@ga~P`GJSWqBDEG_nPcGHsDQKt@ObJO@g@s?i?d?Y_JOFgCsAI@T?q_VOOF|sC`~l@C^xN}GEs?A@{~{_\Lve{R]XoCwI[BMEfCR`xpKwm[TRFG}SqQNtK_bzQPH^ScqWDHGd~QMHbscAXLG{ePQ}HDsbQV|K?cXQHH`SaaW\G_eBQDH_s`qW\GWeDQAHaS`AWtGKeJRCG~spaOLKSc@Pqgws[IM\FUbhPug{S\yNLFmbtQhHYsiqU|IgdlQzHRSnQTDJodNQbH[SmaSlJcdHQnHOSkQSTJ?dBQqHMskqRtJOc~QYHUSjaRdHkdZPiHJsZARLH_bVPlHISZqQtEwcjR|HdS~qXdNweVRsH|S~A]tNkfjRpHzs{q^LNGfpR^IASwQ_\M?gJR[Htsva\lLsfXRZI?T?aZLLggBRdHjSxqZDMWenRRHpstA[TLSfHROHsSsa\TLCfRRLHvSrq]DKwf^Sf?PoHGCSAM@H?ae^ROHf{sEYFLAgEsBy@t@A_dOPiZDKIePRahmSpiXdJYehQ}hgSmiTDKIePQqhUSpiRdJYdHQ}hOSmiSDHIdHQYhMSdiTdHId`QYhSSdiXdBIehOyhgSLiCdLi`XRagSSviBDFi`@QAgMS^iOdEybhQMgwSaiIdEIaxPigkSXiHDByaHPQgeSOir?DwBC@Y?p?U_JrzH|s}u^^NpfwRbxqCxE[dMSfHslYU|JYddQrhYSjyULJAdXQmhUsdiQlHQcnQXhKT\Qo|V[kRTuJCT`amTVOkHUDIxt]qmLU{jzToI}T]Al|VcjbTyIwT_QldWKj\UAIutZAntW?j\T~IutYQmlUkjnTiIzT\AlDU[jdTeIxtWqk|USjPTcIrTYQk\UgjJTjIqTMQjlT{hvT]I\T`AjTWWixUDIltTqo|TckRTWJCTTAnDTWjtTTI{t_QiLTKkFUAIhTRan\T?jzTNI}TQqntW?iZT~IeTQihLSaiNTDibTWAgTUGiHT`I`tNqjlT{iBT]I_TWAfdRwjDS|IotuAH|DEa`PQgiSSy\\MufXRghtSyY[lM]fLRbhqSwizX]EnEV\jpDvIzX\ymyV_jmDvyz@]amsVhjkdxyz@]QmsVejkdxYu`]ElkVbjpDlY{xZEnOUrjXDyY{`YynKUojqdjytX\ylYV_jUDvyslYYlNUbjQTgiyhX}mmU`jODtiyPXqmgU]jhdfYxxXemaUZjgDeiqp[}koVPjJdsIx`XQmYURjIdrix`XAm[UQjedcYpp\UmmUNjEdtipP\IkWVSjDdsywX[AmCVDj_dpIwpZumOU}jbdnyvP[elwVJj\dqiuxYalqUij[DiZEPaMpJWckOUGjCLa{nfWpJyuKA}dbCndWnJwUKA}L]spXVnKVTzbDl]gpXVkKVTyrDlaconWXKTuIbBD`CnlVwKHuCa}|_wpLWOKSUBrC|_SoPWFKDU@b@L_koDWCKEu?r@d`gn~W[K?uEr?D^oozV}KNt~RBt^cojVzKJT}bAdTui~T]ioTWikLdoqHXEKnUPRJldAqdXPkeuRzHtd{qTX`KeUWBH\d{pjX`KZuWBEtdopdX]KYUVRE\c[qBXHK`uQBGTdKp|XTK_UTBF|bkqrW|KlUUrFddWppWyKkUTrFL[qm\VLjftsYyD\ImhVRjittyytg?rDYAKqU_RK\fssLYGK~u`rNtfos@YAK|U_RN\gcrnYJK{uabNDfOsFXuLAu\ROdfErfXqkvU[JL|eksFXlLAuZBOde_sRXiLDuYRPTeSsLXfLCUXbO|aqp\WlkVuKZEDi]tRYglQUhjSligspYkLLUirRLigsjYkLJuirQthGtZYSLVucrTtiss^YnLGujbQDhwtBY_LPufrSTgosvY\LFUbRRdj{t`Z@LXUoBULkStxY}LbupbVljWuDYwLaUlrW\jKtrYtL\ulBVTkwubZOLhurrYTkkuPZILeuqRXdQQhLSdj`ToIwLZyl~U|kYuLzEtbIphWrlNUgJR|hmszY[luExj\pmavYZflpeyZ\XmUvSZclpExj[Hmav?ZflpevjZxmUvGZ\loEuz[PlqvAZYlneujZ`lyuuZ\liEyZ\XlYvSZTluEtz\plevYZWmE_Ag@[?qjFTdiqU@Z?|_YoDWCk@uYJLTeerJXfkrUkJUTjEtfYtlYVFBb|qCw|[\MOVGbbLqOwv[bMLVDbbdp_w|[VMMvERa\pkwj[YMIVDbaDp[wd[WMGvCRa\pGwj[OMIUzr_|nCwRZoMCV@Bb|qCwL[DMOV?RcToKxH[AMPvBR^to?w\[NL~vBr^dosvz[ML|u}B`Toovt[JL{u|R_|nWwPZvMCu{b`Toovh[JLxvTO?{?a?R\TMZVLRi|rOyl[pMivKbi|rKyl[mMhVKBidq{yf\NMTvJRiLqoy`\QMSVTBdTtKxR\NMQvSRc|t?xL\BMcvPRh\sOyT\GM_VObgts[yB[|MeVRbf|ssx|[vM\VMRfdr_xv?K_DOAw@S?q?V\~M}F\jnpvazy\vm|F^JnXvyzq\|m{fZZlxvmz[\ymtF\jl`v]zU\wmrf[zlHvUzO\smqF[JkpvIzI\pmkfWJjPtyyo\^mlfWZkXtuyw\a_BoAW@C?]?R?GnOF@z`LoawT[KmDvfrq|xs{r]]NKVebr|xo{z]ZNNVgBp\yG{Z]`NEVebqdxk{l][NIvcbrLxK{n]PNKVgrptyS{`]NNQVaBsDwc|D]INOv`bsdyS{J]FNPv^zoLwA{H]Bn@VRziLtAyd\SmhvjBwd{W|\]lNavqRu|{[|j^GNZVpruT{c|h^GNXvpBt|{W|b]oNavhztDyY|R]jnTVmrwTzs}F]{N_vnbvD{?|t]~N[vvrxT}C}X^_NdvsrzL|S}t^SNlvsRy||G}p^UNgVvBxl|w}^^\NfVyB|\}g~Z^hNuVwb{l}[~H^bNrV^Jntvu}F^An_vnjwDz}~g^ynzF~J}h~m~g^vnzF}Z}h~a~m^nn{f{J~@}y~s^pnxf~J}P~n?W]\nNvfjzL|i}v^UnkVt{@a@J?g_MoHgB[@a@F?[_OoEgBz~i?j?Q^~n~GA{@y?Z?O_PoGG@{?Y@J?g_DoHg@K@Q?B?Q_AoDg?[DQ@h@N_hOKwECDE@T@P_VORwISAuAD@H_bORWGcCm@x?v__OMwFsBeAh@f_tOUWLCD]Ax@b_lOWWJsEU?j?V_HoZGNKEyBz@o_|o[gN[FYBz@s_{oRwI[DEB{?A`Do_??sG}CC?C`E_@GOcGk?DAG`F_@gOsGv