0 1 5 20.00 1613444345928 Obligatory 3SAT Reduction Sketch ix

0 0 1 0.00 1613846705203 Flower A ix

0 1 1 100.00 1613444472316 Dialpad ix