(define (problem pb_todoList)
	(:domain todoList)
	(:objects
		obj_label_5 - label
		obj_label_1 - label
		obj_label_2 - label
		obj_label_3 - label
		obj_label_4 - label
		item5 - DICT_TodoItem
		item1 - DICT_TodoItem
		item2 - DICT_TodoItem
		item3 - DICT_TodoItem
		item4 - DICT_TodoItem
		tdlTestCase - DICT_TdlState
	)
	(:htn
		:parameters ()
		:subtasks
		(and
			(manageTDL tdlTestCase)
		)
	)
	(:init
		; (dict_TodoItem item5)
		; (dict_TodoItem_isDone item5 done)
		; (dict_TodoItem_label item5 obj_label_5)
		; (dict_TodoItem item1)
		; (dict_TodoItem_isDone item1 done)
		; (dict_TodoItem_label item1 obj_label_1)
		; (dict_TodoItem item2)
		; (dict_TodoItem_isDone item2 undone)
		; (dict_TodoItem_label item2 obj_label_2)
		; (dict_TodoItem item3)
		; (dict_TodoItem_isDone item3 done)
		; (dict_TodoItem_label item3 obj_label_3)
		; (dict_TodoItem item4)
		; (dict_TodoItem_isDone item4 undone)
		; (dict_TodoItem_label item4 obj_label_4)
		; (list_TodoItem tdl item5)
		; (list_TodoItem tdl item1)
		; (list_TodoItem tdl item2)
		; (list_TodoItem tdl item3)
		; (list_TodoItem tdl item4)
		; (listSeq_TodoItem tdl listRoot_TodoItem item5)
		; (listSeq_TodoItem tdl item5 item1)
		; (listSeq_TodoItem tdl item1 item2)
		; (listSeq_TodoItem tdl item2 item3)
		; (listSeq_TodoItem tdl item3 item4)
		; (listSeq_TodoItem tdl item4 listEnd_TodoItem)
		(listSeq_TodoItem tdl listRoot_TodoItem listEnd_TodoItem)
		(dict_TdlState tdlTestCase)
		(dict_TdlState_filter tdlTestCase displayUndone)
		(dict_TdlState_list tdlTestCase tdl)
	)
	(:goal
		(and
			(dict_TodoItem item2)
			(dict_TodoItem_isDone item2 done)
			(dict_TodoItem_label item2 obj_label_2)
			(dict_TodoItem item3)
			(dict_TodoItem_isDone item3 done)
			(dict_TodoItem_label item3 obj_label_3)
			(dict_TodoItem item4)
			(dict_TodoItem_isDone item4 done)
			(dict_TodoItem_label item4 obj_label_4)
			(dict_TodoItem item5)
			(dict_TodoItem_isDone item5 done)
			(dict_TodoItem_label item5 obj_label_5)
			(dict_TodoItem item1)
			(dict_TodoItem_isDone item1 done)
			(dict_TodoItem_label item1 obj_label_1)
			(list_TodoItem tdl item2)
			(list_TodoItem tdl item3)
			(list_TodoItem tdl item4)
			(list_TodoItem tdl item5)
			(list_TodoItem tdl item1)
			(listSeq_TodoItem tdl listRoot_TodoItem item2)
			(listSeq_TodoItem tdl item2 item3)
			(listSeq_TodoItem tdl item3 item4)
			(listSeq_TodoItem tdl item4 item5)
			(listSeq_TodoItem tdl item5 item1)
			(listSeq_TodoItem tdl item1 listEnd_TodoItem)
			(dict_TdlState tdlTestCase)
			(dict_TdlState_filter tdlTestCase displayAll)
			(dict_TdlState_list tdlTestCase tdl)
		)
	)
)