print x, y, z
else:
print %s
ret = Valid("print 1")
"""%(x)
if __name__ == "__main__":
code = map(ex, xrange(20))
m = mast.Mast("compile", "print 1")
n = m
for i, c in enumerate(code):
if i%10000 == 0:
print '.'
for i in xrange(100):
n.addBr(c)
n = n.addBr(c)
mt = mast.MerkleTreeList(m.children)
orig_len = float(len("".join(code))*101)
print "original length", orig_len
pr = n.generateFullProofUpward(m.hash())
code, _script = mast.toScript(pr, m.hash())
together = enc("".join(map(chr,code+_script)))
comp_len = len(str(pr))
pct_comp = 1 - comp_len/orig_len
print sim.merkleVerifyExec(None, m.hash(), [pr], 10)
print script.run("".join(map(chr,code+_script)))
print orig_len
print "compression length", comp_len
print "compression length for blockchain ready version", len(together)
print "compression percentage", pct_comp
print "compression percentage for blockchain version", 1-len(together)/orig_len
"""
N= 100000
if __name__ == "__main__":
code = list(ex%x for x in xrange(N))
m = mast.Mast("compile", "print 1")
bot = m.batch_addBr(code)[-1]
print
print "Generating Hash"
mh = m.hash()
print "Hash is", enc(mh)
print "Generating Proof"
proof = bot.generateFullProofUpward(mh)
print "proof is:"
pretty(proof)
code2, _script = mast.toScript(proof, m.hash())
together = enc("".join(map(chr,code2+_script)))
print "Blockchain compatible Proof is:"
print together
c = crypto.hashable(ex%60)
dec.getcontext().prec = 30
compressed_size = dec.Decimal(len(str(proof)))
initial_size = dec.Decimal(N*sum(map(len,code)))
print "Compression achieved for %d branches"%N
rate = dec.Decimal(1) - (compressed_size / initial_size)
print rate
print "%s %%" %rate
