//
// encoding: Shift_JIS
//   works on C++ template mechanism
//
#include<iostream> 



//--------------------
// 定義：[リスト]
//   整数定数 top と、
//   リストである型 rest をメンバに持つ型のこと。
//--------------------

//
// 先頭の整数と残りのリストを受けてリストを返す関数
//
template<int N, class Lst> struct listdef
{
	static const int top = N;
	typedef Lst rest;
};

//
// リストの各要素にNを掛けたリストを返す関数
//
template<int N, class Lst> struct mult
	: listdef< Lst::top*N, mult<N, typename Lst::rest> > {};

//
// 昇順のリストAとリストBを昇順にマージ
//
template<class LstA, class LstB> struct merge;

template<class LstA, class LstB, int Same> struct merge_impl
	: merge<typename LstA::rest,LstB> {};

template<class LstA, class LstB> struct merge_impl<LstA,LstB,1>
	: listdef< LstB::top, merge<LstA,typename LstB::rest> > {};

template<class LstA, class LstB> struct merge_impl<LstA,LstB,-1>
	: listdef< LstA::top, merge<typename LstA::rest,LstB> > {};

template<class LstA, class LstB> struct merge
{
	static const bool Same   = (LstA::top == LstB::top);
	static const bool aFirst = (LstA::top < LstB::top);
	typedef merge_impl<LstA,LstB,Same?0:aFirst?-1:1> impl;

	static const int top = impl::top;
	typedef typename impl::rest rest;
};

//
// リストの先頭N要素を出力する。
//
template<int N, class Lst> struct print
{
	static void doit()
	{
		std::cout << Lst::top << std::endl;
		print<N-1, typename Lst::rest>::doit();
	}
};
template<class Lst> struct print<0,Lst> { static void doit() {} };



//
// テスト
//  ・１を含む。
//  ・nを含むなら2nも3nも5nも含む。
//  ・昇順
// を満たすリストxの定義
//
struct x :
	listdef<1, merge< merge< mult<2,x>,mult<3,x> >, mult<5,x> > > {};

int main() 
{ 
	print<20, x>::doit();
}