Take any three primes, say p[1,0], p[2,0], and p[3,0]. Define: p[i,j]=ABS[1+2*n[i,j]*p[(i+1) mod 3,j-1]*p[(i+2) mod 3,j-1]],n is the integer with minimum ABS[n] that makes p[i,j] a prime number. The primality of p[i,j] can be proven using Brillhart – Lehmer – Selfridge algorithm recursively by using p[(i+1) mod 3,j-1] and p[(i+2) mod 3,j-1] as helper since n […]
The rank of primes
Brillhart – Lehmer – Selfridge algorithm provides a general primality proving method as long as you can factor P+1 or P-1. Therefore, for any prime number, when P+1 or P-1 get fully factored, the primality of any factors of P+1 or P-1 can also be proven by the same algorithm recursively. For example, prime number […]
Get rid of “\\n” in files
cat fn.txt | tr ‘\\\n’ ‘ ‘ > fn.1.txt sed -i ‘s/ //g’ fn.1.txt mv fn.1.txt fn.txt
Launch X11 xterm windows from anywhere UNIX
tell application “X11” activate end tell
New Prime Found
18762*2*(41968149*2^23209+1)*(97254741*2^21701+1)*(12450795*2^11213+1)*(20092671*2^11213+1)*(28115529*2^11213+1)*(43998375*2^11213+1)*(99539031*2^11213+1)*(14024781*2^9941+1)*(26534229*2^9941+1)*(78981231*2^9689+1)*(57506259*2^96 89+1)*(24975705*2^9689+1)*(7770399*2^9689+1)*(99738639*2^4423+1)*(97478625*2^4423+1)*(96783729*2^4423+1)*(86445039*2^4423+1)*(86022459*2^4423+1)*(82860819*2^4423+1)*(82852119*2^4423+1)*(54983739*2^4423+1)*(37753119*2^4423+1)*(264 48255*2^4423+1)*(26055441*2^4423+1)*(24439281*2^4423+1)*(22820631*2^4423+1)*(17436999*2^4423+1)*(14395845*2^4423+1)*(12058929*2^4423+1)*(7288671*2^4423+1)*(96317565*2^4253+1)*(82195221*2^4253+1)*(77293269*2^4253+1)*(71596305*2^42 53+1)*(57309375*2^4253+1)*(56921445*2^4253+1)*(34719825*2^4253+1)*(16894545*2^4253+1)*(1792431*2^4253+1)*(97688691*2^3217+1)*(91257465*2^3217+1)*(91090419*2^3217+1)*(86093541*2^3217+1)*(85877469*2^3217+1)*(84069831*2^3217+1)*(795 33441*2^3217+1)*(78684369*2^3217+1)*(76317555*2^3217+1)*(76037751*2^3217+1)*(72552339*2^3217+1)*(68274339*2^3217+1)*(58155531*2^3217+1)*(53160021*2^3217+1)*(48317421*2^3217+1)*(44497059*2^3217+1)*(42114315*2^3217+1)*(41096715*2^3 217+1)*(39648561*2^3217+1)*(39327861*2^3217+1)*(34314159*2^3217+1)*(29652849*2^3217+1)*(24763389*2^3217+1)*(24430989*2^3217+1)*(23748699*2^3217+1)*(20007255*2^3217+1)*(18596781*2^3217+1)*(13656495*2^3217+1)*(11109435*2^3217+1)*(8 869755*2^3217+1)*(6894645*2^3217+1)*(5209209*2^3217+1)*(2851731*2^3217+1)*(96288201*2^2281+1)*(95937261*2^2281+1)*(95933985*2^2281+1)*(94364775*2^2281+1)*(92893239*2^2281+1)*(92748381*2^2281+1)*(90589905*2^2281+1)*(87734841*2^228 1+1)*(86566965*2^2281+1)*(86258499*2^2281+1)*(85734651*2^2281+1)*(84715839*2^2281+1)*(81532725*2^2281+1)*(79884849*2^2281+1)*(79081275*2^2281+1)*(76694835*2^2281+1)*(72081945*2^2281+1)*(72017001*2^2281+1)*(71253915*2^2281+1)*(688 93959*2^2281+1)*(68085225*2^2281+1)*(65410995*2^2281+1)*(63626145*2^2281+1)*(60039321*2^2281+1)*(56002311*2^2281+1)*(54061581*2^2281+1)*(53434575*2^2281+1)*(49409151*2^2281+1)*(41855025*2^2281+1)*(40910079*2^2281+1)*(40303905*2^2 281+1)*(40129041*2^2281+1)*(40018299*2^2281+1)*(31393209*2^2281+1)*(30810039*2^2281+1)*(27754761*2^2281+1)*(22185849*2^2281+1)*(20176311*2^2281+1)*(16289589*2^2281+1)*(14164635*2^2281+1)*(14147229*2^2281+1)*(11236485*2^2281+1)*(1 0213875*2^2281+1)*(4128945*2^2281+1)*(4039659*2^2281+1)*(4018065*2^2281+1)*(3928155*2^2281+1)*(3015531*2^2281+1)*(98028735*2^2203+1)*(97108935*2^2203+1)*(96046179*2^2203+1)*(95560221*2^2203+1)*(94884285*2^2203+1)*(94506579*2^2203 +1)*(91113195*2^2203+1)*(89055891*2^2203+1)*(88513845*2^2203+1)*(88293609*2^2203+1)*(87081549*2^2203+1)*(84254751*2^2203+1)*(78451869*2^2203+1)*(77693889*2^2203+1)*(76733511*2^2203+1)*(76650939*2^2203+1)*(76129479*2^2203+1)*(7458 5799*2^2203+1)+1 Proof: $ more cp1.cert $ ./pfgw -t -h”helper” cp1 PFGW Version 3.3.2.20100216.x86_Dev [GWNUM 25.13] Resuming input file cp1 at line 2 Primality testing 18762*2*(41968149*2^23209+1)*(97254741*2^21701+1)*(12450795*2^11213+1)*(20092671*2^11213+1)*(28115529*2^11213+1)*(43998375*2^11213+1)*(99539031*2^11213+1)*(14024781*2^9941+1)*(26534229*2^9941+1)*(78981231*2^9689+1)*(57506259*2^96 89+1)*(24975705*2^9689+1)*(7770399*2^9689+1)*(99738639*2^4423+1)*(97478625*2^4423+1)*(96783729*2^4423+1)*(86445039*2^4423+1)*(86022459*2^4423+1)*(82860819*2^4423+1)*(82852119*2^4423+1)*(54983739*2^4423+1)*(37753119*2^4423+1)*(264 48255*2^4423+1)*(26055441*2^4423+1)*(24439281*2^4423+1)*(22820631*2^4423+1)*(17436999*2^4423+1)*(14395845*2^4423+1)*(12058929*2^4423+1)*(7288671*2^4423+1)*(96317565*2^4253+1)*(82195221*2^4253+1)*(77293269*2^4253+1)*(71596305*2^42 53+1)*(57309375*2^4253+1)*(56921445*2^4253+1)*(34719825*2^4253+1)*(16894545*2^4253+1)*(1792431*2^4253+1)*(97688691*2^3217+1)*(91257465*2^3217+1)*(91090419*2^3217+1)*(86093541*2^3217+1)*(85877469*2^3217+1)*(84069831*2^3217+1)*(795 33441*2^3217+1)*(78684369*2^3217+1)*(76317555*2^3217+1)*(76037751*2^3217+1)*(72552339*2^3217+1)*(68274339*2^3217+1)*(58155531*2^3217+1)*(53160021*2^3217+1)*(48317421*2^3217+1)*(44497059*2^3217+1)*(42114315*2^3217+1)*(41096715*2^3 217+1)*(39648561*2^3217+1)*(39327861*2^3217+1)*(34314159*2^3217+1)*(29652849*2^3217+1)*(24763389*2^3217+1)*(24430989*2^3217+1)*(23748699*2^3217+1)*(20007255*2^3217+1)*(18596781*2^3217+1)*(13656495*2^3217+1)*(11109435*2^3217+1)*(8 869755*2^3217+1)*(6894645*2^3217+1)*(5209209*2^3217+1)*(2851731*2^3217+1)*(96288201*2^2281+1)*(95937261*2^2281+1)*(95933985*2^2281+1)*(94364775*2^2281+1)*(92893239*2^2281+1)*(92748381*2^2281+1)*(90589905*2^2281+1)*(87734841*2^228 1+1)*(86566965*2^2281+1)*(86258499*2^2281+1)*(85734651*2^2281+1)*(84715839*2^2281+1)*(81532725*2^2281+1)*(79884849*2^2281+1)*(79081275*2^2281+1)*(76694835*2^2281+1)*(72081945*2^2281+1)*(72017001*2^2281+1)*(71253915*2^2281+1)*(688 93959*2^2281+1)*(68085225*2^2281+1)*(65410995*2^2281+1)*(63626145*2^2281+1)*(60039321*2^2281+1)*(56002311*2^2281+1)*(54061581*2^2281+1)*(53434575*2^2281+1)*(49409151*2^2281+1)*(41855025*2^2281+1)*(40910079*2^2281+1)*(40303905*2^2 281+1)*(40129041*2^2281+1)*(40018299*2^2281+1)*(31393209*2^2281+1)*(30810039*2^2281+1)*(27754761*2^2281+1)*(22185849*2^2281+1)*(20176311*2^2281+1)*(16289589*2^2281+1)*(14164635*2^2281+1)*(14147229*2^2281+1)*(11236485*2^2281+1)*(1 0213875*2^2281+1)*(4128945*2^2281+1)*(4039659*2^2281+1)*(4018065*2^2281+1)*(3928155*2^2281+1)*(3015531*2^2281+1)*(98028735*2^2203+1)*(97108935*2^2203+1)*(96046179*2^2203+1)*(95560221*2^2203+1)*(94884285*2^2203+1)*(94506579*2^2203 +1)*(91113195*2^2203+1)*(89055891*2^2203+1)*(88513845*2^2203+1)*(88293609*2^2203+1)*(87081549*2^2203+1)*(84254751*2^2203+1)*(78451869*2^2203+1)*(77693889*2^2203+1)*(76733511*2^2203+1)*(76650939*2^2203+1)*(76129479*2^2203+1)*(7458 5799*2^2203+1)+1 [N-1, Brillhart-Lehmer-Selfridge] Reading factors from helper […]
Collection of linux tricks
1) replace “RETURN” with ” ” in a text file => to combine multiple lines of a file into a single line. cat file | tr ‘\n’ ‘ ‘ > file2
All known n=b+1 Generalized Woodall/Cullen primes
Generalize Woodall: 3*2^3-1 5*4^5-1 10*9^10-1 11*10^11-1 18*17^18-1 127*126^127-1 286*285^286-1 560*559^560-1 1025*2^10250-1 39144*39143^39144-1 Generalized Cullen 2*1^2+1 621*620^621+1 41556*41555^41556+1 tested up to n=50k
建议以联网实名ID取代户籍制，身份证和网络ID
中国的户籍制度在建国初期，在通讯和信息处理能力极端不发达的前提下，曾经是一种非常有效的管理人口资源的方法。但是随着国家经济的发展，人口流动性日益增长，城乡居民界限日益模糊，以街道，乡镇派出所为基本数据管理单元的户籍制度越来越难以满足人们迁居，找工作和建立家庭的合理需要，不但大大增加人民合力户籍变动的负担，更加日益成为各地方实行地方保护主义工具。异地查询，损坏补办都成为非常困难的任务。 居民身份证制度的实施虽然有助于缓解这一不足，但是因为身份证本身携带信息有限，联网查询能力不足，给予犯罪分子利用盗窃和伪造身份证违法犯罪的可乘之机。 中国共产党一贯主张党的领导的先进性。世界已经进入信息时代，但是现有国民身份户籍管理仍旧依循半个世纪前的手工抄录人工检索，辅以非常有限的非联网数据库方式，已经大大落后于现有的先进技术能力。已经成为妨碍社会和生产力进一步发展的瓶颈之一。这一制度已经到了必须改革的关头了。 改革这一制度，首先应当保留原有制度中仍旧有现实意义的地方，例如户口制度中的亲属关系。然后就可靠性，查询便宜性，保密性，不可伪造性，信息丰富性等充分利用现有成熟先进信息技术予以实现。 我所建议的实现方法就是，利用联网实名ID系统，逐步取代户籍，身份证系统，并逐渐统一包括网络银行账号，个人证件，乃至上网ID在内的全部ID体系，形成国家管理的全民实名ID系统。具体方案如下： 第一：国家建议专职实名ID信息管理中心，在全国数个地点建立镜像数据库和备份数据库，用以存储和维护国民身份信息，并提供查询能力； 第二：每一个自然人，一旦出生，即在实名ID系统获得一个系统自动随机生成的12位档案号。系统录入如下但不限于如下固定信息：姓名，生日，性别，出生地，父母档案号，血型肤色等永久生理特征，DNA标识数据等。录入并定期更新如下变动数据：近照，声线，指纹，签名，身高，体重，住址，联系地址，配偶子女档案号（如有），电话，电子邮件信箱，自选主ID等。以上信息变更需第三方公证，例如亲自到任何公安派出机关办理。 第三：每一个实名ID的数据库中都包含一个授权库。每一个使用实名ID的机构，都在此系统中注册有一个法人ID。如此实名ID取得此法人ID的某项授权，则在这个实名ID的授权库中产生一个记录，记录这个授权的法人ID和授权性质和授权期限以及授权保密级别。例如网站的登录权，发贴权，公司的入门权，学历会员等等。 第四：授权保密级别分为个人信息浏览权和同意级别两个部分。个人信息分级举例：零级-姓名；一级：近照，性别；二级：生日，身高，体重，学历；三级：电话，电子信箱；四级：联系地址；五级：出生地，住址；六级：档案号，血型肤色等永久生理特征，亲属电话电子邮件等等；七级：第三方有关信息；只可核对不可查询信息：ID，指纹，DNA标记等。同意级别分类：零级：任何人可查询；一级，查询者档案号纪录在案；二级，被查询者收到正式被查询通知；三级，被查询者同步输入同意专用ID和密码；四级，被查询者提供指纹扫描，声线，或者实时签名输入等；五级，被查询者提供全部身份认证信息，包括指纹，声线，签名，秘密问题等。 第五：数据库提供网络界面，以便实名ID拥有者：创建和管理马甲ID；管理同意级别；察看被查询纪录，删除信任计算机等等。 建立起这样一个实名数据库之后，我们可以假设下述使用实例： 1.网络论坛：各论坛无需建立自己的用户数据库。任何人都可以用自己的实名ID登录，方法如下：首先登录实名ID管理网页，建立或者选择一个马甲ID，授予待登录网上论坛所要求的最低缺省授权，以及不低于最低要求的认证方式（例如密码）。然后登录待登录网上论坛，输入马甲ID和密码。该网上论坛随即向实名ID系统发送一个加密请求。实名ID系统接受传送过来的马甲ID，密码，缺省授权，以及被授权网站的法人ID，核实符合后，给予被授权网站同意信号，记录这一查询。然后被授权网站纪录用户信息，为用户创建或者更新临时马甲ID账号，赋予用户相应权限。 2.公司人事：无须新员工提供身份证户口本。用工单位网上向实名ID系统查询新员工姓名近照，选择正确的一个。实名ID系统反馈同意书，由新员工电子签名，查询人提供马甲ID和电子签名。然后实名ID系统返回一张电子信息卡。 3.国家司法调查：如发现线索中存在马甲ID，向实名ID系统查询该ID，提供国家权力系统的法人ID和查询者的个人ID，查询者签名。实名ID系统认证来源无误后，检索必要同意方式，在获得被检索人授权后反馈检索者所需信息。 防伪措施： 1.数据库加密多备份，无法通过篡改单一数据库达到目的； 2.多层次授权机制，泄密概率低； 3.使用记录查询者，如发生问题易于纠错； 4.认证方法成熟多样，无法全面复制； 益处： 1.国家管理，人人在册，让违法犯罪无处藏身； 2.系统保障个人同意权知情权，更好保障公民权利； 3.大大系统化和简化户籍和身份管理； 4.保留户口制中的全部信息，不至于由此引发换代混乱 关于非网络人群的适用性：初期可提供800服务电话和公证人员辅助操作。 建议尽快试点实施。不但可以解决网络实名制，账户实名制等问题，解决户籍制问题，而且将中国人民的公民权和平等民主提高到信息时代的高度。如试点成功，将来选举等都可以基于这一体系。这可以成为信息化社会主义民主的基石，成为创建不同于资本主义选举民主的更加现代化信息化的社会主义民主的第一步。
Toyota 中计了
这是一个很明显的策略问题。 多年以来，日美车厂在美国展开疯狂竞争。但是因为日车劳工成本低，美车厂受工会协议限制，只要不破除和工会的协议，无论怎样发展新技术，正面竞争，都会由于成本的原因成为一个败局。 要破这个局，只有像天龙八部中的珍珑棋局一样，先自填一眼，自杀一片棋子，然后打开战略空间，达到歼敌效果。 日美车厂数十年的竞争的一个核心就是成本控制。而成本控制就会增大技术隐患。这些隐患的解决方法就是召回。在2009以前，日车美车都逐渐受到日益增多的质量隐患投诉。美国监管部门采取了严厉打击美车，故意放任日车掩盖过失的策略，致使福特通用等年年大批召回，赔本亏损，直至损伤元气，濒临破产。 这样车厂和工会就迅速从劳资对立关系转化为存亡共同体。同时联邦以钓出(bail out)方式介入，迫使工会让步，从而打破了和工会间的必死之局。同时，由于频繁召回迫使车厂弥补了很多技术漏洞，加上劳工成本下降，bail out之后客户突然发现同样价格美车质量甚至超越日车。 但是，美车市场占有率失血已经太过严重，日车质量稳定的声誉使得日车市场仍旧无可动摇。 在这个时候，美国监管部门开始让多年掩盖的日车问题迅速曝光，一方面利用召回侵蚀日车财力，一方面利用舆论毁灭日车信誉，一方面焕然一新的美车已经准备好重新占领市场。完败之局被翻盘为完胜。而日车经此打击后，美国政府自然不会bail out他们，他们将多年无法翻身。 如果，美国从一开始就日美一视同仁，而不是只揪美车的小辫子，日美车系零部件成本同步上涨，美车厂和工会的死结就无法破局。如果蚕食局面再长期持续下去，美车开发能力必然逐渐枯竭。那时即便工会破局，美车也无复苏之力了。 如果，美国从一开始就严打日车，纵容美车质量问题，必然促使日车改进质量，加强研发。而日美车厂劳工成本差距仍在。这样美国车厂虽然能够短暂喘息，但是由于事实上的技术和质量差距不断加大，消费者必然持续倾向日车，当这种倾向达到一定程度，就是美车的死期了。 如果，前些年对美车质量的严打不够凌厉快速，慢慢衰弱的结果仍旧是技术研发力量流失。 因此，第一步只能是纵容日车隐患，迅速严打美车隐患–直至其被bail out，和工会关系破局，而同时各车厂研发骨干未损，可迅速在bail out后推出成本有竞争力的可靠高技术车型。这一步在去年完成。 如果，严打美车阶段并未纵容日车，则由于日车一向比较注重质量，今天未必能找到足够炮弹严厉打击日车。 如果，日车认识到这个布局，当年跟风自打嘴巴严打自己，虽然占领市场份额要慢得多，但今天遇到的挑战就会小很多。 可惜，市场上不但有日车美车，还有一个韩车。美国对韩车的纵容更加彻底。这样日车为了不被韩车抢占市场份额，严打自己的勇气就小了很多。终于陷入这个局中。 如今，Toyota因为漏洞较多，被打了出头鸟，已经无可自救，只有被慢慢打垮一条路。Honda如果不赶紧自查堵漏洞，Toyota完蛋后就轮到他们了。
Fedora: Starting abrt daemon: abrtd: Failed to start: timeout waiting for child
This is listed as Bug 524469 but never a real solution was drawn. https://bugzilla.redhat.com/show_bug.cgi?id=524469 However, this is an easy thing, that the user abrt was not created. This cab be figured by running $ abrtd -vvvv Cure: create the user abrt, as: abrt:x:399:398::/etc/abrt:/sbin/nologin Also you will need to make sure that certain lines exist in group, […]