CAT(2528,1)

Sparse6:

:~?f__?O?G?CAS@C?c_P?GwCWAQAG?x_\OMGFKBi@p?t_ZoLgIWCQAL@D_boQGHKCOAT@K?bOPOH[C[AT@K?coQ?H[CC@x@A?]oOoF[CC@|@A?^oOoGCEw@\?k_UoJwEKBA@f?s_XONWF[Bq@|@?_^o]GNKF]Bt@{_|oYGLKEiBZ@k_toXwKsEUBN@d_rOY?M{FcBT@w?so]_L[EsBv@{?uORgH{CuA`@Q_go\OKCFWBB@s?noW_McEOBl@b?yoZ_JKE{At@o?loV?M[FGA|@p?mo[?IkE{Ah@m?hoU?MKFKAl@V?xOnoEkBY@n?v_YoLgHkC}A\@O_hOSWYGKUELBF`coqgXCK[EXBD@eop_X[KcE\BO@dOq?X{J?EZAq@dokOXcJKE\BO@Yol?X{KkDlBK@[OloXkKwDrBO@\om_X{JwE@A|@^on?WKJoEDA}@aOnOW[JGDlAp@[Ok?U{JKDrAz@Yom_UcIaDRAf`TOiwTcK?DDA~@OooOS[IWEHAc@`ohOWSHUCnAU`KOeWRSGcDZAn@Doa_TsGoDZAn@Eob_TsG{CvAP@MOc?RkHGC|AS@OOcoR{GOBzAB?~o`ONsG_C@AE@@O`oOKP{@P?g_SOIwDSAe@R?j_TOIWD[Ai@J?f_ROlgVCJ]DrAz`\OJWDcAy@X?m_UoJwECBE@^?o_WoKwEcBI@h?q_Xo`GO[GUCLAG`BodWQ{HYCpAY`KoagPKGmCXAM`EpR?gsSwIPDLAbpQOh{SkIbDIAgPTOf[T[HtDUA]PTofkRwIjC~AjPL_eSRKHhCtAWpLoeKRKHrCwAXPT?c{QSIfCeAhPIOiSTOHTCgAhpFodsQCH^C_AWPG?dsQCH`C^AVpO?bcPwIDC\A_pPObcPsIFC]AaPJOc[QkHHCkAPPI?d[QgHZChAUPGobKQOGvCaALPEOc{QSGvCYAROvwZsLuF@Ba`opDWa[PQGlCWaJpOo`kSSG^DCAFPO?aCPGIDD@AGp@w`KOaGTCKaDp?OgsOKIPCAAbpQ__sSkGJDHAAPLo^[NsHrB{A[O~_fkR{G@C}@~pL?]{RSFjCu@zO}?fSNgHxBxA\ozw]KNAFfBs`xOyW\[MiFZBk`vPROZCSwErDK@jov?h{TCEtBZAgOs_[[LCFJBR@qOx_YcM_ElBf@ioGgCcAMBP@i_soZWL[EqBJ@f_rPkWuCY}L\EkbUpdoyKXcMdEWBgPr_qkXWM^FLBIP`WosW]KDECb@pq_n{W?MXE@Bdp^?xSVwMXD|Bdp\gnCV]JvDxa|PY_y[UoMjDjBiPWOy[UGMhDbBiprOjS[{IpFMAkps?j[\CIzFQAmPn_pSW_M@E~BCpmotKZsLVE{BTPm?ssZgLPExBRpgoqKYSKfEcBHPg_qCW{L@E`BFPaowS[KKZEKB_pp?m[[SJhDtBbPkomSVCLhDoBXPe_l{UwKxDlBLploksUOLjDdBZPpok{[cJRFGAsPfOjsT{K~D_BNQBh@c_uOVGHcDQGOysaKMnFWCPQC`Ak`OOnGRCJQ@`Bs__P@GFCNqCO~k_{N~GOB~P}`?C^oODFzC?p|p?[^cOJGCB{Py@BC`gNTFhCKpxO|[][NZFeBuP|?{S]ONjFbBzP{_z{^KNBFpBoPz_zc^?M|FnBmqEoz[\cOxFYCMoRWHsC}Ad@O_gp?g_KOMGJCCaBOsgY[LEEhBU`iqSPJkdKQ~HQCnQSPI{dKQrHQCkQRpJ[dgQ`H[CfQT@HsdWQ`HTCfqIhDcamQZHJceQK@JkbGQ~GpCnQJPJSdoP^GmClqIPJCa_QrGfCjqHPIcdWPHGeCiqN@F{bwQBG|C_QO`FKbkQHHBC\QPpFCcWPlGvCaqL@HSc_PjGrCcqc?UKJADdAt`XolGTkI}D\A}`]onGpCWiKREzb]pnGvCZiLrEtbZplguSZQLfE\bNpfgrSXqKvEJbEpbHSOheTGIZdPaehRwheTAIZdOAehQoiySoIodJajxTWhYTYIWdUAdxQ_jESiIrdHakhQWiUSiIfdIAhhQOiaTQIOdTAcXQ?hqS{IQdGafXTWeqTYHmdUAZXUGg]SQIrdCAkhOghuS{IEdAAfHRwgETAIBdOA_hNoiyS?Ioc~ajxN[fuRxHwc|Q]XMwiaTQHudTA\XMOiIRgIccxagxSgfER]IfdRA[HLWguRQINctAbhPgeYROINcrabhPOeMSWHddDaXHPOeASWHadDaWX_OPeGvCYaMPFgbk^INfFpbvp{G|s]]NJFebpPxG{[osWJKFEDrB@_soSWPKEEDR@p`KoGWbKBEHr@@aSoGW^KCEGR?p`skqU\JLdrqyX\Cl_W^KODlRB`ZKlSWbJVEHqt`aSlGWRKIDiRA@Y[k{WVKLDgrB@YCoCUVJ~Dcqq`_CkWW@K@DcQpp^{kKV|JDD}Qp@^kk?VxJAD~QoP^kncTzI~D|q}`VsncTtJzD]Q}`V[nWTnJwD[q|pVCjOVlIuD{QlP]{mOVfJeDyqxP]cmCVZJbDvqw`\snCU|J_DxQ{@Z{mkUvJkDmqv@\StoYhLTehrSHiStEYqK\elbFhjOp}YqKYelbFHjOpmWmLUeKBUHbGt]WiLVeJBUHa_tYYMLIecbRHh?smX{K_ePBOHfwqEXiLLefbLxhorYX]KzeWbNXe?rqX[KseUbKxeOqqYGKhebBIxggqiXKL@e`bIHcwsIXqKce\BHXf?qMSTIKdDqbXP{gy[KLmewBaHlww][FMDfARapmswcZhMIEyr[Xm[vI[KL_fCBWXowt}YyMHemBaxjowiZULveub]Xl_vaZsLge}BYhnWueZIL|erb^xkovy[?Laf@BWxk_wEVlJwdzq}X^[niVxJ}d}r?H_Kn}\SMKfUBbhtWwu\MMlfSBjhtGy}\SMcfRBjHtWyU\eM`fYbgxu_yI[{MofXBgHuGx}[xM\fLreHrSxe[iMlfJbjxqoyy[cMsfIBlXuWxM[]MofGbkhq?zEYnLWejRUXj[ti]bNRfhRqxxc{u]gNAfjBpHyg{M\}NUfiBoXyg{A\wNVf^BuXvg|a]mMxfkbmxz?zi]OMufdBmHxGz]][NDfbbsHxw{Y^WNefsBzh|g}]^GNnfqb{X{W~A^?NYfpBvH{G|m]yNhfnbyxzo}i^uNqfyB~X}W~q^iNwfzb}h}o~eAB@B_`ONWFcBm@|@?_^o^gN{FuC@AA`?pcgq[XEK\EObFqHxDCaePHGdcRQvx[ClyUzJZdmRWHkKt}YxL]emrqHxS{e]JNFfbSJaDDB?`ROiGVsIqClAs`NOkGRSGaDDAK`ROiGQSFqClAC`NO_GRSGaBdAO_|ObGMsFqBLAC_vO_GLSDaBd@__|OVGMsEQA\@S_tOSGLsDQAD@G_fOSGGsDa@l@__^OVGFSAaAD?o_dOJGGsBa?|?c_^OLGCSAa?d?o_LOJGAs@a?|?c_JOCGCR~aD\??`ZN~GUS?QDt?K``OAGVsZOAs@a?n?X_LoEgBc@y?z?`_OOFwFSBa@r@T_hoTGIsD]ApBt`zo|g^SNaFrFVbkPtgzS\mMrHkcuqZhL{fARbK_ePRGXccqUXFMTfJRdxp{xE[`NYfmRuxzk|}]|Q\HOSfqSTHwdBQbHLShQRdIOcvQ\HJseQR|H_c|QYHISeqQtHocjQWHGseQQ\HGcnQMHISbqQtH?cjQPHDsbQQ\HGcXQMHDScAPDG{cRQFHDS`aPLGScPQBHDsbQOdGGcXQFG~s`aOLGSc@QCG}s_aNtGKbxPyH?s]qN|Fcc@PyG~S]qNlFcbxPvg{S\iMtFabnOpGtSZAE\BGbVP]HOSWASTD{dBQbGlshQJlIOaxPYGxsUQMlD_bhPrGisTqMlDWbhPfGiSYAI\DGbRPeGgsXQIDEOa^PKGrsRaLLCsbPPdGdSQqKtEOaRPpGbS[aHDF?aNPlG`sZqGlEwaHP?GwsOaMDCCbdPlG]sZaFtE{`~P`G\SWqFdEG`vOvGtSZAFLB_bVP`GYSLaK\BSbDSK?DOBG@[?u?^?MiK?CWAS@Ag{?R_IODYb|Pyh@S_iNTFySpPmgyQgiMChyYHOagMRQiBCsI_pLUgORSiBcsyb@Kue]SYiKcriXPPaeWSYhddEYahKeeOSVhbdDiW`PIeKSShadCyahKEgmRBiJCoiaPJyggR?iHcnyVXO}gaQ|h]DCI``JadsSMh[dBYUhO}dmSOiGcliUPOqdgSMhXdBYTxOed_SJhWdAiT`Pmd[S\iMCjY`HIegUQjiDCii_@NifwSAh|d?Y^hN]f}Rxh~C}I]HMyf_RrhxCzy]`MmfkRlhyczI\HMQfSRahsCwy[hL}fMR`hrCwIZ`OMe{SDhmd@IYpLeeuRWhlCtyn@OagLSF_JODwBC@Y?p?V_KoEwBS@e?v?Y_MoFgBc@q?z?]i|D`yn@WejqUGjDD]Ip`VekUTyizd_impWEjiUBizd`YmhWYjkUCi|d[im`VqjyTrixD^im`WAj}TriTTJId\Q}h\SljDDXip`U]kUTgiqDaYkhW]jEUGioD^io@UIj}T`inD`IjxWYkIT\j@DUioHTqkETZijd]yjHVuioT{ivdGycHVEhCToiwDHYmHQYj]ScisdTIlXTYjSTTiddSiiXSuiWTPicDRihHTAiSTNi^dOigHSMi?TCiadNIfpS]hyTEiXdMyehRehgSyiZDKYePRahmSoiRdZIdHUyhOTl_DOBG@[?i?X?JjodZymLVA?Z?N_FOBw@s?u?b?Q_GOCGAK@IbBPbgpSXIKtEUbNPhgsSYiLdEmnEVjjodzI{P]inYV`jpdzy{P]ynGV]jrDvy{h]AnMV_jnDyY|@\}muVTjjdvYz`\YmqV[jlDvYz@\mnqVQj|dtI~P\MnYVNjvDsY|x\AmWVijfDzIxh]mmoVHjlDqyzH[imKVhjrdqIwx]amEVcjadxiw`]UmiV?jjdoiwH\Yn_U|jxDny}HZylrUwjZtmivdZmnqUsjZD}y~PZUn_UpjxDky}HZIl[VrjWD|Ytx^QlUVuj{DjYt`^]ngUhjydii}XYalIVuj{Dhysp^]ktUZjKtfYrtXqkfUTjITdiq|XalCULjQDbysXWyk_U^jOdcis@XEgRSJiDTCiadPMgjSViJTEyblPqo[XXkleCJ@xdiq_WbkQeSjC`dEp?XYkleGjCHdeq_W\khEFzIH`yosXRkMETZBXdQoqXWkjEDzIx`aqeWUkieDJI``UoaXUkHeUJAPd]oTWHkCUAz@l_qoDWCk@u@j?|_UpuXLk]eRzF`cyqSWwk\ERJHXbepiXBk_eLzEpcIqOWskXEQZGxbMp]XCkbEKZGhbAq?Wkk^eJjFpaunwWhj~EIy~haipOV~kRe?ZCp_AqwYNknEcZJhhAsQYBlDe`ZPPgQs?YElCE_jOxgErcYVkxedjMHhUscXmlIE[JQXe}rUXvkue]ZL`faryXgk~eYjNpeersXdk}EXzKpfmriXckzEWjM`eMq}YKkoebjK@gutq?__OoFwCKAA?~ROhhSsYY\LUehU_jOtfysTYQlFZHL`uobXDkguHY~LauoRW|k?uLZAL]UnbWdkKtzY~L[uoRV\k?ttYwL\ulrVLjWttYvL]unbVDjWtxY_LaufbW|h{uLYZLcUfRXTkcsxYWLWUebUThctbYrLUulRT|jOt\YiLQUjBStiktJY`LRuiRS\i_tDZwIyT[ymTVUjnTu_HoDWAc@M?j?SiPTGycLQQhJSekcuPzHDcQqLXDk_uOzGTcAp~W}kRUIJC|aepVWimLFAZbXo]wq[GmJf@Zb@oYwk[Cm?fAJ_XoewC[FmAE~j_@oYwIZ~mEe~J`xnmw[Z|mEE}z^hoiwUZ{l{fDJ^PpMvo[Tl{FCJ^HpIvs[Plye~j_@n]vkZ~lyf?Z]xoMvk[AldezzX`nEuYZomJEzJb@mywmZlmKeyZ\XpmvS[YmEexj`xmaw[ZflpfCz[hpUvG[SmDewj[@oqvA[ImGEvZZxpIwaZ]llUvJZ\laurZVliE{jYpnQuiZrlvesz]HlEv_ZQlfE{jY@nQu]ZrmtDvIzl\mm|V^joU^ZN|fyrtX{k|u\zNLfarjXskzV[rllu{zj\mMyV[Blluwzd\nMwv]Rl\vkzX\yMtVYbmtuozp\jMzv]RgtvgyP\zMbvOrm\sSzj\CMyV[BgDvCyB\AMxVNrnDrszl[}MzvLzfLraxh[umYvKRlDucxf\fMXVJrlLr?zP[mMrvJRkdqozL\dMTvXBdDuWxT\dMSvWrc|qSzB[eMpVGbjtqOz@[bMnvWrb|qCzB[_MpVVbbtpsz@[[MnvSbiltOyn\RMjVUBh|tgyb\XMgVUrhdswyz\LMmVMbhLroyV[zMdVpBulz]|l]qnYVkzox{M{I^@nBFojwXwI{G^@n`F_zvpv}}?]?n^f_Zn`zyz{^?m}fnzvXyA|y]an]FgZrhwa{Q]^nNFajrPza{w]ynLfmZsxx]|O]XnRFeJtHxQ|U]UnTFdZqHyq{e]mnHFjZppy}{_]pnFfkJpXyM|I]LnEFhJ\|nEv`ZqlyU{zyp}y}o^onjfzz{T}Q~F^^novwJ}P|u~e^]nmF{Zwx~E~e^HnxFqJ|p{Q}K^onvfpZyX}m}i^lniFzJ|@|A}c^ingfyZxh|e}]^ZnfFuj{x{m}W^dndFxjjtuAy~\`mpvWjkduYzJ\hmsVXz}a@a~k_YnygE[Aq@B?m_PoIgB{@a@n?[_\oEgFK@I@J?g_JoHgAkBA?Z?O_YoKg@{?]?V?H_Ao?W?Z~i@u~}_[n~GE{Ah~j?m^{oJF}z}y@J?g^xoHf}Jvt{A|~^Bn`Vo[FMBn@t_woZWL{DQBr@W_}oTgN[FaA^@Q_}o]gIKFyARAA_do_GHkGAAFAA_bo^gGkEiBJ@__roYGK[BqAv@?_noNgJkHqDRAi`NojGSKHYCJAY`CoeGO{IyCbAS`XokGQ[GyDNAK`QoagS[KYDjBI`[oqGU{KADvBC`^oogVjU|jatl\RmiVSjiDtEy^^FncvqJwd{Y}J_qoWwKKDmA~@\`wO~W]cOEFdB~`{Oyw\sNmFXBv`wOyW]cMUFdBf`vOvw[SMmFXB``mOxWZSM]EpBh`kOwwZcL}EtB``zOrW^SLEFpBN`}OswYsOEF|BTa^Lyu|z]s?e?P?FnJveJrLxQ{l]Tn|V}z~d~]~r^wo`WPKG]C^AJ`EpVGk[TyJJD_arpTglkTiJRDiakpVGiKUAIjD]ahpQgi{TiI^DKakpSGf{TQIFDQa_pQgf{SqIFDMa_p?ge[OYHnCCaYpWgdkRAJNCmaqpHglKQaJZDiaTpPgckSaHBDCaPpQGb{SQGvDEaMpMgakPaHzCwaJpKg`{RYGfCsaGpBGfkOiHvCGa[pr_@G?s?VEKbfpcGy[WyMbEEbfpagy[WaMbFGbAprGoK[iKFDyb`p^Gw{VyMJFIazpqGnKVQMZFAavp[gw{VAMJEubTpmgtkZaL^EsbRpiGuKZILJE]b]pggwKYAL~EQbKpdGr[XqKnGU?F_CoAG?{?e?PcGQDxAS`mOhGXcGQFXCC`MOhG^c?QFxCC_MN|G\b{QDw~c`mNtGXcDP{w}s_}NhGLbuQ@W}C_eN\GFbqPtw{C\eNDFTbrPuw|S\uM|FhckPKwe{RUHzCza[_AO@g?k?Q?J?EqXhIkdIRRHccjqYhI{dQR^HQcuqMhJKbyQvG{cmqRHL[dAR^HMcuqYHG{eQQVHeccqOHJ{eIQJHAcoqUHEkbaQzGuclqJhKKeIPfGocnqGxC{aUPZGhcTpoww{[UMVFLbcq^HTkfyT^I?dWqbhU[hATnIQdYqkhPKjYSZIsdDqjHO[jASNImdAq[XM[fURnHzc{qihR{iaSzIedLqdHSKiQSrIUdPqwhVKmYTzIydqqthX[laUZJYdfqshWklQURJOdbqnhZkkIVBJ?dnq|H^[nyVrJ{dzqyH\{mqVfJidwqCxAK`UTVIhdRqgXSkiMWtKLeMRCXbCo}WdKLeJRCXaco}WdK@eJR@XacoMWpKFeMRAxbSoeXxHTcjqSxY{lmUrJRdiqsXgCseYXK|e^RQxgcruY@LFe^ROxcSrmW|KveORMXgSrEYHKtebRKxdSseX\LLeURQxesqUXPKze[RHxnCtaZfLUezrTHmkvYY^Lqehr\HiKuqZNLiewrZhlKtiZBL]eqrVHk[wiZrMMe}rbHn[wA[NMAfCr`Hn{rmXrKvfMRcXsCxM[|MTfJRfxrSyE[pM\exr\xmkyw?DMbfX?@hskz??HMffV?@HtKyo?DMrfW?@ht^