Test output for sha1 [ok]

Testing time: 11s

'/usr/home/chicken/salmonella/build/salmonella-run-publish/chicken/bin/csi' -script run.scm < /dev/null 2>&1
*** csi ***

-- testing Sha1 --------------------------------------------------------------

    -- testing SHA1 Primitive ------------------------------------------------
    (message-digest-primitive? sha1) ................................. [ PASS]
    (message-digest-primitive-name sha1) ............................. [ PASS]
    (not (equal? (message-digest-primitive-update sha1) (message-di...  [ PASS]
    3 tests completed in 1/1000 seconds.
    3 out of 3 (100%) tests passed.
    -- done testing SHA1 Primitive -------------------------------------------


    -- testing SHA1 Strings --------------------------------------------------

        -- testing RFC3174 tests ---------------------------------------------
        (multiple-sha1 1 "abc") ...................................... [ PASS]
        (multiple-sha1 1 "abcdbcdecdefdefgefghfghighijhijkijkljklmklmnl...  [ PASS]
        (multiple-sha1 1000000 "a") .................................. [ PASS]
        (multiple-sha1 10 "01234567012345670123456701234567012345670123...  [ PASS]
        4 tests completed in 789/500 seconds.
        4 out of 4 (100%) tests passed.
        -- done testing RFC3174 tests ----------------------------------------


        -- testing Standard tests --------------------------------------------
        (message-digest-string (sha1-primitive) "") .................. [ PASS]
        (message-digest-string (sha1-primitive) "a") ................. [ PASS]
        (message-digest-string (sha1-primitive) "abc") ............... [ PASS]
        (message-digest-string (sha1-primitive) "message digest") .... [ PASS]
        (message-digest-string (sha1-primitive) "abcdefghijklmnopqrstuv...  [ PASS]
        (message-digest-string (sha1-primitive) "abcdbcdecdefdefgefghfg...  [ PASS]
        (message-digest-string (sha1-primitive) "ABCDEFGHIJKLMNOPQRSTUV...  [ PASS]
        (message-digest-string (sha1-primitive) "1234567890123456789012...  [ PASS]
        8 tests completed in 1/1000 seconds.
        8 out of 8 (100%) tests passed.
        -- done testing Standard tests ---------------------------------------


        -- testing NESSIE ----------------------------------------------------
        Individual byte 0[#x80]63 .................................... [ PASS]
        Individual byte 0[#x40]63 .................................... [ PASS]
        Individual byte 0[#x20]63 .................................... [ PASS]
        Individual byte 0[#x10]63 .................................... [ PASS]
        Individual byte 0[#x8]63 ..................................... [ PASS]
        Individual byte 0[#x4]63 ..................................... [ PASS]
        Individual byte 0[#x2]63 ..................................... [ PASS]
        Individual byte 0[#x1]63 ..................................... [ PASS]
        Individual byte 1[#x80]62 .................................... [ PASS]
        Individual byte 1[#x40]62 .................................... [ PASS]
        Individual byte 1[#x20]62 .................................... [ PASS]
        Individual byte 1[#x10]62 .................................... [ PASS]
        Individual byte 1[#x8]62 ..................................... [ PASS]
        Individual byte 1[#x4]62 ..................................... [ PASS]
        Individual byte 1[#x2]62 ..................................... [ PASS]
        Individual byte 1[#x1]62 ..................................... [ PASS]
        Individual byte 2[#x80]61 .................................... [ PASS]
        Individual byte 2[#x40]61 .................................... [ PASS]
        Individual byte 2[#x20]61 .................................... [ PASS]
        Individual byte 2[#x10]61 .................................... [ PASS]
        Individual byte 2[#x8]61 ..................................... [ PASS]
        Individual byte 2[#x4]61 ..................................... [ PASS]
        Individual byte 2[#x2]61 ..................................... [ PASS]
        Individual byte 2[#x1]61 ..................................... [ PASS]
        Individual byte 3[#x80]60 .................................... [ PASS]
        Individual byte 3[#x40]60 .................................... [ PASS]
        Individual byte 3[#x20]60 .................................... [ PASS]
        Individual byte 3[#x10]60 .................................... [ PASS]
        Individual byte 3[#x8]60 ..................................... [ PASS]
        Individual byte 3[#x4]60 ..................................... [ PASS]
        Individual byte 3[#x2]60 ..................................... [ PASS]
        Individual byte 3[#x1]60 ..................................... [ PASS]
        Individual byte 4[#x80]59 .................................... [ PASS]
        Individual byte 4[#x40]59 .................................... [ PASS]
        Individual byte 4[#x20]59 .................................... [ PASS]
        Individual byte 4[#x10]59 .................................... [ PASS]
        Individual byte 4[#x8]59 ..................................... [ PASS]
        Individual byte 4[#x4]59 ..................................... [ PASS]
        Individual byte 4[#x2]59 ..................................... [ PASS]
        Individual byte 4[#x1]59 ..................................... [ PASS]
        Individual byte 5[#x80]58 .................................... [ PASS]
        Individual byte 5[#x40]58 .................................... [ PASS]
        Individual byte 5[#x20]58 .................................... [ PASS]
        Individual byte 5[#x10]58 .................................... [ PASS]
        Individual byte 5[#x8]58 ..................................... [ PASS]
        Individual byte 5[#x4]58 ..................................... [ PASS]
        Individual byte 5[#x2]58 ..................................... [ PASS]
        Individual byte 5[#x1]58 ..................................... [ PASS]
        Individual byte 6[#x80]57 .................................... [ PASS]
        Individual byte 6[#x40]57 .................................... [ PASS]
        Individual byte 6[#x20]57 .................................... [ PASS]
        Individual byte 6[#x10]57 .................................... [ PASS]
        Individual byte 6[#x8]57 ..................................... [ PASS]
        Individual byte 6[#x4]57 ..................................... [ PASS]
        Individual byte 6[#x2]57 ..................................... [ PASS]
        Individual byte 6[#x1]57 ..................................... [ PASS]
        Individual byte 7[#x80]56 .................................... [ PASS]
        Individual byte 7[#x40]56 .................................... [ PASS]
        Individual byte 7[#x20]56 .................................... [ PASS]
        Individual byte 7[#x10]56 .................................... [ PASS]
        Individual byte 7[#x8]56 ..................................... [ PASS]
        Individual byte 7[#x4]56 ..................................... [ PASS]
        Individual byte 7[#x2]56 ..................................... [ PASS]
        Individual byte 7[#x1]56 ..................................... [ PASS]
        Individual byte 8[#x80]55 .................................... [ PASS]
        Individual byte 8[#x40]55 .................................... [ PASS]
        Individual byte 8[#x20]55 .................................... [ PASS]
        Individual byte 8[#x10]55 .................................... [ PASS]
        Individual byte 8[#x8]55 ..................................... [ PASS]
        Individual byte 8[#x4]55 ..................................... [ PASS]
        Individual byte 8[#x2]55 ..................................... [ PASS]
        Individual byte 8[#x1]55 ..................................... [ PASS]
        Individual byte 9[#x80]54 .................................... [ PASS]
        Individual byte 9[#x40]54 .................................... [ PASS]
        Individual byte 9[#x20]54 .................................... [ PASS]
        Individual byte 9[#x10]54 .................................... [ PASS]
        Individual byte 9[#x8]54 ..................................... [ PASS]
        Individual byte 9[#x4]54 ..................................... [ PASS]
        Individual byte 9[#x2]54 ..................................... [ PASS]
        Individual byte 9[#x1]54 ..................................... [ PASS]
        Individual byte 10[#x80]53 ................................... [ PASS]
        Individual byte 10[#x40]53 ................................... [ PASS]
        Individual byte 10[#x20]53 ................................... [ PASS]
        Individual byte 10[#x10]53 ................................... [ PASS]
        Individual byte 10[#x8]53 .................................... [ PASS]
        Individual byte 10[#x4]53 .................................... [ PASS]
        Individual byte 10[#x2]53 .................................... [ PASS]
        Individual byte 10[#x1]53 .................................... [ PASS]
        Individual byte 11[#x80]52 ................................... [ PASS]
        Individual byte 11[#x40]52 ................................... [ PASS]
        Individual byte 11[#x20]52 ................................... [ PASS]
        Individual byte 11[#x10]52 ................................... [ PASS]
        Individual byte 11[#x8]52 .................................... [ PASS]
        Individual byte 11[#x4]52 .................................... [ PASS]
        Individual byte 11[#x2]52 .................................... [ PASS]
        Individual byte 11[#x1]52 .................................... [ PASS]
        Individual byte 12[#x80]51 ................................... [ PASS]
        Individual byte 12[#x40]51 ................................... [ PASS]
        Individual byte 12[#x20]51 ................................... [ PASS]
        Individual byte 12[#x10]51 ................................... [ PASS]
        Individual byte 12[#x8]51 .................................... [ PASS]
        Individual byte 12[#x4]51 .................................... [ PASS]
        Individual byte 12[#x2]51 .................................... [ PASS]
        Individual byte 12[#x1]51 .................................... [ PASS]
        Individual byte 13[#x80]50 ................................... [ PASS]
        Individual byte 13[#x40]50 ................................... [ PASS]
        Individual byte 13[#x20]50 ................................... [ PASS]
        Individual byte 13[#x10]50 ................................... [ PASS]
        Individual byte 13[#x8]50 .................................... [ PASS]
        Individual byte 13[#x4]50 .................................... [ PASS]
        Individual byte 13[#x2]50 .................................... [ PASS]
        Individual byte 13[#x1]50 .................................... [ PASS]
        Individual byte 14[#x80]49 ................................... [ PASS]
        Individual byte 14[#x40]49 ................................... [ PASS]
        Individual byte 14[#x20]49 ................................... [ PASS]
        Individual byte 14[#x10]49 ................................... [ PASS]
        Individual byte 14[#x8]49 .................................... [ PASS]
        Individual byte 14[#x4]49 .................................... [ PASS]
        Individual byte 14[#x2]49 .................................... [ PASS]
        Individual byte 14[#x1]49 .................................... [ PASS]
        Individual byte 15[#x80]48 ................................... [ PASS]
        Individual byte 15[#x40]48 ................................... [ PASS]
        Individual byte 15[#x20]48 ................................... [ PASS]
        Individual byte 15[#x10]48 ................................... [ PASS]
        Individual byte 15[#x8]48 .................................... [ PASS]
        Individual byte 15[#x4]48 .................................... [ PASS]
        Individual byte 15[#x2]48 .................................... [ PASS]
        Individual byte 15[#x1]48 .................................... [ PASS]
        Individual byte 16[#x80]47 ................................... [ PASS]
        Individual byte 16[#x40]47 ................................... [ PASS]
        Individual byte 16[#x20]47 ................................... [ PASS]
        Individual byte 16[#x10]47 ................................... [ PASS]
        Individual byte 16[#x8]47 .................................... [ PASS]
        Individual byte 16[#x4]47 .................................... [ PASS]
        Individual byte 16[#x2]47 .................................... [ PASS]
        Individual byte 16[#x1]47 .................................... [ PASS]
        Individual byte 17[#x80]46 ................................... [ PASS]
        Individual byte 17[#x40]46 ................................... [ PASS]
        Individual byte 17[#x20]46 ................................... [ PASS]
        Individual byte 17[#x10]46 ................................... [ PASS]
        Individual byte 17[#x8]46 .................................... [ PASS]
        Individual byte 17[#x4]46 .................................... [ PASS]
        Individual byte 17[#x2]46 .................................... [ PASS]
        Individual byte 17[#x1]46 .................................... [ PASS]
        Individual byte 18[#x80]45 ................................... [ PASS]
        Individual byte 18[#x40]45 ................................... [ PASS]
        Individual byte 18[#x20]45 ................................... [ PASS]
        Individual byte 18[#x10]45 ................................... [ PASS]
        Individual byte 18[#x8]45 .................................... [ PASS]
        Individual byte 18[#x4]45 .................................... [ PASS]
        Individual byte 18[#x2]45 .................................... [ PASS]
        Individual byte 18[#x1]45 .................................... [ PASS]
        Individual byte 19[#x80]44 ................................... [ PASS]
        Individual byte 19[#x40]44 ................................... [ PASS]
        Individual byte 19[#x20]44 ................................... [ PASS]
        Individual byte 19[#x10]44 ................................... [ PASS]
        Individual byte 19[#x8]44 .................................... [ PASS]
        Individual byte 19[#x4]44 .................................... [ PASS]
        Individual byte 19[#x2]44 .................................... [ PASS]
        Individual byte 19[#x1]44 .................................... [ PASS]
        Individual byte 20[#x80]43 ................................... [ PASS]
        Individual byte 20[#x40]43 ................................... [ PASS]
        Individual byte 20[#x20]43 ................................... [ PASS]
        Individual byte 20[#x10]43 ................................... [ PASS]
        Individual byte 20[#x8]43 .................................... [ PASS]
        Individual byte 20[#x4]43 .................................... [ PASS]
        Individual byte 20[#x2]43 .................................... [ PASS]
        Individual byte 20[#x1]43 .................................... [ PASS]
        Individual byte 21[#x80]42 ................................... [ PASS]
        Individual byte 21[#x40]42 ................................... [ PASS]
        Individual byte 21[#x20]42 ................................... [ PASS]
        Individual byte 21[#x10]42 ................................... [ PASS]
        Individual byte 21[#x8]42 .................................... [ PASS]
        Individual byte 21[#x4]42 .................................... [ PASS]
        Individual byte 21[#x2]42 .................................... [ PASS]
        Individual byte 21[#x1]42 .................................... [ PASS]
        Individual byte 22[#x80]41 ................................... [ PASS]
        Individual byte 22[#x40]41 ................................... [ PASS]
        Individual byte 22[#x20]41 ................................... [ PASS]
        Individual byte 22[#x10]41 ................................... [ PASS]
        Individual byte 22[#x8]41 .................................... [ PASS]
        Individual byte 22[#x4]41 .................................... [ PASS]
        Individual byte 22[#x2]41 .................................... [ PASS]
        Individual byte 22[#x1]41 .................................... [ PASS]
        Individual byte 23[#x80]40 ................................... [ PASS]
        Individual byte 23[#x40]40 ................................... [ PASS]
        Individual byte 23[#x20]40 ................................... [ PASS]
        Individual byte 23[#x10]40 ................................... [ PASS]
        Individual byte 23[#x8]40 .................................... [ PASS]
        Individual byte 23[#x4]40 .................................... [ PASS]
        Individual byte 23[#x2]40 .................................... [ PASS]
        Individual byte 23[#x1]40 .................................... [ PASS]
        Individual byte 24[#x80]39 ................................... [ PASS]
        Individual byte 24[#x40]39 ................................... [ PASS]
        Individual byte 24[#x20]39 ................................... [ PASS]
        Individual byte 24[#x10]39 ................................... [ PASS]
        Individual byte 24[#x8]39 .................................... [ PASS]
        Individual byte 24[#x4]39 .................................... [ PASS]
        Individual byte 24[#x2]39 .................................... [ PASS]
        Individual byte 24[#x1]39 .................................... [ PASS]
        Individual byte 25[#x80]38 ................................... [ PASS]
        Individual byte 25[#x40]38 ................................... [ PASS]
        Individual byte 25[#x20]38 ................................... [ PASS]
        Individual byte 25[#x10]38 ................................... [ PASS]
        Individual byte 25[#x8]38 .................................... [ PASS]
        Individual byte 25[#x4]38 .................................... [ PASS]
        Individual byte 25[#x2]38 .................................... [ PASS]
        Individual byte 25[#x1]38 .................................... [ PASS]
        Individual byte 26[#x80]37 ................................... [ PASS]
        Individual byte 26[#x40]37 ................................... [ PASS]
        Individual byte 26[#x20]37 ................................... [ PASS]
        Individual byte 26[#x10]37 ................................... [ PASS]
        Individual byte 26[#x8]37 .................................... [ PASS]
        Individual byte 26[#x4]37 .................................... [ PASS]
        Individual byte 26[#x2]37 .................................... [ PASS]
        Individual byte 26[#x1]37 .................................... [ PASS]
        Individual byte 27[#x80]36 ................................... [ PASS]
        Individual byte 27[#x40]36 ................................... [ PASS]
        Individual byte 27[#x20]36 ................................... [ PASS]
        Individual byte 27[#x10]36 ................................... [ PASS]
        Individual byte 27[#x8]36 .................................... [ PASS]
        Individual byte 27[#x4]36 .................................... [ PASS]
        Individual byte 27[#x2]36 .................................... [ PASS]
        Individual byte 27[#x1]36 .................................... [ PASS]
        Individual byte 28[#x80]35 ................................... [ PASS]
        Individual byte 28[#x40]35 ................................... [ PASS]
        Individual byte 28[#x20]35 ................................... [ PASS]
        Individual byte 28[#x10]35 ................................... [ PASS]
        Individual byte 28[#x8]35 .................................... [ PASS]
        Individual byte 28[#x4]35 .................................... [ PASS]
        Individual byte 28[#x2]35 .................................... [ PASS]
        Individual byte 28[#x1]35 .................................... [ PASS]
        Individual byte 29[#x80]34 ................................... [ PASS]
        Individual byte 29[#x40]34 ................................... [ PASS]
        Individual byte 29[#x20]34 ................................... [ PASS]
        Individual byte 29[#x10]34 ................................... [ PASS]
        Individual byte 29[#x8]34 .................................... [ PASS]
        Individual byte 29[#x4]34 .................................... [ PASS]
        Individual byte 29[#x2]34 .................................... [ PASS]
        Individual byte 29[#x1]34 .................................... [ PASS]
        Individual byte 30[#x80]33 ................................... [ PASS]
        Individual byte 30[#x40]33 ................................... [ PASS]
        Individual byte 30[#x20]33 ................................... [ PASS]
        Individual byte 30[#x10]33 ................................... [ PASS]
        Individual byte 30[#x8]33 .................................... [ PASS]
        Individual byte 30[#x4]33 .................................... [ PASS]
        Individual byte 30[#x2]33 .................................... [ PASS]
        Individual byte 30[#x1]33 .................................... [ PASS]
        Individual byte 31[#x80]32 ................................... [ PASS]
        Individual byte 31[#x40]32 ................................... [ PASS]
        Individual byte 31[#x20]32 ................................... [ PASS]
        Individual byte 31[#x10]32 ................................... [ PASS]
        Individual byte 31[#x8]32 .................................... [ PASS]
        Individual byte 31[#x4]32 .................................... [ PASS]
        Individual byte 31[#x2]32 .................................... [ PASS]
        Individual byte 31[#x1]32 .................................... [ PASS]
        Individual byte 32[#x80]31 ................................... [ PASS]
        Individual byte 32[#x40]31 ................................... [ PASS]
        Individual byte 32[#x20]31 ................................... [ PASS]
        Individual byte 32[#x10]31 ................................... [ PASS]
        Individual byte 32[#x8]31 .................................... [ PASS]
        Individual byte 32[#x4]31 .................................... [ PASS]
        Individual byte 32[#x2]31 .................................... [ PASS]
        Individual byte 32[#x1]31 .................................... [ PASS]
        Individual byte 33[#x80]30 ................................... [ PASS]
        Individual byte 33[#x40]30 ................................... [ PASS]
        Individual byte 33[#x20]30 ................................... [ PASS]
        Individual byte 33[#x10]30 ................................... [ PASS]
        Individual byte 33[#x8]30 .................................... [ PASS]
        Individual byte 33[#x4]30 .................................... [ PASS]
        Individual byte 33[#x2]30 .................................... [ PASS]
        Individual byte 33[#x1]30 .................................... [ PASS]
        Individual byte 34[#x80]29 ................................... [ PASS]
        Individual byte 34[#x40]29 ................................... [ PASS]
        Individual byte 34[#x20]29 ................................... [ PASS]
        Individual byte 34[#x10]29 ................................... [ PASS]
        Individual byte 34[#x8]29 .................................... [ PASS]
        Individual byte 34[#x4]29 .................................... [ PASS]
        Individual byte 34[#x2]29 .................................... [ PASS]
        Individual byte 34[#x1]29 .................................... [ PASS]
        Individual byte 35[#x80]28 ................................... [ PASS]
        Individual byte 35[#x40]28 ................................... [ PASS]
        Individual byte 35[#x20]28 ................................... [ PASS]
        Individual byte 35[#x10]28 ................................... [ PASS]
        Individual byte 35[#x8]28 .................................... [ PASS]
        Individual byte 35[#x4]28 .................................... [ PASS]
        Individual byte 35[#x2]28 .................................... [ PASS]
        Individual byte 35[#x1]28 .................................... [ PASS]
        Individual byte 36[#x80]27 ................................... [ PASS]
        Individual byte 36[#x40]27 ................................... [ PASS]
        Individual byte 36[#x20]27 ................................... [ PASS]
        Individual byte 36[#x10]27 ................................... [ PASS]
        Individual byte 36[#x8]27 .................................... [ PASS]
        Individual byte 36[#x4]27 .................................... [ PASS]
        Individual byte 36[#x2]27 .................................... [ PASS]
        Individual byte 36[#x1]27 .................................... [ PASS]
        Individual byte 37[#x80]26 ................................... [ PASS]
        Individual byte 37[#x40]26 ................................... [ PASS]
        Individual byte 37[#x20]26 ................................... [ PASS]
        Individual byte 37[#x10]26 ................................... [ PASS]
        Individual byte 37[#x8]26 .................................... [ PASS]
        Individual byte 37[#x4]26 .................................... [ PASS]
        Individual byte 37[#x2]26 .................................... [ PASS]
        Individual byte 37[#x1]26 .................................... [ PASS]
        Individual byte 38[#x80]25 ................................... [ PASS]
        Individual byte 38[#x40]25 ................................... [ PASS]
        Individual byte 38[#x20]25 ................................... [ PASS]
        Individual byte 38[#x10]25 ................................... [ PASS]
        Individual byte 38[#x8]25 .................................... [ PASS]
        Individual byte 38[#x4]25 .................................... [ PASS]
        Individual byte 38[#x2]25 .................................... [ PASS]
        Individual byte 38[#x1]25 .................................... [ PASS]
        Individual byte 39[#x80]24 ................................... [ PASS]
        Individual byte 39[#x40]24 ................................... [ PASS]
        Individual byte 39[#x20]24 ................................... [ PASS]
        Individual byte 39[#x10]24 ................................... [ PASS]
        Individual byte 39[#x8]24 .................................... [ PASS]
        Individual byte 39[#x4]24 .................................... [ PASS]
        Individual byte 39[#x2]24 .................................... [ PASS]
        Individual byte 39[#x1]24 .................................... [ PASS]
        Individual byte 40[#x80]23 ................................... [ PASS]
        Individual byte 40[#x40]23 ................................... [ PASS]
        Individual byte 40[#x20]23 ................................... [ PASS]
        Individual byte 40[#x10]23 ................................... [ PASS]
        Individual byte 40[#x8]23 .................................... [ PASS]
        Individual byte 40[#x4]23 .................................... [ PASS]
        Individual byte 40[#x2]23 .................................... [ PASS]
        Individual byte 40[#x1]23 .................................... [ PASS]
        Individual byte 41[#x80]22 ................................... [ PASS]
        Individual byte 41[#x40]22 ................................... [ PASS]
        Individual byte 41[#x20]22 ................................... [ PASS]
        Individual byte 41[#x10]22 ................................... [ PASS]
        Individual byte 41[#x8]22 .................................... [ PASS]
        Individual byte 41[#x4]22 .................................... [ PASS]
        Individual byte 41[#x2]22 .................................... [ PASS]
        Individual byte 41[#x1]22 .................................... [ PASS]
        Individual byte 42[#x80]21 ................................... [ PASS]
        Individual byte 42[#x40]21 ................................... [ PASS]
        Individual byte 42[#x20]21 ................................... [ PASS]
        Individual byte 42[#x10]21 ................................... [ PASS]
        Individual byte 42[#x8]21 .................................... [ PASS]
        Individual byte 42[#x4]21 .................................... [ PASS]
        Individual byte 42[#x2]21 .................................... [ PASS]
        Individual byte 42[#x1]21 .................................... [ PASS]
        Individual byte 43[#x80]20 ................................... [ PASS]
        Individual byte 43[#x40]20 ................................... [ PASS]
        Individual byte 43[#x20]20 ................................... [ PASS]
        Individual byte 43[#x10]20 ................................... [ PASS]
        Individual byte 43[#x8]20 .................................... [ PASS]
        Individual byte 43[#x4]20 .................................... [ PASS]
        Individual byte 43[#x2]20 .................................... [ PASS]
        Individual byte 43[#x1]20 .................................... [ PASS]
        Individual byte 44[#x80]19 ................................... [ PASS]
        Individual byte 44[#x40]19 ................................... [ PASS]
        Individual byte 44[#x20]19 ................................... [ PASS]
        Individual byte 44[#x10]19 ................................... [ PASS]
        Individual byte 44[#x8]19 .................................... [ PASS]
        Individual byte 44[#x4]19 .................................... [ PASS]
        Individual byte 44[#x2]19 .................................... [ PASS]
        Individual byte 44[#x1]19 .................................... [ PASS]
        Individual byte 45[#x80]18 ................................... [ PASS]
        Individual byte 45[#x40]18 ................................... [ PASS]
        Individual byte 45[#x20]18 ................................... [ PASS]
        Individual byte 45[#x10]18 ................................... [ PASS]
        Individual byte 45[#x8]18 .................................... [ PASS]
        Individual byte 45[#x4]18 .................................... [ PASS]
        Individual byte 45[#x2]18 .................................... [ PASS]
        Individual byte 45[#x1]18 .................................... [ PASS]
        Individual byte 46[#x80]17 ................................... [ PASS]
        Individual byte 46[#x40]17 ................................... [ PASS]
        Individual byte 46[#x20]17 ................................... [ PASS]
        Individual byte 46[#x10]17 ................................... [ PASS]
        Individual byte 46[#x8]17 .................................... [ PASS]
        Individual byte 46[#x4]17 .................................... [ PASS]
        Individual byte 46[#x2]17 .................................... [ PASS]
        Individual byte 46[#x1]17 .................................... [ PASS]
        Individual byte 47[#x80]16 ................................... [ PASS]
        Individual byte 47[#x40]16 ................................... [ PASS]
        Individual byte 47[#x20]16 ................................... [ PASS]
        Individual byte 47[#x10]16 ................................... [ PASS]
        Individual byte 47[#x8]16 .................................... [ PASS]
        Individual byte 47[#x4]16 .................................... [ PASS]
        Individual byte 47[#x2]16 .................................... [ PASS]
        Individual byte 47[#x1]16 .................................... [ PASS]
        Individual byte 48[#x80]15 ................................... [ PASS]
        Individual byte 48[#x40]15 ................................... [ PASS]
        Individual byte 48[#x20]15 ................................... [ PASS]
        Individual byte 48[#x10]15 ................................... [ PASS]
        Individual byte 48[#x8]15 .................................... [ PASS]
        Individual byte 48[#x4]15 .................................... [ PASS]
        Individual byte 48[#x2]15 .................................... [ PASS]
        Individual byte 48[#x1]15 .................................... [ PASS]
        Individual byte 49[#x80]14 ................................... [ PASS]
        Individual byte 49[#x40]14 ................................... [ PASS]
        Individual byte 49[#x20]14 ................................... [ PASS]
        Individual byte 49[#x10]14 ................................... [ PASS]
        Individual byte 49[#x8]14 .................................... [ PASS]
        Individual byte 49[#x4]14 .................................... [ PASS]
        Individual byte 49[#x2]14 .................................... [ PASS]
        Individual byte 49[#x1]14 .................................... [ PASS]
        Individual byte 50[#x80]13 ................................... [ PASS]
        Individual byte 50[#x40]13 ................................... [ PASS]
        Individual byte 50[#x20]13 ................................... [ PASS]
        Individual byte 50[#x10]13 ................................... [ PASS]
        Individual byte 50[#x8]13 .................................... [ PASS]
        Individual byte 50[#x4]13 .................................... [ PASS]
        Individual byte 50[#x2]13 .................................... [ PASS]
        Individual byte 50[#x1]13 .................................... [ PASS]
        Individual byte 51[#x80]12 ................................... [ PASS]
        Individual byte 51[#x40]12 ................................... [ PASS]
        Individual byte 51[#x20]12 ................................... [ PASS]
        Individual byte 51[#x10]12 ................................... [ PASS]
        Individual byte 51[#x8]12 .................................... [ PASS]
        Individual byte 51[#x4]12 .................................... [ PASS]
        Individual byte 51[#x2]12 .................................... [ PASS]
        Individual byte 51[#x1]12 .................................... [ PASS]
        Individual byte 52[#x80]11 ................................... [ PASS]
        Individual byte 52[#x40]11 ................................... [ PASS]
        Individual byte 52[#x20]11 ................................... [ PASS]
        Individual byte 52[#x10]11 ................................... [ PASS]
        Individual byte 52[#x8]11 .................................... [ PASS]
        Individual byte 52[#x4]11 .................................... [ PASS]
        Individual byte 52[#x2]11 .................................... [ PASS]
        Individual byte 52[#x1]11 .................................... [ PASS]
        Individual byte 53[#x80]10 ................................... [ PASS]
        Individual byte 53[#x40]10 ................................... [ PASS]
        Individual byte 53[#x20]10 ................................... [ PASS]
        Individual byte 53[#x10]10 ................................... [ PASS]
        Individual byte 53[#x8]10 .................................... [ PASS]
        Individual byte 53[#x4]10 .................................... [ PASS]
        Individual byte 53[#x2]10 .................................... [ PASS]
        Individual byte 53[#x1]10 .................................... [ PASS]
        Individual byte 54[#x80]9 .................................... [ PASS]
        Individual byte 54[#x40]9 .................................... [ PASS]
        Individual byte 54[#x20]9 .................................... [ PASS]
        Individual byte 54[#x10]9 .................................... [ PASS]
        Individual byte 54[#x8]9 ..................................... [ PASS]
        Individual byte 54[#x4]9 ..................................... [ PASS]
        Individual byte 54[#x2]9 ..................................... [ PASS]
        Individual byte 54[#x1]9 ..................................... [ PASS]
        Individual byte 55[#x80]8 .................................... [ PASS]
        Individual byte 55[#x40]8 .................................... [ PASS]
        Individual byte 55[#x20]8 .................................... [ PASS]
        Individual byte 55[#x10]8 .................................... [ PASS]
        Individual byte 55[#x8]8 ..................................... [ PASS]
        Individual byte 55[#x4]8 ..................................... [ PASS]
        Individual byte 55[#x2]8 ..................................... [ PASS]
        Individual byte 55[#x1]8 ..................................... [ PASS]
        Individual byte 56[#x80]7 .................................... [ PASS]
        Individual byte 56[#x40]7 .................................... [ PASS]
        Individual byte 56[#x20]7 .................................... [ PASS]
        Individual byte 56[#x10]7 .................................... [ PASS]
        Individual byte 56[#x8]7 ..................................... [ PASS]
        Individual byte 56[#x4]7 ..................................... [ PASS]
        Individual byte 56[#x2]7 ..................................... [ PASS]
        Individual byte 56[#x1]7 ..................................... [ PASS]
        Individual byte 57[#x80]6 .................................... [ PASS]
        Individual byte 57[#x40]6 .................................... [ PASS]
        Individual byte 57[#x20]6 .................................... [ PASS]
        Individual byte 57[#x10]6 .................................... [ PASS]
        Individual byte 57[#x8]6 ..................................... [ PASS]
        Individual byte 57[#x4]6 ..................................... [ PASS]
        Individual byte 57[#x2]6 ..................................... [ PASS]
        Individual byte 57[#x1]6 ..................................... [ PASS]
        Individual byte 58[#x80]5 .................................... [ PASS]
        Individual byte 58[#x40]5 .................................... [ PASS]
        Individual byte 58[#x20]5 .................................... [ PASS]
        Individual byte 58[#x10]5 .................................... [ PASS]
        Individual byte 58[#x8]5 ..................................... [ PASS]
        Individual byte 58[#x4]5 ..................................... [ PASS]
        Individual byte 58[#x2]5 ..................................... [ PASS]
        Individual byte 58[#x1]5 ..................................... [ PASS]
        Individual byte 59[#x80]4 .................................... [ PASS]
        Individual byte 59[#x40]4 .................................... [ PASS]
        Individual byte 59[#x20]4 .................................... [ PASS]
        Individual byte 59[#x10]4 .................................... [ PASS]
        Individual byte 59[#x8]4 ..................................... [ PASS]
        Individual byte 59[#x4]4 ..................................... [ PASS]
        Individual byte 59[#x2]4 ..................................... [ PASS]
        Individual byte 59[#x1]4 ..................................... [ PASS]
        Individual byte 60[#x80]3 .................................... [ PASS]
        Individual byte 60[#x40]3 .................................... [ PASS]
        Individual byte 60[#x20]3 .................................... [ PASS]
        Individual byte 60[#x10]3 .................................... [ PASS]
        Individual byte 60[#x8]3 ..................................... [ PASS]
        Individual byte 60[#x4]3 ..................................... [ PASS]
        Individual byte 60[#x2]3 ..................................... [ PASS]
        Individual byte 60[#x1]3 ..................................... [ PASS]
        Individual byte 61[#x80]2 .................................... [ PASS]
        Individual byte 61[#x40]2 .................................... [ PASS]
        Individual byte 61[#x20]2 .................................... [ PASS]
        Individual byte 61[#x10]2 .................................... [ PASS]
        Individual byte 61[#x8]2 ..................................... [ PASS]
        Individual byte 61[#x4]2 ..................................... [ PASS]
        Individual byte 61[#x2]2 ..................................... [ PASS]
        Individual byte 61[#x1]2 ..................................... [ PASS]
        Individual byte 62[#x80]1 .................................... [ PASS]
        Individual byte 62[#x40]1 .................................... [ PASS]
        Individual byte 62[#x20]1 .................................... [ PASS]
        Individual byte 62[#x10]1 .................................... [ PASS]
        Individual byte 62[#x8]1 ..................................... [ PASS]
        Individual byte 62[#x4]1 ..................................... [ PASS]
        Individual byte 62[#x2]1 ..................................... [ PASS]
        Individual byte 62[#x1]1 ..................................... [ PASS]
        Individual byte 63[#x80]0 .................................... [ PASS]
        Individual byte 63[#x40]0 .................................... [ PASS]
        Individual byte 63[#x20]0 .................................... [ PASS]
        Individual byte 63[#x10]0 .................................... [ PASS]
        Individual byte 63[#x8]0 ..................................... [ PASS]
        Individual byte 63[#x4]0 ..................................... [ PASS]
        Individual byte 63[#x2]0 ..................................... [ PASS]
        Individual byte 63[#x1]0 ..................................... [ PASS]
        512 tests completed in 9/250 seconds.
        512 out of 512 (100%) tests passed.
        -- done testing NESSIE -----------------------------------------------

    3 subgroups completed in 323/200 seconds.
    3 out of 3 (100%) subgroups passed.
    -- done testing SHA1 Strings ---------------------------------------------

2 subgroups completed in 222/125 seconds.
2 out of 2 (100%) subgroups passed.
-- done testing Sha1 ---------------------------------------------------------


*** csc "-inline-global -specialize -optimize-leaf-routines -clustering -lfa2 -local -inline -no-trace -no-lambda-info -unsafe" ***

-- testing Sha1 --------------------------------------------------------------

    -- testing SHA1 Primitive ------------------------------------------------
    (message-digest-primitive? sha1) ................................. [ PASS]
    (message-digest-primitive-name sha1) ............................. [ PASS]
    (not (equal? (message-digest-primitive-update sha1) (message-di...  [ PASS]
    3 tests completed in 0 seconds.
    3 out of 3 (100%) tests passed.
    -- done testing SHA1 Primitive -------------------------------------------


    -- testing SHA1 Strings --------------------------------------------------

        -- testing RFC3174 tests ---------------------------------------------
        (multiple-sha1 1 "abc") ...................................... [ PASS]
        (multiple-sha1 1 "abcdbcdecdefdefgefghfghighijhijkijkljklmklmnl...  [ PASS]
        (multiple-sha1 1000000 "a") .................................. [ PASS]
        (multiple-sha1 10 "01234567012345670123456701234567012345670123...  [ PASS]
        4 tests completed in 833/1000 seconds.
        4 out of 4 (100%) tests passed.
        -- done testing RFC3174 tests ----------------------------------------


        -- testing Standard tests --------------------------------------------
        (message-digest-string (sha1-primitive) "") .................. [ PASS]
        (message-digest-string (sha1-primitive) "a") ................. [ PASS]
        (message-digest-string (sha1-primitive) "abc") ............... [ PASS]
        (message-digest-string (sha1-primitive) "message digest") .... [ PASS]
        (message-digest-string (sha1-primitive) "abcdefghijklmnopqrstuv...  [ PASS]
        (message-digest-string (sha1-primitive) "abcdbcdecdefdefgefghfg...  [ PASS]
        (message-digest-string (sha1-primitive) "ABCDEFGHIJKLMNOPQRSTUV...  [ PASS]
        (message-digest-string (sha1-primitive) "1234567890123456789012...  [ PASS]
        8 tests completed in 1/1000 seconds.
        8 out of 8 (100%) tests passed.
        -- done testing Standard tests ---------------------------------------


        -- testing NESSIE ----------------------------------------------------
        Individual byte 0[#x80]63 .................................... [ PASS]
        Individual byte 0[#x40]63 .................................... [ PASS]
        Individual byte 0[#x20]63 .................................... [ PASS]
        Individual byte 0[#x10]63 .................................... [ PASS]
        Individual byte 0[#x8]63 ..................................... [ PASS]
        Individual byte 0[#x4]63 ..................................... [ PASS]
        Individual byte 0[#x2]63 ..................................... [ PASS]
        Individual byte 0[#x1]63 ..................................... [ PASS]
        Individual byte 1[#x80]62 .................................... [ PASS]
        Individual byte 1[#x40]62 .................................... [ PASS]
        Individual byte 1[#x20]62 .................................... [ PASS]
        Individual byte 1[#x10]62 .................................... [ PASS]
        Individual byte 1[#x8]62 ..................................... [ PASS]
        Individual byte 1[#x4]62 ..................................... [ PASS]
        Individual byte 1[#x2]62 ..................................... [ PASS]
        Individual byte 1[#x1]62 ..................................... [ PASS]
        Individual byte 2[#x80]61 .................................... [ PASS]
        Individual byte 2[#x40]61 .................................... [ PASS]
        Individual byte 2[#x20]61 .................................... [ PASS]
        Individual byte 2[#x10]61 .................................... [ PASS]
        Individual byte 2[#x8]61 ..................................... [ PASS]
        Individual byte 2[#x4]61 ..................................... [ PASS]
        Individual byte 2[#x2]61 ..................................... [ PASS]
        Individual byte 2[#x1]61 ..................................... [ PASS]
        Individual byte 3[#x80]60 .................................... [ PASS]
        Individual byte 3[#x40]60 .................................... [ PASS]
        Individual byte 3[#x20]60 .................................... [ PASS]
        Individual byte 3[#x10]60 .................................... [ PASS]
        Individual byte 3[#x8]60 ..................................... [ PASS]
        Individual byte 3[#x4]60 ..................................... [ PASS]
        Individual byte 3[#x2]60 ..................................... [ PASS]
        Individual byte 3[#x1]60 ..................................... [ PASS]
        Individual byte 4[#x80]59 .................................... [ PASS]
        Individual byte 4[#x40]59 .................................... [ PASS]
        Individual byte 4[#x20]59 .................................... [ PASS]
        Individual byte 4[#x10]59 .................................... [ PASS]
        Individual byte 4[#x8]59 ..................................... [ PASS]
        Individual byte 4[#x4]59 ..................................... [ PASS]
        Individual byte 4[#x2]59 ..................................... [ PASS]
        Individual byte 4[#x1]59 ..................................... [ PASS]
        Individual byte 5[#x80]58 .................................... [ PASS]
        Individual byte 5[#x40]58 .................................... [ PASS]
        Individual byte 5[#x20]58 .................................... [ PASS]
        Individual byte 5[#x10]58 .................................... [ PASS]
        Individual byte 5[#x8]58 ..................................... [ PASS]
        Individual byte 5[#x4]58 ..................................... [ PASS]
        Individual byte 5[#x2]58 ..................................... [ PASS]
        Individual byte 5[#x1]58 ..................................... [ PASS]
        Individual byte 6[#x80]57 .................................... [ PASS]
        Individual byte 6[#x40]57 .................................... [ PASS]
        Individual byte 6[#x20]57 .................................... [ PASS]
        Individual byte 6[#x10]57 .................................... [ PASS]
        Individual byte 6[#x8]57 ..................................... [ PASS]
        Individual byte 6[#x4]57 ..................................... [ PASS]
        Individual byte 6[#x2]57 ..................................... [ PASS]
        Individual byte 6[#x1]57 ..................................... [ PASS]
        Individual byte 7[#x80]56 .................................... [ PASS]
        Individual byte 7[#x40]56 .................................... [ PASS]
        Individual byte 7[#x20]56 .................................... [ PASS]
        Individual byte 7[#x10]56 .................................... [ PASS]
        Individual byte 7[#x8]56 ..................................... [ PASS]
        Individual byte 7[#x4]56 ..................................... [ PASS]
        Individual byte 7[#x2]56 ..................................... [ PASS]
        Individual byte 7[#x1]56 ..................................... [ PASS]
        Individual byte 8[#x80]55 .................................... [ PASS]
        Individual byte 8[#x40]55 .................................... [ PASS]
        Individual byte 8[#x20]55 .................................... [ PASS]
        Individual byte 8[#x10]55 .................................... [ PASS]
        Individual byte 8[#x8]55 ..................................... [ PASS]
        Individual byte 8[#x4]55 ..................................... [ PASS]
        Individual byte 8[#x2]55 ..................................... [ PASS]
        Individual byte 8[#x1]55 ..................................... [ PASS]
        Individual byte 9[#x80]54 .................................... [ PASS]
        Individual byte 9[#x40]54 .................................... [ PASS]
        Individual byte 9[#x20]54 .................................... [ PASS]
        Individual byte 9[#x10]54 .................................... [ PASS]
        Individual byte 9[#x8]54 ..................................... [ PASS]
        Individual byte 9[#x4]54 ..................................... [ PASS]
        Individual byte 9[#x2]54 ..................................... [ PASS]
        Individual byte 9[#x1]54 ..................................... [ PASS]
        Individual byte 10[#x80]53 ................................... [ PASS]
        Individual byte 10[#x40]53 ................................... [ PASS]
        Individual byte 10[#x20]53 ................................... [ PASS]
        Individual byte 10[#x10]53 ................................... [ PASS]
        Individual byte 10[#x8]53 .................................... [ PASS]
        Individual byte 10[#x4]53 .................................... [ PASS]
        Individual byte 10[#x2]53 .................................... [ PASS]
        Individual byte 10[#x1]53 .................................... [ PASS]
        Individual byte 11[#x80]52 ................................... [ PASS]
        Individual byte 11[#x40]52 ................................... [ PASS]
        Individual byte 11[#x20]52 ................................... [ PASS]
        Individual byte 11[#x10]52 ................................... [ PASS]
        Individual byte 11[#x8]52 .................................... [ PASS]
        Individual byte 11[#x4]52 .................................... [ PASS]
        Individual byte 11[#x2]52 .................................... [ PASS]
        Individual byte 11[#x1]52 .................................... [ PASS]
        Individual byte 12[#x80]51 ................................... [ PASS]
        Individual byte 12[#x40]51 ................................... [ PASS]
        Individual byte 12[#x20]51 ................................... [ PASS]
        Individual byte 12[#x10]51 ................................... [ PASS]
        Individual byte 12[#x8]51 .................................... [ PASS]
        Individual byte 12[#x4]51 .................................... [ PASS]
        Individual byte 12[#x2]51 .................................... [ PASS]
        Individual byte 12[#x1]51 .................................... [ PASS]
        Individual byte 13[#x80]50 ................................... [ PASS]
        Individual byte 13[#x40]50 ................................... [ PASS]
        Individual byte 13[#x20]50 ................................... [ PASS]
        Individual byte 13[#x10]50 ................................... [ PASS]
        Individual byte 13[#x8]50 .................................... [ PASS]
        Individual byte 13[#x4]50 .................................... [ PASS]
        Individual byte 13[#x2]50 .................................... [ PASS]
        Individual byte 13[#x1]50 .................................... [ PASS]
        Individual byte 14[#x80]49 ................................... [ PASS]
        Individual byte 14[#x40]49 ................................... [ PASS]
        Individual byte 14[#x20]49 ................................... [ PASS]
        Individual byte 14[#x10]49 ................................... [ PASS]
        Individual byte 14[#x8]49 .................................... [ PASS]
        Individual byte 14[#x4]49 .................................... [ PASS]
        Individual byte 14[#x2]49 .................................... [ PASS]
        Individual byte 14[#x1]49 .................................... [ PASS]
        Individual byte 15[#x80]48 ................................... [ PASS]
        Individual byte 15[#x40]48 ................................... [ PASS]
        Individual byte 15[#x20]48 ................................... [ PASS]
        Individual byte 15[#x10]48 ................................... [ PASS]
        Individual byte 15[#x8]48 .................................... [ PASS]
        Individual byte 15[#x4]48 .................................... [ PASS]
        Individual byte 15[#x2]48 .................................... [ PASS]
        Individual byte 15[#x1]48 .................................... [ PASS]
        Individual byte 16[#x80]47 ................................... [ PASS]
        Individual byte 16[#x40]47 ................................... [ PASS]
        Individual byte 16[#x20]47 ................................... [ PASS]
        Individual byte 16[#x10]47 ................................... [ PASS]
        Individual byte 16[#x8]47 .................................... [ PASS]
        Individual byte 16[#x4]47 .................................... [ PASS]
        Individual byte 16[#x2]47 .................................... [ PASS]
        Individual byte 16[#x1]47 .................................... [ PASS]
        Individual byte 17[#x80]46 ................................... [ PASS]
        Individual byte 17[#x40]46 ................................... [ PASS]
        Individual byte 17[#x20]46 ................................... [ PASS]
        Individual byte 17[#x10]46 ................................... [ PASS]
        Individual byte 17[#x8]46 .................................... [ PASS]
        Individual byte 17[#x4]46 .................................... [ PASS]
        Individual byte 17[#x2]46 .................................... [ PASS]
        Individual byte 17[#x1]46 .................................... [ PASS]
        Individual byte 18[#x80]45 ................................... [ PASS]
        Individual byte 18[#x40]45 ................................... [ PASS]
        Individual byte 18[#x20]45 ................................... [ PASS]
        Individual byte 18[#x10]45 ................................... [ PASS]
        Individual byte 18[#x8]45 .................................... [ PASS]
        Individual byte 18[#x4]45 .................................... [ PASS]
        Individual byte 18[#x2]45 .................................... [ PASS]
        Individual byte 18[#x1]45 .................................... [ PASS]
        Individual byte 19[#x80]44 ................................... [ PASS]
        Individual byte 19[#x40]44 ................................... [ PASS]
        Individual byte 19[#x20]44 ................................... [ PASS]
        Individual byte 19[#x10]44 ................................... [ PASS]
        Individual byte 19[#x8]44 .................................... [ PASS]
        Individual byte 19[#x4]44 .................................... [ PASS]
        Individual byte 19[#x2]44 .................................... [ PASS]
        Individual byte 19[#x1]44 .................................... [ PASS]
        Individual byte 20[#x80]43 ................................... [ PASS]
        Individual byte 20[#x40]43 ................................... [ PASS]
        Individual byte 20[#x20]43 ................................... [ PASS]
        Individual byte 20[#x10]43 ................................... [ PASS]
        Individual byte 20[#x8]43 .................................... [ PASS]
        Individual byte 20[#x4]43 .................................... [ PASS]
        Individual byte 20[#x2]43 .................................... [ PASS]
        Individual byte 20[#x1]43 .................................... [ PASS]
        Individual byte 21[#x80]42 ................................... [ PASS]
        Individual byte 21[#x40]42 ................................... [ PASS]
        Individual byte 21[#x20]42 ................................... [ PASS]
        Individual byte 21[#x10]42 ................................... [ PASS]
        Individual byte 21[#x8]42 .................................... [ PASS]
        Individual byte 21[#x4]42 .................................... [ PASS]
        Individual byte 21[#x2]42 .................................... [ PASS]
        Individual byte 21[#x1]42 .................................... [ PASS]
        Individual byte 22[#x80]41 ................................... [ PASS]
        Individual byte 22[#x40]41 ................................... [ PASS]
        Individual byte 22[#x20]41 ................................... [ PASS]
        Individual byte 22[#x10]41 ................................... [ PASS]
        Individual byte 22[#x8]41 .................................... [ PASS]
        Individual byte 22[#x4]41 .................................... [ PASS]
        Individual byte 22[#x2]41 .................................... [ PASS]
        Individual byte 22[#x1]41 .................................... [ PASS]
        Individual byte 23[#x80]40 ................................... [ PASS]
        Individual byte 23[#x40]40 ................................... [ PASS]
        Individual byte 23[#x20]40 ................................... [ PASS]
        Individual byte 23[#x10]40 ................................... [ PASS]
        Individual byte 23[#x8]40 .................................... [ PASS]
        Individual byte 23[#x4]40 .................................... [ PASS]
        Individual byte 23[#x2]40 .................................... [ PASS]
        Individual byte 23[#x1]40 .................................... [ PASS]
        Individual byte 24[#x80]39 ................................... [ PASS]
        Individual byte 24[#x40]39 ................................... [ PASS]
        Individual byte 24[#x20]39 ................................... [ PASS]
        Individual byte 24[#x10]39 ................................... [ PASS]
        Individual byte 24[#x8]39 .................................... [ PASS]
        Individual byte 24[#x4]39 .................................... [ PASS]
        Individual byte 24[#x2]39 .................................... [ PASS]
        Individual byte 24[#x1]39 .................................... [ PASS]
        Individual byte 25[#x80]38 ................................... [ PASS]
        Individual byte 25[#x40]38 ................................... [ PASS]
        Individual byte 25[#x20]38 ................................... [ PASS]
        Individual byte 25[#x10]38 ................................... [ PASS]
        Individual byte 25[#x8]38 .................................... [ PASS]
        Individual byte 25[#x4]38 .................................... [ PASS]
        Individual byte 25[#x2]38 .................................... [ PASS]
        Individual byte 25[#x1]38 .................................... [ PASS]
        Individual byte 26[#x80]37 ................................... [ PASS]
        Individual byte 26[#x40]37 ................................... [ PASS]
        Individual byte 26[#x20]37 ................................... [ PASS]
        Individual byte 26[#x10]37 ................................... [ PASS]
        Individual byte 26[#x8]37 .................................... [ PASS]
        Individual byte 26[#x4]37 .................................... [ PASS]
        Individual byte 26[#x2]37 .................................... [ PASS]
        Individual byte 26[#x1]37 .................................... [ PASS]
        Individual byte 27[#x80]36 ................................... [ PASS]
        Individual byte 27[#x40]36 ................................... [ PASS]
        Individual byte 27[#x20]36 ................................... [ PASS]
        Individual byte 27[#x10]36 ................................... [ PASS]
        Individual byte 27[#x8]36 .................................... [ PASS]
        Individual byte 27[#x4]36 .................................... [ PASS]
        Individual byte 27[#x2]36 .................................... [ PASS]
        Individual byte 27[#x1]36 .................................... [ PASS]
        Individual byte 28[#x80]35 ................................... [ PASS]
        Individual byte 28[#x40]35 ................................... [ PASS]
        Individual byte 28[#x20]35 ................................... [ PASS]
        Individual byte 28[#x10]35 ................................... [ PASS]
        Individual byte 28[#x8]35 .................................... [ PASS]
        Individual byte 28[#x4]35 .................................... [ PASS]
        Individual byte 28[#x2]35 .................................... [ PASS]
        Individual byte 28[#x1]35 .................................... [ PASS]
        Individual byte 29[#x80]34 ................................... [ PASS]
        Individual byte 29[#x40]34 ................................... [ PASS]
        Individual byte 29[#x20]34 ................................... [ PASS]
        Individual byte 29[#x10]34 ................................... [ PASS]
        Individual byte 29[#x8]34 .................................... [ PASS]
        Individual byte 29[#x4]34 .................................... [ PASS]
        Individual byte 29[#x2]34 .................................... [ PASS]
        Individual byte 29[#x1]34 .................................... [ PASS]
        Individual byte 30[#x80]33 ................................... [ PASS]
        Individual byte 30[#x40]33 ................................... [ PASS]
        Individual byte 30[#x20]33 ................................... [ PASS]
        Individual byte 30[#x10]33 ................................... [ PASS]
        Individual byte 30[#x8]33 .................................... [ PASS]
        Individual byte 30[#x4]33 .................................... [ PASS]
        Individual byte 30[#x2]33 .................................... [ PASS]
        Individual byte 30[#x1]33 .................................... [ PASS]
        Individual byte 31[#x80]32 ................................... [ PASS]
        Individual byte 31[#x40]32 ................................... [ PASS]
        Individual byte 31[#x20]32 ................................... [ PASS]
        Individual byte 31[#x10]32 ................................... [ PASS]
        Individual byte 31[#x8]32 .................................... [ PASS]
        Individual byte 31[#x4]32 .................................... [ PASS]
        Individual byte 31[#x2]32 .................................... [ PASS]
        Individual byte 31[#x1]32 .................................... [ PASS]
        Individual byte 32[#x80]31 ................................... [ PASS]
        Individual byte 32[#x40]31 ................................... [ PASS]
        Individual byte 32[#x20]31 ................................... [ PASS]
        Individual byte 32[#x10]31 ................................... [ PASS]
        Individual byte 32[#x8]31 .................................... [ PASS]
        Individual byte 32[#x4]31 .................................... [ PASS]
        Individual byte 32[#x2]31 .................................... [ PASS]
        Individual byte 32[#x1]31 .................................... [ PASS]
        Individual byte 33[#x80]30 ................................... [ PASS]
        Individual byte 33[#x40]30 ................................... [ PASS]
        Individual byte 33[#x20]30 ................................... [ PASS]
        Individual byte 33[#x10]30 ................................... [ PASS]
        Individual byte 33[#x8]30 .................................... [ PASS]
        Individual byte 33[#x4]30 .................................... [ PASS]
        Individual byte 33[#x2]30 .................................... [ PASS]
        Individual byte 33[#x1]30 .................................... [ PASS]
        Individual byte 34[#x80]29 ................................... [ PASS]
        Individual byte 34[#x40]29 ................................... [ PASS]
        Individual byte 34[#x20]29 ................................... [ PASS]
        Individual byte 34[#x10]29 ................................... [ PASS]
        Individual byte 34[#x8]29 .................................... [ PASS]
        Individual byte 34[#x4]29 .................................... [ PASS]
        Individual byte 34[#x2]29 .................................... [ PASS]
        Individual byte 34[#x1]29 .................................... [ PASS]
        Individual byte 35[#x80]28 ................................... [ PASS]
        Individual byte 35[#x40]28 ................................... [ PASS]
        Individual byte 35[#x20]28 ................................... [ PASS]
        Individual byte 35[#x10]28 ................................... [ PASS]
        Individual byte 35[#x8]28 .................................... [ PASS]
        Individual byte 35[#x4]28 .................................... [ PASS]
        Individual byte 35[#x2]28 .................................... [ PASS]
        Individual byte 35[#x1]28 .................................... [ PASS]
        Individual byte 36[#x80]27 ................................... [ PASS]
        Individual byte 36[#x40]27 ................................... [ PASS]
        Individual byte 36[#x20]27 ................................... [ PASS]
        Individual byte 36[#x10]27 ................................... [ PASS]
        Individual byte 36[#x8]27 .................................... [ PASS]
        Individual byte 36[#x4]27 .................................... [ PASS]
        Individual byte 36[#x2]27 .................................... [ PASS]
        Individual byte 36[#x1]27 .................................... [ PASS]
        Individual byte 37[#x80]26 ................................... [ PASS]
        Individual byte 37[#x40]26 ................................... [ PASS]
        Individual byte 37[#x20]26 ................................... [ PASS]
        Individual byte 37[#x10]26 ................................... [ PASS]
        Individual byte 37[#x8]26 .................................... [ PASS]
        Individual byte 37[#x4]26 .................................... [ PASS]
        Individual byte 37[#x2]26 .................................... [ PASS]
        Individual byte 37[#x1]26 .................................... [ PASS]
        Individual byte 38[#x80]25 ................................... [ PASS]
        Individual byte 38[#x40]25 ................................... [ PASS]
        Individual byte 38[#x20]25 ................................... [ PASS]
        Individual byte 38[#x10]25 ................................... [ PASS]
        Individual byte 38[#x8]25 .................................... [ PASS]
        Individual byte 38[#x4]25 .................................... [ PASS]
        Individual byte 38[#x2]25 .................................... [ PASS]
        Individual byte 38[#x1]25 .................................... [ PASS]
        Individual byte 39[#x80]24 ................................... [ PASS]
        Individual byte 39[#x40]24 ................................... [ PASS]
        Individual byte 39[#x20]24 ................................... [ PASS]
        Individual byte 39[#x10]24 ................................... [ PASS]
        Individual byte 39[#x8]24 .................................... [ PASS]
        Individual byte 39[#x4]24 .................................... [ PASS]
        Individual byte 39[#x2]24 .................................... [ PASS]
        Individual byte 39[#x1]24 .................................... [ PASS]
        Individual byte 40[#x80]23 ................................... [ PASS]
        Individual byte 40[#x40]23 ................................... [ PASS]
        Individual byte 40[#x20]23 ................................... [ PASS]
        Individual byte 40[#x10]23 ................................... [ PASS]
        Individual byte 40[#x8]23 .................................... [ PASS]
        Individual byte 40[#x4]23 .................................... [ PASS]
        Individual byte 40[#x2]23 .................................... [ PASS]
        Individual byte 40[#x1]23 .................................... [ PASS]
        Individual byte 41[#x80]22 ................................... [ PASS]
        Individual byte 41[#x40]22 ................................... [ PASS]
        Individual byte 41[#x20]22 ................................... [ PASS]
        Individual byte 41[#x10]22 ................................... [ PASS]
        Individual byte 41[#x8]22 .................................... [ PASS]
        Individual byte 41[#x4]22 .................................... [ PASS]
        Individual byte 41[#x2]22 .................................... [ PASS]
        Individual byte 41[#x1]22 .................................... [ PASS]
        Individual byte 42[#x80]21 ................................... [ PASS]
        Individual byte 42[#x40]21 ................................... [ PASS]
        Individual byte 42[#x20]21 ................................... [ PASS]
        Individual byte 42[#x10]21 ................................... [ PASS]
        Individual byte 42[#x8]21 .................................... [ PASS]
        Individual byte 42[#x4]21 .................................... [ PASS]
        Individual byte 42[#x2]21 .................................... [ PASS]
        Individual byte 42[#x1]21 .................................... [ PASS]
        Individual byte 43[#x80]20 ................................... [ PASS]
        Individual byte 43[#x40]20 ................................... [ PASS]
        Individual byte 43[#x20]20 ................................... [ PASS]
        Individual byte 43[#x10]20 ................................... [ PASS]
        Individual byte 43[#x8]20 .................................... [ PASS]
        Individual byte 43[#x4]20 .................................... [ PASS]
        Individual byte 43[#x2]20 .................................... [ PASS]
        Individual byte 43[#x1]20 .................................... [ PASS]
        Individual byte 44[#x80]19 ................................... [ PASS]
        Individual byte 44[#x40]19 ................................... [ PASS]
        Individual byte 44[#x20]19 ................................... [ PASS]
        Individual byte 44[#x10]19 ................................... [ PASS]
        Individual byte 44[#x8]19 .................................... [ PASS]
        Individual byte 44[#x4]19 .................................... [ PASS]
        Individual byte 44[#x2]19 .................................... [ PASS]
        Individual byte 44[#x1]19 .................................... [ PASS]
        Individual byte 45[#x80]18 ................................... [ PASS]
        Individual byte 45[#x40]18 ................................... [ PASS]
        Individual byte 45[#x20]18 ................................... [ PASS]
        Individual byte 45[#x10]18 ................................... [ PASS]
        Individual byte 45[#x8]18 .................................... [ PASS]
        Individual byte 45[#x4]18 .................................... [ PASS]
        Individual byte 45[#x2]18 .................................... [ PASS]
        Individual byte 45[#x1]18 .................................... [ PASS]
        Individual byte 46[#x80]17 ................................... [ PASS]
        Individual byte 46[#x40]17 ................................... [ PASS]
        Individual byte 46[#x20]17 ................................... [ PASS]
        Individual byte 46[#x10]17 ................................... [ PASS]
        Individual byte 46[#x8]17 .................................... [ PASS]
        Individual byte 46[#x4]17 .................................... [ PASS]
        Individual byte 46[#x2]17 .................................... [ PASS]
        Individual byte 46[#x1]17 .................................... [ PASS]
        Individual byte 47[#x80]16 ................................... [ PASS]
        Individual byte 47[#x40]16 ................................... [ PASS]
        Individual byte 47[#x20]16 ................................... [ PASS]
        Individual byte 47[#x10]16 ................................... [ PASS]
        Individual byte 47[#x8]16 .................................... [ PASS]
        Individual byte 47[#x4]16 .................................... [ PASS]
        Individual byte 47[#x2]16 .................................... [ PASS]
        Individual byte 47[#x1]16 .................................... [ PASS]
        Individual byte 48[#x80]15 ................................... [ PASS]
        Individual byte 48[#x40]15 ................................... [ PASS]
        Individual byte 48[#x20]15 ................................... [ PASS]
        Individual byte 48[#x10]15 ................................... [ PASS]
        Individual byte 48[#x8]15 .................................... [ PASS]
        Individual byte 48[#x4]15 .................................... [ PASS]
        Individual byte 48[#x2]15 .................................... [ PASS]
        Individual byte 48[#x1]15 .................................... [ PASS]
        Individual byte 49[#x80]14 ................................... [ PASS]
        Individual byte 49[#x40]14 ................................... [ PASS]
        Individual byte 49[#x20]14 ................................... [ PASS]
        Individual byte 49[#x10]14 ................................... [ PASS]
        Individual byte 49[#x8]14 .................................... [ PASS]
        Individual byte 49[#x4]14 .................................... [ PASS]
        Individual byte 49[#x2]14 .................................... [ PASS]
        Individual byte 49[#x1]14 .................................... [ PASS]
        Individual byte 50[#x80]13 ................................... [ PASS]
        Individual byte 50[#x40]13 ................................... [ PASS]
        Individual byte 50[#x20]13 ................................... [ PASS]
        Individual byte 50[#x10]13 ................................... [ PASS]
        Individual byte 50[#x8]13 .................................... [ PASS]
        Individual byte 50[#x4]13 .................................... [ PASS]
        Individual byte 50[#x2]13 .................................... [ PASS]
        Individual byte 50[#x1]13 .................................... [ PASS]
        Individual byte 51[#x80]12 ................................... [ PASS]
        Individual byte 51[#x40]12 ................................... [ PASS]
        Individual byte 51[#x20]12 ................................... [ PASS]
        Individual byte 51[#x10]12 ................................... [ PASS]
        Individual byte 51[#x8]12 .................................... [ PASS]
        Individual byte 51[#x4]12 .................................... [ PASS]
        Individual byte 51[#x2]12 .................................... [ PASS]
        Individual byte 51[#x1]12 .................................... [ PASS]
        Individual byte 52[#x80]11 ................................... [ PASS]
        Individual byte 52[#x40]11 ................................... [ PASS]
        Individual byte 52[#x20]11 ................................... [ PASS]
        Individual byte 52[#x10]11 ................................... [ PASS]
        Individual byte 52[#x8]11 .................................... [ PASS]
        Individual byte 52[#x4]11 .................................... [ PASS]
        Individual byte 52[#x2]11 .................................... [ PASS]
        Individual byte 52[#x1]11 .................................... [ PASS]
        Individual byte 53[#x80]10 ................................... [ PASS]
        Individual byte 53[#x40]10 ................................... [ PASS]
        Individual byte 53[#x20]10 ................................... [ PASS]
        Individual byte 53[#x10]10 ................................... [ PASS]
        Individual byte 53[#x8]10 .................................... [ PASS]
        Individual byte 53[#x4]10 .................................... [ PASS]
        Individual byte 53[#x2]10 .................................... [ PASS]
        Individual byte 53[#x1]10 .................................... [ PASS]
        Individual byte 54[#x80]9 .................................... [ PASS]
        Individual byte 54[#x40]9 .................................... [ PASS]
        Individual byte 54[#x20]9 .................................... [ PASS]
        Individual byte 54[#x10]9 .................................... [ PASS]
        Individual byte 54[#x8]9 ..................................... [ PASS]
        Individual byte 54[#x4]9 ..................................... [ PASS]
        Individual byte 54[#x2]9 ..................................... [ PASS]
        Individual byte 54[#x1]9 ..................................... [ PASS]
        Individual byte 55[#x80]8 .................................... [ PASS]
        Individual byte 55[#x40]8 .................................... [ PASS]
        Individual byte 55[#x20]8 .................................... [ PASS]
        Individual byte 55[#x10]8 .................................... [ PASS]
        Individual byte 55[#x8]8 ..................................... [ PASS]
        Individual byte 55[#x4]8 ..................................... [ PASS]
        Individual byte 55[#x2]8 ..................................... [ PASS]
        Individual byte 55[#x1]8 ..................................... [ PASS]
        Individual byte 56[#x80]7 .................................... [ PASS]
        Individual byte 56[#x40]7 .................................... [ PASS]
        Individual byte 56[#x20]7 .................................... [ PASS]
        Individual byte 56[#x10]7 .................................... [ PASS]
        Individual byte 56[#x8]7 ..................................... [ PASS]
        Individual byte 56[#x4]7 ..................................... [ PASS]
        Individual byte 56[#x2]7 ..................................... [ PASS]
        Individual byte 56[#x1]7 ..................................... [ PASS]
        Individual byte 57[#x80]6 .................................... [ PASS]
        Individual byte 57[#x40]6 .................................... [ PASS]
        Individual byte 57[#x20]6 .................................... [ PASS]
        Individual byte 57[#x10]6 .................................... [ PASS]
        Individual byte 57[#x8]6 ..................................... [ PASS]
        Individual byte 57[#x4]6 ..................................... [ PASS]
        Individual byte 57[#x2]6 ..................................... [ PASS]
        Individual byte 57[#x1]6 ..................................... [ PASS]
        Individual byte 58[#x80]5 .................................... [ PASS]
        Individual byte 58[#x40]5 .................................... [ PASS]
        Individual byte 58[#x20]5 .................................... [ PASS]
        Individual byte 58[#x10]5 .................................... [ PASS]
        Individual byte 58[#x8]5 ..................................... [ PASS]
        Individual byte 58[#x4]5 ..................................... [ PASS]
        Individual byte 58[#x2]5 ..................................... [ PASS]
        Individual byte 58[#x1]5 ..................................... [ PASS]
        Individual byte 59[#x80]4 .................................... [ PASS]
        Individual byte 59[#x40]4 .................................... [ PASS]
        Individual byte 59[#x20]4 .................................... [ PASS]
        Individual byte 59[#x10]4 .................................... [ PASS]
        Individual byte 59[#x8]4 ..................................... [ PASS]
        Individual byte 59[#x4]4 ..................................... [ PASS]
        Individual byte 59[#x2]4 ..................................... [ PASS]
        Individual byte 59[#x1]4 ..................................... [ PASS]
        Individual byte 60[#x80]3 .................................... [ PASS]
        Individual byte 60[#x40]3 .................................... [ PASS]
        Individual byte 60[#x20]3 .................................... [ PASS]
        Individual byte 60[#x10]3 .................................... [ PASS]
        Individual byte 60[#x8]3 ..................................... [ PASS]
        Individual byte 60[#x4]3 ..................................... [ PASS]
        Individual byte 60[#x2]3 ..................................... [ PASS]
        Individual byte 60[#x1]3 ..................................... [ PASS]
        Individual byte 61[#x80]2 .................................... [ PASS]
        Individual byte 61[#x40]2 .................................... [ PASS]
        Individual byte 61[#x20]2 .................................... [ PASS]
        Individual byte 61[#x10]2 .................................... [ PASS]
        Individual byte 61[#x8]2 ..................................... [ PASS]
        Individual byte 61[#x4]2 ..................................... [ PASS]
        Individual byte 61[#x2]2 ..................................... [ PASS]
        Individual byte 61[#x1]2 ..................................... [ PASS]
        Individual byte 62[#x80]1 .................................... [ PASS]
        Individual byte 62[#x40]1 .................................... [ PASS]
        Individual byte 62[#x20]1 .................................... [ PASS]
        Individual byte 62[#x10]1 .................................... [ PASS]
        Individual byte 62[#x8]1 ..................................... [ PASS]
        Individual byte 62[#x4]1 ..................................... [ PASS]
        Individual byte 62[#x2]1 ..................................... [ PASS]
        Individual byte 62[#x1]1 ..................................... [ PASS]
        Individual byte 63[#x80]0 .................................... [ PASS]
        Individual byte 63[#x40]0 .................................... [ PASS]
        Individual byte 63[#x20]0 .................................... [ PASS]
        Individual byte 63[#x10]0 .................................... [ PASS]
        Individual byte 63[#x8]0 ..................................... [ PASS]
        Individual byte 63[#x4]0 ..................................... [ PASS]
        Individual byte 63[#x2]0 ..................................... [ PASS]
        Individual byte 63[#x1]0 ..................................... [ PASS]
        512 tests completed in 31/1000 seconds.
        512 out of 512 (100%) tests passed.
        -- done testing NESSIE -----------------------------------------------

    3 subgroups completed in 173/200 seconds.
    3 out of 3 (100%) subgroups passed.
    -- done testing SHA1 Strings ---------------------------------------------

2 subgroups completed in 179/200 seconds.
2 out of 2 (100%) subgroups passed.
-- done testing Sha1 ---------------------------------------------------------