Microsoft открыл CHERIoT, аппаратное решение для повышения безопасности кода на языке Си,
opennews (??), 01-Мрт-23, (0) [смотреть все]
- Ну зачем аппаратный огород городить когда уже Rust есть ,
Аноним (1), 10:12 , 01-Мрт-23, (1) –17 //
- Именно чтобы не писать на раст И это правильно ,
Аноним (5), 10:18 , 01-Мрт-23, (5) +34 //
- Звучит инфантильно ,
Товарисч (?), 12:34 , 01-Мрт-23, (51) +2
- а почему тебе Rust не нравится 577 577 577 ,
YM2608 (?), 14:18 , 01-Мрт-23, (81) –1 //
- Скрыто модератором,
Аноним (-), 20:06 , 01-Мрт-23, (159) +1
- а почему раст должен кому-то нравиться ,
Аноним (173), 21:14 , 01-Мрт-23, (173) +1
- А почему лично мне он обязательно должен нравиться ,
Аноним (235), 13:37 , 02-Мрт-23, (235)
- Скрыто модератором,
Аноним (-), 20:03 , 01-Мрт-23, (158) –1
- А читаем мы по диагонали Проблема может быть решена использованием языков про,
pda (ok), 10:22 , 01-Мрт-23, (8) +9 //
- Где скачать Rust под Cortex-M0 ,
Проффесор (?), 10:24 , 01-Мрт-23, (9) //
- Чтоб устроить праздник унсафе По каким дням праздновать будем ,
Аноним (-), 10:30 , 01-Мрт-23, (13)
- Опять в гугле забанили, уже 5 лет как есть https github com rust-embedded cort,
НяшМяш (ok), 11:01 , 01-Мрт-23, (25) +7 //
- если тебе такой раст, чтобы код кросскомпилять - то на https www rust-lang org,
Советский инженер (?), 11:04 , 01-Мрт-23, (28) –1 //
- Где скачать rust под avr ,
Аноним (131), 17:57 , 01-Мрт-23, (131) //
- детали тут https book avr-rust com 001-introduction htmlКак я понял, идёт в ко,
topin89 (ok), 19:58 , 01-Мрт-23, (157)
- я тебя огорчу Based on components for the Arduino UnoNeeds AVR-GCC on the sys,
Аноним (220), 09:57 , 02-Мрт-23, (217) –1
- А тебе шашечки или ехать Писать на расте можно Можно А линковка на любых платф,
topin89 (ok), 14:42 , 02-Мрт-23, (243)
- И что тут преступного Придумать концепцию, подходящий синтаксис, внедрить хуки ,
Аноним (265), 20:32 , 02-Мрт-23, (265)
- Проблемы и приватности и тивоизации Как на устройстве запускать и свои сервисы р,
Аноним (16), 10:39 , 01-Мрт-23, (16) //
- Очень просто - пользоваться специализированным устройством для работы с деньгами,
YetAnotherOnanym (ok), 12:14 , 01-Мрт-23, (44) //
- Предлагаешь бумагу что ли таскать с собой по карманам ,
Аноним (101), 16:09 , 01-Мрт-23, (101)
- Вам-то - да Но они-то мыслят через банкомат ты много не продашь книг, кино, му,
A (?), 21:42 , 01-Мрт-23, (180)
- Да просто экономят Банкомат требует техобслуживания, инкассаторская служба тоже,
YetAnotherOnanym (ok), 21:49 , 01-Мрт-23, (184)
- когда были онлайновые магазины с CD программ, кино и музыки было ответственней, ,
2student (?), 16:32 , 13-Мрт-23, (345)
- Тут антимаркетинговые факторы начинают работать Дождь, вечер, лень, очередь, не,
Аноним (265), 19:45 , 02-Мрт-23, (260)
- Полный сброс контекста, чтобы даже ОС не была задействована в это время Всё сос,
kusb (?), 20:12 , 01-Мрт-23, (162) //
- Контейнеры, виртуальные машины, контрольные группы, разделение пространства имен,
Аноним (265), 20:39 , 02-Мрт-23, (266) //
- Там же сказали, для использования существующей кодовой базы без переписывания, и,
_kp (ok), 10:52 , 01-Мрт-23, (24) //
- Чтобы раст прорекламировать Мелкософт главный наравне с гуглом зачинщиков рас,
Аноним (31), 11:32 , 01-Мрт-23, (31) //
- Похоже, даже Мелкомягких Хруст не устраивает ,
Аноним (46), 12:23 , 01-Мрт-23, (46) –3 //
- Хруст их очень устраивает Их не устраивает переписывать миллиарды строк кода _с,
Аноним (177), 21:29 , 01-Мрт-23, (177) +1 //
- Ты в своем праве отправиться курить бамбук и не пользоваться сишным софтом Може,
Аноним (-), 02:12 , 02-Мрт-23, (195)
- Конечно, по своей воле я Rust не выберу, ибо есть более красивые альтернативы ,
Аноним (224), 11:48 , 02-Мрт-23, (224) +1
- Так этот аппаратный огород отлично работает в паре с Rust фича strict_provenanc,
warlock66613 (ok), 13:24 , 01-Мрт-23, (64) +1
- Microsoft открыл CHERIoT, аппаратное решение для повышения б...,
anonymous (??), 15:38 , 01-Мрт-23, (93)
- Мне, с моим отсутствующим мозгом, кажется что проверка каждого обращения к памят,
Аноним (120), 16:44 , 01-Мрт-23, (120) +1 //
- Как Вы представляете себе Rust, например, для CH32V003 ,
ptr (??), 16:59 , 01-Мрт-23, (123) –1 //
- Там вроде RISC-V Как я понял, поддержка на ранней стадии, но в планах точно ест,
topin89 (ok), 20:10 , 01-Мрт-23, (161) //
- А это что за зверь Клон GD32 с RISCV ядром и прочим обвесом как у STM32 ,
Аноним (-), 02:11 , 02-Мрт-23, (194) //
- ну я так понимпю, тут и на си не сахар или мимикрия апи под stm32 с надеждой, ч,
Аноним Ваноним (?), 10:26 , 02-Мрт-23, (219) +1
- Он так то тоже далеко не все в рантайме проверять может - некоторые проверки не ,
Аноним (-), 02:17 , 02-Мрт-23, (197)
- Топик для Аудита тестирования кода на Си и плюсах Причем тут раст Если удаст,
Аноним (265), 19:39 , 02-Мрт-23, (257)
- Решение прямо как из песенки Ключик золотой В ж себе вставь Покрути нем,
Кровосток (ok), 10:13 , 01-Мрт-23, (2) +16
- Настоящий сишник меняет аппаратуру под себя Диктует свои правила ,
Аноним (3), 10:14 , 01-Мрт-23, (3) +47 //
- такой же настоящий, как и автолюбитель, который меняет машину когда пепельница п,
Советский инженер (?), 11:16 , 01-Мрт-23, (30) –1 //
- Если посмотреть на то как изменилось современное железо эээ вообще-то да, ,
Аноним (-), 20:59 , 01-Мрт-23, (169) +1 //
- правила диктует прогресс а он сдерживается рынком Появился запрос на использова,
Аноним (221), 11:11 , 02-Мрт-23, (221) //
- Unix захватил мир процессоров вместе с С Мелкомягкие писали свой первый код на ,
Аноним (265), 20:05 , 02-Мрт-23, (263) //
- Неужели раст не помог и пришлось всё делать правильно Кто бы мог подумать ,
Аноним (5), 10:18 , 01-Мрт-23, (4) –1 //
- так он бы смог, конечно, смог бы - но пока на эту архитектуру кроме readme md ни,
пох. (?), 10:44 , 01-Мрт-23, (18) //
- В рантайме проверять лайфтаймы и выходы за границы, это уже правильно ,
Аноним (-), 14:52 , 01-Мрт-23, (83) //
- Компания Microsoft открыла наработки, связанные с проектом CHERIoT , нацелен,
Аноним (177), 22:05 , 01-Мрт-23, (186) –3 //
- у Эльбрусов вроде есть защищённый режим где доступ к памяти и исполнение проверя,
Аноним (6), 10:20 , 01-Мрт-23, (6) +2 //
- если ты про тегированную память, то он наверное был только в ель-брус-1, том у к,
пох. (?), 10:49 , 01-Мрт-23, (23) –3 //
- Защищенный режим есть во всех Эльбрусах и работает, без наверное Если бы чуба,
непох (?), 12:38 , 01-Мрт-23, (54) +3 //
- Прости, а вот при советской власти на которую тут все неистово др-ат им кто меша,
пох. (?), 19:12 , 01-Мрт-23, (145) –1
- О, оказывается в головотяпском управлении зажраной фирмочки чубайс виноват А он,
Аноним (-), 21:04 , 01-Мрт-23, (171) –3
- Нет, вы ошиблись Не вовсех Есть ещё серия Эльбрусов которые де факто Спарк сери,
maximnik0 (?), 09:54 , 02-Мрт-23, (216)
- Нет, аппаратная защита есть и у Эльбруса ,который wlib Называеться тегирование-к,
maximnik0 (?), 12:48 , 01-Мрт-23, (58)
//
- Т е , обычные стандартные планки DDR-3, DDR-4 для Эльбруса не годятся ,
Аноним (46), 12:55 , 01-Мрт-23, (60)
- Здесь пишут, что в защищенном режиме вылезают приколы в coreutils типа использов,
анонимуз (?), 14:56 , 01-Мрт-23, (85)
- Не приколы, а баги И подобное всплывает чуть менее чем повсеместно ,
непох (?), 15:04 , 01-Мрт-23, (88) +2
- В самОм Linux тоже Кстати, может ли вообще Linux работать в защищенном режиме ,
анонимуз (?), 15:11 , 01-Мрт-23, (90)
- Да, но Да, если переписать Защищенный aka Безопасный режим на Эльбрусах очен,
непох (?), 15:53 , 01-Мрт-23, (96) +3
- И как процессор различает, что в регистре сейчас целое или указатель ,
Аноним (46), 16:43 , 01-Мрт-23, (119)
- Упрощенно у регистра есть скрытые недоступные погроммисту биты, благодаря кот,
непох (?), 18:39 , 01-Мрт-23, (140)
- Никак каждый указатель содержит смещение до начала массива объекта А в начале м,
anonymous (??), 11:48 , 02-Мрт-23, (223)
- Т е , без переписывания или, хотя бы, портирования никуда ,
Аноним (235), 14:01 , 02-Мрт-23, (239)
- Что имеется ввиду в данном контексте под защищённым режимом Если Linux ядро м,
Аноним (235), 13:45 , 02-Мрт-23, (237)
- Пра брусы и вообще очень занимательное чтиво - читать цикл статей задом наперед ,
RM (ok), 20:32 , 01-Мрт-23, (167) +1 //
- Защищенный режим в котором работает ровно ничего А тут решение которое работает,
Аноним (131), 18:01 , 01-Мрт-23, (132) +1
- Мало того, защищенный режим есть и у интелов, в том том числе флаг исполнения дл,
qwe (??), 18:08 , 02-Мрт-23, (249)
- Вопрос Как освобождать тэгированную память Надо вайпить wipe биты тэга Ведь,
Аноним (265), 19:54 , 02-Мрт-23, (261)
- так, погодите-ка Если Java - это язык, компилящийся для гипотетических процов,,
Аноним (7), 10:21 , 01-Мрт-23, (7) //
- Доступа к памяти на яву нету, речь идет именно о нем ,
Аноним (-), 10:28 , 01-Мрт-23, (12) //
- Типа того Админить руками или скриптами В Си - руками всё В Яве и прочих есть,
Аноним (16), 10:31 , 01-Мрт-23, (14) –1 //
- почему не сделают скрипты сборщики мусора на си ,
Аноним (120), 11:57 , 01-Мрт-23, (41) //
- Как сборщик мусора защитит от разыменования указателя, указывающего на произволь,
Аноним (46), 12:36 , 01-Мрт-23, (52)
- Для сей есть энное количесто сборщиков мусора, какие проблемы Можно начать с B,
Аноним (-), 02:31 , 02-Мрт-23, (200)
- Процессору на ваши use after free и прочие шалости побоку, более того, состояние,
_hide_ (ok), 13:06 , 01-Мрт-23, (62) +4 //
- Уточните, пожалуйста, какое отношение состояние гонки имеет к циклическим ссылка,
Аноним (120), 16:29 , 01-Мрт-23, (112) //
- и результат - я открыл для себя что у top есть отображение rss в терабайтах Так ,
пох. (?), 19:16 , 01-Мрт-23, (146)
- Да, правильно, Си процессоры довольно специфичны на самом деле Было много альт,
Аноньимъ (ok), 19:36 , 01-Мрт-23, (149)
- На Java бывают утечки памяти, если что Можно тоже запретить А кроме расширения ,
www2 (??), 20:21 , 01-Мрт-23, (165)
- Просто здесь исключения при работе с памятью перехватываются аппаратно и видны в,
Аноним (265), 19:58 , 02-Мрт-23, (262)
- И не смогут крупные корпорации Пока топят за скорость выдачи результата Получа,
Аноним (16), 10:27 , 01-Мрт-23, (11) +4 //
- То ли дело в опенсорсе 8212 медленно, дорого, качественно 8212 баги в Xorg,
Аноним (15), 10:35 , 01-Мрт-23, (15) +4 //
- С опенсорсом в корпорациях проблема таже - корпроативно быстро, подешевле, некач,
Аноним (19), 10:45 , 01-Мрт-23, (19) +2 //
- Я бы даже сказал больше, - не было бы корпораций, то весь опенсорс так и застрял,
OpenEcho (?), 16:20 , 01-Мрт-23, (107) +1
- Очень спорно, многие проекты начинаются за идею и не финансируются или раньше не,
kusb (?), 20:17 , 01-Мрт-23, (164)
- BSD избавлялась от компонентов AT T Unix на средства университетов Студентам и ,
www2 (??), 20:27 , 01-Мрт-23, (166) +1
- Но жаль от того бы не было А работают все В науке и мысли в том и достоинство,,
A (?), 22:13 , 01-Мрт-23, (188)
- ZX-spectrum - был вполне коммерческий проект Боюсь, что и его бы в опенсорсе,
Neon (??), 22:56 , 02-Мрт-23, (287)
- Я про софт, не про железку, голодные до програмирования тогда человеки настрогал,
OpenEcho (?), 14:16 , 03-Мрт-23, (298)
- Де-факто опенсорсные улучшенные версии ZX-Spectrum были в СССР ещё до становлени,
Аноним (302), 14:54 , 03-Мрт-23, (302)
- Если не признавать что некачественно тогда прокатит Как ты в проприетаре опреде,
Аноним (26), 11:01 , 01-Мрт-23, (26)
- Это потомубчто уних 70 програмистов индусы без профильного образования ,
Аноним (129), 17:48 , 01-Мрт-23, (129) //
- Дидам придумали кресло-каталку Сами они писать на сях не могут без граблей, нор,
3draven (ok), 10:44 , 01-Мрт-23, (17) –3 //
- Скорее что наоборот диды сделали вешь, которая не позволяет отжать пользу девай,
Аноним (19), 10:47 , 01-Мрт-23, (21) +1
- Не дидам, а их дегроднутым внучкам ,
Аноним (135), 18:15 , 01-Мрт-23, (135) +1 //
- Диды иногда тоже жгут от души Вон красавчики, дереференсят массив по входу функ,
Аноним (-), 02:43 , 02-Мрт-23, (203) +1 //
- Диды K R говорили что просто int может быть по умолчанию или signed или unsign,
RM (ok), 13:31 , 02-Мрт-23, (233) +1
- За это мы теперь жестко отдуваемся, когда вон те красавцы отрицательный индекс м,
Аноним (-), 09:08 , 08-Мрт-23, (333)
- Мощное заявление, пруфов конечно же не будет ,
Аноним (358), 22:32 , 04-Янв-24, (358)
- Ждём новостей о том как врырываются из очередной песочницы ,
IdeaFix (ok), 10:45 , 01-Мрт-23, (20) //
- это этого не надо защитать, указатели для этого и придуманы ,
Аноним (32), 11:33 , 01-Мрт-23, (32) //
- Почему Microsoft и Google не уволит свои криворуких кодеров и м ак и не наймет ,
Аноним (120), 11:54 , 01-Мрт-23, (37) +7 //
- Дык им никто не рассказал почему-то до сих пор,
Амомин (?), 11:56 , 01-Мрт-23, (39) –1
- Месные эксперты с опеннет говорят там обязательно непустую учетку на гитхабе над,
Аноним (32), 11:56 , 01-Мрт-23, (40) //
- Они услышали вас и увольняют десятками тысяч сейчас подготавливают место для ,
OpenEcho (?), 16:26 , 01-Мрт-23, (111)
- Почему ты просто не перепишешь всё на раст ,
Аноним (214), 09:25 , 02-Мрт-23, (215) +1
- Очень интересно, спасибо за инфу, пригодится мне для разработки ,
Иваня (?), 11:56 , 01-Мрт-23, (38) +1
- CHERI - это у старшеклассниц, а Capability Hardware Extension to RISC-V должно,
YetAnotherOnanym (ok), 12:08 , 01-Мрт-23, (43) +1 //
- Никуда от указателей не деться в низкоуровневом программировании Взятие данных ,
Аноним (45), 12:20 , 01-Мрт-23, (45) +6 //
- А что такого в том чтобы переписать существующий старый код Ведь далеко не все ,
nc (ok), 12:25 , 01-Мрт-23, (47) –2 //
- Такого - ничего Только трудозатраты и время Большие ,
Аноним (53), 12:37 , 01-Мрт-23, (53)
- Таких программистов, которые были в 2004 году, сейчас мы даже приблизительно не ,
AKTEON (?), 17:34 , 01-Мрт-23, (126) +3
- Вот это правильный подход, т к это решение можно считать устранением причины пр,
Бегущий по граблям (?), 12:26 , 01-Мрт-23, (48) –1 //
- Меня ребенок спросил - А ты какие языки знаешь, знаешь СиПлюсПлюс ОН СЛОЖНЫЙ ,
Alexey Torgashin (?), 12:42 , 01-Мрт-23, (56) –2 //
- Это ваш бдсм-проект очень противный , а не C , которого вы не знаете И не забы,
непох (?), 13:03 , 01-Мрт-23, (61) +5
- Точно, в QuickBasic тоже про проблемы с памятью не знали Кстати прикол, видел н,
OpenEcho (?), 16:36 , 01-Мрт-23, (115) +2
- Привет, Алексей А почему Оберон не выбрали для своего проекта вместо Lazarus В,
Tita_M (ok), 19:18 , 01-Мрт-23, (147) //
- Спасибо вам за ваш труд Паскаль действительно очень интересная тема ,
Аноньимъ (ok), 19:40 , 01-Мрт-23, (151) +1
- Только вот на Паскале никто почему то особо не пишет Он не противный, он три,
Neon (??), 23:02 , 02-Мрт-23, (288)
- Посмотрел я этот ваш кудатекс И что-то там сплошной object Pascal, а не паскаль,
Аноним (32), 00:22 , 03-Мрт-23, (289)
- А как этот процессор будет отличать ошибки работы с памятью от намеренных оптим,
freecoder (ok), 13:41 , 01-Мрт-23, (66) –1 //
- Никак При наличии дырени для эксплойта нужно будет поприседать чуть больше, в то,
непох (?), 14:45 , 01-Мрт-23, (82)
- А ничего, что компилятор ближе к железу, чем твой замечательный код ,
Аноним (106), 16:15 , 01-Мрт-23, (106) //
- Если компилятор и будет оптимизировать, то будет оптимизировать легально в поле ,
Аноним (265), 21:21 , 02-Мрт-23, (270)
- Вообще, сишники теперь должны полюбить Rust Потому что он им даст больше свобод,
freecoder (ok), 13:43 , 01-Мрт-23, (68) //
- наоборот, Rust не нужен вдвойне - достаточно пересобрать код специальным компиля,
Аноним (221), 15:02 , 01-Мрт-23, (86) //
- Портировать ядро Linux или BSD на эту chert-ову байду проще чем переписать на Ru,
непох (?), 15:21 , 01-Мрт-23, (91) //
- по крайней мере arm morello разрабатывается с применением верификации всех компо,
Аноним (221), 15:30 , 01-Мрт-23, (92)
- Скопилировать новым компилятором под RISCV расширенный набор команд Обнаружит,
Аноним (265), 21:29 , 02-Мрт-23, (271)
- хорошо, но уже есть Linuxhttps github com cheri-linuxпроект arm morello с порт,
Аноним (221), 14:56 , 01-Мрт-23, (84) //
- Они изобрели MPU ,
Заболотный (?), 15:40 , 01-Мрт-23, (94)
- Судя по тому, что это делают 1 безопасники из майков 3 криворучки из подраздел,
Аноним (101), 16:13 , 01-Мрт-23, (105)
- Бьёт по рукам при распарсивании ввода goto ,
Аноним (109), 16:22 , 01-Мрт-23, (109) +3 //
- А в этом RISC-V классические инструкции NX, PAE для защиты памяти имеются ,
Аноним (134), 18:01 , 01-Мрт-23, (134) //
- Скрыто модератором,
Аноним (-), 18:35 , 01-Мрт-23, (139)
- А в этом RISC-V классические инструкции NX,Я по быстрому просматривал документа,
maximnik0 (?), 21:50 , 01-Мрт-23, (185) –1 //
- Значит RISC-V - _г_о_в_н_о_ проц И как ты без NX будешь защиту памяти писать в O,
Аноним (256), 19:37 , 02-Мрт-23, (256) –2 //
- И для виртуализации инструкции тоже необходимы Но NX нужнее ,
Аноним (258), 19:40 , 02-Мрт-23, (258)
- Проц поддерживает тэгирование памяти 3 бита , а это покруче чем просто защита о,
Аноним (265), 21:49 , 02-Мрт-23, (275) +1
- Там есть 3 атрибута на память -Чтение,модификация и запись Атомарные атрибуты-мо,
maximnik0 (?), 22:19 , 02-Мрт-23, (281) +1
- gt оверквотинг удален Не было там никаких тормозов, NX можно реализовать через,
Аноним (356), 17:01 , 17-Сен-23, (356)
- RISC-V кстати открыт для твоих расширений Но писать их надо будет исключительно,
Алексей Торгаш (?), 09:19 , 02-Мрт-23, (213) +1
- NX, PAE - это из мира x86 Причём, PAE - это для 32-битных CPU с целью расширени,
Аноним (224), 12:19 , 02-Мрт-23, (227) //
- В OS Linux, BSD используют 3 варианта 1 Инструкция NX в процессорных архитект,
Аноним (250), 18:22 , 02-Мрт-23, (250) //
- Вам просто подчеркнутое слово нравится Повод употребить его так себе ,
Аноним (265), 21:54 , 02-Мрт-23, (276) –1
- Из топика каждая операция чтения и записи в память авторизуется Вся работа с п,
Аноним (265), 22:10 , 02-Мрт-23, (278)
- А какие работоспособные ядра есть недыряво-сишные Redox, мягко говоря, неработо,
Аноним (302), 14:50 , 03-Мрт-23, (301) +1
- Очередная тестовая сборка Hardened Gentoo GNU Linux-systemd -elogind -dbus -polk,
Аноним (309), 11:10 , 04-Мрт-23, (309) +1
- Fix Потому, что тот тест собирается без SSP А вот на архитектурах MIPS, PPC дан,
Аноним (311), 11:44 , 04-Мрт-23, (311)
- Права на процесы наверно лучше проверять так code ls -dl proc 1dr-x------ 8 ,
Аноним (313), 12:56 , 04-Мрт-23, (313)
- Там не в одном ядре дело Корректность работы достигается за счет связки 5-ти ва,
Аноним (310), 11:39 , 04-Мрт-23, (310)
- теперь RISC-V начнёт падать в синий экран ,
Аноним (141), 18:54 , 01-Мрт-23, (141) +2 //
- Эта корпорация полагает, что в каждой Ардуине 256 MiB RAM Неудивительно, что ,
Аноним (142), 19:03 , 01-Мрт-23, (142) +1 //
- Лишь бы слово анклав не использовать, а то юристы Intel обидятся ,
Аноним (142), 19:05 , 01-Мрт-23, (143) //
- DRM очередной Или встроенный зонд ,
Kuromi (ok), 21:22 , 01-Мрт-23, (176) //
- какие нафиг существующие IoT проекты, где они все Их так много в особенности л,
Sw00p aka Jerom (?), 22:14 , 01-Мрт-23, (189) +1
- К автору в чем грех разименовать указатель ,
Аноним (205), 02:52 , 02-Мрт-23, (205) +2 //
- Вместо того чтобы научиться программировать лепят такую горбуху ,
Аноним (274), 21:44 , 02-Мрт-23, (274) +2 //
- Интересно, почему нейросети не приспособили до сих пор к анализу и переписыванию,
Глашатый (?), 11:02 , 05-Мрт-23, (318)
1,2,3,4,6,7,11,17,20,32,37,38,43,45,47,48,56,66,68,84,94,105,109,134,141,142,143,176,189,205,274,318
|