mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Data > Marin's Mersenne-aries

Reply
 
Thread Tools
Old 2022-11-28, 18:31   #23
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

254668 Posts
Default

Quote:
Originally Posted by James Heinrich View Post
I think TF is already sufficient for them.
I would tend to agree with this calculus.

TF and P-1 are largely orthogonal, other than the former informing the latter in a statistical manner in George's code paths.

@Mark: If you have hungry machines, feed them!

I hope your home is nice and warm this winter...
chalsall is offline   Reply With Quote
Old 2022-11-28, 18:41   #24
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013

308010 Posts
Default

Quote:
Originally Posted by chalsall View Post
I hope your home is nice and warm this winter...
Well it's -15 out and I'm not far from opening a window.

If I didn't injure my foot, I'd have a lot more running right now, so I'm only burning ~900 watts for GIMPS at the moment.
Mark Rose is online now   Reply With Quote
Old 2022-12-04, 17:32   #25
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013

308010 Posts
Default

Quote:
Originally Posted by azhad View Post
All of them in my previous post, post #36 were already done and a few of them below. So I took from way below the list after a single line break.
I did some digging, and it appears a bunch of the exponents I had claimed had been re-added to the list. Unfortunately old claim posts seem to have completely disappeared. They were queued on a machine that had ended up getting a PRP and DC assignment, so I let those finish first. Here is the list of 85.5M exponents that machine worked on, in order worked on, which includes some from that post:

UID: shifted/donatello, M85511399 completed P-1, B1=419000, B2=81088140, Wi8: A0E55878, AID: 4C223D93DCD12707B836C4EAE153EB03
UID: shifted/donatello, M85511519 completed P-1, B1=419000, B2=81088140, Wi8: A0F1587A, AID: C27179637320275EFF6B493639F64691
UID: shifted/donatello, M85511561 completed P-1, B1=419000, B2=81088140, Wi8: A08F5803, AID: D1B1770F509E1E95A0FF3711D6804CB9
UID: shifted/donatello, M85511567 completed P-1, B1=419000, B2=81127200, Wi8: A0F7A0E4, AID: 4276954B617E37EE4AE45B057E71E4CF
UID: shifted/donatello, M85511597 completed P-1, B1=419000, B2=81088140, Wi8: A092580D, AID: 0FB5BC6CDEDEE39E89712E0DA677E0CB
UID: shifted/donatello, M85511623 completed P-1, B1=419000, B2=81088140, Wi8: A0EE5805, AID: 9FA5C2C9150C4664129424D51652DB8A
UID: shifted/donatello, M85511639 completed P-1, B1=419000, B2=81088140, Wi8: A09E5804, AID: 437486D3084F3285DDE6FAB18AE23313
UID: shifted/donatello, M85511669 completed P-1, B1=419000, B2=81088140, Wi8: A0EF5879, AID: A2C72594803F66E633FCB6E7FD3A628F
UID: shifted/donatello, M85511681 completed P-1, B1=419000, B2=81088140, Wi8: A09B580D, AID: 93853B184A8F37A852DD47DBBABF2621
UID: shifted/donatello, M85511731 completed P-1, B1=419000, B2=81321870, Wi8: A09CAF0E, AID: C6EC54BE647AACD0B2ABE43801C4D9AC
UID: shifted/donatello, M85511771 completed P-1, B1=419000, B2=81321870, Wi8: A0E2AF78, AID: 1CAF7C803AE43EB5494F35A31E1ECBB7
UID: shifted/donatello, M85511801 completed P-1, B1=419000, B2=81321870, Wi8: A0F3AF0D, AID: 7F2021013663CA594B4C4341497DA849
UID: shifted/donatello, M85511869 completed P-1, B1=419000, B2=81321870, Wi8: A09EAF0A, AID: 8577B559CB422AB6D2E5F3B5224386B1
UID: shifted/donatello, M85511897 completed P-1, B1=419000, B2=81321870, Wi8: A0F1AF00, AID: 2030D539DC7B67D3A421754B20D363CD
UID: shifted/donatello, M85511947 completed P-1, B1=419000, B2=81321870, Wi8: A0EDAF03, AID: D31CC238BD874939DF3D5D7B3C5090B5
UID: shifted/donatello, M85512013 completed P-1, B1=419000, B2=81321870, Wi8: A09AAF02, AID: 5D8AB5A1697AAAB92434DAC44CCC5D5F
UID: shifted/donatello, M85512029 completed P-1, B1=419000, B2=81321870, Wi8: A08AAF05, AID: 9EBD5F90088564E028C56C787A593B4B
UID: shifted/donatello, M85512107 completed P-1, B1=419000, B2=81321870, Wi8: A099AF08, AID: 94423E453C66671498232A373973EAE5
UID: shifted/donatello, M85512197 completed P-1, B1=419000, B2=81321870, Wi8: A09DAF05, AID: 0E771133B3CCC3D32FDC10D5C3AB9758
UID: shifted/donatello, M85512199 completed P-1, B1=419000, B2=81321870, Wi8: A09BAF03, AID: C80697C411CCFAA08B3BCBDC30800E41
UID: shifted/donatello, M85512233 completed P-1, B1=419000, B2=81321870, Wi8: A0E7AF03, AID: 21CD0B53F57195AEF4C9F618C4963D16
UID: shifted/donatello, M85512289 completed P-1, B1=419000, B2=81321870, Wi8: A09EAF0D, AID: ACF2C691F0E65C84A1E13EA3C7F7DB0D
UID: shifted/donatello, M85512341 completed P-1, B1=419000, B2=81321870, Wi8: A099AF0A, AID: 9029B73F46B1415E074BAD3529440142
UID: shifted/donatello, M85512443 completed P-1, B1=419000, B2=81321870, Wi8: A090AF0B, AID: 98A41D7F86628F0A01AB04A3EB5252F2
UID: shifted/donatello, M85512481 completed P-1, B1=419000, B2=81321870, Wi8: A099AF14, AID: 44126F144E194AACA2FA8DABA2986290

