Può essercene solo 1!


44

Il tuo compito è, dato un numero intero positivo n, generare un'espressione che sia uguale al numero n.

Il problema è: ti è permesso solo il numero 1nell'output.

Gli operatori a tua disposizione sono:

  • +, -, *E/
    • /è una divisione in virgola mobile (quindi 5/2 = 2.5).
  • sqrt(come s)
  • ceile floor(come ce frispettivamente)
  • ! (fattoriale)
    • Il fattoriale, in questo caso, funziona solo con numeri interi positivi.

Puoi anche impilare 1insieme, quindi qualcosa di simile 11è accettabile nell'output. Tuttavia, contano come lo stesso numero di 1quelli presenti nel numero (quindi 11contano come 2 1).

È inoltre necessario includere parentesi nell'output, in modo che l'espressione nell'output, se eseguita attraverso l'ordine delle operazioni, comporti l'input. Tuttavia non contano come operazioni.

Esempi:

  • Input = 24, un'uscita possibile = (1+1+1+1)!
  • Input = 11, un'uscita possibile = 11
  • Input = 5, un'uscita possibile = c(s((1+1+1+1)!))
    • Il soffitto della radice quadrata di 24è 5.

Regole:

  • Si garantisce che l'input è un numero intero positivo da 1a 2^31-1.
  • Il programma deve funzionare per qualsiasi numero intero positivo fino a 2^31-1, anche se non sono stati testati.
  • Il programma deve terminare l'elaborazione di tutti gli output per tutti i numeri nell'insieme in 1 ora.
  • I risultati per ogni esecuzione del programma devono essere esattamente gli stessi - inoltre, senza semi.
  • È consentito codificare le espressioni solo per un massimo di 10 valori numerici.
  • Non è consentito avere numeri immaginari ovunque nell'output (quindi no s(some negative number)).
  • Inoltre, non è consentito avere numeri maggiori 2^31-1o minori rispetto a -2^31+1qualsiasi punto dell'output, anche quando vengono modificati sqrto modificati /(quindi no (((1+1+1)!)!)!o ((1+1+1+1)!)!).

Set di numeri:

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

(Questi sono 100 numeri casuali da 1 a 1 miliardo.)

Sistema di punteggio:

Il tuo punteggio è determinato in questo modo:

  • Il tuo programma verrà testato rispetto ai numeri casuali nel set.
    • È necessario fornire l'output generato utilizzando i numeri casuali nel set (all'interno della risposta o come collegamento pastebin).
  • Quindi hai due "punteggi": un punteggio primario e un punteggio secondario.
    • Il tuo punteggio principale è (no. of 1's in output)*(no. of operators in output). Se il tuo punteggio principale è il più basso, vinci.
    • Il tuo punteggio secondario è l'ora del tuo caricamento, in GMT e in 24 ore. Quindi, se carichi il tuo programma il 12 settembre, 00:00 GMT, il tuo punteggio è 12/09/2016, 00:00(utilizzare DD/MM/YYYY HH:MMper la formattazione).

Visualizza il tuo punteggio in questo modo:

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

Sostituisci tutti gli elementi tra parentesi con il nome della lingua, il punteggio primario e il punteggio secondario rispettivamente.

Vincitore attuale:

Il vincitore attuale è @ChrisJefferson, che ha un punteggio primario di 3,810,660.


6
Il consiglio non è una regola, ma questo è un argomento piuttosto valido per cui il golf come pareggio è problematico. Mi dispiace non averlo visto nella sandbox ...
trichoplax,

2
Domanda matematica correlata .
xnor,

3
Concordo con trichoplax sul fatto che il tiebreaker dovrebbe essere la risposta per raggiungere prima il suo punteggio più breve.
ETHproductions

1
@JonathanAllan Le parentesi non sono operazioni, ma sono obbligatorie.
clismique,

1
Puoi consultare la cronologia delle risposte e vedere quale ha raggiunto per primo il punteggio finale.
ETHproductions

Risposte:


25

C ++ 11

Ulteriore piccolo aggiornamento: aggiungi molto meno e prova tutti i numeri del modulo A * B + C. Credo che, entro il limite di tempo, questo sia abbastanza vicino all'ottimale, supponendo che tu usi solo +, *e !. Lascio altri operatori alle persone con più tempo di me!

Piccolo aggiornamento: fai di più per usare fattoriali e numeri come 11 .... 111. Risolto anche un bug che non contavo !nel calcolo dei costi

Nuovo risultato:

Punteggio primario = 3.810.660

Punteggio secondario = 12/09/2016 20:00

2532 1s, 1505 operatori.

Vari trucchi messi insieme. Il mio programma inizia impostando il programma più breve per tutti i fattoriali e i numeri del modulo 111..111 (non credo che ciò vada in fallo sulla regola del cablaggio fisso, poiché questi sono i modi più brevi per creare questi numeri. Potrei riorganizzare il mio codice quindi controllo questi schemi nella mia programmazione dinamica, se vuoi). Quindi seguire un approccio di programmazione dinamica parziale, provando varie forme:

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

Sfortunatamente non riesco a provare tutti i modi di scomporre un numero, quindi scelgo fattoriale e 11 ... 11 per provare solo il numero più vicino, per A + B per provare cose vicine ad A / 2 e per A * B + C per provare solo abbastanza piccolo As.

Sarebbe facile estenderlo per provare un po ', provando a superare leggermente qualche volta (in particolare in A * B - C), ma mi piace solo provare a crescere.

Inoltre, è molto difficile ottimizzare la condizione di ottimizzazione (non mi piace!) Perché in linea di principio non è possibile trovare un valore "migliore" per ogni numero in isolamento, è necessario considerare l'insieme di risposte a livello globale (cosa che non intendo fare).

Avvertenza: questo programma richiede una macchina a 64 bit e circa 10 GB di memoria (poiché creo in modo inefficiente un array gigante per tutti i risultati parzialmente calcolati).

Programma:

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

}

