Posts by Natalia Makarova

1) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17107)
Posted 5 hours ago by Profile Natalia Makarova
Post:
Оба Ахиллеса отстрелялись.

Добавились три центральные 11-ки на Ахиллесе-3

17553189161633750144489: [0,30,48,54,78,84,90,114,120,138,168]
80422915672199836545779: [0,30,48,54,78,84,90,114,120,138,168]
61460507326443914458739: [0,30,48,54,78,84,90,114,120,138,168]

Запустила следующие пакеты.

В текущей серии выполнено 263 программы, в работе 27 программ, осталось 62 программы.
2) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17106)
Posted 15 hours ago by Profile Natalia Makarova
Post:
На Ахиллесе-3 появилась центральная 11-ка

7447028498676853273149: [0,30,48,54,78,84,90,114,120,138,168]

а на Ахиллесе - пополнение моей золотой коллекции

93982533517059856438709: [0,18,30,60,78,84,90,98,104,128,144,168,198,210,228]
 7943

Пакеты ещё считаются.
3) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17105)
Posted 20 hours ago by Profile Natalia Makarova
Post:
Ахиллес тоже отстрелялся с одной центральной 11-й

67572141323510343710159: [0,30,48,54,78,84,90,114,120,138,168]

Запустила следующий пакет.

В текущей серии выполнено 236 программ, в работе 27 программ, осталось 89 программ.
4) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17104)
Posted 21 hours ago by Profile Natalia Makarova
Post:
Ахиллес-3 отстрелялся с результатами

12490809273963844823969: [0,30,48,54,78,84,90,114,120,138,168]
74015939027662618366349: [0,30,48,54,78,84,90,114,120,138,168]
48311562054686121180959: [0,30,48,54,78,84,90,114,120,138,168]

99965084460311066156099: [0,18,30,60,84,92,98,104,114,144,150,168,198,210,228]
 7199
 93342140030442093090239: [0,18,30,60,78,84,90,92,108,114,134,168,198,210,228]
 7943

Коды приближений не уникальные.

Следующий пакет не успела запустить, только 10 программ запустила.

Ахиллесы отключились.
Не знаю, что случилось с ними и с ними ли.
Может, это сервис глючит.

Ахиллесы вернулись.

Запустила ещё 10 программ на Ахиллесе-3.
5) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17103)
Posted 1 day ago by Profile Natalia Makarova
Post:
Напомню: в Приложении 4 реализован мой алгоритм распараллеливания.

Почему для центральных 15-к?
Потому что самое лёгкое распараллеливание именно для них.
Ну, не считая кортежей меньших длин, конечно.

Удалось сделать короткие конечные программы, которые работают всего около 30 минут.
Удалось сгенерировать вушки, хотя и не без сложностей.
Как я уже писала, сгенерировано 41000960 вушек, что составляет ровно 32-ю часть от всего количества вушек.
Таким образом, общее количество вушек равно 41000960*32 = 1312030720.
Это, конечно, много.
Даже и первая порция из 41000960 вушек очень солидная.

Хорошо, если все сгенерированные вушки у Corporal благополучно сохранятся и будут обсчитаны.

У меня уже есть варианты распараллеливания для ключевых 17-к, для 19-к с минимальным диаметром, для 21-к, 23-к, 25-к и 27-к с преемственными паттернами.
Но всё это для BOINC-проекта сложно.
Если даже для центральных 15-к возникли сложности, то для бОльших длин эти сложности возрастут.

Я уже давно отправила Corporal первую маленькую порцию заданий для 23-к (с распараллеливанием), для тестирования.
И он уже приготовил среду для этого Приложения.
Но...
Пока не форсируем.
Надо подумать.
Маленькую порцию протестировать недолго.
А что дальше делать?

Думать пока не получается, мозги от жары расплавились :)
И черепашка тестировать отказывается :)
6) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17102)
Posted 1 day ago by Profile Natalia Makarova
Post:
Тэк-с, пока центральных 11-к от Приложения 4 за последние сутки нет, отсортирую два списка 1 и 2 (вместе), о которых написал Ядряра.

Вот результат сортировки с удалением дубликатов

330
[3593956761578828053, 469431870344289256813, 480405305856828146203, 540262252142703084403, 1023258249828131801893, 1214546617173333138103, 1531754434522273776223, 2268599172118016362033, 2344425597908966125963, 2479148885199938676133, 2527373207359187932153, 2664353939184626032753, 3188784210411489594313, 3529842060501710608063, 3866054504226877006453, 4070875101842871836923, 4366388641782857314033, 4378373698229277981643, 5660622062432647894993, 5671868586394704247963, 6053212353756007884853, 6188078240535509842933, 6196391455484956970653, 6690569164512434095303, 6719064625792111587403, 7338515637592393728883, 8096545222169468749093, 8154414626552706646543, 10155333779279896932133, 10458662796372324258133, 10511260087547780485333, 10718660100205676703493, 10777359942510358972183, 10913209996717897533073, 11038421353048756771513, 11067140228113735179823, 11633457735097214100493, 11810939288986965191473, 11875260260061121267753, 12889390443167717453383, 13028061663376234999933, 13045104831359309282983, 13302166326251964265513, 13451383462498005799183, 15033619156989820031053, 15539963634770905184263, 15626540623637104455703, 15818760246007781066413, 16212848367364096312273, 16227379018172102114743, 16356447094358812024993, 16588055937221663378893, 17331185181427278595843, 17439841017067503879253, 18040844846162666782663, 18810790891422155990773, 19841663120546428816063, 19849157442633800465593, 20103190714836898763503, 21365693965549936446853, 21866293559619547242613, 21965331475772867666893, 22178467458967936170463, 22219413289056704895583, 22750470197555062246693, 23317951691328309159553, 24023730455749671901663, 24396128137193340432313, 24838089823767706310233, 25043205823509153734863, 26113037179578281196673, 26770872765994110277933, 28153037093423985667333, 28174588342906378507543, 28572988606033648661293, 29119706811508286377813, 29441497521258987869113, 29556405509563774896463, 29602450637685559197973, 29625630133680360444073, 29804401481684477272033, 30941736650533748383753, 31453240656135865181023, 32853000392826457948513, 34689989094945832772533, 35304101364434157940093, 35322713264616715331803, 35362018760904730579093, 35459831929715082784303, 35540866535479719588583, 36888796693642867608043, 37199286121990623245023, 37577991825970223982763, 37906287554007368490403, 38335434761265903285433, 38779886463783694153333, 38900781990457384331743, 39166298838295456952533, 39535322036581276970473, 40177732811321123602993, 40823186614291220133403, 41822514761980379391373, 41987013971840853229723, 42286095085642124190883, 44194343589453771768463, 44196274428802948086043, 44797128307864242824923, 45320347282528599325453, 45659555149146241547653, 45797690023973502879673, 46599566950024469365393, 46814209471079595349213, 47046497974803812189113, 48397301946156193214593, 48947839776228471853183, 49360443408931181801683, 49751946388219829267923, 49988527564377926828713, 52271481834191836040233, 52395717602926077514543, 52477498500884506694053, 52586271576426307213903, 53640226727543727245383, 54043595354482169760733, 54497660910471845350693, 55488679492696825019053, 55860835229883908198383, 56448023724914377089943, 57223797840798461557093, 57286230419367549834643, 57570066538448513133493, 57585961039768749672493, 57939954940996681267123, 58064859637620860578963, 58718457662936781394093, 59234209165049877462913, 59453572016478050485483, 60056120923601310512413, 61299742263742090412713, 61735202990871705269383, 61957842182061061590763, 62489541487050370967683, 62691757286059265478523, 62912978874574312168093, 63624474213217163560723, 63770474733920574454243, 64091472616616936074993, 64267734054839188498033, 65455390109175653771593, 65899143737676440435653, 65990732025501140421973, 66072048780627330795763, 67140303398725675372663, 68092510537659668584933, 68765993897781973717333, 69062586626340053160823, 69552385996852851827143, 71601802345976179621753, 73073195901378268890703, 73357840549065059261683, 74576785221638502306913, 75542526267728848612693, 76257792378004769736613, 76665733118319591931093, 79288527680361935169643, 80037569214322007722843, 81467257584551949424723, 81967693708022248610893, 82034477486560453108663, 82074151489023155506453, 83350876293571785252763, 83990365126803878357023, 84302108147182598307043, 85052364033749104216633, 85083072335017996203373, 85984168252448069658463, 86369923342102476110443, 86445076646600208201073, 86456915057239502630263, 86602730441583155744353, 86954927259853818489733, 88267058880010591695523, 88871612504305565068543, 88887694602724232609803, 90282027595215627735973, 91029055056778525030753, 92972693893901175828883, 93204151742273844616753, 94012375716291470062033, 94198041852669763482883, 94688639951867641674403, 95297515110665880456853, 95719664546647715508343, 96064180958138678029153, 98825206244343167433253, 100266505357529290904533, 100944990717518341318333, 101206519776124597549123, 102048776369077396182733, 102252523182832034987383, 103462680572862951614683, 103485454876247448278683, 104325641722672910043913, 104752467486357403887583, 104805276737215763072773, 105471798556099363762783, 105582696851858390588833, 107747012009354898444673, 107794038943859110757323, 107929693126258686847573, 109283454966314046092083, 109931807307069056984083, 110544309838926668779483, 112183748565239573146333, 112202942840155346093323, 112517591797026917395303, 112658807808553263781933, 114697714325583416611993, 115723855583505672097003]
219

