MAX-CSP 2008 Competition competition: execution trace

Solver Name	Answer	Number of falsified constraints	CPU time	Wall clock time
toulbar2/BTD 2008-06-27	? (TO)	2638	3600.12	3601.71

7.45/7.54	o 3310
7.45/7.54	v 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 2 2 0 0 0 1 0 2 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 0 0 2 2 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 1 0 0 0 0 0 0 0 1 2 1 0 0 1 0 1 0 1 0 0 0 0 2 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 1 1 0 0 1 0 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 0 0 2 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 0 2 0 2 0 0 0 2 0 0 0 2 0 2 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 2 1 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 1 0 0 0 0 1 1 2 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 2 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 1 0 2 0 0 1 1 0 0 1 0 0 0 0 0 2 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 2 0 0 1 0 0 2 0 0 0 0 0 0 0 0 2 2 0 
7.45/7.54	o 3290
7.45/7.54	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 0 2 0 2 1 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 0 0 0 0 2 0 2 0 0 0 0 0 2 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 0 2 0 1 0 0 0 1 0 0 0 2 0 1 0 0 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 0 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.55	o 3269
7.45/7.55	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 0 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 0 0 0 0 2 0 2 0 0 0 0 0 2 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 0 2 0 1 0 0 0 1 0 0 0 2 0 1 0 0 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 0 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.55	o 3248
7.45/7.55	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 0 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 0 0 0 0 2 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 1 0 0 0 0 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 2 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 0 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.55	o 3229
7.45/7.55	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 0 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 0 0 0 0 2 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 1 0 0 0 1 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 2 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 1 0 0 0 2 0 0 0 2 2 0 0 0 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.55	o 3228
7.45/7.55	v 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 2 2 0 0 0 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 2 0 2 0 0 1 0 0 2 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 1 0 0 0 0 0 0 0 1 2 1 0 0 1 0 1 0 1 0 0 0 0 2 0 2 0 0 0 2 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 1 1 0 0 1 0 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 1 2 0 2 0 0 0 2 1 0 0 2 0 2 0 0 1 0 1 1 1 2 0 0 0 0 0 1 0 0 2 1 0 1 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 2 0 0 1 0 0 0 0 0 1 0 2 0 1 1 0 0 0 0 2 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 2 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 1 0 2 0 0 1 1 0 0 1 0 0 0 0 0 2 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 2 0 0 1 0 0 2 0 0 0 0 0 0 0 0 2 2 0 
7.45/7.55	o 3226
7.45/7.55	v 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 2 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 0 0 2 1 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 1 0 0 0 0 2 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 1 1 0 0 1 0 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 2 0 0 0 1 1 0 2 0 0 0 2 2 0 0 1 0 2 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 2 1 0 1 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 1 0 0 2 0 0 0 0 0 1 0 2 0 1 1 0 0 0 0 1 1 2 0 0 0 1 1 0 2 0 0 0 1 0 0 0 1 1 0 0 0 2 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 1 0 2 0 0 1 1 0 0 1 0 0 0 0 0 2 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 2 0 0 1 0 0 2 0 0 0 0 0 0 0 0 2 1 0 
7.45/7.55	o 3204
7.45/7.55	v 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 2 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 0 0 2 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 1 0 0 0 0 2 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 1 1 0 0 1 0 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 0 0 1 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 2 2 0 0 1 0 0 0 0 2 0 0 0 1 1 0 2 0 0 0 2 2 0 0 1 0 2 0 0 1 0 1 1 1 2 0 0 0 0 0 1 0 0 2 1 0 1 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 1 0 0 2 0 0 0 0 0 1 0 2 0 1 1 0 0 0 0 2 1 2 0 0 0 1 1 0 2 0 0 0 1 0 0 0 1 1 0 0 0 2 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 1 0 2 0 0 1 1 0 0 1 0 0 0 0 0 2 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 2 0 0 1 0 0 2 0 0 0 0 0 0 0 0 2 1 0 
7.45/7.55	o 3196
7.45/7.55	v 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 2 1 0 0 0 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 0 0 2 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 1 0 0 0 0 2 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 1 1 0 0 1 0 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 0 0 1 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 2 2 0 0 1 0 0 0 0 2 0 0 0 1 1 0 2 0 0 0 2 2 0 0 1 0 2 0 0 1 0 1 1 1 2 0 0 0 0 0 1 0 0 2 1 0 1 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 1 0 0 2 0 0 0 0 0 1 0 2 0 1 1 0 0 0 0 2 1 2 0 0 0 1 1 0 2 0 0 0 1 0 0 0 1 1 0 0 0 2 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 1 0 2 0 0 1 1 0 0 1 0 0 0 0 0 2 0 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 2 0 0 1 0 0 2 0 0 0 0 0 0 0 0 2 1 0 
7.45/7.56	o 3195
7.45/7.56	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 0 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 2 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 0 0 0 0 2 0 2 0 0 0 0 0 2 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 0 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.56	o 3180
7.45/7.56	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 0 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 2 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 0 0 0 0 2 0 2 0 0 0 0 0 2 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 0 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.56	o 3164
7.45/7.56	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 0 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 2 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 2 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 0 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 0 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.56	o 3148
7.45/7.56	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 0 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 2 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 2 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 0 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 1 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.57	o 3134
7.45/7.57	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 0 2 0 2 1 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 2 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 2 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 2 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 1 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.57	o 3133
7.45/7.57	v 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 2 1 0 0 0 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 0 0 2 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 1 0 0 0 0 2 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 1 1 0 0 1 0 0 0 0 2 0 2 0 0 0 1 0 1 0 0 0 0 0 1 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 2 2 0 0 1 0 0 0 0 2 0 0 0 1 1 0 2 0 0 0 2 2 0 0 1 0 2 0 0 1 0 1 1 1 2 0 0 0 0 0 1 0 0 2 1 0 1 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 2 0 0 2 0 0 0 0 0 1 0 2 0 1 1 0 0 0 0 2 1 2 0 0 0 1 1 0 2 0 0 0 1 0 0 0 1 1 0 0 2 2 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 1 0 2 0 0 1 1 0 0 1 0 0 0 0 0 2 2 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 2 0 2 1 0 0 2 0 0 0 0 0 0 0 0 2 1 0 
7.45/7.57	o 3132
7.45/7.57	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 0 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 2 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 2 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 1 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 1 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.58	o 3117
7.45/7.58	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 1 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 2 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 2 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 1 1 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 1 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.58	o 3116
7.45/7.59	v 0 0 1 0 0 0 1 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 1 0 0 2 2 0 0 0 0 0 0 0 2 1 1 0 0 2 0 2 0 2 0 0 0 0 2 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 1 0 0 0 2 1 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 2 0 0 0 2 0 0 0 2 2 0 0 1 1 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 1 2 0 0 2 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.45/7.59	o 3100
7.45/7.59	v 0 0 1 0 0 0 1 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 2 0 0 2 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 1 0 0 2 2 0 0 0 0 0 0 0 2 1 1 0 0 2 0 2 0 2 0 0 0 0 2 0 1 0 0 0 2 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 1 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 1 1 1 0 0 1 0 0 2 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 1 0 0 0 2 1 0 2 0 0 0 1 1 0 0 2 0 2 0 0 2 0 1 2 2 2 0 0 0 0 0 1 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 0 0 0 0 0 2 0 2 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 2 0 0 0 2 0 0 0 2 2 0 0 1 1 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 1 2 0 0 2 0 0 0 0 0 1 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.55/7.60	o 3099
7.55/7.60	v 0 0 2 0 0 0 1 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 1 0 0 2 2 0 0 0 0 0 0 0 1 1 1 0 0 2 0 1 0 2 0 0 0 0 2 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 2 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 1 0 0 0 2 1 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 2 0 0 0 2 0 0 0 2 2 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 1 0 1 0 0 1 2 0 0 2 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.55/7.61	o 3082
7.55/7.61	v 0 0 2 0 0 0 1 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 1 1 0 0 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 2 0 0 0 0 2 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 2 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 1 0 0 0 2 1 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 0 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 2 0 0 0 2 0 0 0 2 2 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 1 0 1 0 0 1 1 0 0 2 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 1 0 0 1 0 0 0 0 0 0 0 0 2 2 0 
7.55/7.62	o 3081
7.55/7.62	v 0 0 2 0 0 0 2 0 0 0 1 0 0 0 2 0 2 1 0 0 0 0 2 2 0 0 1 2 0 2 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 2 1 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 2 0 0 1 1 0 0 0 0 0 0 0 1 2 2 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 2 1 0 0 1 0 0 0 0 2 0 2 0 0 0 1 0 1 0 0 0 0 0 2 2 2 0 0 2 0 0 1 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 2 0 0 2 0 0 0 0 2 0 0 0 1 2 0 1 0 0 0 2 2 0 0 1 0 1 0 0 1 0 2 2 1 1 0 0 0 0 0 2 0 0 2 1 0 1 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 1 0 1 0 0 2 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 2 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 2 2 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 1 0 2 0 0 2 1 0 0 1 0 0 0 0 0 2 2 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 0 2 0 1 1 0 0 2 0 0 0 0 0 0 0 0 2 1 0 
7.55/7.64	o 3062
7.55/7.64	v 0 0 2 0 0 0 1 0 0 0 1 0 0 0 2 0 2 1 0 0 0 0 2 1 0 0 1 2 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 2 1 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 1 2 2 0 0 2 0 1 0 2 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 2 1 0 0 1 0 0 0 0 2 0 2 0 0 0 1 0 1 0 0 0 0 0 2 2 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 2 0 0 2 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 2 2 0 0 1 0 1 0 0 1 0 2 2 1 1 0 0 0 0 0 2 0 0 2 1 0 1 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 1 0 0 2 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 2 0 0 0 1 1 0 2 0 0 0 2 0 0 0 1 2 0 0 2 2 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 1 0 2 0 0 2 1 0 0 2 0 0 0 0 0 2 2 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 0 2 0 1 1 0 0 2 0 0 0 0 0 0 0 0 2 1 0 
7.55/7.68	o 3043
7.55/7.68	v 0 0 2 0 0 0 1 0 0 0 1 0 0 0 2 0 2 1 0 0 0 0 2 1 0 0 1 2 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 2 1 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 2 0 0 1 2 0 0 0 0 0 0 0 1 2 2 0 0 2 0 1 0 2 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 2 1 0 0 1 0 0 0 0 2 0 2 0 0 0 1 0 1 0 0 0 0 0 2 2 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 2 0 0 2 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 2 2 0 0 1 0 1 0 0 1 0 2 2 1 1 0 0 0 0 0 2 0 0 2 1 0 1 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 1 0 0 2 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 2 0 0 0 1 1 0 2 0 0 0 2 0 0 0 1 2 0 0 2 2 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 1 0 2 0 0 2 1 0 0 2 0 0 0 0 0 2 2 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 0 2 0 1 1 0 0 2 0 0 0 0 0 0 0 0 2 1 0 
7.65/7.74	o 3025
7.65/7.74	v 0 0 2 0 0 0 1 0 0 0 1 0 0 0 2 0 2 1 0 0 0 0 2 2 0 0 1 2 0 2 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 2 1 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 2 0 0 1 1 0 0 0 0 0 0 0 1 2 2 0 0 1 0 1 0 2 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 2 1 0 0 1 0 0 0 0 2 0 2 0 0 0 1 0 1 0 0 0 0 0 2 2 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 2 0 0 2 0 0 0 0 1 0 0 0 1 2 0 1 0 0 0 2 2 0 0 1 0 1 0 0 1 0 2 2 1 1 0 0 0 0 0 2 0 0 2 1 0 1 0 0 2 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 1 0 0 2 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 2 0 0 0 1 1 0 1 0 0 0 2 0 0 0 1 2 0 0 2 2 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 1 0 2 0 0 2 1 0 0 2 0 0 0 0 0 2 2 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 0 2 0 1 1 0 0 2 0 0 0 0 0 0 0 0 2 1 0 
7.65/7.75	o 3024
7.65/7.75	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 1 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 2 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 2 0 0 1 1 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 2 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 2 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 1 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 1 1 0 0 1 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 1 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.65/7.76	o 3023
7.65/7.76	v 0 0 2 0 0 0 1 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 2 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 2 0 0 0 0 2 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 2 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 1 0 0 1 0 0 2 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 1 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 1 0 1 0 0 1 2 0 0 2 0 0 0 0 0 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.65/7.76	o 3022
7.65/7.76	v 0 0 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 1 0 0 2 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 2 0 1 0 0 0 0 2 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 1 0 0 0 2 1 0 0 1 1 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.75/7.83	o 3014
7.75/7.83	v 0 0 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 1 0 0 2 1 0 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 1 0 0 2 2 0 0 0 0 0 0 0 1 1 1 0 0 2 0 2 0 1 0 0 0 0 2 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 2 1 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 2 0 0 0 1 0 0 0 2 1 0 0 1 1 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.75/7.88	o 3013
7.75/7.88	v 0 0 1 0 0 0 1 0 0 0 1 0 0 0 2 0 2 1 0 0 0 0 2 1 0 0 1 2 0 2 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 1 0 1 0 0 1 0 0 2 2 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 2 2 0 0 0 0 0 0 0 2 2 2 0 0 2 0 2 0 2 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 2 0 1 0 2 1 0 0 2 0 0 0 0 2 0 1 0 0 0 2 0 1 0 0 0 0 0 2 2 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 2 0 0 2 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 2 0 0 1 0 1 0 0 2 0 2 2 1 1 0 0 0 0 0 2 0 0 1 2 0 1 0 0 2 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 2 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 2 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 1 0 0 2 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 1 2 0 0 0 2 1 0 2 0 0 0 2 0 0 0 1 2 0 0 2 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 2 0 0 0 0 2 1 0 0 0 0 0 2 0 2 0 0 2 1 0 0 2 0 0 0 0 0 2 2 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 2 0 1 1 0 0 2 0 0 0 0 0 0 0 0 2 1 0 
7.85/7.91	o 3012
7.85/7.91	v 0 0 2 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 2 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 2 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 2 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 1 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.85/7.96	o 3004
7.85/7.96	v 0 0 2 0 0 0 1 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 2 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 2 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 2 0 0 0 0 2 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 2 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 1 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 1 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 1 0 1 0 0 1 2 0 0 2 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
7.96/8.02	o 3003
7.96/8.02	v 0 0 2 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 1 0 2 2 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 2 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 2 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 1 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
8.06/8.14	o 2993
8.06/8.14	v 0 0 2 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 1 0 2 2 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 2 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 2 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 0 0 0 1 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
8.36/8.48	o 2982
8.36/8.48	v 0 0 2 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 1 0 2 2 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 2 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 2 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 0 2 0 1 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 0 1 2 0 0 1 0 0 1 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
8.46/8.51	o 2981
8.46/8.51	v 0 0 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 1 0 0 2 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 1 1 0 2 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 1 0 0 0 0 2 0 1 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 2 2 0 0 2 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 2 0 0 1 0 0 0 0 2 0 0 0 2 1 0 1 0 0 0 1 2 0 0 2 0 1 0 0 2 0 1 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 2 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 2 1 0 
8.86/8.92	o 2971
8.86/8.92	v 0 0 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 1 0 0 2 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 2 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 1 1 0 2 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 1 0 0 0 0 2 0 2 0 0 0 2 0 1 0 0 0 1 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 2 0 0 1 0 0 0 0 2 0 0 0 2 1 0 1 0 0 0 1 2 0 0 2 0 2 0 0 2 0 1 2 2 2 0 0 0 0 0 1 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 2 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 1 0 0 1 0 0 0 0 0 0 0 0 2 1 0 
8.86/8.94	o 2970
8.86/8.94	v 0 0 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 2 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 1 0 2 2 2 0 0 0 0 0 0 0 1 1 1 0 0 2 0 1 0 1 0 0 0 0 2 0 2 0 0 0 2 0 1 0 0 0 1 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 1 1 0 2 0 0 0 1 1 0 0 2 0 2 0 0 2 0 1 1 2 2 0 0 0 0 0 1 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 2 0 0 0 0 2 0 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 2 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 2 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
8.86/8.94	o 2969
8.86/8.94	v 0 0 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 2 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 1 0 2 2 2 0 0 0 0 0 0 0 2 1 1 0 0 1 0 2 0 1 0 0 0 0 2 0 2 0 0 0 2 0 1 0 0 0 1 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 1 1 0 0 2 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 1 2 0 2 0 0 0 1 1 0 0 2 0 2 0 0 2 0 1 1 2 2 0 0 0 0 0 1 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 2 0 0 0 0 2 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 2 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
9.45/9.57	o 2958
9.45/9.57	v 0 0 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 1 0 0 2 1 0 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 2 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 1 0 2 2 2 0 0 0 0 0 0 0 2 1 1 0 0 2 0 2 0 1 0 0 0 0 2 0 2 0 0 0 2 0 1 0 0 0 1 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 1 1 0 0 2 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 1 1 0 2 0 0 0 1 1 0 0 2 0 2 0 1 2 0 1 1 2 2 0 0 0 0 0 1 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 2 0 0 0 0 2 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 2 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 2 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
9.76/9.82	o 2957
9.76/9.82	v 0 0 1 0 0 0 1 0 0 0 2 0 0 0 1 0 2 2 0 0 0 0 2 2 0 0 2 1 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 1 0 2 0 0 2 2 0 2 1 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 1 0 0 2 2 0 1 1 1 0 0 0 0 0 0 0 2 1 1 0 0 1 0 2 0 2 0 0 0 0 2 0 2 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 2 0 1 0 1 2 0 0 2 0 0 0 0 2 0 1 0 0 0 2 0 2 0 0 0 0 0 2 1 1 0 0 1 0 0 2 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 2 0 2 0 0 0 1 1 0 0 2 0 2 0 1 2 0 1 1 1 1 0 0 0 0 0 1 0 0 1 2 0 1 0 0 2 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 1 0 0 0 1 0 0 0 0 2 0 1 0 2 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 1 0 0 2 1 0 0 0 0 1 0 2 0 1 1 0 0 0 0 1 1 2 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 2 1 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 1 0 0 2 0 0 2 0 2 0 0 1 2 0 0 2 0 0 0 0 0 2 1 2 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 0 2 0 2 1 0 0 2 0 0 0 0 0 0 0 0 1 2 0 
10.06/10.15	o 2956
10.06/10.15	v 0 0 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 2 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 2 0 2 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 2 0 1 0 0 0 0 2 0 2 0 0 0 2 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 2 2 0 1 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 1 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 1 0 0 0 2 1 0 0 1 1 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 2 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
10.55/10.69	o 2943
10.55/10.69	v 0 0 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 2 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 2 0 2 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 2 0 1 0 0 0 0 2 0 2 0 0 0 2 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 1 2 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 2 2 0 1 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 1 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 1 0 0 0 2 1 0 0 1 1 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 2 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
11.75/11.84	o 2931
11.75/11.84	v 0 2 1 0 0 0 2 0 0 0 1 0 0 0 1 0 1 2 0 0 0 0 1 2 0 0 2 1 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 2 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 2 0 2 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 2 0 1 0 0 0 0 2 0 2 0 0 0 2 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 1 2 0 2 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 0 0 1 1 0 0 2 0 1 0 2 2 0 1 1 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 1 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 1 0 0 0 2 1 0 0 1 1 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 2 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
11.95/12.02	o 2930
11.95/12.02	v 0 2 1 0 0 0 2 0 0 0 1 0 0 0 2 0 1 1 0 0 0 0 1 1 0 0 1 2 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 1 1 0 2 2 2 0 0 0 0 0 0 0 1 2 2 0 0 2 0 1 0 1 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 2 2 0 0 2 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 2 0 0 0 2 1 0 1 0 0 0 1 2 0 0 1 0 1 0 2 2 0 2 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 1 0 2 0 1 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 2 0 0 0 1 0 0 0 1 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 2 1 0 0 1 0 0 0 0 0 1 1 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 2 1 0 
12.25/12.36	o 2929
12.25/12.36	v 0 2 2 0 0 0 1 0 0 0 1 0 0 0 2 0 1 1 0 0 0 0 2 1 0 0 1 2 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 2 0 0 1 1 0 1 2 1 0 0 0 0 0 0 0 1 2 2 0 0 2 0 1 0 2 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 2 2 0 0 1 0 0 0 0 2 0 2 0 0 2 2 0 1 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 1 0 0 0 2 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 2 0 2 2 1 2 0 0 0 0 0 2 0 0 1 1 0 1 0 0 2 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 1 0 2 0 2 0 0 2 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 2 0 0 2 1 0 0 0 0 1 0 1 0 1 2 0 0 0 0 2 1 2 0 0 0 2 2 0 2 0 0 0 2 0 0 0 1 2 0 0 2 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 1 0 0 0 0 1 1 0 0 2 0 0 1 0 2 0 0 2 1 0 0 2 0 0 0 0 0 2 2 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 2 0 1 1 0 0 2 0 0 0 0 0 0 0 0 2 2 0 
13.45/13.59	o 2914
13.45/13.59	v 0 2 2 0 0 0 1 0 0 0 1 0 0 0 2 0 1 1 0 0 0 0 2 2 0 0 1 2 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 2 0 0 1 1 0 1 2 1 0 0 0 0 0 0 0 1 2 2 0 0 2 0 1 0 2 0 0 0 0 1 0 1 0 0 0 1 0 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 2 0 2 2 0 0 1 0 0 0 0 2 0 2 0 0 2 2 0 1 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 1 0 0 0 2 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 2 0 2 2 1 2 0 0 0 0 0 2 0 0 1 1 0 1 0 0 2 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 1 0 2 0 2 0 0 2 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 2 0 0 2 1 0 0 0 0 1 0 1 0 1 2 0 0 0 0 2 1 2 0 0 0 2 2 0 2 0 0 0 2 0 0 0 1 2 0 0 2 1 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 1 0 0 0 0 1 1 0 0 2 0 0 1 0 2 0 0 2 1 0 0 2 0 0 0 0 0 2 2 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 1 0 2 0 1 1 0 0 2 0 0 0 0 0 0 0 0 2 2 0 
15.25/15.32	o 2913
15.25/15.32	v 0 2 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 1 0 0 2 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 1 1 0 2 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 1 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 2 0 0 0 0 0 1 2 2 0 0 2 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 2 0 0 0 2 1 0 1 0 2 0 1 2 0 0 2 0 1 0 2 2 0 1 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 2 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 1 0 0 1 0 0 0 0 0 0 0 0 2 1 0 
16.95/17.01	o 2896
16.95/17.01	v 0 2 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 1 0 0 2 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 1 1 0 2 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 1 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 0 2 1 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 2 0 0 0 0 0 1 2 2 0 0 2 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 2 0 0 0 2 1 0 1 0 2 0 1 2 0 0 2 0 1 0 2 2 0 1 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 2 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 1 0 0 1 0 0 0 0 0 0 0 0 2 1 0 
20.15/20.28	o 2879
20.15/20.28	v 0 2 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 1 0 0 2 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 1 1 0 2 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 1 0 0 0 0 1 0 1 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 2 0 0 0 0 0 1 2 2 0 0 2 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 2 0 0 0 2 1 0 1 0 2 0 1 2 0 0 2 0 1 0 2 2 0 1 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 2 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 1 0 0 1 0 0 0 0 0 0 0 0 2 1 0 
25.54/25.65	o 2864
25.54/25.65	v 0 2 1 0 0 0 2 0 0 0 2 0 0 0 1 0 1 2 0 0 0 0 1 1 0 0 2 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 1 1 0 2 2 2 0 0 0 0 0 0 0 1 2 1 0 0 2 0 1 0 1 1 0 0 0 1 0 1 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 2 0 0 0 0 0 1 2 2 0 0 2 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 2 0 0 0 2 1 0 1 0 2 0 1 2 0 0 2 0 1 0 2 2 0 1 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 2 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 1 0 0 1 0 0 0 0 0 0 0 0 2 1 0 
26.14/26.25	o 2863
26.14/26.25	v 0 2 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 2 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 2 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 2 0 1 1 1 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 2 1 0 0 0 1 0 1 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 1 2 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 1 0 0 0 2 2 0 1 0 1 0 1 1 0 0 2 0 1 0 2 2 0 2 2 2 2 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 1 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 1 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 1 1 0 0 1 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 2 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 1 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
38.44/38.54	o 2847
38.44/38.54	v 0 2 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 1 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 0 1 0 0 2 1 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 2 0 2 0 0 2 2 0 1 1 1 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 2 1 0 0 0 1 0 1 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 0 0 0 0 2 0 0 0 0 1 0 1 0 1 0 2 2 0 0 2 0 0 0 0 1 0 1 0 0 1 2 0 2 0 0 0 0 0 2 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 1 0 0 0 2 2 0 1 0 1 0 1 1 0 0 2 0 1 0 2 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 2 0 1 0 2 0 0 1 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 1 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 2 0 1 0 0 0 2 0 0 0 2 2 0 0 1 1 0 0 1 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 2 0 0 2 0 0 2 0 1 0 0 2 2 0 0 2 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 1 0 1 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
38.44/38.58	o 2846
38.44/38.58	v 0 2 1 0 0 0 2 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 1 2 0 2 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 1 2 0 2 1 1 0 0 0 0 0 0 0 1 2 2 0 0 1 0 2 0 1 1 0 0 0 1 0 1 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 0 0 0 0 2 0 0 0 0 1 0 1 0 1 0 2 1 0 0 2 0 0 0 0 1 0 1 0 0 1 2 0 2 0 0 0 0 0 2 2 2 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 2 0 0 2 0 0 0 0 2 0 0 0 2 2 0 1 0 1 0 1 2 0 0 1 0 1 0 2 2 0 2 2 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 1 0 1 0 1 0 0 2 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 2 2 0 0 2 0 0 2 0 1 0 0 2 1 0 0 1 0 0 0 0 0 1 1 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 2 1 0 
38.73/38.84	o 2845
38.73/38.84	v 0 1 1 0 0 0 2 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 1 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 2 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 1 1 0 0 0 1 0 2 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 0 0 0 0 2 0 0 0 0 1 0 1 0 1 0 2 1 0 0 2 0 0 0 0 1 0 1 0 0 1 2 0 2 0 0 0 0 0 2 1 2 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 2 0 0 0 2 2 0 1 0 1 0 1 2 0 0 2 0 1 0 2 2 0 2 1 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 1 0 1 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 1 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 2 1 0 0 1 0 0 0 0 0 1 1 2 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
38.73/38.85	o 2844
38.73/38.85	v 0 1 1 0 0 0 2 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 2 0 0 1 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 2 1 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 1 1 0 0 0 1 0 2 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 0 0 0 0 2 0 0 0 0 1 0 1 0 1 0 2 1 0 0 2 0 0 0 0 1 0 1 0 0 1 1 0 2 0 0 0 0 0 2 1 2 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 2 0 0 0 2 2 0 1 0 1 0 1 2 0 0 2 0 1 0 2 2 0 2 1 2 1 0 0 0 0 0 2 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 2 0 0 0 0 1 0 1 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 2 1 0 0 1 0 0 0 0 0 1 1 2 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
39.93/40.01	o 2843
39.93/40.01	v 0 1 1 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 1 1 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 1 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 2 1 1 0 0 1 0 2 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 1 2 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 2 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 2 0 0 0 1 2 0 2 0 2 0 2 2 0 0 1 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 2 0 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 2 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 2 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
49.73/49.87	o 2825
49.73/49.87	v 0 1 1 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 1 1 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 1 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 2 1 1 0 0 1 0 2 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 1 2 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 2 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 2 0 0 0 1 2 0 2 0 2 0 2 2 0 0 1 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 2 2 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 2 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 2 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 0 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 2 0 0 1 0 0 0 0 0 0 0 0 1 1 0 
54.13/54.29	o 2824
54.13/54.29	v 0 2 1 0 0 0 1 0 0 0 1 0 0 0 2 0 2 1 0 0 0 0 2 2 0 0 1 2 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 1 0 0 1 1 0 1 2 1 0 0 0 0 0 0 0 1 2 2 0 0 2 0 1 0 2 2 0 0 0 1 0 1 0 0 0 1 0 2 0 0 2 2 2 0 0 0 1 0 0 0 0 1 0 0 0 0 2 0 2 0 2 0 2 2 0 0 1 0 0 0 0 2 0 2 0 0 2 2 0 1 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 1 0 0 0 2 1 0 1 0 1 0 2 1 0 0 1 0 1 0 1 1 0 2 2 1 2 0 0 0 0 0 2 0 0 2 1 2 1 0 0 2 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 2 0 0 0 1 0 0 0 0 1 0 2 0 2 0 0 2 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 2 0 0 2 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 2 1 2 0 0 0 1 2 0 2 0 0 0 2 0 0 0 1 2 0 0 2 1 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 1 0 0 0 0 1 1 0 0 2 0 0 1 0 2 0 0 2 1 0 0 2 0 0 0 0 0 2 2 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 2 0 1 1 0 0 2 0 0 0 0 0 0 0 0 2 2 0 
54.23/54.34	o 2823
54.23/54.34	v 0 2 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 2 2 0 0 1 2 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 1 0 1 0 0 2 1 0 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 1 0 0 2 1 0 1 2 1 0 0 0 0 0 0 0 2 1 2 0 0 2 0 2 0 2 2 0 0 0 1 0 1 0 0 0 1 0 2 0 0 1 1 1 0 0 0 1 0 0 0 0 2 0 0 0 0 2 0 2 0 1 0 1 2 0 0 2 0 0 0 0 2 0 1 0 0 2 2 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 1 0 0 0 1 1 0 2 0 1 0 1 1 0 0 1 0 1 0 1 2 0 2 2 1 2 0 0 0 0 0 2 0 0 1 2 2 1 0 0 2 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 2 0 1 0 2 0 0 2 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 2 0 0 2 1 0 0 0 0 1 0 1 0 1 2 0 0 0 0 2 1 2 0 0 0 2 2 0 2 0 0 0 2 0 0 0 1 2 0 0 2 1 0 0 1 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 1 0 0 0 0 1 1 0 0 2 0 0 2 0 2 0 0 2 2 0 0 2 0 0 0 0 0 2 2 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 2 0 1 1 0 0 2 0 0 0 0 0 0 0 0 1 2 0 
54.33/54.41	o 2822
54.33/54.41	v 0 2 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 2 2 0 0 1 2 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 1 0 1 0 0 2 1 0 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 2 0 0 1 1 0 1 2 1 0 0 0 0 0 0 0 1 2 2 0 0 2 0 2 0 2 2 0 0 0 1 0 1 0 0 0 1 0 2 0 0 1 2 1 0 0 0 1 0 0 0 0 2 0 0 0 0 2 0 2 0 1 0 2 2 0 0 2 0 0 0 0 2 0 1 0 0 2 2 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 1 0 0 0 2 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 2 0 2 2 1 2 0 0 0 0 0 2 0 0 1 2 2 1 0 0 2 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 2 0 1 0 2 0 0 2 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 2 0 0 2 1 0 0 0 0 1 0 1 0 1 2 0 0 0 0 2 1 2 0 0 0 2 2 0 2 0 0 0 2 0 0 0 1 2 0 0 2 1 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 2 0 0 2 0 2 0 0 2 1 0 0 2 0 0 0 0 0 2 2 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 2 0 1 1 0 0 2 0 0 0 0 0 0 0 0 2 2 0 
61.63/61.78	o 2803
61.63/61.78	v 0 2 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 2 2 0 0 1 2 0 2 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2 0 1 0 1 0 0 2 1 0 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 2 0 0 1 1 0 1 2 1 0 0 0 0 0 0 0 1 2 2 0 0 2 0 2 0 2 2 0 0 0 1 0 1 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 0 0 0 0 2 0 0 0 0 2 0 2 0 1 0 2 2 0 0 2 0 0 0 0 2 0 1 0 0 2 2 0 2 0 0 0 0 0 1 1 1 0 0 2 0 0 2 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 1 0 0 0 2 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 2 0 2 2 1 2 0 0 0 0 0 2 0 0 1 2 2 1 0 0 2 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 0 0 2 0 1 0 2 0 0 2 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 2 0 0 2 1 0 0 0 0 1 0 1 0 1 2 0 0 0 0 2 1 1 0 0 0 2 2 0 2 0 0 0 2 0 0 0 1 2 0 0 2 1 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 2 0 0 2 0 2 0 0 2 1 0 0 2 0 0 0 0 0 2 2 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 1 0 2 0 1 1 0 1 2 0 0 0 0 0 0 0 0 2 2 0 
68.82/68.91	o 2802
68.82/68.91	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 1 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 1 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 2 0 0 0 1 2 0 2 0 2 0 2 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 1 0 0 0 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 0 0 1 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
80.81/80.91	o 2793
80.81/80.91	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 2 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 1 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 1 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 2 0 0 0 1 2 0 2 0 2 0 2 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 1 0 0 0 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 1 0 1 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
117.10/117.24	o 2782
117.10/117.24	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 2 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 1 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 1 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 1 2 0 2 0 2 0 2 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 1 0 1 0 1 0 0 1 2 0 0 1 0 0 0 0 0 1 1 2 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
171.77/171.94	o 2772
171.77/171.94	v 0 1 1 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 2 1 1 0 0 2 0 2 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 1 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 1 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 1 2 0 2 0 2 0 2 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 1 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 1 1 1 2 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
171.77/171.95	o 2771
171.77/171.95	v 0 1 1 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 1 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 2 1 1 0 0 2 0 2 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 1 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 1 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 2 0 0 0 1 2 0 2 0 2 0 2 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 1 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 1 0 2 0 1 0 0 1 2 0 0 1 0 0 0 0 1 1 1 2 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
178.97/179.17	o 2770
178.97/179.17	v 0 1 1 0 0 0 2 0 0 0 1 0 0 0 2 0 1 1 0 0 0 0 1 2 0 0 1 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 1 1 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 1 1 0 0 0 1 0 2 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 0 0 0 0 2 0 0 0 0 1 0 1 0 1 0 2 1 0 0 2 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 2 0 0 2 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 2 0 0 0 2 2 0 1 0 1 0 1 2 0 0 2 0 1 0 2 2 0 2 1 2 1 0 0 0 0 0 2 0 0 1 2 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 2 0 1 0 0 2 1 0 0 1 0 0 0 0 1 1 1 2 2 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
196.26/196.45	o 2769
196.26/196.45	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 2 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 2 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 1 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
234.54/234.73	o 2757
234.54/234.73	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 2 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 1 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 0 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
234.54/234.73	o 2756
234.54/234.73	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 1 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 0 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
293.62/293.87	o 2743
293.62/293.87	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 2 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 1 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
364.00/364.20	o 2732
364.00/364.20	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 2 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 2 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 1 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
416.97/417.22	o 2730
416.97/417.22	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 2 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 0 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 2 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 1 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
502.43/502.79	o 2719
502.43/502.79	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 2 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 1 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 2 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 1 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
594.39/594.76	o 2717
594.39/594.76	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 2 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 2 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 1 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
732.72/733.12	o 2703
732.72/733.12	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 2 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 2 2 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 1 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 1 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
1039.01/1039.53	o 2691
1039.01/1039.53	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 2 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 2 2 0 0 0 2 1 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 1 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 1 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
1268.00/1268.65	o 2689
1268.00/1268.65	v 0 1 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 0 0 0 0 1 1 0 0 2 1 0 1 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 2 0 0 1 2 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 2 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 2 0 2 0 0 0 2 0 1 0 0 2 2 2 0 0 0 2 2 0 0 0 1 0 0 0 0 1 0 1 0 2 0 2 1 0 0 1 0 0 0 0 1 0 2 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 1 0 0 0 1 0 0 0 2 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 2 0 0 0 2 2 0 1 0 2 0 1 2 0 0 2 0 2 0 2 1 0 1 1 2 1 0 0 0 0 0 1 0 0 2 1 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 0 0 1 1 0 0 1 0 1 0 2 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 2 0 2 1 0 0 0 0 1 2 1 0 0 0 1 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 2 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 1 0 2 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
1272.90/1273.57	o 2688
1272.90/1273.57	v 0 1 1 0 0 0 2 0 0 0 1 0 0 0 2 0 1 1 0 0 0 0 1 2 0 0 1 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 1 1 0 1 1 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 2 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 1 1 0 0 0 1 0 2 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 2 0 0 0 2 0 0 0 0 1 0 1 0 1 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 2 0 0 2 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 2 0 0 0 2 2 0 1 0 1 0 1 2 0 0 2 0 1 0 2 2 0 2 1 2 1 0 0 0 0 0 2 0 0 1 2 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 2 0 1 0 0 2 1 0 0 1 0 0 0 0 1 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
1517.70/1518.49	o 2671
1517.70/1518.50	v 0 1 1 0 0 0 2 0 0 0 1 0 0 0 2 0 1 1 0 0 0 0 1 2 0 0 1 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 1 1 0 1 1 0 0 0 0 2 0 0 0 0 0 0 2 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 2 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 1 1 0 0 0 1 0 2 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 2 0 0 0 2 0 0 0 0 1 0 1 0 1 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 2 0 0 2 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 2 0 0 0 2 2 0 1 0 1 0 1 2 0 0 2 0 1 0 2 2 0 2 1 2 1 0 0 0 0 0 2 0 0 1 2 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 2 0 1 0 0 2 1 0 0 1 0 0 0 0 1 1 1 2 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
1971.90/1972.89	o 2655
1971.90/1972.89	v 0 1 1 0 0 0 2 0 0 0 1 0 0 0 2 0 1 1 0 0 0 0 1 2 0 0 1 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 1 1 0 1 1 0 0 0 0 2 0 0 0 0 0 0 2 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 2 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 1 1 0 0 0 1 0 2 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 2 0 0 0 2 0 0 0 0 1 0 1 0 1 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 2 0 0 2 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 2 0 0 0 2 2 0 1 0 1 0 1 2 0 0 2 0 1 0 2 2 0 2 1 2 1 0 0 0 0 0 2 0 0 1 2 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 2 0 1 0 0 2 1 0 0 1 0 0 0 0 1 1 1 2 1 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
2936.58/2937.90	o 2639
2936.58/2937.90	v 0 1 1 0 0 0 2 0 0 0 1 0 0 0 2 0 1 1 0 0 0 0 1 2 0 0 1 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 1 1 0 1 1 0 0 0 0 2 0 0 0 0 0 0 2 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 2 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 1 1 0 0 0 1 0 2 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 2 0 0 0 2 0 0 0 0 1 0 1 0 1 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 2 2 2 0 0 2 0 0 2 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 2 0 0 0 0 2 0 0 0 2 2 0 1 0 1 0 1 2 0 0 2 0 1 0 2 2 0 2 1 2 1 0 0 0 0 0 2 0 0 1 2 1 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 2 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 1 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 1 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 2 0 1 0 0 2 1 0 0 1 0 0 0 0 1 1 1 2 1 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
2936.68/2938.05	o 2638
2936.68/2938.05	v 0 1 1 0 0 0 2 0 0 0 1 0 0 0 2 0 1 1 0 0 0 0 1 2 0 0 1 2 0 1 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1 2 0 2 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 2 2 0 0 0 0 2 0 0 0 1 0 0 0 2 0 0 0 0 0 1 0 2 0 2 2 2 0 2 1 2 0 0 0 0 0 0 0 1 1 2 0 0 1 0 2 0 1 1 0 0 0 1 0 2 0 0 0 2 0 2 0 0 1 2 1 0 0 0 2 2 0 0 0 2 0 0 0 0 2 0 1 0 1 0 2 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 2 2 0 0 2 0 0 2 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 1 0 0 2 0 0 0 0 2 0 0 0 2 2 0 1 0 1 0 1 2 0 0 1 0 1 0 2 2 0 2 1 2 2 0 0 0 0 0 2 0 0 1 2 2 2 0 0 1 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 2 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 2 0 2 0 0 1 2 0 0 0 0 2 0 1 0 2 2 0 0 0 0 2 2 1 0 0 0 2 1 0 1 0 0 0 1 0 0 2 2 1 0 0 1 2 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 2 2 0 0 0 0 2 2 0 0 1 2 0 2 0 1 0 0 2 1 0 0 1 0 0 0 0 1 1 1 2 1 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 1 0 1 2 0 1 1 0 0 0 0 0 0 0 0 1 1 0 
3600.09/3601.70	HOME/solverBTD.sh: line 7: 15672 Terminated              ./toulbar2 $1 B2 Oorder r4

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1108525-1215782583/watcher-1108525-1215782583 -o /tmp/evaluation-result-1108525-1215782583/solver-1108525-1215782583 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/solverBTD.sh HOME/instance-1108525-1215782583.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.38 3.12 3.15 4/70 15665
/proc/meminfo: memFree=1662016/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=18572 CPUtime=0
/proc/15665/stat : 15665 (runsolver) R 15663 15665 15336 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 34960207 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 253307186471 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15667] ppid=15665 vsize=144 CPUtime=0
/proc/15667/stat : 15667 (rm) R 15665 15665 15336 0 -1 4194304 37 0 0 0 0 0 0 0 23 0 1 0 34960208 147456 22 996147200 4194304 4227748 548682069056 18446744073709551615 253304567177 0 0 4096 0 0 0 0 17 1 0 0
/proc/15667/statm: 36 22 16 8 0 3 0

