#!/usr/bin/php
<?php

define('MAX_POWER', 10);
define('MAX_DISTANCE', 9);
ini_set('memory_limit', '256M');

# ---

function bcabs($x) {
	return str_replace('-', '', $x);
}

function bcadd2($a,$b) {
	return gmp_add($a,$b);
}

function bcsub2($a,$b) {
	return gmp_sub($a,$b);
}

function bcmul2($a,$b) {
	return gmp_mul($a,$b);
}

function sed_mul($a, $b) {
	// Powers explained here: https://www.euclideanspace.com/maths/algebra/realNormedAlgebra/quaternions/functions/power/index.htm

	/*
	$c0 = $a[0]*$b[0]-$a[1]*$b[1]-$a[2]*$b[2]-$a[3]*$b[3]-$a[4]*$b[4]-$a[5]*$b[5]-$a[6]*$b[6]-$a[7]*$b[7]-$a[8]*$b[8]-$a[9]*$b[9]-$a[10]*$b[10]-$a[11]*$b[11]-$a[12]*$b[12]-$a[13]*$b[13]-$a[14]*$b[14]-$a[15]*$b[15];
	$c1 = $a[0]*$b[1]+$a[1]*$b[0]+$a[2]*$b[3]-$a[3]*$b[2]+$a[4]*$b[5]-$a[5]*$b[4]-$a[6]*$b[7]+$a[7]*$b[6]+$a[8]*$b[9]-$a[9]*$b[8]-$a[10]*$b[11]+$a[11]*$b[10]-$a[12]*$b[13]+$a[13]*$b[12]+$a[14]*$b[15]-$a[15]*$b[14];
	$c2 = $a[0]*$b[2]-$a[1]*$b[3]+$a[2]*$b[0]+$a[3]*$b[1]+$a[4]*$b[6]+$a[5]*$b[7]-$a[6]*$b[4]-$a[7]*$b[5]+$a[8]*$b[10]+$a[9]*$b[11]-$a[10]*$b[8]-$a[11]*$b[9]-$a[12]*$b[14]-$a[13]*$b[15]+$a[14]*$b[12]+$a[15]*$b[13];
	$c3 = $a[0]*$b[3]+$a[1]*$b[2]-$a[2]*$b[1]+$a[3]*$b[0]+$a[4]*$b[7]-$a[5]*$b[6]+$a[6]*$b[5]-$a[7]*$b[4]+$a[8]*$b[11]-$a[9]*$b[10]+$a[10]*$b[9]-$a[11]*$b[8]-$a[12]*$b[15]+$a[13]*$b[14]-$a[14]*$b[13]+$a[15]*$b[12];
	$c4 = $a[0]*$b[4]-$a[1]*$b[5]-$a[2]*$b[6]-$a[3]*$b[7]+$a[4]*$b[0]+$a[5]*$b[1]+$a[6]*$b[2]+$a[7]*$b[3]+$a[8]*$b[12]+$a[9]*$b[13]+$a[10]*$b[14]+$a[11]*$b[15]-$a[12]*$b[8]-$a[13]*$b[9]-$a[14]*$b[10]-$a[15]*$b[11];
	$c5 = $a[0]*$b[5]+$a[1]*$b[4]-$a[2]*$b[7]+$a[3]*$b[6]-$a[4]*$b[1]+$a[5]*$b[0]-$a[6]*$b[3]+$a[7]*$b[2]+$a[8]*$b[13]-$a[9]*$b[12]+$a[10]*$b[15]-$a[11]*$b[14]+$a[12]*$b[9]-$a[13]*$b[8]+$a[14]*$b[11]-$a[15]*$b[10];
	$c6 = $a[0]*$b[6]+$a[1]*$b[7]+$a[2]*$b[4]-$a[3]*$b[5]-$a[4]*$b[2]+$a[5]*$b[3]+$a[6]*$b[0]-$a[7]*$b[1]+$a[8]*$b[14]-$a[9]*$b[15]-$a[10]*$b[12]+$a[11]*$b[13]+$a[12]*$b[10]-$a[13]*$b[11]-$a[14]*$b[8]+$a[15]*$b[9];
	$c7 = $a[0]*$b[7]-$a[1]*$b[6]+$a[2]*$b[5]+$a[3]*$b[4]-$a[4]*$b[3]-$a[5]*$b[2]+$a[6]*$b[1]+$a[7]*$b[0]+$a[8]*$b[15]+$a[9]*$b[14]-$a[10]*$b[13]-$a[11]*$b[12]+$a[12]*$b[11]+$a[13]*$b[10]-$a[14]*$b[9]-$a[15]*$b[8];
	$c8 = $a[0]*$b[8]-$a[1]*$b[9]-$a[2]*$b[10]-$a[3]*$b[11]-$a[4]*$b[12]-$a[5]*$b[13]-$a[6]*$b[14]-$a[7]*$b[15]+$a[8]*$b[0]+$a[9]*$b[1]+$a[10]*$b[2]+$a[11]*$b[3]+$a[12]*$b[4]+$a[13]*$b[5]+$a[14]*$b[6]+$a[15]*$b[7];
	$c9 = $a[0]*$b[9]+$a[1]*$b[8]-$a[2]*$b[11]+$a[3]*$b[10]-$a[4]*$b[13]+$a[5]*$b[12]+$a[6]*$b[15]-$a[7]*$b[14]-$a[8]*$b[1]+$a[9]*$b[0]-$a[10]*$b[3]+$a[11]*$b[2]-$a[12]*$b[5]+$a[13]*$b[4]+$a[14]*$b[7]-$a[15]*$b[6];
	$c10 = $a[0]*$b[10]+$a[1]*$b[11]+$a[2]*$b[8]-$a[3]*$b[9]-$a[4]*$b[14]-$a[5]*$b[15]+$a[6]*$b[12]+$a[7]*$b[13]-$a[8]*$b[2]+$a[9]*$b[3]+$a[10]*$b[0]-$a[11]*$b[1]-$a[12]*$b[6]-$a[13]*$b[7]+$a[14]*$b[4]+$a[15]*$b[5];
	$c11 = $a[0]*$b[11]-$a[1]*$b[10]+$a[2]*$b[9]+$a[3]*$b[8]-$a[4]*$b[15]+$a[5]*$b[14]-$a[6]*$b[13]+$a[7]*$b[12]-$a[8]*$b[3]-$a[9]*$b[2]+$a[10]*$b[1]+$a[11]*$b[0]-$a[12]*$b[7]+$a[13]*$b[6]-$a[14]*$b[5]+$a[15]*$b[4];
	$c12 = $a[0]*$b[12]+$a[1]*$b[13]+$a[2]*$b[14]+$a[3]*$b[15]+$a[4]*$b[8]-$a[5]*$b[9]-$a[6]*$b[10]-$a[7]*$b[11]-$a[8]*$b[4]+$a[9]*$b[5]+$a[10]*$b[6]+$a[11]*$b[7]+$a[12]*$b[0]-$a[13]*$b[1]-$a[14]*$b[2]-$a[15]*$b[3];
	$c13 = $a[0]*$b[13]-$a[1]*$b[12]+$a[2]*$b[15]-$a[3]*$b[14]+$a[4]*$b[9]+$a[5]*$b[8]+$a[6]*$b[11]-$a[7]*$b[10]-$a[8]*$b[5]-$a[9]*$b[4]+$a[10]*$b[7]-$a[11]*$b[6]+$a[12]*$b[1]+$a[13]*$b[0]+$a[14]*$b[3]-$a[15]*$b[2];
	$c14 = $a[0]*$b[14]-$a[1]*$b[15]-$a[2]*$b[12]+$a[3]*$b[13]+$a[4]*$b[10]-$a[5]*$b[11]+$a[6]*$b[8]+$a[7]*$b[9]-$a[8]*$b[6]-$a[9]*$b[7]-$a[10]*$b[4]+$a[11]*$b[5]+$a[12]*$b[2]-$a[13]*$b[3]+$a[14]*$b[0]+$a[15]*$b[1];
	$c15 = $a[0]*$b[15]+$a[1]*$b[14]-$a[2]*$b[13]-$a[3]*$b[12]+$a[4]*$b[11]+$a[5]*$b[10]-$a[6]*$b[9]+$a[7]*$b[8]-$a[8]*$b[7]+$a[9]*$b[6]-$a[10]*$b[5]-$a[11]*$b[4]+$a[12]*$b[3]+$a[13]*$b[2]-$a[14]*$b[1]+$a[15]*$b[0];
	*/

	$c0 = bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcmul2($a[0],$b[0]),bcmul2($a[1],$b[1])),bcmul2($a[2],$b[2])),bcmul2($a[3],$b[3])),bcmul2($a[4],$b[4])),bcmul2($a[5],$b[5])),bcmul2($a[6],$b[6])),bcmul2($a[7],$b[7])),bcmul2($a[8],$b[8])),bcmul2($a[9],$b[9])),bcmul2($a[10],$b[10])),bcmul2($a[11],$b[11])),bcmul2($a[12],$b[12])),bcmul2($a[13],$b[13])),bcmul2($a[14],$b[14])),bcmul2($a[15],$b[15]));
	$c1 = bcsub2(bcadd2(bcadd2(bcsub2(bcadd2(bcsub2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcadd2(bcsub2(bcadd2(bcadd2(bcmul2($a[0],$b[1]),bcmul2($a[1],$b[0])),bcmul2($a[2],$b[3])),bcmul2($a[3],$b[2])),bcmul2($a[4],$b[5])),bcmul2($a[5],$b[4])),bcmul2($a[6],$b[7])),bcmul2($a[7],$b[6])),bcmul2($a[8],$b[9])),bcmul2($a[9],$b[8])),bcmul2($a[10],$b[11])),bcmul2($a[11],$b[10])),bcmul2($a[12],$b[13])),bcmul2($a[13],$b[12])),bcmul2($a[14],$b[15])),bcmul2($a[15],$b[14]));
	$c2 = bcadd2(bcadd2(bcsub2(bcsub2(bcsub2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcadd2(bcadd2(bcadd2(bcadd2(bcsub2(bcmul2($a[0],$b[2]),bcmul2($a[1],$b[3])),bcmul2($a[2],$b[0])),bcmul2($a[3],$b[1])),bcmul2($a[4],$b[6])),bcmul2($a[5],$b[7])),bcmul2($a[6],$b[4])),bcmul2($a[7],$b[5])),bcmul2($a[8],$b[10])),bcmul2($a[9],$b[11])),bcmul2($a[10],$b[8])),bcmul2($a[11],$b[9])),bcmul2($a[12],$b[14])),bcmul2($a[13],$b[15])),bcmul2($a[14],$b[12])),bcmul2($a[15],$b[13]));
	$c3 = bcadd2(bcsub2(bcadd2(bcsub2(bcsub2(bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcadd2(bcsub2(bcadd2(bcmul2($a[0],$b[3]),bcmul2($a[1],$b[2])),bcmul2($a[2],$b[1])),bcmul2($a[3],$b[0])),bcmul2($a[4],$b[7])),bcmul2($a[5],$b[6])),bcmul2($a[6],$b[5])),bcmul2($a[7],$b[4])),bcmul2($a[8],$b[11])),bcmul2($a[9],$b[10])),bcmul2($a[10],$b[9])),bcmul2($a[11],$b[8])),bcmul2($a[12],$b[15])),bcmul2($a[13],$b[14])),bcmul2($a[14],$b[13])),bcmul2($a[15],$b[12]));
	$c4 = bcsub2(bcsub2(bcsub2(bcsub2(bcadd2(bcadd2(bcadd2(bcadd2(bcadd2(bcadd2(bcadd2(bcadd2(bcsub2(bcsub2(bcsub2(bcmul2($a[0],$b[4]),bcmul2($a[1],$b[5])),bcmul2($a[2],$b[6])),bcmul2($a[3],$b[7])),bcmul2($a[4],$b[0])),bcmul2($a[5],$b[1])),bcmul2($a[6],$b[2])),bcmul2($a[7],$b[3])),bcmul2($a[8],$b[12])),bcmul2($a[9],$b[13])),bcmul2($a[10],$b[14])),bcmul2($a[11],$b[15])),bcmul2($a[12],$b[8])),bcmul2($a[13],$b[9])),bcmul2($a[14],$b[10])),bcmul2($a[15],$b[11]));
	$c5 = bcsub2(bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcmul2($a[0],$b[5]),bcmul2($a[1],$b[4])),bcmul2($a[2],$b[7])),bcmul2($a[3],$b[6])),bcmul2($a[4],$b[1])),bcmul2($a[5],$b[0])),bcmul2($a[6],$b[3])),bcmul2($a[7],$b[2])),bcmul2($a[8],$b[13])),bcmul2($a[9],$b[12])),bcmul2($a[10],$b[15])),bcmul2($a[11],$b[14])),bcmul2($a[12],$b[9])),bcmul2($a[13],$b[8])),bcmul2($a[14],$b[11])),bcmul2($a[15],$b[10]));
	$c6 = bcadd2(bcsub2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcadd2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcadd2(bcadd2(bcmul2($a[0],$b[6]),bcmul2($a[1],$b[7])),bcmul2($a[2],$b[4])),bcmul2($a[3],$b[5])),bcmul2($a[4],$b[2])),bcmul2($a[5],$b[3])),bcmul2($a[6],$b[0])),bcmul2($a[7],$b[1])),bcmul2($a[8],$b[14])),bcmul2($a[9],$b[15])),bcmul2($a[10],$b[12])),bcmul2($a[11],$b[13])),bcmul2($a[12],$b[10])),bcmul2($a[13],$b[11])),bcmul2($a[14],$b[8])),bcmul2($a[15],$b[9]));
	$c7 = bcsub2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcadd2(bcadd2(bcadd2(bcadd2(bcsub2(bcsub2(bcadd2(bcadd2(bcsub2(bcmul2($a[0],$b[7]),bcmul2($a[1],$b[6])),bcmul2($a[2],$b[5])),bcmul2($a[3],$b[4])),bcmul2($a[4],$b[3])),bcmul2($a[5],$b[2])),bcmul2($a[6],$b[1])),bcmul2($a[7],$b[0])),bcmul2($a[8],$b[15])),bcmul2($a[9],$b[14])),bcmul2($a[10],$b[13])),bcmul2($a[11],$b[12])),bcmul2($a[12],$b[11])),bcmul2($a[13],$b[10])),bcmul2($a[14],$b[9])),bcmul2($a[15],$b[8]));
	$c8 = bcadd2(bcadd2(bcadd2(bcadd2(bcadd2(bcadd2(bcadd2(bcadd2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcsub2(bcmul2($a[0],$b[8]),bcmul2($a[1],$b[9])),bcmul2($a[2],$b[10])),bcmul2($a[3],$b[11])),bcmul2($a[4],$b[12])),bcmul2($a[5],$b[13])),bcmul2($a[6],$b[14])),bcmul2($a[7],$b[15])),bcmul2($a[8],$b[0])),bcmul2($a[9],$b[1])),bcmul2($a[10],$b[2])),bcmul2($a[11],$b[3])),bcmul2($a[12],$b[4])),bcmul2($a[13],$b[5])),bcmul2($a[14],$b[6])),bcmul2($a[15],$b[7]));
	$c9 = bcsub2(bcadd2(bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcsub2(bcsub2(bcadd2(bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcmul2($a[0],$b[9]),bcmul2($a[1],$b[8])),bcmul2($a[2],$b[11])),bcmul2($a[3],$b[10])),bcmul2($a[4],$b[13])),bcmul2($a[5],$b[12])),bcmul2($a[6],$b[15])),bcmul2($a[7],$b[14])),bcmul2($a[8],$b[1])),bcmul2($a[9],$b[0])),bcmul2($a[10],$b[3])),bcmul2($a[11],$b[2])),bcmul2($a[12],$b[5])),bcmul2($a[13],$b[4])),bcmul2($a[14],$b[7])),bcmul2($a[15],$b[6]));
	$c10 = bcadd2(bcadd2(bcsub2(bcsub2(bcsub2(bcadd2(bcadd2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcsub2(bcadd2(bcadd2(bcmul2($a[0],$b[10]),bcmul2($a[1],$b[11])),bcmul2($a[2],$b[8])),bcmul2($a[3],$b[9])),bcmul2($a[4],$b[14])),bcmul2($a[5],$b[15])),bcmul2($a[6],$b[12])),bcmul2($a[7],$b[13])),bcmul2($a[8],$b[2])),bcmul2($a[9],$b[3])),bcmul2($a[10],$b[0])),bcmul2($a[11],$b[1])),bcmul2($a[12],$b[6])),bcmul2($a[13],$b[7])),bcmul2($a[14],$b[4])),bcmul2($a[15],$b[5]));
	$c11 = bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcadd2(bcsub2(bcmul2($a[0],$b[11]),bcmul2($a[1],$b[10])),bcmul2($a[2],$b[9])),bcmul2($a[3],$b[8])),bcmul2($a[4],$b[15])),bcmul2($a[5],$b[14])),bcmul2($a[6],$b[13])),bcmul2($a[7],$b[12])),bcmul2($a[8],$b[3])),bcmul2($a[9],$b[2])),bcmul2($a[10],$b[1])),bcmul2($a[11],$b[0])),bcmul2($a[12],$b[7])),bcmul2($a[13],$b[6])),bcmul2($a[14],$b[5])),bcmul2($a[15],$b[4]));
	$c12 = bcsub2(bcsub2(bcsub2(bcadd2(bcadd2(bcadd2(bcadd2(bcsub2(bcsub2(bcsub2(bcsub2(bcadd2(bcadd2(bcadd2(bcadd2(bcmul2($a[0],$b[12]),bcmul2($a[1],$b[13])),bcmul2($a[2],$b[14])),bcmul2($a[3],$b[15])),bcmul2($a[4],$b[8])),bcmul2($a[5],$b[9])),bcmul2($a[6],$b[10])),bcmul2($a[7],$b[11])),bcmul2($a[8],$b[4])),bcmul2($a[9],$b[5])),bcmul2($a[10],$b[6])),bcmul2($a[11],$b[7])),bcmul2($a[12],$b[0])),bcmul2($a[13],$b[1])),bcmul2($a[14],$b[2])),bcmul2($a[15],$b[3]));
	$c13 = bcsub2(bcadd2(bcadd2(bcadd2(bcsub2(bcadd2(bcsub2(bcsub2(bcsub2(bcadd2(bcadd2(bcadd2(bcsub2(bcadd2(bcsub2(bcmul2($a[0],$b[13]),bcmul2($a[1],$b[12])),bcmul2($a[2],$b[15])),bcmul2($a[3],$b[14])),bcmul2($a[4],$b[9])),bcmul2($a[5],$b[8])),bcmul2($a[6],$b[11])),bcmul2($a[7],$b[10])),bcmul2($a[8],$b[5])),bcmul2($a[9],$b[4])),bcmul2($a[10],$b[7])),bcmul2($a[11],$b[6])),bcmul2($a[12],$b[1])),bcmul2($a[13],$b[0])),bcmul2($a[14],$b[3])),bcmul2($a[15],$b[2]));
	$c14 = bcadd2(bcadd2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcsub2(bcadd2(bcadd2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcmul2($a[0],$b[14]),bcmul2($a[1],$b[15])),bcmul2($a[2],$b[12])),bcmul2($a[3],$b[13])),bcmul2($a[4],$b[10])),bcmul2($a[5],$b[11])),bcmul2($a[6],$b[8])),bcmul2($a[7],$b[9])),bcmul2($a[8],$b[6])),bcmul2($a[9],$b[7])),bcmul2($a[10],$b[4])),bcmul2($a[11],$b[5])),bcmul2($a[12],$b[2])),bcmul2($a[13],$b[3])),bcmul2($a[14],$b[0])),bcmul2($a[15],$b[1]));
	$c15 = bcadd2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcadd2(bcsub2(bcadd2(bcsub2(bcadd2(bcadd2(bcsub2(bcsub2(bcadd2(bcmul2($a[0],$b[15]),bcmul2($a[1],$b[14])),bcmul2($a[2],$b[13])),bcmul2($a[3],$b[12])),bcmul2($a[4],$b[11])),bcmul2($a[5],$b[10])),bcmul2($a[6],$b[9])),bcmul2($a[7],$b[8])),bcmul2($a[8],$b[7])),bcmul2($a[9],$b[6])),bcmul2($a[10],$b[5])),bcmul2($a[11],$b[4])),bcmul2($a[12],$b[3])),bcmul2($a[13],$b[2])),bcmul2($a[14],$b[1])),bcmul2($a[15],$b[0]));

	return [$c0, $c1, $c2, $c3, $c4, $c5, $c6, $c7, $c8, $c9, $c10, $c11, $c12, $c13, $c14, $c15];
}

