• puppy
  • ~29k black pixels
  • ~490k trans fn constraints
  • ~245k integer vars
  • ~583k real vars

view extracted segments