'0.to.Aθpc(POIp final)'					'0.to.θ´f'									'H->L: msg_Lucas_to_HLFN_sol'
	'0.to.Aθoc(POIo final)'					'0.to.θf'									'H->L: msg_Lucas_to_HLFN_sol'
	'0 to Opf'									'0.to.θ´f'									'Lbad: needs explanation'
	'0 to Of'									'0.to.θf'									'Lbad: needs explanation'
	'cos^6(Op)'									'cos(θ´)^6'									'Lbad: needs explanation'
	'cos^4(Op)'									'cos(θ´)^4'									'Lbad: needs explanation'
	'cos^3(Op)'									'cos(θ´)^3'									'Lbad: needs explanation'
	'cos^2(Op)'									'cos(θ´)^2'									'Lbad: needs explanation'
	'cos^6(Oo)'									'cos(θ)^6'									'Lbad: needs explanation'
	'cos^4(Oo)'									'cos(θ)^4'									'Lbad: needs explanation'
	'cos^2(Oo)'									'cos(θ)^2'									'Lbad: needs explanation'
	'cos^6(O)'									'cos(θ)^6'									'Lbad: needs explanation'
	'cos^4(O)'									'cos(θ)^4'									'Lbad: needs explanation'
	'cos^2(O)'									'cos(θ)^2'									'Lbad: needs explanation'
	'|EIodv(POIo,t)|'							'|Ei(r - v*t,t)|'							'Lbad: msg_Lucas   msg_abs' 
	'|Ei(ro - vo*t,t)|'						'|Ei(r - v*t,t)|'							'Lbad: msg_Lucas   msg_abs'
	'|rov - vov*t|'							'|r - v*t|' 								'Lbad: msg_Lucas   msg_abs'
	'|rov - vo*t|'								'|r - v*t|' 								'Lbad: msg_Lucas   msg_abs'
	'|ro - vo*t|'								'|r - v*t|'									'Lbad: msg_Lucas   msg_abs'
	'|ros - vos*t|'							'|r - v*t|'									'Lbad: msg_Lucas   msg_abs'
	'Ei(ro - vo*t,t)'							'Ei(r - v*t,t)'							'Lbad: msg_Lucas   msg_abs'
	'ros*cosOo - vos*t'						'rs*cos(θ) - vs*t'						'Lbad: msg_Lucas_sol'
	'ros - vos*t'								'rs - vs*t'									'Lbad: msg_Lucas_sol'
	'rov - vov*t'								'r - v*t' 									'Lbad: msg_Lucas_sol'
	'rov - vo*t'								'r - v*t'									'Lbad: msg_Lucas_sol'
	'ro - vo*t'									'r - v*t'									'Lbad: msg_Lucas_sol'
	'ro - vot' 									'r - v*t'									'Lbad: msg_Lucas_sol'
	'sin^6(Op)'									'sin(θ´)^6'									'Lbad: needs explanation'
	'sin^4(Op)'									'sin(θ´)^4'									'Lbad: needs explanation'
	'sin^3(Op)'									'sin(θ´)^3'									'Lbad: needs explanation'
	'sin^2(Op)'									'sin(θ´)^2'									'Lbad: needs explanation'
	'sin^6(Oo)'									'sin(θ)^6'									'Lbad: needs explanation'
	'sin^4(Oo)'									'sin(θ)^4'									'Lbad: needs explanation'
	'sin^2(Oo)'									'sin(θ)^2'									'Lbad: needs explanation'
	'sin^6(O)'									'sin(θ)^6'									'Lbad: needs explanation'
	'sin^4(O)'									'sin(θ)^4'									'Lbad: needs explanation'
	'sin^2(O)'									'sin(θ)^2'									'Lbad: needs explanation'
	'vovrpv' 									'vr'											'Lbad: msg_Lucas_sol'