
<<SmallCacheArrayStateValuesImpl.mesa>>
    <<Pradeep Sindhu May 15, 1988 12:14:20 pm PDT>>
    <<>>
    DIRECTORY
        Rope, SmallCacheLogic;
<<>>
    SmallCacheArrayStateValuesImpl: CEDAR PROGRAM
    EXPORTS SmallCacheLogic
    ~ BEGIN OPEN SmallCacheLogic;
<<State Defs>>
<<States used in processor side checks:>>
    <<cacheStateValueA _ SmallCacheInner-InitialReads[NIL]>>
    cacheStateValueA: PUBLIC ROPE _ "
     Victim: 7,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11011101 00000000 00110100 01110110 
    01110001 01110100 11111111 11001100, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11011110, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00011010 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010110 01111000 10101011 11001101, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 01100110, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101011 11000001 10111010 11000010 
    11001010 10110011 11001011 10100100, 
        ";
    <<cacheStateValueB _ SmallCacheInner-Writes[cacheStateValueA]>>
    cacheStateValueB: PUBLIC ROPE _ "
     Victim: 0,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11011101 00000000 00110100 01110110 
    01110001 01110100 11111111 11001100, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11000000, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00111100 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010110 01111000 10101011 00111111, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 11001111, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 11110011 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 10101011 11000001 11111100 11000010 
    11001010 10110011 11001011 10100100, 
        ";
    <<cacheStateValueC _ SmallCacheInner-WriteMisses[cacheStateValueB]>>
    cacheStateValueC: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 01 111 001, RCam: 0 11 111 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 10011001 00100010 00110011 01000100 
    01010101 01100110 01110111 10001000, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11000000, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00111100 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010110 01111000 10101011 00111111, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 11001111, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 11110011 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 000 001, RCam: 0 11 000 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 01000100 00110011 00110011 00110011 
    00110011 00110011 00110011 00110011, 
        ";
    <<cacheStateValueD _ SmallCacheInner-IO[cacheStateValueC]>>
    cacheStateValueD: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 01 111 001, RCam: 0 11 111 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 10011001 00100010 00110011 01000100 
    01010101 01100110 01110111 10001000, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11000000, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00111100 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010110 01111000 10101011 00111111, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 11001111, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 11110011 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 000 001, RCam: 0 11 000 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 01000100 00110011 00110011 00110011 
    00110011 00110011 00110011 00110011, 
        ";
    <<cacheStateValueE _ SmallCacheInner-Misc[cacheStateValueD]>>
    cacheStateValueE: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 01 111 000, RCam: 0 11 111 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 10011001 00100010 00110011 01000100 
    01010101 01100110 01110111 10001000, 
    Line: 1, VCam: 0 00 100 000, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 1, Use: 1, Ram: 11011101 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11000000, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00111100 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010110 01111000 10101011 00111111, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 11001111, 
    Line: 6, VCam: 0 01 011 000, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 11110011 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 000 000, RCam: 0 11 000 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 01000100 00110011 00110011 00110011 
    00110011 00110011 00110011 00110011, 
        ";
    <<cacheStateValueF _ SmallCacheInner-ClrAllVPV[cacheStateValueE]>>
    cacheStateValueF: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 01 111 000, RCam: 0 11 111 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 10011001 00100010 00110011 01000100 
    01010101 01100110 01110111 10001000, 
    Line: 1, VCam: 0 00 100 000, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 1, Use: 1, Ram: 11011101 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 000, RCam: 0 01 010 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11000000, 
    Line: 3, VCam: 0 11 001 000, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 1, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00111100 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 000, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010110 01111000 10101011 00111111, 
    Line: 5, VCam: 0 10 001 000, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 1, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 11001111, 
    Line: 6, VCam: 0 01 011 000, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 1, Use: 0, Ram: 11110011 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 000 000, RCam: 0 11 000 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 01000100 00110011 00110011 00110011 
    00110011 00110011 00110011 00110011, 
        ";
    <<>>
