1. constr

    Closed
    #165527438 28 17 0 0

  2. constr

    Closed
    #165527389 5 7 0 0

  3. constr

    Closed
    #165527361 18 14 7 0

  4. constr

    Closed
    #165527296 10 3 0 0

  5. constr

    Closed
    #165527249 25 10 2 0

  6. constr

    Closed
    #165527212 9 12 0 0

  7. constr

    Closed
    #165527194 2 1 0 0

  8. constr

    Closed
    #165527172 18 7 1 0

  9. general tracing

    Closed
    #165527121 53 47 5 0

  10. constr

    Closed
    #165527021 36 10 2 0

  11. constr

    Closed
    #165526974 5 0 0 0

  12. constr

    Closed
    #165526962 12 13 15 0

  13. constr

    Closed
    #165526937 39 43 0 0

  14. constr

    Closed
    #165526866 1 1 0 0

  15. constr

    Closed
    #165526846 0 1 0 0

  16. constr

    Closed
    #165526839 222 182 44 0

  17. constr

    Closed
    #165526493 2 10 5 0

  18. constr

    Closed
    #165526475 9 8 0 0

  19. constr

    Closed
    #165526440 10 10 0 0

  20. constr

    Closed
    #165526406 32 54 23 0