Code for generating the data for the mostly512.net website (or whatever we're calling it!)

Called as follows (assuming you're in this directory, with GAP installed in a directory next to it):

$ ../gap/bin/gap.sh smallgrp_parallel.g
gap> write_smallgrp_csv("out.csv", [1 .. 1023], 60);

to run it on all groups of order up to 1023, using 60 parallel threads, and output the results in a file called out.csv.

On the monster server, I estimate this would take about 4 days, so this is probably feasible.

We probably want to fix the output by running

$ cat *.csv | sed ':a;N;$!ba;s/\\\n//g' | sort -Vu | sed '1h;1d;$!H;$!d;G' > all.csv

a pipeline which does the following:

* concatenates all csv files in the directory
* cleans up line breaks
* sorts the results
* moves the header line back to the start

This has now been run to completion for [1 .. 1023], resulting in a file of size 915 MB (or 49MB after gz compression). That's probably too big to put in this repository.

To get a json file out of this (in the format KB suggested) we can run

$ sed '1s/^.*$/\[/;s/^\(\([0-9]*,\)\{2\}\(true,\|false,\)\{4\}\([0-9]*,\)\)\([0-9]*,[0-9]*\),\(.*\)$/  [\1[\5],"\6"],/g;$a\]' all.csv > all.json

and use all.json to create a server (I actually compressed this and committed it to this repo anyway!)