Output the Trinity Hall Prime
Jelly, 74 71 69 68 66 bytes
“©ạ-3ṗÇñ"ỤḍV8żṢ?ḤsMVE[,Ṃƭ"ḞÇsẇʂ(ụFsẠʂẆŀṣ’ḃ19ĖŒṙị⁾81s30m0Z062 ȷ446‘
Try it online!
How it works
The literal “©ạ-3ṗÇñ"ỤḍV8żṢ?ḤsMVE[,Ṃƭ"ḞÇsẇʂ(ụFsẠʂẆŀṣ’ replaces all characters with their code points in Jelly's code page and interprets the result as a (bijective) base-250 number, yielding the following integer.
103877200905186099028820568168804302565394743652609510039112658230540917082292838565138059974
Then, ḃ19 converts this number to bijective base 19, yielding the following digit array.
16,14,18,12,19,11,3,12,5,10,3,14,4,9,3,15,4,8,3,6,6,4,4,7,3,4,10,3,4,6,3,3,12,3,4,5,3,2,14,3,4,4,3,7,9,4,3,4,3,8,9,4,3,3,3,9,8,4,4,2,3,9,8,5,3,2,3,9,8,6,3,1
Now, ĖŒṙ enumerates the digits and performs run-length decoding, yielding the following array.
1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,2,2,2,2,2,2,2,2,2,2,2,2,2,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,3,4,4,4,4,4,4,4,4,4,4,4,4,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,6,6,6,6,6,6,6,6,6,6,6,7,7,7,8,8,8,8,8,8,8,8,8,8,8,8,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,11,11,11,12,12,12,12,12,12,12,12,12,12,12,12,12,12,13,13,13,13,14,14,14,14,14,14,14,14,14,15,15,15,16,16,16,16,16,16,16,16,16,16,16,16,16,16,16,17,17,17,17,18,18,18,18,18,18,18,18,19,19,19,20,20,20,20,20,20,21,21,21,21,21,21,22,22,22,22,23,23,23,23,24,24,24,24,24,24,24,25,25,25,26,26,26,26,27,27,27,27,27,27,27,27,27,27,28,28,28,29,29,29,29,30,30,30,30,30,30,31,31,31,32,32,32,33,33,33,33,33,33,33,33,33,33,33,33,34,34,34,35,35,35,35,36,36,36,36,36,37,37,37,38,38,39,39,39,39,39,39,39,39,39,39,39,39,39,39,40,40,40,41,41,41,41,42,42,42,42,43,43,43,44,44,44,44,44,44,44,45,45,45,45,45,45,45,45,45,46,46,46,46,47,47,47,48,48,48,48,49,49,49,50,50,50,50,50,50,50,50,51,51,51,51,51,51,51,51,51,52,52,52,52,53,53,53,54,54,54,55,55,55,56,56,56,56,56,56,56,56,56,57,57,57,57,57,57,57,57,58,58,58,58,59,59,59,59,60,60,61,61,61,62,62,62,62,62,62,62,62,62,63,63,63,63,63,63,63,63,64,64,64,64,64,65,65,65,66,66,67,67,67,68,68,68,68,68,68,68,68,68,69,69,69,69,69,69,69,69,70,70,70,70,70,70,71,71,71,72
Then, ị⁾81 indexes into the string 81, replacing odd numbers with the character 8, even number with the character 1. Afterwards, s30 splits the result into chunks of length 30. Displaying one chunk per line, the result looks as follows.
888888888888888811111111111111
888888888888888888111111111111
888888888888888888811111111111
888111111111111888881111111111
888111111111111118888111111111
888111111111111111888811111111
888111111888888111188881111111
888111188888888881118888111111
888111888888888888111888811111
888118888888888888811188881111
888111111188888888811118881111
888111111118888888881111888111
888111111111888888881111888811
888111111111888888881111188811
888111111111888888881111118881
Now, m0 concatenates the array of chunks with a reversed copy of itself. Afterwards, Z zips the result, transposing rows and columns.
888888888888888888888888888888
888888888888888888888888888888
888888888888888888888888888888
888111111111111111111111111888
888111111111111111111111111888
888111111811111111118111111888
888111118811111111118811111888
888111188811111111118881111888
888111188811111111118881111888
888111888811111111118888111888
888111888881111111188888111888
888111888888111111888888111888
888111888888888888888888111888
888111888888888888888888111888
888111888888888888888888111888
888811188888888888888881118888
188811188888888888888881118881
188881118888888888888811188881
118888111888888888888111888811
111888811118888888811118888111
111188881111111111111188881111
111118888111111111111888811111
111111888811111111118888111111
111111188881111111188881111111
111111118888811118888811111111
111111111888881188888111111111
111111111118888888811111111111
111111111111888888111111111111
111111111111118811111111111111
111111111111111111111111111111
0 is an unparsable nilad, so the result from before is printed (without line breaks) and the return value is set to 0.
62 is another unparsable nilad, so the result from before (0) is printed and the return value is set to 62.
ȷ446 is yet another unparsable nilad. 62 is printed and the return value is set to 10446.
Finally, ‘ increments the result. The final result (10446 + 1) is printed when the program finishes.
SOGL V0.12, 81 78 75 73 bytes
$!╚Qαūπōθ(└↓Υ8Π⁶!√|ΠΚψ░⅜Υ‛⁷>∙↓ts3]δεΧ‰“8«─'½Κ81¹¹I⌡_¹◄ø∑'¹n╬³0621"η“⌡01⁰∑
Try it Here!
Explanation:
...“ push a big number of the RLE lengths of the top part
8«─ convert from base 10 to base 16 (15 was the max length, and making it base 15 wasn't worth it)
'½Κ prepend to the array 48
81¹ push [8, 1]
¹ wrap those two in an array
I rotate clockwise, resulting in [[8, 48], [1, 2], [8, 9], [1, 12], ...]
⌡_¹ flatten (iterate over, splat current items contents on stack, collect the contents in an array)
◄ run-length decode
ø∑ join as a string
'¹n split into lines of length 15
╬³ palindromize horizontally with no overlap
0621 push 0, 6, 2, and 1
"η“ push 445
⌡ that many times do
0 push 0
1 push 1
⁰∑ join the stack together in a string
Jelly, 136 bytes
“ßṪṭAƭẠvµM⁾ṖOḥ⁻Ɠ×Ṣ~*pṭẒFỵṿ¦4ÇḟọLÑOcKɲ⁶2*Ḣɲ’b45;@€1ẋ/€ø“Œ\⁴rrNỊġ:,xƙŒ#ṠƲQçḷĠ%&⁻ɼiḂŀB<Ȧƈg(Ṇb>TḥḄ|ḃṘƬ#l7ƇØṃ’b94;@€8ẋ/€ðżF;0;6;2;1;0ẋ445¤;1Ḍ
Try it online!
Explanation (numbers shortened)
“ßṪṭ...*Ḣɲ’b45;@€1ẋ/€ø“Œ\⁴...ƇØṃ’b94;@€8ẋ/€ðżF;0;6;2;1;0ẋ445¤;1Ḍ Main link
“ßṪṭ...*Ḣɲ’b45;@€1ẋ/€ Run-length encoded 1s
“ßṪṭ...*Ḣɲ’ The base-45 encoding of the list of the run-lengths of 1s
b45 in base 45
€ For each element
;@ prepend
1 1
€ For each sublist
/ Reduce over
ẋ Repeat list (this gets a bunch of lists of 1s)
ø“Œ\⁴...ƇØṃ’b94;@€8ẋ/€ Run-length encoded 8s
“Œ\⁴...ƇØṃ’ The base-94 encoding of the list of the run-lengths of 8s
b94 in base 94
€ For each element
;@ prepend
8 8
€ For each sublist
/ Reduce over
ẋ Repeat list (this gets a bunch of lists of 8s)
ðżF;0;6;2;1;0ẋ445¤;1Ḍ With both of the previous lists of lists, construct the final string
ż Interleave them
F Flatten it
;0 Append 0
;6 Append 6
;2 Append 2
;1 Append 1
; Append
0ẋ445¤ (Nilad)
0 0
ẋ445 445 times
;1 Append 1
Ḍ Convert decimal digits to a number
-121 bytes thanks to Dennis using “...’ literals instead of normal numbers