#define CGAL_CHECK_EXACTNESS
#define CGAL_CHECK_EXPENSIVE
#include <CGAL/Kinetic/Regular_triangulation_exact_simulation_traits.h>
#include <CGAL/Kinetic/Regular_triangulation_3.h>
int main()
{
typedef CGAL::Kinetic::Regular_triangulation_exact_simulation_traits Traits;
Traits tr(0,100000.0);
KDel kdel(tr);
Traits::Simulator::Handle sp= tr.simulator_handle();
std::ifstream in("data/weighted_points_3");
CGAL_assertion(in.good());
in >> *tr.active_points_3_table_handle();
CGAL_assertion(!in.fail());
std::cout << *tr.active_points_3_table_handle();
std::cout << *tr.active_points_3_table_handle() << std::endl;
kdel.set_has_certificates(true);
sp->set_current_event_number(10000);
return EXIT_SUCCESS;
}