├── README.md
├── gen.rb
├── plot.rb
├── self-description-set.hs
└── self-description-set.png


/README.md:
--------------------------------------------------------------------------------
  1 | ![The self-description set](self-description-set.png)
  2 | 
  3 | ---
  4 | 
  5 | THIS IS 〝THE SELF-DESCRIPTION SET $A$〟 WHERE:
  6 | 
  7 | $A = \lbrace (x, y) : x \in R \wedge y \in R \wedge (\lfloor x \rfloor, \lfloor y \rfloor) \in B \cup C \rbrace$
  8 | 
  9 | $B = \lbrace (x, y + 1) : x \in I(0, 240) \wedge y \in I(0, 59) \wedge g({\mathrm K}, 240 y + x, 2) = 1 \rbrace$
 10 | 
 11 | $C = \lbrace (x, -y - 1) : x \in I(0, 240) \wedge y \in I(0, 419) \wedge f(x, y) = 1 \rbrace$
 12 | 
 13 | $I(x, y) = \lbrace n \in Z : x \le n < y \rbrace$
 14 | 
 15 | $f(x, y) = g(g(2 {\mathrm F}, g({\mathrm K}, 4199 - 60 \lfloor \frac{y}{6} \rfloor - \lfloor \frac{x}{4} \rfloor, 10), 1048576), 4 {\mathrm mod}(y, 6) + {\mathrm mod}(x, 4), 2)$
 16 | 
 17 | $g(k, x, b) = {\mathrm mod}(\lfloor k b^{-x} \rfloor, b)$
 18 | 
 19 | ${\mathrm F} = 731024063570851866511465264858993450227206304418681785374039$
 20 | 
 21 | ${\mathrm K} =$
 22 | 
 23 | ```
 24 |   1431487833696853176700157431078133300807345625216694848607
 25 | 270563208155416337169196351358980580604619006940957434879772
 26 | 028845592243617643316119085595555875582798798158387973177961
 27 | 695587578188817228313270884309874099454731913241985765682402
 28 | 480224733096696517805958475042928066100949209924392429965610
 29 | 551766692904047263776654396499838486398528392900895041691929
 30 | 709953815043504772858511723069075303646254955446123264474132
 31 | 399135568097499209716863422382789934101032731521846133868000
 32 | 262329082771730906048784389387705912576097416771115812864994
 33 | 198317336696101343690251839925474483575213942785063242683363
 34 | 056895377315670280246764867791471907877623375038271649453182
 35 | 854021185885389244374830321750777584790301153742853542800001
 36 | 803212776995615125143244379356783669548607899860292215030468
 37 | 372496357389687827338321380869009775183121027221622306000665
 38 | 434108529937588506145256252374820685424106104653500265071429
 39 | 499165977490516978768334029153298397589002274564473050238958
 40 | 518723573172157176290043800440280395832035460552484762992067
 41 | 849529493561574241307638065213995109640364226013296804961000
 42 | 811321628352092513531339413313635921859713758236408663277002
 43 | 386192216559126203984335509470259495329395180693003674481916
 44 | 985784593729922914627462237255795851931055864600242532142318
 45 | 674966768787359732406186007861171799850725223859636070231916
 46 | 750293338790554961393908296465761510712256725042256150275961
 47 | 853353038409593050154710454454971515086554776219129386191600
 48 | 322844140670645385184627169239185326202513499888542720362735
 49 | 998962021191766587885886375125283567616781242503845756516197
 50 | 816876191710321803724279392085178759541805985378446786499999
 51 | 355037854466378351524894055474084206664157675270124690002296
 52 | 225319060857108132382273200584697384305825630469888977896432
 53 | 560991543457042590254018585056927703776270596684379711927456
 54 | 545078675187493947032274853673051855860122642712742370425853
 55 | 963917860278944365922453978838483505214433388496878103399242
 56 | 764407233837488918588883937087620092755170919027581059747658
 57 | 687075260371020955132747315668285130611301948108509116362253
 58 | 747034975626216146082065221763158722674864411736435609439600
 59 | 721776130602651434691420627380848179973759206780190501532296
 60 | 925802808790098781605594867546916690356299479523077404724197
 61 | 946245726845183987376879398449418268922655335560612974635097
 62 | 005543335638081982736279909805892964001894841686119109573543
 63 | 090939336919368613186406945691544143703157025934407386944550
 64 | 330246511216446769151033970189967336734074013033848520209515
 65 | 918237997203937733562025438624853083446223743440168756571528
 66 | 414728446749926603145457016114346065154181033867100753769439
 67 | 041167254040774095432977057561464774698899066162660966140185
 68 | 215017344545826901332797344178731597263993888151924585095949
 69 | 592032310079010520371626665442224977109595506737417799566785
 70 | 216348612593838405570128942169997754189060055948704116042801
 71 | 127477452268451094379294013711634015451585382189606298412728
 72 | 014051369018701118838401136494733540740703953356325628783371
 73 | 453541118150965536789458775209803614635969806070635830661626
 74 | 018796342020752673273787800692186347956204794348144022812339
 75 | 370836117303786515553815606896168323272602756230677817295160
 76 | 299954827997549085951896930123204362889275594738651705447020
 77 | 323941639698395334192997012320910816923882486607439689115913
 78 | 935065147563110191641773139452996426629926289613106847839879
 79 | 497279568522406503816859003107052538587220753124221353664483
 80 | 518844704860778218423384626452520064466203292073598028657804
 81 | 094976489950291235455741425233569565297078253058387854773607
 82 | 958742033328413164095843349303478827447502011163529338377924
 83 | 282512905373355009689723648704956016318485168350690226970214
 84 | 554064110121442985837293222421724842859785544597542309087676
 85 | 231056127065035130412782484415460105782905072060734679328910
 86 | 224234976659961653641143971374342378294563851212838452696539
 87 | 440976148300104461171268854188854899938692788951901814055423
 88 | 563988675580879375031500645546793494651069862529078359992872
 89 | 398214042484623904682864685712734868941203696774466022261388
 90 | 617800710778204106568476582538119303684144770652453644482942
 91 | 378914919452119098364708800221922345010595494910106217845237
 92 | 154021402181343119384299678932319414105519084205068519946232
 93 | 617745756502372943664260390850946855181451132605067070064051
 94 | 648518584235652757103867056333091068696069058723992812028933
 95 | ```
 96 | 
 97 | ---
 98 | 
 99 | ```
100 | $ ruby gen.rb > self-description-set.hs
101 | $ runghc self-description-set.hs | ruby plot.rb
102 | ```
103 | 
104 | ---
105 | 
106 | This was inspired by [Tupper's self-referential formula](https://en.wikipedia.org/wiki/Tupper%27s_self-referential_formula), made in 2009 [(Japanese article)](https://mametter.hatenablog.com/entry/20091106/p1).
107 | 


--------------------------------------------------------------------------------
/gen.rb:
--------------------------------------------------------------------------------
 1 | bitmap = <<END.lines.map {|line| line.chomp.ljust(240, " ") }
 2 | ##### #   # ###  ####   ###  ####    #  #  ##### #   # #####    #### ##### #     #####     ####  #####  ####  ###  ####  ### ####  ##### ###  ###  #   #    #### ##### #####       ##            # # # #   # ##### ####  #####
 3 |   #   #   #  #  #        #  #         #  #   #   #   # #       #     #     #     #         #   # #     #     #   # #   #  #  #   #   #    #  #   # ##  #   #     #       #        # #            # # # #   # #     #   # #      #
 4 |   #   #####  #   ###     #   ###             #   ##### ####     ###  ##### #     ##### ### #   # ####   ###  #     ####   #  ####    #    #  #   # # # #    ###  ####    #        ###            # # # ##### ####  ####  ####
 5 |   #   #   #  #      #    #      #            #   #   # #           # #     #     #         #   # #         # #   # #   #  #  #       #    #  #   # #  ##       # #       #       #  #            # # # #   # #     #   # #      #
 6 |   #   #   # ### ####    ### ####             #   #   # #####   ####  ##### ##### #         ####  ##### ####   ###  #   # ### #       #   ###  ###  #   #   ####  #####   #       #  # #  #        # #  #   # ##### #   # #####
 7 |                                                                                                                                                                                        #  #
 8 |   ##        ##   #            #              ##  ####     #          ##  ####     #     # #       #    #       # #    ##    ##  #  #    ##  ##
 9 |  # #  ###   #   #              #   #        #    ## ##    #         #    ## ##    #    #  #       #    #       #  #  #     # #  #  #   # #   #
10 |  ###       ##   #  # #    # #  #       # #  ###  ####    # #   # #  ###  ####    # #   #  #  # #  #    #  # #  #  #  ###   ##   #  #  #      ##
11 | #  #  ###   #   #   #     # #  #   #    #   #    ## ##   # #   # #  #    ## ##   # #   #  #   #   #    #  # #  #  #  #    #  #  #  #  #  #   #
12 | #  #        ##   # # #  #  #  #        # #   ##  ## ##  #   #   #    ##  ## ##  #   #   # ## # # ##  # ##  #  ## #    ##  ###    ##    ##   ##
13 |                        #  #                                    #                                    #     #
14 | 
15 |   ##        ##   #                     # #              ##  ###  # ###    ### # # ### #     #          ##  ###  # ###    ### ### #     #          # # #    ### # # ###                ### #         #  ##
16 |  # #  ###   #   #                  #  ##  #   #        #     #  #  # #      # # # # #  #    #         #     #  #  # #    #   # #  #    #      ## #  # #      # # # # #      #           #  #  ###  ##   #
17 |  ##        ##   #  # #        # # ###  #  #       # #  ###   #  #  # #    ### ### # #  #   # #   # #  ###   #  #  # #    ### ###  #   # #    # # #  ##     ### ### # # # # ### # #    ###  #        #   ##
18 | #  #  ###   #   #   #         # #  #   #  #   #    #   #     #  #  # #    #     # # #  #   # #   # #  #     #  #  # #      #   #  #   # #     ## #  # #    #     # # # # #  #   #     #    #  ###   #   #
19 | ###         ##   # # #  #      #       # #        # #   ##  ###  # ###  # ###   # ### #   #   #   #    ##  ###  # ###  # ### ### #   #   #  # #   # # #  # ###   # ###  #      # #  # ### #         #  ##
20 |                        #      #                                        #                         #                    #                     ##          #              #           #
21 | 
22 |   ##        ##   #                     # #              ##  ###  # ###    ### # # ### #     #          ##  ###  # ###   # #  # ### #     #       #   #            #         #  ##
23 |  # #  ###   #   #                     ##  #   #        #     #  #  # #      # # # # #  #    #         #     #  #  # #   # # ## # #  #    #      # # #              #  ###  ##   #
24 | #          ##   #  # #    ### # # ###  #  #       # #  ###   #  #  # #    ### ### # #  #   # #   # #  ###   #  #  # #   ###  # ###  #   # #     #   #  # #    # #  #        #   ##
25 | #  #  ###   #   #   #         # #      #  #   #    #   #     #  #  # #    #     # # #  #   # #   # #  #     #  #  # #     #  #   #  #   # #    ###  #   #     # #  #  ###   #   #
26 |  ##         ##   # # #  #      #       # #        # #   ##  ###  # ###  # ###   # ### #   #   #   #    ##  ###  # ###  #  #  # ### #   #   #    #    # # #  #  #  #         #  ##
27 |                        #      #                                        #                         #                    #                         #          #  #
28 |                                                                                                                                               ##
29 | ###   #            #         ##        ##  #####             #        #       ##
30 |  #   #              #  ###   #        #      ###   #        #        #         #
31 |  #   #  # #    # #  #       ##   ##   ###   ###        # #   #  ##  #    # #   ##
32 |  #   #   #     # #  #  ###   #   # #  #    ###     #    #       # #  #   # #   #               #       #     #       #
33 | ###   # # #  #  #  #         ##  # #   ##  #####       # #  ##  # #   #   #   ##               #  # #  #     #       #
34 |             #  #                                                         #                     #  # #  #     #  # #  #
35 |                                                                                                #   #   #     #   #   #
36 |    #   #            #             #       # ### ###         # # #   # #  # ### ###     ### ### #  #    #     #  # #  #    # ### #    # ### # # ### ### ### ### #   # #              #  #       ### #                  #  #       # # #    ### #
37 |   # # #              #  ###   ## #    ## #    # #       ## #  # #   # # ## # # # #     #   # # #       #     #       #   ## # #  #  ## # # # # # # #   # # #    #  # #              # #        #    #  #              # #        # #  #     #  #
38 |   #   #  # #    # #  #       # # #   # # #  ### ###    # # #  ##    ###  # ### ### ### ### # # # ##### # ### # ##### #    # # #  #   # # # ### ### ###   # ###  #  ###  ## #  ### ### #  # #   ###  # ### ## #  ### ### #  # #   ###  #   ###  #
39 |  ###  #   #     # #  #  ###   ## #    ## #  #   #       ## #  # #     #  #   #   #     # # # # #       #     #       #    # # #  #   # # #   # # #   #  #  # #  #    #  # # # # # # # #  # #   # #  #  #  # # # # # # # #   #      #  #   #    #
40 |   #    # # #  #  #  #       # #   # # #   # ### #   # # #   # # #  #  #  # ### ###     ### ### #  ###  #     #  # #  #  # # ### #  # # ###   # ### ###  #  ### #  #  #  # # # ### ###  #  #  # ### #      # # # ### ###  # # #  #  # #  # ### #
41 |   #          #  #           ##      ##             #  ##          #                            #  #    #     #  # #  # #          #                              #                       #  #                                  #       #
42 | ##                                                                                             #  ###  #     #  ###  #
43 |       # #             #   #                    #  # #  #   #      # # #    #   #               #  # #  #     #    #  #
44 |   ## #  #             #    #  ###              # #  #  #   #   ##  #  #    #    #              ## ### ##     ##   # ##
45 |  # # #  # #    # #    ###  #       ## #  ### ### #  #  # # ###    # # #    ###  #
46 |   ## #  ##      #     # #  #  ###  # # # # # # # #  #  ##  # #        #    # #  #
47 | # #   # # #  # # #  # ### #        # # # ### ###  # ## # # ###       ##  # ### #
48 | ##          #      #                                                    #
49 | 
50 | ###    ### ###  # ### ### # # ### ### ### ### ### ### ### ###  # ### ### ### ###  #  # # # ### ### ### ### # # ### ### ### ### ### ### # # ### ### ### ### ### ### ### ### ### ### # # # #  # ### ### ###  # ### ### ### ### ### # # ### ### ###
51 | #   ## # #   # ## # #   # # # # # #     # #   # # # # # # #   ## # # #   #   #   ## ## # # #   #     # #   # # # # #   # # # # # #   # # # #   # #   #   # # #   # # # #     # # # # # # # ## # # #   # # ## # # # # #     # # # # # # #   # # #
52 | ###      # ###  # # # ### ### # # ### ### ###   # # # ### ###  # ### ### ### ###  #  # ### ### ### ### ### ### ### ### ### ### ### ### ### ### # # ### ###   # ### # # ### ### # # ### ###  # ### ### ###  #   # ### ### ###   # ### # # ### ###
53 | #   ##  #    #  # # # #     # # # # #   #   #  #  # # # #   #  # # # # # # #   #  #  #   # # #   # #   # #   # # #   # # #   #   #   #   #   # # # #   #    #  #   # # # #   # # #   #   #  # # # # # # #  #  #  # #   #   #  #    # # #   #   #
54 | #       #  ###  # ### ###   # ### ### ### ###  #  ### ### ###  # ### ### ### ###  #  #   # ### ### ### ###   # ### ### ### ### ### ###   # ### ### ### ###  #  ### ### ### ### ###   #   #  # ### ### ###  #  #  ### ### ###  #    # ### ### ###
55 | 
56 | # #
57 | # #  ##
58 | ##
59 | # #  ##
60 | # #
61 | END
62 | 
63 | k1 = bitmap.map {|line| line.reverse }.join.tr(" #", "01").to_i(2)
64 | 
65 | raise if k1.to_s.size % 60 != 58
66 | 
67 | font = 731024063570851866511465264858993450227206304418681785374039 * 2
68 | 
69 | k1.to_s[0, 58].each_char.with_index do |c, i|
70 |   5.times do |y|
71 |     4.times do |x|
72 |       bitmap[-5 + y][i * 4 + x + 8] = font[c.to_i * 20 + y * 4 + x] == 1 ? "#" : " "
73 |     end
74 |   end
75 | end
76 | 
77 | k2 = bitmap.map {|line| line.reverse }.join.tr(" #", "01").to_i(2)
78 | 
79 | raise if k1.to_s[0, 58] != k2.to_s[0, 58]
80 | 
81 | puts <<END
82 | main = putStrLn $ show a
83 | a = b ++ c
84 | b = [(x,  y+1) | x<-i(0,240), y<-i(0,59), g(kv,240*y+x,2)==1 ]
85 | c = [(x, -y-1) | x<-i(0,240), y<-i(0,419), f(x,y)==1 ]
86 | i(x,y) = [x..y-1]
87 | f(x,y) = g(g(2*fv,g(kv,(4199-60*(div y 6)-(div x 4)),10),1048576),4*(mod y 6)+(mod x 4),2)
88 | g(k,x,b) = mod (k `div` (b^x)) b
89 | fv = 731024063570851866511465264858993450227206304418681785374039
90 | kv = #{ k2 }::Integer
91 | END
92 | 


--------------------------------------------------------------------------------
/plot.rb:
--------------------------------------------------------------------------------
  1 | #!/usr/bin/env ruby
  2 | 
  3 | # usage: runghc gen.hs | ruby plot.rb
  4 | 
  5 | require "cairo"
  6 | 
  7 | cells = $<.read.scan(/\((-?\d+),(-?\d+)\)/).map {|x, y| [x.to_i, y.to_i] }
  8 | 
  9 | x_min, x_max = cells.map {|x, y| x }.minmax
 10 | y_min, y_max = cells.map {|x, y| y }.minmax
 11 | 
 12 | width = (x_max - x_min + 1) * 3 + 100
 13 | height = (y_max - y_min + 1) * 3 + 100
 14 | surface = Cairo::ImageSurface.new(width, height)
 15 | ctx = Cairo::Context.new(surface)
 16 | 
 17 | ctx.set_source_rgb(1, 1, 1)
 18 | ctx.rectangle(0, 0, width, height)
 19 | ctx.fill
 20 | 
 21 | ctx.translate(32, 100 - 32)
 22 | ctx.scale(3, -3)
 23 | ctx.translate(x_min, -y_max - 1)
 24 | 
 25 | ctx.set_source_rgb(0, 0, 0.5)
 26 | cells.each do |x, y|
 27 |   ctx.rectangle(x, y, 1, 1)
 28 |   ctx.fill
 29 | end
 30 | 
 31 | ctx.set_source_rgb(0, 0, 0)
 32 | ctx.line_width = 0.5
 33 | ctx.move_to(x_min - 12, 0)
 34 | ctx.line_to(x_max + 10, 0)
 35 | ctx.stroke
 36 | ctx.line_to(x_max +  7, -3)
 37 | ctx.line_to(x_max + 10,  0)
 38 | ctx.line_to(x_max +  7,  3)
 39 | ctx.stroke
 40 | ctx.move_to(0, y_min - 10)
 41 | ctx.line_to(0, y_max + 10)
 42 | ctx.stroke
 43 | ctx.line_to(-3, y_max +  7)
 44 | ctx.line_to( 0, y_max + 10)
 45 | ctx.line_to( 3, y_max +  7)
 46 | ctx.stroke
 47 | 
 48 | ctx.select_font_face("Raleway")
 49 | ctx.font_size = 8
 50 | 
 51 | e = ctx.text_extents("O")
 52 | ctx.move_to(-e.width - 3, -e.height - 3)
 53 | ctx.save do
 54 |   ctx.scale(1, -1)
 55 |   ctx.show_text("O")
 56 | end
 57 | 
 58 | e = ctx.text_extents("x")
 59 | ctx.move_to(x_max + 14, -e.height / 2)
 60 | ctx.save do
 61 |   ctx.scale(1, -1)
 62 |   ctx.show_text("x")
 63 | end
 64 | 
 65 | e = ctx.text_extents("y")
 66 | ctx.move_to(-e.width / 2, y_max + 14)
 67 | ctx.save do
 68 |   ctx.scale(1, -1)
 69 |   ctx.show_text("y")
 70 | end
 71 | 
 72 | ctx.line_width = 0.3
 73 | ctx.font_size = 5
 74 | 
 75 | ctx.move_to(x_max, 0)
 76 | ctx.line_to(x_max + 5, -5)
 77 | ctx.stroke
 78 | e = ctx.text_extents(x_max.to_s)
 79 | ctx.move_to(x_max + 6, -e.height - 6)
 80 | ctx.save do
 81 |   ctx.scale(1, -1)
 82 |   ctx.show_text(x_max.to_s)
 83 | end
 84 | 
 85 | ctx.move_to(0, y_max)
 86 | ctx.line_to(5, y_max + 5)
 87 | ctx.stroke
 88 | e = ctx.text_extents(y_max.to_s)
 89 | ctx.move_to(6, y_max + 6)
 90 | ctx.save do
 91 |   ctx.scale(1, -1)
 92 |   ctx.show_text(y_max.to_s)
 93 | end
 94 | 
 95 | ctx.move_to(0, y_min)
 96 | ctx.line_to(5, y_min - 5)
 97 | ctx.stroke
 98 | e = ctx.text_extents(y_min.to_s)
 99 | ctx.move_to(6, y_min - 6 - e.height / 2)
100 | ctx.save do
101 |   ctx.scale(1, -1)
102 |   ctx.show_text(y_min.to_s)
103 | end
104 | 
105 | surface.write_to_png("self-description-set.png")
106 | 


--------------------------------------------------------------------------------
/self-description-set.hs:
--------------------------------------------------------------------------------
 1 | main = putStrLn $ show a
 2 | a = b ++ c
 3 | b = [(x,  y+1) | x<-i(0,240), y<-i(0,59), g(kv,240*y+x,2)==1 ]
 4 | c = [(x, -y-1) | x<-i(0,240), y<-i(0,419), f(x,y)==1 ]
 5 | i(x,y) = [x..y-1]
 6 | f(x,y) = g(g(2*fv,g(kv,(4199-60*(div y 6)-(div x 4)),10),1048576),4*(mod y 6)+(mod x 4),2)
 7 | g(k,x,b) = mod (k `div` (b^x)) b
 8 | fv = 731024063570851866511465264858993450227206304418681785374039
 9 | kv = 1431487833696853176700157431078133300807345625216694848338184012552437419109511203005356332157382220125910980063560991517623555426779458108374998395527657247677909074895595656742503620714971445447949816032205608835797741456152776203541674821964596400758396286965810360663931789975321033536203484100496122814529841831743787394631810616749026532989926559403895766010273891624341424956051402380866209593275699599132524711506179859949181425216759850623219990373006596307023609842139011806354869531278068532395563382510855150976555579161971764416717081528488714911685787468504816129267786304366846271992094678299970498416999084953864041189672423035260960944993457061839226224569341128400924526372002507533310230447323881923210921171649507874795436827709309900349750396826449615634743606684179186881368357462279071363542278814057684697868354044595410460464291688008383814256630006036245875654110334361831567984265733963575997826673992303153405863748502067809483905670806504393202044425494592657799072580572630271100058802562605616849380113659574323051410499740443964318168258065803730038913026155804253670544672671911143145886609643713082914866976411113105942007600768469815915466583666525191226878268945354747098880693943458877336005335891768333053354693195358220623048733083505022209908630637529280337995220813112207993433552204654586765086958979888480162464488103287918364224975693733450707290836504692585651088377456502342266421068971125002682016382507064521297736948488866708642756088864932646047761431179316662220068247203529861208184689084009016137661780362327547631929864980074044613301467889143819760069112356024996016608792689682135198614869104547449101119986402517206512725587493979740511764479724360805543948472917803312196004753188346456682676473138985676833206914287797920200726612769188583751563063208533611011856079846367653582298331517115087072802632958422907147905738662327422577247849644899394373041225199887459519392063293132792877369850472109638099139105406433286065477987049578381358476122388968617171395061628363540015908481885566076610189554328138109436809656348934321782490895653083805686474099473195853316609168084418072625166531186858895723458898429422158087691296050023085924060655764081804314490605508327259866869823368116161794692318065691559822096930370995417932255689642010514962466948798495429539774438868550077388638044108929351164744593003867117631013198059729857007659509615987825559311731926143305645385026332030600738355286505721061296771497130358614605743732949870096484827465697370213777896457276402142698830280803299355749453688924415530518232596296810454307608710493768745355355920557453235755211458870292847317977302992362736343853086815265874011562015033767413005037922835331784472477084654865656814204915623827221477874403098743018296269437253626105410301714579777188682380166799002298752523340317777569687811710084041672098312114803705807457991129736865878127704663266890098226484470274069757961701233093835742863665034521396101186534941833116720831439451233108071629397045017951747009005104741164638236979392615040995854911690219112271611373209708433992515931595186249022271596720008987854064114303347165213241917706869859348427984727487128547471909201021620718135526048037196776803290978521176342155837619357583476265127262881973331318412466784314813607775945741858761301603902209265821865938581670279032058958288396014540051418788791830842992296743378825202002290224551857817573237822466871963591702833727637211886254861479833767398677272413274359655795027603214970975176803155589709710226879210641683698663024503314420486728487780868011215882567531077111788507254249403863444646123546075639970604094063476555606366686977382729371109487756535331323826702937476806136443802932581817282606862371089460079209409519484296999369720194986465730420215466829141468814670837884841943431389408716894282730631567500878735394795453451926159884884974703856682828119760531417950425238938622417373313857619757716359622967919563015264803265872587596100174360699696375707862479113430279431969397621392291391699742964814953473465668710335046289852389128487715653344018920953310135147325219269409488691546562939363619835298484565167838648431971508320887024576039267484629693216238087601328784168136411745326701662769188376070899794949::Integer
10 | 


--------------------------------------------------------------------------------
/self-description-set.png:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/mame/self-description-set/db9c1f8cd609d3fa6607ce962250c0d590715680/self-description-set.png


--------------------------------------------------------------------------------