This documentation is automatically generated by online-judge-tools/verification-helper
#define PROBLEM "http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=NTL_1_E"
#include "../../code/math/extendedEuclid.cc"
int main() {
cin.tie(0);
ios_base::sync_with_stdio(0);
ll a, b, x, y;
cin >> a >> b;
gcd(a, b, x, y);
cout << x << ' ' << y << endl;
}
#line 1 "tests/aoj/extended_euclid.test.cpp"
#define PROBLEM "http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=NTL_1_E"
#line 1 "code/template.cc"
// this line is here for a reason
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int, int> ii;
typedef vector<int> vi;
typedef vector<ii> vii;
typedef vector<vi> vvi;
typedef vector<vii> vvii;
#define fi first
#define se second
#define eb emplace_back
#define pb push_back
#define mp make_pair
#define mt make_tuple
#define endl '\n'
#define ALL(x) (x).begin(), (x).end()
#define RALL(x) (x).rbegin(), (x).rend()
#define SZ(x) (int)(x).size()
#define FOR(a, b, c) for (auto a = (b); (a) < (c); ++(a))
#define F0R(a, b) FOR (a, 0, (b))
template <typename T>
bool ckmin(T& a, const T& b) { return a > b ? a = b, true : false; }
template <typename T>
bool ckmax(T& a, const T& b) { return a < b ? a = b, true : false; }
#ifndef DEBUG
#define DEBUG 0
#endif
#define dout if (DEBUG) cerr
#define dvar(...) " [" << #__VA_ARGS__ ": " << (__VA_ARGS__) << "] "
#line 2 "code/math/extendedEuclid.cc"
ll gcd(ll x, ll y, ll& a, ll& b) {
if (y) {
ll res = gcd(y, x % y, b, a);
return b -= x / y * a, res;
}
return a = 1, b = 0, x;
}
#line 4 "tests/aoj/extended_euclid.test.cpp"
int main() {
cin.tie(0);
ios_base::sync_with_stdio(0);
ll a, b, x, y;
cin >> a >> b;
gcd(a, b, x, y);
cout << x << ' ' << y << endl;
}