Może być tylko 1!

44

Twoim zadaniem jest, biorąc pod uwagę dodatnią liczbę całkowitą n, wygenerowanie wyrażenia równego liczbie n.

Haczyk polega na: dozwolona jest tylko liczba 1na wyjściu.

Operatorzy do Twojej dyspozycji to:

  • +, -, *I/
    • /jest dzieleniem zmiennoprzecinkowym (so 5/2 = 2.5).
  • sqrt(as s)
  • ceiloraz floor( odpowiednio ci f)
  • ! (Factorial)
    • W tym przypadku silnia działa tylko dla dodatnich liczb całkowitych.

Możesz także układać w stosy 1razem, więc coś takiego 11jest dopuszczalne na wyjściu. Liczą się jednak jako ta sama liczba 1, która jest w liczbie (więc 11liczy się jako 2 1).

Musisz również dołączyć nawiasy wyjściowe, aby wyrażenie na wyjściu, gdy zostanie wykonane według kolejności operacji, dało wynik. Nie liczą się jednak jako operacje.

Przykłady:

  • Wejście = 24, jedno możliwe wyjście = (1+1+1+1)!
  • Wejście = 11, jedno możliwe wyjście = 11
  • Wejście = 5, jedno możliwe wyjście = c(s((1+1+1+1)!))
    • Sufit pierwiastka kwadratowego 24jest 5.

Zasady:

  • Masz gwarancję, że wejście jest dodatnią liczbą całkowitą od 1do 2^31-1.
  • Twój program musi działać dla dowolnej dodatniej liczby całkowitej 2^31-1, nawet jeśli nie są testowane.
  • Twój program musi zakończyć przetwarzanie wszystkich danych wyjściowych dla wszystkich liczb w zestawie w ciągu 1 godziny.
  • Wyniki dla każdego uruchomienia programu muszą być dokładnie takie same - również żadnych nasion.
  • Możesz zakodować wyrażenia tylko na stałe dla maksymalnie 10 wartości liczbowych.
  • Nie możesz mieć wyimaginowanych liczb w dowolnym miejscu na wyjściu (więc nie s(some negative number)).
  • Nie możesz również mieć liczb większych 2^31-1lub mniejszych niż -2^31+1gdziekolwiek na wyjściu, nawet jeśli są one sqrtedytowane lub /edytowane (więc nie (((1+1+1)!)!)!lub ((1+1+1+1)!)!).

Zestaw liczb:

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

(Jest to 100 liczb losowych od 1 do 1 miliarda).

System oceniania:

Twój wynik jest ustalany w następujący sposób:

  • Twój program zostanie przetestowany na losowych liczbach w zestawie.
    • Musisz podać dane wyjściowe wygenerowane przy użyciu liczb losowych w zestawie (w odpowiedzi lub w linku do wklejania).
  • Twoje następnie mają dwa „wyniki”: wynik główny i wynik dodatkowy.
    • Twój główny wynik to (no. of 1's in output)*(no. of operators in output). Jeśli twój główny wynik jest najniższy, wygrywasz.
    • Drugi wynik to czas przesłania, w GMT i za 24 godziny. Tak więc, jeśli prześlesz swój program 12 września, 00:00 GMT, twój wynik to 12/09/2016, 00:00(użyj DD/MM/YYYY HH:MMdo formatowania).

Wyświetl swój wynik w następujący sposób:

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

Zamień wszystkie elementy w nawiasach odpowiednio na swoje imię, wynik główny i wynik dodatkowy.

Aktualny zwycięzca:

Obecnym zwycięzcą jest @ChrisJefferson, który ma podstawowy wynik 3,810,660.

clismique
źródło
6
Rada nie jest regułą, ale to jest całkiem dobry argument za dlaczego golf jako tie breaker jest problematyczne. Przepraszam, nie zauważyłem tego w piaskownicy ...
trichoplax
2
Związanych pytanie math.SE .
xnor
3
Zgadzam się z trichoplaxem, że remis powinien być odpowiedzią na szybsze osiągnięcie jak najkrótszego wyniku.
ETHprodukcje
1
@JonathanAllan Nawiasy nie są operacjami, ale są wymagane.
clismique
1
Możesz przejrzeć historię odpowiedzi i zobaczyć, która z nich osiągnęła swój ostateczny wynik jako pierwszy.
ETHprodukcje

Odpowiedzi:

25

C ++ 11

Dalsza niewielka aktualizacja: znacznie mniej dodawaj i wypróbuj wszystkie liczby w postaci A * B + C. Wierzę, że w terminie, to jest dość blisko do optymalnego, zakładając że używasz tylko +, *i !. Pozostawiam innych operatorów ludziom, którzy mają więcej czasu niż ja!

Mała aktualizacja: Staraj się bardziej wykorzystywać silnie i liczby, takie jak 11 .... 111. Naprawiono również błąd, którego nie liczyłem !w kosztach

Nowy wynik:

Pierwotny wynik = 3810,660

Drugi wynik = 12/09/2016 20:00

2532 1s, 1505 operatorów.

Różne sztuczki razem wzięte. Mój program zaczyna się od ustawienia najkrótszego programu dla wszystkich silni i liczb w postaci 111..111 (nie sądzę, że jest to sprzeczne z zasadą okablowania, ponieważ są to najkrótsze sposoby tworzenia tych liczb. Mógłbym zmienić kolejność mój kod, więc sprawdzam te wzorce w programowaniu dynamicznym, jeśli chcesz). Następnie zastosuj częściowe podejście do programowania dynamicznego, wypróbowując różne formy:

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

Niestety nie mogę wypróbować wszystkich sposobów dekompozycji liczby, więc wybrałem silnię i 11 ... 11, aby wypróbować tylko najbliższą liczbę, dla A + B, aby spróbować rzeczy w pobliżu A / 2, i dla A * B + C, aby spróbować tylko dość małych As.

Łatwo byłoby to rozszerzyć, aby wypróbować niektóre, próbując czasami nieco przeregulować (szczególnie w A * B - C), ale lubię tylko próbować rosnąć.

Ponadto bardzo trudno jest zoptymalizować warunek optymalizacji (nie podoba mi się to!), Ponieważ w zasadzie nie można wymyślić „najlepszej” wartości dla każdej liczby w oderwaniu, należy rozważyć swój zestaw odpowiedzi globalnie (czego nie zamierzam robić).

Ostrzeżenie: ten program wymaga komputera 64-bitowego i około 10 GB pamięci (ponieważ nieefektywnie tworzę gigantyczną tablicę dla wszystkich częściowo obliczonych wyników).

Program:

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

}

