Level 1: .MBackend0.ready_timer .Master0.GNT_ .MBackend0.State .MBackend0.To_timer .MBackend0.BusNumDataPhase .TBackend0.Tar_dly .Target0.cmd .Target0.Addr .TBackend0.data_timer .TBackend0.T_abort .Target0.State .Master0.Dev_timer .Master0.State 
Level 2: .MBackend0.Request .MBackend0.Step .Master0.LState .MBackend0.Command .MBackend0.Pre_BusCommand .MBackend0.Addr .MBackend0.BusAddr .TBackend0.Pre_decode_timer .MBackend0.buffer .Master0.Pre_AD[2] .TBackend0.buffer .Target0.Pre_AD[2] .Master0.Pre_AD[1] .Target0.Pre_AD[1] .Master0.Pre_AD[0] .Target0.Pre_AD[0] .Target0.Pre_Trans_Begin_Addr .Target0.LKState .Master0.OE_LOCK_ .Master0.Own_lock .Master0.Ldt .MBackend0.Lock_a .Target0.L_lock_ .Target0.R_perr .MBackend0.NumDataPhase .Arbiter.State 
Level 3: .Master0.LKState .Master1.REQ_ .Target0.Write_Par .Master0.OE_PAR .Master0.PAR .Target0.OE_PAR .Target0.PAR .Target0.LState .MBackend0.TransStatus 
Level 4: .Master1.GNT_ .Master1.timer 
824b120: IMPLIES	824b110, 824b100
824b110: CONS	824b0c0, 824b0d0
824b0c0: CONS	82431c8, 0
82431c8: DOT	8241920, 8241260
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8241260: ATOM	PAR, 0
824b0d0: CONS	0, 0
824b100: CONS	824b0e0, 824b0f0
824b0e0: CONS	0, 0
824b0f0: CONS	82227b0, 0
0 is not implemented

824b0a0: IMPLIES	824b090, 824b080
824b090: CONS	824b040, 824b050
824b040: CONS	8243188, 0
8243188: ARRAY	82430f8, 823fe10
82430f8: DOT	8241920, 8241180
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8241180: ATOM	Pre_AD, 0
823fe10: NUMBER	2, 0
824b050: CONS	0, 0
824b080: CONS	824b060, 824b070
824b060: CONS	0, 0
824b070: CONS	82227b0, 0
0 is not implemented

824b020: IMPLIES	824b010, 824b000
824b010: CONS	824afc0, 824afd0
824afc0: CONS	8243148, 0
8243148: ARRAY	82430f8, 821daf0
82430f8: DOT	8241920, 8241180
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8241180: ATOM	Pre_AD, 0
821daf0: NUMBER	1, 0
824afd0: CONS	0, 0
824b000: CONS	824afe0, 824aff0
824afe0: CONS	0, 0
824aff0: CONS	82227b0, 0
0 is not implemented

824afa0: IMPLIES	824af90, 824af80
824af90: CONS	824af40, 824af50
824af40: CONS	8243108, 0
8243108: ARRAY	82430f8, 821db00
82430f8: DOT	8241920, 8241180
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8241180: ATOM	Pre_AD, 0
821db00: NUMBER	0, 0
824af50: CONS	0, 0
824af80: CONS	824af60, 824af70
824af60: CONS	0, 0
824af70: CONS	82227b0, 0
0 is not implemented

824af20: IMPLIES	824af10, 824af00
824af10: CONS	824aec0, 824aed0
824aec0: CONS	82430b8, 0
82430b8: DOT	8241920, 82430a8
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
82430a8: ATOM	L_lock_, 0
824aed0: CONS	0, 0
824af00: CONS	824aee0, 824aef0
824aee0: CONS	0, 0
824aef0: CONS	82227b0, 0
0 is not implemented

824aea0: IMPLIES	824ae90, 824ae80
824ae90: CONS	824ae40, 824ae50
824ae40: CONS	8243068, 0
8243068: DOT	8241920, 8240fe0
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8240fe0: ATOM	R_perr, 0
824ae50: CONS	0, 0
824ae80: CONS	824ae60, 824ae70
824ae60: CONS	0, 0
824ae70: CONS	82227b0, 0
0 is not implemented

