tupper自我指涉公式

一组神秘数字

63364998296832929706443024743943091729520400787940215606179723967639842340290215127594723680882105647582789590337868186934333265390243929420712139211655989565940449463821995219910417129289100741282926822791209215821205836808535451722586730816612876523668519908001490100389826980108961982144318799458076046353155581599620164681206369446720870909624260696262307484173373566562826235138925838485529456024570226772031771958508409332120374312605945069096913830319763274855743907842955974448512333178476252582239169271404196193834367023070960

Tupper’s Formula Tools

from functools import reduce

# tupper自我指涉公式

def Tupper_self_referential_formula():
    k = 63364998296832929706443024743943091729520400787940215606179723967639842340290215127594723680882105647582789590337868186934333265390243929420712139211655989565940449463821995219910417129289100741282926822791209215821205836808535451722586730816612876523668519908001490100389826980108961982144318799458076046353155581599620164681206369446720870909624260696262307484173373566562826235138925838485529456024570226772031771958508409332120374312605945069096913830319763274855743907842955974448512333178476252582239169271404196193834367023070960
    def f(x, y):
        d = ((-17 * x) - (y % 17))
        e = reduce(lambda x, y: x * y, [2 for x in range(-d)]) if d else 1
        f = ((y // 17) // e)
        g = f % 2
        return 0.5 < g
    for y in range(k + 16, k - 1, -1):
        line = ""
        for x in range(0, 107):
            if f(x, y):
                line += "0"
            else:
                line += " "
        print(line)

if __name__ == '__main__':
    if Tupper_self_referential_formula():
        print(str(Tupper_self_referential_formula()))

'''
     00                                                                                                    
  000000         0000            00                                                                        
000        0    0   00000      000                                                                         
0         00000 0       0      0                              00000                                  000   
0         0   000        0    00             000 0000           0   00           0000  00000  00000    0   
0         0   0 0        00   0   00  0 000 00 0 0              0   0   00 0000 00  0  0      00  0    0   
0         0   0 0         0   0   00  0  0  0    0              0   0    0 0  0 0   0  0      00   0   0   
0         0   0 0         0   0   000 0  0 00    0              0   0   00 0  0 0   0  0      0   00   0   
0      0  0   0 00        0  00  00 0 0  0 0     000            0   0   0  0000 0 000  000    0 000    00  
0     00  0   0  0        0  0   0  0 0  0 0     0              0   0   0  0    000    0     00 0       0  
0     00  0   0  0        0 00   0  0 0  0 0     0              0   0  0  00    0      0     00 00     00  
00   000  0   0  0      00  00   0  000  000     0             0    0  0  0     0      0     00  0     0   
 0  00 0  0   0  0     00    0   0  00  0000     0             00   0 00  0     0      0     00  00    0   
 0000     0  0  00 0000      0   0  00     0000  0000 0000      0   000   0     0      0     00   0  000   
           000  0000         0       0                   000    0              00      000   00   0        
                             00                                                00                 0        
'''

G0D{NICE_TUPPER}