Last active
July 16, 2022 14:08
-
-
Save gagern/dcb56dc0bcdc8e0b937c74a947724eff to your computer and use it in GitHub Desktop.
Assigning card suits to π½ββΒ²
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| https://math.stackexchange.com/a/4493218/35416 | |
| For each of the 52 incidences (columns), this table | |
| shows the line coordinates, point coordinates, and | |
| 352 different suite assignments. The first 8 of | |
| these have a 13-fold symmetry, the others don't. | |
| 0000000000000000111111111111111111112222222222222222 | |
| 0000111111112222000000001111111122220000111111112222 | |
| 1111000011111111000011110000111111111111000011111111 | |
| 0112011201120112000002220122012201120111011201120122 | |
| 1011000020221011011210120211210111201012011220111012 | |
| 0000101110111011101101111101111010110111101111011101 | |
| 0123021310231320120330123012031230121203231020132301 | |
| 0123021310321302120312032103031231203210302120312310 | |
| 0123021313022013120310233201031210323021230123103210 | |
| 0123021313203012120332012013031223101023310223011203 | |
| 0123021320132301120310322310031213023012312013023201 | |
| 0123021320312310120332103102031213201320210312033012 | |
| 0123021323013021120312303210031221303201201310321302 | |
| 0123021323101023120330212301031231021302301212302013 | |
| 0123021303121023120310233021132020313012230123103210 | |
| 0123021303121023120312033021231021303012230113023210 | |
| 0123021303121023120330213021132030211203231023102013 | |
| 0123021303121023120331203210130231021203201320312301 | |
| 0123021303121023120332013021231021301302201310323210 | |
| 0123021303121023120332013021231031201203201310322310 | |
| 0123021303121023120332103012231021301302201312303021 | |
| 0123021303121023130210233021132030212013230132102310 | |
| 0123021303121023130210233021302130212013213012302301 | |
| 0123021303121023130210233201301231022013203112302310 | |
| 0123021303121023130210233201302120312310213012303021 | |
| 0123021303121023130212033201130220312310230130123210 | |
| 0123021303121023130212033201301221302310203110323210 | |
| 0123021303121023130220133012132020311302231032103021 | |
| 0123021303121023130220133012312020311302213012303021 | |
| 0123021303121023130220133210312023011203213013023021 | |
| 0123021303121023130221033012132021301302231032013021 | |
| 0123021303121023130221033021302121301032231013023201 | |
| 0123021303121023130221033021312021301032230113023210 | |
| 0123021303121023130221033021312021301302203110323210 | |
| 0123021303121023130221033021312031201203203110322310 | |
| 0123021303121023130221033201310231021203203110322310 | |
| 0123021303121023310220131302301231023012203112302310 | |
| 0123021303121023310220131320132030213210230130122310 | |
| 0123021303121023310220131320302123013012213013023201 | |
| 0123021303121023310220131320302130213210213010322301 | |
| 0123021303121023310221031302130231023012230132012310 | |
| 0123021303121023310231201320132031202310230132012013 | |
| 0123021303121023310232101302130230212310230132102013 | |
| 0123021303121023310232101302301231202310203112302013 | |
| 0123021303121023320110231320231031023012230132012310 | |
| 0123021303121023320110231320302123013012213023013201 | |
| 0123021303121023320110231320302130213210213020312301 | |
| 0123021303121023320112031302301231203210203120312310 | |
| 0123021303121023320130211320231031021302231032012013 | |
| 0123021303121023320130211320312023011032210323013210 | |
| 0123021303121023320131201320302131201230201320312301 | |
| 0123021303121023320131201320312031201230230123012013 | |
| 0123021303121023320132011302301231201230201320312310 | |
| 0123021303121023320132011302301231201230231023012013 | |
| 0123021303121023320132011302310223011032210323013210 | |
| 0123021303121023320132011302310230211230210320312310 | |
| 0123021303121023320132101302230123011302201332103021 | |
| 0123021303121023320132101302310230211230230123102013 | |
| 0123021303121032130212033021321031202013230112032310 | |
| 0123021303121032130212302301301231202310302112302013 | |
| 0123021303121032130212303021320130212013210312302301 | |
| 0123021303121032130212303201320120312310210312303021 | |
| 0123021303121032130220132013312020311302312012303021 | |
| 0123021303121032130220132310312023011302312012033021 | |
| 0123021303121032130220313201301231021023201312302310 | |
| 0123021303121032130221033021302131201023231012032301 | |
| 0123021303121032130221033021312031201023230112032310 | |
| 0123021303121032130221302301310231021302302112302013 | |
| 0123021303121032130221303021302131201023201312302301 | |
| 0123021303121032130221303201302121301320201312303021 | |
| 0123021303121032230112031203301221302310302120313210 | |
| 0123021303121032230120131320312023011302302120133210 | |
| 0123021303121032230120313021312030211203132023102013 | |
| 0123021303121032230121031023312021301302302120313210 | |
| 0123021303121032230121031023312031201203302120312310 | |
| 0123021303121032310220131320321031023012230112032310 | |
| 0123021303121032310220132310301231023012132012032301 | |
| 0123021303121032310220312301301231023012102312302310 | |
| 0123021303121032310232101023320130212013210312302301 | |
| 0123021303121032310232101203320120312310210312303021 | |
| 0123021303121032310232101320321031202310230112032013 | |
| 0123021303121032320112032013301221303012132023013201 | |
| 0123021303121032320112301320320123013012210323013201 | |
| 0123021303121032320112301320320130213210210320312301 | |
| 0123021303121032320112301320321031203210230123012013 | |
| 0123021303121032320112302310301231203210102320312301 | |
| 0123021303121032320132011023321031201203201320312310 | |
| 0123021303121032320132011023321031201203231023012013 | |
| 0123021303121032320132011203301221301320201320313210 | |
| 0123021303121032320132011203310220311320210320313210 | |
| 0123021303121032320132012301310223011302102320133210 | |
| 0123021303121032320132102310310223011302102320133201 | |
| 0123021303122013120331202301230131021302302112301023 | |
| 0123021303122013120331202310130231021302302120311203 | |
| 0123021303122013120331203201230110321320210312303021 | |
| 0123021303122013120331203210130210321320210320313201 | |
| 0123021303122013120331203210130213021023210323013201 | |
| 0123021303122013120332013021231013201023210313023210 | |
| 0123021303122013120332103012130230211023230123101203 | |
| 0123021303122013130220132310301213021032312013023201 | |
| 0123021303122013130220133012132030211023230132101320 | |
| 0123021303122013130220133012321010321302213012303021 | |
| 0123021303122013130220133210301210321320213010323201 | |
| 0123021303122013130220133210301213021023213013023201 | |
| 0123021303122013130220133210321031021203203110321320 | |
| 0123021303122013130221032301130213021302302130123210 | |
| 0123021303122013130221032301302113201230312013023021 | |
| 0123021303122013130221032301302131201230302110321320 | |
| 0123021303122013130221033021302113201023213013023201 | |
| 0123021303122013130221033021320110321302213010323201 | |
| 0123021303122013130221033201130210321320230130123210 | |
| 0123021303122013130221033201320131021203203110321320 | |
| 0123021303122013230120131302301213021032302123103210 | |
| 0123021303122013230120133012231010321302132032103021 | |
| 0123021303122013230120133012301210321032132023103201 | |
| 0123021303122013230121031302302113201230312023013021 | |
| 0123021303122013230121031302302131201230302120311320 | |
| 0123021303122013320130211320302130211320213020311203 | |
| 0123021303122013320130211320321013021032210323013210 | |
| 0123021303122013320130212301301213021032102323103210 | |
| 0123021303122013320130212301302130211230132023101023 | |
| 0123021303122013320130212310231031021302132032011023 | |
| 0123021303122013320130212310301231021032132023011203 | |
| 0123021303122013320131201320320131021302203120311203 | |
| 0123021303122013320131202301230113021302102332103021 | |
| 0123021303122013320131202301302113201230102323103021 | |
| 0123021303122013320132011302320130211230210320311320 | |
| 0123021303122013320132101302230130211320230132101023 | |
| 0123021303122013320132101302320130211230230123101023 | |
| 0123021303122013320132101320230130211320230130121203 | |
| 0123021303122031130212032013301213202013312013023201 | |
| 0123021303122031130212302310301231202310302110321203 | |
| 0123021303122031130220313210301231021023231013021203 | |
| 0123021303122031130220313210321031021203231013021023 | |
| 0123021303122031130221032013310210321302312010323201 | |
| 0123021303122031130221032013312031201203302110321320 | |
| 0123021303122031230110233210301210322310132020133201 | |
| 0123021303122031230120313012312030211203132023101023 | |
| 0123021303122031310220312310301231023012132013021203 | |
| 0123021303122031310231201203320110322310210312303021 | |
| 0123021303122031310232012013301231202013132013021203 | |
| 0123021303122031320110231023321010323012230123103210 | |
| 0123021303122031320110232013301210323012132023103201 | |
| 0123021303122031320112031302320130213210230120131320 | |
| 0123021303122031320130212013312030211203132023101023 | |
| 0123021303122031320131201320302113201320201320133201 | |
| 0123021303122031320131201320320113021302201320133201 | |
| 0123021303122031320131202310310213021302102320133201 | |
| 0123021303123012120332013021231013201023210312032310 | |
| 0123021303123012130220133210301213021023213012032301 | |
| 0123021303123012130220312310132023011302312032011023 | |
| 0123021303123012130220313021321010321302213012302013 | |
| 0123021303123012130221033021302113201023213012032301 | |
| 0123021303123012130221302301130213021302302132102013 | |
| 0123021303123012130221303201130210321320230132102013 | |
| 0123021303123012130221303210130213021023210332012301 | |
| 0123021303123012130221303210132021301320230132011023 | |
| 0123021303123012230120311320231013021302312032012013 | |
| 0123021303123012230120311320302123011032312023011203 | |
| 0123021303123012230120313021231010321302132032102013 | |
| 0123021303123012230121031203302121301230302120311320 | |
| 0123021303123012320132011023231013201023210332012310 | |
| 0123021303123012320132011203320120311230210320311320 | |
| 0123021303123012320132012013231021301302132032011023 | |
| 0123021303123012320132012013301221301032132023011203 | |
| 0123021303123012320132101203230120311320230132101023 | |
| 0123021303123012320132101203320120311230230123101023 | |
| 0123021303123012320132101320320123011302203120131203 | |
| 0123021303123012320132102310301213201230102320132301 | |
| 0123021303123021120331203210130213021203201320132301 | |
| 0123021303123021130210233210301213022013213012032301 | |
| 0123021303123021130212033012301213202013213012032301 | |
| 0123021303123021130212303210130220312310230130121203 | |
| 0123021303123021130212303210301221302310203110321203 | |
| 0123021303123021130220313012132020311302231032101023 | |
| 0123021303123021130220313012312020311302213012301023 | |
| 0123021303123021130221303210130213021203201330122301 | |
| 0123021303123021310220311320302123013012213013021203 | |
| 0123021303123021310231201203130210322310230132102013 | |
| 0123021303123021320110231023231010323012230132102310 | |
| 0123021303123021320112031203230120313210230130121320 | |
| 0123021303123021320131201203310210321230230123102013 | |
| 0123021303123021320132011023230120311302231030121203 | |
| 0123021303123021320132011023231013201203201330122310 | |
| 0123021303211023120312033021231021303201231013023012 | |
| 0123021303211023120332103102130223011203201323103012 | |
| 0123021303211023130210232301301231022031301212302310 | |
| 0123021303211023130210233021132020312301231032103012 | |
| 0123021303211023130210233021312020312301213012303012 | |
| 0123021303211023130221032301310230121230310210322310 | |
| 0123021303211023230110233021231030122013130232102310 | |
| 0123021303211023230110233021312020312031130223103210 | |
| 0123021303211023230110233120231031022013130232012310 | |
| 0123021303211023230121031302310230121230310220312310 | |
| 0123021303211023230121033102310231021203103220312310 | |
| 0123021303211023310220131320312023013201213013023012 | |
| 0123021303211023310230121320312023012031210313023210 | |
| 0123021303211023310231201320132023102310210332013012 | |
| 0123021303211023310231202301130230122310130232102013 | |
| 0123021303211023310231202301310231022301103212302013 | |
| 0123021303211023310232101302130223012301201332103012 | |
| 0123021303211023320110231320312023013201213023013012 | |
| 0123021303211023320131201320312023101230210323013012 | |
| 0123021303211023320131202301310230121230130223102013 | |
| 0123021303211032310230121023321030122013210312302310 | |
| 0123021303211032310230121320321031022301231012032013 | |
| 0123021303211032310232101320321023102310210312033012 | |
| 0123021303211032320110321320321031023201231023012013 | |
| 0123021303211032320112301320321023103210210323013012 | |
| 0123021303212013120330123012231030121023210312301320 | |
| 0123021303212013120331202310130230121320310220311203 | |
| 0123021303212013130210233021321010322301213012303012 | |
| 0123021303212013130221032301320130121230310210321320 | |
| 0123021303212013130221033021320130121203213010321302 | |
| 0123021303212013230110233021231010322301132032103012 | |
| 0123021303212013230110233021321010322031130223103210 | |
| 0123021303212013230120133012231030121023130232101320 | |
| 0123021303212013230121031302320130121230310220311320 | |
| 0123021303212013230121033021230130121203132030121302 | |
| 0123021303212013230121033102230131021023130232011320 | |
| 0123021303212013230121033102320131021203103220311320 | |
| 0123021303212013310220131320321013023201213013023012 | |
| 0123021303212013310230121320321013022031210313023210 | |
| 0123021303212013310231202301130213022301102332103012 | |
| 0123021303212013310231202301320131022301103212301023 | |
| 0123021303212013320110231320321013023201213023013012 | |
| 0123021303212013320110232301301213023021103223103210 | |
| 0123021303212013320131202301230130121320130232101023 | |
| 0123021303212013320131202301320130121230130223101023 | |
| 0123021303212031130210232013321030122013310212301320 | |
| 0123021303212031130221032013310230121203312010321302 | |
| 0123021303212031130221032103310210321320310210323210 | |
| 0123021303212031230121033012310230121203132020131302 | |
| 0123021303212031230121303102310213021203102323103012 | |
| 0123021303213012120310322310132023013201312023011023 | |
| 0123021303213012120312032013130220313201312020311302 | |
| 0123021303213012120312302310130223013021310223011203 | |
| 0123021303213012120331022013132023101203312023011023 | |
| 0123021303213012120332102310231023101320310212031023 | |
| 0123021303213012130210323021321010322301213012302013 | |
| 0123021303213012230110321320302123012031312023011203 | |
| 0123021303213012230110323021231010322301132032102013 | |
| 0123021303213012230120133120321010321230130220132310 | |
| 0123021303213012230121303120302121301320103220311203 | |
| 0123021303213012310220131023302120313021213012301302 | |
| 0123021303213012310220131320302123013021213012031302 | |
| 0123021303213012310220132013132020313021130232101320 | |
| 0123021303213012310230121023321010322031210312302310 | |
| 0123021303213012310230121320321013022301213012032013 | |
| 0123021303213012310230122013132020312301132032101023 | |
| 0123021303213012310232101023320120312031210312301302 | |
| 0123021303213012310232101320320123012031210312031302 | |
| 0123021303213012320110321320302123013021213023011203 | |
| 0123021303213012320110321320321013023201213023012013 | |
| 0123021303213012320131022103302121301230102320311320 | |
| 0123021303213012320132102103230120311320130232101023 | |
| 0123021303213012320132102103320120311230130223101023 | |
| 0123021303213012320132102310301223101320103220131203 | |
| 0123021303213021120312033012130220313201231020131302 | |
| 0123021303213021120312302310231023103210310213021023 | |
| 0123021303213021130210323012132020312301231032101023 | |
| 0123021303213021130210323012312020312301213012301023 | |
| 0123021303213021130212302310130223012301301230121203 | |
| 0123021303213021130221032103302121301230301210321320 | |
| 0123021303213021130221032103310210321230310210322310 | |
| 0123021303213021230121033102310210321230130220132310 | |
| 0123021303213021230121303102310213021203103223102013 | |
| 0123021303213021310231021023302121302031231013021203 | |
| 0123021303213021310231202103130210322310130232102013 | |
| 0123021303213021320131202103310210321230130223102013 | |
| 0123021310230312123030123120321010321230230120132310 | |
| 0123021310230312123031022301302123101230302120131320 | |
| 0123021310230312132010322301301213022031302123103210 | |
| 0123021310230312132021303120230131021023230132011302 | |
| 0123021310230312231021303120230131021023130232012301 | |
| 0123021310230312312030121023321010322031230123103210 | |
| 0123021310230312312031021023320110322301213020313201 | |
| 0123021310230312321030121023231030121023230132102310 | |
| 0123021310230312321031021023320130121203213020312301 | |
| 0123021310230312321032012301301223101320103220133210 | |
| 0123021310230312321032101023321023101203203123103012 | |
| 0123021310230312321032102013321023101203103223103021 | |
| 0123021310230321132010323102301213022013203123103210 | |
| 0123021310230321132021303102310213021203203123103012 | |
| 0123021310230321321031202013312023101203103223103021 | |
| 0123021310231302120331023021230130121023231002132301 | |
| 0123021310231302120332012103031221301320301220313210 | |
| 0123021310231302120332012301031223101320301220133210 | |
| 0123021310231302120332102310231023101320301202133021 | |
| 0123021310231302123012302301230123013021301232100321 | |
| 0123021310231302123032012103310220311230312020310312 | |
| 0123021310231302123032102103230123011023301232100321 | |
| 0123021310231302130212303120321021302310203102313012 | |
| 0123021310231302130221303120312021301320203102313012 | |
| 0123021310231302210331021023230130122013312002312301 | |
| 0123021310231302210331023021230130122013132002132301 | |
| 0123021310231302210332101320231023102310302102133012 | |
| 0123021310231302213030121023231003122013302132102310 | |
| 0123021310231302213031021023230103122013312032012301 | |
| 0123021310231302310231021023320130122013213002312301 | |
| 0123021310231302310232101320321023102310203102133012 | |
| 0123021310231302312020311320321030123210213020310312 | |
| 0123021310231302312030121023321003122013203123103210 | |
| 0123021310231302312031022103230101322310132032013021 | |
| 0123021310231320120312302301230123013201301203123021 | |
| 0123021310231320120312303102031221303210230123013012 | |
| 0123021310231320123010323102301201323210203120312310 | |
| 0123021310231320123030212103301201321230301220312310 | |
| 0123021310231320123030212301301203121230301220132310 | |
| 0123021310231320123031203021312023101203203120130312 | |
| 0123021310231320123032102013231023101203301230120321 | |
| 0123021310231320130210323021032120312301231030123201 | |
| 0123021310231320210321303102032121303210130223013021 | |
| 0123021310231320210330211023231030122013310202312310 | |
| 0123021310231320210330213021231030122013130202132310 | |
| 0123021310231320210332101302230123012301301202133021 | |
| 0123021310231320213020313102301201323210103220312310 | |
| 0123021310231320213021303012310201323201103220312301 | |
| 0123021310231320213021303012312021303201103220310321 | |
| 0123021310231320310230121023312020312031230103123210 | |
| 0123021310231320310231202103032121302310130232013021 | |
| 0123021310231320312030121302301203122310203120133210 | |
| 0123021310231320312030212103301201322310103220313210 | |
| 0123021310232301120330213120231010321320231002133012 | |
| 0123021310232301123030213120321010321230231020130312 | |
| 0123021310232301123031202103230113021023301232100321 | |
| 0123021310232301213021301302230113023021301232100321 | |
| 0123021310232301321010322310231030123210132030120321 | |
| 0123021310232310120310323021231010323021230103123210 | |
| 0123021310232310120330212013031230121203312020311302 | |
| 0123021310232310120330212013231030121023310202311320 | |
| 0123021310232310210320313021231010323021130203123210 | |
| 0123021310232310210330211023231010322301312002313012 | |
| 0123021310232310321030211023321030121203213020310312 | |
| 0123021310320321132021303102230113021302201332103021 | |
| 0123021310321302120332013201031223101320201320133210 | |
| 0123021310321302120332103210231023101320201302133021 | |
| 0123021310321302130212032013310230212031312002312301 | |
| 0123021310321302130221032013310230121032312002312301 | |
| 0123021310321302132012032103230103212310312032013021 | |
| 0123021310321302132020313021321003121032201323103210 | |
| 0123021310321302310221031023320130123012213002312301 | |
| 0123021310321302312020131023321003123012203123103210 | |
| 0123021310321320120310233021231030123012230102132310 | |
| 0123021310321320120312303102031231203210230123012013 | |
| 0123021310321320130212303102031231202310230132012013 | |
| 0123021310321320130221303102310231021302203102312013 | |
| 0123021310321320132021303012310203121032210323013201 | |
| 0123021310322301120332013102031213201320201320133210 | |
| 0123021310322301123010232013231003123012302132101320 | |
| 0123021310322301321030211023321003121032201323103210 | |
| 0123021310322310130221303102032113201320210332013021 | |
| 0123021310322310130221303102032131201320230132011023 | |
| 0123021313021023312031201320312031202031230123010213 | |
| 0123021313021032213032013201310220312301132020130213 | |
| 0123021313022031310220312310312030213201132003121023 | |
| 0123021313023012310221301320032113203021210332012301 | |
| 0123021313202013123031023102230101321320230132011023 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment