# List of S-integral points (x,y) on the elliptic curve
# y^2 = x^3 + x^2 - 1692310759026568999140789578145*x + 839379398840982294584587970773038145228669599
# in the span of 14 independent rational points given by Fermigier and the torsion points, where
# S is the set of the first 2 primes.
# It contains 178 points in total.
# For each point P, only one of +P, -P is listed.
# Format: "(P(x),P(y))".
# Computing this list took 62252 seconds.
# Authors: Rafael von Känel and Benjamin Matschke, 2015.
# License: Creative commons 3.0 by-nc.
#
(809823326908353,0)
(866442291552879,4852554862534554468168)
(5669161626637791,416471863148635757166984)
(6537092325195231,518777331682157018648184)
(857862052428399,4351358710435185250488)
(643619051198181,4097833397957401859316)
(-845553481014126,40813982316182312504037)
(310789314615903,18532307930418477983880)
(2999530665437946,150832925221536994856391)
(935470575993669,8654920131154858324092)
(3153630333177186,163910104603939034655741)
(927209571873189,8209204785115731247572)
(888397344640005,6091180351451306685468)
(4311371438242122,271445468504099342225871)
(988927329611391,11530632350958995292984)
(21113764446391111/9,2670209668749377607316136/27)
(457633282001745,12679234836823026227832)
(114495121345893/4,224992447087051348029927/8)
(1312412323249617,29646300808250030388456)
(5429000646163005/4,258329262728233934936469/8)
(832699306754277,2752675553616194984436)
(12836879883228690,1447220393947026559821093)
(826558774600170,2299903692043702512543)
(17249819940963717,2259300713439519018801756)
(901327246292049,6803202895565802125112)
(15266349863953749/4,1788393470797517881143903/8)
(-523790823485073,39775503223504666503864)
(641629251319695,4206475773834951036168)
(666671559463653,2732538398103885902580)
(824772249168303,2158509315471929616840)
(81042937622329231/81,8861554441638129732778936/729)
(2252513103656559,91957939555201321662648)
(690291245594778,342430653544628328855)
(683954941423809,1365781157598162056352)
(-88066364514708711/64,12143861717321552956079517/512)
(2191409680250085/4,70052106447307921537881/8)
(-2163694340346407/9,947824450225959015402328/27)
(525020649518661,9777602220982957477116)
(100381794465783903,31801392766974866323833720)
(468234194556047,12232694934197235706104)
(-1500080776937265,1561077631534009293432)
(-127308190590075,32446280031052686613668)
(-475784676466545,39202691808623441800968)
(5287423394484303,373779478146894033949560)
(834459652332879,2875365326174991251832)
(1203290930183805/4,151264874873281342628469/8)
(5094097936013505,352717418568217003687968)
(55938692075648433/64,2706956811151278447149577/512)
(-1216071403624929,33150982793050237812984)
(264390034585543161/256,56930541319371049427739789/4096)
(2043868629414849,76932263994889835066688)
(-275642328071281,35845626406160636844792)
(3245035907095461/4,5059654842978782681991/8)
(192451748003301201,84425354642504620213322616)
(15810629065297215,1981504619631019187023032)
(681925764652050,1568465432141985518043)
(244337019116010,20987431811752700667807)
(982479697930607,11183605599461162465976)
(31021162847205807,5458973903699754487892424)
(-1236537669192495,32268992656087869427032)
(3158349121046263/9,458775636312277931689448/27)
(665315262684159,2820867968019861832248)
(-1490691677881953,7038113572125149179896)
(891045621337839,6237783049352230425672)
(4973362323653247,339758301870332408034504)
(-389261894386593,37936112760378023541624)
(5049419978987143/9,220205875385043575673128/27)
(176178191717032719,73946294443173659229449208)
(652256197159794,3613016255252328484533)
(816133831449855,1353961721252033023032)
(680558099317791,1694236163873648033016)
(593947014380346,6615510518009882191641)
(-247148862305791,35249618329240928472048)
(36488864592379887,6965753513955450814112184)
(20554548167012289,2941111091690193076169472)
(3374111609913618681/4096,544111916885258435288286579/262144)
(166631013340287,23706847140274629852984)
(634138370605569,4607299497335230061808)
(116985234125276605/36,37196675813807459058253787/216)
(819526406431569,1702722124579243772808)
(33831992599137903,6218344621161127043528520)
(48027474317938831/81,4858141757776374101013064/729)
(597059411696799,6465990764046971759112)
(-1494055630202097,5722893735183836480520)
(30611886025721193/64,6044148532666464823533867/512)
(2111361789797103,81721663836258811241400)
(-5241995627378187/4,227190182625360539316207/8)
(-718975087128609,41042080245411356142984)
(599245349629509,6360506947669505433348)
(-1429717029753918,18342123779398589802099)
(50275510905312639,11269139107894048331458872)
(17019922523868770,2214120470920752275687043)
(-1440807872990134,16931084657581891393359)
(-1210218680582097,33390474816073788705480)
(41292499788141513/64,2053649472646868267155803/512)
(163691163353677137,66225337366325281414455816)
(-2903302953625427/9,992679056957609034585292/27)
(679056378256293/4,188803113615270668729223/8)
(1008110139870801,12564714044169591219384)
(654150494838479,3503269043968238756232)
(-23451202264688103/16,837079275504461354132859/64)
(13356998368210527,1536635716188174045053064)
(2759915549701845/4,3573681415264159590369/8)
(969631788148410,10492622854060789044057)
(8135130525386757,724884808152764242952676)
(865744724217703/9,702767836104537054391912/27)
(1573616031338577,45530497022509162209336)
(-1549299095153651/9,905848935521081757331132/27)
(1410130358755554,35454184403241239835843)
(246708415235712111,122537755094871104753331384)
(1359869118909521,32446696209863298870984)
(40756899760795833/64,2285994917094455062969677/512)
(-1107016153238180559/1024,1228439542012155672477181911/32768)
(344348407790271,17247210799179773100984)
(-4981979695921139/9,1082206045323977211085636/27)
(10853549164447735/9,634568157378748536282136/27)
(2842467487697282,137822720487394632151251)
(10239889259832306,1028210724105371367250059)
(37658931540663031/9,6989809788593274933206504/27)
(558179410173765,8287045856839010862468)
(65702071951100047/81,440752481643856754737736/729)
(469805357580225,12166215575908605224832)
(-1458401270972481,14336105543837099752008)
(2913029049854330145/64,4969831968852637722928124241/512)
(1778336483769266927,2371487235801660325807832136)
(5897790211091685,442726556393107185709068)
(-23961428071536231/16,247971718587710616134853/64)
(576361571200796821/36,436162985313574529240424431/216)
(52935913734032911/81,2580211932159258701496136/729)
(14111398089737346687,53009665493461041526616105784)
(110072877242981802,36516595663243314802959489)
(680629428259461,1687852429968548881884)
(78925139429860543/81,7835414206167530327792440/729)
(1669896184767631466,2157913723471378999470619359)
(97830002817038881/576,326214313586382745270674991/13824)
(640983398406885,4241527443274938829068)
(-17867200477531159/16,2339842772721945403600701/64)
(-1670617930944167175/4096,10022559654227845818903105933/262144)
(215526616392788529/256,13804408326371683471278633/4096)
(2746635958524669/4,8387062675726258630197/8)
(464585747650046025/256,250664433118143197503805253/4096)
(64884070054537313/64,6590846375757887530786353/512)
(422353175381293722,274480557956668648303915671)
(-22479947480382111/256,128702288501020226093826543/4096)
(1709360124234053,54232930840379677521540)
(8563113935324241,783744028588513359708984)
(557993989504471767466/729,13180857187245088850677823146219/19683)
(2078028779264465,79347717731088203563032)
(1242749129613746,25604589365558563673109)
(1079572722637324519/729,782612374919514912437042728/19683)
(462733197282189/4,203199283945273735241997/8)
(27652190434059600393/16384,110787945153138633020411360997/2097152)
(241155226783401710271,3744941335280640684914346150984)
(1537707897909249,43279096469467596216912)
(37402814922641745,7229313887634286581677832)
(32390555283357325/9,5491301347880791942435964/27)
(3401055912037352697/4096,677251101713202809978204019/262144)
(21903546421627601,3236098622773974720134616)
(127247201163142017/64,37394730235117577320375455/512)
(319466696988910866,180565507230434498170547109)
(8076800853180114,716978870073714829212603)
(24553735268429880645,121667995495712602665234622332)
(45370347409954506489/1024,305473105825935708209173361037/32768)
(306002046582607885/36,167395396204007933950886813/216)
(93962736771761189/4,28759452563288355431421753/8)
(7335280971697741/9,33055815750694859233124/27)
(8299529996132173/9,214292685510574998878692/27)
(17654254820546154,2339511144380689208001057)
(8809512591907033/9,296662887233615661359768/27)
(7680095246038858/9,110197706197222974979907/27)
(12408717829667522226,43710961638399585686797423509)
(15745650948076258/9,1535345904088372636299257/27)
(15828153515772466/9,1551664716232295430061199/27)
(66877969949971729/81,1624918579453314129835808/729)
(119714681091021146644569/268435456,57906771922030353850818379139702877/4398046511104)
(1662635745109410882,2143855634118767667539636301)
(128709385635009343561/9216,1454087411186201492807943950651/884736)
(9180794603068824553/2304,26487960894930007843507311733/110592)