![[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 | - | ||
| 01sum.mp4 | 2015-08-19 19:10 | 5.1M | |
| 01sum.ogv | 2015-08-19 19:10 | 33M | |
| 02election.mp4 | 2015-08-19 19:10 | 3.3M | |
| 02election.ogv | 2015-08-19 19:10 | 22M | |
| 02election2.mp4 | 2015-08-19 19:10 | 4.1M | |
| 02election2.ogv | 2015-08-19 19:10 | 27M | |
| 03matrix.mp4 | 2015-08-19 19:10 | 2.4M | |
| 03matrix.ogv | 2015-08-19 19:10 | 15M | |
| 04pin.mp4 | 2015-08-19 19:10 | 1.8M | |
| 04pin.ogv | 2015-08-19 19:10 | 12M | |
| 05settheory.mp4 | 2015-08-19 19:10 | 3.9M | |
| 05settheory.ogv | 2015-08-19 19:10 | 25M | |
| 06product.mp4 | 2015-08-19 19:10 | 4.5M | |
| 06product.ogv | 2015-08-19 19:10 | 29M | |
| 07team.mp4 | 2015-08-19 19:10 | 7.0M | |
| 07team.ogv | 2015-08-19 19:10 | 44M | |
| 08multiset.mp4 | 2015-08-19 19:10 | 4.7M | |
| 08multiset.ogv | 2015-08-19 19:10 | 30M | |
| counting-summary.mp4 | 2015-08-20 12:52 | 8.0M | |
| counting-summary.ogv | 2015-08-20 12:54 | 45M | |