mirror of
https://github.com/logos-storage/plonky2.git
synced 2026-01-04 23:03:08 +00:00
new testing interface, and test data
This commit is contained in:
Nicholas Ward
parent
ee9bfb0822
commit
fa3443a50b
@ -1,497 +0,0 @@
|
||||
use std::str::FromStr;
|
||||
|
||||
use anyhow::Result;
|
||||
use ethereum_types::U256;
|
||||
use itertools::Itertools;
|
||||
use num::{BigUint, One, Zero};
|
||||
use num_bigint::RandBigInt;
|
||||
use plonky2_util::ceil_div_usize;
|
||||
use rand::Rng;
|
||||
|
||||
use crate::cpu::kernel::aggregator::KERNEL;
|
||||
use crate::cpu::kernel::interpreter::Interpreter;
|
||||
use crate::util::{biguint_to_mem_vec, mem_vec_to_biguint};
|
||||
|
||||
const BIGNUM_LIMB_BITS: usize = 128;
|
||||
const MINUS_ONE: U256 = U256::MAX;
|
||||
|
||||
fn test_data() -> Vec<BigUint> {
|
||||
let mut data = vec![
|
||||
0u128.into(),
|
||||
1u128.into(),
|
||||
u128::MAX.into(),
|
||||
|
||||
// Generated by GMP's mpz_rrandomb for bit lengths 5, 10, 100, 255, 256, 257, 500, 511, 512, 513, 1000, and 1500.
|
||||
21u128.into(),
|
||||
908u128.into(),
|
||||
1267650597867046177654064545792u128.into(),
|
||||
BigUint::from_str("57896044618658097611351864738157061705262361561497619362091104892532012613632").unwrap(),
|
||||
BigUint::from_str("115792089237105570840234253759177109864155645142784332660520492325483608801280").unwrap(),
|
||||
BigUint::from_str("231583736816786089484927226016147767929578972263620494977377884571370600267775").unwrap(),
|
||||
BigUint::from_str("3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049792").unwrap(),
|
||||
BigUint::from_str("5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348287").unwrap(),
|
||||
BigUint::from_str("13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780159").unwrap(),
|
||||
BigUint::from_str("26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103232").unwrap(),
|
||||
BigUint::from_str("10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375369216").unwrap(),
|
||||
BigUint::from_str("35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957046271").unwrap(),
|
||||
];
|
||||
|
||||
data.sort();
|
||||
data
|
||||
}
|
||||
|
||||
fn pad_bignums(biguints: &[BigUint], length: usize) -> Vec<U256> {
|
||||
biguints
|
||||
.iter()
|
||||
.flat_map(|biguint| {
|
||||
biguint_to_mem_vec(biguint.clone())
|
||||
.into_iter()
|
||||
.pad_using(length, |_| U256::zero())
|
||||
})
|
||||
.collect()
|
||||
}
|
||||
|
||||
fn gen_bignum(bit_size: usize) -> BigUint {
|
||||
let mut rng = rand::thread_rng();
|
||||
rng.gen_biguint(bit_size as u64)
|
||||
}
|
||||
|
||||
fn bignum_len(a: &BigUint) -> usize {
|
||||
ceil_div_usize(a.bits() as usize, BIGNUM_LIMB_BITS)
|
||||
}
|
||||
|
||||
fn gen_two_bignums_ordered(bit_size: usize) -> (BigUint, BigUint) {
|
||||
let mut rng = rand::thread_rng();
|
||||
let (a, b) = (
|
||||
rng.gen_biguint(bit_size as u64),
|
||||
rng.gen_biguint(bit_size as u64),
|
||||
);
|
||||
if b < a {
|
||||
(a, b)
|
||||
} else {
|
||||
(b, a)
|
||||
}
|
||||
}
|
||||
|
||||
fn prepare_bignum_random(bit_size: usize) -> (BigUint, U256, Vec<U256>) {
|
||||
let a = gen_bignum(bit_size);
|
||||
let length: U256 = bignum_len(&a).into();
|
||||
let a_limbs = biguint_to_mem_vec(a.clone());
|
||||
|
||||
(a, length, a_limbs)
|
||||
}
|
||||
|
||||
fn prepare_bignum_max(bit_size: usize) -> (BigUint, U256, Vec<U256>) {
|
||||
let a = (BigUint::one() << bit_size) - BigUint::one();
|
||||
let length: U256 = bignum_len(&a).into();
|
||||
let a_limbs = biguint_to_mem_vec(a.clone());
|
||||
|
||||
(a, length, a_limbs)
|
||||
}
|
||||
|
||||
fn prepare_bignum_min(_bit_size: usize) -> (BigUint, U256, Vec<U256>) {
|
||||
let a = BigUint::zero();
|
||||
let length: U256 = bignum_len(&a).into();
|
||||
let a_limbs = biguint_to_mem_vec(a.clone());
|
||||
|
||||
(a, length, a_limbs)
|
||||
}
|
||||
|
||||
fn prepare_bignum_from_value(a: BigUint) -> (BigUint, U256, Vec<U256>) {
|
||||
let length: U256 = bignum_len(&a).into();
|
||||
let a_limbs = biguint_to_mem_vec(a.clone());
|
||||
|
||||
(a, length, a_limbs)
|
||||
}
|
||||
|
||||
fn prepare_two_bignums_random(bit_size: usize) -> (BigUint, BigUint, U256, Vec<U256>) {
|
||||
let (a, b) = gen_two_bignums_ordered(bit_size);
|
||||
let length: U256 = bignum_len(&a).into();
|
||||
let memory = pad_bignums(&[a.clone(), b.clone()], length.try_into().unwrap());
|
||||
|
||||
(a, b, length, memory)
|
||||
}
|
||||
|
||||
fn prepare_two_bignums_max(bit_size: usize) -> (BigUint, BigUint, U256, Vec<U256>) {
|
||||
let a = (BigUint::one() << bit_size) - BigUint::one();
|
||||
let b = (BigUint::one() << bit_size) - BigUint::from(2u8);
|
||||
let length: U256 = bignum_len(&a).into();
|
||||
let memory = pad_bignums(&[a.clone(), b.clone()], length.try_into().unwrap());
|
||||
|
||||
(a, b, length, memory)
|
||||
}
|
||||
|
||||
fn prepare_two_bignums_min(_bit_size: usize) -> (BigUint, BigUint, U256, Vec<U256>) {
|
||||
let a = BigUint::one();
|
||||
let b = BigUint::zero();
|
||||
let length: U256 = bignum_len(&a).into();
|
||||
let memory = pad_bignums(&[a.clone(), b.clone()], length.try_into().unwrap());
|
||||
|
||||
(a, b, length, memory)
|
||||
}
|
||||
|
||||
fn prepare_two_bignums_diff(bit_size: usize) -> (BigUint, BigUint, U256, Vec<U256>) {
|
||||
let a = BigUint::one() << (bit_size - 1);
|
||||
let b = BigUint::zero();
|
||||
let length: U256 = bignum_len(&a).into();
|
||||
let memory = pad_bignums(&[a.clone(), b.clone()], length.try_into().unwrap());
|
||||
|
||||
(a, b, length, memory)
|
||||
}
|
||||
|
||||
fn prepare_two_bignums_zero(_bit_size: usize) -> (BigUint, BigUint, U256, Vec<U256>) {
|
||||
let a = BigUint::zero();
|
||||
let b = BigUint::zero();
|
||||
let length: U256 = bignum_len(&a).into();
|
||||
let memory = pad_bignums(&[a.clone(), b.clone()], length.try_into().unwrap());
|
||||
|
||||
(a, b, length, memory)
|
||||
}
|
||||
|
||||
fn prepare_two_bignums_from_values(a: BigUint, b: BigUint) -> (BigUint, BigUint, U256, Vec<U256>) {
|
||||
let length: U256 = bignum_len(&a).into();
|
||||
let memory = pad_bignums(&[a.clone(), b.clone()], length.try_into().unwrap());
|
||||
|
||||
(a, b, length, memory)
|
||||
}
|
||||
|
||||
fn test_shr_bignum<F>(prepare_bignum_fn: &F) -> Result<()>
|
||||
where
|
||||
F: Fn(usize) -> (BigUint, U256, Vec<U256>),
|
||||
{
|
||||
let (a, length, memory) = prepare_bignum_fn(1000);
|
||||
|
||||
let halved = a >> 1;
|
||||
|
||||
let retdest = 0xDEADBEEFu32.into();
|
||||
let shr_bignum = KERNEL.global_labels["shr_bignum"];
|
||||
|
||||
let a_start_loc = 0.into();
|
||||
|
||||
let mut initial_stack: Vec<U256> = vec![length, a_start_loc, retdest];
|
||||
initial_stack.reverse();
|
||||
let mut interpreter = Interpreter::new_with_kernel(shr_bignum, initial_stack);
|
||||
interpreter.set_kernel_general_memory(memory);
|
||||
interpreter.run()?;
|
||||
|
||||
let new_memory = interpreter.get_kernel_general_memory();
|
||||
let new_a = mem_vec_to_biguint(&new_memory[0..length.as_usize()]);
|
||||
assert_eq!(new_a, halved);
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn test_iszero_bignum<F>(prepare_bignum_fn: &F) -> Result<()>
|
||||
where
|
||||
F: Fn(usize) -> (BigUint, U256, Vec<U256>),
|
||||
{
|
||||
let (length, memory) = {
|
||||
let (mut a, mut length, mut memory) = prepare_bignum_fn(1000);
|
||||
while a == BigUint::zero() {
|
||||
(a, length, memory) = prepare_bignum_fn(1000);
|
||||
}
|
||||
(length, memory)
|
||||
};
|
||||
|
||||
let retdest = 0xDEADBEEFu32.into();
|
||||
let iszero_bignum = KERNEL.global_labels["iszero_bignum"];
|
||||
|
||||
let a_start_loc = 0.into();
|
||||
|
||||
// Test with a > 0.
|
||||
let mut initial_stack: Vec<U256> = vec![length, a_start_loc, retdest];
|
||||
initial_stack.reverse();
|
||||
let mut interpreter = Interpreter::new_with_kernel(iszero_bignum, initial_stack);
|
||||
interpreter.set_kernel_general_memory(memory.clone());
|
||||
interpreter.run()?;
|
||||
let result = interpreter.stack()[0];
|
||||
assert_eq!(result, 0.into());
|
||||
|
||||
let memory = vec![0.into(); memory.len()];
|
||||
|
||||
// Test with a == 0.
|
||||
let mut initial_stack: Vec<U256> = vec![length, a_start_loc, retdest];
|
||||
initial_stack.reverse();
|
||||
let mut interpreter = Interpreter::new_with_kernel(iszero_bignum, initial_stack);
|
||||
interpreter.set_kernel_general_memory(memory);
|
||||
interpreter.run()?;
|
||||
let result = interpreter.stack()[0];
|
||||
assert_eq!(result, U256::one());
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn test_cmp_bignum<F>(prepare_two_bignums_fn: &F) -> Result<()>
|
||||
where
|
||||
F: Fn(usize) -> (BigUint, BigUint, U256, Vec<U256>),
|
||||
{
|
||||
let (_a, _b, length, memory) = prepare_two_bignums_fn(1000);
|
||||
|
||||
let retdest = 0xDEADBEEFu32.into();
|
||||
let cmp_bignum = KERNEL.global_labels["cmp_bignum"];
|
||||
|
||||
let a_start_loc = 0.into();
|
||||
let b_start_loc = length;
|
||||
|
||||
// Test with a > b.
|
||||
let mut initial_stack: Vec<U256> = vec![length, a_start_loc, b_start_loc, retdest];
|
||||
initial_stack.reverse();
|
||||
let mut interpreter = Interpreter::new_with_kernel(cmp_bignum, initial_stack);
|
||||
interpreter.set_kernel_general_memory(memory.clone());
|
||||
interpreter.run()?;
|
||||
let result = interpreter.stack()[0];
|
||||
assert_eq!(result, U256::one());
|
||||
|
||||
// Swap a and b, to test the less-than case.
|
||||
let mut initial_stack: Vec<U256> = vec![length, b_start_loc, a_start_loc, retdest];
|
||||
initial_stack.reverse();
|
||||
let mut interpreter = Interpreter::new_with_kernel(cmp_bignum, initial_stack);
|
||||
interpreter.set_kernel_general_memory(memory.clone());
|
||||
interpreter.run()?;
|
||||
let result = interpreter.stack()[0];
|
||||
assert_eq!(result, MINUS_ONE);
|
||||
|
||||
// Test equal case.
|
||||
let mut initial_stack: Vec<U256> = vec![length, a_start_loc, a_start_loc, retdest];
|
||||
initial_stack.reverse();
|
||||
let mut interpreter = Interpreter::new_with_kernel(cmp_bignum, initial_stack);
|
||||
interpreter.set_kernel_general_memory(memory);
|
||||
interpreter.run()?;
|
||||
let result = interpreter.stack()[0];
|
||||
assert_eq!(result, U256::zero());
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn test_add_bignum<F>(prepare_two_bignums_fn: &F) -> Result<()>
|
||||
where
|
||||
F: Fn(usize) -> (BigUint, BigUint, U256, Vec<U256>),
|
||||
{
|
||||
let (a, b, length, memory) = prepare_two_bignums_fn(1000);
|
||||
let len: usize = length.try_into().unwrap();
|
||||
|
||||
// Determine expected sum.
|
||||
let sum = a + b;
|
||||
let expected_sum: Vec<U256> = biguint_to_mem_vec(sum);
|
||||
|
||||
let a_start_loc = 0.into();
|
||||
let b_start_loc = length;
|
||||
|
||||
// Prepare stack.
|
||||
let retdest = 0xDEADBEEFu32.into();
|
||||
let mut initial_stack: Vec<U256> = vec![length, a_start_loc, b_start_loc, retdest];
|
||||
initial_stack.reverse();
|
||||
|
||||
// Prepare interpreter.
|
||||
let add_bignum = KERNEL.global_labels["add_bignum"];
|
||||
let mut interpreter = Interpreter::new_with_kernel(add_bignum, initial_stack);
|
||||
interpreter.set_kernel_general_memory(memory);
|
||||
|
||||
// Run add function.
|
||||
interpreter.run()?;
|
||||
|
||||
// Determine actual sum, appending the final carry if nonzero.
|
||||
let carry_limb = interpreter.stack()[0];
|
||||
let mut new_memory = interpreter.get_kernel_general_memory();
|
||||
if carry_limb > 0.into() {
|
||||
new_memory[len] = carry_limb;
|
||||
}
|
||||
let actual_sum: Vec<_> = new_memory[..expected_sum.len()].into();
|
||||
|
||||
// Compare.
|
||||
assert_eq!(actual_sum, expected_sum);
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn test_addmul_bignum<F>(prepare_two_bignums_fn: &F) -> Result<()>
|
||||
where
|
||||
F: Fn(usize) -> (BigUint, BigUint, U256, Vec<U256>),
|
||||
{
|
||||
let mut rng = rand::thread_rng();
|
||||
let (a, b, length, mut memory) = prepare_two_bignums_fn(1000);
|
||||
let len: usize = length.try_into().unwrap();
|
||||
memory.splice(len..len, vec![0.into(); 2].iter().cloned());
|
||||
|
||||
let val: u128 = rng.gen();
|
||||
let val_u256 = U256::from(val);
|
||||
|
||||
// Determine expected result.
|
||||
let result = a + b * BigUint::from(val);
|
||||
let expected_result: Vec<U256> = biguint_to_mem_vec(result);
|
||||
|
||||
let a_start_loc = 0.into();
|
||||
let b_start_loc = length + 2;
|
||||
|
||||
// Prepare stack.
|
||||
let retdest = 0xDEADBEEFu32.into();
|
||||
let mut initial_stack: Vec<U256> = vec![length, a_start_loc, b_start_loc, val_u256, retdest];
|
||||
initial_stack.reverse();
|
||||
|
||||
// Prepare interpreter.
|
||||
let addmul_bignum = KERNEL.global_labels["addmul_bignum"];
|
||||
let mut interpreter = Interpreter::new_with_kernel(addmul_bignum, initial_stack);
|
||||
interpreter.set_kernel_general_memory(memory);
|
||||
|
||||
// Run add function.
|
||||
interpreter.run()?;
|
||||
|
||||
// Determine actual result.
|
||||
let carry_limb = interpreter.stack()[0];
|
||||
let mut new_memory = interpreter.get_kernel_general_memory();
|
||||
new_memory[len] = carry_limb;
|
||||
let actual_result: Vec<_> = new_memory[..expected_result.len()].into();
|
||||
|
||||
// Compare.
|
||||
assert_eq!(actual_result, expected_result);
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn test_mul_bignum<F>(prepare_two_bignums_fn: &F) -> Result<()>
|
||||
where
|
||||
F: Fn(usize) -> (BigUint, BigUint, U256, Vec<U256>),
|
||||
{
|
||||
let (a, b, length, memory) = prepare_two_bignums_fn(1000);
|
||||
|
||||
// Determine expected product.
|
||||
let product = a * b;
|
||||
let expected_product: Vec<U256> = biguint_to_mem_vec(product);
|
||||
|
||||
// Output and scratch space locations (initialized as zeroes) follow a and b in memory.
|
||||
let a_start_loc = 0.into();
|
||||
let b_start_loc = length;
|
||||
let output_loc = length * 2;
|
||||
|
||||
// Prepare stack.
|
||||
let retdest = 0xDEADBEEFu32.into();
|
||||
let mut initial_stack: Vec<U256> = vec![length, a_start_loc, b_start_loc, output_loc, retdest];
|
||||
initial_stack.reverse();
|
||||
|
||||
// Prepare interpreter.
|
||||
let mul_bignum = KERNEL.global_labels["mul_bignum"];
|
||||
let mut interpreter = Interpreter::new_with_kernel(mul_bignum, initial_stack);
|
||||
interpreter.set_kernel_general_memory(memory);
|
||||
|
||||
// Run mul function.
|
||||
interpreter.run()?;
|
||||
|
||||
// Determine actual product.
|
||||
let new_memory = interpreter.get_kernel_general_memory();
|
||||
let output_location: usize = output_loc.try_into().unwrap();
|
||||
let actual_product: Vec<_> =
|
||||
new_memory[output_location..output_location + expected_product.len()].into();
|
||||
|
||||
assert_eq!(actual_product, expected_product);
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_shr_bignum_all() -> Result<()> {
|
||||
test_shr_bignum(&prepare_bignum_random)?;
|
||||
test_shr_bignum(&prepare_bignum_max)?;
|
||||
test_shr_bignum(&prepare_bignum_min)?;
|
||||
|
||||
let test_data = test_data();
|
||||
for i in 0..test_data.len() {
|
||||
test_shr_bignum(&|_| prepare_bignum_from_value(test_data[i].clone()))?;
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_iszero_bignum_all() -> Result<()> {
|
||||
test_iszero_bignum(&prepare_bignum_random)?;
|
||||
test_iszero_bignum(&prepare_bignum_max)?;
|
||||
// No need to test for min, since it is zero.
|
||||
|
||||
let test_data = test_data();
|
||||
for i in 0..test_data.len() {
|
||||
if test_data[i] != 0u8.into() {
|
||||
test_iszero_bignum(&|_| prepare_bignum_from_value(test_data[i].clone()))?;
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_cmp_bignum_all() -> Result<()> {
|
||||
test_cmp_bignum(&prepare_two_bignums_random)?;
|
||||
test_cmp_bignum(&prepare_two_bignums_max)?;
|
||||
test_cmp_bignum(&prepare_two_bignums_min)?;
|
||||
test_cmp_bignum(&prepare_two_bignums_diff)?;
|
||||
|
||||
let test_data = test_data();
|
||||
for i in 0..test_data.len() {
|
||||
for j in 0..i {
|
||||
test_cmp_bignum(&|_| {
|
||||
prepare_two_bignums_from_values(test_data[i].clone(), test_data[j].clone())
|
||||
})?;
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_add_bignum_all() -> Result<()> {
|
||||
test_add_bignum(&prepare_two_bignums_random)?;
|
||||
test_add_bignum(&prepare_two_bignums_max)?;
|
||||
test_add_bignum(&prepare_two_bignums_min)?;
|
||||
test_add_bignum(&prepare_two_bignums_diff)?;
|
||||
test_add_bignum(&prepare_two_bignums_zero)?;
|
||||
|
||||
let test_data = test_data();
|
||||
for i in 0..test_data.len() {
|
||||
for j in 0..i {
|
||||
test_add_bignum(&|_| {
|
||||
prepare_two_bignums_from_values(test_data[i].clone(), test_data[j].clone())
|
||||
})?;
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_addmul_bignum_all() -> Result<()> {
|
||||
test_addmul_bignum(&prepare_two_bignums_random)?;
|
||||
test_addmul_bignum(&prepare_two_bignums_max)?;
|
||||
test_addmul_bignum(&prepare_two_bignums_min)?;
|
||||
test_addmul_bignum(&prepare_two_bignums_diff)?;
|
||||
test_addmul_bignum(&prepare_two_bignums_zero)?;
|
||||
|
||||
let test_data = test_data();
|
||||
for i in 0..test_data.len() {
|
||||
for j in 0..i {
|
||||
test_addmul_bignum(&|_| {
|
||||
prepare_two_bignums_from_values(test_data[i].clone(), test_data[j].clone())
|
||||
})?;
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_mul_bignum_all() -> Result<()> {
|
||||
test_mul_bignum(&prepare_two_bignums_random)?;
|
||||
test_mul_bignum(&prepare_two_bignums_max)?;
|
||||
test_mul_bignum(&prepare_two_bignums_min)?;
|
||||
test_mul_bignum(&prepare_two_bignums_diff)?;
|
||||
test_mul_bignum(&prepare_two_bignums_zero)?;
|
||||
|
||||
let test_data = test_data();
|
||||
for i in 0..test_data.len() {
|
||||
for j in 0..i {
|
||||
test_mul_bignum(&|_| {
|
||||
prepare_two_bignums_from_values(test_data[i].clone(), test_data[j].clone())
|
||||
})?;
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
356
evm/src/cpu/kernel/tests/bignum/mod.rs
Normal file
356
evm/src/cpu/kernel/tests/bignum/mod.rs
Normal file
@ -0,0 +1,356 @@
|
||||
use std::fs::File;
|
||||
use std::io::{BufReader, BufRead};
|
||||
use std::path::PathBuf;
|
||||
|
||||
use anyhow::Result;
|
||||
use ethereum_types::U256;
|
||||
use itertools::Itertools;
|
||||
use num::{BigUint, One, Zero};
|
||||
use num_bigint::RandBigInt;
|
||||
use plonky2_util::ceil_div_usize;
|
||||
use rand::Rng;
|
||||
|
||||
use crate::cpu::kernel::aggregator::KERNEL;
|
||||
use crate::cpu::kernel::interpreter::Interpreter;
|
||||
use crate::util::{biguint_to_mem_vec, mem_vec_to_biguint};
|
||||
|
||||
const BIGNUM_LIMB_BITS: usize = 128;
|
||||
const MINUS_ONE: U256 = U256::MAX;
|
||||
|
||||
const TEST_DATA_BIGNUM_INPUTS: &str = "bignum_inputs";
|
||||
const TEST_DATA_U128_INPUTS: &str = "u128_inputs";
|
||||
const TEST_DATA_SHR_OUTPUTS: &str = "shr_outputs";
|
||||
const TEST_DATA_ISZERO_OUTPUTS: &str = "iszero_outputs";
|
||||
const TEST_DATA_CMP_OUTPUTS: &str = "cmp_outputs";
|
||||
const TEST_DATA_ADD_OUTPUTS: &str = "add_outputs";
|
||||
const TEST_DATA_ADDMUL_OUTPUTS: &str = "addmul_outputs";
|
||||
const TEST_DATA_MUL_OUTPUTS: &str = "mul_outputs";
|
||||
|
||||
const BIT_SIZES_TO_TEST: [usize; 4] = [128, 256, 512, 1000];
|
||||
|
||||
fn full_path(filename: &str) -> PathBuf {
|
||||
let mut path = PathBuf::from(env!("CARGO_MANIFEST_DIR"));
|
||||
path.push("src/cpu/kernel/tests/bignum/test_data");
|
||||
path.push(filename);
|
||||
path
|
||||
}
|
||||
|
||||
fn test_data(filename: &str) -> Vec<BigUint> {
|
||||
let file = File::open(full_path(filename)).unwrap();
|
||||
let lines = BufReader::new(file).lines();
|
||||
lines.map(|line| BigUint::parse_bytes(&line.unwrap().as_bytes(), 10).unwrap()).collect()
|
||||
}
|
||||
|
||||
fn test_data_u128(filename: &str) -> Vec<u128> {
|
||||
let file = File::open(full_path(filename)).unwrap();
|
||||
let lines = BufReader::new(file).lines();
|
||||
lines.map(|line| line.unwrap().parse::<u128>().unwrap()).collect()
|
||||
}
|
||||
|
||||
fn test_data_u256(filename: &str) -> Vec<U256> {
|
||||
let file = File::open(full_path(filename)).unwrap();
|
||||
let lines = BufReader::new(file).lines();
|
||||
lines.map(|line| U256::from_dec_str(&line.unwrap()).unwrap()).collect()
|
||||
}
|
||||
|
||||
// Convert each biguint to a vector of bignum limbs, pad to the given length, and concatenate.
|
||||
fn pad_bignums(biguints: &[BigUint], length: usize) -> Vec<U256> {
|
||||
biguints
|
||||
.iter()
|
||||
.flat_map(|biguint| {
|
||||
biguint_to_mem_vec(biguint.clone())
|
||||
.into_iter()
|
||||
.pad_using(length, |_| U256::zero())
|
||||
})
|
||||
.collect()
|
||||
}
|
||||
|
||||
fn gen_bignum(bit_size: usize) -> BigUint {
|
||||
let mut rng = rand::thread_rng();
|
||||
rng.gen_biguint(bit_size as u64)
|
||||
}
|
||||
|
||||
fn max_bignum(bit_size: usize) -> BigUint {
|
||||
(BigUint::one() << bit_size) - BigUint::one()
|
||||
}
|
||||
|
||||
fn bignum_len(a: &BigUint) -> usize {
|
||||
ceil_div_usize(a.bits() as usize, BIGNUM_LIMB_BITS)
|
||||
}
|
||||
|
||||
fn run_test(fn_label: &str, memory: Vec<U256>, stack: Vec<U256>) -> Result<(Vec<U256>, Vec<U256>)> {
|
||||
let fn_label = KERNEL.global_labels[fn_label];
|
||||
let retdest = 0xDEADBEEFu32.into();
|
||||
|
||||
let mut initial_stack: Vec<U256> = stack;
|
||||
initial_stack.push(retdest);
|
||||
initial_stack.reverse();
|
||||
|
||||
let mut interpreter = Interpreter::new_with_kernel(fn_label, initial_stack);
|
||||
interpreter.set_kernel_general_memory(memory);
|
||||
interpreter.run()?;
|
||||
|
||||
let new_memory = interpreter.get_kernel_general_memory();
|
||||
|
||||
Ok((new_memory, interpreter.stack().to_vec()))
|
||||
}
|
||||
|
||||
fn test_shr_bignum(input: BigUint, expected_output: BigUint) -> Result<()>
|
||||
{
|
||||
let len = bignum_len(&input);
|
||||
let memory = biguint_to_mem_vec(input.clone());
|
||||
|
||||
let input_start_loc = 0;
|
||||
let (new_memory, _new_stack) = run_test("shr_bignum", memory, vec![len.into(), input_start_loc.into()])?;
|
||||
|
||||
let output = mem_vec_to_biguint(&new_memory[input_start_loc..input_start_loc+len]);
|
||||
assert_eq!(output, expected_output);
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn test_iszero_bignum(input: BigUint, expected_output: U256) -> Result<()>
|
||||
{
|
||||
let len = bignum_len(&input);
|
||||
let memory = biguint_to_mem_vec(input.clone());
|
||||
|
||||
let input_start_loc = 0;
|
||||
let (_new_memory, new_stack) = run_test("iszero_bignum", memory, vec![len.into(), input_start_loc.into()])?;
|
||||
|
||||
let output = new_stack[0];
|
||||
assert_eq!(output, expected_output);
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn test_cmp_bignum(a: BigUint, b: BigUint, expected_output: U256) -> Result<()>
|
||||
{
|
||||
let len = bignum_len(&a).max(bignum_len(&b));
|
||||
let memory = pad_bignums(&[a.clone(), b.clone()], len);
|
||||
|
||||
let a_start_loc = 0;
|
||||
let b_start_loc = len;
|
||||
let (_new_memory, new_stack) = run_test("cmp_bignum", memory, vec![len.into(), a_start_loc.into(), b_start_loc.into()])?;
|
||||
|
||||
let output = new_stack[0];
|
||||
assert_eq!(output, expected_output);
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn test_add_bignum(a: BigUint, b: BigUint, expected_output: BigUint) -> Result<()>
|
||||
{
|
||||
let len = bignum_len(&a).max(bignum_len(&b));
|
||||
let memory = pad_bignums(&[a.clone(), b.clone()], len);
|
||||
|
||||
let a_start_loc = 0;
|
||||
let b_start_loc = len;
|
||||
let (mut new_memory, new_stack) = run_test("add_bignum", memory, vec![len.into(), a_start_loc.into(), b_start_loc.into()])?;
|
||||
|
||||
// Determine actual sum, appending the final carry if nonzero.
|
||||
let carry_limb = new_stack[0];
|
||||
if carry_limb > 0.into() {
|
||||
new_memory[len] = carry_limb;
|
||||
}
|
||||
let output = mem_vec_to_biguint(&new_memory[a_start_loc..a_start_loc+len]);
|
||||
assert_eq!(output, expected_output);
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn test_addmul_bignum(a: BigUint, b: BigUint, c: u128, expected_output: BigUint) -> Result<()>
|
||||
{
|
||||
let len = bignum_len(&a).max(bignum_len(&b));
|
||||
let mut memory = pad_bignums(&[a.clone(), b.clone()], len);
|
||||
memory.splice(len..len, vec![0.into(); 2].iter().cloned());
|
||||
|
||||
let a_start_loc = 0;
|
||||
let b_start_loc = len + 2;
|
||||
let (mut new_memory, new_stack) = run_test("addmul_bignum", memory, vec![len.into(), a_start_loc.into(), b_start_loc.into(), c.into()])?;
|
||||
|
||||
// Determine actual sum, appending the final carry if nonzero.
|
||||
let carry_limb = new_stack[0];
|
||||
if carry_limb > 0.into() {
|
||||
new_memory[len] = carry_limb;
|
||||
}
|
||||
let output = mem_vec_to_biguint(&new_memory[a_start_loc..a_start_loc+len]);
|
||||
assert_eq!(output, expected_output);
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
fn test_mul_bignum(a: BigUint, b: BigUint, expected_output: BigUint) -> Result<()>
|
||||
{
|
||||
let len = bignum_len(&a).max(bignum_len(&b));
|
||||
let output_len = len * 2;
|
||||
let memory = pad_bignums(&[a.clone(), b.clone()], len);
|
||||
|
||||
let a_start_loc = 0;
|
||||
let b_start_loc = len;
|
||||
let output_start_loc = 2 * len;
|
||||
let (new_memory, _new_stack) = run_test("mul_bignum", memory, vec![len.into(), a_start_loc.into(), b_start_loc.into(), output_start_loc.into()])?;
|
||||
|
||||
let output = mem_vec_to_biguint(&new_memory[output_start_loc..output_start_loc+output_len]);
|
||||
assert_eq!(output, expected_output);
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_shr_bignum_all() -> Result<()> {
|
||||
for bit_size in BIT_SIZES_TO_TEST {
|
||||
let input = gen_bignum(bit_size);
|
||||
let output = input.clone() >> 1;
|
||||
test_shr_bignum(input, output)?;
|
||||
|
||||
let input = max_bignum(bit_size);
|
||||
let output = input.clone() >> 1;
|
||||
test_shr_bignum(input, output)?;
|
||||
}
|
||||
|
||||
let inputs = test_data(TEST_DATA_BIGNUM_INPUTS);
|
||||
let shr_outputs = test_data(TEST_DATA_SHR_OUTPUTS);
|
||||
for (input, output) in inputs.iter().zip(shr_outputs.iter()) {
|
||||
test_shr_bignum(input.clone(), output.clone())?;
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_iszero_bignum_all() -> Result<()> {
|
||||
for bit_size in BIT_SIZES_TO_TEST {
|
||||
let input = gen_bignum(bit_size);
|
||||
let output = input.is_zero() as u8;
|
||||
test_iszero_bignum(input, output.into())?;
|
||||
|
||||
let input = max_bignum(bit_size);
|
||||
let output = 0;
|
||||
test_iszero_bignum(input, output.into())?;
|
||||
}
|
||||
|
||||
let inputs = test_data(TEST_DATA_BIGNUM_INPUTS);
|
||||
let iszero_outputs = test_data_u256(TEST_DATA_ISZERO_OUTPUTS);
|
||||
let mut iszero_outputs_iter = iszero_outputs.iter();
|
||||
for input in inputs {
|
||||
let output = iszero_outputs_iter.next().unwrap();
|
||||
test_iszero_bignum(input.clone(), *output)?;
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_cmp_bignum_all() -> Result<()> {
|
||||
for bit_size in BIT_SIZES_TO_TEST {
|
||||
let a = gen_bignum(bit_size);
|
||||
let b = gen_bignum(bit_size);
|
||||
let output = if a < b { MINUS_ONE } else if a == b { 0.into() } else { 1.into() };
|
||||
test_cmp_bignum(a, b, output)?;
|
||||
|
||||
let a = max_bignum(bit_size);
|
||||
let b = max_bignum(bit_size);
|
||||
let output = 0.into();
|
||||
test_cmp_bignum(a, b, output)?;
|
||||
}
|
||||
|
||||
let inputs = test_data(TEST_DATA_BIGNUM_INPUTS);
|
||||
let cmp_outputs = test_data_u256(TEST_DATA_CMP_OUTPUTS);
|
||||
let mut cmp_outputs_iter = cmp_outputs.iter();
|
||||
for a in inputs.clone() {
|
||||
for b in inputs.clone() {
|
||||
let output = cmp_outputs_iter.next().unwrap();
|
||||
test_cmp_bignum(a.clone(), b.clone(), *output)?;
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_add_bignum_all() -> Result<()> {
|
||||
for bit_size in BIT_SIZES_TO_TEST {
|
||||
let a = gen_bignum(bit_size);
|
||||
let b = gen_bignum(bit_size);
|
||||
let output = a.clone() + b.clone();
|
||||
test_add_bignum(a, b, output)?;
|
||||
|
||||
let a = max_bignum(bit_size);
|
||||
let b = max_bignum(bit_size);
|
||||
let output = a.clone() + b.clone();
|
||||
test_add_bignum(a, b, output)?;
|
||||
}
|
||||
|
||||
let inputs = test_data(TEST_DATA_BIGNUM_INPUTS);
|
||||
let add_outputs = test_data(TEST_DATA_ADD_OUTPUTS);
|
||||
let mut add_outputs_iter = add_outputs.iter();
|
||||
for a in inputs.clone() {
|
||||
for b in inputs.clone() {
|
||||
let output = add_outputs_iter.next().unwrap();
|
||||
test_add_bignum(a.clone(), b.clone(), output.clone())?;
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_addmul_bignum_all() -> Result<()> {
|
||||
let mut rng = rand::thread_rng();
|
||||
|
||||
for bit_size in BIT_SIZES_TO_TEST {
|
||||
let a = gen_bignum(bit_size);
|
||||
let b = gen_bignum(bit_size);
|
||||
let c: u128 = rng.gen();
|
||||
let output = a.clone() + b.clone() * c;
|
||||
test_addmul_bignum(a, b, c, output)?;
|
||||
|
||||
let a = max_bignum(bit_size);
|
||||
let b = max_bignum(bit_size);
|
||||
let c: u128 = rng.gen();
|
||||
let output = a.clone() + b.clone() * c;
|
||||
test_addmul_bignum(a, b, c, output)?;
|
||||
}
|
||||
|
||||
let inputs = test_data(TEST_DATA_BIGNUM_INPUTS);
|
||||
let u128_inputs = test_data_u128(TEST_DATA_U128_INPUTS);
|
||||
let addmul_outputs = test_data(TEST_DATA_ADDMUL_OUTPUTS);
|
||||
let mut addmul_outputs_iter = addmul_outputs.iter();
|
||||
for a in inputs.clone() {
|
||||
for b in inputs.clone() {
|
||||
for c in u128_inputs.clone() {
|
||||
let output = addmul_outputs_iter.next().unwrap();
|
||||
test_addmul_bignum(a.clone(), b.clone(), c, output.clone())?;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_mul_bignum_all() -> Result<()> {
|
||||
for bit_size in BIT_SIZES_TO_TEST {
|
||||
let a = gen_bignum(bit_size);
|
||||
let b = gen_bignum(bit_size);
|
||||
let output = a.clone() * b.clone();
|
||||
test_mul_bignum(a, b, output)?;
|
||||
|
||||
let a = max_bignum(bit_size);
|
||||
let b = max_bignum(bit_size);
|
||||
let output = a.clone() * b.clone();
|
||||
test_mul_bignum(a, b, output)?;
|
||||
}
|
||||
|
||||
let inputs = test_data(TEST_DATA_BIGNUM_INPUTS);
|
||||
let mul_outputs = test_data(TEST_DATA_MUL_OUTPUTS);
|
||||
let mut mul_outputs_iter = mul_outputs.iter();
|
||||
for a in inputs.clone() {
|
||||
for b in inputs.clone() {
|
||||
let output = mul_outputs_iter.next().unwrap();
|
||||
test_mul_bignum(a.clone(), b.clone(), output.clone())?;
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
225
evm/src/cpu/kernel/tests/bignum/test_data/add_outputs
Normal file
225
evm/src/cpu/kernel/tests/bignum/test_data/add_outputs
Normal file
@ -0,0 +1,225 @@
|
||||
0
|
||||
1
|
||||
21
|
||||
908
|
||||
1267650597867046177654064545792
|
||||
340282366920938463463374607431768211455
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012613632
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608801280
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600267775
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049792
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348287
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780159
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103232
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375369216
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957046271
|
||||
1
|
||||
2
|
||||
22
|
||||
909
|
||||
1267650597867046177654064545793
|
||||
340282366920938463463374607431768211456
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012613633
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608801281
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600267776
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049793
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348288
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780160
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103233
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375369217
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957046272
|
||||
21
|
||||
22
|
||||
42
|
||||
929
|
||||
1267650597867046177654064545813
|
||||
340282366920938463463374607431768211476
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012613653
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608801301
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600267796
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049813
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348308
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780180
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103253
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375369237
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957046292
|
||||
908
|
||||
909
|
||||
929
|
||||
1816
|
||||
1267650597867046177654064546700
|
||||
340282366920938463463374607431768212363
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012614540
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608802188
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600268683
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998050700
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486349195
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690781067
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387104140
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375370124
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957047179
|
||||
1267650597867046177654064545792
|
||||
1267650597867046177654064545793
|
||||
1267650597867046177654064545813
|
||||
1267650597867046177654064546700
|
||||
2535301195734092355308129091584
|
||||
340282368188589061330420785085832757247
|
||||
57896044618658097611351864738157061705262361562765269959958151070186077159424
|
||||
115792089237105570840234253759177109864155645144051983258387538503137673347072
|
||||
231583736816786089484927226016147767929578972264888145575244930749024664813567
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725447442614227457227324739062595584
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851379715837692741036504647550894079
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756017613817472060411970538755325951
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459868939503685406252196573451649024
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059367521063656309566056683439915008
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571754105966758923615108084021592063
|
||||
340282366920938463463374607431768211455
|
||||
340282366920938463463374607431768211456
|
||||
340282366920938463463374607431768211476
|
||||
340282366920938463463374607431768212363
|
||||
340282368188589061330420785085832757247
|
||||
680564733841876926926749214863536422910
|
||||
57896044618658097611351864738157061705602643928418557825554479499963780825087
|
||||
115792089237105570840234253759177109864495927509705271123983866932915377012735
|
||||
231583736816786089484927226016147767929919254630541433440841259178802368479230
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656433007813095902093053555754516766261247
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352969133745369125558337364934425254559742
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107569038383267105337656740400316458991614
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244438742234592791551002580626351155314687
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359572341733174351521905894486461143580671
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998595854119759254624519943537861725257726
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012613632
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012613633
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012613653
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012614540
|
||||
57896044618658097611351864738157061705262361562765269959958151070186077159424
|
||||
57896044618658097611351864738157061705602643928418557825554479499963780825087
|
||||
115792089237316195222703729476314123410524723122995238724182209785064025227264
|
||||
173688133855763668451586118497334171569418006704281952022611597218015621414912
|
||||
289479781435444187096279090754304829634841333825118114339468989463902612881407
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539586401155309462588318799202567027652361355087007672582991681286039617010663424
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306804394074875752581912318823441521134057891212939945806456965095219525498961919
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395892888572752773084019014537559577489812491117577843786236284470685416703393791
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329972428655111861232797616170839264946949360821429169472449630310911451399716864
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356940333001073316904952470628102164776064494420927751032420533624771561387982848
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463796730242309831072892700701204289449703517933314335935523147673822961969659903
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608801280
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608801281
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608801301
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608802188
|
||||
115792089237105570840234253759177109864155645144051983258387538503137673347072
|
||||
115792089237105570840234253759177109864495927509705271123983866932915377012735
|
||||
173688133855763668451586118497334171569418006704281952022611597218015621414912
|
||||
231584178474211141680468507518354219728311290285568665321040984650967217602560
|
||||
347375826053891660325161479775324877793734617406404827637898376896854209069055
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539644297199927910061547681591588047700520248370588959296290110673472568606851072
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306862290119494200055141201212462541182216784496521232519755394482652477095149567
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395950784617371220557247896926580597537971384401159130499534713858118368299581439
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124330030324699730308706026498559860284995108254105010456185748059698344402995904512
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356998229045691764378181353017123184824223387704509037745718963012204512984170496
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463854626286928278546121583090225309497862411216895622648821577061255913565847551
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600267775
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600267776
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600267796
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600268683
|
||||
231583736816786089484927226016147767929578972264888145575244930749024664813567
|
||||
231583736816786089484927226016147767929919254630541433440841259178802368479230
|
||||
289479781435444187096279090754304829634841333825118114339468989463902612881407
|
||||
347375826053891660325161479775324877793734617406404827637898376896854209069055
|
||||
463167473633572178969854452032295535859157944527240989954755769142741200535550
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539760088847507590580192374563845018358585671697709795458606968065718455598317567
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306978081767073880573785894184719511840282207823642068682072251874898364086616062
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832396066576264950901075892589898837568196036807728279966661851571250364255291047934
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124330146116347309989224671191532117255653173677432131292348064917090590289987371007
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322357114020693271444896826045989380155482288811031629873908035820404450399975636991
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463970417934507959064766276062482280155927834544016458811138434453501800557314046
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049792
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049793
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049813
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998050700
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725447442614227457227324739062595584
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656433007813095902093053555754516766261247
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539586401155309462588318799202567027652361355087007672582991681286039617010663424
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539644297199927910061547681591588047700520248370588959296290110673472568606851072
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539760088847507590580192374563845018358585671697709795458606968065718455598317567
|
||||
6546781215792283740026379393655198304433284092086129578964496811352501079057010221381608981414894675657741181312185450892349927259180362294169996099584
|
||||
5031201364337132199852439554145654216707855155679114666422852468827643886846275003140947898975008414296532234663008721576824623150724464171474078484398079
|
||||
13411081320550493241444038187564213070610975179975055804800264919735297082935363497638824919477115110010650291018763321481462521130503783546939969688829951
|
||||
26818889250493090341018063185431598542069733717904086462768985013498602374869443037721184007625893711643929978475900191185313846816717129387166004385153024
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094859873731529946340457125253265606438475403785866280608383688705623749572896410942067145463298048566101192878305015324784812428376688032701026114373419008
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988312365191525626829590504228669795829923743060941349315981180118158171906003267339308381977465988796174295002978654348297199013279790646750077514955096063
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348287
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348288
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348308
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486349195
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851379715837692741036504647550894079
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352969133745369125558337364934425254559742
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306804394074875752581912318823441521134057891212939945806456965095219525498961919
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306862290119494200055141201212462541182216784496521232519755394482652477095149567
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306978081767073880573785894184719511840282207823642068682072251874898364086616062
|
||||
5031201364337132199852439554145654216707855155679114666422852468827643886846275003140947898975008414296532234663008721576824623150724464171474078484398079
|
||||
10055855947458472115964852728897653235111277027266143203266740440843935272613492996060514188968601933917406728144705257702756896374189747980653986972696574
|
||||
18435735903671833157556451362316212089014397051562084341644152891751588468702581490558391209470708629631524784500459857607394794353969067356119878177128446
|
||||
31843543833614430257130476360183597560473155589491114999612872985514893760636661030640750297619487231264804471957596727311246120040182413196345912873451519
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604099884528314651286256569538428017605456878825657453309145227576677640040958663628934986711753291642085722067371786711860910744701600153316510206022861717503
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060993337019774646966745702917403421794848327164932528377852825068090174463291770485332227948267459582315795169496460350884423131286503255930559257423443394558
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780159
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780160
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780180
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690781067
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756017613817472060411970538755325951
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107569038383267105337656740400316458991614
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395892888572752773084019014537559577489812491117577843786236284470685416703393791
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395950784617371220557247896926580597537971384401159130499534713858118368299581439
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832396066576264950901075892589898837568196036807728279966661851571250364255291047934
|
||||
13411081320550493241444038187564213070610975179975055804800264919735297082935363497638824919477115110010650291018763321481462521130503783546939969688829951
|
||||
18435735903671833157556451362316212089014397051562084341644152891751588468702581490558391209470708629631524784500459857607394794353969067356119878177128446
|
||||
26815615859885194199148049995734770942917517075858025480021565342659241664791669985056268229972815325345642840856214457512032692333748386731585769381560318
|
||||
40223423789827791298722074993602156414376275613787056137990285436422546956725749525138627318121593926978922528313351327215884018019961732571811804077883391
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604108264408270864647298161137061436164310781945681749250283604989128547694154752717429484588773793748781436185428142466460815382599579932635885671914066149375
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581061001716899730860327787294516036840353702230284956824318991202480541082116487859573826725825287961689011509287552816105484327769184483035249934723314647826430
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103232
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103233
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103253
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387104140
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459868939503685406252196573451649024
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244438742234592791551002580626351155314687
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329972428655111861232797616170839264946949360821429169472449630310911451399716864
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124330030324699730308706026498559860284995108254105010456185748059698344402995904512
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124330146116347309989224671191532117255653173677432131292348064917090590289987371007
|
||||
26818889250493090341018063185431598542069733717904086462768985013498602374869443037721184007625893711643929978475900191185313846816717129387166004385153024
|
||||
31843543833614430257130476360183597560473155589491114999612872985514893760636661030640750297619487231264804471957596727311246120040182413196345912873451519
|
||||
40223423789827791298722074993602156414376275613787056137990285436422546956725749525138627318121593926978922528313351327215884018019961732571811804077883391
|
||||
53631231719770388398296099991469541885835034151716086795959005530185852248659829065220986406270372528612202215770488196919735343706175078412037838774206464
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604121672216200807244397735162059303549782240704219678280941573709222310999446686796969566947861942527383069465115599603330519233925266145981725897948762472448
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581061015124707660802924886868541034707739173689043494753349649171200634845421779793653366808184376110467613142567240273242354031620510169248595774949349344149503
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375369216
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375369217
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375369237
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375370124
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059367521063656309566056683439915008
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359572341733174351521905894486461143580671
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356940333001073316904952470628102164776064494420927751032420533624771561387982848
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356998229045691764378181353017123184824223387704509037745718963012204512984170496
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322357114020693271444896826045989380155482288811031629873908035820404450399975636991
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094859873731529946340457125253265606438475403785866280608383688705623749572896410942067145463298048566101192878305015324784812428376688032701026114373419008
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604099884528314651286256569538428017605456878825657453309145227576677640040958663628934986711753291642085722067371786711860910744701600153316510206022861717503
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604108264408270864647298161137061436164310781945681749250283604989128547694154752717429484588773793748781436185428142466460815382599579932635885671914066149375
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604121672216200807244397735162059303549782240704219678280941573709222310999446686796969566947861942527383069465115599603330519233925266145981725897948762472448
|
||||
21430172143725344039741447416747135734328099194269775938858685112579378184657786065906763159178676625205218492566825428477050725853377832065983208189713200681844100397174224127137557678646374287640475087188412914436146644713764873912909317614682237526728015428718464118732506826116885039758058750738432
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824629198276151174244463087285660418287344529756165187857520911105123842660034918703411836307538943107430287596439419222071804002615797677806638572665083165692141839780886307603102541747070094713562715543794785904326970568977820621271154145831782622467599830140102357487631119091729219499088809459332415487
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957046271
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957046272
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957046292
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957047179
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571754105966758923615108084021592063
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998595854119759254624519943537861725257726
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463796730242309831072892700701204289449703517933314335935523147673822961969659903
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463854626286928278546121583090225309497862411216895622648821577061255913565847551
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463970417934507959064766276062482280155927834544016458811138434453501800557314046
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988312365191525626829590504228669795829923743060941349315981180118158171906003267339308381977465988796174295002978654348297199013279790646750077514955096063
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060993337019774646966745702917403421794848327164932528377852825068090174463291770485332227948267459582315795169496460350884423131286503255930559257423443394558
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581061001716899730860327787294516036840353702230284956824318991202480541082116487859573826725825287961689011509287552816105484327769184483035249934723314647826430
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581061015124707660802924886868541034707739173689043494753349649171200634845421779793653366808184376110467613142567240273242354031620510169248595774949349344149503
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824629198276151174244463087285660418287344529756165187857520911105123842660034918703411836307538943107430287596439419222071804002615797677806638572665083165692141839780886307603102541747070094713562715543794785904326970568977820621271154145831782622467599830140102357487631119091729219499088809459332415487
|
||||
70149324220868077495255175920561715987048031760661657648151596049581927701126644407314161773169938523306300574636470765864723972756401953860971729649236966380158623144886433123904089438954731413136105939102963525135105941885179620757765851918707538235369974386271618715130954505741977781211162121976618183601835461375440982077945936461543052837790612502383395739504991310927477668395382345950562697672932264775996511143505676632322113137860859914092542
|
||||
1350
evm/src/cpu/kernel/tests/bignum/test_data/addmul_outputs
Normal file
1350
evm/src/cpu/kernel/tests/bignum/test_data/addmul_outputs
Normal file
File diff suppressed because it is too large
Load Diff
15
evm/src/cpu/kernel/tests/bignum/test_data/bignum_inputs
Normal file
15
evm/src/cpu/kernel/tests/bignum/test_data/bignum_inputs
Normal file
@ -0,0 +1,15 @@
|
||||
0
|
||||
1
|
||||
21
|
||||
908
|
||||
1267650597867046177654064545792
|
||||
340282366920938463463374607431768211455
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012613632
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608801280
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600267775
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049792
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348287
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780159
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103232
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375369216
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957046271
|
||||
225
evm/src/cpu/kernel/tests/bignum/test_data/cmp_outputs
Normal file
225
evm/src/cpu/kernel/tests/bignum/test_data/cmp_outputs
Normal file
@ -0,0 +1,225 @@
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
115792089237316195423570985008687907853269984665640564039457584007913129639935
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
1
|
||||
0
|
||||
15
evm/src/cpu/kernel/tests/bignum/test_data/iszero_outputs
Normal file
15
evm/src/cpu/kernel/tests/bignum/test_data/iszero_outputs
Normal file
@ -0,0 +1,15 @@
|
||||
1
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
225
evm/src/cpu/kernel/tests/bignum/test_data/mul_outputs
Normal file
225
evm/src/cpu/kernel/tests/bignum/test_data/mul_outputs
Normal file
@ -0,0 +1,225 @@
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
0
|
||||
1
|
||||
21
|
||||
908
|
||||
1267650597867046177654064545792
|
||||
340282366920938463463374607431768211455
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012613632
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608801280
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600267775
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049792
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348287
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780159
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103232
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375369216
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957046271
|
||||
0
|
||||
21
|
||||
441
|
||||
19068
|
||||
26620662555207969730735355461632
|
||||
7145929705339707732730866756067132440555
|
||||
1215816936991820049838389159501298295810509592791450006603913202743172264886272
|
||||
2431633873979216987644919328942719307147268547998470985870930338835155784826880
|
||||
4863258473152507879183471746339103126521158417536030394524935575998782605623275
|
||||
68741202765818979270276983633379582196549482966904360579127216519201261330098607324506894304856394094406282403777947234369674236221393804088784959045632
|
||||
105586487448313957217630953653425358968668408786294503634300774628861320362441676458635398984170320306132770645519405205878947411928992353796866863213314027
|
||||
281563966528794539091054524955215094900633929296509267540226436097922037480312534843090816414714560916129249828990251803876343269504358060681650578506383339
|
||||
563127933057589078182109049910430189801267858593018911357569558066951448610928205184820357265838911550428123265590126067657221108914838323326397307129167872
|
||||
225016807509116112417285197875844925210445041539832647358016193682083470938906753692021013171376104564654794171951666999009032621460467236692823685991988607159363054170329353334944355625786930020224988415478335601579539769494531176085547834954163494030644162001543873246691321674227292917459616882753536
|
||||
736567904319114813700179347165898017864004333486947405305591758520610240861829766276798698618284354494716156033682943041579601713942220515540203161316988146991665543021307547800992939109024679837929112360581117013918612389794386017956541445146429151471384731055851996508875022310290766702717202280754490927819272344442130311818432332846202054796801431275025655264802408764738515518151514632480908325565788780147963367006809604639382187947539029097971691
|
||||
0
|
||||
908
|
||||
19068
|
||||
824464
|
||||
1151026742863277929309890607579136
|
||||
308976389164212124824744143548045536001140
|
||||
52569608513741552631107493182246612028378224297839838380778723242419067453177856
|
||||
105139217027291858322932702413332815756653325789648174055752607031539116791562240
|
||||
210278033029641769252313921222662173280057706815367409439459119190804505043139700
|
||||
2972238671969696817971976244719460030212710977807102828849881552354035489891882640507250477562362182748614496315732194705126866975667884481553178229211136
|
||||
4565358600146146340648043138919534568740519770378829014283100160143146613766525820211473441791745277998502654577696186997051630953882145583216910085604244596
|
||||
12174289600387878166413214698063586008084552752439543567929790665567295715815418173215545776407658157706921849748721363710462842319521767576139939299228384372
|
||||
24348579200775756332826429396127172016169105504879103405365388510704376920891562395610327828446749127989939805959801641401559846042603485599065178803489734656
|
||||
9729298153251306194042617127203199623384957034198478276241843041111037695834634873921670474267119187843169195625338744528581029537433535757956376518129793109557221580317097753720451186105453926588775689583539463154010576700049252756460830197065735837134519004638182709904558099057065808050158672835248128
|
||||
31847793196274107182845849867935019058119806419340392572260824606510195176311496560920629445019152089581060460884957727702584683631406487052881165260753582736592014907778440638252456605285448061563792096352745440411338097615871547824025696771093222358857968371367314896669453345606857912669867603377384655355233299464450205863387455153540545988356938076082061665735266055161074861451503585061555464743511248208302416059151577191074239364588830400998014068
|
||||
0
|
||||
1267650597867046177654064545792
|
||||
26620662555207969730735355461632
|
||||
1151026742863277929309890607579136
|
||||
1606938038272679619211255036084048932956190504430095264907264
|
||||
431359145870941220571487096504865044588697904564591140391738786447360
|
||||
73391955574979118963811141843059488536193514605218060347731553038824318137413435829926783487818828867436544
|
||||
146783911149691239803259475393272332038744581223672095908357420057841712239442615794649035123910216788213760
|
||||
293567262432083559770702660509494961636846893913475830448684457955877331972488384611363806317219648949452800
|
||||
4149515561151917970063980879655710938513649460124350952720371065270297197065154634382680097543307069927884450339928718724097725668943949230978441358030208342019760039438410280075264
|
||||
6373655901930312136397229380018411440828683949391920950832693445711366448193584697763678864931677968612065262908033170282412527802037703004824976134384286640214222530054133889372258304
|
||||
16996415738478256005382065682640742151192912704409604594012987116129634408058546371285779101609491343355313613863898166638327059654603396304113335697353121717251389843622698066460540928
|
||||
33992831476956512010764131365281484302385825408819231901736066162392911122587750794642859557837487570646738733764326406607430768230396539092082721200286809873288301231428402460695199744
|
||||
13582985265193575509847153720290630277475301176695966793104558898916525902171099726111653252346386417687634059875171486934990855171785554727726817192028731914702681172768151028934363876033198780003232825417916826555570603003610443324900765322801514628836373961563717819815659178099324514051673737887522648522145975473923735339139072
|
||||
44462416394276340862910922260389321581298853470913371563358965890746390942505208917810214508921403677924050484037361854923909199530783769557857398908416797467991642660044081596444758567725905941578862500220928052627591160031402858547990440510112144073496748573294083122100295594485512238065152913601534980743295758670057701269862152855527112109603873427804287879276629501582896265202691196110634325565999430887153483257613158570830305101308846059434951620873330091758706311542341632
|
||||
0
|
||||
340282366920938463463374607431768211455
|
||||
7145929705339707732730866756067132440555
|
||||
308976389164212124824744143548045536001140
|
||||
431359145870941220571487096504865044588697904564591140391738786447360
|
||||
115792089237316195423570985008687907852589419931798687112530834793049593217025
|
||||
19701003098197239571963727475337245584161626291901231402719522479678259504890677218990119895590117915143388591554560
|
||||
39402006196322807380529480735708200350692396090822410401547663254352517428719749608020233606624972587007562114662400
|
||||
78803862104411649792976274791681038936454943300723566886694079153850261012036590002656572187311458765011955822362625
|
||||
1113877103911668754551067286547922686738237475419584309931192581897577662915063323503306740447008536028968181678028580322422866333819711284625174374608617279642589745120484326564854874767360
|
||||
1710915231608582551713494414139930175751260546116444122900349352360496966554854730076753484481830650675467827629295222707109502155201699203484369755223655341193278275893163301956243837193027585
|
||||
4562440617622195218641171605585119131739514871918667547682857357314343535508689562160604455918497575074715174882382908134196095677901105600185199282794955018371204524886410100925712980030521345
|
||||
9124881235244390437282343211170238263479029743837341192530852050551013988199468564099149809149237792502394782872367659707645708326849200364829008985690446628655225628506036591091211274089922560
|
||||
3646154850295010964902624396817474390399390616036693719739415376725561063085178919082942505698777176089060633115597677023110409583667009527018497076154392047301826729011247840192495744913649306569979494349478121435366144715292958165239232610420731738086890347478323006048396719686780691510330825043607290550999833104265740262684222585569280
|
||||
11935289041890653422458560211344367565999989567726224393815132782921219808519438180124970259072038417888105302535754774032670805811336900569676094726678661851388189281957447472598923409448779291182901295823514011338832830575108282476521982723289897702706625317681157972521881629518687524749107700488703863037130875637878556278141428758998783243913325146240393321801800775493463196094645471464263521615496507631433158100292031999009575957202146963989209941350094442798986370318517904347234305
|
||||
0
|
||||
57896044618658097611351864738157061705262361561497619362091104892532012613632
|
||||
1215816936991820049838389159501298295810509592791450006603913202743172264886272
|
||||
52569608513741552631107493182246612028378224297839838380778723242419067453177856
|
||||
73391955574979118963811141843059488536193514605218060347731553038824318137413435829926783487818828867436544
|
||||
19701003098197239571963727475337245584161626291901231402719522479678259504890677218990119895590117915143388591554560
|
||||
3351951982485649263264086660821751293167574115217012473116062855570117177114956810549394311722122195190355926629690380263290286253266199596551551712231424
|
||||
6703903964959104207882943247098074879292236184530784614687051259089361504778664925296585557644723899819989557097938820112754998714546796218504411307048960
|
||||
13407782359700221432208153137018396716476230393601324554188676058418403973105159781474496977845448805812756231084668278028521746573850893544243696815308800
|
||||
189516368689051383356419666365934487249694726206307462692478442160356412055175068191548410359233923189538270288357620597887942150501998384340803566981539803652861191767034299241276777771401726930027167539955532412991464793964544
|
||||
291097142306427050053565423426590890568146840930776532405423684287884740444915857761347334012000265903675449121187612221625638517177392299309155307502337486020927127535947499456450345719682189031665783117734919052512795878316048384
|
||||
776259046150354466227894953415272126532120228827236797123305565388337686400499060284004070246335310139188795312112703394374362640691719752700909206017051198060493495608220461125520225112836119459965070690227765389768580522718527488
|
||||
1552518092300708932455789906830544253064240457654474631625503351024913201337446226079742769388732571127058525201398326436194714101150988019032351961389195980792206263906993685249030935631117974530339035198582125552984050009714458624
|
||||
620361101309323186180458062143306311203234091808422651940994483172973212453462540277947848500764537416293185308049243121091077089522237714087216426627812178598932718744797175293795424927554129248204812001597295596246882084347634304130710520242400817201806901439842621734294451519310289297352148130231477204202016235965703658712648032709044435339313088432114418262153009154752512
|
||||
2030684202530045702032438070068470600111523314891992114474287665026563901579442604747297208342924347358657516628421307413109601517971206668455722861607048951866317121347560401223028395731439655580245638497036905507303055096291514983167804903577061365248747133480848909746535730849828042674125732472216127172563383280944806187156793401092909358110607810689164992655422507992440651826516323860482006072417239646401793958680956430020069720523666773505207631846930990177373853120582291091033196123813538806140647566683428129469366272
|
||||
0
|
||||
115792089237105570840234253759177109864155645142784332660520492325483608801280
|
||||
2431633873979216987644919328942719307147268547998470985870930338835155784826880
|
||||
105139217027291858322932702413332815756653325789648174055752607031539116791562240
|
||||
146783911149691239803259475393272332038744581223672095908357420057841712239442615794649035123910216788213760
|
||||
39402006196322807380529480735708200350692396090822410401547663254352517428719749608020233606624972587007562114662400
|
||||
6703903964959104207882943247098074879292236184530784614687051259089361504778664925296585557644723899819989557097938820112754998714546796218504411307048960
|
||||
13407807929893819778475470707735784992488440665279129110225796518690280399801487040957178859490788616767266574533518552379422042573571257824675478529638400
|
||||
26815564719351665682859297115793503881598601899157213443769731667066042177950468012051000327834243644827516674656869253925854969676662574929007714762752000
|
||||
379032737377413310837469826127201516165849126556927185280268831441004642386080191344591587626743143491163530774059885949190517071683841202707214877193839283509836239507327810571115256102701286181423314856476535119531046873333760
|
||||
582194284611795095882563124181957331911668652816390808061798178917116866814434754607160150716463467811845369643570012125338680346889780167007790616300675328647243232411818768880659637664081627824716845155217383295556538120651407360
|
||||
1552518092297884921190276407777826343730130571016241164825192478707830380921635634356568453745503455149401263113730019700298099019902002012202155472213879518073654497303294521076488615535022163842239123103052036543841131161997803520
|
||||
3105036184595769842380552815555652687460261142032484404408169394138177593232526559709091771925126394796328107261127062087481484183515508524562872429687439110406240134689348936276584863546005281248676694097265868804492346319133736960
|
||||
1240722202616389513973922768685786106091078788555724681396110088894901580356174059693107801547999717844793849118253907517164294570375212313898259715085141105940658891307423763778538377665051892100124228941562467259128201610076266056373405707086736336167605239314782881108716366473706926696989024480092947548903006603393526774842227227605392632574744471346260936099413707173396480
|
||||
4061368405052703825017540452826323628177065892919822203995680056457293914967717151139514347845670761968317643193023213196105279034485542899856942497055973489887306964055240783810529148217259878326321073593635104947630604439996612121186052320432514468047976270758130684476727539892394554268861392044474193564110067997362607705131765085400073399409683739317269432145800594368855385753859106179981112207797478255195155380669937444019554506527587107321605367039934467094788088851405871320736566808054693946822238648612224007804026880
|
||||
0
|
||||
231583736816786089484927226016147767929578972263620494977377884571370600267775
|
||||
4863258473152507879183471746339103126521158417536030394524935575998782605623275
|
||||
210278033029641769252313921222662173280057706815367409439459119190804505043139700
|
||||
293567262432083559770702660509494961636846893913475830448684457955877331972488384611363806317219648949452800
|
||||
78803862104411649792976274791681038936454943300723566886694079153850261012036590002656572187311458765011955822362625
|
||||
13407782359700221432208153137018396716476230393601324554188676058418403973105159781474496977845448805812756231084668278028521746573850893544243696815308800
|
||||
26815564719351665682859297115793503881598601899157213443769731667066042177950468012051000327834243644827516674656869253925854969676662574929007714762752000
|
||||
53631027158026444898639041353951338860236953565976155186370673275827169990229796710610136585486710294744741538759339503142188427219888626557524901703450625
|
||||
758064029037559548223859302619650075474792064511873124215265408149659395559453789942397036648834306197292055977388138161024258210175532633810972040915105374809744387652086706188503922572983286780452241329985943497170267983052800
|
||||
1164386348601867966607659549490709240641434805493466720013626865708760416816760684474263347086593403580537140168446677038569831210140531685534851163995750025031331763664446019825967919583282914146489408839507982335431232969112551425
|
||||
3105030262937843909524927703451704725658035213057063685463909781308268889930827638236818973565112070382840731126979240983820442568989111483626724942061970361307566813811606244576718762256490550467423465073089242630619613999057076225
|
||||
6210060525875687819049855406903409451316070426114131520435474836896735901928651243521579858300210079569809751772692509393442960425269123499217289079803270033146012536744468900746753485654275750950451702497211174173610068660767948800
|
||||
2481439672835455316435450222961490952467054688477443973252759241836914049418059193066289201770080478782010589768308256548437208615056252516149995383823877308087652590010038324508787501850632011084265376115191445269164718609708653219057772287156297315205415965661016801043979428655461218374679406517792258741473669803979329510535342890018189384338466515427440201885258439091814400
|
||||
8122721319120455379930921158326117871838290539711891253924140849349950965031209192469013362813226005733220497444267273168824363782607514900842646678617218420603025285381689301022402706647780653422402593097268270904777394649862358017106423565800216445602438232961812733726274533361295534877361561034733716956723820342508274535124544488827440330912196294237990424996646092080259959888790753448676537815274083485701600749922454909872662388097681488248458568576219237116237159724865297204930388201921385039717285631411970780665217025
|
||||
0
|
||||
3273390607896141870013189696827599152216642046043064789482248405676250539528505110690804490707447337828870590656092725446174963629590181147084998049792
|
||||
68741202765818979270276983633379582196549482966904360579127216519201261330098607324506894304856394094406282403777947234369674236221393804088784959045632
|
||||
2972238671969696817971976244719460030212710977807102828849881552354035489891882640507250477562362182748614496315732194705126866975667884481553178229211136
|
||||
4149515561151917970063980879655710938513649460124350952720371065270297197065154634382680097543307069927884450339928718724097725668943949230978441358030208342019760039438410280075264
|
||||
1113877103911668754551067286547922686738237475419584309931192581897577662915063323503306740447008536028968181678028580322422866333819711284625174374608617279642589745120484326564854874767360
|
||||
189516368689051383356419666365934487249694726206307462692478442160356412055175068191548410359233923189538270288357620597887942150501998384340803566981539803652861191767034299241276777771401726930027167539955532412991464793964544
|
||||
379032737377413310837469826127201516165849126556927185280268831441004642386080191344591587626743143491163530774059885949190517071683841202707214877193839283509836239507327810571115256102701286181423314856476535119531046873333760
|
||||
758064029037559548223859302619650075474792064511873124215265408149659395559453789942397036648834306197292055977388138161024258210175532633810972040915105374809744387652086706188503922572983286780452241329985943497170267983052800
|
||||
10715086071862673209484250490600018105614048117055336074430675836924241540472703456698285220172692381666915465456597657220856438022326048260043738079097569861723477222864084024723456654120868104119493560585512807944190828392178187984719137393049169103254142087127248661337626132381236011316443311243264
|
||||
16458372206383560850154727152772241309834362634645429482097685030171884111143709030259566480970840675586286057165552281949963074948236086284290260005656649082848245798566424861913543183906541851941660459520122404258933779435071795354694349641611033685309336221143617936715894403545863381859480370679906304
|
||||
43888992550349509466047490008389760228034918444740354476264789433451422494435484145605446873947256471512988292597450618642207676514741311261882165968599848430310026415377131508214755446432997138431116604680521746555008944242629428478468183278110882114932777127534190355484669739785885245968619478007676928
|
||||
87777985100699018932094980016779520456069836889480767605004803903623391638540464457280122746011077411993751425324753978750781979522477580196467009117071428016628499217023421730630965195213525748235513398478599337876370083082111993797578339643292113170849335330813036879783075982297998725326138636180127744
|
||||
35074662110434034853557842365135370752418744845644232722536724705537763948482350096800897815346751615649214933728622564185847196492435060706089044924648133026630781093917108095545664072447733261889308217617387286462129653489067160073127037621299577013488448084508231783465815261392679840044175715075506479855049458960417568692240224459402814116944692003822183536118940032489278563958573604110859792014017609258239480765944544557609136035015279952003072
|
||||
114813069527425452423283320117768198402231770208869520047727692128105340272556505252150160006414760200146251310083289009338166699942758143608103582817139261613860686884404865091240091700335916571366968398775231636972558602982410372368561085607640039695044427708003371630792169233277670446637805866344012196830083200549854376617192853167566486801110672010487276196765581360935421367998631422802129683085092788505721142860577202194007940588172852101767238437699363756153062785321947495141655278338111834268668260296874876439322420209270108736741859953710415066991479177424624334867465316525824363705925632
|
||||
0
|
||||
5027927973729236057982426364448826617555638513633071601633370220421967636306746498030257094484300966958703364072352628851378448187094873990326993486348287
|
||||
105586487448313957217630953653425358968668408786294503634300774628861320362441676458635398984170320306132770645519405205878947411928992353796866863213314027
|
||||
4565358600146146340648043138919534568740519770378829014283100160143146613766525820211473441791745277998502654577696186997051630953882145583216910085604244596
|
||||
6373655901930312136397229380018411440828683949391920950832693445711366448193584697763678864931677968612065262908033170282412527802037703004824976134384286640214222530054133889372258304
|
||||
1710915231608582551713494414139930175751260546116444122900349352360496966554854730076753484481830650675467827629295222707109502155201699203484369755223655341193278275893163301956243837193027585
|
||||
291097142306427050053565423426590890568146840930776532405423684287884740444915857761347334012000265903675449121187612221625638517177392299309155307502337486020927127535947499456450345719682189031665783117734919052512795878316048384
|
||||
582194284611795095882563124181957331911668652816390808061798178917116866814434754607160150716463467811845369643570012125338680346889780167007790616300675328647243232411818768880659637664081627824716845155217383295556538120651407360
|
||||
1164386348601867966607659549490709240641434805493466720013626865708760416816760684474263347086593403580537140168446677038569831210140531685534851163995750025031331763664446019825967919583282914146489408839507982335431232969112551425
|
||||
16458372206383560850154727152772241309834362634645429482097685030171884111143709030259566480970840675586286057165552281949963074948236086284290260005656649082848245798566424861913543183906541851941660459520122404258933779435071795354694349641611033685309336221143617936715894403545863381859480370679906304
|
||||
25280059709008981479231968148711644861442111696433705443231567360117402528393306066518309787037990431336656280044426224316649696164180810324022564882675140987960579876942528723700768267175237032707899300231700312150169638715161500573218061631068318350665689512114702779435677385026007774824467356638267834369
|
||||
67413492557347065242233762416053344604668789415978336070232719704519730695842285928289497175591340668357371303688672579355774019833840277487199698360245654983419254719431470785652320406511710713843764264258846732773932462012692405900266395961054012873582577495350462230973011642886763600990552681342023237633
|
||||
134826985114694130484467524832106689209337578831956762230667385079098314604114856488714967534864721366751145206577896381937685648970101488283024945486839684466321300593943839555804243973666843820217508302523380061872683673515732869098988513858354359158586336115486301550288354364817320561524260650122775363584
|
||||
53874681001634843991219960220676811838216618976411872431379454389487697453585414607630678378827390586054634875212617995067952662788488677051131226188233783645486119633174249397007355413950452332486425618874867205381482252662669001815967811090854730467120253594575199233845159152018106715728564966104973555959854476034899985603379172050429045260764066870120309159237337727562784303384359771520036909014223788365313020881488428759631128761329980986194132992
|
||||
176352874794152226923041126648344020296255845787663270025002097998433518218912651792864315498223942025499431461820100039971032945845086214853910514425858431681855101933052310870599356102672426974402827054711569107570218750844042593899023102723914290002809698086928282996956938154665332804357164535720651529889760012561396833002255365927318549914998445177047355818945707770980966071916771923738923854573521041830764111506524804411686150461839884079980325493144566147614078318969489021758698999020279168507320287970878237811504779638217033120905407240942949803405092731964364881039731836747753076040480587777
|
||||
0
|
||||
13407807929942597099574024997867385471458758537929012740010782671329620832395834992528134114986407662672821420428107228756016346166874193365792884690780159
|
||||
281563966528794539091054524955215094900633929296509267540226436097922037480312534843090816414714560916129249828990251803876343269504358060681650578506383339
|
||||
12174289600387878166413214698063586008084552752439543567929790665567295715815418173215545776407658157706921849748721363710462842319521767576139939299228384372
|
||||
16996415738478256005382065682640742151192912704409604594012987116129634408058546371285779101609491343355313613863898166638327059654603396304113335697353121717251389843622698066460540928
|
||||
4562440617622195218641171605585119131739514871918667547682857357314343535508689562160604455918497575074715174882382908134196095677901105600185199282794955018371204524886410100925712980030521345
|
||||
776259046150354466227894953415272126532120228827236797123305565388337686400499060284004070246335310139188795312112703394374362640691719752700909206017051198060493495608220461125520225112836119459965070690227765389768580522718527488
|
||||
1552518092297884921190276407777826343730130571016241164825192478707830380921635634356568453745503455149401263113730019700298099019902002012202155472213879518073654497303294521076488615535022163842239123103052036543841131161997803520
|
||||
3105030262937843909524927703451704725658035213057063685463909781308268889930827638236818973565112070382840731126979240983820442568989111483626724942061970361307566813811606244576718762256490550467423465073089242630619613999057076225
|
||||
43888992550349509466047490008389760228034918444740354476264789433451422494435484145605446873947256471512988292597450618642207676514741311261882165968599848430310026415377131508214755446432997138431116604680521746555008944242629428478468183278110882114932777127534190355484669739785885245968619478007676928
|
||||
67413492557347065242233762416053344604668789415978336070232719704519730695842285928289497175591340668357371303688672579355774019833840277487199698360245654983419254719431470785652320406511710713843764264258846732773932462012692405900266395961054012873582577495350462230973011642886763600990552681342023237633
|
||||
179769313486231590772930519069826442426264354005082326596360185112449176958549873259557850386600277367825925997915804457268344327753240407083712876794615624877762257166854166161646934596377646965522119647578649647126703396773127858133295428017635762092566594653974618708449402594449637475763618354340068065281
|
||||
359538626972463181545861038139652884852528708010164893433258891975305712994145996750811464699841724874842731010897931000393441458205293971046234853904111613343804779646728343027691647116232436982584254759296818415737834043273351893507362234301351226814369365796651940053069649153544102516262530232441150373888
|
||||
143665816004337806760172922323967843540707266966555160070938769845933482343514311921981576218185379382379331497993348644831971734671586556667433058226409769129546130073493215528938527708576559133205415270644020134698724204081225254029881946465693095984137609224865240709292656860316268992459694963883823498044606777540574301742157684362334319609311262061951308672635789253885343679712825576151996358495453517343899352653487644349083554108658142161712185344
|
||||
470274332784334653125768479190507147507942688099845821153656843754997301836979240962837606053917822376117946484914782536168160296609184534239096896145262203039351588043847354547077881392556187451052716096931348618124350989790368724551688012179157579351487604719105146798178247445433672967393357192101321816498019101823012168469706240238546733430563115610529101897377344839733586268940478469960836347004487048570855680122137578043206023975369775048480356517721340390187833972378623137126307547351741242129046523455257536374422351385724837117101473491922399552018441281779378146120832426011456202350251737089
|
||||
0
|
||||
26815615859885194199148049995734770942917517075858043397979502765092926124329914532610493203135186264306101107885244098459867671853087539206018919387103232
|
||||
563127933057589078182109049910430189801267858593018911357569558066951448610928205184820357265838911550428123265590126067657221108914838323326397307129167872
|
||||
24348579200775756332826429396127172016169105504879103405365388510704376920891562395610327828446749127989939805959801641401559846042603485599065178803489734656
|
||||
33992831476956512010764131365281484302385825408819231901736066162392911122587750794642859557837487570646738733764326406607430768230396539092082721200286809873288301231428402460695199744
|
||||
9124881235244390437282343211170238263479029743837341192530852050551013988199468564099149809149237792502394782872367659707645708326849200364829008985690446628655225628506036591091211274089922560
|
||||
1552518092300708932455789906830544253064240457654474631625503351024913201337446226079742769388732571127058525201398326436194714101150988019032351961389195980792206263906993685249030935631117974530339035198582125552984050009714458624
|
||||
3105036184595769842380552815555652687460261142032484404408169394138177593232526559709091771925126394796328107261127062087481484183515508524562872429687439110406240134689348936276584863546005281248676694097265868804492346319133736960
|
||||
6210060525875687819049855406903409451316070426114131520435474836896735901928651243521579858300210079569809751772692509393442960425269123499217289079803270033146012536744468900746753485654275750950451702497211174173610068660767948800
|
||||
87777985100699018932094980016779520456069836889480767605004803903623391638540464457280122746011077411993751425324753978750781979522477580196467009117071428016628499217023421730630965195213525748235513398478599337876370083082111993797578339643292113170849335330813036879783075982297998725326138636180127744
|
||||
134826985114694130484467524832106689209337578831956762230667385079098314604114856488714967534864721366751145206577896381937685648970101488283024945486839684466321300593943839555804243973666843820217508302523380061872683673515732869098988513858354359158586336115486301550288354364817320561524260650122775363584
|
||||
359538626972463181545861038139652884852528708010164893433258891975305712994145996750811464699841724874842731010897931000393441458205293971046234853904111613343804779646728343027691647116232436982584254759296818415737834043273351893507362234301351226814369365796651940053069649153544102516262530232441150373888
|
||||
719077253944926363091722076279305769705057416020330267347594827451426144142384493965014457252965790028388273268575745766448202845714472108972056832957787126548989380860079998712572623109761917189596553766242330909605534894906264486337757228291297942005327959842043718998160370035708197081835945941328224845824
|
||||
287331632008675613520345844647935687081414533933110512134339071188196745795513335307638657529820500030503638059893998544639282004826074078543526937501430385498822553680856810441605837007924382387640823649251663812111395581050675179334316291609265083908971530669507424781643811407050868800014638372550585796767486279157989351235817419037012278476998673070763482207177579797214780269850906321355704457864297379025560392407254253435440813631626425868706906112
|
||||
940548665568669306251536958381014295015885376199692270773634051571468443177252576492255360423853770864325258737964248491672738005473375204458692172487804734089712687353813343670064744128701098573532877590228667667008286737596697852387981631862326481177071413971930746756905828624662822957794948866823607625220615269013165228239618537011536940291208905424160713389821033135818514340985521905976691408942139437741483410228329038000371498590009406379772049151623867582176028814687068466685902099735918960489164147117893952824903803155286426295341357243145288763878804327513759861599032840758403923281677647872
|
||||
0
|
||||
10715086071862672019870723708373567867164049597134887969429342556289689092328893032953381579589338312602609246283412714238525362926688916032991604094856600340922050198587112063568778839323187143820237543594206457218073322356882436956454658807341118763364007714359232059366253413058442519879029375369216
|
||||
225016807509116112417285197875844925210445041539832647358016193682083470938906753692021013171376104564654794171951666999009032621460467236692823685991988607159363054170329353334944355625786930020224988415478335601579539769494531176085547834954163494030644162001543873246691321674227292917459616882753536
|
||||
9729298153251306194042617127203199623384957034198478276241843041111037695834634873921670474267119187843169195625338744528581029537433535757956376518129793109557221580317097753720451186105453926588775689583539463154010576700049252756460830197065735837134519004638182709904558099057065808050158672835248128
|
||||
13582985265193575509847153720290630277475301176695966793104558898916525902171099726111653252346386417687634059875171486934990855171785554727726817192028731914702681172768151028934363876033198780003232825417916826555570603003610443324900765322801514628836373961563717819815659178099324514051673737887522648522145975473923735339139072
|
||||
3646154850295010964902624396817474390399390616036693719739415376725561063085178919082942505698777176089060633115597677023110409583667009527018497076154392047301826729011247840192495744913649306569979494349478121435366144715292958165239232610420731738086890347478323006048396719686780691510330825043607290550999833104265740262684222585569280
|
||||
620361101309323186180458062143306311203234091808422651940994483172973212453462540277947848500764537416293185308049243121091077089522237714087216426627812178598932718744797175293795424927554129248204812001597295596246882084347634304130710520242400817201806901439842621734294451519310289297352148130231477204202016235965703658712648032709044435339313088432114418262153009154752512
|
||||
1240722202616389513973922768685786106091078788555724681396110088894901580356174059693107801547999717844793849118253907517164294570375212313898259715085141105940658891307423763778538377665051892100124228941562467259128201610076266056373405707086736336167605239314782881108716366473706926696989024480092947548903006603393526774842227227605392632574744471346260936099413707173396480
|
||||
2481439672835455316435450222961490952467054688477443973252759241836914049418059193066289201770080478782010589768308256548437208615056252516149995383823877308087652590010038324508787501850632011084265376115191445269164718609708653219057772287156297315205415965661016801043979428655461218374679406517792258741473669803979329510535342890018189384338466515427440201885258439091814400
|
||||
35074662110434034853557842365135370752418744845644232722536724705537763948482350096800897815346751615649214933728622564185847196492435060706089044924648133026630781093917108095545664072447733261889308217617387286462129653489067160073127037621299577013488448084508231783465815261392679840044175715075506479855049458960417568692240224459402814116944692003822183536118940032489278563958573604110859792014017609258239480765944544557609136035015279952003072
|
||||
53874681001634843991219960220676811838216618976411872431379454389487697453585414607630678378827390586054634875212617995067952662788488677051131226188233783645486119633174249397007355413950452332486425618874867205381482252662669001815967811090854730467120253594575199233845159152018106715728564966104973555959854476034899985603379172050429045260764066870120309159237337727562784303384359771520036909014223788365313020881488428759631128761329980986194132992
|
||||
143665816004337806760172922323967843540707266966555160070938769845933482343514311921981576218185379382379331497993348644831971734671586556667433058226409769129546130073493215528938527708576559133205415270644020134698724204081225254029881946465693095984137609224865240709292656860316268992459694963883823498044606777540574301742157684362334319609311262061951308672635789253885343679712825576151996358495453517343899352653487644349083554108658142161712185344
|
||||
287331632008675613520345844647935687081414533933110512134339071188196745795513335307638657529820500030503638059893998544639282004826074078543526937501430385498822553680856810441605837007924382387640823649251663812111395581050675179334316291609265083908971530669507424781643811407050868800014638372550585796767486279157989351235817419037012278476998673070763482207177579797214780269850906321355704457864297379025560392407254253435440813631626425868706906112
|
||||
114813069527425426929660656670434000556791117993150086180221643697431093173028910532415727113435976215204539871783667883838967071195340228232917109351973450013767101034272479645738741907650504496198421145870980109769343781666731468018474148841379223523433938268079692841589810552977465445261846437407748635458762124821556936873529967035483590621122322119705006554547460062408802518269990075352861435909928146945580063563725505925881145977291236879775785378910221502159993605883245075109657690762294065063726665915384443183063224455834919138638489409150864878627937633765733984255718952202044576320454656
|
||||
375828023454801161958069925084019843923978286415518836749560060086790811063826786575473978319828101315166509670501153778395493519601305062611233710167108096659872687219140685926605165995932330503576533938874126310080807833945025154398047371417183906188778761688181994841114264769649793185124682348180893134333861320517448227288705530984286877458322203246948912271425933606164725949285658013879720265044644617847420446340162585011712000860105735035610334678196167563897824599954042423669530327316471628496333180947012248953569457951187522058076800530227428892238847959130402967459985851634689104636645635632818315245484817355205865998912643567216769076790812429039605288671959330499956935814269560500882854907846825228822521982049802574527070231420993536
|
||||
0
|
||||
35074662110434038747627587960280857993524015880330828824075798024790963850563322203657080886584969261653150287318235382932361986378200976930485864824618483190079311572443216561952044719477365706568052969551481762567552970942589810378882925959353769117684987193135809357565477252870988890605581060988309091800917730687720491038972968230771526418895306251191697869752495655463738834197691172975281348836466132387998255571752838316161056568930429957046271
|
||||
736567904319114813700179347165898017864004333486947405305591758520610240861829766276798698618284354494716156033682943041579601713942220515540203161316988146991665543021307547800992939109024679837929112360581117013918612389794386017956541445146429151471384731055851996508875022310290766702717202280754490927819272344442130311818432332846202054796801431275025655264802408764738515518151514632480908325565788780147963367006809604639382187947539029097971691
|
||||
31847793196274107182845849867935019058119806419340392572260824606510195176311496560920629445019152089581060460884957727702584683631406487052881165260753582736592014907778440638252456605285448061563792096352745440411338097615871547824025696771093222358857968371367314896669453345606857912669867603377384655355233299464450205863387455153540545988356938076082061665735266055161074861451503585061555464743511248208302416059151577191074239364588830400998014068
|
||||
44462416394276340862910922260389321581298853470913371563358965890746390942505208917810214508921403677924050484037361854923909199530783769557857398908416797467991642660044081596444758567725905941578862500220928052627591160031402858547990440510112144073496748573294083122100295594485512238065152913601534980743295758670057701269862152855527112109603873427804287879276629501582896265202691196110634325565999430887153483257613158570830305101308846059434951620873330091758706311542341632
|
||||
11935289041890653422458560211344367565999989567726224393815132782921219808519438180124970259072038417888105302535754774032670805811336900569676094726678661851388189281957447472598923409448779291182901295823514011338832830575108282476521982723289897702706625317681157972521881629518687524749107700488703863037130875637878556278141428758998783243913325146240393321801800775493463196094645471464263521615496507631433158100292031999009575957202146963989209941350094442798986370318517904347234305
|
||||
2030684202530045702032438070068470600111523314891992114474287665026563901579442604747297208342924347358657516628421307413109601517971206668455722861607048951866317121347560401223028395731439655580245638497036905507303055096291514983167804903577061365248747133480848909746535730849828042674125732472216127172563383280944806187156793401092909358110607810689164992655422507992440651826516323860482006072417239646401793958680956430020069720523666773505207631846930990177373853120582291091033196123813538806140647566683428129469366272
|
||||
4061368405052703825017540452826323628177065892919822203995680056457293914967717151139514347845670761968317643193023213196105279034485542899856942497055973489887306964055240783810529148217259878326321073593635104947630604439996612121186052320432514468047976270758130684476727539892394554268861392044474193564110067997362607705131765085400073399409683739317269432145800594368855385753859106179981112207797478255195155380669937444019554506527587107321605367039934467094788088851405871320736566808054693946822238648612224007804026880
|
||||
8122721319120455379930921158326117871838290539711891253924140849349950965031209192469013362813226005733220497444267273168824363782607514900842646678617218420603025285381689301022402706647780653422402593097268270904777394649862358017106423565800216445602438232961812733726274533361295534877361561034733716956723820342508274535124544488827440330912196294237990424996646092080259959888790753448676537815274083485701600749922454909872662388097681488248458568576219237116237159724865297204930388201921385039717285631411970780665217025
|
||||
114813069527425452423283320117768198402231770208869520047727692128105340272556505252150160006414760200146251310083289009338166699942758143608103582817139261613860686884404865091240091700335916571366968398775231636972558602982410372368561085607640039695044427708003371630792169233277670446637805866344012196830083200549854376617192853167566486801110672010487276196765581360935421367998631422802129683085092788505721142860577202194007940588172852101767238437699363756153062785321947495141655278338111834268668260296874876439322420209270108736741859953710415066991479177424624334867465316525824363705925632
|
||||
176352874794152226923041126648344020296255845787663270025002097998433518218912651792864315498223942025499431461820100039971032945845086214853910514425858431681855101933052310870599356102672426974402827054711569107570218750844042593899023102723914290002809698086928282996956938154665332804357164535720651529889760012561396833002255365927318549914998445177047355818945707770980966071916771923738923854573521041830764111506524804411686150461839884079980325493144566147614078318969489021758698999020279168507320287970878237811504779638217033120905407240942949803405092731964364881039731836747753076040480587777
|
||||
470274332784334653125768479190507147507942688099845821153656843754997301836979240962837606053917822376117946484914782536168160296609184534239096896145262203039351588043847354547077881392556187451052716096931348618124350989790368724551688012179157579351487604719105146798178247445433672967393357192101321816498019101823012168469706240238546733430563115610529101897377344839733586268940478469960836347004487048570855680122137578043206023975369775048480356517721340390187833972378623137126307547351741242129046523455257536374422351385724837117101473491922399552018441281779378146120832426011456202350251737089
|
||||
940548665568669306251536958381014295015885376199692270773634051571468443177252576492255360423853770864325258737964248491672738005473375204458692172487804734089712687353813343670064744128701098573532877590228667667008286737596697852387981631862326481177071413971930746756905828624662822957794948866823607625220615269013165228239618537011536940291208905424160713389821033135818514340985521905976691408942139437741483410228329038000371498590009406379772049151623867582176028814687068466685902099735918960489164147117893952824903803155286426295341357243145288763878804327513759861599032840758403923281677647872
|
||||
375828023454801161958069925084019843923978286415518836749560060086790811063826786575473978319828101315166509670501153778395493519601305062611233710167108096659872687219140685926605165995932330503576533938874126310080807833945025154398047371417183906188778761688181994841114264769649793185124682348180893134333861320517448227288705530984286877458322203246948912271425933606164725949285658013879720265044644617847420446340162585011712000860105735035610334678196167563897824599954042423669530327316471628496333180947012248953569457951187522058076800530227428892238847959130402967459985851634689104636645635632818315245484817355205865998912643567216769076790812429039605288671959330499956935814269560500882854907846825228822521982049802574527070231420993536
|
||||
1230231922161117176931558813276752514640713895736833715766118029160058800614672948775360067838593459582429640872806815375600524611787633664372109038831131496892713847574204213375769343685580784773753635629758429922695406379579200240048301333922009856375733053746023334939149959900017297080529761791881121040475796858581600002403295404329868081465157652227751491087455277833629681152969524186808613504119583496193428420962898057357571055319374451607243028930569896539578660288198289657864101794216603970753824498208473733314597712660353208543367490975176753797670373382265859509054611517991409426349053031299407068631581080918639237312826090371923206219034977458927000306459751555164292071452400788382130601457910261333218639691866553206384714007138038691594287732934081410852761487999922797074320518605005374647219205312884015226747835223983423030251792941745800299484458323597491553884981698082835005441
|
||||
15
evm/src/cpu/kernel/tests/bignum/test_data/shr_outputs
Normal file
15
evm/src/cpu/kernel/tests/bignum/test_data/shr_outputs
Normal file
@ -0,0 +1,15 @@
|
||||
0
|
||||
0
|
||||
10
|
||||
454
|
||||
633825298933523088827032272896
|
||||
170141183460469231731687303715884105727
|
||||
28948022309329048805675932369078530852631180780748809681045552446266006306816
|
||||
57896044618552785420117126879588554932077822571392166330260246162741804400640
|
||||
115791868408393044742463613008073883964789486131810247488688942285685300133887
|
||||
1636695303948070935006594848413799576108321023021532394741124202838125269764252555345402245353723668914435295328046362723087481814795090573542499024896
|
||||
2513963986864618028991213182224413308777819256816535800816685110210983818153373249015128547242150483479351682036176314425689224093547436995163496743174143
|
||||
6703903964971298549787012498933692735729379268964506370005391335664810416197917496264067057493203831336410710214053614378008173083437096682896442345390079
|
||||
13407807929942597099574024997867385471458758537929021698989751382546463062164957266305246601567593132153050553942622049229933835926543769603009459693551616
|
||||
5357543035931336009935361854186783933582024798567443984714671278144844546164446516476690789794669156301304623141706357119262681463344458016495802047428300170461025099293556031784389419661593571910118771797103228609036661178441218478227329403670559381682003857179616029683126706529221259939514687684608
|
||||
17537331055217019373813793980140428996762007940165414412037899012395481925281661101828540443292484630826575143659117691466180993189100488465242932412309241595039655786221608280976022359738682853284026484775740881283776485471294905189441462979676884558842493596567904678782738626435494445302790530494154545900458865343860245519486484115385763209447653125595848934876247827731869417098845586487640674418233066193999127785876419158080528284465214978523135
|
||||
6
evm/src/cpu/kernel/tests/bignum/test_data/u128_inputs
Normal file
6
evm/src/cpu/kernel/tests/bignum/test_data/u128_inputs
Normal file
@ -0,0 +1,6 @@
|
||||
0
|
||||
1
|
||||
21
|
||||
908
|
||||
1267650597867046177654064545792
|
||||
340282366920938463463374607431768211455
|
||||
Loading…
x
Reference in New Issue
Block a user