CAT(3072,5)

Sparse6:

:~?o?_?O?G?C@s?k?P_H?CwAg@Q@K?b_QoGGCSAQ@B?}?XOKwEkBY@n?s_d?M?G[BcA@?z?^oOOFcCG@t?|?^OJgECBE@X?n_UoY?ICDUAf@P_hOTGISDAAb@R_ioTGGsC]AR@C_aoQGH{CqAZ@M_doQgP_A]@T?e_ToIGDKBI@h?t_XoLwEsCQAJ@H_boQGGsHaCxA\`KoewRSHIClAR`IOdwQkGQCBAA`?O`WO[G[CdAJ@Jo`_Q[GcChAI@JOa?QkGyCXAL`FocWQCG{C@AK@@Ob_OKGKC`AD@Go`?PkDyAx@^_oOVWKKEYBF@f_pOXGKkDWCp@W@MOToRKDkCzAY?lOUOR[G_BhAI?yo]OP[GWBnAF?zO]?PKEyB`@p_vo[wMSFkBP@{?tO^OL[FwBX@h?~oZONSNGCHAD`?o_gOCGM@X?m_WoKGD{Au@p?x_]OMwFSBuBF@f_qOWgKkEYBt@z_}o^GN{FyBX@g_soYwLkEiHKC\aKPEWbSPqGvCXaMPEwbCPuGtC_aOpGwcSQUHHCSAFPA_aCPSGVCKAGpC_`{PKGZCCaApAW_sOaGNC@`~O~w_COMGDB}AOP?ockN{HBC@AQPG__SO?HFB|ANpF_^CP{FtC]@{pF_^[NoG~Bu`yO{w]kN]FdBq@{O|?^[NKFrBt@|O~O]{NoFlBkALOzob[NCGzCW@upEO]CMwGxBeAOoxocCM_HDBhAPoyockMgHHBkAGpC_\kPSF\CR@vo{OaCPOF`B``oOww[cMUFDBe@lOxoZ{LkFPB[@sov_\[LsFTAyAEPA_U{OkDpAzAFpBOUsOwDrAoAJOk_asJKGlAsAJpDoUkJCGnAe`SOhWTKI]DHA]ABOfo_kI?GHCG@OpAOSSO[DFAl@fOjoYCLGDXBR@VOsOTSIkE^BG@iOq_YkKcElBV@eoqoZKKoEpA{@`OnOWcKSD|BE@^opoWCKCEFEu?KoFGB[@]?t?W_NOFWB{NAF\Bk`wozw\kKiEPBJ`eOrWXKHyC~A``POgwSCZALdEpbXplGukZqLzE{b^PngvkZgMPEvBdPqOusZ_MJEzBbpmOwsQiHNCeaSPIwdKQ{MVClBePrOeC[wH\FOAWprodcYOLbEdBXPi?ukYWLfEoBSphoucXmKxEWbKpfWrSWsMBEMB_Po_pc[KK^FCBGpc?v{WWLTEmBCPj?o{WkL^ElBDPaOt[WCMPE?Bap__wsWSMRECBdP_ow{Z{JRDlB_PY_wK[OJPDjB`po_lcYwJJEkArPX?tSYsJNEnAppW_t[TqJ@D\anPVwkKT?MVDPBePTOx{[sIdFOAhpT?xsRWLvCtB[pm_eSRKLlEvAZpL?vCSuITDKadpRwhsSYIHDGaapPwhKXKK|ESBNpd_sCYGKdE`BJpgoqkUwIvDUAvpTomCT_JbDXAxpU_mSRwJrD?AyP\Of{VWIBDvA`p]?gSR_JtCxA|pM_ncRkJzC|A~pN?nseg?b?T_HoDgAc@ILVEkbTPjgt{YuL`ErbYpkWucZI@@?c_OoGwCkAICLAG`CoawO{Gi@Z?k_VOJwEKBA@r?w_\OMwFcBuA|@^_moWGKKDqBF@a_qOXgK{EUAp@Y_loUWI{DYBn@s_yo]WNCFYB\@n_wO[WM[FIKXELbFPcGp{XEJlDva{P]WmkVQIlDZalPTwjKTaIJDFaaPPghKSaH|C~a_pOGg[SIVCJYDgQuPYKlWUdJWDiQupY[lSUnJUDaqtpWslgUPJWDbqupXKlcUHJCD^QnpWskGURJ@Daqo@W{kKUPI_DVQgPTciGT^IlDPqh@UKiST`ISD[Qd`VShSTrIVD]Qe@VkhcTvIGD\QaPV[ggTzIJD[Qb@VKgsTxIsDEqa`Usg_TdIHDXqapU{jSSXIAD^QnpO[k?SHJ@DAqopO{kGSLHxDFqb`NSf_S`IRC|q\`QKf[SdIYCwQepMKfGS~HrDMQ\@RkhwRjHjDgQZPYceoUbHmDhqtPL{egUdHkDVQY`UCekTbIkCvqjpLsisRZHgDlqXpYslgRJJWCrQuPKcecUnH`DfqqpJsksR@JICnqr@K[kwRDHYDXQUpU[jOQrH\DZQlPJCdoTnHTDRQipIsdOTNHQDTQTpTCicQfH|CpqV`NcgCRDH}Cnq^pKKg?R@HcCwQXPMKe[RdHtCrQ[pLKe_RhHSCfqTPH{dGQ`HPCjqSPIsdKQ`HGcaqPhG[c]QHG|DOQNpS[bwTBIaC_QO`SkcCTHGpC}Q^PESfwPhH~CYqKpOCgCPlJTCUQs@DsakUbGoDhqJPYSa{UhGdcRQIhDCaePNG_DGqFpPsaCS^GcDHQcpCSh?PFGXDMqfpBs`kStGYDLqf`Bc`sSxISCHqdPAchWOjIVCJQePBCh_OnIeCEqhp@s_{TPGODTQipASicObFtb{p}g}{^aNlFrbvp|G}C^INbJIBtQro|KkkNXFmDeQrO|kkwNVF\D@Pv`O[\{SHF_DApw`O{]CSLHuBjpu@M{\cRrF[C|PupN[\gRpFPCkQVOyk\KQrFQClqV?yc\WQtFcCDPx`?{][OPFgCCpxP@c]KOVHHC?q@PHccgODGECeqR`?[_OQVF}C[P}pE{^oPrF|C\QN@?CbkN~NQCiQThIkdMQnHQcgQSXH{duQpHXcmQUxJSeERFH_cpQVxJseQRNHecsQYXKk@]?p?X_LOFGB[MYFVBf`sOyg\KAm@R?i_SOHwCsBU@d?r_YOLgE{CQAJ@G_boQWGsLmE|B\`novGZSJ]DlAw`[omgV[IQDLAh`RoiGSk`eOxGYcLqFXBs\EMdFRbiPtgylBS`ROkgTsIiDtAu`ROlgVSIiD\Aq_zO`gNSFyCDAI`AOMgDcFYBx?q`?OLgPCCI@x@y^}ODg?C@i@P?Q_AOFg@cAI@H?I`ENxgQB}iCg~m`KN{f~CIICw~u^eOYfzcEX}`@]^iOWfzCFH~@@m^QNWftBuX|W|i^WNXflBxx|?|a]cObfhcHHy`AU]iOefjcIHypA]^iNPfxbrX~?{y^gNNfzBrH}w|A_GJ[g?AvX[H?E^}J]g@Avx[@?M_iMxf[CCYAozQ\iOQgIBlhux@M]QMifSBqXxWym\QNIfdbjXxOyq]cMUfjbdxygxa]gMXfLbsxyoxi[KNyf{b`How~q[INzf~BaXp?~uZpLye}r]XncvmZcNlexbzhm_}}ZmNqezB{Hmg~EZXLlevr[XmCuyZNLierRYxlKuaZ?NZeobvHzguI]{LbeqbwHk_|}Y[NBegBpHiG{U]OLQfbbSxhw{Y__LKgDbQI@ose_]LLgEBQi@gsm]ELAe`bpHwwsYYGNDfcBPxgg{YXcOZeWCDyB?rUXaOXgLBLHeX@qXGNleRbzxcg}yXONqeSb{Xco~AXCOSeOCCxbp@EXEOUgIbGXbx@I]{KYeKbwHzgpaWyNZeLbvHzwpqWcODeHc@i@GpUWgOGeJc@y@OpYWWNjeEbxx|?oy^QKNfuBCX|OpAWINOe@brXxwoAWANKe@Brh__|EVsOhgTa}yDOnq`[J|gUa~iD_n}^CJtfqa|H^G}EVkNbdzbxh^?}QVUNAf`AyH\g{AVWN@f_AyXwGmiVCNbdrBxH[w}UVENadqBxh{GmU[wMKfMbaxsGwy[{MLfOBbxrwwi\wL\elBmhjWzm\yL[f^bVxvotyXwL}e]b^xo?r}[AL@e^B_hg?wMXkMneZbkHf?zEXsMme[bkxuOrmX[MPfHbIhq_qm[iKkfGBJxdgxI\MKHfRBAH_oyIWMMbeDBhXs_omYgJqdvBTh\wt]V_LWeka{x]GtUiK?M_GOBxxS{e]V?P_HOCwAk@Y?h?c_OoHWCSAA@F?}_`oNwGCCEAD@[_moVwJsEABB@U_joUGJKDmAtCeaRpIGdKQmHTCkaVPJWd{REH`J[dmqwXZsmAU~TmiutZyldUijVTjIltZajdUgipTlImtZqjTUoirTKIjtRQiTTKi\TTIftTAiLTWi`T]I_TWQg\T{iBTaI`TWqglU?iHTHI`TQQgLSgiFTJIatQqgdSgi@S|I[TNafdR{hrS}I\tNqfTRshnT]GwtWqMtT{bdTaGxtWAMlUCbhTKIQtRQctQ[i\SiIgTIQiLQ_i^TuINt\qcDV_hBTzIQTGanTVchFRzIbS~AgtNsiNTGI?TQA^|NwiNTXHvs{AjTNCivRqIms|AjDNKixRlIrsyQkdMwjPRiIqtYQ\\MojLR\IwT\A[TLwjdR^Ixt\Q[LM?jbRRIrSsQkdLGjJRSIrstalDUcejTRHXslAiTTOdjTTHZTTqVDTWdnSsHRtLaTDRSdRSrHTSjAeLRGdVPvIzS]Am|FcjrPyI|S]qn\V_bxPoguSYyLtE}bZSsGqTKqJ|RGb@P`IYsWaeLEKhlPZgksUiJdDyazPRIWTJaIdR?ajPWIVSTad|D[h^PDIxSOamDCKjbPEIxt\QGdVOaBSvG\tMAFdRc`~P?I\SNQfdBwhvSlGYTIqD|Qk`fSkGWTJQELQo`dRvIEs|aaDN_g\RtIFtCa^TPCfrS@Hdt?aXdOKeZSCHfT@aYDK{gJS\H`snqbTK?gvS[H_tFaWTKOgrQxHjsmaZ\JkepQ{HksuaVlLod|QoIHtDQTlIwgpQnIISkaatJCgnSFHItAqQtOocnQXIDSea`DH_gRQNHCscAPdHCcTQQHDsbaQdGscfQBHpsxQO|M_cLQCHqSxaPDM[cJRDG}sqQODKgcBREG~S_aW|K_b~QbGqshALLISbLQeGrsYaSLE_dDPMHLsRqRdCsczPOHNsfaITDCd@OwGbsLaHDB[aROxGdSRAFTBSaVXYITtJYddRuh~S}_JoEWB[@q?p?Y`TOiwTcIuD^Am``OowWcK]EJBEbppxG{s]UNNFgcXQKXE[bQPlGtcTqJHD{auP`GmblPtwzC\eMvF[g_sOyGdCIaJPElAe]zOxfarqYElAE]jN`garyYHlDEWJKHg}sWXclDeWjPheUs[XbknuVZJ|duq|X]klE[JMHdiquXkkmEZzJ`eyquXlkiebzP`dYsSXVlDeUZPhdaqgYMjOTgYsTYMlJUckrENJKxburOW}kseNzLXcErSX?kZE]JExfipoXzk{eMZFXfupsX{kWE`JEhgYpaYDlBeKjPHbMsOWskzeGzMX`yrcW^kyeGJM`aErkWakMeWJBPeQrAWWkKeWjBXeUowXbkBETZ?xdYoQXXkDETzI`_aoUXWj|E^i~Xf}nwY?j}e_Y~pgMsCV~jpE[i{XfMnGXsjqe\Y{xfYnKXvj^ToIwLZ}mDVBk~DezNxXus?UYl?dfyr`gMsCU]jFTbyqTXMk`UPkuDaYpPeukWXnjDeZiphfAraUGj?eYZKpVurMT}i~eYJLXVqk?XikQeRzC`cyqeWgkgEHjIHaeqcWfjveBI}@_uo[VpjvEBzAH^Mo_VqjmEIizhamnAWmjnEJJDx\}n?WlkJDtiyx`ImoWRjlEDyzX`QmqWTk`DqjGX[mqIVNjeEPIxhc]qKVMj{dqYw`^QmIVtjbD|i~@[]mOVvj\dyivh]eloVjjudmYv`]qlsVgjUDkithZMl[UsjZdjyupZAlaUtkcDhjHPY]qQUgkddiYtXcqqYUijIdtYy`XQkkVOjKdsYr@\IkmVRj@E?IoX_EkGWAk@d`Z?hW]oGUEmd?CG@s@A?^?N_FRoxwc{U]LNGfbroHwS{E]XNLffRrxyK|AHhCqaXpLwesRUVBJ^doQvhZclu[hMOfHrcXqkxI[^MIfDrbHpkwyYhLTejRTxjKtanHVfjpTwy{t]UkBT{j?T^yntVu{]]HnEVbZp\wi{\\gN?VXbnlu[z|\dM~vYboTuc{B]FMpV`Bj|wWz@\`N@vXBpDuK{J]HMeVabhTwkyV\LNEVRrptsw{Z\FN?VPbn|sO{B\|McvPRoTvwyPYoMzV[RTtvGt^\rLWukrmdvStd\zM]v]bf\r_zn\xM\V^Bfdrczp[qMtvKrlduwxh[vMuv[Belu{xl[kMqVWrdlrCzB[mMpVJrkDr?y~\XMRVVBdTtgxV\\MSVVbdLtkxN[\MtVYRb|u[w|\dMLVErlDuWwx\yMFVBrm|p?zp\xMGv^Ba\vkwd[AMuV?rlluwwH\oMAvZr_|oWzV]GLwV`b]\nC{F]CLxU|Ro|wSvhZYNEuvRptl_{TZXNCuurpdwkux\QLfurBiDksybZMMhusRill?yhZEMjUpritkcynZGMjvUBX\t_uTZ?MwuoRmTkGzfZBMyUpRmtkOzjYyMdUmrh\joyX\LL]unrh|jwy\\OLZulBi\jSybYuMhUmRilj_yh\XLTUiBjTikyvYhMmUjRjtioyz\ELMUfRhDhwyRY^MbvPBSDsStBYUlJueZRDhmst[VM_vEBgDpWyF\AMIvERftr{wh[JL|U|b`dn[wP[LL{u}r`Ln_wTZcMOVGR\DqKvR[aLqvHR[tqOvN[@Lhu~BYTlSvzZUL~UtB_Dl[v~ZaLQugbZtl{tHZbLRuwBStmCtFYTLuuybQDmksbYQLuUcr\|hOv\?L_EoB[GXQyh`SniWtKie\RYhhSti`tPIgLSUi@TAbyp|g~C^eNtFvhQsgYSTIMdLQchLsfIRlHyd@Q^hFscIQTHEchQRgYsLiFDB]`rOyozG[{MEFVBd`poyWWKJ}DzBB`aopwRCMeCtB``OOxWRcMMDDBf`NOywN[FuB~@~_|o^VjZuDyy|^]pnXW[CEMFD@d_tOyw[cE]BXBf_sOyWFsJuA@A~`_OOwWSCeEL@F`aOPWPSBmCL?r`BOLWPCB]@xAJ`COMW@{@U?b?V_KoCwZc?]?DBT`jO@WZC?eE|?L`lOAwYB~d~|BH_?OswXR~\~tBN^}OrV|SJL~\Av^uOlV}CJd~hAz`WN{wOB|MC?~\`@NtWOb|]CG~Z`@NuVwsIT}PAf`TNqwTb{t}\An^gOiWRBy}DC}t`NNkWSBzL|pA\`LNlvsSKd|HBP^ROqvtCKt|XBR^TOrvqsGt{pAN^LOcVrcHMCk}``INfwUBwl{XAr^FOlVqCJ\{hAz^HOmVnsGt{@AN^@OcWQrwUCg}H^BOcvksITzPAf]tOiWTruuDS|p`UNZvhsLUEo|T`jNSwZRt]E{|X]gOvVgzslyI|L]cnOvdZrTxe{p]UnJwISF]Bp@P_vOQwMCCuAh@t_xORv{cA}@K~^_SNwWDb}L~L?j^sOKWIrvMAo|t]}OWVmsDlzt@\]{OVves@lxp?\]\OFvfcADy@?d]^OGvbrztx?}~]PNoVcb{TxK~B^\NIXGPlcuuZ\LoewrZy}\]ynbVnjxT{KbqLZG{bVqNguKZIQBEsc_plhF{cyLBHObPphHJKdQLNHQbTqTgtKcyKjE]cjqSGq{dIKrE[ckqTGr[UQQFDecapYHG{UiQRHKavpZHH[RAQFCiccpKhGkQaQNCmcepJHH[PEGfCVaIpEwbK_qOrGOcNqBhB[aIOnG_cHqDHBkPqOBC_c@pGh?kQQONGIaNpHh@K[ANbEwbspmg|[ZqN^FAbxpng|k\AJzFQb?p^gz[\QKFEEbjpuGokVQPNDycUp[HD{VIPJDucSp]HD[SqMJDMbbpqGiK[iIfFMaiprGi{^QIBFua`pPG~KSYNvDIb}pQG~{RQIrDYaZpVGfKUIHzD]a^pWGf[OQMzF]aBpwG`K]IGVFeaEpxG`{WaGBEI`|pcg^kOIKZEO`{pbg^{NAPbGy`zo{hE[MyPjBkcZqMG]g?s?Q?J?F_CoAG@K?]?P?I_EOAw@S?m?V?K_EOAg?{?e?PSzi[TMifLRqhnOzg_SNYFtBq`~OogWsJyEdBM`dOsgWsKiEDA}`fYmlVukJULjMtdZslwU{Z]TnUvfZclquxj[|mevPY_lNUfJR|iEszaMpFwcKQ]HJCbbup{W|K]}NfFjahpSWhkTUInDNaGpDWa{PeGvCRa@o}W^[NuGBB~fbRrXyS{E]PM|fdRnxwc{}]DNPezRtxzCvUZpNTflR]xzsv}]xL|eyRbxmsxEZpMRfJR]xpcv}ZxMTenRrXjc{m]PL`ffRWxySu]]`Ldf]RSXvstMYhN@ejRpxwStm]HLXelRaxicwEYpMFejR`XpCtE[DLRedrRXh{s}YZLJe`rNxgKseYJLFfpRMX{cre^@KzftRNX|Cru^LKzeXRlxeCzU\`KveURkxdszmXhMxe^RhXtcsUYLMhe_RhxtssMYPMjeUR[XdsueZdKtetRKXlcr]Z\KrfoQgxSc}MTLNddSRyxTc}eTTNfeLRtXbc|]]pK^flRGXzsqU]xKbeFRYXlSpEWdLleIR[XbCvMWlLneSRAx_Sq]XTKDeSRAXdSouWLKffGQ}xpsne[XJvfJR?X^sxMVxMTdeRXxjskeYxJNdbRXXYCuEZDJJd\ReXVcxmT|M\d_RfxWcyMUDM`dJRhxRCyeStMjdMRhXtch}\\I`dFRlXuCgm\dILdGRmxQczeSdMvf?Q[xNcwm[DHtfAQ\xNCweRtMFfKQ[XKsxmRPM\cvRgxrseuRTM`dhQyxYcmuUlJndmQ|XZCnMUtJpdVQvxUCmETdJbdYQxX\CjeVLIvdAQWXNsdmS@H\d@QVxKcg]RDIHiTO_WO[GTdQqjXWkjUUZI}@N?h_VoIwEKAtw}{b]OnIVcjq]SnIZdKqfxRkiEgpSpi[TFybTR]htS\iPTLYeTQEg`TJiETSYaTSei\SNiITRYiTP]flS|h}TNygTNUf|T@h{TPy^TSUfPSliVSzydTNEhTRliVS{y\TQuidRPigStyYTSeehTJhlTRYhtLehxQli^SjyUtS]i@QphYTPYgTJMd@SphPTKySdRUdLSvi\SiyfDIeihPpgxTTyMdTeblTZg|TVyNDTuaTT\ikSOYjtCMaPTTijSPYGtTmhHNlfvTHX}DQ]^dShiSR|ycs~UclRFhKSqYXtHmeXQ\hNSqyQdKUdpP|h\S^yVdGEd|QBh_S`yWTGUbHR\hrSZyKtL}f@PhhqSYy[TEubDSHi?SUY_TDmaxSDgnTAyKDO]`lNxg\R}yFt?M`pO@g]R~YEc~}aXOhgfSIyIDAualOngXSTYEDDMcXOdgPScyQDA]cPO\gNSbyPTAE_HOPgESEY@t@U_TOVgBSCyBT?c?Y?L?C_AO@W?mhRSdiRqNXGKb|sQyJ\EmbvQZhENjFvb~p}w~K^uFjBr`zozW]KM}`jOvg[sMyF|BuaBPBgasPyH\CeqHXtkbU\zHDfeqHXzkcU^zGtfuppY@l@UNZGDgeqDYFlAUNzPTbmpXWzkVUNZEDb}q@Wrk`ULzEdbesPWfkOU_ZDTgmsDWblBUIZOdaUnHXhjrUYy|Deun\XrjtU[ZLt]umpXJjlUQyzdcuq\VbjoURyztcumXXPjfUSyyDdUmdXVjiUUzJD\]m@Xtj`U\ywdfemLXzjdU^yxDfur\UtkwTlzMTZeltXjj^UYYvdeukHXPjBUSypddUqlUNklTazJDWek@Xdi|UVZJtVejxX`j@UXynteMqxTlknTZymDeMjdXdkrT\zKDVUohWHkJUAzBD_uotWNkNUCzBd`Ej@V|j~TWykd_EjLWBitU@ylD_Un`U\jxTfy}dYEnlUbjRT}y~DYUklUrjLTkYqDYelTUXjITjYqTY}wx[PmNVCzcDpUxD[VmRVEzcdpexx[BmYU~zftoExlZxm\U}zfDnuvlZTlyUuZ]Dluu|ZnllU{zYtmuuPYdldUhzXdieudYjlVUsZXtiutx[DlbVBz`Dj}wLZ@laVAz`dkMth[llWVIZUTqmtl[nmXUmzVDrEspZ`lLUwzRdmUs|ZflPUyzSDmesX\@lFVOzQDsUsd\FmcUdZhTh]zx]HnGV`zqTwM{T\~nFV_ZpdwUy\\rmzVSZnDtUzh\VmhV[ZhdvmzH]TmrVdzlDxezT]ZmvVfzldxuz@]dnOVUZsTtmzD]jmnVhztDtu}`]lnhVjzydzE}l]rnZVuzzDzU|p^Dn\Vpzvd{e||^JnfVozxd{C?D^gnm_@J|T|{?L^knovw_?T}}~K?Enxvx??d~F