Nymbo/self-hosted-python

1var Module=typeof globalThis.__pyodide_module!=="undefined"?globalThis.__pyodide_module:{};if(!Module.expectedDataFileDownloads){Module.expectedDataFileDownloads=0}Module.expectedDataFileDownloads++;(function(){var loadPackage=function(metadata){var PACKAGE_PATH="";if(typeof window==="object"){PACKAGE_PATH=window["encodeURIComponent"](window.location.pathname.toString().substring(0,window.location.pathname.toString().lastIndexOf("/"))+"/")}else if(typeof process==="undefined"&&typeof location!=="undefined"){PACKAGE_PATH=encodeURIComponent(location.pathname.toString().substring(0,location.pathname.toString().lastIndexOf("/"))+"/")}var PACKAGE_NAME="python-sat.data";var REMOTE_PACKAGE_BASE="python-sat.data";if(typeof Module["locateFilePackage"]==="function"&&!Module["locateFile"]){Module["locateFile"]=Module["locateFilePackage"];err("warning: you defined Module.locateFilePackage, that has been renamed to Module.locateFile (using your locateFilePackage for now)")}var REMOTE_PACKAGE_NAME=Module["locateFile"]?Module["locateFile"](REMOTE_PACKAGE_BASE,""):REMOTE_PACKAGE_BASE;var REMOTE_PACKAGE_SIZE=metadata["remote_package_size"];var PACKAGE_UUID=metadata["package_uuid"];function fetchRemotePackage(packageName,packageSize,callback,errback){if(typeof process==="object"){require("fs").readFile(packageName,(function(err,contents){if(err){errback(err)}else{callback(contents.buffer)}}));return}var xhr=new XMLHttpRequest;xhr.open("GET",packageName,true);xhr.responseType="arraybuffer";xhr.onprogress=function(event){var url=packageName;var size=packageSize;if(event.total)size=event.total;if(event.loaded){if(!xhr.addedTotal){xhr.addedTotal=true;if(!Module.dataFileDownloads)Module.dataFileDownloads={};Module.dataFileDownloads[url]={loaded:event.loaded,total:size}}else{Module.dataFileDownloads[url].loaded=event.loaded}var total=0;var loaded=0;var num=0;for(var download in Module.dataFileDownloads){var data=Module.dataFileDownloads[download];total+=data.total;loaded+=data.loaded;num++}total=Math.ceil(total*Module.expectedDataFileDownloads/num);if(Module["setStatus"])Module["setStatus"]("Downloading data... ("+loaded+"/"+total+")")}else if(!Module.dataFileDownloads){if(Module["setStatus"])Module["setStatus"]("Downloading data...")}};xhr.onerror=function(event){throw new Error("NetworkError for: "+packageName)};xhr.onload=function(event){if(xhr.status==200||xhr.status==304||xhr.status==206||xhr.status==0&&xhr.response){var packageData=xhr.response;callback(packageData)}else{throw new Error(xhr.statusText+" : "+xhr.responseURL)}};xhr.send(null)}function handleError(error){console.error("package error:",error)}var fetchedCallback=null;var fetched=Module["getPreloadedPackage"]?Module["getPreloadedPackage"](REMOTE_PACKAGE_NAME,REMOTE_PACKAGE_SIZE):null;if(!fetched)fetchRemotePackage(REMOTE_PACKAGE_NAME,REMOTE_PACKAGE_SIZE,(function(data){if(fetchedCallback){fetchedCallback(data);fetchedCallback=null}else{fetched=data}}),handleError);function runWithFS(){function assert(check,msg){if(!check)throw msg+(new Error).stack}Module["FS_createPath"]("/","lib",true,true);Module["FS_createPath"]("/lib","python3.9",true,true);Module["FS_createPath"]("/lib/python3.9","site-packages",true,true);Module["FS_createPath"]("/lib/python3.9/site-packages","pysat",true,true);Module["FS_createPath"]("/lib/python3.9/site-packages/pysat","examples",true,true);Module["FS_createPath"]("/lib/python3.9/site-packages","python_sat-0.1.7.dev15-py3.9.egg-info",true,true);Module["FS_createPath"]("/","bin",true,true);function processPackageData(arrayBuffer){assert(arrayBuffer,"Loading data file failed.");assert(arrayBuffer instanceof ArrayBuffer,"bad input to processPackageData");var byteArray=new Uint8Array(arrayBuffer);var curr;var compressedData={data:null,cachedOffset:1216491,cachedIndexes:[-1,-1],cachedChunks:[null,null],offsets:[0,1315,2270,3330,4911,6495,7984,9436,10585,11966,13021,14115,15171,16042,17040,18058,19151,20253,21793,23221,24432,25647,26973,28274,29363,30387,31842,33505,34884,35932,37006,37740,38498,39991,41259,42398,43398,44317,45405,46333,47302,48074,48946,49961,51096,52043,53099,54166,55326,56248,57325,58266,59283,60031,61021,62146,63106,64203,65219,66300,67347,68304,69441,70563,71439,72440,73437,74495,75588,76603,77701,78723,79807,80985,81973,82714,83792,84615,85395,86475,87494,88545,89544,90577,91701,93335,94416,95486,96540,97604,98662,99743,100893,101979,103099,104215,105326,106418,107700,108950,110410,112095,113489,115141,116745,118206,119472,120856,122129,123255,124798,126452,128074,129570,131130,132641,134079,135690,137169,138698,140340,141784,143240,144603,146169,147626,149175,150253,151799,153349,154879,156004,157427,158638,160094,161446,162865,164217,165560,167118,168584,170163,171781,173471,174913,176452,177831,179316,180876,182232,183615,185194,186683,188110,189378,190761,191665,193145,194575,195975,197554,199236,200776,202072,203338,204290,205834,207449,208362,209503,210912,212392,213773,215425,216933,218247,219638,220959,221789,222436,223128,223872,224597,225300,226047,226743,227494,228111,228858,229496,230041,230648,231237,232277,233217,234166,235093,236375,237689,239094,240251,241282,242461,243320,244253,245463,246615,248213,249837,251501,253073,254006,255393,256919,258397,259986,261526,262233,262783,264238,265874,267414,268604,269556,270382,271304,272059,272569,273249,274114,275027,275998,276802,277919,279184,280824,282471,283865,285336,286625,288117,289687,290988,292534,294111,295711,297174,298717,300264,301761,303241,304683,305918,307199,308512,310129,311779,313423,315029,316525,317720,318885,320499,321924,323183,324669,326218,327654,329156,330755,332465,333983,335490,337051,338498,340060,341302,342633,343986,345468,346745,347888,348888,350432,351994,353523,354933,356435,357969,359412,360936,362395,364014,365590,367070,368636,370016,371499,372802,374004,375483,376677,377839,379447,380874,382381,383547,385115,386601,388060,389407,391014,392611,394146,395604,397224,398663,400204,401434,402799,404149,405603,406937,408024,408947,410435,412022,413533,415182,416531,417950,419405,420846,422304,423666,425200,426683,428338,429918,431390,432933,434364,435811,437279,438664,439871,441388,442453,444002,445629,447157,448738,450027,451114,452582,454148,455757,457306,458791,460306,461856,463469,464959,466483,468135,469597,471135,472436,473796,475121,476513,478121,479564,481186,482616,484147,485365,486962,488516,490061,491478,493017,494560,496154,497690,499321,500645,502139,503446,504850,506098,507219,508190,509784,511296,512892,514513,515956,517488,519058,520586,522065,523680,525184,526792,528203,529703,531009,532421,533955,535137,536173,537725,539223,540742,542254,543738,545191,546745,547981,549276,550599,551966,553320,554509,556132,557402,559039,560558,562034,563511,565115,566663,568260,569752,571222,572763,573619,574828,575830,577425,579015,580037,581566,583147,584802,586234,587849,589314,591041,592545,593945,595517,596815,598447,599998,601504,602827,603909,605233,605967,606514,607156,607774,608358,609001,610340,611360,612597,613957,615540,617128,618820,620385,621904,623336,624952,626284,627440,628995,630598,631921,633380,634897,636151,637714,639304,640890,642340,643843,645154,646570,647880,649241,650767,652237,653746,655249,656831,658280,659957,661496,662840,664132,665480,666611,667953,669507,671011,672538,673924,675462,677099,678602,680261,681747,683234,684475,685903,686879,688330,689727,690844,692039,693316,694690,695980,697196,698327,699527,700880,702005,703203,704600,705742,706886,708118,709377,710483,711614,712759,713979,715147,716277,717406,718667,719786,720926,722132,723464,724649,725814,726971,728331,729515,730666,731818,733111,734223,735380,736555,737887,739060,740201,741353,742290,743259,744537,745802,746985,748039,749088,750177,751192,752245,753258,754256,755373,756656,757752,759159,760308,761390,762724,763804,765266,766350,767540,768864,770152,771589,772991,774385,775630,776915,778132,779418,780201,781206,782322,783503,784919,786353,787792,788454,788479,788504,788529,788554,788579,788604,788629,788654,788679,788704,788729,788754,788779,788804,788829,788854,788879,788904,788929,788954,788979,789004,789029,789054,789079,789104,789129,789154,789179,789204,789229,789254,789279,789304,789329,789354,789379,789404,789429,789454,789479,789504,789529,789554,789579,789604,789629,789654,789679,789704,789729,789754,789779,789804,789829,789854,789879,789904,789929,789954,789979,790004,790029,790054,790079,790104,790129,790154,790179,790204,790229,790254,790279,790304,790329,790354,790379,790404,790429,790454,790479,790504,790529,790554,790579,790604,790629,790654,790679,790704,790729,790754,790779,790804,790829,790854,790879,790904,790929,790954,790979,791004,791029,791054,791079,791104,791129,791154,791179,791204,791229,791254,791279,791304,791329,791354,791379,791404,791429,791454,791479,791504,791529,791554,791579,791604,791629,791654,791679,791704,791729,791754,791779,791804,791829,791854,791879,791904,791929,791954,791979,792004,792029,792054,792079,792104,792129,792154,792179,792204,792229,792254,792279,792304,792329,792354,792379,792404,792429,792454,792479,792504,792529,792554,792579,792604,792629,792654,792679,792704,792729,792754,792779,792804,792829,792854,792879,792904,792929,792954,792979,793004,793029,793054,793079,793104,793129,793154,793179,793204,793229,793254,793279,793304,793329,793354,793379,793404,793429,793454,793479,793504,793529,793554,793579,793604,793629,793654,793679,793704,793729,793754,793779,793804,793829,793854,793879,793904,793929,793954,793979,794004,794029,794054,794079,794104,794129,794154,794179,794204,794229,794254,794279,794304,794329,794354,794379,794404,794429,794454,794479,794504,794529,794554,794579,794604,794629,794654,794679,794704,794729,794754,794779,794804,794829,794854,794879,794904,794929,794954,794979,795004,795029,795054,795079,795104,795129,795154,795179,795204,795229,795254,795279,795304,795329,795354,795379,795404,795429,795454,795479,795504,795529,795554,795579,795604,795629,795654,795679,795704,795729,795754,795779,795804,795829,795854,795879,795904,795929,795954,795979,796004,796029,796054,796079,796104,796129,796154,796179,796204,796229,796254,796279,796304,796329,796354,796379,796404,796429,796454,796479,796504,796529,796554,796579,796604,796629,796654,796679,796704,796729,796754,796779,796804,796829,796854,796879,796904,796929,796954,796979,797004,797029,797054,797079,797104,797129,797154,797179,797204,797229,797254,797279,797304,797329,797354,797379,797404,797429,797454,797479,797504,797529,797554,797579,797604,797629,797654,797679,797704,797729,797754,797779,797804,797829,797854,797879,797904,797929,797954,797979,798004,798029,798054,798079,798104,798129,798154,798179,798204,798229,798254,798279,798304,798329,798354,798379,798404,798429,798454,798479,798504,798529,798554,798579,798604,798629,798654,798679,798704,798729,798754,798779,798804,798829,798854,798879,798904,798929,798954,798979,799004,799029,799054,799079,799104,799129,799154,799179,799204,799229,799254,799279,799304,799329,799354,799379,799404,799429,799454,799479,799504,799529,799554,799579,799604,799629,799654,799679,799704,799729,799754,799779,799804,799829,799854,799879,799904,799929,799954,799979,800004,800029,800054,800079,800104,800129,800154,800179,800204,800229,800254,800279,800304,800329,800354,800379,800404,800429,800454,800479,800504,800529,800554,800579,800604,800629,800654,800679,800704,800729,800754,800779,800804,800829,800854,800879,800904,800929,800954,800979,801004,801029,801054,801079,801104,801129,801154,801179,801204,801229,801254,801279,801304,801329,801354,801379,801404,801429,801454,801479,801504,801529,801554,801579,801604,801629,801654,801679,801704,801729,801754,801779,801804,801829,801854,801879,801904,801929,801954,801979,802004,802029,802054,802079,802104,802129,802154,802179,802204,802229,802254,802279,802304,802329,802354,802379,802404,802429,802454,802479,802504,802529,802554,802579,802604,802629,802654,802679,802704,802729,802754,802779,802804,802829,802854,802879,802904,802929,802954,802979,803004,803029,803054,803079,803104,803129,803154,803179,803204,803229,803254,803279,803304,803329,803354,803379,803404,803429,803454,803479,803504,803529,803554,803579,803604,803629,803654,803679,803704,803729,803754,803779,803804,803829,803854,803879,803904,803929,803954,803979,804004,804029,804054,804079,804104,804129,804154,804179,804204,804229,804254,804279,804304,804329,804354,804379,804404,804429,804454,804479,804504,804529,804554,804579,804604,804629,804654,804679,804704,804729,804754,804779,804804,804829,804854,804879,804904,804929,804954,804979,805004,805029,805054,805079,805104,805129,805154,805179,805204,805229,805254,805279,805304,805329,805354,805379,805404,805429,805454,805479,805504,805529,805554,805579,805604,805629,805654,805679,805704,805729,805754,805779,805804,805829,805854,805879,805904,805929,805954,805979,806004,806029,806054,806079,806104,806129,806154,806179,806204,806229,806254,806279,806304,806329,806354,806379,806404,806429,806454,806479,806504,806529,806554,806579,806604,806629,806654,806679,806704,806729,806754,806779,806804,806829,806854,806879,806904,806929,806954,806979,807004,807029,807054,807079,807104,807129,807154,807179,807204,807229,807254,807279,807304,807329,807354,807379,807404,807429,807454,807479,807504,807529,807554,807579,807604,807629,807654,807679,807704,807729,807754,807779,807804,807829,807854,807879,807904,807929,807954,807979,808004,808029,808054,808079,808104,808129,808154,808179,808204,808229,808254,808279,808304,808329,808354,808379,808404,808429,808454,808479,808504,808529,808554,808579,808604,808629,808654,808679,808704,808729,808754,808779,808804,808829,808854,808879,808904,808929,808954,808979,809004,809029,809054,809079,809104,809129,809154,809179,809204,809229,809254,809279,809304,809329,809354,809379,809404,809429,809454,809479,809504,809529,809554,809579,809604,809629,809654,809679,809704,809729,809754,809779,809804,809829,809854,809879,809904,809929,809954,809979,810004,810029,810054,810079,810104,810129,810154,810179,810204,810229,810254,810279,810304,810329,810354,810379,810404,810429,810454,810479,810504,810529,810554,810579,810604,810629,810654,810679,810704,810729,810754,810779,810804,810829,810854,810879,810904,810929,810954,810979,811004,811029,811054,811079,811104,811129,811154,811179,811204,811229,811254,811279,811304,811329,811354,811379,811404,811429,811454,811479,811504,811529,811554,811579,811604,811629,811654,811679,811704,811729,811754,811779,811804,811829,811854,811879,811904,811929,811954,811979,812004,812029,812054,812079,812104,812129,812154,812179,812204,812229,812254,812279,812304,812329,812354,812379,812404,812429,812454,812479,812504,812529,812554,812579,812604,812629,812654,812679,812704,812729,812754,812779,812804,812829,812854,812879,812904,812929,812954,812979,813004,813029,813054,813079,813104,813129,813154,813179,813204,813229,813254,813279,813304,813329,813354,813379,813404,813429,813454,813479,813504,813529,813554,813579,813604,813629,813654,813679,813704,813729,813754,813779,813804,813829,813854,813879,813904,813929,813954,813979,814004,814029,814054,814079,814104,814129,814154,814712,815994,817098,818300,819824,821300,822466,823736,825006,826291,827626,828765,830063,831291,832498,833689,834839,835985,837181,838511,839905,841288,842650,843905,845041,846227,847416,848447,849557,850747,851945,852940,853911,854862,856055,857236,858389,859499,860646,861614,862792,863915,864976,865830,866767,867947,869228,870306,871575,872686,873534,874481,875574,876722,878009,879061,880206,881465,882340,883336,884431,885417,886964,888291,889494,890739,892004,893333,894333,895607,897004,898396,899617,900645,901892,903165,903963,905155,906449,907698,908581,909621,910813,912024,912916,913751,914704,915752,916800,918010,919002,919799,920653,921600,922610,923313,924207,925121,926136,926862,927743,928614,929628,930620,931426,932321,933303,934351,935142,935971,936906,937894,938703,939554,940574,941622,942385,943234,944227,945229,945946,946790,947740,948737,949426,950347,951270,952255,952964,953833,954767,955744,956437,957327,958130,959143,959854,960739,961676,962662,963457,964312,965344,966751,968014,969200,970491,971750,972924,974108,975345,976727,977871,979133,980392,981824,983028,984328,985517,986704,987844,989266,990560,991797,993174,994281,995398,996640,997940,999376,1000588,1001830,1003026,1004328,1005598,1006873,1008065,1009294,1010394,1011876,1013228,1014427,1015590,1016857,1018013,1019233,1020420,1021822,1023071,1024267,1025471,1026751,1027990,1029224,1030497,1031591,1032923,1034199,1035304,1036729,1038052,1039279,1040610,1041760,1043189,1044609,1045873,1047219,1048353,1049410,1050657,1051919,1053107,1054244,1055658,1056990,1058212,1059499,1060754,1062022,1063156,1064298,1065418,1066553,1067710,1068902,1070134,1071392,1072630,1073918,1075225,1076476,1077615,1078810,1080001,1081265,1082532,1083794,1084907,1085999,1087248,1088405,1089366,1090585,1091649,1092884,1094048,1095154,1096582,1097298,1098131,1099546,1100809,1102027,1103287,1104572,1105712,1106916,1108162,1109580,1110770,1111980,1113233,1114610,1115879,1117114,1118333,1119506,1120680,1122042,1123300,1124578,1125781,1127044,1128310,1129565,1130841,1132076,1133238,1134740,1136049,1137256,1138416,1139697,1140841,1142030,1143242,1144633,1145897,1147113,1148324,1149594,1150833,1152021,1153238,1154282,1155631,1156854,1157915,1159331,1160618,1161885,1163211,1164303,1165803,1167193,1168504,1169803,1170968,1172094,1173286,1174558,1175717,1176917,1178350,1179711,1180961,1182248,1183476,1184748,1185842,1187004,1188092,1189187,1190383,1191612,1192831,1194085,1195318,1196632,1197931,1199160,1200382,1201572,1202785,1204063,1205360,1206620,1207750,1208817,1210032,1211197,1212099,1213276,1214373,1215607],sizes:[1315,955,1060,1581,1584,1489,1452,1149,1381,1055,1094,1056,871,998,1018,1093,1102,1540,1428,1211,1215,1326,1301,1089,1024,1455,1663,1379,1048,1074,734,758,1493,1268,1139,1e3,919,1088,928,969,772,872,1015,1135,947,1056,1067,1160,922,1077,941,1017,748,990,1125,960,1097,1016,1081,1047,957,1137,1122,876,1001,997,1058,1093,1015,1098,1022,1084,1178,988,741,1078,823,780,1080,1019,1051,999,1033,1124,1634,1081,1070,1054,1064,1058,1081,1150,1086,1120,1116,1111,1092,1282,1250,1460,1685,1394,1652,1604,1461,1266,1384,1273,1126,1543,1654,1622,1496,1560,1511,1438,1611,1479,1529,1642,1444,1456,1363,1566,1457,1549,1078,1546,1550,1530,1125,1423,1211,1456,1352,1419,1352,1343,1558,1466,1579,1618,1690,1442,1539,1379,1485,1560,1356,1383,1579,1489,1427,1268,1383,904,1480,1430,1400,1579,1682,1540,1296,1266,952,1544,1615,913,1141,1409,1480,1381,1652,1508,1314,1391,1321,830,647,692,744,725,703,747,696,751,617,747,638,545,607,589,1040,940,949,927,1282,1314,1405,1157,1031,1179,859,933,1210,1152,1598,1624,1664,1572,933,1387,1526,1478,1589,1540,707,550,1455,1636,1540,1190,952,826,922,755,510,680,865,913,971,804,1117,1265,1640,1647,1394,1471,1289,1492,1570,1301,1546,1577,1600,1463,1543,1547,1497,1480,1442,1235,1281,1313,1617,1650,1644,1606,1496,1195,1165,1614,1425,1259,1486,1549,1436,1502,1599,1710,1518,1507,1561,1447,1562,1242,1331,1353,1482,1277,1143,1e3,1544,1562,1529,1410,1502,1534,1443,1524,1459,1619,1576,1480,1566,1380,1483,1303,1202,1479,1194,1162,1608,1427,1507,1166,1568,1486,1459,1347,1607,1597,1535,1458,1620,1439,1541,1230,1365,1350,1454,1334,1087,923,1488,1587,1511,1649,1349,1419,1455,1441,1458,1362,1534,1483,1655,1580,1472,1543,1431,1447,1468,1385,1207,1517,1065,1549,1627,1528,1581,1289,1087,1468,1566,1609,1549,1485,1515,1550,1613,1490,1524,1652,1462,1538,1301,1360,1325,1392,1608,1443,1622,1430,1531,1218,1597,1554,1545,1417,1539,1543,1594,1536,1631,1324,1494,1307,1404,1248,1121,971,1594,1512,1596,1621,1443,1532,1570,1528,1479,1615,1504,1608,1411,1500,1306,1412,1534,1182,1036,1552,1498,1519,1512,1484,1453,1554,1236,1295,1323,1367,1354,1189,1623,1270,1637,1519,1476,1477,1604,1548,1597,1492,1470,1541,856,1209,1002,1595,1590,1022,1529,1581,1655,1432,1615,1465,1727,1504,1400,1572,1298,1632,1551,1506,1323,1082,1324,734,547,642,618,584,643,1339,1020,1237,1360,1583,1588,1692,1565,1519,1432,1616,1332,1156,1555,1603,1323,1459,1517,1254,1563,1590,1586,1450,1503,1311,1416,1310,1361,1526,1470,1509,1503,1582,1449,1677,1539,1344,1292,1348,1131,1342,1554,1504,1527,1386,1538,1637,1503,1659,1486,1487,1241,1428,976,1451,1397,1117,1195,1277,1374,1290,1216,1131,1200,1353,1125,1198,1397,1142,1144,1232,1259,1106,1131,1145,1220,1168,1130,1129,1261,1119,1140,1206,1332,1185,1165,1157,1360,1184,1151,1152,1293,1112,1157,1175,1332,1173,1141,1152,937,969,1278,1265,1183,1054,1049,1089,1015,1053,1013,998,1117,1283,1096,1407,1149,1082,1334,1080,1462,1084,1190,1324,1288,1437,1402,1394,1245,1285,1217,1286,783,1005,1116,1181,1416,1434,1439,662,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,25,558,1282,1104,1202,1524,1476,1166,1270,1270,1285,1335,1139,1298,1228,1207,1191,1150,1146,1196,1330,1394,1383,1362,1255,1136,1186,1189,1031,1110,1190,1198,995,971,951,1193,1181,1153,1110,1147,968,1178,1123,1061,854,937,1180,1281,1078,1269,1111,848,947,1093,1148,1287,1052,1145,1259,875,996,1095,986,1547,1327,1203,1245,1265,1329,1e3,1274,1397,1392,1221,1028,1247,1273,798,1192,1294,1249,883,1040,1192,1211,892,835,953,1048,1048,1210,992,797,854,947,1010,703,894,914,1015,726,881,871,1014,992,806,895,982,1048,791,829,935,988,809,851,1020,1048,763,849,993,1002,717,844,950,997,689,921,923,985,709,869,934,977,693,890,803,1013,711,885,937,986,795,855,1032,1407,1263,1186,1291,1259,1174,1184,1237,1382,1144,1262,1259,1432,1204,1300,1189,1187,1140,1422,1294,1237,1377,1107,1117,1242,1300,1436,1212,1242,1196,1302,1270,1275,1192,1229,1100,1482,1352,1199,1163,1267,1156,1220,1187,1402,1249,1196,1204,1280,1239,1234,1273,1094,1332,1276,1105,1425,1323,1227,1331,1150,1429,1420,1264,1346,1134,1057,1247,1262,1188,1137,1414,1332,1222,1287,1255,1268,1134,1142,1120,1135,1157,1192,1232,1258,1238,1288,1307,1251,1139,1195,1191,1264,1267,1262,1113,1092,1249,1157,961,1219,1064,1235,1164,1106,1428,716,833,1415,1263,1218,1260,1285,1140,1204,1246,1418,1190,1210,1253,1377,1269,1235,1219,1173,1174,1362,1258,1278,1203,1263,1266,1255,1276,1235,1162,1502,1309,1207,1160,1281,1144,1189,1212,1391,1264,1216,1211,1270,1239,1188,1217,1044,1349,1223,1061,1416,1287,1267,1326,1092,1500,1390,1311,1299,1165,1126,1192,1272,1159,1200,1433,1361,1250,1287,1228,1272,1094,1162,1088,1095,1196,1229,1219,1254,1233,1314,1299,1229,1222,1190,1213,1278,1297,1260,1130,1067,1215,1165,902,1177,1097,1234,884],successes:[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]};compressedData["data"]=byteArray;assert(typeof Module.LZ4==="object","LZ4 not present - was your app build with  -s LZ4=1  ?");Module.LZ4.loadPackage({metadata:metadata,compressedData:compressedData},true);Module["removeRunDependency"]("datafile_python-sat.data")}Module["addRunDependency"]("datafile_python-sat.data");if(!Module.preloadResults)Module.preloadResults={};Module.preloadResults[PACKAGE_NAME]={fromCache:false};if(fetched){processPackageData(fetched);fetched=null}else{fetchedCallback=processPackageData}}if(Module["calledRun"]){runWithFS()}else{if(!Module["preRun"])Module["preRun"]=[];Module["preRun"].push(runWithFS)}};loadPackage({files:[{filename:"/lib/python3.9/site-packages/pycard.so",start:0,end:56959,audio:0},{filename:"/lib/python3.9/site-packages/pysolvers.so",start:56959,end:3343327,audio:0},{filename:"/lib/python3.9/site-packages/pysat/__init__.py",start:3343327,end:3343981,audio:0},{filename:"/lib/python3.9/site-packages/pysat/_fileio.py",start:3343981,end:3349795,audio:0},{filename:"/lib/python3.9/site-packages/pysat/_utils.py",start:3349795,end:3351135,audio:0},{filename:"/lib/python3.9/site-packages/pysat/card.py",start:3351135,end:3380603,audio:0},{filename:"/lib/python3.9/site-packages/pysat/formula.py",start:3380603,end:3469315,audio:0},{filename:"/lib/python3.9/site-packages/pysat/pb.py",start:3469315,end:3484470,audio:0},{filename:"/lib/python3.9/site-packages/pysat/solvers.py",start:3484470,end:3634967,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/__init__.py",start:3634967,end:3634967,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/fm.py",start:3634967,end:3652935,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/genhard.py",start:3652935,end:3671925,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/hitman.py",start:3671925,end:3688358,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/lbx.py",start:3688358,end:3709502,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/lsu.py",start:3709502,end:3725025,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/mcsls.py",start:3725025,end:3745194,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/models.py",start:3745194,end:3750582,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/musx.py",start:3750582,end:3761145,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/optux.py",start:3761145,end:3781231,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/rc2.py",start:3781231,end:3848030,audio:0},{filename:"/lib/python3.9/site-packages/pysat/examples/usage.py",start:3848030,end:3850213,audio:0},{filename:"/lib/python3.9/site-packages/python_sat-0.1.7.dev15-py3.9.egg-info/PKG-INFO",start:3850213,end:3851402,audio:0},{filename:"/lib/python3.9/site-packages/python_sat-0.1.7.dev15-py3.9.egg-info/SOURCES.txt",start:3851402,end:3855871,audio:0},{filename:"/lib/python3.9/site-packages/python_sat-0.1.7.dev15-py3.9.egg-info/dependency_links.txt",start:3855871,end:3855872,audio:0},{filename:"/lib/python3.9/site-packages/python_sat-0.1.7.dev15-py3.9.egg-info/requires.txt",start:3855872,end:3855929,audio:0},{filename:"/lib/python3.9/site-packages/python_sat-0.1.7.dev15-py3.9.egg-info/top_level.txt",start:3855929,end:3855952,audio:0},{filename:"/bin/fm.py",start:3855952,end:3873922,audio:0},{filename:"/bin/genhard.py",start:3873922,end:3892914,audio:0},{filename:"/bin/lbx.py",start:3892914,end:3914060,audio:0},{filename:"/bin/lsu.py",start:3914060,end:3929585,audio:0},{filename:"/bin/mcsls.py",start:3929585,end:3949756,audio:0},{filename:"/bin/models.py",start:3949756,end:3955146,audio:0},{filename:"/bin/musx.py",start:3955146,end:3965711,audio:0},{filename:"/bin/optux.py",start:3965711,end:3985799,audio:0},{filename:"/bin/rc2.py",start:3985799,end:4052600,audio:0}],remote_package_size:1220587,package_uuid:"333d4d8a-8038-4f93-ab50-1c66dfe186a4"})})();