CAT(2400,2)
Sparse6:
:~?d__?O?G?CAw@V?l_UOJgDsBA@`?n_VoIgDKAa@m?q_Z_KWEoBe@o?s_[_LWF?BM@v?}_\ONGF{BuAQ?i_SOIWDKAa@T@L?cOP_HKCwAL@G?dOR?G{C[AV@A?fOQOGCCKAT@D?doOOHkCoAH@G_bOPwKGDmAv@\_moVGJcDIA^@O_goTGI[DeAt@U_joUGIkE}BZ@m_wO[gMKEsBP@n?so[?K{FGBT@m?uO[OL[E[BB@a?sOX?LcESBR@b?toX_LSDwBB@a?nOWoJ{EOA~@e?oOXOKCHO@V?j_UOJWDkAq@b?t_XOLgEcBMA@@C__oOgG[CUDIA]`L?gGRwIECwAb`Q?fWRWIIC}AU`M_eGROHQCwAT`K_fgRWH]CqAP`H_dGQWHUCaAU`H?eGQOH]BqAK_}_bWPoFiBuAJ`G?^GPwFyCJAE`COagPKG]B}AJ`??bGOGGuC[AA`A?cGOWG}BoAd_x_gGMgIEBgAa_z_gwS_FYEk?a_PoHGCsA]@J@w_xo\GMkFYBnB[@jOvOY{LwErB^@kOwOZSLkF@B]@[OvoVKJkF@A{@oov?VkJgEzBI@jOqoY{KoEpBL@kouoX{KwEtAq`YolgUcJ]DfBO@WOsOTsLGDXAn@iokOY[LODZBO@ROsOS{LGDPAh@iosoT[LODTA}@aOpOV{KWE@BF@_oqOW[K_EDCQ@t@CW\?OyFQCNaE_zW\WPAGWBkaBP@w`COeGVCIaE?wg`gMMG]BdaF?xG[oPAFMCP`y?}g^_NUF}Bu`{_}w^gN]F{Bwa??zg_GM}GCBo`x@@W]WOMFaCCaZ@BG`kO}G`CPaFOGgC[AQ@L?f_QoGwCcAI@L?f_QoawPcGuC\AO`FpLgfCR]HvCya[pMgfCR]HvCua[pK?fcRwHhCrA_pK_fkR{HjD?AWpP?eCSGHdCsA`pLOgkRKINDEAWpC_hCSkGjDHAHpQ_acSsGnDKAJPI_gcQkIDCkA`pJOg{Q{IJCmAbPHGckQaHLChaRpF_fcP{HzC}AOPNocKSCHFD?APPFOhkP_IPDIALPQObKSkGvDKAMOsGYKLIEfBT`iP^gn{WAKFE@b@P`?mSV[KJDtBCp`_m[VWKNEGAyPZ?ocUsKJDmBBP[OpCU{KRDoBBpUgjkTqIvD^anPWGkKUIJFDdaqPY_jCTOJLDTAspT_k{UkIrDVAsP]?hsVcI`DyAfp]oiKVsIfD{AhPcGqKXUKhERbHPjOpsY_KTEJBSpb?tSW{LVEkBEpj_rcY{KzErBNPk?r{YCLbEqBOPd_sSX[LFEWBQPe_s{YSKvEXBRPmgv[ZqLzE}b^poGwc[MMJF@b`Pp_uc[[LjEwBcPmOxK[kLlEvBdPRgh{TEIdDRagPTwikTYIhDXakPxo{K]_NDF]BspxOz{]ON@FbBrPx?xc[wNNFLBspro{k\CNPFOBrPuGzK\iMvF\bmPs_zs]CMnFSBnpwoys\SNDFRBoQE_eCREHdCraYpLGsSYYLFEfbQphGrcYEL@E]bMpfwyS\MMjFVbjPtHE_aWPXGfCUqIPD{a_P\GpCTqK@DS`kPPG^CTqE`Cs`sPRGfCNQF@DS`gP@GZCOqF@CS`sPFGdCNqF`CcbKOlGqCJqKpBCbGOjGrCIQK`BKaoO\GNCUqC@D{b?OdGpCHqCPDs__O\GOCDqC`@k`KOXGNCCqCP@S__OhGVCEqAPAk_gOlGJCKQB@BK^ANbFsbxp|W}S^sODF{CBq?@?[_SOBGEB~Q@?~{a?NlGaBzqHO~C^cPFFzCOp}`Cc]gODFjC@q@_|k]wOJGFBuQ@?|{gGOPGHcDQBH@k_mO\GNcGqCHA[`IOhGTcJQDxBK`aSCIMd@abxO_hASIIQdHa`xOohESOIAdCa_xPOgQSUIFdEa`hP_gUPwHuc^A]xFgfiRmGyc^a]HFWfeR\HicuqZHL[e}QuH{c}aUXJ_fyR}HWcma_HOGdiQcH~d?aThNodMQmH{c}aTHO?dUQKIMcbabxH?hAQUIPdHaQhHGhIRkH?czaOXN?cIQEHyc|aPXNGcQSOGsdCaLXPWbYSSGvdEaMXP_baReH]cna[HK?fERgHbcyaWhMOeEQWHdcraRXHoeQRQHNcgaXhL?dAUwJJdeQrXXsk}UTJUDLQtpR[l_SxI^Dkqu`RkhwUvISDjQdPY{hWUpIVDkqe@ZShcUvI_DaQgPWkiGULIbDbqhPXKiOUPJODXQsPU[lSTnIsDhQl`Y[jSUhIkD[QjPVKiwTtIpD]qjpVcj?TvIfD^QipWSj{TLJ@DSQiPW[igU@GAcBq?x?s_UOHKAe?R@H_KoUWFJxECQ|p_so[VhJwEDrA`]knWWRKEDmRA@Zko[U|J^EDqwP`Sm?WRJyDsQ}p\KnoVTJjD}qzP^{moV|JaDvQwp\{mOVbJoDrQxp][mSVdHuc|q\xNCfeRtH{c~q^XNsgES@KLETRBpd[ooXXKlEGRJpaKqwW\KcETRHPd[qWXXKmESrJpc{qsXPKoENRK`b{rKX@KsEOrGpeKqGXjKXeKREhb[puWxKoEHRKPacrGWjKrEHrDpekrOWlJUdkQuXZSlmUnKue[RMXe{rmXtLSE`RP`i{sKYrLCEirPPiss[YpK{EiRUPfkrwYjK~EjROPjCs?YnLMEcRRphSt?YVLPEcrSphktGYXLYErRVpl[u[YzLZEsRV@lStwZRL_EuRWPlkuGZ\LnEprXPmKuOZ`LqE{R]pmkvKZrLyEyR^Pm{voZl@^_nOWGVsJ}E@BB`_oogbkPaGtCXaLpFGpsWiKVEKbFpbWxc[uM\FNbgPsXJsd}RFH_coqWhZcluU|J^doqwHhKsiYPLJeerRHtWyU\KMlfRbjHt?yy\SMofSbjxsoyI\QM^fOBhXswyE\SMbfSBhHrWyA[yMcfNbeXsGxi[{MafMBgxrWxU[yMVfHbeXroxa[wMUfIBehqgwy[aMVfIBbXqow}[cMWfGBcxowwy[_MGfGbaxpGw}[cMKfDBbXogw][IMGfCb`HpOwQ[KMKfBBaxnoyuZ}Mjf?BjHoGyy[CMnf@bkH|g@Y?n?W_LoEWBS@q?|?\_NoGWCCHECfAQ`yO|W^CN]FrBuaxP\wm[VQJjDubYPlWvCZYLrEvb|p|g~K^]NtFwdRQiXT[i]TTIgeERBX`so}WbKOelrUhj{tyYzL[gOCEiCH@m`EO[gQCFYBxAU`CO]gICEiAx@m_}OWgIcFIBH@y_kO\gICBiAx?}_qOOgKCCYAh@M_kOQgFcAI@H@E_SORgEcCi@X?y_WOOg@CAI@H?M_WOEgDc@Y@h?]_SOCg@B~I?H?Y_GN|f~C@y?@?M^}ODf{b~H~G~u^}Nyg?B}i?G~m^{NzfzR|h}{~a^pNvfXBxxuG}a^QMufXbzHu_}m^SMtgObuyC?|q]yOafnCHH{@AU]}ObfxbtX}W|Y^gNYfybtx}g|a^gNXfobrx{W|A^CNPfhBxXy_}Y]eNcfcbwXxO}I]YNcfdbxh{W{y]WNdfubox|o{Q^]NDfwbphx?~I]MNof]bzXvo}y]ANpf^bzxw?~I]CNofsBmXv_}m\mNffsbmH|_zi^SMzhE?Ag@[?y?X?N_Ese?AC@E?dQ]?IoCwAdHyd@Q^hNsfiSDGW`LQFGRsIqP\AgcRQGGSSaaDLHka`Q[GiSeqILHsajQ\GhSfAI\H_aTPJHKSeaHtCocrQYGfseQHlCOcdPDHIsPaQtCccnPFHIScqHDHG`|QRG^sOAQlCCcnPBHJSOaQdBocXQLG[SbaFLH?`tQPG]sbqF\BGcXQLGXsLaQDB[c^QPGYSLQPtAocLOlHBsJaPLA{cPOpHDSKAP\Fgc@PzH?s_aNdGKbzQDG~s`ANtEwbhPnGys[aMtF[b`PxGxs]AMLEGbPPbGssZAKtEObTPlGrsXQL\D[azPUGmSUQJtDga~P`GkSUqKDN_cvQ[hMoDgA{@e?v?Y_KODgBC@i?v?V_KoFGBc@u?|?]_Mt@q^DOkfrSGH{TBA^TOcftSIH{s}q]TNsfhR{Hzs~q]tNKg@R}Hys{a_LNKgDRuI@s|Q_dOWfhRvIAt@q[\O_fHRdICsxa`\M_gXRfIDSvQ_LLwgJR^I@T@a[DMGgFR`IAS}qY|NoepR|Hksua_DLof~RZH~SjYTtI}dbQqhWSgQ\|IKf`RpHRS{QSTN?dHQdHvshq\LI_fTQhHtszATdIgf\QjHussQX\LGeXRTHfSrqYtL?efRSHespQWTKWd~RFH_SqAW\KOeTRHH_smQU\JkdhQ{HZSmaUlJsdnQ}H[OAg@c?u?V?M_FoAg@[?u?\?K_FtXq]LM}f`?O_GOCWAK@I?dN`fprwh{c}Y^JNgftrxx|K}q^TThItTZAk|UsjNThIttZqlDUwjPTTIotUaklTWjDTVIptUAktTcjHT`IltVqkTUKizT]IqTWAklUWixS^IwTGAmLQGjdTtIPtHAm\VOhBTiIftYqiDTOjZTkIgtZqiTTKj\THIltQajdTwiVT_IeTRajlT{iZTTI`tUAgdS_itTUIatUQg|T[iLS|IzTNanDSGjrS~I|TOQn\S?jnSvi\TMIf\RqhrTuITt\qddV_hZTxIVT]qeDVgh^ToIQt[actQ[jbSgIxt\QdTVOhRSRiItDIa|PaglSXiNTEiblPqgvSLIWtKq`|RGg\SuIGTCaelPChhQEhBsaIPLGmcTQVhHSdiQ\HUchVOJRTiqyl\ClNVQJSTtAtL\KlTU_JgTgQyLYGmdUdJiTgqylYOmfUYJjTuqr|\[kvVXJMTuArl\gk|VVJITdQzDXWmrUWJlTeQz\X[mlUAjBT`yo\WUkHUGjCtbYpTWmkXUMJdTbqx\[ok`VLJGtraqT[{kfUwJaTmawtZcmJUzJbtnQxLZomPUqJ^Tkqv|ZOm@V@JYtlqw\ZWmDUkJ?tjandV{l^U?JWTkQntYsjzV[KETvR@l_wm|WNJnuCQ{L`?n@WEK?U@r?L__oDWDKDU?r@\_OoRVrKJuCa}T]wofVnKIT{BAt^CojVyJsT}q|L^onTV~JuTzQ~l^wnVVaJyT}Q{t]KnjVcJztxq}t^_nJWx?NoFwCKAA@@?`ggSTIILDIajPRiWtKyeTRQhlStkaeNzGxcAqKX@kcEOjHPcQqQXBk^eMZFPcEpyXCk\eOjFpcMpwX?k\ELjEpbepwWvk^EMJFXbapyWvkaeFjGp`}qMW_kcEGZHHaIqSWbkWEEJBHbEosWqkLeKzBhbUowWskQEIjChampKWkkReJZDHayp]Wgk{C{i]|NQffRuhyoDWAc@M?h?T_HsgYSTIMdHQehQtpIwt[UmRVGjbtniv|[AmBVBj`TjYtdYyl^UpjWUdrOdhWsJYWLBU`rRLgcsvYGLLU^bOdf{sJY?LBU`rO\gcsDYGL?u]BQDfcsbYQK|U^BQdfssjYRK|uabNDgorrYNK|U^BPlfss\YJK|u^rMlfSsBY?Kzu\rO\fwrlXuL@UQrL|fCqZXKKwU[bH|fOq\XOKxuYRQtegsnXjLKUZBRLessvXmLLUWrQDeOsbYQKquXbQ\e_sjXfLIUVRPTdwsVX^LEUWBPleGs^X`LFUVJI|daqrXZklUSRL|fCqdXqKhu\BIddWr`XrKiuyakLUIjLTbiqTXY~T^mnxV~j}t~i}d^enjVuj{T|z\PnYvUZvlve}z\`nav[Zxlue}j\PnAvUZpluE{j]hmyv]Zrlue|J]pkYvmZFl{EqJXXniuQZzldE}ZW@nAuAZpl`E{jWXnMviZDlaE|JUtjQtrYtlZumJ[`iyteZhlqejz[xjIvKYolWeyJT@mQtQZdlTExjTXmatYZhlUExzZxiIv?YblQEvj[HiUvEYflpEhjRhmAu}Y[lNEvjRxmEtAZblOEwjY`lauiZ[lkeszZPlIumZ\ljEuzX`jiuYYzlfEnJVpk}t}ZPlgEnZg`rIxl[rmYVLzelsGwD[BM^V@bf|oOy@\BMBv@RgLsGvx[}L}vNr^ts?v~[?M_v?Rg\o_x@[`MCvBBcdqGwT[LMQvArc\r_wt[xMLvMbbdrsw|[zMNvNBblpcxL[gMIVHralpWxV[WMSvDrdTqow\[lMFvJbaDq{wb[pMHvKBaTe}rbXokxU\JM\uQzN\ampvXjkluwyx\nMmv[BjtvCy~\qMoV[rkLuwyH\oMbV[RhLu{yN\DMxv[bhDt?yl\PMjvURi\t_yd\ZMivUbidu_yT\LMtVYRh\ukyX\NMuvRbldmAu~Z]louwz[TmQvRZdlrUyJ[|xKzl]SMzvcbmdxSzp\xNJv\RqtxG{X]SNEvcrptw{{j]PNJvcBqtwW{p]YNBverpDwc{r]\NDvfBpTwA{F]Cn?v`ZoTvg{p\zNKvebndxkzz]\M~vfBntsIy@[}m^vOzgLyA{|]^nOvgzsTzo|T]~NUvnbt\zs|X^?NVvoRttzo|H]dN]vhbvty[|~]hN_viBwDz?|l]pNZvkrvDzS|r]zNYVkbvT{G}\^PNavoryD{O}^^FNhvpbyT{_}h^HNivqry|{g}l^LNkvrBzD}?}t^`Nlvvr{d|s~D^[Npvvb{lb]ppWuliUtzYTlMujZUmaVPZgtseyN\GnWVkZuTzM|j]snyf}z~h~Z??^yn~F|z~H~q~}^wnyfzz}X~]~c^xnzF{J}`~i~o^pnuF{Z|h~A~[^nnxFzj}`}u~e^kn|fxj{x~q~y^go?Fyz|H~}~{^ioNe\zMlfY?N?H_CVDZa|pQwr[WmJV\JmlvYzn\xm{Vojwl{Y}F^FnaWLCDmAl@b_kOXwLcDuB@@d_tOVwIsCmAp@L_iOVwISEEAx@N_lOSWFsC}Ah@B_`OSWISB}A@@J__ORW?SBM?P?t_DOLw?cBe@x?L_BOMwCsEM@P@d_TOXwLcA}BP?p_tOJWHC@}AH?d_cOGWGsAMAH?Z_bOFWES?}?`?t_HOLwAcBe?l?z_]OEWXo?c?Y?J`fOcWXsG}CPBR`EOsWPSLMCLBP`aO`WWsFmED@|_~OqWOSKuC@BJ`bO[WWcE}ET@v``O[wXCFeBhBL`TOlwTcJeE@Ar`VOmwUcJuD`A~`NOcwQcI]ClA``KOgwRcIeCtAdaJ?CO@w?{?a?R?HpFgaKPIGnCWaIpEgakPqGfC_aGo}Ga{PaFvCY`}pFG^{OIHBC]a?ozG_kMyGNBoaCo{g`[NYG^BsaEotg[[LaFNBY`tovg\KLqFBBc`ipUGE[BU@z?v_[oMo@G?c?U?L?E_AwkcTMJLDRaiPZwisUuJTDVasPTWfSTeJ@D@alPNWjsR}IxDBaaPWwkcTEILDfafPYWhCU}ITDlaePYwdsTeJ@CxalPKWjcRMHlDbanPLWc[QUHNChaUpIwW{KMEJBH`eoqwncYuJ|Enb?PkWucWULlEBbBPkwpCY}KTElbEPkWucXMLlEPbXPbwm[VEJnDza{p\WsSXUL@EVbQPeWssXmK|EjbMPiWvC\uM|EzboPnW{SZ}NLFBbqPoWyC[]MdFDbcPtwxS\eM\FZbePtW}c]eNlFjb{PzW~S]}N|Frb}P{WaKPUGfEbbOpiWskYmLNGKcIqBHA{`AOvGOcHqBhBk_yOrGQc?qDH?[`iORGIcJq@hBk`aOJG{ahpTwik\EMfFTbkpuwy{bqQFG{caqNhG{cqQBH?cdqNhHKbaPJGucSqLhC{biO~G_c\qGhFKaiQFGkcaqJhG{bAQVHKcYqKhHKfaQ\HrcgQ[xISfUQpHtcjQ\xIcf]RLHZcsQWXKcemRDHlcwQVxLsduRpIDc|Q`xNcgeS@IJc~QbXPsgMPrGzcZqcHRkhIS~IYdOqeHSKhQSzIUdNq[xM{fS?DImdPqh??ci{?HIkdWqi??sjK?DIidXqh_?sjF