<commit_before><?php
//============================================================================
// Name        : patronGen.php
// Author      : <NAME>, <NAME>
// Version     : 1.0
// Date        : 10-2013
// Description : For generating the group name tickets.
//============================================================================
	include_once 'libs/keyLib.php';
	include_once 'libs/formLib.php';

	// start a session prevent sending the same post twice
	// if the user refreshes the page, it will default to the
	// access code screen
	//session_start();

	// the key file which should be edited, either the default key file or the one that was specified
	$keyFile = KEYFILE;
	if (isset($_GET["keyFile"]))
		$keyFile = $_GET["keyFile"];
	// holds the key data, generated from the key file
	$keyData = ReadKeyFile($keyFile);
	// the group names and rooms for Monday and their start times for Tuesday
	$patrons = array(
		array("<NAME>", "INF/005", "09:00"),
		array("<NAME>", "INF/E006", "09:10"),
		array("<NAME>", "INF/E007", "09:20"),
		array("<NAME>", "INF/E008", "09:30"),
		array("<NAME>", "INF/E009", "09:40"),
		array("<NAME>", "INF/E010", "09:50"),
		array("<NAME>", "SCH/A01", "10:00"),
		array("<NAME>", "SCH/A315", "10:10"),
		array("<NAME>", "SCH/A215", "10:20"),
		array("<NAME>", "SCH/A117", "10:30"),
		array("<NAME>", "SCH/A118", "10:40"),
		array("<NAME>", "SCH/A316", "10:50"),
		array("<NAME>", "SCH/A216", "11:00"),
		array("<NAME>", "BAR/106", "11:10"),
		array("<NAME>", "JAN/27", "11:20"),
		array("<NAME>", "BER/105", "11:30"),
		// we need slightly more Master tickets
		array("Master Inf/MInf", "INF/E023", ""),
		array("Master Inf/MInf", "INF/E023", "")
	);

?>
<!DOCTYPE html>
<html>
	<head>
    <meta charset="utf-8">
		<title>Namenspatronzettel</title>
		<link rel="stylesheet" type="text/css" href="css/print.css" />
	</head>
	<body>
		<div class="container">
<?php<commit_msg>Raumeinteilung für die Tutorien aktualisiert<commit_after><?php
//============================================================================
// Name        : patronGen.php
// Author      : <NAME>, <NAME>
// Version     : 1.0
// Date        : 10-2013
// Description : For generating the group name tickets.
//============================================================================
	include_once 'libs/keyLib.php';
	include_once 'libs/formLib.php';

	// start a session prevent sending the same post twice
	// if the user refreshes the page, it will default to the
	// access code screen
	//session_start();

	// the key file which should be edited, either the default key file or the one that was specified
	$keyFile = KEYFILE;
	if (isset($_GET["keyFile"]))
		$keyFile = $_GET["keyFile"];
	// holds the key data, generated from the key file
	$keyData = ReadKeyFile($keyFile);
	// the group names and rooms for Monday and their start times for Tuesday
	$patrons = array(
		array("<NAME>", "INF/E005", "09:00"),
		array("<NAME>", "INF/E006", "09:10"),
		array("<NAME>", "INF/E007", "09:20"),
		array("<NAME>", "INF/E008", "09:30"),
		array("<NAME>", "INF/E009", "09:40"),
		array("<NAME>", "INF/E010", "09:50"),
		array("<NAME>", "SCH/A216", "10:00"),
		array("<NAME>", "BAR/106", "10:10"),
		array("<NAME>", "JAN/27", "10:20"),
		array("<NAME>", "BER/105", "10:30"),
		array("<NAME>", "SCH/A01", "10:40"),
		array("<NAME>", "SCH/A315", "10:50"),
		array("<NAME>", "SCH/A215", "11:00"),
		array("<NAME>", "INF/2101", "11:10"),
		array("<NAME>", "SCH/A118", "11:20"),
		array("<NAME>", "SCH/A316", "11:30"),
		// we need slightly more Master tickets
		array("Master Inf/MInf", "INF/E023", ""),
		array("Master Inf/MInf", "INF/E023", "")
	);

?>
<!DOCTYPE html>
<html>
	<head>
    <meta charset="utf-8">
		<title>Namenspatronzettel</title>
		<link rel="stylesheet" type="text/css" href="css/print.css" />
	</head>
	<body>
		<div class="container">
<?php
{'fraction_non_alphanumeric': 0.2888086642599278, 'fraction_numerical': 0.06472408457968025, 'mean_word_length': 4.410041841004184, 'pattern_counts': {'":': 0, '<': 63, '<?xml version=': 0, '>': 61, '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': '4841360', 'n_tokens_mistral': 1544, 'n_tokens_neox': 1294, 'n_words': 345}