generated_axiom_serializer.rb revision 405dcfb4a5d7b8676aff55f0ace5bf842f720322