330 начальных элементов на входе, 219 - на выходе.

За два дня работы Приложения 4 найдено 219 центральных 11-к!
Это в разы больше, чем находится в Приложении 3.
И никакого хвастовства я тут не вижу, просто факт.

Это ж надо такую ахинею придумать: я специально сложила результаты двух дней в один, чтобы похвастаться большим количеством
центральных 11-к!
Только гении способны до такого додуматься :)
7) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17101)
Posted 1 day ago by Profile Natalia Makarova
Post:
Вот и они - очаровательные центральные 11-ки

9
31300215719364609723671389: [0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168]
31300215719364609723671389: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
31300215719364609723671389: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=11
code=511

33526436935545606283206839: [0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168]
33526436935545606283206839: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
33526436935545606283206839: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=11
code=511

33526436980866655641416009: [0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168]
33526436980866655641416009: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
33526436980866655641416009: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=11
code=511

33526437150905582440224923: [0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168]
33526437150905582440224923: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
33526437150905582440224923: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=11
code=511

33526437069765313426959329: [0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168]
33526437069765313426959329: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
33526437069765313426959329: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=11
code=511

33526437265123088393331479: [0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168]
33526437265123088393331479: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
33526437265123088393331479: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=11
code=511

32784363523826360615649889: [0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168]
32784363523826360615649889: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
32784363523826360615649889: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=11
code=511

33526437149302867163492353: [0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168]
33526437149302867163492353: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
33526437149302867163492353: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=11
code=511

33526437139255695634620029: [0, 30, 48, 54, 78, 84, 90, 114, 120, 138, 168]
33526437139255695634620029: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
33526437139255695634620029: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=11
code=511

Ошибок не обнаружено.
8) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17100)
Posted 1 day ago by Profile Natalia Makarova
Post:
В Приложении 3 сегодня найдено 9 центральных 11-к

31300215719364609723671389: [0,30,48,54,78,84,90,114,120,138,168]
 [0,6,90,96,114,126,156,174,180,204,210,216,240,246,264,294,306,324,330,414,420]

33526436935545606283206839: [0,30,48,54,78,84,90,114,120,138,168]
 [0,24,84,90,108,120,150,168,174,198,204,210,234,240,258,288,300,318,324,384,408]

33526436980866655641416009: [0,30,48,54,78,84,90,114,120,138,168]
 [0,24,84,90,108,120,150,168,174,198,204,210,234,240,258,288,300,318,324,384,408]

33526437150905582440224923: [0,30,48,54,78,84,90,114,120,138,168]
 [0,114,210,216,234,246,276,294,300,324,330,336,360,366,384,414,426,444,450,546,660]

33526437069765313426959329: [0,30,48,54,78,84,90,114,120,138,168]
 [0,54,60,66,84,96,126,144,150,174,180,186,210,216,234,264,276,294,300,306,360]

33526437265123088393331479: [0,30,48,54,78,84,90,114,120,138,168]
 [0,6,90,96,114,126,156,174,180,204,210,216,240,246,264,294,306,324,330,414,420]

32784363523826360615649889: [0,30,48,54,78,84,90,114,120,138,168]
 [0,120,210,216,234,246,276,294,300,324,330,336,360,366,384,414,426,444,450,540,660]

33526437149302867163492353: [0,30,48,54,78,84,90,114,120,138,168]
 [0,54,144,150,168,180,210,228,234,258,264,270,294,300,318,348,360,378,384,474,528]

33526437139255695634620029: [0,30,48,54,78,84,90,114,120,138,168]
 [0,24,84,90,108,120,150,168,174,198,204,210,234,240,258,288,300,318,324,384,408]

Отлично!

Щас проверю утилитой, вдруг неправильные кортежи.
Опять Ядряре придётся напрягаться :)

Нет, на дубликаты проверять не буду.
В этой порции дубликатов не вижу.
9) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17099)
Posted 1 day ago by Profile Natalia Makarova
Post:
Всё-таки нашла поиском приближения к центральной 15-ке с уникальными кодами, вот они

17068661096389926157513: [0,18,30,60,78,88,106,108,120,144,150,168,198,210,228]
 7743
86987367090844962175813: [0,18,30,60,78,88,106,114,120,124,150,168,198,210,228]
 7791
47858663718941897596153: [0,18,30,60,78,88,108,114,126,144,166,168,198,210,228]
 7895

Пропущенных кодов стало 134.

Проверка приближений моей утилитой

? \rappr15.txt
   logfile = "appr15_res.txt"
