[8 43{dup 3 mul 2 idiv 6 add}repeat 11010860 1116516 29022]{=only}forall