18491850185118521853185418551856185718581859
try { Stream stream = new Stream(); stream.writeBit(1); for (NumWithInfo nwi : genNumWithInfos(128)) { stream.writeBigInteger(nwi.getNumber()); } stream.writeBit(1); stream.readBit();
18971898189919001901190219031904190519061907
try { Stream stream = new Stream(); stream.writeBit(1); for (NumWithInfo nwi : genNumWithInfos(128)) { stream.writeBigInteger(nwi.getNumber(), nwi.getNumber().bitLength() + 1); } stream.writeBit(1); stream.readBit();