omg I never committed d24p2
This commit is contained in:
dory committed
1 parent
fd48bea516
commit
03c8e7d0ec
2 files changed
+55
No files matched your search
+20
@@ -0,0 +1,20 @@
|
||||
[[
|
||||
x == ((((A1 - A3)*C1*C2 - (A1 - A3)*C2^2 - ((A1 - A3)*C1 - (A1 - A3)*C2)*C3)*X2^2
|
||||
- ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2*X3
|
||||
+ ((A1 - A2)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A2)*C1 + (A1 - A2)*C2)*C3)*X3^2)*Y1^2
|
||||
+ (((A2 - A3)*C1^2 - (A2 - A3)*C1*C2 - ((A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X1^2
|
||||
- ((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1*X3
|
||||
+ ((A1 - A2)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A2)*C1 + (A1 - A2)*C2)*C3)*X3^2)*Y2^2
|
||||
+ (((A2 - A3)*C1^2 - (A2 - A3)*C1*C2 - ((A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X1^2 - ((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1*X2 + ((A1 - A3)*C1*C2 - (A1 - A3)*C2^2 - ((A1 - A3)*C1 - (A1 - A3)*C2)*C3)*X2^2)*Y3^2
|
||||
+ (((A1 - A3)*B1*B2 - (A1 - A3)*B2^2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*B3)*X2^2 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X2*X3 + ((A1 - A2)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A2)*B1 + (A1 - A2)*B2)*B3)*X3^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y2^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y3^2 - (((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3)*Y2 + (((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y2)*Y3)*Z1^2
|
||||
+ (((A2 - A3)*B1^2 - (A2 - A3)*B1*B2 - ((A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X1^2 - ((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X1*X3 + ((A1 - A2)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A2)*B1 + (A1 - A2)*B2)*B3)*X3^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y3^2 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3)*Y1 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*X3 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1)*Y3)*Z2^2
|
||||
+ (((A2 - A3)*B1^2 - (A2 - A3)*B1*B2 - ((A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X1^2 - ((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X1*X2 + ((A1 - A3)*B1*B2 - (A1 - A3)*B2^2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*B3)*X2^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1^2 + (A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y2^2 - (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2)*Y1 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*X2 - 2*(A1^2*A2 - A1*A2^2 + (A1 - A2)*A3^2 - (A1^2 - A2^2)*A3)*Y1)*Y2)*Z3^2
|
||||
+ (((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1*X2^2 + (((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1 - ((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X2)*X3^2 - ((2*(B2 - B3)*C1^2 - (2*B1 + B2 - 3*B3)*C1*C2 + (B1 - B3)*C2^2 - (B1 - B2)*C3^2 + ((2*B1 - 3*B2 + B3)*C1 + (B2 - B3)*C2)*C3)*X1*X2 - ((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X2^2)*X3)*Y1
|
||||
- (((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1^2*X2 + (((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1 - ((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X2)*X3^2 - (((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1^2 + ((B2 - B3)*C1^2 - (B1 + 2*B2 - 3*B3)*C1*C2 + 2*(B1 - B3)*C2^2 + (B1 - B2)*C3^2 + ((B1 - B3)*C1 - (3*B1 - 2*B2 - B3)*C2)*C3)*X1*X2)*X3 + (((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1*X2 + 2*((A1 - A2)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A2)*C1 + (A1 - A2)*C2)*C3)*X3^2 - (((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1 + ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2)*X3)*Y1)*Y2
|
||||
+ (((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1^2*X2 - ((B2 - B3)*C1^2 - (B1 + B2 - 2*B3)*C1*C2 + (B1 - B3)*C2^2 + ((B1 - B2)*C1 - (B1 - B2)*C2)*C3)*X1*X2^2 - (((B2 - B3)*C1^2 - (B1 - B3)*C1*C2 - (B1 - B2)*C3^2 + ((B1 - 2*B2 + B3)*C1 + (B1 - B3)*C2)*C3)*X1^2 - ((B2 - B3)*C1^2 - (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - 2*(B1 - B2)*C3^2 + ((B1 - 3*B2 + 2*B3)*C1 + (3*B1 - B2 - 2*B3)*C2)*C3)*X1*X2 + ((B2 - B3)*C1*C2 - (B1 - B3)*C2^2 - (B1 - B2)*C3^2 - ((B2 - B3)*C1 - (2*B1 - B2 - B3)*C2)*C3)*X2^2)*X3 + (((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1*X2 - 2*((A1 - A3)*C1*C2 - (A1 - A3)*C2^2 - ((A1 - A3)*C1 - (A1 - A3)*C2)*C3)*X2^2 - (((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1 - ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2)*X3)*Y1 - (2*((A2 - A3)*C1^2 - (A2 - A3)*C1*C2 - ((A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X1^2 - ((A2 - A3)*C1^2 + (A1 - A2)*C1*C2 - (A1 - A3)*C2^2 - ((A1 + A2 - 2*A3)*C1 - (A1 + A2 - 2*A3)*C2)*C3)*X1*X2 - (((A2 - A3)*C1^2 + (A1 - 2*A2 + A3)*C1*C2 + (A1 - A2)*C3^2 - ((A1 - A3)*C1 + (A1 - 2*A2 + A3)*C2)*C3)*X1 - ((2*A1 - A2 - A3)*C1*C2 - (A1 - A3)*C2^2 + (A1 - A2)*C3^2 - ((2*A1 - A2 - A3)*C1 - (A2 - A3)*C2)*C3)*X2)*X3)*Y2)*Y3
|
||||
- (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X1*X2^2 + (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1 - ((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2)*X3^2 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y2^2 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2)*Y3^2 - (((2*B1*B2 - B2^2 - 2*B1*B3 + B3^2)*C1 - (2*B1^2 - B1*B2 - (3*B1 - B2)*B3 + B3^2)*C2 + (2*B1^2 - 3*B1*B2 + B2^2 - (B1 - B2)*B3)*C3)*X1*X2 - ((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2^2)*X3 + ((((A1 - A3)*B2 - (A1 - A3)*B3)*C1 + ((A1 - A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A3)*B3)*C2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*C3)*X2^2 - (((2*A1 - A2 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C1 + ((2*A1 - A2 - A3)*B1 - 2*(A1 - A3)*B2 + (A2 - A3)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2 - 2*(A1 - A2)*B3)*C3)*X2*X3 + (((A1 - A2)*B2 - (A1 - A2)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A2)*B3)*C2 - ((A1 - A2)*B1 + (A1 - A2)*B2 - 2*(A1 - A2)*B3)*C3)*X3^2)*Y1 - ((((A2 - A3)*B1 + 2*(A1 - A2)*B2 - (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A2)*B1 + (A1 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 - (A1 - 2*A2 + A3)*B2)*C3)*X1*X2 + (((A1 - A2)*B2 - (A1 - A2)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A2)*B3)*C2 - ((A1 - A2)*B1 + (A1 - A2)*B2 - 2*(A1 - A2)*B3)*C3)*X3^2 - ((((A2 - A3)*B1 + (2*A1 - A2 - A3)*B2 - 2*(A1 - A3)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B3)*C2 + ((A1 - A3)*B1 - (2*A1 - A2 - A3)*B2 + (A1 - A2)*B3)*C3)*X1 + (((A1 - 2*A2 + A3)*B2 - (A1 - 2*A2 + A3)*B3)*C1 + ((A1 + A2 - 2*A3)*B1 - (A1 - A3)*B2 - (A2 - A3)*B3)*C2 - ((A1 + A2 - 2*A3)*B1 - 2*(A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2)*X3 + (((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y1)*Y2 + ((((A2 - A3)*B1 + 2*(A1 - A2)*B2 - (2*A1 - A2 - A3)*B3)*C1 - ((A1 - A2)*B1 + (A1 - A3)*B2 - (2*A1 - A2 - A3)*B3)*C2 + ((A1 - 2*A2 + A3)*B1 - (A1 - 2*A2 + A3)*B2)*C3)*X1*X2 - (((A1 - A3)*B2 - (A1 - A3)*B3)*C1 + ((A1 - A3)*B1 - 2*(A1 - A3)*B2 + (A1 - A3)*B3)*C2 - ((A1 - A3)*B1 - (A1 - A3)*B2)*C3)*X2^2 - ((((A2 - A3)*B1 + (2*A1 - A2 - A3)*B2 - 2*(A1 - A3)*B3)*C1 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B3)*C2 + ((A1 - A3)*B1 - (2*A1 - A2 - A3)*B2 + (A1 - A2)*B3)*C3)*X1 - (((A1 + A2 - 2*A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 + ((A1 - 2*A2 + A3)*B1 - (A1 - A3)*B2 + 2*(A2 - A3)*B3)*C2 - ((A1 - 2*A2 + A3)*B1 + (A2 - A3)*B2 - (A1 - A2)*B3)*C3)*X2)*X3 + (((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y1 - (2*((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y2)*Y3)*Z1 + (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C2 + (B1^2 - 2*B1*B2 + B2^2)*C3)*X1^2*X2 + (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1 - ((B2^2 - 2*B2*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2 + (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X2)*X3^2 - (((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*C3)*X3)*Y1^2 + (((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*X1 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*X2)*Y3^2 - (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1^2 - 2*B1*B3 + B3^2)*C2 + (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X1^2 + ((B1*B2 - 2*B2^2 - (B1 - 3*B2)*B3 - B3^2)*C1 - (B1^2 - 2*B1*B2 + 2*B2*B3 - B3^2)*C2 + (B1^2 - 3*B1*B2 + 2*B2^2 + (B1 - B2)*B3)*C3)*X1*X2)*X3 + ((((A2 - A3)*B1 - (A1 - A2)*B2 + (A1 - 2*A2 + A3)*B3)*C1 + (2*(A1 - A2)*B1 - (A1 - A3)*B2 - (A1 - 2*A2 + A3)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*C3)*X1*X2 + (((A1 - A2)*B2 - (A1 - A2)*B3)*C1 + ((A1 - A2)*B1 - (A1 - A2)*B3)*C2 - ((A1 - A2)*B1 + (A1 - A2)*B2 - 2*(A1 - A2)*B3)*C3)*X3^2 - ((((A2 - A3)*B1 - (A1 + A2 - 2*A3)*B2 + (A1 - ALine truncated
|
||||
y == ((((B2 - B3)*C1^2 - (B2 - B3)*C1*C2 - ((B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X2^2 - 2*((B2 - B3)*C1^2 - (B2 - B3)*C1*C2 - ((B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X2*X3 + ((B2 - B3)*C1^2 - (B2 - B3)*C1*C2 - ((B2 - B3)*C1 - (B2 - B3)*C2)*C3)*X3^2)*Y1^2 + (((B1 - B3)*C1*C2 - (B1 - B3)*C2^2 - ((B1 - B3)*C1 - (B1 - B3)*C2)*C3)*X1^2 - 2*((B1 - B3)*C1*C2 - (B1 - B3)*C2^2 - ((B1 - B3)*C1 - (B1 - B3)*C2)*C3)*X1*X3 + ((B1 - B3)*C1*C2 - (B1 - B3)*C2^2 - ((B1 - B3)*C1 - (B1 - B3)*C2)*C3)*X3^2 + (((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X3)*Y1)*Y2^2 + (((B1 - B2)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B2)*C1 + (B1 - B2)*C2)*C3)*X1^2 - 2*((B1 - B2)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B2)*C1 + (B1 - B2)*C2)*C3)*X1*X2 + ((B1 - B2)*C1*C2 + (B1 - B2)*C3^2 - ((B1 - B2)*C1 + (B1 - B2)*C2)*C3)*X2^2 + (((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X2)*Y1 - (((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X1 - ((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X2)*Y2)*Y3^2 + ((B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X2^2 - 2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X2*X3 + (B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X3^2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2)*Y3^2 - (((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X3)*Y2 + (((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X2 - ((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X3 - ((2*A1*A2 - A2^2 - 2*A1*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2)*Y3)*Z1^2 + ((B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1^2 - 2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1*X3 + (B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X3^2 + ((A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2)*Y3^2 - (((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X1 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X3)*Y1 + (((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 + (A1 - A2)*B1*B2 - (A1 - A3)*B2^2 - ((A1 + A2 - 2*A3)*B1 - (A1 + A2 - 2*A3)*B2)*B3)*X3 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 + (A1^2 - 2*A1*A2 + 2*A2*A3 - A3^2)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1)*Y3)*Z2^2 + ((B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1^2 - 2*(B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X1*X2 + (B1^2*B2 - B1*B2^2 + (B1 - B2)*B3^2 - (B1^2 - B2^2)*B3)*X2^2 + ((A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1^2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2^2 - (((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X1 - ((2*A1 - A2 - A3)*B1*B2 - (A1 - A3)*B2^2 + (A1 - A2)*B3^2 - ((2*A1 - A2 - A3)*B1 - (A2 - A3)*B2)*B3)*X2)*Y1 + (((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 + (A1 - 2*A2 + A3)*B1*B2 + (A1 - A2)*B3^2 - ((A1 - A3)*B1 + (A1 - 2*A2 + A3)*B2)*B3)*X2 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 - (A1^2 - A2^2 - 2*(A1 - A2)*A3)*B3)*Y1)*Y2)*Z3^2 - ((((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 + A2 - 2*A3)*C1*C2 + (A1 - A3)*C2^2 + ((A1 - A2)*C1 - (A1 - A2)*C2)*C3)*X3)*Y1^2 + (((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1*X2 + ((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X3^2 - (((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X1 + ((B2 - B3)*C1^2 + (B1 - B2)*C1*C2 - (B1 - B3)*C2^2 - ((B1 + B2 - 2*B3)*C1 - (B1 + B2 - 2*B3)*C2)*C3)*X2)*X3)*Y1)*Y2 + ((((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X2 - ((A2 - A3)*C1^2 - (A1 - A3)*C1*C2 - (A1 - A2)*C3^2 + ((A1 - 2*A2 + A3)*C1 + (A1 - A3)*C2)*C3)*X3)*Y1^2 + (((A2 - A3)*C1*C2 - (A1 - A3)*C2^2 - (A1 - A2)*C3^2 - ((A2 - A3)*C1 - (2*A1 - A2 - A3)*C2)*C3)*X1 - ((Line truncated
|
||||
z == (((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2^2
|
||||
- 2*(C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2*X3
|
||||
+ (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X3^2)*Y1^2
|
||||
- 2*((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1*X2 + (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X3^2 - ((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1 + (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2)*X3)*Y1*Y2 + ((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1^2 - 2*(C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1*X3 + (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X3^2)*Y2^2 + ((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1^2 - 2*(C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1*X2 + (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2^2)*Y3^2 + (((B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2^2 - 2*((B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X2*X3 + ((B1^2 - B1*B2 - (B1 - B2)*B3)*C2 - (B1^2 - B1*B2 - (B1 - B2)*B3)*C3)*X3^2 + ((A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2^2 + ((A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y3^2 - ((((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - (((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X3)*Y2 + ((((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X2 - (((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C2 - ((2*A1 - A2 - A3)*B1 - (A1 - A3)*B2 - (A1 - A2)*B3)*C3)*X3 - 2*((A1^2 - A1*A2 - (A1 - A2)*A3)*C2 - (A1^2 - A1*A2 - (A1 - A2)*A3)*C3)*Y2)*Y3)*Z1^2 + (((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1^2 - 2*((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X1*X3 + ((B1*B2 - B2^2 - (B1 - B2)*B3)*C1 - (B1*B2 - B2^2 - (B1 - B2)*B3)*C3)*X3^2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1^2 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y3^2 - ((((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X3)*Y1 + ((((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X1 - (((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C1 - ((A2 - A3)*B1 + (A1 - 2*A2 + A3)*B2 - (A1 - A2)*B3)*C3)*X3 - 2*((A1*A2 - A2^2 - (A1 - A2)*A3)*C1 - (A1*A2 - A2^2 - (A1 - A2)*A3)*C3)*Y1)*Y3 + (((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 + A2 - 2*A3)*B1*B2 + (A1 - A3)*B2^2 + ((A1 - A2)*B1 - (A1 - A2)*B2)*B3)*X3 - ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y1 + ((A1*A2 - A2^2 - (A1 - A2)*A3)*B1 - (A1^2 - A1*A2 - (A1 - A2)*A3)*B2 + (A1^2 - 2*A1*A2 + A2^2)*B3)*Y3)*Z1)*Z2^2 + (((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2)*X1^2 - 2*((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2)*X1*X2 + ((B1*B2 - (B1 + B2)*B3 + B3^2)*C1 - (B1*B2 - (B1 + B2)*B3 + B3^2)*C2)*X2^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2)*Y1^2 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2)*Y2^2 - ((((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2)*X1 - (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2)*X2)*Y1 + ((((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2)*X1 - (((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C1 - ((A2 - A3)*B1 + (A1 - A3)*B2 - (A1 + A2 - 2*A3)*B3)*C2)*X2 - 2*((A1*A2 - (A1 + A2)*A3 + A3^2)*C1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*C2)*Y1)*Y2 + (((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1^2 - (A1 - A3)*B1*B2 - (A1 - A2)*B3^2 + ((A1 - 2*A2 + A3)*B1 + (A1 - A3)*B2)*B3)*X2 - ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y1 + ((A1*A2 - (A1 + A2)*A3 + A3^2)*B1 - (A1^2 - 2*A1*A3 + A3^2)*B2 + (A1^2 - A1*A2 - (A1 - A2)*A3)*B3)*Y2)*Z1 - (((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X1 - ((A2 - A3)*B1*B2 - (A1 - A3)*B2^2 - (A1 - A2)*B3^2 - ((A2 - A3)*B1 - (2*A1 - A2 - A3)*B2)*B3)*X2 - ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y1 + ((A2^2 - 2*A2*A3 + A3^2)*B1 - (A1*A2 - (A1 + A2)*A3 + A3^2)*B2 + (A1*A2 - A2^2 - (A1 - A2)*A3)*B3)*Y2)*Z2)*Z3^2 + 2*(((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1*X2 - (C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X2^2 - ((C1^2*C2 - C1*C2^2 + (C1 - C2)*C3^2 - (C1^2 - C2^2)*C3)*X1 - (C1^2*C2 - C1*C2^2 + (C1Line truncated
|
||||
+35
@@ -0,0 +1,35 @@
|
||||
:- use_module(library(pio)).
|
||||
:- use_module(library(dcg/basics)).
|
||||
:- initialization(main, main).
|
||||
|
||||
main([FileName|_]) :-
|
||||
input(FileName, Hails),
|
||||
maplist(xyline, Hails, Lines),
|
||||
findall(
|
||||
[N1, N2, X, Y], (
|
||||
member(N1-L1-X1assert, Lines), member(N2-L2-X2assert, Lines), N1 < N2,
|
||||
intersect(L1, L2, X-Y), call(X1assert, X), call(X2assert, X),
|
||||
X >= 200000000000000, X =< 400000000000000,
|
||||
Y >= 200000000000000, Y =< 400000000000000),
|
||||
Intersects),
|
||||
length(Intersects, Answer),
|
||||
write(Answer), nl.
|
||||
|
||||
intersect(A1-B1-C1, A2-B2-C2, X-Y) :-
|
||||
Det is A1*B2 - A2*B1, Det =\= 0,
|
||||
X is (B2*C1 - B1*C2) / Det,
|
||||
Y is (-A2*C1 + A1*C2) / Det.
|
||||
|
||||
xyline(N-(X-Y-_-Dx-Dy-_), N-(A-B-C)-Xassert) :-
|
||||
A = Dy, B is -Dx, C is X*Dy - Y*Dx,
|
||||
( Dx >= 0 -> Xassert = =<(X); Xassert = >=(X) ).
|
||||
|
||||
% input parsing stuff below. Brick indexing is for debugging.
|
||||
% assumption: no same hail. There are parallels, but no same
|
||||
input(FileName, Hails) :- phrase_from_file(hails(0, Hails), FileName).
|
||||
|
||||
hails(_, []) --> eos, !.
|
||||
hails(N, [N-(X-Y-Z-Dx-Dy-Dz)|Hails]) -->
|
||||
blanks, number(X), ",", blanks, number(Y), ",", blanks, number(Z), " @",
|
||||
blanks, number(Dx), ",", blanks, number(Dy), ",", blanks, number(Dz), "\n",
|
||||
{NextN is N + 1}, hails(NextN, Hails).
|
||||
Reference in new issue
Block a user