Furutsuki theoremoon

avast/retdec をcloneしてきてビルドした後、retdec::deps::eigen が見つからないといってretdecを用いたプログラムのコンパイルに失敗した時の対処

	use rayon::prelude::*;
	use serde::{Deserialize, Serialize};
	use serde_json::Result;

	fn _mul(x: u16, y: u16) -> u16 {
	let mut x: u64 = x as u64;
	let mut y: u64 = y as u64;
	if x == 0 {
	x = 2u64.pow(16);
	}

	from functools import cache

	def division_polynomial(E, n, x=None):
	if x is None:
	PR = PolynomialRing(E.base())
	x = PR.gen()

	a, b = E.a4(), E.a6()
	F = 4(x3 + ax + b)

	from Crypto.Cipher import AES
	import secrets


	F = GF(2128, name="a", modulus=x128 + x7 + x2 + x + 1)

	def to_poly(x):
	bs = Integer(int.from_bytes(x, "big")).bits()[::-1]
	return F([0] * (128 - len(bs)) + bs)

	import std.stdio, std.string, std.algorithm, std.array, std.range, std.conv,
	std.typecons, std.math, std.container, std.format, std.numeric;

	alias T = Tuple!(long, "value", long, "time");

	class Segtree
	{
	private:
	long size;
	T[] xs;

	import std.stdio, std.string, std.algorithm, std.array, std.range, std.conv,
	std.typecons, std.math, std.container, std.format, std.numeric;

	alias T = Tuple!(long, "time", long, "value");

	class Segtree
	{
	private:
	T[] xs;
	long size;

	import std.stdio, std.string, std.algorithm, std.array, std.range, std.conv,
	std.typecons, std.math, std.container, std.format, std.numeric;

	struct SplayNode
	{
	public:
	SplayNode* parent, left, right;
	long size;
	long value, minimum;

	import std.stdio, std.string, std.algorithm, std.array, std.range, std.conv,
	std.typecons, std.math, std.container, std.format, std.numeric;

	class SegmentTree
	{
	private:
	long[] xs;
	long size;
	public:
	this(long size)