A roughly 27B model verification and the ARC Prize Kaggle runtime limit · Digg