1 6 0  1 2 1 2 1 2   2 1 1 1 2   2 1 1 1   2 1 1   2 1  2


0 <=
-4  5 0   1 1 1 2 2  1 1 1 1  1 1 1  1 1  1  
-4  5 0   1 1 1 2 2  1 1 1 1  1 1 1  1 2  1  
-4  5 0   1 1 1 2 2  1 1 1 1  1 1 2  1 2  1  
-4  5 0   1 1 1 2 2  1 1 1 2  1 1 2  1 2  1  
-4  5 0   1 1 1 2 2  1 1 1 1  1 1 1  2 2  1  
-4  5 0   1 1 1 2 2  1 1 1 1  1 1 2  2 1  1  
-4  5 0   1 1 1 2 2  1 1 1 1  1 1 2  2 2  1  
-4  5 0   1 1 1 2 2  1 1 1 2  1 1 2  2 1  1  
-4  5 0   1 1 1 2 2  1 1 1 2  1 1 2  2 2  1  
-4  5 0   1 1 1 2 2  1 1 1 1  1 2 2  2 2  1  
+23  5 0   1 1 1 2 2  1 1 1 2  1 2 1  2 2  1  
-4  5 0   1 1 1 2 2  1 1 1 2  1 2 2  2 2  1  
-4  5 0   1 1 1 2 2  1 1 2 2  1 2 2  2 2  1 

``

4 <= 27  5  0      1 2 1 2 1     2 1 1 1   2 1 1  2 1   2


``


sage -c 'load("../rounding_Integer.sage"); round_program("SDP_n8_LB_F_vertices2_edges2__objectivee_C6.txt.dat-s",28,False)'

Gives

430196658432409104165454535903316840088288 / 28000000000000000000000000000000000000000000  # =  0.015364166372586039


sage -c 'load("../rounding_Integer.sage"); test_rounding("SDP_n8_LB_F_vertices2_edges2__objectivee_C6.txt.dat-s",28,False)'
