Index	ModelFamily	ModelType	ModelInstance	Examination	ID	Consensus	Solutions	Nupn	FormulaType
1	ARMCacheCoherence	PT	none	StateSpace	00	320570000	3	NUPN	UNKNOWN
2	ARMCacheCoherence	PT	none	StateSpace	02	1	3	NUPN	UNKNOWN
3	ARMCacheCoherence	PT	none	StateSpace	03	12	3	NUPN	UNKNOWN
4	AirplaneLD	COL	0010	StateSpace	00	43463	3	NONE	UNKNOWN
5	AirplaneLD	COL	0010	StateSpace	02	1	3	NONE	UNKNOWN
6	AirplaneLD	COL	0010	StateSpace	03	38	3	NONE	UNKNOWN
7	AirplaneLD	COL	0020	StateSpace	00	308300	3	NONE	UNKNOWN
8	AirplaneLD	COL	0020	StateSpace	02	1	3	NONE	UNKNOWN
9	AirplaneLD	COL	0020	StateSpace	03	68	3	NONE	UNKNOWN
10	AirplaneLD	COL	0050	StateSpace	00	4471200	3	NONE	UNKNOWN
11	AirplaneLD	COL	0050	StateSpace	02	1	3	NONE	UNKNOWN
12	AirplaneLD	COL	0050	StateSpace	03	158	3	NONE	UNKNOWN
13	AirplaneLD	COL	0100	StateSpace	00	34877000	3	NONE	UNKNOWN
14	AirplaneLD	COL	0100	StateSpace	02	1	3	NONE	UNKNOWN
15	AirplaneLD	COL	0100	StateSpace	03	308	3	NONE	UNKNOWN
16	AirplaneLD	COL	0200	StateSpace	00	275490000	3	NONE	UNKNOWN
17	AirplaneLD	COL	0200	StateSpace	02	1	3	NONE	UNKNOWN
18	AirplaneLD	COL	0200	StateSpace	03	608	3	NONE	UNKNOWN
19	AirplaneLD	COL	0500	StateSpace	00	4271800000	3	NONE	UNKNOWN
20	AirplaneLD	COL	0500	StateSpace	02	1	3	NONE	UNKNOWN
21	AirplaneLD	COL	0500	StateSpace	03	1508	3	NONE	UNKNOWN
22	AirplaneLD	COL	1000	StateSpace	00	34087000000	2	NONE	UNKNOWN
23	AirplaneLD	COL	1000	StateSpace	02	1	2	NONE	UNKNOWN
24	AirplaneLD	COL	1000	StateSpace	03	3008	2	NONE	UNKNOWN
25	AirplaneLD	COL	2000	StateSpace	00	272350000000	2	NONE	UNKNOWN
26	AirplaneLD	COL	2000	StateSpace	02	1	2	NONE	UNKNOWN
27	AirplaneLD	COL	2000	StateSpace	03	6008	2	NONE	UNKNOWN
28	AirplaneLD	COL	4000	StateSpace	00	2177400000000	2	NONE	UNKNOWN
29	AirplaneLD	COL	4000	StateSpace	02	1	2	NONE	UNKNOWN
30	AirplaneLD	COL	4000	StateSpace	03	12008	2	NONE	UNKNOWN
31	AirplaneLD	PT	0010	StateSpace	00	43463	3	GEN	UNKNOWN
32	AirplaneLD	PT	0010	StateSpace	02	1	3	GEN	UNKNOWN
33	AirplaneLD	PT	0010	StateSpace	03	38	3	GEN	UNKNOWN
34	AirplaneLD	PT	0020	StateSpace	00	308300	3	GEN	UNKNOWN
35	AirplaneLD	PT	0020	StateSpace	02	1	3	GEN	UNKNOWN
36	AirplaneLD	PT	0020	StateSpace	03	68	3	GEN	UNKNOWN
37	AirplaneLD	PT	0050	StateSpace	00	4471200	3	GEN	UNKNOWN
38	AirplaneLD	PT	0050	StateSpace	02	1	3	GEN	UNKNOWN
39	AirplaneLD	PT	0050	StateSpace	03	158	3	GEN	UNKNOWN
40	AirplaneLD	PT	0100	StateSpace	00	34877000	3	GEN	UNKNOWN
41	AirplaneLD	PT	0100	StateSpace	02	1	3	GEN	UNKNOWN
42	AirplaneLD	PT	0100	StateSpace	03	308	3	GEN	UNKNOWN
43	AirplaneLD	PT	0200	StateSpace	00	275490000	3	GEN	UNKNOWN
44	AirplaneLD	PT	0200	StateSpace	02	1	3	GEN	UNKNOWN
45	AirplaneLD	PT	0200	StateSpace	03	608	3	GEN	UNKNOWN
46	AirplaneLD	PT	0500	StateSpace	00	4271800000	3	GEN	UNKNOWN
47	AirplaneLD	PT	0500	StateSpace	02	1	3	GEN	UNKNOWN
48	AirplaneLD	PT	0500	StateSpace	03	1508	3	GEN	UNKNOWN
49	AirplaneLD	PT	1000	StateSpace	00	34087000000	3	GEN	UNKNOWN
50	AirplaneLD	PT	1000	StateSpace	02	1	3	GEN	UNKNOWN
51	AirplaneLD	PT	1000	StateSpace	03	3008	3	GEN	UNKNOWN
52	AirplaneLD	PT	2000	StateSpace	00	272350000000	3	GEN	UNKNOWN
53	AirplaneLD	PT	2000	StateSpace	02	1	3	GEN	UNKNOWN
54	AirplaneLD	PT	2000	StateSpace	03	6008	3	GEN	UNKNOWN
55	AirplaneLD	PT	4000	StateSpace	00	2177400000000	2	GEN	UNKNOWN
56	AirplaneLD	PT	4000	StateSpace	02	1	2	GEN	UNKNOWN
57	AirplaneLD	PT	4000	StateSpace	03	12008	2	GEN	UNKNOWN
58	Angiogenesis	PT	01	StateSpace	00	110	3	GEN	UNKNOWN
59	Angiogenesis	PT	01	StateSpace	02	1	3	GEN	UNKNOWN
60	Angiogenesis	PT	01	StateSpace	03	8	3	GEN	UNKNOWN
61	Angiogenesis	PT	05	StateSpace	00	42735000	3	NONE	UNKNOWN
62	Angiogenesis	PT	05	StateSpace	02	5	3	NONE	UNKNOWN
63	Angiogenesis	PT	05	StateSpace	03	40	3	NONE	UNKNOWN
64	Angiogenesis	PT	10	StateSpace	00	822650000000	3	NONE	UNKNOWN
65	Angiogenesis	PT	10	StateSpace	02	10	3	NONE	UNKNOWN
66	Angiogenesis	PT	10	StateSpace	03	80	3	NONE	UNKNOWN
67	Angiogenesis	PT	15	StateSpace	00	11155e11	3	NONE	UNKNOWN
68	Angiogenesis	PT	15	StateSpace	02	15	3	NONE	UNKNOWN
69	Angiogenesis	PT	15	StateSpace	03	120	3	NONE	UNKNOWN
70	Angiogenesis	PT	20	StateSpace	00	35182e13	3	NONE	UNKNOWN
71	Angiogenesis	PT	20	StateSpace	02	20	3	NONE	UNKNOWN
72	Angiogenesis	PT	20	StateSpace	03	160	3	NONE	UNKNOWN
73	AutoFlight	PT	01a	StateSpace	00	253	3	NUPN	UNKNOWN
74	AutoFlight	PT	01a	StateSpace	02	1	3	NUPN	UNKNOWN
75	AutoFlight	PT	01a	StateSpace	03	9	3	NUPN	UNKNOWN
76	AutoFlight	PT	01b	StateSpace	00	48882000	3	NUPN	UNKNOWN
77	AutoFlight	PT	01b	StateSpace	02	1	3	NUPN	UNKNOWN
78	AutoFlight	PT	01b	StateSpace	03	9	3	NUPN	UNKNOWN
79	AutoFlight	PT	02a	StateSpace	00	6949	3	NUPN	UNKNOWN
80	AutoFlight	PT	02a	StateSpace	02	1	3	NUPN	UNKNOWN
81	AutoFlight	PT	02a	StateSpace	03	15	3	NUPN	UNKNOWN
82	AutoFlight	PT	02b	StateSpace	00	16155000000000	3	NUPN	UNKNOWN
83	AutoFlight	PT	02b	StateSpace	02	1	3	NUPN	UNKNOWN
84	AutoFlight	PT	02b	StateSpace	03	15	3	NUPN	UNKNOWN
85	AutoFlight	PT	03a	StateSpace	00	157680	3	NUPN	UNKNOWN
86	AutoFlight	PT	03a	StateSpace	02	1	3	NUPN	UNKNOWN
87	AutoFlight	PT	03a	StateSpace	03	21	3	NUPN	UNKNOWN
88	AutoFlight	PT	03b	StateSpace	00	40962e14	3	NUPN	UNKNOWN
89	AutoFlight	PT	03b	StateSpace	02	1	3	NUPN	UNKNOWN
90	AutoFlight	PT	03b	StateSpace	03	21	3	NUPN	UNKNOWN
91	AutoFlight	PT	04a	StateSpace	00	3332000	3	NUPN	UNKNOWN
92	AutoFlight	PT	04a	StateSpace	02	1	3	NUPN	UNKNOWN
93	AutoFlight	PT	04a	StateSpace	03	27	3	NUPN	UNKNOWN
94	AutoFlight	PT	05a	StateSpace	00	68180000	3	NUPN	UNKNOWN
95	AutoFlight	PT	05a	StateSpace	02	1	3	NUPN	UNKNOWN
96	AutoFlight	PT	05a	StateSpace	03	33	3	NUPN	UNKNOWN
97	AutoFlight	PT	06a	StateSpace	00	1371900000	3	NUPN	UNKNOWN
98	AutoFlight	PT	06a	StateSpace	02	1	3	NUPN	UNKNOWN
99	AutoFlight	PT	06a	StateSpace	03	39	3	NUPN	UNKNOWN
100	AutoFlight	PT	12a	StateSpace	00	78221e12	3	NUPN	UNKNOWN
101	AutoFlight	PT	12a	StateSpace	02	1	3	NUPN	UNKNOWN
102	AutoFlight	PT	12a	StateSpace	03	75	3	NUPN	UNKNOWN
103	AutoFlight	PT	24a	StateSpace	00	16997e28	3	NUPN	UNKNOWN
104	AutoFlight	PT	24a	StateSpace	02	1	3	NUPN	UNKNOWN
105	AutoFlight	PT	24a	StateSpace	03	147	3	NUPN	UNKNOWN
106	AutoFlight	PT	48a	StateSpace	00	16136000000000002e35	3	NUPN	UNKNOWN
107	AutoFlight	PT	48a	StateSpace	02	1	3	NUPN	UNKNOWN
108	AutoFlight	PT	48a	StateSpace	03	257	3	NUPN	UNKNOWN
109	BART	COL	002	StateSpace	00	17424	2	NONE	UNKNOWN
110	BART	COL	002	StateSpace	02	1	2	NONE	UNKNOWN
111	BART	COL	002	StateSpace	03	274	2	NONE	UNKNOWN
112	BART	COL	005	StateSpace	00	40075000000	2	NONE	UNKNOWN
113	BART	COL	005	StateSpace	02	1	2	NONE	UNKNOWN
114	BART	COL	005	StateSpace	03	277	2	NONE	UNKNOWN
115	BART	COL	010	StateSpace	00	1606e18	2	NONE	UNKNOWN
116	BART	COL	010	StateSpace	02	1	2	NONE	UNKNOWN
117	BART	COL	010	StateSpace	03	282	2	NONE	UNKNOWN
118	BART	COL	020	StateSpace	00	25792e38	2	NONE	UNKNOWN
119	BART	COL	020	StateSpace	02	1	2	NONE	UNKNOWN
120	BART	COL	020	StateSpace	03	292	2	NONE	UNKNOWN
121	BART	COL	030	StateSpace	00	41421000000000004e47	2	NONE	UNKNOWN
122	BART	COL	030	StateSpace	02	1	2	NONE	UNKNOWN
123	BART	COL	030	StateSpace	03	302	2	NONE	UNKNOWN
124	BART	COL	040	StateSpace	00	66521e80	2	NONE	UNKNOWN
125	BART	COL	040	StateSpace	02	1	2	NONE	UNKNOWN
126	BART	COL	040	StateSpace	03	312	2	NONE	UNKNOWN
127	BART	COL	050	StateSpace	00	10683e102	2	NONE	UNKNOWN
128	BART	COL	050	StateSpace	02	1	2	NONE	UNKNOWN
129	BART	COL	050	StateSpace	03	322	2	NONE	UNKNOWN
130	BART	COL	060	StateSpace	00	17157000000000001e111	2	NONE	UNKNOWN
131	BART	COL	060	StateSpace	02	1	2	NONE	UNKNOWN
132	BART	COL	060	StateSpace	03	332	2	NONE	UNKNOWN
133	BART	PT	002	StateSpace	00	17424	3	GEN	UNKNOWN
134	BART	PT	002	StateSpace	02	1	3	GEN	UNKNOWN
135	BART	PT	002	StateSpace	03	212	3	GEN	UNKNOWN
136	BART	PT	005	StateSpace	00	40075000000	3	GEN	UNKNOWN
137	BART	PT	005	StateSpace	02	1	3	GEN	UNKNOWN
138	BART	PT	005	StateSpace	03	215	3	GEN	UNKNOWN
139	BridgeAndVehicles	COL	V04P05N02	StateSpace	00	2874	3	NONE	UNKNOWN
140	BridgeAndVehicles	COL	V04P05N02	StateSpace	02	5	3	NONE	UNKNOWN
141	BridgeAndVehicles	COL	V04P05N02	StateSpace	03	17	3	NONE	UNKNOWN
142	BridgeAndVehicles	COL	V10P10N10	StateSpace	00	259560	3	NONE	UNKNOWN
143	BridgeAndVehicles	COL	V10P10N10	StateSpace	02	10	3	NONE	UNKNOWN
144	BridgeAndVehicles	COL	V10P10N10	StateSpace	03	34	3	NONE	UNKNOWN
145	BridgeAndVehicles	COL	V20P10N10	StateSpace	00	6732600	3	NONE	UNKNOWN
146	BridgeAndVehicles	COL	V20P10N10	StateSpace	02	20	3	NONE	UNKNOWN
147	BridgeAndVehicles	COL	V20P10N10	StateSpace	03	54	3	NONE	UNKNOWN
148	BridgeAndVehicles	COL	V20P10N20	StateSpace	00	9076300	3	NONE	UNKNOWN
149	BridgeAndVehicles	COL	V20P10N20	StateSpace	02	20	3	NONE	UNKNOWN
150	BridgeAndVehicles	COL	V20P10N20	StateSpace	03	54	3	NONE	UNKNOWN
151	BridgeAndVehicles	COL	V20P10N50	StateSpace	00	9080900	3	NONE	UNKNOWN
152	BridgeAndVehicles	COL	V20P10N50	StateSpace	02	20	3	NONE	UNKNOWN
153	BridgeAndVehicles	COL	V20P10N50	StateSpace	03	54	3	NONE	UNKNOWN
154	BridgeAndVehicles	COL	V20P20N10	StateSpace	00	6732600	3	NONE	UNKNOWN
155	BridgeAndVehicles	COL	V20P20N10	StateSpace	02	20	3	NONE	UNKNOWN
156	BridgeAndVehicles	COL	V20P20N10	StateSpace	03	64	3	NONE	UNKNOWN
157	BridgeAndVehicles	COL	V20P20N20	StateSpace	00	9783600	3	NONE	UNKNOWN
158	BridgeAndVehicles	COL	V20P20N20	StateSpace	02	20	3	NONE	UNKNOWN
159	BridgeAndVehicles	COL	V20P20N20	StateSpace	03	64	3	NONE	UNKNOWN
160	BridgeAndVehicles	COL	V20P20N50	StateSpace	00	9792300	3	NONE	UNKNOWN
161	BridgeAndVehicles	COL	V20P20N50	StateSpace	02	20	3	NONE	UNKNOWN
162	BridgeAndVehicles	COL	V20P20N50	StateSpace	03	64	3	NONE	UNKNOWN
163	BridgeAndVehicles	PT	V04P05N02	StateSpace	00	2874	3	NONE	UNKNOWN
164	BridgeAndVehicles	PT	V04P05N02	StateSpace	02	5	3	NONE	UNKNOWN
165	BridgeAndVehicles	PT	V04P05N02	StateSpace	03	17	3	NONE	UNKNOWN
166	BridgeAndVehicles	PT	V10P10N10	StateSpace	00	259560	3	NONE	UNKNOWN
167	BridgeAndVehicles	PT	V10P10N10	StateSpace	02	10	3	NONE	UNKNOWN
168	BridgeAndVehicles	PT	V10P10N10	StateSpace	03	34	3	NONE	UNKNOWN
169	BridgeAndVehicles	PT	V20P10N10	StateSpace	00	6732600	3	NONE	UNKNOWN
170	BridgeAndVehicles	PT	V20P10N10	StateSpace	02	20	3	NONE	UNKNOWN
171	BridgeAndVehicles	PT	V20P10N10	StateSpace	03	54	3	NONE	UNKNOWN
172	BridgeAndVehicles	PT	V20P20N10	StateSpace	00	6732600	3	NONE	UNKNOWN
173	BridgeAndVehicles	PT	V20P20N10	StateSpace	02	20	3	NONE	UNKNOWN
174	BridgeAndVehicles	PT	V20P20N10	StateSpace	03	64	3	NONE	UNKNOWN
175	CSRepetitions	COL	02	StateSpace	00	7424	3	NONE	UNKNOWN
176	CSRepetitions	COL	02	StateSpace	02	2	3	NONE	UNKNOWN
177	CSRepetitions	COL	02	StateSpace	03	8	3	NONE	UNKNOWN
178	CSRepetitions	COL	03	StateSpace	00	134070000	3	NONE	UNKNOWN
179	CSRepetitions	COL	03	StateSpace	02	3	3	NONE	UNKNOWN
180	CSRepetitions	COL	03	StateSpace	03	15	3	NONE	UNKNOWN
181	CSRepetitions	COL	04	StateSpace	00	30948000000000	3	NONE	UNKNOWN
182	CSRepetitions	COL	04	StateSpace	02	4	3	NONE	UNKNOWN
183	CSRepetitions	COL	04	StateSpace	03	24	3	NONE	UNKNOWN
184	CSRepetitions	PT	02	StateSpace	00	7424	3	NONE	UNKNOWN
185	CSRepetitions	PT	02	StateSpace	02	2	3	NONE	UNKNOWN
186	CSRepetitions	PT	02	StateSpace	03	8	3	NONE	UNKNOWN
187	CSRepetitions	PT	03	StateSpace	00	134070000	3	NONE	UNKNOWN
188	CSRepetitions	PT	03	StateSpace	02	3	3	NONE	UNKNOWN
189	CSRepetitions	PT	03	StateSpace	03	15	3	NONE	UNKNOWN
190	CSRepetitions	PT	04	StateSpace	00	30948000000000	3	NONE	UNKNOWN
191	CSRepetitions	PT	04	StateSpace	02	4	3	NONE	UNKNOWN
192	CSRepetitions	PT	04	StateSpace	03	24	3	NONE	UNKNOWN
193	CircadianClock	PT	000001	StateSpace	00	128	3	GEN	UNKNOWN
194	CircadianClock	PT	000001	StateSpace	02	1	3	GEN	UNKNOWN
195	CircadianClock	PT	000001	StateSpace	03	7	3	GEN	UNKNOWN
196	CircadianClock	PT	000010	StateSpace	00	644200	3	NONE	UNKNOWN
197	CircadianClock	PT	000010	StateSpace	02	10	3	NONE	UNKNOWN
198	CircadianClock	PT	000010	StateSpace	03	52	3	NONE	UNKNOWN
199	CircadianClock	PT	000100	StateSpace	00	42040000000	3	NONE	UNKNOWN
200	CircadianClock	PT	000100	StateSpace	02	100	3	NONE	UNKNOWN
201	CircadianClock	PT	000100	StateSpace	03	502	3	NONE	UNKNOWN
202	CircadianClock	PT	001000	StateSpace	00	402e13	3	NONE	UNKNOWN
203	CircadianClock	PT	001000	StateSpace	02	1000	3	NONE	UNKNOWN
204	CircadianClock	PT	001000	StateSpace	03	5002	3	NONE	UNKNOWN
205	CircularTrains	PT	012	StateSpace	00	195	3	NONE	UNKNOWN
206	CircularTrains	PT	012	StateSpace	02	2	3	NONE	UNKNOWN
207	CircularTrains	PT	012	StateSpace	03	12	3	NONE	UNKNOWN
208	CircularTrains	PT	024	StateSpace	00	86515	3	NONE	UNKNOWN
209	CircularTrains	PT	024	StateSpace	02	2	3	NONE	UNKNOWN
210	CircularTrains	PT	024	StateSpace	03	24	3	NONE	UNKNOWN
211	CircularTrains	PT	048	StateSpace	00	23973000000	3	NONE	UNKNOWN
212	CircularTrains	PT	048	StateSpace	02	2	3	NONE	UNKNOWN
213	CircularTrains	PT	048	StateSpace	03	48	3	NONE	UNKNOWN
214	CircularTrains	PT	096	StateSpace	00	25913e17	3	NONE	UNKNOWN
215	CircularTrains	PT	096	StateSpace	02	2	3	NONE	UNKNOWN
216	CircularTrains	PT	096	StateSpace	03	96	3	NONE	UNKNOWN
217	CircularTrains	PT	192	StateSpace	00	42702000000000003e27	3	NONE	UNKNOWN
218	CircularTrains	PT	192	StateSpace	02	2	3	NONE	UNKNOWN
219	CircularTrains	PT	192	StateSpace	03	192	3	NONE	UNKNOWN
220	CircularTrains	PT	384	StateSpace	00	16377000000000002e72	3	NONE	UNKNOWN
221	CircularTrains	PT	384	StateSpace	02	2	3	NONE	UNKNOWN
222	CircularTrains	PT	384	StateSpace	03	384	3	NONE	UNKNOWN
223	CircularTrains	PT	768	StateSpace	00	34039000000000003e161	3	NONE	UNKNOWN
224	CircularTrains	PT	768	StateSpace	02	2	3	NONE	UNKNOWN
225	CircularTrains	PT	768	StateSpace	03	768	3	NONE	UNKNOWN
226	ClientsAndServers	PT	N0001P0	StateSpace	00	27576	3	NONE	UNKNOWN
227	ClientsAndServers	PT	N0001P0	StateSpace	02	8	3	NONE	UNKNOWN
228	ClientsAndServers	PT	N0001P0	StateSpace	03	25	3	NONE	UNKNOWN
229	ClientsAndServers	PT	N0002P0	StateSpace	00	7081600	3	NONE	UNKNOWN
230	ClientsAndServers	PT	N0002P0	StateSpace	02	16	3	NONE	UNKNOWN
231	ClientsAndServers	PT	N0002P0	StateSpace	03	50	3	NONE	UNKNOWN
232	ClientsAndServers	PT	N0002P1	StateSpace	00	12462000	3	NONE	UNKNOWN
233	ClientsAndServers	PT	N0002P1	StateSpace	02	16	3	NONE	UNKNOWN
234	ClientsAndServers	PT	N0002P1	StateSpace	03	55	3	NONE	UNKNOWN
235	ClientsAndServers	PT	N0005P0	StateSpace	00	125510000000	3	NONE	UNKNOWN
236	ClientsAndServers	PT	N0005P0	StateSpace	02	40	3	NONE	UNKNOWN
237	ClientsAndServers	PT	N0005P0	StateSpace	03	125	3	NONE	UNKNOWN
238	ClientsAndServers	PT	N0005P1	StateSpace	00	211710000000	3	NONE	UNKNOWN
239	ClientsAndServers	PT	N0005P1	StateSpace	02	40	3	NONE	UNKNOWN
240	ClientsAndServers	PT	N0005P1	StateSpace	03	130	3	NONE	UNKNOWN
241	CloudDeployment	PT	2a	StateSpace	00	4807	3	NUPN	UNKNOWN
242	CloudDeployment	PT	2a	StateSpace	02	1	3	NUPN	UNKNOWN
243	CloudDeployment	PT	2a	StateSpace	03	9	3	NUPN	UNKNOWN
244	CloudDeployment	PT	2b	StateSpace	00	167660000000	3	NUPN	UNKNOWN
245	CloudDeployment	PT	2b	StateSpace	02	1	3	NUPN	UNKNOWN
246	CloudDeployment	PT	2b	StateSpace	03	9	3	NUPN	UNKNOWN
247	CloudDeployment	PT	3a	StateSpace	00	190100	3	NUPN	UNKNOWN
248	CloudDeployment	PT	3a	StateSpace	02	1	3	NUPN	UNKNOWN
249	CloudDeployment	PT	3a	StateSpace	03	13	3	NUPN	UNKNOWN
250	CloudDeployment	PT	3b	StateSpace	00	74567e12	3	NUPN	UNKNOWN
251	CloudDeployment	PT	3b	StateSpace	02	1	3	NUPN	UNKNOWN
252	CloudDeployment	PT	3b	StateSpace	03	13	3	NUPN	UNKNOWN
253	CloudDeployment	PT	4a	StateSpace	00	7091000	3	NUPN	UNKNOWN
254	CloudDeployment	PT	4a	StateSpace	02	1	3	NUPN	UNKNOWN
255	CloudDeployment	PT	4a	StateSpace	03	17	3	NUPN	UNKNOWN
256	CloudDeployment	PT	5a	StateSpace	00	248830000	3	NUPN	UNKNOWN
257	CloudDeployment	PT	5a	StateSpace	02	1	3	NUPN	UNKNOWN
258	CloudDeployment	PT	5a	StateSpace	03	21	3	NUPN	UNKNOWN
259	CloudDeployment	PT	6a	StateSpace	00	8304700000	3	NUPN	UNKNOWN
260	CloudDeployment	PT	6a	StateSpace	02	1	3	NUPN	UNKNOWN
261	CloudDeployment	PT	6a	StateSpace	03	25	3	NUPN	UNKNOWN
262	CloudDeployment	PT	7a	StateSpace	00	266480000000	3	NUPN	UNKNOWN
263	CloudDeployment	PT	7a	StateSpace	02	1	3	NUPN	UNKNOWN
264	CloudDeployment	PT	7a	StateSpace	03	29	3	NUPN	UNKNOWN
265	CloudReconfiguration	PT	301	StateSpace	00	131970000000	3	NUPN	UNKNOWN
266	CloudReconfiguration	PT	301	StateSpace	02	1	3	NUPN	UNKNOWN
267	CloudReconfiguration	PT	301	StateSpace	03	5	3	NUPN	UNKNOWN
268	CloudReconfiguration	PT	302	StateSpace	00	202540000000	3	NUPN	UNKNOWN
269	CloudReconfiguration	PT	302	StateSpace	02	1	3	NUPN	UNKNOWN
270	CloudReconfiguration	PT	302	StateSpace	03	5	3	NUPN	UNKNOWN
271	CloudReconfiguration	PT	303	StateSpace	00	55244000000	3	NUPN	UNKNOWN
272	CloudReconfiguration	PT	303	StateSpace	02	1	3	NUPN	UNKNOWN
273	CloudReconfiguration	PT	303	StateSpace	03	5	3	NUPN	UNKNOWN
274	CloudReconfiguration	PT	304	StateSpace	00	131970000000	3	NUPN	UNKNOWN
275	CloudReconfiguration	PT	304	StateSpace	02	1	3	NUPN	UNKNOWN
276	CloudReconfiguration	PT	304	StateSpace	03	5	3	NUPN	UNKNOWN
277	CloudReconfiguration	PT	305	StateSpace	00	131390000000	3	NUPN	UNKNOWN
278	CloudReconfiguration	PT	305	StateSpace	02	1	3	NUPN	UNKNOWN
279	CloudReconfiguration	PT	305	StateSpace	03	5	3	NUPN	UNKNOWN
280	CloudReconfiguration	PT	306	StateSpace	00	55244000000	3	NUPN	UNKNOWN
281	CloudReconfiguration	PT	306	StateSpace	02	1	3	NUPN	UNKNOWN
282	CloudReconfiguration	PT	306	StateSpace	03	5	3	NUPN	UNKNOWN
283	CloudReconfiguration	PT	307	StateSpace	00	69905000000	3	NUPN	UNKNOWN
284	CloudReconfiguration	PT	307	StateSpace	02	1	3	NUPN	UNKNOWN
285	CloudReconfiguration	PT	307	StateSpace	03	5	3	NUPN	UNKNOWN
286	CloudReconfiguration	PT	308	StateSpace	00	202540000000	3	NUPN	UNKNOWN
287	CloudReconfiguration	PT	308	StateSpace	02	1	3	NUPN	UNKNOWN
288	CloudReconfiguration	PT	308	StateSpace	03	5	3	NUPN	UNKNOWN
289	CloudReconfiguration	PT	309	StateSpace	00	202540000000	3	NUPN	UNKNOWN
290	CloudReconfiguration	PT	309	StateSpace	02	1	3	NUPN	UNKNOWN
291	CloudReconfiguration	PT	309	StateSpace	03	5	3	NUPN	UNKNOWN
292	CloudReconfiguration	PT	310	StateSpace	00	131390000000	3	NUPN	UNKNOWN
293	CloudReconfiguration	PT	310	StateSpace	02	1	3	NUPN	UNKNOWN
294	CloudReconfiguration	PT	310	StateSpace	03	5	3	NUPN	UNKNOWN
295	CloudReconfiguration	PT	311	StateSpace	00	107680000000	3	NUPN	UNKNOWN
296	CloudReconfiguration	PT	311	StateSpace	02	1	3	NUPN	UNKNOWN
297	CloudReconfiguration	PT	311	StateSpace	03	5	3	NUPN	UNKNOWN
298	CloudReconfiguration	PT	312	StateSpace	00	202540000000	3	NUPN	UNKNOWN
299	CloudReconfiguration	PT	312	StateSpace	02	1	3	NUPN	UNKNOWN
300	CloudReconfiguration	PT	312	StateSpace	03	5	3	NUPN	UNKNOWN
301	CloudReconfiguration	PT	313	StateSpace	00	202540000000	3	NUPN	UNKNOWN
302	CloudReconfiguration	PT	313	StateSpace	02	1	3	NUPN	UNKNOWN
303	CloudReconfiguration	PT	313	StateSpace	03	5	3	NUPN	UNKNOWN
304	CloudReconfiguration	PT	314	StateSpace	00	107680000000	3	NUPN	UNKNOWN
305	CloudReconfiguration	PT	314	StateSpace	02	1	3	NUPN	UNKNOWN
306	CloudReconfiguration	PT	314	StateSpace	03	5	3	NUPN	UNKNOWN
307	CloudReconfiguration	PT	315	StateSpace	00	131390000000	3	NUPN	UNKNOWN
308	CloudReconfiguration	PT	315	StateSpace	02	1	3	NUPN	UNKNOWN
309	CloudReconfiguration	PT	315	StateSpace	03	5	3	NUPN	UNKNOWN
310	CloudReconfiguration	PT	316	StateSpace	00	131390000000	3	NUPN	UNKNOWN
311	CloudReconfiguration	PT	316	StateSpace	02	1	3	NUPN	UNKNOWN
312	CloudReconfiguration	PT	316	StateSpace	03	5	3	NUPN	UNKNOWN
313	CloudReconfiguration	PT	317	StateSpace	00	172720000000	3	NUPN	UNKNOWN
314	CloudReconfiguration	PT	317	StateSpace	02	1	3	NUPN	UNKNOWN
315	CloudReconfiguration	PT	317	StateSpace	03	5	3	NUPN	UNKNOWN
316	CloudReconfiguration	PT	318	StateSpace	00	286130000000	3	NUPN	UNKNOWN
317	CloudReconfiguration	PT	318	StateSpace	02	1	3	NUPN	UNKNOWN
318	CloudReconfiguration	PT	318	StateSpace	03	5	3	NUPN	UNKNOWN
319	CloudReconfiguration	PT	319	StateSpace	00	131400000000	3	NUPN	UNKNOWN
320	CloudReconfiguration	PT	319	StateSpace	02	1	3	NUPN	UNKNOWN
321	CloudReconfiguration	PT	319	StateSpace	03	5	3	NUPN	UNKNOWN
322	CloudReconfiguration	PT	320	StateSpace	00	185470000000	3	NUPN	UNKNOWN
323	CloudReconfiguration	PT	320	StateSpace	02	1	3	NUPN	UNKNOWN
324	CloudReconfiguration	PT	320	StateSpace	03	5	3	NUPN	UNKNOWN
325	CloudReconfiguration	PT	401	StateSpace	00	192940000000000	3	NUPN	UNKNOWN
326	CloudReconfiguration	PT	401	StateSpace	02	1	3	NUPN	UNKNOWN
327	CloudReconfiguration	PT	401	StateSpace	03	6	3	NUPN	UNKNOWN
328	CloudReconfiguration	PT	402	StateSpace	00	192940000000000	3	NUPN	UNKNOWN
329	CloudReconfiguration	PT	402	StateSpace	02	1	3	NUPN	UNKNOWN
330	CloudReconfiguration	PT	402	StateSpace	03	6	3	NUPN	UNKNOWN
331	DES	PT	00a	StateSpace	00	24197000000	3	NUPN	UNKNOWN
332	DES	PT	00a	StateSpace	02	1	3	NUPN	UNKNOWN
333	DES	PT	00a	StateSpace	03	47	3	NUPN	UNKNOWN
334	DES	PT	00b	StateSpace	00	24601e15	3	NUPN	UNKNOWN
335	DES	PT	00b	StateSpace	02	1	3	NUPN	UNKNOWN
336	DES	PT	00b	StateSpace	03	47	3	NUPN	UNKNOWN
337	DES	PT	01a	StateSpace	00	108580000	3	NUPN	UNKNOWN
338	DES	PT	01a	StateSpace	02	1	3	NUPN	UNKNOWN
339	DES	PT	01a	StateSpace	03	48	3	NUPN	UNKNOWN
340	DES	PT	01b	StateSpace	00	20127e13	3	NUPN	UNKNOWN
341	DES	PT	01b	StateSpace	02	1	3	NUPN	UNKNOWN
342	DES	PT	01b	StateSpace	03	51	3	NUPN	UNKNOWN
343	DES	PT	02a	StateSpace	00	4953200000	3	NUPN	UNKNOWN
344	DES	PT	02a	StateSpace	02	1	3	NUPN	UNKNOWN
345	DES	PT	02a	StateSpace	03	51	3	NUPN	UNKNOWN
346	DES	PT	02b	StateSpace	00	71021e14	3	NUPN	UNKNOWN
347	DES	PT	02b	StateSpace	02	1	3	NUPN	UNKNOWN
348	DES	PT	02b	StateSpace	03	51	3	NUPN	UNKNOWN
349	DES	PT	05a	StateSpace	00	231000000000	3	NUPN	UNKNOWN
350	DES	PT	05a	StateSpace	02	1	3	NUPN	UNKNOWN
351	DES	PT	05a	StateSpace	03	51	3	NUPN	UNKNOWN
352	DES	PT	10a	StateSpace	00	1600300000000	3	NUPN	UNKNOWN
353	DES	PT	10a	StateSpace	02	1	3	NUPN	UNKNOWN
354	DES	PT	10a	StateSpace	03	51	3	NUPN	UNKNOWN
355	DES	PT	20a	StateSpace	00	7969300000000	3	NUPN	UNKNOWN
356	DES	PT	20a	StateSpace	02	1	3	NUPN	UNKNOWN
357	DES	PT	20a	StateSpace	03	51	3	NUPN	UNKNOWN
358	DLCround	PT	03a	StateSpace	00	24010000	3	NUPN	UNKNOWN
359	DLCround	PT	03a	StateSpace	02	1	3	NUPN	UNKNOWN
360	DLCround	PT	03a	StateSpace	03	52	3	NUPN	UNKNOWN
361	DLCround	PT	04a	StateSpace	00	240100000	3	NUPN	UNKNOWN
362	DLCround	PT	04a	StateSpace	02	1	3	NUPN	UNKNOWN
363	DLCround	PT	04a	StateSpace	03	69	3	NUPN	UNKNOWN
364	DLCround	PT	05a	StateSpace	00	2401000000	3	NUPN	UNKNOWN
365	DLCround	PT	05a	StateSpace	02	1	3	NUPN	UNKNOWN
366	DLCround	PT	05a	StateSpace	03	88	3	NUPN	UNKNOWN
367	DLCround	PT	06a	StateSpace	00	24010000000	3	NUPN	UNKNOWN
368	DLCround	PT	06a	StateSpace	02	1	3	NUPN	UNKNOWN
369	DLCround	PT	06a	StateSpace	03	109	3	NUPN	UNKNOWN
370	DLCround	PT	07a	StateSpace	00	240100000000	3	NUPN	UNKNOWN
371	DLCround	PT	07a	StateSpace	02	1	3	NUPN	UNKNOWN
372	DLCround	PT	07a	StateSpace	03	132	3	NUPN	UNKNOWN
373	DLCround	PT	08a	StateSpace	00	2401000000000	3	NUPN	UNKNOWN
374	DLCround	PT	08a	StateSpace	02	1	3	NUPN	UNKNOWN
375	DLCround	PT	08a	StateSpace	03	157	3	NUPN	UNKNOWN
376	DLCround	PT	09a	StateSpace	00	24010000000000	3	NUPN	UNKNOWN
377	DLCround	PT	09a	StateSpace	02	1	3	NUPN	UNKNOWN
378	DLCround	PT	09a	StateSpace	03	184	3	NUPN	UNKNOWN
379	DLCround	PT	10a	StateSpace	00	240100000000000	3	NUPN	UNKNOWN
380	DLCround	PT	10a	StateSpace	02	1	3	NUPN	UNKNOWN
381	DLCround	PT	10a	StateSpace	03	213	3	NUPN	UNKNOWN
382	DLCround	PT	11a	StateSpace	00	2401e12	3	NUPN	UNKNOWN
383	DLCround	PT	11a	StateSpace	02	1	3	NUPN	UNKNOWN
384	DLCround	PT	11a	StateSpace	03	244	3	NUPN	UNKNOWN
385	DLCround	PT	12a	StateSpace	00	2401e13	3	NUPN	UNKNOWN
386	DLCround	PT	12a	StateSpace	02	1	3	NUPN	UNKNOWN
387	DLCround	PT	12a	StateSpace	03	277	3	NUPN	UNKNOWN
388	DLCround	PT	13a	StateSpace	00	2401e14	3	NUPN	UNKNOWN
389	DLCround	PT	13a	StateSpace	02	1	3	NUPN	UNKNOWN
390	DLCround	PT	13a	StateSpace	03	312	3	NUPN	UNKNOWN
391	DLCshifumi	PT	2a	StateSpace	00	474760000000000	3	NUPN	UNKNOWN
392	DLCshifumi	PT	2a	StateSpace	02	1	3	NUPN	UNKNOWN
393	DLCshifumi	PT	2a	StateSpace	03	79	3	NUPN	UNKNOWN
394	DLCshifumi	PT	3a	StateSpace	00	9095399999999999e20	3	NUPN	UNKNOWN
395	DLCshifumi	PT	3a	StateSpace	02	1	3	NUPN	UNKNOWN
396	DLCshifumi	PT	3a	StateSpace	03	282	3	NUPN	UNKNOWN
397	DLCshifumi	PT	4a	StateSpace	00	24119000000000002e51	3	NUPN	UNKNOWN
398	DLCshifumi	PT	4a	StateSpace	02	1	3	NUPN	UNKNOWN
399	DLCshifumi	PT	4a	StateSpace	03	691	3	NUPN	UNKNOWN
400	DLCshifumi	PT	5a	StateSpace	00	88524e104	3	NUPN	UNKNOWN
401	DLCshifumi	PT	5a	StateSpace	02	1	3	NUPN	UNKNOWN
402	DLCshifumi	PT	5a	StateSpace	03	1378	3	NUPN	UNKNOWN
403	DLCshifumi	PT	6a	StateSpace	00	44972e156	3	NUPN	UNKNOWN
404	DLCshifumi	PT	6a	StateSpace	02	1	3	NUPN	UNKNOWN
405	DLCshifumi	PT	6a	StateSpace	03	2415	3	NUPN	UNKNOWN
406	DNAwalker	PT	01track12Block1	StateSpace	00	3795	3	NONE	UNKNOWN
407	DNAwalker	PT	01track12Block1	StateSpace	02	2	3	NONE	UNKNOWN
408	DNAwalker	PT	01track12Block1	StateSpace	03	13	3	NONE	UNKNOWN
409	DNAwalker	PT	02track12Block2	StateSpace	00	5459	3	NONE	UNKNOWN
410	DNAwalker	PT	02track12Block2	StateSpace	02	2	3	NONE	UNKNOWN
411	DNAwalker	PT	02track12Block2	StateSpace	03	13	3	NONE	UNKNOWN
412	DNAwalker	PT	03track12BlockBoth	StateSpace	00	5248	3	NONE	UNKNOWN
413	DNAwalker	PT	03track12BlockBoth	StateSpace	02	2	3	NONE	UNKNOWN
414	DNAwalker	PT	03track12BlockBoth	StateSpace	03	13	3	NONE	UNKNOWN
415	DNAwalker	PT	04track28LL	StateSpace	00	432880000	3	NONE	UNKNOWN
416	DNAwalker	PT	04track28LL	StateSpace	02	2	3	NONE	UNKNOWN
417	DNAwalker	PT	04track28LL	StateSpace	03	29	3	NONE	UNKNOWN
418	DNAwalker	PT	05track28LR	StateSpace	00	435340000	3	NONE	UNKNOWN
419	DNAwalker	PT	05track28LR	StateSpace	02	2	3	NONE	UNKNOWN
420	DNAwalker	PT	05track28LR	StateSpace	03	29	3	NONE	UNKNOWN
421	DNAwalker	PT	06track28RL	StateSpace	00	435340000	3	NONE	UNKNOWN
422	DNAwalker	PT	06track28RL	StateSpace	02	2	3	NONE	UNKNOWN
423	DNAwalker	PT	06track28RL	StateSpace	03	29	3	NONE	UNKNOWN
424	DNAwalker	PT	07track28RR	StateSpace	00	432880000	3	NONE	UNKNOWN
425	DNAwalker	PT	07track28RR	StateSpace	02	2	3	NONE	UNKNOWN
426	DNAwalker	PT	07track28RR	StateSpace	03	29	3	NONE	UNKNOWN
427	DNAwalker	PT	08ringLL	StateSpace	00	27951000	3	NONE	UNKNOWN
428	DNAwalker	PT	08ringLL	StateSpace	02	2	3	NONE	UNKNOWN
429	DNAwalker	PT	08ringLL	StateSpace	03	22	3	NONE	UNKNOWN
430	DNAwalker	PT	09ringLR	StateSpace	00	28210000	3	NONE	UNKNOWN
431	DNAwalker	PT	09ringLR	StateSpace	02	2	3	NONE	UNKNOWN
432	DNAwalker	PT	09ringLR	StateSpace	03	22	3	NONE	UNKNOWN
433	DNAwalker	PT	10ringRL	StateSpace	00	27951000	3	NONE	UNKNOWN
434	DNAwalker	PT	10ringRL	StateSpace	02	2	3	NONE	UNKNOWN
435	DNAwalker	PT	10ringRL	StateSpace	03	22	3	NONE	UNKNOWN
436	DNAwalker	PT	11ringRR	StateSpace	00	28210000	3	NONE	UNKNOWN
437	DNAwalker	PT	11ringRR	StateSpace	02	2	3	NONE	UNKNOWN
438	DNAwalker	PT	11ringRR	StateSpace	03	22	3	NONE	UNKNOWN
439	DNAwalker	PT	12ringLLLarge	StateSpace	00	1885400000	3	NONE	UNKNOWN
440	DNAwalker	PT	12ringLLLarge	StateSpace	02	2	3	NONE	UNKNOWN
441	DNAwalker	PT	12ringLLLarge	StateSpace	03	28	3	NONE	UNKNOWN
442	DNAwalker	PT	13ringRLLarge	StateSpace	00	1885400000	3	NONE	UNKNOWN
443	DNAwalker	PT	13ringRLLarge	StateSpace	02	2	3	NONE	UNKNOWN
444	DNAwalker	PT	13ringRLLarge	StateSpace	03	28	3	NONE	UNKNOWN
445	DNAwalker	PT	14ringLRLarge	StateSpace	00	1860900000	3	NONE	UNKNOWN
446	DNAwalker	PT	14ringLRLarge	StateSpace	02	2	3	NONE	UNKNOWN
447	DNAwalker	PT	14ringLRLarge	StateSpace	03	28	3	NONE	UNKNOWN
448	DNAwalker	PT	15ringRRLarge	StateSpace	00	1860900000	3	NONE	UNKNOWN
449	DNAwalker	PT	15ringRRLarge	StateSpace	02	2	3	NONE	UNKNOWN
450	DNAwalker	PT	15ringRRLarge	StateSpace	03	28	3	NONE	UNKNOWN
451	DNAwalker	PT	16redondantChoiceR	StateSpace	00	800320000000	3	NONE	UNKNOWN
452	DNAwalker	PT	16redondantChoiceR	StateSpace	02	2	3	NONE	UNKNOWN
453	DNAwalker	PT	16redondantChoiceR	StateSpace	03	34	3	NONE	UNKNOWN
454	DNAwalker	PT	17redondantChoiceL	StateSpace	00	800320000000	3	NONE	UNKNOWN
455	DNAwalker	PT	17redondantChoiceL	StateSpace	02	2	3	NONE	UNKNOWN
456	DNAwalker	PT	17redondantChoiceL	StateSpace	03	34	3	NONE	UNKNOWN
457	DatabaseWithMutex	PT	02	StateSpace	00	153	3	GEN	UNKNOWN
458	DatabaseWithMutex	PT	02	StateSpace	02	1	3	GEN	UNKNOWN
459	DatabaseWithMutex	PT	02	StateSpace	03	6	3	GEN	UNKNOWN
460	DatabaseWithMutex	PT	04	StateSpace	00	4717900000	3	GEN	UNKNOWN
461	DatabaseWithMutex	PT	04	StateSpace	02	1	3	GEN	UNKNOWN
462	DatabaseWithMutex	PT	04	StateSpace	03	20	3	GEN	UNKNOWN
463	Dekker	PT	010	StateSpace	00	6144	3	GEN	UNKNOWN
464	Dekker	PT	010	StateSpace	02	1	3	GEN	UNKNOWN
465	Dekker	PT	010	StateSpace	03	20	3	GEN	UNKNOWN
466	Dekker	PT	015	StateSpace	00	278530	3	GEN	UNKNOWN
467	Dekker	PT	015	StateSpace	02	1	3	GEN	UNKNOWN
468	Dekker	PT	015	StateSpace	03	30	3	GEN	UNKNOWN
469	Dekker	PT	020	StateSpace	00	11534000	3	GEN	UNKNOWN
470	Dekker	PT	020	StateSpace	02	1	3	GEN	UNKNOWN
471	Dekker	PT	020	StateSpace	03	40	3	GEN	UNKNOWN
472	Dekker	PT	050	StateSpace	00	29273e12	3	GEN	UNKNOWN
473	Dekker	PT	050	StateSpace	02	1	3	GEN	UNKNOWN
474	Dekker	PT	050	StateSpace	03	100	3	GEN	UNKNOWN
475	Dekker	PT	100	StateSpace	00	6465e28	3	GEN	UNKNOWN
476	Dekker	PT	100	StateSpace	02	1	3	GEN	UNKNOWN
477	Dekker	PT	100	StateSpace	03	200	3	GEN	UNKNOWN
478	Dekker	PT	200	StateSpace	00	1623e59	1	GEN	UNKNOWN
479	Dekker	PT	200	StateSpace	02	1	1	GEN	UNKNOWN
480	Dekker	PT	200	StateSpace	03	400	1	GEN	UNKNOWN
481	Diffusion2D	PT	D05N010	StateSpace	00	131130000	3	NONE	UNKNOWN
482	Diffusion2D	PT	D05N010	StateSpace	02	10	3	NONE	UNKNOWN
483	Diffusion2D	PT	D05N010	StateSpace	03	10	3	NONE	UNKNOWN
484	Diffusion2D	PT	D05N050	StateSpace	00	1753e16	3	NONE	UNKNOWN
485	Diffusion2D	PT	D05N050	StateSpace	02	50	3	NONE	UNKNOWN
486	Diffusion2D	PT	D05N050	StateSpace	03	50	3	NONE	UNKNOWN
487	Diffusion2D	PT	D05N100	StateSpace	00	26011e21	3	NONE	UNKNOWN
488	Diffusion2D	PT	D05N100	StateSpace	02	100	3	NONE	UNKNOWN
489	Diffusion2D	PT	D05N100	StateSpace	03	100	3	NONE	UNKNOWN
490	Diffusion2D	PT	D05N150	StateSpace	00	18126000000000002e13	3	NONE	UNKNOWN
491	Diffusion2D	PT	D05N150	StateSpace	02	150	3	NONE	UNKNOWN
492	Diffusion2D	PT	D05N150	StateSpace	03	150	3	NONE	UNKNOWN
493	Diffusion2D	PT	D05N200	StateSpace	00	11439e28	3	NONE	UNKNOWN
494	Diffusion2D	PT	D05N200	StateSpace	02	200	3	NONE	UNKNOWN
495	Diffusion2D	PT	D05N200	StateSpace	03	200	3	NONE	UNKNOWN
496	Diffusion2D	PT	D05N250	StateSpace	00	18314e30	3	NONE	UNKNOWN
497	Diffusion2D	PT	D05N250	StateSpace	02	250	3	NONE	UNKNOWN
498	Diffusion2D	PT	D05N250	StateSpace	03	250	3	NONE	UNKNOWN
499	Diffusion2D	PT	D05N300	StateSpace	00	12054e32	3	NONE	UNKNOWN
500	Diffusion2D	PT	D05N300	StateSpace	02	300	3	NONE	UNKNOWN
501	Diffusion2D	PT	D05N300	StateSpace	03	300	3	NONE	UNKNOWN
502	Diffusion2D	PT	D05N350	StateSpace	00	4253900000000001e22	2	NONE	UNKNOWN
503	Diffusion2D	PT	D05N350	StateSpace	02	350	2	NONE	UNKNOWN
504	Diffusion2D	PT	D05N350	StateSpace	03	350	2	NONE	UNKNOWN
505	Diffusion2D	PT	D10N010	StateSpace	00	42634000000000	3	NONE	UNKNOWN
506	Diffusion2D	PT	D10N010	StateSpace	02	10	3	NONE	UNKNOWN
507	Diffusion2D	PT	D10N010	StateSpace	03	10	3	NONE	UNKNOWN
508	Diffusion2D	PT	D10N050	StateSpace	00	13419e36	3	NONE	UNKNOWN
509	Diffusion2D	PT	D10N050	StateSpace	02	50	3	NONE	UNKNOWN
510	Diffusion2D	PT	D10N050	StateSpace	03	50	3	NONE	UNKNOWN
511	Diffusion2D	PT	D10N100	StateSpace	00	45274000000000004e42	3	NONE	UNKNOWN
512	Diffusion2D	PT	D10N100	StateSpace	02	100	3	NONE	UNKNOWN
513	Diffusion2D	PT	D10N100	StateSpace	03	100	3	NONE	UNKNOWN
514	Diffusion2D	PT	D10N150	StateSpace	00	24252e67	3	NONE	UNKNOWN
515	Diffusion2D	PT	D10N150	StateSpace	02	150	3	NONE	UNKNOWN
516	Diffusion2D	PT	D10N150	StateSpace	03	150	3	NONE	UNKNOWN
517	Diffusion2D	PT	D10N200	StateSpace	00	13860999999999999e65	3	NONE	UNKNOWN
518	Diffusion2D	PT	D10N200	StateSpace	02	200	3	NONE	UNKNOWN
519	Diffusion2D	PT	D10N200	StateSpace	03	200	3	NONE	UNKNOWN
520	Diffusion2D	PT	D20N010	StateSpace	00	32308e15	3	NONE	UNKNOWN
521	Diffusion2D	PT	D20N010	StateSpace	02	10	3	NONE	UNKNOWN
522	Diffusion2D	PT	D20N010	StateSpace	03	10	3	NONE	UNKNOWN
523	Diffusion2D	PT	D20N050	StateSpace	00	79113e62	3	NONE	UNKNOWN
524	Diffusion2D	PT	D20N050	StateSpace	02	50	3	NONE	UNKNOWN
525	Diffusion2D	PT	D20N050	StateSpace	03	50	3	NONE	UNKNOWN
526	Diffusion2D	PT	D20N100	StateSpace	00	16334000000000005e91	3	NONE	UNKNOWN
527	Diffusion2D	PT	D20N100	StateSpace	02	100	3	NONE	UNKNOWN
528	Diffusion2D	PT	D20N100	StateSpace	03	100	3	NONE	UNKNOWN
529	Diffusion2D	PT	D20N150	StateSpace	00	25424000000000002e122	3	NONE	UNKNOWN
530	Diffusion2D	PT	D20N150	StateSpace	02	150	3	NONE	UNKNOWN
531	Diffusion2D	PT	D20N150	StateSpace	03	150	3	NONE	UNKNOWN
532	Diffusion2D	PT	D30N010	StateSpace	00	101e21	3	NONE	UNKNOWN
533	Diffusion2D	PT	D30N010	StateSpace	02	10	3	NONE	UNKNOWN
534	Diffusion2D	PT	D30N010	StateSpace	03	10	3	NONE	UNKNOWN
535	Diffusion2D	PT	D30N050	StateSpace	00	6451e80	3	NONE	UNKNOWN
536	Diffusion2D	PT	D30N050	StateSpace	02	50	3	NONE	UNKNOWN
537	Diffusion2D	PT	D30N050	StateSpace	03	50	3	NONE	UNKNOWN
538	Diffusion2D	PT	D30N100	StateSpace	00	57465e135	3	NONE	UNKNOWN
539	Diffusion2D	PT	D30N100	StateSpace	02	100	3	NONE	UNKNOWN
540	Diffusion2D	PT	D30N100	StateSpace	03	100	3	NONE	UNKNOWN
541	Diffusion2D	PT	D30N150	StateSpace	00	31330000000000003e169	2	NONE	UNKNOWN
542	Diffusion2D	PT	D30N150	StateSpace	02	150	2	NONE	UNKNOWN
543	Diffusion2D	PT	D30N150	StateSpace	03	150	2	NONE	UNKNOWN
544	Diffusion2D	PT	D40N010	StateSpace	00	31162e21	3	NONE	UNKNOWN
545	Diffusion2D	PT	D40N010	StateSpace	02	10	3	NONE	UNKNOWN
546	Diffusion2D	PT	D40N010	StateSpace	03	10	3	NONE	UNKNOWN
547	Diffusion2D	PT	D40N050	StateSpace	00	11273e92	3	NONE	UNKNOWN
548	Diffusion2D	PT	D40N050	StateSpace	02	50	3	NONE	UNKNOWN
549	Diffusion2D	PT	D40N050	StateSpace	03	50	3	NONE	UNKNOWN
550	Diffusion2D	PT	D40N100	StateSpace	00	57356000000000004e147	2	NONE	UNKNOWN
551	Diffusion2D	PT	D40N100	StateSpace	02	100	2	NONE	UNKNOWN
552	Diffusion2D	PT	D40N100	StateSpace	03	100	2	NONE	UNKNOWN
553	Diffusion2D	PT	D50N010	StateSpace	00	26757e23	3	NONE	UNKNOWN
554	Diffusion2D	PT	D50N010	StateSpace	02	10	3	NONE	UNKNOWN
555	Diffusion2D	PT	D50N010	StateSpace	03	10	3	NONE	UNKNOWN
556	Diffusion2D	PT	D50N050	StateSpace	00	42203000000000004e89	2	NONE	UNKNOWN
557	Diffusion2D	PT	D50N050	StateSpace	02	50	2	NONE	UNKNOWN
558	Diffusion2D	PT	D50N050	StateSpace	03	50	2	NONE	UNKNOWN
559	DrinkVendingMachine	COL	02	StateSpace	00	1024	3	NONE	UNKNOWN
560	DrinkVendingMachine	COL	02	StateSpace	02	1	3	NONE	UNKNOWN
561	DrinkVendingMachine	COL	02	StateSpace	03	12	3	NONE	UNKNOWN
562	DrinkVendingMachine	COL	10	StateSpace	00	11529e14	3	NONE	UNKNOWN
563	DrinkVendingMachine	COL	10	StateSpace	02	1	3	NONE	UNKNOWN
564	DrinkVendingMachine	COL	10	StateSpace	03	60	3	NONE	UNKNOWN
565	DrinkVendingMachine	PT	02	StateSpace	00	1024	3	NONE	UNKNOWN
566	DrinkVendingMachine	PT	02	StateSpace	02	1	3	NONE	UNKNOWN
567	DrinkVendingMachine	PT	02	StateSpace	03	12	3	NONE	UNKNOWN
568	DrinkVendingMachine	PT	10	StateSpace	00	11529e14	3	NONE	UNKNOWN
569	DrinkVendingMachine	PT	10	StateSpace	02	1	3	NONE	UNKNOWN
570	DrinkVendingMachine	PT	10	StateSpace	03	60	3	NONE	UNKNOWN
571	ERK	PT	000001	StateSpace	00	13	3	GEN	UNKNOWN
572	ERK	PT	000001	StateSpace	02	1	3	GEN	UNKNOWN
573	ERK	PT	000001	StateSpace	03	5	3	GEN	UNKNOWN
574	ERK	PT	000010	StateSpace	00	47047	3	NONE	UNKNOWN
575	ERK	PT	000010	StateSpace	02	10	3	NONE	UNKNOWN
576	ERK	PT	000010	StateSpace	03	50	3	NONE	UNKNOWN
577	ERK	PT	000100	StateSpace	00	15914000000	3	NONE	UNKNOWN
578	ERK	PT	000100	StateSpace	02	100	3	NONE	UNKNOWN
579	ERK	PT	000100	StateSpace	03	500	3	NONE	UNKNOWN
580	EnergyBus	PT	none	StateSpace	00	2131800000000	3	NUPN	UNKNOWN
581	EnergyBus	PT	none	StateSpace	02	1	3	NUPN	UNKNOWN
582	EnergyBus	PT	none	StateSpace	03	22	3	NUPN	UNKNOWN
583	Eratosthenes	PT	010	StateSpace	00	32	3	NONE	UNKNOWN
584	Eratosthenes	PT	010	StateSpace	02	1	3	NONE	UNKNOWN
585	Eratosthenes	PT	010	StateSpace	03	9	3	NONE	UNKNOWN
586	Eratosthenes	PT	020	StateSpace	00	2048	3	NONE	UNKNOWN
587	Eratosthenes	PT	020	StateSpace	02	1	3	NONE	UNKNOWN
588	Eratosthenes	PT	020	StateSpace	03	19	3	NONE	UNKNOWN
589	Eratosthenes	PT	050	StateSpace	00	17180000000	3	NONE	UNKNOWN
590	Eratosthenes	PT	050	StateSpace	02	1	3	NONE	UNKNOWN
591	Eratosthenes	PT	050	StateSpace	03	49	3	NONE	UNKNOWN
592	Eratosthenes	PT	100	StateSpace	00	18889e18	3	NONE	UNKNOWN
593	Eratosthenes	PT	100	StateSpace	02	1	3	NONE	UNKNOWN
594	Eratosthenes	PT	100	StateSpace	03	99	3	NONE	UNKNOWN
595	Eratosthenes	PT	200	StateSpace	00	11418000000000002e30	3	NONE	UNKNOWN
596	Eratosthenes	PT	200	StateSpace	02	1	3	NONE	UNKNOWN
597	Eratosthenes	PT	200	StateSpace	03	199	3	NONE	UNKNOWN
598	Eratosthenes	PT	500	StateSpace	00	41316e117	3	NONE	UNKNOWN
599	Eratosthenes	PT	500	StateSpace	02	1	3	NONE	UNKNOWN
600	Eratosthenes	PT	500	StateSpace	03	499	3	NONE	UNKNOWN
601	FMS	PT	00002	StateSpace	00	3444	3	NONE	UNKNOWN
602	FMS	PT	00002	StateSpace	02	3	3	NONE	UNKNOWN
603	FMS	PT	00002	StateSpace	03	12	3	NONE	UNKNOWN
604	FMS	PT	00005	StateSpace	00	2895000	3	NONE	UNKNOWN
605	FMS	PT	00005	StateSpace	02	5	3	NONE	UNKNOWN
606	FMS	PT	00005	StateSpace	03	21	3	NONE	UNKNOWN
607	FMS	PT	00010	StateSpace	00	2501400000	3	NONE	UNKNOWN
608	FMS	PT	00010	StateSpace	02	10	3	NONE	UNKNOWN
609	FMS	PT	00010	StateSpace	03	36	3	NONE	UNKNOWN
610	FMS	PT	00020	StateSpace	00	6029200000000	3	NONE	UNKNOWN
611	FMS	PT	00020	StateSpace	02	20	3	NONE	UNKNOWN
612	FMS	PT	00020	StateSpace	03	66	3	NONE	UNKNOWN
613	FMS	PT	00050	StateSpace	00	42403e13	3	NONE	UNKNOWN
614	FMS	PT	00050	StateSpace	02	50	3	NONE	UNKNOWN
615	FMS	PT	00050	StateSpace	03	156	3	NONE	UNKNOWN
616	FMS	PT	00100	StateSpace	00	27031e17	3	NONE	UNKNOWN
617	FMS	PT	00100	StateSpace	02	100	3	NONE	UNKNOWN
618	FMS	PT	00100	StateSpace	03	306	3	NONE	UNKNOWN
619	FMS	PT	00200	StateSpace	00	19536e21	3	NONE	UNKNOWN
620	FMS	PT	00200	StateSpace	02	200	3	NONE	UNKNOWN
621	FMS	PT	00200	StateSpace	03	606	3	NONE	UNKNOWN
622	FlexibleBarrier	PT	04a	StateSpace	00	20737	3	NUPN	UNKNOWN
623	FlexibleBarrier	PT	04a	StateSpace	02	1	3	NUPN	UNKNOWN
624	FlexibleBarrier	PT	04a	StateSpace	03	6	3	NUPN	UNKNOWN
625	FlexibleBarrier	PT	04b	StateSpace	00	791370000	3	NUPN	UNKNOWN
626	FlexibleBarrier	PT	04b	StateSpace	02	1	3	NUPN	UNKNOWN
627	FlexibleBarrier	PT	04b	StateSpace	03	6	3	NUPN	UNKNOWN
628	FlexibleBarrier	PT	06a	StateSpace	00	2986000	3	NUPN	UNKNOWN
629	FlexibleBarrier	PT	06a	StateSpace	02	1	3	NUPN	UNKNOWN
630	FlexibleBarrier	PT	06a	StateSpace	03	8	3	NUPN	UNKNOWN
631	FlexibleBarrier	PT	08a	StateSpace	00	429980000	3	NUPN	UNKNOWN
632	FlexibleBarrier	PT	08a	StateSpace	02	1	3	NUPN	UNKNOWN
633	FlexibleBarrier	PT	08a	StateSpace	03	10	3	NUPN	UNKNOWN
634	FlexibleBarrier	PT	10a	StateSpace	00	61917000000	3	NUPN	UNKNOWN
635	FlexibleBarrier	PT	10a	StateSpace	02	1	3	NUPN	UNKNOWN
636	FlexibleBarrier	PT	10a	StateSpace	03	12	3	NUPN	UNKNOWN
637	FlexibleBarrier	PT	12a	StateSpace	00	8916100000000	3	NUPN	UNKNOWN
638	FlexibleBarrier	PT	12a	StateSpace	02	1	3	NUPN	UNKNOWN
639	FlexibleBarrier	PT	12a	StateSpace	03	14	3	NUPN	UNKNOWN
640	FlexibleBarrier	PT	14a	StateSpace	00	12839e11	3	NUPN	UNKNOWN
641	FlexibleBarrier	PT	14a	StateSpace	02	1	3	NUPN	UNKNOWN
642	FlexibleBarrier	PT	14a	StateSpace	03	16	3	NUPN	UNKNOWN
643	FlexibleBarrier	PT	16a	StateSpace	00	18488e13	3	NUPN	UNKNOWN
644	FlexibleBarrier	PT	16a	StateSpace	02	1	3	NUPN	UNKNOWN
645	FlexibleBarrier	PT	16a	StateSpace	03	18	3	NUPN	UNKNOWN
646	FlexibleBarrier	PT	18a	StateSpace	00	26623e15	3	NUPN	UNKNOWN
647	FlexibleBarrier	PT	18a	StateSpace	02	1	3	NUPN	UNKNOWN
648	FlexibleBarrier	PT	18a	StateSpace	03	20	3	NUPN	UNKNOWN
649	FlexibleBarrier	PT	20a	StateSpace	00	3.8337999999999997e+21	3	NUPN	UNKNOWN
650	FlexibleBarrier	PT	20a	StateSpace	02	1	3	NUPN	UNKNOWN
651	FlexibleBarrier	PT	20a	StateSpace	03	22	3	NUPN	UNKNOWN
652	FlexibleBarrier	PT	22a	StateSpace	00	55206e19	3	NUPN	UNKNOWN
653	FlexibleBarrier	PT	22a	StateSpace	02	1	3	NUPN	UNKNOWN
654	FlexibleBarrier	PT	22a	StateSpace	03	24	3	NUPN	UNKNOWN
655	GPPP	PT	C0001N0000000001	StateSpace	00	10380	3	NONE	UNKNOWN
656	GPPP	PT	C0001N0000000001	StateSpace	02	11	3	NONE	UNKNOWN
657	GPPP	PT	C0001N0000000001	StateSpace	03	41	3	NONE	UNKNOWN
658	GPPP	PT	C0001N0000000010	StateSpace	00	1655300	3	NONE	UNKNOWN
659	GPPP	PT	C0001N0000000010	StateSpace	02	47	3	NONE	UNKNOWN
660	GPPP	PT	C0001N0000000010	StateSpace	03	133	3	NONE	UNKNOWN
661	GPPP	PT	C0001N0000000100	StateSpace	00	145480000	3	NONE	UNKNOWN
662	GPPP	PT	C0001N0000000100	StateSpace	02	407	3	NONE	UNKNOWN
663	GPPP	PT	C0001N0000000100	StateSpace	03	1033	3	NONE	UNKNOWN
664	GlobalResAllocation	COL	03	StateSpace	00	6320	3	NONE	UNKNOWN
665	GlobalResAllocation	COL	03	StateSpace	02	4	3	NONE	UNKNOWN
666	GlobalResAllocation	COL	03	StateSpace	03	18	3	NONE	UNKNOWN
667	GlobalResAllocation	COL	05	StateSpace	00	106600000	3	NONE	UNKNOWN
668	GlobalResAllocation	COL	05	StateSpace	02	4	3	NONE	UNKNOWN
669	GlobalResAllocation	COL	05	StateSpace	03	30	3	NONE	UNKNOWN
670	GlobalResAllocation	PT	03	StateSpace	00	6320	3	NONE	UNKNOWN
671	GlobalResAllocation	PT	03	StateSpace	02	4	3	NONE	UNKNOWN
672	GlobalResAllocation	PT	03	StateSpace	03	18	3	NONE	UNKNOWN
673	GlobalResAllocation	PT	05	StateSpace	00	106600000	3	NONE	UNKNOWN
674	GlobalResAllocation	PT	05	StateSpace	02	4	3	NONE	UNKNOWN
675	GlobalResAllocation	PT	05	StateSpace	03	30	3	NONE	UNKNOWN
676	HexagonalGrid	PT	110	StateSpace	00	40193	3	NONE	UNKNOWN
677	HexagonalGrid	PT	110	StateSpace	02	6	3	NONE	UNKNOWN
678	HexagonalGrid	PT	110	StateSpace	03	18	3	NONE	UNKNOWN
679	HexagonalGrid	PT	126	StateSpace	00	2664200	3	NONE	UNKNOWN
680	HexagonalGrid	PT	126	StateSpace	02	18	3	NONE	UNKNOWN
681	HexagonalGrid	PT	126	StateSpace	03	30	3	NONE	UNKNOWN
682	HexagonalGrid	PT	226	StateSpace	00	10086e42	3	NONE	UNKNOWN
683	HexagonalGrid	PT	226	StateSpace	02	18	3	NONE	UNKNOWN
684	HexagonalGrid	PT	226	StateSpace	03	186	3	NONE	UNKNOWN
685	HouseConstruction	PT	00002	StateSpace	00	1501	3	NONE	UNKNOWN
686	HouseConstruction	PT	00002	StateSpace	02	2	3	NONE	UNKNOWN
687	HouseConstruction	PT	00002	StateSpace	03	12	3	NONE	UNKNOWN
688	HouseConstruction	PT	00005	StateSpace	00	1188000	3	NONE	UNKNOWN
689	HouseConstruction	PT	00005	StateSpace	02	5	3	NONE	UNKNOWN
690	HouseConstruction	PT	00005	StateSpace	03	30	3	NONE	UNKNOWN
691	HouseConstruction	PT	00010	StateSpace	00	1663600000	3	NONE	UNKNOWN
692	HouseConstruction	PT	00010	StateSpace	02	10	3	NONE	UNKNOWN
693	HouseConstruction	PT	00010	StateSpace	03	60	3	NONE	UNKNOWN
694	HouseConstruction	PT	00020	StateSpace	00	13666000000000	3	NONE	UNKNOWN
695	HouseConstruction	PT	00020	StateSpace	02	20	3	NONE	UNKNOWN
696	HouseConstruction	PT	00020	StateSpace	03	120	3	NONE	UNKNOWN
697	HypertorusGrid	PT	d2k1p8b00	StateSpace	00	87552	3	NONE	UNKNOWN
698	HypertorusGrid	PT	d2k1p8b00	StateSpace	02	32	3	NONE	UNKNOWN
699	HypertorusGrid	PT	d2k1p8b00	StateSpace	03	36	3	NONE	UNKNOWN
700	HypertorusGrid	PT	d2k2p1b00	StateSpace	00	51737000000	3	NONE	UNKNOWN
701	HypertorusGrid	PT	d2k2p1b00	StateSpace	02	4	3	NONE	UNKNOWN
702	HypertorusGrid	PT	d2k2p1b00	StateSpace	03	32	3	NONE	UNKNOWN
703	HypertorusGrid	PT	d2k3p2b04	StateSpace	00	54758e31	3	NONE	UNKNOWN
704	HypertorusGrid	PT	d2k3p2b04	StateSpace	02	12	3	NONE	UNKNOWN
705	HypertorusGrid	PT	d2k3p2b04	StateSpace	03	144	3	NONE	UNKNOWN
706	IBM319	PT	none	StateSpace	00	2482	3	GEN	UNKNOWN
707	IBM319	PT	none	StateSpace	02	1	3	GEN	UNKNOWN
708	IBM319	PT	none	StateSpace	03	7	3	GEN	UNKNOWN
709	IBM5964	PT	none	StateSpace	00	15546	3	NONE	UNKNOWN
710	IBM5964	PT	none	StateSpace	02	5	3	NONE	UNKNOWN
711	IBM5964	PT	none	StateSpace	03	17	3	NONE	UNKNOWN
712	IBM703	PT	none	StateSpace	00	8370	3	GEN	UNKNOWN
713	IBM703	PT	none	StateSpace	02	1	3	GEN	UNKNOWN
714	IBM703	PT	none	StateSpace	03	3	3	GEN	UNKNOWN
715	IBMB2S565S3960	PT	none	StateSpace	00	15511e12	3	NONE	UNKNOWN
716	IBMB2S565S3960	PT	none	StateSpace	02	7	3	NONE	UNKNOWN
717	IBMB2S565S3960	PT	none	StateSpace	03	60	3	NONE	UNKNOWN
718	IOTPpurchase	PT	C01M01P01D01	StateSpace	00	204	3	GEN	UNKNOWN
719	IOTPpurchase	PT	C01M01P01D01	StateSpace	02	1	3	GEN	UNKNOWN
720	IOTPpurchase	PT	C01M01P01D01	StateSpace	03	22	3	GEN	UNKNOWN
721	IOTPpurchase	PT	C03M03P03D03	StateSpace	00	354180	3	NONE	UNKNOWN
722	IOTPpurchase	PT	C03M03P03D03	StateSpace	02	3	3	NONE	UNKNOWN
723	IOTPpurchase	PT	C03M03P03D03	StateSpace	03	40	3	NONE	UNKNOWN
724	IOTPpurchase	PT	C05M04P03D02	StateSpace	00	17406000	3	NONE	UNKNOWN
725	IOTPpurchase	PT	C05M04P03D02	StateSpace	02	5	3	NONE	UNKNOWN
726	IOTPpurchase	PT	C05M04P03D02	StateSpace	03	51	3	NONE	UNKNOWN
727	JoinFreeModules	PT	0003	StateSpace	00	35937	3	NONE	UNKNOWN
728	JoinFreeModules	PT	0003	StateSpace	02	5	3	NONE	UNKNOWN
729	JoinFreeModules	PT	0003	StateSpace	03	19	3	NONE	UNKNOWN
730	JoinFreeModules	PT	0004	StateSpace	00	14776000	3	NONE	UNKNOWN
731	JoinFreeModules	PT	0004	StateSpace	02	6	3	NONE	UNKNOWN
732	JoinFreeModules	PT	0004	StateSpace	03	29	3	NONE	UNKNOWN
733	JoinFreeModules	PT	0005	StateSpace	00	11593000000	3	NONE	UNKNOWN
734	JoinFreeModules	PT	0005	StateSpace	02	7	3	NONE	UNKNOWN
735	JoinFreeModules	PT	0005	StateSpace	03	41	3	NONE	UNKNOWN
736	JoinFreeModules	PT	0010	StateSpace	00	15902e29	3	NONE	UNKNOWN
737	JoinFreeModules	PT	0010	StateSpace	02	13	3	NONE	UNKNOWN
738	JoinFreeModules	PT	0010	StateSpace	03	131	3	NONE	UNKNOWN
739	JoinFreeModules	PT	0020	StateSpace	00	41123e80	3	NONE	UNKNOWN
740	JoinFreeModules	PT	0020	StateSpace	02	23	3	NONE	UNKNOWN
741	JoinFreeModules	PT	0020	StateSpace	03	461	3	NONE	UNKNOWN
742	JoinFreeModules	PT	0050	StateSpace	00	5746099999999999e264	3	NONE	UNKNOWN
743	JoinFreeModules	PT	0050	StateSpace	02	53	3	NONE	UNKNOWN
744	JoinFreeModules	PT	0050	StateSpace	03	2651	3	NONE	UNKNOWN
745	JoinFreeModules	PT	0100	StateSpace	00	Inf	3	NONE	UNKNOWN
746	JoinFreeModules	PT	0100	StateSpace	02	103	3	NONE	UNKNOWN
747	JoinFreeModules	PT	0100	StateSpace	03	10301	3	NONE	UNKNOWN
748	Kanban	PT	00005	StateSpace	00	2546400	3	NONE	UNKNOWN
749	Kanban	PT	00005	StateSpace	02	5	3	NONE	UNKNOWN
750	Kanban	PT	00005	StateSpace	03	20	3	NONE	UNKNOWN
751	Kanban	PT	00010	StateSpace	00	1005900000	3	NONE	UNKNOWN
752	Kanban	PT	00010	StateSpace	02	10	3	NONE	UNKNOWN
753	Kanban	PT	00010	StateSpace	03	40	3	NONE	UNKNOWN
754	Kanban	PT	00020	StateSpace	00	805420000000	3	NONE	UNKNOWN
755	Kanban	PT	00020	StateSpace	02	20	3	NONE	UNKNOWN
756	Kanban	PT	00020	StateSpace	03	80	3	NONE	UNKNOWN
757	Kanban	PT	00050	StateSpace	00	10426e12	3	NONE	UNKNOWN
758	Kanban	PT	00050	StateSpace	02	50	3	NONE	UNKNOWN
759	Kanban	PT	00050	StateSpace	03	200	3	NONE	UNKNOWN
760	Kanban	PT	00100	StateSpace	00	17263e15	3	NONE	UNKNOWN
761	Kanban	PT	00100	StateSpace	02	100	3	NONE	UNKNOWN
762	Kanban	PT	00100	StateSpace	03	400	3	NONE	UNKNOWN
763	Kanban	PT	00200	StateSpace	00	31732e18	3	NONE	UNKNOWN
764	Kanban	PT	00200	StateSpace	02	200	3	NONE	UNKNOWN
765	Kanban	PT	00200	StateSpace	03	800	3	NONE	UNKNOWN
766	LamportFastMutEx	COL	2	StateSpace	00	380	3	NONE	UNKNOWN
767	LamportFastMutEx	COL	2	StateSpace	02	1	3	NONE	UNKNOWN
768	LamportFastMutEx	COL	2	StateSpace	03	8	3	NONE	UNKNOWN
769	LamportFastMutEx	COL	3	StateSpace	00	19742	3	NONE	UNKNOWN
770	LamportFastMutEx	COL	3	StateSpace	02	1	3	NONE	UNKNOWN
771	LamportFastMutEx	COL	3	StateSpace	03	14	3	NONE	UNKNOWN
772	LamportFastMutEx	COL	4	StateSpace	00	1914800	3	NONE	UNKNOWN
773	LamportFastMutEx	COL	4	StateSpace	02	1	3	NONE	UNKNOWN
774	LamportFastMutEx	COL	4	StateSpace	03	22	3	NONE	UNKNOWN
775	LamportFastMutEx	COL	5	StateSpace	00	530680000	3	NONE	UNKNOWN
776	LamportFastMutEx	COL	5	StateSpace	02	1	3	NONE	UNKNOWN
777	LamportFastMutEx	COL	5	StateSpace	03	32	3	NONE	UNKNOWN
778	LamportFastMutEx	PT	2	StateSpace	00	380	3	GEN	UNKNOWN
779	LamportFastMutEx	PT	2	StateSpace	02	1	3	GEN	UNKNOWN
780	LamportFastMutEx	PT	2	StateSpace	03	8	3	GEN	UNKNOWN
781	LamportFastMutEx	PT	3	StateSpace	00	19742	3	GEN	UNKNOWN
782	LamportFastMutEx	PT	3	StateSpace	02	1	3	GEN	UNKNOWN
783	LamportFastMutEx	PT	3	StateSpace	03	14	3	GEN	UNKNOWN
784	LamportFastMutEx	PT	4	StateSpace	00	1914800	3	GEN	UNKNOWN
785	LamportFastMutEx	PT	4	StateSpace	02	1	3	GEN	UNKNOWN
786	LamportFastMutEx	PT	4	StateSpace	03	22	3	GEN	UNKNOWN
787	LamportFastMutEx	PT	5	StateSpace	00	530680000	3	GEN	UNKNOWN
788	LamportFastMutEx	PT	5	StateSpace	02	1	3	GEN	UNKNOWN
789	LamportFastMutEx	PT	5	StateSpace	03	32	3	GEN	UNKNOWN
790	LamportFastMutEx	PT	6	StateSpace	00	547230000000	3	GEN	UNKNOWN
791	LamportFastMutEx	PT	6	StateSpace	02	1	3	GEN	UNKNOWN
792	LamportFastMutEx	PT	6	StateSpace	03	44	3	GEN	UNKNOWN
793	MAPK	PT	00008	StateSpace	00	6110600	3	NONE	UNKNOWN
794	MAPK	PT	00008	StateSpace	02	8	3	NONE	UNKNOWN
795	MAPK	PT	00008	StateSpace	03	36	3	NONE	UNKNOWN
796	MAPK	PT	00020	StateSpace	00	88126000000	3	NONE	UNKNOWN
797	MAPK	PT	00020	StateSpace	02	20	3	NONE	UNKNOWN
798	MAPK	PT	00020	StateSpace	03	90	3	NONE	UNKNOWN
799	MAPK	PT	00040	StateSpace	00	478290000000000	3	NONE	UNKNOWN
800	MAPK	PT	00040	StateSpace	02	40	3	NONE	UNKNOWN
801	MAPK	PT	00040	StateSpace	03	180	3	NONE	UNKNOWN
802	MultiwaySync	PT	none	StateSpace	00	52596e15	3	NUPN	UNKNOWN
803	MultiwaySync	PT	none	StateSpace	02	1	3	NUPN	UNKNOWN
804	MultiwaySync	PT	none	StateSpace	03	27	3	NUPN	UNKNOWN
805	NeighborGrid	PT	d2n3m1c12	StateSpace	00	24310	3	NONE	UNKNOWN
806	NeighborGrid	PT	d2n3m1c12	StateSpace	02	9	3	NONE	UNKNOWN
807	NeighborGrid	PT	d2n3m1c12	StateSpace	03	9	3	NONE	UNKNOWN
808	NeighborGrid	PT	d2n3m1t12	StateSpace	00	24310	3	NONE	UNKNOWN
809	NeighborGrid	PT	d2n3m1t12	StateSpace	02	9	3	NONE	UNKNOWN
810	NeighborGrid	PT	d2n3m1t12	StateSpace	03	9	3	NONE	UNKNOWN
811	NeighborGrid	PT	d3n3m1t11	StateSpace	00	973470000000000	3	NONE	UNKNOWN
812	NeighborGrid	PT	d3n3m1t11	StateSpace	02	27	3	NONE	UNKNOWN
813	NeighborGrid	PT	d3n3m1t11	StateSpace	03	27	3	NONE	UNKNOWN
814	NeighborGrid	PT	d4n3m2c23	StateSpace	00	26957e61	3	NONE	UNKNOWN
815	NeighborGrid	PT	d4n3m2c23	StateSpace	02	162	3	NONE	UNKNOWN
816	NeighborGrid	PT	d4n3m2c23	StateSpace	03	162	3	NONE	UNKNOWN
817	NeoElection	COL	2	StateSpace	00	241	3	NONE	UNKNOWN
818	NeoElection	COL	2	StateSpace	02	1	3	NONE	UNKNOWN
819	NeoElection	COL	2	StateSpace	03	14	3	NONE	UNKNOWN
820	NeoElection	COL	3	StateSpace	00	974330	3	NONE	UNKNOWN
821	NeoElection	COL	3	StateSpace	02	1	3	NONE	UNKNOWN
822	NeoElection	COL	3	StateSpace	03	30	3	NONE	UNKNOWN
823	NeoElection	COL	4	StateSpace	00	291910000000	3	NONE	UNKNOWN
824	NeoElection	COL	4	StateSpace	02	1	3	NONE	UNKNOWN
825	NeoElection	COL	4	StateSpace	03	52	3	NONE	UNKNOWN
826	NeoElection	PT	2	StateSpace	00	241	3	GEN	UNKNOWN
827	NeoElection	PT	2	StateSpace	02	1	3	GEN	UNKNOWN
828	NeoElection	PT	2	StateSpace	03	14	3	GEN	UNKNOWN
829	NeoElection	PT	3	StateSpace	00	974330	3	GEN	UNKNOWN
830	NeoElection	PT	3	StateSpace	02	1	3	GEN	UNKNOWN
831	NeoElection	PT	3	StateSpace	03	30	3	GEN	UNKNOWN
832	NeoElection	PT	4	StateSpace	00	291910000000	3	GEN	UNKNOWN
833	NeoElection	PT	4	StateSpace	02	1	3	GEN	UNKNOWN
834	NeoElection	PT	4	StateSpace	03	52	3	GEN	UNKNOWN
835	PaceMaker	PT	none	StateSpace	00	36803e13	3	NONE	UNKNOWN
836	PaceMaker	PT	none	StateSpace	02	949	3	NONE	UNKNOWN
837	PaceMaker	PT	none	StateSpace	03	18085	3	NONE	UNKNOWN
838	ParamProductionCell	PT	0	StateSpace	00	2776900	3	GEN	UNKNOWN
839	ParamProductionCell	PT	0	StateSpace	02	1	3	GEN	UNKNOWN
840	ParamProductionCell	PT	0	StateSpace	03	32	3	GEN	UNKNOWN
841	ParamProductionCell	PT	1	StateSpace	00	25632	3	GEN	UNKNOWN
842	ParamProductionCell	PT	1	StateSpace	02	1	3	GEN	UNKNOWN
843	ParamProductionCell	PT	1	StateSpace	03	36	3	GEN	UNKNOWN
844	ParamProductionCell	PT	2	StateSpace	00	349870	3	GEN	UNKNOWN
845	ParamProductionCell	PT	2	StateSpace	02	1	3	GEN	UNKNOWN
846	ParamProductionCell	PT	2	StateSpace	03	36	3	GEN	UNKNOWN
847	ParamProductionCell	PT	3	StateSpace	00	1465200	3	GEN	UNKNOWN
848	ParamProductionCell	PT	3	StateSpace	02	1	3	GEN	UNKNOWN
849	ParamProductionCell	PT	3	StateSpace	03	36	3	GEN	UNKNOWN
850	ParamProductionCell	PT	4	StateSpace	00	2409700	3	GEN	UNKNOWN
851	ParamProductionCell	PT	4	StateSpace	02	1	3	GEN	UNKNOWN
852	ParamProductionCell	PT	4	StateSpace	03	36	3	GEN	UNKNOWN
853	ParamProductionCell	PT	5	StateSpace	00	1657200	3	GEN	UNKNOWN
854	ParamProductionCell	PT	5	StateSpace	02	1	3	GEN	UNKNOWN
855	ParamProductionCell	PT	5	StateSpace	03	36	3	GEN	UNKNOWN
856	Parking	PT	104	StateSpace	00	31745	3	NUPN	UNKNOWN
857	Parking	PT	104	StateSpace	02	1	3	NUPN	UNKNOWN
858	Parking	PT	104	StateSpace	03	15	3	NUPN	UNKNOWN
859	Parking	PT	208	StateSpace	00	4567600000	3	NUPN	UNKNOWN
860	Parking	PT	208	StateSpace	02	1	3	NUPN	UNKNOWN
861	Parking	PT	208	StateSpace	03	32	3	NUPN	UNKNOWN
862	Parking	PT	416	StateSpace	00	84405e17	3	NUPN	UNKNOWN
863	Parking	PT	416	StateSpace	02	1	3	NUPN	UNKNOWN
864	Parking	PT	416	StateSpace	03	72	3	NUPN	UNKNOWN
865	Parking	PT	432	StateSpace	00	36702e28	3	NUPN	UNKNOWN
866	Parking	PT	432	StateSpace	02	1	3	NUPN	UNKNOWN
867	Parking	PT	432	StateSpace	03	120	3	NUPN	UNKNOWN
868	Parking	PT	832	StateSpace	00	14648e50	3	NUPN	UNKNOWN
869	Parking	PT	832	StateSpace	02	1	3	NUPN	UNKNOWN
870	Parking	PT	832	StateSpace	03	176	3	NUPN	UNKNOWN
871	Parking	PT	864	StateSpace	00	1445e72	3	NUPN	UNKNOWN
872	Parking	PT	864	StateSpace	02	1	3	NUPN	UNKNOWN
873	Parking	PT	864	StateSpace	03	272	3	NUPN	UNKNOWN
874	PermAdmissibility	COL	01	StateSpace	00	52537	3	NONE	UNKNOWN
875	PermAdmissibility	COL	01	StateSpace	02	1	3	NONE	UNKNOWN
876	PermAdmissibility	COL	01	StateSpace	03	9	3	NONE	UNKNOWN
877	PermAdmissibility	PT	01	StateSpace	00	52537	3	NONE	UNKNOWN
878	PermAdmissibility	PT	01	StateSpace	02	1	3	NONE	UNKNOWN
879	PermAdmissibility	PT	01	StateSpace	03	9	3	NONE	UNKNOWN
880	Peterson	COL	2	StateSpace	00	20754	3	NONE	UNKNOWN
881	Peterson	COL	2	StateSpace	02	1	3	NONE	UNKNOWN
882	Peterson	COL	2	StateSpace	03	8	3	NONE	UNKNOWN
883	Peterson	COL	3	StateSpace	00	3407900	3	NONE	UNKNOWN
884	Peterson	COL	3	StateSpace	02	1	3	NONE	UNKNOWN
885	Peterson	COL	3	StateSpace	03	11	3	NONE	UNKNOWN
886	Peterson	PT	2	StateSpace	00	20754	3	GEN	UNKNOWN
887	Peterson	PT	2	StateSpace	02	1	3	GEN	UNKNOWN
888	Peterson	PT	2	StateSpace	03	8	3	GEN	UNKNOWN
889	Peterson	PT	3	StateSpace	00	3407900	3	GEN	UNKNOWN
890	Peterson	PT	3	StateSpace	02	1	3	GEN	UNKNOWN
891	Peterson	PT	3	StateSpace	03	11	3	GEN	UNKNOWN
892	PhaseVariation	PT	D02CS010	StateSpace	00	7716	3	NONE	UNKNOWN
893	PhaseVariation	PT	D02CS010	StateSpace	02	12	3	NONE	UNKNOWN
894	PhaseVariation	PT	D02CS010	StateSpace	03	25	3	NONE	UNKNOWN
895	PhaseVariation	PT	D02CS100	StateSpace	00	18989000000	3	NONE	UNKNOWN
896	PhaseVariation	PT	D02CS100	StateSpace	02	104	3	NONE	UNKNOWN
897	PhaseVariation	PT	D02CS100	StateSpace	03	209	3	NONE	UNKNOWN
898	PhaseVariation	PT	D05CS010	StateSpace	00	476390000000	3	NONE	UNKNOWN
899	PhaseVariation	PT	D05CS010	StateSpace	02	25	3	NONE	UNKNOWN
900	PhaseVariation	PT	D05CS010	StateSpace	03	51	3	NONE	UNKNOWN
901	PhaseVariation	PT	D05CS100	StateSpace	00	8219e29	1	NONE	UNKNOWN
902	PhaseVariation	PT	D05CS100	StateSpace	02	125	1	NONE	UNKNOWN
903	PhaseVariation	PT	D05CS100	StateSpace	03	251	1	NONE	UNKNOWN
904	Philosophers	COL	000005	StateSpace	00	243	3	NONE	UNKNOWN
905	Philosophers	COL	000005	StateSpace	02	1	3	NONE	UNKNOWN
906	Philosophers	COL	000005	StateSpace	03	10	3	NONE	UNKNOWN
907	Philosophers	COL	000010	StateSpace	00	59049	3	NONE	UNKNOWN
908	Philosophers	COL	000010	StateSpace	02	1	3	NONE	UNKNOWN
909	Philosophers	COL	000010	StateSpace	03	20	3	NONE	UNKNOWN
910	Philosophers	COL	000020	StateSpace	00	3486800000	3	NONE	UNKNOWN
911	Philosophers	COL	000020	StateSpace	02	1	3	NONE	UNKNOWN
912	Philosophers	COL	000020	StateSpace	03	40	3	NONE	UNKNOWN
913	Philosophers	COL	000050	StateSpace	00	7179e20	3	NONE	UNKNOWN
914	Philosophers	COL	000050	StateSpace	02	1	3	NONE	UNKNOWN
915	Philosophers	COL	000050	StateSpace	03	100	3	NONE	UNKNOWN
916	Philosophers	COL	000100	StateSpace	00	51538e43	3	NONE	UNKNOWN
917	Philosophers	COL	000100	StateSpace	02	1	3	NONE	UNKNOWN
918	Philosophers	COL	000100	StateSpace	03	200	3	NONE	UNKNOWN
919	Philosophers	COL	000200	StateSpace	00	26561e91	3	NONE	UNKNOWN
920	Philosophers	COL	000200	StateSpace	02	1	3	NONE	UNKNOWN
921	Philosophers	COL	000200	StateSpace	03	400	3	NONE	UNKNOWN
922	Philosophers	COL	000500	StateSpace	00	3636000000000001e223	3	NONE	UNKNOWN
923	Philosophers	COL	000500	StateSpace	02	1	3	NONE	UNKNOWN
924	Philosophers	COL	000500	StateSpace	03	1000	3	NONE	UNKNOWN
925	Philosophers	COL	001000	StateSpace	00	Inf	3	NONE	UNKNOWN
926	Philosophers	COL	001000	StateSpace	02	1	3	NONE	UNKNOWN
927	Philosophers	COL	001000	StateSpace	03	2000	3	NONE	UNKNOWN
928	Philosophers	COL	002000	StateSpace	00	Inf	3	NONE	UNKNOWN
929	Philosophers	COL	002000	StateSpace	02	1	3	NONE	UNKNOWN
930	Philosophers	COL	002000	StateSpace	03	4000	3	NONE	UNKNOWN
931	Philosophers	COL	005000	StateSpace	00	Inf	2	NONE	UNKNOWN
932	Philosophers	COL	005000	StateSpace	02	1	2	NONE	UNKNOWN
933	Philosophers	COL	005000	StateSpace	03	10000	2	NONE	UNKNOWN
934	Philosophers	PT	000005	StateSpace	00	243	3	GEN	UNKNOWN
935	Philosophers	PT	000005	StateSpace	02	1	3	GEN	UNKNOWN
936	Philosophers	PT	000005	StateSpace	03	10	3	GEN	UNKNOWN
937	Philosophers	PT	000010	StateSpace	00	59049	3	GEN	UNKNOWN
938	Philosophers	PT	000010	StateSpace	02	1	3	GEN	UNKNOWN
939	Philosophers	PT	000010	StateSpace	03	20	3	GEN	UNKNOWN
940	Philosophers	PT	000020	StateSpace	00	3486800000	3	GEN	UNKNOWN
941	Philosophers	PT	000020	StateSpace	02	1	3	GEN	UNKNOWN
942	Philosophers	PT	000020	StateSpace	03	40	3	GEN	UNKNOWN
943	Philosophers	PT	000050	StateSpace	00	7179e20	3	GEN	UNKNOWN
944	Philosophers	PT	000050	StateSpace	02	1	3	GEN	UNKNOWN
945	Philosophers	PT	000050	StateSpace	03	100	3	GEN	UNKNOWN
946	Philosophers	PT	000100	StateSpace	00	51538e43	3	GEN	UNKNOWN
947	Philosophers	PT	000100	StateSpace	02	1	3	GEN	UNKNOWN
948	Philosophers	PT	000100	StateSpace	03	200	3	GEN	UNKNOWN
949	Philosophers	PT	000200	StateSpace	00	26561e91	3	GEN	UNKNOWN
950	Philosophers	PT	000200	StateSpace	02	1	3	GEN	UNKNOWN
951	Philosophers	PT	000200	StateSpace	03	400	3	GEN	UNKNOWN
952	Philosophers	PT	000500	StateSpace	00	3636000000000001e223	3	GEN	UNKNOWN
953	Philosophers	PT	000500	StateSpace	02	1	3	GEN	UNKNOWN
954	Philosophers	PT	000500	StateSpace	03	1000	3	GEN	UNKNOWN
955	Philosophers	PT	001000	StateSpace	00	Inf	3	GEN	UNKNOWN
956	Philosophers	PT	001000	StateSpace	02	1	3	GEN	UNKNOWN
957	Philosophers	PT	001000	StateSpace	03	2000	3	GEN	UNKNOWN
958	Philosophers	PT	002000	StateSpace	00	Inf	3	GEN	UNKNOWN
959	Philosophers	PT	002000	StateSpace	02	1	3	GEN	UNKNOWN
960	Philosophers	PT	002000	StateSpace	03	4000	3	GEN	UNKNOWN
961	Philosophers	PT	005000	StateSpace	00	Inf	3	NONE	UNKNOWN
962	Philosophers	PT	005000	StateSpace	02	1	3	NONE	UNKNOWN
963	Philosophers	PT	005000	StateSpace	03	10000	3	NONE	UNKNOWN
964	PhilosophersDyn	PT	03	StateSpace	00	325	3	NONE	UNKNOWN
965	PhilosophersDyn	PT	03	StateSpace	02	1	3	NONE	UNKNOWN
966	PhilosophersDyn	PT	03	StateSpace	03	11	3	NONE	UNKNOWN
967	PhilosophersDyn	PT	10	StateSpace	00	199050	3	NONE	UNKNOWN
968	PhilosophersDyn	PT	10	StateSpace	02	1	3	NONE	UNKNOWN
969	PhilosophersDyn	PT	10	StateSpace	03	20	3	NONE	UNKNOWN
970	PolyORBLF	PT	S02J04T06	StateSpace	00	140750000	3	NONE	UNKNOWN
971	PolyORBLF	PT	S02J04T06	StateSpace	02	10	3	NONE	UNKNOWN
972	PolyORBLF	PT	S02J04T06	StateSpace	03	63	3	NONE	UNKNOWN
973	PolyORBLF	PT	S02J04T08	StateSpace	00	3532400000	2	NONE	UNKNOWN
974	PolyORBLF	PT	S02J04T08	StateSpace	02	10	2	NONE	UNKNOWN
975	PolyORBLF	PT	S02J04T08	StateSpace	03	69	2	NONE	UNKNOWN
976	ProductionCell	PT	none	StateSpace	00	11329000000000	3	NUPN	UNKNOWN
977	ProductionCell	PT	none	StateSpace	02	1	3	NUPN	UNKNOWN
978	ProductionCell	PT	none	StateSpace	03	35	3	NUPN	UNKNOWN
979	QuasiCertifProtocol	COL	02	StateSpace	00	1029	3	NONE	UNKNOWN
980	QuasiCertifProtocol	COL	02	StateSpace	02	1	3	NONE	UNKNOWN
981	QuasiCertifProtocol	COL	02	StateSpace	03	20	3	NONE	UNKNOWN
982	QuasiCertifProtocol	COL	06	StateSpace	00	2272000	3	NONE	UNKNOWN
983	QuasiCertifProtocol	COL	06	StateSpace	02	3	3	NONE	UNKNOWN
984	QuasiCertifProtocol	COL	06	StateSpace	03	74	3	NONE	UNKNOWN
985	QuasiCertifProtocol	PT	02	StateSpace	00	1029	3	NONE	UNKNOWN
986	QuasiCertifProtocol	PT	02	StateSpace	02	1	3	NONE	UNKNOWN
987	QuasiCertifProtocol	PT	02	StateSpace	03	20	3	NONE	UNKNOWN
988	QuasiCertifProtocol	PT	06	StateSpace	00	2272000	3	NONE	UNKNOWN
989	QuasiCertifProtocol	PT	06	StateSpace	02	3	3	NONE	UNKNOWN
990	QuasiCertifProtocol	PT	06	StateSpace	03	74	3	NONE	UNKNOWN
991	Raft	PT	02	StateSpace	00	7381	3	NUPN	UNKNOWN
992	Raft	PT	02	StateSpace	02	1	3	NUPN	UNKNOWN
993	Raft	PT	02	StateSpace	03	6	3	NUPN	UNKNOWN
994	Raft	PT	03	StateSpace	00	33820000	3	NUPN	UNKNOWN
995	Raft	PT	03	StateSpace	02	1	3	NUPN	UNKNOWN
996	Raft	PT	03	StateSpace	03	11	3	NUPN	UNKNOWN
997	Raft	PT	04	StateSpace	00	2965900000000	3	NUPN	UNKNOWN
998	Raft	PT	04	StateSpace	02	1	3	NUPN	UNKNOWN
999	Raft	PT	04	StateSpace	03	18	3	NUPN	UNKNOWN
1000	Raft	PT	05	StateSpace	00	59379e14	3	NUPN	UNKNOWN
1001	Raft	PT	05	StateSpace	02	1	3	NUPN	UNKNOWN
1002	Raft	PT	05	StateSpace	03	27	3	NUPN	UNKNOWN
1003	Raft	PT	06	StateSpace	00	29094e22	3	NUPN	UNKNOWN
1004	Raft	PT	06	StateSpace	02	1	3	NUPN	UNKNOWN
1005	Raft	PT	06	StateSpace	03	38	3	NUPN	UNKNOWN
1006	Raft	PT	07	StateSpace	00	35526999999999996e19	3	NUPN	UNKNOWN
1007	Raft	PT	07	StateSpace	02	1	3	NUPN	UNKNOWN
1008	Raft	PT	07	StateSpace	03	51	3	NUPN	UNKNOWN
1009	Raft	PT	08	StateSpace	00	10842e42	3	NUPN	UNKNOWN
1010	Raft	PT	08	StateSpace	02	1	3	NUPN	UNKNOWN
1011	Raft	PT	08	StateSpace	03	66	3	NUPN	UNKNOWN
1012	Raft	PT	09	StateSpace	00	82718e53	3	NUPN	UNKNOWN
1013	Raft	PT	09	StateSpace	02	1	3	NUPN	UNKNOWN
1014	Raft	PT	09	StateSpace	03	83	3	NUPN	UNKNOWN
1015	Raft	PT	10	StateSpace	00	15777e67	3	NUPN	UNKNOWN
1016	Raft	PT	10	StateSpace	02	1	3	NUPN	UNKNOWN
1017	Raft	PT	10	StateSpace	03	102	3	NUPN	UNKNOWN
1018	Railroad	PT	005	StateSpace	00	1838	3	GEN	UNKNOWN
1019	Railroad	PT	005	StateSpace	02	1	3	GEN	UNKNOWN
1020	Railroad	PT	005	StateSpace	03	16	3	GEN	UNKNOWN
1021	Railroad	PT	010	StateSpace	00	2038200	3	GEN	UNKNOWN
1022	Railroad	PT	010	StateSpace	02	1	3	GEN	UNKNOWN
1023	Railroad	PT	010	StateSpace	03	26	3	GEN	UNKNOWN
1024	Referendum	COL	0010	StateSpace	00	59050	3	NONE	UNKNOWN
1025	Referendum	COL	0010	StateSpace	02	1	3	NONE	UNKNOWN
1026	Referendum	COL	0010	StateSpace	03	10	3	NONE	UNKNOWN
1027	Referendum	COL	0015	StateSpace	00	14349000	3	NONE	UNKNOWN
1028	Referendum	COL	0015	StateSpace	02	1	3	NONE	UNKNOWN
1029	Referendum	COL	0015	StateSpace	03	15	3	NONE	UNKNOWN
1030	Referendum	COL	0020	StateSpace	00	3486800000	3	NONE	UNKNOWN
1031	Referendum	COL	0020	StateSpace	02	1	3	NONE	UNKNOWN
1032	Referendum	COL	0020	StateSpace	03	20	3	NONE	UNKNOWN
1033	Referendum	COL	0050	StateSpace	00	7179e20	3	NONE	UNKNOWN
1034	Referendum	COL	0050	StateSpace	02	1	3	NONE	UNKNOWN
1035	Referendum	COL	0050	StateSpace	03	50	3	NONE	UNKNOWN
1036	Referendum	COL	0100	StateSpace	00	51538e43	3	NONE	UNKNOWN
1037	Referendum	COL	0100	StateSpace	02	1	3	NONE	UNKNOWN
1038	Referendum	COL	0100	StateSpace	03	100	3	NONE	UNKNOWN
1039	Referendum	COL	0200	StateSpace	00	26561e91	3	NONE	UNKNOWN
1040	Referendum	COL	0200	StateSpace	02	1	3	NONE	UNKNOWN
1041	Referendum	COL	0200	StateSpace	03	200	3	NONE	UNKNOWN
1042	Referendum	COL	0500	StateSpace	00	3636000000000001e223	3	NONE	UNKNOWN
1043	Referendum	COL	0500	StateSpace	02	1	3	NONE	UNKNOWN
1044	Referendum	COL	0500	StateSpace	03	500	3	NONE	UNKNOWN
1045	Referendum	COL	1000	StateSpace	00	Inf	3	NONE	UNKNOWN
1046	Referendum	COL	1000	StateSpace	02	1	3	NONE	UNKNOWN
1047	Referendum	COL	1000	StateSpace	03	1000	3	NONE	UNKNOWN
1048	Referendum	PT	0010	StateSpace	00	59050	3	GEN	UNKNOWN
1049	Referendum	PT	0010	StateSpace	02	1	3	GEN	UNKNOWN
1050	Referendum	PT	0010	StateSpace	03	10	3	GEN	UNKNOWN
1051	Referendum	PT	0015	StateSpace	00	14349000	3	GEN	UNKNOWN
1052	Referendum	PT	0015	StateSpace	02	1	3	GEN	UNKNOWN
1053	Referendum	PT	0015	StateSpace	03	15	3	GEN	UNKNOWN
1054	Referendum	PT	0020	StateSpace	00	3486800000	3	GEN	UNKNOWN
1055	Referendum	PT	0020	StateSpace	02	1	3	GEN	UNKNOWN
1056	Referendum	PT	0020	StateSpace	03	20	3	GEN	UNKNOWN
1057	Referendum	PT	0050	StateSpace	00	7179e20	3	GEN	UNKNOWN
1058	Referendum	PT	0050	StateSpace	02	1	3	GEN	UNKNOWN
1059	Referendum	PT	0050	StateSpace	03	50	3	GEN	UNKNOWN
1060	Referendum	PT	0100	StateSpace	00	51538e43	3	GEN	UNKNOWN
1061	Referendum	PT	0100	StateSpace	02	1	3	GEN	UNKNOWN
1062	Referendum	PT	0100	StateSpace	03	100	3	GEN	UNKNOWN
1063	Referendum	PT	0200	StateSpace	00	26561e91	3	GEN	UNKNOWN
1064	Referendum	PT	0200	StateSpace	02	1	3	GEN	UNKNOWN
1065	Referendum	PT	0200	StateSpace	03	200	3	GEN	UNKNOWN
1066	Referendum	PT	0500	StateSpace	00	3636000000000001e223	3	GEN	UNKNOWN
1067	Referendum	PT	0500	StateSpace	02	1	3	GEN	UNKNOWN
1068	Referendum	PT	0500	StateSpace	03	500	3	GEN	UNKNOWN
1069	Referendum	PT	1000	StateSpace	00	Inf	3	GEN	UNKNOWN
1070	Referendum	PT	1000	StateSpace	02	1	3	GEN	UNKNOWN
1071	Referendum	PT	1000	StateSpace	03	1000	3	GEN	UNKNOWN
1072	ResAllocation	PT	R002C002	StateSpace	00	8	3	GEN	UNKNOWN
1073	ResAllocation	PT	R002C002	StateSpace	02	1	3	GEN	UNKNOWN
1074	ResAllocation	PT	R002C002	StateSpace	03	4	3	GEN	UNKNOWN
1075	ResAllocation	PT	R003C002	StateSpace	00	20	3	GEN	UNKNOWN
1076	ResAllocation	PT	R003C002	StateSpace	02	1	3	GEN	UNKNOWN
1077	ResAllocation	PT	R003C002	StateSpace	03	6	3	GEN	UNKNOWN
1078	ResAllocation	PT	R003C003	StateSpace	00	92	3	GEN	UNKNOWN
1079	ResAllocation	PT	R003C003	StateSpace	02	1	3	GEN	UNKNOWN
1080	ResAllocation	PT	R003C003	StateSpace	03	9	3	GEN	UNKNOWN
1081	ResAllocation	PT	R003C005	StateSpace	00	1200	3	GEN	UNKNOWN
1082	ResAllocation	PT	R003C005	StateSpace	02	1	3	GEN	UNKNOWN
1083	ResAllocation	PT	R003C005	StateSpace	03	15	3	GEN	UNKNOWN
1084	ResAllocation	PT	R003C010	StateSpace	00	823550	3	GEN	UNKNOWN
1085	ResAllocation	PT	R003C010	StateSpace	02	1	3	GEN	UNKNOWN
1086	ResAllocation	PT	R003C010	StateSpace	03	30	3	GEN	UNKNOWN
1087	ResAllocation	PT	R003C015	StateSpace	00	578880000	3	GEN	UNKNOWN
1088	ResAllocation	PT	R003C015	StateSpace	02	1	3	GEN	UNKNOWN
1089	ResAllocation	PT	R003C015	StateSpace	03	45	3	GEN	UNKNOWN
1090	ResAllocation	PT	R003C020	StateSpace	00	406450000000	3	GEN	UNKNOWN
1091	ResAllocation	PT	R003C020	StateSpace	02	1	3	GEN	UNKNOWN
1092	ResAllocation	PT	R003C020	StateSpace	03	60	3	GEN	UNKNOWN
1093	ResAllocation	PT	R003C100	StateSpace	00	14195e53	3	GEN	UNKNOWN
1094	ResAllocation	PT	R003C100	StateSpace	02	1	3	GEN	UNKNOWN
1095	ResAllocation	PT	R003C100	StateSpace	03	300	3	GEN	UNKNOWN
1096	ResAllocation	PT	R005C002	StateSpace	00	112	3	GEN	UNKNOWN
1097	ResAllocation	PT	R005C002	StateSpace	02	1	3	GEN	UNKNOWN
1098	ResAllocation	PT	R005C002	StateSpace	03	10	3	GEN	UNKNOWN
1099	ResAllocation	PT	R010C002	StateSpace	00	6144	3	GEN	UNKNOWN
1100	ResAllocation	PT	R010C002	StateSpace	02	1	3	GEN	UNKNOWN
1101	ResAllocation	PT	R010C002	StateSpace	03	20	3	GEN	UNKNOWN
1102	ResAllocation	PT	R015C002	StateSpace	00	278530	3	GEN	UNKNOWN
1103	ResAllocation	PT	R015C002	StateSpace	02	1	3	GEN	UNKNOWN
1104	ResAllocation	PT	R015C002	StateSpace	03	30	3	GEN	UNKNOWN
1105	ResAllocation	PT	R020C002	StateSpace	00	11534000	3	GEN	UNKNOWN
1106	ResAllocation	PT	R020C002	StateSpace	02	1	3	GEN	UNKNOWN
1107	ResAllocation	PT	R020C002	StateSpace	03	40	3	GEN	UNKNOWN
1108	ResAllocation	PT	R050C002	StateSpace	00	29273e12	3	GEN	UNKNOWN
1109	ResAllocation	PT	R050C002	StateSpace	02	1	3	GEN	UNKNOWN
1110	ResAllocation	PT	R050C002	StateSpace	03	100	3	GEN	UNKNOWN
1111	ResAllocation	PT	R100C002	StateSpace	00	6465e28	3	GEN	UNKNOWN
1112	ResAllocation	PT	R100C002	StateSpace	02	1	3	GEN	UNKNOWN
1113	ResAllocation	PT	R100C002	StateSpace	03	200	3	GEN	UNKNOWN
1114	Ring	PT	none	StateSpace	00	902650000000	3	GEN	UNKNOWN
1115	Ring	PT	none	StateSpace	02	1	3	GEN	UNKNOWN
1116	Ring	PT	none	StateSpace	03	61	3	GEN	UNKNOWN
1117	RobotManipulation	PT	00001	StateSpace	00	110	3	NONE	UNKNOWN
1118	RobotManipulation	PT	00001	StateSpace	02	3	3	NONE	UNKNOWN
1119	RobotManipulation	PT	00001	StateSpace	03	12	3	NONE	UNKNOWN
1120	RobotManipulation	PT	00002	StateSpace	00	1430	3	NONE	UNKNOWN
1121	RobotManipulation	PT	00002	StateSpace	02	5	3	NONE	UNKNOWN
1122	RobotManipulation	PT	00002	StateSpace	03	22	3	NONE	UNKNOWN
1123	RobotManipulation	PT	00005	StateSpace	00	184760	3	NONE	UNKNOWN
1124	RobotManipulation	PT	00005	StateSpace	02	11	3	NONE	UNKNOWN
1125	RobotManipulation	PT	00005	StateSpace	03	52	3	NONE	UNKNOWN
1126	RobotManipulation	PT	00010	StateSpace	00	20030000	3	NONE	UNKNOWN
1127	RobotManipulation	PT	00010	StateSpace	02	21	3	NONE	UNKNOWN
1128	RobotManipulation	PT	00010	StateSpace	03	102	3	NONE	UNKNOWN
1129	RobotManipulation	PT	00020	StateSpace	00	4108900000	3	NONE	UNKNOWN
1130	RobotManipulation	PT	00020	StateSpace	02	41	3	NONE	UNKNOWN
1131	RobotManipulation	PT	00020	StateSpace	03	202	3	NONE	UNKNOWN
1132	RobotManipulation	PT	00050	StateSpace	00	8526800000000	3	NONE	UNKNOWN
1133	RobotManipulation	PT	00050	StateSpace	02	101	3	NONE	UNKNOWN
1134	RobotManipulation	PT	00050	StateSpace	03	502	3	NONE	UNKNOWN
1135	RwMutex	PT	r0010w0010	StateSpace	00	1034	3	GEN	UNKNOWN
1136	RwMutex	PT	r0010w0010	StateSpace	02	1	3	GEN	UNKNOWN
1137	RwMutex	PT	r0010w0010	StateSpace	03	30	3	GEN	UNKNOWN
1138	RwMutex	PT	r0010w0020	StateSpace	00	1044	3	GEN	UNKNOWN
1139	RwMutex	PT	r0010w0020	StateSpace	02	1	3	GEN	UNKNOWN
1140	RwMutex	PT	r0010w0020	StateSpace	03	40	3	GEN	UNKNOWN
1141	RwMutex	PT	r0010w0050	StateSpace	00	1074	3	GEN	UNKNOWN
1142	RwMutex	PT	r0010w0050	StateSpace	02	1	3	GEN	UNKNOWN
1143	RwMutex	PT	r0010w0050	StateSpace	03	70	3	GEN	UNKNOWN
1144	RwMutex	PT	r0010w0100	StateSpace	00	1124	3	GEN	UNKNOWN
1145	RwMutex	PT	r0010w0100	StateSpace	02	1	3	GEN	UNKNOWN
1146	RwMutex	PT	r0010w0100	StateSpace	03	120	3	GEN	UNKNOWN
1147	RwMutex	PT	r0010w0500	StateSpace	00	1524	3	GEN	UNKNOWN
1148	RwMutex	PT	r0010w0500	StateSpace	02	1	3	GEN	UNKNOWN
1149	RwMutex	PT	r0010w0500	StateSpace	03	520	3	GEN	UNKNOWN
1150	RwMutex	PT	r0010w1000	StateSpace	00	2024	3	GEN	UNKNOWN
1151	RwMutex	PT	r0010w1000	StateSpace	02	1	3	GEN	UNKNOWN
1152	RwMutex	PT	r0010w1000	StateSpace	03	1020	3	GEN	UNKNOWN
1153	RwMutex	PT	r0020w0010	StateSpace	00	1048600	3	GEN	UNKNOWN
1154	RwMutex	PT	r0020w0010	StateSpace	02	1	3	GEN	UNKNOWN
1155	RwMutex	PT	r0020w0010	StateSpace	03	50	3	GEN	UNKNOWN
1156	SafeBus	COL	03	StateSpace	00	4650	3	NONE	UNKNOWN
1157	SafeBus	COL	03	StateSpace	02	1	3	NONE	UNKNOWN
1158	SafeBus	COL	03	StateSpace	03	14	3	NONE	UNKNOWN
1159	SafeBus	COL	06	StateSpace	00	6816800	3	NONE	UNKNOWN
1160	SafeBus	COL	06	StateSpace	02	1	3	NONE	UNKNOWN
1161	SafeBus	COL	06	StateSpace	03	23	3	NONE	UNKNOWN
1162	SafeBus	PT	03	StateSpace	00	4650	3	GEN	UNKNOWN
1163	SafeBus	PT	03	StateSpace	02	1	3	GEN	UNKNOWN
1164	SafeBus	PT	03	StateSpace	03	14	3	GEN	UNKNOWN
1165	SafeBus	PT	06	StateSpace	00	6816800	3	GEN	UNKNOWN
1166	SafeBus	PT	06	StateSpace	02	1	3	GEN	UNKNOWN
1167	SafeBus	PT	06	StateSpace	03	23	3	GEN	UNKNOWN
1168	SharedMemory	COL	000005	StateSpace	00	1863	3	NONE	UNKNOWN
1169	SharedMemory	COL	000005	StateSpace	02	1	3	NONE	UNKNOWN
1170	SharedMemory	COL	000005	StateSpace	03	11	3	NONE	UNKNOWN
1171	SharedMemory	COL	000010	StateSpace	00	1830500	3	NONE	UNKNOWN
1172	SharedMemory	COL	000010	StateSpace	02	1	3	NONE	UNKNOWN
1173	SharedMemory	COL	000010	StateSpace	03	21	3	NONE	UNKNOWN
1174	SharedMemory	PT	000005	StateSpace	00	1863	3	GEN	UNKNOWN
1175	SharedMemory	PT	000005	StateSpace	02	1	3	GEN	UNKNOWN
1176	SharedMemory	PT	000005	StateSpace	03	11	3	GEN	UNKNOWN
1177	SharedMemory	PT	000010	StateSpace	00	1830500	3	GEN	UNKNOWN
1178	SharedMemory	PT	000010	StateSpace	02	1	3	GEN	UNKNOWN
1179	SharedMemory	PT	000010	StateSpace	03	21	3	GEN	UNKNOWN
1180	SharedMemory	PT	000020	StateSpace	00	445150000000	3	GEN	UNKNOWN
1181	SharedMemory	PT	000020	StateSpace	02	1	3	GEN	UNKNOWN
1182	SharedMemory	PT	000020	StateSpace	03	41	3	GEN	UNKNOWN
1183	SimpleLoadBal	PT	02	StateSpace	00	832	3	GEN	UNKNOWN
1184	SimpleLoadBal	PT	02	StateSpace	02	1	3	GEN	UNKNOWN
1185	SimpleLoadBal	PT	02	StateSpace	03	11	3	GEN	UNKNOWN
1186	SimpleLoadBal	PT	05	StateSpace	00	116180	3	GEN	UNKNOWN
1187	SimpleLoadBal	PT	05	StateSpace	02	1	3	GEN	UNKNOWN
1188	SimpleLoadBal	PT	05	StateSpace	03	17	3	GEN	UNKNOWN
1189	SimpleLoadBal	PT	10	StateSpace	00	406030000	3	GEN	UNKNOWN
1190	SimpleLoadBal	PT	10	StateSpace	02	1	3	GEN	UNKNOWN
1191	SimpleLoadBal	PT	10	StateSpace	03	27	3	GEN	UNKNOWN
1192	SmallOperatingSystem	PT	MT0016DC0008	StateSpace	00	16587	3	NONE	UNKNOWN
1193	SmallOperatingSystem	PT	MT0016DC0008	StateSpace	02	16	3	NONE	UNKNOWN
1194	SmallOperatingSystem	PT	MT0016DC0008	StateSpace	03	56	3	NONE	UNKNOWN
1195	SmallOperatingSystem	PT	MT0032DC0008	StateSpace	00	166520	3	NONE	UNKNOWN
1196	SmallOperatingSystem	PT	MT0032DC0008	StateSpace	02	32	3	NONE	UNKNOWN
1197	SmallOperatingSystem	PT	MT0032DC0008	StateSpace	03	88	3	NONE	UNKNOWN
1198	SmallOperatingSystem	PT	MT0032DC0016	StateSpace	00	354500	3	NONE	UNKNOWN
1199	SmallOperatingSystem	PT	MT0032DC0016	StateSpace	02	32	3	NONE	UNKNOWN
1200	SmallOperatingSystem	PT	MT0032DC0016	StateSpace	03	112	3	NONE	UNKNOWN
1201	SmallOperatingSystem	PT	MT0064DC0016	StateSpace	00	4077900	3	NONE	UNKNOWN
1202	SmallOperatingSystem	PT	MT0064DC0016	StateSpace	02	64	3	NONE	UNKNOWN
1203	SmallOperatingSystem	PT	MT0064DC0016	StateSpace	03	176	3	NONE	UNKNOWN
1204	SmallOperatingSystem	PT	MT0064DC0032	StateSpace	00	9133600	3	NONE	UNKNOWN
1205	SmallOperatingSystem	PT	MT0064DC0032	StateSpace	02	64	3	NONE	UNKNOWN
1206	SmallOperatingSystem	PT	MT0064DC0032	StateSpace	03	224	3	NONE	UNKNOWN
1207	SmallOperatingSystem	PT	MT0128DC0032	StateSpace	00	113320000	3	NONE	UNKNOWN
1208	SmallOperatingSystem	PT	MT0128DC0032	StateSpace	02	128	3	NONE	UNKNOWN
1209	SmallOperatingSystem	PT	MT0128DC0032	StateSpace	03	352	3	NONE	UNKNOWN
1210	SmallOperatingSystem	PT	MT0128DC0064	StateSpace	00	261160000	3	NONE	UNKNOWN
1211	SmallOperatingSystem	PT	MT0128DC0064	StateSpace	02	128	3	NONE	UNKNOWN
1212	SmallOperatingSystem	PT	MT0128DC0064	StateSpace	03	448	3	NONE	UNKNOWN
1213	SmallOperatingSystem	PT	MT0256DC0064	StateSpace	00	3372400000	3	NONE	UNKNOWN
1214	SmallOperatingSystem	PT	MT0256DC0064	StateSpace	02	256	3	NONE	UNKNOWN
1215	SmallOperatingSystem	PT	MT0256DC0064	StateSpace	03	704	3	NONE	UNKNOWN
1216	SmallOperatingSystem	PT	MT0256DC0128	StateSpace	00	7890700000	3	NONE	UNKNOWN
1217	SmallOperatingSystem	PT	MT0256DC0128	StateSpace	02	256	3	NONE	UNKNOWN
1218	SmallOperatingSystem	PT	MT0256DC0128	StateSpace	03	896	3	NONE	UNKNOWN
1219	SmallOperatingSystem	PT	MT0512DC0128	StateSpace	00	104010000000	3	NONE	UNKNOWN
1220	SmallOperatingSystem	PT	MT0512DC0128	StateSpace	02	512	3	NONE	UNKNOWN
1221	SmallOperatingSystem	PT	MT0512DC0128	StateSpace	03	1408	3	NONE	UNKNOWN
1222	SmallOperatingSystem	PT	MT0512DC0256	StateSpace	00	245290000000	3	NONE	UNKNOWN
1223	SmallOperatingSystem	PT	MT0512DC0256	StateSpace	02	512	3	NONE	UNKNOWN
1224	SmallOperatingSystem	PT	MT0512DC0256	StateSpace	03	1792	3	NONE	UNKNOWN
1225	SmallOperatingSystem	PT	MT1024DC0256	StateSpace	00	3267300000000	3	NONE	UNKNOWN
1226	SmallOperatingSystem	PT	MT1024DC0256	StateSpace	02	1024	3	NONE	UNKNOWN
1227	SmallOperatingSystem	PT	MT1024DC0256	StateSpace	03	2816	3	NONE	UNKNOWN
1228	SmallOperatingSystem	PT	MT1024DC0512	StateSpace	00	7735600000000	3	NONE	UNKNOWN
1229	SmallOperatingSystem	PT	MT1024DC0512	StateSpace	02	1024	3	NONE	UNKNOWN
1230	SmallOperatingSystem	PT	MT1024DC0512	StateSpace	03	3584	3	NONE	UNKNOWN
1231	Solitaire	PT	SqrNC5x5	StateSpace	00	16098000	3	GEN	UNKNOWN
1232	Solitaire	PT	SqrNC5x5	StateSpace	02	1	3	GEN	UNKNOWN
1233	Solitaire	PT	SqrNC5x5	StateSpace	03	25	3	GEN	UNKNOWN
1234	SquareGrid	PT	020102	StateSpace	00	2085400000000	3	NONE	UNKNOWN
1235	SquareGrid	PT	020102	StateSpace	02	6	3	NONE	UNKNOWN
1236	SquareGrid	PT	020102	StateSpace	03	48	3	NONE	UNKNOWN
1237	SwimmingPool	PT	01	StateSpace	00	89621	3	NONE	UNKNOWN
1238	SwimmingPool	PT	01	StateSpace	02	20	3	NONE	UNKNOWN
1239	SwimmingPool	PT	01	StateSpace	03	45	3	NONE	UNKNOWN
1240	SwimmingPool	PT	02	StateSpace	00	3408000	3	NONE	UNKNOWN
1241	SwimmingPool	PT	02	StateSpace	02	40	3	NONE	UNKNOWN
1242	SwimmingPool	PT	02	StateSpace	03	90	3	NONE	UNKNOWN
1243	SwimmingPool	PT	03	StateSpace	00	32209000	3	NONE	UNKNOWN
1244	SwimmingPool	PT	03	StateSpace	02	60	3	NONE	UNKNOWN
1245	SwimmingPool	PT	03	StateSpace	03	135	3	NONE	UNKNOWN
1246	SwimmingPool	PT	04	StateSpace	00	164390000	3	NONE	UNKNOWN
1247	SwimmingPool	PT	04	StateSpace	02	80	3	NONE	UNKNOWN
1248	SwimmingPool	PT	04	StateSpace	03	180	3	NONE	UNKNOWN
1249	SwimmingPool	PT	05	StateSpace	00	591370000	3	NONE	UNKNOWN
1250	SwimmingPool	PT	05	StateSpace	02	100	3	NONE	UNKNOWN
1251	SwimmingPool	PT	05	StateSpace	03	225	3	NONE	UNKNOWN
1252	SwimmingPool	PT	06	StateSpace	00	1697400000	3	NONE	UNKNOWN
1253	SwimmingPool	PT	06	StateSpace	02	120	3	NONE	UNKNOWN
1254	SwimmingPool	PT	06	StateSpace	03	270	3	NONE	UNKNOWN
1255	SwimmingPool	PT	07	StateSpace	00	4160400000	3	NONE	UNKNOWN
1256	SwimmingPool	PT	07	StateSpace	02	140	3	NONE	UNKNOWN
1257	SwimmingPool	PT	07	StateSpace	03	315	3	NONE	UNKNOWN
1258	TCPcondis	PT	05	StateSpace	00	2985800	3	NONE	UNKNOWN
1259	TCPcondis	PT	05	StateSpace	02	5	3	NONE	UNKNOWN
1260	TCPcondis	PT	05	StateSpace	03	20	3	NONE	UNKNOWN
1261	TCPcondis	PT	10	StateSpace	00	13762000000	3	NONE	UNKNOWN
1262	TCPcondis	PT	10	StateSpace	02	10	3	NONE	UNKNOWN
1263	TCPcondis	PT	10	StateSpace	03	40	3	NONE	UNKNOWN
1264	TCPcondis	PT	15	StateSpace	00	5397100000000	3	NONE	UNKNOWN
1265	TCPcondis	PT	15	StateSpace	02	15	3	NONE	UNKNOWN
1266	TCPcondis	PT	15	StateSpace	03	60	3	NONE	UNKNOWN
1267	TCPcondis	PT	20	StateSpace	00	556110000000000	2	NONE	UNKNOWN
1268	TCPcondis	PT	20	StateSpace	02	20	2	NONE	UNKNOWN
1269	TCPcondis	PT	20	StateSpace	03	80	2	NONE	UNKNOWN
1270	TokenRing	COL	005	StateSpace	00	166	3	NONE	UNKNOWN
1271	TokenRing	COL	005	StateSpace	02	1	3	NONE	UNKNOWN
1272	TokenRing	COL	005	StateSpace	03	6	3	NONE	UNKNOWN
1273	TokenRing	COL	010	StateSpace	00	58905	3	NONE	UNKNOWN
1274	TokenRing	COL	010	StateSpace	02	1	3	NONE	UNKNOWN
1275	TokenRing	COL	010	StateSpace	03	11	3	NONE	UNKNOWN
1276	TokenRing	COL	015	StateSpace	00	35358000	3	NONE	UNKNOWN
1277	TokenRing	COL	015	StateSpace	02	1	3	NONE	UNKNOWN
1278	TokenRing	COL	015	StateSpace	03	16	3	NONE	UNKNOWN
1279	TokenRing	COL	020	StateSpace	00	24466000000	3	NONE	UNKNOWN
1280	TokenRing	COL	020	StateSpace	02	1	3	NONE	UNKNOWN
1281	TokenRing	COL	020	StateSpace	03	21	3	NONE	UNKNOWN
1282	TokenRing	COL	030	StateSpace	00	14545e12	3	NONE	UNKNOWN
1283	TokenRing	COL	030	StateSpace	02	1	3	NONE	UNKNOWN
1284	TokenRing	COL	030	StateSpace	03	31	3	NONE	UNKNOWN
1285	TokenRing	COL	040	StateSpace	00	10114e18	3	NONE	UNKNOWN
1286	TokenRing	COL	040	StateSpace	02	1	3	NONE	UNKNOWN
1287	TokenRing	COL	040	StateSpace	03	41	3	NONE	UNKNOWN
1288	TokenRing	COL	050	StateSpace	00	7684799999999999e12	1	NONE	UNKNOWN
1289	TokenRing	COL	050	StateSpace	02	1	1	NONE	UNKNOWN
1290	TokenRing	COL	050	StateSpace	03	51	1	NONE	UNKNOWN
1291	TokenRing	PT	005	StateSpace	00	166	3	GEN	UNKNOWN
1292	TokenRing	PT	005	StateSpace	02	1	3	GEN	UNKNOWN
1293	TokenRing	PT	005	StateSpace	03	6	3	GEN	UNKNOWN
1294	TokenRing	PT	010	StateSpace	00	58905	3	GEN	UNKNOWN
1295	TokenRing	PT	010	StateSpace	02	1	3	GEN	UNKNOWN
1296	TokenRing	PT	010	StateSpace	03	11	3	GEN	UNKNOWN
1297	TokenRing	PT	015	StateSpace	00	35358000	3	GEN	UNKNOWN
1298	TokenRing	PT	015	StateSpace	02	1	3	GEN	UNKNOWN
1299	TokenRing	PT	015	StateSpace	03	16	3	GEN	UNKNOWN
1300	TokenRing	PT	020	StateSpace	00	24466000000	3	GEN	UNKNOWN
1301	TokenRing	PT	020	StateSpace	02	1	3	GEN	UNKNOWN
1302	TokenRing	PT	020	StateSpace	03	21	3	GEN	UNKNOWN
1303	TokenRing	PT	030	StateSpace	00	14545e12	3	GEN	UNKNOWN
1304	TokenRing	PT	030	StateSpace	02	1	3	GEN	UNKNOWN
1305	TokenRing	PT	030	StateSpace	03	31	3	GEN	UNKNOWN
1306	TokenRing	PT	040	StateSpace	00	10114e18	3	GEN	UNKNOWN
1307	TokenRing	PT	040	StateSpace	02	1	3	GEN	UNKNOWN
1308	TokenRing	PT	040	StateSpace	03	41	3	GEN	UNKNOWN
1309	TriangularGrid	PT	1200	StateSpace	00	109550	3	NONE	UNKNOWN
1310	TriangularGrid	PT	1200	StateSpace	02	60	3	NONE	UNKNOWN
1311	TriangularGrid	PT	1200	StateSpace	03	66	3	NONE	UNKNOWN
1312	TriangularGrid	PT	1500	StateSpace	00	705710	3	NONE	UNKNOWN
1313	TriangularGrid	PT	1500	StateSpace	02	150	3	NONE	UNKNOWN
1314	TriangularGrid	PT	1500	StateSpace	03	156	3	NONE	UNKNOWN
1315	TriangularGrid	PT	2011	StateSpace	00	940100000	3	NONE	UNKNOWN
1316	TriangularGrid	PT	2011	StateSpace	02	4	3	NONE	UNKNOWN
1317	TriangularGrid	PT	2011	StateSpace	03	34	3	NONE	UNKNOWN
1318	TriangularGrid	PT	3011	StateSpace	00	28468e16	3	NONE	UNKNOWN
1319	TriangularGrid	PT	3011	StateSpace	02	4	3	NONE	UNKNOWN
1320	TriangularGrid	PT	3011	StateSpace	03	72	3	NONE	UNKNOWN
1321	TriangularGrid	PT	3026	StateSpace	00	37522e24	3	NONE	UNKNOWN
1322	TriangularGrid	PT	3026	StateSpace	02	12	3	NONE	UNKNOWN
1323	TriangularGrid	PT	3026	StateSpace	03	144	3	NONE	UNKNOWN
1324	UtahNoC	PT	none	StateSpace	00	4759900000	3	NUPN	UNKNOWN
1325	UtahNoC	PT	none	StateSpace	02	1	3	NUPN	UNKNOWN
1326	UtahNoC	PT	none	StateSpace	03	8	3	NUPN	UNKNOWN
1327	Vasy2003	PT	none	StateSpace	00	97947e17	3	NUPN	UNKNOWN
1328	Vasy2003	PT	none	StateSpace	02	1	3	NUPN	UNKNOWN
1329	Vasy2003	PT	none	StateSpace	03	60	3	NUPN	UNKNOWN
1330	ASLink	PT	01a	StateSpace	00	189400000	3	NUPN	UNKNOWN
1331	ASLink	PT	01a	StateSpace	02	1	3	NUPN	UNKNOWN
1332	ASLink	PT	01a	StateSpace	03	23	3	NUPN	UNKNOWN
1333	ASLink	PT	02a	StateSpace	00	8867300000000	3	NUPN	UNKNOWN
1334	ASLink	PT	02a	StateSpace	02	1	3	NUPN	UNKNOWN
1335	ASLink	PT	02a	StateSpace	03	36	3	NUPN	UNKNOWN
1336	ASLink	PT	03a	StateSpace	00	42435e13	3	NUPN	UNKNOWN
1337	ASLink	PT	03a	StateSpace	02	1	3	NUPN	UNKNOWN
1338	ASLink	PT	03a	StateSpace	03	49	3	NUPN	UNKNOWN
1339	ASLink	PT	05a	StateSpace	00	97382e22	2	NUPN	UNKNOWN
1340	ASLink	PT	05a	StateSpace	02	1	2	NUPN	UNKNOWN
1341	ASLink	PT	05a	StateSpace	03	75	2	NUPN	UNKNOWN
1342	ASLink	PT	06a	StateSpace	00	46652e27	2	NUPN	UNKNOWN
1343	ASLink	PT	06a	StateSpace	02	1	2	NUPN	UNKNOWN
1344	ASLink	PT	06a	StateSpace	03	88	2	NUPN	UNKNOWN
1345	BusinessProcesses	PT	01	StateSpace	00	24161000000	3	NUPN	UNKNOWN
1346	BusinessProcesses	PT	01	StateSpace	02	1	3	NUPN	UNKNOWN
1347	BusinessProcesses	PT	01	StateSpace	03	22	3	NUPN	UNKNOWN
1348	BusinessProcesses	PT	02	StateSpace	00	3143200000000	3	NUPN	UNKNOWN
1349	BusinessProcesses	PT	02	StateSpace	02	1	3	NUPN	UNKNOWN
1350	BusinessProcesses	PT	02	StateSpace	03	32	3	NUPN	UNKNOWN
1351	BusinessProcesses	PT	03	StateSpace	00	14794000000000	3	NUPN	UNKNOWN
1352	BusinessProcesses	PT	03	StateSpace	02	1	3	NUPN	UNKNOWN
1353	BusinessProcesses	PT	03	StateSpace	03	31	3	NUPN	UNKNOWN
1354	BusinessProcesses	PT	04	StateSpace	00	219700000000	3	NUPN	UNKNOWN
1355	BusinessProcesses	PT	04	StateSpace	02	1	3	NUPN	UNKNOWN
1356	BusinessProcesses	PT	04	StateSpace	03	25	3	NUPN	UNKNOWN
1357	BusinessProcesses	PT	05	StateSpace	00	23839e13	3	NUPN	UNKNOWN
1358	BusinessProcesses	PT	05	StateSpace	02	1	3	NUPN	UNKNOWN
1359	BusinessProcesses	PT	05	StateSpace	03	41	3	NUPN	UNKNOWN
1360	BusinessProcesses	PT	08	StateSpace	00	494e15	3	NUPN	UNKNOWN
1361	BusinessProcesses	PT	08	StateSpace	02	1	3	NUPN	UNKNOWN
1362	BusinessProcesses	PT	08	StateSpace	03	44	3	NUPN	UNKNOWN
1363	BusinessProcesses	PT	11	StateSpace	00	71819e18	3	NUPN	UNKNOWN
1364	BusinessProcesses	PT	11	StateSpace	02	1	3	NUPN	UNKNOWN
1365	BusinessProcesses	PT	11	StateSpace	03	61	3	NUPN	UNKNOWN
1366	DLCflexbar	PT	2a	StateSpace	00	79792e16	3	NUPN	UNKNOWN
1367	DLCflexbar	PT	2a	StateSpace	02	1	3	NUPN	UNKNOWN
1368	DLCflexbar	PT	2a	StateSpace	03	196	3	NUPN	UNKNOWN
1369	DLCflexbar	PT	3a	StateSpace	00	22539e26	3	NUPN	UNKNOWN
1370	DLCflexbar	PT	3a	StateSpace	02	1	3	NUPN	UNKNOWN
1371	DLCflexbar	PT	3a	StateSpace	03	355	3	NUPN	UNKNOWN
1372	DLCflexbar	PT	4a	StateSpace	00	15287000000000002e27	3	NUPN	UNKNOWN
1373	DLCflexbar	PT	4a	StateSpace	02	1	3	NUPN	UNKNOWN
1374	DLCflexbar	PT	4a	StateSpace	03	608	3	NUPN	UNKNOWN
1375	DLCflexbar	PT	5a	StateSpace	00	24893e55	3	NUPN	UNKNOWN
1376	DLCflexbar	PT	5a	StateSpace	02	1	3	NUPN	UNKNOWN
1377	DLCflexbar	PT	5a	StateSpace	03	979	3	NUPN	UNKNOWN
1378	DLCflexbar	PT	6a	StateSpace	00	9732700000000001e63	3	NUPN	UNKNOWN
1379	DLCflexbar	PT	6a	StateSpace	02	1	3	NUPN	UNKNOWN
1380	DLCflexbar	PT	6a	StateSpace	03	1492	3	NUPN	UNKNOWN
1381	DLCflexbar	PT	7a	StateSpace	00	91366e97	3	NUPN	UNKNOWN
1382	DLCflexbar	PT	7a	StateSpace	02	1	3	NUPN	UNKNOWN
1383	DLCflexbar	PT	7a	StateSpace	03	2171	3	NUPN	UNKNOWN
1384	DLCflexbar	PT	8a	StateSpace	00	20593e124	3	NUPN	UNKNOWN
1385	DLCflexbar	PT	8a	StateSpace	02	1	3	NUPN	UNKNOWN
1386	DLCflexbar	PT	8a	StateSpace	03	3040	3	NUPN	UNKNOWN
1387	DiscoveryGPU	PT	06a	StateSpace	00	1771600	3	NUPN	UNKNOWN
1388	DiscoveryGPU	PT	06a	StateSpace	02	1	3	NUPN	UNKNOWN
1389	DiscoveryGPU	PT	06a	StateSpace	03	8	3	NUPN	UNKNOWN
1390	DiscoveryGPU	PT	06b	StateSpace	00	6138700000	3	NUPN	UNKNOWN
1391	DiscoveryGPU	PT	06b	StateSpace	02	1	3	NUPN	UNKNOWN
1392	DiscoveryGPU	PT	06b	StateSpace	03	8	3	NUPN	UNKNOWN
1393	DiscoveryGPU	PT	07a	StateSpace	00	19487000	3	NUPN	UNKNOWN
1394	DiscoveryGPU	PT	07a	StateSpace	02	1	3	NUPN	UNKNOWN
1395	DiscoveryGPU	PT	07a	StateSpace	03	9	3	NUPN	UNKNOWN
1396	DiscoveryGPU	PT	07b	StateSpace	00	178680000000	3	NUPN	UNKNOWN
1397	DiscoveryGPU	PT	07b	StateSpace	02	1	3	NUPN	UNKNOWN
1398	DiscoveryGPU	PT	07b	StateSpace	03	9	3	NUPN	UNKNOWN
1399	DiscoveryGPU	PT	08a	StateSpace	00	214360000	3	NUPN	UNKNOWN
1400	DiscoveryGPU	PT	08a	StateSpace	02	1	3	NUPN	UNKNOWN
1401	DiscoveryGPU	PT	08a	StateSpace	03	10	3	NUPN	UNKNOWN
1402	DiscoveryGPU	PT	08b	StateSpace	00	5121500000000	3	NUPN	UNKNOWN
1403	DiscoveryGPU	PT	08b	StateSpace	02	1	3	NUPN	UNKNOWN
1404	DiscoveryGPU	PT	08b	StateSpace	03	10	3	NUPN	UNKNOWN
1405	DiscoveryGPU	PT	09a	StateSpace	00	2357900000	3	NUPN	UNKNOWN
1406	DiscoveryGPU	PT	09a	StateSpace	02	1	3	NUPN	UNKNOWN
1407	DiscoveryGPU	PT	09a	StateSpace	03	11	3	NUPN	UNKNOWN
1408	DiscoveryGPU	PT	09b	StateSpace	00	145100000000000	3	NUPN	UNKNOWN
1409	DiscoveryGPU	PT	09b	StateSpace	02	1	3	NUPN	UNKNOWN
1410	DiscoveryGPU	PT	09b	StateSpace	03	11	3	NUPN	UNKNOWN
1411	DiscoveryGPU	PT	10a	StateSpace	00	25937000000	3	NUPN	UNKNOWN
1412	DiscoveryGPU	PT	10a	StateSpace	02	1	3	NUPN	UNKNOWN
1413	DiscoveryGPU	PT	10a	StateSpace	03	12	3	NUPN	UNKNOWN
1414	DiscoveryGPU	PT	10b	StateSpace	00	40741e11	3	NUPN	UNKNOWN
1415	DiscoveryGPU	PT	10b	StateSpace	02	1	3	NUPN	UNKNOWN
1416	DiscoveryGPU	PT	10b	StateSpace	03	12	3	NUPN	UNKNOWN
1417	DiscoveryGPU	PT	11a	StateSpace	00	285310000000	3	NUPN	UNKNOWN
1418	DiscoveryGPU	PT	11a	StateSpace	02	1	3	NUPN	UNKNOWN
1419	DiscoveryGPU	PT	11a	StateSpace	03	13	3	NUPN	UNKNOWN
1420	DiscoveryGPU	PT	11b	StateSpace	00	11358e13	3	NUPN	UNKNOWN
1421	DiscoveryGPU	PT	11b	StateSpace	02	1	3	NUPN	UNKNOWN
1422	DiscoveryGPU	PT	11b	StateSpace	03	13	3	NUPN	UNKNOWN
1423	DiscoveryGPU	PT	12a	StateSpace	00	3138400000000	3	NUPN	UNKNOWN
1424	DiscoveryGPU	PT	12a	StateSpace	02	1	3	NUPN	UNKNOWN
1425	DiscoveryGPU	PT	12a	StateSpace	03	14	3	NUPN	UNKNOWN
1426	DiscoveryGPU	PT	12b	StateSpace	00	31487e14	3	NUPN	UNKNOWN
1427	DiscoveryGPU	PT	12b	StateSpace	02	1	3	NUPN	UNKNOWN
1428	DiscoveryGPU	PT	12b	StateSpace	03	14	3	NUPN	UNKNOWN
1429	DiscoveryGPU	PT	13a	StateSpace	00	34523000000000	3	NUPN	UNKNOWN
1430	DiscoveryGPU	PT	13a	StateSpace	02	1	3	NUPN	UNKNOWN
1431	DiscoveryGPU	PT	13a	StateSpace	03	15	3	NUPN	UNKNOWN
1432	DiscoveryGPU	PT	13b	StateSpace	00	86891e15	3	NUPN	UNKNOWN
1433	DiscoveryGPU	PT	13b	StateSpace	02	1	3	NUPN	UNKNOWN
1434	DiscoveryGPU	PT	13b	StateSpace	03	15	3	NUPN	UNKNOWN
1435	DiscoveryGPU	PT	14a	StateSpace	00	379750000000000	3	NUPN	UNKNOWN
1436	DiscoveryGPU	PT	14a	StateSpace	02	1	3	NUPN	UNKNOWN
1437	DiscoveryGPU	PT	14a	StateSpace	03	16	3	NUPN	UNKNOWN
1438	DiscoveryGPU	PT	14b	StateSpace	00	2.3889999999999997e+21	3	NUPN	UNKNOWN
1439	DiscoveryGPU	PT	14b	StateSpace	02	1	3	NUPN	UNKNOWN
1440	DiscoveryGPU	PT	14b	StateSpace	03	16	3	NUPN	UNKNOWN
1441	DiscoveryGPU	PT	15a	StateSpace	00	41772e11	3	NUPN	UNKNOWN
1442	DiscoveryGPU	PT	15a	StateSpace	02	1	3	NUPN	UNKNOWN
1443	DiscoveryGPU	PT	15a	StateSpace	03	17	3	NUPN	UNKNOWN
1444	DiscoveryGPU	PT	15b	StateSpace	00	65486e18	3	NUPN	UNKNOWN
1445	DiscoveryGPU	PT	15b	StateSpace	02	1	3	NUPN	UNKNOWN
1446	DiscoveryGPU	PT	15b	StateSpace	03	17	3	NUPN	UNKNOWN
1447	DoubleExponent	PT	001	StateSpace	00	149	3	NONE	UNKNOWN
1448	DoubleExponent	PT	001	StateSpace	02	4	3	NONE	UNKNOWN
1449	DoubleExponent	PT	001	StateSpace	03	21	3	NONE	UNKNOWN
1450	DoubleExponent	PT	002	StateSpace	00	3708	3	NONE	UNKNOWN
1451	DoubleExponent	PT	002	StateSpace	02	16	3	NONE	UNKNOWN
1452	DoubleExponent	PT	002	StateSpace	03	71	3	NONE	UNKNOWN
1453	DoubleExponent	PT	003	StateSpace	00	2385100	3	NONE	UNKNOWN
1454	DoubleExponent	PT	003	StateSpace	02	256	3	NONE	UNKNOWN
1455	DoubleExponent	PT	003	StateSpace	03	841	3	NONE	UNKNOWN
1456	EGFr	PT	02010	StateSpace	00	4200	3	GEN	UNKNOWN
1457	EGFr	PT	02010	StateSpace	02	1	3	GEN	UNKNOWN
1458	EGFr	PT	02010	StateSpace	03	20	3	GEN	UNKNOWN
1459	EGFr	PT	10420	StateSpace	00	27022e12	3	GEN	UNKNOWN
1460	EGFr	PT	10420	StateSpace	02	1	3	GEN	UNKNOWN
1461	EGFr	PT	10420	StateSpace	03	104	3	GEN	UNKNOWN
1462	EGFr	PT	10421	StateSpace	00	27022e12	3	NONE	UNKNOWN
1463	EGFr	PT	10421	StateSpace	02	1	3	NONE	UNKNOWN
1464	EGFr	PT	10421	StateSpace	03	104	3	NONE	UNKNOWN
1465	MAPKbis	PT	5310	StateSpace	00	3846400000000	3	GEN	UNKNOWN
1466	MAPKbis	PT	5310	StateSpace	02	1	3	GEN	UNKNOWN
1467	MAPKbis	PT	5310	StateSpace	03	53	3	GEN	UNKNOWN
1468	MAPKbis	PT	5320	StateSpace	00	8126500	3	GEN	UNKNOWN
1469	MAPKbis	PT	5320	StateSpace	02	1	3	GEN	UNKNOWN
1470	MAPKbis	PT	5320	StateSpace	03	53	3	GEN	UNKNOWN
1471	NQueens	PT	05	StateSpace	00	462	3	GEN	UNKNOWN
1472	NQueens	PT	05	StateSpace	02	1	3	GEN	UNKNOWN
1473	NQueens	PT	05	StateSpace	03	30	3	GEN	UNKNOWN
1474	NQueens	PT	08	StateSpace	00	118970	3	GEN	UNKNOWN
1475	NQueens	PT	08	StateSpace	02	1	3	GEN	UNKNOWN
1476	NQueens	PT	08	StateSpace	03	48	3	GEN	UNKNOWN
1477	NQueens	PT	10	StateSpace	00	7535400	3	GEN	UNKNOWN
1478	NQueens	PT	10	StateSpace	02	1	3	GEN	UNKNOWN
1479	NQueens	PT	10	StateSpace	03	60	3	GEN	UNKNOWN
1480	RefineWMG	PT	002002	StateSpace	00	58320	3	NONE	UNKNOWN
1481	RefineWMG	PT	002002	StateSpace	02	7	3	NONE	UNKNOWN
1482	RefineWMG	PT	002002	StateSpace	03	20	3	NONE	UNKNOWN
1483	RefineWMG	PT	002003	StateSpace	00	184320	3	NONE	UNKNOWN
1484	RefineWMG	PT	002003	StateSpace	02	7	3	NONE	UNKNOWN
1485	RefineWMG	PT	002003	StateSpace	03	24	3	NONE	UNKNOWN
1486	RefineWMG	PT	005005	StateSpace	00	622560000000	3	NONE	UNKNOWN
1487	RefineWMG	PT	005005	StateSpace	02	7	3	NONE	UNKNOWN
1488	RefineWMG	PT	005005	StateSpace	03	62	3	NONE	UNKNOWN
1489	RefineWMG	PT	005006	StateSpace	00	2908400000000	3	NONE	UNKNOWN
1490	RefineWMG	PT	005006	StateSpace	02	7	3	NONE	UNKNOWN
1491	RefineWMG	PT	005006	StateSpace	03	72	3	NONE	UNKNOWN
1492	RefineWMG	PT	007007	StateSpace	00	16981e13	3	NONE	UNKNOWN
1493	RefineWMG	PT	007007	StateSpace	02	7	3	NONE	UNKNOWN
1494	RefineWMG	PT	007007	StateSpace	03	110	3	NONE	UNKNOWN
1495	RefineWMG	PT	007008	StateSpace	00	88327e13	3	NONE	UNKNOWN
1496	RefineWMG	PT	007008	StateSpace	02	8	3	NONE	UNKNOWN
1497	RefineWMG	PT	007008	StateSpace	03	124	3	NONE	UNKNOWN
1498	RefineWMG	PT	100100	StateSpace	00	Inf	2	NONE	UNKNOWN
1499	RefineWMG	PT	100100	StateSpace	02	100	2	NONE	UNKNOWN
1500	RefineWMG	PT	100100	StateSpace	03	20012	2	NONE	UNKNOWN
1501	RefineWMG	PT	100101	StateSpace	00	Inf	2	NONE	UNKNOWN
1502	RefineWMG	PT	100101	StateSpace	02	101	2	NONE	UNKNOWN
1503	RefineWMG	PT	100101	StateSpace	03	20212	2	NONE	UNKNOWN
1504	CloudOpsManagement	PT	00002by00001	StateSpace	00	3857	3	NONE	UNKNOWN
1505	CloudOpsManagement	PT	00002by00001	StateSpace	02	4	3	NONE	UNKNOWN
1506	CloudOpsManagement	PT	00002by00001	StateSpace	03	18	3	NONE	UNKNOWN
1507	CloudOpsManagement	PT	00005by00002	StateSpace	00	1612700	3	NONE	UNKNOWN
1508	CloudOpsManagement	PT	00005by00002	StateSpace	02	9	3	NONE	UNKNOWN
1509	CloudOpsManagement	PT	00005by00002	StateSpace	03	41	3	NONE	UNKNOWN
1510	CloudOpsManagement	PT	00010by00005	StateSpace	00	10733000000	3	NONE	UNKNOWN
1511	CloudOpsManagement	PT	00010by00005	StateSpace	02	20	3	NONE	UNKNOWN
1512	CloudOpsManagement	PT	00010by00005	StateSpace	03	90	3	NONE	UNKNOWN
1513	CloudOpsManagement	PT	00020by00010	StateSpace	00	66422000000000	3	NONE	UNKNOWN
1514	CloudOpsManagement	PT	00020by00010	StateSpace	02	40	3	NONE	UNKNOWN
1515	CloudOpsManagement	PT	00020by00010	StateSpace	03	180	3	NONE	UNKNOWN
1516	CloudOpsManagement	PT	00040by00020	StateSpace	00	10905e14	3	NONE	UNKNOWN
1517	CloudOpsManagement	PT	00040by00020	StateSpace	02	80	3	NONE	UNKNOWN
1518	CloudOpsManagement	PT	00040by00020	StateSpace	03	360	3	NONE	UNKNOWN
1519	CloudOpsManagement	PT	00080by00040	StateSpace	00	33365e18	3	NONE	UNKNOWN
1520	CloudOpsManagement	PT	00080by00040	StateSpace	02	160	3	NONE	UNKNOWN
1521	CloudOpsManagement	PT	00080by00040	StateSpace	03	720	3	NONE	UNKNOWN
1522	NoC3x3	PT	1A	StateSpace	00	2.1507000000000001e+21	3	NUPN	UNKNOWN
1523	NoC3x3	PT	1A	StateSpace	02	1	3	NUPN	UNKNOWN
1524	NoC3x3	PT	1A	StateSpace	03	40	3	NUPN	UNKNOWN
1525	NoC3x3	PT	2A	StateSpace	00	7725e25	1	NUPN	UNKNOWN
1526	NoC3x3	PT	2A	StateSpace	02	1	1	NUPN	UNKNOWN
1527	NoC3x3	PT	2A	StateSpace	03	66	1	NUPN	UNKNOWN
1528	NoC3x3	PT	3A	StateSpace	00	23745e25	2	NUPN	UNKNOWN
1529	NoC3x3	PT	3A	StateSpace	02	1	2	NUPN	UNKNOWN
1530	NoC3x3	PT	3A	StateSpace	03	66	2	NUPN	UNKNOWN
1531	NoC3x3	PT	4A	StateSpace	00	7245800000000001e21	1	NUPN	UNKNOWN
1532	NoC3x3	PT	4A	StateSpace	02	1	1	NUPN	UNKNOWN
1533	NoC3x3	PT	4A	StateSpace	03	66	1	NUPN	UNKNOWN
1534	NoC3x3	PT	8A	StateSpace	00	7247999999999999e24	2	NUPN	UNKNOWN
1535	NoC3x3	PT	8A	StateSpace	02	1	2	NUPN	UNKNOWN
1536	NoC3x3	PT	8A	StateSpace	03	66	2	NUPN	UNKNOWN
1537	AutoFlight	PT	04b	StateSpace	00	90465e19	3	NUPN	UNKNOWN
1538	AutoFlight	PT	04b	StateSpace	02	1	3	NUPN	UNKNOWN
1539	AutoFlight	PT	04b	StateSpace	03	27	3	NUPN	UNKNOWN
1540	BridgeAndVehicles	PT	V20P10N50	StateSpace	00	9080900	3	NONE	UNKNOWN
1541	BridgeAndVehicles	PT	V20P10N50	StateSpace	02	20	3	NONE	UNKNOWN
1542	BridgeAndVehicles	PT	V20P10N50	StateSpace	03	54	3	NONE	UNKNOWN
1543	BridgeAndVehicles	PT	V20P20N50	StateSpace	00	9792300	3	NONE	UNKNOWN
1544	BridgeAndVehicles	PT	V20P20N50	StateSpace	02	20	3	NONE	UNKNOWN
1545	BridgeAndVehicles	PT	V20P20N50	StateSpace	03	64	3	NONE	UNKNOWN
1546	CSRepetitions	COL	05	StateSpace	00	65491e15	3	NONE	UNKNOWN
1547	CSRepetitions	COL	05	StateSpace	02	5	3	NONE	UNKNOWN
1548	CSRepetitions	COL	05	StateSpace	03	35	3	NONE	UNKNOWN
1549	CSRepetitions	PT	05	StateSpace	00	65491e15	3	NONE	UNKNOWN
1550	CSRepetitions	PT	05	StateSpace	02	5	3	NONE	UNKNOWN
1551	CSRepetitions	PT	05	StateSpace	03	35	3	NONE	UNKNOWN
1552	ClientsAndServers	PT	N0010P0	StateSpace	00	10911e11	3	NONE	UNKNOWN
1553	ClientsAndServers	PT	N0010P0	StateSpace	02	80	3	NONE	UNKNOWN
1554	ClientsAndServers	PT	N0010P0	StateSpace	03	250	3	NONE	UNKNOWN
1555	ClientsAndServers	PT	N0010P1	StateSpace	00	15502e11	3	NONE	UNKNOWN
1556	ClientsAndServers	PT	N0010P1	StateSpace	02	80	3	NONE	UNKNOWN
1557	ClientsAndServers	PT	N0010P1	StateSpace	03	255	3	NONE	UNKNOWN
1558	ClientsAndServers	PT	N0010P2	StateSpace	00	1898e12	3	NONE	UNKNOWN
1559	ClientsAndServers	PT	N0010P2	StateSpace	02	80	3	NONE	UNKNOWN
1560	ClientsAndServers	PT	N0010P2	StateSpace	03	260	3	NONE	UNKNOWN
1561	DES	PT	05b	StateSpace	00	2614e17	3	NUPN	UNKNOWN
1562	DES	PT	05b	StateSpace	02	1	3	NUPN	UNKNOWN
1563	DES	PT	05b	StateSpace	03	51	3	NUPN	UNKNOWN
1564	DES	PT	10b	StateSpace	00	1.6887000000000001e+21	3	NUPN	UNKNOWN
1565	DES	PT	10b	StateSpace	02	1	3	NUPN	UNKNOWN
1566	DES	PT	10b	StateSpace	03	51	3	NUPN	UNKNOWN
1567	DES	PT	20b	StateSpace	00	82277e17	3	NUPN	UNKNOWN
1568	DES	PT	20b	StateSpace	02	1	3	NUPN	UNKNOWN
1569	DES	PT	20b	StateSpace	03	51	3	NUPN	UNKNOWN
1570	DES	PT	30a	StateSpace	00	19178000000000	3	NUPN	UNKNOWN
1571	DES	PT	30a	StateSpace	02	1	3	NUPN	UNKNOWN
1572	DES	PT	30a	StateSpace	03	51	3	NUPN	UNKNOWN
1573	DES	PT	40a	StateSpace	00	35226000000000	3	NUPN	UNKNOWN
1574	DES	PT	40a	StateSpace	02	1	3	NUPN	UNKNOWN
1575	DES	PT	40a	StateSpace	03	51	3	NUPN	UNKNOWN
1576	DES	PT	50a	StateSpace	02	1	3	NUPN	UNKNOWN
1577	DES	PT	50a	StateSpace	03	51	3	NUPN	UNKNOWN
1578	ERK	PT	001000	StateSpace	00	14082e12	3	NONE	UNKNOWN
1579	ERK	PT	001000	StateSpace	02	1000	3	NONE	UNKNOWN
1580	ERK	PT	001000	StateSpace	03	5000	3	NONE	UNKNOWN
1581	GPPP	PT	C0001N0000001000	StateSpace	00	14354000000	3	NONE	UNKNOWN
1582	GPPP	PT	C0001N0000001000	StateSpace	02	4007	3	NONE	UNKNOWN
1583	GPPP	PT	C0001N0000001000	StateSpace	03	10033	3	NONE	UNKNOWN
1584	GPPP	PT	C0010N0000000010	StateSpace	00	23537000000	3	NONE	UNKNOWN
1585	GPPP	PT	C0010N0000000010	StateSpace	02	110	3	NONE	UNKNOWN
1586	GPPP	PT	C0010N0000000010	StateSpace	03	404	3	NONE	UNKNOWN
1587	GPPP	PT	C0010N0000000100	StateSpace	00	176890000000	3	NONE	UNKNOWN
1588	GPPP	PT	C0010N0000000100	StateSpace	02	407	3	NONE	UNKNOWN
1589	GPPP	PT	C0010N0000000100	StateSpace	03	1280	3	NONE	UNKNOWN
1590	GPPP	PT	C0100N0000000010	StateSpace	00	14185000000	3	NONE	UNKNOWN
1591	GPPP	PT	C0100N0000000010	StateSpace	02	740	3	NONE	UNKNOWN
1592	GPPP	PT	C0100N0000000010	StateSpace	03	3103	3	NONE	UNKNOWN
1593	GPPP	PT	C0100N0000000100	StateSpace	00	2454e12	3	NONE	UNKNOWN
1594	GPPP	PT	C0100N0000000100	StateSpace	02	1100	3	NONE	UNKNOWN
1595	GPPP	PT	C0100N0000000100	StateSpace	03	4004	3	NONE	UNKNOWN
1596	GPPP	PT	C0100N0000001000	StateSpace	00	20293e12	3	NONE	UNKNOWN
1597	GPPP	PT	C0100N0000001000	StateSpace	02	4007	3	NONE	UNKNOWN
1598	GPPP	PT	C0100N0000001000	StateSpace	03	12800	3	NONE	UNKNOWN
1599	GPPP	PT	C1000N0000000010	StateSpace	00	14185000000	3	NONE	UNKNOWN
1600	GPPP	PT	C1000N0000000010	StateSpace	02	7040	3	NONE	UNKNOWN
1601	GPPP	PT	C1000N0000000010	StateSpace	03	30103	3	NONE	UNKNOWN
1602	GPPP	PT	C1000N0000000100	StateSpace	00	11406e11	3	NONE	UNKNOWN
1603	GPPP	PT	C1000N0000000100	StateSpace	02	7400	3	NONE	UNKNOWN
1604	GPPP	PT	C1000N0000000100	StateSpace	03	31003	3	NONE	UNKNOWN
1605	HouseConstruction	PT	00050	StateSpace	00	15682e15	3	NONE	UNKNOWN
1606	HouseConstruction	PT	00050	StateSpace	02	50	3	NONE	UNKNOWN
1607	HouseConstruction	PT	00050	StateSpace	03	300	3	NONE	UNKNOWN
1608	IOTPpurchase	PT	C12M10P15D17	StateSpace	00	92677000000000	3	NONE	UNKNOWN
1609	IOTPpurchase	PT	C12M10P15D17	StateSpace	02	17	3	NONE	UNKNOWN
1610	IOTPpurchase	PT	C12M10P15D17	StateSpace	03	125	3	NONE	UNKNOWN
1611	MAPK	PT	00080	StateSpace	00	56349e14	3	NONE	UNKNOWN
1612	MAPK	PT	00080	StateSpace	02	80	3	NONE	UNKNOWN
1613	MAPK	PT	00080	StateSpace	03	360	3	NONE	UNKNOWN
1614	MAPK	PT	00160	StateSpace	00	1.0639999999999999e+23	3	NONE	UNKNOWN
1615	MAPK	PT	00160	StateSpace	02	160	3	NONE	UNKNOWN
1616	MAPK	PT	00160	StateSpace	03	720	3	NONE	UNKNOWN
1617	PolyORBLF	COL	S02J04T06	StateSpace	00	140750000	3	NONE	UNKNOWN
1618	PolyORBLF	COL	S02J04T06	StateSpace	02	10	3	NONE	UNKNOWN
1619	PolyORBLF	COL	S02J04T06	StateSpace	03	63	3	NONE	UNKNOWN
1620	ResAllocation	PT	R003C050	StateSpace	00	48718e24	3	GEN	UNKNOWN
1621	ResAllocation	PT	R003C050	StateSpace	02	1	3	GEN	UNKNOWN
1622	ResAllocation	PT	R003C050	StateSpace	03	150	3	GEN	UNKNOWN
1623	RwMutex	PT	r0100w0010	StateSpace	00	12677e26	3	GEN	UNKNOWN
1624	RwMutex	PT	r0100w0010	StateSpace	02	1	3	GEN	UNKNOWN
1625	RwMutex	PT	r0100w0010	StateSpace	03	210	3	GEN	UNKNOWN
1626	RwMutex	PT	r0500w0010	StateSpace	00	32734000000000006e134	3	GEN	UNKNOWN
1627	RwMutex	PT	r0500w0010	StateSpace	02	1	3	GEN	UNKNOWN
1628	RwMutex	PT	r0500w0010	StateSpace	03	1010	3	GEN	UNKNOWN
1629	RwMutex	PT	r1000w0010	StateSpace	00	10715000000000001e285	3	GEN	UNKNOWN
1630	RwMutex	PT	r1000w0010	StateSpace	02	1	3	GEN	UNKNOWN
1631	RwMutex	PT	r1000w0010	StateSpace	03	2010	3	GEN	UNKNOWN
1632	SwimmingPool	PT	08	StateSpace	00	9073700000	3	NONE	UNKNOWN
1633	SwimmingPool	PT	08	StateSpace	02	160	3	NONE	UNKNOWN
1634	SwimmingPool	PT	08	StateSpace	03	360	3	NONE	UNKNOWN
1635	HospitalTriage	PT	none	StateSpace	00	17342e16	3	NONE	UNKNOWN
1636	HospitalTriage	PT	none	StateSpace	02	4	3	NONE	UNKNOWN
1637	HospitalTriage	PT	none	StateSpace	03	61	3	NONE	UNKNOWN
1638	CloudOpsManagement	PT	00160by00080	StateSpace	00	14631e23	3	NONE	UNKNOWN
1639	CloudOpsManagement	PT	00160by00080	StateSpace	02	320	3	NONE	UNKNOWN
1640	CloudOpsManagement	PT	00160by00080	StateSpace	03	1440	3	NONE	UNKNOWN
1641	CloudOpsManagement	PT	00320by00160	StateSpace	00	7798e28	3	NONE	UNKNOWN
1642	CloudOpsManagement	PT	00320by00160	StateSpace	02	640	3	NONE	UNKNOWN
1643	CloudOpsManagement	PT	00320by00160	StateSpace	03	2880	3	NONE	UNKNOWN
1644	BridgeAndVehicles	PT	V20P10N20	StateSpace	00	9076300	3	NONE	UNKNOWN
1645	BridgeAndVehicles	PT	V20P10N20	StateSpace	02	20	3	NONE	UNKNOWN
1646	BridgeAndVehicles	PT	V20P10N20	StateSpace	03	54	3	NONE	UNKNOWN
1647	BridgeAndVehicles	PT	V20P20N20	StateSpace	00	9783600	3	NONE	UNKNOWN
1648	BridgeAndVehicles	PT	V20P20N20	StateSpace	02	20	3	NONE	UNKNOWN
1649	BridgeAndVehicles	PT	V20P20N20	StateSpace	03	64	3	NONE	UNKNOWN
1650	DES	PT	30b	StateSpace	00	19679e18	3	NUPN	UNKNOWN
1651	DES	PT	30b	StateSpace	02	1	3	NUPN	UNKNOWN
1652	DES	PT	30b	StateSpace	03	51	3	NUPN	UNKNOWN
1653	DES	PT	40b	StateSpace	00	36042e18	3	NUPN	UNKNOWN
1654	DES	PT	40b	StateSpace	02	1	3	NUPN	UNKNOWN
1655	DES	PT	40b	StateSpace	03	51	3	NUPN	UNKNOWN
1656	DES	PT	50b	StateSpace	00	57316e18	3	NUPN	UNKNOWN
1657	DES	PT	50b	StateSpace	02	1	3	NUPN	UNKNOWN
1658	DES	PT	50b	StateSpace	03	51	3	NUPN	UNKNOWN
1659	DES	PT	60b	StateSpace	00	83503e18	3	NUPN	UNKNOWN
1660	DES	PT	60b	StateSpace	02	1	3	NUPN	UNKNOWN
1661	DES	PT	60b	StateSpace	03	51	3	NUPN	UNKNOWN
1662	DNAwalker	PT	18lozangeBlock	StateSpace	00	83503e18	1	NONE	UNKNOWN
1663	DNAwalker	PT	18lozangeBlock	StateSpace	02	1	1	NONE	UNKNOWN
1664	DNAwalker	PT	18lozangeBlock	StateSpace	03	51	1	NONE	UNKNOWN
1665	Peterson	PT	4	StateSpace	00	629950000	3	GEN	UNKNOWN
1666	Peterson	PT	4	StateSpace	02	1	3	GEN	UNKNOWN
1667	Peterson	PT	4	StateSpace	03	14	3	GEN	UNKNOWN
1668	PolyORBLF	PT	S02J06T06	StateSpace	00	254960000	3	NONE	UNKNOWN
1669	PolyORBLF	PT	S02J06T06	StateSpace	02	10	3	NONE	UNKNOWN
1670	PolyORBLF	PT	S02J06T06	StateSpace	03	65	3	NONE	UNKNOWN
1671	QuasiCertifProtocol	PT	10	StateSpace	00	21512000000	3	NONE	UNKNOWN
1672	QuasiCertifProtocol	PT	10	StateSpace	02	6	3	NONE	UNKNOWN
1673	QuasiCertifProtocol	PT	10	StateSpace	03	161	3	NONE	UNKNOWN
1674	RwMutex	PT	r0010w2000	StateSpace	00	3024	3	GEN	UNKNOWN
1675	RwMutex	PT	r0010w2000	StateSpace	02	1	3	GEN	UNKNOWN
1676	RwMutex	PT	r0010w2000	StateSpace	03	2020	3	GEN	UNKNOWN
1677	Solitaire	PT	EngCT7x7	StateSpace	00	187640000	2	NONE	UNKNOWN
1678	Solitaire	PT	EngCT7x7	StateSpace	02	32	2	NONE	UNKNOWN
1679	Solitaire	PT	EngCT7x7	StateSpace	03	65	2	NONE	UNKNOWN
1680	Solitaire	PT	EngNC7x7	StateSpace	00	187640000	2	GEN	UNKNOWN
1681	Solitaire	PT	EngNC7x7	StateSpace	02	1	2	GEN	UNKNOWN
1682	Solitaire	PT	EngNC7x7	StateSpace	03	33	2	GEN	UNKNOWN
1683	Solitaire	PT	SqrCT5x5	StateSpace	00	174460000	2	NONE	UNKNOWN
1684	Solitaire	PT	SqrCT5x5	StateSpace	02	24	2	NONE	UNKNOWN
1685	Solitaire	PT	SqrCT5x5	StateSpace	03	49	2	NONE	UNKNOWN
1686	SwimmingPool	PT	09	StateSpace	00	18090000000	3	NONE	UNKNOWN
1687	SwimmingPool	PT	09	StateSpace	02	180	3	NONE	UNKNOWN
1688	SwimmingPool	PT	09	StateSpace	03	405	3	NONE	UNKNOWN
1689	ASLink	PT	01b	StateSpace	00	594950000000000	2	NUPN	UNKNOWN
1690	ASLink	PT	01b	StateSpace	02	1	2	NUPN	UNKNOWN
1691	ASLink	PT	01b	StateSpace	03	23	2	NUPN	UNKNOWN
1692	BusinessProcesses	PT	06	StateSpace	00	29156e14	3	NUPN	UNKNOWN
1693	BusinessProcesses	PT	06	StateSpace	02	1	3	NUPN	UNKNOWN
1694	BusinessProcesses	PT	06	StateSpace	03	56	3	NUPN	UNKNOWN
1695	BridgeAndVehicles	COL	V50P20N10	StateSpace	00	347630000	3	NONE	UNKNOWN
1696	BridgeAndVehicles	COL	V50P20N10	StateSpace	02	50	3	NONE	UNKNOWN
1697	BridgeAndVehicles	COL	V50P20N10	StateSpace	03	124	3	NONE	UNKNOWN
1698	BridgeAndVehicles	COL	V50P50N10	StateSpace	00	347630000	3	NONE	UNKNOWN
1699	BridgeAndVehicles	COL	V50P50N10	StateSpace	02	50	3	NONE	UNKNOWN
1700	BridgeAndVehicles	COL	V50P50N10	StateSpace	03	154	3	NONE	UNKNOWN
1701	BridgeAndVehicles	PT	V50P20N10	StateSpace	00	347630000	3	NONE	UNKNOWN
1702	BridgeAndVehicles	PT	V50P20N10	StateSpace	02	50	3	NONE	UNKNOWN
1703	BridgeAndVehicles	PT	V50P20N10	StateSpace	03	124	3	NONE	UNKNOWN
1704	BridgeAndVehicles	PT	V50P50N10	StateSpace	00	347630000	3	NONE	UNKNOWN
1705	BridgeAndVehicles	PT	V50P50N10	StateSpace	02	50	3	NONE	UNKNOWN
1706	BridgeAndVehicles	PT	V50P50N10	StateSpace	03	154	3	NONE	UNKNOWN
1707	DatabaseWithMutex	COL	02	StateSpace	00	153	3	NONE	UNKNOWN
1708	DatabaseWithMutex	COL	02	StateSpace	02	1	3	NONE	UNKNOWN
1709	DatabaseWithMutex	COL	02	StateSpace	03	6	3	NONE	UNKNOWN
1710	PhilosophersDyn	COL	03	StateSpace	00	325	3	NONE	UNKNOWN
1711	PhilosophersDyn	COL	03	StateSpace	02	1	3	NONE	UNKNOWN
1712	PhilosophersDyn	COL	03	StateSpace	03	11	3	NONE	UNKNOWN
1713	PhilosophersDyn	COL	10	StateSpace	00	199050	3	NONE	UNKNOWN
1714	PhilosophersDyn	COL	10	StateSpace	02	1	3	NONE	UNKNOWN
1715	PhilosophersDyn	COL	10	StateSpace	03	20	3	NONE	UNKNOWN
1716	PhilosophersDyn	COL	20	StateSpace	00	4070300	1	NONE	UNKNOWN
1717	PhilosophersDyn	COL	20	StateSpace	02	1	1	NONE	UNKNOWN
1718	PhilosophersDyn	COL	20	StateSpace	03	30	1	NONE	UNKNOWN
1719	PhilosophersDyn	PT	20	StateSpace	00	4070300	1	NONE	UNKNOWN
1720	PhilosophersDyn	PT	20	StateSpace	02	1	1	NONE	UNKNOWN
1721	PhilosophersDyn	PT	20	StateSpace	03	30	1	NONE	UNKNOWN
1722	ARMCacheCoherence	PT	none	StateSpace	01	22340000000	3	NUPN	UNKNOWN
1723	AirplaneLD	COL	0010	StateSpace	01	183660	3	NONE	UNKNOWN
1724	AirplaneLD	COL	0020	StateSpace	01	1339100	3	NONE	UNKNOWN
1725	AirplaneLD	COL	0050	StateSpace	01	19756000	3	NONE	UNKNOWN
1726	AirplaneLD	COL	0100	StateSpace	01	155010000	3	NONE	UNKNOWN
1727	AirplaneLD	COL	0200	StateSpace	01	1228000000	3	NONE	UNKNOWN
1728	AirplaneLD	PT	0010	StateSpace	01	183660	3	GEN	UNKNOWN
1729	AirplaneLD	PT	0020	StateSpace	01	1339100	3	GEN	UNKNOWN
1730	AirplaneLD	PT	0050	StateSpace	01	19756000	3	GEN	UNKNOWN
1731	AirplaneLD	PT	0100	StateSpace	01	155010000	3	GEN	UNKNOWN
1732	AirplaneLD	PT	0200	StateSpace	01	1228000000	3	GEN	UNKNOWN
1733	AirplaneLD	PT	1000	StateSpace	01	152300000000	3	GEN	UNKNOWN
1734	Angiogenesis	PT	01	StateSpace	01	288	3	GEN	UNKNOWN
1735	Angiogenesis	PT	05	StateSpace	01	486870000	3	NONE	UNKNOWN
1736	Angiogenesis	PT	10	StateSpace	01	15636000000000	3	NONE	UNKNOWN
1737	Angiogenesis	PT	15	StateSpace	01	27474e12	3	NONE	UNKNOWN
1738	Angiogenesis	PT	20	StateSpace	01	10195e15	2	NONE	UNKNOWN
1739	Angiogenesis	PT	25	StateSpace	00	4309e16	2	NONE	UNKNOWN
1740	Angiogenesis	PT	25	StateSpace	01	13984e17	2	NONE	UNKNOWN
1741	Angiogenesis	PT	25	StateSpace	02	25	2	NONE	UNKNOWN
1742	Angiogenesis	PT	25	StateSpace	03	200	2	NONE	UNKNOWN
1743	AutoFlight	PT	01a	StateSpace	01	1120	3	NUPN	UNKNOWN
1744	AutoFlight	PT	01b	StateSpace	01	354420000	3	NUPN	UNKNOWN
1745	AutoFlight	PT	02a	StateSpace	01	55285	3	NUPN	UNKNOWN
1746	AutoFlight	PT	02b	StateSpace	01	203510000000000	3	NUPN	UNKNOWN
1747	AutoFlight	PT	03a	StateSpace	01	1821200	3	NUPN	UNKNOWN
1748	AutoFlight	PT	03b	StateSpace	01	73643e15	3	NUPN	UNKNOWN
1749	AutoFlight	PT	04a	StateSpace	01	50619000	3	NUPN	UNKNOWN
1750	AutoFlight	PT	04b	StateSpace	01	2114e22	3	NUPN	UNKNOWN
1751	AutoFlight	PT	05a	StateSpace	01	1286200000	3	NUPN	UNKNOWN
1752	AutoFlight	PT	05b	StateSpace	00	18382e25	3	NUPN	UNKNOWN
1753	AutoFlight	PT	05b	StateSpace	02	1	3	NUPN	UNKNOWN
1754	AutoFlight	PT	05b	StateSpace	03	33	3	NUPN	UNKNOWN
1755	AutoFlight	PT	06a	StateSpace	01	30943000000	3	NUPN	UNKNOWN
1756	AutoFlight	PT	12a	StateSpace	01	34975e14	3	NUPN	UNKNOWN
1757	AutoFlight	PT	24a	StateSpace	01	15091e30	3	NUPN	UNKNOWN
1758	AutoFlight	PT	48a	StateSpace	01	2337e50	3	NUPN	UNKNOWN
1759	AutoFlight	PT	96a	StateSpace	00	20424e96	2	NUPN	UNKNOWN
1760	AutoFlight	PT	96a	StateSpace	01	5899000000000001e87	2	NUPN	UNKNOWN
1761	AutoFlight	PT	96a	StateSpace	02	1	2	NUPN	UNKNOWN
1762	AutoFlight	PT	96a	StateSpace	03	513	2	NUPN	UNKNOWN
1763	BART	PT	002	StateSpace	01	53328	3	GEN	UNKNOWN
1764	BART	PT	005	StateSpace	01	306630000000	3	GEN	UNKNOWN
1765	BART	PT	010	StateSpace	00	1606e18	3	GEN	UNKNOWN
1766	BART	PT	010	StateSpace	01	24576e18	3	GEN	UNKNOWN
1767	BART	PT	010	StateSpace	02	1	3	GEN	UNKNOWN
1768	BART	PT	010	StateSpace	03	220	3	GEN	UNKNOWN
1769	BART	PT	020	StateSpace	00	25792e38	3	GEN	UNKNOWN
1770	BART	PT	020	StateSpace	01	7893800000000001e28	3	GEN	UNKNOWN
1771	BART	PT	020	StateSpace	02	1	3	GEN	UNKNOWN
1772	BART	PT	020	StateSpace	03	230	3	GEN	UNKNOWN
1773	BART	PT	030	StateSpace	00	41421000000000004e47	3	GEN	UNKNOWN
1774	BART	PT	030	StateSpace	01	19015999999999998e49	3	GEN	UNKNOWN
1775	BART	PT	030	StateSpace	02	1	3	GEN	UNKNOWN
1776	BART	PT	030	StateSpace	03	240	3	GEN	UNKNOWN
1777	BART	PT	040	StateSpace	00	66521e80	3	GEN	UNKNOWN
1778	BART	PT	040	StateSpace	01	40719e82	3	GEN	UNKNOWN
1779	BART	PT	040	StateSpace	02	1	3	GEN	UNKNOWN
1780	BART	PT	040	StateSpace	03	250	3	GEN	UNKNOWN
1781	BART	PT	050	StateSpace	00	10683e102	3	GEN	UNKNOWN
1782	BART	PT	050	StateSpace	01	8174200000000002e92	3	GEN	UNKNOWN
1783	BART	PT	050	StateSpace	02	1	3	GEN	UNKNOWN
1784	BART	PT	050	StateSpace	03	260	3	GEN	UNKNOWN
1785	BART	PT	060	StateSpace	00	17157000000000001e111	3	GEN	UNKNOWN
1786	BART	PT	060	StateSpace	01	15753e125	3	GEN	UNKNOWN
1787	BART	PT	060	StateSpace	02	1	3	GEN	UNKNOWN
1788	BART	PT	060	StateSpace	03	270	3	GEN	UNKNOWN
1789	BridgeAndVehicles	COL	V04P05N02	StateSpace	01	7160	3	NONE	UNKNOWN
1790	BridgeAndVehicles	COL	V10P10N10	StateSpace	01	821280	3	NONE	UNKNOWN
1791	BridgeAndVehicles	COL	V20P10N10	StateSpace	01	23489000	3	NONE	UNKNOWN
1792	BridgeAndVehicles	COL	V20P10N20	StateSpace	01	31773000	3	NONE	UNKNOWN
1793	BridgeAndVehicles	COL	V20P10N50	StateSpace	01	31786000	3	NONE	UNKNOWN
1794	BridgeAndVehicles	COL	V20P20N10	StateSpace	01	23489000	3	NONE	UNKNOWN
1795	BridgeAndVehicles	COL	V20P20N20	StateSpace	01	34321000	3	NONE	UNKNOWN
1796	BridgeAndVehicles	COL	V20P20N50	StateSpace	01	34346000	3	NONE	UNKNOWN
1797	BridgeAndVehicles	COL	V50P20N10	StateSpace	01	1271700000	3	NONE	UNKNOWN
1798	BridgeAndVehicles	COL	V50P20N20	StateSpace	00	896290000	3	NONE	UNKNOWN
1799	BridgeAndVehicles	COL	V50P20N20	StateSpace	01	3363700000	3	NONE	UNKNOWN
1800	BridgeAndVehicles	COL	V50P20N20	StateSpace	02	50	3	NONE	UNKNOWN
1801	BridgeAndVehicles	COL	V50P20N20	StateSpace	03	124	3	NONE	UNKNOWN
1802	BridgeAndVehicles	COL	V50P50N10	StateSpace	01	1271700000	3	NONE	UNKNOWN
1803	BridgeAndVehicles	COL	V50P50N20	StateSpace	00	896290000	3	NONE	UNKNOWN
1804	BridgeAndVehicles	COL	V50P50N20	StateSpace	02	50	3	NONE	UNKNOWN
1805	BridgeAndVehicles	COL	V50P50N20	StateSpace	03	154	3	NONE	UNKNOWN
1806	BridgeAndVehicles	COL	V80P20N10	StateSpace	00	2432900000	3	NONE	UNKNOWN
1807	BridgeAndVehicles	COL	V80P20N10	StateSpace	01	8993400000	3	NONE	UNKNOWN
1808	BridgeAndVehicles	COL	V80P20N10	StateSpace	02	80	3	NONE	UNKNOWN
1809	BridgeAndVehicles	COL	V80P20N10	StateSpace	03	184	3	NONE	UNKNOWN
1810	BridgeAndVehicles	COL	V80P20N20	StateSpace	00	7099600000	3	NONE	UNKNOWN
1811	BridgeAndVehicles	COL	V80P20N20	StateSpace	02	80	3	NONE	UNKNOWN
1812	BridgeAndVehicles	COL	V80P20N20	StateSpace	03	184	3	NONE	UNKNOWN
1813	BridgeAndVehicles	COL	V80P20N50	StateSpace	00	16235000000	2	NONE	UNKNOWN
1814	BridgeAndVehicles	COL	V80P20N50	StateSpace	02	80	2	NONE	UNKNOWN
1815	BridgeAndVehicles	COL	V80P20N50	StateSpace	03	184	2	NONE	UNKNOWN
1816	BridgeAndVehicles	COL	V80P50N10	StateSpace	00	2432900000	3	NONE	UNKNOWN
1817	BridgeAndVehicles	COL	V80P50N10	StateSpace	02	80	3	NONE	UNKNOWN
1818	BridgeAndVehicles	COL	V80P50N10	StateSpace	03	214	3	NONE	UNKNOWN
1819	BridgeAndVehicles	COL	V80P50N20	StateSpace	00	7099600000	3	NONE	UNKNOWN
1820	BridgeAndVehicles	COL	V80P50N20	StateSpace	02	80	3	NONE	UNKNOWN
1821	BridgeAndVehicles	COL	V80P50N20	StateSpace	03	214	3	NONE	UNKNOWN
1822	BridgeAndVehicles	COL	V80P50N50	StateSpace	00	21619000000	2	NONE	UNKNOWN
1823	BridgeAndVehicles	COL	V80P50N50	StateSpace	02	80	2	NONE	UNKNOWN
1824	BridgeAndVehicles	COL	V80P50N50	StateSpace	03	214	2	NONE	UNKNOWN
1825	BridgeAndVehicles	PT	V04P05N02	StateSpace	01	7160	3	NONE	UNKNOWN
1826	BridgeAndVehicles	PT	V10P10N10	StateSpace	01	821280	3	NONE	UNKNOWN
1827	BridgeAndVehicles	PT	V20P10N10	StateSpace	01	23489000	3	NONE	UNKNOWN
1828	BridgeAndVehicles	PT	V20P10N20	StateSpace	01	31773000	3	NONE	UNKNOWN
1829	BridgeAndVehicles	PT	V20P10N50	StateSpace	01	31786000	3	NONE	UNKNOWN
1830	BridgeAndVehicles	PT	V20P20N10	StateSpace	01	23489000	3	NONE	UNKNOWN
1831	BridgeAndVehicles	PT	V20P20N20	StateSpace	01	34321000	3	NONE	UNKNOWN
1832	BridgeAndVehicles	PT	V20P20N50	StateSpace	01	34346000	3	NONE	UNKNOWN
1833	BridgeAndVehicles	PT	V50P20N10	StateSpace	01	1271700000	3	NONE	UNKNOWN
1834	BridgeAndVehicles	PT	V50P20N20	StateSpace	00	896290000	3	NONE	UNKNOWN
1835	BridgeAndVehicles	PT	V50P20N20	StateSpace	01	3363700000	3	NONE	UNKNOWN
1836	BridgeAndVehicles	PT	V50P20N20	StateSpace	02	50	3	NONE	UNKNOWN
1837	BridgeAndVehicles	PT	V50P20N20	StateSpace	03	124	3	NONE	UNKNOWN
1838	BridgeAndVehicles	PT	V50P20N50	StateSpace	00	1454600000	3	NONE	UNKNOWN
1839	BridgeAndVehicles	PT	V50P20N50	StateSpace	02	50	3	NONE	UNKNOWN
1840	BridgeAndVehicles	PT	V50P20N50	StateSpace	03	124	3	NONE	UNKNOWN
1841	BridgeAndVehicles	PT	V50P50N10	StateSpace	01	1271700000	3	NONE	UNKNOWN
1842	BridgeAndVehicles	PT	V50P50N20	StateSpace	00	896290000	3	NONE	UNKNOWN
1843	BridgeAndVehicles	PT	V50P50N20	StateSpace	02	50	3	NONE	UNKNOWN
1844	BridgeAndVehicles	PT	V50P50N20	StateSpace	03	154	3	NONE	UNKNOWN
1845	BridgeAndVehicles	PT	V80P20N10	StateSpace	00	2432900000	3	NONE	UNKNOWN
1846	BridgeAndVehicles	PT	V80P20N10	StateSpace	01	8993400000	3	NONE	UNKNOWN
1847	BridgeAndVehicles	PT	V80P20N10	StateSpace	02	80	3	NONE	UNKNOWN
1848	BridgeAndVehicles	PT	V80P20N10	StateSpace	03	184	3	NONE	UNKNOWN
1849	BridgeAndVehicles	PT	V80P20N20	StateSpace	00	7099600000	3	NONE	UNKNOWN
1850	BridgeAndVehicles	PT	V80P20N20	StateSpace	02	80	3	NONE	UNKNOWN
1851	BridgeAndVehicles	PT	V80P20N20	StateSpace	03	184	3	NONE	UNKNOWN
1852	BridgeAndVehicles	PT	V80P20N50	StateSpace	00	16235000000	2	NONE	UNKNOWN
1853	BridgeAndVehicles	PT	V80P20N50	StateSpace	02	80	2	NONE	UNKNOWN
1854	BridgeAndVehicles	PT	V80P20N50	StateSpace	03	184	2	NONE	UNKNOWN
1855	BridgeAndVehicles	PT	V80P50N10	StateSpace	00	2432900000	3	NONE	UNKNOWN
1856	BridgeAndVehicles	PT	V80P50N10	StateSpace	02	80	3	NONE	UNKNOWN
1857	BridgeAndVehicles	PT	V80P50N10	StateSpace	03	214	3	NONE	UNKNOWN
1858	BridgeAndVehicles	PT	V80P50N20	StateSpace	00	7099600000	3	NONE	UNKNOWN
1859	BridgeAndVehicles	PT	V80P50N20	StateSpace	02	80	3	NONE	UNKNOWN
1860	BridgeAndVehicles	PT	V80P50N20	StateSpace	03	214	3	NONE	UNKNOWN
1861	BridgeAndVehicles	PT	V80P50N50	StateSpace	00	21619000000	2	NONE	UNKNOWN
1862	BridgeAndVehicles	PT	V80P50N50	StateSpace	02	80	2	NONE	UNKNOWN
1863	BridgeAndVehicles	PT	V80P50N50	StateSpace	03	214	2	NONE	UNKNOWN
1864	CSRepetitions	COL	02	StateSpace	01	37088	3	NONE	UNKNOWN
1865	CSRepetitions	COL	03	StateSpace	01	1293900000	3	NONE	UNKNOWN
1866	CSRepetitions	COL	04	StateSpace	01	471360000000000	2	NONE	UNKNOWN
1867	CSRepetitions	COL	05	StateSpace	01	14258e17	2	NONE	UNKNOWN
1868	CSRepetitions	COL	07	StateSpace	00	11507e31	2	NONE	UNKNOWN
1869	CSRepetitions	COL	07	StateSpace	01	43513000000000005e20	2	NONE	UNKNOWN
1870	CSRepetitions	COL	07	StateSpace	02	7	2	NONE	UNKNOWN
1871	CSRepetitions	COL	07	StateSpace	03	63	2	NONE	UNKNOWN
1872	CSRepetitions	PT	02	StateSpace	01	37088	3	NONE	UNKNOWN
1873	CSRepetitions	PT	03	StateSpace	01	1293900000	3	NONE	UNKNOWN
1874	CSRepetitions	PT	04	StateSpace	01	471360000000000	2	NONE	UNKNOWN
1875	CSRepetitions	PT	05	StateSpace	01	14258e17	2	NONE	UNKNOWN
1876	CSRepetitions	PT	07	StateSpace	00	11507e31	2	NONE	UNKNOWN
1877	CSRepetitions	PT	07	StateSpace	02	7	2	NONE	UNKNOWN
1878	CSRepetitions	PT	07	StateSpace	03	63	2	NONE	UNKNOWN
1879	CircadianClock	PT	000001	StateSpace	01	624	3	GEN	UNKNOWN
1880	CircadianClock	PT	000010	StateSpace	01	6766300	3	NONE	UNKNOWN
1881	CircadianClock	PT	000100	StateSpace	01	497430000000	3	NONE	UNKNOWN
1882	CircadianClock	PT	001000	StateSpace	01	48172e12	3	NONE	UNKNOWN
1883	CircularTrains	PT	012	StateSpace	01	496	3	NONE	UNKNOWN
1884	CircularTrains	PT	024	StateSpace	01	411680	3	NONE	UNKNOWN
1885	CircularTrains	PT	048	StateSpace	01	221240000000	3	NONE	UNKNOWN
1886	CircularTrains	PT	096	StateSpace	01	47121e18	3	NONE	UNKNOWN
1887	CircularTrains	PT	192	StateSpace	01	15416e41	3	NONE	UNKNOWN
1888	CircularTrains	PT	384	StateSpace	01	11782e86	3	NONE	UNKNOWN
1889	CircularTrains	PT	768	StateSpace	01	48887000000000004e163	2	NONE	UNKNOWN
1890	ClientsAndServers	PT	N0001P0	StateSpace	01	113320	3	NONE	UNKNOWN
1891	ClientsAndServers	PT	N0002P0	StateSpace	01	44030000	3	NONE	UNKNOWN
1892	ClientsAndServers	PT	N0002P1	StateSpace	01	77859000	3	NONE	UNKNOWN
1893	ClientsAndServers	PT	N0005P0	StateSpace	01	1215600000000	3	NONE	UNKNOWN
1894	ClientsAndServers	PT	N0005P1	StateSpace	01	2063200000000	3	NONE	UNKNOWN
1895	ClientsAndServers	PT	N0010P0	StateSpace	01	13487e12	3	NONE	UNKNOWN
1896	ClientsAndServers	PT	N0010P1	StateSpace	01	19213e12	3	NONE	UNKNOWN
1897	ClientsAndServers	PT	N0010P2	StateSpace	01	23544e12	3	NONE	UNKNOWN
1898	ClientsAndServers	PT	N0020P0	StateSpace	00	27979e15	3	NONE	UNKNOWN
1899	ClientsAndServers	PT	N0020P0	StateSpace	01	40727e16	3	NONE	UNKNOWN
1900	ClientsAndServers	PT	N0020P0	StateSpace	02	160	3	NONE	UNKNOWN
1901	ClientsAndServers	PT	N0020P0	StateSpace	03	500	3	NONE	UNKNOWN
1902	ClientsAndServers	PT	N0020P1	StateSpace	00	3433e16	3	NONE	UNKNOWN
1903	ClientsAndServers	PT	N0020P1	StateSpace	01	50014e16	3	NONE	UNKNOWN
1904	ClientsAndServers	PT	N0020P1	StateSpace	02	160	3	NONE	UNKNOWN
1905	ClientsAndServers	PT	N0020P1	StateSpace	03	505	3	NONE	UNKNOWN
1906	ClientsAndServers	PT	N0020P2	StateSpace	00	40258e15	3	NONE	UNKNOWN
1907	ClientsAndServers	PT	N0020P2	StateSpace	01	58683e16	3	NONE	UNKNOWN
1908	ClientsAndServers	PT	N0020P2	StateSpace	02	160	3	NONE	UNKNOWN
1909	ClientsAndServers	PT	N0020P2	StateSpace	03	510	3	NONE	UNKNOWN
1910	ClientsAndServers	PT	N0020P3	StateSpace	00	45408e15	3	NONE	UNKNOWN
1911	ClientsAndServers	PT	N0020P3	StateSpace	01	66212e16	3	NONE	UNKNOWN
1912	ClientsAndServers	PT	N0020P3	StateSpace	02	160	3	NONE	UNKNOWN
1913	ClientsAndServers	PT	N0020P3	StateSpace	03	515	3	NONE	UNKNOWN
1914	ClientsAndServers	PT	N0020P4	StateSpace	00	4951e16	3	NONE	UNKNOWN
1915	ClientsAndServers	PT	N0020P4	StateSpace	01	72204e16	3	NONE	UNKNOWN
1916	ClientsAndServers	PT	N0020P4	StateSpace	02	160	3	NONE	UNKNOWN
1917	ClientsAndServers	PT	N0020P4	StateSpace	03	520	3	NONE	UNKNOWN
1918	CloudDeployment	PT	2a	StateSpace	01	87600	3	NUPN	UNKNOWN
1919	CloudDeployment	PT	2b	StateSpace	01	1227000000000	3	NUPN	UNKNOWN
1920	CloudDeployment	PT	3a	StateSpace	01	7698100	3	NUPN	UNKNOWN
1921	CloudDeployment	PT	3b	StateSpace	01	77439e13	3	NUPN	UNKNOWN
1922	CloudDeployment	PT	4a	StateSpace	01	508600000	3	NUPN	UNKNOWN
1923	CloudDeployment	PT	5a	StateSpace	01	27853000000	3	NUPN	UNKNOWN
1924	CloudDeployment	PT	6a	StateSpace	01	1338200000000	3	NUPN	UNKNOWN
1925	CloudDeployment	PT	7a	StateSpace	01	58448000000000	3	NUPN	UNKNOWN
1926	CloudReconfiguration	PT	301	StateSpace	01	604390000000	3	NUPN	UNKNOWN
1927	CloudReconfiguration	PT	302	StateSpace	01	927480000000	3	NUPN	UNKNOWN
1928	CloudReconfiguration	PT	303	StateSpace	01	253510000000	3	NUPN	UNKNOWN
1929	CloudReconfiguration	PT	304	StateSpace	01	604390000000	3	NUPN	UNKNOWN
1930	CloudReconfiguration	PT	305	StateSpace	01	601560000000	3	NUPN	UNKNOWN
1931	CloudReconfiguration	PT	306	StateSpace	01	253510000000	3	NUPN	UNKNOWN
1932	CloudReconfiguration	PT	307	StateSpace	01	319970000000	3	NUPN	UNKNOWN
1933	CloudReconfiguration	PT	308	StateSpace	01	927480000000	3	NUPN	UNKNOWN
1934	CloudReconfiguration	PT	309	StateSpace	01	927480000000	3	NUPN	UNKNOWN
1935	CloudReconfiguration	PT	310	StateSpace	01	601560000000	3	NUPN	UNKNOWN
1936	CloudReconfiguration	PT	311	StateSpace	01	493710000000	3	NUPN	UNKNOWN
1937	CloudReconfiguration	PT	312	StateSpace	01	927480000000	3	NUPN	UNKNOWN
1938	CloudReconfiguration	PT	313	StateSpace	01	927480000000	3	NUPN	UNKNOWN
1939	CloudReconfiguration	PT	314	StateSpace	01	493710000000	3	NUPN	UNKNOWN
1940	CloudReconfiguration	PT	315	StateSpace	01	601560000000	3	NUPN	UNKNOWN
1941	CloudReconfiguration	PT	316	StateSpace	01	601560000000	3	NUPN	UNKNOWN
1942	CloudReconfiguration	PT	317	StateSpace	01	792120000000	3	NUPN	UNKNOWN
1943	CloudReconfiguration	PT	318	StateSpace	01	1310300000000	3	NUPN	UNKNOWN
1944	CloudReconfiguration	PT	319	StateSpace	01	601580000000	3	NUPN	UNKNOWN
1945	CloudReconfiguration	PT	320	StateSpace	01	849140000000	3	NUPN	UNKNOWN
1946	CloudReconfiguration	PT	401	StateSpace	01	1102e12	3	NUPN	UNKNOWN
1947	CloudReconfiguration	PT	402	StateSpace	01	1102e12	3	NUPN	UNKNOWN
1948	DES	PT	00a	StateSpace	01	293100000000	3	NUPN	UNKNOWN
1949	DES	PT	00b	StateSpace	01	44365e16	3	NUPN	UNKNOWN
1950	DES	PT	01a	StateSpace	01	1213400000	3	NUPN	UNKNOWN
1951	DES	PT	01b	StateSpace	01	35377e14	3	NUPN	UNKNOWN
1952	DES	PT	02a	StateSpace	01	59186000000	3	NUPN	UNKNOWN
1953	DES	PT	02b	StateSpace	01	12674e16	3	NUPN	UNKNOWN
1954	DES	PT	05a	StateSpace	01	2803900000000	3	NUPN	UNKNOWN
1955	DES	PT	05b	StateSpace	01	47052e17	3	NUPN	UNKNOWN
1956	DES	PT	10a	StateSpace	01	19392000000000	3	NUPN	UNKNOWN
1957	DES	PT	10b	StateSpace	01	30429e18	3	NUPN	UNKNOWN
1958	DES	PT	20a	StateSpace	01	96542000000000	3	NUPN	UNKNOWN
1959	DES	PT	20b	StateSpace	01	14833e19	3	NUPN	UNKNOWN
1960	DES	PT	30a	StateSpace	01	232310000000000	3	NUPN	UNKNOWN
1961	DES	PT	30b	StateSpace	01	35482e19	3	NUPN	UNKNOWN
1962	DES	PT	40a	StateSpace	01	426700000000000	3	NUPN	UNKNOWN
1963	DES	PT	40b	StateSpace	01	64989e19	3	NUPN	UNKNOWN
1964	DES	PT	50a	StateSpace	00	56113000000000	3	NUPN	UNKNOWN
1965	DES	PT	50a	StateSpace	01	679710000000000	3	NUPN	UNKNOWN
1966	DES	PT	50b	StateSpace	01	10335e20	3	NUPN	UNKNOWN
1967	DES	PT	60a	StateSpace	00	81839000000000	3	NUPN	UNKNOWN
1968	DES	PT	60a	StateSpace	01	991330000000000	3	NUPN	UNKNOWN
1969	DES	PT	60a	StateSpace	02	1	3	NUPN	UNKNOWN
1970	DES	PT	60a	StateSpace	03	51	3	NUPN	UNKNOWN
1971	DES	PT	60b	StateSpace	01	15058e20	3	NUPN	UNKNOWN
1972	DLCround	PT	03a	StateSpace	01	1664200000	3	NUPN	UNKNOWN
1973	DLCround	PT	04a	StateSpace	01	21918000000	3	NUPN	UNKNOWN
1974	DLCround	PT	05a	StateSpace	01	278170000000	3	NUPN	UNKNOWN
1975	DLCround	PT	06a	StateSpace	01	3434100000000	3	NUPN	UNKNOWN
1976	DLCround	PT	07a	StateSpace	01	41489000000000	3	NUPN	UNKNOWN
1977	DLCround	PT	08a	StateSpace	01	492620000000000	3	NUPN	UNKNOWN
1978	DLCround	PT	09a	StateSpace	01	57658e11	3	NUPN	UNKNOWN
1979	DLCround	PT	10a	StateSpace	01	66679e12	3	NUPN	UNKNOWN
1980	DLCround	PT	11a	StateSpace	01	76324e13	3	NUPN	UNKNOWN
1981	DLCround	PT	12a	StateSpace	01	86594e14	3	NUPN	UNKNOWN
1982	DLCround	PT	13a	StateSpace	01	97487e15	3	NUPN	UNKNOWN
1983	DLCshifumi	PT	2a	StateSpace	01	50962e12	3	NUPN	UNKNOWN
1984	DLCshifumi	PT	3a	StateSpace	01	33784e34	3	NUPN	UNKNOWN
1985	DLCshifumi	PT	4a	StateSpace	01	21584999999999998e54	3	NUPN	UNKNOWN
1986	DLCshifumi	PT	5a	StateSpace	01	15631000000000002e96	3	NUPN	UNKNOWN
1987	DLCshifumi	PT	6a	StateSpace	01	13815000000000003e148	3	NUPN	UNKNOWN
1988	DNAwalker	PT	01track12Block1	StateSpace	01	13149	3	NONE	UNKNOWN
1989	DNAwalker	PT	02track12Block2	StateSpace	01	21642	3	NONE	UNKNOWN
1990	DNAwalker	PT	03track12BlockBoth	StateSpace	01	20281	3	NONE	UNKNOWN
1991	DNAwalker	PT	04track28LL	StateSpace	01	2961900000	3	NONE	UNKNOWN
1992	DNAwalker	PT	05track28LR	StateSpace	01	2983900000	3	NONE	UNKNOWN
1993	DNAwalker	PT	06track28RL	StateSpace	01	2983900000	3	NONE	UNKNOWN
1994	DNAwalker	PT	07track28RR	StateSpace	01	2961900000	3	NONE	UNKNOWN
1995	DNAwalker	PT	08ringLL	StateSpace	01	237020000	3	NONE	UNKNOWN
1996	DNAwalker	PT	09ringLR	StateSpace	01	240890000	3	NONE	UNKNOWN
1997	DNAwalker	PT	10ringRL	StateSpace	01	237020000	3	NONE	UNKNOWN
1998	DNAwalker	PT	11ringRR	StateSpace	01	240890000	3	NONE	UNKNOWN
1999	DNAwalker	PT	12ringLLLarge	StateSpace	01	15271000000	3	NONE	UNKNOWN
2000	DNAwalker	PT	13ringRLLarge	StateSpace	01	15271000000	3	NONE	UNKNOWN
2001	DNAwalker	PT	14ringLRLarge	StateSpace	01	15025000000	3	NONE	UNKNOWN
2002	DNAwalker	PT	15ringRRLarge	StateSpace	01	15025000000	3	NONE	UNKNOWN
2003	DNAwalker	PT	16redondantChoiceR	StateSpace	01	9905000000000	3	NONE	UNKNOWN
2004	DNAwalker	PT	17redondantChoiceL	StateSpace	01	9905000000000	3	NONE	UNKNOWN
2005	DatabaseWithMutex	COL	02	StateSpace	01	312	3	NONE	UNKNOWN
2006	DatabaseWithMutex	COL	04	StateSpace	00	4717900000	3	NONE	UNKNOWN
2007	DatabaseWithMutex	COL	04	StateSpace	01	39697000000	3	NONE	UNKNOWN
2008	DatabaseWithMutex	COL	04	StateSpace	02	1	3	NONE	UNKNOWN
2009	DatabaseWithMutex	COL	04	StateSpace	03	20	3	NONE	UNKNOWN
2010	DatabaseWithMutex	PT	02	StateSpace	01	312	3	GEN	UNKNOWN
2011	DatabaseWithMutex	PT	04	StateSpace	01	39697000000	3	GEN	UNKNOWN
2012	Dekker	PT	010	StateSpace	01	171530	3	GEN	UNKNOWN
2013	Dekker	PT	015	StateSpace	01	16835000	3	GEN	UNKNOWN
2014	Dekker	PT	020	StateSpace	01	1216300000	3	GEN	UNKNOWN
2015	Dekker	PT	050	StateSpace	01	18676e15	3	GEN	UNKNOWN
2016	Dekker	PT	100	StateSpace	01	16327e31	3	GEN	UNKNOWN
2017	Diffusion2D	PT	D05N010	StateSpace	01	5553700000	3	NONE	UNKNOWN
2018	Diffusion2D	PT	D05N050	StateSpace	01	17056e17	3	NONE	UNKNOWN
2019	Diffusion2D	PT	D10N010	StateSpace	01	26754e11	3	NONE	UNKNOWN
2020	Diffusion2D	PT	D10N050	StateSpace	01	30801e38	3	NONE	UNKNOWN
2021	Diffusion2D	PT	D10N100	StateSpace	01	15562000000000003e45	3	NONE	UNKNOWN
2022	Diffusion2D	PT	D10N150	StateSpace	01	9993e70	3	NONE	UNKNOWN
2023	Diffusion2D	PT	D10N200	StateSpace	01	63417e79	3	NONE	UNKNOWN
2024	Diffusion2D	PT	D20N010	StateSpace	01	23414e17	3	NONE	UNKNOWN
2025	Diffusion2D	PT	D20N050	StateSpace	01	26113e65	3	NONE	UNKNOWN
2026	Diffusion2D	PT	D20N100	StateSpace	01	97019e105	3	NONE	UNKNOWN
2027	Diffusion2D	PT	D20N150	StateSpace	01	20589000000000002e125	3	NONE	UNKNOWN
2028	Diffusion2D	PT	D30N010	StateSpace	01	76041e20	3	NONE	UNKNOWN
2029	Diffusion2D	PT	D30N050	StateSpace	01	23262e82	3	NONE	UNKNOWN
2030	Diffusion2D	PT	D30N100	StateSpace	01	39369e138	3	NONE	UNKNOWN
2031	Diffusion2D	PT	D40N010	StateSpace	01	23868e23	3	NONE	UNKNOWN
2032	Diffusion2D	PT	D50N010	StateSpace	01	20694000000000002e13	3	NONE	UNKNOWN
2033	DrinkVendingMachine	COL	02	StateSpace	01	7680	3	NONE	UNKNOWN
2034	DrinkVendingMachine	COL	10	StateSpace	01	34501e17	3	NONE	UNKNOWN
2035	DrinkVendingMachine	PT	02	StateSpace	01	7680	3	NONE	UNKNOWN
2036	DrinkVendingMachine	PT	10	StateSpace	01	34501e17	3	NONE	UNKNOWN
2037	ERK	PT	000001	StateSpace	01	30	3	GEN	UNKNOWN
2038	ERK	PT	000010	StateSpace	01	372370	3	NONE	UNKNOWN
2039	ERK	PT	000100	StateSpace	01	168450000000	3	NONE	UNKNOWN
2040	ERK	PT	001000	StateSpace	01	15429e13	3	NONE	UNKNOWN
2041	EnergyBus	PT	none	StateSpace	01	40859000000000	3	NUPN	UNKNOWN
2042	Eratosthenes	PT	010	StateSpace	01	120	3	NONE	UNKNOWN
2043	Eratosthenes	PT	020	StateSpace	01	23040	3	NONE	UNKNOWN
2044	Eratosthenes	PT	050	StateSpace	01	730140000000	3	NONE	UNKNOWN
2045	Eratosthenes	PT	100	StateSpace	01	20259e20	3	NONE	UNKNOWN
2046	Eratosthenes	PT	200	StateSpace	01	29173000000000003e32	3	NONE	UNKNOWN
2047	Eratosthenes	PT	500	StateSpace	01	32061000000000005e108	3	NONE	UNKNOWN
2048	FMS	PT	00002	StateSpace	01	16311	3	NONE	UNKNOWN
2049	FMS	PT	00005	StateSpace	01	23527000	3	NONE	UNKNOWN
2050	FMS	PT	00010	StateSpace	01	27568000000	3	NONE	UNKNOWN
2051	FMS	PT	00020	StateSpace	01	81442000000000	3	NONE	UNKNOWN
2052	FMS	PT	00050	StateSpace	01	66135e14	3	NONE	UNKNOWN
2053	FMS	PT	00100	StateSpace	01	44401e18	3	NONE	UNKNOWN
2054	FMS	PT	00200	StateSpace	01	32957e22	3	NONE	UNKNOWN
2055	FMS	PT	00500	StateSpace	00	27006000000000003e14	3	NONE	UNKNOWN
2056	FMS	PT	00500	StateSpace	01	46302e27	3	NONE	UNKNOWN
2057	FMS	PT	00500	StateSpace	02	500	3	NONE	UNKNOWN
2058	FMS	PT	00500	StateSpace	03	1506	3	NONE	UNKNOWN
2059	FlexibleBarrier	PT	04a	StateSpace	01	121830	3	NUPN	UNKNOWN
2060	FlexibleBarrier	PT	04b	StateSpace	01	4501600000	3	NUPN	UNKNOWN
2061	FlexibleBarrier	PT	06a	StateSpace	01	26666000	3	NUPN	UNKNOWN
2062	FlexibleBarrier	PT	08a	StateSpace	01	5201600000	3	NUPN	UNKNOWN
2063	FlexibleBarrier	PT	10a	StateSpace	01	951980000000	3	NUPN	UNKNOWN
2064	FlexibleBarrier	PT	12a	StateSpace	01	167300000000000	3	NUPN	UNKNOWN
2065	FlexibleBarrier	PT	14a	StateSpace	01	28585e12	3	NUPN	UNKNOWN
2066	FlexibleBarrier	PT	16a	StateSpace	01	47839e14	3	NUPN	UNKNOWN
2067	FlexibleBarrier	PT	18a	StateSpace	01	78798e16	3	NUPN	UNKNOWN
2068	FlexibleBarrier	PT	20a	StateSpace	01	1.2815999999999999e+23	3	NUPN	UNKNOWN
2069	FlexibleBarrier	PT	22a	StateSpace	01	20633e21	3	NUPN	UNKNOWN
2070	GPPP	PT	C0001N0000000001	StateSpace	01	42408	3	NONE	UNKNOWN
2071	GPPP	PT	C0001N0000000010	StateSpace	01	9555700	3	NONE	UNKNOWN
2072	GPPP	PT	C0001N0000000100	StateSpace	01	869740000	3	NONE	UNKNOWN
2073	GPPP	PT	C0001N0000001000	StateSpace	01	86140000000	3	NONE	UNKNOWN
2074	GPPP	PT	C0010N0000000010	StateSpace	01	210470000000	3	NONE	UNKNOWN
2075	GPPP	PT	C0010N0000000100	StateSpace	01	1642100000000	3	NONE	UNKNOWN
2076	GPPP	PT	C0100N0000000010	StateSpace	01	119830000000	3	NONE	UNKNOWN
2077	GPPP	PT	C0100N0000000100	StateSpace	01	23484e12	3	NONE	UNKNOWN
2078	GlobalResAllocation	COL	03	StateSpace	01	116180	3	NONE	UNKNOWN
2079	GlobalResAllocation	PT	03	StateSpace	01	116180	3	NONE	UNKNOWN
2080	GlobalResAllocation	PT	05	StateSpace	01	4097900000	2	NONE	UNKNOWN
2081	HexagonalGrid	PT	110	StateSpace	01	430880	3	NONE	UNKNOWN
2082	HexagonalGrid	PT	126	StateSpace	01	39908000	3	NONE	UNKNOWN
2083	HexagonalGrid	PT	226	StateSpace	01	99582e43	3	NONE	UNKNOWN
2084	HouseConstruction	PT	00002	StateSpace	01	4780	3	NONE	UNKNOWN
2085	HouseConstruction	PT	00005	StateSpace	01	7191100	3	NONE	UNKNOWN
2086	HouseConstruction	PT	00010	StateSpace	01	14808000000	3	NONE	UNKNOWN
2087	HouseConstruction	PT	00020	StateSpace	01	161440000000000	3	NONE	UNKNOWN
2088	HouseConstruction	PT	00050	StateSpace	01	23266e16	3	NONE	UNKNOWN
2089	HouseConstruction	PT	00100	StateSpace	00	15805e20	3	NONE	UNKNOWN
2090	HouseConstruction	PT	00100	StateSpace	01	2569e22	3	NONE	UNKNOWN
2091	HouseConstruction	PT	00100	StateSpace	02	100	3	NONE	UNKNOWN
2092	HouseConstruction	PT	00100	StateSpace	03	600	3	NONE	UNKNOWN
2093	HypertorusGrid	PT	d2k1p8b00	StateSpace	01	667630	3	NONE	UNKNOWN
2094	HypertorusGrid	PT	d2k2p1b00	StateSpace	01	921670000000	3	NONE	UNKNOWN
2095	HypertorusGrid	PT	d2k3p2b04	StateSpace	01	30194000000000004e21	3	NONE	UNKNOWN
2096	IBM319	PT	none	StateSpace	01	6705	3	GEN	UNKNOWN
2097	IBM5964	PT	none	StateSpace	01	59846	3	NONE	UNKNOWN
2098	IBM703	PT	none	StateSpace	01	20499	3	GEN	UNKNOWN
2099	IBMB2S565S3960	PT	none	StateSpace	01	20113e13	3	NONE	UNKNOWN
2100	IOTPpurchase	PT	C01M01P01D01	StateSpace	01	436	3	GEN	UNKNOWN
2101	IOTPpurchase	PT	C03M03P03D03	StateSpace	01	1684100	3	NONE	UNKNOWN
2102	IOTPpurchase	PT	C05M04P03D02	StateSpace	01	108420000	3	NONE	UNKNOWN
2103	IOTPpurchase	PT	C12M10P15D17	StateSpace	01	10921e11	3	NONE	UNKNOWN
2104	JoinFreeModules	PT	0003	StateSpace	01	225450	3	NONE	UNKNOWN
2105	JoinFreeModules	PT	0004	StateSpace	01	138230000	3	NONE	UNKNOWN
2106	JoinFreeModules	PT	0005	StateSpace	01	150820000000	3	NONE	UNKNOWN
2107	JoinFreeModules	PT	0010	StateSpace	01	57218e30	3	NONE	UNKNOWN
2108	JoinFreeModules	PT	0020	StateSpace	01	40369e82	3	NONE	UNKNOWN
2109	JoinFreeModules	PT	0050	StateSpace	01	18333e278	3	NONE	UNKNOWN
2110	JoinFreeModules	PT	0100	StateSpace	01	Inf	3	NONE	UNKNOWN
2111	JoinFreeModules	PT	0200	StateSpace	00	Inf	3	NONE	UNKNOWN
2112	JoinFreeModules	PT	0200	StateSpace	01	Inf	3	NONE	UNKNOWN
2113	JoinFreeModules	PT	0200	StateSpace	02	203	3	NONE	UNKNOWN
2114	JoinFreeModules	PT	0200	StateSpace	03	40601	3	NONE	UNKNOWN
2115	Kanban	PT	00005	StateSpace	01	24460000	3	NONE	UNKNOWN
2116	Kanban	PT	00010	StateSpace	01	12032000000	3	NONE	UNKNOWN
2117	Kanban	PT	00020	StateSpace	01	11012000000000	3	NONE	UNKNOWN
2118	Kanban	PT	00050	StateSpace	01	15612e13	3	NONE	UNKNOWN
2119	Kanban	PT	00100	StateSpace	01	26705e16	3	NONE	UNKNOWN
2120	Kanban	PT	00200	StateSpace	01	49914e19	3	NONE	UNKNOWN
2121	Kanban	PT	00500	StateSpace	00	7086e23	3	NONE	UNKNOWN
2122	Kanban	PT	00500	StateSpace	01	1126e25	3	NONE	UNKNOWN
2123	Kanban	PT	00500	StateSpace	02	500	3	NONE	UNKNOWN
2124	Kanban	PT	00500	StateSpace	03	2000	3	NONE	UNKNOWN
2125	Kanban	PT	01000	StateSpace	00	14197e26	3	NONE	UNKNOWN
2126	Kanban	PT	01000	StateSpace	01	22638e27	3	NONE	UNKNOWN
2127	Kanban	PT	01000	StateSpace	02	1000	3	NONE	UNKNOWN
2128	Kanban	PT	01000	StateSpace	03	4000	3	NONE	UNKNOWN
2129	LamportFastMutEx	COL	2	StateSpace	01	716	3	NONE	UNKNOWN
2130	LamportFastMutEx	COL	3	StateSpace	01	58272	3	NONE	UNKNOWN
2131	LamportFastMutEx	COL	4	StateSpace	01	9046000	3	NONE	UNKNOWN
2132	LamportFastMutEx	COL	5	StateSpace	01	4138200000	3	NONE	UNKNOWN
2133	LamportFastMutEx	COL	6	StateSpace	00	547230000000	3	NONE	UNKNOWN
2134	LamportFastMutEx	COL	6	StateSpace	01	6773000000000	3	NONE	UNKNOWN
2135	LamportFastMutEx	COL	6	StateSpace	02	1	3	NONE	UNKNOWN
2136	LamportFastMutEx	COL	6	StateSpace	03	44	3	NONE	UNKNOWN
2137	LamportFastMutEx	PT	2	StateSpace	01	716	3	GEN	UNKNOWN
2138	LamportFastMutEx	PT	3	StateSpace	01	58272	3	GEN	UNKNOWN
2139	LamportFastMutEx	PT	4	StateSpace	01	9046000	3	GEN	UNKNOWN
2140	LamportFastMutEx	PT	5	StateSpace	01	4138200000	3	GEN	UNKNOWN
2141	LamportFastMutEx	PT	6	StateSpace	01	6773000000000	3	GEN	UNKNOWN
2142	MAPK	PT	00008	StateSpace	01	78949000	3	NONE	UNKNOWN
2143	MAPK	PT	00020	StateSpace	01	1689000000000	3	NONE	UNKNOWN
2144	MAPK	PT	00040	StateSpace	01	11099e12	3	NONE	UNKNOWN
2145	MAPK	PT	00080	StateSpace	01	14704e16	3	NONE	UNKNOWN
2146	MAPK	PT	00160	StateSpace	01	2967e21	3	NONE	UNKNOWN
2147	MAPK	PT	00320	StateSpace	00	26163e23	3	NONE	UNKNOWN
2148	MAPK	PT	00320	StateSpace	01	75604e24	3	NONE	UNKNOWN
2149	MAPK	PT	00320	StateSpace	02	320	3	NONE	UNKNOWN
2150	MAPK	PT	00320	StateSpace	03	1440	3	NONE	UNKNOWN
2151	MAPK	PT	00640	StateSpace	00	74034e27	2	NONE	UNKNOWN
2152	MAPK	PT	00640	StateSpace	01	21793e29	2	NONE	UNKNOWN
2153	MAPK	PT	00640	StateSpace	02	640	2	NONE	UNKNOWN
2154	MAPK	PT	00640	StateSpace	03	2880	2	NONE	UNKNOWN
2155	MultiwaySync	PT	none	StateSpace	01	21892e17	3	NUPN	UNKNOWN
2156	NeighborGrid	PT	d2n3m1c12	StateSpace	01	514800	3	NONE	UNKNOWN
2157	NeighborGrid	PT	d2n3m1t12	StateSpace	01	926640	3	NONE	UNKNOWN
2158	NeighborGrid	PT	d3n3m1t11	StateSpace	01	80339e12	3	NONE	UNKNOWN
2159	NeoElection	COL	2	StateSpace	01	448	3	NONE	UNKNOWN
2160	NeoElection	COL	3	StateSpace	01	3599100	3	NONE	UNKNOWN
2161	NeoElection	COL	4	StateSpace	01	1865000000000	3	NONE	UNKNOWN
2162	NeoElection	PT	2	StateSpace	01	448	3	GEN	UNKNOWN
2163	NeoElection	PT	3	StateSpace	01	3599100	3	GEN	UNKNOWN
2164	NeoElection	PT	4	StateSpace	01	1865000000000	3	GEN	UNKNOWN
2165	PaceMaker	PT	none	StateSpace	01	80565e14	3	NONE	UNKNOWN
2166	ParamProductionCell	PT	0	StateSpace	01	13152000	3	GEN	UNKNOWN
2167	ParamProductionCell	PT	1	StateSpace	01	96722	3	GEN	UNKNOWN
2168	ParamProductionCell	PT	2	StateSpace	01	1380700	3	GEN	UNKNOWN
2169	ParamProductionCell	PT	3	StateSpace	01	5922700	3	GEN	UNKNOWN
2170	ParamProductionCell	PT	4	StateSpace	01	9827700	3	GEN	UNKNOWN
2171	ParamProductionCell	PT	5	StateSpace	01	6746400	3	GEN	UNKNOWN
2172	Parking	PT	104	StateSpace	01	339200	3	NUPN	UNKNOWN
2173	Parking	PT	208	StateSpace	01	106370000000	3	NUPN	UNKNOWN
2174	Parking	PT	416	StateSpace	01	45829e19	3	NUPN	UNKNOWN
2175	Parking	PT	432	StateSpace	01	31753000000000002e18	3	NUPN	UNKNOWN
2176	Parking	PT	832	StateSpace	01	20475e52	3	NUPN	UNKNOWN
2177	Parking	PT	864	StateSpace	01	29546999999999997e61	3	NUPN	UNKNOWN
2178	PermAdmissibility	COL	01	StateSpace	01	54600	3	NONE	UNKNOWN
2179	PermAdmissibility	PT	01	StateSpace	01	54600	3	NONE	UNKNOWN
2180	Peterson	COL	2	StateSpace	01	62262	3	NONE	UNKNOWN
2181	Peterson	COL	3	StateSpace	01	13632000	3	NONE	UNKNOWN
2182	Peterson	COL	4	StateSpace	00	629950000	3	NONE	UNKNOWN
2183	Peterson	COL	4	StateSpace	01	3149700000	3	NONE	UNKNOWN
2184	Peterson	COL	4	StateSpace	02	1	3	NONE	UNKNOWN
2185	Peterson	COL	4	StateSpace	03	14	3	NONE	UNKNOWN
2186	Peterson	PT	2	StateSpace	01	62262	3	GEN	UNKNOWN
2187	Peterson	PT	3	StateSpace	01	13632000	3	GEN	UNKNOWN
2188	Peterson	PT	4	StateSpace	01	3149700000	3	GEN	UNKNOWN
2189	PhaseVariation	PT	D02CS010	StateSpace	01	137160	3	NONE	UNKNOWN
2190	PhaseVariation	PT	D02CS100	StateSpace	01	1054500000000	3	NONE	UNKNOWN
2191	PhaseVariation	PT	D05CS010	StateSpace	01	14767000000000	3	NONE	UNKNOWN
2192	Philosophers	COL	000005	StateSpace	01	945	3	NONE	UNKNOWN
2193	Philosophers	COL	000010	StateSpace	01	459270	3	NONE	UNKNOWN
2194	Philosophers	COL	000020	StateSpace	01	54239000000	3	NONE	UNKNOWN
2195	Philosophers	COL	000050	StateSpace	01	27918e21	3	NONE	UNKNOWN
2196	Philosophers	COL	000100	StateSpace	01	40085000000000006e33	3	NONE	UNKNOWN
2197	Philosophers	COL	000200	StateSpace	01	41318e93	3	NONE	UNKNOWN
2198	Philosophers	COL	000500	StateSpace	01	14140000000000005e225	3	NONE	UNKNOWN
2199	Philosophers	COL	001000	StateSpace	01	Inf	3	NONE	UNKNOWN
2200	Philosophers	COL	002000	StateSpace	01	Inf	3	NONE	UNKNOWN
2201	Philosophers	PT	000005	StateSpace	01	945	3	GEN	UNKNOWN
2202	Philosophers	PT	000010	StateSpace	01	459270	3	GEN	UNKNOWN
2203	Philosophers	PT	000020	StateSpace	01	54239000000	3	GEN	UNKNOWN
2204	Philosophers	PT	000050	StateSpace	01	27918e21	3	GEN	UNKNOWN
2205	Philosophers	PT	000100	StateSpace	01	40085000000000006e33	3	GEN	UNKNOWN
2206	Philosophers	PT	000200	StateSpace	01	41318e93	3	GEN	UNKNOWN
2207	Philosophers	PT	000500	StateSpace	01	14140000000000005e225	3	GEN	UNKNOWN
2208	Philosophers	PT	001000	StateSpace	01	Inf	3	GEN	UNKNOWN
2209	Philosophers	PT	002000	StateSpace	01	Inf	3	GEN	UNKNOWN
2210	PhilosophersDyn	COL	03	StateSpace	01	768	3	NONE	UNKNOWN
2211	PhilosophersDyn	COL	10	StateSpace	01	617350	3	NONE	UNKNOWN
2212	PhilosophersDyn	PT	03	StateSpace	01	768	3	NONE	UNKNOWN
2213	PhilosophersDyn	PT	10	StateSpace	01	617350	3	NONE	UNKNOWN
2214	Planning	PT	none	StateSpace	00	Inf	3	NONE	UNKNOWN
2215	Planning	PT	none	StateSpace	01	Inf	3	NONE	UNKNOWN
2216	Planning	PT	none	StateSpace	02	Inf	3	NONE	UNKNOWN
2217	Planning	PT	none	StateSpace	03	Inf	3	NONE	UNKNOWN
2218	PolyORBLF	COL	S02J04T06	StateSpace	01	393950000	3	NONE	UNKNOWN
2219	PolyORBLF	COL	S02J06T06	StateSpace	00	254960000	2	NONE	UNKNOWN
2220	PolyORBLF	COL	S02J06T06	StateSpace	01	721890000	2	NONE	UNKNOWN
2221	PolyORBLF	COL	S02J06T06	StateSpace	02	10	2	NONE	UNKNOWN
2222	PolyORBLF	COL	S02J06T06	StateSpace	03	65	2	NONE	UNKNOWN
2223	PolyORBLF	PT	S02J04T06	StateSpace	01	393950000	3	NONE	UNKNOWN
2224	PolyORBLF	PT	S02J06T06	StateSpace	01	721890000	2	NONE	UNKNOWN
2225	ProductionCell	PT	none	StateSpace	01	153380000000000	3	NUPN	UNKNOWN
2226	QuasiCertifProtocol	COL	02	StateSpace	01	3084	3	NONE	UNKNOWN
2227	QuasiCertifProtocol	COL	06	StateSpace	01	16008000	3	NONE	UNKNOWN
2228	QuasiCertifProtocol	COL	10	StateSpace	00	21512000000	2	NONE	UNKNOWN
2229	QuasiCertifProtocol	COL	10	StateSpace	02	6	2	NONE	UNKNOWN
2230	QuasiCertifProtocol	COL	10	StateSpace	03	161	2	NONE	UNKNOWN
2231	QuasiCertifProtocol	PT	02	StateSpace	01	3084	3	NONE	UNKNOWN
2232	QuasiCertifProtocol	PT	06	StateSpace	01	16008000	3	NONE	UNKNOWN
2233	Raft	PT	02	StateSpace	01	55824	3	NUPN	UNKNOWN
2234	Raft	PT	03	StateSpace	01	350570000	3	NUPN	UNKNOWN
2235	Raft	PT	04	StateSpace	01	41776000000000	3	NUPN	UNKNOWN
2236	Raft	PT	05	StateSpace	01	11095e16	3	NUPN	UNKNOWN
2237	Raft	PT	06	StateSpace	01	6992599999999999e12	3	NUPN	UNKNOWN
2238	Raft	PT	07	StateSpace	01	10676000000000002e21	3	NUPN	UNKNOWN
2239	Raft	PT	08	StateSpace	01	39801e43	3	NUPN	UNKNOWN
2240	Raft	PT	09	StateSpace	01	36404e55	3	NUPN	UNKNOWN
2241	Raft	PT	10	StateSpace	01	8196300000000001e57	3	NUPN	UNKNOWN
2242	Railroad	PT	005	StateSpace	01	7699	3	GEN	UNKNOWN
2243	Railroad	PT	010	StateSpace	01	16325000	3	GEN	UNKNOWN
2244	Railroad	PT	020	StateSpace	00	2195500000000	3	GEN	UNKNOWN
2245	Railroad	PT	020	StateSpace	01	34035000000000	3	GEN	UNKNOWN
2246	Railroad	PT	020	StateSpace	02	1	3	GEN	UNKNOWN
2247	Railroad	PT	020	StateSpace	03	46	3	GEN	UNKNOWN
2248	Referendum	COL	0010	StateSpace	01	393660	3	NONE	UNKNOWN
2249	Referendum	COL	0015	StateSpace	01	143490000	3	NONE	UNKNOWN
2250	Referendum	COL	0020	StateSpace	01	46490000000	3	NONE	UNKNOWN
2251	Referendum	COL	0050	StateSpace	01	2393e22	3	NONE	UNKNOWN
2252	Referendum	COL	0100	StateSpace	01	34359e45	3	NONE	UNKNOWN
2253	Referendum	COL	0200	StateSpace	01	35415e93	3	NONE	UNKNOWN
2254	Referendum	COL	0500	StateSpace	01	12120000000000004e225	3	NONE	UNKNOWN
2255	Referendum	COL	1000	StateSpace	01	Inf	3	NONE	UNKNOWN
2256	Referendum	PT	0010	StateSpace	01	393660	3	GEN	UNKNOWN
2257	Referendum	PT	0015	StateSpace	01	143490000	3	GEN	UNKNOWN
2258	Referendum	PT	0020	StateSpace	01	46490000000	3	GEN	UNKNOWN
2259	Referendum	PT	0050	StateSpace	01	2393e22	3	GEN	UNKNOWN
2260	Referendum	PT	0100	StateSpace	01	34359e45	3	GEN	UNKNOWN
2261	Referendum	PT	0200	StateSpace	01	35415e93	3	GEN	UNKNOWN
2262	Referendum	PT	0500	StateSpace	01	12120000000000004e225	3	GEN	UNKNOWN
2263	Referendum	PT	1000	StateSpace	01	Inf	3	GEN	UNKNOWN
2264	ResAllocation	PT	R002C002	StateSpace	01	12	3	GEN	UNKNOWN
2265	ResAllocation	PT	R003C002	StateSpace	01	34	3	GEN	UNKNOWN
2266	ResAllocation	PT	R003C003	StateSpace	01	257	3	GEN	UNKNOWN
2267	ResAllocation	PT	R003C005	StateSpace	01	4960	3	GEN	UNKNOWN
2268	ResAllocation	PT	R003C010	StateSpace	01	6286700	3	GEN	UNKNOWN
2269	ResAllocation	PT	R003C015	StateSpace	01	6485700000	3	GEN	UNKNOWN
2270	ResAllocation	PT	R003C020	StateSpace	01	6002900000000	3	GEN	UNKNOWN
2271	ResAllocation	PT	R003C050	StateSpace	01	17616000000000002e14	3	GEN	UNKNOWN
2272	ResAllocation	PT	R003C100	StateSpace	01	10194e55	3	GEN	UNKNOWN
2273	ResAllocation	PT	R005C002	StateSpace	01	240	3	GEN	UNKNOWN
2274	ResAllocation	PT	R010C002	StateSpace	01	20480	3	GEN	UNKNOWN
2275	ResAllocation	PT	R015C002	StateSpace	01	1269800	3	GEN	UNKNOWN
2276	ResAllocation	PT	R020C002	StateSpace	01	66847000	3	GEN	UNKNOWN
2277	ResAllocation	PT	R050C002	StateSpace	01	38844e13	3	GEN	UNKNOWN
2278	ResAllocation	PT	R100C002	StateSpace	01	16654e29	3	GEN	UNKNOWN
2279	Ring	PT	none	StateSpace	01	9662800000000	3	GEN	UNKNOWN
2280	RobotManipulation	PT	00001	StateSpace	01	274	3	NONE	UNKNOWN
2281	RobotManipulation	PT	00002	StateSpace	01	5500	3	NONE	UNKNOWN
2282	RobotManipulation	PT	00005	StateSpace	01	1137700	3	NONE	UNKNOWN
2283	RobotManipulation	PT	00010	StateSpace	01	157280000	3	NONE	UNKNOWN
2284	RobotManipulation	PT	00020	StateSpace	01	37588000000	3	NONE	UNKNOWN
2285	RobotManipulation	PT	00050	StateSpace	01	86729000000000	3	NONE	UNKNOWN
2286	RobotManipulation	PT	00100	StateSpace	00	35216e11	3	NONE	UNKNOWN
2287	RobotManipulation	PT	00100	StateSpace	01	37218e12	3	NONE	UNKNOWN
2288	RobotManipulation	PT	00100	StateSpace	02	201	3	NONE	UNKNOWN
2289	RobotManipulation	PT	00100	StateSpace	03	1002	3	NONE	UNKNOWN
2290	RobotManipulation	PT	00200	StateSpace	00	16154e14	3	NONE	UNKNOWN
2291	RobotManipulation	PT	00200	StateSpace	01	17414e15	3	NONE	UNKNOWN
2292	RobotManipulation	PT	00200	StateSpace	02	401	3	NONE	UNKNOWN
2293	RobotManipulation	PT	00200	StateSpace	03	2002	3	NONE	UNKNOWN
2294	RwMutex	PT	r0010w0010	StateSpace	01	10260	3	GEN	UNKNOWN
2295	RwMutex	PT	r0010w0020	StateSpace	01	10280	3	GEN	UNKNOWN
2296	RwMutex	PT	r0010w0050	StateSpace	01	10340	3	GEN	UNKNOWN
2297	RwMutex	PT	r0010w0100	StateSpace	01	10440	3	GEN	UNKNOWN
2298	RwMutex	PT	r0010w0500	StateSpace	01	11240	3	GEN	UNKNOWN
2299	RwMutex	PT	r0010w1000	StateSpace	01	12240	3	GEN	UNKNOWN
2300	RwMutex	PT	r0010w2000	StateSpace	01	14240	3	GEN	UNKNOWN
2301	RwMutex	PT	r0020w0010	StateSpace	01	20972000	3	GEN	UNKNOWN
2302	RwMutex	PT	r0100w0010	StateSpace	01	12676999999999999e16	3	GEN	UNKNOWN
2303	RwMutex	PT	r0500w0010	StateSpace	01	16367000000000001e137	3	GEN	UNKNOWN
2304	RwMutex	PT	r1000w0010	StateSpace	01	10715000000000001e288	3	GEN	UNKNOWN
2305	RwMutex	PT	r2000w0010	StateSpace	00	Inf	3	GEN	UNKNOWN
2306	RwMutex	PT	r2000w0010	StateSpace	01	Inf	3	GEN	UNKNOWN
2307	RwMutex	PT	r2000w0010	StateSpace	02	1	3	GEN	UNKNOWN
2308	RwMutex	PT	r2000w0010	StateSpace	03	4010	3	GEN	UNKNOWN
2309	SafeBus	COL	03	StateSpace	01	12888	3	NONE	UNKNOWN
2310	SafeBus	COL	06	StateSpace	01	29905000	3	NONE	UNKNOWN
2311	SafeBus	PT	03	StateSpace	01	12888	3	GEN	UNKNOWN
2312	SafeBus	PT	06	StateSpace	01	29905000	3	GEN	UNKNOWN
2313	SharedMemory	COL	000005	StateSpace	01	10395	3	NONE	UNKNOWN
2314	SharedMemory	COL	000010	StateSpace	01	19486000	3	NONE	UNKNOWN
2315	SharedMemory	COL	000020	StateSpace	00	445150000000	3	NONE	UNKNOWN
2316	SharedMemory	COL	000020	StateSpace	01	9197400000000	3	NONE	UNKNOWN
2317	SharedMemory	COL	000020	StateSpace	02	1	3	NONE	UNKNOWN
2318	SharedMemory	COL	000020	StateSpace	03	41	3	NONE	UNKNOWN
2319	SharedMemory	PT	000005	StateSpace	01	10395	3	GEN	UNKNOWN
2320	SharedMemory	PT	000010	StateSpace	01	19486000	3	GEN	UNKNOWN
2321	SharedMemory	PT	000020	StateSpace	01	9197400000000	3	GEN	UNKNOWN
2322	SimpleLoadBal	PT	02	StateSpace	01	2650	3	GEN	UNKNOWN
2323	SimpleLoadBal	PT	05	StateSpace	01	566330	3	GEN	UNKNOWN
2324	SimpleLoadBal	PT	10	StateSpace	01	3051200000	3	GEN	UNKNOWN
2325	SmallOperatingSystem	PT	MT0016DC0008	StateSpace	01	100900	3	NONE	UNKNOWN
2326	SmallOperatingSystem	PT	MT0032DC0008	StateSpace	01	1112500	3	NONE	UNKNOWN
2327	SmallOperatingSystem	PT	MT0032DC0016	StateSpace	01	2451300	3	NONE	UNKNOWN
2328	SmallOperatingSystem	PT	MT0064DC0016	StateSpace	01	29675000	3	NONE	UNKNOWN
2329	SmallOperatingSystem	PT	MT0064DC0032	StateSpace	01	67763000	3	NONE	UNKNOWN
2330	SmallOperatingSystem	PT	MT0128DC0032	StateSpace	01	863520000	3	NONE	UNKNOWN
2331	SmallOperatingSystem	PT	MT0128DC0064	StateSpace	01	2010600000	3	NONE	UNKNOWN
2332	SmallOperatingSystem	PT	MT0256DC0064	StateSpace	01	26322000000	3	NONE	UNKNOWN
2333	SmallOperatingSystem	PT	MT0256DC0128	StateSpace	01	61916000000	3	NONE	UNKNOWN
2334	SmallOperatingSystem	PT	MT0512DC0128	StateSpace	01	821840000000	3	NONE	UNKNOWN
2335	SmallOperatingSystem	PT	MT0512DC0256	StateSpace	01	1943300000000	3	NONE	UNKNOWN
2336	SmallOperatingSystem	PT	MT1024DC0256	StateSpace	01	25976000000000	3	NONE	UNKNOWN
2337	SmallOperatingSystem	PT	MT1024DC0512	StateSpace	01	61584000000000	3	NONE	UNKNOWN
2338	SquareGrid	PT	020102	StateSpace	01	40384000000000	3	NONE	UNKNOWN
2339	SwimmingPool	PT	01	StateSpace	01	450000	3	NONE	UNKNOWN
2340	SwimmingPool	PT	02	StateSpace	01	19930000	3	NONE	UNKNOWN
2341	SwimmingPool	PT	03	StateSpace	01	199290000	3	NONE	UNKNOWN
2342	SwimmingPool	PT	04	StateSpace	01	1047500000	3	NONE	UNKNOWN
2343	SwimmingPool	PT	05	StateSpace	01	3837200000	3	NONE	UNKNOWN
2344	SwimmingPool	PT	06	StateSpace	01	11150000000	3	NONE	UNKNOWN
2345	SwimmingPool	PT	07	StateSpace	01	27571000000	3	NONE	UNKNOWN
2346	SwimmingPool	PT	08	StateSpace	01	60534000000	3	NONE	UNKNOWN
2347	SwimmingPool	PT	09	StateSpace	01	121320000000	3	NONE	UNKNOWN
2348	SwimmingPool	PT	10	StateSpace	00	33585000000	3	NONE	UNKNOWN
2349	SwimmingPool	PT	10	StateSpace	01	226180000000	3	NONE	UNKNOWN
2350	SwimmingPool	PT	10	StateSpace	02	200	3	NONE	UNKNOWN
2351	SwimmingPool	PT	10	StateSpace	03	450	3	NONE	UNKNOWN
2352	TCPcondis	PT	05	StateSpace	01	24899000	3	NONE	UNKNOWN
2353	TCPcondis	PT	10	StateSpace	01	189250000000	3	NONE	UNKNOWN
2354	TCPcondis	PT	15	StateSpace	01	93109000000000	3	NONE	UNKNOWN
2355	TCPcondis	PT	20	StateSpace	01	10931e12	1	NONE	UNKNOWN
2356	TCPcondis	PT	25	StateSpace	00	24639e12	1	NONE	UNKNOWN
2357	TCPcondis	PT	25	StateSpace	01	52719e13	1	NONE	UNKNOWN
2358	TCPcondis	PT	25	StateSpace	02	25	1	NONE	UNKNOWN
2359	TCPcondis	PT	25	StateSpace	03	100	1	NONE	UNKNOWN
2360	TokenRing	COL	005	StateSpace	01	365	2	NONE	UNKNOWN
2361	TokenRing	COL	010	StateSpace	01	294050	2	NONE	UNKNOWN
2362	TokenRing	COL	015	StateSpace	01	265180000	2	NONE	UNKNOWN
2363	TokenRing	COL	020	StateSpace	01	244660000000	2	NONE	UNKNOWN
2364	TokenRing	COL	030	StateSpace	01	21817e13	2	NONE	UNKNOWN
2365	TokenRing	COL	040	StateSpace	01	20228e19	2	NONE	UNKNOWN
2366	TokenRing	PT	005	StateSpace	01	365	3	GEN	UNKNOWN
2367	TokenRing	PT	010	StateSpace	01	294050	3	GEN	UNKNOWN
2368	TokenRing	PT	015	StateSpace	01	265180000	3	GEN	UNKNOWN
2369	TokenRing	PT	020	StateSpace	01	244660000000	3	GEN	UNKNOWN
2370	TokenRing	PT	030	StateSpace	01	21817e13	2	GEN	UNKNOWN
2371	TokenRing	PT	040	StateSpace	01	20228e19	2	GEN	UNKNOWN
2372	TriangularGrid	PT	1200	StateSpace	01	566710	3	NONE	UNKNOWN
2373	TriangularGrid	PT	1500	StateSpace	01	3683600	3	NONE	UNKNOWN
2374	TriangularGrid	PT	2011	StateSpace	01	10543000000	3	NONE	UNKNOWN
2375	TriangularGrid	PT	3011	StateSpace	01	69469e17	3	NONE	UNKNOWN
2376	TriangularGrid	PT	3026	StateSpace	01	12333e26	3	NONE	UNKNOWN
2377	UtahNoC	PT	none	StateSpace	01	77248000000	2	NUPN	UNKNOWN
2378	Vasy2003	PT	none	StateSpace	01	34003e19	3	NUPN	UNKNOWN
2379	ASLink	PT	01a	StateSpace	01	956620000	3	NUPN	UNKNOWN
2380	ASLink	PT	02a	StateSpace	01	70218000000000	3	NUPN	UNKNOWN
2381	ASLink	PT	03a	StateSpace	01	45791e14	3	NUPN	UNKNOWN
2382	BusinessProcesses	PT	01	StateSpace	01	276500000000	3	NUPN	UNKNOWN
2383	BusinessProcesses	PT	02	StateSpace	01	50565000000000	3	NUPN	UNKNOWN
2384	BusinessProcesses	PT	03	StateSpace	01	258220000000000	3	NUPN	UNKNOWN
2385	BusinessProcesses	PT	04	StateSpace	01	2557500000000	3	NUPN	UNKNOWN
2386	BusinessProcesses	PT	05	StateSpace	01	55862e14	3	NUPN	UNKNOWN
2387	BusinessProcesses	PT	06	StateSpace	01	67554e15	3	NUPN	UNKNOWN
2388	BusinessProcesses	PT	07	StateSpace	00	81436e13	2	NUPN	UNKNOWN
2389	BusinessProcesses	PT	07	StateSpace	02	1	2	NUPN	UNKNOWN
2390	BusinessProcesses	PT	07	StateSpace	03	39	2	NUPN	UNKNOWN
2391	BusinessProcesses	PT	08	StateSpace	01	11592e15	3	NUPN	UNKNOWN
2392	BusinessProcesses	PT	09	StateSpace	00	75226e14	3	NUPN	UNKNOWN
2393	BusinessProcesses	PT	09	StateSpace	02	1	3	NUPN	UNKNOWN
2394	BusinessProcesses	PT	09	StateSpace	03	41	3	NUPN	UNKNOWN
2395	BusinessProcesses	PT	11	StateSpace	01	20996e20	3	NUPN	UNKNOWN
2396	BusinessProcesses	PT	12	StateSpace	00	61433e19	3	NUPN	UNKNOWN
2397	BusinessProcesses	PT	12	StateSpace	01	18594e21	3	NUPN	UNKNOWN
2398	BusinessProcesses	PT	12	StateSpace	02	1	3	NUPN	UNKNOWN
2399	BusinessProcesses	PT	12	StateSpace	03	63	3	NUPN	UNKNOWN
2400	BusinessProcesses	PT	13	StateSpace	00	31266e21	3	NUPN	UNKNOWN
2401	BusinessProcesses	PT	13	StateSpace	01	10051e23	2	NUPN	UNKNOWN
2402	BusinessProcesses	PT	13	StateSpace	02	1	3	NUPN	UNKNOWN
2403	BusinessProcesses	PT	13	StateSpace	03	62	3	NUPN	UNKNOWN
2404	BusinessProcesses	PT	14	StateSpace	00	5185e23	2	NUPN	UNKNOWN
2405	BusinessProcesses	PT	14	StateSpace	02	1	2	NUPN	UNKNOWN
2406	BusinessProcesses	PT	14	StateSpace	03	65	2	NUPN	UNKNOWN
2407	BusinessProcesses	PT	15	StateSpace	00	88732e21	3	NUPN	UNKNOWN
2408	BusinessProcesses	PT	15	StateSpace	01	29366e23	3	NUPN	UNKNOWN
2409	BusinessProcesses	PT	15	StateSpace	02	1	3	NUPN	UNKNOWN
2410	BusinessProcesses	PT	15	StateSpace	03	67	3	NUPN	UNKNOWN
2411	BusinessProcesses	PT	16	StateSpace	00	37426999999999994e11	2	NUPN	UNKNOWN
2412	BusinessProcesses	PT	16	StateSpace	01	13080000000000001e13	2	NUPN	UNKNOWN
2413	BusinessProcesses	PT	16	StateSpace	02	1	2	NUPN	UNKNOWN
2414	BusinessProcesses	PT	16	StateSpace	03	66	2	NUPN	UNKNOWN
2415	BusinessProcesses	PT	17	StateSpace	00	37496e22	3	NUPN	UNKNOWN
2416	BusinessProcesses	PT	17	StateSpace	02	1	3	NUPN	UNKNOWN
2417	BusinessProcesses	PT	17	StateSpace	03	70	3	NUPN	UNKNOWN
2418	BusinessProcesses	PT	18	StateSpace	00	37276e27	3	NUPN	UNKNOWN
2419	BusinessProcesses	PT	18	StateSpace	02	1	3	NUPN	UNKNOWN
2420	BusinessProcesses	PT	18	StateSpace	03	77	3	NUPN	UNKNOWN
2421	DLCflexbar	PT	2a	StateSpace	01	20377e19	3	NUPN	UNKNOWN
2422	DLCflexbar	PT	3a	StateSpace	01	10304e29	3	NUPN	UNKNOWN
2423	DLCflexbar	PT	4a	StateSpace	01	11869e42	3	NUPN	UNKNOWN
2424	DLCflexbar	PT	5a	StateSpace	01	30931e58	3	NUPN	UNKNOWN
2425	DLCflexbar	PT	6a	StateSpace	01	18344e78	3	NUPN	UNKNOWN
2426	DLCflexbar	PT	7a	StateSpace	01	24966e101	3	NUPN	UNKNOWN
2427	DLCflexbar	PT	8a	StateSpace	01	78563e127	3	NUPN	UNKNOWN
2428	DiscoveryGPU	PT	06a	StateSpace	01	13528000	3	NUPN	UNKNOWN
2429	DiscoveryGPU	PT	06b	StateSpace	01	38660000000	3	NUPN	UNKNOWN
2430	DiscoveryGPU	PT	07a	StateSpace	01	173610000	3	NUPN	UNKNOWN
2431	DiscoveryGPU	PT	07b	StateSpace	01	1272500000000	3	NUPN	UNKNOWN
2432	DiscoveryGPU	PT	08a	StateSpace	01	2182600000	3	NUPN	UNKNOWN
2433	DiscoveryGPU	PT	08b	StateSpace	01	40675000000000	3	NUPN	UNKNOWN
2434	DiscoveryGPU	PT	09a	StateSpace	01	27009000000	3	NUPN	UNKNOWN
2435	DiscoveryGPU	PT	09b	StateSpace	01	1271e12	3	NUPN	UNKNOWN
2436	DiscoveryGPU	PT	10a	StateSpace	01	330110000000	3	NUPN	UNKNOWN
2437	DiscoveryGPU	PT	10b	StateSpace	01	39011e12	3	NUPN	UNKNOWN
2438	DiscoveryGPU	PT	11a	StateSpace	01	3994400000000	3	NUPN	UNKNOWN
2439	DiscoveryGPU	PT	11b	StateSpace	01	118e16	3	NUPN	UNKNOWN
2440	DiscoveryGPU	PT	12a	StateSpace	01	47932000000000	3	NUPN	UNKNOWN
2441	DiscoveryGPU	PT	12b	StateSpace	01	35272e15	3	NUPN	UNKNOWN
2442	DiscoveryGPU	PT	13a	StateSpace	01	571190000000000	3	NUPN	UNKNOWN
2443	DiscoveryGPU	PT	13b	StateSpace	01	10439e17	3	NUPN	UNKNOWN
2444	DiscoveryGPU	PT	14a	StateSpace	01	67665e11	3	NUPN	UNKNOWN
2445	DiscoveryGPU	PT	14b	StateSpace	01	30638e18	3	NUPN	UNKNOWN
2446	DiscoveryGPU	PT	15a	StateSpace	01	79747e12	3	NUPN	UNKNOWN
2447	DiscoveryGPU	PT	15b	StateSpace	01	89289e19	3	NUPN	UNKNOWN
2448	DoubleExponent	PT	001	StateSpace	01	148	3	NONE	UNKNOWN
2449	DoubleExponent	PT	002	StateSpace	01	3707	3	NONE	UNKNOWN
2450	DoubleExponent	PT	003	StateSpace	01	2385100	3	NONE	UNKNOWN
2451	EGFr	PT	02010	StateSpace	01	26923	3	GEN	UNKNOWN
2452	EGFr	PT	10420	StateSpace	01	84643e13	3	GEN	UNKNOWN
2453	EGFr	PT	10421	StateSpace	01	84643e13	3	NONE	UNKNOWN
2454	HospitalTriage	PT	none	StateSpace	01	35036e17	3	NONE	UNKNOWN
2455	MAPKbis	PT	5310	StateSpace	01	94861000000000	3	GEN	UNKNOWN
2456	MAPKbis	PT	5320	StateSpace	01	101580000	3	GEN	UNKNOWN
2457	NQueens	PT	05	StateSpace	01	1295	3	GEN	UNKNOWN
2458	NQueens	PT	08	StateSpace	01	564880	3	GEN	UNKNOWN
2459	RefineWMG	PT	002002	StateSpace	01	321730	3	NONE	UNKNOWN
2460	RefineWMG	PT	002003	StateSpace	01	1139500	3	NONE	UNKNOWN
2461	RefineWMG	PT	005005	StateSpace	01	9379200000000	3	NONE	UNKNOWN
2462	RefineWMG	PT	005006	StateSpace	01	45170000000000	3	NONE	UNKNOWN
2463	RefineWMG	PT	007007	StateSpace	01	36537e14	3	NONE	UNKNOWN
2464	RefineWMG	PT	007008	StateSpace	01	19333e15	3	NONE	UNKNOWN
2465	RefineWMG	PT	010010	StateSpace	00	Inf	2	NONE	UNKNOWN
2466	RefineWMG	PT	010010	StateSpace	01	Inf	2	NONE	UNKNOWN
2467	RefineWMG	PT	010010	StateSpace	02	Inf	2	NONE	UNKNOWN
2468	RefineWMG	PT	010010	StateSpace	03	Inf	2	NONE	UNKNOWN
2469	RefineWMG	PT	010011	StateSpace	00	Inf	2	NONE	UNKNOWN
2470	RefineWMG	PT	010011	StateSpace	01	Inf	2	NONE	UNKNOWN
2471	RefineWMG	PT	010011	StateSpace	02	Inf	2	NONE	UNKNOWN
2472	RefineWMG	PT	010011	StateSpace	03	Inf	2	NONE	UNKNOWN
2473	RefineWMG	PT	015015	StateSpace	00	Inf	2	NONE	UNKNOWN
2474	RefineWMG	PT	015015	StateSpace	01	Inf	2	NONE	UNKNOWN
2475	RefineWMG	PT	015015	StateSpace	02	Inf	2	NONE	UNKNOWN
2476	RefineWMG	PT	015015	StateSpace	03	Inf	2	NONE	UNKNOWN
2477	RefineWMG	PT	015016	StateSpace	00	Inf	2	NONE	UNKNOWN
2478	RefineWMG	PT	015016	StateSpace	01	Inf	2	NONE	UNKNOWN
2479	RefineWMG	PT	015016	StateSpace	02	Inf	2	NONE	UNKNOWN
2480	RefineWMG	PT	015016	StateSpace	03	Inf	2	NONE	UNKNOWN
2481	RefineWMG	PT	025025	StateSpace	00	Inf	2	NONE	UNKNOWN
2482	RefineWMG	PT	025025	StateSpace	01	Inf	2	NONE	UNKNOWN
2483	RefineWMG	PT	025025	StateSpace	02	Inf	2	NONE	UNKNOWN
2484	RefineWMG	PT	025025	StateSpace	03	Inf	2	NONE	UNKNOWN
2485	RefineWMG	PT	025026	StateSpace	00	Inf	2	NONE	UNKNOWN
2486	RefineWMG	PT	025026	StateSpace	01	Inf	2	NONE	UNKNOWN
2487	RefineWMG	PT	025026	StateSpace	02	Inf	2	NONE	UNKNOWN
2488	RefineWMG	PT	025026	StateSpace	03	Inf	2	NONE	UNKNOWN
2489	RefineWMG	PT	050050	StateSpace	00	Inf	2	NONE	UNKNOWN
2490	RefineWMG	PT	050050	StateSpace	01	Inf	2	NONE	UNKNOWN
2491	RefineWMG	PT	050050	StateSpace	02	Inf	2	NONE	UNKNOWN
2492	RefineWMG	PT	050050	StateSpace	03	Inf	2	NONE	UNKNOWN
2493	RefineWMG	PT	050051	StateSpace	00	Inf	2	NONE	UNKNOWN
2494	RefineWMG	PT	050051	StateSpace	01	Inf	2	NONE	UNKNOWN
2495	RefineWMG	PT	050051	StateSpace	02	Inf	2	NONE	UNKNOWN
2496	RefineWMG	PT	050051	StateSpace	03	Inf	2	NONE	UNKNOWN
2497	CloudOpsManagement	PT	00002by00001	StateSpace	01	30090	3	NONE	UNKNOWN
2498	CloudOpsManagement	PT	00005by00002	StateSpace	01	19148000	3	NONE	UNKNOWN
2499	CloudOpsManagement	PT	00010by00005	StateSpace	01	185320000000	3	NONE	UNKNOWN
2500	CloudOpsManagement	PT	00020by00010	StateSpace	01	14148e11	3	NONE	UNKNOWN
2501	CloudOpsManagement	PT	00040by00020	StateSpace	01	26614e15	3	NONE	UNKNOWN
2502	CloudOpsManagement	PT	00080by00040	StateSpace	01	88251e19	3	NONE	UNKNOWN
2503	CloudOpsManagement	PT	00160by00080	StateSpace	01	40454e24	3	NONE	UNKNOWN
2504	CloudOpsManagement	PT	00320by00160	StateSpace	01	22070999999999997e17	2	NONE	UNKNOWN
2505	NoC3x3	PT	1A	StateSpace	01	16406e19	3	NUPN	UNKNOWN
2506	AirplaneLD	PT	0500	StateSpace	01	19075000000	3	GEN	UNKNOWN
2507	GPPP	PT	C0001N0000010000	StateSpace	00	1433400000000	2	NONE	UNKNOWN
2508	GPPP	PT	C0001N0000010000	StateSpace	01	8605700000000	2	NONE	UNKNOWN
2509	GPPP	PT	C0001N0000010000	StateSpace	02	40007	2	NONE	UNKNOWN
2510	GPPP	PT	C0001N0000010000	StateSpace	03	100030	2	NONE	UNKNOWN
2511	GPPP	PT	C1000N0000000010	StateSpace	01	119830000000	3	NONE	UNKNOWN
2512	Philosophers	PT	010000	StateSpace	00	Inf	2	NONE	UNKNOWN
2513	Philosophers	PT	010000	StateSpace	02	1	2	NONE	UNKNOWN
2514	Philosophers	PT	010000	StateSpace	03	20000	2	NONE	UNKNOWN
2515	NQueens	PT	10	StateSpace	01	46240000	1	GEN	UNKNOWN
2516	AirplaneLD	COL	0500	StateSpace	01	19075000000	2	NONE	UNKNOWN
2517	AirplaneLD	COL	1000	StateSpace	01	152300000000	1	NONE	UNKNOWN
2518	AirplaneLD	COL	2000	StateSpace	01	1217200000000	1	NONE	UNKNOWN
2519	AirplaneLD	COL	4000	StateSpace	01	9732800000000	1	NONE	UNKNOWN
2520	AirplaneLD	PT	2000	StateSpace	01	1217200000000	1	GEN	UNKNOWN
2521	AirplaneLD	PT	4000	StateSpace	01	9732800000000	1	GEN	UNKNOWN
2522	AutoFlight	PT	05b	StateSpace	01	52864e26	1	NUPN	UNKNOWN
2523	BART	COL	002	StateSpace	01	53328	1	NONE	UNKNOWN
2524	BART	COL	005	StateSpace	01	306630000000	1	NONE	UNKNOWN
2525	BART	COL	010	StateSpace	01	24576e18	1	NONE	UNKNOWN
2526	BART	COL	020	StateSpace	01	7893800000000001e28	1	NONE	UNKNOWN
2527	BART	COL	030	StateSpace	01	19015999999999998e49	1	NONE	UNKNOWN
2528	BART	COL	040	StateSpace	01	40719e82	1	NONE	UNKNOWN
2529	BART	COL	050	StateSpace	01	8174200000000002e92	1	NONE	UNKNOWN
2530	BART	COL	060	StateSpace	01	15753e125	1	NONE	UNKNOWN
2531	BridgeAndVehicles	COL	V50P20N50	StateSpace	00	1454600000	2	NONE	UNKNOWN
2532	BridgeAndVehicles	COL	V50P20N50	StateSpace	01	5484000000	1	NONE	UNKNOWN
2533	BridgeAndVehicles	COL	V50P20N50	StateSpace	02	50	2	NONE	UNKNOWN
2534	BridgeAndVehicles	COL	V50P20N50	StateSpace	03	124	2	NONE	UNKNOWN
2535	BridgeAndVehicles	COL	V50P50N20	StateSpace	01	3363700000	1	NONE	UNKNOWN
2536	BridgeAndVehicles	COL	V50P50N50	StateSpace	00	1676900000	2	NONE	UNKNOWN
2537	BridgeAndVehicles	COL	V50P50N50	StateSpace	01	6337400000	1	NONE	UNKNOWN
2538	BridgeAndVehicles	COL	V50P50N50	StateSpace	02	50	2	NONE	UNKNOWN
2539	BridgeAndVehicles	COL	V50P50N50	StateSpace	03	154	2	NONE	UNKNOWN
2540	BridgeAndVehicles	COL	V80P20N20	StateSpace	01	26974000000	1	NONE	UNKNOWN
2541	BridgeAndVehicles	COL	V80P50N10	StateSpace	01	8993400000	1	NONE	UNKNOWN
2542	BridgeAndVehicles	COL	V80P50N20	StateSpace	01	26974000000	1	NONE	UNKNOWN
2543	BridgeAndVehicles	PT	V50P20N50	StateSpace	01	5484000000	1	NONE	UNKNOWN
2544	BridgeAndVehicles	PT	V50P50N20	StateSpace	01	3363700000	1	NONE	UNKNOWN
2545	BridgeAndVehicles	PT	V50P50N50	StateSpace	00	1676900000	2	NONE	UNKNOWN
2546	BridgeAndVehicles	PT	V50P50N50	StateSpace	01	6337400000	1	NONE	UNKNOWN
2547	BridgeAndVehicles	PT	V50P50N50	StateSpace	02	50	2	NONE	UNKNOWN
2548	BridgeAndVehicles	PT	V50P50N50	StateSpace	03	154	2	NONE	UNKNOWN
2549	BridgeAndVehicles	PT	V80P20N20	StateSpace	01	26974000000	1	NONE	UNKNOWN
2550	BridgeAndVehicles	PT	V80P50N10	StateSpace	01	8993400000	1	NONE	UNKNOWN
2551	BridgeAndVehicles	PT	V80P50N20	StateSpace	01	26974000000	1	NONE	UNKNOWN
2552	ClientsAndServers	PT	N0050P0	StateSpace	00	53924e21	1	NONE	UNKNOWN
2553	ClientsAndServers	PT	N0050P0	StateSpace	01	88483e22	1	NONE	UNKNOWN
2554	ClientsAndServers	PT	N0050P0	StateSpace	02	400	1	NONE	UNKNOWN
2555	ClientsAndServers	PT	N0050P0	StateSpace	03	1250	1	NONE	UNKNOWN
2556	Diffusion2D	PT	D05N100	StateSpace	01	30206e23	2	NONE	UNKNOWN
2557	Diffusion2D	PT	D05N150	StateSpace	01	22501000000000002e15	1	NONE	UNKNOWN
2558	Diffusion2D	PT	D05N200	StateSpace	01	14707000000000001e18	1	NONE	UNKNOWN
2559	Diffusion2D	PT	D05N250	StateSpace	01	24062e32	1	NONE	UNKNOWN
2560	Diffusion2D	PT	D05N300	StateSpace	01	16072e34	1	NONE	UNKNOWN
2561	Diffusion2D	PT	D05N350	StateSpace	01	57325e35	1	NONE	UNKNOWN
2562	Diffusion2D	PT	D30N150	StateSpace	01	30661000000000007e172	1	NONE	UNKNOWN
2563	Diffusion2D	PT	D40N050	StateSpace	01	42126e94	1	NONE	UNKNOWN
2564	Diffusion2D	PT	D40N100	StateSpace	01	4160400000000001e151	1	NONE	UNKNOWN
2565	Diffusion2D	PT	D40N150	StateSpace	00	63692e216	1	NONE	UNKNOWN
2566	Diffusion2D	PT	D40N150	StateSpace	01	6731900000000001e208	1	NONE	UNKNOWN
2567	Diffusion2D	PT	D40N150	StateSpace	02	150	1	NONE	UNKNOWN
2568	Diffusion2D	PT	D40N150	StateSpace	03	150	1	NONE	UNKNOWN
2569	Diffusion2D	PT	D50N050	StateSpace	01	16063e104	1	NONE	UNKNOWN
2570	Diffusion2D	PT	D50N100	StateSpace	00	47067000000000014e166	1	NONE	UNKNOWN
2571	Diffusion2D	PT	D50N100	StateSpace	01	35140000000000004e169	1	NONE	UNKNOWN
2572	Diffusion2D	PT	D50N100	StateSpace	02	100	1	NONE	UNKNOWN
2573	Diffusion2D	PT	D50N100	StateSpace	03	100	1	NONE	UNKNOWN
2574	Diffusion2D	PT	D50N150	StateSpace	00	68837e244	1	NONE	UNKNOWN
2575	Diffusion2D	PT	D50N150	StateSpace	01	75635e247	1	NONE	UNKNOWN
2576	Diffusion2D	PT	D50N150	StateSpace	02	150	1	NONE	UNKNOWN
2577	Diffusion2D	PT	D50N150	StateSpace	03	150	1	NONE	UNKNOWN
2578	ERK	PT	010000	StateSpace	00	1.3907999999999999e+22	1	NONE	UNKNOWN
2579	ERK	PT	010000	StateSpace	01	15293e19	1	NONE	UNKNOWN
2580	ERK	PT	010000	StateSpace	02	10000	1	NONE	UNKNOWN
2581	ERK	PT	010000	StateSpace	03	50000	1	NONE	UNKNOWN
2582	ERK	PT	100000	StateSpace	00	13891e24	1	NONE	UNKNOWN
2583	ERK	PT	100000	StateSpace	01	15279e25	1	NONE	UNKNOWN
2584	ERK	PT	100000	StateSpace	02	100000	1	NONE	UNKNOWN
2585	ERK	PT	100000	StateSpace	03	500000	1	NONE	UNKNOWN
2586	GPPP	PT	C0100N0000001000	StateSpace	01	19832e13	1	NONE	UNKNOWN
2587	GPPP	PT	C0100N0000010000	StateSpace	00	20293e12	1	NONE	UNKNOWN
2588	GPPP	PT	C0100N0000010000	StateSpace	01	19832e13	1	NONE	UNKNOWN
2589	GPPP	PT	C0100N0000010000	StateSpace	02	40007	1	NONE	UNKNOWN
2590	GPPP	PT	C0100N0000010000	StateSpace	03	93800	1	NONE	UNKNOWN
2591	GPPP	PT	C0100N0000100000	StateSpace	00	20293e12	1	NONE	UNKNOWN
2592	GPPP	PT	C0100N0000100000	StateSpace	01	19832e13	1	NONE	UNKNOWN
2593	GPPP	PT	C0100N0000100000	StateSpace	02	400010	1	NONE	UNKNOWN
2594	GPPP	PT	C0100N0000100000	StateSpace	03	903800	1	NONE	UNKNOWN
2595	GPPP	PT	C1000N0000000100	StateSpace	01	10253e12	1	NONE	UNKNOWN
2596	HouseConstruction	PT	00200	StateSpace	00	25048e25	2	NONE	UNKNOWN
2597	HouseConstruction	PT	00200	StateSpace	01	42781e26	1	NONE	UNKNOWN
2598	HouseConstruction	PT	00200	StateSpace	02	200	2	NONE	UNKNOWN
2599	HouseConstruction	PT	00200	StateSpace	03	1200	2	NONE	UNKNOWN
2600	HouseConstruction	PT	00500	StateSpace	00	26712e32	1	NONE	UNKNOWN
2601	HouseConstruction	PT	00500	StateSpace	01	47066000000000005e21	1	NONE	UNKNOWN
2602	HouseConstruction	PT	00500	StateSpace	02	500	1	NONE	UNKNOWN
2603	HouseConstruction	PT	00500	StateSpace	03	3000	1	NONE	UNKNOWN
2604	HouseConstruction	PT	01000	StateSpace	00	63035e37	1	NONE	UNKNOWN
2605	HouseConstruction	PT	01000	StateSpace	01	11225e39	1	NONE	UNKNOWN
2606	HouseConstruction	PT	01000	StateSpace	02	1000	1	NONE	UNKNOWN
2607	HouseConstruction	PT	01000	StateSpace	03	6000	1	NONE	UNKNOWN
2608	HouseConstruction	PT	02000	StateSpace	00	15673e43	1	NONE	UNKNOWN
2609	HouseConstruction	PT	02000	StateSpace	01	28060000000000003e32	1	NONE	UNKNOWN
2610	HouseConstruction	PT	02000	StateSpace	02	2000	1	NONE	UNKNOWN
2611	HouseConstruction	PT	02000	StateSpace	03	12000	1	NONE	UNKNOWN
2612	HouseConstruction	PT	04000	StateSpace	00	40011000000000004e36	1	NONE	UNKNOWN
2613	HouseConstruction	PT	04000	StateSpace	01	7182600000000001e38	1	NONE	UNKNOWN
2614	HouseConstruction	PT	04000	StateSpace	02	4000	1	NONE	UNKNOWN
2615	HouseConstruction	PT	04000	StateSpace	03	24000	1	NONE	UNKNOWN
2616	HouseConstruction	PT	08000	StateSpace	00	1035e55	1	NONE	UNKNOWN
2617	HouseConstruction	PT	08000	StateSpace	01	18606e55	1	NONE	UNKNOWN
2618	HouseConstruction	PT	08000	StateSpace	02	8000	1	NONE	UNKNOWN
2619	HouseConstruction	PT	08000	StateSpace	03	48000	1	NONE	UNKNOWN
2620	HouseConstruction	PT	16000	StateSpace	00	26953e59	1	NONE	UNKNOWN
2621	HouseConstruction	PT	16000	StateSpace	01	48483e60	1	NONE	UNKNOWN
2622	HouseConstruction	PT	16000	StateSpace	02	16000	1	NONE	UNKNOWN
2623	HouseConstruction	PT	16000	StateSpace	03	96000	1	NONE	UNKNOWN
2624	HouseConstruction	PT	32000	StateSpace	00	70422e64	1	NONE	UNKNOWN
2625	HouseConstruction	PT	32000	StateSpace	01	12672e66	1	NONE	UNKNOWN
2626	HouseConstruction	PT	32000	StateSpace	02	32000	1	NONE	UNKNOWN
2627	HouseConstruction	PT	32000	StateSpace	03	192000	1	NONE	UNKNOWN
2628	JoinFreeModules	PT	0500	StateSpace	00	Inf	1	NONE	UNKNOWN
2629	JoinFreeModules	PT	0500	StateSpace	01	Inf	1	NONE	UNKNOWN
2630	JoinFreeModules	PT	0500	StateSpace	02	503	1	NONE	UNKNOWN
2631	JoinFreeModules	PT	0500	StateSpace	03	251500	1	NONE	UNKNOWN
2632	Kanban	PT	02000	StateSpace	00	28758999999999997e17	1	NONE	UNKNOWN
2633	Kanban	PT	02000	StateSpace	01	45935e30	1	NONE	UNKNOWN
2634	Kanban	PT	02000	StateSpace	02	2000	1	NONE	UNKNOWN
2635	Kanban	PT	02000	StateSpace	03	8000	1	NONE	UNKNOWN
2636	Kanban	PT	05000	StateSpace	00	6811600000000001e22	1	NONE	UNKNOWN
2637	Kanban	PT	05000	StateSpace	01	10890999999999999e23	1	NONE	UNKNOWN
2638	Kanban	PT	05000	StateSpace	02	5000	1	NONE	UNKNOWN
2639	Kanban	PT	05000	StateSpace	03	20000	1	NONE	UNKNOWN
2640	Kanban	PT	10000	StateSpace	00	13919000000000002e25	1	NONE	UNKNOWN
2641	Kanban	PT	10000	StateSpace	01	22263999999999998e26	1	NONE	UNKNOWN
2642	Kanban	PT	10000	StateSpace	02	10000	1	NONE	UNKNOWN
2643	Kanban	PT	10000	StateSpace	03	40000	1	NONE	UNKNOWN
2644	Kanban	PT	20000	StateSpace	00	28476000000000003e28	1	NONE	UNKNOWN
2645	Kanban	PT	20000	StateSpace	01	45553e41	1	NONE	UNKNOWN
2646	Kanban	PT	20000	StateSpace	02	20000	1	NONE	UNKNOWN
2647	Kanban	PT	20000	StateSpace	03	80000	1	NONE	UNKNOWN
2648	Kanban	PT	50000	StateSpace	00	67847e44	1	NONE	UNKNOWN
2649	Kanban	PT	50000	StateSpace	01	10855e46	1	NONE	UNKNOWN
2650	Kanban	PT	50000	StateSpace	02	50000	1	NONE	UNKNOWN
2651	Kanban	PT	50000	StateSpace	03	200000	1	NONE	UNKNOWN
2652	NeighborGrid	PT	d4n3m2c23	StateSpace	01	29451000000000003e52	1	NONE	UNKNOWN
2653	NeighborGrid	PT	d5n4m1t35	StateSpace	00	Inf	1	NONE	UNKNOWN
2654	NeighborGrid	PT	d5n4m1t35	StateSpace	01	Inf	1	NONE	UNKNOWN
2655	NeighborGrid	PT	d5n4m1t35	StateSpace	02	1024	1	NONE	UNKNOWN
2656	NeighborGrid	PT	d5n4m1t35	StateSpace	03	1024	1	NONE	UNKNOWN
2657	NeoElection	COL	5	StateSpace	00	63569e14	1	NONE	UNKNOWN
2658	NeoElection	COL	5	StateSpace	01	64783e15	1	NONE	UNKNOWN
2659	NeoElection	COL	5	StateSpace	02	1	1	NONE	UNKNOWN
2660	NeoElection	COL	5	StateSpace	03	80	1	NONE	UNKNOWN
2661	NeoElection	PT	5	StateSpace	00	63569e14	1	GEN	UNKNOWN
2662	NeoElection	PT	5	StateSpace	01	64783e15	1	GEN	UNKNOWN
2663	NeoElection	PT	5	StateSpace	02	1	1	GEN	UNKNOWN
2664	NeoElection	PT	5	StateSpace	03	80	1	GEN	UNKNOWN
2665	Peterson	PT	5	StateSpace	00	136560000000	1	GEN	UNKNOWN
2666	Peterson	PT	5	StateSpace	01	819370000000	1	GEN	UNKNOWN
2667	Peterson	PT	5	StateSpace	02	1	1	GEN	UNKNOWN
2668	Peterson	PT	5	StateSpace	03	17	1	GEN	UNKNOWN
2669	Philosophers	COL	005000	StateSpace	01	Inf	1	NONE	UNKNOWN
2670	Philosophers	COL	010000	StateSpace	00	Inf	1	NONE	UNKNOWN
2671	Philosophers	COL	010000	StateSpace	01	Inf	1	NONE	UNKNOWN
2672	Philosophers	COL	010000	StateSpace	02	1	1	NONE	UNKNOWN
2673	Philosophers	COL	010000	StateSpace	03	20000	1	NONE	UNKNOWN
2674	Philosophers	PT	005000	StateSpace	01	Inf	1	NONE	UNKNOWN
2675	Philosophers	PT	010000	StateSpace	01	Inf	1	NONE	UNKNOWN
2676	RobotManipulation	PT	00500	StateSpace	00	57643e17	1	NONE	UNKNOWN
2677	RobotManipulation	PT	00500	StateSpace	01	62893e18	1	NONE	UNKNOWN
2678	RobotManipulation	PT	00500	StateSpace	02	1001	1	NONE	UNKNOWN
2679	RobotManipulation	PT	00500	StateSpace	03	5002	1	NONE	UNKNOWN
2680	RobotManipulation	PT	01000	StateSpace	00	2886e21	1	NONE	UNKNOWN
2681	RobotManipulation	PT	01000	StateSpace	01	31616e21	1	NONE	UNKNOWN
2682	RobotManipulation	PT	01000	StateSpace	02	2001	1	NONE	UNKNOWN
2683	RobotManipulation	PT	01000	StateSpace	03	10002	1	NONE	UNKNOWN
2684	RobotManipulation	PT	02000	StateSpace	00	14610999999999998e11	1	NONE	UNKNOWN
2685	RobotManipulation	PT	02000	StateSpace	01	1604e25	1	NONE	UNKNOWN
2686	RobotManipulation	PT	02000	StateSpace	02	4001	1	NONE	UNKNOWN
2687	RobotManipulation	PT	02000	StateSpace	03	20002	1	NONE	UNKNOWN
2688	RobotManipulation	PT	05000	StateSpace	00	5536300000000001e15	1	NONE	UNKNOWN
2689	RobotManipulation	PT	05000	StateSpace	01	6085e28	1	NONE	UNKNOWN
2690	RobotManipulation	PT	05000	StateSpace	02	10001	1	NONE	UNKNOWN
2691	RobotManipulation	PT	05000	StateSpace	03	50002	1	NONE	UNKNOWN
2692	RobotManipulation	PT	10000	StateSpace	00	28281999999999995e17	1	NONE	UNKNOWN
2693	RobotManipulation	PT	10000	StateSpace	01	31098000000000003e18	1	NONE	UNKNOWN
2694	RobotManipulation	PT	10000	StateSpace	02	20001	1	NONE	UNKNOWN
2695	RobotManipulation	PT	10000	StateSpace	03	100000	1	NONE	UNKNOWN
2696	SharedMemory	COL	000050	StateSpace	00	587e24	1	NONE	UNKNOWN
2697	SharedMemory	COL	000050	StateSpace	01	29741e24	1	NONE	UNKNOWN
2698	SharedMemory	COL	000050	StateSpace	02	1	1	NONE	UNKNOWN
2699	SharedMemory	COL	000050	StateSpace	03	101	1	NONE	UNKNOWN
2700	SharedMemory	COL	000100	StateSpace	00	17013e47	1	NONE	UNKNOWN
2701	SharedMemory	COL	000100	StateSpace	01	17126000000000001e37	1	NONE	UNKNOWN
2702	SharedMemory	COL	000100	StateSpace	02	1	1	NONE	UNKNOWN
2703	SharedMemory	COL	000100	StateSpace	03	201	1	NONE	UNKNOWN
2704	SharedMemory	COL	000200	StateSpace	00	35241e95	1	NONE	UNKNOWN
2705	SharedMemory	COL	000200	StateSpace	01	7071600000000001e86	1	NONE	UNKNOWN
2706	SharedMemory	COL	000200	StateSpace	02	1	1	NONE	UNKNOWN
2707	SharedMemory	COL	000200	StateSpace	03	401	1	NONE	UNKNOWN
2708	SharedMemory	PT	000050	StateSpace	00	587e24	1	GEN	UNKNOWN
2709	SharedMemory	PT	000050	StateSpace	01	29741e24	1	GEN	UNKNOWN
2710	SharedMemory	PT	000050	StateSpace	02	1	1	GEN	UNKNOWN
2711	SharedMemory	PT	000050	StateSpace	03	101	1	GEN	UNKNOWN
2712	SharedMemory	PT	000100	StateSpace	00	17013e47	1	GEN	UNKNOWN
2713	SharedMemory	PT	000100	StateSpace	01	17126000000000001e37	1	GEN	UNKNOWN
2714	SharedMemory	PT	000100	StateSpace	02	1	1	GEN	UNKNOWN
2715	SharedMemory	PT	000100	StateSpace	03	201	1	GEN	UNKNOWN
2716	SharedMemory	PT	000200	StateSpace	00	35241e95	1	GEN	UNKNOWN
2717	SharedMemory	PT	000200	StateSpace	01	7071600000000001e86	1	GEN	UNKNOWN
2718	SharedMemory	PT	000200	StateSpace	02	1	1	GEN	UNKNOWN
2719	SharedMemory	PT	000200	StateSpace	03	401	1	GEN	UNKNOWN
2720	SmallOperatingSystem	PT	MT2048DC0512	StateSpace	00	103580000000000	2	NONE	UNKNOWN
2721	SmallOperatingSystem	PT	MT2048DC0512	StateSpace	01	826080000000000	1	NONE	UNKNOWN
2722	SmallOperatingSystem	PT	MT2048DC0512	StateSpace	02	2048	2	NONE	UNKNOWN
2723	SmallOperatingSystem	PT	MT2048DC0512	StateSpace	03	5632	2	NONE	UNKNOWN
2724	SmallOperatingSystem	PT	MT2048DC1024	StateSpace	00	245740000000000	1	NONE	UNKNOWN
2725	SmallOperatingSystem	PT	MT2048DC1024	StateSpace	01	19611e11	1	NONE	UNKNOWN
2726	SmallOperatingSystem	PT	MT2048DC1024	StateSpace	02	2048	1	NONE	UNKNOWN
2727	SmallOperatingSystem	PT	MT2048DC1024	StateSpace	03	7168	1	NONE	UNKNOWN
2728	SmallOperatingSystem	PT	MT4096DC1024	StateSpace	00	32992e11	1	NONE	UNKNOWN
2729	SmallOperatingSystem	PT	MT4096DC1024	StateSpace	01	26353e12	1	NONE	UNKNOWN
2730	SmallOperatingSystem	PT	MT4096DC1024	StateSpace	02	4096	1	NONE	UNKNOWN
2731	SmallOperatingSystem	PT	MT4096DC1024	StateSpace	03	11264	1	NONE	UNKNOWN
2732	SmallOperatingSystem	PT	MT4096DC2048	StateSpace	00	78349e11	1	NONE	UNKNOWN
2733	SmallOperatingSystem	PT	MT4096DC2048	StateSpace	01	62603e12	1	NONE	UNKNOWN
2734	SmallOperatingSystem	PT	MT4096DC2048	StateSpace	02	4096	1	NONE	UNKNOWN
2735	SmallOperatingSystem	PT	MT4096DC2048	StateSpace	03	14336	1	NONE	UNKNOWN
2736	SmallOperatingSystem	PT	MT8192DC2048	StateSpace	00	10533e13	1	NONE	UNKNOWN
2737	SmallOperatingSystem	PT	MT8192DC2048	StateSpace	01	84198e13	1	NONE	UNKNOWN
2738	SmallOperatingSystem	PT	MT8192DC2048	StateSpace	02	8192	1	NONE	UNKNOWN
2739	SmallOperatingSystem	PT	MT8192DC2048	StateSpace	03	22528	1	NONE	UNKNOWN
2740	SmallOperatingSystem	PT	MT8192DC4096	StateSpace	00	25026e13	1	NONE	UNKNOWN
2741	SmallOperatingSystem	PT	MT8192DC4096	StateSpace	01	20008e14	1	NONE	UNKNOWN
2742	SmallOperatingSystem	PT	MT8192DC4096	StateSpace	02	8192	1	NONE	UNKNOWN
2743	SmallOperatingSystem	PT	MT8192DC4096	StateSpace	03	28672	1	NONE	UNKNOWN
2744	Solitaire	PT	SqrNC5x5	StateSpace	01	213960000	1	GEN	UNKNOWN
2745	TriangularGrid	PT	4022	StateSpace	00	6194000000000001e34	1	NONE	UNKNOWN
2746	TriangularGrid	PT	4022	StateSpace	01	35074e47	1	NONE	UNKNOWN
2747	TriangularGrid	PT	4022	StateSpace	02	8	1	NONE	UNKNOWN
2748	TriangularGrid	PT	4022	StateSpace	03	188	1	NONE	UNKNOWN
2749	ASLink	PT	01b	StateSpace	01	73479e11	1	NUPN	UNKNOWN
2750	ASLink	PT	04a	StateSpace	00	2.0327999999999998e+22	2	NUPN	UNKNOWN
2751	ASLink	PT	04a	StateSpace	01	27772e19	2	NUPN	UNKNOWN
2752	ASLink	PT	04a	StateSpace	02	1	2	NUPN	UNKNOWN
2753	ASLink	PT	04a	StateSpace	03	62	2	NUPN	UNKNOWN
2754	ASLink	PT	05a	StateSpace	01	16101e24	1	NUPN	UNKNOWN
2755	ASLink	PT	06a	StateSpace	01	9052599999999999e17	1	NUPN	UNKNOWN
2756	ASLink	PT	07a	StateSpace	00	22349000000000002e20	1	NUPN	UNKNOWN
2757	ASLink	PT	07a	StateSpace	01	49784e33	1	NUPN	UNKNOWN
2758	ASLink	PT	07a	StateSpace	02	1	1	NUPN	UNKNOWN
2759	ASLink	PT	07a	StateSpace	03	101	1	NUPN	UNKNOWN
2760	ASLink	PT	08a	StateSpace	00	10706000000000001e25	1	NUPN	UNKNOWN
2761	ASLink	PT	08a	StateSpace	01	26924e38	1	NUPN	UNKNOWN
2762	ASLink	PT	08a	StateSpace	02	1	1	NUPN	UNKNOWN
2763	ASLink	PT	08a	StateSpace	03	114	1	NUPN	UNKNOWN
2764	ASLink	PT	09a	StateSpace	00	51289e41	1	NUPN	UNKNOWN
2765	ASLink	PT	09a	StateSpace	01	14371000000000001e31	1	NUPN	UNKNOWN
2766	ASLink	PT	09a	StateSpace	02	1	1	NUPN	UNKNOWN
2767	ASLink	PT	09a	StateSpace	03	127	1	NUPN	UNKNOWN
2768	ASLink	PT	10a	StateSpace	00	24570999999999998e34	1	NUPN	UNKNOWN
2769	ASLink	PT	10a	StateSpace	01	75898e47	1	NUPN	UNKNOWN
2770	ASLink	PT	10a	StateSpace	02	1	1	NUPN	UNKNOWN
2771	ASLink	PT	10a	StateSpace	03	140	1	NUPN	UNKNOWN
2772	BusinessProcesses	PT	07	StateSpace	01	14959e15	1	NUPN	UNKNOWN
2773	BusinessProcesses	PT	09	StateSpace	01	14557e16	1	NUPN	UNKNOWN
2774	BusinessProcesses	PT	10	StateSpace	00	20834e21	1	NUPN	UNKNOWN
2775	BusinessProcesses	PT	10	StateSpace	01	52705e22	1	NUPN	UNKNOWN
2776	BusinessProcesses	PT	10	StateSpace	02	1	1	NUPN	UNKNOWN
2777	BusinessProcesses	PT	10	StateSpace	03	54	1	NUPN	UNKNOWN
2778	BusinessProcesses	PT	14	StateSpace	01	17608e24	1	NUPN	UNKNOWN
2779	BusinessProcesses	PT	17	StateSpace	01	12757e24	1	NUPN	UNKNOWN
2780	BusinessProcesses	PT	18	StateSpace	01	14065e29	1	NUPN	UNKNOWN
2781	BusinessProcesses	PT	19	StateSpace	00	7157099999999999e18	1	NUPN	UNKNOWN
2782	BusinessProcesses	PT	19	StateSpace	01	29309e31	1	NUPN	UNKNOWN
2783	BusinessProcesses	PT	19	StateSpace	02	1	1	NUPN	UNKNOWN
2784	BusinessProcesses	PT	19	StateSpace	03	84	1	NUPN	UNKNOWN
2785	RefineWMG	PT	100100	StateSpace	01	Inf	1	NONE	UNKNOWN
2786	RefineWMG	PT	100101	StateSpace	01	Inf	1	NONE	UNKNOWN
2787	NoC3x3	PT	3A	StateSpace	01	11193e27	1	NUPN	UNKNOWN
2788	NoC3x3	PT	8A	StateSpace	01	70411e38	1	NUPN	UNKNOWN
2789	CircadianClock	PT	010000	StateSpace	00	4002e17	1	NONE	UNKNOWN
2790	CircadianClock	PT	010000	StateSpace	01	48017e17	1	NONE	UNKNOWN
2791	CircadianClock	PT	010000	StateSpace	02	10000	1	NONE	UNKNOWN
2792	CircadianClock	PT	010000	StateSpace	03	50002	1	NONE	UNKNOWN
2793	MAPK	PT	01280	StateSpace	00	22526e32	1	NONE	UNKNOWN
2794	MAPK	PT	01280	StateSpace	02	1280	1	NONE	UNKNOWN
2795	MAPK	PT	01280	StateSpace	03	5760	1	NONE	UNKNOWN
2796	PolyORBNT	PT	S10J20	StateSpace	00	34694000000	1	NONE	UNKNOWN
2797	PolyORBNT	PT	S10J20	StateSpace	02	10	1	NONE	UNKNOWN
2798	PolyORBNT	PT	S10J20	StateSpace	03	68	1	NONE	UNKNOWN
2799	CloudOpsManagement	PT	00640by00320	StateSpace	00	46016e32	1	NONE	UNKNOWN
2800	CloudOpsManagement	PT	00640by00320	StateSpace	02	1280	1	NONE	UNKNOWN
2801	CloudOpsManagement	PT	00640by00320	StateSpace	03	5760	1	NONE	UNKNOWN