MultiSource/Benchmarks/MiBench/consumer-typeset/data/data/standard.li

00 Basser Lout Version 3.24 (October 2000) database index file
00symbol 1 @Word
00symbol 10 @TwelveHours
00symbol 11 @ShortHours
00symbol 12 @MeriDiems
00symbol 13 @ShortMeriDiems
00symbol 14 @DateTimeFormat
00symbol 2 @Roman
00symbol 3 @UCRoman
00symbol 4 @Alpha
00symbol 5 @UCAlpha
00symbol 6 @Months
00symbol 7 @ShortMonths
00symbol 8 @WeekDays
00symbol 9 @ShortWeekDays
1&abbreviations	0	00018	12894	383	.
1&abstract	0	00016	11467	341	.
1&am	0	00033	23294	700	.
1&appendix	0	00021	14835	446	.
1&bibliography	0	00003	2808	68	.
1&chapter	0	00020	14192	425	.
1&claim	0	00014	10172	299	.
1&contents	0	00001	0	26	.
1&continued	0	00032	22721	679	.
1&corollary	0	00012	8921	257	.
1&definition	0	00008	6299	173	.
1&example	0	00013	9544	278	.
1&figure	0	00004	3554	89	.
1&figurelist	0	00005	4166	110	.
1&in	0	00031	22221	658	.
1&index	0	00023	16155	488	.
1&introduction	0	00019	13461	404	.
1&lecture	0	00022	15528	467	.
1&lemma	0	00009	6993	194	.
1&mastersthesis	0	00030	21362	636	.
1&nopublisher	0	00027	18852	572	.
1&notitle	0	00024	16790	509	.
1&page	0	00026	18220	551	.
1&pages	0	00025	17572	530	.
1&phdthesis	0	00029	20433	614	.
1&pm	0	00034	23820	721	.
1&preface	0	00017	12158	362	.
1&proof	0	00015	10817	320	.
1&proposition	0	00011	8181	236	.
1&references	0	00002	2048	47	.
1&shortam	0	00035	24346	742	.
1&shortpm	0	00036	24843	763	.
1&table	0	00006	4956	131	.
1&tablelist	0	00007	5570	152	.
1&techrep	0	00028	19672	593	.
1&theorem	0	00010	7539	215	.
10&00	0	00537	60734	2132	.
10&01	0	00538	60759	2133	.
10&02	0	00539	60782	2134	.
10&03	0	00540	60805	2135	.
10&04	0	00541	60828	2136	.
10&05	0	00542	60851	2137	.
10&06	0	00543	60874	2138	.
10&07	0	00544	60897	2139	.
10&08	0	00545	60920	2140	.
10&09	0	00546	60943	2141	.
10&10	0	00547	60966	2142	.
10&11	0	00548	60989	2143	.
10&12	0	00549	61012	2144	.
10&13	0	00550	61035	2145	.
10&14	0	00551	61058	2146	.
10&15	0	00552	61081	2147	.
10&16	0	00553	61104	2148	.
10&17	0	00554	61127	2149	.
10&18	0	00555	61150	2150	.
10&19	0	00556	61173	2151	.
10&20	0	00557	61196	2152	.
10&21	0	00558	61219	2153	.
10&22	0	00559	61242	2154	.
10&23	0	00560	61265	2155	.
11&00	0	00561	61288	2158	.
11&01	0	00562	61312	2159	.
11&02	0	00563	61334	2160	.
11&03	0	00564	61356	2161	.
11&04	0	00565	61378	2162	.
11&05	0	00566	61400	2163	.
11&06	0	00567	61422	2164	.
11&07	0	00568	61444	2165	.
11&08	0	00569	61466	2166	.
11&09	0	00570	61488	2167	.
11&10	0	00571	61510	2168	.
11&11	0	00572	61532	2169	.
11&12	0	00573	61554	2170	.
11&13	0	00574	61576	2171	.
11&14	0	00575	61598	2172	.
11&15	0	00576	61620	2173	.
11&16	0	00577	61642	2174	.
11&17	0	00578	61664	2175	.
11&18	0	00579	61686	2176	.
11&19	0	00580	61708	2177	.
11&20	0	00581	61730	2178	.
11&21	0	00582	61752	2179	.
11&22	0	00583	61774	2180	.
11&23	0	00584	61796	2181	.
12&00	0	00585	61818	2184	.
12&01	0	00586	61848	2185	.
12&02	0	00587	61876	2186	.
12&03	0	00588	61904	2187	.
12&04	0	00589	61932	2188	.
12&05	0	00590	61960	2189	.
12&06	0	00591	61988	2190	.
12&07	0	00592	62016	2191	.
12&08	0	00593	62044	2192	.
12&09	0	00594	62072	2193	.
12&10	0	00595	62100	2194	.
12&11	0	00596	62128	2195	.
12&12	0	00597	62156	2196	.
12&13	0	00598	62184	2197	.
12&14	0	00599	62212	2198	.
12&15	0	00600	62240	2199	.
12&16	0	00601	62268	2200	.
12&17	0	00602	62296	2201	.
12&18	0	00603	62324	2202	.
12&19	0	00604	62352	2203	.
12&20	0	00605	62380	2204	.
12&21	0	00606	62408	2205	.
12&22	0	00607	62436	2206	.
12&23	0	00608	62464	2207	.
13&00	0	00609	62492	2210	.
13&01	0	00610	62532	2211	.
13&02	0	00611	62570	2212	.
13&03	0	00612	62608	2213	.
13&04	0	00613	62646	2214	.
13&05	0	00614	62684	2215	.
13&06	0	00615	62722	2216	.
13&07	0	00616	62760	2217	.
13&08	0	00617	62798	2218	.
13&09	0	00618	62836	2219	.
13&10	0	00619	62874	2220	.
13&11	0	00620	62912	2221	.
13&12	0	00621	62950	2222	.
13&13	0	00622	62988	2223	.
13&14	0	00623	63026	2224	.
13&15	0	00624	63064	2225	.
13&16	0	00625	63102	2226	.
13&17	0	00626	63140	2227	.
13&18	0	00627	63178	2228	.
13&19	0	00628	63216	2229	.
13&20	0	00629	63254	2230	.
13&21	0	00630	63292	2231	.
13&22	0	00631	63330	2232	.
13&23	0	00632	63368	2233	.
14&date	0	00633	63406	2236	.
14&time	0	00634	64283	2257	.
2&1	0	00038	25361	786	.
2&10	0	00047	25531	795	.
2&100	0	00137	27361	885	.
2&101	0	00138	27380	886	.
2&102	0	00139	27399	887	.
2&103	0	00140	27418	888	.
2&104	0	00141	27438	889	.
2&105	0	00142	27457	890	.
2&106	0	00143	27476	891	.
2&107	0	00144	27495	892	.
2&108	0	00145	27515	893	.
2&109	0	00146	27536	894	.
2&11	0	00048	25549	796	.
2&110	0	00147	27555	895	.
2&111	0	00148	27574	896	.
2&112	0	00149	27593	897	.
2&113	0	00150	27613	898	.
2&114	0	00151	27634	899	.
2&115	0	00152	27654	900	.
2&116	0	00153	27673	901	.
2&117	0	00154	27693	902	.
2&118	0	00155	27714	903	.
2&119	0	00156	27736	904	.
2&12	0	00049	25568	797	.
2&120	0	00157	27756	905	.
2&121	0	00158	27775	906	.
2&122	0	00159	27795	907	.
2&123	0	00160	27816	908	.
2&124	0	00161	27838	909	.
2&125	0	00162	27859	910	.
2&126	0	00163	27879	911	.
2&127	0	00164	27900	912	.
2&128	0	00165	27922	913	.
2&129	0	00166	27945	914	.
2&13	0	00050	25587	798	.
2&130	0	00167	27966	915	.
2&131	0	00168	27986	916	.
2&132	0	00169	28007	917	.
2&133	0	00170	28029	918	.
2&134	0	00171	28052	919	.
2&135	0	00172	28074	920	.
2&136	0	00173	28095	921	.
2&137	0	00174	28117	922	.
2&138	0	00175	28140	923	.
2&139	0	00176	28164	924	.
2&14	0	00051	25607	799	.
2&140	0	00177	28186	925	.
2&141	0	00178	28205	926	.
2&142	0	00179	28225	927	.
2&143	0	00180	28246	928	.
2&144	0	00181	28268	929	.
2&145	0	00182	28289	930	.
2&146	0	00183	28309	931	.
2&147	0	00184	28330	932	.
2&148	0	00185	28352	933	.
2&149	0	00186	28375	934	.
2&15	0	00052	25626	800	.
2&150	0	00187	28396	935	.
2&151	0	00188	28415	936	.
2&152	0	00189	28434	937	.
2&153	0	00190	28454	938	.
2&154	0	00191	28475	939	.
2&155	0	00192	28495	940	.
2&156	0	00193	28514	941	.
2&157	0	00194	28534	942	.
2&158	0	00195	28555	943	.
2&159	0	00196	28577	944	.
2&16	0	00053	25645	801	.
2&160	0	00197	28597	945	.
2&161	0	00198	28616	946	.
2&162	0	00199	28636	947	.
2&163	0	00200	28657	948	.
2&164	0	00201	28679	949	.
2&165	0	00202	28700	950	.
2&166	0	00203	28720	951	.
2&167	0	00204	28741	952	.
2&168	0	00205	28763	953	.
2&169	0	00206	28786	954	.
2&17	0	00054	25664	802	.
2&170	0	00207	28807	955	.
2&171	0	00208	28827	956	.
2&172	0	00209	28848	957	.
2&173	0	00210	28870	958	.
2&174	0	00211	28893	959	.
2&175	0	00212	28915	960	.
2&176	0	00213	28936	961	.
2&177	0	00214	28958	962	.
2&178	0	00215	28981	963	.
2&179	0	00216	29005	964	.
2&18	0	00055	25684	803	.
2&180	0	00217	29027	965	.
2&181	0	00218	29048	966	.
2&182	0	00219	29070	967	.
2&183	0	00220	29093	968	.
2&184	0	00221	29117	969	.
2&185	0	00222	29140	970	.
2&186	0	00223	29162	971	.
2&187	0	00224	29185	972	.
2&188	0	00225	29209	973	.
2&189	0	00226	29234	974	.
2&19	0	00056	25705	804	.
2&190	0	00227	29257	975	.
2&191	0	00228	29276	976	.
2&192	0	00229	29296	977	.
2&193	0	00230	29317	978	.
2&194	0	00231	29339	979	.
2&195	0	00232	29360	980	.
2&196	0	00233	29380	981	.
2&197	0	00234	29401	982	.
2&198	0	00235	29423	983	.
2&199	0	00236	29446	984	.
2&2	0	00039	25379	787	.
2&20	0	00057	25724	805	.
2&200	0	00237	29467	985	.
2&21	0	00058	25743	806	.
2&22	0	00059	25762	807	.
2&23	0	00060	25782	808	.
2&24	0	00061	25803	809	.
2&25	0	00062	25823	810	.
2&26	0	00063	25842	811	.
2&27	0	00064	25862	812	.
2&28	0	00065	25883	813	.
2&29	0	00066	25905	814	.
2&3	0	00040	25398	788	.
2&30	0	00067	25925	815	.
2&31	0	00068	25944	816	.
2&32	0	00069	25964	817	.
2&33	0	00070	25985	818	.
2&34	0	00071	26007	819	.
2&35	0	00072	26028	820	.
2&36	0	00073	26048	821	.
2&37	0	00074	26069	822	.
2&38	0	00075	26091	823	.
2&39	0	00076	26114	824	.
2&4	0	00041	25417	789	.
2&40	0	00077	26135	825	.
2&41	0	00078	26154	826	.
2&42	0	00079	26173	827	.
2&43	0	00080	26193	828	.
2&44	0	00081	26214	829	.
2&45	0	00082	26234	830	.
2&46	0	00083	26253	831	.
2&47	0	00084	26273	832	.
2&48	0	00085	26294	833	.
2&49	0	00086	26316	834	.
2&5	0	00042	25436	790	.
2&50	0	00087	26336	835	.
2&51	0	00088	26354	836	.
2&52	0	00089	26373	837	.
2&53	0	00090	26392	838	.
2&54	0	00091	26412	839	.
2&55	0	00092	26431	840	.
2&56	0	00093	26450	841	.
2&57	0	00094	26469	842	.
2&58	0	00095	26489	843	.
2&59	0	00096	26510	844	.
2&6	0	00043	25454	791	.
2&60	0	00097	26529	845	.
2&61	0	00098	26548	846	.
2&62	0	00099	26567	847	.
2&63	0	00100	26587	848	.
2&64	0	00101	26608	849	.
2&65	0	00102	26628	850	.
2&66	0	00103	26647	851	.
2&67	0	00104	26667	852	.
2&68	0	00105	26688	853	.
2&69	0	00106	26710	854	.
2&7	0	00044	25473	792	.
2&70	0	00107	26730	855	.
2&71	0	00108	26749	856	.
2&72	0	00109	26769	857	.
2&73	0	00110	26790	858	.
2&74	0	00111	26812	859	.
2&75	0	00112	26833	860	.
2&76	0	00113	26853	861	.
2&77	0	00114	26874	862	.
2&78	0	00115	26896	863	.
2&79	0	00116	26919	864	.
2&8	0	00045	25492	793	.
2&80	0	00117	26940	865	.
2&81	0	00118	26960	866	.
2&82	0	00119	26981	867	.
2&83	0	00120	27003	868	.
2&84	0	00121	27026	869	.
2&85	0	00122	27048	870	.
2&86	0	00123	27069	871	.
2&87	0	00124	27091	872	.
2&88	0	00125	27114	873	.
2&89	0	00126	27138	874	.
2&9	0	00046	25512	794	.
2&90	0	00127	27160	875	.
2&91	0	00128	27179	876	.
2&92	0	00129	27198	877	.
2&93	0	00130	27218	878	.
2&94	0	00131	27239	879	.
2&95	0	00132	27259	880	.
2&96	0	00133	27278	881	.
2&97	0	00134	27298	882	.
2&98	0	00135	27319	883	.
2&99	0	00136	27341	884	.
2&??	0	00037	25340	785	.
3&1	0	00239	29507	988	.
3&10	0	00248	29689	997	.
3&100	0	00338	31689	1087	.
3&101	0	00339	31709	1088	.
3&102	0	00340	31729	1089	.
3&103	0	00341	31750	1090	.
3&104	0	00342	31772	1091	.
3&105	0	00343	31793	1092	.
3&106	0	00344	31813	1093	.
3&107	0	00345	31834	1094	.
3&108	0	00346	31856	1095	.
3&109	0	00347	31879	1096	.
3&11	0	00249	29708	998	.
3&110	0	00348	31900	1097	.
3&111	0	00349	31920	1098	.
3&112	0	00350	31941	1099	.
3&113	0	00351	31963	1100	.
3&114	0	00352	31986	1101	.
3&115	0	00353	32008	1102	.
3&116	0	00354	32029	1103	.
3&117	0	00355	32051	1104	.
3&118	0	00356	32074	1105	.
3&119	0	00357	32098	1106	.
3&12	0	00250	29728	999	.
3&120	0	00358	32120	1107	.
3&121	0	00359	32141	1108	.
3&122	0	00360	32163	1109	.
3&123	0	00361	32186	1110	.
3&124	0	00362	32210	1111	.
3&125	0	00363	32233	1112	.
3&126	0	00364	32255	1113	.
3&127	0	00365	32278	1114	.
3&128	0	00366	32302	1115	.
3&129	0	00367	32327	1116	.
3&13	0	00251	29749	1000	.
3&130	0	00368	32350	1117	.
3&131	0	00369	32372	1118	.
3&132	0	00370	32395	1119	.
3&133	0	00371	32419	1120	.
3&134	0	00372	32444	1121	.
3&135	0	00373	32468	1122	.
3&136	0	00374	32491	1123	.
3&137	0	00375	32515	1124	.
3&138	0	00376	32540	1125	.
3&139	0	00377	32566	1126	.
3&14	0	00252	29771	1001	.
3&140	0	00378	32590	1127	.
3&141	0	00379	32611	1128	.
3&142	0	00380	32633	1129	.
3&143	0	00381	32656	1130	.
3&144	0	00382	32680	1131	.
3&145	0	00383	32703	1132	.
3&146	0	00384	32725	1133	.
3&147	0	00385	32748	1134	.
3&148	0	00386	32772	1135	.
3&149	0	00387	32797	1136	.
3&15	0	00253	29792	1002	.
3&150	0	00388	32820	1137	.
3&151	0	00389	32840	1138	.
3&152	0	00390	32861	1139	.
3&153	0	00391	32883	1140	.
3&154	0	00392	32906	1141	.
3&155	0	00393	32928	1142	.
3&156	0	00394	32949	1143	.
3&157	0	00395	32971	1144	.
3&158	0	00396	32994	1145	.
3&159	0	00397	33018	1146	.
3&16	0	00254	29812	1003	.
3&160	0	00398	33040	1147	.
3&161	0	00399	33061	1148	.
3&162	0	00400	33083	1149	.
3&163	0	00401	33106	1150	.
3&164	0	00402	33130	1151	.
3&165	0	00403	33153	1152	.
3&166	0	00404	33175	1153	.
3&167	0	00405	33198	1154	.
3&168	0	00406	33222	1155	.
3&169	0	00407	33247	1156	.
3&17	0	00255	29833	1004	.
3&170	0	00408	33270	1157	.
3&171	0	00409	33292	1158	.
3&172	0	00410	33315	1159	.
3&173	0	00411	33339	1160	.
3&174	0	00412	33364	1161	.
3&175	0	00413	33388	1162	.
3&176	0	00414	33411	1163	.
3&177	0	00415	33435	1164	.
3&178	0	00416	33460	1165	.
3&179	0	00417	33486	1166	.
3&18	0	00256	29855	1005	.
3&180	0	00418	33510	1167	.
3&181	0	00419	33533	1168	.
3&182	0	00420	33557	1169	.
3&183	0	00421	33582	1170	.
3&184	0	00422	33608	1171	.
3&185	0	00423	33633	1172	.
3&186	0	00424	33657	1173	.
3&187	0	00425	33682	1174	.
3&188	0	00426	33708	1175	.
3&189	0	00427	33734	1176	.
3&19	0	00257	29878	1006	.
3&190	0	00428	33759	1177	.
3&191	0	00429	33780	1178	.
3&192	0	00430	33802	1179	.
3&193	0	00431	33825	1180	.
3&194	0	00432	33849	1181	.
3&195	0	00433	33872	1182	.
3&196	0	00434	33894	1183	.
3&197	0	00435	33917	1184	.
3&198	0	00436	33941	1185	.
3&199	0	00437	33966	1186	.
3&2	0	00240	29526	989	.
3&20	0	00258	29899	1007	.
3&200	0	00438	33989	1187	.
3&21	0	00259	29919	1008	.
3&22	0	00260	29940	1009	.
3&23	0	00261	29962	1010	.
3&24	0	00262	29985	1011	.
3&25	0	00263	30007	1012	.
3&26	0	00264	30028	1013	.
3&27	0	00265	30050	1014	.
3&28	0	00266	30073	1015	.
3&29	0	00267	30097	1016	.
3&3	0	00241	29546	990	.
3&30	0	00268	30119	1017	.
3&31	0	00269	30140	1018	.
3&32	0	00270	30162	1019	.
3&33	0	00271	30185	1020	.
3&34	0	00272	30209	1021	.
3&35	0	00273	30232	1022	.
3&36	0	00274	30254	1023	.
3&37	0	00275	30277	1024	.
3&38	0	00276	30301	1025	.
3&39	0	00277	30326	1026	.
3&4	0	00242	29567	991	.
3&40	0	00278	30349	1027	.
3&41	0	00279	30369	1028	.
3&42	0	00280	30390	1029	.
3&43	0	00281	30412	1030	.
3&44	0	00282	30435	1031	.
3&45	0	00283	30457	1032	.
3&46	0	00284	30478	1033	.
3&47	0	00285	30500	1034	.
3&48	0	00286	30523	1035	.
3&49	0	00287	30547	1036	.
3&5	0	00243	29587	992	.
3&50	0	00288	30569	1037	.
3&51	0	00289	30588	1038	.
3&52	0	00290	30608	1039	.
3&53	0	00291	30629	1040	.
3&54	0	00292	30651	1041	.
3&55	0	00293	30672	1042	.
3&56	0	00294	30692	1043	.
3&57	0	00295	30713	1044	.
3&58	0	00296	30735	1045	.
3&59	0	00297	30758	1046	.
3&6	0	00244	29606	993	.
3&60	0	00298	30779	1047	.
3&61	0	00299	30799	1048	.
3&62	0	00300	30820	1049	.
3&63	0	00301	30842	1050	.
3&64	0	00302	30865	1051	.
3&65	0	00303	30887	1052	.
3&66	0	00304	30908	1053	.
3&67	0	00305	30930	1054	.
3&68	0	00306	30953	1055	.
3&69	0	00307	30977	1056	.
3&7	0	00245	29626	994	.
3&70	0	00308	30999	1057	.
3&71	0	00309	31020	1058	.
3&72	0	00310	31042	1059	.
3&73	0	00311	31065	1060	.
3&74	0	00312	31089	1061	.
3&75	0	00313	31112	1062	.
3&76	0	00314	31134	1063	.
3&77	0	00315	31157	1064	.
3&78	0	00316	31181	1065	.
3&79	0	00317	31206	1066	.
3&8	0	00246	29647	995	.
3&80	0	00318	31229	1067	.
3&81	0	00319	31251	1068	.
3&82	0	00320	31274	1069	.
3&83	0	00321	31298	1070	.
3&84	0	00322	31323	1071	.
3&85	0	00323	31347	1072	.
3&86	0	00324	31370	1073	.
3&87	0	00325	31394	1074	.
3&88	0	00326	31419	1075	.
3&89	0	00327	31445	1076	.
3&9	0	00247	29669	996	.
3&90	0	00328	31469	1077	.
3&91	0	00329	31489	1078	.
3&92	0	00330	31510	1079	.
3&93	0	00331	31532	1080	.
3&94	0	00332	31555	1081	.
3&95	0	00333	31577	1082	.
3&96	0	00334	31598	1083	.
3&97	0	00335	31620	1084	.
3&98	0	00336	31643	1085	.
3&99	0	00337	31667	1086	.
3&??	0	00238	29486	987	.
4&1	0	00440	34030	1191	.
4&10	0	00449	34192	1200	.
4&11	0	00450	34210	1201	.
4&12	0	00451	34228	1202	.
4&13	0	00452	34246	1203	.
4&14	0	00453	34264	1204	.
4&15	0	00454	34282	1205	.
4&16	0	00455	34300	1206	.
4&17	0	00456	34318	1207	.
4&18	0	00457	34336	1208	.
4&19	0	00458	34354	1209	.
4&2	0	00441	34048	1192	.
4&20	0	00459	34372	1210	.
4&21	0	00460	34390	1211	.
4&22	0	00461	34408	1212	.
4&23	0	00462	34426	1213	.
4&24	0	00463	34444	1214	.
4&25	0	00464	34462	1215	.
4&26	0	00465	34480	1216	.
4&27	0	00466	34498	1218	.
4&28	0	00467	35023	1238	.
4&29	0	00468	35552	1258	.
4&3	0	00442	34066	1193	.
4&4	0	00443	34084	1194	.
4&5	0	00444	34102	1195	.
4&6	0	00445	34120	1196	.
4&7	0	00446	34138	1197	.
4&8	0	00447	34156	1198	.
4&9	0	00448	34174	1199	.
4&??	0	00439	34009	1190	.
5&1	0	00470	36100	1279	.
5&10	0	00479	36271	1288	.
5&11	0	00480	36290	1289	.
5&12	0	00481	36309	1290	.
5&13	0	00482	36328	1291	.
5&14	0	00483	36347	1292	.
5&15	0	00484	36366	1293	.
5&16	0	00485	36385	1294	.
5&17	0	00486	36404	1295	.
5&18	0	00487	36423	1296	.
5&19	0	00488	36442	1297	.
5&2	0	00471	36119	1280	.
5&20	0	00489	36461	1298	.
5&21	0	00490	36480	1299	.
5&22	0	00491	36499	1300	.
5&23	0	00492	36518	1301	.
5&24	0	00493	36537	1302	.
5&25	0	00494	36556	1303	.
5&26	0	00495	36575	1304	.
5&27	0	00496	36594	1306	.
5&28	0	00497	37121	1326	.
5&29	0	00498	37652	1346	.
5&3	0	00472	36138	1281	.
5&4	0	00473	36157	1282	.
5&5	0	00474	36176	1283	.
5&6	0	00475	36195	1284	.
5&7	0	00476	36214	1285	.
5&8	0	00477	36233	1286	.
5&9	0	00478	36252	1287	.
5&??	0	00469	36079	1278	.
6&1	0	00499	38181	1367	.
6&10	0	00508	43694	1548	.
6&11	0	00509	44346	1568	.
6&12	0	00510	44959	1588	.
6&2	0	00500	38793	1387	.
6&3	0	00501	39432	1407	.
6&4	0	00502	40050	1427	.
6&5	0	00503	40646	1447	.
6&6	0	00504	41204	1467	.
6&7	0	00505	41799	1488	.
6&8	0	00506	42399	1508	.
6&9	0	00507	43016	1528	.
7&1	0	00511	45600	1609	.
7&10	0	00520	50638	1789	.
7&11	0	00521	51206	1809	.
7&12	0	00522	51742	1829	.
7&2	0	00512	46130	1629	.
7&3	0	00513	46686	1649	.
7&4	0	00514	47261	1669	.
7&5	0	00515	47811	1689	.
7&6	0	00516	48367	1709	.
7&7	0	00517	48944	1729	.
7&8	0	00518	49523	1749	.
7&9	0	00519	50069	1769	.
8&1	0	00523	52288	1850	.
8&2	0	00524	52985	1870	.
8&3	0	00525	53660	1890	.
8&4	0	00526	54302	1910	.
8&5	0	00527	55000	1930	.
8&6	0	00528	55654	1950	.
8&7	0	00529	56284	1970	.
9&1	0	00530	56959	1991	.
9&2	0	00531	57517	2011	.
9&3	0	00532	58042	2031	.
9&4	0	00533	58570	2051	.
9&5	0	00534	59097	2071	.
9&6	0	00535	59623	2091	.
9&7	0	00536	60166	2111	.