CAT(2304,2)
Sparse6:
:~?c?_?O?G?C?g?N?H_COD??{?a?R?L_FoBgBg?Q?L?D_O_G?BkA??~?_?NOFWBs@}@e?f_SoIGC{Ae@P?`_POGwCcAY@J?c_QoHgHGCUAJ@D_aOOwGSBE@`?q_U?OgDWCQAE?i_a?JwGOAy@Y@B_\_NwGGBe@s@?_Z?NwGGBa@m@?_]?KwFoBQ@y?t_LOEwBcFoBV@k_tOZgL{EuBK@f_q_YWK_EaBG@Q_q_TGKoDMBM@T_j_YWL?DYBY@]_v_WGLoD}Av@\_mOU?LcDgBT@X?toRoKKEKAb@a?gOQgHKCmAZ@K_fOP_KKEKAP@a?boh_S[IUDHAD`Bo`gRGIUCmAb`Q?eGQcHYCjAP@POcoSCHGDBA_@DogOPcIGCZ@x_|O]wMcFUBf@u_{O\wPoHuC_A^`F_fgN_GaB{AH_}_agROF}CwA@`L__GOWFICG@o_w__gZ_IeDVAi`g?qWYOKaEaBF`e_pGWoK}EIBM`]omwVcJ}D|B?`g?mGVOLIEaAx`ZolWUsI}DbAo`U?rwXgIyDYBM`X?oWU_KMDeBA`R?qgT?KqDMBJ_JoEWBCOcD^Ap`WPC__cOMGJCFaCP@g`GOIG?CJaD@?WZgOMEwCC`n@@W_wNiFuCE`}@AG`GN]GSBwaD_}W\?N}FyBh`~?yg_?MIGCBba?_xG[KL}F@BZ`lOuW^gLaF}BU`~?tw]GMmFeBl`x?zG[wMyFIBo`r?zwYWNQEgBt`i_|g_SOAGB?n_VOJWMsFaBnB[`nOvWZSLmErBZ`kougi_SmIZDKaapPwgsRcHxC}A\pM_fkRKHxCsA]pN_ekR{HNChA_pI?gCScHHDIARPHOhCPwIVC_AePFohkSGGtDCAKpOobCPGIBCSA_PCof{P[IPDIAJPQOakSSGbCOAbpBogsSOG\DAAEpB?g[Q{HdClAWpJ_eCPsHVCiALpJ?bcRWHBCwAPpLocSEQBL@d`^OoGV{PEG`CNbG@agpcWmKMEIbE@aWpWWaKHEEbAp`gocWUJ|E?a~p]?o{VgKRDxBCP_om[WCJdEAAyP__lCWKJLE@ArpTopSWoIrEJAkPYok[USJRDiAqP\OkCV[JDDuAop]ojkT{JzD{AnPT?jSTWIxDTAlp[OiKU{IfDoAhPZ_hsUoI`DlAfpo?AK@M?d?S_IoDgY{LaElDXajpUGwc[UMFFIB_Po_x[[cMBFFB_Pq?wK[GMLFCB]Pm_wk[KLvEsB^pnOusZwLjEpBcpkox[ZGMTEobVPjwsgZuLME}bR@nwsSYQLFE^bOpgGwwXQMOETbb@cwtgXyKwEjbU@fWrOYaKuEibK`iWqoXAKoEQbJ`cWvGWyLmELb[@bw~wXAKdEPb{`{w~W^UNsFsb}@yg~o]qNyFjbrpyW|C]SN~FcC?px`?C^{NBFbC?q??{S\?NxFPB~Pro~k^cM\FzBePrO~S^WNZFnB{Pz_}{\SN@F]Bjpvoys\_MvFYBmPuOzk^?MdFpBiP{_y[`}OzG]cJqEHBK_yO`GNcLA?x?_`qOuGAcGaGHAWaIOcG`cCADH@O`YOQGTcAaBH?w_uOKGJc\`bwpkWyPzG{c\qMxFkbqPtGxc[QMHFSbePnGtcZQIpDcacP\GiCUqH`EcbGPPGfCXqHPD{bCPHGoCPoCGAC@AQw?N_FOBXLW?i?X?J_EoBw@sf[?x?Y_LoDgAc@U?f?P_HQMHFKbiNrFzb|P@g_{OaDFAc`QoIgDcAm@`?q_WoKGESBE@\?l_VoKwEkBQ@l?w_ZofGRSHmBj@r_yO[wMkFQBp@v_zO]WN[FiBr@y_|o{W]SNMF^Bo`vOtWYcLMElBW`jpRgiCS}MXFMbeqHhDCa]T~J@d_QnxWKkATfItdYQjhTki}TZIndVQj@U{igTpIjDZQhXSciYTAIodPAkXSWjITSIcdTahhT_iUSzIZdMQexRkhqTgIXdYaehR?jMT?IVdNadhRohUSgIfdHAiHQWieS[I{dEanhP_juSWINdFAcXPghASQIudDamHPOj]SLIGdBqa`Osg_SVIHDBqo`OckKSFJCDAq[xMKfIRhHucyqm`LsjkR`IxCvqYpS{icRZHkDSQ\@SSfSTFI`CzQ[pSCh{RbHqDNQY@RCecSrHiDLQdpKke[SjIUCrQd@KShKRFHcDHQW@O[eCSJH^DAQ_@K[gGRHI@CpQ_@LsgGR`I@Cvq^pV[fwTtH|D[q^PUCf{TdH}DWq]`VcfoT|HzD]q]@QKfcS^HvDGQThJCd]QyHicsAVhJ_eeRUHXcuaUxL_diQsH{cka]xNOdmRqHdcra]HMweYQkH`cnaTxK?daQDHBc_qN`WSc?UHG~D`qTXIcdMQdHPcgQRXH{cyQXHJcdQQHHKc]QyHCcbAVhJ_cUY{?C_BO@W?{?e?PLxCkqUxJSd}RBH_cpqWhKcfYRjHs`forWXsLAEbBQ_SOIWC{C}A`@P_coQwHSCuAX@M_bOPwHCIeDVAi`\onGVkJaDtAx`ROiGS{QuH^CmaHPDGa[OqGZCMaEpBg`cXqK|E\bJPeGq{XeKvEYbEpbwps_iOPGHc^qOHFscEQFHAcaQPXGscaQRHFfYrlhu{yW\|MgF_Rhpv{yM\JMcfQRhXs[xo\TMhFLRept[xU[lMSfJRdXqcw[[fMEFGr`PqSyW[DMgFARhpo[xs[FM^FARf`oSv{[nM@FKr_@rC{oZrLzFdr]`xSvaZnLueyBrHmW{m]SLtfcb\HwwvU]OLrewBpHmO{UZaNEexBoXmG{MZ_NAfOBZhlwyI\ALlfGbYhqOuq[eLje}BYHkwvyZyLheqbZHkouiZGLjf^Aphw?kU\}JFddBWXX?uMZCJHekblHjOzI\eLWf?BTXoGt]Z}LUeiBVxiOuAYeL]efBkxu_sq\cLLecbmHhWziYSMxebBVhh?t}YML_fAbPHggw]YEMEe_BjxuGsIYAMoe^BbXfwwqXyMJfbbMhxGrq]OKzeYBmxv_rY\yKte}BKXnorMZyKqeSBbhq?qiXQMNePBdxc_xaXEMXeOBbxpoqE[_K^fYbFHuopu\mK]eKBiXtWpYWmMieHb\hagvaWgLvfCBCHpOpI[QKPfUBAh`_yy\YKJf`BAX_w{M]AKGe?bWh_WuMWCL`erb@h_gueWGLgfVb?HuGn}V{Mod|bpH^_{YVyNDfMA{x]_xi[uJqeqA{Xkom}ZIJoduBmH\oziVYMxfDayX\Wwu[WJif]ayH[wzm\wJedpbjH[gyyVGMle|awh[GveV?LydmbZhlwl}U{LldlBgHZ_yIUuM`elatHYotuUiL[fCAsXpGlM[SJQelarhjglAYwJNddbfXX_xyUYM^eVBIxe?qqXYKneKbLxfGpmXoKYeEbHh`wq]W[Kdd{BSXhwniY_JxdzatxZGnUVkJWhJ?Aw@c?icwL\elrVHkcuYZJLfesrYHlku}Z\Lue{R\wBS@q?vA_`POgWDcAi@V?}_]ONWFKBm@tAV`KoeGPsHAC^@|_~O^GN{GEC@@o_xO[WMKFIB`Bd`roxg\CMiFRBS`ioswicTYIjDRahPSWiKTIIfF]boPvxWkk]ULJIdcQqXikt]YlLNegrSHhKsmYTLBeaRPXeSrMXbK@e@r?h_coYWJJyd{Q}X[KmIV@JbdqqxHZCleUnJNdgQrhY[lEUdJJdeqrIaXN?f~RpI?s{a_DMggFRkIASyq_TOCfXRiI?S~q\\OWfNSFHssyA_lPGexRZIHTCaZlLGg\RRIFstAaDLOejRRHjssaYtKogJSEHfT@qXlK?dpQvH`SmQWLJUdlQshYslIUtKSd`QmHaSjqW\I_eTQiHdsqQTLISfrRzHRsha^TISfZQfHvsha\tNWdDQcH{Sgq]|McdBRgHNsxqSDNwc|R|HMs~ARdHodDQcHNSgqRlHcgXQZIDsea`lHcgPQZIDSea`LNWclQWH{S|qQ|H_fjRsHJS{qQ|HKfHReHISxQQlMCcjQSHpscq[T?odPOMHTSBQTLGse|QMHnsbq[DGKgXSLH?s_a`\J?b~QnH?SjaNtKWbvRFG}sqANdF_g\PyIGS]Q`|F?dzPpH^sZqVtN?bRRqGts{QLTEAbDP`gjd@IJHOMaoSAggciyIXIuacQkgec|IHXNUaWRrgcCiyHPIuaQQkiGcOiaHCQgaPBg[cnYFXJ}`sQ}gZSMIE|BOfHOtHrSxQE\Lk``R[GXSvQELLw`NR_GSsvqDDAOe@OeH`SHQWLACdnQxGPsGaVDNc_|RzGOSFq^TKo_dOSHfSrQA\K{_^RPGGssAAD?cdbOJHXSAaU\No_NR|GCS~a?tJg_FQzGAsnA?d??gROAIDTAA?LKW^dNrHbsq@}K}wc~NoHORzqSK}kf\NlHurzA\{}_etNiHkRyQZLLS^JRVFrSt`{{}CeFRDFoSp@z{|wddQrFmRvQUK|cfBNZHprua[S|WeRNWHdRtqX[|KdtNTH]RtAV[|?epNQHlRsQZLK{]^RPFess@xtFOblPvGxS[qMlEobNPmGsSZQKtEKazPdGnsXAJtDO`~PUG_sOAIlAgaJOkGbsIqGtAs_vOnGMsJaBdC{_tOWGgSRaBL@S`xOVG]sDaFs~wcTN|HER~qP\H?^tQQF}ScP~\GO^nQEF{s`P~C~OcNNuHCr|QPDDg^DP[FqSUp{[?Q?L?DkB?EGA{@eRJHfcrQYHLKeiRfHqcwpnwvkZyBP@h_roYgLcEmB\@l_voPwHCCYHTCkaTpDWa{PYG^CPaGQQxHcci]~N`foRvHzs|u]fNTfiRuHy{|YpRWgkRuHzDLaaouW`kMeGzB`aIosWVkJEEJBH`UoMWKkFEAJ?p_uoEWrkAELZ?hbQoEWukAeMJ?`b]o?WlkVe?Z?PaypaWAkXE?JE@_EnyWij~eIy~paqi{WKkFDWIjx_umsWPkFduyzH`ApAVIjeEGzCP[mmAWij`EJIwXampKU|kQdnJC`ZmlWWRjVEDIth`IpGUhjTeHjChYioeUgjREDJAPY]lEWEjQeAIs`_]kKWJjAeAZ@PW]kCWIj@eAYo`_mo{T|kNd^jC@VqjSWTiuEDylX`YjMWWiseEjBHUap_TQiiEKiiXbEiQWNidECZA@SmhyW]i^eGIfp`}owSpiXeFYeP`mnySmj~dJy~pRAhUWlkVdJIdhayhOWviTEMIdHbYpeSdiReLZE`QYnoVkjud}Y|X^]nCVsjqD|i{X^Un_V`jvdvy|p]AkyU~jNdoIvpXylAUPjPDcys@XIk[VRjGDtYpx\QkUVDjEdpip`[QnOUGjDDyi|HWejuU[jLD]inHXmmYTujfD]Imx[}nITqjrd[Y{pVAjGUqirDlIkhZMnsT`j}DWy~XUImwTZjnDVYzhTqj}TWj?dUYo@TiiiUSjJDTyqhTYi]VUjkDSYyxTAiWTniedZilhSynaTBjxdPY}PSQiASyi_DNIgPRmmMSxi[DqYex[ahiUoiZDkYe`Y}hCTriydHIm`QMhAVQiODsIbx\EgwUxiNDmibhZakoSZjKdEiqxPegoTFicDDiaxSYgeUtjZdDYupPQveLieuRYwAK@M?dF|b~P~G_[OUGHDMagPRw{{]aNRFebqpxHDKaiPVGbcQqHHiStQYfLMeeRRYp\WukXTvi{T\idtRAh^SpiXtKj`poUw_[FmFf@j_PpMwE[QmAFCZ^`n}wAZ|m?E~j]pnevmZyl{E}z]@puvc[^lwfFjbPnAwwZpmLe{jRHpQwkYZlLFDZ\PnUvWZrlte|J[`oavK[HlqfAj`XmEwYZamEEwzaxk}wqZPmKEsJ]hjut}Zsl^E{zUxm}vYYxlvEmJ_@jQwAYulYe~z\hiyv[Yolvejz]ximvoYllzEjJSDiEs~Y\lMUfjb@hawqYUmJedzPhpEs][RlFFCjP`pAsU[NlDFBjapgMsC[Tl?fDJ`XeqwYXmmEEZZKpoarO[IkrfAZ^HeIr?Zzl|EWZJhnqq}Z}knE~ZGhpiqM[[kbFEzGXp}wyXCk`FFjF`oYpy[Fk^F@ZFXoQps[Am@eMZXHlIugZJldEszW@iIuCYcl_egzOxlasQZYlCEuZX`gQu[YElee`ZNxm]s?Zhk~EyJMhfmryXvk}E\jMPlUrgZVkxetjN@e}raXyk{e[JT@eetSXjlSeYjVPeMtwXdl\eXJWXdiqwZDklepJZxd]v?XXkkEvjIhhAscXSkjEcZHpjEq_YrkfekjIHkYqeZGkhEpzHHlmqSZ\kcEvJHXiUqYYfkeEhjQXcAsiX@lIENzv_~E^dNrferrxxtbepvWyk]UNjFlzg}J^EN[vmrw|zc}H]zN`VorvTrG|p]uMXvlredzK{p]YNYvlBrLzG{n]pNJVkBqlzG{f]oNIVkRqTwS|f]tN@v`Budzozn\xN^VnRnDz{zh^@MzVoBmlzoyf]|Mivnbidt?|~\QN_vSRwDrw|p]vM^vlbgDqk}J^FMSvpbdTq[}F[gNaVHbwTxk|T]\NUVfBt\wW|B]FNPVaBs\uk{X\lNFVZBplu_{@\iN?vYRoTvgy~\{Mov]rkDvsyl\WM~v^bi|sszD\cMfvWrhttoyT\]MeVVRh\uSyN\fMcvXbhDtcyH\ZMbVUbglySyF\ANRVORsdrs|^[zNVVNBtlrg{~[wNOVMRrtr[|P]hMZVhrelxCxb]NMWVcBd|qo{R[mNDvJRpTuwxJ[bMwVZrcdqGzf\qMOVGRmLzM|j]snZVmJu{vEZdLoeyR\Xm\tQyj\RmgVSjiMBP@b_tOXwLcEUAx@r_wOWWLsD}@h@P_iOLwISBM@@@P_iOHWISAMAl?B_lO@wJC?T~x@V_?OUv~sDd}l@^^hOWVycDuB[}v_xNlVvCFD|D@l_sNhvscEl|@@f^MOXWKRx|~H@D^sOQV{sC]@X?Z_WOFWDs@}@L?N_HOIwACAd~t?|^zOMwFB~eA?~r_`N{WFr~T~T@J^vORv|cCt}o~L^gNuvxr|t}K~^^dNwvxB}D}?}n^aNkvwRzD|s}h^^NjVvbym?o}Z_JNeWAbx\{h?J^GOBVqS?dmuv\ZnhKseyRTHMcjQSoig^KIyFvAk`}p@GSkOaDRCE`Rofg^{OIDFA_a?oeg^kHqFrAW`|o~gQ[HQGBCA`Jp@gPkOaC^CC`GokG[{JQFRAq`towGX{MQEfBa`gougXKLyEZB[`doogYkLaENBU`ao{gVkNQD~B?`zozGU{NADvBm`[o`gN[FyCVAG_}o_GNKGQBnAA_ynWVkjuL_AoDW@k@u@Z?eH`DlaXPZwdsUmJTDXamPZwjSUuJLDVahPYWkcTUHlDfa[PYWecUUI|ChapPJWkCQmI|CbapPHwkCQUGxDLaOPSWbsS}I@CVaaPEwbCSMHtCPa^PDWfcPMILCJadPBwhCOtnAvdZppggt{YQLZE_bWpjGr[XqLbE]bVp[GpKVQKZDqbDpbgo[WYKfEObAp^GqkWAKnD}bKp]gs{VaLVDubSn\VmzvMM`FXbiPuwyS\]MTFVbfPuwxc\eLpFDbcPnWvS[]LdE~bZPowuc[C?HFmbmpv_?S^MN??Ebw_?g{S]c?LFebu_@G{c]n