CAT(3182,2)

Sparse6:

:~?pm_?O?G?CAG?t?X_LoG?BkAC?|?[?NoCGAS@E?j?S_HoDgA{@a@g?j?SOJ?DSAs@R?l?VOIoECAo@^?a?VOGoD{AO@`?d?SOHoDSAW@R@B?Z?OGGGBUAC?s___MWGOBa@m@?_\ONGF[BC@|?r?^oK_FkDGAY@B_f?PWH_CQAO@H_b?QwGwCiAl@T_joRoI[DCAh@O?hOOGGSCEBG@X?nOU?KCDgA~@[?oOVOJsDkA~@d_rOXGL?EEBE@h_p?XwMWE{BT@l?uOZ_L[FGBj@o?xo[OMcFoBp@v_zOGgCcAMAR@I_doUGJSDeBT@j_uO`OPCG[CTAE@Co`oOSGOCJAB@BO^oOSGKC@AC@?o]oOCFcCB@y?~o^OPCFoCT@}@CofO@s?}?ZAb@M?awROGuCuAK`JoeWRCH{CjA\@JOf_QcHCCzAR@Noc_RsGwCvAN@MOe_QCI{DXAp@VOk?TkIWDFAd@SOh?S{IcD@Aj@POi_SKJw?Z?N_FOBg@k?}EMAz@^OnOV{JoE@Az@`OnOW[JoEBAq@_ol?WSJKEFA}@[Om_WCJ{DrAv`ZOlWZGHmCxAY`boqGXKLSEtBZ@hot?ZKL?ElBQ@kOsOY{KqETBJ`e_uWZWK}E[BY`a_twWoLYEoBC`tozG\kMEF@B^`s?xW[wMeFKBi`m?wgZoMQEyBb`{_{G^?MyFmBn`w_|G]WNYFcBt`}O}w^SNuF~B}`\onWVcLqE|B\`roxg[kO[GXCGAFPBO_sO_GTCFADpAO_sOcG@CJA@PA__KOKG\CLAApB?_cPwGyCPaG@FG`wPmGrCYaKPDwakPYGcC[aM`DGaWPmHOCdaS`Hgc_Q]G}CbaO@GgboQEHTCkaTpJwdsQuGzC[aLpL_eCR_HdCvAWpLOe{ROHpCrAZPMWf[RiHxC}a]pX_gGSQH}DBa_@OgowVyK@D~bG@^WncVm?T?J_EO@w@K?a?i?O_H?CwAG@Q?k?R_I_EGAw@Q?k?Y_K?EwAw@eBq?X_|_EwNO@iA_?r_g_KWHwBIBC@P_p_RwI?EEB_?C_x?@gMG?UBa@`_p_[gKOFAEkA_`k?ggYwIEBuAa_{_gGNOIE?G@|_~?@gN_?UDODr`R@\GSwVI@??q_O_KwEG@}@?D__O`WgkG@}?a?[_H?FgA?@uJC?]ao?FWkG@qEgDr`i`\GYWVI?SBp_E?{w@WNIJ]BC`a`[WWoVA?MBm_C_{G@?M}?SCB_D`@G@_OUJUCbat@GgcGUeGA?Fa@?AW_??aJWCdav@HglgQQJWCoav@KglgREH~D@a_PKolKUkHjDiAYPOggcSMN_Dnawp[G}oVUJnDua{P]gnK__?H?E_AopGWsKUOcGPBxqCO}c`CNjE[BzPf_~CXsNnEZB~peP?KXgO@EcB~Pg_~kYKNxFuBNpgO~C^[L@FzBTP}OtK^gLPEfC@Q@?ssYSOFFyBWPj_~[^cL^GDBTpjP?{YoOLF{BYP~Ouk^wLlEpCEPkp@kZGOVFnCCQA_|k]wORExB\Plov[Z_LxE}C@q@?v{ZsODF?b`PoWwW^}MIG@baA?Gw{[aMLFHBePr_x[[sMTFPBiProy[\?MdFWBipu_y{\cMlFZBoPvOzs\oM~GNCFQBpAC`?O\GDCCQ@p@S_WORFoCDp{P@k^GOXFcBopwo{s]SNDFhBtpxo|c]_NTFtbxp|Go{WeKPHhBCPaWo{W}K\ELbDpbGpSWMKBEAbGPcWqSWQKJEEbEPawpSgCK^ELbFQBxAC_yKbEQbGP{G}S^ESeERbIpdGqsXaKnERbIpdGqsXaKnIdBvpzW|se?RFHaCqqWPKce[RFHdCrQY@KcecRLHfCtqY@LSegRZHjCvQYPLcfKR^HsCwQ[`MKfSR^HvCwQ\`MKeoRpHmC|QZPNKfORvHqC}q[pNcfwRjI?Czq^pMsgGRtIBC{q_PNCgORvIDC}Q^POsfwSRIGD?Q^pO{ggSDIKD@qapOKhKSZITDFqd@PshWS`IWDHQdpQKgsSrINDLqb`RShCSzI]DHQc@RciGSHIbDBQh@Okg_TNIHDQqh`O{h{STI`DEQg@P[diQxHZcmqVxJshKQJHFDIQP`QkccSpIUCdQQ@Q{ckSrHLDLqR@RSc{SzI]CgQR`RciCQpI^Cjqg@JKdGTDHRDQQSPS[dOTJHUDRqTPSs`GR@GSCpQCpKK`gOjGVCKqD`BC`oO~G\COQEpBsaWPBGaCQQHPC[a[PTGhCUQI@D[bCP^GqCUqK@DsbOPlGtC[QKpE{bwPrGzC]QNPFSb{QFH@CaQO@GSUiJVDhauPZglkU}JbDoaxP\Gm[VUJnDuazP\wmkVaJtDxa|P]GnKVqJzDza}p]wncWAJ~D}a~P_Gn{sgXKK}eSBOHcwr}XQL?e^BIxfwqiXYL@e`bJhd_sIX]L@e`bKXe?sIYGKqebBLHggrMYKKueaBLxggrUXsLFe[bQXf?saXuLFe]bQXf_saXuIgdTBNXTGrqWlKSeIrDxbKpaWCKeeABIH_Wq]WIKheBbIx_oqiXYKIeVBAH`GqqX]KJeEbKX`_rAXGKReQbCXcWpIXsIqe[AkxfGjETmKtd[bLxV?rYUWK_ePArhXgqEU^JPdgQsxYSlQUnJTdjQuHZSleV?KqeYAvheWl}WuJoeMA{hbOnEWyJreNa|XbonQVYK_ePAzx\oqEXIJiduBGx\WqQWsJfeMAyXbWmaVGK\drBFx[gpyTUJ~e?ajXT_oAT[IydWAnHTwjmTgJ?dZAohUgkEUuI|d^avXZ_jyVAJBdpapX[OkQVkKMd{BCH]wo}VsJGd|aph^Gk]VwJHdda~hXOnuN~G@c?PbWp{WyNZFnbvP|W}c^MNzF}b}Pagp[WqODGCc@q@X?{_YKBEBb@P_go[WEKHEDbBP`gocWU^KNSFoRt`{S|S^BNVFpRw@zK}C]pNbFlRxPz[}O]xN]Fprvp{k|s^HM|Eurn`l[zoZXNGEvR[@xSu{]RLpFfr[pxsvG]`LsFgrspms|GZjMxFgrspv[|G\tNJFZRr@vCz[]ZMrFcrq`uk{_\hN\FWRk`z{zC]|NVFUruPts|_\^NSFTRt`tc|S\VMfFlRiPzcy_]vMeFarppscyS]LM`fPrghrsyA[~NAFFrc@wcxC]FM~F?RoPoS{?[BL~Fer^`x[vs]XLyF^r^@wKvk]@NAE{Rp@nK{KZnM}EtRnPlKzoZPLdFfrXpxsuW]`LaFarX@ws{[ZFLJeeRQhhks}Y\LOehRSXi[tUYhLUekRTxjStmYrL[enRVXj{uEZ@MZF@r`Prcxs[HMEFKR`prSw_[rMSFDrc`pSxK[RMTFERdppsxW[ZHecsQXxNsgAR~I`dNqgHSSiQTFOmgWSJyD\Au`XPWGHsDAJT@SarPWGGSUaALDc_dOLGlsBqJl?waxP`GDSWq@dEG_VOHGoS@qJ|Dw_POCGnS@aKD?Sa~PbG@sWQ?TEG_BN}Gls?AJk~{axNefsRxx|S}m^RNkfvRzX|{~E^`NrGZR|AEdBS^dOpGcsQqE\BGaTPKGSSIaHtCs`ROdGbSHaHDC[`NOaGasPACdCK`FO^GfsGQILA?a`P?GMSOQBtCG_zOXGhSEqId@gafOUGisTqBDDW_nNtGZr|qFK~W`pNwG\R}aFc~c`vNzG]r~QF{~o`|QehSShyS\IQdJPcHUSjaKtESdZQ\HJseQRtH_c~QSHOSdaSTHSdBQnG~skQOLJ?c@QYG}SeqNlHob|PyHSs]QTTFkdVQJGzSbQNDF[cXQFGxs`QMlGWbhQAGwS`AMTGKbbPlHCSZqPTEwcRQPGtSZAQ\HGbVQMGrscALLG{bPILdFqbhQShES`MBfAr`Hoswa[NMIfCraxpcwy[ZR^HuSwQ\lM?fVRdHnsxq[LMWf@R[HsSva\LLsfTR[HpSva[dLsfFQxh[SmiZLLievQ}HpSoA[dJ{fFRdH\sxqVlMWdxRiHYsyAU|McdlQqHtslA\lJKfXRRHjStQZDLOenRFHdSqQXdK_eVREHfSpAX|KSeZROH_ssaW\LCeDS]E_RNxfssEYFLAeaRPhgks]YRLGgcsQyHTCYaPPFg`sPYGdCAaBPAg]sNyFtBi`xOzgZsMIFLBU`lOsiRdJYdHQ}hOSmiRdIidHQqhOSjiXdHIehQUhgSeiQDKIePQYhISpiOdMYcXRmhCSyiZDGYf@QMhmSai_DGIbpSEh}S^iNDNIfpQAhyS^h|dMYfXNifwSyiIdLiaxRagkSviHDKIePPQgeSpiFdNIaHRyhySOiTDBId`OyhUSLiDtAY`TO]gPSEiUd?ydxOUh[SCiXd?IehOIhgS@h~dOY^hSAh}R}hzdEybhNegwRwhyDEybhNYgwRthwdEI]XPifcSXiKCzi]@PigqRnjGBwH{S}E^FNdfqSayPlGqcPQIhCs`YO|GYcDQCh@teQq\XSkvUYJITdaq\XSkpUVJITcAr|YCkdU_JGtcArdXGk|UPJMtUijdTmjjTvizTeQktXkjPUYIrtdak\X_jJUVIqTWArdUGk|T`JMtVQr|T{lBT]JOTbQi|W{irUMIkTTQplTWk^TSJFTaaiLTKkXUJIhTaahtWoi`UJIftQqo|SskRTKJCTQAo|SgkPTHJCt`AglWWiNUDIbTOaodSOkLTBJAt]AmTVOjtTxIxtZqntW?jbT~IwTZAn\UwjxTlI}tYQoLUkkFTiJ@Tya{L]MnDV]jntwItX]]lYVhjUDyI{xYanQUijsDiY{`YUnKUfjqdhisP]QlGVejPdxYzX\UmmV\jmDtiz@[}msVPjkdsItp[el_VJjVdqiwpZumOU~jbdnix`Zim[U{jedmyux[AmCUxj_dmIyPZQlkVSjhdlYwXZEmIUrjaDkibDPigrSZiMtFI~``Qn{WUj}eDZAL`ModWAkAU?y~x`]o?WWkKe?Y|h`]n[WWkKdzzA`]iokVkkIdyz@p^eo_VzkFd}j@X^YnoWLkED|z?h^MoMVtkBD|I}@_ancWIjweAYodWYkJUFjCtaIpTWqkVULjFtbjBPbapsW[kLeMZFXbUpyWvk]ELjEPbypgX?kXeNzDxcEpaXBkWEOjD`bapsWmkUeMZDLampTWekSUHzFXaMpIW|kQENJFpaAq?Wak^eGZBhcEo}XBkNEOi{d]YnJVfjstyJKDeEq~X[knUVZI@eIqcXckgeWzKPcurGXNkpeRjHPeUrMXKkrEQzGxeUrMXHkrEQJIpdequXWkjeUjIXcQqKXTkaeTJMxfirwXxk{E]zMHeirOXrkxEYZNheyr}Xok~EZzM`emrkXlkyeZJPHgAsUYAlDE_ZOXgYsOYDlBe`Gk{UaJLFcbrPxW|[]qNTJedqQxX[{meVPOXgLsEiAt@a_nQthZsliUTJQdfTkivTZYlTUejVVljvtzi|T]qnVXUkkUTzI\dUqhYuL]UnbVDj[tzYrL[ulRVTjOtvYvLXUmBUDjWtbYrLUulRTtjOt^YiLWUjBULiktdYgLUujbS|ict^YiLQUjBStiktJYgLPugRS|ictDY]LOugBS\h{tDY\LRUhBRdiSsvY]LKUgBRTh{srYULLufRQ|hSsxYQLIudBQ|hKslYRLLUdBRDhGsrYKL[ubbV\gsttY}LGubrVdh?tzZqAjpUGjKTiIxDZl~@VwjsTuwGD_apPWWkcUUJFG{c^QNXG[cQQDLferRXXlCuiZRPegqSXYK|EebPRyh|s~I^lNyf~UmjWTjyuLZMldW_kPUGZBl`}o|XgktUYZL\eurX[lMWVJBdtq{xV[pMSVKrdTrGxR[dMTvJRc|qoxL[aMSVHBdTqKxR[fMOVGRclqWw~[bMMVHBbtqGwz[YMOVGRb\pcw~[UMMVEBbtp[wz[YMIvEra\pcwh[WMGvDraTpWw`[LMHvBralowwh[OMDVBBaTokwb[FmCvAJ_|oewP[MMAvBR_toOw^[JMAvBB_toOwTZ?M@v?bWLj{wBZkMVUzbeDmsx^[pLsuybeTmkxf[?LrUyB^tm[v~[?Lquwr^tmOv~Z_L}UwR^lmGvvZ^L{U}bZtncuzZYL}u}rZ\nouxZWL|U}BZLl[vrZSLyutb]|lSvlZPLxUsr]dlGvfZtLfU|rYDnWu^ZJLxUrR]dkovfZnLcUqb]Lkcv`[ALav?rWtoCuNZALvupB]LkKv`]YAdpRWhcTAI^DMnS`Sgi[TEIhDUaivjZttyq|X]mnUvdBedxWxj]TMZViRkLuK|V]iMpVibj|ykz@]hMnVUBsttg|P\XNRvhbj\y_yz]fMmVgri|tS|H]dMjVSrsDtO|D\QNOvRrs\ySy`\PNQVgBhdsw|D\LNOvfbhTx{yV]\McvebgtxoyP]ZMbvPRr|sK{z\CNNVebgDsG{x]ZM_vNRq|r{{r[}NKVMrqdro{l[yNIvLrq|r_{p[xNKvbrpDx?{T]HNFV`Rp\w[{Z]ENEV^Bn|vw{B\|N?V]ro\vc{H\yN@V[Bm\vGzh\pMyv\rlluwzl\nM{VcRlTxKzX]QMtvXBk|uWzR\dMsW??jSTqIvDYamPUwi{TaIrDVakpUKAOTuI~D]anpVWjtya|L]foKGCkAa@j?e_XoIgE[Ay@j?k_Wo?GBK?Q?z?A_LoEG?{@q?V?Y_CoGg@{@y?Z?O_OoCgB{@Y@F?S_OnyGCkA`~Z?e^tnxgDZ}Q@^?k^poCf{K@X}~?S^mntg?z|a?Q~Y_DnsG?J|Q?I~Q_@nqg@j{q?]~M_Gn^VoJv|{E}F^An}fkZ~xy}|_^}n}fkj~xzQ~{]rnZf}zuh~q|k^ynzfwj~H}Q~o^bnnfuZ{H|m~?^YnmFtjzp|a}y^VnhfrZyh{}}g^MndFsJyP{q}a^Jn\fqZvh{a|w^Fn[FpJvH{U}K]yadpRGhkSuIXDJafPSGh{S}I`DMoy`Sgi[TEIdDPahv~Z~|~yv^ZplwU}j^LnavvZ|l}V?Z_\oJBu`tozG^[MyFrBo`zo|G^[NIFrBG`nopg[[KiFBB_`eowgYKLyE^Bc`hotg\KMYEjB[`qoug[{LaFRCE_np?gJ[OQAzB?`wopG]kKIFfBk`\ozgV{JqFVBW`YovGVKLiDnAm`gokgX{JAEZBQ`SojGYkIiEnBE`PoqgSkKaDNA[`}ogG_KHyF~AUaFoegaKHaGfAN`EoawQKHUCfCQ_}pCGNKOyBv@q`}o\g_KFQF~CA_up@gMKOQB^CG_roYg`kEaGVCG_opBGKkOiBF@B_boPWHKCmAZ@P_hoRwIkDeAnAC_\oaGE{GY@r?{_~oOGO[ByCA{j]UnIVdzrLxa|@]anOvgzslyRF?aupnGlKZyJVDab`pXgwkUQMND_b^pVGwKTyLzFAajpUgw{[QIrFGagprGik[iIfDKbgpQgx{SyMfFIacpqGg{SQMZFMa^psgg[\AIBC`aPpHWdKQmHNClaVpKWe[R]HjEqa\plGfkRaLbEubHpmgq{ZaKjEKbTpcGt{WyLZEEbNpags[WaLBE?bKpfGokWIKvDybRpiGn{YQJzDsaIpEGnKVYGnCYaxp[Gb{PqJ^G}bkqNGy{biMjGacSqHhDkaQPVGmcMqGHE[bAO~GAcdq?HHK^yQNFwc_p~HGk^iQFGUbxp|hB[^QOrGKbwqBg|{_iNZGObrqDG|[`INRF_cApxH@K]IONFYcYqLgzk\yPrIMDcaqpWwk[UUJH\WmlVUZjdtuyv_~o_wOKGeCJAFdQQjxUCiETXIbdRQexTSh}TPI\dIQgXScheSlIbdFQexQSh}S`I\dHQaXQCgmS\ILdIQaXRCguSlIJdUQUXUCduT\HZdRQSxTSd]TPHTceQ^XICgEQ\H~d@Q\xNSg]RpIDcqQ[XLCfURLHrctQVxKSe}RXH`eEAiPTWisTQIlDToEWB[@u?~?b_OnWVkZt|zI|h]rpiwt{YuLJEhbRpfws[YEKrEZbMpZwm[VEJjDxazrIhh{qyYfKkegrQhc{qaYZLGeQrFhe{qAXrKae\rKHb{rQXFKqeOrOhbKsYWzLCeLrEHfksAWzK}eLrChd[pYX^KSeUrBHc{qaWbKMeQr@h`koaWbKIeFrCh_{pYWVKSeCq~HU[nyTnIsd|rQH]ksqVrLIdzqzhh{nIYfJoegqyHg[mqYNJiearLh[[mYXrKydqrKHZkrQVBKqdnqthfksAUvK}dkqsXYklMUZJNddr@HW{oAUJKAdcqnh^[nyUFJ{d_r?HVKjqWFIyeAr{GZ{MEFFBd`royXA{`mOrGPcIqCx@k_}OVGDcCq@x}t?M_LNzgAR}X}s~u^tO@f{R~x}D?}^hORfxSCX}D?e^hOLfxSAy@sye\XORgGRixsT?M_LMfgARhY@Cxu_XM`gDRfxrT?E[lN|fKR~xp[w}[ZMDfCr`x|sv}[DNjf?RzX{cve^PL|frR]xzsvM^DLvfoR\Xlc|}Z`NbevRwXzCu]]xLhetRuxzCuE]xLdflRWx|stmY|NjemRzXic}UYpNhejRxxwc{]]TN@f`RqXxszu]XMzfgRnxucxM\pMTfZRcXts|M\dNVfWRtYSdG]cVQHh?s`YO\Hy`NQagTsgIDLHy`BQagQsgIC\@yczOYhKsFIR\@QcrOWhMsDiR\Aqb^OogxsJiMLHIbRQSgusYiQ|DqcZP_hGsViP|CiabPMgisRII\DYaJPGglsPiJLFQ`~Pwg`s\iGLBabvO{g~sMiNlBIbFOugrsLIKkn}VzJzeAr?X_\MEfJRbhnsvYZ\NaejR{hks}iY|KygBRQi@ssI^|NydVSAhVt?ITlNadJR{hSs}iS|KIffRuhbspI]lJyfVReh_snI\LJYeRRKh\sqiVLMqdbQshwsziU[|e]zNZfnrwx{K}U^RNfftrzx|lOQiZTOiCtRi_|RiiZTOi^tRiflSAhjSwiatOie|TIh^TUiXtTIeLQaiNSkidtIihLQMhNSdiOtFYb|SAgnTCiLtOibLPAiNSSidtCihLTIgVSKijtBiilHeczQZhNsgySLTeizTZjFtcyqLXQjbUWiytdim\XQjVUWivtdillUQkvTgjNtXirlXii~U]iptfIkLVqkFU?jBt^iolWajnTyjEtainLZylBVAjQtoIs\[QlrU{jctpiv\YqmVUojftjixlYYlfUijZtiIul\qnFV_jrtvi{l\YmbVSjltsizKgmSZIHf_rpXw[zu\~MzhUsjyT\IUdRQfi}t_Yn|V]jvTxkKUBZBd`EotWNkBUCzAt_mohWHk?UBZ?d_}oDWPkCT}y~t_]oTV|kAT}Z?D^UoDVvj{T~Y~t^]nhVzjsUEY|d`unTWZjvUCzAt^MohVpklAcPQghMWNKJeCsQyH|CuaJPHgbt@Y`LO]gZSJiFtgYslYMlNUjjSu`jNLgarzYCk|u[jN|gIrnXsl?uZJM\fArnXmkyu]JLLeYrzXyktuZJKLfArJXmkpuWJK|eQrRXaktuFjH|aAqfWakguQJN|gIqZXIl?uOjOlcYsRXClBuUjFlcAq~X[k^uVjFLdqpvXYkZuUJEldYpbWqkiuIjH|ayqfWkkguHJIldYpRXWkRuy`Pgg{SVYgltuij\liqv^Yaltuhj\|iQvZY[lrugJ[lhyvRZ]lJuej[\havBZ]lGuwjQlmAsfZclFuaj[|gqvRZElhuqjY|kaujZKl_urjW\kQubYml\ukJV|jItzYslkuvJVLlitmIRDIacPQWhSSb[}m[VJZfdrExt[nmXVMZetruxh[zmNVLZetpmwx[rmIVJZbDq}wl[pmOVBzcdpMxD[PmCVHz`dqmwT[hlyU~z]DoEvdZ|lzV?z_tnmvp[DDDabpPggsS]IJn?URzI\dEqjXXkjv]jl|vqzf\}mwv\Jnlvazv\um~v_Ji|ta{J]Amlv\JlLvazZ\umtvWjl|uQzf\emwv`jjluA{R\]nDvSJoLtQ{J\Qn@vQjo|wiy^\KnCvNzg\sEyR\Dmbuvz[\mEvJZhlrvrjrL|I{z^OnLvijxL{q|^]kndvrjsl|I|R^OnRvqJr|{q|F]_ndvbZqLw}{f]VnIvljw\zi}N]wnavnJuLzy|j^?nXv~jym?I}r_?njvxj}\}i~n^gnyvzJ{L}Q~b^anvv}Jz\~i}~^{nmwCK?m@J?N_SoCwDk@]?z?v_WoEvMZflrm}J^Fn`vnZwLz~@P_toUWM[DUB^@P_noUWK{DUBF?x_toOWM[BuB^@d_boRWK[CeA~Ap\|m|v^z}\~]~j^lnwvz{KuDfBP`\olWX[JED~Ax`bolWW[FUDV@|`Vo]WS{IEENB@`NonWR[GuEVBL`JosWQ[IeCFAl`DohWO{QeFBCb`spFwckM]EzC^`ipGwckLmGJBnaEo|w`KNMFrCRa?pEw^kP]IjCnaWpRwiKQmHjDBa[pQwfkS]DVAn`RpUWm{UEJvD\axpXWm[UuJvDhazpFwc{QMJw?HbJp_?@kXw?JEDbL?@WpKXW?REPbN?BWpkXn