/* RSU Hedger

Yaron Kretchmer address@hidden

*/

/* big M */
param M := 9100000 /*9099999*/ ;

/* How many RSU grants */
set  num_rsus := {1..4};

/* How many  options */
set num_options := {1..998};

/* What's a put option? */
set   put_option_params  := {'cost' ,'strike_price', 'strike_date'};

/* What's an RSU? */
set  rsu_params := {'value','quantity' ,'strike_date'};
/* Set of RSU's to protect */
param  rsus {n in num_rsus,p in rsu_params} symbolic;
param put_options {put in num_options,pop in put_option_params} symbolic ;


var put_options_quantity {put in num_options} >=0 integer;
var option_protects_rsu {rsu in num_rsus, option in num_options} binary ;
var option_quantity_larger_than_rsu_quantity {rsu in num_rsus, option in num_options} binary ;
var option_date_later_than_rsu_date {rsu in num_rsus, option in num_options} binary ;
var option_covers_rsu_value {rsu in num_rsus, option in num_options} binary ;

var cost_of_options ;

/* Each option quantity and dates is larger than zero*/

/* Each RSU is protected by at least one option */
s.t. each_rsu_is_protected {rsu in num_rsus} : 
            sum{option in num_options}  option_protects_rsu[rsu,option] =1 ;
/* Each option protects at most one RSU*/

s.t. each_option_protects_at_most_1 {option in num_options} : 
            sum{rsu in num_rsus}  option_protects_rsu[rsu,option] <=1 ;			
			

/* option_quantity_larger_than_rsu_quantity is true if the option quantity is larger than the RSU quantity */

s.t. define_option_quantity_larger_than_rsu_quantity {option in num_options,rsu in num_rsus} :
	 -M <= put_options_quantity[option]-floor(rsus[rsu,'quantity'])-option_quantity_larger_than_rsu_quantity[rsu,option]*M<=0;

/* option_date_later_than_rsu_date is true if the option date is later than the RSU date */


s.t. define_option_strike_price_greater_than_rsu_value {option in num_options,rsu in num_rsus} :
	 (option_covers_rsu_value[rsu,option]-1)*M<= put_options[option,'strike_price']-rsus[rsu,'value'];

s.t. define_option_strike_price_greater_than_rsu_value_2 {option in num_options,rsu in num_rsus} :
	 put_options[option,'strike_price']-rsus[rsu,'value']<=option_covers_rsu_value[rsu,option]*M;



s.t. define_option_date_later_than_rsu_date {option in num_options,rsu in num_rsus} :
	 -M <= ceil((str2time(put_options[option,'strike_date'],"%m/%d/%y")-str2time(rsus[rsu,'strike_date'],"%m/%d/%y"))
	  /86400 
	 )-option_date_later_than_rsu_date[rsu,option]*M<=0;


	 
/* If an option protects an RSU, then its quantity is larger than the RSU quantity 
This constraint is of the "if-then variety", and is modeled as follows
A <= B
which means that if A is 1, B has to be 1, and if A is 0, B can be anything.
A is "An option protects an RSU", and B is "the option quantity is larger than the RSU quantity"
*/

/*
s.t. temp1 : option_protects_rsu[2,328] = 1;
*/


s.t. option_quantity_bigger_than_rsu {option in num_options,rsu in num_rsus} :
option_protects_rsu[rsu,option] <= option_quantity_larger_than_rsu_quantity[rsu,option];

s.t. option_date_later_than_rsu {option in num_options,rsu in num_rsus} :
option_protects_rsu[rsu,option] <= option_date_later_than_rsu_date[rsu,option];

s.t. option_strike_price_greater_than_rsu_value {option in num_options,rsu in num_rsus} :
option_protects_rsu[rsu,option] <=option_covers_rsu_value[rsu,option] ;

s.t. temp11 : option_protects_rsu[1,3]=1;
s.t. temp12 : option_protects_rsu[2,403]=1;
s.t. temp13 : option_protects_rsu[3,928]=1;
s.t. temp14 : option_protects_rsu[4,929]=1;


/*
s.t. temp1 {option in num_options,rsu in num_rsus} :
3*option_protects_rsu[rsu,option] <= 
option_quantity_larger_than_rsu_quantity[rsu,option] +
option_date_later_than_rsu_date[rsu,option] +
option_covers_rsu_value[rsu,option]  ;

*/
/* 
If an option protects an RSU, then its date is later than the RSU date.
This is done using a similar formulation as above

*/
/*

s.t. temp1 : option_protects_rsu[2,403]=1;
*/


s.t. cost_of_options_definition : cost_of_options =sum {option in num_options} put_options_quantity[option]*put_options[option,'cost'];
minimize cost_of_options_min: cost_of_options;

 solve; 
 
 for {option in num_options:put_options_quantity[option]>0} :
 printf "Option %d has quantity %d\n",option,put_options_quantity[option];
 for {option in num_options, rsu in num_rsus : option_protects_rsu[rsu,option] } {
	printf "%d options(%d)=%f,%s protect %d rsus valued at %f and date %s. cost is %s\n",put_options_quantity[option],option,put_options[option,'strike_price'],put_options[option,'strike_date'],rsus[rsu,'quantity'],rsus[rsu,'value'],rsus[rsu,'strike_date'],put_options_quantity[option]*put_options[option,'cost'];
	}
	
	/*
 for {option in num_options} {
printf  'Option Number %d = quantity %d, date %s,strike_price=%d\n' ,option,put_options_quantity[option],put_options[option,'strike_date'],put_options[option,'strike_price'];
}

*/
 for {rsu in num_rsus} {
printf  'RSU Number %d = quantity %d, date %s,value=%d\n' ,rsu,rsus[rsu,'quantity'],rsus[rsu,'strike_date'],rsus[rsu,'value'];
}
printf "option protects RSU:\n";
 for {option in num_options : sum {rsu in num_rsus} option_protects_rsu[rsu,option] > 0} {
	printf "option %d ", option;
	for {rsu in num_rsus} {
	printf  '%d' ,option_protects_rsu[rsu,option];
	}
	printf "\n";
 }

