<?

php
$array=array();
$inf=0;
for($i=1;$i<=1000;$i++){

$u1=(float)rand() / (float)getrandmax();
$u2=(float)rand() / (float)getrandmax();

$x=floor(15*sqrt(-2*log($u1+pow(0.1,15)))*cos(2*M_PI*($u2+pow(0.1,15)))+100);

if($u1<0.013 && $u1>0.012 && $x>0)

{
$x=(-1)*$x;
}

if($u1<0.012 && $u1>0.011)

{
$x=0;
}

if($u1<0.011 && $u1>0.01)

{
$x="♾";
}

if($u1<0.01)
{

$x=$x*2 ;

if($x=="♾")
{

$inf+=1;
}

if(!in_array($x,$array))
{
array_push($array,$x);

sort($array);

foreach($array as $key => $value){

echo $value.", ";

}

echo "inf: ".$inf;

?>