mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Data > Marin's Mersenne-aries > Completed Missions
Reload this Page P-1: Block of 130: 19.8-19.9M
Register FAQ Search Today's Posts Mark Forums Read

 
 
Thread Tools
Old 2005-03-04, 05:18   #1
dave_0273
 
dave_0273's Avatar
 
Oct 2003
Australia, Brisbane

2·5·47 Posts
Default P-1: Block of 130: 19.8-19.9M
These exponents have been LL-tested at least once, but without a matching double-check. They have not been P-1 tested yet.

Put this at the start of your worktodo.ini file:


Pfactor=19800607,66,1
Pfactor=19801421,66,1
Pfactor=19801961,66,1
Pfactor=19802137,66,1
Pfactor=19802863,66,1
Pfactor=19803019,66,1
Pfactor=19803319,66,1
Pfactor=19803869,66,1
Pfactor=19804153,66,1
Pfactor=19804247,66,1
Pfactor=19805029,66,1
Pfactor=19805251,66,1
Pfactor=19806233,66,1
Pfactor=19806811,66,1
Pfactor=19807561,66,1
Pfactor=19810289,66,1
Pfactor=19810477,66,1
Pfactor=19811083,66,1
Pfactor=19811591,66,1
Pfactor=19811867,66,1
Pfactor=19813099,66,1
Pfactor=19813487,66,1
Pfactor=19813861,66,1
Pfactor=19814539,66,1
Pfactor=19815821,66,1
Pfactor=19817489,66,1
Pfactor=19818173,66,1
Pfactor=19818427,66,1
Pfactor=19818817,66,1
Pfactor=19823123,66,1
Pfactor=19823641,66,1
Pfactor=19824143,66,1
Pfactor=19825343,66,1
Pfactor=19825573,66,1
Pfactor=19825639,66,1
Pfactor=19826173,66,1
Pfactor=19826491,66,1
Pfactor=19827163,66,1
Pfactor=19829993,66,1
Pfactor=19830227,66,1
Pfactor=19831429,66,1
Pfactor=19831841,66,1
Pfactor=19832171,66,1
Pfactor=19832669,66,1
Pfactor=19833907,66,1
Pfactor=19834313,66,1
Pfactor=19836317,66,1
Pfactor=19836737,66,1
Pfactor=19837681,66,1
Pfactor=19839991,66,1
Pfactor=19840039,66,1
Pfactor=19842313,66,1
Pfactor=19842731,66,1
Pfactor=19843907,66,1
Pfactor=19844183,66,1
Pfactor=19844353,66,1
Pfactor=19847909,66,1
Pfactor=19847999,66,1
Pfactor=19850359,66,1
Pfactor=19852373,66,1
Pfactor=19853627,66,1
Pfactor=19854049,66,1
Pfactor=19854061,66,1
Pfactor=19854941,66,1
Pfactor=19855061,66,1
Pfactor=19855151,66,1
Pfactor=19858229,66,1
Pfactor=19858231,66,1
Pfactor=19858339,66,1
Pfactor=19858369,66,1
Pfactor=19858427,66,1
Pfactor=19858543,66,1
Pfactor=19860007,66,1
Pfactor=19860473,66,1
Pfactor=19860559,66,1
Pfactor=19860713,66,1
Pfactor=19861157,66,1
Pfactor=19861573,66,1
Pfactor=19864723,66,1
Pfactor=19867277,66,1
Pfactor=19868077,66,1
Pfactor=19869691,66,1
Pfactor=19870441,66,1
Pfactor=19870867,66,1
Pfactor=19871629,66,1
Pfactor=19872623,66,1
Pfactor=19872857,66,1
Pfactor=19873549,66,1
Pfactor=19873691,66,1
Pfactor=19874203,66,1
Pfactor=19874971,66,1
Pfactor=19875607,66,1
Pfactor=19876211,66,1
Pfactor=19877327,66,1
Pfactor=19877537,66,1
Pfactor=19878379,66,1
Pfactor=19878701,66,1
Pfactor=19879393,66,1
Pfactor=19879679,66,1
Pfactor=19880431,66,1
Pfactor=19881227,66,1
Pfactor=19881859,66,1
Pfactor=19882133,66,1
Pfactor=19882453,66,1
Pfactor=19882547,66,1
Pfactor=19883399,66,1
Pfactor=19883687,66,1
Pfactor=19883789,66,1
Pfactor=19885469,66,1
Pfactor=19885507,66,1
Pfactor=19885949,66,1
Pfactor=19886621,66,1
Pfactor=19887323,66,1
Pfactor=19888087,66,1
Pfactor=19888243,66,1
Pfactor=19888367,66,1
Pfactor=19889509,66,1
Pfactor=19890859,66,1
Pfactor=19891133,66,1
Pfactor=19891177,66,1
Pfactor=19891747,66,1
Pfactor=19891933,66,1
Pfactor=19892473,66,1
Pfactor=19894837,66,1
Pfactor=19895129,66,1
Pfactor=19897771,66,1
Pfactor=19897903,66,1
Pfactor=19898213,66,1
Pfactor=19898609,66,1
Pfactor=19898707,66,1


