(\{h_{129}, h_{17}, h_{118}, h_{91}, h_{88}, h_{34}, h_{123}, h_{102}, h_{54}, f_{169}, h_{46}, h_{150}, h_{59}, h_{67}, h_{95}, h_{101}, h_{154}, h_{55}, h_{51}, h_{11}, h_{99}, h_{73}, h_{74}, h_{155}, h_{80}, h_{122}, h_{78}, h_{76}, h_{142}, h_{71}, h_{65}, h_{27}, h_{29}, h_{69}, h_{0}, h_{133}, f_{176}, h_{44}, h_{98}, h_{47}, h_{131}, h_{45}, f_{167}, h_{145}, h_{52}, h_{25}, f_{168}, h_{33}, h_{61}, f_{174}, f_{171}\}; \{s_{5}\})
(\{h_{123}, h_{101}, h_{74}\}; \{s_{15}, s_{19}, s_{5}\})
(\{\}; \{s_{15}, s_{20}, s_{22}, s_{14}, s_{10}, s_{19}, s_{21}, s_{13}, s_{25}, s_{17}, s_{7}, s_{3}, s_{16}, s_{18}, s_{11}, s_{12}, s_{4}, s_{23}, s_{2}, s_{9}, s_{6}, s_{26}, s_{0}, s_{24}, s_{8}, s_{1}, s_{5}\})
(\{h_{101}\}; \{s_{15}, s_{19}, s_{21}, s_{13}, s_{7}, s_{11}, s_{26}, s_{0}, s_{5}\})
(\{h_{101}, h_{74}\}; \{s_{15}, s_{19}, s_{13}, s_{26}, s_{0}, s_{5}\})
(\{h_{102}, f_{169}, h_{95}, h_{55}, h_{155}, h_{76}, f_{176}, h_{98}, f_{167}\}; \{s_{20}, s_{26}, s_{5}\})
(\{f_{169}\}; \{s_{20}, s_{22}, s_{10}, s_{13}, s_{17}, s_{3}, s_{16}, s_{18}, s_{11}, s_{4}, s_{23}, s_{9}, s_{6}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{155}, h_{76}, f_{167}\}; \{s_{20}, s_{14}, s_{23}, s_{2}, s_{26}, s_{5}\})
(\{f_{167}\}; \{s_{20}, s_{14}, s_{10}, s_{13}, s_{25}, s_{7}, s_{3}, s_{16}, s_{12}, s_{23}, s_{2}, s_{6}, s_{26}, s_{0}, s_{24}, s_{1}, s_{5}\})
(\{h_{76}, f_{167}\}; \{s_{20}, s_{14}, s_{13}, s_{3}, s_{12}, s_{23}, s_{2}, s_{26}, s_{0}, s_{5}\})
(\{h_{155}\}; \{s_{20}, s_{14}, s_{17}, s_{11}, s_{23}, s_{2}, s_{26}, s_{8}, s_{5}\})
(\{f_{169}, h_{55}, f_{176}, f_{167}\}; \{s_{20}, s_{10}, s_{13}, s_{3}, s_{6}, s_{26}, s_{0}, s_{5}\})
(\{f_{176}\}; \{s_{20}, s_{10}, s_{21}, s_{13}, s_{3}, s_{16}, s_{23}, s_{6}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, f_{176}, f_{167}\}; \{s_{20}, s_{10}, s_{13}, s_{3}, s_{16}, s_{23}, s_{6}, s_{26}, s_{0}, s_{5}\})
(\{h_{95}, f_{176}\}; \{s_{20}, s_{21}, s_{13}, s_{6}, s_{26}, s_{0}, s_{5}\})
(\{h_{102}, f_{169}, h_{95}, h_{55}, h_{76}, f_{176}, h_{98}, f_{167}\}; \{s_{20}, s_{13}, s_{26}, s_{0}, s_{5}\})
(\{h_{102}, f_{169}\}; \{s_{20}, s_{13}, s_{17}, s_{11}, s_{23}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{f_{169}, h_{55}, h_{76}, f_{176}, f_{167}\}; \{s_{20}, s_{13}, s_{3}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, h_{76}, f_{176}, f_{167}\}; \{s_{20}, s_{13}, s_{3}, s_{23}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, f_{176}, h_{98}, f_{167}\}; \{s_{20}, s_{13}, s_{16}, s_{23}, s_{6}, s_{26}, s_{0}, s_{5}\})
(\{h_{102}, f_{169}, h_{76}, f_{176}, h_{98}, f_{167}\}; \{s_{20}, s_{13}, s_{23}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, h_{95}, h_{55}, f_{176}, h_{98}, f_{167}\}; \{s_{20}, s_{13}, s_{6}, s_{26}, s_{0}, s_{5}\})
(\{h_{102}, f_{169}, h_{155}\}; \{s_{20}, s_{17}, s_{11}, s_{23}, s_{26}, s_{8}, s_{5}\})
(\{h_{102}, f_{169}, h_{155}, h_{76}, f_{176}, h_{98}, f_{167}\}; \{s_{20}, s_{23}, s_{26}, s_{5}\})
(\{h_{88}, h_{54}, f_{169}, h_{67}, h_{65}, h_{133}, f_{168}, h_{33}, f_{171}\}; \{s_{22}, s_{13}, s_{5}\})
(\{h_{88}, h_{133}, f_{168}\}; \{s_{22}, s_{14}, s_{21}, s_{13}, s_{12}, s_{4}, s_{5}\})
(\{f_{168}\}; \{s_{22}, s_{14}, s_{21}, s_{13}, s_{25}, s_{17}, s_{18}, s_{12}, s_{4}, s_{2}, s_{9}, s_{26}, s_{0}, s_{24}, s_{8}, s_{1}, s_{5}\})
(\{h_{133}\}; \{s_{22}, s_{14}, s_{21}, s_{13}, s_{3}, s_{12}, s_{4}, s_{23}, s_{5}\})
(\{h_{88}, f_{168}\}; \{s_{22}, s_{14}, s_{21}, s_{13}, s_{12}, s_{4}, s_{26}, s_{0}, s_{5}\})
(\{h_{54}, f_{169}, h_{67}, h_{65}, f_{168}, f_{171}\}; \{s_{22}, s_{13}, s_{17}, s_{26}, s_{0}, s_{5}\})
(\{h_{65}, f_{171}\}; \{s_{22}, s_{13}, s_{17}, s_{7}, s_{26}, s_{0}, s_{5}\})
(\{f_{171}\}; \{s_{22}, s_{13}, s_{17}, s_{7}, s_{18}, s_{4}, s_{9}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{f_{169}, h_{67}, f_{168}, f_{171}\}; \{s_{22}, s_{13}, s_{17}, s_{18}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{f_{169}, f_{168}, f_{171}\}; \{s_{22}, s_{13}, s_{17}, s_{18}, s_{4}, s_{9}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{54}, f_{169}, f_{168}, f_{171}\}; \{s_{22}, s_{13}, s_{17}, s_{4}, s_{9}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, h_{133}, h_{33}\}; \{s_{22}, s_{13}, s_{3}, s_{4}, s_{23}, s_{5}\})
(\{f_{169}, h_{33}\}; \{s_{22}, s_{13}, s_{3}, s_{4}, s_{23}, s_{6}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{88}, h_{54}, f_{169}, h_{133}, f_{168}, h_{33}, f_{171}\}; \{s_{22}, s_{13}, s_{4}, s_{5}\})
(\{h_{88}, h_{54}, f_{169}, f_{168}, h_{33}, f_{171}\}; \{s_{22}, s_{13}, s_{4}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, f_{168}, h_{33}, f_{171}\}; \{s_{22}, s_{13}, s_{4}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{88}, h_{54}, f_{169}, h_{67}, h_{65}, f_{168}, h_{33}, f_{171}\}; \{s_{22}, s_{13}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, h_{67}, f_{168}, h_{33}, f_{171}\}; \{s_{22}, s_{13}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{91}, h_{88}, h_{154}, h_{51}, h_{73}, h_{155}, h_{80}, h_{122}, h_{76}, h_{27}, h_{133}, h_{47}, f_{167}, h_{52}, f_{168}, f_{174}\}; \{s_{14}, s_{5}\})
(\{h_{91}, h_{88}, h_{51}, h_{73}, h_{80}, h_{122}, h_{76}, h_{27}, h_{133}, h_{47}, f_{167}, h_{52}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{5}\})
(\{h_{91}, h_{73}, h_{80}, h_{122}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{25}, s_{26}, s_{5}\})
(\{h_{80}, f_{174}\}; \{s_{14}, s_{13}, s_{25}, s_{11}, s_{2}, s_{26}, s_{0}, s_{24}, s_{5}\})
(\{f_{174}\}; \{s_{14}, s_{13}, s_{25}, s_{11}, s_{12}, s_{2}, s_{26}, s_{0}, s_{24}, s_{1}, s_{5}\})
(\{h_{73}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{25}, s_{12}, s_{26}, s_{0}, s_{1}, s_{5}\})
(\{f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{25}, s_{12}, s_{2}, s_{26}, s_{0}, s_{24}, s_{1}, s_{5}\})
(\{h_{91}, h_{122}, f_{168}\}; \{s_{14}, s_{13}, s_{25}, s_{4}, s_{26}, s_{5}\})
(\{h_{91}, f_{168}\}; \{s_{14}, s_{13}, s_{25}, s_{4}, s_{26}, s_{0}, s_{5}\})
(\{h_{80}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{25}, s_{2}, s_{26}, s_{0}, s_{24}, s_{5}\})
(\{h_{91}, h_{73}, h_{80}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{25}, s_{26}, s_{0}, s_{5}\})
(\{h_{27}, f_{168}\}; \{s_{14}, s_{13}, s_{17}, s_{4}, s_{2}, s_{26}, s_{0}, s_{8}, s_{1}, s_{5}\})
(\{h_{76}, h_{133}, f_{167}\}; \{s_{14}, s_{13}, s_{3}, s_{12}, s_{23}, s_{5}\})
(\{h_{80}, h_{47}, f_{174}\}; \{s_{14}, s_{13}, s_{11}, s_{2}, s_{26}, s_{0}, s_{5}\})
(\{h_{88}, h_{73}, h_{76}, h_{133}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{12}, s_{5}\})
(\{h_{76}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{12}, s_{2}, s_{26}, s_{0}, s_{5}\})
(\{h_{88}, h_{73}, h_{76}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{12}, s_{26}, s_{0}, s_{5}\})
(\{h_{91}, h_{88}, h_{51}, h_{122}, h_{27}, h_{133}, h_{52}, f_{168}\}; \{s_{14}, s_{13}, s_{4}, s_{5}\})
(\{h_{51}, h_{52}, f_{168}\}; \{s_{14}, s_{13}, s_{4}, s_{9}, s_{0}, s_{5}\})
(\{h_{52}, f_{168}\}; \{s_{14}, s_{13}, s_{4}, s_{9}, s_{26}, s_{0}, s_{5}\})
(\{h_{91}, h_{88}, h_{122}, h_{27}, h_{52}, f_{168}\}; \{s_{14}, s_{13}, s_{4}, s_{26}, s_{5}\})
(\{h_{91}, h_{88}, h_{27}, h_{52}, f_{168}\}; \{s_{14}, s_{13}, s_{4}, s_{26}, s_{0}, s_{5}\})
(\{h_{91}, h_{88}, h_{51}, h_{27}, h_{52}, f_{168}\}; \{s_{14}, s_{13}, s_{4}, s_{0}, s_{5}\})
(\{h_{80}, h_{76}, h_{27}, h_{47}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{2}, s_{26}, s_{0}, s_{5}\})
(\{h_{27}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{2}, s_{26}, s_{0}, s_{1}, s_{5}\})
(\{h_{91}, h_{88}, h_{73}, h_{80}, h_{122}, h_{76}, h_{27}, h_{47}, f_{167}, h_{52}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{26}, s_{5}\})
(\{h_{91}, h_{88}, h_{73}, h_{80}, h_{76}, h_{27}, h_{47}, f_{167}, h_{52}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{26}, s_{0}, s_{5}\})
(\{h_{73}, h_{27}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{26}, s_{0}, s_{1}, s_{5}\})
(\{h_{91}, h_{88}, h_{51}, h_{73}, h_{80}, h_{76}, h_{27}, h_{47}, f_{167}, h_{52}, f_{168}, f_{174}\}; \{s_{14}, s_{13}, s_{0}, s_{5}\})
(\{h_{91}, h_{154}, h_{73}, h_{80}, h_{122}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{25}, s_{5}\})
(\{h_{155}, h_{27}, f_{168}\}; \{s_{14}, s_{17}, s_{2}, s_{26}, s_{8}, s_{5}\})
(\{h_{155}, h_{80}, h_{47}, f_{174}\}; \{s_{14}, s_{11}, s_{2}, s_{26}, s_{5}\})
(\{h_{155}, h_{76}, h_{133}, f_{167}\}; \{s_{14}, s_{23}, s_{5}\})
(\{h_{155}, h_{80}, h_{76}, h_{27}, h_{47}, f_{167}, f_{168}, f_{174}\}; \{s_{14}, s_{2}, s_{26}, s_{5}\})
(\{h_{91}, h_{88}, h_{73}, h_{155}, h_{80}, h_{122}, h_{76}, h_{27}, h_{47}, f_{167}, h_{52}, f_{168}, f_{174}\}; \{s_{14}, s_{26}, s_{5}\})
(\{h_{129}, f_{169}, h_{46}, h_{55}, h_{78}, f_{176}, h_{45}, f_{167}\}; \{s_{10}, s_{3}, s_{5}\})
(\{h_{78}, f_{176}\}; \{s_{10}, s_{21}, s_{13}, s_{3}, s_{16}, s_{23}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, h_{46}, h_{55}, h_{78}, f_{176}, h_{45}, f_{167}\}; \{s_{10}, s_{13}, s_{3}, s_{0}, s_{5}\})
(\{f_{169}, h_{78}, f_{176}, f_{167}\}; \{s_{10}, s_{13}, s_{3}, s_{16}, s_{23}, s_{26}, s_{0}, s_{5}\})
(\{h_{46}, h_{45}, f_{167}\}; \{s_{10}, s_{13}, s_{3}, s_{2}, s_{0}, s_{5}\})
(\{h_{46}, f_{167}\}; \{s_{10}, s_{13}, s_{3}, s_{2}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, h_{46}, h_{55}, h_{78}, f_{176}, f_{167}\}; \{s_{10}, s_{13}, s_{3}, s_{26}, s_{0}, s_{5}\})
(\{h_{88}, h_{34}, h_{95}, h_{101}, h_{78}, h_{133}, f_{176}, f_{168}\}; \{s_{21}, s_{13}, s_{5}\})
(\{h_{34}, h_{78}, h_{133}, f_{176}\}; \{s_{21}, s_{13}, s_{3}, s_{23}, s_{5}\})
(\{h_{34}, h_{78}, f_{176}\}; \{s_{21}, s_{13}, s_{3}, s_{23}, s_{26}, s_{0}, s_{5}\})
(\{h_{88}, h_{34}, h_{95}, h_{101}, h_{78}, f_{176}, f_{168}\}; \{s_{21}, s_{13}, s_{26}, s_{0}, s_{5}\})
(\{h_{17}, h_{91}, h_{88}, h_{34}, h_{102}, h_{54}, f_{169}, h_{46}, h_{59}, h_{67}, h_{95}, h_{101}, h_{55}, h_{51}, h_{99}, h_{73}, h_{74}, h_{80}, h_{122}, h_{78}, h_{76}, h_{71}, h_{65}, h_{27}, h_{29}, h_{69}, h_{133}, f_{176}, h_{44}, h_{98}, h_{47}, h_{45}, f_{167}, h_{145}, h_{52}, h_{25}, f_{168}, h_{33}, f_{174}, f_{171}\}; \{s_{13}, s_{5}\})
(\{h_{102}, h_{54}, f_{169}, h_{67}, h_{65}, h_{27}, f_{168}, f_{171}\}; \{s_{13}, s_{17}, s_{26}, s_{0}, s_{5}\})
(\{h_{54}, f_{169}, h_{27}, f_{168}, f_{171}\}; \{s_{13}, s_{17}, s_{4}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, h_{27}, f_{168}, f_{171}\}; \{s_{13}, s_{17}, s_{4}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{102}, f_{169}, h_{67}, h_{27}, f_{168}, f_{171}\}; \{s_{13}, s_{17}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{17}, h_{59}, h_{101}, h_{65}, h_{29}, f_{167}, f_{171}\}; \{s_{13}, s_{7}, s_{26}, s_{0}, s_{5}\})
(\{h_{17}, f_{167}\}; \{s_{13}, s_{7}, s_{3}, s_{2}, s_{6}, s_{26}, s_{0}, s_{1}, s_{5}\})
(\{h_{59}, f_{171}\}; \{s_{13}, s_{7}, s_{18}, s_{4}, s_{9}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{59}, h_{29}, f_{171}\}; \{s_{13}, s_{7}, s_{4}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{17}, h_{34}, f_{169}, h_{46}, h_{55}, h_{78}, h_{76}, h_{133}, f_{176}, h_{45}, f_{167}, h_{25}, h_{33}\}; \{s_{13}, s_{3}, s_{5}\})
(\{h_{34}, f_{169}, h_{78}, h_{76}, h_{133}, f_{176}, f_{167}, h_{33}\}; \{s_{13}, s_{3}, s_{23}, s_{5}\})
(\{f_{169}, f_{176}, f_{167}, h_{33}\}; \{s_{13}, s_{3}, s_{23}, s_{6}, s_{26}, s_{0}, s_{5}\})
(\{h_{34}, f_{169}, h_{78}, h_{76}, f_{176}, f_{167}, h_{33}\}; \{s_{13}, s_{3}, s_{23}, s_{26}, s_{0}, s_{5}\})
(\{h_{17}, h_{46}, h_{76}, h_{45}, f_{167}, h_{25}\}; \{s_{13}, s_{3}, s_{2}, s_{0}, s_{5}\})
(\{h_{17}, h_{46}, h_{76}, f_{167}, h_{25}\}; \{s_{13}, s_{3}, s_{2}, s_{26}, s_{0}, s_{5}\})
(\{f_{167}, h_{25}\}; \{s_{13}, s_{3}, s_{2}, s_{26}, s_{0}, s_{24}, s_{5}\})
(\{h_{17}, f_{169}, h_{55}, f_{176}, f_{167}, h_{33}\}; \{s_{13}, s_{3}, s_{6}, s_{26}, s_{0}, s_{5}\})
(\{h_{17}, h_{34}, f_{169}, h_{46}, h_{55}, h_{78}, h_{76}, f_{176}, f_{167}, h_{25}, h_{33}\}; \{s_{13}, s_{3}, s_{26}, s_{0}, s_{5}\})
(\{h_{17}, h_{34}, f_{169}, h_{46}, h_{55}, h_{78}, h_{76}, f_{176}, h_{45}, f_{167}, h_{25}, h_{33}\}; \{s_{13}, s_{3}, s_{0}, s_{5}\})
(\{f_{169}, h_{99}, h_{78}, f_{176}, h_{98}, f_{167}, h_{145}\}; \{s_{13}, s_{16}, s_{23}, s_{26}, s_{5}\})
(\{f_{169}, h_{99}, h_{78}, f_{176}, h_{98}, f_{167}\}; \{s_{13}, s_{16}, s_{23}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, h_{99}\}; \{s_{13}, s_{16}, s_{23}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{f_{169}, h_{99}, h_{145}\}; \{s_{13}, s_{16}, s_{23}, s_{26}, s_{8}, s_{5}\})
(\{f_{169}, h_{59}, h_{67}, h_{69}, f_{168}, f_{171}\}; \{s_{13}, s_{18}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{f_{169}, h_{59}, f_{168}, f_{171}\}; \{s_{13}, s_{18}, s_{4}, s_{9}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{f_{169}, h_{69}\}; \{s_{13}, s_{18}, s_{23}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{102}, f_{169}, h_{101}, h_{80}, h_{71}, h_{47}, f_{174}\}; \{s_{13}, s_{11}, s_{26}, s_{0}, s_{5}\})
(\{h_{71}, f_{174}\}; \{s_{13}, s_{11}, s_{12}, s_{26}, s_{0}, s_{1}, s_{5}\})
(\{h_{88}, h_{73}, h_{76}, h_{71}, h_{133}, h_{44}, f_{167}, f_{168}, f_{174}\}; \{s_{13}, s_{12}, s_{5}\})
(\{h_{76}, h_{44}, f_{167}, f_{168}, f_{174}\}; \{s_{13}, s_{12}, s_{2}, s_{26}, s_{0}, s_{5}\})
(\{h_{44}, f_{167}, f_{168}, f_{174}\}; \{s_{13}, s_{12}, s_{2}, s_{26}, s_{0}, s_{24}, s_{1}, s_{5}\})
(\{h_{88}, h_{73}, h_{76}, h_{71}, h_{44}, f_{167}, f_{168}, f_{174}\}; \{s_{13}, s_{12}, s_{26}, s_{0}, s_{5}\})
(\{h_{73}, h_{71}, h_{44}, f_{167}, f_{168}, f_{174}\}; \{s_{13}, s_{12}, s_{26}, s_{0}, s_{1}, s_{5}\})
(\{h_{91}, h_{88}, h_{54}, f_{169}, h_{59}, h_{51}, h_{122}, h_{27}, h_{29}, h_{133}, h_{52}, f_{168}, h_{33}, f_{171}\}; \{s_{13}, s_{4}, s_{5}\})
(\{h_{54}, f_{169}, h_{59}, h_{51}, h_{52}, f_{168}, f_{171}\}; \{s_{13}, s_{4}, s_{9}, s_{0}, s_{5}\})
(\{h_{54}, f_{169}, h_{59}, h_{52}, f_{168}, f_{171}\}; \{s_{13}, s_{4}, s_{9}, s_{26}, s_{0}, s_{5}\})
(\{h_{91}, h_{88}, h_{54}, f_{169}, h_{59}, h_{122}, h_{27}, h_{29}, h_{52}, f_{168}, h_{33}, f_{171}\}; \{s_{13}, s_{4}, s_{26}, s_{5}\})
(\{h_{91}, h_{88}, h_{54}, f_{169}, h_{59}, h_{27}, h_{29}, h_{52}, f_{168}, h_{33}, f_{171}\}; \{s_{13}, s_{4}, s_{26}, s_{0}, s_{5}\})
(\{f_{169}, h_{59}, h_{27}, h_{29}, f_{168}, h_{33}, f_{171}\}; \{s_{13}, s_{4}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{91}, h_{88}, h_{54}, f_{169}, h_{59}, h_{51}, h_{27}, h_{29}, h_{52}, f_{168}, h_{33}, f_{171}\}; \{s_{13}, s_{4}, s_{0}, s_{5}\})
(\{h_{34}, h_{102}, f_{169}, h_{99}, h_{78}, h_{76}, h_{69}, h_{133}, f_{176}, h_{98}, f_{167}, h_{145}, h_{33}\}; \{s_{13}, s_{23}, s_{5}\})
(\{f_{169}, f_{176}, h_{98}, f_{167}, h_{33}\}; \{s_{13}, s_{23}, s_{6}, s_{26}, s_{0}, s_{5}\})
(\{h_{34}, h_{102}, f_{169}, h_{99}, h_{78}, h_{76}, h_{69}, f_{176}, h_{98}, f_{167}, h_{145}, h_{33}\}; \{s_{13}, s_{23}, s_{26}, s_{5}\})
(\{h_{34}, h_{102}, f_{169}, h_{99}, h_{78}, h_{76}, h_{69}, f_{176}, h_{98}, f_{167}, h_{33}\}; \{s_{13}, s_{23}, s_{26}, s_{0}, s_{5}\})
(\{h_{102}, f_{169}, h_{99}, h_{69}, h_{33}\}; \{s_{13}, s_{23}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{102}, f_{169}, h_{99}, h_{69}, h_{145}, h_{33}\}; \{s_{13}, s_{23}, s_{26}, s_{8}, s_{5}\})
(\{h_{17}, h_{46}, h_{80}, h_{76}, h_{27}, h_{44}, h_{47}, h_{45}, f_{167}, h_{25}, f_{168}, f_{174}\}; \{s_{13}, s_{2}, s_{0}, s_{5}\})
(\{h_{17}, h_{46}, h_{80}, h_{76}, h_{27}, h_{44}, h_{47}, f_{167}, h_{25}, f_{168}, f_{174}\}; \{s_{13}, s_{2}, s_{26}, s_{0}, s_{5}\})
(\{h_{80}, h_{44}, f_{167}, h_{25}, f_{168}, f_{174}\}; \{s_{13}, s_{2}, s_{26}, s_{0}, s_{24}, s_{5}\})
(\{h_{17}, h_{27}, h_{44}, f_{167}, f_{168}, f_{174}\}; \{s_{13}, s_{2}, s_{26}, s_{0}, s_{1}, s_{5}\})
(\{h_{17}, f_{169}, h_{95}, h_{55}, f_{176}, h_{98}, f_{167}, h_{33}\}; \{s_{13}, s_{6}, s_{26}, s_{0}, s_{5}\})
(\{h_{17}, h_{91}, h_{88}, h_{34}, h_{102}, h_{54}, f_{169}, h_{46}, h_{59}, h_{67}, h_{95}, h_{101}, h_{55}, h_{99}, h_{73}, h_{74}, h_{80}, h_{122}, h_{78}, h_{76}, h_{71}, h_{65}, h_{27}, h_{29}, h_{69}, f_{176}, h_{44}, h_{98}, h_{47}, f_{167}, h_{145}, h_{52}, h_{25}, f_{168}, h_{33}, f_{174}, f_{171}\}; \{s_{13}, s_{26}, s_{5}\})
(\{h_{17}, h_{91}, h_{88}, h_{34}, h_{102}, h_{54}, f_{169}, h_{46}, h_{59}, h_{67}, h_{95}, h_{101}, h_{55}, h_{99}, h_{73}, h_{74}, h_{80}, h_{78}, h_{76}, h_{71}, h_{65}, h_{27}, h_{29}, h_{69}, f_{176}, h_{44}, h_{98}, h_{47}, f_{167}, h_{52}, h_{25}, f_{168}, h_{33}, f_{174}, f_{171}\}; \{s_{13}, s_{26}, s_{0}, s_{5}\})
(\{h_{102}, f_{169}, h_{59}, h_{67}, h_{99}, h_{27}, h_{29}, h_{69}, f_{168}, h_{33}, f_{171}\}; \{s_{13}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{17}, h_{73}, h_{71}, h_{27}, h_{44}, f_{167}, f_{168}, f_{174}\}; \{s_{13}, s_{26}, s_{0}, s_{1}, s_{5}\})
(\{h_{102}, f_{169}, h_{59}, h_{67}, h_{99}, h_{27}, h_{29}, h_{69}, h_{145}, f_{168}, h_{33}, f_{171}\}; \{s_{13}, s_{26}, s_{8}, s_{5}\})
(\{h_{17}, h_{91}, h_{88}, h_{34}, h_{102}, h_{54}, f_{169}, h_{46}, h_{59}, h_{67}, h_{95}, h_{101}, h_{55}, h_{51}, h_{99}, h_{73}, h_{74}, h_{80}, h_{78}, h_{76}, h_{71}, h_{65}, h_{27}, h_{29}, h_{69}, f_{176}, h_{44}, h_{98}, h_{47}, h_{45}, f_{167}, h_{52}, h_{25}, f_{168}, h_{33}, f_{174}, f_{171}\}; \{s_{13}, s_{0}, s_{5}\})
(\{h_{102}, h_{54}, f_{169}, h_{67}, h_{155}, h_{65}, h_{27}, f_{168}, f_{171}\}; \{s_{17}, s_{26}, s_{5}\})
(\{h_{102}, f_{169}, h_{67}, h_{155}, h_{27}, f_{168}, f_{171}\}; \{s_{17}, s_{26}, s_{8}, s_{5}\})
(\{h_{17}, h_{59}, h_{101}, h_{65}, h_{29}, h_{0}, f_{167}, f_{171}\}; \{s_{7}, s_{0}, s_{5}\})
(\{h_{17}, h_{0}, f_{167}\}; \{s_{7}, s_{3}, s_{2}, s_{6}, s_{0}, s_{1}, s_{5}\})
(\{h_{0}\}; \{s_{7}, s_{3}, s_{4}, s_{2}, s_{6}, s_{0}, s_{8}, s_{1}, s_{5}\})
(\{h_{59}, h_{29}, h_{0}, f_{171}\}; \{s_{7}, s_{4}, s_{0}, s_{8}, s_{5}\})
(\{h_{129}, h_{17}, h_{34}, f_{169}, h_{46}, h_{55}, h_{11}, h_{78}, h_{76}, h_{0}, h_{133}, f_{176}, h_{45}, f_{167}, h_{25}, h_{33}\}; \{s_{3}, s_{5}\})
(\{f_{169}, h_{0}, h_{133}, h_{33}\}; \{s_{3}, s_{4}, s_{5}\})
(\{f_{169}, h_{0}, h_{33}\}; \{s_{3}, s_{4}, s_{6}, s_{0}, s_{8}, s_{5}\})
(\{h_{17}, h_{46}, h_{11}, h_{76}, h_{0}, h_{45}, f_{167}, h_{25}\}; \{s_{3}, s_{2}, s_{0}, s_{5}\})
(\{h_{17}, h_{46}, h_{11}, h_{76}, f_{167}, h_{25}\}; \{s_{3}, s_{2}, s_{26}, s_{0}, s_{5}\})
(\{h_{11}, f_{167}, h_{25}\}; \{s_{3}, s_{2}, s_{26}, s_{0}, s_{24}, s_{5}\})
(\{h_{17}, f_{169}, h_{55}, h_{0}, f_{176}, f_{167}, h_{33}\}; \{s_{3}, s_{6}, s_{0}, s_{5}\})
(\{h_{17}, h_{34}, f_{169}, h_{46}, h_{55}, h_{11}, h_{78}, h_{76}, f_{176}, f_{167}, h_{25}, h_{33}\}; \{s_{3}, s_{26}, s_{0}, s_{5}\})
(\{h_{17}, h_{34}, f_{169}, h_{46}, h_{55}, h_{11}, h_{78}, h_{76}, h_{0}, f_{176}, h_{45}, f_{167}, h_{25}, h_{33}\}; \{s_{3}, s_{0}, s_{5}\})
(\{f_{169}, h_{99}, h_{78}, f_{176}, h_{98}, h_{131}, f_{167}, h_{145}\}; \{s_{16}, s_{23}, s_{5}\})
(\{f_{169}, h_{59}, h_{67}, h_{142}, h_{69}, f_{168}, h_{61}, f_{171}\}; \{s_{18}, s_{8}, s_{5}\})
(\{f_{169}, h_{69}, h_{61}\}; \{s_{18}, s_{23}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{f_{169}, h_{59}, h_{67}, h_{69}, f_{168}, h_{61}, f_{171}\}; \{s_{18}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{102}, f_{169}, h_{101}, h_{155}, h_{80}, h_{71}, h_{47}, f_{174}\}; \{s_{11}, s_{26}, s_{5}\})
(\{h_{118}, h_{91}, h_{88}, h_{54}, f_{169}, h_{59}, h_{51}, h_{122}, h_{27}, h_{29}, h_{0}, h_{133}, h_{52}, f_{168}, h_{33}, f_{171}\}; \{s_{4}, s_{5}\})
(\{h_{27}, h_{0}, f_{168}\}; \{s_{4}, s_{2}, s_{0}, s_{8}, s_{1}, s_{5}\})
(\{h_{118}, h_{54}, f_{169}, h_{59}, h_{51}, h_{52}, f_{168}, f_{171}\}; \{s_{4}, s_{9}, s_{5}\})
(\{h_{91}, h_{88}, h_{54}, f_{169}, h_{59}, h_{51}, h_{27}, h_{29}, h_{0}, h_{52}, f_{168}, h_{33}, f_{171}\}; \{s_{4}, s_{0}, s_{5}\})
(\{f_{169}, h_{59}, h_{27}, h_{29}, h_{0}, f_{168}, h_{33}, f_{171}\}; \{s_{4}, s_{0}, s_{8}, s_{5}\})
(\{h_{34}, h_{102}, f_{169}, h_{99}, h_{155}, h_{78}, h_{76}, h_{69}, h_{133}, f_{176}, h_{98}, h_{131}, f_{167}, h_{145}, h_{33}, h_{61}\}; \{s_{23}, s_{5}\})
(\{h_{34}, h_{102}, f_{169}, h_{99}, h_{155}, h_{78}, h_{76}, h_{69}, f_{176}, h_{98}, f_{167}, h_{145}, h_{33}, h_{61}\}; \{s_{23}, s_{26}, s_{5}\})
(\{h_{34}, h_{102}, f_{169}, h_{99}, h_{78}, h_{76}, h_{69}, f_{176}, h_{98}, f_{167}, h_{33}, h_{61}\}; \{s_{23}, s_{26}, s_{0}, s_{5}\})
(\{h_{102}, f_{169}, h_{99}, h_{69}, h_{33}, h_{61}\}; \{s_{23}, s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{102}, f_{169}, h_{99}, h_{155}, h_{69}, h_{145}, h_{33}, h_{61}\}; \{s_{23}, s_{26}, s_{8}, s_{5}\})
(\{h_{17}, h_{46}, h_{150}, h_{11}, h_{155}, h_{80}, h_{76}, h_{27}, h_{0}, h_{44}, h_{47}, h_{45}, f_{167}, h_{25}, f_{168}, f_{174}\}; \{s_{2}, s_{5}\})
(\{h_{17}, h_{46}, h_{11}, h_{155}, h_{80}, h_{76}, h_{27}, h_{44}, h_{47}, f_{167}, h_{25}, f_{168}, f_{174}\}; \{s_{2}, s_{26}, s_{5}\})
(\{h_{17}, h_{46}, h_{11}, h_{80}, h_{76}, h_{27}, h_{44}, h_{47}, f_{167}, h_{25}, f_{168}, f_{174}\}; \{s_{2}, s_{26}, s_{0}, s_{5}\})
(\{h_{11}, h_{80}, h_{44}, f_{167}, h_{25}, f_{168}, f_{174}\}; \{s_{2}, s_{26}, s_{0}, s_{24}, s_{5}\})
(\{h_{17}, h_{46}, h_{11}, h_{80}, h_{76}, h_{27}, h_{0}, h_{44}, h_{47}, h_{45}, f_{167}, h_{25}, f_{168}, f_{174}\}; \{s_{2}, s_{0}, s_{5}\})
(\{h_{17}, h_{27}, h_{0}, h_{44}, f_{167}, f_{168}, f_{174}\}; \{s_{2}, s_{0}, s_{1}, s_{5}\})
(\{h_{150}, h_{11}, h_{80}, h_{44}, f_{167}, h_{25}, f_{168}, f_{174}\}; \{s_{2}, s_{24}, s_{5}\})
(\{h_{155}, h_{27}, h_{0}, f_{168}\}; \{s_{2}, s_{8}, s_{5}\})
(\{h_{17}, f_{169}, h_{95}, h_{55}, h_{0}, f_{176}, h_{98}, f_{167}, h_{33}\}; \{s_{6}, s_{0}, s_{5}\})
(\{h_{17}, h_{91}, h_{88}, h_{34}, h_{102}, h_{54}, f_{169}, h_{46}, h_{59}, h_{67}, h_{95}, h_{101}, h_{55}, h_{11}, h_{99}, h_{73}, h_{74}, h_{155}, h_{80}, h_{122}, h_{78}, h_{76}, h_{71}, h_{65}, h_{27}, h_{29}, h_{69}, f_{176}, h_{44}, h_{98}, h_{47}, f_{167}, h_{145}, h_{52}, h_{25}, f_{168}, h_{33}, h_{61}, f_{174}, f_{171}\}; \{s_{26}, s_{5}\})
(\{h_{17}, h_{91}, h_{88}, h_{34}, h_{102}, h_{54}, f_{169}, h_{46}, h_{59}, h_{67}, h_{95}, h_{101}, h_{55}, h_{11}, h_{99}, h_{73}, h_{74}, h_{80}, h_{78}, h_{76}, h_{71}, h_{65}, h_{27}, h_{29}, h_{69}, f_{176}, h_{44}, h_{98}, h_{47}, f_{167}, h_{52}, h_{25}, f_{168}, h_{33}, h_{61}, f_{174}, f_{171}\}; \{s_{26}, s_{0}, s_{5}\})
(\{h_{102}, f_{169}, h_{59}, h_{67}, h_{99}, h_{27}, h_{29}, h_{69}, f_{168}, h_{33}, h_{61}, f_{171}\}; \{s_{26}, s_{0}, s_{8}, s_{5}\})
(\{h_{102}, f_{169}, h_{59}, h_{67}, h_{99}, h_{155}, h_{27}, h_{29}, h_{69}, h_{145}, f_{168}, h_{33}, h_{61}, f_{171}\}; \{s_{26}, s_{8}, s_{5}\})
(\{h_{17}, h_{91}, h_{88}, h_{34}, h_{102}, h_{54}, f_{169}, h_{46}, h_{59}, h_{67}, h_{95}, h_{101}, h_{55}, h_{51}, h_{11}, h_{99}, h_{73}, h_{74}, h_{80}, h_{78}, h_{76}, h_{71}, h_{65}, h_{27}, h_{29}, h_{69}, h_{0}, f_{176}, h_{44}, h_{98}, h_{47}, h_{45}, f_{167}, h_{52}, h_{25}, f_{168}, h_{33}, h_{61}, f_{174}, f_{171}\}; \{s_{0}, s_{5}\})
(\{h_{102}, f_{169}, h_{59}, h_{67}, h_{99}, h_{27}, h_{29}, h_{69}, h_{0}, f_{168}, h_{33}, h_{61}, f_{171}\}; \{s_{0}, s_{8}, s_{5}\})
(\{h_{17}, h_{73}, h_{71}, h_{27}, h_{0}, h_{44}, f_{167}, f_{168}, f_{174}\}; \{s_{0}, s_{1}, s_{5}\})
(\{h_{102}, f_{169}, h_{59}, h_{67}, h_{99}, h_{155}, h_{142}, h_{27}, h_{29}, h_{69}, h_{0}, h_{145}, f_{168}, h_{33}, h_{61}, f_{171}\}; \{s_{8}, s_{5}\})