--- a/main_testing4/knight_test10.scala	Tue Nov 08 00:27:47 2022 +0000
+++ b/main_testing4/knight_test10.scala	Tue Nov 08 18:35:41 2022 +0000
@@ -24,6 +24,6 @@
 }
 
 
-val ts70 = tour_on_mega_board(70, List((0,0))).get
-assert(correct_urban(70)(ts70) == true)
+val ts70 = one_tour_pred(8, List((0, 0)), 40, x => x._1 < 5).get
+assert(correct_urban(8)(ts70) == true)