#!/bin/bash

grep task FULLPROP.aux | sed -e 's/\\newlabel{task:\([^}]*\).*/task:\1/p' | uniq
