He ran a 2miles in 8:00 indoors which had a lot of tight turns. Let's assume that slowed him down 0.5s/lap. That would be 8 seconds which put him at 7:52 outdoors which is equqevenit to a 7:16 3k. The IAAF equivalent table also has him at 7:53 outdoors, which is in accordance with my theory.