Luckily, dumping an encode won't crash PCEjin at all. I am making a specialized HD encode due to the random times this game uses 60Hz flicker (It'll be a good time to learn how to do this without creating 10+ AVI files). Don't expect it to be done for a while, however.
Also, Yes voted. The game is a bit dry on entertainment, but it's good enough to pass as an optimized TAS. I got no qualms against it.
Also, I vote for a warped movie!
For the curious, the below script is what will be used for encoding:
ainit = AVISource("movie.avi")
a = ainit.PointResize(ainit.width * 3, ainit.height * 3)
a1 = a.Trim(0,28813).ChangeFPS(30)
a2 = a.Trim(28814,29468).AssumeFieldBased.Weave.VerticalReduceBy2.ChangeFPS(30)
a3 = a.Trim(29469,34611).ChangeFPS(30)
a4 = a.Trim(34612,34743).AssumeFieldBased.Weave.VerticalReduceBy2.ChangeFPS(30)
a5 = a.Trim(34744,35634).ChangeFPS(30)
a6 = a.Trim(35635,35764).AssumeFieldBased.Weave.VerticalReduceBy2.ChangeFPS(30)
a7 = a.Trim(35765,93456).ChangeFPS(30)
b= a1 + a2 + a3 + a4 + a5 + a6 + a7
c = b.PointResize(928, 696)
g = c.PointResize(c.width * 2, c.height * 2)
d = ImageSource(file="logo1080psmd.png", start=0, end=119, fps=b.FrameRate).ConvertToRGB24()
e = BlankClip(d, audio_rate=44100, channels=2)
f = AudioDub(d, e).Lanczos4Resize(g.width, g.height).AssumeFPS(b.FrameRateNumerator, b.FrameRateDenominator)
last = f + g
ConvertToYV24(chromaresample="point")
ConvertToYV12(chromaresample="point")
return last
You could encode from this if you wanted to, but, well... lets face it, I've already run encode.bat. :p