CAT(2094,1)

Sparse6:

:~?_m_?O?G?CB?@N?g_SoKgEKBA@U?n_U_IgD_Ay@}?i_UOIwD{Au@\?m_VoJWEKBA@d@G_coQgHCCiAR@F?^oOOGsCSA@@A?[oP?F[CK@t@B?^OP?FkCG@x@E?]OPoFsCS@z@@?YoL?F{BKA@?u?[oM?F[B[@t@e?RoIWDCA]@R?g_XoLWEcESBP@b?rOX?K{EKBR@d?toX?LSEwAV@L?uOR?LkD?BR@M?toRoLSEABD@`_r?VWL?DyBM@^_lOVGJ[DQAl@T_joUWJCDKBX@m?goZOISAi@X?j_yo\gM{GwC@AN?~O^oPkG{BvAM?}o^?PkFaBt@x_vo[WMCFIBh@r`A?aGOoGeCIAF`D?_gOGGqCEAJ`V?iWTCIiDPAi`SoiwTkIqDVAk`UogwScIIClAW`JohOQKH?DNAe@HOeOR{HkDBAY@OOf_QcHoCjA\@HojwTsJADbAr`XOlGUsJUEFBD`aOogWCKEEKA|`c?nwWwJyDwAw`\_lwVOJe@x?}_]o`wPKGaCBAB`@Ovo[kMWF@B]@qOvo[KM?FDB]@poqWX[KiEbBN`gOv?[KLkFFB\@pOuGZSLeEiBc`r?tgYwMUEcBL`i?rGYWKyGIAj`UOjWK[EUBHA^`OogGRcHyCzBN`gosG`?O}GSCOaC`Bg`?OmGSCLaC`BG_gPEGMCQaH`@g_OPEGeCCaH@?w\kM}F\B{ADo~_`kNsGXBz`{o}g]oO}FoCO`z`Bg]WOUGMBt`y@@g_WNAFcCC`w`?g\OOAGABk`~_yw[wOAFQC@`s?~wg_AU@J?d_ROHgCsAI@H?b_QOGgC[OMGHCA`VOkGT{JMDdAp`vozW\sUGJ?D[ao`VgjwTuIqDRai`Ugi_TmIkDRai`UGi_T]JADQao@SWjwTAJ?DAan`OWkGSMIADOa``SggOTEI[DXaf`UwhgTiIwDFac`VWh?TyIMD]ac`VGjgSaH}DIa_@RGfoSmH{DDa_@PgfwSQISDCae@PghWSUH?DLaP@RwcGSyH^CpaWPIWd[QiIkCbak@HWiwQQGyCzaN@NWbwRqGsCzaM@NWbWRqGmCwaK`Mgb?ReGgCwaJ@MgagReHWCqaX`Jge_QuHkCfaS@LwegQYLSE`bPpggpCWYKNDyBSp^?tCVkLNEdAsPY_ssYOJREdAqph_k{YOJLDbBSpX?tCUGLNE]BIpdosCXWK~EWBFpe_qKXcK`EKBLpb_rkWsKxE?B@p_OokWGKHDvAvP]OmCV_J^D|AyP\_n{VSJ|DpBCpaom[VGKTDjBHPZOqcUoKf?a_QOGw_COEF~E{BjpuOvk\_L|FMbgPrwwg\QMKFTbb`tgwS[QMFEnBjPjOycYwMjFWBTPj?zKYkMnExBgpmoy[ZgMdEwBePloxk[kLlErB^plOwKZOM@EoBcPk_xSZCMRCwa\PMWf[RuHxC}a_PNwgKSMIDFYB|p~?zc\kNzFuC?p|P?[^[ODFxBxp{_~C^gNhFnB~P{P?C^?N~FzBuP~?|k]wNzFjbspyg{{]YNPFyBqpwo~C^cNHF}BoQ??{S^{NBF\C?pvp?[\wODEcbQphgs{YeLPG^cOqGHB[`iOrGOCRQHpASaSObGaCEqBpCcaKO\GICPQB@Cc_kPFGdCBqHp@KaWOPG[CJQF`BC`sOnGCCHq@`Ak_SOhGiC[qI@E{acPpGpC\QN@E[bkPdG|CVQK@F{bwP^GsCTqLPDkbWPXHEC_QQ@GSc[QBHHC`qQ`GkckQHAg`TOiWH[CuAX@O_fORwQCHECdAX`LoegXKKmETBK`fOrWY{LYEjBQ`iOswcKQIH@CgaRPHwtkY}L\EjbUPihAs`aOnGTcHqDHNgfYR{Hwcza^HMWfeRgHzcya]hMOfaRmHoczA[XMWeuRgHmcyaZxMOeeROHocra[XLOeYRWHdctaXHLgeMRAHncpAZhJoeiR?HkcnaYxJgeeRMHZcmAYHJodaR?HYcnaUXIgdmQyHVcmAThIodiQmHWciaUXIOeQQgHechaXXIWeIQgHbchAWXNocyRyHKcea^HNGc}QaHzc|ASHUO@Y?n?W_LoEWBSjw?x?]_Mqp?CCAE?~?x_\oMgOsGQCJ@z_}o^GUkJYDhAx`[OlwVkJ}D|Ay`]Omw]sNaFnBo`xO{WpcWyKZEHbDpag{[]UNHF\bnpvhDCaiPRGkcUqIx\WmyVYJoduAzx]GmaVeJidxAyX\WmUVYJfduAxh[OmaVGJidpayX[gl}VAJfdoAxh[OlqVGJ]dpavXYolqUoJ]djavXZOlQUiJZdkasxY?l}VAJQdoAsXY?lMUiJQdgatHYokuUoJNdjarhXOleUWJZddauhXokaU]JHdeapxX_keUSJGddapxWckYUJJCdbQpXWGgAUCI@c~aoxT_nMT[JqdUa{XTGmyTUJodTAzxSojyU?Igd^ahxS_jmTEI|dQanHS?jiTCIwdOamXRojeS}Iyd[AfXUghiTmI[dZAexQwjISqIrdYAeHQ_jUSkIvdIalhW?hISeI}d^acXPojmS_I|dFanHPWjITgILdEAkxP?i}SSIpdCakHWGgUUEIFd`A`hOOi}SGIpd@akHjO?i?X?J_EoBw@suW?b?Q_GRZ?A[@U?hLmeuRZXlkuqZ\LhDyQ|`lSukVjLSENrF`istSX@KaEiRT`cKqKYjLeELrY@bku[WxLdEKrE`k[uOWpKVEsRXpakuWWlKQEprX@acuSWfKNEpRCPkKp?Z@KKEmrB`j{osY|KHEorW``[u?WTLYEBRV@`CtkWNLYE@rV@_ktkWHL\E?R?`j{oCY|J|EjrUP^{nwYpJyEsq~@lSnkZVJwEkQ|pi{tcVrLMEcRS@hSs{YRLBEerP@h[soYDLDE^rPpgKsWY@K{EZRM@fsrsXnKxEYrMpe[rgXhKnEWRJ`eKqsXdLPERrSpdKtGXPKcETRH`dcqSXVN??JODwBC@Y?p?V_MOFgBk@q?|?\fh?EwBK@i?r?Z_LRTHistU]eNWfiBuhyO|e]iNWfjbuhyo|e]?NMfeBohwG{u]WNCfebpXwW{y]]NEfcBsXww|A]QNNfdbsXxO|AZtLwe{r]xnkvq\iNJfcblhu_{i\eNVfXBtXuG|Y]EMmfabkHw_y}]cMjfiBjXyWyq\ONEfcBihwwye]?MdfRbohso{E\yLpevbnxm?zy\yLqf^b\HvovM\mMaf[bhHv?yM[}MXfLbgXs?xi[wMUfNBeHrgx][SMLfEBbxpWwy[MMRfCbdXp?xQ[KMQfAbcXq?wQZ{M@f?B_xnwwIZiMyezBmxv_v]?Z?M_FoBW@{?y?X?J_DOAg@c?m`i?Q_GoCGAS@E?`M|f^rnhUCjET^Ixd\QmHV[juTxJ@d`qoiExBu`kO{gYcMyF@Bm`sO|g[cNIDxAU`GOpgPcKIE@AY`aOggVcHyDPBI`UOrgScLID`BM`[OqgUcLIC@C]`CPHgOcQIFH@u_}Oyg[CFiEp@i`mO[gYcEyD`@]`[OXgUcEIA`AY_kOggIcHyDX@E`SORgHCIYCX?y_]OdgQCCIG@?m_YO}gECNy?l?Y_NOHgDSAI?PC]_GPHg@cQH~xBya?O@g?CNx~pCYaGN{gab~YGG~eaENzg`B}h}pCMaCNvg_b}H}`CY^iPCfxcPX{[}I^BNefqRxX{{}e^PNifuRyx}?|m]yNqfwbvHzo}y^?NnfnbzXi{teYpLaeorWHk[uUZHLhetrYiSxDqdQP]hSCVYMPHybeQ^gwcgILxIab[QfgwCiYRpEmbYQ_guCfyL@IEdEPigscgiS`EUdIPfhRCXiSXEIbEQagqCgYKHIYdIP^hQCWIIDDIabPRgisTIItD]apPYglsUYPHHUcUQVhDCdiR`GacKQ\hLc`yOXG}cIQPhACcIR@GAcCQYhKc_YQPFucgP~hHc^iPpFicYP{g|cbIN@CiaWPxgdc\yHhFQa]PtgfC\iZxIqe{QjhmciiYHLQeeRThhCtiYxKye_RXhfcuIVxMMfIR@h_CxIVpMEdwRah]cwIVXKmdqRLh\CrIWhJYeMQwhbClyU`KieOQthXcqYU@KIeGQqhWcoyZPIud]R[hVCuy_wAA@B?^_OOGWB{pyW~K_eOrGxcS}}^\NlfxR{H}LPWg`SPIKTCaa|POg\STIFtCq`lOgg`SQIETCQ`\O[gZSGIFtAQ`tOWgNSHIATAA_lOWgTSKIATAq_lP[fXSWHvTDa\lPKfRSTHttDA\TMWf|RgI?Sxq^|NogFR|I?s}q_TNGfpRsH{s{q^TNSf^RoHzS{Q]|SW?j?R_IOCwAk@Q]ZNMfeRrxyK|AZ^LpewR\Hm[vIcjQVhJSciQdHMc^QPhGSbIPtGubhPugys]YNDF]jQTTijdXyipUajKTQiiDXYiXUQi]TZigdVYi@TqioTNilDSYjHTAjATKipdRikPSuj?TMindRIjpSuiiTJidDTyhHTYigTFicDSiiXSYiETEicDPYg`S]iSTBiddPYhHSQhySXi^DEyfxPijGSyirDNIkhRmhmTfisdMYf@UahkT\iYdUye`TqjASpiXdWyePUIi{SmioDJyjxRAhUTWiUdUid`TehRSgiTTHiclQ]i?Sci`DGigHQMhyS^i^dGYfpQAg{TAiMdOYb`SAloOngWsKIETBQ`fRJheSrYXDKieRREhaspyWTKQeFV@J\toqvl[GlxUzJ^TnQwDZol~UwJbtmaxLZcmPUwJaTmQwtZgmJVFJITdaxLXSmPVBJHToQq\[GkbUMJatpaqD[Ok^UJJ^TbQwDWol~UDjBt`iodWIkFUuJ?TlqoLV{ljUqI}tlAntVolfUpI|tjqnTVcl`TuJVt]AuLV[l`UkIxt\QttVOlZUkIwTjamTYsjbUvIvtZaulZWjZTkJYTYau\UkldU_JPtgaslYClHUeJNThqr|XslPUIJMTeqpDXgkRUVJStiqrLX_lTWQK@u@Z?d_AoDW@kFdszA@\UoaVSkFdsJAH\Io_VPjeeBJ@p[}m[WLjdEBIx`_ymUWLkBd|j@@^QoKVtjwdtiz@^MmmVqjvEAY}@_mn]WIjrdyI{h]inKVhjpDyy|h]QnEVkj|Dvy~`]EnuV_j~Dviz`^}nyV\j{Dui~H\mmqVvi]tNif|SAiDT@kQENJCpbypIW|kWUKjELa}pZWmk^eJJDPcApUX@k^eDZGH`]q?WUk]ECjFp`QpyWRkOeMZFXaMpsWakXeFjEhaApgW^kLeHzBhaeowWgkZEEJBPbaoqWvjUtjitdY}lbUojXTkyudZ]ljUukoEOjKPcQrAXBkreVZL@dyrKX^kpeUjJ`eUquXckseTzLXderSXWkiEWZK@dYqiXakguSzITdAq\XNkdeWzHheUqWXckceYzLPciqOXhkaeXjKxc]qKXgkEUBj@l_}obWOlBuaZPDgYsJYClDE]JP`fisUXxlDE\ZP`f]sUXukxEbZM`g}reYMlEeZzMHg}s[Xok~e_ZNpgMs?YAkuE]zNheyrwXllOEcJQPh}tAYPlPEfJRpiQsyYblJEhjR@iUsmYflHeeZQhhmsgYYlVEkZUXjAt]YqlSEjZTPiqtQYjiAT@i_lYAlDU`jMtfir|`YonWTkHUDJA\fys@X~k}u^JN\kwuLZLLcUrBW|kcuFZJLauqbWdk?uPZALbuoRWtj{uFZDL]unbWdk?ttZAL]UoRV\jgtzY}L]UnrV\jOuXYuLfUlRXlkctnZJL[uqbVDms?N?G_CtOygdSUnJVejrtwi{d]MqPXHkdUPZG|cYs`YQlGuczQlhQvwZ~m?e~j_@nuwGZzm@E}Z_XnivkZ{l{E~j]xnuviZyl|e{z^HnQvkZolze{j^@nEviZqlwE|J]HnMu_ZflfeyZYHmavGZ~m?exj_@mUvA[AlpF?z[XoQv?ZnluevjZxmyvYZZlvevZ\plqvSZWluEuj\XleuiZfljeyZYpmavSZQliEzJ\XlMxi?C_BO@ZehpUwk[vmIFLjaHrUxm[RmHFLj`xrIw_[smFFKz`Xq}wW[pmEfKJePoaxg[HmXfAjdxoUx_[FmWf@jcXqexI[jmQFIjcpqAxA[gmPFHzaxp}wq[\mKFFjd`pix[[[mUfEw?{?a?R?H_BoAJjxt_yx\]MjvVRittcyx\ZMnVUbjlssyr\NMlvRbjTsgyl\WMeVQri|s[yf\HMivQBidsOy`\EMhVPRiLr_x~[yM_VMRftrkyB\BM]vObfc?Q?J?E_AO@g?lw?vNZhlsUyj\dmmz}\vm{f^jnhvazs\~m}F^ZnXvyzU]BnAfZZo`uqzs\sm}F\jnXvUza\vm{f[jmXvaz[]?mwF_jlxwEzS]Amsf_Zl@wAzI]BnAfXzo`uYz@\^movWjkduMx^[pmWVLJe\rI{W]cnQfbjspwu|M]UnSfdZt@x]|M]QnSfdJt@xM{]]cnRFcZshxA{N]EnCVaZpTwm{u]`nMfgzr`yI{{]WnLFgJrxxe|w]in^FjJvhym|e]xn\flJuhzi|_]vnXFljuHza|}]ln_fjzw@yy}O^JndFrZxH{q}C^DnbfpJwp{Myx\\mnVgZs\yI{|]_nNvvByd|W}t^TNlvtBy||W}p^TNkvrbzT{{}v^[NgVsRy||K}r^QNkVzBntv}zz]xn\vmjvDz]|l^qNvV|B|d~K~Z^kNwVzb}L}s~^^hNnvvb|T|s~V^nNrVxr}D}_~b^rNpv|B{l~G~H^_NtvyR{T}g~B_IN|G@{@H~f?O^woCf|Z}y?^?O^uo?f~K?X~m~y_An~G@K?A?Y~}_DoHgAkAi?r?g_JoFGCK@y@J?Y_Pntvyj|M@X?x_]OJwECBm@d?z_]OLwEcBe?^?R_GoN_?SCmA??E_f_@GGSCs?H@C_d_?gHCC{?L@E_e