CAT(2312,1)
Sparse6:
:~?cG_?O?G?CAw@U?l_T_JGD_Au@i?s_YOLGFWB_@j?u?[OL_FKBg@j?v?\OLoFKCOAC?z_`_NGGWBuAC?}___NwGGCAAL@C_boQWHCCU@b?r_XOMGFSBeAd@Q_goSGICDEA[@S_d?TWIWCmA]@R_e_TWH_DQ@^?o_VOY?KODaAm@c_q?TgKWDeBC@Z_p_UgKwEABI@[_q_WWKwDuBK@]_r?VwD[Au@X@i?yoZOMsFWBX@t?toY?McEcBh@m_vo[WM[FABdAE?_oOwGSCuA\@I_foRGH[GWCRAE@DOb_PCG_CZAF@Do`oPcGKBvAB?}O`OM{FgCJ@x@AO]?OcFsCR@}@DO^oP[GwCDA?@EO_OPkI[@b?q_WoKgE[BMAl@V_kOUWJ[DiDMAq`V_iwT?IuDaAk`W?iWTOIyDGAh`Q?hwSoImDIAg`R?jGSgIiCmAl`W?eGROJICqAp`J?jgTwHUD@A\`LofGR{HyCgAb`H_gwPwIEC_A``H?ggQGIIEmBS@aOs_WKLKD~B?@jOtOWSLCEFAx`\OmwVcJyDzBU@Zos_U[LODhBR@YosOVCLSDlBF@eoq?XsL?ETBD@fop_XcKcEVAB`Ao`GZ_M}EmBn`k_{GZWNEFaBW`l?{G\KMyFTBj`uozGZgMME{Bc`n_xW[oMAFOBa`r_wWDCAi@RA``Pogg]OOQFeCC`y@@g]wOYFkCD`y`@W_SOMG@B}a?o~w`?NeGMBwaB_}g^_OaGQBz`}`AWbwLEEdBR`iOtgYkOkHDC^ADPG?`sQOG^CLAPpGO`cPsGnC]AKpF_asPsGpCZAMPE_bcPKHFCcAGPFoaKPSH@CSAOpC_cSAa@T?i_SOIWDKS?HwC|a\`NWfwR]H}Cya^@MWfoRaHmCdaS@MGfOQYHSC{a[`HwdGRmHdCuaYpKwecREHVCkaUpJgd{RABN@d_rO_WNkF}CD@}`?OpwXKKaEJBI`bO}G^cNeFtB|`|pWOk{UGJRDiAppYokcUoJJDeAsPW?kSUOIvD`AmPXOjsUWIzD^AppW?jSTgI|DWAmPU?jkTcIvD^AkpXoiSU_IfDSAspY_ikUoInDjAjPPWgSSMIHD@a_PROgsSoINDNAcPQoiKSgI`DHAfPdoC{AY@JDlBGpZ_qSU{KfDoBIPd_mKVGKjE@a~p_GoSWQKFEWA{pdonsX[JzEXA}PeOn[X_JtDtBGpc_m[XWJlESAyP]?q[V[KjEJBBPb?okWsKNENBCPc?pSWwKREqbYPlgu[Z]LjEkBTPkOtKYsLLEmBTpjotCZ?LNE`BLPeosCYGK~EbBMPhOrsYOKz?e_ROHwC{AU@JFR@QOhgSkMIFBB]`movw[CPAGbCQaIpCwacSqI^DLafPSWiC\oNDFbBmpx?zs]SNBFfBnpx_{C\oMlFZBopvOy{\cN@FYBnPu?z{\kMjFTBjpu?y[\cMfFSBjPu_yc[{M`FMBgPsOxS\GMXFLBhPsOx[[wL|FNB^pq_wC[sMFFJB_po_xc[UMLFFbaPqWxCZkNDFbB[pm?{c]SLtFfB]px_vc`_@F?a_QPcgqKXUKfEUbIQC_|C`SNVGRBsqD?|k]gOlGVBuQCX@c`AOZGNcFQEp?s`oORGFCMqA@Bs_gP@G^CDqF@?C`sOBGZC@QF`?[_SP@GCCNp}w~S^yNxF~b}p|@BC^SOpGYBzqE_}s^cOrFwCKpz`AS]{OjFoCHp{PAc^KOnFqCJQJXD{ayPdGocWqP@GkcWP~HFC_QQ@GKccQDHIC`qKpFKbOPtG{CYqN`E{bsPpGzCZQI@CKagPFGjCPQHPDcaWPRGfCQOGgCcAM@D?c_PqZ@LGeYRQHbcraYhLOeQROHjctaXXIGeMQeHdchAYHI_eQQkHecraTXJ{dyRDH_cmqWXIwcuQUHXceAUHJ_c}QsHOcfAUxAS`MOhGTcJqDhPGfYRcICdCA\xMWgURiIEcyA`xNsgASBH~d@q_hPGfmRoIFdAA^HNggaRqIDc|A`hLceuR\Hpcvq[GyC\IMbGxc\QMxFcbyPzIaDQqg`SsiKTNIcDSQi`ScicTFIUdJqeHRKhmStIdDGQh`QKi[SdIRDSQiPQkhOTTIIDMQgPP{gkSzI]DEQg@Psh{SZJEDZqmHVKjqTtIzdTaoxT_kMTYJCdVApXW_jAT]JDdWanXUOjyT}IrdYAoHUokITiJ@dhQsxYklQUnJUdeAphXgk]U[JGdgaqXXWlAUSJNcsqYxLShqSzI]dNqgHSKmOVNJcDsQx`\KmSVTJkDqqyp[sl_VNJkDkqup\ClgVRJ\DtQypZclyU~J_dpQwx[KoGUFJCdaq{x]cnYVjJwdzr?`^KoGVtKCD}r@@^soKVvKBD}QzP^{mwV~K@Dwr?P]CnGW@JnE?Q~x_KoAWmKJeEBDx`gpaWqKOeKbBxb?oyWIKPeHBAH_opMWgKIeBbDh`GpUWsK_eLbGXcOpqXEK^eQbFhc_puGzC]aMPTGiSTMIjDVajPgGsKYILFEdbQQ@h?{_eOPGJcDQQxHccuQ`HNcfQcHQKhISfITdIQphW{kaUTJJdcq}X^SnmV|J|d}RS@i{tCYpLREerR`ictGYlLNEirPphkswYPLNEcrSPh[tGYXLOEdROpg{sgYBLGE`RPPhKsOYVLEEeROpfkrkYBK{E`RPPfssOY@LEE^rNPesrkXjK{EZrM@fsrgY@KxE^rK@esq{XjKpEZrM@eSrgXhKxEXrK`dcr?XXKlEVrJ`ecqwXfKlEWrH`i[q_YnKjEkRHpicqcYlLTETODgA{@a?r?Z_LRdOBc@y?zM]?OOFwCKRyH~C|bBP`wpSWaKREDb[PnGvKZiLzEzcTqIhDca]PPGhc|q]HNKfiRxH|dWqkhUsjMTjIsdkQuXZSluUvJ[eAr@h_{oaWTKHfcBohxG{M]SNCfbbrXx_{U]UNEf]Bohvw{Y]MN?f]boxwG{Q\{NDf]Blhvgz]\{Mwf^bmhwGzm]?MxfZbkHuGza\cMufXbmXugzm\gMyfXBihuWym\aMkfUbkHu_y}\iMmfTBhHt_yU\KMlfRbjhtGy}\OMjfSbgXsOyQ\KMbfSBgxswyE\CMdfNRfhsCyA[~M^ekbexjOxqYuM\emBeHjoxeYyMYfcB_xxGwQ[INIfBBqxp?{u[MNKe~BdXnwx][mMAe}bdXqowE[?MUezbbxq?va[aLxe|Bchn_xQZuMRewbbxq?vI[aLrfHB\Hq_vY[eLtfCbYxpOuq[ULlfEBZhm?wyZ]MLeqbaXkowiZMMJesBbHlOwyZQMLfMbVxk_xmZ?MWeobeXkWxi[wLagY?Ag@[?q?Z?N_FSO?AC@E?dPE?HoDWAdCYaNPGgcSPyGtAw]\NRGVsK@yLBC]^OqFgRsaE\CK^rPBF{SPP~dCO^vPDF}sP@~S~Ka@P?FzsOP}tCC^dNtG`R|AGS}o`tNlG\rzaFk}{`|NpG^sN@}C}c`zNgG\sM`{s}[`~NiG]RyqFs}G`hOvFoRwQFLBW^FOtFqsM@{c|g`hN\GYsL`z|B[]vOxFmRvaFC|O`\NTGVrtaEC|[`bNXGXruAETAG`PObGSsIaCdAk`JOlGRsJACt@W_xOVGMsEABt@{_rO`GLsGABT?g_`OJGGsBAAT?s_fOTGFsDA@t??_HN}GAr~q?t?C_NOHG@s?a@DHg?l?V_KOEWB[@i?l?W_JoEWB[@idW?[_MOFWBk@y?|PBgasPIUPIqdcQlhVCkyUHJQd_QshVckyRPIYcwQfhMciYRXIac}QjhNCiiSpIAdOQahRcgYSXIedIQjhQCiiPXIqd[QKhEcjyPpIuc_QphFckIOhIAcKQahBcgYSXGadIQIhQCaYRPF}cwQ@h@CfYRXGAcEQ]hACfyIlDYanPXglSUIRHCyaSQVgecdyR@CqcqPHgdceIHxHEa_QSggcdiQhDQccPQhHcSyNHFMbsPsg|c\YN`FYboP}gzc^YLhEebaPjgwCYiLpE]bWPqgvcYIKHDmbCP[grCViKhD}bEP_gqCVW@S?m?X?L_FoBg@S?m?X?L_FoBi`w@A?`?P_HOCgALH]cpQXfFrcHqKxI[hMRfMreHrKxm[xMYiHdDyahPAgiSNiGdDia`PYgcSVh}dAY^pOmgSS@i?DBI_POyf}SLiCd?y`XOQgYSDiBdAi_pOqgOSMhbdEIXPPmeQSYhcDEYbhKqgwRJhzdBy^@PAgaRxiHC}i^`PQfuSRhwd?y]POQfeSDiBC|I`@NYgMRth}cyy^pMqf}Rli?Czi]@OIgARnhqdFi[pP}fMS_hsDGy\HQEfSSahnswI[LMIfHRbiNCsybxLQh?RTiOcticXLahCRViKCrYbHKye]SYhgDEybhLIgwRPh\snIWDJyd~Q|h_soiWtKMeHRDhYcuYZPJYeuQvh\CvIVHLyeyQwgVSJyEDBE`dOrg\SNIF|Bm`|O|i{DRinHS}jsTOihd^IiHVujuTQicD]IhHVeiYT{idd]yhPViiWT|i`D^inxSMk?TCj@dPYoHSYkCTFi_d_yfhWEhwT}i~dNio@R}i?UAiTTIyddQuh^SmiWTKYeTRUhhSriZD[iexVMjgSxiydMImxRmjkSyioDZIkXVAjATlipDZykhVEj[TcilDXijXU]jUT[isdVYjxUai{TiiiDHIihQUikSeiRdTydHTehOTWjADlIohZUloUFjZdaYvHWalkUEjVDiItxYel_UijTdkYthZMlWUqjKDnIrHZuksU}jJDmirXZ}kmUzjPDcIsXXElGUQjRDcyqhY]lIUSjDDfIpXXukWU]jEdfysHW}l?UMjo_GGB{@}@@?`_Or}X~C~i^vN|f}SuYZTLmexR]hmtzQ{|]wnPVnJuT{a|L^CnTVoJttyA{L]GnVVbJuTxQ|T]WnRVcJrtwazt]Km|V^Jotxa{D]Sn@VcJntzQwt]wmNVnJcT{AxL^GmVVpJdTuAwD[CmrVAJlToqz\[SmzVCJmTrAyT[smfVMJiTrqyl\[mbVOJjUG?Ac@M?j?S_IoCyStIidPQhhTshyHLCiaVPLgeSRildVAjZTniwtZiktU]jPThittYiitT]irTTikTTJG@aqqAWlkWeOzGPayp]W}kWENzCpbapUWxk]EIZFPa]pyWik\eIJCpbIpeWhkSELJCxb]piWjkTELjCXaypAWkkPEJZC`a}pIWpkWEGJBxaMo}W_kMeGZCh`uo{WakQEFi}X`]ngWWj{EEZBP^]owVukLd|ZAHbyocW~kHeOJA`cMokXAkIeOZ@XbaoWWxk\EBZ@pbmo_W|kFeNJ?hbIoKWrkBeLJ@@bUoSWvkCeLj?L^}o@WAk@u@I~H`aoqVykLD~JB`^un{WVkLd}zQPOegVSIiFTBI`lYIlFUfjQThislXqkzU]jNtgYsDhGs|YRLNudBSDh[tFYULOudRSThGspYRLKudBRThssjYVLLudbRdhwr\Y^Kvu[rS\i?r`XpLOu[bSTe_spXhLKuYbR\eksxY\KuuZBRTdqq|X\koUWZJ|goqlXZLGubRI|gwqpYNKlUURQDd?sLXPLCU`rIddGsVYIKiuaRI\cgsLYFKduaBHdgcqZYJKfuabHtc_s`XHLGuPrPdgsqHXDLFUPbP|f{sHY?K|U_RN\fosJX}L@U^RO\fOrDXtKpuXrMtf[rHXeK{u]BKlmoutZZlmUvjZ|lutSZglTexjT`m]t[Zhltejz\PiutGZglrEhZSxmevMYeltEiZT@mmu[YolfekZY@jIteZPlYeszU`lIv?ZGlcewZXXmIuSZbleexZX`mQuCY{l^EozVxkUuGY|l_EpzWHkYugYulielzYxjauqYxljEmzZ@jionWWkKuEjBd`mw\[ImEvBz`\oqwk[CmJf@Zb@o]wq[GmLf@jbPoewkZkmJezZb@mywqZnmLe{ZbPnAvoZ}l{e~z_@niwAZzm@e~Z_Pnqw_ZqmGe{za`nQvi[QlzFCz]xpUsLYGlBuaZP\gis`YKlEubjP|hEyI[_mMfOZgPpyxA\BmMFOJg`p}xg\?mafLZepsExm\Am`fMZf@sQx[[ymVfNJe@rmxa[|mXfNzePryxP[hmTVIzdlqqxC[ymPfMzc`rqxI[|mRfNzcpryvPZelruyZ\TmmyT\EmbvQJh\sezG\QmrfTJkhtMzK\TmsfTzl@tYzG\KmefXZhpuYy]\fmgfYZi@uayo\]mkfVzjPuAyu\`mpfVZj`uIzS\um{fZZlXv]zW\wmvf]zlpviz_\{mwf^ZmPvyze\~myf_Zm`wA{O]AnCf_zo`wi{I]JnBfbZopwqm|V_jnu^zN\fqrzXyk~UzJ\lmyv^ZolwvUJjLtiyv\\mmVfRs\xw|H]dNNvhbsDy_|B]fNPVfRq|x{{p]ZNNVgbrLxo|@]YNOvdBrLxO{p][NIvdbq|xk{l]YNIvgrptw{|H]dNGVhbqLy_{f]fNHVpo?{?e?PW\kNuFjWDjquBY|l^unjbdpuw~[`mOVFjlTuuzV\kmvvZjyx|m}e^XnmFtJzp|U}o^YnmftjyX{u}c^VniFrjyh{}}o^OngftjyP{m}U^MndFrzxP|A}W^LngfrJtH{E|U^AnTFozt`{Q}K]mnUfpZvX|e|w^Yn]fuzz`zy}{^?nmfnzxHza}M]uncfmZwxzU}O]vncFmjwHy}|_^AnWfozu`{U|e^CnbFkg?c?Y?J_QODFy{@X}v?U^moCf{K@H}~?S^koEfxk@p}U~M_PnsGBz|Q?q~Q_OnoGBjzy?u~E_OnogC[@`}Q~C_Nn}g?z~q?R?O_?n~g@[?Q?Z?A_Fnzf{Z}P~e~e^wnyF}j}p~q~i^z_CO@w?{?a?R?Ho[gLCEuB\@`_wOWwMCEUB\@f_tOZWHCEEAT@b_eOXWHsE]Ad@j_sOSWFcDU@|@V__OUWGcDuAL@^_`OUwDcBM@`?d_VOLWCsB]@P?z_TOMO@G?c?Y?L?D_AwUbwL{I}L^BnavpKIyDFAm`QokGS{JADRAk`XoigU[JQCVAO`]olgPkGyDvAS`^omGQ[IADFAU`QoeGTKHiDNAk`MoigR{FyDjAG`]o_GU{GIDrAE`^o`GV[FMBj@v_{o^WN[@u?r?Z_NoGwCKKqFzBM`~osG_KLYGFCE`hp@GYkLaF~BY`}ovG_KOIFBCE`pp@GZ{KMEBBJ`boqWWkNIFJBo`ro|G\KNYFVBm`|ozG^KOaHZCmaDpKG`kRIG^CuaHpLGaKQAGnCaaIpEGc{PiHRC]aTpFGckSQHrDEa\pQGfkSiH~DMa`pRGgKEuBb@n`xo{W^KNUFvBvamPXWjcU]J@DjaoPWwjsUuI|DhapPSWkcTMJTDXalPXwisUuJPDTbEOjwU[JEHBCbaQpIWd[Q]KXERbEPdWpsX]KxEPbGPewpsXeKPDtbBP]WosV]KTDnawPawmSWeJtERa}PdWnsX]K@EZbMP`WoSXeMPE]b`pgGw[YIMJEgbaphgw{YQMNEubTpmGuKZQLvEqb]poGt{ZyLZFGbipqgy{[qMrFOblprgzk\yMfEHbDp`w{C]uNDFnbtP{W|C^ENHFlbrPzww[[]MI?Ab~P{w}_?QN}?Cb}Q?W~??YOE?Ab|Q?w}o?YOB