最後に実際の手順と比較する

ここまでくれば、どんな手順を渡されても、最初の一手は基本的にロボットを一歩動かすだけなので、簡単な作業になります。

最初の一手は青の動かし方が４通りあって、橙の動かし方が４通りありますから全部で

(coq Scripting *16 SUBGOALS* Holes)---------

残り時間は２時間を切っていたので諦めました。