#05AB1E, (削除) 137 (削除ここまで) (削除) 135 (削除ここまで) (削除) 128 (削除ここまで) 122(削除) 122 (削除ここまで) 121 bytes
...( )7ÝJ»•αγʒδÓ2©8\ŽQxΣxêÿ•12вèJIvN"<7ÝJ»•αγʒδÓ2©8\ŽQxΣxêÿ•sÅвJIvN"</[(
._-=:"ÆŸ,*"o•DùÙÂ+;Èγтáì3ÓW©ÎÂ_`ƒ≠îj*ΓçÊ~ÞÒ ̧β¦oåb/õ47/vÎΓ"›≠øØZμλÝo•20в趡Nè4äyè.;
Try it online Try it online or verify a few more test cases verify a few more test cases.
...( ) # Push string "( )"
7ÝJ # Push a list in the range [0,7] joined together: "01234567"
» # Join both by a newline: "( )\n01234567"
•αγʒδÓ2©2°ćì2òη61⁄2•
# Push compressed integer 80545642885242518310229085147411483894
12вs # Swap to get the earlier created string at the top of the stack
Åв # Convert itthe tolarge Base-12integer asto list:base-"( [1,4,4,4,4,4,3,1,4,4,4,4,4,3,8,0,6,5,7,2,9,3,8,0,10,10,10,2,9,3,1,0,11,11,11)\n01234567",2]
è # Indexwhich eachbasically converts to base-length, and indexes into the string: # [" ","0","0","0","0","0","\n"," ","0","0","0","0","0","\n","4","(","2","1","3",")","5","\n","4","(","6","6","6",")","5","\n"," ","(","7","7","7",")"]
J # And join it to a single string: " 00000\n 00000\n4(213)5\n4(666)5\n (777)"
#05AB1E, (削除) 137 (削除ここまで) (削除) 135 (削除ここまで) (削除) 128 (削除ここまで) 122 bytes
...( )7ÝJ»•αγʒδÓ2©8\ŽQxΣxêÿ•12вèJIvN"</[(
._-=:"ÆŸ,*"o•DùÙÂ+;Èγтáì3ÓW©ÎÂ_`ƒ≠îj*ΓçÊ~ÞÒ ̧β¦oåb/õ47/vÎΓ"›≠øØZμλÝo•20в趡Nè4äyè.;
Try it online or verify a few more test cases.
...( ) # Push string "( )"
7ÝJ # Push a list in the range [0,7] joined together: "01234567"
» # Join both by a newline: "( )\n01234567"
•αγʒδÓ2©2°ćì2òη61⁄2•
# Push compressed integer 80545642885242518310229085147411483894
12в # Convert it to Base-12 as list: [1,4,4,4,4,4,3,1,4,4,4,4,4,3,8,0,6,5,7,2,9,3,8,0,10,10,10,2,9,3,1,0,11,11,11,2]
è # Index each into the string: [" ","0","0","0","0","0","\n"," ","0","0","0","0","0","\n","4","(","2","1","3",")","5","\n","4","(","6","6","6",")","5","\n"," ","(","7","7","7",")"]
J # And join it to a single string: " 00000\n 00000\n4(213)5\n4(666)5\n (777)"
#05AB1E, (削除) 137 (削除ここまで) (削除) 135 (削除ここまで) (削除) 128 (削除ここまで) (削除) 122 (削除ここまで) 121 bytes
...( )7ÝJ»•αγʒδÓ2©8\ŽQxΣxêÿ•sÅвJIvN"</[(
._-=:"ÆŸ,*"o•DùÙÂ+;Èγтáì3ÓW©ÎÂ_`ƒ≠îj*ΓçÊ~ÞÒ ̧β¦oåb/õ47/vÎΓ"›≠øØZμλÝo•20в趡Nè4äyè.;
Try it online or verify a few more test cases.
...( ) # Push string "( )"
7ÝJ # Push a list in the range [0,7] joined together: "01234567"
» # Join both by a newline: "( )\n01234567"
•αγʒδÓ2©2°ćì2òη61⁄2•
# Push compressed integer 80545642885242518310229085147411483894
s # Swap to get the earlier created string at the top of the stack
Åв # Convert the large integer to base-"( )\n01234567",
# which basically converts to base-length, and indexes into the string: # [" ","0","0","0","0","0","\n"," ","0","0","0","0","0","\n","4","(","2","1","3",")","5","\n","4","(","6","6","6",")","5","\n"," ","(","7","7","7",")"]
J # And join it to a single string: " 00000\n 00000\n4(213)5\n4(666)5\n (777)"
#05AB1E, (削除) 137 (削除ここまで) (削除) 135 (削除ここまで) 128(削除) 128 (削除ここまで) 122 bytes
...
)(ð•ž&Ž•J•£ÊÒu[7tˆ†ŠHλRΩ.P•12вèJsvN"_ .
\/=":><Oo-[],)*7ÝJ»•αγʒδÓ2©8\ŽQxΣxêÿ•12вèJIvN"</[("•æ‰ΔΣ1çδ2 ̄
r31’8iÈÉÞ2;lλÒžfúāÿ©._-Ñm¦Ñ`^«#„]*≠1⁄2Ü4~āÐm=3⁄4ç•20в趡Nè4äyè=:"ÆŸ,*"o•DùÙÂ+;Èγтáì3ÓW©ÎÂ_`ƒ≠îj*ΓçÊ~ÞÒ ̧β¦oåb/õ47/vÎΓ"›≠øØZμλÝo•20в趡Nè4äyè.;
Try it online or-6 bytes thanks to verify a few more test cases @Grimy.
Creating the template-string can alternatively be ...)( •ž&Ž•J•9¦_м’ÁeTM ̈U"!•11вè4äJĆÁ», but the byte-count remains the same.
Try it online Try it online or verify a few more test cases verify a few more test cases.
...
)( ) # Push string "\n)"( )"
ð 7ÝJ # Push space character " "
•ž&Ž• a list in the #range Push[0,7] compressedjoined integertogether: 10234567"01234567"
J» # Join everythingboth togetherby a newline: "\n)"( 10234567")\n01234567"
•£ÊÒu[7tˆ†ŠHλRΩ.P••αγʒδÓ2©2°ćì2òη61⁄2•
# Push compressed integer 20404892241322708244471037974015889176580545642885242518310229085147411483894
12в # Convert it to Base-12 as list: [3,5[1,54,54,54,54,04,3,51,54,54,54,54,04,3,8,20,6,45,7,12,9,03,8,20,10,10,10,12,9,0,3,21,0,11,11,11,1]2]
è # Index each into the string: [" ","0","0","0","0","0","\n"," ","0","0","0","0","0","\n","4","(","2","1","3",")","5","\n","4","(","6","6","6",")","5","\n"," ","(","7","7","7",")"]
J # And join it to a single string: " 00000\n 00000\n4(213)5\n4(666)5\n (777)"
sI # Swap to takeGet the (implicit) input
v # Loop `y` over each of its digits:
"_ ."</[(
\/=":><Oo._-[]=:"ÆŸ,)*("*"
"# Push stringdictionary "_string .\n\"</=":><Oo[(\n._-[]=:" Oo,)**"
o # Mirror each line: "</[()]\>\n._-=:" Oo,**,oO •æ‰ΔΣ1çδ2 ̄":=-_."
r31’8iÈÉÞ2;lλÒžfúāÿ©-Ñm¦Ñ`^«#„]*≠1⁄2Ü4~āÐm=3⁄4ç••DùÙÂ+;Èγтáì3ÓW©ÎÂ_`ƒ≠îj*ΓçÊ~ÞÒ ̧β¦oåb/õ47/vÎΓ"›≠øØZμλÝo•
# Push compressed integer 31691651689711912988425640870138793268523104854752593184429339423886192752333626110891945156636392127525050419622103587926616000492049509496347122906361438631265789982480759119518961177677313610613993948059787418619722816092858096158180892708001681647316210
20в # Convert it to Base-20 as list: [1[15,010,010,010,115,3,10,19,010,184,015,1715,115,115,115,110,112,012,612,610,615,010,110,010,015,09,19,29,29,29,215,215,110,115,015,115,1,110,56,015,48,115,318,19,1610,28,011,39,1317,216,128,11,39,1317,216,128,1115,315,115,10,16,1015,415,1,18,515,315,115,17,1,9,515,115,16,48,315,115,115,115,113,815,15,15,1,142,97,115,100,38,115,115,115,115,813,115,714,115,714,010,010,0]10]
è # Index each into the string: [" ","_","_","_"," ","(","_","*","_",")"," "," "," "," "," ","_","=","=","=","_"," ","_","_","_"," ",".",".",".",".","."," "," ","_"," "," "," ","/","_","\"," ","\n"," ",",",".","_","\n","-",".","o","O","\n","-",".","o","O","\n"," "," "," ","<","\"," "," ","/","\n"," "," "," ",">","/"," "," ","\","\n"," "," "," "," ",":"," ","]"," ","[",">"," ","<","\n"," "," "," "," ",":"," ","""," ",""","_","_","_"]
¶¡ # Split it by the newline character: [[" ","_","_","_"," ","(","_","*","_",")"," "," "," "," "," ","_","=","=","=","_"," ","_","_","_"," ",".",".",".",".","."," "," ","_"," "," "," ","/","_","\"," "],[" ",",",".","_"],["-",".","o","O"],["-",".","o","O"],[" "," "," ","<","\"," "," ","/"],[" "," "," ",">","/"," "," ","\"],[" "," "," "," ",":"," ","]"," ","[",">"," ","<"],[" "," "," "," ",":"," ","""," ",""","_","_","_"]]
#05AB1E, (削除) 137 (削除ここまで) (削除) 135 (削除ここまで) 128 bytes
...
)(ð•ž&Ž•J•£ÊÒu[7tˆ†ŠHλRΩ.P•12вèJsvN"_ .
\/=":><Oo-[],)*("•æ‰ΔΣ1çδ2 ̄
r31’8iÈÉÞ2;lλÒžfúāÿ©-Ñm¦Ñ`^«#„]*≠1⁄2Ü4~āÐm=3⁄4ç•20в趡Nè4äyè.;
Try it online or verify a few more test cases.
Creating the template-string can alternatively be ...)( •ž&Ž•J•9¦_м’ÁeTM ̈U"!•11вè4äJĆÁ», but the byte-count remains the same.
Try it online or verify a few more test cases.
...
)( # Push string "\n)("
ð # Push space character " "
•ž&Ž• # Push compressed integer 10234567
J # Join everything together: "\n)( 10234567"
•£ÊÒu[7tˆ†ŠHλRΩ.P•
# Push compressed integer 204048922413227082444710379740158891765
12в # Convert it to Base-12 as list: [3,5,5,5,5,5,0,3,5,5,5,5,5,0,8,2,6,4,7,1,9,0,8,2,10,10,10,1,9,0,3,2,11,11,11,1]
è # Index each into the string: [" ","0","0","0","0","0","\n"," ","0","0","0","0","0","\n","4","(","2","1","3",")","5","\n","4","(","6","6","6",")","5","\n"," ","(","7","7","7",")"]
J # And join it to a single string: " 00000\n 00000\n4(213)5\n4(666)5\n (777)"
s # Swap to take the (implicit) input
v # Loop `y` over each of its digits:
"_ .
\/=":><Oo-[],)*("
"# Push string "_ .\n\/=":><Oo-[],)*(" •æ‰ΔΣ1çδ2 ̄
r31’8iÈÉÞ2;lλÒžfúāÿ©-Ñm¦Ñ`^«#„]*≠1⁄2Ü4~āÐm=3⁄4ç•
# Push compressed integer 31691651689711912988425640870138793268523104854752593184429339423886192752333626110891945156636392127525050419622103587926616000
20в # Convert it to Base-20 as list: [1,0,0,0,1,19,0,18,0,17,1,1,1,1,1,0,6,6,6,0,1,0,0,0,1,2,2,2,2,2,1,1,0,1,1,1,5,0,4,1,3,1,16,2,0,3,13,2,12,11,3,13,2,12,11,3,1,1,1,10,4,1,1,5,3,1,1,1,9,5,1,1,4,3,1,1,1,1,8,1,15,1,14,9,1,10,3,1,1,1,1,8,1,7,1,7,0,0,0]
è # Index each into the string: [" ","_","_","_"," ","(","_","*","_",")"," "," "," "," "," ","_","=","=","=","_"," ","_","_","_"," ",".",".",".",".","."," "," ","_"," "," "," ","/","_","\"," ","\n"," ",",",".","_","\n","-",".","o","O","\n","-",".","o","O","\n"," "," "," ","<","\"," "," ","/","\n"," "," "," ",">","/"," "," ","\","\n"," "," "," "," ",":"," ","]"," ","[",">"," ","<","\n"," "," "," "," ",":"," ","""," ",""","_","_","_"]
¶¡ # Split it by the newline character: [[" ","_","_","_"," ","(","_","*","_",")"," "," "," "," "," ","_","=","=","=","_"," ","_","_","_"," ",".",".",".",".","."," "," ","_"," "," "," ","/","_","\"," "],[" ",",",".","_"],["-",".","o","O"],["-",".","o","O"],[" "," "," ","<","\"," "," ","/"],[" "," "," ",">","/"," "," ","\"],[" "," "," "," ",":"," ","]"," ","[",">"," ","<"],[" "," "," "," ",":"," ","""," ",""","_","_","_"]]
#05AB1E, (削除) 137 (削除ここまで) (削除) 135 (削除ここまで) (削除) 128 (削除ここまで) 122 bytes
...( )7ÝJ»•αγʒδÓ2©8\ŽQxΣxêÿ•12вèJIvN"</[(
._-=:"ÆŸ,*"o•DùÙÂ+;Èγтáì3ÓW©ÎÂ_`ƒ≠îj*ΓçÊ~ÞÒ ̧β¦oåb/õ47/vÎΓ"›≠øØZμλÝo•20в趡Nè4äyè.;
-6 bytes thanks to @Grimy.
Try it online or verify a few more test cases.
...( ) # Push string "( )"
7ÝJ # Push a list in the range [0,7] joined together: "01234567"
» # Join both by a newline: "( )\n01234567"
•αγʒδÓ2©2°ćì2òη61⁄2•
# Push compressed integer 80545642885242518310229085147411483894
12в # Convert it to Base-12 as list: [1,4,4,4,4,4,3,1,4,4,4,4,4,3,8,0,6,5,7,2,9,3,8,0,10,10,10,2,9,3,1,0,11,11,11,2]
è # Index each into the string: [" ","0","0","0","0","0","\n"," ","0","0","0","0","0","\n","4","(","2","1","3",")","5","\n","4","(","6","6","6",")","5","\n"," ","(","7","7","7",")"]
J # And join it to a single string: " 00000\n 00000\n4(213)5\n4(666)5\n (777)"
I # Get the input
v # Loop `y` over each of its digits:
"</[(
._-=:"ÆŸ,*"
"# Push dictionary string "</[(\n._-=:" Oo,*"
o # Mirror each line: "</[()]\>\n._-=:" Oo,**,oO ":=-_."
•DùÙÂ+;Èγтáì3ÓW©ÎÂ_`ƒ≠îj*ΓçÊ~ÞÒ ̧β¦oåb/õ47/vÎΓ"›≠øØZμλÝo•
# Push compressed integer 492049509496347122906361438631265789982480759119518961177677313610613993948059787418619722816092858096158180892708001681647316210
20в # Convert it to Base-20 as list: [15,10,10,10,15,3,10,19,10,4,15,15,15,15,15,10,12,12,12,10,15,10,10,10,15,9,9,9,9,9,15,15,10,15,15,15,1,10,6,15,8,15,18,9,10,8,11,9,17,16,8,11,9,17,16,8,15,15,15,0,6,15,15,1,8,15,15,15,7,1,15,15,6,8,15,15,15,15,13,15,5,15,2,7,15,0,8,15,15,15,15,13,15,14,15,14,10,10,10]
è # Index each into the string: [" ","_","_","_"," ","(","_","*","_",")"," "," "," "," "," ","_","=","=","=","_"," ","_","_","_"," ",".",".",".",".","."," "," ","_"," "," "," ","/","_","\"," ","\n"," ",",",".","_","\n","-",".","o","O","\n","-",".","o","O","\n"," "," "," ","<","\"," "," ","/","\n"," "," "," ",">","/"," "," ","\","\n"," "," "," "," ",":"," ","]"," ","[",">"," ","<","\n"," "," "," "," ",":"," ","""," ",""","_","_","_"]
¶¡ # Split it by the newline character: [[" ","_","_","_"," ","(","_","*","_",")"," "," "," "," "," ","_","=","=","=","_"," ","_","_","_"," ",".",".",".",".","."," "," ","_"," "," "," ","/","_","\"," "],[" ",",",".","_"],["-",".","o","O"],["-",".","o","O"],[" "," "," ","<","\"," "," ","/"],[" "," "," ",">","/"," "," ","\"],[" "," "," "," ",":"," ","]"," ","[",">"," ","<"],[" "," "," "," ",":"," ","""," ",""","_","_","_"]]
Fixed small typo; and added equal-bytes alternative for creating the template-string
Kevin Cruijssen
- 136.2k
- 14
- 154
- 394
Loading
Loading
Loading