The examples are generated by GraphTea.