date: 2017-08-16T07:31:08Z pdf:unmappedUnicodeCharsPerPage: 5 pdf:PDFVersion: 1.6 pdf:docinfo:title: Subtropical Satisfiability access_permission:modify_annotations: true access_permission:can_print_degraded: true pdfa:PDFVersion: A-2b dc:creator: Mizuhito Ogawa xmpMM:History:Action: converted language: EN dcterms:created: 2017-08-16T07:28:24Z Last-Modified: 2017-08-16T07:31:08Z dcterms:modified: 2017-08-16T07:31:08Z dc:format: application/pdf; version=1.6 title: Subtropical Satisfiability xmpMM:DocumentID: uuid:0614a4c6-e13c-407c-83f8-72e8de66a1cf Last-Save-Date: 2017-08-16T07:31:08Z access_permission:fill_in_form: true xmpMM:History:When: 2017-08-16T13:00:13Z pdf:docinfo:modified: 2017-08-16T07:31:08Z meta:save-date: 2017-08-16T07:31:08Z pdf:encrypted: false dc:title: Subtropical Satisfiability modified: 2017-08-16T07:31:08Z xmpMM:History:SoftwareAgent: pdfToolbox xmpMM:History:InstanceID: uuid:8648fcd4-c491-4015-a78c-5ebe2036e075 Content-Type: application/pdf pdf:docinfo:creator: Pascal Fontaine X-Parsed-By: org.apache.tika.parser.DefaultParser creator: Mizuhito Ogawa pdfaid:conformance: B dc:language: EN meta:author: Mizuhito Ogawa meta:creation-date: 2017-08-16T07:28:24Z created: 2017-08-16T07:28:24Z access_permission:extract_for_accessibility: true access_permission:assemble_document: true xmpTPg:NPages: 18 Creation-Date: 2017-08-16T07:28:24Z pdf:charsPerPage: 2176 access_permission:extract_content: true pdfaid:part: 2 access_permission:can_print: true Author: Mizuhito Ogawa access_permission:can_modify: true pdf:docinfo:created: 2017-08-16T07:28:24Z