Home > Primorial Soup > Final Report

Primorial Soup


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}