3
17068661096389926157513: [0, 18, 30, 60, 78, 88, 106, 108, 120, 144, 150, 168, 198, 210, 228]
17068661096389926157513: [0, 0, 0, 0, 0, 4, -2, -6, 0, 0, 0, 0, 0, 0, 0]
17068661096389926157513: [1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1]
valids=12
code=7743

86987367090844962175813: [0, 18, 30, 60, 78, 88, 106, 114, 120, 124, 150, 168, 198, 210, 228]
86987367090844962175813: [0, 0, 0, 0, 0, 4, -2, 0, 0, -20, 0, 0, 0, 0, 0]
86987367090844962175813: [1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1]
valids=12
code=7791

47858663718941897596153: [0, 18, 30, 60, 78, 88, 108, 114, 126, 144, 166, 168, 198, 210, 228]
47858663718941897596153: [0, 0, 0, 0, 0, 4, 0, 0, 6, 0, 16, 0, 0, 0, 0]
47858663718941897596153: [1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1]
valids=12
code=7895

Всё верно.

Осталось извлечь из сегодняшней порции результатов Приложения 4 центральные 11-ки.
10) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17098)
Posted 1 day ago by Profile Natalia Makarova
Post:
Итак, программа, работающая в Приложении 4, не даёт ошибок.

По крайней мере, пока они мной не обнаружены.

"Вопиющие" ошибки только у Ядряры вопиют :)
11) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17097)
Posted 1 day ago by Profile Natalia Makarova
Post:
Проверка приближений

49
1373944007661869348083: [0, 18, 30, 60, 78, 84, 114, 124, 136, 148, 166, 168, 198, 210, 228]
1373944007661869348083: [0, 0, 0, 0, 0, 0, 6, 10, 16, 4, 16, 0, 0, 0, 0]
1373944007661869348083: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

1457490818549084163223: [0, 18, 30, 60, 78, 84, 96, 100, 114, 124, 130, 168, 198, 210, 228]
1457490818549084163223: [0, 0, 0, 0, 0, 0, -12, -14, -6, -20, -20, 0, 0, 0, 0]
1457490818549084163223: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

5072995008947472010783: [0, 18, 30, 60, 78, 84, 96, 108, 124, 136, 166, 168, 198, 210, 228]
5072995008947472010783: [0, 0, 0, 0, 0, 0, -12, -6, 4, -8, 16, 0, 0, 0, 0]
5072995008947472010783: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

5729100228547213662523: [0, 18, 30, 60, 78, 84, 100, 106, 108, 120, 144, 168, 198, 210, 228]
5729100228547213662523: [0, 0, 0, 0, 0, 0, -8, -8, -12, -24, -6, 0, 0, 0, 0]
5729100228547213662523: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

9562488708531144370363: [0, 18, 30, 60, 78, 84, 96, 100, 106, 130, 148, 168, 198, 210, 228]
9562488708531144370363: [0, 0, 0, 0, 0, 0, -12, -14, -14, -14, -2, 0, 0, 0, 0]
9562488708531144370363: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

10936746400259878562743: [0, 18, 30, 60, 78, 84, 88, 96, 100, 114, 136, 168, 198, 210, 228]
10936746400259878562743: [0, 0, 0, 0, 0, 0, -20, -18, -20, -30, -14, 0, 0, 0, 0]
10936746400259878562743: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

11873714915964406939813: [0, 18, 30, 60, 78, 84, 96, 130, 136, 150, 166, 168, 198, 210, 228]
11873714915964406939813: [0, 0, 0, 0, 0, 0, -12, 16, 16, 6, 16, 0, 0, 0, 0]
11873714915964406939813: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

13720433068043614867333: [0, 18, 30, 60, 78, 84, 88, 106, 114, 120, 130, 168, 198, 210, 228]
13720433068043614867333: [0, 0, 0, 0, 0, 0, -20, -8, -6, -24, -20, 0, 0, 0, 0]
13720433068043614867333: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

15254016998621812805773: [0, 18, 30, 60, 78, 84, 96, 106, 108, 114, 136, 168, 198, 210, 228]
15254016998621812805773: [0, 0, 0, 0, 0, 0, -12, -8, -12, -30, -14, 0, 0, 0, 0]
15254016998621812805773: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

17781447955251451865773: [0, 18, 30, 60, 78, 84, 100, 108, 114, 136, 144, 168, 198, 210, 228]
17781447955251451865773: [0, 0, 0, 0, 0, 0, -8, -6, -6, -8, -6, 0, 0, 0, 0]
17781447955251451865773: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

21703354451942842753453: [0, 18, 30, 60, 78, 84, 88, 100, 126, 130, 136, 168, 198, 210, 228]
21703354451942842753453: [0, 0, 0, 0, 0, 0, -20, -14, 6, -14, -14, 0, 0, 0, 0]
21703354451942842753453: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

22616696500383640819543: [0, 18, 30, 60, 78, 84, 96, 100, 108, 124, 166, 168, 198, 210, 228]
22616696500383640819543: [0, 0, 0, 0, 0, 0, -12, -14, -12, -20, 16, 0, 0, 0, 0]
22616696500383640819543: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

23984131272163420252273: [0, 18, 30, 60, 78, 84, 100, 106, 126, 136, 144, 168, 198, 210, 228]
23984131272163420252273: [0, 0, 0, 0, 0, 0, -8, -8, 6, -8, -6, 0, 0, 0, 0]
23984131272163420252273: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

25950745916354101156693: [0, 18, 30, 60, 78, 84, 96, 120, 126, 150, 166, 168, 198, 210, 228]
25950745916354101156693: [0, 0, 0, 0, 0, 0, -12, 6, 6, 6, 16, 0, 0, 0, 0]
25950745916354101156693: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

27106621756093641576193: [0, 18, 30, 60, 78, 84, 120, 124, 126, 136, 166, 168, 198, 210, 228]
27106621756093641576193: [0, 0, 0, 0, 0, 0, 12, 10, 6, -8, 16, 0, 0, 0, 0]
27106621756093641576193: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

29894542062496008902383: [0, 18, 30, 60, 78, 84, 96, 106, 108, 120, 130, 168, 198, 210, 228]
29894542062496008902383: [0, 0, 0, 0, 0, 0, -12, -8, -12, -24, -20, 0, 0, 0, 0]
29894542062496008902383: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

34230778190050780752793: [0, 18, 30, 60, 78, 84, 96, 106, 108, 124, 144, 168, 198, 210, 228]
34230778190050780752793: [0, 0, 0, 0, 0, 0, -12, -8, -12, -20, -6, 0, 0, 0, 0]
34230778190050780752793: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

39484410801426162346153: [0, 18, 30, 60, 78, 84, 100, 106, 114, 120, 136, 168, 198, 210, 228]
39484410801426162346153: [0, 0, 0, 0, 0, 0, -8, -8, -6, -24, -14, 0, 0, 0, 0]
39484410801426162346153: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

44808409014055857694903: [0, 18, 30, 60, 78, 84, 96, 100, 114, 124, 126, 168, 198, 210, 228]
44808409014055857694903: [0, 0, 0, 0, 0, 0, -12, -14, -6, -20, -24, 0, 0, 0, 0]
44808409014055857694903: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

