#include <civlc.cvh>

typedef struct Point{
  double x;
  double y;
} Point;

typedef struct Line{
  Point start;
  Point end;
} Line;

$input int x;

void main(){
  Point p0={0,0}, p1={1,1}, p2;
  Line l0={p0, p1}, l1={p1,p2}, l2={p2, p0};
  Line lines[3], lines1[3];

  $assume(x>0 && x<3);
  lines[0]=l0;
  lines[x]=l1;
  lines[1]=l1;
  lines1[x]=l2;
  lines1[1]=l0;
}