824ae20: IMPLIES	824ae10, 824ae00
824ae10: CONS	824adc0, 824add0
824adc0: CONS	8243028, 0
8243028: DOT	8241920, 8241030
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8241030: ATOM	LR_perr, 0
824add0: CONS	0, 0
824ae00: CONS	824ade0, 824adf0
824ade0: CONS	0, 0
824adf0: CONS	82227b0, 0
0 is not implemented

824ada0: IMPLIES	824ad90, 824ad80
824ad90: CONS	824ad40, 824ad50
824ad40: CONS	8242fe8, 0
8242fe8: DOT	8241920, 8242fd8
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8242fd8: ATOM	Write_Par, 0
824ad50: CONS	0, 0
824ad80: CONS	824ad60, 824ad70
824ad60: CONS	0, 0
824ad70: CONS	82227b0, 0
0 is not implemented

824ad20: IMPLIES	824ad10, 824ad00
824ad10: CONS	824acc0, 824acd0
824acc0: CONS	8242f18, 0
8242f18: DOT	8241920, 8242f08
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8242f08: ATOM	Pre_Trans_Begin_Addr, 0
824acd0: CONS	0, 0
824ad00: CONS	824ace0, 824acf0
824ace0: CONS	0, 0
824acf0: CONS	82227b0, 0
0 is not implemented

824aca0: IMPLIES	824ac90, 824ac80
824ac90: CONS	824ac40, 824ac50
824ac40: CONS	8242db8, 0
8242db8: DOT	8241920, 8241300
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8241300: ATOM	OE_PAR, 0
824ac50: CONS	0, 0
824ac80: CONS	824ac60, 824ac70
824ac60: CONS	0, 0
824ac70: CONS	82227b0, 0
0 is not implemented

824ac20: IMPLIES	824ac10, 824ac00
824ac10: CONS	824abc0, 824abd0
824abc0: CONS	8242d78, 0
8242d78: DOT	8241920, 8240e60
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8240e60: ATOM	LKState, 0
824abd0: CONS	0, 0
824ac00: CONS	824abe0, 824abf0
824abe0: CONS	0, 0
824abf0: CONS	82227b0, 0
0 is not implemented

824aba0: IMPLIES	824ab90, 824ab80
824ab90: CONS	824ab40, 824ab50
824ab40: CONS	8242d38, 0
8242d38: DOT	8241920, 8240ef0
8241920: DOT	0, 823d1b8
823d1b8: ATOM	Target0, 0
8240ef0: ATOM	LState, 0
824ab50: CONS	0, 0
824ab80: CONS	824ab60, 824ab70
824ab60: CONS	0, 0
824ab70: CONS	82227b0, 0
0 is not implemented

824ab20: IMPLIES	824ab10, 824ab00
824ab10: CONS	824aac0, 824aad0
824aac0: CONS	8241cd0, 0
8241cd0: DOT	82418b0, 8240450
82418b0: DOT	0, 82413b0
82413b0: ATOM	TBackend0, 0
8240450: ATOM	buffer, 0
824aad0: CONS	0, 0
824ab00: CONS	824aae0, 824aaf0
824aae0: CONS	0, 0
824aaf0: CONS	82227b0, 0
0 is not implemented

824aaa0: IMPLIES	824aa90, 824aa80
824aa90: CONS	824aa40, 824aa50
824aa40: CONS	8241b40, 0
8241b40: DOT	82418b0, 8241b30
82418b0: DOT	0, 82413b0
82413b0: ATOM	TBackend0, 0
8241b30: ATOM	Pre_decode_timer, 0
824aa50: CONS	0, 0
824aa80: CONS	824aa60, 824aa70
824aa60: CONS	0, 0
824aa70: CONS	82227b0, 0
0 is not implemented

824aa20: IMPLIES	824aa10, 824aa00
824aa10: CONS	824a9c0, 824a9d0
824a9c0: CONS	82417f0, 0
82417f0: DOT	8240520, 82417e0
8240520: DOT	0, 823d188
823d188: ATOM	Master1, 0
82417e0: ATOM	timer, 0
824a9d0: CONS	0, 0
824aa00: CONS	824a9e0, 824a9f0
824a9e0: CONS	0, 0
824a9f0: CONS	82227b0, 0
0 is not implemented

