TSTP Solution File: SWW800_1 by Beagle---0.9.51
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Beagle---0.9.51
% Problem : SWW800_1 : TPTP v8.1.2. Released v7.0.0.
% Transfm : none
% Format : tptp:raw
% Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% Computer : n017.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Aug 22 11:08:09 EDT 2023
% Result : Unsatisfiable 86.05s 54.60s
% Output : CNFRefutation 86.81s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.13 % Problem : SWW800_1 : TPTP v8.1.2. Released v7.0.0.
% 0.00/0.14 % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% 0.14/0.35 % Computer : n017.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 300
% 0.14/0.35 % DateTime : Thu Aug 3 19:12:51 EDT 2023
% 0.14/0.35 % CPUTime :
% 86.05/54.60 % SZS status Unsatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 86.05/54.61
% 86.05/54.61 % SZS output start CNFRefutation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 86.05/54.63 %$ store2 > BoxFunc > ArrayIndex > store1 > select2 > ValueArraySet > System_String_Equals_System_String_System_String > System_String_Equals_System_String > StructSet > RefArraySet > NonNullRefArrayRaw > IntToInt > IntArraySet > IfThenElse > FieldDependsOnFCO > AsElementsRepField > x_2 > x_1 > x > shr > shl > select1 > or_1 > min > max > intLess > intGreater > intAtMost > intAtLeast > boolOr > boolImplies > boolIff > boolAnd > anyNeq > anyEqual > and_1 > ValueArrayGet > ValueArray > UBound > System_String_IsInterned_System_String_notnull > StructGet > StringEquals > RefArrayGet > RefArray > OneClassDown > NonNullRefArray > LBound > IsNotNull > IsAllocated > Is > IntStack_get_Top > IntStack_get_Capacity > IntStack_IsEmpty > IntArrayGet > IntArray > InRange > ElementProxyStruct > ElementProxy > DimLength > BoxTester > Box > AsRepField > AsRefField > AsRangeField > AsOwner > AsNonNullRefField > AsElementsPeerField > AsDirectSubClass > As > #nlpp > typeof > boolNot > UnboxedType > Unbox > TypeObject > TypeName > System_Console_get_Out > System_Console_get_In > StringLength > Rank > Length > IsValueType > IsStaticField > IsMemberlessType > IsImmutable > IsHeap > IntStack_get_Top_1 > IntStack_get_Capacity_1 > IntStack_IsEmpty_1 > IncludedInModifiesStar > IncludeInMainFrameCondition > ElementType > DeclType > ClassReprInv > ClassRepr > BaseClass > AsPureObject > AsPeerField > AsMutable > AsInterface > AsImmutable > ArrayIndexInvY > ArrayIndexInvX > ArrayCategory > #skF_77 > #skF_14 > #skF_20 > #skF_79 > #skF_42 > #skF_51 > #skF_30 > #skF_17 > #skF_89 > #skF_95 > #skF_75 > #skF_78 > #skF_71 > #skF_73 > #skF_85 > #skF_58 > #skF_63 > #skF_15 > #skF_66 > #skF_35 > #skF_62 > #skF_50 > #skF_41 > #skF_22 > #skF_36 > #skF_31 > #skF_56 > #skF_81 > #skF_16 > #skF_93 > #skF_67 > #skF_25 > #skF_33 > #skF_18 > #skF_94 > #skF_48 > #skF_64 > #skF_68 > #skF_47 > #skF_54 > #skF_39 > #skF_46 > #skF_69 > #skF_29 > #skF_40 > #skF_90 > #skF_55 > #skF_38 > #skF_83 > #skF_27 > #skF_24 > #skF_60 > #skF_84 > #skF_74 > #skF_37 > #skF_49 > #skF_43 > #skF_86 > #skF_65 > #skF_80 > #skF_26 > #skF_44 > #skF_82 > #skF_88 > #skF_61 > #skF_32 > #skF_52 > #skF_59 > #skF_13 > #skF_19 > #skF_28 > #skF_21 > #skF_57 > #skF_72 > #skF_34 > #skF_53 > #skF_70 > #skF_23 > #skF_76 > #skF_87 > #skF_45
% 86.05/54.63
% 86.05/54.63 %Foreground sorts:
% 86.05/54.63
% 86.05/54.63
% 86.05/54.63 %Background operators:
% 86.05/54.63 tff(System_Object, type, System_Object: $int).
% 86.05/54.63 tff(System_UIntPtr, type, System_UIntPtr: $int).
% 86.05/54.63 tff(int_9223372036854775807, type, int_9223372036854775807: $int).
% 86.05/54.63 tff(PurityAxiomsCanBeAssumed, type, PurityAxiomsCanBeAssumed: $int).
% 86.05/54.63 tff(true_1, type, true_1: $int).
% 86.05/54.63 tff(BeingConstructed, type, BeingConstructed: $int).
% 86.05/54.63 tff(return_value_0, type, return_value_0: $int).
% 86.05/54.63 tff('#skE_7', type, '#skE_7': $int).
% 86.05/54.63 tff(System_Int16, type, System_Int16: $int).
% 86.05/54.63 tff(Microsoft_Contracts_GuardException, type, Microsoft_Contracts_GuardException: $int).
% 86.05/54.63 tff(System_IConvertible, type, System_IConvertible: $int).
% 86.05/54.63 tff('#skE_21', type, '#skE_21': $int).
% 86.05/54.63 tff(System_IO_TextWriter, type, System_IO_TextWriter: $int).
% 86.05/54.63 tff('#skE_30', type, '#skE_30': $int).
% 86.05/54.63 tff(System_Int32, type, System_Int32: $int).
% 86.05/54.63 tff(System_Reflection_MemberInfo, type, System_Reflection_MemberInfo: $int).
% 86.05/54.63 tff(this, type, this: $int).
% 86.05/54.63 tff('#skE_11', type, '#skE_11': $int).
% 86.05/54.63 tff('#skE_25', type, '#skE_25': $int).
% 86.05/54.63 tff(elements, type, elements: $int).
% 86.05/54.63 tff('#skE_28', type, '#skE_28': $int).
% 86.05/54.63 tff(ownerRef, type, ownerRef: $int).
% 86.05/54.63 tff(System_Reflection_IReflect, type, System_Reflection_IReflect: $int).
% 86.05/54.63 tff(Program, type, Program: $int).
% 86.05/54.63 tff('#skE_23', type, '#skE_23': $int).
% 86.05/54.63 tff('#skE_12', type, '#skE_12': $int).
% 86.05/54.63 tff(IntStack_top, type, IntStack_top: $int).
% 86.05/54.63 tff(sharingMode, type, sharingMode: $int).
% 86.05/54.63 tff(System_Collections_ICollection, type, System_Collections_ICollection: $int).
% 86.05/54.63 tff(System_Reflection_ICustomAttributeProvider, type, System_Reflection_ICustomAttributeProvider: $int).
% 86.05/54.63 tff(System_IComparable_1___System_String, type, System_IComparable_1___System_String: $int).
% 86.05/54.63 tff(System_Collections_IEnumerable, type, System_Collections_IEnumerable: $int).
% 86.05/54.63 tff(System_String, type, System_String: $int).
% 86.05/54.63 tff(System_Runtime_InteropServices__MemberInfo, type, System_Runtime_InteropServices__MemberInfo: $int).
% 86.05/54.63 tff(SharingMode_Unshared, type, SharingMode_Unshared: $int).
% 86.05/54.63 tff('#skF_6', type, '#skF_6': $int).
% 86.05/54.63 tff('#skE_2', type, '#skE_2': $int).
% 86.05/54.63 tff('#skE_1', type, '#skE_1': $int).
% 86.05/54.63 tff('#skE_33', type, '#skE_33': $int).
% 86.05/54.63 tff('#skF_11', type, '#skF_11': $int).
% 86.05/54.63 tff('#skE_20', type, '#skE_20': $int).
% 86.05/54.63 tff(System_Exception, type, System_Exception: $int).
% 86.05/54.63 tff(exposeVersion, type, exposeVersion: $int).
% 86.05/54.63 tff('#skE_6', type, '#skE_6': $int).
% 86.05/54.63 tff(IntStack, type, IntStack: $int).
% 86.05/54.63 tff('#skE_13', type, '#skE_13': $int).
% 86.05/54.63 tff('#skE_26', type, '#skE_26': $int).
% 86.05/54.63 tff(stringLiteral1, type, stringLiteral1: $int).
% 86.05/54.63 tff('#skE_32', type, '#skE_32': $int).
% 86.05/54.63 tff(System_SByte, type, System_SByte: $int).
% 86.05/54.63 tff('#skE_10', type, '#skE_10': $int).
% 86.05/54.63 tff(IntStack_elements, type, IntStack_elements: $int).
% 86.05/54.63 tff('#skE_24', type, '#skE_24': $int).
% 86.05/54.63 tff('#skE_5', type, '#skE_5': $int).
% 86.05/54.63 tff('#skE_31', type, '#skE_31': $int).
% 86.05/54.63 tff(Heap, type, Heap: $int).
% 86.05/54.63 tff(System_Collections_IList, type, System_Collections_IList: $int).
% 86.05/54.63 tff('#skE_15', type, '#skE_15': $int).
% 86.05/54.63 tff('#skE_8', type, '#skE_8': $int).
% 86.05/54.63 tff(Microsoft_Contracts_ObjectInvariantException, type, Microsoft_Contracts_ObjectInvariantException: $int).
% 86.05/54.63 tff('#skF_8', type, '#skF_8': $int).
% 86.05/54.63 tff(System_IntPtr, type, System_IntPtr: $int).
% 86.05/54.63 tff('#skE_4', type, '#skE_4': $int).
% 86.05/54.63 tff('#skF_5', type, '#skF_5': $int).
% 86.05/54.63 tff(false_1, type, false_1: $int).
% 86.05/54.63 tff('#skF_4', type, '#skF_4': $int).
% 86.05/54.63 tff(System_Collections_Generic_IEnumerable_1___System_Char, type, System_Collections_Generic_IEnumerable_1___System_Char: $int).
% 86.05/54.63 tff(System_IDisposable, type, System_IDisposable: $int).
% 86.05/54.63 tff('#skF_10', type, '#skF_10': $int).
% 86.05/54.63 tff(System_Type, type, System_Type: $int).
% 86.05/54.63 tff('#skF_2', type, '#skF_2': $int).
% 86.05/54.63 tff(System_IO_TextReader, type, System_IO_TextReader: $int).
% 86.05/54.63 tff('#skF_3', type, '#skF_3': $int).
% 86.05/54.63 tff('#skF_12', type, '#skF_12': $int).
% 86.05/54.63 tff(System_Console_get_Out_1, type, System_Console_get_Out_1: $int).
% 86.05/54.63 tff('#skE_22', type, '#skE_22': $int).
% 86.05/54.63 tff(ArrayCategoryValue, type, ArrayCategoryValue: $int).
% 86.05/54.63 tff(localinv, type, localinv: $int).
% 86.05/54.63 tff(System_Runtime_InteropServices__Type, type, System_Runtime_InteropServices__Type: $int).
% 86.05/54.63 tff(System_MarshalByRefObject, type, System_MarshalByRefObject: $int).
% 86.05/54.63 tff('#skF_91', type, '#skF_91': $int).
% 86.05/54.63 tff('#skE_16', type, '#skE_16': $int).
% 86.05/54.63 tff('#skE_17', type, '#skE_17': $int).
% 86.05/54.63 tff('#skE_3', type, '#skE_3': $int).
% 86.05/54.63 tff(inv, type, inv: $int).
% 86.05/54.63 tff(System_UInt64, type, System_UInt64: $int).
% 86.05/54.63 tff(result, type, result: $int).
% 86.05/54.63 tff('#skF_1', type, '#skF_1': $int).
% 86.05/54.63 tff(NonNullFieldsAreInitialized, type, NonNullFieldsAreInitialized: $int).
% 86.05/54.63 tff('#skF_7', type, '#skF_7': $int).
% 86.05/54.63 tff(System_ICloneable, type, System_ICloneable: $int).
% 86.05/54.63 tff(SS_Display_Return_Local, type, SS_Display_Return_Local: $int).
% 86.05/54.63 tff(nullObject, type, nullObject: $int).
% 86.05/54.63 tff(System_Runtime_Serialization_ISerializable, type, System_Runtime_Serialization_ISerializable: $int).
% 86.05/54.63 tff(int_m9223372036854775808, type, int_m9223372036854775808: $int).
% 86.05/54.63 tff(System_UInt32, type, System_UInt32: $int).
% 86.05/54.63 tff(System_Byte, type, System_Byte: $int).
% 86.05/54.63 tff('#skE_9', type, '#skE_9': $int).
% 86.05/54.63 tff(int_2147483647, type, int_2147483647: $int).
% 86.05/54.63 tff('#skE_29', type, '#skE_29': $int).
% 86.05/54.63 tff(ArrayCategoryNonNullRef, type, ArrayCategoryNonNullRef: $int).
% 86.05/54.63 tff('#skE_27', type, '#skE_27': $int).
% 86.05/54.63 tff(PeerGroupPlaceholder, type, PeerGroupPlaceholder: $int).
% 86.05/54.63 tff(FirstConsistentOwner, type, FirstConsistentOwner: $int).
% 86.05/54.63 tff('#skF_9', type, '#skF_9': $int).
% 86.05/54.63 tff(ownerFrame, type, ownerFrame: $int).
% 86.05/54.63 tff('#skE_18', type, '#skE_18': $int).
% 86.05/54.63 tff(System_Array, type, System_Array: $int).
% 86.05/54.63 tff(ArrayCategoryRef, type, ArrayCategoryRef: $int).
% 86.05/54.63 tff(System_IComparable, type, System_IComparable: $int).
% 86.05/54.63 tff(System_Boolean, type, System_Boolean: $int).
% 86.05/54.63 tff(System_IEquatable_1___System_String, type, System_IEquatable_1___System_String: $int).
% 86.05/54.63 tff(return_value, type, return_value: $int).
% 86.05/54.63 tff(ArrayCategoryInt, type, ArrayCategoryInt: $int).
% 86.05/54.63 tff(System_Int64, type, System_Int64: $int).
% 86.05/54.63 tff(int_18446744073709551615, type, int_18446744073709551615: $int).
% 86.05/54.63 tff(SharingMode_LockProtected, type, SharingMode_LockProtected: $int).
% 86.05/54.63 tff(Microsoft_Contracts_ICheckedException, type, Microsoft_Contracts_ICheckedException: $int).
% 86.05/54.63 tff(System_Char, type, System_Char: $int).
% 86.05/54.63 tff(System_Console_get_In_1, type, System_Console_get_In_1: $int).
% 86.05/54.63 tff(int_m2147483648, type, int_m2147483648: $int).
% 86.05/54.63 tff('#skE_19', type, '#skE_19': $int).
% 86.05/54.63 tff(int_4294967295, type, int_4294967295: $int).
% 86.05/54.63 tff(allocated, type, allocated: $int).
% 86.05/54.63 tff('#skE_14', type, '#skE_14': $int).
% 86.05/54.63 tff('#skF_92', type, '#skF_92': $int).
% 86.05/54.63 tff(System_UInt16, type, System_UInt16: $int).
% 86.05/54.63 tff(System_Runtime_InteropServices__Exception, type, System_Runtime_InteropServices__Exception: $int).
% 86.05/54.63
% 86.05/54.63 %Foreground operators:
% 86.05/54.63 tff(ValueArray, type, ValueArray: ($int * $int) > $int).
% 86.05/54.63 tff(RefArraySet, type, RefArraySet: ($int * $int * $int) > $int).
% 86.05/54.63 tff(IsStaticField, type, IsStaticField: $int > $int).
% 86.05/54.63 tff('#skF_77', type, '#skF_77': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_14', type, '#skF_14': $int > $int).
% 86.05/54.63 tff('#skF_20', type, '#skF_20': ($int * $int * $int) > $int).
% 86.05/54.63 tff(AsNonNullRefField, type, AsNonNullRefField: ($int * $int) > $int).
% 86.05/54.63 tff(IsNotNull, type, IsNotNull: ($int * $int) > $int).
% 86.05/54.63 tff(ArrayCategory, type, ArrayCategory: $int > $int).
% 86.05/54.63 tff('#skF_79', type, '#skF_79': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_42', type, '#skF_42': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_51', type, '#skF_51': ($int * $int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_30', type, '#skF_30': $int > $int).
% 86.05/54.63 tff(StringEquals, type, StringEquals: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_17', type, '#skF_17': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_89', type, '#skF_89': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_95', type, '#skF_95': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_75', type, '#skF_75': ($int * $int) > $int).
% 86.05/54.63 tff(ArrayIndexInvX, type, ArrayIndexInvX: $int > $int).
% 86.05/54.63 tff(IsMemberlessType, type, IsMemberlessType: $int > $int).
% 86.05/54.63 tff(and_1, type, and_1: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_78', type, '#skF_78': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_71', type, '#skF_71': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_73', type, '#skF_73': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_85', type, '#skF_85': $int > $int).
% 86.05/54.63 tff(store2, type, store2: ($int * $int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_58', type, '#skF_58': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_63', type, '#skF_63': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_15', type, '#skF_15': ($int * $int) > $int).
% 86.05/54.63 tff(Length, type, Length: $int > $int).
% 86.05/54.63 tff('#skF_66', type, '#skF_66': ($int * $int) > $int).
% 86.05/54.63 tff(ArrayIndex, type, ArrayIndex: ($int * $int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_35', type, '#skF_35': ($int * $int * $int * $int) > $int).
% 86.05/54.63 tff(boolIff, type, boolIff: ($int * $int) > $int).
% 86.05/54.63 tff(AsElementsPeerField, type, AsElementsPeerField: ($int * $int) > $int).
% 86.05/54.63 tff(ClassReprInv, type, ClassReprInv: $int > $int).
% 86.05/54.63 tff('#skF_62', type, '#skF_62': ($int * $int) > $int).
% 86.05/54.63 tff(ArrayIndexInvY, type, ArrayIndexInvY: $int > $int).
% 86.05/54.63 tff('#skF_50', type, '#skF_50': ($int * $int) > $int).
% 86.05/54.63 tff(or_1, type, or_1: ($int * $int) > $int).
% 86.05/54.63 tff(As, type, As: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_41', type, '#skF_41': ($int * $int) > $int).
% 86.05/54.63 tff(StructSet, type, StructSet: ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_22', type, '#skF_22': ($int * $int * $int) > $int).
% 86.05/54.63 tff(RefArray, type, RefArray: ($int * $int) > $int).
% 86.05/54.63 tff(select1, type, select1: ($int * $int) > $int).
% 86.05/54.63 tff(AsPeerField, type, AsPeerField: $int > $int).
% 86.05/54.63 tff(IsValueType, type, IsValueType: $int > $int).
% 86.05/54.63 tff(x_1, type, x_1: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_36', type, '#skF_36': ($int * $int * $int) > $int).
% 86.05/54.63 tff(AsPureObject, type, AsPureObject: $int > $int).
% 86.05/54.63 tff(AsMutable, type, AsMutable: $int > $int).
% 86.05/54.63 tff(ElementType, type, ElementType: $int > $int).
% 86.05/54.63 tff('#skF_31', type, '#skF_31': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_56', type, '#skF_56': ($int * $int) > $int).
% 86.05/54.63 tff(boolAnd, type, boolAnd: ($int * $int) > $int).
% 86.05/54.63 tff(IfThenElse, type, IfThenElse: ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_81', type, '#skF_81': $int > $int).
% 86.05/54.63 tff(ElementProxyStruct, type, ElementProxyStruct: ($int * $int) > $int).
% 86.05/54.63 tff(ValueArraySet, type, ValueArraySet: ($int * $int * $int) > $int).
% 86.05/54.63 tff(AsImmutable, type, AsImmutable: $int > $int).
% 86.05/54.63 tff('#skF_16', type, '#skF_16': ($int * $int) > $int).
% 86.05/54.63 tff(TypeName, type, TypeName: $int > $int).
% 86.05/54.63 tff('#skF_93', type, '#skF_93': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_67', type, '#skF_67': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_25', type, '#skF_25': ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_33', type, '#skF_33': ($int * $int * $int) > $int).
% 86.05/54.63 tff(DimLength, type, DimLength: ($int * $int) > $int).
% 86.05/54.63 tff(boolOr, type, boolOr: ($int * $int) > $int).
% 86.05/54.63 tff(IntArraySet, type, IntArraySet: ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_18', type, '#skF_18': ($int * $int) > $int).
% 86.05/54.63 tff(System_String_IsInterned_System_String_notnull, type, System_String_IsInterned_System_String_notnull: ($int * $int) > $int).
% 86.05/54.63 tff(IntArrayGet, type, IntArrayGet: ($int * $int) > $int).
% 86.05/54.63 tff(anyEqual, type, anyEqual: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_94', type, '#skF_94': ($int * $int) > $int).
% 86.05/54.63 tff(AsInterface, type, AsInterface: $int > $int).
% 86.05/54.63 tff('#skF_48', type, '#skF_48': ($int * $int) > $int).
% 86.05/54.63 tff(IntStack_get_Capacity, type, IntStack_get_Capacity: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_64', type, '#skF_64': ($int * $int) > $int).
% 86.05/54.63 tff(intAtMost, type, intAtMost: ($int * $int) > $int).
% 86.05/54.63 tff(intGreater, type, intGreater: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_68', type, '#skF_68': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_47', type, '#skF_47': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_54', type, '#skF_54': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_39', type, '#skF_39': ($int * $int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_46', type, '#skF_46': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_69', type, '#skF_69': ($int * $int) > $int).
% 86.05/54.63 tff(anyNeq, type, anyNeq: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_29', type, '#skF_29': ($int * $int * $int) > $int).
% 86.05/54.63 tff(boolImplies, type, boolImplies: ($int * $int) > $int).
% 86.05/54.63 tff(InRange, type, InRange: ($int * $int) > $int).
% 86.05/54.63 tff(AsRefField, type, AsRefField: ($int * $int) > $int).
% 86.05/54.63 tff(OneClassDown, type, OneClassDown: ($int * $int) > $int).
% 86.05/54.63 tff(System_Console_get_Out, type, System_Console_get_Out: $int > $int).
% 86.05/54.63 tff('#skF_40', type, '#skF_40': ($int * $int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_90', type, '#skF_90': $int > $int).
% 86.05/54.63 tff(ElementProxy, type, ElementProxy: ($int * $int) > $int).
% 86.05/54.63 tff(FieldDependsOnFCO, type, FieldDependsOnFCO: ($int * $int * $int) > $int).
% 86.05/54.63 tff(x, type, x: ($int * $int) > $int).
% 86.05/54.63 tff(select2, type, select2: ($int * $int * $int) > $int).
% 86.05/54.63 tff(IncludeInMainFrameCondition, type, IncludeInMainFrameCondition: $int > $int).
% 86.05/54.63 tff(RefArrayGet, type, RefArrayGet: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_55', type, '#skF_55': ($int * $int) > $int).
% 86.05/54.63 tff(IntArray, type, IntArray: ($int * $int) > $int).
% 86.05/54.63 tff(IntStack_get_Capacity_1, type, IntStack_get_Capacity_1: $int > $int).
% 86.05/54.63 tff('#skF_38', type, '#skF_38': ($int * $int * $int * $int * $int) > $int).
% 86.05/54.63 tff(shr, type, shr: ($int * $int) > $int).
% 86.05/54.63 tff(max, type, max: ($int * $int) > $int).
% 86.05/54.63 tff(Box, type, Box: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_83', type, '#skF_83': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_27', type, '#skF_27': ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_24', type, '#skF_24': ($int * $int * $int) > $int).
% 86.05/54.63 tff(x_2, type, x_2: ($int * $int) > $int).
% 86.05/54.63 tff(ClassRepr, type, ClassRepr: $int > $int).
% 86.05/54.63 tff('#skF_60', type, '#skF_60': ($int * $int) > $int).
% 86.05/54.63 tff(Is, type, Is: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_84', type, '#skF_84': ($int * $int) > $int).
% 86.05/54.63 tff(TypeObject, type, TypeObject: $int > $int).
% 86.05/54.63 tff('#skF_74', type, '#skF_74': ($int * $int) > $int).
% 86.05/54.63 tff(System_Console_get_In, type, System_Console_get_In: $int > $int).
% 86.05/54.63 tff(UBound, type, UBound: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_37', type, '#skF_37': ($int * $int * $int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_49', type, '#skF_49': ($int * $int) > $int).
% 86.05/54.63 tff(Unbox, type, Unbox: $int > $int).
% 86.05/54.63 tff(AsRangeField, type, AsRangeField: ($int * $int) > $int).
% 86.05/54.63 tff(IntToInt, type, IntToInt: ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_43', type, '#skF_43': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_86', type, '#skF_86': $int > $int).
% 86.05/54.63 tff('#skF_65', type, '#skF_65': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_80', type, '#skF_80': $int > $int).
% 86.05/54.63 tff(UnboxedType, type, UnboxedType: $int > $int).
% 86.05/54.63 tff('#skF_26', type, '#skF_26': ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_44', type, '#skF_44': ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_82', type, '#skF_82': $int > $int).
% 86.05/54.63 tff(System_String_Equals_System_String, type, System_String_Equals_System_String: ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_88', type, '#skF_88': ($int * $int) > $int).
% 86.05/54.63 tff(store1, type, store1: ($int * $int * $int) > $int).
% 86.05/54.63 tff(IncludedInModifiesStar, type, IncludedInModifiesStar: $int > $int).
% 86.05/54.63 tff(intAtLeast, type, intAtLeast: ($int * $int) > $int).
% 86.05/54.63 tff(NonNullRefArray, type, NonNullRefArray: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_61', type, '#skF_61': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_32', type, '#skF_32': ($int * $int * $int) > $int).
% 86.05/54.63 tff(intLess, type, intLess: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_52', type, '#skF_52': ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_59', type, '#skF_59': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_13', type, '#skF_13': ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_19', type, '#skF_19': ($int * $int * $int) > $int).
% 86.05/54.63 tff(NonNullRefArrayRaw, type, NonNullRefArrayRaw: ($int * $int * $int) > $int).
% 86.05/54.63 tff(boolNot, type, boolNot: $int > $int).
% 86.05/54.63 tff(BaseClass, type, BaseClass: $int > $int).
% 86.05/54.63 tff('#skF_28', type, '#skF_28': ($int * $int * $int) > $int).
% 86.05/54.63 tff('#skF_21', type, '#skF_21': ($int * $int * $int) > $int).
% 86.05/54.63 tff(IntStack_get_Top, type, IntStack_get_Top: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_57', type, '#skF_57': ($int * $int) > $int).
% 86.05/54.63 tff(BoxTester, type, BoxTester: ($int * $int) > $int).
% 86.05/54.63 tff(StringLength, type, StringLength: $int > $int).
% 86.05/54.63 tff(ValueArrayGet, type, ValueArrayGet: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_72', type, '#skF_72': ($int * $int) > $int).
% 86.05/54.63 tff(IntStack_IsEmpty_1, type, IntStack_IsEmpty_1: $int > $int).
% 86.05/54.63 tff(typeof, type, typeof: $int > $int).
% 86.05/54.63 tff('#skF_34', type, '#skF_34': ($int * $int * $int) > $int).
% 86.05/54.63 tff(LBound, type, LBound: ($int * $int) > $int).
% 86.05/54.63 tff(BoxFunc, type, BoxFunc: ($int * $int * $int * $int) > $int).
% 86.05/54.63 tff(shl, type, shl: ($int * $int) > $int).
% 86.05/54.63 tff(System_String_Equals_System_String_System_String, type, System_String_Equals_System_String_System_String: ($int * $int * $int) > $int).
% 86.05/54.63 tff(AsElementsRepField, type, AsElementsRepField: ($int * $int * $int) > $int).
% 86.05/54.63 tff(Rank, type, Rank: $int > $int).
% 86.05/54.63 tff(AsOwner, type, AsOwner: ($int * $int) > $int).
% 86.05/54.63 tff(IntStack_IsEmpty, type, IntStack_IsEmpty: ($int * $int) > $int).
% 86.05/54.63 tff(DeclType, type, DeclType: $int > $int).
% 86.05/54.63 tff(IntStack_get_Top_1, type, IntStack_get_Top_1: $int > $int).
% 86.05/54.63 tff(AsRepField, type, AsRepField: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_53', type, '#skF_53': ($int * $int * $int) > $int).
% 86.05/54.63 tff(StructGet, type, StructGet: ($int * $int) > $int).
% 86.05/54.63 tff(IsImmutable, type, IsImmutable: $int > $int).
% 86.05/54.63 tff(min, type, min: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_70', type, '#skF_70': ($int * $int) > $int).
% 86.05/54.63 tff('#skF_23', type, '#skF_23': ($int * $int * $int) > $int).
% 86.05/54.63 tff(IsAllocated, type, IsAllocated: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_76', type, '#skF_76': ($int * $int) > $int).
% 86.05/54.63 tff(AsDirectSubClass, type, AsDirectSubClass: ($int * $int) > $int).
% 86.05/54.63 tff('#skF_87', type, '#skF_87': $int > $int).
% 86.05/54.63 tff(IsHeap, type, IsHeap: $int > $int).
% 86.05/54.63 tff('#skF_45', type, '#skF_45': ($int * $int * $int) > $int).
% 86.05/54.63
% 86.81/54.87 tff(f_8783, axiom, ~((IsHeap(Heap) = true_1) => (~(~(IsNotNull(this, IntStack) = true_1) | ~(select2(Heap, this, allocated) = true_1)) => ((InRange(result, System_Int32) = true_1) => ((InRange(return_value, System_Int32) = true_1) => ((InRange(SS_Display_Return_Local, System_Int32) = true_1) => ((PurityAxiomsCanBeAssumed = true_1) => ((BeingConstructed = nullObject) => ((AsPureObject(this) = this) => ((![A__questionmark_pca:$int]: (?[A__questionmark_v_7_101a:$int]: ((A__questionmark_v_7_101a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(Heap, A__questionmark_pca, allocated) = true_1)) | ~(select2(Heap, A__questionmark_pca, ownerRef) = select2(Heap, this, ownerRef))) | ~(select2(Heap, A__questionmark_pca, ownerFrame) = select2(Heap, this, ownerFrame))) => ~(~(select2(Heap, A__questionmark_pca, inv) = A__questionmark_v_7_101a) | ~(select2(Heap, A__questionmark_pca, localinv) = A__questionmark_v_7_101a)))))) => ~(~~(this = nullObject) | ~(~(this = nullObject) => ((return_value_0 = select2(Heap, this, IntStack_top)) => ~(~(![A__questionmark_o_1a:$int, A__questionmark_f_1a:$int]: (?[A__questionmark_v_6_102a:$int, A__questionmark_v_3_104a:$int, A__questionmark_v_4_105a:$int]: ((((A__questionmark_v_6_102a = select2(Heap, A__questionmark_o_1a, A__questionmark_f_1a)) & (A__questionmark_v_3_104a = select2(Heap, A__questionmark_o_1a, ownerFrame))) & (A__questionmark_v_4_105a = select2(Heap, A__questionmark_o_1a, ownerRef))) & (~(((~(IncludeInMainFrameCondition(A__questionmark_f_1a) = true_1) | ~~(A__questionmark_o_1a = nullObject)) | ~(select2(Heap, A__questionmark_o_1a, allocated) = true_1)) | ~(((A__questionmark_v_3_104a = PeerGroupPlaceholder) | ~(x(select2(Heap, A__questionmark_v_4_105a, inv), A__questionmark_v_3_104a) = true_1)) | (select2(Heap, A__questionmark_v_4_105a, localinv) = BaseClass(A__questionmark_v_3_104a)))) => (A__questionmark_v_6_102a = A__questionmark_v_6_102a))))) | ~((![A__questionmark_o_1a:$int, A__questionmark_f_1a:$int]: (?[A__questionmark_v_6_106a:$int, A__questionmark_v_3_108a:$int, A__questionmark_v_4_109a:$int]: ((((A__questionmark_v_6_106a = select2(Heap, A__questionmark_o_1a, A__questionmark_f_1a)) & (A__questionmark_v_3_108a = select2(Heap, A__questionmark_o_1a, ownerFrame))) & (A__questionmark_v_4_109a = select2(Heap, A__questionmark_o_1a, ownerRef))) & (~(((~(IncludeInMainFrameCondition(A__questionmark_f_1a) = true_1) | ~~(A__questionmark_o_1a = nullObject)) | ~(select2(Heap, A__questionmark_o_1a, allocated) = true_1)) | ~(((A__questionmark_v_3_108a = PeerGroupPlaceholder) | ~(x(select2(Heap, A__questionmark_v_4_109a, inv), A__questionmark_v_3_108a) = true_1)) | (select2(Heap, A__questionmark_v_4_109a, localinv) = BaseClass(A__questionmark_v_3_108a)))) => (A__questionmark_v_6_106a = A__questionmark_v_6_106a))))) => ~(~(return_value_0 = select2(Heap, this, IntStack_top)) | ~((return_value_0 = select2(Heap, this, IntStack_top)) => $true)))))))))))))))), file('/export/starexec/sandbox2/benchmark/theBenchmark.p', formula_3)).
% 86.81/54.87 tff(f_8657, axiom, (?[A__questionmark_v_12_2a:$int, A__questionmark_v_11_3a:$int, A__questionmark_v_10_4a:$int, A__questionmark_v_9_5a:$int, A__questionmark_v_8_6a:$int, A__questionmark_v_7_7a:$int, A__questionmark_v_6_8a:$int, A__questionmark_v_4_9a:$int, A__questionmark_v_3_10a:$int, A__questionmark_v_2_11a:$int, A__questionmark_v_0_12a:$int, A__questionmark_v_1_13a:$int]: (((((((((((((A__questionmark_v_12_2a = BaseClass(System_IO_TextReader)) & (A__questionmark_v_11_3a = BaseClass(System_IO_TextWriter))) & (A__questionmark_v_10_4a = BaseClass(System_MarshalByRefObject))) & (A__questionmark_v_9_5a = BaseClass(Program))) & (A__questionmark_v_8_6a = BaseClass(System_String))) & (A__questionmark_v_7_7a = BaseClass(System_Type))) & (A__questionmark_v_6_8a = BaseClass(System_Reflection_MemberInfo))) & (A__questionmark_v_4_9a = BaseClass(Microsoft_Contracts_ObjectInvariantException))) & (A__questionmark_v_3_10a = BaseClass(Microsoft_Contracts_GuardException))) & (A__questionmark_v_2_11a = BaseClass(System_Exception))) & (A__questionmark_v_0_12a = BaseClass(IntStack))) & (A__questionmark_v_1_13a = BaseClass(System_Array))) & ~((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((~(allocated = elements) & ~(allocated = inv)) & ~(allocated = localinv)) & ~(allocated = exposeVersion)) & ~(allocated = sharingMode)) & ~(allocated = SharingMode_Unshared)) & ~(allocated = SharingMode_LockProtected)) & ~(allocated = ownerRef)) & ~(allocated = ownerFrame)) & ~(allocated = PeerGroupPlaceholder)) & ~(allocated = ArrayCategoryValue)) & ~(allocated = ArrayCategoryInt)) & ~(allocated = ArrayCategoryRef)) & ~(allocated = ArrayCategoryNonNullRef)) & ~(allocated = System_Array)) & ~(allocated = System_Boolean)) & ~(allocated = System_Object)) & ~(allocated = System_Type)) & ~(allocated = NonNullFieldsAreInitialized)) & ~(allocated = System_String)) & ~(allocated = FirstConsistentOwner)) & ~(allocated = System_SByte)) & ~(allocated = System_Byte)) & ~(allocated = System_Int16)) & ~(allocated = System_UInt16)) & ~(allocated = System_Int32)) & ~(allocated = System_UInt32)) & ~(allocated = System_Int64)) & ~(allocated = System_UInt64)) & ~(allocated = System_Char)) & ~(allocated = System_UIntPtr)) & ~(allocated = System_IntPtr)) & ~(allocated = IntStack_elements)) & ~(allocated = IntStack_top)) & ~(allocated = Microsoft_Contracts_ObjectInvariantException)) & ~(allocated = System_IO_TextReader)) & ~(allocated = Microsoft_Contracts_ICheckedException)) & ~(allocated = Microsoft_Contracts_GuardException)) & ~(allocated = System_Reflection_MemberInfo)) & ~(allocated = System_Reflection_ICustomAttributeProvider)) & ~(allocated = System_Collections_ICollection)) & ~(allocated = System_ICloneable)) & ~(allocated = System_IEquatable_1___System_String)) & ~(allocated = System_Collections_IEnumerable)) & ~(allocated = System_IDisposable)) & ~(allocated = System_Runtime_InteropServices__Exception)) & ~(allocated = System_Runtime_InteropServices__Type)) & ~(allocated = System_IO_TextWriter)) & ~(allocated = System_IComparable_1___System_String)) & ~(allocated = System_IConvertible)) & ~(allocated = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(allocated = IntStack)) & ~(allocated = Program)) & ~(allocated = System_Runtime_InteropServices__MemberInfo)) & ~(allocated = System_Reflection_IReflect)) & ~(allocated = System_IComparable)) & ~(allocated = System_Collections_IList)) & ~(allocated = System_Runtime_Serialization_ISerializable)) & ~(allocated = System_Exception)) & ~(allocated = System_MarshalByRefObject)) & ~(allocated = stringLiteral1)) & ~(elements = inv)) & ~(elements = localinv)) & ~(elements = exposeVersion)) & ~(elements = sharingMode)) & ~(elements = SharingMode_Unshared)) & ~(elements = SharingMode_LockProtected)) & ~(elements = ownerRef)) & ~(elements = ownerFrame)) & ~(elements = PeerGroupPlaceholder)) & ~(elements = ArrayCategoryValue)) & ~(elements = ArrayCategoryInt)) & ~(elements = ArrayCategoryRef)) & ~(elements = ArrayCategoryNonNullRef)) & ~(elements = System_Array)) & ~(elements = System_Boolean)) & ~(elements = System_Object)) & ~(elements = System_Type)) & ~(elements = NonNullFieldsAreInitialized)) & ~(elements = System_String)) & ~(elements = FirstConsistentOwner)) & ~(elements = System_SByte)) & ~(elements = System_Byte)) & ~(elements = System_Int16)) & ~(elements = System_UInt16)) & ~(elements = System_Int32)) & ~(elements = System_UInt32)) & ~(elements = System_Int64)) & ~(elements = System_UInt64)) & ~(elements = System_Char)) & ~(elements = System_UIntPtr)) & ~(elements = System_IntPtr)) & ~(elements = IntStack_elements)) & ~(elements = IntStack_top)) & ~(elements = Microsoft_Contracts_ObjectInvariantException)) & ~(elements = System_IO_TextReader)) & ~(elements = Microsoft_Contracts_ICheckedException)) & ~(elements = Microsoft_Contracts_GuardException)) & ~(elements = System_Reflection_MemberInfo)) & ~(elements = System_Reflection_ICustomAttributeProvider)) & ~(elements = System_Collections_ICollection)) & ~(elements = System_ICloneable)) & ~(elements = System_IEquatable_1___System_String)) & ~(elements = System_Collections_IEnumerable)) & ~(elements = System_IDisposable)) & ~(elements = System_Runtime_InteropServices__Exception)) & ~(elements = System_Runtime_InteropServices__Type)) & ~(elements = System_IO_TextWriter)) & ~(elements = System_IComparable_1___System_String)) & ~(elements = System_IConvertible)) & ~(elements = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(elements = IntStack)) & ~(elements = Program)) & ~(elements = System_Runtime_InteropServices__MemberInfo)) & ~(elements = System_Reflection_IReflect)) & ~(elements = System_IComparable)) & ~(elements = System_Collections_IList)) & ~(elements = System_Runtime_Serialization_ISerializable)) & ~(elements = System_Exception)) & ~(elements = System_MarshalByRefObject)) & ~(elements = stringLiteral1)) & ~(inv = localinv)) & ~(inv = exposeVersion)) & ~(inv = sharingMode)) & ~(inv = SharingMode_Unshared)) & ~(inv = SharingMode_LockProtected)) & ~(inv = ownerRef)) & ~(inv = ownerFrame)) & ~(inv = PeerGroupPlaceholder)) & ~(inv = ArrayCategoryValue)) & ~(inv = ArrayCategoryInt)) & ~(inv = ArrayCategoryRef)) & ~(inv = ArrayCategoryNonNullRef)) & ~(inv = System_Array)) & ~(inv = System_Boolean)) & ~(inv = System_Object)) & ~(inv = System_Type)) & ~(inv = NonNullFieldsAreInitialized)) & ~(inv = System_String)) & ~(inv = FirstConsistentOwner)) & ~(inv = System_SByte)) & ~(inv = System_Byte)) & ~(inv = System_Int16)) & ~(inv = System_UInt16)) & ~(inv = System_Int32)) & ~(inv = System_UInt32)) & ~(inv = System_Int64)) & ~(inv = System_UInt64)) & ~(inv = System_Char)) & ~(inv = System_UIntPtr)) & ~(inv = System_IntPtr)) & ~(inv = IntStack_elements)) & ~(inv = IntStack_top)) & ~(inv = Microsoft_Contracts_ObjectInvariantException)) & ~(inv = System_IO_TextReader)) & ~(inv = Microsoft_Contracts_ICheckedException)) & ~(inv = Microsoft_Contracts_GuardException)) & ~(inv = System_Reflection_MemberInfo)) & ~(inv = System_Reflection_ICustomAttributeProvider)) & ~(inv = System_Collections_ICollection)) & ~(inv = System_ICloneable)) & ~(inv = System_IEquatable_1___System_String)) & ~(inv = System_Collections_IEnumerable)) & ~(inv = System_IDisposable)) & ~(inv = System_Runtime_InteropServices__Exception)) & ~(inv = System_Runtime_InteropServices__Type)) & ~(inv = System_IO_TextWriter)) & ~(inv = System_IComparable_1___System_String)) & ~(inv = System_IConvertible)) & ~(inv = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(inv = IntStack)) & ~(inv = Program)) & ~(inv = System_Runtime_InteropServices__MemberInfo)) & ~(inv = System_Reflection_IReflect)) & ~(inv = System_IComparable)) & ~(inv = System_Collections_IList)) & ~(inv = System_Runtime_Serialization_ISerializable)) & ~(inv = System_Exception)) & ~(inv = System_MarshalByRefObject)) & ~(inv = stringLiteral1)) & ~(localinv = exposeVersion)) & ~(localinv = sharingMode)) & ~(localinv = SharingMode_Unshared)) & ~(localinv = SharingMode_LockProtected)) & ~(localinv = ownerRef)) & ~(localinv = ownerFrame)) & ~(localinv = PeerGroupPlaceholder)) & ~(localinv = ArrayCategoryValue)) & ~(localinv = ArrayCategoryInt)) & ~(localinv = ArrayCategoryRef)) & ~(localinv = ArrayCategoryNonNullRef)) & ~(localinv = System_Array)) & ~(localinv = System_Boolean)) & ~(localinv = System_Object)) & ~(localinv = System_Type)) & ~(localinv = NonNullFieldsAreInitialized)) & ~(localinv = System_String)) & ~(localinv = FirstConsistentOwner)) & ~(localinv = System_SByte)) & ~(localinv = System_Byte)) & ~(localinv = System_Int16)) & ~(localinv = System_UInt16)) & ~(localinv = System_Int32)) & ~(localinv = System_UInt32)) & ~(localinv = System_Int64)) & ~(localinv = System_UInt64)) & ~(localinv = System_Char)) & ~(localinv = System_UIntPtr)) & ~(localinv = System_IntPtr)) & ~(localinv = IntStack_elements)) & ~(localinv = IntStack_top)) & ~(localinv = Microsoft_Contracts_ObjectInvariantException)) & ~(localinv = System_IO_TextReader)) & ~(localinv = Microsoft_Contracts_ICheckedException)) & ~(localinv = Microsoft_Contracts_GuardException)) & ~(localinv = System_Reflection_MemberInfo)) & ~(localinv = System_Reflection_ICustomAttributeProvider)) & ~(localinv = System_Collections_ICollection)) & ~(localinv = System_ICloneable)) & ~(localinv = System_IEquatable_1___System_String)) & ~(localinv = System_Collections_IEnumerable)) & ~(localinv = System_IDisposable)) & ~(localinv = System_Runtime_InteropServices__Exception)) & ~(localinv = System_Runtime_InteropServices__Type)) & ~(localinv = System_IO_TextWriter)) & ~(localinv = System_IComparable_1___System_String)) & ~(localinv = System_IConvertible)) & ~(localinv = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(localinv = IntStack)) & ~(localinv = Program)) & ~(localinv = System_Runtime_InteropServices__MemberInfo)) & ~(localinv = System_Reflection_IReflect)) & ~(localinv = System_IComparable)) & ~(localinv = System_Collections_IList)) & ~(localinv = System_Runtime_Serialization_ISerializable)) & ~(localinv = System_Exception)) & ~(localinv = System_MarshalByRefObject)) & ~(localinv = stringLiteral1)) & ~(exposeVersion = sharingMode)) & ~(exposeVersion = SharingMode_Unshared)) & ~(exposeVersion = SharingMode_LockProtected)) & ~(exposeVersion = ownerRef)) & ~(exposeVersion = ownerFrame)) & ~(exposeVersion = PeerGroupPlaceholder)) & ~(exposeVersion = ArrayCategoryValue)) & ~(exposeVersion = ArrayCategoryInt)) & ~(exposeVersion = ArrayCategoryRef)) & ~(exposeVersion = ArrayCategoryNonNullRef)) & ~(exposeVersion = System_Array)) & ~(exposeVersion = System_Boolean)) & ~(exposeVersion = System_Object)) & ~(exposeVersion = System_Type)) & ~(exposeVersion = NonNullFieldsAreInitialized)) & ~(exposeVersion = System_String)) & ~(exposeVersion = FirstConsistentOwner)) & ~(exposeVersion = System_SByte)) & ~(exposeVersion = System_Byte)) & ~(exposeVersion = System_Int16)) & ~(exposeVersion = System_UInt16)) & ~(exposeVersion = System_Int32)) & ~(exposeVersion = System_UInt32)) & ~(exposeVersion = System_Int64)) & ~(exposeVersion = System_UInt64)) & ~(exposeVersion = System_Char)) & ~(exposeVersion = System_UIntPtr)) & ~(exposeVersion = System_IntPtr)) & ~(exposeVersion = IntStack_elements)) & ~(exposeVersion = IntStack_top)) & ~(exposeVersion = Microsoft_Contracts_ObjectInvariantException)) & ~(exposeVersion = System_IO_TextReader)) & ~(exposeVersion = Microsoft_Contracts_ICheckedException)) & ~(exposeVersion = Microsoft_Contracts_GuardException)) & ~(exposeVersion = System_Reflection_MemberInfo)) & ~(exposeVersion = System_Reflection_ICustomAttributeProvider)) & ~(exposeVersion = System_Collections_ICollection)) & ~(exposeVersion = System_ICloneable)) & ~(exposeVersion = System_IEquatable_1___System_String)) & ~(exposeVersion = System_Collections_IEnumerable)) & ~(exposeVersion = System_IDisposable)) & ~(exposeVersion = System_Runtime_InteropServices__Exception)) & ~(exposeVersion = System_Runtime_InteropServices__Type)) & ~(exposeVersion = System_IO_TextWriter)) & ~(exposeVersion = System_IComparable_1___System_String)) & ~(exposeVersion = System_IConvertible)) & ~(exposeVersion = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(exposeVersion = IntStack)) & ~(exposeVersion = Program)) & ~(exposeVersion = System_Runtime_InteropServices__MemberInfo)) & ~(exposeVersion = System_Reflection_IReflect)) & ~(exposeVersion = System_IComparable)) & ~(exposeVersion = System_Collections_IList)) & ~(exposeVersion = System_Runtime_Serialization_ISerializable)) & ~(exposeVersion = System_Exception)) & ~(exposeVersion = System_MarshalByRefObject)) & ~(exposeVersion = stringLiteral1)) & ~(sharingMode = SharingMode_Unshared)) & ~(sharingMode = SharingMode_LockProtected)) & ~(sharingMode = ownerRef)) & ~(sharingMode = ownerFrame)) & ~(sharingMode = PeerGroupPlaceholder)) & ~(sharingMode = ArrayCategoryValue)) & ~(sharingMode = ArrayCategoryInt)) & ~(sharingMode = ArrayCategoryRef)) & ~(sharingMode = ArrayCategoryNonNullRef)) & ~(sharingMode = System_Array)) & ~(sharingMode = System_Boolean)) & ~(sharingMode = System_Object)) & ~(sharingMode = System_Type)) & ~(sharingMode = NonNullFieldsAreInitialized)) & ~(sharingMode = System_String)) & ~(sharingMode = FirstConsistentOwner)) & ~(sharingMode = System_SByte)) & ~(sharingMode = System_Byte)) & ~(sharingMode = System_Int16)) & ~(sharingMode = System_UInt16)) & ~(sharingMode = System_Int32)) & ~(sharingMode = System_UInt32)) & ~(sharingMode = System_Int64)) & ~(sharingMode = System_UInt64)) & ~(sharingMode = System_Char)) & ~(sharingMode = System_UIntPtr)) & ~(sharingMode = System_IntPtr)) & ~(sharingMode = IntStack_elements)) & ~(sharingMode = IntStack_top)) & ~(sharingMode = Microsoft_Contracts_ObjectInvariantException)) & ~(sharingMode = System_IO_TextReader)) & ~(sharingMode = Microsoft_Contracts_ICheckedException)) & ~(sharingMode = Microsoft_Contracts_GuardException)) & ~(sharingMode = System_Reflection_MemberInfo)) & ~(sharingMode = System_Reflection_ICustomAttributeProvider)) & ~(sharingMode = System_Collections_ICollection)) & ~(sharingMode = System_ICloneable)) & ~(sharingMode = System_IEquatable_1___System_String)) & ~(sharingMode = System_Collections_IEnumerable)) & ~(sharingMode = System_IDisposable)) & ~(sharingMode = System_Runtime_InteropServices__Exception)) & ~(sharingMode = System_Runtime_InteropServices__Type)) & ~(sharingMode = System_IO_TextWriter)) & ~(sharingMode = System_IComparable_1___System_String)) & ~(sharingMode = System_IConvertible)) & ~(sharingMode = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(sharingMode = IntStack)) & ~(sharingMode = Program)) & ~(sharingMode = System_Runtime_InteropServices__MemberInfo)) & ~(sharingMode = System_Reflection_IReflect)) & ~(sharingMode = System_IComparable)) & ~(sharingMode = System_Collections_IList)) & ~(sharingMode = System_Runtime_Serialization_ISerializable)) & ~(sharingMode = System_Exception)) & ~(sharingMode = System_MarshalByRefObject)) & ~(sharingMode = stringLiteral1)) & ~(SharingMode_Unshared = SharingMode_LockProtected)) & ~(SharingMode_Unshared = ownerRef)) & ~(SharingMode_Unshared = ownerFrame)) & ~(SharingMode_Unshared = PeerGroupPlaceholder)) & ~(SharingMode_Unshared = ArrayCategoryValue)) & ~(SharingMode_Unshared = ArrayCategoryInt)) & ~(SharingMode_Unshared = ArrayCategoryRef)) & ~(SharingMode_Unshared = ArrayCategoryNonNullRef)) & ~(SharingMode_Unshared = System_Array)) & ~(SharingMode_Unshared = System_Boolean)) & ~(SharingMode_Unshared = System_Object)) & ~(SharingMode_Unshared = System_Type)) & ~(SharingMode_Unshared = NonNullFieldsAreInitialized)) & ~(SharingMode_Unshared = System_String)) & ~(SharingMode_Unshared = FirstConsistentOwner)) & ~(SharingMode_Unshared = System_SByte)) & ~(SharingMode_Unshared = System_Byte)) & ~(SharingMode_Unshared = System_Int16)) & ~(SharingMode_Unshared = System_UInt16)) & ~(SharingMode_Unshared = System_Int32)) & ~(SharingMode_Unshared = System_UInt32)) & ~(SharingMode_Unshared = System_Int64)) & ~(SharingMode_Unshared = System_UInt64)) & ~(SharingMode_Unshared = System_Char)) & ~(SharingMode_Unshared = System_UIntPtr)) & ~(SharingMode_Unshared = System_IntPtr)) & ~(SharingMode_Unshared = IntStack_elements)) & ~(SharingMode_Unshared = IntStack_top)) & ~(SharingMode_Unshared = Microsoft_Contracts_ObjectInvariantException)) & ~(SharingMode_Unshared = System_IO_TextReader)) & ~(SharingMode_Unshared = Microsoft_Contracts_ICheckedException)) & ~(SharingMode_Unshared = Microsoft_Contracts_GuardException)) & ~(SharingMode_Unshared = System_Reflection_MemberInfo)) & ~(SharingMode_Unshared = System_Reflection_ICustomAttributeProvider)) & ~(SharingMode_Unshared = System_Collections_ICollection)) & ~(SharingMode_Unshared = System_ICloneable)) & ~(SharingMode_Unshared = System_IEquatable_1___System_String)) & ~(SharingMode_Unshared = System_Collections_IEnumerable)) & ~(SharingMode_Unshared = System_IDisposable)) & ~(SharingMode_Unshared = System_Runtime_InteropServices__Exception)) & ~(SharingMode_Unshared = System_Runtime_InteropServices__Type)) & ~(SharingMode_Unshared = System_IO_TextWriter)) & ~(SharingMode_Unshared = System_IComparable_1___System_String)) & ~(SharingMode_Unshared = System_IConvertible)) & ~(SharingMode_Unshared = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(SharingMode_Unshared = IntStack)) & ~(SharingMode_Unshared = Program)) & ~(SharingMode_Unshared = System_Runtime_InteropServices__MemberInfo)) & ~(SharingMode_Unshared = System_Reflection_IReflect)) & ~(SharingMode_Unshared = System_IComparable)) & ~(SharingMode_Unshared = System_Collections_IList)) & ~(SharingMode_Unshared = System_Runtime_Serialization_ISerializable)) & ~(SharingMode_Unshared = System_Exception)) & ~(SharingMode_Unshared = System_MarshalByRefObject)) & ~(SharingMode_Unshared = stringLiteral1)) & ~(SharingMode_LockProtected = ownerRef)) & ~(SharingMode_LockProtected = ownerFrame)) & ~(SharingMode_LockProtected = PeerGroupPlaceholder)) & ~(SharingMode_LockProtected = ArrayCategoryValue)) & ~(SharingMode_LockProtected = ArrayCategoryInt)) & ~(SharingMode_LockProtected = ArrayCategoryRef)) & ~(SharingMode_LockProtected = ArrayCategoryNonNullRef)) & ~(SharingMode_LockProtected = System_Array)) & ~(SharingMode_LockProtected = System_Boolean)) & ~(SharingMode_LockProtected = System_Object)) & ~(SharingMode_LockProtected = System_Type)) & ~(SharingMode_LockProtected = NonNullFieldsAreInitialized)) & ~(SharingMode_LockProtected = System_String)) & ~(SharingMode_LockProtected = FirstConsistentOwner)) & ~(SharingMode_LockProtected = System_SByte)) & ~(SharingMode_LockProtected = System_Byte)) & ~(SharingMode_LockProtected = System_Int16)) & ~(SharingMode_LockProtected = System_UInt16)) & ~(SharingMode_LockProtected = System_Int32)) & ~(SharingMode_LockProtected = System_UInt32)) & ~(SharingMode_LockProtected = System_Int64)) & ~(SharingMode_LockProtected = System_UInt64)) & ~(SharingMode_LockProtected = System_Char)) & ~(SharingMode_LockProtected = System_UIntPtr)) & ~(SharingMode_LockProtected = System_IntPtr)) & ~(SharingMode_LockProtected = IntStack_elements)) & ~(SharingMode_LockProtected = IntStack_top)) & ~(SharingMode_LockProtected = Microsoft_Contracts_ObjectInvariantException)) & ~(SharingMode_LockProtected = System_IO_TextReader)) & ~(SharingMode_LockProtected = Microsoft_Contracts_ICheckedException)) & ~(SharingMode_LockProtected = Microsoft_Contracts_GuardException)) & ~(SharingMode_LockProtected = System_Reflection_MemberInfo)) & ~(SharingMode_LockProtected = System_Reflection_ICustomAttributeProvider)) & ~(SharingMode_LockProtected = System_Collections_ICollection)) & ~(SharingMode_LockProtected = System_ICloneable)) & ~(SharingMode_LockProtected = System_IEquatable_1___System_String)) & ~(SharingMode_LockProtected = System_Collections_IEnumerable)) & ~(SharingMode_LockProtected = System_IDisposable)) & ~(SharingMode_LockProtected = System_Runtime_InteropServices__Exception)) & ~(SharingMode_LockProtected = System_Runtime_InteropServices__Type)) & ~(SharingMode_LockProtected = System_IO_TextWriter)) & ~(SharingMode_LockProtected = System_IComparable_1___System_String)) & ~(SharingMode_LockProtected = System_IConvertible)) & ~(SharingMode_LockProtected = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(SharingMode_LockProtected = IntStack)) & ~(SharingMode_LockProtected = Program)) & ~(SharingMode_LockProtected = System_Runtime_InteropServices__MemberInfo)) & ~(SharingMode_LockProtected = System_Reflection_IReflect)) & ~(SharingMode_LockProtected = System_IComparable)) & ~(SharingMode_LockProtected = System_Collections_IList)) & ~(SharingMode_LockProtected = System_Runtime_Serialization_ISerializable)) & ~(SharingMode_LockProtected = System_Exception)) & ~(SharingMode_LockProtected = System_MarshalByRefObject)) & ~(SharingMode_LockProtected = stringLiteral1)) & ~(ownerRef = ownerFrame)) & ~(ownerRef = PeerGroupPlaceholder)) & ~(ownerRef = ArrayCategoryValue)) & ~(ownerRef = ArrayCategoryInt)) & ~(ownerRef = ArrayCategoryRef)) & ~(ownerRef = ArrayCategoryNonNullRef)) & ~(ownerRef = System_Array)) & ~(ownerRef = System_Boolean)) & ~(ownerRef = System_Object)) & ~(ownerRef = System_Type)) & ~(ownerRef = NonNullFieldsAreInitialized)) & ~(ownerRef = System_String)) & ~(ownerRef = FirstConsistentOwner)) & ~(ownerRef = System_SByte)) & ~(ownerRef = System_Byte)) & ~(ownerRef = System_Int16)) & ~(ownerRef = System_UInt16)) & ~(ownerRef = System_Int32)) & ~(ownerRef = System_UInt32)) & ~(ownerRef = System_Int64)) & ~(ownerRef = System_UInt64)) & ~(ownerRef = System_Char)) & ~(ownerRef = System_UIntPtr)) & ~(ownerRef = System_IntPtr)) & ~(ownerRef = IntStack_elements)) & ~(ownerRef = IntStack_top)) & ~(ownerRef = Microsoft_Contracts_ObjectInvariantException)) & ~(ownerRef = System_IO_TextReader)) & ~(ownerRef = Microsoft_Contracts_ICheckedException)) & ~(ownerRef = Microsoft_Contracts_GuardException)) & ~(ownerRef = System_Reflection_MemberInfo)) & ~(ownerRef = System_Reflection_ICustomAttributeProvider)) & ~(ownerRef = System_Collections_ICollection)) & ~(ownerRef = System_ICloneable)) & ~(ownerRef = System_IEquatable_1___System_String)) & ~(ownerRef = System_Collections_IEnumerable)) & ~(ownerRef = System_IDisposable)) & ~(ownerRef = System_Runtime_InteropServices__Exception)) & ~(ownerRef = System_Runtime_InteropServices__Type)) & ~(ownerRef = System_IO_TextWriter)) & ~(ownerRef = System_IComparable_1___System_String)) & ~(ownerRef = System_IConvertible)) & ~(ownerRef = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ownerRef = IntStack)) & ~(ownerRef = Program)) & ~(ownerRef = System_Runtime_InteropServices__MemberInfo)) & ~(ownerRef = System_Reflection_IReflect)) & ~(ownerRef = System_IComparable)) & ~(ownerRef = System_Collections_IList)) & ~(ownerRef = System_Runtime_Serialization_ISerializable)) & ~(ownerRef = System_Exception)) & ~(ownerRef = System_MarshalByRefObject)) & ~(ownerRef = stringLiteral1)) & ~(ownerFrame = PeerGroupPlaceholder)) & ~(ownerFrame = ArrayCategoryValue)) & ~(ownerFrame = ArrayCategoryInt)) & ~(ownerFrame = ArrayCategoryRef)) & ~(ownerFrame = ArrayCategoryNonNullRef)) & ~(ownerFrame = System_Array)) & ~(ownerFrame = System_Boolean)) & ~(ownerFrame = System_Object)) & ~(ownerFrame = System_Type)) & ~(ownerFrame = NonNullFieldsAreInitialized)) & ~(ownerFrame = System_String)) & ~(ownerFrame = FirstConsistentOwner)) & ~(ownerFrame = System_SByte)) & ~(ownerFrame = System_Byte)) & ~(ownerFrame = System_Int16)) & ~(ownerFrame = System_UInt16)) & ~(ownerFrame = System_Int32)) & ~(ownerFrame = System_UInt32)) & ~(ownerFrame = System_Int64)) & ~(ownerFrame = System_UInt64)) & ~(ownerFrame = System_Char)) & ~(ownerFrame = System_UIntPtr)) & ~(ownerFrame = System_IntPtr)) & ~(ownerFrame = IntStack_elements)) & ~(ownerFrame = IntStack_top)) & ~(ownerFrame = Microsoft_Contracts_ObjectInvariantException)) & ~(ownerFrame = System_IO_TextReader)) & ~(ownerFrame = Microsoft_Contracts_ICheckedException)) & ~(ownerFrame = Microsoft_Contracts_GuardException)) & ~(ownerFrame = System_Reflection_MemberInfo)) & ~(ownerFrame = System_Reflection_ICustomAttributeProvider)) & ~(ownerFrame = System_Collections_ICollection)) & ~(ownerFrame = System_ICloneable)) & ~(ownerFrame = System_IEquatable_1___System_String)) & ~(ownerFrame = System_Collections_IEnumerable)) & ~(ownerFrame = System_IDisposable)) & ~(ownerFrame = System_Runtime_InteropServices__Exception)) & ~(ownerFrame = System_Runtime_InteropServices__Type)) & ~(ownerFrame = System_IO_TextWriter)) & ~(ownerFrame = System_IComparable_1___System_String)) & ~(ownerFrame = System_IConvertible)) & ~(ownerFrame = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ownerFrame = IntStack)) & ~(ownerFrame = Program)) & ~(ownerFrame = System_Runtime_InteropServices__MemberInfo)) & ~(ownerFrame = System_Reflection_IReflect)) & ~(ownerFrame = System_IComparable)) & ~(ownerFrame = System_Collections_IList)) & ~(ownerFrame = System_Runtime_Serialization_ISerializable)) & ~(ownerFrame = System_Exception)) & ~(ownerFrame = System_MarshalByRefObject)) & ~(ownerFrame = stringLiteral1)) & ~(PeerGroupPlaceholder = ArrayCategoryValue)) & ~(PeerGroupPlaceholder = ArrayCategoryInt)) & ~(PeerGroupPlaceholder = ArrayCategoryRef)) & ~(PeerGroupPlaceholder = ArrayCategoryNonNullRef)) & ~(PeerGroupPlaceholder = System_Array)) & ~(PeerGroupPlaceholder = System_Boolean)) & ~(PeerGroupPlaceholder = System_Object)) & ~(PeerGroupPlaceholder = System_Type)) & ~(PeerGroupPlaceholder = NonNullFieldsAreInitialized)) & ~(PeerGroupPlaceholder = System_String)) & ~(PeerGroupPlaceholder = FirstConsistentOwner)) & ~(PeerGroupPlaceholder = System_SByte)) & ~(PeerGroupPlaceholder = System_Byte)) & ~(PeerGroupPlaceholder = System_Int16)) & ~(PeerGroupPlaceholder = System_UInt16)) & ~(PeerGroupPlaceholder = System_Int32)) & ~(PeerGroupPlaceholder = System_UInt32)) & ~(PeerGroupPlaceholder = System_Int64)) & ~(PeerGroupPlaceholder = System_UInt64)) & ~(PeerGroupPlaceholder = System_Char)) & ~(PeerGroupPlaceholder = System_UIntPtr)) & ~(PeerGroupPlaceholder = System_IntPtr)) & ~(PeerGroupPlaceholder = IntStack_elements)) & ~(PeerGroupPlaceholder = IntStack_top)) & ~(PeerGroupPlaceholder = Microsoft_Contracts_ObjectInvariantException)) & ~(PeerGroupPlaceholder = System_IO_TextReader)) & ~(PeerGroupPlaceholder = Microsoft_Contracts_ICheckedException)) & ~(PeerGroupPlaceholder = Microsoft_Contracts_GuardException)) & ~(PeerGroupPlaceholder = System_Reflection_MemberInfo)) & ~(PeerGroupPlaceholder = System_Reflection_ICustomAttributeProvider)) & ~(PeerGroupPlaceholder = System_Collections_ICollection)) & ~(PeerGroupPlaceholder = System_ICloneable)) & ~(PeerGroupPlaceholder = System_IEquatable_1___System_String)) & ~(PeerGroupPlaceholder = System_Collections_IEnumerable)) & ~(PeerGroupPlaceholder = System_IDisposable)) & ~(PeerGroupPlaceholder = System_Runtime_InteropServices__Exception)) & ~(PeerGroupPlaceholder = System_Runtime_InteropServices__Type)) & ~(PeerGroupPlaceholder = System_IO_TextWriter)) & ~(PeerGroupPlaceholder = System_IComparable_1___System_String)) & ~(PeerGroupPlaceholder = System_IConvertible)) & ~(PeerGroupPlaceholder = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(PeerGroupPlaceholder = IntStack)) & ~(PeerGroupPlaceholder = Program)) & ~(PeerGroupPlaceholder = System_Runtime_InteropServices__MemberInfo)) & ~(PeerGroupPlaceholder = System_Reflection_IReflect)) & ~(PeerGroupPlaceholder = System_IComparable)) & ~(PeerGroupPlaceholder = System_Collections_IList)) & ~(PeerGroupPlaceholder = System_Runtime_Serialization_ISerializable)) & ~(PeerGroupPlaceholder = System_Exception)) & ~(PeerGroupPlaceholder = System_MarshalByRefObject)) & ~(PeerGroupPlaceholder = stringLiteral1)) & ~(ArrayCategoryValue = ArrayCategoryInt)) & ~(ArrayCategoryValue = ArrayCategoryRef)) & ~(ArrayCategoryValue = ArrayCategoryNonNullRef)) & ~(ArrayCategoryValue = System_Array)) & ~(ArrayCategoryValue = System_Boolean)) & ~(ArrayCategoryValue = System_Object)) & ~(ArrayCategoryValue = System_Type)) & ~(ArrayCategoryValue = NonNullFieldsAreInitialized)) & ~(ArrayCategoryValue = System_String)) & ~(ArrayCategoryValue = FirstConsistentOwner)) & ~(ArrayCategoryValue = System_SByte)) & ~(ArrayCategoryValue = System_Byte)) & ~(ArrayCategoryValue = System_Int16)) & ~(ArrayCategoryValue = System_UInt16)) & ~(ArrayCategoryValue = System_Int32)) & ~(ArrayCategoryValue = System_UInt32)) & ~(ArrayCategoryValue = System_Int64)) & ~(ArrayCategoryValue = System_UInt64)) & ~(ArrayCategoryValue = System_Char)) & ~(ArrayCategoryValue = System_UIntPtr)) & ~(ArrayCategoryValue = System_IntPtr)) & ~(ArrayCategoryValue = IntStack_elements)) & ~(ArrayCategoryValue = IntStack_top)) & ~(ArrayCategoryValue = Microsoft_Contracts_ObjectInvariantException)) & ~(ArrayCategoryValue = System_IO_TextReader)) & ~(ArrayCategoryValue = Microsoft_Contracts_ICheckedException)) & ~(ArrayCategoryValue = Microsoft_Contracts_GuardException)) & ~(ArrayCategoryValue = System_Reflection_MemberInfo)) & ~(ArrayCategoryValue = System_Reflection_ICustomAttributeProvider)) & ~(ArrayCategoryValue = System_Collections_ICollection)) & ~(ArrayCategoryValue = System_ICloneable)) & ~(ArrayCategoryValue = System_IEquatable_1___System_String)) & ~(ArrayCategoryValue = System_Collections_IEnumerable)) & ~(ArrayCategoryValue = System_IDisposable)) & ~(ArrayCategoryValue = System_Runtime_InteropServices__Exception)) & ~(ArrayCategoryValue = System_Runtime_InteropServices__Type)) & ~(ArrayCategoryValue = System_IO_TextWriter)) & ~(ArrayCategoryValue = System_IComparable_1___System_String)) & ~(ArrayCategoryValue = System_IConvertible)) & ~(ArrayCategoryValue = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ArrayCategoryValue = IntStack)) & ~(ArrayCategoryValue = Program)) & ~(ArrayCategoryValue = System_Runtime_InteropServices__MemberInfo)) & ~(ArrayCategoryValue = System_Reflection_IReflect)) & ~(ArrayCategoryValue = System_IComparable)) & ~(ArrayCategoryValue = System_Collections_IList)) & ~(ArrayCategoryValue = System_Runtime_Serialization_ISerializable)) & ~(ArrayCategoryValue = System_Exception)) & ~(ArrayCategoryValue = System_MarshalByRefObject)) & ~(ArrayCategoryValue = stringLiteral1)) & ~(ArrayCategoryInt = ArrayCategoryRef)) & ~(ArrayCategoryInt = ArrayCategoryNonNullRef)) & ~(ArrayCategoryInt = System_Array)) & ~(ArrayCategoryInt = System_Boolean)) & ~(ArrayCategoryInt = System_Object)) & ~(ArrayCategoryInt = System_Type)) & ~(ArrayCategoryInt = NonNullFieldsAreInitialized)) & ~(ArrayCategoryInt = System_String)) & ~(ArrayCategoryInt = FirstConsistentOwner)) & ~(ArrayCategoryInt = System_SByte)) & ~(ArrayCategoryInt = System_Byte)) & ~(ArrayCategoryInt = System_Int16)) & ~(ArrayCategoryInt = System_UInt16)) & ~(ArrayCategoryInt = System_Int32)) & ~(ArrayCategoryInt = System_UInt32)) & ~(ArrayCategoryInt = System_Int64)) & ~(ArrayCategoryInt = System_UInt64)) & ~(ArrayCategoryInt = System_Char)) & ~(ArrayCategoryInt = System_UIntPtr)) & ~(ArrayCategoryInt = System_IntPtr)) & ~(ArrayCategoryInt = IntStack_elements)) & ~(ArrayCategoryInt = IntStack_top)) & ~(ArrayCategoryInt = Microsoft_Contracts_ObjectInvariantException)) & ~(ArrayCategoryInt = System_IO_TextReader)) & ~(ArrayCategoryInt = Microsoft_Contracts_ICheckedException)) & ~(ArrayCategoryInt = Microsoft_Contracts_GuardException)) & ~(ArrayCategoryInt = System_Reflection_MemberInfo)) & ~(ArrayCategoryInt = System_Reflection_ICustomAttributeProvider)) & ~(ArrayCategoryInt = System_Collections_ICollection)) & ~(ArrayCategoryInt = System_ICloneable)) & ~(ArrayCategoryInt = System_IEquatable_1___System_String)) & ~(ArrayCategoryInt = System_Collections_IEnumerable)) & ~(ArrayCategoryInt = System_IDisposable)) & ~(ArrayCategoryInt = System_Runtime_InteropServices__Exception)) & ~(ArrayCategoryInt = System_Runtime_InteropServices__Type)) & ~(ArrayCategoryInt = System_IO_TextWriter)) & ~(ArrayCategoryInt = System_IComparable_1___System_String)) & ~(ArrayCategoryInt = System_IConvertible)) & ~(ArrayCategoryInt = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ArrayCategoryInt = IntStack)) & ~(ArrayCategoryInt = Program)) & ~(ArrayCategoryInt = System_Runtime_InteropServices__MemberInfo)) & ~(ArrayCategoryInt = System_Reflection_IReflect)) & ~(ArrayCategoryInt = System_IComparable)) & ~(ArrayCategoryInt = System_Collections_IList)) & ~(ArrayCategoryInt = System_Runtime_Serialization_ISerializable)) & ~(ArrayCategoryInt = System_Exception)) & ~(ArrayCategoryInt = System_MarshalByRefObject)) & ~(ArrayCategoryInt = stringLiteral1)) & ~(ArrayCategoryRef = ArrayCategoryNonNullRef)) & ~(ArrayCategoryRef = System_Array)) & ~(ArrayCategoryRef = System_Boolean)) & ~(ArrayCategoryRef = System_Object)) & ~(ArrayCategoryRef = System_Type)) & ~(ArrayCategoryRef = NonNullFieldsAreInitialized)) & ~(ArrayCategoryRef = System_String)) & ~(ArrayCategoryRef = FirstConsistentOwner)) & ~(ArrayCategoryRef = System_SByte)) & ~(ArrayCategoryRef = System_Byte)) & ~(ArrayCategoryRef = System_Int16)) & ~(ArrayCategoryRef = System_UInt16)) & ~(ArrayCategoryRef = System_Int32)) & ~(ArrayCategoryRef = System_UInt32)) & ~(ArrayCategoryRef = System_Int64)) & ~(ArrayCategoryRef = System_UInt64)) & ~(ArrayCategoryRef = System_Char)) & ~(ArrayCategoryRef = System_UIntPtr)) & ~(ArrayCategoryRef = System_IntPtr)) & ~(ArrayCategoryRef = IntStack_elements)) & ~(ArrayCategoryRef = IntStack_top)) & ~(ArrayCategoryRef = Microsoft_Contracts_ObjectInvariantException)) & ~(ArrayCategoryRef = System_IO_TextReader)) & ~(ArrayCategoryRef = Microsoft_Contracts_ICheckedException)) & ~(ArrayCategoryRef = Microsoft_Contracts_GuardException)) & ~(ArrayCategoryRef = System_Reflection_MemberInfo)) & ~(ArrayCategoryRef = System_Reflection_ICustomAttributeProvider)) & ~(ArrayCategoryRef = System_Collections_ICollection)) & ~(ArrayCategoryRef = System_ICloneable)) & ~(ArrayCategoryRef = System_IEquatable_1___System_String)) & ~(ArrayCategoryRef = System_Collections_IEnumerable)) & ~(ArrayCategoryRef = System_IDisposable)) & ~(ArrayCategoryRef = System_Runtime_InteropServices__Exception)) & ~(ArrayCategoryRef = System_Runtime_InteropServices__Type)) & ~(ArrayCategoryRef = System_IO_TextWriter)) & ~(ArrayCategoryRef = System_IComparable_1___System_String)) & ~(ArrayCategoryRef = System_IConvertible)) & ~(ArrayCategoryRef = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ArrayCategoryRef = IntStack)) & ~(ArrayCategoryRef = Program)) & ~(ArrayCategoryRef = System_Runtime_InteropServices__MemberInfo)) & ~(ArrayCategoryRef = System_Reflection_IReflect)) & ~(ArrayCategoryRef = System_IComparable)) & ~(ArrayCategoryRef = System_Collections_IList)) & ~(ArrayCategoryRef = System_Runtime_Serialization_ISerializable)) & ~(ArrayCategoryRef = System_Exception)) & ~(ArrayCategoryRef = System_MarshalByRefObject)) & ~(ArrayCategoryRef = stringLiteral1)) & ~(ArrayCategoryNonNullRef = System_Array)) & ~(ArrayCategoryNonNullRef = System_Boolean)) & ~(ArrayCategoryNonNullRef = System_Object)) & ~(ArrayCategoryNonNullRef = System_Type)) & ~(ArrayCategoryNonNullRef = NonNullFieldsAreInitialized)) & ~(ArrayCategoryNonNullRef = System_String)) & ~(ArrayCategoryNonNullRef = FirstConsistentOwner)) & ~(ArrayCategoryNonNullRef = System_SByte)) & ~(ArrayCategoryNonNullRef = System_Byte)) & ~(ArrayCategoryNonNullRef = System_Int16)) & ~(ArrayCategoryNonNullRef = System_UInt16)) & ~(ArrayCategoryNonNullRef = System_Int32)) & ~(ArrayCategoryNonNullRef = System_UInt32)) & ~(ArrayCategoryNonNullRef = System_Int64)) & ~(ArrayCategoryNonNullRef = System_UInt64)) & ~(ArrayCategoryNonNullRef = System_Char)) & ~(ArrayCategoryNonNullRef = System_UIntPtr)) & ~(ArrayCategoryNonNullRef = System_IntPtr)) & ~(ArrayCategoryNonNullRef = IntStack_elements)) & ~(ArrayCategoryNonNullRef = IntStack_top)) & ~(ArrayCategoryNonNullRef = Microsoft_Contracts_ObjectInvariantException)) & ~(ArrayCategoryNonNullRef = System_IO_TextReader)) & ~(ArrayCategoryNonNullRef = Microsoft_Contracts_ICheckedException)) & ~(ArrayCategoryNonNullRef = Microsoft_Contracts_GuardException)) & ~(ArrayCategoryNonNullRef = System_Reflection_MemberInfo)) & ~(ArrayCategoryNonNullRef = System_Reflection_ICustomAttributeProvider)) & ~(ArrayCategoryNonNullRef = System_Collections_ICollection)) & ~(ArrayCategoryNonNullRef = System_ICloneable)) & ~(ArrayCategoryNonNullRef = System_IEquatable_1___System_String)) & ~(ArrayCategoryNonNullRef = System_Collections_IEnumerable)) & ~(ArrayCategoryNonNullRef = System_IDisposable)) & ~(ArrayCategoryNonNullRef = System_Runtime_InteropServices__Exception)) & ~(ArrayCategoryNonNullRef = System_Runtime_InteropServices__Type)) & ~(ArrayCategoryNonNullRef = System_IO_TextWriter)) & ~(ArrayCategoryNonNullRef = System_IComparable_1___System_String)) & ~(ArrayCategoryNonNullRef = System_IConvertible)) & ~(ArrayCategoryNonNullRef = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(ArrayCategoryNonNullRef = IntStack)) & ~(ArrayCategoryNonNullRef = Program)) & ~(ArrayCategoryNonNullRef = System_Runtime_InteropServices__MemberInfo)) & ~(ArrayCategoryNonNullRef = System_Reflection_IReflect)) & ~(ArrayCategoryNonNullRef = System_IComparable)) & ~(ArrayCategoryNonNullRef = System_Collections_IList)) & ~(ArrayCategoryNonNullRef = System_Runtime_Serialization_ISerializable)) & ~(ArrayCategoryNonNullRef = System_Exception)) & ~(ArrayCategoryNonNullRef = System_MarshalByRefObject)) & ~(ArrayCategoryNonNullRef = stringLiteral1)) & ~(System_Array = System_Boolean)) & ~(System_Array = System_Object)) & ~(System_Array = System_Type)) & ~(System_Array = NonNullFieldsAreInitialized)) & ~(System_Array = System_String)) & ~(System_Array = FirstConsistentOwner)) & ~(System_Array = System_SByte)) & ~(System_Array = System_Byte)) & ~(System_Array = System_Int16)) & ~(System_Array = System_UInt16)) & ~(System_Array = System_Int32)) & ~(System_Array = System_UInt32)) & ~(System_Array = System_Int64)) & ~(System_Array = System_UInt64)) & ~(System_Array = System_Char)) & ~(System_Array = System_UIntPtr)) & ~(System_Array = System_IntPtr)) & ~(System_Array = IntStack_elements)) & ~(System_Array = IntStack_top)) & ~(System_Array = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Array = System_IO_TextReader)) & ~(System_Array = Microsoft_Contracts_ICheckedException)) & ~(System_Array = Microsoft_Contracts_GuardException)) & ~(System_Array = System_Reflection_MemberInfo)) & ~(System_Array = System_Reflection_ICustomAttributeProvider)) & ~(System_Array = System_Collections_ICollection)) & ~(System_Array = System_ICloneable)) & ~(System_Array = System_IEquatable_1___System_String)) & ~(System_Array = System_Collections_IEnumerable)) & ~(System_Array = System_IDisposable)) & ~(System_Array = System_Runtime_InteropServices__Exception)) & ~(System_Array = System_Runtime_InteropServices__Type)) & ~(System_Array = System_IO_TextWriter)) & ~(System_Array = System_IComparable_1___System_String)) & ~(System_Array = System_IConvertible)) & ~(System_Array = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Array = IntStack)) & ~(System_Array = Program)) & ~(System_Array = System_Runtime_InteropServices__MemberInfo)) & ~(System_Array = System_Reflection_IReflect)) & ~(System_Array = System_IComparable)) & ~(System_Array = System_Collections_IList)) & ~(System_Array = System_Runtime_Serialization_ISerializable)) & ~(System_Array = System_Exception)) & ~(System_Array = System_MarshalByRefObject)) & ~(System_Array = stringLiteral1)) & ~(System_Boolean = System_Object)) & ~(System_Boolean = System_Type)) & ~(System_Boolean = NonNullFieldsAreInitialized)) & ~(System_Boolean = System_String)) & ~(System_Boolean = FirstConsistentOwner)) & ~(System_Boolean = System_SByte)) & ~(System_Boolean = System_Byte)) & ~(System_Boolean = System_Int16)) & ~(System_Boolean = System_UInt16)) & ~(System_Boolean = System_Int32)) & ~(System_Boolean = System_UInt32)) & ~(System_Boolean = System_Int64)) & ~(System_Boolean = System_UInt64)) & ~(System_Boolean = System_Char)) & ~(System_Boolean = System_UIntPtr)) & ~(System_Boolean = System_IntPtr)) & ~(System_Boolean = IntStack_elements)) & ~(System_Boolean = IntStack_top)) & ~(System_Boolean = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Boolean = System_IO_TextReader)) & ~(System_Boolean = Microsoft_Contracts_ICheckedException)) & ~(System_Boolean = Microsoft_Contracts_GuardException)) & ~(System_Boolean = System_Reflection_MemberInfo)) & ~(System_Boolean = System_Reflection_ICustomAttributeProvider)) & ~(System_Boolean = System_Collections_ICollection)) & ~(System_Boolean = System_ICloneable)) & ~(System_Boolean = System_IEquatable_1___System_String)) & ~(System_Boolean = System_Collections_IEnumerable)) & ~(System_Boolean = System_IDisposable)) & ~(System_Boolean = System_Runtime_InteropServices__Exception)) & ~(System_Boolean = System_Runtime_InteropServices__Type)) & ~(System_Boolean = System_IO_TextWriter)) & ~(System_Boolean = System_IComparable_1___System_String)) & ~(System_Boolean = System_IConvertible)) & ~(System_Boolean = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Boolean = IntStack)) & ~(System_Boolean = Program)) & ~(System_Boolean = System_Runtime_InteropServices__MemberInfo)) & ~(System_Boolean = System_Reflection_IReflect)) & ~(System_Boolean = System_IComparable)) & ~(System_Boolean = System_Collections_IList)) & ~(System_Boolean = System_Runtime_Serialization_ISerializable)) & ~(System_Boolean = System_Exception)) & ~(System_Boolean = System_MarshalByRefObject)) & ~(System_Boolean = stringLiteral1)) & ~(System_Object = System_Type)) & ~(System_Object = NonNullFieldsAreInitialized)) & ~(System_Object = System_String)) & ~(System_Object = FirstConsistentOwner)) & ~(System_Object = System_SByte)) & ~(System_Object = System_Byte)) & ~(System_Object = System_Int16)) & ~(System_Object = System_UInt16)) & ~(System_Object = System_Int32)) & ~(System_Object = System_UInt32)) & ~(System_Object = System_Int64)) & ~(System_Object = System_UInt64)) & ~(System_Object = System_Char)) & ~(System_Object = System_UIntPtr)) & ~(System_Object = System_IntPtr)) & ~(System_Object = IntStack_elements)) & ~(System_Object = IntStack_top)) & ~(System_Object = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Object = System_IO_TextReader)) & ~(System_Object = Microsoft_Contracts_ICheckedException)) & ~(System_Object = Microsoft_Contracts_GuardException)) & ~(System_Object = System_Reflection_MemberInfo)) & ~(System_Object = System_Reflection_ICustomAttributeProvider)) & ~(System_Object = System_Collections_ICollection)) & ~(System_Object = System_ICloneable)) & ~(System_Object = System_IEquatable_1___System_String)) & ~(System_Object = System_Collections_IEnumerable)) & ~(System_Object = System_IDisposable)) & ~(System_Object = System_Runtime_InteropServices__Exception)) & ~(System_Object = System_Runtime_InteropServices__Type)) & ~(System_Object = System_IO_TextWriter)) & ~(System_Object = System_IComparable_1___System_String)) & ~(System_Object = System_IConvertible)) & ~(System_Object = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Object = IntStack)) & ~(System_Object = Program)) & ~(System_Object = System_Runtime_InteropServices__MemberInfo)) & ~(System_Object = System_Reflection_IReflect)) & ~(System_Object = System_IComparable)) & ~(System_Object = System_Collections_IList)) & ~(System_Object = System_Runtime_Serialization_ISerializable)) & ~(System_Object = System_Exception)) & ~(System_Object = System_MarshalByRefObject)) & ~(System_Object = stringLiteral1)) & ~(System_Type = NonNullFieldsAreInitialized)) & ~(System_Type = System_String)) & ~(System_Type = FirstConsistentOwner)) & ~(System_Type = System_SByte)) & ~(System_Type = System_Byte)) & ~(System_Type = System_Int16)) & ~(System_Type = System_UInt16)) & ~(System_Type = System_Int32)) & ~(System_Type = System_UInt32)) & ~(System_Type = System_Int64)) & ~(System_Type = System_UInt64)) & ~(System_Type = System_Char)) & ~(System_Type = System_UIntPtr)) & ~(System_Type = System_IntPtr)) & ~(System_Type = IntStack_elements)) & ~(System_Type = IntStack_top)) & ~(System_Type = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Type = System_IO_TextReader)) & ~(System_Type = Microsoft_Contracts_ICheckedException)) & ~(System_Type = Microsoft_Contracts_GuardException)) & ~(System_Type = System_Reflection_MemberInfo)) & ~(System_Type = System_Reflection_ICustomAttributeProvider)) & ~(System_Type = System_Collections_ICollection)) & ~(System_Type = System_ICloneable)) & ~(System_Type = System_IEquatable_1___System_String)) & ~(System_Type = System_Collections_IEnumerable)) & ~(System_Type = System_IDisposable)) & ~(System_Type = System_Runtime_InteropServices__Exception)) & ~(System_Type = System_Runtime_InteropServices__Type)) & ~(System_Type = System_IO_TextWriter)) & ~(System_Type = System_IComparable_1___System_String)) & ~(System_Type = System_IConvertible)) & ~(System_Type = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Type = IntStack)) & ~(System_Type = Program)) & ~(System_Type = System_Runtime_InteropServices__MemberInfo)) & ~(System_Type = System_Reflection_IReflect)) & ~(System_Type = System_IComparable)) & ~(System_Type = System_Collections_IList)) & ~(System_Type = System_Runtime_Serialization_ISerializable)) & ~(System_Type = System_Exception)) & ~(System_Type = System_MarshalByRefObject)) & ~(System_Type = stringLiteral1)) & ~(NonNullFieldsAreInitialized = System_String)) & ~(NonNullFieldsAreInitialized = FirstConsistentOwner)) & ~(NonNullFieldsAreInitialized = System_SByte)) & ~(NonNullFieldsAreInitialized = System_Byte)) & ~(NonNullFieldsAreInitialized = System_Int16)) & ~(NonNullFieldsAreInitialized = System_UInt16)) & ~(NonNullFieldsAreInitialized = System_Int32)) & ~(NonNullFieldsAreInitialized = System_UInt32)) & ~(NonNullFieldsAreInitialized = System_Int64)) & ~(NonNullFieldsAreInitialized = System_UInt64)) & ~(NonNullFieldsAreInitialized = System_Char)) & ~(NonNullFieldsAreInitialized = System_UIntPtr)) & ~(NonNullFieldsAreInitialized = System_IntPtr)) & ~(NonNullFieldsAreInitialized = IntStack_elements)) & ~(NonNullFieldsAreInitialized = IntStack_top)) & ~(NonNullFieldsAreInitialized = Microsoft_Contracts_ObjectInvariantException)) & ~(NonNullFieldsAreInitialized = System_IO_TextReader)) & ~(NonNullFieldsAreInitialized = Microsoft_Contracts_ICheckedException)) & ~(NonNullFieldsAreInitialized = Microsoft_Contracts_GuardException)) & ~(NonNullFieldsAreInitialized = System_Reflection_MemberInfo)) & ~(NonNullFieldsAreInitialized = System_Reflection_ICustomAttributeProvider)) & ~(NonNullFieldsAreInitialized = System_Collections_ICollection)) & ~(NonNullFieldsAreInitialized = System_ICloneable)) & ~(NonNullFieldsAreInitialized = System_IEquatable_1___System_String)) & ~(NonNullFieldsAreInitialized = System_Collections_IEnumerable)) & ~(NonNullFieldsAreInitialized = System_IDisposable)) & ~(NonNullFieldsAreInitialized = System_Runtime_InteropServices__Exception)) & ~(NonNullFieldsAreInitialized = System_Runtime_InteropServices__Type)) & ~(NonNullFieldsAreInitialized = System_IO_TextWriter)) & ~(NonNullFieldsAreInitialized = System_IComparable_1___System_String)) & ~(NonNullFieldsAreInitialized = System_IConvertible)) & ~(NonNullFieldsAreInitialized = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(NonNullFieldsAreInitialized = IntStack)) & ~(NonNullFieldsAreInitialized = Program)) & ~(NonNullFieldsAreInitialized = System_Runtime_InteropServices__MemberInfo)) & ~(NonNullFieldsAreInitialized = System_Reflection_IReflect)) & ~(NonNullFieldsAreInitialized = System_IComparable)) & ~(NonNullFieldsAreInitialized = System_Collections_IList)) & ~(NonNullFieldsAreInitialized = System_Runtime_Serialization_ISerializable)) & ~(NonNullFieldsAreInitialized = System_Exception)) & ~(NonNullFieldsAreInitialized = System_MarshalByRefObject)) & ~(NonNullFieldsAreInitialized = stringLiteral1)) & ~(System_String = FirstConsistentOwner)) & ~(System_String = System_SByte)) & ~(System_String = System_Byte)) & ~(System_String = System_Int16)) & ~(System_String = System_UInt16)) & ~(System_String = System_Int32)) & ~(System_String = System_UInt32)) & ~(System_String = System_Int64)) & ~(System_String = System_UInt64)) & ~(System_String = System_Char)) & ~(System_String = System_UIntPtr)) & ~(System_String = System_IntPtr)) & ~(System_String = IntStack_elements)) & ~(System_String = IntStack_top)) & ~(System_String = Microsoft_Contracts_ObjectInvariantException)) & ~(System_String = System_IO_TextReader)) & ~(System_String = Microsoft_Contracts_ICheckedException)) & ~(System_String = Microsoft_Contracts_GuardException)) & ~(System_String = System_Reflection_MemberInfo)) & ~(System_String = System_Reflection_ICustomAttributeProvider)) & ~(System_String = System_Collections_ICollection)) & ~(System_String = System_ICloneable)) & ~(System_String = System_IEquatable_1___System_String)) & ~(System_String = System_Collections_IEnumerable)) & ~(System_String = System_IDisposable)) & ~(System_String = System_Runtime_InteropServices__Exception)) & ~(System_String = System_Runtime_InteropServices__Type)) & ~(System_String = System_IO_TextWriter)) & ~(System_String = System_IComparable_1___System_String)) & ~(System_String = System_IConvertible)) & ~(System_String = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_String = IntStack)) & ~(System_String = Program)) & ~(System_String = System_Runtime_InteropServices__MemberInfo)) & ~(System_String = System_Reflection_IReflect)) & ~(System_String = System_IComparable)) & ~(System_String = System_Collections_IList)) & ~(System_String = System_Runtime_Serialization_ISerializable)) & ~(System_String = System_Exception)) & ~(System_String = System_MarshalByRefObject)) & ~(System_String = stringLiteral1)) & ~(FirstConsistentOwner = System_SByte)) & ~(FirstConsistentOwner = System_Byte)) & ~(FirstConsistentOwner = System_Int16)) & ~(FirstConsistentOwner = System_UInt16)) & ~(FirstConsistentOwner = System_Int32)) & ~(FirstConsistentOwner = System_UInt32)) & ~(FirstConsistentOwner = System_Int64)) & ~(FirstConsistentOwner = System_UInt64)) & ~(FirstConsistentOwner = System_Char)) & ~(FirstConsistentOwner = System_UIntPtr)) & ~(FirstConsistentOwner = System_IntPtr)) & ~(FirstConsistentOwner = IntStack_elements)) & ~(FirstConsistentOwner = IntStack_top)) & ~(FirstConsistentOwner = Microsoft_Contracts_ObjectInvariantException)) & ~(FirstConsistentOwner = System_IO_TextReader)) & ~(FirstConsistentOwner = Microsoft_Contracts_ICheckedException)) & ~(FirstConsistentOwner = Microsoft_Contracts_GuardException)) & ~(FirstConsistentOwner = System_Reflection_MemberInfo)) & ~(FirstConsistentOwner = System_Reflection_ICustomAttributeProvider)) & ~(FirstConsistentOwner = System_Collections_ICollection)) & ~(FirstConsistentOwner = System_ICloneable)) & ~(FirstConsistentOwner = System_IEquatable_1___System_String)) & ~(FirstConsistentOwner = System_Collections_IEnumerable)) & ~(FirstConsistentOwner = System_IDisposable)) & ~(FirstConsistentOwner = System_Runtime_InteropServices__Exception)) & ~(FirstConsistentOwner = System_Runtime_InteropServices__Type)) & ~(FirstConsistentOwner = System_IO_TextWriter)) & ~(FirstConsistentOwner = System_IComparable_1___System_String)) & ~(FirstConsistentOwner = System_IConvertible)) & ~(FirstConsistentOwner = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(FirstConsistentOwner = IntStack)) & ~(FirstConsistentOwner = Program)) & ~(FirstConsistentOwner = System_Runtime_InteropServices__MemberInfo)) & ~(FirstConsistentOwner = System_Reflection_IReflect)) & ~(FirstConsistentOwner = System_IComparable)) & ~(FirstConsistentOwner = System_Collections_IList)) & ~(FirstConsistentOwner = System_Runtime_Serialization_ISerializable)) & ~(FirstConsistentOwner = System_Exception)) & ~(FirstConsistentOwner = System_MarshalByRefObject)) & ~(FirstConsistentOwner = stringLiteral1)) & ~(System_SByte = System_Byte)) & ~(System_SByte = System_Int16)) & ~(System_SByte = System_UInt16)) & ~(System_SByte = System_Int32)) & ~(System_SByte = System_UInt32)) & ~(System_SByte = System_Int64)) & ~(System_SByte = System_UInt64)) & ~(System_SByte = System_Char)) & ~(System_SByte = System_UIntPtr)) & ~(System_SByte = System_IntPtr)) & ~(System_SByte = IntStack_elements)) & ~(System_SByte = IntStack_top)) & ~(System_SByte = Microsoft_Contracts_ObjectInvariantException)) & ~(System_SByte = System_IO_TextReader)) & ~(System_SByte = Microsoft_Contracts_ICheckedException)) & ~(System_SByte = Microsoft_Contracts_GuardException)) & ~(System_SByte = System_Reflection_MemberInfo)) & ~(System_SByte = System_Reflection_ICustomAttributeProvider)) & ~(System_SByte = System_Collections_ICollection)) & ~(System_SByte = System_ICloneable)) & ~(System_SByte = System_IEquatable_1___System_String)) & ~(System_SByte = System_Collections_IEnumerable)) & ~(System_SByte = System_IDisposable)) & ~(System_SByte = System_Runtime_InteropServices__Exception)) & ~(System_SByte = System_Runtime_InteropServices__Type)) & ~(System_SByte = System_IO_TextWriter)) & ~(System_SByte = System_IComparable_1___System_String)) & ~(System_SByte = System_IConvertible)) & ~(System_SByte = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_SByte = IntStack)) & ~(System_SByte = Program)) & ~(System_SByte = System_Runtime_InteropServices__MemberInfo)) & ~(System_SByte = System_Reflection_IReflect)) & ~(System_SByte = System_IComparable)) & ~(System_SByte = System_Collections_IList)) & ~(System_SByte = System_Runtime_Serialization_ISerializable)) & ~(System_SByte = System_Exception)) & ~(System_SByte = System_MarshalByRefObject)) & ~(System_SByte = stringLiteral1)) & ~(System_Byte = System_Int16)) & ~(System_Byte = System_UInt16)) & ~(System_Byte = System_Int32)) & ~(System_Byte = System_UInt32)) & ~(System_Byte = System_Int64)) & ~(System_Byte = System_UInt64)) & ~(System_Byte = System_Char)) & ~(System_Byte = System_UIntPtr)) & ~(System_Byte = System_IntPtr)) & ~(System_Byte = IntStack_elements)) & ~(System_Byte = IntStack_top)) & ~(System_Byte = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Byte = System_IO_TextReader)) & ~(System_Byte = Microsoft_Contracts_ICheckedException)) & ~(System_Byte = Microsoft_Contracts_GuardException)) & ~(System_Byte = System_Reflection_MemberInfo)) & ~(System_Byte = System_Reflection_ICustomAttributeProvider)) & ~(System_Byte = System_Collections_ICollection)) & ~(System_Byte = System_ICloneable)) & ~(System_Byte = System_IEquatable_1___System_String)) & ~(System_Byte = System_Collections_IEnumerable)) & ~(System_Byte = System_IDisposable)) & ~(System_Byte = System_Runtime_InteropServices__Exception)) & ~(System_Byte = System_Runtime_InteropServices__Type)) & ~(System_Byte = System_IO_TextWriter)) & ~(System_Byte = System_IComparable_1___System_String)) & ~(System_Byte = System_IConvertible)) & ~(System_Byte = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Byte = IntStack)) & ~(System_Byte = Program)) & ~(System_Byte = System_Runtime_InteropServices__MemberInfo)) & ~(System_Byte = System_Reflection_IReflect)) & ~(System_Byte = System_IComparable)) & ~(System_Byte = System_Collections_IList)) & ~(System_Byte = System_Runtime_Serialization_ISerializable)) & ~(System_Byte = System_Exception)) & ~(System_Byte = System_MarshalByRefObject)) & ~(System_Byte = stringLiteral1)) & ~(System_Int16 = System_UInt16)) & ~(System_Int16 = System_Int32)) & ~(System_Int16 = System_UInt32)) & ~(System_Int16 = System_Int64)) & ~(System_Int16 = System_UInt64)) & ~(System_Int16 = System_Char)) & ~(System_Int16 = System_UIntPtr)) & ~(System_Int16 = System_IntPtr)) & ~(System_Int16 = IntStack_elements)) & ~(System_Int16 = IntStack_top)) & ~(System_Int16 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Int16 = System_IO_TextReader)) & ~(System_Int16 = Microsoft_Contracts_ICheckedException)) & ~(System_Int16 = Microsoft_Contracts_GuardException)) & ~(System_Int16 = System_Reflection_MemberInfo)) & ~(System_Int16 = System_Reflection_ICustomAttributeProvider)) & ~(System_Int16 = System_Collections_ICollection)) & ~(System_Int16 = System_ICloneable)) & ~(System_Int16 = System_IEquatable_1___System_String)) & ~(System_Int16 = System_Collections_IEnumerable)) & ~(System_Int16 = System_IDisposable)) & ~(System_Int16 = System_Runtime_InteropServices__Exception)) & ~(System_Int16 = System_Runtime_InteropServices__Type)) & ~(System_Int16 = System_IO_TextWriter)) & ~(System_Int16 = System_IComparable_1___System_String)) & ~(System_Int16 = System_IConvertible)) & ~(System_Int16 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Int16 = IntStack)) & ~(System_Int16 = Program)) & ~(System_Int16 = System_Runtime_InteropServices__MemberInfo)) & ~(System_Int16 = System_Reflection_IReflect)) & ~(System_Int16 = System_IComparable)) & ~(System_Int16 = System_Collections_IList)) & ~(System_Int16 = System_Runtime_Serialization_ISerializable)) & ~(System_Int16 = System_Exception)) & ~(System_Int16 = System_MarshalByRefObject)) & ~(System_Int16 = stringLiteral1)) & ~(System_UInt16 = System_Int32)) & ~(System_UInt16 = System_UInt32)) & ~(System_UInt16 = System_Int64)) & ~(System_UInt16 = System_UInt64)) & ~(System_UInt16 = System_Char)) & ~(System_UInt16 = System_UIntPtr)) & ~(System_UInt16 = System_IntPtr)) & ~(System_UInt16 = IntStack_elements)) & ~(System_UInt16 = IntStack_top)) & ~(System_UInt16 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_UInt16 = System_IO_TextReader)) & ~(System_UInt16 = Microsoft_Contracts_ICheckedException)) & ~(System_UInt16 = Microsoft_Contracts_GuardException)) & ~(System_UInt16 = System_Reflection_MemberInfo)) & ~(System_UInt16 = System_Reflection_ICustomAttributeProvider)) & ~(System_UInt16 = System_Collections_ICollection)) & ~(System_UInt16 = System_ICloneable)) & ~(System_UInt16 = System_IEquatable_1___System_String)) & ~(System_UInt16 = System_Collections_IEnumerable)) & ~(System_UInt16 = System_IDisposable)) & ~(System_UInt16 = System_Runtime_InteropServices__Exception)) & ~(System_UInt16 = System_Runtime_InteropServices__Type)) & ~(System_UInt16 = System_IO_TextWriter)) & ~(System_UInt16 = System_IComparable_1___System_String)) & ~(System_UInt16 = System_IConvertible)) & ~(System_UInt16 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_UInt16 = IntStack)) & ~(System_UInt16 = Program)) & ~(System_UInt16 = System_Runtime_InteropServices__MemberInfo)) & ~(System_UInt16 = System_Reflection_IReflect)) & ~(System_UInt16 = System_IComparable)) & ~(System_UInt16 = System_Collections_IList)) & ~(System_UInt16 = System_Runtime_Serialization_ISerializable)) & ~(System_UInt16 = System_Exception)) & ~(System_UInt16 = System_MarshalByRefObject)) & ~(System_UInt16 = stringLiteral1)) & ~(System_Int32 = System_UInt32)) & ~(System_Int32 = System_Int64)) & ~(System_Int32 = System_UInt64)) & ~(System_Int32 = System_Char)) & ~(System_Int32 = System_UIntPtr)) & ~(System_Int32 = System_IntPtr)) & ~(System_Int32 = IntStack_elements)) & ~(System_Int32 = IntStack_top)) & ~(System_Int32 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Int32 = System_IO_TextReader)) & ~(System_Int32 = Microsoft_Contracts_ICheckedException)) & ~(System_Int32 = Microsoft_Contracts_GuardException)) & ~(System_Int32 = System_Reflection_MemberInfo)) & ~(System_Int32 = System_Reflection_ICustomAttributeProvider)) & ~(System_Int32 = System_Collections_ICollection)) & ~(System_Int32 = System_ICloneable)) & ~(System_Int32 = System_IEquatable_1___System_String)) & ~(System_Int32 = System_Collections_IEnumerable)) & ~(System_Int32 = System_IDisposable)) & ~(System_Int32 = System_Runtime_InteropServices__Exception)) & ~(System_Int32 = System_Runtime_InteropServices__Type)) & ~(System_Int32 = System_IO_TextWriter)) & ~(System_Int32 = System_IComparable_1___System_String)) & ~(System_Int32 = System_IConvertible)) & ~(System_Int32 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Int32 = IntStack)) & ~(System_Int32 = Program)) & ~(System_Int32 = System_Runtime_InteropServices__MemberInfo)) & ~(System_Int32 = System_Reflection_IReflect)) & ~(System_Int32 = System_IComparable)) & ~(System_Int32 = System_Collections_IList)) & ~(System_Int32 = System_Runtime_Serialization_ISerializable)) & ~(System_Int32 = System_Exception)) & ~(System_Int32 = System_MarshalByRefObject)) & ~(System_Int32 = stringLiteral1)) & ~(System_UInt32 = System_Int64)) & ~(System_UInt32 = System_UInt64)) & ~(System_UInt32 = System_Char)) & ~(System_UInt32 = System_UIntPtr)) & ~(System_UInt32 = System_IntPtr)) & ~(System_UInt32 = IntStack_elements)) & ~(System_UInt32 = IntStack_top)) & ~(System_UInt32 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_UInt32 = System_IO_TextReader)) & ~(System_UInt32 = Microsoft_Contracts_ICheckedException)) & ~(System_UInt32 = Microsoft_Contracts_GuardException)) & ~(System_UInt32 = System_Reflection_MemberInfo)) & ~(System_UInt32 = System_Reflection_ICustomAttributeProvider)) & ~(System_UInt32 = System_Collections_ICollection)) & ~(System_UInt32 = System_ICloneable)) & ~(System_UInt32 = System_IEquatable_1___System_String)) & ~(System_UInt32 = System_Collections_IEnumerable)) & ~(System_UInt32 = System_IDisposable)) & ~(System_UInt32 = System_Runtime_InteropServices__Exception)) & ~(System_UInt32 = System_Runtime_InteropServices__Type)) & ~(System_UInt32 = System_IO_TextWriter)) & ~(System_UInt32 = System_IComparable_1___System_String)) & ~(System_UInt32 = System_IConvertible)) & ~(System_UInt32 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_UInt32 = IntStack)) & ~(System_UInt32 = Program)) & ~(System_UInt32 = System_Runtime_InteropServices__MemberInfo)) & ~(System_UInt32 = System_Reflection_IReflect)) & ~(System_UInt32 = System_IComparable)) & ~(System_UInt32 = System_Collections_IList)) & ~(System_UInt32 = System_Runtime_Serialization_ISerializable)) & ~(System_UInt32 = System_Exception)) & ~(System_UInt32 = System_MarshalByRefObject)) & ~(System_UInt32 = stringLiteral1)) & ~(System_Int64 = System_UInt64)) & ~(System_Int64 = System_Char)) & ~(System_Int64 = System_UIntPtr)) & ~(System_Int64 = System_IntPtr)) & ~(System_Int64 = IntStack_elements)) & ~(System_Int64 = IntStack_top)) & ~(System_Int64 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Int64 = System_IO_TextReader)) & ~(System_Int64 = Microsoft_Contracts_ICheckedException)) & ~(System_Int64 = Microsoft_Contracts_GuardException)) & ~(System_Int64 = System_Reflection_MemberInfo)) & ~(System_Int64 = System_Reflection_ICustomAttributeProvider)) & ~(System_Int64 = System_Collections_ICollection)) & ~(System_Int64 = System_ICloneable)) & ~(System_Int64 = System_IEquatable_1___System_String)) & ~(System_Int64 = System_Collections_IEnumerable)) & ~(System_Int64 = System_IDisposable)) & ~(System_Int64 = System_Runtime_InteropServices__Exception)) & ~(System_Int64 = System_Runtime_InteropServices__Type)) & ~(System_Int64 = System_IO_TextWriter)) & ~(System_Int64 = System_IComparable_1___System_String)) & ~(System_Int64 = System_IConvertible)) & ~(System_Int64 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Int64 = IntStack)) & ~(System_Int64 = Program)) & ~(System_Int64 = System_Runtime_InteropServices__MemberInfo)) & ~(System_Int64 = System_Reflection_IReflect)) & ~(System_Int64 = System_IComparable)) & ~(System_Int64 = System_Collections_IList)) & ~(System_Int64 = System_Runtime_Serialization_ISerializable)) & ~(System_Int64 = System_Exception)) & ~(System_Int64 = System_MarshalByRefObject)) & ~(System_Int64 = stringLiteral1)) & ~(System_UInt64 = System_Char)) & ~(System_UInt64 = System_UIntPtr)) & ~(System_UInt64 = System_IntPtr)) & ~(System_UInt64 = IntStack_elements)) & ~(System_UInt64 = IntStack_top)) & ~(System_UInt64 = Microsoft_Contracts_ObjectInvariantException)) & ~(System_UInt64 = System_IO_TextReader)) & ~(System_UInt64 = Microsoft_Contracts_ICheckedException)) & ~(System_UInt64 = Microsoft_Contracts_GuardException)) & ~(System_UInt64 = System_Reflection_MemberInfo)) & ~(System_UInt64 = System_Reflection_ICustomAttributeProvider)) & ~(System_UInt64 = System_Collections_ICollection)) & ~(System_UInt64 = System_ICloneable)) & ~(System_UInt64 = System_IEquatable_1___System_String)) & ~(System_UInt64 = System_Collections_IEnumerable)) & ~(System_UInt64 = System_IDisposable)) & ~(System_UInt64 = System_Runtime_InteropServices__Exception)) & ~(System_UInt64 = System_Runtime_InteropServices__Type)) & ~(System_UInt64 = System_IO_TextWriter)) & ~(System_UInt64 = System_IComparable_1___System_String)) & ~(System_UInt64 = System_IConvertible)) & ~(System_UInt64 = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_UInt64 = IntStack)) & ~(System_UInt64 = Program)) & ~(System_UInt64 = System_Runtime_InteropServices__MemberInfo)) & ~(System_UInt64 = System_Reflection_IReflect)) & ~(System_UInt64 = System_IComparable)) & ~(System_UInt64 = System_Collections_IList)) & ~(System_UInt64 = System_Runtime_Serialization_ISerializable)) & ~(System_UInt64 = System_Exception)) & ~(System_UInt64 = System_MarshalByRefObject)) & ~(System_UInt64 = stringLiteral1)) & ~(System_Char = System_UIntPtr)) & ~(System_Char = System_IntPtr)) & ~(System_Char = IntStack_elements)) & ~(System_Char = IntStack_top)) & ~(System_Char = Microsoft_Contracts_ObjectInvariantException)) & ~(System_Char = System_IO_TextReader)) & ~(System_Char = Microsoft_Contracts_ICheckedException)) & ~(System_Char = Microsoft_Contracts_GuardException)) & ~(System_Char = System_Reflection_MemberInfo)) & ~(System_Char = System_Reflection_ICustomAttributeProvider)) & ~(System_Char = System_Collections_ICollection)) & ~(System_Char = System_ICloneable)) & ~(System_Char = System_IEquatable_1___System_String)) & ~(System_Char = System_Collections_IEnumerable)) & ~(System_Char = System_IDisposable)) & ~(System_Char = System_Runtime_InteropServices__Exception)) & ~(System_Char = System_Runtime_InteropServices__Type)) & ~(System_Char = System_IO_TextWriter)) & ~(System_Char = System_IComparable_1___System_String)) & ~(System_Char = System_IConvertible)) & ~(System_Char = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Char = IntStack)) & ~(System_Char = Program)) & ~(System_Char = System_Runtime_InteropServices__MemberInfo)) & ~(System_Char = System_Reflection_IReflect)) & ~(System_Char = System_IComparable)) & ~(System_Char = System_Collections_IList)) & ~(System_Char = System_Runtime_Serialization_ISerializable)) & ~(System_Char = System_Exception)) & ~(System_Char = System_MarshalByRefObject)) & ~(System_Char = stringLiteral1)) & ~(System_UIntPtr = System_IntPtr)) & ~(System_UIntPtr = IntStack_elements)) & ~(System_UIntPtr = IntStack_top)) & ~(System_UIntPtr = Microsoft_Contracts_ObjectInvariantException)) & ~(System_UIntPtr = System_IO_TextReader)) & ~(System_UIntPtr = Microsoft_Contracts_ICheckedException)) & ~(System_UIntPtr = Microsoft_Contracts_GuardException)) & ~(System_UIntPtr = System_Reflection_MemberInfo)) & ~(System_UIntPtr = System_Reflection_ICustomAttributeProvider)) & ~(System_UIntPtr = System_Collections_ICollection)) & ~(System_UIntPtr = System_ICloneable)) & ~(System_UIntPtr = System_IEquatable_1___System_String)) & ~(System_UIntPtr = System_Collections_IEnumerable)) & ~(System_UIntPtr = System_IDisposable)) & ~(System_UIntPtr = System_Runtime_InteropServices__Exception)) & ~(System_UIntPtr = System_Runtime_InteropServices__Type)) & ~(System_UIntPtr = System_IO_TextWriter)) & ~(System_UIntPtr = System_IComparable_1___System_String)) & ~(System_UIntPtr = System_IConvertible)) & ~(System_UIntPtr = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_UIntPtr = IntStack)) & ~(System_UIntPtr = Program)) & ~(System_UIntPtr = System_Runtime_InteropServices__MemberInfo)) & ~(System_UIntPtr = System_Reflection_IReflect)) & ~(System_UIntPtr = System_IComparable)) & ~(System_UIntPtr = System_Collections_IList)) & ~(System_UIntPtr = System_Runtime_Serialization_ISerializable)) & ~(System_UIntPtr = System_Exception)) & ~(System_UIntPtr = System_MarshalByRefObject)) & ~(System_UIntPtr = stringLiteral1)) & ~(System_IntPtr = IntStack_elements)) & ~(System_IntPtr = IntStack_top)) & ~(System_IntPtr = Microsoft_Contracts_ObjectInvariantException)) & ~(System_IntPtr = System_IO_TextReader)) & ~(System_IntPtr = Microsoft_Contracts_ICheckedException)) & ~(System_IntPtr = Microsoft_Contracts_GuardException)) & ~(System_IntPtr = System_Reflection_MemberInfo)) & ~(System_IntPtr = System_Reflection_ICustomAttributeProvider)) & ~(System_IntPtr = System_Collections_ICollection)) & ~(System_IntPtr = System_ICloneable)) & ~(System_IntPtr = System_IEquatable_1___System_String)) & ~(System_IntPtr = System_Collections_IEnumerable)) & ~(System_IntPtr = System_IDisposable)) & ~(System_IntPtr = System_Runtime_InteropServices__Exception)) & ~(System_IntPtr = System_Runtime_InteropServices__Type)) & ~(System_IntPtr = System_IO_TextWriter)) & ~(System_IntPtr = System_IComparable_1___System_String)) & ~(System_IntPtr = System_IConvertible)) & ~(System_IntPtr = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_IntPtr = IntStack)) & ~(System_IntPtr = Program)) & ~(System_IntPtr = System_Runtime_InteropServices__MemberInfo)) & ~(System_IntPtr = System_Reflection_IReflect)) & ~(System_IntPtr = System_IComparable)) & ~(System_IntPtr = System_Collections_IList)) & ~(System_IntPtr = System_Runtime_Serialization_ISerializable)) & ~(System_IntPtr = System_Exception)) & ~(System_IntPtr = System_MarshalByRefObject)) & ~(System_IntPtr = stringLiteral1)) & ~(IntStack_elements = IntStack_top)) & ~(IntStack_elements = Microsoft_Contracts_ObjectInvariantException)) & ~(IntStack_elements = System_IO_TextReader)) & ~(IntStack_elements = Microsoft_Contracts_ICheckedException)) & ~(IntStack_elements = Microsoft_Contracts_GuardException)) & ~(IntStack_elements = System_Reflection_MemberInfo)) & ~(IntStack_elements = System_Reflection_ICustomAttributeProvider)) & ~(IntStack_elements = System_Collections_ICollection)) & ~(IntStack_elements = System_ICloneable)) & ~(IntStack_elements = System_IEquatable_1___System_String)) & ~(IntStack_elements = System_Collections_IEnumerable)) & ~(IntStack_elements = System_IDisposable)) & ~(IntStack_elements = System_Runtime_InteropServices__Exception)) & ~(IntStack_elements = System_Runtime_InteropServices__Type)) & ~(IntStack_elements = System_IO_TextWriter)) & ~(IntStack_elements = System_IComparable_1___System_String)) & ~(IntStack_elements = System_IConvertible)) & ~(IntStack_elements = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(IntStack_elements = IntStack)) & ~(IntStack_elements = Program)) & ~(IntStack_elements = System_Runtime_InteropServices__MemberInfo)) & ~(IntStack_elements = System_Reflection_IReflect)) & ~(IntStack_elements = System_IComparable)) & ~(IntStack_elements = System_Collections_IList)) & ~(IntStack_elements = System_Runtime_Serialization_ISerializable)) & ~(IntStack_elements = System_Exception)) & ~(IntStack_elements = System_MarshalByRefObject)) & ~(IntStack_elements = stringLiteral1)) & ~(IntStack_top = Microsoft_Contracts_ObjectInvariantException)) & ~(IntStack_top = System_IO_TextReader)) & ~(IntStack_top = Microsoft_Contracts_ICheckedException)) & ~(IntStack_top = Microsoft_Contracts_GuardException)) & ~(IntStack_top = System_Reflection_MemberInfo)) & ~(IntStack_top = System_Reflection_ICustomAttributeProvider)) & ~(IntStack_top = System_Collections_ICollection)) & ~(IntStack_top = System_ICloneable)) & ~(IntStack_top = System_IEquatable_1___System_String)) & ~(IntStack_top = System_Collections_IEnumerable)) & ~(IntStack_top = System_IDisposable)) & ~(IntStack_top = System_Runtime_InteropServices__Exception)) & ~(IntStack_top = System_Runtime_InteropServices__Type)) & ~(IntStack_top = System_IO_TextWriter)) & ~(IntStack_top = System_IComparable_1___System_String)) & ~(IntStack_top = System_IConvertible)) & ~(IntStack_top = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(IntStack_top = IntStack)) & ~(IntStack_top = Program)) & ~(IntStack_top = System_Runtime_InteropServices__MemberInfo)) & ~(IntStack_top = System_Reflection_IReflect)) & ~(IntStack_top = System_IComparable)) & ~(IntStack_top = System_Collections_IList)) & ~(IntStack_top = System_Runtime_Serialization_ISerializable)) & ~(IntStack_top = System_Exception)) & ~(IntStack_top = System_MarshalByRefObject)) & ~(IntStack_top = stringLiteral1)) & ~(Microsoft_Contracts_ObjectInvariantException = System_IO_TextReader)) & ~(Microsoft_Contracts_ObjectInvariantException = Microsoft_Contracts_ICheckedException)) & ~(Microsoft_Contracts_ObjectInvariantException = Microsoft_Contracts_GuardException)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Reflection_MemberInfo)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Reflection_ICustomAttributeProvider)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Collections_ICollection)) & ~(Microsoft_Contracts_ObjectInvariantException = System_ICloneable)) & ~(Microsoft_Contracts_ObjectInvariantException = System_IEquatable_1___System_String)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Collections_IEnumerable)) & ~(Microsoft_Contracts_ObjectInvariantException = System_IDisposable)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Runtime_InteropServices__Exception)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Runtime_InteropServices__Type)) & ~(Microsoft_Contracts_ObjectInvariantException = System_IO_TextWriter)) & ~(Microsoft_Contracts_ObjectInvariantException = System_IComparable_1___System_String)) & ~(Microsoft_Contracts_ObjectInvariantException = System_IConvertible)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(Microsoft_Contracts_ObjectInvariantException = IntStack)) & ~(Microsoft_Contracts_ObjectInvariantException = Program)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Runtime_InteropServices__MemberInfo)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Reflection_IReflect)) & ~(Microsoft_Contracts_ObjectInvariantException = System_IComparable)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Collections_IList)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Runtime_Serialization_ISerializable)) & ~(Microsoft_Contracts_ObjectInvariantException = System_Exception)) & ~(Microsoft_Contracts_ObjectInvariantException = System_MarshalByRefObject)) & ~(Microsoft_Contracts_ObjectInvariantException = stringLiteral1)) & ~(System_IO_TextReader = Microsoft_Contracts_ICheckedException)) & ~(System_IO_TextReader = Microsoft_Contracts_GuardException)) & ~(System_IO_TextReader = System_Reflection_MemberInfo)) & ~(System_IO_TextReader = System_Reflection_ICustomAttributeProvider)) & ~(System_IO_TextReader = System_Collections_ICollection)) & ~(System_IO_TextReader = System_ICloneable)) & ~(System_IO_TextReader = System_IEquatable_1___System_String)) & ~(System_IO_TextReader = System_Collections_IEnumerable)) & ~(System_IO_TextReader = System_IDisposable)) & ~(System_IO_TextReader = System_Runtime_InteropServices__Exception)) & ~(System_IO_TextReader = System_Runtime_InteropServices__Type)) & ~(System_IO_TextReader = System_IO_TextWriter)) & ~(System_IO_TextReader = System_IComparable_1___System_String)) & ~(System_IO_TextReader = System_IConvertible)) & ~(System_IO_TextReader = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_IO_TextReader = IntStack)) & ~(System_IO_TextReader = Program)) & ~(System_IO_TextReader = System_Runtime_InteropServices__MemberInfo)) & ~(System_IO_TextReader = System_Reflection_IReflect)) & ~(System_IO_TextReader = System_IComparable)) & ~(System_IO_TextReader = System_Collections_IList)) & ~(System_IO_TextReader = System_Runtime_Serialization_ISerializable)) & ~(System_IO_TextReader = System_Exception)) & ~(System_IO_TextReader = System_MarshalByRefObject)) & ~(System_IO_TextReader = stringLiteral1)) & ~(Microsoft_Contracts_ICheckedException = Microsoft_Contracts_GuardException)) & ~(Microsoft_Contracts_ICheckedException = System_Reflection_MemberInfo)) & ~(Microsoft_Contracts_ICheckedException = System_Reflection_ICustomAttributeProvider)) & ~(Microsoft_Contracts_ICheckedException = System_Collections_ICollection)) & ~(Microsoft_Contracts_ICheckedException = System_ICloneable)) & ~(Microsoft_Contracts_ICheckedException = System_IEquatable_1___System_String)) & ~(Microsoft_Contracts_ICheckedException = System_Collections_IEnumerable)) & ~(Microsoft_Contracts_ICheckedException = System_IDisposable)) & ~(Microsoft_Contracts_ICheckedException = System_Runtime_InteropServices__Exception)) & ~(Microsoft_Contracts_ICheckedException = System_Runtime_InteropServices__Type)) & ~(Microsoft_Contracts_ICheckedException = System_IO_TextWriter)) & ~(Microsoft_Contracts_ICheckedException = System_IComparable_1___System_String)) & ~(Microsoft_Contracts_ICheckedException = System_IConvertible)) & ~(Microsoft_Contracts_ICheckedException = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(Microsoft_Contracts_ICheckedException = IntStack)) & ~(Microsoft_Contracts_ICheckedException = Program)) & ~(Microsoft_Contracts_ICheckedException = System_Runtime_InteropServices__MemberInfo)) & ~(Microsoft_Contracts_ICheckedException = System_Reflection_IReflect)) & ~(Microsoft_Contracts_ICheckedException = System_IComparable)) & ~(Microsoft_Contracts_ICheckedException = System_Collections_IList)) & ~(Microsoft_Contracts_ICheckedException = System_Runtime_Serialization_ISerializable)) & ~(Microsoft_Contracts_ICheckedException = System_Exception)) & ~(Microsoft_Contracts_ICheckedException = System_MarshalByRefObject)) & ~(Microsoft_Contracts_ICheckedException = stringLiteral1)) & ~(Microsoft_Contracts_GuardException = System_Reflection_MemberInfo)) & ~(Microsoft_Contracts_GuardException = System_Reflection_ICustomAttributeProvider)) & ~(Microsoft_Contracts_GuardException = System_Collections_ICollection)) & ~(Microsoft_Contracts_GuardException = System_ICloneable)) & ~(Microsoft_Contracts_GuardException = System_IEquatable_1___System_String)) & ~(Microsoft_Contracts_GuardException = System_Collections_IEnumerable)) & ~(Microsoft_Contracts_GuardException = System_IDisposable)) & ~(Microsoft_Contracts_GuardException = System_Runtime_InteropServices__Exception)) & ~(Microsoft_Contracts_GuardException = System_Runtime_InteropServices__Type)) & ~(Microsoft_Contracts_GuardException = System_IO_TextWriter)) & ~(Microsoft_Contracts_GuardException = System_IComparable_1___System_String)) & ~(Microsoft_Contracts_GuardException = System_IConvertible)) & ~(Microsoft_Contracts_GuardException = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(Microsoft_Contracts_GuardException = IntStack)) & ~(Microsoft_Contracts_GuardException = Program)) & ~(Microsoft_Contracts_GuardException = System_Runtime_InteropServices__MemberInfo)) & ~(Microsoft_Contracts_GuardException = System_Reflection_IReflect)) & ~(Microsoft_Contracts_GuardException = System_IComparable)) & ~(Microsoft_Contracts_GuardException = System_Collections_IList)) & ~(Microsoft_Contracts_GuardException = System_Runtime_Serialization_ISerializable)) & ~(Microsoft_Contracts_GuardException = System_Exception)) & ~(Microsoft_Contracts_GuardException = System_MarshalByRefObject)) & ~(Microsoft_Contracts_GuardException = stringLiteral1)) & ~(System_Reflection_MemberInfo = System_Reflection_ICustomAttributeProvider)) & ~(System_Reflection_MemberInfo = System_Collections_ICollection)) & ~(System_Reflection_MemberInfo = System_ICloneable)) & ~(System_Reflection_MemberInfo = System_IEquatable_1___System_String)) & ~(System_Reflection_MemberInfo = System_Collections_IEnumerable)) & ~(System_Reflection_MemberInfo = System_IDisposable)) & ~(System_Reflection_MemberInfo = System_Runtime_InteropServices__Exception)) & ~(System_Reflection_MemberInfo = System_Runtime_InteropServices__Type)) & ~(System_Reflection_MemberInfo = System_IO_TextWriter)) & ~(System_Reflection_MemberInfo = System_IComparable_1___System_String)) & ~(System_Reflection_MemberInfo = System_IConvertible)) & ~(System_Reflection_MemberInfo = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Reflection_MemberInfo = IntStack)) & ~(System_Reflection_MemberInfo = Program)) & ~(System_Reflection_MemberInfo = System_Runtime_InteropServices__MemberInfo)) & ~(System_Reflection_MemberInfo = System_Reflection_IReflect)) & ~(System_Reflection_MemberInfo = System_IComparable)) & ~(System_Reflection_MemberInfo = System_Collections_IList)) & ~(System_Reflection_MemberInfo = System_Runtime_Serialization_ISerializable)) & ~(System_Reflection_MemberInfo = System_Exception)) & ~(System_Reflection_MemberInfo = System_MarshalByRefObject)) & ~(System_Reflection_MemberInfo = stringLiteral1)) & ~(System_Reflection_ICustomAttributeProvider = System_Collections_ICollection)) & ~(System_Reflection_ICustomAttributeProvider = System_ICloneable)) & ~(System_Reflection_ICustomAttributeProvider = System_IEquatable_1___System_String)) & ~(System_Reflection_ICustomAttributeProvider = System_Collections_IEnumerable)) & ~(System_Reflection_ICustomAttributeProvider = System_IDisposable)) & ~(System_Reflection_ICustomAttributeProvider = System_Runtime_InteropServices__Exception)) & ~(System_Reflection_ICustomAttributeProvider = System_Runtime_InteropServices__Type)) & ~(System_Reflection_ICustomAttributeProvider = System_IO_TextWriter)) & ~(System_Reflection_ICustomAttributeProvider = System_IComparable_1___System_String)) & ~(System_Reflection_ICustomAttributeProvider = System_IConvertible)) & ~(System_Reflection_ICustomAttributeProvider = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Reflection_ICustomAttributeProvider = IntStack)) & ~(System_Reflection_ICustomAttributeProvider = Program)) & ~(System_Reflection_ICustomAttributeProvider = System_Runtime_InteropServices__MemberInfo)) & ~(System_Reflection_ICustomAttributeProvider = System_Reflection_IReflect)) & ~(System_Reflection_ICustomAttributeProvider = System_IComparable)) & ~(System_Reflection_ICustomAttributeProvider = System_Collections_IList)) & ~(System_Reflection_ICustomAttributeProvider = System_Runtime_Serialization_ISerializable)) & ~(System_Reflection_ICustomAttributeProvider = System_Exception)) & ~(System_Reflection_ICustomAttributeProvider = System_MarshalByRefObject)) & ~(System_Reflection_ICustomAttributeProvider = stringLiteral1)) & ~(System_Collections_ICollection = System_ICloneable)) & ~(System_Collections_ICollection = System_IEquatable_1___System_String)) & ~(System_Collections_ICollection = System_Collections_IEnumerable)) & ~(System_Collections_ICollection = System_IDisposable)) & ~(System_Collections_ICollection = System_Runtime_InteropServices__Exception)) & ~(System_Collections_ICollection = System_Runtime_InteropServices__Type)) & ~(System_Collections_ICollection = System_IO_TextWriter)) & ~(System_Collections_ICollection = System_IComparable_1___System_String)) & ~(System_Collections_ICollection = System_IConvertible)) & ~(System_Collections_ICollection = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Collections_ICollection = IntStack)) & ~(System_Collections_ICollection = Program)) & ~(System_Collections_ICollection = System_Runtime_InteropServices__MemberInfo)) & ~(System_Collections_ICollection = System_Reflection_IReflect)) & ~(System_Collections_ICollection = System_IComparable)) & ~(System_Collections_ICollection = System_Collections_IList)) & ~(System_Collections_ICollection = System_Runtime_Serialization_ISerializable)) & ~(System_Collections_ICollection = System_Exception)) & ~(System_Collections_ICollection = System_MarshalByRefObject)) & ~(System_Collections_ICollection = stringLiteral1)) & ~(System_ICloneable = System_IEquatable_1___System_String)) & ~(System_ICloneable = System_Collections_IEnumerable)) & ~(System_ICloneable = System_IDisposable)) & ~(System_ICloneable = System_Runtime_InteropServices__Exception)) & ~(System_ICloneable = System_Runtime_InteropServices__Type)) & ~(System_ICloneable = System_IO_TextWriter)) & ~(System_ICloneable = System_IComparable_1___System_String)) & ~(System_ICloneable = System_IConvertible)) & ~(System_ICloneable = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_ICloneable = IntStack)) & ~(System_ICloneable = Program)) & ~(System_ICloneable = System_Runtime_InteropServices__MemberInfo)) & ~(System_ICloneable = System_Reflection_IReflect)) & ~(System_ICloneable = System_IComparable)) & ~(System_ICloneable = System_Collections_IList)) & ~(System_ICloneable = System_Runtime_Serialization_ISerializable)) & ~(System_ICloneable = System_Exception)) & ~(System_ICloneable = System_MarshalByRefObject)) & ~(System_ICloneable = stringLiteral1)) & ~(System_IEquatable_1___System_String = System_Collections_IEnumerable)) & ~(System_IEquatable_1___System_String = System_IDisposable)) & ~(System_IEquatable_1___System_String = System_Runtime_InteropServices__Exception)) & ~(System_IEquatable_1___System_String = System_Runtime_InteropServices__Type)) & ~(System_IEquatable_1___System_String = System_IO_TextWriter)) & ~(System_IEquatable_1___System_String = System_IComparable_1___System_String)) & ~(System_IEquatable_1___System_String = System_IConvertible)) & ~(System_IEquatable_1___System_String = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_IEquatable_1___System_String = IntStack)) & ~(System_IEquatable_1___System_String = Program)) & ~(System_IEquatable_1___System_String = System_Runtime_InteropServices__MemberInfo)) & ~(System_IEquatable_1___System_String = System_Reflection_IReflect)) & ~(System_IEquatable_1___System_String = System_IComparable)) & ~(System_IEquatable_1___System_String = System_Collections_IList)) & ~(System_IEquatable_1___System_String = System_Runtime_Serialization_ISerializable)) & ~(System_IEquatable_1___System_String = System_Exception)) & ~(System_IEquatable_1___System_String = System_MarshalByRefObject)) & ~(System_IEquatable_1___System_String = stringLiteral1)) & ~(System_Collections_IEnumerable = System_IDisposable)) & ~(System_Collections_IEnumerable = System_Runtime_InteropServices__Exception)) & ~(System_Collections_IEnumerable = System_Runtime_InteropServices__Type)) & ~(System_Collections_IEnumerable = System_IO_TextWriter)) & ~(System_Collections_IEnumerable = System_IComparable_1___System_String)) & ~(System_Collections_IEnumerable = System_IConvertible)) & ~(System_Collections_IEnumerable = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Collections_IEnumerable = IntStack)) & ~(System_Collections_IEnumerable = Program)) & ~(System_Collections_IEnumerable = System_Runtime_InteropServices__MemberInfo)) & ~(System_Collections_IEnumerable = System_Reflection_IReflect)) & ~(System_Collections_IEnumerable = System_IComparable)) & ~(System_Collections_IEnumerable = System_Collections_IList)) & ~(System_Collections_IEnumerable = System_Runtime_Serialization_ISerializable)) & ~(System_Collections_IEnumerable = System_Exception)) & ~(System_Collections_IEnumerable = System_MarshalByRefObject)) & ~(System_Collections_IEnumerable = stringLiteral1)) & ~(System_IDisposable = System_Runtime_InteropServices__Exception)) & ~(System_IDisposable = System_Runtime_InteropServices__Type)) & ~(System_IDisposable = System_IO_TextWriter)) & ~(System_IDisposable = System_IComparable_1___System_String)) & ~(System_IDisposable = System_IConvertible)) & ~(System_IDisposable = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_IDisposable = IntStack)) & ~(System_IDisposable = Program)) & ~(System_IDisposable = System_Runtime_InteropServices__MemberInfo)) & ~(System_IDisposable = System_Reflection_IReflect)) & ~(System_IDisposable = System_IComparable)) & ~(System_IDisposable = System_Collections_IList)) & ~(System_IDisposable = System_Runtime_Serialization_ISerializable)) & ~(System_IDisposable = System_Exception)) & ~(System_IDisposable = System_MarshalByRefObject)) & ~(System_IDisposable = stringLiteral1)) & ~(System_Runtime_InteropServices__Exception = System_Runtime_InteropServices__Type)) & ~(System_Runtime_InteropServices__Exception = System_IO_TextWriter)) & ~(System_Runtime_InteropServices__Exception = System_IComparable_1___System_String)) & ~(System_Runtime_InteropServices__Exception = System_IConvertible)) & ~(System_Runtime_InteropServices__Exception = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Runtime_InteropServices__Exception = IntStack)) & ~(System_Runtime_InteropServices__Exception = Program)) & ~(System_Runtime_InteropServices__Exception = System_Runtime_InteropServices__MemberInfo)) & ~(System_Runtime_InteropServices__Exception = System_Reflection_IReflect)) & ~(System_Runtime_InteropServices__Exception = System_IComparable)) & ~(System_Runtime_InteropServices__Exception = System_Collections_IList)) & ~(System_Runtime_InteropServices__Exception = System_Runtime_Serialization_ISerializable)) & ~(System_Runtime_InteropServices__Exception = System_Exception)) & ~(System_Runtime_InteropServices__Exception = System_MarshalByRefObject)) & ~(System_Runtime_InteropServices__Exception = stringLiteral1)) & ~(System_Runtime_InteropServices__Type = System_IO_TextWriter)) & ~(System_Runtime_InteropServices__Type = System_IComparable_1___System_String)) & ~(System_Runtime_InteropServices__Type = System_IConvertible)) & ~(System_Runtime_InteropServices__Type = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_Runtime_InteropServices__Type = IntStack)) & ~(System_Runtime_InteropServices__Type = Program)) & ~(System_Runtime_InteropServices__Type = System_Runtime_InteropServices__MemberInfo)) & ~(System_Runtime_InteropServices__Type = System_Reflection_IReflect)) & ~(System_Runtime_InteropServices__Type = System_IComparable)) & ~(System_Runtime_InteropServices__Type = System_Collections_IList)) & ~(System_Runtime_InteropServices__Type = System_Runtime_Serialization_ISerializable)) & ~(System_Runtime_InteropServices__Type = System_Exception)) & ~(System_Runtime_InteropServices__Type = System_MarshalByRefObject)) & ~(System_Runtime_InteropServices__Type = stringLiteral1)) & ~(System_IO_TextWriter = System_IComparable_1___System_String)) & ~(System_IO_TextWriter = System_IConvertible)) & ~(System_IO_TextWriter = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_IO_TextWriter = IntStack)) & ~(System_IO_TextWriter = Program)) & ~(System_IO_TextWriter = System_Runtime_InteropServices__MemberInfo)) & ~(System_IO_TextWriter = System_Reflection_IReflect)) & ~(System_IO_TextWriter = System_IComparable)) & ~(System_IO_TextWriter = System_Collections_IList)) & ~(System_IO_TextWriter = System_Runtime_Serialization_ISerializable)) & ~(System_IO_TextWriter = System_Exception)) & ~(System_IO_TextWriter = System_MarshalByRefObject)) & ~(System_IO_TextWriter = stringLiteral1)) & ~(System_IComparable_1___System_String = System_IConvertible)) & ~(System_IComparable_1___System_String = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_IComparable_1___System_String = IntStack)) & ~(System_IComparable_1___System_String = Program)) & ~(System_IComparable_1___System_String = System_Runtime_InteropServices__MemberInfo)) & ~(System_IComparable_1___System_String = System_Reflection_IReflect)) & ~(System_IComparable_1___System_String = System_IComparable)) & ~(System_IComparable_1___System_String = System_Collections_IList)) & ~(System_IComparable_1___System_String = System_Runtime_Serialization_ISerializable)) & ~(System_IComparable_1___System_String = System_Exception)) & ~(System_IComparable_1___System_String = System_MarshalByRefObject)) & ~(System_IComparable_1___System_String = stringLiteral1)) & ~(System_IConvertible = System_Collections_Generic_IEnumerable_1___System_Char)) & ~(System_IConvertible = IntStack)) & ~(System_IConvertible = Program)) & ~(System_IConvertible = System_Runtime_InteropServices__MemberInfo)) & ~(System_IConvertible = System_Reflection_IReflect)) & ~(System_IConvertible = System_IComparable)) & ~(System_IConvertible = System_Collections_IList)) & ~(System_IConvertible = System_Runtime_Serialization_ISerializable)) & ~(System_IConvertible = System_Exception)) & ~(System_IConvertible = System_MarshalByRefObject)) & ~(System_IConvertible = stringLiteral1)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = IntStack)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = Program)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_Runtime_InteropServices__MemberInfo)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_Reflection_IReflect)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_IComparable)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_Collections_IList)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_Runtime_Serialization_ISerializable)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_Exception)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = System_MarshalByRefObject)) & ~(System_Collections_Generic_IEnumerable_1___System_Char = stringLiteral1)) & ~(IntStack = Program)) & ~(IntStack = System_Runtime_InteropServices__MemberInfo)) & ~(IntStack = System_Reflection_IReflect)) & ~(IntStack = System_IComparable)) & ~(IntStack = System_Collections_IList)) & ~(IntStack = System_Runtime_Serialization_ISerializable)) & ~(IntStack = System_Exception)) & ~(IntStack = System_MarshalByRefObject)) & ~(IntStack = stringLiteral1)) & ~(Program = System_Runtime_InteropServices__MemberInfo)) & ~(Program = System_Reflection_IReflect)) & ~(Program = System_IComparable)) & ~(Program = System_Collections_IList)) & ~(Program = System_Runtime_Serialization_ISerializable)) & ~(Program = System_Exception)) & ~(Program = System_MarshalByRefObject)) & ~(Program = stringLiteral1)) & ~(System_Runtime_InteropServices__MemberInfo = System_Reflection_IReflect)) & ~(System_Runtime_InteropServices__MemberInfo = System_IComparable)) & ~(System_Runtime_InteropServices__MemberInfo = System_Collections_IList)) & ~(System_Runtime_InteropServices__MemberInfo = System_Runtime_Serialization_ISerializable)) & ~(System_Runtime_InteropServices__MemberInfo = System_Exception)) & ~(System_Runtime_InteropServices__MemberInfo = System_MarshalByRefObject)) & ~(System_Runtime_InteropServices__MemberInfo = stringLiteral1)) & ~(System_Reflection_IReflect = System_IComparable)) & ~(System_Reflection_IReflect = System_Collections_IList)) & ~(System_Reflection_IReflect = System_Runtime_Serialization_ISerializable)) & ~(System_Reflection_IReflect = System_Exception)) & ~(System_Reflection_IReflect = System_MarshalByRefObject)) & ~(System_Reflection_IReflect = stringLiteral1)) & ~(System_IComparable = System_Collections_IList)) & ~(System_IComparable = System_Runtime_Serialization_ISerializable)) & ~(System_IComparable = System_Exception)) & ~(System_IComparable = System_MarshalByRefObject)) & ~(System_IComparable = stringLiteral1)) & ~(System_Collections_IList = System_Runtime_Serialization_ISerializable)) & ~(System_Collections_IList = System_Exception)) & ~(System_Collections_IList = System_MarshalByRefObject)) & ~(System_Collections_IList = stringLiteral1)) & ~(System_Runtime_Serialization_ISerializable = System_Exception)) & ~(System_Runtime_Serialization_ISerializable = System_MarshalByRefObject)) & ~(System_Runtime_Serialization_ISerializable = stringLiteral1)) & ~(System_Exception = System_MarshalByRefObject)) & ~(System_Exception = stringLiteral1)) & ~(System_MarshalByRefObject = stringLiteral1)) | ~(DeclType(elements) = System_Object)) | ~(DeclType(exposeVersion) = System_Object)) | ~(![A__questionmark_ca:$int]: (ClassReprInv(ClassRepr(A__questionmark_ca)) = A__questionmark_ca))) | ~(![A__questionmark_Ta:$int]: ~(x(typeof(ClassRepr(A__questionmark_Ta)), System_Object) = true_1))) | ~(![A__questionmark_Ta:$int]: ~(ClassRepr(A__questionmark_Ta) = nullObject))) | ~(![A__questionmark_Ta:$int, A__questionmark_h_1a:$int]: ((IsHeap(A__questionmark_h_1a) = true_1) => (select2(A__questionmark_h_1a, ClassRepr(A__questionmark_Ta), ownerFrame) = PeerGroupPlaceholder)))) | ~(IncludeInMainFrameCondition(allocated) = true_1)) | ~(IncludeInMainFrameCondition(elements) = true_1)) | ~~(IncludeInMainFrameCondition(inv) = true_1)) | ~~(IncludeInMainFrameCondition(localinv) = true_1)) | ~(IncludeInMainFrameCondition(ownerRef) = true_1)) | ~(IncludeInMainFrameCondition(ownerFrame) = true_1)) | ~(IncludeInMainFrameCondition(exposeVersion) = true_1)) | ~~(IncludeInMainFrameCondition(FirstConsistentOwner) = true_1)) | ~~(IsStaticField(allocated) = true_1)) | ~~(IsStaticField(elements) = true_1)) | ~~(IsStaticField(inv) = true_1)) | ~~(IsStaticField(localinv) = true_1)) | ~~(IsStaticField(exposeVersion) = true_1)) | ~~(IncludedInModifiesStar(ownerRef) = true_1)) | ~~(IncludedInModifiesStar(ownerFrame) = true_1)) | ~(IncludedInModifiesStar(exposeVersion) = true_1)) | ~(IncludedInModifiesStar(elements) = true_1)) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_x_3a:$int]: (ValueArrayGet(ValueArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ia) = A__questionmark_x_3a))) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_ja:$int, A__questionmark_x_3a:$int]: (~(A__questionmark_ia = A__questionmark_ja) => (ValueArrayGet(ValueArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ja) = ValueArrayGet(A__questionmark_Aa, A__questionmark_ja))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_x_3a:$int]: (IntArrayGet(IntArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ia) = A__questionmark_x_3a))) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_ja:$int, A__questionmark_x_3a:$int]: (~(A__questionmark_ia = A__questionmark_ja) => (IntArrayGet(IntArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ja) = IntArrayGet(A__questionmark_Aa, A__questionmark_ja))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_x_3a:$int]: (RefArrayGet(RefArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ia) = A__questionmark_x_3a))) | ~(![A__questionmark_Aa:$int, A__questionmark_ia:$int, A__questionmark_ja:$int, A__questionmark_x_3a:$int]: (~(A__questionmark_ia = A__questionmark_ja) => (RefArrayGet(RefArraySet(A__questionmark_Aa, A__questionmark_ia, A__questionmark_x_3a), A__questionmark_ja) = RefArrayGet(A__questionmark_Aa, A__questionmark_ja))))) | ~(![A__questionmark_aa:$int, A__questionmark_da:$int, A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (ArrayIndexInvX(ArrayIndex(A__questionmark_aa, A__questionmark_da, A__questionmark_x_3a, A__questionmark_ya)) = A__questionmark_x_3a))) | ~(![A__questionmark_aa:$int, A__questionmark_da:$int, A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (ArrayIndexInvY(ArrayIndex(A__questionmark_aa, A__questionmark_da, A__questionmark_x_3a, A__questionmark_ya)) = A__questionmark_ya))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int, A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (InRange(IntArrayGet(select2(A__questionmark_heapa, A__questionmark_aa, elements), A__questionmark_ia), ElementType(typeof(A__questionmark_aa))) = true_1)))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int, A__questionmark_heapa:$int]: (?[A__questionmark_v_13_14a:$int]: ((A__questionmark_v_13_14a = RefArrayGet(select2(A__questionmark_heapa, A__questionmark_aa, elements), A__questionmark_ia)) & (~(~(IsHeap(A__questionmark_heapa) = true_1) | ~~(A__questionmark_v_13_14a = nullObject)) => (x(typeof(A__questionmark_v_13_14a), ElementType(typeof(A__questionmark_aa))) = true_1)))))) | ~(![A__questionmark_aa:$int, A__questionmark_Ta:$int, A__questionmark_ia:$int, A__questionmark_ra:$int, A__questionmark_heapa:$int]: (~(~(IsHeap(A__questionmark_heapa) = true_1) | ~(x(typeof(A__questionmark_aa), NonNullRefArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)) => ~(RefArrayGet(select2(A__questionmark_heapa, A__questionmark_aa, elements), A__questionmark_ia) = nullObject)))) | ~(![A__questionmark_aa:$int]: $lesseq(1, Rank(A__questionmark_aa)))) | ~(![A__questionmark_aa:$int, A__questionmark_Ta:$int, A__questionmark_ra:$int]: (~(~~(A__questionmark_aa = nullObject) | ~(x(typeof(A__questionmark_aa), RefArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)) => (Rank(A__questionmark_aa) = A__questionmark_ra)))) | ~(![A__questionmark_aa:$int, A__questionmark_Ta:$int, A__questionmark_ra:$int]: (~(~~(A__questionmark_aa = nullObject) | ~(x(typeof(A__questionmark_aa), NonNullRefArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)) => (Rank(A__questionmark_aa) = A__questionmark_ra)))) | ~(![A__questionmark_aa:$int, A__questionmark_Ta:$int, A__questionmark_ra:$int]: (~(~~(A__questionmark_aa = nullObject) | ~(x(typeof(A__questionmark_aa), ValueArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)) => (Rank(A__questionmark_aa) = A__questionmark_ra)))) | ~(![A__questionmark_aa:$int, A__questionmark_Ta:$int, A__questionmark_ra:$int]: (~(~~(A__questionmark_aa = nullObject) | ~(x(typeof(A__questionmark_aa), IntArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)) => (Rank(A__questionmark_aa) = A__questionmark_ra)))) | ~(![A__questionmark_aa:$int]: (?[A__questionmark_v_14_15a:$int]: ((A__questionmark_v_14_15a = Length(A__questionmark_aa)) & ~(~$lesseq(0, A__questionmark_v_14_15a) | ~$lesseq(A__questionmark_v_14_15a, int_2147483647)))))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int]: $lesseq(0, DimLength(A__questionmark_aa, A__questionmark_ia)))) | ~(![A__questionmark_aa:$int]: ((Rank(A__questionmark_aa) = 1) => (DimLength(A__questionmark_aa, 0) = Length(A__questionmark_aa))))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int]: (LBound(A__questionmark_aa, A__questionmark_ia) = 0))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int]: (UBound(A__questionmark_aa, A__questionmark_ia) = $difference(DimLength(A__questionmark_aa, A__questionmark_ia), 1)))) | ~(![A__questionmark_Ta:$int, A__questionmark_ETa:$int, A__questionmark_ra:$int]: ((x(A__questionmark_Ta, ValueArray(A__questionmark_ETa, A__questionmark_ra)) = true_1) => (ArrayCategory(A__questionmark_Ta) = ArrayCategoryValue)))) | ~(![A__questionmark_Ta:$int, A__questionmark_ETa:$int, A__questionmark_ra:$int]: ((x(A__questionmark_Ta, IntArray(A__questionmark_ETa, A__questionmark_ra)) = true_1) => (ArrayCategory(A__questionmark_Ta) = ArrayCategoryInt)))) | ~(![A__questionmark_Ta:$int, A__questionmark_ETa:$int, A__questionmark_ra:$int]: ((x(A__questionmark_Ta, RefArray(A__questionmark_ETa, A__questionmark_ra)) = true_1) => (ArrayCategory(A__questionmark_Ta) = ArrayCategoryRef)))) | ~(![A__questionmark_Ta:$int, A__questionmark_ETa:$int, A__questionmark_ra:$int]: ((x(A__questionmark_Ta, NonNullRefArray(A__questionmark_ETa, A__questionmark_ra)) = true_1) => (ArrayCategory(A__questionmark_Ta) = ArrayCategoryNonNullRef)))) | ~(x(System_Array, System_Object) = true_1)) | ~(![A__questionmark_Ta:$int, A__questionmark_ra:$int]: (?[A__questionmark_v_15_16a:$int]: ((A__questionmark_v_15_16a = ValueArray(A__questionmark_Ta, A__questionmark_ra)) & ~(~(x(A__questionmark_v_15_16a, A__questionmark_v_15_16a) = true_1) | ~(x(A__questionmark_v_15_16a, System_Array) = true_1)))))) | ~(![A__questionmark_Ta:$int, A__questionmark_ra:$int]: (?[A__questionmark_v_16_17a:$int]: ((A__questionmark_v_16_17a = IntArray(A__questionmark_Ta, A__questionmark_ra)) & ~(~(x(A__questionmark_v_16_17a, A__questionmark_v_16_17a) = true_1) | ~(x(A__questionmark_v_16_17a, System_Array) = true_1)))))) | ~(![A__questionmark_Ta:$int, A__questionmark_ra:$int]: (?[A__questionmark_v_17_18a:$int]: ((A__questionmark_v_17_18a = RefArray(A__questionmark_Ta, A__questionmark_ra)) & ~(~(x(A__questionmark_v_17_18a, A__questionmark_v_17_18a) = true_1) | ~(x(A__questionmark_v_17_18a, System_Array) = true_1)))))) | ~(![A__questionmark_Ta:$int, A__questionmark_ra:$int]: (?[A__questionmark_v_18_19a:$int]: ((A__questionmark_v_18_19a = NonNullRefArray(A__questionmark_Ta, A__questionmark_ra)) & ~(~(x(A__questionmark_v_18_19a, A__questionmark_v_18_19a) = true_1) | ~(x(A__questionmark_v_18_19a, System_Array) = true_1)))))) | ~(![A__questionmark_arraya:$int, A__questionmark_elementTypea:$int, A__questionmark_ranka:$int]: (?[A__questionmark_v_19_20a:$int]: ((A__questionmark_v_19_20a = typeof(A__questionmark_arraya)) & ((NonNullRefArrayRaw(A__questionmark_arraya, A__questionmark_elementTypea, A__questionmark_ranka) = true_1) => ~((~(x(A__questionmark_v_19_20a, System_Array) = true_1) | ~(Rank(A__questionmark_arraya) = A__questionmark_ranka)) | ~(x(A__questionmark_elementTypea, ElementType(A__questionmark_v_19_20a)) = true_1))))))) | ~(![A__questionmark_Ta:$int, A__questionmark_U_1a:$int, A__questionmark_ra:$int]: ((x(A__questionmark_U_1a, A__questionmark_Ta) = true_1) => (x(RefArray(A__questionmark_U_1a, A__questionmark_ra), RefArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)))) | ~(![A__questionmark_Ta:$int, A__questionmark_U_1a:$int, A__questionmark_ra:$int]: ((x(A__questionmark_U_1a, A__questionmark_Ta) = true_1) => (x(NonNullRefArray(A__questionmark_U_1a, A__questionmark_ra), NonNullRefArray(A__questionmark_Ta, A__questionmark_ra)) = true_1)))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int]: (ElementType(ValueArray(A__questionmark_Aa, A__questionmark_ra)) = A__questionmark_Aa))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int]: (ElementType(IntArray(A__questionmark_Aa, A__questionmark_ra)) = A__questionmark_Aa))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int]: (ElementType(RefArray(A__questionmark_Aa, A__questionmark_ra)) = A__questionmark_Aa))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int]: (ElementType(NonNullRefArray(A__questionmark_Aa, A__questionmark_ra)) = A__questionmark_Aa))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_20_21a:$int]: ((A__questionmark_v_20_21a = ElementType(A__questionmark_Ta)) & ((x(A__questionmark_Ta, RefArray(A__questionmark_Aa, A__questionmark_ra)) = true_1) => ~((~~(A__questionmark_Ta = A__questionmark_Aa) | ~(A__questionmark_Ta = RefArray(A__questionmark_v_20_21a, A__questionmark_ra))) | ~(x(A__questionmark_v_20_21a, A__questionmark_Aa) = true_1))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_21_22a:$int]: ((A__questionmark_v_21_22a = ElementType(A__questionmark_Ta)) & ((x(A__questionmark_Ta, NonNullRefArray(A__questionmark_Aa, A__questionmark_ra)) = true_1) => ~((~~(A__questionmark_Ta = A__questionmark_Aa) | ~(A__questionmark_Ta = NonNullRefArray(A__questionmark_v_21_22a, A__questionmark_ra))) | ~(x(A__questionmark_v_21_22a, A__questionmark_Aa) = true_1))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_22_23a:$int]: ((A__questionmark_v_22_23a = ValueArray(A__questionmark_Aa, A__questionmark_ra)) & ((x(A__questionmark_Ta, A__questionmark_v_22_23a) = true_1) => (A__questionmark_Ta = A__questionmark_v_22_23a)))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_23_24a:$int]: ((A__questionmark_v_23_24a = IntArray(A__questionmark_Aa, A__questionmark_ra)) & ((x(A__questionmark_Ta, A__questionmark_v_23_24a) = true_1) => (A__questionmark_Ta = A__questionmark_v_23_24a)))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_24_25a:$int]: ((A__questionmark_v_24_25a = ElementType(A__questionmark_Ta)) & ((x(RefArray(A__questionmark_Aa, A__questionmark_ra), A__questionmark_Ta) = true_1) => ((x(System_Array, A__questionmark_Ta) = true_1) | ~(~(A__questionmark_Ta = RefArray(A__questionmark_v_24_25a, A__questionmark_ra)) | ~(x(A__questionmark_Aa, A__questionmark_v_24_25a) = true_1)))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_25_26a:$int]: ((A__questionmark_v_25_26a = ElementType(A__questionmark_Ta)) & ((x(NonNullRefArray(A__questionmark_Aa, A__questionmark_ra), A__questionmark_Ta) = true_1) => ((x(System_Array, A__questionmark_Ta) = true_1) | ~(~(A__questionmark_Ta = NonNullRefArray(A__questionmark_v_25_26a, A__questionmark_ra)) | ~(x(A__questionmark_Aa, A__questionmark_v_25_26a) = true_1)))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_26_27a:$int]: ((A__questionmark_v_26_27a = ValueArray(A__questionmark_Aa, A__questionmark_ra)) & ((x(A__questionmark_v_26_27a, A__questionmark_Ta) = true_1) => ((x(System_Array, A__questionmark_Ta) = true_1) | (A__questionmark_Ta = A__questionmark_v_26_27a))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_ra:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_27_28a:$int]: ((A__questionmark_v_27_28a = IntArray(A__questionmark_Aa, A__questionmark_ra)) & ((x(A__questionmark_v_27_28a, A__questionmark_Ta) = true_1) => ((x(System_Array, A__questionmark_Ta) = true_1) | (A__questionmark_Ta = A__questionmark_v_27_28a))))))) | ~(![A__questionmark_aa:$int, A__questionmark_ia:$int, A__questionmark_heapa:$int]: (?[A__questionmark_v_29_29a:$int, A__questionmark_v_28_30a:$int]: (((A__questionmark_v_29_29a = ElementProxy(A__questionmark_aa, $difference(0, 1))) & (A__questionmark_v_28_30a = RefArrayGet(select2(A__questionmark_heapa, A__questionmark_aa, elements), A__questionmark_ia))) & (~(~(IsHeap(A__questionmark_heapa) = true_1) | ~(x(typeof(A__questionmark_aa), System_Array) = true_1)) => (((A__questionmark_v_28_30a = nullObject) | (IsImmutable(typeof(A__questionmark_v_28_30a)) = true_1)) | ~(~(select2(A__questionmark_heapa, A__questionmark_v_28_30a, ownerRef) = select2(A__questionmark_heapa, A__questionmark_v_29_29a, ownerRef)) | ~(select2(A__questionmark_heapa, A__questionmark_v_28_30a, ownerFrame) = select2(A__questionmark_heapa, A__questionmark_v_29_29a, ownerFrame))))))))) | ~(![A__questionmark_aa:$int, A__questionmark_heapa:$int]: (~((~(IsHeap(A__questionmark_heapa) = true_1) | ~(IsAllocated(A__questionmark_heapa, A__questionmark_aa) = true_1)) | ~(x(typeof(A__questionmark_aa), System_Array) = true_1)) => (IsAllocated(A__questionmark_heapa, ElementProxy(A__questionmark_aa, $difference(0, 1))) = true_1)))) | ~(![A__questionmark_oa:$int, A__questionmark_posa:$int]: (typeof(ElementProxy(A__questionmark_oa, A__questionmark_posa)) = System_Object))) | ~(![A__questionmark_oa:$int, A__questionmark_posa:$int]: (typeof(ElementProxyStruct(A__questionmark_oa, A__questionmark_posa)) = System_Object))) | ~(![A__questionmark_sa:$int, A__questionmark_fa:$int, A__questionmark_x_3a:$int]: (StructGet(StructSet(A__questionmark_sa, A__questionmark_fa, A__questionmark_x_3a), A__questionmark_fa) = A__questionmark_x_3a))) | ~(![A__questionmark_sa:$int, A__questionmark_fa:$int, A__questionmark_f_prime_a:$int, A__questionmark_x_3a:$int]: (~(A__questionmark_fa = A__questionmark_f_prime_a) => (StructGet(StructSet(A__questionmark_sa, A__questionmark_fa, A__questionmark_x_3a), A__questionmark_f_prime_a) = StructGet(A__questionmark_sa, A__questionmark_f_prime_a))))) | ~(![A__questionmark_Ta:$int]: (?[A__questionmark_v_30_31a:$int]: ((A__questionmark_v_30_31a = BaseClass(A__questionmark_Ta)) & ~(~(x(A__questionmark_Ta, A__questionmark_v_30_31a) = true_1) | ~(~(A__questionmark_Ta = System_Object) => ~(A__questionmark_Ta = A__questionmark_v_30_31a))))))) | ~(![A__questionmark_Aa:$int, A__questionmark_Ba:$int, A__questionmark_Ca:$int]: ((x(A__questionmark_Ca, AsDirectSubClass(A__questionmark_Ba, A__questionmark_Aa)) = true_1) => (OneClassDown(A__questionmark_Ca, A__questionmark_Aa) = A__questionmark_Ba)))) | ~(![A__questionmark_Ta:$int]: ((IsValueType(A__questionmark_Ta) = true_1) => ~(~(![A__questionmark_U_1a:$int]: ((x(A__questionmark_Ta, A__questionmark_U_1a) = true_1) => (A__questionmark_Ta = A__questionmark_U_1a))) | ~(![A__questionmark_U_1a:$int]: ((x(A__questionmark_U_1a, A__questionmark_Ta) = true_1) => (A__questionmark_Ta = A__questionmark_U_1a))))))) | ~(IsValueType(System_Boolean) = true_1)) | ~(x(System_Type, System_Object) = true_1)) | ~(![A__questionmark_Ta:$int]: (IsNotNull(TypeObject(A__questionmark_Ta), System_Type) = true_1))) | ~(![A__questionmark_Ta:$int]: (TypeName(TypeObject(A__questionmark_Ta)) = A__questionmark_Ta))) | ~(![A__questionmark_oa:$int, A__questionmark_Ta:$int]: ((Is(A__questionmark_oa, A__questionmark_Ta) = true_1) <=> ((A__questionmark_oa = nullObject) | (x(typeof(A__questionmark_oa), A__questionmark_Ta) = true_1))))) | ~(![A__questionmark_oa:$int, A__questionmark_Ta:$int]: ((IsNotNull(A__questionmark_oa, A__questionmark_Ta) = true_1) <=> ~(~~(A__questionmark_oa = nullObject) | ~(Is(A__questionmark_oa, A__questionmark_Ta) = true_1))))) | ~(![A__questionmark_oa:$int, A__questionmark_Ta:$int]: ((Is(A__questionmark_oa, A__questionmark_Ta) = true_1) => (As(A__questionmark_oa, A__questionmark_Ta) = A__questionmark_oa)))) | ~(![A__questionmark_oa:$int, A__questionmark_Ta:$int]: (~(Is(A__questionmark_oa, A__questionmark_Ta) = true_1) => (As(A__questionmark_oa, A__questionmark_Ta) = nullObject)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int]: (?[A__questionmark_v_31_32a:$int]: ((A__questionmark_v_31_32a = typeof(A__questionmark_oa)) & (~((~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_oa = nullObject)) | ~(x(A__questionmark_v_31_32a, System_Array) = true_1)) => ~(~(select2(A__questionmark_h_1a, A__questionmark_oa, inv) = A__questionmark_v_31_32a) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, localinv) = A__questionmark_v_31_32a))))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int]: (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, allocated) = true_1)) => (IsAllocated(A__questionmark_h_1a, select2(A__questionmark_h_1a, A__questionmark_oa, A__questionmark_fa)) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int]: (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, allocated) = true_1)) => (select2(A__questionmark_h_1a, select2(A__questionmark_h_1a, A__questionmark_oa, A__questionmark_fa), allocated) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_sa:$int, A__questionmark_fa:$int]: ((IsAllocated(A__questionmark_h_1a, A__questionmark_sa) = true_1) => (IsAllocated(A__questionmark_h_1a, StructGet(A__questionmark_sa, A__questionmark_fa)) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_ea:$int, A__questionmark_ia:$int]: ((IsAllocated(A__questionmark_h_1a, A__questionmark_ea) = true_1) => (IsAllocated(A__questionmark_h_1a, RefArrayGet(A__questionmark_ea, A__questionmark_ia)) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_ea:$int, A__questionmark_ia:$int]: ((IsAllocated(A__questionmark_h_1a, A__questionmark_ea) = true_1) => (IsAllocated(A__questionmark_h_1a, ValueArrayGet(A__questionmark_ea, A__questionmark_ia)) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int]: ((IsAllocated(A__questionmark_h_1a, A__questionmark_oa) = true_1) => (select2(A__questionmark_h_1a, A__questionmark_oa, allocated) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_ca:$int]: ((IsHeap(A__questionmark_h_1a) = true_1) => (select2(A__questionmark_h_1a, ClassRepr(A__questionmark_ca), allocated) = true_1)))) | ~(DeclType(NonNullFieldsAreInitialized) = System_Object)) | ~(![A__questionmark_fa:$int, A__questionmark_Ta:$int]: ((AsNonNullRefField(A__questionmark_fa, A__questionmark_Ta) = A__questionmark_fa) => (AsRefField(A__questionmark_fa, A__questionmark_Ta) = A__questionmark_fa)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_Ta:$int]: ((IsHeap(A__questionmark_h_1a) = true_1) => (Is(select2(A__questionmark_h_1a, A__questionmark_oa, AsRefField(A__questionmark_fa, A__questionmark_Ta)), A__questionmark_Ta) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_Ta:$int]: (~((~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_oa = nullObject)) | ~(~(A__questionmark_oa = BeingConstructed) | ((select2(A__questionmark_h_1a, BeingConstructed, NonNullFieldsAreInitialized) = true_1) <=> $true))) => ~(select2(A__questionmark_h_1a, A__questionmark_oa, AsNonNullRefField(A__questionmark_fa, A__questionmark_Ta)) = nullObject)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_Ta:$int]: ((IsHeap(A__questionmark_h_1a) = true_1) => (InRange(select2(A__questionmark_h_1a, A__questionmark_oa, AsRangeField(A__questionmark_fa, A__questionmark_Ta)), A__questionmark_Ta) = true_1)))) | ~(![A__questionmark_oa:$int]: ~(IsMemberlessType(typeof(A__questionmark_oa)) = true_1))) | ~(![A__questionmark_Ja:$int, A__questionmark_sa:$int, A__questionmark_ba:$int]: (?[A__questionmark_v_33_33a:$int, A__questionmark_v_32_34a:$int]: (((A__questionmark_v_33_33a = AsInterface(A__questionmark_Ja)) & (A__questionmark_v_32_34a = Box(A__questionmark_sa, A__questionmark_ba))) & (~((~(A__questionmark_v_33_33a = A__questionmark_Ja) | ~(A__questionmark_v_32_34a = A__questionmark_ba)) | ~(x(UnboxedType(A__questionmark_v_32_34a), A__questionmark_v_33_33a) = true_1)) => (x(typeof(A__questionmark_ba), A__questionmark_Ja) = true_1)))))) | ~~(IsImmutable(System_Object) = true_1)) | ~(![A__questionmark_Ta:$int, A__questionmark_U_1a:$int]: ((x(A__questionmark_U_1a, AsImmutable(A__questionmark_Ta)) = true_1) => ~(~(IsImmutable(A__questionmark_U_1a) = true_1) | ~(AsImmutable(A__questionmark_U_1a) = A__questionmark_U_1a))))) | ~(![A__questionmark_Ta:$int, A__questionmark_U_1a:$int]: ((x(A__questionmark_U_1a, AsMutable(A__questionmark_Ta)) = true_1) => ~(~~(IsImmutable(A__questionmark_U_1a) = true_1) | ~(AsMutable(A__questionmark_U_1a) = A__questionmark_U_1a))))) | ~(![A__questionmark_oa:$int, A__questionmark_Ta:$int]: (~((~~(A__questionmark_oa = nullObject) | ~~(A__questionmark_oa = BeingConstructed)) | ~(x(typeof(A__questionmark_oa), AsImmutable(A__questionmark_Ta)) = true_1)) => (![A__questionmark_h_1a:$int]: (?[A__questionmark_v_34_35a:$int]: ((A__questionmark_v_34_35a = typeof(A__questionmark_oa)) & ((IsHeap(A__questionmark_h_1a) = true_1) => ~((((~(select2(A__questionmark_h_1a, A__questionmark_oa, inv) = A__questionmark_v_34_35a) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, localinv) = A__questionmark_v_34_35a)) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame) = PeerGroupPlaceholder)) | ~(AsOwner(A__questionmark_oa, select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef)) = A__questionmark_oa)) | ~(![A__questionmark_ta:$int]: ((AsOwner(A__questionmark_oa, select2(A__questionmark_h_1a, A__questionmark_ta, ownerRef)) = A__questionmark_oa) => ((A__questionmark_ta = A__questionmark_oa) | ~(select2(A__questionmark_h_1a, A__questionmark_ta, ownerFrame) = PeerGroupPlaceholder)))))))))))) | ~(![A__questionmark_sa:$int]: $lesseq(0, StringLength(A__questionmark_sa)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_Ta:$int]: (?[A__questionmark_v_35_36a:$int]: ((A__questionmark_v_35_36a = select2(A__questionmark_h_1a, A__questionmark_oa, AsRepField(A__questionmark_fa, A__questionmark_Ta))) & (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_v_35_36a = nullObject)) => ~(~(select2(A__questionmark_h_1a, A__questionmark_v_35_36a, ownerRef) = A__questionmark_oa) | ~(select2(A__questionmark_h_1a, A__questionmark_v_35_36a, ownerFrame) = A__questionmark_Ta))))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int]: (?[A__questionmark_v_36_37a:$int]: ((A__questionmark_v_36_37a = select2(A__questionmark_h_1a, A__questionmark_oa, AsPeerField(A__questionmark_fa))) & (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_v_36_37a = nullObject)) => ~(~(select2(A__questionmark_h_1a, A__questionmark_v_36_37a, ownerRef) = select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef)) | ~(select2(A__questionmark_h_1a, A__questionmark_v_36_37a, ownerFrame) = select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame)))))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_Ta:$int, A__questionmark_ia:$int]: (?[A__questionmark_v_37_38a:$int]: ((A__questionmark_v_37_38a = select2(A__questionmark_h_1a, A__questionmark_oa, AsElementsRepField(A__questionmark_fa, A__questionmark_Ta, A__questionmark_ia))) & (?[A__questionmark_v_38_39a:$int]: ((A__questionmark_v_38_39a = ElementProxy(A__questionmark_v_37_38a, A__questionmark_ia)) & (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_v_37_38a = nullObject)) => ~(~(select2(A__questionmark_h_1a, A__questionmark_v_38_39a, ownerRef) = A__questionmark_oa) | ~(select2(A__questionmark_h_1a, A__questionmark_v_38_39a, ownerFrame) = A__questionmark_Ta))))))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_ia:$int]: (?[A__questionmark_v_39_40a:$int]: ((A__questionmark_v_39_40a = select2(A__questionmark_h_1a, A__questionmark_oa, AsElementsPeerField(A__questionmark_fa, A__questionmark_ia))) & (?[A__questionmark_v_40_41a:$int]: ((A__questionmark_v_40_41a = ElementProxy(A__questionmark_v_39_40a, A__questionmark_ia)) & (~(~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_v_39_40a = nullObject)) => ~(~(select2(A__questionmark_h_1a, A__questionmark_v_40_41a, ownerRef) = select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef)) | ~(select2(A__questionmark_h_1a, A__questionmark_v_40_41a, ownerFrame) = select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame)))))))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_oa:$int]: (?[A__questionmark_v_43_42a:$int, A__questionmark_v_41_43a:$int, A__questionmark_v_42_44a:$int]: ((((A__questionmark_v_43_42a = typeof(A__questionmark_oa)) & (A__questionmark_v_41_43a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame))) & (A__questionmark_v_42_44a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef))) & (~(((~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_v_41_43a = PeerGroupPlaceholder)) | ~(x(select2(A__questionmark_h_1a, A__questionmark_v_42_44a, inv), A__questionmark_v_41_43a) = true_1)) | ~~(select2(A__questionmark_h_1a, A__questionmark_v_42_44a, localinv) = BaseClass(A__questionmark_v_41_43a))) => ~(~(select2(A__questionmark_h_1a, A__questionmark_oa, inv) = A__questionmark_v_43_42a) | ~(select2(A__questionmark_h_1a, A__questionmark_oa, localinv) = A__questionmark_v_43_42a))))))) | ~(![A__questionmark_oa:$int, A__questionmark_fa:$int, A__questionmark_h_1a:$int]: (?[A__questionmark_v_44_45a:$int, A__questionmark_v_45_46a:$int]: (((A__questionmark_v_44_45a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame)) & (A__questionmark_v_45_46a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef))) & (~((((((~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_oa = nullObject)) | ~((select2(A__questionmark_h_1a, A__questionmark_oa, allocated) = true_1) <=> $true)) | ~(AsPureObject(A__questionmark_oa) = A__questionmark_oa)) | ~~(A__questionmark_v_44_45a = PeerGroupPlaceholder)) | ~(x(select2(A__questionmark_h_1a, A__questionmark_v_45_46a, inv), A__questionmark_v_44_45a) = true_1)) | ~~(select2(A__questionmark_h_1a, A__questionmark_v_45_46a, localinv) = BaseClass(A__questionmark_v_44_45a))) => (select2(A__questionmark_h_1a, A__questionmark_oa, A__questionmark_fa) = FieldDependsOnFCO(A__questionmark_oa, A__questionmark_fa, select2(A__questionmark_h_1a, select2(A__questionmark_h_1a, A__questionmark_oa, FirstConsistentOwner), exposeVersion)))))))) | ~(![A__questionmark_oa:$int, A__questionmark_h_1a:$int]: (?[A__questionmark_v_48_47a:$int]: ((A__questionmark_v_48_47a = select2(A__questionmark_h_1a, A__questionmark_oa, FirstConsistentOwner)) & (?[A__questionmark_v_49_48a:$int, A__questionmark_v_50_49a:$int, A__questionmark_v_46_50a:$int, A__questionmark_v_47_51a:$int]: (((((A__questionmark_v_49_48a = select2(A__questionmark_h_1a, A__questionmark_v_48_47a, ownerFrame)) & (A__questionmark_v_50_49a = select2(A__questionmark_h_1a, A__questionmark_v_48_47a, ownerRef))) & (A__questionmark_v_46_50a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerFrame))) & (A__questionmark_v_47_51a = select2(A__questionmark_h_1a, A__questionmark_oa, ownerRef))) & (~(((((~(IsHeap(A__questionmark_h_1a) = true_1) | ~~(A__questionmark_oa = nullObject)) | ~((select2(A__questionmark_h_1a, A__questionmark_oa, allocated) = true_1) <=> $true)) | ~~(A__questionmark_v_46_50a = PeerGroupPlaceholder)) | ~(x(select2(A__questionmark_h_1a, A__questionmark_v_47_51a, inv), A__questionmark_v_46_50a) = true_1)) | ~~(select2(A__questionmark_h_1a, A__questionmark_v_47_51a, localinv) = BaseClass(A__questionmark_v_46_50a))) => ~((~~(A__questionmark_v_48_47a = nullObject) | ~((select2(A__questionmark_h_1a, A__questionmark_v_48_47a, allocated) = true_1) <=> $true)) | ~(((A__questionmark_v_49_48a = PeerGroupPlaceholder) | ~(x(select2(A__questionmark_h_1a, A__questionmark_v_50_49a, inv), A__questionmark_v_49_48a) = true_1)) | (select2(A__questionmark_h_1a, A__questionmark_v_50_49a, localinv) = BaseClass(A__questionmark_v_49_48a))))))))))) | ~(![A__questionmark_valuea:$int, A__questionmark_typa:$int, A__questionmark_occurrencea:$int, A__questionmark_activitya:$int]: (?[A__questionmark_v_51_52a:$int]: ((A__questionmark_v_51_52a = BoxFunc(A__questionmark_valuea, A__questionmark_typa, A__questionmark_occurrencea, A__questionmark_activitya)) & ~(~(Box(A__questionmark_valuea, A__questionmark_v_51_52a) = A__questionmark_v_51_52a) | ~(UnboxedType(A__questionmark_v_51_52a) = A__questionmark_typa)))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_typa:$int, A__questionmark_occurrencea:$int, A__questionmark_activitya:$int]: (~(IsValueType(UnboxedType(A__questionmark_x_3a)) = true_1) => (BoxFunc(A__questionmark_x_3a, A__questionmark_typa, A__questionmark_occurrencea, A__questionmark_activitya) = A__questionmark_x_3a)))) | ~(![A__questionmark_x_3a:$int, A__questionmark_pa:$int]: (Unbox(Box(A__questionmark_x_3a, A__questionmark_pa)) = A__questionmark_x_3a))) | ~(![A__questionmark_pa:$int]: ((IsValueType(UnboxedType(A__questionmark_pa)) = true_1) => (![A__questionmark_heapa:$int, A__questionmark_x_3a:$int]: (?[A__questionmark_v_52_53a:$int]: ((A__questionmark_v_52_53a = Box(A__questionmark_x_3a, A__questionmark_pa)) & (?[A__questionmark_v_53_54a:$int]: ((A__questionmark_v_53_54a = typeof(A__questionmark_v_52_53a)) & ((IsHeap(A__questionmark_heapa) = true_1) => ~(~(select2(A__questionmark_heapa, A__questionmark_v_52_53a, inv) = A__questionmark_v_53_54a) | ~(select2(A__questionmark_heapa, A__questionmark_v_52_53a, localinv) = A__questionmark_v_53_54a))))))))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_pa:$int]: (?[A__questionmark_v_54_55a:$int]: ((A__questionmark_v_54_55a = Box(A__questionmark_x_3a, A__questionmark_pa)) & (~(~(x(UnboxedType(A__questionmark_v_54_55a), System_Object) = true_1) | ~(A__questionmark_v_54_55a = A__questionmark_pa)) => (A__questionmark_x_3a = A__questionmark_pa)))))) | ~(![A__questionmark_pa:$int, A__questionmark_typa:$int]: ((UnboxedType(A__questionmark_pa) = A__questionmark_typa) <=> ~(BoxTester(A__questionmark_pa, A__questionmark_typa) = nullObject)))) | ~(![A__questionmark_pa:$int, A__questionmark_typa:$int]: (~(BoxTester(A__questionmark_pa, A__questionmark_typa) = nullObject) => (Box(Unbox(A__questionmark_pa), A__questionmark_pa) = A__questionmark_pa)))) | ~(IsValueType(System_SByte) = true_1)) | ~(IsValueType(System_Byte) = true_1)) | ~(IsValueType(System_Int16) = true_1)) | ~(IsValueType(System_UInt16) = true_1)) | ~(IsValueType(System_Int32) = true_1)) | ~(IsValueType(System_UInt32) = true_1)) | ~(IsValueType(System_Int64) = true_1)) | ~(IsValueType(System_UInt64) = true_1)) | ~(IsValueType(System_Char) = true_1)) | ~(IsValueType(System_UIntPtr) = true_1)) | ~(IsValueType(System_IntPtr) = true_1)) | ~$less(int_m9223372036854775808, int_m2147483648)) | ~$less(int_m2147483648, $difference(0, 100000))) | ~$less(100000, int_2147483647)) | ~$less(int_2147483647, int_4294967295)) | ~$less(int_4294967295, int_9223372036854775807)) | ~$less(int_9223372036854775807, int_18446744073709551615)) | ~($sum(int_m9223372036854775808, 1) = $difference(0, int_9223372036854775807))) | ~($sum(int_m2147483648, 1) = $difference(0, int_2147483647))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_SByte) = true_1) <=> ~(~$lesseq($difference(0, 128), A__questionmark_ia) | ~$less(A__questionmark_ia, 128))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_Byte) = true_1) <=> ~(~$lesseq(0, A__questionmark_ia) | ~$less(A__questionmark_ia, 256))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_Int16) = true_1) <=> ~(~$lesseq($difference(0, 32768), A__questionmark_ia) | ~$less(A__questionmark_ia, 32768))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_UInt16) = true_1) <=> ~(~$lesseq(0, A__questionmark_ia) | ~$less(A__questionmark_ia, 65536))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_Int32) = true_1) <=> ~(~$lesseq(int_m2147483648, A__questionmark_ia) | ~$lesseq(A__questionmark_ia, int_2147483647))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_UInt32) = true_1) <=> ~(~$lesseq(0, A__questionmark_ia) | ~$lesseq(A__questionmark_ia, int_4294967295))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_Int64) = true_1) <=> ~(~$lesseq(int_m9223372036854775808, A__questionmark_ia) | ~$lesseq(A__questionmark_ia, int_9223372036854775807))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_UInt64) = true_1) <=> ~(~$lesseq(0, A__questionmark_ia) | ~$lesseq(A__questionmark_ia, int_18446744073709551615))))) | ~(![A__questionmark_ia:$int]: ((InRange(A__questionmark_ia, System_Char) = true_1) <=> ~(~$lesseq(0, A__questionmark_ia) | ~$less(A__questionmark_ia, 65536))))) | ~(![A__questionmark_za:$int, A__questionmark_Ba:$int, A__questionmark_Ca:$int]: ((InRange(A__questionmark_za, A__questionmark_Ca) = true_1) => (IntToInt(A__questionmark_za, A__questionmark_Ba, A__questionmark_Ca) = A__questionmark_za)))) | ~(![A__questionmark_ba:$int, A__questionmark_x_3a:$int, A__questionmark_ya:$int]: ((A__questionmark_ba = true_1) => (IfThenElse(A__questionmark_ba, A__questionmark_x_3a, A__questionmark_ya) = A__questionmark_x_3a)))) | ~(![A__questionmark_ba:$int, A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (~(A__questionmark_ba = true_1) => (IfThenElse(A__questionmark_ba, A__questionmark_x_3a, A__questionmark_ya) = A__questionmark_ya)))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (x_2(A__questionmark_x_3a, A__questionmark_ya) = $difference(A__questionmark_x_3a, $product(x_1(A__questionmark_x_3a, A__questionmark_ya), A__questionmark_ya))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_55_56a:$int]: ((A__questionmark_v_55_56a = x_2(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(0, A__questionmark_x_3a) | ~$less(0, A__questionmark_ya)) => ~(~$lesseq(0, A__questionmark_v_55_56a) | ~$less(A__questionmark_v_55_56a, A__questionmark_ya))))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_56_57a:$int]: ((A__questionmark_v_56_57a = x_2(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(0, A__questionmark_x_3a) | ~$less(A__questionmark_ya, 0)) => ~(~$lesseq(0, A__questionmark_v_56_57a) | ~$less(A__questionmark_v_56_57a, $difference(0, A__questionmark_ya)))))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_57_58a:$int]: ((A__questionmark_v_57_58a = x_2(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(A__questionmark_x_3a, 0) | ~$less(0, A__questionmark_ya)) => ~(~$less($difference(0, A__questionmark_ya), A__questionmark_v_57_58a) | ~$lesseq(A__questionmark_v_57_58a, 0))))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_58_59a:$int]: ((A__questionmark_v_58_59a = x_2(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(A__questionmark_x_3a, 0) | ~$less(A__questionmark_ya, 0)) => ~(~$less(A__questionmark_ya, A__questionmark_v_58_59a) | ~$lesseq(A__questionmark_v_58_59a, 0))))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (~(~$lesseq(0, A__questionmark_x_3a) | ~$lesseq(0, A__questionmark_ya)) => (x_2($sum(A__questionmark_x_3a, A__questionmark_ya), A__questionmark_ya) = x_2(A__questionmark_x_3a, A__questionmark_ya))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (~(~$lesseq(0, A__questionmark_x_3a) | ~$lesseq(0, A__questionmark_ya)) => (x_2($sum(A__questionmark_ya, A__questionmark_x_3a), A__questionmark_ya) = x_2(A__questionmark_x_3a, A__questionmark_ya))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_59_60a:$int]: ((A__questionmark_v_59_60a = $difference(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(0, A__questionmark_v_59_60a) | ~$lesseq(0, A__questionmark_ya)) => (x_2(A__questionmark_v_59_60a, A__questionmark_ya) = x_2(A__questionmark_x_3a, A__questionmark_ya))))))) | ~(![A__questionmark_aa:$int, A__questionmark_ba:$int, A__questionmark_da:$int]: (~((~$lesseq(2, A__questionmark_da) | ~(x_2(A__questionmark_aa, A__questionmark_da) = x_2(A__questionmark_ba, A__questionmark_da))) | ~$less(A__questionmark_aa, A__questionmark_ba)) => $lesseq($sum(A__questionmark_aa, A__questionmark_da), A__questionmark_ba)))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (($lesseq(0, A__questionmark_x_3a) | $lesseq(0, A__questionmark_ya)) => $lesseq(0, and_1(A__questionmark_x_3a, A__questionmark_ya))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_60_61a:$int]: ((A__questionmark_v_60_61a = or_1(A__questionmark_x_3a, A__questionmark_ya)) & (~(~$lesseq(0, A__questionmark_x_3a) | ~$lesseq(0, A__questionmark_ya)) => ~(~$lesseq(0, A__questionmark_v_60_61a) | ~$lesseq(A__questionmark_v_60_61a, $sum(A__questionmark_x_3a, A__questionmark_ya)))))))) | ~(![A__questionmark_ia:$int]: (shl(A__questionmark_ia, 0) = A__questionmark_ia))) | ~(![A__questionmark_ia:$int, A__questionmark_ja:$int]: ($lesseq(1, A__questionmark_ja) => (shl(A__questionmark_ia, A__questionmark_ja) = $product(shl(A__questionmark_ia, $difference(A__questionmark_ja, 1)), 2))))) | ~(![A__questionmark_ia:$int, A__questionmark_ja:$int]: (?[A__questionmark_v_61_62a:$int]: ((A__questionmark_v_61_62a = shl(A__questionmark_ia, A__questionmark_ja)) & (~(((~$lesseq(0, A__questionmark_ia) | ~$less(A__questionmark_ia, 32768)) | ~$lesseq(0, A__questionmark_ja)) | ~$lesseq(A__questionmark_ja, 16)) => ~(~$lesseq(0, A__questionmark_v_61_62a) | ~$lesseq(A__questionmark_v_61_62a, int_2147483647))))))) | ~(![A__questionmark_ia:$int]: (shr(A__questionmark_ia, 0) = A__questionmark_ia))) | ~(![A__questionmark_ia:$int, A__questionmark_ja:$int]: ($lesseq(1, A__questionmark_ja) => (shr(A__questionmark_ia, A__questionmark_ja) = x_1(shr(A__questionmark_ia, $difference(A__questionmark_ja, 1)), 2))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_62_63a:$int]: ((A__questionmark_v_62_63a = min(A__questionmark_x_3a, A__questionmark_ya)) & ~((~((A__questionmark_v_62_63a = A__questionmark_x_3a) | (A__questionmark_v_62_63a = A__questionmark_ya)) | ~$lesseq(A__questionmark_v_62_63a, A__questionmark_x_3a)) | ~$lesseq(A__questionmark_v_62_63a, A__questionmark_ya)))))) | ~(![A__questionmark_x_3a:$int, A__questionmark_ya:$int]: (?[A__questionmark_v_63_64a:$int]: ((A__questionmark_v_63_64a = max(A__questionmark_x_3a, A__questionmark_ya)) & ~((~((A__questionmark_v_63_64a = A__questionmark_x_3a) | (A__questionmark_v_63_64a = A__questionmark_ya)) | ~$lesseq(A__questionmark_x_3a, A__questionmark_v_63_64a)) | ~$lesseq(A__questionmark_ya, A__questionmark_v_63_64a)))))) | ~(![A__questionmark_h_1a:$int, A__questionmark_aa:$int, A__questionmark_ba:$int]: ((System_String_Equals_System_String(A__questionmark_h_1a, A__questionmark_aa, A__questionmark_ba) = true_1) <=> (System_String_Equals_System_String_System_String(A__questionmark_h_1a, A__questionmark_aa, A__questionmark_ba) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_aa:$int, A__questionmark_ba:$int]: ~((~((System_String_Equals_System_String_System_String(A__questionmark_h_1a, A__questionmark_aa, A__questionmark_ba) = true_1) <=> (StringEquals(A__questionmark_aa, A__questionmark_ba) = true_1)) | ~((System_String_Equals_System_String_System_String(A__questionmark_h_1a, A__questionmark_aa, A__questionmark_ba) = true_1) <=> (StringEquals(A__questionmark_ba, A__questionmark_aa) = true_1))) | ~((A__questionmark_aa = A__questionmark_ba) => (StringEquals(A__questionmark_aa, A__questionmark_ba) = true_1))))) | ~(![A__questionmark_aa:$int, A__questionmark_ba:$int, A__questionmark_ca:$int]: (~(~(StringEquals(A__questionmark_aa, A__questionmark_ba) = true_1) | ~(StringEquals(A__questionmark_ba, A__questionmark_ca) = true_1)) => (StringEquals(A__questionmark_aa, A__questionmark_ca) = true_1)))) | ~(![A__questionmark_h_1a:$int, A__questionmark_aa:$int, A__questionmark_ba:$int]: (~((~~(A__questionmark_aa = nullObject) | ~~(A__questionmark_ba = nullObject)) | ~(System_String_Equals_System_String_System_String(A__questionmark_h_1a, A__questionmark_aa, A__questionmark_ba) = true_1)) => (System_String_IsInterned_System_String_notnull(A__questionmark_h_1a, A__questionmark_aa) = System_String_IsInterned_System_String_notnull(A__questionmark_h_1a, A__questionmark_ba))))) | ~~(IsStaticField(IntStack_top) = true_1)) | ~(IncludeInMainFrameCondition(IntStack_top) = true_1)) | ~(IncludedInModifiesStar(IntStack_top) = true_1)) | ~(DeclType(IntStack_top) = IntStack)) | ~(AsRangeField(IntStack_top, System_Int32) = IntStack_top)) | ~~(IsStaticField(IntStack_elements) = true_1)) | ~(IncludeInMainFrameCondition(IntStack_elements) = true_1)) | ~(IncludedInModifiesStar(IntStack_elements) = true_1)) | ~(AsRepField(IntStack_elements, IntStack) = IntStack_elements)) | ~(DeclType(IntStack_elements) = IntStack)) | ~(AsNonNullRefField(IntStack_elements, IntArray(System_Int32, 1)) = IntStack_elements)) | ~(x(IntStack, IntStack) = true_1)) | ~(A__questionmark_v_0_12a = System_Object)) | ~(AsDirectSubClass(IntStack, A__questionmark_v_0_12a) = IntStack)) | ~~(IsImmutable(IntStack) = true_1)) | ~(AsMutable(IntStack) = IntStack)) | ~(![A__questionmark_Ua:$int]: ((x(A__questionmark_Ua, IntStack) = true_1) => (A__questionmark_Ua = IntStack)))) | ~(x(System_Array, System_Array) = true_1)) | ~(A__questionmark_v_1_13a = System_Object)) | ~(AsDirectSubClass(System_Array, A__questionmark_v_1_13a) = System_Array)) | ~~(IsImmutable(System_Array) = true_1)) | ~(AsMutable(System_Array) = System_Array)) | ~(x(System_ICloneable, System_ICloneable) = true_1)) | ~(x(System_ICloneable, System_Object) = true_1)) | ~(IsMemberlessType(System_ICloneable) = true_1)) | ~(AsInterface(System_ICloneable) = System_ICloneable)) | ~(x(System_Array, System_ICloneable) = true_1)) | ~(x(System_Collections_IList, System_Collections_IList) = true_1)) | ~(x(System_Collections_IList, System_Object) = true_1)) | ~(x(System_Collections_ICollection, System_Collections_ICollection) = true_1)) | ~(x(System_Collections_ICollection, System_Object) = true_1)) | ~(x(System_Collections_IEnumerable, System_Collections_IEnumerable) = true_1)) | ~(x(System_Collections_IEnumerable, System_Object) = true_1)) | ~(IsMemberlessType(System_Collections_IEnumerable) = true_1)) | ~(AsInterface(System_Collections_IEnumerable) = System_Collections_IEnumerable)) | ~(x(System_Collections_ICollection, System_Collections_IEnumerable) = true_1)) | ~(IsMemberlessType(System_Collections_ICollection) = true_1)) | ~(AsInterface(System_Collections_ICollection) = System_Collections_ICollection)) | ~(x(System_Collections_IList, System_Collections_ICollection) = true_1)) | ~(x(System_Collections_IList, System_Collections_IEnumerable) = true_1)) | ~(IsMemberlessType(System_Collections_IList) = true_1)) | ~(AsInterface(System_Collections_IList) = System_Collections_IList)) | ~(x(System_Array, System_Collections_IList) = true_1)) | ~(x(System_Array, System_Collections_ICollection) = true_1)) | ~(x(System_Array, System_Collections_IEnumerable) = true_1)) | ~(IsMemberlessType(System_Array) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_Array) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_1_13a)) => $true))) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (?[A__questionmark_v_66_67a:$int]: ((A__questionmark_v_66_67a = select2(A__questionmark_ha, A__questionmark_oia, IntStack_top)) & (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), IntStack) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_0_12a)) => ~(~$lesseq(0, A__questionmark_v_66_67a) | ~$lesseq(A__questionmark_v_66_67a, Length(select2(A__questionmark_ha, A__questionmark_oia, IntStack_elements))))))))) | ~(x(Microsoft_Contracts_ObjectInvariantException, Microsoft_Contracts_ObjectInvariantException) = true_1)) | ~(x(Microsoft_Contracts_GuardException, Microsoft_Contracts_GuardException) = true_1)) | ~(x(System_Exception, System_Exception) = true_1)) | ~(A__questionmark_v_2_11a = System_Object)) | ~(AsDirectSubClass(System_Exception, A__questionmark_v_2_11a) = System_Exception)) | ~~(IsImmutable(System_Exception) = true_1)) | ~(AsMutable(System_Exception) = System_Exception)) | ~(x(System_Runtime_Serialization_ISerializable, System_Runtime_Serialization_ISerializable) = true_1)) | ~(x(System_Runtime_Serialization_ISerializable, System_Object) = true_1)) | ~(IsMemberlessType(System_Runtime_Serialization_ISerializable) = true_1)) | ~(AsInterface(System_Runtime_Serialization_ISerializable) = System_Runtime_Serialization_ISerializable)) | ~(x(System_Exception, System_Runtime_Serialization_ISerializable) = true_1)) | ~(x(System_Runtime_InteropServices__Exception, System_Runtime_InteropServices__Exception) = true_1)) | ~(x(System_Runtime_InteropServices__Exception, System_Object) = true_1)) | ~(IsMemberlessType(System_Runtime_InteropServices__Exception) = true_1)) | ~(AsInterface(System_Runtime_InteropServices__Exception) = System_Runtime_InteropServices__Exception)) | ~(x(System_Exception, System_Runtime_InteropServices__Exception) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_Exception) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_2_11a)) => $true))) | ~(A__questionmark_v_3_10a = System_Exception)) | ~(AsDirectSubClass(Microsoft_Contracts_GuardException, A__questionmark_v_3_10a) = Microsoft_Contracts_GuardException)) | ~~(IsImmutable(Microsoft_Contracts_GuardException) = true_1)) | ~(AsMutable(Microsoft_Contracts_GuardException) = Microsoft_Contracts_GuardException)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), Microsoft_Contracts_GuardException) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_3_10a)) => $true))) | ~(A__questionmark_v_4_9a = Microsoft_Contracts_GuardException)) | ~(AsDirectSubClass(Microsoft_Contracts_ObjectInvariantException, A__questionmark_v_4_9a) = Microsoft_Contracts_ObjectInvariantException)) | ~~(IsImmutable(Microsoft_Contracts_ObjectInvariantException) = true_1)) | ~(AsMutable(Microsoft_Contracts_ObjectInvariantException) = Microsoft_Contracts_ObjectInvariantException)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), Microsoft_Contracts_ObjectInvariantException) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_4_9a)) => $true))) | ~((PurityAxiomsCanBeAssumed = true_1) => (![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (?[A__questionmark_v_68_68a:$int, A__questionmark_v_70_69a:$int, A__questionmark_v_67_70a:$int]: ((((A__questionmark_v_68_68a = select2(A__questionmark_Heapa, A__questionmark_thisa, ownerRef)) & (A__questionmark_v_70_69a = select2(A__questionmark_Heapa, A__questionmark_thisa, FirstConsistentOwner))) & (A__questionmark_v_67_70a = select2(A__questionmark_Heapa, A__questionmark_thisa, ownerFrame))) & (~(((~(IsHeap(A__questionmark_Heapa) = true_1) | ~(IsNotNull(A__questionmark_thisa, IntStack) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, allocated) = true_1)) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_71_72a:$int]: ((A__questionmark_v_71_72a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = A__questionmark_v_68_68a)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = A__questionmark_v_67_70a)) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_71_72a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_71_72a))))))) => ~((~(IntStack_get_Top(A__questionmark_Heapa, A__questionmark_thisa) = select2(A__questionmark_Heapa, A__questionmark_thisa, IntStack_top)) | ~(~(A__questionmark_v_67_70a = PeerGroupPlaceholder) => ~(~(~(~(x(select2(A__questionmark_Heapa, A__questionmark_v_68_68a, inv), A__questionmark_v_67_70a) = true_1) | ~~(select2(A__questionmark_Heapa, A__questionmark_v_68_68a, localinv) = BaseClass(A__questionmark_v_67_70a))) => (A__questionmark_v_70_69a = A__questionmark_v_68_68a)) | ~(~~(~(x(select2(A__questionmark_Heapa, A__questionmark_v_68_68a, inv), A__questionmark_v_67_70a) = true_1) | ~~(select2(A__questionmark_Heapa, A__questionmark_v_68_68a, localinv) = BaseClass(A__questionmark_v_67_70a))) => (A__questionmark_v_70_69a = select2(A__questionmark_Heapa, A__questionmark_v_68_68a, FirstConsistentOwner)))))) | ~(AsPureObject(A__questionmark_thisa) = A__questionmark_thisa)))))))) | ~(![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (?[A__questionmark_v_72_73a:$int]: ((A__questionmark_v_72_73a = typeof(A__questionmark_thisa)) & (~(((((~~(A__questionmark_thisa = nullObject) | ~(x(A__questionmark_v_72_73a, IntStack) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, inv) = A__questionmark_v_72_73a)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, localinv) = A__questionmark_v_72_73a)) | ~(IsHeap(A__questionmark_Heapa) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, allocated) = true_1)) => (IntStack_get_Top(A__questionmark_Heapa, A__questionmark_thisa) = IntStack_get_Top_1(select2(A__questionmark_Heapa, A__questionmark_thisa, exposeVersion)))))))) | ~((PurityAxiomsCanBeAssumed = true_1) => (![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (?[A__questionmark_v_74_74a:$int, A__questionmark_v_76_75a:$int, A__questionmark_v_73_76a:$int]: ((((A__questionmark_v_74_74a = select2(A__questionmark_Heapa, A__questionmark_thisa, ownerRef)) & (A__questionmark_v_76_75a = select2(A__questionmark_Heapa, A__questionmark_thisa, FirstConsistentOwner))) & (A__questionmark_v_73_76a = select2(A__questionmark_Heapa, A__questionmark_thisa, ownerFrame))) & (~(((~(IsHeap(A__questionmark_Heapa) = true_1) | ~(IsNotNull(A__questionmark_thisa, IntStack) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, allocated) = true_1)) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_77_78a:$int]: ((A__questionmark_v_77_78a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = A__questionmark_v_74_74a)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = A__questionmark_v_73_76a)) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_77_78a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_77_78a))))))) => ~((~(IntStack_get_Capacity(A__questionmark_Heapa, A__questionmark_thisa) = Length(select2(A__questionmark_Heapa, A__questionmark_thisa, IntStack_elements))) | ~(~(A__questionmark_v_73_76a = PeerGroupPlaceholder) => ~(~(~(~(x(select2(A__questionmark_Heapa, A__questionmark_v_74_74a, inv), A__questionmark_v_73_76a) = true_1) | ~~(select2(A__questionmark_Heapa, A__questionmark_v_74_74a, localinv) = BaseClass(A__questionmark_v_73_76a))) => (A__questionmark_v_76_75a = A__questionmark_v_74_74a)) | ~(~~(~(x(select2(A__questionmark_Heapa, A__questionmark_v_74_74a, inv), A__questionmark_v_73_76a) = true_1) | ~~(select2(A__questionmark_Heapa, A__questionmark_v_74_74a, localinv) = BaseClass(A__questionmark_v_73_76a))) => (A__questionmark_v_76_75a = select2(A__questionmark_Heapa, A__questionmark_v_74_74a, FirstConsistentOwner)))))) | ~(AsPureObject(A__questionmark_thisa) = A__questionmark_thisa)))))))) | ~(![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (?[A__questionmark_v_78_79a:$int]: ((A__questionmark_v_78_79a = typeof(A__questionmark_thisa)) & (~(((((~~(A__questionmark_thisa = nullObject) | ~(x(A__questionmark_v_78_79a, IntStack) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, inv) = A__questionmark_v_78_79a)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, localinv) = A__questionmark_v_78_79a)) | ~(IsHeap(A__questionmark_Heapa) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, allocated) = true_1)) => (IntStack_get_Capacity(A__questionmark_Heapa, A__questionmark_thisa) = IntStack_get_Capacity_1(select2(A__questionmark_Heapa, A__questionmark_thisa, exposeVersion)))))))) | ~(x(System_Type, System_Type) = true_1)) | ~(x(System_Reflection_MemberInfo, System_Reflection_MemberInfo) = true_1)) | ~(A__questionmark_v_6_8a = System_Object)) | ~(AsDirectSubClass(System_Reflection_MemberInfo, A__questionmark_v_6_8a) = System_Reflection_MemberInfo)) | ~(IsImmutable(System_Reflection_MemberInfo) = true_1)) | ~(AsImmutable(System_Reflection_MemberInfo) = System_Reflection_MemberInfo)) | ~(x(System_Reflection_ICustomAttributeProvider, System_Reflection_ICustomAttributeProvider) = true_1)) | ~(x(System_Reflection_ICustomAttributeProvider, System_Object) = true_1)) | ~(IsMemberlessType(System_Reflection_ICustomAttributeProvider) = true_1)) | ~(AsInterface(System_Reflection_ICustomAttributeProvider) = System_Reflection_ICustomAttributeProvider)) | ~(x(System_Reflection_MemberInfo, System_Reflection_ICustomAttributeProvider) = true_1)) | ~(x(System_Runtime_InteropServices__MemberInfo, System_Runtime_InteropServices__MemberInfo) = true_1)) | ~(x(System_Runtime_InteropServices__MemberInfo, System_Object) = true_1)) | ~(IsMemberlessType(System_Runtime_InteropServices__MemberInfo) = true_1)) | ~(AsInterface(System_Runtime_InteropServices__MemberInfo) = System_Runtime_InteropServices__MemberInfo)) | ~(x(System_Reflection_MemberInfo, System_Runtime_InteropServices__MemberInfo) = true_1)) | ~(IsMemberlessType(System_Reflection_MemberInfo) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_Reflection_MemberInfo) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_6_8a)) => $true))) | ~(A__questionmark_v_7_7a = System_Reflection_MemberInfo)) | ~(AsDirectSubClass(System_Type, A__questionmark_v_7_7a) = System_Type)) | ~(IsImmutable(System_Type) = true_1)) | ~(AsImmutable(System_Type) = System_Type)) | ~(x(System_Runtime_InteropServices__Type, System_Runtime_InteropServices__Type) = true_1)) | ~(x(System_Runtime_InteropServices__Type, System_Object) = true_1)) | ~(IsMemberlessType(System_Runtime_InteropServices__Type) = true_1)) | ~(AsInterface(System_Runtime_InteropServices__Type) = System_Runtime_InteropServices__Type)) | ~(x(System_Type, System_Runtime_InteropServices__Type) = true_1)) | ~(x(System_Reflection_IReflect, System_Reflection_IReflect) = true_1)) | ~(x(System_Reflection_IReflect, System_Object) = true_1)) | ~(IsMemberlessType(System_Reflection_IReflect) = true_1)) | ~(AsInterface(System_Reflection_IReflect) = System_Reflection_IReflect)) | ~(x(System_Type, System_Reflection_IReflect) = true_1)) | ~(IsMemberlessType(System_Type) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_Type) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_7_7a)) => $true))) | ~(x(Microsoft_Contracts_ICheckedException, Microsoft_Contracts_ICheckedException) = true_1)) | ~(x(Microsoft_Contracts_ICheckedException, System_Object) = true_1)) | ~(IsMemberlessType(Microsoft_Contracts_ICheckedException) = true_1)) | ~(AsInterface(Microsoft_Contracts_ICheckedException) = Microsoft_Contracts_ICheckedException)) | ~(x(System_String, System_String) = true_1)) | ~(A__questionmark_v_8_6a = System_Object)) | ~(AsDirectSubClass(System_String, A__questionmark_v_8_6a) = System_String)) | ~(IsImmutable(System_String) = true_1)) | ~(AsImmutable(System_String) = System_String)) | ~(x(System_IComparable, System_IComparable) = true_1)) | ~(x(System_IComparable, System_Object) = true_1)) | ~(IsMemberlessType(System_IComparable) = true_1)) | ~(AsInterface(System_IComparable) = System_IComparable)) | ~(x(System_String, System_IComparable) = true_1)) | ~(x(System_String, System_ICloneable) = true_1)) | ~(x(System_IConvertible, System_IConvertible) = true_1)) | ~(x(System_IConvertible, System_Object) = true_1)) | ~(IsMemberlessType(System_IConvertible) = true_1)) | ~(AsInterface(System_IConvertible) = System_IConvertible)) | ~(x(System_String, System_IConvertible) = true_1)) | ~(x(System_IComparable_1___System_String, System_IComparable_1___System_String) = true_1)) | ~(x(System_IComparable_1___System_String, System_Object) = true_1)) | ~(IsMemberlessType(System_IComparable_1___System_String) = true_1)) | ~(AsInterface(System_IComparable_1___System_String) = System_IComparable_1___System_String)) | ~(x(System_String, System_IComparable_1___System_String) = true_1)) | ~(x(System_Collections_Generic_IEnumerable_1___System_Char, System_Collections_Generic_IEnumerable_1___System_Char) = true_1)) | ~(x(System_Collections_Generic_IEnumerable_1___System_Char, System_Object) = true_1)) | ~(x(System_Collections_Generic_IEnumerable_1___System_Char, System_Collections_IEnumerable) = true_1)) | ~(IsMemberlessType(System_Collections_Generic_IEnumerable_1___System_Char) = true_1)) | ~(AsInterface(System_Collections_Generic_IEnumerable_1___System_Char) = System_Collections_Generic_IEnumerable_1___System_Char)) | ~(x(System_String, System_Collections_Generic_IEnumerable_1___System_Char) = true_1)) | ~(x(System_String, System_Collections_IEnumerable) = true_1)) | ~(x(System_IEquatable_1___System_String, System_IEquatable_1___System_String) = true_1)) | ~(x(System_IEquatable_1___System_String, System_Object) = true_1)) | ~(IsMemberlessType(System_IEquatable_1___System_String) = true_1)) | ~(AsInterface(System_IEquatable_1___System_String) = System_IEquatable_1___System_String)) | ~(x(System_String, System_IEquatable_1___System_String) = true_1)) | ~(![A__questionmark_Ua:$int]: ((x(A__questionmark_Ua, System_String) = true_1) => (A__questionmark_Ua = System_String)))) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_String) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_8_6a)) => $true))) | ~((PurityAxiomsCanBeAssumed = true_1) => (![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (?[A__questionmark_v_80_80a:$int, A__questionmark_v_82_81a:$int, A__questionmark_v_79_82a:$int]: ((((A__questionmark_v_80_80a = select2(A__questionmark_Heapa, A__questionmark_thisa, ownerRef)) & (A__questionmark_v_82_81a = select2(A__questionmark_Heapa, A__questionmark_thisa, FirstConsistentOwner))) & (A__questionmark_v_79_82a = select2(A__questionmark_Heapa, A__questionmark_thisa, ownerFrame))) & (~(((~(IsHeap(A__questionmark_Heapa) = true_1) | ~(IsNotNull(A__questionmark_thisa, IntStack) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, allocated) = true_1)) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_83_84a:$int]: ((A__questionmark_v_83_84a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = A__questionmark_v_80_80a)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = A__questionmark_v_79_82a)) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_83_84a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_83_84a))))))) => ~((~((IntStack_IsEmpty(A__questionmark_Heapa, A__questionmark_thisa) = true_1) <=> (IntStack_get_Top(A__questionmark_Heapa, A__questionmark_thisa) = 0)) | ~(~(A__questionmark_v_79_82a = PeerGroupPlaceholder) => ~(~(~(~(x(select2(A__questionmark_Heapa, A__questionmark_v_80_80a, inv), A__questionmark_v_79_82a) = true_1) | ~~(select2(A__questionmark_Heapa, A__questionmark_v_80_80a, localinv) = BaseClass(A__questionmark_v_79_82a))) => (A__questionmark_v_82_81a = A__questionmark_v_80_80a)) | ~(~~(~(x(select2(A__questionmark_Heapa, A__questionmark_v_80_80a, inv), A__questionmark_v_79_82a) = true_1) | ~~(select2(A__questionmark_Heapa, A__questionmark_v_80_80a, localinv) = BaseClass(A__questionmark_v_79_82a))) => (A__questionmark_v_82_81a = select2(A__questionmark_Heapa, A__questionmark_v_80_80a, FirstConsistentOwner)))))) | ~(AsPureObject(A__questionmark_thisa) = A__questionmark_thisa)))))))) | ~(![A__questionmark_Heapa:$int, A__questionmark_thisa:$int]: (?[A__questionmark_v_84_85a:$int]: ((A__questionmark_v_84_85a = typeof(A__questionmark_thisa)) & (~(((((~~(A__questionmark_thisa = nullObject) | ~(x(A__questionmark_v_84_85a, IntStack) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, inv) = A__questionmark_v_84_85a)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, localinv) = A__questionmark_v_84_85a)) | ~(IsHeap(A__questionmark_Heapa) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_thisa, allocated) = true_1)) => ((IntStack_IsEmpty(A__questionmark_Heapa, A__questionmark_thisa) = true_1) <=> (IntStack_IsEmpty_1(select2(A__questionmark_Heapa, A__questionmark_thisa, exposeVersion)) = true_1))))))) | ~(x(Program, Program) = true_1)) | ~(A__questionmark_v_9_5a = System_Object)) | ~(AsDirectSubClass(Program, A__questionmark_v_9_5a) = Program)) | ~~(IsImmutable(Program) = true_1)) | ~(AsMutable(Program) = Program)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), Program) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_9_5a)) => $true))) | ~(x(System_IO_TextWriter, System_IO_TextWriter) = true_1)) | ~(x(System_MarshalByRefObject, System_MarshalByRefObject) = true_1)) | ~(A__questionmark_v_10_4a = System_Object)) | ~(AsDirectSubClass(System_MarshalByRefObject, A__questionmark_v_10_4a) = System_MarshalByRefObject)) | ~~(IsImmutable(System_MarshalByRefObject) = true_1)) | ~(AsMutable(System_MarshalByRefObject) = System_MarshalByRefObject)) | ~(IsMemberlessType(System_MarshalByRefObject) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_MarshalByRefObject) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_10_4a)) => $true))) | ~(A__questionmark_v_11_3a = System_MarshalByRefObject)) | ~(AsDirectSubClass(System_IO_TextWriter, A__questionmark_v_11_3a) = System_IO_TextWriter)) | ~~(IsImmutable(System_IO_TextWriter) = true_1)) | ~(AsMutable(System_IO_TextWriter) = System_IO_TextWriter)) | ~(x(System_IDisposable, System_IDisposable) = true_1)) | ~(x(System_IDisposable, System_Object) = true_1)) | ~(IsMemberlessType(System_IDisposable) = true_1)) | ~(AsInterface(System_IDisposable) = System_IDisposable)) | ~(x(System_IO_TextWriter, System_IDisposable) = true_1)) | ~(IsMemberlessType(System_IO_TextWriter) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_IO_TextWriter) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_11_3a)) => $true))) | ~((PurityAxiomsCanBeAssumed = true_1) => (![A__questionmark_Heapa:$int]: (?[A__questionmark_v_85_86a:$int]: ((A__questionmark_v_85_86a = System_Console_get_Out(A__questionmark_Heapa)) & (?[A__questionmark_v_86_87a:$int, A__questionmark_v_87_88a:$int]: (((A__questionmark_v_86_87a = select2(A__questionmark_Heapa, A__questionmark_v_85_86a, ownerFrame)) & (A__questionmark_v_87_88a = select2(A__questionmark_Heapa, A__questionmark_v_85_86a, ownerRef))) & ((IsHeap(A__questionmark_Heapa) = true_1) => ~((((~(IsNotNull(A__questionmark_v_85_86a, System_IO_TextWriter) = true_1) | ~(select2(A__questionmark_Heapa, A__questionmark_v_85_86a, allocated) = true_1)) | ~(((A__questionmark_v_86_87a = PeerGroupPlaceholder) | ~(x(select2(A__questionmark_Heapa, A__questionmark_v_87_88a, inv), A__questionmark_v_86_87a) = true_1)) | (select2(A__questionmark_Heapa, A__questionmark_v_87_88a, localinv) = BaseClass(A__questionmark_v_86_87a)))) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_89_90a:$int]: ((A__questionmark_v_89_90a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = A__questionmark_v_87_88a)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = A__questionmark_v_86_87a)) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_89_90a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_89_90a))))))) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_89_91a:$int]: ((A__questionmark_v_89_91a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = A__questionmark_v_87_88a)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = A__questionmark_v_86_87a)) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_89_91a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_89_91a))))))))))))))) | ~(![A__questionmark_Heapa:$int]: (System_Console_get_Out(A__questionmark_Heapa) = System_Console_get_Out_1))) | ~(x(System_IO_TextReader, System_IO_TextReader) = true_1)) | ~(A__questionmark_v_12_2a = System_MarshalByRefObject)) | ~(AsDirectSubClass(System_IO_TextReader, A__questionmark_v_12_2a) = System_IO_TextReader)) | ~~(IsImmutable(System_IO_TextReader) = true_1)) | ~(AsMutable(System_IO_TextReader) = System_IO_TextReader)) | ~(x(System_IO_TextReader, System_IDisposable) = true_1)) | ~(IsMemberlessType(System_IO_TextReader) = true_1)) | ~(![A__questionmark_oia:$int, A__questionmark_ha:$int]: (~((~(IsHeap(A__questionmark_ha) = true_1) | ~(x(select2(A__questionmark_ha, A__questionmark_oia, inv), System_IO_TextReader) = true_1)) | ~~(select2(A__questionmark_ha, A__questionmark_oia, localinv) = A__questionmark_v_12_2a)) => $true))) | ~((PurityAxiomsCanBeAssumed = true_1) => (![A__questionmark_Heapa:$int]: (?[A__questionmark_v_90_92a:$int]: ((A__questionmark_v_90_92a = System_Console_get_In(A__questionmark_Heapa)) & (?[A__questionmark_v_91_93a:$int, A__questionmark_v_92_94a:$int]: (((A__questionmark_v_91_93a = select2(A__questionmark_Heapa, A__questionmark_v_90_92a, ownerFrame)) & (A__questionmark_v_92_94a = select2(A__questionmark_Heapa, A__questionmark_v_90_92a, ownerRef))) & ((IsHeap(A__questionmark_Heapa) = true_1) => ~((((~(IsNotNull(A__questionmark_v_90_92a, System_IO_TextReader) = true_1) | ~(select2(A__questionmark_Heapa, A__questionmark_v_90_92a, allocated) = true_1)) | ~(((A__questionmark_v_91_93a = PeerGroupPlaceholder) | ~(x(select2(A__questionmark_Heapa, A__questionmark_v_92_94a, inv), A__questionmark_v_91_93a) = true_1)) | (select2(A__questionmark_Heapa, A__questionmark_v_92_94a, localinv) = BaseClass(A__questionmark_v_91_93a)))) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_94_96a:$int]: ((A__questionmark_v_94_96a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = A__questionmark_v_92_94a)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = A__questionmark_v_91_93a)) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_94_96a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_94_96a))))))) | ~(![A__questionmark_pca:$int]: (?[A__questionmark_v_94_97a:$int]: ((A__questionmark_v_94_97a = typeof(A__questionmark_pca)) & (~(((~~(A__questionmark_pca = nullObject) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, allocated) = true_1)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerRef) = A__questionmark_v_92_94a)) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, ownerFrame) = A__questionmark_v_91_93a)) => ~(~(select2(A__questionmark_Heapa, A__questionmark_pca, inv) = A__questionmark_v_94_97a) | ~(select2(A__questionmark_Heapa, A__questionmark_pca, localinv) = A__questionmark_v_94_97a))))))))))))))) | ~(![A__questionmark_Heapa:$int]: (System_Console_get_In(A__questionmark_Heapa) = System_Console_get_In_1))) | ~(IsNotNull(stringLiteral1, System_String) = true_1)) | ~(StringLength(stringLiteral1) = 21)) | ~(![A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (select2(A__questionmark_heapa, stringLiteral1, allocated) = true_1)))) | ~(![A__questionmark_heapa:$int]: ((IsHeap(A__questionmark_heapa) = true_1) => (System_String_IsInterned_System_String_notnull(A__questionmark_heapa, stringLiteral1) = stringLiteral1)))))), file('/export/starexec/sandbox2/benchmark/theBenchmark.p', formula_2)).
% 86.81/54.88 tff(c_3382, plain, (true_1=PurityAxiomsCanBeAssumed), inference(cnfTransformation, [status(thm)], [f_8783])).
% 86.81/54.88 tff(c_3365, plain, (IsNotNull(this, IntStack)=true_1), inference(cnfTransformation, [status(thm)], [f_8783])).
% 86.81/54.88 tff(c_28380, plain, (IsNotNull(this, IntStack)=PurityAxiomsCanBeAssumed), inference(demodulation, [status(thm), theory('equality')], [c_3382, c_3365])).
% 86.81/54.88 tff(c_3383, plain, (nullObject=BeingConstructed), inference(cnfTransformation, [status(thm)], [f_8783])).
% 86.81/54.88 tff(c_3435, plain, (![A__questionmark_T_899a:$int]: (IsNotNull(nullObject, A__questionmark_T_899a)!=true_1)), inference(cnfTransformation, [status(thm)], [f_8657])).
% 86.81/54.88 tff(c_7483, plain, (![A__questionmark_T_899a:$int]: (IsNotNull(BeingConstructed, A__questionmark_T_899a)!=PurityAxiomsCanBeAssumed)), inference(demodulation, [status(thm), theory('equality')], [c_3383, c_3382, c_3435])).
% 86.81/54.88 tff(c_28394, plain, (this!=BeingConstructed), inference(superposition, [status(thm), theory('equality')], [c_28380, c_7483])).
% 86.81/54.88 tff(c_11271, plain, (![A__questionmark_h_1128a:$int, A__questionmark_oi_1127a:$int]: (select2(A__questionmark_h_1128a, A__questionmark_oi_1127a, IntStack_top)='#skF_64'(A__questionmark_oi_1127a, A__questionmark_h_1128a))), inference(cnfTransformation, [status(thm)], [f_8657])).
% 86.81/54.88 tff(c_3357, plain, (select2(Heap, this, IntStack_top)=return_value_0 | this=nullObject), inference(cnfTransformation, [status(thm)], [f_8783])).
% 86.81/54.88 tff(c_7360, plain, (select2(Heap, this, IntStack_top)=return_value_0 | this=BeingConstructed), inference(demodulation, [status(thm), theory('equality')], [c_3383, c_3357])).
% 86.81/54.88 tff(c_11277, plain, ('#skF_64'(this, Heap)=return_value_0 | this=BeingConstructed), inference(demodulation, [status(thm), theory('equality')], [c_11271, c_7360])).
% 86.81/54.88 tff(c_47470, plain, ('#skF_64'(this, Heap)=return_value_0), inference(negUnitSimplification, [status(thm)], [c_28394, c_11277])).
% 86.81/54.88 tff(c_3352, plain, (select2(Heap, this, IntStack_top)!=return_value_0 | this=nullObject), inference(cnfTransformation, [status(thm)], [f_8783])).
% 86.81/54.88 tff(c_7355, plain, (select2(Heap, this, IntStack_top)!=return_value_0 | this=BeingConstructed), inference(demodulation, [status(thm), theory('equality')], [c_3383, c_3352])).
% 86.81/54.88 tff(c_11307, plain, ('#skF_64'(this, Heap)!=return_value_0 | this=BeingConstructed), inference(demodulation, [status(thm), theory('equality')], [c_11271, c_7355])).
% 86.81/54.88 tff(c_51423, plain, (this=BeingConstructed), inference(demodulation, [status(thm), theory('equality')], [c_47470, c_11307])).
% 86.81/54.88 tff(c_51424, plain, $false, inference(negUnitSimplification, [status(thm)], [c_28394, c_51423])).
% 86.81/54.88 % SZS output end CNFRefutation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 86.81/54.88
% 86.81/54.88 Inference rules
% 86.81/54.88 ----------------------
% 86.81/54.88 #Ref : 0
% 86.81/54.88 #Sup : 6114
% 86.81/54.88 #Fact : 6
% 86.81/54.88 #Define : 33
% 86.81/54.88 #Split : 1
% 86.81/54.88 #Chain : 0
% 86.81/54.88 #Close : 0
% 86.81/54.88
% 86.81/54.88 Ordering : LPO
% 86.81/54.88
% 86.81/54.88 Simplification rules
% 86.81/54.88 ----------------------
% 86.81/54.88 #Subsume : 1854
% 86.81/54.88 #Demod : 2409
% 86.81/54.88 #Tautology : 3652
% 86.81/54.88 #SimpNegUnit : 1378
% 86.81/54.88 #BackRed : 16
% 86.81/54.88
% 86.81/54.88 #Partial instantiations: 0
% 86.81/54.88 #Strategies tried : 1
% 86.81/54.88
% 86.81/54.88 Timing (in seconds)
% 86.81/54.88 ----------------------
% 86.81/54.88 Preprocessing : 2.10
% 86.81/54.88 Parsing : 0.93
% 86.81/54.88 CNF conversion : 0.24
% 86.81/54.88 Main loop : 51.47
% 86.81/54.88 Inferencing : 1.98
% 86.81/54.88 Reduction : 17.05
% 86.81/54.88 Demodulation : 9.29
% 86.81/54.88 BG Simplification : 0.53
% 86.81/54.88 Subsumption : 16.21
% 86.81/54.88 Abstraction : 0.37
% 86.81/54.88 MUC search : 0.00
% 86.81/54.88 Cooper : 12.44
% 86.81/54.88 Total : 53.86
% 86.81/54.88 Index Insertion : 0.00
% 86.81/54.88 Index Deletion : 0.00
% 86.81/54.88 Index Matching : 0.00
% 86.81/54.88 BG Taut test : 0.00
%------------------------------------------------------------------------------