Version abc70930

1 files changed, 1622 insertions, 0 deletions

diff --git a/abc70930/src/abc.xcodeproj/raiyan.pbxuser b/abc70930/src/abc.xcodeproj/raiyan.pbxuser
new file mode 100644
index 00000000..1de27f67
--- /dev/null
+++ b/abc70930/src/abc.xcodeproj/raiyan.pbxuser
@@ -0,0 +1,1622 @@
+// !$*UTF8*$!
+{
+	08FB7793FE84155DC02AAC07 /* Project object */ = {
+		activeBuildConfigurationName = Debug;
+		activeExecutable = 27A92B5E0E34922E006E7CF6 /* abc */;
+		activeTarget = 8DD76FA90486AB0100D96B5E /* abc */;
+		addToTargets = (
+			8DD76FA90486AB0100D96B5E /* abc */,
+		);
+		breakpoints = (
+			274041060E38C0DB00DC6F18 /* main.c:51 */,
+			274041130E38D01D00DC6F18 /* mainUtils.c:78 */,
+		);
+		codeSenseManager = 27A92B6A0E34923D006E7CF6 /* Code sense */;
+		executables = (
+			27A92B5E0E34922E006E7CF6 /* abc */,
+		);
+		perUserDictionary = {
+			PBXConfiguration.PBXFileTableDataSource3.PBXErrorsWarningsDataSource = {
+				PBXFileTableDataSourceColumnSortingDirectionKey = "-1";
+				PBXFileTableDataSourceColumnSortingKey = PBXErrorsWarningsDataSource_LocationID;
+				PBXFileTableDataSourceColumnWidthsKey = (
+					20,
+					300,
+					724,
+				);
+				PBXFileTableDataSourceColumnsKey = (
+					PBXErrorsWarningsDataSource_TypeID,
+					PBXErrorsWarningsDataSource_MessageID,
+					PBXErrorsWarningsDataSource_LocationID,
+				);
+			};
+			PBXConfiguration.PBXFileTableDataSource3.PBXExecutablesDataSource = {
+				PBXFileTableDataSourceColumnSortingDirectionKey = "-1";
+				PBXFileTableDataSourceColumnSortingKey = PBXExecutablesDataSource_NameID;
+				PBXFileTableDataSourceColumnWidthsKey = (
+					22,
+					300,
+					722,
+				);
+				PBXFileTableDataSourceColumnsKey = (
+					PBXExecutablesDataSource_ActiveFlagID,
+					PBXExecutablesDataSource_NameID,
+					PBXExecutablesDataSource_CommentsID,
+				);
+			};
+			PBXConfiguration.PBXFileTableDataSource3.PBXFileTableDataSource = {
+				PBXFileTableDataSourceColumnSortingDirectionKey = "-1";
+				PBXFileTableDataSourceColumnSortingKey = PBXFileDataSource_Filename_ColumnID;
+				PBXFileTableDataSourceColumnWidthsKey = (
+					20,
+					834,
+					20,
+					48,
+					43,
+					43,
+					20,
+				);
+				PBXFileTableDataSourceColumnsKey = (
+					PBXFileDataSource_FiletypeID,
+					PBXFileDataSource_Filename_ColumnID,
+					PBXFileDataSource_Built_ColumnID,
+					PBXFileDataSource_ObjectSize_ColumnID,
+					PBXFileDataSource_Errors_ColumnID,
+					PBXFileDataSource_Warnings_ColumnID,
+					PBXFileDataSource_Target_ColumnID,
+				);
+			};
+			PBXConfiguration.PBXFileTableDataSource3.PBXSymbolsDataSource = {
+				PBXFileTableDataSourceColumnSortingDirectionKey = "-1";
+				PBXFileTableDataSourceColumnSortingKey = PBXSymbolsDataSource_SymbolNameID;
+				PBXFileTableDataSourceColumnWidthsKey = (
+					16,
+					200,
+					50,
+					774,
+				);
+				PBXFileTableDataSourceColumnsKey = (
+					PBXSymbolsDataSource_SymbolTypeIconID,
+					PBXSymbolsDataSource_SymbolNameID,
+					PBXSymbolsDataSource_SymbolTypeID,
+					PBXSymbolsDataSource_ReferenceNameID,
+				);
+			};
+			PBXConfiguration.PBXTargetDataSource.PBXTargetDataSource = {
+				PBXFileTableDataSourceColumnSortingDirectionKey = "-1";
+				PBXFileTableDataSourceColumnSortingKey = PBXFileDataSource_Filename_ColumnID;
+				PBXFileTableDataSourceColumnWidthsKey = (
+					20,
+					794,
+					60,
+					20,
+					48,
+					43,
+					43,
+				);
+				PBXFileTableDataSourceColumnsKey = (
+					PBXFileDataSource_FiletypeID,
+					PBXFileDataSource_Filename_ColumnID,
+					PBXTargetDataSource_PrimaryAttribute,
+					PBXFileDataSource_Built_ColumnID,
+					PBXFileDataSource_ObjectSize_ColumnID,
+					PBXFileDataSource_Errors_ColumnID,
+					PBXFileDataSource_Warnings_ColumnID,
+				);
+			};
+			PBXPerProjectTemplateStateSaveDate = 238637327;
+			PBXWorkspaceStateSaveDate = 238637327;
+		};
+		perUserProjectItems = {
+			2717FC7F0E3843AC0038296D /* PBXTextBookmark */ = 2717FC7F0E3843AC0038296D /* PBXTextBookmark */;
+			2717FC810E3843AC0038296D /* PBXTextBookmark */ = 2717FC810E3843AC0038296D /* PBXTextBookmark */;
+			2717FC820E3843AC0038296D /* PBXTextBookmark */ = 2717FC820E3843AC0038296D /* PBXTextBookmark */;
+			2717FC830E3843AC0038296D /* PBXTextBookmark */ = 2717FC830E3843AC0038296D /* PBXTextBookmark */;
+			2717FC840E3843AC0038296D /* PBXTextBookmark */ = 2717FC840E3843AC0038296D /* PBXTextBookmark */;
+			2717FC850E3843AC0038296D /* PBXTextBookmark */ = 2717FC850E3843AC0038296D /* PBXTextBookmark */;
+			2717FC870E3843AC0038296D /* PBXTextBookmark */ = 2717FC870E3843AC0038296D /* PBXTextBookmark */;
+			2717FC890E3843AC0038296D /* PBXTextBookmark */ = 2717FC890E3843AC0038296D /* PBXTextBookmark */;
+			2717FC8B0E3843AC0038296D /* PBXTextBookmark */ = 2717FC8B0E3843AC0038296D /* PBXTextBookmark */;
+			2717FC8D0E3843AC0038296D /* PBXTextBookmark */ = 2717FC8D0E3843AC0038296D /* PBXTextBookmark */;
+			2717FC8E0E3843AC0038296D /* PBXTextBookmark */ = 2717FC8E0E3843AC0038296D /* PBXTextBookmark */;
+			2717FC8F0E3843AC0038296D /* PBXTextBookmark */ = 2717FC8F0E3843AC0038296D /* PBXTextBookmark */;
+			2717FC900E3843AC0038296D /* PBXTextBookmark */ = 2717FC900E3843AC0038296D /* PBXTextBookmark */;
+			2717FC930E3843AC0038296D /* PBXTextBookmark */ = 2717FC930E3843AC0038296D /* PBXTextBookmark */;
+			2717FCA20E3852600038296D /* PBXTextBookmark */ = 2717FCA20E3852600038296D /* PBXTextBookmark */;
+			2717FCA30E3852600038296D /* PBXTextBookmark */ = 2717FCA30E3852600038296D /* PBXTextBookmark */;
+			2717FCA90E3852600038296D /* PBXTextBookmark */ = 2717FCA90E3852600038296D /* PBXTextBookmark */;
+			2717FCB70E3854530038296D /* PBXTextBookmark */ = 2717FCB70E3854530038296D /* PBXTextBookmark */;
+			2717FCB80E3854530038296D /* PBXTextBookmark */ = 2717FCB80E3854530038296D /* PBXTextBookmark */;
+			2717FCBD0E3854530038296D /* PBXTextBookmark */ = 2717FCBD0E3854530038296D /* PBXTextBookmark */;
+			2717FCBE0E3854530038296D /* PBXTextBookmark */ = 2717FCBE0E3854530038296D /* PBXTextBookmark */;
+			2717FCC00E3854530038296D /* PBXTextBookmark */ = 2717FCC00E3854530038296D /* PBXTextBookmark */;
+			2717FCD10E38569B0038296D /* PBXTextBookmark */ = 2717FCD10E38569B0038296D /* PBXTextBookmark */;
+			2717FCD20E38569B0038296D /* PBXTextBookmark */ = 2717FCD20E38569B0038296D /* PBXTextBookmark */;
+			2717FCD30E38569B0038296D /* PBXTextBookmark */ = 2717FCD30E38569B0038296D /* PBXTextBookmark */;
+			2717FCD50E38569B0038296D /* PBXTextBookmark */ = 2717FCD50E38569B0038296D /* PBXTextBookmark */;
+			2717FCD70E38569B0038296D /* PBXTextBookmark */ = 2717FCD70E38569B0038296D /* PBXTextBookmark */;
+			2717FCE90E3857DC0038296D /* PBXTextBookmark */ = 2717FCE90E3857DC0038296D /* PBXTextBookmark */;
+			2717FCEA0E3857DC0038296D /* PBXTextBookmark */ = 2717FCEA0E3857DC0038296D /* PBXTextBookmark */;
+			2717FCEB0E3857DC0038296D /* PBXTextBookmark */ = 2717FCEB0E3857DC0038296D /* PBXTextBookmark */;
+			2717FCED0E3857DC0038296D /* PBXTextBookmark */ = 2717FCED0E3857DC0038296D /* PBXTextBookmark */;
+			2717FCEE0E3857DC0038296D /* PBXTextBookmark */ = 2717FCEE0E3857DC0038296D /* PBXTextBookmark */;
+			2717FCEF0E3857DC0038296D /* PBXTextBookmark */ = 2717FCEF0E3857DC0038296D /* PBXTextBookmark */;
+			2717FD140E3861B70038296D /* PBXTextBookmark */ = 2717FD140E3861B70038296D /* PBXTextBookmark */;
+			2717FD150E3861B70038296D /* PBXTextBookmark */ = 2717FD150E3861B70038296D /* PBXTextBookmark */;
+			2717FD190E3861B70038296D /* PBXTextBookmark */ = 2717FD190E3861B70038296D /* PBXTextBookmark */;
+			2717FD1A0E3861B70038296D /* PBXTextBookmark */ = 2717FD1A0E3861B70038296D /* PBXTextBookmark */;
+			2717FD1B0E3861B70038296D /* PBXTextBookmark */ = 2717FD1B0E3861B70038296D /* PBXTextBookmark */;
+			273F099E0E387A1A00BA537B /* PBXTextBookmark */ = 273F099E0E387A1A00BA537B /* PBXTextBookmark */;
+			273F099F0E387A1A00BA537B /* PBXTextBookmark */ = 273F099F0E387A1A00BA537B /* PBXTextBookmark */;
+			273F09A00E387A1A00BA537B /* PBXTextBookmark */ = 273F09A00E387A1A00BA537B /* PBXTextBookmark */;
+			273F09A10E387A1A00BA537B /* PBXTextBookmark */ = 273F09A10E387A1A00BA537B /* PBXTextBookmark */;
+			273F09A20E387A1A00BA537B /* PBXTextBookmark */ = 273F09A20E387A1A00BA537B /* PBXTextBookmark */;
+			273F09A40E387A1A00BA537B /* PBXTextBookmark */ = 273F09A40E387A1A00BA537B /* PBXTextBookmark */;
+			273F09A50E387A1A00BA537B /* PBXTextBookmark */ = 273F09A50E387A1A00BA537B /* PBXTextBookmark */;
+			274041210E38D50900DC6F18 /* PBXTextBookmark */ = 274041210E38D50900DC6F18 /* PBXTextBookmark */;
+			274041230E38D50900DC6F18 /* PBXTextBookmark */ = 274041230E38D50900DC6F18 /* PBXTextBookmark */;
+			274041280E38D50900DC6F18 /* PBXTextBookmark */ = 274041280E38D50900DC6F18 /* PBXTextBookmark */;
+			2740412B0E38D50900DC6F18 /* PBXTextBookmark */ = 2740412B0E38D50900DC6F18 /* PBXTextBookmark */;
+			274041720E38D73B00DC6F18 /* PBXTextBookmark */ = 274041720E38D73B00DC6F18 /* PBXTextBookmark */;
+			2755FD8C0E35986F0031A656 /* PBXTextBookmark */ = 2755FD8C0E35986F0031A656 /* PBXTextBookmark */;
+			2755FD8D0E35986F0031A656 /* PBXTextBookmark */ = 2755FD8D0E35986F0031A656 /* PBXTextBookmark */;
+			2755FD8E0E35986F0031A656 /* PBXTextBookmark */ = 2755FD8E0E35986F0031A656 /* PBXTextBookmark */;
+			2755FD8F0E35986F0031A656 /* PBXTextBookmark */ = 2755FD8F0E35986F0031A656 /* PBXTextBookmark */;
+			2755FD900E35986F0031A656 /* PBXTextBookmark */ = 2755FD900E35986F0031A656 /* PBXTextBookmark */;
+			2755FD910E35986F0031A656 /* PBXTextBookmark */ = 2755FD910E35986F0031A656 /* PBXTextBookmark */;
+			2755FD920E35986F0031A656 /* PBXTextBookmark */ = 2755FD920E35986F0031A656 /* PBXTextBookmark */;
+			2755FD930E35986F0031A656 /* PBXTextBookmark */ = 2755FD930E35986F0031A656 /* PBXTextBookmark */;
+			2755FD950E35986F0031A656 /* PBXTextBookmark */ = 2755FD950E35986F0031A656 /* PBXTextBookmark */;
+			2755FD960E35986F0031A656 /* PBXTextBookmark */ = 2755FD960E35986F0031A656 /* PBXTextBookmark */;
+			2755FD970E35986F0031A656 /* PBXTextBookmark */ = 2755FD970E35986F0031A656 /* PBXTextBookmark */;
+			2755FD980E35986F0031A656 /* PBXTextBookmark */ = 2755FD980E35986F0031A656 /* PBXTextBookmark */;
+			2755FD990E35986F0031A656 /* PBXTextBookmark */ = 2755FD990E35986F0031A656 /* PBXTextBookmark */;
+			2755FD9A0E35986F0031A656 /* PBXTextBookmark */ = 2755FD9A0E35986F0031A656 /* PBXTextBookmark */;
+			2755FD9B0E35986F0031A656 /* PBXTextBookmark */ = 2755FD9B0E35986F0031A656 /* PBXTextBookmark */;
+			2755FD9C0E35986F0031A656 /* PBXTextBookmark */ = 2755FD9C0E35986F0031A656 /* PBXTextBookmark */;
+			2755FD9D0E35986F0031A656 /* PBXTextBookmark */ = 2755FD9D0E35986F0031A656 /* PBXTextBookmark */;
+			2755FDCC0E3821400031A656 /* PBXTextBookmark */ = 2755FDCC0E3821400031A656 /* PBXTextBookmark */;
+			2755FDCD0E3821400031A656 /* PBXTextBookmark */ = 2755FDCD0E3821400031A656 /* PBXTextBookmark */;
+			2755FDD00E3821400031A656 /* PBXTextBookmark */ = 2755FDD00E3821400031A656 /* PBXTextBookmark */;
+			2755FDD10E3821400031A656 /* PBXTextBookmark */ = 2755FDD10E3821400031A656 /* PBXTextBookmark */;
+			27A930BD0E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930BD0E3494E8006E7CF6 /* PBXTextBookmark */;
+			27A930BE0E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930BE0E3494E8006E7CF6 /* PBXTextBookmark */;
+			27A930BF0E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930BF0E3494E8006E7CF6 /* PBXTextBookmark */;
+			27A930C10E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C10E3494E8006E7CF6 /* PBXTextBookmark */;
+			27A930C30E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C30E3494E8006E7CF6 /* PBXTextBookmark */;
+			27A930C40E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C40E3494E8006E7CF6 /* PBXTextBookmark */;
+			27A930C50E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C50E3494E8006E7CF6 /* PBXTextBookmark */;
+			27A930C60E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C60E3494E8006E7CF6 /* PBXTextBookmark */;
+			27A930C70E3494E8006E7CF6 /* PBXTextBookmark */ = 27A930C70E3494E8006E7CF6 /* PBXTextBookmark */;
+			27F2A0390E3951350056453A /* PBXTextBookmark */ = 27F2A0390E3951350056453A /* PBXTextBookmark */;
+			27F2A03A0E3951350056453A /* PBXTextBookmark */ = 27F2A03A0E3951350056453A /* PBXTextBookmark */;
+			27F2A03B0E3951350056453A /* PBXTextBookmark */ = 27F2A03B0E3951350056453A /* PBXTextBookmark */;
+			27F2A0450E39514F0056453A /* PBXTextBookmark */ = 27F2A0450E39514F0056453A /* PBXTextBookmark */;
+		};
+		sourceControlManager = 27A92B690E34923D006E7CF6 /* Source Control */;
+		userBuildSettings = {
+		};
+	};
+	2717FC7F0E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E660E349283006E7CF6 /* nmTable.c */;
+		name = "nmTable.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 656;
+		vrLoc = 5092;
+	};
+	2717FC810E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92CE20E349281006E7CF6 /* hop.h */;
+		name = "hop.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 733;
+		vrLoc = 459;
+	};
+	2717FC820E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E740E349283006E7CF6 /* vec.h */;
+		name = "vec.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1041;
+		vrLoc = 788;
+	};
+	2717FC830E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E6E0E349283006E7CF6 /* leaks.h */;
+		name = "leaks.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1112;
+		vrLoc = 0;
+	};
+	2717FC840E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C820E349281006E7CF6 /* aig.h */;
+		name = "aig.h: 48";
+		rLen = 49;
+		rLoc = 1390;
+		rType = 0;
+		vrLen = 1081;
+		vrLoc = 901;
+	};
+	2717FC850E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E6A0E349283006E7CF6 /* st.h */;
+		name = "st.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 462;
+		vrLoc = 0;
+	};
+	2717FC870E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92CE00E349281006E7CF6 /* cudd2.c */;
+		name = "cudd2.c: 61";
+		rLen = 40;
+		rLoc = 1965;
+		rType = 0;
+		vrLen = 782;
+		vrLoc = 1516;
+	};
+	2717FC890E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E660E349283006E7CF6 /* nmTable.c */;
+		name = "nmTable.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 656;
+		vrLoc = 5092;
+	};
+	2717FC8B0E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DFA0E349282006E7CF6 /* temp.c */;
+		name = "temp.c: 14";
+		rLen = 0;
+		rLoc = 511;
+		rType = 0;
+		vrLen = 574;
+		vrLoc = 0;
+	};
+	2717FC8D0E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92CE20E349281006E7CF6 /* hop.h */;
+		name = "hop.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 733;
+		vrLoc = 459;
+	};
+	2717FC8E0E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E740E349283006E7CF6 /* vec.h */;
+		name = "vec.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1041;
+		vrLoc = 788;
+	};
+	2717FC8F0E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E6E0E349283006E7CF6 /* leaks.h */;
+		name = "leaks.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1112;
+		vrLoc = 0;
+	};
+	2717FC900E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92CE00E349281006E7CF6 /* cudd2.c */;
+		name = "cudd2.c: 21";
+		rLen = 0;
+		rLoc = 574;
+		rType = 0;
+		vrLen = 953;
+		vrLoc = 410;
+	};
+	2717FC930E3843AC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D060E349281006E7CF6 /* ivyMulti8.c */;
+		name = "ivyMulti8.c: 59";
+		rLen = 9;
+		rLoc = 2159;
+		rType = 0;
+		vrLen = 810;
+		vrLoc = 1486;
+	};
+	2717FCA20E3852600038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D060E349281006E7CF6 /* ivyMulti8.c */;
+		name = "ivyMulti8.c: 9";
+		rLen = 0;
+		rLoc = 274;
+		rType = 0;
+		vrLen = 718;
+		vrLoc = 0;
+	};
+	2717FCA30E3852600038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF50E349282006E7CF6 /* mainFrame.c */;
+		name = "mainFrame.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1823;
+		vrLoc = 1175;
+	};
+	2717FCA90E3852600038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF50E349282006E7CF6 /* mainFrame.c */;
+		name = "mainFrame.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1823;
+		vrLoc = 1175;
+	};
+	2717FCB70E3854530038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C2D0E349280006E7CF6 /* cuddDecomp.c */;
+		name = "cuddDecomp.c: 1402";
+		rLen = 8;
+		rLoc = 42831;
+		rType = 0;
+		vrLen = 818;
+		vrLoc = 42435;
+	};
+	2717FCB80E3854530038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C310E349280006E7CF6 /* cuddGenCof.c */;
+		name = "cuddGenCof.c: 159";
+		rLen = 8;
+		rLoc = 5663;
+		rType = 0;
+		vrLen = 658;
+		vrLoc = 5348;
+	};
+	2717FCBD0E3854530038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C2D0E349280006E7CF6 /* cuddDecomp.c */;
+		name = "cuddDecomp.c: 1402";
+		rLen = 8;
+		rLoc = 42831;
+		rType = 0;
+		vrLen = 818;
+		vrLoc = 42435;
+	};
+	2717FCBE0E3854530038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C310E349280006E7CF6 /* cuddGenCof.c */;
+		name = "cuddGenCof.c: 159";
+		rLen = 8;
+		rLoc = 5663;
+		rType = 0;
+		vrLen = 658;
+		vrLoc = 5348;
+	};
+	2717FCC00E3854530038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DB10E349282006E7CF6 /* abcPlace.c */;
+		name = "abcPlace.c: 32";
+		rLen = 27;
+		rLoc = 893;
+		rType = 0;
+		vrLen = 566;
+		vrLoc = 677;
+	};
+	2717FCD10E38569B0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D0B0E349281006E7CF6 /* ivyRwrAlg.c */;
+		name = "ivyRwrAlg.c: 83";
+		rLen = 65;
+		rLoc = 2940;
+		rType = 0;
+		vrLen = 658;
+		vrLoc = 2549;
+	};
+	2717FCD20E38569B0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DC80E349282006E7CF6 /* module.make */;
+		name = "module.make: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 716;
+		vrLoc = 478;
+	};
+	2717FCD30E38569B0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DB10E349282006E7CF6 /* abcPlace.c */;
+		name = "abcPlace.c: 24";
+		rLen = 25;
+		rLoc = 576;
+		rType = 0;
+		vrLen = 683;
+		vrLoc = 258;
+	};
+	2717FCD50E38569B0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D0B0E349281006E7CF6 /* ivyRwrAlg.c */;
+		name = "ivyRwrAlg.c: 83";
+		rLen = 65;
+		rLoc = 2940;
+		rType = 0;
+		vrLen = 658;
+		vrLoc = 2549;
+	};
+	2717FCD70E38569B0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DC80E349282006E7CF6 /* module.make */;
+		name = "module.make: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 716;
+		vrLoc = 478;
+	};
+	2717FCE90E3857DC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92BAF0E349280006E7CF6 /* resSim_old.c */;
+		name = "resSim_old.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 636;
+		vrLoc = 0;
+	};
+	2717FCEA0E3857DC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C010E349280006E7CF6 /* msatOrderJ.c */;
+		name = "msatOrderJ.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 776;
+		vrLoc = 0;
+	};
+	2717FCEB0E3857DC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D970E349282006E7CF6 /* abcCut.c */;
+		name = "abcCut.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 774;
+		vrLoc = 167;
+	};
+	2717FCED0E3857DC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92BAF0E349280006E7CF6 /* resSim_old.c */;
+		name = "resSim_old.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 636;
+		vrLoc = 0;
+	};
+	2717FCEE0E3857DC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C010E349280006E7CF6 /* msatOrderJ.c */;
+		name = "msatOrderJ.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 776;
+		vrLoc = 0;
+	};
+	2717FCEF0E3857DC0038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D970E349282006E7CF6 /* abcCut.c */;
+		name = "abcCut.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 774;
+		vrLoc = 167;
+	};
+	2717FD140E3861B70038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF70E349282006E7CF6 /* mainInt.h */;
+		name = "mainInt.h: 28";
+		rLen = 0;
+		rLoc = 832;
+		rType = 0;
+		vrLen = 810;
+		vrLoc = 465;
+	};
+	2717FD150E3861B70038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C580E349281006E7CF6 /* testcudd.c */;
+		name = "testcudd.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 782;
+		vrLoc = 0;
+	};
+	2717FD190E3861B70038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C580E349281006E7CF6 /* testcudd.c */;
+		name = "testcudd.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 782;
+		vrLoc = 0;
+	};
+	2717FD1A0E3861B70038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF80E349282006E7CF6 /* mainUtils.c */;
+		name = "mainUtils.c: 78";
+		rLen = 11;
+		rLoc = 2288;
+		rType = 0;
+		vrLen = 631;
+		vrLoc = 1749;
+	};
+	2717FD1B0E3861B70038296D /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF40E349282006E7CF6 /* main.h */;
+		name = "main.h: 46";
+		rLen = 0;
+		rLoc = 1511;
+		rType = 0;
+		vrLen = 773;
+		vrLoc = 843;
+	};
+	273F099E0E387A1A00BA537B /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DD50E349282006E7CF6 /* io.h */;
+		name = "io.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 837;
+		vrLoc = 677;
+	};
+	273F099F0E387A1A00BA537B /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D770E349282006E7CF6 /* abc.h */;
+		name = "abc.h: 37";
+		rLen = 0;
+		rLoc = 931;
+		rType = 0;
+		vrLen = 914;
+		vrLoc = 1605;
+	};
+	273F09A00E387A1A00BA537B /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DFA0E349282006E7CF6 /* temp.c */;
+		name = "temp.c: 14";
+		rLen = 0;
+		rLoc = 511;
+		rType = 0;
+		vrLen = 755;
+		vrLoc = 0;
+	};
+	273F09A10E387A1A00BA537B /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF40E349282006E7CF6 /* main.h */;
+		name = "main.h: 48";
+		rLen = 0;
+		rLoc = 1512;
+		rType = 0;
+		vrLen = 654;
+		vrLoc = 960;
+	};
+	273F09A20E387A1A00BA537B /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF30E349282006E7CF6 /* main.c */;
+		name = "main.c: 50";
+		rLen = 0;
+		rLoc = 1438;
+		rType = 0;
+		vrLen = 836;
+		vrLoc = 280;
+	};
+	273F09A40E387A1A00BA537B /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DD50E349282006E7CF6 /* io.h */;
+		name = "io.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 837;
+		vrLoc = 677;
+	};
+	273F09A50E387A1A00BA537B /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D770E349282006E7CF6 /* abc.h */;
+		name = "abc.h: 37";
+		rLen = 0;
+		rLoc = 931;
+		rType = 0;
+		vrLen = 914;
+		vrLoc = 1605;
+	};
+	274041060E38C0DB00DC6F18 /* main.c:51 */ = {
+		isa = PBXFileBreakpoint;
+		actions = (
+		);
+		breakpointStyle = 0;
+		continueAfterActions = 0;
+		countType = 0;
+		delayBeforeContinue = 0;
+		fileReference = 27A92DF30E349282006E7CF6 /* main.c */;
+		functionName = "main()";
+		hitCount = 1;
+		ignoreCount = 0;
+		lineNumber = 51;
+		location = abc;
+		modificationTime = 238637372.018766;
+		state = 1;
+	};
+	274041130E38D01D00DC6F18 /* mainUtils.c:78 */ = {
+		isa = PBXFileBreakpoint;
+		actions = (
+		);
+		breakpointStyle = 0;
+		continueAfterActions = 0;
+		countType = 0;
+		delayBeforeContinue = 0;
+		fileReference = 27A92DF80E349282006E7CF6 /* mainUtils.c */;
+		functionName = "Abc_UtilsGetUsersInput()";
+		hitCount = 0;
+		ignoreCount = 0;
+		lineNumber = 78;
+		location = abc;
+		modificationTime = 238637369.74741;
+		state = 1;
+	};
+	274041210E38D50900DC6F18 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF60E349282006E7CF6 /* mainInit.c */;
+		name = "mainInit.c: 61";
+		rLen = 0;
+		rLoc = 2034;
+		rType = 0;
+		vrLen = 315;
+		vrLoc = 1989;
+	};
+	274041230E38D50900DC6F18 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E460E349282006E7CF6 /* extraUtilUtil.c */;
+		name = "extraUtilUtil.c: 254";
+		rLen = 0;
+		rLoc = 6224;
+		rType = 0;
+		vrLen = 246;
+		vrLoc = 6804;
+	};
+	274041280E38D50900DC6F18 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF60E349282006E7CF6 /* mainInit.c */;
+		name = "mainInit.c: 61";
+		rLen = 0;
+		rLoc = 2034;
+		rType = 0;
+		vrLen = 315;
+		vrLoc = 1989;
+	};
+	2740412B0E38D50900DC6F18 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E460E349282006E7CF6 /* extraUtilUtil.c */;
+		name = "extraUtilUtil.c: 95";
+		rLen = 0;
+		rLoc = 2480;
+		rType = 0;
+		vrLen = 316;
+		vrLoc = 2351;
+	};
+	274041720E38D73B00DC6F18 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF30E349282006E7CF6 /* main.c */;
+		name = "main.c: 213";
+		rLen = 0;
+		rLoc = 6094;
+		rType = 0;
+		vrLen = 601;
+		vrLoc = 1251;
+	};
+	2755FD8C0E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92B6E0E349280006E7CF6 /* abcCut.c */;
+		name = "abcCut.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 994;
+		vrLoc = 0;
+	};
+	2755FD8D0E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92B760E349280006E7CF6 /* cutMerge.c */;
+		name = "cutMerge.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 909;
+		vrLoc = 4785;
+	};
+	2755FD8E0E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D4D0E349281006E7CF6 /* mapper.h */;
+		name = "mapper.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 2101;
+		vrLoc = 8968;
+	};
+	2755FD8F0E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D4E0E349281006E7CF6 /* mapperCanon.c */;
+		name = "mapperCanon.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1369;
+		vrLoc = 0;
+	};
+	2755FD900E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D4F0E349281006E7CF6 /* mapperCore.c */;
+		name = "mapperCore.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1213;
+		vrLoc = 0;
+	};
+	2755FD910E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D500E349281006E7CF6 /* mapperCreate.c */;
+		name = "mapperCreate.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1387;
+		vrLoc = 0;
+	};
+	2755FD920E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D540E349281006E7CF6 /* mapperGENERIC.c */;
+		name = "mapperGENERIC.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1101;
+		vrLoc = 347;
+	};
+	2755FD930E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C100E349280006E7CF6 /* cas.h */;
+		name = "cas.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1347;
+		vrLoc = 573;
+	};
+	2755FD950E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E330E349282006E7CF6 /* unate.c */;
+		name = "unate.c: 187";
+		rLen = 0;
+		rLoc = 2901;
+		rType = 0;
+		vrLen = 918;
+		vrLoc = 3741;
+	};
+	2755FD960E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92B6E0E349280006E7CF6 /* abcCut.c */;
+		name = "abcCut.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 994;
+		vrLoc = 0;
+	};
+	2755FD970E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92B760E349280006E7CF6 /* cutMerge.c */;
+		name = "cutMerge.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 909;
+		vrLoc = 4785;
+	};
+	2755FD980E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D4D0E349281006E7CF6 /* mapper.h */;
+		name = "mapper.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 2101;
+		vrLoc = 8968;
+	};
+	2755FD990E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D4E0E349281006E7CF6 /* mapperCanon.c */;
+		name = "mapperCanon.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1369;
+		vrLoc = 0;
+	};
+	2755FD9A0E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D4F0E349281006E7CF6 /* mapperCore.c */;
+		name = "mapperCore.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1213;
+		vrLoc = 0;
+	};
+	2755FD9B0E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D500E349281006E7CF6 /* mapperCreate.c */;
+		name = "mapperCreate.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1387;
+		vrLoc = 0;
+	};
+	2755FD9C0E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92D540E349281006E7CF6 /* mapperGENERIC.c */;
+		name = "mapperGENERIC.c: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1101;
+		vrLoc = 347;
+	};
+	2755FD9D0E35986F0031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C100E349280006E7CF6 /* cas.h */;
+		name = "cas.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1347;
+		vrLoc = 573;
+	};
+	2755FDCC0E3821400031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C110E349280006E7CF6 /* casCore.c */;
+		name = "casCore.c: 82";
+		rLen = 0;
+		rLoc = 3380;
+		rType = 0;
+		vrLen = 870;
+		vrLoc = 2963;
+	};
+	2755FDCD0E3821400031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E600E349283006E7CF6 /* mvcUtils.c */;
+		name = "mvcUtils.c: 283";
+		rLen = 5;
+		rLoc = 8137;
+		rType = 0;
+		vrLen = 868;
+		vrLoc = 7715;
+	};
+	2755FDD00E3821400031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C110E349280006E7CF6 /* casCore.c */;
+		name = "casCore.c: 82";
+		rLen = 0;
+		rLoc = 3380;
+		rType = 0;
+		vrLen = 870;
+		vrLoc = 2963;
+	};
+	2755FDD10E3821400031A656 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E600E349283006E7CF6 /* mvcUtils.c */;
+		name = "mvcUtils.c: 283";
+		rLen = 5;
+		rLoc = 8137;
+		rType = 0;
+		vrLen = 868;
+		vrLoc = 7715;
+	};
+	27A92B5E0E34922E006E7CF6 /* abc */ = {
+		isa = PBXExecutable;
+		activeArgIndices = (
+		);
+		argumentStrings = (
+		);
+		autoAttachOnCrash = 1;
+		breakpointsEnabled = 1;
+		configStateDict = {
+			"PBXLSLaunchAction-0" = {
+				PBXLSLaunchAction = 0;
+				PBXLSLaunchStartAction = 1;
+				PBXLSLaunchStdioStyle = 2;
+				PBXLSLaunchStyle = 0;
+				class = PBXLSRunLaunchConfig;
+				commandLineArgs = (
+				);
+				displayName = "Executable Runner";
+				environment = {
+				};
+				identifier = com.apple.Xcode.launch.runConfig;
+				remoteHostInfo = "";
+				startActionInfo = "";
+			};
+			"PBXLSLaunchAction-1" = {
+				PBXLSLaunchAction = 1;
+				PBXLSLaunchStartAction = 1;
+				PBXLSLaunchStdioStyle = 2;
+				PBXLSLaunchStyle = 0;
+				class = PBXGDB_LaunchConfig;
+				commandLineArgs = (
+				);
+				displayName = GDB;
+				environment = {
+				};
+				identifier = com.apple.Xcode.launch.GDBMI_Config;
+				remoteHostInfo = "";
+				startActionInfo = "";
+			};
+		};
+		customDataFormattersEnabled = 1;
+		debuggerPlugin = GDBDebugging;
+		disassemblyDisplayState = 0;
+		dylibVariantSuffix = "";
+		enableDebugStr = 1;
+		environmentEntries = (
+		);
+		executableSystemSymbolLevel = 0;
+		executableUserSymbolLevel = 0;
+		libgmallocEnabled = 0;
+		name = abc;
+		savedGlobals = {
+		};
+		sourceDirectories = (
+		);
+		variableFormatDictionary = {
+		};
+	};
+	27A92B690E34923D006E7CF6 /* Source Control */ = {
+		isa = PBXSourceControlManager;
+		fallbackIsa = XCSourceControlManager;
+		isSCMEnabled = 0;
+		scmConfiguration = {
+		};
+	};
+	27A92B6A0E34923D006E7CF6 /* Code sense */ = {
+		isa = PBXCodeSenseManager;
+		indexTemplatePath = "";
+	};
+	27A92B6E0E349280006E7CF6 /* abcCut.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 7000}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 994}";
+		};
+	};
+	27A92B760E349280006E7CF6 /* cutMerge.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 9198}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{4785, 909}";
+		};
+	};
+	27A92BAF0E349280006E7CF6 /* resSim_old.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 7224}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 636}";
+		};
+	};
+	27A92BD50E349280006E7CF6 /* generic.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 896}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 1021}";
+		};
+	};
+	27A92BFE0E349280006E7CF6 /* msatInt.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 4662}}";
+			sepNavSelRange = "{1826, 28}";
+			sepNavVisRange = "{1111, 1650}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92C010E349280006E7CF6 /* msatOrderJ.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 6608}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 776}";
+		};
+	};
+	27A92C100E349280006E7CF6 /* cas.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 910}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{573, 1347}";
+		};
+	};
+	27A92C110E349280006E7CF6 /* casCore.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 17360}}";
+			sepNavSelRange = "{3380, 0}";
+			sepNavVisRange = "{2963, 870}";
+		};
+	};
+	27A92C2D0E349280006E7CF6 /* cuddDecomp.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 30478}}";
+			sepNavSelRange = "{42831, 8}";
+			sepNavVisRange = "{42435, 818}";
+		};
+	};
+	27A92C310E349280006E7CF6 /* cuddGenCof.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 27202}}";
+			sepNavSelRange = "{5663, 8}";
+			sepNavVisRange = "{5348, 658}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92C580E349281006E7CF6 /* testcudd.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 13706}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 782}";
+		};
+	};
+	27A92C7F0E349281006E7CF6 /* generic.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 714}}";
+			sepNavSelRange = "{468, 20}";
+			sepNavVisRange = "{0, 1069}";
+		};
+	};
+	27A92C820E349281006E7CF6 /* aig.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 8358}}";
+			sepNavSelRange = "{1390, 49}";
+			sepNavVisRange = "{901, 1081}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92C850E349281006E7CF6 /* aigDfs.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 10176}}";
+			sepNavSelRange = "{13510, 0}";
+			sepNavVisRange = "{7567, 867}";
+		};
+	};
+	27A92C870E349281006E7CF6 /* aigMan.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 4606}}";
+			sepNavSelRange = "{1348, 43}";
+			sepNavVisRange = "{525, 1532}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92CE00E349281006E7CF6 /* cudd2.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 5068}}";
+			sepNavSelRange = "{1965, 40}";
+			sepNavVisRange = "{1516, 764}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92CE20E349281006E7CF6 /* hop.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1302, 4872}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{3631, 3108}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92CF60E349281006E7CF6 /* ivy.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 8372}}";
+			sepNavSelRange = "{1388, 49}";
+			sepNavVisRange = "{2070, 1848}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92D060E349281006E7CF6 /* ivyMulti8.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 6048}}";
+			sepNavSelRange = "{274, 0}";
+			sepNavVisRange = "{0, 718}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92D0B0E349281006E7CF6 /* ivyRwrAlg.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 5736}}";
+			sepNavSelRange = "{2940, 65}";
+			sepNavVisRange = "{2571, 969}";
+		};
+	};
+	27A92D3C0E349281006E7CF6 /* fpgaVec.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 5582}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 1405}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92D4C0E349281006E7CF6 /* mapper.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 2604}}";
+			sepNavSelRange = "{1397, 14}";
+			sepNavVisRange = "{1106, 889}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92D4D0E349281006E7CF6 /* mapper.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 2744}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{8968, 2101}";
+		};
+	};
+	27A92D4E0E349281006E7CF6 /* mapperCanon.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 3780}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 1369}";
+		};
+	};
+	27A92D4F0E349281006E7CF6 /* mapperCore.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 3220}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 1213}";
+		};
+	};
+	27A92D500E349281006E7CF6 /* mapperCreate.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 8316}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 1387}";
+		};
+	};
+	27A92D540E349281006E7CF6 /* mapperGENERIC.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 658}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{347, 1101}";
+		};
+	};
+	27A92D770E349282006E7CF6 /* abc.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1590, 12502}}";
+			sepNavSelRange = "{26732, 0}";
+			sepNavVisRange = "{12385, 1622}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92D860E349282006E7CF6 /* abcNtk.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 17094}}";
+			sepNavSelRange = "{4224, 0}";
+			sepNavVisRange = "{3910, 628}";
+		};
+	};
+	27A92D870E349282006E7CF6 /* abcObj.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 13636}}";
+			sepNavSelRange = "{10191, 0}";
+			sepNavVisRange = "{9836, 490}";
+		};
+	};
+	27A92D8E0E349282006E7CF6 /* abc.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 178332}}";
+			sepNavSelRange = "{290028, 0}";
+			sepNavVisRange = "{290021, 526}";
+		};
+	};
+	27A92D920E349282006E7CF6 /* abcBalance.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 8484}}";
+			sepNavSelRange = "{2298, 0}";
+			sepNavVisRange = "{1940, 604}";
+		};
+	};
+	27A92D970E349282006E7CF6 /* abcCut.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 8750}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{167, 774}";
+		};
+	};
+	27A92DB10E349282006E7CF6 /* abcPlace.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 3556}}";
+			sepNavSelRange = "{576, 25}";
+			sepNavVisRange = "{258, 683}";
+		};
+	};
+	27A92DC40E349282006E7CF6 /* abcUnate.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 2170}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 1336}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DC80E349282006E7CF6 /* module.make */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 784}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{478, 716}";
+		};
+	};
+	27A92DCA0E349282006E7CF6 /* cmd.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 22820}}";
+			sepNavSelRange = "{4544, 0}";
+			sepNavVisRange = "{2742, 2018}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DCB0E349282006E7CF6 /* cmd.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 1036}}";
+			sepNavSelRange = "{2768, 0}";
+			sepNavVisRange = "{928, 2086}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DCD0E349282006E7CF6 /* cmdApi.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 1512}}";
+			sepNavSelRange = "{2785, 0}";
+			sepNavVisRange = "{2484, 423}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DCE0E349282006E7CF6 /* cmdFlag.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 1386}}";
+			sepNavSelRange = "{1654, 0}";
+			sepNavVisRange = "{1241, 438}";
+		};
+	};
+	27A92DCF0E349282006E7CF6 /* cmdHist.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 784}}";
+			sepNavSelRange = "{1568, 0}";
+			sepNavVisRange = "{1201, 446}";
+		};
+	};
+	27A92DD10E349282006E7CF6 /* cmdUtils.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 9016}}";
+			sepNavSelRange = "{3526, 0}";
+			sepNavVisRange = "{3266, 541}";
+		};
+	};
+	27A92DD40E349282006E7CF6 /* io.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 26236}}";
+			sepNavSelRange = "{3837, 36}";
+			sepNavVisRange = "{3341, 2202}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DD50E349282006E7CF6 /* io.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 2422}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{677, 837}";
+		};
+	};
+	27A92DF30E349282006E7CF6 /* main.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 4466}}";
+			sepNavSelRange = "{1588, 0}";
+			sepNavVisRange = "{1326, 503}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DF40E349282006E7CF6 /* main.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 1918}}";
+			sepNavSelRange = "{1512, 0}";
+			sepNavVisRange = "{960, 654}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DF50E349282006E7CF6 /* mainFrame.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 7364}}";
+			sepNavSelRange = "{7049, 0}";
+			sepNavVisRange = "{6906, 299}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DF60E349282006E7CF6 /* mainInit.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 1512}}";
+			sepNavSelRange = "{2034, 0}";
+			sepNavVisRange = "{1989, 315}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DF70E349282006E7CF6 /* mainInt.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 1540}}";
+			sepNavSelRange = "{832, 0}";
+			sepNavVisRange = "{267, 1411}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DF80E349282006E7CF6 /* mainUtils.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 3990}}";
+			sepNavSelRange = "{1783, 44}";
+			sepNavVisRange = "{1569, 573}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92DFA0E349282006E7CF6 /* temp.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 1162}}";
+			sepNavSelRange = "{511, 0}";
+			sepNavVisRange = "{0, 755}";
+		};
+	};
+	27A92E130E349282006E7CF6 /* espresso.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 11130}}";
+			sepNavSelRange = "{1704, 29}";
+			sepNavVisRange = "{814, 1651}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92E330E349282006E7CF6 /* unate.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 6258}}";
+			sepNavSelRange = "{10139, 15}";
+			sepNavVisRange = "{9874, 661}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92E410E349282006E7CF6 /* extraUtilMemory.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 8946}}";
+			sepNavSelRange = "{7240, 0}";
+			sepNavVisRange = "{8045, 539}";
+		};
+	};
+	27A92E460E349282006E7CF6 /* extraUtilUtil.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 4620}}";
+			sepNavSelRange = "{2934, 0}";
+			sepNavVisRange = "{3757, 304}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92E600E349283006E7CF6 /* mvcUtils.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 12222}}";
+			sepNavSelRange = "{8137, 5}";
+			sepNavVisRange = "{7715, 868}";
+		};
+	};
+	27A92E660E349283006E7CF6 /* nmTable.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 4760}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{5092, 656}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92E690E349283006E7CF6 /* st.c */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 8652}}";
+			sepNavSelRange = "{3367, 0}";
+			sepNavVisRange = "{3486, 200}";
+		};
+	};
+	27A92E6A0E349283006E7CF6 /* st.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 1358}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 462}";
+		};
+	};
+	27A92E6E0E349283006E7CF6 /* leaks.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 434}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{0, 1112}";
+		};
+	};
+	27A92E710E349283006E7CF6 /* util_hack.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {691, 1344}}";
+			sepNavSelRange = "{2287, 45}";
+			sepNavVisRange = "{1599, 1173}";
+			sepNavWindowFrame = "{{15, 76}, {750, 697}}";
+		};
+	};
+	27A92E740E349283006E7CF6 /* vec.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1012, 1554}}";
+			sepNavSelRange = "{0, 0}";
+			sepNavVisRange = "{788, 1041}";
+		};
+	};
+	27A92E780E349283006E7CF6 /* vecPtr.h */ = {
+		uiCtxt = {
+			sepNavIntBoundsRect = "{{0, 0}, {1219, 10864}}";
+			sepNavSelRange = "{16340, 0}";
+			sepNavVisRange = "{16340, 305}";
+		};
+	};
+	27A930B60E3492E6006E7CF6 /* abcDar.c */ = {
+		isa = PBXFileReference;
+		lastKnownFileType = sourcecode.c.c;
+		name = abcDar.c;
+		path = "/Users/raiyan/Documents/Xcode Projects/abc/base/abci/abcDar.c";
+		sourceTree = "<absolute>";
+	};
+	27A930BD0E3494E8006E7CF6 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92BD50E349280006E7CF6 /* generic.h */;
+		name = "generic.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1021;
+		vrLoc = 0;
+	};
+	27A930BE0E3494E8006E7CF6 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A930B60E3492E6006E7CF6 /* abcDar.c */;
+		name = "abcDar.c: 282";
+		rLen = 0;
+		rLoc = 10649;
+		rType = 0;
+		vrLen = 916;
+		vrLoc = 10295;
+	};
+	27A930BF0E3494E8006E7CF6 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C7F0E349281006E7CF6 /* generic.c */;
+		name = "generic.c: 21";
+		rLen = 20;
+		rLoc = 468;
+		rType = 0;
+		vrLen = 1014;
+		vrLoc = 0;
+	};
+	27A930C10E3494E8006E7CF6 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C850E349281006E7CF6 /* aigDfs.c */;
+		name = "aigDfs.c: 452";
+		rLen = 0;
+		rLoc = 13510;
+		rType = 0;
+		vrLen = 798;
+		vrLoc = 7567;
+	};
+	27A930C30E3494E8006E7CF6 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92BD50E349280006E7CF6 /* generic.h */;
+		name = "generic.h: 1";
+		rLen = 0;
+		rLoc = 0;
+		rType = 0;
+		vrLen = 1021;
+		vrLoc = 0;
+	};
+	27A930C40E3494E8006E7CF6 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A930B60E3492E6006E7CF6 /* abcDar.c */;
+		name = "abcDar.c: 282";
+		rLen = 0;
+		rLoc = 10649;
+		rType = 0;
+		vrLen = 916;
+		vrLoc = 10295;
+	};
+	27A930C50E3494E8006E7CF6 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C7F0E349281006E7CF6 /* generic.c */;
+		name = "generic.c: 21";
+		rLen = 20;
+		rLoc = 468;
+		rType = 0;
+		vrLen = 1014;
+		vrLoc = 0;
+	};
+	27A930C60E3494E8006E7CF6 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C820E349281006E7CF6 /* aig.h */;
+		name = "aig.h: 69";
+		rLen = 31;
+		rLoc = 2287;
+		rType = 0;
+		vrLen = 1509;
+		vrLoc = 1016;
+	};
+	27A930C70E3494E8006E7CF6 /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92C850E349281006E7CF6 /* aigDfs.c */;
+		name = "aigDfs.c: 452";
+		rLen = 0;
+		rLoc = 13510;
+		rType = 0;
+		vrLen = 798;
+		vrLoc = 7567;
+	};
+	27F2A0390E3951350056453A /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E330E349282006E7CF6 /* unate.c */;
+		name = "unate.c: 419";
+		rLen = 15;
+		rLoc = 10139;
+		rType = 0;
+		vrLen = 661;
+		vrLoc = 9874;
+	};
+	27F2A03A0E3951350056453A /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		comments = "warning: unused variable 'Buffer'";
+		fRef = 27A92DF80E349282006E7CF6 /* mainUtils.c */;
+		rLen = 1;
+		rLoc = 66;
+		rType = 1;
+	};
+	27F2A03B0E3951350056453A /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92E330E349282006E7CF6 /* unate.c */;
+		name = "unate.c: 419";
+		rLen = 15;
+		rLoc = 10139;
+		rType = 0;
+		vrLen = 661;
+		vrLoc = 9874;
+	};
+	27F2A0450E39514F0056453A /* PBXTextBookmark */ = {
+		isa = PBXTextBookmark;
+		fRef = 27A92DF80E349282006E7CF6 /* mainUtils.c */;
+		name = "mainUtils.c: 67";
+		rLen = 44;
+		rLoc = 1783;
+		rType = 0;
+		vrLen = 516;
+		vrLoc = 1569;
+	};
+	8DD76FA90486AB0100D96B5E /* abc */ = {
+		activeExec = 0;
+		executables = (
+			27A92B5E0E34922E006E7CF6 /* abc */,
+		);
+	};
+}