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,
";