UID: shifted/donatello, M85512611 completed P-1, B1=419000, B2=81321870, Wi8: A0E3AF0B, AID: 01E61C6D0DBAAB548C1BBFA266EFD821
UID: shifted/donatello, M85512727 completed P-1, B1=419000, B2=81321870, Wi8: A08CAF0D, AID: DC0660295256154D03345E4F3BA4EA6F
UID: shifted/donatello, M85512769 completed P-1, B1=419000, B2=81321870, Wi8: A091AF12, AID: 059C08944378052CD580D1ABD82A23D5
UID: shifted/donatello, M85512803 completed P-1, B1=419000, B2=81321870, Wi8: A09EAF12, AID: D3DCB3023ABA5E236B8B9FADC9FAA728
UID: shifted/donatello, M85512913 completed P-1, B1=419000, B2=81321870, Wi8: A08DAF0A, AID: 68AC027A770F67B905EC4A64D4A21795
UID: shifted/donatello, M85512983 completed P-1, B1=419000, B2=81321870, Wi8: A0E4AF09, AID: C5340488D3FC17C1CADB31F890EB016E
UID: shifted/donatello, M85513117 completed P-1, B1=419000, B2=81321870, Wi8: A0EAAF08, AID: 92ECA55509DB5C67CFC2F8C15D25EE0C
UID: shifted/donatello, M85513271 completed P-1, B1=419000, B2=81321870, Wi8: A09CAF17, AID: 3D8A44A5545AA0A75475C5DCA205B6F2
UID: shifted/donatello, M85513279 completed P-1, B1=419000, B2=81321870, Wi8: A094AF1F, AID: D00ACE3A4D30307E8CC280F66592714A
UID: shifted/donatello, M85513301 completed P-1, B1=419000, B2=81321870, Wi8: A0BEAF0B, AID: 33138363E50FE2F55BCF9CCFCE5FCE93
UID: shifted/donatello, M85513339 completed P-1, B1=419000, B2=81321870, Wi8: A087AF17, AID: 899F26AB310A5B6CFB28A3A431C15D71
UID: shifted/donatello, M85513423 completed P-1, B1=419000, B2=81321870, Wi8: A090AF17, AID: C0210231D1187B1A1FB7DD50D5291336
UID: shifted/donatello, M85513427 completed P-1, B1=419000, B2=81321870, Wi8: A08CAF13, AID: C03493F1207E7B5FFF4D4EFCDBEAA686
UID: shifted/donatello, M85513457 completed P-1, B1=419000, B2=81321870, Wi8: A09DAF17, AID: BE08F3709E0FE80938393EB1924CBFC4
UID: shifted/donatello, M85513511 completed P-1, B1=419000, B2=81321870, Wi8: A096AF13, AID: 2ECB258201DF22758F7082B054884E96
UID: shifted/donatello, M85513679 completed P-1, B1=419000, B2=81321870, Wi8: A0BAAF13, AID: 274F2A3485BD7F900DAC06F1B5CC9274
UID: shifted/donatello, M85513691 completed P-1, B1=419000, B2=81321870, Wi8: A09DAF16, AID: AE88197C4E7D3FD06B2F9B97AFC6CD44
UID: shifted/donatello, M85513819 completed P-1, B1=419000, B2=81321870, Wi8: A0BAAF1C, AID: 6FDB4D8B06F9447D0D5E2F4A16ECD9D3
UID: shifted/donatello, M85513969 completed P-1, B1=419000, B2=81321870, Wi8: A09FAF1E, AID: C99A11E549AE879999FCA142ACC0BE79
UID: shifted/donatello, M85514047 completed P-1, B1=419000, B2=81321870, Wi8: A0BFAF14, AID: 10AFDF5EA8657CF06237B704EFE85733
UID: shifted/donatello, M85514083 completed P-1, B1=419000, B2=81321870, Wi8: A08AAF13, AID: 1ABB9E331CCA9620795299E45DC53CB5
UID: shifted/donatello, M85514239 completed P-1, B1=419000, B2=81321870, Wi8: A0BAAF1F, AID: 57052F8662A56949C601556D5ECB0081
UID: shifted/donatello, M85514431 completed P-1, B1=419000, B2=81321870, Wi8: A0B5AF26, AID: 89105B4277D3948B128EF909F10B5061
UID: shifted/donatello, M85514447 completed P-1, B1=419000, B2=81321870, Wi8: A094AF19, AID: 8046DDCE0CF2BFF089958D5BC1652DF5
UID: shifted/donatello, M85514467 completed P-1, B1=419000, B2=81321870, Wi8: A080AF24, AID: CBDC6C87137C730BD46866AF37A8C2F7
UID: shifted/donatello, M85514491 completed P-1, B1=419000, B2=81321870, Wi8: A096AF1F, AID: 316EE5F5DA23A7810F6D87892E95A863
UID: shifted/donatello, M85514503 completed P-1, B1=419000, B2=81321870, Wi8: A08AAF23, AID: 3FA7B70040C79D0A991DD7A4103EF536
UID: shifted/donatello, M85514509 completed P-1, B1=419000, B2=81321870, Wi8: A084AF1C, AID: 2B18D177604CDA7DCCBF6CF9B4333E90
UID: shifted/donatello, M85514567 completed P-1, B1=419000, B2=81321870, Wi8: A0B9AF27, AID: 799A9852B88A45A374E424A2EE2E469A
UID: shifted/donatello, M85514683 completed P-1, B1=419000, B2=81321870, Wi8: A091AF26, AID: 8E8F323E10A782DB4335422326440AB5
UID: shifted/donatello, M85514719 completed P-1, B1=419000, B2=81321870, Wi8: A09CAF24, AID: C359B068BC07C3386DC3740DB4699CA3
UID: shifted/donatello, M85514729 completed P-1, B1=419000, B2=81321870, Wi8: A092AF1D, AID: EB439911D41F0009C25E77845D65F239
UID: shifted/donatello, M85514731 completed P-1, B1=419000, B2=81321870, Wi8: A090AF1B, AID: CF6DA2CDF4250386A8544E9F01EA9333
UID: shifted/donatello, M85514789 completed P-1, B1=419000, B2=81321870, Wi8: A084AF23, AID: 85B1DBB4748AA2FF4FD744F9BE30EBDD
UID: shifted/donatello, M85514797 completed P-1, B1=419000, B2=81321870, Wi8: A0BCAF1A, AID: 33166CD39B14605408EF1A6979FD62CE
UID: shifted/donatello, M85514867 completed P-1, B1=419000, B2=81321870, Wi8: A094AF18, AID: A00574A34B2BBB124077F43B0D5A8AF3
UID: shifted/donatello, M85514873 completed P-1, B1=419000, B2=81321870, Wi8: A08EAF22, AID: 25214667F6D02C6363EF578AAAF925AD
UID: shifted/donatello, M85514929 completed P-1, B1=419000, B2=81321870, Wi8: A084AF2C, AID: 359D6B7724C55EE27E0A1B6F1B97F627
UID: shifted/donatello, M85514977 completed P-1, B1=419000, B2=81321870, Wi8: A083AF21, AID: 0FC70B85D7B4747159B96313CBE90D77
UID: shifted/donatello, M85515109 completed P-1, B1=419000, B2=81321870, Wi8: A08BAF23, AID: 7F169B4D324D2DB2716A266B8F9787D0
UID: shifted/donatello, M85515197 completed P-1, B1=419000, B2=81321870, Wi8: A091AF2F, AID: 29C6487CF4992849911B2D1B1C2F94FE