45855530196572943881413: [0, 18, 30, 60, 78, 84, 126, 144, 148, 150, 166, 168, 198, 210, 228]
45855530196572943881413: [0, 0, 0, 0, 0, 0, 18, 30, 28, 6, 16, 0, 0, 0, 0]
45855530196572943881413: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

49396299604316677016383: [0, 18, 30, 60, 78, 84, 106, 124, 144, 150, 166, 168, 198, 210, 228]
49396299604316677016383: [0, 0, 0, 0, 0, 0, -2, 10, 24, 6, 16, 0, 0, 0, 0]
49396299604316677016383: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

51351462660265206623563: [0, 18, 30, 60, 78, 84, 88, 106, 124, 148, 166, 168, 198, 210, 228]
51351462660265206623563: [0, 0, 0, 0, 0, 0, -20, -8, 4, 4, 16, 0, 0, 0, 0]
51351462660265206623563: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

52191266429773617821053: [0, 18, 30, 60, 78, 84, 124, 136, 148, 150, 166, 168, 198, 210, 228]
52191266429773617821053: [0, 0, 0, 0, 0, 0, 16, 22, 28, 6, 16, 0, 0, 0, 0]
52191266429773617821053: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

55593956650943339363113: [0, 18, 30, 60, 78, 84, 88, 108, 114, 120, 166, 168, 198, 210, 228]
55593956650943339363113: [0, 0, 0, 0, 0, 0, -20, -6, -6, -24, 16, 0, 0, 0, 0]
55593956650943339363113: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

55635161460465709656913: [0, 18, 30, 60, 78, 84, 100, 108, 114, 124, 130, 168, 198, 210, 228]
55635161460465709656913: [0, 0, 0, 0, 0, 0, -8, -6, -6, -20, -20, 0, 0, 0, 0]
55635161460465709656913: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

57799474598252269507003: [0, 18, 30, 60, 78, 84, 114, 120, 124, 130, 148, 168, 198, 210, 228]
57799474598252269507003: [0, 0, 0, 0, 0, 0, 6, 6, 4, -14, -2, 0, 0, 0, 0]
57799474598252269507003: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

58241237801518969281463: [0, 18, 30, 60, 78, 84, 96, 100, 130, 136, 166, 168, 198, 210, 228]
58241237801518969281463: [0, 0, 0, 0, 0, 0, -12, -14, 10, -8, 16, 0, 0, 0, 0]
58241237801518969281463: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

62737786201543429580983: [0, 18, 30, 60, 78, 84, 88, 108, 114, 126, 148, 168, 198, 210, 228]
62737786201543429580983: [0, 0, 0, 0, 0, 0, -20, -6, -6, -18, -2, 0, 0, 0, 0]
62737786201543429580983: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

65539814370560092677493: [0, 18, 30, 60, 78, 84, 96, 100, 106, 108, 136, 168, 198, 210, 228]
65539814370560092677493: [0, 0, 0, 0, 0, 0, -12, -14, -14, -36, -14, 0, 0, 0, 0]
65539814370560092677493: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

68656541929169651781703: [0, 18, 30, 60, 78, 84, 120, 130, 144, 150, 166, 168, 198, 210, 228]
68656541929169651781703: [0, 0, 0, 0, 0, 0, 12, 16, 24, 6, 16, 0, 0, 0, 0]
68656541929169651781703: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

68926030725695783153893: [0, 18, 30, 60, 78, 84, 96, 120, 124, 148, 166, 168, 198, 210, 228]
68926030725695783153893: [0, 0, 0, 0, 0, 0, -12, 6, 4, 4, 16, 0, 0, 0, 0]
68926030725695783153893: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

71310452272859269914823: [0, 18, 30, 60, 78, 84, 130, 144, 148, 150, 166, 168, 198, 210, 228]
71310452272859269914823: [0, 0, 0, 0, 0, 0, 22, 30, 28, 6, 16, 0, 0, 0, 0]
71310452272859269914823: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

71866233571573000584403: [0, 18, 30, 60, 78, 84, 88, 96, 100, 124, 130, 168, 198, 210, 228]
71866233571573000584403: [0, 0, 0, 0, 0, 0, -20, -18, -20, -20, -20, 0, 0, 0, 0]
71866233571573000584403: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

76315754667224233005223: [0, 18, 30, 60, 78, 84, 114, 120, 124, 136, 148, 168, 198, 210, 228]
76315754667224233005223: [0, 0, 0, 0, 0, 0, 6, 6, 4, -8, -2, 0, 0, 0, 0]
76315754667224233005223: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

77009643629668299794623: [0, 18, 30, 60, 78, 84, 88, 96, 114, 120, 166, 168, 198, 210, 228]
77009643629668299794623: [0, 0, 0, 0, 0, 0, -20, -18, -6, -24, 16, 0, 0, 0, 0]
77009643629668299794623: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

85884526459523813666023: [0, 18, 30, 60, 78, 84, 88, 108, 136, 148, 166, 168, 198, 210, 228]
85884526459523813666023: [0, 0, 0, 0, 0, 0, -20, -6, 16, 4, 16, 0, 0, 0, 0]
85884526459523813666023: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

87847527812746492455043: [0, 18, 30, 60, 78, 84, 88, 96, 106, 108, 166, 168, 198, 210, 228]
87847527812746492455043: [0, 0, 0, 0, 0, 0, -20, -18, -14, -36, 16, 0, 0, 0, 0]
87847527812746492455043: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

89619629626769433956143: [0, 18, 30, 60, 78, 84, 88, 96, 106, 136, 148, 168, 198, 210, 228]
89619629626769433956143: [0, 0, 0, 0, 0, 0, -20, -18, -14, -8, -2, 0, 0, 0, 0]
89619629626769433956143: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

91927252027455383062903: [0, 18, 30, 60, 78, 84, 88, 96, 106, 108, 124, 168, 198, 210, 228]
91927252027455383062903: [0, 0, 0, 0, 0, 0, -20, -18, -14, -36, -26, 0, 0, 0, 0]
91927252027455383062903: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

94298436385111742868463: [0, 18, 30, 60, 78, 84, 100, 108, 144, 150, 166, 168, 198, 210, 228]
94298436385111742868463: [0, 0, 0, 0, 0, 0, -8, -6, 24, 6, 16, 0, 0, 0, 0]
94298436385111742868463: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

96031234296991797287863: [0, 18, 30, 60, 78, 84, 114, 124, 130, 136, 166, 168, 198, 210, 228]
96031234296991797287863: [0, 0, 0, 0, 0, 0, 6, 10, 10, -8, 16, 0, 0, 0, 0]
96031234296991797287863: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

100688317270048117023793: [0, 18, 30, 60, 78, 84, 100, 108, 126, 150, 166, 168, 198, 210, 228]
100688317270048117023793: [0, 0, 0, 0, 0, 0, -8, -6, 6, 6, 16, 0, 0, 0, 0]
100688317270048117023793: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

