jgiven	0.15.1	Sum
2.114	1	1
2.190.3	1	1
2.222.3	2	2
2.235.5	1	1
2.263.1	1	1
2.263.4	1	1
2.289.3	2	2
2.307	1	1
2.319.2	1	1
2.332.1	1	1
2.332.3	1	1
2.332.4	1	1
2.346.1	2	2
2.346.2	2	2
2.346.3	5	5
2.375.1	3	3
2.375.2	1	1
2.375.4	1	1
2.385	1	1
2.387.1	5	5
2.387.3	1	1
2.401.1	1	1
2.401.2	2	2
2.401.3	2	2
2.414	1	1
2.414.1	1	1
2.414.2	8	8
2.414.3	1	1
2.426	2	2
2.426.1	4	4
2.426.2	9	9
2.426.3	7	7
2.427	1	1
2.440.1	16	16
2.440.2	10	10
2.440.3	6	6
2.441	1	1
2.446	1	1
2.447	2	2
2.450	2	2
2.452	1	1
2.452.1	7	7
2.452.2	6	6
2.452.3	4	4
2.452.4	2	2
2.454	1	1
2.455	2	2
2.458	2	2
2.460	2	2
2.461	1	1
2.462.1	6	6
2.462.2	58	58
2.462.3	21	21
2.463	1	1
2.467	1	1
2.471	1	1
2.472	1	1
2.474	2	2
2.475	1	1
2.476	1	1
2.479	1	1
2.479.1	10	10
2.479.2	6	6
2.479.3	13	13
2.481	2	2
2.482	1	1
2.485	1	1
2.486	2	2
2.488	1	1
2.489	3	3
2.492.1	11	11
2.492.2	47	47
2.492.3	82	82
2.495	2	2
2.496	3	3
2.498	3	3
2.499	1	1
2.500	1	1
2.501	1	1
2.502	2	2
2.503	1	1
2.504	4	4
2.504.1	1	1
2.505	4	4
2.506	3	3
2.507	4	4
2.508	1	1
Total	444	444