All of the remaining exponents from that claims post were completed by me on the same day: 2022-11-28. New assignments were generated on the same day I sent in results, so that's interesting.

UID: shifted/leonardo, M85571249 completed P-1, B1=419000, B2=81321870, Wi8: A101A9D1, AID: 0DBA56885BA367169F712EA7BE1B508D
UID: shifted/leonardo, M85571329 completed P-1, B1=419000, B2=81321870, Wi8: A10FA9D4, AID: A1BE1E1DB0B707D1D2212BAA31814DA0
UID: shifted/michelangelo, M85566629 completed P-1, B1=419000, B2=81321870, Wi8: A16EA91A, AID: 2A739F4456BADCB11ECCE86439813C41
UID: shifted/michelangelo, M85566641 completed P-1, B1=419000, B2=81321870, Wi8: A162A92E, AID: 3ABD786561D99661741BAD14A299520E
UID: shifted/michelangelo, M85566683 completed P-1, B1=419000, B2=81321870, Wi8: A167A919, AID: C24407689B9C7452720C97E9D816B4EF
UID: shifted/michelangelo, M85566749 completed P-1, B1=419000, B2=81321870, Wi8: A142A918, AID: 774AC48FF1CEB1B36E70DCB299B52FDA
UID: shifted/raphael, M85516357 completed P-1, B1=419000, B2=81321870, Wi8: A0A9AF3E, AID: 7E130808B1A6793A46DDB68BF19492A3
UID: shifted/raphael, M85518421 completed P-1, B1=419000, B2=81321870, Wi8: A05FAFC5, AID: 80090C2354C6F908808A0C642B61B6EA
UID: shifted/raphael, M85517921 completed P-1, B1=419000, B2=81321870, Wi8: A081AFCE, AID: 8BD92EAAB830D336FC3A9B6411A71B56
UID: shifted/raphael, M85563109 completed P-1, B1=419000, B2=81321870, Wi8: A140A97E, AID: 8C61E44F06C96F3CFFF94AAFFE89E79C
Mark Rose is online now   Reply With Quote
Old 2022-12-31, 01:40   #26
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013

