Unified Coverage Report :: Module :: prim_generic_ram_1r1w

Module : prim_generic_ram_1r1w

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_08_22/spi_device_1r1w-sim-vcs/default/sim-vcs/../src/lowrisc_prim_generic_ram_1r1w_0/rtl/prim_generic_ram_1r1w.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic	100.00	100.00				100.00	100.00
tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic	100.00	100.00				100.00	100.00

---

Module Instance : tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
							u_mem

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

---

Module Instance : tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00				100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
							u_mem

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

Line Coverage for Module : prim_generic_ram_1r1w

	Line No.	Total	Covered	Percent
TOTAL		11	11	100.00
CONT_ASSIGN	45	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
ALWAYS	66	4	4	100.00
ALWAYS	77	2	2	100.00

44                        logic unused_cfg;
45         1/1            assign unused_cfg = ^cfg_i;
           Tests:       T2 
46                      
47                        // Width of internal write mask. Note *_wmask_i input into the module is always assumed
48                        // to be the full bit mask.
49                        localparam int MaskWidth = Width / DataBitsPerMask;
50                      
51                        logic [Width-1:0]     mem [Depth];
52                        logic [MaskWidth-1:0] a_wmask;
53                        for (genvar k = 0; k < MaskWidth; k++) begin : gen_wmask
54         4/4              assign a_wmask[k] = &a_wmask_i[k*DataBitsPerMask +: DataBitsPerMask];
           Tests:       T1 T2 T3  | T1 T2 T3  | T1 T2 T3  | T1 T2 T3 
