CAT(2432,1)

Sparse6:

:~?e?_?O?G?C@w?v?\_MOEGBS@e@S?I_DoAW?k?]?L?H_DoAg@k?y?X?N_GOCWAk@]?l?a_PoGWCSAE@F?]_OOFwAw@I?k?S_I_CwI_?}?`?P_HODGA[EK@V?i_UOUwJSDqAt@[_loTwJKDaAn@X_kOLoJSB_Ax?u?loTGIkDY@e@S_Y_TgE_DU@[@G_U_QgDwCeAV@L_eOSWI[DIAb@R_hOR_ECD?@b@N?XOQ?H[CsAT@K?coPgGkC]@x?}_]oNwGKCAAD@C_`oRoC{Cw@R@O?SOMOCcBk@L?y?QoloEcBM@j?v_ZOMGHcCuAV?~__oOGGSCQAF?c_ROHWCkAY@H?g_RoIWBS@e?p?[_LoFW\WMMFHBa`h_vwY_MEEcB_`n_rwYGMEE_B_`eOrgXkKiERBJ``opWWcLsE@B[@`Ov_WKJ[ErBZ@[OmOZSJsDnA~@[on_VCJGEpAp@kOkoZCJSEnAs@iot_UsL{D\Ao@oojo[CMGDZAk@poio[cI_EhBQ@SosoTSI_E^BP@Sos?TSISEFBD@Roh_WcKCDDAc@_Oo_S[JOC~Au@OolOSCJKD@Ap@Ook_R{IOD\Ao@PojoSSEABD@``\_VWV_D}Ds@]`K_pgRWKaCsBF`m?eGZoHYEyAV`H?uWZWHACaBY`R?cwSwHUDIAS`]_bWPwJ}C[A}_p_pgKgKaBGBF_|_twNgLUBwBU`m?^gZgF}E{A?`B_rGP?KuCQBM`A?tWOoL]CIBU`\__gOWJqDsA@_y_jWTWF]DW@u_{?qWNOKiBqBJ`l_ZwM?LiBaBX`p?ZGLgMQB[Bb_toYgLKFOCV@q@EO[oPSEWC|A\?rof?LCVkDfAq`WojgUCI}DVAl`UOigTCIeDDAc`PoAG@C?a?J?F_BOAW@[?i?Z?M_EOBW@s?q?d?S_HoVwJkDyAz@]_noWgKCEECdAP`GOcwQkHQBH@b_qoZGLsEuBL@f_sOYWL[EiMKFCB_Po_wk[KMBEtbZPlGtCYiLREmBSPk?tKY{LTEaBTpjOscYoLFE|BNpgOv{ZwL@FCBNpgOwk[KL@FDBLpp?rK[KKtEUbJpeGqoZEKoErbJ`kgu?XUL[ERbV`dGpwXyK[E[bE`fWoGYIKCEbb@`hGp_VqJyEIbD`]wpoV}K?ENbE`^go_W]KKEHbA`aGn?ZiJsE{a{`mwmgZyJmE|az@nwn?[AMCDxa|@oWuGVQLcDrbX`[glwYmLYDobU@[WmgYUJmEfaz@hgrWVIKqDsbL@[wl_XQJ[ETau`cwlWVqJyDhat@]wooUYKIDgbA@XwkWV}K?Ddaq@^g[oUUJEBd`r`XG\OU}FQDo`s@[WkCUIJBEfAmpVossYSI|DmAlpZ?jcUsItDVB]pU?v{TcL|EyAgpmoi[ZoIdDMBGPS?qSS{KbDJaepRGhCSeITEPAbpPOqSX?ILDABMPP?rsSKKzC{a^PNWf[RiHrCsB[pKou{Z_HjCoaWpKgoGQuKECnb@@JgvGQQLmCeb[@HWcGW]HCEHaP`aGuwPaLqCYb[@EWa[PQGdCNB_Po_aKP?MBCKaFPBW_?ZQGCEua?`lWlWN}JSB}`}`YW^_UaJMByar?}w]_ZqLsBu`y`mw\oWiKWBobD_zwfwTUIgD@a_@TgdORYHWCwaT`LwboPmGyC_aN`FG`GPYGSCVaI`Awd?NeHQBv`{@Hw]GOYGOBraB_{g\gOUFUCB`u@@HOWAu@^?mdC`XglCU]JdDsaxoKWESBA@X?j_TOQgHCCeA\@O_foSwISDE@v?x_\OIGDKA]?p?Y_KoFWBc@mFLBf`qoyg\CMeIvDYamPIWc{QaFxBy`|o|w^CNeT{IndUqjhT[iqTTIhdRqiHSkiYTHI`dPQgxRsh}T@IsDKQe`U[jSSrIxDHQd@V[hKTtItDGqbpU[jOS`ISDFqcpQKh?SdIaDFQb@S[iCSZIJDQqaPSsggTHIEdCQ`xOsgaSNIvDAQm@OkjWSFIuC|Qm@Ncj[RvIKCzqbPNKf_S\HVD\qmPJCdWTtHTD@qSpOkdOSHIhCfqRPTCcwTNITCdQdpH[hWQXHFDKQQPRSc_SrHADMqOPR[cKSxI@CYq_`E{g?PlI^CVQg@DchwPZIlCPqjpCcaST\GUcIqDHAWjuOaI|cHAnXTW_uTSGJdUABH?S_QOFFrD]P|PVc^OTxFpbxP{HPG]uN]IIbvAaw|OjANWIqbtakXOO]ENEI?d?`wgzWjAMyIqbmAkXQg\USmFVdJ@tgyS\QMfFNDLpsPRk\?SxHgCwq[pLSfGRRHbCkqW`J[eOQtHjCaQZPGkcWRXG~CwQO@L{bwR\HsC[Q\`FSfSPrGqCnqL@KKbKR@H|CVqK@NsbCR~GeCSqI@D[a[PTGMCgQC@IS_{QbG|CCqN@@SbkOPGDCJq@pBC_WOrHfC?p~pKs_?RJG[BzQE_~C`kNnFdBspx_{{]ONPFyBnP}o{C^cM~FWCMpu`B{\cO|FLCmQV_xc[wQzF}Bdp~?xK^sMTFECOPq@CS[[PBI@d@Q_HOsgaSN?D_Bo@gKCEEBDF]boPvwxs[qMZFHbdpqhlwueZaLjewBYhjOvyYwM?elb^xiwuuYqLmeuBUHn_tMYaL|e|bShmOsuZgLJexbRHlwsaZaLIewBQXnWr}ZyL@e}BOHfkryXxKze[rMhcOviXELweOb]X_ovUWOLveBb\h^guqV}Lmd~BZX]wvIVoLsd{b[xnomU[?Jfe~axh[OvaVGLxe|AwxYovUUoLudjb\xX{kyUZJEdaqpHhosUY_LFefbPheosIXoLCe`bLxe?uAXcLaeWbWXdoqQXYKeeVbHXk_pqZIK\eLbWx\gpeVUKYduBEHaOqiWgKkeHbIxaGrUW_KreFbLH_Wq]WIKgeABIX_OnUVkK?e?a|H]GoeVeKJdxBAhbomaX?JieNayX`_l}VAKMdoBBXZ_pUWmJ]dmbDhZGtQUuLUdlBTX]?lIV]JPdvAsHXOlMUiJKddatH^Ok]VwJHd|aqHkokMUCLgd_bXxW?tuY}I}d^bVh~GUeJVDi_]ONgFkNUFlBs`tozW\ckyU^JLdaQphWk~{_NO?GAs?Q?s~o_POIF}r~a@K~M^jNsf{R|x}s~W_POIF{SAP}{~K_LNtGBr|A?k~A^dNpfurzh|{|w_DN_GARvq?[~c]xN\F|r}`z[~{]jO@Fjs?@yt?K]bOCFfs?`yC{c^xN}Fdrq`~k{_^vNFF{r}`wsyq\ZMjfSRihtKzo\jMuF\Rl@v[zC\nMrF[rk`vC}C\\NbFVrw`uCyG^HMcFrRgp{kxo^NNhFNRy@rkzs[rMZF^rn`rS|G[pNRFJRt@q{xS]rMRFlRd@zCx?]@MPF_rc`wS{o[^NLFFRr`pkwg\JMfFERh`p[w[[~MGFOraPsC}g[HMDFtr``|cwC]FMBFar_`wcJQDlAt_FoCWACdeQvHYc]qNHF\Bu`xOzgvcViM@Dqb[P\gkcYyLhDmbWPYgfcXiHhE]a[PdgsCQiHXEiaWPhg^SNyGDEW`LPdGSSXqC|ASbPOcGssGqLTEw_bPoGHsZqAT@ObXOUGtsDQLlD_`hPUGXsTqETB_`^OxGWSMaELCK`\P@GUsJAGTBS`ROjGZsIaEtA?ajOaGhsGQIdEG_zO^GpsXABt@gaNO[GcsEqHD@[a~P`GKsEAKD?wa`ONGgsCAIT?kaHOKGasBQGtIOc|QeHOShQR|HkdBQbHMsfASTIgcjQkHJsiqQtG{dNQPHSscATDGWcRQGHDs`qPTGKcXQMHAsbQOdFsc@QAG~s^aOLFgbfP{GxS]qMLF[cdPxHIS]AQ\H_bhQYGzSeQMlLCC~A_`OohwSkIYB~A?_~O\gMkF]B^@p_wQSxIkdQOzG^cNSvQ[\MSe~R]HqSuq[\MSexRYHqSvQY|L{erR]HkSta[LLSfDRSHoStaY|LOerRTHkSsa[DLCfDRRHosqqTlI{eXQmHesrqXDL?eTRHHfSpQX\K[eXREHesoiWdKMe@R@h^snIVtJudrQzh\SsQUtLKdpRQHZsuaU\LodjRZHYSkAXtL?ddRNHWpZGlkUyJjDvazP]GnSVeXZKmeVrFHbkpmWjKUeJrBH`koyUVJKddQpxXKkahESniQDKIcPQyg}SjiOdJYc@QqgyS`iNDFyb`QAhCSYiPdEybHQQgySUiNDEIb`P]gkSXiKDEyaxPiftRxh{TDIalPMhUSOiHDJYaHQqgYSmiFdKI`pQ}hOR}iTD?IdHN}fuSdiRc~Y^`QYhQRtiTC|yd@NYhMRhhtdHY\PQYfcS@hyD?y]XOIgMRnhwdAY]@Oaf[SDiBCzI\hOQfKSIhsDBI[xOmjYNrfyr|H}s~a^n?V_JODWBsAA?~AW`JodgP{GyCZAA`@o_WOkGYCHHEcaQPXFscAP~GqcXqLHD{bEP`MtfYRlhuKzM\dMXfLrehqsxa[nSIiETAy_|OegPU_jPTgYr|Xuk|U\JITdar|XSk|UaJHtgAqLYCkdUVJFTeAqDXck^UJJLTbQrdWokvUIJ@t`ApLWGkPU?JBT_Qo|V{kJU?I}T_QntV{jzUAI|T`An\WKjrUJIzTbAm|WsjpTsJGT\Qp|WwjfTkIxTYamDUkjbTlIrtYQl|UwjPUIIrTXApDUSkRT`JLTWqr\UGkxT]JAtWAo|T{kLUVIlteQjlX_ixTWI}tUandTcj|TVI|tTQnLTWjtTQIsTYQidTKjNTiIftZAiLUki`TuIeT]AhtV[iZTsIct\Qh\SgjfToI\T[afdVChvTlIZtZqfLUwhpUUIZTdQedRSkhUPIWtKqq\RGkdT?IaTOaglSCiFS|IcTNqgtRwiNWHAppXWkcU}JbDo`qoxw[sMaFTBhdpQxH[[m]VJJed_qoxWSjyU@I~g[SMiFLBU`nOugOSGiCL@}_|O\gGsCyAT@Q_lOTkWUKjELaypZWnkREHzC`aepIWgkOeJJDPaMpUWakLEFjC@`aoqW^kMeDjB``]ouWTkHEDZAX`YogWVkFeEJBP`EoqWOkQEBJ@paYpIWLkDEGz@XaEoQWaj|EIi~XaqnwWjkRd|y~HaenoWgkFd|JAH^Yo_VtjweCi}X`QncWRjvEFi}@aAn]W^kLdyy|h`uowVkjsEBJ@p]inQWLjreAi{p_enIWJkWdvJEP\up_V]jkeJZDx\mmsWmkBdtiz@_ammWEk@dtZ?h\MoGVSjhE?Yy@_ImaW?jed~Yxp^}m]V}jdtrIxT[emPVFj[D~YvP^}lqV}k@dlYux_UlkWCkCDkj?pZQoMUrjWe?Iu@_Il]W@jVTjYtdYelVUijaDvywp]EmIV_j_dwiwX]QmCVbjPdnish[AlGU~jRdnYv`YaluUelTc[YM\FIcDQ?h?t@I_lOYgFS@i@USrSLdCs~XQLOUlBQtjWspYtLJucrUTjKshYTLWu`BULgWtdYrLAulROTjOsFYuL?ujbNDj?rtYnK{u[bT\fOtZXrLUUXbT\e_tZXfLUUjrKdiwrJXbLWUiBKTicr@YiKouVRSldwtNX^LRUgbItdOtHXTLPuObS|iWqHYdK`uiBF|icqBYiK_UNbS\botDW|LQUMrSDbgtBY^K[u\RRLfWsvXvLLUZrRdfCs|Y\KwUbBLdggr\YJKuu`rLLgcrVYGKtUSBPtg{q^YLKfUcbHlcos`XJLGu^bHDf{qTXHL?UPRN\fsqNX{KbULbJTdoppXZKZuKrI|bSqrWsKkVAqlLUajNTkitTYyXdKmeZRMhgSryg\SUiHTEicTPzQDhIsbYLlFubjFDb]plWtkYUKzdxqaxL[fmQVHZc\qAxD[`mMvFzbtoyw^[OmDvBJ`lnWwtZwMMU|rb\p[vfZtMKvEB]dqCv`ZqMOVGb]LmswzZnMNuzbbtmgwPZkMCuyr`TmcwTZfMCUyB`Lm?wx[ZLnUvrbTp[uv[XLmvEBZdlSwh[ULjUtralpCudZSMHvCbY\k{wh[ULgusBalkowbZMMHurRaTkcw\ZJMGUqb`|okuL[LLcVBBW|kKwN[DLaupB_tk?wJZAMBuoR_tqKtzY~MQunbcdqWtt[gL]VHrV\j[vrZyL[umB^\mOv~[@LrV?B[lmCwDZbMAUwb_\l_vxZYL~UuR^lwcnzV~j~U?j?D_EoHWDk@u@j@D_]lJUcjPthytDYY{c]TnIFdzqXxY{W]XnLFbZr@wy{a]LnFfbJq@wy{g]InHfazqPwe{O]AnBf_JopwEzq]GnBF\zoxva{]\snGf\jq@vUze]ImwfazmPwezE]VnIfWjk`xYy}]WnLFWZk@xeyk]BmkF`Joht]ye]BnAfTJo`tUxV[imSvJZdtqqzI\OmrfSjkptEy]\gmfFYjhhuez_\JmvFRJlxsiyO\kmcfYzgxuuzw[~m|fOJnPryzy[|m]F^zfXvyxo\Xm\FUzfHtiyw[tmZfVjjhrYxe\@m`fKjgPrQyG[nmafKZe@sYs~Y`lOUgzSdiItJYflRUiJTTie?H?C_AU^jODf}rzX{k|vNzftsAxv[|m]VMZfDrixn[tmZVLJe\rIx^[pmWVIjdLqmxZ[kmVWAK@M?^?J_EoAW?{?M?I~|_?n~vzz}L~A~^^pnwV{b{t}_~h^fNxvxr|L}_~V^iNrV|r{l~S~F^uNqVzB{\}w~J^lNqVwb|t}?~Z^`NuVvr|T|s~V^]NswBrx}?w}`_LNfWBBxe?g}Z_JNdvqC?l{h?L^HOAWABwl{\?N^EOCvob~\~s}H^BN}VoR~D{?~t]~N{v|Rut~[|n^uN[V{bu\~O|j^rNYVkc?DzC~|]oN~w?Rtm?G|\_BNVwAbsdyX?X]dODwBRsM?{|F_MNPVfb~Dy?~t]^N{ver~\~s{z][N}ViRzLy_}p]fNjvsRvd|K||^QN]vtBvLzk}l^TN\VvBt\yo}v]iNlW[B_|oUwL[HmDVAKKaEjBU`eouGX[KIEvBE`mopGZ{JYFFB_`\omG[kJQFFAo`qokg[KHyFNAa`togG\KHiFNA[`toeG\KLaAn@Y`iotgJKLiA^B[_dovgHkBe@v?|_^oOwGKGQA~A?_oo_gJkFyDR@y`RohGNkIiBjAm_{ojGM{FICb@o`EoZgP{EaCfAU_uodGL[GYBFAG_roagKkDQ@f@Q_ZoLGIKAqAJ?o_coJgG{AiDzB?_SoHgV{Ky@J?_`hosGC[LUErBV`movwZZo\wU{H]EnCV`zdLqixV[kmVVJ[Bu@r?z_`oNwGKB]@j?r_UoJwEKA]@V?h_OoHWC[WyLNEObSpcgt[WaLBEKbPpagskWYK^EQb@pcGokWaKBEKa}pagn{XQJVEWavpdglkUQKvE[aspfgk{VAIfDsajp[gikVAIZDsagp[gh{SYJnDIa|pQGnKRQKnCubKpMGqkRAK~CqbLpJgrkVYHRDwaTp]gdkPqJVC_aupFgl{QIJJCeaspHGk{OiKFEEaFpBGokOQJzCGb?p@gn{YAF~CAbQpgg_KYYFrEi`}piG^[SQF^Boa`ozGgKTyGnCYappEGkKTqGjCQakpUgaKNIHvBua^o|Gfjv|{E}@^BnaVokPuHBC^aPpHwckcqQDHJcbQQxGccmPxHHc_QQXFscePHGpcSQLXCsbMPlG^cPQMxCCbeM\G|bdQOWxcb}MPHDcbPpXGS[]PtE~cZPoxFC[ELpGpb]QLWvSbMOpGFcDQFXBS_ePTG@cVQ@XDc_MNlFrb{Pzw}c^EOXFhcGPzX@s]mNDGRbrQDw{c`UNtF\boP~wzs^uLlFZbXPuWuc\]MdEpbiPjWyCY}RxIHc~QaxOCguSLI^d@QexOchuS`HndHQZXPsemRHITcsQeXKsh]RDIbdQQVxSCeETLHXdTQVXTCdmQdHvc|QTxNCdUQXHtcfQ[xICfEUlJJdlQrxZCkuU`JDdiQqXYSk]TXIxd]QkXVSi}T|Ird`QlxWCjS?HJmdm_?h]SmC?LJodnqy??SmMVLJk?Bqy_?cmV