Splitting a sieve file

Description

Splitting a sieve file in PRP-LLR format into a number of separate files using awk.

Needed software

• ASCII editor
• awk.exe

Example

Split the sieve file t16_b999.prp into 4 separate files.

Preparation WIN

• copy gawk.exe in a folder
• create a file named split.awk with this code:

BEGIN{getline line; i=1}
 {if (head[i] == 0)
  {print line >>i".pfgw"
    head[i]=1
  }
  print $0 >>i".pfgw"
  i++
  if (i==5) i=1
 }

• copy the sieve file in this folder (for example t16_b999.prp
• calling gawk -f split.awk t16_b999.prp

Results:

• creates 4 files 1.pfgw to 4.pfgw with equally splitted candidates sorted by n