<commit_before><html>
	<head>
		<script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/1.4.4/jquery.min.js"></script>
		<script type="text/javascript" src="http://maps.google.com/maps/api/js?sensor=false"></script>
		<script type="text/javascript">
$(document).ready(function(){
		$.getJSON("wpt2json.json?url={{ url }}", function(geojson) {
			var map = new google.maps.Map($('#map').get(0), {
				disableDoubleClickZoom: true,
				mapTypeId: google.maps.MapTypeId.TERRAIN,
			});
			map.fitBounds(new google.maps.LatLngBounds(new google.maps.LatLng(geojson.bbox[1], geojson.bbox[0]), new google.maps.LatLng(geojson.bbox[4], geojson.bbox[3])));
			$.each(geojson.features, function(i, feature) {
				var position = new google.maps.LatLng(feature.geometry.coordinates[1], feature.geometry.coordinates[0]);
				var marker = new google.maps.Marker({
					map: map,
					position: position
				});
			});
		});
});
		</script>
		<title>Waypoint Viewer</title>
	</head>
	<body>
		<div id="map" style="width: 100%; height: 100%">Loading...</div>
		<div id="infoWindow" style="display: none">
			<table>
				<tr>
					<th>ID:</th>
					<td><input id="id" type="text"/></td>
				</tr>
				<tr><commit_msg>Reformat<commit_after><html>
	<head>
		<script type="text/javascript" src="https://ajax.googleapis.com/ajax/libs/jquery/1.4.4/jquery.min.js"></script>
		<script type="text/javascript" src="http://maps.google.com/maps/api/js?sensor=false"></script>
		<script type="text/javascript">
$(document).ready(function(){
		$.getJSON("wpt2json.json?url={{ url }}", function(geojson) {
			var map = new google.maps.Map($('#map').get(0), {
				disableDoubleClickZoom: true,
				mapTypeId: google.maps.MapTypeId.TERRAIN,
			});
			map.fitBounds(new google.maps.LatLngBounds(
				new google.maps.LatLng(geojson.bbox[1], geojson.bbox[0]),
				new google.maps.LatLng(geojson.bbox[4], geojson.bbox[3])
			));
			$.each(geojson.features, function(i, feature) {
				var position = new google.maps.LatLng(
					feature.geometry.coordinates[1],
					feature.geometry.coordinates[0]
				);
				var marker = new google.maps.Marker({
					map: map,
					position: position
				});
			});
		});
});
		</script>
		<title>Waypoint Viewer</title>
	</head>
	<body>
		<div id="map" style="width: 100%; height: 100%">Loading...</div>
		<div id="infoWindow" style="display: none">
			<table>
				<tr>
					<th>ID:</th>
					<td><input id="id" type="text"/></td>
				</tr>
				<tr>
{'fraction_non_alphanumeric': 0.20631067961165048, 'fraction_numerical': 0.013754045307443365, 'mean_word_length': 3.9262948207171315, 'pattern_counts': {'":': 0, '<': 51, '<?xml version=': 0, '>': 51, 'https://': 2, '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': '6572301', 'n_tokens_mistral': 1059, 'n_tokens_neox': 899, 'n_words': 137}