aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--src/parse.c19
-rw-r--r--src/targets/blc.c57
-rw-r--r--src/targets/unbblc.c5
-rw-r--r--src/targets/unblc.c4
-rw-r--r--test/aoc.bla1
-rw-r--r--test/churchadd1.blc1
-rw-r--r--test/churchadd2.blc1
-rw-r--r--test/churcharith.blc1
-rw-r--r--test/fac.blc1
-rwxr-xr-xtest/run17
-rw-r--r--test/ternaryadd.blc1
11 files changed, 64 insertions, 44 deletions
diff --git a/src/parse.c b/src/parse.c
index 84cfcfd..018f4be 100644
--- a/src/parse.c
+++ b/src/parse.c
@@ -17,18 +17,19 @@
// 00MN -> application of M and N
// 1X0 -> bruijn index, amount of 1s in X
// 011I -> 2B index to entry
-static struct term *parse_bloc_bblc(const char *term, size_t *bit)
+static struct term *parse_bloc_bblc(const char *term, size_t length,
+ size_t *bit)
{
struct term *res = 0;
if (!BIT_AT(*bit) && BIT_AT(*bit + 1) && !BIT_AT(*bit + 2)) {
(*bit) += 3;
res = new_term(ABS);
- res->u.abs.term = parse_bloc_bblc(term, bit);
+ res->u.abs.term = parse_bloc_bblc(term, length, bit);
} else if (!BIT_AT(*bit) && !BIT_AT(*bit + 1)) {
(*bit) += 2;
res = new_term(APP);
- res->u.app.lhs = parse_bloc_bblc(term, bit);
- res->u.app.rhs = parse_bloc_bblc(term, bit);
+ res->u.app.lhs = parse_bloc_bblc(term, length, bit);
+ res->u.app.rhs = parse_bloc_bblc(term, length, bit);
} else if (BIT_AT(*bit)) {
const size_t cur = *bit;
while (BIT_AT(*bit))
@@ -49,10 +50,12 @@ static struct term *parse_bloc_bblc(const char *term, size_t *bit)
index |= BIT_AT(*bit) << i;
(*bit) += 1;
}
- res->u.ref.index = index;
+
+ // normalize to entry index
+ res->u.ref.index = length - index - 2;
} else {
(*bit)++;
- res = parse_bloc_bblc(term, bit);
+ res = parse_bloc_bblc(term, length, bit);
}
return res;
}
@@ -73,8 +76,8 @@ struct bloc_parsed *parse_bloc(const void *bloc)
const struct bloc_entry *current = (const void *)&header->entries;
for (size_t i = 0; i < parsed->length; i++) {
size_t len = 0;
- parsed->entries[i] =
- parse_bloc_bblc((const char *)current, &len);
+ parsed->entries[i] = parse_bloc_bblc((const char *)current,
+ parsed->length, &len);
current =
(const struct bloc_entry *)(((const char *)current) +
(len / 8) + (len % 8 != 0));
diff --git a/src/targets/blc.c b/src/targets/blc.c
index a1cbbf3..82e0bc4 100644
--- a/src/targets/blc.c
+++ b/src/targets/blc.c
@@ -18,20 +18,20 @@
static void fprint_blc_substituted(struct term *term, struct bloc_parsed *bloc,
size_t *positions_inv, void **closed,
- int depth, FILE *file)
+ int depth, size_t position, FILE *file)
{
switch (term->type) {
case ABS:
fprintf(file, "00");
fprint_blc_substituted(term->u.abs.term, bloc, positions_inv,
- closed, depth + 1, file);
+ closed, depth + 1, position, file);
break;
case APP:
fprintf(file, "01");
fprint_blc_substituted(term->u.app.lhs, bloc, positions_inv,
- closed, depth, file);
+ closed, depth, position, file);
fprint_blc_substituted(term->u.app.rhs, bloc, positions_inv,
- closed, depth, file);
+ closed, depth, position, file);
break;
case VAR:
for (int i = 0; i <= term->u.var.index; i++)
@@ -42,17 +42,18 @@ static void fprint_blc_substituted(struct term *term, struct bloc_parsed *bloc,
if (term->u.ref.index + 1 >= bloc->length)
fatal("invalid ref index %ld\n", term->u.ref.index);
- int reffed = bloc->length - term->u.ref.index - 2;
- if (closed[reffed]) {
- debug("closed ref %d\n", reffed);
- int index = depth + positions_inv[reffed];
+ if (closed[term->u.ref.index]) {
+ int index =
+ depth +
+ (positions_inv[term->u.ref.index] - position) -
+ 1;
for (int i = 0; i <= index; i++)
fprintf(file, "1");
fprintf(file, "0");
} else {
- fprint_blc_substituted(bloc->entries[reffed], bloc,
- positions_inv, closed, depth,
- file);
+ fprint_blc_substituted(bloc->entries[term->u.ref.index],
+ bloc, positions_inv, closed,
+ depth, position, file);
}
break;
default:
@@ -66,26 +67,25 @@ static void fprint_blc(size_t *positions, void *closed,
size_t *positions_inv =
calloc(bloc->length * sizeof(*positions_inv), 1);
+ // find abstraction count (end) and write header
size_t end = 0;
- for (size_t i = 0; i < bloc->length; i++) {
- if (!positions[i]) {
- end = i;
+ while (1) {
+ end++;
+ if (end >= bloc->length || !positions[end])
break;
- }
- positions_inv[bloc->length - positions[i]] = i;
fprintf(file, "0100"); // ([
- /* fprintf(file, "(["); */
}
- /* fprintf(file, "0"); */
+ // create inv, s.t. ref inc0 -> pos lr
+ for (size_t i = 0; i < end; i++) {
+ debug("%ld: %ld\n", positions[i] - 1, end - i - 1);
+ positions_inv[positions[i] - 1] = end - i - 1;
+ }
for (size_t i = end; i > 0; i--) {
- /* fprintf(file, "]"); // implicit */
- fprint_blc_substituted(
- bloc->entries[bloc->length - positions[i - 1]], bloc,
- positions_inv, closed, 0, file);
- /* fprintf(file, "<%ld>", bloc->length - positions[i - 1]); */
- /* fprintf(file, ")"); // implicit */
+ fprint_blc_substituted(bloc->entries[positions[i - 1] - 1],
+ bloc, positions_inv, closed, 0, end - i,
+ file);
}
free(positions_inv);
@@ -107,7 +107,7 @@ static void bitmap_deps(struct bloc_parsed *bloc, char *bitmap,
case REF:
if (term->u.ref.index + 1 >= bloc->length)
fatal("invalid ref index %ld\n", term->u.ref.index);
- bitmap[bloc->length - term->u.ref.index - 2] = 1;
+ bitmap[term->u.ref.index] = 1;
break;
default:
fatal("invalid type %d\n", term->type);
@@ -134,8 +134,7 @@ static unsigned int annotate(struct bloc_parsed *bloc, struct term *term,
case REF:
if (term->u.ref.index + 1 >= bloc->length)
fatal("invalid ref index %ld\n", term->u.ref.index);
- struct term *sub =
- bloc->entries[bloc->length - term->u.ref.index - 2];
+ struct term *sub = bloc->entries[term->u.ref.index];
return annotate(bloc, sub, depth);
default:
fatal("invalid type %d\n", term->type);
@@ -166,7 +165,7 @@ static void visit(char **bitmaps, char *marks, size_t *positions,
marks[n] &= ~TEMPORARY_MARK;
marks[n] |= PERMANENT_MARK;
- positions[*position] = length - n; // deliberate offset of +2
+ positions[*position] = n + 1;
(*position)++;
}
@@ -210,10 +209,8 @@ static void write_blc(struct bloc_parsed *bloc, FILE *file)
size_t *positions = topological_sort(bitmaps, bloc->length);
fprint_blc(positions, bitmaps, bloc, file);
- /* fprintf(file, "\n"); */
for (size_t i = 0; i < bloc->length; i++) {
- /* printf("%ld: %ld, ", i, positions[i]); */
if (bitmaps[i])
free(bitmaps[i]);
}
diff --git a/src/targets/unbblc.c b/src/targets/unbblc.c
index 57bc1cf..4c3a3c9 100644
--- a/src/targets/unbblc.c
+++ b/src/targets/unbblc.c
@@ -47,9 +47,8 @@ static void fprint_unbblc(struct term *term, struct bloc_parsed *bloc,
case REF:
if (term->u.ref.index + 1 >= bloc->length)
fatal("invalid ref index %ld\n", term->u.ref.index);
- fprint_unbblc(
- bloc->entries[bloc->length - term->u.ref.index - 2],
- bloc, file, byte, bit);
+ fprint_unbblc(bloc->entries[term->u.ref.index], bloc, file,
+ byte, bit);
break;
default:
fatal("invalid type %d\n", term->type);
diff --git a/src/targets/unblc.c b/src/targets/unblc.c
index 7e6c6e6..1b59f7f 100644
--- a/src/targets/unblc.c
+++ b/src/targets/unblc.c
@@ -30,9 +30,7 @@ static void fprint_unblc(struct term *term, struct bloc_parsed *bloc,
case REF:
if (term->u.ref.index + 1 >= bloc->length)
fatal("invalid ref index %ld\n", term->u.ref.index);
- fprint_unblc(
- bloc->entries[bloc->length - term->u.ref.index - 2],
- bloc, file);
+ fprint_unblc(bloc->entries[term->u.ref.index], bloc, file);
break;
default:
fatal("invalid type %d\n", term->type);
diff --git a/test/aoc.bla b/test/aoc.bla
new file mode 100644
index 0000000..edc2c7a
--- /dev/null
+++ b/test/aoc.bla
@@ -0,0 +1 @@
+0001000101000000010110111011001000110000011010010101010001000111000010111011010000111000010111011010000000000101010001011000000000001000001101011001010111110111001011110110010001100000110100100011000001010000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101000000000111100101010001000111000010111011010000111000010111011010000000010101000101100000000000100000110100000100101010001010101100000110000000100000001000101100000100101000000010110111011001000110000011010010111100100010001100000100101010110010100000001011011101100000000011110000000000111101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000111001010101111110111101110110101000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111100101010111111011110111011010110110010001100000101000000000011001110111101001010001000111000010111011010000111000010111011010000001010100010110000000000010000011010000010010101000100011100001011101101000011100001011101101000000001010100010110000000000010000011011010010100000001011011101100100011000001101100101111001000110000010110100101010001000111000010111011010000111000010111011010000000010101000101100000000000100000110110100101000000010110111011001000110000011011001011110010001100000101101001110010101000000010111101011001000100011100001011101101000011100001011101101000000001010100010110000000000010000011010000010010101011100100011000001101001000000010110111011001000110000011010001001011110110010001100000101001000110000010100101000000010111101011001000000010111101011000000100010110000010000011001010000010101000000011110011101000010101100000100000110000010000101000001011011000100000001001010101100000110000101000001010100010110000011000000010110010000000110111010110100000001110000101000001010100010110000011000000010110010000000110111010110100000001100010010100000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101011001000000000001010101111110111101101110101011010110100100011000001101001000101000000010110111011010000010010001100000110100111001010100000001011110101100100010001110000101110110100001110000101110110100000000101010001011000000000001000001101000001001010101110010001100000110100100000001011011101100100011000001101000100101111011001000110000010100100011000001010010100000001011110101100100000001011110101100000010101000000011110011101000010101100000100000110000010000101000001011011000100000001001010101100000110000101000001010100010110000011000000010110010000000110111010110100000001110000101000001010100010110000011000000010110010000000110111010110100000001100010010100000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101011001000000000001010101111110111101101110101011010010001100000110100101010001000111000010111011010000111000010111011010000000010101000101100000000000100000110100000100101000000010110111011001110010001100000110100101111011001000110000010100101010001000111000010111011010000111000010111011010000000000101010001011000000000001000001101011001010111110111001011110110010001100000110100100011000001010000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101000000000111100101010001000111000010111011010000111000010111011010000000010101000101100000000000100000110100000100100010100000001011011101100100011000001101001011111011100100011000001010010100000101000000010110111011001010100010001110000101110110100001110000101110110100000000101010001011000000000001000001101000001001010111001000110000011010010100000001011011101100100011000001101001011110110010001100000101000001001010000000111100111010000101100000100000110110100100010101000101100000000000100000110100000100100011000001010010101000100011100001011101101000011100001011101101000000001010100010110000000000010000011010000010010101110010001100000110100101111011001000110000010101001010000000111100111010000101100000100000110110101101000010101011000001100000001000000010001001010100010001110000101110110100001110000101110110100000000101010001011000000000001000001101000001001010000000101101110110011100100011000001101001011110110010001100000101001010000000111100111010010101000100011100001011101101000011100001011101101000000000010101000101100000000000100000110101100101011111011100101111011001000110000011010010001100000101000000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101001010000010101011100000000011110000101000001010000010100010000010111010000000100101010110000001010110010001000110000010010101011001010000000101101110110000000001111000000000011110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011100101010111111011110111011010100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011000000001010101110010001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010110000101011100100000000000110010101011111101111011101101001011111010000000111001000000000001111001010101111110111101110110100101111101000000010010000000000011100101010111111011110111011010010111110100000001110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000000010101011100100010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001011000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000010010000000000011001010101111110111101110110100101111101000000011001000000000001111001010101111110111101110110100101111101000000011000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000000001010101110010001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010110010000000000010101011111101111011011101010010000000000011001010101111110111101110110101011000010100000101000100000101110100000001001010101100000010101100100010001100000100101010110010100000001011011101100000000011110000000000111101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000111001010101111110111101110110101000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110000000010101011100100010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000101100001010111001000000000001100101010111111011110111011010010111110100000001110010000000000011110010101011111101111011101101001011111010000000100100000000000111001010101111110111101110110100101111101000000011100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100000000101010111001000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000100100000000000110010101011111101111011101101001011111010000000110010000000000011110010101011111101111011101101001011111010000000110000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000000010101011100100010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010110000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010110010001010101100000000011110000000000001111011111000000000000111011111000000000000110111110100100000000000110010101011111101111011101101010110000100000000000110010101011111101111011101101010000000000111001100111011110110100000000011110010100010001110000101110110100001110000101110110100000000101010001011000000000001000001101000001001010000000101101110110011100100011000001101001011110110010001100000101000010101000100011100001011101101000011100001011101101000000001010100010101100000110000000100010101100101111001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011011001000100011000001001010110010100000001011011101100000001110000000111000011000000101000000010110111011001000000000111001010111110111011010110010000000001100101011111011101101011000011000000101000000010110111011001000000000110010101111101110110101100100000000011100101011111011101101010100000000011110010100000101010100000101000101011000010001010110000011000000010001001010001101000000101011000000011100001000000000111001010111110111011010010001011111011110101000010000000001100101011111011101101001000101111101111010101000000101011000001000011110100000001000000101011001110100000001000011110101100100010101100000001110000000000111011110000000000110111101010110000000111001010100000001111001110100001000110000010010101100101000000010110111011000000011100000000111011100001100000010100000001011011101100100000000011100101011111011101101011001000000000110010101111101110110101000011000000101000000010110111011001000000000110010101111101110110101100100000000011100101011111011101101011000000000010101111101110101100101000001010001000001011101000001001010110000001011001000100011000001001010110010100000001011011101100000001110000000011101110000110000001010000000101101110110010000000001110010101111101110110101100100000000011001010111110111011010100001100000010100000001011011101100100000000011001010111110111011010110010000000001110010101111101110110101100101000110100000010101100000001110000100000000011100101011111011101101001000101111101111010100001000000000110010101111101110110100100010111110111101010110010100011010000001010110000000111000010000000001110010101111101110110100100010111110111101010000100000000011001010111110111011010010001011111011110101011000000001010111001000101110010000000001100101011111011101101001011111010000011001000000000111001010111110111011010010111110100000101100001010000000000010101111110110100101011111011101101011001011111010000011000010111001000000000110010101111101110110100101111101000001100100000000011100101011111011101101001011111010000010000000010101110010001010000000000010101111110110100101011111011101101011001011111010000010110000101110010000000001100101011111011101101001011111010000011001000000000111001010111110111011010010111110100000100001010000000000010101111110110100101011111011101101011001011111010000010110010001010110000000111000000000011101111000000000011011110100101000001010100000001010001000111000010111011010000111000010111011010000001010100010110000000000010000011010111100101111110010001100000110100111001000110000010101000000000000101011111101101001010111110111011010000000111001010100000001010100010001110000101110110100001110000101110110100000000101010001011000000000001000001101101001010000000101101110110010001100000110110010111100100011000001011010100101010000000101111010110010100000000010111110100111101100100010001110000101110110100001110000101110110100000000101010001011000000000001000001101000001001010100010101011000001100000001000000010001011000001001010000000101101110110010001100000110100101111001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101101100100011000001010010001000111000010111011010000111000010111011010000001010000000101101110110100111010010001010101010000000111100111010000101011000001100000100000100001010000010110110001000000010010101011000001100001010000010101000101100000110000000101100100000001101110101101000000011100001010000010101000101100000110000000101100100000001101110101101000000011000101001000000000001010101111110111101101110101010010100000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101011001000000000001010101111110111101101110101011100101010001000111000010111011010000111000010111011010000000010101000101100000000000100000110101100101111001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011011001000110000010100000000011110101100101010001000111000010111011010000111000010111011010000000010101000101100000000000100000110101100101111001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011011001000110000010100000000011110010001010110000010000101000000010110111011000001101000010100000001011011101100000101001000100011000001100101011001010000000101101110110000000111000001100001100000010100000001011011101100100000000011100101011111011101101011000001000011000000101000000010110111011001011000000011100100000000011001010111110111011010110101100000100100010101100000100001010000000101101110110000011010000101000000010110111011000001010101101001010100000001111001110100001000110000010010101100101000000010110111011000000011100000000111011100001100000010100000001011011101100100000000011100101011111011101101011001000000000110010101111101110110101000011000000101000000010110111011001000000000110010101111101110110101100100000000011100101011111011101101011000000000010101111101110101100101000001010100000001010001000111000010111011010000111000010111011010000001010100010110000000000010000011010111100101111110010001100000110100111001000110000010101000000000000101011111101101001010111110111011010000000111001010100000001010100010001110000101110110100001110000101110110100000000101010001011000000000001000001101101001010000000101101110110010001100000110110010111100100011000001011010100101010000000101111010110010100000000010111110100111101100100010001110000101110110100001110000101110110100000000101010001011000000000001000001101000001001010100010101011000001100000001000000010001011000001001010000000101101110110010001100000110100101111001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101101100100011000001010010001000111000010111011010000111000010111011010000001010000000101101110110100111010010001010101010000000111100111010000101011000001100000100000100001010000010110110001000000010010101011000001100001010000010101000101100000110000000101100100000001101110101101000000011100001010000010101000101100000110000000101100100000001101110101101000000011000101001000000000001010101111110111101101110101010010100000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101011001000000000001010101111110111101101110101011100101010001000111000010111011010000111000010111011010000000010101000101100000000000100000110101100101111001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011011001000110000010100000000011110101100101010001000111000010111011010000111000010111011010000000010101000101100000000000100000110101100101111001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011011001000110000010100000000011110010001010110000010000101000000010110111011000001101000010100000001011011101100000101001000100011000001100101011001010000000101101110110000000111000001100001100000010100000001011011101100100000000011100101011111011101101011000001000011000000101000000010110111011001011000000011100100000000011001010111110111011010110101100000100100010101100000100001010000000101101110110000011010000101000000010110111011000001010101011010000000011001100110011001110011100110011011100101000100011100001011101101000011100001011101101000000100010101000101100000000000100000110010001100000101001000101000000010110111011010000010010001100000110100101000000010110111011001000110000011010011110010001100000100100011000001010010100000101000000010110111011001010100010001110000101110110100001110000101110110100000000101010001011000000000001000001101000001001010111001000110000011010010100000001011011101100100011000001101001011110110010001100000101000001001010000000111100111010000101100000100000110110100101010001000111000010111011010000111000010111011010000000010101000101100000000000100000110100000100101011100100011000001101001011110110010001100000101010010100000001111001110100001011000001000001101101001000001010001010110000100010101100000110000000100010010100011010000001010110000000111000010000000001110010101111101110110100100010111110111101010000100000000011001010111110111011010010001011111011110101010000001010110000010000111101000000010000001010110011101000000010000111101011001000101011000000011100000000001110111100000000001101111010000000011001110011001110011001100110011011101010
diff --git a/test/churchadd1.blc b/test/churchadd1.blc
new file mode 100644
index 0000000..3f81a04
--- /dev/null
+++ b/test/churchadd1.blc
@@ -0,0 +1 @@
+000101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110100000011100111010
diff --git a/test/churchadd2.blc b/test/churchadd2.blc
new file mode 100644
index 0000000..f6806bb
--- /dev/null
+++ b/test/churchadd2.blc
@@ -0,0 +1 @@
+0001010000000001011111011001011110110100101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010000001110011100111001110011101000000111001110011100111001110100000011100111010
diff --git a/test/churcharith.blc b/test/churcharith.blc
new file mode 100644
index 0000000..68a0c60
--- /dev/null
+++ b/test/churcharith.blc
@@ -0,0 +1 @@
+0001010000000001011111011001011110110100101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100101000000000101111101100101111011010010100000000010111110110010111101101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010010100000000010111110110010111101101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110100101000000000101111101100101111011010010100000001111001110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110011100111001110011100111001110011100111001110011101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010010100000000010111110110010111101101001010000000111100111010010100000000010111110110010111101101000000111001110011100111001110011100111001110011100111010000001110011100111001110011100111001110011100111001110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111001110011100111001110011100111001110011100111001110100101000000000101111101100101111011010000001110011100111001110011100111001110011100111001110100000011100111001110011100111001110011100111001110011101001010000000001011111011001011110110100000011100111001110011100111001110011100111001110011101000000111001110011100111001110011100111001110011100111010
diff --git a/test/fac.blc b/test/fac.blc
new file mode 100644
index 0000000..77c719c
--- /dev/null
+++ b/test/fac.blc
@@ -0,0 +1 @@
+00010001010101010001000111000010111011010000111000010111011010000000000001010101000001010001010101100001000101010110000011000000010000000100010010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101010000001010101100000100001111010000000100000001000000101010110000010000000100001111010000000100000010101011001110100000001000000010000111101011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010111001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011011011110010101011111100101000001010101110000000001111000010100000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101011001000000000001010101111110111101101110101001000000000001100101010111111011110111011010101100001010000010100010000010111010000000100101010110000001010110010001000110000010010101011001010000000101101110110000000001111000000000011110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011100101010111111011110111011010100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011000000001010101110010001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010110000101011100100000000000110010101011111101111011101101001011111010000000111001000000000001111001010101111110111101110110100101111101000000010010000000000011100101010111111011110111011010010111110100000001110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000000010101011100100010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001011000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000010010000000000011001010101111110111101110110100101111101000000011001000000000001111001010101111110111101110110100101111101000000011000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000000001010101110010001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010010000000000011001010101111110111101110110101011000010000000000011001010101111110111101110110101011110011011100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101101110110100000000001110111100000000001110111101000100000000001100111001100111011110
diff --git a/test/run b/test/run
new file mode 100755
index 0000000..efdf9ba
--- /dev/null
+++ b/test/run
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+set -e
+
+FAIL="\033[0;31m[FAIL]\033[0m "
+SUCC="\033[0;32m[SUCC]\033[0m "
+
+rm -f ../build/*.out ../build/*.blc ../build/*.bloc
+
+for file in *.blc; do
+ bloc --from-blc -i "$file" -o ../build/"$file".bloc
+ ../build/blocade -i ../build/"$file".bloc -t blc -o ../build/"$file".bloc.blc
+ bruijn -E "$file" &>../build/"$file".out
+ bruijn -E ../build/"$file".bloc.blc &>../build/"$file".bloc.blc.out
+ cmp ../build/"$file".out ../build/"$file".bloc.blc.out && printf "$SUCC" || printf "$FAIL"
+ echo "blc res cmp on $file"
+done
diff --git a/test/ternaryadd.blc b/test/ternaryadd.blc
new file mode 100644
index 0000000..18c6799
--- /dev/null
+++ b/test/ternaryadd.blc
@@ -0,0 +1 @@
+000101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101001010000010100010000010111010000000100101010110000001010110010001000110000010010101011001010000000101101110110000000001111000000000011110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011100101010111111011110111011010100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011000000001010101110010001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010110000101011100100000000000110010101011111101111011101101001011111010000000111001000000000001111001010101111110111101110110100101111101000000010010000000000011100101010111111011110111011010010111110100000001110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000000010101011100100010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001011000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000010010000000000011001010101111110111101110110100101111101000000011001000000000001111001010101111110111101110110100101111101000000011000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000000001010101110010001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010010100000101000100000101110100000001001010101100000010101100100010001100000100101010110010100000001011011101100000000011110000000000111101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000111001010101111110111101110110101000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001000100011000001001010101100101000000010110111011000000000111100000000001110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000111100101010111111011110111011010100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110000000010101011100100010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000101100001010111001000000000001100101010111111011110111011010010111110100000001110010000000000011110010101011111101111011101101001011111010000000100100000000000111001010101111110111101110110100101111101000000011100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100000000101010111001000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000100100000000000110010101011111101111011101101001011111010000000110010000000000011110010101011111101111011101101001011111010000000110000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000000010101011100100010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010110000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010110010001010101100000000011110000000000001111011111000000000000111011111000000000000110111110100101000001010001000001011101000000010010101011000000101011001000100011000001001010101100101000000010110111011000000000111100000000001111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001110010101011111101111011101101010000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011001010101111110111101110110101100001100000010100000001011011101100100000000000110010101011111101111011101101011001000000000001111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010001000110000010010101011001010000000101101110110000000001111000000000011101111000011000000101000000010110111011001000000000001111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001110010101011111101111011101101011001000000000001111001010101111110111101110110101000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011100101010111111011110111011010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100000000101010111001000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001011000010101110010000000000011001010101111110111101110110100101111101000000011100100000000000111100101010111111011110111011010010111110100000001001000000000001110010101011111101111011101101001011111010000000111000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001000000001010101110010001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000101100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001000010101110010000000000011100101010111111011110111011010010111110100000001001000000000001100101010111111011110111011010010111110100000001100100000000000111100101010111111011110111011010010111110100000001100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100000000101010111001000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000101011100100000000000110010101011111101111011101101001011111010000000100100000000000111100101010111111011110111011010010111110100000001100100000000000111001010101111110111101110110100101111101000000010000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000101100100010101011000000000111100000000000011110111110000000000001110111110000000000001101111101001010000010100010000010111010000000100101010110000001010110010001000110000010010101011001010000000101101110110000000001111000000000011110111100001100000010100000001011011101100100000000000111100101010111111011110111011010110010000000000011100101010111111011110111011010100001100000010100000001011011101100100000000000111001010101111110111101110110101100100000000000110010101011111101111011101101011000011000000101000000010110111011001000000000001100101010111111011110111011010110010000000000011110010101011111101111011101101011001010001000111001101000011100110100000010101011000000000111100001000000000001111001010101111110111101110110100111101000010000000000011100101010111111011110111011010011110100001000000000001100101010111111011110111011010011110101100100010001100000100101010110010100000001011011101100000000011110000000000111011110000110000001010000000101101110110010000000000011110010101011111101111011101101011001000000000001100101010111111011110111011010110000110000001010000000101101110110010000000000011100101010111111011110111011010110010000000000011110010101011111101111011101101010000110000001010000000101101110110010000000000011001010101111110111101110110101100100000000000111001010101111110111101110110101100101000100011100110100001110011010000001010101100000000011110000100000000000111100101010111111011110111011010011110100001000000000001110010101011111101111011101101001111010000100000000000110010101011111101111011101101001111010110010100010001110011010000111001101000000101010110000000001111000010000000000011110010101011111101111011101101001111010000100000000000111001010101111110111101110110100111101000010000000000011001010101111110111101110110100111101011000000001010101110010001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010110000101011100100000000000110010101011111101111011101101001011111010000000111001000000000001111001010101111110111101110110100101111101000000010010000000000011100101010111111011110111011010010111110100000001110000101000000000000010101011111110111011010010101011111101111011101101011001011111010000000100001010111001000000000001110010101011111101111011101101001011111010000000111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000010000000010101011100100010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001011000010100000000000001010101111111011101101001010101111110111101110110101100101111101000000010000101011100100000000000111001010101111110111101110110100101111101000000010010000000000011001010101111110111101110110100101111101000000011001000000000001111001010101111110111101110110100101111101000000011000010101110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000110010000000000011100101010111111011110111011010010111110100000001000000001010101110010001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011000010101110010000000000011100101010111111011110111011010010111110100000001110010000000000011001010101111110111101110110100101111101000000010010000000000011110010101011111101111011101101001011111010000000100001010111001000000000001100101010111111011110111011010010111110100000001001000000000001111001010101111110111101110110100101111101000000011001000000000001110010101011111101111011101101001011111010000000100001010000000000000101010111111101110110100101010111111011110111011010110010111110100000001011001000101010110000000001111000000000000111101111100000000000011101111100000000000011011111010000000000111001100111011110000000000111001100111011110000000000111001100111011110000000000111100111100111011110000000000111100111100111011110000000000111100111011110