% This file was automatically generated by mclp
module circles.
accumulate collp.
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((tau (cint) U1 V1 L)) => ((tau (cint) (capp (id 0) U1) (square V1) L)) )))).
compound (square A1).
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((tau (cint) U1 V1 L)) => (pi U2\ (pi U2p\ (pi V2\ ( ((tau (cint) U2 V2 L)) => (pi U3\ (pi U3p\ (pi V3\ ( ((tau (cint) U3 V3 L)) => (pi U4\ (pi U4p\ (pi V4\ ( ((tau (cint) U4 V4 L)) => ((tau (creal) (capp (capp (capp (capp (id 1) U1) U2) U3) U4) ((((dist V1) V2) V3) V4) L)) )))) )))) )))) )))).
compound (dist A4 A3 A2 A1).
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((tau (creal) U1 V1 L)) => ((tau (creal) (capp (id 2) U1) (circu V1) L)) )))).
compound (circu A1).
pi L:int\ (pi U1\ (pi U1p\ (pi V1\ ( ((tau (cstring) U1 V1 L)) => ((tau (cint) (capp (id 3) U1) (shell V1) L)) )))).
compound (shell A1).