JIT: fix case where RBO leads to an invalid CSE (#88159)

If phi-based RBO bypasses a block with a memory PHI, it is possible for CSE to find
invalid memory-based CSEs. An example of this is seen in the attached test case.

Ideally perhaps CSE would kill availability of these CSEs at the point where memory
can change, but that seems difficult to arrange. Instead, we mark the bypased block
as one that will not propagate any incoming CSEs, as the failures we know of require
CSEs to flow back through this block.

Fixes #88091.

diff --git a/src/coreclr/jit/block.h b/src/coreclr/jit/block.h
index 2cf6c15..b3f006d 100644 (file)
--- a/src/coreclr/jit/block.h
+++ b/src/coreclr/jit/block.h
@@ -424,6 +424,7 @@ enum BasicBlockFlags : unsigned __int64
     BBF_HAS_HISTOGRAM_PROFILE          = MAKE_BBFLAG(39), // BB contains a call needing a histogram profile
     BBF_TAILCALL_SUCCESSOR             = MAKE_BBFLAG(40), // BB has pred that has potential tail call
     BBF_RECURSIVE_TAILCALL             = MAKE_BBFLAG(41), // Block has recursive tailcall that may turn into a loop
+    BBF_NO_CSE_IN                      = MAKE_BBFLAG(42), // Block should kill off any incoming CSE
 
     // The following are sets of flags.
 

diff --git a/src/coreclr/jit/fgdiagnostic.cpp b/src/coreclr/jit/fgdiagnostic.cpp
index 2968d80..e79bdb0 100644 (file)
--- a/src/coreclr/jit/fgdiagnostic.cpp
+++ b/src/coreclr/jit/fgdiagnostic.cpp
@@ -941,6 +941,49 @@ bool Compiler::fgDumpFlowGraph(Phases phase, PhasePosition pos)
                 }
             }
 
