Fixed error in writing and reading symbolic parity games using ldd64.
Fixed error in writing and reading symbolic parity games using ldd64.

buschko/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,lordqwerty/ltsmin,buschko/ltsmin,trolando/ltsmin,Sybe/composition,Meijuh/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,utwente-fmt/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,Sybe/composition,thedobs/LTSmin,vbloemen/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,thedobs/LTSmin,trolando/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,trolando/ltsmin,Sybe/composition,buschko/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,trolando/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,thedobs/LTSmin,utwente-fmt/ltsmin,buschko/ltsmin,Meijuh/ltsmin,alaarman/ltsmin,Sybe/composition