#1000 a=-1343263089; b=-810983240; op=0;
#1000 a=-862576463; b=-480617084; op=2;
#1000 a=109037806; b=-1527516452; op=6;
#1000 a=-959436161; b=2013699419; op=7;
#1000 a=170267994; b=101244991; op=2;
#1000 a=-637107925; b=1052678010; op=0;
#1000 a=664716476; b=-2042456199; op=7;
#1000 a=1546599130; b=812774190; op=2;
#1000 a=-376608184; b=-207326766; op=2;
#1000 a=399316952; b=516506825; op=7;
#1000 a=-877085615; b=-568638884; op=0;
#1000 a=641021688; b=1941817976; op=2;
#1000 a=-1989479054; b=-1071429823; op=1;
#1000 a=950008327; b=-1342760534; op=1;
#1000 a=-1471653017; b=-854486094; op=0;
#1000 a=1197277588; b=-1447526395; op=2;
#1000 a=-839301591; b=910497086; op=2;
#1000 a=-1971868287; b=-548437020; op=6;
#1000 a=-1125782233; b=1403191683; op=0;
#1000 a=1404888080; b=36786118; op=0;
#1000 a=582865331; b=-237055642; op=7;
#1000 a=1730515828; b=-1475331769; op=0;
#1000 a=-2135579390; b=-1301183134; op=7;
#1000 a=610304515; b=807718762; op=2;
#1000 a=-1492036280; b=-1169894770; op=6;
#1000 a=-73523294; b=-1603781272; op=2;
#1000 a=1071010005; b=540711515; op=7;
#1000 a=1208104708; b=1392453179; op=7;
#1000 a=318199628; b=-1149714609; op=0;
#1000 a=1805723594; b=1057798814; op=0;
#1000 a=73936957; b=2014156570; op=2;
#1000 a=1465633461; b=-1043628485; op=7;
#1000 a=41853902; b=-1738148139; op=7;
#1000 a=1696126807; b=-1272755651; op=2;
#1000 a=-67703496; b=345419865; op=2;
#1000 a=-1383946478; b=1498376832; op=7;
#1000 a=595451969; b=-1976082460; op=0;
#1000 a=1759646536; b=-1242920942; op=0;
#1000 a=2095116797; b=-485347444; op=7;
#1000 a=508296444; b=915685068; op=0;
#1000 a=-1613458823; b=43895340; op=7;
#1000 a=100096608; b=133369119; op=1;
#1000 a=-318662627; b=904243663; op=0;
#1000 a=-607550719; b=1283429488; op=7;
#1000 a=-257280279; b=-755610162; op=0;
#1000 a=-1402376817; b=-1579143784; op=1;
#1000 a=-1666519845; b=875774735; op=7;
#1000 a=449821294; b=571963491; op=0;
#1000 a=-1934474724; b=1592022318; op=7;
#1000 a=-1888531297; b=1674122783; op=7;
#1000 a=-1273035063; b=758991224; op=1;
#1000 a=1667425944; b=-651821410; op=1;
#1000 a=-142268047; b=946027772; op=6;
#1000 a=-849259741; b=162538555; op=0;
#1000 a=393750691; b=475968800; op=2;
#1000 a=924852839; b=-1218234693; op=1;
#1000 a=300142363; b=-204491138; op=2;
#1000 a=300515741; b=945788447; op=2;
#1000 a=1653222768; b=1626822642; op=2;
#1000 a=-1552138204; b=542883278; op=6;
#1000 a=-42209959; b=2117163040; op=2;
#1000 a=2119515887; b=-745542247; op=0;
#1000 a=218036695; b=-181351971; op=7;
#1000 a=-364748924; b=-919246462; op=0;
#1000 a=-507421454; b=-1520367554; op=6;
#1000 a=2114133508; b=1926079064; op=2;
#1000 a=1543696064; b=859004221; op=6;
#1000 a=240674293; b=-92616584; op=1;
#1000 a=-1377217804; b=1523134001; op=0;
#1000 a=2107732927; b=2137063266; op=2;
#1000 a=-209348308; b=-1300191350; op=7;
#1000 a=1471661352; b=-1267108899; op=6;
#1000 a=-45485651; b=-56044136; op=2;
#1000 a=1134086437; b=-456898603; op=2;
#1000 a=-895607978; b=-1158452672; op=2;
#1000 a=-973259809; b=1102999114; op=2;
#1000 a=1251068138; b=1094397928; op=7;
#1000 a=-221284922; b=-29786402; op=1;
#1000 a=-1505096950; b=-929372146; op=0;
#1000 a=-1758298888; b=773262305; op=1;
#1000 a=45621615; b=1227431991; op=6;
#1000 a=-416158095; b=-1575850249; op=7;
#1000 a=1891680581; b=1066005058; op=1;
#1000 a=381741243; b=812916645; op=1;
#1000 a=91238327; b=-1652900539; op=1;
#1000 a=-2125097960; b=-2055549851; op=6;
#1000 a=724850446; b=-1593820555; op=2;
#1000 a=-1726692255; b=-1872729574; op=1;
#1000 a=227445229; b=387642828; op=6;
#1000 a=1281494785; b=1028493041; op=2;
#1000 a=1901382548; b=-934366093; op=2;
#1000 a=161258469; b=497714461; op=0;
#1000 a=191986987; b=-1255685366; op=2;
#1000 a=1802469935; b=-2131501338; op=7;
#1000 a=-1434382455; b=767431789; op=1;
#1000 a=-1665091057; b=1605224710; op=1;
#1000 a=-44425742; b=2046662028; op=6;
#1000 a=-235527407; b=247279948; op=1;
#1000 a=-377163330; b=886093154; op=7;
#1000 a=-731192643; b=445441788; op=0;
#1000 a=1895641066; b=1869408317; op=2;
#1000 a=1241907561; b=1154314083; op=7;
#1000 a=-229496576; b=-1179159605; op=6;
#1000 a=100580213; b=1358181528; op=6;
#1000 a=-576175908; b=-954915409; op=0;
#1000 a=1929644926; b=-1444461213; op=7;
#1000 a=-225577166; b=-1946466170; op=2;
#1000 a=1383566889; b=567862461; op=1;
#1000 a=308843244; b=-1363653720; op=1;
#1000 a=551262854; b=-717360014; op=0;
#1000 a=-1219223124; b=980660230; op=7;
#1000 a=-1895804342; b=677751223; op=7;
#1000 a=1190048283; b=1337915632; op=0;
#1000 a=1311904590; b=1465598949; op=2;
#1000 a=-713868589; b=-2098976328; op=2;
#1000 a=-335075312; b=-1306755949; op=7;
#1000 a=330486013; b=-1487613606; op=1;
#1000 a=-260806868; b=121859516; op=6;
#1000 a=-1830455046; b=642341816; op=6;
#1000 a=1556460040; b=1231586751; op=0;
#1000 a=-446478154; b=2009162770; op=7;
#1000 a=986480935; b=-778427816; op=0;
#1000 a=-442198408; b=-1506236746; op=0;
#1000 a=1740372190; b=-894803230; op=2;
#1000 a=-64497604; b=-1238761434; op=6;
#1000 a=1500441444; b=1658912639; op=7;
#1000 a=-2039580918; b=670774818; op=7;
#1000 a=1542178157; b=-864795139; op=2;
#1000 a=-536772920; b=670901079; op=6;
#1000 a=830421204; b=-1522985326; op=1;
#1000 a=-1696362901; b=327145631; op=2;
#1000 a=218012933; b=1517464003; op=7;
#1000 a=1942490525; b=-1423413471; op=2;
#1000 a=1866727196; b=-1935778291; op=1;
#1000 a=-1965603791; b=-149082969; op=6;
#1000 a=-2077701124; b=1654757173; op=1;
#1000 a=-1623470851; b=438718472; op=7;
#1000 a=-993432379; b=1839016512; op=0;
#1000 a=502649067; b=1235742075; op=6;
#1000 a=1120938616; b=1059960962; op=2;
#1000 a=1771229288; b=1126744870; op=7;
#1000 a=2057553830; b=-1857615539; op=7;
#1000 a=1783255161; b=584543310; op=6;
#1000 a=821921659; b=972797214; op=0;
#1000 a=1880544792; b=-831855118; op=7;
#1000 a=1937858446; b=-1192386974; op=2;
#1000 a=-1896675924; b=1251246514; op=0;
#1000 a=1923868207; b=-91778271; op=7;
#1000 a=-485372486; b=-1388102573; op=1;
#1000 a=635814197; b=1009211447; op=7;
#1000 a=-776926433; b=-1159888061; op=2;
#1000 a=-1503594124; b=2028018146; op=2;
#1000 a=-1246993810; b=674027749; op=6;
#1000 a=1174287717; b=-1491394870; op=7;
#1000 a=-683938476; b=295963026; op=0;
#1000 a=1801357736; b=1111060948; op=0;
#1000 a=-423418878; b=1877332875; op=2;
#1000 a=1614927973; b=-1522183078; op=1;
#1000 a=781773330; b=2024772181; op=1;
#1000 a=409776311; b=-1040089695; op=2;
#1000 a=-934007958; b=-1288324554; op=0;
#1000 a=1153291686; b=1494861218; op=6;
#1000 a=-597110530; b=1164069580; op=0;
#1000 a=-872867741; b=-2025871227; op=0;
#1000 a=-599763325; b=-768677900; op=2;
#1000 a=784896946; b=1649632600; op=1;
#1000 a=-1922121352; b=1501269623; op=6;
#1000 a=625977044; b=-2050546195; op=0;
#1000 a=1190164233; b=1862921788; op=6;
#1000 a=765254737; b=-22286618; op=1;
#1000 a=1690124729; b=81651190; op=6;
#1000 a=591742307; b=2140790352; op=0;
#1000 a=1581256918; b=374504569; op=1;
#1000 a=-1538241283; b=979029094; op=1;
#1000 a=1128164138; b=2134151744; op=2;
#1000 a=-1592939101; b=-1321630387; op=0;
#1000 a=2082243422; b=-1304333867; op=7;
#1000 a=989240201; b=-1034167324; op=0;
#1000 a=-252762105; b=-1017712631; op=0;
#1000 a=1818323122; b=-1522297594; op=6;
#1000 a=-741295513; b=1376781639; op=1;
#1000 a=1405975309; b=-379850801; op=2;
#1000 a=-1117471179; b=-1380565139; op=2;
#1000 a=-623809345; b=-1918424388; op=7;
#1000 a=-1908751859; b=1141649376; op=7;
#1000 a=-700240619; b=-58579263; op=6;
#1000 a=978264928; b=1329372129; op=0;
#1000 a=1701446875; b=2085814444; op=0;
#1000 a=929683958; b=-1971403438; op=2;
#1000 a=-1026815222; b=1717728880; op=7;
#1000 a=1491195481; b=-821415844; op=0;
#1000 a=601288452; b=1604649257; op=2;
#1000 a=2124473297; b=776464066; op=2;
#1000 a=-1375104032; b=-143194636; op=6;
#1000 a=-408929873; b=1672475586; op=6;
#1000 a=-380183441; b=1231826683; op=7;
#1000 a=1001539861; b=-390677553; op=0;
#1000 a=-1409299967; b=1003172668; op=2;
#1000 a=-1573278836; b=-1742374511; op=2;
#1000 a=1479852054; b=-2026840329; op=7;
#1000 a=-2124434440; b=114138595; op=1;
#1000 a=-583275142; b=676093899; op=2;
#1000 a=1714214610; b=2114036431; op=0;
#1000 a=-93218941; b=-1326022945; op=2;
#1000 a=2132359086; b=1696342457; op=1;
#1000 a=1143070309; b=-692461385; op=2;
#1000 a=-703530634; b=-1380697293; op=2;
#1000 a=2047449564; b=-1912248964; op=2;
#1000 a=-194722844; b=-2099467472; op=7;
#1000 a=-1605127273; b=279883235; op=1;
#1000 a=-1478026212; b=585158291; op=6;
#1000 a=-2029258450; b=2126669818; op=0;
#1000 a=-1197473924; b=659781455; op=1;
#1000 a=764498314; b=1073523836; op=2;
#1000 a=-369854731; b=-2033630578; op=6;
#1000 a=399811070; b=-1267912572; op=7;
#1000 a=838067850; b=331958425; op=6;
#1000 a=2059668877; b=130724019; op=7;
#1000 a=-761102379; b=1227948154; op=1;
#1000 a=643540238; b=-1794272735; op=0;
#1000 a=-1183660145; b=287580562; op=0;
#1000 a=1500293419; b=1977324217; op=1;
#1000 a=-872915560; b=-1048069232; op=7;
#1000 a=922629997; b=673404366; op=2;
#1000 a=-1481212939; b=273987986; op=1;
#1000 a=-1382534695; b=-380243200; op=1;
#1000 a=-1347109705; b=1119690583; op=1;
#1000 a=396457154; b=-1189921572; op=0;
#1000 a=-936511541; b=2060425162; op=0;
#1000 a=-1088778013; b=-1684960848; op=0;
#1000 a=-417447643; b=-1407389106; op=7;
#1000 a=-740864038; b=604976267; op=2;
#1000 a=14585026; b=-1974140780; op=1;
#1000 a=1985206168; b=588782952; op=7;
#1000 a=-427028112; b=893221086; op=0;
#1000 a=-1308467857; b=-1567164696; op=1;
#1000 a=1005485160; b=262349056; op=0;
#1000 a=-1787325515; b=1752005942; op=1;
#1000 a=1370437398; b=1788879999; op=2;
#1000 a=-1198168773; b=-1024879388; op=6;
#1000 a=-820267613; b=1687299227; op=7;
#1000 a=-1150568432; b=-896329255; op=1;
#1000 a=-1073164252; b=140958505; op=7;
#1000 a=800580926; b=1528276406; op=0;
#1000 a=1451940209; b=-104193662; op=1;
#1000 a=-1826691706; b=-1378280906; op=6;
#1000 a=1509445141; b=1622041342; op=0;
#1000 a=1964045132; b=1377376115; op=2;
#1000 a=-211819809; b=-1996552536; op=6;
#1000 a=-1846796249; b=1302857496; op=2;
#1000 a=1537752554; b=-1745306059; op=1;
#1000 a=1400776922; b=-1734812437; op=7;
#1000 a=781389383; b=614922340; op=6;
#1000 a=-1383842656; b=1891854893; op=0;
#1000 a=1830245766; b=1540916042; op=2;
#1000 a=-1588820727; b=1834218694; op=6;
#1000 a=347200462; b=1135855423; op=1;
#1000 a=1713607144; b=-229180354; op=2;
#1000 a=-489766324; b=-83853980; op=6;
#1000 a=-748326668; b=1462797792; op=0;
#1000 a=49629469; b=1295543548; op=1;
#1000 a=-657147089; b=-265470291; op=2;
#1000 a=-1832520452; b=1782128903; op=2;
#1000 a=1292522039; b=517278946; op=2;
#1000 a=-1198809505; b=-1018184728; op=6;
#1000 a=-2023262717; b=-1292395468; op=7;
#1000 a=1639933642; b=-876109573; op=6;
#1000 a=-1200793664; b=-2084120798; op=0;
#1000 a=-1822070149; b=-531518365; op=1;
#1000 a=1825892549; b=131427548; op=1;
#1000 a=-263121984; b=1321774972; op=2;
#1000 a=-1896452901; b=-1422768452; op=7;
#1000 a=226658964; b=-1817643857; op=0;
#1000 a=1699274060; b=361265469; op=0;
#1000 a=-2129746346; b=-1910294621; op=7;
#1000 a=-24150408; b=297180145; op=1;
#1000 a=300243134; b=1185601273; op=2;
#1000 a=221363160; b=-1421682443; op=6;
#1000 a=-198537136; b=591764245; op=2;
#1000 a=-1909752129; b=-1826472001; op=7;
#1000 a=775380482; b=-1813032538; op=2;
#1000 a=-221294023; b=1710442602; op=6;
#1000 a=1704889559; b=-1676001302; op=0;
#1000 a=-1256205610; b=1413204930; op=6;
#1000 a=-217308268; b=923803104; op=0;
#1000 a=1174057793; b=-1163243068; op=7;
#1000 a=-222083109; b=-305759520; op=6;
#1000 a=555226865; b=-1329640629; op=2;
#1000 a=-1882456237; b=1839802464; op=7;
#1000 a=1653586535; b=1013179685; op=6;
#1000 a=-2140002647; b=1662591425; op=2;
#1000 a=-1415027556; b=-337743425; op=7;
#1000 a=1273624451; b=-147492739; op=7;
#1000 a=2000355260; b=812530731; op=0;
#1000 a=479948232; b=-1102294510; op=2;
#1000 a=889882438; b=689291827; op=7;
#1000 a=1952258502; b=-298878602; op=2;
#1000 a=-994752492; b=1913660585; op=0;
#1000 a=317079577; b=908605438; op=1;
#1000 a=1537657614; b=122152005; op=2;
#1000 a=-1918443167; b=469023228; op=0;
#1000 a=753384813; b=-1690956127; op=6;
#1000 a=-860409042; b=1324016002; op=7;
#1000 a=-1578544687; b=906732092; op=0;
#1000 a=-1757574995; b=-661670396; op=7;
#1000 a=-28148829; b=-1743881850; op=0;
#1000 a=-1625459477; b=-1948554790; op=6;
#1000 a=1003559540; b=506481763; op=7;
#1000 a=1211785690; b=1509732043; op=7;
#1000 a=-1701233320; b=98278576; op=2;
#1000 a=1038466651; b=526190891; op=6;
#1000 a=-706861457; b=-1880130141; op=1;
#1000 a=-571370772; b=-772205269; op=6;
#1000 a=395326749; b=-1390844128; op=1;
#1000 a=1739427797; b=686871665; op=6;
#1000 a=-37197413; b=-1403880097; op=1;
#1000 a=786026735; b=1345727005; op=2;
#1000 a=-1530568986; b=-743689611; op=0;
#1000 a=-1131908528; b=-1692714580; op=0;
#1000 a=-453414851; b=2034023061; op=7;
#1000 a=-1507330434; b=-283412082; op=0;
#1000 a=-57616979; b=811451694; op=2;
#1000 a=-2065942013; b=2060747847; op=1;
#1000 a=1667163987; b=-913040334; op=6;
#1000 a=-503606924; b=-446293145; op=6;
#1000 a=-1418659484; b=-1262780382; op=6;
#1000 a=1774749249; b=122287561; op=6;
#1000 a=18117406; b=576922294; op=2;
#1000 a=1311687665; b=622716631; op=7;
#1000 a=-2095222495; b=-927870147; op=2;
#1000 a=-252118380; b=1065303743; op=7;
#1000 a=1557626864; b=-875555063; op=7;
#1000 a=67966096; b=-623770653; op=6;
#1000 a=747525509; b=-1421453955; op=7;
#1000 a=-1670845160; b=-1139383319; op=6;
#1000 a=779614520; b=1184875165; op=6;
#1000 a=-761132570; b=1964148529; op=0;
#1000 a=-713879698; b=-1999430611; op=2;
#1000 a=1084392985; b=-1973003356; op=2;
#1000 a=-37416245; b=1710320837; op=7;
#1000 a=-684085953; b=-1779629039; op=2;
#1000 a=1316927197; b=677588320; op=1;
#1000 a=-626881296; b=-1957236840; op=7;
#1000 a=839749749; b=-2043340460; op=7;
#1000 a=-783134572; b=353255630; op=2;
#1000 a=1220935210; b=1653156273; op=2;
#1000 a=-2029691365; b=1081257635; op=0;
#1000 a=-1972422720; b=-145996679; op=1;
#1000 a=333460432; b=-615286477; op=7;
#1000 a=1970074983; b=-1954641607; op=1;
#1000 a=1337509532; b=746978053; op=0;
#1000 a=908154884; b=496015323; op=1;
#1000 a=-291445435; b=508156769; op=0;
#1000 a=609301009; b=-1681193007; op=7;
#1000 a=694272148; b=1194623180; op=2;
#1000 a=1810011312; b=-178039567; op=6;
#1000 a=-795510423; b=1167796943; op=1;
#1000 a=813115134; b=-849273718; op=1;
#1000 a=2134134048; b=342663299; op=0;
#1000 a=2063228376; b=741044387; op=1;
#1000 a=2144335318; b=1676850594; op=7;
#1000 a=-200820605; b=306550889; op=6;
#1000 a=543614835; b=-573924841; op=0;
#1000 a=1024639743; b=-1987601369; op=0;
#1000 a=902925185; b=-1430386640; op=2;
#1000 a=232610021; b=-725759896; op=1;
#1000 a=-822981324; b=1158906889; op=6;
#1000 a=-1731228634; b=-919292138; op=6;
#1000 a=2047114297; b=177277647; op=2;
#1000 a=-1338099453; b=-891242838; op=7;
#1000 a=1496422426; b=-399353125; op=6;
#1000 a=1605616917; b=-1560254771; op=7;
#1000 a=1353041763; b=1663399395; op=7;
#1000 a=1068194113; b=-544905475; op=6;
#1000 a=1349903558; b=1624224948; op=2;
#1000 a=1625237225; b=-1487745268; op=0;
#1000 a=-84411916; b=1143588903; op=1;
#1000 a=1239582392; b=-1272894826; op=6;
#1000 a=-1828977951; b=1610016086; op=2;
#1000 a=-1682895906; b=-576084023; op=7;
#1000 a=-1457930833; b=2107386684; op=1;
#1000 a=1821610140; b=-1853987064; op=6;
#1000 a=-114693513; b=-1585340862; op=2;
#1000 a=1269750111; b=67775573; op=2;
#1000 a=1301808033; b=964817520; op=7;
#1000 a=152519149; b=-1551537018; op=1;
#1000 a=969732755; b=-1619699926; op=6;
#1000 a=946342988; b=-1271488590; op=0;
#1000 a=1242359258; b=1538039760; op=0;
#1000 a=-1829704862; b=-1780598950; op=6;
#1000 a=947979548; b=1130105495; op=2;
#1000 a=-1699064949; b=311910963; op=0;
#1000 a=303144046; b=-1523999888; op=1;
#1000 a=-1572238957; b=1866152101; op=2;
#1000 a=1504988142; b=-684977444; op=6;
#1000 a=-1022597934; b=-2071538602; op=1;
#1000 a=-1447353941; b=-97384198; op=1;
#1000 a=-2044341403; b=1457685081; op=1;
#1000 a=-1843260612; b=2026451771; op=2;
#1000 a=-468289613; b=-45448481; op=6;
#1000 a=772170140; b=-114006155; op=1;
#1000 a=-199836485; b=-1765019020; op=2;
#1000 a=-647832282; b=-1362421419; op=0;
#1000 a=1373344489; b=-205825994; op=7;
#1000 a=1531056319; b=1243735896; op=7;
#1000 a=1221474651; b=464009599; op=2;
#1000 a=-1852906858; b=457433815; op=6;
#1000 a=-1496377374; b=-72233214; op=6;
#1000 a=1592362498; b=348496592; op=6;
#1000 a=110644255; b=916314183; op=1;
#1000 a=-1238663840; b=-570723485; op=1;
#1000 a=-2012858227; b=1056596486; op=7;
#1000 a=-1564134396; b=1976837197; op=0;
#1000 a=1484435037; b=-507612966; op=2;
#1000 a=334706586; b=54175421; op=2;
#1000 a=-955956379; b=-685656773; op=0;
#1000 a=-1245536886; b=-1831475373; op=2;
#1000 a=585866136; b=57149124; op=0;
#1000 a=-21267399; b=1796451127; op=6;
#1000 a=-361434690; b=-49335249; op=7;
#1000 a=-284237505; b=-1085292672; op=1;
#1000 a=-370504344; b=-2060252533; op=6;
#1000 a=-2079709971; b=1062408287; op=0;
#1000 a=1762927696; b=-1972887138; op=0;
#1000 a=-388745039; b=-1747430951; op=7;
#1000 a=-1341394009; b=-1007203223; op=6;
#1000 a=-988257986; b=942626279; op=1;
#1000 a=969849346; b=-1001106354; op=2;
#1000 a=-590608760; b=-865989543; op=2;
#1000 a=385561822; b=1058484809; op=0;
#1000 a=994554599; b=1235420885; op=2;
#1000 a=-1824363272; b=1958288688; op=1;
#1000 a=1155813384; b=-1205516356; op=7;
#1000 a=-262896913; b=820104453; op=7;
#1000 a=867236723; b=-1721783060; op=1;
#1000 a=-2107186720; b=261493429; op=0;
#1000 a=-1061110326; b=-1249476727; op=6;
#1000 a=432164867; b=800696542; op=6;
#1000 a=-894118121; b=-675927974; op=0;
#1000 a=1170625913; b=-618480274; op=6;
#1000 a=488931255; b=491834462; op=2;
#1000 a=-1052741705; b=1258779964; op=1;
#1000 a=1552924879; b=-655673437; op=2;
#1000 a=1727566948; b=-1680121368; op=7;
#1000 a=-946622394; b=82119809; op=1;
#1000 a=-494325630; b=-1894457433; op=2;
#1000 a=1965800380; b=-126534707; op=7;
#1000 a=1495410991; b=789996486; op=7;
#1000 a=-436727049; b=1959945891; op=2;
#1000 a=490666346; b=452804101; op=0;
#1000 a=1023180220; b=-791509811; op=0;
#1000 a=-682234721; b=1346567711; op=7;
#1000 a=-2096215536; b=49091319; op=0;
#1000 a=-1600178200; b=992928789; op=0;
#1000 a=-1545447605; b=-515526094; op=1;
#1000 a=1797219390; b=-1009431270; op=0;
#1000 a=-1407852650; b=1856280180; op=0;
#1000 a=1437706777; b=1690386477; op=7;
#1000 a=-887401318; b=454030353; op=2;
#1000 a=-395273434; b=-1872567096; op=6;
#1000 a=1039121806; b=911400038; op=2;
#1000 a=943280422; b=-1318511824; op=6;
#1000 a=-1787735058; b=301414448; op=7;
#1000 a=1928225037; b=1204711746; op=1;
#1000 a=1455681909; b=-1497245124; op=0;
#1000 a=-915761163; b=743806931; op=2;
#1000 a=-1235808965; b=-867659914; op=6;
#1000 a=-547218543; b=-1596449788; op=0;
#1000 a=-1464805634; b=-579491443; op=1;
#1000 a=433355282; b=217959697; op=6;
#1000 a=-154843391; b=1431656339; op=7;
#1000 a=1026594245; b=2050732681; op=0;
#1000 a=422249995; b=-1062910868; op=0;
#1000 a=1111537368; b=-249554964; op=7;
#1000 a=-828066714; b=920909036; op=1;
#1000 a=-1252427268; b=-2064332249; op=7;
#1000 a=1658232815; b=1601458157; op=2;
#1000 a=-2116985628; b=1781104742; op=6;
#1000 a=2091399317; b=-1703728950; op=1;
#1000 a=284385749; b=814505261; op=2;
#1000 a=-1543514142; b=1077190904; op=2;
#1000 a=579877307; b=1194118591; op=6;
#1000 a=-907113642; b=-691974205; op=0;
#1000 a=1721018503; b=1941609786; op=0;
#1000 a=-1917726012; b=1131833166; op=1;
#1000 a=-784401990; b=180233712; op=0;
#1000 a=-204375313; b=-1324936088; op=2;
#1000 a=383871855; b=-764741919; op=2;
#1000 a=234895894; b=1203383001; op=0;
#1000 a=566035519; b=-290368408; op=6;
#1000 a=1513375547; b=1073701424; op=2;
#1000 a=1120625879; b=-1315995013; op=6;
#1000 a=-156688842; b=619710265; op=7;
#1000 a=1930059798; b=-836889594; op=2;
#1000 a=-1800809976; b=-1720933211; op=0;
#1000 a=-869233399; b=-26452404; op=7;
#1000 a=117572571; b=-690761332; op=1;
#1000 a=-2062734297; b=-1150355369; op=2;
#1000 a=976134325; b=-1114792243; op=6;
#1000 a=833727893; b=1130016218; op=1;
#1000 a=-2140391215; b=1541805181; op=2;
#1000 a=-1693878178; b=-69414382; op=0;
#1000 a=-1221465332; b=1461872347; op=7;
#1000 a=-753773857; b=213269130; op=2;
#1000 a=-1097741322; b=1920863888; op=6;
#1000 a=-2005824806; b=-2033079600; op=0;
#1000 a=25441118; b=914117144; op=1;
#1000 a=1920452588; b=-1896353412; op=0;
#1000 a=1135461493; b=-1468457300; op=7;
#1000 a=513203545; b=92517392; op=2;
#1000 a=1253647326; b=182050060; op=2;
#1000 a=-760412050; b=-1607812440; op=7;
#1000 a=-195070911; b=1117801193; op=6;
#1000 a=152198883; b=149538155; op=6;
#1000 a=886943039; b=-213787663; op=2;
#1000 a=-915548915; b=-1808833223; op=7;
#1000 a=1765933524; b=557632925; op=1;
#1000 a=-1330330185; b=-1053276652; op=2;
#1000 a=-1269652848; b=-2022736039; op=7;
#1000 a=-790407688; b=1776788778; op=6;
#1000 a=-302611158; b=-1379871582; op=6;
#1000 a=2041970035; b=-845242989; op=7;
#1000 a=560418391; b=-160761570; op=6;
#1000 a=1395718061; b=-123773409; op=7;
#1000 a=12604408; b=-333324567; op=0;
#1000 a=-303235705; b=-1270708285; op=6;
#1000 a=-298402579; b=-1688154742; op=2;
#1000 a=-2140115451; b=-1373194361; op=1;
#1000 a=-1971300046; b=1338401860; op=0;
#1000 a=-1218997284; b=-1934104567; op=0;
#1000 a=-1500661734; b=-831775544; op=1;
#1000 a=1359481219; b=-1471760913; op=1;
#1000 a=268800956; b=-369577104; op=0;
#1000 a=-563875904; b=1370552279; op=2;
#1000 a=-243355663; b=-426348405; op=7;
#1000 a=1713294046; b=-53652055; op=0;
#1000 a=1653479536; b=-722652574; op=2;
#1000 a=2055469333; b=-191107999; op=7;
#1000 a=470027502; b=277469693; op=2;
#1000 a=911597773; b=1268605598; op=6;
#1000 a=-919260335; b=1959947476; op=6;
#1000 a=-422264901; b=-1768394851; op=1;
#1000 a=-1696028851; b=1251503083; op=0;
#1000 a=2015329298; b=-348550801; op=6;
#1000 a=-819428339; b=-967467761; op=6;
#1000 a=-531460293; b=2027980929; op=0;
#1000 a=90267566; b=252599598; op=7;
#1000 a=189212106; b=1265196499; op=0;
#1000 a=1041707449; b=-1580819717; op=2;
#1000 a=-1955827019; b=716033657; op=2;
#1000 a=1519523047; b=-779985059; op=2;
#1000 a=-221772813; b=1880773165; op=2;
#1000 a=-660368952; b=-1311613596; op=0;
#1000 a=-602917620; b=-284359641; op=6;
#1000 a=1071870760; b=-683543119; op=2;
#1000 a=-584992705; b=-1984045971; op=0;
#1000 a=150003276; b=518224271; op=7;
#1000 a=-373675697; b=557282654; op=1;
#1000 a=366368854; b=1313724473; op=2;
#1000 a=-1908620008; b=-849263575; op=6;
#1000 a=1794365297; b=1255951614; op=2;
#1000 a=1358055275; b=-1255492511; op=6;
#1000 a=-903558751; b=366784319; op=1;
#1000 a=1893442804; b=1590875644; op=1;
#1000 a=1010199607; b=-967918209; op=0;
#1000 a=1764387088; b=-1550544295; op=2;
#1000 a=-1312835993; b=-146230534; op=0;
#1000 a=147718107; b=-1214547938; op=1;
#1000 a=-1031551376; b=785496955; op=2;
#1000 a=426226401; b=-956141804; op=7;
#1000 a=819201102; b=719780725; op=0;
#1000 a=-1059083466; b=-945628091; op=0;
#1000 a=2075350522; b=1474097789; op=7;
#1000 a=-742165024; b=869809157; op=2;
#1000 a=-1011310435; b=-775058241; op=7;
#1000 a=437084122; b=-1522545989; op=0;
#1000 a=-775506114; b=-622373886; op=2;
#1000 a=1608389913; b=-2010853767; op=2;
#1000 a=247108315; b=2017422164; op=1;
#1000 a=-81440171; b=192758465; op=6;
#1000 a=1795657960; b=2057660544; op=7;
#1000 a=-753353843; b=-751411946; op=2;
#1000 a=-445952854; b=-191609652; op=7;
#1000 a=1524767096; b=-473928669; op=6;
#1000 a=1695007976; b=510694074; op=1;
#1000 a=1662053985; b=572212377; op=2;
#1000 a=-375344410; b=-801408829; op=0;
#1000 a=-1191014619; b=1828361756; op=0;
#1000 a=-1634234198; b=811118914; op=1;
#1000 a=-1347729592; b=759197649; op=7;
#1000 a=536714233; b=1815121416; op=6;
#1000 a=2132907867; b=997048172; op=7;
#1000 a=120748178; b=-395982257; op=1;
#1000 a=238609198; b=660602583; op=6;
#1000 a=148684674; b=-602316790; op=7;
#1000 a=106756480; b=-1040096328; op=1;
#1000 a=-179496262; b=1147121090; op=2;
#1000 a=724390183; b=-164623985; op=1;
#1000 a=-770223321; b=-342585217; op=2;
#1000 a=1702017006; b=-1904702942; op=7;
#1000 a=529745135; b=-1152534157; op=2;
#1000 a=-1280242281; b=-1258645148; op=0;
#1000 a=-1382297418; b=1547241814; op=7;
#1000 a=-2111794752; b=231297322; op=6;
#1000 a=-1295586838; b=-116839487; op=7;
#1000 a=1616827810; b=-272812480; op=0;
#1000 a=1533059459; b=1756207840; op=7;
#1000 a=42048222; b=-90082364; op=1;
#1000 a=1842205132; b=1458614361; op=1;
#1000 a=-1226285354; b=-1914723638; op=2;
#1000 a=1479650046; b=1179779642; op=0;
#1000 a=1847727687; b=1862960057; op=7;
#1000 a=-623566372; b=1162613574; op=6;
#1000 a=-1116127465; b=-2059492380; op=2;
#1000 a=-1217988461; b=1399907326; op=2;
#1000 a=80346782; b=-1738287805; op=1;
#1000 a=-293136508; b=1132152378; op=2;
#1000 a=146084044; b=-1536102556; op=6;
#1000 a=-2130837817; b=1869611; op=2;
#1000 a=-388830983; b=-473475100; op=1;
#1000 a=811635337; b=1575232539; op=1;
#1000 a=1885347657; b=-1525572078; op=2;
#1000 a=152449937; b=1005476945; op=0;
#1000 a=1048456678; b=-39200632; op=1;
#1000 a=1350650507; b=-571040046; op=1;
#1000 a=123742076; b=935116002; op=7;
#1000 a=1588918261; b=1193516289; op=0;
#1000 a=-949189442; b=-1956747045; op=6;
#1000 a=-753218627; b=80692048; op=7;
#1000 a=-166922021; b=1787287923; op=2;
#1000 a=-416018713; b=2050985844; op=2;
#1000 a=1800437038; b=760735724; op=0;
#1000 a=1999083237; b=1379680225; op=2;
#1000 a=-1711340915; b=324642248; op=2;
#1000 a=-15131297; b=-1061799302; op=1;
#1000 a=-1686535422; b=785573891; op=0;
#1000 a=-929759081; b=846289077; op=0;
#1000 a=-252962600; b=1356402501; op=7;
#1000 a=25948089; b=-1050110554; op=6;
#1000 a=-937076683; b=-1740804672; op=6;
#1000 a=348629934; b=-1832159572; op=2;
#1000 a=1022426827; b=-1577229075; op=6;
#1000 a=443842640; b=-1355972168; op=7;
#1000 a=1524773175; b=-294042507; op=2;
#1000 a=-962872564; b=467975266; op=1;
#1000 a=-199196628; b=81160411; op=2;
#1000 a=1975057242; b=1954616651; op=6;
#1000 a=720625534; b=1194910661; op=1;
#1000 a=737613458; b=-618246788; op=1;
#1000 a=731326372; b=1546414335; op=6;
#1000 a=-1520485371; b=-469890624; op=2;
#1000 a=-438127024; b=58073726; op=6;
#1000 a=1442144098; b=1648178226; op=7;
#1000 a=-1813717719; b=-2141340902; op=1;
#1000 a=-507740461; b=465261675; op=1;
#1000 a=-648342064; b=832385715; op=2;
#1000 a=1155690325; b=-1650716388; op=7;
#1000 a=-509871955; b=-1382008837; op=6;
#1000 a=933315891; b=-1203095556; op=6;
#1000 a=1116784710; b=-1967283426; op=6;
#1000 a=-572424265; b=1455653185; op=7;
#1000 a=-981494523; b=-406154757; op=7;
#1000 a=-238115231; b=1964988976; op=7;
#1000 a=1152490931; b=640049589; op=1;
#1000 a=1485067082; b=-374905250; op=6;
#1000 a=-731828452; b=-1253924169; op=2;
#1000 a=-365065856; b=-1611945544; op=2;
#1000 a=-640224875; b=1317075851; op=2;
#1000 a=1509359482; b=-1200652940; op=2;
#1000 a=1803541849; b=-1495069682; op=6;
#1000 a=-837319434; b=1393565801; op=7;
#1000 a=311822072; b=-2012506647; op=6;
#1000 a=-519950115; b=1548087189; op=6;
#1000 a=-2090226866; b=1155254362; op=6;
#1000 a=1374969607; b=-852906586; op=2;
#1000 a=1309370046; b=2050514093; op=2;
#1000 a=1698629359; b=522635503; op=1;
#1000 a=-717625950; b=-2013362701; op=6;
#1000 a=1816030133; b=-923740916; op=7;
#1000 a=1900391472; b=1962697186; op=7;
#1000 a=598532876; b=-2014346727; op=2;
#1000 a=-724213183; b=1053878753; op=6;
#1000 a=-1228192808; b=1435684188; op=1;
#1000 a=-1484231739; b=347548321; op=6;
#1000 a=-425015635; b=1904609182; op=2;
#1000 a=-88600382; b=-177990176; op=2;
#1000 a=1610453369; b=209726381; op=0;
#1000 a=-1488969679; b=-1273535193; op=7;
#1000 a=-1503453977; b=1980951496; op=1;
#1000 a=558194457; b=-510521958; op=7;
#1000 a=-1670910605; b=1521444563; op=0;
#1000 a=-1880340046; b=49841208; op=6;
#1000 a=71437090; b=1111142062; op=6;
#1000 a=1486306942; b=1109317408; op=7;
#1000 a=1428687437; b=-255869174; op=2;
#1000 a=368913303; b=287849396; op=0;
#1000 a=-682384106; b=1883129985; op=0;
#1000 a=1488835741; b=-1181453654; op=1;
#1000 a=441231442; b=-477932056; op=1;
#1000 a=686216209; b=898767479; op=6;
#1000 a=329818123; b=-902602221; op=2;
#1000 a=-2122046209; b=-1127873135; op=1;
#1000 a=-456126734; b=-176323966; op=2;
#1000 a=-2017764802; b=-2101691018; op=1;
#1000 a=995975505; b=-1554454615; op=0;
#1000 a=1214004920; b=-738732919; op=1;
#1000 a=1715734366; b=1444195805; op=7;
#1000 a=-1212514700; b=2046515223; op=0;
#1000 a=131630078; b=1697440259; op=6;
#1000 a=-984630701; b=1811343651; op=1;
#1000 a=-159673250; b=-1797962857; op=2;
#1000 a=-1733486389; b=-1395552815; op=7;
#1000 a=-57986584; b=1804911017; op=7;
#1000 a=1056412667; b=1697939075; op=6;
#1000 a=1317659510; b=-630357290; op=7;
#1000 a=-489225746; b=941021445; op=2;
#1000 a=1563356130; b=-27162505; op=0;
#1000 a=-1345278485; b=-1451323042; op=1;
#1000 a=1435841338; b=-1103086735; op=7;
#1000 a=1544184354; b=-45221092; op=7;
#1000 a=1869192507; b=738033004; op=6;
#1000 a=486573848; b=1752182583; op=7;
#1000 a=880782062; b=1657717598; op=6;
#1000 a=-1691118953; b=732705249; op=7;
#1000 a=-1104537996; b=-1151248721; op=0;
#1000 a=-1677200867; b=1584488666; op=1;
#1000 a=-1836621983; b=1292415068; op=0;
#1000 a=97320175; b=-1034473951; op=2;
#1000 a=456411968; b=-2134178333; op=1;
#1000 a=1110956134; b=-984101863; op=6;
#1000 a=1677328652; b=-1626725918; op=6;
#1000 a=-11623155; b=-390068351; op=6;
#1000 a=-1938427966; b=1800966829; op=0;
#1000 a=708728225; b=1739483335; op=6;
#1000 a=-1372590234; b=-1103648953; op=1;
#1000 a=1646086432; b=911124896; op=6;
#1000 a=-31895294; b=1608363906; op=2;
#1000 a=-904874142; b=1268507890; op=0;
#1000 a=1718988170; b=-1019670989; op=6;
#1000 a=-1845935120; b=-1325894035; op=0;
#1000 a=589661361; b=-783616842; op=1;
#1000 a=303115542; b=-1483959195; op=6;
#1000 a=1838806029; b=2018682181; op=1;
#1000 a=1001758055; b=-1876944438; op=7;
#1000 a=739265567; b=1460268483; op=2;
#1000 a=500511786; b=1282279261; op=2;
#1000 a=750902297; b=-1001996538; op=2;
#1000 a=55833955; b=-813970845; op=7;
#1000 a=137840249; b=-938908458; op=1;
#1000 a=-1952183172; b=2125440138; op=7;
#1000 a=-1960058930; b=-1652588274; op=6;
#1000 a=-2101201733; b=-1308986424; op=6;
#1000 a=-2080158137; b=-1944479584; op=1;
#1000 a=300073218; b=-878910902; op=6;
#1000 a=-1662145574; b=2130922357; op=6;
#1000 a=-2036125552; b=1475839442; op=2;
#1000 a=1556225573; b=2129152091; op=1;
#1000 a=1701679289; b=-750585055; op=7;
#1000 a=1236794967; b=-1629207427; op=0;
#1000 a=235121622; b=331375924; op=2;
#1000 a=206018754; b=1856553499; op=2;
#1000 a=-1986739247; b=724384124; op=2;
#1000 a=1032261350; b=683005054; op=6;
#1000 a=1138844450; b=-994199200; op=6;
#1000 a=-1402384362; b=-1501798568; op=0;
#1000 a=-833275625; b=1930966695; op=0;
#1000 a=891108361; b=-1638326766; op=0;
#1000 a=809111222; b=29234077; op=0;
#1000 a=-1801181208; b=809769912; op=7;
#1000 a=-72140893; b=-712136435; op=2;
#1000 a=1517877701; b=1784921729; op=7;
#1000 a=-533428534; b=-2027508890; op=0;
#1000 a=-973787264; b=1424241185; op=7;
#1000 a=-434614078; b=2053610927; op=0;
#1000 a=459685240; b=432169583; op=0;
#1000 a=337540637; b=997338118; op=1;
#1000 a=-2124149080; b=326036479; op=7;
#1000 a=662396454; b=-1010616089; op=6;
#1000 a=454484728; b=-1572668732; op=7;
#1000 a=1554859709; b=748998513; op=0;
#1000 a=-2010209815; b=-1318842669; op=2;
#1000 a=1210837069; b=2117098077; op=7;
#1000 a=-2137733394; b=1638440412; op=1;
#1000 a=-512674541; b=1769488997; op=1;
#1000 a=540189188; b=1987482621; op=2;
#1000 a=-661094097; b=-835927990; op=1;
#1000 a=-1809608078; b=-116563727; op=0;
#1000 a=-1493846733; b=1111035330; op=0;
#1000 a=-2024050001; b=391812811; op=2;
#1000 a=-7217364; b=-2039052819; op=7;
#1000 a=-24677401; b=-85674555; op=2;
#1000 a=367171170; b=-991788762; op=7;
#1000 a=-1665174382; b=725198018; op=2;
#1000 a=-1096629195; b=2142968139; op=6;
#1000 a=-337559272; b=1126897812; op=2;
#1000 a=735416551; b=-1623893299; op=2;
#1000 a=553219713; b=1490279468; op=2;
#1000 a=-1537802951; b=1776092203; op=1;
#1000 a=698859155; b=1098259001; op=7;
#1000 a=1021061655; b=-1517246297; op=6;
#1000 a=-1738006021; b=826836195; op=7;
#1000 a=452593106; b=-1531173807; op=1;
#1000 a=695797830; b=132780703; op=1;
#1000 a=-2018370917; b=930848443; op=7;
#1000 a=-57245982; b=423694172; op=7;
#1000 a=-844096463; b=-648466694; op=6;
#1000 a=-1303488679; b=1893271403; op=1;
#1000 a=1232118533; b=-2142085444; op=0;
#1000 a=-1922700675; b=1141220855; op=1;
#1000 a=1578291527; b=127310744; op=0;
#1000 a=1145545036; b=-2093444376; op=1;
#1000 a=359627412; b=78048490; op=0;
#1000 a=434314668; b=-518341499; op=0;
#1000 a=-2048106186; b=1610502607; op=6;
#1000 a=-1844720559; b=-1670195405; op=6;
#1000 a=1173898307; b=685952555; op=2;
#1000 a=-2093146518; b=-492090853; op=7;
#1000 a=-1148493833; b=-1089161552; op=2;
#1000 a=2061333739; b=144230824; op=1;
#1000 a=-1738951144; b=-53671063; op=2;
#1000 a=1700673673; b=-1955358441; op=0;
#1000 a=129140301; b=-937495243; op=6;
#1000 a=591626439; b=552231564; op=0;
#1000 a=-719331669; b=-284453330; op=2;
#1000 a=795629993; b=-2074289808; op=7;
#1000 a=1117694697; b=454794749; op=7;
#1000 a=-457180453; b=-666665732; op=2;
#1000 a=-1845807883; b=1824934527; op=1;
#1000 a=1580690553; b=113369410; op=2;
#1000 a=-1103154209; b=-1136526775; op=0;
#1000 a=147256509; b=-1383959786; op=0;
#1000 a=544235099; b=1769802230; op=1;
#1000 a=1788448562; b=-1901475942; op=7;
#1000 a=650873929; b=-1645367753; op=1;
#1000 a=-1791334074; b=967819878; op=0;
#1000 a=17225467; b=1663675427; op=7;
#1000 a=-1589231279; b=308626814; op=0;
#1000 a=1285188154; b=396985918; op=6;
#1000 a=-899720089; b=852247699; op=0;
#1000 a=1217718326; b=1948893220; op=6;
#1000 a=-407182188; b=1630013761; op=1;
#1000 a=-1698303770; b=-1990882326; op=7;
#1000 a=-2134133684; b=-1997158326; op=7;
#1000 a=1253808511; b=678124419; op=0;
#1000 a=775171384; b=-1431345147; op=6;
#1000 a=1106901775; b=795459032; op=6;
#1000 a=41125807; b=-901245333; op=1;
#1000 a=1004898146; b=322138704; op=2;
#1000 a=1475960177; b=1561074065; op=7;
#1000 a=-301459021; b=1482163956; op=2;
#1000 a=-1442849409; b=-691884173; op=0;
#1000 a=-328741672; b=130774144; op=6;
#1000 a=-180918230; b=896854614; op=0;
#1000 a=466031348; b=1783451890; op=1;
#1000 a=-398976591; b=147442986; op=2;
#1000 a=-234806; b=-1900598139; op=0;
#1000 a=-1689561346; b=1004834748; op=6;
#1000 a=-2087064249; b=122342924; op=7;
#1000 a=-440233114; b=-992775026; op=2;
#1000 a=1190255075; b=-335340754; op=0;
#1000 a=-1392734345; b=963447474; op=7;
#1000 a=1207751393; b=-1023027717; op=0;
#1000 a=-384298946; b=599237631; op=0;
#1000 a=-77876581; b=923192513; op=2;
#1000 a=1258607494; b=1289700469; op=7;
#1000 a=-1226548897; b=1299051063; op=7;
#1000 a=-898031364; b=1798105516; op=1;
#1000 a=1653380993; b=-1981947050; op=2;
#1000 a=429726019; b=2061881760; op=1;
#1000 a=81131957; b=1298527602; op=1;
#1000 a=-482108581; b=-545722818; op=2;
#1000 a=-1536569911; b=-736243081; op=0;
#1000 a=-790915610; b=1279133557; op=7;
#1000 a=-643382183; b=-463062445; op=2;
#1000 a=410103088; b=1283899331; op=7;
#1000 a=-318951402; b=36538358; op=2;
#1000 a=-826238970; b=-1064120469; op=2;
#1000 a=1023385008; b=-1935448720; op=0;
#1000 a=1788036289; b=1672145117; op=1;
#1000 a=726296457; b=-832602610; op=6;
#1000 a=1511853329; b=2095113464; op=0;
#1000 a=610569913; b=-1422506354; op=7;
#1000 a=494258789; b=-1298161621; op=6;
#1000 a=-250046709; b=197522109; op=6;
#1000 a=273075723; b=1132226976; op=2;
#1000 a=-641272327; b=1440658716; op=1;
#1000 a=1345152860; b=-806249480; op=6;
#1000 a=1012524247; b=-1578352543; op=1;
#1000 a=1276383115; b=2014051135; op=2;
#1000 a=-1193237338; b=-611023890; op=6;
#1000 a=1083069937; b=896554531; op=1;
#1000 a=-631337398; b=-714108014; op=0;
#1000 a=-971468557; b=-447367021; op=6;
#1000 a=1995977751; b=527362103; op=6;
#1000 a=1822160590; b=-1032139698; op=0;
#1000 a=-648973841; b=689732160; op=1;
#1000 a=1809606383; b=-875634675; op=7;
#1000 a=-1266868372; b=-1447301175; op=1;
#1000 a=105293728; b=-1301018549; op=7;
#1000 a=1138244550; b=-419559411; op=6;
#1000 a=-2130870991; b=-1195445031; op=2;
#1000 a=-295408262; b=-89202032; op=7;
#1000 a=1799395052; b=-276235069; op=6;
#1000 a=2136580054; b=-1108440084; op=6;
#1000 a=-1323160725; b=-55339476; op=6;
#1000 a=-963315975; b=-2146063540; op=2;
#1000 a=2029850928; b=-1820622295; op=2;
#1000 a=-710914317; b=1475941114; op=0;
#1000 a=1335130509; b=792360142; op=2;
#1000 a=-750480143; b=189440910; op=7;
#1000 a=223675198; b=1872527327; op=7;
#1000 a=1620152784; b=494285980; op=1;
#1000 a=-1198854335; b=-744811801; op=0;
#1000 a=-853163166; b=-1722196234; op=6;
#1000 a=-200364587; b=-155087449; op=0;
#1000 a=280671816; b=-1182407717; op=6;
#1000 a=-1681061212; b=1624914446; op=2;
#1000 a=-1343257548; b=474632619; op=7;
#1000 a=166053505; b=-2012178100; op=6;
#1000 a=1607514857; b=1536901628; op=2;
#1000 a=-3753402; b=216880016; op=2;
#1000 a=-1604350370; b=84045340; op=1;
#1000 a=-605257291; b=339106961; op=0;
#1000 a=1562502338; b=276737636; op=0;
#1000 a=2055173732; b=1508642558; op=1;
#1000 a=-1432808102; b=-128379403; op=0;
#1000 a=1467302438; b=1749200730; op=2;
#1000 a=-1112986769; b=280334251; op=7;
#1000 a=-2105092763; b=-2105343238; op=0;
#1000 a=1945154760; b=590871140; op=0;
#1000 a=-798496406; b=506987033; op=1;
#1000 a=-97540254; b=870748670; op=1;
#1000 a=-1073629293; b=724186178; op=2;
#1000 a=537939041; b=1745209230; op=2;
#1000 a=1261766098; b=-1550218116; op=7;
#1000 a=-34574733; b=1037326011; op=0;
#1000 a=-187144677; b=-974213379; op=6;
#1000 a=186898463; b=1585821516; op=2;
#1000 a=1640257925; b=-701629355; op=0;
#1000 a=-1782084949; b=-752365241; op=0;
#1000 a=-841531065; b=-1590256058; op=7;
#1000 a=-978153301; b=771450667; op=1;
#1000 a=-1862043938; b=386052298; op=2;
#1000 a=2102720334; b=801033523; op=7;
#1000 a=-1264526854; b=-720663049; op=2;
#1000 a=1797644295; b=1526959523; op=0;
#1000 a=1146908167; b=532532670; op=7;
#1000 a=1256771623; b=1321884047; op=0;
#1000 a=1725534829; b=140952248; op=2;
#1000 a=-32901507; b=107965079; op=2;
#1000 a=-1902393385; b=1723577215; op=2;
#1000 a=1992695577; b=-335800946; op=6;
#1000 a=-1590025688; b=519558216; op=6;
#1000 a=-1123415097; b=-70643955; op=0;
#1000 a=1776830953; b=126789297; op=2;
#1000 a=-1668418590; b=1838193243; op=7;
#1000 a=-394815164; b=975566346; op=0;
#1000 a=1036818560; b=-1807493073; op=2;
#1000 a=1269186557; b=1467855995; op=6;
#1000 a=-659246543; b=1852866107; op=6;
#1000 a=1433190112; b=1944099283; op=1;
#1000 a=-1352526901; b=-2133739134; op=7;
#1000 a=1253262995; b=-187556112; op=0;
#1000 a=-1375747604; b=-819417884; op=7;
#1000 a=283764449; b=1635014899; op=1;
#1000 a=-1456275134; b=1134244453; op=2;
#1000 a=2006373062; b=-194978368; op=1;
#1000 a=1114770875; b=828248348; op=1;
#1000 a=-985294099; b=-1236971646; op=6;
#1000 a=-578790623; b=-1734669619; op=0;
#1000 a=72282982; b=386400032; op=6;
#1000 a=2114059225; b=-857748586; op=1;
#1000 a=-75910486; b=1816679916; op=0;
#1000 a=1943774388; b=2128360255; op=1;
#1000 a=-1652029606; b=-1190267658; op=6;
#1000 a=-768357092; b=618033930; op=6;
#1000 a=-24791244; b=949535936; op=2;
#1000 a=-1866845954; b=-1841470449; op=7;
#1000 a=-963549900; b=-1816978870; op=6;
#1000 a=1182764610; b=1074141587; op=6;
#1000 a=892906973; b=-2576715; op=2;
#1000 a=129067436; b=543381463; op=7;
#1000 a=92286998; b=-703333142; op=0;
#1000 a=344065918; b=1575752525; op=0;
#1000 a=-1079400919; b=-1637499650; op=0;
#1000 a=-1774181831; b=-440746693; op=6;
#1000 a=1391252933; b=-2114635940; op=0;
#1000 a=1453086275; b=1693497903; op=7;
#1000 a=-1110989047; b=-32171568; op=1;
#1000 a=-1987361950; b=-798999589; op=1;
#1000 a=701428235; b=460842761; op=0;
#1000 a=1712725328; b=1630579495; op=2;
#1000 a=-960047273; b=-597879503; op=2;
#1000 a=-496870707; b=162932889; op=0;
#1000 a=359568210; b=1682442919; op=6;
#1000 a=-917342468; b=-926402444; op=6;
#1000 a=1896480146; b=986935299; op=2;
#1000 a=-59057419; b=-73612019; op=2;
#1000 a=108076158; b=601117927; op=2;
#1000 a=1903171012; b=-11596472; op=0;