Mandatory theorem = trigonometry
RelevantTheorems = []
NewListObjects = [[8,y,_G1396566],[8,y,99],[18,y,91],[5,y],[8,b,_G1396543],[15,b,y,57],[8,d,_G1396530],[8,d,115.16874457140389],[18,d,36.34131634420111],[5,d],[16,b,d],[8,m,_G1396495],[8,m,82.83125542859611],[18,m,145.65868365579888],[5,m],[16,b,m],[8,c,_G1396460],[8,c,74.36585714156763],[18,c,142.40193581598214],[5,c],[16,b,c],[4,c,m],[4,c,d],[4,y,d],[4,y,m],[4,d,m],[2,m,d,y],[1,d,m,c],[4,c,d],[4,c,m],[4,d,c],[4,d,m],[4,m,c],[4,m,d],[6,d,c,d,m,-1],[6,d,c,d,m,1],[6,d,m,d,c,-1],[6,d,m,d,c,1],[6,m,c,m,d,-1],[6,m,c,m,d,1],[6,m,d,m,c,-1],[6,m,d,m,c,1]]
[my_length(c,m,x1)]
[my_length(m,d,x2),angle(d,c,d,m,-1,x3)]
[my_length(m,d,x2),angle(m,d,m,c,-1,x4)]
[my_length(d,c,x5),angle(d,c,d,m,-1,x3)]
[my_length(d,c,x5),angle(m,d,m,c,-1,x4)]
[my_length(m,d,x2),angle(d,c,d,m,1,x6)]
[my_length(m,d,x2),angle(m,d,m,c,1,x7)]
[my_length(d,c,x5),angle(d,c,d,m,1,x6)]
[my_length(d,c,x5),angle(m,d,m,c,1,x7)]
[my_length(c,d,x5),my_length(m,c,x1)]
[my_length(m,c,x1),angle(d,c,d,m,-1,x3)]
[my_length(m,c,x1),angle(m,d,m,c,-1,x4)]
[my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
[my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
[my_length(d,c,x5),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
[my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
[my_length(m,c,x1),my_length(m,d,x2)]
[my_length(d,c,x5),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
[my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
[my_length(d,c,x5),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
[my_length(m,c,x1),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
[my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
[my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
[my_length(m,c,x1),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
[my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
[my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
[my_length(m,c,x1),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
[my_length(m,c,x1),angle(d,c,d,m,1,x6)]
[my_length(m,c,x1),angle(m,d,m,c,1,x7)]
[my_length(m,c,x1),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
[my_length(m,c,x1),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[my_length(m,c,x1),area_triangle(m,c,d,x8)]
[my_length(c,d,x5),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
[my_length(c,d,x5),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
[angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6)]
[my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
[my_length(c,d,x5),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
[angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7)]
[my_length(m,c,x1),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[my_length(c,d,x5),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[my_length(c,d,x5),my_length(m,d,x2),area_triangle(m,c,d,x8)]
[angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4)]
[my_length(m,c,x1),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
[my_length(c,d,x5),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
[angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7)]
[my_length(m,c,x1),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[my_length(c,d,x5),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[my_length(m,d,x2),angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
[my_length(m,d,x2),area_triangle(m,c,d,x8)]
[angle(d,c,d,m,-1,x3),area_triangle(m,c,d,x8)]
[my_length(m,d,x2),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
[my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
mi[my_length(m,d,x2),angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[my_length(m,c,x1),my_length(m,d,x2),area_triangle(m,c,d,x8)]
[area_triangle(m,c,d,x8)]
[angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
[my_length(m,d,x2),angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
[my_length(m,d,x2),angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[my_length(c,d,x5),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
[my_length(c,d,x5),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[my_length(m,d,x2),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
[angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
[my_length(m,d,x2),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[angle(d,c,d,m,-1,x3),angle(d,c,d,m,1,x6),area_triangle(m,c,d,x8)]
[angle(d,c,d,m,-1,x3),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[angle(d,c,d,m,1,x6),angle(m,d,m,c,-1,x4),area_triangle(m,c,d,x8)]
[angle(m,d,m,c,-1,x4),angle(m,d,m,c,1,x7),area_triangle(m,c,d,x8)]
[my_length(c,d,x5)]
[my_length(d,m,x2)]
[angle(d,c,d,m,-1,x3)]
[angle(d,c,d,m,1,x6)]
[angle(m,c,m,d,-1,x4)]
[angle(m,c,m,d,1,x7)]
[my_length(c,d,x5),my_length(m,d,x2)]
[my_length(c,d,x5),area_triangle(m,c,d,x8)]