最適化分解で複雑な問題を解決する
最適化分解がいろんな分野で複雑な問題解決をどう簡単にするか学ぼう。
― 1 分で読む
最適化は数学やコンピュータサイエンスで重要な分野だよ。いろんな可能な解の中からベストな解を見つけることに関わってる。これらの解は機械学習、経済学、工学など多くの分野で使われるんだ。実生活では解決したい問題がかなり大きくて複雑なことが多くて、直接ベストな解を見つけるのが難しいんだよね。そこで最適化分解の出番だよ。
最適化分解法は大きな問題を小さくてシンプルなサブプロブレムに分けるんだ。このサブプロブレムを解くことで、それらの解を組み合わせて元の問題の答えにたどり着けるってわけ。特に、問題が小さい問題の組み合わせとして理解できるとき、いわゆる「構成構造」を持ってるって言えるんだ。
この記事では最適化分解の基本的なアイデア、これらの問題を数学的に表現する方法、そしてそれを効率的に解くためのアルゴリズムの開発について探っていくよ。
最適化の基本
まず最適化が何を意味するか理解しよう。最適化は何かをできるだけ効果的か機能的にすることなんだ。これは利益を最大化したり、コストを最小化したり、ネットワークで最短経路を見つけたりすることを意味するよ。目標は特定の制約や限界の中で最良の結果を見つけることだね。
最適化問題は通常、最適化したい目的関数と、可能な解の範囲を制限する制約から構成されている。これらの問題を解くプロセスには、微積分、線形代数、数値解析などの手法が使われることが多いよ。
最適化問題の種類
目的関数や制約の特性に基づいて、さまざまなタイプの最適化問題があるんだ。一般的なタイプをいくつか紹介するね:
線形最適化: 線形の目的関数と制約を持つ問題。シンプレックスアルゴリズムなどの手法で効率的に解けるよ。
非線形最適化: 少なくとも一つの非線形関数を含む問題。これらは線形問題よりも解くのが難しいことが多いんだ。
整数最適化: これらの問題は、いくつかの決定変数が整数値を取る必要があるんだ。
凸最適化: 凸問題では、目的関数が凸で、つまり単一のグローバルミニマムを持つってこと。この特性がより効率的な解を可能にするんだ。
組合せ最適化: 有限の物体の中から最適なものを見つける問題で、グラフ理論に関連してることが多いよ。
問題の構造と分解
問題の構造は解決アプローチを決める上で重要なんだ。問題が小さな構成要素に分解できるとき、それは構成構造を持つと言えるんだ。つまり、問題をシンプルなサブプロブレムの組み合わせとして見ることができるってわけ。
なんで問題を分解するの?
問題を分解することで、いくつかの理由で解決しやすくなるんだ:
- 単純化: 大きな問題を小さな部分に分けることで、各サブプロブレムが簡単で管理しやすくなる。
- 並行性: 複数のサブプロブレムは独立して、または並行して解決できることが多いから、時間を節約できるんだ。
- 柔軟性: 異なるサブプロブレムによってそれぞれ特性に基づいて異なる方法が適用できるよ。
- スケーラビリティ: 問題が大きくなるにつれて、分解することで複雑性をより良く扱えるようになる。
構成構造の例
例えば、ある都市から別の都市への最短ルートを見つけたい道路網を想像してみて。この問題は小さなセグメントに分解できて、各セグメントは2つの都市の間の接続を表すんだ。各セグメントのルートを別々に最適化することで、全体の最短経路を見つけることができるんだよ。
数学的表現
最適化問題を数学的に表現するために、関数や方程式をよく使うよ。各最適化問題は次のように表せるんだ:
- 最小化または最大化したい目的関数。
- 解を探す範囲を定義する制約のセット。
目的関数
目的関数は最適化したい値を計算する数学的表現なんだ。例えば、ビジネスの設定では、目的は販売した製品数に基づいて利益を最大化することで、これはコストや売上、価格を考慮した関数で表されることがある。
制約
制約は目的関数の変数の値を制限する制約なんだ。予算の制限やリソースの可用性、物理法則など、いろんなソースから来ることがあるよ。
分解法
最適化分解に使われる人気のある方法がいくつかあるんだ。これらのいくつかを紹介するね:
原始分解: この方法では元の問題をシンプルなサブプロブレムに分け、個別に解いて、それらの解を組み合わせるんだ。
双対分解: このアプローチでは元の問題の双対に焦点を当てるんだ。双対問題を解くことで原始問題の解を導出できるよ。
勾配降下法: これは関数の最小値を見つけるための反復的な方法だよ。関数の勾配に基づいて最も急な降下の方向に移動するんだ。
ウザワアルゴリズム: これは制約付き最適化問題を解くために特別に設計された方法で、原始問題と双対問題を交互に解くんだ。
分解の実装
これらの分解手法を効果的に実装するには、構造化されたアプローチを持つことが重要なんだ。これには通常、次のステップが含まれるよ:
構造を特定する: 問題が利用できる構成構造を持っているか確認する。
サブプロブレムを定義する: 元の問題を個別に解くことができる小さくて管理しやすいサブプロブレムに分ける。
サブプロブレムを解く: 適切なアルゴリズムを使って各サブプロブレムの解を見つける。
解を組み合わせる: 最後に、サブプロブレムの解を組み合わせて元の問題の全体的な解を見つけるんだ。
分解の利点
最適化分解手法を使うことで、いくつかの利点が得られるよ:
- 効率: 小さなサブプロブレムは、大きな問題を直接解くよりも早く解決できることが多い。
- 明確さ: シンプルなサブプロブレムに取り組むことで、全体の問題をよりよく理解できる。
- アルゴリズムの柔軟性: 特定のサブプロブレムの性質に基づいて異なるアルゴリズムを調整できるから、パフォーマンスが向上することがある。
分解の課題
分解の利点がある一方で、いくつかの課題が生じることもあるんだ:
- 複雑な相互作用: サブプロブレムが完全に独立ではない場合、相互作用が解決プロセスを複雑にすることがある。
- 解の質: サブプロブレムを注意深く解決しなかった場合、組み合わせた解が最適でないリスクがあるんだ。
- 追加のオーバーヘッド: 分解して解を組み合わせるプロセスは、得られた効率のいくつかを打ち消すオーバーヘッドを引き起こすことがある。
結論
最適化は多くの分野で重要な役割を果たす強力なツールなんだ。分解法を理解し、効果的に適用することで、複雑な問題を体系的かつ効率的に解決できるようになる。大きな課題を小さくて管理しやすい部分に分けることで、より良い解決策とシステム全体の理解を深めることができるんだ。
最適化の多くの側面を探求し続ける中で、利用可能な技術や生じる可能性のある課題に気を配ることが重要で、それによってアプローチを洗練させ、問題解決能力を向上させることができるんだ。
タイトル: A Compositional Framework for First-Order Optimization
概要: Optimization decomposition methods are a fundamental tool to develop distributed solution algorithms for large scale optimization problems arising in fields such as machine learning and optimal control. In this paper, we present an algebraic framework for hierarchically composing optimization problems defined on hypergraphs and automatically generating distributed solution algorithms that respect the given hierarchical structure. The central abstractions of our framework are operads, operad algebras, and algebra morphisms, which formalize notions of syntax, semantics, and structure preserving semantic transformations respectively. These abstractions allow us to formally relate composite optimization problems to the distributed algorithms that solve them. Specifically, we show that certain classes of optimization problems form operad algebras, and a collection of first-order solution methods, namely gradient descent, Uzawa's algorithm (also called gradient ascent-descent), and their subgradient variants, yield algebra morphisms from these problem algebras to algebras of dynamical systems. Primal and dual decomposition methods are then recovered by applying these morphisms to certain classes of composite problems. Using this framework, we also derive a novel sufficient condition for when a problem defined by compositional data is solvable by a decomposition method. We show that the minimum cost network flow problem satisfies this condition, thereby allowing us to automatically derive a hierarchical dual decomposition algorithm for finding minimum cost flows on composite flow networks. We implement our operads, algebras, and algebra morphisms in a Julia package called AlgebraicOptimization.jl and use our implementation to empirically demonstrate that hierarchical dual decomposition outperforms standard dual decomposition on classes of flow networks with hierarchical structure.
著者: Tyler Hanks, Matthew Klawonn, Evan Patterson, Matthew Hale, James Fairbanks
最終更新: 2024-03-08 00:00:00
言語: English
ソースURL: https://arxiv.org/abs/2403.05711
ソースPDF: https://arxiv.org/pdf/2403.05711
ライセンス: https://creativecommons.org/licenses/by/4.0/
変更点: この要約はAIの助けを借りて作成されており、不正確な場合があります。正確な情報については、ここにリンクされている元のソース文書を参照してください。
オープンアクセスの相互運用性を利用させていただいた arxiv に感謝します。
参照リンク
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXHRleHR7U3VicHJvYmxlbXN9Il0sWzIsMCwiXFx0ZXh0e1Byb2JsZW19Il0sWzAsMiwiXFx0ZXh0e1N1YnN5c3RlbXN9Il0sWzIsMiwiXFx0ZXh0e1N5c3RlbX0iXSxbMCwxLCJcXHRleHR7Y29tcG9zZX0iXSxbMiwzLCJcXHRleHR7Y29tcG9zZX0iLDJdLFswLDIsIlxcdGV4dHtncmFkaWVudCBmbG93fSIsMV0sWzEsMywiXFx0ZXh0e2dyYWRpZW50IGZsb3d9IiwxXV0=
- https://q.uiver.app/#q=WzAsMixbMCwwLCJcXG1hdGhjYWx7Q30iXSxbMCwyLCJcXG1hdGhjYWx7RH0iXSxbMCwxLCJGIl1d
- https://q.uiver.app/#q=WzAsNSxbMCwwLCJcXHRleHRiZntDb3NwYW59Il0sWzAsMiwiXFx0ZXh0YmZ7Q29zcGFufSJdLFsyLDAsIlxcdGV4dGJme1NldH0iXSxbMiwyLCJcXHRleHRiZntTZXR9Il0sWzEsMV0sWzAsMiwiQyJdLFsxLDMsIkQiLDJdLFs1LDYsIlxccGhpIiwyLHsic2hvcnRlbiI6eyJzb3VyY2UiOjQwLCJ0YXJnZXQiOjQwfX1dXQ==
- https://q.uiver.app/#q=WzAsOSxbMSwwLCJcXE9wdCJdLFsxLDEsIlxcRGlmZlNhZGRsZSJdLFswLDIsIlxcRGlmZkNvbnYiXSxbMiwyLCJcXERpZmZDb25jIl0sWzMsMiwiXFxEeW5hbV9EIl0sWzQsMiwiXFxDb252Il0sWzQsMCwiXFxDb25jIl0sWzYsMSwiXFxORERfRCJdLFs0LDEsIlxcU2FkZGxlIl0sWzEsMCwiIiwwLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbMiwxLCIiLDAseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFszLDEsIiIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzIsNCwiXFx0ZXh0e2dkfSIsMCx7ImN1cnZlIjo1fV0sWzMsNCwiXFx0ZXh0e2dhfSIsMl0sWzEsNCwiXFx0ZXh0e2dhLWR9IiwwLHsiY3VydmUiOi0xfV0sWzAsNCwiXFx0ZXh0e2dkfSIsMCx7ImN1cnZlIjotMn1dLFs2LDcsIlxcdGV4dHtzZ2F9Il0sWzgsNywiXFx0ZXh0e3NnYS1kfSIsMl0sWzUsNywiXFx0ZXh0e3NnZH0iLDJdLFs2LDgsIiIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzUsOCwiIiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XV0=
- https://q.uiver.app/#q=WzAsOCxbMSwxLCJcXERpZmZTYWRkbGUiXSxbMCwwLCJcXERpZmZDb252Il0sWzIsMiwiXFxEaWZmQ29uYyJdLFszLDAsIlxcRHluYW1fRCJdLFswLDIsIlxcQ29udiJdLFsyLDQsIlxcQ29uYyJdLFszLDIsIlxcTkREX0QiXSxbMSwzLCJcXFNhZGRsZSJdLFsxLDAsIiIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzIsMCwiIiwwLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbNSw3LCIiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFs0LDcsIiIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzEsNCwiIiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbMCw3LCIiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFsyLDUsIiIsMSx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzcsNiwiXFx0ZXh0e3NnYS1kfSIsMl0sWzAsMywiXFx0ZXh0e2dhLWR9IiwyXSxbMyw2XV0=
- https://q.uiver.app/#q=WzAsOSxbMSwyLCJcXERpZmZTYWRkbGUiXSxbMCwxLCJcXERpZmZDb252Il0sWzIsMywiXFxEaWZmQ29uYyJdLFszLDEsIlxcRHluYW1fRCJdLFswLDMsIlxcQ29udiJdLFsyLDUsIlxcQ29uYyJdLFszLDMsIlxcTkREX0QiXSxbMSw0LCJcXFNhZGRsZSJdLFsxLDAsIlxcT3B0Il0sWzEsMCwiIiwwLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbMiwwLCIiLDAseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFs1LDcsIiIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzQsNywiIiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbMSw0LCIiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFswLDcsIiIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzIsNSwiIiwxLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbNyw2LCJcXHRleHR7cGQtc3ViZ30iLDIseyJsYWJlbF9wb3NpdGlvbiI6NzB9XSxbMCwzLCJcXHRleHR7Z2EtZH0iLDJdLFszLDZdLFswLDgsIiIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzgsMywiXFxtYXRocm17Z2R9Il1d
- https://q.uiver.app/#q=WzAsMTIsWzEsMywiXFxEaWZmU2FkZGxlIl0sWzAsMiwiXFxEaWZmQ29udiJdLFsyLDQsIlxcRGlmZkNvbmMiXSxbMywyLCJcXER5bmFtX0QiXSxbMCw0LCJcXENvbnYiXSxbMiw2LCJcXENvbmMiXSxbMyw0LCJcXE5ERF9EIl0sWzEsNSwiXFxTYWRkbGUiXSxbMSwxLCJcXE9wdCJdLFswLDBdLFsyLDJdLFszLDBdLFsxLDAsIiIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzIsMCwiIiwwLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbNSw3LCIiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFs0LDcsIiIsMix7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzEsNCwiIiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbMCw3LCIiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJob29rIiwic2lkZSI6InRvcCJ9fX1dLFsyLDUsIiIsMSx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzcsNiwiXFxwZHN1YmciLDIseyJsYWJlbF9wb3NpdGlvbiI6NzB9XSxbMCwzLCJcXGdhZCIsMix7ImxhYmVsX3Bvc2l0aW9uIjo3MH1dLFszLDYsIiIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoidG9wIn19fV0sWzAsOCwiIiwwLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifX19XSxbOCwzLCJcXGdkIiwwLHsibGFiZWxfcG9zaXRpb24iOjcwLCJjdXJ2ZSI6LTJ9XSxbMSw5LCIiLDAseyJzdHlsZSI6eyJib2R5Ijp7Im5hbWUiOiJkYXNoZWQifSwiaGVhZCI6eyJuYW1lIjoibm9uZSJ9fX1dLFs5LDgsIiIsMCx7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV0sWzgsMTAsIiIsMCx7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV0sWzIsMTAsIiIsMCx7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV0sWzgsMTEsIiIsMCx7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV0sWzExLDMsIiIsMCx7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV1d
- https://q.uiver.app/#q=WzAsNixbNCwwLCJaIl0sWzQsMiwiSiciXSxbMiwyLCJcXGJpZ3NxY3VwX3tpXFxpbiBbbl19WV9pIl0sWzIsNCwiXFxiaWdzcWN1cF97aVxcaW5bbl19Sl9pIl0sWzAsNCwiXFxiaWdzcWN1cF97aVxcaW5bbl19XFxiaWdzcWN1cF97alxcaW5bbV9pXX1YX3tpLGp9Il0sWzQsNCwiSicnIl0sWzAsMSwiciciXSxbMiwxLCJsJyJdLFsyLDMsIlxcYmlnc3FjdXBfaXJfaSIsMl0sWzQsMywiXFxiaWdzcWN1cF9pbF9pIiwyXSxbMyw1LCJwIiwyXSxbMSw1LCJxIl0sWzUsMiwiIiwxLHsic3R5bGUiOnsibmFtZSI6ImNvcm5lciJ9fV1d
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXFVXRChZXzEsXFxkb3RzLFlfbjtaKVxcdGltZXNcXHByb2Rfe2lcXGluW25dfVxcVVdEKFhfaTtZX2kpIl0sWzAsMiwiXFxTZXRzKEZZXzEsXFxkb3RzLEZZX247RlopXFx0aW1lc1xccHJvZF97aVxcaW5bbl19XFxTZXRzKEZYX2k7RllfaSkiXSxbMSwyLCJcXFNldHMoRlhfMSxcXGRvdHMsRlhfbjtGWikiXSxbMSwwLCJcXFVXRChYXzEsXFxkb3RzLFhfbjtaKSJdLFswLDMsIlxcY2lyYyJdLFsxLDIsIlxcY2lyYyIsMl0sWzAsMSwiRiIsMl0sWzMsMiwiRiJdXQ==
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXHByb2Rfe2lcXGluIFtuXX1GKFBfaSkiXSxbMCwxLCJGKFAnKSJdLFsyLDAsIlxccHJvZF97aVxcaW5bbl19RyhQX2kpIl0sWzIsMSwiRyhQJykiXSxbMCwxLCJGKFxcUGhpKSIsMl0sWzIsMywiRyhcXFBoaSkiXSxbMCwyLCJcXHByb2RfaVxccmhvX3tQX2l9Il0sWzEsMywiXFxyaG9fe1AnfSIsMl1d
- https://q.uiver.app/#q=WzAsNSxbMSwwLCJYIl0sWzIsMSwiTiJdLFszLDAsIlkiXSxbMSwyLCJTK19YTiJdLFswLDEsIlMiXSxbMCw0LCJtIl0sWzAsMSwiaSIsMl0sWzIsMSwibyJdLFs0LDMsInBfUyIsMl0sWzEsMywicF9OIl0sWzMsMCwiIiwxLHsic3R5bGUiOnsibmFtZSI6ImNvcm5lciJ9fV1d
- https://q.uiver.app/#q=WzAsNSxbMSwwLCJYIl0sWzIsMSwiTiJdLFszLDAsIlkiXSxbMCwxLCJYIl0sWzEsMiwiTiJdLFswLDEsImkiXSxbMiwxLCJcXGNvbmciLDJdLFswLDMsIlxcaWRfWCIsMl0sWzMsNCwiaSIsMl0sWzEsNCwiXFxpZF9OIl0sWzQsMCwiIiwxLHsic3R5bGUiOnsibmFtZSI6ImNvcm5lciJ9fV1d
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXE9wdChYKVxcdGltZXNcXE9wdChZKSJdLFszLDAsIlxcT3B0KE4pXFx0aW1lc1xcT3B0KE0pIl0sWzAsMiwiXFxPcHQoWCtZKSJdLFszLDIsIlxcT3B0KE4rTSkiXSxbMCwxLCJcXE9wdChcXHBoaSlcXHRpbWVzXFxPcHQoXFxwc2kpIl0sWzAsMiwiXFx2YXJwaGlfe1gsWX0iLDJdLFsxLDMsIlxcdmFycGhpX3tOLE19Il0sWzIsMywiXFxPcHQoXFxwaGkrXFxwc2kpIiwyXV0=
- https://q.uiver.app/#q=WzAsOCxbMCwwLCJcXFJeTlxcb3BsdXNcXFJeTSJdLFsyLDAsIlxcUl5YXFxvcGx1cyBcXFJeWSJdLFsyLDEsIlxcUl5YIl0sWzAsMSwiXFxSXk4iXSxbNCwwLCJcXFJeTlxcb3BsdXNcXFJeTSJdLFs2LDAsIlxcUl5YXFxvcGx1c1xcUl5ZIl0sWzQsMSwiXFxSXk0iXSxbNiwxLCJcXFJeWSJdLFswLDEsIlxccGhpXipcXG9wbHVzIFxccHNpXioiXSxbMSwyLCJcXHBpX3tcXFJeWH0iXSxbMCwzLCJcXHBpX3tcXFJeTn0iLDJdLFszLDIsIlxccGhpXioiLDJdLFs0LDUsIlxccGhpXipcXG9wbHVzXFxwc2leKiJdLFs2LDcsIlxccHNpXioiLDJdLFs0LDYsIlxccGlfe1xcUl5NfSIsMl0sWzUsNywiXFxwaV97XFxSXll9Il1d
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXHRleHR7T3B0fShOKSJdLFsyLDAsIlxcdGV4dHtPcHR9KE0pIl0sWzIsMiwiXFx0ZXh0e0R5bmFtfShNKSJdLFswLDIsIlxcdGV4dHtEeW5hbX0oTikiXSxbMCwxLCJcXHRleHR7T3B0fShcXHBoaSkiXSxbMCwzLCJmbG93KE4pIiwyXSxbMSwyLCJmbG93KE0pIl0sWzMsMiwiXFx0ZXh0e0R5bmFtfShcXHBoaSkiLDJdXQ==
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXHRleHR7T3B0fShOKVxcdGltZXNcXHRleHR7T3B0fShNKSJdLFswLDIsIlxcdGV4dHtPcHR9KE4rTSkiXSxbMywwLCJcXHRleHR7RHluYW19KE4pXFx0aW1lc1xcdGV4dHtEeW5hbX0oTSkiXSxbMywyLCJcXHRleHR7RHluYW19KE4rTSkiXSxbMCwyLCJmbG93KE4pXFx0aW1lcyBmbG93KE0pIl0sWzEsMywiZmxvdyhOK00pIiwyXSxbMCwxLCJcXHZhcnBoaV57XFx0ZXh0e09wdH19X3tOLE19IiwyXSxbMiwzLCJcXHZhcnBoaV57XFx0ZXh0e0R5bmFtfX1fe04sTX0iXV0=
- https://q.uiver.app/#q=WzAsMyxbMCwwLCJcXDEiXSxbMiwwLCJcXHRleHR7T3B0fShcXGVtcHR5KSJdLFsyLDEsIlxcdGV4dHtEeW5hbX0oXFxlbXB0eSkiXSxbMCwxLCJcXHZhcnBoaV8wXlxcT3B0Il0sWzAsMiwiXFx2YXJwaGlfMF5cXER5bmFtIiwyXSxbMSwyLCJcXGZsb3coXFxlbXB0eSkiXV0=
- https://q.uiver.app/#q=WzAsMyxbMCwwLCJ4Il0sWzIsMCwieSJdLFsxLDEsImMiXSxbMCwyLCJmIiwyXSxbMSwyLCJnIl0sWzAsMSwiaCJdXQ==
- https://q.uiver.app/#q=WzAsNCxbMSwyLCJcXFJee05fMX1cXG9wbHVzXFxSXntOXzJ9Il0sWzEsMCwiXFxSXk4iXSxbMCwyLCJcXFJee05fMX0iXSxbMiwyLCJcXFJee05fMn0iXSxbMCwxLCJ1IiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJ0b3AifSwiYm9keSI6eyJuYW1lIjoiZGFzaGVkIn0sImhlYWQiOnsibmFtZSI6ImVwaSJ9fX1dLFsyLDAsIlxcaW90YV97XFxSXntOXzF9fSIsMl0sWzMsMCwiXFxpb3RhX3tcXFJee05fMn19Il0sWzIsMSwiXFx0ZXh0bm9ybWFse2Nudnh9XyoiXSxbMywxLCJcXHRleHRub3JtYWx7Y25jdn1fKiIsMl1d
- https://q.uiver.app/#q=WzAsMyxbMCwwLCJOIl0sWzIsMCwiTSJdLFsxLDEsIlxcdW5kZXJsaW5lezJ9Il0sWzAsMSwiXFxwaGkiXSxbMCwyLCJcXHRhdV8xIiwyXSxbMSwyLCJcXHRhdV8yIl0sWzQsNSwiIiwyLHsib2Zmc2V0IjotMiwic2hvcnRlbiI6eyJzb3VyY2UiOjQwLCJ0YXJnZXQiOjQwfSwic3R5bGUiOnsiaGVhZCI6eyJuYW1lIjoibm9uZSJ9fX1dXQ==
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXERpZmZTYWRkbGUoXFx0YXUpIl0sWzIsMCwiXFxEaWZmU2FkZGxlKFxcc2lnbWEpIl0sWzAsMSwiXFxEeW5hbShOKSJdLFsyLDEsIlxcRHluYW0oTSkiXSxbMCwxLCJcXERpZmZTYWRkbGUoXFxwaGkpIl0sWzIsMywiXFxEeW5hbShcXHBoaSkiLDJdLFswLDIsIlxcZmxvd19cXHRhdSIsMl0sWzEsMywiXFxmbG93X1xcc2lnbWEiXV0=
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXE5ERChYKVxcdGltZXNcXE5ERChZKSJdLFszLDAsIlxcTkREKE4pXFx0aW1lc1xcTkREKE0pIl0sWzAsMSwiXFxOREQoWCtZKSJdLFszLDEsIlxcTkREKE4rTSkiXSxbMCwxLCJcXE5ERChcXHBoaSlcXHRpbWVzXFxOREQoXFxwc2kpIl0sWzAsMiwiXFx2YXJwaGlfe1gsWX0iLDJdLFsxLDMsIlxcdmFycGhpX3tOLE19Il0sWzIsMywiXFxOREQoXFxwaGkrXFxwc2kpIiwyXV0=
- https://q.uiver.app/#q=WzAsOCxbMCwwLCJcXFJeWCJdLFsyLDAsIlxcUl5OIl0sWzAsMSwiXFxSXlhcXG9wbHVzXFxSXlkiXSxbMiwxLCJcXFJeTlxcb3BsdXNcXFJeTSJdLFs0LDAsIlxcUl5ZIl0sWzYsMCwiXFxSXk0iXSxbNCwxLCJcXFJeWFxcb3BsdXNcXFJeWSJdLFs2LDEsIlxcUl5OXFxvcGx1c1xcUl5NIl0sWzAsMSwiXFxwaGlfKiJdLFswLDIsIlxcaW90YV97WCp9IiwyXSxbMSwzLCJcXGlvdGFfe04qfSJdLFsyLDMsIlxccGhpXypcXG9wbHVzXFxwc2lfKiIsMl0sWzQsNSwiXFxwc2lfKiJdLFs0LDYsIlxcaW90YV97WSp9IiwyXSxbNSw3LCJcXGlvdGFfe00qfSJdLFs2LDcsIlxccGhpXypcXG9wbHVzXFxwc2lfKiIsMl1d
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXE5ERChOKSJdLFsyLDAsIlxcTkREKE0pIl0sWzAsMiwiXFxORERfRChOKSJdLFsyLDIsIlxcTkREX0QoTSkiXSxbMCwxLCJcXE5ERChcXHBoaSkiXSxbMCwyLCJcXHRleHRub3JtYWx7RXVsZXJ9XlxcYWxwaGFfTiIsMl0sWzEsMywiXFx0ZXh0bm9ybWFse0V1bGVyfV5cXGFscGhhX00iXSxbMiwzLCJcXE5ERF9EKFxccGhpKSIsMl1d
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXE5ERChOKVxcdGltZXNcXE5ERChNKSJdLFszLDAsIlxcTkREX0QoTilcXHRpbWVzXFxORERfRChNKSJdLFswLDIsIlxcTkREKE4rTSkiXSxbMywyLCJcXE5ERF9EKE4rTSkiXSxbMSwzLCJcXHZhcnBoaV57XFxORERfRH1fe04sTX0iXSxbMCwyLCJcXHZhcnBoaV5cXE5ERF97TixNfSIsMl0sWzAsMSwiXFx0ZXh0bm9ybWFse0V1bGVyfV5cXGFscGhhX05cXHRpbWVzXFx0ZXh0bm9ybWFse0V1bGVyfV5cXGFscGhhX00iXSxbMiwzLCJcXHRleHRub3JtYWx7RXVsZXJ9XlxcYWxwaGFfe04rTX0iLDJdXQ==
- https://q.uiver.app/#q=WzAsMyxbMCwwLCIxIl0sWzIsMCwiXFxOREQoXFxlbXB0eXNldCkiXSxbMiwxLCJcXE5ERF9EKFxcZW1wdHlzZXQpIl0sWzEsMiwiXFx0ZXh0bm9ybWFse0V1bGVyfV5cXGFscGhhX1xcZW1wdHlzZXQiXSxbMCwxLCJcXHZhcnBoaV8wXlxcTkREIl0sWzAsMiwiXFx2YXJwaGlfMF57XFxORERfRH0iLDJdXQ==
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXE9wdChOKSJdLFsyLDAsIlxcT3B0KE0pIl0sWzAsMiwiXFxOREQoTikiXSxbMiwyLCJcXE5ERChNKSJdLFswLDEsIlxcT3B0KFxccGhpKSJdLFswLDIsIlxcdGV4dG5vcm1hbHtzdWJnfV9OIiwyXSxbMSwzLCJcXHRleHRub3JtYWx7c3ViZ31fTSJdLFsyLDMsIlxcTkREKFxccGhpKSIsMl1d
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXEZHKE4pIl0sWzIsMCwiXFxGRyhNKSJdLFswLDIsIlxcQ29uYyhOKSJdLFsyLDIsIlxcQ29uYyhNKSJdLFswLDEsIlxcRkcoXFxwaGkpIl0sWzIsMywiXFxDb25jKFxccGhpKSIsMl0sWzAsMiwiXFx0ZXh0bm9ybWFse25ldGZsb3d9X04iLDFdLFsxLDMsIlxcdGV4dG5vcm1hbHtuZXRmbG93fV9NIiwxXV0=
- https://q.uiver.app/#q=WzAsNSxbMCwwLCJcXEZHKE4pXFx0aW1lc1xcRkcoTSkiXSxbMCwxLCJcXEZHKE4rTSkiXSxbMiwwXSxbMywwLCJcXENvbmMoTilcXHRpbWVzXFxDb25jKE0pIl0sWzMsMSwiXFxDb25jKE4rTSkiXSxbMCwxLCJcXHZhcnBoaV97TixNfV5cXEZHIiwyXSxbMCwzLCJcXG5ldGZsb3dfTlxcdGltZXNcXG5ldGZsb3dfTSJdLFszLDQsIlxcdmFycGhpX3tOLE19XlxcQ29uYyJdLFsxLDQsIlxcbmV0Zmxvd197TitNfSIsMl1d
- https://q.uiver.app/#q=WzAsMyxbMCwwLCIxIl0sWzIsMCwiXFxGRyhcXGVtcHR5c2V0KSJdLFsyLDEsIlxcQ29uYyhcXGVtcHR5c2V0KSJdLFsxLDIsIlxcbmV0Zmxvd19cXGVtcHR5c2V0Il0sWzAsMSwiXFx2YXJwaGlfMF5cXEZHIl0sWzAsMiwiXFx2YXJwaGlfMF5cXENvbmMiLDJdXQ==
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXEZHIl0sWzIsMCwiXFxDb25jIl0sWzQsMCwiXFxOREQiXSxbNiwwLCJcXE5ERF9EIl0sWzAsMSwiXFx0ZXh0bm9ybWFse25ldGZsb3d9IiwwLHsibGV2ZWwiOjJ9XSxbMSwyLCJcXHRleHRub3JtYWx7c3VwZXJnfSIsMCx7ImxldmVsIjoyfV0sWzIsMywiXFx0ZXh0bm9ybWFse0V1bGVyfV5cXGFscGhhIiwwLHsibGV2ZWwiOjJ9XV0=
- https://github.com/AlgebraicJulia/AlgebraicOptimization.jl
- https://q.uiver.app/#q=WzAsOCxbMCwwLCJcXFVGRyhbM10pXFx0aW1lc1xcVUZHKFsyXSlcXHRpbWVzXFxVRkcoWzJdKSJdLFszLDAsIlxcVUZHKFxcZW1wdHlzZXQpIl0sWzMsMSwiXFxVRGlmZkNvbmMoXFxlbXB0eXNldCkiXSxbMywyLCJcXFVEeW5hbShcXGVtcHR5c2V0KSJdLFszLDMsIlxcVUR5bmFtX0QoXFxlbXB0eXNldCkiXSxbMCwxLCJcXFVEaWZmQ29uYyhbM10pXFx0aW1lc1xcVURpZmZDb25jKFsyXSlcXHRpbWVzXFxVRGlmZkNvbmMoWzJdKSJdLFswLDIsIlxcVUR5bmFtKFszXSlcXHRpbWVzXFxVRHluYW0oWzJdKVxcdGltZXNcXFVEeW5hbShbMl0pIl0sWzAsMywiXFxVRHluYW0oWzNdKV9EXFx0aW1lc1xcVUR5bmFtKFsyXSlfRFxcdGltZXNcXFVEeW5hbShbMl0pX0QiXSxbMCwxLCJcXFVGRyhcXFBoaSkiXSxbMSwyLCJcXHRleHRub3JtYWx7bmV0Zmxvd30iXSxbMiwzLCJcXGZsb3ciXSxbMyw0LCJcXHRleHRub3JtYWx7RXVsZXJ9XlxcZ2FtbWEiXSxbMCw1LCJcXHRleHRub3JtYWx7bmV0Zmxvd31fe1szXX1cXHRpbWVzXFx0ZXh0e25ldGZsb3d9X3tbMl19XFx0aW1lc1xcdGV4dHtuZXRmbG93fV97WzJdfSIsMl0sWzUsNiwiXFxmbG93X3tbM119XFx0aW1lc1xcZmxvd197WzJdfVxcdGltZXNcXGZsb3dfe1syXX0iLDJdLFs2LDcsIlxcRXVsZXJeXFxnYW1tYV97WzNdfVxcdGltZXNcXEV1bGVyXlxcZ2FtbWFfe1syXX1cXHRpbWVzXFxFdWxlcl5cXGdhbW1hX3tbMl19IiwyXSxbNyw0LCJcXFVEeW5hbShcXFBoaSkiLDJdXQ==
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJGKFgpIl0sWzIsMCwiRihZKSJdLFswLDEsIkcoWCkiXSxbMiwxLCJHKFkpIl0sWzAsMSwiRihmKSJdLFsyLDMsIkcoZikiLDJdLFswLDIsIlxcdGhldGFfWCIsMl0sWzEsMywiXFx0aGV0YV9ZIl1d
- https://q.uiver.app/#q=WzAsOCxbMSwxLCJYXFx0aW1lcyBZIl0sWzAsMCwiWCJdLFswLDIsIlkiXSxbMywxLCJaIl0sWzQsMCwiWCJdLFs0LDIsIlkiXSxbNSwxLCJYK1kiXSxbNywxLCJaIl0sWzAsMSwiXFxwaV9YIl0sWzAsMiwiXFxwaV9ZIiwyXSxbMywxLCJmIiwyLHsiY3VydmUiOjF9XSxbMywyLCJnIiwwLHsiY3VydmUiOi0xfV0sWzMsMCwiXFxleGlzdHMgISIsMix7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9fX1dLFs0LDYsIlxcaW90YV9YIiwyXSxbNSw2LCJcXGlvdGFfWSJdLFs2LDcsIlxcZXhpc3RzICEiLDAseyJzdHlsZSI6eyJib2R5Ijp7Im5hbWUiOiJkYXNoZWQifX19XSxbNCw3LCJmIiwwLHsiY3VydmUiOi0xfV0sWzUsNywiZyIsMix7ImN1cnZlIjoxfV0sWzEwLDAsIiIsMix7InNob3J0ZW4iOnsic291cmNlIjoyMCwidGFyZ2V0IjoyMH0sInN0eWxlIjp7ImhlYWQiOnsibmFtZSI6Im5vbmUifX19XSxbMTEsMCwiIiwwLHsic2hvcnRlbiI6eyJzb3VyY2UiOjIwLCJ0YXJnZXQiOjIwfSwic3R5bGUiOnsiaGVhZCI6eyJuYW1lIjoibm9uZSJ9fX1dLFsxNiw2LCIiLDAseyJzaG9ydGVuIjp7InNvdXJjZSI6MjAsInRhcmdldCI6MjB9LCJzdHlsZSI6eyJoZWFkIjp7Im5hbWUiOiJub25lIn19fV0sWzE3LDYsIiIsMix7InNob3J0ZW4iOnsic291cmNlIjoyMCwidGFyZ2V0IjoyMH0sInN0eWxlIjp7ImhlYWQiOnsibmFtZSI6Im5vbmUifX19XV0=
- https://q.uiver.app/#q=WzAsNSxbMSwxLCJQIl0sWzIsMSwiWSJdLFsxLDIsIlgiXSxbMiwyLCJaIl0sWzAsMCwiUSJdLFsyLDMsImYiLDJdLFsxLDMsImciXSxbMCwxLCJwX1kiXSxbMCwyLCJwX1giLDJdLFs0LDAsIlxcZXhpc3RzISIsMix7InN0eWxlIjp7ImJvZHkiOnsibmFtZSI6ImRhc2hlZCJ9fX1dLFs0LDEsInFfWSIsMCx7ImN1cnZlIjotMn1dLFs0LDIsInFfWCIsMix7ImN1cnZlIjoyfV1d
- https://q.uiver.app/#q=WzAsNSxbMSwxLCJQIl0sWzIsMSwiWSJdLFsxLDIsIlgiXSxbMiwyLCJaIl0sWzAsMCwiUSJdLFsyLDMsImYiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJhcnJvd2hlYWQifSwiaGVhZCI6eyJuYW1lIjoibm9uZSJ9fX1dLFsxLDMsImciLDAseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJhcnJvd2hlYWQifSwiaGVhZCI6eyJuYW1lIjoibm9uZSJ9fX1dLFswLDEsImlfWSIsMCx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6ImFycm93aGVhZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV0sWzAsMiwiaV9YIiwyLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiYXJyb3doZWFkIn0sImhlYWQiOnsibmFtZSI6Im5vbmUifX19XSxbNCwwLCJcXGV4aXN0cyEiLDIseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJhcnJvd2hlYWQifSwiYm9keSI6eyJuYW1lIjoiZGFzaGVkIn0sImhlYWQiOnsibmFtZSI6Im5vbmUifX19XSxbNCwxLCJxX1kiLDAseyJjdXJ2ZSI6LTIsInN0eWxlIjp7InRhaWwiOnsibmFtZSI6ImFycm93aGVhZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV0sWzQsMiwicV9YIiwyLHsiY3VydmUiOjIsInN0eWxlIjp7InRhaWwiOnsibmFtZSI6ImFycm93aGVhZCJ9LCJoZWFkIjp7Im5hbWUiOiJub25lIn19fV1d
- https://q.uiver.app/#q=WzAsNixbMCwxLCJYXFx0aW1lcyBXIl0sWzEsMCwiWCJdLFsxLDIsIlciXSxbMiwxLCJZXFx0aW1lcyBaIl0sWzMsMCwiWSJdLFszLDIsIloiXSxbMCwxLCJcXHBpX1giXSxbMCwyLCJcXHBpX1ciLDJdLFszLDQsIlxccGlfWSIsMl0sWzMsNSwiXFxwaV9aIl0sWzEsNCwiZiJdLFsyLDUsImciLDJdLFswLDMsIlxcbGFuZ2xlIGZcXGNpcmNcXHBpX1gsZ1xcY2lyY1xccGlfV1xccmFuZ2xlIiwwLHsic3R5bGUiOnsiYm9keSI6eyJuYW1lIjoiZGFzaGVkIn19fV1d
- https://q.uiver.app/#q=WzAsNixbMSwxLCJYK1ciXSxbMCwwLCJYIl0sWzAsMiwiVyJdLFszLDEsIlkrWiJdLFsyLDAsIlkiXSxbMiwyLCJaIl0sWzEsMCwiXFxpb3RhX1giLDJdLFsyLDAsIlxcaW90YV9XIl0sWzAsMywiW1xcaW90YV9ZXFxjaXJjIGYsXFxpb3RhX1pcXGNpcmMgZ10iLDAseyJzdHlsZSI6eyJib2R5Ijp7Im5hbWUiOiJkYXNoZWQifX19XSxbMSw0LCJmIl0sWzIsNSwiZyIsMl0sWzQsMywiXFxpb3RhX1kiXSxbNSwzLCJcXGlvdGFfWiIsMl1d
- https://q.uiver.app/#q=WzAsNixbMCwwLCIoRihYKVxcYm94dGltZXMgRihZKSlcXGJveHRpbWVzIEYoWikiXSxbMCwxLCJGKFhcXG90aW1lcyBZKVxcYm94dGltZXMgRihaKSJdLFswLDIsIkYoKFhcXG90aW1lcyBZKVxcb3RpbWVzIFopIl0sWzIsMCwiRihYKVxcYm94dGltZXMgKEYoWSlcXGJveHRpbWVzIEYoWikpIl0sWzIsMSwiRihYKVxcYm94dGltZXMgRihZXFxvdGltZXMgWikiXSxbMiwyLCJGKFhcXG90aW1lcyAoWVxcb3RpbWVzIFopKSJdLFswLDMsIlxcYWxwaGFeXFxERF97RlgsRlksRlp9Il0sWzAsMSwiXFx2YXJwaGlfe1gsWX1cXGJveHRpbWVzXFxpZCIsMl0sWzEsMiwiXFx2YXJwaGlfe1hcXG90aW1lcyBZLCBafSIsMl0sWzIsNSwiRihcXGFscGhhXlxcQ0Nfe1gsWSxafSkiLDJdLFszLDQsIlxcaWRcXG90aW1lc1xcdmFycGhpX3tZLFp9Il0sWzQsNSwiXFx2YXJwaGlfe1gsWVxcb3RpbWVzIFp9Il1d
- https://q.uiver.app/#q=WzAsOCxbMCwwLCJlXFxib3h0aW1lcyBGKFgpIl0sWzIsMCwiRigxKVxcYm94dGltZXMgRihYKSJdLFsyLDEsIkYoMVxcb3RpbWVzIFgpIl0sWzAsMSwiRihYKSJdLFs0LDAsIkYoWClcXGJveHRpbWVzIGUiXSxbNiwwLCJGKFgpXFxib3h0aW1lcyBGKDEpIl0sWzQsMSwiRihYKSJdLFs2LDEsIkYoWFxcb3RpbWVzIDEpIl0sWzAsMywiXFxsYW1iZGFfe0YoWCl9XlxcREQiLDJdLFswLDEsIlxcdmFycGhpXzBcXGJveHRpbWVzXFxpZCJdLFsxLDIsIlxcdmFycGhpX3sxLFh9Il0sWzIsMywiRihcXGxhbWJkYV9YXlxcQ0MpIl0sWzQsNSwiXFxpZFxcYm94dGltZXNcXHZhcnBoaV8wIl0sWzQsNiwiXFxyaG9fe0YoWCl9XlxcREQiLDJdLFs1LDcsIlxcdmFycGhpX3tYLDF9Il0sWzcsNiwiRihcXHJob15cXENDX1gpIl1d
- https://q.uiver.app/#q=WzAsNCxbMCwwLCJGKFgpXFxib3h0aW1lcyBGKFkpIl0sWzIsMCwiRihZKVxcYm94dGltZXMgRihYKSJdLFsyLDEsIkYoWVxcb3RpbWVzIFgpIl0sWzAsMSwiRihYXFxvdGltZXMgWSkiXSxbMCwxLCJcXHNpZ21hX3tGWCxGWX1eXFxERCJdLFswLDMsIlxcdmFycGhpX3tYLFl9IiwyXSxbMSwyLCJcXHZhcnBoaV97WSxYfSJdLFszLDIsIkYoXFxzaWdtYV97WCxZfV5cXENDKSIsMl1d
- https://q.uiver.app/#q=WzAsNyxbMCwwLCJGKFgpXFxib3h0aW1lcyBGKFkpIl0sWzIsMCwiRyhYKVxcYm94dGltZXMgRyhZKSJdLFswLDEsIkYoWFxcb3RpbWVzIFkpIl0sWzIsMSwiRyhYXFxvdGltZXMgWSkiXSxbNCwwLCJlIl0sWzYsMCwiRigxKSJdLFs2LDEsIkcoMSkiXSxbMCwyLCJcXHZhcnBoaV5GX3tYLFl9IiwyXSxbMSwzLCJcXHZhcnBoaV5HX3tYLFl9Il0sWzAsMSwiXFx0aGV0YV9YXFxib3h0aW1lc1xcdGhldGFfWSJdLFsyLDMsIlxcdGhldGFfe1hcXG90aW1lcyBZfSIsMl0sWzQsNSwiXFx2YXJwaGleRl8wIl0sWzUsNiwiXFx0aGV0YV8xIl0sWzQsNiwiXFx2YXJwaGleR18wIiwyXV0=