Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ops sumStmt bs2 primalityStmt : -> Stmt .
- eq bs2 =
- int n ;
- int i ;
- int q ;
- int t ;
- int m ;
- int k ;
- n = 9 ;
- i = 2 ;
- t = 1 ;
- q = n / i ;
- while ( 1 <= t ) {
- if (n <= q * i ) {
- t = 0 ;
- } else {
- i = i + 1 ;
- q = n / i ;
- }
- }
- m = i + n ;
- .
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement