$xx={}
$yy=[]
$num=0
 
class Patterns
	@a = []
	def initialize(x)
		@a = convert(x)
	end
 
 
	def convert(x)
		ret = []
		maxnum = x.max { |a, b| a.length <=> b.length}.length
		z = x[0..-1]
		for l in 1..(maxnum) do
			y = x[0..-1]
			while y.empty? == false do
				bb = y[0]
				y = y.reject { |m| m==bb }
				if (bb.length < l) then
					next
				end
				aa=Array.new(l,1)
				if(l<bb.length+1) then
					aa=aa.concat(Array.new(bb.length-l,0))
				end
 
				s=check(x,aa,bb)
 
				if s.length < 3 then
					next
				end
				if  (s.min..s.max).to_a.all?{ |j| s.include?(j)} then
					pat = Pattern.new(aa,bb,s.min,s.max)
					ret << pat
					for xx in s.min..s.max  do 
						k=[]
						for n in 0..aa.length-1 do
							k[n] = aa[n]*xx+bb[n]
						end
						y.delete(k)
						z.delete(k)
					end
				end
			end
		end
		for k in 0..z.length-1 do
			aa = Array.new(z[k].length,0)
			bb = z[k]
			pat = Pattern.new(aa,bb,0,0)
			ret << pat
		end
 
		return ret
	end
 
	def check(y,a,b)
		ret = []
		if a.length != b.length then
			return ret
		end
 
		for i in 0..(y.length-1) do
			$num+=1
			x=(y[i][0]-b[0])/a[0]
			if y[i].length != a.length then
				next
			end
 
			if (0..a.length-1).to_a.all?{ |j| y[i][j]==a[j]*x+b[j] } then
				ret << x
			end
		end
		return ret
	end
 
	def to_s
		s = "["
		for i in 0..(@a.length-1) do
		  s += @a[i].to_s + ","
		end
		s = s.chop
		s += "]"
		return s
	end
end
 
 
 
class Pattern
	@a = []
	@b = []
	@first = 0
	@last = 0
	def initialize(a,b,first,last)
		@a = a[0..-1]
		@b = b[0..-1]
		@first = first
		@last = last
	end
  
	def to_s
		s = "{["
		for i in 0..(@a.length-1) do
			s += @a[i].to_s + "x+" + @b[i].to_s + ","
		end
		s=s.chop
		s += "]:"
		s += @first.to_s + "<=x<=" + @last.to_s + "}"
		if @first == @last then
			s = @b.to_s
		end
		return s
	end
end
 
 
def lose(a)
 
	if a.length == 1 && a[0] == 1 then
		if $xx[[1]] == nil then
			$xx[[1]] = true
			$yy << [1]
		end
 
		return true
	end
 
	if $xx[a] == true then
		return $yy.include?(a)
	end
 
	ret = true
	for i in 0..(a.length-1) do
		for j in 1..a[i]  do
			if i==0 && j==1 then
				next
			end
 
			$num+=1
			b=a[0..-1]
			for k in i..(a.length-1) do
				$num+=1
				if a[k] >= j then
					b[k] = j -1
				end
			end
			if j==1 then
				b=a[0..i-1]
			end
 
			if ($xx[b] == nil) then
				if lose(b) then
					ret = false
				end
			else
				if $yy.include?(b) then
					ret = false
				end
			end
		end
	end
 
	if ret == true then
		$yy << a
	end
	$xx[a] = true
 
	return ret
end
 
m=4
n=16
#x = Array.new(m,n)
x=[24,24,24]
print "num="
p $num
lose(x)
print "num="
p $num
 
p $xx.length
p $yy.length
for i in 1..x.length do
	tt = $yy.select { |n| n.length == i }
	print "count="
	print tt.length
	print " "
	p tt
end
 
set = Patterns.new($yy)
 
print "p="
p $num
 
puts set.to_s
print "p="
 
 
 
 
 
 

JHh4PXt9CiR5eT1bXQokbnVtPTAKCmNsYXNzIFBhdHRlcm5zCglAYSA9IFtdCglkZWYgaW5pdGlhbGl6ZSh4KQoJCUBhID0gY29udmVydCh4KQoJZW5kCgkKCQoJZGVmIGNvbnZlcnQoeCkKCQlyZXQgPSBbXQoJCW1heG51bSA9IHgubWF4IHsgfGEsIGJ8IGEubGVuZ3RoIDw9PiBiLmxlbmd0aH0ubGVuZ3RoCgkJeiA9IHhbMC4uLTFdCgkJZm9yIGwgaW4gMS4uKG1heG51bSkgZG8KCQkJeSA9IHhbMC4uLTFdCgkJCXdoaWxlIHkuZW1wdHk/ID09IGZhbHNlIGRvCgkJCQliYiA9IHlbMF0KCQkJCXkgPSB5LnJlamVjdCB7IHxtfCBtPT1iYiB9CgkJCQlpZiAoYmIubGVuZ3RoIDwgbCkgdGhlbgoJCQkJCW5leHQKCQkJCWVuZAoJCQkJYWE9QXJyYXkubmV3KGwsMSkKCQkJCWlmKGw8YmIubGVuZ3RoKzEpIHRoZW4KCQkJCQlhYT1hYS5jb25jYXQoQXJyYXkubmV3KGJiLmxlbmd0aC1sLDApKQoJCQkJZW5kCgkJCQkKCQkJCXM9Y2hlY2soeCxhYSxiYikKCQkJCQoJCQkJaWYgcy5sZW5ndGggPCAzIHRoZW4KCQkJCQluZXh0CgkJCQllbmQKCQkJCWlmICAocy5taW4uLnMubWF4KS50b19hLmFsbD97IHxqfCBzLmluY2x1ZGU/KGopfSB0aGVuCgkJCQkJcGF0ID0gUGF0dGVybi5uZXcoYWEsYmIscy5taW4scy5tYXgpCgkJCQkJcmV0IDw8IHBhdAoJCQkJCWZvciB4eCBpbiBzLm1pbi4ucy5tYXggIGRvIAoJCQkJCQlrPVtdCgkJCQkJCWZvciBuIGluIDAuLmFhLmxlbmd0aC0xIGRvCgkJCQkJCQlrW25dID0gYWFbbl0qeHgrYmJbbl0KCQkJCQkJZW5kCgkJCQkJCXkuZGVsZXRlKGspCgkJCQkJCXouZGVsZXRlKGspCgkJCQkJZW5kCgkJCQllbmQKCQkJZW5kCgkJZW5kCgkJZm9yIGsgaW4gMC4uei5sZW5ndGgtMSBkbwoJCQlhYSA9IEFycmF5Lm5ldyh6W2tdLmxlbmd0aCwwKQoJCQliYiA9IHpba10KCQkJcGF0ID0gUGF0dGVybi5uZXcoYWEsYmIsMCwwKQoJCQlyZXQgPDwgcGF0CgkJZW5kCgkJCgkJcmV0dXJuIHJldAoJZW5kCgkKCWRlZiBjaGVjayh5LGEsYikKCQlyZXQgPSBbXQoJCWlmIGEubGVuZ3RoICE9IGIubGVuZ3RoIHRoZW4KCQkJcmV0dXJuIHJldAoJCWVuZAoJCQkKCQlmb3IgaSBpbiAwLi4oeS5sZW5ndGgtMSkgZG8KCQkJJG51bSs9MQoJCQl4PSh5W2ldWzBdLWJbMF0pL2FbMF0KCQkJaWYgeVtpXS5sZW5ndGggIT0gYS5sZW5ndGggdGhlbgoJCQkJbmV4dAoJCQllbmQKCQkJCgkJCWlmICgwLi5hLmxlbmd0aC0xKS50b19hLmFsbD97IHxqfCB5W2ldW2pdPT1hW2pdKngrYltqXSB9IHRoZW4KCQkJCXJldCA8PCB4CgkJCWVuZAoJCWVuZAoJCXJldHVybiByZXQKCWVuZAoJCglkZWYgdG9fcwoJCXMgPSAiWyIKCQlmb3IgaSBpbiAwLi4oQGEubGVuZ3RoLTEpIGRvCgkJICBzICs9IEBhW2ldLnRvX3MgKyAiLCIKCQllbmQKCQlzID0gcy5jaG9wCgkJcyArPSAiXSIKCQlyZXR1cm4gcwoJZW5kCmVuZAoJCgoKY2xhc3MgUGF0dGVybgoJQGEgPSBbXQoJQGIgPSBbXQoJQGZpcnN0ID0gMAoJQGxhc3QgPSAwCglkZWYgaW5pdGlhbGl6ZShhLGIsZmlyc3QsbGFzdCkKCQlAYSA9IGFbMC4uLTFdCgkJQGIgPSBiWzAuLi0xXQoJCUBmaXJzdCA9IGZpcnN0CgkJQGxhc3QgPSBsYXN0CgllbmQKICAKCWRlZiB0b19zCgkJcyA9ICJ7WyIKCQlmb3IgaSBpbiAwLi4oQGEubGVuZ3RoLTEpIGRvCgkJCXMgKz0gQGFbaV0udG9fcyArICJ4KyIgKyBAYltpXS50b19zICsgIiwiCgkJZW5kCgkJcz1zLmNob3AKCQlzICs9ICJdOiIKCQlzICs9IEBmaXJzdC50b19zICsgIjw9eDw9IiArIEBsYXN0LnRvX3MgKyAifSIKCQlpZiBAZmlyc3QgPT0gQGxhc3QgdGhlbgoJCQlzID0gQGIudG9fcwoJCWVuZAoJCXJldHVybiBzCgllbmQKZW5kCgoKZGVmIGxvc2UoYSkKCQoJaWYgYS5sZW5ndGggPT0gMSAmJiBhWzBdID09IDEgdGhlbgoJCWlmICR4eFtbMV1dID09IG5pbCB0aGVuCgkJCSR4eFtbMV1dID0gdHJ1ZQoJCQkkeXkgPDwgWzFdCgkJZW5kCgkJCgkJcmV0dXJuIHRydWUKCWVuZAoJCglpZiAkeHhbYV0gPT0gdHJ1ZSB0aGVuCgkJcmV0dXJuICR5eS5pbmNsdWRlPyhhKQoJZW5kCgkKCXJldCA9IHRydWUKCWZvciBpIGluIDAuLihhLmxlbmd0aC0xKSBkbwoJCWZvciBqIGluIDEuLmFbaV0gIGRvCgkJCWlmIGk9PTAgJiYgaj09MSB0aGVuCgkJCQluZXh0CgkJCWVuZAoJCQkKCQkJJG51bSs9MQoJCQliPWFbMC4uLTFdCgkJCWZvciBrIGluIGkuLihhLmxlbmd0aC0xKSBkbwoJCQkJJG51bSs9MQoJCQkJaWYgYVtrXSA+PSBqIHRoZW4KCQkJCQliW2tdID0gaiAtMQoJCQkJZW5kCgkJCWVuZAoJCQlpZiBqPT0xIHRoZW4KCQkJCWI9YVswLi5pLTFdCgkJCWVuZAoJCQkKCQkJaWYgKCR4eFtiXSA9PSBuaWwpIHRoZW4KCQkJCWlmIGxvc2UoYikgdGhlbgoJCQkJCXJldCA9IGZhbHNlCgkJCQllbmQKCQkJZWxzZQoJCQkJaWYgJHl5LmluY2x1ZGU/KGIpIHRoZW4KCQkJCQlyZXQgPSBmYWxzZQoJCQkJZW5kCgkJCWVuZAoJCWVuZAoJZW5kCgoJaWYgcmV0ID09IHRydWUgdGhlbgoJCSR5eSA8PCBhCgllbmQKCSR4eFthXSA9IHRydWUKCglyZXR1cm4gcmV0CmVuZAoKbT00Cm49MTYKI3ggPSBBcnJheS5uZXcobSxuKQp4PVsyNCwyNCwyNF0KcHJpbnQgIm51bT0iCnAgJG51bQpsb3NlKHgpCnByaW50ICJudW09IgpwICRudW0KCnAgJHh4Lmxlbmd0aApwICR5eS5sZW5ndGgKZm9yIGkgaW4gMS4ueC5sZW5ndGggZG8KCXR0ID0gJHl5LnNlbGVjdCB7IHxufCBuLmxlbmd0aCA9PSBpIH0KCXByaW50ICJjb3VudD0iCglwcmludCB0dC5sZW5ndGgKCXByaW50ICIgIgoJcCB0dAplbmQKCnNldCA9IFBhdHRlcm5zLm5ldygkeXkpCgpwcmludCAicD0iCnAgJG51bQoKcHV0cyBzZXQudG9fcwpwcmludCAicD0iCgoKCgoK