API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jul 28th, 2015
214
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 18.72 KB | None | 0 0
raw download clone embed print report
  1. [206096504910900498493010377380239941762L, 27, 241, 468, 206096504910900498493010366855655511824L, -340, 206096504910900498493010370573292788646L, 6, -188, 206096504910900498493010365575630902925L]
  2. [21895897394889366278002048857818986990125268678994617770323631L, -5, 73453863292979521160722570724395436702110210638363401802874390L, 860083230267801667615814962096447759118030419081884684367195374L, 1208756186641563556189216823181235577582763775470322786885255197L, 563574118372954898036644503963904424109207146483853094148809633L, 20, -1464475540476225476021127290449598226042060199991921137850322312L, -1554085104269531629275069816677895447025824915356256971517138516L, 658781301413442456187105669962066361153531021415203972856482081L, 1421770204015349061297731987862436233014697243702547161097469746L, 1111082349050193290192329277649104120747717126931126127983058755L, -109571337096131499455011271023310218778431969690802066031870575L, -1536409144373002107386864029818511666641780965936236899633623888L, 0, 141373165154706051459374041047239171901393482703021752648984617L, -100200794863677154028266555466064397390401532284350635255206536L, -365910188520172704474640816345480755308955369813672912535891665L, -18, -1108738252878208611757348303176764065522027171124889654195837811L, 916615603020106510985024111431679022094804624906894821558839946L, -412716470508773072931020287720638745447506884766145600729207716L, 1526059935113743100412556027489171627000917670377774549112149381L, 1558079891595449205826890650640901597056160508544475603137715576L, -1569934891839589510842004133464165004102570361015054075456065925L, -172748403261142414305061799307779325891582947412089098425249774L, -990687537561445670605300648659204069174602867682855541811973916L, 172939057067978677694244170224753890200271581675710415099603756L, 39113930044836604749366933208953073885909993048209126665513366L, -144794442355732825891289046825527609527601647634853699676123402L, 1295224301345568422889237001758737160633250962106810675043869779L, -784516588917689964860887031725301801090992173320449751008841635L, 251520814515291922049428406622173320562242905421843357597555165L, -33, 20]
  3. False
  4.  
  5. [27, 241, 468, -340, 206096504910900498493010370573292788646L, -188, 206096504910900498493010365575630902925L]
  6. [21895897394889366278002048857818986990125268678994617770323631L, -5, 73453863292979521160722570724395436702110210638363401802874390L, 860083230267801667615814962096447759118030419081884684367195374L, 1208756186641563556189216823181235577582763775470322786885255197L, 563574118372954898036644503963904424109207146483853094148809633L, 20, -1464475540476225476021127290449598226042060199991921137850322312L, -1554085104269531629275069816677895447025824915356256971517138516L, 658781301413442456187105669962066361153531021415203972856482081L, 1421770204015349061297731987862436233014697243702547161097469746L, 1111082349050193290192329277649104120747717126931126127983058755L, -109571337096131499455011271023310218778431969690802066031870575L, -1536409144373002107386864029818511666641780965936236899633623888L, 0, 141373165154706051459374041047239171901393482703021752648984617L, -100200794863677154028266555466064397390401532284350635255206536L, -365910188520172704474640816345480755308955369813672912535891665L, -18, -1108738252878208611757348303176764065522027171124889654195837811L, 916615603020106510985024111431679022094804624906894821558839946L, -412716470508773072931020287720638745447506884766145600729207716L, 1526059935113743100412556027489171627000917670377774549112149381L, 1558079891595449205826890650640901597056160508544475603137715576L, -1569934891839589510842004133464165004102570361015054075456065925L, -172748403261142414305061799307779325891582947412089098425249774L, -990687537561445670605300648659204069174602867682855541811973916L, 172939057067978677694244170224753890200271581675710415099603756L, 39113930044836604749366933208953073885909993048209126665513366L, -144794442355732825891289046825527609527601647634853699676123402L, 1295224301345568422889237001758737160633250962106810675043869779L, -784516588917689964860887031725301801090992173320449751008841635L, 251520814515291922049428406622173320562242905421843357597555165L, -33, 20]
  7. False
  8.  
  9. [-340, 206096504910900498493010370573292788646L, -188, 206096504910900498493010365575630902925L]
  10. [21895897394889366278002048857818986990125268678994617770323631L, -5, 73453863292979521160722570724395436702110210638363401802874390L, 860083230267801667615814962096447759118030419081884684367195374L, 1208756186641563556189216823181235577582763775470322786885255197L, 563574118372954898036644503963904424109207146483853094148809633L, 20, -1464475540476225476021127290449598226042060199991921137850322312L, -1554085104269531629275069816677895447025824915356256971517138516L, 658781301413442456187105669962066361153531021415203972856482081L, 1421770204015349061297731987862436233014697243702547161097469746L, 1111082349050193290192329277649104120747717126931126127983058755L, -109571337096131499455011271023310218778431969690802066031870575L, -1536409144373002107386864029818511666641780965936236899633623888L, 0, 141373165154706051459374041047239171901393482703021752648984617L, -100200794863677154028266555466064397390401532284350635255206536L, -365910188520172704474640816345480755308955369813672912535891665L, -18, -1108738252878208611757348303176764065522027171124889654195837811L, 916615603020106510985024111431679022094804624906894821558839946L, -412716470508773072931020287720638745447506884766145600729207716L, 1526059935113743100412556027489171627000917670377774549112149381L, 1558079891595449205826890650640901597056160508544475603137715576L, -1569934891839589510842004133464165004102570361015054075456065925L, -172748403261142414305061799307779325891582947412089098425249774L, -990687537561445670605300648659204069174602867682855541811973916L, 172939057067978677694244170224753890200271581675710415099603756L, 39113930044836604749366933208953073885909993048209126665513366L, -144794442355732825891289046825527609527601647634853699676123402L, 1295224301345568422889237001758737160633250962106810675043869779L, -784516588917689964860887031725301801090992173320449751008841635L, 251520814515291922049428406622173320562242905421843357597555165L, -33, 20]
  11. False
  12.  
  13. [206096504910900498493010370573292788646L, -188, 206096504910900498493010365575630902925L]
  14. [21895897394889366278002048857818986990125268678994617770323631L, -5, 73453863292979521160722570724395436702110210638363401802874390L, 860083230267801667615814962096447759118030419081884684367195374L, 1208756186641563556189216823181235577582763775470322786885255197L, 563574118372954898036644503963904424109207146483853094148809633L, 20, -1464475540476225476021127290449598226042060199991921137850322312L, -1554085104269531629275069816677895447025824915356256971517138516L, 658781301413442456187105669962066361153531021415203972856482081L, 1421770204015349061297731987862436233014697243702547161097469746L, 1111082349050193290192329277649104120747717126931126127983058755L, -109571337096131499455011271023310218778431969690802066031870575L, -1536409144373002107386864029818511666641780965936236899633623888L, 0, 141373165154706051459374041047239171901393482703021752648984617L, -100200794863677154028266555466064397390401532284350635255206536L, -365910188520172704474640816345480755308955369813672912535891665L, -18, -1108738252878208611757348303176764065522027171124889654195837811L, 916615603020106510985024111431679022094804624906894821558839946L, -412716470508773072931020287720638745447506884766145600729207716L, 1526059935113743100412556027489171627000917670377774549112149381L, 1558079891595449205826890650640901597056160508544475603137715576L, -1569934891839589510842004133464165004102570361015054075456065925L, -172748403261142414305061799307779325891582947412089098425249774L, -990687537561445670605300648659204069174602867682855541811973916L, 172939057067978677694244170224753890200271581675710415099603756L, 39113930044836604749366933208953073885909993048209126665513366L, -144794442355732825891289046825527609527601647634853699676123402L, 1295224301345568422889237001758737160633250962106810675043869779L, -784516588917689964860887031725301801090992173320449751008841635L, 251520814515291922049428406622173320562242905421843357597555165L, -33, 20]
  15. False
  16.  
  17. [206096504910900498493010370573292788646L, -188, -188]
  18. [21895897394889366278002048857818986990125268678994617770323631L, -5, 73453863292979521160722570724395436702110210638363401802874390L, 860083230267801667615814962096447759118030419081884684367195374L, 1208756186641563556189216823181235577582763775470322786885255197L, 563574118372954898036644503963904424109207146483853094148809633L, 20, -1464475540476225476021127290449598226042060199991921137850322312L, -1554085104269531629275069816677895447025824915356256971517138516L, 658781301413442456187105669962066361153531021415203972856482081L, 1421770204015349061297731987862436233014697243702547161097469746L, 1111082349050193290192329277649104120747717126931126127983058755L, -109571337096131499455011271023310218778431969690802066031870575L, -1536409144373002107386864029818511666641780965936236899633623888L, 0, 141373165154706051459374041047239171901393482703021752648984617L, -100200794863677154028266555466064397390401532284350635255206536L, -365910188520172704474640816345480755308955369813672912535891665L, -18, -1108738252878208611757348303176764065522027171124889654195837811L, 916615603020106510985024111431679022094804624906894821558839946L, -412716470508773072931020287720638745447506884766145600729207716L, 1526059935113743100412556027489171627000917670377774549112149381L, 1558079891595449205826890650640901597056160508544475603137715576L, -1569934891839589510842004133464165004102570361015054075456065925L, -172748403261142414305061799307779325891582947412089098425249774L, -990687537561445670605300648659204069174602867682855541811973916L, 172939057067978677694244170224753890200271581675710415099603756L, 39113930044836604749366933208953073885909993048209126665513366L, -144794442355732825891289046825527609527601647634853699676123402L, 1295224301345568422889237001758737160633250962106810675043869779L, -784516588917689964860887031725301801090992173320449751008841635L, 251520814515291922049428406622173320562242905421843357597555165L, -33, 20]
  19. False
  20.  
  21. [-188, -188]
  22. [21895897394889366278002048857818986990125268678994617770323631L, -5, 73453863292979521160722570724395436702110210638363401802874390L, 860083230267801667615814962096447759118030419081884684367195374L, 1208756186641563556189216823181235577582763775470322786885255197L, 563574118372954898036644503963904424109207146483853094148809633L, 20, -1464475540476225476021127290449598226042060199991921137850322312L, -1554085104269531629275069816677895447025824915356256971517138516L, 658781301413442456187105669962066361153531021415203972856482081L, 1421770204015349061297731987862436233014697243702547161097469746L, 1111082349050193290192329277649104120747717126931126127983058755L, -109571337096131499455011271023310218778431969690802066031870575L, -1536409144373002107386864029818511666641780965936236899633623888L, 0, 141373165154706051459374041047239171901393482703021752648984617L, -100200794863677154028266555466064397390401532284350635255206536L, -365910188520172704474640816345480755308955369813672912535891665L, -18, -1108738252878208611757348303176764065522027171124889654195837811L, 916615603020106510985024111431679022094804624906894821558839946L, -412716470508773072931020287720638745447506884766145600729207716L, 1526059935113743100412556027489171627000917670377774549112149381L, 1558079891595449205826890650640901597056160508544475603137715576L, -1569934891839589510842004133464165004102570361015054075456065925L, -172748403261142414305061799307779325891582947412089098425249774L, -990687537561445670605300648659204069174602867682855541811973916L, 172939057067978677694244170224753890200271581675710415099603756L, 39113930044836604749366933208953073885909993048209126665513366L, -144794442355732825891289046825527609527601647634853699676123402L, 1295224301345568422889237001758737160633250962106810675043869779L, -784516588917689964860887031725301801090992173320449751008841635L, 251520814515291922049428406622173320562242905421843357597555165L, -33, 20]
  23. False
  24.  
  25. [-188]
  26. [21895897394889366278002048857818986990125268678994617770323631L, -5, 73453863292979521160722570724395436702110210638363401802874390L, 860083230267801667615814962096447759118030419081884684367195374L, 1208756186641563556189216823181235577582763775470322786885255197L, 563574118372954898036644503963904424109207146483853094148809633L, 20, -1464475540476225476021127290449598226042060199991921137850322312L, -1554085104269531629275069816677895447025824915356256971517138516L, 658781301413442456187105669962066361153531021415203972856482081L, 1421770204015349061297731987862436233014697243702547161097469746L, 1111082349050193290192329277649104120747717126931126127983058755L, -109571337096131499455011271023310218778431969690802066031870575L, -1536409144373002107386864029818511666641780965936236899633623888L, 0, 141373165154706051459374041047239171901393482703021752648984617L, -100200794863677154028266555466064397390401532284350635255206536L, -365910188520172704474640816345480755308955369813672912535891665L, -18, -1108738252878208611757348303176764065522027171124889654195837811L, 916615603020106510985024111431679022094804624906894821558839946L, -412716470508773072931020287720638745447506884766145600729207716L, 1526059935113743100412556027489171627000917670377774549112149381L, 1558079891595449205826890650640901597056160508544475603137715576L, -1569934891839589510842004133464165004102570361015054075456065925L, -172748403261142414305061799307779325891582947412089098425249774L, -990687537561445670605300648659204069174602867682855541811973916L, 172939057067978677694244170224753890200271581675710415099603756L, 39113930044836604749366933208953073885909993048209126665513366L, -144794442355732825891289046825527609527601647634853699676123402L, 1295224301345568422889237001758737160633250962106810675043869779L, -784516588917689964860887031725301801090992173320449751008841635L, 251520814515291922049428406622173320562242905421843357597555165L, -33, 20]
  27. False
  28.  
  29. [0]
  30. [21895897394889366278002048857818986990125268678994617770323631L, -5, 73453863292979521160722570724395436702110210638363401802874390L, 860083230267801667615814962096447759118030419081884684367195374L, 1208756186641563556189216823181235577582763775470322786885255197L, 563574118372954898036644503963904424109207146483853094148809633L, 20, -1464475540476225476021127290449598226042060199991921137850322312L, -1554085104269531629275069816677895447025824915356256971517138516L, 658781301413442456187105669962066361153531021415203972856482081L, 1421770204015349061297731987862436233014697243702547161097469746L, 1111082349050193290192329277649104120747717126931126127983058755L, -109571337096131499455011271023310218778431969690802066031870575L, -1536409144373002107386864029818511666641780965936236899633623888L, 0, 141373165154706051459374041047239171901393482703021752648984617L, -100200794863677154028266555466064397390401532284350635255206536L, -365910188520172704474640816345480755308955369813672912535891665L, -18, -1108738252878208611757348303176764065522027171124889654195837811L, 916615603020106510985024111431679022094804624906894821558839946L, -412716470508773072931020287720638745447506884766145600729207716L, 1526059935113743100412556027489171627000917670377774549112149381L, 1558079891595449205826890650640901597056160508544475603137715576L, -1569934891839589510842004133464165004102570361015054075456065925L, -172748403261142414305061799307779325891582947412089098425249774L, -990687537561445670605300648659204069174602867682855541811973916L, 172939057067978677694244170224753890200271581675710415099603756L, 39113930044836604749366933208953073885909993048209126665513366L, -144794442355732825891289046825527609527601647634853699676123402L, 1295224301345568422889237001758737160633250962106810675043869779L, -784516588917689964860887031725301801090992173320449751008841635L, 251520814515291922049428406622173320562242905421843357597555165L, -33, 20]
  31. False
  32.  
  33. [0]
  34. [21895897394889366278002048857818986990125268678994617770323631L, 73453863292979521160722570724395436702110210638363401802874390L, 860083230267801667615814962096447759118030419081884684367195374L, 20, -1464475540476225476021127290449598226042060199991921137850322312L, 658781301413442456187105669962066361153531021415203972856482081L, 1421770204015349061297731987862436233014697243702547161097469746L, 1111082349050193290192329277649104120747717126931126127983058755L, -109571337096131499455011271023310218778431969690802066031870575L, 0, 141373165154706051459374041047239171901393482703021752648984617L, -365910188520172704474640816345480755308955369813672912535891665L, -18, -1108738252878208611757348303176764065522027171124889654195837811L, -412716470508773072931020287720638745447506884766145600729207716L, 172939057067978677694244170224753890200271581675710415099603756L, 1295224301345568422889237001758737160633250962106810675043869779L, -33, 20]
  35. False
  36.  
  37. [0]
  38. [73453863292979521160722570724395436702110210638363401802874390L, 860083230267801667615814962096447759118030419081884684367195374L, -1464475540476225476021127290449598226042060199991921137850322312L, 658781301413442456187105669962066361153531021415203972856482081L, 1111082349050193290192329277649104120747717126931126127983058755L, -109571337096131499455011271023310218778431969690802066031870575L, 0, 141373165154706051459374041047239171901393482703021752648984617L, -365910188520172704474640816345480755308955369813672912535891665L, -1108738252878208611757348303176764065522027171124889654195837811L, -412716470508773072931020287720638745447506884766145600729207716L, 172939057067978677694244170224753890200271581675710415099603756L, 20]
  39. False
  40.  
  41. [0]
  42. [73453863292979521160722570724395436702110210638363401802874390L, 658781301413442456187105669962066361153531021415203972856482081L, 1111082349050193290192329277649104120747717126931126127983058755L, 141373165154706051459374041047239171901393482703021752648984617L, -1108738252878208611757348303176764065522027171124889654195837811L, -412716470508773072931020287720638745447506884766145600729207716L, 172939057067978677694244170224753890200271581675710415099603756L, 20]
  43. False
  44.  
  45. [0]
  46. [-1108738252878208611757348303176764065522027171124889654195837811L, -412716470508773072931020287720638745447506884766145600729207716L]
  47. False
  48.  
  49. [0]
  50. [-412716470508773072931020287720638745447506884766145600729207716L]
  51. False
  52.  
  53. [0]
  54. [-1]
  55. False
  56.  
  57. [0]
  58. [0]
  59. True
  60.  
  61. [0]
  62. [1]
  63. False
  64.  
  65. []
  66. [1]
  67. True
  68.  
  69. [0]
  70. []
  71. True
  72.  
  73. [0]
  74. [1]
  75. False
  76.  
  77. ------------------------------------------------------------------- Hypothesis --------------------------------------------------------------------
  78. Falsifying example: test_reverse(xs=[0], ys=[1])
  79. ============================================================ 1 failed in 0.12 seconds =============================================================
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!