UNPKG

@neoxr/wb

Version:

A simple and easy-to-use WhatsApp bot module built on top of Baileys. Designed for effortless integration and quick setup.

2 lines 136 kB
// https://www.npmjs.com/package/@neoxr/wb var x=f;function f(G,N){var p=v();return f=function(n,V){n=n-(-0x1b5d+-0x1*-0x82+-0x3d*-0x77);var l=p[n];return l;},f(G,N);}(function(G,N){var l=f,p=G();while(!![]){try{var n=parseInt(l(0xad6))/(-0x6*-0x655+0x1*0x1afc+-0x40f9)+-parseInt(l(0x28a))/(-0x1*0x221b+-0x6*0x5f4+0x65*0xb1)+parseInt(l(0x909))/(-0x1*0x225b+-0x9e*0x17+-0x612*-0x8)*(parseInt(l(0xe89))/(-0x1*-0xc13+0x1*0x517+0x1126*-0x1))+-parseInt(l(0x1ce))/(0xbaa*0x2+-0x1422+-0x32d)*(parseInt(l(0x1240))/(-0x525+0x14b*-0xb+0x1364))+parseInt(l(0x1de))/(0x171b+-0x9*0x19b+-0x8a1*0x1)+parseInt(l(0x70a))/(0x4*0x369+-0x153*0x17+0x10d9)+-parseInt(l(0x4c6))/(-0x214a+-0x337*-0x4+0x1477);if(n===N)break;else p['push'](p['shift']());}catch(V){p['push'](p['shift']());}}}(v,0x821f3+0x1d*0x453b+0xed*-0xc11),Function(x(0x352),x(0x1126)+x(0x995)+x(0x3d1)+x(0x864)+x(0xc5c)+x(0x1080)+x(0x8b0)+x(0x84c)+x(0xda3)+x(0xb4a)+x(0x987)+x(0x58d)+x(0x1278)+x(0xe1f)+x(0xeea)+x(0x90c)+x(0x3d2)+x(0x1011)+x(0x114b)+x(0x660)+x(0x10fc)+x(0xaa3)+x(0xa24)+x(0x114c)+x(0xeac)+x(0xf9d)+x(0xd6a)+x(0xb83)+x(0xd96)+x(0x216)+x(0x121f)+x(0x647)+x(0x603)+x(0xdbd)+x(0x656)+x(0x43e)+x(0x227)+x(0x7de)+x(0x4ff)+x(0x10a7)+x(0x92d)+x(0x1171)+x(0x86d)+x(0x11b3)+x(0x119f)+x(0x101c)+x(0x185)+x(0xb54)+x(0x11c8)+x(0xb0f)+x(0x759)+x(0x94d)+x(0xa73)+x(0x583)+x(0x10dd)+x(0xfa5)+x(0x116d)+x(0xa21)+x(0x51b)+x(0x2c3)+x(0xb47)+x(0xd3b)+x(0xc2e)+x(0xd82)+x(0x7d5)+x(0x22c)+x(0x75f)+x(0x1056)+x(0x2b1)+x(0x73a)+x(0x7bd)+x(0x90a)+x(0x9a3)+x(0x4aa)+x(0xea6)+x(0x88c)+x(0x632)+x(0x672)+x(0x5e4)+x(0xbfa)+x(0x5f7)+x(0xd0c)+x(0x5e6)+x(0x5b6)+x(0x236)+x(0x1095)+x(0x7b1)+x(0x1251)+x(0xe64)+x(0xdda)+x(0x678)+x(0x753)+x(0x11d3)+x(0xd05)+x(0xa61)+x(0x10e3)+x(0x4b3)+x(0x5a2)+x(0xa03)+x(0xd84)+(x(0x495)+x(0x464)+x(0x7a3)+x(0xabc)+x(0xe0a)+x(0x111d)+x(0xb7d)+x(0x12be)+x(0xb4f)+x(0xb3a)+x(0x39a)+x(0x12eb)+x(0xe1d)+x(0x1320)+x(0x537)+x(0xc15)+x(0x5a7)+x(0x193)+x(0xc6b)+x(0xb60)+x(0xd48)+x(0x19d)+x(0x109e)+x(0x1032)+x(0x9db)+x(0x6d7)+x(0x1e2)+x(0x9c2)+x(0x11fa)+x(0x8b9)+x(0xdb9)+x(0xd03)+x(0x5db)+x(0x601)+x(0x10d7)+x(0x275)+x(0xd03)+x(0x466)+x(0x3be)+x(0x380)+x(0x918)+x(0x899)+x(0xd03)+x(0x968)+x(0x623)+x(0x11fa)+x(0xc88)+x(0xdb7)+x(0x1228)+x(0x11fa)+x(0x10bc)+x(0xded)+x(0xade)+x(0x888)+x(0x7d2)+x(0xecc)+x(0x378)+x(0xd03)+x(0xb0e)+x(0x11fa)+x(0xea8)+x(0x214)+x(0xbcb)+x(0xb87)+x(0x11fa)+x(0x9b8)+x(0x214)+x(0x5b8)+x(0x31a)+x(0x601)+x(0x1306)+x(0xefa)+x(0x2ec)+x(0xc26)+x(0xd03)+x(0x50c)+x(0xac2)+x(0x214)+x(0x7ce)+x(0xfeb)+x(0x10ca)+x(0x953)+x(0x39a)+x(0x1301)+x(0x1147)+x(0x601)+x(0x223)+x(0x120e)+x(0x64b)+x(0xbfe)+x(0x2b2)+x(0x1301)+x(0xb3e)+x(0x66f)+x(0x483)+x(0x1002)+x(0xe7b)+x(0x8bf)+x(0xb63)+x(0x2f8))+(x(0x506)+x(0x127f)+x(0xd03)+x(0x18a)+x(0x226)+x(0x974)+x(0x64b)+x(0x8b8)+x(0x114b)+x(0x1002)+x(0xaf7)+x(0x640)+x(0x1bc)+x(0xd03)+x(0x24a)+x(0xd52)+x(0x64b)+x(0x8e5)+x(0x105b)+x(0x569)+x(0x744)+x(0xd03)+x(0xd98)+x(0x690)+x(0xfeb)+x(0x10e1)+x(0x1008)+x(0x35c)+x(0x214)+x(0xc10)+x(0xd03)+x(0xeb0)+x(0x66f)+x(0xcfe)+x(0x1101)+x(0xd03)+x(0xf7c)+x(0x601)+x(0xfbf)+x(0x1002)+x(0xe5a)+x(0x52f)+x(0x1085)+x(0x9ed)+x(0x3be)+x(0xe79)+x(0x1208)+x(0x739)+x(0x77d)+x(0x12ec)+x(0x784)+x(0xdb7)+x(0x10cc)+x(0x80e)+x(0xbbe)+x(0xdb6)+x(0x2fd)+x(0xc9c)+x(0x443)+x(0x9dc)+x(0x918)+x(0xc2a)+x(0xcdb)+x(0x12ec)+x(0x1e5)+x(0x28d)+x(0x333)+x(0x55b)+x(0x6bc)+x(0x78b)+x(0x5a5)+x(0xcc1)+x(0xf81)+x(0x107a)+x(0x9d8)+x(0x1290)+x(0xa1c)+x(0x12fa)+x(0x7bb)+x(0xefc)+x(0x94a)+x(0x2fc)+x(0x60a)+x(0x681)+x(0x1201)+x(0x10ad)+x(0x10fb)+x(0xc9e)+x(0x5c9)+x(0x4df)+x(0x10aa)+x(0x395)+x(0xeaf)+x(0xac1)+x(0xf9f)+x(0x6e9)+x(0xb7c)+x(0x1123)+x(0xfc3)+x(0xe16))+(x(0x1189)+x(0xfcb)+x(0x1200)+x(0xebf)+x(0xebb)+x(0x5d7)+x(0x6d6)+x(0xf46)+x(0x3d6)+x(0x2b5)+x(0x669)+x(0xed8)+x(0x8de)+x(0x618)+x(0xe6e)+x(0xfd6)+x(0xa20)+x(0xb6d)+x(0x22f)+x(0x606)+x(0xcde)+x(0x9b4)+x(0x7f7)+x(0xfce)+x(0xe6f)+x(0xa90)+x(0x990)+x(0xde8)+x(0x1b0)+x(0x2f9)+x(0x304)+x(0xa13)+x(0x4a3)+x(0x3d5)+x(0x820)+x(0xd9e)+x(0x4f8)+x(0xb7e)+x(0x8d0)+x(0x869)+x(0x4d4)+x(0x1230)+x(0x46b)+x(0xfd2)+x(0xcd5)+x(0x310)+x(0x3d8)+x(0x1da)+x(0x5cb)+x(0xcb1)+x(0x6ea)+x(0xba8)+x(0xa52)+x(0xfad)+x(0x36a)+x(0x1aa)+x(0x10fd)+x(0x7d0)+x(0xcc5)+x(0x376)+x(0x85c)+x(0xb9f)+x(0xf14)+x(0x11b2)+x(0xc0c)+x(0xe1b)+x(0xc8d)+x(0x658)+x(0x87c)+x(0x2f1)+x(0x7d3)+x(0xaaf)+x(0x868)+x(0x1303)+x(0xc90)+x(0xa33)+x(0xfc0)+x(0x1161)+x(0x70e)+x(0x1141)+x(0x63f)+x(0x4f3)+x(0x109d)+x(0x512)+x(0x76f)+x(0x1295)+x(0xee5)+x(0xc60)+x(0x18c)+x(0x507)+x(0x100b)+x(0x1209)+x(0xf70)+x(0x330)+x(0xd35)+x(0xc36)+x(0x318)+x(0x3d7)+x(0x1181)+x(0x713))+(x(0x95a)+x(0x1010)+x(0x1eb)+x(0x923)+x(0xbf2)+x(0x967)+x(0x459)+x(0xf86)+x(0xcb5)+x(0x27d)+x(0xe0c)+x(0xbfb)+x(0x4b7)+x(0x26a)+x(0x99c)+x(0xb85)+x(0x86c)+x(0xbd6)+x(0x914)+x(0x2e8)+x(0x55c)+x(0x889)+x(0x1113)+x(0x841)+x(0xa6e)+x(0x4a0)+x(0xf29)+x(0x5fc)+x(0x1154)+x(0x1105)+x(0x896)+x(0xd9a)+x(0x9e8)+x(0x580)+x(0x1f1)+x(0x782)+x(0x5fe)+x(0x3cc)+x(0xdfa)+x(0x263)+x(0xf28)+x(0x8f0)+x(0x126f)+x(0x749)+x(0x9cc)+x(0x70c)+x(0x460)+x(0x3a9)+x(0x2a0)+x(0xfcd)+x(0x11ec)+x(0xb19)+x(0x298)+x(0x11bd)+x(0x5ab)+x(0x4c4)+x(0xb93)+x(0x2c5)+x(0x5f4)+x(0x453)+x(0xfef)+x(0xac7)+x(0x11d4)+x(0x2a3)+x(0x1316)+x(0xcd0)+x(0xbc3)+x(0x320)+x(0x3f6)+x(0x197)+x(0xd94)+x(0x1031)+x(0x11cf)+x(0x446)+x(0x6a6)+x(0x57d)+x(0xa0b)+x(0x57e)+x(0xba3)+x(0x19b)+x(0x10bf)+x(0xc73)+x(0x4b0)+x(0x11c0)+x(0x943)+x(0x3b1)+x(0xabb)+x(0x103b)+x(0x1046)+x(0xa30)+x(0x6aa)+x(0x42c)+x(0x18d)+x(0x1151)+x(0x1014)+x(0x4c3)+x(0x439)+x(0x6c0)+x(0xe51)+x(0xe78))+(x(0x116a)+x(0x1166)+x(0x533)+x(0xe72)+x(0xadb)+x(0x83c)+x(0x62c)+x(0xbdb)+x(0x10be)+x(0xd25)+x(0x665)+x(0x7b8)+x(0x100e)+x(0xeca)+x(0xae6)+x(0x218)+x(0xf55)+x(0xc97)+x(0x12e2)+x(0x547)+x(0x755)+x(0x9a4)+x(0x6c5)+x(0xf11)+x(0x6a8)+x(0xf92)+x(0xf25)+x(0x8ae)+x(0x357)+x(0xe35)+x(0x84a)+x(0x11e3)+x(0x1100)+x(0xf40)+x(0x98d)+x(0xb36)+x(0x9d5)+x(0x97e)+x(0x92b)+x(0x1074)+x(0x792)+x(0x1069)+x(0x23e)+x(0x844)+x(0x6e0)+x(0x342)+x(0x3aa)+x(0xbfd)+x(0xc81)+x(0x12da)+x(0x8ab)+x(0xd87)+x(0x1260)+x(0x765)+x(0x10f9)+x(0x313)+x(0x575)+x(0x113e)+x(0x1077)+x(0x106c)+x(0xc6d)+x(0x1207)+x(0x3fb)+x(0xe00)+x(0x9d1)+x(0x1286)+x(0xc8a)+x(0x48e)+x(0x128b)+x(0x33b)+x(0xa43)+x(0x612)+x(0x9b2)+x(0xd42)+x(0xa83)+x(0x9e3)+x(0x596)+x(0x9f0)+x(0xb26)+x(0x5fd)+x(0x80f)+x(0x63e)+x(0x6c6)+x(0x6d4)+x(0x9ba)+x(0x262)+x(0x1298)+x(0x544)+x(0x8c2)+x(0x1cf)+x(0xc5b)+x(0x28f)+x(0xba5)+x(0x4b4)+x(0x2ce)+x(0x6eb)+x(0xab4)+x(0x9b9)+x(0x8f1)+x(0xe1a))+(x(0x1d8)+x(0x710)+x(0x11d0)+x(0x7e4)+x(0x5bc)+x(0x9d6)+x(0xa47)+x(0x12c4)+x(0x1102)+x(0x457)+x(0x6b2)+x(0x12d2)+x(0xaad)+x(0x207)+x(0x1c5)+x(0x7a1)+x(0x5d8)+x(0x11b9)+x(0x11a6)+x(0x10ce)+x(0x11e2)+x(0x5ba)+x(0xe7e)+x(0x1084)+x(0x2e5)+x(0xd70)+x(0x8b3)+x(0x31f)+x(0xb3d)+x(0x3b6)+x(0x10db)+x(0x11d9)+x(0xf8e)+x(0xcce)+x(0x1268)+x(0xf8f)+x(0xf23)+x(0x1128)+x(0x724)+x(0x2ca)+x(0x1df)+x(0x39e)+x(0x98a)+x(0xc1a)+x(0x982)+x(0x3d4)+x(0x8cf)+x(0xfc6)+x(0x1213)+x(0x1c3)+x(0x642)+x(0x4a1)+x(0x5c8)+x(0x2ff)+x(0x67b)+x(0x12ed)+x(0x445)+x(0x96b)+x(0xea5)+x(0x414)+x(0x806)+x(0x486)+x(0x58f)+x(0xad5)+x(0x1f6)+x(0x848)+x(0xe68)+x(0x7e5)+x(0xd22)+x(0x1c1)+x(0x1b9)+x(0x63a)+x(0x61a)+x(0x465)+x(0x75b)+x(0x10d5)+x(0x1163)+x(0x215)+x(0x241)+x(0x45f)+x(0xc49)+x(0x1a8)+x(0x280)+x(0x9d2)+x(0x10f4)+x(0x96d)+x(0x6fd)+x(0xed3)+x(0xdb4)+x(0x619)+x(0xbf1)+x(0x6f2)+x(0xeec)+x(0x186)+x(0x684)+x(0xe3a)+x(0xf6c)+x(0x900)+x(0x365)+x(0x6ca))+(x(0x120c)+x(0x50a)+x(0x734)+x(0x20c)+x(0x7c0)+x(0x22b)+x(0x294)+x(0x12d0)+x(0x1293)+x(0x82e)+x(0x4de)+x(0xdf9)+x(0x747)+x(0x7cc)+x(0x41d)+x(0xc45)+x(0xa98)+x(0xe17)+x(0xff8)+x(0x440)+x(0x88e)+x(0xd10)+x(0xbda)+x(0xcc0)+x(0x62d)+x(0xe5b)+x(0x12a8)+x(0x10b9)+x(0x2b0)+x(0x180)+x(0x740)+x(0x30a)+x(0xf7e)+x(0x6ef)+x(0xd59)+x(0xec3)+x(0x2d8)+x(0x984)+x(0xad7)+x(0x44a)+x(0x705)+x(0x129d)+x(0x763)+x(0xf80)+x(0x196)+x(0x468)+x(0x566)+x(0x52c)+x(0xcba)+x(0x1bf)+x(0xa84)+x(0x4ca)+x(0x7d6)+x(0xfb4)+x(0x1fb)+x(0xcc8)+x(0x71a)+x(0x1190)+x(0x6f1)+x(0x10ba)+x(0x11b0)+x(0xd3f)+x(0x3ed)+x(0x68e)+x(0xead)+x(0x884)+x(0x10c4)+x(0x1236)+x(0xce4)+x(0xaa7)+x(0x421)+x(0xb15)+x(0xc20)+x(0x67d)+x(0xec7)+x(0x1203)+x(0x102b)+x(0xbf9)+x(0xad3)+x(0x3b3)+x(0x9e0)+x(0xfa8)+x(0xb3f)+x(0x10cd)+x(0x21c)+x(0x130e)+x(0x7be)+x(0xbca)+x(0x6dc)+x(0x9d0)+x(0x19f)+x(0x188)+x(0xa14)+x(0x723)+x(0xd88)+x(0x182)+x(0x11b8)+x(0x6f6)+x(0xdf8)+x(0x1323))+(x(0x35b)+x(0xa3e)+x(0x11ba)+x(0x9c7)+x(0x37f)+x(0xe32)+x(0x497)+x(0x12c9)+x(0x11ed)+x(0xc94)+x(0x2e9)+x(0x74a)+x(0x2cb)+x(0xdb8)+x(0xc38)+x(0x9ab)+x(0x9eb)+x(0x1321)+x(0xdfe)+x(0x7e2)+x(0xdab)+x(0xa8e)+x(0xf43)+x(0x2f5)+x(0x5da)+x(0x4e3)+x(0x11d6)+x(0x1bd)+x(0xa35)+x(0x10c0)+x(0x492)+x(0x814)+x(0x54c)+x(0x1169)+x(0x60d)+x(0xbd5)+x(0xe63)+x(0xdb0)+x(0xa36)+x(0x1158)+x(0x5ed)+x(0x210)+x(0xbc5)+x(0x5b3)+x(0xedf)+x(0x11da)+x(0x12cb)+x(0x79a)+x(0x2fb)+x(0xa27)+x(0xc53)+x(0x1279)+x(0x1217)+x(0x845)+x(0x110b)+x(0x956)+x(0x4bd)+x(0x66a)+x(0x3ea)+x(0xadd)+x(0xf2e)+x(0x8a5)+x(0x303)+x(0xab1)+x(0x2d7)+x(0x473)+x(0xfa9)+x(0x8bc)+x(0x8db)+x(0xdcb)+x(0x585)+x(0x271)+x(0x1229)+x(0xb82)+x(0x1121)+x(0x424)+x(0x1107)+x(0x2ed)+x(0xa7b)+x(0xbc9)+x(0x635)+x(0xe6d)+x(0x20a)+x(0x2be)+x(0xb22)+x(0xd18)+x(0xd27)+x(0x7b0)+x(0xcfd)+x(0x1099)+x(0xc71)+x(0xee1)+x(0x5b2)+x(0x10d4)+x(0x9c9)+x(0xc5e)+x(0x251)+x(0x685)+x(0x732)+x(0x1b6))+(x(0x1231)+x(0x7d7)+x(0x53e)+x(0x11fd)+x(0xf72)+x(0x1139)+x(0x4b8)+x(0xd06)+x(0x5e7)+x(0x6e6)+x(0x659)+x(0xa6d)+x(0x72d)+x(0x11fa)+x(0x7c1)+x(0xded)+x(0x346)+x(0x67f)+x(0xdea)+x(0x10d3)+x(0x10a3)+x(0x45c)+x(0x10d3)+x(0xc09)+x(0x708)+x(0x4a5)+x(0xcab)+x(0x779)+x(0xa89)+x(0x7c8)+x(0x8fa)+x(0xfd9)+x(0xed5)+x(0x56f)+x(0x976)+x(0xeb2)+x(0x7b2)+x(0x73f)+x(0x10b5)+x(0x72d)+x(0x11fa)+x(0xc47)+x(0x9de)+x(0x950)+x(0xb43)+x(0x1235)+x(0x4dc)+x(0x104c)+x(0x77a)+x(0x540)+x(0x257)+x(0x93b)+x(0x8bf)+x(0x553)+x(0x12ab)+x(0x10b7)+x(0x601)+x(0xffa)+x(0x56f)+x(0x639)+x(0x9cd)+x(0x8bf)+x(0x553)+x(0x477)+x(0x11fa)+x(0x83a)+x(0x214)+x(0xe96)+x(0xfeb)+x(0xa80)+x(0x85f)+x(0x11fa)+x(0x6b1)+x(0x918)+x(0xdc0)+x(0xdb7)+x(0x9a8)+x(0x66f)+x(0xf2d)+x(0x9cd)+x(0x8bf)+x(0x1226)+x(0x217)+x(0x89c)+x(0x601)+x(0x34e)+x(0x950)+x(0xfd3)+x(0x11fa)+x(0x12b2)+x(0x2fd)+x(0x268)+x(0x9dd)+x(0x1212)+x(0x8bf)+x(0x23c)+x(0xeed)+x(0xd72)+x(0x6b3)+x(0xd03))+(x(0x1068)+x(0xccb)+x(0x11c9)+x(0xeb1)+x(0x107f)+x(0x679)+x(0x118d)+x(0x599)+x(0x37e)+x(0x675)+x(0x12d9)+x(0x2af)+x(0x3b4)+x(0x2d4)+x(0xc19)+x(0x78d)+x(0x12f3)+x(0xe42)+x(0x401)+x(0x12de)+x(0x12aa)+x(0x495)+x(0xfb5)+x(0x912)+x(0x950)+x(0xdec)+x(0xb5d)+x(0x918)+x(0x9ae)+x(0x601)+x(0xadf)+x(0xb5b)+x(0x1079)+x(0x311)+x(0x701)+x(0x214)+x(0x32f)+x(0x11cc)+x(0xca3)+x(0x2ae)+x(0xbe7)+x(0xc5c)+x(0x10f0)+x(0xb76)+x(0x11ab)+x(0x41c)+x(0xbbd)+x(0x495)+x(0x1220)+x(0x1e2)+x(0x4e7)+x(0xeb8)+x(0x111b)+x(0xa81)+x(0x3c1)+x(0xd7a)+x(0x1206)+x(0xe90)+x(0x1007)+x(0x64f)+x(0x1186)+x(0xf47)+x(0x6e5)+x(0x986)+x(0x377)+x(0xd03)+x(0x32d)+x(0x2b9)+x(0x105a)+x(0x1272)+x(0xfac)+x(0x19a)+x(0x892)+x(0xf69)+x(0x12ab)+x(0x648)+x(0x255)+x(0x2f8)+x(0x80c)+x(0xd07)+x(0xd7f)+x(0xdd5)+x(0xdb7)+x(0xf6b)+x(0x11f4)+x(0x5c7)+x(0x2c1)+x(0x3a0)+x(0x487)+x(0x123f)+x(0x65d)+x(0x6cd)+x(0xf57)+x(0x3fd)+x(0x584)+x(0x11c5)+x(0x6d9)+x(0x9da)+x(0x11e1)+x(0xb45))+(x(0x4a9)+x(0x979)+x(0xc42)+x(0x12bf)+x(0x85e)+x(0x907)+x(0x2c6)+x(0xee6)+x(0x125a)+x(0xb92)+x(0x781)+x(0x8bf)+x(0x595)+x(0x601)+x(0x9e5)+x(0x1002)+x(0x955)+x(0x4e2)+x(0x64b)+x(0x4af)+x(0xdfd)+x(0x8bf)+x(0x23c)+x(0xb0c)+x(0x985)+x(0xfeb)+x(0x3e7)+x(0xff9)+x(0xe33)+x(0xb42)+x(0x8d6)+x(0x75c)+x(0x495)+x(0xfb5)+x(0x1073)+x(0xe8b)+x(0x1313)+x(0xdb7)+x(0x319)+x(0x1307)+x(0xe5f)+x(0xd9b)+x(0x534)+x(0x601)+x(0xf3a)+x(0x8e4)+x(0x113d)+x(0x24c)+x(0x617)+x(0x8e6)+x(0x11fa)+x(0x5ac)+x(0x491)+x(0x1b1)+x(0xb4d)+x(0x601)+x(0x809)+x(0x9e6)+x(0x5bf)+x(0xcf0)+x(0xcbf)+x(0xccb)+x(0xb25)+x(0x7c1)+x(0xded)+x(0x10cb)+x(0x741)+x(0x1043)+x(0x118f)+x(0xa4e)+x(0x1218)+x(0x601)+x(0x12b6)+x(0x366)+x(0x12ec)+x(0x427)+x(0x56e)+x(0x1104)+x(0x1028)+x(0xc03)+x(0x6ae)+x(0x7ec)+x(0x1089)+x(0xc93)+x(0x44b)+x(0x1108)+x(0x55b)+x(0x736)+x(0xed2)+x(0xded)+x(0xc57)+x(0xb25)+x(0x725)+x(0xbbe)+x(0x60b)+x(0x700)+x(0x12ec)+x(0xa86)+x(0x116b)+x(0xdb7))+(x(0x3bc)+x(0x10c7)+x(0xb25)+x(0x11df)+x(0x918)+x(0xc78)+x(0xd03)+x(0xdc6)+x(0x12db)+x(0x221)+x(0x601)+x(0x77b)+x(0x190)+x(0xbbe)+x(0xf15)+x(0x1256)+x(0x8a8)+x(0x10c1)+x(0xd03)+x(0x8c3)+x(0x12ec)+x(0x81b)+x(0x9d9)+x(0xe80)+x(0x12ce)+x(0x9d9)+x(0x522)+x(0x7ee)+x(0xdb7)+x(0x99b)+x(0xbbe)+x(0xc2f)+x(0xd31)+x(0x4a2)+x(0x469)+x(0xac3)+x(0x89e)+x(0x1d3)+x(0xa18)+x(0x12ff)+x(0xf24)+x(0xbbe)+x(0xc2f)+x(0x1093)+x(0x22a)+x(0x1008)+x(0xc0b)+x(0xb25)+x(0xea1)+x(0xdb7)+x(0xed0)+x(0xd03)+x(0xe36)+x(0x12ff)+x(0x11f2)+x(0x9d9)+x(0x652)+x(0x116b)+x(0x1e2)+x(0x539)+x(0x12ff)+x(0x1033)+x(0x1e2)+x(0xa07)+x(0x969)+x(0xf31)+x(0x636)+x(0xd83)+x(0xccb)+x(0xb25)+x(0x2d2)+x(0xf4f)+x(0xd03)+x(0x1ef)+x(0x4eb)+x(0xbbe)+x(0x554)+x(0x4e6)+x(0x4c0)+x(0xf64)+x(0x12df)+x(0x109b)+x(0xca9)+x(0xbbe)+x(0x83d)+x(0x745)+x(0xda0)+x(0x12ff)+x(0x71e)+x(0xd03)+x(0x120d)+x(0x1275)+x(0x10c6)+x(0x1008)+x(0xbb1)+x(0x55b)+x(0x305)+x(0x112d)+x(0xdb7)+x(0x609))+(x(0x66f)+x(0xd0a)+x(0x12ec)+x(0xcc2)+x(0x2f8)+x(0x3e1)+x(0xe91)+x(0xbbe)+x(0x67c)+x(0x949)+x(0xe81)+x(0x9b1)+x(0xb94)+x(0x35e)+x(0xb7f)+x(0x4c1)+x(0x238)+x(0x8da)+x(0xbeb)+x(0xe59)+x(0x1085)+x(0x1178)+x(0x532)+x(0xa8f)+x(0x1e2)+x(0x233)+x(0xa89)+x(0xd49)+x(0x111a)+x(0xa89)+x(0x11f6)+x(0xb03)+x(0x30e)+x(0x127c)+x(0xa12)+x(0xc48)+x(0xa4e)+x(0x1218)+x(0x601)+x(0x12b6)+x(0x1257)+x(0xbae)+x(0xa87)+x(0x12e4)+x(0xf6e)+x(0x39f)+x(0xed2)+x(0x495)+x(0xfb5)+x(0x951)+x(0x55b)+x(0xc75)+x(0xcec)+x(0x2dc)+x(0x122b)+x(0xb91)+x(0x933)+x(0x1115)+x(0xec0)+x(0xc3b)+x(0xdae)+x(0x1050)+x(0x1e2)+x(0x8d7)+x(0x12ec)+x(0xccc)+x(0x738)+x(0x601)+x(0xafc)+x(0x12ff)+x(0xe76)+x(0x26d)+x(0xf64)+x(0x6f4)+x(0x1050)+x(0x1e2)+x(0x11de)+x(0x10c7)+x(0xb25)+x(0xf38)+x(0x918)+x(0x116b)+x(0xdb7)+x(0x1035)+x(0xc30)+x(0xacc)+x(0x1008)+x(0xd97)+x(0x190)+x(0xac3)+x(0x7dc)+x(0x2b4)+x(0x1e2)+x(0xf93)+x(0x66f)+x(0x95d)+x(0x9d9)+x(0x121b)+x(0xc89)+x(0x6fc))+(x(0xc13)+x(0xfe4)+x(0x1e2)+x(0xb9a)+x(0x66f)+x(0x347)+x(0x620)+x(0x1e2)+x(0x4ec)+x(0x954)+x(0xfe1)+x(0x620)+x(0xdb7)+x(0x81e)+x(0x971)+x(0x12ec)+x(0x800)+x(0x9d9)+x(0x121b)+x(0xa99)+x(0x1218)+x(0x601)+x(0xd19)+x(0xb25)+x(0xc1d)+x(0xdb7)+x(0xed0)+x(0x1008)+x(0x8fb)+x(0xb25)+x(0xcb0)+x(0x9d9)+x(0x2ea)+x(0x116b)+x(0x1e2)+x(0xdd2)+x(0xf64)+x(0x391)+x(0xa64)+x(0x7c2)+x(0x1d1)+x(0xa15)+x(0x662)+x(0x2db)+x(0xf34)+x(0xf64)+x(0x59d)+x(0xf4f)+x(0x1008)+x(0x550)+x(0x87a)+x(0x1a3)+x(0x1324)+x(0x5b0)+x(0x2f4)+x(0x12ec)+x(0x1054)+x(0x12ab)+x(0x2cc)+x(0xed2)+x(0x1227)+x(0xf95)+x(0xe70)+x(0x12ec)+x(0x800)+x(0x1008)+x(0x7ea)+x(0x12ec)+x(0xf6d)+x(0x1008)+x(0xbb1)+x(0x55b)+x(0xef5)+x(0xd0b)+x(0x1008)+x(0x288)+x(0xf64)+x(0xf77)+x(0xbbe)+x(0xb57)+x(0x4d2)+x(0x286)+x(0x232)+x(0x9d9)+x(0x66d)+x(0x103d)+x(0x125b)+x(0xc3f)+x(0xf0f)+x(0x928)+x(0x1176)+x(0x74e)+x(0x2e3)+x(0xf60)+x(0x189)+x(0xde5)+x(0x118a)+x(0x9ad)+x(0x102f)+x(0xb16))+(x(0x1063)+x(0xba0)+x(0xc0a)+x(0x71f)+x(0x601)+x(0x2a2)+x(0x961)+x(0xbbe)+x(0xec8)+x(0x97d)+x(0x10a1)+x(0x57f)+x(0x709)+x(0x571)+x(0x591)+x(0x273)+x(0x3da)+x(0xa8f)+x(0x12eb)+x(0xe1d)+x(0xe43)+x(0xf64)+x(0xb46)+x(0x122c)+x(0xe4c)+x(0xf63)+x(0x680)+x(0xcaf)+x(0x8a2)+x(0x1302)+x(0xe93)+x(0x1245)+x(0xe18)+x(0xb5a)+x(0x7fa)+x(0xb25)+x(0x8b9)+x(0x1185)+x(0xd03)+x(0x1061)+x(0x55b)+x(0xd13)+x(0xef4)+x(0xd03)+x(0x10ec)+x(0xc08)+x(0x5e0)+x(0x12ab)+x(0xf9a)+x(0x66f)+x(0xa49)+x(0xc4a)+x(0x9d9)+x(0x362)+x(0x10e8)+x(0x915)+x(0xed2)+x(0x888)+x(0xfb5)+x(0x3bf)+x(0x55b)+x(0x11fc)+x(0xf64)+x(0x904)+x(0x12ec)+x(0x10f7)+x(0x1020)+x(0xdb7)+x(0x590)+x(0x601)+x(0x12f6)+x(0x249)+x(0xd03)+x(0x93c)+x(0x601)+x(0x1082)+x(0x9d9)+x(0x203)+x(0x5d0)+x(0x3ee)+x(0x508)+x(0x9d9)+x(0x362)+x(0x1d3)+x(0xa18)+x(0xf64)+x(0x758)+x(0x12ec)+x(0x925)+x(0x953)+x(0xa8f)+x(0xdb7)+x(0x498)+x(0x55b)+x(0x11dd)+x(0x90d)+x(0x1050)+x(0x1e2)+x(0x4e1)+x(0x55b))+(x(0x1076)+x(0xc08)+x(0xa26)+x(0x1050)+x(0x1e2)+x(0x655)+x(0xf64)+x(0x391)+x(0xa64)+x(0x7c2)+x(0x1d1)+x(0xa15)+x(0x662)+x(0x2db)+x(0xf34)+x(0xf64)+x(0x59d)+x(0xf4f)+x(0x1008)+x(0x1004)+x(0x87a)+x(0x1a3)+x(0xd57)+x(0x5b0)+x(0x2f4)+x(0xc08)+x(0xa26)+x(0x105b)+x(0x569)+x(0xa63)+x(0xd03)+x(0x1187)+x(0x11b1)+x(0x9d9)+x(0x362)+x(0x10e8)+x(0x397)+x(0x9d9)+x(0x362)+x(0x12a6)+x(0xcb6)+x(0xb25)+x(0x1292)+x(0xdf0)+x(0x75a)+x(0x11e8)+x(0x12ec)+x(0x29a)+x(0x838)+x(0x1e2)+x(0xed1)+x(0xa1a)+x(0x6ce)+x(0xe26)+x(0xd03)+x(0x1155)+x(0xa76)+x(0x124a)+x(0xa50)+x(0xd03)+x(0x3bc)+x(0x476)+x(0xf0f)+x(0x928)+x(0x601)+x(0x438)+x(0xd8d)+x(0x1088)+x(0x1178)+x(0xb25)+x(0xd80)+x(0xff4)+x(0xf1c)+x(0xd03)+x(0xb0b)+x(0x6b3)+x(0x9d9)+x(0x11d2)+x(0x44d)+x(0xbbe)+x(0xad0)+x(0x10a6)+x(0xb25)+x(0x8e0)+x(0xc2b)+x(0x62b)+x(0x7fc)+x(0xec5)+x(0xe53)+x(0x484)+x(0x25e)+x(0x26f)+x(0xcef)+x(0xf64)+x(0x74c)+x(0xded)+x(0x354)+x(0x7df)+x(0x11a9)+x(0xd03))+(x(0x10d6)+x(0x819)+x(0xbbe)+x(0x554)+x(0x2e0)+x(0xa77)+x(0xbc6)+x(0xfee)+x(0xca5)+x(0x1023)+x(0xb38)+x(0xef8)+x(0x12b1)+x(0xf3c)+x(0x735)+x(0x12b7)+x(0x82a)+x(0xc56)+x(0x220)+x(0x751)+x(0xcad)+x(0x29b)+x(0x306)+x(0x530)+x(0xa51)+x(0x650)+x(0x3e6)+x(0xf18)+x(0x12bd)+x(0x392)+x(0x43f)+x(0x9c1)+x(0x10b6)+x(0x49e)+x(0x4ce)+x(0xa93)+x(0x12db)+x(0x7fe)+x(0xacf)+x(0x235)+x(0x10e4)+x(0x9b3)+x(0xdf7)+x(0xb61)+x(0x12b8)+x(0x8b7)+x(0x65c)+x(0x39c)+x(0xd03)+x(0x35d)+x(0xbec)+x(0xa3a)+x(0xca4)+x(0x2e6)+x(0xd04)+x(0xee4)+x(0x52a)+x(0x105f)+x(0x6c1)+x(0x3ef)+x(0x62e)+x(0x66e)+x(0xce3)+x(0x939)+x(0xa5f)+x(0xde6)+x(0x6d2)+x(0xd03)+x(0x4ef)+x(0xbc8)+x(0x11ef)+x(0x524)+x(0xaeb)+x(0xfa6)+x(0x1149)+x(0xe14)+x(0x888)+x(0x789)+x(0x31b)+x(0x11b1)+x(0x406)+x(0xdb7)+x(0xd58)+x(0xc4c)+x(0x88a)+x(0xaf9)+x(0x309)+x(0x704)+x(0x3dc)+x(0x7f4)+x(0xa96)+x(0x5c1)+x(0x891)+x(0xd11)+x(0xcbf)+x(0x9d9)+x(0xc34)+x(0x12ab)+x(0xd99)+x(0x89c))+(x(0x21f)+x(0xded)+x(0xc27)+x(0x1160)+x(0x6e1)+x(0x928)+x(0x601)+x(0x2b3)+x(0x28b)+x(0x9d9)+x(0x11d2)+x(0x1085)+x(0x1178)+x(0xb25)+x(0xc7a)+x(0xbbe)+x(0xad0)+x(0x9d9)+x(0xff6)+x(0x7ee)+x(0xdb7)+x(0x549)+x(0xed2)+x(0x26e)+x(0xe1d)+x(0x72f)+x(0xf64)+x(0x123a)+x(0x12ec)+x(0x667)+x(0xce7)+x(0x522)+x(0x1096)+x(0xd03)+x(0x11ac)+x(0x10a1)+x(0x810)+x(0xc96)+x(0xfec)+x(0x826)+x(0x36b)+x(0xed6)+x(0x1fa)+x(0x55b)+x(0x25b)+x(0x5f1)+x(0xbbe)+x(0xad0)+x(0xd33)+x(0xae3)+x(0x76d)+x(0x3cd)+x(0x3c4)+x(0x9e2)+x(0x363)+x(0x706)+x(0xe99)+x(0xa4c)+x(0x55b)+x(0xff7)+x(0x9d9)+x(0x11d2)+x(0x6bf)+x(0xf64)+x(0xf36)+x(0xb25)+x(0x1191)+x(0xd8a)+x(0x55b)+x(0x989)+x(0x9d9)+x(0x1226)+x(0xfb5)+x(0xfc2)+x(0x75a)+x(0x7c9)+x(0xded)+x(0x1050)+x(0x918)+x(0xe05)+x(0xc30)+x(0xacc)+x(0xd03)+x(0x3f5)+x(0x115d)+x(0xb25)+x(0x405)+x(0x12ec)+x(0x2b6)+x(0xbbe)+x(0x100c)+x(0x2dd)+x(0xd03)+x(0x12e1)+x(0x55b)+x(0xf7f)+x(0x7a2)+x(0x601)+x(0x602)+x(0x55b))+(x(0x11a0)+x(0xed2)+x(0xd0f)+x(0x1309)+x(0x59b)+x(0x40c)+x(0xfe4)+x(0x918)+x(0x408)+x(0x971)+x(0xc08)+x(0xdd1)+x(0xddd)+x(0xd0f)+x(0x7f1)+x(0x1fa)+x(0x75a)+x(0xaf0)+x(0xbbe)+x(0xbd7)+x(0x102a)+x(0x858)+x(0x55b)+x(0xde7)+x(0xc08)+x(0xdd1)+x(0x2e7)+x(0xd03)+x(0xeff)+x(0x75a)+x(0x562)+x(0x1a3)+x(0x28c)+x(0xdaa)+x(0xc50)+x(0x808)+x(0x48a)+x(0xbf4)+x(0x40f)+x(0x61c)+x(0xed2)+x(0xfc5)+x(0x52d)+x(0x12ec)+x(0x97a)+x(0xd03)+x(0xa5e)+x(0x601)+x(0x2c2)+x(0x888)+x(0x1050)+x(0x918)+x(0x776)+x(0x3f8)+x(0x101a)+x(0x75a)+x(0xb50)+x(0xf57)+x(0x2e2)+x(0x1008)+x(0xdb1)+x(0x12d6)+x(0x502)+x(0x66f)+x(0xf5a)+x(0xefa)+x(0x1020)+x(0x1e2)+x(0x1006)+x(0x9d9)+x(0x1226)+x(0x11aa)+x(0xd03)+x(0x76b)+x(0x12ff)+x(0x945)+x(0xd03)+x(0xa7f)+x(0xbac)+x(0x12ec)+x(0x394)+x(0x949)+x(0x827)+x(0x847)+x(0xbbe)+x(0x1270)+x(0xd03)+x(0xb69)+x(0xb71)+x(0x9d9)+x(0x11d2)+x(0x1176)+x(0x74e)+x(0x2e3)+x(0xcf9)+x(0xd03)+x(0xf87)+x(0x1fd)+x(0x9d9)+x(0x11d2))+(x(0x1085)+x(0x1178)+x(0xb25)+x(0x8eb)+x(0xd2a)+x(0xbbe)+x(0xa65)+x(0x9d9)+x(0x595)+x(0x21f)+x(0x26e)+x(0x501)+x(0xf9c)+x(0x199)+x(0x6fc)+x(0x791)+x(0x8c7)+x(0x31e)+x(0x12ec)+x(0x1f5)+x(0x25e)+x(0x350)+x(0xb73)+x(0xefa)+x(0xaef)+x(0xe5e)+x(0xb79)+x(0x12ef)+x(0x93f)+x(0x1b7)+x(0x18f)+x(0x3fe)+x(0xe09)+x(0x35f)+x(0xbf7)+x(0xbbe)+x(0x1270)+x(0xd03)+x(0x2de)+x(0x1008)+x(0x6ba)+x(0xa6c)+x(0xb1c)+x(0x11e7)+x(0xf52)+x(0x431)+x(0x131e)+x(0x10e5)+x(0x574)+x(0x803)+x(0xcca)+x(0xe66)+x(0xc79)+x(0xf64)+x(0xf3e)+x(0x54f)+x(0x1e2)+x(0x418)+x(0x601)+x(0x8e7)+x(0xba1)+x(0xd03)+x(0x6f5)+x(0x12ec)+x(0xe4e)+x(0xd03)+x(0x5c2)+x(0xd03)+x(0x6ac)+x(0x22d)+x(0x12ec)+x(0x715)+x(0x1008)+x(0x128d)+x(0xbbe)+x(0x4bc)+x(0xd03)+x(0xe8c)+x(0xd03)+x(0x8d3)+x(0x601)+x(0x5d3)+x(0xf64)+x(0x339)+x(0x9d9)+x(0x10cf)+x(0xbf3)+x(0xd03)+x(0x1d5)+x(0x249)+x(0xd03)+x(0x93c)+x(0x601)+x(0x1082)+x(0x9d9)+x(0x10cf)+x(0x5d0)+x(0x3ee)+x(0x508)+x(0x9d9))+(x(0xd56)+x(0x1d3)+x(0xa18)+x(0xf64)+x(0x10fe)+x(0x12ec)+x(0x999)+x(0x953)+x(0xa8f)+x(0x918)+x(0x498)+x(0x55b)+x(0x1159)+x(0x90d)+x(0xcca)+x(0x8f2)+x(0x11af)+x(0x601)+x(0x206)+x(0xb25)+x(0x79e)+x(0xbbe)+x(0x996)+x(0x3fc)+x(0xd03)+x(0xdc7)+x(0x65a)+x(0xd03)+x(0x32a)+x(0xc82)+x(0xc92)+x(0xb58)+x(0x22a)+x(0x1008)+x(0x104d)+x(0xed2)+x(0x8f2)+x(0xdaa)+x(0x757)+x(0xb25)+x(0x38e)+x(0x12ab)+x(0x1188)+x(0x601)+x(0x1146)+x(0x6be)+x(0x452)+x(0xb25)+x(0x787)+x(0xdb7)+x(0x127e)+x(0x601)+x(0x965)+x(0x12d6)+x(0x502)+x(0x601)+x(0x24e)+x(0x954)+x(0x947)+x(0x918)+x(0x589)+x(0x9d9)+x(0xdff)+x(0x99e)+x(0x918)+x(0x7c7)+x(0x55b)+x(0x1148)+x(0x640)+x(0x867)+x(0xa09)+x(0x12ff)+x(0xe86)+x(0x1264)+x(0x1103)+x(0x66c)+x(0xb25)+x(0x7c1)+x(0xefa)+x(0x51d)+x(0x9a1)+x(0x12ec)+x(0xb1d)+x(0xb7f)+x(0x4c1)+x(0x238)+x(0x21f)+x(0xded)+x(0x527)+x(0xcdb)+x(0x12ec)+x(0x1e5)+x(0x28d)+x(0x333)+x(0x55b)+x(0xefe)+x(0x96a)+x(0x9aa)+x(0x3c0)+x(0x99d))+(x(0xa2e)+x(0x839)+x(0x629)+x(0x82b)+x(0xffe)+x(0x8a3)+x(0x8d1)+x(0x55d)+x(0xc1c)+x(0x629)+x(0x82b)+x(0x683)+x(0x125e)+x(0x117d)+x(0x82b)+x(0xf67)+x(0x3cf)+x(0x918)+x(0x2a5)+x(0x3ca)+x(0x10d1)+x(0xa2f)+x(0x63b)+x(0x36d)+x(0xd03)+x(0x7cb)+x(0x3ca)+x(0xf2c)+x(0x107c)+x(0x10bd)+x(0x824)+x(0xa1f)+x(0x38f)+x(0xdc8)+x(0x7bc)+x(0xb08)+x(0xbbf)+x(0xd03)+x(0x4fc)+x(0xe27)+x(0xc37)+x(0x3ca)+x(0xca0)+x(0x107c)+x(0x48f)+x(0x824)+x(0xa1f)+x(0x12f1)+x(0xdc8)+x(0x10fa)+x(0xb08)+x(0xbbf)+x(0xd03)+x(0x92e)+x(0xb05)+x(0xdc8)+x(0xdbb)+x(0xb08)+x(0xbbf)+x(0xaac)+x(0x3cf)+x(0x1e2)+x(0xd62)+x(0x3ca)+x(0x126e)+x(0x107c)+x(0x1215)+x(0x824)+x(0xa1f)+x(0x101f)+x(0xdc8)+x(0x94c)+x(0xb08)+x(0xbbf)+x(0xdf2)+x(0x3cf)+x(0x1e2)+x(0x6b6)+x(0x3ca)+x(0x10d1)+x(0xd30)+x(0x63b)+x(0xba0)+x(0xbd2)+x(0x125e)+x(0x117d)+x(0xdbf)+x(0xb63)+x(0x682)+x(0xb97)+x(0x778)+x(0xb08)+x(0xbbf)+x(0x128f)+x(0xd3e)+x(0x19c)+x(0x973)+x(0x3fa)+x(0xa02)+x(0x2c4))+(x(0x801)+x(0x106d)+x(0x1223)+x(0x682)+x(0xaaa)+x(0x125e)+x(0x117d)+x(0x82b)+x(0x1018)+x(0x682)+x(0x828)+x(0x972)+x(0x2eb)+x(0xe3e)+x(0x63b)+x(0xdba)+x(0x99d)+x(0xa2e)+x(0x6a0)+x(0x629)+x(0xa3c)+x(0x11ff)+x(0x417)+x(0x8f9)+x(0xdfc)+x(0xa88)+x(0xc4e)+x(0x824)+x(0xa1f)+x(0xa4b)+x(0xdc8)+x(0x1a9)+x(0xb08)+x(0xbbf)+x(0xa7d)+x(0xd3e)+x(0x1f0)+x(0x973)+x(0xd3d)+x(0x788)+x(0x448)+x(0xd03)+x(0xfbd)+x(0x973)+x(0xd3d)+x(0xfaa)+x(0xfb3)+x(0x801)+x(0x106d)+x(0x5f8)+x(0x682)+x(0x4ad)+x(0x125e)+x(0x117d)+x(0x1db)+x(0x448)+x(0x8fe)+x(0x8a3)+x(0x8d1)+x(0x9ea)+x(0x26c)+x(0x906)+x(0x47f)+x(0xe50)+x(0x192)+x(0x56c)+x(0xb37)+x(0x857)+x(0xed4)+x(0xfab)+x(0xbe9)+x(0x3f1)+x(0xd92)+x(0xdad)+x(0x5e5)+x(0xc28)+x(0x1120)+x(0x1034)+x(0x386)+x(0xe77)+x(0x11eb)+x(0x1022)+x(0x638)+x(0xf12)+x(0x1090)+x(0x5d9)+x(0x650)+x(0x3e6)+x(0xf18)+x(0x12bd)+x(0x11a5)+x(0x872)+x(0x2e1)+x(0x12f7)+x(0x960)+x(0x546)+x(0xb1a)+x(0xc30)+x(0x6ed)+x(0xd03))+(x(0xac4)+x(0x8e3)+x(0x104b)+x(0x5af)+x(0xb8a)+x(0xb86)+x(0x122e)+x(0x70d)+x(0xb68)+x(0x3ee)+x(0x508)+x(0x131b)+x(0x111b)+x(0xea4)+x(0x1180)+x(0x879)+x(0xf05)+x(0x91c)+x(0xc6c)+x(0x118b)+x(0x543)+x(0x128e)+x(0xc23)+x(0x939)+x(0xa5f)+x(0xde6)+x(0x6d2)+x(0xd03)+x(0x4ef)+x(0x285)+x(0x338)+x(0xf27)+x(0x10de)+x(0x266)+x(0x1149)+x(0x937)+x(0x888)+x(0xe73)+x(0x3e3)+x(0x11b1)+x(0x10f5)+x(0xefa)+x(0x45b)+x(0x9a6)+x(0xcf1)+x(0xf56)+x(0x2da)+x(0x49f)+x(0xbb7)+x(0x1066)+x(0xdfb)+x(0xb6b)+x(0xfc1)+x(0xca2)+x(0x718)+x(0xf64)+x(0xeb8)+x(0x10b1)+x(0xf13)+x(0x1178)+x(0xb25)+x(0xf00)+x(0x12ab)+x(0x1174)+x(0x6b3)+x(0x9d9)+x(0x11d2)+x(0x10f3)+x(0xde5)+x(0xf64)+x(0xb00)+x(0x2e3)+x(0xcf9)+x(0xd03)+x(0x859)+x(0x9af)+x(0x82b)+x(0x1269)+x(0xb9c)+x(0x728)+x(0x7c4)+x(0xecf)+x(0x962)+x(0x6fc)+x(0x379)+x(0xde4)+x(0x74f)+x(0x8ea)+x(0xaf1)+x(0xd03)+x(0xb6c)+x(0x1072)+x(0xeb7)+x(0x797)+x(0x9a0)+x(0x873)+x(0xc3a)+x(0xba7)+x(0x1043)+x(0xc80))+(x(0x5fb)+x(0x317)+x(0xa42)+x(0xd50)+x(0xe84)+x(0xd1b)+x(0x775)+x(0xe08)+x(0x265)+x(0xeef)+x(0x555)+x(0x5f3)+x(0xe24)+x(0xcad)+x(0x29b)+x(0xf4a)+x(0xdcc)+x(0x761)+x(0xb96)+x(0x3a1)+x(0xcc7)+x(0x628)+x(0xcfc)+x(0xded)+x(0x1125)+x(0xded)+x(0xa01)+x(0xdb7)+x(0x5cf)+x(0x49e)+x(0x2cf)+x(0xc02)+x(0xdf4)+x(0xda1)+x(0x1b3)+x(0x12b8)+x(0x4db)+x(0x122d)+x(0xc9d)+x(0xdb7)+x(0x1e9)+x(0x1271)+x(0xc42)+x(0xa05)+x(0x500)+x(0x953)+x(0x7fd)+x(0x1040)+x(0x856)+x(0x919)+x(0x3c8)+x(0xa5d)+x(0xae2)+x(0x2f8)+x(0x506)+x(0x127f)+x(0xd03)+x(0x18a)+x(0x226)+x(0x9fd)+x(0x447)+x(0xe4a)+x(0x640)+x(0xdc4)+x(0x12ab)+x(0x120b)+x(0x105b)+x(0x569)+x(0xad1)+x(0xdb7)+x(0xde2)+x(0xd79)+x(0x35a)+x(0x38c)+x(0x954)+x(0x131d)+x(0xec1)+x(0x1138)+x(0x11bb)+x(0x46d)+x(0xee8)+x(0xa4a)+x(0xdc2)+x(0x125b)+x(0xc3f)+x(0xf0f)+x(0x928)+x(0x1176)+x(0x74e)+x(0x2e3)+x(0xf60)+x(0x189)+x(0xde5)+x(0x118a)+x(0x9ad)+x(0x102f)+x(0x1211)+x(0x767)+x(0xbfc)+x(0x5a8))+(x(0x2f7)+x(0x437)+x(0x3ae)+x(0xc64)+x(0xd47)+x(0x1d9)+x(0x918)+x(0x1ec)+x(0x360)+x(0xbfc)+x(0x521)+x(0x1114)+x(0xe1e)+x(0xe47)+x(0x5ce)+x(0xf62)+x(0x8c0)+x(0xb04)+x(0x278)+x(0x4ee)+x(0xd16)+x(0xe61)+x(0x529)+x(0xe25)+x(0x707)+x(0xc86)+x(0xcea)+x(0x714)+x(0x112c)+x(0xeda)+x(0xc14)+x(0x5fb)+x(0xf35)+x(0xf9b)+x(0xab0)+x(0xd12)+x(0x361)+x(0x12ee)+x(0x67e)+x(0xe13)+x(0x54e)+x(0xb8f)+x(0x638)+x(0xbf0)+x(0xcad)+x(0x29b)+x(0xf4a)+x(0x72d)+x(0xe4d)+x(0xb96)+x(0x1244)+x(0x1000)+x(0x630)+x(0xcfc)+x(0xded)+x(0x1125)+x(0xded)+x(0xa01)+x(0xdb7)+x(0x5cf)+x(0x49e)+x(0x2cf)+x(0x3bb)+x(0xdf4)+x(0xda1)+x(0x1b3)+x(0xae5)+x(0x5c0)+x(0x122d)+x(0xc9d)+x(0xdb7)+x(0x1e9)+x(0x1271)+x(0xc42)+x(0xa05)+x(0x500)+x(0x953)+x(0x7fd)+x(0x1040)+x(0x856)+x(0x919)+x(0x3c8)+x(0xa5d)+x(0xae2)+x(0x2f8)+x(0x506)+x(0x127f)+x(0xd03)+x(0x18a)+x(0x226)+x(0xec4)+x(0xef6)+x(0xe4a)+x(0x640)+x(0xdc4)+x(0x12ab)+x(0x120b)+x(0x105b)+x(0x569)+x(0xad1))+(x(0xdb7)+x(0xde2)+x(0xd79)+x(0x35a)+x(0x38c)+x(0x954)+x(0x903)+x(0xec1)+x(0x1138)+x(0x11bb)+x(0x46d)+x(0xee8)+x(0xc8b)+x(0xdc2)+x(0xbc7)+x(0x490)+x(0x9ee)+x(0x52e)+x(0x997)+x(0xe29)+x(0xcd4)+x(0x52e)+x(0xcbe)+x(0x12a7)+x(0xa3b)+x(0x2e3)+x(0x1239)+x(0xf21)+x(0x631)+x(0x10c2)+x(0x4c5)+x(0x3c6)+x(0x21a)+x(0x103a)+x(0x91a)+x(0x12b0)+x(0x93f)+x(0x1b7)+x(0x18f)+x(0x3fe)+x(0xe09)+x(0x35f)+x(0xbf7)+x(0xbbe)+x(0x1270)+x(0xd03)+x(0x2de)+x(0xd03)+x(0x349)+x(0x84e)+x(0xda8)+x(0xe37)+x(0x7a8)+x(0xdc3)+x(0xd93)+x(0x276)+x(0x291)+x(0x1299)+x(0x9d9)+x(0x595)+x(0x2d6)+x(0x55b)+x(0xc61)+x(0xcca)+x(0x913)+x(0x455)+x(0xd03)+x(0x240)+x(0xcca)+x(0xfc5)+x(0xb28)+x(0xf64)+x(0x7b7)+x(0xded)+x(0x1050)+x(0x918)+x(0x55a)+x(0x10c7)+x(0xb25)+x(0xb09)+x(0xd03)+x(0x796)+x(0x12ec)+x(0x8c4)+x(0x918)+x(0x4f0)+x(0x109b)+x(0x11a9)+x(0xd03)+x(0xabd)+x(0x55b)+x(0x407)+x(0xbbe)+x(0x4d5)+x(0xddd)+x(0x23a)+x(0xc13)+x(0xed2)+x(0xb80)+x(0x7ee))+(x(0x109b)+x(0x695)+x(0x12ec)+x(0xb9d)+x(0x481)+x(0xeae)+x(0x780)+x(0x12ec)+x(0x29a)+x(0xd03)+x(0x127d)+x(0x601)+x(0xd40)+x(0xf64)+x(0x812)+x(0x30d)+x(0x9d9)+x(0x362)+x(0x5a4)+x(0xd03)+x(0x70b)+x(0xfb0)+x(0xbbe)+x(0x5eb)+x(0xab3)+x(0xdb7)+x(0x7c7)+x(0x75a)+x(0x6f3)+x(0xc08)+x(0x51e)+x(0x3fc)+x(0xd03)+x(0x698)+x(0x65a)+x(0xd03)+x(0x32a)+x(0xc82)+x(0xc92)+x(0xb58)+x(0x22a)+x(0xd03)+x(0xa92)+x(0x9d9)+x(0xdff)+x(0x907)+x(0x88b)+x(0xf64)+x(0x6bb)+x(0xd03)+x(0x7aa)+x(0x1008)+x(0x1194)+x(0x6be)+x(0x452)+x(0x1275)+x(0xd89)+x(0xd03)+x(0x95e)+x(0x55b)+x(0x47d)+x(0xefa)+x(0xc83)+x(0x55b)+x(0xf68)+x(0xefa)+x(0x1020)+x(0x1e2)+x(0x1006)+x(0x9d9)+x(0xdff)+x(0x99e)+x(0xdb7)+x(0x7c7)+x(0x75a)+x(0xb3b)+x(0x52f)+x(0x1085)+x(0x27a)+x(0xb25)+x(0xa68)+x(0x1264)+x(0x1103)+x(0x66c)+x(0xb25)+x(0x7c1)+x(0xefa)+x(0x51d)+x(0x9a1)+x(0x12ec)+x(0xb1d)+x(0xb7f)+x(0x4c1)+x(0x238)+x(0x21f)+x(0xded)+x(0x527)+x(0xcdb)+x(0x12ec)+x(0x1e5))+(x(0x28d)+x(0x333)+x(0x55b)+x(0x4fd)+x(0x12bc)+x(0x442)+x(0xa70)+x(0xd95)+x(0x485)+x(0xb4b)+x(0x756)+x(0xba6)+x(0xaba)+x(0x10b3)+x(0x12eb)+x(0xe1d)+x(0xd65)+x(0x1d0)+x(0xc96)+x(0x25c)+x(0xe3d)+x(0x12f8)+x(0x578)+x(0x42d)+x(0xccd)+x(0x25b)+x(0x258)+x(0x8fc)+x(0xdc9)+x(0x9ca)+x(0x1041)+x(0x404)+x(0x764)+x(0x649)+x(0x3de)+x(0xd78)+x(0x12a9)+x(0xfa0)+x(0x61b)+x(0x4cb)+x(0xdf1)+x(0x1173)+x(0x601)+x(0xc87)+x(0x615)+x(0x109b)+x(0x8c6)+x(0xccd)+x(0x78c)+x(0x793)+x(0xccd)+x(0x989)+x(0x80b)+x(0x7df)+x(0xe1d)+x(0x7cf)+x(0x4cb)+x(0x822)+x(0x918)+x(0xcd6)+x(0xd03)+x(0x95b)+x(0xc30)+x(0x6e7)+x(0x601)+x(0xfdc)+x(0x131f)+x(0x11f9)+x(0x183)+x(0x615)+x(0x109b)+x(0x12e5)+x(0xccd)+x(0x332)+x(0x605)+x(0x6a2)+x(0x527)+x(0x601)+x(0x10d2)+x(0x270)+x(0x601)+x(0x4e5)+x(0x4cb)+x(0x57a)+x(0xb9b)+x(0x66f)+x(0x73c)+x(0xd03)+x(0x35d)+x(0x687)+x(0xc39)+x(0x646)+x(0x111b)+x(0x4b9)+x(0x1301)+x(0x527)+x(0x66f)+x(0x799)+x(0x625)+x(0x8fc))+(x(0xb63)+x(0x5ae)+x(0x1008)+x(0xf44)+x(0xfdb)+x(0x80b)+x(0x7df)+x(0x27e)+x(0xccd)+x(0x2a4)+x(0x42e)+x(0x964)+x(0x80b)+x(0x11ee)+x(0xd5e)+x(0xc39)+x(0x1184)+x(0x939)+x(0xa5f)+x(0xde6)+x(0x6d2)+x(0xd03)+x(0x4ef)+x(0xe57)+x(0xc39)+x(0x59d)+x(0xc67)+x(0x601)+x(0x12a0)+x(0x87a)+x(0x80b)+x(0x7df)+x(0x5b0)+x(0xb49)+x(0x11f9)+x(0x996)+x(0x105b)+x(0x569)+x(0xa32)+x(0xd03)+x(0xb84)+x(0x11b1)+x(0x80b)+x(0x92f)+x(0x10e8)+x(0x397)+x(0x80b)+x(0x92f)+x(0x12a6)+x(0x467)+x(0x42e)+x(0x1258)+x(0x607)+x(0x4cb)+x(0xd81)+x(0x8fc)+x(0xb63)+x(0x2ab)+x(0xd03)+x(0xafa)+x(0x7f4)+x(0xa96)+x(0xa9e)+x(0xccd)+x(0x430)+x(0x591)+x(0x59e)+x(0x97c)+x(0x4cb)+x(0x7c1)+x(0xefa)+x(0x51d)+x(0x6cb)+x(0x11f9)+x(0xdb6)+x(0x2fd)+x(0xc9c)+x(0x443)+x(0xaae)+x(0xd03)+x(0x5cd)+x(0x85b)+x(0x8fc)+x(0x11d2)+x(0x1085)+x(0x661)+x(0x42e)+x(0xc31)+x(0x7a9)+x(0x42e)+x(0xaf4)+x(0xb6a)+x(0xf20)+x(0xaa9)+x(0xb65)+x(0x10c8)+x(0x115a)+x(0x1009)+x(0xa85)+x(0xbff))+(x(0xc1f)+x(0xe83)+x(0xdac)+x(0xe92)+x(0xf54)+x(0x46f)+x(0x52b)+x(0x8af)+x(0xbc4)+x(0xd39)+x(0x12ca)+x(0x83b)+x(0x8c5)+x(0xd43)+x(0x2d6)+x(0x247)+x(0xd9c)+x(0x4dd)+x(0x81a)+x(0x12a3)+x(0xb6f)+x(0xc9a)+x(0xc76)+x(0xe87)+x(0x12db)+x(0xb12)+x(0x12ab)+x(0x729)+x(0x10da)+x(0x1001)+x(0x99a)+x(0x2f0)+x(0x1238)+x(0xf94)+x(0xbdd)+x(0x5ad)+x(0x59b)+x(0x40c)+x(0x1039)+x(0xded)+x(0x117c)+x(0xe82)+x(0x7f6)+x(0x2c9)+x(0x1263)+x(0xa17)+x(0xe55)+x(0x4da)+x(0x283)+x(0x3dd)+x(0xa64)+x(0x7c2)+x(0x1d1)+x(0xa15)+x(0x662)+x(0x2db)+x(0xb23)+x(0x1af)+x(0x626)+x(0x99f)+x(0xb5c)+x(0x888)+x(0xa5c)+x(0x109b)+x(0xdf3)+x(0x12e7)+x(0xec9)+x(0x5f2)+x(0xdb7)+x(0x49d)+x(0x1265)+x(0xdde)+x(0x880)+x(0xe10)+x(0xd66)+x(0x2d1)+x(0x31c)+x(0x9c4)+x(0x720)+x(0x229)+x(0x256)+x(0x5c6)+x(0x89c)+x(0xbaf)+x(0x12ab)+x(0x1174)+x(0x6b3)+x(0x323)+x(0x64d)+x(0x1f3)+x(0x28d)+x(0x333)+x(0xdd6)+x(0xca1)+x(0xeeb)+x(0x6b7)+x(0x4b5)+x(0x983)+x(0x597)+x(0x8d1))+(x(0xb1b)+x(0x12ac)+x(0x194)+x(0x24d)+x(0xa9f)+x(0x901)+x(0xcb9)+x(0xa40)+x(0x205)+x(0xd03)+x(0x22e)+x(0x413)+x(0x109b)+x(0x12fd)+x(0x42a)+x(0x1058)+x(0xe39)+x(0x130c)+x(0x34b)+x(0x409)+x(0x10d0)+x(0x1098)+x(0x105e)+x(0xc2d)+x(0xc6e)+x(0x6db)+x(0x1097)+x(0xc25)+x(0x7a5)+x(0x752)+x(0x29b)+x(0x306)+x(0x9fe)+x(0xe24)+x(0x12d5)+x(0x11bc)+x(0xda7)+x(0xc98)+x(0xd38)+x(0x8d2)+x(0xfb9)+x(0xd03)+x(0x369)+x(0x12ab)+x(0x790)+x(0xd79)+x(0x538)+x(0x1037)+x(0x6da)+x(0x834)+x(0x50b)+x(0x523)+x(0x287)+x(0xaa0)+x(0xbe2)+x(0x228)+x(0x81d)+x(0x1008)+x(0x24b)+x(0xcaa)+x(0x4e0)+x(0x348)+x(0x113a)+x(0x1a2)+x(0x78b)+x(0x1249)+x(0xd03)+x(0xdca)+x(0xb81)+x(0x3b2)+x(0xff3)+x(0x115f)+x(0x65a)+x(0xd03)+x(0x32a)+x(0xc82)+x(0xc92)+x(0xb58)+x(0x38b)+x(0x87d)+x(0x3a8)+x(0xa29)+x(0x46e)+x(0xb49)+x(0xd37)+x(0x6be)+x(0x11c7)+x(0xf79)+x(0x11b1)+x(0x12e6)+x(0xefa)+x(0x36e)+x(0x65e)+x(0x920)+x(0x785)+x(0x9cf)+x(0x865)+x(0x254)+x(0x31c)+x(0x9c4))+(x(0x3ac)+x(0x4cd)+x(0x6f8)+x(0x5c6)+x(0x89c)+x(0xbaf)+x(0x12ab)+x(0x1174)+x(0x6b3)+x(0x1130)+x(0xfa2)+x(0x1f3)+x(0x28d)+x(0x333)+x(0x41f)+x(0x1291)+x(0x1045)+x(0x8a9)+x(0x1ed)+x(0x1f4)+x(0xbce)+x(0xdd4)+x(0x1233)+x(0x129e)+x(0xf49)+x(0x9bd)+x(0xd45)+x(0x11b5)+x(0x1204)+x(0xe34)+x(0x8ce)+x(0xf4e)+x(0xa10)+x(0x98e)+x(0xa1b)+x(0xc51)+x(0x11f7)+x(0x20d)+x(0x1314)+x(0xc0f)+x(0x783)+x(0x32c)+x(0xa37)+x(0x668)+x(0x40e)+x(0xff0)+x(0x10eb)+x(0x359)+x(0xf4b)+x(0x673)+x(0x911)+x(0xb89)+x(0xc4a)+x(0x1311)+x(0xded)+x(0x7ab)+x(0xdb7)+x(0x108c)+x(0x2e1)+x(0x1317)+x(0x60e)+x(0x3c3)+x(0xda1)+x(0xb06)+x(0xb34)+x(0x12e3)+x(0x70f)+x(0xce8)+x(0xefa)+x(0x2ec)+x(0x697)+x(0xd03)+x(0x8ee)+x(0xe30)+x(0xe97)+x(0x4d1)+x(0xd23)+x(0x90d)+x(0x866)+x(0xfc8)+x(0x212)+x(0x44c)+x(0x1267)+x(0xe6a)+x(0x1167)+x(0x934)+x(0x55e)+x(0x124e)+x(0xb59)+x(0x11e6)+x(0x12fe)+x(0x52f)+x(0xe38)+x(0x8cb)+x(0x21e)+x(0xbaa)+x(0xbd8)+x(0x1124)+x(0x9f7)+x(0xa34))+(x(0x3c2)+x(0xfb1)+x(0x927)+x(0xd03)+x(0x72a)+x(0x462)+x(0x4ab)+x(0xbb5)+x(0x2f8)+x(0x3e1)+x(0x293)+x(0x8c8)+x(0x893)+x(0xeba)+x(0x830)+x(0x9a1)+x(0x9be)+x(0xd8d)+x(0x1088)+x(0x1178)+x(0xbdf)+x(0x121c)+x(0x109f)+x(0x443)+x(0x110e)+x(0x388)+x(0xcfa)+x(0x688)+x(0xf6a)+x(0xd03)+x(0xa57)+x(0xb72)+x(0x7c4)+x(0x1193)+x(0x1051)+x(0x45a)+x(0xdd0)+x(0xb30)+x(0x1264)+x(0x621)+x(0xbad)+x(0x8a0)+x(0x552)+x(0xf8d)+x(0xe9f)+x(0xab8)+x(0xba4)+x(0x12fb)+x(0xfed)+x(0xcd8)+x(0x12e0)+x(0x33f)+x(0x850)+x(0xef1)+x(0x1216)+x(0x398)+x(0x7f3)+x(0xdee)+x(0x12b5)+x(0x250)+x(0xb13)+x(0xa00)+x(0xd90)+x(0xd03)+x(0xdd8)+x(0xd03)+x(0xc72)+x(0x1008)+x(0x119b)+x(0x3c5)+x(0x6da)+x(0x123e)+x(0x6ff)+x(0xed9)+x(0x2ef)+x(0xcdc)+x(0xe31)+x(0xf5b)+x(0xc9b)+x(0xd31)+x(0x4a2)+x(0x3ff)+x(0x1067)+x(0xfd4)+x(0xd68)+x(0x69c)+x(0x5a6)+x(0x7d1)+x(0x924)+x(0x1094)+x(0x1e7)+x(0x329)+x(0x1242)+x(0x6af)+x(0x939)+x(0xa5f)+x(0xde6)+x(0x6d2)+x(0xd03)+x(0x4ef))+(x(0x11a2)+x(0xcdf)+x(0x46c)+x(0xe02)+x(0xcf6)+x(0x109b)+x(0x114f)+x(0xd03)+x(0x1005)+x(0xf61)+x(0x362)+x(0x12ae)+x(0xd03)+x(0xfb2)+x(0xd36)+x(0x25a)+x(0x96e)+x(0xd5c)+x(0xc58)+x(0xea3)+x(0x7f4)+x(0xa96)+x(0xc24)+x(0x891)+x(0xb95)+x(0x847)+x(0xbbe)+x(0x1270)+x(0xd03)+x(0xb69)+x(0xb71)+x(0x9d9)+x(0x11d2)+x(0x1176)+x(0x74e)+x(0x2e3)+x(0xcf9)+x(0xd03)+x(0x5cd)+x(0x773)+x(0xbbe)+x(0xdb6)+x(0x985)+x(0x116e)+x(0xf64)+x(0xdb3)+x(0x2a1)+x(0xfa7)+x(0xecc)+x(0x1dd)+x(0xd4b)+x(0x897)+x(0xaf2)+x(0xe7a)+x(0xb62)+x(0x717)+x(0x49a)+x(0xd03)+x(0x1273)+x(0x129a)+x(0xa5a)+x(0x102c)+x(0x493)+x(0xa53)+x(0xa2c)+x(0x331)+x(0x1f4)+x(0xbce)+x(0xd85)+x(0x6c9)+x(0xe49)+x(0xb52)+x(0x8f5)+x(0xdcc)+x(0x204)+x(0x7c1)+x(0xefa)+x(0x67a)+x(0x67f)+x(0x1117)+x(0xee9)+x(0x37c)+x(0xcee)+x(0xaec)+x(0x6f7)+x(0xa25)+x(0x11cd)+x(0xab5)+x(0x716)+x(0x204)+x(0x1162)+x(0x526)+x(0x918)+x(0xa75)+x(0x274)+x(0x975)+x(0x11b6)+x(0xe66)+x(0xc11)+x(0xce9))+(x(0xa28)+x(0xc84)+x(0x601)+x(0xf9e)+x(0x6b9)+x(0xce9)+x(0xb57)+x(0x12ab)+x(0x102e)+x(0x601)+x(0xdd7)+x(0x12db)+x(0x10b8)+x(0x601)+x(0xfdc)+x(0x942)+x(0xe3c)+x(0x882)+x(0x12b3)+x(0x5bb)+x(0xf06)+x(0x109b)+x(0x315)+x(0xbba)+x(0xa16)+x(0xce9)+x(0x604)+x(0x3a7)+x(0xe3c)+x(0x11e5)+x(0xce9)+x(0x7af)+x(0xd73)+x(0x950)+x(0x2c8)+x(0x1008)+x(0x24b)+x(0x5e1)+x(0xa3f)+x(0x646)+x(0x111b)+x(0x1133)+x(0x92f)+x(0x100d)+x(0xd03)+x(0xa22)+x(0xdcc)+x(0x204)+x(0xd1c)+x(0x12b3)+x(0x8bd)+x(0x114a)+x(0xbd9)+x(0xa3f)+x(0x2cd)+x(0xce9)+x(0xd8b)+x(0x8dc)+x(0x1227)+x(0xd74)+x(0xd03)+x(0x916)+x(0x204)+x(0xfd5)+x(0xa64)+x(0x7c2)+x(0x1d1)+x(0xa15)+x(0x662)+x(0x2db)+x(0x1d4)+x(0xa3f)+x(0x59d)+x(0xeb4)+x(0xd03)+x(0x1ef)+x(0xee0)+x(0xce9)+x(0x554)+x(0x4e6)+x(0x1118)+x(0xa3f)+x(0x5bd)+x(0x109b)+x(0x593)+x(0xce9)+x(0xb57)+x(0x745)+x(0x4bf)+x(0xa3f)+x(0x261)+x(0xefa)+x(0x11d5)+x(0x56f)+x(0x119c)+x(0x954)+x(0x1133)+x(0xfc5)+x(0x8bb)+x(0xce9))+(x(0x554)+x(0xb29)+x(0x92f)+x(0x29e)+x(0xd03)+x(0xda9)+x(0x7f4)+x(0xa96)+x(0xa3d)+x(0x601)+x(0xe4b)+x(0x10c8)+x(0x88f)+x(0x830)+x(0x737)+x(0x821)+x(0xd8d)+x(0x1088)+x(0xa7a)+x(0x5d2)+x(0x777)+x(0x702)+x(0x443)+x(0x2e4)+x(0x12dc)+x(0x2f2)+x(0x10ed)+x(0x242)+x(0x1cb)+x(0xdb5)+x(0xdaf)+x(0x1021)+x(0x100a)+x(0x10a9)+x(0xf0e)+x(0xed6)+x(0x1fa)+x(0x55b)+x(0x25b)+x(0x5f1)+x(0xbbe)+x(0xad0)+x(0x43b)+x(0xafb)+x(0x4ed)+x(0x1057)+x(0xc95)+x(0x335)+x(0x12d8)+x(0x94b)+x(0xee2)+x(0x5fa)+x(0x55b)+x(0xa91)+x(0x9d9)+x(0x11d2)+x(0x6bf)+x(0xf64)+x(0x7e0)+x(0x12ec)+x(0x627)+x(0x26d)+x(0x12ff)+x(0x8fd)+x(0x116b)+x(0xdb7)+x(0xef0)+x(0x10c7)+x(0xb25)+x(0x822)+x(0x918)+x(0x116b)+x(0xdb7)+x(0x1035)+x(0xc30)+x(0xacc)+x(0xd03)+x(0x887)+x(0xbde)+x(0x12ec)+x(0x198)+x(0x9d9)+x(0xe2a)+x(0x4f0)+x(0x109b)+x(0x86a)+x(0xb25)+x(0x118e)+x(0xbbe)+x(0xeb9)+x(0x119a)+x(0x12ec)+x(0x1086)+x(0xbbe)+x(0xb20)+x(0xa60)+x(0xf64)+x(0xada)+x(0x1008)+x(0x24b))+(x(0xbbc)+x(0xf64)+x(0x1a4)+x(0xded)+x(0x1020)+x(0xdb7)+x(0x18e)+x(0x601)+x(0x624)+x(0xe69)+x(0x12ec)+x(0x282)+x(0xddd)+x(0xd0f)+x(0x7f2)+x(0x5c5)+x(0xb25)+x(0x657)+x(0x9d9)+x(0x362)+x(0x3a5)+x(0xd03)+x(0x7d4)+x(0x55b)+x(0x73b)+x(0xbbe)+x(0xb48)+x(0x2f8)+x(0x506)+x(0x127f)+x(0xd03)+x(0x18a)+x(0x226)+x(0x11c4)+x(0xac3)+x(0x400)+x(0x5f0)+x(0xb25)+x(0x3e8)+x(0x52f)+x(0x837)+x(0xd03)+x(0x1234)+x(0x1149)+x(0x9d9)+x(0x1272)+x(0x1134)+x(0x1246)+x(0x9b6)+x(0xd03)+x(0xb84)+x(0x11b1)+x(0x9d9)+x(0x362)+x(0x10e8)+x(0x397)+x(0x9d9)+x(0x362)+x(0x12a6)+x(0xcb6)+x(0x1275)+x(0x81f)+x(0x1f7)+x(0xf64)+x(0x25f)+x(0x12ec)+x(0x29a)+x(0x1256)+x(0x11ee)+x(0x746)+x(0x31c)+x(0x9c4)+x(0x12bb)+x(0xd03)+x(0x8f7)+x(0xa76)+x(0x124a)+x(0xa50)+x(0xd03)+x(0x3bc)+x(0x476)+x(0xf0f)+x(0x928)+x(0x601)+x(0x438)+x(0xd8d)+x(0x1088)+x(0x1178)+x(0xb25)+x(0xd80)+x(0xff4)+x(0xf1c)+x(0xd03)+x(0xb0b)+x(0x6b3)+x(0x9d9)+x(0x11d2)+x(0xb17)+x(0x60f)+x(0x126a))+(x(0x279)+x(0x324)+x(0x6a4)+x(0x5dc)+x(0xd03)+x(0x34d)+x(0x816)+x(0x1129)+x(0x1be)+x(0x103f)+x(0x1195)+x(0x9bb)+x(0x11cb)+x(0x8f4)+x(0x9d9)+x(0xc34)+x(0x12ab)+x(0xcf2)+x(0x8d5)+x(0xfcf)+x(0xd53)+x(0x1d7)+x(0x514)+x(0x4a4)+x(0x2ee)+x(0xc6a)+x(0x4c2)+x(0x2a7)+x(0x1d4)+x(0xa3f)+x(0xeb8)+x(0x12af)+x(0x7b5)+x(0x6c3)+x(0x1d0)+x(0x11e9)+x(0xb52)+x(0x8f5)+x(0xdcc)+x(0x204)+x(0x7c1)+x(0xefa)+x(0x67a)+x(0x67f)+x(0x72e)+x(0x111f)+x(0x1a6)+x(0x645)+x(0xc77)+x(0x519)+x(0x570)+x(0x1ee)+x(0x7b3)+x(0x246)+x(0x204)+x(0x1162)+x(0x526)+x(0x918)+x(0xa75)+x(0xe3c)+x(0xa0d)+x(0xbc1)+x(0x23c)+x(0xf66)+x(0xe3c)+x(0xe2e)+x(0xd76)+x(0xd03)+x(0x12d1)+x(0x114d)+x(0xe3c)+x(0x3ab)+x(0xd03)+x(0x505)+x(0xd03)+x(0x95b)+x(0xc30)+x(0x83f)+x(0xd03)+x(0x3f5)+x(0x82d)+x(0x204)+x(0x542)+x(0xe3c)+x(0x1318)+x(0xbc1)+x(0xcc9)+x(0x248)+x(0x601)+x(0x895)+x(0xa3f)+x(0x1274)+x(0xb86)+x(0x56f)+x(0x689)+x(0xa3f)+x(0xe4f)+x(0x6fa)+x(0x109b)+x(0x1170))+(x(0x954)+x(0xfe1)+x(0x6fa)+x(0x1301)+x(0x663)+x(0xf53)+x(0x204)+x(0xf3b)+x(0xe3c)+x(0x930)+x(0x953)+x(0x390)+x(0x1301)+x(0x297)+x(0x601)+x(0x113c)+x(0xfdb)+x(0xbc1)+x(0xdff)+x(0xef7)+x(0xd03)+x(0x12a1)+x(0x56f)+x(0xb14)+x(0x204)+x(0x991)+x(0x2aa)+x(0x92f)+x(0x907)+x(0xe6a)+x(0x1167)+x(0x934)+x(0x55e)+x(0x124e)+x(0xb59)+x(0xbc1)+x(0x112a)+x(0x374)+x(0x204)+x(0xf50)+x(0x52f)+x(0x109c)+x(0xd03)+x(0x1036)+x(0x1149)+x(0xbc1)+x(0x2ea)+x(0x1134)+x(0x1246)+x(0x118c)+x(0xd03)+x(0xf82)+x(0x11b1)+x(0xbc1)+x(0xb63)+x(0xd79)+x(0x11ea)+x(0xce9)+x(0xd44)+x(0x1008)+x(0x835)+x(0x56f)+x(0x7e9)+x(0xde1)+x(0xd03)+x(0x818)+x(0x56f)+x(0xc3d)+x(0x204)+x(0xf26)+x(0xd03)+x(0xa7f)+x(0xbe8)+x(0xe3c)+x(0x39b)+x(0x949)+x(0x74b)+x(0xd55)+x(0xe3c)+x(0x784)+x(0xdb7)+x(0x10cc)+x(0x74d)+x(0xce9)+x(0xdb6)+x(0x2fd)+x(0xc9c)+x(0x443)+x(0x9f2)+x(0x918)+x(0x97f)+x(0xa19)+x(0xe3c)+x(0x1e5)+x(0x28d)+x(0x1092)+x(0x56f)+x(0x429)+x(0x117a)+x(0x12ad))+(x(0x6ee)+x(0x12b9)+x(0xaff)+x(0x8f5)+x(0x112b)+x(0xd7b)+x(0xe3c)+x(0x784)+x(0x918)+x(0x292)+x(0x963)+x(0xdaf)+x(0x115c)+x(0xbf8)+x(0xd86)+x(0x1308)+x(0xce9)+x(0x1270)+x(0xd03)+x(0xc63)+x(0x1008)+x(0x69a)+x(0x4f7)+x(0x3a6)+x(0x825)+x(0xe65)+x(0xbee)+x(0x3f9)+x(0xce5)+x(0x559)+x(0x1fe)+x(0xbc1)+x(0x595)+x(0xab9)+x(0x56f)+x(0xc61)+x(0x67a)+x(0x913)+x(0xa23)+x(0xd03)+x(0x240)+x(0x67a)+x(0xe95)+x(0x111e)+x(0xbba)+x(0xd41)+x(0x918)+x(0xeb5)+x(0x1e2)+x(0x968)+x(0xd6f)+x(0x204)+x(0xb09)+x(0xd03)+x(0x9a2)+x(0xe3c)+x(0x129f)+x(0xd03)+x(0x9f1)+x(0xd03)+x(0x586)+x(0x56f)+x(0xf2a)+x(0x204)+x(0x6dd)+x(0x2bf)+x(0xdb7)+x(0x75e)+x(0x66f)+x(0xf7f)+x(0x4c7)+x(0x601)+x(0x40b)+x(0x56f)+x(0x9f4)+x(0x6fa)+x(0xdb7)+x(0x1170)+x(0x954)+x(0xfe1)+x(0x6fa)+x(0xdb7)+x(0x81e)+x(0x959)+x(0xe3c)+x(0x800)+x(0xbc1)+x(0x203)+x(0xa99)+x(0xd43)+x(0x601)+x(0x1119)+x(0x204)+x(0xea1)+x(0xdb7)+x(0x1297)+x(0x1008)+x(0xd0d)+x(0x204)+x(0xcb0))+(x(0xbc1)+x(0x2ea)+x(0xeb5)+x(0x1e2)+x(0xa67)+x(0xa3f)+x(0x391)+x(0xa64)+x(0x7c2)+x(0x1d1)+x(0xa15)+x(0x662)+x(0x2db)+x(0x1d4)+x(0xa3f)+x(0xf65)+x(0xeb4)+x(0x1008)+x(0x11c1)+x(0x87a)+x(0xbd4)+x(0xaa8)+x(0x5b0)+x(0xb41)+x(0xe3c)+x(0x1054)+x(0x12ab)+x(0x2cc)+x(0x2aa)+x(0x1227)+x(0xf95)+x(0xb78)+x(0xe3c)+x(0x800)+x(0x1008)+x(0x12d3)+x(0xe3c)+x(0xf6d)+x(0x1008)+x(0x835)+x(0x56f)+x(0x7e9)+x(0xde1)+x(0x1008)+x(0x51c)+x(0xa3f)+x(0xb40)+x(0xce9)+x(0xb57)+x(0x4d2)+x(0x286)+x(0x232)+x(0xbc1)+x(0x112a)+x(0x103d)+x(0xaff)+x(0x8f5)+x(0xbc1)+x(0xc34)+x(0x12ab)+x(0xd99)+x(0x89c)+x(0xa6a)+x(0xded)+x(0xc27)+x(0x1160)+x(0x6e1)+x(0x110f)+x(0x601)+x(0x130b)+x(0x37b)+x(0xbc1)+x(0x11d2)+x(0x1085)+x(0xa7a)+x(0x204)+x(0x68b)+x(0xff0)+x(0x1024)+x(0x4d3)+x(0x1083)+x(0x10a5)+x(0xe3c)+x(0x784)+x(0xdb7)+x(0x6c2)+x(0xd00)+x(0xa3f)+x(0x9f5)+x(0x813)+x(0x918)+x(0x10ab)+x(0x4f9)+x(0x12c3)+x(0x10c5)+x(0x2bc)+x(0x11f5)+x(0x1164)+x(0x29d)+x(0xb24))+(x(0x281)+x(0x353)+x(0x21d)+x(0x49b)+x(0x390)+x(0x12eb)+x(0xe1d)+x(0xf71)+x(0xedc)+x(0x572)+x(0x918)+x(0x926)+x(0x563)+x(0x5de)+x(0x264)+x(0xed7)+x(0x436)+x(0x5ee)+x(0xa39)+x(0x908)+x(0xefa)+x(0x387)+x(0xe62)+x(0x1282)+x(0xf3d)+x(0xd86)+x(0x1308)+x(0xce9)+x(0x1270)+x(0xd03)+x(0x10f8)+x(0x572)+x(0x918)+x(0x6c4)+x(0x53c)+x(0x694)+x(0xa3f)+x(0x72c)+x(0xf76)+x(0x2aa)+x(0xded)+x(0xeb5)+x(0xdb7)+x(0xbe3)+x(0xb98)+x(0xf90)+x(0x5b9)+x(0xe06)+x(0xa1e)+x(0x3e9)+x(0xce9)+x(0xa45)+x(0xbc1)+x(0xacb)+x(0x1177)+x(0x23d)+x(0xa3f)+x(0xabf)+x(0x204)+x(0x10e0)+x(0x488)+x(0x1280)+x(0x1325)+x(0xa9d)+x(0xe7f)+x(0x2ba)+x(0x7a4)+x(0x48b)+x(0xb2e)+x(0x11f0)+x(0xd46)+x(0x8cc)+x(0x86f)+x(0x109a)+x(0x62f)+x(0x18b)+x(0xafe)+x(0x885)+x(0xd2d)+x(0xbd1)+x(0x4a8)+x(0x8d4)+x(0xf7a)+x(0xd5b)+x(0x191)+x(0x426)+x(0xf5c)+x(0x1288)+x(0xe48)+x(0x29d)+x(0x726)+x(0xba9)+x(0xcbb)+x(0xc0e)+x(0xd43)+x(0x601)+x(0x12b6)+x(0x6e4)+x(0xdaf)+x(0x1021))+(x(0x100a)+x(0x10a9)+x(0xf0e)+x(0x48d)+x(0x1b8)+x(0x56f)+x(0x25b)+x(0xf39)+x(0xce9)+x(0x289)+x(0x113f)+x(0x614)+x(0xa8c)+x(0x795)+x(0x121d)+x(0xc44)+x(0xa69)+x(0x1261)+x(0x633)+x(0xefb)+x(0xa3f)+x(0xbea)+x(0x2aa)+x(0xded)+x(0x7fb)+x(0x204)+x(0x644)+x(0xe3c)+x(0xc5f)+x(0x7bf)+x(0xa3f)+x(0x6f4)+x(0x93a)+x(0xecc)+x(0x3bc)+x(0xd6f)+x(0x204)+x(0x822)+x(0x918)+x(0xeb5)+x(0xdb7)+x(0x1035)+x(0xc30)+x(0x83f)+x(0xd03)+x(0xd1f)+x(0x942)+x(0xe3c)+x(0xcff)+x(0xbc1)+x(0xa2d)+x(0x393)+x(0x6e3)+x(0x315)+x(0xa3f)+x(0x94f)+x(0xe3c)+x(0x5a1)+x(0x3a7)+x(0xe3c)+x(0x6df)+x(0xce9)+x(0xf15)+x(0x1ff)+x(0xa3f)+x(0x12f9)+x(0x1008)+x(0x24b)+x(0x5e1)+x(0xa3f)+x(0x1a4)+x(0xded)+x(0x2bf)+x(0xdb7)+x(0x2f6)+x(0x601)+x(0xb0a)+x(0x10a5)+x(0xe3c)+x(0x282)+x(0x11b6)+x(0x9b7)+x(0x7f2)+x(0xf16)+x(0x30b)+x(0x11a4)+x(0x11b6)+x(0xf57)+x(0xd3c)+x(0x601)+x(0x2a9)+x(0xa3f)+x(0xfb8)+x(0xbc1)+x(0x362)+x(0x907)+x(0xe6a)+x(0x1167)+x(0x934)+x(0x55e))+(x(0x124e)+x(0xb59)+x(0xbc1)+x(0x66d)+x(0x374)+x(0x30b)+x(0xb64)+x(0xd03)+x(0xa6f)+x(0x66f)+x(0x863)+x(0x109b)+x(0xeb5)+x(0xdb7)+x(0x776)+x(0x3f8)+x(0x416)+x(0x56f)+x(0x10b0)+x(0x362)+x(0xe12)+x(0xdb7)+x(0x1035)+x(0xfb1)+x(0x6fa)+x(0xdb7)+x(0x326)+x(0x56d)+x(0xce9)+x(0xa28)+x(0x472)+x(0x30b)+x(0x11a4)+x(0xbc1)+x(0x362)+x(0x29e)+x(0xd03)+x(0xafa)+x(0x7f4)+x(0xa96)+x(0xa3d)+x(0x601)+x(0xe4b)+x(0x10c8)+x(0xfdd)+x(0xf02)+x(0x601)+x(0x12b6)+x(0x8b6)+x(0x699)+x(0x1092)+x(0x56f)+x(0x316)+x(0xdb7)+x(0xc99)+x(0x737)+x(0xe3c)+x(0xb1d)+x(0x9b0)+x(0x877)+x(0x601)+x(0x3b8)+x(0x238)+x(0xa6a)+x(0xded)+x(0xb0d)+x(0xbc1)+x(0x595)+x(0xd8f)+x(0xc85)+x(0x1276)+x(0xe3c)+x(0xb55)+x(0xce9)+x(0x108b)+x(0xd1a)+x(0x12c5)+x(0x10e6)+x(0xd03)+x(0x1326)+x(0xe54)+x(0x601)+x(0x5df)+x(0x10bb)+x(0x314)+x(0x1e2)+x(0xd74)+x(0xd03)+x(0x938)+x(0xf89)+x(0xf09)+x(0xce9)+x(0x412)+x(0xcda)+x(0xbc1)+x(0x11d2)+x(0x1210)+x(0x1e2)+x(0x5ff)+x(0xc1b))+(x(0x1078)+x(0x2f3)+x(0xd03)+x(0x6b5)+x(0x1c8)+x(0xdbe)+x(0x56f)+x(0x560)+x(0x1250)+x(0x5b5)+x(0x918)+x(0x1013)+x(0x48d)+x(0x10a1)+x(0x57f)+x(0x709)+x(0x571)+x(0x591)+x(0x273)+x(0x3da)+x(0xa8f)+x(0x12eb)+x(0xe1d)+x(0xe43)+x(0xf64)+x(0x3ec)+x(0x823)+x(0xe0d)+x(0xe6c)+x(0x66b)+x(0x3d0)+x(0xf85)+x(0x545)+x(0xd1d)+x(0xe0f)+x(0xe18)+x(0x918)+x(0xb5f)+x(0x12ec)+x(0xccc)+x(0x738)+x(0x601)+x(0x7ff)+x(0xf64)+x(0xd6e)+x(0xd8a)+x(0x75a)+x(0x114e)+x(0x1050)+x(0xecc)+x(0x3f5)+x(0x10c7)+x(0xb25)+x(0xf38)+x(0x918)+x(0xc78)+x(0xd03)+x(0xd4c)+x(0x12db)+x(0x221)+x(0x601)+x(0x130f)+x(0x190)+x(0xbbe)+x(0xfc4)+x(0x1256)+x(0xd7d)+x(0x10c1)+x(0xd03)+x(0xc65)+x(0xc08)+x(0x6a1)+x(0xddd)+x(0xefa)+x(0x12ce)+x(0x9d9)+x(0xeb3)+x(0x7ee)+x(0x109b)+x(0x123c)+x(0xac3)+x(0x548)+x(0x5d0)+x(0x3ee)+x(0x508)+x(0x1a3)+x(0x1c9)+x(0x663)+x(0x10ea)+x(0x1275)+x(0xa97)+x(0x1a3)+x(0x9c8)+x(0x7f1)+x(0x1fa)+x(0x75a)+x(0x1110)+x(0xac3)+x(0x548)+x(0x114a))+(x(0x8c9)+x(0x12ff)+x(0xf6f)+x(0x1a3)+x(0x1c9)+x(0xb5e)+x(0x601)+x(0x1305)+x(0xf64)+x(0xf4d)+x(0x1a3)+x(0x1c9)+x(0xdaa)+x(0xc50)+x(0x808)+x(0x48a)+x(0xbf4)+x(0x40f)+x(0x61c)+x(0xfe4)+x(0xecc)+x(0x3d9)+x(0xac3)+x(0x551)+x(0x907)+x(0x88b)+x(0x12ff)+x(0x5f5)+x(0x12ab)+x(0x1188)+x(0x601)+x(0xec6)+x(0x6be)+x(0x452)+x(0xb25)+x(0xf0d)+x(0xdb7)+x(0x127e)+x(0x66f)+x(0xcb7)+x(0xefa)+x(0xc83)+x(0x75a)+x(0x69b)+x(0xdb7)+x(0xbb9)+x(0x1008)+x(0x11f3)+x(0xad9)+x(0xd03)+x(0x1254)+x(0x75a)+x(0x96f)+x(0xbbe)+x(0xb57)+x(0x4d2)+x(0x286)+x(0x232)+x(0x1a3)+x(0x3e2)+x(0xcc3)+x(0xb21)+x(0x89a)+x(0xb74)+x(0x495)+x(0xfb5)+x(0x3f4)+x(0xb94)+x(0x9dc)+x(0x918)+x(0x1225)+x(0x4c9)+x(0x106f)+x(0x333)+x(0x55b)+x(0xe74)+x(0x7ed)+x(0x21f)+x(0xded)+x(0xaab)+x(0x9a1)+x(0x12ec)+x(0xc31)+x(0x388)+x(0x9e9)+x(0x6a4)+x(0xd69)+x(0x299)+x(0xecc)+x(0xfe2)+x(0x816)+x(0xd51)+x(0x721)+x(0x743)+x(0x411)+x(0x766)+x(0x852)+x(0x50f)+x(0x202)+x(0x1e8))+(x(0xfff)+x(0xfea)+x(0x1e6)+x(0x4cf)+x(0xb8c)+x(0xd39)+x(0xe9c)+x(0x77c)+x(0xef1)+x(0x441)+x(0x929)+x(0x3e6)+x(0x1172)+x(0x567)+x(0xd4e)+x(0x53a)+x(0x49e)+x(0x4ce)+x(0xe3f)+x(0xd15)+x(0x1026)+x(0x954)+x(0x1ba)+x(0xbb3)+x(0x616)+x(0x12ba)+x(0xd02)+x(0xe0e)+x(0xe9d)+x(0x733)+x(0xef3)+x(0x381)+x(0xd31)+x(0x4a2)+x(0xb31)+x(0x11fe)+x(0x111b)+x(0x12a5)+x(0x1029)+x(0xe90)+x(0xff2)+x(0x78e)+x(0x8a4)+x(0xcc4)+x(0xae4)+x(0xddc)+x(0x8e1)+x(0x2f8)+x(0x506)+x(0x127f)+x(0xd03)+x(0x18a)+x(0x226)+x(0xfae)+x(0x12a4)+x(0x7cd)+x(0x640)+x(0x842)+x(0x12ab)+x(0x703)+x(0x970)+x(0x1246)+x(0x11d7)+x(0x745)+x(0x1071)+x(0xc62)+x(0xfb1)+x(0x12fc)+x(0x1008)+x(0x958)+x(0xdb2)+x(0x41a)+x(0xe07)+x(0x79d)+x(0x1066)+x(0xdfb)+x(0xf32)+x(0xe19)+x(0x11a1)+x(0xdef)+x(0xb71)+x(0xc0d)+x(0xd03)+x(0xab6)+x(0x9ad)+x(0x308)+x(0x9df)+x(0x8e8)+x(0x6e1)+x(0x928)+x(0xa4d)+x(0x128a)+x(0xd24)+x(0xca8)+x(0x2b8)+x(0x881)+x(0xab7)+x(0x22a)+x(0xd03)+x(0x3bc))+(x(0xa8b)+x(0x6c9)+x(0xfd8)+x(0xf91)+x(0xca5)+x(0xe44)+x(0x121e)+x(0x3c9)+x(0xfe5)+x(0xe23)+x(0xf37)+x(0xae9)+x(0xf99)+x(0xd71)+x(0xa66)+x(0x1e4)+x(0x47c)+x(0x4c8)+x(0xa82)+x(0x9fe)+x(0xc2c)+x(0xd4a)+x(0x641)+x(0x82c)+x(0x7f8)+x(0x1c4)+x(0x341)+x(0xe9b)+x(0xaa4)+x(0x9c0)+x(0x54b)+x(0x860)+x(0x12db)+x(0xca7)+x(0x12ab)+x(0x10b7)+x(0xff1)+x(0xf42)+x(0xbb2)+x(0x978)+x(0xa74)+x(0x42f)+x(0xb67)+x(0x481)+x(0xeae)+x(0x564)+x(0x1310)+x(0xfd4)+x(0xc55)+x(0xcf3)+x(0xb76)+x(0x225)+x(0x686)+x(0xfdf)+x(0x6a7)+x(0xe07)+x(0x3e0)+x(0x2b9)+x(0xd03)+x(0x931)+x(0x95f)+x(0x1e2)+x(0x33a)+x(0x456)+x(0x879)+x(0x7ca)+x(0x9f6)+x(0x46d)+x(0x8df)+x(0xd03)+x(0x579)+x(0x105b)+x(0x569)+x(0xa6b)+x(0xd03)+x(0x861)+x(0xbbb)+x(0x7c5)+x(0x3ad)+x(0xd03)+x(0x72a)+x(0x462)+x(0xc12)+x(0x58e)+x(0x4d2)+x(0x286)+x(0x232)+x(0xe11)+x(0x591)+x(0x273)+x(0x3e4)+x(0x55b)+x(0x25b)+x(0xa38)+x(0x9ee)+x(0x116e)+x(0xf64)+x(0x187)+x(0xd03)+x(0xab6))+(x(0x9ad)+x(0xbbe)+x(0xdb6)+x(0x200)+x(0x91d)+x(0x55b)+x(0xc43)+x(0x443)+x(0x9dc)+x(0x918)+x(0x7dd)+x(0xfe4)+x(0x109b)+x(0x1285)+x(0x4d3)+x(0x89a)+x(0xe69)+x(0x12ec)+x(0x784)+x(0xdb7)+x(0x116b)+x(0x6fc)+x(0x455)+x(0xd03)+x(0x470)+x(0xcca)+x(0xe66)+x(0x1064)+x(0x55b)+x(0xf1d)+x(0xc4a)+x(0x9d9)+x(0xbfe)+x(0x12ab)+x(0xf9a)+x(0x601)+x(0x231)+x(0x94e)+x(0x11dc)+x(0x9bc)+x(0x9e1)+x(0xb25)+x(0x463)+x(0x918)+x(0x4f0)+x(0x918)+x(0x259)+x(0x601)+x(0x9ef)+x(0x55b)+x(0xee3)+x(0x1c7)+x(0xd03)+x(0x762)+x(0x582)+x(0xbbe)+x(0x4b6)+x(0x9d9)+x(0xdff)+x(0x124b)+x(0x55b)+x(0xda5)+x(0xf64)+x(0xf8c)+x(0xefa)+x(0x1e9)+x(0xcb8)+x(0x12ec)+x(0x944)+x(0x9d9)+x(0xdff)+x(0xc66)+x(0x951)+x(0x55b)+x(0xced)+x(0xf64)+x(0x7f0)+x(0x954)+x(0x11c3)+x(0xb25)+x(0xcf8)+x(0xbbe)+x(0x371)+x(0x1c7)+x(0xd03)+x(0x921)+x(0x601)+x(0x10af)+x(0xb25)+x(0x742)+x(0x12ec)+x(0xea2)+x(0x85d)+x(0xded)+x(0x7ee)+x(0xd9d)+x(0x1111)+x(0x971)+x(0x12ec)+x(0x7f5))+(x(0x654)+x(0x9d9)+x(0x11d2)+x(0x21f)+x(0x8f2)+x(0x5b7)+x(0x601)+x(0xd26)+x(0x55b)+x(0xec2)+x(0x12ec)+x(0xdd3)+x(0xbbe)+x(0xe6b)+x(0x745)+x(0x4f1)+x(0x55b)+x(0x1d6)+x(0xdf6)+x(0xd03)+x(0x116f)+x(0x9d9)+x(0x11d2)+x(0x21f)+x(0x8f2)+x(0xe20)+x(0x601)+x(0xd26)+x(0x55b)+x(0x3a2)+x(0x12ec)+x(0xdd3)+x(0xbbe)+x(0xe6b)+x(0xdf5)+x(0xbbe)+x(0xf88)+x(0x1256)+x(0x98c)+x(0x5e2)+x(0xd03)+x(0x921)+x(0x601)+x(0xe98)+x(0xbbe)+x(0x4b6)+x(0x9d9)+x(0xe2a)+x(0xc66)+x(0x556)+x(0xf64)+x(0x422)+x(0x802)+x(0xf64)+x(0x8f8)+x(0x12ec)+x(0x6fe)+x(0x9d9)+x(0x11d2)+x(0x21f)+x(0x98c)+x(0x124b)+x(0x55b)+x(0xda5)+x(0xf64)+x(0x103c)+x(0xacb)+x(0x9a5)+x(0x98c)+x(0xd61)+x(0xed2)+x(0x913)+x(0x503)+x(0x55b)+x(0x47b)+x(0x769)+x(0xb25)+x(0xf7b)+x(0x811)+x(0xe15)+x(0x10a2)+x(0x100f)+x(0x1a3)+x(0x888)+x(0x1277)+x(0xb62)+x(0xf1b)+x(0x1195)+x(0x600)+x(0x4d7)+x(0xd7c)+x(0x1055)+x(0xf0b)+x(0x1075)+x(0xb39)+x(0x722)+x(0x340)+x(0x12ef)+x(0x9d9)+x(0xc34))+(x(0x12ab)+x(0xf5f)+x(0x601)+x(0xb4c)+x(0x69d)+x(0x428)+x(0x1070)+x(0xfd7)+x(0x3c7)+x(0x1fc)+x(0x85a)+x(0x110d)+x(0x61f)+x(0x9d9)+x(0x73d)+x(0xc79)+x(0xf64)+x(0xf3e)+x(0x54f)+x(0xecc)+x(0x455)+x(0xd03)+x(0x6fb)+x(0xa95)+x(0x1e2)+x(0xf5e)+x(0xb25)+x(0x53f)+x(0x918)+x(0x116b)+x(0x1e2)+x(0x968)+x(0x10c7)+x(0xb25)+x(0x10f1)+x(0xd03)+x(0x796)+x(0x12ec)+x(0x8c4)+x(0x918)+x(0x4f0)+x(0x109b)+x(0x11a9)+x(0xd03)+x(0x8e2)+x(0x601)+x(0xf98)+x(0x12ec)+x(0x68a)+x(0x9d9)+x(0xdc9)+x(0x3bd)+x(0xbbe)+x(0x10ac)+x(0x21f)+x(0x888)+x(0xe40)+x(0xb25)+x(0x1c2)+x(0xd79)+x(0x12b4)+x(0xf07)+x(0xb25)+x(0x905)+x(0x918)+x(0xbb9)+x(0xd03)+x(0x12f0)+x(0x55b)+x(0x12c6)+x(0xa0c)+x(0xbbe)+x(0x7da)+x(0x1ca)+x(0x109b)+x(0x368)+x(0xda4)+x(0x12ec)+x(0x719)+x(0xddd)+x(0xb77)+x(0xb5e)+x(0x601)+x(0x1305)+x(0xf64)+x(0xf4d)+x(0x9d9)+x(0x518)+x(0x907)+x(0xe6a)+x(0x1167)+x(0x934)+x(0x55e)+x(0x124e)+x(0xb59)+x(0x9d9)+x(0x66d)+x(0x5f0)+x(0xb25)+x(0x58b))+(x(0x52f)+x(0x837)+x(0xd03)+x(0x3f3)+x(0x1149)+x(0x9d9)+x(0x2ea)+x(0x1134)+x(0x1246)+x(0x9b6)+x(0xd03)+x(0xf82)+x(0x11b1)+x(0x9d9)+x(0x518)+x(0x10e8)+x(0x397)+x(0x9d9)+x(0x518)+x(0x12a6)+x(0xcb6)+x(0xb25)+x(0x1292)+x(0xdf0)+x(0x55b)+x(0x454)+x(0xb25)+x(0xf1a)+x(0x9d9)+x(0x2ea)+x(0x272)+x(0x1066)+x(0xdfb)+x(0xed2)+x(0xfc5)+x(0xcc3)+x(0xb21)+x(0x89a)+x(0xb74)+x(0x495)+x(0xfb5)+x(0x3f4)+x(0xb94)+x(0x9dc)+x(0x918)+x(0x1225)+x(0x4c9)+x(0x106f)+