[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Theorem base summary for Specification bytes

band-65535-neg(11,7)byte2bits-empty(2,1)bytes2bytes-mone(60,31)bytes2int-leading-zero(2,1)bytes2int-size-val(6,3)fillsgn-pos(0,0)fix-value(24,11)int2bytes-len-def(15,9)int2bytes-len-pos(30,16)int2bytes-rec255-neg(34,18)
band-65535-pos(19,14)byte2bits-first(2,1)bytes2bytes-other(33,17)bytes2int-len-one-01(24,13)bytes2int-size-val-01(4,2)fillsgn-rec(34,12)fix2rest-last(34,16)int2bytes-len-eq-neg(6,3)int2bytes-len-pos-01(22,12)int2bytes-zero(10,5)
bits2bits-in(16,10)byte2bits-length(2,2)bytes2bytes-zero(49,25)bytes2int-len-one-02(17,7)bytes2int-size-val-02(3,2)fillsgn-short(25,11)getInt-theorem(24,16)int2bytes-len-eq-neg-01(6,3)int2bytes-minus-256(5,3)int2int(4,4)
bits2bits-inj(19,10)byte2bits-mone(4,2)bytes2int(0,0)bytes2int-mklist-mones(5,3)bytes2int-size-val-03(4,2)fix-bits2bytes(113,64)int2bytes(0,0)int2bytes-len-eq-pos(56,31)int2bytes-minus-256-01(1,0)int2int-fillsgn(4,3)
bits2bits-sgn(97,55)byte2bits-val(22,12)bytes2int-011x(9,5)bytes2int-mklist-mones-01(16,8)bytes2int-size-val-04(4,2)fix-bits2bytes-01(186,104)int2bytes-butlast(36,15)int2bytes-len-fits(3,2)int2bytes-minus-one(11,6)int2int-pos(2,1)
bits2bytes-2pot(25,13)byte2bits-value(2,2)bytes2int-011x-01(10,6)bytes2int-mklist-zeros(7,4)bytes2int-size-val-05(5,3)fix-butlast(12,6)int2bytes-byte(21,13)int2bytes-len-le(26,14)int2bytes-not-neg(12,4)intrightshift-8(4,2)
bits2bytes-app(28,15)byte2bits-zero(2,1)bytes2int-011x-02(9,5)bytes2int-mklist-zeros-01(14,7)bytes2int-size-val-06(3,2)fix-butlast-longer(16,6)int2bytes-byte-01(1,1)int2bytes-len-le-01(6,3)int2bytes-not-neg-01(2,1)no-leading-zero(48,25)
bits2bytes-base(0,0)byte2bits8(3,2)bytes2int-100x(11,7)bytes2int-mone(13,7)bytes2int-size-val-07(2,2)fix-empty(4,2)int2bytes-byte-neg(22,14)int2bytes-len-le-neg(20,10)int2bytes-one(15,5)no-leading-zero-01(49,22)
bits2bytes-empty(2,1)bytes2bits-append(3,1)bytes2int-100x-01(9,6)bytes2int-neg(17,9)bytes2int-zero(1,0)fix-fillsgn(2,1)int2bytes-bytes2int-length(2,1)int2bytes-len-le-neg-01(34,18)int2bytes-one-01(2,1)no-leading-zero-02(4,1)
bits2bytes-fill(36,20)bytes2bits-empty(0,0)bytes2int-100x-02(10,6)bytes2int-neg-01(2,1)bytes2int-zero-01(1,1)fix-last(8,4)int2bytes-bytes2int-length-01(16,8)int2bytes-len-le-neg-02(22,11)int2bytes-one-02(2,1)no-leading-zero-03(6,1)
bits2bytes-len(14,7)bytes2bits-empty-01(2,1)bytes2int-100x-03(9,5)bytes2int-one(1,1)bytes2int-zero-02(5,3)fix-length(5,3)int2bytes-empty(2,1)int2bytes-len-le-neg-03(34,18)int2bytes-rec-case(19,7)no-leading-zero-04(37,19)
bits2bytes-len-01(8,5)bytes2bits-length(2,1)bytes2int-1011x(12,7)bytes2int-pos(7,4)bytes2int-zero-03(16,9)fix-length-01(4,2)int2bytes-fillsgn-rec(28,14)int2bytes-len-le-upper(3,2)int2bytes-rec-neg-01(14,8)no-leading-zeros(10,5)
bits2bytes-len-02(9,5)bytes2bits-mklist(3,2)bytes2int-2-le-32767(10,6)bytes2int-range(3,2)bytes2int-zero-04(10,5)fix-longer(0,0)int2bytes-first(1,0)int2bytes-len-ls(4,2)int2bytes-rec-neg-02(113,59)rightshift-8(33,9)
bits2bytes-mklist(23,12)bytes2bits-mklist-01(3,2)bytes2int-append(72,42)bytes2int-rec(27,14)bytes2int-zero-05(4,2)fix-neg(0,0)int2bytes-first-neg(29,12)int2bytes-len-ls-01(66,34)int2bytes-rec-neg-03(41,24)rightshift-8-01(86,47)
bits2bytes-mklist-01(16,10)bytes2bits-nle(2,1)bytes2int-diff(34,19)bytes2int-rec-01(4,2)bytes2int-zero-06(19,7)fix-neg-le(4,2)int2bytes-first-neg-01(28,12)int2bytes-len-ls-03(2,1)int2bytes-rec-neg-04(19,10)rightshift-8-01-01(63,33)
bits2bytes-mklist-02(25,13)bytes2bits-nls(2,1)bytes2int-fillsgn-zero(22,10)bytes2int-rec-bor(4,2)fillsgn-butlast(26,13)fix-one(1,1)int2bytes-first-zerobyte(35,18)int2bytes-len-ls-04(2,1)int2bytes-rec-neg-05(168,89)rightshift-8-02(43,22)
bits2bytes-mklist-03(18,9)bytes2bits-one(1,1)bytes2int-first-gez(3,2)bytes2int-rec-first-zero(16,9)fillsgn-empty(5,3)fix-one-01(1,1)int2bytes-first-zerobyte-01(41,22)int2bytes-len-ls-neg(3,2)int2bytes-rec-neg-06(43,26)setInt-theorem(117,66)
bits2bytes-rec(0,0)bytes2bits-rec(0,0)bytes2int-first-lez(5,3)bytes2int-same(1,0)fillsgn-fix(12,4)fix-pos(0,0)int2bytes-index-rightshift(20,10)int2bytes-len-ls-neg-01(2,2)int2bytes-rec-neg-256(2,1)setShort-theorem(16,8)
bits2bytes-rec-01(11,8)bytes2bytes(3,2)bytes2int-first-neq(2,1)bytes2int-size(18,9)fillsgn-len-short(11,6)fix-pos-le(4,2)int2bytes-index-rightshift-01(2,1)int2bytes-len-ls-neg-02(2,2)int2bytes-rec-neg-256-01(4,2)setShort-theorem-01(11,6)
bits2bytes-rec-02(27,12)bytes2bytes-fillsgn(7,3)bytes2int-first-pos(12,7)bytes2int-size-01(16,8)fillsgn-length(6,3)fix-rec-neg(14,7)int2bytes-index-rightshift-02(15,8)int2bytes-len-ls-neg-03(2,2)int2bytes-rec-pos(44,25)setShortInt-theorem(2,1)
bits2bytes-true(1,1)bytes2bytes-first-neg(27,14)bytes2int-first-pos-01(5,4)bytes2int-size-02(15,8)fillsgn-length-01(2,1)fix-rec-pos(16,8)int2bytes-last(2,1)int2bytes-len-ls-upper(3,2)int2bytes-rec-pos-01(2,1)short-2bytes(18,14)
bits2int-2pot(4,3)bytes2bytes-first-pos(7,6)bytes2int-ge-zero(6,3)bytes2int-size-03(13,7)fillsgn-length-02(3,1)fix-two(1,1)int2bytes-last-01(35,14)int2bytes-len-neg(45,25)int2bytes-rec-pos-02(4,2)short-2bytes-01(5,3)
bits2int-neg(5,4)bytes2bytes-fix(43,22)bytes2int-ge-zero-01(1,1)bytes2int-size-04(14,8)fillsgn-length-03(1,1)fix-two-01(1,1)int2bytes-le127(4,3)int2bytes-len-neg-01(56,34)int2bytes-rec-pos-03(4,2)short-2bytes-02(3,2)
bits2int-pos(58,34)bytes2bytes-identity(24,11)bytes2int-i2b(4,2)bytes2int-size-05(16,8)fillsgn-longer(0,0)fix-two-02(1,1)int2bytes-le255(21,11)int2bytes-len-neg256(7,6)int2bytes-rec-pos-04(12,6)short-2bytes-03(7,5)
bits2int-zero-ls(6,3)bytes2bytes-identity-01(4,2)bytes2int-int2bytes-len-eq(147,77)bytes2int-size-06(14,8)fillsgn-neg(0,0)fix-two-03(7,4)int2bytes-leading-zeros(39,18)int2bytes-len-one(14,4)int2bytes-rec-pos-any(261,138)
byte2bits(0,0)bytes2bytes-length(27,14)bytes2int-le-zero(3,2)bytes2int-size-07(17,9)fillsgn-not-empty(5,3)fix-two-04(4,2)int2bytes-len-adjust(3,2)int2bytes-len-one-01(14,4)int2bytes-rec-shift(4,2)