{"job": "444_sigma_v58", "time_limit_s": 1800.0, "result": "SAT", "solve_s": 98.0, "check": {"consistent": true, "corners": 0, "sections_H1_zero": true, "chi": 1, "counts": [55, 93, 39, 0], "connected": false, "betti2": [2, 1, 0, 0]}, "cells": [[[0, 0, 2], []], [[0, 0, 2], [0]], [[0, 0, 2], [0, 1]], [[0, 0, 2], [0, 2]], [[0, 0, 2], [1]], [[0, 0, 2], [1, 2]], [[0, 0, 2], [2]], [[0, 0, 3], []], [[0, 0, 3], [0]], [[0, 0, 3], [1]], [[0, 1, 2], []], [[0, 1, 2], [0]], [[0, 1, 2], [0, 2]], [[0, 1, 2], [2]], [[0, 1, 3], []], [[0, 1, 3], [0]], [[0, 1, 3], [0, 1]], [[0, 1, 3], [1]], [[0, 2, 0], []], [[0, 2, 0], [0]], [[0, 2, 0], [0, 1]], [[0, 2, 0], [0, 2]], [[0, 2, 0], [1]], [[0, 2, 0], [1, 2]], [[0, 2, 0], [2]], [[0, 2, 1], []], [[0, 2, 1], [0]], [[0, 2, 1], [0, 2]], [[0, 2, 1], [1]], [[0, 2, 1], [1, 2]], [[0, 2, 1], [2]], [[0, 2, 2], []], [[0, 2, 2], [0]], [[0, 2, 2], [0, 1]], [[0, 2, 2], [1]], [[0, 2, 3], []], [[0, 2, 3], [0]], [[0, 2, 3], [0, 1]], [[0, 2, 3], [1]], [[0, 3, 0], []], [[0, 3, 0], [0]], [[0, 3, 0], [2]], [[0, 3, 1], []], [[0, 3, 1], [2]], [[0, 3, 2], []], [[0, 3, 2], [0]], [[0, 3, 2], [0, 2]], [[0, 3, 2], [2]], [[0, 3, 3], []], [[0, 3, 3], [0]], [[1, 0, 2], []], [[1, 0, 2], [0]], [[1, 0, 2], [0, 1]], [[1, 0, 2], [0, 2]], [[1, 0, 2], [1]], [[1, 0, 2], [2]], [[1, 0, 3], []], [[1, 0, 3], [0]], [[1, 1, 2], []], [[1, 1, 2], [0]], [[1, 1, 2], [0, 1]], [[1, 1, 2], [1]], [[1, 1, 2], [1, 2]], [[1, 1, 2], [2]], [[1, 1, 3], []], [[1, 1, 3], [1]], [[1, 2, 0], []], [[1, 2, 0], [1]], [[1, 2, 0], [1, 2]], [[1, 2, 0], [2]], [[1, 2, 1], []], [[1, 2, 1], [0]], [[1, 2, 1], [0, 1]], [[1, 2, 1], [0, 2]], [[1, 2, 1], [1]], [[1, 2, 1], [2]], [[1, 2, 2], []], [[1, 2, 2], [0]], [[1, 2, 2], [1]], [[1, 2, 2], [1, 2]], [[1, 2, 2], [2]], [[1, 2, 3], []], [[1, 2, 3], [1]], [[1, 3, 0], []], [[1, 3, 0], [0]], [[1, 3, 0], [0, 2]], [[1, 3, 0], [2]], [[1, 3, 1], []], [[1, 3, 1], [0]], [[1, 3, 2], []], [[1, 3, 2], [2]], [[1, 3, 3], []], [[2, 0, 0], []], [[2, 0, 0], [0]], [[2, 0, 0], [0, 1]], [[2, 0, 0], [0, 2]], [[2, 0, 0], [1]], [[2, 0, 0], [1, 2]], [[2, 0, 0], [2]], [[2, 0, 1], []], [[2, 0, 1], [0]], [[2, 0, 1], [0, 1]], [[2, 0, 1], [1]], [[2, 0, 2], []], [[2, 0, 2], [1]], [[2, 0, 2], [1, 2]], [[2, 0, 2], [2]], [[2, 0, 3], []], [[2, 0, 3], [0]], [[2, 0, 3], [0, 1]], [[2, 0, 3], [1]], [[2, 1, 0], []], [[2, 1, 0], [0]], [[2, 1, 0], [0, 1]], [[2, 1, 0], [1]], [[2, 1, 0], [1, 2]], [[2, 1, 0], [2]], [[2, 1, 1], []], [[2, 1, 1], [0]], [[2, 1, 1], [0, 2]], [[2, 1, 1], [1]], [[2, 1, 1], [1, 2]], [[2, 1, 1], [2]], [[2, 1, 2], []], [[2, 1, 2], [0]], [[2, 1, 2], [0, 2]], [[2, 1, 2], [1]], [[2, 1, 2], [2]], [[2, 1, 3], []], [[2, 1, 3], [0]], [[2, 2, 0], []], [[2, 2, 0], [0]], [[2, 2, 0], [0, 2]], [[2, 2, 0], [2]], [[2, 2, 1], []], [[2, 2, 1], [0]], [[2, 2, 1], [0, 1]], [[2, 2, 1], [1]], [[2, 2, 1], [2]], [[2, 2, 2], []], [[2, 2, 3], []], [[2, 2, 3], [0]], [[2, 2, 3], [1]], [[2, 3, 0], []], [[2, 3, 0], [0]], [[2, 3, 0], [0, 2]], [[2, 3, 0], [2]], [[2, 3, 1], []], [[2, 3, 1], [0]], [[2, 3, 2], []], [[2, 3, 2], [0]], [[2, 3, 2], [2]], [[2, 3, 3], []], [[3, 0, 0], []], [[3, 0, 0], [1]], [[3, 0, 0], [2]], [[3, 0, 1], []], [[3, 0, 1], [1]], [[3, 0, 1], [1, 2]], [[3, 0, 1], [2]], [[3, 0, 2], []], [[3, 0, 2], [1]], [[3, 0, 2], [1, 2]], [[3, 0, 2], [2]], [[3, 0, 3], []], [[3, 0, 3], [1]], [[3, 1, 0], []], [[3, 1, 0], [1]], [[3, 1, 1], []], [[3, 1, 1], [2]], [[3, 1, 2], []], [[3, 1, 2], [2]], [[3, 1, 3], []], [[3, 2, 0], []], [[3, 2, 0], [1]], [[3, 2, 0], [1, 2]], [[3, 2, 0], [2]], [[3, 2, 1], []], [[3, 2, 1], [1]], [[3, 2, 2], []], [[3, 2, 2], [1]], [[3, 2, 2], [2]], [[3, 2, 3], []], [[3, 3, 0], []], [[3, 3, 0], [2]], [[3, 3, 1], []], [[3, 3, 2], []]]}
exit status 0
