A132581.-Using-binary-posets. See text files for basic info. Current k.exe: 1 thread, until F(128), or Dedekind(7). To reach F(160)... and beyond.