Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Matt's examples 
						
					 
				 
				1994-10-07 09:55:26 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00  
		
			
			
			
			
				
					
						
							
								 
				 
				
					
						
							
							Whitespace normalization, via reindent.py. 
						
					 
				 
				2004-07-18 06:16:08 +00:00