![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| semple.mp4 | 2008-05-08 14:15 | 300M | |
| faller.mp4 | 2008-05-08 11:59 | 295M | |
| mitzenmacher-1.1.mp4 | 2008-05-08 11:27 | 289M | |
| slinko.mp4 | 2008-05-08 14:49 | 283M | |
| williams.mp4 | 2008-05-08 13:48 | 248M | |
| atkinson.mp4 | 2008-05-08 11:38 | 247M | |
| mitzenmacher-1.2.mp4 | 2008-05-08 14:32 | 245M | |
| yashunsky.mp4 | 2008-05-08 12:57 | 237M | |
| ruskey.mp4 | 2008-05-08 13:03 | 218M | |
| linton-1.1.mp4 | 2008-05-08 13:12 | 213M | |
| downey-beginning.mp4 | 2008-05-08 14:19 | 148M | |
| linton-1.2.mp4 | 2008-05-08 13:51 | 62M | |
| gerhard-beginning.mp4 | 2008-05-09 10:17 | 57M | |