Message boards :
Cafe :
Для участников форума MHP
Message board moderation
Previous · 1 . . . 36 · 37 · 38 · 39 · 40 · 41 · 42 . . . 129 · Next
Author | Message |
---|---|
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
К штурму 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 |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Новости "Пентадекатлона мечты" Господин Петухов родил ещё одну семёрку https://dxdy.ru/post1558748.html#p1558748 Господин Лецко начал искать цепочки подлиннее, сейчас ищет для 168 делителей, нашёл 10-ку. https://dxdy.ru/post1558768.html#p1558768 Оценка для 168 делителей в таблице M(168)<=31. Ну, тут огромное поле деятельности господину Лецко :) |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Возвращаюсь к тессеракту. Вчера выложила две станицы темы "Четырёхмерный магический куб" с форума ПЕН. Обе страницы скачали один раз. Предположу, что это сделал Антон. Ему если не всё, то почти всё интересно! Именно так получается огромная эрудиция, которой обладает Антон. Конечно, можно не вникать во все детали темы, но иметь общее представление никогда не лишнее, тем более что всё в нашем мире очень связано (в том числе, и в математике). Для меня, разумеется, эти уже исторические записки на форуме очень интересны. Так я начинала исследовать тессеракт. Вчера внимательно прочитала все три страницы, а также прочитала весь свой рабочий файл "Четырёхмерный магический куб третьего порядка". Ну что же, несмотря на почти полное отсутствие интереса к теме выкладываю и третью страницу с форума ПЕН https://disk.yandex.ru/d/IM6N6d6r3AjoXQ Яндекс.Диск, 119 КБ. И ещё выкладываю свой рабочий файл "Четырёхмерный магический куб третьего порядка" (в Ворде, 38 страниц) https://disk.yandex.ru/i/aB3gEdXq_785OQ Яндекс.Диск, 1,8 МБ. Может быть, когда-нибудь заброшу кортежи и ОДЛК и вернусь к тессеракту :) Тогда мне очень пригодятся эти файлы. Буду очень рада, если кто-то заинтересуется магическими тессерактами и начнёт с ними работать. Тема очень интересная и сложная. Вот так просто магический тессеракт третьего порядка из простых чисел построить не получается. По крайней мере, у меня. Может, кто-то и построит сразу :) Интересно, что там японцы в этом вопросе сделали. Магические кубы третьего порядка из простых чисел они первые построили (забыла фамилию автора). К Антону большая просьба: проштудировать поиск. Искать: магический тессеракт третьего порядка из простых чисел. Ну, все также могут поискать, если вдруг захотят :) О результатах поиска сообщите мне, пожалуйста. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Яндекс при поиске по запросу "магический тессеракт третьего порядка из простых чисел" сразу выдаёт это 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 Да, была такая тема. И о тессеракте хотела тему открыть. Но... Уже началась кампания против моих тем-блогов... Не нужны на форуме блоги. Но я и не собиралась писать блоги! К сожалению, форумчанам все эти магические квадраты, антимагические квадраты, магические кубы и т. д. были совсем не интересны, и по этой причине они ничего не писали в моих темах. Моей вины тут нет. К огромному счастью, теперь я пишу блог и никто меня за это не преследует. Кому интересно, пожалуйста, читайте, кому не интересно - не читайте. Связаться со мной по любому вопросу, освещаемому в блоге, всегда можно. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Игра "Угадай слово" за 29 июня ОСИНА ОБГОН ОРДЕН А сегодня опять "кол" :( Ну, первое проверочное слово - мимо. Вторая попытка - так-сяк. А с третьей попытки началась многовариантность. Слово аж с двумя редкими буквами, да с такой многовариантностью! Полчаса думала, что же это за слово. Только шестая попытка принесла успех. Думала, что вообще проскочу мимо - за шесть попыток не отгадаю. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
К штурму 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. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Игра "Угадай слово" за 30 июня РЕДИС ПОЛКА ОХОТА ЯГОДА ЗЛОБА ЮНОША Сегодня слово не отгадала. Безобразнее игры у меня ещё не было. Загадано примитивное слово, в котором две пары одинаковых букв. При этом жуткая многовариантность. Ужасное разочарование в игре! Наверное, пора бросать эту игру, в которой не могут сделать нормальные правила. Ведь совершенно очевидно, что проверочными словами игроки стараются проверить как можно больше разных букв. Зачем же совать в загаданное слово аж две пары одинаковых букв?! |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
К штурму 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 Те, кто зарегистрирован на сайте, могут писать ЛС. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Тэк-с, вы уже скачали 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. Кто смелый? :) Попробуйте! Это, конечно, пока не штурм, это сотая часть настоящего штурма. Но с чего-то надо начинать! |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
окончание программы 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. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Очень надеюсь, что хоть кто-то попробует. Оптимизация программы приветствуется. Мои познания в PARI/GP самые минимальные, поэтому и программы пишу, наверное, не самым лучшим образом. Но они работают! Худо-бедно. Результаты выдают. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Игра "Угадай слово" за 1 июля Сегодня слово не отгадала. Показываю эту безобразную игру ЧИСЛО ГРАНЬ ЦУКАТ ВЫШКА ДАМКА ПАПКА Слово не отгадано. Как вам нравится такая многовариантность: *А*КА ? Это же жуткая многовариантность!! Загаданное слово - БАБКА. Великолепно! Лучше придумать невозможно! Сегодня сыграла свою последнюю игру, почти не думала, быстренько нашлёпала четыре слова КОЛБА ХВОСТ НЕВОД ВЫЗОВ Опять две одинаковые буквы! Надоели такие слова. Ну их к чёрту! Моя окончательная статистика Игр сыграно - 155 Процент побед - 99% Подряд максимум - 119 Попыток на игру в среднем - 3.78 Рейтинг +780 #вордли Статистика по попыткам 2 попытки ("отлично") - 14 3 попытки ("четвёрка") - 40 4 попытки ("тройка") - 62 5 попыток ("двойка") - 27 6 попыток ("кол") - 9 В трёх играх слово не отгадано. Всё-таки пятёрок больше, чем колов и четвёрок больше, чем двоек :) |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
К штурму 19-ки Вчера крутились программы алгоритмов 3 и 4. Сейчас буду смотреть результаты. А пока запустила на пробу алгоритм №5, в этой программе 4 паттерна на данный момент, должно быть 12 паттернов с 768 формулами. Буду добавлять ещё. Надежды мои все пустые :) Никто программу не попробовал. Ну и ладно. Оно, конечно, понятно: никому эта 19-ка не нужна, кроме нас с черепашкой :) Даже господину Петухову уже не нужна, всё в прошлом - много-много паттернов, 200 миллионов формул одновременно... :))) |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Новости "Пентадекатлона мечты" Господин Лецко писал в сообщении https://dxdy.ru/post1559080.html#p1559080 Предпоследняя. Предпоследнее Хотела посчитать количество цифр в числе, стала двигать его, до конца не дошла :) Ну, разбивали бы длинные числа на части и выводили в несколько строк. Так было бы легче число прочитать. Вот, извлекла (надеюсь, что полностью) 330451180770985680497518214575171009137299328315131746646803865139340611902398169020041967769158401387399221820198412864791508000616939262996526220169530956872028219729390966411349826995795613009654077176265288396350472746522165552199003363702484145924948304529477842338924149691436105213898744146817716346178963094744684476106887759404151585432354465262169766092445728314109146595001220703121 Это первое число пятёрки. Считайте сами, сколько в нём цифр :) PS. Кстати, странно, что на dxdy.ru длинное число не форматируется под параметры страницы. Здесь же форматируется, разделено на три строки и нормально отображается. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
К штурму 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. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Самое первое решение от алгоритма №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. Но решений с этим диаметром пока нет. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
От дочери https://vk.com/ksk_sarov?w=wall234119397_558 Рассказываю: |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Понравилось... Всё было в общем-то неплохо, https://dxdy.ru/post1547531.html#p1547531 и следующий за этим пост в теме |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
Новости "Пентадекатлона мечты" Господин Петухов родил новую семёрку 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 Тоже всё прекрасно читается, и формат страницы не нарушается. |
Send message Joined: 6 Apr 17 Posts: 14350 Credit: 0 RAC: 0 |
К штурму 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 чисел закапризничали и не легли в паттерн. |
©2024 (C) Progger