{ 1*k31*x1 + 1*k29*x2 + 1*k29*x3 + 1*k29*x4 + 1*k31*x13 + 1*k31*x33 = k29*k88 + k31*k87, 1*k31*x1 + 1*k31*x23 = k31*k89, 1*k29*x3 + 1*k29*x5 + 1*k31*x13 + 1*k29*x20 + 1*k31*x33 = k29*k90 + k31*k91, 1*k29*x5 + 1*k29*x25 = k29*k92, 1*k31*x6 + 1*k31*x12 + 1*k31*x13 + 1*k31*x15 + 1*k31*x33 = k31*k93, 1*k31*x6 + 1*k30*x14 + 1*k31*x15 + 1*k31*x33 = k30*k95 + k31*k94, 1*k29*x7 + 1*k29*x37 = k29*k96, 1*k29*x8 + 4*k29*x22 + 1*k29*x24 + 1*k29*x30 + 2*k29*x31 + 3*k29*x32 + 1*k29*x35 = k29*k97, 1*k29*x10 + 1*k29*x22 + 1*k29*x30 + 1*k29*x31 + 1*k29*x32 = k29*k98, 1*k29*x16 + 1*k29*x27 = k29*k99, 1*k29*x17 + 1*k29*x18 = k29*k100, 1*k29*x19 + 1*k29*x21 = k29*k101, 1*k29*x28 + 1*k29*x29 = k29*k102 }