105634405762175970093793: [0, 18, 30, 60, 78, 84, 88, 126, 144, 148, 166, 168, 198, 210, 228]
105634405762175970093793: [0, 0, 0, 0, 0, 0, -20, 12, 24, 4, 16, 0, 0, 0, 0]
105634405762175970093793: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

106277088209243214247363: [0, 18, 30, 60, 78, 84, 88, 108, 114, 136, 144, 168, 198, 210, 228]
106277088209243214247363: [0, 0, 0, 0, 0, 0, -20, -6, -6, -8, -6, 0, 0, 0, 0]
106277088209243214247363: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

106277133192199483768633: [0, 18, 30, 60, 78, 84, 114, 124, 126, 136, 166, 168, 198, 210, 228]
106277133192199483768633: [0, 0, 0, 0, 0, 0, 6, 10, 6, -8, 16, 0, 0, 0, 0]
106277133192199483768633: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

107614755171911720517163: [0, 18, 30, 60, 78, 84, 88, 120, 124, 130, 144, 168, 198, 210, 228]
107614755171911720517163: [0, 0, 0, 0, 0, 0, -20, 6, 4, -14, -6, 0, 0, 0, 0]
107614755171911720517163: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

107975198835519688477183: [0, 18, 30, 60, 78, 84, 114, 120, 126, 136, 148, 168, 198, 210, 228]
107975198835519688477183: [0, 0, 0, 0, 0, 0, 6, 6, 6, -8, -2, 0, 0, 0, 0]
107975198835519688477183: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

114629280396503342864773: [0, 18, 30, 60, 78, 84, 100, 126, 136, 148, 166, 168, 198, 210, 228]
114629280396503342864773: [0, 0, 0, 0, 0, 0, -8, 12, 16, 4, 16, 0, 0, 0, 0]
114629280396503342864773: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

115448231143579625815903: [0, 18, 30, 60, 78, 84, 96, 106, 124, 130, 166, 168, 198, 210, 228]
115448231143579625815903: [0, 0, 0, 0, 0, 0, -12, -8, 4, -14, 16, 0, 0, 0, 0]
115448231143579625815903: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

Теперь всё верно.

Посмотрите на паттерны этих приближений.
Все ли они разные?

Нам надо много разных паттернов получить в этих приближениях.
Сколько?
Я пока не считала.
Можно посчитать.
12) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17096)
Posted 1 day ago by Profile Natalia Makarova
Post:
Итак, снова выполнила программу сортировки.

? \r sort.txt
   logfile = "sort_res.txt"
49
[1373944007661869348083, 1457490818549084163223, 5072995008947472010783, 5729100228547213662523, 9562488708531144370363, 10936746400259878562743, 11873714915964406939813, 13720433068043614867333, 15254016998621812805773, 17781447955251451865773, 21703354451942842753453, 22616696500383640819543, 23984131272163420252273, 25950745916354101156693, 27106621756093641576193, 29894542062496008902383, 34230778190050780752793, 39484410801426162346153, 44808409014055857694903, 45855530196572943881413, 49396299604316677016383, 51351462660265206623563, 52191266429773617821053, 55593956650943339363113, 55635161460465709656913, 57799474598252269507003, 58241237801518969281463, 62737786201543429580983, 65539814370560092677493, 68656541929169651781703, 68926030725695783153893, 71310452272859269914823, 71866233571573000584403, 76315754667224233005223, 77009643629668299794623, 85884526459523813666023, 87847527812746492455043, 89619629626769433956143, 91927252027455383062903, 94298436385111742868463, 96031234296991797287863, 100688317270048117023793, 105634405762175970093793, 106277088209243214247363, 106277133192199483768633, 107614755171911720517163, 107975198835519688477183, 114629280396503342864773, 115448231143579625815903]
49

Начальных элементов приближений стало 49.

Осталось проверить утилитой приближения.

Да, все ошибаются.
Это всем известно.
Но надо уметь проверять себя, и находить ошибки, и исправлять их.
13) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17095)
Posted 1 day ago by Profile Natalia Makarova
Post:
Ошибка сидит в программе сортировки. в исходных данных

\l sort_res.txt;

{v=[5072995008947472010783,71866233571573000584403,106277133192199483768633,
57799474598252269507003,55593956650943339363113,51351462660265206623563,
21703354451942842753453,94298436385111742868463,27106621756093641576193,
1457490818549084163223,96031234296991797287863,9562488708531144370363,
29894542062496008902383,107614755171911720517163,55635161460465709656913,
11873714915964406939813,49396299604316677016383,89619629626769433956143,
114629280396503342864773,77009643629668299794623,107975198835519688477183,
62737786201543429580983,87847527812746492455043,44808409014055857694903,
76315754667224233005223,34230778190050780752793,100688317270048117023793,
10936746400259878562743,91927252027455383062903.39484410801426162346153,
105634405762175970093793,5729100228547213662523,17781447955251451865773,
106277088209243214247363,68656541929169651781703,1373944007661869348083,
85884526459523813666023,58241237801518969281463,65539814370560092677493,
25950745916354101156693,15254016998621812805773,23984131272163420252273,
45855530196572943881413,71310452272859269914823,13720433068043614867333,
52191266429773617821053,115448231143579625815903,68926030725695783153893,
22616696500383640819543];
print(#v);

w=vecsort(v,,8);

print(w);
print(#w);

}

Выделила красным цветом этот начальный элемент, после него стоит точка вместо запятой.
14) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17094)
Posted 1 day ago by Profile Natalia Makarova
Post:
Ну, и проверка приближений утилитой

48
1373944007661869348083: [0, 18, 30, 60, 78, 84, 114, 124, 136, 148, 166, 168, 198, 210, 228]
1373944007661869348083: [0, 0, 0, 0, 0, 0, 6, 10, 16, 4, 16, 0, 0, 0, 0]
1373944007661869348083: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

1457490818549084163223: [0, 18, 30, 60, 78, 84, 96, 100, 114, 124, 130, 168, 198, 210, 228]
1457490818549084163223: [0, 0, 0, 0, 0, 0, -12, -14, -6, -20, -20, 0, 0, 0, 0]
1457490818549084163223: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

5072995008947472010783: [0, 18, 30, 60, 78, 84, 96, 108, 124, 136, 166, 168, 198, 210, 228]
5072995008947472010783: [0, 0, 0, 0, 0, 0, -12, -6, 4, -8, 16, 0, 0, 0, 0]
5072995008947472010783: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

5729100228547213662523: [0, 18, 30, 60, 78, 84, 100, 106, 108, 120, 144, 168, 198, 210, 228]
5729100228547213662523: [0, 0, 0, 0, 0, 0, -8, -8, -12, -24, -6, 0, 0, 0, 0]
5729100228547213662523: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

9562488708531144370363: [0, 18, 30, 60, 78, 84, 96, 100, 106, 130, 148, 168, 198, 210, 228]
9562488708531144370363: [0, 0, 0, 0, 0, 0, -12, -14, -14, -14, -2, 0, 0, 0, 0]
9562488708531144370363: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

