summaryrefslogtreecommitdiffstats
path: root/abc70930/src/abc.xcodeproj/raiyan.pbxuser
diff options
context:
space:
mode:
Diffstat (limited to 'abc70930/src/abc.xcodeproj/raiyan.pbxuser')
-rw-r--r--abc70930/src/abc.xcodeproj/raiyan.pbxuser1622
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 */,
+ );
+ };
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-29 17:14:04 +0000