#temp

read `C1.txt`:
read `C2.txt`:

TotClique:=proc(G,k)
nops(Cliques(G,k))+nops(Cliques(Comp(G),k)):
end:

CheckRamsey:=proc(k,K) local G,m,i,n:
G:=RG(18,1/2):
m:=TotClique(G,4):
n:=0;
for i from 1 to K-1 do
	G:=RG(18,1/2):
	n:=TotClique(G,4):
	if n<m then
		m:=n:
	fi:
od:
m:
end:

EstimateAverageClique:=proc(n,p,k,K) local G,sum,i:
sum:=0:
for i from 1 to K do
	G:=RG(n,p):
	sum:=sum+nops(Cliques(G,k)):
od:
sum/K:
end:

#