7da5a76ac7fddcec95ffa98c4fa240de FreeLog2k-1Theorem.AcceptedVersion.pdf 09525400e3502979f3a7acba947d16b4d5fdc178 FreeLog2k-1Theorem.AcceptedVersion.pdf ab6dea6668fc29f1ea0ad2fb435ca5bd766f056d152441530a39c9d1c704aac8 FreeLog2k-1Theorem.AcceptedVersion.pdf Tagged: no UserProperties: no Suspects: no Form: none JavaScript: no Pages: 8 Encrypted: no Page size: 595.276 x 841.89 pts (A4) Page rot: 0 File size: 370001 bytes Optimized: no PDF version: 1.3 name type encoding emb sub uni object ID ------------------------------------ ----------------- ---------------- --- --- --- --------- FBZTYO+LMRoman10-Regular Type 1 Custom yes yes no 13 0 QFVGTL+LMRoman10-Bold Type 1 Custom yes yes no 14 0 DWECWU+NimbusRomNo9L-Medi Type 1 Custom yes yes yes 26 0 QSFSTY+NimbusRomNo9L-Regu Type 1 Custom yes yes yes 27 0 CDHTZA+NimbusRomNo9L-ReguItal Type 1 Custom yes yes yes 28 0 DZESJI+CMR10 Type 1 Builtin yes yes yes 29 0 GPVMMC+CMMI10 Type 1 Builtin yes yes yes 30 0 ABNLYQ+CMSY10 Type 1 Builtin yes yes yes 31 0 FFPLOD+CMR12 Type 1 Builtin yes yes yes 32 0 QKDKMC+CMR8 Type 1 Builtin yes yes yes 33 0 OZRZQG+CMMI12 Type 1 Builtin yes yes yes 34 0 SCFUIU+CMMI8 Type 1 Builtin yes yes yes 35 0 GFFUWB+CMMI6 Type 1 Builtin yes yes yes 36 0 GJWOHU+CMSY8 Type 1 Builtin yes yes yes 37 0 HJJYOH+CMEX10 Type 1 Builtin yes yes yes 38 0 CVCHPP+CMEX8 Type 1 Builtin yes yes yes 39 0 QIALPM+MSAM10 Type 1 Builtin yes yes yes 40 0 BUNXDJ+dsrom12 Type 1 Builtin yes yes yes 41 0 LBPQSX+BBOLD10 Type 1 Builtin yes yes yes 54 0 ZUELSB+CMR6 Type 1 Builtin yes yes yes 59 0 WCKTOY+NimbusMonL-Regu Type 1 Custom yes yes yes 65 0 Jhove (Rel. 1.28.0, 2023-05-18) Date: 2024-02-01 02:32:39 CET RepresentationInformation: FreeLog2k-1Theorem.AcceptedVersion.pdf ReportingModule: PDF-hul, Rel. 1.12.4 (2023-03-16) LastModified: 2024-01-31 15:52:10 CET Size: 370001 Format: PDF Version: 1.3 Status: Well-Formed and valid SignatureMatches: PDF-hul MIMEtype: application/pdf PDFMetadata: Objects: 150 FreeObjects: 1 IncrementalUpdates: 0 DocumentCatalog: PageLayout: SinglePage PageMode: UseNone ID: 0xa23a3fd8d8505f014cb15a3f091a1361, 0xa23a3fd8d8505f014cb15a3f091a1361 Filters: FilterPipeline: FlateDecode FilterPipeline: DCTDecode Images: Image: NisoImageMetadata: FormatName: image/jpg CompressionScheme: JPEG ImageWidth: 80 ImageHeight: 15 ColorSpace: RGB BitsPerSample: 8 BitsPerSampleUnit: integer Image: NisoImageMetadata: FormatName: image/jpg CompressionScheme: JPEG ImageWidth: 514 ImageHeight: 258 ColorSpace: RGB BitsPerSample: 8 BitsPerSampleUnit: integer Image: NisoImageMetadata: FormatName: image/jpg CompressionScheme: JPEG ImageWidth: 228 ImageHeight: 127 ColorSpace: RGB BitsPerSample: 8 BitsPerSampleUnit: integer Image: NisoImageMetadata: FormatName: image/jpg CompressionScheme: JPEG ImageWidth: 100 ImageHeight: 127 ColorSpace: RGB BitsPerSample: 8 BitsPerSampleUnit: integer Fonts: Type1: Font: BaseFont: FFPLOD+CMR12 FontSubset: true FirstChar: 0 LastChar: 126 FontDescriptor: FontName: FFPLOD+CMR12 Flags: Symbolic FontBBox: -34, -251, 988, 750 FontFile: true ToUnicode: true Font: BaseFont: QKDKMC+CMR8 FontSubset: true FirstChar: 0 LastChar: 126 FontDescriptor: FontName: QKDKMC+CMR8 Flags: Symbolic FontBBox: -36, -250, 1070, 750 FontFile: true ToUnicode: true Font: BaseFont: WCKTOY+NimbusMonL-Regu FontSubset: true FirstChar: 46 LastChar: 117 FontDescriptor: FontName: WCKTOY+NimbusMonL-Regu Flags: Symbolic FontBBox: -12, -237, 650, 811 FontFile: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: OZRZQG+CMMI12 FontSubset: true FirstChar: 11 LastChar: 122 FontDescriptor: FontName: OZRZQG+CMMI12 Flags: Symbolic FontBBox: -31, -250, 1026, 750 FontFile: true ToUnicode: true Font: BaseFont: SCFUIU+CMMI8 FontSubset: true FirstChar: 13 LastChar: 120 FontDescriptor: FontName: SCFUIU+CMMI8 Flags: Symbolic FontBBox: -24, -250, 1110, 750 FontFile: true ToUnicode: true Font: BaseFont: GFFUWB+CMMI6 FontSubset: true FirstChar: 103 LastChar: 118 FontDescriptor: FontName: GFFUWB+CMMI6 Flags: Symbolic FontBBox: 11, -250, 1241, 750 FontFile: true ToUnicode: true Font: BaseFont: GJWOHU+CMSY8 FontSubset: true FirstChar: 0 LastChar: 95 FontDescriptor: FontName: GJWOHU+CMSY8 Flags: Symbolic FontBBox: -30, -955, 1185, 779 FontFile: true ToUnicode: true Font: BaseFont: HJJYOH+CMEX10 FontSubset: true FirstChar: 18 LastChar: 102 FontDescriptor: FontName: HJJYOH+CMEX10 Flags: Symbolic FontBBox: -24, -2960, 1454, 772 FontFile: true ToUnicode: true Font: BaseFont: CVCHPP+CMEX8 FontSubset: true FirstChar: 101 LastChar: 101 FontDescriptor: FontName: CVCHPP+CMEX8 Flags: Symbolic FontBBox: -27, -2955, 1546, 771 FontFile: true ToUnicode: true Font: BaseFont: QIALPM+MSAM10 FontSubset: true FirstChar: 3 LastChar: 62 FontDescriptor: FontName: QIALPM+MSAM10 Flags: Symbolic FontBBox: 8, -463, 1331, 1003 FontFile: true ToUnicode: true Font: BaseFont: BUNXDJ+dsrom12 FontSubset: true FirstChar: 72 LastChar: 72 FontDescriptor: FontName: BUNXDJ+dsrom12 Flags: Symbolic FontBBox: -46, -10, 1025, 901 FontFile: true ToUnicode: true Font: BaseFont: FBZTYO+LMRoman10-Regular FontSubset: true FirstChar: 19 LastChar: 121 FontDescriptor: FontName: FBZTYO+LMRoman10-Regular Flags: Symbolic FontBBox: -430, -290, 1417, 1127 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: QFVGTL+LMRoman10-Bold FontSubset: true FirstChar: 97 LastChar: 118 FontDescriptor: FontName: QFVGTL+LMRoman10-Bold Flags: Symbolic FontBBox: -486, -295, 1607, 1133 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: LBPQSX+BBOLD10 FontSubset: true FirstChar: 70 LastChar: 90 FontDescriptor: FontName: LBPQSX+BBOLD10 Flags: Symbolic FontBBox: 0, -341, 805, 772 FontFile: true ToUnicode: true Font: BaseFont: DWECWU+NimbusRomNo9L-Medi FontSubset: true FirstChar: 40 LastChar: 121 FontDescriptor: FontName: DWECWU+NimbusRomNo9L-Medi Flags: Symbolic FontBBox: -168, -341, 1000, 960 FontFile: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: QSFSTY+NimbusRomNo9L-Regu FontSubset: true FirstChar: 2 LastChar: 180 FontDescriptor: FontName: QSFSTY+NimbusRomNo9L-Regu Flags: Symbolic FontBBox: -168, -281, 1000, 924 FontFile: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: ZUELSB+CMR6 FontSubset: true FirstChar: 49 LastChar: 61 FontDescriptor: FontName: ZUELSB+CMR6 Flags: Symbolic FontBBox: -20, -250, 1193, 750 FontFile: true ToUnicode: true Font: BaseFont: CDHTZA+NimbusRomNo9L-ReguItal FontSubset: true FirstChar: 2 LastChar: 121 FontDescriptor: FontName: CDHTZA+NimbusRomNo9L-ReguItal Flags: Symbolic FontBBox: -169, -270, 1010, 924 FontFile: true EncodingDictionary: Differences: true ToUnicode: true Font: BaseFont: DZESJI+CMR10 FontSubset: true FirstChar: 40 LastChar: 50 FontDescriptor: FontName: DZESJI+CMR10 Flags: Symbolic FontBBox: -40, -250, 1009, 750 FontFile: true ToUnicode: true Font: BaseFont: GPVMMC+CMMI10 FontSubset: true FirstChar: 107 LastChar: 107 FontDescriptor: FontName: GPVMMC+CMMI10 Flags: Symbolic FontBBox: -32, -250, 1048, 750 FontFile: true ToUnicode: true Font: BaseFont: ABNLYQ+CMSY10 FontSubset: true FirstChar: 0 LastChar: 110 FontDescriptor: FontName: ABNLYQ+CMSY10 Flags: Symbolic FontBBox: -29, -960, 1116, 775 FontFile: true ToUnicode: true Pages: Page: Sequence: 1 Annotations: Annotation: Subtype: Link Rect: 243, 472, 398, 483 Page: Sequence: 2 Annotations: Annotation: Subtype: Link Rect: 260, 560, 298, 569 ActionDest: External Annotation: Subtype: Link Rect: 434, 560, 463, 569 ActionDest: External Annotation: Subtype: Link Rect: 390, 548, 419, 557 ActionDest: External Annotation: Subtype: Link Rect: 300, 400, 345, 411 ActionDest: External Annotation: Subtype: Link Rect: 128, 372, 161, 383 ActionDest: External Annotation: Subtype: Link Rect: 329, 358, 363, 369 ActionDest: External Page: Sequence: 3 Annotations: Annotation: Subtype: Link Rect: 166, 541, 174, 557 ActionDest: External Annotation: Subtype: Link Rect: 311, 515, 343, 526 ActionDest: External Annotation: Subtype: Link Rect: 219, 432, 251, 442 ActionDest: External Page: Sequence: 4 Annotations: Annotation: Subtype: Link Rect: 132, 683, 140, 696 ActionDest: External Annotation: Subtype: Link Rect: 451, 566, 459, 582 ActionDest: External Annotation: Subtype: Link Rect: 262, 525, 270, 537 ActionDest: External Annotation: Subtype: Link Rect: 339, 372, 371, 382 ActionDest: External Annotation: Subtype: Link Rect: 209, 223, 217, 235 ActionDest: External Annotation: Subtype: Link Rect: 283, 211, 328, 221 ActionDest: External Annotation: Subtype: Link Rect: 305, 138, 313, 152 ActionDest: External Page: Sequence: 5 Annotations: Annotation: Subtype: Link Rect: 206, 685, 237, 696 ActionDest: External Annotation: Subtype: Link Rect: 315, 494, 323, 507 ActionDest: External Annotation: Subtype: Link Rect: 246, 452, 254, 465 ActionDest: External Page: Sequence: 6 Annotations: Annotation: Subtype: Link Rect: 176, 685, 210, 696 ActionDest: External Annotation: Subtype: Link Rect: 178, 287, 187, 300 ActionDest: External Page: Sequence: 7 Page: Sequence: 8 Checksum: d25082f0 Type: CRC32 Checksum: 7da5a76ac7fddcec95ffa98c4fa240de Type: MD5 Checksum: 09525400e3502979f3a7acba947d16b4d5fdc178 Type: SHA-1 Checksum: ab6dea6668fc29f1ea0ad2fb435ca5bd766f056d152441530a39c9d1c704aac8 Type: SHA-256