( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	x	x	xx x	--A 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	x	x	xx x
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	x	x	xx x	--B 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	x	x	xx x

( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x	--A 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x	--B 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x

( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x	--A 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x	--B 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x

( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x	--A 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	x	0	x	xx x	--B 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	0	0	x	xx x

( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	0	0	x	xx x	--A 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	0	0	x	xx x
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	0	0	x	xx x	--B 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	0	0	x	xx x 

( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	0	0	x	xx x	--A 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	0	0	x	xx x 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	0	0	x	xx x	--B 
( 0 0 0 1 0 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	x	xxxx	x	x	x	x	0	0	x	xx x 

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 1 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 1 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 1 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 1 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 1 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 1 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x

( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	0	0	xxxx	0	0	0	0	0	0	x	xx x 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x 

( 0 1 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 1 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 1 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 1 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 1 0 1 1 1 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 1 1 0 1 1 1 )	0	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x

( 0 0 0 1 1 1 )	1	0	0000	0	0	0	0	0	0	00	|	x	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 1 0 0 1 1 1 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 0 0 1 1 1 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x	--A 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x	--B 
( 0 0 0 1 1 0 )	1	0	0000	0	0	0	0	0	0	00	|	1	0	xxxx	0	0	0	0	0	0	x	xx x


( 0 0 0 1 1 0 )	0	0	1234	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	1	1878	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	5555	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	1	1820	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	2212	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	18D8	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	1117	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	1	1028	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	1111	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	2222	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	3333	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	4444	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	1	1078	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	4444	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	3333	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	2222	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	1111	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	1	1038	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0111	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	1010	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	2020	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	3037	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	1	10D0	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x

( 0 0 0 1 1 0 )	0	0	1117	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	2278	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	1372	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	1876	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x



( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	50	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	50	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	11	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	51	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	51	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	17	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	52	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	52	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	22	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	53	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	53	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	78	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	54	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	54	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	13	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	55	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	55	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	72	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	56	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	56	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	18	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	57	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	57	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	76	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	38	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	38	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	01	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	39	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	39	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	11	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3A	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3A	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	10	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3B	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3B	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	10	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3C	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3C	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	20	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3D	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3D	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	20	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3E	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3E	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	30	x

( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3F	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --A 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	3F	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	8	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	xx	x --B 
( 0 0 0 1 1 0 )	0	0	0000	0	0	0	0	0	0	xx	|	x	0	xxxx	0	0	0	0	0	0	x	37	x






.
ΐSmallCacheInner-WriteBlocks.oracle
Pradeep Sindhu May 6, 1988 11:32:38 pm PDT
TEST COMPLETE


NB: Each line corresponds to one cycle of the DynaBus clock

The state of the cache following Reset is: all x's except for signals set otherwise by the hardware
_ Logic.SetOracleFileName["SmallCacheInnerTest", "SmallCacheInner-WriteBlocks"]
_ SmallCacheLogic.ArrayPutState[SmallCacheLogic.cacheStateValueG]



Perform the reset sequence:
Assert Reset till x's get flushed out (the last signal appears to be RamForP, which settles 3 cycles after BCtlRamForBCWS6, which settles in cycle 6):
Pradeep Sindhu May 6, 1988 6:28:09 pm PDT

  D D D n n D	  D	B	B		G	G	I	P	P	P	P		|	D	H	B		B	B	R	S	P	P	P	P  P
  S A E D D S	  S	C	D		L	r	S	m	C	B	D		|	B	d	D		O	S	e	S	R	F	F	D  R
  h d x F R e	  e	y	a		e	a	S	o	m	y	a		|	u	r	a		w	h	q	t	e	a	a	a  e
  i d e r e r	  l	c	t		n	n	t	d	d	t	t		|	s	C	t		n	a	u	o	j	u	u	t  s
  f r c e s i	  e	l	a		g	t	o	e	I	e	a		|	O	y	a		e	r	e	p	e	l	l	a  c
  t e u e e a	  c	e	I		t		p	I	n	S			|	u	c	O		r	e	s	O	c	t	t	   h
  C s t z t l	  t	0	n		h		I	n		e			|	t	l	u		O	d	t	u	t		C	   e
  k s e e   I	 							n			l			|		e	t		u	O		t			o	   d
            n											I			|		O			t	u					d	   u
															n			|		u				t					e	   l
																		|		t											e
																		|														


Check that chip Id can be read out (scan path 0):
  D D D n n D	  D	B	B		G	G	I	P	P	P	P		|	D	H	B		B	B	R	S	P	P	P	P  P
  S A E D D S	  S	C	D		L	r	S	m	C	B	D		|	B	d	D		O	S	e	S	R	F	F	D  R
  h d x F R e	  e	y	a		e	a	S	o	m	y	a		|	u	r	a		w	h	q	t	e	a	a	a  e
  i d e r e r	  l	c	t		n	n	t	d	d	t	t		|	s	C	t		n	a	u	o	j	u	u	t  s
  f r c e s i	  e	l	a		g	t	o	e	I	e	a		|	O	y	a		e	r	e	p	e	l	l	a  c
  t e u e e a	  c	e	I		t		p	I	n	S			|	u	c	O		r	e	s	O	c	t	t	   h
  C s t z t l	  t	0	n		h		I	n		e			|	t	l	u		O	d	t	u	t		C	   e
  k s e e   I	 							n			l			|		e	t		u	O		t			o	   d
            n											I			|		O			t	u					d	   u
															n			|		u				t					e	   l
																		|		t											e
																		|														
Shift In MyId (scan path 1) (Recall that MyId is only one bit so only one bit needs to be shifted in):
  D D D n n D	  D	B	B		G	G	I	P	P	P	P		|	D	H	B		B	B	R	S	P	P	P	P  P
  S A E D D S	  S	C	D		L	r	S	m	C	B	D		|	B	d	D		O	S	e	S	R	F	F	D  R
  h d x F R e	  e	y	a		e	a	S	o	m	y	a		|	u	r	a		w	h	q	t	e	a	a	a  e
  i d e r e r	  l	c	t		n	n	t	d	d	t	t		|	s	C	t		n	a	u	o	j	u	u	t  s
  f r c e s i	  e	l	a		g	t	o	e	I	e	a		|	O	y	a		e	r	e	p	e	l	l	a  c
  t e u e e a	  c	e	I		t		p	I	n	S			|	u	c	O		r	e	s	O	c	t	t	   h
  C s t z t l	  t	0	n		h		I	n		e			|	t	l	u		O	d	t	u	t		C	   e
  k s e e   I	 							n			l			|		e	t		u	O		t			o	   d
            n											I			|		O			t	u					d	   u
															n			|		u				t					e	   l
																		|		t											e
																		|														
SmallCacheInner-WriteBlocks:
NB: Our chip's Id=1, so Id in packet must be 0 to indicate a Foreign device
WriteBlockReply-Foreign-Miss 

WriteBlockReply-Foreign-Miss 

WriteBlockReply-Foreign-Hit (hits line 1, but shouldn't do anything)

WriteBlockReply-Foreign-Hit (hits line 6, but shouldn't do anything)

WriteBlockRequest-Foreign-Miss 

WriteBlockRequest-Foreign-Miss 

WriteBlockRequest-Foreign-Hit (line 0-should update the line)

WriteBlockRequest-Foreign-Hit (line 7-should update the line and clear the owner bit)
Check that the lines got updated:
PReadHit[50]: 
PReadHit[51]: 
PReadHit[52]: 
PReadHit[53]: 
PReadHit[54]: 
PReadHit[55]: 
PReadHit[56]: 
PReadHit[57]: 
PReadHit[38]: 
PReadHit[39]: 
PReadHit[3A]: 
PReadHit[3B]: 
PReadHit[3C]: 
PReadHit[3D]: 
PReadHit[3E]: 
PReadHit[3F]: 
The state of the cache at this point should be: SmallCacheArrayStateValues.cacheStateValueH

The state of the cache at this point should be: SmallCacheArrayStateValues.cacheStateValueH
Κ¬˜š
œ"™"Icode™*—J˜J™
J™J™J™;J™š
œc™cJš
œO™OJš
œA™AJ™—J™J™š
Οf™Jš
–
™–
K™)J™Jš%Πef™AJš%ž™AJš%ž™AJš%ž™AJš%ž™AJš#ž™?Jš"ž™=Jšž™5Jšž™1Jšž™'Jšž™"JšΠfzΡefzŸ
™!J™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
F˜FJ˜Jš
J˜JJš
F˜FJš
J˜JJš
F˜FJ˜Jš
J˜JJš
F˜FJš
J˜JJš
F˜F—J™š
1™1Jš%ž™AJš%ž™AJš%ž™AJš%ž™AJš%ž™AJš#ž™?Jš"ž™=Jšž™5Jšž™1Jšž™'Jšž™"JšŸ Ÿ
™!Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJš
J˜JJš
E˜EJš
J˜JJš
E˜EJš
J˜JJš
E˜EJš
J˜JJš
E˜EJš
J˜JJš
F˜FJš
J˜JJš
F˜FJš
J˜JJš
F˜FJš
J˜JJš
F˜FJš
J˜JJš
F˜FJš
J˜JJš
F˜FJš
J˜JJš
F˜FJš
J˜JJš
F˜FJš
J˜JJš
F˜FJš
J˜JJš
F˜FJš
J˜JJš
F˜F—J˜š
f™fJš%ž™AJš%ž™AJš%ž™AJš%ž™AJš%ž™AJš#ž™?Jš"ž™=Jšž™5Jšž™1Jšž™'Jšž™"JšŸ Ÿ
™!Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJš
J˜JJš
E˜E—J˜J˜Iheadš
œ™J™K™Jš
J˜JJš
E˜EJš
J˜JJš
E˜E—J™™Jš
J˜JJš
E˜EJš
J˜JJš
E˜E—J™™DJš
J˜JJš
E˜EJš
J˜JJš
E˜E—J™™DJš
J˜JJš
E˜EJš
J˜JJš
E˜E—J™™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜E—J™™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜E—J™™=Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—J™™UJš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜J˜J˜—J™!™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—™Jš
J˜JJš
E˜EJš
J˜JJš
E˜EJ˜—J˜J˜J˜Jš
œ[™[J™J˜J˜Jš
œ[™[J˜
—…—8βPN