ILP02361 HOL Toy Soldier Set 6