prob_norm_count

(6, 8> 44x
(8, 10> 80x
(10, 13> 153x
(13, 17> 157x
(17, 22> 470x
(22, 29> 1117x
(29, 38> 1065x
(38, 49> 1229x
(49, 64> 1161x
(64, 83> 2033x
(83, 108> 2432x
(108, 140> 4354x
(140, 182> 6435x
(182, 237> 7449x
(237, 308> 6573x
(308, 400> 6990x
(400, 520> 12464x
(520, 676> 7157x
(676, 879> 90909x
(879, 1140> 15184x
(1140, 1480> 18992x
(1480, 1920> 17396x
(1920, 2490> 16042x
(2490, 3230> 16132x
(3230, 4190> 14016x
(4190, 5440> 14214x
(5440, 7070> 20676x
(7070, 9190> 20405x
(9190, 11900> 21960x
(11900, 15400> 19504x
(15400, 20000> 16213x
(20000, 26000> 17131x
(26000, 33800> 17143x
(33800, 43900> 15006x
(43900, 57000> 11461x
(57000, 74100> 9693x
(74100, 96300> 7624x
(96300, 125000> 5687x
(125000, 162000> 5488x
(162000, 210000> 5547x
(210000, 273000> 4844x
(273000, 354000> 4203x
(354000, 460000> 3898x
(460000, 598000> 3405x
(598000, 777000> 3921x
(777000, 1010000> 3007x
(1010000, 1310000> 2705x
(1310000, 1700000> 2626x
(1700000, 2210000> 2511x
(2210000, 2870000> 3512x
(2870000, 3730000> 2368x
(3730000, 4840000> 2176x
(4840000, 6290000> 1716x
(6290000, 8170000> 1150x
(8170000, 10600000> 841x
(10600000, 13700000> 588x
(13700000, 17800000> 507x
(17800000, 23100000> 379x
(23100000, 30000000> 221x
(30000000, 39000000> 151x
(39100000, 50800000> 105x
(50800000, 66000000> 89x
(66200000, 86000000> 61x
(86000000, 111000000> 42x
(111000000, 144000000> 35x
(144000000, 187000000> 39x
(187000000, 243000000> 25x
(244000000, 317000000> 34x
(318000000, 413000000> 35x
(413000000, 536000000> 22x
(536000000, 696000000> 18x
(717000000, 932000000> 19x
(943000000, 1220000000> 13x
(1340000000, 1740000000> 19x
(1770000000, 2300000000> 7x
(2320000000, 3010000000> 7x
(3140000000, 4080000000> 9x
(4200000000, 5460000000> 8x
(5490000000, 7130000000> 3x