2000 - num_to_digit_stream(N) -> NS, D
2500 - modulo(A, B) -> M
3000 - bigmult(NA[], DA, NB[], DB) -> PR[], DP
3500 - biggt(NA[], DA, WD[], DW) -> G