10936746400259878562743: [0, 18, 30, 60, 78, 84, 88, 96, 100, 114, 136, 168, 198, 210, 228]
10936746400259878562743: [0, 0, 0, 0, 0, 0, -20, -18, -20, -30, -14, 0, 0, 0, 0]
10936746400259878562743: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

11873714915964406939813: [0, 18, 30, 60, 78, 84, 96, 130, 136, 150, 166, 168, 198, 210, 228]
11873714915964406939813: [0, 0, 0, 0, 0, 0, -12, 16, 16, 6, 16, 0, 0, 0, 0]
11873714915964406939813: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

13720433068043614867333: [0, 18, 30, 60, 78, 84, 88, 106, 114, 120, 130, 168, 198, 210, 228]
13720433068043614867333: [0, 0, 0, 0, 0, 0, -20, -8, -6, -24, -20, 0, 0, 0, 0]
13720433068043614867333: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

15254016998621812805773: [0, 18, 30, 60, 78, 84, 96, 106, 108, 114, 136, 168, 198, 210, 228]
15254016998621812805773: [0, 0, 0, 0, 0, 0, -12, -8, -12, -30, -14, 0, 0, 0, 0]
15254016998621812805773: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

17781447955251451865773: [0, 18, 30, 60, 78, 84, 100, 108, 114, 136, 144, 168, 198, 210, 228]
17781447955251451865773: [0, 0, 0, 0, 0, 0, -8, -6, -6, -8, -6, 0, 0, 0, 0]
17781447955251451865773: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

21703354451942842753453: [0, 18, 30, 60, 78, 84, 88, 100, 126, 130, 136, 168, 198, 210, 228]
21703354451942842753453: [0, 0, 0, 0, 0, 0, -20, -14, 6, -14, -14, 0, 0, 0, 0]
21703354451942842753453: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

22616696500383640819543: [0, 18, 30, 60, 78, 84, 96, 100, 108, 124, 166, 168, 198, 210, 228]
22616696500383640819543: [0, 0, 0, 0, 0, 0, -12, -14, -12, -20, 16, 0, 0, 0, 0]
22616696500383640819543: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

23984131272163420252273: [0, 18, 30, 60, 78, 84, 100, 106, 126, 136, 144, 168, 198, 210, 228]
23984131272163420252273: [0, 0, 0, 0, 0, 0, -8, -8, 6, -8, -6, 0, 0, 0, 0]
23984131272163420252273: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

25950745916354101156693: [0, 18, 30, 60, 78, 84, 96, 120, 126, 150, 166, 168, 198, 210, 228]
25950745916354101156693: [0, 0, 0, 0, 0, 0, -12, 6, 6, 6, 16, 0, 0, 0, 0]
25950745916354101156693: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

27106621756093641576193: [0, 18, 30, 60, 78, 84, 120, 124, 126, 136, 166, 168, 198, 210, 228]
27106621756093641576193: [0, 0, 0, 0, 0, 0, 12, 10, 6, -8, 16, 0, 0, 0, 0]
27106621756093641576193: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

29894542062496008902383: [0, 18, 30, 60, 78, 84, 96, 106, 108, 120, 130, 168, 198, 210, 228]
29894542062496008902383: [0, 0, 0, 0, 0, 0, -12, -8, -12, -24, -20, 0, 0, 0, 0]
29894542062496008902383: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

34230778190050780752793: [0, 18, 30, 60, 78, 84, 96, 106, 108, 124, 144, 168, 198, 210, 228]
34230778190050780752793: [0, 0, 0, 0, 0, 0, -12, -8, -12, -20, -6, 0, 0, 0, 0]
34230778190050780752793: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

44808409014055857694903: [0, 18, 30, 60, 78, 84, 96, 100, 114, 124, 126, 168, 198, 210, 228]
44808409014055857694903: [0, 0, 0, 0, 0, 0, -12, -14, -6, -20, -24, 0, 0, 0, 0]
44808409014055857694903: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

45855530196572943881413: [0, 18, 30, 60, 78, 84, 126, 144, 148, 150, 166, 168, 198, 210, 228]
45855530196572943881413: [0, 0, 0, 0, 0, 0, 18, 30, 28, 6, 16, 0, 0, 0, 0]
45855530196572943881413: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

49396299604316677016383: [0, 18, 30, 60, 78, 84, 106, 124, 144, 150, 166, 168, 198, 210, 228]
49396299604316677016383: [0, 0, 0, 0, 0, 0, -2, 10, 24, 6, 16, 0, 0, 0, 0]
49396299604316677016383: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

51351462660265206623563: [0, 18, 30, 60, 78, 84, 88, 106, 124, 148, 166, 168, 198, 210, 228]
51351462660265206623563: [0, 0, 0, 0, 0, 0, -20, -8, 4, 4, 16, 0, 0, 0, 0]
51351462660265206623563: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

52191266429773617821053: [0, 18, 30, 60, 78, 84, 124, 136, 148, 150, 166, 168, 198, 210, 228]
52191266429773617821053: [0, 0, 0, 0, 0, 0, 16, 22, 28, 6, 16, 0, 0, 0, 0]
52191266429773617821053: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

55593956650943339363113: [0, 18, 30, 60, 78, 84, 88, 108, 114, 120, 166, 168, 198, 210, 228]
55593956650943339363113: [0, 0, 0, 0, 0, 0, -20, -6, -6, -24, 16, 0, 0, 0, 0]
55593956650943339363113: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

55635161460465709656913: [0, 18, 30, 60, 78, 84, 100, 108, 114, 124, 130, 168, 198, 210, 228]
55635161460465709656913: [0, 0, 0, 0, 0, 0, -8, -6, -6, -20, -20, 0, 0, 0, 0]
55635161460465709656913: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

57799474598252269507003: [0, 18, 30, 60, 78, 84, 114, 120, 124, 130, 148, 168, 198, 210, 228]
57799474598252269507003: [0, 0, 0, 0, 0, 0, 6, 6, 4, -14, -2, 0, 0, 0, 0]
57799474598252269507003: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

58241237801518969281463: [0, 18, 30, 60, 78, 84, 96, 100, 130, 136, 166, 168, 198, 210, 228]
58241237801518969281463: [0, 0, 0, 0, 0, 0, -12, -14, 10, -8, 16, 0, 0, 0, 0]
58241237801518969281463: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

62737786201543429580983: [0, 18, 30, 60, 78, 84, 88, 108, 114, 126, 148, 168, 198, 210, 228]
62737786201543429580983: [0, 0, 0, 0, 0, 0, -20, -6, -6, -18, -2, 0, 0, 0, 0]
62737786201543429580983: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

65539814370560092677493: [0, 18, 30, 60, 78, 84, 96, 100, 106, 108, 136, 168, 198, 210, 228]
65539814370560092677493: [0, 0, 0, 0, 0, 0, -12, -14, -14, -36, -14, 0, 0, 0, 0]
65539814370560092677493: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

68656541929169651781703: [0, 18, 30, 60, 78, 84, 120, 130, 144, 150, 166, 168, 198, 210, 228]
68656541929169651781703: [0, 0, 0, 0, 0, 0, 12, 16, 24, 6, 16, 0, 0, 0, 0]
68656541929169651781703: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

