#include <iostream.h>
#include <stdio.h>

void main (void) {
  double count=0;
  double valid=0;
  double valid2=0;
  double valid3=0;
  double valid4=0;
  int ax,bx,cx,dx;
  for (ax=0;ax<20;ax++) 
  for (bx=0;bx<20;bx++) 
  for (cx=0;cx<20;cx++) 
  for (dx=0;dx<20;dx++) {
    int w=ax,x=bx,y=cx,z=dx,t;
    if (w>x) {t=w;w=x;x=t;}
    if (w>y) {t=w;w=y;y=t;}
    if (w>z) {t=w;w=z;z=t;}
    if (x>z) {t=x;x=z;z=t;}
    if (x>y) {t=x;x=y;y=t;}
    if (y>z) {t=y;y=z;z=t;}
    if (z>x+y) valid=valid+1;
    if (z>=x+y) valid2=valid2+1;
    if (y>x+z) valid3=valid3+1;
    if (y>=x+z) valid4=valid4+1;
    count=count+1;
    printf("%2d %2d %2d %2d -- %3.0f %3.0f %3.0f %3.0f %3.0f\n",
      w,x,y,z,count,valid,valid2,valid3,valid4);
    if (bx+cx+dx==0) cout 
      << valid/count << " " << valid2/count << " - "
      << valid3/count << " " << valid4/count << "\n";
  }
}