úÎ ›O1      !"#$%&'()*+,-./01       23 45   6789:;<=> ?!"@#ABC  !"#  !"#  !"#DE$FG%H&IJK'()*LM+NOPQR,-./0S $%&'()*+,-./0 &%$+)*,-./'(0 $%&'(()**+,-./0T       !"#$%& '()*+, -./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRS Adaptive-0.22$Control.Monad.Adaptive.PriorityQueueControl.Monad.Adaptive.Ref#Control.Monad.Adaptive.CircularList Control.Monad.Adaptive.MonadUtil"Control.Monad.Adaptive.OrderedListControl.Monad.Adaptive PriorityQueueemptyinsertinsertMminRefnewRefreadRefwriteRefEqRefeqRefmapRef CircularList circularListupdatevalnextpreviousdeleteifMwhenMunlessM OrderedListRecordruninMbaserecordrvaldeletedorder spliceOut Modifiable ChangeableAdaptiveNewModnewModByInMreadModchange propagateinChnewModPQDummyCLCLgetsetOLbigMsizeadjsizesetSizellbasegstar increaseBigMrenumbercheckinvariantprallInOLinOLMoKChAd TimeStampReCompcontinAdpqRefreadPqctRefreadCurrentTimestepTimeinsertPQ