risultati:

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))

Sembra che tu non abbia contato il 225 !. Penso che siano 1632 operatori, non 1407. (Il che porta comunque a un ottimo punteggio).
Arnauld

In effetti, ho perso un "1" nel calcolo dei costi delle funzioni fattoriali. Sorprendentemente (per me) il fissaggio che non fa quasi alcuna differenza per le espressioni che generi, suppongo che i fattoriali siano generalmente così grandi, che se costano ancora uno sono ancora la scelta migliore.
Chris Jefferson,

long maxval brontolare brontolare
Stan Strum

7

Haskell

Punteggio primario: 27242281

Punteggio secondario: 12/09/2016 09:01

11891 1, 2291 operatori

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

Fondamentalmente trova il modo più breve per farlo usando solo + e -

Produzione:

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

5

Python, punteggio 17136288

punteggio secondario: 12/09/2016 08:53
(4784 e 3582 operazioni)

Lavori in corso ma OP ha richiesto il mio codice corrente ...

# 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

Output - nota che tè la funzione fattoriale, in modo da non essere confuso con fper floorse viene utilizzato - ho valutato ciascuno usando la funzione t(sopra) per ricontrollare che siano tutti corretti:

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))

Cosa sono tutti questi messaggi tnell'output?
QBrute,

@QBrute heh, stava solo scrivendo una nota per questo
Jonathan Allan,

Sono abbastanza sicuro che fossero le 8:52, ma eh.
clismique,

