A file that can be read into Maple loading a table of unquantified semi algebraic expressions called 'CADExamples', and nothing else. No auxillary functions are provided in this file.