printf "option larger than RSU quantity:\n";

 for {option in num_options : sum {rsu in num_rsus} option_quantity_larger_than_rsu_quantity[rsu,option] > 0}  {
	printf "option %d ", option;
	for {rsu in num_rsus} {
	printf  '%d' ,option_quantity_larger_than_rsu_quantity[rsu,option];
	}
	printf "\n";
 }
 
 printf "option_covers_rsu_value:\n";
 for {option in num_options : sum {rsu in num_rsus} option_covers_rsu_value[rsu,option]*option_protects_rsu[rsu,option] > 0} {
	printf "option %d ", option;
	for {rsu in num_rsus} {
	printf  '| %d,%f,%f,%f ' ,option_covers_rsu_value[rsu,option],-M ,put_options[option,'strike_price']-rsus[rsu,'value']-option_covers_rsu_value[rsu,option]*M,0;
	}
	printf "\n";
 }
 

printf "cost of option protection is %d\n" ,cost_of_options;
data;



param rsus :         value   quantity  strike_date :=
		          1    45.0    150     "07/15/11" 
				  2    34.0    150     "06/17/11" 
				  3    45.0    200     "07/15/12"
				  4    45.0    300     "1/1/13" ;

param put_options :         cost strike_price strike_date :=
                   					
					
					