function sed_int_power($sed, $n) {
	assert($n >= 1);
	$res = $sed;
	for ($p=2; $p<=$n; $p++) $res = sed_mul($res, $sed);
	return $res;
}

function sed_is_immortal($sed, $power) {
	$sedpow = sed_int_power($sed, $power);
	for ($i=0; $i<16; $i++) {
		$x1 = bcabs($sed[$i]);
		$x2 = bcabs($sedpow[$i]);
		if (substr($x2, -strlen($x1)) != $x1) return false;
	}
	return $sedpow;
}

function _go($a, $b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $power, $distance, &$progr, &$found) {
	$sed = [$a, $b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p];
	$sedpower = sed_is_immortal($sed, $power);
	if ($sedpower !== false) {
		$a_ = $sedpower[0];
		$b_ = $sedpower[1];
		$c_ = $sedpower[2];
		$d_ = $sedpower[3];
		$e_ = $sedpower[4];
		$f_ = $sedpower[5];
		$g_ = $sedpower[6];
		$h_ = $sedpower[7];
		$i_ = $sedpower[8];
		$j_ = $sedpower[9];
		$k_ = $sedpower[10];
		$l_ = $sedpower[11];
		$m_ = $sedpower[12];
		$n_ = $sedpower[13];
		$o_ = $sedpower[14];
		$p_ = $sedpower[15];
		if (($i!=0) || ($j!=0) || ($k!=0) || ($l!=0) || ($m!=0) || ($n!=0) || ($o!=0) || ($p!=0)) {
			$str = "SED  ";
		} else if (($e!=0) || ($f!=0) || ($g!=0) || ($h!=0)) {
			$str = "OCT  ";
		} else if (($c!=0) || ($d!=0)) {
			$str = "QUAD ";
		} else if ($b!=0) {
			$str = "CPLX ";
		} else {
			$str = "REAL ";
		}
		$str .= "| Distance=$distance | ";
		$str .= "[$a, $b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p] ^ $power = [$a_, $b_, $c_, $d_, $e_, $f_, $g_, $h_, $i_, $j_, $k_, $l_, $m_, $n_, $o_, $p_]";
#		if (!in_array($str,$found)) {
#			echo "$str\n";
#			$found[] = $str;
file_put_contents('/tmp/daniel_immortal_sedenions', "$str\n", FILE_APPEND);
$found++;
#		}
	}
	#if ($progr++ % 10000 == 0) {
	#	echo "(Dist=$distance) Processing ($a, $b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p) with power $power                 \r";
	#}
}

