Starting to Read Input
Done Reading Input 13942 chars read
Starting to Parse
Done Parsing
Starting First Combine
Done First Combine
Starting PL optimization
Done PL optimization
Starting Second Combine
Done Second Combine
Printing out optimized document
stdin = 13942 chars
stdout = 13019 chars
Done
0