proof(luminary099): page 1204

pull/846/head
Taís Massaro 2021-10-29 21:08:51 +00:00 committed by GitHub
parent a035a45bc3
commit af64ed7580
1 changed files with 3 additions and 0 deletions

View File

@ -1847,6 +1847,7 @@ COSF EQUALS 24D
# ITERATOR SUBROUTINE # ITERATOR SUBROUTINE
# ORDERSW # ORDERSW
MAX EQUALS 14D # CLOBBERS 1/MU MAX EQUALS 14D # CLOBBERS 1/MU
MIN EQUALS 8D MIN EQUALS 8D
@ -1860,10 +1861,12 @@ TWEEKIT EQUALS 40D
# MORE KEPLER # MORE KEPLER
# EPSILONT ERASE +1 # EPSILONT ERASE +1
# MORE LAMBERT # MORE LAMBERT
# TERRLAMB EQUALS DELDEP # TERRLAMB EQUALS DELDEP
# TPREV EQUALS DEPREV # TPREV EQUALS DEPREV