60108 Posts
Default

Found a 127 bit factor: https://www.mersenne.ca/exponent/102864857
Mark Rose is online now   Reply With Quote
Old 2023-01-10, 17:18   #27
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013

23×5×7×11 Posts
Default

Took

Pfactor=A27D402CDFD525253771711F6DBC3DA4,1,2,103948307,-1,78,1
through
Pfactor=7B338F3C006EDBCBBF3CC6A7F2ACA949,1,2,103987321,-1,78,1


And I'll probably grab the last 53 of the list tonight.

2476 completed in the last 56 days

GW reply: Impressive!

Last fiddled with by Prime95 on 2023-01-10 at 19:38 Reason: Noted claims, removed them from the list
Mark Rose is online now   Reply With Quote
Old 2023-01-12, 05:00   #28
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013

23·5·7·11 Posts
Default

Took

Pfactor=670EEBA33C89075734E1F8ADA20530EB,1,2,66057479,-1,76,1

through

Pfactor=D3EA498EF5EFD7E5F299FBCF285E813D,1,2,103998779,-1,77,1

Last fiddled with by James Heinrich on 2023-01-12 at 12:53 Reason: Noted claims, removed them from the list
Mark Rose is online now   Reply With Quote
Old 2023-01-12, 12:33   #29
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

