Level 1: .p1.waiting .p1.state .p0.waiting .p0.state 
Level 2: .p0.reply-stall .p1.reply-stall .p2.reply-stall .m.reply-stall .CMD .p0.master .p1.master .p2.master .p2.waiting 
Level 3: .p1.cmd .p2.cmd .m.cmd .p0.cmd .m.busy 
Level 4: .p2.state .m.master .p0.snoop .p2.snoop .p1.snoop 
8230d78: IMPLIES	8230d68, 8230d58
8230d68: CONS	8230148, 8230d38
8230148: CONS	822de48, 0
822de48: DOT	822dcb8, 8221a30
822dcb8: DOT	0, 8221900
8221900: ATOM	p1, 0
8221a30: ATOM	cmd, 0
8230d38: CONS	822f8e8, 0
822f8e8: EQUAL	822de48, 821e9f0
822de48: DOT	822dcb8, 8221a30
822dcb8: DOT	0, 8221900
8221900: ATOM	p1, 0
8221a30: ATOM	cmd, 0
821e9f0: ATOM	idle, 0
8230d58: CONS	82311c8, 8230d48
82311c8: CONS	821dbb0, 82311b8
821dbb0: NUMBER	0, 0
82311b8: CONS	821dba0, 82311a8
821dba0: NUMBER	1, 0
82311a8: CONS	8231018, 8231198
8231018: NUMBER	2, 0
8231198: CONS	8230ff8, 8231188
8230ff8: NUMBER	3, 0
8231188: CONS	8230fd8, 8231178
8230fd8: NUMBER	4, 0
8231178: CONS	8230fb8, 8231168
8230fb8: NUMBER	5, 0
8231168: CONS	8230f98, 8231158
8230f98: NUMBER	6, 0
8231158: CONS	8230f78, 0
8230f78: NUMBER	7, 0
8230d48: CONS	0, 0

8230d18: IMPLIES	8230d08, 8230cf8
8230d08: CONS	8230168, 8230cd8
8230168: CONS	822e258, 0
822e258: DOT	822e0c8, 8221a30
822e0c8: DOT	0, 822dd48
822dd48: ATOM	p2, 0
8221a30: ATOM	cmd, 0
8230cd8: CONS	822f908, 0
822f908: EQUAL	822e258, 821e9f0
822e258: DOT	822e0c8, 8221a30
822e0c8: DOT	0, 822dd48
822dd48: ATOM	p2, 0
8221a30: ATOM	cmd, 0
821e9f0: ATOM	idle, 0
8230cf8: CONS	8231148, 8230ce8
8231148: CONS	821dbb0, 8231138
821dbb0: NUMBER	0, 0
8231138: CONS	821dba0, 8231128
821dba0: NUMBER	1, 0
8231128: CONS	8231018, 8231118
8231018: NUMBER	2, 0
8231118: CONS	8230ff8, 8231108
8230ff8: NUMBER	3, 0
8231108: CONS	8230fd8, 82310f8
8230fd8: NUMBER	4, 0
82310f8: CONS	8230fb8, 82310e8
8230fb8: NUMBER	5, 0
82310e8: CONS	8230f98, 82310d8
8230f98: NUMBER	6, 0
82310d8: CONS	8230f78, 0
8230f78: NUMBER	7, 0
8230ce8: CONS	0, 0

8230cb8: IMPLIES	8230ca8, 8230c98
8230ca8: CONS	8230188, 8230c78
8230188: CONS	822e688, 0
822e688: DOT	822e4d8, 8221a30
822e4d8: DOT	0, 822e158
822e158: ATOM	m, 0
8221a30: ATOM	cmd, 0
8230c78: CONS	822f928, 0
822f928: EQUAL	822e688, 821e9f0
822e688: DOT	822e4d8, 8221a30
822e4d8: DOT	0, 822e158
822e158: ATOM	m, 0
8221a30: ATOM	cmd, 0
821e9f0: ATOM	idle, 0
8230c98: CONS	82310c8, 8230c88
82310c8: CONS	821dbb0, 82310b8
821dbb0: NUMBER	0, 0
82310b8: CONS	821dba0, 82310a8
821dba0: NUMBER	1, 0
82310a8: CONS	8231018, 8231098
8231018: NUMBER	2, 0
8231098: CONS	8230ff8, 8231088
8230ff8: NUMBER	3, 0
8231088: CONS	8230fd8, 8231078
8230fd8: NUMBER	4, 0
8231078: CONS	8230fb8, 8231068
8230fb8: NUMBER	5, 0
8231068: CONS	8230f98, 8231058
8230f98: NUMBER	6, 0
8231058: CONS	8230f78, 0
8230f78: NUMBER	7, 0
8230c88: CONS	0, 0

8230c58: IMPLIES	8230c48, 8230c38
8230c48: CONS	82301a8, 8230c18
82301a8: CONS	8221a40, 0
8221a40: DOT	8221870, 8221a30
8221870: DOT	0, 8221860
8221860: ATOM	p0, 0
8221a30: ATOM	cmd, 0
8230c18: CONS	822f948, 0
822f948: EQUAL	8221a40, 821e9f0
8221a40: DOT	8221870, 8221a30
8221870: DOT	0, 8221860
8221860: ATOM	p0, 0
8221a30: ATOM	cmd, 0
821e9f0: ATOM	idle, 0
8230c38: CONS	8231048, 8230c28
8231048: CONS	821dbb0, 8231038
821dbb0: NUMBER	0, 0
8231038: CONS	821dba0, 8231028
821dba0: NUMBER	1, 0
8231028: CONS	8231018, 8231008
8231018: NUMBER	2, 0
8231008: CONS	8230ff8, 8230fe8
8230ff8: NUMBER	3, 0
8230fe8: CONS	8230fd8, 8230fc8
8230fd8: NUMBER	4, 0
8230fc8: CONS	8230fb8, 8230fa8
8230fb8: NUMBER	5, 0
8230fa8: CONS	8230f98, 8230f88
8230f98: NUMBER	6, 0
8230f88: CONS	8230f78, 0
8230f78: NUMBER	7, 0
8230c28: CONS	0, 0

The number of abstracted variables is 4
