const RANDOM: [&[u8]; 7] = [
	include_bytes!("rand/random1.in"),
	include_bytes!("rand/random2.in"),
	include_bytes!("rand/random3.in"),
	include_bytes!("rand/random4.in"),
	include_bytes!("rand/random5.in"),
	include_bytes!("rand/random6.in"),
	include_bytes!("rand/random7.in")
];

// EOF