824a9a0: IMPLIES	824a990, 824a980
824a990: CONS	824a940, 824a950
824a940: CONS	82417a0, 0
82417a0: DOT	8240520, 8240e10
8240520: DOT	0, 823d188
823d188: ATOM	Master1, 0
8240e10: ATOM	GNT_, 0
824a950: CONS	0, 0
824a980: CONS	824a960, 824a970
824a960: CONS	0, 0
824a970: CONS	82227b0, 0
0 is not implemented

824a920: IMPLIES	824a910, 824a900
824a910: CONS	824a8c0, 824a8d0
824a8c0: CONS	8241760, 0
8241760: DOT	8240520, 82409d0
8240520: DOT	0, 823d188
823d188: ATOM	Master1, 0
82409d0: ATOM	REQ_, 0
824a8d0: CONS	0, 0
824a900: CONS	824a8e0, 824a8f0
824a8e0: CONS	0, 0
824a8f0: CONS	82227b0, 0
0 is not implemented

824a8a0: IMPLIES	824a890, 824a880
824a890: CONS	824a840, 824a850
824a840: CONS	8241310, 0
8241310: DOT	823fab0, 8241300
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8241300: ATOM	OE_PAR, 0
824a850: CONS	0, 0
824a880: CONS	824a860, 824a870
824a860: CONS	0, 0
824a870: CONS	82227b0, 0
0 is not implemented

824a820: IMPLIES	824a810, 824a800
824a810: CONS	824a7c0, 824a7d0
824a7c0: CONS	82412c0, 0
82412c0: DOT	823fab0, 82412b0
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
82412b0: ATOM	OE_LOCK_, 0
824a7d0: CONS	0, 0
824a800: CONS	824a7e0, 824a7f0
824a7e0: CONS	0, 0
824a7f0: CONS	82227b0, 0
0 is not implemented

824a7a0: IMPLIES	824a790, 824a780
824a790: CONS	824a740, 824a750
824a740: CONS	8241270, 0
8241270: DOT	823fab0, 8241260
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8241260: ATOM	PAR, 0
824a750: CONS	0, 0
824a780: CONS	824a760, 824a770
824a760: CONS	0, 0
824a770: CONS	82227b0, 0
0 is not implemented

824a720: IMPLIES	824a710, 824a700
824a710: CONS	824a6c0, 824a6d0
824a6c0: CONS	8241220, 0
8241220: ARRAY	8241190, 823fe10
8241190: DOT	823fab0, 8241180
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8241180: ATOM	Pre_AD, 0
823fe10: NUMBER	2, 0
824a6d0: CONS	0, 0
824a700: CONS	824a6e0, 824a6f0
824a6e0: CONS	0, 0
824a6f0: CONS	82227b0, 0
0 is not implemented

824a6a0: IMPLIES	824a690, 824a680
824a690: CONS	824a640, 824a650
824a640: CONS	82411e0, 0
82411e0: ARRAY	8241190, 821daf0
8241190: DOT	823fab0, 8241180
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8241180: ATOM	Pre_AD, 0
821daf0: NUMBER	1, 0
824a650: CONS	0, 0
824a680: CONS	824a660, 824a670
824a660: CONS	0, 0
824a670: CONS	82227b0, 0
0 is not implemented

824a620: IMPLIES	824a610, 824a600
824a610: CONS	824a5c0, 824a5d0
824a5c0: CONS	82411a0, 0
82411a0: ARRAY	8241190, 821db00
8241190: DOT	823fab0, 8241180
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8241180: ATOM	Pre_AD, 0
821db00: NUMBER	0, 0
824a5d0: CONS	0, 0
824a600: CONS	824a5e0, 824a5f0
824a5e0: CONS	0, 0
824a5f0: CONS	82227b0, 0
0 is not implemented

824a5a0: IMPLIES	824a590, 824a580
824a590: CONS	824a540, 824a550
824a540: CONS	8241140, 0
8241140: DOT	823fab0, 8241130
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8241130: ATOM	Ldt, 0
824a550: CONS	0, 0
824a580: CONS	824a560, 824a570
824a560: CONS	0, 0
824a570: CONS	82227b0, 0
0 is not implemented

824a520: IMPLIES	824a510, 824a500
824a510: CONS	824a4c0, 824a4d0
824a4c0: CONS	8241040, 0
8241040: DOT	823fab0, 8241030
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8241030: ATOM	LR_perr, 0
824a4d0: CONS	0, 0
824a500: CONS	824a4e0, 824a4f0
824a4e0: CONS	0, 0
824a4f0: CONS	82227b0, 0
0 is not implemented