1	0.1	30 "4/15/11"
2	0.1	30 "4/15/11"
3	0.05	30 "4/15/11"
4	0.2	30 "4/15/11"
5	0.1	30 "4/15/11"
6	0.15	30 "4/15/11"
7 10 30 "4/15/11"
8 10 30 "4/15/11"
9	0.1	30 "4/15/11"
10	0.45	35 "4/15/11"
11	0.68	35 "4/15/11"
12	0.45	35 "4/15/11"
13	0.45	35 "4/15/11"
14	0.4	35 "4/15/11"
15	0.45	35 "4/15/11"
16	0.55	35 "4/15/11"
17	0.45	35 "4/15/11"
18	0.4	35 "4/15/11"
19	0.1	34 "4/15/11"
20	0.1	36 "4/15/11"
21	0.6	36 "4/15/11"
22	0.6	36 "4/15/11"
23	0.27	36 "4/15/11"
24	0.35	36 "4/15/11"
25 10 36 "4/15/11"
26	0.31	36 "4/15/11"
27	0.55	36 "4/15/11"
28	0.1	37 "4/15/11"
29	0.1	37 "4/15/11"
30	0.4	37 "4/15/11"
31	0.35	37 "4/15/11"
32	0.1	37 "4/15/11"
33	0.15	37 "4/15/11"
34	0.15	37 "4/15/11"
35 10 37 "4/15/11"
36	0.4	37 "4/15/11"
37	0.15	38 "4/15/11"
38	0.15	38 "4/15/11"
39	0.15	38 "4/15/11"
40	0.55	38 "4/15/11"
41	0.15	38 "4/15/11"
42	0.3	38 "4/15/11"
43	0.5	38 "4/15/11"
44	0.9	38 "4/15/11"
45	0.25	38 "4/15/11"
46	0.2	39 "4/15/11"
47	0.2	39 "4/15/11"
48	0.2	39 "4/15/11"
49	1.25	39 "4/15/11"
50	0.2	39 "4/15/11"
51	0.25	39 "4/15/11"
52	0.15	39 "4/15/11"
53	1.25	39 "4/15/11"
54	655.35	39 "4/15/11"
55	0.3	40 "4/15/11"
56	0.3	40 "4/15/11"
57	0.3	40 "4/15/11"
58	0.35	40 "4/15/11"
59	0.3	40 "4/15/11"
60	0.35	40 "4/15/11"
61	0.25	40 "4/15/11"
62	0.3	40 "4/15/11"
63	655.35	40 "4/15/11"
64	0.65	41 "4/15/11"
65	0.5	41 "4/15/11"
66	0.65	41 "4/15/11"
67	0.55	41 "4/15/11"
68	0.5	41 "4/15/11"
69	0.5	41 "4/15/11"
70	0.8	41 "4/15/11"
71	0.5	41 "4/15/11"
72	655.35	41 "4/15/11"
73	1	42 "4/15/11"
74	0.9	42 "4/15/11"
75	1.05	42 "4/15/11"
76	1	42 "4/15/11"
77	0.85	42 "4/15/11"
78	0.85	42 "4/15/11"
79	1	42 "4/15/11"
80	0.69	42 "4/15/11"
81	655.35	42 "4/15/11"
82	1.35	43 "4/15/11"
83	1.5	43 "4/15/11"
84	1.6	43 "4/15/11"
85	1.4	43 "4/15/11"
86	1.35	43 "4/15/11"
87	1.35	43 "4/15/11"
88	1.35	43 "4/15/11"
89	1.05	43 "4/15/11"
90	655.35	43 "4/15/11"
91	2	44 "4/15/11"
92	2	44 "4/15/11"
93	2	44 "4/15/11"
94	2	44 "4/15/11"
95	2	44 "4/15/11"
96	2	44 "4/15/11"
97	1.6	44 "4/15/11"
98	4.3	44 "4/15/11"
99	655.35	44 "4/15/11"
100	3	45 "4/15/11"
101	3	45 "4/15/11"
102	2.8	45 "4/15/11"
103	2.75	45 "4/15/11"
104	2.8	45 "4/15/11"
105	2.75	45 "4/15/11"
106	3	45 "4/15/11"
107	4.8	45 "4/15/11"
108	655.35	45 "4/15/11"
109	3.9	46 "4/15/11"
110	3.9	46 "4/15/11"
111	3.9	46 "4/15/11"
112	3.9	46 "4/15/11"
113	3.9	46 "4/15/11"
114	3.9	46 "4/15/11"
115	3.2	46 "4/15/11"
116	2.65	46 "4/15/11"
117	655.35	46 "4/15/11"
118	4.9	47 "4/15/11"
119	5.1	47 "4/15/11"
120	5	47 "4/15/11"
121	4.9	47 "4/15/11"
122	4.9	47 "4/15/11"
123	4.9	47 "4/15/11"
124	3.3	47 "4/15/11"
125	5	47 "4/15/11"
126	655.35	47 "4/15/11"
127	5.8	48 "4/15/11"
128	5.8	48 "4/15/11"
129	5.8	48 "4/15/11"
130	5.8	48 "4/15/11"
131	5.8	48 "4/15/11"
132	5.8	48 "4/15/11"
133	5.8	48 "4/15/11"
134	7.2	48 "4/15/11"
135	655.35	48 "4/15/11"
136 10 49 "4/15/11"
137	8	50 "4/15/11"
138	8	50 "4/15/11"
139	8	50 "4/15/11"
140 10 50 "4/15/11"
141	8	50 "4/15/11"
142	8.1	50 "4/15/11"
143 10 50 "4/15/11"
144 10 50 "4/15/11"
145	655.35	50 "4/15/11"
146	0.15	30 "5/20/11"
147	0.15	30 "5/20/11"
148	0.15	30 "5/20/11"
149	0.15	30 "5/20/11"
150	0.15	30 "5/20/11"
151 10 30 "5/20/11"
152 10 30 "5/20/11"
153	0.65	35 "5/20/11"
154	0.35	35 "5/20/11"
155	0.65	35 "5/20/11"
156	0.35	35 "5/20/11"
157	0.35	35 "5/20/11"
158	0.35	35 "5/20/11"
159	0.7	35 "5/20/11"
160 10 35 "5/20/11"
161	655.35	35 "5/20/11"
162	0.45	36 "5/20/11"
163	0.45	36 "5/20/11"
164	0.45	36 "5/20/11"
165	0.85	36 "5/20/11"
166	0.45	36 "5/20/11"
167	0.45	36 "5/20/11"
168 10 36 "5/20/11"
169 10 36 "5/20/11"
170	655.35	36 "5/20/11"
171	0.65	37 "5/20/11"
172	1.05	37 "5/20/11"
173	0.85	37 "5/20/11"
174	0.6	37 "5/20/11"
175	0.6	37 "5/20/11"
176	0.6	37 "5/20/11"
177	1.05	37 "5/20/11"
178 10 37 "5/20/11"
179	655.35	37 "5/20/11"
180	0.8	38 "5/20/11"
181	0.8	38 "5/20/11"
182	0.8	38 "5/20/11"
183	0.8	38 "5/20/11"
184	0.8	38 "5/20/11"
185	0.8	38 "5/20/11"
186	0.7	38 "5/20/11"
187 10 38 "5/20/11"
188	655.35	38 "5/20/11"
189	1	39 "5/20/11"
190	1	39 "5/20/11"
191	1.05	39 "5/20/11"
192	1.05	39 "5/20/11"
193	1	39 "5/20/11"
194	1	39 "5/20/11"
195	0.9	39 "5/20/11"
196	1.05	39 "5/20/11"
197	655.35	39 "5/20/11"
198	1.25	40 "5/20/11"
199	1.25	40 "5/20/11"
200	1.25	40 "5/20/11"
201	1.95	40 "5/20/11"
202	1.25	40 "5/20/11"
203	1.25	40 "5/20/11"
204	1.65	40 "5/20/11"
205 10 40 "5/20/11"
206	655.35	40 "5/20/11"
207	1.76	41 "5/20/11"
208	1.76	41 "5/20/11"
209	1.6	41 "5/20/11"
210	1.7	41 "5/20/11"
211	1.6	41 "5/20/11"
212	2.6	41 "5/20/11"
213	1.4	41 "5/20/11"
214	1.5	41 "5/20/11"
215	655.35	41 "5/20/11"
216	2	42 "5/20/11"
217	2	42 "5/20/11"
218	2	42 "5/20/11"
219	2	42 "5/20/11"
220	2.1	42 "5/20/11"
221	2	42 "5/20/11"
222	2	42 "5/20/11"
223	1.9	42 "5/20/11"
224	655.35	42 "5/20/11"
225	2.7	43 "5/20/11"
226	2.7	43 "5/20/11"
227	2.7	43 "5/20/11"
228	2.7	43 "5/20/11"
229	2.5	43 "5/20/11"
230	2.5	43 "5/20/11"
231	2.5	43 "5/20/11"
232	2.7	43 "5/20/11"
233	655.35	43 "5/20/11"
234	3.1	44 "5/20/11"
235	3.1	44 "5/20/11"
236	3.1	44 "5/20/11"
237	3.1	44 "5/20/11"
238	3.1	44 "5/20/11"
239	3.1	44 "5/20/11"
240	2.55	44 "5/20/11"
241	3.3	44 "5/20/11"
242	655.35	44 "5/20/11"
243	3.7	45 "5/20/11"
244	3.7	45 "5/20/11"
245	3.7	45 "5/20/11"
246	3.7	45 "5/20/11"
247	3.7	45 "5/20/11"
248	3.7	45 "5/20/11"
249	3.2	45 "5/20/11"
250	3.2	45 "5/20/11"
251	655.35	45 "5/20/11"
252	4.5	46 "5/20/11"
253	4.5	46 "5/20/11"
254	4.5	46 "5/20/11"
255	4.5	46 "5/20/11"
256	4.5	46 "5/20/11"
257	4.5	46 "5/20/11"
258 10 46 "5/20/11"
259 10 46 "5/20/11"
260	655.35	46 "5/20/11"
261	5.3	47 "5/20/11"
262	5.3	47 "5/20/11"
263	5.3	47 "5/20/11"
264	5.3	47 "5/20/11"
265	5.3	47 "5/20/11"
266	5.3	47 "5/20/11"
267 10 47 "5/20/11"
268 10 47 "5/20/11"
269	655.35	47 "5/20/11"
270	6.1	48 "5/20/11"
271	6.1	48 "5/20/11"
272	6.1	48 "5/20/11"
273	6.1	48 "5/20/11"
274	6.1	48 "5/20/11"
275	6.1	48 "5/20/11"
276 10 48 "5/20/11"
277 10 48 "5/20/11"
278	655.35	48 "5/20/11"
279 10 49 "5/20/11"
280	8	50 "5/20/11"
281	8	50 "5/20/11"
282	8	50 "5/20/11"
283	8	50 "5/20/11"
284	8	50 "5/20/11"
285 10 50 "5/20/11"
286 10 50 "5/20/11"
287	0.05	15 "6/17/11"
288	0.05	15 "6/17/11"
289	0.05	15 "6/17/11"
290	0.05	15 "6/17/11"
291	0.05	15 "6/17/11"
292	0.1	15 "6/17/11"
293 10 15 "6/17/11"
294 10 15 "6/17/11"
295	0.1	15 "6/17/11"
296	0.25	17.5 "6/17/11"
297	0.25	17.5 "6/17/11"
298	0.05	17.5 "6/17/11"
299	0.05	17.5 "6/17/11"
300	0.05	17.5 "6/17/11"
301	0.1	17.5 "6/17/11"
302 10 17.5 "6/17/11"
303 10 17.5 "6/17/11"
304	0.1	17.5 "6/17/11"
305	0.05	20 "6/17/11"
306	0.05	20 "6/17/11"
307	0.05	20 "6/17/11"
308	0.05	20 "6/17/11"
309	0.05	20 "6/17/11"
310	0.1	20 "6/17/11"
311 10 20 "6/17/11"
312 10 20 "6/17/11"
313	0.1	20 "6/17/11"
314	0.1	22.5 "6/17/11"
315	0.1	22.5 "6/17/11"
316	0.1	22.5 "6/17/11"
317	0.4	22.5 "6/17/11"
318	0.1	22.5 "6/17/11"
319	0.45	22.5 "6/17/11"
320 10 22.5 "6/17/11"
321	0.4	22.5 "6/17/11"
322	0.15	22.5 "6/17/11"
323	0.1	25 "6/17/11"
324	0.51	25 "6/17/11"
325	0.15	25 "6/17/11"
326	1.7	25 "6/17/11"
327	0.1	25 "6/17/11"
328	0.25	25 "6/17/11"
329	0.15	25 "6/17/11"
330	0.95	25 "6/17/11"
331	0.1	25 "6/17/11"
332	0.2	26 "6/17/11"
333	0.1	26 "6/17/11"
334	0.2	26 "6/17/11"
335	1.35	26 "6/17/11"
336	1.35	26 "6/17/11"
337	0.1	26 "6/17/11"
338	0.2	26 "6/17/11"
339	2.2	26 "6/17/11"
340	0.1	26 "6/17/11"
341	0.2	27 "6/17/11"
342	0.15	27 "6/17/11"
343	0.55	27 "6/17/11"
344	0.6	27 "6/17/11"
345	0.55	27 "6/17/11"
346	0.35	27 "6/17/11"
347	0.2	27 "6/17/11"
348 10 27 "6/17/11"
349	0.37	27 "6/17/11"
350	0.15	28 "6/17/11"
351	0.2	28 "6/17/11"
352	0.85	28 "6/17/11"
353	0.15	28 "6/17/11"
354	0.15	28 "6/17/11"
355	0.25	28 "6/17/11"
356	0.25	28 "6/17/11"
357	2.3	28 "6/17/11"
358	0.7	28 "6/17/11"
359	0.3	29 "6/17/11"
360	0.3	29 "6/17/11"
361	0.4	29 "6/17/11"
362	1	29 "6/17/11"
363	0.35	29 "6/17/11"
364	1.5	29 "6/17/11"
365	0.3	29 "6/17/11"
366	0.55	29 "6/17/11"
367	0.2	29 "6/17/11"
368	0.2	30 "6/17/11"
369	0.4	30 "6/17/11"
370	0.3	30 "6/17/11"
371	0.65	30 "6/17/11"
372	0.4	30 "6/17/11"
373	0.25	30 "6/17/11"
374	0.35	30 "6/17/11"
375	0.4	30 "6/17/11"
376	0.2	30 "6/17/11"
377	0.25	31 "6/17/11"
378	0.3	31 "6/17/11"
379	0.25	31 "6/17/11"
380	1.15	31 "6/17/11"
381	0.25	31 "6/17/11"
382	0.65	31 "6/17/11"
383	0.45	31 "6/17/11"
384	0.85	31 "6/17/11"
385	0.7	31 "6/17/11"
386	0.35	32 "6/17/11"
387	0.65	32 "6/17/11"
388	0.8	32 "6/17/11"
389	0.7	32 "6/17/11"
390	0.7	32 "6/17/11"
391	0.95	32 "6/17/11"
392	0.35	32 "6/17/11"
393	1.05	32 "6/17/11"
394	0.9	32 "6/17/11"
395	0.7	33 "6/17/11"
396	1.25	33 "6/17/11"
397	0.88	33 "6/17/11"
398	0.85	33 "6/17/11"
399	2.05	33 "6/17/11"
400	0.65	33 "6/17/11"
401	0.7	33 "6/17/11"
402	2.05	33 "6/17/11"
403	0.45	33 "6/17/11"
404	0.85	34 "6/17/11"
405	1.15	34 "6/17/11"
406	1.05	34 "6/17/11"
407	1.3	34 "6/17/11"
408	1.2	34 "6/17/11"
409	0.8	34 "6/17/11"
410	0.85	34 "6/17/11"
411	1.55	34 "6/17/11"
412	655.35	34 "6/17/11"
413	0.6	35 "6/17/11"
414	0.6	35 "6/17/11"
415	0.6	35 "6/17/11"
416	0.6	35 "6/17/11"
417	0.75	35 "6/17/11"
418	1.05	35 "6/17/11"
419	1.05	35 "6/17/11"
420	1.05	35 "6/17/11"
421	655.35	35 "6/17/11"
422	0.75	36 "6/17/11"
423	0.75	36 "6/17/11"
424	0.75	36 "6/17/11"
425	1.75	36 "6/17/11"
426	0.8	36 "6/17/11"
427	0.9	36 "6/17/11"
428	1.05	36 "6/17/11"
429	1	36 "6/17/11"
430	655.35	36 "6/17/11"
431	0.95	37 "6/17/11"
432	1.3	37 "6/17/11"
433	0.95	37 "6/17/11"
434	0.95	37 "6/17/11"
435	0.95	37 "6/17/11"
436	1.05	37 "6/17/11"
437	1.5	37 "6/17/11"
438	0.95	37 "6/17/11"
439	655.35	37 "6/17/11"
440	1.2	38 "6/17/11"
441	1.15	38 "6/17/11"
442	1.15	38 "6/17/11"
443	1.2	38 "6/17/11"
444	2.5	38 "6/17/11"
445	2.35	38 "6/17/11"
446	2.35	38 "6/17/11"
447	1.25	38 "6/17/11"
448	655.35	38 "6/17/11"
449	1.45	39 "6/17/11"
450	1.4	39 "6/17/11"
451	1.4	39 "6/17/11"
452	1.5	39 "6/17/11"
453	1.4	39 "6/17/11"
454	1.45	39 "6/17/11"
455	2.85	39 "6/17/11"
456	1.29	39 "6/17/11"
457	655.35	39 "6/17/11"
458	1.7	40 "6/17/11"
459	1.7	40 "6/17/11"
460	3.1	40 "6/17/11"
461	1.7	40 "6/17/11"
462	1.8	40 "6/17/11"
463	1.7	40 "6/17/11"
464	1.7	40 "6/17/11"
465	1.65	40 "6/17/11"
466	655.35	40 "6/17/11"
467	2.1	41 "6/17/11"
468	2.05	41 "6/17/11"
469	2.05	41 "6/17/11"
470	2.05	41 "6/17/11"
471	2.05	41 "6/17/11"
472	4.2	41 "6/17/11"
473	2.1	41 "6/17/11"
474	4	41 "6/17/11"
475	655.35	41 "6/17/11"
476	2.5	42 "6/17/11"
477	2.5	42 "6/17/11"
478	4.6	42 "6/17/11"
479	2.5	42 "6/17/11"
480	2.5	42 "6/17/11"
481	2.5	42 "6/17/11"
482	2.3	42 "6/17/11"
483	2.3	42 "6/17/11"
484	655.35	42 "6/17/11"
485	3	43 "6/17/11"
486	3	43 "6/17/11"
487	3	43 "6/17/11"
488	3	43 "6/17/11"
489	3	43 "6/17/11"
490	3	43 "6/17/11"
491	2.65	43 "6/17/11"
492	3.2	43 "6/17/11"
493	655.35	43 "6/17/11"
494	3.8	44 "6/17/11"
495	3.6	44 "6/17/11"
496	3.6	44 "6/17/11"
497	5.2	44 "6/17/11"
498	3.6	44 "6/17/11"
499	3.6	44 "6/17/11"
500	3.1	44 "6/17/11"
501	4.6	44 "6/17/11"
502	655.35	44 "6/17/11"
503	4.45	45 "6/17/11"
504	4.9	45 "6/17/11"
505	4.6	45 "6/17/11"
506	6.2	45 "6/17/11"
507	4.45	45 "6/17/11"
508	6.4	45 "6/17/11"
509	3.8	45 "6/17/11"
510	5.3	45 "6/17/11"
511	655.35	45 "6/17/11"
512	4.9	46 "6/17/11"
513	4.9	46 "6/17/11"
514	4.9	46 "6/17/11"
515	5.7	46 "6/17/11"
516	6	46 "6/17/11"
517	4.9	46 "6/17/11"
518 10 46 "6/17/11"
519	6	46 "6/17/11"
520	655.35	46 "6/17/11"
521	6.8	47 "6/17/11"
522	8.2	47 "6/17/11"
523	5.6	47 "6/17/11"
524	5.6	47 "6/17/11"
525	6.8	47 "6/17/11"
526	7.9	47 "6/17/11"
527 10 47 "6/17/11"
528	7.1	47 "6/17/11"
529	655.35	47 "6/17/11"
530	6.7	48 "6/17/11"
531	6.4	48 "6/17/11"
532	6.4	48 "6/17/11"
533	6.7	48 "6/17/11"
534	7.9	48 "6/17/11"
535	9	48 "6/17/11"
536 10 48 "6/17/11"
537	7.6	48 "6/17/11"
538	655.35	48 "6/17/11"
539 10 49 "6/17/11"
540	8.1	50 "6/17/11"
541	9.9	50 "6/17/11"
542	8.1	50 "6/17/11"
543	8.1	50 "6/17/11"
544	8.1	50 "6/17/11"
545	8.1	50 "6/17/11"
546	7.3	50 "6/17/11"
547 10 50 "6/17/11"
548	655.35	50 "6/17/11"
549	13.1	55 "6/17/11"
550	13.1	55 "6/17/11"
551	13.1	55 "6/17/11"
552	13.1	55 "6/17/11"
553	13.1	55 "6/17/11"
554	13.2	55 "6/17/11"
555 10 55 "6/17/11"
556 10 55 "6/17/11"
557	655.35	55 "6/17/11"
558	18.1	60 "6/17/11"
559	18.1	60 "6/17/11"
560	18.1	60 "6/17/11"
561	18.1	60 "6/17/11"
562	18.1	60 "6/17/11"
563	18.2	60 "6/17/11"
564 10 60 "6/17/11"
565 10 60 "6/17/11"
566	655.35	60 "6/17/11"
567	23.1	65 "6/17/11"
568	23.1	65 "6/17/11"
569	23.1	65 "6/17/11"
570 10 65 "6/17/11"
571	23.3	65 "6/17/11"
572	23.2	65 "6/17/11"
573 10 65 "6/17/11"
574 10 65 "6/17/11"
575	655.35	65 "6/17/11"
576	0.15	20 "9/16/11"
577	0.15	20 "9/16/11"
578	0.15	20 "9/16/11"
579 10 20 "9/16/11"
580	0.15	20 "9/16/11"
581	0.15	20 "9/16/11"
582 10 20 "9/16/11"
583 10 20 "9/16/11"
584	0.2	20 "9/16/11"
585	0.35	22.5 "9/16/11"
586	0.3	22.5 "9/16/11"
587	0.2	22.5 "9/16/11"
588 10 22.5 "9/16/11"
589	0.2	22.5 "9/16/11"
590	0.4	22.5 "9/16/11"
591	0.3	22.5 "9/16/11"
592 10 22.5 "9/16/11"
593	0.25	22.5 "9/16/11"
594	0.45	25 "9/16/11"
595	0.3	25 "9/16/11"
596	0.3	25 "9/16/11"
597	0.45	25 "9/16/11"
598	0.5	25 "9/16/11"
599	0.5	25 "9/16/11"
600	0.35	25 "9/16/11"
601 10 25 "9/16/11"
602	0.35	25 "9/16/11"
603	0.9	30 "9/16/11"
604	0.9	30 "9/16/11"
605	1.05	30 "9/16/11"
606	1.1	30 "9/16/11"
607	1.15	30 "9/16/11"
608	0.95	30 "9/16/11"
609	1.05	30 "9/16/11"
610	1.15	30 "9/16/11"
611	0.65	30 "9/16/11"
612	0.95	32 "9/16/11"
613	0.9	32 "9/16/11"
614	1	32 "9/16/11"
615	0.9	32 "9/16/11"
616	1.65	32 "9/16/11"
617	0.9	32 "9/16/11"
618	0.7	32 "9/16/11"
619	1.5	32 "9/16/11"
620	1.5	32 "9/16/11"
621	1.05	33 "9/16/11"
622	1.85	33 "9/16/11"
623	1.05	33 "9/16/11"
624	1.4	33 "9/16/11"
625	1.45	33 "9/16/11"
626	1.1	33 "9/16/11"
627	0.95	33 "9/16/11"
628	1.7	33 "9/16/11"
629	655.35	33 "9/16/11"
630	1.4	34 "9/16/11"
631	1.95	34 "9/16/11"
632	1.95	34 "9/16/11"
633	2.05	34 "9/16/11"
634	1.4	34 "9/16/11"
635	2	34 "9/16/11"
636	2.6	34 "9/16/11"
637 10 34 "9/16/11"
638	655.35	34 "9/16/11"
639	1.45	35 "9/16/11"
640	1.45	35 "9/16/11"
641	1.45	35 "9/16/11"
642	1.45	35 "9/16/11"
643	1.45	35 "9/16/11"
644	1.45	35 "9/16/11"
645	1.25	35 "9/16/11"
646	2.3	35 "9/16/11"
647	655.35	35 "9/16/11"
648	1.7	36 "9/16/11"
649	1.7	36 "9/16/11"
650	1.7	36 "9/16/11"
651	1.7	36 "9/16/11"
652	1.7	36 "9/16/11"
653	2.7	36 "9/16/11"
654	1.6	36 "9/16/11"
655 10 36 "9/16/11"
656	655.35	36 "9/16/11"
657	1.95	37 "9/16/11"
658	1.95	37 "9/16/11"
659	1.95	37 "9/16/11"
660	2.55	37 "9/16/11"
661	3	37 "9/16/11"
662	1.95	37 "9/16/11"
663	1.7	37 "9/16/11"
664 10 37 "9/16/11"
665	655.35	37 "9/16/11"
666	2.3	38 "9/16/11"
667	2.3	38 "9/16/11"
668	2.3	38 "9/16/11"
669	2.9	38 "9/16/11"
670	2.3	38 "9/16/11"
671	3.6	38 "9/16/11"
672	2	38 "9/16/11"
673	3.6	38 "9/16/11"
674	655.35	38 "9/16/11"
675	2.68	39 "9/16/11"
676	2.68	39 "9/16/11"
677	2.6	39 "9/16/11"
678	3.2	39 "9/16/11"
679	3.9	39 "9/16/11"
680	3	39 "9/16/11"
681	3.8	39 "9/16/11"
682	2.8	39 "9/16/11"
683	655.35	39 "9/16/11"
684	2.95	40 "9/16/11"
685	2.95	40 "9/16/11"
686	2.95	40 "9/16/11"
687	2.95	40 "9/16/11"
688	2.95	40 "9/16/11"
689	2.95	40 "9/16/11"
690	2.75	40 "9/16/11"
691	2.75	40 "9/16/11"
692	655.35	40 "9/16/11"
693	3.4	41 "9/16/11"
694	3.4	41 "9/16/11"
695	3.4	41 "9/16/11"
696	3.4	41 "9/16/11"
697	3.4	41 "9/16/11"
698	5	41 "9/16/11"
699	3.2	41 "9/16/11"
700 10 41 "9/16/11"
701	655.35	41 "9/16/11"
702	3.9	42 "9/16/11"
703	3.9	42 "9/16/11"
704	4.16	42 "9/16/11"
705	5.5	42 "9/16/11"
706	4.6	42 "9/16/11"
707	5.8	42 "9/16/11"
708	7.3	42 "9/16/11"
709	5.6	42 "9/16/11"
710	655.35	42 "9/16/11"
711	5.79	43 "9/16/11"
712	5.7	43 "9/16/11"
713	5.79	43 "9/16/11"
714	6.4	43 "9/16/11"
715	5.4	43 "9/16/11"
716	6.6	43 "9/16/11"
717	5.8	43 "9/16/11"
718	5.4	43 "9/16/11"
719	655.35	43 "9/16/11"
720	5.1	44 "9/16/11"
721	6.8	44 "9/16/11"
722	6.7	44 "9/16/11"
723	6.7	44 "9/16/11"
724	5.9	44 "9/16/11"
725	4.9	40 "9/16/11"
726	6.8	44 "9/16/11"
727	6.8	44 "9/16/11"
728	655.35	44 "9/16/11"
729	5.5	45 "9/16/11"
730	5.5	45 "9/16/11"
731	5.5	45 "9/16/11"
732	7.2	45 "9/16/11"
733	7.2	45 "9/16/11"
734	5.5	45 "9/16/11"
735	7.5	45 "9/16/11"
736	5.1	45 "9/16/11"
737	655.35	45 "9/16/11"
738	6.1	46 "9/16/11"
739	8.2	46 "9/16/11"
740	8.2	46 "9/16/11"
741	6.1	46 "9/16/11"
742	6.1	46 "9/16/11"
743	6.1	46 "9/16/11"
744	8.2	46 "9/16/11"
745 10 46 "9/16/11"
746	655.35	46 "9/16/11"
747	6.8	47 "9/16/11"
748	6.8	47 "9/16/11"
749	6.8	47 "9/16/11"
750 10 47 "9/16/11"
751	6.8	47 "9/16/11"
752	6.8	47 "9/16/11"
753 10 47 "9/16/11"
754 10 47 "9/16/11"
755	655.35	47 "9/16/11"
756	10	48 "9/16/11"
757	7.5	48 "9/16/11"
758	7.5	48 "9/16/11"
759	7.5	48 "9/16/11"
760	9.3	48 "9/16/11"
761	10.3	48 "9/16/11"
762 10 48 "9/16/11"
763	9.1	48 "9/16/11"
764	655.35	48 "9/16/11"
765	9	50 "9/16/11"
766	10.7	50 "9/16/11"
767	10.7	50 "9/16/11"
768	9.7	50 "9/16/11"
769	9	50 "9/16/11"
770	9	50 "9/16/11"
771 10 50 "9/16/11"
772	11.4	50 "9/16/11"
773	655.35	50 "9/16/11"
774	13.6	55 "9/16/11"
775	13.6	55 "9/16/11"
776	13.6	55 "9/16/11"
777	13.6	55 "9/16/11"
778	13.6	55 "9/16/11"
779	13.6	55 "9/16/11"
780 10 55 "9/16/11"
781	12.1	55 "9/16/11"
782	655.35	55 "9/16/11"
783	18.5	60 "9/16/11"
784	18.5	60 "9/16/11"
785	18.5	60 "9/16/11"
786	18.5	60 "9/16/11"
787	18.5	60 "9/16/11"
788	18.5	60 "9/16/11"
789 10 60 "9/16/11"
790 10 60 "9/16/11"
791	655.35	60 "9/16/11"
792	23.4	65 "9/16/11"
793	23.4	65 "9/16/11"
794	23.4	65 "9/16/11"
795 10 65 "9/16/11"
796	23.4	65 "9/16/11"
797	23.5	65 "9/16/11"
798 10 65 "9/16/11"
799 10 65 "9/16/11"
800	655.35	65 "9/16/11"
801	0.2	12.5 "1/20/12"
802	0.1	12.5 "1/20/12"
803	0.1	12.5 "1/20/12"
804 10 12.5 "1/20/12"
805	0.1	12.5 "1/20/12"
806	0.15	12.5 "1/20/12"
807	0.2	12.5 "1/20/12"
808 10 12.5 "1/20/12"
809 10 12.5 "1/20/12"
810	0.2	15 "1/20/12"
811	0.15	15 "1/20/12"
812	0.15	15 "1/20/12"
813	0.2	15 "1/20/12"
814	0.65	15 "1/20/12"
815	0.2	15 "1/20/12"
816	0.15	15 "1/20/12"
817 10 15 "1/20/12"
818 10 15 "1/20/12"
819	0.3	17.5 "1/20/12"
820	0.93	17.5 "1/20/12"
821	0.25	17.5 "1/20/12"
822	0.3	17.5 "1/20/12"
823	0.85	17.5 "1/20/12"
824	0.35	17.5 "1/20/12"
825	0.3	17.5 "1/20/12"
826	0.3	17.5 "1/20/12"
827 10 17.5 "1/20/12"
828	0.45	20 "1/20/12"
829	0.3	20 "1/20/12"
830	0.45	20 "1/20/12"
831	0.45	20 "1/20/12"
832	0.45	20 "1/20/12"
833	0.45	20 "1/20/12"
834	0.45	20 "1/20/12"
835	0.45	20 "1/20/12"
836	0.45	20 "1/20/12"
837	0.7	22.5 "1/20/12"
838	0.45	22.5 "1/20/12"
839	0.6	22.5 "1/20/12"
840	0.7	22.5 "1/20/12"
841	0.45	22.5 "1/20/12"
842	0.7	22.5 "1/20/12"
843	0.35	22.5 "1/20/12"
844	0.45	22.5 "1/20/12"
845 10 22.5 "1/20/12"
846	0.65	25 "1/20/12"
847	0.7	25 "1/20/12"
848	0.65	25 "1/20/12"
849	0.65	25 "1/20/12"
850	0.75	25 "1/20/12"
851	0.9	25 "1/20/12"
852	0.65	25 "1/20/12"
853	2	25 "1/20/12"
854	0.95	25 "1/20/12"
855	1.35	30 "1/20/12"
856	1.85	30 "1/20/12"
857	1.8	30 "1/20/12"
858	1.95	30 "1/20/12"
859	1.35	30 "1/20/12"
860	2.05	30 "1/20/12"
861	1.25	30 "1/20/12"
862	1.3	30 "1/20/12"
863	1.35	30 "1/20/12"
864	2.5	35 "1/20/12"
865	2.5	35 "1/20/12"
866	2.5	35 "1/20/12"
867	3.6	35 "1/20/12"
868	2.5	35 "1/20/12"
869	2.5	35 "1/20/12"
870	3.1	35 "1/20/12"
871	2.4	35 "1/20/12"
872	2.4	35 "1/20/12"
873	4.4	40 "1/20/12"
874	4.4	40 "1/20/12"
875	4.4	40 "1/20/12"
876	5.2	40 "1/20/12"
877	4.4	40 "1/20/12"
878	4.4	40 "1/20/12"
879	4	40 "1/20/12"
880	5	40 "1/20/12"
881	4	40 "1/20/12"
882	6.9	45 "1/20/12"
883	8.6	45 "1/20/12"
884	8.5	45 "1/20/12"
885	6.9	45 "1/20/12"
886	6.9	45 "1/20/12"
887	6.9	45 "1/20/12"
888	6.4	45 "1/20/12"
889	6.5	45 "1/20/12"
890	6.5	45 "1/20/12"
891	10.2	50 "1/20/12"
892	10.2	50 "1/20/12"
893	12.39	50 "1/20/12"
894	11.6	50 "1/20/12"
895	11.6	50 "1/20/12"
896	12.6	50 "1/20/12"
897	15.9	50 "1/20/12"
898	9.5	50 "1/20/12"
899	9.5	50 "1/20/12"
900	14.1	55 "1/20/12"
901	14.1	55 "1/20/12"
902	14.1	55 "1/20/12"
903	14.1	55 "1/20/12"
904	14.1	55 "1/20/12"
905	14.1	55 "1/20/12"
906 10 55 "1/20/12"
907	13.3	55 "1/20/12"
908 10 55 "1/20/12"
909	19	60 "1/20/12"
910	19	60 "1/20/12"
911	19	60 "1/20/12"
912 10 60 "1/20/12"
913	19	60 "1/20/12"
914	19	60 "1/20/12"
915 10 60 "1/20/12"
916 10 60 "1/20/12"
917 10 60 "1/20/12"
918	23.7	65 "1/20/12"
919	23.7	65 "1/20/12"
920	23.7	65 "1/20/12"
921 10 65 "1/20/12"
922	23.7	65 "1/20/12"
923	23.8	65 "1/20/12"
924 10 65 "1/20/12"
925 10 65 "1/20/12"
926 10 65 "1/20/12"
927	0.7	17.5 "1/18/13"
928	0.7	17.5 "1/18/13"
929	0.7	17.5 "1/18/13"
930	0.7	17.5 "1/18/13"
931	0.75	17.5 "1/18/13"
932	0.7	17.5 "1/18/13"
933 10 17.5 "1/18/13"
934 10 17.5 "1/18/13"
935 10 17.5 "1/18/13"
936	1.05	20 "1/18/13"
937	1.05	20 "1/18/13"
938	1.05	20 "1/18/13"
939 10 20 "1/18/13"
940	1.35	20 "1/18/13"
941	1.1	20 "1/18/13"
942 10 20 "1/18/13"
943 10 20 "1/18/13"
944 10 20 "1/18/13"
945	1.85	25 "1/18/13"
946	1.85	25 "1/18/13"
947	1.85	25 "1/18/13"
948	2.15	25 "1/18/13"
949	2.5	25 "1/18/13"
950	1.85	25 "1/18/13"
951	2.15	25 "1/18/13"
952	1.8	25 "1/18/13"
953	2	25 "1/18/13"
954	3.1	30 "1/18/13"
955	3.9	30 "1/18/13"
956	3.7	30 "1/18/13"
957	5.5	30 "1/18/13"
958	4.1	30 "1/18/13"
959	3.1	30 "1/18/13"
960	4	30 "1/18/13"
961 10 30 "1/18/13"
962 10 30 "1/18/13"
963	4.8	35 "1/18/13"
964	5.6	35 "1/18/13"
965	5.6	35 "1/18/13"
966	5.6	35 "1/18/13"
967	4.8	35 "1/18/13"
968	4.8	35 "1/18/13"
969	4.2	35 "1/18/13"
970	5.6	35 "1/18/13"
971 10 35 "1/18/13"
972	7	40 "1/18/13"
973	7	40 "1/18/13"
974	7	40 "1/18/13"
975	8.7	40 "1/18/13"
976	7	40 "1/18/13"
977	7	40 "1/18/13"
978	7.5	40 "1/18/13"
979 10 40 "1/18/13"
980	7.8	40 "1/18/13"
981	10	45 "1/18/13"
982	9.9	45 "1/18/13"
983	9.9	45 "1/18/13"
984	9.9	45 "1/18/13"
985	9.9	45 "1/18/13"
986	11.5	45 "1/18/13"
987	8.4	45 "1/18/13"
988 10 45 "1/18/13"
989 10 45 "1/18/13"
990	13.1	50 "1/18/13"
991	13.1	50 "1/18/13"
992	13.1	50 "1/18/13"
993 10 50 "1/18/13"
994	13.1	50 "1/18/13"
995	13.2	50 "1/18/13"
996 10 50 "1/18/13"
997 10 50 "1/18/13"
998 10 50 "1/18/13";



end;