// !$*UTF8*$! { archiveVersion = 1; classes = { }; objectVersion = 46; objects = { /* Begin PBXBuildFile section */ D18FF8821BD0404700D18F2D /* Madness.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D18FF8811BD0404700D18F2D /* Madness.framework */; }; D1A0934E1BD18969005A6326 /* JSONLeaf.swift in Sources */ = {isa = PBXBuildFile; fileRef = D1A0934C1BD188F5005A6326 /* JSONLeaf.swift */; settings = {ASSET_TAGS = (); }; }; D1A0934F1BD189B4005A6326 /* JSONParser.swift in Sources */ = {isa = PBXBuildFile; fileRef = D1A0934A1BD188CA005A6326 /* JSONParser.swift */; settings = {ASSET_TAGS = (); }; }; D40B89C41BC319070078E098 /* Matrix.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40B89C31BC319070078E098 /* Matrix.swift */; settings = {ASSET_TAGS = (); }; }; D40B89C81BC439000078E098 /* Assertions.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D40B89C71BC439000078E098 /* Assertions.framework */; }; D40D72541BCEEB1F001B7A9E /* InterpreterTests.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D72531BCEEB1F001B7A9E /* InterpreterTests.swift */; settings = {ASSET_TAGS = (); }; }; D40D72561BCFF360001B7A9E /* Interpreter.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D72551BCFF360001B7A9E /* Interpreter.swift */; settings = {ASSET_TAGS = (); }; }; D40D725A1BD15321001B7A9E /* SwiftCheck.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D40D72591BD15321001B7A9E /* SwiftCheck.framework */; }; D40D725C1BD15417001B7A9E /* RangedTerm.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D725B1BD15417001B7A9E /* RangedTerm.swift */; settings = {ASSET_TAGS = (); }; }; D40D725E1BD1826C001B7A9E /* TermTests.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D725D1BD1826C001B7A9E /* TermTests.swift */; settings = {ASSET_TAGS = (); }; }; D40D72601BD19E69001B7A9E /* DiffTests.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D725F1BD19E69001B7A9E /* DiffTests.swift */; settings = {ASSET_TAGS = (); }; }; D40D72621BD1A07E001B7A9E /* UnannotatedTerm.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D72611BD1A07E001B7A9E /* UnannotatedTerm.swift */; settings = {ASSET_TAGS = (); }; }; D40D72641BD1A0C1001B7A9E /* RangedDiff.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D72631BD1A0C1001B7A9E /* RangedDiff.swift */; settings = {ASSET_TAGS = (); }; }; D42F096B1BCCC41600B95610 /* Either.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09671BCCC41600B95610 /* Either.framework */; }; D42F096C1BCCC41600B95610 /* Memo.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09681BCCC41600B95610 /* Memo.framework */; }; D42F096D1BCCC41600B95610 /* Prelude.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09691BCCC41600B95610 /* Prelude.framework */; }; D42F096E1BCCC41600B95610 /* Stream.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F096A1BCCC41600B95610 /* Stream.framework */; }; D42F09731BCCC5CE00B95610 /* Either.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09671BCCC41600B95610 /* Either.framework */; }; D42F09741BCCC5CE00B95610 /* Memo.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09681BCCC41600B95610 /* Memo.framework */; }; D42F09751BCCC5CE00B95610 /* Prelude.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09691BCCC41600B95610 /* Prelude.framework */; }; D42F09761BCCC5CE00B95610 /* Stream.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F096A1BCCC41600B95610 /* Stream.framework */; }; D42F09771BCCC5DC00B95610 /* Either.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09671BCCC41600B95610 /* Either.framework */; }; D42F09781BCCC5DC00B95610 /* Memo.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09681BCCC41600B95610 /* Memo.framework */; }; D42F09791BCCC5DC00B95610 /* Prelude.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09691BCCC41600B95610 /* Prelude.framework */; }; D42F097A1BCCC5DC00B95610 /* Stream.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F096A1BCCC41600B95610 /* Stream.framework */; }; D42F097C1BCE914A00B95610 /* Cofree.swift in Sources */ = {isa = PBXBuildFile; fileRef = D42F097B1BCE914A00B95610 /* Cofree.swift */; settings = {ASSET_TAGS = (); }; }; D42F097E1BCEAEDA00B95610 /* Operation.swift in Sources */ = {isa = PBXBuildFile; fileRef = D42F097D1BCEAEDA00B95610 /* Operation.swift */; settings = {ASSET_TAGS = (); }; }; D42F09801BCECB7900B95610 /* TermType.swift in Sources */ = {isa = PBXBuildFile; fileRef = D42F097F1BCECB7900B95610 /* TermType.swift */; settings = {ASSET_TAGS = (); }; }; D432D4711BA9AC0B00F3FABC /* SESTests.swift in Sources */ = {isa = PBXBuildFile; fileRef = D432D4701BA9AC0B00F3FABC /* SESTests.swift */; }; D4413FEF1BB06D4C00E3C3C1 /* Dictionary.swift in Sources */ = {isa = PBXBuildFile; fileRef = D4413FEE1BB06D4C00E3C3C1 /* Dictionary.swift */; }; D4413FF11BB08FDC00E3C3C1 /* JSON.swift in Sources */ = {isa = PBXBuildFile; fileRef = D4413FF01BB08FDC00E3C3C1 /* JSON.swift */; }; D45A36C91BBC667D00BE3DDE /* Categorizable.swift in Sources */ = {isa = PBXBuildFile; fileRef = D45A36C81BBC667D00BE3DDE /* Categorizable.swift */; settings = {ASSET_TAGS = (); }; }; D49FCBC41BBEF98E00C5E9C3 /* Free.swift in Sources */ = {isa = PBXBuildFile; fileRef = D49FCBC31BBEF98E00C5E9C3 /* Free.swift */; settings = {ASSET_TAGS = (); }; }; D49FCBC61BBF214300C5E9C3 /* Patch.swift in Sources */ = {isa = PBXBuildFile; fileRef = D49FCBC51BBF214300C5E9C3 /* Patch.swift */; settings = {ASSET_TAGS = (); }; }; D49FCBC81BBF2C4300C5E9C3 /* Algorithm.swift in Sources */ = {isa = PBXBuildFile; fileRef = D49FCBC71BBF2C4300C5E9C3 /* Algorithm.swift */; settings = {ASSET_TAGS = (); }; }; D4AAE50E1B5AE22E004E581F /* Doubt.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D4AAE4FD1B5AE22E004E581F /* Doubt.framework */; }; D4AAE5401B5AE2D0004E581F /* RangeReplaceableCollectionType.swift in Sources */ = {isa = PBXBuildFile; fileRef = D4AAE5351B5AE2D0004E581F /* RangeReplaceableCollectionType.swift */; }; D4AAE5451B5AE2D0004E581F /* Operators.swift in Sources */ = {isa = PBXBuildFile; fileRef = D4AAE53A1B5AE2D0004E581F /* Operators.swift */; }; D4AAE5471B5AE2D0004E581F /* Optional.swift in Sources */ = {isa = PBXBuildFile; fileRef = D4AAE53C1B5AE2D0004E581F /* Optional.swift */; }; D4AAE5491B5AE2D0004E581F /* StringLiteralConvertible.swift in Sources */ = {isa = PBXBuildFile; fileRef = D4AAE53E1B5AE2D0004E581F /* StringLiteralConvertible.swift */; }; D4AAE54A1B5AE2D0004E581F /* Syntax.swift in Sources */ = {isa = PBXBuildFile; fileRef = D4AAE53F1B5AE2D0004E581F /* Syntax.swift */; }; D4DF96ED1BC46B630040F41F /* SES.swift in Sources */ = {isa = PBXBuildFile; fileRef = D4DF96EC1BC46B630040F41F /* SES.swift */; settings = {ASSET_TAGS = (); }; }; D4DF970A1BC5DF800040F41F /* main.swift in Sources */ = {isa = PBXBuildFile; fileRef = D4DF97091BC5DF800040F41F /* main.swift */; settings = {ASSET_TAGS = (); }; }; D4DF970C1BC5DF9E0040F41F /* BoundsCheckedArray.swift in Sources */ = {isa = PBXBuildFile; fileRef = D435B7521BB31BBC000902F6 /* BoundsCheckedArray.swift */; settings = {ASSET_TAGS = (); }; }; D4DF970D1BC5E1B40040F41F /* Doubt.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D4AAE4FD1B5AE22E004E581F /* Doubt.framework */; }; /* End PBXBuildFile section */ /* Begin PBXContainerItemProxy section */ D4AAE50F1B5AE22E004E581F /* PBXContainerItemProxy */ = { isa = PBXContainerItemProxy; containerPortal = D4AAE4F41B5AE22E004E581F /* Project object */; proxyType = 1; remoteGlobalIDString = D4AAE4FC1B5AE22E004E581F; remoteInfo = Doubt; }; /* End PBXContainerItemProxy section */ /* Begin PBXFileReference section */ D18FF8811BD0404700D18F2D /* Madness.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; name = Madness.framework; path = "../../../../Library/Developer/Xcode/DerivedData/Doubt-gibmbsxjgxflybarnuoisglmgdll/Build/Products/Debug/Madness.framework"; sourceTree = ""; }; D1A0934A1BD188CA005A6326 /* JSONParser.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = JSONParser.swift; sourceTree = ""; }; D1A0934C1BD188F5005A6326 /* JSONLeaf.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = JSONLeaf.swift; sourceTree = ""; }; D40B89C31BC319070078E098 /* Matrix.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Matrix.swift; sourceTree = ""; }; D40B89C71BC439000078E098 /* Assertions.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; path = Assertions.framework; sourceTree = BUILT_PRODUCTS_DIR; }; D40D72531BCEEB1F001B7A9E /* InterpreterTests.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = InterpreterTests.swift; sourceTree = ""; }; D40D72551BCFF360001B7A9E /* Interpreter.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Interpreter.swift; sourceTree = ""; }; D40D72591BD15321001B7A9E /* SwiftCheck.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; path = SwiftCheck.framework; sourceTree = BUILT_PRODUCTS_DIR; }; D40D725B1BD15417001B7A9E /* RangedTerm.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = RangedTerm.swift; sourceTree = ""; }; D40D725D1BD1826C001B7A9E /* TermTests.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TermTests.swift; sourceTree = ""; }; D40D725F1BD19E69001B7A9E /* DiffTests.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = DiffTests.swift; sourceTree = ""; }; D40D72611BD1A07E001B7A9E /* UnannotatedTerm.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = UnannotatedTerm.swift; sourceTree = ""; }; D40D72631BD1A0C1001B7A9E /* RangedDiff.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = RangedDiff.swift; sourceTree = ""; }; D42F09671BCCC41600B95610 /* Either.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; path = Either.framework; sourceTree = BUILT_PRODUCTS_DIR; }; D42F09681BCCC41600B95610 /* Memo.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; path = Memo.framework; sourceTree = BUILT_PRODUCTS_DIR; }; D42F09691BCCC41600B95610 /* Prelude.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; path = Prelude.framework; sourceTree = BUILT_PRODUCTS_DIR; }; D42F096A1BCCC41600B95610 /* Stream.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; path = Stream.framework; sourceTree = BUILT_PRODUCTS_DIR; }; D42F097B1BCE914A00B95610 /* Cofree.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Cofree.swift; sourceTree = ""; }; D42F097D1BCEAEDA00B95610 /* Operation.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Operation.swift; sourceTree = ""; }; D42F097F1BCECB7900B95610 /* TermType.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TermType.swift; sourceTree = ""; }; D432D4701BA9AC0B00F3FABC /* SESTests.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = SESTests.swift; sourceTree = ""; }; D435B7521BB31BBC000902F6 /* BoundsCheckedArray.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = BoundsCheckedArray.swift; sourceTree = ""; }; D4413FEE1BB06D4C00E3C3C1 /* Dictionary.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Dictionary.swift; sourceTree = ""; }; D4413FF01BB08FDC00E3C3C1 /* JSON.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = JSON.swift; sourceTree = ""; }; D45A36C81BBC667D00BE3DDE /* Categorizable.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Categorizable.swift; sourceTree = ""; }; D49FCBC31BBEF98E00C5E9C3 /* Free.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Free.swift; sourceTree = ""; }; D49FCBC51BBF214300C5E9C3 /* Patch.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Patch.swift; sourceTree = ""; }; D49FCBC71BBF2C4300C5E9C3 /* Algorithm.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Algorithm.swift; sourceTree = ""; }; D4AAE4FD1B5AE22E004E581F /* Doubt.framework */ = {isa = PBXFileReference; explicitFileType = wrapper.framework; includeInIndex = 0; path = Doubt.framework; sourceTree = BUILT_PRODUCTS_DIR; }; D4AAE5011B5AE22E004E581F /* Info.plist */ = {isa = PBXFileReference; lastKnownFileType = text.plist.xml; path = Info.plist; sourceTree = ""; }; D4AAE50D1B5AE22E004E581F /* DoubtTests.xctest */ = {isa = PBXFileReference; explicitFileType = wrapper.cfbundle; includeInIndex = 0; path = DoubtTests.xctest; sourceTree = BUILT_PRODUCTS_DIR; }; D4AAE5141B5AE22E004E581F /* Info.plist */ = {isa = PBXFileReference; lastKnownFileType = text.plist.xml; path = Info.plist; sourceTree = ""; }; D4AAE5351B5AE2D0004E581F /* RangeReplaceableCollectionType.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = RangeReplaceableCollectionType.swift; sourceTree = ""; }; D4AAE53A1B5AE2D0004E581F /* Operators.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Operators.swift; sourceTree = ""; }; D4AAE53C1B5AE2D0004E581F /* Optional.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Optional.swift; sourceTree = ""; }; D4AAE53E1B5AE2D0004E581F /* StringLiteralConvertible.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = StringLiteralConvertible.swift; sourceTree = ""; }; D4AAE53F1B5AE2D0004E581F /* Syntax.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = Syntax.swift; sourceTree = ""; }; D4DF96EC1BC46B630040F41F /* SES.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = SES.swift; sourceTree = ""; }; D4DF96F01BC54C970040F41F /* Doubt.modulemap */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = "sourcecode.module-map"; path = Doubt.modulemap; sourceTree = ""; }; D4DF96FB1BC5DF050040F41F /* doubt-json.app */ = {isa = PBXFileReference; explicitFileType = wrapper.application; includeInIndex = 0; path = "doubt-json.app"; sourceTree = BUILT_PRODUCTS_DIR; }; D4DF97091BC5DF800040F41F /* main.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = main.swift; sourceTree = ""; }; /* End PBXFileReference section */ /* Begin PBXFrameworksBuildPhase section */ D4AAE4F91B5AE22E004E581F /* Frameworks */ = { isa = PBXFrameworksBuildPhase; buildActionMask = 2147483647; files = ( D18FF8821BD0404700D18F2D /* Madness.framework in Frameworks */, D42F096B1BCCC41600B95610 /* Either.framework in Frameworks */, D42F096C1BCCC41600B95610 /* Memo.framework in Frameworks */, D42F096D1BCCC41600B95610 /* Prelude.framework in Frameworks */, D42F096E1BCCC41600B95610 /* Stream.framework in Frameworks */, ); runOnlyForDeploymentPostprocessing = 0; }; D4AAE50A1B5AE22E004E581F /* Frameworks */ = { isa = PBXFrameworksBuildPhase; buildActionMask = 2147483647; files = ( D40D725A1BD15321001B7A9E /* SwiftCheck.framework in Frameworks */, D40B89C81BC439000078E098 /* Assertions.framework in Frameworks */, D4AAE50E1B5AE22E004E581F /* Doubt.framework in Frameworks */, D42F09771BCCC5DC00B95610 /* Either.framework in Frameworks */, D42F09781BCCC5DC00B95610 /* Memo.framework in Frameworks */, D42F09791BCCC5DC00B95610 /* Prelude.framework in Frameworks */, D42F097A1BCCC5DC00B95610 /* Stream.framework in Frameworks */, ); runOnlyForDeploymentPostprocessing = 0; }; D4DF96F81BC5DF050040F41F /* Frameworks */ = { isa = PBXFrameworksBuildPhase; buildActionMask = 2147483647; files = ( D4DF970D1BC5E1B40040F41F /* Doubt.framework in Frameworks */, D42F09731BCCC5CE00B95610 /* Either.framework in Frameworks */, D42F09741BCCC5CE00B95610 /* Memo.framework in Frameworks */, D42F09751BCCC5CE00B95610 /* Prelude.framework in Frameworks */, D42F09761BCCC5CE00B95610 /* Stream.framework in Frameworks */, ); runOnlyForDeploymentPostprocessing = 0; }; /* End PBXFrameworksBuildPhase section */ /* Begin PBXGroup section */ D4AAE4F31B5AE22E004E581F = { isa = PBXGroup; children = ( D4AAE4FF1B5AE22E004E581F /* Doubt */, D4AAE5111B5AE22E004E581F /* DoubtTests */, D4DF96FC1BC5DF050040F41F /* doubt-json */, D4AAE4FE1B5AE22E004E581F /* Products */, ); sourceTree = ""; }; D4AAE4FE1B5AE22E004E581F /* Products */ = { isa = PBXGroup; children = ( D4AAE4FD1B5AE22E004E581F /* Doubt.framework */, D4AAE50D1B5AE22E004E581F /* DoubtTests.xctest */, D4DF96FB1BC5DF050040F41F /* doubt-json.app */, ); name = Products; sourceTree = ""; }; D4AAE4FF1B5AE22E004E581F /* Doubt */ = { isa = PBXGroup; children = ( D4AAE5351B5AE2D0004E581F /* RangeReplaceableCollectionType.swift */, D4AAE53A1B5AE2D0004E581F /* Operators.swift */, D4AAE53C1B5AE2D0004E581F /* Optional.swift */, D4AAE53E1B5AE2D0004E581F /* StringLiteralConvertible.swift */, D4AAE53F1B5AE2D0004E581F /* Syntax.swift */, D4413FEE1BB06D4C00E3C3C1 /* Dictionary.swift */, D4413FF01BB08FDC00E3C3C1 /* JSON.swift */, D40B89C31BC319070078E098 /* Matrix.swift */, D45A36C81BBC667D00BE3DDE /* Categorizable.swift */, D49FCBC31BBEF98E00C5E9C3 /* Free.swift */, D42F097B1BCE914A00B95610 /* Cofree.swift */, D49FCBC51BBF214300C5E9C3 /* Patch.swift */, D49FCBC71BBF2C4300C5E9C3 /* Algorithm.swift */, D42F097D1BCEAEDA00B95610 /* Operation.swift */, D4DF96EC1BC46B630040F41F /* SES.swift */, D435B7521BB31BBC000902F6 /* BoundsCheckedArray.swift */, D42F097F1BCECB7900B95610 /* TermType.swift */, D1A0934A1BD188CA005A6326 /* JSONParser.swift */, D1A0934C1BD188F5005A6326 /* JSONLeaf.swift */, D40D72551BCFF360001B7A9E /* Interpreter.swift */, D4AAE5001B5AE22E004E581F /* Supporting Files */, ); path = Doubt; sourceTree = ""; }; D4AAE5001B5AE22E004E581F /* Supporting Files */ = { isa = PBXGroup; children = ( D4AAE5011B5AE22E004E581F /* Info.plist */, D4DF96F01BC54C970040F41F /* Doubt.modulemap */, D42F09671BCCC41600B95610 /* Either.framework */, D42F09681BCCC41600B95610 /* Memo.framework */, D18FF8811BD0404700D18F2D /* Madness.framework */, D42F09691BCCC41600B95610 /* Prelude.framework */, D42F096A1BCCC41600B95610 /* Stream.framework */, ); name = "Supporting Files"; sourceTree = ""; }; D4AAE5111B5AE22E004E581F /* DoubtTests */ = { isa = PBXGroup; children = ( D432D4701BA9AC0B00F3FABC /* SESTests.swift */, D40D72531BCEEB1F001B7A9E /* InterpreterTests.swift */, D40D725B1BD15417001B7A9E /* RangedTerm.swift */, D40D72611BD1A07E001B7A9E /* UnannotatedTerm.swift */, D40D72631BD1A0C1001B7A9E /* RangedDiff.swift */, D40D725D1BD1826C001B7A9E /* TermTests.swift */, D40D725F1BD19E69001B7A9E /* DiffTests.swift */, D4AAE5141B5AE22E004E581F /* Info.plist */, D40B89C71BC439000078E098 /* Assertions.framework */, D40D72591BD15321001B7A9E /* SwiftCheck.framework */, ); path = DoubtTests; sourceTree = ""; }; D4DF96FC1BC5DF050040F41F /* doubt-json */ = { isa = PBXGroup; children = ( D4DF97091BC5DF800040F41F /* main.swift */, ); path = "doubt-json"; sourceTree = ""; }; /* End PBXGroup section */ /* Begin PBXHeadersBuildPhase section */ D4AAE4FA1B5AE22E004E581F /* Headers */ = { isa = PBXHeadersBuildPhase; buildActionMask = 2147483647; files = ( ); runOnlyForDeploymentPostprocessing = 0; }; /* End PBXHeadersBuildPhase section */ /* Begin PBXNativeTarget section */ D4AAE4FC1B5AE22E004E581F /* Doubt */ = { isa = PBXNativeTarget; buildConfigurationList = D4AAE5171B5AE22E004E581F /* Build configuration list for PBXNativeTarget "Doubt" */; buildPhases = ( D4AAE4F81B5AE22E004E581F /* Sources */, D4AAE4F91B5AE22E004E581F /* Frameworks */, D4AAE4FA1B5AE22E004E581F /* Headers */, D4AAE4FB1B5AE22E004E581F /* Resources */, ); buildRules = ( ); dependencies = ( ); name = Doubt; productName = Doubt; productReference = D4AAE4FD1B5AE22E004E581F /* Doubt.framework */; productType = "com.apple.product-type.framework"; }; D4AAE50C1B5AE22E004E581F /* DoubtTests */ = { isa = PBXNativeTarget; buildConfigurationList = D4AAE51A1B5AE22E004E581F /* Build configuration list for PBXNativeTarget "DoubtTests" */; buildPhases = ( D4AAE5091B5AE22E004E581F /* Sources */, D4AAE50A1B5AE22E004E581F /* Frameworks */, D4AAE50B1B5AE22E004E581F /* Resources */, ); buildRules = ( ); dependencies = ( D4AAE5101B5AE22E004E581F /* PBXTargetDependency */, ); name = DoubtTests; productName = DoubtTests; productReference = D4AAE50D1B5AE22E004E581F /* DoubtTests.xctest */; productType = "com.apple.product-type.bundle.unit-test"; }; D4DF96FA1BC5DF050040F41F /* doubt-json */ = { isa = PBXNativeTarget; buildConfigurationList = D4DF97071BC5DF060040F41F /* Build configuration list for PBXNativeTarget "doubt-json" */; buildPhases = ( D4DF96F71BC5DF050040F41F /* Sources */, D4DF96F81BC5DF050040F41F /* Frameworks */, D4DF96F91BC5DF050040F41F /* Resources */, ); buildRules = ( ); dependencies = ( ); name = "doubt-json"; productName = "doubt-json"; productReference = D4DF96FB1BC5DF050040F41F /* doubt-json.app */; productType = "com.apple.product-type.application"; }; /* End PBXNativeTarget section */ /* Begin PBXProject section */ D4AAE4F41B5AE22E004E581F /* Project object */ = { isa = PBXProject; attributes = { LastSwiftUpdateCheck = 0700; LastUpgradeCheck = 0710; ORGANIZATIONNAME = GitHub; TargetAttributes = { D4AAE4FC1B5AE22E004E581F = { CreatedOnToolsVersion = 7.0; }; D4AAE50C1B5AE22E004E581F = { CreatedOnToolsVersion = 7.0; }; D4DF96FA1BC5DF050040F41F = { CreatedOnToolsVersion = 7.0.1; }; }; }; buildConfigurationList = D4AAE4F71B5AE22E004E581F /* Build configuration list for PBXProject "Doubt" */; compatibilityVersion = "Xcode 3.2"; developmentRegion = English; hasScannedForEncodings = 0; knownRegions = ( en, Base, ); mainGroup = D4AAE4F31B5AE22E004E581F; productRefGroup = D4AAE4FE1B5AE22E004E581F /* Products */; projectDirPath = ""; projectRoot = ""; targets = ( D4AAE4FC1B5AE22E004E581F /* Doubt */, D4AAE50C1B5AE22E004E581F /* DoubtTests */, D4DF96FA1BC5DF050040F41F /* doubt-json */, ); }; /* End PBXProject section */ /* Begin PBXResourcesBuildPhase section */ D4AAE4FB1B5AE22E004E581F /* Resources */ = { isa = PBXResourcesBuildPhase; buildActionMask = 2147483647; files = ( ); runOnlyForDeploymentPostprocessing = 0; }; D4AAE50B1B5AE22E004E581F /* Resources */ = { isa = PBXResourcesBuildPhase; buildActionMask = 2147483647; files = ( ); runOnlyForDeploymentPostprocessing = 0; }; D4DF96F91BC5DF050040F41F /* Resources */ = { isa = PBXResourcesBuildPhase; buildActionMask = 2147483647; files = ( ); runOnlyForDeploymentPostprocessing = 0; }; /* End PBXResourcesBuildPhase section */ /* Begin PBXSourcesBuildPhase section */ D4AAE4F81B5AE22E004E581F /* Sources */ = { isa = PBXSourcesBuildPhase; buildActionMask = 2147483647; files = ( D40D72561BCFF360001B7A9E /* Interpreter.swift in Sources */, D4AAE5471B5AE2D0004E581F /* Optional.swift in Sources */, D4413FEF1BB06D4C00E3C3C1 /* Dictionary.swift in Sources */, D42F097E1BCEAEDA00B95610 /* Operation.swift in Sources */, D45A36C91BBC667D00BE3DDE /* Categorizable.swift in Sources */, D4DF96ED1BC46B630040F41F /* SES.swift in Sources */, D42F09801BCECB7900B95610 /* TermType.swift in Sources */, D4AAE5401B5AE2D0004E581F /* RangeReplaceableCollectionType.swift in Sources */, D49FCBC41BBEF98E00C5E9C3 /* Free.swift in Sources */, D42F097C1BCE914A00B95610 /* Cofree.swift in Sources */, D4AAE54A1B5AE2D0004E581F /* Syntax.swift in Sources */, D49FCBC61BBF214300C5E9C3 /* Patch.swift in Sources */, D49FCBC81BBF2C4300C5E9C3 /* Algorithm.swift in Sources */, D4DF970C1BC5DF9E0040F41F /* BoundsCheckedArray.swift in Sources */, D40B89C41BC319070078E098 /* Matrix.swift in Sources */, D4AAE5491B5AE2D0004E581F /* StringLiteralConvertible.swift in Sources */, D4413FF11BB08FDC00E3C3C1 /* JSON.swift in Sources */, D4AAE5451B5AE2D0004E581F /* Operators.swift in Sources */, ); runOnlyForDeploymentPostprocessing = 0; }; D4AAE5091B5AE22E004E581F /* Sources */ = { isa = PBXSourcesBuildPhase; buildActionMask = 2147483647; files = ( D40D72641BD1A0C1001B7A9E /* RangedDiff.swift in Sources */, D40D725E1BD1826C001B7A9E /* TermTests.swift in Sources */, D40D72601BD19E69001B7A9E /* DiffTests.swift in Sources */, D432D4711BA9AC0B00F3FABC /* SESTests.swift in Sources */, D40D72621BD1A07E001B7A9E /* UnannotatedTerm.swift in Sources */, D40D72541BCEEB1F001B7A9E /* InterpreterTests.swift in Sources */, D40D725C1BD15417001B7A9E /* RangedTerm.swift in Sources */, ); runOnlyForDeploymentPostprocessing = 0; }; D4DF96F71BC5DF050040F41F /* Sources */ = { isa = PBXSourcesBuildPhase; buildActionMask = 2147483647; files = ( D4DF970A1BC5DF800040F41F /* main.swift in Sources */, D1A0934E1BD18969005A6326 /* JSONLeaf.swift in Sources */, D1A0934F1BD189B4005A6326 /* JSONParser.swift in Sources */, ); runOnlyForDeploymentPostprocessing = 0; }; /* End PBXSourcesBuildPhase section */ /* Begin PBXTargetDependency section */ D4AAE5101B5AE22E004E581F /* PBXTargetDependency */ = { isa = PBXTargetDependency; target = D4AAE4FC1B5AE22E004E581F /* Doubt */; targetProxy = D4AAE50F1B5AE22E004E581F /* PBXContainerItemProxy */; }; /* End PBXTargetDependency section */ /* Begin XCBuildConfiguration section */ D4AAE5151B5AE22E004E581F /* Debug */ = { isa = XCBuildConfiguration; buildSettings = { ALWAYS_SEARCH_USER_PATHS = NO; CLANG_CXX_LANGUAGE_STANDARD = "gnu++0x"; CLANG_CXX_LIBRARY = "libc++"; CLANG_ENABLE_MODULES = YES; CLANG_ENABLE_OBJC_ARC = YES; CLANG_WARN_BOOL_CONVERSION = YES; CLANG_WARN_CONSTANT_CONVERSION = YES; CLANG_WARN_DIRECT_OBJC_ISA_USAGE = YES_ERROR; CLANG_WARN_EMPTY_BODY = YES; CLANG_WARN_ENUM_CONVERSION = YES; CLANG_WARN_INT_CONVERSION = YES; CLANG_WARN_OBJC_ROOT_CLASS = YES_ERROR; CLANG_WARN_UNREACHABLE_CODE = YES; CLANG_WARN__DUPLICATE_METHOD_MATCH = YES; COPY_PHASE_STRIP = NO; CURRENT_PROJECT_VERSION = 1; DEBUG_INFORMATION_FORMAT = dwarf; ENABLE_STRICT_OBJC_MSGSEND = YES; ENABLE_TESTABILITY = YES; GCC_C_LANGUAGE_STANDARD = gnu99; GCC_DYNAMIC_NO_PIC = NO; GCC_NO_COMMON_BLOCKS = YES; GCC_OPTIMIZATION_LEVEL = 0; GCC_PREPROCESSOR_DEFINITIONS = ( "DEBUG=1", "$(inherited)", ); GCC_SYMBOLS_PRIVATE_EXTERN = NO; GCC_WARN_64_TO_32_BIT_CONVERSION = YES; GCC_WARN_ABOUT_RETURN_TYPE = YES_ERROR; GCC_WARN_UNDECLARED_SELECTOR = YES; GCC_WARN_UNINITIALIZED_AUTOS = YES_AGGRESSIVE; GCC_WARN_UNUSED_FUNCTION = YES; GCC_WARN_UNUSED_VARIABLE = YES; MACOSX_DEPLOYMENT_TARGET = 10.10; MTL_ENABLE_DEBUG_INFO = YES; ONLY_ACTIVE_ARCH = YES; SDKROOT = macosx; SWIFT_INSTALL_OBJC_HEADER = NO; SWIFT_OPTIMIZATION_LEVEL = "-Onone"; VERSIONING_SYSTEM = "apple-generic"; VERSION_INFO_PREFIX = ""; }; name = Debug; }; D4AAE5161B5AE22E004E581F /* Release */ = { isa = XCBuildConfiguration; buildSettings = { ALWAYS_SEARCH_USER_PATHS = NO; CLANG_CXX_LANGUAGE_STANDARD = "gnu++0x"; CLANG_CXX_LIBRARY = "libc++"; CLANG_ENABLE_MODULES = YES; CLANG_ENABLE_OBJC_ARC = YES; CLANG_WARN_BOOL_CONVERSION = YES; CLANG_WARN_CONSTANT_CONVERSION = YES; CLANG_WARN_DIRECT_OBJC_ISA_USAGE = YES_ERROR; CLANG_WARN_EMPTY_BODY = YES; CLANG_WARN_ENUM_CONVERSION = YES; CLANG_WARN_INT_CONVERSION = YES; CLANG_WARN_OBJC_ROOT_CLASS = YES_ERROR; CLANG_WARN_UNREACHABLE_CODE = YES; CLANG_WARN__DUPLICATE_METHOD_MATCH = YES; COPY_PHASE_STRIP = YES; CURRENT_PROJECT_VERSION = 1; DEBUG_INFORMATION_FORMAT = "dwarf-with-dsym"; ENABLE_NS_ASSERTIONS = NO; ENABLE_STRICT_OBJC_MSGSEND = YES; GCC_C_LANGUAGE_STANDARD = gnu99; GCC_NO_COMMON_BLOCKS = YES; GCC_WARN_64_TO_32_BIT_CONVERSION = YES; GCC_WARN_ABOUT_RETURN_TYPE = YES_ERROR; GCC_WARN_UNDECLARED_SELECTOR = YES; GCC_WARN_UNINITIALIZED_AUTOS = YES_AGGRESSIVE; GCC_WARN_UNUSED_FUNCTION = YES; GCC_WARN_UNUSED_VARIABLE = YES; MACOSX_DEPLOYMENT_TARGET = 10.10; MTL_ENABLE_DEBUG_INFO = NO; SDKROOT = macosx; SWIFT_INSTALL_OBJC_HEADER = NO; VERSIONING_SYSTEM = "apple-generic"; VERSION_INFO_PREFIX = ""; }; name = Release; }; D4AAE5181B5AE22E004E581F /* Debug */ = { isa = XCBuildConfiguration; buildSettings = { CLANG_ENABLE_MODULES = YES; COMBINE_HIDPI_IMAGES = YES; DEFINES_MODULE = YES; DYLIB_COMPATIBILITY_VERSION = 1; DYLIB_CURRENT_VERSION = 1; DYLIB_INSTALL_NAME_BASE = "@rpath"; EMBEDDED_CONTENT_CONTAINS_SWIFT = YES; FRAMEWORK_VERSION = A; INFOPLIST_FILE = Doubt/Info.plist; INSTALL_PATH = "@rpath"; LD_RUNPATH_SEARCH_PATHS = "$(inherited) @executable_path/../Frameworks @loader_path/Frameworks"; MODULEMAP_FILE = Doubt/Doubt.modulemap; PRODUCT_BUNDLE_IDENTIFIER = "com.github.$(PRODUCT_NAME:rfc1034identifier)"; PRODUCT_NAME = "$(TARGET_NAME)"; SKIP_INSTALL = YES; SWIFT_OPTIMIZATION_LEVEL = "-Onone"; }; name = Debug; }; D4AAE5191B5AE22E004E581F /* Release */ = { isa = XCBuildConfiguration; buildSettings = { CLANG_ENABLE_MODULES = YES; COMBINE_HIDPI_IMAGES = YES; DEFINES_MODULE = YES; DYLIB_COMPATIBILITY_VERSION = 1; DYLIB_CURRENT_VERSION = 1; DYLIB_INSTALL_NAME_BASE = "@rpath"; EMBEDDED_CONTENT_CONTAINS_SWIFT = YES; FRAMEWORK_VERSION = A; INFOPLIST_FILE = Doubt/Info.plist; INSTALL_PATH = "@rpath"; LD_RUNPATH_SEARCH_PATHS = "$(inherited) @executable_path/../Frameworks @loader_path/Frameworks"; MODULEMAP_FILE = Doubt/Doubt.modulemap; PRODUCT_BUNDLE_IDENTIFIER = "com.github.$(PRODUCT_NAME:rfc1034identifier)"; PRODUCT_NAME = "$(TARGET_NAME)"; SKIP_INSTALL = YES; }; name = Release; }; D4AAE51B1B5AE22E004E581F /* Debug */ = { isa = XCBuildConfiguration; buildSettings = { COMBINE_HIDPI_IMAGES = YES; FRAMEWORK_SEARCH_PATHS = ( "$(DEVELOPER_FRAMEWORKS_DIR)", "$(inherited)", ); INFOPLIST_FILE = DoubtTests/Info.plist; LD_RUNPATH_SEARCH_PATHS = "$(inherited) @executable_path/../Frameworks @loader_path/../Frameworks"; PRODUCT_BUNDLE_IDENTIFIER = com.github.DoubtTests; PRODUCT_NAME = "$(TARGET_NAME)"; }; name = Debug; }; D4AAE51C1B5AE22E004E581F /* Release */ = { isa = XCBuildConfiguration; buildSettings = { COMBINE_HIDPI_IMAGES = YES; COPY_PHASE_STRIP = NO; FRAMEWORK_SEARCH_PATHS = ( "$(DEVELOPER_FRAMEWORKS_DIR)", "$(inherited)", ); INFOPLIST_FILE = DoubtTests/Info.plist; LD_RUNPATH_SEARCH_PATHS = "$(inherited) @executable_path/../Frameworks @loader_path/../Frameworks"; PRODUCT_BUNDLE_IDENTIFIER = com.github.DoubtTests; PRODUCT_NAME = "$(TARGET_NAME)"; }; name = Release; }; D4DF97051BC5DF050040F41F /* Debug */ = { isa = XCBuildConfiguration; buildSettings = { ASSETCATALOG_COMPILER_APPICON_NAME = AppIcon; COMBINE_HIDPI_IMAGES = YES; INFOPLIST_FILE = "doubt-json/Info.plist"; LD_RUNPATH_SEARCH_PATHS = "$(inherited) @executable_path/../Frameworks"; MACOSX_DEPLOYMENT_TARGET = 10.11; PRODUCT_BUNDLE_IDENTIFIER = "com.antitypical.doubt-json"; PRODUCT_NAME = "$(TARGET_NAME)"; }; name = Debug; }; D4DF97061BC5DF050040F41F /* Release */ = { isa = XCBuildConfiguration; buildSettings = { ASSETCATALOG_COMPILER_APPICON_NAME = AppIcon; COMBINE_HIDPI_IMAGES = YES; COPY_PHASE_STRIP = NO; INFOPLIST_FILE = "doubt-json/Info.plist"; LD_RUNPATH_SEARCH_PATHS = "$(inherited) @executable_path/../Frameworks"; MACOSX_DEPLOYMENT_TARGET = 10.11; PRODUCT_BUNDLE_IDENTIFIER = "com.antitypical.doubt-json"; PRODUCT_NAME = "$(TARGET_NAME)"; }; name = Release; }; /* End XCBuildConfiguration section */ /* Begin XCConfigurationList section */ D4AAE4F71B5AE22E004E581F /* Build configuration list for PBXProject "Doubt" */ = { isa = XCConfigurationList; buildConfigurations = ( D4AAE5151B5AE22E004E581F /* Debug */, D4AAE5161B5AE22E004E581F /* Release */, ); defaultConfigurationIsVisible = 0; defaultConfigurationName = Release; }; D4AAE5171B5AE22E004E581F /* Build configuration list for PBXNativeTarget "Doubt" */ = { isa = XCConfigurationList; buildConfigurations = ( D4AAE5181B5AE22E004E581F /* Debug */, D4AAE5191B5AE22E004E581F /* Release */, ); defaultConfigurationIsVisible = 0; defaultConfigurationName = Release; }; D4AAE51A1B5AE22E004E581F /* Build configuration list for PBXNativeTarget "DoubtTests" */ = { isa = XCConfigurationList; buildConfigurations = ( D4AAE51B1B5AE22E004E581F /* Debug */, D4AAE51C1B5AE22E004E581F /* Release */, ); defaultConfigurationIsVisible = 0; defaultConfigurationName = Release; }; D4DF97071BC5DF060040F41F /* Build configuration list for PBXNativeTarget "doubt-json" */ = { isa = XCConfigurationList; buildConfigurations = ( D4DF97051BC5DF050040F41F /* Debug */, D4DF97061BC5DF050040F41F /* Release */, ); defaultConfigurationIsVisible = 0; defaultConfigurationName = Release; }; /* End XCConfigurationList section */ }; rootObject = D4AAE4F41B5AE22E004E581F /* Project object */; }