e8341f623d0e972610672910f263c2f5 1130.pdf 3cafb9a62dd5d08d40af8a0aa55f15363ac07ea5 1130.pdf 4e619d5e9c14faaa8311cfabd2598e92ec798af3931531372f6fb96b1e5aefc2 1130.pdf Title: Subject: Keywords: Author: Creator: LaTeX with hyperref Producer: pdfTeX-1.40.20 CreationDate: Thu Nov 21 17:15:25 2019 CET ModDate: Thu Nov 28 17:32:46 2019 CET Tagged: no UserProperties: no Suspects: no Form: none JavaScript: no Pages: 27 Encrypted: no Page size: 612 x 792 pts (letter) Page rot: 0 File size: 625031 bytes Optimized: yes PDF version: 1.6 name type encoding emb sub uni object ID ------------------------------------ ----------------- ---------------- --- --- --- --------- CBBLPE+ArialMT CID TrueType Identity-H yes yes yes 1167 0 TimesNewRomanPS-ItalicMT TrueType WinAnsi no no no 1169 0 CBBOBK+Arial-BoldMT CID TrueType Identity-H yes yes yes 1172 0 JNXDRR+CMSY7 Type 1 Builtin yes yes no 179 0 OHJWNX+SFBX2074 Type 1 Custom yes yes no 182 0 VIVBPZ+CMMI12 Type 1 Builtin yes yes no 187 0 OGMQSE+CMSY10 Type 1 Builtin yes yes no 183 0 TQBOQG+SFRM1440 Type 1 Custom yes yes no 189 0 ALGOHY+SFRM1000 Type 1 Custom yes yes no 196 0 IKWVFA+SFRM0700 Type 1 Custom yes yes no 192 0 LPIWYH+SFRM1095 Type 1 Custom yes yes no 190 0 DWTRYG+SFBX1095 Type 1 Custom yes yes no 195 0 ABNFJC+CMR10 Type 1 Builtin yes yes no 174 0 QEXCJD+CMMI10 Type 1 Builtin yes yes no 172 0 AZLCEA+CMR12 Type 1 Builtin yes yes no 204 0 KKGIHI+SFRM1200 Type 1 Custom yes yes no 203 0 AIMCVD+SFXC1200 Type 1 Custom yes yes no 206 0 XXBBCR+SFRM0800 Type 1 Custom yes yes no 207 0 TZDOHW+MSBM10 Type 1 Builtin yes yes no 211 0 GXYAHC+SFTI1000 Type 1 Custom yes yes no 212 0 PBAXYB+CMR8 Type 1 Builtin yes yes no 222 0 LQCBZC+CMMI8 Type 1 Builtin yes yes no 218 0 MVQXVO+CMSY8 Type 1 Builtin yes yes no 229 0 WDCBPE+SFBX1200 Type 1 Custom yes yes no 219 0 DIZFSV+SFTI1200 Type 1 Custom yes yes no 225 0 NFMHXQ+CMMI7 Type 1 Builtin yes yes no 233 0 HXJJEO+CMEX10 Type 1 Builtin yes yes no 235 0 XNDOVD+CMR7 Type 1 Builtin yes yes no 234 0 NWDNVI+SFCC1200 Type 1 Custom yes yes no 237 0 AZPTLR+SFCC1440 Type 1 Custom yes yes no 239 0 DQRFXF+SFBX1728 Type 1 Custom yes yes no 240 0 GGXGKN+SFBX1440 Type 1 Custom yes yes no 241 0 Jhove (Rel. 1.28.0, 2023-05-18) Date: 2024-02-20 02:36:31 CET RepresentationInformation: 1130.pdf ReportingModule: PDF-hul, Rel. 1.12.4 (2023-03-16) LastModified: 2024-02-01 01:41:00 CET Size: 625031 Format: PDF Version: 1.6 Status: Well-Formed and valid SignatureMatches: PDF-hul MIMEtype: application/pdf Profile: Linearized PDF PDFMetadata: Objects: 0 FreeObjects: 1 IncrementalUpdates: 0 DocumentCatalog: PageLayout: SinglePage PageMode: UseOutlines Outlines: Item: Title: Appendix: Details for Section 5 Children: Item: Title: Proof of Theorem 3 Item: Title: Proof of Theorem 4 Item: Title: On Choice Overload with 0=x"010B-Minimal Consideration Filters: FilterPipeline: FlateDecode FilterPipeline: CCITTFaxDecode Images: Image: NisoImageMetadata: FormatName: image/png ImageWidth: 277 ImageHeight: 1 BitsPerSample: 8 BitsPerSampleUnit: integer Filter: FlateDecode Image: NisoImageMetadata: FormatName: image/png ImageWidth: 476 ImageHeight: 284 BitsPerSample: 8 BitsPerSampleUnit: integer Filter: FlateDecode Image: NisoImageMetadata: FormatName: image/tiff CompressionScheme: CCITT Group 4 ImageWidth: 476 ImageHeight: 284 BitsPerSample: 1 BitsPerSampleUnit: integer ImageMask: true Fonts: Type0: Font: BaseFont: CBBOBK+Arial-BoldMT Encoding: Identity-H ToUnicode: true Font: BaseFont: CBBLPE+ArialMT Encoding: Identity-H ToUnicode: true Type1: Font: BaseFont: IKWVFA+SFRM0700 FontSubset: true FirstChar: 48 LastChar: 159 FontDescriptor: FontName: IKWVFA+SFRM0700 Flags: Symbolic FontBBox: -203, -320, 1628, 942 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: DWTRYG+SFBX1095 FontSubset: true FirstChar: 65 LastChar: 116 FontDescriptor: FontName: DWTRYG+SFBX1095 Flags: Symbolic FontBBox: -227, -316, 1723, 930 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: ALGOHY+SFRM1000 FontSubset: true FirstChar: 27 LastChar: 242 FontDescriptor: FontName: ALGOHY+SFRM1000 Flags: Symbolic FontBBox: -189, -321, 1456, 937 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: KKGIHI+SFRM1200 FontSubset: true FirstChar: 21 LastChar: 224 FontDescriptor: FontName: KKGIHI+SFRM1200 Flags: Symbolic FontBBox: -185, -320, 1420, 942 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: AZLCEA+CMR12 FontSubset: true FirstChar: 33 LastChar: 126 FontDescriptor: FontName: AZLCEA+CMR12 Flags: Symbolic FontBBox: -34, -251, 988, 750 FontFile: true Font: BaseFont: AIMCVD+SFXC1200 FontSubset: true FirstChar: 44 LastChar: 121 FontDescriptor: FontName: AIMCVD+SFXC1200 Flags: Symbolic FontBBox: -5, -305, 1566, 929 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: XXBBCR+SFRM0800 FontSubset: true FirstChar: 48 LastChar: 57 FontDescriptor: FontName: XXBBCR+SFRM0800 Flags: Symbolic FontBBox: -203, -320, 1554, 938 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: TZDOHW+MSBM10 FontSubset: true FirstChar: 64 LastChar: 82 FontDescriptor: FontName: TZDOHW+MSBM10 Flags: Symbolic FontBBox: -55, -420, 2343, 920 FontFile: true Font: BaseFont: GXYAHC+SFTI1000 FontSubset: true FirstChar: 97 LastChar: 116 FontDescriptor: FontName: GXYAHC+SFTI1000 Flags: Symbolic FontBBox: -95, -321, 1415, 932 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: LQCBZC+CMMI8 FontSubset: true FirstChar: 59 LastChar: 120 FontDescriptor: FontName: LQCBZC+CMMI8 Flags: Symbolic FontBBox: -24, -250, 1110, 750 FontFile: true Font: BaseFont: WDCBPE+SFBX1200 FontSubset: true FirstChar: 28 LastChar: 121 FontDescriptor: FontName: WDCBPE+SFBX1200 Flags: Symbolic FontBBox: -223, -316, 1694, 925 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: PBAXYB+CMR8 FontSubset: true FirstChar: 40 LastChar: 61 FontDescriptor: FontName: PBAXYB+CMR8 Flags: Symbolic FontBBox: -36, -250, 1070, 750 FontFile: true Font: BaseFont: DIZFSV+SFTI1200 FontSubset: true FirstChar: 28 LastChar: 122 FontDescriptor: FontName: DIZFSV+SFTI1200 Flags: Symbolic FontBBox: -91, -320, 1380, 938 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: MVQXVO+CMSY8 FontSubset: true FirstChar: 0 LastChar: 48 FontDescriptor: FontName: MVQXVO+CMSY8 Flags: Symbolic FontBBox: -30, -955, 1185, 779 FontFile: true Font: BaseFont: NFMHXQ+CMMI7 FontSubset: true FirstChar: 98 LastChar: 115 FontDescriptor: FontName: NFMHXQ+CMMI7 Flags: Symbolic FontBBox: -1, -250, 1171, 750 FontFile: true Font: BaseFont: XNDOVD+CMR7 FontSubset: true FirstChar: 49 LastChar: 53 FontDescriptor: FontName: XNDOVD+CMR7 Flags: Symbolic FontBBox: -27, -250, 1122, 750 FontFile: true Font: BaseFont: HXJJEO+CMEX10 FontSubset: true FirstChar: 81 LastChar: 81 FontDescriptor: FontName: HXJJEO+CMEX10 Flags: Symbolic FontBBox: -24, -2960, 1454, 772 FontFile: true Font: BaseFont: QEXCJD+CMMI10 FontSubset: true FirstChar: 28 LastChar: 122 FontDescriptor: FontName: QEXCJD+CMMI10 Flags: Symbolic FontBBox: -32, -250, 1048, 750 FontFile: true Font: BaseFont: NWDNVI+SFCC1200 FontSubset: true FirstChar: 40 LastChar: 224 FontDescriptor: FontName: NWDNVI+SFCC1200 Flags: Symbolic FontBBox: 2, -250, 1516, 940 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: ABNFJC+CMR10 FontSubset: true FirstChar: 37 LastChar: 61 FontDescriptor: FontName: ABNFJC+CMR10 Flags: Symbolic FontBBox: -40, -250, 1009, 750 FontFile: true Font: BaseFont: AZPTLR+SFCC1440 FontSubset: true FirstChar: 82 LastChar: 115 FontDescriptor: FontName: AZPTLR+SFCC1440 Flags: Symbolic FontBBox: 1, -249, 1519, 942 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: DQRFXF+SFBX1728 FontSubset: true FirstChar: 53 LastChar: 120 FontDescriptor: FontName: DQRFXF+SFBX1728 Flags: Symbolic FontBBox: -213, -316, 1617, 918 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: GGXGKN+SFBX1440 FontSubset: true FirstChar: 45 LastChar: 119 FontDescriptor: FontName: GGXGKN+SFBX1440 Flags: Symbolic FontBBox: -218, -316, 1652, 915 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: JNXDRR+CMSY7 FontSubset: true FirstChar: 3 LastChar: 123 FontDescriptor: FontName: JNXDRR+CMSY7 Flags: Symbolic FontBBox: -15, -951, 1251, 782 FontFile: true Font: BaseFont: OHJWNX+SFBX2074 FontSubset: true FirstChar: 45 LastChar: 121 FontDescriptor: FontName: OHJWNX+SFBX2074 Flags: Symbolic FontBBox: -208, -316, 1589, 921 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: OGMQSE+CMSY10 FontSubset: true FirstChar: 0 LastChar: 123 FontDescriptor: FontName: OGMQSE+CMSY10 Flags: Symbolic FontBBox: -29, -960, 1116, 775 FontFile: true Font: BaseFont: VIVBPZ+CMMI12 FontSubset: true FirstChar: 11 LastChar: 122 FontDescriptor: FontName: VIVBPZ+CMMI12 Flags: Symbolic FontBBox: -31, -250, 1026, 750 FontFile: true Font: BaseFont: TQBOQG+SFRM1440 FontSubset: true FirstChar: 27 LastChar: 224 FontDescriptor: FontName: TQBOQG+SFRM1440 Flags: Symbolic FontBBox: -178, -319, 1370, 944 FontFile: true EncodingDictionary: Differences: true Font: BaseFont: LPIWYH+SFRM1095 FontSubset: true FirstChar: 27 LastChar: 122 FontDescriptor: FontName: LPIWYH+SFRM1095 Flags: Symbolic FontBBox: -188, -320, 1445, 942 FontFile: true EncodingDictionary: Differences: true TrueType: Font: BaseFont: TimesNewRomanPS-ItalicMT FirstChar: 32 LastChar: 186 FontDescriptor: FontName: TimesNewRomanPS-ItalicMT Flags: Serif, Nonsymbolic, Italic FontBBox: -498, -307, 1333, 1023 Encoding: WinAnsiEncoding CIDFontType2: Font: BaseFont: CBBOBK+Arial-BoldMT CIDSystemInfo: Registry: Adobe Registry: Identity Supplement: 0 FontDescriptor: FontName: CBBOBK+Arial-BoldMT Flags: Symbolic FontBBox: -628, -376, 2000, 1056 FontFile2: true Font: BaseFont: CBBLPE+ArialMT CIDSystemInfo: Registry: Adobe Registry: Identity Supplement: 0 FontDescriptor: FontName: CBBLPE+ArialMT Flags: Symbolic FontBBox: -665, -325, 2000, 1040 FontFile2: true XMP: application/pdf 2019-11-21T11:15:25-05:00 LaTeX with hyperref 2019-11-28T17:32:46+01:00 2019-11-28T17:32:46+01:00 pdfTeX-1.40.20 False This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019) kpathsea version 6.3.1 uuid:cd8210fe-742e-4794-b503-384b40b630ee uuid:1f290871-cd49-4622-9841-ebed11daa90b Pages: Page: Label: 1 Page: Label: 2 Page: Label: 1 Sequence: 3 Page: Label: 2 Sequence: 4 Annotations: Annotation: Subtype: Link Rect: 244, 650, 251, 664 ActionDest: 11 Page: Label: 3 Sequence: 5 Annotations: Annotation: Subtype: Link Rect: 149, 525, 156, 539 ActionDest: 14 Page: Label: 4 Sequence: 6 Page: Label: 5 Sequence: 7 Annotations: Annotation: Subtype: Link Rect: 316, 130, 323, 144 ActionDest: 20 Page: Label: 6 Sequence: 8 Page: Label: 7 Sequence: 9 Annotations: Annotation: Subtype: Link Rect: 300, 614, 307, 628 ActionDest: 26 Page: Label: 8 Sequence: 10 Annotations: Annotation: Subtype: Link Rect: 254, 471, 261, 485 ActionDest: 29 Annotation: Subtype: Link Rect: 162, 182, 170, 195 ActionDest: 29 Page: Label: 9 Sequence: 11 Annotations: Annotation: Subtype: Link Rect: 303, 164, 310, 178 ActionDest: 32 Page: Label: 10 Sequence: 12 Page: Label: 11 Sequence: 13 Annotations: Annotation: Subtype: Link Rect: 202, 185, 209, 199 ActionDest: 38 Page: Label: 12 Sequence: 14 Page: Label: 13 Sequence: 15 Annotations: Annotation: Subtype: Link Rect: 482, 260, 489, 274 ActionDest: 44 Page: Label: 14 Sequence: 16 Annotations: Annotation: Subtype: Link Rect: 307, 668, 313, 682 ActionDest: 47 Annotation: Subtype: Link Rect: 332, 614, 339, 627 ActionDest: 58 Annotation: Subtype: Link Rect: 298, 346, 309, 359 ActionDest: 47 Page: Label: 15 Sequence: 17 Page: Label: 16 Sequence: 18 Page: Label: 17 Sequence: 19 Page: Label: 18 Sequence: 20 Page: Label: 19 Sequence: 21 Page: Label: 20 Sequence: 22 Page: Label: 21 Sequence: 23 Page: Label: 22 Sequence: 24 Annotations: Annotation: Subtype: Link Rect: 275, 534, 285, 546 ActionDest: 55 Annotation: Subtype: Link Rect: 275, 291, 285, 302 ActionDest: 58 Page: Label: 23 Sequence: 25 Page: Label: 24 Sequence: 26 Annotations: Annotation: Subtype: Link Rect: 216, 645, 225, 655 ActionDest: 64 Page: Label: 25 Sequence: 27 Checksum: baad2729 Type: CRC32 Checksum: e8341f623d0e972610672910f263c2f5 Type: MD5 Checksum: 3cafb9a62dd5d08d40af8a0aa55f15363ac07ea5 Type: SHA-1 Checksum: 4e619d5e9c14faaa8311cfabd2598e92ec798af3931531372f6fb96b1e5aefc2 Type: SHA-256