| 
						
						
							
								
							
						
						
					 | 
					 | 
					@ -26,7 +26,7 @@ svg_rect(double x, double y, double width, double height, string stroke, string
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    cout << "<rect x='" << x << "' y='" << y <<"' width='" << width << "' height='" << height << "' stroke='" << stroke << "' fill='" << fill << "'/>";
 | 
					 | 
					 | 
					 | 
					    cout << "<rect x='" << x << "' y='" << y <<"' width='" << width << "' height='" << height << "' stroke='" << stroke << "' fill='" << fill << "'/>";
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					}
 | 
					 | 
					 | 
					 | 
					}
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					void
 | 
					 | 
					 | 
					 | 
					void
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					show_histogram_svg(const vector<size_t>& bins) {
 | 
					 | 
					 | 
					 | 
					show_histogram_svg(const vector<size_t>& bins, string stroke, string fill) {
 | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    const auto IMAGE_WIDTH = 400;
 | 
					 | 
					 | 
					 | 
					    const auto IMAGE_WIDTH = 400;
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    const auto IMAGE_HEIGHT = 300;
 | 
					 | 
					 | 
					 | 
					    const auto IMAGE_HEIGHT = 300;
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					    const auto TEXT_LEFT = 20;
 | 
					 | 
					 | 
					 | 
					    const auto TEXT_LEFT = 20;
 | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					 | 
					@ -48,7 +48,7 @@ show_histogram_svg(const vector<size_t>& bins) {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					        for (size_t bin : bins) {
 | 
					 | 
					 | 
					 | 
					        for (size_t bin : bins) {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            const double bin_width = BLOCK_WIDTH * bin;
 | 
					 | 
					 | 
					 | 
					            const double bin_width = BLOCK_WIDTH * bin;
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            svg_text(TEXT_LEFT, top + TEXT_BASELINE, to_string(bin));
 | 
					 | 
					 | 
					 | 
					            svg_text(TEXT_LEFT, top + TEXT_BASELINE, to_string(bin));
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            svg_rect(TEXT_WIDTH, top, bin_width, BIN_HEIGHT);
 | 
					 | 
					 | 
					 | 
					            svg_rect(TEXT_WIDTH, top, bin_width, BIN_HEIGHT, stroke, fill);
 | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            top += BIN_HEIGHT;
 | 
					 | 
					 | 
					 | 
					            top += BIN_HEIGHT;
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					        }
 | 
					 | 
					 | 
					 | 
					        }
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					        svg_end();
 | 
					 | 
					 | 
					 | 
					        svg_end();
 | 
				
			
			
		
	
	
		
		
			
				
					| 
						
						
						
							
								
							
						
					 | 
					 | 
					@ -58,7 +58,7 @@ show_histogram_svg(const vector<size_t>& bins) {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					        for (size_t bin : bins) {
 | 
					 | 
					 | 
					 | 
					        for (size_t bin : bins) {
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            const double bin_width = BLOCK_WIDTH * bin * kf;
 | 
					 | 
					 | 
					 | 
					            const double bin_width = BLOCK_WIDTH * bin * kf;
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            svg_text(TEXT_LEFT, top + TEXT_BASELINE, to_string(bin));
 | 
					 | 
					 | 
					 | 
					            svg_text(TEXT_LEFT, top + TEXT_BASELINE, to_string(bin));
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            svg_rect(TEXT_WIDTH, top, bin_width, BIN_HEIGHT);
 | 
					 | 
					 | 
					 | 
					            svg_rect(TEXT_WIDTH, top, bin_width, BIN_HEIGHT, stroke, fill);
 | 
				
			
			
				
				
			
		
	
		
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					            top += BIN_HEIGHT;
 | 
					 | 
					 | 
					 | 
					            top += BIN_HEIGHT;
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					        }
 | 
					 | 
					 | 
					 | 
					        }
 | 
				
			
			
		
	
		
		
			
				
					
					 | 
					 | 
					 | 
					        svg_end();
 | 
					 | 
					 | 
					 | 
					        svg_end();
 | 
				
			
			
		
	
	
		
		
			
				
					| 
						
							
								
							
						
						
						
					 | 
					 | 
					
 
 |