Wyniki:

945536:((1111*(1+(11+11))+(1+1))*((1+11)*(1+(1+1))+1)+1)
16878234:(((1+(1+1111))*(1+(1+(1+111)))+(11+11))*((1+11)*11+1)+(1+1))
32608778:((((((1+(1+1)))!+(111+11111))*(11*11)+111)*(1+11)+1)*(1+1))
42017515:((11)!+((((1+111)*11)*11+1)*((1+11)*(1+11)+11)))
48950830:((((11+11)*(1+11))+(11111*(1+(1+1))))*((1+111)*(1+(1+11))+1)+1)
51483452:(((1+(1+1111))*(1+111)+1)*(11+(((1+11)*11+(1+1))*(1+(1+1))))+111)
52970263:((11+((1111*11+(1+(1+1)))*(1+(1+1))))*(111*(1+(1+11))+1)+11)
54278649:((11)!+(((1+(11+(11+(11+1111))))*111+1)*(1+(1+111))+1))
63636656:((((11+111)*(1+(1+1)))*(1+111)+11)*(1+(111+((((1+(1+1)))!)!*(1+1)))))
78817406:(((((111*(11+11)+1)*(1+1))*(1+111)+111)*(1+11)+1)*(1+11)+(1+1))
89918907:(((111+((1+(1+((1+(1+1)))!)))!)*(1+1))*(1+1111)+((11*11)*(1+(1+1))))
90757642:((1111+((11+11111)*(1+1)))*(111*(11+((1+(1+(1+1))))!)+1)+(1+111))
95364861:((11)!+(((((((11+11)*11)+11111)*111)*11+(1+1))*(1+1))*(1+1)+1))
102706605:(((11)!+(((111+((11*11)*11))*(1+(((1+(1+1)))!)!))*11))*(1+1)+1)
113965374:((((111*(1+(1+(1+11))))*1111+((1+(11+11))*11+1))*11+1)*((1+(1+1)))!)
122448605:(((((1+(1+1)))!)!+((111*11)*11))*((1+(((1+(1+1)))!)!)*(1+11)+1)+(1+1))
126594161:(((((11*11)+(((1+(1+1)))!)!)*(1+111))*(1+11)+1)*(1+111)+1)
148064959:((11)!+(((111*111+(1+11))*111+1)*((1+(1+11))*((1+(1+1)))!+1)+(1+(1+1))))
150735075:(((111*111+(1+1))*(1+1111)+(1+11))*11+(1+((1+(1+1)))!))
154382918:((1111*(1+11)+1)*(((1+(11+(111+111)))*(1+1))+11111)+111)
172057472:((((((1+11)*11)*11+1)*(1+(1+1)))+11111)*(11+11111)+((1+11)*11))
192280850:(((11111*(1+11)+11)*(1+(((1+(1+1)))!)!)+(11+111))*(1+1))
194713795:((11)!+((((111+11111)*(1+(1+(1+111)))+((1+(1+1)))!)*11)*11+1))
207721209:(((111*111)*(1+(11+11))+(1+1))*(1+(1+(11+(((1+(1+1)))!)!)))+(1+(1+(1+1))))
220946392:((11)!+((((1+(1+(1+1111)))*(11+111))*111+11)*(1+11)+(1+(1+(1+1)))))
225230299:((111111111+((111*111+(1+((1+(1+1)))!))*(11+111)+(11+11)))*(1+1)+1)
227043979:((((((11+11)*11)+11111)*(1+(1+1))+1)*1111+(1+(1+1)))*((1+(1+1)))!+1)
241011012:(((11)!+((11)!+((11)!+((11+1111)*((1+111)*((1+(1+1)))!+1)))))*(1+1))
248906099:(((11111+(((((1+(1+1)))!)!*111)*(1+1)))*(1+111)+111)*(1+(1+11)))
249796314:(((11)!+(((((1+(1+1)))!)!+((1+1111)*(1+11)))*(11+111)+111))*((1+(1+1)))!)
250546528:((11)!+(((111*111)*(1+(1+(1+11)))+11)*(111*11)+(1+(11+1111))))
258452706:(((11)!+(((((1+(1+1)))!)!*((1+(1+1)))!+1)*(11+(((1+(1+1)))!)!)))*((1+(1+1)))!)
276862988:(((11+(1111*(1+1)))*(((1+(1+1)))!+1111))*111+(((1+(1+1)))!+11))
277140688:(((111*111+(1+(1+(1+(1+11)))))*(1+1))*(11+(111+11111))+(1+111))
280158490:((11)!+(((1+(111+111111))*(((1+(1+1)))!)!+(1+(1+1)))*(1+(1+1))+1))
286074562:(((11)!+((((11+1111)*(11+11))*(1+1)+1)*(1+(11+1111))))*(1+(1+1))+1)
308946627:((11)!+((((1+1111)*(((1+(1+1)))!)!+((11+11)*(1+1)))*(1+111)+1)*(1+(1+1))))
310972897:((11111*(1+(1+1))+1)*(((1111+(111*11))*(1+1))*(1+1)+1)+11)
322612091:((((((1+11)*(1+11))*(1+11)+(1+1))*111+1)*(1+111))*(1+(1+(1+(1+11))))+11)
324445400:(((1111111+(1+(1+1)))*(1+1))*((1+11)*(1+11)+(1+1))+(1+111))
336060042:(((1+1111)*(1+(11+111))+(1+111))*(11+((111*11+1)*(1+1)))+(1+1))
346729632:(((1+(1+(11111+(111*111))))*((1+111)*11+1)+(1+(1+(1+11))))*(1+11))
349428326:(((((11+11)*11)*11+1)*(1+1111)+1)*(1+(((1+(1+1)))!+111)))
352769482:(((1+11111)*(111*(11+11))+((11+111)*((1+1)*(1+1)+1)))*(1+(1+11)))
363039453:(((((1+111)*(1+111)+1)*(1+1))*(1+(1+11))+11)*(1+(1+1111)))
363851029:((((111*11+1)*1111+11)*((1+11)*11+(1+1))+(1+11))*(1+1)+1)
392168304:(((((1+(1+1111))*(1+111))*11+1)*(1+(1+11))+11)*(11+11))
401975104:(((((1+11)*(1+11)+1)*111)*111+11)*((1+111)*(1+1)+1)+(1+(1+(1+1))))
407890409:(((1+11111)*11)*((1+1111)*(1+(1+1))+1)+((1+1111)*(1+1)+1))
407971913:((11)!+((11)!+(((1+(1+11111))*(1+1)+1)*(((11+111)*11)*11+1)+(1+1111))))
425780757:(((1111+((((1+11)*11)+11111)*(1+(1+1))))*11+1)*1111+((1+(1+1)))!)
459441559:(((11111+(((1+(1+111))*(1+1)+1)*111))*111+1)*(1+(1+(1+111)))+(1+(1+11)))
465592122:(((11)!+((((1111*(11*(1+(1+1))+1)+1)*(1+(11+11)))*(1+1)+1)*111))*(1+1))
475898732:(((11)!+(((((1+111)*11+(1+1))*(1+11))*(1+1)+1)*(1+(1+111))))*11+1)
482826596:(((1+(((111*11)*11)+(11111*(1+1))))*111+1)*(11+111)+((1+(1+1)))!)
484263150:(((111*111+(1+(1+1)))*111+11)*(1+(111+((11+11)*11))))
506235403:(((1+11))!+((((1+(1+1111))*(1+1111)+((11+111)*(1+1)))*11+1)*(1+1)+1))
548951531:((((111+111)*(1+1)+1)*111+11)*11111+((11+111)*(1+11)+1))
554295842:(((1+11))!+((((1+1111)*111+1)*((1+1)*(1+1)+1))*(11+111)+(1+111)))
580536366:(((1+(111+((111*111+11)*(1+11))))*(1+111)+1)*(11+((1+(1+(1+1))))!)+11)
587051904:(((((1+1111)*(1+11))*(1+(1+1))+1)*(111*11+1)+(111*((1+(1+1)))!))*(1+11))
588265985:(((1+11))!+((1+(111+(1111*(1+(1+11)))))*((1+111)*(11*((1+(1+1)))!+1)+(1+(1+1)))))
588298051:((((((11+111)*11)*11)+(11111*(1+(1+1))))*(1+1111)+1)*11)
590968352:(((((((1+(1+1)))!)!+11111)*111+(11+11))*((1+111)*(1+1)+1)+1)*(1+1))
601194306:((((1111*(1+(1+(1+(11+111))))+1)*111+(1+1))*(1+(1+1))+1)*(1+(1+11))+11)
607771869:(((1+11))!+(((11)!+(((1111*11+1)*(1+1))*(1+(11+111))+11))*(1+(1+1))))
618578932:(((((1111*111)*11+1)*(1+1)+1)*(1+1))*(1+(1+(1+111)))+(1+111))
626776380:((((1+(1+(1+1))))!+((((1+(1+1)))!)!+(1111*111)))*(1+(11+((1+((1+(1+1)))!))!)))
667919873:((((((1+(11+111))*11+1)*111+(1+(1+1)))*1111+1)*(1+1))*(1+1)+1)
681786366:(((1+11))!+((11)!+(((11)!+((11)!+((1+(1+11111))*((1+11)*(1+11))+111)))*(1+1))))
689854904:(((11+((11111+((1+1111)*11))*(1+1)))*((11+111)*11+1)+11)*11+(1+1))
692055400:(((1+11))!+(((((1+(1+111))*(1+(1+(1+11))))*11)*11+1)*(1+(1+1111))+1))
697665495:(((1+11))!+(((((((1+(1+1)))!)!*(1+(1+(1+111)))+1)*(1+11))*(1+1)+1)*111))
711608194:(((11)!+(((1+(1+(1+(1+1111))))*(11+((11+111)*(1+1)))+(1+1))*1111))*(1+1))
734027104:(((111*(11+((1+(1+(1+1))))!)+1)*(((1+(1+1)))!+11)+1)*11111+1111)
750869335:((11111111+((1+(((1+(1+1)))!)!)*((1+11)*11+1)+1))*(11*((1+(1+1)))!+1))
757710567:((((((11+111)*11)+111111)*(1+(1+1))+1)*(1+(11+1111))+(1+(1+1)))*(1+1)+1)
759967747:(((11)!+(((1+(1+(111+11111)))*(1+(1+111)))*(1+(11+11))+1))*11)
777616154:((11111*(111+(((111*11+1)*(1+1))*(1+1)))+(11+111))*(1+(1+(1+11))))
830071127:((((1+111)*111)*((1+(1+1)))!+1)*(((1+(1+1)))!+(11+11111))+(111*(1+1)+1))
833809927:((((11+1111)*(1+1)+1)*111+1)*(1+(1+(11+(1111*(1+(1+1))))))+111)
835873060:(((((11+(111+111))*111+1)*(1+(1+111))+1)*(1+(1+11))+1)*(11+11))
836438554:(((1+11))!+(((11111*(1+1)+1)*((11+(((1+(1+1)))!)!)*11+1)+1111)*(1+1)))
836945593:(((1111*1111+(1+111))*(1+(1+111))+(1+(1+1)))*((1+(1+1)))!+1)
863728236:(((1+(1111+((11+11111)*(1+1))))*(111*111+((1+(1+1)))!))*(1+(1+1)))
864158514:(((1+11))!+(((1111*(1+(1+(1+11)))+((1+(1+1)))!)*111+1)*(111*(1+1)+1)+11))
871273503:((((1+11111)*(11+11)+1)*((1+(1+11))*(1+1)+1)+1)*((1+11)*11)+111)
881615667:((11111+((111*111+11)*(1+1)))*((111*111)*(1+1)+1)+((11+1111)*11))
891619600:(((11)!+((11)!+((((1+(11+11))*(1+1))+111111)*11)))*11+(1+(1+1)))
897181691:((11+(11+(11+((1+(1+((1+(1+1)))!)))!)))*(11+(11111*(1+1)))+((111*11+1)*11))
918159061:(((11)!+(((11+11)*11+1)*(1+(1+11))))*(1+(11+11))+(1+(1+(1+1))))
920521050:(((11)!+((((1+(11+1111))*(1+(1+(1+1111))))*(1+111)+111)*(1+(1+1))))*(1+1))
924502226:((((1111*(1+11))*(1+1)+1)*((111*(1+11)+1)*(1+1)+1))*(1+(1+11))+11)
929983535:(((11)!+((((11+111)*111+1)*111)*((1+11)*(1+1)+1)+(1+1)))*(1+11)+11)
943162304:(((11)!+((((((1+((1+(1+1)))!))!+(111*111))*111+(1+1))*(1+111))*(1+1)))*(1+1))
950210939:(((11+(111+11111))*(1+(1+(1+(((1+(1+1)))!)!)))+(1+1))*(((1+(1+1)))!+111)+(1+1))
950214176:(((11)!+((((111*111)*(1+(1+11)))*11+1)*((1+(11+111))*(1+1)+1)))*(1+1))
962610357:((((1+11))!+((1+((((1+(1+1)))!)!+(111*(1+11))))*(11+1111)+(1+111)))*(1+1)+1)
974842859:((((((11*(1+((1+(1+1)))!))+1111)*11+1)*(1+111))*((1+(1+1)))!)*111+11)
988572832:(((111111111+((11111*(1+(1+1111))+11)*11+(1+(1+1))))*(1+1))*(1+1))
Chris Jefferson
źródło
Wygląda na to, że nie policzyłeś 225 !. Myślę, że to 1632 operatorów, a nie 1407. (Co jednak nadal prowadzi do świetnego wyniku).
Arnauld
Wow, zresztą brakowało mi „1” w kalkulacji funkcji czynnikowych. Zaskakujące (dla mnie) utrwalanie, które prawie nie ma różnicy w wyrażeniach, które generuję, przypuszczam, ponieważ silnie są na ogół tak świetne, że jeśli kosztują jeszcze jedną, są nadal najlepszym wyborem.
Chris Jefferson
long maxval grumble grumble
Stan Strum
7

