contract			LifeSet_008			{	// CPS88 Life Settlement beta 8																									
	//																																
	//																																
					// ownership.../.../.../.../.../																												
																																	
					address	owner	;																										
																																	
					function	detOwner		() 	public	{																							
						owner	=	0x694f59266d12e339047353a170e21233806ab900								;					
					}																												
																																	
					modifier	onlyOwner		() 		{																							
						require(msg.sender == owner )										;																	
						_;																											
					}																												
	/*																																
																																	
	*/																																
					uint256		public		consecutiveDeaths												;												
					uint256		public		lastHash												;												
																																	
		//			uint256		public		lastBlock_v1Hash_uint256												;												
					uint256		public		deathData_v1												;												
					bool		public		CLE_Beta_Pictoris												;												
																																	
					address		public		User_1		=	msg.sender									;												
					uint256		public		Standard_1		=	100000000000000000000 ;																					
	/*																																
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
	*/																																
	/*																																
																																	
																																	
																																	
																																	
																																	
	*/																																
					// part.I_fixe.../.../.../.../.../																												
	//																																
	/*	i	*/		uint256	public	DeathFactor_i					;																					
	/*	ii	*/		uint256	public	DeathFactor_ii					;																					
	/*	iii	*/		uint256	public	DeathFactor_iii					;																					
	/*	iv	*/		uint256	public	DeathFactor_iv					;																					
	/*	v	*/		uint256	public	DeathFactor_v					;																					
	/*	i	*/		uint256	public	LifeFactor_i					;																					
	/*	ii	*/		uint256	public	LifeFactor_ii					;																					
	/*	iii	*/		uint256	public	LifeFactor_iii					;																					
	/*	iv	*/		uint256	public	LifeFactor_iv					;																					
	/*	v	*/		uint256	public	LifeFactor_v					;																					
	/*	0	*/		uint256	public	lastBlock_f0					;																					
	/*	1	*/		uint256	public	lastBlock_f1					;																					
	/*	2	*/		uint256	public	lastBlock_f2					;																					
	/*	3	*/		uint256	public	lastBlock_f3					;																					
	/*	4	*/		uint256	public	lastBlock_f4					;																					
	/*	5	*/		uint256	public	lastBlock_f5					;																					
	/*	6	*/		uint256	public	lastBlock_f6					;																					
	/*	7	*/		uint256	public	lastBlock_f7					;																					
	/*	8	*/		uint256	public	lastBlock_f8					;																					
	/*	9	*/		uint256	public	lastBlock_f9					;																					
	/*	10	*/		uint256	public	lastBlock_f10					;																					
	/*	11	*/		uint256	public	lastBlock_f11					;																					
	/*	12	*/		uint256	public	lastBlock_f12					;																					
	/*	13	*/		uint256	public	lastBlock_f13					;																					
	/*	14	*/		uint256	public	lastBlock_f14					;																					
	/*	15	*/		uint256	public	lastBlock_f15					;																					
	/*	16	*/		uint256	public	lastBlock_f16					;																					
	/*	17	*/		uint256	public	lastBlock_f17					;																					
	/*	18	*/		uint256	public	lastBlock_f18					;																					
	/*	19	*/		uint256	public	lastBlock_f19					;																					
	/*	0	*/		uint256	public	lastBlock_f0Hash_uint256					;																					
	/*	1	*/		uint256	public	lastBlock_f1Hash_uint256					;																					
	/*	2	*/		uint256	public	lastBlock_f2Hash_uint256					;																					
	/*	3	*/		uint256	public	lastBlock_f3Hash_uint256					;																					
	/*	4	*/		uint256	public	lastBlock_f4Hash_uint256					;																					
	/*	5	*/		uint256	public	lastBlock_f5Hash_uint256					;																					
	/*	6	*/		uint256	public	lastBlock_f6Hash_uint256					;																					
	/*	7	*/		uint256	public	lastBlock_f7Hash_uint256					;																					
	/*	8	*/		uint256	public	lastBlock_f8Hash_uint256					;																					
	/*	9	*/		uint256	public	lastBlock_f9Hash_uint256					;																					
	/*	10	*/		uint256	public	lastBlock_f10Hash_uint256					;																					
	/*	11	*/		uint256	public	lastBlock_f11Hash_uint256					;																					
	/*	12	*/		uint256	public	lastBlock_f12Hash_uint256					;																					
	/*	13	*/		uint256	public	lastBlock_f13Hash_uint256					;																					
	/*	14	*/		uint256	public	lastBlock_f14Hash_uint256					;																					
	/*	15	*/		uint256	public	lastBlock_f15Hash_uint256					;																					
	/*	16	*/		uint256	public	lastBlock_f16Hash_uint256					;																					
	/*	17	*/		uint256	public	lastBlock_f17Hash_uint256					;																					
	/*	18	*/		uint256	public	lastBlock_f18Hash_uint256					;																					
	/*	19	*/		uint256	public	lastBlock_f19Hash_uint256					;																					
	/*	0	*/		uint256	public	deathData_f0					;																					
	/*	1	*/		uint256	public	deathData_f1					;																					
	/*	2	*/		uint256	public	deathData_f2					;																					
	/*	3	*/		uint256	public	deathData_f3					;																					
	/*	4	*/		uint256	public	deathData_f4					;																					
	/*	5	*/		uint256	public	deathData_f5					;																					
	/*	6	*/		uint256	public	deathData_f6					;																					
	/*	7	*/		uint256	public	deathData_f7					;																					
	/*	8	*/		uint256	public	deathData_f8					;																					
	/*	9	*/		uint256	public	deathData_f9					;																					
	/*	10	*/		uint256	public	deathData_f10					;																					
	/*	11	*/		uint256	public	deathData_f11					;																					
	/*	12	*/		uint256	public	deathData_f12					;																					
	/*	13	*/		uint256	public	deathData_f13					;																					
	/*	14	*/		uint256	public	deathData_f14					;																					
	/*	15	*/		uint256	public	deathData_f15					;																					
	/*	16	*/		uint256	public	deathData_f16					;																					
	/*	17	*/		uint256	public	deathData_f17					;																					
	/*	18	*/		uint256	public	deathData_f18					;																					
	/*	19	*/		uint256	public	deathData_f19					;																					
	/*																																
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
	*/																																
					// part.II_variable.../.../.../.../.../																												
	//																																
	//	i			uint256	public	DeathFactor_i					;																					
	//	ii			uint256	public	DeathFactor_ii					;																					
	//	iii			uint256	public	DeathFactor_iii					;																					
	//	iv			uint256	public	DeathFactor_iv					;																					
	//	v			uint256	public	DeathFactor_v					;																					
	//	i			uint256	public	LifeFactor_i					;																					
	//	ii			uint256	public	LifeFactor_ii					;																					
	//	iii			uint256	public	LifeFactor_iii					;																					
	//	iv			uint256	public	LifeFactor_iv					;																					
	//	v			uint256	public	LifeFactor_v					;																					
	/*	0	*/		uint256	public	lastBlock_v0					;																					
	/*	1	*/		uint256	public	lastBlock_v1					;																					
	/*	2	*/		uint256	public	lastBlock_v2					;																					
	/*	3	*/		uint256	public	lastBlock_v3					;																					
	/*	4	*/		uint256	public	lastBlock_v4					;																					
	/*	5	*/		uint256	public	lastBlock_v5					;																					
	/*	6	*/		uint256	public	lastBlock_v6					;																					
	/*	7	*/		uint256	public	lastBlock_v7					;																					
	/*	8	*/		uint256	public	lastBlock_v8					;																					
	/*	9	*/		uint256	public	lastBlock_v9					;																					
	/*	10	*/		uint256	public	lastBlock_v10					;																					
	/*	11	*/		uint256	public	lastBlock_v11					;																					
	/*	12	*/		uint256	public	lastBlock_v12					;																					
	/*	13	*/		uint256	public	lastBlock_v13					;																					
	/*	14	*/		uint256	public	lastBlock_v14					;																					
	/*	15	*/		uint256	public	lastBlock_v15					;																					
	/*	16	*/		uint256	public	lastBlock_v16					;																					
	/*	17	*/		uint256	public	lastBlock_v17					;																					
	/*	18	*/		uint256	public	lastBlock_v18					;																					
	/*	19	*/		uint256	public	lastBlock_v19					;																					
	/*	0	*/		uint256	public	lastBlock_v0Hash_uint256					;																					
	/*	1	*/		uint256	public	lastBlock_v1Hash_uint256					;																					
	/*	2	*/		uint256	public	lastBlock_v2Hash_uint256					;																					
	/*	3	*/		uint256	public	lastBlock_v3Hash_uint256					;																					
	/*	4	*/		uint256	public	lastBlock_v4Hash_uint256					;																					
	/*	5	*/		uint256	public	lastBlock_v5Hash_uint256					;																					
	/*	6	*/		uint256	public	lastBlock_v6Hash_uint256					;																					
	/*	7	*/		uint256	public	lastBlock_v7Hash_uint256					;																					
	/*	8	*/		uint256	public	lastBlock_v8Hash_uint256					;																					
	/*	9	*/		uint256	public	lastBlock_v9Hash_uint256					;																					
	/*	10	*/		uint256	public	lastBlock_v10Hash_uint256					;																					
	/*	11	*/		uint256	public	lastBlock_v11Hash_uint256					;																					
	/*	12	*/		uint256	public	lastBlock_v12Hash_uint256					;																					
	/*	13	*/		uint256	public	lastBlock_v13Hash_uint256					;																					
	/*	14	*/		uint256	public	lastBlock_v14Hash_uint256					;																					
	/*	15	*/		uint256	public	lastBlock_v15Hash_uint256					;																					
	/*	16	*/		uint256	public	lastBlock_v16Hash_uint256					;																					
	/*	17	*/		uint256	public	lastBlock_v17Hash_uint256					;																					
	/*	18	*/		uint256	public	lastBlock_v18Hash_uint256					;																					
	/*	19	*/		uint256	public	lastBlock_v19Hash_uint256					;																					
	/*	0	*/		uint256	public	deathData_v0					;																					
	//	1			uint256	public	deathData_v1					;		// confer ‘part.E’ & ‘part.E’’ p.10 pour la déclaration relative ;																			
	/*	2	*/		uint256	public	deathData_v2					;																					
	/*	3	*/		uint256	public	deathData_v3					;																					
	/*	4	*/		uint256	public	deathData_v4					;																					
	/*	5	*/		uint256	public	deathData_v5					;																					
	/*	6	*/		uint256	public	deathData_v6					;																					
	/*	7	*/		uint256	public	deathData_v7					;																					
	/*	8	*/		uint256	public	deathData_v8					;																					
	/*	9	*/		uint256	public	deathData_v9					;																					
	/*	10	*/		uint256	public	deathData_v10					;																					
	/*	11	*/		uint256	public	deathData_v11					;																					
	/*	12	*/		uint256	public	deathData_v12					;																					
	/*	13	*/		uint256	public	deathData_v13					;																					
	/*	14	*/		uint256	public	deathData_v14					;																					
	/*	15	*/		uint256	public	deathData_v15					;																					
	/*	16	*/		uint256	public	deathData_v16					;																					
	/*	17	*/		uint256	public	deathData_v17					;																					
	/*	18	*/		uint256	public	deathData_v18					;																					
	/*	19	*/		uint256	public	deathData_v19					;																					
	/*																																
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
	*/																																
					// part.III_active.../.../.../.../.../																												
	//																																
	//	i			uint256	public	DeathFactor_i					;																					
	//	ii			uint256	public	DeathFactor_ii					;																					
	//	iii			uint256	public	DeathFactor_iii					;																					
	//	iv			uint256	public	DeathFactor_iv					;																					
	//	v			uint256	public	DeathFactor_v					;																					
	//	i			uint256	public	LifeFactor_i					;																					
	//	ii			uint256	public	LifeFactor_ii					;																					
	//	iii			uint256	public	LifeFactor_iii					;																					
	//	iv			uint256	public	LifeFactor_iv					;																					
	//	v			uint256	public	LifeFactor_v					;																					
	/*	0	*/		uint256	public	lastBlock_a0					;																					
	/*	1	*/		uint256	public	lastBlock_a1					;																					
	/*	2	*/		uint256	public	lastBlock_a2					;																					
	/*	3	*/		uint256	public	lastBlock_a3					;																					
	/*	4	*/		uint256	public	lastBlock_a4					;																					
	/*	5	*/		uint256	public	lastBlock_a5					;																					
	/*	6	*/		uint256	public	lastBlock_a6					;																					
	/*	7	*/		uint256	public	lastBlock_a7					;																					
	/*	8	*/		uint256	public	lastBlock_a8					;																					
	/*	9	*/		uint256	public	lastBlock_a9					;																					
	/*	10	*/		uint256	public	lastBlock_a10					;																					
	/*	11	*/		uint256	public	lastBlock_a11					;																					
	/*	12	*/		uint256	public	lastBlock_a12					;																					
	/*	13	*/		uint256	public	lastBlock_a13					;																					
	/*	14	*/		uint256	public	lastBlock_a14					;																					
	/*	15	*/		uint256	public	lastBlock_a15					;																					
	/*	16	*/		uint256	public	lastBlock_a16					;																					
	/*	17	*/		uint256	public	lastBlock_a17					;																					
	/*	18	*/		uint256	public	lastBlock_a18					;																					
	/*	19	*/		uint256	public	lastBlock_a19					;																					
	/*	0	*/		uint256	public	lastBlock_a0Hash_uint256					;																					
	/*	1	*/		uint256	public	lastBlock_a1Hash_uint256					;																					
	/*	2	*/		uint256	public	lastBlock_a2Hash_uint256					;																					
	/*	3	*/		uint256	public	lastBlock_a3Hash_uint256					;																					
	/*	4	*/		uint256	public	lastBlock_a4Hash_uint256					;																					
	/*	5	*/		uint256	public	lastBlock_a5Hash_uint256					;																					
	/*	6	*/		uint256	public	lastBlock_a6Hash_uint256					;																					
	/*	7	*/		uint256	public	lastBlock_a7Hash_uint256					;																					
	/*	8	*/		uint256	public	lastBlock_a8Hash_uint256					;																					
	/*	9	*/		uint256	public	lastBlock_a9Hash_uint256					;																					
	/*	10	*/		uint256	public	lastBlock_a10Hash_uint256					;																					
	/*	11	*/		uint256	public	lastBlock_a11Hash_uint256					;																					
	/*	12	*/		uint256	public	lastBlock_a12Hash_uint256					;																					
	/*	13	*/		uint256	public	lastBlock_a13Hash_uint256					;																					
	/*	14	*/		uint256	public	lastBlock_a14Hash_uint256					;																					
	/*	15	*/		uint256	public	lastBlock_a15Hash_uint256					;																					
	/*	16	*/		uint256	public	lastBlock_a16Hash_uint256					;																					
	/*	17	*/		uint256	public	lastBlock_a17Hash_uint256					;																					
	/*	18	*/		uint256	public	lastBlock_a18Hash_uint256					;																					
	/*	19	*/		uint256	public	lastBlock_a19Hash_uint256					;																					
	/*	0	*/		uint256	public	deathData_a0					;																					
	/*	1	*/		uint256	public	deathData_a1					;																					
	/*	2	*/		uint256	public	deathData_a2					;																					
	/*	3	*/		uint256	public	deathData_a3					;																					
	/*	4	*/		uint256	public	deathData_a4					;																					
	/*	5	*/		uint256	public	deathData_a5					;																					
	/*	6	*/		uint256	public	deathData_a6					;																					
	/*	7	*/		uint256	public	deathData_a7					;																					
	/*	8	*/		uint256	public	deathData_a8					;																					
	/*	9	*/		uint256	public	deathData_a9					;																					
	/*	10	*/		uint256	public	deathData_a10					;																					
	/*	11	*/		uint256	public	deathData_a11					;																					
	/*	12	*/		uint256	public	deathData_a12					;																					
	/*	13	*/		uint256	public	deathData_a13					;																					
	/*	14	*/		uint256	public	deathData_a14					;																					
	/*	15	*/		uint256	public	deathData_a15					;																					
	/*	16	*/		uint256	public	deathData_a16					;																					
	/*	17	*/		uint256	public	deathData_a17					;																					
	/*	18	*/		uint256	public	deathData_a18					;																					
	/*	19	*/		uint256	public	deathData_a19					;																					
	/*																																
																																	
																																	
																																	
																																	
																																	
																																	
																																	
																																	
	*/																																
					// part.I_fixe_assignation.../.../.../.../.../																												
	//																																
					function	LifeSet_008		() 	public	{	// constructeur																						
	/*	i	*/			DeathFactor_i	=	57896044618658097711785492504343953926634992332820282019728792003956564819968		;					
	/*	ii	*/			DeathFactor_ii					=	21807848692836600000000000000										;					
	/*	iii	*/			DeathFactor_iii					=	21079851993102300000000000000										;					
	/*	iv	*/			DeathFactor_iv					=	96991823642008000000000000000										;					
	/*	v	*/			DeathFactor_v					=	23715149500320100000000000000										;					
	/*	i	*/			LifeFactor_i					=	72342521561722900000000000000										;					
	/*	ii	*/			LifeFactor_ii					=	28761789998958900000000000000										;					
	/*	iii	*/			LifeFactor_iii					=	49073762341743800000000000000										;					
	/*	iv	*/			LifeFactor_iv					=	69895676296429600000000000000										;					
	/*	v	*/			LifeFactor_v					=	36799331971979100000000000000										;					
	/*	0	*/			lastBlock_f0					=	(block.number)										;											
	/*	1	*/			lastBlock_f1					=	(block.number-1)										;											
	/*	2	*/			lastBlock_f2					=	(block.number-2)										;											
	/*	3	*/			lastBlock_f3					=	(block.number-3)										;											
	/*	4	*/			lastBlock_f4					=	(block.number-4)										;											
	/*	5	*/			lastBlock_f5					=	(block.number-5)										;											
	/*	6	*/			lastBlock_f6					=	(block.number-6)										;											
	/*	7	*/			lastBlock_f7					=	(block.number-7)										;											
	/*	8	*/			lastBlock_f8					=	(block.number-8)										;											
	/*	9	*/			lastBlock_f9					=	(block.number-9)										;											
	/*	10	*/			lastBlock_f10					=	(block.number-10)										;											
	/*	11	*/			lastBlock_f11					=	(block.number-11)										;											
	/*	12	*/			lastBlock_f12					=	(block.number-12)										;											
	/*	13	*/			lastBlock_f13					=	(block.number-13)										;											
	/*	14	*/			lastBlock_f14					=	(block.number-14)										;											
	/*	15	*/			lastBlock_f15					=	(block.number-15)										;											
	/*	16	*/			lastBlock_f16					=	(block.number-16)										;											
	/*	17	*/			lastBlock_f17					=	(block.number-17)										;											
	/*	18	*/			lastBlock_f18					=	(block.number-18)										;											
	/*	19	*/			lastBlock_f19					=	(block.number-19)										;											
	/*	0	*/			lastBlock_f0Hash_uint256					=	uint256(block.blockhash(block.number))								;											
	/*	1	*/			lastBlock_f1Hash_uint256					=	uint256(block.blockhash(block.number-1))								;											
	/*	2	*/			lastBlock_f2Hash_uint256					=	uint256(block.blockhash(block.number-2))								;											
	/*	3	*/			lastBlock_f3Hash_uint256					=	uint256(block.blockhash(block.number-3))								;											
	/*	4	*/			lastBlock_f4Hash_uint256					=	uint256(block.blockhash(block.number-4))								;											
	/*	5	*/			lastBlock_f5Hash_uint256					=	uint256(block.blockhash(block.number-5))								;											
	/*	6	*/			lastBlock_f6Hash_uint256					=	uint256(block.blockhash(block.number-6))								;											
	/*	7	*/			lastBlock_f7Hash_uint256					=	uint256(block.blockhash(block.number-7))								;											
	/*	8	*/			lastBlock_f8Hash_uint256					=	uint256(block.blockhash(block.number-8))								;											
	/*	9	*/			lastBlock_f9Hash_uint256					=	uint256(block.blockhash(block.number-9))								;											
	/*	10	*/			lastBlock_f10Hash_uint256					=	uint256(block.blockhash(block.number-10))						;											
	/*	11	*/			lastBlock_f11Hash_uint256					=	uint256(block.blockhash(block.number-11))							;											
	/*	12	*/			lastBlock_f12Hash_uint256					=	uint256(block.blockhash(block.number-12))							;											
	/*	13	*/			lastBlock_f13Hash_uint256					=	uint256(block.blockhash(block.number-13))							;											
	/*	14	*/			lastBlock_f14Hash_uint256					=	uint256(block.blockhash(block.number-14))							;											
	/*	15	*/			lastBlock_f15Hash_uint256					=	uint256(block.blockhash(block.number-15))							;											
	/*	16	*/			lastBlock_f16Hash_uint256					=	uint256(block.blockhash(block.number-16))							;											
	/*	17	*/			lastBlock_f17Hash_uint256					=	uint256(block.blockhash(block.number-17))							;											
	/*	18	*/			lastBlock_f18Hash_uint256					=	uint256(block.blockhash(block.number-18))							;											
	/*	19	*/			lastBlock_f19Hash_uint256					=	uint256(block.blockhash(block.number-19))							;											
	/*	0	*/			deathData_f0					=	uint256(block.blockhash(block.number)) / DeathFactor_i							;											
	/*	1	*/			deathData_f1					=	uint256(block.blockhash(block.number-1)) / DeathFactor_i							;											
	/*	2	*/			deathData_f2					=	uint256(block.blockhash(block.number-2)) / DeathFactor_i							;											
	/*	3	*/			deathData_f3					=	uint256(block.blockhash(block.number-3)) / DeathFactor_i							;											
	/*	4	*/			deathData_f4					=	uint256(block.blockhash(block.number-4)) / DeathFactor_i							;											
	/*	5	*/			deathData_f5					=	uint256(block.blockhash(block.number-5)) / DeathFactor_i							;											
	/*	6	*/			deathData_f6					=	uint256(block.blockhash(block.number-6)) / DeathFactor_i							;											
	/*	7	*/			deathData_f7					=	uint256(block.blockhash(block.number-7)) / DeathFactor_i							;											
	/*	8	*/			deathData_f8					=	uint256(block.blockhash(block.number-8)) / DeathFactor_i							;											
	/*	9	*/			deathData_f9					=	uint256(block.blockhash(block.number-9)) / DeathFactor_i							;											
	/*	10	*/			deathData_f10					=	uint256(block.blockhash(block.number-10)) / DeathFactor_i					;											
	/*	11	*/			deathData_f11					=	uint256(block.blockhash(block.number-11)) / DeathFactor_i						;											
	/*	12	*/			deathData_f12					=	uint256(block.blockhash(block.number-12)) / DeathFactor_i						;											
	/*	13	*/			deathData_f13					=	uint256(block.blockhash(block.number-13)) / DeathFactor_i						;											
	/*	14	*/			deathData_f14					=	uint256(block.blockhash(block.number-14)) / DeathFactor_i						;											
	/*	15	*/			deathData_f15					=	uint256(block.blockhash(block.number-15)) / DeathFactor_i						;											
	/*	16	*/			deathData_f16					=	uint256(block.blockhash(block.number-16)) / DeathFactor_i						;											
	/*	17	*/			deathData_f17					=	uint256(block.blockhash(block.number-17)) / DeathFactor_i						;											
	/*	18	*/			deathData_f18					=	uint256(block.blockhash(block.number-18)) / DeathFactor_i						;											
	/*	19	*/			deathData_f19					=	uint256(block.blockhash(block.number-19)) / DeathFactor_i						;											
					}																										
	/*																																
																																	
	*/																																
						// part.A_eligibility_inputs.../.../.../.../.../																											
	//																																
	//	0	*/			address 	public	User_1				=	msg.sender									;		
	/*	1	*/			address 	public	User_2		;	//  	=	_User_2									;											
	/*	2	*/			address 	public	User_3		;	//  	=	_User_3									;											
	/*	3	*/			address 	public	User_4		;	//  	=	_User_4									;											
	/*	4	*/			address 	public	User_5		;	//  	=	_User_5									;											
	//																																
	/*	0	*/			IERC20Token		public	Securities_1		;	//  	_Securities_1									;
	/*	1	*/			IERC20Token		public	Securities_2		;	//  	_Securities_2									;											
	/*	2	*/			IERC20Token		public	Securities_3		;	//  	_Securities_3									;											
	/*	3	*/			IERC20Token		public	Securities_4		;	//  	_Securities_4									;											
	/*	4	*/			IERC20Token		public	Securities_5		;	//  	_Securities_5									;											
	//																																
	//	0	*/			uint256		public	Standard_1		;	//  	_Standard_1									;	
	/*	1	*/			uint256		public	Standard_2		;	//  	_Standard_2									;											
	/*	2	*/			uint256		public	Standard_3		;	//  	_Standard_3									;											
	/*	3	*/			uint256		public	Standard_4		;	//  	_Standard_4									;											
	/*	4	*/			uint256		public	Standard_5		;	//  	_Standard_5									;											
	/*																																
																																	
	*/																																
						// part.B_eligibility_functions.../.../.../.../.../																											
	//																																
	/*	0	*/			function	Eligibility_Group_1					( 																					
	/*	1	*/				address		_User_1		,																						
	/*	2	*/				IERC20Token		_Securities_1		,																						
	/*	3	*/				uint256		_Standard_1																								
	/*	4	*/			)																											
	/*	5	*/				public		onlyOwner																								
	/*	6	*/			{																											
	//	7	*/				User_1		=	_User_1		;																					
	/*	8	*/				Securities_1		=	_Securities_1		;																					
	//	9	*/				Standard_1		=	_Standard_1		;																					
	/*	10	*/			}																											
	/*	0	*/			function	Eligibility_Group_2					( 																					
	/*	1	*/				address		_User_2		,																						
	/*	2	*/				IERC20Token		_Securities_2		,																						
	/*	3	*/				uint256		_Standard_2																								
	/*	4	*/			)																											
	/*	5	*/				public		onlyOwner																								
	/*	6	*/			{																											
	/*	7	*/				User_2		=	_User_2		;																					
	/*	8	*/				Securities_2		=	_Securities_2		;																					
	/*	9	*/				Standard_2		=	_Standard_2		;																					
	/*	10	*/			}																											
	/*	0	*/			function	Eligibility_Group_3					( 																					
	/*	1	*/				address		_User_3		,																						
	/*	2	*/				IERC20Token		_Securities_3		,																						
	/*	3	*/				uint256		_Standard_3																								
	/*	4	*/			)																											
	/*	5	*/				public		onlyOwner																								
	/*	6	*/			{																											
	/*	7	*/				User_3		=	_User_3		;																					
	/*	8	*/				Securities_3		=	_Securities_3		;																					
	/*	9	*/				Standard_3		=	_Standard_3		;																					
	/*	10	*/			}																											
	/*	0	*/			function	Eligibility_Group_4					( 																					
	/*	1	*/				address		_User_4		,																						
	/*	2	*/				IERC20Token		_Securities_4		,																						
	/*	3	*/				uint256		_Standard_4																								
	/*	4	*/			)																											
	/*	5	*/				public		onlyOwner																								
	/*	6	*/			{																											
	/*	7	*/				User_4		=	_User_4		;																					
	/*	8	*/				Securities_4		=	_Securities_4		;																					
	/*	9	*/				Standard_4		=	_Standard_4		;																					
	/*	10	*/			}																											
	/*	0	*/			function	Eligibility_Group_5					( 																					
	/*	1	*/				address		_User_5		,																						
	/*	2	*/				IERC20Token		_Securities_5		,																						
	/*	3	*/				uint256		_Standard_5																								
	/*	4	*/			)																											
	/*	5	*/				public		onlyOwner																								
	/*	6	*/			{																											
	/*	7	*/				User_5		=	_User_5		;																					
	/*	8	*/				Securities_5		=	_Securities_5		;																					
	/*	9	*/				Standard_5		=	_Standard_5		;																					
	/*	10	*/			}																											
	/*																																
																																	
																																	
																																	
																																	
																																	
																																	
	*/																																
						// part.II_variable_assignation.../.../.../.../.../																											
	//																																
function	ReinsureSeveralDeaths	(bool _hedge		) public returns ( bool	) {						
	//	i	*/				DeathFactor_i					=															;				
	//	ii	*/				DeathFactor_ii					=	94688065443371500000000000000										;				
	//	iii	*/				DeathFactor_iii					=	8095242467221090000000000000										;				
	//	iv	*/				DeathFactor_iv					=	70848091325669100000000000000										;				
	//	v	*/				DeathFactor_v					=	21173149574191900000000000000										;				
	//	i	*/				LifeFactor_i					=	74559480568093600000000000000										;				
	//	ii	*/				LifeFactor_ii					=	31797319262872900000000000000										;				
	//	iii	*/				LifeFactor_iii					=	64530670832690800000000000000										;				
	//	iv	*/				LifeFactor_iv					=	56232775078129000000000000000										;				
	//	v	*/				LifeFactor_v					=	35086346921014300000000000000										;				
	/*	0	*/				lastBlock_v0					=	(block.number)										;										
	/*	1	*/				lastBlock_v1					=	(block.number-1)										;										
	/*	2	*/				lastBlock_v2					=	(block.number-2)										;										
	/*	3	*/				lastBlock_v3					=	(block.number-3)										;										
	/*	4	*/				lastBlock_v4					=	(block.number-4)										;										
	/*	5	*/				lastBlock_v5					=	(block.number-5)										;										
	/*	6	*/				lastBlock_v6					=	(block.number-6)										;										
	/*	7	*/				lastBlock_v7					=	(block.number-7)										;										
	/*	8	*/				lastBlock_v8					=	(block.number-8)										;										
	/*	9	*/				lastBlock_v9					=	(block.number-9)										;										
	/*	10	*/				lastBlock_v10					=	(block.number-10)										;										
	/*	11	*/				lastBlock_v11					=	(block.number-11)										;										
	/*	12	*/				lastBlock_v12					=	(block.number-12)										;										
	/*	13	*/				lastBlock_v13					=	(block.number-13)										;										
	/*	14	*/				lastBlock_v14					=	(block.number-14)										;										
	/*	15	*/				lastBlock_v15					=	(block.number-15)										;										
	/*	16	*/				lastBlock_v16					=	(block.number-16)										;										
	/*	17	*/				lastBlock_v17					=	(block.number-17)										;										
	/*	18	*/				lastBlock_v18					=	(block.number-18)										;										
	/*	19	*/				lastBlock_v19					=	(block.number-19)										;										
	/*	0	*/				lastBlock_v0Hash_uint256					=	uint256(block.blockhash(block.number))							;										
	//	1	*/				lastBlock_v1Hash_uint256					=	uint256(block.blockhash(block.number-1))							;										
	/*	2	*/				lastBlock_v2Hash_uint256					=	uint256(block.blockhash(block.number-2))							;										
	/*	3	*/				lastBlock_v3Hash_uint256					=	uint256(block.blockhash(block.number-3))							;										
	/*	4	*/				lastBlock_v4Hash_uint256					=	uint256(block.blockhash(block.number-4))							;										
	/*	5	*/				lastBlock_v5Hash_uint256					=	uint256(block.blockhash(block.number-5))							;										
	/*	6	*/				lastBlock_v6Hash_uint256					=	uint256(block.blockhash(block.number-6))							;										
	/*	7	*/				lastBlock_v7Hash_uint256					=	uint256(block.blockhash(block.number-7))							;										
	/*	8	*/				lastBlock_v8Hash_uint256					=	uint256(block.blockhash(block.number-8))							;										
	/*	9	*/				lastBlock_v9Hash_uint256					=	uint256(block.blockhash(block.number-9))							;										
	/*	10	*/				lastBlock_v10Hash_uint256					=	uint256(block.blockhash(block.number-10))						;										
	/*	11	*/				lastBlock_v11Hash_uint256					=	uint256(block.blockhash(block.number-11))						;										
	/*	12	*/				lastBlock_v12Hash_uint256					=	uint256(block.blockhash(block.number-12))						;										
	/*	13	*/				lastBlock_v13Hash_uint256					=	uint256(block.blockhash(block.number-13))						;										
	/*	14	*/				lastBlock_v14Hash_uint256					=	uint256(block.blockhash(block.number-14))						;										
	/*	15	*/				lastBlock_v15Hash_uint256					=	uint256(block.blockhash(block.number-15))						;										
	/*	16	*/				lastBlock_v16Hash_uint256					=	uint256(block.blockhash(block.number-16))						;										
	/*	17	*/				lastBlock_v17Hash_uint256					=	uint256(block.blockhash(block.number-17))						;										
	/*	18	*/				lastBlock_v18Hash_uint256					=	uint256(block.blockhash(block.number-18))						;										
	/*	19	*/				lastBlock_v19Hash_uint256					=	uint256(block.blockhash(block.number-19))						;										
	/*	0	*/				deathData_v0					=	uint256(block.blockhash(block.number)) / DeathFactor_i						;										
	/*	1	*/				deathData_v1					=	uint256(block.blockhash(block.number-1)) / DeathFactor_i						;										
	/*	2	*/				deathData_v2					=	uint256(block.blockhash(block.number-2)) / DeathFactor_i						;										
	/*	3	*/				deathData_v3					=	uint256(block.blockhash(block.number-3)) / DeathFactor_i						;										
	/*	4	*/				deathData_v4					=	uint256(block.blockhash(block.number-4)) / DeathFactor_i						;										
	/*	5	*/				deathData_v5					=	uint256(block.blockhash(block.number-5)) / DeathFactor_i						;										
	/*	6	*/				deathData_v6					=	uint256(block.blockhash(block.number-6)) / DeathFactor_i						;										
	/*	7	*/				deathData_v7					=	uint256(block.blockhash(block.number-7)) / DeathFactor_i						;										
	/*	8	*/				deathData_v8					=	uint256(block.blockhash(block.number-8)) / DeathFactor_i						;										
	/*	9	*/				deathData_v9					=	uint256(block.blockhash(block.number-9)) / DeathFactor_i						;										
	/*	10	*/				deathData_v10					=	uint256(block.blockhash(block.number-10)) / DeathFactor_i				;									
	/*	11	*/				deathData_v11					=	uint256(block.blockhash(block.number-11)) / DeathFactor_i					;										
	/*	12	*/				deathData_v12					=	uint256(block.blockhash(block.number-12)) / DeathFactor_i					;										
	/*	13	*/				deathData_v13					=	uint256(block.blockhash(block.number-13)) / DeathFactor_i					;										
	/*	14	*/				deathData_v14					=	uint256(block.blockhash(block.number-14)) / DeathFactor_i					;										
	/*	15	*/				deathData_v15					=	uint256(block.blockhash(block.number-15)) / DeathFactor_i					;										
	/*	16	*/				deathData_v16					=	uint256(block.blockhash(block.number-16)) / DeathFactor_i					;										
	/*	17	*/				deathData_v17					=	uint256(block.blockhash(block.number-17)) / DeathFactor_i					;										
	/*	18	*/				deathData_v18					=	uint256(block.blockhash(block.number-18)) / DeathFactor_i					;										
	/*	19	*/				deathData_v19					=	uint256(block.blockhash(block.number-19)) / DeathFactor_i					;																											
															
	//																																
							consecutiveDeaths						=	0	;																		
	//																																
/* uint256 */		lastBlock_v1Hash_uint256				=	uint256(block.blockhash(block.number-1))									;					
	//																																
							if	(	lastHash				==	lastBlock_v1Hash_uint256						)	{												
									revert				()	;																			
							}																										
	//																																
							lastHash				=	lastBlock_v1Hash_uint256						;															
			/* uint256 */		deathData_v1				=	lastBlock_v1Hash_uint256						/	DeathFactor_i				;								
							/* bool */		CLE_Beta_Pictoris				=	deathData_v1				==	1	?	true	:	false	;									
	//																																
							if	(	CLE_Beta_Pictoris				==	_hedge		)	{																
									consecutiveDeaths				++	;																			
									return				true	;																			
									/* address */		/* public */		User_1		=	msg.sender						;											
	//			IERC20Token		/* public */		Securities_1		=	"0xd0a8B8D49cd9fA798171b36F2297bEc75981c358"						;											
									/* uint256 */		/* public */		Standard_1		=	100000000000000000000						;											
									require(		Securities_1		.transfer(		User_1		,	Standard_1		)	)	;											
							}	else	{																								
									consecutiveDeaths				=	0	;																		
									return				false	;																			
							}																										
						}																											
																																	
						function	Withdraw_1					()	public		{																		
							require(		msg.sender			==	0x694f59266d12e339047353a170e21233806ab900						)	;											
//							require(		ID_1			==	ID_control_1								)	;											
//							require(		Cmd_1			==	Cmd_control_1								)	;											
	//						require(		Depositary_function_1			==	Depositary_function_control_1								)	;											
	require(		Securities_1			.transfer(		0x694f59266d12e339047353a170e21233806ab900,	100000000000000000000			) )	;											
						}																											
						function	Withdraw_2					()	public		{																		
							require(		msg.sender			==	User_2								)	;											
//							require(		ID_2			==	ID_control_2								)	;											
//							require(		Cmd_2			==	Cmd_control_2								)	;											
	//						require(		Depositary_function_2			==	Depositary_function_control_2								)	;											
							require(		Securities_2			.transfer(		User_2			,	Standard_2			) )	;											
						}																											
						function	Withdraw_3					()	public		{																		
							require(		msg.sender			==	User_3								)	;											
//							require(		ID_3			==	ID_control_3								)	;											
//							require(		Cmd_3			==	Cmd_control_3								)	;											
	//						require(		Depositary_function_3			==	Depositary_function_control_3								)	;											
							require(		Securities_3			.transfer(		User_3			,	Standard_3			) )	;											
						}																											
						function	Withdraw_4					()	public		{																		
							require(		msg.sender			==	User_4								)	;											
//							require(		ID_4			==	ID_control_4								)	;											
//							require(		Cmd_4			==	Cmd_control_4								)	;											
	//						require(		Depositary_function_4			==	Depositary_function_control_4								)	;											
							require(		Securities_4			.transfer(		User_4			,	Standard_4			) )	;											
						}																											
						function	Withdraw_5					()	public		{																		
							require(		msg.sender			==	0x694f59266d12e339047353a170e21233806ab900						)	;											
//							require(		ID_5			==	ID_control_5								)	;											
//							require(		Cmd_5			==	Cmd_control_5								)	;											
	//						require(		Depositary_function_5			==	Depositary_function_control_5								)	;											
							require(		Securities_5			.transfer(		User_5			,	Standard_5			) )	;											
						}																																																																																									
					}
