从软件开发的角度看，既然这个软件执行的结果是不可逆转 （无法追溯路径）
那么之前说的法兰克福服务器有没有就不是那么重要了（但是不知道会不会有log之类的
）
软件公司也不可能交出核心的code
那么应该着重在人的部份，谁去启动了程序，实际设定了哪些参数。
但是实际操纵的人怎么可能会招供
然后又卡在法律规定差距不够小不能验票，我想这也是证据难产的原因

还是囚徒困境啊 招供→被关 装死让拜上→过两年被灭口海豹的故事应该给美国选务们传一轮 他们不知道下场

各地现场实际票数跟计票系统记录有出入 兜不起来就够控告选务系统诈欺舞弊了