55                      
56                          // Ensure that all mask bits within a group have the same value for a write
57                          `ASSERT(MaskCheckPortA_A, a_req_i |->
58                              a_wmask_i[k*DataBitsPerMask +: DataBitsPerMask] inside {{DataBitsPerMask{1'b1}}, '0},
59                              clk_a_i, '0)
60                        end
61                      
62                        // Xilinx FPGA specific Two-port RAM coding style
63                        // using always instead of always_ff to avoid 'ICPD  - illegal combination of drivers' error
64                        // thrown due to 'mem' being driven by two always processes below
65                        always @(posedge clk_a_i) begin
66         1/1              if (a_req_i) begin
           Tests:       T1 T2 T3 
67         1/1                for (int i=0; i < MaskWidth; i = i + 1) begin
           Tests:       T1 T8 T9 
68         1/1                  if (a_wmask[i]) begin
           Tests:       T1 T8 T9 
69         1/1                    mem[a_addr_i][i*DataBitsPerMask +: DataBitsPerMask] <=
           Tests:       T1 T8 T9 
70                                  a_wdata_i[i*DataBitsPerMask +: DataBitsPerMask];
71                              end
                        MISSING_ELSE
72                            end
73                          end
                        MISSING_ELSE
74                        end
75                      
76                        always @(posedge clk_b_i) begin
77         1/1              if (b_req_i) begin
           Tests:       T1 T2 T3 
78         1/1                b_rdata_o <= mem[b_addr_i];
           Tests:       T8 T10 T13 
79                          end
                        MISSING_ELSE

---

Branch Coverage for Module : prim_generic_ram_1r1w

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	66	2	2	100.00
IF	77	2	2	100.00

66             if (a_req_i) begin
               -1-  
67               for (int i=0; i < MaskWidth; i = i + 1) begin
                 ==>
68                 if (a_wmask[i]) begin
69                   mem[a_addr_i][i*DataBitsPerMask +: DataBitsPerMask] <=
70                     a_wdata_i[i*DataBitsPerMask +: DataBitsPerMask];
71                 end
72               end
73             end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T8,T9
0	Covered	T1,T2,T3

77             if (b_req_i) begin
               -1-  
78               b_rdata_o <= mem[b_addr_i];
                 ==>
79             end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T8,T10,T13
0	Covered	T1,T2,T3

---

Assert Coverage for Module : prim_generic_ram_1r1w

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	4	4	100.00	4	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	4	4	100.00	4	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
gen_wmask[0].MaskCheckPortA_A	592716060	3381882	0	0
gen_wmask[1].MaskCheckPortA_A	592716060	3381882	0	0
gen_wmask[2].MaskCheckPortA_A	592716060	3381882	0	0
gen_wmask[3].MaskCheckPortA_A	592716060	3381882	0	0

gen_wmask[0].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	592716060	3381882	0	0
T1	96744	832	0	0
T2	1000	0	0	0
T3	1004	0	0	0
T4	1032	0	0	0
T5	1369	0	0	0
T6	27379	0	0	0
T7	5315	0	0	0
T8	19454	273	0	0
T9	3275	832	0	0
T10	17047	832	0	0
T13	105816	832	0	0
T14	72	0	0	0
T15	7680	832	0	0
T16	154055	832	0	0
T17	51106	832	0	0
T18	24271	832	0	0
T22	0	1293	0	0
T24	0	2464	0	0
T26	85708	0	0	0
T30	0	2988	0	0
T31	0	2676	0	0
T32	0	9644	0	0
T38	0	832	0	0
T41	0	530	0	0
T42	0	4154	0	0
T43	0	3437	0	0
T44	0	4557	0	0

gen_wmask[1].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	592716060	3381882	0	0
T1	96744	832	0	0
T2	1000	0	0	0
T3	1004	0	0	0
T4	1032	0	0	0
T5	1369	0	0	0
T6	27379	0	0	0
T7	5315	0	0	0
T8	19454	273	0	0
T9	3275	832	0	0
T10	17047	832	0	0
T13	105816	832	0	0
T14	72	0	0	0
T15	7680	832	0	0
T16	154055	832	0	0
T17	51106	832	0	0
T18	24271	832	0	0
T22	0	1293	0	0
T24	0	2464	0	0
T26	85708	0	0	0
T30	0	2988	0	0
T31	0	2676	0	0
T32	0	9644	0	0
T38	0	832	0	0
T41	0	530	0	0
T42	0	4154	0	0
T43	0	3437	0	0
T44	0	4557	0	0

gen_wmask[2].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	592716060	3381882	0	0
T1	96744	832	0	0
T2	1000	0	0	0
T3	1004	0	0	0
T4	1032	0	0	0
T5	1369	0	0	0
T6	27379	0	0	0
T7	5315	0	0	0
T8	19454	273	0	0
T9	3275	832	0	0
T10	17047	832	0	0
T13	105816	832	0	0
T14	72	0	0	0
T15	7680	832	0	0
T16	154055	832	0	0
T17	51106	832	0	0
T18	24271	832	0	0
T22	0	1293	0	0
T24	0	2464	0	0
T26	85708	0	0	0
T30	0	2988	0	0
T31	0	2676	0	0
T32	0	9644	0	0
T38	0	832	0	0
T41	0	530	0	0
T42	0	4154	0	0
T43	0	3437	0	0
T44	0	4557	0	0

gen_wmask[3].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	592716060	3381882	0	0
T1	96744	832	0	0
T2	1000	0	0	0
T3	1004	0	0	0
T4	1032	0	0	0
T5	1369	0	0	0
T6	27379	0	0	0
T7	5315	0	0	0
T8	19454	273	0	0
T9	3275	832	0	0
T10	17047	832	0	0
T13	105816	832	0	0
T14	72	0	0	0
T15	7680	832	0	0
T16	154055	832	0	0
T17	51106	832	0	0
T18	24271	832	0	0
T22	0	1293	0	0
T24	0	2464	0	0
T26	85708	0	0	0
T30	0	2988	0	0
T31	0	2676	0	0
T32	0	9644	0	0
T38	0	832	0	0
T41	0	530	0	0
T42	0	4154	0	0
T43	0	3437	0	0
T44	0	4557	0	0

Line Coverage for Instance : tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic

	Line No.	Total	Covered	Percent
TOTAL		11	11	100.00
CONT_ASSIGN	45	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
ALWAYS	66	4	4	100.00
ALWAYS	77	2	2	100.00

44                        logic unused_cfg;
45         1/1            assign unused_cfg = ^cfg_i;
           Tests:       T2 
46                      
47                        // Width of internal write mask. Note *_wmask_i input into the module is always assumed
48                        // to be the full bit mask.
49                        localparam int MaskWidth = Width / DataBitsPerMask;
50                      
51                        logic [Width-1:0]     mem [Depth];
52                        logic [MaskWidth-1:0] a_wmask;
53                        for (genvar k = 0; k < MaskWidth; k++) begin : gen_wmask
54         4/4              assign a_wmask[k] = &a_wmask_i[k*DataBitsPerMask +: DataBitsPerMask];
           Tests:       T1 T2 T3  | T1 T2 T3  | T1 T2 T3  | T1 T2 T3 
55                      
56                          // Ensure that all mask bits within a group have the same value for a write
57                          `ASSERT(MaskCheckPortA_A, a_req_i |->
58                              a_wmask_i[k*DataBitsPerMask +: DataBitsPerMask] inside {{DataBitsPerMask{1'b1}}, '0},
59                              clk_a_i, '0)
60                        end
61                      
62                        // Xilinx FPGA specific Two-port RAM coding style
63                        // using always instead of always_ff to avoid 'ICPD  - illegal combination of drivers' error
64                        // thrown due to 'mem' being driven by two always processes below
65                        always @(posedge clk_a_i) begin
66         1/1              if (a_req_i) begin
           Tests:       T1 T2 T3 
67         1/1                for (int i=0; i < MaskWidth; i = i + 1) begin
           Tests:       T1 T8 T9 
68         1/1                  if (a_wmask[i]) begin
           Tests:       T1 T8 T9 
69         1/1                    mem[a_addr_i][i*DataBitsPerMask +: DataBitsPerMask] <=
           Tests:       T1 T8 T9 
70                                  a_wdata_i[i*DataBitsPerMask +: DataBitsPerMask];
71                              end
                   ==>  MISSING_ELSE
72                            end
73                          end
                        MISSING_ELSE
74                        end
75                      
76                        always @(posedge clk_b_i) begin
77         1/1              if (b_req_i) begin
           Tests:       T1 T5 T6 
78         1/1                b_rdata_o <= mem[b_addr_i];
           Tests:       T8 T10 T13 
79                          end
                        MISSING_ELSE

---

Branch Coverage for Instance : tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	66	2	2	100.00
IF	77	2	2	100.00

66             if (a_req_i) begin
               -1-  
67               for (int i=0; i < MaskWidth; i = i + 1) begin
                 ==>
68                 if (a_wmask[i]) begin
69                   mem[a_addr_i][i*DataBitsPerMask +: DataBitsPerMask] <=
70                     a_wdata_i[i*DataBitsPerMask +: DataBitsPerMask];
71                 end
72               end
73             end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T1,T8,T9
0	Covered	T1,T2,T3

77             if (b_req_i) begin
               -1-  
78               b_rdata_o <= mem[b_addr_i];
                 ==>
79             end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T8,T10,T13
0	Covered	T1,T5,T6

---

Assert Coverage for Instance : tb.dut.u_spid_dpram.gen_ram1r1w.u_sys2spi_mem.u_mem.gen_generic.u_impl_generic

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	4	4	100.00	4	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	4	4	100.00	4	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
gen_wmask[0].MaskCheckPortA_A	442522611	2140454	0	0
gen_wmask[1].MaskCheckPortA_A	442522611	2140454	0	0
gen_wmask[2].MaskCheckPortA_A	442522611	2140454	0	0
gen_wmask[3].MaskCheckPortA_A	442522611	2140454	0	0

gen_wmask[0].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	442522611	2140454	0	0
T1	96744	832	0	0
T2	1000	0	0	0
T3	1004	0	0	0
T4	1032	0	0	0
T5	1369	0	0	0
T6	27379	0	0	0
T7	5315	0	0	0
T8	16114	19	0	0
T9	2955	832	0	0
T10	12149	832	0	0
T13	0	832	0	0
T15	0	832	0	0
T16	0	832	0	0
T17	0	832	0	0
T18	0	832	0	0
T38	0	832	0	0

gen_wmask[1].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	442522611	2140454	0	0
T1	96744	832	0	0
T2	1000	0	0	0
T3	1004	0	0	0
T4	1032	0	0	0
T5	1369	0	0	0
T6	27379	0	0	0
T7	5315	0	0	0
T8	16114	19	0	0
T9	2955	832	0	0
T10	12149	832	0	0
T13	0	832	0	0
T15	0	832	0	0
T16	0	832	0	0
T17	0	832	0	0
T18	0	832	0	0
T38	0	832	0	0

gen_wmask[2].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	442522611	2140454	0	0
T1	96744	832	0	0
T2	1000	0	0	0
T3	1004	0	0	0
T4	1032	0	0	0
T5	1369	0	0	0
T6	27379	0	0	0
T7	5315	0	0	0
T8	16114	19	0	0
T9	2955	832	0	0
T10	12149	832	0	0
T13	0	832	0	0
T15	0	832	0	0
T16	0	832	0	0
T17	0	832	0	0
T18	0	832	0	0
T38	0	832	0	0

gen_wmask[3].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	442522611	2140454	0	0
T1	96744	832	0	0
T2	1000	0	0	0
T3	1004	0	0	0
T4	1032	0	0	0
T5	1369	0	0	0
T6	27379	0	0	0
T7	5315	0	0	0
T8	16114	19	0	0
T9	2955	832	0	0
T10	12149	832	0	0
T13	0	832	0	0
T15	0	832	0	0
T16	0	832	0	0
T17	0	832	0	0
T18	0	832	0	0
T38	0	832	0	0

Line Coverage for Instance : tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic

	Line No.	Total	Covered	Percent
TOTAL		11	11	100.00
CONT_ASSIGN	45	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
CONT_ASSIGN	54	1	1	100.00
ALWAYS	66	4	4	100.00
ALWAYS	77	2	2	100.00

44                        logic unused_cfg;
45         1/1            assign unused_cfg = ^cfg_i;
           Tests:       T2 
46                      
47                        // Width of internal write mask. Note *_wmask_i input into the module is always assumed
48                        // to be the full bit mask.
49                        localparam int MaskWidth = Width / DataBitsPerMask;
50                      
51                        logic [Width-1:0]     mem [Depth];
52                        logic [MaskWidth-1:0] a_wmask;
53                        for (genvar k = 0; k < MaskWidth; k++) begin : gen_wmask
54         4/4              assign a_wmask[k] = &a_wmask_i[k*DataBitsPerMask +: DataBitsPerMask];
           Tests:       T1 T2 T3  | T1 T2 T3  | T1 T2 T3  | T1 T2 T3 
55                      
56                          // Ensure that all mask bits within a group have the same value for a write
57                          `ASSERT(MaskCheckPortA_A, a_req_i |->
58                              a_wmask_i[k*DataBitsPerMask +: DataBitsPerMask] inside {{DataBitsPerMask{1'b1}}, '0},
59                              clk_a_i, '0)
60                        end
61                      
62                        // Xilinx FPGA specific Two-port RAM coding style
63                        // using always instead of always_ff to avoid 'ICPD  - illegal combination of drivers' error
64                        // thrown due to 'mem' being driven by two always processes below
65                        always @(posedge clk_a_i) begin
66         1/1              if (a_req_i) begin
           Tests:       T1 T5 T6 
67         1/1                for (int i=0; i < MaskWidth; i = i + 1) begin
           Tests:       T8 T30 T31 
68         1/1                  if (a_wmask[i]) begin
           Tests:       T8 T30 T31 
69         1/1                    mem[a_addr_i][i*DataBitsPerMask +: DataBitsPerMask] <=
           Tests:       T8 T30 T31 
70                                  a_wdata_i[i*DataBitsPerMask +: DataBitsPerMask];
71                              end
                        MISSING_ELSE
72                            end
73                          end
                        MISSING_ELSE
74                        end
75                      
76                        always @(posedge clk_b_i) begin
77         1/1              if (b_req_i) begin
           Tests:       T1 T2 T3 
78         1/1                b_rdata_o <= mem[b_addr_i];
           Tests:       T8 T30 T31 
79                          end
                        MISSING_ELSE

---

Branch Coverage for Instance : tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic

	Line No.	Total	Covered	Percent
Branches		4	4	100.00
IF	66	2	2	100.00
IF	77	2	2	100.00

66             if (a_req_i) begin
               -1-  
67               for (int i=0; i < MaskWidth; i = i + 1) begin
                 ==>
68                 if (a_wmask[i]) begin
69                   mem[a_addr_i][i*DataBitsPerMask +: DataBitsPerMask] <=
70                     a_wdata_i[i*DataBitsPerMask +: DataBitsPerMask];
71                 end
72               end
73             end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T8,T30,T31
0	Covered	T1,T5,T6

77             if (b_req_i) begin
               -1-  
78               b_rdata_o <= mem[b_addr_i];
                 ==>
79             end
               MISSING_ELSE
               ==>

Branches:

-1-	Status	Tests
1	Covered	T8,T30,T31
0	Covered	T1,T2,T3

---

Assert Coverage for Instance : tb.dut.u_spid_dpram.gen_ram1r1w.u_spi2sys_mem.u_mem.gen_generic.u_impl_generic

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	4	4	100.00	4	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	4	4	100.00	4	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
gen_wmask[0].MaskCheckPortA_A	150193449	1241428	0	0
gen_wmask[1].MaskCheckPortA_A	150193449	1241428	0	0
gen_wmask[2].MaskCheckPortA_A	150193449	1241428	0	0
gen_wmask[3].MaskCheckPortA_A	150193449	1241428	0	0

gen_wmask[0].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	150193449	1241428	0	0
T8	3340	254	0	0
T9	320	0	0	0
T10	4898	0	0	0
T13	105816	0	0	0
T14	72	0	0	0
T15	7680	0	0	0
T16	154055	0	0	0
T17	51106	0	0	0
T18	24271	0	0	0
T22	0	1293	0	0
T24	0	2464	0	0
T26	85708	0	0	0
T30	0	2988	0	0
T31	0	2676	0	0
T32	0	9644	0	0
T41	0	530	0	0
T42	0	4154	0	0
T43	0	3437	0	0
T44	0	4557	0	0

gen_wmask[1].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	150193449	1241428	0	0
T8	3340	254	0	0
T9	320	0	0	0
T10	4898	0	0	0
T13	105816	0	0	0
T14	72	0	0	0
T15	7680	0	0	0
T16	154055	0	0	0
T17	51106	0	0	0
T18	24271	0	0	0
T22	0	1293	0	0
T24	0	2464	0	0
T26	85708	0	0	0
T30	0	2988	0	0
T31	0	2676	0	0
T32	0	9644	0	0
T41	0	530	0	0
T42	0	4154	0	0
T43	0	3437	0	0
T44	0	4557	0	0

gen_wmask[2].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	150193449	1241428	0	0
T8	3340	254	0	0
T9	320	0	0	0
T10	4898	0	0	0
T13	105816	0	0	0
T14	72	0	0	0
T15	7680	0	0	0
T16	154055	0	0	0
T17	51106	0	0	0
T18	24271	0	0	0
T22	0	1293	0	0
T24	0	2464	0	0
T26	85708	0	0	0
T30	0	2988	0	0
T31	0	2676	0	0
T32	0	9644	0	0
T41	0	530	0	0
T42	0	4154	0	0
T43	0	3437	0	0
T44	0	4557	0	0

gen_wmask[3].MaskCheckPortA_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	150193449	1241428	0	0
T8	3340	254	0	0
T9	320	0	0	0
T10	4898	0	0	0
T13	105816	0	0	0
T14	72	0	0	0
T15	7680	0	0	0
T16	154055	0	0	0
T17	51106	0	0	0
T18	24271	0	0	0
T22	0	1293	0	0
T24	0	2464	0	0
T26	85708	0	0	0
T30	0	2988	0	0
T31	0	2676	0	0
T32	0	9644	0	0
T41	0	530	0	0
T42	0	4154	0	0
T43	0	3437	0	0
T44	0	4557	0	0