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

LC:
 	1 * num0
	-20 * num1
	19 * num2
	12 * num4
	= -2
 
LC0:
 	18 * num0
	11 * num1
	13 * num3
	18 * num4
	= 0
 
LC0-prime:
 	16 * num0
	51 * num1
	-38 * num2
	13 * num3
	-6 * num4
	= 4
 
LC1:
 	-18 * num3
	= -10
 
LC1-prime:
 	2 * num0
	-40 * num1
	38 * num2
	-18 * num3
	24 * num4
	= -14
 
LC2:
 	-7 * num1
	15 * num4
	= 15
 
LC2-prime:
 	2 * num0
	-40 * num1
	38 * num2
	18 * num3
	24 * num4
	= 6
 
LC3:
 	3 * num1
	-13 * num2
	7 * num4
	= 4
 
LC3-prime:
 	-20 * num0
	21 * num1
	-64 * num2
	-13 * num3
	2 * num4
	= 42
 
LC4:
 	-1 * num0
	20 * num1
	-19 * num2
	-12 * num4
	= 2
 
LC4-prime:
 	38 * num0
	-24 * num1
	64 * num2
	62 * num3
	46 * num4
	= 8
 
LC5:
 	19 * num0
	-9 * num1
	19 * num2
	-23 * num3
	30 * num4
	= -22
 
LC5-prime:
 	-74 * num0
	-17 * num1
	-12 * num2
	-16 * num3
	-95 * num4
	= 31
 
