Pode haver apenas 1!

44

Sua tarefa é, dado um número inteiro positivo n, gerar uma expressão que seja igual ao número n.

O problema é: você só pode receber o número 1na saída.

Os operadores à sua disposição são:

  • +, -, *E/
    • /é a divisão de ponto flutuante (so 5/2 = 2.5).
  • sqrt(as s)
  • ceile floor(como ce frespectivamente)
  • ! (fatorial)
    • O fatorial, neste caso, funciona apenas para números inteiros positivos.

Você também pode empilhar 1, portanto, algo como 11é aceitável na saída. No entanto, eles contam como o mesmo número de números 1contidos no número (então 11conta como 2 1).

Você também deve incluir colchetes na saída, para que a expressão na saída, quando executada pela ordem das operações, resulte na entrada. Eles não contam como operações, no entanto.

Exemplos:

  • Entrada = 24, uma saída possível = (1+1+1+1)!
  • Entrada = 11, uma saída possível = 11
  • Entrada = 5, uma saída possível = c(s((1+1+1+1)!))
    • O teto da raiz quadrada de 24é 5.

Regras:

  • Você está garantido que a entrada é um número inteiro positivo de 1a 2^31-1.
  • Seu programa deve funcionar para qualquer número inteiro positivo até 2^31-1, mesmo que não seja testado.
  • Seu programa deve concluir o processamento de todas as saídas para todos os números do conjunto em 1 hora.
  • Os resultados para cada execução do programa devem ser exatamente os mesmos - também, sem sementes.
  • Você só pode codificar as expressões para um máximo de 10 valores numéricos.
  • Você não tem permissão para ter números imaginários em nenhum lugar da saída (portanto, não s(some negative number)).
  • Também não é permitido que você tenha números maiores 2^31-1ou menores que -2^31+1em qualquer lugar da saída, mesmo quando eles são sqrteditados ou /editados (portanto, nenhum (((1+1+1)!)!)!ou ((1+1+1+1)!)!).

Conjunto de números:

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

(Estes são 100 números aleatórios de 1 a 1 bilhão.)

Sistema de pontuação:

Sua pontuação é determinada assim:

  • Seu programa será testado contra os números aleatórios no conjunto.
    • Você deve fornecer a saída gerada usando os números aleatórios no conjunto (dentro da sua resposta ou como um link para colar).
  • Você então tem duas "pontuações": uma pontuação primária e uma pontuação secundária.
    • Sua pontuação principal é (no. of 1's in output)*(no. of operators in output). Se sua pontuação principal for a mais baixa, você ganha.
    • Sua pontuação secundária é o horário do seu upload, no GMT e no período de 24 horas. Portanto, se você fizer o upload do seu programa em 12 de setembro, 00:00 GMT, sua pontuação será 12/09/2016, 00:00(use DD/MM/YYYY HH:MMpara a sua formatação).

Mostre sua pontuação assim:

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

Substitua todas as coisas entre parênteses pelo nome do seu idioma, pontuação primária e pontuação secundária, respectivamente.

Vencedor atual:

O vencedor atual é @ChrisJefferson, que tem uma pontuação primária de 3,810,660.

math code-challenge metagolf test-battery clismique
fonte
6
O conselho não é uma regra, mas esse é um argumento muito bom para explicar porque o golfe como desempate é problemático. Desculpe eu não manchar este na caixa de areia ...
Trichoplax
2
Relacionada questão math.SE .
xnor
3
Eu concordo com o triciclax que o desempate deve ser a resposta para alcançar sua pontuação mais curta.
ETHproductions
1
@JonathanAllan Parênteses não são operações, mas são obrigatórios.
Clismique 11/09/16
1
Você pode examinar o histórico de respostas e ver qual delas alcançou sua pontuação final primeiro.
ETHproductions

Respostas:

25

C ++ 11

Pequena atualização adicional: adicione muito menos e tente todos os números do formulário A * B + C. Eu acredito que, dentro do prazo, este é bastante próximo ao ideal, supondo que você use somente +, *e !. Deixo outros operadores para pessoas com mais tempo do que eu!

Pequena atualização: tente usar fatoriais e números como 11 .... 111. Também foi corrigido um erro que eu não contava !no meu custo

Novo resultado:

Pontuação primária = 3.810.660

Pontuação secundária = 09/09/2016 20:00

2532 1s, 1505 operadores.

Vários truques juntos. Meu programa começa definindo o programa mais curto para todos os fatoriais e números do formulário 111..111 (não acho que isso se enquadre na regra da instalação elétrica, pois essas são as maneiras mais curtas de fazer esses números. meu código para verificar esses padrões na minha programação dinâmica, se você quiser). Em seguida, faça uma abordagem de programação dinâmica parcial, tentando várias formas:

  • A + B
  • A * B + C
  • UMA! + B
  • 11 .... 11 + B

Infelizmente, eu não posso tentar todas as maneiras de decompor um número, então escolhi fatorial e 11 ... 11 para tentar apenas o número mais próximo, para A + B tentar coisas próximas de A / 2 e para A * B + Tentar apenas muito pequeno.

Seria fácil estender isso para tentar alguns '-'s, tentando ultrapassar um pouco às vezes (principalmente em A * B-C), mas eu gosto muito de apenas tentar crescer.

Além disso, é muito difícil otimizar a condição de otimização (não gosto!) Porque, em princípio, você não pode criar um "melhor" valor para cada número isoladamente, é necessário considerar seu conjunto de respostas globalmente (o que não pretendo fazer).

Aviso: Este programa precisa de uma máquina de 64 bits e cerca de 10 GB de memória (como eu ineficientemente faço uma matriz gigante para todos os resultados parcialmente computados).

Programa:

#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";

}

