checking in alternative version of DLVresultParserDriver with SpiritV2 	(it remains to be found out why this does not perform)
checking in alternative version of DLVresultParserDriver with SpiritV2
	(it remains to be found out why this does not perform)


hexhex/core,hexhex/core,hexhex/core,hexhex/core