World's Largest Tripwire-Lock Shortest-Path Problem

wltlspp.txt