+            // Optionally show GC Heap Mem SSA state and Memory Phis
+            //
+            if ((JitConfig.JitDumpFgMemorySsa() != 0) && (fgSsaPassesCompleted > 0))
+            {
+                fprintf(fgxFile, "\\n");
+
+                MemoryKind     k      = MemoryKind::GcHeap;
+                const unsigned ssaIn  = block->bbMemorySsaNumIn[k];
+                const unsigned ssaOut = block->bbMemorySsaNumOut[k];
+
+                if (ssaIn != SsaConfig::RESERVED_SSA_NUM)
+                {
+                    ValueNum                  vnIn   = GetMemoryPerSsaData(ssaIn)->m_vnPair.GetLiberal();
+                    BasicBlock::MemoryPhiArg* memPhi = block->bbMemorySsaPhiFunc[k];
+                    if ((memPhi != nullptr) && (memPhi != BasicBlock::EmptyMemoryPhiDef))
+                    {
+                        fprintf(fgxFile, "MI %d " FMT_VN " = PHI(", ssaIn, vnIn);
+                        bool first = true;
+                        for (; memPhi != nullptr; memPhi = memPhi->m_nextArg)
+                        {
+                            ValueNum phiVN = GetMemoryPerSsaData(memPhi->GetSsaNum())->m_vnPair.GetLiberal();
+                            fprintf(fgxFile, "%s%d " FMT_VN, first ? "" : ",", memPhi->m_ssaNum, phiVN);
+                            first = false;
+                        }
+                        fprintf(fgxFile, ")");
+                    }
+                    else
+                    {
+                        ValueNum vn = GetMemoryPerSsaData(block->bbMemorySsaNumIn[k])->m_vnPair.GetLiberal();
+                        fprintf(fgxFile, "MI %d " FMT_VN, block->bbMemorySsaNumIn[k], vn);
+                    }
+                    fprintf(fgxFile, "\\n");
+
+                    if (block->bbMemoryHavoc != 0)
+                    {
+                        fprintf(fgxFile, "** HAVOC **\\n");
+                    }
+
+                    ValueNum vnOut = GetMemoryPerSsaData(ssaOut)->m_vnPair.GetLiberal();
+                    fprintf(fgxFile, "MO %d " FMT_VN, ssaOut, vnOut);
+                }
+            }
+
             if (block->bbJumpKind == BBJ_COND)
             {
                 fprintf(fgxFile, "\\n");

diff --git a/src/coreclr/jit/jitconfigvalues.h b/src/coreclr/jit/jitconfigvalues.h
index 296fc69..73575fb 100644 (file)
--- a/src/coreclr/jit/jitconfigvalues.h
+++ b/src/coreclr/jit/jitconfigvalues.h
@@ -235,6 +235,7 @@ CONFIG_INTEGER(JitDumpFgBlockFlags, W("JitDumpFgBlockFlags"), 0) // 0 == don't d
 CONFIG_INTEGER(JitDumpFgLoopFlags, W("JitDumpFgLoopFlags"), 0)   // 0 == don't display loop flags; 1 == display flags
 CONFIG_INTEGER(JitDumpFgBlockOrder, W("JitDumpFgBlockOrder"), 0) // 0 == bbNext order;  1 == bbNum order; 2 == bbID
                                                                  // order
+CONFIG_INTEGER(JitDumpFgMemorySsa, W("JitDumpFgMemorySsa"), 0)   // non-zero: show memory phis + SSA/VNs
 
 CONFIG_STRING(JitLateDisasmTo, W("JITLateDisasmTo"))
 CONFIG_STRING(JitRange, W("JitRange"))

diff --git a/src/coreclr/jit/optcse.cpp b/src/coreclr/jit/optcse.cpp
index 665a5ee..4e7fc81 100644 (file)
--- a/src/coreclr/jit/optcse.cpp
+++ b/src/coreclr/jit/optcse.cpp
@@ -1201,6 +1201,13 @@ public:
     //
     bool EndMerge(BasicBlock* block)
     {
+        // If this block is marked BBF_NO_CSE_IN (because of RBO), kill all CSEs.
+        //
+        if ((block->bbFlags & BBF_NO_CSE_IN) != 0)
+        {
+            BitVecOps::ClearD(m_comp->cseLivenessTraits, block->bbCseIn);
+        }
+
         // We can skip the calls kill step when our block doesn't have a callsite
         // or we don't have any available CSEs in our bbCseIn
         //

diff --git a/src/coreclr/jit/redundantbranchopts.cpp b/src/coreclr/jit/redundantbranchopts.cpp
index 9f5f2a6..9a0dc67 100644 (file)
--- a/src/coreclr/jit/redundantbranchopts.cpp
+++ b/src/coreclr/jit/redundantbranchopts.cpp
@@ -721,6 +721,7 @@ struct JumpThreadInfo
         , m_numTruePreds(0)
         , m_numFalsePreds(0)
         , m_ambiguousVN(ValueNumStore::NoVN)
+        , m_isPhiBased(false)
     {
     }
 
@@ -750,6 +751,8 @@ struct JumpThreadInfo
     int m_numFalsePreds;
     // Refined VN for ambiguous cases
     ValueNum m_ambiguousVN;
+    // True if this was a phi-based jump thread
+    bool m_isPhiBased;
 };
 
 //------------------------------------------------------------------------
@@ -1270,6 +1273,8 @@ bool Compiler::optJumpThreadPhi(BasicBlock* block, GenTree* tree, ValueNum treeN
     // see if the relop value is correlated with the pred.
     //
     JumpThreadInfo jti(this, block);
+    jti.m_isPhiBased = true;
+
     for (BasicBlock* const predBlock : block->PredBlocks())
     {
         jti.m_numPreds++;
@@ -1588,6 +1593,29 @@ bool Compiler::optJumpThreadCore(JumpThreadInfo& jti)
         }
     }
 
+    // If this is a phi-based threading, and the block we're bypassing has
+    // a memory phi, mark the block with BBF_NO_CSE_IN so we can block CSE propagation
+    // into the block.
+    //
+    if (jti.m_isPhiBased)
+    {
+        for (MemoryKind memoryKind : allMemoryKinds())
+        {
+            if ((memoryKind == ByrefExposed) && byrefStatesMatchGcHeapStates)
+            {
+                continue;
+            }
+
+            if (jti.m_block->bbMemorySsaPhiFunc[memoryKind] != nullptr)
+            {
+                JITDUMP(FMT_BB " has %s memory phi; marking as BBF_NO_CSE_IN\n", jti.m_block->bbNum,
+                        memoryKindNames[memoryKind]);
+                jti.m_block->bbFlags |= BBF_NO_CSE_IN;
+                break;
+            }
+        }
+    }
+
     // If block didn't get fully optimized, and now has just one pred, see if
     // we can sharpen the predicate's VN.
     //

diff --git a/src/tests/JIT/Regression/JitBlue/Runtime_88091/Runtime_88091.cs b/src/tests/JIT/Regression/JitBlue/Runtime_88091/Runtime_88091.cs
new file mode 100644 (file)
index 0000000..d592829
--- /dev/null
+++ b/src/tests/JIT/Regression/JitBlue/Runtime_88091/Runtime_88091.cs
@@ -0,0 +1,140 @@
+// Licensed to the .NET Foundation under one or more agreements.
+// The .NET Foundation licenses this file to you under the MIT license.
+
+using System;
+using System.Collections.Generic;
+using System.Runtime.CompilerServices;
+using Xunit;
+
+public sealed class NamedSet
+{
+    public NamedSet(HashSet<string> set, string value)
+    {
+        Set = set;
+        Value = value;
+    }
+    public HashSet<string> Set;
+    public string Value;
+}
+
+public class Runtime_88091
+{
+    [Fact]
+    public static void Test() => Problem(data);
+
+    // We may mistakenly CSE item.Count here
+    //
+    [MethodImpl(MethodImplOptions.NoInlining)]
+    static void Problem(List<NamedSet>[] list)
+    {
+        for (var index = 0; index < list.Length; index++)
+        {
+            var item = list[index];
+            var repeatCheck = true;
+
+            while (repeatCheck)
+            {
+                repeatCheck = false;
+                for (var i = item.Count - 2; i >= 0; i--)
+                {
+                    if (item[i].Set.Count == 0)
+                    {
+                        repeatCheck = true;
+                        break;
+                    }
+                    DoWork(item, i);
+                }
+            }
+
+            for (var i = item.Count - 2; i >= 0; i--)
+            {
+                for (var j = i - 1; j >= 0; j--)
+                {
+                    if (IsSubsetOf(item, j, i))
+                    {
+                        item.RemoveAt(i);
+                        break;
+                    }
+                }
+            }
+        }
+    }
+
+    [MethodImpl(MethodImplOptions.NoInlining)]
+    static bool IsSubsetOf(List<NamedSet> variantSetAndValueTupleList, int j, int i) => 
+        variantSetAndValueTupleList[j].Set.IsSubsetOf(variantSetAndValueTupleList[i].Set);
+
+    [MethodImpl(MethodImplOptions.NoInlining)]
+    static void DoWork(List<NamedSet> variantSetAndValueTupleList, int i)
+    {
+        if (variantSetAndValueTupleList[i].Value != variantSetAndValueTupleList[i + 1].Value)
+            return;
+
+        if (variantSetAndValueTupleList[i + 1].Set.Count == 0)
+            variantSetAndValueTupleList.RemoveAt(i);
+    }
+
+    internal static List<NamedSet>[] data =
+    {
+        new List<NamedSet> { new(new HashSet<string>{}, "0") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "2"),new(new HashSet<string>{"3"}, "2"),new(new HashSet<string>{"4","5"}, "2"),new(new HashSet<string>{"6","7"}, "2"),new(new HashSet<string>{"8","9","10","11"}, "12"),new(new HashSet<string>{"8","13","10","11"}, "12"),new(new HashSet<string>{"8","9","11","14"}, "12"),new(new HashSet<string>{"8","13","11","14"}, "12"),new(new HashSet<string>{"8","15","10","16"}, "12"),new(new HashSet<string>{"8","15","16","14"}, "12"),new(new HashSet<string>{"6"}, "2"),new(new HashSet<string>{"8","17","18","19","20"}, "12"),new(new HashSet<string>{"8","17","19","11"}, "12"),new(new HashSet<string>{}, "2") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "21"),new(new HashSet<string>{"18","20","3"}, "22"),new(new HashSet<string>{"11","3"}, "22"),new(new HashSet<string>{"3"}, "21"),new(new HashSet<string>{"18","4","20","5"}, "22"),new(new HashSet<string>{"4","11","5"}, "22"),new(new HashSet<string>{"4","5"}, "21"),new(new HashSet<string>{"6","7"}, "21"),new(new HashSet<string>{"8","9","10","11"}, "21"),new(new HashSet<string>{"8","13","10","11"}, "21"),new(new HashSet<string>{"8","9","11","14"}, "21"),new(new HashSet<string>{"8","13","11","14"}, "21"),new(new HashSet<string>{"8","15","10","16"}, "21"),new(new HashSet<string>{"8","15","16","14"}, "21"),new(new HashSet<string>{"8","23","9","11","6"}, "22"),new(new HashSet<string>{"6"}, "21"),new(new HashSet<string>{"8","17","18","19","20"}, "21"),new(new HashSet<string>{"8","17","19","11"}, "21"),new(new HashSet<string>{"8","17","19","24"}, "22"),new(new HashSet<string>{"17","24"}, "22"),new(new HashSet<string>{"17"}, "22"),new(new HashSet<string>{}, "25") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "26"),new(new HashSet<string>{"18","20","3"}, "27"),new(new HashSet<string>{"11","3"}, "27"),new(new HashSet<string>{"3"}, "26"),new(new HashSet<string>{"18","4","20","5"}, "27"),new(new HashSet<string>{"4","11","5"}, "27"),new(new HashSet<string>{"4","5"}, "26"),new(new HashSet<string>{"6","7"}, "27"),new(new HashSet<string>{"8","9","10","11"}, "27"),new(new HashSet<string>{"8","13","10","11"}, "27"),new(new HashSet<string>{"8","9","11","14"}, "27"),new(new HashSet<string>{"8","13","11","14"}, "27"),new(new HashSet<string>{"8","15","10","16"}, "27"),new(new HashSet<string>{"8","15","16","14"}, "27"),new(new HashSet<string>{"8","23","9","11","6"}, "22"),new(new HashSet<string>{"6"}, "27"),new(new HashSet<string>{"8","17","18","19","20"}, "27"),new(new HashSet<string>{"8","17","19","11"}, "27"),new(new HashSet<string>{"8","17","19","24"}, "22"),new(new HashSet<string>{"17","24"}, "22"),new(new HashSet<string>{"17"}, "22"),new(new HashSet<string>{}, "26") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "28"),new(new HashSet<string>{"18","20","3"}, "22"),new(new HashSet<string>{"11","3"}, "22"),new(new HashSet<string>{"3"}, "28"),new(new HashSet<string>{"18","4","20","5"}, "22"),new(new HashSet<string>{"4","11","5"}, "22"),new(new HashSet<string>{"4","5"}, "28"),new(new HashSet<string>{"6","7"}, "28"),new(new HashSet<string>{"8","9","10","11"}, "28"),new(new HashSet<string>{"8","13","10","11"}, "28"),new(new HashSet<string>{"8","9","11","14"}, "28"),new(new HashSet<string>{"8","13","11","14"}, "28"),new(new HashSet<string>{"8","15","10","16"}, "28"),new(new HashSet<string>{"8","15","16","14"}, "28"),new(new HashSet<string>{"8","23","9","11","6"}, "22"),new(new HashSet<string>{"6"}, "28"),new(new HashSet<string>{"8","17","18","19","20"}, "28"),new(new HashSet<string>{"8","17","19","11"}, "28"),new(new HashSet<string>{"8","17","19","24"}, "22"),new(new HashSet<string>{"17","24"}, "22"),new(new HashSet<string>{"17"}, "22"),new(new HashSet<string>{}, "21") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "29"),new(new HashSet<string>{"18","20","3"}, "22"),new(new HashSet<string>{"11","3"}, "22"),new(new HashSet<string>{"3"}, "29"),new(new HashSet<string>{"18","4","20","5"}, "22"),new(new HashSet<string>{"4","11","5"}, "22"),new(new HashSet<string>{"4","5"}, "29"),new(new HashSet<string>{"8","23","9","11","6"}, "22"),new(new HashSet<string>{"8","17","19","24"}, "22"),new(new HashSet<string>{"17","24"}, "22"),new(new HashSet<string>{"17"}, "22"),new(new HashSet<string>{}, "25") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "30"),new(new HashSet<string>{"18","20","3"}, "30"),new(new HashSet<string>{"11","3"}, "30"),new(new HashSet<string>{"3"}, "30"),new(new HashSet<string>{"18","4","20","5"}, "30"),new(new HashSet<string>{"4","11","5"}, "30"),new(new HashSet<string>{"4","5"}, "30"),new(new HashSet<string>{"6","7"}, "30"),new(new HashSet<string>{"8","9","10","11"}, "30"),new(new HashSet<string>{"8","13","10","11"}, "30"),new(new HashSet<string>{"8","9","11","14"}, "30"),new(new HashSet<string>{"8","13","11","14"}, "30"),new(new HashSet<string>{"8","15","10","16"}, "30"),new(new HashSet<string>{"8","15","16","14"}, "30"),new(new HashSet<string>{"8","23","9","11","6"}, "30"),new(new HashSet<string>{"6"}, "30"),new(new HashSet<string>{"8","17","18","19","20"}, "30"),new(new HashSet<string>{"8","17","19","11"}, "30"),new(new HashSet<string>{"8","17","19","24"}, "30"),new(new HashSet<string>{"17","24"}, "30"),new(new HashSet<string>{"17"}, "30"),new(new HashSet<string>{}, "31") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "32"),new(new HashSet<string>{"18","20","3"}, "33"),new(new HashSet<string>{"11","3"}, "33"),new(new HashSet<string>{"3"}, "32"),new(new HashSet<string>{"18","4","20","5"}, "33"),new(new HashSet<string>{"4","11","5"}, "33"),new(new HashSet<string>{"4","5"}, "32"),new(new HashSet<string>{"6","7"}, "32"),new(new HashSet<string>{"8","9","10","11"}, "33"),new(new HashSet<string>{"8","13","10","11"}, "33"),new(new HashSet<string>{"8","9","11","14"}, "33"),new(new HashSet<string>{"8","13","11","14"}, "33"),new(new HashSet<string>{"8","15","10","16"}, "33"),new(new HashSet<string>{"8","15","16","14"}, "33"),new(new HashSet<string>{"8","23","9","11","6"}, "33"),new(new HashSet<string>{"6"}, "32"),new(new HashSet<string>{"8","17","18","19","20"}, "33"),new(new HashSet<string>{"8","17","19","11"}, "33"),new(new HashSet<string>{"8","17","19","24"}, "33"),new(new HashSet<string>{"17","24"}, "33"),new(new HashSet<string>{"17"}, "33"),new(new HashSet<string>{}, "33") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "32"),new(new HashSet<string>{"18","20","3"}, "30"),new(new HashSet<string>{"11","3"}, "30"),new(new HashSet<string>{"3"}, "32"),new(new HashSet<string>{"18","4","20","5"}, "30"),new(new HashSet<string>{"4","11","5"}, "30"),new(new HashSet<string>{"4","5"}, "32"),new(new HashSet<string>{"6","7"}, "30"),new(new HashSet<string>{"8","9","10","11"}, "31"),new(new HashSet<string>{"8","13","10","11"}, "31"),new(new HashSet<string>{"8","9","11","14"}, "31"),new(new HashSet<string>{"8","13","11","14"}, "31"),new(new HashSet<string>{"8","15","10","16"}, "31"),new(new HashSet<string>{"8","15","16","14"}, "31"),new(new HashSet<string>{"8","23","9","11","6"}, "30"),new(new HashSet<string>{"6"}, "30"),new(new HashSet<string>{"8","17","18","19","20"}, "31"),new(new HashSet<string>{"8","17","19","11"}, "31"),new(new HashSet<string>{"8","17","19","24"}, "30"),new(new HashSet<string>{"17","24"}, "30"),new(new HashSet<string>{"17"}, "30"),new(new HashSet<string>{}, "30") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "31"),new(new HashSet<string>{"18","20","3"}, "34"),new(new HashSet<string>{"11","3"}, "34"),new(new HashSet<string>{"3"}, "31"),new(new HashSet<string>{"18","4","20","5"}, "34"),new(new HashSet<string>{"4","11","5"}, "34"),new(new HashSet<string>{"4","5"}, "31"),new(new HashSet<string>{"6","7"}, "31"),new(new HashSet<string>{"8","9","10","11"}, "31"),new(new HashSet<string>{"8","13","10","11"}, "31"),new(new HashSet<string>{"8","9","11","14"}, "31"),new(new HashSet<string>{"8","13","11","14"}, "31"),new(new HashSet<string>{"8","15","10","16"}, "31"),new(new HashSet<string>{"8","15","16","14"}, "31"),new(new HashSet<string>{"8","23","9","11","6"}, "34"),new(new HashSet<string>{"6"}, "31"),new(new HashSet<string>{"8","17","18","19","20"}, "31"),new(new HashSet<string>{"8","17","19","11"}, "31"),new(new HashSet<string>{"8","17","19","24"}, "34"),new(new HashSet<string>{"17","24"}, "34"),new(new HashSet<string>{"17"}, "34"),new(new HashSet<string>{}, "34") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "30"),new(new HashSet<string>{"11","3"}, "30"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "30"),new(new HashSet<string>{"4","11","5"}, "30"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "35"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "30"),new(new HashSet<string>{"6"}, "35"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "31"),new(new HashSet<string>{"17","24"}, "31"),new(new HashSet<string>{"17"}, "31"),new(new HashSet<string>{}, "31") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "35"),new(new HashSet<string>{"11","3"}, "35"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "35"),new(new HashSet<string>{"4","11","5"}, "35"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "35"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "35"),new(new HashSet<string>{"6"}, "35"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "36"),new(new HashSet<string>{"17","24"}, "36"),new(new HashSet<string>{"17"}, "35"),new(new HashSet<string>{}, "35") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "30"),new(new HashSet<string>{"18","20","3"}, "35"),new(new HashSet<string>{"11","3"}, "35"),new(new HashSet<string>{"3"}, "30"),new(new HashSet<string>{"18","4","20","5"}, "35"),new(new HashSet<string>{"4","11","5"}, "35"),new(new HashSet<string>{"4","5"}, "30"),new(new HashSet<string>{"6","7"}, "30"),new(new HashSet<string>{"8","9","10","11"}, "30"),new(new HashSet<string>{"8","13","10","11"}, "30"),new(new HashSet<string>{"8","9","11","14"}, "30"),new(new HashSet<string>{"8","13","11","14"}, "30"),new(new HashSet<string>{"8","15","10","16"}, "30"),new(new HashSet<string>{"8","15","16","14"}, "30"),new(new HashSet<string>{"8","23","9","11","6"}, "31"),new(new HashSet<string>{"6"}, "30"),new(new HashSet<string>{"8","17","18","19","20"}, "30"),new(new HashSet<string>{"8","17","19","11"}, "30"),new(new HashSet<string>{"8","17","19","24"}, "36"),new(new HashSet<string>{"17","24"}, "36"),new(new HashSet<string>{"17"}, "35"),new(new HashSet<string>{}, "37") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "38"),new(new HashSet<string>{"18","20","3"}, "39"),new(new HashSet<string>{"11","3"}, "39"),new(new HashSet<string>{"3"}, "38"),new(new HashSet<string>{"18","4","20","5"}, "39"),new(new HashSet<string>{"4","11","5"}, "39"),new(new HashSet<string>{"4","5"}, "38"),new(new HashSet<string>{"6","7"}, "38"),new(new HashSet<string>{"8","9","10","11"}, "38"),new(new HashSet<string>{"8","13","10","11"}, "38"),new(new HashSet<string>{"8","9","11","14"}, "38"),new(new HashSet<string>{"8","13","11","14"}, "38"),new(new HashSet<string>{"8","15","10","16"}, "38"),new(new HashSet<string>{"8","15","16","14"}, "38"),new(new HashSet<string>{"8","23","9","11","6"}, "39"),new(new HashSet<string>{"6"}, "38"),new(new HashSet<string>{"8","17","18","19","20"}, "38"),new(new HashSet<string>{"8","17","19","11"}, "38"),new(new HashSet<string>{"8","17","19","24"}, "39"),new(new HashSet<string>{"17","24"}, "39"),new(new HashSet<string>{"17"}, "39"),new(new HashSet<string>{}, "39") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "39"),new(new HashSet<string>{"18","20","3"}, "36"),new(new HashSet<string>{"11","3"}, "36"),new(new HashSet<string>{"3"}, "39"),new(new HashSet<string>{"18","4","20","5"}, "36"),new(new HashSet<string>{"4","11","5"}, "36"),new(new HashSet<string>{"4","5"}, "39"),new(new HashSet<string>{"6","7"}, "35"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "36"),new(new HashSet<string>{"6"}, "35"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "36"),new(new HashSet<string>{"17","24"}, "36"),new(new HashSet<string>{"17"}, "36"),new(new HashSet<string>{}, "36") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "35"),new(new HashSet<string>{"11","3"}, "35"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "35"),new(new HashSet<string>{"4","11","5"}, "35"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "35"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "35"),new(new HashSet<string>{"6"}, "35"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "36"),new(new HashSet<string>{"17","24"}, "36"),new(new HashSet<string>{"17"}, "36"),new(new HashSet<string>{}, "36") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "39"),new(new HashSet<string>{"18","20","3"}, "39"),new(new HashSet<string>{"11","3"}, "39"),new(new HashSet<string>{"3"}, "39"),new(new HashSet<string>{"18","4","20","5"}, "39"),new(new HashSet<string>{"4","11","5"}, "39"),new(new HashSet<string>{"4","5"}, "39"),new(new HashSet<string>{"6","7"}, "39"),new(new HashSet<string>{"8","9","10","11"}, "39"),new(new HashSet<string>{"8","13","10","11"}, "39"),new(new HashSet<string>{"8","9","11","14"}, "39"),new(new HashSet<string>{"8","13","11","14"}, "39"),new(new HashSet<string>{"8","15","10","16"}, "39"),new(new HashSet<string>{"8","15","16","14"}, "39"),new(new HashSet<string>{"8","23","9","11","6"}, "39"),new(new HashSet<string>{"6"}, "39"),new(new HashSet<string>{"8","17","18","19","20"}, "39"),new(new HashSet<string>{"8","17","19","11"}, "39"),new(new HashSet<string>{"8","17","19","24"}, "39"),new(new HashSet<string>{"17","24"}, "38"),new(new HashSet<string>{"17"}, "39"),new(new HashSet<string>{}, "39") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "39"),new(new HashSet<string>{"18","20","3"}, "40"),new(new HashSet<string>{"11","3"}, "40"),new(new HashSet<string>{"3"}, "39"),new(new HashSet<string>{"18","4","20","5"}, "40"),new(new HashSet<string>{"4","11","5"}, "40"),new(new HashSet<string>{"4","5"}, "39"),new(new HashSet<string>{"6","7"}, "39"),new(new HashSet<string>{"8","9","10","11"}, "39"),new(new HashSet<string>{"8","13","10","11"}, "39"),new(new HashSet<string>{"8","9","11","14"}, "39"),new(new HashSet<string>{"8","13","11","14"}, "39"),new(new HashSet<string>{"8","15","10","16"}, "39"),new(new HashSet<string>{"8","15","16","14"}, "39"),new(new HashSet<string>{"8","23","9","11","6"}, "40"),new(new HashSet<string>{"6"}, "39"),new(new HashSet<string>{"8","17","18","19","20"}, "39"),new(new HashSet<string>{"8","17","19","11"}, "39"),new(new HashSet<string>{"8","17","19","24"}, "40"),new(new HashSet<string>{"17","24"}, "40"),new(new HashSet<string>{"17"}, "40"),new(new HashSet<string>{}, "41") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "42"),new(new HashSet<string>{"18","20","3"}, "31"),new(new HashSet<string>{"11","3"}, "31"),new(new HashSet<string>{"3"}, "42"),new(new HashSet<string>{"18","4","20","5"}, "31"),new(new HashSet<string>{"4","11","5"}, "31"),new(new HashSet<string>{"4","5"}, "42"),new(new HashSet<string>{"6","7"}, "42"),new(new HashSet<string>{"8","9","10","11"}, "42"),new(new HashSet<string>{"8","13","10","11"}, "42"),new(new HashSet<string>{"8","9","11","14"}, "42"),new(new HashSet<string>{"8","13","11","14"}, "42"),new(new HashSet<string>{"8","15","10","16"}, "42"),new(new HashSet<string>{"8","15","16","14"}, "42"),new(new HashSet<string>{"8","23","9","11","6"}, "31"),new(new HashSet<string>{"6"}, "42"),new(new HashSet<string>{"8","17","18","19","20"}, "42"),new(new HashSet<string>{"8","17","19","11"}, "42"),new(new HashSet<string>{"8","17","19","24"}, "36"),new(new HashSet<string>{"17","24"}, "36"),new(new HashSet<string>{"17"}, "36"),new(new HashSet<string>{}, "42") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "36"),new(new HashSet<string>{"18","20","3"}, "36"),new(new HashSet<string>{"11","3"}, "36"),new(new HashSet<string>{"3"}, "36"),new(new HashSet<string>{"18","4","20","5"}, "36"),new(new HashSet<string>{"4","11","5"}, "36"),new(new HashSet<string>{"4","5"}, "36"),new(new HashSet<string>{"6","7"}, "36"),new(new HashSet<string>{"8","9","10","11"}, "36"),new(new HashSet<string>{"8","13","10","11"}, "36"),new(new HashSet<string>{"8","9","11","14"}, "36"),new(new HashSet<string>{"8","13","11","14"}, "36"),new(new HashSet<string>{"8","15","10","16"}, "36"),new(new HashSet<string>{"8","15","16","14"}, "36"),new(new HashSet<string>{"8","23","9","11","6"}, "36"),new(new HashSet<string>{"6"}, "36"),new(new HashSet<string>{"8","17","18","19","20"}, "36"),new(new HashSet<string>{"8","17","19","11"}, "36"),new(new HashSet<string>{"8","17","19","24"}, "36"),new(new HashSet<string>{"17","24"}, "43"),new(new HashSet<string>{"17"}, "36"),new(new HashSet<string>{}, "36") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "36"),new(new HashSet<string>{"11","3"}, "36"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "36"),new(new HashSet<string>{"4","11","5"}, "36"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "44"),new(new HashSet<string>{"8","9","10","11"}, "44"),new(new HashSet<string>{"8","13","10","11"}, "44"),new(new HashSet<string>{"8","9","11","14"}, "44"),new(new HashSet<string>{"8","13","11","14"}, "44"),new(new HashSet<string>{"8","15","10","16"}, "44"),new(new HashSet<string>{"8","15","16","14"}, "44"),new(new HashSet<string>{"8","23","9","11","6"}, "36"),new(new HashSet<string>{"6"}, "44"),new(new HashSet<string>{"8","17","18","19","20"}, "44"),new(new HashSet<string>{"8","17","19","11"}, "44"),new(new HashSet<string>{"8","17","19","24"}, "36"),new(new HashSet<string>{"17","24"}, "36"),new(new HashSet<string>{"17"}, "36"),new(new HashSet<string>{}, "36") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "45"),new(new HashSet<string>{"18","20","3"}, "45"),new(new HashSet<string>{"11","3"}, "45"),new(new HashSet<string>{"3"}, "45"),new(new HashSet<string>{"18","4","20","5"}, "45"),new(new HashSet<string>{"4","11","5"}, "45"),new(new HashSet<string>{"4","5"}, "45"),new(new HashSet<string>{"6","7"}, "45"),new(new HashSet<string>{"8","9","10","11"}, "45"),new(new HashSet<string>{"8","13","10","11"}, "45"),new(new HashSet<string>{"8","9","11","14"}, "45"),new(new HashSet<string>{"8","13","11","14"}, "45"),new(new HashSet<string>{"8","15","10","16"}, "45"),new(new HashSet<string>{"8","15","16","14"}, "45"),new(new HashSet<string>{"8","23","9","11","6"}, "45"),new(new HashSet<string>{"6"}, "45"),new(new HashSet<string>{"8","17","18","19","20"}, "45"),new(new HashSet<string>{"8","17","19","11"}, "45"),new(new HashSet<string>{"8","17","19","24"}, "46"),new(new HashSet<string>{"17","24"}, "45"),new(new HashSet<string>{"17"}, "47"),new(new HashSet<string>{}, "47") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "39"),new(new HashSet<string>{"18","20","3"}, "39"),new(new HashSet<string>{"11","3"}, "39"),new(new HashSet<string>{"3"}, "39"),new(new HashSet<string>{"18","4","20","5"}, "39"),new(new HashSet<string>{"4","11","5"}, "39"),new(new HashSet<string>{"4","5"}, "39"),new(new HashSet<string>{"6","7"}, "48"),new(new HashSet<string>{"8","9","10","11"}, "48"),new(new HashSet<string>{"8","13","10","11"}, "48"),new(new HashSet<string>{"8","9","11","14"}, "48"),new(new HashSet<string>{"8","13","11","14"}, "48"),new(new HashSet<string>{"8","15","10","16"}, "48"),new(new HashSet<string>{"8","15","16","14"}, "48"),new(new HashSet<string>{"8","23","9","11","6"}, "39"),new(new HashSet<string>{"6"}, "48"),new(new HashSet<string>{"8","17","18","19","20"}, "48"),new(new HashSet<string>{"8","17","19","11"}, "48"),new(new HashSet<string>{"8","17","19","24"}, "39"),new(new HashSet<string>{"17","24"}, "39"),new(new HashSet<string>{"17"}, "39"),new(new HashSet<string>{}, "49") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "40"),new(new HashSet<string>{"18","20","3"}, "39"),new(new HashSet<string>{"11","3"}, "39"),new(new HashSet<string>{"3"}, "40"),new(new HashSet<string>{"18","4","20","5"}, "39"),new(new HashSet<string>{"4","11","5"}, "39"),new(new HashSet<string>{"4","5"}, "40"),new(new HashSet<string>{"6","7"}, "40"),new(new HashSet<string>{"8","9","10","11"}, "40"),new(new HashSet<string>{"8","13","10","11"}, "40"),new(new HashSet<string>{"8","9","11","14"}, "40"),new(new HashSet<string>{"8","13","11","14"}, "40"),new(new HashSet<string>{"8","15","10","16"}, "40"),new(new HashSet<string>{"8","15","16","14"}, "40"),new(new HashSet<string>{"8","23","9","11","6"}, "39"),new(new HashSet<string>{"6"}, "40"),new(new HashSet<string>{"8","17","18","19","20"}, "40"),new(new HashSet<string>{"8","17","19","11"}, "40"),new(new HashSet<string>{"8","17","19","24"}, "39"),new(new HashSet<string>{"17","24"}, "39"),new(new HashSet<string>{"17"}, "39"),new(new HashSet<string>{}, "39") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "50"),new(new HashSet<string>{"18","20","3"}, "50"),new(new HashSet<string>{"11","3"}, "50"),new(new HashSet<string>{"3"}, "50"),new(new HashSet<string>{"18","4","20","5"}, "50"),new(new HashSet<string>{"4","11","5"}, "50"),new(new HashSet<string>{"4","5"}, "50"),new(new HashSet<string>{"6","7"}, "50"),new(new HashSet<string>{"8","9","10","11"}, "50"),new(new HashSet<string>{"8","13","10","11"}, "50"),new(new HashSet<string>{"8","9","11","14"}, "50"),new(new HashSet<string>{"8","13","11","14"}, "50"),new(new HashSet<string>{"8","15","10","16"}, "50"),new(new HashSet<string>{"8","15","16","14"}, "50"),new(new HashSet<string>{"8","23","9","11","6"}, "50"),new(new HashSet<string>{"6"}, "50"),new(new HashSet<string>{"8","17","18","19","20"}, "50"),new(new HashSet<string>{"8","17","19","11"}, "50"),new(new HashSet<string>{"8","17","19","24"}, "51"),new(new HashSet<string>{"17","24"}, "50"),new(new HashSet<string>{"17"}, "50"),new(new HashSet<string>{}, "51") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "46"),new(new HashSet<string>{"18","20","3"}, "46"),new(new HashSet<string>{"11","3"}, "46"),new(new HashSet<string>{"3"}, "46"),new(new HashSet<string>{"18","4","20","5"}, "46"),new(new HashSet<string>{"4","11","5"}, "46"),new(new HashSet<string>{"4","5"}, "46"),new(new HashSet<string>{"6","7"}, "46"),new(new HashSet<string>{"8","9","10","11"}, "46"),new(new HashSet<string>{"8","13","10","11"}, "46"),new(new HashSet<string>{"8","9","11","14"}, "46"),new(new HashSet<string>{"8","13","11","14"}, "46"),new(new HashSet<string>{"8","15","10","16"}, "46"),new(new HashSet<string>{"8","15","16","14"}, "46"),new(new HashSet<string>{"8","23","9","11","6"}, "46"),new(new HashSet<string>{"6"}, "46"),new(new HashSet<string>{"8","17","18","19","20"}, "46"),new(new HashSet<string>{"8","17","19","11"}, "46"),new(new HashSet<string>{"8","17","19","24"}, "46"),new(new HashSet<string>{"17","24"}, "47"),new(new HashSet<string>{"17"}, "46"),new(new HashSet<string>{}, "46") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "52"),new(new HashSet<string>{"18","20","3"}, "53"),new(new HashSet<string>{"11","3"}, "53"),new(new HashSet<string>{"3"}, "52"),new(new HashSet<string>{"18","4","20","5"}, "53"),new(new HashSet<string>{"4","11","5"}, "53"),new(new HashSet<string>{"4","5"}, "52"),new(new HashSet<string>{"6","7"}, "54"),new(new HashSet<string>{"8","9","10","11"}, "54"),new(new HashSet<string>{"8","13","10","11"}, "54"),new(new HashSet<string>{"8","9","11","14"}, "54"),new(new HashSet<string>{"8","13","11","14"}, "54"),new(new HashSet<string>{"8","15","10","16"}, "54"),new(new HashSet<string>{"8","15","16","14"}, "54"),new(new HashSet<string>{"8","23","9","11","6"}, "53"),new(new HashSet<string>{"6"}, "54"),new(new HashSet<string>{"8","17","18","19","20"}, "54"),new(new HashSet<string>{"8","17","19","11"}, "54"),new(new HashSet<string>{"8","17","19","24"}, "53"),new(new HashSet<string>{"17","24"}, "53"),new(new HashSet<string>{"17"}, "53"),new(new HashSet<string>{}, "55") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "56"),new(new HashSet<string>{"18","20","3"}, "57"),new(new HashSet<string>{"11","3"}, "57"),new(new HashSet<string>{"3"}, "56"),new(new HashSet<string>{"18","4","20","5"}, "57"),new(new HashSet<string>{"4","11","5"}, "57"),new(new HashSet<string>{"4","5"}, "56"),new(new HashSet<string>{"6","7"}, "56"),new(new HashSet<string>{"8","9","10","11"}, "56"),new(new HashSet<string>{"8","13","10","11"}, "56"),new(new HashSet<string>{"8","9","11","14"}, "56"),new(new HashSet<string>{"8","13","11","14"}, "56"),new(new HashSet<string>{"8","15","10","16"}, "56"),new(new HashSet<string>{"8","15","16","14"}, "56"),new(new HashSet<string>{"8","23","9","11","6"}, "58"),new(new HashSet<string>{"6"}, "56"),new(new HashSet<string>{"8","17","18","19","20"}, "56"),new(new HashSet<string>{"8","17","19","11"}, "56"),new(new HashSet<string>{"8","17","19","24"}, "58"),new(new HashSet<string>{"17","24"}, "58"),new(new HashSet<string>{"17"}, "58"),new(new HashSet<string>{}, "57") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "41"),new(new HashSet<string>{"18","20","3"}, "59"),new(new HashSet<string>{"11","3"}, "59"),new(new HashSet<string>{"3"}, "41"),new(new HashSet<string>{"18","4","20","5"}, "59"),new(new HashSet<string>{"4","11","5"}, "59"),new(new HashSet<string>{"4","5"}, "41"),new(new HashSet<string>{"6","7"}, "41"),new(new HashSet<string>{"8","9","10","11"}, "48"),new(new HashSet<string>{"8","13","10","11"}, "48"),new(new HashSet<string>{"8","9","11","14"}, "48"),new(new HashSet<string>{"8","13","11","14"}, "48"),new(new HashSet<string>{"8","15","10","16"}, "48"),new(new HashSet<string>{"8","15","16","14"}, "48"),new(new HashSet<string>{"8","23","9","11","6"}, "59"),new(new HashSet<string>{"6"}, "41"),new(new HashSet<string>{"8","17","18","19","20"}, "48"),new(new HashSet<string>{"8","17","19","11"}, "48"),new(new HashSet<string>{"8","17","19","24"}, "39"),new(new HashSet<string>{"17","24"}, "39"),new(new HashSet<string>{"17"}, "39"),new(new HashSet<string>{}, "60") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "48"),new(new HashSet<string>{"18","20","3"}, "61"),new(new HashSet<string>{"11","3"}, "61"),new(new HashSet<string>{"3"}, "48"),new(new HashSet<string>{"18","4","20","5"}, "61"),new(new HashSet<string>{"4","11","5"}, "61"),new(new HashSet<string>{"4","5"}, "48"),new(new HashSet<string>{"6","7"}, "48"),new(new HashSet<string>{"8","9","10","11"}, "48"),new(new HashSet<string>{"8","13","10","11"}, "48"),new(new HashSet<string>{"8","9","11","14"}, "48"),new(new HashSet<string>{"8","13","11","14"}, "48"),new(new HashSet<string>{"8","15","10","16"}, "48"),new(new HashSet<string>{"8","15","16","14"}, "48"),new(new HashSet<string>{"8","23","9","11","6"}, "61"),new(new HashSet<string>{"6"}, "48"),new(new HashSet<string>{"8","17","18","19","20"}, "48"),new(new HashSet<string>{"8","17","19","11"}, "48"),new(new HashSet<string>{"8","17","19","24"}, "61"),new(new HashSet<string>{"17","24"}, "61"),new(new HashSet<string>{"17"}, "61"),new(new HashSet<string>{}, "35") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "48"),new(new HashSet<string>{"18","20","3"}, "48"),new(new HashSet<string>{"11","3"}, "48"),new(new HashSet<string>{"3"}, "48"),new(new HashSet<string>{"18","4","20","5"}, "48"),new(new HashSet<string>{"4","11","5"}, "48"),new(new HashSet<string>{"4","5"}, "48"),new(new HashSet<string>{"6","7"}, "48"),new(new HashSet<string>{"8","9","10","11"}, "48"),new(new HashSet<string>{"8","13","10","11"}, "48"),new(new HashSet<string>{"8","9","11","14"}, "48"),new(new HashSet<string>{"8","13","11","14"}, "48"),new(new HashSet<string>{"8","15","10","16"}, "48"),new(new HashSet<string>{"8","15","16","14"}, "48"),new(new HashSet<string>{"8","23","9","11","6"}, "48"),new(new HashSet<string>{"6"}, "48"),new(new HashSet<string>{"8","17","18","19","20"}, "48"),new(new HashSet<string>{"8","17","19","11"}, "48"),new(new HashSet<string>{"8","17","19","24"}, "39"),new(new HashSet<string>{"17","24"}, "39"),new(new HashSet<string>{"17"}, "39"),new(new HashSet<string>{}, "48") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "32"),new(new HashSet<string>{"18","20","3"}, "36"),new(new HashSet<string>{"11","3"}, "36"),new(new HashSet<string>{"3"}, "32"),new(new HashSet<string>{"18","4","20","5"}, "36"),new(new HashSet<string>{"4","11","5"}, "36"),new(new HashSet<string>{"4","5"}, "32"),new(new HashSet<string>{"6","7"}, "32"),new(new HashSet<string>{"8","9","10","11"}, "32"),new(new HashSet<string>{"8","13","10","11"}, "32"),new(new HashSet<string>{"8","9","11","14"}, "32"),new(new HashSet<string>{"8","13","11","14"}, "32"),new(new HashSet<string>{"8","15","10","16"}, "32"),new(new HashSet<string>{"8","15","16","14"}, "32"),new(new HashSet<string>{"8","23","9","11","6"}, "36"),new(new HashSet<string>{"6"}, "32"),new(new HashSet<string>{"8","17","18","19","20"}, "32"),new(new HashSet<string>{"8","17","19","11"}, "32"),new(new HashSet<string>{"8","17","19","24"}, "33"),new(new HashSet<string>{"17","24"}, "33"),new(new HashSet<string>{"17"}, "33"),new(new HashSet<string>{}, "36") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "30"),new(new HashSet<string>{"18","20","3"}, "36"),new(new HashSet<string>{"11","3"}, "36"),new(new HashSet<string>{"3"}, "30"),new(new HashSet<string>{"18","4","20","5"}, "36"),new(new HashSet<string>{"4","11","5"}, "36"),new(new HashSet<string>{"4","5"}, "30"),new(new HashSet<string>{"6","7"}, "30"),new(new HashSet<string>{"8","9","10","11"}, "30"),new(new HashSet<string>{"8","13","10","11"}, "30"),new(new HashSet<string>{"8","9","11","14"}, "30"),new(new HashSet<string>{"8","13","11","14"}, "30"),new(new HashSet<string>{"8","15","10","16"}, "30"),new(new HashSet<string>{"8","15","16","14"}, "30"),new(new HashSet<string>{"8","23","9","11","6"}, "36"),new(new HashSet<string>{"6"}, "30"),new(new HashSet<string>{"8","17","18","19","20"}, "30"),new(new HashSet<string>{"8","17","19","11"}, "30"),new(new HashSet<string>{"8","17","19","24"}, "36"),new(new HashSet<string>{"17","24"}, "36"),new(new HashSet<string>{"17"}, "36"),new(new HashSet<string>{}, "39") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "44"),new(new HashSet<string>{"18","20","3"}, "32"),new(new HashSet<string>{"11","3"}, "32"),new(new HashSet<string>{"3"}, "44"),new(new HashSet<string>{"18","4","20","5"}, "32"),new(new HashSet<string>{"4","11","5"}, "32"),new(new HashSet<string>{"4","5"}, "44"),new(new HashSet<string>{"6","7"}, "44"),new(new HashSet<string>{"8","9","10","11"}, "44"),new(new HashSet<string>{"8","13","10","11"}, "44"),new(new HashSet<string>{"8","9","11","14"}, "44"),new(new HashSet<string>{"8","13","11","14"}, "44"),new(new HashSet<string>{"8","15","10","16"}, "44"),new(new HashSet<string>{"8","15","16","14"}, "44"),new(new HashSet<string>{"8","23","9","11","6"}, "32"),new(new HashSet<string>{"6"}, "44"),new(new HashSet<string>{"8","17","18","19","20"}, "44"),new(new HashSet<string>{"8","17","19","11"}, "44"),new(new HashSet<string>{"8","17","19","24"}, "32"),new(new HashSet<string>{"17","24"}, "32"),new(new HashSet<string>{"17"}, "32"),new(new HashSet<string>{}, "32") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "32"),new(new HashSet<string>{"18","20","3"}, "32"),new(new HashSet<string>{"11","3"}, "32"),new(new HashSet<string>{"3"}, "32"),new(new HashSet<string>{"18","4","20","5"}, "32"),new(new HashSet<string>{"4","11","5"}, "32"),new(new HashSet<string>{"4","5"}, "32"),new(new HashSet<string>{"6","7"}, "32"),new(new HashSet<string>{"8","9","10","11"}, "32"),new(new HashSet<string>{"8","13","10","11"}, "32"),new(new HashSet<string>{"8","9","11","14"}, "32"),new(new HashSet<string>{"8","13","11","14"}, "32"),new(new HashSet<string>{"8","15","10","16"}, "32"),new(new HashSet<string>{"8","15","16","14"}, "32"),new(new HashSet<string>{"8","23","9","11","6"}, "32"),new(new HashSet<string>{"6"}, "32"),new(new HashSet<string>{"8","17","18","19","20"}, "32"),new(new HashSet<string>{"8","17","19","11"}, "32"),new(new HashSet<string>{"8","17","19","24"}, "33"),new(new HashSet<string>{"17","24"}, "33"),new(new HashSet<string>{"17"}, "33"),new(new HashSet<string>{}, "36") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "37"),new(new HashSet<string>{"18","20","3"}, "30"),new(new HashSet<string>{"11","3"}, "30"),new(new HashSet<string>{"3"}, "37"),new(new HashSet<string>{"18","4","20","5"}, "30"),new(new HashSet<string>{"4","11","5"}, "30"),new(new HashSet<string>{"4","5"}, "37"),new(new HashSet<string>{"6","7"}, "44"),new(new HashSet<string>{"8","9","10","11"}, "44"),new(new HashSet<string>{"8","13","10","11"}, "44"),new(new HashSet<string>{"8","9","11","14"}, "44"),new(new HashSet<string>{"8","13","11","14"}, "44"),new(new HashSet<string>{"8","15","10","16"}, "44"),new(new HashSet<string>{"8","15","16","14"}, "44"),new(new HashSet<string>{"8","23","9","11","6"}, "30"),new(new HashSet<string>{"6"}, "44"),new(new HashSet<string>{"8","17","18","19","20"}, "44"),new(new HashSet<string>{"8","17","19","11"}, "44"),new(new HashSet<string>{"8","17","19","24"}, "31"),new(new HashSet<string>{"17","24"}, "31"),new(new HashSet<string>{"17"}, "31"),new(new HashSet<string>{}, "30") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "62"),new(new HashSet<string>{"18","20","3"}, "62"),new(new HashSet<string>{"11","3"}, "62"),new(new HashSet<string>{"3"}, "62"),new(new HashSet<string>{"18","4","20","5"}, "62"),new(new HashSet<string>{"4","11","5"}, "62"),new(new HashSet<string>{"4","5"}, "62"),new(new HashSet<string>{"6","7"}, "62"),new(new HashSet<string>{"8","9","10","11"}, "62"),new(new HashSet<string>{"8","13","10","11"}, "62"),new(new HashSet<string>{"8","9","11","14"}, "62"),new(new HashSet<string>{"8","13","11","14"}, "62"),new(new HashSet<string>{"8","15","10","16"}, "62"),new(new HashSet<string>{"8","15","16","14"}, "62"),new(new HashSet<string>{"8","23","9","11","6"}, "36"),new(new HashSet<string>{"6"}, "62"),new(new HashSet<string>{"8","17","18","19","20"}, "62"),new(new HashSet<string>{"8","17","19","11"}, "62"),new(new HashSet<string>{"8","17","19","24"}, "36"),new(new HashSet<string>{"17","24"}, "36"),new(new HashSet<string>{"17"}, "36"),new(new HashSet<string>{}, "62") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "30"),new(new HashSet<string>{"11","3"}, "30"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "30"),new(new HashSet<string>{"4","11","5"}, "30"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "44"),new(new HashSet<string>{"8","9","10","11"}, "48"),new(new HashSet<string>{"8","13","10","11"}, "48"),new(new HashSet<string>{"8","9","11","14"}, "48"),new(new HashSet<string>{"8","13","11","14"}, "48"),new(new HashSet<string>{"8","15","10","16"}, "48"),new(new HashSet<string>{"8","15","16","14"}, "48"),new(new HashSet<string>{"8","23","9","11","6"}, "30"),new(new HashSet<string>{"6"}, "44"),new(new HashSet<string>{"8","17","18","19","20"}, "48"),new(new HashSet<string>{"8","17","19","11"}, "48"),new(new HashSet<string>{"8","17","19","24"}, "30"),new(new HashSet<string>{"17","24"}, "30"),new(new HashSet<string>{"17"}, "30"),new(new HashSet<string>{}, "30") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "63"),new(new HashSet<string>{"18","20","3"}, "32"),new(new HashSet<string>{"11","3"}, "32"),new(new HashSet<string>{"3"}, "63"),new(new HashSet<string>{"18","4","20","5"}, "32"),new(new HashSet<string>{"4","11","5"}, "32"),new(new HashSet<string>{"4","5"}, "63"),new(new HashSet<string>{"6","7"}, "32"),new(new HashSet<string>{"8","9","10","11"}, "33"),new(new HashSet<string>{"8","13","10","11"}, "33"),new(new HashSet<string>{"8","9","11","14"}, "33"),new(new HashSet<string>{"8","13","11","14"}, "33"),new(new HashSet<string>{"8","15","10","16"}, "33"),new(new HashSet<string>{"8","15","16","14"}, "33"),new(new HashSet<string>{"8","23","9","11","6"}, "32"),new(new HashSet<string>{"6"}, "32"),new(new HashSet<string>{"8","17","18","19","20"}, "33"),new(new HashSet<string>{"8","17","19","11"}, "33"),new(new HashSet<string>{"8","17","19","24"}, "32"),new(new HashSet<string>{"17","24"}, "32"),new(new HashSet<string>{"17"}, "32"),new(new HashSet<string>{}, "32") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "59"),new(new HashSet<string>{"11","3"}, "59"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "59"),new(new HashSet<string>{"4","11","5"}, "59"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "35"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "59"),new(new HashSet<string>{"6"}, "35"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "30"),new(new HashSet<string>{"17","24"}, "30"),new(new HashSet<string>{"17"}, "30"),new(new HashSet<string>{}, "37") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "60"),new(new HashSet<string>{"11","3"}, "60"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "60"),new(new HashSet<string>{"4","11","5"}, "60"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "44"),new(new HashSet<string>{"8","9","10","11"}, "44"),new(new HashSet<string>{"8","13","10","11"}, "44"),new(new HashSet<string>{"8","9","11","14"}, "44"),new(new HashSet<string>{"8","13","11","14"}, "44"),new(new HashSet<string>{"8","15","10","16"}, "44"),new(new HashSet<string>{"8","15","16","14"}, "44"),new(new HashSet<string>{"8","23","9","11","6"}, "60"),new(new HashSet<string>{"6"}, "44"),new(new HashSet<string>{"8","17","18","19","20"}, "44"),new(new HashSet<string>{"8","17","19","11"}, "44"),new(new HashSet<string>{"8","17","19","24"}, "60"),new(new HashSet<string>{"17","24"}, "60"),new(new HashSet<string>{"17"}, "60"),new(new HashSet<string>{}, "60") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "48"),new(new HashSet<string>{"18","20","3"}, "60"),new(new HashSet<string>{"11","3"}, "60"),new(new HashSet<string>{"3"}, "48"),new(new HashSet<string>{"18","4","20","5"}, "60"),new(new HashSet<string>{"4","11","5"}, "60"),new(new HashSet<string>{"4","5"}, "48"),new(new HashSet<string>{"6","7"}, "48"),new(new HashSet<string>{"8","9","10","11"}, "48"),new(new HashSet<string>{"8","13","10","11"}, "48"),new(new HashSet<string>{"8","9","11","14"}, "48"),new(new HashSet<string>{"8","13","11","14"}, "48"),new(new HashSet<string>{"8","15","10","16"}, "48"),new(new HashSet<string>{"8","15","16","14"}, "48"),new(new HashSet<string>{"8","23","9","11","6"}, "60"),new(new HashSet<string>{"6"}, "48"),new(new HashSet<string>{"8","17","18","19","20"}, "48"),new(new HashSet<string>{"8","17","19","11"}, "48"),new(new HashSet<string>{"8","17","19","24"}, "60"),new(new HashSet<string>{"17","24"}, "60"),new(new HashSet<string>{"17"}, "60"),new(new HashSet<string>{}, "60") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "37"),new(new HashSet<string>{"11","3"}, "37"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "37"),new(new HashSet<string>{"4","11","5"}, "37"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "35"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "37"),new(new HashSet<string>{"6"}, "35"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "37"),new(new HashSet<string>{"17","24"}, "37"),new(new HashSet<string>{"17"}, "37"),new(new HashSet<string>{}, "37") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "37"),new(new HashSet<string>{"18","20","3"}, "39"),new(new HashSet<string>{"11","3"}, "39"),new(new HashSet<string>{"3"}, "37"),new(new HashSet<string>{"18","4","20","5"}, "39"),new(new HashSet<string>{"4","11","5"}, "39"),new(new HashSet<string>{"4","5"}, "37"),new(new HashSet<string>{"6","7"}, "37"),new(new HashSet<string>{"8","9","10","11"}, "37"),new(new HashSet<string>{"8","13","10","11"}, "37"),new(new HashSet<string>{"8","9","11","14"}, "37"),new(new HashSet<string>{"8","13","11","14"}, "37"),new(new HashSet<string>{"8","15","10","16"}, "37"),new(new HashSet<string>{"8","15","16","14"}, "37"),new(new HashSet<string>{"8","23","9","11","6"}, "39"),new(new HashSet<string>{"6"}, "37"),new(new HashSet<string>{"8","17","18","19","20"}, "37"),new(new HashSet<string>{"8","17","19","11"}, "37"),new(new HashSet<string>{"8","17","19","24"}, "37"),new(new HashSet<string>{"17","24"}, "37"),new(new HashSet<string>{"17"}, "37"),new(new HashSet<string>{}, "60") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "37"),new(new HashSet<string>{"11","3"}, "37"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "37"),new(new HashSet<string>{"4","11","5"}, "37"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "35"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "37"),new(new HashSet<string>{"6"}, "35"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "37"),new(new HashSet<string>{"17","24"}, "37"),new(new HashSet<string>{"17"}, "37"),new(new HashSet<string>{}, "37") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "39"),new(new HashSet<string>{"18","20","3"}, "39"),new(new HashSet<string>{"11","3"}, "39"),new(new HashSet<string>{"3"}, "39"),new(new HashSet<string>{"18","4","20","5"}, "39"),new(new HashSet<string>{"4","11","5"}, "39"),new(new HashSet<string>{"4","5"}, "39"),new(new HashSet<string>{"6","7"}, "39"),new(new HashSet<string>{"8","9","10","11"}, "39"),new(new HashSet<string>{"8","13","10","11"}, "39"),new(new HashSet<string>{"8","9","11","14"}, "39"),new(new HashSet<string>{"8","13","11","14"}, "39"),new(new HashSet<string>{"8","15","10","16"}, "39"),new(new HashSet<string>{"8","15","16","14"}, "39"),new(new HashSet<string>{"8","23","9","11","6"}, "39"),new(new HashSet<string>{"6"}, "39"),new(new HashSet<string>{"8","17","18","19","20"}, "39"),new(new HashSet<string>{"8","17","19","11"}, "39"),new(new HashSet<string>{"8","17","19","24"}, "64"),new(new HashSet<string>{"17","24"}, "64"),new(new HashSet<string>{"17"}, "39"),new(new HashSet<string>{}, "39") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "65"),new(new HashSet<string>{"11","3"}, "65"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "65"),new(new HashSet<string>{"4","11","5"}, "65"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "35"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "65"),new(new HashSet<string>{"6"}, "35"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "65"),new(new HashSet<string>{"17","24"}, "65"),new(new HashSet<string>{"17"}, "65"),new(new HashSet<string>{}, "66") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "38"),new(new HashSet<string>{"18","20","3"}, "30"),new(new HashSet<string>{"11","3"}, "30"),new(new HashSet<string>{"3"}, "38"),new(new HashSet<string>{"18","4","20","5"}, "30"),new(new HashSet<string>{"4","11","5"}, "30"),new(new HashSet<string>{"4","5"}, "38"),new(new HashSet<string>{"6","7"}, "44"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "30"),new(new HashSet<string>{"6"}, "44"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "30"),new(new HashSet<string>{"17","24"}, "30"),new(new HashSet<string>{"17"}, "30"),new(new HashSet<string>{}, "30") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "38"),new(new HashSet<string>{"18","20","3"}, "35"),new(new HashSet<string>{"11","3"}, "35"),new(new HashSet<string>{"3"}, "38"),new(new HashSet<string>{"18","4","20","5"}, "35"),new(new HashSet<string>{"4","11","5"}, "35"),new(new HashSet<string>{"4","5"}, "38"),new(new HashSet<string>{"6","7"}, "38"),new(new HashSet<string>{"8","9","10","11"}, "48"),new(new HashSet<string>{"8","13","10","11"}, "48"),new(new HashSet<string>{"8","9","11","14"}, "48"),new(new HashSet<string>{"8","13","11","14"}, "48"),new(new HashSet<string>{"8","15","10","16"}, "48"),new(new HashSet<string>{"8","15","16","14"}, "48"),new(new HashSet<string>{"8","23","9","11","6"}, "35"),new(new HashSet<string>{"6"}, "38"),new(new HashSet<string>{"8","17","18","19","20"}, "48"),new(new HashSet<string>{"8","17","19","11"}, "48"),new(new HashSet<string>{"8","17","19","24"}, "35"),new(new HashSet<string>{"17","24"}, "35"),new(new HashSet<string>{"17"}, "35"),new(new HashSet<string>{}, "35") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "32"),new(new HashSet<string>{"18","20","3"}, "32"),new(new HashSet<string>{"11","3"}, "32"),new(new HashSet<string>{"3"}, "32"),new(new HashSet<string>{"18","4","20","5"}, "32"),new(new HashSet<string>{"4","11","5"}, "32"),new(new HashSet<string>{"4","5"}, "32"),new(new HashSet<string>{"6","7"}, "32"),new(new HashSet<string>{"8","9","10","11"}, "63"),new(new HashSet<string>{"8","13","10","11"}, "63"),new(new HashSet<string>{"8","9","11","14"}, "63"),new(new HashSet<string>{"8","13","11","14"}, "63"),new(new HashSet<string>{"8","15","10","16"}, "63"),new(new HashSet<string>{"8","15","16","14"}, "63"),new(new HashSet<string>{"8","23","9","11","6"}, "32"),new(new HashSet<string>{"6"}, "32"),new(new HashSet<string>{"8","17","18","19","20"}, "63"),new(new HashSet<string>{"8","17","19","11"}, "63"),new(new HashSet<string>{"8","17","19","24"}, "32"),new(new HashSet<string>{"17","24"}, "32"),new(new HashSet<string>{"17"}, "32"),new(new HashSet<string>{}, "32") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "67"),new(new HashSet<string>{"18","20","3"}, "68"),new(new HashSet<string>{"11","3"}, "68"),new(new HashSet<string>{"3"}, "67"),new(new HashSet<string>{"18","4","20","5"}, "68"),new(new HashSet<string>{"4","11","5"}, "68"),new(new HashSet<string>{"4","5"}, "67"),new(new HashSet<string>{"6","7"}, "67"),new(new HashSet<string>{"8","9","10","11"}, "67"),new(new HashSet<string>{"8","13","10","11"}, "67"),new(new HashSet<string>{"8","9","11","14"}, "67"),new(new HashSet<string>{"8","13","11","14"}, "67"),new(new HashSet<string>{"8","15","10","16"}, "67"),new(new HashSet<string>{"8","15","16","14"}, "67"),new(new HashSet<string>{"8","23","9","11","6"}, "68"),new(new HashSet<string>{"6"}, "67"),new(new HashSet<string>{"8","17","18","19","20"}, "67"),new(new HashSet<string>{"8","17","19","11"}, "67"),new(new HashSet<string>{"8","17","19","24"}, "68"),new(new HashSet<string>{"17","24"}, "68"),new(new HashSet<string>{"17"}, "68"),new(new HashSet<string>{}, "69") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "44"),new(new HashSet<string>{"18","20","3"}, "63"),new(new HashSet<string>{"11","3"}, "63"),new(new HashSet<string>{"3"}, "44"),new(new HashSet<string>{"18","4","20","5"}, "63"),new(new HashSet<string>{"4","11","5"}, "63"),new(new HashSet<string>{"4","5"}, "44"),new(new HashSet<string>{"6","7"}, "44"),new(new HashSet<string>{"8","9","10","11"}, "70"),new(new HashSet<string>{"8","13","10","11"}, "70"),new(new HashSet<string>{"8","9","11","14"}, "70"),new(new HashSet<string>{"8","13","11","14"}, "70"),new(new HashSet<string>{"8","15","10","16"}, "70"),new(new HashSet<string>{"8","15","16","14"}, "70"),new(new HashSet<string>{"8","23","9","11","6"}, "63"),new(new HashSet<string>{"6"}, "44"),new(new HashSet<string>{"8","17","18","19","20"}, "70"),new(new HashSet<string>{"8","17","19","11"}, "70"),new(new HashSet<string>{"8","17","19","24"}, "63"),new(new HashSet<string>{"17","24"}, "63"),new(new HashSet<string>{"17"}, "63"),new(new HashSet<string>{}, "71") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "72"),new(new HashSet<string>{"18","20","3"}, "73"),new(new HashSet<string>{"11","3"}, "73"),new(new HashSet<string>{"3"}, "72"),new(new HashSet<string>{"18","4","20","5"}, "73"),new(new HashSet<string>{"4","11","5"}, "73"),new(new HashSet<string>{"4","5"}, "72"),new(new HashSet<string>{"6","7"}, "72"),new(new HashSet<string>{"8","9","10","11"}, "72"),new(new HashSet<string>{"8","13","10","11"}, "72"),new(new HashSet<string>{"8","9","11","14"}, "72"),new(new HashSet<string>{"8","13","11","14"}, "72"),new(new HashSet<string>{"8","15","10","16"}, "72"),new(new HashSet<string>{"8","15","16","14"}, "72"),new(new HashSet<string>{"8","23","9","11","6"}, "73"),new(new HashSet<string>{"6"}, "72"),new(new HashSet<string>{"8","17","18","19","20"}, "72"),new(new HashSet<string>{"8","17","19","11"}, "72"),new(new HashSet<string>{"8","17","19","24"}, "73"),new(new HashSet<string>{"17","24"}, "73"),new(new HashSet<string>{"17"}, "73"),new(new HashSet<string>{}, "73") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "59"),new(new HashSet<string>{"11","3"}, "59"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "59"),new(new HashSet<string>{"4","11","5"}, "59"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "35"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "59"),new(new HashSet<string>{"6"}, "35"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "31"),new(new HashSet<string>{"17","24"}, "31"),new(new HashSet<string>{"17"}, "31"),new(new HashSet<string>{}, "32") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "37"),new(new HashSet<string>{"11","3"}, "37"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "37"),new(new HashSet<string>{"4","11","5"}, "37"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "35"),new(new HashSet<string>{"8","9","10","11"}, "35"),new(new HashSet<string>{"8","13","10","11"}, "35"),new(new HashSet<string>{"8","9","11","14"}, "35"),new(new HashSet<string>{"8","13","11","14"}, "35"),new(new HashSet<string>{"8","15","10","16"}, "35"),new(new HashSet<string>{"8","15","16","14"}, "35"),new(new HashSet<string>{"8","23","9","11","6"}, "37"),new(new HashSet<string>{"6"}, "35"),new(new HashSet<string>{"8","17","18","19","20"}, "35"),new(new HashSet<string>{"8","17","19","11"}, "35"),new(new HashSet<string>{"8","17","19","24"}, "30"),new(new HashSet<string>{"17","24"}, "30"),new(new HashSet<string>{"17"}, "30"),new(new HashSet<string>{}, "37") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "35"),new(new HashSet<string>{"18","20","3"}, "37"),new(new HashSet<string>{"11","3"}, "37"),new(new HashSet<string>{"3"}, "35"),new(new HashSet<string>{"18","4","20","5"}, "37"),new(new HashSet<string>{"4","11","5"}, "37"),new(new HashSet<string>{"4","5"}, "35"),new(new HashSet<string>{"6","7"}, "44"),new(new HashSet<string>{"8","9","10","11"}, "44"),new(new HashSet<string>{"8","13","10","11"}, "44"),new(new HashSet<string>{"8","9","11","14"}, "44"),new(new HashSet<string>{"8","13","11","14"}, "44"),new(new HashSet<string>{"8","15","10","16"}, "44"),new(new HashSet<string>{"8","15","16","14"}, "44"),new(new HashSet<string>{"8","23","9","11","6"}, "37"),new(new HashSet<string>{"6"}, "44"),new(new HashSet<string>{"8","17","18","19","20"}, "44"),new(new HashSet<string>{"8","17","19","11"}, "44"),new(new HashSet<string>{"8","17","19","24"}, "37"),new(new HashSet<string>{"17","24"}, "37"),new(new HashSet<string>{"17"}, "37"),new(new HashSet<string>{}, "37") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "48"),new(new HashSet<string>{"18","20","3"}, "37"),new(new HashSet<string>{"11","3"}, "37"),new(new HashSet<string>{"3"}, "48"),new(new HashSet<string>{"18","4","20","5"}, "37"),new(new HashSet<string>{"4","11","5"}, "37"),new(new HashSet<string>{"4","5"}, "48"),new(new HashSet<string>{"6","7"}, "48"),new(new HashSet<string>{"8","9","10","11"}, "48"),new(new HashSet<string>{"8","13","10","11"}, "48"),new(new HashSet<string>{"8","9","11","14"}, "48"),new(new HashSet<string>{"8","13","11","14"}, "48"),new(new HashSet<string>{"8","15","10","16"}, "48"),new(new HashSet<string>{"8","15","16","14"}, "48"),new(new HashSet<string>{"8","23","9","11","6"}, "37"),new(new HashSet<string>{"6"}, "48"),new(new HashSet<string>{"8","17","18","19","20"}, "48"),new(new HashSet<string>{"8","17","19","11"}, "48"),new(new HashSet<string>{"8","17","19","24"}, "37"),new(new HashSet<string>{"17","24"}, "37"),new(new HashSet<string>{"17"}, "37"),new(new HashSet<string>{}, "37") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "37"),new(new HashSet<string>{"18","20","3"}, "37"),new(new HashSet<string>{"11","3"}, "37"),new(new HashSet<string>{"3"}, "37"),new(new HashSet<string>{"18","4","20","5"}, "37"),new(new HashSet<string>{"4","11","5"}, "37"),new(new HashSet<string>{"4","5"}, "37"),new(new HashSet<string>{"6","7"}, "37"),new(new HashSet<string>{"8","9","10","11"}, "37"),new(new HashSet<string>{"8","13","10","11"}, "37"),new(new HashSet<string>{"8","9","11","14"}, "37"),new(new HashSet<string>{"8","13","11","14"}, "37"),new(new HashSet<string>{"8","15","10","16"}, "37"),new(new HashSet<string>{"8","15","16","14"}, "37"),new(new HashSet<string>{"8","23","9","11","6"}, "48"),new(new HashSet<string>{"6"}, "37"),new(new HashSet<string>{"8","17","18","19","20"}, "37"),new(new HashSet<string>{"8","17","19","11"}, "37"),new(new HashSet<string>{"8","17","19","24"}, "48"),new(new HashSet<string>{"17","24"}, "48"),new(new HashSet<string>{"17"}, "48"),new(new HashSet<string>{}, "37") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "30"),new(new HashSet<string>{"18","20","3"}, "30"),new(new HashSet<string>{"11","3"}, "30"),new(new HashSet<string>{"3"}, "30"),new(new HashSet<string>{"18","4","20","5"}, "30"),new(new HashSet<string>{"4","11","5"}, "30"),new(new HashSet<string>{"4","5"}, "30"),new(new HashSet<string>{"6","7"}, "30"),new(new HashSet<string>{"8","9","10","11"}, "30"),new(new HashSet<string>{"8","13","10","11"}, "30"),new(new HashSet<string>{"8","9","11","14"}, "30"),new(new HashSet<string>{"8","13","11","14"}, "30"),new(new HashSet<string>{"8","15","10","16"}, "30"),new(new HashSet<string>{"8","15","16","14"}, "30"),new(new HashSet<string>{"8","23","9","11","6"}, "30"),new(new HashSet<string>{"6"}, "30"),new(new HashSet<string>{"8","17","18","19","20"}, "30"),new(new HashSet<string>{"8","17","19","11"}, "30"),new(new HashSet<string>{"8","17","19","24"}, "30"),new(new HashSet<string>{"17","24"}, "30"),new(new HashSet<string>{"17"}, "30"),new(new HashSet<string>{}, "37") },
+        new List<NamedSet> { new(new HashSet<string>{"1"}, "74"),new(new HashSet<string>{"18","20","3"}, "75"),new(new HashSet<string>{"11","3"}, "75"),new(new HashSet<string>{"3"}, "74"),new(new HashSet<string>{"18","4","20","5"}, "75"),new(new HashSet<string>{"4","11","5"}, "75"),new(new HashSet<string>{"4","5"}, "74"),new(new HashSet<string>{"6","7"}, "74"),new(new HashSet<string>{"8","9","10","11"}, "74"),new(new HashSet<string>{"8","13","10","11"}, "74"),new(new HashSet<string>{"8","9","11","14"}, "74"),new(new HashSet<string>{"8","13","11","14"}, "74"),new(new HashSet<string>{"8","15","10","16"}, "74"),new(new HashSet<string>{"8","15","16","14"}, "74"),new(new HashSet<string>{"8","23","9","11","6"}, "76"),new(new HashSet<string>{"6"}, "74"),new(new HashSet<string>{"8","17","18","19","20"}, "74"),new(new HashSet<string>{"8","17","19","11"}, "74"),new(new HashSet<string>{"8","17","19","24"}, "76"),new(new HashSet<string>{"17","24"}, "77"),new(new HashSet<string>{"17"}, "76"),new(new HashSet<string>{}, "78") },
+    };
+}

diff --git a/src/tests/JIT/Regression/JitBlue/Runtime_88091/Runtime_88091.csproj b/src/tests/JIT/Regression/JitBlue/Runtime_88091/Runtime_88091.csproj
new file mode 100644 (file)
index 0000000..1bb887e
--- /dev/null
+++ b/src/tests/JIT/Regression/JitBlue/Runtime_88091/Runtime_88091.csproj
@@ -0,0 +1,9 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <Optimize>True</Optimize>
+    <DebugType>None</DebugType>
+  </PropertyGroup>
+  <ItemGroup>
+    <Compile Include="$(MSBuildProjectName).cs" />
+  </ItemGroup>
+</Project>
\ No newline at end of file