 |
Manfred Kudlek's pictures from ICALP/LICS 2007 |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
 |
|
|
|
|
|||||||||||
 |
 |
 |
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
 |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|||||||||||
|
 |
|
|
 |
|
|
 |
|
|
 |
|
|
 |
|
||
|
|
|
|
|
||||||||||||
|
Photos © by Manfred Kudlek, 2007 | |
||||||||||||||