google spreadsheet is an automated way to maximize coverage/effort, perhaps with GPT interface. Google spreadsheet api does have better internet acces/storage capacity[0][1][3] than typical pc box. Rate limited text/phone plan suggested. Something about a reference pointer of address [4][2] comes to mind. Unverified how much NP coverage automation can provide.

[0] : "Comprehensive List of Mathematical Symbols: Complete Version" by M ath Vault

[1] : https://aplwiki.com/wiki/Comparison_with_traditional_mathema...

[3] : The economics of programming languages : http://www.youtube.com/watch?v=XZ3w_jec1v8

[4] : https://en.wikipedia.org/wiki/The_Hitchhikers_Guide_to_the_I...

[2] : https://archive.org/details/s01e00hhgttgdouglasadamsbbcboo