// generate the graph on the client side
String style = "node{fill-mode:plain;fill-color:#567;size:6px;}";
graph.addAttribute("stylesheet", style);
graph.addAttribute("ui.antialias", true);
graph.addAttribute("layout.stabilization-limit", 0);
for (int i = 0; i < 500; i++) {
graph.addNode(i + "");
if (i > 0) {
graph.addEdge(i + "-" + (i - 1), i + "", (i - 1) + "");
graph.addEdge(i + "--" + (i / 2), i + "", (i / 2) + "");