Complex plane realization numbers of minimally rigid graphs with 13 vertices

This is a complete data set of the complex plane realization numbers of all minimally rigid graphs with minimum degree 3 and 13 vertices.Each file contains a list of pairs with the first entry to be the graph in integer representation and the second entry the realization number. Files can be loaded into python with the function in get.py. Integer representations of graphs can be converted for instance in PyRigi (doi:10.5281/zenodo.15537828). For the complete set for graphs with at most vertices see doi:10.5281/zenodo.1245517.