#include <stdio.h>

int main( int argc, char *argv[] )
{
  char line[1024];
  double tt[4];

  fgets( line, 1024, stdin );

  while (fgets( line, 1024, stdin ) != NULL) {
    sscanf( line, " %*d %lf %lf %lf %lf ", &tt[0], &tt[1], &tt[2], &tt[3] );
    printf( "  { { %14.11f, %14.11f, %14.11f, %14.11f } },\n", tt[0], tt[1], tt[2], tt[3] );
  }
}