\GAPDocLabFile{json}
\makelabel{json:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{json:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{json:GAP-JSON mapping}{1}{X87B639367C9770AE}
\makelabel{json:Methods}{1.1}{X8606FDCE878850EF}
\makelabel{json:Index}{Ind}{X83A0356F839C696F}
\makelabel{json:GapToJsonStream}{1.1.1}{X83B041337FB4E4D1}
\makelabel{json:GapToJsonString}{1.1.2}{X855531F88506F3D0}
\makelabel{json:JsonStringToGap}{1.1.3}{X823A762684DC39C1}
\makelabel{json:JsonStreamToGap}{1.1.4}{X823DB24A7D2F7D64}
