def pairs: while( .[0] > 0; [ (.[0] | halve), (.[1] | double) ]);