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

LC:
 	-20 * num0
	-16 * num1
	1 * num2
	19 * num3
	= -13
 
LC0:
 	8 * num0
	-12 * num2
	14 * num3
	-2 * num4
	= 0
 
LC0-prime:
 	16 * num0
	-24 * num2
	28 * num3
	-4 * num4
	= 0
 
LC1:
 	-4 * num0
	-17 * num1
	3 * num3
	= 10
 
LC1-prime:
 	-20 * num0
	-16 * num1
	1 * num2
	19 * num3
	= -13
 
LC2:
 	11 * num1
	18 * num2
	6 * num3
	= -7
 
LC2-prime:
 	48 * num0
	88 * num1
	34 * num2
	-32 * num3
	= -8
 
LC3:
 	-8 * num1
	10 * num2
	14 * num4
	= 16
 
LC3-prime:
 	-20 * num0
	-30 * num1
	-45 * num2
	7 * num3
	-14 * num4
	= -15
 
LC4:
 	56 * num0
	54 * num1
	10 * num2
	2 * num3
	-4 * num4
	= 12
 
LC4-prime:
 	-36 * num0
	-38 * num1
	-11 * num2
	-21 * num3
	4 * num4
	= 1
 
