Там может быть только 1!


44

Ваша задача, учитывая положительное целое число n, создать выражение, равное числу n.

Загвоздка в том, что вам разрешен только номер 1в выводе.

Операторы в вашем распоряжении:

  • +, -, *И/
    • /является делением с плавающей точкой (так 5/2 = 2.5).
  • sqrt(как s)
  • ceilи floor(как cи fсоответственно)
  • ! (факториал)
    • В этом случае факториал работает только для натуральных чисел.

Вам также разрешено складывать 1их вместе, поэтому что-то подобное 11допустимо в выводе. Тем не менее, они считаются тем же числом 1, что и в числе (поэтому 11считается как 2 1).

Вы также должны включить скобки в выходные данные, чтобы выражение в выходных данных при выполнении в порядке операций приводило к вводу. Хотя они не считаются операциями.

Примеры:

  • Вход = 24, один возможный выход = (1+1+1+1)!
  • Вход = 11, один возможный выход = 11
  • Вход = 5, один возможный выход = c(s((1+1+1+1)!))
    • Потолок квадратного корня 24есть 5.

Правила:

  • Вам гарантировано, что входное значение является положительным целым числом от 1до 2^31-1.
  • Ваша программа должна работать для любого целого положительного числа 2^31-1, даже если они не проверены.
  • Ваша программа должна завершить обработку всех выходов для всех номеров в наборе за 1 час.
  • Результаты для каждого прогона программы должны быть одинаковыми - также нет семян.
  • Вам разрешено жестко кодировать выражения максимум для 10 числовых значений.
  • Вы не можете иметь мнимые числа где-либо на выходе (так что нет s(some negative number)).
  • Вам также не разрешено иметь числа, большие 2^31-1или меньшие, чем -2^31+1где-либо в выходных данных, даже если они обозначены как sqrted или /ed (так что no (((1+1+1)!)!)!или ((1+1+1+1)!)!).

Набор номеров:

945536, 16878234, 32608778, 42017515, 48950830, 51483452, 52970263, 54278649, 63636656, 78817406, 89918907, 90757642, 95364861, 102706605, 113965374, 122448605, 126594161, 148064959, 150735075, 154382918, 172057472, 192280850, 194713795, 207721209, 220946392, 225230299, 227043979, 241011012, 248906099, 249796314, 250546528, 258452706, 276862988, 277140688, 280158490, 286074562, 308946627, 310972897, 322612091, 324445400, 336060042, 346729632, 349428326, 352769482, 363039453, 363851029, 392168304, 401975104, 407890409, 407971913, 425780757, 459441559, 465592122, 475898732, 482826596, 484263150, 506235403, 548951531, 554295842, 580536366, 587051904, 588265985, 588298051, 590968352, 601194306, 607771869, 618578932, 626776380, 667919873, 681786366, 689854904, 692055400, 697665495, 711608194, 734027104, 750869335, 757710567, 759967747, 777616154, 830071127, 833809927, 835873060, 836438554, 836945593, 863728236, 864158514, 871273503, 881615667, 891619600, 897181691, 918159061, 920521050, 924502226, 929983535, 943162304, 950210939, 950214176, 962610357, 974842859, 988572832

(Это 100 случайных чисел от 1 до 1 млрд.)

Система баллов:

