106053474domain: NAppears in sequencesNumber of theorems in the MIU formal system which can be proved in n steps or fewer starting with the axiom 'mi'.at n=11A331536