Level 1: .qtime .timer 
821e590: IMPLIES	821e580, 821e570
821e580: CONS	821e4b0, 821e550
821e4b0: CONS	821e0b0, 0
821e0b0: DOT	0, 821e0a0
821e0a0: ATOM	timer, 0
821e550: CONS	821e430, 0
821e430: EQUAL	821e0b0, 821dba0
821e0b0: DOT	0, 821e0a0
821e0a0: ATOM	timer, 0
821dba0: NUMBER	0, 0
821e570: CONS	821e620, 821e560
821e620: CONS	821dba0, 821e610
821dba0: NUMBER	0, 0
821e610: CONS	821db90, 821e600
821db90: NUMBER	1, 0
821e600: CONS	821e260, 821e5f0
821e260: NUMBER	2, 0
821e5f0: CONS	821e240, 821e5e0
821e240: NUMBER	3, 0
821e5e0: CONS	821e220, 821e5d0
821e220: NUMBER	4, 0
821e5d0: CONS	821e200, 821e5c0
821e200: NUMBER	5, 0
821e5c0: CONS	821e1e0, 821e5b0
821e1e0: NUMBER	6, 0
821e5b0: CONS	821e1c0, 0
821e1c0: NUMBER	7, 0
821e560: CONS	0, 0

The number of abstracted variables is 1