68926030725695783153893: [0, 18, 30, 60, 78, 84, 96, 120, 124, 148, 166, 168, 198, 210, 228]
68926030725695783153893: [0, 0, 0, 0, 0, 0, -12, 6, 4, 4, 16, 0, 0, 0, 0]
68926030725695783153893: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

71310452272859269914823: [0, 18, 30, 60, 78, 84, 130, 144, 148, 150, 166, 168, 198, 210, 228]
71310452272859269914823: [0, 0, 0, 0, 0, 0, 22, 30, 28, 6, 16, 0, 0, 0, 0]
71310452272859269914823: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

71866233571573000584403: [0, 18, 30, 60, 78, 84, 88, 96, 100, 124, 130, 168, 198, 210, 228]
71866233571573000584403: [0, 0, 0, 0, 0, 0, -20, -18, -20, -20, -20, 0, 0, 0, 0]
71866233571573000584403: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

76315754667224233005223: [0, 18, 30, 60, 78, 84, 114, 120, 124, 136, 148, 168, 198, 210, 228]
76315754667224233005223: [0, 0, 0, 0, 0, 0, 6, 6, 4, -8, -2, 0, 0, 0, 0]
76315754667224233005223: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

77009643629668299794623: [0, 18, 30, 60, 78, 84, 88, 96, 114, 120, 166, 168, 198, 210, 228]
77009643629668299794623: [0, 0, 0, 0, 0, 0, -20, -18, -6, -24, 16, 0, 0, 0, 0]
77009643629668299794623: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

85884526459523813666023: [0, 18, 30, 60, 78, 84, 88, 108, 136, 148, 166, 168, 198, 210, 228]
85884526459523813666023: [0, 0, 0, 0, 0, 0, -20, -6, 16, 4, 16, 0, 0, 0, 0]
85884526459523813666023: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

87847527812746492455043: [0, 18, 30, 60, 78, 84, 88, 96, 106, 108, 166, 168, 198, 210, 228]
87847527812746492455043: [0, 0, 0, 0, 0, 0, -20, -18, -14, -36, 16, 0, 0, 0, 0]
87847527812746492455043: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

89619629626769433956143: [0, 18, 30, 60, 78, 84, 88, 96, 106, 136, 148, 168, 198, 210, 228]
89619629626769433956143: [0, 0, 0, 0, 0, 0, -20, -18, -14, -8, -2, 0, 0, 0, 0]
89619629626769433956143: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

91927252027455383062921: [0, 12, 42, 60, 66, 70, 78, 88, 90, 106, 150, 180, 192, 210, -2307622400685949106550]
91927252027455383062921: [0, -6, 12, 0, -12, -14, -30, -26, -30, -38, 0, 12, -6, 0, -2307622400685949106778]
91927252027455383062921: [1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0]
valids=4
code=1033

94298436385111742868463: [0, 18, 30, 60, 78, 84, 100, 108, 144, 150, 166, 168, 198, 210, 228]
94298436385111742868463: [0, 0, 0, 0, 0, 0, -8, -6, 24, 6, 16, 0, 0, 0, 0]
94298436385111742868463: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

96031234296991797287863: [0, 18, 30, 60, 78, 84, 114, 124, 130, 136, 166, 168, 198, 210, 228]
96031234296991797287863: [0, 0, 0, 0, 0, 0, 6, 10, 10, -8, 16, 0, 0, 0, 0]
96031234296991797287863: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

100688317270048117023793: [0, 18, 30, 60, 78, 84, 100, 108, 126, 150, 166, 168, 198, 210, 228]
100688317270048117023793: [0, 0, 0, 0, 0, 0, -8, -6, 6, 6, 16, 0, 0, 0, 0]
100688317270048117023793: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

105634405762175970093793: [0, 18, 30, 60, 78, 84, 88, 126, 144, 148, 166, 168, 198, 210, 228]
105634405762175970093793: [0, 0, 0, 0, 0, 0, -20, 12, 24, 4, 16, 0, 0, 0, 0]
105634405762175970093793: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

106277088209243214247363: [0, 18, 30, 60, 78, 84, 88, 108, 114, 136, 144, 168, 198, 210, 228]
106277088209243214247363: [0, 0, 0, 0, 0, 0, -20, -6, -6, -8, -6, 0, 0, 0, 0]
106277088209243214247363: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

106277133192199483768633: [0, 18, 30, 60, 78, 84, 114, 124, 126, 136, 166, 168, 198, 210, 228]
106277133192199483768633: [0, 0, 0, 0, 0, 0, 6, 10, 6, -8, 16, 0, 0, 0, 0]
106277133192199483768633: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

107614755171911720517163: [0, 18, 30, 60, 78, 84, 88, 120, 124, 130, 144, 168, 198, 210, 228]
107614755171911720517163: [0, 0, 0, 0, 0, 0, -20, 6, 4, -14, -6, 0, 0, 0, 0]
107614755171911720517163: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

107975198835519688477183: [0, 18, 30, 60, 78, 84, 114, 120, 126, 136, 148, 168, 198, 210, 228]
107975198835519688477183: [0, 0, 0, 0, 0, 0, 6, 6, 6, -8, -2, 0, 0, 0, 0]
107975198835519688477183: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

114629280396503342864773: [0, 18, 30, 60, 78, 84, 100, 126, 136, 148, 166, 168, 198, 210, 228]
114629280396503342864773: [0, 0, 0, 0, 0, 0, -8, 12, 16, 4, 16, 0, 0, 0, 0]
114629280396503342864773: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

115448231143579625815903: [0, 18, 30, 60, 78, 84, 96, 106, 124, 130, 166, 168, 198, 210, 228]
115448231143579625815903: [0, 0, 0, 0, 0, 0, -12, -8, 4, -14, 16, 0, 0, 0, 0]
115448231143579625815903: [1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 1]
valids=10
code=7943

Ой, есть брак

91927252027455383062921: [0, 12, 42, 60, 66, 70, 78, 88, 90, 106, 150, 180, 192, 210, -2307622400685949106550]
91927252027455383062921: [0, -6, 12, 0, -12, -14, -30, -26, -30, -38, 0, 12, -6, 0, -2307622400685949106778]
91927252027455383062921: [1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0]
valids=4
code=1033

Надо проверить, из-за чего брак.
15) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17093)
Posted 1 day ago by Profile Natalia Makarova
Post:
Моя утилита сортировки говорит, что в показанной порции начальных элементов приближений к центральной 15-ке с кодом 7943 дубликатов нет.

Файл логов

