<commit_before><!DOCTYPE html>
<html lang="en_US">
	<head>
		<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=0" />
		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
		<meta http-equiv="X-UA-Compatible" content="IE=edge">
		<meta name="description" content="A CXK Play Basketball game under HTML5.">
		<meta name="keywords" content="CXK,Basketball,Game,HTML5,open source,caixukun">
		<link rel="stylesheet" href="css/bootstrap.min.css" crossorigin="anonymous">
		<link rel="stylesheet" href="css/style.css?s=2">
		<title>CXK Play Basketball</title>
		<!--<link rel="stylesheet" href="css/common.css">-->
		<script src="js/jquery.min.js"></script>
		<script src="js/showdown.min.js"></script>
		<script src="js/bootstrap.min.js" crossorigin="anonymous"></script>
		<!--<script type="text/javascript">
			// 百度统计代码
			var _hmt = _hmt || [];
			(function() {
			  var hm = document.createElement("script");
			  hm.src = "https://hm.baidu.com/hm.js?5adedb455da362ba577abe2fd8e1095d";
			  var s = document.getElementsByTagName("script")[0];
			  s.parentNode.insertBefore(hm, s);
			})();
		</script>-->
	</head>
	<body>
		<div class="container">
			<div class="row">
				<div class="col-sm-12">
					<h2>CXK Play Basketball</h2>
					<p>CXK, come out and play basketball!</p>
					<hr>
					<center>
						<p>
							<div class="input-group">
								<span class="input-group-addon">Difficulty</span>
								<select class="form-control" id="ballspeedset"><commit_msg>font-family added<commit_after><!DOCTYPE html>
<html lang="en_US">
	<head>
		<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=0" />
		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
		<meta http-equiv="X-UA-Compatible" content="IE=edge">
		<meta name="description" content="A CXK Play Basketball game under HTML5.">
		<meta name="keywords" content="CXK,Basketball,Game,HTML5,open source,caixukun">
		<link rel="stylesheet" href="css/bootstrap.min.css" crossorigin="anonymous">
		<link rel="stylesheet" href="css/style.css?s=2">
		<style>
			body {
				font-family: Gothic Century, Arial, Georgia;
			}
		</style>
		<title>CXK Play Basketball</title>
		<!--<link rel="stylesheet" href="css/common.css">-->
		<script src="js/jquery.min.js"></script>
		<script src="js/showdown.min.js"></script>
		<script src="js/bootstrap.min.js" crossorigin="anonymous"></script>
		<!--<script type="text/javascript">
			// 百度统计代码
			var _hmt = _hmt || [];
			(function() {
			  var hm = document.createElement("script");
			  hm.src = "https://hm.baidu.com/hm.js?5adedb455da362ba577abe2fd8e1095d";
			  var s = document.getElementsByTagName("script")[0];
			  s.parentNode.insertBefore(hm, s);
			})();
		</script>-->
	</head>
	<body>
		<div class="container">
			<div class="row">
				<div class="col-sm-12">
					<h2>CXK Play Basketball</h2>
					<p>CXK, come out and play basketball!</p>
					<hr>
					<center>
						<p>
							<div class="input-group">
								<span class="input-group-addon">Difficulty</span>
								<select class="form-control" id="ballspeedset">
{'fraction_non_alphanumeric': 0.19322900031938678, 'fraction_numerical': 0.017885659533695305, 'mean_word_length': 4.126022913256956, 'pattern_counts': {'":': 0, '<': 83, '<?xml version=': 0, '>': 83, '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': '7506710', 'n_tokens_mistral': 1337, 'n_tokens_neox': 1125, 'n_words': 198}