Level 1: .qtime .timer 
821e5a0: IMPLIES	821e590, 821e580
821e590: CONS	821e4c0, 821e560
821e4c0: CONS	821e0c0, 0
821e0c0: DOT	0, 821e0b0
821e0b0: ATOM	timer, 0
821e560: CONS	821e440, 0
821e440: EQUAL	821e0c0, 821dbb0
821e0c0: DOT	0, 821e0b0
821e0b0: ATOM	timer, 0
821dbb0: NUMBER	0, 0
821e580: CONS	821e630, 821e570
821e630: CONS	821dbb0, 821e620
821dbb0: NUMBER	0, 0
821e620: CONS	821dba0, 821e610
821dba0: NUMBER	1, 0
821e610: CONS	821e270, 821e600
821e270: NUMBER	2, 0
821e600: CONS	821e250, 821e5f0
821e250: NUMBER	3, 0
821e5f0: CONS	821e230, 821e5e0
821e230: NUMBER	4, 0
821e5e0: CONS	821e210, 821e5d0
821e210: NUMBER	5, 0
821e5d0: CONS	821e1f0, 821e5c0
821e1f0: NUMBER	6, 0
821e5c0: CONS	821e1d0, 0
821e1d0: NUMBER	7, 0
821e570: CONS	0, 0

The number of abstracted variables is 1
