{
  "schema": "scissors-cut-tree-v1",
  "field": "Q(s):s^6-190*s^3-3475=0;5<s<6",
  "problem": {
    "kind": "ti_to_cube"
  },
  "claim": "partial",
  "source_tree": {
    "cut": [
      "0",
      "0",
      "1",
      "1/2"
    ],
    "negative": {
      "leaf": "s2"
    },
    "positive": {
      "cut": [
        "-1",
        "0",
        "0",
        "-1/3"
      ],
      "negative": {
        "cut": [
          "1",
          "0",
          "0",
          "0"
        ],
        "negative": {
          "cut": [
            "0",
            "-1",
            "0",
            "0"
          ],
          "negative": {
            "cut": [
              "0",
              "1",
              "0",
              "-1/3"
            ],
            "negative": {
              "cut": [
                "0",
                "0",
                "-1",
                "1/3"
              ],
              "negative": {
                "leaf": "s12"
              },
              "positive": {
                "cut": [
                  "0",
                  "0",
                  "1",
                  "5/12"
                ],
                "negative": {
                  "cut": [
                    "1",
                    "0",
                    "0",
                    [
                      "5/6",
                      "0",
                      "-291/6950",
                      "0",
                      "0",
                      "2/17375"
                    ]
                  ],
                  "negative": {
                    "leaf": "s36"
                  },
                  "positive": {
                    "leaf": "s37"
                  }
                },
                "positive": {
                  "leaf": "s35"
                }
              }
            },
            "positive": {
              "cut": [
                "0",
                "0",
                "1",
                "5/12"
              ],
              "negative": {
                "cut": [
                  "0",
                  "-1",
                  "0",
                  [
                    "1",
                    "0",
                    "-291/6950",
                    "0",
                    "0",
                    "2/17375"
                  ]
                ],
                "negative": {
                  "cut": [
                    [
                      "-49/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    "-1",
                    "0",
                    [
                      "289/240",
                      "0",
                      "837/27800",
                      "-1/1200",
                      "0",
                      "-33/139000"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      [
                        "-29/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      "1",
                      [
                        "-49/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-163/60",
                        "0",
                        "-1799/13900",
                        "1/150",
                        "0",
                        "51/69500"
                      ]
                    ],
                    "negative": {
                      "leaf": "s32"
                    },
                    "positive": {
                      "leaf": "s33"
                    }
                  },
                  "positive": {
                    "leaf": "s31"
                  }
                },
                "positive": {
                  "cut": [
                    "1",
                    "0",
                    "0",
                    [
                      "5/6",
                      "0",
                      "-291/6950",
                      "0",
                      "0",
                      "2/17375"
                    ]
                  ],
                  "negative": {
                    "leaf": "s44"
                  },
                  "positive": {
                    "leaf": "s45"
                  }
                }
              },
              "positive": {
                "leaf": "s27"
              }
            }
          },
          "positive": {
            "cut": [
              "0",
              "0",
              "1",
              "5/12"
            ],
            "negative": {
              "cut": [
                "1",
                "0",
                "0",
                [
                  "5/6",
                  "0",
                  "-291/6950",
                  "0",
                  "0",
                  "2/17375"
                ]
              ],
              "negative": {
                "cut": [
                  [
                    "-11/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  "-1",
                  "0",
                  [
                    "-23/24",
                    "0",
                    "-231/27800",
                    "-1/120",
                    "0",
                    "39/139000"
                  ]
                ],
                "negative": {
                  "leaf": "s68"
                },
                "positive": {
                  "cut": [
                    [
                      "-9/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    "1",
                    [
                      "-29/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    [
                      "-77/80",
                      "0",
                      "-291/3475",
                      "19/1200",
                      "0",
                      "4/17375"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      "-1",
                      "-1",
                      [
                        "-25/12",
                        "0",
                        "303/13900",
                        "0",
                        "0",
                        "3/69500"
                      ]
                    ],
                    "negative": {
                      "leaf": "s74"
                    },
                    "positive": {
                      "cut": [
                        [
                          "9/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        "0",
                        "-1",
                        [
                          "-3/8",
                          "0",
                          "-279/5560",
                          "-1/120",
                          "0",
                          "11/27800"
                        ]
                      ],
                      "negative": {
                        "leaf": "s76"
                      },
                      "positive": {
                        "leaf": "s77"
                      }
                    }
                  },
                  "positive": {
                    "leaf": "s73"
                  }
                }
              },
              "positive": {
                "cut": [
                  "1",
                  "-1",
                  "-1",
                  [
                    "-11/6",
                    "0",
                    "303/13900",
                    "0",
                    "0",
                    "3/69500"
                  ]
                ],
                "negative": {
                  "leaf": "s70"
                },
                "positive": {
                  "leaf": "s71"
                }
              }
            },
            "positive": {
              "cut": [
                "0",
                "-1",
                "0",
                "-1/3"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "1/3"
                ],
                "negative": {
                  "cut": [
                    "1",
                    "0",
                    "0",
                    [
                      "3/4",
                      "0",
                      "-291/6950",
                      "0",
                      "0",
                      "2/17375"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      [
                        "-11/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      "-1",
                      "0",
                      [
                        "-179/240",
                        "0",
                        "-231/27800",
                        "-3/400",
                        "0",
                        "39/139000"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        [
                          "9/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        "0",
                        "-1",
                        [
                          "259/240",
                          "0",
                          "-279/5560",
                          "-11/1200",
                          "0",
                          "11/27800"
                        ]
                      ],
                      "negative": {
                        "leaf": "s94"
                      },
                      "positive": {
                        "leaf": "s95"
                      }
                    },
                    "positive": {
                      "cut": [
                        [
                          "9/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        "0",
                        "-1",
                        [
                          "259/240",
                          "0",
                          "-279/5560",
                          "-11/1200",
                          "0",
                          "11/27800"
                        ]
                      ],
                      "negative": {
                        "leaf": "s100"
                      },
                      "positive": {
                        "cut": [
                          [
                            "9/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          "1",
                          [
                            "29/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-193/240",
                            "0",
                            "291/3475",
                            "-1/400",
                            "0",
                            "-4/17375"
                          ]
                        ],
                        "negative": {
                          "leaf": "s102"
                        },
                        "positive": {
                          "cut": [
                            [
                              "29/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            "1",
                            "0",
                            [
                              "259/240",
                              "0",
                              "481/5560",
                              "-11/1200",
                              "0",
                              "-9/27800"
                            ]
                          ],
                          "negative": {
                            "leaf": "s104"
                          },
                          "positive": {
                            "leaf": "s105"
                          }
                        }
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "1",
                      "1",
                      "-1",
                      [
                        "-1/3",
                        "0",
                        "303/13900",
                        "0",
                        "0",
                        "3/69500"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "-1",
                        [
                          "-49/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "113/80",
                          "0",
                          "-837/27800",
                          "-11/1200",
                          "0",
                          "33/139000"
                        ]
                      ],
                      "negative": {
                        "leaf": "s98"
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          [
                            "-5/6",
                            "0",
                            "291/6950",
                            "0",
                            "0",
                            "-2/17375"
                          ]
                        ],
                        "negative": {
                          "leaf": "s108"
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "-1",
                            [
                              "49/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-739/240",
                              "0",
                              "-837/27800",
                              "11/1200",
                              "0",
                              "33/139000"
                            ]
                          ],
                          "negative": {
                            "leaf": "s110"
                          },
                          "positive": {
                            "leaf": "s111"
                          }
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "-1",
                        "0",
                        [
                          "-5/6",
                          "0",
                          "291/6950",
                          "0",
                          "0",
                          "-2/17375"
                        ]
                      ],
                      "negative": {
                        "leaf": "s106"
                      },
                      "positive": {
                        "leaf": "s107"
                      }
                    }
                  }
                },
                "positive": {
                  "leaf": "s89"
                }
              },
              "positive": {
                "leaf": "s87"
              }
            }
          }
        },
        "positive": {
          "cut": [
            "-1",
            "0",
            "0",
            "1/2"
          ],
          "negative": {
            "cut": [
              "0",
              "0",
              "1",
              [
                "-11/12",
                "0",
                "291/6950",
                "0",
                "0",
                "-2/17375"
              ]
            ],
            "negative": {
              "cut": [
                [
                  "-11/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                "0",
                "-1",
                [
                  "-59/120",
                  "0",
                  "-231/27800",
                  "1/600",
                  "0",
                  "39/139000"
                ]
              ],
              "negative": {
                "leaf": "s18"
              },
              "positive": {
                "cut": [
                  [
                    "9/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  "-1",
                  [
                    "-137/120",
                    "0",
                    "291/3475",
                    "1/200",
                    "0",
                    "-4/17375"
                  ]
                ],
                "negative": {
                  "leaf": "s20"
                },
                "positive": {
                  "leaf": "s21"
                }
              }
            },
            "positive": {
              "leaf": "s17"
            }
          },
          "positive": {
            "cut": [
              "-1",
              "0",
              "0",
              "5/12"
            ],
            "negative": {
              "cut": [
                "0",
                "0",
                "-1",
                [
                  "-1",
                  "0",
                  "291/6950",
                  "0",
                  "0",
                  "-2/17375"
                ]
              ],
              "negative": {
                "leaf": "s24"
              },
              "positive": {
                "leaf": "s25"
              }
            },
            "positive": {
              "cut": [
                "0",
                "0",
                "1",
                "5/12"
              ],
              "negative": {
                "cut": [
                  "0",
                  "-1",
                  "0",
                  [
                    "1",
                    "0",
                    "-291/6950",
                    "0",
                    "0",
                    "2/17375"
                  ]
                ],
                "negative": {
                  "cut": [
                    [
                      "-49/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    "1",
                    "0",
                    [
                      "-191/240",
                      "0",
                      "-837/27800",
                      "-1/1200",
                      "0",
                      "33/139000"
                    ]
                  ],
                  "negative": {
                    "leaf": "s42"
                  },
                  "positive": {
                    "cut": [
                      [
                        "-29/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      "1",
                      [
                        "-49/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-163/60",
                        "0",
                        "-1799/13900",
                        "1/150",
                        "0",
                        "51/69500"
                      ]
                    ],
                    "negative": {
                      "leaf": "s48"
                    },
                    "positive": {
                      "leaf": "s49"
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "1",
                    "-1",
                    "-1",
                    [
                      "-11/6",
                      "0",
                      "303/13900",
                      "0",
                      "0",
                      "3/69500"
                    ]
                  ],
                  "negative": {
                    "leaf": "s46"
                  },
                  "positive": {
                    "cut": [
                      "1",
                      "1",
                      "-1",
                      [
                        "-11/6",
                        "0",
                        "303/13900",
                        "0",
                        "0",
                        "3/69500"
                      ]
                    ],
                    "negative": {
                      "leaf": "s50"
                    },
                    "positive": {
                      "leaf": "s51"
                    }
                  }
                }
              },
              "positive": {
                "cut": [
                  "-1",
                  "0",
                  "0",
                  "1/3"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "1",
                    "0",
                    [
                      "13/12",
                      "0",
                      "-291/6950",
                      "0",
                      "0",
                      "2/17375"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "1",
                      [
                        "-49/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "103/80",
                        "0",
                        "837/27800",
                        "-1/1200",
                        "0",
                        "-33/139000"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "1",
                        [
                          "49/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "211/240",
                          "0",
                          "837/27800",
                          "1/1200",
                          "0",
                          "-33/139000"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          [
                            "49/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          "-1",
                          [
                            "29/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-877/240",
                            "0",
                            "-1799/13900",
                            "13/1200",
                            "0",
                            "51/69500"
                          ]
                        ],
                        "negative": {
                          "leaf": "s120"
                        },
                        "positive": {
                          "leaf": "s121"
                        }
                      },
                      "positive": {
                        "leaf": "s119"
                      }
                    },
                    "positive": {
                      "cut": [
                        [
                          "29/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        "1",
                        [
                          "9/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-7/20",
                          "0",
                          "291/3475",
                          "-1/300",
                          "0",
                          "-4/17375"
                        ]
                      ],
                      "negative": {
                        "leaf": "s130"
                      },
                      "positive": {
                        "leaf": "s131"
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "0",
                      "-1",
                      [
                        "-5/6",
                        "0",
                        "291/6950",
                        "0",
                        "0",
                        "-2/17375"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        "1",
                        "-1",
                        [
                          "1/6",
                          "0",
                          "-303/13900",
                          "0",
                          "0",
                          "-3/69500"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          "0",
                          [
                            "-9/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "299/240",
                            "0",
                            "-279/5560",
                            "-11/1200",
                            "0",
                            "11/27800"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "1",
                            [
                              "29/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-139/120",
                              "0",
                              "481/5560",
                              "1/600",
                              "0",
                              "-9/27800"
                            ]
                          ],
                          "negative": {
                            "leaf": "s128"
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              [
                                "-11/12",
                                "0",
                                "291/6950",
                                "0",
                                "0",
                                "-2/17375"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "0",
                                "-1",
                                "-1/12"
                              ],
                              "negative": {
                                "leaf": "s154"
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "1",
                                  "0",
                                  "-1/12"
                                ],
                                "negative": {
                                  "leaf": "s176"
                                },
                                "positive": {
                                  "leaf": "s177"
                                }
                              }
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                "-5/12"
                              ],
                              "negative": {
                                "cut": [
                                  "0",
                                  "0",
                                  "-1",
                                  "-1/12"
                                ],
                                "negative": {
                                  "leaf": "s174"
                                },
                                "positive": {
                                  "leaf": "s175"
                                }
                              },
                              "positive": {
                                "leaf": "s173"
                              }
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "1",
                            "0",
                            "-5/12"
                          ],
                          "negative": {
                            "cut": [
                              [
                                "-29/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              "-1",
                              [
                                "9/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "57/80",
                                "0",
                                "-291/3475",
                                "1/1200",
                                "0",
                                "4/17375"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                [
                                  "29/20",
                                  "0",
                                  "0",
                                  "-1/100",
                                  "0",
                                  "0"
                                ],
                                "-1",
                                [
                                  "-9/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "-211/240",
                                  "0",
                                  "291/3475",
                                  "-1/1200",
                                  "0",
                                  "-4/17375"
                                ]
                              ],
                              "negative": {
                                "cut": [
                                  "0",
                                  "1",
                                  [
                                    "29/20",
                                    "0",
                                    "0",
                                    "-1/100",
                                    "0",
                                    "0"
                                  ],
                                  [
                                    "-139/120",
                                    "0",
                                    "481/5560",
                                    "1/600",
                                    "0",
                                    "-9/27800"
                                  ]
                                ],
                                "negative": {
                                  "leaf": "s150"
                                },
                                "positive": {
                                  "cut": [
                                    [
                                      "-29/20",
                                      "0",
                                      "0",
                                      "1/100",
                                      "0",
                                      "0"
                                    ],
                                    "1",
                                    [
                                      "-49/20",
                                      "0",
                                      "0",
                                      "1/100",
                                      "0",
                                      "0"
                                    ],
                                    [
                                      "197/240",
                                      "0",
                                      "-1799/13900",
                                      "-13/1200",
                                      "0",
                                      "51/69500"
                                    ]
                                  ],
                                  "negative": {
                                    "leaf": "s170"
                                  },
                                  "positive": {
                                    "leaf": "s171"
                                  }
                                }
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "-1",
                                  [
                                    "-29/20",
                                    "0",
                                    "0",
                                    "1/100",
                                    "0",
                                    "0"
                                  ],
                                  [
                                    "299/240",
                                    "0",
                                    "481/5560",
                                    "-11/1200",
                                    "0",
                                    "-9/27800"
                                  ]
                                ],
                                "negative": {
                                  "cut": [
                                    "0",
                                    "1",
                                    [
                                      "29/20",
                                      "0",
                                      "0",
                                      "-1/100",
                                      "0",
                                      "0"
                                    ],
                                    [
                                      "-139/120",
                                      "0",
                                      "481/5560",
                                      "1/600",
                                      "0",
                                      "-9/27800"
                                    ]
                                  ],
                                  "negative": {
                                    "leaf": "s168"
                                  },
                                  "positive": {
                                    "leaf": "s169"
                                  }
                                },
                                "positive": {
                                  "cut": [
                                    [
                                      "-29/20",
                                      "0",
                                      "0",
                                      "1/100",
                                      "0",
                                      "0"
                                    ],
                                    "1",
                                    [
                                      "-9/20",
                                      "0",
                                      "0",
                                      "1/100",
                                      "0",
                                      "0"
                                    ],
                                    [
                                      "409/240",
                                      "0",
                                      "291/3475",
                                      "-7/400",
                                      "0",
                                      "-4/17375"
                                    ]
                                  ],
                                  "negative": {
                                    "leaf": "s182"
                                  },
                                  "positive": {
                                    "cut": [
                                      [
                                        "-29/20",
                                        "0",
                                        "0",
                                        "1/100",
                                        "0",
                                        "0"
                                      ],
                                      "-1",
                                      [
                                        "-9/20",
                                        "0",
                                        "0",
                                        "1/100",
                                        "0",
                                        "0"
                                      ],
                                      [
                                        "123/80",
                                        "0",
                                        "291/3475",
                                        "-7/400",
                                        "0",
                                        "-4/17375"
                                      ]
                                    ],
                                    "negative": {
                                      "leaf": "s188"
                                    },
                                    "positive": {
                                      "leaf": "s189"
                                    }
                                  }
                                }
                              }
                            },
                            "positive": {
                              "leaf": "s147"
                            }
                          },
                          "positive": {
                            "leaf": "s145"
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "-5/12"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            "-1/12"
                          ],
                          "negative": {
                            "leaf": "s142"
                          },
                          "positive": {
                            "leaf": "s143"
                          }
                        },
                        "positive": {
                          "leaf": "s141"
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "-1",
                        [
                          "11/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "7/8",
                          "0",
                          "231/27800",
                          "1/120",
                          "0",
                          "-39/139000"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          [
                            "-29/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          "1",
                          [
                            "-9/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "41/60",
                            "0",
                            "-291/3475",
                            "1/300",
                            "0",
                            "4/17375"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "-1",
                            [
                              "29/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            [
                              "77/60",
                              "0",
                              "481/5560",
                              "-1/100",
                              "0",
                              "-9/27800"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "-1/12"
                            ],
                            "negative": {
                              "leaf": "s138"
                            },
                            "positive": {
                              "leaf": "s139"
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "-1",
                              [
                                "-11/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-43/60",
                                "0",
                                "-231/27800",
                                "-1/100",
                                "0",
                                "39/139000"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                "-1/12"
                              ],
                              "negative": {
                                "leaf": "s164"
                              },
                              "positive": {
                                "leaf": "s165"
                              }
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "0",
                                "-1",
                                [
                                  "-1",
                                  "0",
                                  "291/6950",
                                  "0",
                                  "0",
                                  "-2/17375"
                                ]
                              ],
                              "negative": {
                                "leaf": "s180"
                              },
                              "positive": {
                                "cut": [
                                  [
                                    "-29/20",
                                    "0",
                                    "0",
                                    "1/100",
                                    "0",
                                    "0"
                                  ],
                                  "-1",
                                  [
                                    "9/20",
                                    "0",
                                    "0",
                                    "-1/100",
                                    "0",
                                    "0"
                                  ],
                                  [
                                    "5/4",
                                    "0",
                                    "291/3475",
                                    "-1/60",
                                    "0",
                                    "-4/17375"
                                  ]
                                ],
                                "negative": {
                                  "leaf": "s186"
                                },
                                "positive": {
                                  "leaf": "s187"
                                }
                              }
                            }
                          }
                        },
                        "positive": {
                          "leaf": "s135"
                        }
                      },
                      "positive": {
                        "cut": [
                          [
                            "-29/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          "-1",
                          [
                            "-9/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "7/20",
                            "0",
                            "-291/3475",
                            "1/300",
                            "0",
                            "4/17375"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            [
                              "-1",
                              "0",
                              "291/6950",
                              "0",
                              "0",
                              "-2/17375"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "-1/12"
                            ],
                            "negative": {
                              "leaf": "s160"
                            },
                            "positive": {
                              "leaf": "s161"
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "1",
                              [
                                "-11/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-23/60",
                                "0",
                                "-231/27800",
                                "-1/100",
                                "0",
                                "39/139000"
                              ]
                            ],
                            "negative": {
                              "leaf": "s178"
                            },
                            "positive": {
                              "cut": [
                                [
                                  "-29/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                "1",
                                [
                                  "9/20",
                                  "0",
                                  "0",
                                  "-1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "19/12",
                                  "0",
                                  "291/3475",
                                  "-1/60",
                                  "0",
                                  "-4/17375"
                                ]
                              ],
                              "negative": {
                                "leaf": "s184"
                              },
                              "positive": {
                                "leaf": "s185"
                              }
                            }
                          }
                        },
                        "positive": {
                          "leaf": "s157"
                        }
                      }
                    }
                  }
                },
                "positive": {
                  "leaf": "s113"
                }
              }
            }
          }
        }
      },
      "positive": {
        "cut": [
          "0",
          "0",
          "1",
          "5/12"
        ],
        "negative": {
          "cut": [
            [
              "-11/20",
              "0",
              "0",
              "-1/100",
              "0",
              "0"
            ],
            "-1",
            "0",
            [
              "-23/24",
              "0",
              "-231/27800",
              "-1/120",
              "0",
              "39/139000"
            ]
          ],
          "negative": {
            "leaf": "s54"
          },
          "positive": {
            "cut": [
              [
                "-9/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              "1",
              [
                "-29/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "-77/80",
                "0",
                "-291/3475",
                "19/1200",
                "0",
                "4/17375"
              ]
            ],
            "negative": {
              "cut": [
                "-1",
                "-1",
                "-1",
                [
                  "-25/12",
                  "0",
                  "303/13900",
                  "0",
                  "0",
                  "3/69500"
                ]
              ],
              "negative": {
                "leaf": "s58"
              },
              "positive": {
                "cut": [
                  [
                    "9/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  "0",
                  "-1",
                  [
                    "-3/8",
                    "0",
                    "-279/5560",
                    "-1/120",
                    "0",
                    "11/27800"
                  ]
                ],
                "negative": {
                  "leaf": "s60"
                },
                "positive": {
                  "cut": [
                    "0",
                    "-1",
                    "0",
                    "-1/6"
                  ],
                  "negative": {
                    "leaf": "s62"
                  },
                  "positive": {
                    "leaf": "s63"
                  }
                }
              }
            },
            "positive": {
              "leaf": "s57"
            }
          }
        },
        "positive": {
          "cut": [
            "1",
            "0",
            "0",
            "1/2"
          ],
          "negative": {
            "cut": [
              "-1",
              "1",
              "-1",
              [
                "-11/6",
                "0",
                "303/13900",
                "0",
                "0",
                "3/69500"
              ]
            ],
            "negative": {
              "leaf": "s80"
            },
            "positive": {
              "cut": [
                "0",
                [
                  "-9/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                "-1",
                [
                  "61/240",
                  "0",
                  "-279/5560",
                  "-3/400",
                  "0",
                  "11/27800"
                ]
              ],
              "negative": {
                "leaf": "s82"
              },
              "positive": {
                "cut": [
                  "-1",
                  [
                    "-9/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "29/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-13/24",
                    "0",
                    "291/3475",
                    "-1/120",
                    "0",
                    "-4/17375"
                  ]
                ],
                "negative": {
                  "leaf": "s84"
                },
                "positive": {
                  "leaf": "s85"
                }
              }
            }
          },
          "positive": {
            "leaf": "s79"
          }
        }
      }
    }
  },
  "target_tree": {
    "cut": [
      "1",
      "0",
      "0",
      [
        "1",
        "0",
        "-291/6950",
        "0",
        "0",
        "2/17375"
      ]
    ],
    "negative": {
      "cut": [
        "1",
        "0",
        [
          "49/20",
          "0",
          "0",
          "-1/100",
          "0",
          "0"
        ],
        [
          "289/240",
          "0",
          "837/27800",
          "-1/1200",
          "0",
          "-33/139000"
        ]
      ],
      "negative": {
        "cut": [
          "1",
          "0",
          [
            "-9/20",
            "0",
            "0",
            "1/100",
            "0",
            "0"
          ],
          [
            "77/80",
            "0",
            "279/5560",
            "1/1200",
            "0",
            "-11/27800"
          ]
        ],
        "negative": {
          "cut": [
            "1",
            "0",
            [
              "9/20",
              "0",
              "0",
              "-1/100",
              "0",
              "0"
            ],
            [
              "83/80",
              "0",
              "279/5560",
              "-1/1200",
              "0",
              "-11/27800"
            ]
          ],
          "negative": {
            "cut": [
              "1",
              "0",
              [
                "-49/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "191/240",
                "0",
                "837/27800",
                "1/1200",
                "0",
                "-33/139000"
              ]
            ],
            "negative": {
              "cut": [
                "1",
                [
                  "-49/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "29/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                [
                  "367/240",
                  "0",
                  "1799/13900",
                  "-1/400",
                  "0",
                  "-51/69500"
                ]
              ],
              "negative": {
                "cut": [
                  "1",
                  [
                    "49/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "113/240",
                    "0",
                    "1799/13900",
                    "1/400",
                    "0",
                    "-51/69500"
                  ]
                ],
                "negative": {
                  "cut": [
                    "1",
                    [
                      "29/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    "0",
                    [
                      "91/120",
                      "0",
                      "-481/5560",
                      "1/600",
                      "0",
                      "9/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "1",
                      [
                        "-29/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      "0",
                      [
                        "149/120",
                        "0",
                        "-481/5560",
                        "-1/600",
                        "0",
                        "9/27800"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        [
                          "-49/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-29/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "103/80",
                          "0",
                          "1799/13900",
                          "-1/1200",
                          "0",
                          "-51/69500"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          [
                            "49/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "29/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "57/80",
                            "0",
                            "1799/13900",
                            "1/1200",
                            "0",
                            "-51/69500"
                          ]
                        ],
                        "negative": {
                          "leaf": "t22"
                        },
                        "positive": {
                          "leaf": "t23"
                        }
                      },
                      "positive": {
                        "leaf": "t21"
                      }
                    },
                    "positive": {
                      "cut": [
                        "-1",
                        [
                          "29/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        "0",
                        [
                          "-319/240",
                          "0",
                          "-481/5560",
                          "11/1200",
                          "0",
                          "9/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          "5/12"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            "0"
                          ],
                          "negative": {
                            "leaf": "t150"
                          },
                          "positive": {
                            "cut": [
                              "-1",
                              "-1",
                              "-1",
                              [
                                "11/12",
                                "0",
                                "-303/13900",
                                "0",
                                "0",
                                "-3/69500"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "-1",
                                [
                                  "9/20",
                                  "0",
                                  "0",
                                  "-1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "29/20",
                                  "0",
                                  "0",
                                  "-1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "-33/80",
                                  "0",
                                  "-291/3475",
                                  "11/1200",
                                  "0",
                                  "4/17375"
                                ]
                              ],
                              "negative": {
                                "leaf": "t186"
                              },
                              "positive": {
                                "leaf": "t187"
                              }
                            },
                            "positive": {
                              "leaf": "t185"
                            }
                          }
                        },
                        "positive": {
                          "leaf": "t149"
                        }
                      },
                      "positive": {
                        "leaf": "t147"
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "-1",
                      [
                        "49/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      "0",
                      [
                        "17/8",
                        "0",
                        "837/27800",
                        "-1/120",
                        "0",
                        "-33/139000"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        [
                          "-29/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "49/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-9/8",
                          "0",
                          "1799/13900",
                          "1/120",
                          "0",
                          "-51/69500"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          [
                            "-9/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          "0",
                          [
                            "-7/24",
                            "0",
                            "279/5560",
                            "1/120",
                            "0",
                            "-11/27800"
                          ]
                        ],
                        "negative": {
                          "leaf": "t378"
                        },
                        "positive": {
                          "leaf": "t379"
                        }
                      },
                      "positive": {
                        "leaf": "t377"
                      }
                    },
                    "positive": {
                      "leaf": "t375"
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "-1",
                    [
                      "29/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    "0",
                    [
                      "-319/240",
                      "0",
                      "-481/5560",
                      "11/1200",
                      "0",
                      "9/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "-1",
                      "0",
                      "5/12"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "0",
                        "-1",
                        "0"
                      ],
                      "negative": {
                        "leaf": "t118"
                      },
                      "positive": {
                        "leaf": "t119"
                      }
                    },
                    "positive": {
                      "leaf": "t117"
                    }
                  },
                  "positive": {
                    "leaf": "t115"
                  }
                }
              },
              "positive": {
                "cut": [
                  "-1",
                  [
                    "49/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  "0",
                  [
                    "17/8",
                    "0",
                    "837/27800",
                    "-1/120",
                    "0",
                    "-33/139000"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    [
                      "-29/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    [
                      "-49/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    [
                      "-9/8",
                      "0",
                      "1799/13900",
                      "1/120",
                      "0",
                      "-51/69500"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      [
                        "-9/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      "0",
                      [
                        "-7/24",
                        "0",
                        "279/5560",
                        "1/120",
                        "0",
                        "-11/27800"
                      ]
                    ],
                    "negative": {
                      "leaf": "t356"
                    },
                    "positive": {
                      "leaf": "t357"
                    }
                  },
                  "positive": {
                    "leaf": "t355"
                  }
                },
                "positive": {
                  "leaf": "t353"
                }
              }
            },
            "positive": {
              "cut": [
                "-1",
                "-1",
                "-1",
                [
                  "11/12",
                  "0",
                  "-303/13900",
                  "0",
                  "0",
                  "-3/69500"
                ]
              ],
              "negative": {
                "cut": [
                  "-1",
                  [
                    "9/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  [
                    "29/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-33/80",
                    "0",
                    "-291/3475",
                    "11/1200",
                    "0",
                    "4/17375"
                  ]
                ],
                "negative": {
                  "leaf": "t136"
                },
                "positive": {
                  "leaf": "t137"
                }
              },
              "positive": {
                "cut": [
                  "-1",
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-49/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-9/8",
                    "0",
                    "1799/13900",
                    "1/120",
                    "0",
                    "-51/69500"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    "1",
                    "-1",
                    [
                      "11/12",
                      "0",
                      "-303/13900",
                      "0",
                      "0",
                      "-3/69500"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      [
                        "-9/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      "0",
                      [
                        "-7/24",
                        "0",
                        "279/5560",
                        "1/120",
                        "0",
                        "-11/27800"
                      ]
                    ],
                    "negative": {
                      "leaf": "t372"
                    },
                    "positive": {
                      "leaf": "t373"
                    }
                  },
                  "positive": {
                    "leaf": "t371"
                  }
                },
                "positive": {
                  "leaf": "t369"
                }
              }
            }
          },
          "positive": {
            "cut": [
              "-1",
              "1",
              "1",
              [
                "11/12",
                "0",
                "-303/13900",
                "0",
                "0",
                "-3/69500"
              ]
            ],
            "negative": {
              "cut": [
                "-1",
                [
                  "-29/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "-9/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "-33/80",
                  "0",
                  "-291/3475",
                  "11/1200",
                  "0",
                  "4/17375"
                ]
              ],
              "negative": {
                "cut": [
                  "-1",
                  "0",
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-319/240",
                    "0",
                    "-481/5560",
                    "11/1200",
                    "0",
                    "9/27800"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    [
                      "29/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    [
                      "-9/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    [
                      "-33/80",
                      "0",
                      "-291/3475",
                      "11/1200",
                      "0",
                      "4/17375"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      "-1",
                      "1",
                      [
                        "11/12",
                        "0",
                        "-303/13900",
                        "0",
                        "0",
                        "-3/69500"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "0",
                        "1",
                        "5/12"
                      ],
                      "negative": {
                        "leaf": "t112"
                      },
                      "positive": {
                        "leaf": "t113"
                      }
                    },
                    "positive": {
                      "leaf": "t111"
                    }
                  },
                  "positive": {
                    "leaf": "t109"
                  }
                },
                "positive": {
                  "leaf": "t107"
                }
              },
              "positive": {
                "leaf": "t105"
              }
            },
            "positive": {
              "leaf": "t103"
            }
          }
        },
        "positive": {
          "leaf": "t7"
        }
      },
      "positive": {
        "cut": [
          "-1",
          [
            "-29/20",
            "0",
            "0",
            "1/100",
            "0",
            "0"
          ],
          [
            "9/20",
            "0",
            "0",
            "-1/100",
            "0",
            "0"
          ],
          [
            "-31/40",
            "0",
            "-291/3475",
            "7/600",
            "0",
            "4/17375"
          ]
        ],
        "negative": {
          "cut": [
            "-1",
            "0",
            [
              "-11/20",
              "0",
              "0",
              "-1/100",
              "0",
              "0"
            ],
            [
              "7/15",
              "0",
              "231/27800",
              "1/100",
              "0",
              "-39/139000"
            ]
          ],
          "negative": {
            "cut": [
              "-1",
              "0",
              [
                "29/20",
                "0",
                "0",
                "-1/100",
                "0",
                "0"
              ],
              [
                "-23/15",
                "0",
                "-481/5560",
                "1/100",
                "0",
                "9/27800"
              ]
            ],
            "negative": {
              "cut": [
                "-1",
                [
                  "29/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                [
                  "9/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                [
                  "-7/24",
                  "0",
                  "-291/3475",
                  "1/120",
                  "0",
                  "4/17375"
                ]
              ],
              "negative": {
                "leaf": "t56"
              },
              "positive": {
                "leaf": "t57"
              }
            },
            "positive": {
              "leaf": "t55"
            }
          },
          "positive": {
            "cut": [
              "-1",
              "1",
              "1",
              [
                "11/12",
                "0",
                "-303/13900",
                "0",
                "0",
                "-3/69500"
              ]
            ],
            "negative": {
              "leaf": "t388"
            },
            "positive": {
              "leaf": "t389"
            }
          }
        },
        "positive": {
          "cut": [
            "-1",
            [
              "29/20",
              "0",
              "0",
              "-1/100",
              "0",
              "0"
            ],
            "0",
            [
              "-319/240",
              "0",
              "-481/5560",
              "11/1200",
              "0",
              "9/27800"
            ]
          ],
          "negative": {
            "cut": [
              "-1",
              [
                "9/20",
                "0",
                "0",
                "-1/100",
                "0",
                "0"
              ],
              [
                "-29/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "-33/80",
                "0",
                "-291/3475",
                "11/1200",
                "0",
                "4/17375"
              ]
            ],
            "negative": {
              "cut": [
                "-1",
                "-1",
                "1",
                [
                  "11/12",
                  "0",
                  "-303/13900",
                  "0",
                  "0",
                  "-3/69500"
                ]
              ],
              "negative": {
                "cut": [
                  "0",
                  "-1",
                  "0",
                  "5/12"
                ],
                "negative": {
                  "leaf": "t144"
                },
                "positive": {
                  "leaf": "t145"
                }
              },
              "positive": {
                "leaf": "t143"
              }
            },
            "positive": {
              "leaf": "t141"
            }
          },
          "positive": {
            "cut": [
              "-1",
              [
                "-29/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "49/20",
                "0",
                "0",
                "-1/100",
                "0",
                "0"
              ],
              [
                "-9/8",
                "0",
                "1799/13900",
                "1/120",
                "0",
                "-51/69500"
              ]
            ],
            "negative": {
              "cut": [
                "-1",
                "1",
                "1",
                [
                  "11/12",
                  "0",
                  "-303/13900",
                  "0",
                  "0",
                  "-3/69500"
                ]
              ],
              "negative": {
                "cut": [
                  "-1",
                  [
                    "-9/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  "0",
                  [
                    "-7/24",
                    "0",
                    "279/5560",
                    "1/120",
                    "0",
                    "-11/27800"
                  ]
                ],
                "negative": {
                  "leaf": "t366"
                },
                "positive": {
                  "leaf": "t367"
                }
              },
              "positive": {
                "leaf": "t365"
              }
            },
            "positive": {
              "leaf": "t363"
            }
          }
        }
      }
    },
    "positive": {
      "cut": [
        "0",
        "0",
        "-1",
        [
          "5/6",
          "0",
          "-291/6950",
          "0",
          "0",
          "2/17375"
        ]
      ],
      "negative": {
        "cut": [
          "-1",
          "0",
          [
            "-11/20",
            "0",
            "0",
            "-1/100",
            "0",
            "0"
          ],
          [
            "23/24",
            "0",
            "231/27800",
            "1/120",
            "0",
            "-39/139000"
          ]
        ],
        "negative": {
          "cut": [
            "-1",
            [
              "-29/20",
              "0",
              "0",
              "1/100",
              "0",
              "0"
            ],
            [
              "9/20",
              "0",
              "0",
              "-1/100",
              "0",
              "0"
            ],
            [
              "11/30",
              "0",
              "-291/3475",
              "1/150",
              "0",
              "4/17375"
            ]
          ],
          "negative": {
            "cut": [
              "-1",
              "1",
              "-1",
              [
                "7/6",
                "0",
                "-303/13900",
                "0",
                "0",
                "-3/69500"
              ]
            ],
            "negative": {
              "cut": [
                "0",
                "1",
                [
                  "9/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                [
                  "-13/24",
                  "0",
                  "279/5560",
                  "1/120",
                  "0",
                  "-11/27800"
                ]
              ],
              "negative": {
                "cut": [
                  "0",
                  "-1",
                  "0",
                  "1/6"
                ],
                "negative": {
                  "cut": [
                    "-1",
                    "0",
                    "0",
                    "1/6"
                  ],
                  "negative": {
                    "leaf": "t36"
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "-1",
                      [
                        "-29/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "11/12",
                        "0",
                        "-481/5560",
                        "0",
                        "0",
                        "9/27800"
                      ]
                    ],
                    "negative": {
                      "leaf": "t206"
                    },
                    "positive": {
                      "leaf": "t207"
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "0",
                    "1",
                    [
                      "9/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    [
                      "-17/60",
                      "0",
                      "279/5560",
                      "1/100",
                      "0",
                      "-11/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "1",
                      [
                        "-29/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "9/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-73/120",
                        "0",
                        "-291/3475",
                        "7/600",
                        "0",
                        "4/17375"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        "0",
                        [
                          "29/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-41/30",
                          "0",
                          "-481/5560",
                          "1/100",
                          "0",
                          "9/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          "0",
                          [
                            "-11/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "19/30",
                            "0",
                            "231/27800",
                            "1/100",
                            "0",
                            "-39/139000"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            [
                              "1",
                              "0",
                              "-291/6950",
                              "0",
                              "0",
                              "2/17375"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              [
                                "29/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "9/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-1/8",
                                "0",
                                "-291/3475",
                                "1/120",
                                "0",
                                "4/17375"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "-1",
                                [
                                  "29/20",
                                  "0",
                                  "0",
                                  "-1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "9/20",
                                  "0",
                                  "0",
                                  "-1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "-7/24",
                                  "0",
                                  "-291/3475",
                                  "1/120",
                                  "0",
                                  "4/17375"
                                ]
                              ],
                              "negative": {
                                "cut": [
                                  "0",
                                  "-1",
                                  [
                                    "9/20",
                                    "0",
                                    "0",
                                    "-1/100",
                                    "0",
                                    "0"
                                  ],
                                  [
                                    "-37/60",
                                    "0",
                                    "279/5560",
                                    "1/100",
                                    "0",
                                    "-11/27800"
                                  ]
                                ],
                                "negative": {
                                  "leaf": "t76"
                                },
                                "positive": {
                                  "cut": [
                                    "0",
                                    "1",
                                    "0",
                                    "5/12"
                                  ],
                                  "negative": {
                                    "cut": [
                                      "0",
                                      "0",
                                      "1",
                                      "-5/12"
                                    ],
                                    "negative": {
                                      "leaf": "t464"
                                    },
                                    "positive": {
                                      "leaf": "t465"
                                    }
                                  },
                                  "positive": {
                                    "leaf": "t463"
                                  }
                                }
                              },
                              "positive": {
                                "leaf": "t75"
                              }
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                "5/12"
                              ],
                              "negative": {
                                "cut": [
                                  "0",
                                  "0",
                                  "1",
                                  "-5/12"
                                ],
                                "negative": {
                                  "leaf": "t448"
                                },
                                "positive": {
                                  "leaf": "t449"
                                }
                              },
                              "positive": {
                                "leaf": "t447"
                              }
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "5/12"
                            ],
                            "negative": {
                              "leaf": "t424"
                            },
                            "positive": {
                              "leaf": "t425"
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "1",
                            [
                              "-29/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            [
                              "229/240",
                              "0",
                              "-481/5560",
                              "-1/1200",
                              "0",
                              "9/27800"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "0",
                              "1",
                              "-5/12"
                            ],
                            "negative": {
                              "cut": [
                                "-1",
                                "0",
                                "0",
                                "1/6"
                              ],
                              "negative": {
                                "leaf": "t314"
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "1",
                                  "0",
                                  "5/12"
                                ],
                                "negative": {
                                  "leaf": "t394"
                                },
                                "positive": {
                                  "leaf": "t395"
                                }
                              }
                            },
                            "positive": {
                              "leaf": "t313"
                            }
                          },
                          "positive": {
                            "leaf": "t311"
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "1",
                          [
                            "-29/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "229/240",
                            "0",
                            "-481/5560",
                            "-1/1200",
                            "0",
                            "9/27800"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "1",
                            "-5/12"
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              "0",
                              "0",
                              "1/6"
                            ],
                            "negative": {
                              "leaf": "t308"
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                "5/12"
                              ],
                              "negative": {
                                "leaf": "t380"
                              },
                              "positive": {
                                "leaf": "t381"
                              }
                            }
                          },
                          "positive": {
                            "leaf": "t307"
                          }
                        },
                        "positive": {
                          "leaf": "t305"
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "1",
                        [
                          "-29/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "229/240",
                          "0",
                          "-481/5560",
                          "-1/1200",
                          "0",
                          "9/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          "1",
                          "1",
                          [
                            "7/12",
                            "0",
                            "-303/13900",
                            "0",
                            "0",
                            "-3/69500"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "1",
                            [
                              "-9/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-29/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-101/240",
                              "0",
                              "-291/3475",
                              "3/400",
                              "0",
                              "4/17375"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "0",
                              "1",
                              "-5/12"
                            ],
                            "negative": {
                              "cut": [
                                "-1",
                                "0",
                                "0",
                                "1/6"
                              ],
                              "negative": {
                                "leaf": "t302"
                              },
                              "positive": {
                                "leaf": "t303"
                              }
                            },
                            "positive": {
                              "leaf": "t301"
                            }
                          },
                          "positive": {
                            "leaf": "t299"
                          }
                        },
                        "positive": {
                          "leaf": "t297"
                        }
                      },
                      "positive": {
                        "leaf": "t295"
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "1",
                      [
                        "11/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      "0",
                      [
                        "7/24",
                        "0",
                        "231/27800",
                        "1/120",
                        "0",
                        "-39/139000"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "1",
                        [
                          "-29/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "229/240",
                          "0",
                          "-481/5560",
                          "-1/1200",
                          "0",
                          "9/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          [
                            "-9/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-29/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-101/240",
                            "0",
                            "-291/3475",
                            "3/400",
                            "0",
                            "4/17375"
                          ]
                        ],
                        "negative": {
                          "leaf": "t292"
                        },
                        "positive": {
                          "leaf": "t293"
                        }
                      },
                      "positive": {
                        "leaf": "t291"
                      }
                    },
                    "positive": {
                      "leaf": "t289"
                    }
                  }
                }
              },
              "positive": {
                "cut": [
                  "1",
                  "-1",
                  "1",
                  [
                    "11/12",
                    "0",
                    "-303/13900",
                    "0",
                    "0",
                    "-3/69500"
                  ]
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "-1",
                    "1/3"
                  ],
                  "negative": {
                    "leaf": "t204"
                  },
                  "positive": {
                    "cut": [
                      "1",
                      [
                        "29/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      "0",
                      [
                        "-319/240",
                        "0",
                        "-481/5560",
                        "11/1200",
                        "0",
                        "9/27800"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "-1",
                        [
                          "-29/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "11/12",
                          "0",
                          "-481/5560",
                          "0",
                          "0",
                          "9/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          [
                            "9/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-29/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-33/80",
                            "0",
                            "-291/3475",
                            "11/1200",
                            "0",
                            "4/17375"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "5/12"
                          ],
                          "negative": {
                            "leaf": "t230"
                          },
                          "positive": {
                            "leaf": "t231"
                          }
                        },
                        "positive": {
                          "leaf": "t229"
                        }
                      },
                      "positive": {
                        "leaf": "t227"
                      }
                    },
                    "positive": {
                      "leaf": "t225"
                    }
                  }
                },
                "positive": {
                  "leaf": "t203"
                }
              }
            },
            "positive": {
              "cut": [
                "0",
                "-1",
                [
                  "-29/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "11/12",
                  "0",
                  "-481/5560",
                  "0",
                  "0",
                  "9/27800"
                ]
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "1/3"
                ],
                "negative": {
                  "leaf": "t196"
                },
                "positive": {
                  "leaf": "t197"
                }
              },
              "positive": {
                "leaf": "t195"
              }
            }
          },
          "positive": {
            "cut": [
              "0",
              "1",
              [
                "9/20",
                "0",
                "0",
                "-1/100",
                "0",
                "0"
              ],
              [
                "-17/60",
                "0",
                "279/5560",
                "1/100",
                "0",
                "-11/27800"
              ]
            ],
            "negative": {
              "cut": [
                "-1",
                [
                  "-29/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "9/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                [
                  "-31/40",
                  "0",
                  "-291/3475",
                  "7/600",
                  "0",
                  "4/17375"
                ]
              ],
              "negative": {
                "leaf": "t60"
              },
              "positive": {
                "leaf": "t61"
              }
            },
            "positive": {
              "cut": [
                "0",
                "-1",
                [
                  "-29/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "11/12",
                  "0",
                  "-481/5560",
                  "0",
                  "0",
                  "9/27800"
                ]
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "1/3"
                ],
                "negative": {
                  "leaf": "t200"
                },
                "positive": {
                  "cut": [
                    "1",
                    [
                      "29/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    "0",
                    [
                      "-319/240",
                      "0",
                      "-481/5560",
                      "11/1200",
                      "0",
                      "9/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "1",
                      "-1",
                      "1",
                      [
                        "11/12",
                        "0",
                        "-303/13900",
                        "0",
                        "0",
                        "-3/69500"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        [
                          "9/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-29/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-33/80",
                          "0",
                          "-291/3475",
                          "11/1200",
                          "0",
                          "4/17375"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          "5/12"
                        ],
                        "negative": {
                          "leaf": "t222"
                        },
                        "positive": {
                          "leaf": "t223"
                        }
                      },
                      "positive": {
                        "leaf": "t221"
                      }
                    },
                    "positive": {
                      "leaf": "t219"
                    }
                  },
                  "positive": {
                    "leaf": "t217"
                  }
                }
              },
              "positive": {
                "leaf": "t199"
              }
            }
          }
        },
        "positive": {
          "cut": [
            "0",
            "1",
            [
              "9/20",
              "0",
              "0",
              "-1/100",
              "0",
              "0"
            ],
            [
              "-17/60",
              "0",
              "279/5560",
              "1/100",
              "0",
              "-11/27800"
            ]
          ],
          "negative": {
            "cut": [
              "-1",
              [
                "-29/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "9/20",
                "0",
                "0",
                "-1/100",
                "0",
                "0"
              ],
              [
                "-31/40",
                "0",
                "-291/3475",
                "7/600",
                "0",
                "4/17375"
              ]
            ],
            "negative": {
              "cut": [
                "0",
                "0",
                "-1",
                [
                  "1",
                  "0",
                  "-291/6950",
                  "0",
                  "0",
                  "2/17375"
                ]
              ],
              "negative": {
                "cut": [
                  "-1",
                  "0",
                  [
                    "-11/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  [
                    "7/15",
                    "0",
                    "231/27800",
                    "1/100",
                    "0",
                    "-39/139000"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    [
                      "29/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    [
                      "9/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    [
                      "-7/24",
                      "0",
                      "-291/3475",
                      "1/120",
                      "0",
                      "4/17375"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "-1",
                      [
                        "9/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-37/60",
                        "0",
                        "279/5560",
                        "1/100",
                        "0",
                        "-11/27800"
                      ]
                    ],
                    "negative": {
                      "leaf": "t48"
                    },
                    "positive": {
                      "cut": [
                        "-1",
                        "1",
                        "1",
                        [
                          "11/12",
                          "0",
                          "-303/13900",
                          "0",
                          "0",
                          "-3/69500"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "5/12"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "1",
                            "-5/12"
                          ],
                          "negative": {
                            "leaf": "t460"
                          },
                          "positive": {
                            "leaf": "t461"
                          }
                        },
                        "positive": {
                          "leaf": "t459"
                        }
                      },
                      "positive": {
                        "leaf": "t457"
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "-1",
                      "1",
                      "1",
                      [
                        "11/12",
                        "0",
                        "-303/13900",
                        "0",
                        "0",
                        "-3/69500"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "1",
                        "0",
                        "5/12"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "0",
                          "1",
                          "-5/12"
                        ],
                        "negative": {
                          "leaf": "t444"
                        },
                        "positive": {
                          "leaf": "t445"
                        }
                      },
                      "positive": {
                        "leaf": "t443"
                      }
                    },
                    "positive": {
                      "leaf": "t441"
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "-1",
                    "1",
                    "1",
                    [
                      "11/12",
                      "0",
                      "-303/13900",
                      "0",
                      "0",
                      "-3/69500"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "1",
                      "0",
                      "5/12"
                    ],
                    "negative": {
                      "leaf": "t422"
                    },
                    "positive": {
                      "leaf": "t423"
                    }
                  },
                  "positive": {
                    "leaf": "t421"
                  }
                }
              },
              "positive": {
                "cut": [
                  "0",
                  "1",
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "229/240",
                    "0",
                    "-481/5560",
                    "-1/1200",
                    "0",
                    "9/27800"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    "0",
                    "0",
                    "1/6"
                  ],
                  "negative": {
                    "leaf": "t318"
                  },
                  "positive": {
                    "cut": [
                      "-1",
                      "1",
                      "1",
                      [
                        "11/12",
                        "0",
                        "-303/13900",
                        "0",
                        "0",
                        "-3/69500"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "1",
                        "0",
                        "5/12"
                      ],
                      "negative": {
                        "leaf": "t392"
                      },
                      "positive": {
                        "leaf": "t393"
                      }
                    },
                    "positive": {
                      "leaf": "t391"
                    }
                  }
                },
                "positive": {
                  "leaf": "t317"
                }
              }
            },
            "positive": {
              "cut": [
                "-1",
                [
                  "-29/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "49/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                [
                  "-9/8",
                  "0",
                  "1799/13900",
                  "1/120",
                  "0",
                  "-51/69500"
                ]
              ],
              "negative": {
                "cut": [
                  "-1",
                  "1",
                  "1",
                  [
                    "11/12",
                    "0",
                    "-303/13900",
                    "0",
                    "0",
                    "-3/69500"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    [
                      "-9/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    "0",
                    [
                      "-7/24",
                      "0",
                      "279/5560",
                      "1/120",
                      "0",
                      "-11/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "1",
                      "0",
                      "5/12"
                    ],
                    "negative": {
                      "leaf": "t418"
                    },
                    "positive": {
                      "leaf": "t419"
                    }
                  },
                  "positive": {
                    "leaf": "t417"
                  }
                },
                "positive": {
                  "leaf": "t415"
                }
              },
              "positive": {
                "leaf": "t413"
              }
            }
          },
          "positive": {
            "cut": [
              "-1",
              [
                "9/20",
                "0",
                "0",
                "-1/100",
                "0",
                "0"
              ],
              [
                "-29/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "-33/80",
                "0",
                "-291/3475",
                "11/1200",
                "0",
                "4/17375"
              ]
            ],
            "negative": {
              "cut": [
                "-1",
                "-1",
                "1",
                [
                  "11/12",
                  "0",
                  "-303/13900",
                  "0",
                  "0",
                  "-3/69500"
                ]
              ],
              "negative": {
                "cut": [
                  "0",
                  "-1",
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "11/12",
                    "0",
                    "-481/5560",
                    "0",
                    "0",
                    "9/27800"
                  ]
                ],
                "negative": {
                  "cut": [
                    "0",
                    "-1",
                    "0",
                    "5/12"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "1",
                      "-1/3"
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        "0",
                        "0",
                        "0"
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          "0",
                          "0",
                          "-1/3"
                        ],
                        "negative": {
                          "leaf": "t132"
                        },
                        "positive": {
                          "leaf": "t133"
                        }
                      },
                      "positive": {
                        "cut": [
                          "1",
                          [
                            "29/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          "0",
                          [
                            "-319/240",
                            "0",
                            "-481/5560",
                            "11/1200",
                            "0",
                            "9/27800"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "1",
                            [
                              "9/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-29/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-33/80",
                              "0",
                              "-291/3475",
                              "11/1200",
                              "0",
                              "4/17375"
                            ]
                          ],
                          "negative": {
                            "leaf": "t210"
                          },
                          "positive": {
                            "leaf": "t211"
                          }
                        },
                        "positive": {
                          "leaf": "t209"
                        }
                      }
                    },
                    "positive": {
                      "leaf": "t129"
                    }
                  },
                  "positive": {
                    "leaf": "t127"
                  }
                },
                "positive": {
                  "leaf": "t125"
                }
              },
              "positive": {
                "leaf": "t123"
              }
            },
            "positive": {
              "cut": [
                "1",
                [
                  "11/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                "0",
                [
                  "7/24",
                  "0",
                  "231/27800",
                  "1/120",
                  "0",
                  "-39/139000"
                ]
              ],
              "negative": {
                "cut": [
                  "0",
                  "1",
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "229/240",
                    "0",
                    "-481/5560",
                    "-1/1200",
                    "0",
                    "9/27800"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    "0",
                    "0",
                    "1/6"
                  ],
                  "negative": {
                    "leaf": "t282"
                  },
                  "positive": {
                    "leaf": "t283"
                  }
                },
                "positive": {
                  "leaf": "t281"
                }
              },
              "positive": {
                "leaf": "t279"
              }
            }
          }
        }
      },
      "positive": {
        "cut": [
          "-1",
          "1",
          "1",
          [
            "11/12",
            "0",
            "-303/13900",
            "0",
            "0",
            "-3/69500"
          ]
        ],
        "negative": {
          "cut": [
            "1",
            "1",
            "1",
            [
              "11/12",
              "0",
              "-303/13900",
              "0",
              "0",
              "-3/69500"
            ]
          ],
          "negative": {
            "cut": [
              "0",
              "1",
              [
                "-9/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "-33/80",
                "0",
                "279/5560",
                "11/1200",
                "0",
                "-11/27800"
              ]
            ],
            "negative": {
              "cut": [
                "-1",
                [
                  "-29/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "-9/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "-33/80",
                  "0",
                  "-291/3475",
                  "11/1200",
                  "0",
                  "4/17375"
                ]
              ],
              "negative": {
                "cut": [
                  "1",
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-9/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-33/80",
                    "0",
                    "-291/3475",
                    "11/1200",
                    "0",
                    "4/17375"
                  ]
                ],
                "negative": {
                  "cut": [
                    "1",
                    "0",
                    [
                      "-29/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    [
                      "-319/240",
                      "0",
                      "-481/5560",
                      "11/1200",
                      "0",
                      "9/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      [
                        "29/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-9/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-33/80",
                        "0",
                        "-291/3475",
                        "11/1200",
                        "0",
                        "4/17375"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        [
                          "29/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-9/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-33/80",
                          "0",
                          "-291/3475",
                          "11/1200",
                          "0",
                          "4/17375"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "-1",
                          [
                            "-9/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-33/80",
                            "0",
                            "279/5560",
                            "11/1200",
                            "0",
                            "-11/27800"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            "-1",
                            "1",
                            [
                              "11/12",
                              "0",
                              "-303/13900",
                              "0",
                              "0",
                              "-3/69500"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              "-1",
                              "1",
                              [
                                "11/12",
                                "0",
                                "-303/13900",
                                "0",
                                "0",
                                "-3/69500"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "0",
                                "1",
                                "5/12"
                              ],
                              "negative": {
                                "leaf": "t100"
                              },
                              "positive": {
                                "leaf": "t101"
                              }
                            },
                            "positive": {
                              "leaf": "t99"
                            }
                          },
                          "positive": {
                            "leaf": "t97"
                          }
                        },
                        "positive": {
                          "cut": [
                            "-1",
                            "1",
                            "-1",
                            [
                              "11/12",
                              "0",
                              "-303/13900",
                              "0",
                              "0",
                              "-3/69500"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "1",
                              [
                                "9/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "5/6",
                                "0",
                                "279/5560",
                                "0",
                                "0",
                                "-11/27800"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                "5/12"
                              ],
                              "negative": {
                                "leaf": "t470"
                              },
                              "positive": {
                                "leaf": "t471"
                              }
                            },
                            "positive": {
                              "leaf": "t469"
                            }
                          },
                          "positive": {
                            "leaf": "t467"
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "1",
                          [
                            "9/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "5/6",
                            "0",
                            "279/5560",
                            "0",
                            "0",
                            "-11/27800"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "1",
                            "1",
                            "-1",
                            [
                              "3/4",
                              "0",
                              "-303/13900",
                              "0",
                              "0",
                              "-3/69500"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "5/12"
                            ],
                            "negative": {
                              "leaf": "t454"
                            },
                            "positive": {
                              "leaf": "t455"
                            }
                          },
                          "positive": {
                            "leaf": "t453"
                          }
                        },
                        "positive": {
                          "leaf": "t451"
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "-1",
                        [
                          "-29/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-49/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-9/8",
                          "0",
                          "1799/13900",
                          "1/120",
                          "0",
                          "-51/69500"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          "1",
                          "-1",
                          [
                            "11/12",
                            "0",
                            "-303/13900",
                            "0",
                            "0",
                            "-3/69500"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            [
                              "-9/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            "0",
                            [
                              "-7/24",
                              "0",
                              "279/5560",
                              "1/120",
                              "0",
                              "-11/27800"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "5/12"
                            ],
                            "negative": {
                              "leaf": "t432"
                            },
                            "positive": {
                              "leaf": "t433"
                            }
                          },
                          "positive": {
                            "leaf": "t431"
                          }
                        },
                        "positive": {
                          "leaf": "t429"
                        }
                      },
                      "positive": {
                        "leaf": "t427"
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "-1",
                      "0",
                      [
                        "29/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      [
                        "149/120",
                        "0",
                        "-481/5560",
                        "-1/600",
                        "0",
                        "9/27800"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        [
                          "29/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-49/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "113/240",
                          "0",
                          "1799/13900",
                          "1/400",
                          "0",
                          "-51/69500"
                        ]
                      ],
                      "negative": {
                        "leaf": "t276"
                      },
                      "positive": {
                        "cut": [
                          "1",
                          "1",
                          "-1",
                          [
                            "3/4",
                            "0",
                            "-303/13900",
                            "0",
                            "0",
                            "-3/69500"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "1",
                            "0",
                            "5/12"
                          ],
                          "negative": {
                            "leaf": "t436"
                          },
                          "positive": {
                            "leaf": "t437"
                          }
                        },
                        "positive": {
                          "leaf": "t435"
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "1",
                        "1",
                        "-1",
                        [
                          "3/4",
                          "0",
                          "-303/13900",
                          "0",
                          "0",
                          "-3/69500"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "5/12"
                        ],
                        "negative": {
                          "leaf": "t402"
                        },
                        "positive": {
                          "leaf": "t403"
                        }
                      },
                      "positive": {
                        "leaf": "t401"
                      }
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "-1",
                    "0",
                    [
                      "29/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    [
                      "149/120",
                      "0",
                      "-481/5560",
                      "-1/600",
                      "0",
                      "9/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      [
                        "29/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-49/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "113/240",
                        "0",
                        "1799/13900",
                        "1/400",
                        "0",
                        "-51/69500"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        [
                          "1",
                          "0",
                          "-291/6950",
                          "0",
                          "0",
                          "2/17375"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          [
                            "-49/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          "0",
                          [
                            "289/240",
                            "0",
                            "837/27800",
                            "-1/1200",
                            "0",
                            "-33/139000"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            [
                              "9/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            "0",
                            [
                              "77/80",
                              "0",
                              "279/5560",
                              "1/1200",
                              "0",
                              "-11/27800"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              [
                                "29/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "49/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "103/80",
                                "0",
                                "1799/13900",
                                "-1/1200",
                                "0",
                                "-51/69500"
                              ]
                            ],
                            "negative": {
                              "leaf": "t272"
                            },
                            "positive": {
                              "leaf": "t273"
                            }
                          },
                          "positive": {
                            "leaf": "t271"
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "1",
                            "0",
                            "5/12"
                          ],
                          "negative": {
                            "leaf": "t438"
                          },
                          "positive": {
                            "leaf": "t439"
                          }
                        }
                      },
                      "positive": {
                        "leaf": "t267"
                      }
                    },
                    "positive": {
                      "cut": [
                        "1",
                        "1",
                        "-1",
                        [
                          "3/4",
                          "0",
                          "-303/13900",
                          "0",
                          "0",
                          "-3/69500"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "5/12"
                        ],
                        "negative": {
                          "leaf": "t406"
                        },
                        "positive": {
                          "leaf": "t407"
                        }
                      },
                      "positive": {
                        "leaf": "t405"
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "1",
                      "0",
                      "5/12"
                    ],
                    "negative": {
                      "leaf": "t384"
                    },
                    "positive": {
                      "leaf": "t385"
                    }
                  }
                }
              },
              "positive": {
                "cut": [
                  "-1",
                  [
                    "-9/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  "0",
                  [
                    "-7/24",
                    "0",
                    "279/5560",
                    "1/120",
                    "0",
                    "-11/27800"
                  ]
                ],
                "negative": {
                  "cut": [
                    "0",
                    "1",
                    "0",
                    "5/12"
                  ],
                  "negative": {
                    "leaf": "t398"
                  },
                  "positive": {
                    "leaf": "t399"
                  }
                },
                "positive": {
                  "leaf": "t397"
                }
              }
            },
            "positive": {
              "cut": [
                "0",
                "-1",
                [
                  "29/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                [
                  "11/12",
                  "0",
                  "-481/5560",
                  "0",
                  "0",
                  "9/27800"
                ]
              ],
              "negative": {
                "cut": [
                  "0",
                  "-1",
                  "0",
                  "5/12"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "-1",
                    "-5/12"
                  ],
                  "negative": {
                    "leaf": "t192"
                  },
                  "positive": {
                    "leaf": "t193"
                  }
                },
                "positive": {
                  "leaf": "t191"
                }
              },
              "positive": {
                "cut": [
                  "-1",
                  "0",
                  [
                    "29/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  [
                    "149/120",
                    "0",
                    "-481/5560",
                    "-1/600",
                    "0",
                    "9/27800"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    "0",
                    "0",
                    [
                      "1",
                      "0",
                      "-291/6950",
                      "0",
                      "0",
                      "2/17375"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      [
                        "-49/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      "0",
                      [
                        "289/240",
                        "0",
                        "837/27800",
                        "-1/1200",
                        "0",
                        "-33/139000"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        [
                          "9/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        "0",
                        [
                          "77/80",
                          "0",
                          "279/5560",
                          "1/1200",
                          "0",
                          "-11/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          [
                            "29/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "49/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "103/80",
                            "0",
                            "1799/13900",
                            "-1/1200",
                            "0",
                            "-51/69500"
                          ]
                        ],
                        "negative": {
                          "leaf": "t260"
                        },
                        "positive": {
                          "leaf": "t261"
                        }
                      },
                      "positive": {
                        "leaf": "t259"
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "0",
                        "-1",
                        "1/12"
                      ],
                      "negative": {
                        "leaf": "t330"
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "5/12"
                        ],
                        "negative": {
                          "leaf": "t408"
                        },
                        "positive": {
                          "leaf": "t409"
                        }
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "1",
                      "0",
                      [
                        "5/6",
                        "0",
                        "-291/6950",
                        "0",
                        "0",
                        "2/17375"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        [
                          "11/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        "0",
                        [
                          "7/24",
                          "0",
                          "231/27800",
                          "1/120",
                          "0",
                          "-39/139000"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "1",
                          [
                            "-29/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "229/240",
                            "0",
                            "-481/5560",
                            "-1/1200",
                            "0",
                            "9/27800"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            "1/12"
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              "0",
                              "0",
                              "1/6"
                            ],
                            "negative": {
                              "leaf": "t328"
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                "5/12"
                              ],
                              "negative": {
                                "leaf": "t410"
                              },
                              "positive": {
                                "leaf": "t411"
                              }
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "5/12"
                            ],
                            "negative": {
                              "leaf": "t386"
                            },
                            "positive": {
                              "leaf": "t387"
                            }
                          }
                        },
                        "positive": {
                          "leaf": "t325"
                        }
                      },
                      "positive": {
                        "leaf": "t323"
                      }
                    },
                    "positive": {
                      "leaf": "t321"
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "-1",
                    [
                      "-9/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    "0",
                    [
                      "-7/24",
                      "0",
                      "279/5560",
                      "1/120",
                      "0",
                      "-11/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "1",
                      "0",
                      "5/12"
                    ],
                    "negative": {
                      "leaf": "t360"
                    },
                    "positive": {
                      "leaf": "t361"
                    }
                  },
                  "positive": {
                    "leaf": "t359"
                  }
                }
              }
            }
          },
          "positive": {
            "cut": [
              "1",
              [
                "29/20",
                "0",
                "0",
                "-1/100",
                "0",
                "0"
              ],
              "0",
              [
                "-319/240",
                "0",
                "-481/5560",
                "11/1200",
                "0",
                "9/27800"
              ]
            ],
            "negative": {
              "cut": [
                "1",
                [
                  "9/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                [
                  "29/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                [
                  "-33/80",
                  "0",
                  "-291/3475",
                  "11/1200",
                  "0",
                  "4/17375"
                ]
              ],
              "negative": {
                "cut": [
                  "1",
                  "-1",
                  "-1",
                  [
                    "11/12",
                    "0",
                    "-303/13900",
                    "0",
                    "0",
                    "-3/69500"
                  ]
                ],
                "negative": {
                  "cut": [
                    "0",
                    "-1",
                    [
                      "29/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    [
                      "11/12",
                      "0",
                      "-481/5560",
                      "0",
                      "0",
                      "9/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "-1",
                      "0",
                      "5/12"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "0",
                        "1",
                        "0"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "0",
                          "-1",
                          "-5/12"
                        ],
                        "negative": {
                          "leaf": "t182"
                        },
                        "positive": {
                          "leaf": "t183"
                        }
                      },
                      "positive": {
                        "leaf": "t181"
                      }
                    },
                    "positive": {
                      "leaf": "t179"
                    }
                  },
                  "positive": {
                    "leaf": "t177"
                  }
                },
                "positive": {
                  "leaf": "t175"
                }
              },
              "positive": {
                "leaf": "t173"
              }
            },
            "positive": {
              "cut": [
                "-1",
                "0",
                [
                  "29/20",
                  "0",
                  "0",
                  "-1/100",
                  "0",
                  "0"
                ],
                [
                  "149/120",
                  "0",
                  "-481/5560",
                  "-1/600",
                  "0",
                  "9/27800"
                ]
              ],
              "negative": {
                "cut": [
                  "-1",
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-49/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "57/80",
                    "0",
                    "1799/13900",
                    "1/1200",
                    "0",
                    "-51/69500"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    [
                      "-9/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    "0",
                    [
                      "83/80",
                      "0",
                      "279/5560",
                      "-1/1200",
                      "0",
                      "-11/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      [
                        "49/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      "0",
                      [
                        "191/240",
                        "0",
                        "837/27800",
                        "1/1200",
                        "0",
                        "-33/139000"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        [
                          "1",
                          "0",
                          "-291/6950",
                          "0",
                          "0",
                          "2/17375"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          [
                            "-49/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          "0",
                          [
                            "289/240",
                            "0",
                            "837/27800",
                            "-1/1200",
                            "0",
                            "-33/139000"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            [
                              "9/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            "0",
                            [
                              "77/80",
                              "0",
                              "279/5560",
                              "1/1200",
                              "0",
                              "-11/27800"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              [
                                "-29/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "49/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "367/240",
                                "0",
                                "1799/13900",
                                "-1/400",
                                "0",
                                "-51/69500"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "-1",
                                [
                                  "29/20",
                                  "0",
                                  "0",
                                  "-1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "49/20",
                                  "0",
                                  "0",
                                  "-1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "103/80",
                                  "0",
                                  "1799/13900",
                                  "-1/1200",
                                  "0",
                                  "-51/69500"
                                ]
                              ],
                              "negative": {
                                "cut": [
                                  "-1",
                                  "0",
                                  [
                                    "-29/20",
                                    "0",
                                    "0",
                                    "1/100",
                                    "0",
                                    "0"
                                  ],
                                  [
                                    "91/120",
                                    "0",
                                    "-481/5560",
                                    "1/600",
                                    "0",
                                    "9/27800"
                                  ]
                                ],
                                "negative": {
                                  "leaf": "t250"
                                },
                                "positive": {
                                  "leaf": "t251"
                                }
                              },
                              "positive": {
                                "leaf": "t249"
                              }
                            },
                            "positive": {
                              "leaf": "t247"
                            }
                          },
                          "positive": {
                            "cut": [
                              "1",
                              [
                                "11/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              "0",
                              [
                                "7/24",
                                "0",
                                "231/27800",
                                "1/120",
                                "0",
                                "-39/139000"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "1",
                                [
                                  "-9/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "-29/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "-101/240",
                                  "0",
                                  "-291/3475",
                                  "3/400",
                                  "0",
                                  "4/17375"
                                ]
                              ],
                              "negative": {
                                "cut": [
                                  "0",
                                  "0",
                                  "-1",
                                  "1/12"
                                ],
                                "negative": {
                                  "leaf": "t350"
                                },
                                "positive": {
                                  "leaf": "t351"
                                }
                              },
                              "positive": {
                                "leaf": "t349"
                              }
                            },
                            "positive": {
                              "leaf": "t347"
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "1",
                            [
                              "11/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            "0",
                            [
                              "7/24",
                              "0",
                              "231/27800",
                              "1/120",
                              "0",
                              "-39/139000"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              [
                                "-9/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-29/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-101/240",
                                "0",
                                "-291/3475",
                                "3/400",
                                "0",
                                "4/17375"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "0",
                                "-1",
                                "1/12"
                              ],
                              "negative": {
                                "leaf": "t344"
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "1",
                                  "0",
                                  "5/12"
                                ],
                                "negative": {
                                  "leaf": "t382"
                                },
                                "positive": {
                                  "leaf": "t383"
                                }
                              }
                            },
                            "positive": {
                              "leaf": "t343"
                            }
                          },
                          "positive": {
                            "leaf": "t341"
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          [
                            "5/6",
                            "0",
                            "-291/6950",
                            "0",
                            "0",
                            "2/17375"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "1",
                            [
                              "11/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            "0",
                            [
                              "7/24",
                              "0",
                              "231/27800",
                              "1/120",
                              "0",
                              "-39/139000"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "1",
                              [
                                "-29/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "229/240",
                                "0",
                                "-481/5560",
                                "-1/1200",
                                "0",
                                "9/27800"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "0",
                                "-1",
                                "1/12"
                              ],
                              "negative": {
                                "leaf": "t338"
                              },
                              "positive": {
                                "leaf": "t339"
                              }
                            },
                            "positive": {
                              "leaf": "t337"
                            }
                          },
                          "positive": {
                            "leaf": "t335"
                          }
                        },
                        "positive": {
                          "leaf": "t333"
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "1",
                        "0",
                        [
                          "5/6",
                          "0",
                          "-291/6950",
                          "0",
                          "0",
                          "2/17375"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "1",
                          [
                            "-29/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "229/240",
                            "0",
                            "-481/5560",
                            "-1/1200",
                            "0",
                            "9/27800"
                          ]
                        ],
                        "negative": {
                          "leaf": "t286"
                        },
                        "positive": {
                          "leaf": "t287"
                        }
                      },
                      "positive": {
                        "leaf": "t285"
                      }
                    }
                  },
                  "positive": {
                    "leaf": "t237"
                  }
                },
                "positive": {
                  "leaf": "t235"
                }
              },
              "positive": {
                "leaf": "t233"
              }
            }
          }
        },
        "positive": {
          "cut": [
            "-1",
            [
              "9/20",
              "0",
              "0",
              "-1/100",
              "0",
              "0"
            ],
            [
              "-29/20",
              "0",
              "0",
              "1/100",
              "0",
              "0"
            ],
            [
              "-33/80",
              "0",
              "-291/3475",
              "11/1200",
              "0",
              "4/17375"
            ]
          ],
          "negative": {
            "cut": [
              "0",
              "-1",
              "0",
              "5/12"
            ],
            "negative": {
              "cut": [
                "0",
                "0",
                "-1",
                "0"
              ],
              "negative": {
                "cut": [
                  "1",
                  "0",
                  "0",
                  "0"
                ],
                "negative": {
                  "cut": [
                    "-1",
                    "0",
                    "0",
                    "-1/3"
                  ],
                  "negative": {
                    "leaf": "t160"
                  },
                  "positive": {
                    "leaf": "t161"
                  }
                },
                "positive": {
                  "cut": [
                    "1",
                    [
                      "29/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    "0",
                    [
                      "-319/240",
                      "0",
                      "-481/5560",
                      "11/1200",
                      "0",
                      "9/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "1",
                      [
                        "9/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-29/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-33/80",
                        "0",
                        "-291/3475",
                        "11/1200",
                        "0",
                        "4/17375"
                      ]
                    ],
                    "negative": {
                      "leaf": "t214"
                    },
                    "positive": {
                      "leaf": "t215"
                    }
                  },
                  "positive": {
                    "leaf": "t213"
                  }
                }
              },
              "positive": {
                "cut": [
                  "0",
                  "-1",
                  [
                    "29/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  [
                    "11/12",
                    "0",
                    "-481/5560",
                    "0",
                    "0",
                    "9/27800"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    "-1",
                    "-1",
                    [
                      "11/12",
                      "0",
                      "-303/13900",
                      "0",
                      "0",
                      "-3/69500"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      [
                        "9/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      [
                        "29/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-33/80",
                        "0",
                        "-291/3475",
                        "11/1200",
                        "0",
                        "4/17375"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "0",
                        "-1",
                        "-5/12"
                      ],
                      "negative": {
                        "leaf": "t168"
                      },
                      "positive": {
                        "leaf": "t169"
                      }
                    },
                    "positive": {
                      "leaf": "t167"
                    }
                  },
                  "positive": {
                    "leaf": "t165"
                  }
                },
                "positive": {
                  "leaf": "t163"
                }
              }
            },
            "positive": {
              "leaf": "t155"
            }
          },
          "positive": {
            "leaf": "t153"
          }
        }
      }
    }
  },
  "matches": [
    {
      "source": "s2",
      "target": "t22",
      "group": "piece-0",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "-1",
          "1/6",
          "-1/12"
        ]
      }
    },
    {
      "source": "s12",
      "target": "t36",
      "group": "piece-1",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/2",
          "1/6",
          "5/6"
        ]
      }
    },
    {
      "source": "s18",
      "target": "t48",
      "group": "piece-5",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "-1/12",
          "-1/6",
          "1"
        ]
      }
    },
    {
      "source": "s17",
      "target": "t56",
      "group": "piece-5",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "-1/12",
          "-1/6",
          "1"
        ]
      }
    },
    {
      "source": "s20",
      "target": "t60",
      "group": "piece-5",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "-1/12",
          "-1/6",
          "1"
        ]
      }
    },
    {
      "source": "s21",
      "target": "t76",
      "group": "piece-5",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "-1/12",
          "-1/6",
          "1"
        ]
      }
    },
    {
      "source": "s24",
      "target": "t100",
      "group": "piece-7",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "0",
          "-11/12"
        ]
      }
    },
    {
      "source": "s25",
      "target": "t112",
      "group": "piece-7",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "0",
          "-11/12"
        ]
      }
    },
    {
      "source": "s32",
      "target": "t118",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s36",
      "target": "t132",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s42",
      "target": "t136",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s44",
      "target": "t133",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s31",
      "target": "t144",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s33",
      "target": "t150",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s37",
      "target": "t160",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s46",
      "target": "t168",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s48",
      "target": "t119",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s45",
      "target": "t161",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s50",
      "target": "t182",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s49",
      "target": "t186",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s54",
      "target": "t129",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s51",
      "target": "t192",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s58",
      "target": "t196",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s57",
      "target": "t200",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s60",
      "target": "t204",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s62",
      "target": "t206",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s68",
      "target": "t210",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s70",
      "target": "t214",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s74",
      "target": "t197",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s71",
      "target": "t181",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s73",
      "target": "t222",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s76",
      "target": "t230",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "0",
          "11/12",
          "0"
        ]
      }
    },
    {
      "source": "s80",
      "target": "t250",
      "group": "piece-35",
      "pose": {
        "rotation": [
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "1",
          "1/12",
          "-1/6"
        ]
      }
    },
    {
      "source": "s82",
      "target": "t260",
      "group": "piece-35",
      "pose": {
        "rotation": [
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "1",
          "1/12",
          "-1/6"
        ]
      }
    },
    {
      "source": "s84",
      "target": "t272",
      "group": "piece-35",
      "pose": {
        "rotation": [
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "1",
          "1/12",
          "-1/6"
        ]
      }
    },
    {
      "source": "s85",
      "target": "t276",
      "group": "piece-35",
      "pose": {
        "rotation": [
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "1",
          "1/12",
          "-1/6"
        ]
      }
    },
    {
      "source": "s94",
      "target": "t282",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s98",
      "target": "t286",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s100",
      "target": "t292",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s102",
      "target": "t302",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s104",
      "target": "t308",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s105",
      "target": "t314",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s95",
      "target": "t318",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s106",
      "target": "t328",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s107",
      "target": "t330",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s108",
      "target": "t338",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s110",
      "target": "t344",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s111",
      "target": "t350",
      "group": "piece-47",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "1/6",
          "-5/6",
          "1/12"
        ]
      }
    },
    {
      "source": "s120",
      "target": "t356",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s128",
      "target": "t360",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s130",
      "target": "t366",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s119",
      "target": "t372",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s121",
      "target": "t378",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s138",
      "target": "t380",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s142",
      "target": "t382",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s150",
      "target": "t384",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s154",
      "target": "t386",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s131",
      "target": "t388",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s160",
      "target": "t392",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s164",
      "target": "t394",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s147",
      "target": "t398",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s168",
      "target": "t402",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s170",
      "target": "t406",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s174",
      "target": "t408",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s176",
      "target": "t410",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s157",
      "target": "t418",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s178",
      "target": "t422",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s180",
      "target": "t424",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s182",
      "target": "t432",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s169",
      "target": "t436",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s171",
      "target": "t438",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s184",
      "target": "t444",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s186",
      "target": "t448",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s188",
      "target": "t454",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s185",
      "target": "t460",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s187",
      "target": "t464",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    },
    {
      "source": "s189",
      "target": "t470",
      "group": "piece-76",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "1/12",
          "-5/6",
          "0"
        ]
      }
    }
  ],
  "residuals": {
    "source": [
      "s113",
      "s135",
      "s139",
      "s141",
      "s143",
      "s145",
      "s161",
      "s165",
      "s173",
      "s175",
      "s177",
      "s27",
      "s35",
      "s63",
      "s77",
      "s79",
      "s87",
      "s89"
    ],
    "target": [
      "t101",
      "t103",
      "t105",
      "t107",
      "t109",
      "t111",
      "t113",
      "t115",
      "t117",
      "t123",
      "t125",
      "t127",
      "t137",
      "t141",
      "t143",
      "t145",
      "t147",
      "t149",
      "t153",
      "t155",
      "t163",
      "t165",
      "t167",
      "t169",
      "t173",
      "t175",
      "t177",
      "t179",
      "t183",
      "t185",
      "t187",
      "t191",
      "t193",
      "t195",
      "t199",
      "t203",
      "t207",
      "t209",
      "t21",
      "t211",
      "t213",
      "t215",
      "t217",
      "t219",
      "t221",
      "t223",
      "t225",
      "t227",
      "t229",
      "t23",
      "t231",
      "t233",
      "t235",
      "t237",
      "t247",
      "t249",
      "t251",
      "t259",
      "t261",
      "t267",
      "t271",
      "t273",
      "t279",
      "t281",
      "t283",
      "t285",
      "t287",
      "t289",
      "t291",
      "t293",
      "t295",
      "t297",
      "t299",
      "t301",
      "t303",
      "t305",
      "t307",
      "t311",
      "t313",
      "t317",
      "t321",
      "t323",
      "t325",
      "t333",
      "t335",
      "t337",
      "t339",
      "t341",
      "t343",
      "t347",
      "t349",
      "t351",
      "t353",
      "t355",
      "t357",
      "t359",
      "t361",
      "t363",
      "t365",
      "t367",
      "t369",
      "t371",
      "t373",
      "t375",
      "t377",
      "t379",
      "t381",
      "t383",
      "t385",
      "t387",
      "t389",
      "t391",
      "t393",
      "t395",
      "t397",
      "t399",
      "t401",
      "t403",
      "t405",
      "t407",
      "t409",
      "t411",
      "t413",
      "t415",
      "t417",
      "t419",
      "t421",
      "t423",
      "t425",
      "t427",
      "t429",
      "t431",
      "t433",
      "t435",
      "t437",
      "t439",
      "t441",
      "t443",
      "t445",
      "t447",
      "t449",
      "t451",
      "t453",
      "t455",
      "t457",
      "t459",
      "t461",
      "t463",
      "t465",
      "t467",
      "t469",
      "t471",
      "t55",
      "t57",
      "t61",
      "t7",
      "t75",
      "t97",
      "t99"
    ]
  }
}