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

LC:
 	-1 * num0
	-14 * num1
	1 * num2
	13 * num4
	= -14
 
LC0:
 	-5 * num3
	12 * num4
	= -20
 
LC0-prime:
 	5 * num3
	-12 * num4
	= 20
 
LC1:
 	-13 * num0
	17 * num1
	7 * num2
	15 * num3
	19 * num4
	= 20
 
LC1-prime:
 	-12 * num0
	31 * num1
	6 * num2
	5 * num3
	30 * num4
	= -6
 
LC2:
 	7 * num0
	14 * num3
	1 * num4
	= 20
 
LC2-prime:
 	-18 * num0
	48 * num1
	13 * num2
	34 * num3
	50 * num4
	= 34
 
LC3:
 	-19 * num0
	-3 * num3
	= -19
 
LC3-prime:
 	-69 * num0
	62 * num1
	12 * num2
	10 * num3
	11 * num4
	= 10
 
LC4:
 	57 * num0
	-34 * num1
	-14 * num2
	-38 * num3
	-39 * num4
	= -22
 
LC4-prime:
 	-122 * num0
	54 * num1
	29 * num2
	62 * num3
	90 * num4
	= 10
 