162778 Posts
Default

+30:
Pfactor=DD3264552B177AD01CDA61991E10DD8F,1,2,104001761,-1,78,1
Pfactor=6DA5469B6085EC3CF56AE47EEEB0F454,1,2,104001787,-1,78,1
Pfactor=FE633C899BD0F99B1EEF14EB63444628,1,2,104002027,-1,78,1
Pfactor=2822E8BD9F3D3EB4D54603C8762A6111,1,2,104002469,-1,78,1
Pfactor=40C3D4E9796FFF1CA4D32761E3BAE847,1,2,104002709,-1,78,1
Pfactor=24582D56DE8C57DFDB1EF8EFC30AD2F7,1,2,104002777,-1,78,1
Pfactor=E5D4033198AA3FE24742183FC955176F,1,2,104002897,-1,78,1
Pfactor=332BE44CC36527E79B7AB276F2A5EC1C,1,2,104003329,-1,78,1
Pfactor=B61D84BE667FE2087587C42F5F9EDA1D,1,2,104003563,-1,78,1
Pfactor=74D5E7792F9FE8118317CA1A98FA8930,1,2,104003693,-1,78,1
Pfactor=EE0B25892BFEBB5FAFABF0BDE27915E4,1,2,104003743,-1,78,1
Pfactor=52DC443878B7F01EA32EE427AA19B31E,1,2,104003857,-1,78,1
Pfactor=B5DC87DF938E0577B5F25589212A3410,1,2,104004379,-1,78,1
Pfactor=4837274798E945841E37F122FC4B79AB,1,2,104004403,-1,78,1
Pfactor=57661FD90296ACC7B24A80CE0EF8F1F2,1,2,104005441,-1,78,1
Pfactor=D0013A18B375094994E46FE577FE167A,1,2,104006143,-1,78,1
Pfactor=FCBDD9287FFCCDD1CC57B86F30655107,1,2,104006191,-1,78,1
Pfactor=EB3F800BE294D3B55B6D1A7214A88CF4,1,2,104010353,-1,77,1
Pfactor=AD67A48CF1E508676061E9EFC587D1A6,1,2,104010601,-1,77,1
Pfactor=05726E433A37298008D1AD326134DF67,1,2,104010757,-1,77,1
Pfactor=30934D973AF9C26A929AFFAD020BFAFC,1,2,104011291,-1,77,1
Pfactor=DD86A4900539EC9F1B9278B296AC589F,1,2,104011309,-1,77,1
Pfactor=52E6A206C8D1D03A5CDF93105E19F48C,1,2,104011447,-1,77,1
Pfactor=61B6D02A6AAB2E4B4883BB5DF0009E3D,1,2,104011841,-1,77,1
Pfactor=4F2A0A3DA56A442111CC7519A065B59D,1,2,104011891,-1,77,1
Pfactor=812F2497F144F9D9AC3E6EBCD962FC15,1,2,104015603,-1,77,1
Pfactor=01FE8B47A2EC4673D5907D35F3CA7C23,1,2,104015641,-1,77,1
Pfactor=9F3413EA5C70DC3382102F3D6A2ABD71,1,2,104015941,-1,77,1
Pfactor=09FEBC8C6133874DE18547B5ECD49A39,1,2,104016079,-1,77,1
Pfactor=57EB363FC0B845641C98A0BBDB30D076,1,2,104019437,-1,78,1

