Benchmark: Reset Static State for 1000 Types

Program.cs

using System;
using System.Diagnostics;
using System.Reflection;
using System.Runtime.CompilerServices;

namespace StaticResetBenchmark;

public abstract class StaticStateMarker
{
}

internal static class Program
{
    private const int ExpectedTypeCount = 1000;

    private static void Main()
    {
        Type[] types = Array.FindAll(typeof(Program).Assembly.GetTypes(), IsStateType);
        Array.Sort(types, CompareTypeNames);

        if (types.Length != ExpectedTypeCount)
            throw new InvalidOperationException("Expected " + ExpectedTypeCount + " state types, but found " + types.Length + ".");

        FieldInfo[] fields = new FieldInfo[types.Length];
        object?[] initialValues = new object?[types.Length];

        for (int i = 0; i < types.Length; i++)
        {
            RuntimeHelpers.RunClassConstructor(types[i].TypeHandle);

            FieldInfo? field = types[i].GetField("Value", BindingFlags.Public | BindingFlags.Static);

            if (field == null)
                throw new MissingFieldException(types[i].FullName, "Value");

            fields[i] = field;
            initialValues[i] = field.GetValue(null);
        }

        for (int i = 0; i < fields.Length; i++)
            fields[i].SetValue(null, int.MinValue + i);

        Stopwatch stopwatch = Stopwatch.StartNew();

        for (int i = 0; i < fields.Length; i++)
            fields[i].SetValue(null, initialValues[i]);

        stopwatch.Stop();

        for (int i = 0; i < fields.Length; i++)
        {
            if (!Equals(fields[i].GetValue(null), initialValues[i]))
                throw new InvalidOperationException("Reset validation failed for " + fields[i].DeclaringType?.FullName + ".Value.");
        }

        Console.WriteLine(stopwatch.ElapsedMilliseconds + " ms");
    }

    private static bool IsStateType(Type type)
    {
        return !type.IsAbstract && typeof(StaticStateMarker).IsAssignableFrom(type);
    }

    private static int CompareTypeNames(Type left, Type right)
    {
        return string.CompareOrdinal(left.FullName, right.FullName);
    }
}

