
% type f
; -x[2]2-2x[1]x[3]+x[4]x[5]+x[8]x[10]                    
; x[4]2-x[3]x[5]-x[2]x[6]-x[1]x[7]+x[8]x[9]              
; x[4]x[7]+x[8]2-x[3]x[9]-x[2]x[10]-x[1]x[11]+x[12]x[13] 
; x[4]x[6]+x[8]x[11]+x[12]2-x[3]x[13]                    

; -x[1]x[4]+x[5]2-x[3]x[6]-x[2]x[7]+x[9]x[10]                             
; x[1]x[3]-x[4]x[5]-2x[6]x[7]+x[9]2                                       
; x[1]x[2]+x[5]x[7]-x[5]x[8]-x[4]x[9]+x[8]x[9]-x[7]x[10]-x[6]x[11]+x[13]2 
; x[1]2+x[5]x[6]+x[9]x[11]-x[5]x[12]-x[4]x[13]+x[12]x[13]                 

; x[5]x[6]-x[2]x[8]-x[1]x[9]+x[10]2-x[3]x[11]                       
; x[2]x[3]+x[4]x[6]-x[6]x[8]-x[5]x[9]-x[4]x[10]+x[9]x[10]-x[7]x[11] 
; x[2]2+x[6]x[7]-x[9]2-x[8]x[10]-x[11]2                             
; x[1]x[2]+x[6]2+x[10]x[11]-x[10]x[12]-x[9]x[13]                    

; x[5]x[7]+x[10]x[11]-x[3]x[12]-x[2]x[13]        
; x[3]2+x[4]x[7]+x[9]x[11]-x[7]x[12]-x[6]x[13]   
; x[2]x[3]+x[7]2+x[8]x[11]-x[11]x[12]-x[10]x[13] 
; x[1]x[3]+x[6]x[7]+x[11]2                       

% endmon
