Для участников форума MHP

Message boards : Cafe : Для участников форума MHP
Message board moderation

To post messages, you must log in.

Previous · 1 . . . 36 · 37 · 38 · 39 · 40 · 41 · 42 . . . 124 · Next

AuthorMessage
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9039 - Posted: 29 Jun 2022, 3:40:56 UTC
Last modified: 29 Jun 2022, 12:24:02 UTC

К штурму 19-ки

Вчерашние результаты от алгоритма №3 проанализировала, подробнее напишу в теме "Нерешённая проблема теории чисел", в здесь покажу две последовательности простых чисел - самые длинные, по 19 чисел.
Вписались, но, увы, все в паттерн не легли.

Паттерн с диаметром 324

3561644285769883447, 
3561644285769883459, 
3561644285769883483, 
3561644285769883487, 
3561644285769883499, 
3561644285769883517, 
3561644285769883549, 
3561644285769883561, 
3561644285769883591, 
3561644285769883609, 
3561644285769883627, 
3561644285769883657, 
3561644285769883661, 
3561644285769883673, 
3561644285769883721, 
3561644285769883723, 
3561644285769883751, 
3561644285769883757, 
3561644285769883771, 

Здесь паттерну соответствуют 9 чисел, то есть имеем 19-ку с 10 "дырками".

Паттерн с диаметром 432

3561644593857279221, 
3561644593857279233, 
3561644593857279257, 
3561644593857279313, 
3561644593857279337, 
3561644593857279341, 
3561644593857279383, 
3561644593857279401, 
3561644593857279431, 
3561644593857279437, 
3561644593857279443, 
3561644593857279473, 
3561644593857279481, 
3561644593857279509, 
3561644593857279617, 
3561644593857279619, 
3561644593857279637, 
3561644593857279647, 
3561644593857279653,

Здесь паттерну соответствуют 10 чисел, то есть имеем 19-ку с 9 "дырками".
Это не лучшие 19-ки, уже были найдены алгоритмом №3 19-ки с 8 "дырками" (а другим алгоритмом и с 7 "дырками").

Итак, 12 паттернов дают довольно много дырявых решений.
Понятно, что для штурма количество паттернов надо максимально увеличить.
Даже все имеющиеся у меня 63 паттерна пока не задействованы.
А их будет гораздо больше.

PS. Об интересных решениях, найденных вчера, рассказано здесь
https://boinc.progger.info/odlk/forum_thread.php?id=224&postid=9043
ID: 9039 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9040 - Posted: 29 Jun 2022, 3:54:34 UTC
Last modified: 29 Jun 2022, 4:00:06 UTC

Новости "Пентадекатлона мечты"

Господин Петухов родил ещё одну семёрку
https://dxdy.ru/post1558748.html#p1558748

Господин Лецко начал искать цепочки подлиннее, сейчас ищет для 168 делителей, нашёл 10-ку.
https://dxdy.ru/post1558768.html#p1558768

Оценка для 168 делителей в таблице M(168)<=31.
Ну, тут огромное поле деятельности господину Лецко :)
ID: 9040 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9041 - Posted: 29 Jun 2022, 4:10:26 UTC
Last modified: 29 Jun 2022, 12:25:11 UTC

Возвращаюсь к тессеракту.

Вчера выложила две станицы темы "Четырёхмерный магический куб" с форума ПЕН.
Обе страницы скачали один раз.
Предположу, что это сделал Антон.
Ему если не всё, то почти всё интересно!
Именно так получается огромная эрудиция, которой обладает Антон.
Конечно, можно не вникать во все детали темы, но иметь общее представление никогда не лишнее, тем более что всё в нашем мире очень связано (в том числе, и в математике).
Для меня, разумеется, эти уже исторические записки на форуме очень интересны. Так я начинала исследовать тессеракт.
Вчера внимательно прочитала все три страницы, а также прочитала весь свой рабочий файл "Четырёхмерный магический куб третьего порядка".

Ну что же, несмотря на почти полное отсутствие интереса к теме выкладываю и третью страницу с форума ПЕН
https://disk.yandex.ru/d/IM6N6d6r3AjoXQ
Яндекс.Диск, 119 КБ.

И ещё выкладываю свой рабочий файл "Четырёхмерный магический куб третьего порядка" (в Ворде, 38 страниц)
https://disk.yandex.ru/i/aB3gEdXq_785OQ
Яндекс.Диск, 1,8 МБ.

Может быть, когда-нибудь заброшу кортежи и ОДЛК и вернусь к тессеракту :)
Тогда мне очень пригодятся эти файлы.

Буду очень рада, если кто-то заинтересуется магическими тессерактами и начнёт с ними работать.
Тема очень интересная и сложная.
Вот так просто магический тессеракт третьего порядка из простых чисел построить не получается.
По крайней мере, у меня.
Может, кто-то и построит сразу :)
Интересно, что там японцы в этом вопросе сделали.
Магические кубы третьего порядка из простых чисел они первые построили (забыла фамилию автора).

К Антону большая просьба: проштудировать поиск.
Искать: магический тессеракт третьего порядка из простых чисел.

Ну, все также могут поискать, если вдруг захотят :)
О результатах поиска сообщите мне, пожалуйста.
ID: 9041 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9042 - Posted: 29 Jun 2022, 4:44:20 UTC
Last modified: 29 Jun 2022, 5:28:03 UTC

Яндекс при поиске по запросу "магический тессеракт третьего порядка из простых чисел" сразу выдаёт это
https://pandia.ru/text/79/492/18444-12.php
Матеріали Шістнадцятого Міжнародного науково-практичного семінару “Комбінаторні конфігурації та їх застосування” (стр. 12 )

Это тот самый семинар, проходивший в Украине, в сборнике которого опубликована моя статья "Магический тессеракт третьего порядка".

Вы можете прочитать эту статью на моём сайте
http://www.natalimak1.narod.ru/tesseract3.pdf

А ещё Яндекс привёл сюда :)
https://dxdy.ru/post840624.html#p840624
Это тема "Магические кубы" на форуме dxdy.ru
Да, была такая тема. И о тессеракте хотела тему открыть.
Но... Уже началась кампания против моих тем-блогов...
Не нужны на форуме блоги.
Но я и не собиралась писать блоги!
К сожалению, форумчанам все эти магические квадраты, антимагические квадраты, магические кубы и т. д. были совсем не интересны, и по этой причине они ничего не писали в моих темах.
Моей вины тут нет.

К огромному счастью, теперь я пишу блог и никто меня за это не преследует.
Кому интересно, пожалуйста, читайте, кому не интересно - не читайте.
Связаться со мной по любому вопросу, освещаемому в блоге, всегда можно.
ID: 9042 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9044 - Posted: 30 Jun 2022, 3:22:32 UTC

Игра "Угадай слово" за 29 июня

ОСИНА
ОБГОН
ОРДЕН

А сегодня опять "кол" :(
Ну, первое проверочное слово - мимо.
Вторая попытка - так-сяк.
А с третьей попытки началась многовариантность.
Слово аж с двумя редкими буквами, да с такой многовариантностью!
Полчаса думала, что же это за слово. Только шестая попытка принесла успех.
Думала, что вообще проскочу мимо - за шесть попыток не отгадаю.
ID: 9044 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9046 - Posted: 30 Jun 2022, 5:34:19 UTC
Last modified: 1 Jul 2022, 0:41:42 UTC

К штурму 19-ки

Последний отчёт о решениях смотрите в сообщении
https://boinc.progger.info/odlk/forum_thread.php?id=224&postid=9045

Готовлю новую программу с 4 паттернами, перед паттерном указано количество формул

1536: 0 12 30 42 54 60 84 114 120 162 204 210 240 264 270 282 294 312 324
1536: 0 30 48 78 90 132 162 168 180 210 240 252 258 288 330 342 372 390 420
2048: 0 6 24 66 84 90 120 144 186 210 234 276 300 330 336 354 396 414 420
2560: 0 30 138 204 258 294 324 348 414 504 594 660 684 714 750 804 870 978 1008

Сейчас программа работает с тремя паттернами, осталось добавить ещё один.

Посмотрите, какая симпатичная 11-ка с двумя "дырками" выдалась этой программой сразу после запуска

{3561658641702955627, 3561658641702955639, 3561658641702955711, 3561658641702955741, 3561658641702955747,
3561658641702955789, 3561658641702955831, 3561658641702955837, 3561658641702955841, 3561658641702955943,
3561658641702955951}
"Дырки" выделены красным цветом.
Паттерн с диаметром 324 (для правильного кортежа без "дырок")
0 12 84 114 120 162 204 210 240 312 324

Всего два последовательных простых числа закапризничали и не легли в паттерн.

Замечу, что в программе тотальной проверки Алексея Белышева, которая работала и работает во всех проектах по кортежам, 11-ки не ищутся, поиск начинается с кортежей длины 12.
ID: 9046 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9049 - Posted: 1 Jul 2022, 1:52:00 UTC
Last modified: 1 Jul 2022, 1:54:42 UTC

Игра "Угадай слово" за 30 июня

РЕДИС
ПОЛКА
ОХОТА
ЯГОДА
ЗЛОБА
ЮНОША

Сегодня слово не отгадала.
Безобразнее игры у меня ещё не было.
Загадано примитивное слово, в котором две пары одинаковых букв.
При этом жуткая многовариантность.
Ужасное разочарование в игре!
Наверное, пора бросать эту игру, в которой не могут сделать нормальные правила.
Ведь совершенно очевидно, что проверочными словами игроки стараются проверить как можно больше разных букв.
Зачем же совать в загаданное слово аж две пары одинаковых букв?!
ID: 9049 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9050 - Posted: 1 Jul 2022, 3:15:11 UTC
Last modified: 1 Jul 2022, 4:32:18 UTC

К штурму 19-ки

Штурм у меня пока очень слабенький: 16 паттернов задействованы из 63 имеющихся.
Это две программы.
Собираюсь написать третью программу со следующими 12 паттернами с 768 формулами

768: 0 6 12 30 72 90 96 102 132 156 180 210 216 222 240 282 300 306 312
768: 0 6 12 42 72 90 96 102 132 156 180 210 216 222 240 270 300 306 312
768: 0 6 24 30 66 84 90 114 144 150 156 186 210 216 234 270 276 294 300
768: 0 6 30 36 90 102 120 156 162 186 210 216 252 270 282 336 342 366 372
768: 0 12 30 42 54 60 84 120 144 162 180 204 240 264 270 282 294 312 324
768: 0 12 30 54 60 84 114 120 144 162 180 204 210 240 264 270 294 312 324
768: 0 12 30 54 60 102 114 120 144 162 180 204 210 222 264 270 294 312 324
768: 0 12 42 54 60 72 84 114 120 162 204 210 240 252 264 270 282 312 324
768: 0 12 42 54 72 84 114 120 144 162 180 204 210 240 252 270 282 312 324
768: 0 18 30 42 48 72 102 108 132 150 168 192 198 228 252 258 270 282 300
768: 0 18 30 42 72 90 102 108 132 150 168 192 198 210 228 258 270 282 300
768: 0 30 42 54 60 84 114 120 144 162 180 204 210 240 264 270 282 294 324

В этой программе будет 768*12=9216 формул.

Напоминаю всем: мне очень нужна помощь вычислительными ресурсами!
Пожалуйста, присоединяйтесь к этому эксперименту.
Возьмите хотя бы одну программу в один поток.
Это не займёт у вас много ресурсов процессора.
Программная оболочка PARI/GP не требует много ресурсов и оперативной памяти.
Работает стабильно. Результаты программа записывает в выходной файл.
Никаких хлопот - запустил и забыл! :)
По окончании заданного диапазона проверки программа остановится.

PARI/GP скачайте по ссылке (официальная страница)
http://pari.math.u-bordeaux.fr/download.html
А это тема "Интерактивный курс: введение в программирование на PARI/GP" на форме dxdy.ru
https://dxdy.ru/post120724.html#p120724
По этой теме я осваивала PARI/GP. Спасибо автору Максу Алексееву!

Жду ваши предложения по адресу
natalimak1@yandex.ru
Те, кто зарегистрирован на сайте, могут писать ЛС.
ID: 9050 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9052 - Posted: 1 Jul 2022, 3:42:52 UTC
Last modified: 1 Jul 2022, 3:45:16 UTC

Тэк-с, вы уже скачали PARI/GP :)

Вот вам программа на 4 паттерна