Resultados:

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))
Chris Jefferson
fonte
Parece que você não contou os 225 !. Eu acho que é de 1632 operadores, e não 1407. (que ainda leva a uma grande pontuação, no entanto.)
Arnauld
Infelizmente, perdi um '1' no custo das funções fatoriais. Surpreendentemente (para mim) a fixação que quase não faz diferença nas expressões que eu gero, suponho que os fatoriais são geralmente tão grandes que, se eles custam mais uma, ainda são a melhor escolha.
Chris Jefferson
long maxval resmungar resmungar
Stan Strum
7

Haskell

Pontuação primária: 27242281

Pontuação secundária: 12/09/2016 09:01

11891 1's, 2291 operadores

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

Ele basicamente encontra a maneira mais curta de fazê-lo usando apenas + e -

Resultado:

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)))))))))))))))))))))))
BlackCap
fonte
5

Python, pontuação 17136288

nota secundária: 12/09/2016 08:53
(4784 operações e 3582 operações)

Trabalho em andamento, mas o OP solicitou meu código atual ...

# 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

Saída - observe que essa té a função fatorial, para não confundir com, fpois floorse for usada - avaliei cada uma usando a função t(acima) para verificar novamente se estão corretas:

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))
Jonathan Allan
fonte
Quais são todos esses ts na saída?
QBrute
@QBrute heh, só estava escrevendo em uma nota para que
Jonathan Allan
Tenho certeza de que eram 8:52, mas eh.
Clismique
Só faz sentido seguir o carimbo de data / hora fornecido pelo SE (passe o mouse sobre o tempo aproximado no histórico de revisões para ver o horário exato). O tempo da pontuação sendo alcançado foi 08:53:13
Trichoplax
(Não faz a diferença para quem ganha neste caso - apenas parece ser a melhor maneira de esclarecer quaisquer divergências em outros lugares ...)
Trichoplax
4

JavaScript (ES6), 27212498, 12/09/2016 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);
Expandir snippet

Usa apenas + e -. Com base na minha resposta para minimizar aqueles

Neil
fonte
2106? Esta é uma resposta realmente tardia: P
somente ASCII
4

Pitão

Pontuação primária = 2214138604871819402525

Pontuação secundária = 12/09/2016, 07:53

Aqui está o código:

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

Apenas para fazer a bola rolar.

Basicamente 1+1+1...+1, saídas , onde o número de 1's na expressão emitida é igual a n.

No total, existem 47054634305 1para o conjunto de números e 47054634205operadores (que são todos +).

Não vou postar uma pasta aqui, porque você entendeu.

clismique
fonte
Isso realmente cumpre todos os requisitos? Estou recebendo um erro de estouro ao chamá-lo 2**31-1.
Jakube 12/09
@Jakube Heh, heh, heh ...
clismique
@trichoplax Como isso significa n-1? Isso funciona bem para mim.
Clismique 14/09/16
2

awk

escore primário 46933701

resultado secundário 12/09/2016 19:20

(6901 unidades, 6801 operações)

{
    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
}

Simplesmente imprime a representação binária calculada da esquerda para a direita.

Por exemplo 19 é 10011, que é ((((( 1 ) * 2 + 0 ) * 2 + 0 ) * 2 + 1 ) * 2 + 1 )).

Eu apenas deixo de fora +0e escrevo o 2as (1+1).

Eu só estava curioso sobre como esse método seria pontuado.

Resultado:

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) * (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 + 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) * (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) +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 + 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) * (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 + 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) * (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 + 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) +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 + 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) * (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) +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)
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) +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) * (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 + 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)
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) * (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)
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) +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) +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 + 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 + 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) +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 + 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) * (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 + 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) +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 + 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) * (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) * (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 + 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) * (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 + 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 + 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 +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)
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) +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 + 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) +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) * (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 + 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 + 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) +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
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)
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) * (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 + 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) * (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) * (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 + 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) +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) +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
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
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 + 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
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 + 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 + 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 + 1) * (1 + 1)
Cabbie407
fonte
2

Python 3

Pontuação Primária: 69720516

Pontuação Secundária: 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]

Editar: agora usa multiplicação para reduzir bastante a pontuação.

Isso faz um ótimo uso de fatoriais e recursão. No total, o programa usa:

  • 5958 uns
  • 11702 operadores

Ideone it!

Beta Decay
fonte
1

JAVA

Pontuação Primária 1045978739

Pontuação secundária 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
Numberknot
fonte
Eu acho que você pode se livrar do desnecessário 1no início de cada um (1*11*11*...*11).
Clismique 14/09/16
1

Emacs Lisp

Pontuação primária: 81638725 Pontuação secundária : 09/09/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))

Constrói basicamente uma soma sobre o domínio (1, 11, 111, ...) que é equivalente a n.

Lord Yuuma
fonte
Pelo que entendi, no seu programa, quando obtém uma entrada como 124, ela produz 111+11+1+1, certo? (Corrija-me se eu estiver errado.)
clismique
(Além disso, o tempo é em GMT.)
clismique
1
Como isso pode ter uma pontuação <1 milhão? Você adicionou todos os 1s em toda a saída de 100 números e multiplicou isso pelo número total de +operações em toda a saída?
Jonathan Allan
2
Isso tem uma pontuação de 81638725
Jonathan Allan
Não vejo por que isso foi prejudicado. há algo de errado?
1

AWK , 15642720

Pontuação secundária = 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
}

Experimente online!

Uns: 4590

Ops: 3408 Pontuação primária = 15642720 Pontuação secundária = 30/05/2017 21:11

Robert Benson
fonte