[startup+0.103514 s]
/proc/loadavg: 2.38 3.12 3.15 4/70 15665
/proc/meminfo: memFree=1662016/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 344 353 0 0 0 0 0 0 22 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.201525 s]
/proc/loadavg: 2.38 3.12 3.15 4/70 15665
/proc/meminfo: memFree=1662016/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 344 353 0 0 0 0 0 0 22 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301536 s]
/proc/loadavg: 2.38 3.12 3.15 4/70 15665
/proc/meminfo: memFree=1662016/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 344 353 0 0 0 0 0 0 22 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701606 s]
/proc/loadavg: 2.38 3.12 3.15 4/70 15665
/proc/meminfo: memFree=1662016/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 5356

[startup+1.50174 s]
/proc/loadavg: 2.38 3.12 3.15 3/72 15672
/proc/meminfo: memFree=1655280/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11780 CPUtime=0.9
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1660 0 0 0 89 1 0 0 25 0 1 0 34960266 12062720 1643 996147200 134512640 137370052 4294956352 18446744073709551615 136105402 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2945 1643 251 697 0 2244 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17136

[startup+3.10201 s]
/proc/loadavg: 2.38 3.12 3.15 2/69 15709
/proc/meminfo: memFree=1679680/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11780 CPUtime=2.48
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1660 0 0 0 247 1 0 0 25 0 1 0 34960266 12062720 1643 996147200 134512640 137370052 4294956352 18446744073709551615 136074481 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2945 1643 251 697 0 2244 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 17136