public sealed class State0001 : StaticStateMarker { public static int Value = 1; }
public sealed class State0002 : StaticStateMarker { public static int Value = 2; }
public sealed class State0003 : StaticStateMarker { public static int Value = 3; }
public sealed class State0004 : StaticStateMarker { public static int Value = 4; }
public sealed class State0005 : StaticStateMarker { public static int Value = 5; }
public sealed class State0006 : StaticStateMarker { public static int Value = 6; }
public sealed class State0007 : StaticStateMarker { public static int Value = 7; }
public sealed class State0008 : StaticStateMarker { public static int Value = 8; }
public sealed class State0009 : StaticStateMarker { public static int Value = 9; }
public sealed class State0010 : StaticStateMarker { public static int Value = 10; }
public sealed class State0011 : StaticStateMarker { public static int Value = 11; }
public sealed class State0012 : StaticStateMarker { public static int Value = 12; }
public sealed class State0013 : StaticStateMarker { public static int Value = 13; }
public sealed class State0014 : StaticStateMarker { public static int Value = 14; }
public sealed class State0015 : StaticStateMarker { public static int Value = 15; }
public sealed class State0016 : StaticStateMarker { public static int Value = 16; }
public sealed class State0017 : StaticStateMarker { public static int Value = 17; }
public sealed class State0018 : StaticStateMarker { public static int Value = 18; }
public sealed class State0019 : StaticStateMarker { public static int Value = 19; }
public sealed class State0020 : StaticStateMarker { public static int Value = 20; }
public sealed class State0021 : StaticStateMarker { public static int Value = 21; }
public sealed class State0022 : StaticStateMarker { public static int Value = 22; }
public sealed class State0023 : StaticStateMarker { public static int Value = 23; }
public sealed class State0024 : StaticStateMarker { public static int Value = 24; }
public sealed class State0025 : StaticStateMarker { public static int Value = 25; }
public sealed class State0026 : StaticStateMarker { public static int Value = 26; }
public sealed class State0027 : StaticStateMarker { public static int Value = 27; }
public sealed class State0028 : StaticStateMarker { public static int Value = 28; }
public sealed class State0029 : StaticStateMarker { public static int Value = 29; }
public sealed class State0030 : StaticStateMarker { public static int Value = 30; }
public sealed class State0031 : StaticStateMarker { public static int Value = 31; }
public sealed class State0032 : StaticStateMarker { public static int Value = 32; }
public sealed class State0033 : StaticStateMarker { public static int Value = 33; }
public sealed class State0034 : StaticStateMarker { public static int Value = 34; }
public sealed class State0035 : StaticStateMarker { public static int Value = 35; }
public sealed class State0036 : StaticStateMarker { public static int Value = 36; }
public sealed class State0037 : StaticStateMarker { public static int Value = 37; }
public sealed class State0038 : StaticStateMarker { public static int Value = 38; }
public sealed class State0039 : StaticStateMarker { public static int Value = 39; }
public sealed class State0040 : StaticStateMarker { public static int Value = 40; }
public sealed class State0041 : StaticStateMarker { public static int Value = 41; }
public sealed class State0042 : StaticStateMarker { public static int Value = 42; }
public sealed class State0043 : StaticStateMarker { public static int Value = 43; }
public sealed class State0044 : StaticStateMarker { public static int Value = 44; }
public sealed class State0045 : StaticStateMarker { public static int Value = 45; }
public sealed class State0046 : StaticStateMarker { public static int Value = 46; }
public sealed class State0047 : StaticStateMarker { public static int Value = 47; }
public sealed class State0048 : StaticStateMarker { public static int Value = 48; }
public sealed class State0049 : StaticStateMarker { public static int Value = 49; }
public sealed class State0050 : StaticStateMarker { public static int Value = 50; }
public sealed class State0051 : StaticStateMarker { public static int Value = 51; }
public sealed class State0052 : StaticStateMarker { public static int Value = 52; }
public sealed class State0053 : StaticStateMarker { public static int Value = 53; }
public sealed class State0054 : StaticStateMarker { public static int Value = 54; }
public sealed class State0055 : StaticStateMarker { public static int Value = 55; }
public sealed class State0056 : StaticStateMarker { public static int Value = 56; }
public sealed class State0057 : StaticStateMarker { public static int Value = 57; }
public sealed class State0058 : StaticStateMarker { public static int Value = 58; }
public sealed class State0059 : StaticStateMarker { public static int Value = 59; }
public sealed class State0060 : StaticStateMarker { public static int Value = 60; }
public sealed class State0061 : StaticStateMarker { public static int Value = 61; }
public sealed class State0062 : StaticStateMarker { public static int Value = 62; }
public sealed class State0063 : StaticStateMarker { public static int Value = 63; }
public sealed class State0064 : StaticStateMarker { public static int Value = 64; }
public sealed class State0065 : StaticStateMarker { public static int Value = 65; }
public sealed class State0066 : StaticStateMarker { public static int Value = 66; }
public sealed class State0067 : StaticStateMarker { public static int Value = 67; }
public sealed class State0068 : StaticStateMarker { public static int Value = 68; }
public sealed class State0069 : StaticStateMarker { public static int Value = 69; }
public sealed class State0070 : StaticStateMarker { public static int Value = 70; }
public sealed class State0071 : StaticStateMarker { public static int Value = 71; }
public sealed class State0072 : StaticStateMarker { public static int Value = 72; }
public sealed class State0073 : StaticStateMarker { public static int Value = 73; }
public sealed class State0074 : StaticStateMarker { public static int Value = 74; }
public sealed class State0075 : StaticStateMarker { public static int Value = 75; }
public sealed class State0076 : StaticStateMarker { public static int Value = 76; }
public sealed class State0077 : StaticStateMarker { public static int Value = 77; }
public sealed class State0078 : StaticStateMarker { public static int Value = 78; }
public sealed class State0079 : StaticStateMarker { public static int Value = 79; }
public sealed class State0080 : StaticStateMarker { public static int Value = 80; }
public sealed class State0081 : StaticStateMarker { public static int Value = 81; }
public sealed class State0082 : StaticStateMarker { public static int Value = 82; }
public sealed class State0083 : StaticStateMarker { public static int Value = 83; }
public sealed class State0084 : StaticStateMarker { public static int Value = 84; }
public sealed class State0085 : StaticStateMarker { public static int Value = 85; }
public sealed class State0086 : StaticStateMarker { public static int Value = 86; }
public sealed class State0087 : StaticStateMarker { public static int Value = 87; }
public sealed class State0088 : StaticStateMarker { public static int Value = 88; }
public sealed class State0089 : StaticStateMarker { public static int Value = 89; }
public sealed class State0090 : StaticStateMarker { public static int Value = 90; }
public sealed class State0091 : StaticStateMarker { public static int Value = 91; }
public sealed class State0092 : StaticStateMarker { public static int Value = 92; }
public sealed class State0093 : StaticStateMarker { public static int Value = 93; }
public sealed class State0094 : StaticStateMarker { public static int Value = 94; }
public sealed class State0095 : StaticStateMarker { public static int Value = 95; }
public sealed class State0096 : StaticStateMarker { public static int Value = 96; }
public sealed class State0097 : StaticStateMarker { public static int Value = 97; }
public sealed class State0098 : StaticStateMarker { public static int Value = 98; }
public sealed class State0099 : StaticStateMarker { public static int Value = 99; }
public sealed class State0100 : StaticStateMarker { public static int Value = 100; }
public sealed class State0101 : StaticStateMarker { public static int Value = 101; }
public sealed class State0102 : StaticStateMarker { public static int Value = 102; }
public sealed class State0103 : StaticStateMarker { public static int Value = 103; }
public sealed class State0104 : StaticStateMarker { public static int Value = 104; }
public sealed class State0105 : StaticStateMarker { public static int Value = 105; }
public sealed class State0106 : StaticStateMarker { public static int Value = 106; }
public sealed class State0107 : StaticStateMarker { public static int Value = 107; }
public sealed class State0108 : StaticStateMarker { public static int Value = 108; }
public sealed class State0109 : StaticStateMarker { public static int Value = 109; }
public sealed class State0110 : StaticStateMarker { public static int Value = 110; }
public sealed class State0111 : StaticStateMarker { public static int Value = 111; }
public sealed class State0112 : StaticStateMarker { public static int Value = 112; }
public sealed class State0113 : StaticStateMarker { public static int Value = 113; }
public sealed class State0114 : StaticStateMarker { public static int Value = 114; }
public sealed class State0115 : StaticStateMarker { public static int Value = 115; }
public sealed class State0116 : StaticStateMarker { public static int Value = 116; }
public sealed class State0117 : StaticStateMarker { public static int Value = 117; }
public sealed class State0118 : StaticStateMarker { public static int Value = 118; }
public sealed class State0119 : StaticStateMarker { public static int Value = 119; }
public sealed class State0120 : StaticStateMarker { public static int Value = 120; }
public sealed class State0121 : StaticStateMarker { public static int Value = 121; }
public sealed class State0122 : StaticStateMarker { public static int Value = 122; }
public sealed class State0123 : StaticStateMarker { public static int Value = 123; }
public sealed class State0124 : StaticStateMarker { public static int Value = 124; }
public sealed class State0125 : StaticStateMarker { public static int Value = 125; }
public sealed class State0126 : StaticStateMarker { public static int Value = 126; }
public sealed class State0127 : StaticStateMarker { public static int Value = 127; }
public sealed class State0128 : StaticStateMarker { public static int Value = 128; }
public sealed class State0129 : StaticStateMarker { public static int Value = 129; }
public sealed class State0130 : StaticStateMarker { public static int Value = 130; }
public sealed class State0131 : StaticStateMarker { public static int Value = 131; }
public sealed class State0132 : StaticStateMarker { public static int Value = 132; }
public sealed class State0133 : StaticStateMarker { public static int Value = 133; }
public sealed class State0134 : StaticStateMarker { public static int Value = 134; }
public sealed class State0135 : StaticStateMarker { public static int Value = 135; }
public sealed class State0136 : StaticStateMarker { public static int Value = 136; }
public sealed class State0137 : StaticStateMarker { public static int Value = 137; }
public sealed class State0138 : StaticStateMarker { public static int Value = 138; }
public sealed class State0139 : StaticStateMarker { public static int Value = 139; }
public sealed class State0140 : StaticStateMarker { public static int Value = 140; }
public sealed class State0141 : StaticStateMarker { public static int Value = 141; }
public sealed class State0142 : StaticStateMarker { public static int Value = 142; }
public sealed class State0143 : StaticStateMarker { public static int Value = 143; }
public sealed class State0144 : StaticStateMarker { public static int Value = 144; }
public sealed class State0145 : StaticStateMarker { public static int Value = 145; }
public sealed class State0146 : StaticStateMarker { public static int Value = 146; }
public sealed class State0147 : StaticStateMarker { public static int Value = 147; }
public sealed class State0148 : StaticStateMarker { public static int Value = 148; }
public sealed class State0149 : StaticStateMarker { public static int Value = 149; }
public sealed class State0150 : StaticStateMarker { public static int Value = 150; }
public sealed class State0151 : StaticStateMarker { public static int Value = 151; }
public sealed class State0152 : StaticStateMarker { public static int Value = 152; }
public sealed class State0153 : StaticStateMarker { public static int Value = 153; }
public sealed class State0154 : StaticStateMarker { public static int Value = 154; }
public sealed class State0155 : StaticStateMarker { public static int Value = 155; }
public sealed class State0156 : StaticStateMarker { public static int Value = 156; }
public sealed class State0157 : StaticStateMarker { public static int Value = 157; }
public sealed class State0158 : StaticStateMarker { public static int Value = 158; }
public sealed class State0159 : StaticStateMarker { public static int Value = 159; }
public sealed class State0160 : StaticStateMarker { public static int Value = 160; }
public sealed class State0161 : StaticStateMarker { public static int Value = 161; }
public sealed class State0162 : StaticStateMarker { public static int Value = 162; }
public sealed class State0163 : StaticStateMarker { public static int Value = 163; }
public sealed class State0164 : StaticStateMarker { public static int Value = 164; }
public sealed class State0165 : StaticStateMarker { public static int Value = 165; }
public sealed class State0166 : StaticStateMarker { public static int Value = 166; }
public sealed class State0167 : StaticStateMarker { public static int Value = 167; }
public sealed class State0168 : StaticStateMarker { public static int Value = 168; }
public sealed class State0169 : StaticStateMarker { public static int Value = 169; }
public sealed class State0170 : StaticStateMarker { public static int Value = 170; }
public sealed class State0171 : StaticStateMarker { public static int Value = 171; }
public sealed class State0172 : StaticStateMarker { public static int Value = 172; }
public sealed class State0173 : StaticStateMarker { public static int Value = 173; }
public sealed class State0174 : StaticStateMarker { public static int Value = 174; }
public sealed class State0175 : StaticStateMarker { public static int Value = 175; }
public sealed class State0176 : StaticStateMarker { public static int Value = 176; }
public sealed class State0177 : StaticStateMarker { public static int Value = 177; }
public sealed class State0178 : StaticStateMarker { public static int Value = 178; }
public sealed class State0179 : StaticStateMarker { public static int Value = 179; }
public sealed class State0180 : StaticStateMarker { public static int Value = 180; }
public sealed class State0181 : StaticStateMarker { public static int Value = 181; }
public sealed class State0182 : StaticStateMarker { public static int Value = 182; }
public sealed class State0183 : StaticStateMarker { public static int Value = 183; }
public sealed class State0184 : StaticStateMarker { public static int Value = 184; }
public sealed class State0185 : StaticStateMarker { public static int Value = 185; }
public sealed class State0186 : StaticStateMarker { public static int Value = 186; }
public sealed class State0187 : StaticStateMarker { public static int Value = 187; }
public sealed class State0188 : StaticStateMarker { public static int Value = 188; }
public sealed class State0189 : StaticStateMarker { public static int Value = 189; }
public sealed class State0190 : StaticStateMarker { public static int Value = 190; }
public sealed class State0191 : StaticStateMarker { public static int Value = 191; }
public sealed class State0192 : StaticStateMarker { public static int Value = 192; }
public sealed class State0193 : StaticStateMarker { public static int Value = 193; }
public sealed class State0194 : StaticStateMarker { public static int Value = 194; }
public sealed class State0195 : StaticStateMarker { public static int Value = 195; }
public sealed class State0196 : StaticStateMarker { public static int Value = 196; }
public sealed class State0197 : StaticStateMarker { public static int Value = 197; }
public sealed class State0198 : StaticStateMarker { public static int Value = 198; }
public sealed class State0199 : StaticStateMarker { public static int Value = 199; }
public sealed class State0200 : StaticStateMarker { public static int Value = 200; }
public sealed class State0201 : StaticStateMarker { public static int Value = 201; }
public sealed class State0202 : StaticStateMarker { public static int Value = 202; }
public sealed class State0203 : StaticStateMarker { public static int Value = 203; }
public sealed class State0204 : StaticStateMarker { public static int Value = 204; }
public sealed class State0205 : StaticStateMarker { public static int Value = 205; }
public sealed class State0206 : StaticStateMarker { public static int Value = 206; }
public sealed class State0207 : StaticStateMarker { public static int Value = 207; }
public sealed class State0208 : StaticStateMarker { public static int Value = 208; }
public sealed class State0209 : StaticStateMarker { public static int Value = 209; }
public sealed class State0210 : StaticStateMarker { public static int Value = 210; }
public sealed class State0211 : StaticStateMarker { public static int Value = 211; }
public sealed class State0212 : StaticStateMarker { public static int Value = 212; }
public sealed class State0213 : StaticStateMarker { public static int Value = 213; }
public sealed class State0214 : StaticStateMarker { public static int Value = 214; }
public sealed class State0215 : StaticStateMarker { public static int Value = 215; }
public sealed class State0216 : StaticStateMarker { public static int Value = 216; }
public sealed class State0217 : StaticStateMarker { public static int Value = 217; }
public sealed class State0218 : StaticStateMarker { public static int Value = 218; }
public sealed class State0219 : StaticStateMarker { public static int Value = 219; }
public sealed class State0220 : StaticStateMarker { public static int Value = 220; }
public sealed class State0221 : StaticStateMarker { public static int Value = 221; }
public sealed class State0222 : StaticStateMarker { public static int Value = 222; }
public sealed class State0223 : StaticStateMarker { public static int Value = 223; }
public sealed class State0224 : StaticStateMarker { public static int Value = 224; }
public sealed class State0225 : StaticStateMarker { public static int Value = 225; }
public sealed class State0226 : StaticStateMarker { public static int Value = 226; }
public sealed class State0227 : StaticStateMarker { public static int Value = 227; }
public sealed class State0228 : StaticStateMarker { public static int Value = 228; }
public sealed class State0229 : StaticStateMarker { public static int Value = 229; }
public sealed class State0230 : StaticStateMarker { public static int Value = 230; }
public sealed class State0231 : StaticStateMarker { public static int Value = 231; }
public sealed class State0232 : StaticStateMarker { public static int Value = 232; }
public sealed class State0233 : StaticStateMarker { public static int Value = 233; }
public sealed class State0234 : StaticStateMarker { public static int Value = 234; }
public sealed class State0235 : StaticStateMarker { public static int Value = 235; }
public sealed class State0236 : StaticStateMarker { public static int Value = 236; }
public sealed class State0237 : StaticStateMarker { public static int Value = 237; }
public sealed class State0238 : StaticStateMarker { public static int Value = 238; }
public sealed class State0239 : StaticStateMarker { public static int Value = 239; }
public sealed class State0240 : StaticStateMarker { public static int Value = 240; }
public sealed class State0241 : StaticStateMarker { public static int Value = 241; }
public sealed class State0242 : StaticStateMarker { public static int Value = 242; }
public sealed class State0243 : StaticStateMarker { public static int Value = 243; }
public sealed class State0244 : StaticStateMarker { public static int Value = 244; }
public sealed class State0245 : StaticStateMarker { public static int Value = 245; }
public sealed class State0246 : StaticStateMarker { public static int Value = 246; }
public sealed class State0247 : StaticStateMarker { public static int Value = 247; }
public sealed class State0248 : StaticStateMarker { public static int Value = 248; }
public sealed class State0249 : StaticStateMarker { public static int Value = 249; }
public sealed class State0250 : StaticStateMarker { public static int Value = 250; }
public sealed class State0251 : StaticStateMarker { public static int Value = 251; }
public sealed class State0252 : StaticStateMarker { public static int Value = 252; }
public sealed class State0253 : StaticStateMarker { public static int Value = 253; }
public sealed class State0254 : StaticStateMarker { public static int Value = 254; }
public sealed class State0255 : StaticStateMarker { public static int Value = 255; }
public sealed class State0256 : StaticStateMarker { public static int Value = 256; }
public sealed class State0257 : StaticStateMarker { public static int Value = 257; }
public sealed class State0258 : StaticStateMarker { public static int Value = 258; }
public sealed class State0259 : StaticStateMarker { public static int Value = 259; }
public sealed class State0260 : StaticStateMarker { public static int Value = 260; }
public sealed class State0261 : StaticStateMarker { public static int Value = 261; }
public sealed class State0262 : StaticStateMarker { public static int Value = 262; }
public sealed class State0263 : StaticStateMarker { public static int Value = 263; }
public sealed class State0264 : StaticStateMarker { public static int Value = 264; }
public sealed class State0265 : StaticStateMarker { public static int Value = 265; }
public sealed class State0266 : StaticStateMarker { public static int Value = 266; }
public sealed class State0267 : StaticStateMarker { public static int Value = 267; }
public sealed class State0268 : StaticStateMarker { public static int Value = 268; }
public sealed class State0269 : StaticStateMarker { public static int Value = 269; }
public sealed class State0270 : StaticStateMarker { public static int Value = 270; }
public sealed class State0271 : StaticStateMarker { public static int Value = 271; }
public sealed class State0272 : StaticStateMarker { public static int Value = 272; }
public sealed class State0273 : StaticStateMarker { public static int Value = 273; }
public sealed class State0274 : StaticStateMarker { public static int Value = 274; }
public sealed class State0275 : StaticStateMarker { public static int Value = 275; }
public sealed class State0276 : StaticStateMarker { public static int Value = 276; }
public sealed class State0277 : StaticStateMarker { public static int Value = 277; }
public sealed class State0278 : StaticStateMarker { public static int Value = 278; }
public sealed class State0279 : StaticStateMarker { public static int Value = 279; }
public sealed class State0280 : StaticStateMarker { public static int Value = 280; }
public sealed class State0281 : StaticStateMarker { public static int Value = 281; }
public sealed class State0282 : StaticStateMarker { public static int Value = 282; }
public sealed class State0283 : StaticStateMarker { public static int Value = 283; }
public sealed class State0284 : StaticStateMarker { public static int Value = 284; }
public sealed class State0285 : StaticStateMarker { public static int Value = 285; }
public sealed class State0286 : StaticStateMarker { public static int Value = 286; }
public sealed class State0287 : StaticStateMarker { public static int Value = 287; }
public sealed class State0288 : StaticStateMarker { public static int Value = 288; }
public sealed class State0289 : StaticStateMarker { public static int Value = 289; }
public sealed class State0290 : StaticStateMarker { public static int Value = 290; }
public sealed class State0291 : StaticStateMarker { public static int Value = 291; }
public sealed class State0292 : StaticStateMarker { public static int Value = 292; }
public sealed class State0293 : StaticStateMarker { public static int Value = 293; }
public sealed class State0294 : StaticStateMarker { public static int Value = 294; }
public sealed class State0295 : StaticStateMarker { public static int Value = 295; }
public sealed class State0296 : StaticStateMarker { public static int Value = 296; }
public sealed class State0297 : StaticStateMarker { public static int Value = 297; }
public sealed class State0298 : StaticStateMarker { public static int Value = 298; }
public sealed class State0299 : StaticStateMarker { public static int Value = 299; }
public sealed class State0300 : StaticStateMarker { public static int Value = 300; }
public sealed class State0301 : StaticStateMarker { public static int Value = 301; }
public sealed class State0302 : StaticStateMarker { public static int Value = 302; }
public sealed class State0303 : StaticStateMarker { public static int Value = 303; }
public sealed class State0304 : StaticStateMarker { public static int Value = 304; }
public sealed class State0305 : StaticStateMarker { public static int Value = 305; }
public sealed class State0306 : StaticStateMarker { public static int Value = 306; }
public sealed class State0307 : StaticStateMarker { public static int Value = 307; }
public sealed class State0308 : StaticStateMarker { public static int Value = 308; }
public sealed class State0309 : StaticStateMarker { public static int Value = 309; }
public sealed class State0310 : StaticStateMarker { public static int Value = 310; }
public sealed class State0311 : StaticStateMarker { public static int Value = 311; }
public sealed class State0312 : StaticStateMarker { public static int Value = 312; }
public sealed class State0313 : StaticStateMarker { public static int Value = 313; }
public sealed class State0314 : StaticStateMarker { public static int Value = 314; }
public sealed class State0315 : StaticStateMarker { public static int Value = 315; }
public sealed class State0316 : StaticStateMarker { public static int Value = 316; }
public sealed class State0317 : StaticStateMarker { public static int Value = 317; }
public sealed class State0318 : StaticStateMarker { public static int Value = 318; }
public sealed class State0319 : StaticStateMarker { public static int Value = 319; }
public sealed class State0320 : StaticStateMarker { public static int Value = 320; }
public sealed class State0321 : StaticStateMarker { public static int Value = 321; }
public sealed class State0322 : StaticStateMarker { public static int Value = 322; }
public sealed class State0323 : StaticStateMarker { public static int Value = 323; }
public sealed class State0324 : StaticStateMarker { public static int Value = 324; }
public sealed class State0325 : StaticStateMarker { public static int Value = 325; }
public sealed class State0326 : StaticStateMarker { public static int Value = 326; }
public sealed class State0327 : StaticStateMarker { public static int Value = 327; }
public sealed class State0328 : StaticStateMarker { public static int Value = 328; }
public sealed class State0329 : StaticStateMarker { public static int Value = 329; }
public sealed class State0330 : StaticStateMarker { public static int Value = 330; }
public sealed class State0331 : StaticStateMarker { public static int Value = 331; }
public sealed class State0332 : StaticStateMarker { public static int Value = 332; }
public sealed class State0333 : StaticStateMarker { public static int Value = 333; }
public sealed class State0334 : StaticStateMarker { public static int Value = 334; }
public sealed class State0335 : StaticStateMarker { public static int Value = 335; }
public sealed class State0336 : StaticStateMarker { public static int Value = 336; }
public sealed class State0337 : StaticStateMarker { public static int Value = 337; }
public sealed class State0338 : StaticStateMarker { public static int Value = 338; }
public sealed class State0339 : StaticStateMarker { public static int Value = 339; }
public sealed class State0340 : StaticStateMarker { public static int Value = 340; }
public sealed class State0341 : StaticStateMarker { public static int Value = 341; }
public sealed class State0342 : StaticStateMarker { public static int Value = 342; }
public sealed class State0343 : StaticStateMarker { public static int Value = 343; }
public sealed class State0344 : StaticStateMarker { public static int Value = 344; }
public sealed class State0345 : StaticStateMarker { public static int Value = 345; }
public sealed class State0346 : StaticStateMarker { public static int Value = 346; }
public sealed class State0347 : StaticStateMarker { public static int Value = 347; }
public sealed class State0348 : StaticStateMarker { public static int Value = 348; }
public sealed class State0349 : StaticStateMarker { public static int Value = 349; }
public sealed class State0350 : StaticStateMarker { public static int Value = 350; }
public sealed class State0351 : StaticStateMarker { public static int Value = 351; }
public sealed class State0352 : StaticStateMarker { public static int Value = 352; }
public sealed class State0353 : StaticStateMarker { public static int Value = 353; }
public sealed class State0354 : StaticStateMarker { public static int Value = 354; }
public sealed class State0355 : StaticStateMarker { public static int Value = 355; }
public sealed class State0356 : StaticStateMarker { public static int Value = 356; }
public sealed class State0357 : StaticStateMarker { public static int Value = 357; }
public sealed class State0358 : StaticStateMarker { public static int Value = 358; }
public sealed class State0359 : StaticStateMarker { public static int Value = 359; }
public sealed class State0360 : StaticStateMarker { public static int Value = 360; }
public sealed class State0361 : StaticStateMarker { public static int Value = 361; }
public sealed class State0362 : StaticStateMarker { public static int Value = 362; }
public sealed class State0363 : StaticStateMarker { public static int Value = 363; }
public sealed class State0364 : StaticStateMarker { public static int Value = 364; }
public sealed class State0365 : StaticStateMarker { public static int Value = 365; }
public sealed class State0366 : StaticStateMarker { public static int Value = 366; }
public sealed class State0367 : StaticStateMarker { public static int Value = 367; }
public sealed class State0368 : StaticStateMarker { public static int Value = 368; }
public sealed class State0369 : StaticStateMarker { public static int Value = 369; }
public sealed class State0370 : StaticStateMarker { public static int Value = 370; }
public sealed class State0371 : StaticStateMarker { public static int Value = 371; }
public sealed class State0372 : StaticStateMarker { public static int Value = 372; }
public sealed class State0373 : StaticStateMarker { public static int Value = 373; }
public sealed class State0374 : StaticStateMarker { public static int Value = 374; }
public sealed class State0375 : StaticStateMarker { public static int Value = 375; }
public sealed class State0376 : StaticStateMarker { public static int Value = 376; }
public sealed class State0377 : StaticStateMarker { public static int Value = 377; }
public sealed class State0378 : StaticStateMarker { public static int Value = 378; }
public sealed class State0379 : StaticStateMarker { public static int Value = 379; }
public sealed class State0380 : StaticStateMarker { public static int Value = 380; }
public sealed class State0381 : StaticStateMarker { public static int Value = 381; }
public sealed class State0382 : StaticStateMarker { public static int Value = 382; }
public sealed class State0383 : StaticStateMarker { public static int Value = 383; }
public sealed class State0384 : StaticStateMarker { public static int Value = 384; }
public sealed class State0385 : StaticStateMarker { public static int Value = 385; }
public sealed class State0386 : StaticStateMarker { public static int Value = 386; }
public sealed class State0387 : StaticStateMarker { public static int Value = 387; }
public sealed class State0388 : StaticStateMarker { public static int Value = 388; }
public sealed class State0389 : StaticStateMarker { public static int Value = 389; }
public sealed class State0390 : StaticStateMarker { public static int Value = 390; }
public sealed class State0391 : StaticStateMarker { public static int Value = 391; }
public sealed class State0392 : StaticStateMarker { public static int Value = 392; }
public sealed class State0393 : StaticStateMarker { public static int Value = 393; }
public sealed class State0394 : StaticStateMarker { public static int Value = 394; }
public sealed class State0395 : StaticStateMarker { public static int Value = 395; }
public sealed class State0396 : StaticStateMarker { public static int Value = 396; }
public sealed class State0397 : StaticStateMarker { public static int Value = 397; }
public sealed class State0398 : StaticStateMarker { public static int Value = 398; }
public sealed class State0399 : StaticStateMarker { public static int Value = 399; }
public sealed class State0400 : StaticStateMarker { public static int Value = 400; }
public sealed class State0401 : StaticStateMarker { public static int Value = 401; }
public sealed class State0402 : StaticStateMarker { public static int Value = 402; }
public sealed class State0403 : StaticStateMarker { public static int Value = 403; }
public sealed class State0404 : StaticStateMarker { public static int Value = 404; }
public sealed class State0405 : StaticStateMarker { public static int Value = 405; }
public sealed class State0406 : StaticStateMarker { public static int Value = 406; }
public sealed class State0407 : StaticStateMarker { public static int Value = 407; }
public sealed class State0408 : StaticStateMarker { public static int Value = 408; }
public sealed class State0409 : StaticStateMarker { public static int Value = 409; }
public sealed class State0410 : StaticStateMarker { public static int Value = 410; }
public sealed class State0411 : StaticStateMarker { public static int Value = 411; }
public sealed class State0412 : StaticStateMarker { public static int Value = 412; }
public sealed class State0413 : StaticStateMarker { public static int Value = 413; }
public sealed class State0414 : StaticStateMarker { public static int Value = 414; }
public sealed class State0415 : StaticStateMarker { public static int Value = 415; }
public sealed class State0416 : StaticStateMarker { public static int Value = 416; }
public sealed class State0417 : StaticStateMarker { public static int Value = 417; }
public sealed class State0418 : StaticStateMarker { public static int Value = 418; }
public sealed class State0419 : StaticStateMarker { public static int Value = 419; }
public sealed class State0420 : StaticStateMarker { public static int Value = 420; }
public sealed class State0421 : StaticStateMarker { public static int Value = 421; }
public sealed class State0422 : StaticStateMarker { public static int Value = 422; }
public sealed class State0423 : StaticStateMarker { public static int Value = 423; }
public sealed class State0424 : StaticStateMarker { public static int Value = 424; }
public sealed class State0425 : StaticStateMarker { public static int Value = 425; }
public sealed class State0426 : StaticStateMarker { public static int Value = 426; }
public sealed class State0427 : StaticStateMarker { public static int Value = 427; }
public sealed class State0428 : StaticStateMarker { public static int Value = 428; }
public sealed class State0429 : StaticStateMarker { public static int Value = 429; }
public sealed class State0430 : StaticStateMarker { public static int Value = 430; }
public sealed class State0431 : StaticStateMarker { public static int Value = 431; }
public sealed class State0432 : StaticStateMarker { public static int Value = 432; }
public sealed class State0433 : StaticStateMarker { public static int Value = 433; }
public sealed class State0434 : StaticStateMarker { public static int Value = 434; }
public sealed class State0435 : StaticStateMarker { public static int Value = 435; }
public sealed class State0436 : StaticStateMarker { public static int Value = 436; }
public sealed class State0437 : StaticStateMarker { public static int Value = 437; }
public sealed class State0438 : StaticStateMarker { public static int Value = 438; }
public sealed class State0439 : StaticStateMarker { public static int Value = 439; }
public sealed class State0440 : StaticStateMarker { public static int Value = 440; }
public sealed class State0441 : StaticStateMarker { public static int Value = 441; }
public sealed class State0442 : StaticStateMarker { public static int Value = 442; }
public sealed class State0443 : StaticStateMarker { public static int Value = 443; }
public sealed class State0444 : StaticStateMarker { public static int Value = 444; }
public sealed class State0445 : StaticStateMarker { public static int Value = 445; }
public sealed class State0446 : StaticStateMarker { public static int Value = 446; }
public sealed class State0447 : StaticStateMarker { public static int Value = 447; }
public sealed class State0448 : StaticStateMarker { public static int Value = 448; }
public sealed class State0449 : StaticStateMarker { public static int Value = 449; }
public sealed class State0450 : StaticStateMarker { public static int Value = 450; }
public sealed class State0451 : StaticStateMarker { public static int Value = 451; }
public sealed class State0452 : StaticStateMarker { public static int Value = 452; }
public sealed class State0453 : StaticStateMarker { public static int Value = 453; }
public sealed class State0454 : StaticStateMarker { public static int Value = 454; }
public sealed class State0455 : StaticStateMarker { public static int Value = 455; }
public sealed class State0456 : StaticStateMarker { public static int Value = 456; }
public sealed class State0457 : StaticStateMarker { public static int Value = 457; }
public sealed class State0458 : StaticStateMarker { public static int Value = 458; }
public sealed class State0459 : StaticStateMarker { public static int Value = 459; }
public sealed class State0460 : StaticStateMarker { public static int Value = 460; }
public sealed class State0461 : StaticStateMarker { public static int Value = 461; }
public sealed class State0462 : StaticStateMarker { public static int Value = 462; }
public sealed class State0463 : StaticStateMarker { public static int Value = 463; }
public sealed class State0464 : StaticStateMarker { public static int Value = 464; }
public sealed class State0465 : StaticStateMarker { public static int Value = 465; }
public sealed class State0466 : StaticStateMarker { public static int Value = 466; }
public sealed class State0467 : StaticStateMarker { public static int Value = 467; }
public sealed class State0468 : StaticStateMarker { public static int Value = 468; }
public sealed class State0469 : StaticStateMarker { public static int Value = 469; }
public sealed class State0470 : StaticStateMarker { public static int Value = 470; }
public sealed class State0471 : StaticStateMarker { public static int Value = 471; }
public sealed class State0472 : StaticStateMarker { public static int Value = 472; }
public sealed class State0473 : StaticStateMarker { public static int Value = 473; }
public sealed class State0474 : StaticStateMarker { public static int Value = 474; }
public sealed class State0475 : StaticStateMarker { public static int Value = 475; }
public sealed class State0476 : StaticStateMarker { public static int Value = 476; }
public sealed class State0477 : StaticStateMarker { public static int Value = 477; }
public sealed class State0478 : StaticStateMarker { public static int Value = 478; }
public sealed class State0479 : StaticStateMarker { public static int Value = 479; }
public sealed class State0480 : StaticStateMarker { public static int Value = 480; }
public sealed class State0481 : StaticStateMarker { public static int Value = 481; }
public sealed class State0482 : StaticStateMarker { public static int Value = 482; }
public sealed class State0483 : StaticStateMarker { public static int Value = 483; }
public sealed class State0484 : StaticStateMarker { public static int Value = 484; }
public sealed class State0485 : StaticStateMarker { public static int Value = 485; }
public sealed class State0486 : StaticStateMarker { public static int Value = 486; }
public sealed class State0487 : StaticStateMarker { public static int Value = 487; }
public sealed class State0488 : StaticStateMarker { public static int Value = 488; }
public sealed class State0489 : StaticStateMarker { public static int Value = 489; }
public sealed class State0490 : StaticStateMarker { public static int Value = 490; }
public sealed class State0491 : StaticStateMarker { public static int Value = 491; }
public sealed class State0492 : StaticStateMarker { public static int Value = 492; }
public sealed class State0493 : StaticStateMarker { public static int Value = 493; }
public sealed class State0494 : StaticStateMarker { public static int Value = 494; }
public sealed class State0495 : StaticStateMarker { public static int Value = 495; }
public sealed class State0496 : StaticStateMarker { public static int Value = 496; }
public sealed class State0497 : StaticStateMarker { public static int Value = 497; }
public sealed class State0498 : StaticStateMarker { public static int Value = 498; }
public sealed class State0499 : StaticStateMarker { public static int Value = 499; }
public sealed class State0500 : StaticStateMarker { public static int Value = 500; }
public sealed class State0501 : StaticStateMarker { public static int Value = 501; }
public sealed class State0502 : StaticStateMarker { public static int Value = 502; }
public sealed class State0503 : StaticStateMarker { public static int Value = 503; }
public sealed class State0504 : StaticStateMarker { public static int Value = 504; }
public sealed class State0505 : StaticStateMarker { public static int Value = 505; }
public sealed class State0506 : StaticStateMarker { public static int Value = 506; }
public sealed class State0507 : StaticStateMarker { public static int Value = 507; }
public sealed class State0508 : StaticStateMarker { public static int Value = 508; }
public sealed class State0509 : StaticStateMarker { public static int Value = 509; }
public sealed class State0510 : StaticStateMarker { public static int Value = 510; }
public sealed class State0511 : StaticStateMarker { public static int Value = 511; }
public sealed class State0512 : StaticStateMarker { public static int Value = 512; }
public sealed class State0513 : StaticStateMarker { public static int Value = 513; }
public sealed class State0514 : StaticStateMarker { public static int Value = 514; }
public sealed class State0515 : StaticStateMarker { public static int Value = 515; }
public sealed class State0516 : StaticStateMarker { public static int Value = 516; }
public sealed class State0517 : StaticStateMarker { public static int Value = 517; }
public sealed class State0518 : StaticStateMarker { public static int Value = 518; }
public sealed class State0519 : StaticStateMarker { public static int Value = 519; }
public sealed class State0520 : StaticStateMarker { public static int Value = 520; }
public sealed class State0521 : StaticStateMarker { public static int Value = 521; }
public sealed class State0522 : StaticStateMarker { public static int Value = 522; }
public sealed class State0523 : StaticStateMarker { public static int Value = 523; }
public sealed class State0524 : StaticStateMarker { public static int Value = 524; }
public sealed class State0525 : StaticStateMarker { public static int Value = 525; }
public sealed class State0526 : StaticStateMarker { public static int Value = 526; }
public sealed class State0527 : StaticStateMarker { public static int Value = 527; }
public sealed class State0528 : StaticStateMarker { public static int Value = 528; }
public sealed class State0529 : StaticStateMarker { public static int Value = 529; }
public sealed class State0530 : StaticStateMarker { public static int Value = 530; }
public sealed class State0531 : StaticStateMarker { public static int Value = 531; }
public sealed class State0532 : StaticStateMarker { public static int Value = 532; }
public sealed class State0533 : StaticStateMarker { public static int Value = 533; }
public sealed class State0534 : StaticStateMarker { public static int Value = 534; }
public sealed class State0535 : StaticStateMarker { public static int Value = 535; }
public sealed class State0536 : StaticStateMarker { public static int Value = 536; }
public sealed class State0537 : StaticStateMarker { public static int Value = 537; }
public sealed class State0538 : StaticStateMarker { public static int Value = 538; }
public sealed class State0539 : StaticStateMarker { public static int Value = 539; }
public sealed class State0540 : StaticStateMarker { public static int Value = 540; }
public sealed class State0541 : StaticStateMarker { public static int Value = 541; }
public sealed class State0542 : StaticStateMarker { public static int Value = 542; }
public sealed class State0543 : StaticStateMarker { public static int Value = 543; }
public sealed class State0544 : StaticStateMarker { public static int Value = 544; }
public sealed class State0545 : StaticStateMarker { public static int Value = 545; }
public sealed class State0546 : StaticStateMarker { public static int Value = 546; }
public sealed class State0547 : StaticStateMarker { public static int Value = 547; }
public sealed class State0548 : StaticStateMarker { public static int Value = 548; }
public sealed class State0549 : StaticStateMarker { public static int Value = 549; }
public sealed class State0550 : StaticStateMarker { public static int Value = 550; }
public sealed class State0551 : StaticStateMarker { public static int Value = 551; }
public sealed class State0552 : StaticStateMarker { public static int Value = 552; }
public sealed class State0553 : StaticStateMarker { public static int Value = 553; }
public sealed class State0554 : StaticStateMarker { public static int Value = 554; }
public sealed class State0555 : StaticStateMarker { public static int Value = 555; }
public sealed class State0556 : StaticStateMarker { public static int Value = 556; }
public sealed class State0557 : StaticStateMarker { public static int Value = 557; }
public sealed class State0558 : StaticStateMarker { public static int Value = 558; }
public sealed class State0559 : StaticStateMarker { public static int Value = 559; }
public sealed class State0560 : StaticStateMarker { public static int Value = 560; }
public sealed class State0561 : StaticStateMarker { public static int Value = 561; }
public sealed class State0562 : StaticStateMarker { public static int Value = 562; }
public sealed class State0563 : StaticStateMarker { public static int Value = 563; }
public sealed class State0564 : StaticStateMarker { public static int Value = 564; }
public sealed class State0565 : StaticStateMarker { public static int Value = 565; }
public sealed class State0566 : StaticStateMarker { public static int Value = 566; }
public sealed class State0567 : StaticStateMarker { public static int Value = 567; }
public sealed class State0568 : StaticStateMarker { public static int Value = 568; }
public sealed class State0569 : StaticStateMarker { public static int Value = 569; }
public sealed class State0570 : StaticStateMarker { public static int Value = 570; }
public sealed class State0571 : StaticStateMarker { public static int Value = 571; }
public sealed class State0572 : StaticStateMarker { public static int Value = 572; }
public sealed class State0573 : StaticStateMarker { public static int Value = 573; }
public sealed class State0574 : StaticStateMarker { public static int Value = 574; }
public sealed class State0575 : StaticStateMarker { public static int Value = 575; }
public sealed class State0576 : StaticStateMarker { public static int Value = 576; }
public sealed class State0577 : StaticStateMarker { public static int Value = 577; }
public sealed class State0578 : StaticStateMarker { public static int Value = 578; }
public sealed class State0579 : StaticStateMarker { public static int Value = 579; }
public sealed class State0580 : StaticStateMarker { public static int Value = 580; }
public sealed class State0581 : StaticStateMarker { public static int Value = 581; }
public sealed class State0582 : StaticStateMarker { public static int Value = 582; }
public sealed class State0583 : StaticStateMarker { public static int Value = 583; }
public sealed class State0584 : StaticStateMarker { public static int Value = 584; }
public sealed class State0585 : StaticStateMarker { public static int Value = 585; }
public sealed class State0586 : StaticStateMarker { public static int Value = 586; }
public sealed class State0587 : StaticStateMarker { public static int Value = 587; }
public sealed class State0588 : StaticStateMarker { public static int Value = 588; }
public sealed class State0589 : StaticStateMarker { public static int Value = 589; }
public sealed class State0590 : StaticStateMarker { public static int Value = 590; }
public sealed class State0591 : StaticStateMarker { public static int Value = 591; }
public sealed class State0592 : StaticStateMarker { public static int Value = 592; }
public sealed class State0593 : StaticStateMarker { public static int Value = 593; }
public sealed class State0594 : StaticStateMarker { public static int Value = 594; }
public sealed class State0595 : StaticStateMarker { public static int Value = 595; }
public sealed class State0596 : StaticStateMarker { public static int Value = 596; }
public sealed class State0597 : StaticStateMarker { public static int Value = 597; }
public sealed class State0598 : StaticStateMarker { public static int Value = 598; }
public sealed class State0599 : StaticStateMarker { public static int Value = 599; }
public sealed class State0600 : StaticStateMarker { public static int Value = 600; }
public sealed class State0601 : StaticStateMarker { public static int Value = 601; }
public sealed class State0602 : StaticStateMarker { public static int Value = 602; }
public sealed class State0603 : StaticStateMarker { public static int Value = 603; }
public sealed class State0604 : StaticStateMarker { public static int Value = 604; }
public sealed class State0605 : StaticStateMarker { public static int Value = 605; }
public sealed class State0606 : StaticStateMarker { public static int Value = 606; }
public sealed class State0607 : StaticStateMarker { public static int Value = 607; }
public sealed class State0608 : StaticStateMarker { public static int Value = 608; }
public sealed class State0609 : StaticStateMarker { public static int Value = 609; }
public sealed class State0610 : StaticStateMarker { public static int Value = 610; }
public sealed class State0611 : StaticStateMarker { public static int Value = 611; }
public sealed class State0612 : StaticStateMarker { public static int Value = 612; }
public sealed class State0613 : StaticStateMarker { public static int Value = 613; }
public sealed class State0614 : StaticStateMarker { public static int Value = 614; }
public sealed class State0615 : StaticStateMarker { public static int Value = 615; }
public sealed class State0616 : StaticStateMarker { public static int Value = 616; }
public sealed class State0617 : StaticStateMarker { public static int Value = 617; }
public sealed class State0618 : StaticStateMarker { public static int Value = 618; }
public sealed class State0619 : StaticStateMarker { public static int Value = 619; }
public sealed class State0620 : StaticStateMarker { public static int Value = 620; }
public sealed class State0621 : StaticStateMarker { public static int Value = 621; }
public sealed class State0622 : StaticStateMarker { public static int Value = 622; }
public sealed class State0623 : StaticStateMarker { public static int Value = 623; }
public sealed class State0624 : StaticStateMarker { public static int Value = 624; }
public sealed class State0625 : StaticStateMarker { public static int Value = 625; }
public sealed class State0626 : StaticStateMarker { public static int Value = 626; }
public sealed class State0627 : StaticStateMarker { public static int Value = 627; }
public sealed class State0628 : StaticStateMarker { public static int Value = 628; }
public sealed class State0629 : StaticStateMarker { public static int Value = 629; }
public sealed class State0630 : StaticStateMarker { public static int Value = 630; }
public sealed class State0631 : StaticStateMarker { public static int Value = 631; }
public sealed class State0632 : StaticStateMarker { public static int Value = 632; }
public sealed class State0633 : StaticStateMarker { public static int Value = 633; }
public sealed class State0634 : StaticStateMarker { public static int Value = 634; }
public sealed class State0635 : StaticStateMarker { public static int Value = 635; }
public sealed class State0636 : StaticStateMarker { public static int Value = 636; }
public sealed class State0637 : StaticStateMarker { public static int Value = 637; }
public sealed class State0638 : StaticStateMarker { public static int Value = 638; }
public sealed class State0639 : StaticStateMarker { public static int Value = 639; }
public sealed class State0640 : StaticStateMarker { public static int Value = 640; }
public sealed class State0641 : StaticStateMarker { public static int Value = 641; }
public sealed class State0642 : StaticStateMarker { public static int Value = 642; }
public sealed class State0643 : StaticStateMarker { public static int Value = 643; }
public sealed class State0644 : StaticStateMarker { public static int Value = 644; }
public sealed class State0645 : StaticStateMarker { public static int Value = 645; }
public sealed class State0646 : StaticStateMarker { public static int Value = 646; }
public sealed class State0647 : StaticStateMarker { public static int Value = 647; }
public sealed class State0648 : StaticStateMarker { public static int Value = 648; }
public sealed class State0649 : StaticStateMarker { public static int Value = 649; }
public sealed class State0650 : StaticStateMarker { public static int Value = 650; }
public sealed class State0651 : StaticStateMarker { public static int Value = 651; }
public sealed class State0652 : StaticStateMarker { public static int Value = 652; }
public sealed class State0653 : StaticStateMarker { public static int Value = 653; }
public sealed class State0654 : StaticStateMarker { public static int Value = 654; }
public sealed class State0655 : StaticStateMarker { public static int Value = 655; }
public sealed class State0656 : StaticStateMarker { public static int Value = 656; }
public sealed class State0657 : StaticStateMarker { public static int Value = 657; }
public sealed class State0658 : StaticStateMarker { public static int Value = 658; }
public sealed class State0659 : StaticStateMarker { public static int Value = 659; }
public sealed class State0660 : StaticStateMarker { public static int Value = 660; }
public sealed class State0661 : StaticStateMarker { public static int Value = 661; }
public sealed class State0662 : StaticStateMarker { public static int Value = 662; }
public sealed class State0663 : StaticStateMarker { public static int Value = 663; }
public sealed class State0664 : StaticStateMarker { public static int Value = 664; }
public sealed class State0665 : StaticStateMarker { public static int Value = 665; }
public sealed class State0666 : StaticStateMarker { public static int Value = 666; }
public sealed class State0667 : StaticStateMarker { public static int Value = 667; }
public sealed class State0668 : StaticStateMarker { public static int Value = 668; }
public sealed class State0669 : StaticStateMarker { public static int Value = 669; }
public sealed class State0670 : StaticStateMarker { public static int Value = 670; }
public sealed class State0671 : StaticStateMarker { public static int Value = 671; }
public sealed class State0672 : StaticStateMarker { public static int Value = 672; }
public sealed class State0673 : StaticStateMarker { public static int Value = 673; }
public sealed class State0674 : StaticStateMarker { public static int Value = 674; }
public sealed class State0675 : StaticStateMarker { public static int Value = 675; }
public sealed class State0676 : StaticStateMarker { public static int Value = 676; }
public sealed class State0677 : StaticStateMarker { public static int Value = 677; }
public sealed class State0678 : StaticStateMarker { public static int Value = 678; }
public sealed class State0679 : StaticStateMarker { public static int Value = 679; }
public sealed class State0680 : StaticStateMarker { public static int Value = 680; }
public sealed class State0681 : StaticStateMarker { public static int Value = 681; }
public sealed class State0682 : StaticStateMarker { public static int Value = 682; }
public sealed class State0683 : StaticStateMarker { public static int Value = 683; }
public sealed class State0684 : StaticStateMarker { public static int Value = 684; }
public sealed class State0685 : StaticStateMarker { public static int Value = 685; }
public sealed class State0686 : StaticStateMarker { public static int Value = 686; }
public sealed class State0687 : StaticStateMarker { public static int Value = 687; }
public sealed class State0688 : StaticStateMarker { public static int Value = 688; }
public sealed class State0689 : StaticStateMarker { public static int Value = 689; }
public sealed class State0690 : StaticStateMarker { public static int Value = 690; }
public sealed class State0691 : StaticStateMarker { public static int Value = 691; }
public sealed class State0692 : StaticStateMarker { public static int Value = 692; }
public sealed class State0693 : StaticStateMarker { public static int Value = 693; }
public sealed class State0694 : StaticStateMarker { public static int Value = 694; }
public sealed class State0695 : StaticStateMarker { public static int Value = 695; }
public sealed class State0696 : StaticStateMarker { public static int Value = 696; }
public sealed class State0697 : StaticStateMarker { public static int Value = 697; }
public sealed class State0698 : StaticStateMarker { public static int Value = 698; }
public sealed class State0699 : StaticStateMarker { public static int Value = 699; }
public sealed class State0700 : StaticStateMarker { public static int Value = 700; }
public sealed class State0701 : StaticStateMarker { public static int Value = 701; }
public sealed class State0702 : StaticStateMarker { public static int Value = 702; }
public sealed class State0703 : StaticStateMarker { public static int Value = 703; }
public sealed class State0704 : StaticStateMarker { public static int Value = 704; }
public sealed class State0705 : StaticStateMarker { public static int Value = 705; }
public sealed class State0706 : StaticStateMarker { public static int Value = 706; }
public sealed class State0707 : StaticStateMarker { public static int Value = 707; }
public sealed class State0708 : StaticStateMarker { public static int Value = 708; }
public sealed class State0709 : StaticStateMarker { public static int Value = 709; }
public sealed class State0710 : StaticStateMarker { public static int Value = 710; }
public sealed class State0711 : StaticStateMarker { public static int Value = 711; }
public sealed class State0712 : StaticStateMarker { public static int Value = 712; }
public sealed class State0713 : StaticStateMarker { public static int Value = 713; }
public sealed class State0714 : StaticStateMarker { public static int Value = 714; }
public sealed class State0715 : StaticStateMarker { public static int Value = 715; }
public sealed class State0716 : StaticStateMarker { public static int Value = 716; }
public sealed class State0717 : StaticStateMarker { public static int Value = 717; }
public sealed class State0718 : StaticStateMarker { public static int Value = 718; }
public sealed class State0719 : StaticStateMarker { public static int Value = 719; }
public sealed class State0720 : StaticStateMarker { public static int Value = 720; }
public sealed class State0721 : StaticStateMarker { public static int Value = 721; }
public sealed class State0722 : StaticStateMarker { public static int Value = 722; }
public sealed class State0723 : StaticStateMarker { public static int Value = 723; }
public sealed class State0724 : StaticStateMarker { public static int Value = 724; }
public sealed class State0725 : StaticStateMarker { public static int Value = 725; }
public sealed class State0726 : StaticStateMarker { public static int Value = 726; }
public sealed class State0727 : StaticStateMarker { public static int Value = 727; }
public sealed class State0728 : StaticStateMarker { public static int Value = 728; }
public sealed class State0729 : StaticStateMarker { public static int Value = 729; }
public sealed class State0730 : StaticStateMarker { public static int Value = 730; }
public sealed class State0731 : StaticStateMarker { public static int Value = 731; }
public sealed class State0732 : StaticStateMarker { public static int Value = 732; }
public sealed class State0733 : StaticStateMarker { public static int Value = 733; }
public sealed class State0734 : StaticStateMarker { public static int Value = 734; }
public sealed class State0735 : StaticStateMarker { public static int Value = 735; }
public sealed class State0736 : StaticStateMarker { public static int Value = 736; }
public sealed class State0737 : StaticStateMarker { public static int Value = 737; }
public sealed class State0738 : StaticStateMarker { public static int Value = 738; }
public sealed class State0739 : StaticStateMarker { public static int Value = 739; }
public sealed class State0740 : StaticStateMarker { public static int Value = 740; }
public sealed class State0741 : StaticStateMarker { public static int Value = 741; }
public sealed class State0742 : StaticStateMarker { public static int Value = 742; }
public sealed class State0743 : StaticStateMarker { public static int Value = 743; }
public sealed class State0744 : StaticStateMarker { public static int Value = 744; }
public sealed class State0745 : StaticStateMarker { public static int Value = 745; }
public sealed class State0746 : StaticStateMarker { public static int Value = 746; }
public sealed class State0747 : StaticStateMarker { public static int Value = 747; }
public sealed class State0748 : StaticStateMarker { public static int Value = 748; }
public sealed class State0749 : StaticStateMarker { public static int Value = 749; }
public sealed class State0750 : StaticStateMarker { public static int Value = 750; }
public sealed class State0751 : StaticStateMarker { public static int Value = 751; }
public sealed class State0752 : StaticStateMarker { public static int Value = 752; }
public sealed class State0753 : StaticStateMarker { public static int Value = 753; }
public sealed class State0754 : StaticStateMarker { public static int Value = 754; }
public sealed class State0755 : StaticStateMarker { public static int Value = 755; }
public sealed class State0756 : StaticStateMarker { public static int Value = 756; }
public sealed class State0757 : StaticStateMarker { public static int Value = 757; }
public sealed class State0758 : StaticStateMarker { public static int Value = 758; }
public sealed class State0759 : StaticStateMarker { public static int Value = 759; }
public sealed class State0760 : StaticStateMarker { public static int Value = 760; }
public sealed class State0761 : StaticStateMarker { public static int Value = 761; }
public sealed class State0762 : StaticStateMarker { public static int Value = 762; }
public sealed class State0763 : StaticStateMarker { public static int Value = 763; }
public sealed class State0764 : StaticStateMarker { public static int Value = 764; }
public sealed class State0765 : StaticStateMarker { public static int Value = 765; }
public sealed class State0766 : StaticStateMarker { public static int Value = 766; }
public sealed class State0767 : StaticStateMarker { public static int Value = 767; }
public sealed class State0768 : StaticStateMarker { public static int Value = 768; }
public sealed class State0769 : StaticStateMarker { public static int Value = 769; }
public sealed class State0770 : StaticStateMarker { public static int Value = 770; }
public sealed class State0771 : StaticStateMarker { public static int Value = 771; }
public sealed class State0772 : StaticStateMarker { public static int Value = 772; }
public sealed class State0773 : StaticStateMarker { public static int Value = 773; }
public sealed class State0774 : StaticStateMarker { public static int Value = 774; }
public sealed class State0775 : StaticStateMarker { public static int Value = 775; }
public sealed class State0776 : StaticStateMarker { public static int Value = 776; }
public sealed class State0777 : StaticStateMarker { public static int Value = 777; }
public sealed class State0778 : StaticStateMarker { public static int Value = 778; }
public sealed class State0779 : StaticStateMarker { public static int Value = 779; }
public sealed class State0780 : StaticStateMarker { public static int Value = 780; }
public sealed class State0781 : StaticStateMarker { public static int Value = 781; }
public sealed class State0782 : StaticStateMarker { public static int Value = 782; }
public sealed class State0783 : StaticStateMarker { public static int Value = 783; }
public sealed class State0784 : StaticStateMarker { public static int Value = 784; }
public sealed class State0785 : StaticStateMarker { public static int Value = 785; }
public sealed class State0786 : StaticStateMarker { public static int Value = 786; }
public sealed class State0787 : StaticStateMarker { public static int Value = 787; }
public sealed class State0788 : StaticStateMarker { public static int Value = 788; }
public sealed class State0789 : StaticStateMarker { public static int Value = 789; }
public sealed class State0790 : StaticStateMarker { public static int Value = 790; }
public sealed class State0791 : StaticStateMarker { public static int Value = 791; }
public sealed class State0792 : StaticStateMarker { public static int Value = 792; }
public sealed class State0793 : StaticStateMarker { public static int Value = 793; }
public sealed class State0794 : StaticStateMarker { public static int Value = 794; }
public sealed class State0795 : StaticStateMarker { public static int Value = 795; }
public sealed class State0796 : StaticStateMarker { public static int Value = 796; }
public sealed class State0797 : StaticStateMarker { public static int Value = 797; }
public sealed class State0798 : StaticStateMarker { public static int Value = 798; }
public sealed class State0799 : StaticStateMarker { public static int Value = 799; }
public sealed class State0800 : StaticStateMarker { public static int Value = 800; }
public sealed class State0801 : StaticStateMarker { public static int Value = 801; }
public sealed class State0802 : StaticStateMarker { public static int Value = 802; }
public sealed class State0803 : StaticStateMarker { public static int Value = 803; }
public sealed class State0804 : StaticStateMarker { public static int Value = 804; }
public sealed class State0805 : StaticStateMarker { public static int Value = 805; }
public sealed class State0806 : StaticStateMarker { public static int Value = 806; }
public sealed class State0807 : StaticStateMarker { public static int Value = 807; }
public sealed class State0808 : StaticStateMarker { public static int Value = 808; }
public sealed class State0809 : StaticStateMarker { public static int Value = 809; }
public sealed class State0810 : StaticStateMarker { public static int Value = 810; }
public sealed class State0811 : StaticStateMarker { public static int Value = 811; }
public sealed class State0812 : StaticStateMarker { public static int Value = 812; }
public sealed class State0813 : StaticStateMarker { public static int Value = 813; }
public sealed class State0814 : StaticStateMarker { public static int Value = 814; }
public sealed class State0815 : StaticStateMarker { public static int Value = 815; }
public sealed class State0816 : StaticStateMarker { public static int Value = 816; }
public sealed class State0817 : StaticStateMarker { public static int Value = 817; }
public sealed class State0818 : StaticStateMarker { public static int Value = 818; }
public sealed class State0819 : StaticStateMarker { public static int Value = 819; }
public sealed class State0820 : StaticStateMarker { public static int Value = 820; }
public sealed class State0821 : StaticStateMarker { public static int Value = 821; }
public sealed class State0822 : StaticStateMarker { public static int Value = 822; }
public sealed class State0823 : StaticStateMarker { public static int Value = 823; }
public sealed class State0824 : StaticStateMarker { public static int Value = 824; }
public sealed class State0825 : StaticStateMarker { public static int Value = 825; }
public sealed class State0826 : StaticStateMarker { public static int Value = 826; }
public sealed class State0827 : StaticStateMarker { public static int Value = 827; }
public sealed class State0828 : StaticStateMarker { public static int Value = 828; }
public sealed class State0829 : StaticStateMarker { public static int Value = 829; }
public sealed class State0830 : StaticStateMarker { public static int Value = 830; }
public sealed class State0831 : StaticStateMarker { public static int Value = 831; }
public sealed class State0832 : StaticStateMarker { public static int Value = 832; }
public sealed class State0833 : StaticStateMarker { public static int Value = 833; }
public sealed class State0834 : StaticStateMarker { public static int Value = 834; }
public sealed class State0835 : StaticStateMarker { public static int Value = 835; }
public sealed class State0836 : StaticStateMarker { public static int Value = 836; }
public sealed class State0837 : StaticStateMarker { public static int Value = 837; }
public sealed class State0838 : StaticStateMarker { public static int Value = 838; }
public sealed class State0839 : StaticStateMarker { public static int Value = 839; }
public sealed class State0840 : StaticStateMarker { public static int Value = 840; }
public sealed class State0841 : StaticStateMarker { public static int Value = 841; }
public sealed class State0842 : StaticStateMarker { public static int Value = 842; }
public sealed class State0843 : StaticStateMarker { public static int Value = 843; }
public sealed class State0844 : StaticStateMarker { public static int Value = 844; }
public sealed class State0845 : StaticStateMarker { public static int Value = 845; }
public sealed class State0846 : StaticStateMarker { public static int Value = 846; }
public sealed class State0847 : StaticStateMarker { public static int Value = 847; }
public sealed class State0848 : StaticStateMarker { public static int Value = 848; }
public sealed class State0849 : StaticStateMarker { public static int Value = 849; }
public sealed class State0850 : StaticStateMarker { public static int Value = 850; }
public sealed class State0851 : StaticStateMarker { public static int Value = 851; }
public sealed class State0852 : StaticStateMarker { public static int Value = 852; }
public sealed class State0853 : StaticStateMarker { public static int Value = 853; }
public sealed class State0854 : StaticStateMarker { public static int Value = 854; }
public sealed class State0855 : StaticStateMarker { public static int Value = 855; }
public sealed class State0856 : StaticStateMarker { public static int Value = 856; }
public sealed class State0857 : StaticStateMarker { public static int Value = 857; }
public sealed class State0858 : StaticStateMarker { public static int Value = 858; }
public sealed class State0859 : StaticStateMarker { public static int Value = 859; }
public sealed class State0860 : StaticStateMarker { public static int Value = 860; }
public sealed class State0861 : StaticStateMarker { public static int Value = 861; }
public sealed class State0862 : StaticStateMarker { public static int Value = 862; }
public sealed class State0863 : StaticStateMarker { public static int Value = 863; }
public sealed class State0864 : StaticStateMarker { public static int Value = 864; }
public sealed class State0865 : StaticStateMarker { public static int Value = 865; }
public sealed class State0866 : StaticStateMarker { public static int Value = 866; }
public sealed class State0867 : StaticStateMarker { public static int Value = 867; }
public sealed class State0868 : StaticStateMarker { public static int Value = 868; }
public sealed class State0869 : StaticStateMarker { public static int Value = 869; }
public sealed class State0870 : StaticStateMarker { public static int Value = 870; }
public sealed class State0871 : StaticStateMarker { public static int Value = 871; }
public sealed class State0872 : StaticStateMarker { public static int Value = 872; }
public sealed class State0873 : StaticStateMarker { public static int Value = 873; }
public sealed class State0874 : StaticStateMarker { public static int Value = 874; }
public sealed class State0875 : StaticStateMarker { public static int Value = 875; }
public sealed class State0876 : StaticStateMarker { public static int Value = 876; }
public sealed class State0877 : StaticStateMarker { public static int Value = 877; }
public sealed class State0878 : StaticStateMarker { public static int Value = 878; }
public sealed class State0879 : StaticStateMarker { public static int Value = 879; }
public sealed class State0880 : StaticStateMarker { public static int Value = 880; }
public sealed class State0881 : StaticStateMarker { public static int Value = 881; }
public sealed class State0882 : StaticStateMarker { public static int Value = 882; }
public sealed class State0883 : StaticStateMarker { public static int Value = 883; }
public sealed class State0884 : StaticStateMarker { public static int Value = 884; }
public sealed class State0885 : StaticStateMarker { public static int Value = 885; }
public sealed class State0886 : StaticStateMarker { public static int Value = 886; }
public sealed class State0887 : StaticStateMarker { public static int Value = 887; }
public sealed class State0888 : StaticStateMarker { public static int Value = 888; }
public sealed class State0889 : StaticStateMarker { public static int Value = 889; }
public sealed class State0890 : StaticStateMarker { public static int Value = 890; }
public sealed class State0891 : StaticStateMarker { public static int Value = 891; }
public sealed class State0892 : StaticStateMarker { public static int Value = 892; }
public sealed class State0893 : StaticStateMarker { public static int Value = 893; }
public sealed class State0894 : StaticStateMarker { public static int Value = 894; }
public sealed class State0895 : StaticStateMarker { public static int Value = 895; }
public sealed class State0896 : StaticStateMarker { public static int Value = 896; }
public sealed class State0897 : StaticStateMarker { public static int Value = 897; }
public sealed class State0898 : StaticStateMarker { public static int Value = 898; }
public sealed class State0899 : StaticStateMarker { public static int Value = 899; }
public sealed class State0900 : StaticStateMarker { public static int Value = 900; }
public sealed class State0901 : StaticStateMarker { public static int Value = 901; }
public sealed class State0902 : StaticStateMarker { public static int Value = 902; }
public sealed class State0903 : StaticStateMarker { public static int Value = 903; }
public sealed class State0904 : StaticStateMarker { public static int Value = 904; }
public sealed class State0905 : StaticStateMarker { public static int Value = 905; }
public sealed class State0906 : StaticStateMarker { public static int Value = 906; }
public sealed class State0907 : StaticStateMarker { public static int Value = 907; }
public sealed class State0908 : StaticStateMarker { public static int Value = 908; }
public sealed class State0909 : StaticStateMarker { public static int Value = 909; }
public sealed class State0910 : StaticStateMarker { public static int Value = 910; }
public sealed class State0911 : StaticStateMarker { public static int Value = 911; }
public sealed class State0912 : StaticStateMarker { public static int Value = 912; }
public sealed class State0913 : StaticStateMarker { public static int Value = 913; }
public sealed class State0914 : StaticStateMarker { public static int Value = 914; }
public sealed class State0915 : StaticStateMarker { public static int Value = 915; }
public sealed class State0916 : StaticStateMarker { public static int Value = 916; }
public sealed class State0917 : StaticStateMarker { public static int Value = 917; }
public sealed class State0918 : StaticStateMarker { public static int Value = 918; }
public sealed class State0919 : StaticStateMarker { public static int Value = 919; }
public sealed class State0920 : StaticStateMarker { public static int Value = 920; }
public sealed class State0921 : StaticStateMarker { public static int Value = 921; }
public sealed class State0922 : StaticStateMarker { public static int Value = 922; }
public sealed class State0923 : StaticStateMarker { public static int Value = 923; }
public sealed class State0924 : StaticStateMarker { public static int Value = 924; }
public sealed class State0925 : StaticStateMarker { public static int Value = 925; }
public sealed class State0926 : StaticStateMarker { public static int Value = 926; }
public sealed class State0927 : StaticStateMarker { public static int Value = 927; }
public sealed class State0928 : StaticStateMarker { public static int Value = 928; }
public sealed class State0929 : StaticStateMarker { public static int Value = 929; }
public sealed class State0930 : StaticStateMarker { public static int Value = 930; }
public sealed class State0931 : StaticStateMarker { public static int Value = 931; }
public sealed class State0932 : StaticStateMarker { public static int Value = 932; }
public sealed class State0933 : StaticStateMarker { public static int Value = 933; }
public sealed class State0934 : StaticStateMarker { public static int Value = 934; }
public sealed class State0935 : StaticStateMarker { public static int Value = 935; }
public sealed class State0936 : StaticStateMarker { public static int Value = 936; }
public sealed class State0937 : StaticStateMarker { public static int Value = 937; }
public sealed class State0938 : StaticStateMarker { public static int Value = 938; }
public sealed class State0939 : StaticStateMarker { public static int Value = 939; }
public sealed class State0940 : StaticStateMarker { public static int Value = 940; }
public sealed class State0941 : StaticStateMarker { public static int Value = 941; }
public sealed class State0942 : StaticStateMarker { public static int Value = 942; }
public sealed class State0943 : StaticStateMarker { public static int Value = 943; }
public sealed class State0944 : StaticStateMarker { public static int Value = 944; }
public sealed class State0945 : StaticStateMarker { public static int Value = 945; }
public sealed class State0946 : StaticStateMarker { public static int Value = 946; }
public sealed class State0947 : StaticStateMarker { public static int Value = 947; }
public sealed class State0948 : StaticStateMarker { public static int Value = 948; }
public sealed class State0949 : StaticStateMarker { public static int Value = 949; }
public sealed class State0950 : StaticStateMarker { public static int Value = 950; }
public sealed class State0951 : StaticStateMarker { public static int Value = 951; }
public sealed class State0952 : StaticStateMarker { public static int Value = 952; }
public sealed class State0953 : StaticStateMarker { public static int Value = 953; }
public sealed class State0954 : StaticStateMarker { public static int Value = 954; }
public sealed class State0955 : StaticStateMarker { public static int Value = 955; }
public sealed class State0956 : StaticStateMarker { public static int Value = 956; }
public sealed class State0957 : StaticStateMarker { public static int Value = 957; }
public sealed class State0958 : StaticStateMarker { public static int Value = 958; }
public sealed class State0959 : StaticStateMarker { public static int Value = 959; }
public sealed class State0960 : StaticStateMarker { public static int Value = 960; }
public sealed class State0961 : StaticStateMarker { public static int Value = 961; }
public sealed class State0962 : StaticStateMarker { public static int Value = 962; }
public sealed class State0963 : StaticStateMarker { public static int Value = 963; }
public sealed class State0964 : StaticStateMarker { public static int Value = 964; }
public sealed class State0965 : StaticStateMarker { public static int Value = 965; }
public sealed class State0966 : StaticStateMarker { public static int Value = 966; }
public sealed class State0967 : StaticStateMarker { public static int Value = 967; }
public sealed class State0968 : StaticStateMarker { public static int Value = 968; }
public sealed class State0969 : StaticStateMarker { public static int Value = 969; }
public sealed class State0970 : StaticStateMarker { public static int Value = 970; }
public sealed class State0971 : StaticStateMarker { public static int Value = 971; }
public sealed class State0972 : StaticStateMarker { public static int Value = 972; }
public sealed class State0973 : StaticStateMarker { public static int Value = 973; }
public sealed class State0974 : StaticStateMarker { public static int Value = 974; }
public sealed class State0975 : StaticStateMarker { public static int Value = 975; }
public sealed class State0976 : StaticStateMarker { public static int Value = 976; }
public sealed class State0977 : StaticStateMarker { public static int Value = 977; }
public sealed class State0978 : StaticStateMarker { public static int Value = 978; }
public sealed class State0979 : StaticStateMarker { public static int Value = 979; }
public sealed class State0980 : StaticStateMarker { public static int Value = 980; }
public sealed class State0981 : StaticStateMarker { public static int Value = 981; }
public sealed class State0982 : StaticStateMarker { public static int Value = 982; }
public sealed class State0983 : StaticStateMarker { public static int Value = 983; }
public sealed class State0984 : StaticStateMarker { public static int Value = 984; }
public sealed class State0985 : StaticStateMarker { public static int Value = 985; }
public sealed class State0986 : StaticStateMarker { public static int Value = 986; }
public sealed class State0987 : StaticStateMarker { public static int Value = 987; }
public sealed class State0988 : StaticStateMarker { public static int Value = 988; }
public sealed class State0989 : StaticStateMarker { public static int Value = 989; }
public sealed class State0990 : StaticStateMarker { public static int Value = 990; }
public sealed class State0991 : StaticStateMarker { public static int Value = 991; }
public sealed class State0992 : StaticStateMarker { public static int Value = 992; }
public sealed class State0993 : StaticStateMarker { public static int Value = 993; }
public sealed class State0994 : StaticStateMarker { public static int Value = 994; }
public sealed class State0995 : StaticStateMarker { public static int Value = 995; }
public sealed class State0996 : StaticStateMarker { public static int Value = 996; }
public sealed class State0997 : StaticStateMarker { public static int Value = 997; }
public sealed class State0998 : StaticStateMarker { public static int Value = 998; }
public sealed class State0999 : StaticStateMarker { public static int Value = 999; }
public sealed class State1000 : StaticStateMarker { public static int Value = 1000; }