48
[1373944007661869348083, 1457490818549084163223, 5072995008947472010783, 5729100228547213662523, 9562488708531144370363, 10936746400259878562743, 11873714915964406939813, 13720433068043614867333, 15254016998621812805773, 17781447955251451865773, 21703354451942842753453, 22616696500383640819543, 23984131272163420252273, 25950745916354101156693, 27106621756093641576193, 29894542062496008902383, 34230778190050780752793, 44808409014055857694903, 45855530196572943881413, 49396299604316677016383, 51351462660265206623563, 52191266429773617821053, 55593956650943339363113, 55635161460465709656913, 57799474598252269507003, 58241237801518969281463, 62737786201543429580983, 65539814370560092677493, 68656541929169651781703, 68926030725695783153893, 71310452272859269914823, 71866233571573000584403, 76315754667224233005223, 77009643629668299794623, 85884526459523813666023, 87847527812746492455043, 89619629626769433956143, 91927252027455383062903.394844108014262, 94298436385111742868463, 96031234296991797287863, 100688317270048117023793, 105634405762175970093793, 106277088209243214247363, 106277133192199483768633, 107614755171911720517163, 107975198835519688477183, 114629280396503342864773, 115448231143579625815903]
48

48 начальных элементов на входе и 48 - на выходе, все уникальные.

Раньше было получено ещё несколько порций таких приближений для золотой коллекции.
Всё вместе проверю, как набёрётся много приближений.
16) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17092)
Posted 1 day ago by Profile Natalia Makarova
Post:
Это в мою золотую коллекцию - приближения к центральной 15-ке с кодом 7943

5072995008947472010783,71866233571573000584403,106277133192199483768633,
57799474598252269507003,55593956650943339363113,51351462660265206623563,
21703354451942842753453,94298436385111742868463,27106621756093641576193,
1457490818549084163223,96031234296991797287863,9562488708531144370363,
29894542062496008902383,107614755171911720517163,55635161460465709656913,
11873714915964406939813,49396299604316677016383,89619629626769433956143,
114629280396503342864773,77009643629668299794623,107975198835519688477183,
62737786201543429580983,87847527812746492455043,44808409014055857694903,
76315754667224233005223,34230778190050780752793,100688317270048117023793,
10936746400259878562743,91927252027455383062903.39484410801426162346153,
105634405762175970093793,5729100228547213662523,17781447955251451865773,
106277088209243214247363,68656541929169651781703,1373944007661869348083,
85884526459523813666023,58241237801518969281463,65539814370560092677493,
25950745916354101156693,15254016998621812805773,23984131272163420252273,
45855530196572943881413,71310452272859269914823,13720433068043614867333,
52191266429773617821053,115448231143579625815903,68926030725695783153893,
22616696500383640819543

Супер!

Душа коллекционера ликует!

Я не буду искать в сегодняшней порции приближения к центральной 15-ке с уникальными кодами, а также не буду извлекать центральные 11-ки.
Corporal обещал с этим помочь.

P.S. Здесь ошибка уже сидит.
Посмотрите на элемент 91927252027455383062903
после него стоит точка вместо запятой.
17) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17091)
Posted 1 day ago by Profile Natalia Makarova
Post:
Моя утилита говорит, что кортежи правильные

? \rappr13.txt
   logfile = "appr13_res.txt"
75257035464696738246991: [0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192]
75257035464696738246991: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
75257035464696738246991: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=13
code=2047

62609828974284458070601: [0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192]
62609828974284458070601: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
62609828974284458070601: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=13
code=2047

109135660687744839843091: [0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192]
109135660687744839843091: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
109135660687744839843091: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=13
code=2047

106563889632679301126701: [0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192]
106563889632679301126701: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
106563889632679301126701: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=13
code=2047

72498446897221530499711: [0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192]
72498446897221530499711: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
72498446897221530499711: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=13
code=2047

42015321344424913659571: [0, 12, 42, 60, 66, 90, 96, 102, 126, 132, 150, 180, 192]
42015321344424913659571: [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
42015321344424913659571: [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
valids=13
code=2047

time = 47 ms.

Ядряра согласен?

Ну вот, и соотношение количеств центральных 13-к и центральных 11-к, выведенное Ядрярой (1:247, если память мне не изменяет), совсем уже не выполняется.

И в прогноз, что в проверяемом диапазоне около 1100 центральных 15-к, я совсем не верю.
Но это будет проверено о-ч-е-н-ь не скоро.
Если, конечно, сам Ядряра не продолжит искать центральные 15-ки до конца данного диапазона: 0 - 61#.
В это тоже не верю, не продолжит.
Гонять свой компьютер круглосуточно несколько месяцев...
Нафиг надо?

Кстати, напомню: я предлагала Ядряре помощь в поиске центральных 15-к на Ахиллесах.
Ответа никакого не получила на это предложение.

Делаю вывод: центральные 15-ки Ядряре не интересны и искать их дальше он не будет.
18) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17090)
Posted 1 day ago by Profile Natalia Makarova
Post:
Вот новые центральные 13-ки!

6 штук, найдены в Приложении 4, дубликатов визуально не вижу в этой порции

75257035464696738247003: [0,30,48,54,78,84,90,114,120,138,168]
75257035464696738246991: [0,12,42,60,66,90,96,102,126,132,150,180,192]

62609828974284458070613: [0,30,48,54,78,84,90,114,120,138,168]
62609828974284458070601: [0,12,42,60,66,90,96,102,126,132,150,180,192]

109135660687744839843103: [0,30,48,54,78,84,90,114,120,138,168]
109135660687744839843091: [0,12,42,60,66,90,96,102,126,132,150,180,192]

106563889632679301126713: [0,30,48,54,78,84,90,114,120,138,168]
106563889632679301126701: [0,12,42,60,66,90,96,102,126,132,150,180,192]

72498446897221530499723: [0,30,48,54,78,84,90,114,120,138,168]
72498446897221530499711: [0,12,42,60,66,90,96,102,126,132,150,180,192]

42015321344424913659583: [0,30,48,54,78,84,90,114,120,138,168]
42015321344424913659571: [0,12,42,60,66,90,96,102,126,132,150,180,192]

Ну, даже если что-то повторено, никаких переживаний!
От дубликатов ещё никто не умирал :))
Надеюсь, и Ядряра не умрёт.

Сейчас ещё кортежи проверю, чтобы полностью Ядряру успокоить.
19) Message boards : Cafe : Проект gris по кортежу 19-252 (Message 17089)
Posted 1 day ago by Profile Natalia Makarova
Post:
Ахиллес-3 пополняет мою золотую коллекцию

93342140030442093090239: [0,18,30,60,78,84,90,92,108,114,134,168,198,210,228]
 7943

Кстати, начальные элементы приближений в золотой коллекции пока не проверялись на дубликаты.
Они находятся в ручном проекте и в BOINC-проекте, в разных алгоритмах.
Я их собираю только.
Сортировать буду потом, когда наберу много.

Это Ядряре успокоительная пилюля на ночь :))

Помнится, Гришпуте пандиагональный кот снился.
Жуть!
А Ядряре, небось, "вопиющие" дубликаты снятся.
20) Message boards : Cafe : Для участников форума MHP (Message 17088)
Posted 1 day ago by Profile Natalia Makarova
Post:
Ядряра,
я умею сортировать начальные элементы кортежей с удалением дубликатов.


Гарантирую, что в БД центральных 9-к, 11-к и 13-к дубликатов не будет.
Спите спокойно! :)

А то вам эти "вопиющие" ошибки и спать не дают, наверное.


Next 20


©2025 (C) Progger