{
  "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": [
      "-1",
      "0",
      "0",
      "0"
    ],
    "negative": {
      "cut": [
        "0",
        "-1",
        "0",
        "0"
      ],
      "negative": {
        "cut": [
          "0",
          "0",
          "-1",
          "0"
        ],
        "negative": {
          "leaf": "s6"
        },
        "positive": {
          "cut": [
            "1",
            "0",
            "0",
            "-83/1000"
          ],
          "negative": {
            "cut": [
              "0",
              "1",
              "0",
              "-333/1000"
            ],
            "negative": {
              "cut": [
                "0",
                "0",
                "-1",
                "-1/4"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "-107/500"
                ],
                "negative": {
                  "leaf": "s64"
                },
                "positive": {
                  "cut": [
                    "0",
                    "1",
                    "0",
                    "-1/4"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "-1",
                      "0",
                      "47/1000"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "0",
                        "-1",
                        "-249/1000"
                      ],
                      "negative": {
                        "leaf": "s406"
                      },
                      "positive": {
                        "leaf": "s407"
                      }
                    },
                    "positive": {
                      "leaf": "s405"
                    }
                  },
                  "positive": {
                    "leaf": "s403"
                  }
                }
              },
              "positive": {
                "cut": [
                  "0",
                  "1",
                  "0",
                  "-1/4"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "-1",
                    "-417/1000"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "1",
                      [
                        "49/50",
                        "0",
                        "-291/6950",
                        "0",
                        "0",
                        "2/17375"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "-1",
                        [
                          "-11/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-149/250",
                          "0",
                          "-231/27800",
                          "-49/5000",
                          "0",
                          "39/139000"
                        ]
                      ],
                      "negative": {
                        "leaf": "s394"
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          "189/1000"
                        ],
                        "negative": {
                          "leaf": "s398"
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "53/500"
                          ],
                          "negative": {
                            "leaf": "s400"
                          },
                          "positive": {
                            "leaf": "s401"
                          }
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "-1",
                        "0",
                        "47/1000"
                      ],
                      "negative": {
                        "leaf": "s396"
                      },
                      "positive": {
                        "leaf": "s397"
                      }
                    }
                  },
                  "positive": {
                    "leaf": "s391"
                  }
                },
                "positive": {
                  "leaf": "s389"
                }
              }
            },
            "positive": {
              "leaf": "s61"
            }
          },
          "positive": {
            "cut": [
              "-1",
              "0",
              "0",
              "1/4"
            ],
            "negative": {
              "cut": [
                "1",
                "0",
                "0",
                "-583/1000"
              ],
              "negative": {
                "cut": [
                  "0",
                  "-1",
                  "0",
                  "83/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "1",
                    "0",
                    "-417/1000"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "-1",
                      "-333/1000"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "0",
                        "1",
                        "29/1000"
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          "0",
                          "0",
                          [
                            "219/1000",
                            "0",
                            "-291/6950",
                            "0",
                            "0",
                            "2/17375"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            [
                              "29/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            "-1",
                            "0",
                            [
                              "3031/20000",
                              "0",
                              "481/5560",
                              "-219/100000",
                              "0",
                              "-9/27800"
                            ]
                          ],
                          "negative": {
                            "leaf": "s186"
                          },
                          "positive": {
                            "cut": [
                              [
                                "11/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              "1",
                              "0",
                              [
                                "5729/20000",
                                "0",
                                "231/27800",
                                "219/100000",
                                "0",
                                "-39/139000"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "0",
                                "-1",
                                "-249/1000"
                              ],
                              "negative": {
                                "cut": [
                                  "-1",
                                  "0",
                                  [
                                    "-29/20",
                                    "0",
                                    "0",
                                    "1/100",
                                    "0",
                                    "0"
                                  ],
                                  [
                                    "-6551/20000",
                                    "0",
                                    "481/5560",
                                    "-1/100000",
                                    "0",
                                    "-9/27800"
                                  ]
                                ],
                                "negative": {
                                  "leaf": "s196"
                                },
                                "positive": {
                                  "cut": [
                                    [
                                      "9/20",
                                      "0",
                                      "0",
                                      "-1/100",
                                      "0",
                                      "0"
                                    ],
                                    "-1",
                                    [
                                      "-29/20",
                                      "0",
                                      "0",
                                      "1/100",
                                      "0",
                                      "0"
                                    ],
                                    [
                                      "-63/2000",
                                      "0",
                                      "291/3475",
                                      "-33/10000",
                                      "0",
                                      "-4/17375"
                                    ]
                                  ],
                                  "negative": {
                                    "leaf": "s198"
                                  },
                                  "positive": {
                                    "leaf": "s199"
                                  }
                                }
                              },
                              "positive": {
                                "leaf": "s195"
                              }
                            },
                            "positive": {
                              "leaf": "s193"
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "1",
                            "0",
                            "0",
                            "-561/1000"
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              "0",
                              "0",
                              "277/500"
                            ],
                            "negative": {
                              "leaf": "s190"
                            },
                            "positive": {
                              "leaf": "s191"
                            }
                          },
                          "positive": {
                            "leaf": "s189"
                          }
                        }
                      },
                      "positive": {
                        "leaf": "s183"
                      }
                    },
                    "positive": {
                      "leaf": "s181"
                    }
                  },
                  "positive": {
                    "leaf": "s179"
                  }
                },
                "positive": {
                  "leaf": "s177"
                }
              },
              "positive": {
                "leaf": "s175"
              }
            },
            "positive": {
              "leaf": "s173"
            }
          }
        }
      },
      "positive": {
        "cut": [
          "-1",
          "0",
          "0",
          "1/4"
        ],
        "negative": {
          "cut": [
            "1",
            "0",
            "0",
            "-583/1000"
          ],
          "negative": {
            "cut": [
              "0",
              "-1",
              "0",
              "-417/1000"
            ],
            "negative": {
              "cut": [
                "0",
                "1",
                "0",
                "83/1000"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "-83/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "1",
                    "-1/4"
                  ],
                  "negative": {
                    "cut": [
                      "1",
                      "0",
                      "0",
                      "-1/2"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "-1",
                        "0",
                        [
                          "7/25",
                          "0",
                          "-291/6950",
                          "0",
                          "0",
                          "2/17375"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "-1",
                          [
                            "11/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "217/500",
                            "0",
                            "231/27800",
                            "7/2500",
                            "0",
                            "-39/139000"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "-1",
                            [
                              "-29/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-63/500",
                              "0",
                              "-481/5560",
                              "7/2500",
                              "0",
                              "9/27800"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              "0",
                              "0",
                              "7/25"
                            ],
                            "negative": {
                              "leaf": "s56"
                            },
                            "positive": {
                              "leaf": "s57"
                            }
                          },
                          "positive": {
                            "leaf": "s55"
                          }
                        },
                        "positive": {
                          "leaf": "s53"
                        }
                      },
                      "positive": {
                        "leaf": "s51"
                      }
                    },
                    "positive": {
                      "leaf": "s49"
                    }
                  },
                  "positive": {
                    "leaf": "s47"
                  }
                },
                "positive": {
                  "leaf": "s45"
                }
              },
              "positive": {
                "leaf": "s43"
              }
            },
            "positive": {
              "leaf": "s41"
            }
          },
          "positive": {
            "leaf": "s39"
          }
        },
        "positive": {
          "cut": [
            "1",
            "0",
            "0",
            "-83/1000"
          ],
          "negative": {
            "cut": [
              "0",
              "-1",
              "0",
              "-583/1000"
            ],
            "negative": {
              "cut": [
                "0",
                "1",
                "0",
                "1/4"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "0"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "1",
                    "-333/1000"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "-1",
                      "0",
                      [
                        "51/200",
                        "0",
                        "-291/6950",
                        "0",
                        "0",
                        "2/17375"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        [
                          "-29/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        "-1",
                        "0",
                        [
                          "2057/10000",
                          "0",
                          "-481/5560",
                          "17/50000",
                          "0",
                          "9/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "-1",
                          [
                            "-9/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "489/2500",
                            "0",
                            "279/5560",
                            "33/25000",
                            "0",
                            "-11/27800"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            [
                              "-49/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            "1",
                            [
                              "29/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-1469/10000",
                              "0",
                              "-1799/13900",
                              "-49/50000",
                              "0",
                              "51/69500"
                            ]
                          ],
                          "negative": {
                            "leaf": "s108"
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "1",
                              [
                                "-49/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-723/1250",
                                "0",
                                "-837/27800",
                                "33/25000",
                                "0",
                                "33/139000"
                              ]
                            ],
                            "negative": {
                              "leaf": "s112"
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "-1",
                                "0",
                                "-333/1000"
                              ],
                              "negative": {
                                "cut": [
                                  "1",
                                  "0",
                                  "0",
                                  "-79/1000"
                                ],
                                "negative": {
                                  "cut": [
                                    "0",
                                    "-1",
                                    "0",
                                    "-73/250"
                                  ],
                                  "negative": {
                                    "leaf": "s148"
                                  },
                                  "positive": {
                                    "cut": [
                                      "0",
                                      "0",
                                      "1",
                                      "-83/1000"
                                    ],
                                    "negative": {
                                      "cut": [
                                        [
                                          "11/20",
                                          "0",
                                          "0",
                                          "1/100",
                                          "0",
                                          "0"
                                        ],
                                        "0",
                                        "-1",
                                        [
                                          "9857/20000",
                                          "0",
                                          "231/27800",
                                          "527/100000",
                                          "0",
                                          "-39/139000"
                                        ]
                                      ],
                                      "negative": {
                                        "leaf": "s286"
                                      },
                                      "positive": {
                                        "leaf": "s287"
                                      }
                                    },
                                    "positive": {
                                      "leaf": "s285"
                                    }
                                  }
                                },
                                "positive": {
                                  "cut": [
                                    "0",
                                    "0",
                                    "1",
                                    "-83/1000"
                                  ],
                                  "negative": {
                                    "cut": [
                                      [
                                        "11/20",
                                        "0",
                                        "0",
                                        "1/100",
                                        "0",
                                        "0"
                                      ],
                                      "0",
                                      "-1",
                                      [
                                        "9857/20000",
                                        "0",
                                        "231/27800",
                                        "527/100000",
                                        "0",
                                        "-39/139000"
                                      ]
                                    ],
                                    "negative": {
                                      "leaf": "s282"
                                    },
                                    "positive": {
                                      "leaf": "s283"
                                    }
                                  },
                                  "positive": {
                                    "leaf": "s281"
                                  }
                                }
                              },
                              "positive": {
                                "cut": [
                                  [
                                    "11/20",
                                    "0",
                                    "0",
                                    "1/100",
                                    "0",
                                    "0"
                                  ],
                                  "0",
                                  "-1",
                                  [
                                    "9857/20000",
                                    "0",
                                    "231/27800",
                                    "527/100000",
                                    "0",
                                    "-39/139000"
                                  ]
                                ],
                                "negative": {
                                  "leaf": "s278"
                                },
                                "positive": {
                                  "leaf": "s279"
                                }
                              }
                            }
                          }
                        },
                        "positive": {
                          "leaf": "s107"
                        }
                      },
                      "positive": {
                        "leaf": "s105"
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "-1",
                        "0",
                        "-21/40"
                      ],
                      "negative": {
                        "leaf": "s110"
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "0",
                          "1",
                          "-83/1000"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "-287/500"
                          ],
                          "negative": {
                            "cut": [
                              [
                                "11/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              "0",
                              "-1",
                              [
                                "9857/20000",
                                "0",
                                "231/27800",
                                "527/100000",
                                "0",
                                "-39/139000"
                              ]
                            ],
                            "negative": {
                              "leaf": "s270"
                            },
                            "positive": {
                              "leaf": "s271"
                            }
                          },
                          "positive": {
                            "leaf": "s269"
                          }
                        },
                        "positive": {
                          "leaf": "s267"
                        }
                      }
                    }
                  },
                  "positive": {
                    "leaf": "s101"
                  }
                },
                "positive": {
                  "cut": [
                    "0",
                    "0",
                    "-1",
                    "-1/4"
                  ],
                  "negative": {
                    "cut": [
                      [
                        "29/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      "0",
                      "1",
                      [
                        "11223/20000",
                        "0",
                        "481/5560",
                        "-527/100000",
                        "0",
                        "-9/27800"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        [
                          "29/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        "1",
                        [
                          "3221/10000",
                          "0",
                          "-481/5560",
                          "61/50000",
                          "0",
                          "9/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          [
                            "-11/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          "1",
                          [
                            "5661/10000",
                            "0",
                            "231/27800",
                            "61/50000",
                            "0",
                            "-39/139000"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            [
                              "9/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            "0",
                            [
                              "1911/10000",
                              "0",
                              "279/5560",
                              "61/50000",
                              "0",
                              "-11/27800"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              "1",
                              "-1",
                              [
                                "-867/1000",
                                "0",
                                "303/13900",
                                "0",
                                "0",
                                "3/69500"
                              ]
                            ],
                            "negative": {
                              "leaf": "s340"
                            },
                            "positive": {
                              "cut": [
                                [
                                  "-29/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "-9/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                "-1",
                                [
                                  "-437/5000",
                                  "0",
                                  "291/3475",
                                  "-23/6250",
                                  "0",
                                  "-4/17375"
                                ]
                              ],
                              "negative": {
                                "leaf": "s352"
                              },
                              "positive": {
                                "leaf": "s353"
                              }
                            }
                          },
                          "positive": {
                            "cut": [
                              "-1",
                              "-1",
                              "1",
                              [
                                "-1277/1000",
                                "0",
                                "303/13900",
                                "0",
                                "0",
                                "3/69500"
                              ]
                            ],
                            "negative": {
                              "leaf": "s350"
                            },
                            "positive": {
                              "leaf": "s351"
                            }
                          }
                        },
                        "positive": {
                          "leaf": "s337"
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          "-287/500"
                        ],
                        "negative": {
                          "leaf": "s348"
                        },
                        "positive": {
                          "leaf": "s349"
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        [
                          "11/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        "0",
                        "-1",
                        [
                          "9857/20000",
                          "0",
                          "231/27800",
                          "527/100000",
                          "0",
                          "-39/139000"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          [
                            "-11/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          "0",
                          [
                            "6403/10000",
                            "0",
                            "231/27800",
                            "103/50000",
                            "0",
                            "-39/139000"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            [
                              "-29/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            "-1",
                            [
                              "-3221/10000",
                              "0",
                              "481/5560",
                              "-61/50000",
                              "0",
                              "-9/27800"
                            ]
                          ],
                          "negative": {
                            "leaf": "s346"
                          },
                          "positive": {
                            "cut": [
                              "1",
                              "1",
                              "-1",
                              [
                                "-867/1000",
                                "0",
                                "303/13900",
                                "0",
                                "0",
                                "3/69500"
                              ]
                            ],
                            "negative": {
                              "leaf": "s364"
                            },
                            "positive": {
                              "leaf": "s365"
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            [
                              "29/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            "1",
                            [
                              "3221/10000",
                              "0",
                              "-481/5560",
                              "61/50000",
                              "0",
                              "9/27800"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              "-1",
                              "1",
                              [
                                "867/1000",
                                "0",
                                "-303/13900",
                                "0",
                                "0",
                                "-3/69500"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                [
                                  "-29/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "-9/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                "-1",
                                [
                                  "-437/5000",
                                  "0",
                                  "291/3475",
                                  "-23/6250",
                                  "0",
                                  "-4/17375"
                                ]
                              ],
                              "negative": {
                                "leaf": "s362"
                              },
                              "positive": {
                                "leaf": "s363"
                              }
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "-1",
                                "0",
                                [
                                  "103/500",
                                  "0",
                                  "-291/6950",
                                  "0",
                                  "0",
                                  "2/17375"
                                ]
                              ],
                              "negative": {
                                "leaf": "s374"
                              },
                              "positive": {
                                "leaf": "s375"
                              }
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "-1",
                              "0",
                              "-287/500"
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                [
                                  "-103/500",
                                  "0",
                                  "291/6950",
                                  "0",
                                  "0",
                                  "-2/17375"
                                ]
                              ],
                              "negative": {
                                "cut": [
                                  "0",
                                  "0",
                                  "1",
                                  "33/500"
                                ],
                                "negative": {
                                  "leaf": "s372"
                                },
                                "positive": {
                                  "leaf": "s373"
                                }
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "0",
                                  "1",
                                  "33/500"
                                ],
                                "negative": {
                                  "leaf": "s376"
                                },
                                "positive": {
                                  "leaf": "s377"
                                }
                              }
                            },
                            "positive": {
                              "leaf": "s369"
                            }
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          "-287/500"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            [
                              "-29/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            "-1",
                            [
                              "-3221/10000",
                              "0",
                              "481/5560",
                              "-61/50000",
                              "0",
                              "-9/27800"
                            ]
                          ],
                          "negative": {
                            "leaf": "s356"
                          },
                          "positive": {
                            "cut": [
                              [
                                "-29/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-9/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              "-1",
                              [
                                "-437/5000",
                                "0",
                                "291/3475",
                                "-23/6250",
                                "0",
                                "-4/17375"
                              ]
                            ],
                            "negative": {
                              "leaf": "s366"
                            },
                            "positive": {
                              "leaf": "s367"
                            }
                          }
                        },
                        "positive": {
                          "leaf": "s355"
                        }
                      }
                    }
                  },
                  "positive": {
                    "leaf": "s331"
                  }
                }
              },
              "positive": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "0"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "1",
                    "-333/1000"
                  ],
                  "negative": {
                    "cut": [
                      "1",
                      "0",
                      "0",
                      "-79/1000"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "1",
                        "0",
                        "9/125"
                      ],
                      "negative": {
                        "leaf": "s168"
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "0",
                          "1",
                          "-303/1000"
                        ],
                        "negative": {
                          "leaf": "s170"
                        },
                        "positive": {
                          "leaf": "s171"
                        }
                      }
                    },
                    "positive": {
                      "leaf": "s167"
                    }
                  },
                  "positive": {
                    "leaf": "s165"
                  }
                },
                "positive": {
                  "cut": [
                    "0",
                    "-1",
                    "0",
                    "-83/1000"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "-1",
                      "-417/1000"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "0",
                        "1",
                        "83/1000"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "0",
                          "1",
                          [
                            "49/50",
                            "0",
                            "-291/6950",
                            "0",
                            "0",
                            "2/17375"
                          ]
                        ],
                        "negative": {
                          "leaf": "s384"
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "0",
                            "1",
                            "1/5"
                          ],
                          "negative": {
                            "leaf": "s386"
                          },
                          "positive": {
                            "leaf": "s387"
                          }
                        }
                      },
                      "positive": {
                        "leaf": "s383"
                      }
                    },
                    "positive": {
                      "leaf": "s381"
                    }
                  },
                  "positive": {
                    "leaf": "s379"
                  }
                }
              }
            },
            "positive": {
              "leaf": "s95"
            }
          },
          "positive": {
            "cut": [
              "0",
              "-1",
              "0",
              "-583/1000"
            ],
            "negative": {
              "cut": [
                "0",
                "1",
                "0",
                "1/4"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "-1/4"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "1",
                    "-83/1000"
                  ],
                  "negative": {
                    "cut": [
                      "1",
                      "0",
                      "0",
                      [
                        "527/1000",
                        "0",
                        "-291/6950",
                        "0",
                        "0",
                        "2/17375"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        [
                          "29/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        "0",
                        "1",
                        [
                          "11223/20000",
                          "0",
                          "481/5560",
                          "-527/100000",
                          "0",
                          "-9/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          [
                            "29/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          "1",
                          [
                            "3221/10000",
                            "0",
                            "-481/5560",
                            "61/50000",
                            "0",
                            "9/27800"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            [
                              "-11/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            "1",
                            [
                              "5661/10000",
                              "0",
                              "231/27800",
                              "61/50000",
                              "0",
                              "-39/139000"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              [
                                "-29/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-9/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              "-1",
                              [
                                "-437/5000",
                                "0",
                                "291/3475",
                                "-23/6250",
                                "0",
                                "-4/17375"
                              ]
                            ],
                            "negative": {
                              "leaf": "s306"
                            },
                            "positive": {
                              "leaf": "s307"
                            }
                          },
                          "positive": {
                            "leaf": "s305"
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "-287/500"
                          ],
                          "negative": {
                            "leaf": "s322"
                          },
                          "positive": {
                            "leaf": "s323"
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          "-287/500"
                        ],
                        "negative": {
                          "cut": [
                            [
                              "11/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            "0",
                            "-1",
                            [
                              "9857/20000",
                              "0",
                              "231/27800",
                              "527/100000",
                              "0",
                              "-39/139000"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              [
                                "-103/500",
                                "0",
                                "291/6950",
                                "0",
                                "0",
                                "-2/17375"
                              ]
                            ],
                            "negative": {
                              "leaf": "s320"
                            },
                            "positive": {
                              "leaf": "s321"
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              [
                                "-29/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              "-1",
                              [
                                "-3221/10000",
                                "0",
                                "481/5560",
                                "-61/50000",
                                "0",
                                "-9/27800"
                              ]
                            ],
                            "negative": {
                              "leaf": "s328"
                            },
                            "positive": {
                              "leaf": "s329"
                            }
                          }
                        },
                        "positive": {
                          "leaf": "s317"
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "-1",
                        "0",
                        [
                          "61/500",
                          "0",
                          "-291/6950",
                          "0",
                          "0",
                          "2/17375"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          [
                            "29/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          "1",
                          [
                            "3221/10000",
                            "0",
                            "-481/5560",
                            "61/50000",
                            "0",
                            "9/27800"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            [
                              "-11/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            "1",
                            [
                              "5661/10000",
                              "0",
                              "231/27800",
                              "61/50000",
                              "0",
                              "-39/139000"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              "0",
                              "0",
                              "123/500"
                            ],
                            "negative": {
                              "leaf": "s314"
                            },
                            "positive": {
                              "cut": [
                                [
                                  "-29/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "-9/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                "-1",
                                [
                                  "-437/5000",
                                  "0",
                                  "291/3475",
                                  "-23/6250",
                                  "0",
                                  "-4/17375"
                                ]
                              ],
                              "negative": {
                                "leaf": "s326"
                              },
                              "positive": {
                                "leaf": "s327"
                              }
                            }
                          },
                          "positive": {
                            "leaf": "s313"
                          }
                        },
                        "positive": {
                          "leaf": "s311"
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          "-287/500"
                        ],
                        "negative": {
                          "leaf": "s324"
                        },
                        "positive": {
                          "leaf": "s325"
                        }
                      }
                    }
                  },
                  "positive": {
                    "leaf": "s297"
                  }
                },
                "positive": {
                  "leaf": "s295"
                }
              },
              "positive": {
                "leaf": "s293"
              }
            },
            "positive": {
              "leaf": "s291"
            }
          }
        }
      }
    },
    "positive": {
      "cut": [
        "0",
        "1",
        "0",
        "0"
      ],
      "negative": {
        "cut": [
          "0",
          "0",
          "1",
          "0"
        ],
        "negative": {
          "cut": [
            "1",
            "0",
            "0",
            [
              "773/1000",
              "0",
              "-291/6950",
              "0",
              "0",
              "2/17375"
            ]
          ],
          "negative": {
            "cut": [
              [
                "-29/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              "1",
              "0",
              [
                "-8377/20000",
                "0",
                "-481/5560",
                "773/100000",
                "0",
                "9/27800"
              ]
            ],
            "negative": {
              "cut": [
                [
                  "11/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                "1",
                "0",
                [
                  "22543/20000",
                  "0",
                  "231/27800",
                  "773/100000",
                  "0",
                  "-39/139000"
                ]
              ],
              "negative": {
                "cut": [
                  "-1",
                  "0",
                  [
                    "11/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-512/625",
                    "0",
                    "-231/27800",
                    "-21/25000",
                    "0",
                    "39/139000"
                  ]
                ],
                "negative": {
                  "leaf": "s18"
                },
                "positive": {
                  "cut": [
                    "-1",
                    "0",
                    [
                      "-29/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    [
                      "-407/625",
                      "0",
                      "481/5560",
                      "-21/25000",
                      "0",
                      "-9/27800"
                    ]
                  ],
                  "negative": {
                    "leaf": "s22"
                  },
                  "positive": {
                    "cut": [
                      [
                        "9/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      "-1",
                      [
                        "11/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-8007/20000",
                        "0",
                        "-127/2780",
                        "-857/100000",
                        "0",
                        "7/13900"
                      ]
                    ],
                    "negative": {
                      "leaf": "s24"
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "-1",
                        [
                          "-9/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-3321/5000",
                          "0",
                          "-279/5560",
                          "-21/25000",
                          "0",
                          "11/27800"
                        ]
                      ],
                      "negative": {
                        "leaf": "s26"
                      },
                      "positive": {
                        "cut": [
                          "-1",
                          "-1",
                          "1",
                          [
                            "-1559/1000",
                            "0",
                            "303/13900",
                            "0",
                            "0",
                            "3/69500"
                          ]
                        ],
                        "negative": {
                          "leaf": "s28"
                        },
                        "positive": {
                          "cut": [
                            [
                              "-49/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            "-1",
                            [
                              "-29/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-49481/20000",
                              "0",
                              "-1799/13900",
                              "689/100000",
                              "0",
                              "51/69500"
                            ]
                          ],
                          "negative": {
                            "leaf": "s30"
                          },
                          "positive": {
                            "cut": [
                              [
                                "9/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              "-1",
                              [
                                "-29/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-4647/20000",
                                "0",
                                "291/3475",
                                "-857/100000",
                                "0",
                                "-4/17375"
                              ]
                            ],
                            "negative": {
                              "leaf": "s32"
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "-1",
                                [
                                  "49/20",
                                  "0",
                                  "0",
                                  "-1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "-4539/5000",
                                  "0",
                                  "-837/27800",
                                  "21/25000",
                                  "0",
                                  "33/139000"
                                ]
                              ],
                              "negative": {
                                "leaf": "s34"
                              },
                              "positive": {
                                "leaf": "s35"
                              }
                            }
                          }
                        }
                      }
                    }
                  }
                }
              },
              "positive": {
                "leaf": "s17"
              }
            },
            "positive": {
              "cut": [
                "0",
                "-1",
                "0",
                [
                  "-351/500",
                  "0",
                  "291/6950",
                  "0",
                  "0",
                  "-2/17375"
                ]
              ],
              "negative": {
                "leaf": "s20"
              },
              "positive": {
                "leaf": "s21"
              }
            }
          },
          "positive": {
            "leaf": "s13"
          }
        },
        "positive": {
          "cut": [
            "-1",
            "0",
            "0",
            "-1/4"
          ],
          "negative": {
            "cut": [
              "0",
              "-1",
              "0",
              "-583/1000"
            ],
            "negative": {
              "cut": [
                "0",
                "1",
                "0",
                "1/4"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "1",
                  "-333/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "-1",
                    "0",
                    [
                      "51/200",
                      "0",
                      "-291/6950",
                      "0",
                      "0",
                      "2/17375"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "1",
                      [
                        "9/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-489/2500",
                        "0",
                        "-279/5560",
                        "-33/25000",
                        "0",
                        "11/27800"
                      ]
                    ],
                    "negative": {
                      "leaf": "s90"
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "-1",
                        [
                          "49/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "723/1250",
                          "0",
                          "837/27800",
                          "-33/25000",
                          "0",
                          "-33/139000"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          "0",
                          "0",
                          "17/500"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "1",
                            "-87/1000"
                          ],
                          "negative": {
                            "leaf": "s120"
                          },
                          "positive": {
                            "cut": [
                              "1",
                              "0",
                              "0",
                              "121/1000"
                            ],
                            "negative": {
                              "leaf": "s124"
                            },
                            "positive": {
                              "leaf": "s125"
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "-333/1000"
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "-1",
                              "0",
                              "-73/250"
                            ],
                            "negative": {
                              "leaf": "s152"
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "0",
                                "1",
                                "-83/1000"
                              ],
                              "negative": {
                                "leaf": "s288"
                              },
                              "positive": {
                                "leaf": "s289"
                              }
                            }
                          },
                          "positive": {
                            "leaf": "s151"
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          [
                            "-49/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          "1",
                          [
                            "29/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-1469/10000",
                            "0",
                            "-1799/13900",
                            "-49/50000",
                            "0",
                            "51/69500"
                          ]
                        ],
                        "negative": {
                          "leaf": "s122"
                        },
                        "positive": {
                          "leaf": "s123"
                        }
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "-1",
                      "0",
                      "-21/40"
                    ],
                    "negative": {
                      "leaf": "s114"
                    },
                    "positive": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        "-83/1000"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "0",
                          "1",
                          "-83/1000"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "-287/500"
                          ],
                          "negative": {
                            "leaf": "s276"
                          },
                          "positive": {
                            "leaf": "s277"
                          }
                        },
                        "positive": {
                          "leaf": "s275"
                        }
                      },
                      "positive": {
                        "leaf": "s273"
                      }
                    }
                  }
                },
                "positive": {
                  "leaf": "s87"
                }
              },
              "positive": {
                "cut": [
                  "0",
                  "0",
                  "1",
                  "-333/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "-1",
                    "0",
                    "-9/125"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "1",
                      "-303/1000"
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        "-141/1000"
                      ],
                      "negative": {
                        "leaf": "s160"
                      },
                      "positive": {
                        "leaf": "s161"
                      }
                    },
                    "positive": {
                      "leaf": "s159"
                    }
                  },
                  "positive": {
                    "leaf": "s157"
                  }
                },
                "positive": {
                  "leaf": "s155"
                }
              }
            },
            "positive": {
              "leaf": "s83"
            }
          },
          "positive": {
            "leaf": "s81"
          }
        }
      },
      "positive": {
        "cut": [
          "-1",
          "0",
          "0",
          "-1/4"
        ],
        "negative": {
          "cut": [
            "0",
            "1",
            "0",
            "-333/1000"
          ],
          "negative": {
            "cut": [
              "0",
              "0",
              "-1",
              "-1/4"
            ],
            "negative": {
              "cut": [
                "0",
                "0",
                "1",
                "-83/1000"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "-107/500"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "1",
                    "-3/500"
                  ],
                  "negative": {
                    "leaf": "s76"
                  },
                  "positive": {
                    "cut": [
                      "1",
                      "0",
                      "0",
                      "163/1000"
                    ],
                    "negative": {
                      "leaf": "s78"
                    },
                    "positive": {
                      "leaf": "s79"
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "0",
                    "1",
                    "0",
                    "-1/4"
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      "0",
                      "0",
                      "-1/8"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "-1",
                        "0",
                        "47/1000"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "0",
                          "-1",
                          "-249/1000"
                        ],
                        "negative": {
                          "leaf": "s430"
                        },
                        "positive": {
                          "leaf": "s431"
                        }
                      },
                      "positive": {
                        "leaf": "s429"
                      }
                    },
                    "positive": {
                      "leaf": "s427"
                    }
                  },
                  "positive": {
                    "leaf": "s425"
                  }
                }
              },
              "positive": {
                "cut": [
                  "1",
                  "0",
                  "0",
                  "83/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "1",
                    "-417/1000"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "-1",
                      "0",
                      [
                        "793/1000",
                        "0",
                        "-291/6950",
                        "0",
                        "0",
                        "2/17375"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        [
                          "9/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-11/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        "1",
                        [
                          "13757/20000",
                          "0",
                          "127/2780",
                          "647/100000",
                          "0",
                          "-7/13900"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          [
                            "-9/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          "-1",
                          [
                            "3417/20000",
                            "0",
                            "-279/5560",
                            "-793/100000",
                            "0",
                            "11/27800"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            "0",
                            "0",
                            "-9/50"
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "0",
                              "1",
                              "-319/1000"
                            ],
                            "negative": {
                              "leaf": "s250"
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                "-41/125"
                              ],
                              "negative": {
                                "leaf": "s260"
                              },
                              "positive": {
                                "leaf": "s261"
                              }
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "0",
                              "1",
                              "-319/1000"
                            ],
                            "negative": {
                              "leaf": "s258"
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                "-41/125"
                              ],
                              "negative": {
                                "leaf": "s264"
                              },
                              "positive": {
                                "leaf": "s265"
                              }
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "-1",
                            "0",
                            "0",
                            "-73/500"
                          ],
                          "negative": {
                            "leaf": "s256"
                          },
                          "positive": {
                            "leaf": "s257"
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "-1",
                          [
                            "-11/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          "0",
                          [
                            "5803/20000",
                            "0",
                            "231/27800",
                            "793/100000",
                            "0",
                            "-39/139000"
                          ]
                        ],
                        "negative": {
                          "leaf": "s254"
                        },
                        "positive": {
                          "cut": [
                            "0",
                            [
                              "-29/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            "1",
                            [
                              "10241/20000",
                              "0",
                              "481/5560",
                              "-709/100000",
                              "0",
                              "-9/27800"
                            ]
                          ],
                          "negative": {
                            "leaf": "s262"
                          },
                          "positive": {
                            "leaf": "s263"
                          }
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "-1",
                        "0",
                        "13/1000"
                      ],
                      "negative": {
                        "leaf": "s252"
                      },
                      "positive": {
                        "leaf": "s253"
                      }
                    }
                  },
                  "positive": {
                    "leaf": "s241"
                  }
                },
                "positive": {
                  "leaf": "s239"
                }
              }
            },
            "positive": {
              "cut": [
                "0",
                "1",
                "0",
                "-1/4"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "-417/1000"
                ],
                "negative": {
                  "cut": [
                    "-1",
                    "0",
                    "0",
                    "-1/8"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "1",
                      [
                        "49/50",
                        "0",
                        "-291/6950",
                        "0",
                        "0",
                        "2/17375"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "1",
                        [
                          "11/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "149/250",
                          "0",
                          "231/27800",
                          "49/5000",
                          "0",
                          "-39/139000"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "-53/500"
                        ],
                        "negative": {
                          "leaf": "s418"
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "189/1000"
                          ],
                          "negative": {
                            "leaf": "s422"
                          },
                          "positive": {
                            "leaf": "s423"
                          }
                        }
                      },
                      "positive": {
                        "leaf": "s417"
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "1",
                        "0",
                        "-47/1000"
                      ],
                      "negative": {
                        "leaf": "s420"
                      },
                      "positive": {
                        "leaf": "s421"
                      }
                    }
                  },
                  "positive": {
                    "leaf": "s413"
                  }
                },
                "positive": {
                  "leaf": "s411"
                }
              },
              "positive": {
                "leaf": "s409"
              }
            }
          },
          "positive": {
            "leaf": "s69"
          }
        },
        "positive": {
          "cut": [
            "-1",
            "0",
            "0",
            "-583/1000"
          ],
          "negative": {
            "cut": [
              "0",
              "1",
              "0",
              "-333/1000"
            ],
            "negative": {
              "cut": [
                "0",
                "0",
                "-1",
                "-1/4"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "1",
                  "-83/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "-1",
                    "0",
                    "1/4"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "-1",
                      "-3/200"
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        "0",
                        "0",
                        "473/1000"
                      ],
                      "negative": {
                        "leaf": "s138"
                      },
                      "positive": {
                        "cut": [
                          "1",
                          "0",
                          "0",
                          "273/1000"
                        ],
                        "negative": {
                          "leaf": "s142"
                        },
                        "positive": {
                          "leaf": "s143"
                        }
                      }
                    },
                    "positive": {
                      "leaf": "s137"
                    }
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "-1",
                      "0",
                      "3/100"
                    ],
                    "negative": {
                      "leaf": "s140"
                    },
                    "positive": {
                      "leaf": "s141"
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "-1",
                    "0",
                    "0",
                    "-417/1000"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "1",
                      "-417/1000"
                    ],
                    "negative": {
                      "cut": [
                        [
                          "29/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        "0",
                        "1",
                        [
                          "3977/10000",
                          "0",
                          "-481/5560",
                          "-73/50000",
                          "0",
                          "9/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          [
                            "793/1000",
                            "0",
                            "-291/6950",
                            "0",
                            "0",
                            "2/17375"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            [
                              "-11/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            "0",
                            [
                              "5803/20000",
                              "0",
                              "231/27800",
                              "793/100000",
                              "0",
                              "-39/139000"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              [
                                "-9/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "11/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              "-1",
                              [
                                "-13757/20000",
                                "0",
                                "-127/2780",
                                "-647/100000",
                                "0",
                                "7/13900"
                              ]
                            ],
                            "negative": {
                              "leaf": "s210"
                            },
                            "positive": {
                              "cut": [
                                "0",
                                [
                                  "-9/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                "-1",
                                [
                                  "3417/20000",
                                  "0",
                                  "-279/5560",
                                  "-793/100000",
                                  "0",
                                  "11/27800"
                                ]
                              ],
                              "negative": {
                                "cut": [
                                  "1",
                                  [
                                    "-49/20",
                                    "0",
                                    "0",
                                    "1/100",
                                    "0",
                                    "0"
                                  ],
                                  "0",
                                  [
                                    "53121/20000",
                                    "0",
                                    "837/27800",
                                    "-709/100000",
                                    "0",
                                    "-33/139000"
                                  ]
                                ],
                                "negative": {
                                  "leaf": "s222"
                                },
                                "positive": {
                                  "cut": [
                                    "1",
                                    "0",
                                    "0",
                                    "263/1000"
                                  ],
                                  "negative": {
                                    "leaf": "s232"
                                  },
                                  "positive": {
                                    "cut": [
                                      "0",
                                      "0",
                                      "1",
                                      "-319/1000"
                                    ],
                                    "negative": {
                                      "leaf": "s234"
                                    },
                                    "positive": {
                                      "cut": [
                                        "0",
                                        "1",
                                        "0",
                                        "-41/125"
                                      ],
                                      "negative": {
                                        "leaf": "s236"
                                      },
                                      "positive": {
                                        "leaf": "s237"
                                      }
                                    }
                                  }
                                }
                              },
                              "positive": {
                                "cut": [
                                  "1",
                                  "1",
                                  "-1",
                                  [
                                    "-833/1000",
                                    "0",
                                    "303/13900",
                                    "0",
                                    "0",
                                    "3/69500"
                                  ]
                                ],
                                "negative": {
                                  "cut": [
                                    "-1",
                                    [
                                      "49/20",
                                      "0",
                                      "0",
                                      "-1/100",
                                      "0",
                                      "0"
                                    ],
                                    "0",
                                    [
                                      "-53121/20000",
                                      "0",
                                      "-837/27800",
                                      "709/100000",
                                      "0",
                                      "33/139000"
                                    ]
                                  ],
                                  "negative": {
                                    "leaf": "s230"
                                  },
                                  "positive": {
                                    "leaf": "s231"
                                  }
                                },
                                "positive": {
                                  "leaf": "s229"
                                }
                              }
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              [
                                "-29/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              "1",
                              [
                                "10241/20000",
                                "0",
                                "481/5560",
                                "-709/100000",
                                "0",
                                "-9/27800"
                              ]
                            ],
                            "negative": {
                              "leaf": "s218"
                            },
                            "positive": {
                              "leaf": "s219"
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "13/1000"
                          ],
                          "negative": {
                            "leaf": "s216"
                          },
                          "positive": {
                            "leaf": "s217"
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          [
                            "-11/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          "-1",
                          [
                            "18119/20000",
                            "0",
                            "231/27800",
                            "709/100000",
                            "0",
                            "-39/139000"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            "0",
                            "0",
                            [
                              "-919/1000",
                              "0",
                              "291/6950",
                              "0",
                              "0",
                              "-2/17375"
                            ]
                          ],
                          "negative": {
                            "leaf": "s214"
                          },
                          "positive": {
                            "cut": [
                              "-1",
                              [
                                "49/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              "0",
                              [
                                "-53121/20000",
                                "0",
                                "-837/27800",
                                "709/100000",
                                "0",
                                "33/139000"
                              ]
                            ],
                            "negative": {
                              "leaf": "s226"
                            },
                            "positive": {
                              "leaf": "s227"
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "13/1000"
                          ],
                          "negative": {
                            "leaf": "s224"
                          },
                          "positive": {
                            "leaf": "s225"
                          }
                        }
                      }
                    },
                    "positive": {
                      "leaf": "s203"
                    }
                  },
                  "positive": {
                    "leaf": "s201"
                  }
                }
              },
              "positive": {
                "leaf": "s131"
              }
            },
            "positive": {
              "leaf": "s129"
            }
          },
          "positive": {
            "leaf": "s127"
          }
        }
      }
    }
  },
  "target_tree": {
    "cut": [
      "0",
      "-1",
      "0",
      [
        "7/25",
        "0",
        "-291/6950",
        "0",
        "0",
        "2/17375"
      ]
    ],
    "negative": {
      "cut": [
        "-1",
        "0",
        "0",
        [
          "7/25",
          "0",
          "-291/6950",
          "0",
          "0",
          "2/17375"
        ]
      ],
      "negative": {
        "cut": [
          "-1",
          [
            "29/20",
            "0",
            "0",
            "-1/100",
            "0",
            "0"
          ],
          "0",
          [
            "-63/500",
            "0",
            "-481/5560",
            "7/2500",
            "0",
            "9/27800"
          ]
        ],
        "negative": {
          "cut": [
            "-1",
            [
              "-11/20",
              "0",
              "0",
              "-1/100",
              "0",
              "0"
            ],
            "0",
            [
              "217/500",
              "0",
              "231/27800",
              "7/2500",
              "0",
              "-39/139000"
            ]
          ],
          "negative": {
            "cut": [
              "0",
              "0",
              "1",
              [
                "7/25",
                "0",
                "-291/6950",
                "0",
                "0",
                "2/17375"
              ]
            ],
            "negative": {
              "cut": [
                "0",
                "-1",
                [
                  "11/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "217/500",
                  "0",
                  "231/27800",
                  "7/2500",
                  "0",
                  "-39/139000"
                ]
              ],
              "negative": {
                "cut": [
                  "0",
                  "-1",
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-63/500",
                    "0",
                    "-481/5560",
                    "7/2500",
                    "0",
                    "9/27800"
                  ]
                ],
                "negative": {
                  "cut": [
                    "-1",
                    [
                      "9/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    [
                      "11/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    [
                      "77/250",
                      "0",
                      "127/2780",
                      "7/1250",
                      "0",
                      "-7/13900"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      "0",
                      [
                        "-9/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "77/500",
                        "0",
                        "279/5560",
                        "7/2500",
                        "0",
                        "-11/27800"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        "-1",
                        "1",
                        [
                          "21/25",
                          "0",
                          "-303/13900",
                          "0",
                          "0",
                          "-3/69500"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          [
                            "-49/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-29/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "14/25",
                            "0",
                            "1799/13900",
                            "0",
                            "0",
                            "-51/69500"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            [
                              "9/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-29/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-63/250",
                              "0",
                              "-291/3475",
                              "7/1250",
                              "0",
                              "4/17375"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              "0",
                              [
                                "49/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "483/500",
                                "0",
                                "837/27800",
                                "-7/2500",
                                "0",
                                "-33/139000"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "0",
                                "-1",
                                "-7/25"
                              ],
                              "negative": {
                                "cut": [
                                  "1",
                                  "0",
                                  "0",
                                  "-7/25"
                                ],
                                "negative": {
                                  "cut": [
                                    "0",
                                    "1",
                                    "0",
                                    "-7/25"
                                  ],
                                  "negative": {
                                    "leaf": "t32"
                                  },
                                  "positive": {
                                    "cut": [
                                      "0",
                                      "0",
                                      "-1",
                                      "-61/1000"
                                    ],
                                    "negative": {
                                      "cut": [
                                        "0",
                                        "1",
                                        "0",
                                        "-367/1000"
                                      ],
                                      "negative": {
                                        "cut": [
                                          "0",
                                          "0",
                                          "1",
                                          "-34/125"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "-1",
                                            "0",
                                            "0",
                                            "203/1000"
                                          ],
                                          "negative": {
                                            "leaf": "t184"
                                          },
                                          "positive": {
                                            "cut": [
                                              "1",
                                              "0",
                                              "0",
                                              "9/40"
                                            ],
                                            "negative": {
                                              "leaf": "t246"
                                            },
                                            "positive": {
                                              "cut": [
                                                "0",
                                                "0",
                                                "-1",
                                                "9/50"
                                              ],
                                              "negative": {
                                                "cut": [
                                                  "1",
                                                  "0",
                                                  "0",
                                                  "-11/1000"
                                                ],
                                                "negative": {
                                                  "cut": [
                                                    "0",
                                                    "1",
                                                    "0",
                                                    "-343/1000"
                                                  ],
                                                  "negative": {
                                                    "leaf": "t472"
                                                  },
                                                  "positive": {
                                                    "leaf": "t473"
                                                  }
                                                },
                                                "positive": {
                                                  "leaf": "t471"
                                                }
                                              },
                                              "positive": {
                                                "leaf": "t469"
                                              }
                                            }
                                          }
                                        },
                                        "positive": {
                                          "leaf": "t183"
                                        }
                                      },
                                      "positive": {
                                        "cut": [
                                          "0",
                                          "1",
                                          "0",
                                          "-62/125"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "1",
                                            "0",
                                            "0",
                                            "9/40"
                                          ],
                                          "negative": {
                                            "leaf": "t240"
                                          },
                                          "positive": {
                                            "leaf": "t241"
                                          }
                                        },
                                        "positive": {
                                          "leaf": "t239"
                                        }
                                      }
                                    },
                                    "positive": {
                                      "cut": [
                                        "0",
                                        "0",
                                        "-1",
                                        "-37/250"
                                      ],
                                      "negative": {
                                        "cut": [
                                          "0",
                                          "1",
                                          "0",
                                          "-62/125"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "1",
                                            "0",
                                            "0",
                                            "9/40"
                                          ],
                                          "negative": {
                                            "leaf": "t236"
                                          },
                                          "positive": {
                                            "leaf": "t237"
                                          }
                                        },
                                        "positive": {
                                          "leaf": "t235"
                                        }
                                      },
                                      "positive": {
                                        "cut": [
                                          "0",
                                          "1",
                                          "0",
                                          "-421/1000"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "0",
                                            "0",
                                            "1",
                                            "26/125"
                                          ],
                                          "negative": {
                                            "cut": [
                                              "-1",
                                              "0",
                                              "0",
                                              "-23/1000"
                                            ],
                                            "negative": {
                                              "leaf": "t304"
                                            },
                                            "positive": {
                                              "leaf": "t305"
                                            }
                                          },
                                          "positive": {
                                            "leaf": "t303"
                                          }
                                        },
                                        "positive": {
                                          "cut": [
                                            "0",
                                            "0",
                                            "1",
                                            "26/125"
                                          ],
                                          "negative": {
                                            "cut": [
                                              "-1",
                                              "0",
                                              "0",
                                              "-23/1000"
                                            ],
                                            "negative": {
                                              "leaf": "t324"
                                            },
                                            "positive": {
                                              "leaf": "t325"
                                            }
                                          },
                                          "positive": {
                                            "leaf": "t323"
                                          }
                                        }
                                      }
                                    }
                                  }
                                },
                                "positive": {
                                  "cut": [
                                    "0",
                                    "1",
                                    "0",
                                    "83/1000"
                                  ],
                                  "negative": {
                                    "cut": [
                                      "0",
                                      "0",
                                      "-1",
                                      "-83/1000"
                                    ],
                                    "negative": {
                                      "leaf": "t132"
                                    },
                                    "positive": {
                                      "cut": [
                                        "0",
                                        "-1",
                                        [
                                          "-29/20",
                                          "0",
                                          "0",
                                          "1/100",
                                          "0",
                                          "0"
                                        ],
                                        [
                                          "-757/2000",
                                          "0",
                                          "-481/5560",
                                          "53/10000",
                                          "0",
                                          "9/27800"
                                        ]
                                      ],
                                      "negative": {
                                        "cut": [
                                          "0",
                                          "0",
                                          "1",
                                          "197/1000"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "1",
                                            "0",
                                            "0",
                                            "-189/500"
                                          ],
                                          "negative": {
                                            "leaf": "t252"
                                          },
                                          "positive": {
                                            "leaf": "t253"
                                          }
                                        },
                                        "positive": {
                                          "leaf": "t251"
                                        }
                                      },
                                      "positive": {
                                        "leaf": "t249"
                                      }
                                    }
                                  },
                                  "positive": {
                                    "cut": [
                                      "0",
                                      "1",
                                      "0",
                                      "-117/1000"
                                    ],
                                    "negative": {
                                      "cut": [
                                        "0",
                                        "0",
                                        "-1",
                                        "-61/1000"
                                      ],
                                      "negative": {
                                        "cut": [
                                          "-1",
                                          "0",
                                          "0",
                                          "143/500"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "0",
                                            "-1",
                                            "0",
                                            "17/500"
                                          ],
                                          "negative": {
                                            "cut": [
                                              "0",
                                              "0",
                                              "1",
                                              "-34/125"
                                            ],
                                            "negative": {
                                              "leaf": "t170"
                                            },
                                            "positive": {
                                              "cut": [
                                                "1",
                                                "0",
                                                "0",
                                                "-3/8"
                                              ],
                                              "negative": {
                                                "cut": [
                                                  "-1",
                                                  "0",
                                                  "0",
                                                  "73/250"
                                                ],
                                                "negative": {
                                                  "cut": [
                                                    "0",
                                                    "0",
                                                    "-1",
                                                    "283/1000"
                                                  ],
                                                  "negative": {
                                                    "leaf": "t696"
                                                  },
                                                  "positive": {
                                                    "leaf": "t697"
                                                  }
                                                },
                                                "positive": {
                                                  "leaf": "t695"
                                                }
                                              },
                                              "positive": {
                                                "cut": [
                                                  "0",
                                                  "0",
                                                  "-1",
                                                  "283/1000"
                                                ],
                                                "negative": {
                                                  "leaf": "t732"
                                                },
                                                "positive": {
                                                  "leaf": "t733"
                                                }
                                              }
                                            }
                                          },
                                          "positive": {
                                            "cut": [
                                              "1",
                                              "0",
                                              "0",
                                              "-3/8"
                                            ],
                                            "negative": {
                                              "cut": [
                                                "-1",
                                                "0",
                                                "0",
                                                "73/250"
                                              ],
                                              "negative": {
                                                "cut": [
                                                  "0",
                                                  "0",
                                                  "-1",
                                                  "283/1000"
                                                ],
                                                "negative": {
                                                  "leaf": "t686"
                                                },
                                                "positive": {
                                                  "leaf": "t687"
                                                }
                                              },
                                              "positive": {
                                                "leaf": "t685"
                                              }
                                            },
                                            "positive": {
                                              "cut": [
                                                "0",
                                                "0",
                                                "-1",
                                                "283/1000"
                                              ],
                                              "negative": {
                                                "leaf": "t726"
                                              },
                                              "positive": {
                                                "leaf": "t727"
                                              }
                                            }
                                          }
                                        },
                                        "positive": {
                                          "leaf": "t167"
                                        }
                                      },
                                      "positive": {
                                        "cut": [
                                          "0",
                                          "0",
                                          "1",
                                          "197/1000"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "1",
                                            "0",
                                            "0",
                                            "-189/500"
                                          ],
                                          "negative": {
                                            "leaf": "t270"
                                          },
                                          "positive": {
                                            "leaf": "t271"
                                          }
                                        },
                                        "positive": {
                                          "leaf": "t269"
                                        }
                                      }
                                    },
                                    "positive": {
                                      "cut": [
                                        "0",
                                        "0",
                                        "-1",
                                        "-61/1000"
                                      ],
                                      "negative": {
                                        "cut": [
                                          "0",
                                          "1",
                                          "0",
                                          "-367/1000"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "0",
                                            "0",
                                            "1",
                                            "-34/125"
                                          ],
                                          "negative": {
                                            "leaf": "t176"
                                          },
                                          "positive": {
                                            "cut": [
                                              "1",
                                              "0",
                                              "0",
                                              "-3/8"
                                            ],
                                            "negative": {
                                              "cut": [
                                                "0",
                                                "-1",
                                                "0",
                                                "223/1000"
                                              ],
                                              "negative": {
                                                "cut": [
                                                  "-1",
                                                  "0",
                                                  "0",
                                                  "73/250"
                                                ],
                                                "negative": {
                                                  "cut": [
                                                    "0",
                                                    "1",
                                                    "0",
                                                    "-153/500"
                                                  ],
                                                  "negative": {
                                                    "cut": [
                                                      "0",
                                                      "0",
                                                      "-1",
                                                      "283/1000"
                                                    ],
                                                    "negative": {
                                                      "leaf": "t656"
                                                    },
                                                    "positive": {
                                                      "leaf": "t657"
                                                    }
                                                  },
                                                  "positive": {
                                                    "leaf": "t655"
                                                  }
                                                },
                                                "positive": {
                                                  "leaf": "t653"
                                                }
                                              },
                                              "positive": {
                                                "cut": [
                                                  "-1",
                                                  "0",
                                                  "0",
                                                  "73/250"
                                                ],
                                                "negative": {
                                                  "cut": [
                                                    "0",
                                                    "0",
                                                    "-1",
                                                    "283/1000"
                                                  ],
                                                  "negative": {
                                                    "leaf": "t700"
                                                  },
                                                  "positive": {
                                                    "leaf": "t701"
                                                  }
                                                },
                                                "positive": {
                                                  "leaf": "t699"
                                                }
                                              }
                                            },
                                            "positive": {
                                              "cut": [
                                                "0",
                                                "1",
                                                "0",
                                                "-223/1000"
                                              ],
                                              "negative": {
                                                "cut": [
                                                  "0",
                                                  "0",
                                                  "-1",
                                                  "283/1000"
                                                ],
                                                "negative": {
                                                  "leaf": "t716"
                                                },
                                                "positive": {
                                                  "leaf": "t717"
                                                }
                                              },
                                              "positive": {
                                                "leaf": "t715"
                                              }
                                            }
                                          }
                                        },
                                        "positive": {
                                          "leaf": "t175"
                                        }
                                      },
                                      "positive": {
                                        "cut": [
                                          "0",
                                          "1",
                                          "0",
                                          "-7/50"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "0",
                                            "0",
                                            "1",
                                            "197/1000"
                                          ],
                                          "negative": {
                                            "cut": [
                                              "1",
                                              "0",
                                              "0",
                                              "-189/500"
                                            ],
                                            "negative": {
                                              "leaf": "t276"
                                            },
                                            "positive": {
                                              "leaf": "t277"
                                            }
                                          },
                                          "positive": {
                                            "leaf": "t275"
                                          }
                                        },
                                        "positive": {
                                          "cut": [
                                            "0",
                                            "1",
                                            "0",
                                            "-421/1000"
                                          ],
                                          "negative": {
                                            "cut": [
                                              "0",
                                              "0",
                                              "1",
                                              "26/125"
                                            ],
                                            "negative": {
                                              "cut": [
                                                "0",
                                                "-1",
                                                "0",
                                                "171/1000"
                                              ],
                                              "negative": {
                                                "cut": [
                                                  "1",
                                                  "0",
                                                  "0",
                                                  "-31/100"
                                                ],
                                                "negative": {
                                                  "leaf": "t316"
                                                },
                                                "positive": {
                                                  "leaf": "t317"
                                                }
                                              },
                                              "positive": {
                                                "leaf": "t315"
                                              }
                                            },
                                            "positive": {
                                              "leaf": "t313"
                                            }
                                          },
                                          "positive": {
                                            "cut": [
                                              "0",
                                              "0",
                                              "1",
                                              "26/125"
                                            ],
                                            "negative": {
                                              "cut": [
                                                "1",
                                                "0",
                                                "0",
                                                "-31/100"
                                              ],
                                              "negative": {
                                                "leaf": "t328"
                                              },
                                              "positive": {
                                                "leaf": "t329"
                                              }
                                            },
                                            "positive": {
                                              "leaf": "t327"
                                            }
                                          }
                                        }
                                      }
                                    }
                                  }
                                }
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "-1",
                                  [
                                    "-29/20",
                                    "0",
                                    "0",
                                    "1/100",
                                    "0",
                                    "0"
                                  ],
                                  [
                                    "-757/2000",
                                    "0",
                                    "-481/5560",
                                    "53/10000",
                                    "0",
                                    "9/27800"
                                  ]
                                ],
                                "negative": {
                                  "cut": [
                                    "-1",
                                    [
                                      "9/20",
                                      "0",
                                      "0",
                                      "-1/100",
                                      "0",
                                      "0"
                                    ],
                                    [
                                      "-29/20",
                                      "0",
                                      "0",
                                      "1/100",
                                      "0",
                                      "0"
                                    ],
                                    [
                                      "-649/1000",
                                      "0",
                                      "-291/3475",
                                      "23/2500",
                                      "0",
                                      "4/17375"
                                    ]
                                  ],
                                  "negative": {
                                    "cut": [
                                      "-1",
                                      [
                                        "-11/20",
                                        "0",
                                        "0",
                                        "-1/100",
                                        "0",
                                        "0"
                                      ],
                                      "0",
                                      [
                                        "1019/2000",
                                        "0",
                                        "231/27800",
                                        "39/10000",
                                        "0",
                                        "-39/139000"
                                      ]
                                    ],
                                    "negative": {
                                      "cut": [
                                        "0",
                                        "1",
                                        "0",
                                        "-7/50"
                                      ],
                                      "negative": {
                                        "cut": [
                                          "0",
                                          "-1",
                                          "0",
                                          "-193/1000"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "-1",
                                            "0",
                                            "0",
                                            "9/200"
                                          ],
                                          "negative": {
                                            "cut": [
                                              "1",
                                              "0",
                                              "0",
                                              "-189/500"
                                            ],
                                            "negative": {
                                              "leaf": "t266"
                                            },
                                            "positive": {
                                              "leaf": "t267"
                                            }
                                          },
                                          "positive": {
                                            "leaf": "t265"
                                          }
                                        },
                                        "positive": {
                                          "leaf": "t263"
                                        }
                                      },
                                      "positive": {
                                        "cut": [
                                          "0",
                                          "-1",
                                          "0",
                                          "421/1000"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "0",
                                            "0",
                                            "1",
                                            "229/500"
                                          ],
                                          "negative": {
                                            "cut": [
                                              "-1",
                                              "0",
                                              "0",
                                              "-23/1000"
                                            ],
                                            "negative": {
                                              "cut": [
                                                "1",
                                                "0",
                                                [
                                                  "29/20",
                                                  "0",
                                                  "0",
                                                  "-1/100",
                                                  "0",
                                                  "0"
                                                ],
                                                [
                                                  "1737/20000",
                                                  "0",
                                                  "-481/5560",
                                                  "47/100000",
                                                  "0",
                                                  "9/27800"
                                                ]
                                              ],
                                              "negative": {
                                                "cut": [
                                                  "1",
                                                  [
                                                    "-29/20",
                                                    "0",
                                                    "0",
                                                    "1/100",
                                                    "0",
                                                    "0"
                                                  ],
                                                  [
                                                    "9/20",
                                                    "0",
                                                    "0",
                                                    "-1/100",
                                                    "0",
                                                    "0"
                                                  ],
                                                  [
                                                    "139/200",
                                                    "0",
                                                    "-291/3475",
                                                    "-17/5000",
                                                    "0",
                                                    "4/17375"
                                                  ]
                                                ],
                                                "negative": {
                                                  "cut": [
                                                    "1",
                                                    "0",
                                                    [
                                                      "-11/20",
                                                      "0",
                                                      "0",
                                                      "-1/100",
                                                      "0",
                                                      "0"
                                                    ],
                                                    [
                                                      "3617/20000",
                                                      "0",
                                                      "231/27800",
                                                      "47/100000",
                                                      "0",
                                                      "-39/139000"
                                                    ]
                                                  ],
                                                  "negative": {
                                                    "leaf": "t288"
                                                  },
                                                  "positive": {
                                                    "leaf": "t289"
                                                  }
                                                },
                                                "positive": {
                                                  "leaf": "t287"
                                                }
                                              },
                                              "positive": {
                                                "leaf": "t285"
                                              }
                                            },
                                            "positive": {
                                              "leaf": "t283"
                                            }
                                          },
                                          "positive": {
                                            "cut": [
                                              "-1",
                                              "0",
                                              "0",
                                              "-23/1000"
                                            ],
                                            "negative": {
                                              "cut": [
                                                "1",
                                                "0",
                                                "0",
                                                "-31/100"
                                              ],
                                              "negative": {
                                                "leaf": "t320"
                                              },
                                              "positive": {
                                                "leaf": "t321"
                                              }
                                            },
                                            "positive": {
                                              "leaf": "t319"
                                            }
                                          }
                                        },
                                        "positive": {
                                          "cut": [
                                            "-1",
                                            "0",
                                            "0",
                                            "-23/1000"
                                          ],
                                          "negative": {
                                            "cut": [
                                              "0",
                                              "0",
                                              "1",
                                              "229/500"
                                            ],
                                            "negative": {
                                              "cut": [
                                                "1",
                                                "0",
                                                [
                                                  "29/20",
                                                  "0",
                                                  "0",
                                                  "-1/100",
                                                  "0",
                                                  "0"
                                                ],
                                                [
                                                  "1737/20000",
                                                  "0",
                                                  "-481/5560",
                                                  "47/100000",
                                                  "0",
                                                  "9/27800"
                                                ]
                                              ],
                                              "negative": {
                                                "cut": [
                                                  "1",
                                                  "0",
                                                  [
                                                    "-11/20",
                                                    "0",
                                                    "0",
                                                    "-1/100",
                                                    "0",
                                                    "0"
                                                  ],
                                                  [
                                                    "3617/20000",
                                                    "0",
                                                    "231/27800",
                                                    "47/100000",
                                                    "0",
                                                    "-39/139000"
                                                  ]
                                                ],
                                                "negative": {
                                                  "cut": [
                                                    "0",
                                                    "-1",
                                                    "0",
                                                    "387/1000"
                                                  ],
                                                  "negative": {
                                                    "leaf": "t298"
                                                  },
                                                  "positive": {
                                                    "leaf": "t299"
                                                  }
                                                },
                                                "positive": {
                                                  "leaf": "t297"
                                                }
                                              },
                                              "positive": {
                                                "leaf": "t295"
                                              }
                                            },
                                            "positive": {
                                              "cut": [
                                                "0",
                                                "-1",
                                                "0",
                                                "171/1000"
                                              ],
                                              "negative": {
                                                "cut": [
                                                  "1",
                                                  "0",
                                                  "0",
                                                  "-31/100"
                                                ],
                                                "negative": {
                                                  "leaf": "t308"
                                                },
                                                "positive": {
                                                  "leaf": "t309"
                                                }
                                              },
                                              "positive": {
                                                "leaf": "t307"
                                              }
                                            }
                                          },
                                          "positive": {
                                            "leaf": "t291"
                                          }
                                        }
                                      }
                                    },
                                    "positive": {
                                      "cut": [
                                        "0",
                                        "1",
                                        "0",
                                        "189/1000"
                                      ],
                                      "negative": {
                                        "cut": [
                                          "1",
                                          "0",
                                          "0",
                                          "-31/1000"
                                        ],
                                        "negative": {
                                          "leaf": "t368"
                                        },
                                        "positive": {
                                          "leaf": "t369"
                                        }
                                      },
                                      "positive": {
                                        "leaf": "t367"
                                      }
                                    }
                                  },
                                  "positive": {
                                    "cut": [
                                      "0",
                                      "1",
                                      "0",
                                      "189/1000"
                                    ],
                                    "negative": {
                                      "cut": [
                                        "1",
                                        "0",
                                        "0",
                                        "-31/1000"
                                      ],
                                      "negative": {
                                        "leaf": "t364"
                                      },
                                      "positive": {
                                        "leaf": "t365"
                                      }
                                    },
                                    "positive": {
                                      "leaf": "t363"
                                    }
                                  }
                                },
                                "positive": {
                                  "cut": [
                                    "0",
                                    "1",
                                    "0",
                                    "189/1000"
                                  ],
                                  "negative": {
                                    "cut": [
                                      "1",
                                      "0",
                                      "0",
                                      "-31/1000"
                                    ],
                                    "negative": {
                                      "leaf": "t346"
                                    },
                                    "positive": {
                                      "leaf": "t347"
                                    }
                                  },
                                  "positive": {
                                    "leaf": "t345"
                                  }
                                }
                              }
                            },
                            "positive": {
                              "cut": [
                                "1",
                                [
                                  "-9/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                "0",
                                [
                                  "4003/20000",
                                  "0",
                                  "279/5560",
                                  "493/100000",
                                  "0",
                                  "-11/27800"
                                ]
                              ],
                              "negative": {
                                "leaf": "t128"
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "1",
                                  "0",
                                  "-123/500"
                                ],
                                "negative": {
                                  "cut": [
                                    "0",
                                    "-1",
                                    "0",
                                    "163/1000"
                                  ],
                                  "negative": {
                                    "cut": [
                                      "0",
                                      "0",
                                      "-1",
                                      "-37/250"
                                    ],
                                    "negative": {
                                      "leaf": "t224"
                                    },
                                    "positive": {
                                      "leaf": "t225"
                                    }
                                  },
                                  "positive": {
                                    "leaf": "t223"
                                  }
                                },
                                "positive": {
                                  "cut": [
                                    "0",
                                    "0",
                                    "-1",
                                    "-37/250"
                                  ],
                                  "negative": {
                                    "cut": [
                                      "0",
                                      "1",
                                      "0",
                                      "-62/125"
                                    ],
                                    "negative": {
                                      "leaf": "t244"
                                    },
                                    "positive": {
                                      "leaf": "t245"
                                    }
                                  },
                                  "positive": {
                                    "leaf": "t243"
                                  }
                                }
                              }
                            }
                          },
                          "positive": {
                            "leaf": "t25"
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "1",
                            [
                              "49/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            [
                              "2433/2500",
                              "0",
                              "837/27800",
                              "-49/25000",
                              "0",
                              "-33/139000"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              [
                                "11/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-9/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "12099/20000",
                                "0",
                                "127/2780",
                                "689/100000",
                                "0",
                                "-7/13900"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "1",
                                [
                                  "-9/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                "0",
                                [
                                  "4003/20000",
                                  "0",
                                  "279/5560",
                                  "493/100000",
                                  "0",
                                  "-11/27800"
                                ]
                              ],
                              "negative": {
                                "leaf": "t126"
                              },
                              "positive": {
                                "leaf": "t127"
                              }
                            },
                            "positive": {
                              "leaf": "t125"
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "-123/500"
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "-1",
                                "0",
                                "163/1000"
                              ],
                              "negative": {
                                "leaf": "t196"
                              },
                              "positive": {
                                "leaf": "t197"
                              }
                            },
                            "positive": {
                              "leaf": "t195"
                            }
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "1",
                          [
                            "49/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "2433/2500",
                            "0",
                            "837/27800",
                            "-49/25000",
                            "0",
                            "-33/139000"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "1",
                            [
                              "11/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            [
                              "-9/20",
                              "0",
                              "0",
                              "1/100",
                              "0",
                              "0"
                            ],
                            [
                              "12099/20000",
                              "0",
                              "127/2780",
                              "689/100000",
                              "0",
                              "-7/13900"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              "1",
                              "1",
                              [
                                "1111/1000",
                                "0",
                                "-303/13900",
                                "0",
                                "0",
                                "-3/69500"
                              ]
                            ],
                            "negative": {
                              "leaf": "t120"
                            },
                            "positive": {
                              "leaf": "t121"
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "0",
                              "-1",
                              "9/50"
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "-1",
                                "0",
                                "9/1000"
                              ],
                              "negative": {
                                "leaf": "t438"
                              },
                              "positive": {
                                "leaf": "t439"
                              }
                            },
                            "positive": {
                              "leaf": "t437"
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            "9/50"
                          ],
                          "negative": {
                            "leaf": "t422"
                          },
                          "positive": {
                            "leaf": "t423"
                          }
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "1",
                        [
                          "49/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "2433/2500",
                          "0",
                          "837/27800",
                          "-49/25000",
                          "0",
                          "-33/139000"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          [
                            "11/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-9/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "12099/20000",
                            "0",
                            "127/2780",
                            "689/100000",
                            "0",
                            "-7/13900"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "1",
                            "1",
                            "1",
                            [
                              "1111/1000",
                              "0",
                              "-303/13900",
                              "0",
                              "0",
                              "-3/69500"
                            ]
                          ],
                          "negative": {
                            "leaf": "t114"
                          },
                          "positive": {
                            "leaf": "t115"
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            "9/50"
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "-1",
                              "0",
                              "9/1000"
                            ],
                            "negative": {
                              "leaf": "t402"
                            },
                            "positive": {
                              "leaf": "t403"
                            }
                          },
                          "positive": {
                            "leaf": "t401"
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          "123/500"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "1",
                            "0",
                            "-62/125"
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              "0",
                              "0",
                              "9/40"
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "0",
                                "1",
                                "-37/200"
                              ],
                              "negative": {
                                "leaf": "t192"
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "1",
                                  "0",
                                  "-343/1000"
                                ],
                                "negative": {
                                  "cut": [
                                    "-1",
                                    "0",
                                    "0",
                                    "-323/1000"
                                  ],
                                  "negative": {
                                    "leaf": "t480"
                                  },
                                  "positive": {
                                    "leaf": "t481"
                                  }
                                },
                                "positive": {
                                  "leaf": "t479"
                                }
                              }
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "0",
                                "-1",
                                "9/50"
                              ],
                              "negative": {
                                "cut": [
                                  "1",
                                  "0",
                                  "0",
                                  "-11/1000"
                                ],
                                "negative": {
                                  "cut": [
                                    "0",
                                    "1",
                                    "0",
                                    "-343/1000"
                                  ],
                                  "negative": {
                                    "leaf": "t454"
                                  },
                                  "positive": {
                                    "leaf": "t455"
                                  }
                                },
                                "positive": {
                                  "leaf": "t453"
                                }
                              },
                              "positive": {
                                "leaf": "t451"
                              }
                            }
                          },
                          "positive": {
                            "leaf": "t189"
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "163/1000"
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              "0",
                              "0",
                              "9/40"
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "0",
                                "1",
                                "-37/200"
                              ],
                              "negative": {
                                "leaf": "t218"
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "1",
                                  "0",
                                  "-22/125"
                                ],
                                "negative": {
                                  "cut": [
                                    "-1",
                                    "0",
                                    "0",
                                    "-323/1000"
                                  ],
                                  "negative": {
                                    "leaf": "t448"
                                  },
                                  "positive": {
                                    "leaf": "t449"
                                  }
                                },
                                "positive": {
                                  "cut": [
                                    "-1",
                                    "0",
                                    "0",
                                    "-323/1000"
                                  ],
                                  "negative": {
                                    "leaf": "t484"
                                  },
                                  "positive": {
                                    "leaf": "t485"
                                  }
                                }
                              }
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                "-22/125"
                              ],
                              "negative": {
                                "cut": [
                                  "0",
                                  "0",
                                  "-1",
                                  "9/50"
                                ],
                                "negative": {
                                  "cut": [
                                    "1",
                                    "0",
                                    "0",
                                    "-11/1000"
                                  ],
                                  "negative": {
                                    "leaf": "t444"
                                  },
                                  "positive": {
                                    "leaf": "t445"
                                  }
                                },
                                "positive": {
                                  "leaf": "t443"
                                }
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "0",
                                  "-1",
                                  "9/50"
                                ],
                                "negative": {
                                  "cut": [
                                    "1",
                                    "0",
                                    "0",
                                    "-11/1000"
                                  ],
                                  "negative": {
                                    "leaf": "t476"
                                  },
                                  "positive": {
                                    "leaf": "t477"
                                  }
                                },
                                "positive": {
                                  "leaf": "t475"
                                }
                              }
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "0",
                              "-1",
                              "9/50"
                            ],
                            "negative": {
                              "cut": [
                                "1",
                                "0",
                                "0",
                                "-11/1000"
                              ],
                              "negative": {
                                "cut": [
                                  "-1",
                                  "0",
                                  "0",
                                  "-323/1000"
                                ],
                                "negative": {
                                  "leaf": "t428"
                                },
                                "positive": {
                                  "leaf": "t429"
                                }
                              },
                              "positive": {
                                "leaf": "t427"
                              }
                            },
                            "positive": {
                              "leaf": "t425"
                            }
                          }
                        }
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "1",
                      [
                        "11/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-9/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "12099/20000",
                        "0",
                        "127/2780",
                        "689/100000",
                        "0",
                        "-7/13900"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        "1",
                        "1",
                        [
                          "1111/1000",
                          "0",
                          "-303/13900",
                          "0",
                          "0",
                          "-3/69500"
                        ]
                      ],
                      "negative": {
                        "leaf": "t108"
                      },
                      "positive": {
                        "leaf": "t109"
                      }
                    },
                    "positive": {
                      "cut": [
                        "-1",
                        "-1",
                        "-1",
                        [
                          "1033/1000",
                          "0",
                          "-303/13900",
                          "0",
                          "0",
                          "-3/69500"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "-22/125"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            "9/50"
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              "0",
                              "0",
                              "-11/1000"
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "-1",
                                "0",
                                "9/1000"
                              ],
                              "negative": {
                                "cut": [
                                  "-1",
                                  "0",
                                  "0",
                                  "-323/1000"
                                ],
                                "negative": {
                                  "leaf": "t380"
                                },
                                "positive": {
                                  "leaf": "t381"
                                }
                              },
                              "positive": {
                                "leaf": "t379"
                              }
                            },
                            "positive": {
                              "leaf": "t377"
                            }
                          },
                          "positive": {
                            "leaf": "t375"
                          }
                        },
                        "positive": {
                          "cut": [
                            "1",
                            "0",
                            "0",
                            "-11/1000"
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "-343/1000"
                            ],
                            "negative": {
                              "cut": [
                                "-1",
                                "0",
                                "0",
                                "-323/1000"
                              ],
                              "negative": {
                                "leaf": "t466"
                              },
                              "positive": {
                                "leaf": "t467"
                              }
                            },
                            "positive": {
                              "leaf": "t465"
                            }
                          },
                          "positive": {
                            "leaf": "t463"
                          }
                        }
                      },
                      "positive": {
                        "leaf": "t371"
                      }
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "1",
                    "0",
                    [
                      "-29/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    [
                      "689/5000",
                      "0",
                      "-481/5560",
                      "49/25000",
                      "0",
                      "9/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "1",
                      "1",
                      "1",
                      [
                        "1111/1000",
                        "0",
                        "-303/13900",
                        "0",
                        "0",
                        "-3/69500"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        [
                          "-29/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "49/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "3747/20000",
                          "0",
                          "1799/13900",
                          "297/100000",
                          "0",
                          "-51/69500"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          [
                            "49/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          "0",
                          [
                            "32597/20000",
                            "0",
                            "837/27800",
                            "-493/100000",
                            "0",
                            "-33/139000"
                          ]
                        ],
                        "negative": {
                          "leaf": "t84"
                        },
                        "positive": {
                          "leaf": "t85"
                        }
                      },
                      "positive": {
                        "leaf": "t83"
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "1",
                        "0",
                        "247/1000"
                      ],
                      "negative": {
                        "leaf": "t634"
                      },
                      "positive": {
                        "leaf": "t635"
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "1",
                      [
                        "29/20",
                        "0",
                        "0",
                        "-1/100",
                        "0",
                        "0"
                      ],
                      "0",
                      [
                        "0",
                        "0",
                        "-481/5560",
                        "0",
                        "0",
                        "9/27800"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        "1/4"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "83/1000"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            "-83/1000"
                          ],
                          "negative": {
                            "leaf": "t160"
                          },
                          "positive": {
                            "leaf": "t161"
                          }
                        },
                        "positive": {
                          "leaf": "t159"
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "247/1000"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            "22/125"
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              "0",
                              "0",
                              "-77/1000"
                            ],
                            "negative": {
                              "leaf": "t614"
                            },
                            "positive": {
                              "leaf": "t615"
                            }
                          },
                          "positive": {
                            "leaf": "t613"
                          }
                        },
                        "positive": {
                          "leaf": "t611"
                        }
                      }
                    },
                    "positive": {
                      "leaf": "t155"
                    }
                  }
                }
              },
              "positive": {
                "cut": [
                  "1",
                  "0",
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "689/5000",
                    "0",
                    "-481/5560",
                    "49/25000",
                    "0",
                    "9/27800"
                  ]
                ],
                "negative": {
                  "cut": [
                    "1",
                    "1",
                    "1",
                    [
                      "1111/1000",
                      "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"
                      ],
                      [
                        "-7621/20000",
                        "0",
                        "-291/3475",
                        "689/100000",
                        "0",
                        "4/17375"
                      ]
                    ],
                    "negative": {
                      "leaf": "t38"
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "1",
                        "0",
                        "247/1000"
                      ],
                      "negative": {
                        "leaf": "t632"
                      },
                      "positive": {
                        "leaf": "t633"
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "1",
                      "0",
                      "-22/125"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "-1",
                        "0",
                        "9/1000"
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          "0",
                          "0",
                          "-323/1000"
                        ],
                        "negative": {
                          "leaf": "t420"
                        },
                        "positive": {
                          "leaf": "t421"
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "247/1000"
                        ],
                        "negative": {
                          "leaf": "t642"
                        },
                        "positive": {
                          "leaf": "t643"
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        "-323/1000"
                      ],
                      "negative": {
                        "leaf": "t486"
                      },
                      "positive": {
                        "leaf": "t487"
                      }
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "1",
                    [
                      "29/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    "0",
                    [
                      "0",
                      "0",
                      "-481/5560",
                      "0",
                      "0",
                      "9/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      "0",
                      "0",
                      "1/4"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "1",
                        "0",
                        "83/1000"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "0",
                          "1",
                          "-1/4"
                        ],
                        "negative": {
                          "leaf": "t152"
                        },
                        "positive": {
                          "leaf": "t153"
                        }
                      },
                      "positive": {
                        "cut": [
                          "1",
                          "0",
                          "0",
                          "-3/8"
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            "0",
                            "0",
                            "73/250"
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "-1",
                              "0",
                              "-27/1000"
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "0",
                                "-1",
                                "283/1000"
                              ],
                              "negative": {
                                "leaf": "t672"
                              },
                              "positive": {
                                "leaf": "t673"
                              }
                            },
                            "positive": {
                              "leaf": "t671"
                            }
                          },
                          "positive": {
                            "leaf": "t669"
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "-27/1000"
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "0",
                              "-1",
                              "283/1000"
                            ],
                            "negative": {
                              "leaf": "t724"
                            },
                            "positive": {
                              "leaf": "t725"
                            }
                          },
                          "positive": {
                            "leaf": "t723"
                          }
                        }
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "1",
                        "0",
                        "-22/125"
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          "0",
                          "0",
                          "-11/1000"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "-1",
                            "0",
                            "9/1000"
                          ],
                          "negative": {
                            "leaf": "t398"
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "247/1000"
                            ],
                            "negative": {
                              "leaf": "t644"
                            },
                            "positive": {
                              "leaf": "t645"
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "1",
                            "0",
                            "247/1000"
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "-1",
                              "0",
                              "-33/100"
                            ],
                            "negative": {
                              "cut": [
                                "-1",
                                "0",
                                "0",
                                "77/1000"
                              ],
                              "negative": {
                                "cut": [
                                  "1",
                                  "0",
                                  [
                                    "11/20",
                                    "0",
                                    "0",
                                    "1/100",
                                    "0",
                                    "0"
                                  ],
                                  [
                                    "4719/20000",
                                    "0",
                                    "231/27800",
                                    "329/100000",
                                    "0",
                                    "-39/139000"
                                  ]
                                ],
                                "negative": {
                                  "cut": [
                                    "0",
                                    "0",
                                    "-1",
                                    "259/1000"
                                  ],
                                  "negative": {
                                    "leaf": "t514"
                                  },
                                  "positive": {
                                    "cut": [
                                      "0",
                                      "0",
                                      "-1",
                                      "22/125"
                                    ],
                                    "negative": {
                                      "cut": [
                                        "0",
                                        "1",
                                        "0",
                                        "163/500"
                                      ],
                                      "negative": {
                                        "cut": [
                                          "1",
                                          "0",
                                          "0",
                                          "-4/25"
                                        ],
                                        "negative": {
                                          "leaf": "t520"
                                        },
                                        "positive": {
                                          "leaf": "t521"
                                        }
                                      },
                                      "positive": {
                                        "cut": [
                                          "0",
                                          "0",
                                          "-1",
                                          "109/500"
                                        ],
                                        "negative": {
                                          "cut": [
                                            "1",
                                            "0",
                                            "0",
                                            "-4/25"
                                          ],
                                          "negative": {
                                            "leaf": "t524"
                                          },
                                          "positive": {
                                            "leaf": "t525"
                                          }
                                        },
                                        "positive": {
                                          "leaf": "t523"
                                        }
                                      }
                                    },
                                    "positive": {
                                      "leaf": "t517"
                                    }
                                  }
                                },
                                "positive": {
                                  "leaf": "t513"
                                }
                              },
                              "positive": {
                                "cut": [
                                  "0",
                                  "0",
                                  "-1",
                                  "22/125"
                                ],
                                "negative": {
                                  "leaf": "t646"
                                },
                                "positive": {
                                  "leaf": "t647"
                                }
                              }
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "0",
                                "-1",
                                "22/125"
                              ],
                              "negative": {
                                "cut": [
                                  "1",
                                  "0",
                                  "0",
                                  "-4/25"
                                ],
                                "negative": {
                                  "leaf": "t606"
                                },
                                "positive": {
                                  "leaf": "t607"
                                }
                              },
                              "positive": {
                                "leaf": "t605"
                              }
                            }
                          },
                          "positive": {
                            "cut": [
                              "-1",
                              "0",
                              "0",
                              "77/1000"
                            ],
                            "negative": {
                              "cut": [
                                "1",
                                "0",
                                [
                                  "11/20",
                                  "0",
                                  "0",
                                  "1/100",
                                  "0",
                                  "0"
                                ],
                                [
                                  "4719/20000",
                                  "0",
                                  "231/27800",
                                  "329/100000",
                                  "0",
                                  "-39/139000"
                                ]
                              ],
                              "negative": {
                                "cut": [
                                  "0",
                                  "1",
                                  "0",
                                  "213/1000"
                                ],
                                "negative": {
                                  "cut": [
                                    "0",
                                    "0",
                                    "-1",
                                    "259/1000"
                                  ],
                                  "negative": {
                                    "leaf": "t532"
                                  },
                                  "positive": {
                                    "cut": [
                                      "0",
                                      "0",
                                      "-1",
                                      "109/500"
                                    ],
                                    "negative": {
                                      "cut": [
                                        "1",
                                        "0",
                                        "0",
                                        "-4/25"
                                      ],
                                      "negative": {
                                        "leaf": "t536"
                                      },
                                      "positive": {
                                        "leaf": "t537"
                                      }
                                    },
                                    "positive": {
                                      "leaf": "t535"
                                    }
                                  }
                                },
                                "positive": {
                                  "leaf": "t531"
                                }
                              },
                              "positive": {
                                "leaf": "t529"
                              }
                            },
                            "positive": {
                              "leaf": "t527"
                            }
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "1",
                          "0",
                          "0",
                          "-11/1000"
                        ],
                        "negative": {
                          "leaf": "t482"
                        },
                        "positive": {
                          "leaf": "t483"
                        }
                      }
                    }
                  },
                  "positive": {
                    "leaf": "t147"
                  }
                }
              }
            },
            "positive": {
              "cut": [
                "0",
                "1",
                "0",
                "-22/125"
              ],
              "negative": {
                "cut": [
                  "1",
                  "0",
                  "0",
                  "-11/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "-1",
                    "0",
                    "9/1000"
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      "0",
                      "0",
                      "-323/1000"
                    ],
                    "negative": {
                      "leaf": "t392"
                    },
                    "positive": {
                      "leaf": "t393"
                    }
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "1",
                      "0",
                      "247/1000"
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        "0",
                        [
                          "29/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "-689/5000",
                          "0",
                          "481/5560",
                          "-49/25000",
                          "0",
                          "-9/27800"
                        ]
                      ],
                      "negative": {
                        "leaf": "t640"
                      },
                      "positive": {
                        "leaf": "t641"
                      }
                    },
                    "positive": {
                      "leaf": "t639"
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "0",
                    "1",
                    "0",
                    "247/1000"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "-1",
                      "0",
                      "-33/100"
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        "77/1000"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "0",
                          "-1",
                          "451/1000"
                        ],
                        "negative": {
                          "cut": [
                            "1",
                            "0",
                            "0",
                            "-4/25"
                          ],
                          "negative": {
                            "leaf": "t496"
                          },
                          "positive": {
                            "leaf": "t497"
                          }
                        },
                        "positive": {
                          "leaf": "t495"
                        }
                      },
                      "positive": {
                        "leaf": "t493"
                      }
                    },
                    "positive": {
                      "cut": [
                        "1",
                        "0",
                        "0",
                        "-4/25"
                      ],
                      "negative": {
                        "leaf": "t566"
                      },
                      "positive": {
                        "leaf": "t567"
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "-1",
                      "0",
                      "0",
                      "77/1000"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "0",
                        "-1",
                        "451/1000"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "41/250"
                        ],
                        "negative": {
                          "cut": [
                            "1",
                            "0",
                            "0",
                            "-4/25"
                          ],
                          "negative": {
                            "leaf": "t504"
                          },
                          "positive": {
                            "leaf": "t505"
                          }
                        },
                        "positive": {
                          "cut": [
                            "1",
                            "0",
                            "0",
                            "-3/8"
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              "0",
                              "0",
                              "73/250"
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "0",
                                "1",
                                "-243/500"
                              ],
                              "negative": {
                                "cut": [
                                  "0",
                                  "-1",
                                  "0",
                                  "-27/1000"
                                ],
                                "negative": {
                                  "leaf": "t708"
                                },
                                "positive": {
                                  "leaf": "t709"
                                }
                              },
                              "positive": {
                                "leaf": "t707"
                              }
                            },
                            "positive": {
                              "leaf": "t705"
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "0",
                              "1",
                              "-243/500"
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "-1",
                                "0",
                                "-27/1000"
                              ],
                              "negative": {
                                "leaf": "t736"
                              },
                              "positive": {
                                "leaf": "t737"
                              }
                            },
                            "positive": {
                              "leaf": "t735"
                            }
                          }
                        }
                      },
                      "positive": {
                        "cut": [
                          "1",
                          "0",
                          "0",
                          "-3/8"
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            "0",
                            "0",
                            "73/250"
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "0",
                              "1",
                              "-9/20"
                            ],
                            "negative": {
                              "cut": [
                                "0",
                                "-1",
                                "0",
                                "-27/1000"
                              ],
                              "negative": {
                                "leaf": "t680"
                              },
                              "positive": {
                                "leaf": "t681"
                              }
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "-1",
                                "0",
                                "-27/1000"
                              ],
                              "negative": {
                                "leaf": "t712"
                              },
                              "positive": {
                                "leaf": "t713"
                              }
                            }
                          },
                          "positive": {
                            "leaf": "t677"
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "0",
                            "1",
                            "-9/20"
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "-1",
                              "0",
                              "-27/1000"
                            ],
                            "negative": {
                              "leaf": "t730"
                            },
                            "positive": {
                              "leaf": "t731"
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "-1",
                              "0",
                              "-27/1000"
                            ],
                            "negative": {
                              "leaf": "t740"
                            },
                            "positive": {
                              "leaf": "t741"
                            }
                          }
                        }
                      }
                    },
                    "positive": {
                      "leaf": "t499"
                    }
                  }
                }
              },
              "positive": {
                "cut": [
                  "1",
                  "0",
                  "0",
                  "-11/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "1",
                    "0",
                    "-343/1000"
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      "0",
                      "0",
                      "-323/1000"
                    ],
                    "negative": {
                      "leaf": "t460"
                    },
                    "positive": {
                      "leaf": "t461"
                    }
                  },
                  "positive": {
                    "leaf": "t459"
                  }
                },
                "positive": {
                  "cut": [
                    "1",
                    "0",
                    "0",
                    "-3/8"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "-1",
                      "0",
                      "223/1000"
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        "73/250"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "1",
                          "0",
                          "-153/500"
                        ],
                        "negative": {
                          "leaf": "t664"
                        },
                        "positive": {
                          "leaf": "t665"
                        }
                      },
                      "positive": {
                        "leaf": "t663"
                      }
                    },
                    "positive": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        "73/250"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "0",
                          "1",
                          "-9/20"
                        ],
                        "negative": {
                          "leaf": "t690"
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "0",
                            "1",
                            "-243/500"
                          ],
                          "negative": {
                            "leaf": "t710"
                          },
                          "positive": {
                            "leaf": "t711"
                          }
                        }
                      },
                      "positive": {
                        "leaf": "t689"
                      }
                    }
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "1",
                      "0",
                      "-223/1000"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "0",
                        "1",
                        "-9/20"
                      ],
                      "negative": {
                        "leaf": "t720"
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "0",
                          "1",
                          "-243/500"
                        ],
                        "negative": {
                          "leaf": "t738"
                        },
                        "positive": {
                          "leaf": "t739"
                        }
                      }
                    },
                    "positive": {
                      "leaf": "t719"
                    }
                  }
                }
              }
            }
          },
          "positive": {
            "cut": [
              "1",
              "0",
              [
                "-29/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "689/5000",
                "0",
                "-481/5560",
                "49/25000",
                "0",
                "9/27800"
              ]
            ],
            "negative": {
              "cut": [
                "1",
                [
                  "-29/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "-9/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "-7621/20000",
                  "0",
                  "-291/3475",
                  "689/100000",
                  "0",
                  "4/17375"
                ]
              ],
              "negative": {
                "cut": [
                  "1",
                  [
                    "49/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  "0",
                  [
                    "32597/20000",
                    "0",
                    "837/27800",
                    "-493/100000",
                    "0",
                    "-33/139000"
                  ]
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "-1",
                    "-49/250"
                  ],
                  "negative": {
                    "leaf": "t76"
                  },
                  "positive": {
                    "cut": [
                      "1",
                      "0",
                      "0",
                      "-31/1000"
                    ],
                    "negative": {
                      "leaf": "t360"
                    },
                    "positive": {
                      "leaf": "t361"
                    }
                  }
                },
                "positive": {
                  "leaf": "t75"
                }
              },
              "positive": {
                "leaf": "t73"
              }
            },
            "positive": {
              "cut": [
                "0",
                "-1",
                "0",
                "-33/100"
              ],
              "negative": {
                "cut": [
                  "-1",
                  "0",
                  "0",
                  "77/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "-1",
                    "451/1000"
                  ],
                  "negative": {
                    "leaf": "t542"
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "-1",
                      [
                        "-9/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-7221/20000",
                        "0",
                        "279/5560",
                        "329/100000",
                        "0",
                        "-11/27800"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        "0",
                        [
                          "11/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        [
                          "4719/20000",
                          "0",
                          "231/27800",
                          "329/100000",
                          "0",
                          "-39/139000"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "0",
                          "-1",
                          "259/1000"
                        ],
                        "negative": {
                          "leaf": "t548"
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            "22/125"
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "163/500"
                            ],
                            "negative": {
                              "leaf": "t552"
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "0",
                                "-1",
                                "109/500"
                              ],
                              "negative": {
                                "leaf": "t554"
                              },
                              "positive": {
                                "leaf": "t555"
                              }
                            }
                          },
                          "positive": {
                            "leaf": "t551"
                          }
                        }
                      },
                      "positive": {
                        "leaf": "t547"
                      }
                    },
                    "positive": {
                      "leaf": "t545"
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "0",
                    "0",
                    "-1",
                    "22/125"
                  ],
                  "negative": {
                    "leaf": "t630"
                  },
                  "positive": {
                    "leaf": "t631"
                  }
                }
              },
              "positive": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "22/125"
                ],
                "negative": {
                  "cut": [
                    "1",
                    "0",
                    "0",
                    "-4/25"
                  ],
                  "negative": {
                    "leaf": "t602"
                  },
                  "positive": {
                    "leaf": "t603"
                  }
                },
                "positive": {
                  "leaf": "t601"
                }
              }
            }
          }
        },
        "positive": {
          "cut": [
            "1",
            "0",
            [
              "-29/20",
              "0",
              "0",
              "1/100",
              "0",
              "0"
            ],
            [
              "689/5000",
              "0",
              "-481/5560",
              "49/25000",
              "0",
              "9/27800"
            ]
          ],
          "negative": {
            "cut": [
              "1",
              "0",
              [
                "11/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "2649/5000",
                "0",
                "231/27800",
                "49/25000",
                "0",
                "-39/139000"
              ]
            ],
            "negative": {
              "cut": [
                "0",
                "1",
                "0",
                [
                  "493/1000",
                  "0",
                  "-291/6950",
                  "0",
                  "0",
                  "2/17375"
                ]
              ],
              "negative": {
                "cut": [
                  "0",
                  "1",
                  [
                    "49/20",
                    "0",
                    "0",
                    "-1/100",
                    "0",
                    "0"
                  ],
                  [
                    "2433/2500",
                    "0",
                    "837/27800",
                    "-49/25000",
                    "0",
                    "-33/139000"
                  ]
                ],
                "negative": {
                  "cut": [
                    "0",
                    "1",
                    [
                      "-9/20",
                      "0",
                      "0",
                      "1/100",
                      "0",
                      "0"
                    ],
                    [
                      "253/625",
                      "0",
                      "279/5560",
                      "49/25000",
                      "0",
                      "-11/27800"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "1",
                      [
                        "11/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "-9/20",
                        "0",
                        "0",
                        "1/100",
                        "0",
                        "0"
                      ],
                      [
                        "12099/20000",
                        "0",
                        "127/2780",
                        "689/100000",
                        "0",
                        "-7/13900"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "1",
                        [
                          "-9/20",
                          "0",
                          "0",
                          "1/100",
                          "0",
                          "0"
                        ],
                        "0",
                        [
                          "4003/20000",
                          "0",
                          "279/5560",
                          "493/100000",
                          "0",
                          "-11/27800"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "1",
                          "1",
                          "1",
                          [
                            "1111/1000",
                            "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"
                            ],
                            [
                              "-7621/20000",
                              "0",
                              "-291/3475",
                              "689/100000",
                              "0",
                              "4/17375"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "0",
                              "0",
                              "-1",
                              "-49/250"
                            ],
                            "negative": {
                              "leaf": "t104"
                            },
                            "positive": {
                              "cut": [
                                "-1",
                                "-1",
                                "1",
                                [
                                  "88/125",
                                  "0",
                                  "-303/13900",
                                  "0",
                                  "0",
                                  "-3/69500"
                                ]
                              ],
                              "negative": {
                                "cut": [
                                  "0",
                                  "1",
                                  "0",
                                  "189/1000"
                                ],
                                "negative": {
                                  "cut": [
                                    "-1",
                                    "0",
                                    "0",
                                    "-303/1000"
                                  ],
                                  "negative": {
                                    "leaf": "t334"
                                  },
                                  "positive": {
                                    "leaf": "t335"
                                  }
                                },
                                "positive": {
                                  "leaf": "t333"
                                }
                              },
                              "positive": {
                                "leaf": "t331"
                              }
                            }
                          },
                          "positive": {
                            "cut": [
                              "0",
                              "1",
                              "0",
                              "33/100"
                            ],
                            "negative": {
                              "cut": [
                                "-1",
                                "0",
                                "0",
                                "-173/1000"
                              ],
                              "negative": {
                                "leaf": "t558"
                              },
                              "positive": {
                                "leaf": "t559"
                              }
                            },
                            "positive": {
                              "cut": [
                                "0",
                                "1",
                                "0",
                                "247/1000"
                              ],
                              "negative": {
                                "cut": [
                                  "-1",
                                  "0",
                                  "0",
                                  "-173/1000"
                                ],
                                "negative": {
                                  "leaf": "t628"
                                },
                                "positive": {
                                  "leaf": "t629"
                                }
                              },
                              "positive": {
                                "leaf": "t627"
                              }
                            }
                          }
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "1",
                            "0",
                            "247/1000"
                          ],
                          "negative": {
                            "leaf": "t608"
                          },
                          "positive": {
                            "leaf": "t609"
                          }
                        }
                      },
                      "positive": {
                        "leaf": "t99"
                      }
                    },
                    "positive": {
                      "leaf": "t97"
                    }
                  },
                  "positive": {
                    "cut": [
                      "-1",
                      "-1",
                      "-1",
                      [
                        "1033/1000",
                        "0",
                        "-303/13900",
                        "0",
                        "0",
                        "-3/69500"
                      ]
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "0",
                        "-1",
                        "9/50"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          "9/1000"
                        ],
                        "negative": {
                          "leaf": "t434"
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "1",
                            "0",
                            "247/1000"
                          ],
                          "negative": {
                            "leaf": "t636"
                          },
                          "positive": {
                            "leaf": "t637"
                          }
                        }
                      },
                      "positive": {
                        "leaf": "t433"
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "1",
                        "0",
                        "247/1000"
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          "0",
                          "0",
                          "-173/1000"
                        ],
                        "negative": {
                          "leaf": "t624"
                        },
                        "positive": {
                          "leaf": "t625"
                        }
                      },
                      "positive": {
                        "leaf": "t623"
                      }
                    }
                  }
                },
                "positive": {
                  "cut": [
                    "-1",
                    "-1",
                    "-1",
                    [
                      "1033/1000",
                      "0",
                      "-303/13900",
                      "0",
                      "0",
                      "-3/69500"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "-1",
                      "9/50"
                    ],
                    "negative": {
                      "cut": [
                        "0",
                        "-1",
                        "0",
                        "9/1000"
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          "0",
                          "0",
                          "-323/1000"
                        ],
                        "negative": {
                          "leaf": "t414"
                        },
                        "positive": {
                          "leaf": "t415"
                        }
                      },
                      "positive": {
                        "leaf": "t413"
                      }
                    },
                    "positive": {
                      "leaf": "t411"
                    }
                  },
                  "positive": {
                    "leaf": "t409"
                  }
                }
              },
              "positive": {
                "cut": [
                  "0",
                  "-1",
                  "0",
                  "163/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "-1",
                    "-37/250"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "1",
                      "-37/200"
                    ],
                    "negative": {
                      "leaf": "t212"
                    },
                    "positive": {
                      "leaf": "t213"
                    }
                  },
                  "positive": {
                    "leaf": "t211"
                  }
                },
                "positive": {
                  "cut": [
                    "0",
                    "0",
                    "-1",
                    "9/50"
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      "0",
                      "0",
                      "-323/1000"
                    ],
                    "negative": {
                      "leaf": "t384"
                    },
                    "positive": {
                      "leaf": "t385"
                    }
                  },
                  "positive": {
                    "leaf": "t383"
                  }
                }
              }
            },
            "positive": {
              "cut": [
                "0",
                "-1",
                "0",
                "9/1000"
              ],
              "negative": {
                "cut": [
                  "-1",
                  "0",
                  "0",
                  "-323/1000"
                ],
                "negative": {
                  "leaf": "t406"
                },
                "positive": {
                  "leaf": "t407"
                }
              },
              "positive": {
                "cut": [
                  "-1",
                  "0",
                  [
                    "-9/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "437/10000",
                    "0",
                    "279/5560",
                    "37/50000",
                    "0",
                    "-11/27800"
                  ]
                ],
                "negative": {
                  "cut": [
                    "0",
                    "1",
                    "0",
                    "33/100"
                  ],
                  "negative": {
                    "cut": [
                      "-1",
                      "0",
                      "0",
                      "-173/1000"
                    ],
                    "negative": {
                      "leaf": "t576"
                    },
                    "positive": {
                      "leaf": "t577"
                    }
                  },
                  "positive": {
                    "cut": [
                      "0",
                      "1",
                      "0",
                      "247/1000"
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        "-173/1000"
                      ],
                      "negative": {
                        "leaf": "t620"
                      },
                      "positive": {
                        "leaf": "t621"
                      }
                    },
                    "positive": {
                      "leaf": "t619"
                    }
                  }
                },
                "positive": {
                  "leaf": "t573"
                }
              }
            }
          },
          "positive": {
            "cut": [
              "-1",
              "0",
              [
                "-9/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "437/10000",
                "0",
                "279/5560",
                "37/50000",
                "0",
                "-11/27800"
              ]
            ],
            "negative": {
              "cut": [
                "0",
                "1",
                "0",
                "33/100"
              ],
              "negative": {
                "leaf": "t570"
              },
              "positive": {
                "cut": [
                  "0",
                  "1",
                  "0",
                  "247/1000"
                ],
                "negative": {
                  "leaf": "t616"
                },
                "positive": {
                  "leaf": "t617"
                }
              }
            },
            "positive": {
              "leaf": "t569"
            }
          }
        }
      },
      "positive": {
        "cut": [
          "0",
          "1",
          "0",
          [
            "493/1000",
            "0",
            "-291/6950",
            "0",
            "0",
            "2/17375"
          ]
        ],
        "negative": {
          "cut": [
            "0",
            "1",
            [
              "49/20",
              "0",
              "0",
              "-1/100",
              "0",
              "0"
            ],
            [
              "2433/2500",
              "0",
              "837/27800",
              "-49/25000",
              "0",
              "-33/139000"
            ]
          ],
          "negative": {
            "cut": [
              "0",
              "1",
              [
                "-9/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "253/625",
                "0",
                "279/5560",
                "49/25000",
                "0",
                "-11/27800"
              ]
            ],
            "negative": {
              "cut": [
                "-1",
                "0",
                "0",
                "-211/500"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "-49/250"
                ],
                "negative": {
                  "leaf": "t68"
                },
                "positive": {
                  "leaf": "t69"
                }
              },
              "positive": {
                "leaf": "t67"
              }
            },
            "positive": {
              "leaf": "t65"
            }
          },
          "positive": {
            "leaf": "t63"
          }
        },
        "positive": {
          "cut": [
            "-1",
            "0",
            [
              "-29/20",
              "0",
              "0",
              "1/100",
              "0",
              "0"
            ],
            [
              "-237/1250",
              "0",
              "-481/5560",
              "37/25000",
              "0",
              "9/27800"
            ]
          ],
          "negative": {
            "cut": [
              "0",
              "1",
              "0",
              "-123/500"
            ],
            "negative": {
              "cut": [
                "0",
                "-1",
                "0",
                "163/1000"
              ],
              "negative": {
                "cut": [
                  "0",
                  "0",
                  "-1",
                  "-37/250"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "1",
                    "-37/200"
                  ],
                  "negative": {
                    "leaf": "t206"
                  },
                  "positive": {
                    "leaf": "t207"
                  }
                },
                "positive": {
                  "leaf": "t205"
                }
              },
              "positive": {
                "leaf": "t203"
              }
            },
            "positive": {
              "cut": [
                "0",
                "0",
                "-1",
                "-37/250"
              ],
              "negative": {
                "cut": [
                  "0",
                  "1",
                  "0",
                  "-62/125"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "1",
                    "-37/200"
                  ],
                  "negative": {
                    "leaf": "t230"
                  },
                  "positive": {
                    "leaf": "t231"
                  }
                },
                "positive": {
                  "leaf": "t229"
                }
              },
              "positive": {
                "leaf": "t227"
              }
            }
          },
          "positive": {
            "leaf": "t199"
          }
        }
      }
    },
    "positive": {
      "cut": [
        "0",
        "0",
        "1",
        [
          "49/250",
          "0",
          "-291/6950",
          "0",
          "0",
          "2/17375"
        ]
      ],
      "negative": {
        "cut": [
          "1",
          "0",
          "0",
          [
            "211/500",
            "0",
            "-291/6950",
            "0",
            "0",
            "2/17375"
          ]
        ],
        "negative": {
          "cut": [
            "1",
            "0",
            [
              "-29/20",
              "0",
              "0",
              "1/100",
              "0",
              "0"
            ],
            [
              "689/5000",
              "0",
              "-481/5560",
              "49/25000",
              "0",
              "9/27800"
            ]
          ],
          "negative": {
            "cut": [
              "1",
              "0",
              [
                "11/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "2649/5000",
                "0",
                "231/27800",
                "49/25000",
                "0",
                "-39/139000"
              ]
            ],
            "negative": {
              "cut": [
                "0",
                "1",
                [
                  "-9/20",
                  "0",
                  "0",
                  "1/100",
                  "0",
                  "0"
                ],
                [
                  "253/625",
                  "0",
                  "279/5560",
                  "49/25000",
                  "0",
                  "-11/27800"
                ]
              ],
              "negative": {
                "cut": [
                  "1",
                  [
                    "-29/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-9/20",
                    "0",
                    "0",
                    "1/100",
                    "0",
                    "0"
                  ],
                  [
                    "-7621/20000",
                    "0",
                    "-291/3475",
                    "689/100000",
                    "0",
                    "4/17375"
                  ]
                ],
                "negative": {
                  "cut": [
                    "1",
                    [
                      "49/20",
                      "0",
                      "0",
                      "-1/100",
                      "0",
                      "0"
                    ],
                    "0",
                    [
                      "32597/20000",
                      "0",
                      "837/27800",
                      "-493/100000",
                      "0",
                      "-33/139000"
                    ]
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "-1",
                      "0",
                      "-493/1000"
                    ],
                    "negative": {
                      "cut": [
                        "-1",
                        "0",
                        "0",
                        "-211/500"
                      ],
                      "negative": {
                        "cut": [
                          "0",
                          "0",
                          "-1",
                          "-49/250"
                        ],
                        "negative": {
                          "leaf": "t58"
                        },
                        "positive": {
                          "cut": [
                            "0",
                            "-1",
                            [
                              "49/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            [
                              "27141/20000",
                              "0",
                              "837/27800",
                              "-529/100000",
                              "0",
                              "-33/139000"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              [
                                "-11/20",
                                "0",
                                "0",
                                "-1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-9/20",
                                "0",
                                "0",
                                "1/100",
                                "0",
                                "0"
                              ],
                              [
                                "-181/2000",
                                "0",
                                "127/2780",
                                "59/10000",
                                "0",
                                "-7/13900"
                              ]
                            ],
                            "negative": {
                              "cut": [
                                "-1",
                                [
                                  "9/20",
                                  "0",
                                  "0",
                                  "-1/100",
                                  "0",
                                  "0"
                                ],
                                "0",
                                [
                                  "1731/20000",
                                  "0",
                                  "279/5560",
                                  "61/100000",
                                  "0",
                                  "-11/27800"
                                ]
                              ],
                              "negative": {
                                "cut": [
                                  "-1",
                                  "-1",
                                  "1",
                                  [
                                    "88/125",
                                    "0",
                                    "-303/13900",
                                    "0",
                                    "0",
                                    "-3/69500"
                                  ]
                                ],
                                "negative": {
                                  "cut": [
                                    "1",
                                    "0",
                                    "0",
                                    "-31/1000"
                                  ],
                                  "negative": {
                                    "cut": [
                                      "-1",
                                      "0",
                                      "0",
                                      "-303/1000"
                                    ],
                                    "negative": {
                                      "leaf": "t358"
                                    },
                                    "positive": {
                                      "leaf": "t359"
                                    }
                                  },
                                  "positive": {
                                    "leaf": "t357"
                                  }
                                },
                                "positive": {
                                  "leaf": "t355"
                                }
                              },
                              "positive": {
                                "leaf": "t353"
                              }
                            },
                            "positive": {
                              "leaf": "t351"
                            }
                          },
                          "positive": {
                            "leaf": "t349"
                          }
                        }
                      },
                      "positive": {
                        "leaf": "t57"
                      }
                    },
                    "positive": {
                      "cut": [
                        "0",
                        "-1",
                        [
                          "49/20",
                          "0",
                          "0",
                          "-1/100",
                          "0",
                          "0"
                        ],
                        [
                          "27141/20000",
                          "0",
                          "837/27800",
                          "-529/100000",
                          "0",
                          "-33/139000"
                        ]
                      ],
                      "negative": {
                        "cut": [
                          "-1",
                          [
                            "-11/20",
                            "0",
                            "0",
                            "-1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-9/20",
                            "0",
                            "0",
                            "1/100",
                            "0",
                            "0"
                          ],
                          [
                            "-181/2000",
                            "0",
                            "127/2780",
                            "59/10000",
                            "0",
                            "-7/13900"
                          ]
                        ],
                        "negative": {
                          "cut": [
                            "-1",
                            [
                              "9/20",
                              "0",
                              "0",
                              "-1/100",
                              "0",
                              "0"
                            ],
                            "0",
                            [
                              "1731/20000",
                              "0",
                              "279/5560",
                              "61/100000",
                              "0",
                              "-11/27800"
                            ]
                          ],
                          "negative": {
                            "cut": [
                              "1",
                              "0",
                              "0",
                              "-31/1000"
                            ],
                            "negative": {
                              "leaf": "t342"
                            },
                            "positive": {
                              "leaf": "t343"
                            }
                          },
                          "positive": {
                            "leaf": "t341"
                          }
                        },
                        "positive": {
                          "leaf": "t339"
                        }
                      },
                      "positive": {
                        "cut": [
                          "0",
                          "-1",
                          "0",
                          "-497/1000"
                        ],
                        "negative": {
                          "cut": [
                            "0",
                            "0",
                            "-1",
                            "22/125"
                          ],
                          "negative": {
                            "cut": [
                              "-1",
                              "0",
                              "0",
                              "-173/1000"
                            ],
                            "negative": {
                              "leaf": "t564"
                            },
                            "positive": {
                              "leaf": "t565"
                            }
                          },
                          "positive": {
                            "leaf": "t563"
                          }
                        },
                        "positive": {
                          "leaf": "t561"
                        }
                      }
                    }
                  },
                  "positive": {
                    "leaf": "t53"
                  }
                },
                "positive": {
                  "leaf": "t51"
                }
              },
              "positive": {
                "leaf": "t49"
              }
            },
            "positive": {
              "cut": [
                "0",
                "-1",
                "0",
                "-497/1000"
              ],
              "negative": {
                "cut": [
                  "-1",
                  "0",
                  "0",
                  "-173/1000"
                ],
                "negative": {
                  "leaf": "t598"
                },
                "positive": {
                  "leaf": "t599"
                }
              },
              "positive": {
                "leaf": "t597"
              }
            }
          },
          "positive": {
            "cut": [
              "0",
              "-1",
              "0",
              "-497/1000"
            ],
            "negative": {
              "cut": [
                "0",
                "0",
                "-1",
                "22/125"
              ],
              "negative": {
                "cut": [
                  "1",
                  "0",
                  "0",
                  "-4/25"
                ],
                "negative": {
                  "leaf": "t594"
                },
                "positive": {
                  "leaf": "t595"
                }
              },
              "positive": {
                "leaf": "t593"
              }
            },
            "positive": {
              "leaf": "t591"
            }
          }
        },
        "positive": {
          "cut": [
            "1",
            "-1",
            "1",
            [
              "0",
              "0",
              "-303/13900",
              "0",
              "0",
              "-3/69500"
            ]
          ],
          "negative": {
            "cut": [
              "1",
              [
                "29/20",
                "0",
                "0",
                "-1/100",
                "0",
                "0"
              ],
              "0",
              [
                "0",
                "0",
                "-481/5560",
                "0",
                "0",
                "9/27800"
              ]
            ],
            "negative": {
              "cut": [
                "-1",
                "0",
                "0",
                "1/4"
              ],
              "negative": {
                "cut": [
                  "0",
                  "-1",
                  "0",
                  "-417/1000"
                ],
                "negative": {
                  "cut": [
                    "0",
                    "0",
                    "-1",
                    "-83/1000"
                  ],
                  "negative": {
                    "cut": [
                      "0",
                      "0",
                      "1",
                      "-1/4"
                    ],
                    "negative": {
                      "leaf": "t144"
                    },
                    "positive": {
                      "leaf": "t145"
                    }
                  },
                  "positive": {
                    "leaf": "t143"
                  }
                },
                "positive": {
                  "leaf": "t141"
                }
              },
              "positive": {
                "leaf": "t139"
              }
            },
            "positive": {
              "leaf": "t137"
            }
          },
          "positive": {
            "leaf": "t135"
          }
        }
      },
      "positive": {
        "cut": [
          "-1",
          "0",
          [
            "-9/20",
            "0",
            "0",
            "1/100",
            "0",
            "0"
          ],
          [
            "437/10000",
            "0",
            "279/5560",
            "37/50000",
            "0",
            "-11/27800"
          ]
        ],
        "negative": {
          "cut": [
            "0",
            "-1",
            [
              "11/20",
              "0",
              "0",
              "1/100",
              "0",
              "0"
            ],
            [
              "-2063/10000",
              "0",
              "231/27800",
              "37/50000",
              "0",
              "-39/139000"
            ]
          ],
          "negative": {
            "cut": [
              "-1",
              [
                "9/20",
                "0",
                "0",
                "-1/100",
                "0",
                "0"
              ],
              [
                "11/20",
                "0",
                "0",
                "1/100",
                "0",
                "0"
              ],
              [
                "4577/20000",
                "0",
                "127/2780",
                "-173/100000",
                "0",
                "-7/13900"
              ]
            ],
            "negative": {
              "cut": [
                "0",
                "-1",
                "0",
                "-497/1000"
              ],
              "negative": {
                "cut": [
                  "-1",
                  "0",
                  "0",
                  "-173/1000"
                ],
                "negative": {
                  "cut": [
                    "1",
                    "0",
                    "0",
                    "-4/25"
                  ],
                  "negative": {
                    "leaf": "t588"
                  },
                  "positive": {
                    "leaf": "t589"
                  }
                },
                "positive": {
                  "leaf": "t587"
                }
              },
              "positive": {
                "leaf": "t585"
              }
            },
            "positive": {
              "leaf": "t583"
            }
          },
          "positive": {
            "leaf": "t581"
          }
        },
        "positive": {
          "leaf": "t579"
        }
      }
    }
  },
  "matches": [
    {
      "source": "s6",
      "target": "t32",
      "group": "piece-0",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ]
        ],
        "translation": [
          "7/25",
          "7/25",
          "-7/25"
        ]
      }
    },
    {
      "source": "s18",
      "target": "t38",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s13",
      "target": "t58",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s20",
      "target": "t68",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s17",
      "target": "t76",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s22",
      "target": "t84",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s21",
      "target": "t104",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s24",
      "target": "t108",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s26",
      "target": "t114",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s28",
      "target": "t120",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s30",
      "target": "t126",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s32",
      "target": "t25",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s34",
      "target": "t128",
      "group": "piece-12",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "-211/500",
          "-493/1000",
          "-49/250"
        ]
      }
    },
    {
      "source": "s56",
      "target": "t132",
      "group": "piece-16",
      "pose": {
        "rotation": [
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "0",
          "0",
          "0"
        ]
      }
    },
    {
      "source": "s51",
      "target": "t144",
      "group": "piece-16",
      "pose": {
        "rotation": [
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "0",
          "0",
          "0"
        ]
      }
    },
    {
      "source": "s53",
      "target": "t152",
      "group": "piece-16",
      "pose": {
        "rotation": [
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "0",
          "0",
          "0"
        ]
      }
    },
    {
      "source": "s55",
      "target": "t160",
      "group": "piece-16",
      "pose": {
        "rotation": [
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "0",
          "0",
          "0"
        ]
      }
    },
    {
      "source": "s64",
      "target": "t170",
      "group": "piece-19",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "143/500",
          "117/1000",
          "-61/1000"
        ]
      }
    },
    {
      "source": "s76",
      "target": "t176",
      "group": "piece-19",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "143/500",
          "117/1000",
          "-61/1000"
        ]
      }
    },
    {
      "source": "s78",
      "target": "t184",
      "group": "piece-19",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "143/500",
          "117/1000",
          "-61/1000"
        ]
      }
    },
    {
      "source": "s90",
      "target": "t192",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s108",
      "target": "t196",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s110",
      "target": "t206",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s105",
      "target": "t212",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s107",
      "target": "t218",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s112",
      "target": "t224",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s114",
      "target": "t230",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s120",
      "target": "t236",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s122",
      "target": "t195",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s124",
      "target": "t240",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s123",
      "target": "t244",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s125",
      "target": "t246",
      "group": "piece-31",
      "pose": {
        "rotation": [
          [
            "0",
            "1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "1/40",
          "123/500",
          "-37/250"
        ]
      }
    },
    {
      "source": "s138",
      "target": "t252",
      "group": "piece-35",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "59/200",
          "39/100",
          "-53/100"
        ]
      }
    },
    {
      "source": "s140",
      "target": "t266",
      "group": "piece-35",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "59/200",
          "39/100",
          "-53/100"
        ]
      }
    },
    {
      "source": "s142",
      "target": "t270",
      "group": "piece-35",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "59/200",
          "39/100",
          "-53/100"
        ]
      }
    },
    {
      "source": "s143",
      "target": "t276",
      "group": "piece-35",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "59/200",
          "39/100",
          "-53/100"
        ]
      }
    },
    {
      "source": "s148",
      "target": "t288",
      "group": "piece-43",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "-23/1000",
          "421/1000",
          "-26/125"
        ]
      }
    },
    {
      "source": "s152",
      "target": "t298",
      "group": "piece-43",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "-23/1000",
          "421/1000",
          "-26/125"
        ]
      }
    },
    {
      "source": "s160",
      "target": "t304",
      "group": "piece-43",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "-23/1000",
          "421/1000",
          "-26/125"
        ]
      }
    },
    {
      "source": "s157",
      "target": "t308",
      "group": "piece-43",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "-23/1000",
          "421/1000",
          "-26/125"
        ]
      }
    },
    {
      "source": "s159",
      "target": "t316",
      "group": "piece-43",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "-23/1000",
          "421/1000",
          "-26/125"
        ]
      }
    },
    {
      "source": "s168",
      "target": "t320",
      "group": "piece-43",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "-23/1000",
          "421/1000",
          "-26/125"
        ]
      }
    },
    {
      "source": "s170",
      "target": "t324",
      "group": "piece-43",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "-23/1000",
          "421/1000",
          "-26/125"
        ]
      }
    },
    {
      "source": "s171",
      "target": "t328",
      "group": "piece-43",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ]
        ],
        "translation": [
          "-23/1000",
          "421/1000",
          "-26/125"
        ]
      }
    },
    {
      "source": "s186",
      "target": "t334",
      "group": "piece-50",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "57/500",
          "61/1000",
          "-529/1000"
        ]
      }
    },
    {
      "source": "s190",
      "target": "t342",
      "group": "piece-50",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "57/500",
          "61/1000",
          "-529/1000"
        ]
      }
    },
    {
      "source": "s196",
      "target": "t346",
      "group": "piece-50",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "57/500",
          "61/1000",
          "-529/1000"
        ]
      }
    },
    {
      "source": "s191",
      "target": "t358",
      "group": "piece-50",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "57/500",
          "61/1000",
          "-529/1000"
        ]
      }
    },
    {
      "source": "s193",
      "target": "t360",
      "group": "piece-50",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "57/500",
          "61/1000",
          "-529/1000"
        ]
      }
    },
    {
      "source": "s198",
      "target": "t364",
      "group": "piece-50",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "57/500",
          "61/1000",
          "-529/1000"
        ]
      }
    },
    {
      "source": "s199",
      "target": "t368",
      "group": "piece-50",
      "pose": {
        "rotation": [
          [
            "0",
            "-1",
            "0"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "-1"
          ]
        ],
        "translation": [
          "57/500",
          "61/1000",
          "-529/1000"
        ]
      }
    },
    {
      "source": "s210",
      "target": "t380",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s214",
      "target": "t384",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s216",
      "target": "t392",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s218",
      "target": "t398",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s222",
      "target": "t402",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s224",
      "target": "t406",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s226",
      "target": "t414",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s219",
      "target": "t420",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s230",
      "target": "t422",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s232",
      "target": "t428",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s227",
      "target": "t434",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s231",
      "target": "t438",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s234",
      "target": "t444",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s236",
      "target": "t448",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s250",
      "target": "t454",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s252",
      "target": "t460",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s254",
      "target": "t466",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s256",
      "target": "t472",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s258",
      "target": "t476",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s260",
      "target": "t480",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s262",
      "target": "t482",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s264",
      "target": "t484",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s263",
      "target": "t486",
      "group": "piece-73",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "-1"
          ],
          [
            "1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "47/500",
          "213/500",
          "513/1000"
        ]
      }
    },
    {
      "source": "s270",
      "target": "t496",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s276",
      "target": "t504",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s278",
      "target": "t514",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s282",
      "target": "t520",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s286",
      "target": "t524",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s151",
      "target": "t532",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s288",
      "target": "t536",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s271",
      "target": "t542",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s279",
      "target": "t548",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s283",
      "target": "t552",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s287",
      "target": "t554",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s306",
      "target": "t558",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s314",
      "target": "t564",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s320",
      "target": "t566",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s322",
      "target": "t570",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s305",
      "target": "t576",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s324",
      "target": "t588",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s311",
      "target": "t594",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s313",
      "target": "t598",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s326",
      "target": "t51",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s328",
      "target": "t602",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s321",
      "target": "t606",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s340",
      "target": "t608",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s346",
      "target": "t614",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s348",
      "target": "t616",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s337",
      "target": "t620",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s350",
      "target": "t624",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s352",
      "target": "t628",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s356",
      "target": "t630",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s362",
      "target": "t632",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s364",
      "target": "t634",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s351",
      "target": "t636",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s366",
      "target": "t73",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s372",
      "target": "t640",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s374",
      "target": "t642",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s376",
      "target": "t644",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s373",
      "target": "t493",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s375",
      "target": "t641",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s377",
      "target": "t646",
      "group": "piece-112",
      "pose": {
        "rotation": [
          [
            "0",
            "0",
            "1"
          ],
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ]
        ],
        "translation": [
          "77/1000",
          "-247/1000",
          "-37/500"
        ]
      }
    },
    {
      "source": "s384",
      "target": "t656",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s386",
      "target": "t664",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s394",
      "target": "t672",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s396",
      "target": "t680",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s398",
      "target": "t686",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s397",
      "target": "t690",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s400",
      "target": "t696",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s401",
      "target": "t700",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s406",
      "target": "t708",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s405",
      "target": "t710",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s407",
      "target": "t712",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s418",
      "target": "t716",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s420",
      "target": "t720",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s417",
      "target": "t724",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s422",
      "target": "t726",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s421",
      "target": "t730",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s423",
      "target": "t732",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s430",
      "target": "t736",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s429",
      "target": "t738",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    },
    {
      "source": "s431",
      "target": "t740",
      "group": "piece-132",
      "pose": {
        "rotation": [
          [
            "-1",
            "0",
            "0"
          ],
          [
            "0",
            "-1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "translation": [
          "3/8",
          "223/1000",
          "7/10"
        ]
      }
    }
  ],
  "residuals": {
    "source": [
      "s101",
      "s127",
      "s129",
      "s131",
      "s137",
      "s141",
      "s155",
      "s161",
      "s165",
      "s167",
      "s173",
      "s175",
      "s177",
      "s179",
      "s181",
      "s183",
      "s189",
      "s195",
      "s201",
      "s203",
      "s217",
      "s225",
      "s229",
      "s237",
      "s239",
      "s241",
      "s253",
      "s257",
      "s261",
      "s265",
      "s267",
      "s269",
      "s273",
      "s275",
      "s277",
      "s281",
      "s285",
      "s289",
      "s291",
      "s293",
      "s295",
      "s297",
      "s307",
      "s317",
      "s323",
      "s325",
      "s327",
      "s329",
      "s331",
      "s349",
      "s35",
      "s353",
      "s355",
      "s363",
      "s365",
      "s367",
      "s369",
      "s379",
      "s381",
      "s383",
      "s387",
      "s389",
      "s39",
      "s391",
      "s403",
      "s409",
      "s41",
      "s411",
      "s413",
      "s425",
      "s427",
      "s43",
      "s45",
      "s47",
      "s49",
      "s57",
      "s61",
      "s69",
      "s79",
      "s81",
      "s83",
      "s87",
      "s95"
    ],
    "target": [
      "t109",
      "t115",
      "t121",
      "t125",
      "t127",
      "t135",
      "t137",
      "t139",
      "t141",
      "t143",
      "t145",
      "t147",
      "t153",
      "t155",
      "t159",
      "t161",
      "t167",
      "t175",
      "t183",
      "t189",
      "t197",
      "t199",
      "t203",
      "t205",
      "t207",
      "t211",
      "t213",
      "t223",
      "t225",
      "t227",
      "t229",
      "t231",
      "t235",
      "t237",
      "t239",
      "t241",
      "t243",
      "t245",
      "t249",
      "t251",
      "t253",
      "t263",
      "t265",
      "t267",
      "t269",
      "t271",
      "t275",
      "t277",
      "t283",
      "t285",
      "t287",
      "t289",
      "t291",
      "t295",
      "t297",
      "t299",
      "t303",
      "t305",
      "t307",
      "t309",
      "t313",
      "t315",
      "t317",
      "t319",
      "t321",
      "t323",
      "t325",
      "t327",
      "t329",
      "t331",
      "t333",
      "t335",
      "t339",
      "t341",
      "t343",
      "t345",
      "t347",
      "t349",
      "t351",
      "t353",
      "t355",
      "t357",
      "t359",
      "t361",
      "t363",
      "t365",
      "t367",
      "t369",
      "t371",
      "t375",
      "t377",
      "t379",
      "t381",
      "t383",
      "t385",
      "t393",
      "t401",
      "t403",
      "t407",
      "t409",
      "t411",
      "t413",
      "t415",
      "t421",
      "t423",
      "t425",
      "t427",
      "t429",
      "t433",
      "t437",
      "t439",
      "t443",
      "t445",
      "t449",
      "t451",
      "t453",
      "t455",
      "t459",
      "t461",
      "t463",
      "t465",
      "t467",
      "t469",
      "t471",
      "t473",
      "t475",
      "t477",
      "t479",
      "t481",
      "t483",
      "t485",
      "t487",
      "t49",
      "t495",
      "t497",
      "t499",
      "t505",
      "t513",
      "t517",
      "t521",
      "t523",
      "t525",
      "t527",
      "t529",
      "t53",
      "t531",
      "t535",
      "t537",
      "t545",
      "t547",
      "t551",
      "t555",
      "t559",
      "t561",
      "t563",
      "t565",
      "t567",
      "t569",
      "t57",
      "t573",
      "t577",
      "t579",
      "t581",
      "t583",
      "t585",
      "t587",
      "t589",
      "t591",
      "t593",
      "t595",
      "t597",
      "t599",
      "t601",
      "t603",
      "t605",
      "t607",
      "t609",
      "t611",
      "t613",
      "t615",
      "t617",
      "t619",
      "t621",
      "t623",
      "t625",
      "t627",
      "t629",
      "t63",
      "t631",
      "t633",
      "t635",
      "t637",
      "t639",
      "t643",
      "t645",
      "t647",
      "t65",
      "t653",
      "t655",
      "t657",
      "t663",
      "t665",
      "t669",
      "t67",
      "t671",
      "t673",
      "t677",
      "t681",
      "t685",
      "t687",
      "t689",
      "t69",
      "t695",
      "t697",
      "t699",
      "t701",
      "t705",
      "t707",
      "t709",
      "t711",
      "t713",
      "t715",
      "t717",
      "t719",
      "t723",
      "t725",
      "t727",
      "t731",
      "t733",
      "t735",
      "t737",
      "t739",
      "t741",
      "t75",
      "t83",
      "t85",
      "t97",
      "t99"
    ]
  }
}