CAT(2114,2)

Sparse6:

:~?`A_?O?G?C@K?S?L_E?Bw@W?y?d?O_GoF?Ao@M?o?S_I_DwBG@q?u?\_L?Fg@C?e?N?j?POGwCcAG?~?_?PoGOCc@Y?p?V_Z_HOE[BC@N?e?XOJ_EKB?@f?n?XOIoDCAs@T?k?SoM_FkBo@~?z?^OM?EcBc@j?u?ZoOoGCCGAJ@@?aOIGDSAeAV@H_dOP_HKC_AV@F?dORGHsCuA^@P_gO\_I_DUAm@Q_h_TgISDQAf@~?Y?TWEoDYAm?t_ZOLGEkHC?Y?C_F_@g@o?U?Y?X_F_Ew@o@i?s?F_L_AWBG?aC_AL`F_bGPoGmCXAJ`EobgQCG}?S?C_E?@g@W?U@I?O_R_CgCo@EB{@t_}?\GNgFM?U?O_D?Cg@_@ECI@{`B_^gOoFuCzA]`NogGSSIE?H?E_AoHOOSGO@LAB?Ro]oMcFgBj@x?xoAW?{?aCJAF`BORWHsCq@P?i_SoIwDkAqEaBO`gOsGXOKuEWBN`d_rgWwKiEQBK`c?qwUwJaDiAx`\?lgV[JqDzBG@^OqOWCK[D~BC`bOpWWGK}EYBB``?rg\_KQELBD`QohGS[IYDPAf`TOiwTKNwDXAm`UojwUKJAGMAq`YOkwaoPKGhCSAIpCoakPOG`CQAIpCoaKOsG`CQAFpB_aKOaGNCHaD_zG`_MyGSBlaD_}w^gOqFwCIaA@CG_oPEGcCDaF@@g`gOQG]CDaB`BW`GO}GOCM`{?}w^gNeFwBy`~?zw]GOAF}Bo`x?~g]_OAFeB~`y`?W]oOIFmCBa?_zG_WMyGCBl`royG[sOkFFCK@qpA_[cLoF^Bp@lOuo]CNGEzBs@no{oZsN[FDBu@oo|O[CMcEhBj@jOy_YkMcEnBj@koy_ZCLKFpBP@|Os_^KUOC~A]`MogGSSIECtA[`Lo}G^SNeFvB{`}osWY[LIJiDnau`\GloVMJYDoav`[gloVEJUDdau@XglOUQJWDgat@YWlWU]HCDoaQ@[WcWVIJiDTaj`[wioVQIRDJadPP_lCU[IPDFAspOwgkSQJACdap`HwkOQYHgD]ao@LgjwRUHmD]ao@MWjwRaIwC{a\@VWjWRmIyC|a^`UwfoTqJACpaX`WwkORIH[Deaq@KGkgQ}IoC[aM`UgboTeIqCZal@Egj?PeIWDQaf@Swi_SuI?DNa`@SWgGTAG}CjaO`JWc?QqHOCUaS`EGdOP]L{EsbXPkwuCY}LbEzA}pnOnsZoJxEzA~p_?vkWCLxEwA|PmOnKZgJvDuB[P]?vSV[LrEhBYpi_usZ[LVEbBRPh?tCYSLNEABMp`?r{WKK|EkBLPj_rcYsKvEMBGpc?q[W{KdEJBIPd_pkWoKjEVBCPeOpSX_KREDBOPg_osYCKNBh`toyg_cOYGJFOBtps_|k\CNXFabqPwwzc\yMzFXBsPu_|S\kNRFABsPy_wK[KNRF?Bupno|cZwNVFLBqpro{{[wNLFJBjPu?xc[gMnFFBnpqO{K[_N@FCBhpp_yk[SMhDWalPUWjkTqIvD]aoPVwkKUMJDFnCEPz`@s^?OZGHCEQAp@s_gOZGECHQA@Ac_[OfGNC@q@@AK_SO`GTC?QDp?S`WOBF|b~p~g~S^qNvGOBzqCO~C^cO^FsCIp|`A{^SOlFpCHP{pAc^GOfEwb\PmWv[ZuLxGscYqKxECbIPbGuCQQH`FCaSPnGuCPqGPFCb[PDG]C[qMpCC`{PtGZC[qMpBk`oPtGiCUqIpD{aoP\GfCKQE`DKa_OrHPCdqSpHkdGQXHGC^QN@HSbsQRHMCaqPpICcWQ^G~C`QOPGcc?QFH\ClQV@J{dwQvHSCjqT`JKdSQpAL`DobGPsHAC^At`ZOlwVCJiDrAP`HocgQcHUClAX`KOdwWKKMEDAq`YOkwgSSAIBC_aNpGWwS[MMBE}b^poHDSamPXGgcSqHxPOhASWIQdDacXPgg]SQINdCAbhPOgQSWIEdDa`XPGgESOIBd@A`xNogQS?IEc~a`XOGfmRyIBd@A^HKweeROHjctAXhLGeqRUHlctAZhLoe}RWHpcua[HMOe}RgHpcxa[HMOfURgHucxa\xMgfaRmHyczA]XNgfiRqHzc{A^HL?fyRMI?c~aXhK?guRCINcoabhQ?eUREIQcqAcXXGEiBV@kdf_ZWL{EyB`@q_wqu?NcFyBz@~`?o_GNKFmBt@s_yo[wM{FaBlAB`AO_gOkG]CLAH`DOaGZkL}E|Bb`qoxGpsXAK^EGbDPaW}c^YNjFrbwp{hFcbyPzG~c_qOH_On}WAKCe@b?H_gnqWMJ}eBA~X^GoAWAJzd|A~x]onqVoJ}dza~X]onMVoJtdza|H^OnEVuJqd{a{H\kmyV^Jldvqzh]WmiVWJtdta|H]Gm]VcJgdwAyX[WlyV?Jadoavx[_lyV?Jedqavx[GlaVEJYdpAuXZWmYVIJ\dqAvHZWm]UyJhdmAyHZ?miVWJYdtauXYoiYUiIddjahxW?oIUCKCd_b?x_gjuT}KFeBAnhVOlITwJSd\asxYgiaTQJUdTAtxT_lATYJPdTarxTok}T_JPdVasHX_jEU[IrdeakhU_kqTkJLdYarhXWjeToJHddAlxSOkeUUIcddAgxRwlITAJSdOAsxR_kaS{JFdbAfXRGkUUEIZdaAehQok]SoJEdJaqHQWkUSiJBdIApHloDyB@@^_ooWwKSEYBH@df??YWK{Ea[@MAf?r_hoKwAZ{KGe~bAhngoeZsKte}BLxnWrYXcLveXb]Xe_vaZgKgeRb\XcovYZgKjeybIhdGvYZsKkeVB^HdgvmX_LxeVb\xeGvaXELpeQb[xc_vIX?LmePB[HlwqEWsLjeMBZHbWuuWyLjeNbZXbouqWmLpeKb[xb?vIWgLmewBDhlwpUZOKPetBCxlGpIW_L}eFB^x`wvuZOKJeEbYh`_ueYqL^elbWXjOuAYwLUenBUHjgt]Y_LRehBTXiGtQYSLLefbRHhosmYGLFebBQXggsaX{LaeqBOHfwuMZIKzerbNXkorqXoL@e`bMXfOsI]g@p_xO[GMCFIBb@k_toYgLcEiBVNe?uoZwLsEuB^@metrZXlc}o^LNgFvRzP{{}c^XNjFvRy`|k|O^@NUFpRtP{K}?]rNVFpRwPzC}O]xNbFlRxPz[|s^FN^Fqrv`{c|W]\NSFgRtPx{}g]JNFFtryPws{G^LNgFaRop{{|s\~N^F_Rv`wKzs]vM{FmRn`zS|c\vNVF[ru@vSyQ\JMefRriXtCwS]bNRF@rs`oc|K[PMFFgrs`os{g\pNHFZrq@usys\`MqFVrkPtszK\TMtFURl@t[xG[pMSFLRcprKxk[jM\FJrf@qsxw[^MPFORc@r{yC[XMbFFRg`pkwk]ZMHFdra`xcEEBF@a_ooWwKSDyB@@^_nOWGJ|CcBH@e_qoXGKsEU]bNRfhQoxWkkQULJGdbqrHXskuUjJVdjSRqHLCkabPOGdSRaILCsa`PKGfsMQGdB_aJOvG`sPQF\CO`xPBG\SPaFlC_`~PFG^SOAGtCGaPP@Gbs?aJd?KavO@GmsSaEdBWahOtGhsOAELCG`fP@GXSJaFTB?`xOnG\sIqHlCo`ZOkGfSIAHTAgaRPJGSsLqClBc`NOwGRSGaFlAO`~ObG^SFqIlD[`BPUGOSEiB\@e_zO]gMSCAIT@GahOPGhsBQIlD[_^PUGFSAaJD?oatOJGksUA?|?catPXGCSVA?tDk_HODGmr|X}{~Y^tNwf{r~H~k~m^|O?f~sD`||@_^bOVFwR{aA[~O_jNrGIRYhlCueZnLxe{R]hncvmZ|L~e}saAUdJGcTQrHCs`QU\G[dhQEHXS_aV\GOdzQBH]SmQODF{dpQyH?s^aU|FodlP|HYs]QUlFkdnPyHZS\aVDF_dtPvH[snQM\JkbjQ{GySXiKlEQbRPggrsYiLdEmbZPngvS[ASDFGdDPpHOsjqRlJCc~QoHNSeaTdIwcxQZHUsiQQ|HcdVQWHTShqQdI_clQeHIshAQLIScfQbHHSbaJtH?b@QNGnsWQPdGsbFPaHDs{AWDJ{f^Q}HvSyA\\MgfZRhHuSxQ[TM[fHReHps{aYdNKejRpHhssa[LLCf@ROHnsrQZLK{etRZHfSrA^DKkfrRIHzspq]dKcflRGHyspAYtKWepRDHjsvAWLLweFR\H`TEoPKGiCPAG`DOaXbSpqWvK]eNrFYA\@U_hOUgKSDyd`QQhSSeiTdHYcxQEhOSbiSdGibpQQh?SeiNdHYcHPmgySaiMDGybPPmgySWiMDEYbpPah?SYiNdEYcxOAhQSAiSD?Y^hQif}Skh~DIyahNifwSVh|dDi`HOqgUSMiDDBY_pO}gaSGiBdCIaPOMggSDiHd@IjOE]BR@g_sOYWK{}A^DN`fprxX{cwQ[JMBfBRaHo|IedVQihRShyTDIUdHQbhOSgiSLGucXQJhFScIP|UcjzTjI|tYandVcjLTyIsT]Ak|UKj^TdIwtXAmDUojFTmIqtZQkdVSj@TvIpT\akLU?jfTsIpTWQmTUcizT^IttValTTkjPTeImTUak|T_ixTXIlTTqj\T_izT^IktVai|QwidSlIgtSqd|SwjdTsIgTRqm\SkjvTLI}tRAndS_jpTII|TQQnLU{iJTpIbt[AgtUoiDTmIaTZQg\VSh~TvI_t\agDRyhxS|i[tMif\TOhlTUIZtTQfDRKibTRIYtLAiTTOh`SqIjTTQeL[oaFPDgaSPiHDC]e~R`hoSvIZtLuerRZhlStiZDL]m]VTjjdsYy@\Ym]VQjgdtIy@\Mm[V[jedvYx`\mmWVWjfDuixh\elOVTjjdiitH\YmoUdjlDhizHY]lCVRjPdtIs`\ImuU^jODvIsH\ukrUZjLTdirDX]keVIjIdqyxHXQmKUOjcDciwxXEmIUNjaDbiwXWukSVBjEDpYpX[QkMV?j`DaYwHWakGV?j`D`iwHWUkEVJj@DqioH[emKT}j?DqInx[]lmUsjZDmYv@ZUlwUrj\DkivXZEl[U|jWDnitxZ}lUU[jUdfYt`XypKWVkKuEJAl`YohWdJrtyRC\aOnPWdJrTxRC\aOnHW_JotwrCT]GpBV]KOTwBCT\{pBViKDtzB@l]koXW\KCUFr@T`woRWYKAuFB?|`koLVzJ}t}Q~t^gnxV~JzT}B?L_?nnVrK@U@A}l_KnhWQJxT{BA\`CnbVlKFTzrAD]wo^TQihtSYidTUilXEkaUPZG\cIqBXRK^UTRGDdOp~XOK\uSbFldCpxXRKTuTRDTdOpRXOKRUSbDDdCpNWtK[UMbE|bWprWqKdULBHdbKqVWnKbuKRHLb?qPWkKeuJbH|asq\V?j`ToYw\[UmHVGjbTpyx\[imRXUK|U^BJDd[rvXpK}u[rN|fGr|XwKvU]RL|f[r`XjK|U^BLleorvXgKyUYbMtecrjXdkruXjKTeQrFXsKnu\bKLfSr@X[KzuVbNLdsrpXZK}u^rJTfwqrW_kPUGZClaQpFY?l@U_ZRlhmsxY]LEUgBPth{sZY]LCugBP\h{sTYGLPugROtg[tDY`L@ugbOliKsHYQLKUdBRThKsrYTLFudrQLhWs`YuLWUlrULj_tdYlLQUjrStiwtJYiL[ujBV\ikttYhLYuiBU\jOtNZDL]UnbW|kWtzY~L`UoRWdk?uFSWiLTEYutZQljUrjXTkZDLampTWekSUHzQThMshYNlGucJ[@livCZ[loeuzYxlyu}ZXlkEvZY`liukZ[lieuzZ@lIuqZRljesZYhkyukZOliErzXplMu_ZPlfesjZhkau}ZIlcevj[@kmvCZLloerJ_GDuAv@[ijtUYjD^invVxjzt}I}tdYqpXVkkuUzJTiQtLYdlSuiJS|p_w`[UMHVDraLoswf[NMIvBbadoswT[KMFvAr`tp?wN[QMCvCR`DoOwT[KMBVAr_loOwN[EMCv@R`DmKvvZdL}uxB^dn_wfZyMIu}RadnSwlZvMKU|ba|oKvh[@Lxv?b]ToKvb[ALvv?R]Dmov|[?LvUzR^|nkvRZjL}uyb^dm_v|[?LrUxr^|scAt@X_kVIBhLqgyV[hMdVHRhLq[yV[eMdVHBgtqGyN[bMcVOrb|qCyJ\CMOVOrbdsSw|\CMMvEbhDsWwv[XMbvLrflrcx~[wM^VMbedroxl[zMYvKRgDsGxf[qM_vJbd\qsx`[kMVoVGJkDmAv@\_mV[rm@uqzc\imwfYzm@uuz]\qmvF[ZlxuEzE\mmpFZZjpuiz?\kmnfYzk`tmzK\\mqfVJj@u]ys\hmkfYJhhtIy[\SmhfRJhxtUya\VmgFTgJCDiAr@Y_kOUZq`nmvzZ{l~V?J^|xG{V]PNEvcrpdxK{\]ONGvbrqTv{{n]@NKv_BrDw_{\]NNDVcBpLw[{X]ENEv`Rp\xO{D]CNJVdRo\vo{h\}NJV^Rqlvc{n\zNKv]brDvMzj\smzV]Jm|sMyJ\CmcVPzgtzk|@]|NOvnBsTyc|p]jN\VibvLyW|x]|NSVmrs|z_|F]dN\VmRsdxq{t]ZnNVfzrlz[|^]oNYvkRutzO|X]qNVVkrtlzw}`^PN^vsbwD{[}^^HNfVqBxl{W}X^JNavqbwd|K}B^TN`vtBwT|o}l^]NkVvRy||{}r^_NlVwRz\vAzd\pnZvlZutzQ|f]qnsF{J|P}}~Q^mnsfyz|@}q~S^lntfwj|`}Q~Y^bnvFxZ{x~A~]^eo?FczqTxE}^^LnfVrJx\{j?O_?o@G@k?I?^?C_Co?g@[?A?M~e^}nxF~z~h~F?E^yoAf~K?`~m~m_EoCF}Z~A?]~{^sn~f|j~h~V?{_MOLwBCBe?t?z_HOLwAsBm?h?x_TOKWDsBU@X?r_NOHWDCAM@L?`_]ORwISCE@|@P_`ORWGsCeAH@J^}n~v~[DQBB@W_qoTgK[DiBF@]_qoVGKKB]@v?x?@O[gK{E_?L@v_t?@GMkEo?H@r?@O[GM{Ew?L@t