57 : 30888 Christian Bulz 56 : 32591 Marcel Matzat 55 : 32626 Sven Pietsch
(a (((bb)^* a (bb)^* b + (bb)^* b a (bb)^*) a (a ((bb)^* a (bb)^* + (bb)^* b a (bb)^* b) a)^* (a ((bb)^* a (bb)^* b + (bb)^* b a (bb)^*) a + b) + ((bb)^* a (bb)^* + (bb)^* b a (bb)^* b) a) + b ((a ((bb)^* a (bb)^* + (bb)^* b a (bb)^* b) a)^* (a ((bb)^* a (bb)^* b + (bb)^* b a (bb)^*) a + b) + b))^*mit Größe 200