TP10-sol.cas.out1
36.3 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
[],
"Warning: some commands like subs might change arguments order",
0,0,0,1,0,1e-10,10,[1,50,0,25],0,0,0,
{1,4,5,6,7},
"Done",
0,
3,
8,
2,
"Warning: some commands like subs might change arguments order",
1,
ln(e),
"Warning: some commands like subs might change arguments order",
2.718281828,
"Warning: some commands like subs might change arguments order",
2.718281828,
1,
1,
proc(n)
i:=3;
a:=0;
SQ:=evalf(sqrt(n));
while i<SQ do
if (irem(n,i))<>0 then
i:=i+2 else
a:=i;
i:=n
fi ;
od;;
if a<>0 then
a else
n
fi ;
end;,
4,
328032433,
15439,
5,
21218879939,
105437,
proc(n)
local x,y;
x:=1;
y:=x^2+1;
while member(igcd(y-x,n),{1,n}) do
x:=irem(x^2+1,n);
y:=irem((y^2+1)^2+1,n);
od;;
igcd(y-x,n);
end;,
"Done",
1000003,
"Done",
100000837,
proc(n)
local x,y,j;
x:=1;
y:=x^2+1;
j:=0;
while member(igcd(y-x,n),{1,n}) do
x:=irem(x^2+1,n);
y:=irem((y^2+1)^2+1,n);
j:=j+1;
od;;
evalf(j/(sqrt(igcd(y-x,n))));
end;,
[],
[0.7986208585,0.9878783399,1.013004447,0.8535950652,0.3255153835,1.497078868,1.12367198,0.9878783399,1.027314262,0.2322012897,0.334491606,0.8945202781,1.182904911,1.161101553,0.6173889037,0.5162071565,0.4357752317,0.8575000744,0.7457392124,2.071411209,0.4585946144,0.7336093941,0.9318344006,0.9657369075,1.646061612,1.632254274,0.7960076979,1.447519769,1.501543756,0.7752618191,2.010554083,0.9869723081,1.452206524,1.201730844,0.8282126259,0.4748462437,0.2068678395,0.6073406343,0.884690237,0.8380854603,1.485043914,1.39913588,0.6833508053,0.9304893284,0.2681675272,1.29146573,1.487123965,1.110307532,0.4640559186,0.6155374813,0.8786924454,1.151705177,1.232424972,0.6561924334,0.9407065781,1.008676215,1.494339777,1.266414429,1.522366997,0.7720465938,0.3161250195,0.5452392433,1.440783901,0.5900174743,1.043849436,0.8994326437,0.8422873508,0.768769426,0.8070957352,0.4676176951,0.7523674814,1.881124651],
pnt(pnt[group[1.0+0.7986208585*I,2.0+0.9878783399*I,3.0+1.013004447*I,4.0+0.8535950652*I,5.0+0.3255153835*I,6.0+1.497078868*I,7.0+1.12367198*I,8.0+0.9878783399*I,9.0+1.027314262*I,10.0+0.2322012897*I,11.0+0.334491606*I,12.0+0.8945202781*I,13.0+1.182904911*I,14.0+1.161101553*I,15.0+0.6173889037*I,16.0+0.5162071565*I,17.0+0.4357752317*I,18.0+0.8575000744*I,19.0+0.7457392124*I,20.0+2.071411209*I,21.0+0.4585946144*I,22.0+0.7336093941*I,23.0+0.9318344006*I,24.0+0.9657369075*I,25.0+1.646061612*I,26.0+1.632254274*I,27.0+0.7960076979*I,28.0+1.447519769*I,29.0+1.501543756*I,30.0+0.7752618191*I,31.0+2.010554083*I,32.0+0.9869723081*I,33.0+1.452206524*I,34.0+1.201730844*I,35.0+0.8282126259*I,36.0+0.4748462437*I,37.0+0.2068678395*I,38.0+0.6073406343*I,39.0+0.884690237*I,40.0+0.8380854603*I,41.0+1.485043914*I,42.0+1.39913588*I,43.0+0.6833508053*I,44.0+0.9304893284*I,45.0+0.2681675272*I,46.0+1.29146573*I,47.0+1.487123965*I,48.0+1.110307532*I,49.0+0.4640559186*I,50.0+0.6155374813*I,51.0+0.8786924454*I,52.0+1.151705177*I,53.0+1.232424972*I,54.0+0.6561924334*I,55.0+0.9407065781*I,56.0+1.008676215*I,57.0+1.494339777*I,58.0+1.266414429*I,59.0+1.522366997*I,60.0+0.7720465938*I,61.0+0.3161250195*I,62.0+0.5452392433*I,63.0+1.440783901*I,64.0+0.5900174743*I,65.0+1.043849436*I,66.0+0.8994326437*I,67.0+0.8422873508*I,68.0+0.768769426*I,69.0+0.8070957352*I,70.0+0.4676176951*I,71.0+0.7523674814*I,72.0+1.881124651*I],0]),
(i)->product(1-(j/p),j=(1 .. (i-1))),
2,
-1,
-1,
-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,
1.177410023,
54321123,
10007,
proc(n,a,c)
local x,y;
x:=1;
y:=irem(a*x+c,n);
j:=0;
while member(igcd(y-x,n),{1,n}) do
x:=irem(a*x+c,n);
y:=irem(a*(a*y+c)+c,n);
j:=j+1;
od;;
evalf(j/(sqrt(igcd(y-x,n))));
end;,
[],
22,
[0.130188911,3.049971407,0.5773502692,1.30243429,7.533900494,13.35114712,2.971076195,19.31971793,20.35316567,3.871132963,22.03976303,10.48797049,72.34120615,77.82333987,560.0580327,361.9153907],
pnt(pnt[group[1.0+0.130188911*I,2.0+3.049971407*I,3.0+0.5773502692*I,4.0+1.30243429*I,5.0+7.533900494*I,6.0+13.35114712*I,7.0+2.971076195*I,8.0+19.31971793*I,9.0+20.35316567*I,10.0+3.871132963*I,11.0+22.03976303*I,12.0+10.48797049*I,13.0+72.34120615*I,14.0+77.82333987*I,15.0+560.0580327*I,16.0+361.9153907*I],0]),
"Done",
[pnt(pnt[line[0.0,0.42*I,1.0+0.42*I,1.0,0.0],0]),pnt(pnt[line[1.0,1.0+0.58*I,2.0+0.58*I,2.0,1.0],0])],
"Done",
[pnt(pnt[line[0.0,0.501*I,1.0+0.501*I,1.0,0.0],0]),pnt(pnt[line[1.0,1.0+0.499*I,2.0+0.499*I,2.0,1.0],0])],
2000009000009,
(n)->if n=0 then
2 else
irem((u(n-1))^2+1,N)
fi ,
1997309223146,
proc(n,M)
local x,l;
x:=12345;
l:=[];
for i from 1 to M+abs(1)/2 by abs(1) do
x:=irem(x^2+1,n);
l:=[op(l),x];
od;;
l;
end;,
[152399026,1358617644169,1831711515025,190274858284,1218880810174,893513062655,523067646767,1742351158749,1774734697720,294315366454,1409410381014,15448593923,235768569020,1932382204419,1618013315051,1664869251687,1173446161061,967568011301,362758316123,1285376234273,1573776008957,463704213629,1486037514003,1278549083477,708097596975,1735808373205,1855452797494,1656233517801,84525828681,1551582573733,1662947131145,1716213785624,339923802466,1902401159335,383500159681,1992750323837,673084476946,596832452027,1780471230878,31016726807,667189266696,527998941329,1966408962384,87819332110,1310035150364,1829684656922,1756688558720,238999413246,1594042175321,1070702852359,1063147388275,1094120702387,175231237700,1417528971805,451672911421,850536485300,463106331332,1528484603644,225742061847,84191430145,1085963978472,1377256404468,1581859357394,749806522626,1152855124415,1637494785402,1698799324569,1390491322224,1172483931423,1223417080386,1691509131462,255217058420,722492354310,218810737304,649760533531,1760029498057,310908250396,93547383516,819089691138,1461429671311,737027629205,330544164034,1157038865962,498015076756,615817930864,833286708035,423531302060,1026960438802,164146708858,698257570655,344024644760,1805346551338,576380823433,1694200791529,1248381832471,799139126097,92286342622,1218662546699,1470946058285,1877783576919,21571707393,1833028842362,1577410462518,1487412334011,1364593617823,1753905128935,542836120850,373412946123,927139027233,1600787551685,480787694759,1680629115556,1020516377109,539779745483,499849022004,1588800533857,1931877299365,37893429889,1171049977275,155095973789,1512158078751,681608775846,245055068747,1602485425832,481589963208,318681330828,1846939164349,662787424417,1974403420589,1038620144044,1853025401925,1257643107070,1763231182114,1193076558606,1019005951504,1845329807605,1693954347185,167142544459,1833043332648,839826365496,1870738149649,1773329180617,1566699457851,915785882075,76583270373,628541190044,25844597837,1622224347535,1552411614377,368409708056,336371339120,1614072115584,1267306842385,1287305163566,157468764974,973654869066,1742371791123,1422525513820,1957674201128,1264568830077,1031778741281,1002302909063,1928207834460,942922242619,1047306383111,349577278999,1036436683669,1216741557415,1917987382512,974323725431,445491110438,1925436088045,1841695413523,92448973228,389145256130,1731730506779,818052215676,528761264347,105485862025,630701624063,1547193259405,551195009683,503404188596,991494585941,985431949636,129305623585,1219743841501,1374039385389,869825866172,1117845586048,283264168076,1402016516488,1699003252159,93721386161,1435623853790,1989132776466,244098160173,1178912993406,78147317818,728918890025,1279297892821,83626535546,1248039371225,940317387,809426528906,258933948375,1569860945031,1199281255875,1881878252493,1977948522062,1266651353578,817040459345,1197632342045,262189306766,971739224186,1442293444951,670409800449,1294388850503,1632446047230,386093199510,402293444533,705108795528,1916567005732,1483727344888,313919558831,1499388379733,949749866734,1815487450578,43314203316,388395892910,568760159501,162222583954,376707056668,773368206414,705219128736,1908026940776,1729890573133,1273722756477,1447638832754,514657806011,1270048137984,1802946020267,1226606992021,1294444923840,1059977802289,878225155339,952680417664,846238693834,1482010449703,102142885613,253859336176,202845076439,629145191271,1134735088201,69482748916,1664158937042,22807435609,260839405381,1205941753618,353061730271,1281416623435,885791917522,714331563973,1024119752861,887703216982,96520639133,1737545128347,114103259533,267951649474,1579136541539,53377009501,341574353553,311916410909,571203863163,1134214631782,1899994806642,234275224311,870536572874,483760304762,962905469534,1851494707972,1371489828792,1957729691914,1090572635710,1156636256415,1342592309296,1665858026804,1679203305055,1217215823553,518397921413,1729352536307,1679765882173,492083954298,1588607794915,179158694170,935500369249,565195312059,668167454758,1951325014919,693855769280,1494654238915,940574792816,561043890622,1115900808546,1463624084725,1257212128696,707330152669,878866202992,1628282280808,723489484600,363275105095,252880022468,1047436730043,1786615333041,909942378188,1381804837893,1827617599251,1195688998625,556071024941,372860883560,1760325515659,284486308808,405875950197,120929883421,281810794210,564991175499,1141680735326,1988741664385,778028184117,581574978777,243370713126,522616023235,482967611202,129417897642,1873958034304,1606543661983,977748336648,1843390090499,1815242264157,1580384497171,1556783364736,1911557425682,483526096857,758709324298,519538574978,933157677351,199215381906,120751538746,1552902344294,172895582145,1758798435899,1767727857229,650719839169,1407436794227,689629156331,1617659332522,1014951148514,1859708015766,216755033850,1703482422759,935513293471,1691325900112,1869298687409,922623769789,1279968549360,853130892380,1120570365060,1734812487270,677613349626,1267303305676,1103827830938,1018628171500,692635178418,1983917990786,676151926376,752373327333,1738508049117,134292617483,1437409338497,1696029829527,1367782971101,1192335884235,976720450088,361191756541,1545284244015,1342822398502,1091330385481,1820051672843,362616369142,1957925638586,1144854078909,339139292705,689802976730,403017468214,322071780269,1234363770492,593760145387,1547921522787,279619084255,90969743046,261930802022,116012825072,8334687613,1005815037602,741933892132,256699100998,1291205002329,1080201573961,717610376115,1088848987643,1328478173102,70003886741,475226251605,139768693305,1700512424295,1929595531298,738476847334,709932707602,1022923774510,1547595211028,1304404099017,1908720580051,1469149800243,931522456531,1823963733927,659609547618,276283885472,1173283674352,999027883598,813455431258,1736772038254,1453558442072,1406450787558,493283479628,1079176285044,1167566121538,841555173633,1626929763795,1689599348131,854820194148,1693731203437,1077832451728,1715542137806,614488371253,1299056623484,1730165971415,1258780420983,427821105749,136409514006,1646384545045,407432625389,1938687713805,421469455127,1590816926041,1180038965349,51262070827,414179417570,671522523946,657717291723,89945907447,393514023440,585905779474,1321361547297,1097288838479,978840837500,558688418846,187516920297,545972600963,1633566199089,741107097014,387307056664,1690875443893,429417940788,555145839612,301784486736,1501420333988,555092045907,1764559384780,11369499126,683357071701,1127025496159,1335036364008,353055496456,929735257958,1418679409459,1935439728033,217348670028,1684834477775,1587093954696,1766292964661,1314599253922,1104790984579,221792485328,1166404684257,606115698524,1942634137941,1937292866706,631423859268,769278164158,1601121810329,1858888268987,724078794508,963085125954,121389873342,462812791285,1827554729685,1312595528137,793476987335,361574369263,1885087700288,698842872201,1715090353980,420311255858,728448910448,1067749137990,1346846329260,50777224987,951431732787,1790891578373,945209369890,533997315635,777992128586,423521731471,1062288499463,1272884287136,403537054161,1809247018108,1768777708883,1044106835622,1877220323671,309919629890,870910560654,1189757846030,1444765630308,1378818674178,1707426260483,919827470561,382887197642,725425601329,1465756858832,627991648591,1455251473174,626019692918,367791339042,1327068106154,988936421399,258819316475,167643308505,1690264649154,1063429140851,1988082985232,429236328384,263695567162,899401057701,236345604350,1845397452525,485917926559,75455320738,989705205518,1081723711235,607580076685,1391506091435,1795792157700,981748961928,276774385586,1441996842306,205274484935,729466543769,198127027632,473694886472,450438345991,137481714760,149175741830,572526890756,212514206328,1635555862615,1019746398857,1966921733092,1601508254522,1397202284231,1066989788985,1741543940022,293118950398,1542535862389,1661244979950,1566252911603,687922881718,140531704199,166800412039,119824002370,129952845698,434707609710,581238934018,1559024322659,861001274999,1199456081775,680380269617,1491765799961,922961256314,1470968453702,1668810457521,1767742315960,811333970509,1613836396206,577915322994,977133344756,5386953505,1478789198914,425414335587,1672893193203,645857708698,390956492623,1079132109217,1981308443526,1080728637719,1613357426631,561148881860,1383457131811,1503293537140,921108577616,580691871420,849847921843,1534936435822,673016146063,329426274315,1254904400847,1222151458008,766768736060,1984192903542,1787314217080,108859917047,499440273256,1317156253222,462675833593,177543453072,1676159325725,1752829284547,684760957863,1776021959560,17839263244,1016837333077,1701908496791,629348559931,1217245500859,1072136999809,1689272454715,1368275099104,186985153538,665713111059,74374317662,1849140332192,1137606909231,1831784558120,1728440878572,382113837775,6096474752,1150844210743,750197643615,92382394631,611468518218,1735940597382,527963367506,737417376186,1869070178046,940311132622,176744881972,1398360851509,953560354414,401567623405,1176939556713,1368869173608,1096104017000,386597256783,19502060308,776259575967,775473005512,565498839362,587803824812,1044122817884,1130394249065,1137968036975,491405734409,1670800288089,1040490589042,1022873404279,783962691423,116853453542,624195339054,1678682308863,1672085093154,1341286769498,824799711511,1804950140558,1110303977949,1634106054692,1419917597395,818562687984,210793618901,1305900573630,635712523721,1230356011789,1554954013530,208074093972,221958884883,1421182061721,326839345300,5741443816,754010303731,1547626111496,338433245138,1665195182054,52333334928,228610319895,1264741816716,1898046032607,1574818829893,56966050940,660469859999,7258151583,1339201343523,981944295755,1269401845463,1545618611037,1562212582652,1979537082948,211817938963,463146647223,1608708279692,1872895539349,972392719336,350417225391,1617545546095,1809176560421,1091244757196,471788855856,158949739768,123868616465,1741282953285,231080235051,728788716272,1286696865052,1018737786860,703815622827,1220558563659,351906202937,596977043188,1944797264635,1545867470859,1570403520701,457910990880,865876280401,1081251104699,1439836773523,1069739107518,1518805381481,1936783424625,70605198184,1757392075765,1172245789830,940505392568,648893776188,56469240354,720070621915,1568808114403,410290835530,993099226010,1867237164365,933467630183,1015264083812,1634750104739,689513801947,1120893844385,426170923589,109301866241,912785671173,299846500976,1307756114548,1369557628148,1481758456780,1068773870239,505950912489,17189892509,759811605249,615248502946,1014317102444,266760277662,722299921432,1596146201115,1842906704626,1905652526024,873386811695,418730866973,796449807964,548455335757,412299205355,1185496262016,1800890600901,1341352382658,666303614091,1442937468779,715448487957,594308973974,1387090300565,46602521838,617787864539,1363902106081,1188519550697,996050539683,1372138781576,761719408063,930704106527,261552939847,954316037169,343380031970,1266701159972,452597303408,1983770126822,1733117887807,646462835252,748495478112,271916766084,470756917764,1811543907032,1477966531077,1383340212152,1238446580480,64439391567,1632223841249,1595324823215,243543661491,559247726443,1502598677692,769273629307,1858830658438,93285193071,858200014655,748977990057,525657089661,32947498690,1025138818573,609931849124,1808563228109,1287991676094,49764180308,1634758893633,1399551173944,1180464481363,1801161793063,1895419494916,430372819575,415492494105,1255483189899,613632368378,48208900043,951379007722,1279463884444,1070311096655,575056090353,504310579317,1831978114796,1206342924385,43688466742,1227339063653,1050643910863,61661934257,500863345433,1879194628886,1570657071493,1458432841856,1074949002956,1182508021744,1435234620830,601437725970,640012743867,1212183002992,1498526359725,399336919931,1599266383735,759528994869,476118685820,20768149396,419238251421,104285876839,301880903666,1276111724989,943406920404,1398316767399,1965841800739,685501267767,1618834735486,748644170017,850297709881,381127795558,403997688378,1743251981001,162131888381,31522961932,1344897555673,1239203651335,579607775871,136164329183,887966562504,816171944215,1293339564095,1263747515399,277275447463,1485816161279,1140684127566,244806177797,1229182695701,1126263029476,583520668935,42840259419,320903459506,904447212906,890945105584,271715739873,1399792056351,117286008669,1686174394895,1894418230313,821415810293,232336708666,1042080034788,267579599901,1516649869406,746652653609,308648180884,1854756302515,1058194749700,1704758188079,8447401395,1215720833820,118093565306,1496393750301,1007008782402,634830329130,690984757294,461401164312,167318089446,1256836110075,802574959019,952694944084,1056806524283,571293146072,619565273906,1183767191167,46226765237,198159597234,42665729024,1538124389497,911572951791,435506325705,137989668964,1924877049554,1616581176434,1745330726204,711942887293,1039915095336,1389554526866,179989857670,1007214915041,544024092006,1657077140185,27644520244,545216847267,101611041366,28804738260,531920136147,1458724094538,1293970594853,1046209445735,455531935320,1604498656024,1651876903002,593742005913,82115039134,1126122648071,1431416717798,1680134270020,1854211719115,606712057667,478551092748,1744153661306,1063334253272,526176798355,374823208392,1516443101662,1922852166382,141931799293,5284847350,1829998339823,1024204829302,164940153646,1550293999947,1834230983508,860280261124,1659331155437,1779738941408,1807930015492,1149695957084,541258977623,345482898718,1521862510652,1730759609299,293242217336,1997095187091,1514868468528,1365301810633,453341954023,1456016873532,177696972530,1861698277117,856609878746,614187211879,950371658884,1846473110284,306188340533,979500773099,709272551771,1682040436401,493633991523,1437962464787,645342601268,79619812703,45057378994,87619739840,265556896422,301963736553,1043837726377,1670294214868,1010072313361,1159025424255,936969804256,1490644627814,1406375085441,1367466252367,318440188197,1847331473680,1387925766576,1216104071124,656477568065,736176983019,1016335852477,876405409831,149680011544,1688493241275,1842384942132,1956870203958,458323931527,1956694087509,94804470592,876556518074,1133987246341,460218091328,1811071980407,1260574573084,1791918304803,179951440854,595891560269,1033663160649,1825000853867,1211549773910,644751566044,119197609303,1459129118243,100557493649,1985064397094,1255346466551,521357367492,1698523103405,693023717082,1290427894433,334386433469,1588043347204,1076913158852,76174659909,738550401132,1701474799337,263275045945,559373472449,512744326222,645199768803,1663606145028,186312838207,1162920546217,59954511113,1410148126253,344996266468,1826420697783,135695121253,909689416186,1106511791480,11660832694,1232020412810,90143493836,766290836784,961901944027,419914638434,568044176925,1641589148540,1528670504700,1754010606993,965364359541,1122923042146,1573674105976,503659197333,1475409807987,1064471616142,610588712285,136319880712,1632152008811,929837768525,927873942694,827432170931,381999282044,898082241211,572034375236,1825576712922,1078306759209,1528194249901,1767689306605,198880220411,1311591770562,679538254527,1797588267448,1488865760085,766039463687,1039259447300,417762266535,1308119539325,1519937825603,1689711623582,917636157909,721168771503,1551074624229,820625357711,13399896618,1368389834035,1505978978531,1917624767259,1684951471822,1258361909706,1739855940600,664197535353,1301052121181,1440898313432,108536887854,65198811754,1217741659859,1132271552698,421119129682,972026066050,1491204706480,1481162375176,645317538758,975433349114,756678868668,605932592287,1047657946443,173446300960,893791243871,507153697267,1711922550746,160101813669,1848585102298,966938118250,1616348035209,773567209107,996410833613,1518635266570,1630420438454,1773662112342,1233433629354,10873933623,348327817580,748487305124,1004833393372,1723110308587,439671950807,68204456324,1210314371801,1167107693290,503539952534,1759328978494,445806140839,874057630016,1886696298089,1655130988539,1582191176872,890923255850,1750834180609,1592704209484,1861279769310,541960320804,148719702280,1625886671979,967921691750,1131595227985,1672074170432,1753787540617,1549359705531,1177980865182,1654202858415,1518953788330,1647190160093,530510305695,1705022802179,1714319614898,1475318223653,1549414364989,141820648867,439687856978,598968855231,1782238725394,1123165842285,850341774805,802924327468,453516705523,1365065558641,1306688593441,1849982934900,1253455446715,739701600869,1716630572613,1695813967951,446185810307,451780467707,1610822811474,284088011342,531591283411,1188202700647,1600272347775,1502412166361,675262261989,1631430418575,271290479201,908917730298,1597377415890,1862254422545,1127802599316,1795414260926,1567459995867,1298304060476,566561029209,117767366553,1860298195856,1395766453090,160584036213,317155356472,625018483053,1557232642703,1196725486008,140249277165,1245941466691,947127301981,369152121855,394252599737,1825438610931,630938613858,1419174800278,810641649954,1012512028277,1017669615244,1676403645354,1122650374586,550457807262,1372349983366,177256681749,1470627644749,541334555701,659106580125,237324134793,1780822941091,1383732925681,213301443381,358665856617,1447338904509,1734789380163,1854258977754,1857137904762,724482730001,1451316571381,1219060843351,1028449973753,1136956255248,1046247849412,944675381225,563005480383,15704976179,878600536795,1555500439087,686089117930,1129402767079,45498275766,292648509738,1045027386784,1720106901174,139846611516,1978669377909,170360211602,1827691286482,1366136106247,1735486844462,464831417651,1730706622417,878798219475,196254516884,719578590115,1983320135430,1608690520985,384406409338,1167431296617,1069936997795,1301206736818,1841045677345,756184547817,390212228099,1260875113864,1356908966536,48809377910,1399550417176,199735313373,959511565652,1451909827671,1169885307357,992577694484,1531723818564,880174178433,778404393536,1391627553564,410198703390,94148506232,121034281804,202638952892,359398541649,559541352006,272777203297,392908865083,1049363529852,1612551260376,128050264674,1423434742045,1535843719887,1795335365010,1527783742418,1275914516374,1199650734991,626401426171,882522306697,762333523202,924708298415,565037360439,416733253749,1242157350233,1196971426702,903419926170,1829352362740,1826446772825,234705869691,1472590747290,484261466032,1901730320152,441708590925,865077149686,1503574915720,1139289025860,1790865343599,422481163282,423184125967,1654190691435,504372973722,745173249915,1352985475927,600766936927,228212405683,382959691642,1281187061586,1931077783966,1435129867621,491326090132,229447694986,1116365504980,1145938304133,212482787427,1251480987311,605785749054,1013819644261,1468968829716,778894935316,529789363858,19704862593,547884424271,1452303919404,1405294391681,1702868523584,1384303486263,1438043870678,1351844272965,1829634675067,551688543473,1033376944511,116728060861,103054856371,449313139307,754035191163,364083993250,1760188053148,822943528492,1299764278162,288137003680,1797945025614,622419118963,1760344021885,1224243864698,1619409300132,151992156498,6006821445,1504119520196,387897801707,322343990190,1831280924139,4723597259,659916907867,1137722844544,1958255060235,1416593944697,994442239440,863541384950,353037847104,1043596963991,581107897543,1415694526341,1970654969413,778473666664,1213792537188,1031647326415,1052726376707,394118896522,494700171222,1763250761691,1240392518878,1538051330900,1985239179106,1845897075593,393355238392,1318053332842,618896329481,87352485844,190876491330,768158649446,1298024357518,6061691572,1366169483464,1929616475192,206028999856,562686110790,496095368806,870113082085,1891922788121,650234929719,744817393526,1328038672746,511871671660,1392422724228,368328764121,1686843296723,749919774051,1056541834948,1947767846839,1453010982792,1303149745236,734971420826,44602008505,685195349081,629126052948,6282348378,1537632626136,1711474749387,1248309010719,1553132213845,531575999732,830069098203,208543596648,626028773923,1591238630120,352742787103,1519777019925,635542921025,730935609783,365303230538,574866445642,834990047729,1749573466741,1411891226411,1995728549412,863492206627,750049256786,1597260947662,885080521562,916531899568,703717344025,1948604777499,1125799980201,1354494486294,832382095777,1233150473935,1654293766345,1634001682613,1422431829788,508099700105,983421365249,321792298739,1084862811138,1844954752292,1274655010133,471135301814,738098058677,1987536673270,271621362069,1641306715277,1002484936510,1071375115117,1175688299654,1683216109302,267666181877,407510361799,1040012751824,206774872034,35806848289,824929666759,1534832046401,235754407784,1826399282606,1721342171862,327705621131,1162377510283,342014456353,1782887931736,1738916144855,885738088592,1138862602065,571635409829,1827395738293,1684052846477,999754787249,1679663872186,1046349293263,427557561939,1491534532056,1878002965242,1174525419387,1111914567216,1595560005203,707880837805,638553602781,850877024578,1413959039576,1427707999871,157217695058,1423204807520,283293908209,120409739922,1037429585077,1339461242159,502506426217,170575856703,1867656066408,1220969336284,1730321575917,1643573617066,1904073093973,451879778372,1740456101877,1100232772442,1784268465159,194432562316,1264840953592,846551228288,789158503518,431297840862,928957446002,1436187544758,511916060042,1815578112050,1494998488535,972741541988,611191669368,70934428721,1434584178439,971869209100,1617641018484,75637556443,78366248350,840644136903,977933199594,1177857088023,932697203092,1013808649420,1093020250070,199910495572,1543993488385,1312901667571,1311758395871,1759133291786,1865014012008,1266626934501,1608469546442,1812825981228,1848705764137,687295052629,537599175037,1086404875363,1095393292815,1889741825102,1338058880493,1324698124063,630217123525,1078049165840,1606406422016,1723372592925,892117274982,298921671257,740345024507,504244293351,670767574802,1715708322920,1599406213198,1599512131887,220727218739,748786463797,1189051753324,822148354850,1579134581779,489188178238,750527798784,532850389918,1315356875123,1903215610631,1107666095588,1681436103962,265680175919,661072122482,159343109823,444619585566,403740952088,1088296456857,853102001217,302654608484,891856478986,1927111789169,1320047598148,272191839734,1157154901767,884648237025,501811433552,1262590219145,449994535467,1481639139832,1250933008910,1004677808358,188088352257,1783368183298,352701212325,1830714771398,1033653158416,1366690431309,691236969526,547537874091,1057534391131,981396658350,411430921415,1748058716115,11991833687,60594898544,777703556510,1130559929588,259809837757,1198728974870,1314637416698,1692865302368,442335245704,986533304568,1362263550235,1183186222935,1868704991066,1432530983940,1835959889634,755033687831,1244710614645,21211535388,841915638109,910950711864,200645761016,77496921132,1056491305514,1801956952827,838675175156,1803021645257,720766686592,218271320144,1493523484110,1416314872704,957413708031,1568504921419,1773199194281,1087441555816,1029502254073,1070689541590,1834597517028,90427886261,349383313950,1456546924090,1214859049575,220879270639,350121021379,121627260723,1856139424820,343332758873,977208392224,966976915324,648707363099,1892523812186,732344918076,1334670546766,101673523056,7971014663,841929088024,1436938926962,565181702185,1160869638492,1342617894170,1232688848036,170767745181,1359675010715,1346123641170,1460677804843,145942036463,1452056130650,1928614589305,623253650378,613060401681,1436091484072,223668085996,544863967952,1727808739970,49137364856,1866887786826,1934553692056,1501524348949,1060579892408,194057129377,872255408130,1279347767096,1108210225622,1938358587658,1628158944131,561255062641,510153669728,1594025413857,1409349479747,1620874603478,181640736898,1260254222670,1404749914760,853414363660,331216001496,547698281107,1954893887825,226900111011,1143298012972,1751629182994,975790358748,1838112699809,7249716677,1384842410637,842061320510,1508981314924,887537495814,1563527844794,1726683459305,1480191498027,1003225340917,1001628900699,1242289958341,1657496191011,1938669530160,28113771467,1382500619444,1314286740560,1670572728463,682621271264,318586493675,1636615968163,1077652611642,933043271919,1161678708813,292068794906,372319461932,1499489961913,1607038494488,1680555426619,1612432523643,787801745169,943324252701,1009567909219,1740850694290,577080843607,1061620163871,1064161351555,1980527630207,1511299669935,1497699040056,1127016040176,799623635072,1019572583007,804338078339,1415693250620,1378656759730,83620086658,1366547315548,812012310729,1867516896035,24434238878,912441066846,1027143094672,1773524935537,923382035941,1245826291930,325327380988,1606560427670,29596059807,442916224587,972559774089,630370619984,1237632173493,846086552654,159093894263,1262911923356,503851232597,223921214528,1287897081716,1694381073878,675633589139,676132644550,288201871248,723309325815,1476184294868,929538938589,900755935139,1267182733239,1995772590111,61895608509,961149482078,1886541434102,63859995058,1426661060593,382308709428,1033082275048,1719223572649,926594113139,445205892173,1389764386725,807780609514,277359720489,1082356091448,853199270268,836336056208,1572259508136,1166371428168,1698563996678,1752643030513,1006854080222,1531341972893,1688568204961,498325126766,567275953534,1943740572073,826774672294,2708450044,630304591431,1806142221835,684319060802,1710568769708,1604262835935,133300830214,1020511644614,1098163222602,1518017985426,1387055346641,280449536274,1799630654998,314561738016,313457728364,1803121242557,1537476766641,1458431654552,1775276383279,1737930545026,333597896612,1698614327310,398752414791,460657096136,1473178106647,418525727528,569807507129,1000780719093,862042809527,783115887259,1891837733826,1215011023716,1608331297777,754567487483,955698785790,104460658358,627511345985,906215392025,1443369715064,140035106464,452979740706,1402036628834,978600816318,1329428460027,1460405493573,863529569601,103689470148,1964339581643,1205452752397,867325148940,1528208243749,1222575903925,288291389170,1214594309104,47357145624,1541484248211,462802224201,221823881388,557891548369,1053495453978,770457476941,383808480953,1494247495981,548111259307,1050486417253,716681704501,1553330064985,1997811601420,830496462501,1854011457860,1114340199429,1660777711196,1138600876400,1465681411433,1066224615647,308419059886,37971834963,108891869441,66007416058,317153942209,490184032792,275917443908,962043892768,751857411459,1679067903517,766174448497,142809661307,1244140664113,951368456908,1030769515122,1507219120282,780850117038,787717166623,1834304283519,224940237324,677710208935,1882348062021,548335010,1930184347095,967666120434,793636567082,119390246582,1995866831972,838016224719,978231481893,1901752496612,1424665203047,1683481951432,268332577595,1235840767180,1297698271964,1252193895842,1673780653122,96583541461,1583469491263,1861157775434,1799198839499,1444544034142,509612332257,1227956691710,1751767893305],
[[0.0 .. 5.0000225e+10,58],[5.0000225e+10 .. 1.0000045e+11,50],[1.0000045e+11 .. 1.50000675e+11,54],[1.50000675e+11 .. 2.000009e+11,46],[2.000009e+11 .. 2.50001125e+11,44],[2.50001125e+11 .. 3.0000135e+11,48],[3.0000135e+11 .. 3.50001575e+11,44],[3.50001575e+11 .. 4.000018e+11,50],[4.000018e+11 .. 4.50002025e+11,50],[4.50002025e+11 .. 5.0000225e+11,48],[5.0000225e+11 .. 5.50002475e+11,51],[5.50002475e+11 .. 6.000027e+11,51],[6.000027e+11 .. 6.50002925e+11,53],[6.50002925e+11 .. 7.0000315e+11,48],[7.0000315e+11 .. 7.50003375e+11,52],[7.50003375e+11 .. 8.000036e+11,45],[8.000036e+11 .. 8.50003825e+11,40],[8.50003825e+11 .. 9.0000405e+11,50],[9.0000405e+11 .. 9.50004275e+11,46],[9.50004275e+11 .. 1.0000045e+12,57],[1.0000045e+12 .. 1.050004725e+12,65],[1.050004725e+12 .. 1.10000495e+12,57],[1.10000495e+12 .. 1.150005175e+12,44],[1.150005175e+12 .. 1.2000054e+12,47],[1.2000054e+12 .. 1.250005625e+12,50],[1.250005625e+12 .. 1.30000585e+12,57],[1.30000585e+12 .. 1.350006075e+12,39],[1.350006075e+12 .. 1.4000063e+12,51],[1.4000063e+12 .. 1.450006525e+12,50],[1.450006525e+12 .. 1.50000675e+12,54],[1.50000675e+12 .. 1.550006975e+12,48],[1.550006975e+12 .. 1.6000072e+12,50],[1.6000072e+12 .. 1.650007425e+12,53],[1.650007425e+12 .. 1.70000765e+12,65],[1.70000765e+12 .. 1.750007875e+12,55],[1.750007875e+12 .. 1.8000081e+12,51],[1.8000081e+12 .. 1.850008325e+12,63],[1.850008325e+12 .. 1.90000855e+12,45],[1.90000855e+12 .. 1.950008775e+12,36],[1.950008775e+12 .. 2.000009e+12,35]],
[pnt(pnt[line[0.4+58*I,0.4,-0.4,-0.4+58*I,0.4+58*I],1342177280,0.0 .. 5.0000225e+10]),pnt(pnt[line[1.4+50*I,1.4,0.6,0.6+50*I,1.4+50*I],1342177281,5.0000225e+10 .. 1.0000045e+11]),pnt(pnt[line[2.4+54*I,2.4,1.6,1.6+54*I,2.4+54*I],1342177282,1.0000045e+11 .. 1.50000675e+11]),pnt(pnt[line[3.4+46*I,3.4,2.6,2.6+46*I,3.4+46*I],1342177283,1.50000675e+11 .. 2.000009e+11]),pnt(pnt[line[4.4+44*I,4.4,3.6,3.6+44*I,4.4+44*I],1342177284,2.000009e+11 .. 2.50001125e+11]),pnt(pnt[line[5.4+48*I,5.4,4.6,4.6+48*I,5.4+48*I],1342177285,2.50001125e+11 .. 3.0000135e+11]),pnt(pnt[line[6.4+44*I,6.4,5.6,5.6+44*I,6.4+44*I],1342177286,3.0000135e+11 .. 3.50001575e+11]),pnt(pnt[line[7.4+50*I,7.4,6.6,6.6+50*I,7.4+50*I],1342177280,3.50001575e+11 .. 4.000018e+11]),pnt(pnt[line[8.4+50*I,8.4,7.6,7.6+50*I,8.4+50*I],1342177288,4.000018e+11 .. 4.50002025e+11]),pnt(pnt[line[9.4+48*I,9.4,8.6,8.6+48*I,9.4+48*I],1342177289,4.50002025e+11 .. 5.0000225e+11]),pnt(pnt[line[10.4+51*I,10.4,9.6,9.6+51*I,10.4+51*I],1342177290,5.0000225e+11 .. 5.50002475e+11]),pnt(pnt[line[11.4+51*I,11.4,10.6,10.6+51*I,11.4+51*I],1342177291,5.50002475e+11 .. 6.000027e+11]),pnt(pnt[line[12.4+53*I,12.4,11.6,11.6+53*I,12.4+53*I],1342177292,6.000027e+11 .. 6.50002925e+11]),pnt(pnt[line[13.4+48*I,13.4,12.6,12.6+48*I,13.4+48*I],1342177293,6.50002925e+11 .. 7.0000315e+11]),pnt(pnt[line[14.4+52*I,14.4,13.6,13.6+52*I,14.4+52*I],1342177294,7.0000315e+11 .. 7.50003375e+11]),pnt(pnt[line[15.4+45*I,15.4,14.6,14.6+45*I,15.4+45*I],1342177295,7.50003375e+11 .. 8.000036e+11]),pnt(pnt[line[16.4+40*I,16.4,15.6,15.6+40*I,16.4+40*I],1342177296,8.000036e+11 .. 8.50003825e+11]),pnt(pnt[line[17.4+50*I,17.4,16.6,16.6+50*I,17.4+50*I],1342177297,8.50003825e+11 .. 9.0000405e+11]),pnt(pnt[line[18.4+46*I,18.4,17.6,17.6+46*I,18.4+46*I],1342177298,9.0000405e+11 .. 9.50004275e+11]),pnt(pnt[line[19.4+57*I,19.4,18.6,18.6+57*I,19.4+57*I],1342177299,9.50004275e+11 .. 1.0000045e+12]),pnt(pnt[line[20.4+65*I,20.4,19.6,19.6+65*I,20.4+65*I],1342177300,1.0000045e+12 .. 1.050004725e+12]),pnt(pnt[line[21.4+57*I,21.4,20.6,20.6+57*I,21.4+57*I],1342177301,1.050004725e+12 .. 1.10000495e+12]),pnt(pnt[line[22.4+44*I,22.4,21.6,21.6+44*I,22.4+44*I],1342177302,1.10000495e+12 .. 1.150005175e+12]),pnt(pnt[line[23.4+47*I,23.4,22.6,22.6+47*I,23.4+47*I],1342177303,1.150005175e+12 .. 1.2000054e+12]),pnt(pnt[line[24.4+50*I,24.4,23.6,23.6+50*I,24.4+50*I],1342177304,1.2000054e+12 .. 1.250005625e+12]),pnt(pnt[line[25.4+57*I,25.4,24.6,24.6+57*I,25.4+57*I],1342177305,1.250005625e+12 .. 1.30000585e+12]),pnt(pnt[line[26.4+39*I,26.4,25.6,25.6+39*I,26.4+39*I],1342177306,1.30000585e+12 .. 1.350006075e+12]),pnt(pnt[line[27.4+51*I,27.4,26.6,26.6+51*I,27.4+51*I],1342177307,1.350006075e+12 .. 1.4000063e+12]),pnt(pnt[line[28.4+50*I,28.4,27.6,27.6+50*I,28.4+50*I],1342177308,1.4000063e+12 .. 1.450006525e+12]),pnt(pnt[line[29.4+54*I,29.4,28.6,28.6+54*I,29.4+54*I],1342177309,1.450006525e+12 .. 1.50000675e+12]),pnt(pnt[line[30.4+48*I,30.4,29.6,29.6+48*I,30.4+48*I],1342177310,1.50000675e+12 .. 1.550006975e+12]),pnt(pnt[line[31.4+50*I,31.4,30.6,30.6+50*I,31.4+50*I],1342177311,1.550006975e+12 .. 1.6000072e+12]),pnt(pnt[line[32.4+53*I,32.4,31.6,31.6+53*I,32.4+53*I],1342177312,1.6000072e+12 .. 1.650007425e+12]),pnt(pnt[line[33.4+65*I,33.4,32.6,32.6+65*I,33.4+65*I],1342177313,1.650007425e+12 .. 1.70000765e+12]),pnt(pnt[line[34.4+55*I,34.4,33.6,33.6+55*I,34.4+55*I],1342177314,1.70000765e+12 .. 1.750007875e+12]),pnt(pnt[line[35.4+51*I,35.4,34.6,34.6+51*I,35.4+51*I],1342177315,1.750007875e+12 .. 1.8000081e+12]),pnt(pnt[line[36.4+63*I,36.4,35.6,35.6+63*I,36.4+63*I],1342177316,1.8000081e+12 .. 1.850008325e+12]),pnt(pnt[line[37.4+45*I,37.4,36.6,36.6+45*I,37.4+45*I],1342177317,1.850008325e+12 .. 1.90000855e+12]),pnt(pnt[line[38.4+36*I,38.4,37.6,37.6+36*I,38.4+36*I],1342177318,1.90000855e+12 .. 1.950008775e+12]),pnt(pnt[line[39.4+35*I,39.4,38.6,38.6+35*I,39.4+35*I],1342177319,1.950008775e+12 .. 2.000009e+12])],
"Done",
"Done",
1000003,
"Done",
100001029,
100001029