{ "metadata": { "name": "calculate_tau.ipynb" }, "nbformat": 3, "nbformat_minor": 0, "worksheets": [ { "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# calculate_tau.piynb\n", "\n", "### You should first run the notebook ``run_this_first.ipynb``.\n", "\n", "This script converts the first billion digits of pi into tau by the incredible algorithm of multiplying by two.\n", "\n", "In order to avoid carry-the-one problems (which would occur at more than half the positions), the program does it in chunks, for every string of digits starting with the number 4, because no decimal-based number starting with a numeral of 0, 1, 2, 3 or 4 will gain a digit via carry-the-one when doubled. (It's true, think about it. Or just multiply 49999999999999999 by 2 in your calculator and see what happens.)" ] }, { "cell_type": "code", "collapsed": false, "input": [ "import time\n", "import os\n", "\n", "for i in range(10):\n", "\n", " infilename = 'data/pi100m.dectxt.00' + str(i)\n", " outfilename = 'data/tau100m.dectxt.00' + str(i)\n", " \n", " if not os.path.isfile(outfilename):\n", " \n", " start=time.time()\n", " \n", " with open(infilename, 'r') as fin:\n", " pi = fin.read()\n", " \n", " overallcount = 100000000\n", " \n", " for subset in range(9):\n", " pisub = pi[subset*10000000:(subset+1)*10000000]\n", " \n", " pos = 0\n", " tau = ''\n", " pisect=''\n", " counter = 0\n", " \n", " print \"Processing \" + infilename + \", remaining (million): \",\n", " \n", " while pos < len(pisub):\n", " if overallcount % 1000000 == 0:\n", " print (overallcount / 1000000),\n", " overallcount -= 1\n", " if pisub[pos] == '4':\n", " counter += 1 # I put in this counter to work on larger chunks, but I'm not convinced it makes a difference\n", " if counter % 5 == 0:\n", " numsect=int(pisect)\n", " pisect='4'\n", " numsect *= 2\n", " tau+=str(numsect)\n", " else:\n", " pisect+=pisub[pos]\n", " else:\n", " pisect+=pisub[pos]\n", " pos += 1 \n", " #for the remainder\n", " numsect = int(pisect)\n", " numsect *= 2\n", " tau+=str(numsect)\n", " \n", " with open(outfilename, 'a+') as fout:\n", " fout.write(tau)\n", " \n", " print 'Finished, %0.1f minutes elapsed' % ((time.time() - start)/60)\n", " \n", " else:\n", " print outfilename + 'already exists.'\n", "\n", "print '\\nScript finished.'" ], "language": "python", "metadata": {}, "outputs": [ { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.000, remaining (million): 100 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "99 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "98 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "97 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "96 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "95 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "94 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "93 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "92 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "91 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.000, remaining (million): 90 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "89 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "88 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "87 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "86 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "85 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "84 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "83 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "82 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "81 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.000, remaining (million): 80 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "79 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "78 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "77 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "76 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "75 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "74 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "73 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "72 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "71 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.000, remaining (million): 70 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "69 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "68 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "67 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "66 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "65 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "64 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "63 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "62 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "61 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.000, remaining (million): 60 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "59 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "58 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "57 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "56 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "55 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "54 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "53 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "52 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "51 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.000, remaining (million): 50 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "49 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "48 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "47 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "46 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "45 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "44 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "43 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "42 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "41 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.000, remaining (million): 40 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "39 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "38 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "37 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "36 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "35 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "34 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "33 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "32 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "31 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.000, remaining (million): 30 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "29 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "28 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "27 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "26 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "25 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "24 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "23 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "22 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "21 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.000, remaining (million): 20 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "19 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "18 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "17 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "16 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "15 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "14 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "13 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "12 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "11 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Finished, 2.3 minutes elapsed\n", "Processing data/pi100m.dectxt.001, remaining (million): " ] }, { "output_type": "stream", "stream": "stdout", "text": [ " 100 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "99 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "98 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "97 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "96 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "95 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "94 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "93 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "92 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "91 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.001, remaining (million): 90 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "89 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "88 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "87 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "86 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "85 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "84 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "83 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "82 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "81 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.001, remaining (million): 80 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "79 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "78 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "77 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "76 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "75 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "74 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "73 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "72 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "71 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.001, remaining (million): 70 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "69 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "68 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "67 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "66 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "65 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "64 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "63 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "62 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "61 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.001, remaining (million): 60 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "59 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "58 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "57 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "56 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "55 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "54 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "53 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "52 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "51 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.001, remaining (million): 50 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "49 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "48 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "47 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "46 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "45 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "44 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "43 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "42 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "41 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.001, remaining (million): 40 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "39 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "38 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "37 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "36 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "35 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "34 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "33 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "32 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "31 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.001, remaining (million): 30 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "29 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "28 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "27 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "26 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "25 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "24 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "23 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "22 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "21 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.001, remaining (million): 20 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "19 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "18 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "17 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "16 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "15 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "14 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "13 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "12 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "11 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Finished, 2.4 minutes elapsed\n", "Processing data/pi100m.dectxt.002, remaining (million): " ] }, { "output_type": "stream", "stream": "stdout", "text": [ " 100 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "99 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "98 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "97 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "96 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "95 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "94 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "93 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "92 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "91 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.002, remaining (million): 90 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "89 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "88 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "87 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "86 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "85 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "84 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "83 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "82 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "81 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.002, remaining (million): 80 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "79 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "78 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "77 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "76 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "75 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "74 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "73 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "72 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "71 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.002, remaining (million): 70 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "69 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "68 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "67 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "66 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "65 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "64 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "63 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "62 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "61 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.002, remaining (million): 60 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "59 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "58 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "57 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "56 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "55 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "54 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "53 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "52 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "51 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.002, remaining (million): 50 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "49 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "48 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "47 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "46 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "45 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "44 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "43 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "42 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "41 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.002, remaining (million): 40 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "39 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "38 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "37 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "36 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "35 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "34 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "33 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "32 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "31 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.002, remaining (million): 30 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "29 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "28 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "27 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "26 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "25 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "24 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "23 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "22 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "21 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.002, remaining (million): 20 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "19 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "18 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "17 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "16 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "15 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "14 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "13 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "12 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "11 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Finished, 2.4 minutes elapsed\n", "Processing data/pi100m.dectxt.003, remaining (million): " ] }, { "output_type": "stream", "stream": "stdout", "text": [ " 100 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "99 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "98 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "97 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "96 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "95 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "94 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "93 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "92 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "91 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.003, remaining (million): 90 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "89 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "88 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "87 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "86 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "85 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "84 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "83 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "82 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "81 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.003, remaining (million): 80 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "79 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "78 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "77 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "76 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "75 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "74 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "73 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "72 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "71 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.003, remaining (million): 70 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "69 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "68 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "67 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "66 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "65 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "64 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "63 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "62 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "61 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.003, remaining (million): 60 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "59 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "58 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "57 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "56 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "55 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "54 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "53 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "52 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "51 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.003, remaining (million): 50 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "49 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "48 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "47 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "46 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "45 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "44 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "43 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "42 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "41 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.003, remaining (million): 40 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "39 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "38 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "37 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "36 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "35 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "34 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "33 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "32 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "31 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.003, remaining (million): 30 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "29 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "28 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "27 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "26 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "25 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "24 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "23 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "22 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "21 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.003, remaining (million): 20 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "19 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "18 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "17 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "16 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "15 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "14 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "13 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "12 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "11 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Finished, 2.4 minutes elapsed\n", "Processing data/pi100m.dectxt.004, remaining (million): " ] }, { "output_type": "stream", "stream": "stdout", "text": [ " 100 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "99 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "98 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "97 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "96 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "95 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "94 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "93 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "92 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "91 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.004, remaining (million): 90 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "89 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "88 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "87 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "86 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "85 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "84 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "83 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "82 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "81 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.004, remaining (million): 80 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "79 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "78 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "77 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "76 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "75 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "74 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "73 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "72 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "71 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.004, remaining (million): 70 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "69 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "68 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "67 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "66 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "65 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "64 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "63 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "62 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "61 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.004, remaining (million): 60 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "59 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "58 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "57 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "56 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "55 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "54 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "53 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "52 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "51 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.004, remaining (million): 50 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "49 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "48 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "47 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "46 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "45 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "44 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "43 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "42 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "41 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.004, remaining (million): 40 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "39 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "38 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "37 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "36 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "35 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "34 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "33 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "32 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "31 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.004, remaining (million): 30 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "29 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "28 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "27 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "26 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "25 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "24 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "23 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "22 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "21 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.004, remaining (million): 20 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "19 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "18 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "17 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "16 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "15 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "14 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "13 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "12 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "11 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Finished, 2.3 minutes elapsed\n", "Processing data/pi100m.dectxt.005, remaining (million): " ] }, { "output_type": "stream", "stream": "stdout", "text": [ " 100 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "99 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "98 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "97 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "96 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "95 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "94 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "93 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "92 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "91 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.005, remaining (million): 90 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "89 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "88 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "87 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "86 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "85 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "84 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "83 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "82 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "81 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.005, remaining (million): 80 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "79 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "78 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "77 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "76 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "75 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "74 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "73 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "72 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "71 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.005, remaining (million): 70 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "69 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "68 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "67 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "66 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "65 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "64 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "63 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "62 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "61 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.005, remaining (million): 60 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "59 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "58 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "57 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "56 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "55 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "54 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "53 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "52 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "51 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.005, remaining (million): 50 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "49 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "48 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "47 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "46 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "45 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "44 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "43 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "42 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "41 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.005, remaining (million): 40 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "39 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "38 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "37 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "36 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "35 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "34 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "33 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "32 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "31 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.005, remaining (million): 30 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "29 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "28 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "27 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "26 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "25 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "24 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "23 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "22 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "21 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.005, remaining (million): 20 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "19 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "18 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "17 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "16 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "15 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "14 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "13 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "12 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "11 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Finished, 2.3 minutes elapsed\n", "Processing data/pi100m.dectxt.006, remaining (million): " ] }, { "output_type": "stream", "stream": "stdout", "text": [ " 100 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "99 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "98 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "97 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "96 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "95 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "94 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "93 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "92 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "91 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.006, remaining (million): 90 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "89 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "88 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "87 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "86 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "85 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "84 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "83 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "82 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "81 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.006, remaining (million): 80 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "79 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "78 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "77 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "76 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "75 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "74 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "73 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "72 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "71 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.006, remaining (million): 70 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "69 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "68 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "67 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "66 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "65 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "64 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "63 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "62 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "61 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.006, remaining (million): 60 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "59 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "58 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "57 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "56 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "55 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "54 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "53 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "52 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "51 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.006, remaining (million): 50 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "49 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "48 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "47 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "46 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "45 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "44 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "43 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "42 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "41 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.006, remaining (million): 40 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "39 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "38 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "37 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "36 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "35 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "34 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "33 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "32 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "31 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.006, remaining (million): 30 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "29 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "28 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "27 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "26 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "25 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "24 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "23 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "22 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "21 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.006, remaining (million): 20 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "19 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "18 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "17 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "16 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "15 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "14 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "13 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "12 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "11 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Finished, 2.3 minutes elapsed\n", "Processing data/pi100m.dectxt.007, remaining (million): " ] }, { "output_type": "stream", "stream": "stdout", "text": [ " 100 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "99 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "98 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "97 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "96 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "95 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "94 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "93 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "92 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "91 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.007, remaining (million): 90 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "89 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "88 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "87 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "86 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "85 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "84 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "83 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "82 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "81 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.007, remaining (million): 80 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "79 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "78 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "77 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "76 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "75 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "74 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "73 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "72 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "71 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.007, remaining (million): 70 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "69 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "68 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "67 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "66 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "65 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "64 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "63 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "62 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "61 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.007, remaining (million): 60 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "59 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "58 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "57 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "56 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "55 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "54 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "53 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "52 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "51 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.007, remaining (million): 50 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "49 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "48 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "47 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "46 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "45 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "44 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "43 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "42 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "41 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.007, remaining (million): 40 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "39 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "38 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "37 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "36 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "35 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "34 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "33 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "32 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "31 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.007, remaining (million): 30 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "29 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "28 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "27 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "26 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "25 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "24 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "23 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "22 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "21 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.007, remaining (million): 20 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "19 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "18 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "17 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "16 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "15 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "14 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "13 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "12 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "11 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Finished, 2.2 minutes elapsed\n", "Processing data/pi100m.dectxt.008, remaining (million): " ] }, { "output_type": "stream", "stream": "stdout", "text": [ " 100 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "99 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "98 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "97 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "96 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "95 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "94 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "93 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "92 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "91 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.008, remaining (million): 90 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "89 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "88 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "87 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "86 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "85 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "84 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "83 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "82 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "81 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.008, remaining (million): 80 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "79 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "78 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "77 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "76 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "75 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "74 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "73 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "72 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "71 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.008, remaining (million): 70 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "69 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "68 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "67 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "66 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "65 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "64 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "63 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "62 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "61 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.008, remaining (million): 60 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "59 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "58 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "57 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "56 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "55 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "54 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "53 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "52 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "51 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.008, remaining (million): 50 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "49 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "48 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "47 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "46 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "45 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "44 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "43 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "42 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "41 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.008, remaining (million): 40 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "39 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "38 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "37 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "36 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "35 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "34 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "33 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "32 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "31 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.008, remaining (million): 30 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "29 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "28 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "27 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "26 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "25 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "24 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "23 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "22 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "21 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.008, remaining (million): 20 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "19 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "18 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "17 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "16 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "15 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "14 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "13 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "12 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "11 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Finished, 2.2 minutes elapsed\n", "Processing data/pi100m.dectxt.009, remaining (million): " ] }, { "output_type": "stream", "stream": "stdout", "text": [ " 100 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "99 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "98 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "97 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "96 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "95 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "94 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "93 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "92 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "91 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.009, remaining (million): 90 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "89 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "88 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "87 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "86 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "85 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "84 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "83 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "82 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "81 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.009, remaining (million): 80 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "79 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "78 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "77 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "76 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "75 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "74 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "73 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "72 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "71 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.009, remaining (million): 70 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "69 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "68 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "67 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "66 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "65 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "64 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "63 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "62 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "61 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.009, remaining (million): 60 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "59 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "58 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "57 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "56 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "55 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "54 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "53 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "52 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "51 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.009, remaining (million): 50 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "49 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "48 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "47 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "46 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "45 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "44 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "43 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "42 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "41 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.009, remaining (million): 40 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "39 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "38 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "37 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "36 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "35 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "34 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "33 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "32 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "31 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.009, remaining (million): 30 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "29 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "28 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "27 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "26 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "25 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "24 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "23 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "22 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "21 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Processing data/pi100m.dectxt.009, remaining (million): 20 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "19 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "18 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "17 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "16 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "15 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "14 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "13 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "12 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "11 " ] }, { "output_type": "stream", "stream": "stdout", "text": [ "Finished, 2.2 minutes elapsed\n", "\n", "Script finished.\n" ] } ], "prompt_number": 1 }, { "cell_type": "markdown", "metadata": {}, "source": [ "#### Verification: compare first 100000 digits to those listed on tauday.com\n", " " ] }, { "cell_type": "code", "collapsed": false, "input": [ "tauday_file = open('data/tau100K-tauday.com.txt', 'r')\n", "tauday_string = tauday_file.read()\n", "tauday_file.close()\n", "this_file = open('data/tau100m.dectxt.000', 'r')\n", "this_string = this_file.read() \n", "this_file.close()\n", "\n", "print len(tauday_string)\n", "print tauday_string[:10]\n", "print this_string[:10]\n", "\n", "if tauday_string[:99999] == this_string[:99999]:\n", " print \"Verification successful. Yay.\"" ], "language": "python", "metadata": {}, "outputs": [ { "output_type": "stream", "stream": "stdout", "text": [ "99999\n", "2831853071\n", "2831853071\n", "Verification successful. Yay.\n" ] } ], "prompt_number": 3 }, { "cell_type": "markdown", "metadata": {}, "source": [ "##### Create 1000-character files for overlaps during tests" ] }, { "cell_type": "code", "collapsed": false, "input": [ "filelist = ['data/tau100m.dectxt.001', 'data/tau100m.dectxt.002', 'data/tau100m.dectxt.003', \n", " 'data/tau100m.dectxt.004', 'data/tau100m.dectxt.005', 'data/tau100m.dectxt.006', \n", " 'data/tau100m.dectxt.007', 'data/tau100m.dectxt.008', 'data/tau100m.dectxt.009']\n", "\n", "for filename in filelist:\n", " current = open(filename, 'r')\n", " string1K = current.read()[:1000]\n", " current.close()\n", " newfile = open(filename+'.1K', 'w+')\n", " newfile.write(string1K)\n", " newfile.close()\n", "\n", " " ], "language": "python", "metadata": {}, "outputs": [], "prompt_number": 8 }, { "cell_type": "markdown", "metadata": {}, "source": [ "##### Verify some of the regex-style search results" ] }, { "cell_type": "code", "collapsed": false, "input": [ "# verify that pi has a fibonacci sequence of 11235813 at position 48300973\n", "this_file = open('data/pi100m.dectxt.000', 'r')\n", "this_string = this_file.read() \n", "this_file.close()\n", "print this_string[48300973:48300993]" ], "language": "python", "metadata": {}, "outputs": [ { "output_type": "stream", "stream": "stdout", "text": [ "11235813455381270624\n" ] } ], "prompt_number": 4 }, { "cell_type": "code", "collapsed": false, "input": [ "# verify that tau has a fibonacci sequence of 1123581321 at position 809073288\n", "this_file = open('data/tau100m.dectxt.008', 'r')\n", "this_string = this_file.read() \n", "this_file.close()\n", "print this_string[9073288:9073300]" ], "language": "python", "metadata": {}, "outputs": [ { "output_type": "stream", "stream": "stdout", "text": [ "112358132150\n" ] } ], "prompt_number": 5 }, { "cell_type": "code", "collapsed": false, "input": [ "# verify that tau recapitulates pi at position 52,567,169\n", "this_file = open('data/tau100m.dectxt.000', 'r')\n", "this_string = this_file.read() \n", "this_file.close()\n", "print this_string[52567169:52567189]" ], "language": "python", "metadata": {}, "outputs": [ { "output_type": "stream", "stream": "stdout", "text": [ "31415926531269297186\n" ] } ], "prompt_number": 6 }, { "cell_type": "code", "collapsed": false, "input": [ "# verify that tau recapitulates tau at position 405747241\n", "this_file = open('data/tau100m.dectxt.004', 'r')\n", "this_string = this_file.read() \n", "this_file.close()\n", "print this_string[5747241:5747261]" ], "language": "python", "metadata": {}, "outputs": [ { "output_type": "stream", "stream": "stdout", "text": [ "62831853035460504279\n" ] } ], "prompt_number": 7 }, { "cell_type": "code", "collapsed": false, "input": [], "language": "python", "metadata": {}, "outputs": [] } ], "metadata": {} } ] }