<commit_before><!DOCTYPE html>
<html>
<head>
	<title>Demo Interactive Map</title>
	<!-- Fonts -->
	<link href='https://fonts.googleapis.com/css?family=Roboto+Condensed:400,700' rel='stylesheet' type='text/css'>

	<!-- Jquery -->
	<link rel="stylesheet" href="https://code.jquery.com/ui/1.9.2/themes/base/jquery-ui.css" type="text/css">
	<script src="https://code.jquery.com/jquery-1.12.0.min.js"></script>

	<!-- D3 -->
	<script src="https://d3js.org/d3.v3.min.js"></script>

	<!-- Leaflet -->
	<link rel="stylesheet" href="https://unpkg.com/leaflet@1.0.1/dist/leaflet.css" />
	<!-- our own css -->
	<script src="https://unpkg.com/leaflet@1.0.1/dist/leaflet.js"></script>
	<script src="https://d3js.org/queue.v1.min.js"></script>

    <!-- Piecharts -->
    <script src="https://sashakavun.github.io/leaflet-canvasicon/leaflet-canvasicon.js"></script>
    <script type="text/javascript" src="js/leaflet-piechart.js"></script>

    <!-- Slider -->
    <script src="https://code.jquery.com/ui/1.9.2/jquery-ui.js"></script>
    <script src="//cdnjs.cloudflare.com/ajax/libs/jqueryui-touch-punch/0.2.2/jquery.ui.touch-punch.min.js"></script>
    <script src="https://rawgit.com/dwilhelm89/LeafletSlider/master/SliderControl.js" type="text/javascript"></script>
    <!-- custom style and scripts -->
	<link rel="stylesheet" href="styles/styles.css"/>
	<script src="js/main.js"></script>

        <script>
            $(function() {
                initMap();
            });
        </script>

</head>
<body>
  <div id="map-and-controls">
	   <div id="map"></div>
     <div id="map-info"></div>
  </div>
</body>
</html><commit_msg>to add updated html with a form<commit_after><!DOCTYPE html>
<html>
<head>
	<title>Demo Interactive Map</title>
	<!-- Fonts -->
	<link href='https://fonts.googleapis.com/css?family=Roboto+Condensed:400,700' rel='stylesheet' type='text/css'>

	<!-- Jquery -->
	<link rel="stylesheet" href="https://code.jquery.com/ui/1.9.2/themes/base/jquery-ui.css" type="text/css">
	<script src="https://code.jquery.com/jquery-1.12.0.min.js"></script>

	<!-- D3 -->
	<script src="https://d3js.org/d3.v3.min.js"></script>

	<!-- Leaflet -->
	<link rel="stylesheet" href="https://unpkg.com/leaflet@1.0.1/dist/leaflet.css" />
	<!-- our own css -->
	<script src="https://unpkg.com/leaflet@1.0.1/dist/leaflet.js"></script>
	<script src="https://d3js.org/queue.v1.min.js"></script>

    <!-- Piecharts -->
    <script src="https://sashakavun.github.io/leaflet-canvasicon/leaflet-canvasicon.js"></script>
    <script type="text/javascript" src="js/leaflet-piechart.js"></script>

    <!-- Slider -->
    <script src="https://code.jquery.com/ui/1.9.2/jquery-ui.js"></script>
    <script src="//cdnjs.cloudflare.com/ajax/libs/jqueryui-touch-punch/0.2.2/jquery.ui.touch-punch.min.js"></script>
    <script src="https://rawgit.com/dwilhelm89/LeafletSlider/master/SliderControl.js" type="text/javascript"></script>
    <!-- custom style and scripts -->
	<link rel="stylesheet" href="styles/styles.css"/>
	<script src="js/main.js"></script>

        <script>
            $(function() {
                initMap();
            });
        </script>

</head>
<body>
  <div id="map-and-controls">
   <div id="map"></div>
   <div id="map-right">
	  <form action="hello">
	    <select name="smellType" id="smellType">
	    	<option value="all smell" selected>all smell</option>
    		<option value="sewer">sewer</option>
    		<option value="thames">thames</option>
		    <option value="water">water</option>
		    <option value="waste_rubbish">waste_rubbish</option>
		    <option value="waste_excrement">waste_excrement</option>
		    <option value="food">food</option>
		    <option value="trade">trade</option>
		    <option value="animal">animal</option>
		    <option value="disinfectant">disinfectant</option>
		    <option value="factory_fuel">factory_fuel</option>
		    <option value="school">school</option>
		    <option value="air">air</option>
		    <option value="decomposition">decomposition</option>
		    <option value="habitation">habitation</option>
		    <option value="no_smell">no_smell</option>
  		</select>
  		<br><br>
	    <input type="text">
	    <button type="submit">Submit</button>
	  </form>
      <div id="map-info"></div>
	</div>     	
     

  </div>

  

</body>
</html>
{'fraction_non_alphanumeric': 0.21940437412750116, 'fraction_numerical': 0.015355979525360632, 'mean_word_length': 3.3293051359516617, 'pattern_counts': {'":': 0, '<': 144, '<?xml version=': 0, '>': 144, 'https://': 20, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5542901', 'n_tokens_mistral': 1611, 'n_tokens_neox': 1517, 'n_words': 197}