Kartik Chandra kach

I hereby claim:

I am Hardmath123 on github.
I am hardmath123 (https://keybase.io/hardmath123) on keybase.
I have a public key whose fingerprint is 844A E763 FEA5 B7AD BC42 965B ECF6 E2AE 19C0 E4E6

To claim this, I am signing this object:

Take:

Setup for launch:

Put the battery in Skybass (we labeled the correct terminals on both the board and battery)

	# Adapted from http://www.lua.org/manual/5.2/manual.html
	# No comments implemented yet, because lua comments are hard.

	Chunk -> _ Block _

	Block -> _Block
	\| _Block __ ReturnStat

	ReturnStat -> "return" __ ExpList
	\| "return" __ ExpList _ ";"

	% Solve a 2x2x2 Rubik's Cube
	% Kartik - 2016
	% Query sample:
	% \| :- moveseq(X, cube(g,b,b,b, y,y,y,r, o,g,r,w, r,r,g,g, w,w,o,o, o,b,y,w), C), finished(C).
	% C = cube(b,b,b,b,y,y,y,y,r,r,r,r,g,g,g,g,o,o,o,o,w,w,w,w)
	% X = [l,u,f,f,f,u,u,l,u,f,f,l,f,u,f,u] ? ;
	% Using this map:
	% UUUU DDDD LLLL RRRR FFFF BBBB
	% B3 B4
	% B2 B1

	import Foundation
	import CoreServices

	if CommandLine.argc < 2 { exit(1) }
	let word = CommandLine.arguments[1] as CFString
	let rang = CFRangeMake(0, CFStringGetLength(word)) //DCSGetTermRangeInString(nil, word, 0)
	let defn = DCSCopyTextDefinition(nil, word, rang)
	if defn != nil { print(defn!.takeUnretainedValue() as String) }

	import subprocess

	f = open('paxos_epr.ivy')
	source = f.read().split('\n')
	f.close()

	conjecture_line_numbers = []
	all_lines = []

	for i, line in enumerate(source):

	import sys

	# try: cat /usr/share/dict/words \| python symbols.py -

	symbols = [['ac', 'actinium'], ['ag', 'silver'], ['al', 'aluminum'], ['am', 'americium'], ['ar', 'argon'], ['as', 'arsenic'], ['at', 'astatine'], ['au', 'gold'], ['b', 'boron'], ['ba', 'barium'], ['be', 'beryllium'], ['bh', 'bohrium'], ['bi', 'bismuth'], ['bk', 'berkelium'], ['br', 'bromine'], ['c', 'carbon'], ['ca', 'calcium'], ['cd', 'cadmium'], ['ce', 'cerium'], ['cf', 'californium'], ['cl', 'chlorine'], ['cm', 'curium'], ['cn', 'copernicium'], ['co', 'cobalt'], ['cr', 'chromium'], ['cs', 'cesium'], ['cu', 'copper'], ['db', 'dubnium'], ['ds', 'darmstadtium'], ['dy', 'dysprosium'], ['er', 'erbium'], ['es', 'einsteinium'], ['eu', 'europium'], ['f', 'fluorine'], ['fe', 'iron'], ['fl', 'flerovium'], ['fm', 'fermium'], ['fr', 'francium'], ['ga', 'gallium'], ['gd', 'gadolinium'], ['ge', 'germanium'], ['h', 'hydrogen'], ['he', 'helium'], ['hf', 'hafnium'], ['hg', 'mercury'], ['ho', 'holmium'], ['hs', 'hassium'], ['i', 'iodine'], ['in', 'indium'],