CAT(2418,1)
Sparse6:
:~?dq_?O?G?CAK?H?C_AOQ?GkC]AL?o?XoK_EkBC@h?u?YoM?EcB[@f?w?\OL_F[B[@r?z?]OM_FkBc@|@@?]ON_GCBs@~@C?_OOOG[CG@~@C?aoOoG{CGAL?l?WOJoESAw@b@h?UOIgD[BM@j?s_ZoLgFCBm@t?x_]oNgFcB}A@@@_`OPGG[F_Bv@y?}o]ONcF_Bj@y?zo]OMsFGBn@s?zO[oMkE{Bh@p?xo[?MSE{BX@m?woZOMCFkBL@|?sO^?K{CmAZ@K_o?ZGKOEyBY@`_f_XWKWDAA[@c_q_SWKWDMBG@Q_t?TgI_EmBQ@T_k?YgJGEeAm@j_r_VWKoD}BO@]_l?QGJ_CiAu@H`V?HwDKAaDDAc`PocoT[HSDZAS@UObWP{GyCSAj`E?jWPWIqCMAm`W?aWTwGaD]AE`A?kGOgIyDOA@`@_igTGGIDO@}`T?_GTGF}DIA^`R_gWSoIACuA\`K_fgROHqC_AV`H?eGQGHYEi?i_ToJGDSAq@V@D_boPgDkA}@\Bf@nOwGZ{LmEzB[`h?tWY_LYEeBV`h?uGY_LiEeBX`l_kWZgJMEwAq`gosGX{KoEtBW@fOrOZKKcEjBJ@joq_YsLwDhB_@ZOvoUkK?EFBA@aOpOWKJgDzA{@^omoVsKWDnBG@[opoVCOw@R?f_SOHwDKAaBH@d_poQGHSCeH?CYaMPEw`gPAGWCMaD`Bw`WPEGeCLaH@BG`COiGRCDAGp@oa[PGGLCAAFP@?aCOKG^B~ALP??bcOCGvB{AJo~_bKNsGpCS@{pDO^[PWFtCT@zPD_^CPOFnBr`yo|G\kMyF^Bo`xO{W\OP]FWCX`t`EG\GPmFOC[`r`Eg[GMUFKBb`p?xGioIaDRAi`TojWTcMYFJBc`tOzG\[USJ?Daan`XGkGUMIxD]ampX?jkUKI|DaAmPTOiKTGIfDSAgPIOisQkInCiAkPRWhsS}IXDJadPX?g{ScJFDaAcPN_j{S?JBC~AoPMwfkRqIqCqaX`Uwe_TiIkCnak@KWiwRAHWDXaV@UwdgTiHHCdaPpHgdCQ]H?DRai`GWi_QIG}DQaN@SWbgTAIGCya[@PgfGSUHiD@aZ`OweoSI@L?e_RPGGcKQIK~E_bNPfwrsYAJdDrawpdWq{XYLAEBbP``WsOWQJ~D|a~PgOl{YKJ`EaAvPbopKWkKbEOBDPb?osWwKPELBBp_?rSWGKpE@BKp]_r[VoKzDzBMP\oqSVcKhDwBHpYomcVSJZDuAuPXOlCUgJLDfAsppWw{[YM@E~b_po_xC[OMTFBBcpkox[[sLjEsBePmOuCZkLdEyBWpjOusZ_L^EvBVPj?vcZwLVE|BTPh?tKYWLNEdBSPSGiKTIIhDTahosgYcLMIHDEaapOWg[SIGzC^aNP|W}{^YNcFkbv@{w}_]uN]Fkbv@{W}?]uNKFtbr`|w|?^YNKFhbs@yw{w]iNcFSbx`tW}_\YNFFdbqPwG{S]EMnFXbkPzoyK^CMdFoBhpr_|[\?NRFNBtPu_zk\oM~FZBnQG_C[AU@H?c_QoGw`cOuGVBa`powW[KMIFFBc`rOxWp{XEK`EKbFPbWmcVYJjDgatPYXGobKP|GpC^qK`FkaoQFGlCaQIpGkawQHGnCaqK@G[awPtGoC]QMpD{bCPVGrCUqK`DcacPpGiC[qI@E{bOPTGgCZQIPEkcGPFH@CQQO@CSaWQDGfC_QHPGKaSPDGfCPqH`Cc_[PtG{CCqMp@CbOOrGZCZQE`Ek`]OpGUcIQDXA[`?PzGPC^QC`F{b[OZGNC[qM@@s_gQFGKCaqApGc_OO~GECOq@PCC`{OBG_C@qGP?S`oO@G]B~qFO~s^kOzG[B}p~@BscGNpFyC_P}PGKhOG~C]aMpjWt{YyLHEebQphwtCYeOTGJcEP}G~S^eS}I_dPAfXRoiESsI\dNafHRohmSgIcdJAgxQgiUSgIVdJAeXQghaRkIYc{AfHMwhmRfHtcyQ[HMSfEROIWcsaeXKwh]RCIPdHaWXKWhIQ{IbcoAhXJwiQSaHZdHaVXJ_hIS_HYdFAUXJ?g}QiIOcjabhIog}QgIKchaaxIOguSSHNcgaaHPGdAT?HHdPAQxSGciSQHMdDARHP?cuQOIKcbabXGogmSCHcdAAXhOWeUSIH{c~A`xNggYS?Hld?aZxNweyRSHxcuA]xLWfiV[Jddrqxh[SmQVFJjDVqzPUKmoT`JjDUQz@TkmsT\IiDsQiP\KikVTIeDsQi@\Si[VRJUDXQl@ZCl[TfJQDnQsPZkl?UxJLDhqtPXsk{UhJCDnqw@WsmCUJJBD^Qo@WKj{UDIzDcQnPXKjoUNIwDkqm`Z[jcUtJKDZqq`UsjSUVG[cNQFXB{aEP@KUeJrDXaSpQWfKZECrFP`[poWTKWE@rE`_kpcWHKYDxrE@]SpcVbJmELq{@bkm{WxKED}rA@^{o[V|JzE?R?`^SoCVxKKDzrB`^KosVpKNDyq|`aKp?VhIHdDQaHP[guSXIMdGQbxQKhMSdK^E`RP@cCsKW|LCE\rOpfSrcYDLDEZRM@g{sWXnK{EXrN`ekrsXhKoE_rK`f{rCY@KleVrJhdSqqXVK|ESRN`dKroXNKcEarH`g{qSYLL@EOrGpf{qGY@JgdtQyX\[mqVZLIecRQXk[uUZHLeEiRY@isu[YjLeEhrSPlCu[YdLMEsrS@l[s{ZTLhEdrYphkugYXLYEmrV@j{tkY|L_EjrUPkSuCYpLzEvR^PlcvoZZM@E{R]`o[wGZrL}Eyr_@m{v{ZlLnExR[Pmcv?ZfMIFErb@p{wk[\MFFAR``pKwS[P?o_XOKWDkA}@\AO`HOcW]{NaFlBf`soyGoSWEK@Dva{p]GyK\MMdFMbgPrxLse}RZHicuQYx][nIVbJmdwQzxjStqYvLVekrUHw?zi\wNAf_bmxvgz]\}Mxf^BmHu_zi\wMufYbmxuGza\eMxfXBlxugyy\gMnfZBkHuOym\eMlfWbjHt?yy\SMofSbjxtWyU\MMlfRBjHt?yI\SMcfSbgxswyE\KM^fOBhXroyE[wM_fMbfxsOxe[uMcfPbehr_xY[{MWfMbdxqoxe[uMWfJbehq?zu[cM~fGbnhqg{I[eN?fIBoX}o@a?r?V_LOFGB\?G?~?\_NSA?CCAI@B@e_roYGUKJMDdAv`[omGdKQmHTC~a_PNgu[ZULhEkbTPixAC`IObGLcFqBhVCjiTrIudZqlXbsqAW~K`ePrGhlcuyZZLnewr[IEhA}`mOpgZCKID`BI`[OsgUcKyD`Ae`UOmgTCJYDxAY`aOggWCHyDXAM`SOcgQcIYC@AY`COfgOcIICX@u_}OcgQcFiC@@i`CO[gOcEyAx@i_qO[gKCEyA`@u_}OUgIcFiAh@I_kORgICCY@p@e_mOOgKCBy@`@M_YOQgDcCY@`?y_YOOgDcBy@D?i_ROGgDSAY?g{Q]IOFf`c@h}@BI^cOsfwcKyEg}u`mNngZBzh|P?I^WOBftc@I?O}]^QOBfsC@H~w}Q_ANeg?BxX~o}E^EN{fpB~X~o|y]}N{foB~X~w|m]yO@g?BvHz?~e^sNYfkb}xyg~Y]mNwfjB|xyO~e]gNyfhb}x~?|A^kNNfzbsX}g{q^eNMfyBrXxH?Y]UOFfdC@X}W{Y]ONtfbb|IRo?q?Z?J_FOCG@|Ig?b?R_HSk?Ac@Y?jQohXSkYUTJAdbOwHUsjqFTIw`rPaHKseaKdH_bFQXGqseaK|H_bLQiGnsWQTdIkb@P\HTsVaTdDodTPYHRsUQTDDkdRPUHQsUAStD[dHQeGhshQIlIOahQfGgSiQITI_abPLHOsgqH|CwdDQ]GdSRASDCkc~PFHOsgqHLC_dDPEHOSPARtCSc~P@HUsjaGTI{aFQZG^SOARlHo`~QZG\sfQFlHo`xQQHESbaQdGscfQNHDScQP\H?cRQEH?S_aPDG[cBQBG~s`QNlGOb|P{GyS]aMtFkbjPvGws]QM\F_bdPmHIs[AQ|E{clPgGtsZQLTEobRSC?KoDwBC@e?p?V_LOFGB[@i?x?ZiJ?FWB{@y?|?^_MseIRTHeg{SViMDEIbhPYgySZiNDEib`PegKSQiGd@I_hPAgcSGiCdCIaHO]geSIiIDBIahOmgeSLiIDByahOydxQ}h]snyWLKAfsSZh{DEibHNefkSWiJC|y]hP]fcSLhxdBy]`OygORnhwdAY]@O]gSRmiECzY`XMqfSSCiBCyy\HOUdeSAhYD?y_HJUdkSBi?cmI_PJ]fKR}hsD?I[xN}eyRbhncxI[hLyesR_hmCwiZXMEeaRShhctiYPLUemRMhgCuYXxLaeIRJhbcrYWpKqeQRAhaCqIXPKMdqRzh\c~YVPNq?\?O_FoBg@{@A?V?L_EOBG@k?mjq?R_GoCgA[@E?dS@i@t?h}[~U^hN|f~R~H~|?E_@ODgBs@inxVekATzj?D]inxVqkAT}j?D^YkxVMjiTgisd\IlPVMjiTkiyDYympUujoTmizdZyn@VEjkTqizd[IoPUQkGTej@dXYkXVyjAT|ipD^IjxVij?TzinD]Ym@TmjcT\iwdVIlPTajUTYiuDUYihU]jQTVijDYIlhTIigTnihdZipXS}kYTPjEDSIh\SiiRTLifTRIpXSYiOULjEDPyoPSMkETDjADPIg@WakSTAi_daYfhWUh}UFi^D`iohRqkMSzjBDMipPRehoUGiZdaYctQ]hJSgiTTIYd\QqhZSmiWTJye`P}hkS`iYdGIeXQIhcSciPdKYR\HucxQehQshIS|IedPQlhVsjis@]mnYUajOdzI{PZUlmVcjZDwy{PZInGUrjpdlItx]mlaVkjudkIt`]al[VijUdyY{hYelUVfjrDii{xYYnKUgjqdhysh]alGVijPdyYqdXYkjUVjKteIrTXqkvU^jMtfixp]Em]V^jedwIz`[imWV]jmdqyzH[]muVHjlDqIw`\MmKVTjadtIwH\YmCVWjjdoyy@ZymcV?jgdnyppZmk_U|jFdnIv@XElqURj\Dci|p`yn_W_jveFzAh`aosWVkKeDjBX`IowWRkMeDJ?Xa]oIWhkAEIJCp_IpIW?kQE?Z@x^uoaV~kGD~i~P_enuWJj}EAj?p^]noWGj{e@y}`_qo[VujyeBY}HaEneWbjxEGjHWAA@D?`_POGWCDEIbHPbgqsXyKtREhfSqiYTLieldOqtX[KjUUrIldCqnXRKkuSbJDd?qhXUKfuTRHtdCqVXRKeuSbHdc_qVXHKeuQbHdd?qPXIKfUQRH|b?qnWqKkuKRJDasqtWnKmUUrDtcSqDXFKaUPbG\b{pTX@KUUOBD\bWprWzKZuMbFDbopfW}KYUNRElgg?h?T_JODGAs@UgbSQiGTCyalPQdhQthXsmIU|JYmrVZjlTtizD\]mfVSjitsIyT\ElpUyj[tnIvlZmtYYXlTeejT`hmtSYUlSeeJT@h]seY^lIegZQ`iAseY[lMedZRphQtIYOlHEhzSphEtCYPlHEhJSXhAsYYYlFeezPphesWYVlDEeJPXhYsMYIlCebJP@gmsMYLlCebjP@g}qyY@kne_zJpgItOX}lTE_JTHf}tUXzk}ejZN`iqs}XwlOe]jS@feriYdkzehzMpiYrcY[lNE\JRhfMtCXnkwehJSXfArXXlkvUYZL\eirKYCksE`jKxgUsAXbl@eXZOPeQr?YCkpE`jKHgUvwTriyt\ImtVajnWPkFuCJ@d_yoZWHkDuAj?t_aoN[DL~v?R_|o?wL[AL~v?B_doCwF[JL}VBR^toovzZ{MCU~b`TnswRZWMAuub_|lcwL[JLivBRY|ooul[BLhUtB_doGufZNMCUsR`Tl?wRZHldUqzXDk]uLZxL`u}rWlnguHZuL_U}BWTn[uBZtL]unr]\jwvhYyLxu|RVdjkvhYvLwUmR]Tj_vbYsLwUlb]TjSvbYrL{u}rULngtdZvLWU}BTtnWt^ZcLruxb\LmSvPZiLouzB[\mkvDZlLnUwB\|l{v\ZKLlurbZlksux\UMbvQZhDsQyL\DmJfSzbHtUwo\SmhfDJaptUyg[TmgFCZiHpMyc[QmFFSJa@tIw]\PmefMJfHs}y[[ymLFLZexpqwu[umXFQje`sqxe\JmUFIjdpqmxY[hmVfHjeHqax_[fmPfNjchr}xG\?m`FGjgXqAxA\@m\fFZfhp}xw[]l?u_zOTgQsLYDmsF_JlPwIzQ]@myV\jmlvIzf\pnAf[JlpwM{G\nmkf_zohtm{G\Yn?FTjj@wI{A\VmqfYzkxuuzK\km|FWjk`vqzE\zm}fVznxuEz{\_mmF\znHtyyy\wlwU{j]LnMvjZslzU}J]|nevvZynBFhJshwa|K]FnOfjZsXyy|C]nnNFhJspyA|I]^nLfizr`yq{y]inRfeJrPye|O]XnIvdzqtxI{f]SnFfhzqHye{_]gnUfbjp`y}{Y]mnCfijpXyq{S]jmgVSjiLtMyj\SndvrZxd{a}T^Hn]Frjvp|A|y^NnfFmZvX|A}]]yngfljyXza}c]vngfkzyPzQ}e]tn`fpZwx{I}K^CnWFnzuP{E|a^?nsfwJ|X}E~S^annFtJzh|U}}^UnlFxjz`}a~M^ZnjfwzzH}U}o^cnyfzJ}x}y~k^lnyFzz}X~E~c^okcUQZHTmQvLZdlouwz[Tteyt\ZmjvUJit{I}H^Bn^voZwE?h?d_KOGWAsAM?t?N_HOFwAC@u?l?J_KOAWAc?u?D?N_GO@wAS?T~x?H_?OBV~s?l~x?B_?O@v~s?T~`?`^yOHV}SAM?s~v^|OFwBb~eBC?P?H_DU`zPDgexR[jmTVHjdDq]{X]MnEvaZp\wi}h^UnivtzzL|bA?`Bo`GP[GICR@}`GobgN[GqBzA?_yo`GNKGIBn@q_}o^gL{FABv@g_yoZGNKEiBn@k_xoYGMKEiB^?i_joHgJ[AaArAE_goTGPKDICV@I`EoRGP{CyCb@C_roQGK[CYBJ@A_poOGKkByBN@[_[oWGF[BqA~@U_XoUgE{Da@j?k_moKGKKAyA~Bq?D_Bo@kNIDfAs`zokG]kIiFfAm`zojG]kMqDNBo`SozgSkHyFNAa`togG\KMqCrBm`Mo{GR[MYCfAS`sodg\[LiE^B]`hovGYKKaEjBW`dotgXkKYDnBA`\opGVKMADzB?`qowgVw@C?i?R?I_COA[SYHlD@aaPMWecSMHtD@aaPNwfcSMHDCzaRPNwccRuGxCtaOPMWbsR]H\CVaLPKwbCREG`ChaIPJWaSQmGLBxaCO~W_cNmGTB~a@PBw`cOC?U?L?F_Ao@w?uKP@V_loUWJkEEA~EEazp]gokVaKFEEa}p_Go[VyKJD]bFpWgq[UAKbDoa}p\GoKVIJ~Duatp]glkVaJ^EGaqpbGlKWiJNDYbDpVGpkWaIrEMahpcgi{XAIjDHabpQwhkTEI^Bf`toyW]KM}FZE_bgphGy[YIMjEubjpkgz[ZQMrFUbUpuguK\aL^FObRptGt[\ILREVbIpeWr[XuK~FIb^prgw[[qMBEwbapqGvkZiMNG?bmpwH?k\yOFFybvp~g}K^qNfFubsp|G|k^aNVFacBqAg{{]QORGWcNqGhBkaAOvGKcHqCHA{_yOjD@a`pPWx[[}MZFDbcppxGCbEPxGtc^QKxEsbEPpGtc\QKxCcbuPLG~cSQOXEsamPtGnc[QJXKCWUKNEBb|p~w~k^eNnFtcqQZXMCeERDHncsQWXKcemRDHfclQPxGcduQDH^crQTXLCd]RTHXcfQZxISfEQ`HlccQVxHcdmQxHJdMQ^HQ{fiSvHwdKqehM[hYRnIWcyq_HP[gyR~IAdEqcHOkhQSRIQdBqjhRkjITBIodNqhHTKiYTZIidPqVxJkdmU@ItdaQlxWSjeTtJBd^QpXVckESnIZdKqs_?Sk]Uk?Edcqt??ckmUc?Cdeqs??Sl]Ug?Edf