diff --git a/preserves-binary.md b/preserves-binary.md index 0f33c7f..a2fe195 100644 --- a/preserves-binary.md +++ b/preserves-binary.md @@ -197,21 +197,90 @@ The following table illustrates varint-encoding. | 300 | `0000010 0101100` | 2 172 | | 1000000000 | `0000011 1011100 1101011 0010100 0000000` | 3 92 107 20 128 | -### SignedIntegers. +### Atoms. - «87112285931760246646623899502532662132736» - = A3 01 00 00 00 00 00 00 00 - 00 00 00 00 00 00 00 00 - 00 00 + «#f» = A0 «#t» = A1 - «-257» = A3 FE FF «-3» = A3 FD «128» = A3 00 80 - «-256» = A3 FF 00 «-2» = A3 FE «255» = A3 00 FF - «-255» = A3 FF 01 «-1» = A3 FF «256» = A3 01 00 - «-254» = A3 FF 02 «0» = A3 «32767» = A3 7F FF - «-129» = A3 FF 7F «1» = A3 01 «32768» = A3 00 80 00 - «-128» = A3 80 «12» = A3 0C «65535» = A3 00 FF FF - «-127» = A3 81 «13» = A3 0D «65536» = A3 01 00 00 - «-4» = A3 FC «127» = A3 7F «131072» = A3 02 00 00 + «0.123f» = A2 3D FB E7 6D «0.123» = A2 3F BF 7C ED 91 68 72 B0 + + «-257» = A3 FE FF «-3» = A3 FD «128» = A3 00 80 + «-256» = A3 FF 00 «-2» = A3 FE «255» = A3 00 FF + «-255» = A3 FF 01 «-1» = A3 FF «256» = A3 01 00 + «-254» = A3 FF 02 «0» = A3 «32767» = A3 7F FF + «-129» = A3 FF 7F «1» = A3 01 «32768» = A3 00 80 00 + «-128» = A3 80 «12» = A3 0C «65535» = A3 00 FF FF + «-127» = A3 81 «13» = A3 0D «65536» = A3 01 00 00 + «-4» = A3 FC «127» = A3 7F «131072» = A3 02 00 00 + + «87112285931760246646623899502532662132736» + = A3 01 00 00 00 00 00 00 00 + 00 00 00 00 00 00 00 00 + 00 00 + + «""» = A4 00 «||» = A6 + «"a"» = A4 61 00 «|a|» = A6 61 + «"hello"» = A4 68 65 6C 6C 6F 00 «|hello|» = A6 68 65 6C 6C 6F + + «#[]» = A5 + «#[AQ==]» = A5 01 + «#[ATAyMDMwNDA1]» = A5 01 02 03 04 05 + +### Compounds. + + «» = A7 87 A6 77696E646F77 + 82 A3 64 + 82 A3 78 + 83 A3 01F4 + 83 A3 012C + + «["zzzz(...192 zs...)zzzz"]» + (a length-1 sequence containing a length-200 string) + = A8 01CA A4 7A7A7A7A (... 192 repetitions of 7A ...) + 7A7A7A7A 00 + + «[H, He, Li, Be, B, C, N, O, F, Ne]» + = A8 82A648 83A64865 83A64C69 83A64265 + 82A642 82A643 82A64E 82A64F 82A646 83A64E65 + + «#{H He Li Be B C N O F Ne}» + = A9 82A642 (B) + 83A64265 (Be) + 82A643 (C) + 82A646 (F) + 82A648 (H) + 83A64865 (He) + 83A64C69 (Li) + 82A64E (N) + 83A64E65 (Ne) + 82A64F (O) + + «{H: 1.0080f, He: 4.0026f, Li: 6.94f, Be: 9.0122f, + B: 10.81f, C: 12.011f, N: 14.007f, O: 15.999f, + F: 18.998f, Ne: 20.180f}» + = AA 82A642 85A2412CF5C3 (B: 10.81f) + 83A64265 85A2411031F9 (Be: 9.0122f) + 82A643 85A241402D0E (C: 12.011f) + 82A646 85A24197FBE7 (F: 18.998f) + 82A648 85A23F810625 (H: 1.0080f) + 83A64865 85A24080154D (He: 4.0026f) + 83A64C69 85A240DE147B (Li: 6.94f) + 82A64E 85A241601CAC (N: 14.007f) + 83A64E65 85A241A170A4 (Ne: 20.180f) + 82A64F 85A2417FFBE7 (O: 15.999f) + + «[[H 1.0080f] [He 4.0026f] [Li 6.94f] [Be 9.0122f] + [B 10.81f] [C 12.011f] [N 14.007f] [O 15.999f] + [F 18.998f] [Ne 20.180f]]» + = A8 8A A8 82A648 85A23F810625 ([H 1.0080f]) + 8B A8 83A64865 85A24080154D ([He 4.0026f]) + 8B A8 83A64C69 85A240DE147B ([Li 6.94f]) + 8B A8 83A64265 85A2411031F9 ([Be 9.0122f]) + 8A A8 82A642 85A2412CF5C3 ([B 10.81f]) + 8A A8 82A643 85A241402D0E ([C 12.011f]) + 8A A8 82A64E 85A241601CAC ([N 14.007f]) + 8A A8 82A64F 85A2417FFBE7 ([O 15.999f]) + 8A A8 82A646 85A24197FBE7 ([F 18.998f]) + 8B A8 83A64E65 85A241A170A4 ([Ne 20.180f]) ### Annotations.