@0x/sol-compiler
Version:
Solidity compiler wrapper and artifactor
1 lines • 8.27 MB
JavaScript
var Module;if(!Module)Module=(typeof Module!=="undefined"?Module:null)||{};var moduleOverrides={};for(var key in Module){if(Module.hasOwnProperty(key)){moduleOverrides[key]=Module[key]}}var ENVIRONMENT_IS_WEB=typeof window==="object";var ENVIRONMENT_IS_WORKER=typeof importScripts==="function";var ENVIRONMENT_IS_NODE=typeof process==="object"&&typeof require==="function"&&!ENVIRONMENT_IS_WEB&&!ENVIRONMENT_IS_WORKER;var ENVIRONMENT_IS_SHELL=!ENVIRONMENT_IS_WEB&&!ENVIRONMENT_IS_NODE&&!ENVIRONMENT_IS_WORKER;if(ENVIRONMENT_IS_NODE){if(!Module["print"])Module["print"]=function print(x){process["stdout"].write(x+"\n")};if(!Module["printErr"])Module["printErr"]=function printErr(x){process["stderr"].write(x+"\n")};var nodeFS=require("fs");var nodePath=require("path");Module["read"]=function read(filename,binary){filename=nodePath["normalize"](filename);var ret=nodeFS["readFileSync"](filename);if(!ret&&filename!=nodePath["resolve"](filename)){filename=path.join(__dirname,"..","src",filename);ret=nodeFS["readFileSync"](filename)}if(ret&&!binary)ret=ret.toString();return ret};Module["readBinary"]=function readBinary(filename){var ret=Module["read"](filename,true);if(!ret.buffer){ret=new Uint8Array(ret)}assert(ret.buffer);return ret};Module["load"]=function load(f){globalEval(read(f))};if(!Module["thisProgram"]){if(process["argv"].length>1){Module["thisProgram"]=process["argv"][1].replace(/\\/g,"/")}else{Module["thisProgram"]="unknown-program"}}Module["arguments"]=process["argv"].slice(2);if(typeof module!=="undefined"){module["exports"]=Module}process["on"]("uncaughtException",(function(ex){if(!(ex instanceof ExitStatus)){throw ex}}));Module["inspect"]=(function(){return"[Emscripten Module object]"})}else if(ENVIRONMENT_IS_SHELL){if(!Module["print"])Module["print"]=print;if(typeof printErr!="undefined")Module["printErr"]=printErr;if(typeof read!="undefined"){Module["read"]=read}else{Module["read"]=function read(){throw"no read() available (jsc?)"}}Module["readBinary"]=function readBinary(f){if(typeof readbuffer==="function"){return new Uint8Array(readbuffer(f))}var data=read(f,"binary");assert(typeof data==="object");return data};if(typeof scriptArgs!="undefined"){Module["arguments"]=scriptArgs}else if(typeof arguments!="undefined"){Module["arguments"]=arguments}}else if(ENVIRONMENT_IS_WEB||ENVIRONMENT_IS_WORKER){Module["read"]=function read(url){var xhr=new XMLHttpRequest;xhr.open("GET",url,false);xhr.send(null);return xhr.responseText};if(typeof arguments!="undefined"){Module["arguments"]=arguments}if(typeof console!=="undefined"){if(!Module["print"])Module["print"]=function print(x){console.log(x)};if(!Module["printErr"])Module["printErr"]=function printErr(x){console.log(x)}}else{var TRY_USE_DUMP=false;if(!Module["print"])Module["print"]=TRY_USE_DUMP&&typeof dump!=="undefined"?(function(x){dump(x)}):(function(x){})}if(ENVIRONMENT_IS_WORKER){Module["load"]=importScripts}if(typeof Module["setWindowTitle"]==="undefined"){Module["setWindowTitle"]=(function(title){document.title=title})}}else{throw"Unknown runtime environment. Where are we?"}function globalEval(x){throw"NO_DYNAMIC_EXECUTION was set, cannot eval"}if(!Module["load"]&&Module["read"]){Module["load"]=function load(f){globalEval(Module["read"](f))}}if(!Module["print"]){Module["print"]=(function(){})}if(!Module["printErr"]){Module["printErr"]=Module["print"]}if(!Module["arguments"]){Module["arguments"]=[]}if(!Module["thisProgram"]){Module["thisProgram"]="./this.program"}Module.print=Module["print"];Module.printErr=Module["printErr"];Module["preRun"]=[];Module["postRun"]=[];for(var key in moduleOverrides){if(moduleOverrides.hasOwnProperty(key)){Module[key]=moduleOverrides[key]}}var Runtime={setTempRet0:(function(value){tempRet0=value}),getTempRet0:(function(){return tempRet0}),stackSave:(function(){return STACKTOP}),stackRestore:(function(stackTop){STACKTOP=stackTop}),getNativeTypeSize:(function(type){switch(type){case"i1":case"i8":return 1;case"i16":return 2;case"i32":return 4;case"i64":return 8;case"float":return 4;case"double":return 8;default:{if(type[type.length-1]==="*"){return Runtime.QUANTUM_SIZE}else if(type[0]==="i"){var bits=parseInt(type.substr(1));assert(bits%8===0);return bits/8}else{return 0}}}}),getNativeFieldSize:(function(type){return Math.max(Runtime.getNativeTypeSize(type),Runtime.QUANTUM_SIZE)}),STACK_ALIGN:16,prepVararg:(function(ptr,type){if(type==="double"||type==="i64"){if(ptr&7){assert((ptr&7)===4);ptr+=4}}else{assert((ptr&3)===0)}return ptr}),getAlignSize:(function(type,size,vararg){if(!vararg&&(type=="i64"||type=="double"))return 8;if(!type)return Math.min(size,8);return Math.min(size||(type?Runtime.getNativeFieldSize(type):0),Runtime.QUANTUM_SIZE)}),dynCall:(function(sig,ptr,args){if(args&&args.length){if(!args.splice)args=Array.prototype.slice.call(args);args.splice(0,0,ptr);return Module["dynCall_"+sig].apply(null,args)}else{return Module["dynCall_"+sig].call(null,ptr)}}),functionPointers:[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],addFunction:(function(func){for(var i=0;i<Runtime.functionPointers.length;i++){if(!Runtime.functionPointers[i]){Runtime.functionPointers[i]=func;return 2*(1+i)}}throw"Finished up all reserved function pointers. Use a higher value for RESERVED_FUNCTION_POINTERS."}),removeFunction:(function(index){Runtime.functionPointers[(index-2)/2]=null}),warnOnce:(function(text){if(!Runtime.warnOnce.shown)Runtime.warnOnce.shown={};if(!Runtime.warnOnce.shown[text]){Runtime.warnOnce.shown[text]=1;Module.printErr(text)}}),funcWrappers:{},getFuncWrapper:(function(func,sig){assert(sig);if(!Runtime.funcWrappers[sig]){Runtime.funcWrappers[sig]={}}var sigCache=Runtime.funcWrappers[sig];if(!sigCache[func]){sigCache[func]=function dynCall_wrapper(){return Runtime.dynCall(sig,func,arguments)}}return sigCache[func]}),getCompilerSetting:(function(name){throw"You must build with -s RETAIN_COMPILER_SETTINGS=1 for Runtime.getCompilerSetting or emscripten_get_compiler_setting to work"}),stackAlloc:(function(size){var ret=STACKTOP;STACKTOP=STACKTOP+size|0;STACKTOP=STACKTOP+15&-16;return ret}),staticAlloc:(function(size){var ret=STATICTOP;STATICTOP=STATICTOP+size|0;STATICTOP=STATICTOP+15&-16;return ret}),dynamicAlloc:(function(size){var ret=DYNAMICTOP;DYNAMICTOP=DYNAMICTOP+size|0;DYNAMICTOP=DYNAMICTOP+15&-16;if(DYNAMICTOP>=TOTAL_MEMORY){var success=enlargeMemory();if(!success){DYNAMICTOP=ret;return 0}}return ret}),alignMemory:(function(size,quantum){var ret=size=Math.ceil(size/(quantum?quantum:16))*(quantum?quantum:16);return ret}),makeBigInt:(function(low,high,unsigned){var ret=unsigned?+(low>>>0)+ +(high>>>0)*+4294967296:+(low>>>0)+ +(high|0)*+4294967296;return ret}),GLOBAL_BASE:8,QUANTUM_SIZE:4,__dummy__:0};Module["Runtime"]=Runtime;var __THREW__=0;var ABORT=false;var EXITSTATUS=0;var undef=0;var tempValue,tempInt,tempBigInt,tempInt2,tempBigInt2,tempPair,tempBigIntI,tempBigIntR,tempBigIntS,tempBigIntP,tempBigIntD,tempDouble,tempFloat;var tempI64,tempI64b;var tempRet0,tempRet1,tempRet2,tempRet3,tempRet4,tempRet5,tempRet6,tempRet7,tempRet8,tempRet9;function assert(condition,text){if(!condition){abort("Assertion failed: "+text)}}var globalScope=this;function getCFunc(ident){var func=Module["_"+ident];if(!func){abort("NO_DYNAMIC_EXECUTION was set, cannot eval - ccall/cwrap are not functional")}assert(func,"Cannot call unknown function "+ident+" (perhaps LLVM optimizations or closure removed it?)");return func}var cwrap,ccall;((function(){var JSfuncs={"stackSave":(function(){Runtime.stackSave()}),"stackRestore":(function(){Runtime.stackRestore()}),"arrayToC":(function(arr){var ret=Runtime.stackAlloc(arr.length);writeArrayToMemory(arr,ret);return ret}),"stringToC":(function(str){var ret=0;if(str!==null&&str!==undefined&&str!==0){ret=Runtime.stackAlloc((str.length<<2)+1);writeStringToMemory(str,ret)}return ret})};var toC={"string":JSfuncs["stringToC"],"array":JSfuncs["arrayToC"]};ccall=function ccallFunc(ident,returnType,argTypes,args,opts){var func=getCFunc(ident);var cArgs=[];var stack=0;if(args){for(var i=0;i<args.length;i++){var converter=toC[argTypes[i]];if(converter){if(stack===0)stack=Runtime.stackSave();cArgs[i]=converter(args[i])}else{cArgs[i]=args[i]}}}var ret=func.apply(null,cArgs);if(returnType==="string")ret=Pointer_stringify(ret);if(stack!==0){if(opts&&opts.async){EmterpreterAsync.asyncFinalizers.push((function(){Runtime.stackRestore(stack)}));return}Runtime.stackRestore(stack)}return ret};cwrap=function cwrap(ident,returnType,argTypes){return(function(){return ccall(ident,returnType,argTypes,arguments)})}}))();Module["ccall"]=ccall;Module["cwrap"]=cwrap;function setValue(ptr,value,type,noSafe){type=type||"i8";if(type.charAt(type.length-1)==="*")type="i32";switch(type){case"i1":HEAP8[ptr>>0]=value;break;case"i8":HEAP8[ptr>>0]=value;break;case"i16":HEAP16[ptr>>1]=value;break;case"i32":HEAP32[ptr>>2]=value;break;case"i64":tempI64=[value>>>0,(tempDouble=value,+Math_abs(tempDouble)>=+1?tempDouble>+0?(Math_min(+Math_floor(tempDouble/+4294967296),+4294967295)|0)>>>0:~~+Math_ceil((tempDouble- +(~~tempDouble>>>0))/+4294967296)>>>0:0)],HEAP32[ptr>>2]=tempI64[0],HEAP32[ptr+4>>2]=tempI64[1];break;case"float":HEAPF32[ptr>>2]=value;break;case"double":HEAPF64[ptr>>3]=value;break;default:abort("invalid type for setValue: "+type)}}Module["setValue"]=setValue;function getValue(ptr,type,noSafe){type=type||"i8";if(type.charAt(type.length-1)==="*")type="i32";switch(type){case"i1":return HEAP8[ptr>>0];case"i8":return HEAP8[ptr>>0];case"i16":return HEAP16[ptr>>1];case"i32":return HEAP32[ptr>>2];case"i64":return HEAP32[ptr>>2];case"float":return HEAPF32[ptr>>2];case"double":return HEAPF64[ptr>>3];default:abort("invalid type for setValue: "+type)}return null}Module["getValue"]=getValue;var ALLOC_NORMAL=0;var ALLOC_STACK=1;var ALLOC_STATIC=2;var ALLOC_DYNAMIC=3;var ALLOC_NONE=4;Module["ALLOC_NORMAL"]=ALLOC_NORMAL;Module["ALLOC_STACK"]=ALLOC_STACK;Module["ALLOC_STATIC"]=ALLOC_STATIC;Module["ALLOC_DYNAMIC"]=ALLOC_DYNAMIC;Module["ALLOC_NONE"]=ALLOC_NONE;function allocate(slab,types,allocator,ptr){var zeroinit,size;if(typeof slab==="number"){zeroinit=true;size=slab}else{zeroinit=false;size=slab.length}var singleType=typeof types==="string"?types:null;var ret;if(allocator==ALLOC_NONE){ret=ptr}else{ret=[_malloc,Runtime.stackAlloc,Runtime.staticAlloc,Runtime.dynamicAlloc][allocator===undefined?ALLOC_STATIC:allocator](Math.max(size,singleType?1:types.length))}if(zeroinit){var ptr=ret,stop;assert((ret&3)==0);stop=ret+(size&~3);for(;ptr<stop;ptr+=4){HEAP32[ptr>>2]=0}stop=ret+size;while(ptr<stop){HEAP8[ptr++>>0]=0}return ret}if(singleType==="i8"){if(slab.subarray||slab.slice){HEAPU8.set(slab,ret)}else{HEAPU8.set(new Uint8Array(slab),ret)}return ret}var i=0,type,typeSize,previousType;while(i<size){var curr=slab[i];if(typeof curr==="function"){curr=Runtime.getFunctionIndex(curr)}type=singleType||types[i];if(type===0){i++;continue}if(type=="i64")type="i32";setValue(ret+i,curr,type);if(previousType!==type){typeSize=Runtime.getNativeTypeSize(type);previousType=type}i+=typeSize}return ret}Module["allocate"]=allocate;function getMemory(size){if(!staticSealed)return Runtime.staticAlloc(size);if(typeof _sbrk!=="undefined"&&!_sbrk.called||!runtimeInitialized)return Runtime.dynamicAlloc(size);return _malloc(size)}Module["getMemory"]=getMemory;function Pointer_stringify(ptr,length){if(length===0||!ptr)return"";var hasUtf=0;var t;var i=0;while(1){t=HEAPU8[ptr+i>>0];hasUtf|=t;if(t==0&&!length)break;i++;if(length&&i==length)break}if(!length)length=i;var ret="";if(hasUtf<128){var MAX_CHUNK=1024;var curr;while(length>0){curr=String.fromCharCode.apply(String,HEAPU8.subarray(ptr,ptr+Math.min(length,MAX_CHUNK)));ret=ret?ret+curr:curr;ptr+=MAX_CHUNK;length-=MAX_CHUNK}return ret}return Module["UTF8ToString"](ptr)}Module["Pointer_stringify"]=Pointer_stringify;function AsciiToString(ptr){var str="";while(1){var ch=HEAP8[ptr++>>0];if(!ch)return str;str+=String.fromCharCode(ch)}}Module["AsciiToString"]=AsciiToString;function stringToAscii(str,outPtr){return writeAsciiToMemory(str,outPtr,false)}Module["stringToAscii"]=stringToAscii;function UTF8ArrayToString(u8Array,idx){var u0,u1,u2,u3,u4,u5;var str="";while(1){u0=u8Array[idx++];if(!u0)return str;if(!(u0&128)){str+=String.fromCharCode(u0);continue}u1=u8Array[idx++]&63;if((u0&224)==192){str+=String.fromCharCode((u0&31)<<6|u1);continue}u2=u8Array[idx++]&63;if((u0&240)==224){u0=(u0&15)<<12|u1<<6|u2}else{u3=u8Array[idx++]&63;if((u0&248)==240){u0=(u0&7)<<18|u1<<12|u2<<6|u3}else{u4=u8Array[idx++]&63;if((u0&252)==248){u0=(u0&3)<<24|u1<<18|u2<<12|u3<<6|u4}else{u5=u8Array[idx++]&63;u0=(u0&1)<<30|u1<<24|u2<<18|u3<<12|u4<<6|u5}}}if(u0<65536){str+=String.fromCharCode(u0)}else{var ch=u0-65536;str+=String.fromCharCode(55296|ch>>10,56320|ch&1023)}}}Module["UTF8ArrayToString"]=UTF8ArrayToString;function UTF8ToString(ptr){return UTF8ArrayToString(HEAPU8,ptr)}Module["UTF8ToString"]=UTF8ToString;function stringToUTF8Array(str,outU8Array,outIdx,maxBytesToWrite){if(!(maxBytesToWrite>0))return 0;var startIdx=outIdx;var endIdx=outIdx+maxBytesToWrite-1;for(var i=0;i<str.length;++i){var u=str.charCodeAt(i);if(u>=55296&&u<=57343)u=65536+((u&1023)<<10)|str.charCodeAt(++i)&1023;if(u<=127){if(outIdx>=endIdx)break;outU8Array[outIdx++]=u}else if(u<=2047){if(outIdx+1>=endIdx)break;outU8Array[outIdx++]=192|u>>6;outU8Array[outIdx++]=128|u&63}else if(u<=65535){if(outIdx+2>=endIdx)break;outU8Array[outIdx++]=224|u>>12;outU8Array[outIdx++]=128|u>>6&63;outU8Array[outIdx++]=128|u&63}else if(u<=2097151){if(outIdx+3>=endIdx)break;outU8Array[outIdx++]=240|u>>18;outU8Array[outIdx++]=128|u>>12&63;outU8Array[outIdx++]=128|u>>6&63;outU8Array[outIdx++]=128|u&63}else if(u<=67108863){if(outIdx+4>=endIdx)break;outU8Array[outIdx++]=248|u>>24;outU8Array[outIdx++]=128|u>>18&63;outU8Array[outIdx++]=128|u>>12&63;outU8Array[outIdx++]=128|u>>6&63;outU8Array[outIdx++]=128|u&63}else{if(outIdx+5>=endIdx)break;outU8Array[outIdx++]=252|u>>30;outU8Array[outIdx++]=128|u>>24&63;outU8Array[outIdx++]=128|u>>18&63;outU8Array[outIdx++]=128|u>>12&63;outU8Array[outIdx++]=128|u>>6&63;outU8Array[outIdx++]=128|u&63}}outU8Array[outIdx]=0;return outIdx-startIdx}Module["stringToUTF8Array"]=stringToUTF8Array;function stringToUTF8(str,outPtr,maxBytesToWrite){return stringToUTF8Array(str,HEAPU8,outPtr,maxBytesToWrite)}Module["stringToUTF8"]=stringToUTF8;function lengthBytesUTF8(str){var len=0;for(var i=0;i<str.length;++i){var u=str.charCodeAt(i);if(u>=55296&&u<=57343)u=65536+((u&1023)<<10)|str.charCodeAt(++i)&1023;if(u<=127){++len}else if(u<=2047){len+=2}else if(u<=65535){len+=3}else if(u<=2097151){len+=4}else if(u<=67108863){len+=5}else{len+=6}}return len}Module["lengthBytesUTF8"]=lengthBytesUTF8;function UTF16ToString(ptr){var i=0;var str="";while(1){var codeUnit=HEAP16[ptr+i*2>>1];if(codeUnit==0)return str;++i;str+=String.fromCharCode(codeUnit)}}Module["UTF16ToString"]=UTF16ToString;function stringToUTF16(str,outPtr,maxBytesToWrite){if(maxBytesToWrite===undefined){maxBytesToWrite=2147483647}if(maxBytesToWrite<2)return 0;maxBytesToWrite-=2;var startPtr=outPtr;var numCharsToWrite=maxBytesToWrite<str.length*2?maxBytesToWrite/2:str.length;for(var i=0;i<numCharsToWrite;++i){var codeUnit=str.charCodeAt(i);HEAP16[outPtr>>1]=codeUnit;outPtr+=2}HEAP16[outPtr>>1]=0;return outPtr-startPtr}Module["stringToUTF16"]=stringToUTF16;function lengthBytesUTF16(str){return str.length*2}Module["lengthBytesUTF16"]=lengthBytesUTF16;function UTF32ToString(ptr){var i=0;var str="";while(1){var utf32=HEAP32[ptr+i*4>>2];if(utf32==0)return str;++i;if(utf32>=65536){var ch=utf32-65536;str+=String.fromCharCode(55296|ch>>10,56320|ch&1023)}else{str+=String.fromCharCode(utf32)}}}Module["UTF32ToString"]=UTF32ToString;function stringToUTF32(str,outPtr,maxBytesToWrite){if(maxBytesToWrite===undefined){maxBytesToWrite=2147483647}if(maxBytesToWrite<4)return 0;var startPtr=outPtr;var endPtr=startPtr+maxBytesToWrite-4;for(var i=0;i<str.length;++i){var codeUnit=str.charCodeAt(i);if(codeUnit>=55296&&codeUnit<=57343){var trailSurrogate=str.charCodeAt(++i);codeUnit=65536+((codeUnit&1023)<<10)|trailSurrogate&1023}HEAP32[outPtr>>2]=codeUnit;outPtr+=4;if(outPtr+4>endPtr)break}HEAP32[outPtr>>2]=0;return outPtr-startPtr}Module["stringToUTF32"]=stringToUTF32;function lengthBytesUTF32(str){var len=0;for(var i=0;i<str.length;++i){var codeUnit=str.charCodeAt(i);if(codeUnit>=55296&&codeUnit<=57343)++i;len+=4}return len}Module["lengthBytesUTF32"]=lengthBytesUTF32;function demangle(func){var hasLibcxxabi=!!Module["___cxa_demangle"];if(hasLibcxxabi){try{var buf=_malloc(func.length);writeStringToMemory(func.substr(1),buf);var status=_malloc(4);var ret=Module["___cxa_demangle"](buf,0,0,status);if(getValue(status,"i32")===0&&ret){return Pointer_stringify(ret)}}catch(e){}finally{if(buf)_free(buf);if(status)_free(status);if(ret)_free(ret)}}var i=3;var basicTypes={"v":"void","b":"bool","c":"char","s":"short","i":"int","l":"long","f":"float","d":"double","w":"wchar_t","a":"signed char","h":"unsigned char","t":"unsigned short","j":"unsigned int","m":"unsigned long","x":"long long","y":"unsigned long long","z":"..."};var subs=[];var first=true;function dump(x){if(x)Module.print(x);Module.print(func);var pre="";for(var a=0;a<i;a++)pre+=" ";Module.print(pre+"^")}function parseNested(){i++;if(func[i]==="K")i++;var parts=[];while(func[i]!=="E"){if(func[i]==="S"){i++;var next=func.indexOf("_",i);var num=func.substring(i,next)||0;parts.push(subs[num]||"?");i=next+1;continue}if(func[i]==="C"){parts.push(parts[parts.length-1]);i+=2;continue}var size=parseInt(func.substr(i));var pre=size.toString().length;if(!size||!pre){i--;break}var curr=func.substr(i+pre,size);parts.push(curr);subs.push(curr);i+=pre+size}i++;return parts}function parse(rawList,limit,allowVoid){limit=limit||Infinity;var ret="",list=[];function flushList(){return"("+list.join(", ")+")"}var name;if(func[i]==="N"){name=parseNested().join("::");limit--;if(limit===0)return rawList?[name]:name}else{if(func[i]==="K"||first&&func[i]==="L")i++;var size=parseInt(func.substr(i));if(size){var pre=size.toString().length;name=func.substr(i+pre,size);i+=pre+size}}first=false;if(func[i]==="I"){i++;var iList=parse(true);var iRet=parse(true,1,true);ret+=iRet[0]+" "+name+"<"+iList.join(", ")+">"}else{ret=name}paramLoop:while(i<func.length&&limit-->0){var c=func[i++];if(c in basicTypes){list.push(basicTypes[c])}else{switch(c){case"P":list.push(parse(true,1,true)[0]+"*");break;case"R":list.push(parse(true,1,true)[0]+"&");break;case"L":{i++;var end=func.indexOf("E",i);var size=end-i;list.push(func.substr(i,size));i+=size+2;break};case"A":{var size=parseInt(func.substr(i));i+=size.toString().length;if(func[i]!=="_")throw"?";i++;list.push(parse(true,1,true)[0]+" ["+size+"]");break};case"E":break paramLoop;default:ret+="?"+c;break paramLoop}}}if(!allowVoid&&list.length===1&&list[0]==="void")list=[];if(rawList){if(ret){list.push(ret+"?")}return list}else{return ret+flushList()}}var parsed=func;try{if(func=="Object._main"||func=="_main"){return"main()"}if(typeof func==="number")func=Pointer_stringify(func);if(func[0]!=="_")return func;if(func[1]!=="_")return func;if(func[2]!=="Z")return func;switch(func[3]){case"n":return"operator new()";case"d":return"operator delete()"}parsed=parse()}catch(e){parsed+="?"}if(parsed.indexOf("?")>=0&&!hasLibcxxabi){Runtime.warnOnce("warning: a problem occurred in builtin C++ name demangling; build with -s DEMANGLE_SUPPORT=1 to link in libcxxabi demangling")}return parsed}function demangleAll(text){return text.replace(/__Z[\w\d_]+/g,(function(x){var y=demangle(x);return x===y?x:x+" ["+y+"]"}))}function jsStackTrace(){var err=new Error;if(!err.stack){try{throw new Error(0)}catch(e){err=e}if(!err.stack){return"(no stack trace available)"}}return err.stack.toString()}function stackTrace(){return demangleAll(jsStackTrace())}Module["stackTrace"]=stackTrace;var PAGE_SIZE=4096;function alignMemoryPage(x){if(x%4096>0){x+=4096-x%4096}return x}var HEAP;var HEAP8,HEAPU8,HEAP16,HEAPU16,HEAP32,HEAPU32,HEAPF32,HEAPF64;var STATIC_BASE=0,STATICTOP=0,staticSealed=false;var STACK_BASE=0,STACKTOP=0,STACK_MAX=0;var DYNAMIC_BASE=0,DYNAMICTOP=0;function enlargeMemory(){var OLD_TOTAL_MEMORY=TOTAL_MEMORY;var LIMIT=Math.pow(2,31);if(DYNAMICTOP>=LIMIT)return false;while(TOTAL_MEMORY<=DYNAMICTOP){if(TOTAL_MEMORY<LIMIT/2){TOTAL_MEMORY=alignMemoryPage(2*TOTAL_MEMORY)}else{var last=TOTAL_MEMORY;TOTAL_MEMORY=alignMemoryPage((3*TOTAL_MEMORY+LIMIT)/4);if(TOTAL_MEMORY<=last)return false}}TOTAL_MEMORY=Math.max(TOTAL_MEMORY,16*1024*1024);if(TOTAL_MEMORY>=LIMIT)return false;try{if(ArrayBuffer.transfer){buffer=ArrayBuffer.transfer(buffer,TOTAL_MEMORY)}else{var oldHEAP8=HEAP8;buffer=new ArrayBuffer(TOTAL_MEMORY)}}catch(e){return false}var success=_emscripten_replace_memory(buffer);if(!success)return false;Module["buffer"]=buffer;Module["HEAP8"]=HEAP8=new Int8Array(buffer);Module["HEAP16"]=HEAP16=new Int16Array(buffer);Module["HEAP32"]=HEAP32=new Int32Array(buffer);Module["HEAPU8"]=HEAPU8=new Uint8Array(buffer);Module["HEAPU16"]=HEAPU16=new Uint16Array(buffer);Module["HEAPU32"]=HEAPU32=new Uint32Array(buffer);Module["HEAPF32"]=HEAPF32=new Float32Array(buffer);Module["HEAPF64"]=HEAPF64=new Float64Array(buffer);if(!ArrayBuffer.transfer){HEAP8.set(oldHEAP8)}return true}var byteLength;try{byteLength=Function.prototype.call.bind(Object.getOwnPropertyDescriptor(ArrayBuffer.prototype,"byteLength").get);byteLength(new ArrayBuffer(4))}catch(e){byteLength=(function(buffer){return buffer.byteLength})}var TOTAL_STACK=Module["TOTAL_STACK"]||5242880;var TOTAL_MEMORY=Module["TOTAL_MEMORY"]||16777216;var totalMemory=64*1024;while(totalMemory<TOTAL_MEMORY||totalMemory<2*TOTAL_STACK){if(totalMemory<16*1024*1024){totalMemory*=2}else{totalMemory+=16*1024*1024}}totalMemory=Math.max(totalMemory,16*1024*1024);if(totalMemory!==TOTAL_MEMORY){TOTAL_MEMORY=totalMemory}assert(typeof Int32Array!=="undefined"&&typeof Float64Array!=="undefined"&&!!(new Int32Array(1))["subarray"]&&!!(new Int32Array(1))["set"],"JS engine does not provide full typed array support");var buffer;buffer=new ArrayBuffer(TOTAL_MEMORY);HEAP8=new Int8Array(buffer);HEAP16=new Int16Array(buffer);HEAP32=new Int32Array(buffer);HEAPU8=new Uint8Array(buffer);HEAPU16=new Uint16Array(buffer);HEAPU32=new Uint32Array(buffer);HEAPF32=new Float32Array(buffer);HEAPF64=new Float64Array(buffer);HEAP32[0]=255;assert(HEAPU8[0]===255&&HEAPU8[3]===0,"Typed arrays 2 must be run on a little-endian system");Module["HEAP"]=HEAP;Module["buffer"]=buffer;Module["HEAP8"]=HEAP8;Module["HEAP16"]=HEAP16;Module["HEAP32"]=HEAP32;Module["HEAPU8"]=HEAPU8;Module["HEAPU16"]=HEAPU16;Module["HEAPU32"]=HEAPU32;Module["HEAPF32"]=HEAPF32;Module["HEAPF64"]=HEAPF64;function callRuntimeCallbacks(callbacks){while(callbacks.length>0){var callback=callbacks.shift();if(typeof callback=="function"){callback();continue}var func=callback.func;if(typeof func==="number"){if(callback.arg===undefined){Runtime.dynCall("v",func)}else{Runtime.dynCall("vi",func,[callback.arg])}}else{func(callback.arg===undefined?null:callback.arg)}}}var __ATPRERUN__=[];var __ATINIT__=[];var __ATMAIN__=[];var __ATEXIT__=[];var __ATPOSTRUN__=[];var runtimeInitialized=false;var runtimeExited=false;function preRun(){if(Module["preRun"]){if(typeof Module["preRun"]=="function")Module["preRun"]=[Module["preRun"]];while(Module["preRun"].length){addOnPreRun(Module["preRun"].shift())}}callRuntimeCallbacks(__ATPRERUN__)}function ensureInitRuntime(){if(runtimeInitialized)return;runtimeInitialized=true;callRuntimeCallbacks(__ATINIT__)}function preMain(){callRuntimeCallbacks(__ATMAIN__)}function exitRuntime(){callRuntimeCallbacks(__ATEXIT__);runtimeExited=true}function postRun(){if(Module["postRun"]){if(typeof Module["postRun"]=="function")Module["postRun"]=[Module["postRun"]];while(Module["postRun"].length){addOnPostRun(Module["postRun"].shift())}}callRuntimeCallbacks(__ATPOSTRUN__)}function addOnPreRun(cb){__ATPRERUN__.unshift(cb)}Module["addOnPreRun"]=addOnPreRun;function addOnInit(cb){__ATINIT__.unshift(cb)}Module["addOnInit"]=addOnInit;function addOnPreMain(cb){__ATMAIN__.unshift(cb)}Module["addOnPreMain"]=addOnPreMain;function addOnExit(cb){__ATEXIT__.unshift(cb)}Module["addOnExit"]=addOnExit;function addOnPostRun(cb){__ATPOSTRUN__.unshift(cb)}Module["addOnPostRun"]=addOnPostRun;function intArrayFromString(stringy,dontAddNull,length){var len=length>0?length:lengthBytesUTF8(stringy)+1;var u8array=new Array(len);var numBytesWritten=stringToUTF8Array(stringy,u8array,0,u8array.length);if(dontAddNull)u8array.length=numBytesWritten;return u8array}Module["intArrayFromString"]=intArrayFromString;function intArrayToString(array){var ret=[];for(var i=0;i<array.length;i++){var chr=array[i];if(chr>255){chr&=255}ret.push(String.fromCharCode(chr))}return ret.join("")}Module["intArrayToString"]=intArrayToString;function writeStringToMemory(string,buffer,dontAddNull){var array=intArrayFromString(string,dontAddNull);var i=0;while(i<array.length){var chr=array[i];HEAP8[buffer+i>>0]=chr;i=i+1}}Module["writeStringToMemory"]=writeStringToMemory;function writeArrayToMemory(array,buffer){for(var i=0;i<array.length;i++){HEAP8[buffer++>>0]=array[i]}}Module["writeArrayToMemory"]=writeArrayToMemory;function writeAsciiToMemory(str,buffer,dontAddNull){for(var i=0;i<str.length;++i){HEAP8[buffer++>>0]=str.charCodeAt(i)}if(!dontAddNull)HEAP8[buffer>>0]=0}Module["writeAsciiToMemory"]=writeAsciiToMemory;function unSign(value,bits,ignore){if(value>=0){return value}return bits<=32?2*Math.abs(1<<bits-1)+value:Math.pow(2,bits)+value}function reSign(value,bits,ignore){if(value<=0){return value}var half=bits<=32?Math.abs(1<<bits-1):Math.pow(2,bits-1);if(value>=half&&(bits<=32||value>half)){value=-2*half+value}return value}if(!Math["imul"]||Math["imul"](4294967295,5)!==-5)Math["imul"]=function imul(a,b){var ah=a>>>16;var al=a&65535;var bh=b>>>16;var bl=b&65535;return al*bl+(ah*bl+al*bh<<16)|0};Math.imul=Math["imul"];if(!Math["clz32"])Math["clz32"]=(function(x){x=x>>>0;for(var i=0;i<32;i++){if(x&1<<31-i)return i}return 32});Math.clz32=Math["clz32"];var Math_abs=Math.abs;var Math_cos=Math.cos;var Math_sin=Math.sin;var Math_tan=Math.tan;var Math_acos=Math.acos;var Math_asin=Math.asin;var Math_atan=Math.atan;var Math_atan2=Math.atan2;var Math_exp=Math.exp;var Math_log=Math.log;var Math_sqrt=Math.sqrt;var Math_ceil=Math.ceil;var Math_floor=Math.floor;var Math_pow=Math.pow;var Math_imul=Math.imul;var Math_fround=Math.fround;var Math_min=Math.min;var Math_clz32=Math.clz32;var runDependencies=0;var runDependencyWatcher=null;var dependenciesFulfilled=null;function getUniqueRunDependency(id){return id}function addRunDependency(id){runDependencies++;if(Module["monitorRunDependencies"]){Module["monitorRunDependencies"](runDependencies)}}Module["addRunDependency"]=addRunDependency;function removeRunDependency(id){runDependencies--;if(Module["monitorRunDependencies"]){Module["monitorRunDependencies"](runDependencies)}if(runDependencies==0){if(runDependencyWatcher!==null){clearInterval(runDependencyWatcher);runDependencyWatcher=null}if(dependenciesFulfilled){var callback=dependenciesFulfilled;dependenciesFulfilled=null;callback()}}}Module["removeRunDependency"]=removeRunDependency;Module["preloadedImages"]={};Module["preloadedAudios"]={};var memoryInitializer=null;var ASM_CONSTS=[];STATIC_BASE=8;STATICTOP=STATIC_BASE+315040;__ATINIT__.push({func:(function(){__GLOBAL__sub_I_ArrayUtils_cpp()})},{func:(function(){__GLOBAL__sub_I_SMTLib2Interface_cpp()})},{func:(function(){__GLOBAL__sub_I_SSAVariable_cpp()})},{func:(function(){__GLOBAL__sub_I_SymbolicBoolVariable_cpp()})},{func:(function(){__GLOBAL__sub_I_SymbolicIntVariable_cpp()})},{func:(function(){__GLOBAL__sub_I_SymbolicVariable_cpp()})},{func:(function(){__GLOBAL__sub_I_VariableUsage_cpp()})},{func:(function(){__GLOBAL__sub_I_AsmAnalysis_cpp()})},{func:(function(){__GLOBAL__sub_I_AsmCodeGen_cpp()})},{func:(function(){__GLOBAL__sub_I_ABI_cpp()})},{func:(function(){__GLOBAL__sub_I_DocStringParser_cpp()})},{func:(function(){__GLOBAL__sub_I_ConstantEvaluator_cpp()})},{func:(function(){__GLOBAL__sub_I_ControlFlowBuilder_cpp()})},{func:(function(){__GLOBAL__sub_I_DeclarationContainer_cpp()})},{func:(function(){__GLOBAL__sub_I_ABIFunctions_cpp()})},{func:(function(){__GLOBAL__sub_I_SMTChecker_cpp()})},{func:(function(){__GLOBAL__sub_I_Assembly_cpp()})},{func:(function(){__GLOBAL__sub_I_CommonSubexpressionEliminator_cpp()})},{func:(function(){__GLOBAL__sub_I_ConstantOptimiser_cpp()})},{func:(function(){__GLOBAL__sub_I_ControlFlowGraph_cpp_3117()})},{func:(function(){__GLOBAL__sub_I_ExpressionClasses_cpp()})},{func:(function(){___cxx_global_var_init_16()})},{func:(function(){__GLOBAL__sub_I_GasMeter_cpp()})},{func:(function(){__GLOBAL__sub_I_Instruction_cpp()})},{func:(function(){__GLOBAL__sub_I_KnownState_cpp()})},{func:(function(){__GLOBAL__sub_I_PathGasMeter_cpp()})},{func:(function(){__GLOBAL__sub_I_SimplificationRules_cpp()})},{func:(function(){__GLOBAL__sub_I_json_value_cpp()})},{func:(function(){__GLOBAL__sub_I_error_code_cpp()})},{func:(function(){__GLOBAL__sub_I_NameAndTypeResolver_cpp()})},{func:(function(){__GLOBAL__sub_I_StandardCompiler_cpp()})},{func:(function(){__GLOBAL__sub_I_Version_cpp()})},{func:(function(){__GLOBAL__sub_I_ASTJsonConverter_cpp()})},{func:(function(){__GLOBAL__sub_I_Types_cpp()})},{func:(function(){__GLOBAL__sub_I_CompilerStack_cpp()})},{func:(function(){__GLOBAL__sub_I_ErrorReporter_cpp()})},{func:(function(){__GLOBAL__sub_I_GasEstimator_cpp()})},{func:(function(){__GLOBAL__sub_I_Natspec_cpp()})},{func:(function(){__GLOBAL__sub_I_Parser_cpp()})},{func:(function(){__GLOBAL__sub_I_ControlFlowAnalyzer_cpp()})},{func:(function(){__GLOBAL__sub_I_ControlFlowGraph_cpp()})},{func:(function(){__GLOBAL__sub_I_DocStringAnalyser_cpp()})},{func:(function(){__GLOBAL__sub_I_GlobalContext_cpp()})},{func:(function(){__GLOBAL__sub_I_libsolc_cpp()})},{func:(function(){__GLOBAL__sub_I_PostTypeChecker_cpp()})},{func:(function(){__GLOBAL__sub_I_ReferencesResolver_cpp()})},{func:(function(){__GLOBAL__sub_I_StaticAnalyzer_cpp()})},{func:(function(){__GLOBAL__sub_I_SyntaxChecker_cpp()})},{func:(function(){__GLOBAL__sub_I_TypeChecker_cpp()})},{func:(function(){__GLOBAL__sub_I_ViewPureChecker_cpp()})},{func:(function(){__GLOBAL__sub_I_AST_cpp()})},{func:(function(){__GLOBAL__sub_I_Compiler_cpp()})},{func:(function(){__GLOBAL__sub_I_CompilerContext_cpp()})},{func:(function(){__GLOBAL__sub_I_CompilerUtils_cpp()})},{func:(function(){__GLOBAL__sub_I_ContractCompiler_cpp()})},{func:(function(){__GLOBAL__sub_I_ExpressionCompiler_cpp()})},{func:(function(){__GLOBAL__sub_I_LValue_cpp()})});allocate([0,0,0,0,0,0,0,0,0,0,0,0,20,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,240,0,0,0,221,0,0,0,222,0,0,0,51,0,0,0,236,255,255,255,236,255,255,255,240,0,0,0,223,0,0,0,224,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,184,193,0,0,36,127,1,0,224,193,0,0,101,126,1,0,88,0,0,0,0,0,0,0,184,193,0,0,180,127,1,0,184,193,0,0,42,130,1,0,8,194,0,0,231,129,1,0,0,0,0,0,2,0,0,0,8,45,0,0,2,0,0,0,120,0,0,0,2,8,0,0,184,193,0,0,61,130,1,0,8,194,0,0,145,129,1,0,0,0,0,0,2,0,0,0,128,0,0,0,2,0,0,0,160,0,0,0,3,244,255,255,224,193,0,0,142,144,1,0,192,44,0,0,0,0,0,0,8,194,0,0,51,144,1,0,0,0,0,0,1,0,0,0,248,40,0,0,3,228,255,255,8,194,0,0,13,144,1,0,0,0,0,0,1,0,0,0,248,40,0,0,3,228,255,255,8,194,0,0,241,143,1,0,0,0,0,0,1,0,0,0,248,40,0,0,3,228,255,255,8,194,0,0,210,143,1,0,0,0,0,0,1,0,0,0,248,40,0,0,3,228,255,255,8,194,0,0,171,143,1,0,0,0,0,0,1,0,0,0,248,40,0,0,3,228,255,255,8,194,0,0,128,143,1,0,0,0,0,0,1,0,0,0,248,40,0,0,3,228,255,255,224,193,0,0,230,137,1,0,104,43,0,0,0,0,0,0,224,193,0,0,208,137,1,0,104,43,0,0,0,0,0,0,8,194,0,0,129,138,1,0,0,0,0,0,2,0,0,0,56,1,0,0,2,0,0,0,160,0,0,0,3,224,255,255,224,193,0,0,208,138,1,0,184,1,0,0,0,0,0,0,184,193,0,0,58,139,1,0,224,193,0,0,238,139,1,0,240,1,0,0,0,0,0,0,224,193,0,0,102,139,1,0,48,46,0,0,0,0,0,0,224,193,0,0,168,139,1,0,80,46,0,0,0,0,0,0,184,193,0,0,36,140,1,0,224,193,0,0,85,140,1,0,8,2,0,0,0,0,0,0,184,193,0,0,223,140,1,0,224,193,0,0,184,141,1,0,184,1,0,0,0,0,0,0,224,193,0,0,79,142,1,0,56,2,0,0,0,0,0,0,184,193,0,0,7,142,1,0,184,193,0,0,11,143,1,0,224,193,0,0,43,145,1,0,80,2,0,0,0,0,0,0,184,193,0,0,232,154,1,0,224,193,0,0,190,159,1,0,120,3,0,0,0,0,0,0,224,193,0,0,219,159,1,0,120,3,0,0,0,0,0,0,224,193,0,0,251,159,1,0,120,3,0,0,0,0,0,0,224,193,0,0,31,160,1,0,120,3,0,0,0,0,0,0,224,193,0,0,66,160,1,0,120,3,0,0,0,0,0,0,224,193,0,0,98,160,1,0,120,3,0,0,0,0,0,0,224,193,0,0,128,160,1,0,120,3,0,0,0,0,0,0,224,193,0,0,159,160,1,0,184,2,0,0,0,0,0,0,224,193,0,0,185,160,1,0,184,2,0,0,0,0,0,0,224,193,0,0,213,160,1,0,120,3,0,0,0,0,0,0,224,193,0,0,238,160,1,0,120,3,0,0,0,0,0,0,224,193,0,0,8,161,1,0,120,3,0,0,0,0,0,0,224,193,0,0,38,161,1,0,120,3,0,0,0,0,0,0,224,193,0,0,67,161,1,0,120,3,0,0,0,0,0,0,224,193,0,0,92,161,1,0,120,3,0,0,0,0,0,0,224,193,0,0,122,161,1,0,120,3,0,0,0,0,0,0,224,193,0,0,150,161,1,0,120,3,0,0,0,0,0,0,224,193,0,0,176,161,1,0,120,3,0,0,0,0,0,0,8,194,0,0,30,210,1,0,0,0,0,0,2,0,0,0,104,5,0,0,0,0,0,0,112,5,0,0,2,4,0,0,8,194,0,0,174,206,1,0,0,0,0,0,2,0,0,0,232,13,0,0,2,0,0,0,64,5,0,0,2,28,0,0,0,0,0,0,0,0,0,0,184,193,0,0,130,188,1,0,224,193,0,0,54,188,1,0,224,45,0,0,0,0,0,0,224,193,0,0,135,189,1,0,120,3,0,0,0,0,0,0,224,193,0,0,176,189,1,0,224,45,0,0,0,0,0,0,224,193,0,0,12,190,1,0,224,45,0,0,0,0,0,0,224,193,0,0,205,190,1,0,224,45,0,0,0,0,0,0,224,193,0,0,74,191,1,0,48,4,0,0,0,0,0,0,184,193,0,0,28,191,1,0,184,193,0,0,222,191,1,0,224,193,0,0,60,192,1,0,224,45,0,0,0,0,0,0,8,194,0,0,149,195,1,0,0,0,0,0,2,0,0,0,104,4,0,0,2,0,0,0,160,0,0,0,3,244,255,255,8,194,0,0,236,195,1,0,0,0,0,0,2,0,0,0,40,45,0,0,2,0,0,0,120,0,0,0,2,8,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,194,0,0,82,203,1,0,0,0,0,0,2,0,0,0,192,4,0,0,2,0,0,0,160,0,0,0,3,244,255,255,8,194,0,0,166,203,1,0,0,0,0,0,2,0,0,0,24,45,0,0,2,0,0,0,120,0,0,0,2,8,0,0,224,193,0,0,216,204,1,0,216,44,0,0,0,0,0,0,8,194,0,0,198,205,1,0,0,0,0,0,2,0,0,0,16,5,0,0,2,0,0,0,160,0,0,0,3,244,255,255,8,194,0,0,27,206,1,0,0,0,0,0,2,0,0,0,248,44,0,0,2,0,0,0,120,0,0,0,2,8,0,0,224,193,0,0,93,206,1,0,224,45,0,0,0,0,0,0,184,193,0,0,203,206,1,0,224,193,0,0,113,209,1,0,224,45,0,0,0,0,0,0,224,193,0,0,199,209,1,0,224,45,0,0,0,0,0,0,184,193,0,0,107,210,1,0,184,193,0,0,51,210,1,0,224,193,0,0,143,210,1,0,224,45,0,0,0,0,0,0,224,193,0,0,220,210,1,0,224,45,0,0,0,0,0,0,224,193,0,0,40,211,1,0,224,45,0,0,0,0,0,0,224,193,0,0,123,211,1,0,224,45,0,0,0,0,0,0,224,193,0,0,206,211,1,0,224,45,0,0,0,0,0,0,8,194,0,0,30,212,1,0,0,0,0,0,2,0,0,0,240,0,0,0,2,0,0,0,160,0,0,0,3,224,255,255,8,194,0,0,112,225,1,0,0,0,0,0,1,0,0,0,0,6,0,0,3,224,255,255,8,194,0,0,82,225,1,0,0,0,0,0,1,0,0,0,248,40,0,0,3,228,255,255,8,194,0,0,105,223,1,0,0,0,0,0,2,0,0,0,248,40,0,0,2,0,0,0,160,0,0,0,3,228,255,255,224,193,0,0,162,223,1,0,104,46,0,0,0,0,0,0,8,194,0,0,231,223,1,0,0,0,0,0,2,0,0,0,32,1,0,0,2,0,0,0,160,0,0,0,3,224,255,255,224,193,0,0,46,224,1,0,224,45,0,0,0,0,0,0,224,193,0,0,11,225,1,0,224,45,0,0,0,0,0,0,224,193,0,0,143,225,1,0,224,45,0,0,0,0,0,0,224,193,0,0,152,226,1,0,176,6,0,0,0,0,0,0,184,193,0,0,219,225,1,0,184,193,0,0,15,227,1,0,224,193,0,0,87,227,1,0,224,45,0,0,0,0,0,0,224,193,0,0,169,227,1,0,224,45,0,0,0,0,0,0,8,194,0,0,57,229,1,0,0,0,0,0,2,0,0,0,8,1,0,0,2,0,0,0,160,0,0,0,3,224,255,255,224,193,0,0,125,229,1,0,224,45,0,0,0,0,0,0,224,193,0,0,198,229,1,0,184,1,0,0,0,0,0,0,224,193,0,0,39,230,1,0,8,2,0,0,0,0,0,0,224,193,0,0,35,231,1,0,8,2,0,0,0,0,0,0,8,194,0,0,27,233,1,0,0,0,0,0,2,0,0,0,88,7,0,0,2,0,0,0,160,0,0,0,3,224,255,255,8,194,0,0,98,233,1,0,0,0,0,0,1,0,0,0,248,40,0,0,3,228,255,255,224,193,0,0,143,233,1,0,224,45,0,0,0,0,0,0,184,193,0,0,224,233,1,0,184,193,0,0,29,234,1,0,224,193,0,0,87,234,1,0,80,2,0,0,0,0,0,0,224,193,0,0,113,234,1,0,224,45,0,0,0,0,0,0,224,193,0,0,69,4,2,0,168,16,0,0,0,0,0,0,224,193,0,0,38,244,1,0,224,45,0,0,0,0,0,0,224,193,0,0,123,245,1,0,224,45,0,0,0,0,0,0,224,193,0,0,132,247,1,0,224,45,0,0,0,0,0,0,224,193,0,0,139,248,1,0,224,45,0,0,0,0,0,0,224,193,0,0,74,250,1,0,224,45,0,0,0,0,0,0,224,193,0,0,99,252,1,0,224,45,0,0,0,0,0,0,224,193,0,0,191,253,1,0,224,45,0,0,0,0,0,0,224,193,0,0,107,255,1,0,224,45,0,0,0,0,0,0,224,193,0,0,179,0,2,0,224,45,0,0,0,0,0,0,224,193,0,0,192,1,2,0,224,45,0,0,0,0,0,0,224,193,0,0,244,3,2,0,224,45,0,0,0,0,0,0,224,193,0,0,100,5,2,0,224,45,0,0,0,0,0,0,224,193,0,0,123,8,2,0,224,45,0,0,0,0,0,0,224,193,0,0,212,9,2,0,224,45,0,0,0,0,0,0,224,193,0,0,0,12,2,0,224,45,0,0,0,0,0,0,224,193,0,0,77,13,2,0,224,45,0,0,0,0,0,0,224,193,0,0,53,15,2,0,224,45,0,0,0,0,0,0,224,193,0,0,181,16,2,0,224,45,0,0,0,0,0,0,224,193,0,0,96,18,2,0,224,45,0,0,0,0,0,0,224,193,0,0,116,19,2,0,224,45,0,0,0,0,0,0,224,193,0,0,130,20,2,0,224,45,0,0,0,0,0,0,224,193,0,0,180,21,2,0,224,45,0,0,0,0,0,0,224,193,0,0,179,22,2,0,224,45,0,0,0,0,0,0,224,193,0,0,180,23,2,0,224,45,0,0,0,0,0,0,224,193,0,0,236,24,2,0,224,45,0,0,0,0,0,0,224,193,0,0,84,26,2,0,224,45,0,0,0,0,0,0,224,193,0,0,91,28,2,0,224,45,0,0,0,0,0,0,224,193,0,0,22,30,2,0,224,45,0,0,0,0,0,0,224,193,0,0,147,32,2,0,224,45,0,0,0,0,0,0,224,193,0,0,255,33,2,0,224,45,0,0,0,0,0,0,224,193,0,0,87,36,2,0,224,45,0,0,0,0,0,0,224,193,0,0,198,38,2,0,224,45,0,0,0,0,0,0,224,193,0,0,21,40,2,0,224,45,0,0,0,0,0,0,8,194,0,0,190,41,2,0,0,0,0,0,2,0,0,0,152,3,0,0,2,0,0,0,240,9,0,0,2,48,0,0,184,193,0,0,159,41,2,0,224,193,0,0,227,41,2,0,224,45,0,0,0,0,0,0,224,193,0,0,148,43,2,0,224,45,0,0,0,0,0,0,224,193,0,0,34,44,2,0,48,10,0,0,0,0,0,0,184,193,0,0,235,43,2,0,184,193,0,0,141,44,2,0,224,193,0,0,151,47,2,0,224,45,0,0,0,0,0,0,224,193,0,0,73,49,2,0,224,45,0,0,0,0,0,0,224,193,0,0,223,50,2,0,224,45,0,0,0,0,0,0,224,193,0,0,184,53,2,0,224,45,0,0,0,0,0,0,224,193,0,0,32,56,2,0,224,45,0,0,0,0,0,0,224,193,0,0,49,57,2,0,224,45,0,0,0,0,0,0,224,193,0,0,210,59,2,0,224,45,0,0,0,0,0,0,224,193,0,0,54,62,2,0,224,45,0,0,0,0,0,0,224,193,0,0,138,62,2,0,224,45,0,0,0,0,0,0,224,193,0,0,66,64,2,0,224,45,0,0,0,0,0,0,224,193,0,0,160,65,2,0,224,45,0,0,0,0,0,0,224,193,0,0,134,68,2,0,224,45,0,0,0,0,0,0,224,193,0,0,224,76,2,0,64,45,0,0,0,0,0,0,0,0,0,0,0,0,0,0,224,193,0,0,229,77,2,0,96,11,0,0,0,0,0,0,8,194,0,0,251,76,2,0,0,0,0,0,2,0,0,0,64,11,0,0,2,0,0,0,160,0,0,0,3,244,255,255,8,194,0,0,86,77,2,0,0,0,0,0,2,0,0,0,248,10,0,0,2,0,0,0,120,0,0,0,2,12,0,0,224,193,0,0,26,78,2,0,112,11,0,0,0,0,0,0,224,193,0,0,150,78,2,0,128,11,0,0,0,0,0,0,224,193,0,0,18,79,2,0,144,11,0,0,0,0,0,0,184,193,0,0,142,79,2,0,8,194,0,0,194,79,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,8,194,0,0,212,80,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,8,194,0,0,60,82,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,224,193,0,0,231,84,2,0,152,3,0,0,0,0,0,0,224,193,0,0,17,85,2,0,224,45,0,0,0,0,0,0,224,193,0,0,110,85,2,0,224,45,0,0,0,0,0,0,8,194,0,0,187,85,2,0,0,0,0,0,1,0,0,0,56,12,0,0,0,0,0,0,184,193,0,0,222,97,2,0,224,193,0,0,102,99,2,0,224,45,0,0,0,0,0,0,8,194,0,0,217,99,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,224,193,0,0,55,102,2,0,128,12,0,0,0,0,0,0,184,193,0,0,234,101,2,0,184,193,0,0,212,102,2,0,8,194,0,0,53,103,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,224,193,0,0,115,110,2,0,184,12,0,0,0,0,0,0,184,193,0,0,206,109,2,0,184,193,0,0,40,111,2,0,224,193,0,0,142,111,2,0,224,45,0,0,0,0,0,0,224,193,0,0,41,112,2,0,224,45,0,0,0,0,0,0,8,194,0,0,61,113,2,0,0,0,0,0,1,0,0,0,248,40,0,0,0,0,0,0,8,194,0,0,90,113,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,8,194,0,0,215,118,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,8,194,0,0,236,125,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,224,193,0,0,9,171,2,0,224,45,0,0,0,0,0,0,224,193,0,0,132,171,2,0,224,45,0,0,0,0,0,0,224,193,0,0,139,172,2,0,224,45,0,0,0,0,0,0,224,193,0,0,90,176,2,0,184,12,0,0,0,0,0,0,184,193,0,0,232,172,2,0,224,193,0,0,103,177,2,0,160,13,0,0,0,0,0,0,184,193,0,0,37,177,2,0,184,193,0,0,7,178,2,0,8,194,0,0,150,178,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,224,193,0,0,213,183,2,0,224,13,0,0,0,0,0,0,184,193,0,0,142,183,2,0,184,193,0,0,124,184,2,0,8,194,0,0,212,184,2,0,0,0,0,0,1,0,0,0,104,5,0,0,0,0,0,0,224,193,0,0,236,184,2,0,152,3,0,0,0,0,0,0,8,194,0,0,12,185,2,0,0,0,0,0,2,0,0,0,152,3,0,0,2,0,0,0,192,3,0,0,2,48,0,0,224,193,0,0,48,185,2,0,232,13,0,0,0,0,0,0,8,194,0,0,76,185,2,0,0,0,0,0,2,0,0,0,216,15,0,0,2,0,0,0,64,5,0,0,2,40,0,0,8,194,0,0,98,185,2,0,0,0,0,0,2,0,0,0,0,19,0,0,2,0,0,0,64,5,0,0,2,40,0,0,224,193,0,0,128,185,2,0,232,13,0,0,0,0,0,0,224,193,0,0,161,185,2,0,152,3,0,0,0,0,0,0,224,193,0,0,194,185,2,0,232,13,0,0,0,0,0,0,224,193,0,0,232,185,2,0,232,13,0,0,0,0,0,0,224,193,0,0,11,186,2,0,152,3,0,0,0,0,0,0,224,193,0,0,45,186,2,0,152,3,0,0,0,0,0,0,224,193,0,0,71,186,2,0,232,13,0,0,0,0,0,0,8,194,0,0,102,186,2,0,0,0,0,0,3,0,0,0,208,9,0,0,2,0,0,0,192,3,0,0,2,80,0,0,16,19,0,0,2,92,0,0,224,193,0,0,138,186,2,0,152,3,0,0,0,0,0,0,8,194,0,0,175,186,2,0,0,0,0,0,2,0,0,0,208,9,0,0,2,0,0,0,192,3,0,0,2,80,0,0,224,193,0,0,211,186,2,0,232,13,0,0,0,0,0,0,8,194,0,0,247,186,2,0,0,0,0,0,2,0,0,0,208,9,0,0,2,0,0,0,192,3,0,0,2,80,0,0,224,193,0,0,24,187,2,0,232,13,0,0,0,0,0,0,224,193,0,0,49,187,2,0,120,15,0,0,0,0,0,0,224,193,0,0,85,187,2,0,120,15,0,0,0,0,0,0,224,193,0,0,122,187,2,0,120,15,0,0,0,0,0,0,224,193,0,0,156,187,2,0,120,15,0,0,0,0,0,0,224,193,0,0,180,187,2,0,120,15,0,0,0,0,0,0,8,194,0,0,211,187,2,0,0,0,0,0,2,0,0,0,232,13,0,0,2,0,0,0,192,3,0,0,2,28,0,0,224,193,0,0,237,187,2,0,216,15,0,0,0,0,0,0,224,193,0,0,13,188,2,0,216,15,0,0,0,0,0,0,224,193,0,0,51,188,2,0,216,15,0,0,0,0,0,0,224,193,0,0,80,188,2,0,0,19,0,0,0,0,0,0,224,193,0,0,112,188,2,0,216,15,0,0,0,0,0,0,224,193,0,0,137,188,2,0,216,15,0,0,0,0,0,0,224,193,0,0,159,188,2,0,216,15,0,0,0,0,0,0,224,193,0,0,182,188,2,0,216,15,0,0,0,0,0,0,224,193,0,0,204,188,2,0,216,15,0,0,0,0,0,0,224,193,0,0,235,188,2,0,216,15,0,0,0,0,0,0,224,193,0,0,25,189,2,0,216,15,0,0,0,0,0,0,224,193,0,0,62,189,2,0,232,13,0,0,0,0,0,0,224,193,0,0,90,189,2,0,168,16,0,0,0,0,0,0,224,193,0,0,119,189,2,0,168,16,0,0,0,0,0,0,224,193,0,0,147,189,2,0,168,16,0,0,0,0,0,0,224,193,0,0,180,189,2,0,168,16,0,0,0,0,0,0,224,193,0,0,212,189,2,0,168,16,0,0,0,0,0,0,224,193,0,0,245,189,2,0,168,16,0,0,0,0,0,0,224,193,0,0,19,190,2,0,168,16,0,0,0,0,0,0,224,193,0,0,50,190,2,0,168,16,0,0,0,0,0,0,224,193,0,0,80,190,2,0,168,16,0,0,0,0,0,0,224,193,0,0,109,190,2,0,176,7,0,0,0,0,0,0,224,193,0,0,137,190,2,0,176,7,0,0,0,0,0,0,224,193,0,0,183,190,2,0,176,7,0,0,0,0,0,0,184,193,0,0,53,200,2,0,224,193,0,0,15,200,2,0,120,17,0,0,0,0,0,0,224,193,0,0,237,199,2,0,120,17,0,0,0,0,0,0,8,194,0,0,194,198,2,0,0,0,0,0,2,0,0,0,208,17,0,0,2,0,0,0,24,19,0,0,2,16,0,0,224,193,0,0,158,198,2,0,120,17,0,0,0,0,0,0,224,193,0,0,115,198,2,0,120,17,0,0,0,0,0,0,8,194,0,0,69,198,2,0,0,0,0,0,2,0,0,0,120,17,0,0,2,0,0,0,24,19,0,0,2,4,0,0,8,194,0,0,198,197,2,0,0,0,0,0,2,0,0,0,120,17,0,0,2,0,0,0,24,19,0,0,2,4,0,0,8,194,0,0,155,197,2,0,0,0,0,0,2,0,0,0,120,17,0,0,2,0,0,0,24,19,0,0,2,4,0,0,224,193,0,0,108,197,2,0,192,17,0,0,0,0,0,0,224,193,0,0,61,197,2,0,120,17,0,0,0,0,0,0,8,194,0,0,24,197,2,0,0,0,0,0,2,0,0,0,120,17,0,0,2,0,0,0,24,19,0,0,2,4,0,0,224,193,0,0,238,196,2,0,96,18,0,0,0,0,0,0,224,193,0,0,204,196,2,0,96,18,0,0,0,0,0,0,224,193,0,0,110,196,2,0,96,18,0,0,0,0,0,0,224,193,0,0,72,196,2,0,120,17,0,0,0,0,0,0,224,193,0,0,32,196,2,0,176,18,0,0,0,0,0,0,224,193,0,0,245,195,2,0,176,18,0,0,0,0,0,0,224,193,0,0,205,195,2,0,176,18,0,0,0,0,0,0,224,193,0,0,167,195,2,0,176,18,0,0,0,0,0,0,224,193,0,0,131,195,2,0,216,15,0,0,0,0,0,0,184,193,0,0,91,195,2,0,184,193,0,0,166,196,2,0,224,193,0,0,244,197,2,0,224,45,0,0,0,0,0,0,224,193,0,0,158,199,2,0,224,45,0,0,0,0,0,0,224,193,0,0,174,210,2,0,56,2,0,0,0,0,0,0,184,193,0,0,17,210,2,0,224,193,0,0,120,213,2,0,112,19,0,0,0,0,0,0,184,193,0,0,127,211,2,0,184,193,0,0,138,214,2,0,224,193,0,0,164,215,2,0,184,12,0,0,0,0,0,0,184,193,0,0,7,215,2,0,8,194,0,0,250,216,2,0,0,0,0,0,2,0,0,0,0,6,0,0,2,0,0,0,160,0,0,0,3,224,255,255,8,194,0,0,222,217,2,0,0,0,0,0,2,0,0,0,208,19,0,0,2,0,0,0,160,0,0,0,3,224,255,255,8,194,0,0,38,218,2,0,0,0,0,0,1,0,0,0,248,40,0,0,3,228,255,255,224,193,0,0,195,235,2,0,0,20,0,0,0,0,0,0,184,193,0,0,194,234,2,0,184,193,0,0,77,236,2,0,224,193,0,0,207,236,2,0,0,20,0,0,0,0,0,0,184,193,0,0,143,236,2,0,8,194,0,0,246,237,2,0,0,0,0,0,2,0,0,0,80,1,0,0,2,0,0,0,160,0,0,0,3,224,255,255,8,194,0,0,73,238,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,224,193,0,0,143,248,2,0,112,19,0,0,0,0,0,0,184,193,0,0,200,246,2,0,224,193,0,0,158,249,2,0,184,12,0,0,0,0,0,0,184,193,0,0,89,249,2,0,224,193,0,0,158,250,2,0,48,10,0,0,0,0,0,0,184,193,0,0,81,250,2,0,8,194,0,0,31,251,2,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,224,193,0,0,122,19,3,0,0,20,0,0,0,0,0,0,184,193,0,0,53,19,3,0,224,193,0,0,9,20,3,0,56,21,0,0,0,0,0,0,224,193,0,0,40,20,3,0,56,21,0,0,0,0,0,0,224,193,0,0,68,20,3,0,56,21,0,0,0,0,0,0,224,193,0,0,97,20,3,0,56,21,0,0,0,0,0,0,224,193,0,0,138,20,3,0,56,21,0,0,0,0,0,0,224,193,0,0,174,20,3,0,56,21,0,0,0,0,0,0,184,193,0,0,61,27,3,0,8,194,0,0,84,27,3,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,8,194,0,0,126,40,3,0,0,0,0,0,1,0,0,0,248,40,0,0,3,228,255,255,224,193,0,0,166,40,3,0,224,45,0,0,0,0,0,0,224,193,0,0,177,41,3,0,224,45,0,0,0,0,0,0,224,193,0,0,3,42,3,0,224,45,0,0,0,0,0,0,8,194,0,0,92,42,3,0,0,0,0,0,2,0,0,0,192,21,0,0,2,0,0,0,104,5,0,0,2,0,0,0,184,193,0,0,30,45,3,0,8,194,0,0,67,45,3,0,0,0,0,0,2,0,0,0,88,21,0,0,2,0,0,0,160,0,0,0,3,224,255,255,224,193,0,0,22,47,3,0,224,45,0,0,0,0,0,0,224,193,0,0,111,47,3,0,224,45,0,0,0,0,0,0,224,193,0,0,227,47,3,0,224,45,0,0,0,0,0,0,224,193,0,0,46,48,3,0,40,22,0,0,0,0,0,0,184,193,0,0,4,49,3,0,224,193,0,0,38,49,3,0,40,22,0,0,0,0,0,0,224,193,0,0,225,50,3,0,128,7,0,0,0,0,0,0,184,193,0,0,171,50,3,0,224,193,0,0,28,52,3,0,136,7,0,0,0,0,0,0,184,193,0,0,80,51,3,0,224,193,0,0,89,64,3,0,136,22,0,0,0,0,0,0,184,193,0,0,22,64,3,0,184,193,0,0,229,64,3,0,224,193,0,0,157,65,3,0,168,22,0,0,0,0,0,0,184,193,0,0,47,65,3,0,184,193,0,0,38,66,3,0,224,193,0,0,222,66,3,0,200,22,0,0,0,0,0,0,184,193,0,0,109,66,3,0,184,193,0,0,106,67,3,0,8,194,0,0,180,67,3,0,0,0,0,0,2,0,0,0,240,22,0,0,2,0,0,0,160,0,0,0,3,244,255,255,8,194,0,0,5,68,3,0,0,0,0,0,2,0,0,0,16,23,0,0,2,0,0,0,120,0,0,0,2,4,0,0,224,193,0,0,67,68,3,0,192,44,0,0,0,0,0,0,184,193,0,0,171,68,3,0,184,193,0,0,134,68,3,0,184,193,0,0,25,60,3,0,224,193,0,0,58,69,3,0,136,22,0,0,0,0,0,0,184,193,0,0,211,68,3,0,224,193,0,0,5,70,3,0,168,22,0,0,0,0,0,0,184,193,0,0,196,69,3,0,224,193,0,0,205,70,3,0,200,22,0,0,0,0,0,0,184,193,0,0,140,70,3,0,224,193,0,0,134,71,3,0,224,45,0,0,0,0,0,0,224,193,0,0,162,73,3,0,160,23,0,0,0,0,0,0,184,193,0,0,183,73,3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,224,193,0,0,233,79,3,0,224,45,0,0,0,0,0,0,224,193,0,0,17,81,3,0,224,45,0,0,0,0,0,0,184,193,0,0,105,74,3,0,184,193,0,0,151,75,3,0,184,193,0,0,184,75,3,0,224,193,0,0,24,82,3,0,224,45,0,0,0,0,0,0,224,193,0,0,5,83,3,0,224,45,0,0,0,0,0,0,224,193,0,0,50,84,3,0,224,45,0,0,0,0,0,0,224,193,0,0,86,95,3,0,56,24,0,0,0,0,0,0,184,193,0,0,101,94,3,0,184,193,0,0,231,95,3,0,224,193,0,0,120,96,3,0,88,24,0,0,0,0,0,0,184,193,0,0,48,96,3,0,184,193,0,0,6,97,3,0,224,193,0,0,148,97,3,0,120,24,0,0,0,0,0,0,184,193,0,0,76,97,3,0,184,193,0,0,37,98,3,0,224,193,0,0,88,99,3,0,56,24,0,0,0,0,0,0,184,193,0,0,110,98,3,0,224,193,0,0,87,100,3,0,88,24,0,0,0,0,0,0,184,193,0,0,252,99,3,0,224,193,0,0,211,101,3,0,120,24,0,0,0,0,0,0,184,193,0,0,248,100,3,0,224,193,0,0,193,102,3,0,56,24,0,0,0,0,0,0,184,193,0,0,119,102,3,0,224,193,0,0,44,104,3,0,88,24,0,0,0,0,0,0,184,193,0,0,84,103,3,0,224,193,0,0,127,105,3,0,120,24,0,0,0,0,0,0,184,193,0,0,188,104,3,0,8,194,0,0,18,106,3,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,8,194,0,0,164,106,3,0,0,0,0,0,1,0,0,0,80,2,0,0,0,0,0,0,184,193,0,0,108,112,3,0,224,193,0,0,78,112,3,0,64,25,0,0,0,0,0,0,224,193,0,0,60,128,3,0,112,25,0,0,0,0,0,0,184,193,0,0,185,126,3,0,184,193,0,0,218,128,3,0,224,193,0,0,192,130,3,0,112,25,0,0,0,0,0,0,184,193,0,0,53,129,3,0,224,193,0,0,201,133,3,0,112,25,0,0,0,0,0,0,184,193,0,0,116,131,3,0,224,193,0,0,13,136,3,0,112,25,0,0,0,0,0,0,184,193,0,0,122,134,3,0,224,193,0,0,208,138,3,0,112,25,0,0,0,0,0,0,184,193,0,0,196,136,3,0,224,193,0,0,25,140,3,0,112,25,0,0,0,0,0,0,184,193,0,0,127,139,3,0,224,193,0,0,96,141,3,0,112,25,0,0,0,0,0,0,184,193,0,0,180,140,3,0,224,193,0,0,164,142,3,0,112,25,0,0,0,0,0,0,184,193,0,0,254,141,3,0,224,193,0,0,226,143,3,0,112,25,0,0,0,0,0,0,184,193,0,0,66,143,3,0,224,193,0,0,28,145,3,0,112,25,0,0,0,0,0,0,184,193,0,0,127,144,3,0,224,193,0,0,150,147,3,0,112,25,0,0,0,0,0,0,184,193,0,0,185,145,3,0,224,193,0,0,9,149,3,0,112,25,0,0,0,0,0,0,184,193,0,0,54,148,3,0,224,193,0,0,40,151,3,0,112,25,0,0,0,0,0,0,184,193,0,0,189,149,3,0,224,193,0,0,108,155,3,0,112,25,0,0,0,0,0,0,184,193,0,0,233,151,3,0,224,193,0,0,197,159,3,0,112,25,0,0,0,0,0,0,184,193,0,0,36,156,3,0,224,193,0,0,100,162,3,0,112,25,0,0,0,0,0,0,184,193,0,0,122,160,3,0,224,193,0,0,180,165,3,0,112,25,0,0,0,0,0,0,184,193,0,0,29,163,3,0,224,193,0,0,83,167,3,0,112,25,0,0,0,0,0,0,184,193,0,0,112,166,3,0,224,193,0,0,13,169,3,0,112,25,0,0,0,0,0,0,184,193,0,0,32,168,3,0,224,193,0,0,190,173,3,0,112,25,0,0,0,0,0,0,184,193,0,0,218,169,3,0,224,193,0,0,150,181,3,0,112,25,0,0,0,0,0,0,184,193,0,0,121,174,3,0,224,193,0,0,102,184,3,0,112,25,0,0,0,0,0,0,184,193,0,0,92,182,3,0,224,193,0,0,231,189,3,0,112,25,0,0,0,0,0,0,184,193,0,0,40,185,3,0,224,193,0,0,197,192,3,0,112,25,0,0,0,0,0,0,184,193,0,0,164,190,3,0,224,193,0,0,170,195,3,0,112,25,0,0,0,0,0,0,184,193,0,0,127,193,3,0,224,193,0,0,189,197,3,0,112,25,0,0,0,0,0,0,184,193,0,0,101,196,3,0,224,193,0,0,105,199,3,0,112,25,0,0,0,0,0,0,184,193,0,0,107,198,3,0,224,193,0,0,239,200,3,0,112,25,0,0,0,0,0,0,184,193,0,0,19,200,3,0,224,193,0,0,95,202,3,0,112,25,0,0,0,0,0,0,184,193,0,0,155,201,3,0,224,193,0,0,107,206,3,0,112,25,0,0,0,0,0,0,184,193,0,0,19,203,3,0,224,193,0,0,116,209,3,0,112,25,0,0,0,0,0,0,184,193,0,0,22,207,3,0,224,193,0,0,248,212,3,0,112,25,0,0,0,0,0,0,184,193,0,0,26,210,3,0,224,193,0,0,12,216,3,0,112,25,0,0,0,0,0,0,184,193,0,0,197,213,3,0,224,193,0,0,225,223,3,0,0,20,0,0,0,0,0,0,184,193,0,0,249,222,3,0,224,193,0,0,88,225,3,0,0,20,0,0,0,0,0,0,184,193,0,0,115,224,3,0,224,193,0,0,28,227,3,0,0,20,0,0,0,0,0,0,184,193,0,0,246,225,3,0,224,193,0,0,32,229,3,0,0,20,0,0,0,0,0,0,184,193,0,0,166,227,3,0,8,194,0,0,189,233,3,0,0,0,0,0,1,0,0,0,232,5,0,0,3,220,255,255,8,194,0,0,151,233,3,0,0,0,0,0,1,0,0,0,232,5,0,0,3,220,255,255,8,194,0,0,12,235,3,0,0,0,0,0,2,0,0,0,232,5,0,0,2,0,0,0,160,0,0,0,3,220,255,255,184,193,0,0,83,235,3,0,224,193,0,0,168,238,3,0,72,29,0,0,0,0,0,