(Magma)[p:p in PrimesUpTo(3000)|p mod 1012 in{11,15,23,67,91,103,111,135,155,159,191,199,203,235,247,251,267,287,291,295,339,355,367,375,379,383,411,419,467,471,511,543,551,559,595,603,619,631,643,663,687,707,727,735,751,779,815,819,839,895,907,911,927193919719831999}]//文森佐·利班迪2012年7月31日