\l res.txt
{a=[73,7213,9853,10139,13163,19169,22459,23173,25813,32183,32953,34163,41269,44173,50123,52489,53203,57263,59539,62213,72629,75589,83849,85313,99613,106663,106949,109589,117883,129049,130973,140269,140983,143623,149299,149993,151939,156713,158309,159023,159079,167933,168319,170243,170299,175039,180023,181409,183389,186259,187393,192343,192629,193399,195983,199349,211439,215443,216653,217423,222659,226663,233383,239719,239753,245473,256693,267109,269749,269783,276119,276833,292079,292849,294059,299219,304069,310153,310439,317159,319469,322109,323243,326113,328093,329249,333253,334463,339203,341569,344473,345209,350423,351193,352789,356143,357563,360203,362513,363283,365879,369233,375889,378529,379243,380453,387593,399913,402839,403553,405919,409889,425653,436873,439919,443923,452239,457013,459379,468233,470599,473953,475339,477319,480323,483689,486559,487043,493699,496283,496339,498263,499649,505369,509429,510583,511739,516589,517723,520649,521363,522959,529679,533683,542693,543463,545773,548699,554683,563713,567773,570049,570083,572723,582733,586099,593149,594359,595823,604369,607043,617173,617459,620099,622409,623179,628393,629549,645509,647489,651493,654133,656443,659809,660503,669533,678829,680753,680809,681523,687893,690533,691919,696769,703139,703853,703909,706493,708859,713633,721949,724853,725953,731959,733169,737173,740219,755983,756269,767203,774253,777619,780293,787343,790303,796639,798563,803359,805669,809729,814579,816889,820663,820949,824303,826669,829979,832619,836623,839759,842629,843763,848999,850979,854983,855719,861703,863299,864013,866653,866939,868073,873023,873793,874079,885013,886399,889753,890963,896123,898103,900973,907343,914063,916429,920399,923479,926153,947789,950429,954433,969889,973529,978743,981109,981823,984463,984749,985849,990833,997069,997553,1004209,1006793,1006849,1007563,1008773,1009159,1013933,1015879,1018783,1022249,1027099,1031873,1033469,1034239,1036823,1040189,1050199,1056283,1056569,1059209,1065193,1067503,1074223,1080593,1090603,1093243,1103659,1106333,1114879,1117553,1124603,1126969,1127969,1132919,1133689,1140059,1142929,1144909,1151279,1154633,1156019,1157999,1162003,1166953,1167239,1168009,1174093,1177019,1185313,1186049,1189339,1190053,1191263,1192033,1197269,1198403,1201043,1201273,1211053,1214363,1214419,1216729,1217003,1219369,1220083,1224143,1226453,1235363,1242469,1243679,1244393,1250729,1253689,1266779,1273829,1277713,1284763,1285049,1297853,1300813,1303859,1307149,1307863,1309073,1316179,1327399,1331459,1332173,1334539,1334813,1337123,1337179,1340489,1350269,1350499,1353139,1359509,1360279,1361489,1362203,1365493,1366229,1371499,1374523,1377449,1384303,1384589,1389539,1393543,1395523,1400263,1406633,1411483,1417853,1418623,1423573,1426939,1433989,1436663,1445209,1447883,1458299,1470949,1470983,1477319,1484039,1486349,1492333,1494973,1495259,1501343,1507349,1511353,1514719,1517303,1518073,1519669,1520383,1523309,1524443,1529293,1535663,1537609,1542383,1542769,1543979,1544693,1544749,1547333,1553989,1554473,1560709,1565693,1566793,1567079,1569719,1570433,1572799,1578013,1581653,1597109,1601113,1603753,1625389,1631143,1635113,1637479,1644199,1650569,1653439,1655419,1660579,1661789,1662503,1665143,1666529,1677749,1678519,1683469,1684603,1684889,1687529,1688243,1689839,1695823,1696559,1700563,1707779,1708913,1711783,1714919,1718923,1721563,1723873,1724873,1727239,1730593,1730879,1736963,1741813,1745873,1748183,1748953,1752979,1754903,1761239,1764199,1764913,1771249,1773923,1784339,1795273,1795559,1801279,1811323,1814369,1818373,1825589,1829593,1837909,1842683,1845049,1847633,1847689,1848403,1854773,1859623,1861009,1863649,1865993,1870019,1870733,1870789,1872713,1873099,1881953,1882009,1891039,1891733,1895099,1897409,1900049,1900763,1904053,1923149,1928363,1929133,1931443,1934083,1934369,1944499,1947173,1955719,1957183,1958393,1965443,1968403,1978819,1981459,1981493,1983769,1987829,1988543,1996859,2002843,2005769,2008079,2008849,2015219,2017859,2021863,2030893,2031179,2033819,2034953,2039803,2040959,2042113,2046173,2051893,2053279,2055203,2064499,2064983,2067853,2074223,2074993,2076203,2077589,2080943,2083309,2092163,2094529,2099303,2104253,2107619,2111623,2114669,2117629,2125889,2141653,2147989,2148703,2151629,2159923,2163949,2171089,2173013,2175653,2182309,2185663,2189029,2191339,2192033,2193979,2195399,2198753,2200349,2201119,2206333,2209973,2212339,2217079,2218289,2222293,2223449,2225429,2228299,2229433,2234383,2234669,2241103,2241389,2247473,2252323,2253479,2257483,2258693,2259463,2275423,2281759,2281793,2284433,2306069,2309149,2311789,2311823,2318159,2324879,2328883,2334119,2334889,2336099,2340103,2341259,2352193,2355559,2358143,2358913,2359199,2364149,2365283,2368153,2370133,2371519,2376503,2381243,2383223,2383609,2392463,2392519,2393233,2394829,2398183,2399603,2401549,2402243,2407919,2411273,2420569,2422493,2433659,2441953,2444593,2444879,2451929,2467693,2475953,2478913,2485963,2489329,2492003,2494279,2499053,2501419,2507369,2510273,2512639,2517379,2518589,2519359,2525729,2528369,2528599,2529083,2532373,2538379,2540303,2541403,2541689,2544329,2547409,2551469,2552623,2559763,2562403,2562689,2571719,2575009,2575723,2578363,2584733,2585503,2586713,2593819,2596723,2602673,2605039,2605753,2609813,2612089,2612123,2614763,2625179,2628139,2635189,2636399,2637863,2659213,2659499,2662139,2664449,2670433,2681599,2683523,2689529,2692819,2693533,2696173,2701849,2702543,2709263,2710859,2711573,2711629,2720483,2720869,2722793,2722849,2727589,2732573,2733959,2735939,2738809,2744893,2745179,2745949,2748533,2750899,2751899,2763989,2767993,2769973,2775209,2779213,2785933,2792303,2798023,2809243,2819659,2822299,2822333,2828669,2829383,2838679,2844629,2845399,2851769,2856619,2862703,2862989,2866343,2869709,2872019,2874659,2878663,2880643,2881799,2885803,2887013,2893019,2894119,2897023,2897759,2902973,2903743,2905339,2906053,2908693,2908979,2910113,2912753,2915063,2915833,2921783,2928439,2931079,2931793,2933003,2938163,2940143,2952463,2955389,2956103,2958469,2962439,2989423,2992469,2996473,3004789,3009563,3011929,3015569,3020783,3023149,3026503,3027889,3029869,3032873,3036239,3039109,3039593,3046249,3048833,3048889,3050813,3052199,3057919,3061979,3064289,3069139,3070273,3073199,3073913,3075509,3082229,3086233,3096013,3098323,3101249,3107233,3109543,3116263,3122599,3122633,3125273,3135283,3138649,3145699,3146909,3148373,3156919,3159593,3170009,3174959,3175729,3180943,3182099,3186949,3198059,3200039,3204043,3206683,3208993,3213053,3216133,3219059,3222083,3231379,3232093,3233303,3233359,3234073,3240443,3243083,3249319,3255689,3256403,3256459,3258769,3259043,3261409,3266183,3274499,3277403,3278503,3284509,3285719,3286433,3289723,3292769,3308533,3308819,3319753,3326803,3330169,3332843,3339893,3342853,3349189,3351113,3355909,3358219,3362279,3367129,3369439,3373499,3374213,3376853,3379219,3382529,3385169,3392309,3395179,3396313,3401549,3403529,3407533,3408269,3416563,3419203,3419489,3420623,3425573,3426343,3426629,3435583,3437563,3438949,3442303,3448673,3450653,3453523,3459893,3460663,3466613,3468979,3472949,3476029,3478703,3489923,3500339,3502979,3506983,3512989,3526079,3533659,3534373,3537013,3537299,3543383,3549619,3556759,3559343,3559399,3560113,3561323,3561709,3566483,3568429,3571333,3574799,3577703,3579649,3584423,3584809,3586019,3586789,3589373,3596513,3602749,3608833,3609119,3611759,3612473,3620053,3626773,3633143,3639149,3643153,3645793,3656209,3658883,3667429,3670103,3677153,3679519,3685469,3686239,3692609,3695479,3697459,3703829,3707183,3708569,3710549,3714553,3719503,3719789,3720559,3726643,3726929,3729569,3737863,3738599,3742603,3743813,3744583,3749819,3750953,3753823,3763603,3766913,3769279,3771919,3772633,3776693,3779003,3783853,3787913,3795019,3796943,3803279,3806239,3815963,3819329,3826379,3830263,3837313,3837599,3850403,3853363,3856409,3859699,3860413,3861623,3868729,3871633,3879949,3884723,3887089,3887363,3889673,3889729,3890443,3893039,3903049,3905689,3912059,3912829,3914039,3914753,3918043,3924049,3927073,3929999,3933079,3936853,3937139,3942089,3946093,3948073,3952813,3959183,3964033,3965189,3970403,3971173,3976123,3979489,3986539,3989213,3997759,4000433,4007483,4010849,4020859,4023499,4023533,4029869,4036589,4038899,4044883,4047809,4050119,4053893,4059899,4063903,4067269,4069853,4070623,4072219,4072933,4075859,4076993,4081843,4088213,4093933,4094933,4095319,4096529,4097243,4097299,4099883,4106539,4107023,4109893,4113259,4118243,4119629,4122983,4125349,4130563,4134203,4136569,4149659,4153663,4156303,4156709,4183693,4187663,4190029,4203119,4205989,4207969,4213129,4214339,4215053,4217693,4219079,4224349,4230299,4231069,4236019,4237153,4237439,4240079,4240793,4242389,4243159,4248373,4249109,4252013,4253113,4259119,4260329,4264333,4267469,4271473,4274113,4276423,4279789,4283143,4283429,4289513,4294363,4298423,4300733,4301503,4305529,4307453,4316749,4317463,4323799,4323833,4326473,4336889,4347823,4348109,4353829,4360199,4366919,4370923,4376159,4378139,4382143,4390459,4395233,4397599,4400183,4400953,4401239,4407323,4412173,4413559,4418543,4422569,4423283,4423339,4425263,4425649,4434503,4434559,4443589,4444283,4447649,4449959,4452599,4453313,4456603,4462609,4475699,4481683,4483993,4486633,4486919,4497049,4508269,4509733,4510943,4517993,4520953,4531369,4534009,4534043,4536319,4540379,4541093,4549409,4560629,4561399,4567769,4570409,4574413,4583443,4583729,4586369,4592353,4593509,4594663,4598723,4601803,4604443,4604729,4605829,4607753,4617049,4617533,4617763,4620403,4626773,4627543,4628753,4633493,4635859,4644713,4647079,4651853,4654129,4656803,4660169,4664173,4667219,4670179,4678439,4694203,4700539,4701253,4704179,4712473,4716499,4723639,4725563,4728203,4734859,4738213,4741579,4743889,4744583,4746529,4747949,4751303,4752899,4753613,4753669,4762523,4764889,4769629,4770839,4775999,4777979,4780849,4781983,4786933,4787219,4793939,4800023,4804873,4806029,4810033,4811243,4812013,4821253,4827973,4834309,4834343,4836983,4840063,4858619,4861699,4864339,4864373,4870709,4877429,4886669,4887439,4888649,4892653,4893809,4898659,4904743,4911463,4911749,4916699,4917833,4920703,4922683,4927843,4929053,4933793,4936159,4945013,4945069,4945783,4947379,4950733,4952153,4954099,4954793,4957103,4960469,4963823,4970479,4973119,4975043,4982183,4986209,4994503,4997429,4998143,5004479,5020243,5028503,5031463,5034509,5038513,5041879,5044553,5046829,5051603,5053969,5062823,5065189,5069929,5071139,5071909,5078279,5080919,5081149,5081633,5090929,5092853,5093953,5094239,5096879,5099959,5104019,5105173,5106329,5112313,5114953,5115239,5124269,5128273,5130913,5137283,5138053,5149273,5157589,5158303,5162363,5164639,5164673,5167313,5177729,5180689,5187739,5188949,5190413,5201633,5211763,5212049,5214689,5216999,5222983,5236073,5242079,5245369,5246083,5248723,5251033,5254399,5255093,5264123,5264179,5273033,5273419,5275343,5275399,5276113,5280139,5285123,5286509,5291359,5297443,5297729,5298499,5301083,5303449,5308223,5316539,5320543,5322523,5327759,5331763,5338483,5344853,5350573,5350859,5361793,5372209,5374849,5374883,5381219,5381933,5391229,5393153,5397179,5397949,5400259,5404319,5409169,5415253,5415539,5418893,5422259,5424569,5427209,5431213,5434349,5438353,5439563,5445569,5446669,5449573,5450309,5455523,5456293,5457889,5458603,5461243,5461529,5462663,5467613,5468383,5474333,5479603,5480989,5483629,5484343,5485553,5490713,5492693,5495563,5508653,5511019,5514989,5541973,5542379,5545019,5549023,5562113,5564479,5568119,5573333,5575699,5579053,5580439,5585423,5588789,5591659,5592143,5598799,5601383,5601439,5602153,5603363,5603749,5604749,5610469,5616839,5621689,5622823,5625749,5626463,5628059,5628829,5631413,5634779,5638783,5644789,5648563,5650873,5653799,5659783,5662093,5668813,5675149,5675183,5677823,5687833,5691199,5698249,5700923,5709469,5712143,5719193,5722559,5727509,5728279,5733493,5734649,5739499,5745869,5750609,5752589,5756593,5761543,5761829,5765603,5768683,5771609,5774633,5780639,5783929,5784643,5785853,5786623,5792993,5795633,5805643,5808239,5808953,5809009,5811319,5811593,5813959,5818733,5827049,5829953,5837059,5838269,5838983,5842273,5845319,5848279,5861083,5861369,5868419,5872303,5879353,5882719,5892443,5895403,5901739,5903663,5910769,5914829,5919679,5921989,5926049,5926763,5929403,5931769,5935079,5944859,5947729,5948863,5954099,5954869,5956079,5960083,5960819,5969113,5971753,5972039,5978123,5978893,5979179,5984129,5988133,5990113,5991499,5994853,6001223,6003203,6006073,6012443,6013213,6019163,6021529,6028579,6031253,6039799,6042473,6052889,6055529,6059533,6065539,6071909,6078629,6086209,6086923,6089563,6089849,6095933,6102169,6109309,6111893,6112663,6113873,6114259,6119033,6120979,6123883,6127349,6130253,6132199,6136973,6137359,6138569,6139283,6139339,6141923,6149063,6155299,6161383,6161669,6164309,6165023,6172603,6185693,6191699,6195703,6198343,6208759,6219979,6222653,6225733,6229703,6232069,6238019,6238789,6245159,6248029,6250009,6256379,6259733,6261119,6263099,6272053,6272339,6273109,6278059,6279193,6279479,6282119,6290413,6291149,6295153,6297133,6302369,6303503,6306373,6313513,6316153,6319463,6321829,6324469,6325183,6329243,6331553,6336403,6340463,6342773,6347569,6349493,6355829,6358789,6365839,6368513,6371879,6378929,6389863,6390149,6405913,6408959,6412249,6412963,6414173,6420179,6421279,6424183,6432499,6437273,6439639,6439913,6442223,6442279,6442993,6449363,6455599,6458239,6464609,6465323,6465379,6466589,6467303,6476599,6479623,6482549,6485629,6489689,6491999,6494639,6498643,6500623,6511733,6516583,6517739,6522953,6523723,6528673,6539089,6541763,6550309,6551773,6552983,6560033,6563399,6573409,6576049,6576083,6582419,6589139,6591449,6597433,6600359,6602669,6612449,6616453,6623173,6624769,6625483,6628409,6629543,6634393,6636703,6640763,6646483,6647869,6649793,6649849,6652433,6659089,6659573,6662443,6665809,6668813,6670793,6672179,6675533,6677899,6683113,6686753,6689119,6693893,6702209,6706213,6709259,6736243,6740213,6742579,6743293,6746219,6758539,6760519,6765679,6766889,6767603,6770243,6776899,6782849,6783619,6785929,6788569,6789703,6789989,6792629,6793343,6794939,6795709,6800923,6801659,6804563,6805663,6811669,6812879,6816883,6818039,6820019,6824023,6826663,6828973,6832339,6835693,6835979,6842063,6846913,6853283,6854053,6860003,6869299,6870013,6876349,6876383,6879023,6889439,6900659,6906379,6912749,6919469,6923473,6928709,6930689,6934693,6946783,6947783,6950149,6952733,6953503,6953789,6959873,6962743,6964723,6966109,6971093,6975833,6975889,6977813,6978199,6987053,6987109,6987823,6989419,6996139,6996833,7002509,7005149,7005863,7009153,7015159,7017083,7028249,7034233,7036543,7039183,7039469,7060819,7062283,7063493,7070543,7073503,7083919,7086559,7086593,7088869,7092929,7093643,7096009,7101959,7104863,7111969,7113179,7113949,7120319,7122959,7123673,7126963,7135993,7136279,7138919,7146059,7147213,7151273,7154353,7156993,7157279,7158379,7160303,7166309,7169599,7170083,7170313,7172953,7179323,7180093,7181303,7186043,7188409,7191313,7197263,7199629,7204403,7206679,7209353,7212719,7219769,7222729,7230989,7246753,7253803,7254089,7256729,7265023,7276189,7278113,7287409,7290763,7296439,7297133,7299079,7300499,7303853,7305449,7306163,7306219,7315073,7315459,7317439,7322179,7327163,7328549,7330529,7333399,7334533,7339483,7339769,7340539,7343123,7346489,7357423,7358579,7362583,7363793,7364563,7369799,7373803,7380523,7386859,7386893,7389533,7392613,7414249,7416889,7416923,7423259,7439219,7439989,7441199,7445203,7446359,7451209,7457293,7457579,7464013,7464299,7469249,7470383,7473253,7475233,7476389,7480393,7481603,7486343,7488709,7492349,7497563,7498333,7499929,7503283,7504703,7506649,7507343,7509653,7513019,7516373,7523029,7525669,7527593,7534733,7538759,7547053,7549979,7550693,7557029,7572793,7581053,7584013,7587059,7591063,7594429,7599379,7604153,7606519,7615373,7617739,7621093,7622479,7623689,7624459,7630829,7633699,7634183,7643479,7645403,7646789,7652509,7656569,7657723,7658879,7663729,7664863,7667503,7667789,7676819,7680823,7683463,7689833,7690603,7692913,7695839,7701823,7710139,7710853,7714913,7717189,7717223,7719863,7730279,7733239,7740289,7741499,7742963,7751509,7754183,7764313,7764599,7767239,7769549,7770319,7775533,7794629,7797919,7798633,7801273,7803583,7806949,7807643,7816673,7816729,7825583,7825969,7827893,7827949,7828663,7832689,7835033,7837673,7839059,7843909,7850279,7850993,7851049,7853633,7855999,7860773,7869089,7873093,7880309,7884313,7887359,7897403,7903123,7903409,7914343,7924759,7927433,7933769,7934483,7937443,7943779,7945703,7949729,7950499,7952809,7956869,7961719,7967803,7968089,7971443,7973809,7974809,7977119,7979759,7983763,7986899,7989769,7990903,7998119,8002123,8002859,8008843,8010439,8011153,8013793,8014079,8015213,8020163,8020933,8032153,8033539,8036179,8036893,8038103,8043263,8045243,8048113,8054483,8061203,8063569,8067539,8073293,8094929,8097569,8101573,8117029,8120669,8125883,8128249,8128963,8131603,8131889,8132989,8137973,8144209,8144693,8151349,8153933,8153989,8154703,8155913,8156299,8161073,8163019,8169389,8174239,8175373,8178299,8179013,8180609,8181379,8183963,8187329,8191333,8197339,8203423,8203709,8206349,8212333,8214643,8221363,8227699,8227733,8240383,8250799,8253473,8262019,8264693,8271743,8275109,8280059,8280829,8287199,8292049,8298419,8303159,8305139,8309143,8314093,8314379,8321233,8324159,8327183,8332453,8333189,8336479,8337193,8338403,8339173,8345543,8348183,8348413,8358193,8361503,8361559,8363869,8364143,8366509,8367223,8371283,8382503,8389609,8390819,8391533,8394823,8397869,8400829,8413633,8413919,8420969,8424853,8431903,8444993,8447953,8454289,8455003,8456213,8463319,8472229,8474539,8478599,8479313,8481679,8481953,8484263,8484319,8487629,8497409,8497639,8500279,8501413,8506649,8507419,8508629,8509343,8512633,8513369,8521663,8524589,8530673,8531443,8531729,8536679,8540683,8542663,8544049,8547403,8553773,8555753,8558623,8564993,8565763,8570713,8571713,8574079,8581129,8583803,8592349,8595023,8605439,8608079,8618089,8624459,8631179,8633489,8639473,8642113,8642399,8648483,8658493,8661859,8664443,8665213,8666809,8671583,8676433,8679899,8682803,8684749,8689523,8689909,8691119,8691833,8691889,8694473,8701129,8701613,8707849,8712833,8713933,8714219,8716859,8717573,8719939,8725153,8728793,8744249,8748253,8750893,8772529,8775203,8778283,8782253,8784619,8791339,8797709,8800579,8802559,8807719,8808929,8812283,8813669,8824603,8824889,8825659,8830609,8831743,8832029,8834669,8835383,8836979,8842963,8843699,8847703,8849683,8854919,8856053,8858923,8862059,8866063,8868703,8872013,8874379,8877733,8878019,8881793,8884103,8888953,8893013,8895323,8900119,8902043,8908379,8911339,8918389,8921063,8924429,8931479,8942413,8942699,8958463,8961509,8965513,8966723,8972729,8973829,8976733,8985049,8989823,8992189,8994773,8994829,8995543,9001913,9006763,9008149,9010789,9017159,9017873,9017929,9019853,9029149,9038179,9038873,9042239,9044549,9047189,9051193,9053173,9069133,9070289,9075503,9076273,9078583,9081223,9081509,9091639,9094313,9102859,9104323,9105533,9112583,9115949,9125959,9128599,9128633,9130909,9134969,9143999,9149983,9152909,9155219,9155989,9164999,9169003,9175723,9177319,9178033,9180959,9182093,9186943,9188099,9189253,9193313,9199033,9200419,9202343,9202399,9204983,9211639,9212123,9214993,9218359,9221363,9223343,9224729,9228083,9230449,9239303,9241669,9246443,9254759,9258763,9261809,9273029,9288793,9292763,9295129,9295843,9298769,9311089,9318229,9319439,9320153,9322793,9329449,9332803,9335399,9336169,9338479,9341119,9342539,9345893,9347489,9348259,9353473,9354209,9357113,9359479,9364219,9365429,9369433,9370589,9372569,9375439,9376573,9379213,9381523,9388243,9388529,9394613,9399463,9404623,9405833,9406603,9421849,9422563,9428899,9428933,9431573,9441989,9453209,9458929,9458963,9465299,9472019,9476023,9481259,9482029,9483239,9487243,9499333,9502699,9505283,9506053,9506339,9511289,9512423,9515293,9517273,9518659,9523643,9528383,9528439,9530363,9530749,9539603,9539659,9540373,9541969,9546743,9548689,9549383,9555059,9557699,9558413,9567709,9569633,9580799,9589093,9591733,9592019,9599069,9613369,9614833,9623093,9626053,9636469,9639143,9641419,9645479,9646193,9648559,9654509,9657413,9664519,9665729,9666499,9672869,9675509,9676223,9679513,9685519,9688543,9688829,9691469,9698609];
b=[3529,6157,9479,10679,23857,25187,45889,47419,48749,64579,68737,69077,74687,80287,84697,96247,100769,113947,113957,118819,124429,137509,144659,147617,153217,158827,159167,169177,170377,173699,174787,197359,204047,208909,217589,223199,227599,231757,234749,237707,238907,243307,244759,247717,248917,254867,276977,287449,294137,294599,296129,304609,307679,313289,321847,323299,328997,333397,344957,352559,367067,367529,368519,386219,394699,397769,401927,411937,417887,419087,438589,442649,455827,457157,457619,467629,472987,476309,492017,493469,511519,515579,517129,528679,532739,532837,551527,563077,582107,590059,596747,601609,605669,607219,622927,625997,636007,641617,646489,653167,670877,675739,680149,686837,687299,691699,695857,704537,713017,714547,721697,726097,731707,736579,743807,754279,759767,760229,760967,770239,770977,771439,776927,777389,785947,787399,799499,804637,809509,811787,816659,826669,833897,835349,849857,850319,861529,876037,884717,895199,899599,901877,906749,919927,923987,924449,925439,934459,940409,941147,951619,964807,974807,979679,985289,995509,996839,998369,998467,1015627,1019687,1024549,1037737,1054897,1058219,1063577,1068439,1069769,1074049,1075379,1089757,1105717,1113319,1119269,1127827,1129279,1134977,1146979,1148309,1153667,1158529,1162687,1168637,1178647,1179847,1192199,1195807,1203409,1207907,1213517,1217917,1218379,1219369,1225067,1226597,1235077,1237069,1243757,1244219,1252777,1254229,1268737,1276339,1282289,1283489,1286447,1292299,1293499,1297997,1299449,1303607,1313617,1316687,1317149,1342867,1344319,1357507,1362029,1366429,1373579,1376537,1377989,1388087,1389539,1406777,1407239,1417249,1446509,1447597,1452119,1456519,1462469,1463669,1466627,1468079,1482457,1483787,1520527,1521727,1525049,1527677,1536599,1537687,1538149,1541009,1542209,1572547,1577419,1594657,1596109,1606217,1610617,1611079,1615139,1617767,1626689,1645477,1655959,1662637,1667509,1684747,1686199,1690697,1691897,1696307,1700707,1701169,1701907,1705229,1707857,1735567,1740439,1746049,1749119,1757599,1759129,1764827,1766279,1769237,1770437,1776289,1780447,1780787,1786397,1791997,1818979,1825657,1825667,1826129,1830529,1836139,1843367,1844819,1849219,1854917,1856369,1859327,1864927,1870537,1870877,1909069,1914427,1915757,1916219,1920619,1929299,1933457,1934909,1943467,1946459,1949417,1950617,1985827,1987357,1988687,1989149,1999159,2004517,2006309,2007839,2019389,2024999,2040707,2043049,2058757,2060209,2064269,2064367,2077447,2079239,2084597,2097929,2113637,2134339,2137297,2138749,2148847,2150299,2157527,2163137,2167537,2167999,2169329,2174687,2184697,2207269,2212879,2213219,2223229,2224429,2227387,2228839,2234537,2236067,2240389,2244547,2247617,2253227,2258099,2263237,2285809,2291759,2292497,2297359,2301769,2302969,2307467,2308457,2308919,2313319,2318929,2326157,2331029,2334637,2337707,2348189,2358199,2375899,2378527,2382587,2383049,2387449,2391859,2397557,2399009,2407567,2416247,2421119,2433407,2451457,2455517,2455979,2457067,2465989,2468617,2471939,2472677,2473139,2483149,2489099,2511209,2527039,2528369,2529997,2541547,2545607,2546069,2547157,2562029,2586427,2605579,2606909,2615677,2617129,2620087,2627237,2631637,2636159,2650799,2676517,2676979,2690059,2694217,2695669,2700167,2707219,2710177,2711377,2717327,2727337,2739437,2740889,2749447,2749909,2756597,2766607,2767069,2768599,2775287,2775749,2780149,2785759,2790257,2801467,2813819,2815019,2825029,2830979,2835137,2839537,2839999,2846687,2858689,2864387,2865377,2865839,2870239,2874397,2880347,2887949,2891557,2903909,2915119,2919617,2925227,2930089,2935447,2936777,2938307,2938769,2948779,2955929,2964487,2978039,2988049,2993999,2995199,2998157,3008377,3009707,3013987,3015317,3028859,3053257,3059207,3069217,3069679,3073739,3085289,3086917,3088247,3098467,3108949,3118949,3132137,3143347,3158219,3158317,3159307,3159769,3163829,3177007,3181879,3184157,3194167,3207719,3216277,3222227,3223427,3232237,3232699,3233437,3233899,3236759,3239387,3249859,3257087,3271969,3279119,3280649,3284257,3289129,3297809,3301967,3306367,3306829,3307819,3313517,3317927,3322789,3329477,3347177,3352049,3357187,3357659,3367669,3370739,3379219,3386447,3392057,3396457,3396919,3402407,3403607,3408017,3412879,3430589,3442139,3452149,3457759,3460829,3464987,3476537,3477989,3478087,3480947,3482147,3501649,3517357,3520679,3530689,3536047,3537839,3551017,3555077,3556529,3566627,3574579,3591739,3595897,3607447,3626137,3626599,3627929,3641107,3645167,3664669,3671819,3680377,3685987,3689057,3697537,3699067,3699529,3700859,3706217,3716227,3716689,3738799,3744749,3750359,3754759,3755959,3758917,3761909,3766067,3770467,3771919,3776077,3784757,3789157,3789619,3796307,3823289,3834499,3834839,3840449,3846049,3849007,3850459,3856157,3860557,3869237,3874847,3879709,3879719,3886397,3908969,3913379,3918979,3924589,3924929,3929087,3936139,3939097,3946247,3947777,3959327,3964937,3969809,3982987,3987509,3997519,4000147,4003469,4004207,4004669,4009069,4014679,4019177,4020629,4037867,4042739,4058569,4059899,4074277,4078687,4087609,4090237,4094759,4107937,4109267,4131499,4132829,4147207,4152817,4153157,4163167,4164367,4167689,4168777,4180327,4184849,4198037,4202899,4221589,4225747,4228739,4231697,4237297,4238749,4241707,4242907,4248857,4253257,4257779,4258867,4270967,4281439,4288127,4298137,4298599,4301669,4307279,4315837,4317289,4322987,4327387,4328839,4331797,4338947,4346549,4361057,4362509,4380209,4388689,4391759,4395917,4401769,4405927,4407379,4411877,4413077,4423087,4429037,4436639,4451147,4451609,4452599,4461619,4466977,4468307,4470299,4478779,4480309,4486007,4487459,4501967,4509569,4522669,4525529,4526729,4545517,4546847,4551709,4557067,4576097,4577549,4590737,4595599,4599659,4601209,4616917,4629997,4635607,4640479,4647157,4650479,4674139,4680827,4685689,4689749,4689847,4707007,4708537,4715687,4720087,4725697,4730569,4753757,4754957,4764229,4764967,4765429,4770917,4771379,4779937,4781389,4798627,4803499,4805777,4810177,4810649,4820659,4827887,4829339,4843847,4844309,4855057,4855519,4870027,4871479,4878707,4888717,4889189,4893589,4895867,4900739,4917977,4919429,4927987,4928449,4933937,4934399,4935137,4944409,4945609,4968797,4973669,4979279,4983679,4990829,4992359,5009519,5009617,5013677,5018539,5025227,5048887,5052209,5058887,5063759,5069369,5082449,5098157,5099707,5103767,5108629,5121817,5123269,5142299,5147657,5152519,5153849,5172637,5173837,5176697,5189797,5197399,5211907,5213359,5219057,5220587,5229067,5231059,5232389,5237747,5246767,5247757,5248219,5262727,5270329,5276279,5286289,5287489,5291987,5293439,5297597,5303449,5307607,5310677,5319157,5336857,5338309,5352817,5360419,5367569,5370527,5371979,5376379,5382077,5383529,5392087,5397697,5400767,5401229,5411239,5417927,5428399,5440499,5441587,5446109,5450509,5456459,5457659,5460617,5462069,5467669,5470627,5473619,5477777,5496467,5501329,5514517,5519039,5530589,5531677,5534999,5536199,5546209,5546549,5552159,5566537,5567867,5590099,5591429,5604607,5609129,5611757,5620679,5625089,5639467,5640797,5656627,5661499,5678737,5680189,5684687,5690297,5694697,5695159,5695897,5699219,5701847,5711857,5716379,5729557,5734429,5740039,5751589,5753119,5760269,5763227,5770279,5774437,5774777,5780387,5785987,5790397,5812969,5819647,5819657,5824519,5830129,5838809,5843209,5848907,5850359,5853317,5858917,5864527,5864867,5876077,5903059,5909747,5910209,5914609,5923289,5927447,5928899,5933299,5937457,5940449,5943407,5944607,5949007,5954617,5960567,5982677,5983139,5993149,5998507,5999837,6000299,6001829,6010309,6013379,6018989,6027547,6034697,6054199,6058259,6071437,6072767,6073229,6091919,6103469,6107627,6124787,6132739,6142837,6144289,6148349,6161527,6163319,6168677,6178687,6182009,6197717,6217219,6218419,6221279,6221377,6222829,6234379,6238537,6241607,6247217,6257227,6268777,6286487,6291349,6295759,6296959,6302447,6302909,6307309,6312919,6320147,6328627,6331697,6341707,6342179,6347317,6352189,6369889,6376577,6381439,6385849,6391547,6392537,6392999,6397399,6401557,6410237,6415109,6418717,6420247,6427397,6442279,6449507,6459979,6462607,6465467,6465929,6466667,6467129,6475939,6477139,6483089,6491647,6505199,6515209,6517487,6522359,6535537,6539597,6540059,6541049,6541147,6556019,6567229,6580417,6590417,6600899,6611119,6612449,6614077,6625627,6629687,6630149,6640159,6646109,6670507,6684049,6685379,6689659,6690989,6701209,6704167,6705367,6711317,6721327,6734879,6743437,6750587,6760597,6761059,6762589,6763919,6769277,6774139,6779749,6784247,6795457,6807809,6811417,6819019,6824969,6829127,6833527,6833989,6834979,6840677,6852679,6859367,6859829,6864229,6868387,6874337,6884347,6885547,6897899,6909109,6913607,6919217,6923617,6924079,6930767,6932297,6932759,6942769,6949457,6949919,6958477,6959929,6972029,6982039,6987989,6989189,6992147,6999199,7003697,7005149,7009307,7022387,7022849,7048567,7063207,7067729,7072129,7079279,7082237,7083689,7092457,7093787,7112939,7137337,7152209,7153297,7153759,7157819,7169369,7170997,7172327,7188157,7210267,7216217,7226227,7226689,7227427,7230749,7233377,7242299,7243387,7243849,7247909,7265959,7278247,7283119,7291799,7300357,7301809,7307507,7311917,7316317,7316779,7320839,7323467,7341167,7351177,7361659,7364729,7368337,7373209,7380437,7386047,7390447,7390909,7391899,7396397,7397597,7402007,7406869,7407607,7413557,7436129,7441267,7446139,7451749,7454819,7458977,7463299,7464829,7470527,7471979,7474937,7476137,7486147,7486487,7492097,7514669,7524679,7530037,7531367,7531829,7536229,7541839,7549067,7550519,7560617,7562069,7565027,7585729,7601437,7614769,7620127,7621919,7634999,7635097,7639157,7640609,7656317,7658659,7674367,7679977,7691527,7693057,7694849,7700207,7710217,7710679,7712009,7713539,7748749,7749949,7752907,7755899,7764457,7765909,7770067,7778747,7783147,7783609,7784939,7790297,7828489,7828829,7834439,7840039,7842997,7844449,7850147,7854547,7855999,7863227,7868837,7873237,7873699,7873709,7880387,7907369,7912969,7918579,7918919,7923077,7928929,7930129,7933087,7934539,7940237,7941767,7950247,7953317,7958927,7963799,7991509,7994137,7997459,7998197,7998659,8003059,8007469,8008669,8013167,8014619,8031857,8036729,8043407,8053889,8072677,8081599,8084227,8088287,8088749,8093149,8103257,8104709,8121947,8126819,8157157,8158357,8161217,8161679,8162767,8171689,8174317,8177639,8178839,8215579,8216909,8231287,8232739,8235697,8236897,8242847,8247247,8251769,8252857,8282117,8292127,8292589,8309827,8311279,8321377,8322829,8325787,8332937,8337337,8341859,8355047,8356499,8382217,8382679,8385749,8395759,8399917,8401369,8405867,8407067,8412919,8415877,8417077,8423027,8430629,8445137,8446589,8455147,8455609,8462297,8464289,8472769,8474299,8479997,8480987,8481449,8485849,8491459,8495957,8503559,8507167,8519519,8520719,8530729,8536679,8540837,8545699,8551057,8552387,8564389,8570087,8571539,8580097,8586047,8593649,8609609,8623987,8625317,8629597,8630927,8635789,8641147,8644469,8661629,8674817,8679679,8683739,8700899,8700997,8702527,8703857,8714077,8719687,8724559,8734559,8747747,8758219,8758957,8764907,8773927,8774917,8775379,8779439,8792617,8797489,8799767,8804167,8814649,8823329,8837837,8849047,8849509,8864017,8865469,8872697,8882707,8887579,8889857,8894729,8899867,8911967,8913419,8921977,8922439,8927927,8928389,8929127,8938399,8939137,8939599,8945087,8955559,8962787,8967659,8973269,8977669,8984819,8986349,8994829,9003509,9007667,9012067,9012529,9019217,9023627,9028489,9046199,9052877,9057749,9063359,9073369,9076439,9092147,9093697,9097757,9102619,9109307,9117259,9136289,9147839,9166529,9166627,9170687,9182237,9183787,9187847,9205897,9207349,9223057,9226379,9231737,9241747,9242209,9243539,9256717,9260777,9280279,9281479,9287429,9297439,9301597,9304667,9313147,9330847,9331837,9332299,9346807,9354409,9365969,9370369,9376067,9377519,9386077,9391687,9394757,9403237,9404767,9405229,9411917,9422389,9444499,9450449,9451649,9454607,9456059,9460459,9461659,9464617,9467609,9471767,9476167,9481777,9490457,9495319,9502007,9524579,9525667,9528989,9530189,9540199,9540539,9546149,9551749,9554707,9561857,9574937,9580547,9585409,9585419,9598597,9603119,9614669,9619079,9624679,9630289,9630629,9634787,9650617,9651947,9653477,9674179,9675509,9688687,9689887,9693209,9695837];
c=[2369,8761,18869,21521,30881,33071,42431,48779,68149,68611,75289,87301,92921,92999,98851,104549,108959,116561,120509,123259,132521,134809,139331,150881,155291,155369,158701,166919,170251,193099,205111,208939,216661,217409,224899,225361,226769,229421,236989,238319,240971,250331,257471,261299,311041,315451,315529,316859,327001,327079,342709,347561,349849,360749,361861,373411,379109,383519,386929,395069,398479,407081,410491,417631,418961,433261,433339,439939,444811,444889,449299,457649,460849,462851,463501,465371,469199,473609,478559,485159,485699,509261,511339,523351,531569,534901,534979,535441,551401,555229,557749,559751,575711,575789,580661,581311,587339,591419,599351,601639,602969,622121,625531,633671,637081,641491,647189,659201,670751,673039,687901,691729,693521,693599,705149,709559,712211,717161,733121,751579,759301,763129,779629,782281,783611,783689,793831,795239,803191,803939,809539,825499,827501,830021,850349,853681,861899,865309,869719,873911,881269,885791,893281,900091,911641,916051,916129,921749,927601,927679,940439,945311,951989,961349,978169,987529,990181,999079,1001731,1006141,1011091,1011839,1017769,1018231,1023389,1035401,1042541,1051901,1058249,1063451,1069799,1074209,1077619,1089169,1108321,1114019,1119871,1123951,1129979,1135579,1137581,1141991,1144279,1153541,1155829,1159889,1160351,1167841,1176311,1176389,1179721,1187939,1199951,1226131,1229959,1234369,1237681,1245919,1247789,1250441,1259801,1261991,1266479,1271351,1292329,1316221,1336471,1336549,1337879,1348099,1352179,1360111,1361441,1363729,1368581,1381769,1382881,1384289,1394431,1404539,1407949,1416551,1428101,1428179,1431511,1453819,1454281,1454359,1460959,1465909,1470319,1472971,1477921,1478669,1481869,1484521,1486391,1490219,1493881,1494629,1499579,1502231,1506179,1518191,1530281,1541039,1544371,1544449,1552589,1555921,1555999,1560409,1578769,1589669,1590781,1596809,1602331,1608821,1612439,1620371,1622659,1623989,1636001,1643141,1646551,1662511,1678219,1680221,1691771,1701199,1702529,1708921,1712749,1714619,1722109,1726631,1730579,1733231,1738181,1742591,1746419,1754141,1772599,1780321,1784149,1796161,1803301,1804631,1804709,1816259,1819009,1824211,1828271,1830559,1834969,1846519,1848521,1851041,1864229,1871369,1890739,1894931,1902751,1914301,1920649,1921111,1937071,1937149,1948699,1960711,1961459,1966331,1970819,1973009,1982369,1985021,2008549,2011201,2020561,2022751,2027161,2027239,2032111,2032859,2038789,2044871,2056421,2056499,2072459,2072921,2073571,2079269,2090819,2095229,2098639,2102831,2110189,2118791,2122201,2129341,2144971,2145049,2156599,2158601,2163011,2165299,2169359,2174561,2180909,2188861,2190269,2197409,2209421,2220971,2247151,2250979,2255389,2266939,2271461,2278951,2280821,2287499,2292371,2301799,2311061,2313349,2337241,2347019,2350429,2357569,2358899,2370911,2373199,2381131,2382461,2384749,2396761,2402789,2403439,2403901,2405309,2428871,2437571,2449121,2449199,2452531,2463289,2474839,2475379,2491339,2493991,2498941,2499689,2503351,2505541,2514901,2515649,2520599,2521249,2523251,2527661,2539211,2539289,2562059,2565391,2565469,2573609,2577019,2581429,2585621,2589031,2599139,2604991,2610689,2611801,2623351,2627839,2629841,2633459,2641391,2645471,2652149,2657021,2657099,2673059,2699239,2701241,2701891,2722219,2722801,2723549,2729941,2733769,2743129,2745781,2747111,2747651,2754251,2759201,2763611,2767439,2769959,2775161,2793619,2813849,2817181,2825729,2833219,2837741,2840029,2849291,2851579,2853701,2855989,2863591,2867539,2872061,2879551,2885249,2915951,2923771,2930119,2935321,2941669,2946079,2951029,2958169,2970181,2971511,2975339,2981731,2982479,2991839,2994491,3003389,3006041,3015401,3032221,3041581,3048181,3048259,3053131,3059809,3063889,3065891,3071821,3077441,3077519,3081929,3093479,3094591,3100289,3107779,3112301,3116249,3119659,3123851,3128261,3131671,3139811,3139889,3143221,3165991,3166069,3177619,3184031,3189631,3190379,3199739,3201929,3209881,3211289,3213941,3230441,3241991,3256159,3276409,3288421,3299971,3300049,3301379,3301841,3308519,3320531,3322819,3332081,3334369,3346381,3356489,3358261,3368039,3371449,3391931,3394219,3402151,3403481,3406231,3412909,3417781,3417859,3424459,3426329,3433819,3438341,3442169,3449891,3458129,3458591,3470219,3484309,3495859,3507871,3515011,3519961,3524371,3530719,3535921,3542269,3544271,3548681,3548759,3560231,3560309,3575939,3583079,3586489,3595091,3598501,3602449,3606641,3610051,3614461,3620159,3626011,3631709,3632821,3643721,3648859,3650861,3666491,3666569,3672421,3673169,3678041,3678119,3682529,3694079,3696731,3720259,3722911,3732271,3736099,3743239,3743821,3744569,3756581,3764149,3766801,3768131,3768209,3768671,3784631,3788459,3790979,3814541,3834869,3838201,3842689,3854239,3858761,3861049,3870311,3874721,3877009,3884611,3889021,3900571,3900649,3906269,3921131,3924959,3944791,3951139,3960499,3962689,3967099,3972049,3974701,3984809,3990661,3991201,3992531,3996359,4002751,4012859,4013509,4015511,4027061,4036421,4042769,4058729,4062139,4062601,4069279,4081291,4084909,4086911,4092841,4098539,4102949,4108471,4114499,4115611,4126511,4128799,4133321,4144871,4149281,4149359,4152691,4160831,4160909,4164241,4187089,4199101,4210651,4211399,4215061,4218889,4220759,4223411,4232309,4234961,4239371,4244321,4250999,4251461,4277179,4300741,4309441,4310849,4320991,4321069,4322399,4336699,4341551,4343839,4353101,4355851,4357181,4367401,4368809,4377509,4389059,4392469,4401071,4412951,4427251,4433929,4438801,4438879,4443289,4445479,4454839,4457491,4459361,4463189,4467599,4470911,4479149,4505329,4517341,4525559,4528891,4528969,4544929,4545391,4549451,4551739,4563289,4569701,4569779,4575301,4581329,4585409,4593341,4596959,4616111,4619521,4627661,4631071,4635481,4641179,4641829,4647031,4662739,4664741,4669879,4681891,4685719,4687049,4687511,4687589,4693441,4694189,4699139,4703549,4706201,4711151,4715099,4717751,4727111,4743931,4753291,4757119,4764841,4777601,4777679,4787821,4789151,4789229,4793639,4803529,4811999,4819489,4824011,4835561,4843381,4855889,4863709,4875259,4879781,4887271,4895741,4905631,4910041,4910119,4911449,4921591,4921669,4934429,4942151,4945979,4955339,4972159,4981519,4984171,4988119,4993069,4995721,5000131,5005081,5005829,5011681,5011759,5012221,5013551,5017379,5029391,5034529,5036531,5052239,5057441,5058091,5063789,5068199,5071609,5079749,5083159,5102311,5105929,5113861,5117941,5123969,5129491,5129569,5135981,5147531,5149819,5153879,5154341,5170301,5170379,5173711,5181929,5193941,5220121,5228359,5231671,5236081,5239909,5241779,5244431,5253791,5255981,5260391,5260469,5265341,5272019,5286319,5298199,5306801,5310211,5321761,5330461,5331869,5342089,5343419,5346169,5355431,5357719,5362571,5376871,5378201,5378279,5388421,5389829,5398529,5422091,5447809,5448271,5454949,5459899,5464309,5466961,5475859,5478511,5480381,5484209,5487871,5488619,5500169,5512181,5535029,5538361,5538439,5546579,5549911,5549989,5554399,5565949,5570471,5572759,5583659,5584771,5590799,5596321,5600731,5606429,5612359,5614361,5617979,5629991,5636669,5637131,5640541,5656501,5662849,5672209,5683759,5685761,5686411,5696519,5702911,5706739,5708069,5708609,5714461,5724569,5727221,5732171,5736581,5738771,5748131,5754479,5774311,5778139,5793001,5798621,5798699,5810249,5814659,5822261,5824549,5828959,5838221,5840509,5845031,5856581,5861069,5864401,5884729,5908291,5910811,5914639,5930599,5931061,5931139,5932469,5935121,5942689,5954701,5955449,5956031,5963171,5966999,5976359,5979011,6002539,6005191,6016741,6021151,6021229,6026101,6026849,6032701,6032779,6048409,6050411,6055549,6066449,6067561,6073259,6079111,6084809,6089219,6092629,6096821,6100769,6104179,6112781,6116191,6123331,6138961,6139039,6150511,6150589,6154999,6157001,6163349,6168551,6174899,6179309,6184259,6191399,6203411,6214961,6229051,6240679,6241141,6249379,6257101,6260929,6265451,6272941,6274811,6281411,6281489,6286361,6293039,6295789,6297119,6305051,6307339,6327821,6331231,6341009,6342781,6352889,6364901,6367189,6376451,6378739,6390751,6397429,6397891,6399221,6399299,6410849,6422861,6443111,6457279,6468829,6485329,6487981,6489389,6497341,6499531,6508891,6509639,6515239,6521651,6533201,6533279,6556049,6559381,6559459,6567599,6571009,6575419,6579611,6583021,6586969,6591491,6598981,6604679,6605791,6617341,6621751,6621829,6627449,6633379,6635381,6639461,6646139,6651011,6651089,6657689,6667049,6683869,6693229,6695881,6704779,6707431,6716791,6717539,6723931,6727759,6729089,6741101,6748241,6753191,6757601,6763949,6769151,6775499,6783319,6814021,6819719,6827209,6831731,6835679,6843281,6845569,6847691,6849979,6859241,6861529,6866051,6873541,6882089,6885421,6905651,6924109,6929311,6931831,6935659,6940069,6945019,6951619,6952159,6953489,6956141,6965501,6969329,6975721,6976469,6977051,6997379,6998029,7000031,7026211,7042171,7042249,7047121,7053799,7057879,7065811,7069429,7071431,7075919,7087469,7088581,7094279,7100131,7110239,7113649,7117841,7122251,7125661,7133801,7133879,7137211,7159981,7160059,7171609,7176019,7178021,7178671,7183621,7184369,7193729,7195919,7199581,7200329,7205279,7207931,7223891,7224431,7235981,7246739,7250071,7250149,7261699,7270399,7293961,7295369,7295831,7296481,7302509,7314521,7316809,7318139,7326071,7328359,7340371,7341701,7348841,7352251,7362029,7385921,7388209,7397471,7406899,7411771,7418449,7420319,7427809,7432331,7443881,7448291,7452119,7478299,7489849,7501861,7509001,7510409,7518361,7524709,7529911,7533971,7536259,7540669,7542671,7554221,7554299,7569929,7577069,7580479,7589081,7596439,7600631,7604041,7608451,7620001,7625699,7626349,7626811,7642771,7642849,7654399,7660481,7666411,7667159,7672031,7672109,7676519,7678709,7688069,7690721,7714249,7716901,7726261,7728451,7732939,7737811,7738559,7750571,7762121,7762199,7778159,7778621,7784969,7796519,7804339,7808531,7827901,7835041,7848229,7850749,7852751,7864301,7868711,7870999,7875059,7880261,7883011,7894561,7894639,7895969,7903109,7915121,7918949,7926671,7945129,7952851,7956679,7961089,7966039,7968691,7972639,7977161,7984651,7986521,7990349,7996741,7998071,8007499,8019049,8021051,8036759,8052719,8056129,8063269,8075281,8076611,8078899,8086831,8090449,8096939,8102461,8108489,8109601,8120501,8138861,8143271,8143349,8146681,8154821,8154899,8158231,8168989,8181079,8193091,8197039,8199691,8204641,8205389,8209051,8212879,8214749,8217401,8220601,8221349,8226299,8228951,8233361,8238311,8244911,8244989,8245451,8267759,8271091,8271169,8282719,8291321,8294731,8304839,8314981,8316389,8317501,8330689,8335541,8337829,8339159,8347091,8351171,8361391,8362721,8362799,8383049,8406941,8427919,8432791,8437279,8439469,8448829,8451481,8453351,8461589,8464901,8469311,8473139,8499319,8511331,8519549,8522881,8522959,8531429,8538919,8539381,8543441,8545729,8554991,8557279,8561689,8563691,8569291,8575319,8579399,8585251,8590949,8610101,8621651,8625061,8629471,8635819,8641021,8647369,8656729,8663869,8675881,8681039,8681501,8687431,8688179,8693129,8697539,8700191,8709089,8711741,8721101,8737921,8747281,8753959,8758831,8771591,8771669,8777521,8783141,8783219,8787629,8799179,8805989,8813479,8818001,8825359,8829551,8833961,8837371,8845589,8848921,8869249,8871769,8873771,8889731,8895331,8896079,8904031,8905439,8915581,8915659,8916989,8919641,8936141,8939969,8947691,8966149,8982109,8987059,8989711,8994121,9005671,9005749,9007541,9011369,9026231,9028519,9040069,9052081,9057779,9062189,9065599,9073739,9077149,9096301,9097631,9099919,9107851,9111931,9117959,9118609,9123481,9123559,9139519,9141521,9144041,9147869,9163829,9164291,9164369,9167701,9175919,9187931,9190009,9213571,9214111,9220711,9225661,9230071,9233899,9235769,9236419,9238421,9241621,9249971,9254381,9254459,9259331,9265931,9266009,9280309,9281639,9288779,9292189,9300791,9304201,9312341,9315751,9320161,9325859,9337409,9338521,9349421,9351709,9356561,9372191,9372269,9382411,9383741,9383819,9388229,9437971,9441799,9448939,9458299,9460951,9462281,9469849,9472501,9473909,9474371,9481861,9482609,9490331,9494159,9506171,9529019,9532351,9540569,9543901,9543979,9548389,9559939,9564461,9566749,9576011,9578761,9582709,9590311,9594721,9600419,9606271,9606349,9611969,9623981,9630659,9631121,9650491,9656839,9666199,9668389,9677749,9680401,9690509,9696901];
d=[5777,6893,7597,12707,20687,25457,37483,38173,40927,46247,51263,54203,56047,58427,66953,67447,69137,72767,80747,81853,88237,91747,97543,100987,110633,111323,122323,129197,141913,144667,148843,151597,151807,155003,156823,161933,164897,169913,182383,188477,195473,195967,203947,205273,207653,209267,211657,221993,224747,226063,229973,237463,240973,256027,259537,261917,264007,269117,270937,272627,284027,285343,300823,301033,306143,314123,314617,319387,321767,332687,340177,344087,345193,345403,348157,355087,358493,360883,365423,374677,387767,399457,405253,408763,411143,415147,418343,420163,421853,425483,428237,440953,455887,458827,459517,463843,469163,470993,472607,481913,482407,484787,489403,497383,503197,504313,515947,518107,521813,522877,523903,525257,535967,548683,555847,564373,566557,568937,577463,577957,578167,583277,591257,596027,608053,608743,611497,621833,626617,628997,634013,635927,638017,639707,652423,659353,662317,667333,672103,674483,685897,688277,692893,698987,705073,715783,718163,719413,722167,727393,732503,736727,740483,748127,759047,766537,770047,772427,774517,775843,778223,781447,785153,798947,811543,819187,829523,829897,830107,832277,832487,835123,837503,841507,843197,854597,855913,871393,885187,885953,889957,892337,908563,915763,919273,921653,925657,930673,935993,940217,948173,949237,951617,968413,970027,979333,981503,981713,982207,988643,990733,992423,992917,995297,1000067,1022677,1026457,1032323,1033387,1034413,1035767,1041563,1050887,1052977,1055357,1062287,1066357,1074883,1088677,1089443,1092383,1093447,1095827,1100843,1106537,1119253,1126417,1131433,1137127,1139507,1144523,1146437,1148527,1151663,1163087,1171903,1182613,1184993,1185697,1196407,1198787,1200113,1203557,1204583,1206497,1211513,1215583,1229923,1234147,1237903,1242673,1245053,1245547,1247237,1256467,1258637,1258847,1265777,1269557,1275643,1282573,1286353,1288733,1295663,1307297,1309457,1314227,1318697,1322207,1329697,1334923,1340033,1340617,1342997,1345633,1348013,1352017,1352783,1355723,1366577,1369517,1383373,1389757,1394773,1396463,1400093,1400467,1402847,1403603,1405693,1408073,1415003,1419073,1437637,1445593,1449037,1450727,1456523,1458683,1459747,1462127,1463453,1477247,1478923,1479133,1489843,1492223,1492717,1497487,1499153,1501243,1510577,1510787,1515803,1517717,1518743,1519807,1522187,1533187,1538983,1552073,1552777,1559213,1559707,1561397,1563487,1565867,1570637,1572797,1586863,1593247,1598263,1599953,1602893,1603957,1606337,1611353,1616137,1621457,1626473,1629917,1632857,1636927,1641943,1646713,1660013,1660507,1662173,1666943,1671413,1673597,1680737,1682413,1696207,1697533,1700977,1702003,1708933,1710623,1714067,1715093,1717007,1722023,1722233,1733657,1740587,1742473,1744657,1753183,1755563,1756057,1756267,1766977,1769357,1770683,1774127,1776287,1782083,1786153,1793083,1804717,1809733,1811647,1816117,1817807,1819627,1824737,1829207,1829963,1832717,1836347,1845433,1850203,1853143,1863293,1863997,1866233,1877087,1880027,1884797,1889813,1892777,1893883,1900267,1905283,1905493,1910603,1912423,1914113,1916203,1918583,1923353,1923847,1925513,1937147,1944077,1948147,1953943,1956103,1959547,1960873,1963253,1965343,1967033,1968853,1973963,1974173,1974667,1985573,1987757,1989643,2007997,2008207,2013223,2016163,2019607,2021297,2026313,2028227,2029253,2030317,2032697,2034023,2047817,2049493,2063287,2068057,2069723,2070217,2081147,2082967,2086373,2088287,2093303,2097373,2103757,2108773,2123893,2126273,2126647,2127337,2130277,2131967,2136983,2140427,2143367,2157223,2157433,2164363,2168833,2170523,2171017,2177453,2181923,2186707,2191247,2197043,2200487,2208043,2211487,2212513,2217283,2219443,2231077,2232743,2237513,2238007,2240387,2244167,2245987,2251097,2251307,2252983,2266777,2268103,2271547,2276563,2279503,2281193,2284637,2292593,2296817,2311157,2315227,2320243,2322157,2326627,2327383,2330137,2340473,2346857,2360713,2363653,2374507,2378213,2380303,2382217,2387233,2389613,2390197,2395307,2400323,2400533,2403287,2416003,2420773,2422933,2433863,2434357,2434567,2441497,2447657,2454587,2460383,2464453,2471383,2473763,2475853,2479363,2482993,2484683,2485177,2492327,2494417,2496083,2497927,2500307,2514647,2518717,2523733,2526673,2530117,2531443,2533823,2539423,2544533,2545237,2558327,2578567,2583793,2590723,2593103,2593477,2596883,2598797,2603813,2610977,2634403,2636783,2637847,2640787,2641553,2649533,2653537,2655347,2663873,2667943,2674873,2679343,2694463,2696843,2697217,2697907,2707553,2710997,2727793,2734933,2741587,2748023,2748517,2750897,2756497,2760203,2761817,2763647,2778613,2782057,2787073,2790013,2794237,2804573,2807327,2808577,2810957,2814467,2816557,2821667,2837893,2845043,2847133,2867387,2874317,2887033,2888723,2890813,2892727,2897743,2897953,2900123,2900707,2911043,2918687,2926667,2931283,2943463,2945077,2948783,2952007,2957803,2960183,2963693,2970893,2993503,2997727,3002837,3004927,3008063,3008437,3010817,3012067,3023543,3025157,3037337,3041953,3044333,3049933,3055747,3057577,3062897,3067913,3068497,3070877,3077807,3094303,3101233,3103613,3108397,3121487,3122177,3138973,3146953,3152063,3160043,3161293,3163673,3164047,3165857,3174383,3178607,3181547,3186563,3204973,3207353,3208417,3212123,3220103,3220597,3225917,3227033,3240827,3245443,3257623,3261067,3270713,3271403,3274157,3289277,3300677,3301993,3304747,3315083,3319087,3321467,3324977,3327067,3330773,3334217,3355553,3357643,3364807,3371737,3375143,3377897,3382073,3384827,3385037,3390053,3397543,3408463,3410293,3415613,3416107,3424087,3429197,3437177,3438503,3444887,3453973,3457603,3459293,3461113,3468313,3470693,3472537,3474203,3489257,3492767,3497237,3504167,3508237,3514033,3518573,3520963,3522577,3534053,3534263,3534757,3547847,3552617,3565333,3568087,3568297,3573313,3573407,3575227,3578423,3578633,3579007,3581387,3588317,3594113,3607907,3618907,3628147,3632687,3638483,3641993,3648377,3649483,3653393,3657463,3671803,3674183,3676027,3678967,3683983,3687427,3689117,3692057,3692747,3697073,3709543,3715637,3717523,3722633,3724453,3730613,3731107,3736427,3737543,3738247,3749177,3751337,3756107,3757133,3768133,3768823,3771577,3781913,3786697,3789077,3791167,3797603,3798097,3799787,3811187,3811397,3812503,3825253,3828193,3831637,3841283,3841973,3844727,3859847,3871247,3872563,3875317,3882247,3885653,3887473,3892583,3895547,3900563,3905333,3919127,3920803,3926123,3926617,3934597,3935923,3938303,3939367,3942307,3947323,3949013,3952643,3955397,3960623,3968113,3971623,3980863,3983047,3986677,3990187,3994657,3999767,4001587,4003277,4007747,4009073,4014677,4024543,4031473,4031683,4043107,4044773,4045267,4050037,4052417,4063127,4063337,4068353,4074737,4075843,4078807,4083823,4085737,4089143,4091533,4102387,4104623,4105327,4118417,4123187,4135903,4138657,4139413,4141793,4143883,4145797,4148993,4150813,4152503,4158887,4163903,4182467,4186537,4189477,4194493,4197937,4199263,4201643,4203257,4212563,4213057,4215437,4220053,4223963,4226147,4228033,4234963,4246597,4248757,4253527,4254553,4255907,4257997,4259687,4266617,4267643,4279333,4286207,4295023,4297207,4299587,4301677,4308113,4308607,4308817,4321907,4326677,4335763,4338703,4339393,4342147,4352483,4357267,4359647,4362283,4364663,4368667,4370357,4381757,4383073,4395823,4397983,4402753,4405133,4415843,4416547,4418927,4429637,4435723,4446433,4448813,4449877,4452817,4457833,4458043,4463153,4467377,4471133,4475903,4476397,4478777,4489697,4491373,4497187,4500697,4505167,4506493,4508873,4509937,4512097,4515803,4517893,4519583,4542193,4549837,4553617,4560547,4560757,4562927,4565773,4568153,4572157,4573847,4578863,4585247,4602043,4612897,4615837,4616603,4620607,4622987,4628003,4633697,4638923,4646413,4649923,4652303,4654393,4656307,4661323,4670867,4672957,4678823,4679887,4682267,4692977,4699063,4709773,4709983,4712153,4712363,4712857,4721383,4723073,4723567,4725947,4730717,4734473,4753037,4757107,4764037,4765063,4766417,4768507,4769833,4772213,4783627,4786007,4792937,4796717,4805533,4819327,4820093,4824097,4826477,4829113,4831493,4837187,4849367,4849903,4862083,4867777,4870157,4872793,4875173,4879177,4879943,4893737,4902553,4906333,4913263,4915643,4927057,4929437,4930763,4932853,4934207,4935233,4942163,4946233,4964797,4968553,4973323,4975703,4976197,4977887,4986413,4986907,4987117,4989287,4989497,5000207,5006293,5017003,5019383,5020447,5026313,5028403,5037947,5042963,5044877,5046967,5049347,5052857,5060347,5065573,5071267,5076283,5078663,5082667,5083433,5086373,5097227,5114023,5120407,5125423,5127113,5131117,5133497,5136343,5138513,5138723,5145653,5149433,5157077,5179687,5181377,5183467,5187173,5189333,5190397,5192777,5194103,5198573,5202083,5207897,5209573,5220493,5222873,5223367,5228137,5231893,5236117,5241227,5241437,5246453,5249393,5250457,5252837,5263547,5269633,5280343,5282723,5283427,5294137,5296517,5301287,5303447,5316197,5317513,5328913,5330603,5334607,5336987,5339623,5342003,5346787,5357123,5359877,5360567,5363507,5372593,5377363,5390453,5390663,5391157,5397593,5399683,5402063,5404247,5413063,5419937,5431627,5432653,5439583,5441273,5443363,5444717,5445743,5450513,5452673,5464307,5471237,5473123,5475307,5479217,5483833,5486213,5486707,5496013,5497627,5500007,5501333,5504777,5509793,5512733,5516803,5535367,5540383,5546767,5548457,5550277,5553473,5555387,5557477,5559857,5560613,5563367,5576083,5580853,5593943,5594647,5596883,5607737,5610127,5613533,5615447,5620463,5623427,5624533,5630917,5635933,5636143,5646853,5649233,5654003,5654497,5656163,5667587,5667797,5674727,5684593,5690197,5691523,5695993,5697683,5699503,5704613,5709083,5712593,5716223,5718407,5727647,5731157,5738647,5743873,5746627,5750257,5751947,5756963,5759903,5760967,5763347,5764673,5772653,5773147,5778467,5780143,5793937,5798707,5803723,5806687,5811797,5813617,5817023,5823953,5826707,5828023,5839423,5854543,5857297,5857987,5867633,5871077,5874017,5886767,5887873,5888083,5899483,5901173,5901667,5908103,5910193,5912573,5917357,5927693,5930447,5931137,5942137,5943163,5947933,5950093,5961023,5961727,5962843,5968163,5968657,5974817,5976637,5981747,5983633,5989727,6002197,6006523,6007213,6010153,6011843,6015287,6020303,6023243,6025087,6027467,6041807,6045877,6049787,6050893,6057277,6060787,6066583,6071123,6080363,6091363,6105157,6110953,6117883,6120263,6120637,6120847,6124043,6125863,6125957,6130973,6131183,6133937,6146653,6151423,6164513,6165007,6165217,6176693,6178307,6180697,6185237,6191033,6195103,6202033,6206503,6210013,6225067,6226733,6228577,6230957,6238157,6239977,6241667,6245297,6254383,6260767,6262093,6270073,6275183,6283163,6283657,6288977,6290807,6301727,6309217,6314233,6314443,6317197,6321373,6324127,6327533,6334463,6341627,6343717,6365053,6368497,6372203,6374293,6377803,6380183,6384187,6394523,6397277,6398593,6409993,6425113,6427867,6428557,6438203,6441647,6453827,6458443,6472237,6473353,6478673,6479167,6487147,6490853,6491917,6494297,6512707,6517723,6520663,6524887,6533413,6535223,6535597,6537977,6539227,6547207,6552317,6560297,6577093,6577783,6590873,6595657,6598037,6604967,6621463,6628393,6630773,6631357,6636373,6641693,6643523,6649337,6654937,6657317,6661933,6674113,6675727,6687203,6688453,6690833,6691207,6694343,6696433,6701543,6705767,6728377,6735577,6739087,6741467,6747263,6750487,6754193,6755807,6767987,6772603,6780583,6788227,6798563,6799147,6801317,6801527,6806543,6808457,6810547,6812237,6824953,6831883,6852137,6854227,6861377,6877603,6882713,6884803,6888313,6890693,6891943,6894697,6905033,6909257,6912197,6917213,6920657,6935623,6937453,6939067,6942773,6948373,6950753,6951247,6957683,6964337,6971477,6988273,6991717,7001363,7002053,7002427,7004807,7019927,7024397,7031327,7035397,7043923,7045733,7049737,7057717,7058483,7061423,7062487,7064867,7088293,7095457,7100473,7102387,7105793,7106167,7108547,7115477,7120703,7140943,7154033,7154737,7159847,7165447,7167827,7169153,7172597,7175537,7180553,7184623,7198963,7201343,7203187,7204853,7206943,7214093,7214587,7216277,7219907,7223417,7225507,7227887,7234817,7238887,7244683,7251613,7257773,7264703,7264913,7265407,7276337,7278497,7283267,7295983,7298737,7298947,7303963,7309073,7309657,7312037,7317053,7318967,7321057,7324763,7335617,7338557,7352413,7358797,7369133,7371887,7372643,7377113,7379027,7384043,7388113,7402453,7406677,7414633,7418077,7419767,7422707,7427723,7431167,7432493,7446287,7447963,7448173,7453283,7455103,7458883,7461263,7461757,7466527,7468193,7479827,7481987,7486757,7487783,7491227,7498783,7502227,7508023,7512563,7517347,7521817,7528253,7528747,7530437,7534907,7541837,7542047,7555903,7558843,7562287,7567303,7568993,7571933,7572623,7572997,7575377,7590497,7595513,7601897,7605967,7610983,7612897,7616303,7618123,7629053,7629547,7631213,7635983,7649777,7651453,7665247,7666573,7668953,7670017,7671043,7672957,7677973,7679663,7683107,7686047,7691063,7691273,7709627,7711513,7713697,7724603,7725097,7725307,7730417,7732237,7733927,7736017,7738397,7739723,7743167,7745327,7751123,7755193,7762123,7773757,7775423,7775917,7780687,7783067,7785157,7786847,7788667,7793777,7793987,7799003,7805387,7806493,7809457,7814473,7819243,7822183,7833037,7835273,7835977,7846127,7849067,7853837,7862923,7866553,7869307,7870063,7874533,7879643,7881463,7883153,7887623,7889537,7894553,7906187,7913117,7917187,7922983,7925143,7928587,7929913,7932293,7943003,7943213,7943707,7946087,7954613,7956797,7958683,7965613,7977037,7977247,7982263,7984177,7985203,7988647,7990337,7997267,7998293,8001737,8003063,8016857,8018533,8025673,8027857,8032327,8037097,8038763,8039257,8052557,8057327,8062343,8066413,8069353,8072797,8077813,8083133,8087917,8092933,8095313,8096377,8099317,8101007,8106023,8112407,8126473,8128633,8133403,8135783,8137873,8139563,8140057,8146493,8147197,8160287,8166083,8177083,8179463,8180527,8181553,8183467,8188483,8188693,8198027,8200117,8201783,8206553,8207047,8209427,8220137,8220347,8222023,8235817,8237143,8239523,8240587,8242747,8248543,8250233,8253677,8261633,8280197,8284267,8291197,8293577,8295667,8296423,8298803,8299177,8302807,8304497,8309513,8315897,8329753,8332693,8343547,8346487,8347253,8351257,8353637,8356273,8358653,8359237,8364347,8369573,8377063,8380573,8385043,8389813,8391973,8403607,8410537,8412917,8416697,8423627,8429713,8433493,8440423,8440633,8442803,8452033,8453723,8454217,8456597,8461367,8465123,8469347,8483687,8487757,8492773,8494687,8495713,8499157,8500483,8502863,8513573,8514277,8516657,8527367,8536183,8547607,8550743,8552833,8554747,8559763,8562143,8567837,8572853,8580017,8592733,8598427,8603443,8605823,8606887,8609827,8610593,8624387,8632913,8636983,8643913,8646293,8648383,8657707,8663503,8664857,8665883,8666947,8672813,8676593,8699203,8703973,8706353,8706847,8708537,8710627,8717063,8717557,8717767,8719937,8729243,8730857,8747653,8750033,8751097,8759053,8763277,8768597,8773613,8777617,8779997,8783507,8790707,8806933,8809313,8813317,8814083,8827877,8843357,8844673,8856073,8857763,8861767,8864147,8866783,8866993,8869163,8869373,8869747,8880083,8887727,8900323,8914117,8917823,8921047,8923427,8924753,8926843,8929223,8932733,8940223,8951143,8958787,8962543,8966767,8971877,8977103,8979857,8981107,8983487,8994197,9000283,9006377,9010993,9013373,9024787,9027167,9031937,9036953,9039917,9046847,9059563,9061253,9063343,9065257,9070273,9072653,9077437,9087773,9090527,9091217,9103243,9108013,9115993,9121103,9121313,9121807,9130333,9132713,9134897,9143423,9150587,9163303,9174013,9175367,9176393,9177457,9181163,9183323,9194957,9196073,9201887,9209867,9214483,9216863,9217357,9226663,9228277,9230107,9235427,9239753,9240443,9243383,9258317,9271033,9273787,9277417,9279107,9280927,9284123,9288127,9290507,9294017,9299813,9311503,9324593,9333847,9338387,9340777,9344183,9351113,9353867,9354077,9355183,9359093,9366583,9377503,9379883,9384653,9385147,9393127,9398237,9398447,9413927,9415243,9426643,9428333,9430153,9435263,9437353,9439733,9443243,9458297,9461807,9469297,9473207,9474523,9477277,9487613,9490003,9491617,9493997,9495323,9503303,9503797,9510793,9516887,9529357,9534373,9537337,9542447,9544267,9547463,9547673,9550427,9554603,9557357,9570073,9576947,9587947,9588637,9598283,9601727,9607523,9611033,9617417,9618523,9626503,9630133,9631823,9632317,9640843,9643223,9645067,9648007,9653023,9658343,9661097,9661787,9673813,9678583,9686563,9691673,9692377,9693493];
w=vector(19);

(программа не уместилась, окончание в следующем посте)

В программе записано всё, нет входных файлов, я просто не знаю, как их использовать, поэтому все данные записываю прямо в программе.
В этой строке записан диапазон проверяемых чисел
for (i=367194000001, 367194500000,

Я проверяю всего 500000 циклов по i, потому что программа у меня работает долго и работает не постоянно.
Вы можете проверить, например, следующий диапазон, изменив эту строку на такую
for (i=367194500001, 367199500000,

В этом случае будет проверено 5000000 циклов по i.

Как видите, всё очень просто.
Измените в программе указанную строку и запустите программу.
Программа находится в текстовом файле, у меня это файл a13.txt.
Запишите программу в текстовый файл с любым именем, поместите его в папке, в которой у вас находится PARI/GP.
Изменять строку программы в текстовом файле обычным образом.
Результаты программа запишет в файл res.txt.

Кто смелый? :)
Попробуйте!
Это, конечно, пока не штурм, это сотая часть настоящего штурма.
Но с чего-то надо начинать!
ID: 9052 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9053 - Posted: 1 Jul 2022, 3:51:05 UTC - in response to Message 9052.  

окончание программы

for (i=367194000001, 367194500000,
for (n=1, 1536, 
v=9699690*i+a[n];
if(ispseudoprime(v),
w[2]=v+30; w[19]=v+1008;
if(ispseudoprime(w[2]),
if(nextprime(v+1)==w[2],
if(ispseudoprime(w[19]),
w[9]=v+414; w[10]=v+504; w[11]=v+594;
if(ispseudoprime(w[9]),
if(nextprime(w[9]+1)==w[10],
if(nextprime(w[10]+1)==w[11], w[1]=v; w[3]=v+138; w[4]=v+204; w[5]=v+258; w[6]=v+294; w[7]=v+324; w[8]=v+348; w[12]=v+660; w[13]=v+684; w[14]=v+714; w[15]=v+750; w[16]=v+804; w[17]=v+870; w[18]=v+978; 
if(ispseudoprime(w[8]),
if(nextprime(w[8]+1)==w[9],
if(nextprime(w[11]+1)==w[12],
if(ispseudoprime(w[7]),
if(nextprime(w[7]+1)==w[8], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(nextprime(w[12]+1)==w[13], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[6]),
if(nextprime(w[6]+1)==w[7], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") ); 
if(nextprime(w[13]+1)==w[14], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[5]),
if(nextprime(w[5]+1)==w[6], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(nextprime(w[14]+1)==w[15], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[4]),
if(nextprime(w[4]+1)==w[5], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") ); 
if(nextprime(w[15]+1)==w[16], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") ); ))))))))))))))))))))));
v=9699690*i+c[n];
if(ispseudoprime(v),
w[2]=v+30; w[19]=v+420;
if(ispseudoprime(w[2]),
if(nextprime(v+1)==w[2],
if(ispseudoprime(w[19]),
w[9]=v+180; w[10]=v+210; w[11]=v+240;
if(ispseudoprime(w[9]),
if(nextprime(w[9]+1)==w[10],
if(nextprime(w[10]+1)==w[11], w[1]=v; w[3]=v+48; w[4]=v+78; w[5]=v+90; w[6]=v+132; w[7]=v+162; w[8]=v+168; w[12]=v+252; w[13]=v+258; w[14]=v+288; w[15]=v+330; w[16]=v+342; w[17]=v+372; w[18]=v+390; 
if(ispseudoprime(w[8]),
if(nextprime(w[8]+1)==w[9],
if(nextprime(w[11]+1)==w[12],
if(ispseudoprime(w[7]),
if(nextprime(w[7]+1)==w[8], print(w,", "); print(c[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(nextprime(w[12]+1)==w[13], print(w,", "); print(c[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[6]),
if(nextprime(w[6]+1)==w[7], print(w,", "); print(c[n],", "); forprime( k = w[1], w[19], print(k,", ") ); 
if(nextprime(w[13]+1)==w[14], print(w,", "); print(c[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[5]),
if(nextprime(w[5]+1)==w[6], print(w,", "); print(c[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(nextprime(w[14]+1)==w[15], print(w,", "); print(c[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[4]),
if(nextprime(w[4]+1)==w[5], print(w,", "); print(c[n],", "); forprime( k = w[1], w[19], print(k,", ") ); 
if(nextprime(w[15]+1)==w[16], print(w,", "); print(c[n],", "); forprime( k = w[1], w[19], print(k,", ") ); ))))))))))))))))))))));
v=9699690*i+b[n];
if(ispseudoprime(v),
w[2]=v+12; w[19]=v+324;
if(ispseudoprime(w[2]),
if(nextprime(v+1)==w[2],
if(ispseudoprime(w[19]),
w[9]=v+120; w[10]=v+162; w[11]=v+204;
if(ispseudoprime(w[9]),
if(nextprime(w[9]+1)==w[10],
if(nextprime(w[10]+1)==w[11], w[1]=v; w[3]=v+30; w[4]=v+42; w[5]=v+54; w[6]=v+60; w[7]=v+84; w[8]=v+114; w[12]=v+210; w[13]=v+240; w[14]=v+264; w[15]=v+270; w[16]=v+282; w[17]=v+294; w[18]=v+312; 
if(ispseudoprime(w[8]),
if(nextprime(w[8]+1)==w[9],
if(nextprime(w[11]+1)==w[12],
if(ispseudoprime(w[7]),
if(nextprime(w[7]+1)==w[8], print(w,", "); print(b[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(nextprime(w[12]+1)==w[13], print(w,", "); print(b[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[6]),
if(nextprime(w[6]+1)==w[7], print(w,", "); print(b[n],", "); forprime( k = w[1], w[19], print(k,", ") ); 
if(nextprime(w[13]+1)==w[14], print(w,", "); print(b[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[5]),
if(nextprime(w[5]+1)==w[6], print(w,", "); print(b[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(nextprime(w[14]+1)==w[15], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[4]),
if(nextprime(w[4]+1)==w[5], print(w,", "); print(b[n],", "); forprime( k = w[1], w[19], print(k,", ") ); 
if(nextprime(w[15]+1)==w[16], print(w,", "); print(b[n],", "); forprime( k = w[1], w[19], print(k,", ") ); )))))))))))))))))))))));
for (n=1537, 2560,
v=9699690*i+a[n];
if(ispseudoprime(v),
w[2]=v+30; w[19]=v+1008;
if(ispseudoprime(w[2]),
if(nextprime(v+1)==w[2],
if(ispseudoprime(w[19]),
w[9]=v+414; w[10]=v+504; w[11]=v+594;
if(ispseudoprime(w[9]),
if(nextprime(w[9]+1)==w[10],
if(nextprime(w[10]+1)==w[11], w[1]=v; w[3]=v+138; w[4]=v+204; w[5]=v+258; w[6]=v+294; w[7]=v+324; w[8]=v+348; w[12]=v+660; w[13]=v+684; w[14]=v+714; w[15]=v+750; w[16]=v+804; w[17]=v+870; w[18]=v+978; 
if(ispseudoprime(w[8]),
if(nextprime(w[8]+1)==w[9],
if(nextprime(w[11]+1)==w[12],
if(ispseudoprime(w[7]),
if(nextprime(w[7]+1)==w[8], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(nextprime(w[12]+1)==w[13], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[6]),
if(nextprime(w[6]+1)==w[7], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") ); 
if(nextprime(w[13]+1)==w[14], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[5]),
if(nextprime(w[5]+1)==w[6], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(nextprime(w[14]+1)==w[15], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[4]),
if(nextprime(w[4]+1)==w[5], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") ); 
if(nextprime(w[15]+1)==w[16], print(w,", "); print(a[n],", "); forprime( k = w[1], w[19], print(k,", ") ); )))))))))))))))))))))));
for (n=1537, 2048,
v=9699690*i+d[n];
if(ispseudoprime(v),
w[2]=v+6; w[19]=v+420;
if(ispseudoprime(w[2]),
if(nextprime(v+1)==w[2],
if(ispseudoprime(w[19]),
w[9]=v+186; w[10]=v+210; w[11]=v+234;
if(ispseudoprime(w[9]),
if(nextprime(w[9]+1)==w[10],
if(nextprime(w[10]+1)==w[11], w[1]=v; w[3]=v+24; w[4]=v+66; w[5]=v+84; w[6]=v+90; w[7]=v+120; w[8]=v+144; w[12]=v+276; w[13]=v+300; w[14]=v+330; w[15]=v+336; w[16]=v+354; w[17]=v+396; w[18]=v+414; 
if(ispseudoprime(w[8]),
if(nextprime(w[8]+1)==w[9],
if(nextprime(w[11]+1)==w[12],
if(ispseudoprime(w[7]),
if(nextprime(w[7]+1)==w[8], print(w,", "); print(d[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(nextprime(w[12]+1)==w[13], print(w,", "); print(d[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[6]),
if(nextprime(w[6]+1)==w[7], print(w,", "); print(d[n],", "); forprime( k = w[1], w[19], print(k,", ") ); 
if(nextprime(w[13]+1)==w[14], print(w,", "); print(d[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[5]),
if(nextprime(w[5]+1)==w[6], print(w,", "); print(d[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(nextprime(w[14]+1)==w[15], print(w,", "); print(d[n],", "); forprime( k = w[1], w[19], print(k,", ") );
if(ispseudoprime(w[4]),
if(nextprime(w[4]+1)==w[5], print(w,", "); print(d[n],", "); forprime( k = w[1], w[19], print(k,", ") ); 
if(nextprime(w[15]+1)==w[16], print(w,", "); print(d[n],", "); forprime( k = w[1], w[19], print(k,", ") ); ))))))))))))))))))))))));
print(w,", ")
}

Итак, вы записали программу, например, в файл a13.txt,
Теперь запустите программную оболочку PARI/GP и запишите в открывшемся окне такую команду
\r a13.txt
Это запустит программу, записанную в файле a13.txt.
ID: 9053 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9054 - Posted: 1 Jul 2022, 3:57:04 UTC - in response to Message 9053.  
Last modified: 1 Jul 2022, 3:57:48 UTC

Очень надеюсь, что хоть кто-то попробует.
Оптимизация программы приветствуется.
Мои познания в PARI/GP самые минимальные, поэтому и программы пишу, наверное, не самым лучшим образом.
Но они работают! Худо-бедно. Результаты выдают.
ID: 9054 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9060 - Posted: 2 Jul 2022, 3:44:45 UTC
Last modified: 2 Jul 2022, 10:20:11 UTC

Игра "Угадай слово" за 1 июля

Сегодня слово не отгадала.
Безобразнее игры у меня ещё не было.
Загадано примитивное слово, в котором две пары одинаковых букв.
При этом жуткая многовариантность.
Ужасное разочарование в игре!

Показываю эту безобразную игру

ЧИСЛО
ГРАНЬ
ЦУКАТ
ВЫШКА
ДАМКА
ПАПКА

Слово не отгадано.
Как вам нравится такая многовариантность: *А*КА ?
Это же жуткая многовариантность!!
Загаданное слово - БАБКА.
Великолепно! Лучше придумать невозможно!

Сегодня сыграла свою последнюю игру, почти не думала, быстренько нашлёпала четыре слова

КОЛБА
ХВОСТ
НЕВОД
ВЫЗОВ

Опять две одинаковые буквы!
Надоели такие слова.
Ну их к чёрту!

Моя окончательная статистика
Игр сыграно - 155
Процент побед - 99%
Подряд максимум - 119
Попыток на игру в среднем - 3.78
Рейтинг +780
#вордли

Статистика по попыткам
2 попытки ("отлично") - 14
3 попытки ("четвёрка") - 40
4 попытки ("тройка") - 62
5 попыток ("двойка") - 27
6 попыток ("кол") - 9

В трёх играх слово не отгадано.
Всё-таки пятёрок больше, чем колов и четвёрок больше, чем двоек :)
ID: 9060 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9061 - Posted: 2 Jul 2022, 3:59:31 UTC
Last modified: 2 Jul 2022, 7:53:52 UTC

К штурму 19-ки

Вчера крутились программы алгоритмов 3 и 4.
Сейчас буду смотреть результаты.
А пока запустила на пробу алгоритм №5, в этой программе 4 паттерна на данный момент, должно быть 12 паттернов с 768 формулами.
Буду добавлять ещё.

Надежды мои все пустые :)
Никто программу не попробовал.
Ну и ладно.
Оно, конечно, понятно: никому эта 19-ка не нужна, кроме нас с черепашкой :)
Даже господину Петухову уже не нужна, всё в прошлом - много-много паттернов, 200 миллионов формул одновременно... :)))
ID: 9061 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9062 - Posted: 2 Jul 2022, 6:03:03 UTC
Last modified: 3 Jul 2022, 1:18:00 UTC

Новости "Пентадекатлона мечты"

Господин Лецко писал в сообщении
https://dxdy.ru/post1559080.html#p1559080
Предпоследняя.

Предпоследнее извращение "высшее достижение" :)))
Хотела посчитать количество цифр в числе, стала двигать его, до конца не дошла :)
Ну, разбивали бы длинные числа на части и выводили в несколько строк.
Так было бы легче число прочитать.

Вот, извлекла (надеюсь, что полностью)
330451180770985680497518214575171009137299328315131746646803865139340611902398169020041967769158401387399221820198412864791508000616939262996526220169530956872028219729390966411349826995795613009654077176265288396350472746522165552199003363702484145924948304529477842338924149691436105213898744146817716346178963094744684476106887759404151585432354465262169766092445728314109146595001220703121

Это первое число пятёрки.
Считайте сами, сколько в нём цифр :)

PS. Кстати, странно, что на dxdy.ru длинное число не форматируется под параметры страницы.
Здесь же форматируется, разделено на три строки и нормально отображается.
ID: 9062 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9063 - Posted: 2 Jul 2022, 7:29:12 UTC

К штурму 19-ки

Алгоритм №3 дал вчера всего одно более-менее интересное решение
19-ка с 9 «дырками»

{3561722895998363489, 3561722895998363501, 3561722895998363519, 3561722895998363531, 3561722895998363549,
3561722895998363561, 3561722895998363573, 3561722895998363609, 3561722895998363633, 3561722895998363651,
3561722895998363669, 3561722895998363693, 3561722895998363729, 3561722895998363741, 3561722895998363753,
3561722895998363771, 3561722895998363783, 3561722895998363801, 3561722895998363813}

3561722895998363489, 
3561722895998363501, 
3561722895998363543, 
3561722895998363561, 
3561722895998363573, 
3561722895998363609, 
3561722895998363633, 
3561722895998363651, 
3561722895998363669, 
3561722895998363693, 
3561722895998363813, 

Паттерн с диаметром 324.

Сейчас посмотрю результаты от алгоритма №4.
ID: 9063 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9064 - Posted: 2 Jul 2022, 8:36:54 UTC
Last modified: 3 Jul 2022, 1:11:28 UTC

Самое первое решение от алгоритма №4 очень интересное!

11-ка с одной «дыркой» и 19-ка с 8 «дырками»

{3561666646435105909, 3561666646435105921, 3561666646435105939, 3561666646435105951, 3561666646435105963,
3561666646435105969, 3561666646435105993, 3561666646435106023, 3561666646435106029, 3561666646435106071,
3561666646435106113, 3561666646435106119, 3561666646435106149, 3561666646435106173, 3561666646435106179,
3561666646435106191, 3561666646435106203, 3561666646435106221, 3561666646435106233}

3561666646435105909, 
3561666646435105921, 
3561666646435105993, 
3561666646435106023, 
3561666646435106029, 
3561666646435106071, 
3561666646435106113, 
3561666646435106119, 
3561666646435106149, 
3561666646435106191, 
3561666646435106221, 
3561666646435106233, 

Покажу 11-ку с одной "дыркой"
{3561666646435105909,  3561666646435105921,  3561666646435105993, 3561666646435106023, 3561666646435106029,
3561666646435106071,  3561666646435106113,  3561666646435106119,  3561666646435106149, 3561666646435106221*,
3561666646435106233}

"Дырка" помечена звёздочкой. Чуть-чуть неправильно.
Простые числа 3561666646435106149 и 3561666646435106221 не последовательные, между ними есть ещё одно простое число - 3561666646435106191.
Вот такая малюсенькая неудача.
Это паттерн правильной 11-ки (без "дырки")
0 12 84 114 120 162 204 210 240 312 324

Приближённая 11-ка полностью паттерну соответствует!

А это паттерн правильной 19-ки (без 8 "дырок"), в которой содержится 11-ка
0 12 30 42 54 60 84 114 120 162 204 210 240 264 270 282 294 312 324

У этого паттерна 1536 формул.
Малюсенькая неудача и вместе с тем малюсенький успех.
Найдена почти 11-ка (всего одна "дырка").
Конечно, до 19-ки нам с черепашкой, как до Луны пешком :)
Мы бы дошли, если бы у нас было много-много времени :) (лет сто).

Ещё три решения от алгоритма №4.

19-ка с 9 «дырками»

{3561669014852643601, 3561669014852643631, 3561669014852643649, 3561669014852643679, 3561669014852643691,
3561669014852643733, 3561669014852643763, 3561669014852643769, 3561669014852643781, 3561669014852643811,
3561669014852643841, 3561669014852643853, 3561669014852643859, 3561669014852643889, 3561669014852643931,
3561669014852643943, 3561669014852643973, 3561669014852643991, 3561669014852644021}

3561669014852643601, 
3561669014852643631, 
3561669014852643661, 
3561669014852643763, 
3561669014852643769, 
3561669014852643781, 
3561669014852643811, 
3561669014852643841, 
3561669014852643853, 
3561669014852643859, 
3561669014852643887, 
3561669014852643917, 
3561669014852644021,

Паттерн с диаметром 420.

19-ка с 9 «дырками»

{3561670590020630279, 3561670590020630309, 3561670590020630327, 3561670590020630357, 3561670590020630369,
3561670590020630411, 3561670590020630441, 3561670590020630447, 3561670590020630459, 3561670590020630489,
3561670590020630519, 3561670590020630531, 3561670590020630537, 3561670590020630567, 3561670590020630609,
3561670590020630621, 3561670590020630651, 3561670590020630669, 3561670590020630699}

3561670590020630279, 
3561670590020630309, 
3561670590020630327, 
3561670590020630341, 
3561670590020630441, 
3561670590020630447, 
3561670590020630459, 
3561670590020630489, 
3561670590020630519, 
3561670590020630531, 
3561670590020630599, 
3561670590020630611, 
3561670590020630639, 
3561670590020630699, 

Паттерн с диаметром 420.

13-ка с 4 «дырками»

{3561672444387962209, 3561672444387962221, 3561672444387962239, 3561672444387962251, 3561672444387962263,
3561672444387962269, 3561672444387962293, 3561672444387962323, 3561672444387962329, 3561672444387962371,
3561672444387962413, 3561672444387962419, 3561672444387962449, 3561672444387962473, 3561672444387962479,
3561672444387962491, 3561672444387962503, 3561672444387962521, 3561672444387962533}

3561672444387962209, 
3561672444387962221, 
3561672444387962291, 
3561672444387962293, 
3561672444387962323, 
3561672444387962329, 
3561672444387962371, 
3561672444387962413, 
3561672444387962419, 
3561672444387962441, 
3561672444387962491, 
3561672444387962501, 
3561672444387962533, 

Паттерн с диаметром 324.

Напомню: в этом алгоритме всего 4 паттерна (перед паттерном указано количество формул)
1536: 0 12 30 42 54 60 84 114 120 162 204 210 240 264 270 282 294 312 324
1536: 0 30 48 78 90 132 162 168 180 210 240 252 258 288 330 342 372 390 420
2048: 0 6 24 66 84 90 120 144 186 210 234 276 300 330 336 354 396 414 420
2560: 0 30 138 204 258 294 324 348 414 504 594 660 684 714 750 804 870 978 1008

но они имеют много формул, в сумме 7680 формул.
Здесь же паттерн с самым большим из имеющихся у меня на данный момент диаметром 1008.
Но решений с этим диаметром пока нет.
ID: 9064 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9066 - Posted: 2 Jul 2022, 10:34:17 UTC
Last modified: 2 Jul 2022, 11:02:07 UTC

От дочери

https://vk.com/ksk_sarov?w=wall234119397_558
Рассказываю:
На свой 45-летний юбилей
я получила незабываемые впечатления от живого общения с дельфинами! Нижегородский дельфинарий, спасибо вам огромное!!! Яркое впечатляющее представление, вежливый и отзывчивый персонал, потрясающие животные!!!

ID: 9066 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9067 - Posted: 2 Jul 2022, 11:09:09 UTC
Last modified: 2 Jul 2022, 11:09:58 UTC

Понравилось...

Всё было в общем-то неплохо,
Пока не стали улучшать.

не боюсь пришельцев
с тысячей клешней
однопланетяне
твари пострашней

https://dxdy.ru/post1547531.html#p1547531
и следующий за этим пост в теме
ID: 9067 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9074 - Posted: 4 Jul 2022, 0:46:21 UTC
Last modified: 4 Jul 2022, 1:11:31 UTC

Новости "Пентадекатлона мечты"

Господин Петухов родил новую семёрку
https://dxdy.ru/post1559160.html#p1559160

Вот извлекла первое число семёрки (надеюсь, что полностью)
10449741298910662164086565993358407091806568468255268310519976079191149672184698046850632497026975720815188043412364945792159964563169
822488091441735746654324096276544098496233868672987680140067823231220245361328125

Странно, что на форуме MHP число не форматируется тегами: code, math, spoiler, offtop.

Но здесь же тег code форматирует число!
В конце концов, можно разбить число на несколько строк в Ворде, например, и запостить число в несколько строк, в данном примере можно в две строки, вот так
1044974129891066216408656599335840709180656846825526831051997607919114967218469804685063249702697572081518804341236494579215
9964563169822488091441735746654324096276544098496233868672987680140067823231220245361328125

Здесь же число читается без проблем и формат страницы не нарушается.
Можно и прямо здесь (в посте) разбить на две строки (без помощи Ворда).

Может быть, на dxdy.ru и этот приём не срабатывает?
Тег code тоже не форматирует?

Выше показан пример - первое число пятёрки, найденной господином Лецко

330451180770985680497518214575171009137299328315131746646803865139340611902398169020041967769158401387399221820198412864791508000616939262996526220169530956872028219729390966411349826995795613009654077176265288396350472746522165552199003363702484145924948304529477842338924149691436105213898744146817716346178963094744684476106887759404151585432354465262169766092445728314109146595001220703121

Прекрасно форматируется тегом code!

А это просто разбила данное число на четыре строки (с помощью Ворда)

33045118077098568049751821457517100913729932831513174664680386513934061192398169020041967769158401387399221
82019841286479150800061693926299652622016953095687202821972939096641134982699579561300965407717626528839635
04727465221655521990033637024841459249483045294778423389241496914361052138987441468177163461789630947446844
76106887759404151585432354465262169766092445728314109146595001220703121

Тоже всё прекрасно читается, и формат страницы не нарушается.
ID: 9074 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Profile Natalia Makarova
Project scientist
Avatar

Send message
Joined: 6 Apr 17
Posts: 13226
Credit: 0
RAC: 0
Message 9075 - Posted: 4 Jul 2022, 1:43:40 UTC
Last modified: 4 Jul 2022, 4:40:12 UTC

К штурму 19-ки

Ой, вчера утром запустила программу алгоритма №4 для 2000000 циклов по i; подумала: пусть подольше покрутится.
Покрутилось! Только что закончилось, всю ночь работало, то есть почти сутки.
Решения ещё не анализировала.
Но вот прямо сразу вижу 21-ку!

{3561705175398288769, 3561705175398288799, 3561705175398288817, 3561705175398288847, 3561705175398288859,
3561705175398288901, 3561705175398288931, 3561705175398288937, 3561705175398288949, 3561705175398288979,
3561705175398289009, 3561705175398289021, 3561705175398289027, 3561705175398289057, 3561705175398289099,
3561705175398289111, 3561705175398289141, 3561705175398289159, 3561705175398289189}

3561705175398288769, 
3561705175398288799, 
3561705175398288833, 
3561705175398288847, 
3561705175398288857, 
3561705175398288869, 
3561705175398288883, 
3561705175398288931, 
3561705175398288937, 
3561705175398288949, 
3561705175398288979, 
3561705175398289009, 
3561705175398289021, 
3561705175398289033, 
3561705175398289067, 
3561705175398289069, 
3561705175398289123, 
3561705175398289151, 
3561705175398289177, 
3561705175398289187, 
3561705175398289189, 

Все числа простые и последовательные.
Конечно, в паттерн они все не легли, только 9 чисел легли.
Таким образом, имеем 19-ку с 10 "дырками" и 21-ку с 12 "дырками".
Сильно дырявая 21-ка, но она первая!
Здесь паттерн с диаметром 420.

Сейчас буду анализировать остальные решения, их много выдалось.

PS. Наверное, можно посмотреть на 21-ку, как на не симметричный кортеж из последовательных простых чисел.
Как уже отмечала выше, не знаю, какие допускаются паттерны для не симметричных кортежей из последовательных простых чисел.

PS. Другие интересные решения, найденные алгоритмом №4, показала здесь
https://boinc.progger.info/odlk/forum_thread.php?id=224&postid=9077

Особенно интересна 17-ка с 7 "дырками".
Это, кажется, первая такая 17-ка найдена.
Сильно дырявая, конечно, но мы уже знаем, насколько редкими являются 17-ки.

Покажу эту 17-ку с 7 "дырками"

{3561696044111124419, 3561696044111124449, 3561696044111124497*, 3561696044111124499*, 3561696044111124553*,
3561696044111124581, 3561696044111124587, 3561696044111124599, 3561696044111124629, 3561696044111124659,
3561696044111124671, 3561696044111124713*, 3561696044111124743*, 3561696044111124761*, 3561696044111124793*,
3561696044111124809, 3561696044111124839}

"Дырки" помечены звёздочкой.
Все числа в этой 17-ке последовательные простые!
7 чисел закапризничали и не легли в паттерн.
ID: 9075 · Rating: 0 · rate: Rate + / Rate - Report as offensive
Previous · 1 . . . 36 · 37 · 38 · 39 · 40 · 41 · 42 . . . 124 · Next

Message boards : Cafe : Для участников форума MHP


©2024 (C) Progger