|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: 5
Length: 8754 (0x2232)
Names: »5«
└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
└─⟦5cb1d1d7f⟧ »DATA«
└─⟦3b1ee7bd8⟧
└─⟦this⟧
0x0000…0020 00 00 00 01 01 00 00 00 4c 02 00 00 00 01 00 02 00 07 58 f8 80 1f 80 5b 00 02 00 19 55 4e 49 56 ┆ L X [ UNIV┆ 0x0020…0040 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 00 01 00 1c 55 4e 49 56 45 52 53 ┆ERSAL_REAL_ARITHMETIC UNIVERS┆ 0x0040…0060 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 00 00 00 00 b2 50 52 49 4d 41 52 ┆AL_INTEGER_ARITHMETIC PRIMAR┆ 0x0060…0080 59 20 3d 3e 20 54 52 55 45 2c 20 53 55 42 53 59 53 54 45 4d 20 3d 3e 20 20 32 30 36 38 31 34 39 ┆Y => TRUE, SUBSYSTEM => 2068149┆ 0x0080…00a0 31 36 31 36 35 36 34 31 31 2c 20 50 52 49 4d 41 52 59 5f 4e 41 4d 45 20 3d 3e 20 21 53 4f 46 54 ┆161656411, PRIMARY_NAME => !SOFT┆ 0x00a0…00c0 57 41 52 45 5f 43 41 54 41 4c 4f 47 53 2e 43 41 54 41 4c 4f 47 53 2e 43 55 53 54 4f 4d 45 52 2e ┆WARE_CATALOGS.CATALOGS.CUSTOMER.┆ 0x00c0…00e0 53 45 43 54 49 4f 4e 53 2e 4e 55 4d 45 52 49 43 5f 55 54 49 4c 49 54 49 45 53 2e 55 4e 49 56 45 ┆SECTIONS.NUMERIC_UTILITIES.UNIVE┆ 0x00e0…0100 52 53 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2c 20 50 52 49 4d 41 52 59 5f 4d 41 43 48 49 4e 45 ┆RSAL_ARITHMETIC, PRIMARY_MACHINE┆ 0x0100…0120 20 3d 3e 20 52 41 54 49 4f 4e 41 4c 02 00 00 0e e3 00 1c 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 ┆ => RATIONAL UNIVERSAL_INT┆ 0x0120…0140 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 02 00 00 00 01 00 01 00 00 00 1f 00 07 58 f8 80 1f ┆EGER_ARITHMETIC X ┆ 0x0140…0160 80 5b 00 00 00 12 00 76 00 20 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 ┆ [ v UNIVERSAL_INTEGER_ARIT┆ 0x0160…0180 48 4d 45 54 49 43 2e 49 4e 54 3d 7a 94 7e 90 23 00 01 58 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f ┆HMETIC.INT=z ~ # X .UNIVERSAL_┆ 0x0180…01a0 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 ┆INTEGER_ARITHMETIC.UNIVERSAL_INT┆ 0x01a0…01c0 45 47 45 52 00 17 00 15 53 54 41 4e 44 41 52 44 2e 4c 4f 4e 47 5f 49 4e 54 45 47 45 52 00 00 00 ┆EGER STANDARD.LONG_INTEGER ┆ 0x01c0…01e0 00 09 00 a8 00 1f 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 ┆ UNIVERSAL_INTEGER_ARITHMET┆ 0x01e0…0200 49 43 2e 2a 2a 3d 7a 94 7e 90 23 00 01 58 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 ┆IC.**=z ~ # X .UNIVERSAL_INTEG┆ 0x0200…0220 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 ┆ER_ARITHMETIC.UNIVERSAL_INTEGER ┆ 0x0220…0240 7e 90 23 00 01 59 17 00 10 53 54 41 4e 44 41 52 44 2e 49 4e 54 45 47 45 52 00 17 00 2e 55 4e 49 ┆~ # Y STANDARD.INTEGER .UNI┆ 0x0240…0260 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 ┆VERSAL_INTEGER_ARITHMETIC.UNIVER┆ 0x0260…0280 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 05 00 91 00 1e 55 4e 49 56 45 52 53 41 4c 5f 49 4e ┆SAL_INTEGER UNIVERSAL_IN┆ 0x0280…02a0 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 2a 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 ┆TEGER_ARITHMETIC.*=z ~ # X# Y ┆ 0x02a0…02c0 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 ┆ .UNIVERSAL_INTEGER_ARITHMETIC.U┆ 0x02c0…02e0 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e ┆NIVERSAL_INTEGER .UNIVERSAL_IN┆ 0x02e0…0300 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 ┆TEGER_ARITHMETIC.UNIVERSAL_INTEG┆ 0x0300…0320 45 52 00 00 00 00 03 00 91 00 1e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 ┆ER UNIVERSAL_INTEGER_ARI┆ 0x0320…0340 54 48 4d 45 54 49 43 2e 2b 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 2e 55 4e 49 56 45 52 53 ┆THMETIC.+=z ~ # X# Y .UNIVERS┆ 0x0340…0360 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f ┆AL_INTEGER_ARITHMETIC.UNIVERSAL_┆ 0x0360…0380 49 4e 54 45 47 45 52 00 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 ┆INTEGER .UNIVERSAL_INTEGER_ARI┆ 0x0380…03a0 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 13 00 70 ┆THMETIC.UNIVERSAL_INTEGER p┆ 0x03a0…03c0 00 1f 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 ┆ UNIVERSAL_INTEGER_ARITHMETIC.U┆ 0x03c0…03e0 49 3d 7a 94 7e 90 23 00 01 49 17 00 10 53 54 41 4e 44 41 52 44 2e 49 4e 54 45 47 45 52 00 17 00 ┆I=z ~ # I STANDARD.INTEGER ┆ 0x03e0…0400 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e ┆.UNIVERSAL_INTEGER_ARITHMETIC.UN┆ 0x0400…0420 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 04 00 91 00 1e 55 4e 49 56 45 52 53 41 ┆IVERSAL_INTEGER UNIVERSA┆ 0x0420…0440 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 2d 3d 7a 94 7e 90 23 00 01 58 23 ┆L_INTEGER_ARITHMETIC.-=z ~ # X#┆ 0x0440…0460 00 01 59 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 ┆ Y .UNIVERSAL_INTEGER_ARITHMET┆ 0x0460…0480 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 00 2e 55 4e 49 56 45 52 53 41 ┆IC.UNIVERSAL_INTEGER .UNIVERSA┆ 0x0480…04a0 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 ┆L_INTEGER_ARITHMETIC.UNIVERSAL_I┆ 0x04a0…04c0 4e 54 45 47 45 52 00 00 00 00 0a 00 8d 00 1e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 ┆NTEGER UNIVERSAL_INTEGER┆ 0x04c0…04e0 5f 41 52 49 54 48 4d 45 54 49 43 2e 2d 3d 7a 94 7e 90 23 00 01 58 17 00 2e 55 4e 49 56 45 52 53 ┆_ARITHMETIC.-=z ~ # X .UNIVERS┆ 0x04e0…0500 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f ┆AL_INTEGER_ARITHMETIC.UNIVERSAL_┆ 0x0500…0520 49 4e 54 45 47 45 52 00 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 ┆INTEGER .UNIVERSAL_INTEGER_ARI┆ 0x0520…0540 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 06 00 91 ┆THMETIC.UNIVERSAL_INTEGER ┆ 0x0540…0560 00 1e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 2f ┆ UNIVERSAL_INTEGER_ARITHMETIC./┆ 0x0560…0580 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 ┆=z ~ # X# Y .UNIVERSAL_INTEGE┆ 0x0580…05a0 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 ┆R_ARITHMETIC.UNIVERSAL_INTEGER ┆ 0x05a0…05c0 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 ┆ .UNIVERSAL_INTEGER_ARITHMETIC.U┆ 0x05c0…05e0 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 17 00 5a 00 23 55 4e 49 56 45 52 53 ┆NIVERSAL_INTEGER Z #UNIVERS┆ 0x05e0…0600 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 49 5f 5a 45 52 4f 3d 7a 94 17 ┆AL_INTEGER_ARITHMETIC.I_ZERO=z ┆ 0x0600…0620 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 ┆ .UNIVERSAL_INTEGER_ARITHMETIC.U┆ 0x0620…0640 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 14 00 75 00 1f 55 4e 49 56 45 52 53 ┆NIVERSAL_INTEGER u UNIVERS┆ 0x0640…0660 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 49 3d 7a 94 7e 90 23 00 01 ┆AL_INTEGER_ARITHMETIC.UI=z ~ # ┆ 0x0660…0680 49 17 00 15 53 54 41 4e 44 41 52 44 2e 4c 4f 4e 47 5f 49 4e 54 45 47 45 52 00 17 00 2e 55 4e 49 ┆I STANDARD.LONG_INTEGER .UNI┆ 0x0680…06a0 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 ┆VERSAL_INTEGER_ARITHMETIC.UNIVER┆ 0x06a0…06c0 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 0f 00 73 00 1e 55 4e 49 56 45 52 53 41 4c 5f 49 4e ┆SAL_INTEGER s UNIVERSAL_IN┆ 0x06c0…06e0 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 3c 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 ┆TEGER_ARITHMETIC.<=z ~ # X# Y ┆ 0x06e0…0700 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 ┆ .UNIVERSAL_INTEGER_ARITHMETIC.U┆ 0x0700…0720 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 00 10 53 54 41 4e 44 41 52 44 2e 42 4f 4f ┆NIVERSAL_INTEGER STANDARD.BOO┆ 0x0720…0740 4c 45 41 4e 00 00 00 00 0d 00 73 00 1e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 ┆LEAN s UNIVERSAL_INTEGER_A┆ 0x0740…0760 52 49 54 48 4d 45 54 49 43 2e 3e 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 2e 55 4e 49 56 45 ┆RITHMETIC.>=z ~ # X# Y .UNIVE┆ 0x0760…0780 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 ┆RSAL_INTEGER_ARITHMETIC.UNIVERSA┆ 0x0780…07a0 4c 5f 49 4e 54 45 47 45 52 00 17 00 10 53 54 41 4e 44 41 52 44 2e 42 4f 4f 4c 45 41 4e 00 00 00 ┆L_INTEGER STANDARD.BOOLEAN ┆ 0x07a0…07c0 00 1d 00 b0 00 29 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 ┆ )UNIVERSAL_INTEGER_ARITHMET┆ 0x07c0…07e0 49 43 2e 53 43 41 4c 45 44 5f 56 41 4c 55 45 3d 7a 94 7e 90 23 00 01 58 17 00 2e 55 4e 49 56 45 ┆IC.SCALED_VALUE=z ~ # X .UNIVE┆ 0x07e0…0800 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 ┆RSAL_INTEGER_ARITHMETIC.UNIVERSA┆ 0x0800…0820 4c 5f 49 4e 54 45 47 45 52 00 7e 90 23 00 01 59 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 ┆L_INTEGER ~ # Y .UNIVERSAL_INT┆ 0x0820…0840 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 ┆EGER_ARITHMETIC.UNIVERSAL_INTEGE┆ 0x0840…0860 52 00 17 00 0e 53 54 41 4e 44 41 52 44 2e 46 4c 4f 41 54 00 00 00 00 15 00 72 00 22 55 4e 49 56 ┆R STANDARD.FLOAT r "UNIV┆ 0x0860…0880 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 49 4d 41 47 45 3d 7a ┆ERSAL_INTEGER_ARITHMETIC.IMAGE=z┆ 0x0880…08a0 94 7e 90 23 00 01 58 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 ┆ ~ # X .UNIVERSAL_INTEGER_ARIT┆ 0x08a0…08c0 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 00 0f 53 54 41 4e ┆HMETIC.UNIVERSAL_INTEGER STAN┆ 0x08c0…08e0 44 41 52 44 2e 53 54 52 49 4e 47 00 00 00 00 0b 00 8f 00 20 55 4e 49 56 45 52 53 41 4c 5f 49 4e ┆DARD.STRING UNIVERSAL_IN┆ 0x08e0…0900 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 41 42 53 3d 7a 94 7e 90 23 00 01 58 17 00 2e ┆TEGER_ARITHMETIC.ABS=z ~ # X .┆ 0x0900…0920 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 ┆UNIVERSAL_INTEGER_ARITHMETIC.UNI┆ 0x0920…0940 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 ┆VERSAL_INTEGER .UNIVERSAL_INTE┆ 0x0940…0960 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 ┆GER_ARITHMETIC.UNIVERSAL_INTEGER┆ 0x0960…0980 00 00 00 00 18 00 59 00 22 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 ┆ Y "UNIVERSAL_INTEGER_ARITH┆ 0x0980…09a0 4d 45 54 49 43 2e 49 5f 4f 4e 45 3d 7a 94 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 ┆METIC.I_ONE=z .UNIVERSAL_INTEG┆ 0x09a0…09c0 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 ┆ER_ARITHMETIC.UNIVERSAL_INTEGER ┆ 0x09c0…09e0 00 00 00 16 00 72 00 22 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d ┆ r "UNIVERSAL_INTEGER_ARITHM┆ 0x09e0…0a00 45 54 49 43 2e 56 41 4c 55 45 3d 7a 94 7e 90 23 00 01 53 17 00 0f 53 54 41 4e 44 41 52 44 2e 53 ┆ETIC.VALUE=z ~ # S STANDARD.S┆ 0x0a00…0a20 54 52 49 4e 47 00 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 ┆TRING .UNIVERSAL_INTEGER_ARITH┆ 0x0a20…0a40 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 07 00 93 00 20 ┆METIC.UNIVERSAL_INTEGER ┆ 0x0a40…0a60 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 4d 4f 44 ┆UNIVERSAL_INTEGER_ARITHMETIC.MOD┆ 0x0a60…0a80 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 ┆=z ~ # X# Y .UNIVERSAL_INTEGE┆ 0x0a80…0aa0 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 ┆R_ARITHMETIC.UNIVERSAL_INTEGER ┆ 0x0aa0…0ac0 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 ┆ .UNIVERSAL_INTEGER_ARITHMETIC.U┆ 0x0ac0…0ae0 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 1a 00 59 00 22 55 4e 49 56 45 52 53 ┆NIVERSAL_INTEGER Y "UNIVERS┆ 0x0ae0…0b00 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 49 5f 54 45 4e 3d 7a 94 17 00 ┆AL_INTEGER_ARITHMETIC.I_TEN=z ┆ 0x0b00…0b20 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e ┆.UNIVERSAL_INTEGER_ARITHMETIC.UN┆ 0x0b20…0b40 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 02 00 33 00 2e 55 4e 49 56 45 52 53 41 ┆IVERSAL_INTEGER 3 .UNIVERSA┆ 0x0b40…0b60 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 ┆L_INTEGER_ARITHMETIC.UNIVERSAL_I┆ 0x0b60…0b80 4e 54 45 47 45 52 3b 99 71 00 00 00 08 00 93 00 20 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 ┆NTEGER; q UNIVERSAL_INTEG┆ 0x0b80…0ba0 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 52 45 4d 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 ┆ER_ARITHMETIC.REM=z ~ # X# Y ┆ 0x0ba0…0bc0 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e ┆.UNIVERSAL_INTEGER_ARITHMETIC.UN┆ 0x0bc0…0be0 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 ┆IVERSAL_INTEGER .UNIVERSAL_INT┆ 0x0be0…0c00 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 ┆EGER_ARITHMETIC.UNIVERSAL_INTEGE┆ 0x0c00…0c20 52 00 00 00 00 1b 00 75 00 22 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 ┆R u "UNIVERSAL_INTEGER_ARIT┆ 0x0c20…0c40 48 4d 45 54 49 43 2e 49 4d 41 47 45 3d 7a 94 7e 90 23 00 01 49 17 00 2e 55 4e 49 56 45 52 53 41 ┆HMETIC.IMAGE=z ~ # I .UNIVERSA┆ 0x0c40…0c60 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 ┆L_INTEGER_ARITHMETIC.UNIVERSAL_I┆ 0x0c60…0c80 4e 54 45 47 45 52 00 17 00 12 53 59 53 54 45 4d 2e 42 59 54 45 5f 53 54 52 49 4e 47 00 00 00 00 ┆NTEGER SYSTEM.BYTE_STRING ┆ 0x0c80…0ca0 01 00 20 00 1c 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 ┆ UNIVERSAL_INTEGER_ARITHMETI┆ 0x0ca0…0cc0 43 3e 7c 00 00 00 10 00 75 00 20 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 ┆C>| u UNIVERSAL_INTEGER_ARI┆ 0x0cc0…0ce0 54 48 4d 45 54 49 43 2e 45 51 4c 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 2e 55 4e 49 56 45 ┆THMETIC.EQL=z ~ # X# Y .UNIVE┆ 0x0ce0…0d00 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 ┆RSAL_INTEGER_ARITHMETIC.UNIVERSA┆ 0x0d00…0d20 4c 5f 49 4e 54 45 47 45 52 00 17 00 10 53 54 41 4e 44 41 52 44 2e 42 4f 4f 4c 45 41 4e 00 00 00 ┆L_INTEGER STANDARD.BOOLEAN ┆ 0x0d20…0d40 00 19 00 59 00 22 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 ┆ Y "UNIVERSAL_INTEGER_ARITHMET┆ 0x0d40…0d60 49 43 2e 49 5f 54 57 4f 3d 7a 94 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f ┆IC.I_TWO=z .UNIVERSAL_INTEGER_┆ 0x0d60…0d80 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 ┆ARITHMETIC.UNIVERSAL_INTEGER ┆ 0x0d80…0da0 0e 00 74 00 1f 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 ┆ t UNIVERSAL_INTEGER_ARITHMETI┆ 0x0da0…0dc0 43 2e 3c 3d 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e ┆C.<==z ~ # X# Y .UNIVERSAL_IN┆ 0x0dc0…0de0 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 ┆TEGER_ARITHMETIC.UNIVERSAL_INTEG┆ 0x0de0…0e00 45 52 00 17 00 10 53 54 41 4e 44 41 52 44 2e 42 4f 4f 4c 45 41 4e 00 00 00 00 1f 00 5d 00 2e 55 ┆ER STANDARD.BOOLEAN ] .U┆ 0x0e00…0e20 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 ┆NIVERSAL_INTEGER_ARITHMETIC.UNIV┆ 0x0e20…0e40 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 3b 99 6b 66 17 00 23 55 4e 49 56 45 52 53 41 4c 5f 49 4e ┆ERSAL_INTEGER; kf #UNIVERSAL_IN┆ 0x0e40…0e60 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 56 45 43 54 4f 52 00 00 00 00 00 00 0c 00 74 ┆TEGER_ARITHMETIC.VECTOR t┆ 0x0e60…0e80 00 1f 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 3e ┆ UNIVERSAL_INTEGER_ARITHMETIC.>┆ 0x0e80…0ea0 3d 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 ┆==z ~ # X# Y .UNIVERSAL_INTEG┆ 0x0ea0…0ec0 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 ┆ER_ARITHMETIC.UNIVERSAL_INTEGER ┆ 0x0ec0…0ee0 17 00 10 53 54 41 4e 44 41 52 44 2e 42 4f 4f 4c 45 41 4e 00 00 00 00 11 00 71 00 20 55 4e 49 56 ┆ STANDARD.BOOLEAN q UNIV┆ 0x0ee0…0f00 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 49 4e 54 3d 7a 94 7e ┆ERSAL_INTEGER_ARITHMETIC.INT=z ~┆ 0x0f00…0f20 90 23 00 01 58 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d ┆ # X .UNIVERSAL_INTEGER_ARITHM┆ 0x0f20…0f40 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 00 10 53 54 41 4e 44 41 ┆ETIC.UNIVERSAL_INTEGER STANDA┆ 0x0f40…0f60 52 44 2e 49 4e 54 45 47 45 52 00 00 00 00 1c 00 75 00 22 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 ┆RD.INTEGER u "UNIVERSAL_INT┆ 0x0f60…0f80 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 56 41 4c 55 45 3d 7a 94 7e 90 23 00 01 53 17 00 ┆EGER_ARITHMETIC.VALUE=z ~ # S ┆ 0x0f80…0fa0 12 53 59 53 54 45 4d 2e 42 59 54 45 5f 53 54 52 49 4e 47 00 17 00 2e 55 4e 49 56 45 52 53 41 4c ┆ SYSTEM.BYTE_STRING .UNIVERSAL┆ 0x0fa0…0fc0 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e ┆_INTEGER_ARITHMETIC.UNIVERSAL_IN┆ 0x0fc0…0fe0 54 45 47 45 52 00 00 00 00 1e 00 28 00 23 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f ┆TEGER ( #UNIVERSAL_INTEGER_┆ 0x0fe0…1000 41 52 49 54 48 4d 45 54 49 43 2e 56 45 43 54 4f 52 3b 99 00 02 00 00 0f ef 00 19 55 4e 49 56 45 ┆ARITHMETIC.VECTOR; UNIVE┆ 0x1000…1020 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 02 00 00 00 01 00 02 00 00 00 20 00 ┆RSAL_REAL_ARITHMETIC ┆ 0x1020…1040 07 58 f8 80 1f 80 5b 00 00 00 1d 00 50 00 1f 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 ┆ X [ P UNIVERSAL_REAL_AR┆ 0x1040…1060 49 54 48 4d 45 54 49 43 2e 52 5f 4f 4e 45 3d 7a 94 17 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 ┆ITHMETIC.R_ONE=z (UNIVERSAL_RE┆ 0x1060…1080 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 00 00 00 00 ┆AL_ARITHMETIC.UNIVERSAL_REAL ┆ 0x1080…10a0 11 00 6c 00 1d 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 45 ┆ l UNIVERSAL_REAL_ARITHMETIC.E┆ 0x10a0…10c0 51 4c 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c ┆QL=z ~ # X# Y (UNIVERSAL_REAL┆ 0x10c0…10e0 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 00 17 00 10 53 54 ┆_ARITHMETIC.UNIVERSAL_REAL ST┆ 0x10e0…1100 41 4e 44 41 52 44 2e 42 4f 4f 4c 45 41 4e 00 00 00 00 1e 00 6c 00 1f 55 4e 49 56 45 52 53 41 4c ┆ANDARD.BOOLEAN l UNIVERSAL┆ 0x1100…1120 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 49 4d 41 47 45 3d 7a 94 7e 90 23 00 01 58 17 ┆_REAL_ARITHMETIC.IMAGE=z ~ # X ┆ 0x1120…1140 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 ┆ (UNIVERSAL_REAL_ARITHMETIC.UNIV┆ 0x1140…1160 45 52 53 41 4c 5f 52 45 41 4c 00 17 00 12 53 59 53 54 45 4d 2e 42 59 54 45 5f 53 54 52 49 4e 47 ┆ERSAL_REAL SYSTEM.BYTE_STRING┆ 0x1160…1180 00 00 00 00 0c 00 80 00 1d 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 ┆ UNIVERSAL_REAL_ARITHMET┆ 0x1180…11a0 49 43 2e 41 42 53 3d 7a 94 7e 90 23 00 01 58 17 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c ┆IC.ABS=z ~ # X (UNIVERSAL_REAL┆ 0x11a0…11c0 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 00 17 00 28 55 4e ┆_ARITHMETIC.UNIVERSAL_REAL (UN┆ 0x11c0…11e0 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 ┆IVERSAL_REAL_ARITHMETIC.UNIVERSA┆ 0x11e0…1200 4c 5f 52 45 41 4c 00 00 00 00 09 00 b6 00 1b 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 ┆L_REAL UNIVERSAL_REAL_AR┆ 0x1200…1220 49 54 48 4d 45 54 49 43 2e 2a 3d 7a 94 7e 90 23 00 01 58 17 00 28 55 4e 49 56 45 52 53 41 4c 5f ┆ITHMETIC.*=z ~ # X (UNIVERSAL_┆ 0x1220…1240 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 00 7e ┆REAL_ARITHMETIC.UNIVERSAL_REAL ~┆ 0x1240…1260 90 23 00 01 59 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d ┆ # Y .UNIVERSAL_INTEGER_ARITHM┆ 0x1260…1280 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 00 28 55 4e 49 56 45 52 ┆ETIC.UNIVERSAL_INTEGER (UNIVER┆ 0x1280…12a0 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 ┆SAL_REAL_ARITHMETIC.UNIVERSAL_RE┆ 0x12a0…12c0 41 4c 00 00 00 00 08 00 b6 00 1b 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d ┆AL UNIVERSAL_REAL_ARITHM┆ 0x12c0…12e0 45 54 49 43 2e 2a 3d 7a 94 7e 90 23 00 01 58 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 ┆ETIC.*=z ~ # X .UNIVERSAL_INTE┆ 0x12e0…1300 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 ┆GER_ARITHMETIC.UNIVERSAL_INTEGER┆ 0x1300…1320 00 7e 90 23 00 01 59 17 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 ┆ ~ # Y (UNIVERSAL_REAL_ARITHME┆ 0x1320…1340 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 00 17 00 28 55 4e 49 56 45 52 53 41 4c 5f ┆TIC.UNIVERSAL_REAL (UNIVERSAL_┆ 0x1340…1360 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 00 00 ┆REAL_ARITHMETIC.UNIVERSAL_REAL ┆ 0x1360…1380 00 00 0f 00 6b 00 1c 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 ┆ k UNIVERSAL_REAL_ARITHMETIC┆ 0x1380…13a0 2e 3c 3d 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 ┆.<==z ~ # X# Y (UNIVERSAL_REA┆ 0x13a0…13c0 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 00 17 00 10 53 ┆L_ARITHMETIC.UNIVERSAL_REAL S┆ 0x13c0…13e0 54 41 4e 44 41 52 44 2e 42 4f 4f 4c 45 41 4e 00 00 00 00 0a 00 b6 00 1b 55 4e 49 56 45 52 53 41 ┆TANDARD.BOOLEAN UNIVERSA┆ 0x13e0…1400 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 2f 3d 7a 94 7e 90 23 00 01 58 17 00 28 55 ┆L_REAL_ARITHMETIC./=z ~ # X (U┆ 0x1400…1420 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 ┆NIVERSAL_REAL_ARITHMETIC.UNIVERS┆ 0x1420…1440 41 4c 5f 52 45 41 4c 00 7e 90 23 00 01 59 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 ┆AL_REAL ~ # Y .UNIVERSAL_INTEG┆ 0x1440…1460 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 ┆ER_ARITHMETIC.UNIVERSAL_INTEGER ┆ 0x1460…1480 17 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 ┆ (UNIVERSAL_REAL_ARITHMETIC.UNI┆ 0x1480…14a0 56 45 52 53 41 4c 5f 52 45 41 4c 00 00 00 00 0d 00 6b 00 1c 55 4e 49 56 45 52 53 41 4c 5f 52 45 ┆VERSAL_REAL k UNIVERSAL_RE┆ 0x14a0…14c0 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 3e 3d 3d 7a 94 7e 90 23 00 01 58 23 00 01 59 17 00 28 ┆AL_ARITHMETIC.>==z ~ # X# Y (┆ 0x14c0…14e0 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 ┆UNIVERSAL_REAL_ARITHMETIC.UNIVER┆ 0x14e0…1500 53 41 4c 5f 52 45 41 4c 00 17 00 10 53 54 41 4e 44 41 52 44 2e 42 4f 4f 4c 45 41 4e 00 00 00 00 ┆SAL_REAL STANDARD.BOOLEAN ┆ 0x1500…1520 17 00 89 00 1c 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 ┆ UNIVERSAL_REAL_ARITHMETIC.U┆ 0x1520…1540 52 3d 7a 94 7e 90 23 00 01 4e 23 00 01 44 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 ┆R=z ~ # N# D .UNIVERSAL_INTEG┆ 0x1540…1560 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 ┆ER_ARITHMETIC.UNIVERSAL_INTEGER ┆ 0x1560…1580 17 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 ┆ (UNIVERSAL_REAL_ARITHMETIC.UNI┆ 0x1580…15a0 56 45 52 53 41 4c 5f 52 45 41 4c 00 00 00 00 20 00 a7 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 ┆VERSAL_REAL (UNIVERSAL_RE┆ 0x15a0…15c0 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 3b 99 72 39 ┆AL_ARITHMETIC.UNIVERSAL_REAL; r9┆ 0x15c0…15e0 90 1c 00 03 4e 55 4d 66 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 ┆ NUMf .UNIVERSAL_INTEGER_ARI┆ 0x15e0…1600 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 39 90 1c 00 03 ┆THMETIC.UNIVERSAL_INTEGER 9 ┆ 0x1600…1620 44 45 4e 66 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 ┆DENf .UNIVERSAL_INTEGER_ARITHME┆ 0x1620…1640 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 00 00 00 1f 00 6c 00 ┆TIC.UNIVERSAL_INTEGER l ┆ 0x1640…1660 1f 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 56 41 4c 55 45 ┆ UNIVERSAL_REAL_ARITHMETIC.VALUE┆ 0x1660…1680 3d 7a 94 7e 90 23 00 01 53 17 00 12 53 59 53 54 45 4d 2e 42 59 54 45 5f 53 54 52 49 4e 47 00 17 ┆=z ~ # S SYSTEM.BYTE_STRING ┆ 0x1680…16a0 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 ┆ (UNIVERSAL_REAL_ARITHMETIC.UNIV┆ 0x16a0…16c0 45 52 53 41 4c 5f 52 45 41 4c 00 00 00 00 12 00 85 00 1c 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 ┆ERSAL_REAL UNIVERSAL_REA┆ 0x16c0…16e0 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 49 3d 7a 94 7e 90 23 00 01 58 17 00 28 55 4e 49 56 45 ┆L_ARITHMETIC.UI=z ~ # X (UNIVE┆ 0x16e0…1700 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 ┆RSAL_REAL_ARITHMETIC.UNIVERSAL_R┆ 0x1700…1720 45 41 4c 00 17 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 ┆EAL .UNIVERSAL_INTEGER_ARITHME┆ 0x1720…1740 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 00 00 00 18 00 6b 00 1c 55 4e ┆TIC.UNIVERSAL_INTEGER k UN┆ 0x1740…1760 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 52 3d 7a 94 7e 90 23 ┆IVERSAL_REAL_ARITHMETIC.UR=z ~ #┆ 0x1760…1780 00 01 4e 23 00 01 44 17 00 10 53 54 41 4e 44 41 52 44 2e 49 4e 54 45 47 45 52 00 17 00 28 55 4e ┆ N# D STANDARD.INTEGER (UN┆ 0x1780…17a0 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 ┆IVERSAL_REAL_ARITHMETIC.UNIVERSA┆ 0x17a0…17c0 4c 5f 52 45 41 4c 00 00 00 00 16 00 65 00 1c 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 ┆L_REAL e UNIVERSAL_REAL_AR┆ 0x17c0…17e0 49 54 48 4d 45 54 49 43 2e 55 52 3d 7a 94 7e 90 23 00 01 58 17 00 0e 53 54 41 4e 44 41 52 44 2e ┆ITHMETIC.UR=z ~ # X STANDARD.┆ 0x17e0…1800 46 4c 4f 41 54 00 17 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 ┆FLOAT (UNIVERSAL_REAL_ARITHMET┆ 0x1800…1820 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 00 00 00 00 13 00 85 00 1c 55 4e 49 56 45 52 ┆IC.UNIVERSAL_REAL UNIVER┆ 0x1820…1840 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 52 3d 7a 94 7e 90 23 00 01 58 17 ┆SAL_REAL_ARITHMETIC.UR=z ~ # X ┆ 0x1840…1860 00 2e 55 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 ┆ .UNIVERSAL_INTEGER_ARITHMETIC.U┆ 0x1860…1880 4e 49 56 45 52 53 41 4c 5f 49 4e 54 45 47 45 52 00 17 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 ┆NIVERSAL_INTEGER (UNIVERSAL_RE┆ 0x1880…18a0 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 00 00 00 00 ┆AL_ARITHMETIC.UNIVERSAL_REAL ┆ 0x18a0…18c0 19 00 70 00 1c 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 54 49 43 2e 55 ┆ p UNIVERSAL_REAL_ARITHMETIC.U┆ 0x18c0…18e0 52 3d 7a 94 7e 90 23 00 01 4e 23 00 01 44 17 00 15 53 54 41 4e 44 41 52 44 2e 4c 4f 4e 47 5f 49 ┆R=z ~ # N# D STANDARD.LONG_I┆ 0x18e0…1900 4e 54 45 47 45 52 00 17 00 28 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 5f 41 52 49 54 48 4d 45 ┆NTEGER (UNIVERSAL_REAL_ARITHME┆ 0x1900…1920 54 49 43 2e 55 4e 49 56 45 52 53 41 4c 5f 52 45 41 4c 00 00 00 00 14 00 67 00 1c 55 4e 49 56 45 ┆TIC.UNIVERSAL_REAL g UNIVE┆ […truncated at 200 lines…]