MD5 (README.TXT) = ee849c92a5f672268393dc7a16cc5148
MD5 (fixit-small.flp) = 0cb3f251a8fbc09ac2f124c41489bb34
MD5 (fixit.flp) = a03b2c04357ee9184580543cfcb9c15b
MD5 (kern-small.flp) = 5b8e0293cc0a4f0059a4774eca10dbcc
MD5 (kern.flp) = 96e0bc5d18d3ba3d9127f320aa329a4c
MD5 (mfsroot-small.flp) = 83ca43c9d9cd3368fad4f7a222744ec1
MD5 (mfsroot.flp) = c29152046967e841c539baa9e8c0a49b