[llvm-commits] [test-suite] r46446 - in /test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc: ./ Makefile crc32.c headers.h packet.c packet.h packet_lengths.h
Chris Lattner
sabre at nondot.org
Sun Jan 27 23:21:49 PST 2008
Author: lattner
Date: Mon Jan 28 01:21:49 2008
New Revision: 46446
URL: http://llvm.org/viewvc/llvm-project?rev=46446&view=rev
Log:
new benchmark
Added:
test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/
test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/Makefile
test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/crc32.c
test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/headers.h
test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet.c
test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet.h
test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet_lengths.h
Added: test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/Makefile
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/Makefile?rev=46446&view=auto
==============================================================================
--- test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/Makefile (added)
+++ test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/Makefile Mon Jan 28 01:21:49 2008
@@ -0,0 +1,14 @@
+LEVEL = ../../../..
+
+PROG = netbench-crc
+ifdef LARGE_PROBLEM_SIZE
+RUN_OPTIONS = 40000
+else
+ifdef SMALL_PROBLEM_SIZE
+RUN_OPTIONS = 1000
+else
+RUN_OPTIONS = 12000
+endif
+endif
+include $(LEVEL)/MultiSource/Makefile.multisrc
+
Added: test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/crc32.c
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/crc32.c?rev=46446&view=auto
==============================================================================
--- test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/crc32.c (added)
+++ test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/crc32.c Mon Jan 28 01:21:49 2008
@@ -0,0 +1,147 @@
+/*
+ * crc32.c - Routines for crc calculation
+ *
+ * This file is a part of the NetBench suite
+ *
+ * This source file is distributed "as is" in the hope that it will be
+ * useful. The suite comes with no warranty, and no author or
+ * distributor accepts any responsibility for the consequences of its
+ * use.
+ *
+ * Everyone is granted permission to copy, modify and redistribute
+ * this tool set under the following conditions:
+ *
+ * Permission is granted to anyone to make or distribute copies
+ * of this source code, either as received or modified, in any
+ * medium, provided that all copyright notices, permission and
+ * nonwarranty notices are preserved, and that the distributor
+ * grants the recipient permission for further redistribution as
+ * permitted by this document.
+ *
+ * Permission is granted to distribute this file in compiled
+ * or executable form under the same conditions that apply for
+ * source code, provied that either:
+ *
+ * A. it is accompanied by the corresponding machine-readable
+ * source code,
+ * B. it is accompanied by a written offer, with no time limit,
+ * to give anyone a machine-readable copy of the corresponding
+ * source code in return for reimbursement of the cost of
+ * distribution. This written offer must permit verbatim
+ * duplication by anyone, or
+ * C. it is distributed by someone who received only the
+ * executable form, and is accompanied by a copy of the
+ * written offer of source code that they received concurrently.
+ *
+ * In other words, you are welcome to use and share this source file.
+ * You are forbidden to forbid anyone else to use, share and improve
+ * what you give them.
+ *
+ */
+
+/* crc32.c -- package to compute 32-bit CRC one byte at a time */
+/* */
+/* Synopsis: */
+/* gen_crc_table() -- generates a 256-word table containing all CRC */
+/* remainders for every possible 8-bit byte. It */
+/* must be executed (once) before any CRC updates. */
+/* */
+/* unsigned update_crc(crc_accum, data_blk_ptr, data_blk_size) */
+/* unsigned crc_accum; char *data_blk_ptr; int data_blk_size; */
+/* Returns the updated value of the CRC accumulator after */
+/* processing each byte in the addressed block of data. */
+/* */
+/* It is assumed that an unsigned long is at least 32 bits wide and */
+/* that the predefined type char occupies one 8-bit byte of storage. */
+/* */
+/* The generator polynomial used for this version of the package is */
+/* x^32+x^26+x^23+x^22+x^16+x^12+x^11+x^10+x^8+x^7+x^5+x^4+x^2+x^1+x^0 */
+/* as specified in the Autodin/Ethernet/ADCCP protocol standards. */
+/* Other degree 32 polynomials may be substituted by re-defining the */
+/* symbol POLYNOMIAL below. Lower degree polynomials must first be */
+/* multiplied by an appropriate power of x. The representation used */
+/* is that the coefficient of x^0 is stored in the LSB of the 32-bit */
+/* word and the coefficient of x^31 is stored in the most significant */
+/* bit. The CRC is to be appended to the data most significant byte */
+/* first. For those protocols in which bytes are transmitted MSB */
+/* first and in the same order as they are encountered in the block */
+/* this convention results in the CRC remainder being transmitted with */
+/* the coefficient of x^31 first and with that of x^0 last (just as */
+/* would be done by a hardware shift register mechanization). */
+/* */
+/* The table lookup technique was adapted from the algorithm described */
+/* by Avram Perez, Byte-wise CRC Calculations, IEEE Micro 3, 40 (1983).*/
+/* */
+
+#include <stdlib.h>
+#include <stdio.h>
+#include "packet.h"
+
+#define POLYNOMIAL 0x04c11db7L
+
+static unsigned long crc_table[256];
+
+/* generate the table of CRC remainders for all possible bytes */
+void
+gen_crc_table()
+{
+ register int i, j;
+ register unsigned long crc_accum;
+
+ for (i = 0; i < 256; i++)
+ {
+ crc_accum = ((unsigned long) i << 24);
+ for (j = 0; j < 8; j++)
+ {
+ if (crc_accum & 0x80000000L)
+ crc_accum = (crc_accum << 1) ^ POLYNOMIAL;
+ else
+ crc_accum = (crc_accum << 1);
+ }
+ crc_table[i] = crc_accum;
+ }
+ return;
+}
+
+/* update the CRC on the data block one byte at a time */
+unsigned long
+update_crc(unsigned long crc_accum,
+ char *data_blk_ptr,
+ int data_blk_size)
+{
+ register int i, j;
+ for (j = 0; j < data_blk_size; j++)
+ {
+ i = ((int)(crc_accum >> 24) ^ *data_blk_ptr++) & 0xff;
+ crc_accum = (crc_accum << 8) ^ crc_table[i];
+ }
+ return crc_accum;
+}
+
+int main (int argc, char **argv)
+{
+ unsigned long crc_accum;
+ int i = 0, numpackets;
+ char *packet;
+
+ if (argc != 2)
+ {
+ fprintf (stderr, "Usage: crc #numpackets");
+ exit (0);
+ }
+ else
+ numpackets = atoi (argv[1]);
+
+ gen_crc_table();
+
+ while (i < numpackets)
+ {
+ packet = get_next_packet(i);
+ crc_accum = update_crc (0, packet, packet_size(i));
+ i++;
+ }
+
+ fprintf (stdout, "CRC completed for %d packets \n", numpackets);
+
+ return crc_accum;
+}
Added: test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/headers.h
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/headers.h?rev=46446&view=auto
==============================================================================
--- test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/headers.h (added)
+++ test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/headers.h Mon Jan 28 01:21:49 2008
@@ -0,0 +1,102 @@
+unsigned char headers[100][36] = {
+{69, 0, 0, 60, 237, 188, 64, 0, 125, 6, 95, 223, 0, 1, 0, 1, 0, 2, 0, 1, 26, 32, 5, 119, 2, 141, 165, 39, 0, 0, 222, 220, 80, 24, 33, 209},
+{0, 114, 6, 43, 148, 0, 3, 0, 1, 0, 4, 0, 1, 11, 117, 24, 202, 0, 113, 219, 105, 32, 225, 253, 125, 80, 24, 31, 39, 58, 164, 222, 138, 1, 0, 162},
+{5, 0, 1, 18, 29, 26, 43, 14, 223, 211, 56, 0, 0, 228, 228, 80, 24, 254, 254, 58, 164, 222, 138, 1, 0, 164, 173, 69, 0, 0, 77, 18, 227, 64, 0, 123},
+{113, 220, 37, 80, 24, 63, 8, 58, 164, 222, 138, 2, 0, 166, 50, 69, 0, 0, 52, 156, 53, 64, 0, 122, 6, 12, 247, 0, 6, 0, 1, 0, 1, 0, 3, 5},
+{222, 138, 1, 0, 168, 49, 69, 0, 0, 74, 18, 228, 64, 0, 123, 6, 106, 136, 0, 4, 0, 1, 0, 7, 0, 1, 4, 139, 24, 202, 103, 113, 237, 12, 65, 209},
+{0, 5, 220, 142, 37, 64, 0, 124, 6, 117, 154, 0, 8, 0, 1, 0, 9, 0, 1, 26, 32, 13, 30, 132, 240, 181, 176, 41, 224, 24, 115, 128, 24, 68, 32, 58},
+{17, 6, 104, 0, 10, 0, 1, 0, 1, 0, 4, 105, 135, 105, 125, 0, 65, 19, 197, 58, 164, 222, 138, 2, 0, 173, 39, 58, 164, 222, 138, 1, 0, 174, 116, 69},
+{1, 0, 1, 0, 2, 0, 1, 26, 32, 5, 119, 2, 141, 165, 59, 0, 0, 222, 220, 80, 16, 33, 209, 58, 164, 222, 138, 1, 0, 174, 206, 69, 0, 5, 220, 142},
+{0, 1, 26, 32, 13, 30, 132, 240, 187, 88, 41, 224, 24, 115, 128, 16, 68, 32, 58, 164, 222, 138, 1, 0, 175, 149, 69, 0, 5, 220, 35, 112, 64, 0, 124, 6},
+{152, 99, 253, 0, 10, 2, 208, 80, 24, 33, 224, 58, 164, 222, 138, 1, 0, 176, 35, 69, 0, 2, 116, 239, 188, 64, 0, 125, 6, 91, 167, 0, 1, 0, 1, 0},
+{209, 58, 164, 222, 138, 2, 0, 176, 211, 69, 0, 0, 44, 89, 100, 64, 0, 121, 6, 170, 184, 0, 11, 0, 1, 0, 8, 0, 2, 0, 80, 5, 233, 133, 234, 167},
+{123, 6, 200, 231, 0, 8, 0, 2, 0, 11, 0, 1, 5, 233, 0, 80, 114, 12, 101, 163, 133, 234, 167, 179, 80, 16, 68, 112, 58, 164, 222, 138, 2, 0, 183, 194},
+{4, 0, 2, 26, 43, 193, 37, 1, 33, 115, 32, 26, 142, 226, 221, 80, 16, 254, 177, 58, 164, 222, 138, 1, 0, 184, 183, 69, 0, 5, 220, 98, 25, 64, 0, 124},
+{4, 198, 11, 125, 80, 16, 68, 112, 58, 164, 222, 138, 2, 0, 185, 228, 69, 0, 5, 220, 158, 203, 64, 0, 120, 6, 11, 223, 0, 12, 0, 1, 0, 4, 0, 2},
+{64, 0, 124, 6, 10, 243, 0, 1, 0, 5, 0, 13, 0, 1, 39, 14, 5, 254, 31, 143, 191, 155, 4, 198, 11, 125, 80, 24, 68, 112, 58, 164, 222, 138, 2, 0},
+{0, 2, 26, 43, 193, 37, 1, 33, 126, 136, 26, 142, 226, 221, 80, 24, 254, 177, 58, 164, 222, 138, 1, 0, 188, 136, 69, 0, 1, 98, 57, 58, 64, 0, 123, 6},
+{68, 112, 58, 164, 222, 138, 2, 0, 189, 229, 69, 16, 0, 120, 176, 81, 64, 0, 119, 6, 1, 133, 0, 14, 0, 1, 0, 8, 0, 3, 9, 196, 0, 25, 0, 159},
+{0, 192, 67, 69, 0, 0, 40, 17, 198, 64, 0, 122, 6, 19, 112, 0, 15, 0, 1, 0, 1, 0, 6, 4, 123, 18, 116, 1, 247, 207, 93, 231, 52, 1, 202, 80},
+{27, 64, 0, 124, 6, 8, 186, 0, 1, 0, 5, 0, 13, 0, 1, 39, 14, 5, 254, 31, 143, 195, 23, 4, 198, 11, 125, 80, 16, 68, 112, 58, 164, 222, 138, 1},
+{100, 1, 25, 65, 154, 24, 163, 112, 193, 80, 16, 34, 56, 58, 164, 222, 138, 1, 0, 204, 92, 69, 0, 5, 220, 188, 11, 64, 0, 125, 6, 96, 118, 0, 1, 0},
+{202, 1, 247, 207, 93, 80, 16, 68, 112, 58, 164, 222, 138, 1, 0, 205, 79, 69, 0, 5, 140, 187, 144, 64, 0, 125, 6, 24, 189, 0, 1, 0, 9, 0, 18, 0},
+{58, 164, 222, 138, 1, 0, 207, 51, 69, 0, 3, 164, 188, 12, 64, 0, 125, 6, 98, 173, 0, 1, 0, 6, 0, 15, 0, 1, 18, 116, 4, 123, 231, 52, 7, 126},
+{69, 0, 0, 40, 79, 64, 64, 0, 249, 6, 224, 29, 0, 4, 0, 2, 0, 12, 0, 1, 193, 37, 26, 43, 26, 142, 226, 221, 1, 33, 126, 136, 80, 16, 128, 0},
+{155, 0, 1, 0, 8, 0, 17, 0, 1, 4, 100, 26, 43, 24, 163, 118, 117, 1, 25, 65, 154, 80, 24, 254, 254, 58, 164, 222, 138, 1, 0, 213, 55, 69, 0, 5},
+{26, 43, 24, 163, 124, 41, 1, 25, 65, 154, 80, 24, 254, 254, 58, 164, 222, 138, 1, 0, 218, 4, 69, 0, 5, 220, 216, 118, 64, 0, 125, 6, 214, 155, 0, 1},
+{154, 80, 16, 254, 254, 58, 164, 222, 138, 1, 0, 226, 23, 69, 0, 0, 40, 104, 223, 64, 0, 56, 6, 142, 34, 0, 19, 0, 1, 0, 20, 0, 1, 97, 4, 238},
+{171, 64, 0, 118, 6, 60, 191, 0, 21, 0, 1, 0, 1, 0, 10, 241, 12, 206, 190, 129, 60, 126, 158, 251, 108, 252, 146, 128, 16, 68, 112, 58, 164, 222, 138, 2},
+{43, 193, 38, 1, 17, 190, 172, 26, 213, 223, 111, 80, 16, 254, 164, 58, 164, 222, 138, 2, 0, 244, 249, 69, 0, 0, 40, 116, 185, 64, 0, 117, 6, 235, 32, 0},
+{29, 160, 58, 164, 222, 138, 1, 0, 245, 184, 69, 0, 0, 40, 79, 65, 64, 0, 249, 6, 224, 28, 0, 4, 0, 2, 0, 12, 0, 1, 193, 36, 26, 43, 26, 104},
+{0, 5, 220, 161, 203, 64, 0, 120, 6, 8, 223, 0, 12, 0, 1, 0, 4, 0, 2, 26, 43, 193, 38, 1, 17, 196, 96, 26, 213, 223, 111, 80, 16, 254, 164, 58},
+{20, 26, 213, 223, 111, 80, 24, 254, 164, 58, 164, 222, 138, 2, 0, 250, 219, 69, 0, 0, 40, 18, 198, 64, 0, 122, 6, 18, 112, 0, 15, 0, 1, 0, 1, 0},
+{33, 64, 0, 61, 6, 109, 215, 0, 8, 0, 3, 0, 14, 0, 1, 0, 25, 9, 196, 30, 152, 194, 61, 0, 159, 146, 4, 80, 24, 96, 244, 58, 164, 222, 138, 2},
+{169, 0, 23, 0, 1, 0, 1, 0, 11, 0, 20, 7, 47, 9, 177, 105, 101, 2, 25, 246, 43, 128, 16, 68, 112, 58, 164, 222, 138, 1, 1, 6, 238, 69, 0, 5},
+{1, 18, 116, 4, 123, 231, 52, 10, 250, 1, 247, 207, 93, 80, 16, 68, 112, 58, 164, 222, 138, 1, 1, 8, 80, 69, 0, 0, 40, 79, 66, 64, 0, 249, 6, 224},
+{20, 80, 16, 128, 0, 58, 164, 222, 138, 2, 1, 9, 40, 69, 0, 0, 40, 27, 226, 64, 0, 120, 6, 163, 224, 0, 24, 0, 1, 0, 4, 0, 3, 8, 154, 0},
+{138, 2, 1, 11, 15, 69, 0, 0, 52, 121, 162, 64, 0, 120, 6, 217, 168, 0, 23, 0, 1, 0, 1, 0, 11, 0, 20, 7, 47, 9, 177, 105, 101, 2, 25, 246},
+{69, 0, 0, 52, 84, 91, 64, 0, 120, 6, 127, 8, 0, 25, 0, 1, 0, 1, 0, 11, 0, 20, 7, 44, 109, 47, 0, 51, 2, 142, 167, 191, 128, 16, 68, 112},
+{0, 0, 143, 91, 251, 64, 0, 123, 6, 33, 44, 0, 7, 0, 1, 0, 4, 0, 1, 24, 202, 4, 139, 65, 209, 165, 21, 103, 113, 237, 46, 80, 24, 199, 50, 58},
+{1, 0, 6, 0, 15, 0, 1, 18, 116, 4, 123, 231, 52, 16, 174, 1, 247, 207, 93, 80, 16, 68, 112, 58, 164, 222, 138, 1, 1, 17, 216, 69, 0, 5, 220, 68},
+{47, 0, 20, 2, 25, 246, 43, 9, 177, 105, 101, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 17, 254, 69, 0, 0, 40, 84, 92, 64, 0, 120, 6, 127, 19, 0},
+{219, 80, 16, 68, 112, 58, 164, 222, 138, 1, 1, 20, 9, 69, 0, 0, 77, 18, 229, 64, 0, 123, 6, 106, 132, 0, 4, 0, 1, 0, 7, 0, 1, 4, 139, 24},
+{138, 2, 1, 20, 32, 69, 0, 0, 40, 195, 62, 64, 0, 117, 6, 196, 230, 0, 26, 0, 1, 0, 19, 0, 2, 7, 172, 0, 80, 17, 201, 176, 102, 125, 36, 102},
+{0, 1, 7, 47, 0, 20, 2, 26, 7, 71, 9, 177, 105, 101, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 24, 223, 69, 0, 0, 40, 229, 133, 64, 0, 116, 6},
+{32, 164, 222, 185, 140, 4, 58, 123, 13, 80, 16, 68, 112, 58, 164, 222, 138, 1, 1, 29, 7, 69, 0, 5, 220, 70, 35, 64, 0, 125, 6, 130, 152, 0, 1, 0},
+{184, 219, 109, 47, 0, 51, 80, 24, 34, 56, 58, 164, 222, 138, 1, 1, 33, 141, 69, 0, 5, 220, 151, 94, 64, 0, 124, 6, 29, 148, 0, 1, 0, 13, 0, 28},
+{222, 185, 140, 80, 24, 33, 244, 58, 164, 222, 138, 1, 1, 33, 248, 69, 0, 5, 220, 71, 35, 64, 0, 125, 6, 129, 152, 0, 1, 0, 11, 0, 25, 0, 1, 7},
+{164, 222, 138, 2, 1, 35, 49, 69, 0, 0, 52, 61, 212, 64, 0, 116, 6, 159, 215, 0, 29, 0, 1, 0, 1, 0, 14, 26, 43, 15, 153, 212, 127, 67, 47, 61},
+{38, 69, 69, 0, 5, 220, 152, 94, 64, 0, 124, 6, 28, 148, 0, 1, 0, 13, 0, 28, 0, 1, 26, 32, 7, 119, 4, 58, 128, 193, 164, 222, 185, 140, 80, 16},
+{33, 64, 0, 124, 6, 20, 226, 0, 1, 0, 14, 0, 29, 0, 1, 15, 153, 26, 43, 61, 68, 188, 54, 212, 127, 67, 47, 80, 24, 34, 54, 58, 164, 222, 138, 1},
+{1, 0, 8, 0, 4, 15, 139, 26, 32, 0, 149, 18, 41, 4, 66, 205, 224, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 55, 121, 69, 0, 5, 220, 11, 70, 64},
+{97, 4, 75, 182, 240, 255, 39, 105, 222, 147, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 56, 21, 69, 0, 5, 220, 11, 71, 64, 0, 249, 6, 37, 6, 0, 20},
+{2, 1, 56, 252, 69, 0, 5, 220, 11, 72, 64, 0, 249, 6, 37, 5, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 182, 252, 103, 39, 105, 222, 147},
+{4, 0, 31, 0, 1, 26, 32, 15, 139, 4, 66, 205, 224, 0, 149, 18, 41, 80, 24, 33, 234, 58, 164, 222, 138, 2, 1, 57, 181, 69, 0, 5, 220, 11, 73, 64},
+{75, 183, 2, 27, 39, 105, 222, 147, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 58, 106, 69, 0, 5, 220, 11, 74, 64, 0, 249, 6, 37, 3, 0, 20, 0, 1},
+{56, 58, 164, 222, 138, 2, 1, 58, 242, 69, 0, 5, 220, 11, 75, 64, 0, 249, 6, 37, 2, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 183, 13},
+{64, 0, 249, 6, 37, 1, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 183, 19, 55, 39, 105, 222, 147, 80, 24, 34, 56, 58, 164, 222, 138, 2, 1},
+{24, 34, 56, 58, 164, 222, 138, 2, 1, 60, 217, 69, 0, 5, 220, 11, 79, 64, 0, 249, 6, 36, 254, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75},
+{69, 0, 5, 220, 11, 80, 64, 0, 249, 6, 36, 253, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 183, 42, 7, 39, 105, 222, 147, 80, 24, 34, 56},
+{1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 183, 47, 187, 39, 105, 222, 147, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 62, 138, 69, 0, 0, 52, 19, 198, 64},
+{1, 247, 207, 93, 231, 52, 10, 250, 128, 16, 34, 56, 58, 164, 222, 138, 1, 1, 62, 191, 69, 0, 5, 220, 220, 107, 64, 0, 124, 6, 74, 24, 0, 8, 0, 4},
+{16, 33, 234, 58, 164, 222, 138, 2, 1, 63, 52, 69, 0, 5, 220, 11, 82, 64, 0, 249, 6, 36, 251, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75},
+{0, 5, 220, 142, 200, 64, 0, 252, 6, 177, 36, 0, 8, 0, 5, 0, 32, 0, 1, 201, 148, 0, 119, 225, 31, 71, 114, 81, 1, 252, 37, 80, 16, 34, 56, 58},
+{31, 77, 38, 81, 1, 252, 37, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 65, 4, 69, 0, 0, 52, 86, 7, 64, 0, 53, 6, 182, 104, 0, 33, 0, 1, 0},
+{112, 58, 164, 222, 138, 2, 1, 67, 146, 69, 0, 0, 40, 211, 16, 64, 0, 120, 6, 144, 214, 0, 34, 0, 1, 0, 1, 0, 16, 8, 110, 160, 230, 0, 93, 217},
+{104, 228, 64, 0, 56, 6, 142, 29, 0, 19, 0, 1, 0, 20, 0, 1, 97, 4, 238, 247, 39, 105, 222, 147, 75, 182, 252, 103, 80, 16, 192, 0, 58, 164, 222, 138},
+{22, 0, 2, 39, 14, 4, 141, 157, 116, 105, 70, 1, 152, 6, 61, 80, 24, 68, 112, 58, 164, 222, 138, 2, 1, 72, 231, 69, 0, 0, 40, 228, 156, 64, 0, 253},
+{94, 66, 80, 16, 68, 112, 58, 164, 222, 138, 1, 1, 73, 45, 69, 0, 0, 40, 104, 230, 64, 0, 56, 6, 142, 27, 0, 19, 0, 1, 0, 20, 0, 1, 97, 4},
+{69, 0, 0, 40, 117, 185, 64, 0, 117, 6, 234, 32, 0, 22, 0, 1, 0, 1, 0, 5, 7, 172, 39, 14, 0, 97, 50, 3, 57, 236, 31, 43, 80, 16, 34, 56},
+{64, 0, 56, 6, 142, 26, 0, 19, 0, 1, 0, 20, 0, 1, 97, 4, 238, 247, 39, 105, 222, 147, 75, 183, 19, 55, 80, 16, 192, 0, 58, 164, 222, 138, 2, 1},
+{179, 114, 12, 102, 221, 80, 24, 32, 254, 58, 164, 222, 138, 2, 1, 74, 8, 69, 0, 0, 40, 228, 157, 64, 0, 253, 6, 96, 3, 0, 32, 0, 1, 0, 8, 0},
+{64, 0, 125, 6, 96, 114, 0, 1, 0, 6, 0, 15, 0, 1, 18, 116, 4, 123, 231, 52, 22, 98, 1, 247, 207, 93, 80, 24, 68, 112, 58, 164, 222, 138, 1, 1},
+{19, 0, 1, 0, 20, 0, 1, 97, 4, 238, 247, 39, 105, 222, 147, 75, 183, 24, 235, 80, 16, 192, 0, 58, 164, 222, 138, 2, 1, 75, 91, 69, 0, 5, 220, 11},
+{35, 39, 105, 222, 147, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 75, 188, 69, 0, 5, 220, 11, 84, 64, 0, 249, 6, 36, 249, 0, 20, 0, 1, 0, 19, 0},
+{1, 1, 76, 81, 69, 0, 5, 220, 142, 202, 64, 0, 252, 6, 177, 34, 0, 8, 0, 5, 0, 32, 0, 1, 201, 148, 0, 119, 225, 31, 94, 66, 81, 1, 252, 37},
+{110, 152, 238, 126, 216, 0, 93, 217, 25, 80, 16, 127, 218, 58, 164, 222, 138, 1, 1, 76, 211, 69, 0, 5, 220, 142, 203, 64, 0, 252, 6, 177, 33, 0, 8, 0},
+{69, 0, 5, 220, 11, 86, 64, 0, 249, 6, 36, 247, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 183, 76, 63, 39, 105, 222, 147, 80, 24, 34, 56},
+{75, 183, 36, 83, 80, 16, 192, 0, 58, 164, 222, 138, 2, 1, 77, 171, 69, 0, 5, 220, 11, 87, 64, 0, 249, 6, 36, 246, 0, 20, 0, 1, 0, 19, 0, 1},
+{6, 36, 244, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 183, 93, 91, 39, 105, 222, 147, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 79, 84, 69},
+{4, 75, 183, 99, 15, 39, 105, 222, 147, 80, 24, 34, 56, 58, 164, 222, 138, 2, 1, 80, 23, 69, 0, 5, 220, 11, 91, 64, 0, 249, 6, 36, 242, 0, 20, 0},
+{34, 56, 58, 164, 222, 138, 1, 1, 80, 37, 69, 0, 0, 40, 104, 234, 64, 0, 56, 6, 142, 23, 0, 19, 0, 1, 0, 20, 0, 1, 97, 4, 238, 247, 39, 105},
+{80, 207, 69, 0, 5, 220, 11, 92, 64, 0, 249, 6, 36, 241, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 183, 110, 119, 39, 105, 222, 147, 80, 24},
+{6, 200, 60, 0, 35, 0, 1, 0, 4, 0, 4, 7, 110, 17, 80, 0, 238, 77, 101, 4, 141, 76, 110, 128, 16, 250, 0, 58, 164, 222, 138, 2, 1, 81, 107, 69},
+{247, 97, 4, 75, 183, 116, 43, 39, 105, 222, 147, 80, 16, 34, 56, 58, 164, 222, 138, 1, 1, 81, 112, 69, 0, 5, 220, 13, 37, 64, 0, 124, 6, 77, 14, 0},
+{132, 140, 0, 93, 217, 25, 80, 16, 127, 218, 58, 164, 222, 138, 2, 1, 81, 248, 69, 0, 5, 220, 11, 94, 64, 0, 249, 6, 36, 239, 0, 20, 0, 1, 0, 19},
+{0, 5, 220, 98, 33, 64, 0, 124, 6, 241, 4, 0, 1, 0, 5, 0, 22, 0, 1, 39, 14, 7, 172, 57, 236, 35, 195, 0, 97, 50, 3, 80, 16, 68, 112, 58},
+{97, 4, 75, 183, 127, 147, 39, 105, 222, 147, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 83, 56, 69, 0, 4, 182, 91, 100, 64, 0, 121, 6, 164, 46, 0, 11},
+{168, 4, 114, 12, 102, 221, 80, 25, 32, 254, 58, 164, 222, 138, 2, 1, 83, 150, 69, 0, 5, 220, 11, 96, 64, 0, 249, 6, 36, 237, 0, 20, 0, 1, 0, 19},
+{20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 183, 144, 175, 39, 105, 222, 147, 80, 24, 34, 56, 58, 164, 222, 138, 2, 1, 85, 85, 69, 0, 5, 220, 11},
+{150, 99, 39, 105, 222, 147, 80, 16, 34, 56, 58, 164, 222, 138, 2, 1, 85, 119, 69, 0, 0, 40, 228, 158, 64, 0, 253, 6, 96, 2, 0, 32, 0, 1, 0, 8},
+{6, 96, 1, 0, 32, 0, 1, 0, 8, 0, 5, 0, 119, 201, 148, 81, 1, 252, 37, 225, 31, 111, 94, 80, 16, 68, 112, 58, 164, 222, 138, 1, 1, 87, 25, 69},
+{119, 0, 97, 50, 3, 80, 16, 68, 112, 58, 164, 222, 138, 2, 1, 87, 40, 69, 0, 5, 220, 11, 101, 64, 0, 249, 6, 36, 232, 0, 20, 0, 1, 0, 19, 0},
+{222, 138, 2, 1, 87, 148, 69, 0, 5, 220, 11, 102, 64, 0, 249, 6, 36, 231, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 183, 167, 127, 39, 105},
+{103, 64, 0, 249, 6, 38, 206, 0, 20, 0, 1, 0, 19, 0, 1, 238, 247, 97, 4, 75, 183, 173, 51, 39, 105, 222, 147, 80, 24, 34, 56, 58, 164, 222, 138, 1},
+{31, 111, 94, 81, 1, 252, 37, 80, 24, 34, 56, 58, 164, 222, 138, 1, 1, 88, 245, 69, 0, 0, 40, 104, 236, 64, 0, 56, 6, 142, 21, 0, 19, 0, 1, 0},
+{89, 154, 69, 0, 0, 48, 44, 68, 64, 0, 119, 6, 194, 118, 0, 36, 0, 1, 0, 4, 0, 1, 6, 188, 24, 202, 3, 34, 61, 114, 0, 0, 0, 0, 112, 2},
+{0, 5, 220, 142, 206, 64, 0, 252, 6, 177, 30, 0, 8, 0, 5, 0, 32, 0, 1, 201, 148, 0, 119, 225, 31, 117, 18, 81, 1, 252, 37, 80, 16, 34, 56, 58},
+{37, 80, 24, 34, 56, 58, 164, 222, 138, 1, 1, 91, 66, 69, 0, 0, 40, 104, 237, 64, 0, 56, 6, 142, 20, 0, 19, 0, 1, 0, 20, 0, 1, 97, 4, 238},
+{238, 64, 0, 56, 6, 142, 19, 0, 19, 0, 1, 0, 20, 0, 1, 97, 4, 238, 247, 39, 105, 222, 147, 75, 183, 93, 91, 80, 16, 136, 224, 58, 164, 222, 138, 2},
+{35, 0, 1, 0, 4, 0, 4, 7, 110, 17, 80, 0, 238, 77, 101, 4, 141, 76, 110, 128, 16, 250, 0, 58, 164, 222, 138, 1, 1, 96, 85, 69, 0, 5, 220, 78},
+{110, 4, 141, 93, 138, 0, 238, 77, 101, 80, 16, 28, 167, 58, 164, 222, 138, 1, 1, 96, 176, 69, 0, 0, 40, 57, 60, 64, 0, 123, 6, 200, 228, 0, 8, 0}
+};
Added: test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet.c
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet.c?rev=46446&view=auto
==============================================================================
--- test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet.c (added)
+++ test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet.c Mon Jan 28 01:21:49 2008
@@ -0,0 +1,71 @@
+/*
+ * packet.c - Implementation of the packet interface
+ *
+ * This file is a part of the NetBench suite by Gokhan Memik
+ *
+ * This source file is distributed "as is" in the hope that it will be
+ * useful. The suite comes with no warranty, and no author or
+ * distributor accepts any responsibility for the consequences of its
+ * use.
+ *
+ * You are welcome to use, share and improve this
+ * source file. You are forbidden to forbid anyone else to use, share
+ * and improve what you give them.
+ *
+ */
+
+#include <stdlib.h>
+#include <stdio.h>
+#include "packet_lengths.h"
+#include "headers.h"
+#include "packet.h"
+
+/* Traces automatically drop the TCP checksum and urgent pointer, so header is 36 bytes */
+#define HEADER_SIZE 36
+
+#ifdef CONSTANT_PACKET
+unsigned int packet_index = 0;
+#endif
+
+char *
+get_next_packet (int packet_number)
+{
+ char *packet;
+ unsigned int packet_length;
+
+ packet_number = packet_number % MAX_PACKETS;
+
+ packet_length = (packet_lengths[packet_number]);
+ if (packet_length < 40)
+ {
+ /* Should never happen */
+ fprintf (stderr, "Packet not large enough, increasing the size\n");
+ packet_length = 40;
+ }
+
+#ifdef CONSTANT_PACKET
+ /* Packets are stored in a continuous chunk in the memory, just change the index... */
+ packet = &packets[packet_index];
+ packet_index += packet_length;
+#else
+ /* Have to call malloc to create packet memory */
+ if ((packet = (char *) malloc (packet_length)) == NULL)
+ {
+ fprintf (stderr, "Not enough space to create packet data \n");
+ exit (1);
+ }
+
+ /* Copy the header information */
+ memcpy ((void *)packet, (void *)headers[packet_number], HEADER_SIZE);
+#endif
+
+ return packet;
+}
+
+/* For debugging purposes, to get the size of the packet_numberth packet */
+unsigned int
+packet_size (unsigned int packet_number)
+{
+ packet_number = packet_number % MAX_PACKETS;
+ return (packet_lengths[packet_number]);
+}
Added: test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet.h
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet.h?rev=46446&view=auto
==============================================================================
--- test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet.h (added)
+++ test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet.h Mon Jan 28 01:21:49 2008
@@ -0,0 +1,22 @@
+/*
+ * packet.h - Interface for reading packet information
+ *
+ * This file is a part of the NetBench suite by Gokhan Memik
+ *
+ * This source file is distributed "as is" in the hope that it will be
+ * useful. The suite comes with no warranty, and no author or
+ * distributor accepts any responsibility for the consequences of its
+ * use.
+ *
+ * You are welcome to use, share and improve this
+ * source file. You are forbidden to forbid anyone else to use, share
+ * and improve what you give them.
+ *
+ */
+#define MAX_PACKETS 100
+
+char *get_next_packet ();
+
+/* For testing...*/
+unsigned int packet_size (unsigned int);
+
Added: test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet_lengths.h
URL: http://llvm.org/viewvc/llvm-project/test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet_lengths.h?rev=46446&view=auto
==============================================================================
--- test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet_lengths.h (added)
+++ test-suite/trunk/MultiSource/Benchmarks/Trimaran/netbench-crc/packet_lengths.h Mon Jan 28 01:21:49 2008
@@ -0,0 +1,10002 @@
+unsigned int packet_lengths[10000] = {
+60,
+1579,
+274,
+9552,
+256,
+56462,
+26624,
+256,
+6688,
+64768,
+42206,
+51431,
+538,
+2941,
+31750,
+6699,
+15012,
+17221,
+124,
+6465,
+63439,
+56970,
+40,
+256,
+6307,
+4350,
+118,
+9729,
+15012,
+56481,
+54751,
+61,
+5888,
+29700,
+4224,
+267,
+52,
+36699,
+1536,
+5122,
+4164,
+276,
+1839,
+57017,
+27951,
+35920,
+35330,
+17664,
+124,
+2048,
+19382,
+14588,
+7936,
+539,
+42206,
+63750,
+14394,
+1500,
+4864,
+53085,
+59962,
+56462,
+9809,
+42206,
+16384,
+551,
+20496,
+40,
+14342,
+3174,
+32006,
+256,
+27102,
+19537,
+61054,
+1500,
+9299,
+62464,
+46947,
+15012,
+17664,
+15360,
+1099,
+93,
+56418,
+19383,
+29196,
+256,
+10089,
+256,
+24882,
+513,
+249,
+24145,
+17664,
+56462,
+6178,
+56,
+256,
+36189,
+60076,
+35329,
+40,
+63271,
+28730,
+56462,
+1216,
+257,
+46998,
+257,
+10440,
+4864,
+63271,
+40,
+282,
+36563,
+20504,
+16384,
+14394,
+16384,
+256,
+56970,
+8654,
+47104,
+1792,
+10089,
+17664,
+47061,
+15012,
+56331,
+4864,
+20496,
+36119,
+123,
+10089,
+4128,
+14394,
+10344,
+1262,
+21328,
+39115,
+24655,
+56477,
+112,
+10468,
+11013,
+26724,
+58693,
+44933,
+35330,
+1500,
+4576,
+1863,
+42206,
+44608,
+12032,
+4130,
+35329,
+38912,
+44289,
+22096,
+47864,
+47616,
+13294,
+14394,
+56380,
+63103,
+62281,
+42206,
+13441,
+37312,
+19383,
+15012,
+31750,
+29197,
+15012,
+1024,
+261,
+55,
+63766,
+114,
+113,
+34117,
+43742,
+19724,
+6409,
+52708,
+4164,
+35329,
+17664,
+125,
+57375,
+53064,
+24645,
+7351,
+2120,
+953,
+2395,
+53306,
+514,
+61,
+51557,
+222,
+6177,
+124,
+4576,
+45370,
+56656,
+2048,
+60427,
+514,
+35329,
+1024,
+5127,
+39448,
+39276,
+50787,
+260,
+35329,
+19869,
+260,
+16794,
+56321,
+53760,
+14080,
+65055,
+514,
+514,
+17664,
+253,
+1912,
+2481,
+20496,
+1574,
+8630,
+37445,
+30982,
+282,
+39489,
+31515,
+46405,
+64513,
+118,
+256,
+538,
+65204,
+16384,
+12032,
+6176,
+42206,
+1866,
+43264,
+6212,
+304,
+57289,
+4576,
+20521,
+11470,
+2048,
+11834,
+1500,
+74,
+51800,
+23888,
+697,
+16384,
+11264,
+20485,
+4890,
+12422,
+35330,
+54459,
+16384,
+2048,
+263,
+222,
+50512,
+56416,
+5137,
+42206,
+56970,
+56951,
+28741,
+1024,
+651,
+35329,
+5959,
+10576,
+56418,
+2048,
+5632,
+774,
+65297,
+2816,
+1839,
+21140,
+56970,
+42994,
+64133,
+16384,
+2048,
+34560,
+23957,
+56970,
+56370,
+56832,
+6760,
+13518,
+65024,
+515,
+18245,
+53,
+43008,
+11034,
+18702,
+15012,
+14402,
+64197,
+56489,
+50899,
+32006,
+259,
+50899,
+42206,
+14394,
+63750,
+48935,
+56970,
+249,
+1099,
+8760,
+16384,
+1099,
+8760,
+50432,
+47180,
+56970,
+63750,
+4864,
+7493,
+28443,
+18768,
+259,
+32768,
+5120,
+6178,
+40,
+56,
+27816,
+56970,
+16384,
+12141,
+20496,
+40,
+5120,
+27102,
+259,
+16384,
+5120,
+26915,
+35329,
+353,
+27951,
+56970,
+16384,
+10089,
+15012,
+259,
+11050,
+44716,
+4576,
+8760,
+17664,
+5120,
+10089,
+39046,
+56,
+5120,
+6178,
+17664,
+1032,
+528,
+25601,
+15012,
+17664,
+16384,
+27102,
+15012,
+56,
+5632,
+20504,
+30726,
+46848,
+256,
+27102,
+14394,
+259,
+56,
+4608,
+5122,
+56979,
+56970,
+14592,
+5888,
+3000,
+58077,
+52,
+6400,
+56656,
+17664,
+48325,
+64000,
+17218,
+975,
+16384,
+7424,
+6798,
+37461,
+15012,
+61253,
+16384,
+8375,
+28928,
+8665,
+259,
+50699,
+1012,
+256,
+3589,
+20496,
+259,
+39106,
+1287,
+36604,
+31856,
+125,
+1738,
+256,
+36615,
+47917,
+32784,
+1039,
+16468,
+12362,
+8760,
+35329,
+49250,
+9728,
+57004,
+4421,
+31238,
+64000,
+30550,
+6394,
+21061,
+3840,
+51463,
+40381,
+9216,
+16384,
+21313,
+8760,
+15012,
+516,
+59504,
+1759,
+5970,
+15012,
+56199,
+4950,
+15012,
+576,
+31910,
+256,
+6688,
+67,
+15012,
+56970,
+56383,
+57358,
+1836,
+39106,
+38970,
+42206,
+39807,
+24912,
+16384,
+21912,
+256,
+26481,
+20496,
+56970,
+59102,
+17101,
+65194,
+50268,
+16384,
+56161,
+35330,
+35329,
+17664,
+651,
+4157,
+47429,
+18949,
+5221,
+35329,
+119,
+3840,
+18946,
+17520,
+260,
+5632,
+25547,
+1275,
+2048,
+26981,
+29319,
+14394,
+32512,
+2816,
+41897,
+35330,
+4580,
+28218,
+52,
+1615,
+3847,
+651,
+15012,
+517,
+1784,
+263,
+26915,
+42206,
+651,
+24539,
+19258,
+261,
+30214,
+7312,
+19960,
+15012,
+17664,
+37307,
+15012,
+51918,
+250,
+6173,
+30621,
+3847,
+56161,
+6177,
+60,
+31750,
+512,
+26724,
+51301,
+24912,
+35439,
+10330,
+3840,
+2941,
+17664,
+256,
+20504,
+261,
+1778,
+4164,
+15012,
+17664,
+249,
+8708,
+58596,
+27984,
+56970,
+261,
+1550,
+11116,
+3771,
+20504,
+10485,
+2048,
+56970,
+32581,
+31750,
+2048,
+13058,
+2390,
+56970,
+256,
+2390,
+8665,
+17664,
+46001,
+256,
+17622,
+517,
+256,
+7444,
+127,
+38213,
+10407,
+1032,
+36421,
+31238,
+4950,
+21562,
+1572,
+23993,
+47681,
+42206,
+256,
+36949,
+44368,
+518,
+56456,
+31245,
+39248,
+56970,
+34629,
+22518,
+17622,
+14160,
+22737,
+13560,
+50843,
+4130,
+33228,
+1681,
+80,
+29786,
+18402,
+31719,
+1702,
+35788,
+35330,
+1690,
+31750,
+2048,
+51712,
+22077,
+518,
+16384,
+256,
+1360,
+6736,
+8760,
+17664,
+1620,
+263,
+18968,
+13388,
+20496,
+35329,
+1866,
+58077,
+17664,
+8760,
+17664,
+41,
+24025,
+42206,
+17391,
+58,
+1769,
+30214,
+416,
+13340,
+56970,
+118,
+18949,
+23888,
+35329,
+16384,
+3840,
+6760,
+20496,
+519,
+124,
+256,
+56400,
+53562,
+17664,
+124,
+3072,
+5146,
+52,
+1536,
+7424,
+1222,
+263,
+3328,
+46874,
+51,
+27951,
+4130,
+42206,
+519,
+1500,
+21153,
+6178,
+42206,
+119,
+16077,
+58,
+15283,
+6144,
+4164,
+48197,
+1024,
+222,
+22096,
+1951,
+16384,
+26112,
+5200,
+17664,
+53672,
+4171,
+124,
+35608,
+24539,
+4164,
+42206,
+13562,
+1024,
+10496,
+6307,
+17520,
+1500,
+125,
+5632,
+8200,
+46149,
+5632,
+28417,
+56970,
+20496,
+52,
+1679,
+31845,
+65278,
+16384,
+6346,
+39130,
+56970,
+17680,
+119,
+2500,
+300,
+7832,
+4171,
+35329,
+30470,
+3584,
+256,
+43559,
+56523,
+15012,
+22808,
+124,
+282,
+40882,
+2993,
+42810,
+17664,
+4497,
+10496,
+56161,
+51,
+20496,
+15012,
+56645,
+3840,
+6699,
+24912,
+35329,
+124,
+20496,
+17520,
+17664,
+31750,
+282,
+31488,
+53880,
+35329,
+28730,
+25951,
+24912,
+42206,
+30726,
+274,
+520,
+10496,
+65024,
+35329,
+8760,
+10324,
+266,
+655,
+27951,
+13136,
+7814,
+59311,
+256,
+9084,
+20496,
+56970,
+17664,
+30470,
+2560,
+56970,
+41,
+256,
+49664,
+4130,
+521,
+256,
+10089,
+521,
+31750,
+2048,
+7426,
+2395,
+2384,
+14829,
+64256,
+5381,
+47334,
+521,
+1775,
+8760,
+1572,
+8197,
+8760,
+39168,
+47386,
+15012,
+62396,
+1572,
+14394,
+56331,
+5120,
+27102,
+36755,
+3007,
+256,
+8760,
+4864,
+28607,
+56970,
+14342,
+5120,
+12032,
+1500,
+5120,
+20970,
+15012,
+62475,
+54,
+10089,
+47420,
+56970,
+26927,
+7680,
+2388,
+56979,
+13136,
+50490,
+36303,
+256,
+60696,
+56970,
+17664,
+47616,
+38827,
+17664,
+263,
+45639,
+47828,
+256,
+4130,
+4107,
+5120,
+49878,
+63750,
+353,
+8760,
+521,
+50432,
+19968,
+6208,
+35329,
+56331,
+159,
+56970,
+2511,
+48,
+5343,
+64551,
+40,
+1207,
+22586,
+60940,
+56970,
+16384,
+30726,
+54864,
+17664,
+99,
+11013,
+32730,
+17680,
+63750,
+20496,
+15012,
+63673,
+36578,
+49400,
+732,
+159,
+56970,
+19428,
+30197,
+256,
+61005,
+15012,
+266,
+64006,
+9216,
+5122,
+22934,
+42206,
+266,
+17664,
+80,
+35329,
+40,
+118,
+1035,
+1058,
+15012,
+44869,
+40,
+31750,
+50688,
+256,
+15012,
+124,
+9984,
+8207,
+60866,
+522,
+6699,
+57199,
+31494,
+14030,
+8079,
+42206,
+17664,
+16384,
+256,
+51514,
+34824,
+32784,
+43637,
+11520,
+7287,
+21174,
+47584,
+256,
+31502,
+8760,
+42206,
+119,
+20594,
+13136,
+2765,
+120,
+4160,
+261,
+2048,
+1082,
+32784,
+522,
+8582,
+35608,
+47616,
+56478,
+256,
+3106,
+46829,
+17664,
+522,
+16384,
+512,
+4128,
+124,
+56951,
+36154,
+35329,
+56342,
+27904,
+1163,
+6166,
+35329,
+57793,
+27238,
+512,
+24212,
+56970,
+37411,
+1662,
+256,
+18178,
+27951,
+4130,
+23715,
+120,
+4608,
+6699,
+655,
+48384,
+4351,
+40,
+48128,
+263,
+11017,
+56656,
+52480,
+59604,
+2096,
+8464,
+35330,
+1557,
+64065,
+40283,
+16384,
+22914,
+14416,
+2984,
+61238,
+42206,
+56410,
+26297,
+256,
+5961,
+7504,
+267,
+56970,
+17664,
+21607,
+51716,
+35330,
+111,
+40077,
+27205,
+6077,
+28672,
+34665,
+2534,
+35329,
+256,
+267,
+28730,
+59689,
+6869,
+35330,
+17664,
+16384,
+768,
+11780,
+4130,
+256,
+11856,
+42206,
+43670,
+115,
+3072,
+27951,
+60752,
+3086,
+16384,
+38144,
+20816,
+35329,
+16384,
+8080,
+7931,
+14301,
+51716,
+5325,
+51525,
+122,
+260,
+2941,
+11482,
+51542,
+16849,
+59216,
+37888,
+6178,
+56901,
+2048,
+58077,
+35330,
+65525,
+32262,
+2816,
+18871,
+33053,
+43,
+655,
+42206,
+119,
+15012,
+3212,
+16384,
+58112,
+17440,
+8684,
+2816,
+6699,
+64771,
+15012,
+35329,
+3237,
+256,
+22709,
+56970,
+3262,
+48,
+252,
+21251,
+4288,
+56970,
+69,
+52992,
+256,
+1165,
+15283,
+4130,
+4096,
+256,
+11022,
+42206,
+40997,
+19978,
+15012,
+32006,
+5310,
+42,
+42206,
+16384,
+6912,
+9473,
+42206,
+23365,
+5632,
+655,
+12803,
+15622,
+50047,
+28730,
+17664,
+11034,
+525,
+1612,
+23376,
+20496,
+1686,
+51,
+269,
+1500,
+9984,
+36839,
+31245,
+42206,
+31750,
+25858,
+6774,
+21840,
+17664,
+1500,
+2388,
+35329,
+56901,
+16384,
+1642,
+1360,
+54751,
+24561,
+3072,
+15012,
+269,
+47660,
+87,
+18032,
+71,
+80,
+14596,
+11017,
+27142,
+269,
+17477,
+1662,
+25344,
+2363,
+42206,
+5120,
+14080,
+5127,
+65076,
+49201,
+125,
+3328,
+13294,
+20496,
+35329,
+25214,
+256,
+11530,
+42206,
+1163,
+6177,
+2048,
+58077,
+20497,
+3558,
+1839,
+35330,
+4096,
+63267,
+33244,
+51719,
+40438,
+42206,
+17856,
+59392,
+576,
+3632,
+3637,
+12288,
+26704,
+17446,
+1662,
+27461,
+10446,
+256,
+42206,
+14394,
+45332,
+31528,
+49210,
+17664,
+29446,
+39760,
+56331,
+1099,
+35330,
+27648,
+8760,
+26880,
+31245,
+51002,
+63750,
+369,
+46976,
+3048,
+19386,
+42206,
+11264,
+12711,
+24752,
+16384,
+256,
+8760,
+56970,
+1500,
+23296,
+12809,
+27102,
+35330,
+36404,
+494,
+56979,
+36270,
+47734,
+15012,
+56462,
+47751,
+42206,
+1639,
+24836,
+27102,
+3397,
+36266,
+256,
+336,
+16001,
+20736,
+24836,
+54016,
+6178,
+56970,
+40,
+1723,
+20496,
+41728,
+6760,
+56979,
+65201,
+16384,
+56656,
+58880,
+6688,
+20496,
+15012,
+10089,
+526,
+5888,
+47785,
+35330,
+63750,
+34599,
+4129,
+4864,
+36524,
+17520,
+3909,
+56,
+256,
+5122,
+20496,
+56970,
+6869,
+13830,
+11008,
+35330,
+1360,
+40263,
+56420,
+17330,
+1163,
+47819,
+1024,
+26877,
+50501,
+63744,
+23957,
+15012,
+122,
+1714,
+256,
+35091,
+18757,
+37573,
+49920,
+20496,
+17664,
+256,
+21288,
+20496,
+256,
+44368,
+41,
+52,
+1280,
+25773,
+256,
+32262,
+32961,
+41285,
+1779,
+256,
+57017,
+20504,
+78,
+17664,
+3979,
+42206,
+44294,
+35586,
+15984,
+33866,
+7936,
+62457,
+15012,
+256,
+24389,
+1539,
+1024,
+44201,
+8011,
+30265,
+7232,
+3840,
+1792,
+3630,
+43870,
+56971,
+124,
+18970,
+538,
+56971,
+14661,
+1662,
+21504,
+8661,
+256,
+256,
+6346,
+19728,
+10478,
+280,
+6960,
+56971,
+30726,
+35073,
+256,
+1024,
+32784,
+17664,
+16384,
+41,
+58,
+17664,
+31494,
+44544,
+4351,
+16384,
+55552,
+8760,
+1686,
+19761,
+12803,
+42206,
+513,
+1648,
+27156,
+42206,
+513,
+1653,
+6869,
+35585,
+1500,
+31750,
+256,
+13058,
+17406,
+16384,
+65282,
+257,
+43008,
+256,
+11009,
+34128,
+314,
+56432,
+27331,
+20496,
+35585,
+8976,
+4864,
+9478,
+2466,
+58,
+48307,
+538,
+15012,
+1622,
+52584,
+45294,
+43870,
+16384,
+16640,
+34628,
+3085,
+4130,
+23109,
+56576,
+256,
+27102,
+56332,
+4864,
+15012,
+31761,
+256,
+27102,
+62021,
+33982,
+12071,
+49862,
+9263,
+47927,
+24645,
+10089,
+513,
+48027,
+10089,
+513,
+37888,
+113,
+56971,
+51399,
+31494,
+5120,
+63271,
+56971,
+16384,
+31855,
+20304,
+10345,
+27207,
+24576,
+63271,
+20504,
+257,
+10345,
+4432,
+27102,
+42206,
+53061,
+1024,
+11524,
+20496,
+16896,
+10429,
+256,
+1059,
+20496,
+489,
+4537,
+20496,
+17664,
+4864,
+47373,
+32069,
+1368,
+20504,
+23598,
+62621,
+65286,
+258,
+63813,
+49920,
+256,
+27102,
+35586,
+29702,
+5120,
+27102,
+35585,
+3122,
+24576,
+6178,
+7443,
+63750,
+44294,
+42206,
+9603,
+16384,
+5120,
+21504,
+56979,
+10924,
+17664,
+31494,
+14862,
+7620,
+42206,
+63750,
+48053,
+45062,
+5120,
+15012,
+38783,
+19200,
+15757,
+15012,
+1719,
+256,
+51716,
+33018,
+258,
+17664,
+34560,
+2466,
+47427,
+42206,
+49668,
+24576,
+3072,
+49350,
+4130,
+135,
+1638,
+1262,
+36578,
+11498,
+51730,
+39183,
+680,
+49152,
+1765,
+24576,
+11290,
+18334,
+22570,
+35586,
+27973,
+52,
+1105,
+42,
+15012,
+5239,
+63750,
+19387,
+39846,
+35586,
+249,
+16032,
+56979,
+35586,
+10496,
+59595,
+36421,
+256,
+11017,
+27102,
+256,
+10089,
+28730,
+120,
+1099,
+4154,
+17664,
+249,
+289,
+15012,
+63750,
+24836,
+8760,
+56332,
+27102,
+35585,
+3157,
+4864,
+4130,
+4864,
+48235,
+35585,
+40,
+24836,
+52867,
+14342,
+512,
+63271,
+36078,
+36208,
+84,
+1216,
+41808,
+733,
+123,
+353,
+27102,
+15012,
+48197,
+16384,
+2048,
+58298,
+32736,
+4864,
+35585,
+96,
+841,
+47696,
+55621,
+33828,
+4864,
+14394,
+10746,
+114,
+353,
+10089,
+9190,
+42239,
+125,
+512,
+353,
+37707,
+35586,
+17664,
+1570,
+280,
+20480,
+41770,
+820,
+13398,
+1629,
+45544,
+43578,
+31750,
+12032,
+20504,
+31750,
+256,
+4327,
+51,
+15012,
+853,
+58077,
+55866,
+5445,
+50552,
+1755,
+57,
+10510,
+14336,
+48698,
+17664,
+41216,
+8201,
+11268,
+53085,
+56511,
+48607,
+39424,
+7789,
+4224,
+16384,
+25600,
+43148,
+259,
+32837,
+25242,
+46860,
+42222,
+4164,
+40,
+16384,
+31761,
+256,
+90,
+63,
+11119,
+14394,
+56971,
+10264,
+13760,
+259,
+124,
+32662,
+14336,
+17520,
+56508,
+22272,
+19968,
+17664,
+25626,
+4129,
+35585,
+29446,
+38981,
+28730,
+16384,
+4432,
+60808,
+59042,
+1003,
+42013,
+4129,
+28741,
+256,
+10752,
+123,
+27951,
+720,
+1500,
+31249,
+21504,
+11034,
+27951,
+52558,
+42206,
+13736,
+361,
+11008,
+20496,
+42206,
+15012,
+1024,
+1410,
+4164,
+21802,
+58769,
+58962,
+58077,
+61572,
+31750,
+11911,
+20239,
+9285,
+2366,
+21646,
+62522,
+124,
+27136,
+35585,
+38252,
+3923,
+901,
+35585,
+1362,
+38400,
+17664,
+21639,
+45326,
+8760,
+58539,
+222,
+1500,
+20737,
+35585,
+47872,
+56951,
+56462,
+2246,
+35585,
+256,
+20496,
+11077,
+57631,
+19678,
+25773,
+260,
+16384,
+1500,
+1280,
+40,
+256,
+25773,
+15012,
+8150,
+2048,
+62690,
+44101,
+8167,
+260,
+517,
+256,
+20504,
+6725,
+124,
+56577,
+28674,
+42309,
+1621,
+65063,
+8962,
+17664,
+56418,
+2609,
+58698,
+6159,
+64774,
+18178,
+1222,
+118,
+1327,
+35585,
+457,
+49563,
+252,
+35074,
+28730,
+1333,
+37378,
+256,
+36930,
+10468,
+508,
+16384,
+656,
+6178,
+1280,
+64000,
+22064,
+21316,
+10468,
+8218,
+1715,
+2048,
+56951,
+25294,
+1280,
+1391,
+37946,
+31381,
+125,
+67,
+4288,
+1422,
+121,
+21333,
+32768,
+35586,
+1703,
+3088,
+35585,
+20104,
+261,
+16384,
+1453,
+517,
+35585,
+12421,
+31750,
+256,
+2808,
+58,
+261,
+29758,
+222,
+28730,
+51055,
+56832,
+56971,
+17664,
+38656,
+256,
+2388,
+39444,
+42206,
+2539,
+124,
+778,
+6699,
+12229,
+22750,
+35586,
+16384,
+256,
+1360,
+503,
+6178,
+1500,
+1709,
+4130,
+262,
+10340,
+42206,
+1566,
+538,
+44368,
+46661,
+8192,
+56971,
+3397,
+1280,
+24451,
+59188,
+15012,
+262,
+21353,
+53187,
+16568,
+1536,
+290,
+32826,
+1664,
+27005,
+39943,
+65221,
+8360,
+5888,
+31380,
+26411,
+262,
+40,
+32448,
+25088,
+53120,
+50385,
+12544,
+1222,
+56971,
+47182,
+31750,
+8249,
+24539,
+15012,
+282,
+64212,
+6159,
+56971,
+56518,
+30470,
+60269,
+14394,
+17664,
+16384,
+8704,
+3847,
+6345,
+43600,
+35585,
+16384,
+2048,
+652,
+65201,
+17664,
+13754,
+15012,
+1760,
+8798,
+28730,
+42206,
+1615,
+256,
+6346,
+3605,
+14394,
+124,
+29440,
+33399,
+20816,
+1129,
+31246,
+228,
+35586,
+1923,
+1500,
+30726,
+1836,
+652,
+57199,
+31238,
+1098,
+28060,
+5712,
+42565,
+41276,
+15910,
+1453,
+33433,
+4130,
+35585,
+16384,
+39680,
+80,
+25951,
+16794,
+58181,
+31494,
+6699,
+20496,
+16384,
+29319,
+55990,
+3106,
+53683,
+42206,
+16384,
+256,
+45417,
+65194,
+17664,
+15872,
+11034,
+10720,
+58,
+1774,
+26724,
+656,
+7504,
+35585,
+16384,
+1663,
+1165,
+29818,
+35699,
+4164,
+8760,
+135,
+256,
+42206,
+14342,
+52,
+3589,
+14333,
+30001,
+45970,
+2369,
+1091,
+30080,
+35586,
+10365,
+123,
+6688,
+1082,
+23632,
+15012,
+2199,
+10565,
+56520,
+49299,
+8417,
+15012,
+56355,
+45662,
+12032,
+80,
+14394,
+11333,
+16384,
+13568,
+28820,
+56971,
+30726,
+61175,
+20496,
+139,
+42,
+264,
+2278,
+32006,
+106,
+33796,
+42206,
+19484,
+42206,
+6207,
+1536,
+28496,
+17664,
+63750,
+4864,
+16794,
+35586,
+16384,
+27015,
+4130,
+14394,
+1500,
+256,
+27102,
+256,
+56979,
+56971,
+5120,
+274,
+6204,
+53760,
+48389,
+6177,
+52736,
+25626,
+19388,
+7464,
+32006,
+61175,
+15632,
+521,
+1776,
+353,
+521,
+17664,
+9163,
+353,
+15012,
+48140,
+61175,
+14394,
+19200,
+256,
+48458,
+56971,
+3211,
+56979,
+14736,
+40,
+14342,
+256,
+1262,
+27102,
+4164,
+16384,
+5120,
+12041,
+31087,
+20496,
+19489,
+125,
+45,
+538,
+44,
+15012,
+35586,
+44,
+301,
+15012,
+35586,
+1334,
+15012,
+249,
+4864,
+1688,
+35586,
+1574,
+4864,
+49950,
+256,
+56979,
+43589,
+1574,
+1216,
+35408,
+15012,
+1677,
+11034,
+30550,
+56971,
+16384,
+256,
+353,
+20857,
+42206,
+521,
+31750,
+8960,
+13568,
+40528,
+42206,
+17664,
+124,
+256,
+49,
+4224,
+35586,
+45469,
+16384,
+256,
+51723,
+28544,
+2497,
+16384,
+14848,
+2304,
+6869,
+265,
+97,
+11264,
+17664,
+4171,
+35585,
+22645,
+59648,
+1801,
+24084,
+56971,
+27200,
+2547,
+521,
+56971,
+7439,
+15012,
+17664,
+1361,
+5122,
+12329,
+2015,
+1572,
+31750,
+6699,
+15005,
+32080,
+2581,
+1622,
+35952,
+4112,
+42206,
+55552,
+2609,
+35393,
+35585,
+58949,
+1649,
+4888,
+2467,
+42206,
+38144,
+1208,
+17218,
+56971,
+2633,
+123,
+4352,
+2048,
+656,
+47184,
+56971,
+62208,
+6798,
+17664,
+5248,
+25620,
+30214,
+25601,
+51514,
+35585,
+40,
+39680,
+25626,
+2384,
+8760,
+31165,
+30726,
+40308,
+15113,
+28730,
+35586,
+30726,
+538,
+42206,
+42206,
+2747,
+119,
+63750,
+6918,
+6177,
+56971,
+2773,
+45972,
+1031,
+13058,
+42206,
+56475,
+965,
+26724,
+2048,
+14665,
+35585,
+249,
+2962,
+35453,
+35408,
+35585,
+122,
+1762,
+11034,
+49664,
+42206,
+31750,
+2481,
+58118,
+42206,
+30533,
+16384,
+7351,
+41728,
+7789,
+16223,
+4531,
+58,
+29702,
+1280,
+6178,
+253,
+20737,
+64518,
+16925,
+16384,
+3584,
+8080,
+2986,
+56418,
+2048,
+768,
+16829,
+32080,
+1280,
+21374,
+17664,
+1361,
+12317,
+49240,
+2048,
+8207,
+50142,
+20496,
+16384,
+19975,
+6307,
+6177,
+523,
+256,
+1897,
+6465,
+17664,
+13732,
+2072,
+5325,
+523,
+37278,
+5325,
+21573,
+111,
+47836,
+56491,
+125,
+58819,
+57567,
+13312,
+1077,
+42206,
+3072,
+57304,
+15012,
+17664,
+6346,
+45417,
+42206,
+37892,
+5781,
+41797,
+249,
+4864,
+33070,
+3077,
+15012,
+249,
+27005,
+56979,
+56971,
+63750,
+1099,
+57199,
+268,
+30726,
+31311,
+50304,
+17664,
+120,
+63271,
+33506,
+3101,
+1500,
+256,
+6178,
+56979,
+5120,
+56979,
+17664,
+4864,
+31087,
+14394,
+6469,
+9116,
+19390,
+11348,
+14342,
+256,
+10846,
+8760,
+11716,
+3254,
+1024,
+40167,
+268,
+9797,
+6346,
+55691,
+33605,
+1571,
+61175,
+56122,
+22853,
+256,
+61175,
+6175,
+268,
+57,
+256,
+48715,
+15012,
+376,
+51712,
+43066,
+18820,
+10345,
+36137,
+105,
+33792,
+8760,
+17664,
+96,
+44,
+7174,
+26167,
+13882,
+5120,
+10089,
+8005,
+1571,
+15143,
+56971,
+1790,
+15012,
+43357,
+353,
+27102,
+15012,
+36373,
+11154,
+256,
+5961,
+20496,
+4164,
+35586,
+24901,
+116,
+24576,
+1091,
+6380,
+10810,
+40,
+3335,
+901,
+42206,
+524,
+12470,
+124,
+4608,
+256,
+56979,
+15012,
+268,
+16384,
+80,
+19390,
+24820,
+13398,
+3585,
+58298,
+58,
+124,
+36318,
+55045,
+124,
+37889,
+56971,
+124,
+2048,
+17664,
+10249,
+44428,
+17664,
+22570,
+5684,
+1304,
+122,
+13568,
+8192,
+29204,
+6177,
+525,
+15622,
+256,
+12218,
+42206,
+16384,
+266,
+26481,
+49210,
+31813,
+16384,
+256,
+28999,
+7201,
+42206,
+3373,
+3648,
+10392,
+8758,
+13991,
+15745,
+40859,
+44289,
+269,
+52293,
+5120,
+20496,
+364,
+8576,
+1500,
+53454,
+1288,
+16829,
+19795,
+4130,
+3430,
+16559,
+36352,
+8197,
+20504,
+3435,
+1500,
+45568,
+3271,
+59255,
+56971,
+17664,
+252,
+36578,
+1024,
+15012,
+1617,
+63271,
+4666,
+17664,
+15360,
+2048,
+14658,
+35586,
+1567,
+31744,
+10752,
+19436,
+1242,
+32006,
+282,
+65050,
+33070,
+20504,
+50471,
+32000,
+14394,
+3277,
+1099,
+15012,
+3281,
+19390,
+42206,
+3284,
+48829,
+35586,
+9077,
+10089,
+35586,
+19390,
+4164,
+3545,
+152,
+6178,
+16384,
+45863,
+16384,
+1262,
+15012,
+56332,
+24836,
+37552,
+269,
+56,
+353,
+14394,
+31750,
+56971,
+249,
+27102,
+3051,
+20496,
+16384,
+10089,
+55365,
+1262,
+29312,
+40,
+19200,
+19391,
+35586,
+353,
+58,
+256,
+28114,
+3581,
+48955,
+3585,
+99,
+24836,
+48967,
+15012,
+17664,
+10089,
+58949,
+256,
+22439,
+35586,
+62476,
+4130,
+17664,
+9533,
+512,
+3602,
+63750,
+1677,
+63271,
+34874,
+24663,
+6699,
+49152,
+17165,
+17956,
+2048,
+8981,
+22586,
+3840,
+1032,
+56413,
+35585,
+52,
+6699,
+15012,
+1500,
+124,
+52992,
+64204,
+15012,
+35586,
+16384,
+64071,
+47880,
+27102,
+20504,
+270,
+16384,
+34560,
+35408,
+62522,
+3726,
+10258,
+7622,
+25626,
+43077,
+31719,
+4164,
+10401,
+35585,
+56460,
+135,
+536,
+38912,
+19258,
+77,
+65483,
+42055,
+512,
+526,
+56971,
+7878,
+84,
+13568,
+18256,
+46405,
+19477,
+14394,
+124,
+12218,
+10136,
+16384,
+56,
+15012,
+17664,
+25406,
+4666,
+17664,
+15012,
+252,
+36677,
+36578,
+31750,
+256,
+10094,
+58,
+15012,
+17664,
+16384,
+35586,
+44680,
+64000,
+45568,
+30017,
+51959,
+8424,
+125,
+11008,
+61100,
+17664,
+120,
+902,
+63439,
+35586,
+2048,
+17520,
+22016,
+2562,
+42206,
+256,
+11780,
+1059,
+40,
+125,
+512,
+24120,
+6173,
+9649,
+1500,
+13317,
+124,
+1654,
+38144,
+2048,
+1024,
+17856,
+6160,
+249,
+902,
+42206,
+63439,
+56972,
+41,
+26724,
+96,
+46661,
+115,
+512,
+6688,
+35997,
+20496,
+17664,
+8192,
+20504,
+256,
+17664,
+47647,
+35841,
+1695,
+1024,
+7424,
+17619,
+4224,
+15012,
+56972,
+10319,
+1124,
+28218,
+512,
+179,
+256,
+1597,
+65082,
+53,
+256,
+62006,
+33920,
+42206,
+1500,
+80,
+50402,
+1024,
+43870,
+20504,
+124,
+4096,
+1098,
+46112,
+11988,
+58,
+122,
+14848,
+4096,
+6960,
+23376,
+42206,
+137,
+1147,
+31311,
+56972,
+60132,
+125,
+6688,
+38162,
+56972,
+17664,
+10086,
+56972,
+54853,
+6699,
+56972,
+16384,
+52,
+13440,
+20504,
+35841,
+31750,
+8704,
+4350,
+10317,
+16384,
+8425,
+20504,
+16384,
+19391,
+42206,
+71,
+56979,
+42206,
+63750,
+8760,
+17664,
+48719,
+56972,
+16384,
+6178,
+5120,
+56333,
+529,
+61859,
+35842,
+1028,
+10346,
+19391,
+42206,
+56333,
+1099,
+42206,
+56333,
+256,
+56979,
+17664,
+30470,
+9998,
+7504,
+52172,
+14394,
+58693,
+5120,
+1222,
+15012,
+17664,
+120,
+24836,
+6145,
+45370,
+31750,
+15012,
+12357,
+14342,
+25651,
+56972,
+20942,
+38895,
+42352,
+43967,
+15012,
+343,
+25343,
+11034,
+49206,
+35842,
+357,
+249,
+16763,
+56972,
+17664,
+4130,
+56972,
+62208,
+49240,
+65188,
+1573,
+13882,
+366,
+256,
+9729,
+42042,
+37707,
+56972,
+30464,
+4864,
+6869,
+1283,
+6394,
+56972,
+23350,
+1360,
+42885,
+9631,
+6346,
+36684,
+16472,
+55065,
+14394,
+10346,
+2469,
+5712,
+61545,
+1024,
+261,
+49280,
+47669,
+30464,
+42206,
+25580,
+56972,
+118,
+256,
+6688,
+4111,
+15012,
+257,
+31750,
+256,
+6409,
+11722,
+26170,
+476,
+1500,
+301,
+6970,
+23109,
+56545,
+31750,
+25603,
+42206,
+256,
+20484,
+62522,
+10372,
+1624,
+256,
+3840,
+6346,
+20916,
+524,
+49920,
+25626,
+4224,
+546,
+31238,
+2816,
+51770,
+58,
+35842,
+52,
+6021,
+256,
+51463,
+39272,
+4351,
+16384,
+39272,
+35842,
+252,
+512,
+15012,
+2048,
+50000,
+48186,
+17664,
+8304,
+514,
+56133,
+56600,
+51777,
+47685,
+16384,
+6688,
+4351,
+34814,
+1024,
+14908,
+6212,
+56972,
+7704,
+18859,
+19392,
+19781,
+1638,
+45417,
+6178,
+42206,
+30982,
+1024,
+13576,
+51823,
+29697,
+42435,
+28730,
+32006,
+1024,
+260,
+3328,
+14394,
+60,
+3840,
+55270,
+58,
+57755,
+41984,
+32031,
+514,
+56320,
+16599,
+59912,
+56457,
+9472,
+2941,
+124,
+256,
+6699,
+36124,
+754,
+56614,
+56972,
+1280,
+6869,
+17664,
+125,
+2048,
+1500,
+15012,
+1774,
+6400,
+64595,
+35842,
+249,
+8760,
+56333,
+256,
+6178,
+23552,
+56972,
+16384,
+4864,
+8760,
+1500,
+19392,
+35842,
+249,
+1099,
+35841,
+52745,
+768,
+27102,
+20496,
+17664,
+53504,
+353,
+56979,
+2304,
+26373,
+56979,
+56333,
+10089,
+60741,
+12289,
+249,
+8760,
+17664,
+159,
+10089,
+8784,
+15012,
+14413,
+14342,
+6346,
+32736,
+40,
+46642,
+20483,
+42294,
+20496,
+17664,
+1725,
+256,
+9697,
+17664,
+58624,
+53031,
+10346,
+25936,
+1500,
+1642,
+42206,
+1537,
+94,
+4130,
+20235,
+20496,
+17664,
+36032,
+1341,
+17218,
+56972,
+17664,
+252,
+453,
+26981,
+58,
+886,
+4585,
+9217,
+20496,
+892,
+56950,
+38336,
+4164,
+35841,
+6409,
+2452,
+10328,
+42206,
+124,
+159,
+1165,
+14658,
+20496,
+15012,
+28485,
+56,
+57243,
+8888,
+40253,
+27984,
+58,
+56972,
+1624,
+35841,
+16384,
+56,
+417,
+1262,
+40214,
+49494,
+959,
+1688,
+720,
+9029,
+125,
+256,
+41434,
+27005,
+15012,
+1291,
+28999,
+57308,
+35842,
+1280,
+11072,
+41434,
+1776,
+29161,
+15012,
+16894,
+29958,
+265,
+56972,
+19264,
+51723,
+516,
+7453,
+106,
+8668,
+27136,
+8926,
+42206,
+16384,
+62134,
+282,
+6688,
+15012,
+16384,
+10752,
+57199,
+260,
+6869,
+17664,
+1024,
+56972,
+18944,
+27005,
+6667,
+19393,
+28730,
+17664,
+47898,
+35842,
+25925,
+16384,
+1099,
+39991,
+43088,
+15012,
+16384,
+61780,
+20504,
+56348,
+5888,
+282,
+42,
+15012,
+1500,
+256,
+16666,
+15012,
+1500,
+2048,
+28447,
+35842,
+34304,
+49502,
+35842,
+1500,
+13312,
+56979,
+1500,
+42206,
+56333,
+4130,
+16384,
+19393,
+516,
+256,
+14394,
+123,
+61175,
+56144,
+256,
+14394,
+27219,
+1098,
+327,
+1262,
+4130,
+56333,
+256,
+56979,
+1482,
+8918,
+63271,
+35842,
+1557,
+56979,
+1262,
+26724,
+261,
+22081,
+36007,
+1024,
+60240,
+6706,
+27229,
+50401,
+3072,
+56979,
+8760,
+42206,
+5120,
+55079,
+38981,
+2905,
+56972,
+16384,
+20720,
+35841,
+16384,
+40960,
+6688,
+56979,
+3942,
+56972,
+628,
+31750,
+5120,
+30466,
+42160,
+1099,
+17025,
+517,
+30214,
+256,
+60473,
+39604,
+42206,
+17664,
+4352,
+7168,
+37892,
+42206,
+38725,
+1538,
+256,
+20504,
+17664,
+125,
+2560,
+35079,
+3976,
+14394,
+30211,
+31750,
+3051,
+1688,
+29568,
+56972,
+125,
+78,
+57,
+6179,
+39692,
+8829,
+282,
+6177,
+45125,
+10402,
+31750,
+113,
+20504,
+1462,
+56339,
+62208,
+51463,
+11524,
+20504,
+15012,
+124,
+2048,
+35152,
+1500,
+13568,
+37889,
+1518,
+8218,
+63627,
+3840,
+20496,
+21573,
+64204,
+11032,
+39846,
+56972,
+63750,
+16641,
+13882,
+29253,
+1777,
+1285,
+33253,
+14394,
+49221,
+1539,
+6699,
+59392,
+6240,
+12488,
+119,
+1777,
+1866,
+149,
+4129,
+518,
+40,
+30981,
+256,
+56161,
+14394,
+35841,
+1738,
+37039,
+8364,
+41530,
+123,
+256,
+370,
+15012,
+226,
+16384,
+6346,
+4224,
+42206,
+34028,
+1500,
+61,
+29568,
+1764,
+256,
+6760,
+1718,
+10323,
+14854,
+47908,
+51536,
+49210,
+4432,
+30671,
+6208,
+262,
+12357,
+56460,
+15646,
+20496,
+35841,
+3942,
+35841,
+10422,
+31494,
+24416,
+28730,
+19731,
+18949,
+56972,
+50555,
+57519,
+592,
+212,
+7983,
+4272,
+14978,
+32730,
+16384,
+1612,
+1287,
+14658,
+49210,
+1579,
+512,
+9998,
+8188,
+17664,
+25098,
+39805,
+84,
+2213,
+5200,
+35842,
+1500,
+1759,
+50459,
+61572,
+17664,
+9728,
+479,
+15012,
+56,
+1453,
+48175,
+28218,
+35842,
+282,
+49485,
+16077,
+57402,
+1893,
+1500,
+256,
+15012,
+11264,
+42028,
+17518,
+56972,
+10475,
+1759,
+43507,
+28218,
+16384,
+5120,
+10089,
+48197,
+8894,
+25851,
+6213,
+8890,
+49787,
+35842,
+249,
+39719,
+519,
+63750,
+1099,
+42206,
+16384,
+19394,
+42206,
+249,
+56979,
+17664,
+63750,
+19394,
+63258,
+35842,
+1570,
+49913,
+17664,
+35986,
+717,
+20504,
+56972,
+256,
+36352,
+1202,
+56979,
+6211,
+40363,
+10346,
+1792,
+5120,
+80,
+30145,
+20496,
+7424,
+10089,
+20504,
+56972,
+4864,
+9729,
+17232,
+17664,
+35830,
+256,
+3923,
+49924,
+57925,
+717,
+8760,
+35842,
+1574,
+28218,
+16384,
+49951,
+56972,
+17664,
+16384,
+49958,
+35841,
+16384,
+9342,
+6380,
+13882,
+17664,
+1601,
+1262,
+56378,
+31238,
+53,
+61175,
+49964,
+1991,
+29745,
+2048,
+15130,
+20496,
+8760,
+519,
+37445,
+35808,
+113,
+2220,
+1024,
+49744,
+35842,
+16384,
+10752,
+63258,
+14394,
+59024,
+17152,
+57359,
+63258,
+35841,
+17664,
+20496,
+263,
+14342,
+61175,
+22608,
+15012,
+4677,
+256,
+9312,
+31246,
+6398,
+2071,
+124,
+256,
+20307,
+15012,
+119,
+256,
+3923,
+28730,
+17664,
+6699,
+6760,
+122,
+44032,
+15360,
+43889,
+20496,
+17664,
+4306,
+15104,
+13689,
+40,
+13751,
+256,
+6688,
+2128,
+4350,
+17664,
+768,
+4576,
+49664,
+56972,
+40,
+1650,
+57199,
+4350,
+17664,
+21598,
+16566,
+47461,
+5840,
+16384,
+14592,
+6688,
+21402,
+7789,
+15012,
+56493,
+32006,
+6688,
+31901,
+2213,
+13341,
+13568,
+63032,
+42206,
+43883,
+30470,
+1280,
+2222,
+7673,
+256,
+6346,
+11856,
+1500,
+57632,
+55610,
+49300,
+122,
+256,
+8326,
+252,
+20496,
+8960,
+34560,
+21407,
+16384,
+57017,
+264,
+35841,
+2048,
+8760,
+9984,
+19876,
+56972,
+13340,
+37632,
+8349,
+39680,
+33439,
+6760,
+35841,
+20496,
+42206,
+47872,
+4363,
+36578,
+49920,
+31105,
+42206,
+17664,
+512,
+67,
+265,
+7424,
+6960,
+21306,
+2360,
+10754,
+1556,
+20485,
+4164,
+35842,
+2377,
+29446,
+1629,
+23710,
+15012,
+2386,
+13859,
+1754,
+282,
+14481,
+720,
+56972,
+62080,
+256,
+8064,
+15012,
+15941,
+355,
+94,
+42206,
+29747,
+16384,
+17664,
+20762,
+11009,
+56700,
+33872,
+45312,
+20748,
+62281,
+8760,
+15012,
+40156,
+16384,
+256,
+1024,
+38162,
+33251,
+8250,
+17664,
+116,
+2048,
+27374,
+20504,
+35841,
+1801,
+15012,
+256,
+51112,
+56576,
+124,
+256,
+26724,
+57361,
+15012,
+48402,
+256,
+6699,
+24882,
+15012,
+5888,
+2120,
+19541,
+32581,
+52480,
+50731,
+6212,
+35841,
+117,
+96,
+652,
+15012,
+56530,
+536,
+4130,
+29253,
+45,
+780,
+15362,
+28690,
+124,
+33441,
+41384,
+60474,
+52,
+1691,
+256,
+1880,
+35841,
+16384,
+40,
+35842,
+266,
+2048,
+59728,
+522,
+16270,
+8192,
+22709,
+20504,
+15012,
+17664,
+118,
+31716,
+20496,
+40,
+1948,
+1280,
+49785,
+2642,
+30214,
+6688,
+30329,
+58,
+56972,
+28216,
+266,
+31494,
+51,
+27951,
+2668,
+15012,
+256,
+61509,
+256,
+1839,
+59985,
+20496,
+522,
+32006,
+56712,
+2693,
+17664,
+31750,
+40529,
+35841,
+20444,
+15360,
+58077,
+60,
+120,
+1608,
+5922,
+63656,
+522,
+2048,
+63656,
+2395,
+39676,
+16384,
+1723,
+370,
+55610,
+1670,
+3130,
+29954,
+20496,
+15012,
+16384,
+4096,
+37497,
+8610,
+13381,
+16450,
+8760,
+2781,
+56381,
+2048,
+8196,
+40,
+5658,
+58298,
+4127,
+35841,
+354,
+96,
+20487,
+33251,
+4164,
+267,
+17664,
+26229,
+1839,
+52727,
+48720,
+28218,
+56972,
+2856,
+64382,
+2048,
+28177,
+50214,
+28218,
+14976,
+51253,
+62976,
+6773,
+20504,
+64069,
+1564,
+44058,
+33251,
+6177,
+34885,
+16384,
+6699,
+56972,
+17664,
+16384,
+44973,
+52480,
+2048,
+717,
+19395,
+56972,
+17664,
+1098,
+25773,
+17828,
+30145,
+3808,
+267,
+44034,
+11264,
+65188,
+1500,
+124,
+256,
+6869,
+27561,
+16384,
+512,
+20496,
+2927,
+1500,
+31750,
+538,
+62522,
+17664,
+16384,
+2048,
+2220,
+49661,
+4176,
+44101,
+28160,
+27102,
+1570,
+49975,
+16384,
+18715,
+523,
+1567,
+4864,
+8760,
+8842,
+10089,
+30277,
+52727,
+15684,
+55877,
+16384,
+8836,
+30146,
+56972,
+249,
+40615,
+4164,
+35842,
+1500,
+1787,
+49685,
+19395,
+1500,
+794,
+63271,
+523,
+31750,
+4864,
+10911,
+16384,
+4864,
+8760,
+40538,
+56333,
+2048,
+52295,
+4350,
+34373,
+19395,
+42020,
+249,
+13576,
+24290,
+56,
+52,
+15872,
+4130,
+56972,
+16384,
+54528,
+62976,
+20496,
+16384,
+53,
+1262,
+33872,
+16384,
+18334,
+9216,
+45584,
+2048,
+353,
+50141,
+42206,
+2999,
+1716,
+24832,
+37707,
+28218,
+267,
+60317,
+45942,
+24576,
+265,
+717,
+17518,
+523,
+40,
+57468,
+1839,
+56979,
+3019,
+5120,
+8760,
+16384,
+42206,
+3021,
+42206,
+2048,
+15702,
+267,
+10279,
+256,
+31488,
+56979,
+35842,
+16384,
+1024,
+27102,
+6212,
+17664,
+51968,
+51716,
+48732,
+35842,
+35933,
+5120,
+63271,
+4130,
+35841,
+10346,
+28928,
+282,
+4164,
+3043,
+31494,
+6175,
+41595,
+35842,
+256,
+52727,
+27984,
+267,
+7168,
+57375,
+15332,
+15012,
+43772,
+54274,
+15012,
+1617,
+94,
+45370,
+49209,
+6346,
+94,
+10713,
+31238,
+5325,
+63813,
+42206,
+1759,
+26724,
+42,
+35842,
+13867,
+10089,
+9483,
+15012,
+17664,
+1628,
+4576,
+370,
+15012,
+51904,
+1964,
+46160,
+17664,
+31238,
+1280,
+27005,
+11008,
+6398,
+29958,
+2816,
+8356,
+3923,
+56972,
+56401,
+37888,
+263,
+46829,
+4384,
+49152,
+359,
+25850,
+4115,
+17664,
+124,
+4692,
+4288,
+40,
+4576,
+63258,
+56972,
+16384,
+53,
+11125,
+6211,
+17664,
+20992,
+35842,
+27465,
+524,
+5640,
+11012,
+42206,
+20452,
+282,
+4351,
+124,
+361,
+17518,
+10302,
+39168,
+28730,
+60354,
+2128,
+15012,
+32006,
+31368,
+8196,
+21641,
+3330,
+113,
+4637,
+17518,
+26693,
+2048,
+11201,
+6398,
+17664,
+56972,
+525,
+1567,
+11016,
+20658,
+58,
+3356,
+39767,
+113,
+11800,
+22837,
+42206,
+17664,
+27313,
+8448,
+1024,
+12041,
+8434,
+38956,
+35841,
+16384,
+2048,
+20496,
+42206,
+31045,
+2481,
+48464,
+14661,
+123,
+6699,
+26981,
+794,
+21459,
+28218,
+123,
+9984,
+63258,
+15012,
+29745,
+54,
+6773,
+924,
+256,
+30146,
+20451,
+3564,
+256,
+14394,
+21048,
+24064,
+2855,
+35842,
+16384,
+61175,
+6178,
+17664,
+16384,
+1099,
+14394,
+16384,
+2220,
+27102,
+17664,
+768,
+15429,
+8780,
+525,
+1676,
+6773,
+56972,
+56,
+56979,
+42206,
+3428,
+16384,
+6699,
+63271,
+6960,
+32826,
+56972,
+14342,
+4864,
+14394,
+56334,
+2220,
+27102,
+42206,
+628,
+16384,
+4864,
+20496,
+30221,
+56458,
+256,
+49887,
+6960,
+6212,
+35842,
+16384,
+16640,
+21568,
+56972,
+27330,
+256,
+52727,
+3463,
+125,
+256,
+50409,
+269,
+16384,
+717,
+4677,
+31761,
+8081,
+256,
+8760,
+36968,
+63750,
+52727,
+37296,
+1500,
+1099,
+6736,
+56972,
+8079,
+6699,
+49925,
+50430,
+56972,
+3486,
+32006,
+4864,
+15646,
+19968,
+4164,
+269,
+123,
+20224,
+28928,
+2290,
+717,
+6736,
+60395,
+32863,
+256,
+49943,
+21501,
+35841,
+17664,
+6699,
+45370,
+12828,
+49300,
+56335,
+17664,
+125,
+2048,
+44058,
+63660,
+42206,
+26110,
+302,
+20496,
+42206,
+54872,
+56577,
+35841,
+1500,
+31494,
+5120,
+2092,
+6465,
+56972,
+126,
+6918,
+20496,
+42206,
+28928,
+6869,
+5267,
+32006,
+282,
+41762,
+20496,
+35841,
+17664,
+45056,
+388,
+34798,
+3574,
+2048,
+58298,
+58781,
+9984,
+222,
+35842,
+124,
+1885,
+26481,
+526,
+17664,
+56419,
+1757,
+1035,
+36252,
+50161,
+270,
+124,
+256,
+6145,
+42214,
+56972,
+1760,
+5632,
+5120,
+28730,
+3644,
+19373,
+33624,
+8760,
+17664,
+125,
+15012,
+21929,
+17520,
+1500,
+1536,
+5122,
+6721,
+65188,
+16384,
+1024,
+59188,
+15012,
+56972,
+256,
+4224,
+30214,
+25936,
+31290,
+270,
+125,
+512,
+16849,
+20496,
+526,
+16384,
+4625,
+58596,
+14394,
+35841,
+1720,
+3840,
+5961,
+4130,
+17664,
+30055,
+256,
+4352,
+11600,
+4129,
+270,
+3772,
+256,
+28673,
+4130,
+46661,
+48128,
+1540,
+42206,
+256,
+3924,
+42464,
+14394,
+2373,
+69,
+3076,
+42878,
+21714,
+47736,
+56972,
+1500,
+27951,
+65043,
+1178,
+4130,
+19525,
+1500,
+16384,
+6699,
+2384,
+42206,
+16384,
+1792,
+35842,
+64001,
+15012,
+20496,
+59133,
+6798,
+55435,
+15012,
+25502,
+2048,
+20496,
+3874,
+2048,
+63439,
+527,
+1759,
+56577,
+15012,
+17664,
+32262,
+7168,
+14658,
+1436,
+60051,
+57359,
+35841,
+64518,
+24882,
+42206,
+32006,
+57199,
+4129,
+3902,
+16384,
+147,
+295,
+28730,
+1500,
+16384,
+40529,
+36729,
+17792,
+36656,
+5781,
+8659,
+17664,
+8760,
+4531,
+28416,
+8400,
+36098,
+1500,
+28416,
+508,
+1629,
+34731,
+40036,
+4130,
+56973,
+3840,
+55424,
+10468,
+97,
+45240,
+22031,
+65082,
+9925,
+48224,
+256,
+1453,
+41384,
+65082,
+45824,
+57632,
+56973,
+16384,
+508,
+581,
+16384,
+13514,
+6177,
+13551,
+6688,
+15889,
+42051,
+52,
+42206,
+56463,
+11008,
+16384,
+32466,
+256,
+1723,
+56524,
+20496,
+56973,
+60,
+27951,
+14661,
+256,
+36671,
+1477,
+50872,
+4130,
+8261,
+1583,
+43589,
+16384,
+20737,
+17664,
+8192,
+6211,
+16384,
+256,
+902,
+30550,
+42206,
+40,
+14238,
+252,
+44949,
+56973,
+12510,
+1590,
+11264,
+53085,
+47872,
+15012,
+3611,
+8192,
+256,
+4864,
+44949,
+512,
+50483,
+42206,
+32827,
+8746,
+50501,
+31557,
+24359,
+51781,
+1280,
+36097,
+63750,
+263,
+10089,
+56973,
+63750,
+61175,
+14394,
+256,
+10089,
+31813,
+35880,
+14394,
+10468,
+24836,
+8760,
+3640,
+8760,
+38139,
+256,
+10089,
+27102,
+58192,
+12613,
+256,
+63439,
+36097,
+64518,
+20480,
+33616,
+16384,
+31238,
+361,
+13542,
+51258,
+11012,
+64549,
+24084,
+8760,
+864,
+58611,
+17664,
+8713,
+19397,
+20496,
+1571,
+50681,
+8285,
+42206,
+187,
+1631,
+27102,
+36098,
+26317,
+64549,
+30544,
+44357,
+4864,
+26724,
+35863,
+24836,
+6211,
+49733,
+1032,
+6992,
+51813,
+1024,
+902,
+15012,
+282,
+256,
+26829,
+37984,
+14394,
+36098,
+8594,
+216,
+1216,
+512,
+42206,
+10259,
+13136,
+60040,
+5049,
+1024,
+90,
+4130,
+256,
+2560,
+201,
+49210,
+258,
+15366,
+512,
+7148,
+3664,
+15012,
+123,
+7424,
+51712,
+56973,
+40,
+178,
+7940,
+28730,
+257,
+35747,
+31750,
+6912,
+265,
+902,
+42206,
+56973,
+40074,
+1297,
+1193,
+56656,
+69,
+1024,
+31528,
+36097,
+13056,
+34842,
+17664,
+2048,
+3979,
+27003,
+58,
+30054,
+17664,
+26880,
+6688,
+37090,
+4159,
+1500,
+27398,
+36578,
+32350,
+371,
+36864,
+1902,
+60951,
+15012,
+10408,
+10467,
+388,
+16384,
+6224,
+312,
+256,
+513,
+11264,
+46978,
+35840,
+56573,
+30470,
+25344,
+26668,
+59450,
+16384,
+52626,
+20504,
+4421,
+56539,
+6699,
+260,
+257,
+40000,
+1707,
+15012,
+124,
+280,
+513,
+256,
+1101,
+40976,
+36097,
+16384,
+256,
+6145,
+11600,
+36097,
+252,
+953,
+4351,
+52,
+7789,
+58464,
+59036,
+256,
+8192,
+28485,
+3584,
+3075,
+8760,
+16384,
+15685,
+42206,
+10447,
+56973,
+249,
+10089,
+1500,
+19398,
+27973,
+4864,
+42206,
+13893,
+19398,
+56389,
+1099,
+56973,
+256,
+56979,
+17664,
+36875,
+17664,
+19398,
+53829,
+44175,
+64920,
+1099,
+17664,
+25424,
+282,
+1676,
+1360,
+37707,
+4130,
+56466,
+35847,
+1360,
+14394,
+56,
+6175,
+33955,
+533,
+353,
+10534,
+50854,
+56973,
+258,
+14336,
+50877,
+514,
+8670,
+50983,
+5120,
+27003,
+15012,
+252,
+1099,
+514,
+55296,
+56979,
+21573,
+256,
+15362,
+16384,
+1024,
+43066,
+55085,
+7237,
+37632,
+57199,
+249,
+40984,
+21867,
+16384,
+1712,
+2816,
+50436,
+29523,
+39366,
+32826,
+258,
+1500,
+61797,
+14394,
+36097,
+576,
+26660,
+45922,
+1885,
+32043,
+4130,
+685,
+56378,
+256,
+1144,
+13032,
+47133,
+17664,
+124,
+137,
+20485,
+44945,
+514,
+51329,
+122,
+42,
+51754,
+1500,
+29958,
+256,
+453,
+24882,
+36097,
+5028,
+74,
+56656,
+56463,
+388,
+4129,
+64769,
+11898,
+258,
+28296,
+1248,
+1753,
+8192,
+67,
+8760,
+799,
+29190,
+11268,
+13058,
+17664,
+55552,
+5122,
+259,
+32512,
+260,
+59245,
+15012,
+42206,
+17664,
+11520,
+41472,
+15012,
+576,
+14351,
+3463,
+20496,
+15012,
+10565,
+16384,
+32006,
+42497,
+3942,
+36097,
+256,
+11018,
+51712,
+4227,
+515,
+13321,
+31238,
+6699,
+40065,
+63568,
+1612,
+282,
+20341,
+65278,
+1500,
+15130,
+36097,
+52,
+253,
+42829,
+16976,
+56463,
+1280,
+56833,
+56654,
+42206,
+92,
+50176,
+948,
+121,
+256,
+41256,
+18178,
+12032,
+7228,
+15012,
+49705,
+120,
+256,
+22906,
+8760,
+259,
+29411,
+29472,
+42206,
+2048,
+15873,
+15012,
+17664,
+50992,
+55827,
+1093,
+32579,
+35277,
+1065,
+20496,
+6699,
+6465,
+16384,
+20496,
+57669,
+256,
+27102,
+3714,
+8760,
+36098,
+2048,
+28455,
+516,
+50176,
+19519,
+2663,
+249,
+44,
+51037,
+56973,
+1569,
+1964,
+27102,
+36098,
+24836,
+14394,
+56334,
+50957,
+17664,
+10089,
+40,
+5120,
+27102,
+5878,
+56419,
+35819,
+256,
+353,
+24882,
+15012,
+10347,
+56979,
+15012,
+52,
+125,
+1262,
+35579,
+62277,
+2048,
+256,
+353,
+51117,
+10347,
+2220,
+611,
+31312,
+1085,
+3741,
+19399,
+36098,
+117,
+44032,
+10089,
+65278,
+56339,
+44032,
+794,
+28420,
+20496,
+42206,
+31494,
+1280,
+1262,
+657,
+35623,
+28218,
+40,
+43264,
+27102,
+17664,
+65215,
+2048,
+657,
+36354,
+42206,
+17664,
+37153,
+50031,
+20496,
+34555,
+30468,
+1957,
+1130,
+17664,
+58615,
+7168,
+11125,
+15360,
+20496,
+22016,
+2220,
+17518,
+42206,
+4165,
+16384,
+7164,
+11008,
+56973,
+36098,
+33954,
+124,
+41552,
+55610,
+24832,
+90,
+30147,
+13392,
+56973,
+44058,
+50071,
+42206,
+31494,
+63744,
+46181,
+4154,
+45381,
+16384,
+6699,
+50087,
+36097,
+1500,
+5093,
+13576,
+4422,
+23203,
+1500,
+768,
+11016,
+31488,
+23211,
+40,
+178,
+53,
+717,
+4979,
+42206,
+1233,
+17664,
+41863,
+256,
+1092,
+17218,
+36097,
+40,
+16384,
+1091,
+6177,
+40,
+29440,
+44058,
+24539,
+56973,
+628,
+31750,
+1866,
+4649,
+36098,
+17664,
+32006,
+50135,
+63258,
+56973,
+256,
+41552,
+1272,
+16384,
+20496,
+31494,
+30017,
+17520,
+1282,
+17664,
+2048,
+453,
+20496,
+54597,
+16384,
+94,
+50157,
+20496,
+15012,
+36097,
+17664,
+20790,
+1761,
+21248,
+17408,
+55599,
+28218,
+23406,
+178,
+50974,
+20496,
+56973,
+17664,
+56432,
+28928,
+1065,
+63258,
+11405,
+28928,
+8061,
+20496,
+56973,
+13109,
+32848,
+1338,
+40,
+21353,
+717,
+17520,
+42206,
+27057,
+56,
+256,
+302,
+58,
+56973,
+36098,
+40764,
+178,
+31488,
+18809,
+13392,
+20241,
+16384,
+8758,
+36097,
+23806,
+11012,
+50205,
+64080,
+261,
+1590,
+1092,
+15012,
+53248,
+8704,
+63258,
+52727,
+56973,
+32006,
+256,
+1092,
+39366,
+4164,
+42206,
+49989,
+64006,
+1024,
+8322,
+59717,
+14336,
+56577,
+42206,
+25503,
+17518,
+17664,
+21670,
+16384,
+6688,
+52727,
+17520,
+36098,
+33814,
+122,
+1092,
+17408,
+34544,
+2048,
+30699,
+28218,
+40,
+1603,
+90,
+52727,
+20504,
+42206,
+11016,
+4979,
+517,
+1024,
+2220,
+22742,
+20496,
+20805,
+114,
+10829,
+6177,
+4096,
+7174,
+8888,
+4130,
+17664,
+31494,
+17920,
+2094,
+20496,
+15012,
+6699,
+12803,
+53840,
+56973,
+1469,
+1597,
+8710,
+20496,
+56973,
+17664,
+31494,
+2048,
+9220,
+1500,
+20504,
+56973,
+12928,
+6400,
+47616,
+44058,
+1492,
+17664,
+40,
+7095,
+23331,
+22018,
+36097,
+116,
+6400,
+45056,
+717,
+29492,
+17518,
+1507,
+17664,
+16384,
+178,
+282,
+11125,
+717,
+28730,
+31045,
+273,
+539,
+62301,
+14395,
+24834,
+517,
+2220,
+42206,
+6699,
+390,
+17680,
+37707,
+1540,
+1185,
+31238,
+42206,
+1542,
+200,
+60527,
+34039,
+80,
+717,
+6160,
+15012,
+123,
+17408,
+43430,
+33616,
+36098,
+40,
+44288,
+256,
+42206,
+52,
+257,
+717,
+27907,
+32768,
+42206,
+24328,
+17408,
+4979,
+56973,
+1649,
+2048,
+2220,
+11125,
+56477,
+42206,
+17664,
+41472,
+30148,
+13045,
+123,
+8608,
+30214,
+59748,
+56334,
+5120,
+4979,
+1500,
+256,
+2220,
+37707,
+8665,
+32006,
+28928,
+56973,
+16384,
+2560,
+36115,
+15012,
+43561,
+249,
+5120,
+6178,
+19775,
+3766,
+14394,
+36097,
+16384,
+123,
+32512,
+2048,
+15303,
+518,
+17408,
+408,
+53829,
+27444,
+14336,
+47616,
+23377,
+42206,
+22592,
+60547,
+36608,
+24063,
+8589,
+26407,
+5725,
+56973,
+262,
+40,
+7069,
+91,
+56979,
+13392,
+20504,
+36098,
+26963,
+10347,
+7067,
+58710,
+518,
+56334,
+51719,
+14394,
+60553,
+8583,
+49152,
+22341,
+33792,
+10089,
+17989,
+39168,
+56,
+63258,
+1664,
+56461,
+24576,
+1536,
+63258,
+34283,
+256,
+1262,
+6736,
+56973,
+56464,
+178,
+2048,
+13312,
+36098,
+1708,
+2048,
+717,
+17518,
+37861,
+40,
+32006,
+15360,
+13576,
+38162,
+30800,
+65280,
+15573,
+45568,
+53,
+6773,
+20496,
+17518,
+56973,
+13354,
+46206,
+42752,
+262,
+1500,
+8760,
+10476,
+1569,
+16167,
+20496,
+17664,
+3795,
+10089,
+59450,
+53829,
+123,
+47616,
+51238,
+48256,
+4164,
+39749,
+56,
+113,
+19400,
+33115,
+518,
+57925,
+2048,
+24836,
+23379,
+17664,
+16384,
+4864,
+6699,
+8705,
+717,
+3942,
+1730,
+15576,
+45,
+4979,
+56973,
+55621,
+16384,
+256,
+2220,
+36786,
+42206,
+1739,
+9073,
+47917,
+28730,
+1742,
+512,
+13964,
+36097,
+31238,
+11125,
+25773,
+1218,
+3072,
+42206,
+58,
+64518,
+14336,
+15012,
+32006,
+188,
+50485,
+45370,
+34048,
+17520,
+14336,
+57633,
+16384,
+188,
+6773,
+48186,
+1775,
+16384,
+5712,
+20496,
+44058,
+6736,
+30789,
+1500,
+117,
+58880,
+36097,
+15012,
+58620,
+2220,
+23894,
+17520,
+47685,
+252,
+5225,
+263,
+40,
+16384,
+53,
+11201,
+23866,
+15012,
+36098,
+7336,
+28928,
+282,
+11012,
+20737,
+32006,
+23443,
+3229,
+4164,
+1830,
+16384,
+1566,
+1024,
+508,
+10476,
+1593,
+49664,
+8474,
+50543,
+6736,
+14394,
+36098,
+120,
+1024,
+36352,
+46860,
+41474,
+20496,
+15012,
+1853,
+30982,
+6145,
+265,
+263,
+56832,
+216,
+11461,
+28730,
+36097,
+13576,
+1261,
+20504,
+42206,
+125,
+256,
+29492,
+65278,
+17664,
+16384,
+256,
+4350,
+10390,
+122,
+1092,
+4979,
+56973,
+26437,
+1563,
+12032,
+15362,
+32784,
+14336,
+50583,
+25249,
+1297,
+768,
+3051,
+149,
+42206,
+50245,
+16384,
+54016,
+13576,
+8418,
+28730,
+37744,
+28928,
+1092,
+30778,
+36098,
+46149,
+17434,
+6269,
+17664,
+31494,
+56,
+4346,
+37035,
+29746,
+11013,
+10839,
+50615,
+1940,
+51269,
+16384,
+32006,
+52224,
+48128,
+8375,
+238,
+4118,
+42206,
+44101,
+628,
+1245,
+9112,
+36097,
+125,
+39090,
+40584,
+56973,
+45893,
+32006,
+51200,
+45568,
+11016,
+23513,
+52727,
+17518,
+263,
+16384,
+23808,
+53,
+15012,
+36098,
+17664,
+31494,
+12495,
+20496,
+43077,
+768,
+50043,
+42206,
+41797,
+10382,
+23515,
+29492,
+42206,
+21760,
+3610,
+52304,
+13927,
+36098,
+628,
+48128,
+282,
+36097,
+16384,
+20496,
+263,
+32006,
+1839,
+25820,
+64183,
+256,
+46860,
+52727,
+65410,
+63258,
+2050,
+124,
+44,
+50693,
+58,
+3823,
+123,
+29696,
+6688,
+20496,
+42206,
+123,
+29696,
+38970,
+20504,
+56973,
+10476,
+1675,
+178,
+1092,
+841,
+6736,
+56973,
+4165,
+62014,
+17408,
+31105,
+42206,
+628,
+1601,
+11008,
+5781,
+56973,
+41474,
+45381,
+249,
+44058,
+23579,
+54608,
+52293,
+31494,
+74,
+17408,
+14242,
+15012,
+52549,
+5120,
+41474,
+520,
+1569,
+57127,
+60997,
+63750,
+51447,
+42206,
+42752,
+51453,
+17518,
+27470,
+27392,
+56979,
+36098,
+27471,
+26880,
+92,
+18338,
+17664,
+2053,
+56979,
+1500,
+282,
+56979,
+27102,
+63750,
+45778,
+8680,
+264,
+1569,
+10089,
+36098,
+12101,
+4864,
+1099,
+13392,
+36098,
+5120,
+56979,
+56973,
+16384,
+494,
+36419,
+8760,
+3833,
+768,
+63271,
+20496,
+42206,
+2156,
+30150,
+32730,
+17664,
+19864,
+29492,
+36097,
+31494,
+17792,
+2165,
+16514,
+16384,
+45312,
+5120,
+4164,
+36097,
+59248,
+44058,
+57332,
+51584,
+15012,
+32940,
+125,
+1650,
+41472,
+4979,
+17520,
+36097,
+1639,
+13576,
+50459,
+41552,
+2189,
+49152,
+1790,
+26481,
+42206,
+37701,
+17434,
+30150,
+58,
+15012,
+44493,
+17408,
+50807,
+13392,
+2202,
+56973,
+1500,
+119,
+25936,
+40723,
+768,
+45904,
+40872,
+14394,
+1024,
+8760,
+530,
+43967,
+32768,
+17664,
+28218,
+36098,
+16384,
+1571,
+10089,
+44437,
+1500,
+25825,
+1024,
+353,
+2500,
+16077,
+17518,
+2226,
+31494,
+8760,
+17664,
+122,
+31238,
+1581,
+6957,
+8025,
+6212,
+56973,
+11159,
+44034,
+717,
+20504,
+56973,
+50842,
+16384,
+2246,
+47843,
+56973,
+17664,
+7824,
+9216,
+42914,
+28730,
+31883,
+6346,
+55925,
+56871,
+1500,
+35840,
+45568,
+92,
+15696,
+58938,
+13079,
+9998,
+35657,
+42206,
+17664,
+53,
+64990,
+520,
+192,
+768,
+31488,
+56973,
+62746,
+33605,
+256,
+6699,
+23866,
+31105,
+1500,
+23866,
+42206,
+7936,
+4363,
+58,
+2316,
+17664,
+40,
+1563,
+28928,
+15872,
+29492,
+41552,
+8760,
+36097,
+122,
+28928,
+63258,
+42206,
+10090,
+123,
+63152,
+28928,
+35588,
+6166,
+36098,
+17664,
+13095,
+31238,
+256,
+6699,
+4979,
+20496,
+17664,
+56371,
+14854,
+768,
+30150,
+4130,
+265,
+13100,
+1566,
+1024,
+22264,
+42206,
+17664,
+6923,
+256,
+47500,
+42368,
+42206,
+2387,
+125,
+7168,
+717,
+52727,
+20504,
+36098,
+44101,
+56540,
+25783,
+6699,
+31488,
+32784,
+13329,
+7174,
+768,
+6699,
+4070,
+55680,
+2423,
+7786,
+4864,
+794,
+3924,
+52727,
+8504,
+36097,
+65280,
+49697,
+6736,
+65082,
+56526,
+45568,
+717,
+6736,
+36098,
+40,
+2220,
+22018,
+28730,
+56371,
+7168,
+26496,
+17518,
+125,
+768,
+6699,
+6773,
+4164,
+521,
+29747,
+124,
+51914,
+20496,
+15012,
+22528,
+1536,
+11016,
+18432,
+32325,
+1280,
+97,
+60595,
+8760,
+2529,
+28928,
+60617,
+63258,
+2539,
+16384,
+2110,
+4164,
+2544,
+256,
+63258,
+31750,
+5781,
+265,
+9073,
+30626,
+63818,
+768,
+20915,
+56973,
+40,
+6699,
+56973,
+4165,
+16384,
+6699,
+34722,
+52727,
+6212,
+266,
+17856,
+31494,
+51726,
+1166,
+17520,
+53061,
+256,
+416,
+4409,
+4129,
+17664,
+55552,
+4568,
+41,
+11013,
+6736,
+65221,
+54069,
+51287,
+33872,
+33861,
+16384,
+63258,
+20496,
+36098,
+538,
+56973,
+2048,
+13576,
+30151,
+58,
+60781,
+3520,
+6699,
+20496,
+2048,
+3098,
+15524,
+17664,
+58088,
+53,
+717,
+20496,
+42206,
+18225,
+17965,
+6875,
+256,
+53,
+54751,
+17520,
+56371,
+1747,
+44058,
+51143,
+17518,
+6213,
+40,
+120,
+1636,
+6699,
+10356,
+51159,
+14394,
+2672,
+56492,
+31494,
+51167,
+17518,
+56973,
+25707,
+1024,
+52727,
+20504,
+56973,
+56371,
+1706,
+3328,
+51189,
+38268,
+17664,
+53,
+1098,
+41474,
+24656,
+42206,
+266,
+50757,
+125,
+113,
+11013,
+2724,
+1349,
+1712,
+11016,
+1954,
+46307,
+40,
+28177,
+266,
+32006,
+28928,
+22018,
+56973,
+2048,
+16671,
+36097,
+123,
+20487,
+18688,
+15012,
+64774,
+2999,
+29952,
+17518,
+36097,
+32006,
+6699,
+51239,
+52727,
+2782,
+116,
+28928,
+13576,
+63258,
+8760,
+59489,
+61816,
+60119,
+37189,
+96,
+1360,
+16290,
+522,
+29747,
+2048,
+29305,
+15012,
+63,
+6736,
+2309,
+291,
+20496,
+5120,
+45716,
+43554,
+15012,
+2832,
+33533,
+2048,
+15012,
+32006,
+768,
+53,
+32105,
+6773,
+6736,
+7538,
+15012,
+17664,
+16384,
+57088,
+53,
+6699,
+33251,
+28730,
+2861,
+256,
+2048,
+7450,
+17520,
+36097,
+124,
+8029,
+58,
+44288,
+256,
+302,
+6736,
+65280,
+43776,
+2048,
+1032,
+60288,
+31232,
+179,
+2193,
+63258,
+53120,
+56973,
+21371,
+32006,
+28928,
+2048,
+56973,
+15920,
+4148,
+1861,
+16384,
+53,
+58113,
+11376,
+22853,
+56344,
+124,
+36724,
+265,
+64918,
+56973,
+267,
+628,
+16384,
+31750,
+11016,
+612,
+56973,
+36097,
+1562,
+2048,
+768,
+1165,
+41552,
+42206,
+17856,
+30726,
+30152,
+20496,
+6212,
+36098,
+53,
+44058,
+6798,
+56973,
+17664,
+16384,
+59868,
+22018,
+20496,
+2977,
+3072,
+22665,
+56419,
+31721,
+256,
+772,
+15012,
+2213,
+56973,
+1500,
+2053,
+19633,
+34373,
+256,
+28730,
+36098,
+2241,
+2048,
+51347,
+36098,
+31494,
+3328,
+13991,
+57814,
+31238,
+51716,
+6212,
+56360,
+1024,
+56973,
+27015,
+18919,
+256,
+9217,
+4163,
+64518,
+639,
+44289,
+42053,
+11268,
+37204,
+20504,
+15012,
+34629,
+28416,
+63927,
+65278,
+49664,
+1590,
+40295,
+13882,
+50757,
+13574,
+28416,
+15012,
+30010,
+16890,
+30470,
+222,
+62544,
+56973,
+36097,
+8182,
+2048,
+80,
+15646,
+3161,
+8197,
+62329,
+17680,
+20510,
+47162,
+4130,
+42206,
+24431,
+124,
+42638,
+60,
+27648,
+51748,
+17664,
+58382,
+4420,
+56973,
+63813,
+8760,
+30400,
+41,
+65278,
+58,
+179,
+2193,
+60131,
+42206,
+222,
+4130,
+17664,
+1622,
+1039,
+52644,
+15012,
+30470,
+1098,
+62027,
+4129,
+42206,
+44284,
+8960,
+17954,
+34896,
+15012,
+36097,
+17664,
+118,
+256,
+25773,
+31312,
+256,
+55717,
+16384,
+1024,
+16208,
+3318,
+256,
+6241,
+269,
+1758,
+43776,
+508,
+118,
+5380,
+57,
+24025,
+3365,
+3507,
+61034,
+94,
+45893,
+1675,
+4864,
+9160,
+15012,
+525,
+24882,
+42206,
+269,
+1500,
+51,
+4130,
+269,
+10320,
+1024,
+40699,
+15012,
+19600,
+1024,
+408,
+30123,
+36098,
+36098,
+23844,
+36433,
+44544,
+1361,
+42206,
+4357,
+4864,
+22552,
+20496,
+56973,
+16384,
+37888,
+3924,
+42206,
+40171,
+48896,
+56890,
+24594,
+58,
+59717,
+256,
+61409,
+35680,
+3509,
+32006,
+9183,
+222,
+56973,
+10412,
+45824,
+15788,
+3533,
+30726,
+56973,
+16965,
+119,
+5632,
+256,
+4727,
+26075,
+28730,
+36097,
+58718,
+42206,
+15012,
+628,
+33548,
+6224,
+3574,
+16384,
+14592,
+17664,
+54786,
+50176,
+11034,
+29090,
+3607,
+10460,
+12356,
+4386,
+15012,
+270,
+1695,
+1124,
+56951,
+36098,
+17664,
+1601,
+4864,
+16134,
+62464,
+15012,
+16384,
+19626,
+1685,
+6346,
+11782,
+52618,
+15012,
+29446,
+34560,
+612,
+50124,
+15012,
+31750,
+711,
+26075,
+8760,
+56973,
+50106,
+50124,
+56973,
+17664,
+31750,
+39424,
+1836,
+49325,
+20496,
+3700,
+13568,
+8204,
+37707,
+46661,
+40,
+29440,
+256,
+8375,
+17390,
+36097,
+116,
+20504,
+56973,
+17664,
+6798,
+526,
+256,
+17623,
+42206,
+41,
+256,
+27102,
+8513,
+17520,
+63750,
+49446,
+36098,
+8509,
+276,
+50929,
+38400,
+36422,
+36098,
+30726,
+2491,
+20496,
+3864,
+42206,
+17664,
+5081,
+3072,
+2309,
+56979,
+64000,
+54032,
+44,
+6178,
+27504,
+276,
+20496,
+3805,
+6346,
+20496,
+15012,
+249,
+14171,
+58871,
+256,
+32665,
+62789,
+19402,
+526,
+19402,
+36098,
+10089,
+51841,
+38970,
+3832,
+256,
+5854,
+64621,
+263,
+17664,
+6408,
+56,
+23704,
+63546,
+1500,
+16384,
+14598,
+10034,
+902,
+527,
+1500,
+30214,
+15360,
+64918,
+4872,
+3885,
+28229,
+4864,
+31056,
+33605,
+3884,
+5632,
+56973,
+9450,
+6346,
+4130,
+3890,
+256,
+38480,
+4336,
+42206,
+17664,
+4864,
+201,
+20480,
+59969,
+56974,
+14598,
+4864,
+32336,
+42206,
+28928,
+717,
+717,
+32896,
+7257,
+31494,
+768,
+6699,
+18978,
+63258,
+40762,
+9417,
+56422,
+28928,
+50459,
+51431,
+36354,
+27904,
+45178,
+12848,
+48565,
+4420,
+35141,
+24424,
+17584,
+14394,
+17664,
+30726,
+53,
+16077,
+6736,
+42206,
+45125,
+13238,
+1565,
+256,
+6346,
+20496,
+15012,
+24133,
+29747,
+1562,
+3328,
+264,
+11144,
+17520,
+36354,
+10477,
+1646,
+361,
+30153,
+52727,
+106,
+10477,
+1745,
+41474,
+20504,
+512,
+1500,
+25602,
+1536,
+1059,
+4164,
+36354,
+57344,
+6699,
+25900,
+13882,
+63813,
+16384,
+30153,
+52727,
+36354,
+1668,
+13312,
+63258,
+6736,
+166,
+4353,
+1360,
+52727,
+17518,
+17664,
+1756,
+56885,
+41474,
+20504,
+42206,
+48602,
+1326,
+36354,
+1500,
+113,
+2718,
+54278,
+4127,
+16384,
+1024,
+41552,
+15012,
+30464,
+42206,
+2048,
+291,
+4164,
+1500,
+32444,
+113,
+6699,
+15012,
+512,
+16384,
+2220,
+37006,
+256,
+123,
+81,
+30153,
+54606,
+19626,
+17672,
+50699,
+256,
+46307,
+65082,
+4164,
+8343,
+7749,
+26501,
+31494,
+28164,
+52727,
+6177,
+16384,
+4352,
+6346,
+15012,
+17664,
+63750,
+576,
+40309,
+45882,
+60938,
+768,
+20496,
+56974,
+29747,
+1570,
+717,
+57199,
+56974,
+122,
+42608,
+53840,
+15012,
+513,
+56432,
+2048,
+63258,
+7808,
+60940,
+194,
+717,
+42206,
+15641,
+17664,
+16384,
+113,
+14658,
+2105,
+63258,
+36353,
+16384,
+6739,
+53,
+30153,
+44962,
+4112,
+29958,
+256,
+24025,
+8760,
+349,
+369,
+6736,
+56974,
+42012,
+256,
+717,
+23376,
+42206,
+124,
+54784,
+10761,
+28730,
+56333,
+30464,
+46581,
+63045,
+40,
+6177,
+794,
+65525,
+17664,
+16384,
+63488,
+51655,
+28218,
+36026,
+10478,
+179,
+6760,
+63258,
+56974,
+40,
+7307,
+2048,
+16896,
+20496,
+257,
+31750,
+1112,
+20496,
+15012,
+47334,
+4608,
+31105,
+15012,
+24812,
+65024,
+11195,
+15012,
+1500,
+59833,
+12357,
+56546,
+8448,
+53328,
+48,
+8280,
+7436,
+52282,
+21057,
+620,
+42206,
+16384,
+35610,
+19565,
+40,
+12045,
+44949,
+17520,
+258,
+30408,
+12288,
+4224,
+258,
+17664,
+16384,
+1760,
+58707,
+8760,
+12352,
+1589,
+256,
+23267,
+45370,
+57858,
+29190,
+11201,
+17664,
+125,
+514,
+21076,
+1542,
+1049,
+37023,
+17664,
+1760,
+264,
+19626,
+36194,
+42206,
+40,
+58118,
+7760,
+62413,
+6699,
+48720,
+120,
+280,
+59250,
+15012,
+83,
+256,
+18964,
+42206,
+16384,
+58298,
+15872,
+44189,
+56974,
+17681,
+256,
+22455,
+752,
+24832,
+6688,
+11366,
+15012,
+31246,
+26192,
+259,
+17520,
+63045,
+6688,
+23376,
+17520,
+798,
+30726,
+6760,
+259,
+119,
+8192,
+26915,
+64069,
+8192,
+6178,
+824,
+14998,
+17664,
+10448,
+6400,
+31940,
+42206,
+1076,
+34628,
+8685,
+17664,
+58800,
+2048,
+848,
+62522,
+16384,
+47939,
+20496,
+36353,
+28906,
+8199,
+17520,
+36353,
+57126,
+6688,
+2562,
+15012,
+41570,
+34560,
+47627,
+56974,
+118,
+27951,
+13904,
+42206,
+1500,
+16384,
+11520,
+6408,
+36354,
+1420,
+198,
+282,
+56974,
+1536,
+58216,
+17520,
+259,
+16384,
+2239,
+265,
+1013,
+28912,
+53587,
+31750,
+2074,
+42206,
+1280,
+6688,
+6469,
+45370,
+64151,
+53760,
+17664,
+1280,
+123,
+50880,
+36353,
+16584,
+14848,
+60162,
+30716,
+516,
+29446,
+32512,
+1280,
+30748,
+22782,
+47685,
+59550,
+7694,
+3716,
+28496,
+16384,
+1280,
+5204,
+36353,
+16384,
+8196,
+8080,
+36354,
+36353,
+30982,
+1049,
+12032,
+58216,
+260,
+516,
+52,
+1543,
+1500,
+42206,
+1139,
+30470,
+512,
+58448,
+10442,
+35249,
+35588,
+14160,
+4130,
+6204,
+119,
+256,
+1880,
+47627,
+42206,
+41730,
+1702,
+42206,
+16384,
+261,
+25773,
+30726,
+35078,
+8720,
+18944,
+11831,
+1024,
+57017,
+4224,
+56974,
+125,
+12032,
+657,
+8576,
+56514,
+40,
+8574,
+516,
+56515,
+1024,
+54751,
+50899,
+1291,
+7936,
+261,
+68,
+32006,
+1024,
+27005,
+48289,
+31824,
+9657,
+1545,
+63271,
+25940,
+20496,
+56333,
+52,
+39150,
+20496,
+17664,
+35704,
+256,
+21760,
+56974,
+16384,
+43520,
+22785,
+6212,
+35141,
+9318,
+44949,
+28594,
+249,
+3072,
+2415,
+14394,
+16384,
+4864,
+6178,
+56335,
+56,
+27102,
+62021,
+56335,
+256,
+8760,
+56335,
+256,
+8760,
+1500,
+32768,
+40,
+65280,
+9955,
+4125,
+249,
+1353,
+9235,
+64000,
+6178,
+36354,
+14342,
+256,
+292,
+36353,
+1675,
+8720,
+1675,
+27102,
+6398,
+261,
+40,
+5120,
+52654,
+20496,
+18714,
+6178,
+40,
+57118,
+33616,
+17856,
+24836,
+6178,
+56335,
+353,
+27102,
+17664,
+16384,
+10089,
+4351,
+16384,
+26880,
+282,
+37707,
+15012,
+16384,
+126,
+256,
+4130,
+56389,
+27102,
+4111,
+10089,
+3072,
+56979,
+56974,
+30470,
+54751,
+53657,
+256,
+9998,
+56979,
+36353,
+16384,
+280,
+64806,
+40809,
+3072,
+5892,
+17664,
+9998,
+63741,
+44,
+20224,
+9472,
+57049,
+61,
+1477,
+20504,
+27662,
+15012,
+57359,
+45745,
+31813,
+26223,
+1801,
+15012,
+1552,
+31750,
+56974,
+52260,
+282,
+80,
+10441,
+52889,
+6177,
+11845,
+16384,
+6699,
+15012,
+518,
+1536,
+3979,
+13737,
+14394,
+648,
+2048,
+17420,
+4224,
+24867,
+40,
+37100,
+22552,
+56400,
+1500,
+125,
+23040,
+3106,
+49198,
+8760,
+33707,
+63750,
+1319,
+18334,
+33084,
+28730,
+17664,
+24832,
+19843,
+4164,
+58,
+10382,
+2048,
+11012,
+14394,
+1500,
+5122,
+27392,
+42206,
+36354,
+3471,
+61035,
+47500,
+20504,
+61,
+256,
+6823,
+15012,
+125,
+56974,
+1804,
+55109,
+6688,
+24897,
+519,
+1605,
+15012,
+10490,
+1024,
+6688,
+43967,
+15012,
+17664,
+6400,
+256,
+31488,
+39168,
+263,
+123,
+256,
+2718,
+46515,
+58,
+56974,
+31750,
+92,
+34560,
+1297,
+1857,
+125,
+15360,
+65188,
+42223,
+37084,
+62186,
+15012,
+196,
+2048,
+2292,
+25100,
+16384,
+15320,
+56974,
+56507,
+1024,
+228,
+1920,
+21592,
+256,
+57453,
+56420,
+58,
+20496,
+56974,
+16384,
+42206,
+35200,
+58,
+31750,
+3072,
+47500,
+56974,
+3840,
+49325,
+15012,
+1759,
+256,
+1629,
+42080,
+17520,
+263,
+32433,
+256,
+1314,
+20496,
+63750,
+19403,
+56974,
+63750,
+52155,
+519,
+27102,
+3956,
+1836,
+6178,
+3959,
+19403,
+58727,
+5120,
+56979,
+53,
+52246,
+519,
+18688,
+10089,
+263,
+16384,
+52274,
+56389,
+256,
+56979,
+4421,
+256,
+45461,
+20496,
+16384,
+256,
+30541,
+6469,
+16637,
+23621,
+4864,
+653,
+8280,
+27569,
+35662,
+29218,
+20496,
+10454,
+16384,
+256,
+56103,
+44101,
+1694,
+17426,
+19404,
+36353,
+27973,
+1585,
+1112,
+36353,
+16384,
+256,
+36135,
+653,
+24912,
+25668,
+32000,
+51463,
+2539,
+520,
+43815,
+28730,
+10289,
+1262,
+25089,
+520,
+1500,
+50688,
+64080,
+42206,
+36353,
+63750,
+5122,
+12106,
+12368,
+62479,
+4864,
+8760,
+520,
+13312,
+6688,
+56161,
+20193,
+42206,
+24836,
+23808,
+36353,
+17664,
+22029,
+1032,
+56656,
+1706,
+34842,
+56974,
+46143,
+16384,
+1739,
+78,
+36578,
+54166,
+17664,
+16384,
+4158,
+10240,
+36353,
+16384,
+30174,
+1358,
+2256,
+31238,
+10496,
+58382,
+65278,
+57344,
+3335,
+57458,
+56302,
+124,
+536,
+20421,
+42206,
+52800,
+51463,
+720,
+56974,
+15199,
+256,
+44750,
+15012,
+31494,
+3072,
+6699,
+36353,
+11373,
+31246,
+8250,
+13565,
+16529,
+6212,
+24832,
+31105,
+16529,
+17520,
+18757,
+56822,
+6144,
+34033,
+42206,
+1500,
+3840,
+8708,
+8080,
+56974,
+18718,
+18947,
+1222,
+120,
+295,
+26724,
+40,
+14592,
+1024,
+4130,
+53829,
+1288,
+256,
+34960,
+42206,
+10260,
+10496,
+37678,
+51452,
+2393,
+11333,
+1611,
+256,
+58888,
+56400,
+32006,
+27005,
+3924,
+56161,
+17664,
+10510,
+58077,
+55866,
+10324,
+30726,
+6400,
+5122,
+62544,
+56974,
+34420,
+13056,
+11069,
+56951,
+42206,
+36677,
+31494,
+6869,
+17520,
+1880,
+6211,
+96,
+2481,
+4164,
+521,
+14478,
+2816,
+263,
+56848,
+4130,
+521,
+4625,
+26981,
+8250,
+92,
+23808,
+42206,
+17664,
+36226,
+6212,
+9808,
+42206,
+4224,
+25157,
+96,
+6044,
+36353,
+32006,
+2309,
+59905,
+29264,
+56974,
+25711,
+32006,
+53,
+22096,
+5953,
+32429,
+256,
+51716,
+266,
+36987,
+19404,
+10560,
+29446,
+96,
+11017,
+13904,
+17664,
+1629,
+40529,
+17520,
+7680,
+9697,
+15012,
+64518,
+508,
+4164,
+15012,
+17664,
+1459,
+1631,
+13294,
+36353,
+8192,
+4666,
+10565,
+24467,
+1372,
+43967,
+266,
+29976,
+36354,
+7098,
+42206,
+8714,
+21061,
+124,
+5888,
+45,
+2722,
+125,
+45147,
+20504,
+25157,
+117,
+1024,
+6688,
+222,
+15012,
+57099,
+8760,
+266,
+2048,
+56974,
+44544,
+19223,
+48709,
+8363,
+490,
+37289,
+1620,
+1099,
+52383,
+17664,
+256,
+27102,
+56974,
+249,
+1099,
+14394,
+24462,
+27102,
+1712,
+56979,
+1735,
+256,
+10089,
+56335,
+1541,
+64549,
+10347,
+51300,
+266,
+10347,
+256,
+56979,
+36353,
+49252,
+35636,
+5120,
+1410,
+56974,
+124,
+19405,
+56974,
+1631,
+18461,
+15012,
+24460,
+10089,
+4164,
+45137,
+56979,
+10324,
+56951,
+4351,
+30726,
+34048,
+20496,
+17664,
+263,
+61175,
+8668,
+17664,
+9984,
+61175,
+48388,
+27607,
+10496,
+4130,
+2816,
+1222,
+522,
+58812,
+45824,
+12122,
+1500,
+256,
+15012,
+16384,
+25344,
+25773,
+6807,
+361,
+2539,
+10320,
+52926,
+6269,
+56463,
+34665,
+20496,
+53336,
+42206,
+16384,
+4130,
+676,
+5120,
+27102,
+1571,
+52600,
+56974,
+16384,
+1024,
+10089,
+848,
+36353,
+56,
+256,
+51796,
+52608,
+14394,
+56327,
+119,
+30550,
+5840,
+12189,
+123,
+9984,
+6869,
+32768,
+16384,
+13568,
+47373,
+6177,
+245,
+56055,
+4130,
+22117,
+52,
+125,
+6144,
+20970,
+36354,
+46917,
+16384,
+41472,
+369,
+16529,
+30719,
+7424,
+56974,
+15012,
+22863,
+8192,
+60672,
+8682,
+56974,
+13541,
+2962,
+28060,
+267,
+17664,
+86,
+21872,
+16794,
+523,
+16384,
+256,
+25858,
+32826,
+3017,
+16384,
+28928,
+9984,
+539,
+56951,
+14394,
+41541,
+11843,
+280,
+31056,
+120,
+292,
+17664,
+22784,
+6212,
+1500,
+31238,
+36354,
+40307,
+17664,
+1280,
+32792,
+1368,
+56974,
+31636,
+37632,
+22096,
+36354,
+122,
+768,
+56974,
+2309,
+42206,
+125,
+256,
+263,
+52627,
+53306,
+17664,
+40,
+1657,
+9984,
+3293,
+26481,
+48,
+124,
+256,
+51,
+42206,
+17664,
+14374,
+124,
+6580,
+14394,
+26830,
+124,
+256,
+238,
+36354,
+16384,
+6346,
+54096,
+65082,
+6725,
+9984,
+5658,
+12032,
+65082,
+39234,
+51,
+20504,
+17664,
+30612,
+263,
+8230,
+9040,
+36353,
+51591,
+7024,
+23267,
+4130,
+3203,
+29446,
+2048,
+515,
+36354,
+22659,
+31246,
+32784,
+524,
+3072,
+58,
+17664,
+1759,
+256,
+2048,
+35664,
+17664,
+1768,
+48888,
+55632,
+3251,
+1586,
+1273,
+52638,
+36353,
+56340,
+11520,
+23893,
+42206,
+16384,
+260,
+33536,
+27102,
+42206,
+581,
+9817,
+524,
+30976,
+8192,
+8760,
+21317,
+16384,
+63886,
+17664,
+256,
+8760,
+256,
+56979,
+40,
+256,
+44090,
+58,
+16384,
+1099,
+21328,
+268,
+249,
+56979,
+63750,
+4130,
+16384,
+52788,
+17664,
+16637,
+31750,
+10089,
+33872,
+16384,
+27102,
+3311,
+13446,
+22844,
+3318,
+40,
+56885,
+25424,
+57038,
+6699,
+13136,
+120,
+39680,
+282,
+11639,
+14394,
+8776,
+10089,
+65278,
+63750,
+1099,
+525,
+16384,
+256,
+658,
+8760,
+525,
+7493,
+40,
+30982,
+63271,
+20496,
+6645,
+25858,
+20496,
+31750,
+5632,
+7444,
+61193,
+6160,
+525,
+17664,
+124,
+256,
+9776,
+57017,
+42206,
+249,
+1083,
+20504,
+1500,
+1675,
+35920,
+56974,
+16384,
+2158,
+45370,
+17358,
+256,
+6144,
+525,
+4352,
+42206,
+16384,
+60,
+18968,
+292,
+15012,
+119,
+6346,
+34265,
+51463,
+24602,
+56974,
+18176,
+37756,
+53719,
+38059,
+40,
+16384,
+256,
+30550,
+56974,
+3489,
+30726,
+9754,
+57359,
+22096,
+42565,
+50432,
+40202,
+34860,
+525,
+40,
+1702,
+256,
+8710,
+4164,
+525,
+2933,
+44208,
+17664,
+125,
+2816,
+22552,
+6212,
+50757,
+15959,
+2640,
+28730,
+40,
+14080,
+2558,
+42206,
+1500,
+6346,
+20504,
+525,
+53,
+40302,
+20504,
+44,
+295,
+6380,
+32784,
+270,
+16384,
+256,
+30550,
+56974,
+1024,
+37090,
+56974,
+17664,
+538,
+6212,
+3629,
+41984,
+6699,
+24897,
+1500,
+3441,
+13136,
+62522,
+16384,
+256,
+6699,
+3325,
+55808,
+38426,
+10780,
+15012,
+20837,
+63750,
+256,
+42108,
+56400,
+32262,
+24836,
+42206,
+44101,
+8274,
+1216,
+36353,
+40773,
+4352,
+4130,
+56974,
+4608,
+3925,
+42206,
+4098,
+281,
+35397,
+19156,
+12041,
+8760,
+27656,
+8760,
+65093,
+4864,
+27768,
+1674,
+57315,
+36353,
+17664,
+5120,
+10089,
+14405,
+13657,
+4130,
+3701,
+14342,
+3335,
+10089,
+17664,
+62208,
+53011,
+526,
+35570,
+19407,
+42206,
+27664,
+5120,
+42206,
+15012,
+17664,
+52331,
+16384,
+4864,
+59906,
+32826,
+40,
+52871,
+256,
+15226,
+28496,
+36354,
+3740,
+5895,
+23040,
+10089,
+17664,
+256,
+56447,
+46026,
+42709,
+10089,
+36354,
+31750,
+256,
+20069,
+34874,
+56336,
+10089,
+56974,
+4864,
+27102,
+17520,
+3770,
+5122,
+30550,
+42206,
+55498,
+42752,
+263,
+21974,
+36354,
+29446,
+37707,
+3828,
+117,
+6688,
+6178,
+120,
+4224,
+20430,
+17664,
+38162,
+8250,
+2048,
+9890,
+17664,
+20496,
+527,
+11201,
+27264,
+48384,
+8665,
+17664,
+29629,
+16384,
+1215,
+20496,
+50490,
+9754,
+51796,
+3771,
+9552,
+32006,
+216,
+36400,
+37968,
+36609,
+16384,
+6400,
+282,
+6177,
+17664,
+125,
+54016,
+1500,
+25726,
+37888,
+14829,
+56951,
+512,
+5304,
+13824,
+67,
+512,
+1024,
+6736,
+29923,
+10374,
+45,
+14394,
+512,
+31101,
+52399,
+303,
+31949,
+6398,
+131,
+9984,
+7983,
+11439,
+20504,
+55621,
+40,
+43258,
+512,
+17664,
+5120,
+37461,
+20496,
+1545,
+1129,
+37461,
+37278,
+4164,
+49466,
+32006,
+6400,
+62413,
+20496,
+17664,
+28928,
+36609,
+29850,
+6688,
+15270,
+6177,
+288,
+124,
+13824,
+539,
+15909,
+44155,
+20496,
+36610,
+44,
+13574,
+48189,
+7077,
+5120,
+56975,
+22022,
+64266,
+15012,
+16384,
+46860,
+37495,
+20504,
+257,
+13437,
+2816,
+6699,
+15162,
+359,
+16384,
+37707,
+11201,
+36609,
+36771,
+20487,
+16112,
+36609,
+15012,
+513,
+124,
+512,
+22065,
+38882,
+16384,
+20737,
+26693,
+16384,
+9697,
+513,
+1731,
+972,
+2048,
+14394,
+17664,
+52,
+56979,
+64295,
+256,
+53148,
+36610,
+8760,
+16384,
+4864,
+28730,
+122,
+256,
+40082,
+36609,
+4864,
+42206,
+16384,
+16825,
+58,
+16384,
+5120,
+37707,
+17664,
+2304,
+703,
+58,
+50787,
+12439,
+6177,
+58655,
+44024,
+36609,
+8840,
+36610,
+36471,
+10023,
+15012,
+29253,
+41984,
+10089,
+513,
+124,
+256,
+31105,
+10053,
+64518,
+3926,
+42206,
+40,
+52224,
+1839,
+3926,
+58939,
+2117,
+120,
+51456,
+4363,
+2163,
+42206,
+4864,
+1262,
+27428,
+42206,
+32006,
+256,
+56975,
+249,
+11047,
+1861,
+4864,
+14394,
+31750,
+6346,
+2474,
+257,
+31729,
+63271,
+56975,
+56,
+24836,
+58192,
+16384,
+11201,
+60474,
+17884,
+26724,
+514,
+21061,
+16384,
+1540,
+6688,
+42206,
+42206,
+2907,
+12800,
+6699,
+16640,
+20496,
+37189,
+13312,
+51723,
+20504,
+38213,
+13482,
+13312,
+18871,
+64581,
+31750,
+256,
+6178,
+63750,
+42720,
+4350,
+53351,
+2048,
+33723,
+53324,
+36609,
+21000,
+50681,
+563,
+44288,
+2159,
+3926,
+15012,
+36610,
+16384,
+18688,
+21504,
+40960,
+63382,
+60229,
+1760,
+27005,
+5707,
+61765,
+73,
+1477,
+39482,
+34751,
+5840,
+56975,
+40,
+31105,
+8760,
+640,
+17664,
+11520,
+8192,
+1216,
+14394,
+36609,
+17664,
+15386,
+7444,
+38509,
+56975,
+47429,
+16384,
+4096,
+256,
+1242,
+29187,
+56975,
+31750,
+31105,
+29815,
+53529,
+11264,
+1086,
+56975,
+55154,
+6688,
+8218,
+56975,
+9541,
+280,
+58,
+30726,
+57199,
+17664,
+120,
+21361,
+42206,
+51013,
+14829,
+58,
+932,
+5632,
+658,
+61008,
+56975,
+322,
+256,
+32105,
+51,
+658,
+4130,
+56975,
+1591,
+6400,
+42051,
+56442,
+15012,
+38213,
+18835,
+18423,
+15012,
+3535,
+29952,
+260,
+16640,
+20496,
+31750,
+192,
+6699,
+63588,
+59786,
+64817,
+64570,
+10576,
+19145,
+31494,
+8760,
+40,
+19239,
+1567,
+19408,
+259,
+4191,
+24576,
+27102,
+64000,
+56336,
+1911,
+10089,
+1500,
+256,
+27102,
+24269,
+8164,
+35623,
+515,
+8160,
+53450,
+36610,
+32006,
+256,
+27102,
+15012,
+14394,
+17664,
+56979,
+56975,
+9567,
+24836,
+16208,
+36609,
+56497,
+38285,
+24836,
+26724,
+886,
+84,
+353,
+20496,
+17664,
+256,
+63271,
+19408,
+36609,
+1536,
+256,
+5241,
+56979,
+56975,
+56,
+4576,
+19409,
+909,
+124,
+256,
+6699,
+25658,
+17232,
+8672,
+28955,
+14592,
+19409,
+9285,
+16384,
+33041,
+2885,
+1567,
+20263,
+36610,
+1500,
+30726,
+49,
+53553,
+259,
+16384,
+215,
+353,
+56975,
+40,
+29702,
+21504,
+353,
+27951,
+53551,
+259,
+14342,
+3072,
+46976,
+948,
+1719,
+19798,
+4129,
+17664,
+16384,
+63827,
+5241,
+44950,
+56975,
+15012,
+45862,
+58880,
+7905,
+51269,
+28957,
+53562,
+17520,
+8448,
+369,
+40529,
+56975,
+24836,
+55577,
+259,
+66,
+22530,
+259,
+24576,
+40976,
+64000,
+10323,
+1760,
+58192,
+260,
+124,
+256,
+20739,
+14336,
+28730,
+1045,
+48390,
+2560,
+46104,
+17520,
+15012,
+56975,
+1075,
+56416,
+16384,
+16077,
+20496,
+56975,
+13592,
+17199,
+42206,
+17519,
+117,
+1727,
+57065,
+41,
+31105,
+20538,
+1101,
+33291,
+1682,
+2996,
+28730,
+10270,
+124,
+4864,
+20739,
+42910,
+1125,
+64669,
+17025,
+65188,
+31238,
+13056,
+51815,
+40381,
+36610,
+17664,
+1590,
+16896,
+15012,
+7168,
+1368,
+56951,
+39738,
+31870,
+13338,
+41984,
+65201,
+20858,
+56975,
+1500,
+13304,
+55552,
+25759,
+59392,
+51823,
+40529,
+42206,
+36609,
+9436,
+16384,
+1024,
+40556,
+56975,
+10752,
+34602,
+6178,
+1199,
+32262,
+4608,
+6346,
+56951,
+56975,
+49253,
+1500,
+58112,
+4130,
+56975,
+1230,
+4352,
+13136,
+55610,
+17664,
+116,
+6912,
+43005,
+56975,
+1247,
+15360,
+40309,
+53562,
+42206,
+22031,
+56133,
+78,
+61776,
+16384,
+30550,
+53561,
+36610,
+16384,
+3098,
+31105,
+15012,
+6699,
+4300,
+17664,
+256,
+3926,
+1320,
+249,
+17688,
+25705,
+12561,
+16384,
+5888,
+20739,
+27400,
+4130,
+10320,
+11034,
+14394,
+1500,
+124,
+1536,
+4164,
+17664,
+53523,
+2048,
+46174,
+15012,
+256,
+12963,
+17939,
+14049,
+51,
+36610,
+17664,
+10340,
+282,
+24008,
+12032,
+42206,
+24812,
+1630,
+20496,
+1388,
+1774,
+11008,
+24008,
+14394,
+125,
+955,
+17520,
+517,
+17664,
+1500,
+31750,
+1024,
+1024,
+6465,
+8807,
+30464,
+5658,
+8710,
+56610,
+261,
+16384,
+353,
+23555,
+20504,
+4386,
+2159,
+17232,
+53306,
+16581,
+123,
+12032,
+1024,
+58298,
+17767,
+124,
+256,
+2128,
+261,
+256,
+31105,
+15012,
+1500,
+3328,
+26932,
+56975,
+1499,
+21729,
+2816,
+1028,
+53725,
+36610,
+50176,
+10089,
+517,
+1536,
+1099,
+517,
+4238,
+11264,
+56975,
+4240,
+28607,
+34885,
+96,
+65196,
+63750,
+56979,
+10348,
+4864,
+20496,
+56975,
+32718,
+29188,
+58,
+34065,
+11264,
+55202,
+65535,
+256,
+57199,
+47429,
+19518,
+45856,
+1541,
+32003,
+1567,
+53667,
+28730,
+17664,
+8760,
+5178,
+31494,
+4864,
+8760,
+4864,
+6178,
+22085,
+24594,
+56336,
+8760,
+5120,
+10089,
+53689,
+42206,
+7870,
+18818,
+6687,
+11015,
+31368,
+32768,
+27772,
+65147,
+36610,
+33792,
+53769,
+42206,
+249,
+4864,
+56979,
+36677,
+17664,
+31494,
+256,
+22871,
+36609,
+113,
+1099,
+3463,
+1589,
+10348,
+28928,
+5120,
+34663,
+58298,
+42206,
+15987,
+22393,
+262,
+49742,
+13576,
+11125,
+1614,
+17664,
+10449,
+2048,
+6699,
+11017,
+64918,
+36609,
+51525,
+19905,
+32256,
+5632,
+717,
+20496,
+26189,
+51200,
+56979,
+1565,
+256,
+717,
+58298,
+28218,
+52,
+7546,
+4864,
+6699,
+15012,
+11333,
+120,
+57746,
+11125,
+57017,
+64000,
+1657,
+31750,
+30720,
+37651,
+42,
+8692,
+23365,
+21733,
+52736,
+51777,
+15012,
+1666,
+17664,
+1759,
+538,
+12032,
+20496,
+15012,
+31494,
+768,
+263,
+1105,
+56975,
+20504,
+56372,
+32006,
+7424,
+18237,
+17518,
+1622,
+97,
+6178,
+42206,
+1500,
+123,
+2220,
+16290,
+63741,
+42206,
+124,
+30154,
+51783,
+20496,
+17664,
+16497,
+2048,
+8194,
+1059,
+17664,
+31494,
+28999,
+34709,
+11589,
+16384,
+28928,
+35920,
+52279,
+40,
+6655,
+22018,
+15012,
+1750,
+125,
+16056,
+22352,
+17664,
+123,
+52727,
+15012,
+518,
+16384,
+1024,
+7450,
+17518,
+40,
+97,
+6736,
+42206,
+16384,
+1032,
+4164,
+40,
+369,
+42206,
+252,
+51839,
+17680,
+65376,
+256,
+22018,
+20496,
+14394,
+17664,
+120,
+34816,
+13576,
+41913,
+4130,
+56975,
+30533,
+13382,
+13576,
+5122,
+51,
+5896,
+56420,
+25471,
+11264,
+18564,
+4130,
+14394,
+36610,
+9536,
+124,
+256,
+17298,
+4130,
+13384,
+256,
+768,
+36253,
+41474,
+20496,
+28928,
+41067,
+47952,
+28730,
+13268,
+16384,
+1577,
+4096,
+44962,
+15012,
+1500,
+768,
+8192,
+47010,
+14394,
+20049,
+63233,
+52727,
+46328,
+263,
+13396,
+19456,
+6699,
+1422,
+20496,
+26181,
+16384,
+53,
+58249,
+6212,
+36609,
+16384,
+9998,
+63258,
+17520,
+38411,
+18432,
+53,
+290,
+56975,
+56372,
+44058,
+63258,
+20496,
+60692,
+3072,
+44058,
+24602,
+42206,
+56,
+3072,
+12696,
+8760,
+1932,
+17664,
+33251,
+1936,
+5186,
+1782,
+11016,
+3808,
+28218,
+120,
+954,
+31105,
+4676,
+628,
+123,
+20224,
+53,
+11034,
+4350,
+13407,
+28928,
+47105,
+8760,
+31494,
+2048,
+8888,
+45882,
+43904,
+15012,
+36609,
+13412,
+56576,
+51,
+20496,
+42206,
+17664,
+16384,
+256,
+21504,
+47105,
+6212,
+42206,
+48112,
+125,
+28928,
+4576,
+50554,
+16384,
+2048,
+51991,
+52727,
+519,
+64774,
+27102,
+252,
+24882,
+42206,
+1500,
+7476,
+256,
+56979,
+1500,
+28928,
+20011,
+28730,
+36677,
+4864,
+42206,
+123,
+67,
+9998,
+8760,
+17218,
+1500,
+1099,
+36609,
+56372,
+5120,
+848,
+42206,
+14342,
+14394,
+2019,
+5120,
+30155,
+58,
+31494,
+2048,
+61175,
+15012,
+17664,
+14342,
+44058,
+15012,
+16384,
+256,
+263,
+2048,
+39760,
+64518,
+16072,
+56336,
+54055,
+36610,
+4864,
+63718,
+36609,
+16384,
+14394,
+256,
+27102,
+40684,
+42206,
+53886,
+55713,
+17664,
+26270,
+353,
+28730,
+39749,
+58835,
+45111,
+6760,
+32006,
+6699,
+63271,
+57215,
+2059,
+1623,
+2220,
+30155,
+19410,
+46650,
+1631,
+22257,
+56144,
+2064,
+1500,
+31494,
+22018,
+23866,
+2048,
+45,
+46522,
+60288,
+9141,
+40,
+256,
+8760,
+56336,
+19410,
+42206,
+1571,
+10089,
+17664,
+11520,
+56979,
+61253,
+13576,
+12190,
+20496,
+14394,
+36609,
+27811,
+113,
+27102,
+63258,
+63546,
+32387,
+20496,
+28218,
+17664,
+31750,
+5127,
+63258,
+6736,
+36609,
+2124,
+17664,
+56329,
+2220,
+31923,
+52727,
+264,
+1599,
+7168,
+11264,
+12272,
+36609,
+45824,
+2560,
+256,
+27465,
+20504,
+36609,
+16384,
+28928,
+2048,
+2220,
+1313,
+249,
+19411,
+6736,
+56975,
+123,
+23296,
+1262,
+42326,
+51329,
+17824,
+50254,
+44058,
+44374,
+4131,
+40773,
+1561,
+28928,
+4864,
+42206,
+17664,
+124,
+28928,
+11125,
+50518,
+36326,
+62,
+63258,
+63258,
+48664,
+16384,
+51354,
+15757,
+8760,
+39237,
+29748,
+32006,
+256,
+6699,
+30155,
+717,
+8672,
+55049,
+32006,
+266,
+62720,
+15012,
+57396,
+1500,
+1536,
+6400,
+11373,
+30155,
+17518,
+520,
+1024,
+37762,
+63258,
+62591,
+2220,
+32442,
+45381,
+3648,
+521,
+17664,
+56340,
+6688,
+32171,
+41552,
+63557,
+1699,
+58880,
+17520,
+36610,
+44177,
+6699,
+6736,
+15012,
+40,
+31761,
+34473,
+6688,
+4176,
+15012,
+123,
+9472,
+17518,
+36609,
+40,
+6050,
+47828,
+16568,
+538,
+8098,
+15012,
+14569,
+41533,
+1024,
+6736,
+15012,
+32006,
+768,
+53,
+64806,
+40,
+30726,
+59136,
+36610,
+123,
+256,
+64848,
+19915,
+26268,
+1629,
+30156,
+52727,
+265,
+125,
+34048,
+256,
+53,
+3865,
+33872,
+32006,
+11125,
+56979,
+4164,
+42206,
+55877,
+61173,
+256,
+6346,
+659,
+4164,
+42206,
+13381,
+245,
+13058,
+52727,
+20496,
+30158,
+40,
+32000,
+256,
+3601,
+42206,
+14394,
+36610,
+1500,
+50673,
+11016,
+41474,
+20504,
+15012,
+265,
+16384,
+263,
+303,
+42206,
+30976,
+6400,
+6688,
+717,
+15012,
+36609,
+1500,
+1775,
+16077,
+521,
+249,
+58151,
+2467,
+113,
+19411,
+249,
+26724,
+265,
+4336,
+45568,
+19411,
+4164,
+56975,
+1500,
+19411,
+14394,
+63750,
+32592,
+44869,
+1561,
+30156,
+6178,
+36610,
+19411,
+17520,
+46324,
+64273,
+10496,
+1262,
+52727,
+14394,
+27205,
+40940,
+31855,
+265,
+4347,
+24836,
+4164,
+1500,
+5120,
+37144,
+19411,
+42206,
+10752,
+23335,
+41530,
+56,
+256,
+717,
+4351,
+64,
+34798,
+53,
+52295,
+8603,
+50496,
+6178,
+32006,
+64,
+30712,
+8250,
+18963,
+35397,
+1723,
+41474,
+31856,
+2514,
+27838,
+6912,
+717,
+19411,
+42206,
+628,
+35393,
+3463,
+10348,
+11016,
+52048,
+2528,
+16384,
+29440,
+11317,
+4164,
+58785,
+10496,
+30156,
+13689,
+17664,
+7936,
+2220,
+7288,
+56975,
+40,
+53,
+51364,
+15012,
+16384,
+659,
+44058,
+36610,
+256,
+14394,
+27102,
+4373,
+1083,
+13541,
+41552,
+65082,
+124,
+28928,
+10089,
+6736,
+2570,
+659,
+4164,
+266,
+56,
+7424,
+44058,
+56979,
+20496,
+1500,
+1662,
+10510,
+15685,
+52727,
+42206,
+23808,
+2220,
+12117,
+30156,
+522,
+32006,
+6912,
+41474,
+6212,
+56975,
+};
More information about the llvm-commits
mailing list