Unlambda to Underflow

Unlambda to Underflow is a fun little experiment, translating Unlambda into Underflow(using the Underload translation table)

Translation

All the same properties of the Underload translation(both from Unlambda to underload and underload to underflow) applies here, however .x is not present:

• s translates to {\{\>\<\-\}\>\!\>\!\<\-\<\-\>\!\>\!\s\`\-\-\{\>\!\>\!\<\-\<\-\}\`\>\!\>\!\s\`\-\-\"\{\"\>\!\>\!\{\}\`\}\*\s\`\!\!\!\{\>\!\>\!\<\-\<\-\>\!\>\!\s\`\-\-\{\>\!\>\!\<\-\<\-\S\'\}\`\>\!\>\!\s\`\-\-\}\`\>\!\>\!\s\`\-\-}`
• k translates to {\"\{\"\>\!\>\!\{\}\`\}\*\s\`\!\!\!\{\!\}\`\>\!\>\!\<\-\<\-\>\!\>\!\s\`\-\-}`
• i translates to {}`
• v translates to {\{\>\!\>\!\<\-\<\-\!\{\>\<\-\S\'\}\`\>\!\>\!\s\`\-\-\}\`\>\<\-\S\'}`
• and ` translates to >!>!<-<-S'

so if you for example wanted to translate ```sii``sii which reduces to itself, you could write(line breaks optional):

{\{\>\<\-\}\>\!\>\!\<\-\<\-\>\!\>\!\s\`\-\-\{\>\!\>\!\<\-\<\-\}\`\>\!\>\!\s\`\-\-\"\{\"\>\!\>\!\{\}\`\}\*
\s\`\!\!\!\{\>\!\>\!\<\-\<\-\>\!\>\!\s\`\-\-\
{\>\!\>\!\<\-\<\-\S\'\}\`\>\!\>\!\s\`\-\-\}\`\>\!\>\!\s\`\-
\-}`{}`{}`>!>!<-<-S'>!>!<-<-S'>!>!<-<-S' {\{\>\<\-\}\>\!\>\!
\<\-\<\-\>\!\>\!\s\`\-\-\
{\>\!\>\!\<\-\<\-\}\`\>\!\>\!\s\`\-\-\"
\{\"\>\!\>\!\{\}\`\}\*\s\`\!\!\!\{\>\!\>\!\<\-\<\-\>\!\>\!\s\`\-\-
\{\>\!\>\!\<\-\<\-\S\'\}\`\>\!\>\!\s\`\-
\-\}\`\>\!\>\!\s\`\-\-}`{}`{}`>!>!<-<-S'>!>!<-<-S'

which is in principle, equivalent, TO FUCKING [+](although this uses the counter, which the above program does not).