p 0 0 p s x x plus x 0 x plus 0 y y plus s x y s plus x y plus s x y s plus p s x y plus x s y s plus x p s y times 0 y 0 times s 0 y y times s x y plus y times x y div 0 y 0 div x y quot x y y quot 0 s y z 0 quot s x s y z quot x y z quot x 0 s z s div x s z div div x y z div x times y z eq 0 0 true eq s x 0 false eq 0 s y false eq s x s y eq x y divides y x eq x times div x y y prime s s x pr s s x s x pr x s 0 true pr x s s y if divides s s y x x s y if true x y false if false x y pr x y 2.2 plus s x y p s x quot s x s y z quot x y z prime s s x pr s s x s x plus x s y p s y times s x y times x y plus s x y plus x y if false x y pr x y quot x 0 s z div x s z eq s x s y eq x y times s x y plus y times x y div x y quot x y y divides y x div x y div div x y z times y z divides y x times div x y y pr x s s y if divides s s y x x s y plus s x y plus p s x y plus x s y plus x p s y divides y x eq x times div x y y pr x s s y divides s s y x div div x y z div x times y z true prime s s x pr s s x s x false if false x y pr x y pr x s s y if divides s s y x x s y true div 2 0 s 1 1 9727 prime 1 0 plus 2 0 pr 2 1 2 0 eq 2 1 2 1 false 0 9732 div 2 1 1 p 1 0 true 0 8 eq 2 0 prime 1 0 p 1 1 2240 times 2 0 0 0 3 if 3 0 quot 3 3 2 times 2 1 2 47339 pr 2 0 divides 2 0 plus 2 2 11051 if 3 2 3 1 quot 3 0 divides 2 47340 pr x s s y divides s s y x false divides y x eq x times div x y y false divides y x times div x y y false divides y x div x y false eq s x s y eq x y true div 2 0 s 1 1 1 prime 1 0 plus 2 0 pr 2 0 eq 2 1 2 1 false 0 33860 div 2 1 33855 p 1 0 true 0 67716 eq 2 1 0 prime 1 0 p 1 1 11966 times 2 0 0 0 33857 if 3 0 quot 3 3 33856 times 2 1 2 23612 pr 2 0 divides 2 0 plus 2 2 11051 if 3 1 quot 3 0 divides 2 57467 div div x y z div x times y z quot s x s y z quot x y z div x y quot x y y quot x 0 s z div x s z true div 2 1 0 s 1 1 1 prime 1 0 plus 2 0 pr 2 0 eq 2 1 2 1 false 0 6 div 2 1 1 p 1 0 true 0 8 eq 2 0 prime 1 0 p 1 1 7578 times 2 0 0 0 3 if 3 0 quot 3 3 2 times 2 1 2 43324 pr 2 0 divides 2 0 plus 2 2 17068 if 3 1 quot 3 1 0 divides 2 43325 quot x 0 s z div x s z div x y quot x y y quot x 0 s z div x s z div x y quot x y y true div 2 2 0 0 s 1 0 prime 1 0 plus 2 0 pr 2 0 eq 2 0 false 0 0 div 2 0 p 1 0 true 0 0 eq 2 0 prime 1 0 p 1 0 times 2 0 0 0 1 if 3 0 quot 3 0 times 2 0 pr 2 0 divides 2 0 plus 2 0 if 3 0 quot 3 2 0 0 divides 2 0 div x y quot x y y div x y quot x y y false div div x y z times y z false times s x y times x y true div 2 0 s 1 1 1 prime 1 0 plus 2 0 pr 2 0 eq 2 1 2 1 false 0 36723 div 2 1 36718 p 1 0 true 0 73442 eq 2 0 prime 1 0 p 1 1 7578 times 2 1 0 0 0 36720 if 3 0 quot 3 3 36719 times 2 1 1 pr 2 0 divides 2 0 plus 2 11652 if 3 1 quot 3 0 divides 2 36719 times s x y plus y times x y false plus s x y plus x y plus x s y plus x p s y plus s x y plus p s x y true div 2 0 s 1 1 1 prime 1 0 plus 2 1 0 pr 2 0 eq 2 1 2 1 false 0 28036 div 2 1 28031 p 1 0 true 0 56068 eq 2 0 prime 1 0 p 1 1 0 times 2 0 0 0 28033 if 3 0 quot 3 3 28032 times 2 1 1 pr 2 0 divides 2 0 plus 2 33304 if 3 1 quot 3 0 divides 2 28032 plus s x y plus p s x y plus x s y plus x p s y p 0 0 p s x x plus x s y plus x p s y plus s x y plus p s x y true plus 2 1 times 2 1 if 3 3 div 2 0 2 s 1 1 prime 1 0 pr 2 0 2 1 eq 2 0 2 false 0 0 div 2 0 1 2 p 1 0 true 0 0 eq 2 0 prime 1 0 p 1 0 0 0 0 quot 3 0 3 2 1 times 2 0 2 1 pr 2 0 1 divides 2 0 1 2 plus 2 0 if 3 0 1 2 3 quot 3 0 3 2 1 divides 2 0 1 2 div 2 2 1 0 s 1 1 1 prime 1 1 pr 2 1 1 2 1 0 eq 2 2 1 0 false 0 0 div 2 1 1 2 1 0 p 1 1 true 0 0 eq 2 2 1 0 prime 1 1 p 1 1 0 0 0 23676 quot 3 1 1 2 1 3 1 0 times 2 1 1 2 1 0 pr 2 1 1 divides 2 1 1 2 1 0 plus 2 2 1 0 if 3 1 2 3 1 quot 3 1 1 2 1 3 1 0 divides 2 1 2 1 plus x s y plus x p s y p 0 0 p s x x plus x s y plus x p s y true plus 2 2 times 2 1 if 3 3 div 2 0 2 s 1 2 prime 1 0 pr 2 0 2 1 eq 2 0 2 false 0 0 div 2 0 1 2 p 1 0 true 0 0 eq 2 0 prime 1 0 p 1 1 0 0 1 quot 3 0 3 2 1 times 2 0 2 1 pr 2 0 1 divides 2 0 1 2 plus 2 0 if 3 0 1 2 3 quot 3 0 3 2 1 divides 2 0 1 2 div 2 2 1 0 s 1 1 1 prime 1 1 pr 2 1 1 2 1 0 eq 2 2 1 0 false 0 0 div 2 1 1 2 1 0 p 1 1 true 0 0 eq 2 2 1 0 prime 1 1 p 1 1 0 0 0 23676 quot 3 1 1 2 1 3 1 0 times 2 1 1 2 1 0 pr 2 1 1 divides 2 1 1 2 1 0 plus 2 2 1 0 if 3 1 2 3 1 quot 3 1 1 2 1 3 1 0 divides 2 1 2 1 p 0 0 p s x x plus s x y p s x false plus x s y p s y false NaTT certifiable-1.6