POJ 3207 Ikki's Story IV - Panda's Trick

type
  arr1=record
    a,b:longint;
  end;
  arr2=record
    toward,next:longint;
  end;

var
  e:array[0..3000]of arr1;
  edge:array[0..3000]of arr2;
  first,dfn,low,scc,p,num1,num2:array[0..3000]of longint;
  chose:array[0..3000]of boolean;
  time,total,tot,n,m,tail,sum:longint;

procedure swap(var x,y:longint);
var
  i:longint;
begin
  i:=x;
  x:=y;
  y:=i;
end;

procedure addedge(j,k:longint);
begin
  inc(total);
  edge[total].toward:=k;
  edge[total].next:=first[j];
  first[j]:=total;
end;

procedure add(j,k:longint);
begin
  addedge(j,k);
  addedge(k,j);
end;

function check(x,y:arr1):boolean;
begin
  if (x.a<y.a) and (y.a<x.b) and (x.b<y.b) then exit(true);
  exit(false);
end;

procedure tarjan(x:longint);
var
  i,too,j:longint;
begin
  inc(time);
  dfn[x]:=time;
  low[x]:=time;
  chose[x]:=true;
  inc(tail);
  p[tail]:=x;
  i:=first[x];
  while i>0 do begin
    too:=edge[i].toward;
    if dfn[too]=0 then begin
      tarjan(too);
      if low[too]<low[x] then low[x]:=low[too];
    end
    else
      if dfn[too]<low[x] then low[x]:=dfn[too];
    i:=edge[i].next;
  end;
  if dfn[x]=low[x] then begin
    inc(sum);
    repeat
      j:=p[tail];
      dec(tail);
      chose[j]:=false;
      scc[j]:=sum;
    until j=x;
  end;
end;

procedure into;
var
  i,j:longint;
begin
  readln(n,m);
  for i:=1 to m do begin
    read(e[i].a,e[i].b);
    if e[i].a>e[i].b then swap(e[i].a,e[i].b);
    inc(tot);
    num1[i]:=tot;
    inc(tot);
    num2[i]:=tot;
  end;
  for i:=1 to m-1 do
    for j:=i+1 to m do
      if check(e[i],e[j]) or check(e[j],e[i]) then begin
        add(num1[i],num2[j]);
        add(num2[i],num1[j]);
      end;
end;

function work:boolean;
var
  i:longint;
begin
  for i:=1 to tot do
    if dfn[i]=0 then tarjan(i);
  for i:=1 to m do
    if scc[num1[i]]=scc[num2[i]] then exit(false);
  exit(true);
end;

begin
  into;
  if work then writeln(‘panda is telling the truth...‘)
    else writeln(‘the evil panda is lying again‘);
end.