P
A
P
P
_
I
mpossibility
SAT_Replay
PAPP_Multiset_Extras
Anonymous_PAPP
PAPP_Impossibility_Base_Case
Anonymous_PAPP_Lowering
PAPP_Impossibility