Ha senso solo seguire il timestamp fornito da SE (passa il mouse sul tempo approssimativo nella cronologia delle revisioni per vedere l'ora esatta). Il tempo del punteggio ottenuto è stato 08:53:13
trichoplax,

(Non fa differenza per chi vince in questo caso - sembra solo il modo migliore per chiarire eventuali disaccordi altrove ...)
trichoplax,

4

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

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

Utilizza solo + e -. Sulla base della mia risposta per minimizzare quelli


2106? Questa è una risposta davvero tardiva: P
ASCII il

4

Pitone

Punteggio primario = 2214138604871819402525

Punteggio secondario = 12/09/2016, 07:53

Ecco il codice:

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

Solo per far rotolare la palla.

Fondamentalmente output 1+1+1...+1, in cui il numero di 1'nell'espressione generata è uguale a n.

In totale, ci sono 47054634305 1'per l'insieme di numeri e 47054634205operatori (che sono tutti +').

Non hai intenzione di pubblicare un pastebin qui, perché hai avuto l'idea.


Questo soddisfa effettivamente tutti i requisiti? Ricevo un errore di overflow quando lo chiamo 2**31-1.
Jakube,

@Jakube Heh, heh, heh ...
clismique,

@trichoplax Come si somma a n-1? Funziona bene per me.
clismique,

2

awk

punteggio primario 46933701

punteggio secondario 12/09/2016 19:20

(6901 unità, 6801 operazioni)

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

Stampa semplicemente la rappresentazione binaria calcolata da sinistra a destra.

Ad esempio 19 è 10011 che è ((((( 1 ) * 2 + 0 ) * 2 + 0 ) * 2 + 1 ) * 2 + 1 ).

Lascio semplicemente fuori il +0e scrivo il 2come (1+1).

Ero solo curioso di sapere come questo metodo avrebbe segnato.

Produzione:

945536: (((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
16878234: (((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
32608778: (((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
42017515: ((((((((((+ 1) +1) (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1
48950830: (((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1+ 1) +1) * (1 + 1)
51483452: ((((((((((((+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
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
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
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)
78817406: (((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1)
89918907: (((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1
90757642: (((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 )
95364861: ((((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1
102706605: ((((((((((((((+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1
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)
122448605: ((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1
126594161: (((((((((((((+ 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1) +1
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
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
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)
172057472: (((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
192280850: (((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1+ 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
194713795: ((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1+ 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1
207721209: (((((((((((((+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1
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
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
241011012: ((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1)
248906099: (((((((((((((+ 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1+ 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1
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)
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)
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)
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
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
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)
336060042: (((((((((((((+ 1) 1) (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
346729632: (((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1)
349428326: (((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 +1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1)
352769482: (((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
363039453: ((((((((((((((+ 1) 1) (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1
363851029: (((((((((((((((((+ 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 +1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1
392168304: (((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1)
401975104: (((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
407890409: (((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 +1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1
407971913: (((((((((1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1
425780757: ((((((((((((+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1
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
465592122: (((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
475898732: (((((((((((((((+ 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1+ 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
482826596: ((((((((((((((+ 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
484263150: (((((((((((((((((+ 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1)
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
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
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)
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)
588265985: ((((((((1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) +1
588298051: ((((((((((((+ 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 +1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) +1
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
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)
626776380: ((((((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1)
667919873: (((((((((((((1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1
681786366: (((((((((((((((((+ 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1)
689854904: ((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1)
692055400: (((((((((((((((((+ 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1)
697665495: (((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1
711608194: ((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
734027104: ((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
750869335: ((((((((((((((1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1
757710567: ((((((((((((((((((+ 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 +1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1
759967747: ((((((((((1 + 1) *) (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1
777616154: (((((((((((((((((+ 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
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
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
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)
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)
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
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)
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)
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
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
891619600: ((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
897181691: (((((((((((((((((((+ 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * ( 1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1
918159061: (((((((((((((((((((+ 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) +1
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)
924502226: ((((((((((((((1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1)
929983535: (((((((((((((((((+ 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1
943162304: ((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
950210939: (((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1
950214176: ((((((((((((+ 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1)
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
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
988572832: ((((((((((((((1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)

2

Python 3

Punteggio primario: 69720516

Punteggio secondario: 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]

Modifica: ora utilizza la moltiplicazione per ridurre notevolmente il punteggio.

Questo fa un grande uso dei fattoriali e della ricorsione. In totale, il programma utilizza:

  • 5958 quelli
  • 11702 operatori

Ideone esso!


1

GIAVA

Punteggio primario 1045978739

Punteggio secondario 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

Penso che tu possa sbarazzarti degli inutili 1all'inizio di ognuno (1*11*11*...*11).
clismique,

1

Emacs Lisp

Punteggio primario: 81638725
Punteggio secondario: 12/09/2016 alle 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))

Fondamentalmente crea una somma sul dominio (1, 11, 111, ...) che equivale a n.


Da quello che ho capito, nel tuo programma, quando riceve un input come 124, viene emesso 111+11+1+1, giusto? (Correggimi se sbaglio.)
clismique,

(Inoltre, l'ora è in GMT.)
clismique,

1
Come può avere un punteggio di <1 milione? Hai aggiunto tutte le 1s sull'intero output di 100 numeri e moltiplicato per il numero totale di +operazioni sull'intero output?
Jonathan Allan,

2
Questo ha un punteggio di 81638725
Jonathan Allan,

Non vedo perché questo sia sottoposto a downgrade. c'è qualcosa di sbagliato?

1

AWK , 15642720

Punteggio secondario = 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
}

Provalo online!

Quelli: 4590

Operazioni: 3408 Punteggio primario = 15642720 Punteggio secondario = 30/05/2017 21:11

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.