Ваша оценка определяется следующим образом:

  • Ваша программа будет проверена на случайные числа в наборе.
    • Вы должны предоставить выходные данные, сгенерированные с использованием случайных чисел в наборе (либо внутри вашего ответа, либо в виде ссылки для вставки).
  • Затем у вас есть два «балла»: первичный балл и вторичный балл.
    • Ваш основной счет (no. of 1's in output)*(no. of operators in output). Если ваш основной балл самый низкий, вы выигрываете.
    • Ваш вторичный счет - это время загрузки, время по Гринвичу и 24 часа. Итак, если вы загрузите свою программу 12 сентября в 00:00 по Гринвичу, тогда ваш счет будет 12/09/2016, 00:00(используйте DD/MM/YYYY HH:MMдля форматирования).

Отображать ваш счет так:

(language name)
Primary Score = (primary score)
Secondary Score = (secondary score)
(no. of 1's) `1`'s, (no. of operators) operators

Замените все вещи в скобках на имя вашего языка, первичную и вторичную оценки соответственно.

Текущий победитель:

Текущий победитель - @ChrisJefferson, у которого есть основной счет 3,810,660.


6
Совет не правило, но это довольно хороший аргумент в пользу того, почему гольф, как брейкер, проблематичен. Извините, что я не заметил это в песочнице ...
trichoplax


3
Я согласен с трихоплаксом в том, что тай-брейк должен быть ответом, чтобы быстрее достичь минимального результата.
ETHproductions

1
@JonathanAllan Скобки - это не операции, а обязательные.
clismique

1
Вы можете просмотреть историю ответов и узнать, кто из них достиг своего окончательного результата первым.
ETHproductions

Ответы:


25

C ++ 11

Далее небольшое обновление: Делайте намного меньше добавлений, и попробуйте все числа формы A * B + C. Я считаю, что в установленные сроки это довольно близко к оптимальному, при условии, что вы используете только +, *и !. Я оставляю других операторов людям, у которых больше времени, чем у меня!

Небольшое обновление: старайтесь использовать факториалы и числа вроде 11 .... 111. Также исправлена ​​ошибка, которая не учитывалась !при расчете стоимости.

Новый результат:

Основная оценка = 3 810 660

Вторичный счет = 12/09/2016 20:00

2532 1с, 1505 операторов.

Различные трюки вместе взятые. Моя программа начинается с установки самой короткой программы для всех факториалов и чисел в форме 111..111 (я не думаю, что это противоречит жесткому правилу, так как это самые короткие способы сделать эти числа. Я мог бы переставить мой код, поэтому я проверяю эти шаблоны в моем динамическом программировании, если хотите). Затем примените частичный подход к динамическому программированию, пробуя различные формы:

  • А + Б
  • A * B + C
  • A! + B
  • 11 .... 11 + B

К сожалению, я не могу попробовать все способы разложения числа, поэтому я выбираю факториал и 11 ... 11, чтобы пробовать только ближайшее число, для A + B, чтобы пробовать вещи рядом с A / 2, и для A * B + С тем, чтобы попробовать только совсем маленький As.

Было бы легко расширить это, чтобы попробовать некоторые из них, пытаясь иногда слегка отклониться от нормы (особенно в A * B - C), но мне очень нравится только пытаться расти.

Кроме того, очень трудно оптимизировать условия оптимизации (мне это не нравится!), Потому что в принципе вы не можете придумать «лучшее» значение для каждого отдельного числа, вы должны рассмотреть свой набор ответов глобально (что я не собираюсь делать).

Предупреждение. Для этой программы требуется 64-разрядный компьютер и около 10 ГБ памяти (поскольку я неэффективно создаю гигантский массив для всех частично вычисленных результатов).

Программа:

#include <algorithm>
#include <vector>
#include <string>
#include <assert.h>
#include <iostream>
#include <cmath>

std::vector<int> numints;
std::vector<int> numops;
std::vector<std::string> strings;


void fill_all_ones(long maxval)
{
    int val = 1;
    int len = 1;
    std::string name = "1";
    while(val < maxval) {
        val = val * 10 + 1;
        len++;
        name = name + "1";
        numints[val] = len;
        strings[val] = name;
    }
}


void get_best_for_next_full(long i);
// let's just assume this is the best way to make factorials
void fill_all_factorials(long maxval)
{
    // skip 1 and 2
    long result = 6;
    long val = 3;
    while(result < maxval) {
        get_best_for_next_full(val);
        strings[result] = "(" + strings[val] + ")!";
        numints[result] = numints[val];
        numops[result] = numops[val] + 1;
        val++;
        result = result * val;
    }
}

long get_nearest_all_ones(long i)
{
    int val = 11;
    int prevval = 1;
    while(val < i) {
        prevval = val;
        val = val * 10 + 1;
    }
    return prevval;
}

long get_nearest_factorial(long i)
{
    int val = 6;
    int prevval = 2;
    int step = 3;
    while(val < i) {
        prevval = val;
        step++;
        val = val * step;
    }
    return prevval;
}

int getlen(long i);

void get_best_for_next_full(long i)
{
    if(numints[i] > 0)
        return;

    int best = INT_MAX; // we'll do better than this
    std::string beststring = "invalid2";
    int ones = -1;
    int ops = -1;
    for(long loop = 1; loop <= i/2; loop++)
    {
        int new_val = getlen(loop) + getlen(i - loop);
        if(new_val < best) {
            best = new_val;
            ones = numints[loop] + numints[i - loop];
            beststring = "(" + strings[loop] + "+" + strings[i - loop] + ")";
            ops = numops[loop] + numops[i - loop] + 1;
        }
    }

    for(long loop = 2; loop * loop <= i; loop++)
    {
        long divisor = i / loop;
        long rem = i - loop*divisor;
        assert(rem >= 0);
        int new_val;
        if(rem == 0)
        {
            new_val = getlen(divisor) + getlen(loop);
        }
        else
        {
            new_val = getlen(divisor) + getlen(rem) + getlen(loop);
        }

        if(new_val < best) {
            best = new_val;
            if(rem == 0) {
                ones = numints[divisor] + numints[loop];
                beststring = "(" + strings[divisor] + "*" + strings[loop] + ")";
                ops = numops[divisor] + numops[loop] + 1;
            } else {
                ones = numints[divisor] + numints[loop] + numints[rem];
                beststring = "(" + strings[divisor] + "*" + strings[loop] + "+" + strings[rem] + ")";
                ops = numops[divisor] + numops[loop] + numops[rem] + 2;
            }
        }
    }

    numints[i] = ones;
    strings[i] = beststring;
    numops[i] = ops;
}


void check_divising(const long i, const long loop, long& best, long& ones, std::string& beststring, long& ops);
void check_adding(const long i, const long loop, long& best, long& ones, std::string& beststring, long& ops);

void get_best_for_next_partial(long i)
{
    if(numints[i] > 0)
        return;

    long best = INT_MAX; // we'll do better than this
    long ones = 1;
    std::string beststring = "invalid";
    long ops = 1;

    // Special: Try a nearby all ones
    {
        long loop = get_nearest_all_ones(i);
        check_adding(i, loop, best, ones, beststring, ops);
    }

    // Special: Try nearest factorial
    {
        long loop = get_nearest_factorial(i);
        check_adding(i, loop, best, ones, beststring, ops);
    }

    for(long loop = 2; loop * loop <= i; loop++)
    {
       check_divising(i, loop, best, ones, beststring, ops);
    }


    numints[i] = ones;
    strings[i] = beststring;
    numops[i] = ops;
}

void check_adding(const long i, const long loop, long& best, long& ones, std::string& beststring, long& ops)
{
    int new_val = getlen(loop) + getlen(i - loop);
    if(new_val < best) {
        best = new_val;
        ones = numints[loop] + numints[i - loop];
        beststring = "(" + strings[loop] + "+" + strings[i - loop] + ")";
            ops = numops[loop] + numops[i - loop] + 1;
    }
}

void check_divising(const long i, const long loop, long& best, long& ones, std::string& beststring, long& ops)
{ 
    long divisor = i / loop;
    long rem = i - loop*divisor;
    assert(rem >= 0);
    int new_val;
    if(rem == 0)
    {
        new_val = getlen(divisor) + getlen(loop);
    }
    else
    {
        new_val = getlen(divisor) + getlen(rem) + getlen(loop);
    }

    if(new_val < best) {
        best = new_val;
        if(rem == 0) {
            ones = numints[divisor] + numints[loop];
            beststring = "(" + strings[divisor] + "*" + strings[loop] + ")";
            ops = numops[divisor] + numops[loop] + 1;
        }
        else {
            ones = numints[divisor] + numints[loop] + numints[rem];
            beststring = "(" + strings[divisor] + "*" + strings[loop] + "+" + strings[rem] + ")";
            ops = numops[divisor] + numops[loop] + numops[rem] + 2;
        }
    }
}

long count = 0;
long countops = 0;

const int little_cutoff = 200000;

int getlen(long i)
{
    if(numints[i] == 0) {
        if(i < little_cutoff)
            get_best_for_next_full(i);
        else
            get_best_for_next_partial(i);
    }
    if(numints[i] == 0) {
        std::cout << i << " failure!" << numops[i] << ":" << strings[i] << std::endl;
        exit(1);
    }

    return numints[i] + numops[i];
}

const std::vector<long> vals = {945536, 16878234, 32608778, 42017515, 48950830, 51483452, 52970263, 54278649, 63636656, 78817406, 89918907, 90757642, 95364861, 102706605, 113965374, 122448605, 126594161, 148064959, 150735075, 154382918, 172057472, 192280850, 194713795, 207721209, 220946392, 225230299, 227043979, 241011012, 248906099, 249796314, 250546528, 258452706, 276862988, 277140688, 280158490, 286074562, 308946627, 310972897, 322612091, 324445400, 336060042, 346729632, 349428326, 352769482, 363039453, 363851029, 392168304, 401975104, 407890409, 407971913, 425780757, 459441559, 465592122, 475898732, 482826596, 484263150, 506235403, 548951531, 554295842, 580536366, 587051904, 588265985, 588298051, 590968352, 601194306, 607771869, 618578932, 626776380, 667919873, 681786366, 689854904, 692055400, 697665495, 711608194, 734027104, 750869335, 757710567, 759967747, 777616154, 830071127, 833809927, 835873060, 836438554, 836945593, 863728236, 864158514, 871273503, 881615667, 891619600, 897181691, 918159061, 920521050, 924502226, 929983535, 943162304, 950210939, 950214176, 962610357, 974842859, 988572832};

const long biggest = 988572832;



int main(void)
{
    numints.push_back(2);
    strings.push_back("(1-1)");
    numops.push_back(1);

    numints.push_back(1);
    strings.push_back("1");
    numops.push_back(0);

    numints.push_back(2);
    strings.push_back("(1+1)");
    numops.push_back(1);

    numints.resize(biggest + 1);
    strings.resize(biggest + 1);
    numops.resize(biggest + 1);

    fill_all_ones(biggest);
    fill_all_factorials(biggest);

    for(long i = 0; i < little_cutoff; ++i)
        get_best_for_next_full(i);




    for(long v : vals) {
        get_best_for_next_partial(v);
        std::cout << v << ":" << strings[v] << "\n";
        count += numints[v];
        countops += numops[v];

    }

    std::cout << count << ":" << countops << ":" << count * countops << "\n";

}

Полученные результаты:

945536:((1111*(1+(11+11))+(1+1))*((1+11)*(1+(1+1))+1)+1)
16878234:(((1+(1+1111))*(1+(1+(1+111)))+(11+11))*((1+11)*11+1)+(1+1))
32608778:((((((1+(1+1)))!+(111+11111))*(11*11)+111)*(1+11)+1)*(1+1))
42017515:((11)!+((((1+111)*11)*11+1)*((1+11)*(1+11)+11)))
48950830:((((11+11)*(1+11))+(11111*(1+(1+1))))*((1+111)*(1+(1+11))+1)+1)
51483452:(((1+(1+1111))*(1+111)+1)*(11+(((1+11)*11+(1+1))*(1+(1+1))))+111)
52970263:((11+((1111*11+(1+(1+1)))*(1+(1+1))))*(111*(1+(1+11))+1)+11)
54278649:((11)!+(((1+(11+(11+(11+1111))))*111+1)*(1+(1+111))+1))
63636656:((((11+111)*(1+(1+1)))*(1+111)+11)*(1+(111+((((1+(1+1)))!)!*(1+1)))))
78817406:(((((111*(11+11)+1)*(1+1))*(1+111)+111)*(1+11)+1)*(1+11)+(1+1))
89918907:(((111+((1+(1+((1+(1+1)))!)))!)*(1+1))*(1+1111)+((11*11)*(1+(1+1))))
90757642:((1111+((11+11111)*(1+1)))*(111*(11+((1+(1+(1+1))))!)+1)+(1+111))
95364861:((11)!+(((((((11+11)*11)+11111)*111)*11+(1+1))*(1+1))*(1+1)+1))
102706605:(((11)!+(((111+((11*11)*11))*(1+(((1+(1+1)))!)!))*11))*(1+1)+1)
113965374:((((111*(1+(1+(1+11))))*1111+((1+(11+11))*11+1))*11+1)*((1+(1+1)))!)
122448605:(((((1+(1+1)))!)!+((111*11)*11))*((1+(((1+(1+1)))!)!)*(1+11)+1)+(1+1))
126594161:(((((11*11)+(((1+(1+1)))!)!)*(1+111))*(1+11)+1)*(1+111)+1)
148064959:((11)!+(((111*111+(1+11))*111+1)*((1+(1+11))*((1+(1+1)))!+1)+(1+(1+1))))
150735075:(((111*111+(1+1))*(1+1111)+(1+11))*11+(1+((1+(1+1)))!))
154382918:((1111*(1+11)+1)*(((1+(11+(111+111)))*(1+1))+11111)+111)
172057472:((((((1+11)*11)*11+1)*(1+(1+1)))+11111)*(11+11111)+((1+11)*11))
192280850:(((11111*(1+11)+11)*(1+(((1+(1+1)))!)!)+(11+111))*(1+1))
194713795:((11)!+((((111+11111)*(1+(1+(1+111)))+((1+(1+1)))!)*11)*11+1))
207721209:(((111*111)*(1+(11+11))+(1+1))*(1+(1+(11+(((1+(1+1)))!)!)))+(1+(1+(1+1))))
220946392:((11)!+((((1+(1+(1+1111)))*(11+111))*111+11)*(1+11)+(1+(1+(1+1)))))
225230299:((111111111+((111*111+(1+((1+(1+1)))!))*(11+111)+(11+11)))*(1+1)+1)
227043979:((((((11+11)*11)+11111)*(1+(1+1))+1)*1111+(1+(1+1)))*((1+(1+1)))!+1)
241011012:(((11)!+((11)!+((11)!+((11+1111)*((1+111)*((1+(1+1)))!+1)))))*(1+1))
248906099:(((11111+(((((1+(1+1)))!)!*111)*(1+1)))*(1+111)+111)*(1+(1+11)))
249796314:(((11)!+(((((1+(1+1)))!)!+((1+1111)*(1+11)))*(11+111)+111))*((1+(1+1)))!)
250546528:((11)!+(((111*111)*(1+(1+(1+11)))+11)*(111*11)+(1+(11+1111))))
258452706:(((11)!+(((((1+(1+1)))!)!*((1+(1+1)))!+1)*(11+(((1+(1+1)))!)!)))*((1+(1+1)))!)
276862988:(((11+(1111*(1+1)))*(((1+(1+1)))!+1111))*111+(((1+(1+1)))!+11))
277140688:(((111*111+(1+(1+(1+(1+11)))))*(1+1))*(11+(111+11111))+(1+111))
280158490:((11)!+(((1+(111+111111))*(((1+(1+1)))!)!+(1+(1+1)))*(1+(1+1))+1))
286074562:(((11)!+((((11+1111)*(11+11))*(1+1)+1)*(1+(11+1111))))*(1+(1+1))+1)
308946627:((11)!+((((1+1111)*(((1+(1+1)))!)!+((11+11)*(1+1)))*(1+111)+1)*(1+(1+1))))
310972897:((11111*(1+(1+1))+1)*(((1111+(111*11))*(1+1))*(1+1)+1)+11)
322612091:((((((1+11)*(1+11))*(1+11)+(1+1))*111+1)*(1+111))*(1+(1+(1+(1+11))))+11)
324445400:(((1111111+(1+(1+1)))*(1+1))*((1+11)*(1+11)+(1+1))+(1+111))
336060042:(((1+1111)*(1+(11+111))+(1+111))*(11+((111*11+1)*(1+1)))+(1+1))
346729632:(((1+(1+(11111+(111*111))))*((1+111)*11+1)+(1+(1+(1+11))))*(1+11))
349428326:(((((11+11)*11)*11+1)*(1+1111)+1)*(1+(((1+(1+1)))!+111)))
352769482:(((1+11111)*(111*(11+11))+((11+111)*((1+1)*(1+1)+1)))*(1+(1+11)))
363039453:(((((1+111)*(1+111)+1)*(1+1))*(1+(1+11))+11)*(1+(1+1111)))
363851029:((((111*11+1)*1111+11)*((1+11)*11+(1+1))+(1+11))*(1+1)+1)
392168304:(((((1+(1+1111))*(1+111))*11+1)*(1+(1+11))+11)*(11+11))
401975104:(((((1+11)*(1+11)+1)*111)*111+11)*((1+111)*(1+1)+1)+(1+(1+(1+1))))
407890409:(((1+11111)*11)*((1+1111)*(1+(1+1))+1)+((1+1111)*(1+1)+1))
407971913:((11)!+((11)!+(((1+(1+11111))*(1+1)+1)*(((11+111)*11)*11+1)+(1+1111))))
425780757:(((1111+((((1+11)*11)+11111)*(1+(1+1))))*11+1)*1111+((1+(1+1)))!)
459441559:(((11111+(((1+(1+111))*(1+1)+1)*111))*111+1)*(1+(1+(1+111)))+(1+(1+11)))
465592122:(((11)!+((((1111*(11*(1+(1+1))+1)+1)*(1+(11+11)))*(1+1)+1)*111))*(1+1))
475898732:(((11)!+(((((1+111)*11+(1+1))*(1+11))*(1+1)+1)*(1+(1+111))))*11+1)
482826596:(((1+(((111*11)*11)+(11111*(1+1))))*111+1)*(11+111)+((1+(1+1)))!)
484263150:(((111*111+(1+(1+1)))*111+11)*(1+(111+((11+11)*11))))
506235403:(((1+11))!+((((1+(1+1111))*(1+1111)+((11+111)*(1+1)))*11+1)*(1+1)+1))
548951531:((((111+111)*(1+1)+1)*111+11)*11111+((11+111)*(1+11)+1))
554295842:(((1+11))!+((((1+1111)*111+1)*((1+1)*(1+1)+1))*(11+111)+(1+111)))
580536366:(((1+(111+((111*111+11)*(1+11))))*(1+111)+1)*(11+((1+(1+(1+1))))!)+11)
587051904:(((((1+1111)*(1+11))*(1+(1+1))+1)*(111*11+1)+(111*((1+(1+1)))!))*(1+11))
588265985:(((1+11))!+((1+(111+(1111*(1+(1+11)))))*((1+111)*(11*((1+(1+1)))!+1)+(1+(1+1)))))
588298051:((((((11+111)*11)*11)+(11111*(1+(1+1))))*(1+1111)+1)*11)
590968352:(((((((1+(1+1)))!)!+11111)*111+(11+11))*((1+111)*(1+1)+1)+1)*(1+1))
601194306:((((1111*(1+(1+(1+(11+111))))+1)*111+(1+1))*(1+(1+1))+1)*(1+(1+11))+11)
607771869:(((1+11))!+(((11)!+(((1111*11+1)*(1+1))*(1+(11+111))+11))*(1+(1+1))))
618578932:(((((1111*111)*11+1)*(1+1)+1)*(1+1))*(1+(1+(1+111)))+(1+111))
626776380:((((1+(1+(1+1))))!+((((1+(1+1)))!)!+(1111*111)))*(1+(11+((1+((1+(1+1)))!))!)))
667919873:((((((1+(11+111))*11+1)*111+(1+(1+1)))*1111+1)*(1+1))*(1+1)+1)
681786366:(((1+11))!+((11)!+(((11)!+((11)!+((1+(1+11111))*((1+11)*(1+11))+111)))*(1+1))))
689854904:(((11+((11111+((1+1111)*11))*(1+1)))*((11+111)*11+1)+11)*11+(1+1))
692055400:(((1+11))!+(((((1+(1+111))*(1+(1+(1+11))))*11)*11+1)*(1+(1+1111))+1))
697665495:(((1+11))!+(((((((1+(1+1)))!)!*(1+(1+(1+111)))+1)*(1+11))*(1+1)+1)*111))
711608194:(((11)!+(((1+(1+(1+(1+1111))))*(11+((11+111)*(1+1)))+(1+1))*1111))*(1+1))
734027104:(((111*(11+((1+(1+(1+1))))!)+1)*(((1+(1+1)))!+11)+1)*11111+1111)
750869335:((11111111+((1+(((1+(1+1)))!)!)*((1+11)*11+1)+1))*(11*((1+(1+1)))!+1))
757710567:((((((11+111)*11)+111111)*(1+(1+1))+1)*(1+(11+1111))+(1+(1+1)))*(1+1)+1)
759967747:(((11)!+(((1+(1+(111+11111)))*(1+(1+111)))*(1+(11+11))+1))*11)
777616154:((11111*(111+(((111*11+1)*(1+1))*(1+1)))+(11+111))*(1+(1+(1+11))))
830071127:((((1+111)*111)*((1+(1+1)))!+1)*(((1+(1+1)))!+(11+11111))+(111*(1+1)+1))
833809927:((((11+1111)*(1+1)+1)*111+1)*(1+(1+(11+(1111*(1+(1+1))))))+111)
835873060:(((((11+(111+111))*111+1)*(1+(1+111))+1)*(1+(1+11))+1)*(11+11))
836438554:(((1+11))!+(((11111*(1+1)+1)*((11+(((1+(1+1)))!)!)*11+1)+1111)*(1+1)))
836945593:(((1111*1111+(1+111))*(1+(1+111))+(1+(1+1)))*((1+(1+1)))!+1)
863728236:(((1+(1111+((11+11111)*(1+1))))*(111*111+((1+(1+1)))!))*(1+(1+1)))
864158514:(((1+11))!+(((1111*(1+(1+(1+11)))+((1+(1+1)))!)*111+1)*(111*(1+1)+1)+11))
871273503:((((1+11111)*(11+11)+1)*((1+(1+11))*(1+1)+1)+1)*((1+11)*11)+111)
881615667:((11111+((111*111+11)*(1+1)))*((111*111)*(1+1)+1)+((11+1111)*11))
891619600:(((11)!+((11)!+((((1+(11+11))*(1+1))+111111)*11)))*11+(1+(1+1)))
897181691:((11+(11+(11+((1+(1+((1+(1+1)))!)))!)))*(11+(11111*(1+1)))+((111*11+1)*11))
918159061:(((11)!+(((11+11)*11+1)*(1+(1+11))))*(1+(11+11))+(1+(1+(1+1))))
920521050:(((11)!+((((1+(11+1111))*(1+(1+(1+1111))))*(1+111)+111)*(1+(1+1))))*(1+1))
924502226:((((1111*(1+11))*(1+1)+1)*((111*(1+11)+1)*(1+1)+1))*(1+(1+11))+11)
929983535:(((11)!+((((11+111)*111+1)*111)*((1+11)*(1+1)+1)+(1+1)))*(1+11)+11)
943162304:(((11)!+((((((1+((1+(1+1)))!))!+(111*111))*111+(1+1))*(1+111))*(1+1)))*(1+1))
950210939:(((11+(111+11111))*(1+(1+(1+(((1+(1+1)))!)!)))+(1+1))*(((1+(1+1)))!+111)+(1+1))
950214176:(((11)!+((((111*111)*(1+(1+11)))*11+1)*((1+(11+111))*(1+1)+1)))*(1+1))
962610357:((((1+11))!+((1+((((1+(1+1)))!)!+(111*(1+11))))*(11+1111)+(1+111)))*(1+1)+1)
974842859:((((((11*(1+((1+(1+1)))!))+1111)*11+1)*(1+111))*((1+(1+1)))!)*111+11)
988572832:(((111111111+((11111*(1+(1+1111))+11)*11+(1+(1+1))))*(1+1))*(1+1))

Похоже, вы не считали 225 !. Я думаю, что это 1632 оператора, а не 1407. (Что, тем не менее, приводит к большому счету.)
Арно

Действительно, я пропустил «1» в оценке факторных функций. Удивительно (для меня) исправление, которое почти не имеет значения для выражений, которые я генерирую, я полагаю, потому что факториалы, как правило, настолько велики, что, если они стоят еще один, они все равно остаются лучшим выбором.
Крис Джефферсон

long maxval ворчание ворчание
Стэн Струм

7

Haskell

Основная оценка: 27242281

Вторичный счет: 09.12.2016 09:01

11891 1, 2291 оператор

import Data.List


nums = iterate (\x -> x*10+1) 1

g n | n > a = show a ++ "+(" ++ g (n-a) ++ ")"
    | n < a = show a ++ "-(" ++ g (a-n) ++ ")"
    | otherwise = show a
 where a = minimumBy (\x y -> compare (abs$x-n) (abs$y-n))
         . take 2 . reverse
         $ takeWhile (<=n*10) nums

Он в основном находит самый короткий способ сделать это, используя только + и -

Выход:

945536: 1111111-(111111+(11111+(11111+(11111+(11111+(11111-(1111-(11+(11-(1+(1)))))))))))
16878234: 11111111+(1111111+(1111111+(1111111+(1111111+(1111111+(111111+(111111-(11111-(111+(111+(111+(111+(11+(1+(1)))))))))))))))
32608778: 11111111+(11111111+(11111111-(1111111-(111111+(111111+(111111+(11111+(11111+(11111+(11111+(11111-(1111+(1111+(111-(1)))))))))))))))
42017515: 11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(111111+(111111-(11111+(11111-(1111+(1111+(1111+(1111+(111+(111+(11+(11+(11+(11-(1+(1+(1))))))))))))))))))))))
48950830: 11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(111111-(11111+(11111+(11111+(11111+(1111+(1111+(1111+(1111+(111+(111+(11+(11+(11+(11+(11+(1+(1+(1+(1)))))))))))))))))))))))))))
51483452: 11111111+(11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(1111111+(1111111-(111111+(111111+(111111+(11111+(11111+(11111+(1111+(1111+(1111+(1111+(1111+(111+(11-(1+(1)))))))))))))))))))))))
52970263: 11111111+(11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(111111+(111111+(111111+(11111+(11111+(11111-(1111+(1111+(1111+(111+(111+(11+(11+(11+(11-(1+(1+(1))))))))))))))))))))))))
54278649: 11111111+(11111111+(11111111+(11111111+(11111111-(1111111+(111111+(11111+(11111+(11111+(11111+(11111-(1111-(111+(111+(11+(11-(1+(1+(1+(1))))))))))))))))))))
63636656: 111111111-(11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111-(111111+(111111+(111111-(11111+(11111+(11111-(1111+(1111+(1111-(11)))))))))))))))))
78817406: 111111111-(11111111+(11111111+(11111111-(1111111-(111111-(11111+(11111+(11111+(11111-(1111+(1111+(1111+(1111+(111+(111+(111+(11+(11+(11+(11-(1+(1+(1+(1+(1)))))))))))))))))))))))))
89918907: 111111111-(11111111+(11111111-(1111111-(111111-(11111+(11111+(11111-(1111+(1111+(1111-(11+(11-(1+(1+(1+(1))))))))))))))))
90757642: 111111111-(11111111+(11111111-(1111111+(1111111-(111111+(111111+(111111+(11111+(11111-(1111+(1111-(111+(11+(11+(1+(1+(1)))))))))))))))))
95364861: 111111111-(11111111+(1111111+(1111111+(1111111+(1111111+(111111+(111111-(11111+(11111+(11111-(1111+(1111-(111+(111+(111+(111-(11+(11+(11-(1+(1+(1+(1+(1))))))))))))))))))))))))
102706605: 111111111-(11111111-(1111111+(1111111+(111111+(111111+(111111+(111111+(11111+(11111+(11111+(11111-(1111+(1111+(1111+(1111+(111-(11+(11+(11+(11+(11-(1+(1+(1+(1+(1))))))))))))))))))))))))))
113965374: 111111111+(1111111+(1111111+(1111111-(111111+(111111+(111111+(111111+(11111+(11111+(11111+(1111+(111+(111-(11+(11+(11+(11-(1+(1+(1+(1)))))))))))))))))))))
122448605: 111111111+(11111111+(111111+(111111+(1111+(1111+(1111+(1111-(111+(111+(111-(11+(11+(11+(11+(11-(1+(1+(1+(1+(1))))))))))))))))))))
126594161: 111111111+(11111111+(1111111+(1111111+(1111111+(1111111-(111111-(11111+(11111+(11111+(1111+(1111+(1111+(1111+(1111-(111+(111+(11+(11+(11+(11+(11+(1+(1+(1+(1+(1))))))))))))))))))))))))))
148064959: 111111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111+(111111+(111111+(111111-(11111+(11111+(11111+(11111+(1111+(111+(111+(111+(111+(111+(11+(11+(11+(11-(1+(1+(1))))))))))))))))))))))))))
150735075: 111111111+(11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(1111111+(1111111+(111111+(111111+(111111+(11111+(11111+(11111+(11111-(1111+(1111-(111+(111+(111+(111+(11+(11+(11+(1+(1+(1+(1))))))))))))))))))))))))))))
154382918: 111111111+(11111111+(11111111+(11111111+(11111111-(1111111+(111111-(11111+(11111+(11111+(11111+(1111+(1111+(1111+(1111+(1111-(111+(111+(111+(111-(11+(11+(11-(1+(1+(1)))))))))))))))))))))))))
172057472: 111111111+(11111111+(11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(1111111-(111111+(11111+(11111+(11111+(11111+(11111-(1111+(1111-(111+(111+(111-(11+(11+(11-(1+(1+(1+(1+(1)))))))))))))))))))))))))))))
192280850: 111111111+(111111111-(11111111+(11111111+(11111111-(1111111+(1111111+(1111111+(11111+(11111+(11111+(11111+(11111+(1111+(1111+(1111-(111+(111+(11+(11+(11+(1+(1+(1+(1+(1)))))))))))))))))))))))))
194713795: 111111111+(111111111-(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(1111111-(111111+(111111+(11111+(11111+(11111+(11111+(1111+(1111+(111+(111+(111+(111+(11+(11-(1+(1+(1+(1))))))))))))))))))))))))))
207721209: 111111111+(111111111-(11111111+(1111111+(1111111+(1111111+(11111+(11111+(11111+(11111+(11111+(1111-(111-(11+(1+(1+(1))))))))))))))))
220946392: 111111111+(111111111-(1111111+(111111+(11111+(11111+(11111+(11111+(11111-(1111+(1111-(111+(111+(11+(11+(11+(11+(11-(1+(1)))))))))))))))))))
225230299: 111111111+(111111111+(1111111+(1111111+(1111111-(111111+(111111+(111111-(11111-(1111+(1111+(1111-(111+(111+(111-(11+(11+(11+(1))))))))))))))))))
227043979: 111111111+(111111111+(1111111+(1111111+(1111111+(1111111+(111111+(111111+(111111+(11111+(11111+(11111+(11111-(111+(111+(111+(111+(11+(11-(1+(1))))))))))))))))))))
241011012: 111111111+(111111111+(11111111+(11111111-(1111111+(1111111+(1111111+(111111-(11111-(111-(11+(1)))))))))))
248906099: 111111111+(111111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(11111+(1111+(1111+(1111+(1111+(1111+(111+(111+(111+(111+(111-(11-(1))))))))))))))))))))
249796314: 111111111+(111111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(1111111-(111111+(111111-(11111+(11111-(1111+(1111+(1111+(111+(111+(111+(11+(11-(1+(1+(1)))))))))))))))))))))))
250546528: 111111111+(111111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(1111111+(111111+(111111+(111111+(111111+(111111-(11111-(1111+(1111-(111+(11+(11+(1+(1+(1+(1)))))))))))))))))))))))
258452706: 111111111+(111111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111-(111111+(111111+(111111+(111111-(11111-(1111+(1111+(1111-(111+(111+(111+(111+(11+(11+(11+(11-(1+(1+(1+(1)))))))))))))))))))))))))))
276862988: 111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(11111111-(1111111-(111111+(111111-(11111+(11111+(1111+(1111+(1111+(111+(111+(111+(11+(1)))))))))))))))))))
277140688: 111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(11111111-(1111111-(111111+(111111+(111111+(111111+(11111+(11111+(11111-(1111+(1111+(1111+(111+(111+(111+(111-(11+(11)))))))))))))))))))))))
280158490: 111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(111111+(11111+(11111+(11111+(11111+(1111+(1111+(1111-(111+(111+(111+(111-(11+(11+(11+(11+(1+(1+(1)))))))))))))))))))))))))))
286074562: 111111111+(111111111+(111111111-(11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(111111+(111111+(111111+(111111+(111111+(11111+(11111+(11111+(1111+(1111+(1111-(111+(1+(1+(1+(1+(1)))))))))))))))))))))))))
308946627: 111111111+(111111111+(111111111-(11111111+(11111111+(1111111+(1111111-(11111+(11111+(11111+(11111+(11111+(1111+(1111-(11+(11+(11+(11-(1+(1+(1+(1+(1))))))))))))))))))))))
310972897: 111111111+(111111111+(111111111-(11111111+(11111111+(111111+(11111+(11111+(1111+(1111+(1111+(1111+(111+(111+(111+(111-(11-(1+(1+(1+(1))))))))))))))))))))
322612091: 111111111+(111111111+(111111111-(11111111-(111111+(111111+(111111+(11111+(11111+(11111+(11111+(11111+(1111-(111+(11+(11-(1+(1+(1))))))))))))))))))
324445400: 111111111+(111111111+(111111111-(11111111-(1111111+(1111111+(1111-(111+(11+(11+(11+(11)))))))))))
336060042: 111111111+(111111111+(111111111+(1111111+(1111111+(111111+(111111+(111111+(111111+(11111+(11111+(11111+(11111+(11111+(1111+(1111+(1111+(1111+(11+(11+(11+(11)))))))))))))))))))))
346729632: 111111111+(111111111+(111111111+(11111111+(1111111+(1111111+(111111-(11111+(11111+(11111+(11111+(1111+(1111+(1111+(111+(111+(111+(11+(11+(11+(1+(1)))))))))))))))))))))
349428326: 111111111+(111111111+(111111111+(11111111+(1111111+(1111111+(1111111+(1111111+(111111+(111111+(111111+(111111+(111111-(11111+(1111+(1111+(1111+(1111+(111+(111+(111+(111+(111+(11-(1+(1+(1+(1)))))))))))))))))))))))))))
352769482: 111111111+(111111111+(111111111+(11111111+(11111111-(1111111+(1111111+(111111+(111111+(111111+(111111+(111111+(11111-(1111+(1111+(111+(111+(111+(111+(111+(11+(11+(11+(1+(1+(1+(1+(1)))))))))))))))))))))))))))
363039453: 111111111+(111111111+(111111111+(11111111+(11111111+(11111111-(1111111+(1111111+(1111111+(111111+(111111+(111111-(11111+(11111+(11111+(11111-(1111+(1111+(1111+(1111+(111+(111+(111+(111+(111-(11-(1+(1+(1))))))))))))))))))))))))))))
363851029: 111111111+(111111111+(111111111+(11111111+(11111111+(11111111-(1111111+(1111111+(111111+(111111+(111111+(111111+(111111+(11111+(11111+(11111+(1111+(1111+(1111+(1111+(111-(11+(11+(11-(1+(1+(1+(1+(1))))))))))))))))))))))))))))
392168304: 111111111+(111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111-(11111+(11111+(11111+(11111+(11111-(1111+(111+(111+(111+(111+(111-(11+(11+(11-(1+(1+(1+(1+(1)))))))))))))))))))))))))))))
401975104: 111111111+(111111111+(111111111+(111111111-(11111111+(11111111+(11111111+(11111111-(1111111+(1111111-(111111+(111111+(11111+(11111+(1111+(1111+(111+(111+(111+(111+(11-(1+(1+(1)))))))))))))))))))))))
407890409: 111111111+(111111111+(111111111+(111111111-(11111111+(11111111+(11111111+(1111111+(1111111+(1111111-(111111+(1111+(111+(111+(111+(111-(11+(11+(11+(1+(1))))))))))))))))))))
407971913: 111111111+(111111111+(111111111+(111111111-(11111111+(11111111+(11111111+(1111111+(1111111+(1111111-(111111+(111111-(11111+(11111+(1111+(1111+(1111+(1111+(1111+(111+(111+(111-(11+(11+(1))))))))))))))))))))))))
425780757: 111111111+(111111111+(111111111+(111111111-(11111111+(11111111-(1111111+(1111111+(1111111+(111111+(111111+(1111+(1111+(1111-(111+(111+(111+(11+(11-(1+(1))))))))))))))))))))
459441559: 111111111+(111111111+(111111111+(111111111+(11111111+(1111111+(1111111+(1111111+(111111+(111111+(111111+(111111+(111111-(1111+(1111+(1111-(111+(111+(111+(111+(1+(1+(1+(1+(1))))))))))))))))))))))))
465592122: 111111111+(111111111+(111111111+(111111111+(11111111+(11111111-(1111111-(11111+(11111+(11111+(1111+(1111+(1111-(111-(11+(1)))))))))))))))
475898732: 111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111-(1111111+(1111111-(111111+(111111+(111111+(11111-(1111+(111+(11+(11+(11+(11+(1)))))))))))))))))))
482826596: 111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(111111+(111111+(111111+(111111+(111111+(11111+(11111+(11111+(11111+(1111+(1111+(1111+(1111-(111-(11+(11+(11+(11-(1)))))))))))))))))))))))))))))
484263150: 111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(1111111+(1111111+(111111+(111111-(11111+(11111+(11111+(11111-(1111+(1111+(1111+(111+(111-(11+(11+(11+(11-(1+(1+(1+(1+(1)))))))))))))))))))))))))))))))
506235403: 111111111+(111111111+(111111111+(111111111+(111111111-(11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(111111+(111111+(111111+(111111-(11111+(1111+(1111-(111+(11+(11+(11+(11-(1+(1))))))))))))))))))))))))))
548951531: 111111111+(111111111+(111111111+(111111111+(111111111-(11111111-(1111111+(1111111+(1111111+(1111111+(111111-(11111+(11111+(11111+(11111+(1111+(1111+(1111+(1111-(111+(111+(111+(111-(11+(11+(1+(1))))))))))))))))))))))))))
554295842: 111111111+(111111111+(111111111+(111111111+(111111111-(1111111+(111111+(11111+(11111+(11111+(1111+(1111+(1111+(1111-(111+(111+(111-(11+(11+(11+(11+(1+(1+(1)))))))))))))))))))))))
580536366: 111111111+(111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(1111111+(1111111+(111111+(111111+(111111+(111111+(111111-(11111+(11111-(1111+(1111+(1111-(111+(111+(111-(11+(11+(11+(1)))))))))))))))))))))))))
587051904: 111111111+(111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111-(1111111+(1111111-(111111+(111111+(111111+(11111+(11111+(11111+(11111+(11111-(1111+(1111+(1111+(111+(111+(111-(11+(1+(1+(1+(1+(1)))))))))))))))))))))))))))))
588265985: 111111111+(111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111-(1111111-(111111+(111111+(111111+(111111+(11111+(11111+(11111+(11111-(1111-(111+(111+(111+(111-(11+(1+(1))))))))))))))))))))))))
588298051: 111111111+(111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111-(111111+(111111+(111111+(111111+(111111+(11111+(11111+(11111+(1111+(1111-(111+(111+(11+(11+(11+(11+(11-(1+(1+(1+(1))))))))))))))))))))))))))))
590968352: 111111111+(111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111+(1111111+(1111111-(111111+(11111+(11111+(11111-(1111+(111+(111+(111+(111+(111+(11+(11-(1+(1)))))))))))))))))))))))
601194306: 111111111+(111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(1111111+(111111-(11111+(11111+(1111+(1111+(1111+(1111+(1111+(111+(11+(11+(1+(1+(1+(1+(1)))))))))))))))))))))))))
607771869: 111111111+(111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(1111111+(1111+(1111+(1111+(1111+(1111+(111+(111+(111+(11+(11-(1+(1))))))))))))))))))))))))
618578932: 1111111111-(111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111+(111111+(111111+(111111-(11111+(11111+(1111+(11+(11+(11+(11-(1+(1)))))))))))))))))))))))
626776380: 1111111111-(111111111+(111111111+(111111111+(111111111+(11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(1111111+(1111111+(111111-(1111+(111+(111+(111-(11+(11+(11+(11+(1+(1)))))))))))))))))))))))
667919873: 1111111111-(111111111+(111111111+(111111111+(111111111-(1111111+(111111+(11111+(11111+(11111-(1111+(1111+(111+(11+(1+(1+(1+(1+(1))))))))))))))))))
681786366: 1111111111-(111111111+(111111111+(111111111+(111111111-(11111111+(1111111+(1111111+(1111111+(1111111-(111111+(111111+(111111+(111111-(11111-(1111+(1111+(111+(111+(111-(11+(11+(11-(1)))))))))))))))))))))))
689854904: 1111111111-(111111111+(111111111+(111111111+(111111111-(11111111+(11111111+(1111111-(111111+(11111+(11111+(11111+(1111-(111+(111+(111+(111+(11+(1+(1+(1+(1)))))))))))))))))))))
692055400: 1111111111-(111111111+(111111111+(111111111+(111111111-(11111111+(11111111+(1111111+(1111111+(1111111-(111111+(11111+(11111+(11111+(11111+(11111+(111+(11+(11+(11+(11+(1)))))))))))))))))))))
697665495: 1111111111-(111111111+(111111111+(111111111+(111111111-(11111111+(11111111+(11111111-(1111111+(1111111+(111111+(1111+(111-(11+(11+(11+(11+(11-(1+(1+(1+(1+(1))))))))))))))))))))))
711608194: 1111111111-(111111111+(111111111+(111111111+(111111111-(11111111+(11111111+(11111111+(11111111+(111111+(111111+(111111+(111111+(11111+(11111+(11111+(11111+(11111-(1111+(1111+(1111-(111+(111+(111+(111-(11+(11+(1+(1+(1+(1+(1)))))))))))))))))))))))))))))))
734027104: 1111111111-(111111111+(111111111+(111111111+(11111111+(11111111+(11111111+(11111111-(1111111-(111111+(111111+(111111+(111111-(11111+(11111+(1111+(1111+(1111+(1111+(111+(111+(111+(111-(11-(1+(1+(1+(1)))))))))))))))))))))))))))
750869335: 1111111111-(111111111+(111111111+(111111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(111111+(111111+(11111+(11111-(1111+(1111+(111+(111+(111+(111+(1))))))))))))))))))))
757710567: 1111111111-(111111111+(111111111+(111111111+(11111111+(11111111-(1111111+(1111111-(111111-(11111+(11111+(11111+(11111-(111+(111+(111+(111+(111-(11))))))))))))))))))
759967747: 1111111111-(111111111+(111111111+(111111111+(11111111+(11111111-(1111111+(1111111+(1111111+(1111111-(11111+(11111+(11111-(1111-(11+(11+(11-(1+(1))))))))))))))))))
777616154: 1111111111-(111111111+(111111111+(111111111+(111111+(11111+(11111+(11111+(11111+(1111+(1111+(1111+(1111+(1111+(111+(111+(111+(111+(111-(11+(11+(11+(11-(1+(1+(1)))))))))))))))))))))))))
830071127: 1111111111-(111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111-(111111-(11111+(11111+(11111+(11111-(1111+(1111+(1111+(1111+(11+(1+(1+(1+(1))))))))))))))))))))))))
833809927: 1111111111-(111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(11111111-(111111+(111111+(111111+(111111+(11111+(11111+(11111-(1111+(111-(11+(11+(11+(1+(1+(1+(1+(1))))))))))))))))))))))))
835873060: 1111111111-(111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(111111+(111111+(111111-(11111+(1111+(1111+(1111+(1111+(111+(111+(11+(11+(11+(11+(11-(1+(1+(1)))))))))))))))))))))))))))
836438554: 1111111111-(111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(1111111-(111111+(111111+(1111+(1111+(1111+(1111+(1111+(111+(111+(111+(1+(1+(1)))))))))))))))))))))))
836945593: 1111111111-(111111111+(111111111+(11111111+(11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(1111111+(111111+(111111+(11111+(11111+(11111+(11111+(11111+(1111+(11+(11+(11+(1+(1+(1+(1+(1))))))))))))))))))))))))))
863728236: 1111111111-(111111111+(111111111+(11111111+(11111111+(1111111+(1111111+(1111111-(111111+(111111+(111111+(111111-(11111+(11111+(11111+(11111+(1111+(1111+(1111+(1111+(1111-(111+(111+(111+(111+(11+(1+(1)))))))))))))))))))))))))))
864158514: 1111111111-(111111111+(111111111+(11111111+(11111111+(1111111+(1111111+(111111+(111111+(111111-(11111+(11111+(11111+(11111+(1111+(1111+(1111-(111+(111+(111+(11+(11+(11+(11-(1+(1)))))))))))))))))))))))))
871273503: 1111111111-(111111111+(111111111+(11111111+(11111111-(1111111+(1111111+(1111111+(1111111+(111111+(11111+(11111+(11111+(11111+(11111-(1111+(1111+(1111+(1111-(111+(11+(11+(11+(11+(11+(1+(1+(1+(1))))))))))))))))))))))))))))
881615667: 1111111111-(111111111+(111111111+(11111111-(1111111+(1111111+(1111111+(111111+(111111+(111111+(111111+(11111+(11111+(11111+(11111+(11111+(1111+(1111+(1111+(1111+(111+(1+(1))))))))))))))))))))))
891619600: 1111111111-(111111111+(111111111-(1111111+(1111111+(111111+(111111+(111111+(111111+(111111-(11111+(11111+(11111+(11111+(1111+(1111+(111+(111+(111+(111-(11+(11+(11+(11)))))))))))))))))))))))
897181691: 1111111111-(111111111+(111111111-(11111111-(1111111+(1111111+(111111+(111111+(111111+(111111+(111111+(11111+(11111+(11111+(11111-(1111+(1111+(1111+(111+(111+(111+(111+(111+(11+(11+(1+(1))))))))))))))))))))))))))
918159061: 1111111111-(111111111+(111111111-(11111111+(11111111+(11111111-(1111111+(1111111+(1111111+(1111111-(111111+(111111+(111111+(11111+(11111+(11111+(11111+(1111+(1111+(1111+(111+(111-(11+(11+(11+(11+(1+(1+(1+(1+(1))))))))))))))))))))))))))))))
920521050: 1111111111-(111111111+(111111111-(11111111+(11111111+(11111111-(1111111+(111111+(111111+(111111+(111111+(111111+(11111+(11111+(11111+(1111+(111-(11+(11+(11+(11+(1+(1+(1+(1+(1)))))))))))))))))))))))))
924502226: 1111111111-(111111111+(111111111-(11111111+(11111111+(11111111+(1111111+(1111111+(11111+(11111+(11111+(11111+(11111+(1111+(1111+(1+(1+(1+(1+(1)))))))))))))))))))
929983535: 1111111111-(111111111+(111111111-(11111111+(11111111+(11111111+(11111111-(1111111+(1111111+(1111111+(11111+(1111+(1111+(1111+(1111+(1111-(111+(111-(11+(11-(1))))))))))))))))))))
943162304: 1111111111-(111111111+(11111111+(11111111+(11111111+(11111111+(11111111+(1111111+(111111+(11111+(11111+(11111+(11111+(11111+(1111+(1111+(1111+(1111-(111-(11+(11+(11-(1+(1)))))))))))))))))))))))
950210939: 1111111111-(111111111+(11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(1111111-(111111+(111111-(11111+(111+(111-(11+(11+(11+(11+(1+(1+(1+(1+(1))))))))))))))))))))))))
950214176: 1111111111-(111111111+(11111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111+(1111111-(111111+(111111-(11111-(1111+(1111+(1111-(111+(111+(11+(11+(11+(11+(1+(1+(1)))))))))))))))))))))))))
962610357: 1111111111-(111111111+(11111111+(11111111+(11111111+(1111111+(1111111+(1111111+(1111111-(111111+(111111+(111111+(11111+(11111+(11111+(11111+(11111-(1111-(111+(111+(111+(11+(11+(1+(1))))))))))))))))))))))))
974842859: 1111111111-(111111111+(11111111+(11111111+(1111111+(1111111+(1111111-(111111+(111111+(111111+(111111-(11111+(11111+(11111+(11111+(1111+(111+(111+(111+(111+(11+(11+(11-(1+(1))))))))))))))))))))))))
988572832: 1111111111-(111111111+(11111111+(111111+(111111+(111111-(11111+(11111-(1111+(1111+(1111+(1111+(111+(111+(111+(111+(11+(11+(11+(11+(11+(1+(1+(1)))))))))))))))))))))))

