pbkBsimp.json

{"graph":{"edges":[{"from":1,"id":11,"label":{"label":"","style":{"alignment":"left","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":2},{"from":3,"id":12,"label":{"label":"","style":{"alignment":"left","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":4},{"from":3,"id":13,"label":{"label":"","style":{"alignment":"left","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":5},{"from":5,"id":14,"label":{"label":"u","style":{"alignment":"right","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":2},{"from":0,"id":15,"label":{"label":"","style":{"alignment":"left","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":6},{"from":6,"id":16,"label":{"label":"\\mu","style":{"alignment":"left","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":1},{"from":4,"id":17,"label":{"label":"in_1","style":{"alignment":"right","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":7},{"from":7,"id":18,"label":{"label":"\\cong","style":{"alignment":"right","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":1},{"from":8,"id":19,"label":{"label":"","style":{"alignment":"left","bend":0,"dashed":false,"double":true,"head":"none","position":0.5,"tail":"none"}},"to":4},{"from":9,"id":20,"label":{"label":"","style":{"alignment":"left","bend":0,"dashed":false,"double":true,"head":"none","position":0.5,"tail":"none"}},"to":8},{"from":10,"id":21,"label":{"label":"","style":{"alignment":"left","bend":0,"dashed":false,"double":true,"head":"none","position":0.5,"tail":"none"}},"to":3},{"from":10,"id":22,"label":{"label":"","style":{"alignment":"left","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":9},{"from":9,"id":23,"label":{"label":"","style":{"alignment":"left","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":0},{"from":8,"id":24,"label":{"label":"","style":{"alignment":"left","bend":0,"dashed":false,"double":false,"head":"default","position":0.5,"tail":"none"}},"to":6}],"latexPreamble":"","nodes":[{"id":0,"label":{"isMath":true,"label":"M(A+B)","pos":[900,100]}},{"id":1,"label":{"isMath":true,"label":"M(A+1)","pos":[900,500]}},{"id":2,"label":{"isMath":true,"label":"M1","pos":[900,700]}},{"id":3,"label":{"isMath":true,"label":"A\\times_{M1} A","pos":[300,500]}},{"id":4,"label":{"isMath":true,"label":"A","pos":[500,500]}},{"id":5,"label":{"isMath":true,"label":"A","pos":[300,700]}},{"id":6,"label":{"isMath":true,"label":"MM(A+1)","pos":[900,300]}},{"id":7,"label":{"isMath":true,"label":"A+1+GM(A+1)","pos":[700,500]}},{"id":8,"label":{"isMath":true,"label":"A","pos":[500,300]}},{"id":9,"label":{"isMath":true,"label":"A","pos":[500,100]}},{"id":10,"label":{"isMath":true,"label":"A\\times_{M1} A","pos":[300,100]}}],"sizeGrid":200},"version":5}