824a4a0: IMPLIES	824a490, 824a480
824a490: CONS	824a440, 824a450
824a440: CONS	8240ff0, 0
8240ff0: DOT	823fab0, 8240fe0
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8240fe0: ATOM	R_perr, 0
824a450: CONS	0, 0
824a480: CONS	824a460, 824a470
824a460: CONS	0, 0
824a470: CONS	82227b0, 0
0 is not implemented

824a420: IMPLIES	824a410, 824a400
824a410: CONS	824a3c0, 824a3d0
824a3c0: CONS	8240fa0, 0
8240fa0: DOT	823fab0, 8240f90
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8240f90: ATOM	Own_lock, 0
824a3d0: CONS	0, 0
824a400: CONS	824a3e0, 824a3f0
824a3e0: CONS	0, 0
824a3f0: CONS	82227b0, 0
0 is not implemented

824a3a0: IMPLIES	824a390, 824a380
824a390: CONS	824a340, 824a350
824a340: CONS	8240f50, 0
8240f50: DOT	823fab0, 8240f40
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8240f40: ATOM	Read_Par, 0
824a350: CONS	0, 0
824a380: CONS	824a360, 824a370
824a360: CONS	0, 0
824a370: CONS	82227b0, 0
0 is not implemented

824a320: IMPLIES	824a310, 824a300
824a310: CONS	824a2c0, 824a2d0
824a2c0: CONS	8240f00, 0
8240f00: DOT	823fab0, 8240ef0
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8240ef0: ATOM	LState, 0
824a2d0: CONS	0, 0
824a300: CONS	824a2e0, 824a2f0
824a2e0: CONS	0, 0
824a2f0: CONS	82227b0, 0
0 is not implemented

824a2a0: IMPLIES	824a290, 824a280
824a290: CONS	824a240, 824a250
824a240: CONS	8240e70, 0
8240e70: DOT	823fab0, 8240e60
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8240e60: ATOM	LKState, 0
824a250: CONS	0, 0
824a280: CONS	824a260, 824a270
824a260: CONS	0, 0
824a270: CONS	82227b0, 0
0 is not implemented

824a220: IMPLIES	824a210, 824a200
824a210: CONS	824a1c0, 824a1d0
824a1c0: CONS	8240460, 0
8240460: DOT	823fa80, 8240450
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
8240450: ATOM	buffer, 0
824a1d0: CONS	0, 0
824a200: CONS	824a1e0, 824a1f0
824a1e0: CONS	0, 0
824a1f0: CONS	82227b0, 0
0 is not implemented

824a1a0: IMPLIES	824a190, 824a180
824a190: CONS	824a140, 824a150
824a140: CONS	8240210, 0
8240210: DOT	823fa80, 8240200
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
8240200: ATOM	Lock_a, 0
824a150: CONS	0, 0
824a180: CONS	824a160, 824a170
824a160: CONS	0, 0
824a170: CONS	82227b0, 0
0 is not implemented

824a120: IMPLIES	824a110, 824a100
824a110: CONS	824a0c0, 824a0d0
824a0c0: CONS	82401c0, 0
82401c0: DOT	823fa80, 82401b0
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
82401b0: ATOM	Request, 0
824a0d0: CONS	0, 0
824a100: CONS	824a0e0, 824a0f0
824a0e0: CONS	0, 0
824a0f0: CONS	82227b0, 0
0 is not implemented

824a0a0: IMPLIES	824a090, 824a080
824a090: CONS	824a040, 824a050
824a040: CONS	8240170, 0
8240170: DOT	823fa80, 8240160
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
8240160: ATOM	Step, 0
824a050: CONS	0, 0
824a080: CONS	824a060, 824a070
824a060: CONS	0, 0
824a070: CONS	82227b0, 0
0 is not implemented

824a020: IMPLIES	824a010, 824a000
824a010: CONS	8249fc0, 8249fd0
8249fc0: CONS	8240120, 0
8240120: DOT	823fa80, 8240110
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
8240110: ATOM	TransStatus, 0
8249fd0: CONS	0, 0
824a000: CONS	8249fe0, 8249ff0
8249fe0: CONS	0, 0
8249ff0: CONS	82227b0, 0
0 is not implemented

