|clearing (@table id), @table id| |clearing (@table id)| |clear (@table id)| , clearing (@table id):9007199254740991 |clearing (@table row), @table row| |clearing (@table row)| |clear (@table row)| , clearing (@table row):9007199254740991 |clearing (@table size), @table size| |clearing (@table size)| |clear (@table size)| , clearing (@table size):9007199254740991 |clearing (pretty print rows iterator), pretty print rows iterator| |clearing (pretty print rows iterator)| |clear (pretty print rows iterator)| , clearing (pretty print rows iterator):9007199254740991 |clearing (pretty print row index), pretty print row index| |clearing (pretty print row index)| |clear (pretty print row index)| , clearing (pretty print row index):9007199254740991 |restoring (@table id), temporary (@table id)| , restoring (@table id) , @table id |restoring (@table id)| |restore (@table id)| , restoring (@table id):9007199254740991 |restoring (@table row), temporary (@table row)| , restoring (@table row) , @table row |restoring (@table row)| |restore (@table row)| , restoring (@table row):9007199254740991 |restoring (@table size), temporary (@table size)| , restoring (@table size) , @table size |restoring (@table size)| |restore (@table size)| , restoring (@table size):9007199254740991 |restoring (pretty print rows iterator), temporary (pretty print rows iterator)| , restoring (pretty print rows iterator) , pretty print rows iterator |restoring (pretty print rows iterator)| |restore (pretty print rows iterator)| , restoring (pretty print rows iterator):9007199254740991 |restoring (pretty print row index), temporary (pretty print row index)| , restoring (pretty print row index) , pretty print row index |restoring (pretty print row index)| |restore (pretty print row index)| , restoring (pretty print row index):9007199254740991 |moving (@table id) to (@table row), @table id| , moving (@table id) to (@table row) , @table row |moving (@table id) to (@table row)| |move (@table id) to (@table row)| , clear (@table row) , moving (@table id) to (@table row):9007199254740991 |moving (@table id) to (@table size), @table id| , moving (@table id) to (@table size) , @table size |moving (@table id) to (@table size)| |move (@table id) to (@table size)| , clear (@table size) , moving (@table id) to (@table size):9007199254740991 |moving (@table id) to (pretty print rows iterator), @table id| , moving (@table id) to (pretty print rows iterator) , pretty print rows iterator |moving (@table id) to (pretty print rows iterator)| |move (@table id) to (pretty print rows iterator)| , clear (pretty print rows iterator) , moving (@table id) to (pretty print rows iterator):9007199254740991 |moving (@table id) to (pretty print row index), @table id| , moving (@table id) to (pretty print row index) , pretty print row index |moving (@table id) to (pretty print row index)| |move (@table id) to (pretty print row index)| , clear (pretty print row index) , moving (@table id) to (pretty print row index):9007199254740991 |moving (@table row) to (@table id), @table row| , moving (@table row) to (@table id) , @table id |moving (@table row) to (@table id)| |move (@table row) to (@table id)| , clear (@table id) , moving (@table row) to (@table id):9007199254740991 |moving (@table row) to (@table size), @table row| , moving (@table row) to (@table size) , @table size |moving (@table row) to (@table size)| |move (@table row) to (@table size)| , clear (@table size) , moving (@table row) to (@table size):9007199254740991 |moving (@table row) to (pretty print rows iterator), @table row| , moving (@table row) to (pretty print rows iterator) , pretty print rows iterator |moving (@table row) to (pretty print rows iterator)| |move (@table row) to (pretty print rows iterator)| , clear (pretty print rows iterator) , moving (@table row) to (pretty print rows iterator):9007199254740991 |moving (@table row) to (pretty print row index), @table row| , moving (@table row) to (pretty print row index) , pretty print row index |moving (@table row) to (pretty print row index)| |move (@table row) to (pretty print row index)| , clear (pretty print row index) , moving (@table row) to (pretty print row index):9007199254740991 |moving (@table size) to (@table id), @table size| , moving (@table size) to (@table id) , @table id |moving (@table size) to (@table id)| |move (@table size) to (@table id)| , clear (@table id) , moving (@table size) to (@table id):9007199254740991 |moving (@table size) to (@table row), @table size| , moving (@table size) to (@table row) , @table row |moving (@table size) to (@table row)| |move (@table size) to (@table row)| , clear (@table row) , moving (@table size) to (@table row):9007199254740991 |moving (@table size) to (pretty print rows iterator), @table size| , moving (@table size) to (pretty print rows iterator) , pretty print rows iterator |moving (@table size) to (pretty print rows iterator)| |move (@table size) to (pretty print rows iterator)| , clear (pretty print rows iterator) , moving (@table size) to (pretty print rows iterator):9007199254740991 |moving (@table size) to (pretty print row index), @table size| , moving (@table size) to (pretty print row index) , pretty print row index |moving (@table size) to (pretty print row index)| |move (@table size) to (pretty print row index)| , clear (pretty print row index) , moving (@table size) to (pretty print row index):9007199254740991 |moving (pretty print rows iterator) to (@table id), pretty print rows iterator| , moving (pretty print rows iterator) to (@table id) , @table id |moving (pretty print rows iterator) to (@table id)| |move (pretty print rows iterator) to (@table id)| , clear (@table id) , moving (pretty print rows iterator) to (@table id):9007199254740991 |moving (pretty print rows iterator) to (@table row), pretty print rows iterator| , moving (pretty print rows iterator) to (@table row) , @table row |moving (pretty print rows iterator) to (@table row)| |move (pretty print rows iterator) to (@table row)| , clear (@table row) , moving (pretty print rows iterator) to (@table row):9007199254740991 |moving (pretty print rows iterator) to (@table size), pretty print rows iterator| , moving (pretty print rows iterator) to (@table size) , @table size |moving (pretty print rows iterator) to (@table size)| |move (pretty print rows iterator) to (@table size)| , clear (@table size) , moving (pretty print rows iterator) to (@table size):9007199254740991 |moving (pretty print rows iterator) to (pretty print row index), pretty print rows iterator| , moving (pretty print rows iterator) to (pretty print row index) , pretty print row index |moving (pretty print rows iterator) to (pretty print row index)| |move (pretty print rows iterator) to (pretty print row index)| , clear (pretty print row index) , moving (pretty print rows iterator) to (pretty print row index):9007199254740991 |moving (pretty print row index) to (@table id), pretty print row index| , moving (pretty print row index) to (@table id) , @table id |moving (pretty print row index) to (@table id)| |move (pretty print row index) to (@table id)| , clear (@table id) , moving (pretty print row index) to (@table id):9007199254740991 |moving (pretty print row index) to (@table row), pretty print row index| , moving (pretty print row index) to (@table row) , @table row |moving (pretty print row index) to (@table row)| |move (pretty print row index) to (@table row)| , clear (@table row) , moving (pretty print row index) to (@table row):9007199254740991 |moving (pretty print row index) to (@table size), pretty print row index| , moving (pretty print row index) to (@table size) , @table size |moving (pretty print row index) to (@table size)| |move (pretty print row index) to (@table size)| , clear (@table size) , moving (pretty print row index) to (@table size):9007199254740991 |moving (pretty print row index) to (pretty print rows iterator), pretty print row index| , moving (pretty print row index) to (pretty print rows iterator) , pretty print rows iterator |moving (pretty print row index) to (pretty print rows iterator)| |move (pretty print row index) to (pretty print rows iterator)| , clear (pretty print rows iterator) , moving (pretty print row index) to (pretty print rows iterator):9007199254740991 |copying (@table id) to (@table row), @table id| , copying (@table id) to (@table row) , temporary (@table id) , @table row |copying (@table id) to (@table row)| |copy (@table id) to (@table row)| , clear (@table row) , copying (@table id) to (@table row):9007199254740991 , then restore (@table id) |copying (@table id) to (@table size), @table id| , copying (@table id) to (@table size) , temporary (@table id) , @table size |copying (@table id) to (@table size)| |copy (@table id) to (@table size)| , clear (@table size) , copying (@table id) to (@table size):9007199254740991 , then restore (@table id) |copying (@table id) to (pretty print rows iterator), @table id| , copying (@table id) to (pretty print rows iterator) , temporary (@table id) , pretty print rows iterator |copying (@table id) to (pretty print rows iterator)| |copy (@table id) to (pretty print rows iterator)| , clear (pretty print rows iterator) , copying (@table id) to (pretty print rows iterator):9007199254740991 , then restore (@table id) |copying (@table id) to (pretty print row index), @table id| , copying (@table id) to (pretty print row index) , temporary (@table id) , pretty print row index |copying (@table id) to (pretty print row index)| |copy (@table id) to (pretty print row index)| , clear (pretty print row index) , copying (@table id) to (pretty print row index):9007199254740991 , then restore (@table id) |copying (@table row) to (@table id), @table row| , copying (@table row) to (@table id) , temporary (@table row) , @table id |copying (@table row) to (@table id)| |copy (@table row) to (@table id)| , clear (@table id) , copying (@table row) to (@table id):9007199254740991 , then restore (@table row) |copying (@table row) to (@table size), @table row| , copying (@table row) to (@table size) , temporary (@table row) , @table size |copying (@table row) to (@table size)| |copy (@table row) to (@table size)| , clear (@table size) , copying (@table row) to (@table size):9007199254740991 , then restore (@table row) |copying (@table row) to (pretty print rows iterator), @table row| , copying (@table row) to (pretty print rows iterator) , temporary (@table row) , pretty print rows iterator |copying (@table row) to (pretty print rows iterator)| |copy (@table row) to (pretty print rows iterator)| , clear (pretty print rows iterator) , copying (@table row) to (pretty print rows iterator):9007199254740991 , then restore (@table row) |copying (@table row) to (pretty print row index), @table row| , copying (@table row) to (pretty print row index) , temporary (@table row) , pretty print row index |copying (@table row) to (pretty print row index)| |copy (@table row) to (pretty print row index)| , clear (pretty print row index) , copying (@table row) to (pretty print row index):9007199254740991 , then restore (@table row) |copying (@table size) to (@table id), @table size| , copying (@table size) to (@table id) , temporary (@table size) , @table id |copying (@table size) to (@table id)| |copy (@table size) to (@table id)| , clear (@table id) , copying (@table size) to (@table id):9007199254740991 , then restore (@table size) |copying (@table size) to (@table row), @table size| , copying (@table size) to (@table row) , temporary (@table size) , @table row |copying (@table size) to (@table row)| |copy (@table size) to (@table row)| , clear (@table row) , copying (@table size) to (@table row):9007199254740991 , then restore (@table size) |copying (@table size) to (pretty print rows iterator), @table size| , copying (@table size) to (pretty print rows iterator) , temporary (@table size) , pretty print rows iterator |copying (@table size) to (pretty print rows iterator)| |copy (@table size) to (pretty print rows iterator)| , clear (pretty print rows iterator) , copying (@table size) to (pretty print rows iterator):9007199254740991 , then restore (@table size) |copying (@table size) to (pretty print row index), @table size| , copying (@table size) to (pretty print row index) , temporary (@table size) , pretty print row index |copying (@table size) to (pretty print row index)| |copy (@table size) to (pretty print row index)| , clear (pretty print row index) , copying (@table size) to (pretty print row index):9007199254740991 , then restore (@table size) |copying (pretty print rows iterator) to (@table id), pretty print rows iterator| , copying (pretty print rows iterator) to (@table id) , temporary (pretty print rows iterator) , @table id |copying (pretty print rows iterator) to (@table id)| |copy (pretty print rows iterator) to (@table id)| , clear (@table id) , copying (pretty print rows iterator) to (@table id):9007199254740991 , then restore (pretty print rows iterator) |copying (pretty print rows iterator) to (@table row), pretty print rows iterator| , copying (pretty print rows iterator) to (@table row) , temporary (pretty print rows iterator) , @table row |copying (pretty print rows iterator) to (@table row)| |copy (pretty print rows iterator) to (@table row)| , clear (@table row) , copying (pretty print rows iterator) to (@table row):9007199254740991 , then restore (pretty print rows iterator) |copying (pretty print rows iterator) to (@table size), pretty print rows iterator| , copying (pretty print rows iterator) to (@table size) , temporary (pretty print rows iterator) , @table size |copying (pretty print rows iterator) to (@table size)| |copy (pretty print rows iterator) to (@table size)| , clear (@table size) , copying (pretty print rows iterator) to (@table size):9007199254740991 , then restore (pretty print rows iterator) |copying (pretty print rows iterator) to (pretty print row index), pretty print rows iterator| , copying (pretty print rows iterator) to (pretty print row index) , temporary (pretty print rows iterator) , pretty print row index |copying (pretty print rows iterator) to (pretty print row index)| |copy (pretty print rows iterator) to (pretty print row index)| , clear (pretty print row index) , copying (pretty print rows iterator) to (pretty print row index):9007199254740991 , then restore (pretty print rows iterator) |copying (pretty print row index) to (@table id), pretty print row index| , copying (pretty print row index) to (@table id) , temporary (pretty print row index) , @table id |copying (pretty print row index) to (@table id)| |copy (pretty print row index) to (@table id)| , clear (@table id) , copying (pretty print row index) to (@table id):9007199254740991 , then restore (pretty print row index) |copying (pretty print row index) to (@table row), pretty print row index| , copying (pretty print row index) to (@table row) , temporary (pretty print row index) , @table row |copying (pretty print row index) to (@table row)| |copy (pretty print row index) to (@table row)| , clear (@table row) , copying (pretty print row index) to (@table row):9007199254740991 , then restore (pretty print row index) |copying (pretty print row index) to (@table size), pretty print row index| , copying (pretty print row index) to (@table size) , temporary (pretty print row index) , @table size |copying (pretty print row index) to (@table size)| |copy (pretty print row index) to (@table size)| , clear (@table size) , copying (pretty print row index) to (@table size):9007199254740991 , then restore (pretty print row index) |copying (pretty print row index) to (pretty print rows iterator), pretty print row index| , copying (pretty print row index) to (pretty print rows iterator) , temporary (pretty print row index) , pretty print rows iterator |copying (pretty print row index) to (pretty print rows iterator)| |copy (pretty print row index) to (pretty print rows iterator)| , clear (pretty print rows iterator) , copying (pretty print row index) to (pretty print rows iterator):9007199254740991 , then restore (pretty print row index) |then restore (@table id)| , restore (@table id) |then restore (@table row)| , restore (@table row) |then restore (@table size)| , restore (@table size) |then restore (pretty print rows iterator)| , restore (pretty print rows iterator) |then restore (pretty print row index)| , restore (pretty print row index) |_| , Define our tables |set (@table id) to (singles)| , @table id:1 |select (singles) table| , clear (@table id) , set (@table id) to (singles) |set (@table id) to (doubles)| , @table id:2 |select (doubles) table| , clear (@table id) , set (@table id) to (doubles) |set (@table id) to (triples)| , @table id:3 |select (triples) table| , clear (@table id) , set (@table id) to (triples) |_| , ports for reading the size of a table |_| , Read data from the command line and pump it into a table. |_| , A generic operations over a table |_| , loop to pretty print the rows of any table |pretty print rows| , clear (@table row) , get table size for (pretty print rows) , pretty printing rows |get table size for (pretty print rows)| , @get table size , move (@table size) to (pretty print rows iterator) |pretty printing rows, pretty print rows iterator| , pretty print row index , copy (pretty print row index) to (@table row) , pretty print row , next pretty print rows |pretty printing rows| |pretty print row| , @pretty print row |next pretty print rows| , pretty printing rows |pretty print row index| || , 1st: read singles , 2nd: pretty print singles , 3rd: read doubles , 4th: pretty print doubles , 5th: read triples , 6th: pretty print triples |1st: read singles| , @read singles |2nd: pretty print singles| , select (singles) table , pretty print rows |3rd: read doubles| , @read doubles |4th: pretty print doubles| , select (doubles) table , pretty print rows |5th: read triples| , @read triples |6th: pretty print triples| , select (triples) table , pretty print rows