/* See rf4x4.h. */
/* Last edited on 2024-11-15 00:29:59 by stolfi */

#include <stdint.h>

#include <rf4x4.h>

#define N 4