[startup+6.30156 s]
/proc/loadavg: 2.35 3.10 3.14 3/83 15730
/proc/meminfo: memFree=1667920/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11780 CPUtime=5.68
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1660 0 0 0 567 1 0 0 25 0 1 0 34960266 12062720 1643 996147200 134512640 137370052 4294956352 18446744073709551615 136104869 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2945 1643 251 697 0 2244 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 17136

[startup+12.7016 s]
/proc/loadavg: 2.32 3.09 3.14 3/83 15730
/proc/meminfo: memFree=1667216/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11928 CPUtime=12.08
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1866 0 0 0 1206 2 0 0 25 0 1 0 34960266 12214272 1849 996147200 134512640 137370052 4294956352 18446744073709551615 135172411 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2982 1849 298 697 0 2281 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17284

[startup+25.5028 s]
/proc/loadavg: 2.25 3.03 3.12 3/83 15730
/proc/meminfo: memFree=1667152/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11932 CPUtime=24.87
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1867 0 0 0 2485 2 0 0 25 0 1 0 34960266 12218368 1850 996147200 134512640 137370052 4294956352 18446744073709551615 136498416 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2983 1850 298 697 0 2282 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 17288

[startup+51.1012 s]
/proc/loadavg: 2.16 2.95 3.09 3/83 15730
/proc/meminfo: memFree=1667216/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11932 CPUtime=50.46
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1867 0 0 0 5044 2 0 0 25 0 1 0 34960266 12218368 1850 996147200 134512640 137370052 4294956352 18446744073709551615 136500587 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2983 1850 298 697 0 2282 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 17288

