/*
* Copyright (c) 2009 Nokia Corporation and/or its subsidiary(-ies).
* All rights reserved.
* This component and the accompanying materials are made available
* under the terms of the License "Eclipse Public License v1.0"
* which accompanies this distribution, and is available
* at the URL "http://www.eclipse.org/legal/epl-v10.html".
*
* Initial Contributors:
* Nokia Corporation - initial contribution.
*
* Contributors:
*
* Description: 
*
*/

#include <stdlib.h>
#include <stdio.h>
#include <memory.h>

void
emitRange (long value,
           long& start,
           long& previous,
           long& increment)
{
  if (value != previous + increment) {
    if (previous == start + increment) {
      if (start != ~0) {
	printf ("  { 0x%08x, 0x%08x, 0x00 },\n", start, start);
        start = previous;
      } else {
        start = value;
      }
      increment = value - start;
    } else {
      printf ("  { 0x%08x, 0x%08x, 0x%02x },\n", start, previous, increment);
      start = value;
      increment = 0;
    }
  }
  previous = value;
}

int
main (int argc,
      char* argv[])
{
  long start = ~0;
  long previous = ~0;
  long increment = 0;

  while (!feof (stdin)) {
    char buffer[80];
    long value;
    char* endptr;

    (void) memset (buffer, 0, sizeof buffer);
    fgets (buffer, 80, stdin);
    value = strtol (buffer, &endptr, 16);
    if (endptr == buffer) {
      break;
    }

    if (increment == 0 && start != ~0) {
      increment = value - start;
    }

    emitRange (value, start, previous, increment);
  }

  do {
    emitRange (~0, start, previous, increment);
  } while (start != ~0);

  return EXIT_SUCCESS;
}