<commit_before><!doctype html>
<html>
<head>
<link rel="stylesheet" href="/css/widget.css" />
<link rel="stylesheet" href="style.css" />
<script type="text/javascript" src="/js/vendor/jquery.min.js"></script>
<script type="text/javascript" src="/js/vendor/jquery-ui.min.js"></script>
<script type="text/javascript" src="/js/widget.js"></script>
<script type="text/javascript" src="script.js"></script>
<title>Simulated Clock</title>
</head>
<body class="widget">
	<img id="loading" src="/img/loading.gif" alt="Loading..." />

	<img id="icon" src="clock.png" alt="Clock" />

	<p class="error"></p>
	<p>
		<span id="time"></span>
	</p>

	<div id="simulation_parameters">
		<p>
			Start: <input type="text" id="datepicker" value="01-01-2012" />
		</p>
		<select id="period">
			<option value="year">Year</option>
			<option value="month">Month</option>
			<option value="week">Week</option>
			<option value="day">Day</option>
		</select> <select id="speed">
			<option value="1">1x (realtime)</option>
			<option value="60">60x (min=sec)</option>
			<option value="3600">3600x (hour=sec)</option>
			<option value="86400">86400x (day=sec)</option>
		</select> <br />
		<button id="startstop">Start</button>
		<button id="pauseunpause">Pause</button>
	</div>
</body>
</html><commit_msg>Added 10x and 30x to simulated time widget. Nothing else. :)<commit_after><!doctype html>
<html>
<head>
<link rel="stylesheet" href="/css/widget.css" />
<link rel="stylesheet" href="style.css" />
<script type="text/javascript" src="/js/vendor/jquery.min.js"></script>
<script type="text/javascript" src="/js/vendor/jquery-ui.min.js"></script>
<script type="text/javascript" src="/js/widget.js"></script>
<script type="text/javascript" src="script.js"></script>
<title>Simulated Clock</title>
</head>
<body class="widget">
	<img id="loading" src="/img/loading.gif" alt="Loading..." />

	<img id="icon" src="clock.png" alt="Clock" />

	<p class="error"></p>
	<p>
		<span id="time"></span>
	</p>

	<div id="simulation_parameters">
		<p>
			Start: <input type="text" id="datepicker" value="01-01-2012" />
		</p>
		<select id="period">
			<option value="year">Year</option>
			<option value="month">Month</option>
			<option value="week">Week</option>
			<option value="day">Day</option>
		</select> <select id="speed">
			<option value="1">1x (realtime)</option>
			<option value="10">10x (10 sec / sec)</option>
			<option value="30">30x (half min / sec)</option>			
			<option value="60">60x (1 min / sec)</option>
			<option value="3600">3600x (1 hour / sec)</option>
			<option value="86400">86400x (1 day / sec)</option>
		</select> <br />
		<button id="startstop">Start</button>
		<button id="pauseunpause">Pause</button>
	</div>
</body>
</html>
{'fraction_non_alphanumeric': 0.23223443223443224, 'fraction_numerical': 0.02967032967032967, 'mean_word_length': 4.9369565217391305, 'pattern_counts': {'":': 0, '<': 121, '<?xml version=': 0, '>': 121, 'https://': 0, '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': '3142856', 'n_tokens_mistral': 1082, 'n_tokens_neox': 967, 'n_words': 193}