[startup+102.302 s]
/proc/loadavg: 2.07 2.80 3.03 3/83 15730
/proc/meminfo: memFree=1666768/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11932 CPUtime=101.64
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1869 0 0 0 10162 2 0 0 25 0 1 0 34960266 12218368 1852 996147200 134512640 137370052 4294956352 18446744073709551615 136497721 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2983 1852 298 697 0 2282 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 17288

[startup+162.302 s]
/proc/loadavg: 2.02 2.65 2.96 3/83 15730
/proc/meminfo: memFree=1666704/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11932 CPUtime=161.6
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1869 0 0 0 16158 2 0 0 25 0 1 0 34960266 12218368 1852 996147200 134512640 137370052 4294956352 18446744073709551615 135167380 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2983 1852 298 697 0 2282 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 17288

[startup+222.306 s]
/proc/loadavg: 2.01 2.53 2.90 3/83 15730
/proc/meminfo: memFree=1666640/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11932 CPUtime=221.58
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1869 0 0 0 22156 2 0 0 25 0 1 0 34960266 12218368 1852 996147200 134512640 137370052 4294956352 18446744073709551615 136498507 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2983 1852 298 697 0 2282 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 17288

[startup+282.302 s]
/proc/loadavg: 2.00 2.43 2.84 3/83 15730
/proc/meminfo: memFree=1666640/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11932 CPUtime=281.55
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1869 0 0 0 28153 2 0 0 25 0 1 0 34960266 12218368 1852 996147200 134512640 137370052 4294956352 18446744073709551615 136445617 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2983 1852 298 697 0 2282 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 17288

