Version abc71001

1 files changed, 0 insertions, 1622 deletions

diff --git a/abc70930/src/abc.xcodeproj/raiyan.pbxuser b/abc70930/src/abc.xcodeproj/raiyan.pbxuser
deleted file mode 100644
index 1de27f67..00000000
--- a/abc70930/src/abc.xcodeproj/raiyan.pbxuser
+++ /dev/null
@@ -1,1622 +0,0 @@
-// !$*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 */,
-		);
-	};
-}