8249fa0: IMPLIES	8249f90, 8249f80
8249f90: CONS	8249f40, 8249f50
8249f40: CONS	8240000, 0
8240000: DOT	823fa80, 823fff0
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
823fff0: ATOM	NumDataPhase, 0
8249f50: CONS	0, 0
8249f80: CONS	8249f60, 8249f70
8249f60: CONS	0, 0
8249f70: CONS	82227b0, 0
0 is not implemented

8249f20: IMPLIES	8249f10, 8249f00
8249f10: CONS	8249ec0, 8249ed0
8249ec0: CONS	823ffb0, 0
823ffb0: DOT	823fa80, 823ffa0
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
823ffa0: ATOM	Pre_BusCommand, 0
8249ed0: CONS	0, 0
8249f00: CONS	8249ee0, 8249ef0
8249ee0: CONS	0, 0
8249ef0: CONS	82227b0, 0
0 is not implemented

8249ea0: IMPLIES	8249e90, 8249e80
8249e90: CONS	8249e40, 8249e50
8249e40: CONS	823ff60, 0
823ff60: DOT	823fa80, 823ff50
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
823ff50: ATOM	Command, 0
8249e50: CONS	0, 0
8249e80: CONS	8249e60, 8249e70
8249e60: CONS	0, 0
8249e70: CONS	82227b0, 0
0 is not implemented

8249e20: IMPLIES	8249e10, 8249e00
8249e10: CONS	8249dc0, 8249dd0
8249dc0: CONS	823fe90, 0
823fe90: DOT	823fa80, 823fe80
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
823fe80: ATOM	BusAddr, 0
8249dd0: CONS	0, 0
8249e00: CONS	8249de0, 8249df0
8249de0: CONS	0, 0
8249df0: CONS	82227b0, 0
0 is not implemented

8249da0: IMPLIES	8249d90, 8249d80
8249d90: CONS	8249d40, 8249d50
8249d40: CONS	823fd60, 0
823fd60: DOT	823fa80, 823fd50
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
823fd50: ATOM	Addr, 0
8249d50: CONS	0, 0
8249d80: CONS	8249d60, 8249d70
8249d60: CONS	0, 0
8249d70: CONS	82227b0, 0
0 is not implemented

8249d20: IMPLIES	8249d10, 8249d00
8249d10: CONS	8249cc0, 8249cd0
8249cc0: CONS	823fa00, 0
823fa00: DOT	823f8e0, 823f9f0
823f8e0: DOT	0, 823f8d0
823f8d0: ATOM	Arbiter, 0
823f9f0: ATOM	State, 0
8249cd0: CONS	0, 0
8249d00: CONS	8249ce0, 8249cf0
8249ce0: CONS	0, 0
8249cf0: CONS	82227b0, 0
0 is not implemented

8249a60: IMPLIES	8249a50, 8249a40
8249a50: CONS	8249100, 8249a20
8249100: CONS	8241090, 0
8241090: DOT	823fab0, 8241080
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8241080: ATOM	Dev_timer, 0
8249a20: CONS	8248090, 0
8248090: EQUAL	8241090, 823fdb0
8241090: DOT	823fab0, 8241080
823fab0: DOT	0, 823d158
823d158: ATOM	Master0, 0
8241080: ATOM	Dev_timer, 0
823fdb0: NUMBER	5, 0
8249a40: CONS	8249cb0, 8249a30
8249cb0: CONS	821db00, 8249ca0
821db00: NUMBER	0, 0
8249ca0: CONS	821daf0, 8249c90
821daf0: NUMBER	1, 0
8249c90: CONS	823fe10, 8249c80
823fe10: NUMBER	2, 0
8249c80: CONS	823fdf0, 8249c70
823fdf0: NUMBER	3, 0
8249c70: CONS	823fdd0, 8249c60
823fdd0: NUMBER	4, 0
8249c60: CONS	823fdb0, 8249c50
823fdb0: NUMBER	5, 0
8249c50: CONS	823fd90, 0
823fd90: NUMBER	6, 0
8249a30: CONS	0, 0

