CAT(3192,1)

Sparse6:

:~?pw_?O?G?C?[?H?E_AoC?@k?y?^?L_FoBgBG@Y?p?V_JOEGA{Ag@R?h_SoKoDsA}@Z?k?WOIoESBC@T?w?YOL_EkB[@f?~?[oMwFSCS@x?}_]oNwGKCA@P?g_SOSOCSAM@H@Y?RoHWCsAQ@D?b_NoGWCCAU@N?e_YOLWE[Bu@|?{_]ONgFkF_Bb@o_vo[WMCE}BT@j_soZGLsEuBJ@c_po[OKKEGB^@o?oOV?LSDkBV@Y?soVOLcEwA~@l?nOX_IcE_Aj@f?jOU?LCDcBL@V?roUOIkD[Ah@W?jOUoJsDoA~@Y?moSOKCEGAd@R?ooSOH[CsAf@K?hOR?K[CsBJ@c?doPWG{CYA]@G_f?QWI?CiAE@M_`?RwG_DADgAr`WokgUKJIDf@t_zo\gMWIyD_@q`V_\GTcIuDVAa@VOh?UCI{DFAW`JOdwUGHMDeAT`X?dGQ?IiCcAg`G_iWPOGuC]AK`F?awSgG]DMAH`R?aGR_GEC{AA`@_fWOoFyCGA?`A_^wNWH}BwA`_}_gGRGFiBqAZ_{?eg[_FIBf@s_xO\GM[FaBt@x`x_yw\cMiFHBe`qoxw\CMeFNBh`sOwW[[MIE{Bi`o?zGZwMmEvB\`mOuGZKLiEiB``j_wgYoMMEcBc`r?tGYWMUEJBC``omgVcJmEMBL`c?rgWoKqDyBN`g_ngY?J}EUAx`d?lwXGJaDiB?`Z?ogU_KEHQ?[_MoFgeOD]Ap@X_UoJwDsBA@d?p_TOJGD[K]EPBEaa@OwgKSIH|C~a_PNggCR}ICCya[@OwgGReHuCqaY@NWeWRqHgCtaZ`KgeWRYHFCdaQPGwckQQHLCgaRpIWd[QiHXCmaUpOod{SGHbD@AWPLOdsQoHnCuAUpIOd{QkHbCiAWOzW\{MyF`Bq`wpGOfcQGHzC_A\pF_fKP{HtC\A[PEGbKP]GjCUaIPBgaCO}F~C@a?O~g^cNuFkCf`z`Hgd?NaGOCJaD@BW`GOqGsCDaB`FGbWOYGeCCa@@CWaOOMFgBz`y_}W]WNi@J?f_RPhoCC@}@B?c_PoGguWQQHFCdaSPHgc{QqHZCm_^oOWGCFYBn@t`AO`gOkOaGRCIaBp@W_sNQFjBrbi@soxc[sMdFPBdpqGxS[eMRFGbdPpWws[]LnEwbZPmGu{ZYLhEtbXps?u[[{LjFMBYPkWuCZILbEobXPjOx{Y{M`FMBVPrOt[YoMVEiBePo_s{[OLRFBBSPh?v{YWMBEdB_PgovkYGL|E`B]Pg_vKYKLvE`B\PhOrsYWL@EcBNpeotKY[KzE[BSPe?tSYoKtEXBTpUWjSTmKoETbJ`egqoXeMCEQba@cwwWXQK_FQbG`swpw\EIxD]amppoo{[SKPFEBBP_oyKWSMfECBhP_goKWAKuD|bM`^wr_VyLYDybV`]wtoVqJmE{a{`ngn?ZuLqDsaz@mwmgZiJ\Doavp[Wm[VII~D`aoPYowKUsM@DkB^pX?rsUKK~DaBOPr_lCUgM`FNAspbOpKWwKTEJBEPTokkT_JNDUArPQ_iCSoIdDJAgpROg{ScI^DMAcPP_i[TSIJDSAaQTOB[@e?t?[_NOFWBK@m?tHlBLpfWrcX}L@E]bUpjgt{MEFDBb_fOSGH{DQAl@T_VoJWDsBE@d?o_bOPwGkCIAF@C_`oPGGSKAEDB@`ZOlGUkJ]DrAwbCP`go{WQKFEDa}p^gn{VmJxDyawPZgl{VEJfDqdYaiPTcikT\IiDUqhHSkiMTLIgdRqh`RkhwTPI^DRqdpTsioSpIlDKqdpR[hcSxIWDLQg`QKhKTBI_DHQd@N{g?SlITD?q_PP{f{S`I?DFQ^POSfwSHIBC}QhPN[iORrIbC|Q[xMkfQRfHscyqi`MCfGTVIhCwqbPMCfGSXIJCwqYhLcemRTHkctqXpRcecSvHgDLQaPKkg_RHIICrQWPO{eKSJHaDBQ\`KKeGRpHvCpqVPJse?QvH[CnqU@KkdgRLHXCqQXpIkecQnHgCjQd@H{dCSlITCgQa@HcggQZIHCfQQPQKhKQVHIDHQPpQCc_S\HEDFqSpG[dGQHHSCaqO`Occ?SDH@D@qNPSCb{TDG}DOqapE{gsPrIKC[QJ`NcfwP^GoC}qHPIka[QnGeCjQZPCce{PFHmCPQV`B{e?PBH^COQF@Rkh{O|I]CMqU@BK`kQtGYCkqS`AsdOOpHRCJqCpOk`SSNGSDBQC@Ms`GRpGPCzqV@@k_{QzGMClpy`NK]kRvFhC|Qi_{sikNPIhBrpx@Tc]ST\FbDUqZOyce{MlHmBiqI`Dka_PXGhCTpu`@S\oOXFZCDqKO~sbKO@GqB~p}pEc^sPlF{CYpto~C\cNtFWB{p{`FSboNhGzBxq@?|{_WNbGDBwPz`?S]oOFG@BuqA?{C_cNDGFBopv_}k\{NnF\BzRYOB{AE@@HQciQSxKCd}Q|HecqQXWd{REH`Am`WOjwMkFYBn@~`?O^gO[GECD@z_}o^GasPUGhCPaHpCg^KNmFtB{`~O~W]sNaFnGZcLQEX@k_}O\MaFMrfhrcyA\BM^fJBehrWxa[mMXfEb_xoGw}[CMMfEB_hpOwM[UM@e~B`HoowA[IL~e|b\HmOvuZwLrevbcXmGxI[_Loewb`xlwweZ_MGeurZHlsuqZ\Llesb]HnOumZSLxdVbWHUGuIT_L`esAkhU_uYZMIrelbbHj_wmYsMIfFBUHiww}YqMLefBgXhwx}Y_M_fHBRHqGsm[_LLe`B]XgWviYGLwfNBOXr_sA[yK~e]B^hnwryXyM?e}BMxfGvmXsL|e[BaXowr][OKueXrLXecqs[HMEEVr`PdsqMXDK`esbFhlOqAZUK^fMBDXawxy[yKUeFb[ha?vQZeKPerA}hl?nqZMJzeqA}X]wuUVoLbfIa|X]oxM[gJsdvBWH]?uIV]L`fKavxrWmEV?MYfNavHsGly\?J\emashjwlEY{JOddBVhX_tuUUL^eyapxmwkeZkJGdaBdhWoxaUIMVd[B\XVOv]TqLufHamxqgju[gI{dYbXXk_j]TkLbeWBQHeOsiXaLHeRbIhdGqqXOKjeEBCh`opQWYKReKbAxbOoiWoKHegb@hiWoaYcKFe@bPX_gs]WGLEeiB?H_OtYWALTdqa{X[wnMVKJqdpAyX[_miVEJgdtauX\glmVWJYd}asxYgn}V{JSdjArXZ?k}UmJMd`bExWOpuUAK[eRAnhW?qQT}Kdgj?QGHSCeDtA{`\pTgi{TaItDZakpVGjsTuK@EAb?pVwkKUAJDDcappQGhKS]IXDIadpPGgsSUT^IodWqkhUcjMbtP{g|s^IN\FibrPwgzs]INLF]b[Pjguc[IL`E}bWP]gucVIJhEmbCPXgqCUyKXDiauP_gocUiJHD}aoPsgjC\YIxFYaoPqgjC[yIxFEbINEfcCXxwxEYaAPpg`C[iGXFM`uP^gocNYF`EAaeOhgTcTIDPDUa_OdgQCSiCXDE_gPRgIcTYApDQb_OOgvcBiLp?}awN{f~CViJg~u]QPgfdCYhxXEe^oPtfzC\h}xFQbGNogpB{iKW~E^SPOfuCSh|XDE^GPgfrCYh{hEebINKgrBrhxhE]a[Mzgebmhv`C}\aPKgdbkhuXCiaWMmfVcQiHWzA\QPMfTCRxt@Cu\HMafPrhxssyU`]OegWcIIE@A]`?PCgPCPiCHCU_YORgECCY@X@IaMOGgCcQI@PCe_oOFgKc@YAx?Y^}O\g?CFiBx?E^eO~g_B|X}`By^ANxfpb}x{O~i]{OYfoCFHzx@m`WNZgUbvHzhAy_CNWgABui?W|e`iNTgZbtyEo|Y]gOsfhcKhyPBM`oNNg\BsYFG|A^YNBfvbpX|o{Q]AMxf_BlxwOza\gNffsblh|?zU\yMlf^bixvoyqgw?V_KODichDEa`PQgisSyIcIUDNAe`uozw\sMuF^Bm`xO{G]KNIF`Bp`~p?G_K\eMpFVblPvGz[b]PrGwcWqKxESbQPlGtcPqHHCS]uN\FkbwP{W|{]YNPFfboPwg{K]MNJFcbmpvwzs}}^ZNmfrryX|CyI\FMcfQrhxstTMihTQiftSYiDSeiVTIicTPig|TghvTWI]TUQfTR{hxS}I\tNQfTR]hrSwitDLylXRajWSxiYDRIepSyhiTLiXtKYeTU[hbThIXtKalDSKh\TDIWTPAd|TwhXT^ITtWAdlS?hVSkI`TOQdlQahTShiQtHyctQAhBS^iNtGYcDQQhDSbiQTGycTPsixS]ImtFAj\PoijS]IjtFQitRWgvStIKtLAbTPWh\SVIWTEAd|HkjBQ\IpsfAkTS?gTTAIETOQ`\TkgHSDImt@ajdNkgjR{IHs~QadPKfhRqIIs{qadMcg`SPHttCa\TM_jDReIpsxqkLMGg^R_IEswQ`tLwjHR^IrSvQklLggZR[IFSuq`|PCepRXIGTCaY|RseVS~HetNaXdKSipRFIlSpajLT{dvQyIoSmQjtTSdlTVH[TTaU|JKjHQtIrSlAklScd`TJHXTQaULSWdZTGHVsjag|ICidQbIiTSqSTHwi^Q_IgsfqiDH_jNThHLSeQlDSScnTCHJTOqQlUgcdTkHITYqQ\H?iXQNIfScQhlG_hLQEIQtHqO|GKgvQDIKs`AbTQgcBShH?S_adDPWbzSWG~tDqNtNSf^RpHzs{A]tMSf\RkHqSzQ[\O[e\ROICsrq`DKcgBRII@sqA_TJoeDRCH^SnQW\J{dVQiH_soATdNwdNS?HSs~qTDIOfpQeH|ShQ^LLWcXQLHiSbaYlLCcRRRHDssaPTbKg\SNiEtCiaDPEglSWiJtEib\PeYzL]enrWHkSuEZFLdeqRYHksu]LBEbbPPhWssYQTbIndWQkhUcjMVFJcdpQxX[{mYUnJWdjQuXZ[liTrIyd[QmxVkjqr]X[klUUzJDdeqnXUKqUTBKldSrFXgKhuXbITdCrNX_KfuSBKTeCq\X\KduVrHldwqXXGkdUQZGhcyqKXNkgEPzGTcQqFX@KeUNrHlc?qVW{k]uNjFLbmptWuK[uMbFDbkpnW|KXuNbElbophWkkTUIzDla}p\WokXUKZETbApbWtJYtlrEdZWpfWcKoUHbKTaSrBX\KOuVrC\dwpDWfKNUIBB|acp@WZKRuFRDL`opPWXKuUEbLtesopXhKIuYrA|egolXmKEuBbLdesoXXhKCuYb@\ekoTWEKUuABDta{oNWjK?UJB?TagoBXDJ|UPq~dcWnvW~JyUOQ}tc?njVaKZTxBFD]KpnVXKcTurHT\gqRVWK`uOayt\[qHUzKjtnRJLZoqpUwKlUVAvTdklrXkJXtkbLlewlhUnKtuYQuDeglbUkKptjbKdYsrJXUJSUTAstdSlNUaKhtgBILYCqdXfJHuYAqLeWkdUJjETbYodWIkFVRJnttA{L\Sn@VOJmTsazt\CmzVMJxTrq}\[snbVlJdtrA|\[gnXVFJzt}QxL^_mPVmJaT{Awt]{mJV@JsToq|L[GnTVeJ_Txqvt]Sl~WDJTTir?\_OlRV|JITda~|XSn|WNJFUCQqD`?k^UbJCtaaslYOkPWQJAuDAo|`KkLT~JMt_QrtW?k~UYI}TfAntXkjzUXI|tdqnTX_jrTuIwT\qmTV_jbTtIvT\Al|Usjf[qGdSRIH\Cua\PNcoqWhK[eeRPHff]rnhv{{I]@N@jMtfyrtYAlDU`jPthYsdYalLUfjCtaipDWEj~U?izT]Im|VMjjTsiwT[imLUyj^TlmsFRZh|syyR\FmcVMrgLsGxx\BM]vMBftrgx~[xM_VMrelr[xz[{MZVMReTrgxh[wMXvJJdtqux`[pmVvWBdTuCxV\^MSvVRd\twxR\[MTVKRidr?yj[nMhvJbiDqoyd[lMgvSrSltOtL\TLRvNbcDqGy@[`M^vOrb|sGwz[]M_vXRbTuWwx\fMLvXBalpWzD\bMIVXb`Du[wT\dMCvXB_|uKwJ[EMpV?bkTuOwH\bM@v?BjLoCyv\YL~vXr^duSv|\eL}u}bi|t_vvZxMjUzBe\mkxhZiMXVUr\DtcvR\YLruxBitmWyn\WLquwretr[vBZaMYvPrZtm?yPZ^McvRRZ\s{uz\MLmUrBiDkwydZLMgupJW\kUu@ZAl_uirj|iszBYkMoUiBjdigy|YhMmvPBRLsWst\DLLufbhdhsyV\ILMUhBhTiGyVYbMeVPBSDiCyLY^MavEB`tpcw^[VMGVAraLoswf[KMHU|bVlj{vpY}Lzumb]\nStxYzLyUlrZDjcutYwLkulbY|jOulZTLYukRY\jKuhZQLXUjbYDj?ubZNLVvHBQDhGxJ[bLGvHbPlq_s^[fLFUcrPThOsXYTLDudrOth_sHYULAuzRODfwv^X~LvU^B]TfsvbZoK|u]BWtfguPXxLbuqRMlkkrnZIKzU[rOTfOsFXqL?u`rMDgcr^XpLCWCrdlqyxX[omWvJya\PUghEobXPkYYdLYejRQhhssYOlGQcFQEhCS`yNtFub~Q?h@S_Z]DnIvbZllvUzzO|gesPY@l@u_jM\fQrdXnkwu[KHIAz@`_noUGPkDiCb@U`FoTWIKDMCP@L`DORwOsCmAP?x_aOMwFcC]@|?z_`OMWFcCE@Z?p_VoIWD[A]C@?``AOGwOSAU@D@z_~OHWCCFu?D?r_BOLw?cBT~x?r_?OLv~sBU@{~v__N}V~SCMAG~p_cN|WGr~L~@AP`ENwvzsG}CK~X`DNvWPB|l}dAL^jOcVycG}CK~L^gOavxsGd|t@t^^O\vvcFeB[}t^[O[wMBz\|I}b^RnfVsJx}BO}J^EOZVpsEl{L@b^AOXvpCEU@O|j_TNXwCrudzD?p]qOJvkCAtxe{t]WnIvdzquC?{d`ANIWORq\w|@z_~NGvcCFtwd@t]JO\vacFeB[{P]EO[v`sFEBO{F]DOYv`CEtw@@b]AOXv_SETvh@V\zOUV^CDlv|@J\|ORv^cCuAgzf_hMwv[cDDux@\\oOWVZsD|~S}n^vNkv|bzD~G}h^sNjV{rylz{|l^@NZvoBvDwo|Z]MNVvbRttyg~F]kNqvir{dyd?J]fOBViC?dyW~D^_NQVhR{M?c|F_GNPVgS?|{_{|^INOVqRr|xk}V][NevfRxdv[|r\xN\v]BvTzozh]}MzVnRmm?{zZ_MMuWBRl]?gzP_KMtWArlMM_?`?Q_GoDWA[@QpTWkkTuJZD|ayp`WpkXUHzDLaaRVHkctTeirdXmknUWjKw}c_ENpGDbzQ?w}c^mNpF|bzP~w{[]]NJF\bopvwxC\mMlFDbkPpwyCZ}MhFBbhPoWvS_ELpGDb]Q?wuc^uLdF~bZP}w|CYuNXEpbtPjw|SYmLLFlbsPiWmC]}JhFraxP{Wls^MN\DlatP{WyCUeJHFTbhPXwjs\]JDFZaoPuWhc\uN@DPbnPRwgs]MITFfacPxWxSPEM\CTbePCwxsO}MTCJbePBWSkIeDNAZ`KofWmsLMJtBNa{OsWbcXUH@EVaNPeWsCP]GtEdaKPgwrsOeKxCDaBPewqSN}GDEPbFP?WpCNeKXB|bDO}w]SWMKLBv`yP`W\cSEIHBn`wPOwfSM]HxBja^OyW[CQMFHCf`pPHWZSQeE|Cl`mPIwncLUEpE@`jP^wiSJuE@DVaiOnwjSJmIxAx`ZPUWecJUDdCx`WPLwTSQ}D\Cr`UPKWWSH}EHAb`bOgWXCHMClBJ`IOrOBg@{?vJ{S^iOtGIc\QQhD`NogwSKHMCnATeHR?x_so}WHKPd}RAX_CouV|KJeBQ|x_cnmWDJxe?Q{X^snUVxJrdvQkx\ci}VTIpdSQyxTcm}TTJldPRCXaSi]THKNeCQgXRsouSxKJciQ|xJCnmQlJxcfQ{XISnMQ`Jtd?QvXZCgMR|JZdhQoxYckUU@JVdJQaxPshmSpILdGQ`XQcgeSdIFcuQpxMCkmR\JHcrQrXYCemRPJNc]QlXGCjeP|Ivc[QnxVSbmPlI|clQKXJsbUQxGrcTQWXKca}RDGlcQQQXHcaePLHJcPQPXGs`}P@HBcKQwXBcmMU|GZcIQxX\C`]VLGRcEQ[xACf]O\HtcDQ]XNc_eRtGF?I_EOAw@[?q?T^FnavpjwT{Q}FfWRfxucyM\dM`fLRlxrCzm[xMxf`R]xwsv}]HL|e{RoXmcz}ZlM|fZRQxvSs}\pLLfWRPXuSseYLMtf`RHxdS{]XPNDeQRoXcCzuXDM~eNrExbkpeWjKVfQRcxqsye\LMTfURcXtswu[\MjeiRZXlStMY`LhejRZxjSvMYpLpe^RWxgSu]Y@LdemRMXkCruY|Kzf?RKxocr][DKteUR`xeCwmX\MH[hmTVIzQDhEsdYMlFub[RUHrCvaXpJweLCaaBPIg`sPiGlCy`zPKg^sMiILBQaZOwggsLiH|Ci`rPEgYsQIE|AI`vOeg^sHIFl@qaBO_gasFiG[~]^jNrfur{X|{}e^NNjforxX{[{a_VNKgFrqi@k~y`^Oqg?sKI?[~a`RN{gUr}iD[|i_nOYfnrvIBL@A]jNWgIsChy|?Q]^OGfhs@hyLJa@J?`_Pm|V^Jn\vuz~\}muVZZl\uizR\gq]XNkfmRfHvcys?y?K~}^vN|f{syY\\MufJRfhpssIZ\LQerRQhjsrIZlKie~R_hfsyIWlMqeNRihcsxIWLMYeFRah^smIZlMAdzQyhnsmiY|JaevQ{hkssIL\LQb^RQgusliT\JQdNQghXslISLJYdFQchXsaYP\GucJQFh@sqiMLFIeZPshfsniJLDqeFR?glsSiWlDYeRPShbsdITlHadbQUhVsbiR\HIczQ]hGsXiNlEacBPcg~sWiNLDybvP_gztZ?AW?{?a?N?G_CueZR\hisxY]lMufzSDiEtDYblQWa[PUGbCJaFpBWWKJuD~Av`\omYrdWmk|UNjOTbYodYMlLUHjBThYllVEj^Trizt\YqtVMktTvjKT\YqdU}kdTpjGTZYodUEjHUHjBTWyjTWmi|UNimTbYktTUjTTXisTTyhtUeidTjigTXystSEhxUbi^ThYfDV}htUBj?TLyeDVejxSti|TKyrtP}hDU\jOTGY`dX]g`UZiFTeYqDO]khSJjHTAY_DVejxSDi|T?y^TV}f|UBh}T_YdtSUhTTFiUTOyctSmhPTLiQTQYaTNEglRniIS{ybDNUfpS\hzTEoCgAK@A?f?S_Ix][nUVbJxd|q|xBK`mOzGRcJqDZETcmplXNkYURZDtcUp`XHkUUPzDda]pTWpkVUIZETaEphWbkZUHZ?|_MoJV|k?t~zHT^]q\VzkeT}ZGd]UnPXHkbTxyudbelpW|jZUMzGDZ}lxXBj\UNyttbeldW|jWUMytDb}qDUlk_TizBT^Eo|VtkMT{zAd]molVlkKTzyzt_}nDWRjoUCYzT_umxWHjkUAyyT[]mlVJjiTqYwD\EmHVNj`TrZWTJ]djQrbfprWx\GucVQHh@s`yOlFucBP~g{s]yM|kivBZKlpuqJ[lliuZZGlnuvJX\jqujZ?lkunjY|kyuBZQl^usJVldqujX_lkuVjY|kQsfZElJudJW\gquFZClFupjQLlqr~Z]k|uujNlmIrrZ_kzu\J[leIufZMkrusJKljItFY]lYukJSLhatnY[l[uejV\gYtJYIlSuaJS|iisBYmlAu_jTldYrRXYktuZJJLfIqfXmkiu[JILt_?Q?L?D_AO@g?k?q?T?JunZWLj}jNTjisszy]\NEhnSzi[tKYelRMfjRxhzuZzM\fErVXlksvXJpLwqzR]ImrvVjo\uI{N\_nAv_Jj\vqyz\}mkv\jklvizR\wmrvTJl\tYzZ\QmvvSjl\tYz^\SmuvRJj\tAyz\MmkvVjhluAyb\amfvOJmLvQyJ\AmxvMjmLvQx~[{mxvQJdlsixR[imbvQjc|qQyN\GmPvDjpLwqwv]ImKv\jaLviwj\wmHvAjqloy{r[KnJvbj_loa{b[EnHu}JrLxQvzZynJu{jp|nY{fZsnGv_j\lnA{N]Clvv^J[|wAvV\}lsvLJ^|rawF[um?vGJeLrIw~[[mVvQzhLs]y^\PmevTziltMljUxjZtmyv|Zv@H_XoSWF[Cu@n@H_RoRWD{DE@V?@_^oAWG[?UAM~|_^n|WGz~eAF@T^DoVVq[Dd{]||_noUVo{DT{E|p_vo\VnZvUBe|l_roYVl[EDzM|X_pnWWLZtuBM{t_vo\VfzreBf?L^tn{WA{@D~]~\_LoGV{{@t~E~D^\nrVwZ{d|}~P^VnuVuz|T|e}\]jnSVqzxdy]|H^PnPVtZsD|N@xaDo_W`{FuGfCp`rpLW\{QuFVBXaPpHWZ{QeFFBL`xo}WY{LEFnB|`bp?WW[OUEVAd`^ogWU{JeC~Ah`HokWR[IuCnADaJobWb{GeGvELatpdWm[XEJ^D\a\pXWg[UEH~DPazp^Wj[TUJvE@abpaWh{WUIS?Db]pe_@K[ULC?Lb_pfwu??eLNEk?ApmwtKZO?^