Haskell

Główny wynik: 27242281

Drugi wynik: 12/09/2016 09:01

11891 1, 2291 operatorów

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

Zasadniczo znajduje najkrótszą drogę, aby użyć tylko + i -

Wynik:

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)))))))))))))))))))))))
Gajówka
źródło
5

Python, wynik 17136288

wynik wtórny: 12/09/2016 08:53
(4784 z nich i 3582 operacji)

Prace w toku, ale OP poprosił o mój obecny kod ...

# 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

Wyjście - uwaga, że tjest to funkcja silnia, tak aby nie mylić z fdla floorjeśli przyzwyczaja - I każdy oceniany za pomocą funkcji t(powyżej), aby dokładnie sprawdzić, że są poprawne:

945536 11111111-(1+(1+1)+(1+1)*t(1+1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(11-1-1-1)*t(11-1-1)+(1+1)*t(11-1))
16878234 11111111+(1+(1+1+1)*t(1+1+1)+t(1+1+1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+t(t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+t(11-1))
32608778 111111111-(1+(1+1)*t(1+1+1)+(t(1+1+1))*t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+(t(1+1+1))*t(11-1-1)+(11-1)*t(11-1)+t(11))
42017515 111+((1+1)*(1+1)+(1+1+1)*t((11-1)/(1+1))+((11-1)/(1+1))*t(t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+t(11))
48950830 111+(1+t(1+1+1)+(1+1+1)*t(1+1+1+1)+(1+1+1)*t(t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(1+1)*t(11-1)+t(11))
51483452 11111111+(1+(1+1)+(1+1+1)*t(1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+t(11-1-1)+t(11))
52970263 111111111-((1+1)+t(1+1+1)+t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+t(11-1-1-1)+((11-1)/(1+1))*t(11-1)+t(11))
54278649 1+(1+1)+t(1+1+1)+(1+1+1+1)*t(t(1+1+1))+t(1+t(1+1+1))+((11-1)/(1+1))*t(11-1-1-1)+(11-1-1)*t(11-1-1)+(1+1+1)*t(11-1)+t(11)
63636656 1111111+(1+t(1+1+1+1)+(t(1+1+1))*t(t(1+1+1))+((11-1)/(1+1))*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+(1+1)*t(11-1-1)+(t(1+1+1))*t(11-1)+t(11))
78817406 1111+(1+t(1+1+1)+(1+1)*t(1+1+1+1)+t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(11-1)*t(11-1)+t(11))
89918907 1+(1+1)+t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(1+1)*t(11-1)+(1+1)*t(11)
90757642 1111111+(1+(1+1)+(1+1)*t(1+1+1+1)+(1+1+1)*t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1)+(1+1)*t(11-1)+(1+1)*t(11))
95364861 11111111+((1+1)*(1+1)+(1+1+1)*t(1+1+1)+(1+1)*t(1+1+1+1)+((11-1)/(1+1))*t(1+t(1+1+1))+t(11-1-1-1)+(1+1)*t(11-1-1)+t(11-1)+(1+1)*t(11))
102706605 1111+((1+1)+(1+1)*t(1+1+1)+(1+1+1)*t((11-1)/(1+1))+(1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1)+(t(1+1+1))*t(11-1)+(1+1)*t(11))
113965374 t(1+1+1)+(1+1)*t(1+1+1+1)+t((11-1)/(1+1))+t(t(1+1+1))+(1+1+1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1)+(11-1-1)*t(11-1)+(1+1)*t(11)
122448605 111111+((1+1)+(1+1)*t(1+1+1)+t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+t(1+t(1+1+1))+t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(1+1+1)*t(11))
126594161 111111111+((1+1)+(1+1)*t(1+1+1+1)+t((11-1)/(1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+(1+1+1+1)*t(11-1))
148064959 1111111111-((1+1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+(1+1+1)*t(11-1-1)+t(11-1)+(1+1)*t(1+11))
150735075 11111111+((1+1)*(1+1)+t((11-1)/(1+1))+t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(1+1+1)*t(11))
154382918 1111111+(1+t(1+1+1)+(1+1+1)*t((11-1)/(1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1)*t(11-1)+(1+1+1)*t(11))
172057472 1111+(1+t((11-1)/(1+1))+t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(1+1+1)*t(11-1)+(1+1+1+1)*t(11))
192280850 1111111111-(1+(1+1)*(1+1)+(1+1+1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1)+(11)*t(11)+t(1+11))
194713795 111111111+((1+1)*(1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+((11-1)/(1+1))*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1-1)+t(11-1)+(1+1)*t(11))
207721209 111111+((1+1+1)*t(1+1+1)+(1+1)*t((11-1)/(1+1))+(1+1+1)*t(t(1+1+1))+t(11-1-1-1)+(1+1)*t(11-1-1)+(1+1)*t(11-1)+((11-1)/(1+1))*t(11))
220946392 111111111+(1+((11-1)/(1+1))*t(t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1-1)*t(11-1)+(1+1)*t(11))
225230299 1111111111-((1+1)*t(1+1+1)+(1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+t(11-1-1)+(1+1)*t(11-1)+(11-1)*t(11)+t(1+11))
227043979 1111111111-((1+1)*t(1+1+1)+t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+(t(1+1+1))*t(11-1-1)+t(11-1)+(11-1)*t(11)+t(1+11))
241011012 11+(1+(1+1+1)*t((11-1)/(1+1))+(1+1+1+1)*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(t(1+1+1))*t(11))
248906099 11+((1+1)*t(1+1+1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+(1+1)*t(1+t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+(1+1)*t(11-1)+(t(1+1+1))*t(11))
249796314 111111+(1+(1+1)+((11-1)/(1+1))*t(t(1+1+1))+(1+1+1+1)*t(1+t(1+1+1))+(11-1-1-1)*t(11-1-1)+(1+1)*t(11-1)+(t(1+1+1))*t(11))
250546528 111+(1+(1+1+1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(1+1+1)*t(11-1-1-1)+(1+1+1)*t(11-1)+(t(1+1+1))*t(11))
258452706 11+(1+t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1)*t(t(1+1+1))+(1+1)*t(11-1-1-1)+(1+1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(t(1+1+1))*t(11))
276862988 111+(1+(1+1)*(1+1)+(1+1+1)*t(1+1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+((11-1)/(1+1))*t(1+t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1)*t(11-1)+(t(1+1+1))*t(11))
277140688 1111+(1+(1+1)+t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1+1+1)*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1+1)*t(11-1-1)+(11-1)*t(11-1)+(t(1+1+1))*t(11))
280158490 (1+1)*(1+1)+t(1+1+1)+(1+1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1)+(1+t(1+1+1))*t(11)
286074562 1111+(1+(1+1)+(1+1)*t(1+1+1+1)+t((11-1)/(1+1))+(1+1+1+1)*t(t(1+1+1))+(1+1+1)*t(11-1-1-1)+(11-1-1-1)*t(11-1-1)+t(11-1)+(1+t(1+1+1))*t(11))
308946627 11111+((1+1)*(1+1)+(1+1+1)*t(1+1+1+1)+((11-1)/(1+1))*t(t(1+1+1))+(1+1+1)*t(11-1-1-1)+t(11-1-1)+(11-1-1-1)*t(11-1)+(1+t(1+1+1))*t(11))
310972897 111111111+((1+1)*(1+1)+t(1+1+1)+(1+1+1+1)*t(1+1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+((11-1)/(1+1))*t(11))
322612091 11+((1+1)*t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+(11-1-1)*t(11-1-1)+(11-1-1-1)*t(11))
324445400 1111+(1+(1+1)*t(1+1+1+1)+(t(1+1+1))*t(t(1+1+1))+((11-1)/(1+1))*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1)+t(11-1)+(11-1-1-1)*t(11))
336060042 11+(1+t(1+1+1)+t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1)+(1+1+1+1)*t(11-1)+(11-1-1-1)*t(11))
346729632 11111+(1+(1+1+1)*t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+(1+t(1+1+1))*t(11-1)+(11-1-1-1)*t(11))
349428326 11+(1+(1+1)+(1+1+1)*t(1+1+1+1)+(1+1+1)*t(1+t(1+1+1))+(11-1-1-1)*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1-1)*t(11-1)+(11-1-1-1)*t(11))
352769482 1111+(1+(1+1)+(1+1)*t(1+1+1+1)+((11-1)/(1+1))*t(t(1+1+1))+t(1+t(1+1+1))+t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1)*t(11-1)+(11-1-1-1)*t(11))
363039453 111111+(t(1+1+1)+(1+1+1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+t(1+t(1+1+1))+t(11-1-1-1)+t(11-1)+(11-1-1)*t(11))
363851029 1111+(t(1+1+1)+(1+1+1)*t(1+1+1+1)+(1+1+1)*t(t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+t(11-1)+(11-1-1)*t(11))
392168304 11111111+(1+(1+1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1)+(11-1-1)*t(11))
401975104 1111111+(1+(1+1)+t(1+1+1)+t(1+1+1+1)+(1+1+1)*t((11-1)/(1+1))+(1+1+1)*t(t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(11-1)*t(11))
407890409 11111+((1+1+1)*t(1+1+1)+(1+1+1)*t(t(1+1+1))+(1+1+1+1)*t(11-1-1)+(1+1)*t(11-1)+(11-1)*t(11))
407971913 11111+((1+1+1)*t(1+1+1)+t(1+1+1+1)+t((11-1)/(1+1))+(1+1+1+1)*t(t(1+1+1))+(1+1)*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(1+1)*t(11-1)+(11-1)*t(11))
425780757 111+(t(1+1+1)+(1+1)*t(t(1+1+1))+(1+1+1)*t(11-1-1-1)+(1+1+1)*t(11-1-1)+(1+t(1+1+1))*t(11-1)+(11-1)*t(11))
459441559 1111111+((1+1)*t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(11)*t(11))
465592122 1111+(1+(1+1)*(1+1)+t(1+1+1)+t((11-1)/(1+1))+t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1)+(1+t(1+1+1))*t(11-1)+(11)*t(11))
475898732 11111+(1+(1+1)+(1+1+1)*t(1+1+1)+t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(1+1+1)*t(11-1-1-1)+t(11-1-1)+(11-1)*t(11-1)+(11)*t(11))
482826596 111111+(1+(1+1)*(1+1)+t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(1+1)*t(11-1-1-1)+t(11-1)+t(1+11))
484263150 t(1+1+1)+t(1+1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+t(11-1)+t(1+11)
506235403 1111+((1+1)*t(1+1+1)+t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+((11-1)/(1+1))*t(11-1-1)+(1+t(1+1+1))*t(11-1)+t(1+11))
548951531 11+((1+1+1+1)*t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1-1)*t(11-1)+t(11)+t(1+11))
554295842 (1+1)+(1+1)*t((11-1)/(1+1))+(1+1)*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(11-1-1)*t(11-1)+t(11)+t(1+11)
580536366 1111111111-(1+t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+((11-1)/(1+1))*t(t(1+1+1))+t(11-1-1-1)+(1+1)*t(11-1-1)+(1+1+1)*t(11-1)+t(11)+t(1+11))
587051904 1111111111-(1+t(1+1+1)+(1+1+1+1)*t(1+t(1+1+1))+t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+t(11-1)+t(11)+t(1+11))
588265985 11+(t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1+1)*t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+t(11-1-1)+(11-1-1-1)*t(11-1)+(1+1)*t(11)+t(1+11))
588298051 11111111+((1+1)+(1+1+1)*t(1+1+1)+(1+1+1)*t((11-1)/(1+1))+t(t(1+1+1))+t(1+t(1+1+1))+((11-1)/(1+1))*t(11-1-1-1)+((11-1)/(1+1))*t(11-1)+(1+1)*t(11)+t(1+11))
590968352 1111111+(1+t((11-1)/(1+1))+t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+(11-1-1-1)*t(11-1)+(1+1)*t(11)+t(1+11))
601194306 1111111+(1+(1+1)*(1+1)+t(1+1+1)+t(1+1+1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1+1)*t(11-1-1)+(1+1+1)*t(11)+t(1+11))
607771869 1111111+((1+1)+(1+1)*t(1+1+1)+t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+t(t(1+1+1))+t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+t(11-1-1)+(1+1)*t(11-1)+(1+1+1)*t(11)+t(1+11))
618578932 111111111+(1+(1+1)*t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+(1+1+1+1)*t(11-1-1-1)+(11-1-1-1)*t(11-1-1)+(1+t(1+1+1))*t(11-1)+t(1+11))
626776380 1111+(1+(1+1)*(1+1)+t(1+1+1+1)+t((11-1)/(1+1))+t(t(1+1+1))+(1+1)*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(1+t(1+1+1))*t(11-1)+(1+1+1)*t(11)+t(1+11))
667919873 111111+((1+1)+t((11-1)/(1+1))+((11-1)/(1+1))*t(t(1+1+1))+((11-1)/(1+1))*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+(11-1-1-1)*t(11-1)+(1+1+1+1)*t(11)+t(1+11))
681786366 t(1+1+1)+(1+1+1)*t((11-1)/(1+1))+(1+1+1)*t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+(11-1-1-1)*t(11-1-1)+((11-1)/(1+1))*t(11)+t(1+11)
689854904 1111+(1+(1+1+1)*t(1+1+1+1)+t((11-1)/(1+1))+((11-1)/(1+1))*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+t(11-1-1)+(1+1+1)*t(11-1)+((11-1)/(1+1))*t(11)+t(1+11))
692055400 11+(1+(1+1)*(1+1)+t(1+1+1+1)+(1+1+1+1)*t(t(1+1+1))+t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(1+1+1)*t(11-1)+((11-1)/(1+1))*t(11)+t(1+11))
697665495 1111111111-((1+1)*(1+1)+(1+1)*t(1+1+1)+(t(1+1+1))*t(t(1+1+1))+(1+1+1)*t(11-1-1-1)+(11-1-1)*t(11-1-1)+(1+1+1)*t(11-1)+(11-1)*t(11))
711608194 (1+1)*(1+1)+t(1+1+1)+t(1+1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+t(11-1-1)+(11-1-1)*t(11-1)+((11-1)/(1+1))*t(11)+t(1+11)
734027104 11+(1+(1+1)*(1+1)+(1+1)*t(1+1+1+1)+(1+1)*t(t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+(1+1+1+1)*t(11-1)+(t(1+1+1))*t(11)+t(1+11))
750869335 111111111+((1+1)*(1+1)+(1+1)*t(1+1+1)+(1+1)*t(1+1+1+1)+t(t(1+1+1))+(1+1+1)*t(11-1-1)+(1+1+1+1)*t(11)+t(1+11))
757710567 11111+((1+1)*(1+1)+(1+1)*t(1+1+1)+(1+1)*t((11-1)/(1+1))+t(t(1+1+1))+t(1+t(1+1+1))+(11-1-1-1)*t(11-1-1)+(11-1)*t(11-1)+(t(1+1+1))*t(11)+t(1+11))
759967747 1111+((1+1)*t(1+1+1)+t(1+1+1+1)+t((11-1)/(1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1)*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(1+t(1+1+1))*t(11)+t(1+11))
777616154 11111+(1+(1+1)+((11-1)/(1+1))*t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(1+t(1+1+1))*t(11)+t(1+11))
830071127 1111+((1+1)*(1+1)+(1+1)*t(1+1+1)+(1+1+1)*t(t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(11-1-1-1)*t(11-1)+(11-1-1-1)*t(11)+t(1+11))
833809927 1111111111-(t(1+1+1+1)+(1+1+1)*t((11-1)/(1+1))+(1+1+1+1)*t(1+t(1+1+1))+t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(11-1)*t(11-1)+(t(1+1+1))*t(11))
835873060 1111111111-(1+(1+1)+(1+1)*t(1+1+1+1)+((11-1)/(1+1))*t(t(1+1+1))+(1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+(11-1-1-1)*t(11-1-1)+(11-1-1)*t(11-1)+(t(1+1+1))*t(11))
836438554 111+(1+(1+1+1)*t(1+1+1)+t(1+1+1+1)+((11-1)/(1+1))*t(11-1-1)+(11-1)*t(11-1)+(11-1-1-1)*t(11)+t(1+11))
836945593 11111111+((1+1)+(1+1)*t((11-1)/(1+1))+(1+t(1+1+1))*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+(1+t(1+1+1))*t(11-1)+(11-1-1-1)*t(11)+t(1+11))
863728236 1111+(1+(1+1)*(1+1)+(1+1+1)*t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+t(11-1-1-1)+(1+t(1+1+1))*t(11-1)+(11-1-1)*t(11)+t(1+11))
864158514 111+(1+(1+1)+(1+1+1+1)*t(1+t(1+1+1))+(1+1+1)*t(11-1-1-1)+t(11-1-1)+(1+t(1+1+1))*t(11-1)+(11-1-1)*t(11)+t(1+11))
871273503 111111111+((1+1+1)*t(1+1+1+1)+(t(1+1+1))*t(t(1+1+1))+t(1+t(1+1+1))+(1+t(1+1+1))*t(11-1-1-1)+(1+1+1+1)*t(11-1-1)+(1+t(1+1+1))*t(11)+t(1+11))
881615667 111+((1+1)*t(1+1+1)+t(1+1+1+1)+((11-1)/(1+1))*t(t(1+1+1))+(1+1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+(11-1-1)*t(11-1-1)+(11-1)*t(11)+t(1+11))
891619600 1111111+(1+(1+1)+t(1+1+1)+(1+1)*t((11-1)/(1+1))+t(t(1+1+1))+(1+1+1+1)*t(11-1-1)+(1+1+1)*t(11-1)+(11-1)*t(11)+t(1+11))
897181691 111111+((1+1)+(1+1+1)*t(1+1+1)+(1+1)*t((11-1)/(1+1))+t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+(1+1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(11-1)*t(11)+t(1+11))
918159061 1111+(t(1+1+1)+t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+t(t(1+1+1))+(t(1+1+1))*t(1+t(1+1+1))+t(11-1-1-1)+(11)*t(11)+t(1+11))
920521050 11111+(1+(1+1+1)*t(1+1+1)+(t(1+1+1))*t(t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(t(1+1+1))*t(11-1-1)+(11)*t(11)+t(1+11))
924502226 (1+1)+t(1+1+1+1)+((11-1)/(1+1))*t((11-1)/(1+1))+(t(1+1+1))*t(t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+t(11-1)+(11)*t(11)+t(1+11)
929983535 1111111111-((1+1)+t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1)*t(1+t(1+1+1))+t(11-1-1-1)+(11-1-1)*t(11-1-1)+((11-1)/(1+1))*t(11-1)+(1+1+1+1)*t(11))
943162304 1111+(1+(1+1+1)*t(1+1+1+1)+t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(11-1-1)*t(11-1-1)+(t(1+1+1))*t(11-1)+(11)*t(11)+t(1+11))
950210939 111111111+((1+1)+(1+1+1)*t(1+1+1)+(1+1)*t(1+1+1+1)+(1+1)*t((11-1)/(1+1))+(1+1+1)*t(11-1-1-1)+(1+1)*t(11-1-1)+(11-1-1)*t(11)+t(1+11))
950214176 1111111+(1+t(1+1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+(1+1)*t(1+t(1+1+1))+(1+1+1+1)*t(11-1-1-1)+((11-1)/(1+1))*t(11-1-1)+(11-1-1-1)*t(11-1)+(11)*t(11)+t(1+11))
962610357 111+(t(1+1+1)+(1+1+1+1)*t((11-1)/(1+1))+(1+1)*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+1)*t(11-1-1)+t(11-1)+(1+1)*t(1+11))
974842859 111111+((1+1)+(1+1+1)*t(1+1+1)+(1+1)*t(1+1+1+1)+t(t(1+1+1))+(1+t(1+1+1))*t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1)+(1+1+1+1)*t(11-1)+(1+1)*t(1+11))
988572832 1111111111-(1+(1+1)+(1+1)*t(1+1+1)+t(1+1+1+1)+t(t(1+1+1))+t(1+t(1+1+1))+(t(1+1+1))*t(11-1-1-1)+(1+t(1+1+1))*t(11-1-1)+(1+1+1)*t(11))
Jonathan Allan
źródło
Jakie są te wszystkie tdane wyjściowe?
QBrute
@QBrute heh, właśnie pisał w tym celu notatkę
Jonathan Allan
Jestem prawie pewien, że było 8:52, ale eh.
clismique
Sensowne jest jedynie stosowanie znacznika czasu podanego przez SE (najedź kursorem na przybliżony czas w historii zmian, aby zobaczyć dokładny czas). Czas uzyskania wyniku to 08:53:13
trichoplax
(Nie ma znaczenia, kto wygra w tym przypadku - wydaje się, że jest to najlepszy sposób na wyjaśnienie wszelkich nieporozumień w innym miejscu ...)
trichoplax
4

JavaScript (ES6), 27212498, 12.09.2016 09: 46: 34Z

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

Używa tylko + i -. Na podstawie mojej odpowiedzi, aby zminimalizować tych

Neil
źródło
2106? To jest naprawdę późna odpowiedź: P
tylko ASCII
4

Pyton

Pierwotny wynik = 2214138604871819402525

Drugi wynik = 12/09/2016, 07:53

Oto kod:

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

Tylko po to, żeby piłka się toczyła.

Zasadniczo dane wyjściowe 1+1+1...+1, gdzie liczba 1wyrażeń w wyprowadzonym wyrażeniu jest równa n.

W sumie istnieje 47054634305 1zestaw liczb i 47054634205operatorów (wszystkie są +).

Nie zamierzam tu zamieszczać pastebinu, bo masz pomysł.

clismique
źródło
Czy to faktycznie spełnia wszystkie wymagania? Podczas wywoływania pojawia się błąd przepełnienia 2**31-1.
Jakube,
@Jakube Heh, heh, heh ...
clismique
@trichoplax Jak to się sumuje n-1? Działa dla mnie dobrze.
clismique
2

awk

wynik główny 46933701

wynik wtórny 12/09/2016 19:20

(6901, 6801 operacji)

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

Wystarczy wydrukować reprezentację binarną obliczoną od lewej do prawej.

Na przykład 19 to 10011, co oznacza ((((( 1 ) * 2 + 0 ) * 2 + 0 ) * 2 + 1 ) * 2 + 1 ).

Po prostu pomijam +0i piszę 2jako (1+1).

Byłem ciekawy, jak ta metoda byłaby punktowana.

Wynik:

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 + 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)
51483452: (((((((((((1 + 1)) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1)
52970263: (((((((((((1 + 1)) +1) *) 1 (1 + 1) * (1 + 1) +1) * (1 + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1
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) * (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) )
95364861: ((((((((((((((((1 + 1)) *) (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1
102706605: (((((((((((((((1 + 1)) +1)) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1
113965374: ((((((((((((((((1 + 1) +1)) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 +1) +1) * (1 + 1) +1) * (1 + 1)
122448605: ((((((((((((((1 + 1)) +1) *) 1 (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1
126594161: (((((((((((((1 + 1)) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1) +1
148064959: ((((((((((((((1 + 1)) * (1 + 1) *) 1 (1 + 1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1+ 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1 ) +1) * (1 + 1) +1) * (1 + 1) +1
150735075: (((((((((((1 + 1)) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) +1
154382918: ((((((((((((1 + 1)) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1+ 1) +1) * (1 + 1)
172057472: (((((((((1 + 1)) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
192280850: (((((((((((((((1 + 1)) * (1 + 1) +1) *) 1 (1 + 1) +1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1+ 1) * (1 + 1) * (1 + 1) +1) * (1 + 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)
225230299: (((((((((((((((((1 + 1)) +1) *) 1 * 1) 1 + 1) 1 * 1) 1 * 1 * 1 * 1 * 1 * 1 * 1 * 1) 1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1+ 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) +1) * (1 + 1) * (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)
248906099: ((((((((((((1 + 1)) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1+ 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1
249796314: ((((((((((((((((1 + 1) +1)) * * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 +1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1)
250546528: (((((((((((((1 + 1)) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 +1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1+ 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1)
258452706: ((((((((((((((((1 + 1)) +1) *) 1 * 1) 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1)
276862988: (((((((1 + 1)) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) ) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1)
277140688: ((((((((((1 + 1)) * (1 + 1) * * 1) 1 (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 +1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * ( 1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
280158490: (((((((((((1 + 1)) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) +1) * (1 + 1)
286074562: (((((((((((1 + 1)) * (1 + 1) * * 1) 1 * 1) *) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1+ 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1)
308946627: (((((((((((1 + 1)) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) +1) * (1 + 1) +1
310972897: ((((((((((1 + 1)) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1+ 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1
322612091: ((((((((((((((((1 + 1)) * * 1) 1 + 1) 1) * 1 * 1) 1 + 1) *) * (1 + 1) +1) * (1 +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1+ 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1
324445400: (((((((((((((1 + 1)) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1)
336060042: (((((((((((((1 + 1)) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1)
346729632: (((((((((((1 + 1)) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) ) * (1 + 1) * (1 + 1)
349428326: (((((((((((((((1 + 1)) * (1 + 1) +1) *) 1 (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 +1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1)
352769482: (((((((((((((1 + 1)) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1+ 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1)
363039453: ((((((((((((((1 + 1)) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1+ 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1
363851029: ((((((((((((((((1 + 1)) *) (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 +1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1 ) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1
392168304: (((((((((((1 + 1)) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1)
401975104: (((((((((((((((1 + 1)) * (1 + 1) +1) *) 1 (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) ) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 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
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) +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)
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)
484263150: ((((((((((((((((1 + 1)) +1) *) 1) 1) 1 * 1) * (1 + 1) * (1 + 1) * (1 +1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1)
506235403: ((((((((((((1 + 1)) +1) *) 1 (1 + 1) *) * (1 + 1) +1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1+ 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) +1) * (1 + 1) +1
548951531: (((((((((((((1 + 1)) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 +1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1
554295842: ((((((((((1 + 1)) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 +1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1)
580536366: (((((((((((1 + 1)) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1 ) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) ) +1) * (1 + 1) +1) * (1 + 1)
587051904: ((((((((((((((1 + 1)) * (1 + 1) *) (1 + 1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
588265985: ((((((((1 + 1)) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1 ) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) +1
588298051: (((((((((((1 + 1)) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 +1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) +1) * (1 + 1) +1
590968352: ((((((((((((1 + 1)) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
601194306: ((((((((((((((((1 + 1)) * * 1) 1 * 1) * 1 * 1) 1 * 1 * 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1)
607771869: (((((((((((((((1 + 1)) * * 1) 1 + 1) * 1 * 1) 1 * 1 * 1 * 1) *) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1
618578932: ((((((((((((((((1 + 1)) * * 1) 1 + 1) 1) * 1) 1 * 1) 1 * 1) 1 * 1) *) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 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)
667919873: (((((((((((((1 + 1)) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1
681786366: (((((((((((((((((1 + 1)) 1) * 1 + 1) 1 + 1) 1 * 1) 1 * 1 ) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1 ) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1)
689854904: ((((((((((((((1 + 1)) * (1 + 1) +1) *) 1 (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1+ 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1 ) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 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)
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) +1
711608194: ((((((((((((1 + 1)) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) * (1 + 1) * (1 + 1) +1) * (1 + 1)
734027104: ((((((((((((1 + 1)) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) ) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
750869335: ((((((((((((((1 + 1)) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1 ) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1 ) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1
757710567: (((((((((((((((((1 + 1)) 1) * 1 + 1) 1 + 1) 1 + 1) 1 * 1) 1 * 1) 1 * 1 1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 +1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * ( 1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1
759967747: ((((((((((1 + 1)) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1+ 1) +1) * (1 + 1) +1
777616154: ((((((((((((((((1 + 1)) *) (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) ) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1)
830071127: ((((((((((((((((1 + 1)) +1) *) 1 * 1) 1 * 1) * 1 + 1) 1 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * ( 1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) * (1+ 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1
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) +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 + 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)
929983535: ((((((((((((((((1 + 1)) +1) *) 1 (1 + 1) *) 1 ) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) ) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1
943162304: ((((((((((((1 + 1))) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) ) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) +1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1) * (1 + 1)
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 + 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
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)
Cabbie407
źródło
2

Python 3

Podstawowy wynik: 69720516

Drugi wynik: 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]

Edycja: Teraz używa mnożenia, aby znacznie zmniejszyć wynik.

To świetnie wykorzystuje czynniki i rekurencję. W sumie program wykorzystuje:

  • 5958 te
  • 11702 operatorzy

Ideone to!

Rozpad beta
źródło
1

JAWA

Podstawowy wynik 1045978739

Drugi wynik 12/09/2016 16:05

37193 1s

28123 operators

     void main() {

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

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

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

        System.out.println();



    }
    }


945536:(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1
16878234:(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1+1
32608778:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+1+1+1+1
42017515:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+1
48950830:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1
51483452:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+1+1+1+1+1+1+1+1+1
52970263:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1
54278649:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1
63636656:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1
78817406:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1
89918907:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1
90757642:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+1+1+1+1+1+1+1+1
95364861:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1
102706605:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1
113965374:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1
122448605:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1
126594161:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1
148064959:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1
150735075:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1
154382918:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1
172057472:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1
192280850:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1
194713795:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1
207721209:(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11)+(1*11)+1+1+1
220946392:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+1+1+1+1+1+1+1+1+1
225230299:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1+1
227043979:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1+1
241011012:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1
248906099:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+1+1+1+1
249796314:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1+1+1
250546528:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1
258452706:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1
276862988:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1
277140688:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1
280158490:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1+1+1+1
286074562:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1
308946627:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1
310972897:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1
322612091:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1
324445400:(1*11*11*11*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+(1*11)+1+1+1+1+1+1
Numberknot
źródło
Myślę, że możesz pozbyć się niepotrzebnych 1na początku każdego (1*11*11*...*11).
clismique
1

Emacs Lisp

Główny wynik: 81638725
Drugi wynik: 12/09/2016 09:35

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

Zasadniczo buduje sumę w domenie (1, 11, 111, ...), która jest równoważna n.

Lord Yuuma
źródło
Z tego, co rozumiem, w twoim programie, gdy otrzymuje dane wejściowe takie jak 124, generuje 111+11+1+1, prawda? (Popraw mnie, jeśli się mylę.)
clismique,
(Również czas jest w GMT.)
clismique
1
Jak może to mieć wynik <1 milion? Czy zsumowałeś wszystkie 1s na całej liczbie wynikowej 100 i pomnożyłeś to przez całkowitą liczbę +operacji na całej wartości wyjściowej?
Jonathan Allan
2
Ma to wynik 81638725
Jonathan Allan
Nie rozumiem, dlaczego jest to przegłosowane. czy jest coś nie tak?
1

AWK , 15642720

Drugi wynik = 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
}

Wypróbuj online!

Jeden: 4590

Ops: 3408 Podstawowy wynik = 15642720 Drugi wynik = 30/05/2017 21:11

Robert Benson
źródło