if (file_exists(__DIR__.'/savestate.txt')) {
	$start_distance = trim(file_get_contents(__DIR__.'/savestate.txt'));
} else {
	$start_distance = 0;
}
for ($distance=$start_distance; $distance<=MAX_DISTANCE; $distance++) {
	$str = "--------- Distance: $distance ---------";
	echo "                                                                              \r";
	echo "$str\n";
	$found = 0;
	$progr = 0;

	if (file_exists("/tmp/daniel_immortal_sedenions")) system("rm /tmp/daniel_immortal_sedenions");

	$a = $distance;
	for ($b=0; $b<=$distance; $b++) {
	for ($c=0; $c<=$distance; $c++) {
	for ($d=0; $d<=$distance; $d++) {
	for ($e=0; $e<=$distance; $e++) {
	for ($f=0; $f<=$distance; $f++) {
	for ($g=0; $g<=$distance; $g++) {
	for ($h=0; $h<=$distance; $h++) {
	for ($i=0; $i<=$distance; $i++) {
	for ($j=0; $j<=$distance; $j++) {
	for ($k=0; $k<=$distance; $k++) {
	for ($l=0; $l<=$distance; $l++) {
	for ($m=0; $m<=$distance; $m++) {
	for ($n=0; $n<=$distance; $n++) {
	for ($o=0; $o<=$distance; $o++) {
	for ($p=0; $p<=$distance; $p++) {
	if ($p == 0) echo "\r".round(memory_get_usage()/1024/1024, 2)." MiB ($found found); ($a), $b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p                                ";
	for ($power=2; $power<=MAX_POWER; $power++) {
	_go($a, $b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $a, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $a, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $a, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $a, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $a, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $g, $a, $h, $i, $j, $k, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $g, $h, $a, $i, $j, $k, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $g, $h, $i, $a, $j, $k, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $g, $h, $i, $j, $a, $k, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $a, $l, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $a, $m, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $a, $n, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $a, $o, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $a, $p, $power, $distance, $progr, $found);
	_go($b, $c, $d, $e, $f, $g, $h, $i, $j, $k, $l, $m, $n, $o, $p, $a, $power, $distance, $progr, $found);
	}
	}
	}
	}
	}
	}
	}
	}
	}
	}
	}
	}
	}
	}
	}
	}

#	file_put_contents(__DIR__.'/result.txt', "$str\n", FILE_APPEND);
#	chdir(__DIR__);
#	system("cat /tmp/daniel_immortal_sedenions | sort | uniq >> result.txt");
#	system("rm /tmp/daniel_immortal_sedenions");

	system("mv /tmp/daniel_immortal_sedenions result_distance{$distance}_maxpower".MAX_POWER.".txt");
	system("sort -us -o result_distance{$distance}_maxpower".MAX_POWER."_unique.txt result_distance{$distance}_maxpower".MAX_POWER.".txt");

	file_put_contents(__DIR__.'/savestate.txt', $distance+1);
}