[startup+342.302 s]
/proc/loadavg: 2.00 2.35 2.79 3/83 15730
/proc/meminfo: memFree=1666576/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11932 CPUtime=341.53
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1869 0 0 0 34150 3 0 0 25 0 1 0 34960266 12218368 1852 996147200 134512640 137370052 4294956352 18446744073709551615 136501493 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2983 1852 298 697 0 2282 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 17288

[startup+402.301 s]
/proc/loadavg: 2.00 2.28 2.73 3/83 15730
/proc/meminfo: memFree=1666576/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11932 CPUtime=401.5
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1869 0 0 0 40147 3 0 0 25 0 1 0 34960266 12218368 1852 996147200 134512640 137370052 4294956352 18446744073709551615 136498765 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2983 1852 298 697 0 2282 0

################
# More data... #
################

/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=2860.44
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 286037 7 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 134854862 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 2861.01
Current children cumulated vsize (KiB) 17292

[startup+2922.3 s]
/proc/loadavg: 2.08 2.09 2.05 3/83 15736
/proc/meminfo: memFree=1665168/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=2920.41
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 292034 7 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 136489847 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 2920.98
Current children cumulated vsize (KiB) 17292

[startup+2982.3 s]
/proc/loadavg: 2.03 2.07 2.05 3/83 15736
/proc/meminfo: memFree=1665040/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=2980.39
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 298032 7 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 136498417 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 2980.96
Current children cumulated vsize (KiB) 17292