Last fiddled with by James Heinrich on 2023-01-12 at 12:53 Reason: Noted claims, removed them from the list
kriesel is online now   Reply With Quote
Old 2023-01-16, 23:04   #30
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013

23×5×7×11 Posts
Default

Took

Pfactor=705C484960C72078596229FAB3CA5145,1,2,104019511,-1,78,1
through
Pfactor=C0774E2FF6F2BFAFAE870C75807D73F3,1,2,104803891,-1,77,1

Should be done in two weeks.

Last fiddled with by Prime95 on 2023-01-17 at 01:30 Reason: Noted claims, removed them from the list
Mark Rose is online now   Reply With Quote
Old 2023-01-17, 06:48   #31
Mark Rose
 
Mark Rose's Avatar
 
"/X\(‘-‘)/X\"
Jan 2013

23·5·7·11 Posts
Default

I noticed something about these assignments:

1. Assignments with 1 LL result have lines saying 1 test will be saved
2. Assignments with 1 PRP result have lines saying 1.3 tests will be saved

Examples:

PFactor=F504A4698EA55B93E9799C9760C8EFAC,1,2,104491609,-1,76,1
PFactor=519DF18CCFB0099690FB722CB4280A25,1,2,104492051,-1,76,1.3

I assume this is an oversight?
Mark Rose is online now   Reply With Quote
Old 2023-01-17, 12:36   #32
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

3·11·223 Posts
Default

+40:
Pfactor=463D93C06BE71812F03E05EFBAA8B82A,1,2,104807501,-1,77,1
to
Pfactor=EDE6BD853048D13B40B85FD6A6741530,1,2,104857043,-1,77,1

Last fiddled with by Prime95 on 2023-01-24 at 04:39 Reason: Noted claims, removed them from the list
kriesel is online now   Reply With Quote
Old 2023-01-23, 06:59   #33
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

162778 Posts
Default

+40:
Pfactor=45D2E7BE4A9A616724006042C41A5497,1,2,104859127,-1,77,1
to
Pfactor=8E61B6BC796ADD2DFAADC0EC58F12F9F,1,2,104887241,-1,77,1

Last fiddled with by Prime95 on 2023-01-24 at 04:39 Reason: Noted claims, removed them from the list
kriesel is online now   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Strategic couple and dribble checks (PRP's, P-1's, and special Certs too) Uncwilly Marin's Mersenne-aries 17 2023-01-28 00:34
GMP-Ecm as Pm1 requires very little RAM jocelynl1204 Data 11 2021-03-02 16:32
Strategic Double Clicking Madpoo Marin's Mersenne-aries 1841 2019-07-16 03:30
factorial puzzle (requires maths) graeme Puzzles 7 2003-08-19 20:40
Perfect shuffling puzzle (requires programming) NickGlover Puzzles 18 2003-07-26 01:10

All times are UTC. The time now is 17:42.


Sat Jan 28 17:42:06 UTC 2023 up 163 days, 15:10, 0 users, load averages: 0.81, 0.87, 0.95

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.

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