1790786561.567928123 shape:start
1790786613.903648987 shape:done
1790786619.093843341 checks:start
1790786716.079809795 checks:done
1790786739.656804839 sets:start
1790786809.130379221 sets:done