[startup+3042.3 s]
/proc/loadavg: 2.01 2.05 2.04 3/83 15736
/proc/meminfo: memFree=1665040/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3040.36
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 304029 7 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 136497748 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3040.93
Current children cumulated vsize (KiB) 17292

[startup+3102.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/83 15736
/proc/meminfo: memFree=1665040/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3100.33
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 310026 7 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 134568417 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3100.9
Current children cumulated vsize (KiB) 17292

[startup+3162.3 s]
/proc/loadavg: 2.06 2.05 2.04 3/83 15736
/proc/meminfo: memFree=1665040/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3160.31
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 316024 7 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 134733772 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3160.88
Current children cumulated vsize (KiB) 17292

[startup+3222.3 s]
/proc/loadavg: 2.07 2.05 2.04 3/83 15736
/proc/meminfo: memFree=1665040/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3220.28
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 322021 7 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 136492135 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3220.85
Current children cumulated vsize (KiB) 17292

[startup+3282.3 s]
/proc/loadavg: 2.07 2.06 2.04 3/83 15736
/proc/meminfo: memFree=1665040/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3280.26
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 328019 7 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 135172425 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3280.83
Current children cumulated vsize (KiB) 17292

[startup+3342.3 s]
/proc/loadavg: 2.07 2.06 2.04 3/83 15738
/proc/meminfo: memFree=1664976/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3340.24
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 334016 8 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 136489836 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3340.81
Current children cumulated vsize (KiB) 17292

[startup+3402.3 s]
/proc/loadavg: 2.02 2.05 2.03 3/83 15738
/proc/meminfo: memFree=1664976/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3400.21
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 340013 8 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 136500587 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3400.78
Current children cumulated vsize (KiB) 17292

[startup+3462.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/83 15738
/proc/meminfo: memFree=1664912/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3460.18
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 346010 8 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 136501462 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3460.75
Current children cumulated vsize (KiB) 17292

[startup+3522.31 s]
/proc/loadavg: 2.00 2.03 2.02 3/83 15738
/proc/meminfo: memFree=1664848/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3520.16
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 352008 8 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 136498430 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3520.73
Current children cumulated vsize (KiB) 17292

[startup+3582.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/83 15738
/proc/meminfo: memFree=1664720/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3580.12
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 358004 8 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 136490853 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3580.69
Current children cumulated vsize (KiB) 17292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.7 s]
/proc/loadavg: 2.00 2.02 2.01 3/83 15738
/proc/meminfo: memFree=1664720/2055920 swapFree=4179684/4192956
[pid=15665] ppid=15663 vsize=5356 CPUtime=0.57
/proc/15665/stat : 15665 (solverBTD.sh) S 15663 15665 15336 0 -1 4194304 388 2660 0 0 0 0 33 24 15 0 1 0 34960207 5484544 232 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15665/statm: 1339 232 192 169 0 50 0
[pid=15672] ppid=15665 vsize=11936 CPUtime=3599.52
/proc/15672/stat : 15672 (toulbar2) R 15665 15665 15336 0 -1 4194304 1870 0 0 0 359944 8 0 0 25 0 1 0 34960266 12222464 1853 996147200 134512640 137370052 4294956352 18446744073709551615 134584475 0 0 4096 0 0 0 0 17 0 0 0
/proc/15672/statm: 2984 1853 298 697 0 2283 0
Current children cumulated CPU time (s) 3600.09
Current children cumulated vsize (KiB) 17292

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 3601.71
CPU time (s): 3600.12
CPU user time (s): 3599.78
CPU system time (s): 0.338948
CPU usage (%): 99.9558
Max. virtual memory (cumulated for all children) (KiB): 17292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.78
system time used= 0.338948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4933
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 13883

runsolver used 4.07038 second user time and 9.04662 second system time

The end

Name	csp/coloring/ normalized-le-450-5a-3-ext.xml
MD5SUM	85822e37b2b7ebb593ad3c904193849d
Bench Category	2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark	MSAT TO
Best Number of falsified constraints	900
Best CPU time to get the best result obtained on this benchmark	3600.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	5714
Maximum constraint arity	2
Maximum domain size	3
Number of constraints which are defined in extension	5714
Number of constraints which are defined in intension	0
Global constraints used (with number of constraints)

Trace number 1108525

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data (download as text)

Verifier Data (download as text)

Watcher Data (download as text)

Launcher Data (download as text)