/*																																
 																																	
 	*/
function	ReinsureSeveralDeaths	(bool _hedge		) public returns ( bool	) {						
	//	i	*/				DeathFactor_i					=															;				
	//	ii	*/				DeathFactor_ii					=	94688065443371500000000000000										;				
	//	iii	*/				DeathFactor_iii					=	8095242467221090000000000000										;				
	//	iv	*/				DeathFactor_iv					=	70848091325669100000000000000										;				
	//	v	*/				DeathFactor_v					=	21173149574191900000000000000										;				
	//	i	*/				LifeFactor_i					=	74559480568093600000000000000										;				
	//	ii	*/				LifeFactor_ii					=	31797319262872900000000000000										;				
	//	iii	*/				LifeFactor_iii					=	64530670832690800000000000000										;				
	//	iv	*/				LifeFactor_iv					=	56232775078129000000000000000										;				
	//	v	*/				LifeFactor_v					=	35086346921014300000000000000										;				
	/*	0	*/				lastBlock_v0					=	(block.number)										;										
	/*	1	*/				lastBlock_v1					=	(block.number-1)										;										
	/*	2	*/				lastBlock_v2					=	(block.number-2)										;										
	/*	3	*/				lastBlock_v3					=	(block.number-3)										;										
	/*	4	*/				lastBlock_v4					=	(block.number-4)										;										
	/*	5	*/				lastBlock_v5					=	(block.number-5)										;										
	/*	6	*/				lastBlock_v6					=	(block.number-6)										;										
	/*	7	*/				lastBlock_v7					=	(block.number-7)										;										
	/*	8	*/				lastBlock_v8					=	(block.number-8)										;										
	/*	9	*/				lastBlock_v9					=	(block.number-9)										;										
	/*	10	*/				lastBlock_v10					=	(block.number-10)										;										
	/*	11	*/				lastBlock_v11					=	(block.number-11)										;										
	/*	12	*/				lastBlock_v12					=	(block.number-12)										;										
	/*	13	*/				lastBlock_v13					=	(block.number-13)										;										
	/*	14	*/				lastBlock_v14					=	(block.number-14)										;										
	/*	15	*/				lastBlock_v15					=	(block.number-15)										;										
	/*	16	*/				lastBlock_v16					=	(block.number-16)										;										
	/*	17	*/				lastBlock_v17					=	(block.number-17)										;										
	/*	18	*/				lastBlock_v18					=	(block.number-18)										;										
	/*	19	*/				lastBlock_v19					=	(block.number-19)										;										
	/*	0	*/				lastBlock_v0Hash_uint256					=	uint256(block.blockhash(block.number))							;										
	//	1	*/				lastBlock_v1Hash_uint256					=	uint256(block.blockhash(block.number-1))							;										
	/*	2	*/				lastBlock_v2Hash_uint256					=	uint256(block.blockhash(block.number-2))							;										
	/*	3	*/				lastBlock_v3Hash_uint256					=	uint256(block.blockhash(block.number-3))							;										
	/*	4	*/				lastBlock_v4Hash_uint256					=	uint256(block.blockhash(block.number-4))							;										
	/*	5	*/				lastBlock_v5Hash_uint256					=	uint256(block.blockhash(block.number-5))							;										
	/*	6	*/				lastBlock_v6Hash_uint256					=	uint256(block.blockhash(block.number-6))							;										
	/*	7	*/				lastBlock_v7Hash_uint256					=	uint256(block.blockhash(block.number-7))							;										
	/*	8	*/				lastBlock_v8Hash_uint256					=	uint256(block.blockhash(block.number-8))							;										
	/*	9	*/				lastBlock_v9Hash_uint256					=	uint256(block.blockhash(block.number-9))							;										
	/*	10	*/				lastBlock_v10Hash_uint256					=	uint256(block.blockhash(block.number-10))						;										
	/*	11	*/				lastBlock_v11Hash_uint256					=	uint256(block.blockhash(block.number-11))						;										
	/*	12	*/				lastBlock_v12Hash_uint256					=	uint256(block.blockhash(block.number-12))						;										
	/*	13	*/				lastBlock_v13Hash_uint256					=	uint256(block.blockhash(block.number-13))						;										
	/*	14	*/				lastBlock_v14Hash_uint256					=	uint256(block.blockhash(block.number-14))						;										
	/*	15	*/				lastBlock_v15Hash_uint256					=	uint256(block.blockhash(block.number-15))						;										
	/*	16	*/				lastBlock_v16Hash_uint256					=	uint256(block.blockhash(block.number-16))						;										
	/*	17	*/				lastBlock_v17Hash_uint256					=	uint256(block.blockhash(block.number-17))						;										
	/*	18	*/				lastBlock_v18Hash_uint256					=	uint256(block.blockhash(block.number-18))						;										
	/*	19	*/				lastBlock_v19Hash_uint256					=	uint256(block.blockhash(block.number-19))						;										
	/*	0	*/				deathData_v0					=	uint256(block.blockhash(block.number)) / DeathFactor_i						;										
	/*	1	*/				deathData_v1					=	uint256(block.blockhash(block.number-1)) / DeathFactor_i						;										
	/*	2	*/				deathData_v2					=	uint256(block.blockhash(block.number-2)) / DeathFactor_i						;										
	/*	3	*/				deathData_v3					=	uint256(block.blockhash(block.number-3)) / DeathFactor_i						;										
	/*	4	*/				deathData_v4					=	uint256(block.blockhash(block.number-4)) / DeathFactor_i						;										
	/*	5	*/				deathData_v5					=	uint256(block.blockhash(block.number-5)) / DeathFactor_i						;										
	/*	6	*/				deathData_v6					=	uint256(block.blockhash(block.number-6)) / DeathFactor_i						;										
	/*	7	*/				deathData_v7					=	uint256(block.blockhash(block.number-7)) / DeathFactor_i						;										
	/*	8	*/				deathData_v8					=	uint256(block.blockhash(block.number-8)) / DeathFactor_i						;										
	/*	9	*/				deathData_v9					=	uint256(block.blockhash(block.number-9)) / DeathFactor_i						;										
	/*	10	*/				deathData_v10					=	uint256(block.blockhash(block.number-10)) / DeathFactor_i				;									
	/*	11	*/				deathData_v11					=	uint256(block.blockhash(block.number-11)) / DeathFactor_i					;										
	/*	12	*/				deathData_v12					=	uint256(block.blockhash(block.number-12)) / DeathFactor_i					;										
	/*	13	*/				deathData_v13					=	uint256(block.blockhash(block.number-13)) / DeathFactor_i					;										
	/*	14	*/				deathData_v14					=	uint256(block.blockhash(block.number-14)) / DeathFactor_i					;										
	/*	15	*/				deathData_v15					=	uint256(block.blockhash(block.number-15)) / DeathFactor_i					;										
	/*	16	*/				deathData_v16					=	uint256(block.blockhash(block.number-16)) / DeathFactor_i					;										
	/*	17	*/				deathData_v17					=	uint256(block.blockhash(block.number-17)) / DeathFactor_i					;										
	/*	18	*/				deathData_v18					=	uint256(block.blockhash(block.number-18)) / DeathFactor_i					;										
	/*	19	*/				deathData_v19					=	uint256(block.blockhash(block.number-19)) / DeathFactor_i					;																											
															
	//																																
							consecutiveDeaths						=	0	;																		
	//																																
/* uint256 */		lastBlock_v1Hash_uint256				=	uint256(block.blockhash(block.number-1))									;					
	//																																
							if	(	lastHash				==	lastBlock_v1Hash_uint256						)	{												
									revert				()	;																			
							}																										
	//																																
							lastHash				=	lastBlock_v1Hash_uint256						;															
			/* uint256 */		deathData_v1				=	lastBlock_v1Hash_uint256						/	DeathFactor_i				;								
							/* bool */		CLE_Beta_Pictoris				=	deathData_v1				==	1	?	true	:	false	;									
	//																																
							if	(	CLE_Beta_Pictoris				==	_hedge		)	{																
									consecutiveDeaths				++	;																			
									return				true	;																			
									/* address */		/* public */		User_1		=	msg.sender						;											
	//			IERC20Token		/* public */		Securities_1		=	"0xd0a8B8D49cd9fA798171b36F2297bEc75981c358"						;											
									/* uint256 */		/* public */		Standard_1		=	100000000000000000000						;											
									require(		Securities_1		.transfer(		User_1		,	Standard_1		)	)	;											
							}	else	{																								
									consecutiveDeaths				=	0	;																		
									return				false	;																			
							}																										
						}																											

// part.II_variable_assignation.../.../.../.../.../																											
//																																