Post here to claim this set.

When you're finished, manually check in your results at http://www.mersenne.org/ips/manualtests.html and post your results here as well.
dave_0273 is offline  
Old 2005-06-30, 22:11   #2
JHagerson
 
JHagerson's Avatar
 
May 2005
Naperville, IL, USA

21110 Posts
Default
I'll take these
JHagerson is offline  
Old 2005-07-09, 21:05   #3
JHagerson
 
JHagerson's Avatar
 
May 2005
Naperville, IL, USA

211 Posts
Default Status report
I subdivided this group. Here are the higher numbers completed.
Code:
UID: JohnHa0/JohnHa2, M19872857 completed P-1, B1=110000, B2=1925000, Wc1: 02210D9A
UID: JohnHa0/JohnHa2, M19873549 completed P-1, B1=110000, B2=1925000, Wc1: 022A0D9C
UID: JohnHa0/JohnHa2, M19873691 completed P-1, B1=110000, B2=1925000, Wc1: 02280D94
UID: JohnHa0/JohnHa2, M19874203 completed P-1, B1=110000, B2=1925000, Wc1: 02290D8B
UID: JohnHa0/JohnHa2, M19874971 completed P-1, B1=110000, B2=1925000, Wc1: 02540D85
UID: JohnHa0/JohnHa2, M19875607 completed P-1, B1=110000, B2=1925000, Wc1: 02260D82
UID: JohnHa0/JohnHa2, M19876211 completed P-1, B1=110000, B2=1925000, Wc1: 02290DF1
UID: JohnHa0/JohnHa2, M19877327 completed P-1, B1=110000, B2=1980000, Wc1: 027FE4DE
UID: JohnHa0/JohnHa2, M19877537 completed P-1, B1=110000, B2=1980000, Wc1: 0256E4C6
UID: JohnHa0/JohnHa2, M19878379 completed P-1, B1=110000, B2=1980000, Wc1: 0255E4C6
UID: JohnHa0/JohnHa2, M19878701 completed P-1, B1=110000, B2=1980000, Wc1: 0259E4C8
UID: JohnHa0/JohnHa2, M19879393 completed P-1, B1=110000, B2=1980000, Wc1: 0273E4CA
UID: JohnHa0/JohnHa2, M19879679 completed P-1, B1=110000, B2=1980000, Wc1: 026DE4FB
UID: JohnHa0/JohnHa2, M19880431 completed P-1, B1=110000, B2=1980000, Wc1: 0268E4F5
UID: JohnHa0/JohnHa2, M19881227 completed P-1, B1=110000, B2=1980000, Wc1: 0266E4EB
P-1 found a factor in stage #2, B1=110000, B2=2007500.
UID: JohnHa0/JohnHa2, M19881859 has a factor: 298810542434381009519351
UID: JohnHa0/JohnHa2, M19882133 completed P-1, B1=110000, B2=2007500, Wc1: 027D4F84
UID: JohnHa0/JohnHa2, M19882453 completed P-1, B1=110000, B2=2007500, Wc1: 02A54F84
UID: JohnHa0/JohnHa2, M19882547 completed P-1, B1=110000, B2=2007500, Wc1: 02A64E7E
UID: JohnHa0/JohnHa2, M19883399 completed P-1, B1=110000, B2=2007500, Wc1: 02434E71
UID: JohnHa0/JohnHa2, M19883687 completed P-1, B1=110000, B2=2007500, Wc1: 024B4E73
UID: JohnHa0/JohnHa2, M19883789 completed P-1, B1=110000, B2=2007500, Wc1: 02534E6C
P-1 found a factor in stage #2, B1=110000, B2=2007500.
UID: JohnHa0/JohnHa2, M19885469 has a factor: 3271457637909345955969
UID: JohnHa0/JohnHa2, M19885507 completed P-1, B1=110000, B2=2007500, Wc1: 02B94E5E
UID: JohnHa0/JohnHa2, M19885949 completed P-1, B1=110000, B2=2007500, Wc1: 02A04E5A
UID: JohnHa0/JohnHa2, M19886621 completed P-1, B1=110000, B2=2007500, Wc1: 02B24E59
UID: JohnHa0/JohnHa2, M19887323 completed P-1, B1=110000, B2=2007500, Wc1: 02B44E4D
UID: JohnHa0/JohnHa2, M19888087 completed P-1, B1=110000, B2=2007500, Wc1: 02854E4B
UID: JohnHa0/JohnHa2, M19888243 completed P-1, B1=110000, B2=2007500, Wc1: 02A64E40
UID: JohnHa0/JohnHa2, M19888367 completed P-1, B1=110000, B2=2007500, Wc1: 02854E3E
UID: JohnHa0/JohnHa2, M19889509 completed P-1, B1=110000, B2=2007500, Wc1: 02AB4E43
UID: JohnHa0/JohnHa2, M19890859 completed P-1, B1=110000, B2=2007500, Wc1: 02964E28
UID: JohnHa0/JohnHa2, M19891133 completed P-1, B1=110000, B2=2007500, Wc1: 02904E24
UID: JohnHa0/JohnHa2, M19891177 completed P-1, B1=110000, B2=2007500, Wc1: 028D4E2E
UID: JohnHa0/JohnHa2, M19891747 completed P-1, B1=110000, B2=2007500, Wc1: 02974E1C
UID: JohnHa0/JohnHa2, M19891933 completed P-1, B1=110000, B2=2007500, Wc1: 02964E1D
UID: JohnHa0/JohnHa2, M19892473 completed P-1, B1=110000, B2=2007500, Wc1: 02824E1F
UID: JohnHa0/JohnHa2, M19894837 completed P-1, B1=110000, B2=2007500, Wc1: 029F4E07
UID: JohnHa0/JohnHa2, M19895129 completed P-1, B1=110000, B2=2007500, Wc1: 02EB4EFD
UID: JohnHa0/JohnHa2, M19897771 completed P-1, B1=110000, B2=2007500, Wc1: 02C74EED
UID: JohnHa0/JohnHa2, M19897903 completed P-1, B1=110000, B2=2007500, Wc1: 02FF4EE3
UID: JohnHa0/JohnHa2, M19898213 completed P-1, B1=110000, B2=2007500, Wc1: 02EE4EEA
UID: JohnHa0/JohnHa2, M19898609 completed P-1, B1=110000, B2=2007500, Wc1: 02C44EE2
P-1 found a factor in stage #2, B1=110000, B2=2007500.
UID: JohnHa0/JohnHa2, M19898707 has a factor: 6267992799889377412049
Three found so far:
Code:
UID: JohnHa0/JohnHa2, M19881859 has a factor: 298810542434381009519351
UID: JohnHa0/JohnHa2, M19885469 has a factor: 3271457637909345955969
UID: JohnHa0/JohnHa2, M19898707 has a factor: 6267992799889377412049
What I have done so far has been reported to Dr. Woltman. Will post again with updates as available.
JHagerson is offline  
Old 2005-07-11, 20:22   #4
JHagerson
 
