98c066d7fd68a309d2bfadefe87b2599bcf15cc0
[YACASL2.git] / monitor / dump_2.monitor
1 l sum_10.o
2 d 0 #20