1\begin{patch}{GeneralSparseTableXmpPagePatch1} 2\begin{paste}{GeneralSparseTableXmpPageFull1}{GeneralSparseTableXmpPageEmpty1} 3\pastebutton{GeneralSparseTableXmpPageFull1}{\hidepaste} 4\tab{5}\spadcommand{patrons: GeneralSparseTable(String, Integer, KeyedAccessFile(Integer), 0) := table() ;\bound{patrons }} 5\indentrel{3}\begin{verbatim} 6Type: GeneralSparseTable(String,Integer,KeyedAccessFile(Integer),0) 7\end{verbatim} 8\indentrel{-3}\end{paste}\end{patch} 9 10\begin{patch}{GeneralSparseTableXmpPageEmpty1} 11\begin{paste}{GeneralSparseTableXmpPageEmpty1}{GeneralSparseTableXmpPagePatch1} 12\pastebutton{GeneralSparseTableXmpPageEmpty1}{\showpaste} 13\tab{5}\spadcommand{patrons: GeneralSparseTable(String, Integer, KeyedAccessFile(Integer), 0) := table() ;\bound{patrons }} 14\end{paste}\end{patch} 15 16\begin{patch}{GeneralSparseTableXmpPagePatch2} 17\begin{paste}{GeneralSparseTableXmpPageFull2}{GeneralSparseTableXmpPageEmpty2} 18\pastebutton{GeneralSparseTableXmpPageFull2}{\hidepaste} 19\tab{5}\spadcommand{patrons."Smith" := 10500\free{patrons }\bound{smith }} 20\indentrel{3}\begin{verbatim} 21 (2) 10500 22 Type: PositiveInteger 23\end{verbatim} 24\indentrel{-3}\end{paste}\end{patch} 25 26\begin{patch}{GeneralSparseTableXmpPageEmpty2} 27\begin{paste}{GeneralSparseTableXmpPageEmpty2}{GeneralSparseTableXmpPagePatch2} 28\pastebutton{GeneralSparseTableXmpPageEmpty2}{\showpaste} 29\tab{5}\spadcommand{patrons."Smith" := 10500\free{patrons }\bound{smith }} 30\end{paste}\end{patch} 31 32\begin{patch}{GeneralSparseTableXmpPagePatch3} 33\begin{paste}{GeneralSparseTableXmpPageFull3}{GeneralSparseTableXmpPageEmpty3} 34\pastebutton{GeneralSparseTableXmpPageFull3}{\hidepaste} 35\tab{5}\spadcommand{patrons."Jones" := 22000\free{smith }\bound{jones }} 36\indentrel{3}\begin{verbatim} 37 (3) 22000 38 Type: PositiveInteger 39\end{verbatim} 40\indentrel{-3}\end{paste}\end{patch} 41 42\begin{patch}{GeneralSparseTableXmpPageEmpty3} 43\begin{paste}{GeneralSparseTableXmpPageEmpty3}{GeneralSparseTableXmpPagePatch3} 44\pastebutton{GeneralSparseTableXmpPageEmpty3}{\showpaste} 45\tab{5}\spadcommand{patrons."Jones" := 22000\free{smith }\bound{jones }} 46\end{paste}\end{patch} 47 48\begin{patch}{GeneralSparseTableXmpPagePatch4} 49\begin{paste}{GeneralSparseTableXmpPageFull4}{GeneralSparseTableXmpPageEmpty4} 50\pastebutton{GeneralSparseTableXmpPageFull4}{\hidepaste} 51\tab{5}\spadcommand{patrons."Jones"\free{jones }} 52\indentrel{3}\begin{verbatim} 53 (4) 22000 54 Type: PositiveInteger 55\end{verbatim} 56\indentrel{-3}\end{paste}\end{patch} 57 58\begin{patch}{GeneralSparseTableXmpPageEmpty4} 59\begin{paste}{GeneralSparseTableXmpPageEmpty4}{GeneralSparseTableXmpPagePatch4} 60\pastebutton{GeneralSparseTableXmpPageEmpty4}{\showpaste} 61\tab{5}\spadcommand{patrons."Jones"\free{jones }} 62\end{paste}\end{patch} 63 64\begin{patch}{GeneralSparseTableXmpPagePatch5} 65\begin{paste}{GeneralSparseTableXmpPageFull5}{GeneralSparseTableXmpPageEmpty5} 66\pastebutton{GeneralSparseTableXmpPageFull5}{\hidepaste} 67\tab{5}\spadcommand{patrons."Stingy"\free{jones }} 68\indentrel{3}\begin{verbatim} 69 (5) 0 70 Type: NonNegativeInteger 71\end{verbatim} 72\indentrel{-3}\end{paste}\end{patch} 73 74\begin{patch}{GeneralSparseTableXmpPageEmpty5} 75\begin{paste}{GeneralSparseTableXmpPageEmpty5}{GeneralSparseTableXmpPagePatch5} 76\pastebutton{GeneralSparseTableXmpPageEmpty5}{\showpaste} 77\tab{5}\spadcommand{patrons."Stingy"\free{jones }} 78\end{paste}\end{patch} 79 80\begin{patch}{GeneralSparseTableXmpPagePatch6} 81\begin{paste}{GeneralSparseTableXmpPageFull6}{GeneralSparseTableXmpPageEmpty6} 82\pastebutton{GeneralSparseTableXmpPageFull6}{\hidepaste} 83\tab{5}\spadcommand{reduce(+, entries patrons)\free{jones }} 84\indentrel{3}\begin{verbatim} 85 (6) 32500 86 Type: PositiveInteger 87\end{verbatim} 88\indentrel{-3}\end{paste}\end{patch} 89 90\begin{patch}{GeneralSparseTableXmpPageEmpty6} 91\begin{paste}{GeneralSparseTableXmpPageEmpty6}{GeneralSparseTableXmpPagePatch6} 92\pastebutton{GeneralSparseTableXmpPageEmpty6}{\showpaste} 93\tab{5}\spadcommand{reduce(+, entries patrons)\free{jones }} 94\end{paste}\end{patch} 95 96\begin{patch}{GeneralSparseTableXmpPagePatch7} 97\begin{paste}{GeneralSparseTableXmpPageFull7}{GeneralSparseTableXmpPageEmpty7} 98\pastebutton{GeneralSparseTableXmpPageFull7}{\hidepaste} 99\tab{5}\spadcommand{)system rm -r kaf*.sdata\free{patrons }} 100\indentrel{3}\begin{verbatim} 101\end{verbatim} 102\indentrel{-3}\end{paste}\end{patch} 103 104\begin{patch}{GeneralSparseTableXmpPageEmpty7} 105\begin{paste}{GeneralSparseTableXmpPageEmpty7}{GeneralSparseTableXmpPagePatch7} 106\pastebutton{GeneralSparseTableXmpPageEmpty7}{\showpaste} 107\tab{5}\spadcommand{)system rm -r kaf*.sdata\free{patrons }} 108\end{paste}\end{patch} 109 110