{
  "padded_3d": {
  "source": {
    "DiagramN": {
      "source": {
        "DiagramN": {
          "source": {
            "Diagram0": {
              "generator": {
                "id": 0,
                "dimension": 0
              },
              "orientation": "Positive"
            }
          },
          "cospans": []
        }
      },
      "cospans": [
        {
          "forward": {
            "RewriteN": {
              "dimension": 1,
              "cones": [
                {
                  "index": 0,
                  "internal": {
                    "source": [],
                    "target": {
                      "forward": {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Source",
                              1
                            ],
                            [
                              []
                            ]
                          ]
                        ]
                      },
                      "backward": {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Target",
                              1
                            ],
                            [
                              []
                            ]
                          ]
                        ]
                      }
                    },
                    "regular_slices": [
                      {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Source",
                              0
                            ],
                            [
                              [
                                {
                                  "Regular": 0
                                }
                              ]
                            ]
                          ]
                        ]
                      }
                    ],
                    "singular_slices": []
                  }
                }
              ]
            }
          },
          "backward": {
            "RewriteN": {
              "dimension": 1,
              "cones": [
                {
                  "index": 0,
                  "internal": {
                    "source": [],
                    "target": {
                      "forward": {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Source",
                              1
                            ],
                            [
                              []
                            ]
                          ]
                        ]
                      },
                      "backward": {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Target",
                              1
                            ],
                            [
                              []
                            ]
                          ]
                        ]
                      }
                    },
                    "regular_slices": [
                      {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Target",
                              0
                            ],
                            [
                              [
                                {
                                  "Regular": 0
                                }
                              ]
                            ]
                          ]
                        ]
                      }
                    ],
                    "singular_slices": []
                  }
                }
              ]
            }
          }
        }
      ]
    }
  },
  "cospans": []
},
  "scalar_3d": {
  "source": {
    "DiagramN": {
      "source": {
        "DiagramN": {
          "source": {
            "Diagram0": {
              "generator": {
                "id": 0,
                "dimension": 0
              },
              "orientation": "Positive"
            }
          },
          "cospans": []
        }
      },
      "cospans": [
        {
          "forward": {
            "RewriteN": {
              "dimension": 1,
              "cones": [
                {
                  "index": 0,
                  "internal": {
                    "source": [],
                    "target": {
                      "forward": {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Source",
                              1
                            ],
                            [
                              []
                            ]
                          ]
                        ]
                      },
                      "backward": {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Target",
                              1
                            ],
                            [
                              []
                            ]
                          ]
                        ]
                      }
                    },
                    "regular_slices": [
                      {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Source",
                              0
                            ],
                            [
                              [
                                {
                                  "Regular": 0
                                }
                              ]
                            ]
                          ]
                        ]
                      }
                    ],
                    "singular_slices": []
                  }
                }
              ]
            }
          },
          "backward": {
            "RewriteN": {
              "dimension": 1,
              "cones": [
                {
                  "index": 0,
                  "internal": {
                    "source": [],
                    "target": {
                      "forward": {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Source",
                              1
                            ],
                            [
                              []
                            ]
                          ]
                        ]
                      },
                      "backward": {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Target",
                              1
                            ],
                            [
                              []
                            ]
                          ]
                        ]
                      }
                    },
                    "regular_slices": [
                      {
                        "Rewrite0": [
                          {
                            "generator": {
                              "id": 0,
                              "dimension": 0
                            },
                            "orientation": "Positive"
                          },
                          {
                            "generator": {
                              "id": 1,
                              "dimension": 2
                            },
                            "orientation": "Positive"
                          },
                          [
                            [
                              "Target",
                              0
                            ],
                            [
                              [
                                {
                                  "Regular": 0
                                }
                              ]
                            ]
                          ]
                        ]
                      }
                    ],
                    "singular_slices": []
                  }
                }
              ]
            }
          }
        }
      ]
    }
  },
  "cospans": []
}
}