--- /dev/null
+\BOOKMARK [1][-]{section.1}{Introduction}{}% 1
+\BOOKMARK [1][-]{section.2}{Device Approach}{}% 2
+\BOOKMARK [2][-]{subsection.2.1}{Records}{section.2}% 3
+\BOOKMARK [3][-]{subsubsection.2.1.1}{Types of Payloads}{subsection.2.1}% 4
+\BOOKMARK [2][-]{subsection.2.2}{Pulling the data structure}{section.2}% 5
+\BOOKMARK [2][-]{subsection.2.3}{Updates}{section.2}% 6
+\BOOKMARK [2][-]{subsection.2.4}{Deletions}{section.2}% 7
+\BOOKMARK [2][-]{subsection.2.5}{Reading a key-value pair}{section.2}% 8
+\BOOKMARK [2][-]{subsection.2.6}{Rescuing Transactions, Commits, Aborts, Ext}{section.2}% 9
+\BOOKMARK [2][-]{subsection.2.7}{Checking the Data Structure}{section.2}% 10
+\BOOKMARK [2][-]{subsection.2.8}{The Arbitrator}{section.2}% 11
+\BOOKMARK [3][-]{subsubsection.2.8.1}{Commits}{subsection.2.8}% 12
+\BOOKMARK [3][-]{subsubsection.2.8.2}{Aborts}{subsection.2.8}% 13
+\BOOKMARK [2][-]{subsection.2.9}{Setting Up New Keys \(Choosing the Arbitrator\)}{section.2}% 14
+\BOOKMARK [2][-]{subsection.2.10}{Live Status}{section.2}% 15
+\BOOKMARK [1][-]{section.3}{Server Approach}{}% 16
+\BOOKMARK [2][-]{subsection.3.1}{Pull all current slots}{section.3}% 17
+\BOOKMARK [2][-]{subsection.3.2}{Put a new record in a slot}{section.3}% 18
+\BOOKMARK [2][-]{subsection.3.3}{Delete a slot}{section.3}% 19
+\BOOKMARK [1][-]{section.4}{Data Structure Abstraction}{}% 20
+\BOOKMARK [2][-]{subsection.4.1}{Put Operation}{section.4}% 21
+\BOOKMARK [2][-]{subsection.4.2}{Get Operation}{section.4}% 22
+\BOOKMARK [2][-]{subsection.4.3}{Check put status}{section.4}% 23
+\BOOKMARK [2][-]{subsection.4.4}{Create New Key Operation}{section.4}% 24
+\BOOKMARK [1][-]{section.5}{System Guarantees}{}% 25
+\BOOKMARK [1][-]{section.6}{System Correctness}{}% 26