PREFIX : <http://www.semanticweb.org/alisa/ontologies/2023/concrete-domain/artificial#> 

LC:
 	19 * num0
	17 * num1
	9 * num2
	20 * num4
	= 19
 
LC0:
 	8 * num1
	4 * num3
	-9 * num4
	= 20
 
LC0-prime:
 	38 * num0
	42 * num1
	18 * num2
	4 * num3
	31 * num4
	= 58
 