82498d0: IMPLIES	82498c0, 82498b0
82498c0: CONS	8249260, 8249890
8249260: CONS	82402a0, 0
82402a0: DOT	823fa80, 8240290
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
8240290: ATOM	To_timer, 0
8249890: CONS	82481f0, 0
82481f0: EQUAL	82402a0, 823fd70
82402a0: DOT	823fa80, 8240290
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
8240290: ATOM	To_timer, 0
823fd70: NUMBER	7, 0
82498b0: CONS	8249c40, 82498a0
8249c40: CONS	821db00, 8249c30
821db00: NUMBER	0, 0
8249c30: CONS	821daf0, 8249c20
821daf0: NUMBER	1, 0
8249c20: CONS	823fe10, 8249c10
823fe10: NUMBER	2, 0
8249c10: CONS	823fdf0, 8249c00
823fdf0: NUMBER	3, 0
8249c00: CONS	823fdd0, 8249bf0
823fdd0: NUMBER	4, 0
8249bf0: CONS	823fdb0, 8249be0
823fdb0: NUMBER	5, 0
8249be0: CONS	823fd90, 8249bd0
823fd90: NUMBER	6, 0
8249bd0: CONS	823fd70, 0
823fd70: NUMBER	7, 0
82498a0: CONS	0, 0

8249810: IMPLIES	8249800, 82497f0
8249800: CONS	82492c0, 82497d0
82492c0: CONS	8240370, 0
8240370: DOT	823fa80, 8240360
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
8240360: ATOM	ready_timer, 0
82497d0: CONS	8248250, 0
8248250: EQUAL	8240370, 821db00
8240370: DOT	823fa80, 8240360
823fa80: DOT	0, 823f990
823f990: ATOM	MBackend0, 0
8240360: ATOM	ready_timer, 0
821db00: NUMBER	0, 0
82497f0: CONS	8249bc0, 82497e0
8249bc0: CONS	821db00, 8249bb0
821db00: NUMBER	0, 0
8249bb0: CONS	821daf0, 8249ba0
821daf0: NUMBER	1, 0
8249ba0: CONS	823fe10, 8249b90
823fe10: NUMBER	2, 0
8249b90: CONS	823fdf0, 8249b80
823fdf0: NUMBER	3, 0
8249b80: CONS	823fdd0, 8249b70
823fdd0: NUMBER	4, 0
8249b70: CONS	823fdb0, 8249b60
823fdb0: NUMBER	5, 0
8249b60: CONS	823fd90, 8249b50
823fd90: NUMBER	6, 0
8249b50: CONS	823fd70, 0
823fd70: NUMBER	7, 0
82497e0: CONS	0, 0

8249750: IMPLIES	8249740, 8249730
8249740: CONS	82491a0, 8249710
82491a0: CONS	8241bc0, 0
8241bc0: DOT	82418b0, 8241bb0
82418b0: DOT	0, 82413b0
82413b0: ATOM	TBackend0, 0
8241bb0: ATOM	data_timer, 0
8249710: CONS	8248130, 8249700
363 is not implemented
8249700: CONS	8248290, 0
8248290: EQUAL	8241bc0, 821db00
8241bc0: DOT	82418b0, 8241bb0
82418b0: DOT	0, 82413b0
82413b0: ATOM	TBackend0, 0
8241bb0: ATOM	data_timer, 0
821db00: NUMBER	0, 0
8249730: CONS	8249b40, 8249720
8249b40: CONS	821db00, 8249b30
821db00: NUMBER	0, 0
8249b30: CONS	821daf0, 8249b20
821daf0: NUMBER	1, 0
8249b20: CONS	823fe10, 8249b10
823fe10: NUMBER	2, 0
8249b10: CONS	823fdf0, 8249b00
823fdf0: NUMBER	3, 0
8249b00: CONS	823fdd0, 8249af0
823fdd0: NUMBER	4, 0
8249af0: CONS	823fdb0, 8249ae0
823fdb0: NUMBER	5, 0
8249ae0: CONS	823fd90, 8249ad0
823fd90: NUMBER	6, 0
8249ad0: CONS	823fd70, 8249ac0
823fd70: NUMBER	7, 0
8249ac0: CONS	8240380, 8249ab0
8240380: NUMBER	8, 0
8249ab0: CONS	8241bf0, 8249aa0
8241bf0: NUMBER	9, 0
8249aa0: CONS	8241bd0, 8249a90
8241bd0: NUMBER	10, 0
8249a90: CONS	8249a80, 0
8249a80: NUMBER	11, 0
8249720: CONS	0, 0

The number of abstracted variables is 45
