8 lines
140 B
Text
8 lines
140 B
Text
: (? (pythag 20 @X @Y @Z))
|
|
@X=3 @Y=4 @Z=5
|
|
@X=5 @Y=12 @Z=13
|
|
@X=6 @Y=8 @Z=10
|
|
@X=8 @Y=15 @Z=17
|
|
@X=9 @Y=12 @Z=15
|
|
@X=12 @Y=16 @Z=20
|
|
-> NIL
|