JHagerson's Avatar
 
May 2005
Naperville, IL, USA

110100112 Posts
Default
Here are the rest.
Code:
UID: JohnHa0/JohnHa1, M19800607 completed P-1, B1=110000, B2=2062500, Wc1: 0072DB83
UID: JohnHa0/JohnHa1, M19801421 completed P-1, B1=110000, B2=2062500, Wc1: 0049DB89
UID: JohnHa0/JohnHa1, M19801961 completed P-1, B1=110000, B2=2062500, Wc1: 0072DB8B
UID: JohnHa0/JohnHa1, M19802137 completed P-1, B1=110000, B2=2062500, Wc1: 0069DBB2
UID: JohnHa0/JohnHa1, M19802863 completed P-1, B1=110000, B2=2062500, Wc1: 0043DBBC
UID: JohnHa0/JohnHa1, M19803019 completed P-1, B1=110000, B2=2062500, Wc1: 0053DBB9
UID: JohnHa0/JohnHa1, M19803319 completed P-1, B1=110000, B2=2062500, Wc1: 0076DBBE
UID: JohnHa0/JohnHa1, M19803869 completed P-1, B1=110000, B2=2062500, Wc1: 005DDBA1
UID: JohnHa0/JohnHa1, M19804153 completed P-1, B1=110000, B2=2062500, Wc1: 00A1DBA7
UID: JohnHa0/JohnHa1, M19804247 completed P-1, B1=110000, B2=2062500, Wc1: 00A1DBA9
UID: JohnHa0/JohnHa1, M19805029 completed P-1, B1=110000, B2=2062500, Wc1: 0054D851
UID: JohnHa0/JohnHa1, M19805251 completed P-1, B1=110000, B2=2062500, Wc1: 0048D85C
UID: JohnHa0/JohnHa1, M19806233 completed P-1, B1=110000, B2=2062500, Wc1: 004AD85A
UID: JohnHa0/JohnHa1, M19806811 completed P-1, B1=110000, B2=2062500, Wc1: 005DD840
UID: JohnHa0/JohnHa1, M19807561 completed P-1, B1=110000, B2=2062500, Wc1: 005ED849
UID: JohnHa0/JohnHa1, M19810289 completed P-1, B1=110000, B2=2062500, Wc1: 00B2D87B
UID: JohnHa0/JohnHa1, M19810477 completed P-1, B1=110000, B2=2062500, Wc1: 00B4D866
UID: JohnHa0/JohnHa1, M19811083 completed P-1, B1=110000, B2=2062500, Wc1: 00B5D817
UID: JohnHa0/JohnHa1, M19811591 completed P-1, B1=110000, B2=2062500, Wc1: 00AFD812
UID: JohnHa0/JohnHa1, M19811867 completed P-1, B1=110000, B2=2062500, Wc1: 00ABD819
UID: JohnHa0/JohnHa1, M19813099 completed P-1, B1=110000, B2=2062500, Wc1: 00BDD804
UID: JohnHa0/JohnHa1, M19813487 completed P-1, B1=110000, B2=2062500, Wc1: 008AD805
UID: JohnHa0/JohnHa1, M19813861 completed P-1, B1=110000, B2=2062500, Wc1: 008AD800
UID: JohnHa0/JohnHa1, M19814539 completed P-1, B1=110000, B2=2062500, Wc1: 00E5D80D
UID: JohnHa0/JohnHa1, M19815821 completed P-1, B1=110000, B2=2062500, Wc1: 008BD839
UID: JohnHa0/JohnHa1, M19817489 completed P-1, B1=110000, B2=2062500, Wc1: 00EDD82B
UID: JohnHa0/JohnHa1, M19818173 completed P-1, B1=110000, B2=1952500, Wc1: 00A3862E
UID: JohnHa0/JohnHa1, M19818427 completed P-1, B1=110000, B2=1952500, Wc1: 00CF8628
UID: JohnHa0/JohnHa1, M19818817 completed P-1, B1=110000, B2=1952500, Wc1: 00FE862A
UID: JohnHa0/JohnHa1, M19823123 completed P-1, B1=110000, B2=1980000, Wc1: 00F41ABD
UID: JohnHa0/JohnHa1, M19823641 completed P-1, B1=110000, B2=1980000, Wc1: 00EF1AAA
UID: JohnHa0/JohnHa1, M19824143 completed P-1, B1=110000, B2=1980000, Wc1: 00FB1AA7
UID: JohnHa0/JohnHa1, M19825343 completed P-1, B1=110000, B2=1980000, Wc1: 011A1ADD
UID: JohnHa0/JohnHa1, M19825573 completed P-1, B1=110000, B2=1980000, Wc1: 011D1AD7
UID: JohnHa0/JohnHa1, M19825639 completed P-1, B1=110000, B2=1980000, Wc1: 00F91AD6
UID: JohnHa0/JohnHa1, M19826173 completed P-1, B1=110000, B2=1980000, Wc1: 00E41AC2
UID: JohnHa0/JohnHa1, M19826491 completed P-1, B1=110000, B2=1980000, Wc1: 00ED1AC0
UID: JohnHa0/JohnHa1, M19827163 completed P-1, B1=110000, B2=1980000, Wc1: 011B1AF0
UID: JohnHa0/JohnHa1, M19829993 completed P-1, B1=110000, B2=1980000, Wc1: 013E1AE3
UID: JohnHa0/JohnHa1, M19830227 completed P-1, B1=110000, B2=1980000, Wc1: 013D1B12
UID: JohnHa0/JohnHa1, M19831429 completed P-1, B1=110000, B2=1980000, Wc1: 010A1B19
UID: JohnHa0/JohnHa1, M19831841 completed P-1, B1=110000, B2=1980000, Wc1: 01121B01
UID: JohnHa0/JohnHa1, M19832171 completed P-1, B1=110000, B2=1980000, Wc1: 010F1B1B
UID: JohnHa0/JohnHa1a, M19832669 completed P-1, B1=110000, B2=2090000, Wc1: 01116ED5
UID: JohnHa0/JohnHa1a, M19833907 completed P-1, B1=110000, B2=2090000, Wc1: 01386EDE
UID: JohnHa0/JohnHa1a, M19834313 completed P-1, B1=110000, B2=2090000, Wc1: 011B6EE0
UID: JohnHa0/JohnHa1a, M19836317 completed P-1, B1=110000, B2=2090000, Wc1: 01176EF2
UID: JohnHa0/JohnHa1a, M19836737 completed P-1, B1=110000, B2=2090000, Wc1: 01176E82
UID: JohnHa0/JohnHa1a, M19837681 completed P-1, B1=110000, B2=2090000, Wc1: 01616E83
UID: JohnHa0/JohnHa1a, M19839991 completed P-1, B1=110000, B2=2090000, Wc1: 01776E98
UID: JohnHa0/JohnHa1a, M19840039 completed P-1, B1=110000, B2=2090000, Wc1: 01766E96
UID: JohnHa0/JohnHa1a, M19842313 completed P-1, B1=110000, B2=2090000, Wc1: 01586EB9
UID: JohnHa0/JohnHa1a, M19842731 completed P-1, B1=110000, B2=2090000, Wc1: 01576EB6
UID: JohnHa0/JohnHa1a, M19843907 completed P-1, B1=110000, B2=2090000, Wc1: 015E6E45
UID: JohnHa0/JohnHa1a, M19844183 completed P-1, B1=110000, B2=2090000, Wc1: 015A6E4C
UID: JohnHa0/JohnHa1a, M19844353 completed P-1, B1=110000, B2=2090000, Wc1: 014B6E4D
UID: JohnHa0/JohnHa1a, M19847909 completed P-1, B1=110000, B2=2090000, Wc1: 01806E62
UID: JohnHa0/JohnHa1a, M19847999 completed P-1, B1=110000, B2=2090000, Wc1: 01BC6E68
UID: JohnHa0/JohnHa1a, M19850359 completed P-1, B1=110000, B2=2090000, Wc1: 01A96E7D
UID: JohnHa0/JohnHa1a, M19852373 completed P-1, B1=110000, B2=2090000, Wc1: 019C6E19
UID: JohnHa0/JohnHa1a, M19853627 completed P-1, B1=110000, B2=2090000, Wc1: 01976E21
UID: JohnHa0/JohnHa1a, M19854049 completed P-1, B1=110000, B2=2090000, Wc1: 01996E22
UID: JohnHa0/JohnHa1a, M19854061 completed P-1, B1=110000, B2=2090000, Wc1: 01E56E2E
UID: JohnHa0/JohnHa1a, M19854941 completed P-1, B1=110000, B2=2090000, Wc1: 019C6E33
UID: JohnHa0/JohnHa1a, M19855061 completed P-1, B1=110000, B2=2090000, Wc1: 01886E35
UID: JohnHa0/JohnHa1a, M19855151 completed P-1, B1=110000, B2=2090000, Wc1: 01876E2A
UID: JohnHa0/JohnHa1a, M19858229 completed P-1, B1=110000, B2=2090000, Wc1: 01F391CA
UID: JohnHa0/JohnHa1a, M19858231 completed P-1, B1=110000, B2=2090000, Wc1: 01F591CC
UID: JohnHa0/JohnHa1a, M19858339 completed P-1, B1=110000, B2=2090000, Wc1: 01C291D3
UID: JohnHa0/JohnHa1a, M19858369 completed P-1, B1=110000, B2=2090000, Wc1: 01F391CF
UID: JohnHa0/JohnHa1a, M19858427 completed P-1, B1=110000, B2=2090000, Wc1: 01FC91D7
UID: JohnHa0/JohnHa1a, M19858543 completed P-1, B1=110000, B2=2090000, Wc1: 01E491D5
UID: JohnHa0/JohnHa1a, M19860007 completed P-1, B1=110000, B2=2090000, Wc1: 01F791E5
UID: JohnHa0/JohnHa1a, M19860473 completed P-1, B1=110000, B2=2090000, Wc1: 01F491E0
UID: JohnHa0/JohnHa1a, M19860559 completed P-1, B1=110000, B2=2090000, Wc1: 01EC91E2
UID: JohnHa0/JohnHa1a, M19860713 completed P-1, B1=110000, B2=2090000, Wc1: 01FA91E4
UID: JohnHa0/JohnHa1a, M19861157 completed P-1, B1=110000, B2=2090000, Wc1: 01D291EB
UID: JohnHa0/JohnHa1a, M19861573 completed P-1, B1=110000, B2=2090000, Wc1: 01CE91F7
UID: JohnHa0/JohnHa1a, M19864723 completed P-1, B1=110000, B2=2090000, Wc1: 0224918A
UID: JohnHa0/JohnHa1a, M19867277 completed P-1, B1=110000, B2=2090000, Wc1: 01D691A7
UID: JohnHa0/JohnHa1a, M19868077 completed P-1, B1=110000, B2=2090000, Wc1: 01DC91B0
UID: JohnHa0/JohnHa1a, M19869691 completed P-1, B1=110000, B2=2090000, Wc1: 023991BF
UID: JohnHa0/JohnHa1a, M19870441 completed P-1, B1=110000, B2=2090000, Wc1: 023A9149
UID: JohnHa0/JohnHa1a, M19870867 completed P-1, B1=110000, B2=2090000, Wc1: 0200914E
UID: JohnHa0/JohnHa1a, M19871629 completed P-1, B1=110000, B2=2090000, Wc1: 02119152
UID: JohnHa0/JohnHa1a, M19872623 completed P-1, B1=110000, B2=2090000, Wc1: 021C9164
JHagerson is offline  
 

« Previous Thread | Next Thread »
Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
block wiedemann and block lanczos ravlyuchenko Msieve 5 2011-05-09 13:16
P-1: Block of 58: 19.55-19.6M dave_0273 Completed Missions 2 2005-05-20 16:07
P-1: Block of 73: 19.6-19.65M dave_0273 Completed Missions 2 2005-05-16 17:55
P-1: Block of 132: 19.4-19.5M dave_0273 Completed Missions 3 2005-05-14 12:18
P-1: Block of 79: 19.5-19.55M dave_0273 Completed Missions 3 2005-05-14 12:07

All times are UTC. The time now is 21:40.


Fri Jun 2 21:40:17 UTC 2023 up 288 days, 19:08, 0 users, load averages: 1.33, 1.18, 1.05

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