{"assets":{"C5D4310E08673417DCFCFA152ECD231B":{"type":"texture","index":209,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/C5D4310E08673417DCFCFA152ECD231B.svg","width":23,"height":17},"2EC0CCA045B96183BEC28EFDA59BB7E6":{"type":"texture","index":207,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/2EC0CCA045B96183BEC28EFDA59BB7E6.svg","width":53,"height":93},"9F4BCD949EA98604389D054E32B6435F":{"type":"texture","index":199,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/9F4BCD949EA98604389D054E32B6435F.svg","width":694,"height":170},"247F71A2C4F06548F6B2B2A0C844A512":{"type":"texture","index":202,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/247F71A2C4F06548F6B2B2A0C844A512.svg","width":42,"height":36},"18DBB16064D428A458AA3F842E7B694A":{"type":"texture","index":208,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/18DBB16064D428A458AA3F842E7B694A.svg","width":174,"height":92},"498E23C82CA78A4BCD7BA88E5243B6FC":{"type":"texture","index":197,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/498E23C82CA78A4BCD7BA88E5243B6FC.svg","width":1024,"height":768},"A32AED715E72BE55CFA9CF3AAE94A25E":{"type":"texture","index":210,"assetRequest":{"type":"slide","state":"outgoing","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/A32AED715E72BE55CFA9CF3AAE94A25E.svg","width":1024,"height":768},"533A9861A43B31EA32986611A97BD937":{"type":"texture","index":211,"assetRequest":{"type":"slide","state":"incoming","slide":"398F5FBA-0C60-4DBC-A415-34A096C1239C"},"url":"assets/533A9861A43B31EA32986611A97BD937.svg","width":1024,"height":768},"765F772A108BA22611BA859084842A82":{"type":"texture","index":198,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/765F772A108BA22611BA859084842A82.svg","width":207,"height":61},"18ABDFC1267C6D1214ADC3E99915899C":{"type":"texture","index":206,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/18ABDFC1267C6D1214ADC3E99915899C.svg","width":587,"height":37},"2E1AB747AB8A637EEC3464C93EBFAD28":{"type":"texture","index":205,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/2E1AB747AB8A637EEC3464C93EBFAD28.svg","width":175,"height":92},"42D674C13D722CBB4FFECCD601B12BAF":{"type":"texture","index":200,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/42D674C13D722CBB4FFECCD601B12BAF.svg","width":322,"height":80},"C64293D48894683547099234CBD2C8BA":{"type":"texture","index":203,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/C64293D48894683547099234CBD2C8BA.svg","width":6,"height":217},"C180FFABB8C09C2FEFD6F7DFE36F122F":{"type":"texture","index":204,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/C180FFABB8C09C2FEFD6F7DFE36F122F.svg","width":53,"height":93},"1B19C3B0031BE52ADA91BFE4473D2C5C":{"type":"texture","index":201,"assetRequest":{"type":"slide","state":"contents","slide":"8DACD8DB-2DF9-4487-BABA-020D6666AA6C"},"url":"assets/1B19C3B0031BE52ADA91BFE4473D2C5C.svg","width":34,"height":36}},"events":[{"effects":[{"beginTime":0,"baseLayer":{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":511.58837890625,"pointY":673.5},"width":639.943359375,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":57,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"E1E99262-4CF0-4EA2-B41B-7928D814EA2C","layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":320.38330078125,"pointY":-261},"width":639.943359375,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,-0.0004922987690640373,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":57,"hidden":false,"anchorPoint":{"pointX":0.5006432148841298,"pointY":-4.578947368421052}},"layers":[{"animations":[{"repeatCount":0,"animations":[{"timingFunctions":[{"timingFunction":"custom","timingControlPoint1y":0.4998149275779724,"timingControlPoint2x":0.6016100645065308,"timingControlPoint1x":0.4063220918178558,"timingControlPoint2y":1}],"values":[{"pointX":320.88330078125,"pointY":157.5},{"pointX":320.88330078125,"pointY":32.5}],"beginTime":0,"repeatCount":0,"keyTimes":[0,1],"property":"position","fillMode":"both","duration":1},{"from":{"scalar":false},"beginTime":0,"repeatCount":0,"fillMode":"forwards","property":"hidden","duration":1,"to":{"scalar":false}}],"beginTime":1e-100,"fillMode":"both","duration":1}],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":320.88330078125,"pointY":32.5},"width":587,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":37,"hidden":true,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"18ABDFC1267C6D1214ADC3E99915899C"}]}]},"effects":[],"duration":1,"type":"buildIn","name":"apple:move in character","objectID":"E1E99262-4CF0-4EA2-B41B-7928D814EA2C"}],"automaticPlay":false,"hyperlinks":[],"accessibility":[{"text":"W","targetRectangle":{"y":516,"x":565.30224609375,"width":43.763671875,"height":49}},{"text":"Tk","targetRectangle":{"y":504.5,"x":662.60986328125,"width":38.78027383721201,"height":49.00000028847717}},{"text":"R","targetRectangle":{"y":397,"x":308.904296875,"width":25.3681640625,"height":49}},{"text":"Test 3","targetRectangle":{"y":72,"x":407.48,"width":209.04,"height":96}},{"text":"R","targetRectangle":{"y":516,"x":354.904296875,"width":25.3681640625,"height":49}},{"text":"V","targetRectangle":{"y":397,"x":419.5,"width":25.3681640625,"height":49}},{"text":"Ti","targetRectangle":{"y":385.5,"x":216.24658203125,"width":31.50683612044668,"height":49.00000028847717}},{"text":"","targetRectangle":{"y":732.5,"x":501.4919999837875,"width":20.01599999999996,"height":22}},{"text":"W","targetRectangle":{"y":397,"x":519.30224609375,"width":43.763671875,"height":49}},{"text":"V","targetRectangle":{"y":516,"x":465.5,"width":25.3681640625,"height":49}},{"text":"For all i and k for which i < k, ","targetRectangle":{"y":154.5,"x":280.63037890625,"width":471.9240000000001,"height":43}},{"text":"check that Ti completes its read phase first","targetRectangle":{"y":197.5,"x":165.77237890625,"width":691.6320000000001,"height":43}},{"text":"AND WriteSet(Ti) ⋂ ReadSet(Tk) is empty","targetRectangle":{"y":240.5,"x":181.3311289062501,"width":660.5144999999999,"height":43.72015380859375}},{"text":"AND WriteSet(Ti) ⋂ WriteSet(Tk) is empty","targetRectangle":{"y":287.2260131835938,"x":183.6711289062501,"width":655.8344999999999,"height":43.72015380859375}}],"baseLayer":{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":true,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"498E23C82CA78A4BCD7BA88E5243B6FC"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":120},"width":874,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":170,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"DF45E97E-8A93-4481-AD3A-2F9F8D5DEFDA","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":435.5,"pointY":86.5},"width":207,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":61,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"765F772A108BA22611BA859084842A82"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":511.58837890625,"pointY":242.5},"width":1023,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":200,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"2DC1E67B-FAE7-420B-A7C5-095D794295ED","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512.91162109375,"pointY":103.5},"width":694,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":170,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"9F4BCD949EA98604389D054E32B6435F"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":432,"pointY":411},"width":320,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":78,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"7C7FED3B-CA75-4EC4-9264-7E66B9B6886A","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":160,"pointY":39},"width":322,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":80,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"42D674C13D722CBB4FFECCD601B12BAF"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":478,"pointY":530},"width":320,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":78,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"B78DD983-6BF3-4B99-A933-57B68921120B","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":160,"pointY":39},"width":322,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":80,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"42D674C13D722CBB4FFECCD601B12BAF"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":232,"pointY":410},"width":40.5068359375,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":57,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"BB82DCCA-3FCD-49A9-8F00-0D92E528392A","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":20.25341796875,"pointY":30.5},"width":34,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":36,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"1B19C3B0031BE52ADA91BFE4473D2C5C"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":682,"pointY":529},"width":47.7802734375,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":57,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"53ADD264-AADF-41FF-A833-F36C3032FC9B","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":24.89013671875,"pointY":30.5},"width":42,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":36,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"247F71A2C4F06548F6B2B2A0C844A512"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":372.2760772705078,"pointY":457.635498046875},"width":3,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":213.7189025878906,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"0445B5D2-58E2-4EC5-9E29-632819ECF6C9","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":1.223922729492188,"pointY":106.7239532470703},"width":6,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":217,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"C64293D48894683547099234CBD2C8BA"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":615.5833396911621,"pointY":446.7358131408691},"width":49.81433977496727,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":89.93902516162478,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"D5E586E7-2619-42DD-B2A0-FD6F3C155357","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":24.82383019632152,"pointY":44.73369943994328},"width":53,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":93,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"C180FFABB8C09C2FEFD6F7DFE36F122F"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":408.6666641235352,"pointY":445.8594131469727},"width":171.3507081558907,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":88.39744062307921,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"1F988A43-DAFD-41A4-95B2-DF68DF07D802","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":85.50868995441022,"pointY":44.33930716456695},"width":175,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":92,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"2E1AB747AB8A637EEC3464C93EBFAD28"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":511.58837890625,"pointY":673.5},"width":639.943359375,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":57,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"E1E99262-4CF0-4EA2-B41B-7928D814EA2C","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":320.88330078125,"pointY":32.5},"width":587,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":37,"hidden":true,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"18ABDFC1267C6D1214ADC3E99915899C"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":517.5833396911621,"pointY":443.2641944885254},"width":49.81433977496727,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":89.93902516162478,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"3561FF83-BDDD-4F9B-85D6-7A3584636FE8","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":24.82383019632152,"pointY":45.20531809228703},"width":53,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":93,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"2EC0CCA045B96183BEC28EFDA59BB7E6"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":504.0000076293945,"pointY":446.8593521118164},"width":171.3507081558907,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":88.39744062307921,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"AA38A847-9B20-494B-B5B4-5496A8F2A2F0","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":85.67534644855084,"pointY":44.3393681997232},"width":174,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":92,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"18DBB16064D428A458AA3F842E7B694A"}]}]},{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":511.5,"pointY":743.5000005960464},"width":29.01600003242493,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":30.0000011920929,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"4FE17A9A-925C-46F0-8EFF-543591EDFB33","layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":13.50800001621246,"pointY":16},"width":23,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":17,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"C5D4310E08673417DCFCFA152ECD231B"}]}]}]}},{"effects":[{"beginTime":0,"baseLayer":{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":true,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"0","layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,-0.0004922987690640373,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"533A9861A43B31EA32986611A97BD937"},{"animations":[{"from":{"scalar":false},"beginTime":0,"repeatCount":0,"fillMode":"both","property":"hidden","duration":0.01,"to":{"scalar":true}}],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"A32AED715E72BE55CFA9CF3AAE94A25E"}]}]},"effects":[],"duration":0.01,"type":"transition","name":"none","objectID":"0"}],"automaticPlay":false,"hyperlinks":[],"accessibility":[{"text":"W","targetRectangle":{"y":516,"x":565.30224609375,"width":43.763671875,"height":49}},{"text":"Tk","targetRectangle":{"y":504.5,"x":662.60986328125,"width":38.78027383721201,"height":49.00000028847717}},{"text":"R","targetRectangle":{"y":397,"x":308.904296875,"width":25.3681640625,"height":49}},{"text":"Test 3","targetRectangle":{"y":72,"x":407.48,"width":209.04,"height":96}},{"text":"R","targetRectangle":{"y":516,"x":354.904296875,"width":25.3681640625,"height":49}},{"text":"V","targetRectangle":{"y":397,"x":419.5,"width":25.3681640625,"height":49}},{"text":"Ti","targetRectangle":{"y":385.5,"x":216.24658203125,"width":31.50683612044668,"height":49.00000028847717}},{"text":"","targetRectangle":{"y":732.5,"x":501.4919999837875,"width":20.01599999999996,"height":22}},{"text":"W","targetRectangle":{"y":397,"x":519.30224609375,"width":43.763671875,"height":49}},{"text":"V","targetRectangle":{"y":516,"x":465.5,"width":25.3681640625,"height":49}},{"text":"For all i and k for which i < k, ","targetRectangle":{"y":154.5,"x":280.63037890625,"width":471.9240000000001,"height":43}},{"text":"check that Ti completes its read phase first","targetRectangle":{"y":197.5,"x":165.77237890625,"width":691.6320000000001,"height":43}},{"text":"AND WriteSet(Ti) ⋂ ReadSet(Tk) is empty","targetRectangle":{"y":240.5,"x":181.3311289062501,"width":660.5144999999999,"height":43.72015380859375}},{"text":"AND WriteSet(Ti) ⋂ WriteSet(Tk) is empty","targetRectangle":{"y":287.2260131835938,"x":183.6711289062501,"width":655.8344999999999,"height":43.72015380859375}},{"text":"How do these three conditions help?","targetRectangle":{"y":652,"x":217.79237890625,"width":587.5920000000001,"height":43}}],"baseLayer":{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":true,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"objectID":"0","layers":[{"animations":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,-0.0004922987690640373,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":15,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"layers":[{"animations":[],"layers":[],"initialState":{"affineTransform":[1,0,0,1,0,0],"masksToBounds":false,"rotation":0,"scale":1,"position":{"pointX":512,"pointY":384},"width":1024,"sublayerTransform":[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1],"contentsRect":{"y":0,"x":0,"width":1,"height":1},"opacity":1,"edgeAntialiasingMask":0,"height":768,"hidden":false,"anchorPoint":{"pointX":0.5,"pointY":0.5}},"texture":"A32AED715E72BE55CFA9CF3AAE94A25E"}]}]}}]}