World's Largest Tripwire-Lock Shortest-Path Problem
wltlspp.txt