# 0x200000000012 weights computed using reference implementation
1	0x200000000012	0	0	1	0	0	0	0	0	0	0	0
2	0x200000000012	0	0	2	0	0	0	1	0	0	0	0
3	0x200000000012	0	0	3	0	1	0	2	0	1	0	0
4	0x200000000012	0	0	4	0	3	0	5	0	3	0	0
5	0x200000000012	0	0	5	0	5	0	10	0	11	0	0
6	0x200000000012	0	0	6	0	9	0	16	0	25	0	5
7	0x200000000012	0	0	7	0	13	0	25	0	50	0	21
8	0x200000000012	0	0	8	0	17	0	38	0	86	0	60
9	0x200000000012	0	0	9	0	21	0	55	0	133	0	139
10	0x200000000012	0	0	10	0	25	0	73	0	199	0	265
11	0x200000000012	0	0	11	0	29	0	95	0	277	0	447
12	0x200000000012	0	0	12	0	33	0	118	0	371	0	698
13	0x200000000012	0	0	13	0	37	0	142	0	480	0	1023
14	0x200000000012	0	0	14	0	41	0	167	0	604	0	1418
15	0x200000000012	0	0	15	0	45	0	193	0	736	0	1903
16	0x200000000012	0	0	16	0	49	0	220	0	881	0	2458
17	0x200000000012	0	0	17	0	53	0	248	0	1034	0	3089
18	0x200000000012	0	0	18	0	57	0	277	0	1195	0	3791
19	0x200000000012	0	0	19	0	61	0	307	0	1364	0	4565
20	0x200000000012	0	0	20	0	65	0	338	0	1541	0	5397
21	0x200000000012	0	0	21	0	69	0	370	0	1726	0	6296
22	0x200000000012	0	0	22	0	73	0	403	0	1919	0	7255
23	0x200000000012	0	0	23	0	77	0	437	0	2120	0	8275
24	0x200000000012	0	0	24	0	81	0	472	0	2329	0	9357
25	0x200000000012	0	0	25	0	85	0	508	0	2546	0	10502
26	0x200000000012	0	0	26	0	89	0	545	0	2771	0	11711
27	0x200000000012	0	0	27	0	93	0	583	0	3004	0	12985
28	0x200000000012	0	0	28	0	97	0	622	0	3245	0	14325
29	0x200000000012	0	0	29	0	101	0	662	0	3494	0	15732
30	0x200000000012	0	0	30	0	105	0	703	0	3751	0	17207
31	0x200000000012	0	0	31	0	109	0	745	0	4016	0	18751
32	0x200000000012	0	0	32	0	113	0	788	0	4289	0	20365
33	0x200000000012	0	0	33	0	117	0	832	0
34	0x200000000012	0	0	34	0	121	0	877	0
35	0x200000000012	0	0	35	0	125	0	923	0
36	0x200000000012	0	0	36	0	129	0	970	0
37	0x200000000012	0	0	37	0	133	0	1018	0
38	0x200000000012	0	0	38	0	137	0	1067	0
39	0x200000000012	0	0	39	0	141	0	1117	0
40	0x200000000012	0	0	40	0	145	0	1168	0
41	0x200000000012	0	0	41	0	149	0	1220	0
42	0x200000000012	0	0	42	0	154	0	1280	0
43	0x200000000012	0	0	43	0	159	0	1341	0
44	0x200000000012	0	0	44	0	164	0	1408	0
45	0x200000000012	0	0	45	0	171	0	1489	0
46	0x200000000012	0	0	46	0	178	0	1571	0
47	0x200000000012	0	0	48	0	191	0	1727	0
48	0x200000000012	0	0	50	0	205	0	1898	0
49	0x200000000012	0	0	52	0	220	0
50	0x200000000012	0	0	54	0	235	0
51	0x200000000012	0	0	56	0	252	0
52	0x200000000012	0	0	58	0	270	0
53	0x200000000012	0	0	60	0	290	0
54	0x200000000012	0	0	62	0	310	0
55	0x200000000012	0	0	64	0	330	0
56	0x200000000012	0	0	66	0	350	0
57	0x200000000012	0	0	68	0	372	0
58	0x200000000012	0	0	70	0	394	0
59	0x200000000012	0	0	72	0	416	0
60	0x200000000012	0	0	74	0	438	0
61	0x200000000012	0	0	76	0	460	0
62	0x200000000012	0	0	78	0	482	0
63	0x200000000012	0	0	80	0	504	0
64	0x200000000012	0	0	82	0	526	0
65	0x200000000012	0	0	84	0	548
66	0x200000000012	0	0	86	0	570
67	0x200000000012	0	0	88	0	592
68	0x200000000012	0	0	90	0	614
69	0x200000000012	0	0	92	0	636
70	0x200000000012	0	0	94	0	658
71	0x200000000012	0	0	96	0	680
72	0x200000000012	0	0	98	0	702
73	0x200000000012	0	0	100	0	724
74	0x200000000012	0	0	102	0	746
75	0x200000000012	0	0	104	0	768
76	0x200000000012	0	0	106	0	790
77	0x200000000012	0	0	108	0	812
78	0x200000000012	0	0	110	0	834
79	0x200000000012	0	0	112	0	856
80	0x200000000012	0	0	114	0	878
81	0x200000000012	0	0	116	0	900
82	0x200000000012	0	0	118	0	922
83	0x200000000012	0	0	120	0	945
84	0x200000000012	0	0	122	0	968
85	0x200000000012	0	0	124	0	991
86	0x200000000012	0	0	126	0	1014
87	0x200000000012	0	0	128	0	1037
88	0x200000000012	0	0	130	0	1061
89	0x200000000012	0	0	132	0	1086
90	0x200000000012	0	0	134	0	1111
91	0x200000000012	0	0	136	0	1137
92	0x200000000012	0	0	138	0	1163
93	0x200000000012	0	0	140	0	1191
94	0x200000000012	0	0	142	0	1219
95	0x200000000012	0	0	144	0	1247
96	0x200000000012	0	0	146	0	1275
97	0x200000000012	0	0	148	0	1303
98	0x200000000012	0	0	150	0	1332
99	0x200000000012	0	0	152	0	1361
100	0x200000000012	0	0	154	0	1390
101	0x200000000012	0	0	156	0	1419
102	0x200000000012	0	0	158	0	1448
103	0x200000000012	0	0	160	0	1477
104	0x200000000012	0	0	162	0	1506
105	0x200000000012	0	0	164	0	1535
106	0x200000000012	0	0	166	0	1564
107	0x200000000012	0	0	168	0	1593
108	0x200000000012	0	0	170	0	1622
109	0x200000000012	0	0	172	0	1651
110	0x200000000012	0	0	174	0	1680
111	0x200000000012	0	0	176	0	1709
112	0x200000000012	0	0	178	0	1738
113	0x200000000012	0	0	180	0	1767
114	0x200000000012	0	0	182	0	1796
115	0x200000000012	0	0	184	0	1825
116	0x200000000012	0	0	186	0	1854
117	0x200000000012	0	0	188	0	1883
118	0x200000000012	0	0	190	0	1912
119	0x200000000012	0	0	192	0	1941
120	0x200000000012	0	0	194	0	1970
121	0x200000000012	0	0	196	0	1999
122	0x200000000012	0	0	198	0	2028
123	0x200000000012	0	0	200	0	2057
124	0x200000000012	0	0	202	0	2086
125	0x200000000012	0	0	204	0	2115
126	0x200000000012	0	0	206	0	2144
127	0x200000000012	0	0	208	0	2173
128	0x200000000012	0	0	210	0	2202