<<States used in bus side checks:>>
    <<cacheStateValueG _ SmallCacheInner-ReadBlocks[cacheStateValueA]>>
    cacheStateValueG: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11011101 00000000 00110100 01110110 
    01110001 01110100 11111111 11001100, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11011110, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00011010 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010110 01111000 10101011 11001101, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 01100110, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 1, Use: 1, Ram: 10101011 11000001 01000111 11000010 
    11001010 10110011 11001011 10100100, 
        ";
    <<cacheStateValueH _ SmallCacheInner-WriteBlocks[cacheStateValueG]>>
    cacheStateValueH: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 1, Ram: 00000001 00010001 00010000 00010000 
    00100000 00100000 00110000 00110111, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11011110, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00011010 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010110 01111000 10101011 11001101, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 01100110, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 1, Ram: 00010001 00010111 00100010 01111000 
    00010011 01110010 00011000 01110110, 
        ";
    <<cacheStateValueI _ SmallCacheInner-WriteSingles[cacheStateValueH]>>
    cacheStateValueI: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 1, Ram: 00000001 01110101 00010000 00010000 
    00100000 00100000 00110000 00110111, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11011110, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00011010 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 1, Ram: 11101111 00000001 00010010 00110100 
    01000101 00111001 10101011 11001101, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 01100110, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 1, Ram: 00010001 00010111 00100010 01111000 
    00010011 01110010 00011000 01110110, 
        ";
    <<cacheStateValueJ _ SmallCacheInner-CondWriteSingles[cacheStateValueI]>>
    cacheStateValueJ: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 1, Ram: 00000001 10000110 00010000 00010000 
    00100000 00100000 00110000 00110111, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11011110, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00011010 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 1, Ram: 11101111 00000001 00010010 00110100 
    01010100 00111001 10101011 11001101, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 01100110, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 1, Ram: 00010001 00010111 00100010 01111000 
    00010011 01110010 00011000 01110110, 
        ";
    <<cacheStateValueK _ SmallCacheInner-IOReads[cacheStateValueJ]>>
    cacheStateValueK: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 1, Ram: 00000001 10000110 00010000 00010000 
    00100000 00100000 00110000 00110111, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11011110, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00011010 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 1, Ram: 11101111 00000001 00010010 00110100 
    01010100 00111001 10101011 11001101, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 01100110, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 1, Ram: 00010001 00010111 00100010 01111000 
    00010011 01110010 00011000 01110110, 
        ";
    <<cacheStateValueL _ SmallCacheInner-IOWrites[cacheStateValueK]>>
    cacheStateValueL: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 1, Ram: 00000001 10000110 00010000 00010000 
    00100000 00100000 00110000 00110111, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11011110, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00011010 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 1, Ram: 11101111 00000001 00010010 00110100 
    01010100 00111001 10101011 11001101, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 01100110, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 1, Ram: 00010001 00010111 00100010 01111000 
    00010011 01110010 00011000 01110110, 
        ";


<<States used in 8 bits per byte checks:>>

    cacheStateValueM: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 00000001 10000110 00010000 00010000 
    00100000 00100000 00110000 00110111, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11011110, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00011010 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010100 00111001 10101011 11001101, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 01100110, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 00010001 00010111 00100010 01111000 
    00010011 01110010 00011000 01110110, 
        ";
    cacheStateValueN: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 00000001 10000110 00010000 00010000 
    00100000 00100000 00110000 00110111, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11011110, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00011010 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010100 00111001 10101011 11001101, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 01100110, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 00010001 00010111 00100010 01111000 
    00010011 01110010 00011000 01110110, 
        ";
    cacheStateValueO: PUBLIC ROPE _ "
     Victim: 6,
    Line: 0, VCam: 0 00 111 001, RCam: 0 00 111 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 00000001 10000110 00010000 00010000 
    00100000 00100000 00110000 00110111, 
    Line: 1, VCam: 0 00 100 001, RCam: 0 00 100 001, Flags: 1100, Sh: 0, Ow: 0, Use: 0, Ram: 11001100 11011101 11101110 11111111 
    00000000 00010001 10101010 10111011, 
    Line: 2, VCam: 0 11 010 001, RCam: 0 01 010 001, Flags: 1111, Sh: 1, Ow: 0, Use: 0, Ram: 11101111 11110000 00000001 00010010 
    10101011 10111100 11001101 11011110, 
    Line: 3, VCam: 0 11 001 001, RCam: 0 01 001 001, Flags: 1111, Sh: 0, Ow: 0, Use: 0, Ram: 01011110 01101111 01110000 10000001 
    00011010 00101011 00111100 01001101, 
    Line: 4, VCam: 0 10 101 001, RCam: 0 10 101 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 11101111 00000001 00010010 00110100 
    01010100 00111001 10101011 11001101, 
    Line: 5, VCam: 0 10 001 001, RCam: 0 10 001 001, Flags: 1010, Sh: 0, Ow: 0, Use: 0, Ram: 01110111 10001000 00010001 00100010 
    00110011 01000100 01010101 01100110, 
    Line: 6, VCam: 0 01 011 001, RCam: 0 11 011 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 10101010 10111011 11001100 11011101 
    11101110 11111111 10001000 10011001, 
    Line: 7, VCam: 0 01 010 001, RCam: 0 11 010 001, Flags: 1110, Sh: 0, Ow: 0, Use: 0, Ram: 00010001 00010111 00100010 01111000 
    00010011 01110010 00011000 01110110, 
        ";
    END.
<<>>