5

Python, оценка 17136288

дополнительный счет: 09.12.2016, 08:53
(4784 и 3582 операции)

Работа в процессе, но ОП попросил мой текущий код ...

# get number in factorial base, ignoring the place of 0! (always 0) 
r=lambda n,q=[],i=2:n and r(n//i,q+[n%i],i+1)or q

# rewrite a number in a form using only 1s by converting its factorial base, the range only requires using up to 12 places, again ignoring the 0! place so we only hard code 1 and [5-12] (9 numbers)
def g(n):
    k=['','1']+['1'+'+1'*i for i in range(1,4)]+['(11-1)/(1+1)','t(1+1+1)','1+t(1+1+1)','11-1-1-1','11-1-1','11-1','11','1+11']
    q=r(n)
    return n<13and k[n]or(q[0]and'1+'or'')+'+'.join((v>1and'('+k[v]+')*'or'')+(i>2and't'or'')+'('+k[i]+')'for i,v in enumerate(q[1:],2)if v)

#get g(n) representations after differencing from 0, 11, 111, 1111, ... then return the one with the minimal stand-alone score
def h(n):
    o=[g(n)]+[str(v)+(v<n and'+('or'-(')+g(abs(v-n))+')'for v in[int('1'*l)for l in range(2,11)]]
    s=[sum(map(v.count,'+-*/t'))*v.count('1')for v in o]
    return o[s.index(min(s))]

# A Factorial function for analysis with eval
def t(n):
    r = 1
    while n:
        r *= n
        n -= 1
    return r

Вывод - обратите внимание , что tэто факториал функция, поэтому не следует путать с fдля floorесли он привыкает - я оценил каждый с помощью функции t(выше) , чтобы проверить дважды , что они все правильно:

945536 11111111-(1+(1+1)+(1+1)*t(1+1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(11-1-1-1)*t(11-1-1)+(1+1)*t(11-1))
16878234 11111111+(1+(1+1+1)*t(1+1+1)+t(1+1+1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+t(t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+t(11-1))
32608778 111111111-(1+(1+1)*t(1+1+1)+(t(1+1+1))*t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+(t(1+1+1))*t(11-1-1)+(11-1)*t(11-1)+t(11))
42017515 111+((1+1)*(1+1)+(1+1+1)*t((11-1)/(1+1))+((11-1)/(1+1))*t(t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+t(11))
48950830 111+(1+t(1+1+1)+(1+1+1)*t(1+1+1+1)+(1+1+1)*t(t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(1+1)*t(11-1)+t(11))
51483452 11111111+(1+(1+1)+(1+1+1)*t(1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+t(11-1-1)+t(11))
52970263 111111111-((1+1)+t(1+1+1)+t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+t(11-1-1-1)+((11-1)/(1+1))*t(11-1)+t(11))
54278649 1+(1+1)+t(1+1+1)+(1+1+1+1)*t(t(1+1+1))+t(1+t(1+1+1))+((11-1)/(1+1))*t(11-1-1-1)+(11-1-1)*t(11-1-1)+(1+1+1)*t(11-1)+t(11)
63636656 1111111+(1+t(1+1+1+1)+(t(1+1+1))*t(t(1+1+1))+((11-1)/(1+1))*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+(1+1)*t(11-1-1)+(t(1+1+1))*t(11-1)+t(11))
78817406 1111+(1+t(1+1+1)+(1+1)*t(1+1+1+1)+t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(11-1)*t(11-1)+t(11))
89918907 1+(1+1)+t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(1+1)*t(11-1)+(1+1)*t(11)
90757642 1111111+(1+(1+1)+(1+1)*t(1+1+1+1)+(1+1+1)*t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1)+(1+1)*t(11-1)+(1+1)*t(11))
95364861 11111111+((1+1)*(1+1)+(1+1+1)*t(1+1+1)+(1+1)*t(1+1+1+1)+((11-1)/(1+1))*t(1+t(1+1+1))+t(11-1-1-1)+(1+1)*t(11-1-1)+t(11-1)+(1+1)*t(11))
102706605 1111+((1+1)+(1+1)*t(1+1+1)+(1+1+1)*t((11-1)/(1+1))+(1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1)+(t(1+1+1))*t(11-1)+(1+1)*t(11))
113965374 t(1+1+1)+(1+1)*t(1+1+1+1)+t((11-1)/(1+1))+t(t(1+1+1))+(1+1+1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1)+(11-1-1)*t(11-1)+(1+1)*t(11)
122448605 111111+((1+1)+(1+1)*t(1+1+1)+t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+t(1+t(1+1+1))+t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(1+1+1)*t(11))
126594161 111111111+((1+1)+(1+1)*t(1+1+1+1)+t((11-1)/(1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+(1+1+1+1)*t(11-1))
148064959 1111111111-((1+1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+(1+1+1)*t(11-1-1)+t(11-1)+(1+1)*t(1+11))
150735075 11111111+((1+1)*(1+1)+t((11-1)/(1+1))+t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(1+1+1)*t(11))
154382918 1111111+(1+t(1+1+1)+(1+1+1)*t((11-1)/(1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1)*t(11-1)+(1+1+1)*t(11))
172057472 1111+(1+t((11-1)/(1+1))+t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(1+1+1)*t(11-1)+(1+1+1+1)*t(11))
192280850 1111111111-(1+(1+1)*(1+1)+(1+1+1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1)+(11)*t(11)+t(1+11))
194713795 111111111+((1+1)*(1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+((11-1)/(1+1))*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1-1)+t(11-1)+(1+1)*t(11))
207721209 111111+((1+1+1)*t(1+1+1)+(1+1)*t((11-1)/(1+1))+(1+1+1)*t(t(1+1+1))+t(11-1-1-1)+(1+1)*t(11-1-1)+(1+1)*t(11-1)+((11-1)/(1+1))*t(11))
220946392 111111111+(1+((11-1)/(1+1))*t(t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1-1)*t(11-1)+(1+1)*t(11))
225230299 1111111111-((1+1)*t(1+1+1)+(1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+t(11-1-1)+(1+1)*t(11-1)+(11-1)*t(11)+t(1+11))
227043979 1111111111-((1+1)*t(1+1+1)+t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+(t(1+1+1))*t(11-1-1)+t(11-1)+(11-1)*t(11)+t(1+11))
241011012 11+(1+(1+1+1)*t((11-1)/(1+1))+(1+1+1+1)*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(t(1+1+1))*t(11))
248906099 11+((1+1)*t(1+1+1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+(1+1)*t(1+t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+(1+1)*t(11-1)+(t(1+1+1))*t(11))
249796314 111111+(1+(1+1)+((11-1)/(1+1))*t(t(1+1+1))+(1+1+1+1)*t(1+t(1+1+1))+(11-1-1-1)*t(11-1-1)+(1+1)*t(11-1)+(t(1+1+1))*t(11))
250546528 111+(1+(1+1+1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(1+1+1)*t(11-1-1-1)+(1+1+1)*t(11-1)+(t(1+1+1))*t(11))
258452706 11+(1+t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1)*t(t(1+1+1))+(1+1)*t(11-1-1-1)+(1+1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(t(1+1+1))*t(11))
276862988 111+(1+(1+1)*(1+1)+(1+1+1)*t(1+1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+((11-1)/(1+1))*t(1+t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1)*t(11-1)+(t(1+1+1))*t(11))
277140688 1111+(1+(1+1)+t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1+1+1)*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1+1)*t(11-1-1)+(11-1)*t(11-1)+(t(1+1+1))*t(11))
280158490 (1+1)*(1+1)+t(1+1+1)+(1+1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1)+(1+t(1+1+1))*t(11)
286074562 1111+(1+(1+1)+(1+1)*t(1+1+1+1)+t((11-1)/(1+1))+(1+1+1+1)*t(t(1+1+1))+(1+1+1)*t(11-1-1-1)+(11-1-1-1)*t(11-1-1)+t(11-1)+(1+t(1+1+1))*t(11))
308946627 11111+((1+1)*(1+1)+(1+1+1)*t(1+1+1+1)+((11-1)/(1+1))*t(t(1+1+1))+(1+1+1)*t(11-1-1-1)+t(11-1-1)+(11-1-1-1)*t(11-1)+(1+t(1+1+1))*t(11))
310972897 111111111+((1+1)*(1+1)+t(1+1+1)+(1+1+1+1)*t(1+1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+((11-1)/(1+1))*t(11))
322612091 11+((1+1)*t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+(11-1-1)*t(11-1-1)+(11-1-1-1)*t(11))
324445400 1111+(1+(1+1)*t(1+1+1+1)+(t(1+1+1))*t(t(1+1+1))+((11-1)/(1+1))*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1)+t(11-1)+(11-1-1-1)*t(11))
336060042 11+(1+t(1+1+1)+t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1)+(1+1+1+1)*t(11-1)+(11-1-1-1)*t(11))
346729632 11111+(1+(1+1+1)*t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+(1+t(1+1+1))*t(11-1)+(11-1-1-1)*t(11))
349428326 11+(1+(1+1)+(1+1+1)*t(1+1+1+1)+(1+1+1)*t(1+t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1-1)*t(11-1)+(11-1-1-1)*t(11))
352769482 1111+(1+(1+1)+(1+1)*t(1+1+1+1)+((11-1)/(1+1))*t(t(1+1+1))+t(1+t(1+1+1))+t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1)*t(11-1)+(11-1-1-1)*t(11))
363039453 111111+(t(1+1+1)+(1+1+1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+t(1+t(1+1+1))+t(11-1-1-1)+t(11-1)+(11-1-1)*t(11))
363851029 1111+(t(1+1+1)+(1+1+1)*t(1+1+1+1)+(1+1+1)*t(t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+t(11-1)+(11-1-1)*t(11))
392168304 11111111+(1+(1+1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1)+(11-1-1)*t(11))
401975104 1111111+(1+(1+1)+t(1+1+1)+t(1+1+1+1)+(1+1+1)*t((11-1)/(1+1))+(1+1+1)*t(t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(11-1)*t(11))
407890409 11111+((1+1+1)*t(1+1+1)+(1+1+1)*t(t(1+1+1))+(1+1+1+1)*t(11-1-1)+(1+1)*t(11-1)+(11-1)*t(11))
407971913 11111+((1+1+1)*t(1+1+1)+t(1+1+1+1)+t((11-1)/(1+1))+(1+1+1+1)*t(t(1+1+1))+(1+1)*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(1+1)*t(11-1)+(11-1)*t(11))
425780757 111+(t(1+1+1)+(1+1)*t(t(1+1+1))+(1+1+1)*t(11-1-1-1)+(1+1+1)*t(11-1-1)+(1+t(1+1+1))*t(11-1)+(11-1)*t(11))
459441559 1111111+((1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(11)*t(11))
465592122 1111+(1+(1+1)*(1+1)+t(1+1+1)+t((11-1)/(1+1))+t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1)+(1+t(1+1+1))*t(11-1)+(11)*t(11))
475898732 11111+(1+(1+1)+(1+1+1)*t(1+1+1)+t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(1+1+1)*t(11-1-1-1)+t(11-1-1)+(11-1)*t(11-1)+(11)*t(11))
482826596 111111+(1+(1+1)*(1+1)+t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(1+1)*t(11-1-1-1)+t(11-1)+t(1+11))
484263150 t(1+1+1)+t(1+1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+t(11-1)+t(1+11)
506235403 1111+((1+1)*t(1+1+1)+t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+((11-1)/(1+1))*t(11-1-1)+(1+t(1+1+1))*t(11-1)+t(1+11))
548951531 11+((1+1+1+1)*t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1-1)*t(11-1)+t(11)+t(1+11))
554295842 (1+1)+(1+1)*t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(11-1-1)*t(11-1)+t(11)+t(1+11)
580536366 1111111111-(1+t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+((11-1)/(1+1))*t(t(1+1+1))+t(11-1-1-1)+(1+1)*t(11-1-1)+(1+1+1)*t(11-1)+t(11)+t(1+11))
587051904 1111111111-(1+t(1+1+1)+(1+1+1+1)*t(1+t(1+1+1))+t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+t(11-1)+t(11)+t(1+11))
588265985 11+(t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1+1)*t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+t(11-1-1)+(11-1-1-1)*t(11-1)+(1+1)*t(11)+t(1+11))
588298051 11111111+((1+1)+(1+1+1)*t(1+1+1)+(1+1+1)*t((11-1)/(1+1))+t(t(1+1+1))+t(1+t(1+1+1))+((11-1)/(1+1))*t(11-1-1-1)+((11-1)/(1+1))*t(11-1)+(1+1)*t(11)+t(1+11))
590968352 1111111+(1+t((11-1)/(1+1))+t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+(11-1-1-1)*t(11-1)+(1+1)*t(11)+t(1+11))
601194306 1111111+(1+(1+1)*(1+1)+t(1+1+1)+t(1+1+1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1+1)*t(11-1-1)+(1+1+1)*t(11)+t(1+11))
607771869 1111111+((1+1)+(1+1)*t(1+1+1)+t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+t(t(1+1+1))+t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+t(11-1-1)+(1+1)*t(11-1)+(1+1+1)*t(11)+t(1+11))
618578932 111111111+(1+(1+1)*t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+(1+1+1+1)*t(11-1-1-1)+(11-1-1-1)*t(11-1-1)+(1+t(1+1+1))*t(11-1)+t(1+11))
626776380 1111+(1+(1+1)*(1+1)+t(1+1+1+1)+t((11-1)/(1+1))+t(t(1+1+1))+(1+1)*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(1+t(1+1+1))*t(11-1)+(1+1+1)*t(11)+t(1+11))
667919873 111111+((1+1)+t((11-1)/(1+1))+((11-1)/(1+1))*t(t(1+1+1))+((11-1)/(1+1))*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+(11-1-1-1)*t(11-1)+(1+1+1+1)*t(11)+t(1+11))
681786366 t(1+1+1)+(1+1+1)*t((11-1)/(1+1))+(1+1+1)*t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+(11-1-1-1)*t(11-1-1)+((11-1)/(1+1))*t(11)+t(1+11)
689854904 1111+(1+(1+1+1)*t(1+1+1+1)+t((11-1)/(1+1))+((11-1)/(1+1))*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+t(11-1-1)+(1+1+1)*t(11-1)+((11-1)/(1+1))*t(11)+t(1+11))
692055400 11+(1+(1+1)*(1+1)+t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(1+1+1)*t(11-1)+((11-1)/(1+1))*t(11)+t(1+11))
697665495 1111111111-((1+1)*(1+1)+(1+1)*t(1+1+1)+(t(1+1+1))*t(t(1+1+1))+(1+1+1)*t(11-1-1-1)+(11-1-1)*t(11-1-1)+(1+1+1)*t(11-1)+(11-1)*t(11))
711608194 (1+1)*(1+1)+t(1+1+1)+t(1+1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+t(11-1-1)+(11-1-1)*t(11-1)+((11-1)/(1+1))*t(11)+t(1+11)
734027104 11+(1+(1+1)*(1+1)+(1+1)*t(1+1+1+1)+(1+1)*t(t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+(1+1+1+1)*t(11-1)+(t(1+1+1))*t(11)+t(1+11))
750869335 111111111+((1+1)*(1+1)+(1+1)*t(1+1+1)+(1+1)*t(1+1+1+1)+t(t(1+1+1))+(1+1+1)*t(11-1-1)+(1+1+1+1)*t(11)+t(1+11))
757710567 11111+((1+1)*(1+1)+(1+1)*t(1+1+1)+(1+1)*t((11-1)/(1+1))+t(t(1+1+1))+t(1+t(1+1+1))+(11-1-1-1)*t(11-1-1)+(11-1)*t(11-1)+(t(1+1+1))*t(11)+t(1+11))
759967747 1111+((1+1)*t(1+1+1)+t(1+1+1+1)+t((11-1)/(1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(1+t(1+1+1))*t(11)+t(1+11))
777616154 11111+(1+(1+1)+((11-1)/(1+1))*t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(1+t(1+1+1))*t(11)+t(1+11))
830071127 1111+((1+1)*(1+1)+(1+1)*t(1+1+1)+(1+1+1)*t(t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(11-1-1-1)*t(11-1)+(11-1-1-1)*t(11)+t(1+11))
833809927 1111111111-(t(1+1+1+1)+(1+1+1)*t((11-1)/(1+1))+(1+1+1+1)*t(1+t(1+1+1))+t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(11-1)*t(11-1)+(t(1+1+1))*t(11))
835873060 1111111111-(1+(1+1)+(1+1)*t(1+1+1+1)+((11-1)/(1+1))*t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+(11-1-1-1)*t(11-1-1)+(11-1-1)*t(11-1)+(t(1+1+1))*t(11))
836438554 111+(1+(1+1+1)*t(1+1+1)+t(1+1+1+1)+((11-1)/(1+1))*t(11-1-1)+(11-1)*t(11-1)+(11-1-1-1)*t(11)+t(1+11))
836945593 11111111+((1+1)+(1+1)*t((11-1)/(1+1))+(1+t(1+1+1))*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+(1+t(1+1+1))*t(11-1)+(11-1-1-1)*t(11)+t(1+11))
863728236 1111+(1+(1+1)*(1+1)+(1+1+1)*t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+t(11-1-1-1)+(1+t(1+1+1))*t(11-1)+(11-1-1)*t(11)+t(1+11))
864158514 111+(1+(1+1)+(1+1+1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1-1)+t(11-1-1)+(1+t(1+1+1))*t(11-1)+(11-1-1)*t(11)+t(1+11))
871273503 111111111+((1+1+1)*t(1+1+1+1)+(t(1+1+1))*t(t(1+1+1))+t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(1+t(1+1+1))*t(11)+t(1+11))
881615667 111+((1+1)*t(1+1+1)+t(1+1+1+1)+((11-1)/(1+1))*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+(11-1-1)*t(11-1-1)+(11-1)*t(11)+t(1+11))
891619600 1111111+(1+(1+1)+t(1+1+1)+(1+1)*t((11-1)/(1+1))+t(t(1+1+1))+(1+1+1+1)*t(11-1-1)+(1+1+1)*t(11-1)+(11-1)*t(11)+t(1+11))
897181691 111111+((1+1)+(1+1+1)*t(1+1+1)+(1+1)*t((11-1)/(1+1))+t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(1+1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(11-1)*t(11)+t(1+11))
918159061 1111+(t(1+1+1)+t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+t(11-1-1-1)+(11)*t(11)+t(1+11))
920521050 11111+(1+(1+1+1)*t(1+1+1)+(t(1+1+1))*t(t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(t(1+1+1))*t(11-1-1)+(11)*t(11)+t(1+11))
924502226 (1+1)+t(1+1+1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+t(11-1)+(11)*t(11)+t(1+11)
929983535 1111111111-((1+1)+t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1)*t(1+t(1+1+1))+t(11-1-1-1)+(11-1-1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(1+1+1+1)*t(11))
943162304 1111+(1+(1+1+1)*t(1+1+1+1)+t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(11-1-1)*t(11-1-1)+(t(1+1+1))*t(11-1)+(11)*t(11)+t(1+11))
950210939 111111111+((1+1)+(1+1+1)*t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+(1+1+1)*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1)*t(11)+t(1+11))
950214176 1111111+(1+t(1+1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+(1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+(11-1-1-1)*t(11-1)+(11)*t(11)+t(1+11))
962610357 111+(t(1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+(1+1)*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+t(11-1)+(1+1)*t(1+11))
974842859 111111+((1+1)+(1+1+1)*t(1+1+1)+(1+1)*t(1+1+1+1)+t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1)+(1+1+1+1)*t(11-1)+(1+1)*t(1+11))
988572832 1111111111-(1+(1+1)+(1+1)*t(1+1+1)+t(1+1+1+1)+t(t(1+1+1))+t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(1+1+1)*t(11))

Что все это tв выходной?
QBrute

@QBrute хе, просто писал в записке для этого
Джонатан Аллан

Я почти уверен, что время было 8:52, но да.
clismique

Имеет смысл использовать только метку времени, предоставленную SE (наведите курсор на приблизительное время в истории ревизий, чтобы увидеть точное время). Время оценки достигается был 8:53:13
Trichoplax

(Не имеет значения, кто выиграет в этом случае - просто кажется лучшим способом прояснить любые разногласия в других местах ...)
trichoplax

4

JavaScript (ES6), 27212498, 2016-09-12 09: 46: 34Z

f=(n,a='+',s='-',m=n*9+'',r=m.replace(/./g,1))=>r-n?m<'55'?--r/10+a+f(n-r/10,a,s):r+s+f(r-n,s,a):r;
s = '';
[945536, 16878234, 32608778, 42017515, 48950830, 51483452, 52970263, 54278649, 63636656, 78817406, 89918907, 90757642, 95364861, 102706605, 113965374, 122448605, 126594161, 148064959, 150735075, 154382918, 172057472, 192280850, 194713795, 207721209, 220946392, 225230299, 227043979, 241011012, 248906099, 249796314, 250546528, 258452706, 276862988, 277140688, 280158490, 286074562, 308946627, 310972897, 322612091, 324445400, 336060042, 346729632, 349428326, 352769482, 363039453, 363851029, 392168304, 401975104, 407890409, 407971913, 425780757, 459441559, 465592122, 475898732, 482826596, 484263150, 506235403, 548951531, 554295842, 580536366, 587051904, 588265985, 588298051, 590968352, 601194306, 607771869, 618578932, 626776380, 667919873, 681786366, 689854904, 692055400, 697665495, 711608194, 734027104, 750869335, 757710567, 759967747, 777616154, 830071127, 833809927, 835873060, 836438554, 836945593, 863728236, 864158514, 871273503, 881615667, 891619600, 897181691, 918159061, 920521050, 924502226, 929983535, 943162304, 950210939, 950214176, 962610357, 974842859, 988572832].forEach(n => { s += f(n); console.log(n, f(n)); });
l = s.match(/1/g).length;
console.log((s.length - l) * l);

Используются только + и -. Основываясь на моем ответе, чтобы минимизировать эти


2106? Это очень запоздалый ответ: P
только ASCII

4

питон

Основная оценка = 2214138604871819402525

Вторичный счет = 12/09/2016, 07:53

Вот код:

def print_1s(n):
    return ("1+" * n)[:-1]

Просто чтобы мяч катился.

В основном вывод 1+1+1...+1, где число 1's в выведенном выражении равно n.

В общем, есть 47054634305 1для набора чисел и 47054634205операторов (которые все +).

Я не собираюсь публиковать здесь, потому что вы поняли идею.


На самом ли деле это соответствует всем требованиям? Я получаю ошибку переполнения при вызове с 2**31-1.
Якуб

@Jakube Хе, хе, хе ...
clismique

@trichoplax Как это значит n-1? Он отлично работает для меня.
clismique

2

AWK

основной балл 46933701

дополнительный балл 12.09.2016 19:20

(6901 из них, 6801 опс)

{
    for(b=""; $0; $0=int($0/2))
        b=and($0, 1) b
    for(chall=""; length(b=substr(b,2)); ) {
        if(chall!="")
            chall=chall"*"
        chall=chall"(1+1)"
        if(substr(b, 1, 1)=="1") {
            chall=chall"+1"
            if(length(b)>1)
                chall="("chall")"
        }
    }
    print chall
}

Просто печатает двоичное представление, рассчитанное слева направо.

Например, 19 - это 10011, который ((((( 1 ) * 2 + 0 ) * 2 + 0 ) * 2 + 1 ) * 2 + 1 ).

Я просто опускаю +0и пишу 2как (1+1).

Мне было просто любопытно, как этот метод будет забивать.

Выход:

945536: (((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
16878234: (((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
32608778: (((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
42017515: ((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1
48950830: (((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1+ 1) + 1) * (1 + 1)
51483452: ((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
52970263: ((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1
54278649: (((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1
63636656: (((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
78817406: ((((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1)
89918907: ((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1
90757642: ((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 )
95364861: (((((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1
102706605: (((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) + 1
113965374: (((((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1)
122448605: (((((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) + 1
126594161: (((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1
148064959: ((((((((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) + 1
150735075: ((((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) + 1
154382918: (((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) + 1) * (1 + 1)
172057472: (((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
192280850: (((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
194713795: (((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1+ 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1
207721209: (((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1
220946392: ((((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1)
225230299: ((((((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1
227043979: ((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) + 1
241011012: ((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
248906099: (((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1
249796314: (((((((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
250546528: ((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
258452706: (((((((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
276862988: (((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
277140688: ((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
280158490: ((((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1)
286074562: (((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
308946627: ((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1
310972897: ((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1+ 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1
322612091: (((((((((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1
324445400: ((((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1)
336060042: ((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
346729632: ((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1)
349428326: (((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1)
352769482: ((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
363039453: ((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1
363851029: (((((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1
392168304: (((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
401975104: (((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
407890409: ((((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1
407971913: (((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1
425780757: ((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) + 1
459441559: (((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1
465592122: ((((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
475898732: ((((((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
482826596: ((((((((((((((((+ 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
484263150: (((((((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1)
506235403: ((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1
548951531: ((((((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1
554295842: ((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1)
580536366: ((((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1)
587051904: (((((((((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
588265985: ((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) +1
588298051: ((((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) + 1
590968352: ((((((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
601194306: (((((((((((((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
607771869: ((((((((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1
618578932: ((((((((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
626776380: (((((((((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
667919873: (((((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1
681786366: ((((((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1)
689854904: ((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1)
692055400: (((((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1)
697665495: (((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1
711608194: ((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
734027104: (((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
750869335: ((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1
757710567: ((((((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1
759967747: ((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1
777616154: (((((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
830071127: (((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1
833809927: (((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1
835873060: (((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
836438554: ((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
836945593: ((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1
863728236: ((((((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
864158514: (((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
871273503: (((((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1
881615667: (((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1
891619600: ((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
897181691: (((((((((((((((((((((((((((((((((1) 1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1
918159061: ((((((((((((((((((((((1 (1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) +1
920521050: ((((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
924502226: (((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
929983535: ((((((((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1
943162304: ((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
950210939: (((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1
950214176: ((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1)
962610357: ((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1
974842859: ((((((((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1
988572832: (((((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)

2

Python 3

Основная оценка: 69720516

Вторичная оценка: 09:30 14/09/2016

def genNum(num):
    dic = { 
        6: "(1+1+1)!",
        24: "(1+1+1+1)!",
        120: "((1+1+1)!-1)!",
        720: "((1+1+1)!)!",
        5040: "((1+1+1)!+1)!",
        40320: "((1+1+1)!+1+1)!",
        362880: "(11-1-1)!",
        39916800: "(11)!",
        479001600: "(11+1)!",
        6227020800: "(11+1+1)!"
    }

    lis = [6227020800,479001600,39916800,362880,40320,5040,720,120,24,6]
    out = ""

    for i in lis:
        if num/i >= 1:
            st = dic[i] + "*(" + genNum(num // i) + ")"
            out += st

            if num%i != 0:
               out += "+" + genNum(num%i)

          return out

    else:
        st = "1+"*num

    return st[:-1]

Изменить: теперь использует умножение, чтобы значительно уменьшить счет.

Это делает большое использование факториалов и рекурсии. Всего программа использует:

  • 5958 те,
  • 11702 операторы

Идео это!


1

ДЖАВА

Основная оценка 1045978739

Вторичная оценка 12/09/2016 16:05

37193 1s

28123 operators

     void main() {

    int arr[]={945536, 16878234, 32608778, 42017515, 48950830, 51483452, 52970263, 54278649, 63636656, 78817406, 89918907, 90757642, 95364861, 102706605, 113965374, 122448605, 126594161, 148064959, 150735075, 154382918, 172057472, 192280850, 194713795, 207721209, 220946392, 225230299, 227043979, 241011012, 248906099, 249796314, 250546528, 258452706, 276862988, 277140688, 280158490, 286074562, 308946627, 310972897, 322612091, 324445400, 336060042, 346729632, 349428326, 352769482, 363039453, 363851029, 392168304, 401975104, 407890409, 407971913, 425780757, 459441559, 465592122, 475898732, 482826596, 484263150, 506235403, 548951531, 554295842, 580536366, 587051904, 588265985, 588298051, 590968352, 601194306, 607771869, 618578932, 626776380, 667919873, 681786366, 689854904, 692055400, 697665495, 711608194, 734027104, 750869335, 757710567, 759967747, 777616154, 830071127, 833809927, 835873060, 836438554, 836945593, 863728236, 864158514, 871273503, 881615667, 891619600, 897181691, 918159061, 920521050, 924502226, 929983535, 943162304, 950210939, 950214176, 962610357, 974842859, 988572832

};
    int sum=1;
    for(int i=0;i<arr.length;i++){
    System.out.print(arr[i]+":");
        while(arr[i]>11){
            System.out.print("("+"1");
            sum=11;
            while(sum<=arr[i]){
            if(sum<=arr[i])
            System.out.print("*11");
            sum*=11;
        }
        arr[i]=arr[i]-sum/11;
        System.out.print(")");
        if(arr[i]!=0)
        System.out.print("+");

        }
        while(arr[i]--!=0){
        System.out.print(1);
        if(arr[i]!=0)
            System.out.print("+");
    }

        System.out.println();



    }
    }


945536:(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1
16878234:(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1+1
32608778:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+1+1+1+1
42017515:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+1
48950830:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1
51483452:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+1+1+1+1+1+1+1+1+1
52970263:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1
54278649:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1
63636656:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1
78817406:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1
89918907:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1
90757642:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+1+1+1+1+1+1+1+1
95364861:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1
102706605:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1
113965374:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1
122448605:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1
126594161:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1
148064959:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1
150735075:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1
154382918:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1
172057472:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1
192280850:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1
194713795:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1
207721209:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11)+(1*11)+1+1+1
220946392:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+1+1+1+1+1+1+1+1+1
225230299:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1+1
227043979:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1+1
241011012:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1
248906099:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+1+1+1+1
249796314:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1+1+1
250546528:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1
258452706:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1
276862988:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1
277140688:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1
280158490:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1
286074562:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1
308946627:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1
310972897:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1
322612091:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1
324445400:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1

Я думаю, что вы можете избавиться от ненужных 1в начале каждого (1*11*11*...*11).
clismique

1

Emacs Lisp

Основная оценка: 81638725
Дополнительная оценка: 09.12.2016 09:35

(defun 1s (n)
  (let((x 1)r)
    (while (> (/ n x) 11)
      (setq x (1+ (* x 10))))
    (while (> n 0)
      (while (>= n x)
        (push x r)
        (push '+ r)
        (setq n (- n x)))
      (setq x (/ x 10)))
    r))

В основном строит сумму по области (1, 11, 111, ...), которая эквивалентна n.


Из того, что я понимаю, в вашей программе, когда он получает вход, такой как 124, он выводит 111+11+1+1, верно? (Поправьте меня, если я ошибаюсь.)
clismique

(Время также указано по Гринвичу.)
clismique

1
Как это может иметь счет <1 миллиона? Вы суммировали все 1s по всему выводу 100 чисел и умножили это на общее количество +операций по всему выводу?
Джонатан Аллан

2
Это имеет счет 81638725
Джонатан Аллан

Я не понимаю, почему это опровергнуто. здесь что-то не так?

1

AWK , 15642720

Вторичный счет = 30/05/2017, 21:11

BEGIN{RS="[,\n]"}
func f2(x) {
  div=int(x/11)
  mod=x%11
}
func trans(z){
  r=""
  if (z > 6) {
    r="11"
    for (i=11;i>z;i--){
      r=r"-1"
    }
  } else if (z>0){
    r=r 1
    for (i=1;i<z;i++){
      r=r"+1"
    }
  }
}
{n=$1
 do {f2(n)
   trans(mod)
   if (r) s=s"(" r  ")"
   if(div){
     if (r)s=s"+"
     s=s"11*("
     count++
   }
   n=div
 } while(div >10)
 trans(div)
 s = s r
 for (i=0;i<count;i++)s = s")"
 print $1": " s
 slength+=length(s)
 ones+=gsub("1","",s);
 parens+=gsub("[()]","",s);
 ops+=length(s);
 s=""
 count=0;
}
END {
  print "Total string length: " slength
  print "Ones: " ones
  print "Ops: " ops
  print "Parens: " parens
  print "Primary Score="ones*ops
}

Попробуйте онлайн!

Один: 4590

Ops: 3408 Основная оценка = 15642720 Дополнительная оценка = 30/05/2017 21:11

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.