Home > Primorial Soup > Final Report
Primorial Soup
Description | Submit An Entry | Standings | Final Report |
The Primorial Soup contest has ended.
Congratulations to our winners:
Position | Winner | Prize | |
---|---|---|---|
1st | Jarek Wroblewski | Wroclaw, Poland | Any item, up to a $500 value, at Bathsheba Sculpture |
2nd | Jeremy Sawicki | Menlo Park, California, United States | Any item, up to a $100 value, at Bathsheba Sculpture |
These are the contestants who submitted the best
solution for each problem. (Problems for which the
best solution was found during the first 48 hours
of the contest are omitted.)
Problem | Score | Solver | Date Achieved | |
---|---|---|---|---|
10 nodes | 2229731 | Nicholas Jimsheleishvili | Tbilisi, Georgia | 25 Sep 2017 19:25 |
Tom Sirgedas | Okemos, Michigan, United States | 26 Sep 2017 00:09 | ||
Oleg Vlasii | Ivano-Frankivsk, Ukraine | 26 Sep 2017 07:15 | ||
Matthias Paulsen | München, Germany | 26 Sep 2017 12:05 | ||
Martin Piotte | Montreal, Quebec, Canada | 27 Sep 2017 01:32 | ||
Esteban Crespi de Valldaura | Madrid, Spain | 27 Sep 2017 05:58 | ||
Tim Price | Market Lavington, England, United Kingdom | 27 Sep 2017 15:10 | ||
Wes Sampson | La Jolla, California, United States | 29 Sep 2017 00:28 | ||
Walter Trump | Nuremberg, Germany | 29 Sep 2017 14:14 | ||
Patrick Demichel | Grenoble, France | 29 Sep 2017 15:22 | ||
Kenneth Ulrich | Rydebäck, Sweden | 30 Sep 2017 10:23 | ||
Jeremy Sawicki | Menlo Park, California, United States | 30 Sep 2017 12:06 | ||
Hans-Werner Paulsen | Miesbach, Germany | 30 Sep 2017 18:27 | ||
Roland Postle | Manchester, United Kingdom | 30 Sep 2017 20:53 | ||
Lucien Pech | Zürich, Switzerland | 30 Sep 2017 21:32 | ||
Frank Tinkelenberg | Oegstgeest, Netherlands | 1 Oct 2017 12:26 | ||
Ralf Bonse | Dortmund, Germany | 2 Oct 2017 17:21 | ||
Rafaël Bocquet | Paris, France | 2 Oct 2017 19:16 | ||
Garr Godfrey | Seattle, Washington, United States | 2 Oct 2017 22:31 | ||
Thomas Rohmann | Heidelberg, Germany | 3 Oct 2017 11:48 | ||
Tomás Oliveira e Silva | Aveiro, Portugal | 3 Oct 2017 18:48 | ||
Tim Foden | Stevenage, United Kingdom | 4 Oct 2017 05:39 | ||
Serge Zorkin | Moscow, Russia | 5 Oct 2017 14:18 | ||
Cyrus Rea | San Antonio, Texas, United States | 5 Oct 2017 15:11 | ||
Herbert Kociemba | Darmstadt, Germany | 6 Oct 2017 09:40 | ||
Michael Steinau | Sierksdorf, Germany | 6 Oct 2017 09:54 | ||
Stefan Schwarz | Gifhorn, Germany | 6 Oct 2017 10:22 | ||
William Edwards | Bräkne-Hoby, Blekinge, Sweden | 6 Oct 2017 12:40 | ||
Jim Gillogly | Long Beach, California, United States | 6 Oct 2017 16:41 | ||
Roy van Rijn | Maassluis, Netherlands | 6 Oct 2017 17:17 | ||
Ed Mertensotto | Lone Tree, Colorado, United States | 8 Oct 2017 01:42 | ||
Christoph Schwirzer | Zurich, Switzerland | 8 Oct 2017 15:16 | ||
Eric Bainville | Sunnyvale, California, United States | 8 Oct 2017 19:34 | ||
Juan Yanez | Tlajomulco, Mexico | 9 Oct 2017 11:07 | ||
Chris Roller | Fairfax, Virginia, United States | 9 Oct 2017 13:56 | ||
Bjørn Rustad | Oslo, Norway | 9 Oct 2017 20:44 | ||
Igor Krivokon | Belmont, California, United States | 10 Oct 2017 00:42 | ||
Ambrose Slone | San Jose, California, United States | 10 Oct 2017 12:53 | ||
Arch D. Robison | Champaign, Illinois, United States | 10 Oct 2017 13:10 | ||
Angela Schmidt | Berlin, Germany | 10 Oct 2017 15:52 | ||
Aleksandrs Saraks | Riga, Latvia | 10 Oct 2017 21:30 | ||
Dmitry Kamenetsky | Adelaide, Australia | 11 Oct 2017 04:02 | ||
Eckard Specht | Magdeburg, Germany | 11 Oct 2017 11:42 | ||
Peter Kranich | Düsseldorf, Germany | 11 Oct 2017 21:50 | ||
Mark Mammel | Ellicott City, Maryland, United States | 13 Oct 2017 10:24 | ||
Johan Roos | Lund, Sweden | 13 Oct 2017 20:09 | ||
Won-Seok Yoo | Seoul, South Korea | 14 Oct 2017 14:24 | ||
Siegbert Steinlechner | Leonberg, Germany | 15 Oct 2017 05:25 | ||
Walter Möhres | Dachau, Germany | 16 Oct 2017 16:04 | ||
Hans-Bernhard Meyer | Au, Germany | 17 Oct 2017 09:46 | ||
Mladen Dobrichev | Sofia, Bulgaria | 18 Oct 2017 22:06 | ||
Vincent Quesnoit | Elancourt, Yvelines, France | 19 Oct 2017 03:41 | ||
Richard Zapor | Los Angeles, California, United States | 19 Oct 2017 23:44 | ||
Helge Keller | Karlsruhe, Germany | 20 Oct 2017 19:51 | ||
Michael D. Moffitt | Austin, Texas, United States | 21 Oct 2017 12:50 | ||
Gil Dogon | Jerusalem, Israel | 21 Oct 2017 16:31 | ||
Jeroen van der Burg | Leiden, Netherlands | 21 Oct 2017 21:23 | ||
Oliver Stiller | Munich, Germany | 22 Oct 2017 07:21 | ||
Susanne Wienand | Dortmund, Germany | 22 Oct 2017 13:03 | ||
Krzysztof Jamróz | Wrocław, Poland | 25 Oct 2017 18:54 | ||
Benjamin Chaffin | Portland, Oregon, United States | 27 Oct 2017 06:25 | ||
Michael Ho | Zhangzhou, China | 29 Oct 2017 12:32 | ||
Vadim Trofimov | Saint Petersburg, Russia | 30 Oct 2017 06:40 | ||
Gennady Gusev | Rybinsk, Russia | 30 Oct 2017 17:26 | ||
Albert J. Klein | Groningen, Netherlands | 31 Oct 2017 21:17 | ||
Sergiy Lychko | Kyiv, Ukraine | 4 Nov 2017 16:09 | ||
Richard Weeks | Felixstowe, Suffolk, United Kingdom | 4 Nov 2017 22:16 | ||
Kendrick Boyd | Boulder, Colorado, United States | 5 Nov 2017 01:31 | ||
Michael Hürter | Saarbrücken, Germany | 5 Nov 2017 14:21 | ||
Jakub Pawlewicz | Warsaw, Poland | 7 Nov 2017 12:01 | ||
Fred Batty | Málaga, Spain | 7 Nov 2017 14:40 | ||
Yurii Sigolaev | Saint Petersburg, Russia | 7 Nov 2017 21:25 | ||
Frank Rubin | Wappingers Falls, New York, United States | 11 Nov 2017 23:17 | ||
Johann Wiesenbauer | Vienna, Austria | 13 Nov 2017 06:52 | ||
Fulvio Baccaglini | New Malden, England, United Kingdom | 15 Nov 2017 05:36 | ||
Jarek Wroblewski | Wroclaw, Poland | 15 Nov 2017 08:00 | ||
George W. Barnett | Davis, California, United States | 16 Nov 2017 05:43 | ||
Bent Seegert | Århus, Denmark | 18 Nov 2017 23:00 | ||
Wouter Fokkema | Enschede, Netherlands | 19 Nov 2017 08:12 | ||
Dieter Gehrke | Tilst, Denmark | 19 Nov 2017 20:45 | ||
Pedro Cirne | Aveiro, Portugal | 22 Nov 2017 18:17 | ||
Johan de Ruiter | Mountain View, California, United States | 24 Nov 2017 03:11 | ||
Fredrik Svensson | Räften, Skåne, Sweden | 30 Nov 2017 07:38 | ||
Jesse Zwienenberg | Apeldoorn, Netherlands | 1 Dec 2017 13:12 | ||
Piotr Mikulski | Palo Alto, California, United States | 3 Dec 2017 17:48 | ||
Mike Nonemacher | Soquel, California, United States | 5 Dec 2017 16:04 | ||
Ernst Hoehener | Zug, Switzerland | 7 Dec 2017 20:56 | ||
Johan Claes | Diepenbeek, Belgium | 8 Dec 2017 23:00 | ||
Patrik Nyman | Borås, Sweden | 9 Dec 2017 17:56 | ||
André Osterhues | Dortmund, Germany | 9 Dec 2017 19:49 | ||
Markus Egli | Zürich, Switzerland | 12 Dec 2017 08:59 | ||
Valéry Gareiss | Zürich, Switzerland | 13 Dec 2017 16:42 | ||
Kay Schönberger | Koblenz, Germany | 14 Dec 2017 15:40 | ||
Tomas Rokicki | Palo Alto, California, United States | 21 Dec 2017 08:26 | ||
Andreas Bartsch | Nordhausen, Germany | 21 Dec 2017 23:15 | ||
12 nodes | 101517569 | Tom Sirgedas | Okemos, Michigan, United States | 28 Sep 2017 03:24 |
Wes Sampson | La Jolla, California, United States | 3 Oct 2017 08:40 | ||
Walter Trump | Nuremberg, Germany | 6 Oct 2017 09:21 | ||
Martin Piotte | Montreal, Quebec, Canada | 8 Oct 2017 10:32 | ||
Hans-Werner Paulsen | Miesbach, Germany | 9 Oct 2017 06:33 | ||
Jeremy Sawicki | Menlo Park, California, United States | 14 Oct 2017 12:14 | ||
Serge Zorkin | Moscow, Russia | 14 Oct 2017 13:22 | ||
Lucien Pech | Zürich, Switzerland | 14 Oct 2017 23:59 | ||
Roy van Rijn | Maassluis, Netherlands | 17 Oct 2017 15:01 | ||
William Edwards | Bräkne-Hoby, Blekinge, Sweden | 17 Oct 2017 19:21 | ||
Roland Postle | Manchester, United Kingdom | 22 Oct 2017 05:20 | ||
Johan Roos | Lund, Sweden | 22 Oct 2017 12:00 | ||
Gil Dogon | Jerusalem, Israel | 26 Oct 2017 04:07 | ||
Tim Price | Market Lavington, England, United Kingdom | 28 Oct 2017 08:37 | ||
Mladen Dobrichev | Sofia, Bulgaria | 7 Nov 2017 13:51 | ||
Krzysztof Jamróz | Wrocław, Poland | 9 Nov 2017 05:06 | ||
Esteban Crespi de Valldaura | Madrid, Spain | 11 Nov 2017 09:09 | ||
Benjamin Chaffin | Portland, Oregon, United States | 11 Nov 2017 19:07 | ||
Fred Batty | Málaga, Spain | 13 Nov 2017 06:56 | ||
Herbert Kociemba | Darmstadt, Germany | 15 Nov 2017 11:48 | ||
Jarek Wroblewski | Wroclaw, Poland | 15 Nov 2017 12:02 | ||
Kenneth Ulrich | Rydebäck, Sweden | 16 Nov 2017 07:47 | ||
Oliver Stiller | Munich, Germany | 17 Nov 2017 17:02 | ||
Michael Hürter | Saarbrücken, Germany | 18 Nov 2017 14:09 | ||
Walter Möhres | Dachau, Germany | 23 Nov 2017 22:41 | ||
Piotr Mikulski | Palo Alto, California, United States | 8 Dec 2017 17:51 | ||
Hans-Bernhard Meyer | Au, Germany | 17 Dec 2017 11:35 | ||
Pedro Cirne | Aveiro, Portugal | 19 Dec 2017 11:42 | ||
Vincent Quesnoit | Elancourt, Yvelines, France | 20 Dec 2017 02:57 | ||
Mark Mammel | Ellicott City, Maryland, United States | 23 Dec 2017 01:15 | ||
13 nodes | 1435917659 | Lucien Pech | Zürich, Switzerland | 21 Dec 2017 20:44 |
14 nodes | 90789390323 | Jarek Wroblewski | Wroclaw, Poland | 11 Nov 2017 05:22 |
15 nodes | 12008125516723 | Jarek Wroblewski | Wroclaw, Poland | 10 Nov 2017 02:01 |
16 nodes | 1.33142194712492e15 | Jarek Wroblewski | Wroclaw, Poland | 23 Nov 2017 20:38 |
17 nodes | 2.00076425075219e17 | Jarek Wroblewski | Wroclaw, Poland | 1 Dec 2017 03:50 |
18 nodes | 5.76998743145856e19 | Jarek Wroblewski | Wroclaw, Poland | 23 Nov 2017 10:15 |
19 nodes | 4.01181562764629e21 | Jarek Wroblewski | Wroclaw, Poland | 10 Dec 2017 03:07 |
20 nodes | 4.40329944439881e24 | Jarek Wroblewski | Wroclaw, Poland | 21 Nov 2017 23:25 |
21 nodes | 1.59524637637425e27 | Jarek Wroblewski | Wroclaw, Poland | 7 Dec 2017 04:31 |
22 nodes | 9.08147438936631e29 | Jarek Wroblewski | Wroclaw, Poland | 2 Dec 2017 23:57 |
23 nodes | 2.49816417286987e32 | Jarek Wroblewski | Wroclaw, Poland | 2 Dec 2017 01:33 |
24 nodes | 1.68313341621214e35 | Jarek Wroblewski | Wroclaw, Poland | 29 Nov 2017 06:36 |
25 nodes | 1.34707841619550e38 | Jarek Wroblewski | Wroclaw, Poland | 5 Dec 2017 19:20 |
26 nodes | 5.55347238065724e40 | Jarek Wroblewski | Wroclaw, Poland | 10 Dec 2017 10:06 |
27 nodes | 2.92131655037204e44 | Jarek Wroblewski | Wroclaw, Poland | 21 Dec 2017 19:18 |
28 nodes | 1.08560662620876e47 | Jarek Wroblewski | Wroclaw, Poland | 12 Dec 2017 20:07 |
These are the best solutions received
for each problem in the contest:
Problem | Score | Solution |
---|---|---|
4 nodes | 24 | {2, 5, 11}, {2, 7, 13}, {3, 5, 13}, {3, 7, 11} |
5 nodes | 199 | {2, 7, 19, 29}, {5, 7, 13, 17}, {3, 11, 13, 19}, {2, 11, 17, 23}, {3, 5, 23, 29} |
6 nodes | 253 | {2, 17, 23, 29, 37}, {2, 11, 19, 43, 47}, {3, 13, 19, 31, 37}, {5, 11, 13, 29, 41}, {3, 7, 23, 41, 43}, {5, 7, 17, 31, 47} |
7 nodes | 2958 | {7, 11, 17, 41, 47, 59}, {2, 17, 29, 37, 61, 67}, {3, 19, 29, 31, 41, 71}, {2, 13, 31, 43, 59, 73}, {5, 11, 19, 37, 53, 73}, {3, 13, 23, 47, 53, 67}, {5, 7, 23, 43, 61, 71} |
8 nodes | 67478 | {7, 19, 29, 43, 59, 61, 67}, {3, 7, 23, 79, 97, 101, 107}, {5, 17, 29, 31, 71, 73, 101}, {2, 31, 37, 43, 47, 89, 97}, {2, 17, 41, 53, 61, 83, 107}, {3, 13, 19, 71, 83, 89, 103}, {5, 11, 37, 41, 59, 79, 103}, {11, 13, 23, 47, 53, 67, 73} |
9 nodes | 123005 | {2, 11, 43, 59, 97, 127, 149, 151}, {5, 23, 29, 59, 71, 79, 107, 131}, {7, 17, 41, 53, 67, 79, 89, 127}, {5, 13, 43, 53, 61, 109, 113, 139}, {2, 17, 47, 73, 83, 107, 109, 137}, {3, 11, 41, 71, 101, 103, 113, 137}, {7, 19, 31, 47, 61, 97, 103, 131}, {13, 19, 23, 37, 67, 73, 101, 149}, {3, 29, 31, 37, 83, 89, 139, 151} |
10 nodes | 2229731 | {2, 19, 43, 83, 107, 109, 157, 173, 193}, {5, 17, 53, 73, 79, 89, 109, 167, 197}, {7, 23, 29, 43, 89, 127, 137, 149, 179}, {7, 17, 37, 61, 67, 97, 151, 163, 193}, {5, 13, 31, 67, 103, 137, 139, 173, 181}, {3, 37, 41, 47, 71, 127, 139, 157, 197}, {11, 29, 47, 59, 61, 73, 103, 107, 191}, {2, 13, 71, 79, 101, 131, 149, 151, 191}, {11, 23, 31, 41, 83, 101, 113, 163, 167}, {3, 19, 53, 59, 97, 113, 131, 179, 181} |
11 nodes | 8691987 | {11, 13, 19, 67, 101, 157, 167, 211, 229, 251}, {13, 31, 61, 73, 97, 103, 107, 113, 149, 181}, {11, 17, 23, 53, 103, 127, 137, 233, 239, 257}, {5, 7, 73, 79, 127, 131, 163, 211, 223, 227}, {19, 29, 31, 37, 59, 137, 151, 173, 193, 227}, {7, 17, 43, 71, 83, 97, 173, 191, 241, 251}, {2, 5, 109, 139, 151, 157, 181, 191, 197, 239}, {37, 43, 47, 53, 61, 67, 89, 139, 163, 179}, {2, 29, 41, 89, 113, 131, 167, 199, 233, 241}, {3, 41, 59, 79, 83, 107, 109, 179, 229, 257}, {3, 23, 47, 71, 101, 149, 193, 197, 199, 223} |
12 nodes | 101517569 | {2, 31, 73, 83, 89, 163, 197, 211, 269, 277, 307}, {3, 37, 53, 83, 101, 127, 191, 223, 229, 271, 313}, {7, 29, 31, 71, 113, 149, 157, 191, 233, 311, 317}, {19, 41, 67, 71, 79, 107, 109, 179, 193, 197, 223}, {5, 11, 29, 103, 151, 179, 199, 239, 277, 283, 313}, {3, 23, 79, 97, 113, 163, 167, 199, 227, 251, 281}, {13, 17, 19, 43, 139, 181, 233, 239, 269, 271, 281}, {7, 59, 61, 67, 73, 101, 139, 167, 241, 263, 283}, {11, 17, 37, 47, 107, 157, 211, 227, 257, 263, 293}, {2, 5, 127, 137, 173, 181, 193, 241, 251, 257, 317}, {13, 23, 41, 59, 103, 131, 149, 173, 229, 293, 307}, {43, 47, 53, 61, 89, 97, 109, 131, 137, 151, 311} |
13 nodes | 1435917659 | {3, 7, 97, 137, 149, 211, 227, 241, 251, 337, 379, 383}, {3, 17, 67, 107, 127, 191, 223, 239, 311, 313, 349, 367}, {2, 31, 47, 107, 181, 193, 227, 271, 277, 293, 307, 353}, {19, 43, 79, 97, 109, 113, 157, 167, 181, 223, 257, 281}, {2, 73, 83, 101, 139, 149, 157, 163, 233, 313, 347, 359}, {11, 47, 53, 71, 103, 131, 139, 199, 211, 281, 367, 373}, {13, 17, 23, 71, 167, 173, 229, 251, 263, 277, 347, 389}, {5, 23, 37, 109, 151, 163, 193, 239, 269, 331, 337, 373}, {11, 31, 41, 89, 137, 151, 173, 179, 233, 257, 311, 397}, {13, 29, 59, 79, 83, 127, 131, 241, 271, 283, 331, 397}, {7, 19, 61, 89, 103, 191, 197, 263, 269, 283, 293, 359}, {37, 41, 59, 61, 67, 73, 113, 199, 229, 317, 353, 383}, {5, 29, 43, 53, 101, 179, 197, 307, 317, 349, 379, 389} |
14 nodes | 90789390323 | {7, 31, 41, 107, 173, 181, 197, 227, 263, 317, 353, 443, 463}, {11, 43, 61, 67, 83, 137, 223, 233, 317, 337, 383, 409, 421}, {17, 41, 53, 103, 113, 191, 193, 211, 223, 241, 311, 359, 401}, {7, 17, 73, 97, 163, 199, 251, 257, 281, 293, 313, 409, 433}, {13, 23, 47, 53, 131, 151, 233, 263, 281, 331, 449, 457, 467}, {13, 59, 83, 97, 101, 109, 157, 167, 197, 349, 373, 401, 439}, {3, 5, 101, 139, 149, 241, 251, 277, 383, 419, 443, 461, 467}, {19, 29, 47, 67, 79, 89, 173, 313, 359, 389, 431, 439, 461}, {11, 29, 37, 127, 151, 167, 227, 229, 283, 293, 311, 379, 419}, {2, 5, 179, 181, 193, 199, 307, 331, 337, 349, 367, 379, 389}, {2, 3, 59, 191, 269, 271, 283, 347, 421, 431, 433, 457, 463}, {37, 43, 71, 89, 103, 131, 139, 163, 239, 271, 307, 353, 373}, {23, 31, 71, 79, 137, 149, 157, 211, 229, 257, 347, 367, 397}, {19, 61, 73, 107, 109, 113, 127, 179, 239, 269, 277, 397, 449} |
15 nodes | 12008125516723 | {19, 59, 61, 89, 131, 137, 157, 199, 281, 317, 433, 443, 467, 487}, {23, 31, 43, 89, 109, 191, 223, 241, 257, 311, 431, 461, 479, 571}, {37, 47, 67, 101, 107, 137, 149, 197, 211, 311, 367, 383, 499, 569}, {13, 53, 67, 71, 103, 233, 241, 293, 307, 331, 353, 359, 397, 467}, {13, 17, 41, 109, 139, 229, 251, 263, 281, 373, 421, 499, 521, 557}, {31, 37, 61, 97, 151, 163, 173, 193, 251, 307, 401, 409, 419, 449}, {3, 5, 11, 283, 353, 383, 389, 421, 449, 457, 461, 487, 509, 547}, {2, 5, 73, 97, 331, 337, 349, 367, 373, 443, 491, 523, 541, 571}, {3, 7, 53, 179, 197, 271, 317, 347, 379, 409, 431, 541, 557, 563}, {2, 7, 29, 199, 239, 313, 397, 419, 439, 457, 463, 479, 521, 569}, {19, 29, 79, 101, 173, 181, 227, 257, 263, 269, 337, 359, 379, 509}, {23, 41, 83, 113, 163, 167, 179, 211, 227, 233, 313, 389, 433, 523}, {11, 83, 103, 107, 127, 139, 157, 181, 193, 223, 439, 491, 503, 563}, {59, 71, 73, 79, 113, 149, 151, 191, 229, 239, 271, 277, 503, 547}, {17, 43, 47, 127, 131, 167, 269, 277, 283, 293, 347, 349, 401, 463} |
16 nodes | 1.33142194712492e15 | {23, 31, 67, 113, 149, 199, 211, 233, 313, 347, 431, 463, 467, 523, 619}, {29, 53, 59, 113, 131, 151, 223, 227, 277, 367, 409, 443, 457, 487, 613}, {37, 59, 67, 79, 139, 157, 163, 271, 293, 359, 389, 421, 433, 503, 617}, {3, 17, 19, 193, 211, 263, 389, 397, 419, 499, 557, 569, 601, 613, 659}, {5, 13, 29, 137, 251, 293, 337, 373, 383, 463, 491, 563, 569, 593, 653}, {19, 61, 97, 103, 157, 179, 239, 257, 269, 283, 313, 367, 383, 599, 643}, {7, 13, 47, 223, 239, 263, 271, 307, 317, 439, 449, 467, 479, 577, 641}, {3, 5, 11, 181, 349, 401, 409, 509, 547, 571, 599, 617, 619, 641, 647}, {2, 7, 11, 227, 241, 347, 503, 521, 541, 587, 607, 631, 643, 653, 659}, {41, 47, 101, 107, 109, 131, 191, 199, 229, 257, 419, 433, 571, 593, 631}, {41, 43, 83, 89, 103, 127, 193, 277, 281, 359, 401, 449, 491, 523, 607}, {23, 71, 97, 109, 127, 163, 167, 173, 241, 331, 457, 479, 499, 509, 563}, {2, 17, 83, 191, 251, 283, 331, 353, 379, 421, 431, 461, 487, 577, 647}, {31, 71, 73, 79, 101, 151, 197, 269, 281, 337, 353, 439, 521, 547, 601}, {37, 73, 89, 107, 137, 149, 173, 179, 307, 311, 349, 397, 443, 461, 587}, {43, 53, 61, 139, 167, 181, 197, 229, 233, 311, 317, 373, 379, 541, 557} |
17 nodes | 2.00076425075219e17 | {53, 67, 71, 73, 191, 211, 233, 239, 251, 311, 347, 443, 467, 491, 709, 719}, {47, 59, 61, 109, 173, 179, 241, 257, 293, 313, 331, 337, 487, 601, 719, 761}, {5, 7, 31, 59, 229, 439, 491, 521, 557, 593, 617, 619, 659, 733, 751, 769}, {2, 17, 23, 107, 281, 433, 443, 509, 557, 569, 577, 601, 631, 647, 743, 757}, {19, 89, 103, 149, 157, 197, 223, 229, 241, 281, 311, 463, 503, 607, 653, 727}, {41, 97, 127, 137, 139, 149, 173, 251, 263, 353, 379, 397, 431, 461, 509, 659}, {37, 61, 79, 101, 137, 157, 163, 317, 347, 359, 389, 433, 449, 599, 683, 751}, {3, 17, 29, 199, 293, 307, 373, 431, 449, 467, 479, 619, 661, 673, 677, 727}, {5, 11, 103, 113, 181, 239, 379, 409, 457, 487, 499, 563, 647, 661, 683, 739}, {7, 11, 107, 167, 211, 277, 337, 349, 359, 397, 401, 587, 607, 643, 677, 691}, {3, 13, 41, 47, 227, 503, 521, 523, 541, 571, 577, 599, 641, 691, 709, 739}, {2, 13, 37, 53, 367, 419, 461, 547, 563, 587, 613, 617, 653, 673, 701, 761}, {31, 83, 89, 131, 163, 191, 227, 263, 283, 313, 373, 401, 409, 421, 613, 743}, {43, 71, 83, 113, 127, 167, 199, 271, 317, 331, 383, 439, 463, 523, 547, 757}, {23, 67, 79, 131, 151, 179, 223, 269, 353, 367, 383, 457, 479, 541, 593, 643}, {29, 73, 109, 139, 151, 181, 193, 197, 271, 283, 349, 389, 569, 571, 701, 733}, {19, 43, 97, 101, 193, 233, 257, 269, 277, 307, 419, 421, 499, 631, 641, 769} |
18 nodes | 5.76998743145856e19 | {41, 59, 73, 89, 131, 269, 307, 311, 367, 379, 419, 479, 503, 541, 619, 739, 829}, {37, 71, 107, 151, 163, 179, 277, 311, 313, 317, 337, 359, 487, 599, 701, 719, 809}, {41, 47, 97, 107, 113, 197, 211, 223, 263, 463, 587, 617, 641, 647, 659, 733, 823}, {31, 73, 97, 101, 191, 227, 233, 241, 257, 347, 359, 421, 557, 691, 773, 797, 883}, {53, 137, 139, 173, 181, 191, 229, 239, 263, 271, 317, 353, 409, 479, 547, 643, 839}, {3, 11, 19, 67, 401, 449, 521, 547, 571, 641, 661, 701, 787, 821, 829, 881, 883}, {7, 19, 43, 193, 227, 337, 383, 409, 439, 457, 463, 541, 577, 709, 761, 853, 863}, {3, 13, 37, 349, 353, 431, 439, 467, 503, 509, 523, 557, 587, 601, 613, 727, 827}, {2, 79, 163, 167, 173, 257, 293, 401, 419, 443, 491, 523, 607, 631, 653, 659, 863}, {5, 11, 17, 271, 373, 389, 433, 467, 487, 563, 617, 631, 673, 683, 709, 739, 797}, {23, 67, 137, 151, 167, 199, 233, 251, 281, 307, 461, 499, 509, 569, 683, 761, 823}, {29, 47, 83, 149, 193, 239, 251, 269, 313, 331, 347, 389, 613, 653, 751, 787, 877}, {5, 7, 23, 79, 349, 367, 397, 571, 643, 677, 691, 733, 757, 809, 811, 859, 877}, {2, 13, 17, 43, 499, 521, 593, 619, 647, 719, 743, 751, 757, 769, 773, 839, 857}, {53, 83, 113, 127, 157, 199, 241, 277, 283, 373, 379, 397, 443, 577, 593, 661, 727}, {61, 71, 101, 109, 131, 139, 149, 157, 223, 433, 491, 569, 601, 769, 821, 853, 859}, {31, 59, 61, 103, 127, 179, 211, 229, 331, 457, 461, 563, 607, 811, 827, 857, 881}, {29, 89, 103, 109, 181, 197, 281, 283, 293, 383, 421, 431, 449, 599, 673, 677, 743} |
19 nodes | 4.01181562764629e21 | {73, 89, 101, 137, 151, 181, 269, 271, 317, 389, 433, 491, 499, 661, 691, 709, 739, 823}, {67, 73, 83, 173, 229, 257, 263, 283, 313, 353, 383, 397, 431, 479, 677, 821, 827, 941}, {23, 47, 53, 103, 137, 193, 233, 347, 503, 563, 659, 719, 733, 769, 773, 827, 853, 887}, {61, 71, 97, 103, 157, 167, 211, 281, 389, 397, 487, 541, 587, 641, 743, 797, 859, 881}, {29, 59, 67, 97, 131, 197, 251, 311, 409, 421, 467, 571, 709, 773, 877, 953, 967, 1013}, {71, 113, 127, 181, 199, 227, 233, 241, 313, 373, 379, 409, 457, 547, 613, 643, 727, 761}, {11, 37, 43, 59, 263, 269, 337, 401, 463, 569, 601, 619, 727, 857, 881, 887, 971, 1009}, {19, 31, 37, 131, 331, 347, 349, 383, 433, 439, 509, 541, 617, 643, 683, 829, 911, 983}, {2, 7, 17, 19, 613, 673, 739, 797, 821, 853, 883, 907, 919, 929, 937, 967, 971, 997}, {3, 7, 13, 443, 461, 499, 547, 557, 563, 577, 631, 677, 743, 751, 829, 857, 977, 1013}, {2, 11, 13, 241, 277, 359, 419, 599, 641, 719, 823, 839, 941, 947, 953, 983, 991, 1019}, {53, 79, 101, 107, 139, 277, 283, 307, 311, 373, 509, 569, 587, 593, 631, 673, 757, 811}, {5, 29, 43, 61, 331, 367, 479, 503, 523, 593, 607, 647, 661, 701, 761, 977, 991, 997}, {3, 5, 17, 179, 379, 431, 521, 653, 659, 691, 809, 811, 859, 863, 877, 911, 1009, 1019}, {23, 31, 41, 163, 223, 227, 317, 353, 401, 421, 487, 607, 751, 757, 787, 863, 937, 947}, {41, 83, 107, 113, 157, 191, 239, 271, 293, 461, 467, 521, 619, 683, 701, 769, 839, 919}, {47, 109, 139, 149, 151, 191, 197, 211, 257, 457, 523, 557, 599, 601, 617, 653, 787, 929}, {79, 109, 167, 173, 193, 199, 223, 239, 337, 367, 419, 439, 443, 449, 491, 571, 809, 883}, {89, 127, 149, 163, 179, 229, 251, 281, 293, 307, 349, 359, 449, 463, 577, 647, 733, 907} |
20 nodes | 4.40329944439881e24 | {53, 97, 131, 149, 151, 233, 263, 293, 373, 443, 449, 503, 587, 619, 683, 809, 877, 929, 941}, {59, 61, 83, 101, 103, 191, 349, 353, 389, 397, 463, 587, 727, 733, 853, 1009, 1013, 1031, 1063}, {31, 79, 83, 97, 197, 211, 227, 269, 379, 521, 563, 613, 739, 761, 773, 887, 1021, 1061, 1097}, {47, 61, 127, 137, 167, 199, 227, 281, 383, 439, 443, 557, 643, 769, 811, 883, 911, 1033, 1069}, {37, 53, 163, 229, 239, 241, 271, 337, 463, 487, 521, 571, 577, 607, 631, 643, 691, 719, 857}, {37, 71, 137, 157, 173, 191, 223, 409, 431, 467, 479, 523, 617, 659, 701, 751, 877, 887, 1093}, {31, 43, 67, 151, 167, 311, 331, 353, 359, 467, 491, 607, 647, 821, 829, 839, 977, 1019, 1039}, {3, 73, 139, 193, 373, 397, 421, 461, 491, 509, 557, 601, 613, 631, 661, 677, 743, 787, 1093}, {5, 11, 19, 173, 229, 277, 509, 757, 761, 769, 797, 809, 839, 907, 953, 991, 1009, 1123, 1151}, {2, 13, 23, 139, 523, 571, 593, 599, 641, 673, 683, 773, 823, 827, 883, 1013, 1019, 1117, 1123}, {71, 179, 193, 197, 239, 277, 283, 293, 307, 359, 383, 419, 457, 547, 569, 593, 653, 709, 853}, {3, 7, 23, 271, 307, 313, 431, 449, 647, 733, 863, 967, 983, 1049, 1051, 1069, 1097, 1109, 1151}, {5, 13, 17, 29, 421, 479, 487, 547, 619, 919, 937, 1031, 1033, 1039, 1061, 1087, 1091, 1103, 1109}, {11, 17, 73, 257, 313, 347, 389, 401, 409, 499, 541, 577, 709, 739, 811, 829, 929, 1117, 1129}, {2, 7, 19, 29, 653, 677, 751, 857, 859, 881, 911, 941, 947, 971, 977, 997, 1021, 1063, 1129}, {47, 59, 89, 149, 181, 211, 241, 317, 347, 367, 419, 601, 617, 821, 823, 953, 997, 1051, 1091}, {41, 89, 103, 109, 131, 179, 281, 331, 379, 433, 541, 599, 659, 691, 787, 881, 967, 991, 1087}, {43, 101, 107, 109, 113, 199, 233, 367, 457, 461, 499, 563, 641, 701, 719, 797, 971, 983, 1103}, {41, 107, 127, 163, 181, 223, 251, 257, 269, 311, 503, 569, 661, 727, 827, 863, 907, 937, 947}, {67, 79, 113, 157, 251, 263, 283, 317, 337, 349, 401, 433, 439, 673, 743, 757, 859, 919, 1049} |
21 nodes | 1.59524637637425e27 | {97, 113, 137, 163, 167, 239, 241, 337, 431, 449, 461, 467, 563, 641, 673, 683, 929, 983, 1049, 1151}, {109, 113, 149, 151, 179, 257, 263, 281, 349, 397, 409, 607, 617, 647, 653, 743, 857, 991, 1061, 1069}, {101, 109, 127, 167, 227, 233, 269, 271, 307, 359, 487, 557, 569, 701, 719, 727, 751, 1091, 1123, 1171}, {103, 149, 181, 191, 193, 211, 271, 277, 353, 401, 431, 463, 503, 587, 619, 809, 859, 887, 947, 1237}, {3, 5, 41, 43, 401, 409, 641, 773, 853, 977, 997, 1013, 1063, 1091, 1097, 1109, 1201, 1231, 1249, 1283}, {17, 59, 61, 131, 241, 293, 313, 397, 571, 613, 659, 727, 757, 811, 821, 859, 953, 977, 1103, 1153}, {7, 11, 13, 37, 457, 463, 541, 547, 617, 967, 1009, 1087, 1103, 1123, 1151, 1193, 1213, 1217, 1231, 1289}, {3, 11, 61, 107, 239, 383, 599, 607, 709, 719, 839, 907, 937, 947, 1021, 1033, 1163, 1229, 1259, 1291}, {23, 41, 53, 199, 251, 311, 337, 353, 433, 487, 659, 677, 743, 829, 877, 971, 1019, 1033, 1039, 1213}, {17, 19, 23, 29, 31, 557, 601, 661, 739, 929, 1031, 1051, 1069, 1223, 1237, 1259, 1277, 1279, 1283, 1289}, {19, 37, 107, 137, 257, 359, 379, 389, 443, 491, 587, 691, 787, 827, 853, 863, 877, 953, 1093, 1117}, {13, 29, 47, 71, 317, 367, 479, 593, 619, 653, 673, 751, 761, 821, 881, 883, 1039, 1093, 1109, 1163}, {31, 43, 67, 131, 173, 227, 347, 439, 499, 509, 643, 683, 809, 857, 863, 883, 1019, 1021, 1181, 1193}, {79, 139, 211, 223, 229, 263, 307, 313, 347, 367, 373, 467, 521, 577, 677, 691, 709, 773, 967, 1223}, {2, 7, 59, 73, 311, 479, 521, 701, 769, 887, 919, 941, 1049, 1061, 1117, 1129, 1181, 1201, 1229, 1277}, {2, 47, 53, 67, 83, 277, 577, 631, 733, 827, 911, 983, 991, 1153, 1171, 1187, 1217, 1249, 1279, 1291}, {5, 71, 73, 223, 331, 419, 421, 503, 509, 523, 563, 569, 647, 757, 787, 839, 971, 1031, 1087, 1187}, {83, 173, 193, 197, 251, 269, 283, 293, 317, 349, 373, 419, 443, 449, 739, 823, 937, 941, 1009, 1063}, {97, 101, 139, 151, 157, 191, 199, 379, 421, 439, 457, 593, 599, 613, 797, 823, 911, 997, 1051, 1129}, {89, 103, 163, 179, 229, 233, 283, 331, 383, 389, 433, 499, 547, 661, 733, 797, 811, 881, 919, 1013}, {79, 89, 127, 157, 181, 197, 281, 461, 491, 523, 541, 571, 601, 631, 643, 761, 769, 829, 907, 1097} |
22 nodes | 9.08147438936631e29 | {83, 107, 163, 173, 181, 251, 257, 401, 409, 439, 467, 499, 659, 661, 859, 929, 941, 997, 1091, 1181, 1279}, {67, 131, 167, 191, 227, 239, 293, 313, 383, 541, 547, 599, 643, 659, 739, 761, 797, 1019, 1033, 1087, 1283}, {89, 109, 173, 179, 241, 277, 283, 331, 479, 521, 541, 571, 617, 619, 631, 751, 809, 857, 983, 1201, 1229}, {5, 7, 47, 157, 359, 419, 461, 641, 643, 809, 811, 953, 1063, 1103, 1153, 1217, 1231, 1279, 1297, 1301, 1307}, {7, 61, 241, 269, 281, 293, 337, 349, 367, 389, 491, 661, 691, 887, 907, 1049, 1069, 1289, 1303, 1409, 1439}, {3, 41, 53, 347, 419, 421, 523, 593, 613, 673, 677, 701, 787, 857, 919, 967, 991, 997, 1019, 1289, 1399}, {29, 37, 41, 43, 47, 151, 587, 743, 773, 907, 971, 1031, 1087, 1093, 1123, 1181, 1229, 1259, 1319, 1373, 1453}, {11, 13, 19, 337, 397, 503, 577, 593, 607, 619, 647, 811, 863, 883, 929, 1031, 1033, 1051, 1367, 1381, 1429}, {19, 31, 227, 229, 307, 421, 431, 439, 443, 557, 563, 569, 617, 641, 653, 691, 773, 1291, 1321, 1327, 1427}, {13, 23, 31, 181, 233, 269, 313, 457, 479, 509, 829, 911, 991, 1009, 1171, 1307, 1423, 1433, 1447, 1451, 1453}, {2, 3, 37, 59, 461, 733, 797, 827, 877, 983, 1013, 1061, 1091, 1117, 1223, 1249, 1277, 1381, 1427, 1439, 1447}, {17, 23, 29, 211, 271, 379, 401, 487, 571, 701, 739, 757, 881, 1013, 1039, 1049, 1051, 1129, 1237, 1301, 1321}, {2, 53, 151, 211, 359, 433, 569, 599, 601, 631, 683, 769, 853, 859, 883, 887, 937, 947, 1009, 1187, 1213}, {5, 61, 149, 197, 257, 353, 521, 547, 563, 647, 719, 727, 757, 821, 823, 829, 919, 937, 1123, 1193, 1223}, {79, 137, 197, 223, 229, 283, 311, 317, 349, 373, 467, 509, 607, 613, 761, 769, 877, 881, 1021, 1259, 1297}, {103, 107, 109, 113, 127, 131, 137, 139, 149, 743, 827, 967, 977, 1063, 1187, 1237, 1291, 1303, 1361, 1367, 1451}, {11, 17, 43, 59, 157, 601, 653, 677, 709, 727, 839, 941, 977, 1021, 1069, 1097, 1109, 1151, 1201, 1283, 1423}, {67, 71, 73, 79, 83, 89, 97, 101, 821, 1093, 1117, 1129, 1151, 1153, 1213, 1327, 1361, 1399, 1409, 1429, 1433}, {101, 113, 193, 239, 251, 281, 373, 379, 397, 443, 449, 463, 523, 587, 709, 719, 751, 853, 1061, 1103, 1171}, {71, 139, 163, 179, 223, 233, 263, 367, 383, 449, 487, 557, 577, 673, 683, 733, 953, 1109, 1163, 1193, 1373}, {97, 127, 191, 199, 263, 277, 307, 311, 347, 389, 409, 457, 463, 503, 823, 839, 947, 1039, 1231, 1249, 1319}, {73, 103, 167, 193, 199, 271, 317, 331, 353, 431, 433, 491, 499, 787, 863, 911, 971, 1097, 1163, 1217, 1277} |
23 nodes | 2.49816417286987e32 | {67, 139, 151, 251, 257, 269, 347, 419, 461, 463, 487, 541, 557, 733, 811, 883, 911, 929, 997, 1091, 1511, 1571}, {97, 107, 173, 191, 277, 337, 373, 419, 443, 509, 521, 599, 647, 673, 677, 709, 823, 991, 1049, 1087, 1223, 1523}, {101, 109, 179, 281, 293, 317, 367, 397, 431, 443, 487, 499, 569, 587, 617, 659, 859, 1129, 1163, 1187, 1277, 1579}, {83, 137, 167, 223, 241, 263, 277, 353, 409, 439, 461, 499, 601, 691, 827, 829, 1097, 1117, 1181, 1289, 1483, 1493}, {29, 37, 41, 43, 53, 233, 613, 641, 809, 1009, 1033, 1069, 1103, 1187, 1193, 1217, 1303, 1321, 1327, 1483, 1523, 1571}, {7, 41, 197, 281, 307, 349, 373, 503, 541, 593, 653, 739, 787, 853, 941, 971, 1097, 1153, 1237, 1301, 1427, 1447}, {29, 61, 191, 197, 211, 227, 239, 283, 587, 619, 719, 757, 811, 953, 967, 977, 1061, 1117, 1231, 1291, 1373, 1583}, {2, 19, 239, 349, 389, 467, 523, 547, 601, 673, 701, 751, 809, 883, 919, 937, 1123, 1229, 1277, 1459, 1489, 1543}, {13, 17, 199, 293, 401, 449, 467, 563, 577, 599, 613, 683, 733, 827, 887, 907, 941, 967, 1109, 1423, 1433, 1439}, {17, 23, 241, 257, 271, 283, 311, 317, 359, 653, 709, 769, 821, 857, 881, 937, 1297, 1321, 1361, 1567, 1597, 1607}, {79, 103, 157, 263, 269, 311, 383, 421, 479, 491, 563, 593, 617, 631, 727, 743, 823, 1039, 1061, 1123, 1283, 1303}, {71, 127, 181, 227, 229, 271, 331, 367, 439, 457, 463, 647, 773, 839, 863, 907, 919, 971, 1039, 1093, 1213, 1217}, {5, 7, 53, 193, 401, 421, 643, 661, 701, 821, 863, 911, 1031, 1087, 1163, 1181, 1291, 1307, 1399, 1409, 1429, 1499}, {11, 19, 31, 199, 211, 509, 631, 661, 691, 797, 857, 859, 1013, 1021, 1069, 1091, 1151, 1213, 1237, 1279, 1319, 1549}, {67, 71, 73, 79, 83, 89, 97, 101, 953, 1063, 1103, 1201, 1319, 1367, 1399, 1439, 1447, 1481, 1543, 1559, 1597, 1601}, {61, 103, 107, 109, 113, 127, 131, 137, 139, 1009, 1051, 1153, 1171, 1307, 1381, 1433, 1453, 1459, 1549, 1553, 1601, 1607}, {13, 23, 47, 223, 229, 313, 347, 433, 479, 659, 761, 853, 1021, 1049, 1229, 1327, 1373, 1429, 1451, 1531, 1553, 1559}, {31, 149, 151, 157, 163, 167, 173, 179, 181, 233, 947, 1063, 1231, 1259, 1381, 1409, 1423, 1427, 1487, 1489, 1531, 1567}, {2, 3, 37, 59, 643, 683, 787, 839, 947, 1013, 1051, 1201, 1223, 1249, 1283, 1289, 1361, 1451, 1471, 1511, 1579, 1583}, {3, 5, 337, 457, 547, 569, 571, 607, 641, 719, 743, 761, 797, 829, 881, 887, 929, 983, 1301, 1453, 1481, 1487}, {11, 43, 47, 59, 193, 449, 503, 727, 751, 877, 977, 983, 991, 997, 1019, 1093, 1129, 1171, 1259, 1297, 1367, 1493}, {73, 131, 163, 251, 307, 379, 383, 389, 397, 409, 433, 577, 607, 677, 757, 769, 773, 877, 1193, 1249, 1279, 1499}, {89, 113, 149, 313, 331, 353, 359, 379, 431, 491, 521, 523, 557, 571, 619, 739, 1019, 1031, 1033, 1109, 1151, 1471} |
24 nodes | 1.68313341621214e35 | {107, 131, 197, 227, 251, 257, 271, 487, 523, 557, 659, 701, 709, 827, 839, 881, 883, 907, 1009, 1093, 1171, 1291, 1627}, {109, 149, 199, 239, 281, 313, 317, 347, 373, 397, 479, 601, 761, 797, 887, 937, 1033, 1039, 1093, 1163, 1301, 1423, 1667}, {83, 151, 193, 241, 251, 307, 313, 367, 499, 521, 647, 653, 673, 739, 787, 823, 877, 919, 967, 1459, 1471, 1483, 1493}, {41, 47, 167, 173, 179, 181, 191, 193, 197, 199, 1283, 1327, 1361, 1399, 1429, 1487, 1553, 1613, 1669, 1709, 1721, 1741, 1759}, {83, 89, 97, 101, 103, 107, 109, 113, 353, 1201, 1249, 1289, 1297, 1321, 1381, 1453, 1543, 1549, 1559, 1579, 1693, 1709, 1723}, {13, 23, 331, 359, 367, 421, 457, 463, 541, 547, 563, 661, 761, 859, 907, 947, 1051, 1223, 1319, 1451, 1543, 1553, 1597}, {79, 127, 131, 137, 139, 149, 151, 157, 163, 337, 1213, 1229, 1249, 1307, 1373, 1399, 1447, 1451, 1583, 1619, 1747, 1777, 1783}, {5, 19, 23, 29, 211, 233, 751, 839, 1117, 1129, 1193, 1303, 1423, 1483, 1499, 1511, 1571, 1579, 1657, 1697, 1721, 1747, 1753}, {17, 67, 211, 229, 317, 383, 401, 509, 571, 599, 641, 647, 709, 733, 769, 947, 1181, 1277, 1307, 1321, 1361, 1567, 1663}, {11, 19, 61, 229, 379, 431, 443, 661, 673, 743, 809, 997, 1049, 1063, 1109, 1163, 1187, 1229, 1259, 1291, 1409, 1549, 1613}, {43, 71, 223, 233, 269, 349, 419, 461, 487, 587, 599, 619, 821, 853, 863, 887, 929, 1051, 1063, 1373, 1381, 1429, 1471}, {11, 41, 79, 353, 541, 571, 587, 601, 607, 613, 617, 653, 659, 683, 719, 829, 1153, 1231, 1279, 1531, 1571, 1621, 1733}, {2, 31, 337, 409, 449, 461, 491, 503, 509, 563, 631, 701, 727, 1031, 1187, 1231, 1283, 1289, 1301, 1439, 1493, 1499, 1609}, {3, 31, 37, 43, 53, 877, 881, 937, 953, 1019, 1087, 1103, 1123, 1277, 1319, 1409, 1531, 1607, 1693, 1699, 1741, 1753, 1777}, {3, 7, 47, 449, 463, 467, 499, 557, 569, 743, 821, 977, 1201, 1279, 1367, 1481, 1489, 1511, 1523, 1583, 1601, 1663, 1667}, {2, 59, 61, 67, 71, 73, 941, 991, 1013, 1033, 1097, 1171, 1433, 1459, 1597, 1601, 1621, 1637, 1657, 1699, 1723, 1759, 1783}, {89, 127, 191, 227, 311, 379, 389, 397, 503, 547, 577, 607, 739, 757, 769, 929, 953, 971, 1021, 1069, 1097, 1193, 1489}, {5, 37, 59, 373, 409, 419, 431, 433, 577, 643, 691, 919, 1153, 1213, 1217, 1223, 1237, 1297, 1327, 1367, 1427, 1567, 1627}, {113, 139, 179, 263, 277, 283, 311, 421, 521, 523, 569, 643, 683, 797, 809, 811, 863, 1013, 1123, 1151, 1181, 1303, 1439}, {7, 13, 17, 223, 239, 241, 677, 811, 857, 971, 983, 1009, 1061, 1109, 1217, 1559, 1607, 1609, 1619, 1637, 1669, 1697, 1733}, {29, 53, 73, 263, 271, 439, 443, 457, 593, 641, 727, 757, 787, 829, 853, 1039, 1061, 1091, 1427, 1447, 1453, 1487, 1523}, {97, 157, 167, 281, 307, 331, 349, 383, 389, 467, 593, 613, 773, 857, 883, 911, 941, 1019, 1031, 1117, 1151, 1237, 1259}, {103, 137, 181, 257, 269, 277, 293, 479, 617, 631, 677, 691, 733, 751, 773, 823, 859, 991, 997, 1021, 1091, 1103, 1481}, {101, 163, 173, 283, 293, 347, 359, 401, 433, 439, 491, 619, 719, 827, 911, 967, 977, 983, 1049, 1069, 1087, 1129, 1433} |
25 nodes | 1.34707841619550e38 | {83, 149, 193, 239, 271, 353, 457, 521, 557, 701, 751, 863, 877, 887, 911, 919, 929, 937, 967, 1033, 1093, 1103, 1123, 1597}, {107, 127, 181, 211, 251, 397, 463, 487, 499, 599, 619, 677, 683, 881, 919, 971, 983, 997, 1109, 1117, 1213, 1373, 1523, 1667}, {101, 113, 179, 223, 263, 373, 397, 419, 431, 587, 631, 661, 739, 823, 853, 863, 883, 953, 1097, 1493, 1549, 1627, 1747, 1889}, {79, 131, 167, 233, 269, 373, 449, 499, 521, 577, 601, 607, 647, 673, 809, 811, 1087, 1151, 1171, 1229, 1283, 1759, 1861, 1877}, {73, 113, 127, 131, 137, 139, 149, 151, 157, 1163, 1181, 1187, 1223, 1289, 1303, 1319, 1447, 1553, 1783, 1823, 1847, 1913, 1933, 1979}, {43, 71, 163, 167, 173, 179, 181, 191, 193, 197, 1231, 1429, 1481, 1531, 1543, 1579, 1607, 1709, 1777, 1811, 1847, 1949, 1951, 1973}, {17, 23, 31, 37, 641, 653, 659, 691, 719, 751, 1009, 1051, 1129, 1181, 1193, 1237, 1259, 1373, 1429, 1471, 1747, 1867, 1877, 1879}, {2, 337, 347, 367, 383, 409, 461, 593, 613, 653, 677, 743, 811, 823, 859, 907, 937, 1063, 1279, 1319, 1439, 1607, 1613, 1669}, {29, 67, 199, 211, 223, 227, 229, 233, 239, 241, 1223, 1237, 1291, 1327, 1451, 1481, 1511, 1571, 1613, 1619, 1663, 1733, 1741, 1831}, {19, 23, 41, 47, 53, 59, 743, 829, 971, 1123, 1217, 1423, 1559, 1567, 1723, 1831, 1861, 1871, 1873, 1889, 1901, 1931, 1933, 1951}, {7, 43, 313, 379, 439, 449, 569, 613, 659, 709, 761, 829, 839, 883, 929, 947, 991, 1021, 1031, 1163, 1523, 1621, 1637, 1741}, {3, 5, 59, 467, 487, 509, 569, 607, 887, 941, 1013, 1049, 1051, 1063, 1097, 1307, 1453, 1489, 1693, 1733, 1787, 1823, 1949, 1987}, {5, 37, 47, 307, 317, 347, 503, 563, 571, 761, 911, 1229, 1249, 1289, 1321, 1361, 1381, 1409, 1451, 1543, 1549, 1667, 1697, 1801}, {7, 11, 53, 307, 337, 353, 599, 641, 757, 773, 827, 1049, 1151, 1277, 1303, 1433, 1487, 1493, 1511, 1579, 1657, 1721, 1753, 1907}, {13, 67, 71, 73, 311, 433, 443, 467, 643, 727, 881, 947, 1033, 1039, 1061, 1153, 1499, 1567, 1627, 1657, 1669, 1759, 1801, 1867}, {89, 151, 173, 229, 277, 293, 479, 577, 631, 683, 701, 727, 733, 769, 773, 787, 907, 1013, 1031, 1091, 1129, 1381, 1483, 1873}, {3, 17, 293, 367, 389, 419, 421, 439, 647, 797, 821, 877, 977, 983, 1039, 1301, 1423, 1427, 1601, 1619, 1697, 1753, 1783, 1811}, {19, 29, 313, 359, 383, 401, 421, 443, 541, 563, 661, 691, 757, 787, 997, 1069, 1103, 1283, 1367, 1453, 1583, 1699, 1777, 1913}, {79, 83, 89, 97, 101, 103, 107, 109, 1153, 1231, 1259, 1297, 1327, 1361, 1399, 1433, 1439, 1601, 1609, 1637, 1699, 1723, 1979, 1987}, {11, 31, 41, 317, 349, 359, 409, 617, 643, 839, 953, 1087, 1091, 1187, 1201, 1213, 1291, 1297, 1427, 1459, 1531, 1597, 1787, 1789}, {13, 61, 251, 257, 263, 269, 271, 277, 281, 283, 1193, 1201, 1249, 1277, 1279, 1301, 1399, 1447, 1489, 1583, 1621, 1663, 1931, 1973}, {2, 61, 311, 331, 401, 431, 503, 523, 617, 709, 733, 797, 941, 1009, 1019, 1093, 1117, 1171, 1553, 1559, 1571, 1609, 1709, 1907}, {97, 137, 163, 227, 257, 433, 461, 463, 479, 491, 509, 547, 557, 673, 853, 977, 1019, 1021, 1321, 1367, 1459, 1721, 1879, 1901}, {109, 157, 191, 199, 281, 331, 349, 547, 571, 593, 601, 619, 739, 769, 821, 857, 967, 991, 1069, 1217, 1471, 1487, 1499, 1693}, {103, 139, 197, 241, 283, 379, 389, 457, 491, 523, 541, 587, 719, 809, 827, 857, 859, 1061, 1109, 1307, 1409, 1483, 1789, 1871} |
26 nodes | 5.55347238065724e40 | {109, 173, 191, 233, 313, 337, 431, 433, 439, 509, 613, 733, 773, 821, 1019, 1031, 1063, 1171, 1217, 1381, 1423, 1471, 1583, 1741, 1973}, {113, 137, 179, 257, 293, 373, 449, 457, 467, 569, 577, 757, 769, 773, 829, 877, 907, 1151, 1181, 1303, 1621, 1657, 1811, 2039, 2063}, {107, 163, 199, 251, 311, 359, 461, 463, 523, 631, 739, 761, 787, 857, 937, 947, 991, 1013, 1051, 1063, 1093, 1429, 1621, 1889, 2129}, {19, 31, 47, 419, 461, 499, 557, 653, 661, 677, 809, 859, 1009, 1087, 1181, 1231, 1279, 1373, 1447, 1511, 1583, 1597, 1627, 1723, 2011}, {53, 101, 103, 107, 109, 113, 127, 131, 1091, 1201, 1231, 1277, 1297, 1361, 1409, 1553, 1609, 1759, 1789, 1823, 1831, 1907, 1979, 2003, 2143}, {139, 181, 227, 281, 349, 383, 397, 503, 509, 557, 569, 619, 683, 823, 911, 997, 1049, 1097, 1103, 1117, 1123, 1163, 1609, 1901, 2129}, {23, 29, 59, 419, 523, 547, 613, 617, 647, 659, 751, 881, 941, 967, 977, 1201, 1289, 1367, 1427, 1433, 1493, 1523, 1543, 1901, 2039}, {73, 83, 269, 331, 401, 431, 449, 541, 601, 659, 661, 691, 727, 863, 947, 983, 1039, 1049, 1069, 1153, 1259, 1481, 1553, 1667, 1697}, {19, 43, 61, 389, 443, 467, 479, 503, 571, 593, 601, 643, 751, 1193, 1213, 1217, 1297, 1321, 1753, 1787, 1847, 1889, 1913, 2053, 2141}, {37, 43, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 1399, 1427, 1447, 1451, 1453, 1487, 1489, 1613, 1823, 1933, 1949, 1951, 2017}, {17, 23, 269, 271, 277, 281, 283, 293, 307, 311, 313, 1511, 1579, 1693, 1699, 1733, 1753, 1871, 1877, 1879, 1979, 1997, 2017, 2069, 2111}, {3, 47, 79, 83, 89, 97, 911, 919, 1013, 1151, 1171, 1319, 1327, 1459, 1543, 1613, 1783, 1787, 1861, 1879, 2003, 2099, 2113, 2131, 2153}, {2, 59, 67, 71, 73, 443, 719, 739, 769, 1109, 1123, 1129, 1423, 1489, 1567, 1627, 1747, 1877, 1907, 1931, 1987, 2081, 2087, 2099, 2137}, {71, 79, 317, 401, 409, 421, 457, 463, 491, 547, 599, 643, 677, 743, 839, 1019, 1117, 1237, 1307, 1409, 1439, 1483, 1531, 1619, 1693}, {101, 157, 211, 241, 277, 347, 479, 599, 631, 641, 797, 827, 919, 929, 977, 1021, 1031, 1033, 1097, 1129, 1153, 1223, 1249, 1303, 1723}, {3, 37, 41, 383, 409, 521, 607, 673, 691, 797, 811, 859, 877, 937, 1289, 1607, 1637, 1709, 1733, 1759, 1931, 1973, 1993, 1999, 2053}, {13, 41, 227, 229, 233, 239, 241, 251, 257, 263, 1283, 1367, 1373, 1549, 1571, 1619, 1697, 1847, 1867, 1951, 1987, 2029, 2111, 2113, 2143}, {7, 179, 181, 191, 193, 197, 199, 211, 223, 1193, 1229, 1237, 1259, 1277, 1279, 1433, 1601, 1637, 1663, 1933, 1997, 2029, 2083, 2087, 2153}, {5, 11, 97, 499, 521, 563, 587, 683, 743, 953, 967, 991, 1061, 1069, 1091, 1249, 1283, 1399, 1559, 1601, 1699, 1741, 1747, 1811, 1913}, {7, 67, 89, 389, 397, 421, 487, 563, 673, 701, 853, 881, 883, 1021, 1291, 1301, 1361, 1381, 1429, 1451, 1549, 1579, 1667, 2011, 2063}, {127, 149, 197, 263, 283, 379, 491, 541, 641, 647, 709, 719, 733, 823, 857, 907, 953, 971, 1087, 1187, 1291, 1321, 1459, 1709, 1873}, {31, 137, 139, 149, 151, 157, 163, 167, 173, 1213, 1229, 1301, 1439, 1481, 1523, 1559, 1571, 1607, 1669, 1789, 1949, 2027, 2069, 2081, 2131}, {11, 13, 17, 53, 617, 619, 727, 761, 821, 827, 853, 971, 1453, 1531, 1597, 1657, 1663, 1669, 1721, 1783, 1801, 1993, 2089, 2137, 2141}, {2, 5, 29, 61, 487, 757, 809, 983, 1051, 1163, 1223, 1471, 1483, 1487, 1499, 1777, 1831, 1861, 1867, 1871, 1873, 1999, 2027, 2083, 2089}, {131, 167, 223, 239, 271, 367, 439, 587, 593, 607, 653, 787, 829, 839, 863, 883, 887, 929, 1103, 1187, 1319, 1493, 1499, 1567, 1801}, {103, 151, 193, 229, 307, 353, 433, 571, 577, 701, 709, 811, 887, 941, 997, 1009, 1033, 1039, 1061, 1093, 1109, 1307, 1327, 1721, 1777} |
27 nodes | 2.92131655037204e44 | {127, 173, 199, 281, 317, 397, 457, 593, 631, 661, 677, 691, 761, 859, 911, 1031, 1039, 1063, 1193, 1231, 1277, 1439, 1709, 1753, 1889, 2239}, {137, 167, 233, 251, 349, 401, 433, 491, 607, 643, 683, 701, 739, 827, 911, 1097, 1123, 1129, 1213, 1307, 1451, 1493, 1579, 1699, 1867, 1913}, {149, 197, 229, 283, 337, 383, 439, 547, 607, 673, 677, 719, 769, 839, 857, 977, 983, 1069, 1201, 1229, 1289, 1483, 1523, 1531, 2011, 2153}, {7, 23, 59, 61, 641, 659, 709, 809, 887, 937, 971, 1033, 1117, 1163, 1231, 1289, 1543, 1721, 1823, 1867, 1873, 1879, 2089, 2269, 2273, 2293}, {3, 89, 251, 257, 263, 269, 271, 277, 281, 283, 1297, 1429, 1571, 1667, 1697, 1721, 1723, 1871, 1979, 2063, 2161, 2213, 2287, 2309, 2333, 2371}, {7, 41, 53, 83, 97, 101, 941, 967, 997, 1091, 1181, 1213, 1237, 1439, 1801, 1907, 1933, 2011, 2017, 2029, 2081, 2111, 2161, 2221, 2281, 2311}, {29, 73, 199, 211, 223, 227, 229, 233, 239, 241, 1303, 1321, 1367, 1471, 1613, 1669, 1783, 1949, 2003, 2063, 2089, 2129, 2137, 2141, 2221, 2267}, {2, 31, 103, 107, 109, 113, 991, 1013, 1019, 1063, 1069, 1307, 1361, 1627, 1741, 1879, 1993, 1999, 2027, 2039, 2053, 2111, 2267, 2287, 2347, 2357}, {19, 163, 167, 173, 179, 181, 191, 193, 197, 1249, 1327, 1367, 1373, 1381, 1429, 1459, 1481, 1583, 1597, 1951, 2143, 2251, 2269, 2281, 2339, 2357}, {11, 19, 31, 569, 599, 653, 659, 787, 797, 821, 839, 967, 1021, 1187, 1321, 1409, 1433, 1453, 1493, 1511, 1621, 1637, 1759, 1979, 2179, 2239}, {131, 193, 223, 277, 347, 389, 461, 541, 547, 563, 727, 761, 823, 827, 907, 971, 1009, 1109, 1259, 1283, 1291, 1499, 1511, 1627, 1973, 2081}, {47, 71, 127, 131, 137, 139, 149, 151, 157, 1301, 1409, 1427, 1471, 1657, 1747, 1951, 1997, 2069, 2083, 2099, 2113, 2131, 2293, 2309, 2311, 2347}, {53, 61, 79, 103, 487, 521, 523, 599, 601, 683, 811, 1039, 1087, 1153, 1291, 1297, 1301, 1303, 1327, 1399, 1487, 1567, 1601, 2153, 2203, 2243}, {2, 89, 353, 463, 503, 619, 653, 743, 769, 929, 953, 997, 1093, 1117, 1129, 1151, 1153, 1259, 1277, 1319, 1423, 1481, 1553, 1607, 1747, 1783}, {13, 23, 293, 307, 311, 313, 317, 331, 337, 347, 349, 1399, 1447, 1489, 1607, 1759, 1831, 1987, 2029, 2039, 2069, 2137, 2297, 2339, 2341, 2371}, {3, 113, 293, 359, 419, 601, 613, 757, 809, 883, 907, 947, 1049, 1061, 1091, 1123, 1193, 1201, 1223, 1279, 1549, 1553, 1583, 1637, 1949, 1997}, {5, 43, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 1601, 1621, 1811, 1823, 1877, 1931, 1933, 1999, 2113, 2129, 2143, 2213, 2297, 2351}, {11, 17, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 1567, 1609, 1777, 1787, 1873, 1907, 2053, 2131, 2141, 2251, 2333, 2341, 2351}, {29, 47, 59, 83, 487, 499, 557, 751, 757, 797, 919, 929, 977, 1051, 1283, 1373, 1571, 1609, 1619, 1663, 1709, 1733, 1913, 1931, 1987, 2027}, {71, 73, 101, 107, 509, 521, 557, 563, 577, 641, 643, 661, 773, 829, 953, 1279, 1459, 1531, 1697, 1787, 1831, 1847, 1861, 1877, 1901, 2179}, {5, 17, 41, 509, 523, 569, 647, 727, 743, 877, 887, 919, 1097, 1223, 1447, 1523, 1559, 1597, 1723, 1741, 1753, 1789, 2003, 2099, 2207, 2237}, {37, 67, 79, 97, 109, 499, 577, 587, 863, 947, 983, 1093, 1109, 1187, 1217, 1381, 1427, 1489, 1579, 1613, 1667, 1777, 1811, 1889, 2237, 2273}, {13, 37, 43, 467, 541, 571, 613, 617, 619, 631, 701, 881, 941, 1171, 1249, 1433, 1483, 1543, 1619, 1657, 1669, 1871, 1901, 1993, 2203, 2207}, {67, 191, 211, 271, 331, 409, 449, 479, 491, 503, 709, 719, 733, 751, 883, 1031, 1171, 1181, 1361, 1453, 1693, 1789, 1847, 1973, 2083, 2243}, {157, 163, 227, 263, 311, 379, 431, 479, 691, 821, 829, 853, 857, 863, 877, 881, 1019, 1033, 1061, 1087, 1151, 1499, 1663, 1699, 1801, 2087}, {151, 181, 241, 257, 307, 373, 421, 571, 673, 739, 773, 853, 859, 937, 991, 1009, 1021, 1051, 1103, 1217, 1237, 1423, 1487, 1549, 1559, 1693}, {139, 179, 239, 269, 313, 367, 443, 587, 593, 617, 647, 733, 787, 811, 823, 1013, 1049, 1103, 1163, 1229, 1319, 1451, 1733, 1861, 2017, 2087} |
28 nodes | 1.08560662620876e47 | {151, 199, 241, 293, 373, 397, 449, 563, 677, 727, 733, 809, 827, 919, 929, 1181, 1217, 1249, 1277, 1319, 1327, 1451, 1553, 1571, 1657, 1733, 2213}, {149, 223, 269, 277, 367, 431, 461, 523, 601, 613, 659, 733, 787, 829, 839, 1013, 1031, 1193, 1259, 1321, 1367, 1583, 1783, 1877, 1973, 2267, 2393}, {179, 193, 263, 307, 349, 383, 457, 569, 617, 661, 739, 769, 809, 1019, 1021, 1063, 1091, 1093, 1129, 1153, 1301, 1483, 1607, 1709, 1879, 1987, 2393}, {47, 71, 229, 233, 239, 241, 251, 257, 263, 269, 1361, 1381, 1399, 1429, 1481, 1499, 1559, 1741, 2011, 2099, 2179, 2239, 2269, 2287, 2311, 2371, 2381}, {31, 37, 43, 53, 617, 619, 863, 911, 919, 941, 991, 1069, 1151, 1163, 1193, 1453, 1559, 1579, 1621, 1723, 1759, 1789, 1861, 1901, 2083, 2203, 2521}, {2, 103, 317, 331, 337, 347, 349, 353, 359, 367, 373, 1459, 1487, 1511, 1637, 1721, 1901, 2053, 2141, 2281, 2347, 2381, 2441, 2447, 2459, 2579, 2591}, {17, 83, 97, 107, 127, 673, 853, 857, 887, 1009, 1019, 1061, 1237, 1249, 1289, 1381, 1439, 1487, 1579, 1597, 1613, 1669, 1777, 1973, 1993, 2423, 2467}, {37, 61, 97, 113, 131, 599, 641, 647, 743, 827, 977, 1129, 1373, 1399, 1409, 1511, 1531, 1609, 1627, 1667, 1811, 1847, 1871, 1877, 1913, 2089, 2111}, {59, 73, 101, 107, 109, 113, 593, 947, 953, 1223, 1229, 1277, 1307, 1361, 1423, 1433, 1459, 1471, 1523, 1567, 1583, 1663, 1709, 1951, 2411, 2521, 2531}, {83, 181, 229, 271, 331, 401, 443, 577, 647, 691, 823, 877, 937, 941, 947, 1031, 1049, 1213, 1283, 1301, 1303, 1493, 1657, 2069, 2081, 2243, 2543}, {11, 79, 109, 127, 131, 137, 139, 1049, 1063, 1097, 1109, 1171, 1187, 1217, 1321, 1933, 2129, 2137, 2161, 2203, 2273, 2281, 2297, 2311, 2357, 2389, 2503}, {11, 23, 59, 499, 509, 613, 619, 631, 677, 683, 769, 997, 1051, 1297, 1303, 1637, 1699, 1741, 1753, 1873, 1913, 1931, 1949, 1993, 2039, 2143, 2593}, {3, 41, 67, 89, 701, 719, 739, 787, 877, 881, 1039, 1087, 1291, 1319, 1429, 1447, 1453, 1619, 1699, 1951, 2053, 2089, 2131, 2297, 2333, 2417, 2423}, {13, 23, 271, 277, 281, 283, 293, 307, 311, 313, 1433, 1439, 1531, 1549, 1601, 1697, 1789, 1823, 2099, 2131, 2309, 2341, 2357, 2399, 2437, 2539, 2579}, {61, 71, 79, 101, 103, 653, 673, 683, 691, 757, 967, 1021, 1123, 1279, 1367, 1427, 1489, 1549, 1571, 1621, 1693, 1867, 1907, 2003, 2251, 2417, 2477}, {3, 53, 379, 383, 389, 397, 401, 409, 419, 421, 431, 433, 1567, 1613, 1627, 2003, 2027, 2039, 2113, 2129, 2221, 2239, 2351, 2539, 2549, 2557, 2591}, {43, 89, 149, 151, 157, 163, 167, 173, 179, 1223, 1237, 1373, 1489, 1787, 1801, 1931, 1999, 2029, 2069, 2153, 2221, 2287, 2293, 2347, 2383, 2389, 2399}, {2, 19, 137, 433, 491, 587, 593, 607, 757, 839, 971, 991, 1061, 1153, 1181, 1543, 1601, 1847, 1873, 2017, 2237, 2269, 2333, 2339, 2383, 2473, 2543}, {7, 181, 191, 193, 197, 199, 211, 223, 227, 1427, 1499, 1523, 1597, 1609, 1619, 1723, 1747, 1753, 1823, 1889, 1999, 2207, 2237, 2273, 2351, 2377, 2447}, {31, 67, 73, 503, 509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 1777, 1871, 1907, 1997, 2161, 2293, 2371, 2377, 2437, 2441, 2549, 2551}, {5, 41, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 1663, 1669, 1811, 1867, 1979, 2083, 2137, 2153, 2179, 2207, 2309, 2459, 2551, 2557}, {5, 7, 29, 47, 773, 811, 829, 907, 911, 929, 1033, 1039, 1283, 1787, 1831, 1987, 1997, 2017, 2027, 2111, 2141, 2341, 2467, 2477, 2503, 2531, 2593}, {17, 139, 317, 379, 439, 521, 641, 653, 659, 727, 823, 859, 907, 983, 1069, 1087, 1093, 1103, 1201, 1297, 1307, 1697, 1889, 2011, 2029, 2063, 2339}, {13, 19, 29, 503, 599, 701, 709, 821, 937, 953, 967, 983, 1009, 1109, 1231, 1327, 1481, 1721, 1747, 1801, 1861, 1879, 1949, 1979, 2087, 2113, 2267}, {167, 191, 233, 281, 337, 409, 463, 547, 601, 607, 643, 743, 751, 761, 811, 887, 1151, 1201, 1291, 1471, 1483, 1693, 1933, 2087, 2143, 2213, 2243}, {173, 211, 239, 313, 353, 419, 487, 541, 661, 751, 773, 821, 859, 863, 881, 883, 997, 1117, 1187, 1213, 1259, 1289, 1409, 1553, 2251, 2411, 2473}, {163, 197, 251, 283, 347, 389, 467, 557, 643, 719, 797, 853, 971, 977, 1033, 1051, 1097, 1117, 1163, 1231, 1279, 1423, 1451, 1607, 1783, 2063, 2081}, {157, 227, 257, 311, 359, 421, 479, 571, 631, 709, 761, 797, 857, 883, 1013, 1091, 1103, 1123, 1171, 1229, 1447, 1493, 1543, 1667, 1733, 1759, 1831} |
The following noteworthy solutions were received
after the contest ended.
Problem | Solver / Score / Date (Solution) |
||
---|---|---|---|
13 nodes | Lucien Pech | 1045931405 | 9 Jan 2018 17:15 |
{11, 67, 83, 89, 97, 109, 127, 191, 193, 223, 281, 349}, {2, 37, 41, 61, 163, 223, 251, 283, 307, 317, 353, 359}, {7, 31, 41, 73, 103, 149, 257, 263, 271, 281, 313, 367}, {19, 31, 37, 107, 113, 137, 173, 193, 199, 241, 269, 379}, {19, 53, 59, 67, 79, 131, 151, 163, 179, 263, 331, 373}, {5, 47, 53, 101, 109, 137, 139, 229, 257, 311, 317, 389}, {5, 29, 79, 89, 103, 157, 173, 227, 239, 277, 359, 383}, {23, 43, 47, 71, 73, 83, 157, 179, 269, 283, 347, 397}, {13, 43, 59, 101, 107, 149, 191, 197, 211, 233, 239, 251}, {3, 7, 97, 151, 181, 199, 211, 227, 293, 307, 311, 397}, {2, 13, 71, 127, 167, 181, 229, 241, 313, 337, 373, 383}, {11, 17, 61, 113, 131, 139, 167, 197, 271, 277, 293, 347}, {3, 17, 23, 29, 233, 331, 337, 349, 353, 367, 379, 389} | |||
27 nodes | Jarek Wroblewski | 2.70828882918456e44 | 24 Dec 2017 18:40 |
Jarek Wroblewski | 1.85819560501653e44 | 25 Dec 2017 08:14 | |
{131, 193, 211, 281, 311, 383, 443, 479, 613, 683, 773, 823, 827, 853, 883, 911, 1031, 1033, 1063, 1193, 1259, 1493, 1789, 1889, 1913, 2017}, {127, 167, 241, 283, 347, 379, 457, 643, 653, 673, 701, 751, 809, 853, 1009, 1019, 1103, 1153, 1213, 1217, 1223, 1229, 1423, 1451, 1699, 2087}, {67, 163, 199, 251, 337, 401, 433, 503, 619, 719, 761, 839, 877, 929, 1009, 1031, 1123, 1201, 1231, 1307, 1319, 1487, 1553, 1847, 1997, 2011}, {149, 173, 227, 269, 331, 397, 461, 479, 631, 661, 739, 811, 857, 971, 977, 1049, 1061, 1093, 1151, 1201, 1229, 1439, 1523, 1627, 1637, 1693}, {157, 181, 223, 271, 317, 367, 421, 491, 563, 677, 733, 739, 827, 863, 1021, 1069, 1097, 1171, 1237, 1283, 1289, 1291, 1319, 1549, 1973, 2087}, {139, 191, 229, 277, 307, 409, 431, 503, 541, 677, 757, 769, 787, 857, 859, 883, 1013, 1129, 1181, 1277, 1451, 1531, 1559, 1579, 1867, 2153}, {7, 23, 59, 61, 641, 659, 709, 809, 887, 937, 971, 1033, 1117, 1163, 1231, 1289, 1543, 1721, 1823, 1867, 1873, 1879, 2089, 2269, 2273, 2293}, {3, 89, 251, 257, 263, 269, 271, 277, 281, 283, 1297, 1429, 1571, 1667, 1697, 1721, 1723, 1871, 1979, 2063, 2161, 2213, 2287, 2309, 2333, 2371}, {7, 41, 53, 83, 97, 101, 941, 967, 997, 1091, 1181, 1213, 1237, 1439, 1801, 1907, 1933, 2011, 2017, 2029, 2081, 2111, 2161, 2221, 2281, 2311}, {29, 73, 199, 211, 223, 227, 229, 233, 239, 241, 1303, 1321, 1367, 1471, 1613, 1669, 1783, 1949, 2003, 2063, 2089, 2129, 2137, 2141, 2221, 2267}, {2, 31, 103, 107, 109, 113, 991, 1013, 1019, 1063, 1069, 1307, 1361, 1627, 1741, 1879, 1993, 1999, 2027, 2039, 2053, 2111, 2267, 2287, 2347, 2357}, {19, 163, 167, 173, 179, 181, 191, 193, 197, 1249, 1327, 1367, 1373, 1381, 1429, 1459, 1481, 1583, 1597, 1951, 2143, 2251, 2269, 2281, 2339, 2357}, {2, 89, 353, 463, 547, 587, 593, 607, 673, 719, 859, 997, 1051, 1087, 1151, 1163, 1259, 1279, 1453, 1481, 1483, 1607, 1747, 1753, 1783, 1973}, {11, 19, 31, 569, 599, 653, 659, 787, 797, 821, 839, 967, 1021, 1187, 1321, 1409, 1433, 1453, 1493, 1511, 1621, 1637, 1759, 1979, 2179, 2239}, {47, 71, 127, 131, 137, 139, 149, 151, 157, 1301, 1409, 1427, 1471, 1657, 1747, 1951, 1997, 2069, 2083, 2099, 2113, 2131, 2293, 2309, 2311, 2347}, {53, 61, 79, 103, 487, 521, 523, 599, 601, 683, 811, 1039, 1087, 1153, 1291, 1297, 1301, 1303, 1327, 1399, 1487, 1567, 1601, 2153, 2203, 2243}, {13, 23, 293, 307, 311, 313, 317, 331, 337, 347, 349, 1399, 1447, 1489, 1607, 1759, 1831, 1987, 2029, 2039, 2069, 2137, 2297, 2339, 2341, 2371}, {5, 43, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 1601, 1621, 1811, 1823, 1877, 1931, 1933, 1999, 2113, 2129, 2143, 2213, 2297, 2351}, {11, 17, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 1567, 1609, 1777, 1787, 1873, 1907, 2053, 2131, 2141, 2251, 2333, 2341, 2351}, {29, 47, 59, 83, 487, 499, 557, 751, 757, 797, 919, 929, 977, 1051, 1283, 1373, 1571, 1609, 1619, 1663, 1709, 1733, 1913, 1931, 1987, 2027}, {3, 113, 293, 359, 419, 491, 593, 601, 647, 769, 881, 907, 911, 937, 947, 1091, 1499, 1511, 1553, 1583, 1693, 1699, 1709, 1861, 1949, 2083}, {71, 73, 101, 107, 509, 521, 557, 563, 577, 641, 643, 661, 773, 829, 953, 1279, 1459, 1531, 1697, 1787, 1831, 1847, 1861, 1877, 1901, 2179}, {5, 17, 41, 509, 523, 569, 647, 727, 743, 877, 887, 919, 1097, 1223, 1447, 1523, 1559, 1597, 1723, 1741, 1753, 1789, 2003, 2099, 2207, 2237}, {37, 67, 79, 97, 109, 499, 577, 587, 863, 947, 983, 1093, 1109, 1187, 1217, 1381, 1427, 1489, 1579, 1613, 1667, 1777, 1811, 1889, 2237, 2273}, {13, 37, 43, 467, 541, 571, 613, 617, 619, 631, 701, 881, 941, 1171, 1249, 1433, 1483, 1543, 1619, 1657, 1669, 1871, 1901, 1993, 2203, 2207}, {151, 179, 233, 263, 313, 373, 439, 571, 607, 691, 733, 743, 821, 953, 991, 1061, 1103, 1109, 1117, 1123, 1129, 1193, 1499, 1663, 1801, 2243}, {137, 197, 239, 257, 349, 389, 449, 547, 617, 691, 709, 727, 761, 823, 829, 907, 983, 1039, 1049, 1277, 1361, 1423, 1549, 1733, 2081, 2239} |